# Black box algorithm to find standard generators of HS.2

	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 10 11 12 14 15 20 30 then fail
	if A noteq 30 then jmp SEMISTD

	pwr 15 1 2
	pwr 3 1 3

	set X 0
lbl CONJUGATE
	incr X
	if X gt 1000 then timeout
	rand 4
	cjr 2 4         # N.B. We are conjugating the first generator
	mu 2 1 5

	ord 5 D

	if D notin 4 5 6 7 8 10 11 12 15 20 then fail
	if D noteq 5 then jmp CONJUGATE

	mu 2 3 6
	ord 6 E

	if E notin 6 15 20 then fail
	if E noteq 20 then jmp CONJUGATE

	oup 2 2 5