whalesong/tests/more-tests/graphs.expected
2012-02-20 12:37:29 -05:00

2 lines
16 KiB
Plaintext

(#((3 1) (3 2) (1 0) (2 0) (3)) #((3 1) (3 2) (1 0) (2 0) (3 2)) #((3 1) (3 2) (1 0) (2 0) (2 1)) #((2 1) (3 2) (3 1) (2 0) (3)) #((2 1) (3 2) (3 1) (2 0) (2)) #((2 1) (3 2) (3 1) (2 0) (3 2)) #((2 1) (3 2) (3 1) (2 0) (1)) #((2 1) (3 2) (3 1) (2 0) (3 1)) #((2 1) (3 2) (3 1) (2 0) (2 1)) #((2 1) (3 2) (3 1) (2 0) (0)) #((2 1) (3 2) (3 1) (2 0) (3 0)) #((2 1) (3 2) (3 1) (2 0) (2 0)) #((2 1) (3 2) (3 1) (2 0) (1 0)) #((2 1) (3 2) (3 1) (0) (3)) #((2 1) (3 2) (3 1) (0) (2)) #((2 1) (3 2) (3 1) (0) (3 2)) #((2 1) (3 2) (3 1) (0) (2 1)) #((2 1) (3 2) (3 1) (0) (0)) #((2 1) (3 2) (3 1) (0) (3 0)) #((2 1) (3 2) (3 1) (0) (2 0)) #((2 1) (3 2) (3) (1 0) (3)) #((2 1) (3 2) (3) (1 0) (2)) #((2 1) (3 2) (3) (1 0) (3 2)) #((2 1) (3 2) (3) (1 0) (1)) #((2 1) (3 2) (3) (1 0) (3 1)) #((2 1) (3 2) (3) (1 0) (2 1)) #((2 1) (3 2) (3) (1 0) (0)) #((2 1) (3 2) (3) (1 0) (3 0)) #((2 1) (3 2) (3) (1 0) (2 0)) #((2 1) (3 2) (3) (1 0) (1 0)) #((2 1) (3 2) () (2 0) (3)) #((2 1) (3 2) () (2 0) (3 2)) #((2 1) (3 2) () (2 0) (3 1)) #((2 1) (3 2) (3) (2 0) (3)) #((2 1) (3 2) (3) (2 0) (2)) #((2 1) (3 2) (3) (2 0) (3 2)) #((2 1) (3 2) (3) (2 0) (1)) #((2 1) (3 2) (3) (2 0) (3 1)) #((2 1) (3 2) (3) (2 0) (2 1)) #((2 1) (3 2) (3) (2 0) (0)) #((2 1) (3 2) (3) (2 0) (3 0)) #((2 1) (3 2) (3) (2 0) (2 0)) #((2 1) (3 2) (3) (2 0) (1 0)) #((2 1) (3 2) (3) (0) (3)) #((2 1) (3 2) (3) (0) (2)) #((2 1) (3 2) (3) (0) (3 2)) #((2 1) (3 2) (3) (0) (1)) #((2 1) (3 2) (3) (0) (3 1)) #((2 1) (3 2) (3) (0) (2 1)) #((2 1) (3 2) (3) (0) (0)) #((2 1) (3 2) (3) (0) (3 0)) #((2 1) (3 2) (3) (0) (2 0)) #((2 1) (3 2) (3) (0) (1 0)) #((3 2) (3 2) (1 0) (1 0) (3)) #((3 2) (3 2) (1 0) (1 0) (3 2)) #((3 2) (3 2) (1 0) (1 0) (3 1)) #((2) () (3 1) (1 0) (3)) #((2) () (3 1) (1 0) (2)) #((2) () (3 1) (1 0) (3 2)) #((2) () (3 1) (1 0) (3 1)) #((2) () (3 1) (1 0) (2 1)) #((2) () (3 1) (1 0) (0)) #((2) () (3 1) (1 0) (3 0)) #((2) () (3 1) (1 0) (2 0)) #((2) () (3 1) (1 0) (1 0)) #((2) (3) (3 1) (1 0) (3)) #((2) (3) (3 1) (1 0) (2)) #((2) (3) (3 1) (1 0) (3 2)) #((2) (3) (3 1) (1 0) (1)) #((2) (3) (3 1) (1 0) (3 1)) #((2) (3) (3 1) (1 0) (2 1)) #((2) (3) (3 1) (1 0) (0)) #((2) (3) (3 1) (1 0) (3 0)) #((2) (3) (3 1) (1 0) (2 0)) #((2) (3) (3 1) (1 0) (1 0)) #((2) (3) (1) (1 0) (3)) #((2) (3) (1) (1 0) (2)) #((2) (3) (1) (1 0) (3 2)) #((2) (3) (1) (1 0) (1)) #((2) (3) (1) (1 0) (3 1)) #((2) (3) (1) (1 0) (2 1)) #((2) (3) (1) (1 0) (0)) #((2) (3) (1) (1 0) (3 0)) #((2) (3) (1) (1 0) (2 0)) #((2) (3) (1) (1 0) (1 0)) #((2) (3) (3 1) (2 0) (3)) #((2) (3) (3 1) (2 0) (3 2)) #((2) (3) (3 1) (2 0) (1)) #((2) (3) (3 1) (2 0) (3 1)) #((2) (3) (3 1) (2 0) (2 1)) #((2) (3) (3 1) (2 0) (1 0)) #((2) (3) (3 1) (0) (3)) #((2) (3) (3 1) (0) (2)) #((2) (3) (3 1) (0) (3 2)) #((2) (3) (3 1) (0) (1)) #((2) (3) (3 1) (0) (3 1)) #((2) (3) (3 1) (0) (2 1)) #((2) (3) (3 1) (0) (0)) #((2) (3) (3 1) (0) (3 0)) #((2) (3) (3 1) (0) (2 0)) #((2) (3) (3 1) (0) (1 0)) #((2) (3) (1) (0) (3)) #((2) (3) (1) (0) (3 2)) #((2) (3) (1) (0) (3 1)) #((3 2) () (3 1) (1 0) (3)) #((3 2) () (3 1) (1 0) (2)) #((3 2) () (3 1) (1 0) (3 2)) #((3 2) () (3 1) (1 0) (3 1)) #((3 2) () (3 1) (1 0) (2 1)) #((3 2) () (3 1) (1 0) (0)) #((3 2) () (3 1) (1 0) (3 0)) #((3 2) () (3 1) (1 0) (2 0)) #((3 2) () (3 1) (1 0) (1 0)) #((3 2) (3) (3 1) (1 0) (3)) #((3 2) (3) (3 1) (1 0) (2)) #((3 2) (3) (3 1) (1 0) (3 2)) #((3 2) (3) (3 1) (1 0) (1)) #((3 2) (3) (3 1) (1 0) (3 1)) #((3 2) (3) (3 1) (1 0) (2 1)) #((3 2) (3) (3 1) (1 0) (0)) #((3 2) (3) (3 1) (1 0) (3 0)) #((3 2) (3) (3 1) (1 0) (2 0)) #((3 2) (3) (3 1) (1 0) (1 0)) #((3 2) (3) (1) (1 0) (3)) #((3 2) (3) (1) (1 0) (2)) #((3 2) (3) (1) (1 0) (3 2)) #((3 2) (3) (1) (1 0) (1)) #((3 2) (3) (1) (1 0) (3 1)) #((3 2) (3) (1) (1 0) (2 1)) #((3 2) (3) (1) (1 0) (0)) #((3 2) (3) (1) (1 0) (3 0)) #((3 2) (3) (1) (1 0) (2 0)) #((3 2) (3) (1) (1 0) (1 0)) #((3 2) (3) (1) (2 0) (3)) #((3 2) (3) (1) (2 0) (2)) #((3 2) (3) (1) (2 0) (3 2)) #((3 2) (3) (1) (2 0) (1)) #((3 2) (3) (1) (2 0) (3 1)) #((3 2) (3) (1) (2 0) (2 1)) #((3 2) (3) (1) (2 0) (0)) #((3 2) (3) (1) (2 0) (3 0)) #((3 2) (3) (1) (2 0) (2 0)) #((3 2) (3) (1) (2 0) (1 0)) #((3 2) (3) (3 1) (2 0) (3)) #((3 2) (3) (3 1) (2 0) (2)) #((3 2) (3) (3 1) (2 0) (3 2)) #((3 2) (3) (3 1) (2 0) (1)) #((3 2) (3) (3 1) (2 0) (3 1)) #((3 2) (3) (3 1) (2 0) (2 1)) #((3 2) (3) (3 1) (2 0) (0)) #((3 2) (3) (3 1) (2 0) (3 0)) #((3 2) (3) (3 1) (2 0) (2 0)) #((3 2) (3) (3 1) (2 0) (1 0)) #((3 2) (3) (3 1) (0) (3)) #((3 2) (3) (3 1) (0) (2)) #((3 2) (3) (3 1) (0) (3 2)) #((3 2) (3) (3 1) (0) (1)) #((3 2) (3) (3 1) (0) (3 1)) #((3 2) (3) (3 1) (0) (2 1)) #((3 2) (3) (3 1) (0) (0)) #((3 2) (3) (3 1) (0) (3 0)) #((3 2) (3) (3 1) (0) (2 0)) #((3 2) (3) (3 1) (0) (1 0)) #((3 2) () (3 1) (2 1) (0)) #((3 2) () (3 1) (2 1) (3 0)) #((3 2) () (3 1) (2 1) (1 0)) #((3 2) () (3 1) (1) (0)) #((3 2) () (3 1) (1) (3 0)) #((3 2) () (3 1) (1) (2 0)) #((3 2) () (3 1) (1) (1 0)) #((3 2) (3) (1) (2 1) (0)) #((3 2) (3) (1) (2 1) (3 0)) #((3 2) (3) (1) (2 1) (2 0)) #((3 2) (3) (1) (2 1) (1 0)) #((3 2) (3) (3 1) (2 1) (0)) #((3 2) (3) (3 1) (2 1) (3 0)) #((3 2) (3) (3 1) (2 1) (2 0)) #((3 2) (3) (3 1) (2 1) (1 0)) #((3 2) (3) (3 1) (1) (0)) #((3 2) (3) (3 1) (1) (3 0)) #((3 2) (3) (3 1) (1) (2 0)) #((3 2) (3) (3 1) (1) (1 0)) #((3 2) (3) (1) (1) (0)) #((3 2) (3) (1) (1) (3 0)) #((3 2) (3) (1) (1) (2 0)) #((3 2) (3) (1) (1) (1 0)) #((2) (2) (3 1) (1 0) (3)) #((2) (2) (3 1) (1 0) (2)) #((2) (2) (3 1) (1 0) (3 2)) #((2) (2) (3 1) (1 0) (1)) #((2) (2) (3 1) (1 0) (3 1)) #((2) (2) (3 1) (1 0) (2 1)) #((2) (2) (3 1) (1 0) (0)) #((2) (2) (3 1) (1 0) (3 0)) #((2) (2) (3 1) (1 0) (2 0)) #((2) (2) (3 1) (1 0) (1 0)) #((2) (3 2) (3 1) (1 0) (3)) #((2) (3 2) (3 1) (1 0) (2)) #((2) (3 2) (3 1) (1 0) (3 2)) #((2) (3 2) (3 1) (1 0) (1)) #((2) (3 2) (3 1) (1 0) (3 1)) #((2) (3 2) (3 1) (1 0) (2 1)) #((2) (3 2) (3 1) (1 0) (0)) #((2) (3 2) (3 1) (1 0) (3 0)) #((2) (3 2) (3 1) (1 0) (2 0)) #((2) (3 2) (3 1) (1 0) (1 0)) #((3 2) (2) (3 1) (1 0) (3)) #((3 2) (2) (3 1) (1 0) (2)) #((3 2) (2) (3 1) (1 0) (3 2)) #((3 2) (2) (3 1) (1 0) (1)) #((3 2) (2) (3 1) (1 0) (3 1)) #((3 2) (2) (3 1) (1 0) (2 1)) #((3 2) (2) (3 1) (1 0) (0)) #((3 2) (2) (3 1) (1 0) (3 0)) #((3 2) (2) (3 1) (1 0) (2 0)) #((3 2) (2) (3 1) (1 0) (1 0)) #((3 2) (2) (1) (1 0) (3)) #((3 2) (2) (1) (1 0) (3 2)) #((3 2) (2) (1) (1 0) (3 1)) #((3 2) (2) (1) (1 0) (3 0)) #((3 2) (3 2) (3 1) (1 0) (3)) #((3 2) (3 2) (3 1) (1 0) (2)) #((3 2) (3 2) (3 1) (1 0) (3 2)) #((3 2) (3 2) (3 1) (1 0) (1)) #((3 2) (3 2) (3 1) (1 0) (3 1)) #((3 2) (3 2) (3 1) (1 0) (2 1)) #((3 2) (3 2) (3 1) (1 0) (0)) #((3 2) (3 2) (3 1) (1 0) (3 0)) #((3 2) (3 2) (3 1) (1 0) (2 0)) #((3 2) (3 2) (3 1) (1 0) (1 0)) #((3 2) (3 2) (1) (1 0) (3)) #((3 2) (3 2) (1) (1 0) (2)) #((3 2) (3 2) (1) (1 0) (3 2)) #((3 2) (3 2) (1) (1 0) (1)) #((3 2) (3 2) (1) (1 0) (3 1)) #((3 2) (3 2) (1) (1 0) (2 1)) #((3 2) (3 2) (1) (1 0) (0)) #((3 2) (3 2) (1) (1 0) (3 0)) #((3 2) (3 2) (1) (1 0) (2 0)) #((3 2) (3 2) (1) (1 0) (1 0)) #((3 2) (3 2) (3 1) (2 0) (3)) #((3 2) (3 2) (3 1) (2 0) (3 2)) #((3 2) (3 2) (3 1) (2 0) (1)) #((3 2) (3 2) (3 1) (2 0) (3 1)) #((3 2) (3 2) (3 1) (2 0) (2 1)) #((3 2) (3 2) (3 1) (2 0) (1 0)) #((3 2) (3 2) (3 1) (0) (3)) #((3 2) (3 2) (3 1) (0) (2)) #((3 2) (3 2) (3 1) (0) (3 2)) #((3 2) (3 2) (3 1) (0) (1)) #((3 2) (3 2) (3 1) (0) (3 1)) #((3 2) (3 2) (3 1) (0) (2 1)) #((3 2) (3 2) (3 1) (0) (0)) #((3 2) (3 2) (3 1) (0) (3 0)) #((3 2) (3 2) (3 1) (0) (2 0)) #((3 2) (3 2) (3 1) (0) (1 0)) #((3 2) (3 2) (1) (0) (3)) #((3 2) (3 2) (1) (0) (3 2)) #((3 2) (3 2) (1) (0) (1)) #((3 2) (3 2) (1) (0) (3 1)) #((3 2) (3 2) (1) (0) (2 1)) #((3 2) (3 2) (1) (0) (1 0)) #((3 2) (3 2) (3 1) (2 1) (0)) #((3 2) (3 2) (3 1) (2 1) (3 0)) #((3 2) (3 2) (3 1) (2 1) (1 0)) #((3 2) (3 2) (3 1) (1) (0)) #((3 2) (3 2) (3 1) (1) (3 0)) #((3 2) (3 2) (3 1) (1) (2 0)) #((3 2) (3 2) (3 1) (1) (1 0)) #((3 2) (3 2) (1) (1) (0)) #((3 2) (3 2) (1) (1) (3 0)) #((3 2) (3 2) (1) (1) (1 0)) #((2) (2) (3) (1 0) (3)) #((2) (2) (3) (1 0) (2)) #((2) (2) (3) (1 0) (3 2)) #((2) (2) (3) (1 0) (1)) #((2) (2) (3) (1 0) (3 1)) #((2) (2) (3) (1 0) (2 1)) #((2) (2) (3) (1 0) (1 0)) #((2) (2) () (1 0) (3)) #((2) (2) () (1 0) (3 2)) #((2) (2) () (1 0) (3 1)) #((2) (3 2) (3) (1 0) (3)) #((2) (3 2) (3) (1 0) (2)) #((2) (3 2) (3) (1 0) (3 2)) #((2) (3 2) (3) (1 0) (1)) #((2) (3 2) (3) (1 0) (3 1)) #((2) (3 2) (3) (1 0) (2 1)) #((2) (3 2) (3) (1 0) (0)) #((2) (3 2) (3) (1 0) (3 0)) #((2) (3 2) (3) (1 0) (2 0)) #((2) (3 2) (3) (1 0) (1 0)) #((2) (3 2) () (1 0) (3)) #((2) (3 2) () (1 0) (3 2)) #((2) (3 2) () (1 0) (1)) #((2) (3 2) () (1 0) (3 1)) #((2) (3 2) () (1 0) (2 1)) #((2) (3 2) () (1 0) (3 0)) #((2) (3 2) () (1 0) (1 0)) #((3 2) (3 2) (3) (1 0) (3)) #((3 2) (3 2) (3) (1 0) (2)) #((3 2) (3 2) (3) (1 0) (3 2)) #((3 2) (3 2) (3) (1 0) (1)) #((3 2) (3 2) (3) (1 0) (3 1)) #((3 2) (3 2) (3) (1 0) (2 1)) #((3 2) (3 2) (3) (1 0) (1 0)) #((3 2) (3 2) () (1 0) (3)) #((3 2) (3 2) () (1 0) (3 2)) #((3 2) (3 2) () (1 0) (1)) #((3 2) (3 2) () (1 0) (3 1)) #((3 2) (3 2) () (1 0) (2 1)) #((3 2) (3 2) () (1 0) (1 0)) #((3 2) (2) () (2 1) (0)) #((3 2) (2) () (2 1) (3 0)) #((3 2) (2) () (2 1) (2 0)) #((3 2) (2) () (2 1) (1 0)) #((3 2) (2) (3) (2 1) (0)) #((3 2) (2) (3) (2 1) (3 0)) #((3 2) (2) (3) (2 1) (2 0)) #((3 2) (2) (3) (2 1) (1 0)) #((3 2) (2) (3) (1) (0)) #((3 2) (2) (3) (1) (3 0)) #((3 2) (2) (3) (1) (2 0)) #((3 2) (2) (3) (1) (1 0)) #((3 2) (2) () (1) (0)) #((3 2) (2) () (1) (3 0)) #((3 2) (2) () (1) (2 0)) #((3 2) (2) () (1) (1 0)) #((3 2) (3 2) () (2 1) (0)) #((3 2) (3 2) () (2 1) (3 0)) #((3 2) (3 2) () (2 1) (2 0)) #((3 2) (3 2) () (2 1) (1 0)) #((3 2) (3 2) (3) (2 1) (0)) #((3 2) (3 2) (3) (2 1) (3 0)) #((3 2) (3 2) (3) (2 1) (2 0)) #((3 2) (3 2) (3) (2 1) (1 0)) #((3 2) (3 2) (3) (1) (0)) #((3 2) (3 2) (3) (1) (3 0)) #((3 2) (3 2) (3) (1) (2 0)) #((3 2) (3 2) (3) (1) (1 0)) #((3 2) (3 2) () (1) (0)) #((3 2) (3 2) () (1) (3 0)) #((3 2) (3 2) () (1) (2 0)) #((3 2) (3 2) () (1) (1 0)) #((3 2) (3 2) (3) (2) (1 0)) #((3 2) (3 2) (3) () (1 0)) #((3 2) (3 2) () () (1 0)) #(() (3 2) (1) (2 0) (3)) #(() (3 2) (1) (2 0) (2)) #(() (3 2) (1) (2 0) (3 2)) #(() (3 2) (1) (2 0) (1)) #(() (3 2) (1) (2 0) (3 1)) #(() (3 2) (1) (2 0) (2 1)) #(() (3 2) (1) (2 0) (3 0)) #(() (3 2) (1) (2 0) (2 0)) #(() (3 2) (1) (2 0) (1 0)) #(() (3 2) (3 1) (2 0) (3)) #(() (3 2) (3 1) (2 0) (2)) #(() (3 2) (3 1) (2 0) (3 2)) #(() (3 2) (3 1) (2 0) (1)) #(() (3 2) (3 1) (2 0) (3 1)) #(() (3 2) (3 1) (2 0) (2 1)) #(() (3 2) (3 1) (2 0) (3 0)) #(() (3 2) (3 1) (2 0) (2 0)) #(() (3 2) (3 1) (2 0) (1 0)) #(() (3 2) (3 1) (0) (2)) #(() (3 2) (3 1) (0) (3 2)) #(() (3 2) (3 1) (0) (2 1)) #(() (3 2) (3 1) (0) (2 0)) #((3) (3 2) (1) (2 0) (3)) #((3) (3 2) (1) (2 0) (2)) #((3) (3 2) (1) (2 0) (3 2)) #((3) (3 2) (1) (2 0) (1)) #((3) (3 2) (1) (2 0) (3 1)) #((3) (3 2) (1) (2 0) (2 1)) #((3) (3 2) (1) (2 0) (0)) #((3) (3 2) (1) (2 0) (3 0)) #((3) (3 2) (1) (2 0) (2 0)) #((3) (3 2) (1) (2 0) (1 0)) #((3) (3 2) (3 1) (2 0) (3)) #((3) (3 2) (3 1) (2 0) (2)) #((3) (3 2) (3 1) (2 0) (3 2)) #((3) (3 2) (3 1) (2 0) (1)) #((3) (3 2) (3 1) (2 0) (3 1)) #((3) (3 2) (3 1) (2 0) (2 1)) #((3) (3 2) (3 1) (2 0) (0)) #((3) (3 2) (3 1) (2 0) (3 0)) #((3) (3 2) (3 1) (2 0) (2 0)) #((3) (3 2) (3 1) (2 0) (1 0)) #((3) (3 2) (3 1) (0) (2)) #((3) (3 2) (3 1) (0) (3 2)) #((3) (3 2) (3 1) (0) (2 1)) #((3) (3 2) (3 1) (0) (2 0)) #((3) (2) (3 1) (2 0) (3)) #((3) (2) (3 1) (2 0) (3 2)) #((3) (2) (3 1) (2 0) (1)) #((3) (2) (3 1) (2 0) (3 1)) #((3) (2) (3 1) (2 0) (2 1)) #((3) (2) (3 1) (2 0) (1 0)) #((3) (2) (3 1) (0) (2)) #((3) (2) (3 1) (0) (3 2)) #((3) (2) (3 1) (0) (1)) #((3) (2) (3 1) (0) (3 1)) #((3) (2) (3 1) (0) (2 1)) #((3) (2) (3 1) (0) (2 0)) #((3) (2) (3 1) (0) (1 0)) #((3) (2) (1) (0) (3 2)) #((3) (2) (1) (2 1) (0)) #((3) (2) (1) (2 1) (3 0)) #((3) (2) (1) (2 1) (2 0)) #((3) (2) (3 1) (2 1) (0)) #((3) (2) (3 1) (2 1) (3 0)) #((3) (2) (3 1) (2 1) (2 0)) #((3) (2) (3 1) (2 1) (1 0)) #((3) (3 2) (3 1) (2 1) (0)) #((3) (3 2) (3 1) (2 1) (3 0)) #((3) (3 2) (3 1) (2 1) (2 0)) #((3) (3 2) (1) (2) (0)) #((3) (3 2) (1) (2) (3 0)) #((3) (3 2) (1) (2) (2 0)) #((3) (3 2) (1) (2) (1 0)) #((3) (3 2) (3 1) (2) (0)) #((3) (3 2) (3 1) (2) (3 0)) #((3) (3 2) (3 1) (2) (2 0)) #((3) (3 2) (3 1) (2) (1 0)) #((3) (3 2) (3 1) () (2 0)) #(() (3 2) (3 1) (2 1) (3 0)) #(() (2) (3) (1 0) (3)) #(() (2) (3) (1 0) (2)) #(() (2) (3) (1 0) (3 2)) #(() (2) (3) (1 0) (1)) #(() (2) (3) (1 0) (3 1)) #(() (2) (3) (1 0) (2 1)) #(() (2) (3) (1 0) (3 0)) #(() (2) (3) (1 0) (2 0)) #(() (2) (3) (1 0) (1 0)) #(() (3 2) (3) (1 0) (3)) #(() (3 2) (3) (1 0) (2)) #(() (3 2) (3) (1 0) (3 2)) #(() (3 2) (3) (1 0) (1)) #(() (3 2) (3) (1 0) (3 1)) #(() (3 2) (3) (1 0) (2 1)) #(() (3 2) (3) (1 0) (3 0)) #(() (3 2) (3) (1 0) (2 0)) #(() (3 2) (3) (1 0) (1 0)) #(() (3 2) () (1 0) (3)) #(() (3 2) () (1 0) (3 2)) #(() (3 2) () (1 0) (3 1)) #(() (3 2) () (1 0) (2 1)) #(() (3 2) () (2 0) (1)) #(() (3 2) () (2 0) (3 1)) #(() (3 2) () (2 0) (2 1)) #(() (3 2) () (2 0) (1 0)) #(() (3 2) (3) (2 0) (1)) #(() (3 2) (3) (2 0) (3 1)) #(() (3 2) (3) (2 0) (2 1)) #(() (3 2) (3) (2 0) (1 0)) #(() (3 2) (3) (0) (1)) #(() (3 2) (3) (0) (3 1)) #(() (3 2) (3) (0) (2 1)) #(() (3 2) (3) (0) (1 0)) #(() (3 2) () (0) (1)) #(() (3 2) () (0) (3 1)) #(() (3 2) () (0) (2 1)) #(() (3 2) () (0) (1 0)) #((3) (2) (3) (1 0) (3)) #((3) (2) (3) (1 0) (2)) #((3) (2) (3) (1 0) (3 2)) #((3) (2) (3) (1 0) (1)) #((3) (2) (3) (1 0) (3 1)) #((3) (2) (3) (1 0) (2 1)) #((3) (2) (3) (1 0) (0)) #((3) (2) (3) (1 0) (3 0)) #((3) (2) (3) (1 0) (2 0)) #((3) (2) (3) (1 0) (1 0)) #((3) (2) () (1 0) (3)) #((3) (2) () (1 0) (3 2)) #((3) (2) () (1 0) (3 1)) #((3) (2) () (1 0) (0)) #((3) (2) () (1 0) (3 0)) #((3) (2) () (1 0) (2 0)) #((3) (2) () (1 0) (1 0)) #((3) (3 2) (3) (1 0) (3)) #((3) (3 2) (3) (1 0) (2)) #((3) (3 2) (3) (1 0) (3 2)) #((3) (3 2) (3) (1 0) (1)) #((3) (3 2) (3) (1 0) (3 1)) #((3) (3 2) (3) (1 0) (2 1)) #((3) (3 2) (3) (1 0) (0)) #((3) (3 2) (3) (1 0) (3 0)) #((3) (3 2) (3) (1 0) (2 0)) #((3) (3 2) (3) (1 0) (1 0)) #((3) (3 2) () (1 0) (3)) #((3) (3 2) () (1 0) (3 2)) #((3) (3 2) () (1 0) (1)) #((3) (3 2) () (1 0) (3 1)) #((3) (3 2) () (1 0) (2 1)) #((3) (3 2) () (1 0) (0)) #((3) (3 2) () (1 0) (3 0)) #((3) (3 2) () (1 0) (2 0)) #((3) (3 2) () (1 0) (1 0)) #((3) (3 2) () (2 0) (1)) #((3) (3 2) () (2 0) (3 1)) #((3) (3 2) () (2 0) (2 1)) #((3) (3 2) () (2 0) (1 0)) #((3) (3 2) (3) (2 0) (1)) #((3) (3 2) (3) (2 0) (3 1)) #((3) (3 2) (3) (2 0) (2 1)) #((3) (3 2) (3) (2 0) (1 0)) #((3) (3 2) (3) (0) (1)) #((3) (3 2) (3) (0) (3 1)) #((3) (3 2) (3) (0) (2 1)) #((3) (3 2) (3) (0) (1 0)) #((3) (3 2) () (0) (1)) #((3) (3 2) () (0) (3 1)) #((3) (3 2) () (0) (2 1)) #((3) (3 2) () (0) (1 0)) #((3) (2) () (2 0) (3 1)) #((3) (2) () (2 0) (1 0)) #((3) (2) (3) (2 0) (1)) #((3) (2) (3) (2 0) (3 1)) #((3) (2) (3) (2 0) (2 1)) #((3) (2) (3) (2 0) (1 0)) #((3) (2) (3) (0) (1)) #((3) (2) (3) (0) (3 1)) #((3) (2) (3) (0) (2 1)) #((3) (2) (3) (0) (1 0)) #((3) (2) () (0) (3 1)) #((3) (2) () (2 1) (0)) #((3) (2) () (2 1) (3 0)) #((3) (2) () (2 1) (2 0)) #((3) (2) () (2 1) (1 0)) #((3) (2) (3) (2 1) (0)) #((3) (2) (3) (2 1) (3 0)) #((3) (2) (3) (2 1) (2 0)) #((3) (2) (3) (2 1) (1 0)) #((3) (2) (3) (1) (0)) #((3) (2) (3) (1) (3 0)) #((3) (2) (3) (1) (2 0)) #((3) (2) (3) (1) (1 0)) #((3) (2) () (1) (0)) #((3) (2) () (1) (3 0)) #((3) (2) () (1) (2 0)) #((3) (2) () (1) (1 0)) #((3) (3 2) () (2 1) (0)) #((3) (3 2) () (2 1) (3 0)) #((3) (3 2) () (2 1) (2 0)) #((3) (3 2) () (2 1) (1 0)) #((3) (3 2) (3) (2 1) (0)) #((3) (3 2) (3) (2 1) (3 0)) #((3) (3 2) (3) (2 1) (2 0)) #((3) (3 2) (3) (2 1) (1 0)) #((3) (3 2) (3) (1) (0)) #((3) (3 2) (3) (1) (3 0)) #((3) (3 2) (3) (1) (2 0)) #((3) (3 2) (3) (1) (1 0)) #((3) (3 2) () (1) (0)) #((3) (3 2) () (1) (3 0)) #((3) (3 2) () (1) (2 0)) #((3) (3 2) () (1) (1 0)) #((3) (3 2) () (2) (1 0)) #((3) (3 2) (3) (2) (1 0)) #((3) (3 2) (3) () (1 0)) #((3) (3 2) () () (1 0)) #((3) (2) (3) (2) (1 0)) #((3) (2) (3) () (1 0)) #((3) (2) () () (1 0)) #(() (2) (3) (2 1) (3 0)) #(() (2) (3) (2 1) (2 0)) #(() (2) (3) (2 1) (1 0)) #(() (2) (3) (1) (3 0)) #(() (3 2) () (2 1) (3 0)) #(() (3 2) (3) (2 1) (3 0)) #(() (3 2) (3) (2 1) (2 0)) #(() (3 2) (3) (2 1) (1 0)) #(() (3 2) (3) (2) (1 0)) #(() (3 2) (3) () (1 0)) #((3) () () (2 1) (0)) #((3) () () (2 1) (3 0)) #((3) () () (2 1) (2 0)) #((3) () (3) (2 1) (0)) #((3) () (3) (2 1) (3 0)) #((3) () (3) (2 1) (2 0)) #((3) () (3) (2 1) (1 0)) #((3) (3) (3) (2 1) (0)) #((3) (3) (3) (2 1) (3 0)) #((3) (3) (3) (2 1) (2 0)) #((3) (3) () (2) (1 0)) #((3) (3) (3) (2) (1 0)) #(() () () (2 1) (3 0)) #(() () (3) (2 1) (3 0)) #(() () (3) (2 1) (2 0)) #(() (3) (3) (2 1) (3 0)) #(() (3) (3) (2 1) (2 0)) #(() (3) () (2) (1 0)) #(() (3) (3) (2) (1 0)))