$EXEC orbit (0,1,2)(4,12,8,5,15,10)(6,13,11,7,14,9) (0,8,7,3,9,5)(1,10,4,2,11,6)(12,13,15) .. 101110111000100001 101110101101000010 011110111000010010 011110101110000001 111100101010000110 001110100100110101 111100100001100101 111100001001101010 001110001101011001 001110110010100110