$EXEC orbit (0,1,4,2,9,5,11,3,8,10,7,6,12)(13,14,17,15,22,18,24,16,21,23,20,19,25) (0,4,8)(1,5,9)(2,6,10)(3,7,11)(12)(13,17,21)(14,18,22)(15,19,23)(16,20,24)(25) .. 0011000000100100010011110101 0011100110011001010001000100 0111101000011000001010010010 1011111001000000000000011101 1111010000000001111100100000 .. # Nurmela et al.