# Black box algorithm to find standard generators
# of M23

	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 11 14 15 23 then fail
	if A notin 4 8 then jmp SEMISTD
	
	div A 4 B
	pwr B 1 3
	mu 3 3 2

	set X 0
lbl CONJUGATE
	incr X
	if X gt 1000 then timeout
	rand 4
	cjr 3 4
	mu 2 3 5
	ord 5 D
	if D notin 2 3 4 5 6 7 8 11 14 15 23 then fail
	if D noteq 23 then jmp CONJUGATE

	mu 5 3 6  # abb
	mu 5 6 7  # ababb
	mu 5 5 8
	mu 7 7 9
	mu 8 9 10
	mu 10 6 11

	ord 11 E
	if E notin 8 11 then jmp CONJUGATE
	if E eq 11 then
		inv 3 12
		cp 12 3
	endif

	oup 2 2 3
