# Black box algorithm to find standard generators of U4(4).

	set V 0
	set F 0
	set G 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 10 13 15 17 20 30 51 65 then fail
	if F eq 0 then
		if A eq 4 then
			cp 1 3
			set F 1
		endif
	endif
	if G eq 0 then
		if A in 20 30 then
			div A 2 B
			pwr B 1 2
			set G 1
		endif
	endif

	if F eq 0 then jmp SEMISTD
	if G eq 0 then jmp SEMISTD

	set E 3
	set X 0
lbl CONJUGATE
	decr E
	rand 4
	cjr 3 4
	mu 2 3 5
	ord 5 D
	incr X
	if D eq 20 then jmp FINISH
	if D eq 13 then
		set F 0
		jmp SEMISTD
	endif
	if D notin 2 3 4 5 6 10 15 17 20 30 51 65 then fail
	if D notin 4 10 13 15 then set E -1
	if X gt 1000 then timeout
	if E eq 0 then
		set F 0
		jmp SEMISTD
	endif
	jmp CONJUGATE

lbl FINISH
	oup 2 2 3
