mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-27 01:10:28 +01:00
121 lines
5.6 KiB
Plaintext
121 lines
5.6 KiB
Plaintext
[ [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 2, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 1, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 2, 1, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, 1, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 1, -1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 0, 1, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 0, 2 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 2, 0, 1 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 1, 1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, -1, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 0, 0, 1 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, -1, 1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 2 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 1 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 2, 1 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 1 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 0, 1 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 1, 2, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 2, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 1, 0, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 1, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 1, 1, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 1, 0, 2 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 2, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, 1, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 1, -1, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 1, 0, 0 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, -1, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, 1, 2 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 1, 1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 2, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, 1, 0 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ -1, 1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, 1, 1 ] ],
|
|
[ [ 1, -1, -1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 0, -1, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, -2, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, -1, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, -1, 1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 2, -1, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 0, 0, -1 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, -1, -1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, 0, -2 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 2, 0, -1 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 1, -1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, -1 ], [ 1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 0, -1 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, -2 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, -1 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 2, -1 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ -1, 0, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ -1, 1, -1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, 1, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ -1, 2, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ -1, 1, 1 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -2, 1, 0 ], [ 0, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ -1, -1, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ -1, 0, 0 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ -1, 1, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ -1, 0, 2 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ -1, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -2, 0, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, -1, 1 ] ],
|
|
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, -1, 0 ] ],
|
|
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ -1, -1, 1 ] ],
|
|
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, -1, 2 ] ],
|
|
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 1, -1, 1 ] ],
|
|
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, -2, 1 ] ] ] |