# Black box algorithm to find standard generators
# of M11

	set V 0

lbl START
	rand 1
	ord 1 A
	incr V
	if V gt 1000 then timeout
	if A notin 1 2 3 4 5 6 8 11 then fail
	if A notin 4 8 then jmp START

	div A 2 B
	pwr B 1 2

	div A 4 C
	pwr C 1 3

	# The elements 2 and 3 are now in the correct conjugacy classes.

	set X 0

lbl CONJ	
 	incr X
	if X gt 1000 then timeout
	rand 4
	cjr 3 4
	mu 2 3 5   # ab
	ord 5 D

	if D notin 2 3 4 5 6 8 11 then fail
	if D noteq 11 then jmp CONJ

	mu 5 3 6
	mu 6 3 7
	mu 5 6 8
	mu 8 7 9   # ababbabbb

	ord 9 E

	if E eq 3 then
		inv 3 10
		cp 10 3
	endif

	oup 2 2 3
