# 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