.model top
.inputs _1gat_0_ _290gat_17_ _375gat_22_ _18gat_1_ _511gat_30_ _307gat_18_ \
_324gat_19_ _409gat_24_ _137gat_8_ _358gat_21_ _392gat_23_ _171gat_10_ \
_120gat_7_ _256gat_15_ _35gat_2_ _239gat_14_ _273gat_16_ _86gat_5_ _69gat_4_ \
_188gat_11_ _460gat_27_ _103gat_6_ _341gat_20_ _222gat_13_ _528gat_31_ \
_52gat_3_ _205gat_12_ _477gat_28_ _426gat_25_ _443gat_26_ _494gat_29_ \
_154gat_9_
.outputs _6280gat_2443_ _4946gat_1876_ _6260gat_2433_ _6240gat_2423_ \
_2223gat_700_ _5672gat_2187_ _6160gat_2383_ _6287gat_2444_ _6190gat_2398_ \
_4591gat_1722_ _4241gat_1572_ _6180gat_2393_ _6220gat_2413_ _6170gat_2388_ \
_6200gat_2403_ _3552gat_1275_ _5971gat_2309_ _6210gat_2408_ _2548gat_840_ \
_6150gat_2378_ _1901gat_561_ _6288gat_2447_ _1581gat_423_ _6230gat_2418_ \
_3211gat_1128_ _6123gat_2368_ _6250gat_2428_ _3895gat_1423_ _545gat_287_ \
_2877gat_983_ _5308gat_2031_ _6270gat_2438_
.names [35] n_n2658 n_n2657 n_n2412 n_n2633 n_n2632 n_n2690 n_n2689 \
_6280gat_2443_
1-----11 1
0-----00 1
111---1- 1
111----1 1
11-11-1- 1
1-111-1- 1
11-1-11- 1
1-11-11- 1
11--111- 1
1-1-111- 1
11-11--1 1
1-111--1 1
11-1-1-1 1
1-11-1-1 1
11--11-1 1
1-1-11-1 1
000---01 1
000---10 1
001-0001 1
010-0001 1
001-0010 1
010-0010 1
00100101 1
01000101 1
00101001 1
01001001 1
00100110 1
01000110 1
00101010 1
01001010 1
.names _1gat_0_ _18gat_1_ _460gat_27_ _443gat_26_ n_n3279 n_n3281 n_n3261 \
n_n3259 _4946gat_1876_
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
0--00011 1
--000011 1
00--0101 1
0--00101 1
--000101 1
00--1001 1
-00-1001 1
0--01001 1
--001001 1
00--1010 1
0--01010 1
--001010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
0--01100 1
--001100 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
1111111- 1
1001111- 1
1011101- 1
1101101- 1
1011110- 1
1101110- 1
1111100- 1
1001100- 1
1111-111 1
1001-111 1
01-10111 1
1-100111 1
1011-011 1
1101-011 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
1011-101 1
1101-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
1111-001 1
1001-001 1
01-10001 1
1-100001 1
01-11110 1
1-101110 1
101-0110 1
01-10110 1
-1010110 1
1-100110 1
01-11000 1
1-101000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110010 1
11110100 1
.names _171gat_10_ _528gat_31_ n_n2658 n_n2657 n_n2412 n_n2633 n_n2766 n_n2765 \
_6260gat_2433_
--1111-- 1
--0011-- 1
0-01-00- 1
-001-00- 1
0-10-00- 1
-010-00- 1
--111-11 1
--001-11 1
--11-111 1
--00-111 1
0-01-0-0 1
-001-0-0 1
0-10-0-0 1
-010-0-0 1
--01-000 1
--10-000 1
11111-1- 1
11001-1- 1
1111-11- 1
1100-11- 1
0-01010- 1
-001010- 1
0-10010- 1
-010010- 1
11111--1 1
11001--1 1
1111-1-1 1
1100-1-1 1
--010011 1
--100011 1
0-0101-0 1
-00101-0 1
0-1001-0 1
-01001-0 1
--010100 1
--100100 1
1101001- 1
1110001- 1
110100-1 1
111000-1 1
.names n_n2609 n_n2610 n_n2567 n_n2427 n_n2566 n_n2586 n_n2587 _6240gat_2423_
11---11 1
00---11 1
01---00 1
10---00 1
1111-1- 1
0011-1- 1
111-11- 1
001-11- 1
11-111- 1
00-111- 1
1111--1 1
0011--1 1
111-1-1 1
001-1-1 1
11-11-1 1
00-11-1 1
010-001 1
100-001 1
010-010 1
100-010 1
0100101 1
1000101 1
0110001 1
1010001 1
0100110 1
1000110 1
0110010 1
1010010 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _307gat_18_ _324gat_19_ _35gat_2_ \
_273gat_16_ _52gat_3_ _2223gat_700_
0011--0- 1
100-1-0- 1
10-01-0- 1
-0110-0- 1
010--10- 1
-10-010- 1
1-0-100- 1
0-0--011 1
--0-0011 1
1-0-10-0 1
0110-10- 1
-110010- 1
0111-00- 1
000--111 1
00-0-111 1
-0-00111 1
00-0-011 1
-0-00011 1
0111-0-0 1
0011-0-0 1
10-010-0 1
-01100-0 1
010--110 1
1111010- 1
1111100- 1
1110100- 1
0110-111 1
0110-011 1
111110-0 1
0111-110 1
0011-110 1
10-01110 1
-1000110 1
10011111 1
11001111 1
11110111 1
10110111 1
11010111 1
11100111 1
10111011 1
11101011 1
11110011 1
11111110 1
10111110 1
11011110 1
11101110 1
10010110 1
11100010 1
.names _1gat_0_ _18gat_1_ _477gat_28_ _494gat_29_ n_n2976 n_n2978 n_n2954 \
n_n2956 _5672gat_2187_
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
--000011 1
00--1001 1
0-0-1001 1
--001001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
--000110 1
00--1010 1
0-0-1010 1
-0-01010 1
--001010 1
00--1100 1
0-0-1100 1
--001100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
111111-1 1
101011-1 1
101110-1 1
111010-1 1
1111-111 1
1010-111 1
011-0111 1
1-010111 1
1011-011 1
1110-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
011-1101 1
1-011101 1
011-0101 1
10-10101 1
1-010101 1
-1100101 1
101111-0 1
111011-0 1
111110-0 1
101010-0 1
1011-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
1111-010 1
1010-010 1
011-0010 1
1-010010 1
011-1000 1
1-011000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110100 1
.names n_n2477 n_n2478 n_n2467 n_n2469 _6160gat_2383_
010- 1
100- 1
01-0 1
10-0 1
1111 1
0011 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ _494gat_29_ n_n2394 \
[232] n_n3007 _6287gat_2444_
1111---- 1
-1-1-01- 1
11-11--1 1
-1111--1 1
111-101- 1
111--011 1
1-11-011 1
11--1011 1
.names n_n2512 n_n2513 n_n2442 _6190gat_2398_
111 1
001 1
010 1
100 1
.names _1gat_0_ _443gat_26_ n_n3279 n_n3259 _4591gat_1722_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _18gat_1_ _409gat_24_ _426gat_25_ n_n3576 n_n3555 n_n3578 \
n_n3556 _4241gat_1572_
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
--001001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
--000110 1
00--1010 1
0-0-1010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
10101-11 1
1111-111 1
1010-111 1
011-0111 1
1-010111 1
011-1011 1
1-011011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
10111-01 1
11101-01 1
1011-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
10111-10 1
11101-10 1
1011-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
10101-00 1
1111-100 1
1010-100 1
011-0100 1
1-010100 1
011-1000 1
1-011000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names n_n2477 n_n2478 n_n2500 n_n2499 n_n2487 n_n2488 n_n2467 n_n2469 \
_6180gat_2393_
--1111-- 1
--0011-- 1
--0100-- 1
--1000-- 1
11111--- 1
11001--- 1
1111-1-- 1
1100-1-- 1
000101-- 1
001001-- 1
000110-- 1
001010-- 1
1-111-11 1
-1111-11 1
1-001-11 1
-1001-11 1
1-11-111 1
-111-111 1
1-00-111 1
-100-111 1
0101010- 1
1001010- 1
0110010- 1
1010010- 1
0101100- 1
1001100- 1
0110100- 1
1010100- 1
010101-0 1
100101-0 1
011001-0 1
101001-0 1
010110-0 1
100110-0 1
011010-0 1
101010-0 1
.names n_n2567 n_n2427 n_n2566 _6220gat_2413_
111 1
001 1
010 1
100 1
.names n_n2477 n_n2478 n_n2487 n_n2488 n_n2467 n_n2469 _6170gat_2388_
1111-- 1
0001-- 1
0010-- 1
1100-- 1
01010- 1
10010- 1
01100- 1
10100- 1
1-1111 1
-11111 1
1-0011 1
-10011 1
0101-0 1
1001-0 1
0110-0 1
1010-0 1
.names n_n2512 n_n2513 n_n2442 n_n2527 n_n2528 _6200gat_2403_
11-11 1
1-111 1
-1111 1
00-01 1
00-10 1
11-00 1
1-100 1
-1100 1
01001 1
10001 1
01010 1
10010 1
.names _1gat_0_ _375gat_22_ _18gat_1_ _392gat_23_ n_n3847 n_n3848 n_n3868 \
n_n3866 _3552gat_1275_
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
--001001 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
1111111- 1
1100111- 1
1101101- 1
1110101- 1
1101110- 1
1110110- 1
1111100- 1
1100100- 1
1111-111 1
1100-111 1
011-0111 1
10-10111 1
1101-011 1
1110-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
1101-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
1111-001 1
1100-001 1
011-0001 1
10-10001 1
011-1110 1
10-11110 1
011-0110 1
10-10110 1
1-010110 1
-1100110 1
011-1000 1
10-11000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11110100 1
.names _1gat_0_ _511gat_30_ n_n2664 n_n2643 _5971gat_2309_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2512 n_n2513 n_n2442 n_n2527 n_n2528 n_n2548 n_n2547 _6210gat_2408_
---1111 1
---0001 1
---0010 1
---1100 1
11-1-11 1
1-11-11 1
-111-11 1
11--111 1
1-1-111 1
-11-111 1
11-1-00 1
1-11-00 1
-111-00 1
11--100 1
1-1-100 1
-11-100 1
00-0101 1
00-1001 1
00-0110 1
00-1010 1
0100101 1
1000101 1
0101001 1
1001001 1
0100110 1
1000110 1
0101010 1
1001010 1
.names _1gat_0_ _341gat_20_ n_n4147 n_n4130 _2548gat_840_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [239] n_n2469 [243] n_n2666 n_n2664 n_n2644 [395] n_n2643 \
_6150gat_2378_
000-1--- 1
111-0--- 1
000----1 1
-00-1--1 1
111----0 1
-11-0--0 1
-111-11- 1
-000-11- 1
-001-01- 1
-110-01- 1
-001-10- 1
-110-10- 1
-111-00- 1
-000-00- 1
00-0111- 1
11-1011- 1
00-1101- 1
11-0001- 1
00-1110- 1
11-0010- 1
00-0100- 1
11-1000- 1
00-0-111 1
-0-01111 1
00-1-011 1
-0-11011 1
00-1-101 1
-0-11101 1
00-0-001 1
-0-01001 1
11-1-110 1
-1-10110 1
11-0-010 1
-1-00010 1
11-0-100 1
-1-00100 1
11-1-000 1
-1-10000 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _307gat_18_ _35gat_2_ _273gat_16_ \
_1901gat_561_
011-0- 1
10-10- 1
1-010- 1
00--11 1
0-0-11 1
-0-011 1
--0011 1
011--0 1
10-1-0 1
1-01-0 1
-110-0 1
111011 1
111101 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ _494gat_29_ n_n2394 \
[232] n_n3007 _6288gat_2447_
-0---010 1
0101-1-- 1
01-101-- 1
-10101-- 1
0101--0- 1
01-10-0- 1
-1010-0- 1
00---011 1
-00--011 1
01-1-1-0 1
-101-1-0 1
01-1--00 1
-101--00 1
111011-- 1
1111-01- 1
11101-0- 1
1011-1-1 1
1110-1-1 1
11-011-1 1
0--00011 1
1011--01 1
1110--01 1
11-01-01 1
0--00010 1
1010-011 1
11-11011 1
-1111011 1
01-01011 1
01-01010 1
11-00010 1
11000011 1
11001010 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _273gat_16_ _1581gat_423_
110- 1
0-11 1
-011 1
11-0 1
.names n_n2567 n_n2427 n_n2566 n_n2586 n_n2587 _6230gat_2418_
11-11 1
1-111 1
-1111 1
0-001 1
0-010 1
11-00 1
1-100 1
-1100 1
00101 1
10001 1
00110 1
10010 1
.names _1gat_0_ _375gat_22_ n_n3847 n_n3866 _3211gat_1128_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _18gat_1_ _511gat_30_ _528gat_31_ n_n2666 n_n2664 n_n2644 \
n_n2643 _6123gat_2368_
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
--000011 1
00--0101 1
0-0-0101 1
-0-00101 1
--000101 1
00--1001 1
0-0-1001 1
--001001 1
00--0110 1
0-0-0110 1
--000110 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
--001100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011110- 1
1110110- 1
1111010- 1
1010010- 1
11111-11 1
10101-11 1
10110-11 1
11100-11 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
1-011011 1
10111-01 1
11101-01 1
11110-01 1
10100-01 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
011-0001 1
1-010001 1
011-1110 1
1-011110 1
011-1010 1
10-11010 1
1-011010 1
-1101010 1
011-0100 1
1-010100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11111000 1
.names _171gat_10_ _528gat_31_ n_n2412 n_n2633 n_n2766 n_n2765 _6250gat_2428_
0-010- 1
-0010- 1
0-100- 1
-0100- 1
--1111 1
--0011 1
0-01-0 1
-001-0 1
0-10-0 1
-010-0 1
--0100 1
--1000 1
11111- 1
11001- 1
1111-1 1
1100-1 1
.names _1gat_0_ _409gat_24_ n_n3576 n_n3555 _3895gat_1423_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _273gat_16_ _545gat_287_
11 1
.names _1gat_0_ _18gat_1_ _358gat_21_ _341gat_20_ n_n4147 n_n4130 n_n4131 \
n_n4149 _2877gat_983_
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0101 1
0--00101 1
--000101 1
00--1001 1
0--01001 1
--001001 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
0--00110 1
--000110 1
00--1010 1
0--01010 1
--001010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
0--01100 1
--001100 1
11111-11 1
10011-11 1
1111-111 1
1001-111 1
01-10111 1
1-100111 1
01-11011 1
1-101011 1
101-0011 1
01-10011 1
-1010011 1
1-100011 1
10111-01 1
11011-01 1
1011-101 1
1101-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
10111-10 1
11011-10 1
1011-110 1
1101-110 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
11111-00 1
10011-00 1
1111-100 1
1001-100 1
01-10100 1
1-100100 1
01-11000 1
1-101000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11110010 1
.names _1gat_0_ _477gat_28_ n_n2976 n_n2954 _5308gat_2031_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2657 n_n2412 n_n2633 n_n2632 n_n2690 [256] n_n2816 n_n2815 \
_6270gat_2438_
0---0111 1
1---1011 1
1---0101 1
0---0001 1
1---0110 1
0---0010 1
0---1100 1
1---0000 1
111-101- 1
11-1101- 1
1-11101- 1
111-010- 1
11-1010- 1
1-11010- 1
111-10-1 1
11-110-1 1
1-1110-1 1
111-1-11 1
11-11-11 1
1-111-11 1
-11-1011 1
-1-11011 1
--111011 1
-11-0101 1
-1-10101 1
--110101 1
111-01-0 1
11-101-0 1
1-1101-0 1
-11-0110 1
-1-10110 1
--110110 1
111-0-00 1
11-10-00 1
1-110-00 1
-11-0000 1
-1-10000 1
--110000 1
1-000111 1
0-000011 1
0-001101 1
1-000001 1
0-001110 1
1-000010 1
1-001100 1
0-001000 1
10010111 1
10100111 1
00010011 1
00100011 1
00011101 1
00101101 1
10010001 1
10100001 1
00011110 1
00101110 1
10010010 1
10100010 1
10011100 1
10101100 1
00011000 1
00101000 1
.names [35] n_n2658 n_n2657 n_n2412 n_n2633 n_n2632 n_n2690 n_n2689 n_n2394
0-----00 1
000---01 1
000---10 1
001-0001 1
010-0001 1
001-0010 1
010-0010 1
00100101 1
01000101 1
00101001 1
01001001 1
00100110 1
01000110 1
00101010 1
01001010 1
.names _511gat_30_ _239gat_14_ _222gat_13_ _528gat_31_ n_n2718 n_n2926 n_n2973 \
n_n2972 [35]
0-1110-- 1
-01110-- 1
1-111-1- 1
1-111--1 1
--111-11 1
0---1011 1
-0--1011 1
0---0101 1
0---0110 1
0---0100 1
-0--0100 1
111111-- 1
111-111- 1
101-101- 1
111-11-1 1
101-10-1 1
11--1111 1
0-0-0111 1
-00-0111 1
0--00111 1
-0-00111 1
-00-0101 1
0-0-0001 1
-00-0001 1
0--00001 1
-00-0110 1
0-0-0010 1
-00-0010 1
0--00010 1
11--0000 1
0-0-0000 1
-00-0000 1
0--00000 1
-0-00000 1
1010011- 1
1110001- 1
101001-1 1
111000-1 1
110-0011 1
11-00011 1
110-0101 1
110-0001 1
110-0110 1
110-0010 1
110-0100 1
11-00100 1
.names _511gat_30_ _222gat_13_ _528gat_31_ _205gat_12_ n_n2815 n_n2899 n_n2658
0-0-11 1
-00-11 1
0--011 1
-0-011 1
0-0-00 1
-00-00 1
0--000 1
-0-000 1
110-01 1
0-1101 1
-01101 1
11-001 1
110-10 1
0-1110 1
-01110 1
11-010 1
111111 1
111100 1
.names _511gat_30_ _188gat_11_ _528gat_31_ _494gat_29_ n_n3048 n_n3049 n_n2790 \
n_n2922 n_n2657
-11---1- 1
111----1 1
11----11 1
----1111 1
11111--- 1
1111-1-- 1
111-11-- 1
11-11-1- 1
11-1-11- 1
11--111- 1
-1111--1 1
-111-1-1 1
-11-11-1 1
-1-11-11 1
-1-1-111 1
.names _511gat_30_ _528gat_31_ _154gat_9_ n_n2738 n_n2869 n_n2870 n_n2609
-111-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
-11-11 1
.names _171gat_10_ _528gat_31_ n_n3048 n_n3049 n_n2765 [425] [426] n_n2922 \
n_n2610
0-1111-1 1
-01111-1 1
0-0001-1 1
-00001-1 1
0-0010-1 1
-00010-1 1
0-1100-1 1
-01100-1 1
0-0-1011 1
-00-1011 1
0--01011 1
-0-01011 1
0-1-1101 1
-01-1101 1
0--11101 1
-0-11101 1
0-1-0001 1
-01-0001 1
0--10001 1
-0-10001 1
0-0011-0 1
-00011-0 1
0-1101-0 1
-01101-0 1
0-1110-0 1
-01110-0 1
0-0000-0 1
-00000-0 1
0-0-1110 1
-00-1110 1
0--01110 1
-0-01110 1
0-1-0100 1
-01-0100 1
0--10100 1
-0-10100 1
0-1-1000 1
-01-1000 1
0--11000 1
-0-11000 1
110011-1 1
111101-1 1
111110-1 1
110000-1 1
0-010111 1
-0010111 1
0-100111 1
-0100111 1
110-0011 1
11-00011 1
111-0101 1
11-10101 1
111-1001 1
11-11001 1
111111-0 1
110001-0 1
110010-0 1
111100-0 1
110-0110 1
11-00110 1
0-010010 1
-0010010 1
0-100010 1
-0100010 1
111-1100 1
11-11100 1
111-0000 1
11-10000 1
11011111 1
11101111 1
11011010 1
11101010 1
.names n_n2609 n_n2610 n_n2567 n_n2427 n_n2566 n_n2586 n_n2587 n_n2412
11----- 1
1----11 1
-1---11 1
1-11-1- 1
-111-1- 1
1-1-11- 1
-11-11- 1
1--111- 1
-1-111- 1
1-11--1 1
-111--1 1
1-1-1-1 1
-11-1-1 1
1--11-1 1
-1-11-1 1
.names _18gat_1_ _511gat_30_ _35gat_2_ _528gat_31_ n_n2666 n_n2676 n_n2644 \
n_n2668 n_n2477
11-11--- 1
11-1--1- 1
1--11-1- 1
10-1-0-1 1
1-01-0-1 1
-0--1011 1
--0-1011 1
10-1-1-0 1
1-01-1-0 1
-0--1110 1
--0-1110 1
1111-1-1 1
111-11-1 1
110-10-1 1
111--111 1
-11-1111 1
110--011 1
110-11-0 1
1111-0-0 1
111-10-0 1
110--110 1
111--010 1
-11-1010 1
.names _511gat_30_ _35gat_2_ _528gat_31_ _52gat_3_ n_n2676 n_n2704 n_n2703 \
n_n2668 n_n2478
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
--001001 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
1111111- 1
1100111- 1
1101101- 1
1110101- 1
1101110- 1
1110110- 1
1111100- 1
1100100- 1
1111-111 1
1100-111 1
011-0111 1
10-10111 1
1101-011 1
1110-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
1101-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
1111-001 1
1100-001 1
011-0001 1
10-10001 1
011-1110 1
10-11110 1
011-0110 1
10-10110 1
1-010110 1
-1100110 1
011-1000 1
10-11000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11110100 1
.names _511gat_30_ _86gat_5_ _69gat_4_ _528gat_31_ n_n2759 n_n2758 n_n2730 \
n_n2731 n_n2512
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
11--1111 1
11--0011 1
.names _511gat_30_ _86gat_5_ _103gat_6_ _528gat_31_ n_n2759 n_n2758 n_n2782 \
n_n2783 n_n2513
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0101 1
-00-0101 1
0--00101 1
00--1001 1
-00-1001 1
0--01001 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
0--00110 1
00--1010 1
-00-1010 1
0--01010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
0--01100 1
--001100 1
11111-11 1
11001-11 1
1111-111 1
1100-111 1
101-0111 1
01-10111 1
101-1011 1
01-11011 1
101-0011 1
01-10011 1
-1010011 1
1-100011 1
11011-01 1
11101-01 1
1101-101 1
1110-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
11011-10 1
11101-10 1
1101-110 1
1110-110 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
11111-00 1
11001-00 1
1111-100 1
1100-100 1
101-0100 1
01-10100 1
101-1000 1
01-11000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11110010 1
.names n_n2477 n_n2478 n_n2500 n_n2499 n_n2487 n_n2488 n_n2467 n_n2469 n_n2442
--11---- 1
--1-11-- 1
---111-- 1
111-1--- 1
11-11--- 1
111--1-- 1
11-1-1-- 1
1-1-1-11 1
-11-1-11 1
1--11-11 1
-1-11-11 1
1-1--111 1
-11--111 1
1--1-111 1
-1-1-111 1
.names _511gat_30_ _86gat_5_ _69gat_4_ _528gat_31_ n_n2759 n_n2758 n_n2730 \
n_n2731 n_n2500
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
0-111101 1
110-0001 1
0-110001 1
110-1110 1
0-111110 1
110-0010 1
0-110010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _511gat_30_ _69gat_4_ _528gat_31_ _52gat_3_ n_n2730 n_n2731 n_n2704 \
n_n2703 n_n2499
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
11-1111- 1
10-1011- 1
10-1101- 1
11-1001- 1
11-111-1 1
10-101-1 1
10-110-1 1
11-100-1 1
11--1111 1
11--0011 1
.names _511gat_30_ _137gat_8_ _528gat_31_ _154gat_9_ n_n2843 n_n2842 n_n2869 \
n_n2870 n_n2567
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
-0-00110 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
11001-11 1
1111-111 1
1100-111 1
011-0111 1
10-10111 1
011-1011 1
10-11011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
11011-01 1
11101-01 1
1101-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
11011-10 1
11101-10 1
1101-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
11001-00 1
1111-100 1
1100-100 1
011-0100 1
10-10100 1
011-1000 1
10-11000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names n_n2512 n_n2513 n_n2442 n_n2527 n_n2528 n_n2548 n_n2547 n_n2427
-----11 1
---111- 1
---11-1 1
11-1-1- 1
1-11-1- 1
-111-1- 1
11--11- 1
1-1-11- 1
-11-11- 1
11-1--1 1
1-11--1 1
-111--1 1
11--1-1 1
1-1-1-1 1
-11-1-1 1
.names _511gat_30_ _137gat_8_ _120gat_7_ _528gat_31_ n_n2843 n_n2842 n_n2809 \
n_n2808 n_n2566
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
11--1111 1
11--0011 1
.names _511gat_30_ _35gat_2_ _528gat_31_ _52gat_3_ n_n2676 n_n2704 n_n2703 \
n_n2668 n_n2487
111-1--- 1
111----1 1
-11-1--1 1
011--01- 1
-110-01- 1
011--10- 1
-110-10- 1
0---1011 1
---01011 1
0---1101 1
---01101 1
1111-11- 1
11-1111- 1
11-0101- 1
11-0110- 1
1111-00- 1
11-1100- 1
11-1-111 1
1--11111 1
11-0-011 1
11-0-101 1
11-1-001 1
1--11001 1
.names _511gat_30_ _69gat_4_ _528gat_31_ _52gat_3_ n_n2730 n_n2731 n_n2704 \
n_n2703 n_n2488
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
0--00101 1
-0-00101 1
0-0-1001 1
0--01001 1
-0-01001 1
0-0-0110 1
0--00110 1
-0-00110 1
0-0-1010 1
0--01010 1
-0-01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1001111- 1
1011011- 1
1101011- 1
1011101- 1
1101101- 1
1111001- 1
1001001- 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
101110-1 1
110110-1 1
111100-1 1
100100-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
0-111101 1
11-01101 1
0-110001 1
11-00001 1
0-111110 1
11-01110 1
0-110010 1
11-00010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _511gat_30_ _86gat_5_ _103gat_6_ _528gat_31_ n_n2759 n_n2758 n_n2782 \
n_n2783 n_n2527
11-11--- 1
11-1-1-- 1
-1-111-- 1
01-1--01 1
-101--01 1
0---1101 1
--0-1101 1
01-1--10 1
-101--10 1
0---1110 1
--0-1110 1
1111--11 1
111-1-11 1
111--111 1
1-1-1111 1
110-1-01 1
110--101 1
110-1-10 1
110--110 1
1111--00 1
111-1-00 1
111--100 1
1-1-1100 1
.names _511gat_30_ _120gat_7_ _103gat_6_ _528gat_31_ n_n2809 n_n2808 n_n2782 \
n_n2783 n_n2528
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
0-111101 1
110-0001 1
0-110001 1
110-1110 1
0-111110 1
110-0010 1
0-110010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _1gat_0_ _511gat_30_ [239]
0- 1
-0 1
.names _511gat_30_ _137gat_8_ _120gat_7_ _528gat_31_ n_n2843 n_n2842 n_n2809 \
n_n2808 n_n2548
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
0-111101 1
110-0001 1
0-110001 1
110-1110 1
0-111110 1
110-0010 1
0-110010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _511gat_30_ _120gat_7_ _103gat_6_ _528gat_31_ n_n2809 n_n2808 n_n2782 \
n_n2783 n_n2547
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
11--1111 1
11--0011 1
.names _1gat_0_ _18gat_1_ _511gat_30_ _528gat_31_ n_n2666 n_n2664 n_n2644 \
n_n2643 n_n2467
1-11-1-- 1
1-11---1 1
1--1-1-1 1
10-10-1- 1
1-010-1- 1
10-11-0- 1
1-011-0- 1
-0--0111 1
--0-0111 1
-0--1101 1
--0-1101 1
11111-1- 1
111-111- 1
101-011- 1
11110-0- 1
101-110- 1
111-010- 1
111-1-11 1
101-0-11 1
-11-1111 1
101-1-01 1
111-0-01 1
-11-0101 1
.names _18gat_1_ _511gat_30_ _35gat_2_ _528gat_31_ n_n2666 n_n2676 n_n2644 \
n_n2668 n_n2469
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
00--1001 1
0-0-1001 1
-0-01001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
-0-00110 1
00--1010 1
0-0-1010 1
-0-01010 1
--001010 1
00--1100 1
0-0-1100 1
-0-01100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
111111-1 1
110011-1 1
110110-1 1
111010-1 1
1111-111 1
1100-111 1
011-0111 1
10-10111 1
1101-011 1
1110-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
011-1101 1
10-11101 1
011-0101 1
10-10101 1
1-010101 1
-1100101 1
110111-0 1
111011-0 1
111110-0 1
110010-0 1
1101-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
1111-010 1
1100-010 1
011-0010 1
10-10010 1
011-1000 1
10-11000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110100 1
.names _511gat_30_ _239gat_14_ _222gat_13_ _528gat_31_ n_n2718 n_n2926 n_n2973 \
n_n2972 [232]
----1--- 1
0-11-0-- 1
-011-0-- 1
1-11--1- 1
1-11---1 1
--11--11 1
0----011 1
-0---011 1
1111-1-- 1
111--11- 1
101--01- 1
111--1-1 1
101--0-1 1
11---111 1
.names _511gat_30_ _137gat_8_ _528gat_31_ _154gat_9_ n_n2843 n_n2842 n_n2869 \
n_n2870 n_n2586
111-1--- 1
111--1-- 1
-11-11-- 1
011---01 1
-110--01 1
0---1101 1
---01101 1
011---10 1
-110--10 1
0---1110 1
---01110 1
1111--11 1
11-11-11 1
11-1-111 1
1--11111 1
11-01-01 1
11-0-101 1
11-01-10 1
11-0-110 1
1111--00 1
11-11-00 1
11-1-100 1
1--11100 1
.names _511gat_30_ _528gat_31_ _154gat_9_ n_n2738 n_n2869 n_n2870 n_n2587
-0-011 1
--0011 1
--0101 1
--0110 1
-0-100 1
--0100 1
11111- 1
10101- 1
1111-1 1
1010-1 1
-11111 1
00-101 1
00-110 1
-11000 1
011001 1
011010 1
.names _1gat_0_ _528gat_31_ [243]
0- 1
-0 1
.names _511gat_30_ _188gat_11_ _528gat_31_ _494gat_29_ n_n3048 n_n3049 n_n2790 \
n_n2922 n_n2633
111---11 1
-0--0111 1
-0--1011 1
-0--0011 1
110---01 1
-0--1101 1
--0-1101 1
-0--1110 1
-0--0110 1
-0--1010 1
-0--0010 1
--0-0010 1
11111-1- 1
1111-11- 1
111-111- 1
11011-0- 1
1101-10- 1
110-110- 1
-1111-11 1
-111-111 1
-11-1111 1
0-0-0011 1
-1011-01 1
-101-101 1
0-0-1110 1
--000110 1
--001010 1
-11-0000 1
0-000111 1
0-001011 1
011-0001 1
01011-10 1
0101-110 1
01111-00 1
0111-100 1
011-1100 1
-1100100 1
-1101000 1
01100101 1
01101001 1
.names _171gat_10_ _528gat_31_ n_n3048 n_n3049 n_n2765 [425] [426] n_n2922 \
n_n2632
11--1--- 1
--0011-1 1
--1110-1 1
--1-1001 1
---11001 1
--1111-0 1
--0010-0 1
--1-1100 1
---11100 1
1100-1-1 1
1111-0-1 1
--011111 1
--101111 1
111--001 1
11-1-001 1
1111-1-0 1
1100-0-0 1
--011010 1
--101010 1
111--100 1
11-1-100 1
1101-111 1
1110-111 1
1101-010 1
1110-010 1
.names _511gat_30_ _239gat_14_ _222gat_13_ _528gat_31_ n_n2926 n_n2973 n_n2972 \
n_n2690
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
0-0-001 1
-00-001 1
0--0001 1
0-0-010 1
-00-010 1
0--0010 1
0-0-000 1
-00-000 1
0--0000 1
-0-0000 1
111111- 1
101011- 1
101101- 1
111001- 1
11111-1 1
10101-1 1
10110-1 1
11100-1 1
110-011 1
0-11011 1
-011011 1
11-0011 1
110-101 1
0-11101 1
110-110 1
0-11110 1
110-100 1
0-11100 1
-011100 1
11-0100 1
1111000 1
.names _511gat_30_ _222gat_13_ _528gat_31_ _205gat_12_ n_n2815 n_n2899 n_n2689
--111- 1
0---10 1
-0--10 1
11--11 1
0-11-0 1
-011-0 1
1111-1 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _171gat_10_ _273gat_16_ \
_188gat_11_ _154gat_9_ n_n4137
0011-0-- 1
010--0-1 1
01-0-0-1 1
0-11-0-0 1
1-0-10-0 1
1--010-0 1
--1100-0 1
--0-0110 1
---00110 1
--110-00 1
000-111- 1
00-0111- 1
000-011- 1
00-0011- 1
00110-0- 1
100-10-1 1
10-010-1 1
11-000-1 1
010-0-01 1
11-00-01 1
01-00-01 1
0--01110 1
1--01100 1
0011110- 1
110110-1 1
111100-1 1
101100-1 1
10-01111 1
10-00111 1
11110-01 1
11-01101 1
01-01101 1
100-1100 1
11011111 1
01011111 1
10011111 1
01110111 1
10110111 1
11010111 1
11111101 1
01111101 1
10111101 1
10010101 1
01111110 1
10111110 1
11011110 1
11111100 1
01011100 1
.names _375gat_22_ _392gat_23_ _120gat_7_ _103gat_6_ n_n3854 n_n3884 n_n3881 \
n_n3853 n_n3562
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
0--00011 1
--000011 1
00--0101 1
0--00101 1
--000101 1
00--1001 1
0--01001 1
--001001 1
00--0110 1
0--00110 1
--000110 1
00--1010 1
0--01010 1
--001010 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
1111111- 1
1001111- 1
1011011- 1
1101011- 1
1011101- 1
1101101- 1
1111001- 1
1001001- 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
101110-1 1
110110-1 1
111100-1 1
100100-1 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
01-11101 1
1-101101 1
01-10001 1
1-100001 1
01-11110 1
1-101110 1
01-10010 1
1-100010 1
101-1100 1
01-11100 1
-1011100 1
1-101100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110100 1
11111000 1
.names _375gat_22_ _392gat_23_ _86gat_5_ _103gat_6_ n_n3878 n_n3881 n_n3853 \
n_n3852 n_n3586
111-1--- 1
111----1 1
-11-1--1 1
011--01- 1
-110-01- 1
011--10- 1
-110-10- 1
0---1011 1
---01011 1
0---1101 1
---01101 1
1111-11- 1
1-11111- 1
1-10101- 1
1-10110- 1
1111-00- 1
1-11100- 1
1-11-111 1
1--11111 1
1-10-011 1
1-10-101 1
1-11-001 1
1--11001 1
.names _409gat_24_ _222gat_13_ _426gat_25_ n_n3611 n_n3719 n_n3718 n_n3460
-0-011 1
--0011 1
-0-101 1
-0-110 1
-0-100 1
--0100 1
11111- 1
11001- 1
1111-1 1
1100-1 1
-11111 1
0-0101 1
0-0110 1
-11000 1
011001 1
011010 1
.names _375gat_22_ _409gat_24_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ \
_426gat_25_ n_n3988 n_n3426
----0--0 1
0---0--1 1
----00-1 1
-1--111- 1
1--1111- 1
1--001-1 1
10-1110- 1
10-101-1 1
--111111 1
0000--01 1
0000--00 1
1010110- 1
11111-11 1
10111-01 1
00011-01 1
01101-01 1
10101-01 1
00101-01 1
01001-01 1
-0111101 1
10-01101 1
11-10101 1
00111-00 1
00011-00 1
01101-00 1
00101-00 1
11001-00 1
01001-00 1
10001-00 1
01111001 1
00111001 1
11011001 1
01011001 1
10011001 1
11101001 1
11001001 1
10001001 1
11111000 1
01111000 1
10111000 1
11011000 1
01011000 1
10011000 1
11101000 1
10101000 1
.names _375gat_22_ _409gat_24_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ \
_426gat_25_ n_n3988 n_n3506
-1-111-- 1
-1--111- 1
111-11-- 1
1--1111- 1
11--11-1 1
11111--1 1
11-1-111 1
--111111 1
.names _239gat_14_ _443gat_26_ [386]
0- 1
-0 1
.names _409gat_24_ _222gat_13_ _426gat_25_ _443gat_26_ n_n3484 n_n3611 n_n3719 \
n_n3718 n_n3355
-1-11--- 1
-111-1-- 1
-11-11-- 1
----1111 1
1111--1- 1
111-1-1- 1
11-1-11- 1
11--111- 1
1111---1 1
111-1--1 1
11-1-1-1 1
11--11-1 1
-111--11 1
-11-1-11 1
-1-1-111 1
.names _239gat_14_ _443gat_26_ n_n3426 n_n3356
0-0 1
-00 1
111 1
.names _409gat_24_ _120gat_7_ _103gat_6_ _426gat_25_ n_n3563 n_n3589 n_n3592 \
n_n3564 n_n3266
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-1100 1
-00-1100 1
0--01100 1
-0-01100 1
11111-11 1
10101-11 1
1111-111 1
1010-111 1
110-0111 1
0-110111 1
110-1011 1
0-111011 1
110-0011 1
0-110011 1
-0110011 1
11-00011 1
10111-01 1
11101-01 1
1011-101 1
1110-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
10111-10 1
11101-10 1
1011-110 1
1110-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
11111-00 1
10101-00 1
1111-100 1
1010-100 1
110-0100 1
0-110100 1
110-1000 1
0-111000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110010 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _426gat_25_ _443gat_26_ n_n3506 \
n_n3233
011--0 1
11111- 1
111-11 1
010-11 1
10-011 1
011-01 1
10-101 1
1-0101 1
-11001 1
10-110 1
10-010 1
1-0010 1
-11000 1
111100 1
.names n_n3504 [398] n_n3549 [301] [355] n_n3676 [392] n_n3675 n_n3273
1110--1- 1
0010--1- 1
0110--0- 1
1010--0- 1
111-011- 1
001-011- 1
11-0011- 1
00-0011- 1
011-010- 1
101-010- 1
01-0010- 1
10-0010- 1
111-0-11 1
001-0-11 1
11-00-11 1
00-00-11 1
111--111 1
001--111 1
11-0-111 1
00-0-111 1
011-0-01 1
101-0-01 1
01-00-01 1
10-00-01 1
011--101 1
101--101 1
01-0-101 1
10-0-101 1
010--010 1
100--010 1
110--000 1
000--000 1
0101011- 1
1001011- 1
1101010- 1
0001010- 1
01010-11 1
10010-11 1
0101-111 1
1001-111 1
010-1011 1
100-1011 1
11010-01 1
00010-01 1
1101-101 1
0001-101 1
110-1001 1
000-1001 1
010-1110 1
100-1110 1
0111-010 1
1011-010 1
110-1100 1
000-1100 1
1111-000 1
0011-000 1
01111011 1
10111011 1
11111001 1
00111001 1
01111110 1
10111110 1
11111100 1
00111100 1
.names _460gat_27_ _205gat_12_ _426gat_25_ _443gat_26_ n_n3460 n_n3332 n_n3570 \
n_n3571 n_n3202
11---1-- 1
11-11--- 1
-1-111-- 1
----1111 1
1111--1- 1
111-1-1- 1
-111-11- 1
-11-111- 1
1111---1 1
111-1--1 1
-111-1-1 1
-11-11-1 1
11-1--11 1
11--1-11 1
-1-1-111 1
.names _239gat_14_ _460gat_27_ _222gat_13_ _443gat_26_ n_n3426 n_n3355 n_n3203
00--11 1
0-0-11 1
-0-011 1
--0011 1
00--00 1
0-0-00 1
-0-000 1
--0000 1
011-01 1
10-101 1
1-0101 1
-11001 1
011-10 1
10-110 1
1-0110 1
-11010 1
111111 1
111100 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _426gat_25_ _443gat_26_ \
n_n3506 n_n3103
01-1--0 1
1111-1- 1
01-1-01 1
110011- 1
11111-1 1
0101-11 1
0110-11 1
1100-11 1
100-111 1
1-00111 1
101-011 1
101-101 1
101-001 1
-101001 1
1-10001 1
101-110 1
101-010 1
101-100 1
1-10100 1
101-000 1
-101000 1
1-10000 1
1101101 1
1101010 1
1101100 1
.names _18gat_1_ _35gat_2_ _477gat_28_ _494gat_29_ n_n2978 n_n2980 n_n2958 \
n_n2956 n_n2666
1-111--- 1
1-11---1 1
1--11--1 1
10-1-01- 1
1-01-01- 1
10-1-10- 1
1-01-10- 1
-0--1011 1
--0-1011 1
-0--1101 1
--0-1101 1
1111-11- 1
111-111- 1
101-101- 1
101-110- 1
1111-00- 1
111-100- 1
111--111 1
-11-1111 1
101--011 1
101--101 1
111--001 1
-11-1001 1
.names _528gat_31_ _205gat_12_ [256]
0- 1
-0 1
.names _120gat_7_ _103gat_6_ _477gat_28_ _494gat_29_ n_n3071 n_n3070 n_n3042 \
n_n3041 n_n2759
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
0--00011 1
--000011 1
00--0101 1
-00-0101 1
--000101 1
00--1001 1
-00-1001 1
--001001 1
00--0110 1
-00-0110 1
--000110 1
00--1010 1
-00-1010 1
--001010 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
1111111- 1
0110111- 1
0111011- 1
1110011- 1
0111101- 1
1110101- 1
1111001- 1
0110001- 1
111111-1 1
011011-1 1
011101-1 1
111001-1 1
011110-1 1
111010-1 1
111100-1 1
011000-1 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
101-1101 1
-1011101 1
101-0001 1
-1010001 1
101-1110 1
-1011110 1
101-0010 1
-1010010 1
101-1100 1
01-11100 1
-1011100 1
1-101100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110100 1
11111000 1
.names _86gat_5_ _103gat_6_ _477gat_28_ _494gat_29_ n_n3019 n_n3018 n_n3042 \
n_n3041 n_n2758
1-111--- 1
1-11-1-- 1
1--111-- 1
10-1--01 1
1-01--01 1
-0--1101 1
--0-1101 1
10-1--10 1
1-01--10 1
-0--1110 1
--0-1110 1
1111--11 1
111-1-11 1
111--111 1
-11-1111 1
101-1-01 1
101--101 1
101-1-10 1
101--110 1
1111--00 1
111-1-00 1
111--100 1
-11-1100 1
.names _86gat_5_ _69gat_4_ _477gat_28_ _494gat_29_ n_n3019 n_n3018 n_n2994 \
n_n2984 n_n2730
-111--1- 1
-111---1 1
-1-1--11 1
01-101-- 1
-10101-- 1
01-110-- 1
-10110-- 1
0---0111 1
--0-0111 1
0---1011 1
--0-1011 1
111111-- 1
111100-- 1
111-111- 1
011-011- 1
011-101- 1
111-001- 1
111-11-1 1
011-01-1 1
011-10-1 1
111-00-1 1
1-1-1111 1
1-1-0011 1
.names _375gat_22_ _409gat_24_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ \
_426gat_25_ n_n3988 n_n3484
----0110 1
-1-1111- 1
0---0111 1
111-111- 1
10-1110- 1
11--1111 1
1--00111 1
1010111- 1
011110-1 1
101110-1 1
110110-1 1
010110-1 1
111010-1 1
011010-1 1
110010-1 1
010010-1 1
0000-111 1
10-01111 1
10-10111 1
10111-01 1
01101-01 1
01001-01 1
-0111101 1
11-10101 1
111110-0 1
011110-0 1
110110-0 1
010110-0 1
111010-0 1
011010-0 1
110010-0 1
010010-0 1
0000-110 1
01101-00 1
11001-00 1
01001-00 1
00011111 1
00101111 1
00111110 1
00011110 1
00101110 1
10001110 1
.names [287] [325] [304] n_n3697 n_n3719 n_n3823 n_n3822 n_n3718 n_n3504
00-11--1 1
01-10--1 1
01-11--0 1
00-10--0 1
000-11-1 1
-00111-1 1
010-01-1 1
-10101-1 1
000-1-11 1
-0011-11 1
010-0-11 1
-1010-11 1
00--1111 1
-0-11111 1
01--0111 1
-1-10111 1
-1-01001 1
-0-00001 1
010-11-0 1
-10111-0 1
000-01-0 1
-00101-0 1
010-1-10 1
-1011-10 1
000-0-10 1
-0010-10 1
01--1110 1
-1-11110 1
00--0110 1
-0-10110 1
-0-01000 1
-1-00000 1
110011-1 1
100001-1 1
11001-11 1
10000-11 1
11-01111 1
10-00111 1
-1101011 1
-0100011 1
-1101101 1
-0100101 1
11-11001 1
10-10001 1
100011-0 1
110001-0 1
10001-10 1
11000-10 1
10-01110 1
11-00110 1
-0101010 1
-1100010 1
-0101100 1
-1100100 1
10-11000 1
11-10000 1
11111011 1
10110011 1
11111101 1
10110101 1
10111010 1
11110010 1
10111100 1
11110100 1
.names _205gat_12_ _426gat_25_ [398]
0- 1
-0 1
.names _375gat_22_ _392gat_23_ _86gat_5_ _69gat_4_ n_n3878 n_n3875 n_n3851 \
n_n3852 n_n3584
11-1-1-- 1
11-1--1- 1
-1-1-11- 1
01-10--1 1
-1010--1 1
0---0111 1
--0-0111 1
01-11--0 1
-1011--0 1
0---1110 1
--0-1110 1
11111--1 1
1-1111-1 1
1-0101-1 1
1-111-11 1
1-010-11 1
1-1-1111 1
11110--0 1
1-0111-0 1
1-1101-0 1
1-011-10 1
1-110-10 1
1-1-0110 1
.names _375gat_22_ _392gat_23_ _171gat_10_ _188gat_11_ n_n3893 n_n3899 n_n3917 \
n_n3918 n_n3647
111-1--- 1
111--1-- 1
-11-11-- 1
011---01 1
-110--01 1
0---1101 1
---01101 1
011---10 1
-110--10 1
0---1110 1
---01110 1
1111--11 1
1-111-11 1
1-11-111 1
1--11111 1
1-101-01 1
1-10-101 1
1-101-10 1
1-10-110 1
1111--00 1
1-111-00 1
1-11-100 1
1--11100 1
.names _358gat_21_ _171gat_10_ _341gat_20_ _154gat_9_ n_n4176 n_n4140 n_n4173 \
n_n4139 n_n3890
1-11--1- 1
1-11---1 1
1--1--11 1
10-101-- 1
1-0101-- 1
10-110-- 1
1-0110-- 1
-0--0111 1
--0-0111 1
-0--1011 1
--0-1011 1
111111-- 1
111100-- 1
-111111- 1
-011011- 1
-011101- 1
-111001- 1
-11111-1 1
-01101-1 1
-01110-1 1
-11100-1 1
-11-1111 1
-11-0011 1
.names _358gat_21_ _171gat_10_ _188gat_11_ _341gat_20_ n_n4176 n_n4179 n_n4140 \
n_n4141 n_n3858
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
-00-0011 1
0--00011 1
-0-00011 1
-00-1001 1
0--01001 1
-0-01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
-00-0110 1
0--00110 1
-0-00110 1
0-0-1010 1
-00-1010 1
0--01010 1
-0-01010 1
-00-1100 1
0--01100 1
-0-01100 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
111111-1 1
010111-1 1
011110-1 1
110110-1 1
1111-111 1
0101-111 1
-0110111 1
11-00111 1
0111-011 1
1101-011 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
-0111101 1
11-01101 1
110-0101 1
0-110101 1
-0110101 1
11-00101 1
011111-0 1
110111-0 1
111110-0 1
010110-0 1
0111-110 1
1101-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
1111-010 1
0101-010 1
-0110010 1
11-00010 1
-0111000 1
11-01000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110100 1
.names _358gat_21_ _171gat_10_ _188gat_11_ _341gat_20_ n_n4176 n_n4179 n_n4140 \
n_n4141 n_n3893
11-11--- 1
11-1--1- 1
11--1-1- 1
110--0-1 1
11-0-0-1 1
--0-1011 1
---01011 1
110--1-0 1
11-0-1-0 1
--0-1110 1
---01110 1
1111-1-1 1
-11111-1 1
-10110-1 1
-111-111 1
--111111 1
-101-011 1
-10111-0 1
1111-0-0 1
-11110-0 1
-101-110 1
-111-010 1
--111010 1
.names _358gat_21_ _188gat_11_ _341gat_20_ _205gat_12_ n_n4110 n_n4179 n_n4141 \
n_n3899
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
0-0-001 1
-00-001 1
-0-0001 1
0-0-010 1
-00-010 1
-0-0010 1
0-0-000 1
-00-000 1
0--0000 1
-0-0000 1
111111- 1
011011- 1
011101- 1
111001- 1
11111-1 1
01101-1 1
01110-1 1
11100-1 1
110-011 1
0-11011 1
-011011 1
11-0011 1
110-101 1
-011101 1
110-110 1
-011110 1
110-100 1
0-11100 1
-011100 1
11-0100 1
1111000 1
.names _358gat_21_ _86gat_5_ _103gat_6_ _341gat_20_ n_n4135 n_n4136 n_n4164 \
n_n4161 n_n3878
11-11--- 1
11-1---1 1
11--1--1 1
110--01- 1
11-0-01- 1
110--10- 1
11-0-10- 1
--0-1011 1
---01011 1
--0-1101 1
---01101 1
1111-11- 1
-111111- 1
-101101- 1
-101110- 1
1111-00- 1
-111100- 1
-111-111 1
--111111 1
-101-011 1
-101-101 1
-111-001 1
--111001 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _358gat_21_ _256gat_15_ _239gat_14_ \
_273gat_16_ _341gat_20_ n_n3922
----0--- 1
---111-1 1
-11111-- 1
0000---0 1
1-11111- 1
01001--1 1
00001--1 1
00101--0 1
01001--0 1
-11011-0 1
111010-1 1
011010-1 1
101010-1 1
001010-1 1
110010-1 1
100010-1 1
10001-01 1
110011-0 1
111010-0 1
011010-0 1
101010-0 1
110010-0 1
100010-0 1
1-101110 1
10101-00 1
10001-00 1
10001111 1
10001110 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _358gat_21_ _256gat_15_ _239gat_14_ \
_273gat_16_ _341gat_20_ n_n3988
--1-11-1 1
---111-1 1
-11111-- 1
11--11-1 1
1-11111- 1
.names _375gat_22_ _239gat_14_ [347]
0- 1
-0 1
.names _358gat_21_ _205gat_12_ [388]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _358gat_21_ _256gat_15_ _239gat_14_ \
_273gat_16_ _341gat_20_ n_n3969
---101-- 1
--1111-1 1
01001--1 1
00001--1 1
11-111-1 1
111-10-1 1
011-10-1 1
101-10-1 1
001-10-1 1
110-10-1 1
010-10-1 1
100-10-1 1
000-10-1 1
0001-1-0 1
-11011-0 1
10001-01 1
001111-0 1
110111-0 1
010111-0 1
1-101110 1
10001111 1
10011110 1
10111100 1
10011100 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_222gat_13_ _205gat_12_ n_n4110
---00-0- 1
000--0-- 1
00---00- 1
0---000- 1
00000--- 1
000111-- 1
000011-- 1
000101-- 1
01000-1- 1
010-001- 1
10-1110- 1
00-0110- 1
0-01010- 1
-1100-11 1
0--10100 1
0111011- 1
1000101- 1
1011001- 1
1000001- 1
1000110- 1
1101100- 1
1000100- 1
0011-111 1
1-100111 1
011-0011 1
11101-01 1
01-11101 1
11-01101 1
1-110101 1
11000-10 1
10000-10 1
011-1010 1
00-11100 1
10-01100 1
11-11000 1
10-01000 1
11111111 1
01111111 1
10111111 1
11011111 1
01011111 1
10011111 1
11101111 1
10101111 1
01001111 1
11110111 1
11010111 1
10010111 1
10000111 1
11101011 1
10101011 1
11001011 1
11010011 1
11111101 1
01101101 1
10111001 1
11011110 1
01011110 1
10011110 1
01101110 1
10101110 1
11001110 1
10110110 1
11010110 1
11111010 1
10111010 1
11001010 1
11110010 1
.names _341gat_20_ _205gat_12_ [263]
0- 1
-0 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _307gat_18_ _324gat_19_ _35gat_2_ \
_273gat_16_ _52gat_3_ n_n4147
111110-- 1
11111-1- 1
10-1111- 1
1-01111- 1
111-101- 1
11111-0- 1
10111-0- 1
110-110- 1
11-0110- 1
1111-00- 1
1-11100- 1
100-1-11 1
10-01-11 1
1-0-1011 1
1--01011 1
10111--0 1
110-11-0 1
1111-0-0 1
1-1110-0 1
1001-111 1
1110-011 1
1111-110 1
1011-110 1
1101-110 1
11101111 1
.names _290gat_17_ _18gat_1_ _307gat_18_ _324gat_19_ _35gat_2_ _273gat_16_ \
_69gat_4_ _52gat_3_ n_n4130
0101-0-- 1
001-10-- 1
0-1010-- 1
01-100-- 1
10--00-1 1
1--000-1 1
-1-100-0 1
-0--0110 1
---00110 1
-1-10-00 1
100-10-1 1
1-0010-1 1
000--111 1
0-00-111 1
00--0111 1
10--0101 1
101-10-0 1
000--110 1
0-00-110 1
0101--00 1
101-1-00 1
001-1-00 1
0-101-00 1
111010-1 1
100-1111 1
0101-101 1
101-1101 1
001-1101 1
1-000101 1
111110-0 1
110110-0 1
100-1110 1
11111-00 1
11101111 1
01101111 1
11001111 1
01110111 1
11010111 1
11100111 1
11111101 1
01111101 1
11011101 1
11110101 1
01100101 1
01111110 1
11011110 1
11101110 1
11001100 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _273gat_16_ _86gat_5_ _69gat_4_ \
_103gat_6_ _52gat_3_ n_n4132
0100-1-- 1
1-0010-- 1
--01001- 1
0010---1 1
0-10-0-1 1
--1000-1 1
--1-0001 1
01-0-1-0 1
1--010-0 1
---10010 1
100011-- 1
00011-1- 1
00010-1- 1
010-010- 1
001-0-01 1
10-011-0 1
11-001-0 1
00-11-10 1
00-10-10 1
0--11010 1
11--0100 1
01--0100 1
1--11000 1
1001100- 1
110011-1 1
111001-1 1
101001-1 1
00111-01 1
111-0101 1
10-11110 1
10-10110 1
11-11100 1
01-11100 1
11011111 1
01011111 1
10011111 1
01110111 1
10110111 1
11010111 1
01111011 1
10111011 1
11011011 1
11111101 1
01111101 1
10111101 1
10010101 1
11111001 1
01011001 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _171gat_10_ _273gat_16_ _188gat_11_ \
_222gat_13_ _205gat_12_ n_n4176
111111-- 1
111101-- 1
011101-- 1
00111-1- 1
0-11101- 1
0111-10- 1
01111--1 1
10110--1 1
-11110-1 1
1-1100-1 1
1-11-001 1
1111-1-0 1
1-1111-0 1
11-101-0 1
-11101-0 1
-0111-10 1
--111010 1
11-1-100 1
-111-100 1
01-11011 1
11-11101 1
01-11101 1
11-11001 1
10-11110 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _171gat_10_ _273gat_16_ _188gat_11_ \
_205gat_12_ _154gat_9_ n_n4138
01010--- 1
1-0001-- 1
--00101- 1
001-0--1 1
0-100--1 1
--1000-1 1
--10-001 1
01-10--0 1
1--001-0 1
---01010 1
100101-- 1
000-111- 1
000-101- 1
0101-00- 1
001--001 1
10-101-0 1
11-100-0 1
00--1110 1
0--01110 1
00--1010 1
1--01100 1
11-1-000 1
01-1-000 1
1000110- 1
110101-1 1
111100-1 1
101100-1 1
001-1101 1
1111-001 1
10-11110 1
10-11010 1
11-11100 1
01-11100 1
11011111 1
01011111 1
10011111 1
01101111 1
10101111 1
11001111 1
01111011 1
10111011 1
11011011 1
11111101 1
01111101 1
10111101 1
11101101 1
01001101 1
10011001 1
.names _375gat_22_ _392gat_23_ _35gat_2_ _52gat_3_ n_n3872 n_n3850 n_n3849 \
n_n3870 n_n3580
111---1- 1
111----1 1
-11---11 1
011-01-- 1
-11001-- 1
011-10-- 1
-11010-- 1
0---0111 1
---00111 1
0---1011 1
---01011 1
111111-- 1
111100-- 1
1-11111- 1
1-10011- 1
1-10101- 1
1-11001- 1
1-1111-1 1
1-1001-1 1
1-1010-1 1
1-1100-1 1
1--11111 1
1--10011 1
.names _375gat_22_ _392gat_23_ _86gat_5_ _103gat_6_ n_n3878 n_n3881 n_n3853 \
n_n3852 n_n3560
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
--000011 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
-0-01001 1
--001001 1
00--1010 1
0-0-1010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
--001100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
1111111- 1
1010111- 1
1011101- 1
1110101- 1
1011110- 1
1110110- 1
1111100- 1
1010100- 1
1111-111 1
1010-111 1
011-0111 1
1-010111 1
1011-011 1
1110-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
1011-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
1111-001 1
1010-001 1
011-0001 1
1-010001 1
011-1110 1
1-011110 1
011-0110 1
10-10110 1
1-010110 1
-1100110 1
011-1000 1
1-011000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11110100 1
.names _409gat_24_ _86gat_5_ _103gat_6_ _426gat_25_ n_n3562 n_n3586 n_n3563 \
n_n3589 n_n3289
11-11--- 1
11-1-1-- 1
-1-111-- 1
01-1--01 1
-101--01 1
0---1101 1
--0-1101 1
01-1--10 1
-101--10 1
0---1110 1
--0-1110 1
1111--11 1
111-1-11 1
111--111 1
1-1-1111 1
110-1-01 1
110--101 1
110-1-10 1
110--110 1
1111--00 1
111-1-00 1
111--100 1
1-1-1100 1
.names _409gat_24_ _222gat_13_ _426gat_25_ _443gat_26_ n_n3484 n_n3611 n_n3719 \
n_n3718 n_n3332
-11111-- 1
-11001-- 1
-0--0111 1
---00111 1
-0--1011 1
-0--1101 1
-0--1001 1
-0--1110 1
-0--1010 1
-0--1100 1
-0--1000 1
---01000 1
11111-1- 1
11100-1- 1
11-1111- 1
11-0011- 1
11111--1 1
11100--1 1
11-111-1 1
11-001-1 1
-1111-11 1
-1100-11 1
-1-11111 1
--001011 1
0--01001 1
0--01010 1
--001100 1
-1-10000 1
1100101- 1
1101001- 1
110010-1 1
110100-1 1
-1010011 1
0-001101 1
01-10001 1
0-001110 1
01-10010 1
-1010100 1
01010101 1
01010110 1
.names _460gat_27_ _222gat_13_ [352]
0- 1
-0 1
.names _409gat_24_ _137gat_8_ _120gat_7_ _426gat_25_ n_n3604 n_n3595 n_n3592 \
n_n3564 n_n3301
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
0-111101 1
110-0001 1
0-110001 1
110-1110 1
0-111110 1
110-0010 1
0-110010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _409gat_24_ _120gat_7_ _103gat_6_ _426gat_25_ n_n3563 n_n3589 n_n3592 \
n_n3564 n_n3291
1-111--- 1
1-11-1-- 1
--1111-- 1
0-11--01 1
-011--01 1
0---1101 1
-0--1101 1
0-11--10 1
-011--10 1
0---1110 1
-0--1110 1
1111--11 1
111-1-11 1
111--111 1
11--1111 1
101-1-01 1
101--101 1
101-1-10 1
101--110 1
1111--00 1
111-1-00 1
111--100 1
11--1100 1
.names _460gat_27_ _205gat_12_ _426gat_25_ _443gat_26_ n_n3460 n_n3332 n_n3570 \
n_n3571 n_n3179
11-111-- 1
01-110-- 1
-0--0111 1
0---1011 1
-0--1011 1
-0--1101 1
-0--0101 1
-0--1110 1
-0--0110 1
-0--1100 1
0---0100 1
-0--0100 1
1111-11- 1
111-111- 1
0111-01- 1
011-101- 1
1111-1-1 1
111-11-1 1
0111-0-1 1
011-10-1 1
11-1-111 1
11--1111 1
0--00111 1
01-1-011 1
0-0-0101 1
0-0-0110 1
0--01100 1
11--0000 1
0110011- 1
1110001- 1
011001-1 1
111000-1 1
11-00011 1
0-001101 1
110-0001 1
0-001110 1
110-0010 1
11-01000 1
11001001 1
11001010 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _426gat_25_ _443gat_26_ \
_494gat_29_ n_n3506 n_n3007
1111---- 1
11-1--1- 1
11-111-- 1
111--11- 1
11-1-1-1 1
1-1111-1 1
111-1-11 1
-111-111 1
.names _1gat_0_ _18gat_1_ _477gat_28_ _494gat_29_ n_n2976 n_n2978 n_n2954 \
n_n2956 n_n2664
1-111--- 1
1-11--1- 1
1--11-1- 1
10-1-0-1 1
1-01-0-1 1
-0--1011 1
--0-1011 1
10-1-1-0 1
1-01-1-0 1
-0--1110 1
--0-1110 1
1111-1-1 1
111-11-1 1
101-10-1 1
111--111 1
-11-1111 1
101--011 1
101-11-0 1
1111-0-0 1
111-10-0 1
101--110 1
111--010 1
-11-1010 1
.names _511gat_30_ _222gat_13_ n_n2899 n_n2816
0-0 1
-00 1
111 1
.names _511gat_30_ _205gat_12_ _477gat_28_ _494gat_29_ n_n3202 n_n3203 n_n3078 \
n_n2947 n_n2815
11-----1 1
11-1--1- 1
-1-1--11 1
----1111 1
11111--- 1
1111-1-- 1
11-111-- 1
111-1-1- 1
111--11- 1
11--111- 1
-1111--1 1
-111-1-1 1
-1-111-1 1
-11-1-11 1
-11--111 1
.names _409gat_24_ _392gat_23_ _205gat_12_ n_n3697 n_n3823 n_n3822 n_n3570
1-11-- 1
---111 1
111-1- 1
-1111- 1
111--1 1
-111-1 1
1-1-11 1
.names _409gat_24_ _222gat_13_ n_n3719 n_n3718 n_n3571
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _222gat_13_ [381]
0- 1
-0 1
.names _18gat_1_ _358gat_21_ _35gat_2_ _341gat_20_ n_n4132 n_n4152 n_n4131 \
n_n4149 n_n3847
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
0--00101 1
-0-00101 1
0-0-1001 1
0--01001 1
-0-01001 1
0-0-0110 1
0--00110 1
-0-00110 1
0-0-1010 1
0--01010 1
-0-01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1001111- 1
1011011- 1
1101011- 1
1011101- 1
1101101- 1
1111001- 1
1001001- 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
101110-1 1
110110-1 1
111100-1 1
100100-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
0-111101 1
11-01101 1
0-110001 1
11-00001 1
0-111110 1
11-01110 1
0-110010 1
11-00010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_341gat_20_ _222gat_13_ n_n4005
---00--- 1
000-00-- 1
0000--0- 1
000--00- 1
--101-11 1
100101-- 1
000101-- 1
100100-- 1
00101-0- 1
01001-0- 1
0001-10- 1
11110--1 1
11-01-11 1
0101100- 1
1001100- 1
1010100- 1
1000100- 1
1101000- 1
0101000- 1
011101-1 1
11111-11 1
01111-11 1
01011-11 1
01110-11 1
10110-11 1
01111-01 1
11001-01 1
110101-0 1
010101-0 1
110100-0 1
010100-0 1
11101-00 1
01101-00 1
10101-00 1
11001-00 1
10001-00 1
10011111 1
11011011 1
10111101 1
10011101 1
10001101 1
01010101 1
10111001 1
00111110 1
11011110 1
10111010 1
00111010 1
11011010 1
11111100 1
01111100 1
10111100 1
01011100 1
10011100 1
11111000 1
01111000 1
.names _358gat_21_ _222gat_13_ [274]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _171gat_10_ _273gat_16_ \
_188gat_11_ _154gat_9_ n_n4170
011111-- 1
101110-- 1
0011-11- 1
-011011- 1
11110--1 1
1111-1-1 1
1-1101-1 1
1111-0-1 1
0111-0-1 1
11-100-1 1
-11100-1 1
0111--01 1
11-10-01 1
-1110-01 1
-11111-0 1
1-1110-0 1
0-11-110 1
--110110 1
1-111-00 1
10-10111 1
11-11101 1
01-11101 1
01-11110 1
11-11100 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_222gat_13_ _205gat_12_ n_n4182
0011-1-1 1
011-11-1 1
-01101-1 1
101-10-1 1
0110--11 1
111-0-11 1
11-00-11 1
-1100-11 1
111--111 1
1-1-0111 1
111--011 1
011--011 1
11--0011 1
-11-0011 1
1-101-01 1
0-11-101 1
-11-1101 1
--110101 1
1-1-1001 1
11-01111 1
01-01111 1
10-10111 1
01-11101 1
11-01101 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_222gat_13_ n_n4185
--100-1 1
01001-- 1
010-10- 1
1-0100- 1
0010--1 1
001--01 1
0-1-001 1
11-01-0 1
01-01-0 1
1--1010 1
01--100 1
1--1000 1
100101- 1
100110- 1
11101-1 1
0011-11 1
11-1110 1
01-1110 1
10-1100 1
1111111 1
0111111 1
1011111 1
1000111 1
1111011 1
0101011 1
1101101 1
1010101 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _120gat_7_ _273gat_16_ _86gat_5_ \
_69gat_4_ _103gat_6_ n_n4158
00111-1- 1
0110-11- 1
111-111- 1
111-011- 1
011-011- 1
0-11101- 1
011-1-11 1
101-0-11 1
1-10-011 1
-11-1011 1
1-1-0011 1
-0111-10 1
111--110 1
11-0-110 1
-110-110 1
1-1-1110 1
11--0110 1
-11-0110 1
--111010 1
11-01111 1
01-01111 1
01-11011 1
11-01011 1
10-11110 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _239gat_14_ _273gat_16_ _188gat_11_ \
_222gat_13_ _205gat_12_ n_n4179
001111-- 1
011-111- 1
101-011- 1
-011110- 1
0110-1-1 1
111-11-1 1
111-01-1 1
011-01-1 1
111--101 1
11-0-101 1
-110-101 1
1-1-1101 1
11--0101 1
-11-0101 1
0-1111-0 1
1-10-110 1
-11-1110 1
1-1-0110 1
--111100 1
11-01111 1
01-01111 1
10-11101 1
01-11110 1
11-01110 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _120gat_7_ _273gat_16_ \
_103gat_6_ _154gat_9_ n_n4135
010-10-- 1
1-0100-- 1
001--01- 1
0-1-001- 1
--10001- 1
01--100- 1
1--1000- 1
--0001-1 1
---00101 1
--100-10 1
100110-- 1
10-1100- 1
11-0100- 1
0001-1-1 1
0000-1-1 1
00-1-101 1
00-0-101 1
0--10101 1
01001--0 1
0010--10 1
11-01-00 1
01-01-00 1
1--10100 1
1101101- 1
1110101- 1
1010101- 1
10-11101 1
10-01101 1
100101-0 1
11101-10 1
0011-110 1
11-11100 1
01-11100 1
11011111 1
01011111 1
10011111 1
01101111 1
10101111 1
11001111 1
01110111 1
10110111 1
11010111 1
11111110 1
01111110 1
10111110 1
10001110 1
11110110 1
01010110 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_341gat_20_ n_n4082
---01-1 1
11110-- 1
01110-- 1
10110-- 1
00110-- 1
000-1-1 1
-1111-1 1
0011--0 1
01011-1 1
1-11111 1
11011-0 1
1011-00 1
1001111 1
1001101 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_341gat_20_ _222gat_13_ n_n4081
-1101--1 1
--101-11 1
11110--1 1
1-1011-1 1
11-101-1 1
0101--11 1
011-1-11 1
001-1-11 1
11-01-11 1
11-10-11 1
01-10-11 1
1-110-11 1
111111-1 1
010111-1 1
011101-1 1
111110-1 1
101110-1 1
11111-11 1
0111-111 1
111-1111 1
11-11111 1
01-11111 1
-1110111 1
1011-011 1
111-1011 1
10011111 1
.names _409gat_24_ _205gat_12_ [287]
0- 1
-0 1
.names _375gat_22_ _392gat_23_ _86gat_5_ _69gat_4_ n_n3878 n_n3875 n_n3851 \
n_n3852 n_n3558
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
0--00011 1
--000011 1
00--0101 1
0--00101 1
--000101 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
0--00110 1
--000110 1
00--1010 1
0--01010 1
--001010 1
00--1100 1
0--01100 1
--001100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
11111-11 1
10011-11 1
10110-11 1
11010-11 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
01-11011 1
1-101011 1
01-11101 1
1-101101 1
101-1001 1
01-11001 1
-1011001 1
1-101001 1
101111-0 1
110111-0 1
111101-0 1
100101-0 1
10111-10 1
11011-10 1
11110-10 1
10010-10 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
01-10010 1
1-100010 1
01-10100 1
1-100100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11111000 1
.names _375gat_22_ _392gat_23_ _69gat_4_ _52gat_3_ n_n3875 n_n3872 n_n3850 \
n_n3851 n_n3582
11-1-1-- 1
11-1--1- 1
-1-1-11- 1
01-10--1 1
-1010--1 1
0---0111 1
--0-0111 1
01-11--0 1
-1011--0 1
0---1110 1
--0-1110 1
11111--1 1
1-1111-1 1
1-0101-1 1
1-111-11 1
1-010-11 1
1-1-1111 1
11110--0 1
1-0111-0 1
1-1101-0 1
1-011-10 1
1-110-10 1
1-1-0110 1
.names _1gat_0_ _18gat_1_ _409gat_24_ _426gat_25_ n_n3576 n_n3555 n_n3578 \
n_n3556 n_n3279
1-111--- 1
1-11-1-- 1
1--111-- 1
10-1--01 1
1-01--01 1
-0--1101 1
--0-1101 1
10-1--10 1
1-01--10 1
-0--1110 1
--0-1110 1
1111--11 1
111-1-11 1
111--111 1
-11-1111 1
101-1-01 1
101--101 1
101-1-10 1
101--110 1
1111--00 1
111-1-00 1
111--100 1
-11-1100 1
.names _409gat_24_ _69gat_4_ _52gat_3_ _426gat_25_ n_n3584 n_n3560 n_n3558 \
n_n3582 n_n3262
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
0-111101 1
110-0001 1
0-110001 1
110-1110 1
0-111110 1
110-0010 1
0-110010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _409gat_24_ _35gat_2_ _52gat_3_ _426gat_25_ n_n3580 n_n3558 n_n3582 \
n_n3557 n_n3283
11-11--- 1
11-1---1 1
-1-11--1 1
01-1-01- 1
-101-01- 1
01-1-10- 1
-101-10- 1
0---1011 1
--0-1011 1
0---1101 1
--0-1101 1
1111-11- 1
111-111- 1
110-101- 1
110-110- 1
1111-00- 1
111-100- 1
111--111 1
1-1-1111 1
110--011 1
110--101 1
111--001 1
1-1-1001 1
.names _188gat_11_ _460gat_27_ [281]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ n_n3460 [398] n_n3570 n_n3571 [417] n_n3307 \
n_n3156
0-101-11 1
-0101-11 1
0-010-11 1
-0010-11 1
0-10-111 1
-010-111 1
0-1-1111 1
-01-1111 1
0-01-011 1
-001-011 1
0-0-0011 1
-00-0011 1
0-001-01 1
-0001-01 1
0-110-01 1
-0110-01 1
0-00-101 1
-000-101 1
0-0-1101 1
-00-1101 1
0-11-001 1
-011-001 1
0-1-0001 1
-01-0001 1
0-001-10 1
-0001-10 1
0-00-110 1
-000-110 1
0-0-1110 1
-00-1110 1
0-1-0010 1
-01-0010 1
0-101-00 1
-0101-00 1
0-10-100 1
-010-100 1
0-1-1100 1
-01-1100 1
0-0-0000 1
-00-0000 1
11001-11 1
1100-111 1
110-1111 1
111-0011 1
11101-01 1
1110-101 1
111-1101 1
110-0001 1
11101-10 1
11010-10 1
1110-110 1
111-1110 1
0-110110 1
-0110110 1
1101-010 1
0-111010 1
-0111010 1
110-0010 1
11001-00 1
11110-00 1
1100-100 1
110-1100 1
0-010100 1
-0010100 1
1111-000 1
0-011000 1
-0011000 1
111-0000 1
11110111 1
11111011 1
11010101 1
11011001 1
.names _188gat_11_ _477gat_28_ [337]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ _477gat_28_ n_n3179 n_n3307 n_n3308 n_n3048
1-11-- 1
---111 1
111-1- 1
11-11- 1
111--1 1
11-1-1 1
1-1-11 1
.names _409gat_24_ _137gat_8_ _426gat_25_ _154gat_9_ n_n3604 n_n3595 n_n3626 \
n_n3627 n_n3325
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
-0-00110 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
11001-11 1
1111-111 1
1100-111 1
011-0111 1
10-10111 1
011-1011 1
10-11011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
11011-01 1
11101-01 1
1101-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
11011-10 1
11101-10 1
1101-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
11001-00 1
1111-100 1
1100-100 1
011-0100 1
10-10100 1
011-1000 1
10-11000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names _409gat_24_ _171gat_10_ _426gat_25_ _154gat_9_ n_n3647 n_n3626 n_n3627 \
n_n3648 n_n3349
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
0--00101 1
-0-00101 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
-00-0110 1
0--00110 1
-0-00110 1
0-0-1010 1
0--01010 1
-0-01010 1
0-0-1100 1
0--01100 1
-0-01100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
11111-11 1
10011-11 1
10110-11 1
11010-11 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
0-111011 1
11-01011 1
0-111101 1
11-01101 1
110-1001 1
0-111001 1
-0111001 1
11-01001 1
101111-0 1
110111-0 1
111101-0 1
100101-0 1
10111-10 1
11011-10 1
11110-10 1
10010-10 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
0-110010 1
11-00010 1
0-110100 1
11-00100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11111000 1
.names _375gat_22_ _137gat_8_ _392gat_23_ _120gat_7_ n_n3854 n_n3856 n_n3887 \
n_n3884 n_n3563
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
0--00101 1
-0-00101 1
0-0-1001 1
-00-1001 1
0--01001 1
-0-01001 1
0-0-1010 1
0--01010 1
-0-01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-1100 1
0--01100 1
-0-01100 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
1111111- 1
1001111- 1
1011101- 1
1101101- 1
1011110- 1
1101110- 1
1111100- 1
1001100- 1
1111-111 1
1001-111 1
0-110111 1
11-00111 1
1011-011 1
1101-011 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
1011-101 1
1101-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
1111-001 1
1001-001 1
0-110001 1
11-00001 1
0-111110 1
11-01110 1
110-0110 1
0-110110 1
-0110110 1
11-00110 1
0-111000 1
11-01000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110010 1
11110100 1
.names _375gat_22_ _392gat_23_ _120gat_7_ _103gat_6_ n_n3854 n_n3884 n_n3881 \
n_n3853 n_n3589
11-1--1- 1
11-1---1 1
-1-1--11 1
01-101-- 1
-10101-- 1
01-110-- 1
-10110-- 1
0---0111 1
--0-0111 1
0---1011 1
--0-1011 1
111111-- 1
111100-- 1
1-11111- 1
1-01011- 1
1-01101- 1
1-11001- 1
1-1111-1 1
1-0101-1 1
1-0110-1 1
1-1100-1 1
1-1-1111 1
1-1-0011 1
.names _375gat_22_ _392gat_23_ _171gat_10_ _154gat_9_ n_n3890 n_n3858 n_n3893 \
n_n3899 n_n3604
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0101 1
0--00101 1
--000101 1
00--1001 1
0--01001 1
--001001 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
0--00110 1
--000110 1
00--1010 1
0--01010 1
--001010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
0--01100 1
--001100 1
11111-11 1
10011-11 1
1111-111 1
1001-111 1
01-10111 1
1-100111 1
01-11011 1
1-101011 1
101-0011 1
01-10011 1
-1010011 1
1-100011 1
10111-01 1
11011-01 1
1011-101 1
1101-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
10111-10 1
11011-10 1
1011-110 1
1101-110 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
11111-00 1
10011-00 1
1111-100 1
1001-100 1
01-10100 1
1-100100 1
01-11000 1
1-101000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11110010 1
.names _375gat_22_ _137gat_8_ _392gat_23_ _154gat_9_ n_n3890 n_n3858 n_n3856 \
n_n3887 n_n3595
111---1- 1
111----1 1
-11---11 1
011-01-- 1
-11001-- 1
011-10-- 1
-11010-- 1
0---0111 1
---00111 1
0---1011 1
---01011 1
111111-- 1
111100-- 1
11-1111- 1
11-0011- 1
11-0101- 1
11-1001- 1
11-111-1 1
11-001-1 1
11-010-1 1
11-100-1 1
1--11111 1
1--10011 1
.names _409gat_24_ _392gat_23_ _205gat_12_ n_n3697 n_n3823 n_n3822 n_n3549
0--011 1
--0011 1
--0101 1
--0110 1
0--100 1
--0100 1
11111- 1
01101- 1
1111-1 1
0110-1 1
1-1111 1
00-101 1
00-110 1
1-1000 1
101001 1
101010 1
.names _358gat_21_ _35gat_2_ _341gat_20_ _52gat_3_ n_n4132 n_n4133 n_n4152 \
n_n4155 n_n3848
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
-0-00011 1
0-0-1001 1
-00-1001 1
-0-01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
-00-0110 1
-0-00110 1
0-0-1010 1
-00-1010 1
0--01010 1
-0-01010 1
0-0-1100 1
-00-1100 1
-0-01100 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
111111-1 1
011011-1 1
011110-1 1
111010-1 1
1111-111 1
0110-111 1
110-0111 1
-0110111 1
0111-011 1
1110-011 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
-0111101 1
110-0101 1
0-110101 1
-0110101 1
11-00101 1
011111-0 1
111011-0 1
111110-0 1
011010-0 1
0111-110 1
1110-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
1111-010 1
0110-010 1
110-0010 1
-0110010 1
110-1000 1
-0111000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110100 1
.names _18gat_1_ _358gat_21_ _35gat_2_ _341gat_20_ n_n4132 n_n4152 n_n4131 \
n_n4149 n_n3868
11-1--1- 1
11-1---1 1
11----11 1
110-01-- 1
11-001-- 1
110-10-- 1
11-010-- 1
--0-0111 1
---00111 1
--0-1011 1
---01011 1
111111-- 1
111100-- 1
1-11111- 1
1-01011- 1
1-01101- 1
1-11001- 1
1-1111-1 1
1-0101-1 1
1-0110-1 1
1-1100-1 1
--111111 1
--110011 1
.names _358gat_21_ _86gat_5_ _69gat_4_ _341gat_20_ n_n4158 n_n4135 n_n4161 \
n_n4134 n_n3875
1-111--- 1
1-11---1 1
1-1-1--1 1
101--01- 1
1-10-01- 1
101--10- 1
1-10-10- 1
-0--1011 1
---01011 1
-0--1101 1
---01101 1
1111-11- 1
-111111- 1
-011101- 1
-011110- 1
1111-00- 1
-111100- 1
-111-111 1
-1-11111 1
-011-011 1
-011-101 1
-111-001 1
-1-11001 1
.names _137gat_8_ _358gat_21_ _341gat_20_ _154gat_9_ n_n4138 n_n4170 n_n4173 \
n_n4139 n_n3854
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-1100 1
-00-1100 1
0--01100 1
-0-01100 1
11111-11 1
10101-11 1
1111-111 1
1010-111 1
110-0111 1
0-110111 1
110-1011 1
0-111011 1
110-0011 1
0-110011 1
-0110011 1
11-00011 1
10111-01 1
11101-01 1
1011-101 1
1110-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
10111-10 1
11101-10 1
1011-110 1
1110-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
11111-00 1
10101-00 1
1111-100 1
1010-100 1
110-0100 1
0-110100 1
110-1000 1
0-111000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110010 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _171gat_10_ _120gat_7_ \
_273gat_16_ _154gat_9_ n_n4136
0101--0- 1
001--10- 1
0-10-10- 1
01-1-00- 1
1-00--01 1
1--0-001 1
--1001-0 1
--001-10 1
---01010 1
--10-100 1
000-1-11 1
00--1011 1
0--01011 1
1--00011 1
1001--01 1
10-1-001 1
01010--0 1
001-01-0 1
11-100-0 1
01-100-0 1
000-1-10 1
00--1010 1
11-1-000 1
10000-11 1
001-0111 1
10-11011 1
11-10011 1
01-10011 1
1101-101 1
111101-0 1
10-11010 1
1111-100 1
1011-100 1
11011111 1
01011111 1
10011111 1
01101111 1
10101111 1
11001111 1
11110111 1
01110111 1
10110111 1
11100111 1
01000111 1
01111110 1
10111110 1
11011110 1
10010110 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _120gat_7_ _273gat_16_ \
_103gat_6_ _154gat_9_ n_n4164
11101-1- 1
0111-11- 1
111-111- 1
1-10111- 1
-111011- 1
1011-01- 1
111-101- 1
011-101- 1
11-0101- 1
-110101- 1
1-11001- 1
001--111 1
-010-111 1
0-1-0111 1
--100111 1
011-1-10 1
11-01-10 1
-1101-10 1
1-110-10 1
10-01111 1
01-10111 1
11-11110 1
01-11110 1
11-10110 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _239gat_14_ _273gat_16_ _188gat_11_ \
_222gat_13_ _205gat_12_ n_n4140
001-01-- 1
010-0--1 1
01--00-1 1
0-1-01-0 1
1-0-0-10 1
1---0010 1
--011-00 1
--10-100 1
--1-0100 1
---11000 1
00011-1- 1
00-1101- 1
00011-0- 1
0010-10- 1
00-1100- 1
100-0-11 1
10--0011 1
0100--01 1
11-0-001 1
01-0-001 1
11--0001 1
0--11010 1
1--01010 1
0010111- 1
110-0111 1
10-11011 1
11-01011 1
01-01011 1
1110-101 1
111-0101 1
101-0101 1
10-11001 1
10001-10 1
11011111 1
01011111 1
10011111 1
11101111 1
01101111 1
10101111 1
01111101 1
10111101 1
11011101 1
10001101 1
01111110 1
10111110 1
11011110 1
11101110 1
01001110 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _120gat_7_ _273gat_16_ _86gat_5_ \
_69gat_4_ _103gat_6_ n_n4133
010-01-- 1
001-0-1- 1
0-1-001- 1
01--010- 1
1-0-00-1 1
1---0001 1
--0110-0 1
--10-010 1
--1-0010 1
---11000 1
00011--1 1
100-01-1 1
00-11-01 1
10--0101 1
0--11001 1
1--01001 1
00011--0 1
0100-1-0 1
0010--10 1
00-11-00 1
11-0-100 1
01-0-100 1
11--0100 1
100010-1 1
00101-11 1
110-0111 1
10-11101 1
11-01101 1
01-01101 1
1110-110 1
111-0110 1
101-0110 1
10-11100 1
11011111 1
01011111 1
10011111 1
11101111 1
01101111 1
10101111 1
01111011 1
10111011 1
11011011 1
11101011 1
01001011 1
01111110 1
10111110 1
11011110 1
10001110 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _171gat_10_ _273gat_16_ _188gat_11_ \
_205gat_12_ _154gat_9_ n_n4173
11111--1 1
11110--1 1
01110--1 1
011-11-1 1
-11011-1 1
101-01-1 1
1-1001-1 1
1111-0-1 1
1-1110-1 1
11-100-1 1
-11100-1 1
001-1-11 1
0-101-11 1
-01-1011 1
--101011 1
0111--01 1
1-10-101 1
11-1-001 1
-111-001 1
01-01111 1
10-11011 1
11-11101 1
01-11101 1
11-01101 1
10111111 1
.names _375gat_22_ _392gat_23_ _69gat_4_ _52gat_3_ n_n3875 n_n3872 n_n3850 \
n_n3851 n_n3557
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
0--00011 1
--000011 1
00--0101 1
0--00101 1
--000101 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
0--00110 1
--000110 1
00--1010 1
0--01010 1
--001010 1
00--1100 1
0--01100 1
--001100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
11111-11 1
10011-11 1
10110-11 1
11010-11 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
01-11011 1
1-101011 1
01-11101 1
1-101101 1
101-1001 1
01-11001 1
-1011001 1
1-101001 1
101111-0 1
110111-0 1
111101-0 1
100101-0 1
10111-10 1
11011-10 1
11110-10 1
10010-10 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
01-10010 1
1-100010 1
01-10100 1
1-100100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11111000 1
.names _205gat_12_ _443gat_26_ [417]
0- 1
-0 1
.names _409gat_24_ _86gat_5_ _69gat_4_ _426gat_25_ n_n3562 n_n3586 n_n3584 \
n_n3560 n_n3287
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
11--1111 1
11--0011 1
.names _171gat_10_ _460gat_27_ [311]
0- 1
-0 1
.names _171gat_10_ _460gat_27_ _443gat_26_ n_n3273 n_n3401 n_n3400 n_n3155
11-1-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
11--11 1
.names _222gat_13_ _477gat_28_ [406]
0- 1
-0 1
.names _205gat_12_ _477gat_28_ [295]
0- 1
-0 1
.names _460gat_27_ _222gat_13_ _205gat_12_ _477gat_28_ n_n3426 [386] n_n3355 \
n_n3202 n_n3049
0-0-0111 1
-00-0111 1
0--00111 1
-0-00111 1
0-0-1011 1
-00-1011 1
0--01011 1
-0-01011 1
0-0-1101 1
-00-1101 1
0--01101 1
-0-01101 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-1110 1
-00-1110 1
0--01110 1
-0-01110 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
110-1111 1
0-111111 1
-0111111 1
11-01111 1
110-0011 1
0-110011 1
-0110011 1
11-00011 1
110-0101 1
0-110101 1
-0110101 1
11-00101 1
110-1001 1
0-111001 1
-0111001 1
11-01001 1
110-0110 1
0-110110 1
-0110110 1
11-00110 1
110-1010 1
0-111010 1
-0111010 1
11-01010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110111 1
11111011 1
11111101 1
11110001 1
11111110 1
11110010 1
11110100 1
11111000 1
.names _239gat_14_ _460gat_27_ _222gat_13_ _477gat_28_ _443gat_26_ n_n3426 \
n_n3355 n_n3233 n_n3078
-111--11 1
0-0--111 1
--0-0111 1
0-0--101 1
0--0-101 1
--0-0101 1
---00101 1
0-0--001 1
--0-0001 1
-110--10 1
0-0--010 1
0--0-010 1
--0-0010 1
---00010 1
0111-0-1 1
-11100-1 1
00-0-111 1
-0-00111 1
0-11-011 1
1-0-1011 1
--110011 1
1-0-1101 1
00-0-001 1
1-0-1001 1
1--01001 1
-0-00001 1
0110-0-0 1
-11000-0 1
1-0-1110 1
1--01110 1
0-11-100 1
--110100 1
111111-1 1
1-111111 1
10-01011 1
10-01101 1
111011-0 1
0011-110 1
-0110110 1
0011-000 1
1-111000 1
-0110000 1
10111010 1
10111100 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ _494gat_29_ n_n3007 \
n_n2718
-011-0 1
11111- 1
1111-1 1
0011-1 1
1010-1 1
010-11 1
01-011 1
110-01 1
0-1101 1
110-10 1
110-00 1
0-1100 1
11-000 1
011110 1
.names _171gat_10_ _477gat_28_ _494gat_29_ _154gat_9_ n_n3121 n_n3120 n_n3075 \
n_n2843
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
-00-010 1
0--0010 1
-0-0010 1
-00-100 1
0--0100 1
-0-0100 1
0-0-000 1
-00-000 1
0--0000 1
-0-0000 1
11111-1 1
01011-1 1
1111-11 1
0101-11 1
-011011 1
11-0011 1
-011101 1
11-0101 1
110-001 1
0-11001 1
-011001 1
11-0001 1
01111-0 1
11011-0 1
0111-10 1
1101-10 1
110-110 1
0-11110 1
-011110 1
11-0110 1
1111000 1
.names _137gat_8_ _477gat_28_ _494gat_29_ _154gat_9_ n_n3121 n_n3120 n_n3096 \
n_n3095 n_n2842
111---1- 1
111----1 1
1-1---11 1
101-01-- 1
1-1001-- 1
101-10-- 1
1-1010-- 1
-0--0111 1
---00111 1
-0--1011 1
---01011 1
111111-- 1
111100-- 1
11-1111- 1
11-0011- 1
11-0101- 1
11-1001- 1
11-111-1 1
11-001-1 1
11-010-1 1
11-100-1 1
-1-11111 1
-1-10011 1
.names n_n3355 n_n3356 n_n3233 n_n3103 [352] [406] n_n2973 [451] n_n2899
---1--10 1
--11-01- 1
--1--010 1
1111--1- 1
1-110-1- 1
-1110-1- 1
11-1-01- 1
1--1001- 1
-1-1001- 1
0000--0- 1
--10-001 1
111---10 1
1-1-0-10 1
-11-0-10 1
11---010 1
1---0010 1
-1--0010 1
01001-0- 1
10001-0- 1
0010-10- 1
1100-10- 1
1-00010- 1
-100010- 1
0001--01 1
1110--01 1
1-100-01 1
-1100-01 1
11-0-001 1
1--00001 1
-1-00001 1
0110110- 1
1010110- 1
01011-01 1
10011-01 1
0011-101 1
1101-101 1
1-010101 1
-1010101 1
01111101 1
10111101 1
.names _409gat_24_ _137gat_8_ _120gat_7_ _426gat_25_ n_n3604 n_n3595 n_n3592 \
n_n3564 n_n3324
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
11--1111 1
11--0011 1
.names _409gat_24_ _137gat_8_ _426gat_25_ _154gat_9_ n_n3604 n_n3595 n_n3626 \
n_n3627 n_n3348
111-1--- 1
111--1-- 1
-11-11-- 1
011---01 1
-110--01 1
0---1101 1
---01101 1
011---10 1
-110--10 1
0---1110 1
---01110 1
1111--11 1
11-11-11 1
11-1-111 1
1--11111 1
11-01-01 1
11-0-101 1
11-01-10 1
11-0-110 1
1111--00 1
11-11-00 1
11-1-100 1
1--11100 1
.names _188gat_11_ _426gat_25_ [301]
0- 1
-0 1
.names _409gat_24_ _188gat_11_ _426gat_25_ n_n3549 [304] n_n3823 n_n3822 \
n_n3675 n_n3401
1111---1 1
1100---1 1
-0-11111 1
-0-00111 1
--000111 1
-0-01011 1
--001011 1
-0-10011 1
-0-01101 1
--001101 1
-0-10101 1
-0-11001 1
-0-00001 1
--000001 1
-0-11110 1
--011110 1
-0-10110 1
-0-11010 1
-0-10010 1
--010010 1
-0-11100 1
-0-10100 1
--010100 1
-0-11000 1
--011000 1
-0-10000 1
1111011- 1
1100011- 1
1111101- 1
1100101- 1
1111110- 1
1100110- 1
1111000- 1
1100000- 1
0-011111 1
-1110111 1
-1111011 1
0-010011 1
-1111101 1
0-010101 1
0-011001 1
-1110001 1
-1101110 1
0-010110 1
0-011010 1
-1100010 1
0-011100 1
-1100100 1
-1101000 1
0-010000 1
01101111 1
01100011 1
01100101 1
01101001 1
01100110 1
01101010 1
01101100 1
01100000 1
.names _375gat_22_ _137gat_8_ _392gat_23_ _120gat_7_ n_n3854 n_n3856 n_n3887 \
n_n3884 n_n3592
1-111--- 1
1-11---1 1
--111--1 1
0-11-01- 1
-011-01- 1
0-11-10- 1
-011-10- 1
0---1011 1
-0--1011 1
0---1101 1
-0--1101 1
1111-11- 1
11-1111- 1
10-1101- 1
10-1110- 1
1111-00- 1
11-1100- 1
11-1-111 1
11--1111 1
10-1-011 1
10-1-101 1
11-1-001 1
11--1001 1
.names _375gat_22_ _137gat_8_ _392gat_23_ _154gat_9_ n_n3890 n_n3858 n_n3856 \
n_n3887 n_n3564
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
00--0110 1
0-0-0110 1
-0-00110 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
1100111- 1
1101011- 1
1110011- 1
1101101- 1
1110101- 1
1111001- 1
1100001- 1
111111-1 1
110011-1 1
110101-1 1
111001-1 1
110110-1 1
111010-1 1
111100-1 1
110000-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
011-1101 1
10-11101 1
011-0001 1
10-10001 1
011-1110 1
10-11110 1
011-0010 1
10-10010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names [304] n_n3917 n_n3918 [454] n_n3793 n_n3823 n_n3822 [423] n_n3608
0---1110 1
1---1010 1
1---1100 1
0---1000 1
011-111- 1
01-0111- 1
0-10111- 1
100-011- 1
111-101- 1
11-0101- 1
1-10101- 1
000-001- 1
111-110- 1
11-0110- 1
1-10110- 1
000-010- 1
011-100- 1
01-0100- 1
0-10100- 1
100-000- 1
011--110 1
01-0-110 1
0-10-110 1
111--010 1
11-0-010 1
1-10-010 1
111--100 1
11-0-100 1
1-10-100 1
011--000 1
01-0-000 1
0-10-000 1
1011011- 1
1101011- 1
0011001- 1
0101001- 1
0011010- 1
0101010- 1
1011000- 1
1101000- 1
100-1111 1
111-0111 1
11-00111 1
1-100111 1
000-1011 1
011-0011 1
01-00011 1
0-100011 1
000-1101 1
011-0101 1
01-00101 1
0-100101 1
100-1001 1
111-0001 1
11-00001 1
1-100001 1
10111111 1
11011111 1
00111011 1
01011011 1
00111101 1
01011101 1
10111001 1
11011001 1
.names _409gat_24_ _188gat_11_ [355]
0- 1
-0 1
.names _409gat_24_ _222gat_13_ [325]
0- 1
-0 1
.names _392gat_23_ _205gat_12_ [304]
0- 1
-0 1
.names _392gat_23_ _205gat_12_ n_n3969 [381] [274] n_n4082 n_n4081 n_n3822 \
n_n3676
0-1101-1 1
-01101-1 1
0-0001-1 1
-00001-1 1
0-0110-1 1
-00110-1 1
0-1010-1 1
-01010-1 1
0-110-11 1
-0110-11 1
0-000-11 1
-0000-11 1
0-11-111 1
-011-111 1
0-00-111 1
-000-111 1
0-011-01 1
-0011-01 1
0-101-01 1
-0101-01 1
0-01-001 1
-001-001 1
0-10-001 1
-010-001 1
0-0101-0 1
-00101-0 1
0-1001-0 1
-01001-0 1
0-010-10 1
-0010-10 1
0-100-10 1
-0100-10 1
0-01-110 1
-001-110 1
0-10-110 1
-010-110 1
0-11-000 1
-011-000 1
0-00-000 1
-000-000 1
110101-1 1
111001-1 1
11010-11 1
11100-11 1
1101-111 1
1110-111 1
1111-001 1
1100-001 1
111101-0 1
110001-0 1
110110-0 1
111010-0 1
11110-10 1
11000-10 1
1111-110 1
1100-110 1
0-111010 1
-0111010 1
0-001010 1
-0001010 1
11011-00 1
11101-00 1
0-111100 1
-0111100 1
0-001100 1
-0001100 1
1101-000 1
1110-000 1
11111011 1
11001011 1
11111101 1
11001101 1
.names _358gat_21_ _69gat_4_ _341gat_20_ _52gat_3_ n_n4158 n_n4133 n_n4134 \
n_n4155 n_n3872
1-11-1-- 1
1-11---1 1
1--1-1-1 1
10-10-1- 1
1-010-1- 1
10-11-0- 1
1-011-0- 1
-0--0111 1
--0-0111 1
-0--1101 1
--0-1101 1
11111-1- 1
-111111- 1
-011011- 1
11110-0- 1
-011110- 1
-111010- 1
-1111-11 1
-0110-11 1
-11-1111 1
-0111-01 1
-1110-01 1
-11-0101 1
.names _358gat_21_ _86gat_5_ _69gat_4_ _341gat_20_ n_n4158 n_n4135 n_n4161 \
n_n4134 n_n3850
00--1111 1
-00-1111 1
0--01111 1
--001111 1
-00-0011 1
0--00011 1
--000011 1
-00-0101 1
0--00101 1
--000101 1
00--1001 1
-00-1001 1
0--01001 1
--001001 1
-00-1010 1
0--01010 1
--001010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
-00-1100 1
0--01100 1
--001100 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
1111111- 1
0011111- 1
0111101- 1
1011101- 1
0111110- 1
1011110- 1
1111100- 1
0011100- 1
1111-111 1
0011-111 1
-1010111 1
1-100111 1
0111-011 1
1011-011 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
0111-101 1
1011-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
1111-001 1
0011-001 1
-1010001 1
1-100001 1
-1011110 1
1-101110 1
101-0110 1
01-10110 1
-1010110 1
1-100110 1
-1011000 1
1-101000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110010 1
11110100 1
.names _358gat_21_ _171gat_10_ _341gat_20_ _154gat_9_ n_n4176 n_n4140 n_n4173 \
n_n4139 n_n3856
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
0-0-0101 1
-0-00101 1
--000101 1
0-0-1001 1
-0-01001 1
--001001 1
0-0-0110 1
-0-00110 1
--000110 1
0-0-1010 1
-0-01010 1
--001010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
0011111- 1
0111011- 1
1011011- 1
0111101- 1
1011101- 1
1111001- 1
0011001- 1
111111-1 1
001111-1 1
011101-1 1
101101-1 1
011110-1 1
101110-1 1
111100-1 1
001100-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
1-011101 1
-1101101 1
1-010001 1
-1100001 1
1-011110 1
-1101110 1
1-010010 1
-1100010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names _137gat_8_ _358gat_21_ _341gat_20_ _154gat_9_ n_n4138 n_n4170 n_n4173 \
n_n4139 n_n3887
111-1--- 1
111--1-- 1
11--11-- 1
110---01 1
11-0--01 1
--0-1101 1
---01101 1
110---10 1
11-0--10 1
--0-1110 1
---01110 1
1111--11 1
1-111-11 1
1-11-111 1
--111111 1
1-101-01 1
1-10-101 1
1-101-10 1
1-10-110 1
1111--00 1
1-111-00 1
1-11-100 1
--111100 1
.names _358gat_21_ _188gat_11_ _341gat_20_ _205gat_12_ n_n4110 n_n4179 n_n4141 \
n_n3917
110-0-- 1
11-00-- 1
111--1- 1
111---1 1
11---11 1
--0-011 1
---0011 1
11111-- 1
-11111- 1
-11001- 1
-1111-1 1
-1100-1 1
--11111 1
.names _358gat_21_ _341gat_20_ _205gat_12_ n_n4182 n_n4185 n_n4062 n_n3918
--0011 1
--0101 1
0--001 1
--0001 1
0--110 1
--0110 1
1111-1 1
111-11 1
1-1111 1
00-011 1
00-101 1
0111-0 1
011-10 1
1-1000 1
101010 1
101100 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _35gat_2_ _273gat_16_ _86gat_5_ \
_69gat_4_ _52gat_3_ n_n4152
001111-- 1
01111-1- 1
10110-1- 1
-011110- 1
11111--1 1
11110--1 1
01110--1 1
0111-0-1 1
1111--01 1
1-111-01 1
11-10-01 1
-1110-01 1
11-1-001 1
-111-001 1
0-1111-0 1
-1111-10 1
1-110-10 1
1-11-010 1
--111100 1
11-11011 1
01-11011 1
10-11101 1
01-11110 1
11-11010 1
10111111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _171gat_10_ _273gat_16_ _188gat_11_ \
_222gat_13_ _205gat_12_ n_n4139
00110--- 1
010-01-- 1
01-001-- 1
0-1100-- 1
1-0-00-1 1
1--000-1 1
--1100-0 1
--0-1010 1
---01010 1
--11-000 1
100-01-1 1
10-001-1 1
000-1-11 1
00-01-11 1
0--01011 1
1--01001 1
11-001-0 1
000-1-10 1
00-01-10 1
0011--00 1
010--100 1
11-0-100 1
01-0-100 1
110101-1 1
10-01111 1
00111-01 1
11-01101 1
01-01101 1
100-1001 1
111101-0 1
101101-0 1
10-01110 1
1111-100 1
11011111 1
01011111 1
10011111 1
01111011 1
10111011 1
11011011 1
11111101 1
01111101 1
10111101 1
11111001 1
01011001 1
01111110 1
10111110 1
11011110 1
10011100 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _120gat_7_ _273gat_16_ \
_86gat_5_ _103gat_6_ n_n4161
0011-11- 1
011-111- 1
-011011- 1
101-101- 1
0110--11 1
111-0-11 1
11-00-11 1
-1100-11 1
111--111 1
1-1-0111 1
111--011 1
011--011 1
11--0011 1
-11-0011 1
1-101-10 1
0-11-110 1
-11-1110 1
--110110 1
1-1-1010 1
11-01111 1
01-01111 1
10-10111 1
01-11110 1
11-01110 1
10111111 1
.names _1gat_0_ _375gat_22_ _18gat_1_ _392gat_23_ n_n3847 n_n3848 n_n3868 \
n_n3866 n_n3576
11-11--- 1
11-1---1 1
1--11--1 1
10-1-01- 1
1-01-01- 1
10-1-10- 1
1-01-10- 1
-0--1011 1
--0-1011 1
-0--1101 1
--0-1101 1
1111-11- 1
111-111- 1
110-101- 1
110-110- 1
1111-00- 1
111-100- 1
111--111 1
-11-1111 1
110--011 1
110--101 1
111--001 1
-11-1001 1
.names _375gat_22_ _18gat_1_ _392gat_23_ _35gat_2_ n_n3848 n_n3868 n_n3849 \
n_n3870 n_n3555
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
-0-00110 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
11001-11 1
1111-111 1
1100-111 1
011-0111 1
10-10111 1
011-1011 1
10-11011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
11011-01 1
11101-01 1
1101-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
11011-10 1
11101-10 1
1101-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
11001-00 1
1111-100 1
1100-100 1
011-0100 1
10-10100 1
011-1000 1
10-11000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names _409gat_24_ _171gat_10_ _426gat_25_ _154gat_9_ n_n3647 n_n3626 n_n3627 \
n_n3648 n_n3378
1-11-1-- 1
1-11--1- 1
--11-11- 1
0-110--1 1
-0110--1 1
0---0111 1
-0--0111 1
0-111--0 1
-0111--0 1
0---1110 1
-0--1110 1
11111--1 1
11-111-1 1
10-101-1 1
11-11-11 1
10-10-11 1
11--1111 1
11110--0 1
10-111-0 1
11-101-0 1
10-11-10 1
11-10-10 1
11--0110 1
.names _171gat_10_ _460gat_27_ _443gat_26_ n_n3273 n_n3401 n_n3400 n_n3121
0--011 1
-0-011 1
0--101 1
0--110 1
0--100 1
-0-100 1
11111- 1
10101- 1
1111-1 1
1010-1 1
11-111 1
-00101 1
-00110 1
11-000 1
110001 1
110010 1
.names _171gat_10_ _460gat_27_ _443gat_26_ _154gat_9_ n_n3401 n_n3378 n_n3379 \
n_n3400 n_n3120
-111-1-- 1
-111--1- 1
-1-1-11- 1
01-10--1 1
-1010--1 1
0---0111 1
--0-0111 1
01-11--0 1
-1011--0 1
0---1110 1
--0-1110 1
11111--1 1
1-1111-1 1
0-1101-1 1
1-111-11 1
0-110-11 1
1-1-1111 1
11110--0 1
0-1111-0 1
1-1101-0 1
0-111-10 1
1-110-10 1
1-1-0110 1
.names _137gat_8_ _477gat_28_ _494gat_29_ _154gat_9_ n_n3121 n_n3120 n_n3096 \
n_n3095 n_n2809
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
0--00011 1
--000011 1
00--0101 1
-00-0101 1
0--00101 1
00--1001 1
-00-1001 1
0--01001 1
00--0110 1
-00-0110 1
0--00110 1
00--1010 1
-00-1010 1
0--01010 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
1111111- 1
1100111- 1
1101011- 1
1110011- 1
1101101- 1
1110101- 1
1111001- 1
1100001- 1
111111-1 1
110011-1 1
110101-1 1
111001-1 1
110110-1 1
111010-1 1
111100-1 1
110000-1 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
101-1101 1
01-11101 1
101-0001 1
01-10001 1
101-1110 1
01-11110 1
101-0010 1
01-10010 1
101-1100 1
01-11100 1
-1011100 1
1-101100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110100 1
11111000 1
.names _137gat_8_ _120gat_7_ _477gat_28_ _494gat_29_ n_n3096 n_n3071 n_n3095 \
n_n3070 n_n2808
-111-1-- 1
-111---1 1
-1-1-1-1 1
01-10-1- 1
-1010-1- 1
01-11-0- 1
-1011-0- 1
0---0111 1
--0-0111 1
0---1101 1
--0-1101 1
11111-1- 1
111-111- 1
011-011- 1
11110-0- 1
011-110- 1
111-010- 1
111-1-11 1
011-0-11 1
1-1-1111 1
011-1-01 1
111-0-01 1
1-1-0101 1
.names _409gat_24_ _171gat_10_ _188gat_11_ _426gat_25_ n_n3647 n_n3608 n_n3648 \
n_n3379
00--111 1
-00-111 1
0--0111 1
--00111 1
00--001 1
-00-001 1
0--0001 1
00--100 1
-00-100 1
0--0100 1
00--000 1
-00-000 1
0--0000 1
--00000 1
111111- 1
110011- 1
110110- 1
111010- 1
1111-11 1
1100-11 1
101-011 1
01-1011 1
1101-01 1
1110-01 1
101-101 1
01-1101 1
-101101 1
1-10101 1
101-110 1
01-1110 1
101-010 1
01-1010 1
-101010 1
1-10010 1
1111000 1
.names _375gat_22_ _409gat_24_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ \
n_n3988 n_n3611
-1--010 1
11-111- 1
01--011 1
101011- 1
00011-1 1
10101-1 1
0100-11 1
-111111 1
10-0111 1
10-1011 1
11-0011 1
0-11101 1
1-01101 1
0-01101 1
1-10101 1
00111-0 1
00011-0 1
0100-10 1
1-11100 1
0-11100 1
1-01100 1
0-01100 1
0110111 1
0110110 1
1100110 1
.names _137gat_8_ _358gat_21_ _120gat_7_ _341gat_20_ n_n4137 n_n4138 n_n4170 \
n_n4167 n_n3884
-1111--- 1
-111---1 1
-11-1--1 1
011--01- 1
-110-01- 1
011--10- 1
-110-10- 1
0---1011 1
---01011 1
0---1101 1
---01101 1
1111-11- 1
1-11111- 1
0-11101- 1
0-11110- 1
1111-00- 1
1-11100- 1
1-11-111 1
1--11111 1
0-11-011 1
0-11-101 1
1-11-001 1
1--11001 1
.names _358gat_21_ _86gat_5_ _103gat_6_ _341gat_20_ n_n4135 n_n4136 n_n4164 \
n_n4161 n_n3851
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
-00-0011 1
0--00011 1
-0-00011 1
-00-0101 1
0--00101 1
-0-00101 1
0-0-1001 1
-00-1001 1
0--01001 1
-0-01001 1
-00-1010 1
0--01010 1
-0-01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
-00-1100 1
0--01100 1
-0-01100 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
1111111- 1
0101111- 1
0111101- 1
1101101- 1
0111110- 1
1101110- 1
1111100- 1
0101100- 1
1111-111 1
0101-111 1
-0110111 1
11-00111 1
0111-011 1
1101-011 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
0111-101 1
1101-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
1111-001 1
0101-001 1
-0110001 1
11-00001 1
-0111110 1
11-01110 1
110-0110 1
0-110110 1
-0110110 1
11-00110 1
-0111000 1
11-01000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110010 1
11110100 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_222gat_13_ _205gat_12_ n_n4141
010--01- 1
--01010- 1
1-0-100- 1
001--0-1 1
--100-01 1
0-1--001 1
--1-0001 1
01---010 1
---10100 1
1---1000 1
000111-- 1
000101-- 1
01000-1- 1
100-101- 1
00100--1 1
00-111-0 1
00-101-0 1
11-00-10 1
01-00-10 1
10--1010 1
11--0010 1
0--11100 1
1--01100 1
1000110- 1
001011-1 1
11100-11 1
110-1011 1
111-0011 1
101-0011 1
10-11110 1
11-01110 1
01-01110 1
10-10110 1
11011111 1
01011111 1
10011111 1
11101111 1
01101111 1
10101111 1
01110111 1
10110111 1
11010111 1
10000111 1
01111101 1
10111101 1
11011101 1
11101101 1
01001101 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _120gat_7_ _273gat_16_ \
_86gat_5_ _103gat_6_ n_n4134
001--01- 1
010--0-1 1
01---001 1
--0101-0 1
1-0-10-0 1
--100-10 1
0-1--010 1
--1-0010 1
---10100 1
1---1000 1
000111-- 1
000101-- 1
00100-1- 1
00-1110- 1
00-1010- 1
01000--1 1
100-10-1 1
11-00-01 1
01-00-01 1
10--1001 1
11--0001 1
0--11100 1
1--01100 1
0010111- 1
11100-11 1
110-1011 1
111-0011 1
101-0011 1
10-11101 1
11-01101 1
01-01101 1
10-10101 1
100011-0 1
11011111 1
01011111 1
10011111 1
11101111 1
01101111 1
10101111 1
01110111 1
10110111 1
11010111 1
10000111 1
01111110 1
10111110 1
11011110 1
11101110 1
01001110 1
.names _171gat_10_ _443gat_26_ [326]
0- 1
-0 1
.names n_n3273 [281] [311] n_n3401 [326] n_n3307 n_n3308 n_n3400 n_n3075
100--11- 1
110--01- 1
110--10- 1
100--00- 1
10-1011- 1
-001011- 1
11-1001- 1
-101001- 1
11-1010- 1
-101010- 1
10-1000- 1
-001000- 1
10-1-111 1
-001-111 1
10--0111 1
-00-0111 1
11-1-011 1
-101-011 1
11--0011 1
-10-0011 1
11-1-101 1
-101-101 1
11--0101 1
-10-0101 1
10-1-001 1
-001-001 1
10--0001 1
-00-0001 1
01-0-110 1
00-0-010 1
00-0-100 1
01-0-000 1
0111011- 1
0011001- 1
0011010- 1
0111000- 1
0111-111 1
01-01111 1
011-0111 1
0011-011 1
00-01011 1
001-0011 1
0011-101 1
00-01101 1
001-0101 1
0111-001 1
01-01001 1
011-0001 1
1110-110 1
01-11110 1
1010-010 1
00-11010 1
1010-100 1
00-11100 1
1110-000 1
01-11000 1
11101111 1
10101011 1
10101101 1
11101001 1
11111110 1
10111010 1
10111100 1
11111000 1
.names _171gat_10_ _477gat_28_ [457]
0- 1
-0 1
.names n_n3156 n_n3155 [457] n_n3026 [341] n_n2970 [426] [455] n_n2738
---11110 1
---10010 1
---10100 1
---11000 1
11-1111- 1
1-01111- 1
-101111- 1
00-0011- 1
00-0101- 1
11-1001- 1
1-01001- 1
-101001- 1
00-0110- 1
11-1010- 1
1-01010- 1
-101010- 1
11-1100- 1
1-01100- 1
-101100- 1
00-0000- 1
11--1110 1
1-0-1110 1
-10-1110 1
11--0010 1
1-0-0010 1
-10-0010 1
11--0100 1
1-0-0100 1
-10-0100 1
11--1000 1
1-0-1000 1
-10-1000 1
0110011- 1
1010011- 1
0110101- 1
1010101- 1
0110110- 1
1010110- 1
0110000- 1
1010000- 1
00-10111 1
11-00111 1
1-000111 1
-1000111 1
00-11011 1
11-01011 1
1-001011 1
-1001011 1
00-11101 1
11-01101 1
1-001101 1
-1001101 1
00-10001 1
11-00001 1
1-000001 1
-1000001 1
01110111 1
10110111 1
01111011 1
10111011 1
01111101 1
10111101 1
01110001 1
10110001 1
.names _69gat_4_ _52gat_3_ _477gat_28_ _494gat_29_ n_n2959 n_n2982 n_n2994 \
n_n2984 n_n2676
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0101 1
-00-0101 1
--000101 1
00--1001 1
-00-1001 1
--001001 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
--000110 1
00--1010 1
-00-1010 1
--001010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
0--01100 1
--001100 1
11111-11 1
01101-11 1
1111-111 1
0110-111 1
101-0111 1
-1010111 1
101-1011 1
-1011011 1
101-0011 1
01-10011 1
-1010011 1
1-100011 1
01111-01 1
11101-01 1
0111-101 1
1110-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
01111-10 1
11101-10 1
0111-110 1
1110-110 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
11111-00 1
01101-00 1
1111-100 1
0110-100 1
101-0100 1
-1010100 1
101-1000 1
-1011000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11110010 1
.names _375gat_22_ _18gat_1_ _392gat_23_ _35gat_2_ n_n3848 n_n3868 n_n3849 \
n_n3870 n_n3578
111-1--- 1
111--1-- 1
-11-11-- 1
011---01 1
-110--01 1
0---1101 1
---01101 1
011---10 1
-110--10 1
0---1110 1
---01110 1
1111--11 1
11-11-11 1
11-1-111 1
1--11111 1
11-01-01 1
11-0-101 1
11-01-10 1
11-0-110 1
1111--00 1
11-11-00 1
11-1-100 1
1--11100 1
.names _375gat_22_ _392gat_23_ _171gat_10_ _154gat_9_ n_n3890 n_n3858 n_n3893 \
n_n3899 n_n3626
11-11--- 1
11-1-1-- 1
-1-111-- 1
01-1--01 1
-101--01 1
0---1101 1
--0-1101 1
01-1--10 1
-101--10 1
0---1110 1
--0-1110 1
1111--11 1
1-111-11 1
1-11-111 1
1-1-1111 1
1-011-01 1
1-01-101 1
1-011-10 1
1-01-110 1
1111--00 1
1-111-00 1
1-11-100 1
1-1-1100 1
.names _358gat_21_ _120gat_7_ _103gat_6_ _341gat_20_ n_n4137 n_n4136 n_n4164 \
n_n4167 n_n3881
1-11-1-- 1
1-11--1- 1
1-1--11- 1
101-0--1 1
1-100--1 1
-0--0111 1
---00111 1
101-1--0 1
1-101--0 1
-0--1110 1
---01110 1
11111--1 1
-11111-1 1
-01101-1 1
-1111-11 1
-0110-11 1
-1-11111 1
11110--0 1
-01111-0 1
-11101-0 1
-0111-10 1
-1110-10 1
-1-10110 1
.names _137gat_8_ _358gat_21_ _120gat_7_ _341gat_20_ n_n4137 n_n4138 n_n4170 \
n_n4167 n_n3853
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
0-0-0011 1
-0-00011 1
--000011 1
0-0-0101 1
-0-00101 1
--000101 1
00--1001 1
0-0-1001 1
-0-01001 1
--001001 1
0-0-1010 1
-0-01010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
0-0-1100 1
-0-01100 1
--001100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
1111111- 1
0011111- 1
0111101- 1
1011101- 1
0111110- 1
1011110- 1
1111100- 1
0011100- 1
1111-111 1
0011-111 1
1-010111 1
-1100111 1
0111-011 1
1011-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
0111-101 1
1011-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
1111-001 1
0011-001 1
1-010001 1
-1100001 1
1-011110 1
-1101110 1
011-0110 1
10-10110 1
1-010110 1
-1100110 1
1-011000 1
-1101000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11110100 1
.names _1gat_0_ _18gat_1_ _358gat_21_ _341gat_20_ n_n4147 n_n4130 n_n4131 \
n_n4149 n_n3866
1-111--- 1
1-11-1-- 1
1-1-11-- 1
101---01 1
1-10--01 1
-0--1101 1
---01101 1
101---10 1
1-10--10 1
-0--1110 1
---01110 1
1111--11 1
11-11-11 1
11-1-111 1
-1-11111 1
10-11-01 1
10-1-101 1
10-11-10 1
10-1-110 1
1111--00 1
11-11-00 1
11-1-100 1
-1-11100 1
.names _358gat_21_ _69gat_4_ _341gat_20_ _52gat_3_ n_n4158 n_n4133 n_n4134 \
n_n4155 n_n3849
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
0-0-0011 1
-0-00011 1
--000011 1
00--0101 1
0-0-0101 1
-0-00101 1
--000101 1
0-0-1001 1
-0-01001 1
--001001 1
0-0-0110 1
-0-00110 1
--000110 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
0-0-1100 1
-0-01100 1
--001100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
0011111- 1
0111011- 1
1011011- 1
0111110- 1
1011110- 1
1111010- 1
0011010- 1
11111-11 1
00111-11 1
01110-11 1
10110-11 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
1-011011 1
-1101011 1
01111-01 1
10111-01 1
11110-01 1
00110-01 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
1-010001 1
-1100001 1
1-011110 1
-1101110 1
011-1010 1
10-11010 1
1-011010 1
-1101010 1
1-010100 1
-1100100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11111000 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _35gat_2_ _273gat_16_ _86gat_5_ \
_69gat_4_ _52gat_3_ n_n4131
00110--- 1
010-0--1 1
01-00--1 1
0-110--0 1
1-0-0-10 1
1--00-10 1
--110-00 1
--0-1100 1
---01100 1
--11-000 1
000-111- 1
00-0111- 1
000-110- 1
00-0110- 1
0011-00- 1
100-0-11 1
10-00-11 1
11-00-01 1
010--001 1
11-0-001 1
01-0-001 1
0--01110 1
1--01010 1
0011101- 1
11010-11 1
10-01111 1
11-01011 1
01-01011 1
11110-01 1
10110-01 1
10-01101 1
1111-001 1
100-1010 1
11011111 1
01011111 1
10011111 1
11111011 1
01111011 1
10111011 1
01111101 1
10111101 1
11011101 1
10011001 1
01111110 1
10111110 1
11011110 1
11111010 1
01011010 1
.names _188gat_11_ _460gat_27_ _477gat_28_ n_n3179 n_n3307 n_n3308 n_n3026
0--011 1
--0011 1
0--101 1
0--110 1
0--100 1
--0100 1
11111- 1
11001- 1
1111-1 1
1100-1 1
1-1111 1
-00101 1
-00110 1
1-1000 1
101001 1
101010 1
.names _120gat_7_ _460gat_27_ _103gat_6_ _443gat_26_ n_n3301 n_n3291 n_n3325 \
n_n3324 n_n3019
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
0-0-0101 1
-0-00101 1
--000101 1
0-0-1001 1
-0-01001 1
--001001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
0-0-0110 1
-0-00110 1
--000110 1
0-0-1010 1
-0-01010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
00111-11 1
1111-111 1
0011-111 1
1-010111 1
-1100111 1
1-011011 1
-1101011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
01111-01 1
10111-01 1
0111-101 1
1011-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
01111-10 1
10111-10 1
0111-110 1
1011-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
00111-00 1
1111-100 1
0011-100 1
1-010100 1
-1100100 1
1-011000 1
-1101000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names _86gat_5_ _69gat_4_ _460gat_27_ _443gat_26_ n_n3266 n_n3289 n_n3287 \
n_n3264 n_n2959
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
00--0101 1
-0-00101 1
--000101 1
00--1001 1
-0-01001 1
--001001 1
00--0110 1
-0-00110 1
--000110 1
00--1010 1
-0-01010 1
--001010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
0101111- 1
0111011- 1
1101011- 1
0111101- 1
1101101- 1
1111001- 1
0101001- 1
111111-1 1
010111-1 1
011101-1 1
110101-1 1
011110-1 1
110110-1 1
111100-1 1
010100-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
10-11101 1
-1101101 1
10-10001 1
-1100001 1
10-11110 1
-1101110 1
10-10010 1
-1100010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names _86gat_5_ _103gat_6_ _477gat_28_ _494gat_29_ n_n3019 n_n3018 n_n3042 \
n_n3041 n_n2731
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
--001001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
--000110 1
00--1010 1
0-0-1010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
10101-11 1
1111-111 1
1010-111 1
011-0111 1
1-010111 1
011-1011 1
1-011011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
10111-01 1
11101-01 1
1011-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
10111-10 1
11101-10 1
1011-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
10101-00 1
1111-100 1
1010-100 1
011-0100 1
1-010100 1
011-1000 1
1-011000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names _511gat_30_ _171gat_10_ [341]
0- 1
-0 1
.names _511gat_30_ _205gat_12_ _477gat_28_ _494gat_29_ n_n3202 n_n3203 n_n3078 \
n_n2947 n_n2790
11-1--11 1
-0--0111 1
-0--1011 1
-0--0011 1
-0--1101 1
-0--0101 1
-0--1001 1
0---0001 1
-0--0001 1
01-1--10 1
0---1110 1
-0--1110 1
11111--1 1
1111-1-1 1
11-111-1 1
111-1-11 1
111--111 1
11--1111 1
0--00011 1
0--01101 1
0-0-0101 1
0-0-1001 1
01111--0 1
0111-1-0 1
01-111-0 1
011-1-10 1
011--110 1
11--0000 1
0-000111 1
0-001011 1
01101-01 1
0110-101 1
11-00010 1
11101-00 1
1110-100 1
11-01100 1
110-0100 1
110-1000 1
11000110 1
11001010 1
.names _375gat_22_ _392gat_23_ _35gat_2_ _52gat_3_ n_n3872 n_n3850 n_n3849 \
n_n3870 n_n3556
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
--001001 1
00--0110 1
0-0-0110 1
--000110 1
00--1010 1
0-0-1010 1
--001010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
011-1101 1
1-011101 1
011-0001 1
1-010001 1
011-1110 1
1-011110 1
011-0010 1
1-010010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names _392gat_23_ _222gat_13_ [345]
0- 1
-0 1
.names n_n3922 [347] n_n3969 [381] [274] n_n4082 n_n4081 [345] n_n3697
1110---1 1
0010---1 1
0110---0 1
1010---0 1
111-01-1 1
001-01-1 1
11-001-1 1
00-001-1 1
111-0-11 1
001-0-11 1
11-00-11 1
00-00-11 1
111--111 1
001--111 1
11-0-111 1
00-0-111 1
010--001 1
100--001 1
011-01-0 1
101-01-0 1
01-001-0 1
10-001-0 1
011-0-10 1
101-0-10 1
01-00-10 1
10-00-10 1
011--110 1
101--110 1
01-0-110 1
10-0-110 1
110--000 1
000--000 1
010101-1 1
100101-1 1
01010-11 1
10010-11 1
0101-111 1
1001-111 1
010-1011 1
100-1011 1
010-1101 1
100-1101 1
0111-001 1
1011-001 1
110101-0 1
000101-0 1
11010-10 1
00010-10 1
1101-110 1
0001-110 1
110-1010 1
000-1010 1
110-1100 1
000-1100 1
1111-000 1
0011-000 1
01111011 1
10111011 1
01111101 1
10111101 1
11111010 1
00111010 1
11111100 1
00111100 1
.names _358gat_21_ _120gat_7_ _103gat_6_ _341gat_20_ n_n4137 n_n4136 n_n4164 \
n_n4167 n_n3852
00--1111 1
-00-1111 1
0--01111 1
--001111 1
-00-0011 1
0--00011 1
--000011 1
-00-0101 1
0--00101 1
--000101 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
0--00110 1
--000110 1
-00-1010 1
0--01010 1
--001010 1
-00-1100 1
0--01100 1
--001100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
111111-1 1
001111-1 1
011101-1 1
101101-1 1
11111-11 1
00111-11 1
01110-11 1
10110-11 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
-1011011 1
1-101011 1
-1011101 1
1-101101 1
101-1001 1
01-11001 1
-1011001 1
1-101001 1
011111-0 1
101111-0 1
111101-0 1
001101-0 1
01111-10 1
10111-10 1
11110-10 1
00110-10 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
-1010010 1
1-100010 1
-1010100 1
1-100100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11111000 1
.names n_n3504 [398] n_n3549 [301] [355] n_n3676 [392] n_n3675 n_n3307
01----0- 1
10----0- 1
--10--0- 1
0110---- 1
1010---- 1
--1-010- 1
---0010- 1
--1-0-01 1
---00-01 1
--1--101 1
---0-101 1
011-01-- 1
101-01-- 1
01-001-- 1
10-001-- 1
011-0--1 1
101-0--1 1
01-00--1 1
10-00--1 1
011--1-1 1
101--1-1 1
01-0-1-1 1
10-0-1-1 1
.names _205gat_12_ _426gat_25_ _443gat_26_ n_n3460 n_n3570 [325] n_n3719 \
n_n3718 n_n3308
11111--- 1
11001--- 1
0--11111 1
0--10111 1
--010111 1
0--01011 1
--001011 1
0--10011 1
0--01101 1
--001101 1
0--10101 1
0--11001 1
0--10001 1
--010001 1
0--01110 1
--001110 1
0--10110 1
0--11010 1
0--10010 1
--010010 1
0--11100 1
0--10100 1
--010100 1
0--01000 1
--001000 1
0--10000 1
-0011111 1
1-100111 1
1111-011 1
1100-011 1
1-111011 1
-0010011 1
1111-101 1
1100-101 1
1-111101 1
-0010101 1
-0011001 1
1-100001 1
1111-110 1
1100-110 1
1-111110 1
-0010110 1
-0011010 1
1-100010 1
-0011100 1
1-100100 1
1111-000 1
1100-000 1
1-111000 1
-0010000 1
10101111 1
10100011 1
10100101 1
10101001 1
10100110 1
10101010 1
10101100 1
10100000 1
.names _86gat_5_ _460gat_27_ _103gat_6_ _443gat_26_ n_n3266 n_n3289 n_n3301 \
n_n3291 n_n3018
11-11--- 1
11-1-1-- 1
11--11-- 1
110---01 1
11-0--01 1
--0-1101 1
---01101 1
110---10 1
11-0--10 1
--0-1110 1
---01110 1
1111--11 1
1-111-11 1
1-11-111 1
--111111 1
1-011-01 1
1-01-101 1
1-011-10 1
1-01-110 1
1111--00 1
1-111-00 1
1-11-100 1
--111100 1
.names _86gat_5_ _69gat_4_ _477gat_28_ _494gat_29_ n_n3019 n_n3018 n_n2994 \
n_n2984 n_n2704
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
0--00011 1
--000011 1
00--0101 1
-00-0101 1
--000101 1
00--1001 1
-00-1001 1
--001001 1
00--0110 1
-00-0110 1
--000110 1
00--1010 1
-00-1010 1
--001010 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
1111111- 1
0110111- 1
0111011- 1
1110011- 1
0111101- 1
1110101- 1
1111001- 1
0110001- 1
111111-1 1
011011-1 1
011101-1 1
111001-1 1
011110-1 1
111010-1 1
111100-1 1
011000-1 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
101-1101 1
-1011101 1
101-0001 1
-1010001 1
101-1110 1
-1011110 1
101-0010 1
-1010010 1
101-1100 1
01-11100 1
-1011100 1
1-101100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110100 1
11111000 1
.names _69gat_4_ _52gat_3_ _477gat_28_ _494gat_29_ n_n2959 n_n2982 n_n2994 \
n_n2984 n_n2703
-1111--- 1
-111-1-- 1
-1-111-- 1
01-1--01 1
-101--01 1
0---1101 1
--0-1101 1
01-1--10 1
-101--10 1
0---1110 1
--0-1110 1
1111--11 1
111-1-11 1
111--111 1
1-1-1111 1
011-1-01 1
011--101 1
011-1-10 1
011--110 1
1111--00 1
111-1-00 1
111--100 1
1-1-1100 1
.names _375gat_22_ _392gat_23_ _171gat_10_ _188gat_11_ n_n3893 n_n3899 n_n3917 \
n_n3918 n_n3627
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
--001001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
0-0-0110 1
--000110 1
00--1010 1
0-0-1010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
-0-01100 1
--001100 1
11111-11 1
10101-11 1
1111-111 1
1010-111 1
011-0111 1
1-010111 1
011-1011 1
1-011011 1
011-0011 1
10-10011 1
1-010011 1
-1100011 1
10111-01 1
11101-01 1
1011-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
10111-10 1
11101-10 1
1011-110 1
1110-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
11111-00 1
10101-00 1
1111-100 1
1010-100 1
011-0100 1
1-010100 1
011-1000 1
1-011000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110010 1
.names _358gat_21_ _35gat_2_ _341gat_20_ _52gat_3_ n_n4132 n_n4133 n_n4152 \
n_n4155 n_n3870
111-1--- 1
111---1- 1
11--1-1- 1
110--0-1 1
11-0-0-1 1
--0-1011 1
---01011 1
110--1-0 1
11-0-1-0 1
--0-1110 1
---01110 1
1111-1-1 1
-11111-1 1
-11010-1 1
-111-111 1
--111111 1
-110-011 1
-11011-0 1
1111-0-0 1
-11110-0 1
-110-110 1
-111-010 1
--111010 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_341gat_20_ _222gat_13_ n_n4062
---00-11 1
00101-0- 1
001-100- 1
01-1000- 1
0000--11 1
-1101-11 1
000--011 1
00--0011 1
11101--0 1
01101--0 1
10101--0 1
00101--0 1
11-101-0 1
01-101-0 1
001-10-0 1
11-100-0 1
01-100-0 1
0011110- 1
0101100- 1
1010100- 1
1101000- 1
01001-11 1
11110-11 1
0001-111 1
1-101111 1
11-10111 1
00-10111 1
01111-01 1
11001-01 1
10110-01 1
111111-0 1
001111-0 1
010111-0 1
100111-0 1
111110-0 1
101110-0 1
010110-0 1
11111111 1
10111111 1
01011111 1
10001111 1
01110111 1
10010111 1
11111011 1
10111011 1
11011011 1
10011011 1
10001011 1
10010011 1
11011101 1
10011101 1
01010101 1
.names _375gat_22_ _188gat_11_ [454]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _273gat_16_ _86gat_5_ _69gat_4_ \
_103gat_6_ _52gat_3_ n_n4155
01111--1 1
10101--1 1
1111-1-1 1
1110-1-1 1
0110-1-1 1
111-01-1 1
1-1101-1 1
11-001-1 1
-11001-1 1
-11110-1 1
1-1010-1 1
0011--11 1
-0110-11 1
0-11-011 1
--110011 1
011--101 1
11--0101 1
-11-0101 1
1-1-1001 1
10-10111 1
01-11011 1
11-11101 1
01-11101 1
11-11001 1
10111111 1
.names _18gat_1_ _409gat_24_ _35gat_2_ _426gat_25_ n_n3580 n_n3557 n_n3578 \
n_n3556 n_n3281
11-1--1- 1
11-1---1 1
1--1--11 1
10-101-- 1
1-0101-- 1
10-110-- 1
1-0110-- 1
-0--0111 1
--0-0111 1
-0--1011 1
--0-1011 1
111111-- 1
111100-- 1
111-111- 1
110-011- 1
110-101- 1
111-001- 1
111-11-1 1
110-01-1 1
110-10-1 1
111-00-1 1
-11-1111 1
-11-0011 1
.names _171gat_10_ _460gat_27_ _443gat_26_ _154gat_9_ n_n3401 n_n3378 n_n3379 \
n_n3400 n_n3096
00--1111 1
-00-1111 1
0--01111 1
--001111 1
-00-0011 1
0--00011 1
--000011 1
-00-0101 1
0--00101 1
--000101 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
0--00110 1
--000110 1
-00-1010 1
0--01010 1
--001010 1
-00-1100 1
0--01100 1
--001100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
111111-1 1
001111-1 1
011101-1 1
101101-1 1
11111-11 1
00111-11 1
01110-11 1
10110-11 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
-1011011 1
1-101011 1
-1011101 1
1-101101 1
101-1001 1
01-11001 1
-1011001 1
1-101001 1
011111-0 1
101111-0 1
111101-0 1
001101-0 1
01111-10 1
10111-10 1
11110-10 1
00110-10 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
-1010010 1
1-100010 1
-1010100 1
1-100100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11111000 1
.names _137gat_8_ _460gat_27_ _443gat_26_ _154gat_9_ n_n3349 n_n3348 n_n3378 \
n_n3379 n_n3071
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-1100 1
-00-1100 1
0--01100 1
-0-01100 1
11111-11 1
10101-11 1
1111-111 1
1010-111 1
110-0111 1
0-110111 1
110-1011 1
0-111011 1
110-0011 1
0-110011 1
-0110011 1
11-00011 1
10111-01 1
11101-01 1
1011-101 1
1110-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
10111-10 1
11101-10 1
1011-110 1
1110-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
11111-00 1
10101-00 1
1111-100 1
1010-100 1
110-0100 1
0-110100 1
110-1000 1
0-111000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110010 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3988 \
n_n3719
--1010 1
11111- 1
0101-1 1
001-11 1
1-1111 1
0-1011 1
1-0011 1
01-101 1
10-101 1
1001-0 1
001-10 1
11-100 1
10-100 1
011110 1
.names _375gat_22_ _205gat_12_ [378]
0- 1
-0 1
.names [388] [263] n_n4005 [274] n_n4182 n_n4185 n_n4062 [378] n_n3793
0-11--11 1
0-00--11 1
0-01--10 1
0-10--10 1
00111--1 1
00001--1 1
0011-1-1 1
0000-1-1 1
0-1111-1 1
0-0011-1 1
-0111-11 1
-0001-11 1
-011-111 1
-000-111 1
--111111 1
--001111 1
--010001 1
--100001 1
00011--0 1
00101--0 1
0001-1-0 1
0010-1-0 1
0-0111-0 1
0-1011-0 1
-0011-10 1
-0101-10 1
-001-110 1
-010-110 1
--011110 1
--101110 1
--110000 1
--000000 1
1-010011 1
1-100011 1
10011-01 1
10101-01 1
1001-101 1
1010-101 1
1-011101 1
1-101101 1
-1010101 1
-1100101 1
-1011001 1
-1101001 1
1-110010 1
1-000010 1
10111-00 1
10001-00 1
1011-100 1
1000-100 1
1-111100 1
1-001100 1
-1110100 1
-1000100 1
-1111000 1
-1001000 1
11010111 1
11100111 1
11011011 1
11101011 1
11110110 1
11000110 1
11111010 1
11001010 1
.names _290gat_17_ _18gat_1_ _307gat_18_ _324gat_19_ _35gat_2_ _273gat_16_ \
_69gat_4_ _52gat_3_ n_n4149
111111-- 1
111110-- 1
011110-- 1
0101-11- 1
01-1011- 1
01111-0- 1
0111-1-1 1
-11101-1 1
1101-0-1 1
11-100-1 1
11-10-01 1
11111--0 1
11-111-0 1
111-10-0 1
-11110-0 1
-101-110 1
-1-10110 1
111-1-00 1
-1111-00 1
011-0111 1
111-1101 1
011-1101 1
111-0101 1
110-1110 1
11011111 1
.names _409gat_24_ _171gat_10_ _188gat_11_ _426gat_25_ n_n3647 n_n3608 n_n3648 \
n_n3400
11-11-- 1
01-1-0- 1
-101-0- 1
11-1--1 1
-1-11-1 1
0---101 1
--0-101 1
1111-1- 1
111-11- 1
110-10- 1
111--11 1
1-1-111 1
110--01 1
.names _409gat_24_ _86gat_5_ _103gat_6_ _426gat_25_ n_n3562 n_n3586 n_n3563 \
n_n3589 n_n3264
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0101 1
-00-0101 1
0--00101 1
00--1001 1
-00-1001 1
0--01001 1
00--0001 1
-00-0001 1
0--00001 1
--000001 1
00--0110 1
-00-0110 1
0--00110 1
00--1010 1
-00-1010 1
0--01010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
0--01100 1
--001100 1
11111-11 1
11001-11 1
1111-111 1
1100-111 1
101-0111 1
01-10111 1
101-1011 1
01-11011 1
101-0011 1
01-10011 1
-1010011 1
1-100011 1
11011-01 1
11101-01 1
1101-101 1
1110-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
11011-10 1
11101-10 1
1101-110 1
1110-110 1
101-1110 1
01-11110 1
-1011110 1
1-101110 1
11111-00 1
11001-00 1
1111-100 1
1100-100 1
101-0100 1
01-10100 1
101-1000 1
01-11000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110001 1
11110010 1
.names _137gat_8_ _460gat_27_ _443gat_26_ _154gat_9_ n_n3349 n_n3348 n_n3378 \
n_n3379 n_n3095
111-1--- 1
111--1-- 1
11--11-- 1
110---01 1
11-0--01 1
--0-1101 1
---01101 1
110---10 1
11-0--10 1
--0-1110 1
---01110 1
1111--11 1
1-111-11 1
1-11-111 1
--111111 1
1-101-01 1
1-10-101 1
1-101-10 1
1-10-110 1
1111--00 1
1-111-00 1
1-11-100 1
--111100 1
.names _511gat_30_ _188gat_11_ _494gat_29_ n_n3202 n_n3203 n_n3048 [295] \
n_n2922 n_n2766
111--1-1 1
011--1-0 1
-0-11111 1
-0-00111 1
0--11011 1
-0-11011 1
-0-01011 1
-0-10011 1
0--00011 1
-0-00011 1
-0-01101 1
-0-10101 1
-0-11001 1
0--01001 1
-0-01001 1
0--10001 1
-0-10001 1
-0-00001 1
0--01110 1
-0-01110 1
0--10110 1
-0-10110 1
0--11100 1
-0-11100 1
0--00100 1
-0-00100 1
11101-11 1
11110-11 1
0-011111 1
11-01111 1
11-10111 1
0-000111 1
0-001011 1
0-010011 1
11111-01 1
11100-01 1
11-11101 1
0-001101 1
0-010101 1
11-00101 1
0-011001 1
0-000001 1
01101-10 1
01110-10 1
11-11010 1
11-00010 1
01111-00 1
01100-00 1
11-01000 1
11-10000 1
11011110 1
11000110 1
11001010 1
11010010 1
11001100 1
11010100 1
11011000 1
11000000 1
.names n_n3156 n_n3155 [457] n_n3026 [341] n_n2970 [426] [455] n_n2765
----001- 1
----010- 1
---10--0 1
11-10--- 1
1-010--- 1
-1010--- 1
11--0--0 1
1-0-0--0 1
-10-0--0 1
---1-010 1
---1-100 1
11-1-01- 1
1-01-01- 1
-101-01- 1
11-1-10- 1
1-01-10- 1
-101-10- 1
11---010 1
1-0--010 1
-10--010 1
11---100 1
1-0--100 1
-10--100 1
.names _375gat_22_ _358gat_21_ _222gat_13_ n_n3969 n_n4082 n_n4081 n_n3823
0--011 1
--0011 1
--0101 1
--0110 1
0--100 1
--0100 1
11111- 1
01101- 1
1111-1 1
0110-1 1
1-1111 1
00-101 1
00-110 1
1-1000 1
101001 1
101010 1
.names _409gat_24_ _35gat_2_ _52gat_3_ _426gat_25_ n_n3580 n_n3558 n_n3582 \
n_n3557 n_n3261
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
0--00011 1
00--0101 1
-00-0101 1
0--00101 1
00--1001 1
-00-1001 1
0--01001 1
--001001 1
00--1010 1
-00-1010 1
0--01010 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
0--01100 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
1111111- 1
1100111- 1
1101101- 1
1110101- 1
1101110- 1
1110110- 1
1111100- 1
1100100- 1
1111-111 1
1100-111 1
101-0111 1
01-10111 1
1101-011 1
1110-011 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
1101-101 1
1110-101 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
1111-001 1
1100-001 1
101-0001 1
01-10001 1
101-1110 1
01-11110 1
101-0110 1
01-10110 1
-1010110 1
1-100110 1
101-1000 1
01-11000 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110010 1
11110100 1
.names _409gat_24_ _69gat_4_ _52gat_3_ _426gat_25_ n_n3584 n_n3560 n_n3558 \
n_n3582 n_n3285
1-11--1- 1
1-11---1 1
--11--11 1
0-1101-- 1
-01101-- 1
0-1110-- 1
-01110-- 1
0---0111 1
-0--0111 1
0---1011 1
-0--1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
11--1111 1
11--0011 1
.names _409gat_24_ _86gat_5_ _69gat_4_ _426gat_25_ n_n3562 n_n3586 n_n3584 \
n_n3560 n_n3263
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0011 1
-00-0011 1
0--00011 1
-0-00011 1
0-0-0101 1
-00-0101 1
0--00101 1
0-0-1001 1
-00-1001 1
0--01001 1
0-0-0110 1
-00-0110 1
0--00110 1
0-0-1010 1
-00-1010 1
0--01010 1
0-0-0100 1
-00-0100 1
0--00100 1
-0-00100 1
0-0-1000 1
-00-1000 1
0--01000 1
-0-01000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
110-0111 1
0-110111 1
-0110111 1
11-00111 1
110-1011 1
0-111011 1
-0111011 1
11-01011 1
110-1101 1
0-111101 1
110-0001 1
0-110001 1
110-1110 1
0-111110 1
110-0010 1
0-110010 1
110-1100 1
0-111100 1
-0111100 1
11-01100 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110100 1
11111000 1
.names _35gat_2_ _52gat_3_ _477gat_28_ _494gat_29_ n_n2959 n_n2982 n_n2980 \
n_n2958 n_n2644
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
--001001 1
00--0110 1
0-0-0110 1
--000110 1
00--1010 1
0-0-1010 1
--001010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
1010111- 1
1011011- 1
1110011- 1
1011101- 1
1110101- 1
1111001- 1
1010001- 1
111111-1 1
101011-1 1
101101-1 1
111001-1 1
101110-1 1
111010-1 1
111100-1 1
101000-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
011-1101 1
1-011101 1
011-0001 1
1-010001 1
011-1110 1
1-011110 1
011-0010 1
1-010010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names _375gat_22_ _392gat_23_ _188gat_11_ n_n3917 n_n3918 n_n3793 n_n3648
--0011 1
--0101 1
-0-001 1
--0001 1
-0-110 1
--0110 1
1111-1 1
111-11 1
-11111 1
00-011 1
00-101 1
1011-0 1
101-10 1
-11000 1
011010 1
011100 1
.names [388] [263] n_n4005 [274] n_n4182 n_n4185 n_n4062 [378] n_n3822
--01---0 1
--10---0 1
0-----10 1
0-01--1- 1
0-10--1- 1
00--1--0 1
00---1-0 1
0---11-0 1
-0--1-10 1
-0---110 1
----1110 1
00011--- 1
00101--- 1
0001-1-- 1
0010-1-- 1
0-0111-- 1
0-1011-- 1
-0011-1- 1
-0101-1- 1
-001-11- 1
-010-11- 1
--01111- 1
--10111- 1
.names _188gat_11_ _443gat_26_ [392]
0- 1
-0 1
.names _18gat_1_ _409gat_24_ _35gat_2_ _426gat_25_ n_n3580 n_n3557 n_n3578 \
n_n3556 n_n3259
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
00--0101 1
0-0-0101 1
-0-00101 1
00--1001 1
0-0-1001 1
-0-01001 1
00--0110 1
0-0-0110 1
-0-00110 1
00--1010 1
0-0-1010 1
-0-01010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
1100111- 1
1101011- 1
1110011- 1
1101101- 1
1110101- 1
1111001- 1
1100001- 1
111111-1 1
110011-1 1
110101-1 1
111001-1 1
110110-1 1
111010-1 1
111100-1 1
110000-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
011-1101 1
10-11101 1
011-0001 1
10-10001 1
011-1110 1
10-11110 1
011-0010 1
10-10010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names _18gat_1_ _511gat_30_ [395]
0- 1
-0 1
.names _35gat_2_ _52gat_3_ _477gat_28_ _494gat_29_ n_n2959 n_n2982 n_n2980 \
n_n2958 n_n2668
1-11--1- 1
1-11---1 1
1--1--11 1
10-101-- 1
1-0101-- 1
10-110-- 1
1-0110-- 1
-0--0111 1
--0-0111 1
-0--1011 1
--0-1011 1
111111-- 1
111100-- 1
111-111- 1
101-011- 1
101-101- 1
111-001- 1
111-11-1 1
101-01-1 1
101-10-1 1
111-00-1 1
-11-1111 1
-11-0011 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _137gat_8_ _171gat_10_ _120gat_7_ \
_273gat_16_ _154gat_9_ n_n4167
011101-- 1
1111-11- 1
001-111- 1
0-10111- 1
1111-10- 1
0111-10- 1
1-1001-1 1
011--111 1
-110-111 1
101--101 1
1-10-101 1
1111-1-0 1
11-101-0 1
-11101-0 1
1-11-110 1
-01-1110 1
--101110 1
11-1-100 1
-111-100 1
01-01111 1
11-10111 1
01-10111 1
11-00111 1
10-11110 1
10111111 1
.names _18gat_1_ _35gat_2_ _477gat_28_ _494gat_29_ n_n2978 n_n2980 n_n2958 \
n_n2956 n_n2643
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
--000011 1
00--0101 1
0-0-0101 1
--000101 1
00--1001 1
0-0-1001 1
-0-01001 1
--001001 1
00--1010 1
0-0-1010 1
--001010 1
00--0010 1
0-0-0010 1
-0-00010 1
--000010 1
00--1100 1
0-0-1100 1
--001100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
1111111- 1
1010111- 1
1011101- 1
1110101- 1
1011110- 1
1110110- 1
1111100- 1
1010100- 1
1111-111 1
1010-111 1
011-0111 1
1-010111 1
1011-011 1
1110-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
1011-101 1
1110-101 1
011-1101 1
10-11101 1
1-011101 1
-1101101 1
1111-001 1
1010-001 1
011-0001 1
1-010001 1
011-1110 1
1-011110 1
011-0110 1
10-10110 1
1-010110 1
-1100110 1
011-1000 1
1-011000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110010 1
11110100 1
.names _392gat_23_ _188gat_11_ [423]
0- 1
-0 1
.names _69gat_4_ _460gat_27_ _52gat_3_ _443gat_26_ n_n3287 n_n3264 n_n3285 \
n_n3263 n_n2982
-111--1- 1
-111---1 1
-11---11 1
011-01-- 1
-11001-- 1
011-10-- 1
-11010-- 1
0---0111 1
---00111 1
0---1011 1
---01011 1
111111-- 1
111100-- 1
1-11111- 1
0-11011- 1
0-11101- 1
1-11001- 1
1-1111-1 1
0-1101-1 1
0-1110-1 1
1-1100-1 1
1--11111 1
1--10011 1
.names _460gat_27_ _222gat_13_ _477gat_28_ _494gat_29_ n_n3355 n_n3356 n_n3233 \
n_n3103 n_n2947
-111--11 1
-0--0111 1
-0--1011 1
-0--0011 1
-0--1101 1
-0--0101 1
-0--1001 1
-0--0001 1
---00001 1
-110--10 1
-0--1110 1
---01110 1
11111--1 1
1111-1-1 1
-11111-1 1
11-11-11 1
11-1-111 1
-1-11111 1
--000011 1
--001101 1
0--00101 1
0--01001 1
11101--0 1
1110-1-0 1
-11011-0 1
11-01-10 1
11-0-110 1
-1-10000 1
0-000111 1
0-001011 1
11001-01 1
1100-101 1
-1010010 1
11011-00 1
1101-100 1
-1011100 1
01-10100 1
01-11000 1
01010110 1
01011010 1
.names _511gat_30_ _188gat_11_ [425]
0- 1
-0 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _426gat_25_ _443gat_26_ \
_494gat_29_ n_n3506 n_n2926
0------0 1
00-----1 1
0----0-1 1
11-1--1- 1
111--11- 1
010--1-1 1
1110-10- 1
0110-1-1 1
111-1-11 1
--000001 1
--000000 1
1100110- 1
1-111111 1
11101-01 1
0111-101 1
1100-101 1
1-101101 1
1-001101 1
1-011001 1
1-001001 1
1-010001 1
1-100001 1
1-010100 1
1-000100 1
1-011000 1
1-101000 1
1-001000 1
1-010000 1
1-100000 1
10011101 1
10110101 1
10010101 1
10100101 1
10000101 1
10111001 1
10101001 1
10110001 1
10111100 1
10011100 1
10101100 1
10001100 1
10110100 1
10100100 1
10111000 1
10110000 1
.names n_n3202 n_n3203 n_n3179 [281] [337] [295] n_n3307 n_n3308 n_n2970
011-01-- 1
101-01-- 1
111-00-- 1
001-00-- 1
0110-11- 1
1010-11- 1
01-0011- 1
10-0011- 1
1110-01- 1
0010-01- 1
11-0001- 1
00-0001- 1
0110-1-1 1
1010-1-1 1
01-001-1 1
10-001-1 1
1110-0-1 1
0010-0-1 1
11-000-1 1
00-000-1 1
011--111 1
101--111 1
01--0111 1
10--0111 1
111--011 1
001--011 1
11--0011 1
00--0011 1
110--100 1
000--100 1
010--000 1
100--000 1
1100111- 1
0000111- 1
0100101- 1
1000101- 1
110011-1 1
000011-1 1
010010-1 1
100010-1 1
110-1111 1
000-1111 1
010-1011 1
100-1011 1
1101-101 1
0001-101 1
0101-001 1
1001-001 1
1101-110 1
0001-110 1
0101-010 1
1001-010 1
111-1100 1
001-1100 1
011-1000 1
101-1000 1
11111101 1
00111101 1
01111001 1
10111001 1
11111110 1
00111110 1
01111010 1
10111010 1
.names _188gat_11_ _494gat_29_ [426]
0- 1
-0 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _426gat_25_ _443gat_26_ \
_494gat_29_ n_n3506 n_n2973
01----10 1
1111--1- 1
01---011 1
11-1111- 1
1110-10- 1
010--111 1
11-1-111 1
1100111- 1
100111-1 1
101011-1 1
101101-1 1
100101-1 1
101110-1 1
100110-1 1
101100-1 1
100100-1 1
0110-111 1
1100-111 1
-1000011 1
11101-01 1
0111-101 1
1-101101 1
1-011001 1
1-010001 1
101111-0 1
100111-0 1
101101-0 1
100101-0 1
101110-0 1
100110-0 1
101100-0 1
100100-0 1
-1000010 1
1-010100 1
1-011000 1
1-010000 1
11001011 1
11100011 1
11000110 1
11101010 1
11001010 1
11100010 1
.names _137gat_8_ _120gat_7_ _460gat_27_ _443gat_26_ n_n3325 n_n3349 n_n3324 \
n_n3348 n_n3070
-1111--- 1
-111--1- 1
-11-1-1- 1
011--0-1 1
-110-0-1 1
0---1011 1
---01011 1
011--1-0 1
-110-1-0 1
0---1110 1
---01110 1
1111-1-1 1
11-111-1 1
01-110-1 1
11-1-111 1
1--11111 1
01-1-011 1
01-111-0 1
1111-0-0 1
11-110-0 1
01-1-110 1
11-1-010 1
1--11010 1
.names _86gat_5_ _460gat_27_ _103gat_6_ _443gat_26_ n_n3266 n_n3289 n_n3301 \
n_n3291 n_n2994
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0101 1
0--00101 1
-0-00101 1
0-0-1001 1
0--01001 1
-0-01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
0--00110 1
-0-00110 1
0-0-1010 1
0--01010 1
-0-01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-1100 1
-00-1100 1
0--01100 1
-0-01100 1
11111-11 1
10011-11 1
1111-111 1
1001-111 1
0-110111 1
11-00111 1
0-111011 1
11-01011 1
110-0011 1
0-110011 1
-0110011 1
11-00011 1
10111-01 1
11011-01 1
1011-101 1
1101-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
10111-10 1
11011-10 1
1011-110 1
1101-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
11111-00 1
10011-00 1
1111-100 1
1001-100 1
0-110100 1
11-00100 1
0-111000 1
11-01000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110010 1
.names _222gat_13_ _494gat_29_ [451]
0- 1
-0 1
.names _460gat_27_ _222gat_13_ _477gat_28_ _494gat_29_ n_n3355 n_n3356 n_n3233 \
n_n3103 n_n2972
-1-1---1 1
-111--1- 1
-11---11 1
----1111 1
11111--- 1
1111-1-- 1
-11111-- 1
11-11-1- 1
11-1-11- 1
-1-1111- 1
111-1--1 1
111--1-1 1
-11-11-1 1
11--1-11 1
11---111 1
.names _171gat_10_ _477gat_28_ _494gat_29_ _154gat_9_ n_n3121 n_n3120 n_n3075 \
n_n2869
-1111-- 1
-111-1- 1
--1111- 1
0-11--0 1
-011--0 1
0---110 1
-0--110 1
1111--1 1
11-11-1 1
11-1-11 1
11--111 1
01-11-0 1
01-1-10 1
.names _171gat_10_ _477gat_28_ _494gat_29_ [281] n_n3155 n_n3026 n_n3307 \
n_n3308 n_n2870
111-11-- 1
110-10-- 1
0--11111 1
0--10111 1
--010111 1
0--00111 1
0--01011 1
--001011 1
0--01101 1
0--10101 1
0--00101 1
--000101 1
0--11001 1
--011001 1
0--01110 1
0--10110 1
0--00110 1
--000110 1
0--11010 1
--011010 1
0--11100 1
0--10100 1
--010100 1
0--00100 1
0--01000 1
--001000 1
1110-111 1
-0011111 1
1-101111 1
-0000111 1
1100-011 1
1-110011 1
1111-101 1
1-111101 1
-0001101 1
-0010101 1
1101-001 1
1-100001 1
1111-110 1
1-111110 1
-0001110 1
-0010110 1
1101-010 1
1-100010 1
1110-100 1
-0011100 1
1-101100 1
-0000100 1
1100-000 1
1-110000 1
10111011 1
10100011 1
10101001 1
10110001 1
10101010 1
10110010 1
10111000 1
10100000 1
.names _86gat_5_ _69gat_4_ _460gat_27_ _443gat_26_ n_n3266 n_n3289 n_n3287 \
n_n3264 n_n2984
-111--1- 1
-111---1 1
-11---11 1
011-01-- 1
-11001-- 1
011-10-- 1
-11010-- 1
0---0111 1
---00111 1
0---1011 1
---01011 1
111111-- 1
111100-- 1
11-1111- 1
01-1011- 1
01-1101- 1
11-1001- 1
11-111-1 1
01-101-1 1
01-110-1 1
11-100-1 1
1--11111 1
1--10011 1
.names _171gat_10_ _494gat_29_ [455]
0- 1
-0 1
.names _375gat_22_ _392gat_23_ _188gat_11_ n_n3917 n_n3918 n_n3793 n_n3675
-11--1 1
---111 1
1111-- 1
111-1- 1
-1111- 1
1-11-1 1
1-1-11 1
.names _1gat_0_ _18gat_1_ _460gat_27_ _443gat_26_ n_n3279 n_n3281 n_n3261 \
n_n3259 n_n2976
1-111--- 1
1-11---1 1
1-1-1--1 1
101--01- 1
1-10-01- 1
101--10- 1
1-10-10- 1
-0--1011 1
---01011 1
-0--1101 1
---01101 1
1111-11- 1
11-1111- 1
10-1101- 1
10-1110- 1
1111-00- 1
11-1100- 1
11-1-111 1
-1-11111 1
10-1-011 1
10-1-101 1
11-1-001 1
-1-11001 1
.names _205gat_12_ _477gat_28_ _494gat_29_ n_n3355 n_n3356 n_n3202 [352] \
n_n3078 n_n2922
111--1-1 1
110--1-0 1
0--11111 1
0--00111 1
0--11011 1
--011011 1
0--01011 1
0--10011 1
0--00011 1
--000011 1
0--01101 1
0--10101 1
0--11001 1
0--01001 1
--001001 1
0--10001 1
--010001 1
0--00001 1
0--01110 1
--001110 1
0--10110 1
--010110 1
0--11100 1
--011100 1
0--00100 1
--000100 1
11101-11 1
11110-11 1
-0011111 1
1-101111 1
1-110111 1
-0000111 1
-0001011 1
-0010011 1
11111-01 1
11100-01 1
1-111101 1
-0001101 1
-0010101 1
1-100101 1
-0011001 1
-0000001 1
11001-10 1
11010-10 1
1-111010 1
1-100010 1
11011-00 1
11000-00 1
1-101000 1
1-110000 1
10111110 1
10100110 1
10101010 1
10110010 1
10101100 1
10110100 1
10111000 1
10100000 1
.names _120gat_7_ _103gat_6_ _477gat_28_ _494gat_29_ n_n3071 n_n3070 n_n3042 \
n_n3041 n_n2782
-111--1- 1
-111---1 1
-1-1--11 1
01-101-- 1
-10101-- 1
01-110-- 1
-10110-- 1
0---0111 1
--0-0111 1
0---1011 1
--0-1011 1
111111-- 1
111100-- 1
111-111- 1
011-011- 1
011-101- 1
111-001- 1
111-11-1 1
011-01-1 1
011-10-1 1
111-00-1 1
1-1-1111 1
1-1-0011 1
.names _137gat_8_ _120gat_7_ _477gat_28_ _494gat_29_ n_n3096 n_n3071 n_n3095 \
n_n3070 n_n2783
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
--000011 1
00--0101 1
-00-0101 1
0--00101 1
--000101 1
00--1001 1
-00-1001 1
--001001 1
00--0110 1
-00-0110 1
--000110 1
00--0010 1
-00-0010 1
0--00010 1
--000010 1
00--1100 1
-00-1100 1
--001100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
1111111- 1
0110111- 1
0111011- 1
1110011- 1
0111110- 1
1110110- 1
1111010- 1
0110010- 1
11111-11 1
01101-11 1
01110-11 1
11100-11 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
101-1011 1
-1011011 1
01111-01 1
11101-01 1
11110-01 1
01100-01 1
101-1101 1
01-11101 1
-1011101 1
1-101101 1
101-0001 1
-1010001 1
101-1110 1
-1011110 1
101-1010 1
01-11010 1
-1011010 1
1-101010 1
101-0100 1
-1010100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110010 1
11111000 1
.names n_n3922 [347] n_n3969 [381] [274] n_n4082 n_n4081 [345] n_n3718
01-----0 1
10-----0 1
--10---0 1
0110---- 1
1010---- 1
--1-01-0 1
---001-0 1
--1-0-10 1
---00-10 1
--1--110 1
---0-110 1
011-01-- 1
101-01-- 1
01-001-- 1
10-001-- 1
011-0-1- 1
101-0-1- 1
01-00-1- 1
10-00-1- 1
011--11- 1
101--11- 1
01-0-11- 1
10-0-11- 1
.names _18gat_1_ _35gat_2_ _460gat_27_ _443gat_26_ n_n3262 n_n3283 n_n3281 \
n_n3261 n_n2978
1-11--1- 1
1-11---1 1
1-1---11 1
101-01-- 1
1-1001-- 1
101-10-- 1
1-1010-- 1
-0--0111 1
---00111 1
-0--1011 1
---01011 1
111111-- 1
111100-- 1
11-1111- 1
10-1011- 1
10-1101- 1
11-1001- 1
11-111-1 1
10-101-1 1
10-110-1 1
11-100-1 1
-1-11111 1
-1-10011 1
.names _137gat_8_ _120gat_7_ _460gat_27_ _443gat_26_ n_n3325 n_n3349 n_n3324 \
n_n3348 n_n3042
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
-0-00011 1
--000011 1
00--1001 1
-0-01001 1
--001001 1
00--0001 1
0-0-0001 1
-0-00001 1
--000001 1
00--0110 1
-0-00110 1
--000110 1
00--1010 1
0-0-1010 1
-0-01010 1
--001010 1
00--1100 1
-0-01100 1
--001100 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
111111-1 1
010111-1 1
011110-1 1
110110-1 1
1111-111 1
0101-111 1
10-10111 1
-1100111 1
0111-011 1
1101-011 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
10-11101 1
-1101101 1
011-0101 1
10-10101 1
1-010101 1
-1100101 1
011111-0 1
110111-0 1
111110-0 1
010110-0 1
0111-110 1
1101-110 1
011-1110 1
10-11110 1
1-011110 1
-1101110 1
1111-010 1
0101-010 1
10-10010 1
-1100010 1
10-11000 1
-1101000 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110001 1
11110100 1
.names _35gat_2_ _460gat_27_ _52gat_3_ _443gat_26_ n_n3262 n_n3283 n_n3285 \
n_n3263 n_n2980
11-11--- 1
11-1-1-- 1
11--11-- 1
110---01 1
11-0--01 1
--0-1101 1
---01101 1
110---10 1
11-0--10 1
--0-1110 1
---01110 1
1111--11 1
1-111-11 1
1-11-111 1
--111111 1
1-011-01 1
1-01-101 1
1-011-10 1
1-01-110 1
1111--00 1
1-111-00 1
1-11-100 1
--111100 1
.names _69gat_4_ _460gat_27_ _52gat_3_ _443gat_26_ n_n3287 n_n3264 n_n3285 \
n_n3263 n_n2958
00--1111 1
0-0-1111 1
-0-01111 1
--001111 1
00--0011 1
0-0-0011 1
-0-00011 1
--000011 1
0-0-0101 1
-0-00101 1
--000101 1
0-0-1001 1
-0-01001 1
--001001 1
0-0-0110 1
-0-00110 1
--000110 1
0-0-1010 1
-0-01010 1
--001010 1
00--0100 1
0-0-0100 1
-0-00100 1
--000100 1
00--1000 1
0-0-1000 1
-0-01000 1
--001000 1
1111111- 1
0011111- 1
0111011- 1
1011011- 1
0111101- 1
1011101- 1
1111001- 1
0011001- 1
111111-1 1
001111-1 1
011101-1 1
101101-1 1
011110-1 1
101110-1 1
111100-1 1
001100-1 1
011-0111 1
10-10111 1
1-010111 1
-1100111 1
011-1011 1
10-11011 1
1-011011 1
-1101011 1
1-011101 1
-1101101 1
1-010001 1
-1100001 1
1-011110 1
-1101110 1
1-010010 1
-1100010 1
011-1100 1
10-11100 1
1-011100 1
-1101100 1
011-0000 1
10-10000 1
1-010000 1
-1100000 1
11110100 1
11111000 1
.names _18gat_1_ _35gat_2_ _460gat_27_ _443gat_26_ n_n3262 n_n3283 n_n3281 \
n_n3261 n_n2954
00--1111 1
-00-1111 1
0--01111 1
--001111 1
00--0011 1
-00-0011 1
0--00011 1
--000011 1
00--0101 1
0--00101 1
--000101 1
00--1001 1
0--01001 1
--001001 1
00--0110 1
0--00110 1
--000110 1
00--1010 1
0--01010 1
--001010 1
00--0100 1
-00-0100 1
0--00100 1
--000100 1
00--1000 1
-00-1000 1
0--01000 1
--001000 1
1111111- 1
1001111- 1
1011011- 1
1101011- 1
1011101- 1
1101101- 1
1111001- 1
1001001- 1
111111-1 1
100111-1 1
101101-1 1
110101-1 1
101110-1 1
110110-1 1
111100-1 1
100100-1 1
101-0111 1
01-10111 1
-1010111 1
1-100111 1
101-1011 1
01-11011 1
-1011011 1
1-101011 1
01-11101 1
1-101101 1
01-10001 1
1-100001 1
01-11110 1
1-101110 1
01-10010 1
1-100010 1
101-1100 1
01-11100 1
-1011100 1
1-101100 1
101-0000 1
01-10000 1
-1010000 1
1-100000 1
11110100 1
11111000 1
.names _120gat_7_ _460gat_27_ _103gat_6_ _443gat_26_ n_n3301 n_n3291 n_n3325 \
n_n3324 n_n3041
-1111--- 1
-111-1-- 1
-11-11-- 1
011---01 1
-110--01 1
0---1101 1
---01101 1
011---10 1
-110--10 1
0---1110 1
---01110 1
1111--11 1
1-111-11 1
1-11-111 1
1--11111 1
0-111-01 1
0-11-101 1
0-111-10 1
0-11-110 1
1111--00 1
1-111-00 1
1-11-100 1
1--11100 1
.names _35gat_2_ _460gat_27_ _52gat_3_ _443gat_26_ n_n3262 n_n3283 n_n3285 \
n_n3263 n_n2956
0-0-1111 1
-00-1111 1
0--01111 1
-0-01111 1
0-0-0101 1
0--00101 1
-0-00101 1
0-0-1001 1
0--01001 1
-0-01001 1
0-0-0001 1
-00-0001 1
0--00001 1
-0-00001 1
0-0-0110 1
0--00110 1
-0-00110 1
0-0-1010 1
0--01010 1
-0-01010 1
0-0-0010 1
-00-0010 1
0--00010 1
-0-00010 1
0-0-1100 1
-00-1100 1
0--01100 1
-0-01100 1
11111-11 1
10011-11 1
1111-111 1
1001-111 1
0-110111 1
11-00111 1
0-111011 1
11-01011 1
110-0011 1
0-110011 1
-0110011 1
11-00011 1
10111-01 1
11011-01 1
1011-101 1
1101-101 1
110-1101 1
0-111101 1
-0111101 1
11-01101 1
10111-10 1
11011-10 1
1011-110 1
1101-110 1
110-1110 1
0-111110 1
-0111110 1
11-01110 1
11111-00 1
10011-00 1
1111-100 1
1001-100 1
0-110100 1
11-00100 1
0-111000 1
11-01000 1
110-0000 1
0-110000 1
-0110000 1
11-00000 1
11110001 1
11110010 1
.end