diff options
Diffstat (limited to 'test/ternaryvarmod.blc')
| -rw-r--r-- | test/ternaryvarmod.blc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/ternaryvarmod.blc b/test/ternaryvarmod.blc new file mode 100644 index 0000000..0e0ff73 --- /dev/null +++ b/test/ternaryvarmod.blc @@ -0,0 +1 @@ +00010100011000001100100010001010100010001110000101110110100001110000101110110100000000101100000000101000000010110111011001111110111001011111110111110110000010000110110100101010001000111000010111011010000111000010111011010000000010110000000010100000001011011101100111111011100101111111011111011000001000000101010001000111000010111011010000111000010111011010000000010110000000010111111100111111011101101101100101010001000111000010111011010000111000010111011010000000010110000000010100000001011011101100111111011100101111111011111011000001000000101110111010101001010000000101101110110000000000101010001010101100000110000000100000001000101000000000111100111100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110100101000000010110111011000000000010101000101010110000011000000010000000100010100000000001110111100111001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101101001000101000000010110111011010000010000000000101010001010101100000110000000100000001000101000000000011110011101111001111100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110100000000001100111100111100111100111011110
\ No newline at end of file |