# 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
| Messung V0.5 |
|---|
| | | |
[ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
]