# Black box algorithm to find standard generators
# of M22

	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 7 8 11 then fail
	if A noteq 8 then jmp START

	mu 1 1 3
	mu 3 3 2

	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 7 8 11 then fail
	if D noteq 11 then jmp CONJ

	mu 5 3 6
	mu 5 6 7
	ord 7 E

	if E noteq 11 then jmp CONJ

	oup 2 2 3
