1 files changed, 0 insertions, 443 deletions
diff --git a/examples/apex4.pla b/examples/apex4.pla
deleted file mode 100644
index 22e7f820..00000000
--- a/examples/apex4.pla
+++ /dev/null
@@ -1,443 +0,0 @@
-.i 9
-.o 19
-.p 438
-010110011 0100000000000000011
-100100001 0110000000000000000
-100010100 0100010000000000000
-100101001 0100001000000000000
-001101010 0000001000000001001
-00-0-0001 0000000000001011100
-110101010 0000000000010100000
-010111100 0100000001000000110
-011010111 0100000001000000000
-010111010 0000110000000000000
-110000001 0100000000001010000
-0110-0011 0001100000000000000
-10011-010 0100000000000000000
-101000110 0011000000000000000
-100110110 0000101000000000000
-101110100 0001100000000000000
-111000101 0100000000100000000
-100100100 0000000001100000000
-111001110 0100000000100000000
-111111001 0000000000001100000
-001100100 0000000000100110000
-001101101 0010000000010100000
--01111101 0100000000000000000
-010001110 0100000010100000000
-001011111 0000010100000000110
-100101110 0100100100000000000
-001011011 0000000010010010000
-011111000 0010100000000000000
-100110100 0000001000001100000
-001101110 0000000100010010000
-010011100 0000000001000110000
-101111101 0000100100000000000
-111010000 0100000000000110000
-101011010 0000010100000000000
-011000001 0000100000000110000
-101101101 0000100001000000000
-011011011 0001000000010010000
-010011111 0000010001000001010
-10111111- 0100000000000000000
-010101010 0010000001000001001
-011101010 0010000000001100000
-11011111- 0100000000000000000
-111111011 0001100000000000000
-001010101 0000010000010101100
-001110111 0010000000000111001
-1001100-1 0010000000000000000
-100100111 0100000000110010000
-011101011 0101000001000000000
-011011101 0000100000010010000
-101110101 0101000001000000000
-001110100 0010000000010011001
-001110010 0001000110000000000
-110011100 0000000000110010000
-110101111 0000001000001100000
-100111111 0001000110000000000
-10-110000 0100000000000010000
-101101100 0100001010000000000
-010000011 0001000010000110000
--11000011 0001000000000000000
-100001101 0000101100000000000
-010000010 0000100000110100000
-1-0001001 0100100000000000000
-001001110 0001010010000001100
-001110001 0000100011000000000
-00101001- 0000000100000001100
-100100010 0010000001100000000
-011011110 0001110000000000000
-110110000 0000100100001000000
-101000101 0000011000001000000
-100101111 0101010010000000000
-101110110 0100000000110010000
-001110000 0000010001100000000
-011001110 0100000001000110000
-010010100 0000010001100000000
-100010010 0001000001001010000
-100011000 0000100010000110000
--01001100 0000000000010010000
-001001111 0010100010000001100
-110111110 0001110000000000000
-100110001 0000001110000000000
-001100000 0000101000100000101
-100110101 0000010011000000000
-010010010 0010000000110010000
-111100110 0000010000010010000
-100-10001 0001100000000000000
-100111101 0010010000000110000
-011010100 0001000011000000000
-101011101 0001100000011000000
-010101011 0001001100000001001
-110101100 0001100000000110000
-110101000 0001010001000000000
-001001101 0000101010000001110
-110010100 0000110100000000000
-011000101 0100000001001101100
-111000111 0100001001000000000
-001010000 0010000010001101100
-100011101 0100011010000000000
-1-0110000 0000000000100100000
-10000-011 0001000001000000000
-001011100 0000000011010010000
-101111001 0000000110100000000
-0010100-1 0000000010100000000
-010001-01 0010000000100000000
-110-11011 0000000000010010000
-1110-1011 0000010000000000000
-1001-1011 0000100000100000000
-00110001- 0010000000100000000
-100100110 0101000001010010000
-101010101 0010000000100110000
--01101011 0001010000000000000
-001001000 0000000011100100000
-110000100 0000010011000000000
-101000-00 0000000010001000000
-010011110 0000000111000001100
-110111100 0000110001000000000
-001101001 0000010100001011010
-10011-001 0010000000100000000
-0100-0001 0000010010000000000
-100111-10 0000100100000000000
-110101101 0010001100000000000
-001101000 0000001010001101100
--01111011 0001000100000000000
-001000-11 0000000011000000000
-110000101 0000101000010100000
-011100100 0000011001000000000
-011100110 0000100001000110000
-1011-0000 0010000000010000000
-100011011 0010000101001000000
-101-00000 0000001000000100000
-0011-1111 0000001000100000000
-011011100 0010000010010010000
-001010111 0001010001100000000
-110000010 0010000001011000000
-00-000-00 0000000000000010001
-0-1100110 0000000010100000000
-1001010-0 0000000011000000000
-11-001011 0010000000001000000
-011111-01 0011000000000000000
-01-110100 0010000000100000000
-101011001 0000001001001100000
-011101110 0000011000011000000
-101100001 0000000101000110000
-011111011 0010000001011000000
-011101100 0100000011100000000
-1-1001011 0000000010000010000
--01011010 0000000001100000000
-0-1001011 0000001100000000000
-0110-0000 0000100010000000000
-111001101 0101010010000000000
-111000110 0010000011000000000
-011-00111 0000100010000000000
-01100-011 0000010000100000000
-1101-1011 0000001000000010000
--11001010 0001010000000000000
-01110011- 0001001000000000000
-100011110 0010110001000000000
-110001-01 0000100100000000000
-011010110 0100000100111000000
-100010110 0001000110010100000
-100001011 0010110000000110000
-110-10010 0000110000000000000
-101-01101 0010010000000000000
-0-1100111 0000000101000000000
-110100-00 0010000000100000000
-01001100- 0000000010010010000
-110101-10 0010000000100000000
-111010100 0000101000001100000
-110-11001 0010000000100000000
-1100-1100 0010010000000000000
-1010101-0 0000010100000000000
-100001111 0010010010001100000
-11000011- 0001000000000110000
-111100011 0000010101000000000
-01010111- 0000010000100001001
-010111111 0010010110000000000
-011110000 0011000010100000000
-111110001 0010000000111000000
-100100011 0000000111100000000
-011100000 0011100001000000000
-011111110 0100001101000000000
-010110101 0010011010000000000
-010100011 0000110010001010000
-111111000 0000010101000000000
-111111101 0010000000111000000
-11101100- 0100000000011000000
-011111100 0001110100000000000
-001111011 0000101010001100000
--11100001 0010000000100000000
-0111-1000 0000001000100000000
-100100000 0101110000011000000
-010100111 0000100110010100000
-101000010 0001011100000000000
-11001-010 0000001010000000000
-010001000 0010010001001100000
--11110011 0010000000100000000
-010100101 0000001011100000000
-100--1000 0010000000000000000
-010101000 0001001001000110000
-010010101 0000100101100000110
-111101001 0000001010000110000
-111000100 0101000001000110000
-011001101 0001100100000110000
-001111111 0010010100011000000
-1010-1000 0000001001000000000
-100101100 0001000101010010000
-001110101 0001001110000001001
-0100-101- 0000000010000000000
-011100101 0000110100100000000
-110010001 0001011100000000000
-0-110-010 0000100000000000000
-111001100 0100100100011000000
-101100101 0001000110001100000
-10-001-01 0000000000100000000
-111111010 0000001001001100000
-101111110 0001010010001100000
-1-0001-00 0010000000000000000
-011001000 0001000110001010000
-001--0101 0000000001000000000
-010000101 0100101011000000000
-011011010 0010011000100000000
-110011110 0000111000100000000
-001110011 0010001100010010000
-111010110 0011110000000000000
-11101-111 0010000000100000000
-111011-00 0000100100000000000
--01-11111 0000000000100000000
-111100111 0001110000100000000
--10011000 0001110000000000000
-110001110 0001000110011000000
-01011-010 0001000110000000000
--01100001 0001010000100000000
-010100100 0000000111011000000
-01--00010 0000000100000000000
-011011001 0010101001000000000
-1101110-1 0000000010010010000
-10-10-100 0000010000000000000
---1011000 0000100000000000000
--010-0110 0000000001000000000
-10--01011 0000001000000000000
-110110100 0001000110011000000
-100010011 0100010110011000000
-101110010 0000000111100000000
-001001100 0000010110001101110
-110100001 0010000111000000000
-110100011 0010010100001100000
-010100-10 0000010100100000000
-010100000 0000100101001101001
-11101-110 0000001010000000000
-1-01010-1 0000000001000000000
-001111000 0000001101100001001
-00101100- 0010000001100000000
-0100010-0 0000001100100000000
-010000110 0001110011000000000
-001-11110 0000001010100000000
-101101111 0101110000010010000
--1-011101 0000000010000000000
-00101-101 0000000101100000000
-0101-0010 0010011000000000000
-10100010- 0000100001010000000
--1011001- 0000000001000000000
-10111100- 0100001001000000000
-1111-1100 0000001100000000000
-10000000- 0000100000110010000
-110100101 0000011101000000000
-010-01111 0000001110000000000
-001010110 0000101000110011111
-001111100 0011011100000000000
-101100-11 0010100010000000000
-11101111- 0000000000110010000
-010111011 0011101001000000000
-11001-1-1 0000000001000000000
-101110111 0010000011010010000
-111001001 0000101001100000000
-0-1001010 0000000111000000000
-100011010 0010101110000000000
-01110100- 0011000001000000000
-11-111-00 0010000000000000000
-11-1-1111 0010000000000000000
-110110-10 0010100010000000000
-011101101 0000001011001010000
-1-110110- 0000010000000000000
-0-1001001 0000000100111000000
-100100101 0011101000010010000
-1-0111011 0100011000010000000
-111110010 0010011100000000000
-11-010-10 0000001000000000000
-111101101 0000101000101100000
-010111001 0000111100100000000
-011001-01 0010001010000000000
-010110001 0001110001011000000
-10100000- 0010000000101100000
-01110-111 0000110001000000000
-111010001 0010000001100110000
-1-1101011 0010010000100000000
-100-11011 0000010010100100000
-100111100 0010100110000110000
-111000000 0010000001110010000
-100010101 0010011101000000000
-01011011- 0000010001010010000
-10100101- 0010000000110010000
-010010110 0001001101100000101
-01111001- 0010000000100110000
--11000010 0000010001100000000
-101-10001 0010000000110010000
-010000100 0010010101000110000
-10-00-100 0010000000100000000
-110000111 0010111010000000000
-1-00100-0 0010000000100000000
--100-0000 0010000000100000000
-011000000 0001011101000000000
-011-10011 0000001101000000000
-1111011-0 0000100010100000000
--11010011 0000010011000000000
-101000111 0010001110100000000
-011010001 0001000101101100000
-1-1100100 0010000101000000000
-010010011 0000000111110010000
-001111010 0000110111000001001
-111-11010 0000100110000000000
-010001011 0000011101011000000
-01110001- 0010000001010010000
-1010--011 0010000000100000000
-010010001 0010001101010010000
-110-01011 0000100110000100000
-10-011001 0001010110000000000
-10-1100-1 0000000001100000000
-010001111 0011110001100000000
-001111001 0000011011100001001
-001110110 0010011101000001001
-0101000-1 0001001101000000000
-01100-01- 0000101000000000000
-110110101 0010101101000000000
-010101100 0010011010001101001
-11001-01- 0010000000100000000
-110001111 0010001010111000000
-010110000 0000111010011001001
-1-1-00011 0010100000000000000
-0101101-0 0000111100000000000
-011010101 0010000011111000000
-110010110 0010000110110010000
-11-01-101 0001000100000000000
-101--0100 0010001000000000000
-001010100 0000001011111001100
-10-000101 0010100101000000000
-101111010 0000101001100110000
-101-01000 0001010110000000000
-111011001 0000111010100000000
-1010--110 0000001100000000000
-01-000110 0010001100100000000
-101010010 0010000111010010000
-11-10-010 0010000000100000000
-1011--011 0000010001000000000
-110110011 0010011100011000000
-110001010 0100111010001100000
-01011-110 0001001010010010000
-110-10111 0001010110000000000
-100011111 0001111000111000000
-10100111- 0000111000100000000
-11111111- 0010001000011000000
-00-0000-- 0000000000000110001
-100111000 0001111010011000000
-011000100 0011101110000000000
--1100101- 0000000101000000000
-0110-1111 0010001100100000000
-111100000 0001011100010010000
-011111111 0011111000100000000
-1111-100- 0010000000100000000
-100-01010 0100001101100000000
-010010111 0010011101100000000
-1101-1000 0000101110000000000
-111010101 0010001001101100000
-110010-11 0000101011000000000
-1-1100001 0000111010000000000
-111000001 0000000111110010000
-1100--0-0 0000000000100000000
-011001100 0001111000110100000
-001111110 0010110101001010000
-1010-100- 0001110000000000000
-111110000 0010000111001010000
-100010111 0010101101000110000
-011110101 0001111101000000000
-01111110- 0000001011100000000
--1--00011 0000001000000000000
-011111010 0011010110011000000
-101010111 0000111011100000000
-010111101 0010011100110010000
--11-01-11 0000000000100000000
-111110100 0000011101010100000
-010101001 0010001111000110000
-1-1011-1- 0010000000000000000
-011110001 0011011100010100000
-100000111 0000011111010010000
-101111100 0010010111100000000
-110100111 0001111001011000000
-101100010 0001011011000110000
-111100-10 0000101011000000000
-101101001 0010101110011000000
-10-000011 0000111010100000000
-11001010- 0010001001010010000
-101100110 0010101101001100000
-101-01110 0001111000100000000
-011010010 0010001101101100000
-10-001110 0001011011000000000
-10000-000 0001011100010010000
-110-11101 0001111000100000000
-101011100 0000101111001010000
-1-0000110 0010001101100000000
-100011100 0011011001101100000
-111110110 0001111001000110000
-0110111-1 0001011101000000000
-010000111 0001001111101100000
-11011000- 0001011011000000000
-101010000 0001101111100000000
-100110111 0011001101101010000
-1101-1001 0010010101100000000
-111100101 0010001110110010000
-110011111 0001101110100110000
-100101101 0010010111110010000
-111001000 0100001111101100000
-0010001-- 0000000011011101110
-010111000 0000011111110010000
-1-0000000 0001101111000000000
-110111010 0011011001110010000
-101101010 0010010111111000000
-011110111 0010101111001100000
-110100110 0000111011101010000
-111110111 0001111111000000000
-01-011000 0001011111000000000
-00-00-0-- 0000000000011001110
-11110-1-0 0001001101000000000
-111110101 0000111011100110000
-001101100 0010011111111000000
-010101101 0001111111001101001
-010001100 0000111111111000011
-111001111 0011101111010100000
-1000000-0 0000111111010010000
-011110110 0001111111101100000
-000------ 0000000000011111111
-.e
-