# Checker for Fi24' # Check orders from definition chor 1 2 chor 2 3 mu 1 2 3 chor 3 29 pwr 3 3 4 mu 4 2 5 chor 5 33 # Find a 2A element z by powering up an element of order 60 mu 4 4 6 mu 6 2 7 chor 7 60 pwr 30 7 8 # Verify that xz^(xyxy) has order 5, proving that x is in 2A. mu 3 3 9 cj 8 9 10 mu 1 10 11 chor 11 5