.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 _222gat_13_ _528gat_31_ n_n2397 n_n2718 n_n2926 [432] n_n2849 \
_6280gat_2443_
0-01--0 1
-001--0 1
0-0111- 1
-00111- 1
0-0100- 1
-00100- 1
1111--1 1
1100--1 1
--11011 1
--00011 1
--11101 1
--00101 1
--01110 1
--10110 1
--01000 1
--10000 1
111101- 1
110001- 1
111110- 1
110010- 1
0-10111 1
-010111 1
0-10001 1
-010001 1
0-10010 1
-010010 1
0-10100 1
-010100 1
.names _1gat_0_ _460gat_27_ n_n3108 n_n3129 _4946gat_1876_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2658 n_n2657 n_n2412 n_n2633 [329] n_n2766 n_n2765 _6260gat_2433_
1111--- 1
0011--- 1
111-01- 1
001-01- 1
11-101- 1
00-101- 1
01-010- 1
10-010- 1
111-0-1 1
001-0-1 1
11-10-1 1
00-10-1 1
111--11 1
001--11 1
11-1-11 1
00-1-11 1
01-01-0 1
10-01-0 1
01-0-00 1
10-0-00 1
010001- 1
100001- 1
010110- 1
100110- 1
01000-1 1
10000-1 1
0100-11 1
1000-11 1
01011-0 1
10011-0 1
0101-00 1
1001-00 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_ _324gat_19_ n_n4207 _2223gat_700_
0-0 1
-00 1
111 1
.names _1gat_0_ _494gat_29_ n_n2800 n_n2821 _5672gat_2187_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _18gat_1_ _528gat_31_ n_n2478 [34] n_n2541 n_n2536 _6160gat_2383_
0-110- 1
-0110- 1
0-000- 1
-0000- 1
--0111 1
--1011 1
0-11-0 1
-011-0 1
0-00-0 1
-000-0 1
--1100 1
--0000 1
11011- 1
11101- 1
1101-1 1
1110-1 1
.names _256gat_15_ _528gat_31_ n_n2397 n_n2744 n_n2718 n_n2717 _6287gat_2444_
11-1-- 1
--111- 1
--11-1 1
---111 1
111-1- 1
111--1 1
11--11 1
.names _69gat_4_ _528gat_31_ n_n2513 n_n2442 n_n2603 n_n2602 _6190gat_2398_
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 [236] [237] n_n3407 n_n3408 n_n3430 n_n3428 [394] _4591gat_1722_
10111-1 1
00101-1 1
00110-1 1
10100-1 1
10-1111 1
1-11111 1
00-0111 1
0-10111 1
00-1011 1
0-11011 1
10-0011 1
1-10011 1
0-01101 1
1-00101 1
1-01001 1
0-00001 1
00111-0 1
10101-0 1
10110-0 1
00100-0 1
00-1110 1
0-11110 1
10-0110 1
1-10110 1
10-1010 1
1-11010 1
00-0010 1
0-10010 1
1-01100 1
0-00100 1
0-01000 1
1-00000 1
0101111 1
1100111 1
1101011 1
0100011 1
0111101 1
1110101 1
1111001 1
0110001 1
1101110 1
0100110 1
0101010 1
1100010 1
1111100 1
0110100 1
0111000 1
1110000 1
.names _1gat_0_ _426gat_25_ n_n3407 n_n3428 _4241gat_1572_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2477 n_n2478 [34] n_n2500 n_n2499 n_n2487 n_n2488 _6180gat_2393_
---1111 1
---0011 1
---0100 1
---1000 1
11-111- 1
1-0111- 1
-10111- 1
11-001- 1
1-0001- 1
-10001- 1
11-11-1 1
1-011-1 1
-1011-1 1
11-00-1 1
1-000-1 1
-1000-1 1
00-0101 1
00-1001 1
00-0110 1
00-1010 1
0110101 1
1010101 1
0111001 1
1011001 1
0110110 1
1010110 1
0111010 1
1011010 1
.names _120gat_7_ _528gat_31_ n_n2567 n_n2427 n_n2683 n_n2682 _6220gat_2413_
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 _35gat_2_ _528gat_31_ n_n2477 [34] n_n2488 n_n2560 n_n2559 \
_6170gat_2388_
0-1000- 1
-01000- 1
--10111 1
0-0-011 1
-00-011 1
0-1-001 1
-01-001 1
0--0001 1
-0-0001 1
0-100-0 1
-0100-0 1
0-1-010 1
-01-010 1
0--0010 1
-0-0010 1
0-0-100 1
-00-100 1
--10000 1
111011- 1
11101-1 1
111-111 1
11-0111 1
0-11011 1
-011011 1
0-01101 1
-001101 1
110-001 1
0-01110 1
-001110 1
110-010 1
0-11100 1
-011100 1
111-000 1
11-0000 1
1101011 1
1111001 1
1111010 1
1101100 1
.names _86gat_5_ _528gat_31_ n_n2512 n_n2442 n_n2528 n_n2625 n_n2626 \
_6200gat_2403_
0-1100- 1
-01100- 1
--11111 1
0-0-011 1
-00-011 1
0-1-001 1
-01-001 1
0--1001 1
-0-1001 1
0-110-0 1
-0110-0 1
0-1-010 1
-01-010 1
0--1010 1
-0-1010 1
0-0-100 1
-00-100 1
--11000 1
111111- 1
11111-1 1
111-111 1
11-1111 1
0-10011 1
-010011 1
0-00101 1
-000101 1
110-001 1
0-00110 1
-000110 1
110-010 1
0-10100 1
-010100 1
111-000 1
11-1000 1
1100011 1
1110001 1
1110010 1
1100100 1
.names _1gat_0_ _392gat_23_ n_n3722 n_n3702 _3552gat_1275_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [235] [239] [436] n_n2823 n_n2801 n_n2800 n_n2821 _5971gat_2309_
011111- 1
000111- 1
001011- 1
010011- 1
001101- 1
010101- 1
011001- 1
000001- 1
01111-1 1
00011-1 1
00101-1 1
01001-1 1
00110-1 1
01010-1 1
01100-1 1
00000-1 1
-111111 1
-001111 1
-010111 1
-100111 1
-011011 1
-101011 1
-110011 1
-000011 1
-011100 1
-101100 1
-110100 1
-000100 1
-111000 1
-001000 1
-010000 1
-100000 1
1011101 1
1101101 1
1110101 1
1000101 1
1111001 1
1001001 1
1010001 1
1100001 1
1011110 1
1101110 1
1110110 1
1000110 1
1111010 1
1001010 1
1010010 1
1100010 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_ _18gat_1_ _324gat_19_ _341gat_20_ n_n4269 n_n4286 n_n4208 \
_2548gat_840_
00--111 1
0-0-111 1
-0-0111 1
--00111 1
00--010 1
0-0-010 1
--00010 1
00--100 1
0-0-100 1
--00100 1
00--000 1
0-0-000 1
-0-0000 1
--00000 1
11111-1 1
10101-1 1
1111-11 1
1010-11 1
011-011 1
1-01011 1
011-101 1
1-01101 1
011-001 1
10-1001 1
1-01001 1
-110001 1
10111-0 1
11101-0 1
1011-10 1
1110-10 1
011-110 1
10-1110 1
1-01110 1
-110110 1
1111000 1
.names _1gat_0_ _18gat_1_ _528gat_31_ n_n2541 n_n2534 n_n2521 n_n2536 \
_6150gat_2378_
-0-1111 1
--01111 1
--00011 1
--00101 1
-0-0001 1
--00001 1
-0-0110 1
--00110 1
--01010 1
--01100 1
-0-1000 1
--01000 1
10111-1 1
11101-1 1
1011-11 1
1110-11 1
-110111 1
00-0011 1
00-0101 1
-111001 1
11111-0 1
10101-0 1
1111-10 1
1010-10 1
-111110 1
00-1010 1
00-1100 1
-110000 1
0111011 1
0111101 1
0110010 1
0110100 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 _222gat_13_ _528gat_31_ n_n2397 n_n2662 n_n2718 n_n2850 n_n2849 \
_6288gat_2447_
--111-- 1
0--000- 1
-0-000- 1
--11-11 1
---1111 1
0--00-0 1
-0-00-0 1
---0000 1
1111-1- 1
11-111- 1
0-0010- 1
-00010- 1
1111--1 1
11-11-1 1
--00011 1
0-001-0 1
-0001-0 1
--00100 1
110001- 1
11000-1 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _273gat_16_ _1581gat_423_
110- 1
0-11 1
-011 1
11-0 1
.names _137gat_8_ _528gat_31_ n_n2427 n_n2566 n_n2587 n_n2710 n_n2711 \
_6230gat_2418_
0-1100- 1
-01100- 1
--11111 1
0--0011 1
-0-0011 1
0-1-001 1
-01-001 1
0--1001 1
-0-1001 1
0-110-0 1
-0110-0 1
0-1-010 1
-01-010 1
0--1010 1
-0-1010 1
0--0100 1
-0-0100 1
--11000 1
111111- 1
11111-1 1
111-111 1
11-1111 1
0-01011 1
-001011 1
0-00101 1
-000101 1
11-0001 1
0-00110 1
-000110 1
11-0010 1
0-01100 1
-001100 1
111-000 1
11-1000 1
1100011 1
1101001 1
1101010 1
1100100 1
.names [242] [245] n_n4007 [273] n_n4009 n_n3990 n_n3991 _3211gat_1128_
10111-1 1
00101-1 1
00110-1 1
10100-1 1
10-1111 1
1-11111 1
00-0111 1
0-10111 1
00-1011 1
0-11011 1
10-0011 1
1-10011 1
0-01101 1
1-00101 1
1-01001 1
0-00001 1
00111-0 1
10101-0 1
10110-0 1
00100-0 1
00-1110 1
0-11110 1
10-0110 1
1-10110 1
10-1010 1
1-11010 1
00-0010 1
0-10010 1
1-01100 1
0-00100 1
0-01000 1
1-00000 1
0101111 1
1100111 1
1101011 1
0100011 1
0111101 1
1110101 1
1111001 1
0110001 1
1101110 1
0100110 1
0101010 1
1100010 1
1111100 1
0110100 1
0111000 1
1110000 1
.names _1gat_0_ _528gat_31_ n_n2534 n_n2521 _6123gat_2368_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 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 [238] [244] n_n3722 n_n3702 n_n3724 [366] n_n3703 _3895gat_1423_
011-111 1
01-1111 1
-111111 1
-000111 1
001-011 1
00-1011 1
-011011 1
-100011 1
001-101 1
00-1101 1
-011101 1
-100101 1
011-001 1
01-1001 1
-111001 1
-000001 1
001-110 1
00-1110 1
-011110 1
-100110 1
011-010 1
01-1010 1
-111010 1
-000010 1
011-100 1
01-1100 1
-111100 1
-000100 1
001-000 1
00-1000 1
-011000 1
-100000 1
1001111 1
1010111 1
1101011 1
1110011 1
1101101 1
1110101 1
1001001 1
1010001 1
1101110 1
1110110 1
1001010 1
1010010 1
1001100 1
1010100 1
1101000 1
1110000 1
.names _1gat_0_ _273gat_16_ _545gat_287_
11 1
.names _1gat_0_ _358gat_21_ n_n4007 n_n3990 _2877gat_983_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [233] [246] n_n3131 n_n3108 n_n3129 n_n3109 [456] _5308gat_2031_
0111-11 1
0001-11 1
011-111 1
000-111 1
-111111 1
-001111 1
-010011 1
-100011 1
0011-01 1
0101-01 1
001-101 1
010-101 1
-011101 1
-101101 1
-110001 1
-000001 1
0011-10 1
0101-10 1
001-110 1
010-110 1
-011110 1
-101110 1
-110010 1
-000010 1
0111-00 1
0001-00 1
011-100 1
000-100 1
-111100 1
-001100 1
-010000 1
-100000 1
1010111 1
1100111 1
1011011 1
1101011 1
1110101 1
1000101 1
1111001 1
1001001 1
1110110 1
1000110 1
1111010 1
1001010 1
1010100 1
1100100 1
1011000 1
1101000 1
.names n_n2658 n_n2657 n_n2412 n_n2633 n_n2632 n_n2690 n_n2689 _6270gat_2438_
11---11 1
00---01 1
00---10 1
11---00 1
1-11-11 1
-111-11 1
1-1-111 1
-11-111 1
1--1111 1
-1-1111 1
1-11-00 1
-111-00 1
1-1-100 1
-11-100 1
1--1100 1
-1-1100 1
01-0001 1
10-0001 1
01-0010 1
10-0010 1
0100101 1
1000101 1
0101001 1
1001001 1
0100110 1
1000110 1
0101010 1
1001010 1
.names n_n2658 n_n2657 n_n2412 n_n2633 n_n2632 n_n2690 n_n2689 n_n2397
-----11 1
11---1- 1
11----1 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 _1gat_0_ _460gat_27_ [233]
0- 1
-0 1
.names [256] n_n2816 n_n3077 n_n3078 [342] n_n2947 [448] n_n2658
01--01- 1
10--01- 1
01110-- 1
10110-- 1
0111-1- 1
1011-1- 1
1100-0- 1
0000-0- 1
011-0-0 1
101-0-0 1
01-10-0 1
10-10-0 1
011--10 1
101--10 1
01-1-10 1
10-1-10 1
110011- 1
000011- 1
111110- 1
001110- 1
1101-01 1
0001-01 1
1110-01 1
0010-01 1
111-100 1
001-100 1
11-1100 1
00-1100 1
1101111 1
0001111 1
1110111 1
0010111 1
.names _511gat_30_ _188gat_11_ _528gat_31_ n_n2790 n_n2921 n_n2922 n_n2657
-111-- 1
---111 1
111-1- 1
11-11- 1
111--1 1
11-1-1 1
-11-11 1
.names _528gat_31_ _154gat_9_ n_n2738 n_n2737 n_n2609
--11 1
111- 1
11-1 1
.names _511gat_30_ _171gat_10_ _188gat_11_ _528gat_31_ n_n2765 n_n2921 n_n2922 \
n_n2610
00--111 1
-00-111 1
0--0111 1
--00111 1
00--001 1
-00-001 1
0--0001 1
--00001 1
00--010 1
-00-010 1
0--0010 1
--00010 1
00--100 1
-00-100 1
0--0100 1
--00100 1
101-011 1
01-1011 1
-101011 1
1-10011 1
101-101 1
01-1101 1
-101101 1
1-10101 1
101-110 1
01-1110 1
-101110 1
1-10110 1
101-000 1
01-1000 1
-101000 1
1-10000 1
1111111 1
1111001 1
1111010 1
1111100 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 _1gat_0_ _290gat_17_ _18gat_1_ _307gat_18_ _35gat_2_ _273gat_16_ \
_52gat_3_ n_n4207
-00--0- 1
-0-0-0- 1
--0-00- 1
--0-0-0 1
-0-00-0 1
-11000- 1
-0-0110 1
011110- 1
111100- 1
010-111 1
-100111 1
-011011 1
11110-0 1
01100-0 1
000-110 1
0111111 1
0011111 1
1001111 1
0111011 1
1110011 1
1111110 1
1011110 1
1101110 1
1110110 1
0110110 1
.names _1gat_0_ _494gat_29_ [235]
0- 1
-0 1
.names _18gat_1_ _528gat_31_ n_n2541 n_n2536 n_n2477
--11 1
111- 1
11-1 1
.names _35gat_2_ _528gat_31_ n_n2560 n_n2559 n_n2478
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _18gat_1_ _528gat_31_ n_n2541 n_n2534 n_n2521 n_n2536 [34]
----00- 1
0---01- 1
--0-01- 1
0---10- 1
--0-10- 1
-0-1--1 1
--01--1 1
-0-0--0 1
--00--0 1
-110--1 1
-111--0 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ _494gat_29_ n_n3007 \
n_n2744
1111-- 1
111-1- 1
111--1 1
1-11-1 1
11--11 1
-11111 1
.names _69gat_4_ _528gat_31_ n_n2603 n_n2602 n_n2512
--11 1
111- 1
11-1 1
.names _86gat_5_ _528gat_31_ n_n2625 n_n2626 n_n2513
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2477 n_n2478 [34] n_n2500 n_n2499 n_n2487 n_n2488 n_n2442
---11-- 1
---1-11 1
----111 1
11-1-1- 1
1-01-1- 1
-101-1- 1
11--11- 1
1-0-11- 1
-10-11- 1
11-1--1 1
1-01--1 1
-101--1 1
11--1-1 1
1-0-1-1 1
-10-1-1 1
.names _1gat_0_ _443gat_26_ [236]
0- 1
-0 1
.names _1gat_0_ _426gat_25_ [237]
0- 1
-0 1
.names _69gat_4_ _528gat_31_ n_n2603 n_n2602 n_n2500
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _528gat_31_ _52gat_3_ n_n2580 n_n2579 n_n2499
--11 1
111- 1
11-1 1
.names _137gat_8_ _528gat_31_ n_n2710 n_n2711 n_n2567
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 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 _120gat_7_ _528gat_31_ n_n2683 n_n2682 n_n2566
--11 1
111- 1
11-1 1
.names _35gat_2_ _528gat_31_ n_n2560 n_n2559 n_n2487
--11 1
111- 1
11-1 1
.names _528gat_31_ _52gat_3_ n_n2580 n_n2579 n_n2488
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _86gat_5_ _528gat_31_ n_n2625 n_n2626 n_n2527
--11 1
111- 1
11-1 1
.names _103gat_6_ _528gat_31_ n_n2650 n_n2651 n_n2528
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _392gat_23_ [238]
0- 1
-0 1
.names _1gat_0_ _511gat_30_ [239]
0- 1
-0 1
.names _120gat_7_ _528gat_31_ n_n2683 n_n2682 n_n2548
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _103gat_6_ _528gat_31_ n_n2650 n_n2651 n_n2547
--11 1
111- 1
11-1 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ _494gat_29_ n_n3007 \
n_n2662
-0---0 1
00---1 1
-00--1 1
1111-- 1
0--001 1
0--000 1
1010-1 1
11-111 1
-11111 1
01-011 1
01-010 1
11-000 1
110001 1
110010 1
.names _137gat_8_ _528gat_31_ n_n2710 n_n2711 n_n2586
--11 1
111- 1
11-1 1
.names _528gat_31_ _154gat_9_ n_n2738 n_n2737 n_n2587
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _375gat_22_ [242]
0- 1
-0 1
.names _511gat_30_ _188gat_11_ _528gat_31_ n_n2790 n_n2921 n_n2922 n_n2633
-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 _511gat_30_ _171gat_10_ _188gat_11_ _528gat_31_ n_n2765 n_n2921 n_n2922 \
n_n2632
-1-11-- 1
0---101 1
--0-101 1
0---110 1
--0-110 1
1-1-111 1
01-1-01 1
-101-01 1
01-1-10 1
-101-10 1
1-1-100 1
1111-11 1
1111-00 1
.names _1gat_0_ _409gat_24_ [244]
0- 1
-0 1
.names _1gat_0_ _358gat_21_ [245]
0- 1
-0 1
.names _1gat_0_ _477gat_28_ [246]
0- 1
-0 1
.names _511gat_30_ _239gat_14_ _222gat_13_ _528gat_31_ n_n2926 n_n2849 n_n2690
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 [256] n_n2816 n_n3077 n_n3078 [342] n_n2947 [448] n_n2689
01----- 1
0---01- 1
-1--01- 1
0-110-- 1
-1110-- 1
0-11-1- 1
-111-1- 1
0-1-0-0 1
-11-0-0 1
0--10-0 1
-1-10-0 1
0-1--10 1
-11--10 1
0--1-10 1
-1-1-10 1
.names _290gat_17_ _18gat_1_ _307gat_18_ _35gat_2_ _273gat_16_ _52gat_3_ \
n_n4289
11111- 1
11110- 1
011-11 1
-11011 1
1111-0 1
11-110 1
.names _290gat_17_ _307gat_18_ _171gat_10_ _273gat_16_ _188gat_11_ _205gat_12_ \
n_n4278
0110-- 1
10-01- 1
1-001- 1
-1100- 1
00-1-1 1
0-01-1 1
-0-101 1
--0101 1
011--0 1
1-0-10 1
-11-00 1
101111 1
111110 1
.names _290gat_17_ _307gat_18_ _120gat_7_ _273gat_16_ _86gat_5_ _103gat_6_ \
n_n4301
01111- 1
110-11 1
11-111 1
1-0111 1
11-011 1
-11110 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _120gat_7_ _273gat_16_ _103gat_6_ \
n_n4274
001-1- 1
-0101- 1
10-10- 1
010--1 1
-100-1 1
01--01 1
-1-001 1
1-01-0 1
0-1-10 1
--1010 1
1--100 1
101111 1
110111 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _120gat_7_ _273gat_16_ _86gat_5_ \
_103gat_6_ n_n4212
00--0-- 1
--00--0 1
0---0-0 1
---00-0 1
0000--- 1
00011-- 1
10-00-1 1
01101-1 1
1100-11 1
11-0011 1
1000-01 1
11-1001 1
10111-0 1
1-11100 1
0-01100 1
1101111 1
0101111 1
1001111 1
1010111 1
1111101 1
0111101 1
1001101 1
1110101 1
0111110 1
1101110 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _171gat_10_ _273gat_16_ _188gat_11_ \
_154gat_9_ n_n4215
00--0-- 1
0---0-0 1
---00-0 1
---0-00 1
00-0-0- 1
00-110- 1
10-00-1 1
11010-1 1
11100-1 1
01-0111 1
1110-01 1
1000-01 1
10-1110 1
1-01110 1
0-01100 1
1101111 1
0101111 1
1010111 1
1100111 1
1111101 1
0111101 1
1011101 1
1001101 1
0111110 1
1111100 1
.names _324gat_19_ _137gat_8_ _341gat_20_ _154gat_9_ n_n4310 n_n4216 n_n4277 \
n_n4029
111-1-- 1
011--0- 1
-110-0- 1
111---1 1
-11-1-1 1
0---101 1
---0101 1
1111-1- 1
11-111- 1
11-010- 1
11-1-11 1
1--1111 1
11-0-01 1
.names _1gat_0_ _18gat_1_ _324gat_19_ _341gat_20_ n_n4269 n_n4286 n_n4208 \
n_n4007
1-111-- 1
1-11-1- 1
1--111- 1
10-1--0 1
1-01--0 1
-0--110 1
--0-110 1
1111--1 1
111-1-1 1
111--11 1
-11-111 1
101-1-0 1
101--10 1
.names _222gat_13_ _426gat_25_ [250]
0- 1
-0 1
.names _409gat_24_ _239gat_14_ _222gat_13_ _426gat_25_ n_n3680 n_n3610 n_n3460
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 _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ _426gat_25_ _443gat_26_ \
n_n3759 n_n3385
1-111-- 1
--1111- 1
1111-1- 1
111-1-1 1
-1111-1 1
1-11-11 1
1--1111 1
.names [288] [271] n_n3730 n_n3706 [331] n_n3733 n_n3707 n_n3412
011-111 1
01-1111 1
-111111 1
-000111 1
001-011 1
00-1011 1
-011011 1
-100011 1
001-101 1
00-1101 1
-011101 1
-100101 1
011-001 1
01-1001 1
-111001 1
-000001 1
001-110 1
00-1110 1
-011110 1
-100110 1
011-010 1
01-1010 1
-111010 1
-000010 1
011-100 1
01-1100 1
-111100 1
-000100 1
001-000 1
00-1000 1
-011000 1
-100000 1
1001111 1
1010111 1
1101011 1
1110011 1
1101101 1
1110101 1
1001001 1
1010001 1
1101110 1
1110110 1
1001010 1
1010010 1
1001100 1
1010100 1
1101000 1
1110000 1
.names [288] n_n3728 n_n3705 n_n3730 n_n3706 [332] [317] n_n3434
-11---0 1
-1---00 1
--1--00 1
0--11-0 1
1--01-0 1
1--10-0 1
0--00-0 1
01111-- 1
11101-- 1
11110-- 1
01100-- 1
01-110- 1
0-1110- 1
11-010- 1
1-1010- 1
11-100- 1
1-1100- 1
01-000- 1
0-1000- 1
.names _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ _426gat_25_ _443gat_26_ \
n_n3759 n_n3356
--01-10 1
1-1111- 1
0-01-11 1
111100- 1
01101-1 1
10101-1 1
00101-1 1
11100-1 1
-111111 1
00-1011 1
1-01011 1
001-101 1
1-01101 1
111-001 1
1-11001 1
11101-0 1
01101-0 1
10101-0 1
00101-0 1
00-1010 1
011-100 1
001-100 1
0111011 1
0111010 1
1011010 1
.names _103gat_6_ _426gat_25_ [251]
0- 1
-0 1
.names _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ _426gat_25_ _443gat_26_ \
n_n3759 n_n3312
--0---0 1
0-0---1 1
--00--1 1
--1111- 1
1111-1- 1
1-010-1 1
1-11-11 1
00--001 1
00--000 1
111100- 1
111-111 1
001-101 1
1-01101 1
111-001 1
011-001 1
1-11001 1
011-100 1
001-100 1
011-000 1
101-000 1
0110101 1
1010101 1
1010001 1
1110100 1
1010100 1
1110000 1
.names _239gat_14_ _460gat_27_ [252]
0- 1
-0 1
.names _239gat_14_ _460gat_27_ n_n3312 n_n3233
0-0 1
-00 1
111 1
.names _188gat_11_ _426gat_25_ _443gat_26_ n_n3549 n_n3548 n_n3422 n_n3273
0--011 1
0--101 1
0--001 1
--0001 1
0--110 1
--0110 1
1111-1 1
111-11 1
1-1111 1
-00011 1
-00101 1
1101-0 1
110-10 1
1-1000 1
101010 1
101100 1
.names n_n3549 n_n3548 [301] [316] [326] n_n3528 n_n3529 n_n3272
---001- 1
---00-1 1
----011 1
011-0-- 1
101-0-- 1
110-0-- 1
000-0-- 1
0110-1- 1
1010-1- 1
1100-1- 1
0000-1- 1
0110--1 1
1010--1 1
1100--1 1
0000--1 1
011--11 1
101--11 1
110--11 1
000--11 1
.names [250] n_n3356 n_n3484 [352] [280] n_n3610 n_n3611 n_n3203
-0110-- 1
-1100-- 1
0011-1- 1
0110-1- 1
00-101- 1
01-001- 1
0011--1 1
0110--1 1
00-10-1 1
01-00-1 1
-011-11 1
-110-11 1
-0-1011 1
-1-0011 1
-101-00 1
-000-00 1
010111- 1
000011- 1
01011-1 1
00001-1 1
-101111 1
-000111 1
1101-01 1
1000-01 1
1101-10 1
1000-10 1
-111100 1
-010100 1
1111101 1
1010101 1
1111110 1
1010110 1
.names _86gat_5_ _443gat_26_ [253]
0- 1
-0 1
.names [251] [253] [408] n_n3415 n_n3414 n_n3438 n_n3440 n_n3114
11011-1 1
00011-1 1
01001-1 1
10001-1 1
1101-11 1
0001-11 1
0100-11 1
1000-11 1
11-1111 1
00-1111 1
01-0111 1
10-0111 1
01-1001 1
10-1001 1
11-0001 1
00-0001 1
01011-0 1
10011-0 1
11001-0 1
00001-0 1
0101-10 1
1001-10 1
1100-10 1
0000-10 1
01-1110 1
10-1110 1
11-0110 1
00-0110 1
11-1000 1
00-1000 1
01-0000 1
10-0000 1
0111011 1
1011011 1
1110011 1
0010011 1
0111101 1
1011101 1
1110101 1
0010101 1
1111010 1
0011010 1
0110010 1
1010010 1
1111100 1
0011100 1
0110100 1
1010100 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _443gat_26_ n_n3385 \
n_n3103
01-1-0 1
11111- 1
1111-1 1
0101-1 1
0110-1 1
100-11 1
1-0011 1
101-01 1
-10101 1
101-10 1
101-00 1
-10100 1
1-1000 1
110110 1
.names [408] [282] [405] n_n3413 n_n3436 n_n3414 n_n3438 n_n3137
-001--- 1
-00-1-- 1
-0-11-- 1
00---11 1
10---01 1
10---10 1
00---00 1
0-01-11 1
0-0-111 1
0--1111 1
1-01-01 1
1-0-101 1
1--1101 1
1-01-10 1
1-0-110 1
1--1110 1
0-01-00 1
0-0-100 1
0--1100 1
.names n_n3000 n_n3001 [372] [433] n_n2965 [449] n_n2966 n_n2683
111110- 1
001110- 1
010110- 1
100110- 1
011010- 1
101010- 1
110010- 1
000010- 1
11111-1 1
00111-1 1
01011-1 1
10011-1 1
01101-1 1
10101-1 1
11001-1 1
00001-1 1
1111-01 1
0011-01 1
0101-01 1
1001-01 1
0110-01 1
1010-01 1
1100-01 1
0000-01 1
01110-0 1
10110-0 1
11010-0 1
00010-0 1
11100-0 1
00100-0 1
01000-0 1
10000-0 1
0111011 1
1011011 1
1101011 1
0001011 1
1110011 1
0010011 1
0100011 1
1000011 1
0111110 1
1011110 1
1101110 1
0001110 1
1110110 1
0010110 1
0100110 1
1000110 1
.names [298] n_n2939 n_n2940 n_n2965 [449] n_n2966 [447] n_n2682
011---- 1
01----0 1
0-1---0 1
0--011- 1
0--101- 1
0--110- 1
0--000- 1
-11011- 1
-11101- 1
-11110- 1
-11000- 1
-1-0110 1
--10110 1
-1-1010 1
--11010 1
-1-1100 1
--11100 1
-1-0000 1
--10000 1
.names _18gat_1_ _494gat_29_ [436]
0- 1
-0 1
.names _528gat_31_ _205gat_12_ [256]
0- 1
-0 1
.names _69gat_4_ _494gat_29_ [373]
0- 1
-0 1
.names _443gat_26_ _154gat_9_ [257]
0- 1
-0 1
.names [257] [285] n_n3499 n_n3500 [316] n_n3528 n_n3529 n_n3226
101-111 1
10-1111 1
1-11111 1
0-00111 1
001-011 1
00-1011 1
0-11011 1
1-00011 1
001-101 1
00-1101 1
0-11101 1
1-00101 1
101-001 1
10-1001 1
1-11001 1
0-00001 1
001-110 1
00-1110 1
0-11110 1
1-00110 1
101-010 1
10-1010 1
1-11010 1
0-00010 1
101-100 1
10-1100 1
1-11100 1
0-00100 1
001-000 1
00-1000 1
0-11000 1
1-00000 1
0101111 1
0110111 1
1101011 1
1110011 1
1101101 1
1110101 1
0101001 1
0110001 1
1101110 1
1110110 1
0101010 1
0110010 1
0101100 1
0110100 1
1101000 1
1110000 1
.names _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ _426gat_25_ n_n3759 \
n_n3484
--0110 1
11111- 1
0110-1 1
1010-1 1
00-111 1
1-1111 1
0-0111 1
011-01 1
1-0101 1
1110-0 1
1010-0 1
00-110 1
101-00 1
011110 1
.names _18gat_1_ _409gat_24_ [258]
0- 1
-0 1
.names [258] [344] n_n3724 n_n3726 n_n3704 [366] n_n3703 n_n3407
111110- 1
001110- 1
011010- 1
101010- 1
011100- 1
101100- 1
111000- 1
001000- 1
11111-1 1
00111-1 1
01101-1 1
10101-1 1
01110-1 1
10110-1 1
11100-1 1
00100-1 1
11-1101 1
00-1101 1
01-0101 1
10-0101 1
01-1001 1
10-1001 1
11-0001 1
00-0001 1
01011-0 1
10011-0 1
11001-0 1
00001-0 1
11010-0 1
00010-0 1
01000-0 1
10000-0 1
0101111 1
1001111 1
1100111 1
0000111 1
1101011 1
0001011 1
0100011 1
1000011 1
0111110 1
1011110 1
1110110 1
0010110 1
1111010 1
0011010 1
0110010 1
1010010 1
.names _205gat_12_ _426gat_25_ [398]
0- 1
-0 1
.names [398] n_n3571 [287] [304] n_n3697 n_n3823 n_n3822 n_n3459
01----- 1
0-0-1-- 1
-10-1-- 1
0-00-1- 1
-100-1- 1
0--011- 1
-1-011- 1
0-00--1 1
-100--1 1
0--01-1 1
-1-01-1 1
0-0--11 1
-10--11 1
0---111 1
-1--111 1
.names _409gat_24_ _137gat_8_ [391]
0- 1
-0 1
.names [391] n_n3742 n_n3712 [375] [351] n_n3745 n_n3753 n_n3476
011---- 1
01--0-- 1
0-1-0-- 1
0--0-11 1
0--1-01 1
0--1-10 1
0--0-00 1
-110-11 1
-1-0011 1
--10011 1
-111-01 1
-1-1001 1
--11001 1
-111-10 1
-1-1010 1
--11010 1
-110-00 1
-1-0000 1
--10000 1
.names _392gat_23_ _69gat_4_ [288]
0- 1
-0 1
.names _392gat_23_ _103gat_6_ [259]
0- 1
-0 1
.names _392gat_23_ _171gat_10_ [429]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ _341gat_20_ \
n_n4112 n_n3759
11-11-- 1
1-111-- 1
-11111- 1
111-1-1 1
-1111-1 1
11-1-11 1
1--1111 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ _341gat_20_ \
n_n4112 n_n3680
---0--0 1
-0-0--1 1
---00-1 1
1-111-- 1
-11111- 1
-1111-1 1
01-01-1 1
000--01 1
000--00 1
010111- 1
01011-1 1
11001-1 1
1111-11 1
0101-11 1
0001-11 1
1001-01 1
1001-10 1
0001-10 1
0101-00 1
1001-00 1
1001011 1
1101001 1
0101001 1
1101010 1
0101010 1
1101000 1
.names n_n4042 n_n4038 [400] n_n4035 n_n4001 [349] [420] n_n3773
--01--0 1
--0-1-0 1
---11-0 1
01---10 1
10---10 1
11---00 1
00---00 1
0101-1- 1
1001-1- 1
010-11- 1
100-11- 1
01-111- 1
10-111- 1
1101-0- 1
0001-0- 1
110-10- 1
000-10- 1
11-110- 1
00-110- 1
.names _375gat_22_ _358gat_21_ _188gat_11_ _205gat_12_ n_n3986 n_n4042 n_n4038 \
n_n3774
00--111 1
-00-111 1
0--0111 1
--00111 1
00--001 1
-00-001 1
--00001 1
00--010 1
-00-010 1
--00010 1
00--000 1
-00-000 1
0--0000 1
--00000 1
111111- 1
011011- 1
011101- 1
111001- 1
11111-1 1
01101-1 1
01110-1 1
11100-1 1
101-011 1
01-1011 1
-101011 1
1-10011 1
101-101 1
-101101 1
101-110 1
-101110 1
101-100 1
01-1100 1
-101100 1
1-10100 1
1111000 1
.names _375gat_22_ _52gat_3_ [319]
0- 1
-0 1
.names [319] n_n3993 [387] [333] n_n3994 n_n4014 n_n4017 n_n3728
01-0--- 1
01---1- 1
0--0-1- 1
0-0-1-1 1
0-1-0-1 1
0-1-1-0 1
0-0-0-0 1
-1001-1 1
-1100-1 1
-10-111 1
--00111 1
-11-011 1
--10011 1
-1101-0 1
-1000-0 1
-11-110 1
--10110 1
-10-010 1
--00010 1
.names _358gat_21_ _86gat_5_ [320]
0- 1
-0 1
.names [263] n_n4128 n_n4185 n_n4322 n_n4281 [321] [358] n_n3986
001---1 1
011---0 1
00-11-1 1
-0111-1 1
-1000-1 1
00-1-01 1
-011-01 1
00--101 1
-01-101 1
01-11-0 1
-1111-0 1
-0000-0 1
01-1-00 1
-111-00 1
01--100 1
-11-100 1
11011-1 1
11100-1 1
-100111 1
-101011 1
1101-01 1
110-101 1
10011-0 1
10100-0 1
-000110 1
-001010 1
1001-00 1
100-100 1
1110111 1
1111011 1
1010110 1
1011010 1
.names _358gat_21_ _205gat_12_ [388]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_341gat_20_ n_n4046
---0--- 1
--111-1 1
000---0 1
11-11-1 1
0011--0 1
0101--0 1
11011-0 1
11110-0 1
01110-0 1
10110-0 1
11010-0 1
10010-0 1
1011-00 1
1001-00 1
1001110 1
.names _358gat_21_ _239gat_14_ [261]
0- 1
-0 1
.names _358gat_21_ _239gat_14_ n_n4046 n_n3969
0-0 1
-00 1
111 1
.names _324gat_19_ _137gat_8_ _120gat_7_ _341gat_20_ n_n4215 n_n4276 n_n4307 \
n_n4026
0-110-- 1
-0110-- 1
1-11-1- 1
1-11--1 1
--11-11 1
0---011 1
-0--011 1
11111-- 1
111-11- 1
101-01- 1
111-1-1 1
101-0-1 1
11--111 1
.names _324gat_19_ _171gat_10_ _188gat_11_ _341gat_20_ n_n4279 n_n4219 n_n4316 \
n_n3999
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 _341gat_20_ _205gat_12_ [263]
0- 1
-0 1
.names _324gat_19_ _341gat_20_ _205gat_12_ n_n4185 n_n4322 n_n4281 n_n4042
-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 _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_222gat_13_ n_n4204
011-1-1 1
11-01-1 1
-1101-1 1
1-110-1 1
0111-11 1
111-111 1
11-1111 1
01-1111 1
1-10111 1
11-1011 1
-111011 1
1011-01 1
111-101 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
n_n4205
--101- 1
0101-- 1
001-1- 1
11-10- 1
01-10- 1
11111- 1
100111 1
101110 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_222gat_13_ n_n4128
---00-- 1
0000--- 1
000--0- 1
00--00- 1
01001-- 1
0001-1- 1
00-101- 1
-1101-1 1
100101- 1
100110- 1
100010- 1
100100- 1
11110-1 1
1-10111 1
11-1011 1
11001-0 1
10001-0 1
10-1010 1
10-1000 1
1111111 1
1011111 1
0101111 1
1000111 1
0111011 1
1111101 1
1011101 1
1101101 1
0111110 1
1011110 1
1101110 1
0111100 1
1101100 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _86gat_5_ _69gat_4_ _103gat_6_ \
_52gat_3_ n_n4210
000---- 1
0-0-0-- 1
--000-- 1
---000- 1
00-0-0- 1
10001-- 1
0011-0- 1
011011- 1
101101- 1
11001-1 1
11-0101 1
11011-0 1
1-11010 1
10-0100 1
0-11000 1
1010111 1
0111011 1
1111101 1
0111101 1
1011101 1
1111001 1
1111110 1
0111110 1
1110110 1
1011100 1
.names _290gat_17_ _307gat_18_ _171gat_10_ _273gat_16_ _188gat_11_ _222gat_13_ \
_205gat_12_ n_n4217
00-0--- 1
0--00-- 1
---00-0 1
----000 1
00---00 1
00-1-01 1
10-01-0 1
11001-1 1
10-1011 1
1-01011 1
0-01001 1
11101-0 1
01-1110 1
111-100 1
100-100 1
1101111 1
0101111 1
0111011 1
1111101 1
0111101 1
1011101 1
1001101 1
1111001 1
1011110 1
1101110 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _86gat_5_ _69gat_4_ _52gat_3_ \
n_n4295
0111-1 1
111-11 1
110-11 1
11-011 1
1-1011 1
-11101 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _171gat_10_ _273gat_16_ _154gat_9_ \
n_n4276
0110-- 1
00-11- 1
0-011- 1
011-0- 1
1-00-1 1
10--01 1
1-0-01 1
-110-0 1
-0-110 1
--0110 1
-11-00 1
101111 1
111011 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _171gat_10_ _273gat_16_ _154gat_9_ \
n_n4310
01111- 1
1110-1 1
111-11 1
1-1011 1
111-01 1
-11110 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _188gat_11_ _222gat_13_ _205gat_12_ \
n_n4279
0101-- 1
001-1- 1
0-101- 1
01-10- 1
100--1 1
1-00-1 1
1--001 1
-101-0 1
-01-10 1
--1010 1
-1-100 1
101111 1
111101 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _120gat_7_ _273gat_16_ _154gat_9_ \
n_n4275
101-0- 1
01-10- 1
-1010- 1
1-100- 1
00--11 1
-00-11 1
0--011 1
--0011 1
01-1-0 1
-101-0 1
1-10-0 1
101111 1
111110 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _120gat_7_ _273gat_16_ _103gat_6_ \
n_n4304
1101-1 1
011-11 1
11-111 1
1-0111 1
-11011 1
11-101 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _120gat_7_ _273gat_16_ _103gat_6_ \
_154gat_9_ n_n4213
00--0-- 1
0--00-- 1
--000-- 1
--00--0 1
000---0 1
10010-- 1
001-1-0 1
110101- 1
111100- 1
01011-1 1
10101-1 1
1-10101 1
1101-10 1
1001-00 1
0-10100 1
1001111 1
0110111 1
1111101 1
0111101 1
1101101 1
1111110 1
0111110 1
1011110 1
1110110 1
1011100 1
.names _290gat_17_ _307gat_18_ _171gat_10_ _273gat_16_ _188gat_11_ _205gat_12_ \
_154gat_9_ n_n4216
00-0--- 1
0-00--- 1
--000-- 1
--0-00- 1
00--00- 1
10100-- 1
00-110- 1
100111- 1
011101- 1
11100-1 1
111-001 1
11101-0 1
1-01110 1
0-01100 1
101-000 1
0101111 1
1011011 1
1111101 1
0111101 1
1011101 1
1101101 1
1111110 1
0111110 1
1111010 1
1011100 1
.names _392gat_23_ _35gat_2_ [344]
0- 1
-0 1
.names _86gat_5_ _426gat_25_ [408]
0- 1
-0 1
.names _222gat_13_ _426gat_25_ _443gat_26_ n_n3484 n_n3680 n_n3610 [318] \
n_n3332
1111-1- 1
1100-1- 1
0--1111 1
0--0011 1
--00011 1
0--1101 1
--01101 1
0--1001 1
0--0110 1
--00110 1
0--1010 1
0--1100 1
0--1000 1
--01000 1
11110-1 1
11000-1 1
-001111 1
1-11011 1
1-10101 1
-001001 1
11111-0 1
11001-0 1
1-11110 1
-001010 1
-001100 1
1-10000 1
1010111 1
1010001 1
1010010 1
1010100 1
.names _460gat_27_ _222gat_13_ [352]
0- 1
-0 1
.names [250] n_n3356 n_n3484 [352] [280] n_n3610 n_n3611 n_n3232
-1-0--- 1
-11-0-- 1
--100-- 1
011--1- 1
0-10-1- 1
01--01- 1
0--001- 1
011---1 1
0-10--1 1
01--0-1 1
0--00-1 1
-11--11 1
--10-11 1
-1--011 1
---0011 1
.names _460gat_27_ _205gat_12_ [268]
0- 1
-0 1
.names _460gat_27_ _205gat_12_ _443gat_26_ n_n3460 n_n3459 n_n3332 n_n3179
-0-011 1
-0-101 1
0--001 1
-0-001 1
0--110 1
-0-110 1
1111-1 1
111-11 1
11-111 1
0-0011 1
0-0101 1
0111-0 1
011-10 1
11-000 1
110010 1
110100 1
.names _52gat_3_ _443gat_26_ [443]
0- 1
-0 1
.names n_n3412 n_n3434 [443] [405] n_n3413 n_n3436 [393] n_n3135
110---- 1
1-0---0 1
-10---0 1
--0011- 1
--0101- 1
--0110- 1
--0000- 1
11-011- 1
11-101- 1
11-110- 1
11-000- 1
1--0110 1
-1-0110 1
1--1010 1
-1-1010 1
1--1100 1
-1-1100 1
1--0000 1
-1-0000 1
.names [408] [282] [405] n_n3413 n_n3436 n_n3414 n_n3438 n_n3112
1101-11 1
0001-11 1
110-111 1
000-111 1
11-1111 1
00-1111 1
01-0011 1
10-0011 1
0101-01 1
1001-01 1
010-101 1
100-101 1
01-1101 1
10-1101 1
11-0001 1
00-0001 1
0101-10 1
1001-10 1
010-110 1
100-110 1
01-1110 1
10-1110 1
11-0010 1
00-0010 1
1101-00 1
0001-00 1
110-100 1
000-100 1
11-1100 1
00-1100 1
01-0000 1
10-0000 1
0110111 1
1010111 1
0111011 1
1011011 1
1110101 1
0010101 1
1111001 1
0011001 1
1110110 1
0010110 1
1111010 1
0011010 1
0110100 1
1010100 1
0111000 1
1011000 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _443gat_26_ _494gat_29_ \
n_n3385 n_n3007
1111--- 1
11-1-1- 1
111-11- 1
11-11-1 1
1-111-1 1
111--11 1
-111-11 1
.names _511gat_30_ _35gat_2_ [269]
0- 1
-0 1
.names [269] n_n2827 n_n2836 [330] [385] n_n2802 n_n2825 n_n2541
111101- 1
001101- 1
010101- 1
100101- 1
011001- 1
101001- 1
110001- 1
000001- 1
11110-1 1
00110-1 1
01010-1 1
10010-1 1
01100-1 1
10100-1 1
11000-1 1
00000-1 1
1111-11 1
0011-11 1
0101-11 1
1001-11 1
0110-11 1
1010-11 1
1100-11 1
0000-11 1
0111-00 1
1011-00 1
1101-00 1
0001-00 1
1110-00 1
0010-00 1
0100-00 1
1000-00 1
0111101 1
1011101 1
1101101 1
0001101 1
1110101 1
0010101 1
0100101 1
1000101 1
0111110 1
1011110 1
1101110 1
0001110 1
1110110 1
0010110 1
0100110 1
1000110 1
.names n_n3233 n_n3103 n_n3232 [406] [300] n_n2973 [451] n_n2816
-1--010 1
-1--100 1
000-11- 1
111-01- 1
11-001- 1
-11001- 1
111-10- 1
11-010- 1
-11010- 1
000-00- 1
1-1-010 1
1--0010 1
--10010 1
1-1-100 1
1--0100 1
--10100 1
001111- 1
100111- 1
001100- 1
100100- 1
101-111 1
010-111 1
10-0111 1
-010111 1
101-001 1
010-001 1
10-0001 1
-010001 1
0111111 1
1101111 1
0111001 1
1101001 1
.names _409gat_24_ _120gat_7_ [270]
0- 1
-0 1
.names [270] n_n3742 n_n3712 n_n3739 n_n3711 [335] [351] n_n3415
11111-1 1
00111-1 1
01011-1 1
10011-1 1
01100-1 1
10100-1 1
11000-1 1
00000-1 1
1111-01 1
0011-01 1
0101-01 1
1001-01 1
111-101 1
001-101 1
010-101 1
100-101 1
01111-0 1
10111-0 1
11011-0 1
00011-0 1
11100-0 1
00100-0 1
01000-0 1
10000-0 1
0111-00 1
1011-00 1
1101-00 1
0001-00 1
011-100 1
101-100 1
110-100 1
000-100 1
0110111 1
1010111 1
1100111 1
0000111 1
0111011 1
1011011 1
1101011 1
0001011 1
1110110 1
0010110 1
0100110 1
1000110 1
1111010 1
0011010 1
0101010 1
1001010 1
.names [270] n_n3742 n_n3712 n_n3739 n_n3711 [335] [351] n_n3443
0--11-- 1
0--1-0- 1
0---10- 1
001---1 1
010---1 1
011---0 1
000---0 1
-0111-1 1
-1011-1 1
-011-01 1
-101-01 1
-01-101 1
-10-101 1
-1111-0 1
-0011-0 1
-111-00 1
-001-00 1
-11-100 1
-00-100 1
.names n_n3969 n_n3844 [381] n_n3968 [325] [345] n_n3719 n_n3571
-1--001 1
-1--100 1
00-01-1 1
110-0-1 1
11-10-1 1
-1010-1 1
1-0-001 1
1--1001 1
--01001 1
110-1-0 1
11-11-0 1
-1011-0 1
00-00-0 1
1-0-100 1
1--1100 1
--01100 1
00111-1 1
10101-1 1
100-111 1
10-1111 1
-001111 1
01-0111 1
00110-0 1
10100-0 1
100-010 1
10-1010 1
-001010 1
01-0010 1
0111111 1
1110111 1
0111010 1
1110010 1
.names _392gat_23_ _86gat_5_ [271]
0- 1
-0 1
.names [320] [289] n_n3995 n_n4020 [387] n_n3994 n_n4017 n_n3705
111101- 1
001101- 1
010101- 1
100101- 1
011001- 1
101001- 1
110001- 1
000001- 1
11110-1 1
00110-1 1
01010-1 1
10010-1 1
01100-1 1
10100-1 1
11000-1 1
00000-1 1
1111-11 1
0011-11 1
0101-11 1
1001-11 1
0110-11 1
1010-11 1
1100-11 1
0000-11 1
0111-00 1
1011-00 1
1101-00 1
0001-00 1
1110-00 1
0010-00 1
0100-00 1
1000-00 1
0111101 1
1011101 1
1101101 1
0001101 1
1110101 1
0010101 1
0100101 1
1000101 1
0111110 1
1011110 1
1101110 1
0001110 1
1110110 1
0010110 1
0100110 1
1000110 1
.names _375gat_22_ _69gat_4_ [289]
0- 1
-0 1
.names [320] [289] n_n3995 n_n4020 [387] n_n3994 n_n4017 n_n3730
-0--01- 1
-0--0-1 1
-0---11 1
0011--- 1
1001--- 1
1010--- 1
0000--- 1
0-1101- 1
1-0101- 1
1-1001- 1
0-0001- 1
0-110-1 1
1-010-1 1
1-100-1 1
0-000-1 1
0-11-11 1
1-01-11 1
1-10-11 1
0-00-11 1
.names _375gat_22_ _86gat_5_ [272]
0- 1
-0 1
.names [320] [272] n_n3995 n_n4020 n_n4023 n_n3996 [348] n_n3706
011-111 1
01-1111 1
-111111 1
-000111 1
001-011 1
00-1011 1
-011011 1
-100011 1
001-101 1
00-1101 1
-011101 1
-100101 1
011-001 1
01-1001 1
-111001 1
-000001 1
001-110 1
00-1110 1
-011110 1
-100110 1
011-010 1
01-1010 1
-111010 1
-000010 1
011-100 1
01-1100 1
-111100 1
-000100 1
001-000 1
00-1000 1
-011000 1
-100000 1
1001111 1
1010111 1
1101011 1
1110011 1
1101101 1
1110101 1
1001001 1
1010001 1
1101110 1
1110110 1
1001010 1
1010010 1
1001100 1
1010100 1
1101000 1
1110000 1
.names _375gat_22_ _358gat_21_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4112 \
n_n3844
1-01-0 1
11111- 1
1111-1 1
0101-1 1
1001-1 1
001-11 1
-01011 1
10-101 1
-11001 1
-11010 1
011-00 1
10-100 1
-11000 1
101110 1
.names n_n4046 [261] n_n4204 n_n4205 [274] n_n4082 [358] n_n3903
01--01- 1
10--01- 1
01110-- 1
10110-- 1
0111-1- 1
1011-1- 1
1100-0- 1
0000-0- 1
011-0-0 1
101-0-0 1
01-10-0 1
10-10-0 1
011--10 1
101--10 1
01-1-10 1
10-1-10 1
110011- 1
000011- 1
111110- 1
001110- 1
1101-01 1
0001-01 1
1110-01 1
0010-01 1
111-100 1
001-100 1
11-1100 1
00-1100 1
1101111 1
0001111 1
1110111 1
0010111 1
.names _375gat_22_ _222gat_13_ [381]
0- 1
-0 1
.names _18gat_1_ _358gat_21_ [273]
0- 1
-0 1
.names _324gat_19_ _120gat_7_ _103gat_6_ _341gat_20_ n_n4275 n_n4304 n_n4214 \
n_n3995
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
0-0-010 1
-00-010 1
0--0010 1
0-0-100 1
-00-100 1
0--0100 1
0-0-000 1
-00-000 1
0--0000 1
-0-0000 1
11111-1 1
10101-1 1
1111-11 1
1010-11 1
110-011 1
0-11011 1
110-101 1
0-11101 1
110-001 1
0-11001 1
-011001 1
11-0001 1
10111-0 1
11101-0 1
1011-10 1
1110-10 1
110-110 1
0-11110 1
-011110 1
11-0110 1
1111000 1
.names _324gat_19_ _86gat_5_ _103gat_6_ _341gat_20_ n_n4301 n_n4274 n_n4213 \
n_n4020
11-11-- 1
11-1-1- 1
-1-111- 1
01-1--0 1
-101--0 1
0---110 1
--0-110 1
1111--1 1
111-1-1 1
111--11 1
1-1-111 1
110-1-0 1
110--10 1
.names _358gat_21_ _222gat_13_ [274]
0- 1
-0 1
.names _358gat_21_ _341gat_20_ _222gat_13_ n_n4204 n_n4205 n_n4082 n_n3938
--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 _358gat_21_ _341gat_20_ _222gat_13_ n_n4204 n_n4205 n_n4082 n_n3968
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
-111-1 1
-11-11 1
.names _18gat_1_ _324gat_19_ _35gat_2_ _341gat_20_ n_n4289 n_n4270 n_n4209 \
n_n4009
11-11-- 1
11-1-1- 1
1--111- 1
10-1--0 1
1-01--0 1
-0--110 1
--0-110 1
1111--1 1
111-1-1 1
111--11 1
-11-111 1
110-1-0 1
110--10 1
.names _324gat_19_ _86gat_5_ _69gat_4_ _341gat_20_ n_n4212 n_n4298 n_n4273 \
n_n3993
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 _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_ _120gat_7_ _273gat_16_ _86gat_5_ _69gat_4_ \
_103gat_6_ n_n4211
00-0--- 1
0--00-- 1
--0-0-0 1
---00-0 1
000---0 1
0001--1 1
10-01-0 1
10110-1 1
11-0101 1
1-11001 1
0-01001 1
01111-0 1
110-110 1
11-0110 1
100-100 1
1101111 1
0101111 1
1001111 1
0111011 1
1101011 1
1111101 1
0111101 1
1001101 1
1011110 1
1111100 1
.names _290gat_17_ _18gat_1_ _307gat_18_ _35gat_2_ _273gat_16_ _52gat_3_ \
n_n4269
011-0- 1
10-10- 1
1-010- 1
-1100- 1
00--11 1
0-0-11 1
-0-011 1
--0011 1
011--0 1
10-1-0 1
-110-0 1
110111 1
111110 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _307gat_18_ _35gat_2_ _273gat_16_ \
n_n4286
11110- 1
1111-1 1
10-111 1
1-0111 1
111-01 1
1111-0 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _86gat_5_ _69gat_4_ _52gat_3_ \
n_n4271
0011-- 1
100-1- 1
-0110- 1
010--1 1
01-0-1 1
-10-01 1
-1-001 1
0-11-0 1
1-0-10 1
1--010 1
--1100 1
101111 1
111011 1
.names _290gat_17_ _307gat_18_ _239gat_14_ _273gat_16_ _222gat_13_ _205gat_12_ \
n_n4322
0111-1 1
110-11 1
11-111 1
1-0111 1
11-011 1
-11101 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _120gat_7_ _273gat_16_ _154gat_9_ \
n_n4307
11111- 1
11110- 1
01-111 1
-10111 1
1111-0 1
1-1110 1
.names _290gat_17_ _307gat_18_ _137gat_8_ _171gat_10_ _120gat_7_ _273gat_16_ \
_154gat_9_ n_n4214
00---0- 1
0-0--0- 1
--00--0 1
--0--00 1
00-0--0 1
00-0-11 1
101--00 1
1001-11 1
1-01011 1
0-00011 1
111-001 1
11101-0 1
10100-0 1
0111-10 1
111-100 1
0101111 1
1110111 1
0110111 1
1010111 1
1100111 1
1111011 1
0111011 1
1010011 1
1011110 1
1111010 1
.names _290gat_17_ _307gat_18_ _239gat_14_ _273gat_16_ _188gat_11_ _222gat_13_ \
_205gat_12_ n_n4219
00-0--- 1
0--0--0 1
--0--00 1
---0-00 1
000--0- 1
0001-1- 1
10-0-01 1
11-0011 1
0111-01 1
110-101 1
11-0101 1
100-001 1
1011-10 1
1-11010 1
0-01010 1
1101111 1
0101111 1
1001111 1
1111011 1
0111011 1
1001011 1
1011101 1
1111001 1
0111110 1
1101110 1
.names _324gat_19_ _188gat_11_ _341gat_20_ _205gat_12_ n_n4221 n_n4319 n_n4280 \
n_n4038
011-0-- 1
-1100-- 1
111--1- 1
111---1 1
-11--11 1
0---011 1
---0011 1
11111-- 1
11-111- 1
11-001- 1
11-11-1 1
11-00-1 1
1--1111 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 _409gat_24_ _205gat_12_ [287]
0- 1
-0 1
.names [391] n_n3742 n_n3712 [375] [351] n_n3745 n_n3753 n_n3453
1111-11 1
0001-11 1
0110-11 1
1000-11 1
11-1011 1
1-11011 1
01-0011 1
0-10011 1
0111-01 1
1001-01 1
1110-01 1
0000-01 1
01-1001 1
0-11001 1
11-0001 1
1-10001 1
0111-10 1
1001-10 1
1110-10 1
0000-10 1
01-1010 1
0-11010 1
11-0010 1
1-10010 1
1111-00 1
0001-00 1
0110-00 1
1000-00 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011101 1
1101101 1
0010101 1
0100101 1
1011110 1
1101110 1
0010110 1
0100110 1
0011100 1
0101100 1
1010100 1
1100100 1
.names _222gat_13_ _443gat_26_ [280]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ [281]
0- 1
-0 1
.names _69gat_4_ _443gat_26_ [282]
0- 1
-0 1
.names _188gat_11_ _477gat_28_ [337]
0- 1
-0 1
.names n_n3273 n_n3272 [311] n_n3250 [370] n_n3249 [434] n_n3000
---10-0 1
---1-10 1
----010 1
011---0 1
101---0 1
110---0 1
000---0 1
01110-- 1
10110-- 1
11010-- 1
00010-- 1
0111-1- 1
1011-1- 1
1101-1- 1
0001-1- 1
011-01- 1
101-01- 1
110-01- 1
000-01- 1
.names n_n3273 n_n3272 [281] [311] [457] n_n3307 n_n3308 n_n3001
111-111 1
000-111 1
1-10111 1
-110111 1
001-011 1
110-011 1
1-00011 1
-100011 1
001-101 1
110-101 1
1-00101 1
-100101 1
111-001 1
000-001 1
1-10001 1
-110001 1
001-110 1
110-110 1
1-00110 1
-100110 1
111-010 1
000-010 1
1-10010 1
-110010 1
111-100 1
000-100 1
1-10100 1
-110100 1
001-000 1
110-000 1
1-00000 1
-100000 1
0101111 1
1001111 1
0111011 1
1011011 1
0111101 1
1011101 1
0101001 1
1001001 1
0111110 1
1011110 1
0101010 1
1001010 1
0101100 1
1001100 1
0111000 1
1011000 1
.names _511gat_30_ _69gat_4_ [283]
0- 1
-0 1
.names [373] [283] [353] n_n2863 n_n2862 n_n2887 n_n2888 n_n2580
0111-11 1
0001-11 1
011-111 1
000-111 1
-111111 1
-001111 1
-010011 1
-100011 1
0011-01 1
0101-01 1
001-101 1
010-101 1
-011101 1
-101101 1
-110001 1
-000001 1
0011-10 1
0101-10 1
001-110 1
010-110 1
-011110 1
-101110 1
-110010 1
-000010 1
0111-00 1
0001-00 1
011-100 1
000-100 1
-111100 1
-001100 1
-010000 1
-100000 1
1010111 1
1100111 1
1011011 1
1101011 1
1110101 1
1000101 1
1111001 1
1001001 1
1110110 1
1000110 1
1111010 1
1001010 1
1010100 1
1100100 1
1011000 1
1101000 1
.names _511gat_30_ _86gat_5_ [365]
0- 1
-0 1
.names [365] [315] [353] n_n2915 n_n2914 n_n2887 n_n2888 n_n2625
0-0--1- 1
0-0---1 1
0----11 1
00-11-- 1
01-01-- 1
01-10-- 1
00-00-- 1
-00111- 1
-10011- 1
-10101- 1
-00001- 1
-0011-1 1
-1001-1 1
-1010-1 1
-0000-1 1
-0-1111 1
-1-0111 1
-1-1011 1
-0-0011 1
.names _511gat_30_ _103gat_6_ [297]
0- 1
-0 1
.names [297] n_n2939 [315] n_n2915 n_n2914 n_n2940 [447] n_n2650
0-01--- 1
0-0-1-- 1
0--11-- 1
00---11 1
01---01 1
01---10 1
00---00 1
-001-11 1
-00-111 1
-0-1111 1
-101-01 1
-10-101 1
-1-1101 1
-101-10 1
-10-110 1
-1-1110 1
-001-00 1
-00-100 1
-0-1100 1
.names n_n3114 n_n3137 n_n3135 n_n3112 [339] [446] [441] n_n2827
--11--0 1
--1--00 1
---1-00 1
01--1-0 1
10--1-0 1
11--0-0 1
00--0-0 1
01111-- 1
10111-- 1
11110-- 1
00110-- 1
011-10- 1
101-10- 1
01-110- 1
10-110- 1
111-00- 1
001-00- 1
11-100- 1
00-100- 1
.names n_n3114 n_n3137 n_n3139 [339] [430] n_n3149 [453] n_n2836
111-111 1
000-111 1
1-10111 1
-110111 1
001-011 1
110-011 1
1-00011 1
-100011 1
001-101 1
110-101 1
1-00101 1
-100101 1
111-001 1
000-001 1
1-10001 1
-110001 1
001-110 1
110-110 1
1-00110 1
-100110 1
111-010 1
000-010 1
1-10010 1
-110010 1
111-100 1
000-100 1
1-10100 1
-110100 1
001-000 1
110-000 1
1-00000 1
-100000 1
0101111 1
1001111 1
0111011 1
1011011 1
0111101 1
1011101 1
0101001 1
1001001 1
0111110 1
1011110 1
0101010 1
1001010 1
0101100 1
1001100 1
0111000 1
1011000 1
.names [251] [253] [408] n_n3415 n_n3414 n_n3438 n_n3440 n_n3139
-00-1-- 1
-00--1- 1
-0--11- 1
00-1--1 1
10-0--1 1
10-1--0 1
00-0--0 1
0-011-1 1
1-001-1 1
0-01-11 1
1-00-11 1
0--1111 1
1--0111 1
1-011-0 1
0-001-0 1
1-01-10 1
0-00-10 1
1--1110 1
0--0110 1
.names _137gat_8_ _426gat_25_ [284]
0- 1
-0 1
.names n_n3728 [344] n_n3705 [302] [332] n_n3726 n_n3704 n_n3408
101111- 1
000111- 1
001011- 1
100011- 1
001101- 1
100101- 1
101001- 1
000001- 1
10111-1 1
00011-1 1
00101-1 1
10001-1 1
00110-1 1
10010-1 1
10100-1 1
00000-1 1
1-11111 1
0-01111 1
0-10111 1
1-00111 1
0-11011 1
1-01011 1
1-10011 1
0-00011 1
0-11100 1
1-01100 1
1-10100 1
0-00100 1
1-11000 1
0-01000 1
0-10000 1
1-00000 1
0111101 1
1101101 1
1110101 1
0100101 1
1111001 1
0101001 1
0110001 1
1100001 1
0111110 1
1101110 1
1110110 1
0100110 1
1111010 1
0101010 1
0110010 1
1100010 1
.names [258] [344] n_n3724 n_n3726 n_n3704 [366] n_n3703 n_n3430
0-1--0- 1
0-1---1 1
0----01 1
00-11-- 1
01-01-- 1
01-10-- 1
00-00-- 1
-01110- 1
-11010- 1
-11100- 1
-01000- 1
-0111-1 1
-1101-1 1
-1110-1 1
-0100-1 1
-0-1101 1
-1-0101 1
-1-1001 1
-0-0001 1
.names _426gat_25_ _154gat_9_ [285]
0- 1
-0 1
.names [429] n_n3773 n_n3774 [375] [336] n_n3745 n_n3753 n_n3499
---001- 1
---00-1 1
----011 1
011-0-- 1
101-0-- 1
110-0-- 1
000-0-- 1
0110-1- 1
1010-1- 1
1100-1- 1
0000-1- 1
0110--1 1
1010--1 1
1100--1 1
0000--1 1
011--11 1
101--11 1
110--11 1
000--11 1
.names [429] n_n3773 n_n3774 [354] n_n3792 n_n3793 [423] n_n3500
01-1111 1
0-11111 1
-111111 1
-000111 1
-001011 1
01-0011 1
0-10011 1
-110011 1
-001101 1
01-0101 1
0-10101 1
-110101 1
01-1001 1
0-11001 1
-111001 1
-000001 1
-001110 1
01-0110 1
0-10110 1
-110110 1
01-1010 1
0-11010 1
-111010 1
-000010 1
01-1100 1
0-11100 1
-111100 1
-000100 1
-001000 1
01-0000 1
0-10000 1
-110000 1
1010111 1
1100111 1
1011011 1
1101011 1
1011101 1
1101101 1
1010001 1
1100001 1
1011110 1
1101110 1
1010010 1
1100010 1
1010100 1
1100100 1
1011000 1
1101000 1
.names _409gat_24_ _392gat_23_ _205gat_12_ n_n3903 [381] n_n3697 n_n3822 \
n_n3549
111--11 1
--01111 1
--00011 1
011--01 1
0--0101 1
--00101 1
0--1001 1
--01001 1
0--1110 1
--01110 1
--00110 1
--01010 1
0--0010 1
--00010 1
111011- 1
111101- 1
011010- 1
011100- 1
00-1111 1
1-10111 1
1-11011 1
00-0011 1
00-0110 1
00-1010 1
1-11100 1
1-10000 1
1011101 1
1010001 1
1010100 1
1011000 1
.names [242] [245] n_n4007 [273] n_n4009 n_n3990 n_n3991 n_n3722
001---- 1
00---1- 1
0-1--1- 1
0--01-1 1
0--10-1 1
0--11-0 1
0--00-0 1
-0101-1 1
-0110-1 1
-0-0111 1
--10111 1
-0-1011 1
--11011 1
-0111-0 1
-0100-0 1
-0-1110 1
--11110 1
-0-0010 1
--10010 1
.names [273] n_n4009 [428] n_n4011 n_n3992 [356] n_n3991 n_n3702
011111- 1
010011- 1
010101- 1
011001- 1
010110- 1
011010- 1
011100- 1
010000- 1
0-11111 1
-111111 1
0-00111 1
-100111 1
0-01011 1
-101011 1
0-10011 1
-110011 1
0-01101 1
-101101 1
0-10101 1
-110101 1
0-11001 1
-111001 1
0-00001 1
-100001 1
-001110 1
-010110 1
-011010 1
-000010 1
-011100 1
-000100 1
-001000 1
-010000 1
1001111 1
1010111 1
1011011 1
1000011 1
1011101 1
1000101 1
1001001 1
1010001 1
1101110 1
1110110 1
1111010 1
1100010 1
1111100 1
1100100 1
1101000 1
1110000 1
.names _375gat_22_ _18gat_1_ [428]
0- 1
-0 1
.names [273] n_n4009 [428] n_n4011 n_n3992 [356] n_n3991 n_n3724
010---- 1
0-0---1 1
-10---1 1
--0011- 1
--0101- 1
--0110- 1
--0000- 1
01-011- 1
01-101- 1
01-110- 1
01-000- 1
0--0111 1
-1-0111 1
0--1011 1
-1-1011 1
0--1101 1
-1-1101 1
0--0001 1
-1-0001 1
.names _358gat_21_ _69gat_4_ [387]
0- 1
-0 1
.names _137gat_8_ _358gat_21_ [290]
0- 1
-0 1
.names _358gat_21_ _171gat_10_ [400]
0- 1
-0 1
.names _324gat_19_ _35gat_2_ _341gat_20_ _52gat_3_ n_n4210 n_n4271 n_n4292 \
n_n4011
011-0-- 1
-1100-- 1
111--1- 1
111---1 1
-11--11 1
0---011 1
---0011 1
11111-- 1
11-111- 1
11-001- 1
11-11-1 1
11-00-1 1
1--1111 1
.names _324gat_19_ _69gat_4_ _341gat_20_ _52gat_3_ n_n4295 n_n4211 n_n4272 \
n_n3992
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
0-0-001 1
0--0001 1
-0-0001 1
0-0-100 1
0--0100 1
-0-0100 1
0-0-000 1
-00-000 1
0--0000 1
-0-0000 1
111111- 1
100111- 1
101110- 1
110110- 1
1111-11 1
1001-11 1
0-11011 1
11-0011 1
1011-01 1
1101-01 1
110-101 1
0-11101 1
-011101 1
11-0101 1
0-11110 1
11-0110 1
110-010 1
0-11010 1
-011010 1
11-0010 1
1111000 1
.names _290gat_17_ _307gat_18_ _171gat_10_ _273gat_16_ _188gat_11_ _154gat_9_ \
n_n4313
1111-1 1
1110-1 1
01-111 1
-10111 1
111-01 1
1-1101 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ _222gat_13_ \
n_n4281
001-1- 1
-0101- 1
10-10- 1
010--1 1
-100-1 1
01--01 1
-1-001 1
1-01-0 1
0-1-10 1
--1010 1
1--100 1
101111 1
110111 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ _222gat_13_ \
_205gat_12_ n_n4221
00--0-- 1
--00-0- 1
0---00- 1
---000- 1
0000--- 1
00011-- 1
10-001- 1
011011- 1
101110- 1
1100-11 1
11-0011 1
1000-10 1
11-1010 1
1-11100 1
0-01100 1
1101111 1
0101111 1
1001111 1
1010111 1
0111101 1
1101101 1
1111110 1
0111110 1
1001110 1
1110110 1
.names _290gat_17_ _307gat_18_ _35gat_2_ _273gat_16_ _69gat_4_ _52gat_3_ \
n_n4292
01111- 1
1111-1 1
1110-1 1
111-01 1
1-1101 1
-11110 1
.names _290gat_17_ _307gat_18_ _171gat_10_ _273gat_16_ _188gat_11_ _154gat_9_ \
n_n4277
1010-- 1
00-11- 1
-0011- 1
01-0-1 1
-100-1 1
01--01 1
-10-01 1
1-10-0 1
0--110 1
--0110 1
1-1-00 1
101111 1
111101 1
.names _409gat_24_ _392gat_23_ _188gat_11_ _205gat_12_ n_n3757 n_n3792 n_n3793 \
n_n3548
101-0-- 1
1-100-- 1
111--1- 1
111---1 1
1-1--11 1
-0--011 1
---0011 1
11111-- 1
-11111- 1
-11001- 1
-1111-1 1
-1100-1 1
-1-1111 1
.names [288] n_n3728 n_n3705 n_n3730 n_n3706 [332] [317] n_n3410
11111-1 1
00011-1 1
01101-1 1
10001-1 1
01110-1 1
10010-1 1
11100-1 1
00000-1 1
11-1101 1
1-11101 1
01-0101 1
0-10101 1
01-1001 1
0-11001 1
11-0001 1
1-10001 1
01111-0 1
10011-0 1
11101-0 1
00001-0 1
11110-0 1
00010-0 1
01100-0 1
10000-0 1
01-1100 1
0-11100 1
11-0100 1
1-10100 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011011 1
1101011 1
0010011 1
0100011 1
1011110 1
1101110 1
0010110 1
0100110 1
0011010 1
0101010 1
1010010 1
1100010 1
.names n_n3728 [344] n_n3705 [302] [332] n_n3726 n_n3704 n_n3432
-0-0-1- 1
-0-0--1 1
---0-11 1
0-101-- 1
1-001-- 1
1-100-- 1
0-000-- 1
001-11- 1
100-11- 1
101-01- 1
000-01- 1
001-1-1 1
100-1-1 1
101-0-1 1
000-0-1 1
0-1-111 1
1-0-111 1
1-1-011 1
0-0-011 1
.names _205gat_12_ _443gat_26_ [417]
0- 1
-0 1
.names _69gat_4_ _426gat_25_ [405]
0- 1
-0 1
.names _137gat_8_ _443gat_26_ [407]
0- 1
-0 1
.names n_n3476 [284] [285] n_n3499 n_n3500 [407] n_n3477 n_n3225
10---0- 1
1----01 1
-0---01 1
--0110- 1
--1010- 1
--1100- 1
--0000- 1
10011-- 1
10101-- 1
10110-- 1
10000-- 1
1-011-1 1
-0011-1 1
1-101-1 1
-0101-1 1
1-110-1 1
-0110-1 1
1-000-1 1
-0000-1 1
.names _171gat_10_ _460gat_27_ [311]
0- 1
-0 1
.names _222gat_13_ _477gat_28_ [406]
0- 1
-0 1
.names _205gat_12_ _477gat_28_ [295]
0- 1
-0 1
.names n_n3460 n_n3203 n_n3459 n_n3332 [268] [417] [295] n_n3049
-0-10-1 1
-1-10-0 1
1011--1 1
0100--1 1
101-0-1 1
10-1-01 1
-011-01 1
10--001 1
-01-001 1
1111--0 1
0000--0 1
111-0-0 1
11-1-00 1
-111-00 1
11--000 1
-11-000 1
01011-1 1
11101-1 1
0110-11 1
1100-11 1
11-0101 1
-110101 1
00011-0 1
10101-0 1
0010-10 1
1000-10 1
10-0100 1
-010100 1
0111111 1
1101111 1
0011110 1
1001110 1
.names n_n3460 n_n3203 n_n3459 n_n3332 [268] [417] [295] n_n3077
-1----0 1
-1-10-- 1
---10-0 1
1111--- 1
111-0-- 1
11-1-0- 1
-111-0- 1
11--00- 1
-11-00- 1
1-11--0 1
1-1-0-0 1
1--1-00 1
--11-00 1
1---000 1
--1-000 1
.names _239gat_14_ _460gat_27_ _222gat_13_ _477gat_28_ n_n3312 n_n3232 n_n3078
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 [235] [239] [436] n_n2823 n_n2801 n_n2800 n_n2821 n_n2534
00---1- 1
00----1 1
-0---11 1
-0011-- 1
-0101-- 1
-0110-- 1
-0000-- 1
0-0111- 1
0-1011- 1
0-1101- 1
0-0001- 1
0-011-1 1
0-101-1 1
0-110-1 1
0-000-1 1
--01111 1
--10111 1
--11011 1
--00011 1
.names [436] [385] [395] n_n2823 n_n2801 n_n2802 n_n2825 n_n2521
0111-11 1
0001-11 1
011-111 1
000-111 1
-111111 1
-001111 1
-010011 1
-100011 1
0011-01 1
0101-01 1
001-101 1
010-101 1
-011101 1
-101101 1
-110001 1
-000001 1
0011-10 1
0101-10 1
001-110 1
010-110 1
-011110 1
-101110 1
-110010 1
-000010 1
0111-00 1
0001-00 1
011-100 1
000-100 1
-111100 1
-001100 1
-010000 1
-100000 1
1010111 1
1100111 1
1011011 1
1101011 1
1110101 1
1000101 1
1111001 1
1001001 1
1110110 1
1000110 1
1111010 1
1001010 1
1010100 1
1100100 1
1011000 1
1101000 1
.names [373] n_n2827 n_n2836 [328] [330] n_n2863 n_n2862 n_n2579
-110--- 1
-1-00-- 1
--100-- 1
0--0-11 1
1--0-01 1
1--0-10 1
0--0-00 1
011--11 1
01--011 1
0-1-011 1
111--01 1
11--001 1
1-1-001 1
111--10 1
11--010 1
1-1-010 1
011--00 1
01--000 1
0-1-000 1
.names [297] n_n2939 [315] n_n2915 n_n2914 n_n2940 [447] n_n2626
1101-11 1
0001-11 1
110-111 1
000-111 1
11-1111 1
00-1111 1
01-0011 1
10-0011 1
0101-01 1
1001-01 1
010-101 1
100-101 1
01-1101 1
10-1101 1
11-0001 1
00-0001 1
0101-10 1
1001-10 1
010-110 1
100-110 1
01-1110 1
10-1110 1
11-0010 1
00-0010 1
1101-00 1
0001-00 1
110-100 1
000-100 1
11-1100 1
00-1100 1
01-0000 1
10-0000 1
0110111 1
1010111 1
0111011 1
1011011 1
1110101 1
0010101 1
1111001 1
0011001 1
1110110 1
0010110 1
1111010 1
0011010 1
0110100 1
1010100 1
0111000 1
1011000 1
.names _511gat_30_ _120gat_7_ [298]
0- 1
-0 1
.names [298] n_n2939 n_n2940 n_n2965 [449] n_n2966 [447] n_n2651
111111- 1
000111- 1
011011- 1
100011- 1
011101- 1
100101- 1
111001- 1
000001- 1
011110- 1
100110- 1
111010- 1
000010- 1
111100- 1
000100- 1
011000- 1
100000- 1
11-1110 1
1-11110 1
01-0110 1
0-10110 1
01-1010 1
0-11010 1
11-0010 1
1-10010 1
01-1100 1
0-11100 1
11-0100 1
1-10100 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011011 1
1101011 1
0010011 1
0100011 1
1011101 1
1101101 1
0010101 1
0100101 1
0011001 1
0101001 1
1010001 1
1100001 1
.names _511gat_30_ _137gat_8_ [372]
0- 1
-0 1
.names n_n3000 n_n3001 [372] [433] n_n2965 [449] n_n2966 n_n2710
--0-10- 1
--0-1-1 1
--0--01 1
0101--- 1
1001--- 1
1100--- 1
0000--- 1
01-110- 1
10-110- 1
11-010- 1
00-010- 1
01-11-1 1
10-11-1 1
11-01-1 1
00-01-1 1
01-1-01 1
10-1-01 1
11-0-01 1
00-0-01 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 _511gat_30_ _222gat_13_ [300]
0- 1
-0 1
.names _120gat_7_ _426gat_25_ [310]
0- 1
-0 1
.names _188gat_11_ _426gat_25_ [301]
0- 1
-0 1
.names _409gat_24_ _35gat_2_ [302]
0- 1
-0 1
.names _392gat_23_ _52gat_3_ [332]
0- 1
-0 1
.names _409gat_24_ _222gat_13_ [325]
0- 1
-0 1
.names n_n3969 n_n3844 [381] n_n3968 [325] [345] n_n3719 n_n3610
----0-1 1
-1--00- 1
-1---01 1
110-0-- 1
11-10-- 1
-1010-- 1
1-0-00- 1
1--100- 1
--0100- 1
110---1 1
11-1--1 1
-101--1 1
1-0--01 1
1--1-01 1
--01-01 1
.names n_n3993 n_n4011 n_n3992 [346] [333] n_n4014 [356] n_n3726
-110--- 1
-1-0--0 1
--10--0 1
0--011- 1
1--001- 1
1--010- 1
0--000- 1
011-11- 1
111-01- 1
111-10- 1
011-00- 1
01--110 1
0-1-110 1
11--010 1
1-1-010 1
11--100 1
1-1-100 1
01--000 1
0-1-000 1
.names [319] n_n3993 [387] [333] n_n3994 n_n4014 n_n4017 n_n3704
11101-1 1
01001-1 1
01100-1 1
11000-1 1
111-111 1
010-111 1
1-10111 1
0-00111 1
011-011 1
110-011 1
0-10011 1
1-00011 1
001-101 1
100-101 1
101-001 1
000-001 1
01101-0 1
11001-0 1
11100-0 1
01000-0 1
011-110 1
110-110 1
0-10110 1
1-00110 1
111-010 1
010-010 1
1-10010 1
0-00010 1
101-100 1
000-100 1
001-000 1
100-000 1
0011111 1
1001111 1
1011011 1
0001011 1
0111101 1
1101101 1
1111001 1
0101001 1
1011110 1
0001110 1
0011010 1
1001010 1
1111100 1
0101100 1
0111000 1
1101000 1
.names n_n4029 n_n3999 [290] [376] [305] n_n4032 n_n3998 n_n3742
1-00--- 1
1--0--1 1
--00--1 1
-0-011- 1
-1-001- 1
-1-010- 1
-0-000- 1
100-11- 1
110-01- 1
110-10- 1
100-00- 1
10--111 1
-00-111 1
11--011 1
-10-011 1
11--101 1
-10-101 1
10--001 1
-00-001 1
.names n_n3999 [400] [305] n_n4035 n_n4001 n_n4032 [380] n_n3712
11011-1 1
10001-1 1
10010-1 1
11000-1 1
11-1111 1
-101111 1
10-0111 1
-000111 1
10-1011 1
-001011 1
11-0011 1
-100011 1
00-1101 1
01-0101 1
01-1001 1
00-0001 1
10011-0 1
11001-0 1
11010-0 1
10000-0 1
10-1110 1
-001110 1
11-0110 1
-100110 1
11-1010 1
-101010 1
10-0010 1
-000010 1
01-1100 1
00-0100 1
00-1000 1
01-0000 1
0011111 1
0110111 1
0111011 1
0010011 1
1011101 1
1110101 1
1111001 1
1010001 1
0111110 1
0010110 1
0011010 1
0110010 1
1111100 1
1010100 1
1011000 1
1110000 1
.names [388] n_n3903 [381] n_n3938 n_n4062 [378] n_n4061 n_n3757
-011-0- 1
-101-0- 1
00111-- 1
01011-- 1
001-10- 1
010-10- 1
0011--1 1
0101--1 1
-0111-1 1
-1011-1 1
001--01 1
010--01 1
-01-101 1
-10-101 1
-1100-0 1
-0000-0 1
011011- 1
000011- 1
11100-1 1
10000-1 1
0110-11 1
0000-11 1
-110111 1
-000111 1
11101-0 1
10001-0 1
-111010 1
-001010 1
1111011 1
1001011 1
1111110 1
1001110 1
.names _392gat_23_ _205gat_12_ [304]
0- 1
-0 1
.names _375gat_22_ _35gat_2_ [346]
0- 1
-0 1
.names _375gat_22_ _137gat_8_ [376]
0- 1
-0 1
.names _358gat_21_ _52gat_3_ [333]
0- 1
-0 1
.names _358gat_21_ _154gat_9_ [305]
0- 1
-0 1
.names _324gat_19_ _86gat_5_ _103gat_6_ _341gat_20_ n_n4301 n_n4274 n_n4213 \
n_n3994
00--111 1
-00-111 1
0--0111 1
--00111 1
00--010 1
-00-010 1
0--0010 1
00--100 1
-00-100 1
0--0100 1
00--000 1
-00-000 1
0--0000 1
--00000 1
11111-1 1
11001-1 1
1111-11 1
1100-11 1
101-011 1
01-1011 1
101-101 1
01-1101 1
101-001 1
01-1001 1
-101001 1
1-10001 1
11011-0 1
11101-0 1
1101-10 1
1110-10 1
101-110 1
01-1110 1
-101110 1
1-10110 1
1111000 1
.names _290gat_17_ _307gat_18_ _35gat_2_ _273gat_16_ _69gat_4_ _52gat_3_ \
n_n4270
0110-- 1
00-11- 1
0-011- 1
011-0- 1
10-0-1 1
1-00-1 1
1-0-01 1
-110-0 1
-0-110 1
--0110 1
-11-00 1
101111 1
111101 1
.names _324gat_19_ _69gat_4_ _341gat_20_ _52gat_3_ n_n4295 n_n4211 n_n4272 \
n_n4014
1-111-- 1
0-11-0- 1
-011-0- 1
1-11--1 1
--111-1 1
0---101 1
-0--101 1
1111-1- 1
11-111- 1
10-110- 1
11-1-11 1
11--111 1
10-1-01 1
.names _324gat_19_ _120gat_7_ _103gat_6_ _341gat_20_ n_n4275 n_n4304 n_n4214 \
n_n4023
1-111-- 1
1-11-1- 1
--1111- 1
0-11--0 1
-011--0 1
0---110 1
-0--110 1
1111--1 1
111-1-1 1
111--11 1
11--111 1
101-1-0 1
101--10 1
.names _324gat_19_ _137gat_8_ _120gat_7_ _341gat_20_ n_n4215 n_n4276 n_n4307 \
n_n3996
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 n_n3476 n_n3443 n_n3453 [284] [310] n_n3477 [363] n_n3195
-11---0 1
-1--0-0 1
--1-0-0 1
0--1-10 1
1--0-10 1
1--1-00 1
0--0-00 1
0111-1- 1
1110-1- 1
01-101- 1
0-1101- 1
11-001- 1
1-1001- 1
1111-0- 1
0110-0- 1
11-100- 1
1-1100- 1
01-000- 1
0-1000- 1
.names n_n3476 [284] [285] n_n3499 n_n3500 [407] n_n3477 n_n3196
101111- 1
100011- 1
100101- 1
101001- 1
100110- 1
101010- 1
101100- 1
100000- 1
1-11111 1
-011111 1
1-00111 1
-000111 1
1-01011 1
-001011 1
1-10011 1
-010011 1
1-01101 1
-001101 1
1-10101 1
-010101 1
1-11001 1
-011001 1
1-00001 1
-000001 1
0-01110 1
0-10110 1
0-11010 1
0-00010 1
0-11100 1
0-00100 1
0-01000 1
0-10000 1
0101111 1
0110111 1
0111011 1
0100011 1
0111101 1
0100101 1
0101001 1
0110001 1
1101110 1
1110110 1
1111010 1
1100010 1
1111100 1
1100100 1
1101000 1
1110000 1
.names _120gat_7_ _477gat_28_ [437]
0- 1
-0 1
.names n_n3226 n_n3225 n_n3195 n_n3196 [437] [374] [445] n_n2939
--110-- 1
--1-0-0 1
---10-0 1
01--01- 1
10--01- 1
11--00- 1
00--00- 1
0111-1- 1
1011-1- 1
1111-0- 1
0011-0- 1
011--10 1
101--10 1
01-1-10 1
10-1-10 1
111--00 1
001--00 1
11-1-00 1
00-1-00 1
.names _511gat_30_ _154gat_9_ [314]
0- 1
-0 1
.names n_n3000 n_n3001 [314] n_n3025 n_n3026 [455] [433] n_n2711
111111- 1
000111- 1
001011- 1
110011- 1
001101- 1
110101- 1
111001- 1
000001- 1
001110- 1
110110- 1
111010- 1
000010- 1
111100- 1
000100- 1
001000- 1
110000- 1
1-11110 1
-111110 1
1-00110 1
-100110 1
1-01010 1
-101010 1
1-10010 1
-110010 1
1-01100 1
-101100 1
1-10100 1
-110100 1
1-11000 1
-111000 1
1-00000 1
-100000 1
0101111 1
1001111 1
0110111 1
1010111 1
0111011 1
1011011 1
0100011 1
1000011 1
0111101 1
1011101 1
0100101 1
1000101 1
0101001 1
1001001 1
0110001 1
1010001 1
.names _103gat_6_ _494gat_29_ [315]
0- 1
-0 1
.names _171gat_10_ _426gat_25_ [316]
0- 1
-0 1
.names _409gat_24_ _52gat_3_ [317]
0- 1
-0 1
.names _409gat_24_ _239gat_14_ [318]
0- 1
-0 1
.names _409gat_24_ _239gat_14_ n_n3680 n_n3611
0-0 1
-00 1
111 1
.names n_n4029 n_n4026 [290] [357] [367] n_n3998 n_n3997 n_n3739
-1-00-- 1
-1--0-1 1
---00-1 1
0-1-01- 1
1-0-01- 1
1-1-00- 1
0-0-00- 1
0110-1- 1
1100-1- 1
1110-0- 1
0100-0- 1
011--11 1
110--11 1
0-10-11 1
1-00-11 1
111--01 1
010--01 1
1-10-01 1
0-00-01 1
.names n_n4029 n_n3999 [290] [376] [305] n_n4032 n_n3998 n_n3711
110111- 1
100011- 1
100101- 1
110001- 1
100110- 1
110010- 1
110100- 1
100000- 1
11-1111 1
-101111 1
10-0111 1
-000111 1
10-1011 1
-001011 1
11-0011 1
-100011 1
10-1101 1
-001101 1
11-0101 1
-100101 1
11-1001 1
-101001 1
10-0001 1
-000001 1
00-1110 1
01-0110 1
01-1010 1
00-0010 1
01-1100 1
00-0100 1
00-1000 1
01-0000 1
0011111 1
0110111 1
0111011 1
0010011 1
0111101 1
0010101 1
0011001 1
0110001 1
1011110 1
1110110 1
1111010 1
1010010 1
1111100 1
1010100 1
1011000 1
1110000 1
.names _358gat_21_ _120gat_7_ [357]
0- 1
-0 1
.names _324gat_19_ _205gat_12_ [321]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _86gat_5_ _69gat_4_ _103gat_6_ \
n_n4298
11111- 1
11011- 1
011-11 1
-11011 1
11-110 1
1-1110 1
.names _290gat_17_ _307gat_18_ _120gat_7_ _273gat_16_ _86gat_5_ _103gat_6_ \
n_n4273
0011-- 1
010-1- 1
01-01- 1
0-110- 1
10-0-1 1
1-0-01 1
1--001 1
-011-0 1
-10-10 1
-1-010 1
--1100 1
101111 1
110111 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
_341gat_20_ n_n4112
-1111-- 1
--111-1 1
1-1111- 1
11-11-1 1
.names _171gat_10_ _443gat_26_ [326]
0- 1
-0 1
.names n_n3549 n_n3548 [301] [316] [326] n_n3528 n_n3529 n_n3250
111011- 1
001011- 1
010011- 1
100011- 1
011001- 1
101001- 1
110001- 1
000001- 1
11101-1 1
00101-1 1
01001-1 1
10001-1 1
01100-1 1
10100-1 1
11000-1 1
00000-1 1
111-111 1
001-111 1
010-111 1
100-111 1
011-011 1
101-011 1
110-011 1
000-011 1
011-100 1
101-100 1
110-100 1
000-100 1
111-000 1
001-000 1
010-000 1
100-000 1
0111101 1
1011101 1
1101101 1
0001101 1
1111001 1
0011001 1
0101001 1
1001001 1
0111110 1
1011110 1
1101110 1
0001110 1
1111010 1
0011010 1
0101010 1
1001010 1
.names _18gat_1_ _443gat_26_ [327]
0- 1
-0 1
.names n_n3408 n_n3430 n_n3410 n_n3432 [327] [394] [383] n_n3131
11--0-- 1
1---00- 1
-1--00- 1
--010-1 1
--100-1 1
--110-0 1
--000-0 1
1101--1 1
1110--1 1
1-01-01 1
-101-01 1
1-10-01 1
-110-01 1
1111--0 1
1100--0 1
1-11-00 1
-111-00 1
1-00-00 1
-100-00 1
.names n_n3408 n_n3430 n_n3410 n_n3432 [327] [394] [383] n_n3108
11111-1 1
00011-1 1
00101-1 1
11001-1 1
00110-1 1
11010-1 1
11100-1 1
00000-1 1
1-11101 1
-111101 1
1-00101 1
-100101 1
1-01001 1
-101001 1
1-10001 1
-110001 1
00111-0 1
11011-0 1
11101-0 1
00001-0 1
11110-0 1
00010-0 1
00100-0 1
11000-0 1
1-01100 1
-101100 1
1-10100 1
-110100 1
1-11000 1
-111000 1
1-00000 1
-100000 1
0101111 1
1001111 1
0110111 1
1010111 1
0111011 1
1011011 1
0100011 1
1000011 1
0111110 1
1011110 1
0100110 1
1000110 1
0101010 1
1001010 1
0110010 1
1010010 1
.names [236] [237] n_n3407 n_n3408 n_n3430 n_n3428 [394] n_n3129
001---- 1
00---1- 1
0-1--1- 1
0--01-1 1
0--10-1 1
0--11-0 1
0--00-0 1
-0101-1 1
-0110-1 1
-0-0111 1
--10111 1
-0-1011 1
--11011 1
-0111-0 1
-0100-0 1
-0-1110 1
--11110 1
-0-0010 1
--10010 1
.names _171gat_10_ _477gat_28_ [457]
0- 1
-0 1
.names n_n3273 n_n3272 [281] [311] [457] n_n3307 n_n3308 n_n3025
11--0-- 1
1--00-- 1
-1-00-- 1
--0-011 1
--1-001 1
--1-010 1
--0-000 1
110--11 1
1-00-11 1
-100-11 1
111--01 1
1-10-01 1
-110-01 1
111--10 1
1-10-10 1
-110-10 1
110--00 1
1-00-00 1
-100-00 1
.names [436] [385] [395] n_n2823 n_n2801 n_n2802 n_n2825 n_n2536
0-01--- 1
0-0-1-- 1
--011-- 1
-00--11 1
-10--01 1
-10--10 1
-00--00 1
00-1-11 1
00--111 1
-0-1111 1
01-1-01 1
01--101 1
-1-1101 1
01-1-10 1
01--110 1
-1-1110 1
00-1-00 1
00--100 1
-0-1100 1
.names _511gat_30_ _52gat_3_ [328]
0- 1
-0 1
.names [373] n_n2827 n_n2836 [328] [330] n_n2863 n_n2862 n_n2560
1111-11 1
0001-11 1
0110-11 1
1000-11 1
11-1011 1
1-11011 1
01-0011 1
0-10011 1
0111-01 1
1001-01 1
1110-01 1
0000-01 1
01-1001 1
0-11001 1
11-0001 1
1-10001 1
0111-10 1
1001-10 1
1110-10 1
0000-10 1
01-1010 1
0-11010 1
11-0010 1
1-10010 1
1111-00 1
0001-00 1
0110-00 1
1000-00 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011101 1
1101101 1
0010101 1
0100101 1
1011110 1
1101110 1
0010110 1
0100110 1
0011100 1
0101100 1
1010100 1
1100100 1
.names _171gat_10_ _528gat_31_ [329]
0- 1
-0 1
.names _511gat_30_ _171gat_10_ _494gat_29_ n_n3025 n_n3026 n_n2895 n_n2738
-0-011 1
-0-101 1
0--001 1
-0-001 1
0--110 1
-0-110 1
1111-1 1
111-11 1
11-111 1
0-0011 1
0-0101 1
0111-0 1
011-10 1
11-000 1
110010 1
110100 1
.names n_n3000 n_n3001 [314] n_n3025 n_n3026 [455] [433] n_n2737
110---- 1
1-0---0 1
-10---0 1
--0011- 1
--0101- 1
--0110- 1
--0000- 1
11-011- 1
11-101- 1
11-110- 1
11-000- 1
1--0110 1
-1-0110 1
1--1010 1
-1-1010 1
1--1100 1
-1-1100 1
1--0000 1
-1-0000 1
.names _52gat_3_ _494gat_29_ [330]
0- 1
-0 1
.names _409gat_24_ _69gat_4_ [331]
0- 1
-0 1
.names _18gat_1_ _392gat_23_ [366]
0- 1
-0 1
.names _392gat_23_ _154gat_9_ [375]
0- 1
-0 1
.names _375gat_22_ _120gat_7_ [367]
0- 1
-0 1
.names _324gat_19_ _171gat_10_ _188gat_11_ _341gat_20_ n_n4279 n_n4219 n_n4316 \
n_n4035
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 _324gat_19_ _188gat_11_ _341gat_20_ _205gat_12_ n_n4221 n_n4319 n_n4280 \
n_n4001
00--111 1
0-0-111 1
-0-0111 1
--00111 1
00--001 1
0-0-001 1
-0-0001 1
00--010 1
0-0-010 1
-0-0010 1
00--000 1
0-0-000 1
-0-0000 1
--00000 1
111111- 1
110011- 1
110101- 1
111001- 1
11111-1 1
11001-1 1
11010-1 1
11100-1 1
011-011 1
10-1011 1
1-01011 1
-110011 1
011-101 1
10-1101 1
011-110 1
10-1110 1
011-100 1
10-1100 1
1-01100 1
-110100 1
1111000 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _188gat_11_ _222gat_13_ _205gat_12_ \
n_n4319
01111- 1
1111-1 1
1101-1 1
11-101 1
1-1101 1
-11110 1
.names _290gat_17_ _307gat_18_ _273gat_16_ _86gat_5_ _69gat_4_ _103gat_6_ \
n_n4272
1001-- 1
010-1- 1
-1001- 1
1-010- 1
001--1 1
-010-1 1
0-1-01 1
--1001 1
01--10 1
-1-010 1
1--100 1
101111 1
111110 1
.names _290gat_17_ _307gat_18_ _35gat_2_ _273gat_16_ _86gat_5_ _69gat_4_ \
_52gat_3_ n_n4209
00-0--- 1
0--0--0 1
---0-00 1
----000 1
00--00- 1
00-101- 1
10-0-01 1
1100-11 1
1110-01 1
01-1101 1
111-001 1
100-001 1
10-1110 1
1-01110 1
0-01010 1
1101111 1
0101111 1
1111011 1
0111011 1
1011011 1
1001011 1
1011101 1
1101101 1
0111110 1
1111010 1
.names _392gat_23_ _120gat_7_ [335]
0- 1
-0 1
.names _409gat_24_ _154gat_9_ [336]
0- 1
-0 1
.names [429] n_n3773 n_n3774 [375] [336] n_n3745 n_n3753 n_n3477
111011- 1
001011- 1
010011- 1
100011- 1
011001- 1
101001- 1
110001- 1
000001- 1
11101-1 1
00101-1 1
01001-1 1
10001-1 1
01100-1 1
10100-1 1
11000-1 1
00000-1 1
111-111 1
001-111 1
010-111 1
100-111 1
011-011 1
101-011 1
110-011 1
000-011 1
011-100 1
101-100 1
110-100 1
000-100 1
111-000 1
001-000 1
010-000 1
100-000 1
0111101 1
1011101 1
1101101 1
0001101 1
1111001 1
0011001 1
0101001 1
1001001 1
0111110 1
1011110 1
1101110 1
0001110 1
1111010 1
0011010 1
0101010 1
1001010 1
.names n_n3412 n_n3434 n_n3410 n_n3432 [379] [383] [393] n_n3133
--110-- 1
--1-00- 1
---100- 1
01--0-1 1
10--0-1 1
11--0-0 1
00--0-0 1
0111--1 1
1011--1 1
011--01 1
101--01 1
01-1-01 1
10-1-01 1
1111--0 1
0011--0 1
111--00 1
001--00 1
11-1-00 1
00-1-00 1
.names n_n3412 n_n3434 [443] [405] n_n3413 n_n3436 [393] n_n3110
111111- 1
000111- 1
001011- 1
110011- 1
001101- 1
110101- 1
111001- 1
000001- 1
001110- 1
110110- 1
111010- 1
000010- 1
111100- 1
000100- 1
001000- 1
110000- 1
1-11110 1
-111110 1
1-00110 1
-100110 1
1-01010 1
-101010 1
1-10010 1
-110010 1
1-01100 1
-101100 1
1-10100 1
-110100 1
1-11000 1
-111000 1
1-00000 1
-100000 1
0101111 1
1001111 1
0110111 1
1010111 1
0111011 1
1011011 1
0100011 1
1000011 1
0111101 1
1011101 1
0100101 1
1000101 1
0101001 1
1001001 1
0110001 1
1010001 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 _460gat_27_ _103gat_6_ [338]
0- 1
-0 1
.names _69gat_4_ _460gat_27_ [339]
0- 1
-0 1
.names [365] [315] [353] n_n2915 n_n2914 n_n2887 n_n2888 n_n2603
110111- 1
000111- 1
010011- 1
100011- 1
010101- 1
100101- 1
110001- 1
000001- 1
11011-1 1
00011-1 1
01001-1 1
10001-1 1
01010-1 1
10010-1 1
11000-1 1
00000-1 1
11-1111 1
00-1111 1
01-0111 1
10-0111 1
01-1011 1
10-1011 1
11-0011 1
00-0011 1
01-1100 1
10-1100 1
11-0100 1
00-0100 1
11-1000 1
00-1000 1
01-0000 1
10-0000 1
0111101 1
1011101 1
1110101 1
0010101 1
1111001 1
0011001 1
0110001 1
1010001 1
0111110 1
1011110 1
1110110 1
0010110 1
1111010 1
0011010 1
0110010 1
1010010 1
.names [373] [283] [353] n_n2863 n_n2862 n_n2887 n_n2888 n_n2602
00-1--- 1
00--1-- 1
-0-11-- 1
-00--11 1
-01--01 1
-01--10 1
-00--00 1
0-01-11 1
0-0-111 1
--01111 1
0-11-01 1
0-1-101 1
--11101 1
0-11-10 1
0-1-110 1
--11110 1
0-01-00 1
0-0-100 1
--01100 1
.names _511gat_30_ _205gat_12_ [342]
0- 1
-0 1
.names _511gat_30_ _205gat_12_ _494gat_29_ n_n3077 n_n3078 n_n2947 n_n2790
-0-011 1
-0-101 1
0--001 1
-0-001 1
0--110 1
-0-110 1
1111-1 1
111-11 1
11-111 1
0-0011 1
0-0101 1
0111-0 1
011-10 1
11-000 1
110010 1
110100 1
.names _409gat_24_ _171gat_10_ [354]
0- 1
-0 1
.names [429] n_n3773 n_n3774 [354] n_n3792 n_n3793 [423] n_n3528
01-0--- 1
0-10--- 1
-110--- 1
---0011 1
---0101 1
---0110 1
---0000 1
01--011 1
0-1-011 1
-11-011 1
01--101 1
0-1-101 1
-11-101 1
01--110 1
0-1-110 1
-11-110 1
01--000 1
0-1-000 1
-11-000 1
.names _392gat_23_ _222gat_13_ [345]
0- 1
-0 1
.names _375gat_22_ _392gat_23_ _222gat_13_ n_n4046 [261] n_n3844 n_n3968 \
n_n3697
111--11 1
--01111 1
--00011 1
101--01 1
-0-0101 1
--00101 1
-0-1001 1
--01001 1
-0-1110 1
--01110 1
--00110 1
--01010 1
-0-0010 1
--00010 1
111011- 1
111101- 1
101010- 1
101100- 1
00-1111 1
-110111 1
-111011 1
00-0011 1
00-0110 1
00-1010 1
-111100 1
-110000 1
0111101 1
0110001 1
0110100 1
0111000 1
.names n_n3993 n_n4011 n_n3992 [346] [333] n_n4014 [356] n_n3703
111111- 1
000111- 1
011011- 1
100011- 1
011101- 1
100101- 1
111001- 1
000001- 1
011110- 1
100110- 1
111010- 1
000010- 1
111100- 1
000100- 1
011000- 1
100000- 1
11-1110 1
1-11110 1
01-0110 1
0-10110 1
01-1010 1
0-11010 1
11-0010 1
1-10010 1
01-1100 1
0-11100 1
11-0100 1
1-10100 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011011 1
1101011 1
0010011 1
0100011 1
1011101 1
1101101 1
0010101 1
0100101 1
0011001 1
0101001 1
1010001 1
1100001 1
.names _358gat_21_ _103gat_6_ [348]
0- 1
-0 1
.names _358gat_21_ _188gat_11_ [349]
0- 1
-0 1
.names _324gat_19_ _86gat_5_ _69gat_4_ _341gat_20_ n_n4212 n_n4298 n_n4273 \
n_n4017
0-110-- 1
-0110-- 1
1-11-1- 1
1-11--1 1
--11-11 1
0---011 1
-0--011 1
11111-- 1
111-11- 1
101-01- 1
111-1-1 1
101-0-1 1
11--111 1
.names _137gat_8_ _392gat_23_ [351]
0- 1
-0 1
.names _188gat_11_ _426gat_25_ _443gat_26_ n_n3549 n_n3548 n_n3422 n_n3307
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
11-1-1 1
11--11 1
.names _222gat_13_ _205gat_12_ _426gat_25_ _443gat_26_ n_n3459 n_n3610 n_n3611 \
n_n3308
00--111 1
-00-111 1
0--0111 1
--00111 1
00--001 1
-00-001 1
0--0001 1
--00001 1
00--010 1
-00-010 1
0--0010 1
--00010 1
00--100 1
-00-100 1
0--0100 1
--00100 1
101-011 1
01-1011 1
-101011 1
1-10011 1
101-101 1
01-1101 1
-101101 1
1-10101 1
101-110 1
01-1110 1
-101110 1
1-10110 1
101-000 1
01-1000 1
-101000 1
1-10000 1
1111111 1
1111001 1
1111010 1
1111100 1
.names _35gat_2_ _443gat_26_ [379]
0- 1
-0 1
.names n_n3412 n_n3434 n_n3410 n_n3432 [379] [383] [393] n_n3109
11111-1 1
00111-1 1
01001-1 1
10001-1 1
01110-1 1
10110-1 1
11000-1 1
00000-1 1
111-101 1
001-101 1
11-1101 1
00-1101 1
011-001 1
101-001 1
01-1001 1
10-1001 1
01111-0 1
10111-0 1
11001-0 1
00001-0 1
11110-0 1
00110-0 1
01000-0 1
10000-0 1
011-100 1
101-100 1
01-1100 1
10-1100 1
111-000 1
001-000 1
11-1000 1
00-1000 1
0101111 1
1001111 1
0110111 1
1010111 1
1101011 1
0001011 1
1110011 1
0010011 1
1101110 1
0001110 1
1110110 1
0010110 1
0101010 1
1001010 1
0110010 1
1010010 1
.names _86gat_5_ _460gat_27_ [430]
0- 1
-0 1
.names _86gat_5_ _494gat_29_ [353]
0- 1
-0 1
.names _409gat_24_ _392gat_23_ _188gat_11_ _205gat_12_ n_n3757 n_n3792 n_n3793 \
n_n3529
00--111 1
-00-111 1
0--0111 1
--00111 1
00--001 1
-00-001 1
--00001 1
00--010 1
-00-010 1
--00010 1
00--000 1
-00-000 1
0--0000 1
--00000 1
111111- 1
011011- 1
011101- 1
111001- 1
11111-1 1
01101-1 1
01110-1 1
11100-1 1
101-011 1
01-1011 1
-101011 1
1-10011 1
101-101 1
-101101 1
101-110 1
-101110 1
101-100 1
01-1100 1
-101100 1
1-10100 1
1111000 1
.names n_n3999 [400] [305] n_n4035 n_n4001 n_n4032 [380] n_n3745
1-0---0 1
1----10 1
--0--10 1
-0-11-0 1
-1-01-0 1
-1-10-0 1
-0-00-0 1
10011-- 1
11001-- 1
11010-- 1
10000-- 1
10-111- 1
-00111- 1
11-011- 1
-10011- 1
11-101- 1
-10101- 1
10-001- 1
-00001- 1
.names n_n4042 n_n4038 [400] n_n4035 n_n4001 [349] [420] n_n3753
1101-11 1
0001-11 1
110-111 1
000-111 1
11-1111 1
00-1111 1
01-0011 1
10-0011 1
0101-01 1
1001-01 1
010-101 1
100-101 1
01-1101 1
10-1101 1
11-0001 1
00-0001 1
0101-10 1
1001-10 1
010-110 1
100-110 1
01-1110 1
10-1110 1
11-0010 1
00-0010 1
1101-00 1
0001-00 1
110-100 1
000-100 1
11-1100 1
00-1100 1
01-0000 1
10-0000 1
0110111 1
1010111 1
0111011 1
1011011 1
1110101 1
0010101 1
1111001 1
0011001 1
1110110 1
0010110 1
1111010 1
0011010 1
0110100 1
1010100 1
0111000 1
1011000 1
.names _375gat_22_ _103gat_6_ [444]
0- 1
-0 1
.names n_n4026 n_n4023 n_n3996 [357] [348] [444] n_n3997 n_n3736
-11--0- 1
-1--00- 1
--1-00- 1
0--1-01 1
1--0-01 1
1--1-00 1
0--0-00 1
0111--1 1
1110--1 1
01-10-1 1
0-110-1 1
11-00-1 1
1-100-1 1
1111--0 1
0110--0 1
11-10-0 1
1-110-0 1
01-00-0 1
0-100-0 1
.names _358gat_21_ _35gat_2_ [356]
0- 1
-0 1
.names _341gat_20_ _222gat_13_ [358]
0- 1
-0 1
.names _341gat_20_ _222gat_13_ n_n4128 n_n4062
0-0 1
-00 1
111 1
.names _290gat_17_ _18gat_1_ _307gat_18_ _35gat_2_ _273gat_16_ _69gat_4_ \
_52gat_3_ n_n4208
0-0-0-- 1
0--00-- 1
---00-0 1
---0-00 1
0-0--00 1
0-0-101 1
1-010-0 1
10110-1 1
10-0111 1
1-00111 1
00-0101 1
11110-0 1
0-11110 1
1111-00 1
1001-00 1
1011111 1
0011111 1
0110111 1
1111101 1
0111101 1
1101101 1
1001101 1
1110101 1
1011110 1
1101110 1
.names _290gat_17_ _307gat_18_ _171gat_10_ _273gat_16_ _188gat_11_ _205gat_12_ \
n_n4316
11111- 1
11101- 1
0111-1 1
-11101 1
111-10 1
1-1110 1
.names _409gat_24_ _86gat_5_ [361]
0- 1
-0 1
.names [259] [271] n_n3736 [361] n_n3709 n_n3733 n_n3707 n_n3413
101111- 1
000111- 1
001011- 1
100011- 1
001101- 1
100101- 1
101001- 1
000001- 1
10111-1 1
00011-1 1
00101-1 1
10001-1 1
00110-1 1
10010-1 1
10100-1 1
00000-1 1
1-11111 1
0-01111 1
0-10111 1
1-00111 1
0-11011 1
1-01011 1
1-10011 1
0-00011 1
0-11100 1
1-01100 1
1-10100 1
0-00100 1
1-11000 1
0-01000 1
0-10000 1
1-00000 1
0111101 1
1101101 1
1110101 1
0100101 1
1111001 1
0101001 1
0110001 1
1100001 1
0111110 1
1101110 1
1110110 1
0100110 1
1111010 1
0101010 1
0110010 1
1100010 1
.names [238] [244] n_n3722 n_n3702 n_n3724 [366] n_n3703 n_n3428
001---- 1
00-1--- 1
-011--- 1
-0--011 1
-0--101 1
-0--110 1
-0--000 1
0-1-011 1
0--1011 1
--11011 1
0-1-101 1
0--1101 1
--11101 1
0-1-110 1
0--1110 1
--11110 1
0-1-000 1
0--1000 1
--11000 1
.names _120gat_7_ _443gat_26_ [363]
0- 1
-0 1
.names n_n3476 n_n3443 n_n3453 [284] [310] n_n3477 [363] n_n3172
1111-11 1
0001-11 1
0110-11 1
1000-11 1
11-1011 1
1-11011 1
01-0011 1
0-10011 1
0111-01 1
1001-01 1
1110-01 1
0000-01 1
01-1001 1
0-11001 1
11-0001 1
1-10001 1
0111-10 1
1001-10 1
1110-10 1
0000-10 1
01-1010 1
0-11010 1
11-0010 1
1-10010 1
1111-00 1
0001-00 1
0110-00 1
1000-00 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011101 1
1101101 1
0010101 1
0100101 1
1011110 1
1101110 1
0010110 1
0100110 1
0011100 1
0101100 1
1010100 1
1100100 1
.names [288] [271] n_n3730 n_n3706 [331] n_n3733 n_n3707 n_n3436
0-1-0-- 1
0--10-- 1
--110-- 1
-0--011 1
-1--001 1
-1--010 1
-0--000 1
001--11 1
00-1-11 1
-011-11 1
011--01 1
01-1-01 1
-111-01 1
011--10 1
01-1-10 1
-111-10 1
001--00 1
00-1-00 1
-011-00 1
.names n_n4029 n_n4026 [290] [357] [367] n_n3998 n_n3997 n_n3709
111011- 1
010011- 1
011001- 1
110001- 1
011010- 1
110010- 1
111000- 1
010000- 1
111-111 1
010-111 1
1-10111 1
0-00111 1
011-011 1
110-011 1
0-10011 1
1-00011 1
011-101 1
110-101 1
0-10101 1
1-00101 1
111-001 1
010-001 1
1-10001 1
0-00001 1
001-110 1
100-110 1
101-010 1
000-010 1
101-100 1
000-100 1
001-000 1
100-000 1
0011111 1
1001111 1
1011011 1
0001011 1
1011101 1
0001101 1
0011001 1
1001001 1
0111110 1
1101110 1
1111010 1
0101010 1
1111100 1
0101100 1
0111000 1
1101000 1
.names _375gat_22_ _358gat_21_ _188gat_11_ _205gat_12_ n_n3986 n_n4042 n_n4038 \
n_n3792
101-0-- 1
1-100-- 1
111--1- 1
111---1 1
1-1--11 1
-0--011 1
---0011 1
11111-- 1
-11111- 1
-11001- 1
-1111-1 1
-1100-1 1
-1-1111 1
.names _290gat_17_ _307gat_18_ _239gat_14_ _273gat_16_ _222gat_13_ _205gat_12_ \
n_n4280
0011-- 1
10-01- 1
-0110- 1
010--1 1
01-0-1 1
-10-01 1
-1-001 1
0-11-0 1
1-0-10 1
1--010 1
--1100 1
101111 1
110111 1
.names [320] [272] n_n3995 n_n4020 n_n4023 n_n3996 [348] n_n3733
001---- 1
00-1--- 1
-011--- 1
-0--011 1
-0--101 1
-0--110 1
-0--000 1
0-1-011 1
0--1011 1
--11011 1
0-1-101 1
0--1101 1
--11101 1
0-1-110 1
0--1110 1
--11110 1
0-1-000 1
0--1000 1
--11000 1
.names n_n4026 n_n4023 n_n3996 [357] [348] [444] n_n3997 n_n3707
1111-11 1
0001-11 1
0110-11 1
1000-11 1
11-1011 1
1-11011 1
01-0011 1
0-10011 1
0111-01 1
1001-01 1
1110-01 1
0000-01 1
01-1001 1
0-11001 1
11-0001 1
1-10001 1
0111-10 1
1001-10 1
1110-10 1
0000-10 1
01-1010 1
0-11010 1
11-0010 1
1-10010 1
1111-00 1
0001-00 1
0110-00 1
1000-00 1
11-1000 1
1-11000 1
01-0000 1
0-10000 1
0011111 1
0101111 1
1010111 1
1100111 1
1011101 1
1101101 1
0010101 1
0100101 1
1011110 1
1101110 1
0010110 1
0100110 1
0011100 1
0101100 1
1010100 1
1100100 1
.names _18gat_1_ _426gat_25_ [394]
0- 1
-0 1
.names _103gat_6_ _443gat_26_ [412]
0- 1
-0 1
.names [251] n_n3415 n_n3443 n_n3453 [310] [412] n_n3440 n_n3171
01---0- 1
0----01 1
-1---01 1
--0110- 1
--1010- 1
--1100- 1
--0000- 1
01011-- 1
01101-- 1
01110-- 1
01000-- 1
0-011-1 1
-1011-1 1
0-101-1 1
-1101-1 1
0-110-1 1
-1110-1 1
0-000-1 1
-1000-1 1
.names _460gat_27_ _154gat_9_ [370]
0- 1
-0 1
.names [269] n_n2827 n_n2836 [330] [385] n_n2802 n_n2825 n_n2559
0---01- 1
0---0-1 1
0----11 1
0011--- 1
0101--- 1
0110--- 1
0000--- 1
-01101- 1
-10101- 1
-11001- 1
-00001- 1
-0110-1 1
-1010-1 1
-1100-1 1
-0000-1 1
-011-11 1
-101-11 1
-110-11 1
-000-11 1
.names _137gat_8_ _460gat_27_ [374]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ _341gat_20_ \
n_n4112 n_n3719
--101-0 1
11111-- 1
-0101-1 1
010111- 1
01011-1 1
01101-1 1
11001-1 1
0101-11 1
1-11111 1
01-1011 1
10-1011 1
1001-01 1
001-101 1
11-1001 1
10-1001 1
1001-10 1
11-1010 1
10-1010 1
1001-00 1
001-100 1
11-1000 1
10-1000 1
0011111 1
0011110 1
0111100 1
.names _375gat_22_ _205gat_12_ [378]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _205gat_12_ n_n4128 n_n3938 [358] n_n4061 \
n_n3793
111-1-1 1
011-0-1 1
--01111 1
0--0011 1
--00011 1
--00101 1
0--1001 1
--01001 1
0--1110 1
--01110 1
--00110 1
--01100 1
0--0100 1
--00100 1
111011- 1
011001- 1
111110- 1
011100- 1
00-1111 1
1-10111 1
1-11101 1
00-0101 1
00-0110 1
1-11010 1
00-1100 1
1-10000 1
1011011 1
1010001 1
1010010 1
1011000 1
.names _324gat_19_ _171gat_10_ _341gat_20_ _154gat_9_ n_n4278 n_n4217 n_n4313 \
n_n4032
1-111-- 1
0-11-0- 1
-011-0- 1
1-11--1 1
--111-1 1
0---101 1
-0--101 1
1111-1- 1
11-111- 1
10-110- 1
11-1-11 1
11--111 1
10-1-01 1
.names _511gat_30_ _188gat_11_ _205gat_12_ _494gat_29_ n_n3077 n_n3078 n_n2921 \
n_n2766
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
0-0-001 1
-00-001 1
0--0001 1
-0-0001 1
0-0-010 1
-00-010 1
0--0010 1
-0-0010 1
0-0-100 1
-00-100 1
0--0100 1
-0-0100 1
110-011 1
0-11011 1
-011011 1
11-0011 1
110-101 1
0-11101 1
-011101 1
11-0101 1
110-110 1
0-11110 1
-011110 1
11-0110 1
110-000 1
0-11000 1
-011000 1
11-0000 1
1111111 1
1111001 1
1111010 1
1111100 1
.names _511gat_30_ _171gat_10_ _494gat_29_ n_n3025 n_n3026 n_n2895 n_n2765
11---1 1
---111 1
1111-- 1
111-1- 1
11-11- 1
-111-1 1
-11-11 1
.names _375gat_22_ _154gat_9_ [380]
0- 1
-0 1
.names _375gat_22_ _171gat_10_ [420]
0- 1
-0 1
.names _375gat_22_ _222gat_13_ n_n3903 n_n3823
0-0 1
-00 1
111 1
.names _18gat_1_ _324gat_19_ _35gat_2_ _341gat_20_ n_n4289 n_n4270 n_n4209 \
n_n3990
00--111 1
0-0-111 1
-0-0111 1
--00111 1
00--010 1
0-0-010 1
-0-0010 1
00--100 1
0-0-100 1
-0-0100 1
00--000 1
0-0-000 1
-0-0000 1
--00000 1
11111-1 1
11001-1 1
1111-11 1
1100-11 1
011-011 1
10-1011 1
011-101 1
10-1101 1
011-001 1
10-1001 1
1-01001 1
-110001 1
11011-0 1
11101-0 1
1101-10 1
1110-10 1
011-110 1
10-1110 1
1-01110 1
-110110 1
1111000 1
.names _324gat_19_ _171gat_10_ _341gat_20_ _154gat_9_ n_n4278 n_n4217 n_n4313 \
n_n3998
0-0-111 1
-00-111 1
0--0111 1
-0-0111 1
0-0-001 1
0--0001 1
-0-0001 1
0-0-100 1
0--0100 1
-0-0100 1
0-0-000 1
-00-000 1
0--0000 1
-0-0000 1
111111- 1
100111- 1
101110- 1
110110- 1
1111-11 1
1001-11 1
0-11011 1
11-0011 1
1011-01 1
1101-01 1
110-101 1
0-11101 1
-011101 1
11-0101 1
0-11110 1
11-0110 1
110-010 1
0-11010 1
-011010 1
11-0010 1
1111000 1
.names _324gat_19_ _341gat_20_ _205gat_12_ n_n4185 n_n4322 n_n4281 n_n4061
-111-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
-11-11 1
.names _35gat_2_ _426gat_25_ [383]
0- 1
-0 1
.names _35gat_2_ _494gat_29_ [385]
0- 1
-0 1
.names _52gat_3_ _426gat_25_ [393]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _205gat_12_ n_n4128 n_n3938 [358] n_n4061 \
n_n3822
1-1-1-- 1
111---1 1
-11-1-1 1
---0111 1
---1101 1
1110-1- 1
-11011- 1
1111-0- 1
-11110- 1
1-10-11 1
1-11-01 1
.names _324gat_19_ _137gat_8_ _341gat_20_ _154gat_9_ n_n4310 n_n4216 n_n4277 \
n_n3997
00--111 1
0-0-111 1
-0-0111 1
--00111 1
00--001 1
0-0-001 1
-0-0001 1
00--100 1
0-0-100 1
-0-0100 1
00--000 1
0-0-000 1
-0-0000 1
--00000 1
111111- 1
110011- 1
110110- 1
111010- 1
1111-11 1
1100-11 1
011-011 1
10-1011 1
1101-01 1
1110-01 1
011-101 1
10-1101 1
1-01101 1
-110101 1
011-110 1
10-1110 1
011-010 1
10-1010 1
1-01010 1
-110010 1
1111000 1
.names [259] n_n3739 n_n3711 [335] n_n3736 n_n3709 [397] n_n3414
01111-1 1
00011-1 1
00101-1 1
01001-1 1
0111-11 1
0001-11 1
0010-11 1
0100-11 1
-111111 1
-001111 1
-010111 1
-100111 1
-011001 1
-101001 1
-110001 1
-000001 1
00111-0 1
01011-0 1
01101-0 1
00001-0 1
0011-10 1
0101-10 1
0110-10 1
0000-10 1
-011110 1
-101110 1
-110110 1
-000110 1
-111000 1
-001000 1
-010000 1
-100000 1
1011011 1
1101011 1
1110011 1
1000011 1
1011101 1
1101101 1
1110101 1
1000101 1
1111010 1
1001010 1
1010010 1
1100010 1
1111100 1
1001100 1
1010100 1
1100100 1
.names [259] [271] n_n3736 [361] n_n3709 n_n3733 n_n3707 n_n3438
-0-0-1- 1
-0-0--1 1
---0-11 1
0-101-- 1
1-001-- 1
1-100-- 1
0-000-- 1
001-11- 1
100-11- 1
101-01- 1
000-01- 1
001-1-1 1
100-1-1 1
101-0-1 1
000-0-1 1
0-1-111 1
1-0-111 1
1-1-011 1
0-0-011 1
.names [257] [285] n_n3499 n_n3500 [316] n_n3528 n_n3529 n_n3249
001---- 1
00-1--- 1
0-11--- 1
0---011 1
0---101 1
0---110 1
0---000 1
-01-011 1
-0-1011 1
--11011 1
-01-101 1
-0-1101 1
--11101 1
-01-110 1
-0-1110 1
--11110 1
-01-000 1
-0-1000 1
--11000 1
.names [251] n_n3415 n_n3443 n_n3453 [310] [412] n_n3440 n_n3149
011111- 1
010011- 1
010101- 1
011001- 1
010110- 1
011010- 1
011100- 1
010000- 1
0-11111 1
-111111 1
0-00111 1
-100111 1
0-01011 1
-101011 1
0-10011 1
-110011 1
0-01101 1
-101101 1
0-10101 1
-110101 1
0-11001 1
-111001 1
0-00001 1
-100001 1
-001110 1
-010110 1
-011010 1
-000010 1
-011100 1
-000100 1
-001000 1
-010000 1
1001111 1
1010111 1
1011011 1
1000011 1
1011101 1
1000101 1
1001001 1
1010001 1
1101110 1
1110110 1
1111010 1
1100010 1
1111100 1
1100100 1
1101000 1
1110000 1
.names _18gat_1_ _511gat_30_ [395]
0- 1
-0 1
.names _409gat_24_ _103gat_6_ [397]
0- 1
-0 1
.names [398] n_n3571 [287] [304] n_n3697 n_n3823 n_n3822 n_n3422
010-1-- 1
100-1-- 1
0100-1- 1
1000-1- 1
01-011- 1
10-011- 1
0100--1 1
1000--1 1
01-01-1 1
10-01-1 1
010--11 1
100--11 1
01--111 1
10--111 1
11--000 1
00--000 1
111001- 1
001001- 1
11100-1 1
00100-1 1
111-011 1
001-011 1
11-1001 1
00-1001 1
11-1010 1
00-1010 1
111-100 1
001-100 1
1111101 1
0011101 1
1111110 1
0011110 1
.names [259] n_n3739 n_n3711 [335] n_n3736 n_n3709 [397] n_n3440
0---1-0 1
0----10 1
----110 1
-011--0 1
-101--0 1
-110--0 1
-000--0 1
00111-- 1
01011-- 1
01101-- 1
00001-- 1
0011-1- 1
0101-1- 1
0110-1- 1
0000-1- 1
-01111- 1
-10111- 1
-11011- 1
-00011- 1
.names _324gat_19_ _35gat_2_ _341gat_20_ _52gat_3_ n_n4210 n_n4271 n_n4292 \
n_n3991
00--111 1
0-0-111 1
-0-0111 1
--00111 1
00--001 1
0-0-001 1
-0-0001 1
00--010 1
0-0-010 1
-0-0010 1
00--000 1
0-0-000 1
-0-0000 1
--00000 1
111111- 1
110011- 1
110101- 1
111001- 1
11111-1 1
11001-1 1
11010-1 1
11100-1 1
011-011 1
10-1011 1
1-01011 1
-110011 1
011-101 1
10-1101 1
011-110 1
10-1110 1
011-100 1
10-1100 1
1-01100 1
-110100 1
1111000 1
.names _392gat_23_ _188gat_11_ [423]
0- 1
-0 1
.names _460gat_27_ _52gat_3_ [446]
0- 1
-0 1
.names _222gat_13_ _477gat_28_ _494gat_29_ n_n3312 [252] n_n3103 n_n3232 \
n_n2947
111--11 1
0--1111 1
0--0011 1
110--01 1
0--0101 1
--00101 1
0--1001 1
--01001 1
0--1110 1
--01110 1
0--0110 1
0--1010 1
0--0010 1
--00010 1
111011- 1
111101- 1
110010- 1
110100- 1
-001111 1
1-10111 1
1-11011 1
-000011 1
-000110 1
-001010 1
1-11100 1
1-10000 1
1011101 1
1010001 1
1010100 1
1011000 1
.names _86gat_5_ _477gat_28_ [424]
0- 1
-0 1
.names n_n3139 [338] [430] n_n3172 n_n3171 n_n3149 [424] n_n2863
11011-1 1
10001-1 1
10010-1 1
11000-1 1
11-1111 1
-101111 1
10-0111 1
-000111 1
10-1011 1
-001011 1
11-0011 1
-100011 1
00-1101 1
01-0101 1
01-1001 1
00-0001 1
10011-0 1
11001-0 1
11010-0 1
10000-0 1
10-1110 1
-001110 1
11-0110 1
-100110 1
11-1010 1
-101010 1
10-0010 1
-000010 1
01-1100 1
00-0100 1
00-1000 1
01-0000 1
0011111 1
0110111 1
0111011 1
0010011 1
1011101 1
1110101 1
1111001 1
1010001 1
0111110 1
0010110 1
0011010 1
0110010 1
1111100 1
1010100 1
1011000 1
1110000 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _443gat_26_ _494gat_29_ \
n_n3385 n_n2926
0-----0 1
00----1 1
0-0---1 1
11-1-1- 1
111-11- 1
0110--1 1
111--11 1
--00001 1
--00000 1
111010- 1
1-11111 1
0111-01 1
1110-01 1
1-10101 1
1-00101 1
1-01001 1
1-01100 1
1-00100 1
1-01000 1
1-10000 1
1001101 1
1011001 1
1010001 1
1011100 1
1010100 1
1011000 1
.names _511gat_30_ _239gat_14_ [432]
0- 1
-0 1
.names _188gat_11_ _494gat_29_ [426]
0- 1
-0 1
.names n_n3179 [281] [337] n_n3049 n_n3307 n_n3308 [426] n_n2895
1-00--1 1
1-01--0 1
10-01-1 1
-0001-1 1
10-0-11 1
-000-11 1
1--0111 1
--00111 1
0--1001 1
10-11-0 1
-0011-0 1
10-1-10 1
-001-10 1
1--1110 1
--01110 1
0--0000 1
00111-1 1
0011-11 1
0-11111 1
01-1011 1
01-1101 1
1-11001 1
00101-0 1
0010-10 1
0-10110 1
01-0010 1
01-0100 1
1-10000 1
1111011 1
1111101 1
1110010 1
1110100 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _443gat_26_ _494gat_29_ \
n_n3385 n_n2973
01---10 1
1111-1- 1
010--11 1
111010- 1
10011-1 1
10101-1 1
10110-1 1
10010-1 1
0110-11 1
11-1111 1
-100011 1
0111-01 1
1110-01 1
1-10101 1
1-01001 1
10111-0 1
10011-0 1
10110-0 1
10010-0 1
-100010 1
1-01100 1
1-01000 1
1100111 1
1100110 1
1110010 1
.names _222gat_13_ _494gat_29_ [451]
0- 1
-0 1
.names _69gat_4_ _477gat_28_ [453]
0- 1
-0 1
.names n_n3114 n_n3137 n_n3139 [339] [430] n_n3149 [453] n_n2862
11----0 1
1--0--0 1
-1-0--0 1
--0-110 1
--1-010 1
--1-100 1
--0-000 1
110-11- 1
1-0011- 1
-10011- 1
111-01- 1
1-1001- 1
-11001- 1
111-10- 1
1-1010- 1
-11010- 1
110-00- 1
1-0000- 1
-10000- 1
.names n_n3226 n_n3225 n_n3195 n_n3196 [437] [374] [445] n_n2915
111111- 1
001111- 1
010011- 1
100011- 1
011101- 1
101101- 1
110001- 1
000001- 1
011110- 1
101110- 1
110010- 1
000010- 1
111100- 1
001100- 1
010000- 1
100000- 1
111-110 1
001-110 1
11-1110 1
00-1110 1
011-010 1
101-010 1
01-1010 1
10-1010 1
011-100 1
101-100 1
01-1100 1
10-1100 1
111-000 1
001-000 1
11-1000 1
00-1000 1
0101111 1
1001111 1
0110111 1
1010111 1
1101011 1
0001011 1
1110011 1
0010011 1
1101101 1
0001101 1
1110101 1
0010101 1
0101001 1
1001001 1
0110001 1
1010001 1
.names n_n3195 n_n3196 [338] n_n3172 n_n3171 [445] [439] n_n2914
--01--0 1
--0-1-0 1
---11-0 1
01---10 1
10---10 1
11---00 1
00---00 1
0101-1- 1
1001-1- 1
010-11- 1
100-11- 1
01-111- 1
10-111- 1
1101-0- 1
0001-0- 1
110-10- 1
000-10- 1
11-110- 1
00-110- 1
.names _137gat_8_ _477gat_28_ [431]
0- 1
-0 1
.names n_n3226 n_n3225 n_n3250 [370] [374] n_n3249 [431] n_n2940
1111-11 1
0001-11 1
0010-11 1
1100-11 1
1-11011 1
-111011 1
1-00011 1
-100011 1
0011-01 1
1101-01 1
1110-01 1
0000-01 1
1-01001 1
-101001 1
1-10001 1
-110001 1
0011-10 1
1101-10 1
1110-10 1
0000-10 1
1-01010 1
-101010 1
1-10010 1
-110010 1
1111-00 1
0001-00 1
0010-00 1
1100-00 1
1-11000 1
-111000 1
1-00000 1
-100000 1
0101111 1
1001111 1
0110111 1
1010111 1
0111101 1
1011101 1
0100101 1
1000101 1
0111110 1
1011110 1
0100110 1
1000110 1
0101100 1
1001100 1
0110100 1
1010100 1
.names _171gat_10_ _494gat_29_ [455]
0- 1
-0 1
.names n_n3139 [338] [430] n_n3172 n_n3171 n_n3149 [424] n_n2887
1-0---0 1
1----10 1
--0--10 1
-0-11-0 1
-1-01-0 1
-1-10-0 1
-0-00-0 1
10011-- 1
11001-- 1
11010-- 1
10000-- 1
10-111- 1
-00111- 1
11-011- 1
-10011- 1
11-101- 1
-10101- 1
10-001- 1
-00001- 1
.names _511gat_30_ _239gat_14_ n_n2926 n_n2850
0-0 1
-00 1
111 1
.names _494gat_29_ _154gat_9_ [433]
0- 1
-0 1
.names n_n3226 n_n3225 n_n3250 [370] [374] n_n3249 [431] n_n2965
11----0 1
1---0-0 1
-1--0-0 1
--01-10 1
--10-10 1
--11-00 1
--00-00 1
1101-1- 1
1110-1- 1
1-0101- 1
-10101- 1
1-1001- 1
-11001- 1
1111-0- 1
1100-0- 1
1-1100- 1
-11100- 1
1-0000- 1
-10000- 1
.names _137gat_8_ _494gat_29_ [449]
0- 1
-0 1
.names _477gat_28_ _154gat_9_ [434]
0- 1
-0 1
.names n_n3273 n_n3272 [311] n_n3250 [370] n_n3249 [434] n_n2966
11110-1 1
00110-1 1
01010-1 1
10010-1 1
1111-11 1
0011-11 1
0101-11 1
1001-11 1
111-011 1
001-011 1
010-011 1
100-011 1
0110-01 1
1010-01 1
1100-01 1
0000-01 1
01110-0 1
10110-0 1
11010-0 1
00010-0 1
0111-10 1
1011-10 1
1101-10 1
0001-10 1
011-010 1
101-010 1
110-010 1
000-010 1
1110-00 1
0010-00 1
0100-00 1
1000-00 1
0110111 1
1010111 1
1100111 1
0000111 1
0111101 1
1011101 1
1101101 1
0001101 1
1110110 1
0010110 1
0100110 1
1000110 1
1111100 1
0011100 1
0101100 1
1001100 1
.names _18gat_1_ _477gat_28_ [440]
0- 1
-0 1
.names n_n3131 n_n3133 n_n3110 n_n3109 [440] [456] [450] n_n2823
1--10-- 1
1---00- 1
---100- 1
-01-0-1 1
-10-0-1 1
-11-0-0 1
-00-0-0 1
1011--1 1
1101--1 1
101--01 1
110--01 1
-011-01 1
-101-01 1
1111--0 1
1001--0 1
111--00 1
100--00 1
-111-00 1
-001-00 1
.names _35gat_2_ _477gat_28_ [435]
0- 1
-0 1
.names n_n3135 n_n3112 n_n3133 n_n3110 [446] [435] [450] n_n2801
111111- 1
001111- 1
010011- 1
100011- 1
011101- 1
101101- 1
110001- 1
000001- 1
011110- 1
101110- 1
110010- 1
000010- 1
111100- 1
001100- 1
010000- 1
100000- 1
111-110 1
001-110 1
11-1110 1
00-1110 1
011-010 1
101-010 1
01-1010 1
10-1010 1
011-100 1
101-100 1
01-1100 1
10-1100 1
111-000 1
001-000 1
11-1000 1
00-1000 1
0101111 1
1001111 1
0110111 1
1010111 1
1101011 1
0001011 1
1110011 1
0010011 1
1101101 1
0001101 1
1110101 1
0010101 1
0101001 1
1001001 1
0110001 1
1010001 1
.names _120gat_7_ _460gat_27_ [445]
0- 1
-0 1
.names _103gat_6_ _477gat_28_ [439]
0- 1
-0 1
.names n_n3195 n_n3196 [338] n_n3172 n_n3171 [445] [439] n_n2888
1101-11 1
0001-11 1
110-111 1
000-111 1
11-1111 1
00-1111 1
01-0011 1
10-0011 1
0101-01 1
1001-01 1
010-101 1
100-101 1
01-1101 1
10-1101 1
11-0001 1
00-0001 1
0101-10 1
1001-10 1
010-110 1
100-110 1
01-1110 1
10-1110 1
11-0010 1
00-0010 1
1101-00 1
0001-00 1
110-100 1
000-100 1
11-1100 1
00-1100 1
01-0000 1
10-0000 1
0110111 1
1010111 1
0111011 1
1011011 1
1110101 1
0010101 1
1111001 1
0011001 1
1110110 1
0010110 1
1111010 1
0011010 1
0110100 1
1010100 1
0111000 1
1011000 1
.names n_n3131 n_n3133 n_n3110 n_n3109 [440] [456] [450] n_n2800
11111-1 1
10011-1 1
00101-1 1
01001-1 1
10110-1 1
11010-1 1
01100-1 1
00000-1 1
111-101 1
100-101 1
-111101 1
-001101 1
101-001 1
110-001 1
-011001 1
-101001 1
10111-0 1
11011-0 1
01101-0 1
00001-0 1
11110-0 1
10010-0 1
00100-0 1
01000-0 1
101-100 1
110-100 1
-011100 1
-101100 1
111-000 1
100-000 1
-111000 1
-001000 1
0011111 1
0101111 1
1010111 1
1100111 1
0111011 1
0001011 1
1110011 1
1000011 1
0111110 1
0001110 1
1110110 1
1000110 1
0011010 1
0101010 1
1010010 1
1100010 1
.names n_n3179 [281] [337] n_n3049 n_n3307 n_n3308 [426] n_n2921
---1--0 1
1-01--- 1
1-0---0 1
10-11-- 1
-0011-- 1
10-1-1- 1
-001-1- 1
1--111- 1
--0111- 1
10--1-0 1
-00-1-0 1
10---10 1
-00--10 1
1---110 1
--0-110 1
.names _222gat_13_ _205gat_12_ _477gat_28_ _494gat_29_ n_n3233 n_n3232 n_n3077 \
n_n2922
00--111 1
-00-111 1
0--0111 1
--00111 1
00--001 1
-00-001 1
0--0001 1
--00001 1
00--010 1
-00-010 1
0--0010 1
--00010 1
00--100 1
-00-100 1
0--0100 1
--00100 1
101-011 1
01-1011 1
-101011 1
1-10011 1
101-101 1
01-1101 1
-101101 1
1-10101 1
101-110 1
01-1110 1
-101110 1
1-10110 1
101-000 1
01-1000 1
-101000 1
1-10000 1
1111111 1
1111001 1
1111010 1
1111100 1
.names [233] [246] n_n3131 n_n3108 n_n3129 n_n3109 [456] n_n2821
00-1--- 1
00--1-- 1
-0-11-- 1
-00--11 1
-01--01 1
-01--10 1
-00--00 1
0-01-11 1
0-0-111 1
--01111 1
0-11-01 1
0-1-101 1
--11101 1
0-11-10 1
0-1-110 1
--11110 1
0-01-00 1
0-0-100 1
--01100 1
.names n_n3233 n_n3103 n_n3232 [406] [300] n_n2973 [451] n_n2849
----01- 1
-1--0-0 1
-1---10 1
111-0-- 1
11-00-- 1
-1100-- 1
111--1- 1
11-0-1- 1
-110-1- 1
1-1-0-0 1
1--00-0 1
--100-0 1
1-1--10 1
1--0-10 1
--10-10 1
.names _18gat_1_ _460gat_27_ [456]
0- 1
-0 1
.names _52gat_3_ _477gat_28_ [441]
0- 1
-0 1
.names n_n3114 n_n3137 n_n3135 n_n3112 [339] [446] [441] n_n2802
11111-1 1
00111-1 1
01001-1 1
10001-1 1
01110-1 1
10110-1 1
11000-1 1
00000-1 1
111-101 1
001-101 1
11-1101 1
00-1101 1
011-001 1
101-001 1
01-1001 1
10-1001 1
01111-0 1
10111-0 1
11001-0 1
00001-0 1
11110-0 1
00110-0 1
01000-0 1
10000-0 1
011-100 1
101-100 1
01-1100 1
10-1100 1
111-000 1
001-000 1
11-1000 1
00-1000 1
0101111 1
1001111 1
0110111 1
1010111 1
1101011 1
0001011 1
1110011 1
0010011 1
1101110 1
0001110 1
1110110 1
0010110 1
0101010 1
1001010 1
0110010 1
1010010 1
.names _205gat_12_ _494gat_29_ [448]
0- 1
-0 1
.names n_n3135 n_n3112 n_n3133 n_n3110 [446] [435] [450] n_n2825
--11-0- 1
--1--00 1
---1-00 1
01--10- 1
10--10- 1
11--00- 1
00--00- 1
01111-- 1
10111-- 1
11110-- 1
00110-- 1
011-1-0 1
101-1-0 1
01-11-0 1
10-11-0 1
111-0-0 1
001-0-0 1
11-10-0 1
00-10-0 1
.names _35gat_2_ _460gat_27_ [450]
0- 1
-0 1
.names _120gat_7_ _494gat_29_ [447]
0- 1
-0 1
.names _511gat_30_ _239gat_14_ _222gat_13_ _528gat_31_ n_n2926 n_n2849 n_n2717
--11-1 1
0---01 1
-0--01 1
0-110- 1
-0110- 1
11--11 1
11111- 1
.end