# Black box algorithm to find standard generators of B,
# the Baby Monster group.

	set F 0
	set G 0
	set V 0
lbl SEMISTD
	rand 1
	ord 1 A
	incr V

	if V gt 1000 then timeout
	if A notin 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 &
			21 22 23 24 25 26 27 28 30 31 32 33 34 35 36 38 &
			39 40 42 44 46 47 48 52 55 56 60 66 70 then fail
	if F eq 0 then
		if A eq 52 then
			pwr 26 1 2
			set F 1
		endif
	endif
	if G eq 0 then
		if A in 21 33 39 48 66 then
			div A 3 B
			pwr B 1 3
			set G 1
		endif
	endif

	if F eq 0 then jmp SEMISTD
	if G eq 0 then jmp SEMISTD
	
	set X 0
lbl CONJUGATE
	incr X
	if X gt 4000 then timeout
	rand 4
	cjr 3 4
	mu 2 3 5
	ord 5 D

	if D notin 2 3 4 5 6 7 8 9 10 11 12 14 15 16 18 19 20 22 23 &
			24 26 27 28 30 31 32 34 35 36 39 40 42 44 46 &
			47 48 52 55 56 60 then fail
	if D noteq 55 then jmp CONJUGATE

	mu 5 3 6  # abb
	mu 5 6 7  # ababb

	ord 7 E
	if E notin 35 40 then fail
	if E noteq 40 then jmp CONJUGATE

	mu 5 5 8
	mu 7 7 9
	mu 8 9 10
	mu 10 6 11 # (ab)^2(ababb)^2abb

	ord 11 E
	if E notin 23 31 then fail
	if E eq 31 then
		inv 3 12
		cp 12 3
	endif

	oup 2 2 3
