.model top
.inputs _1gat_0_ _290gat_17_ _375gat_22_ _18gat_1_ _511gat_30_ _307gat_18_ \
_324gat_19_ _409gat_24_ _137gat_8_ _358gat_21_ _392gat_23_ _171gat_10_ \
_120gat_7_ _256gat_15_ _35gat_2_ _239gat_14_ _273gat_16_ _86gat_5_ _69gat_4_ \
_188gat_11_ _460gat_27_ _103gat_6_ _341gat_20_ _222gat_13_ _528gat_31_ \
_52gat_3_ _205gat_12_ _477gat_28_ _426gat_25_ _443gat_26_ _494gat_29_ \
_154gat_9_
.outputs _6280gat_2443_ _4946gat_1876_ _6260gat_2433_ _6240gat_2423_ \
_2223gat_700_ _5672gat_2187_ _6160gat_2383_ _6287gat_2444_ _6190gat_2398_ \
_4591gat_1722_ _4241gat_1572_ _6180gat_2393_ _6220gat_2413_ _6170gat_2388_ \
_6200gat_2403_ _3552gat_1275_ _5971gat_2309_ _6210gat_2408_ _2548gat_840_ \
_6150gat_2378_ _1901gat_561_ _6288gat_2447_ _1581gat_423_ _6230gat_2418_ \
_3211gat_1128_ _6123gat_2368_ _6250gat_2428_ _3895gat_1423_ _545gat_287_ \
_2877gat_983_ _5308gat_2031_ _6270gat_2438_
.names [35] n_n2407 n_n2658 n_n2657 n_n2690 n_n2689 _6280gat_2443_
1---11 1
0---00 1
111-1- 1
11-11- 1
1-111- 1
111--1 1
11-1-1 1
1-11-1 1
0-0001 1
0-0010 1
000101 1
001001 1
000110 1
001010 1
.names [233] [236] n_n3279 n_n3187 [327] n_n3259 _4946gat_1876_
10111- 1
00101- 1
00110- 1
10100- 1
10-111 1
1-1111 1
00-011 1
0-1011 1
00-101 1
0-1101 1
10-001 1
1-1001 1
0-0110 1
1-0010 1
1-0100 1
0-0000 1
010111 1
110011 1
110101 1
010001 1
011110 1
111010 1
111100 1
011000 1
.names _188gat_11_ _528gat_31_ n_n2407 n_n2658 n_n2790 n_n2789 _6260gat_2433_
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 _528gat_31_ _154gat_9_ n_n2417 n_n2610 n_n2738 n_n2737 _6240gat_2423_
0-010- 1
-0010- 1
0-100- 1
-0100- 1
--1111 1
--0011 1
0-01-0 1
-001-0 1
0-10-0 1
-010-0 1
--0100 1
--1000 1
11111- 1
11001- 1
1111-1 1
1100-1 1
.names _1gat_0_ _324gat_19_ n_n4269 n_n4286 _2223gat_700_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _494gat_29_ n_n2724 _5672gat_2187_
0-0 1
-00 1
111 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_n2394 n_n2744 [232] _6287gat_2444_
11-1- 1
--011 1
110-1 1
.names n_n2513 n_n2447 n_n2499 [255] n_n2603 n_n2602 _6190gat_2398_
11101- 1
01110- 1
1110-1 1
111-11 1
0-0111 1
11-011 1
1-1011 1
01-101 1
0-1101 1
0-0001 1
0111-0 1
01-110 1
0-1110 1
0-0010 1
011-00 1
1-0100 1
01-000 1
0-1000 1
001111 1
000011 1
100101 1
001001 1
100110 1
001010 1
101100 1
100000 1
.names _1gat_0_ _443gat_26_ n_n3186 _4591gat_1722_
0-0 1
-00 1
111 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 _528gat_31_ _52gat_3_ n_n2500 n_n2447 n_n2580 n_n2579 _6180gat_2393_
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 _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 n_n2477 [34] n_n2488 [413] n_n2560 n_n2559 _6170gat_2388_
10101- 1
10010- 1
1010-1 1
101-11 1
0-0111 1
1-1011 1
-01011 1
1-0101 1
-00101 1
0-0001 1
1001-0 1
1-0110 1
-00110 1
0-0010 1
100-00 1
0-1100 1
1-0000 1
-00000 1
110111 1
010011 1
011101 1
110001 1
011110 1
110010 1
111100 1
011000 1
.names _86gat_5_ _528gat_31_ n_n2437 n_n2528 n_n2625 n_n2626 _6200gat_2403_
0-010- 1
-0010- 1
0-100- 1
-0100- 1
--1111 1
--0011 1
0-01-0 1
-001-0 1
0-10-0 1
-010-0 1
--0100 1
--1000 1
11111- 1
11001- 1
1111-1 1
1100-1 1
.names _1gat_0_ _392gat_23_ n_n3634 _3552gat_1275_
0-0 1
-00 1
111 1
.names [235] [239] n_n2726 [436] n_n2800 n_n2821 _5971gat_2309_
01111- 1
00011- 1
00101- 1
01001- 1
0111-1 1
0001-1 1
0010-1 1
0100-1 1
-11111 1
-00111 1
-01011 1
-10011 1
-01100 1
-10100 1
-11000 1
-00000 1
101101 1
110101 1
111001 1
100001 1
101110 1
110110 1
111010 1
100010 1
.names n_n2437 n_n2527 n_n2548 n_n2650 n_n2651 [419] _6210gat_2408_
11111- 1
11000- 1
1100-1 1
-00111 1
1-0011 1
-10011 1
110-01 1
1-0101 1
-10101 1
-01001 1
1111-0 1
111-10 1
1-1110 1
-11110 1
-00010 1
-00100 1
1-0000 1
-10000 1
010111 1
001011 1
001101 1
011001 1
000110 1
010010 1
010100 1
001000 1
.names _1gat_0_ _341gat_20_ n_n4066 _2548gat_840_
0-0 1
-00 1
111 1
.names [243] [371] n_n2541 n_n2534 n_n2521 n_n2536 _6150gat_2378_
0111-1 1
0001-1 1
011-11 1
000-11 1
-11111 1
-00111 1
-01001 1
-10001 1
0011-0 1
0101-0 1
001-10 1
010-10 1
-01110 1
-10110 1
-11000 1
-00000 1
101011 1
110011 1
101101 1
110101 1
111010 1
100010 1
111100 1
100100 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 n_n2394 n_n2662 n_n2718 [312] n_n2850 n_n2849 _6288gat_2447_
10---- 1
011--- 1
01-01- 1
-0010- 1
01-0-1 1
01--11 1
-001-0 1
-00-00 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _273gat_16_ _1581gat_423_
110- 1
0-11 1
-011 1
11-0 1
.names n_n2427 n_n2566 n_n2587 n_n2710 n_n2711 [364] _6230gat_2418_
11111- 1
11000- 1
1100-1 1
-00111 1
1-0011 1
-10011 1
110-01 1
1-0101 1
-10101 1
-01001 1
1111-0 1
111-10 1
1-1110 1
-11110 1
-00010 1
-00100 1
1-0000 1
-10000 1
010111 1
001011 1
001101 1
011001 1
000110 1
010010 1
010100 1
001000 1
.names _1gat_0_ _375gat_22_ n_n3847 n_n3866 _3211gat_1128_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _1gat_0_ _528gat_31_ n_n2534 n_n2521 _6123gat_2368_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2417 n_n2609 n_n2610 n_n2633 n_n2632 _6250gat_2428_
11-11 1
1-111 1
-1111 1
-0001 1
-0010 1
11-00 1
1-100 1
-1100 1
00101 1
01001 1
00110 1
01010 1
.names [238] [244] n_n3722 n_n3702 n_n3635 [366] _3895gat_1423_
011-11 1
01-111 1
-11111 1
-00011 1
001-01 1
00-101 1
-01101 1
-10001 1
001-10 1
00-110 1
-01110 1
-10010 1
011-00 1
01-100 1
-11100 1
-00000 1
100111 1
101011 1
110101 1
111001 1
110110 1
111010 1
100100 1
101000 1
.names _1gat_0_ _273gat_16_ _545gat_287_
11 1
.names [240] [245] n_n4147 n_n4130 n_n4067 [389] _2877gat_983_
011-11 1
01-111 1
-11111 1
-00011 1
001-01 1
00-101 1
-01101 1
-10001 1
001-10 1
00-110 1
-01110 1
-10010 1
011-00 1
01-100 1
-11100 1
-00000 1
100111 1
101011 1
110101 1
111001 1
110110 1
111010 1
100100 1
101000 1
.names _1gat_0_ _477gat_28_ n_n2976 n_n2954 _5308gat_2031_
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2407 n_n2658 n_n2657 n_n2690 n_n2689 _6270gat_2438_
11-11 1
1-111 1
-1111 1
-0001 1
-0010 1
11-00 1
1-100 1
-1100 1
00101 1
01001 1
00110 1
01010 1
.names [35] n_n2407 n_n2658 n_n2657 n_n2690 n_n2689 n_n2394
0---00 1
0-0001 1
0-0010 1
000101 1
001001 1
000110 1
001010 1
.names _222gat_13_ _528gat_31_ n_n2718 n_n2926 [432] n_n2849 [35]
111--1 1
--1011 1
--1101 1
--0110 1
--0000 1
11101- 1
11110- 1
0-0111 1
-00111 1
0-0001 1
-00001 1
0-0010 1
-00010 1
0-0100 1
-00100 1
.names _1gat_0_ _460gat_27_ [233]
0- 1
-0 1
.names n_n2417 n_n2609 n_n2610 n_n2633 n_n2632 n_n2407
---11 1
11-1- 1
1-11- 1
-111- 1
11--1 1
1-1-1 1
-11-1 1
.names _511gat_30_ _528gat_31_ _205gat_12_ n_n2816 n_n2946 n_n2947 n_n2658
-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 _188gat_11_ _528gat_31_ [342] n_n2789 n_n2946 n_n2947 n_n2657
11-1-- 1
--0111 1
--1101 1
--1110 1
--0100 1
110-11 1
111-01 1
111-10 1
110-00 1
.names n_n2427 n_n2566 n_n2587 n_n2710 n_n2711 [364] n_n2417
111--- 1
--111- 1
--11-0 1
--1-10 1
11-11- 1
11-1-0 1
11--10 1
1--110 1
-1-110 1
1-1011 1
-11011 1
1-1101 1
-11101 1
1-1000 1
-11000 1
.names _511gat_30_ _528gat_31_ _154gat_9_ n_n2738 n_n2869 n_n2870 n_n2609
-111-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
-11-11 1
.names _511gat_30_ _171gat_10_ _528gat_31_ n_n2766 n_n2895 n_n2894 n_n2610
-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 _1gat_0_ _324gat_19_ [234]
0- 1
-0 1
.names [246] [440] n_n2976 n_n2978 n_n2954 n_n2956 n_n2724
0011-1 1
0110-1 1
00-111 1
-01111 1
01-011 1
-11011 1
-10101 1
-00001 1
0111-0 1
0010-0 1
01-110 1
-11110 1
00-010 1
-01010 1
-00100 1
-10000 1
110111 1
100011 1
111101 1
101001 1
100110 1
110010 1
101100 1
111000 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 [243] [371] n_n2541 n_n2534 n_n2521 n_n2536 [34]
---00- 1
1--01- 1
1--10- 1
-11--1 1
-00--1 1
-01--0 1
-10--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 _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_n2513 n_n2447 n_n2499 [255] n_n2603 n_n2602 n_n2437
111--- 1
1--01- 1
1--0-1 1
1---11 1
-1101- 1
-110-1 1
-11-11 1
-1-011 1
--1011 1
11-101 1
1-1101 1
11-110 1
1-1110 1
11-000 1
1-1000 1
.names [237] n_n3407 n_n3408 n_n3430 n_n3428 [394] n_n3186
0101-1 1
0110-1 1
0-0111 1
-10111 1
0-1011 1
-11011 1
-01101 1
-00001 1
0111-0 1
0100-0 1
0-1110 1
-11110 1
0-0010 1
-10010 1
-00100 1
-01000 1
101111 1
100011 1
111101 1
110001 1
100110 1
101010 1
110100 1
111000 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 n_n2477 [34] n_n2488 [413] n_n2560 n_n2559 n_n2447
101--- 1
--101- 1
--10-1 1
--1-11 1
10-01- 1
10-0-1 1
10--11 1
1--011 1
-0-011 1
1-1101 1
-01101 1
1-1110 1
-01110 1
1-1000 1
-01000 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 [314] n_n2869 n_n2870 n_n2567
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names n_n2437 n_n2527 n_n2548 n_n2650 n_n2651 [419] n_n2427
111--- 1
--111- 1
--11-0 1
--1-10 1
11-11- 1
11-1-0 1
11--10 1
1--110 1
-1-110 1
1-1011 1
-11011 1
1-1101 1
-11101 1
1-1000 1
-11000 1
.names _120gat_7_ _528gat_31_ n_n2683 n_n2682 n_n2566
--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 [242] n_n3847 [428] n_n3848 n_n3868 n_n3866 n_n3634
01011- 1
01101- 1
01110- 1
01000- 1
0-0111 1
-10111 1
0-1011 1
-11011 1
0-1101 1
-11101 1
0-0001 1
-10001 1
-01110 1
-00010 1
-00100 1
-01000 1
101111 1
100011 1
100101 1
101001 1
111110 1
110010 1
110100 1
111000 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 [234] n_n4289 n_n4269 n_n4286 n_n4270 [422] n_n4066
001-11 1
00-111 1
-01111 1
-10011 1
011-01 1
01-101 1
-11101 1
-00001 1
011-10 1
01-110 1
-11110 1
-00010 1
001-00 1
00-100 1
-01100 1
-10000 1
110111 1
111011 1
100101 1
101001 1
100110 1
101010 1
110100 1
111000 1
.names _1gat_0_ _341gat_20_ [240]
0- 1
-0 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 _222gat_13_ _528gat_31_ n_n2718 n_n2926 [432] n_n2849 [232]
--1--- 1
11---1 1
---011 1
---101 1
11-01- 1
11-10- 1
.names _528gat_31_ _154gat_9_ n_n2655 n_n2587
0-0 1
-00 1
111 1
.names _1gat_0_ _375gat_22_ [242]
0- 1
-0 1
.names _1gat_0_ _528gat_31_ [243]
0- 1
-0 1
.names _188gat_11_ _528gat_31_ [342] n_n2789 n_n2946 n_n2947 n_n2633
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _511gat_30_ _171gat_10_ _528gat_31_ n_n2766 n_n2895 n_n2894 n_n2632
-111-- 1
---111 1
111-1- 1
11-11- 1
111--1 1
11-1-1 1
-11-11 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 _511gat_30_ _528gat_31_ _205gat_12_ n_n2816 n_n2946 n_n2947 n_n2689
-111-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
-11-11 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_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
n_n4223
11-11- 1
-1111- 1
1-1111 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 _324gat_19_ _137gat_8_ [249]
0- 1
-0 1
.names _324gat_19_ _137gat_8_ n_n4310 n_n4277 n_n4137
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n4278 [249] n_n4310 [267] n_n4313 n_n4277 n_n4074
00111- 1
10101- 1
10110- 1
00100- 1
00-111 1
0-1111 1
10-011 1
1-1011 1
10-101 1
1-1101 1
00-001 1
0-1001 1
1-0110 1
0-0010 1
0-0100 1
1-0000 1
110111 1
010011 1
010101 1
110001 1
111110 1
011010 1
011100 1
111000 1
.names _137gat_8_ _341gat_20_ [402]
0- 1
-0 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_ n_n3759 \
n_n3426
--0--0 1
0-0--1 1
--00-1 1
1-111- 1
00--01 1
00--00 1
111-11 1
-11111 1
011-01 1
1-0101 1
011-00 1
101-00 1
101001 1
111000 1
.names _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ _426gat_25_ n_n3759 \
n_n3506
1111-- 1
1-111- 1
111--1 1
1-11-1 1
1--111 1
-11111 1
.names [288] n_n3641 [271] n_n3730 n_n3706 [331] n_n3412
0111-1 1
0001-1 1
011-11 1
000-11 1
-11111 1
-00111 1
-01001 1
-10001 1
0011-0 1
0101-0 1
001-10 1
010-10 1
-01110 1
-10110 1
-11000 1
-00000 1
101011 1
110011 1
101101 1
110101 1
111010 1
100010 1
111100 1
100100 1
.names n_n3640 [288] n_n3728 n_n3705 [332] [317] n_n3434
01---0 1
10---0 1
--11-0 1
--1-00 1
---100 1
0111-- 1
1011-- 1
011-0- 1
101-0- 1
01-10- 1
10-10- 1
.names _222gat_13_ _426gat_25_ _443gat_26_ n_n3484 n_n3610 n_n3611 n_n3355
1-11-- 1
---111 1
111-1- 1
11-11- 1
111--1 1
11-1-1 1
1-1-11 1
.names _239gat_14_ _443gat_26_ n_n3426 n_n3356
0-0 1
-00 1
111 1
.names _103gat_6_ _426gat_25_ [251]
0- 1
-0 1
.names _103gat_6_ _426gat_25_ n_n3415 n_n3440 n_n3266
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _426gat_25_ _443gat_26_ n_n3506 \
n_n3233
011--0 1
11111- 1
111-11 1
010-11 1
10-011 1
011-01 1
10-101 1
1-0101 1
-11001 1
10-110 1
10-010 1
1-0010 1
-11000 1
111100 1
.names _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_n3481 [301] [316] [326] n_n3528 n_n3529 n_n3272
01-0-- 1
10-0-- 1
--001- 1
--00-1 1
---011 1
010-1- 1
100-1- 1
010--1 1
100--1 1
01--11 1
10--11 1
.names _460gat_27_ _205gat_12_ _443gat_26_ n_n3460 n_n3459 n_n3332 n_n3202
11---1 1
---111 1
1111-- 1
111-1- 1
11-11- 1
-111-1 1
-11-11 1
.names _239gat_14_ _460gat_27_ _222gat_13_ _443gat_26_ n_n3426 n_n3355 n_n3203
00--11 1
0-0-11 1
-0-011 1
--0011 1
00--00 1
0-0-00 1
-0-000 1
--0000 1
011-01 1
10-101 1
1-0101 1
-11001 1
011-10 1
10-110 1
1-0110 1
-11010 1
111111 1
111100 1
.names [251] [408] n_n3415 n_n3414 n_n3438 n_n3440 n_n3193
0011-1 1
1001-1 1
001-11 1
100-11 1
0-1111 1
1-0111 1
1-1001 1
0-0001 1
1011-0 1
0001-0 1
101-10 1
000-10 1
1-1110 1
0-0110 1
0-1000 1
1-0000 1
111011 1
010011 1
111101 1
010101 1
011010 1
110010 1
011100 1
110100 1
.names _86gat_5_ _443gat_26_ [253]
0- 1
-0 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _426gat_25_ _443gat_26_ n_n3506 \
n_n3183
0----0 1
00---1 1
0---01 1
111-1- 1
--0001 1
--0000 1
1111-1 1
010-11 1
1-1111 1
1-0101 1
1-0010 1
1-0100 1
100011 1
100110 1
.names _239gat_14_ _477gat_28_ n_n3183 n_n3103
0-0 1
-00 1
111 1
.names _35gat_2_ _528gat_31_ [413]
0- 1
-0 1
.names _69gat_4_ _528gat_31_ [255]
0- 1
-0 1
.names _511gat_30_ _137gat_8_ _494gat_29_ n_n2843 n_n2965 n_n2966 n_n2683
0--011 1
-0-011 1
-0-101 1
-0-110 1
0--100 1
-0-100 1
11111- 1
01101- 1
1111-1 1
0110-1 1
11-111 1
0-0101 1
0-0110 1
11-000 1
110001 1
110010 1
.names [298] n_n2939 n_n2940 n_n2892 [449] [447] n_n2682
011--- 1
0--01- 1
0--10- 1
01---0 1
0-1--0 1
-1101- 1
-1110- 1
-1-010 1
--1010 1
-1-100 1
--1100 1
.names [440] [435] n_n2978 n_n2980 n_n2958 n_n2956 n_n2726
00111- 1
01101- 1
01110- 1
00100- 1
00-111 1
-01111 1
01-011 1
-11011 1
01-101 1
-11101 1
00-001 1
-01001 1
-10110 1
-00010 1
-00100 1
-10000 1
110111 1
100011 1
100101 1
110001 1
111110 1
101010 1
101100 1
111000 1
.names _18gat_1_ _494gat_29_ [436]
0- 1
-0 1
.names n_n3019 n_n3018 [424] n_n2994 [453] n_n2984 n_n2780
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
1110-0 1
0010-0 1
0100-0 1
1000-0 1
111011 1
001011 1
010011 1
100011 1
111110 1
001110 1
010110 1
100110 1
.names _69gat_4_ _494gat_29_ [373]
0- 1
-0 1
.names [285] n_n3499 n_n3500 [316] n_n3528 n_n3529 n_n3305
-00111 1
01-011 1
0-1011 1
-11011 1
01-101 1
0-1101 1
-11101 1
-00001 1
01-110 1
0-1110 1
-11110 1
-00010 1
-00100 1
01-000 1
0-1000 1
-11000 1
101111 1
110111 1
101001 1
110001 1
101010 1
110010 1
101100 1
110100 1
.names _443gat_26_ _154gat_9_ [257]
0- 1
-0 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] n_n3636 [344] n_n3724 [366] n_n3703 n_n3407
11110- 1
00110- 1
01010- 1
10010- 1
1111-1 1
0011-1 1
0101-1 1
1001-1 1
111-01 1
001-01 1
010-01 1
100-01 1
0110-0 1
1010-0 1
1100-0 1
0000-0 1
011011 1
101011 1
110011 1
000011 1
011110 1
101110 1
110110 1
000110 1
.names _409gat_24_ _205gat_12_ _426gat_25_ n_n3571 n_n3697 n_n3696 n_n3459
-111-- 1
---111 1
111-1- 1
11-11- 1
111--1 1
11-1-1 1
-11-11 1
.names _409gat_24_ _137gat_8_ [391]
0- 1
-0 1
.names [391] n_n3742 n_n3712 n_n3673 [375] [351] n_n3476
011--- 1
0--01- 1
0--10- 1
01---0 1
0-1--0 1
-1101- 1
-1110- 1
-1-010 1
--1010 1
-1-100 1
--1100 1
.names n_n3878 [289] [272] n_n3875 n_n3851 n_n3852 n_n3640
0011-1 1
1001-1 1
001-11 1
100-11 1
0-1111 1
1-0111 1
1-1001 1
0-0001 1
1011-0 1
0001-0 1
101-10 1
000-10 1
1-1110 1
0-0110 1
0-1000 1
1-0000 1
111011 1
010011 1
111101 1
010101 1
011010 1
110010 1
011100 1
110100 1
.names _392gat_23_ _69gat_4_ [288]
0- 1
-0 1
.names n_n3854 n_n3884 [367] n_n3881 n_n3853 [444] n_n3642
01111- 1
10111- 1
11011- 1
00011- 1
11100- 1
00100- 1
01000- 1
10000- 1
0111-0 1
1011-0 1
1101-0 1
0001-0 1
011-10 1
101-10 1
110-10 1
000-10 1
111011 1
001011 1
010011 1
100011 1
111101 1
001101 1
010101 1
100101 1
.names _392gat_23_ _103gat_6_ [259]
0- 1
-0 1
.names n_n3893 n_n3899 n_n3917 n_n3918 [454] [420] n_n3694
00111- 1
11011- 1
11101- 1
00001- 1
11110- 1
00010- 1
00100- 1
11000- 1
1-0110 1
-10110 1
1-1010 1
-11010 1
1-1100 1
-11100 1
1-0000 1
-10000 1
011111 1
101111 1
010011 1
100011 1
010101 1
100101 1
011001 1
101001 1
.names _392gat_23_ _171gat_10_ [429]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3988 \
n_n3759
11-11- 1
1-111- 1
11-1-1 1
1-1-11 1
1--111 1
-11111 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3988 \
n_n3680
---0-0 1
0--0-1 1
---001 1
1-111- 1
000--1 1
000--0 1
1111-1 1
0101-1 1
-11111 1
1-0011 1
0101-0 1
1001-0 1
100101 1
110100 1
.names _375gat_22_ _171gat_10_ n_n3893 n_n3899 n_n3773
--11 1
111- 1
11-1 1
.names _375gat_22_ _188gat_11_ [388] n_n3917 n_n4062 n_n4061 n_n3774
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _375gat_22_ _52gat_3_ [319]
0- 1
-0 1
.names _375gat_22_ _52gat_3_ n_n3872 n_n3850 n_n3728
--11 1
111- 1
11-1 1
.names n_n4078 [262] n_n4173 [305] n_n4139 [410] n_n3890
01-0-- 1
10-0-- 1
--101- 1
--10-0 1
---010 1
011-1- 1
101-1- 1
011--0 1
101--0 1
01--10 1
10--10 1
.names [262] n_n4176 n_n4079 [382] [400] n_n4140 n_n3858
01111- 1
01001- 1
01010- 1
01100- 1
0-1111 1
-11111 1
0-0011 1
-10011 1
0-0101 1
-10101 1
0-1001 1
-11001 1
-00110 1
-01010 1
-01100 1
-00000 1
100111 1
101011 1
101101 1
100001 1
110110 1
111010 1
111100 1
110000 1
.names [262] n_n4176 n_n4079 [382] [400] n_n4140 n_n3893
01--0- 1
--010- 1
--100- 1
0---01 1
-1--01 1
0101-- 1
0110-- 1
0-01-1 1
-101-1 1
0-10-1 1
-110-1 1
.names _358gat_21_ _188gat_11_ _341gat_20_ n_n4042 n_n4179 n_n4141 n_n3899
0--011 1
-0-011 1
-0-101 1
-0-110 1
0--100 1
-0-100 1
11111- 1
01101- 1
1111-1 1
0110-1 1
11-111 1
0-0101 1
0-0110 1
11-000 1
110001 1
110010 1
.names _358gat_21_ _86gat_5_ [320]
0- 1
-0 1
.names [320] n_n4135 n_n4072 [306] n_n4161 [368] n_n3878
01-0-- 1
01--1- 1
0--01- 1
0-0--1 1
0-1--0 1
-100-1 1
-10-11 1
--0011 1
-110-0 1
-11-10 1
--1010 1
.names _324gat_19_ _358gat_21_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4223 \
n_n3922
--0--0 1
--00-1 1
--0-01 1
-1111- 1
00--01 1
00--00 1
1111-1 1
111-11 1
-00111 1
101-01 1
001-10 1
101-00 1
001011 1
101010 1
.names _324gat_19_ _358gat_21_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4223 \
n_n3988
1-111- 1
-1111- 1
1-1-11 1
-1-111 1
--1111 1
1111-1 1
.names _358gat_21_ _205gat_12_ [388]
0- 1
-0 1
.names _358gat_21_ _205gat_12_ n_n4062 n_n4061 n_n3937
--11 1
111- 1
11-1 1
.names _324gat_19_ _358gat_21_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4223 \
n_n3969
-101-0 1
11111- 1
-11111 1
-00111 1
0-1011 1
101-01 1
01-101 1
-10101 1
1-1001 1
001-10 1
1-1010 1
0-1010 1
01-100 1
111100 1
.names [249] n_n4276 n_n4310 n_n4307 n_n4277 [294] n_n4073
01111- 1
11011- 1
10101- 1
00001- 1
11110- 1
01010- 1
00100- 1
10000- 1
011-10 1
110-10 1
0-1110 1
1-0110 1
111-00 1
010-00 1
1-1100 1
0-0100 1
101111 1
000111 1
111011 1
010011 1
001101 1
100101 1
011001 1
110001 1
.names _120gat_7_ _341gat_20_ [414]
0- 1
-0 1
.names [411] n_n4279 [404] n_n4319 n_n4316 n_n4280 n_n4078
0101-1 1
0110-1 1
0-0111 1
-10111 1
0-1011 1
-11011 1
-01101 1
-00001 1
0111-0 1
0100-0 1
0-1110 1
-11110 1
0-0010 1
-10010 1
-00100 1
-01000 1
101111 1
100011 1
111101 1
110001 1
100110 1
101010 1
110100 1
111000 1
.names _171gat_10_ _341gat_20_ [262]
0- 1
-0 1
.names _341gat_20_ _205gat_12_ [263]
0- 1
-0 1
.names [263] n_n4322 n_n4251 [415] n_n4281 [321] n_n4042
11111- 1
01011- 1
01101- 1
11001- 1
00110- 1
10010- 1
10100- 1
00000- 1
1111-0 1
0101-0 1
0110-0 1
1100-0 1
1-1110 1
0-0110 1
0-1010 1
1-0010 1
001111 1
100111 1
101011 1
000011 1
011101 1
110101 1
111001 1
010001 1
.names _1gat_0_ _324gat_19_ n_n4269 n_n4286 n_n4147
--11 1
111- 1
11-1 1
.names _18gat_1_ _324gat_19_ n_n4289 n_n4270 n_n4130
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 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 _324gat_19_ _52gat_3_ [264]
0- 1
-0 1
.names _324gat_19_ _52gat_3_ n_n4295 n_n4272 n_n4132
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _324gat_19_ _171gat_10_ [411]
0- 1
-0 1
.names _324gat_19_ _171gat_10_ n_n4279 n_n4316 n_n4176
--11 1
111- 1
11-1 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 _324gat_19_ _154gat_9_ [267]
0- 1
-0 1
.names _324gat_19_ _154gat_9_ n_n4278 n_n4313 n_n4138
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [319] [346] n_n3872 n_n3850 n_n3849 n_n3870 n_n3636
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
1-1100 1
0-0100 1
0-1000 1
1-0000 1
111101 1
010101 1
011001 1
110001 1
111110 1
010110 1
011010 1
110010 1
.names _392gat_23_ _35gat_2_ [344]
0- 1
-0 1
.names _86gat_5_ _426gat_25_ [408]
0- 1
-0 1
.names _86gat_5_ _426gat_25_ n_n3414 n_n3438 n_n3289
--11 1
111- 1
11-1 1
.names _222gat_13_ _426gat_25_ _443gat_26_ n_n3484 n_n3610 n_n3611 n_n3332
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_ _222gat_13_ [352]
0- 1
-0 1
.names _120gat_7_ _426gat_25_ n_n3443 n_n3453 n_n3301
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _103gat_6_ _426gat_25_ n_n3415 n_n3440 n_n3291
--11 1
111- 1
11-1 1
.names [251] n_n3415 n_n3443 n_n3453 [310] n_n3440 n_n3223
01011- 1
01101- 1
01110- 1
01000- 1
0-0111 1
-10111 1
0-1011 1
-11011 1
0-1101 1
-11101 1
0-0001 1
-10001 1
-01110 1
-00010 1
-00100 1
-01000 1
101111 1
100011 1
100101 1
101001 1
111110 1
110010 1
110100 1
111000 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 n_n3412 n_n3434 [405] n_n3413 n_n3436 [393] n_n3191
00111- 1
11011- 1
11101- 1
00001- 1
11110- 1
00010- 1
00100- 1
11000- 1
1-0110 1
-10110 1
1-1010 1
-11010 1
1-1100 1
-11100 1
1-0000 1
-10000 1
011111 1
101111 1
010011 1
100011 1
010101 1
100101 1
011001 1
101001 1
.names _52gat_3_ _443gat_26_ [443]
0- 1
-0 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _494gat_29_ n_n3256 \
n_n3007
1111-- 1
11-11- 1
11-1-1 1
1-11-1 1
-1-111 1
111-11 1
.names _18gat_1_ _528gat_31_ [371]
0- 1
-0 1
.names _511gat_30_ _35gat_2_ [269]
0- 1
-0 1
.names [269] n_n2756 [330] [385] n_n2802 n_n2825 n_n2541
11101- 1
00101- 1
01001- 1
10001- 1
1110-1 1
0010-1 1
0100-1 1
1000-1 1
111-11 1
001-11 1
010-11 1
100-11 1
011-00 1
101-00 1
110-00 1
000-00 1
011101 1
101101 1
110101 1
000101 1
011110 1
101110 1
110110 1
000110 1
.names _511gat_30_ _222gat_13_ _494gat_29_ n_n3103 n_n3102 n_n2973 n_n2816
-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_ _120gat_7_ [270]
0- 1
-0 1
.names [270] n_n3645 n_n3739 n_n3711 [335] [351] n_n3415
1111-1 1
0011-1 1
0100-1 1
1000-1 1
111-01 1
001-01 1
11-101 1
00-101 1
0111-0 1
1011-0 1
1100-0 1
0000-0 1
011-00 1
101-00 1
01-100 1
10-100 1
010111 1
100111 1
011011 1
101011 1
110110 1
000110 1
111010 1
001010 1
.names [270] n_n3645 n_n3739 n_n3711 [335] [351] n_n3443
0-11-- 1
0-1-0- 1
0--10- 1
00---1 1
01---0 1
-011-1 1
-01-01 1
-0-101 1
-111-0 1
-11-00 1
-1-100 1
.names _409gat_24_ _392gat_23_ _222gat_13_ n_n3843 n_n3844 n_n3719 n_n3571
--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 n_n3878 [272] n_n3881 n_n3853 n_n3852 [444] n_n3641
1001-1 1
1010-1 1
1-0111 1
-00111 1
1-1011 1
-01011 1
0-1101 1
0-0001 1
1011-0 1
1000-0 1
1-1110 1
-01110 1
1-0010 1
-00010 1
0-0100 1
0-1000 1
011111 1
010011 1
111101 1
110001 1
010110 1
011010 1
110100 1
111000 1
.names _392gat_23_ _86gat_5_ [271]
0- 1
-0 1
.names _375gat_22_ _69gat_4_ n_n3875 n_n3851 n_n3705
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [319] [289] n_n3875 n_n3872 n_n3850 n_n3851 n_n3638
0011-1 1
0101-1 1
001-11 1
010-11 1
-01111 1
-10111 1
-11001 1
-00001 1
0111-0 1
0001-0 1
011-10 1
000-10 1
-11110 1
-00110 1
-01000 1
-10000 1
111011 1
100011 1
111101 1
100101 1
101010 1
110010 1
101100 1
110100 1
.names _375gat_22_ _69gat_4_ [289]
0- 1
-0 1
.names _375gat_22_ _69gat_4_ n_n3875 n_n3851 n_n3730
--11 1
111- 1
11-1 1
.names _375gat_22_ _86gat_5_ [272]
0- 1
-0 1
.names _375gat_22_ _86gat_5_ n_n3878 n_n3852 n_n3706
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _358gat_21_ _222gat_13_ n_n3969 n_n4082 n_n4081 n_n3843
1-11-- 1
---111 1
111-1- 1
-1111- 1
111--1 1
-111-1 1
1-1-11 1
.names _375gat_22_ _239gat_14_ n_n3922 n_n3844
0-0 1
-00 1
111 1
.names _18gat_1_ _358gat_21_ [273]
0- 1
-0 1
.names [273] [389] n_n4068 [409] n_n4131 n_n4149 n_n3847
10111- 1
00011- 1
00101- 1
10001- 1
1011-1 1
0001-1 1
0010-1 1
1000-1 1
1-1111 1
0-0111 1
0-1011 1
1-0011 1
0-1100 1
1-0100 1
1-1000 1
0-0000 1
011101 1
110101 1
111001 1
010001 1
011110 1
110110 1
111010 1
010010 1
.names _358gat_21_ _222gat_13_ [274]
0- 1
-0 1
.names _358gat_21_ _239gat_14_ _341gat_20_ _222gat_13_ n_n4145 n_n4081 n_n3938
00--11 1
0-0-11 1
-0-011 1
--0011 1
00--00 1
0-0-00 1
-0-000 1
--0000 1
011-01 1
10-101 1
1-0101 1
-11001 1
011-10 1
10-110 1
1-0110 1
-11010 1
111111 1
111100 1
.names n_n4289 n_n4271 n_n4292 n_n4270 [334] [422] n_n4067
10111- 1
11011- 1
01101- 1
00001- 1
11110- 1
10010- 1
00100- 1
01000- 1
101-10 1
110-10 1
-01110 1
-10110 1
111-00 1
100-00 1
-11100 1
-00100 1
011111 1
000111 1
111011 1
100011 1
001101 1
010101 1
101001 1
110001 1
.names _18gat_1_ _341gat_20_ [389]
0- 1
-0 1
.names n_n4301 n_n4274 [291] [323] n_n4298 n_n4273 n_n4070
01011- 1
10011- 1
11001- 1
00001- 1
0101-1 1
1001-1 1
1100-1 1
0000-1 1
01-111 1
10-111 1
11-011 1
00-011 1
11-100 1
00-100 1
01-000 1
10-000 1
111101 1
001101 1
011001 1
101001 1
111110 1
001110 1
011010 1
101010 1
.names _69gat_4_ _341gat_20_ [275]
0- 1
-0 1
.names _324gat_19_ _137gat_8_ n_n4310 n_n4277 n_n4170
--11 1
111- 1
11-1 1
.names _324gat_19_ _69gat_4_ [291]
0- 1
-0 1
.names _324gat_19_ _69gat_4_ n_n4298 n_n4273 n_n4158
--11 1
111- 1
11-1 1
.names _290gat_17_ _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ _273gat_16_ \
n_n4145
---0-- 1
000--- 1
0101-- 1
-1111- 1
11010- 1
10010- 1
1-1111 1
1001-0 1
100111 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 _324gat_19_ _188gat_11_ [404]
0- 1
-0 1
.names _324gat_19_ _188gat_11_ n_n4319 n_n4280 n_n4179
--11 1
111- 1
11-1 1
.names _324gat_19_ _103gat_6_ [279]
0- 1
-0 1
.names _324gat_19_ _103gat_6_ n_n4275 n_n4304 n_n4135
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n4322 [404] n_n4281 [321] n_n4319 n_n4280 n_n4079
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
1-1100 1
0-0100 1
0-1000 1
1-0000 1
111101 1
010101 1
011001 1
110001 1
111110 1
010110 1
011010 1
110010 1
.names _188gat_11_ _341gat_20_ [382]
0- 1
-0 1
.names _239gat_14_ _341gat_20_ n_n4145 n_n4082
0-0 1
-00 1
111 1
.names _324gat_19_ _341gat_20_ _222gat_13_ n_n4205 n_n4327 n_n4325 n_n4081
-111-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
-11-11 1
.names _409gat_24_ _205gat_12_ [287]
0- 1
-0 1
.names [391] n_n3742 n_n3712 n_n3673 [375] [351] n_n3453
11111- 1
00011- 1
01101- 1
10001- 1
01110- 1
10010- 1
11100- 1
00000- 1
11-110 1
1-1110 1
01-010 1
0-1010 1
01-100 1
0-1100 1
11-000 1
1-1000 1
001111 1
010111 1
101011 1
110011 1
101101 1
110101 1
001001 1
010001 1
.names _1gat_0_ _426gat_25_ n_n3407 n_n3428 n_n3279
--11 1
111- 1
11-1 1
.names _52gat_3_ _426gat_25_ n_n3412 n_n3434 n_n3262
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _35gat_2_ _426gat_25_ n_n3410 n_n3432 n_n3283
--11 1
111- 1
11-1 1
.names n_n3412 n_n3434 n_n3410 n_n3432 [383] [393] n_n3189
0111-1 1
1011-1 1
1100-1 1
0000-1 1
011-01 1
101-01 1
01-101 1
10-101 1
1111-0 1
0011-0 1
0100-0 1
1000-0 1
111-00 1
001-00 1
11-100 1
00-100 1
110111 1
000111 1
111011 1
001011 1
010110 1
100110 1
011010 1
101010 1
.names _188gat_11_ _460gat_27_ [281]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ n_n3460 n_n3459 [417] n_n3307 n_n3156
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _426gat_25_ _443gat_26_ n_n3506 \
n_n3256
111-1- 1
11-11- 1
11--11 1
-11-11 1
1--111 1
1111-1 1
.names [408] [405] n_n3413 n_n3436 n_n3414 n_n3438 n_n3192
001-11 1
00-111 1
0-1111 1
1-0011 1
101-01 1
10-101 1
1-1101 1
0-0001 1
101-10 1
10-110 1
1-1110 1
0-0010 1
001-00 1
00-100 1
0-1100 1
1-0000 1
110111 1
111011 1
010101 1
011001 1
010110 1
011010 1
110100 1
111000 1
.names _69gat_4_ _443gat_26_ [282]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ _477gat_28_ n_n3179 n_n3307 n_n3308 n_n3048
1-11-- 1
---111 1
111-1- 1
11-11- 1
111--1 1
11-1-1 1
1-1-11 1
.names _511gat_30_ _69gat_4_ [283]
0- 1
-0 1
.names [373] [283] n_n2806 [353] n_n2863 n_n2862 n_n2580
01111- 1
00011- 1
00101- 1
01001- 1
0111-1 1
0001-1 1
0010-1 1
0100-1 1
-11111 1
-00111 1
-01011 1
-10011 1
-01100 1
-10100 1
-11000 1
-00000 1
101101 1
110101 1
111001 1
100001 1
101110 1
110110 1
111010 1
100010 1
.names _511gat_30_ _86gat_5_ [365]
0- 1
-0 1
.names [365] n_n2840 [315] [353] n_n2887 n_n2888 n_n2625
001--- 1
010--- 1
0--01- 1
0--0-1 1
0---11 1
-0101- 1
-1001- 1
-010-1 1
-100-1 1
-01-11 1
-10-11 1
.names _511gat_30_ _103gat_6_ [297]
0- 1
-0 1
.names [297] [315] n_n2915 n_n2914 n_n2867 [447] n_n2650
001--- 1
00-1-- 1
0-11-- 1
0---01 1
0---10 1
-01-01 1
-0-101 1
--1101 1
-01-10 1
-0-110 1
--1110 1
.names _52gat_3_ _477gat_28_ n_n2959 n_n2982 n_n2827
--11 1
111- 1
11-1 1
.names _69gat_4_ _477gat_28_ n_n2994 n_n2984 n_n2836
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2959 n_n2982 n_n2994 [453] n_n2984 [441] n_n2756
00111- 1
11011- 1
11101- 1
00001- 1
11110- 1
00010- 1
00100- 1
11000- 1
1-0110 1
-10110 1
1-1010 1
-11010 1
1-1100 1
-11100 1
1-0000 1
-10000 1
011111 1
101111 1
010011 1
100011 1
010101 1
100101 1
011001 1
101001 1
.names _137gat_8_ _426gat_25_ [284]
0- 1
-0 1
.names _137gat_8_ _426gat_25_ n_n3476 n_n3477 n_n3325
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [344] n_n3638 [302] [332] n_n3726 n_n3704 n_n3408
01111- 1
00011- 1
00101- 1
01001- 1
0111-1 1
0001-1 1
0010-1 1
0100-1 1
-11111 1
-00111 1
-01011 1
-10011 1
-01100 1
-10100 1
-11000 1
-00000 1
101101 1
110101 1
111001 1
100001 1
101110 1
110110 1
111010 1
100010 1
.names [258] n_n3636 [344] n_n3724 [366] n_n3703 n_n3430
001--- 1
010--- 1
0--10- 1
0--1-1 1
0---01 1
-0110- 1
-1010- 1
-011-1 1
-101-1 1
-01-01 1
-10-01 1
.names _426gat_25_ _154gat_9_ [285]
0- 1
-0 1
.names _426gat_25_ _154gat_9_ n_n3499 n_n3500 n_n3349
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3694 [429] [375] [336] n_n3745 n_n3753 n_n3499
01-0-- 1
10-0-- 1
--001- 1
--00-1 1
---011 1
010-1- 1
100-1- 1
010--1 1
100--1 1
01--11 1
10--11 1
.names _409gat_24_ _392gat_23_ _171gat_10_ n_n3773 n_n3774 n_n3648 n_n3500
--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 _409gat_24_ _205gat_12_ n_n3843 n_n3844 [345] n_n3696 n_n3549
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _1gat_0_ _375gat_22_ n_n3847 n_n3866 n_n3722
--11 1
111- 1
11-1 1
.names _375gat_22_ _18gat_1_ n_n3848 n_n3868 n_n3702
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _18gat_1_ [428]
0- 1
-0 1
.names _375gat_22_ _18gat_1_ n_n3848 n_n3868 n_n3724
--11 1
111- 1
11-1 1
.names n_n4132 [409] n_n4152 n_n4069 [421] [356] n_n3848
10-111 1
1-1111 1
-01111 1
0-0011 1
0-0101 1
10-001 1
1-1001 1
-01001 1
0-0110 1
10-010 1
1-1010 1
-01010 1
10-100 1
1-1100 1
-01100 1
0-0000 1
011011 1
110011 1
011101 1
110101 1
011110 1
110110 1
011000 1
110000 1
.names [273] [389] n_n4068 [409] n_n4131 n_n4149 n_n3868
0-01-- 1
0-10-- 1
00--1- 1
00---1 1
0---11 1
-0011- 1
-0101- 1
-001-1 1
-010-1 1
--0111 1
--1011 1
.names _358gat_21_ _69gat_4_ [387]
0- 1
-0 1
.names [275] n_n4158 [387] n_n4071 [306] n_n4134 n_n3875
010--- 1
--001- 1
--010- 1
0-0--1 1
-10--1 1
01-01- 1
01-10- 1
0--011 1
-1-011 1
0--101 1
-1-101 1
.names _137gat_8_ _358gat_21_ [290]
0- 1
-0 1
.names [402] n_n4138 n_n4170 [290] n_n4076 [410] n_n3854
01-111 1
0-1111 1
-11111 1
-00011 1
-00101 1
01-001 1
0-1001 1
-11001 1
-00110 1
01-010 1
0-1010 1
-11010 1
01-100 1
0-1100 1
-11100 1
-00000 1
101011 1
110011 1
101101 1
110101 1
101110 1
110110 1
101000 1
110000 1
.names _358gat_21_ _171gat_10_ [400]
0- 1
-0 1
.names [264] n_n4295 n_n4271 n_n4292 n_n4272 [334] n_n4068
01111- 1
10111- 1
11001- 1
00001- 1
11110- 1
00110- 1
01000- 1
10000- 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
110111 1
000111 1
111011 1
001011 1
010101 1
100101 1
011001 1
101001 1
.names _35gat_2_ _341gat_20_ [409]
0- 1
-0 1
.names _324gat_19_ _120gat_7_ n_n4276 n_n4307 n_n4136
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _324gat_19_ _103gat_6_ n_n4275 n_n4304 n_n4164
--11 1
111- 1
11-1 1
.names n_n4276 n_n4275 n_n4304 n_n4307 [279] [294] n_n4072
0111-1 1
1001-1 1
1110-1 1
0000-1 1
01-101 1
0-1101 1
11-001 1
1-1001 1
1111-0 1
0001-0 1
0110-0 1
1000-0 1
11-100 1
1-1100 1
01-000 1
0-1000 1
101111 1
110111 1
001011 1
010011 1
001110 1
010110 1
101010 1
110010 1
.names _324gat_19_ _188gat_11_ n_n4319 n_n4280 n_n4140
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _324gat_19_ _69gat_4_ n_n4298 n_n4273 n_n4133
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _324gat_19_ _154gat_9_ n_n4278 n_n4313 n_n4173
--11 1
111- 1
11-1 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ _222gat_13_ \
n_n4251
--00-- 1
000--- 1
00--0- 1
0--00- 1
001-1- 1
10010- 1
1101-1 1
1001-0 1
0-1010 1
111111 1
011111 1
101111 1
111011 1
101110 1
111100 1
.names _324gat_19_ _222gat_13_ [415]
0- 1
-0 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_ _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 _324gat_19_ _120gat_7_ [294]
0- 1
-0 1
.names _409gat_24_ _188gat_11_ n_n3676 n_n3675 n_n3548
--11 1
111- 1
11-1 1
.names [287] [355] n_n3676 n_n3697 n_n3696 n_n3675 n_n3481
00111- 1
10101- 1
10110- 1
00100- 1
00-111 1
0-1111 1
10-011 1
1-1011 1
10-101 1
1-1101 1
00-001 1
0-1001 1
1-0110 1
0-0010 1
0-0100 1
1-0000 1
110111 1
010011 1
010101 1
110001 1
111110 1
011010 1
011100 1
111000 1
.names n_n3640 [288] n_n3728 n_n3705 [332] [317] n_n3410
1111-1 1
0011-1 1
0100-1 1
1000-1 1
111-01 1
001-01 1
11-101 1
00-101 1
0111-0 1
1011-0 1
1100-0 1
0000-0 1
011-00 1
101-00 1
01-100 1
10-100 1
010111 1
100111 1
011011 1
101011 1
110110 1
000110 1
111010 1
001010 1
.names [344] n_n3638 [302] [332] n_n3726 n_n3704 n_n3432
-001-- 1
-100-- 1
0-0-1- 1
0-0--1 1
--0-11 1
00-11- 1
01-01- 1
00-1-1 1
01-0-1 1
-0-111 1
-1-011 1
.names _205gat_12_ _443gat_26_ [417]
0- 1
-0 1
.names _69gat_4_ _426gat_25_ [405]
0- 1
-0 1
.names _69gat_4_ _426gat_25_ n_n3413 n_n3436 n_n3287
--11 1
111- 1
11-1 1
.names n_n3476 [284] [285] n_n3499 n_n3500 n_n3477 n_n3270
10011- 1
10101- 1
10110- 1
10000- 1
1-0111 1
-00111 1
1-1011 1
-01011 1
1-1101 1
-01101 1
1-0001 1
-00001 1
0-1110 1
0-0010 1
0-0100 1
0-1000 1
011111 1
010011 1
010101 1
011001 1
111110 1
110010 1
110100 1
111000 1
.names _137gat_8_ _443gat_26_ [407]
0- 1
-0 1
.names _171gat_10_ _460gat_27_ [311]
0- 1
-0 1
.names _171gat_10_ _460gat_27_ n_n3273 n_n3272 n_n3155
--11 1
111- 1
11-1 1
.names _460gat_27_ _222gat_13_ _477gat_28_ n_n3355 n_n3356 n_n3233 n_n3102
-11--1 1
---111 1
1111-- 1
111-1- 1
-1111- 1
11-1-1 1
11--11 1
.names _205gat_12_ _477gat_28_ [295]
0- 1
-0 1
.names _205gat_12_ _477gat_28_ n_n3355 n_n3356 n_n3202 [352] n_n3049
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _460gat_27_ _222gat_13_ _477gat_28_ n_n3355 n_n3356 n_n3233 n_n3078
-0-011 1
-0-101 1
-0-001 1
--0001 1
-0-110 1
--0110 1
1111-1 1
111-11 1
-11111 1
0-0011 1
0-0101 1
1101-0 1
110-10 1
-11000 1
011010 1
011100 1
.names [235] [239] n_n2726 [436] n_n2800 n_n2821 n_n2534
-001-- 1
-010-- 1
00--1- 1
00---1 1
-0--11 1
0-011- 1
0-101- 1
0-01-1 1
0-10-1 1
--0111 1
--1011 1
.names [436] n_n2728 [385] [395] n_n2823 n_n2801 n_n2521
01111- 1
00011- 1
00101- 1
01001- 1
0111-1 1
0001-1 1
0010-1 1
0100-1 1
-11111 1
-00111 1
-01011 1
-10011 1
-01100 1
-10100 1
-11000 1
-00000 1
101101 1
110101 1
111001 1
100001 1
101110 1
110110 1
111010 1
100010 1
.names n_n2780 [373] n_n2827 n_n2836 [328] [330] n_n2579
01--0- 1
10--0- 1
--110- 1
--1-00 1
---100 1
0111-- 1
1011-- 1
011--0 1
101--0 1
01-1-0 1
10-1-0 1
.names [297] [315] n_n2915 n_n2914 n_n2867 [447] n_n2626
101-11 1
10-111 1
1-1111 1
0-0011 1
001-01 1
00-101 1
0-1101 1
1-0001 1
001-10 1
00-110 1
0-1110 1
1-0010 1
101-00 1
10-100 1
1-1100 1
0-0000 1
010111 1
011011 1
110101 1
111001 1
110110 1
111010 1
010100 1
011000 1
.names _511gat_30_ _120gat_7_ [298]
0- 1
-0 1
.names [298] n_n2939 n_n2940 n_n2892 [449] [447] n_n2651
11111- 1
00011- 1
01101- 1
10001- 1
01110- 1
10010- 1
11100- 1
00000- 1
11-110 1
1-1110 1
01-010 1
0-1010 1
01-100 1
0-1100 1
11-000 1
1-1000 1
001111 1
010111 1
101011 1
110011 1
101101 1
110101 1
001001 1
010001 1
.names _511gat_30_ _137gat_8_ _494gat_29_ n_n2843 n_n2965 n_n2966 n_n2710
11-1-- 1
---111 1
111-1- 1
-1111- 1
111--1 1
-111-1 1
11--11 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 n_n3121 n_n3120 n_n3075 [457] [433] [434] n_n2843
11111- 1
00011- 1
00101- 1
11001- 1
00110- 1
11010- 1
11100- 1
00000- 1
1-1110 1
-11110 1
1-0010 1
-10010 1
1-0100 1
-10100 1
1-1000 1
-11000 1
010111 1
100111 1
011011 1
101011 1
011101 1
101101 1
010001 1
100001 1
.names _120gat_7_ _426gat_25_ [310]
0- 1
-0 1
.names _120gat_7_ _426gat_25_ n_n3443 n_n3453 n_n3324
--11 1
111- 1
11-1 1
.names _137gat_8_ _426gat_25_ n_n3476 n_n3477 n_n3348
--11 1
111- 1
11-1 1
.names _188gat_11_ _426gat_25_ [301]
0- 1
-0 1
.names _409gat_24_ _35gat_2_ [302]
0- 1
-0 1
.names _409gat_24_ _188gat_11_ [355]
0- 1
-0 1
.names _392gat_23_ _52gat_3_ [332]
0- 1
-0 1
.names _409gat_24_ _392gat_23_ _222gat_13_ n_n3843 n_n3844 n_n3719 n_n3610
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
-111-1 1
-11-11 1
.names _375gat_22_ _35gat_2_ n_n3849 n_n3870 n_n3726
--11 1
111- 1
11-1 1
.names _375gat_22_ _52gat_3_ n_n3872 n_n3850 n_n3704
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _137gat_8_ n_n3856 n_n3887 n_n3742
--11 1
111- 1
11-1 1
.names _375gat_22_ _154gat_9_ n_n3890 n_n3858 n_n3712
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3890 n_n3858 [376] n_n3856 n_n3887 [380] n_n3645
0101-1 1
1001-1 1
010-11 1
100-11 1
01-111 1
10-111 1
11-001 1
00-001 1
1101-0 1
0001-0 1
110-10 1
000-10 1
11-110 1
00-110 1
01-000 1
10-000 1
111011 1
001011 1
111101 1
001101 1
011010 1
101010 1
011100 1
101100 1
.names _375gat_22_ _392gat_23_ _205gat_12_ n_n3937 n_n3938 n_n3823 n_n3676
--0011 1
--0101 1
-0-001 1
--0001 1
-0-110 1
--0110 1
1111-1 1
111-11 1
-11111 1
00-011 1
00-101 1
1011-0 1
101-10 1
-11000 1
011010 1
011100 1
.names _375gat_22_ _35gat_2_ [346]
0- 1
-0 1
.names _375gat_22_ _137gat_8_ [376]
0- 1
-0 1
.names n_n4070 [275] n_n4133 [333] [421] n_n4155 n_n3872
01-0-- 1
10-0-- 1
--100- 1
--10-1 1
---001 1
011-0- 1
101-0- 1
011--1 1
101--1 1
01--01 1
10--01 1
.names [275] n_n4158 [387] n_n4071 [306] n_n4134 n_n3850
01111- 1
01001- 1
01010- 1
01100- 1
0-1111 1
-11111 1
0-0011 1
-10011 1
0-0101 1
-10101 1
0-1001 1
-11001 1
-00110 1
-01010 1
-01100 1
-00000 1
100111 1
101011 1
101101 1
100001 1
110110 1
111010 1
111100 1
110000 1
.names n_n4078 [262] n_n4173 [305] n_n4139 [410] n_n3856
11111- 1
00111- 1
01101- 1
10101- 1
01010- 1
10010- 1
11000- 1
00000- 1
1111-0 1
0011-0 1
0110-0 1
1010-0 1
11-110 1
00-110 1
01-010 1
10-010 1
010111 1
100111 1
110011 1
000011 1
011101 1
101101 1
111001 1
001001 1
.names [402] n_n4138 n_n4170 [290] n_n4076 [410] n_n3887
01-0-- 1
0-10-- 1
-110-- 1
---001 1
---010 1
01--01 1
0-1-01 1
-11-01 1
01--10 1
0-1-10 1
-11-10 1
.names _358gat_21_ _188gat_11_ _341gat_20_ n_n4042 n_n4179 n_n4141 n_n3917
11-1-- 1
---111 1
111-1- 1
-1111- 1
111--1 1
-111-1 1
11--11 1
.names _358gat_21_ _205gat_12_ n_n4062 n_n4061 n_n3918
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _358gat_21_ _52gat_3_ [333]
0- 1
-0 1
.names _358gat_21_ _154gat_9_ [305]
0- 1
-0 1
.names n_n4301 n_n4274 n_n4275 n_n4304 [279] [323] n_n4071
00111- 1
11011- 1
11101- 1
00001- 1
11110- 1
00010- 1
00100- 1
11000- 1
1-0110 1
-10110 1
1-1010 1
-11010 1
1-1100 1
-11100 1
1-0000 1
-10000 1
011111 1
101111 1
010011 1
100011 1
010101 1
100101 1
011001 1
101001 1
.names _86gat_5_ _341gat_20_ [306]
0- 1
-0 1
.names _324gat_19_ _35gat_2_ n_n4271 n_n4292 n_n4152
--11 1
111- 1
11-1 1
.names _324gat_19_ _171gat_10_ n_n4279 n_n4316 n_n4139
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n4278 [411] n_n4279 [267] n_n4313 n_n4316 n_n4076
1010-1 1
1100-1 1
101-11 1
110-11 1
-01011 1
-10011 1
011-01 1
000-01 1
1110-0 1
1000-0 1
111-10 1
100-10 1
-11010 1
-00010 1
001-00 1
010-00 1
011111 1
000111 1
111101 1
100101 1
001110 1
010110 1
101100 1
110100 1
.names _324gat_19_ _86gat_5_ [323]
0- 1
-0 1
.names _324gat_19_ _86gat_5_ n_n4301 n_n4274 n_n4161
--11 1
111- 1
11-1 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 [264] n_n4295 [291] n_n4298 n_n4273 n_n4272 n_n4069
01011- 1
01101- 1
01110- 1
01000- 1
0-0111 1
-10111 1
0-1011 1
-11011 1
0-1101 1
-11101 1
0-0001 1
-10001 1
-01110 1
-00010 1
-00100 1
-01000 1
101111 1
100011 1
100101 1
101001 1
111110 1
110010 1
110100 1
111000 1
.names _341gat_20_ _52gat_3_ [421]
0- 1
-0 1
.names _426gat_25_ _154gat_9_ n_n3499 n_n3500 n_n3378
--11 1
111- 1
11-1 1
.names _171gat_10_ _460gat_27_ n_n3273 n_n3272 n_n3121
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _460gat_27_ _443gat_26_ _154gat_9_ n_n3378 n_n3379 n_n3250 n_n3120
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
-111-1 1
-11-11 1
.names _120gat_7_ _477gat_28_ [437]
0- 1
-0 1
.names _120gat_7_ _477gat_28_ n_n3071 n_n3070 n_n2939
--11 1
111- 1
11-1 1
.names _222gat_13_ _528gat_31_ [312]
0- 1
-0 1
.names [314] [341] n_n2895 n_n2869 n_n2870 n_n2894 n_n2655
0011-1 1
0101-1 1
001-11 1
010-11 1
-01111 1
-10111 1
-11001 1
-00001 1
0111-0 1
0001-0 1
011-10 1
000-10 1
-11110 1
-00110 1
-01000 1
-10000 1
111011 1
100011 1
111101 1
100101 1
101010 1
110010 1
101100 1
110100 1
.names _511gat_30_ _154gat_9_ [314]
0- 1
-0 1
.names _511gat_30_ _154gat_9_ n_n2869 n_n2870 n_n2711
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [437] n_n3071 n_n3070 [439] n_n3042 n_n3041 n_n2840
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
111-00 1
001-00 1
010-00 1
100-00 1
111101 1
001101 1
010101 1
100101 1
111110 1
001110 1
010110 1
100110 1
.names _103gat_6_ _494gat_29_ [315]
0- 1
-0 1
.names _171gat_10_ _426gat_25_ [316]
0- 1
-0 1
.names _171gat_10_ _426gat_25_ [355] n_n3676 n_n3528 n_n3675 n_n3379
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _409gat_24_ _52gat_3_ [317]
0- 1
-0 1
.names _409gat_24_ _239gat_14_ n_n3680 n_n3611
0-0 1
-00 1
111 1
.names _375gat_22_ _120gat_7_ n_n3854 n_n3884 n_n3739
--11 1
111- 1
11-1 1
.names _375gat_22_ _137gat_8_ n_n3856 n_n3887 n_n3711
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3854 [376] n_n3856 n_n3887 n_n3884 [367] n_n3643
10111- 1
11011- 1
11101- 1
10001- 1
01110- 1
00010- 1
00100- 1
01000- 1
1011-0 1
1101-0 1
1110-0 1
1000-0 1
-01110 1
-10110 1
-11010 1
-00010 1
011111 1
000111 1
001011 1
010011 1
111101 1
100101 1
101001 1
110001 1
.names n_n4137 n_n4074 [402] [414] [357] n_n4167 n_n3884
-01-0- 1
-10-0- 1
1--00- 1
1---01 1
---001 1
1010-- 1
1100-- 1
101--1 1
110--1 1
-010-1 1
-100-1 1
.names _358gat_21_ _120gat_7_ [357]
0- 1
-0 1
.names [320] n_n4135 n_n4072 [306] n_n4161 [368] n_n3851
1110-1 1
0100-1 1
111-11 1
010-11 1
1-1011 1
0-0011 1
001-01 1
100-01 1
0110-0 1
1100-0 1
011-10 1
110-10 1
0-1010 1
1-0010 1
101-00 1
000-00 1
001111 1
100111 1
011101 1
110101 1
101110 1
000110 1
111100 1
010100 1
.names [388] [274] n_n4082 n_n4081 n_n4062 n_n4061 n_n3862
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
-11100 1
-00100 1
-01000 1
-10000 1
111101 1
100101 1
101001 1
110001 1
111110 1
100110 1
101010 1
110010 1
.names _324gat_19_ _205gat_12_ [321]
0- 1
-0 1
.names _324gat_19_ _205gat_12_ n_n4322 n_n4281 n_n4141
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 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 _324gat_19_ _86gat_5_ n_n4301 n_n4274 n_n4134
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _171gat_10_ _443gat_26_ [326]
0- 1
-0 1
.names n_n3481 [301] [316] [326] n_n3528 n_n3529 n_n3250
11011- 1
00011- 1
01001- 1
10001- 1
1101-1 1
0001-1 1
0100-1 1
1000-1 1
11-111 1
00-111 1
01-011 1
10-011 1
01-100 1
10-100 1
11-000 1
00-000 1
011101 1
101101 1
111001 1
001001 1
011110 1
101110 1
111010 1
001010 1
.names n_n3408 n_n3430 n_n3410 n_n3432 [394] [383] n_n3187
0011-1 1
1101-1 1
1110-1 1
0000-1 1
1-0101 1
-10101 1
1-1001 1
-11001 1
1111-0 1
0001-0 1
0010-0 1
1100-0 1
1-1100 1
-11100 1
1-0000 1
-10000 1
011111 1
101111 1
010011 1
100011 1
010110 1
100110 1
011010 1
101010 1
.names _18gat_1_ _443gat_26_ [327]
0- 1
-0 1
.names n_n3273 n_n3272 [281] [311] n_n3307 n_n3308 n_n3075
001-11 1
110-11 1
1-0011 1
-10011 1
111-01 1
000-01 1
1-1001 1
-11001 1
111-10 1
000-10 1
1-1010 1
-11010 1
001-00 1
110-00 1
1-0000 1
-10000 1
011111 1
101111 1
010101 1
100101 1
010110 1
100110 1
011100 1
101100 1
.names _171gat_10_ _477gat_28_ [457]
0- 1
-0 1
.names [436] n_n2728 [385] [395] n_n2823 n_n2801 n_n2536
-010-- 1
-100-- 1
0--01- 1
0--0-1 1
---011 1
001-1- 1
010-1- 1
001--1 1
010--1 1
-01-11 1
-10-11 1
.names _511gat_30_ _52gat_3_ [328]
0- 1
-0 1
.names n_n2780 [373] n_n2827 n_n2836 [328] [330] n_n2560
11111- 1
00111- 1
01001- 1
10001- 1
01110- 1
10110- 1
11000- 1
00000- 1
111-10 1
001-10 1
11-110 1
00-110 1
011-00 1
101-00 1
01-100 1
10-100 1
010111 1
100111 1
011011 1
101011 1
110101 1
000101 1
111001 1
001001 1
.names _511gat_30_ _171gat_10_ n_n3048 n_n3049 [426] n_n2894 n_n2738
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _511gat_30_ _154gat_9_ n_n2869 n_n2870 n_n2737
--11 1
111- 1
11-1 1
.names _52gat_3_ _494gat_29_ [330]
0- 1
-0 1
.names _409gat_24_ _69gat_4_ [331]
0- 1
-0 1
.names [428] n_n3848 n_n3868 [346] n_n3849 n_n3870 n_n3635
-00111 1
01-011 1
0-1011 1
-11011 1
01-101 1
0-1101 1
-11101 1
-00001 1
01-110 1
0-1110 1
-11110 1
-00010 1
-00100 1
01-000 1
0-1000 1
-11000 1
101111 1
110111 1
101001 1
110001 1
101010 1
110010 1
101100 1
110100 1
.names _18gat_1_ _392gat_23_ [366]
0- 1
-0 1
.names n_n3890 n_n3858 n_n3893 n_n3899 [380] [420] n_n3673
0011-1 1
1101-1 1
1110-1 1
0000-1 1
1-0101 1
-10101 1
1-1001 1
-11001 1
1111-0 1
0001-0 1
0010-0 1
1100-0 1
1-1100 1
-11100 1
1-0000 1
-10000 1
011111 1
101111 1
010011 1
100011 1
010110 1
100110 1
011010 1
101010 1
.names _392gat_23_ _154gat_9_ [375]
0- 1
-0 1
.names _375gat_22_ _120gat_7_ [367]
0- 1
-0 1
.names n_n4073 [414] n_n4136 n_n4164 [348] [368] n_n3881
01--0- 1
10--0- 1
--110- 1
--1-00 1
---100 1
0111-- 1
1011-- 1
011--0 1
101--0 1
01-1-0 1
10-1-0 1
.names n_n4137 n_n4074 [402] [414] [357] n_n4167 n_n3853
11101- 1
10001- 1
10100- 1
11000- 1
111-11 1
100-11 1
-11011 1
-00011 1
101-01 1
110-01 1
-01001 1
-10001 1
001-10 1
010-10 1
011-00 1
000-00 1
001111 1
010111 1
011101 1
000101 1
101110 1
110110 1
111100 1
100100 1
.names [240] [245] n_n4147 n_n4130 n_n4067 [389] n_n3866
001--- 1
00-1-- 1
-011-- 1
-0--01 1
-0--10 1
0-1-01 1
0--101 1
--1101 1
0-1-10 1
0--110 1
--1110 1
.names n_n4070 [275] n_n4133 [333] [421] n_n4155 n_n3849
11110- 1
00110- 1
01100- 1
10100- 1
1111-1 1
0011-1 1
0110-1 1
1010-1 1
11-101 1
00-101 1
01-001 1
10-001 1
0101-0 1
1001-0 1
1100-0 1
0000-0 1
010111 1
100111 1
110011 1
000011 1
011110 1
101110 1
111010 1
001010 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 _324gat_19_ _35gat_2_ [334]
0- 1
-0 1
.names _324gat_19_ _35gat_2_ n_n4271 n_n4292 n_n4131
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _392gat_23_ _120gat_7_ [335]
0- 1
-0 1
.names _409gat_24_ _154gat_9_ [336]
0- 1
-0 1
.names n_n3694 [429] [375] [336] n_n3745 n_n3753 n_n3477
11011- 1
00011- 1
01001- 1
10001- 1
1101-1 1
0001-1 1
0100-1 1
1000-1 1
11-111 1
00-111 1
01-011 1
10-011 1
01-100 1
10-100 1
11-000 1
00-000 1
011101 1
101101 1
111001 1
001001 1
011110 1
101110 1
111010 1
001010 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 n_n3301 n_n3291 [338] n_n3247 [363] [412] n_n3019
11111- 1
00011- 1
00101- 1
11001- 1
00110- 1
11010- 1
11100- 1
00000- 1
1-1110 1
-11110 1
1-0010 1
-10010 1
1-0100 1
-10100 1
1-1000 1
-11000 1
010111 1
100111 1
011011 1
101011 1
011101 1
101101 1
010001 1
100001 1
.names _69gat_4_ _460gat_27_ [339]
0- 1
-0 1
.names n_n3193 [253] [282] n_n3287 [339] n_n3264 n_n2959
11011- 1
00011- 1
01010- 1
10010- 1
110-11 1
000-11 1
11-111 1
00-111 1
010-01 1
100-01 1
01-101 1
10-101 1
01-010 1
10-010 1
11-000 1
00-000 1
011011 1
101011 1
111001 1
001001 1
011110 1
101110 1
111100 1
001100 1
.names [365] n_n2840 [315] [353] n_n2887 n_n2888 n_n2603
11101- 1
00101- 1
01001- 1
10001- 1
1110-1 1
0010-1 1
0100-1 1
1000-1 1
111-11 1
001-11 1
010-11 1
100-11 1
011-00 1
101-00 1
110-00 1
000-00 1
011101 1
101101 1
110101 1
000101 1
011110 1
101110 1
110110 1
000110 1
.names [373] [283] n_n2806 [353] n_n2863 n_n2862 n_n2602
-001-- 1
-010-- 1
00--1- 1
00---1 1
-0--11 1
0-011- 1
0-101- 1
0-01-1 1
0-10-1 1
--0111 1
--1011 1
.names _511gat_30_ _171gat_10_ [341]
0- 1
-0 1
.names _511gat_30_ _205gat_12_ [342]
0- 1
-0 1
.names _511gat_30_ _205gat_12_ n_n3103 n_n3102 n_n2946 [451] n_n2790
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _409gat_24_ _392gat_23_ _171gat_10_ n_n3773 n_n3774 n_n3648 n_n3528
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
-111-1 1
-11-11 1
.names _392gat_23_ _222gat_13_ [345]
0- 1
-0 1
.names _375gat_22_ _392gat_23_ _239gat_14_ _222gat_13_ n_n3922 n_n3843 n_n3697
00--11 1
-00-11 1
0--011 1
--0011 1
00--00 1
-00-00 1
0--000 1
--0000 1
101-01 1
01-101 1
-10101 1
1-1001 1
101-10 1
01-110 1
-10110 1
1-1010 1
111111 1
111100 1
.names _375gat_22_ _35gat_2_ n_n3849 n_n3870 n_n3703
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n4073 [414] n_n4136 n_n4164 [348] [368] n_n3852
11111- 1
00111- 1
01001- 1
10001- 1
01110- 1
10110- 1
11000- 1
00000- 1
111-10 1
001-10 1
11-110 1
00-110 1
011-00 1
101-00 1
01-100 1
10-100 1
010111 1
100111 1
011011 1
101011 1
110101 1
000101 1
111001 1
001001 1
.names _358gat_21_ _103gat_6_ [348]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ n_n4327
01-1- 1
-101- 1
1-10- 1
101-0 1
11111 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 _205gat_12_ _443gat_26_ [250] n_n3459 n_n3610 n_n3611 n_n3308
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _35gat_2_ _443gat_26_ [379]
0- 1
-0 1
.names _86gat_5_ _460gat_27_ [430]
0- 1
-0 1
.names n_n3266 [253] n_n3289 n_n3223 [430] [412] n_n3018
10--0- 1
1-1-0- 1
-01-0- 1
---001 1
---100 1
10-0-1 1
1-10-1 1
-010-1 1
10-1-0 1
1-11-0 1
-011-0 1
.names _511gat_30_ _188gat_11_ _494gat_29_ n_n3048 n_n3049 n_n2922 n_n2789
11---1 1
---111 1
1111-- 1
111-1- 1
11-11- 1
-111-1 1
-11-11 1
.names n_n3019 n_n3018 [424] [439] n_n3042 n_n3041 n_n2806
00-111 1
11-011 1
1-0011 1
-10011 1
11-101 1
1-0101 1
-10101 1
00-001 1
11-110 1
1-0110 1
-10110 1
00-010 1
00-100 1
11-000 1
1-0000 1
-10000 1
011111 1
101111 1
011001 1
101001 1
011010 1
101010 1
011100 1
101100 1
.names _86gat_5_ _494gat_29_ [353]
0- 1
-0 1
.names _409gat_24_ _188gat_11_ n_n3676 n_n3675 n_n3529
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _154gat_9_ n_n3890 n_n3858 n_n3745
--11 1
111- 1
11-1 1
.names _375gat_22_ _171gat_10_ n_n3893 n_n3899 n_n3753
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _103gat_6_ [444]
0- 1
-0 1
.names _375gat_22_ _103gat_6_ n_n3881 n_n3853 n_n3736
--11 1
111- 1
11-1 1
.names n_n4132 [409] n_n4152 n_n4069 [421] [356] n_n3870
10---0 1
1-1--0 1
-01--0 1
---010 1
---100 1
10-01- 1
1-101- 1
-0101- 1
10-10- 1
1-110- 1
-0110- 1
.names _358gat_21_ _35gat_2_ [356]
0- 1
-0 1
.names _324gat_19_ _341gat_20_ _222gat_13_ n_n4205 n_n4327 n_n4325 n_n4062
-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_ _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 n_n3642 [259] [271] [361] n_n3733 n_n3707 n_n3413
11011- 1
00011- 1
01001- 1
10001- 1
1101-1 1
0001-1 1
0100-1 1
1000-1 1
11-111 1
00-111 1
01-011 1
10-011 1
01-100 1
10-100 1
11-000 1
00-000 1
011101 1
101101 1
111001 1
001001 1
011110 1
101110 1
111010 1
001010 1
.names [238] [244] n_n3722 n_n3702 n_n3635 [366] n_n3428
001--- 1
00-1-- 1
-011-- 1
-0--01 1
-0--10 1
0-1-01 1
0--101 1
--1101 1
0-1-10 1
0--110 1
--1110 1
.names n_n3476 n_n3443 n_n3453 [284] [310] n_n3477 n_n3247
0111-1 1
1001-1 1
1110-1 1
0000-1 1
01-101 1
0-1101 1
11-001 1
1-1001 1
1111-0 1
0001-0 1
0110-0 1
1000-0 1
11-100 1
1-1100 1
01-000 1
0-1000 1
101111 1
110111 1
001011 1
010011 1
001110 1
010110 1
101010 1
110010 1
.names _120gat_7_ _443gat_26_ [363]
0- 1
-0 1
.names _137gat_8_ _528gat_31_ [364]
0- 1
-0 1
.names [288] n_n3641 [271] n_n3730 n_n3706 [331] n_n3436
-01--0 1
-10--0 1
0--1-0 1
0---10 1
---110 1
0011-- 1
0101-- 1
001-1- 1
010-1- 1
-0111- 1
-1011- 1
.names _375gat_22_ _120gat_7_ n_n3854 n_n3884 n_n3709
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _375gat_22_ _188gat_11_ [454]
0- 1
-0 1
.names _103gat_6_ _341gat_20_ [368]
0- 1
-0 1
.names _324gat_19_ _52gat_3_ n_n4295 n_n4272 n_n4155
--11 1
111- 1
11-1 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 _375gat_22_ _86gat_5_ n_n3878 n_n3852 n_n3733
--11 1
111- 1
11-1 1
.names _375gat_22_ _103gat_6_ n_n3881 n_n3853 n_n3707
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _18gat_1_ _426gat_25_ [394]
0- 1
-0 1
.names _18gat_1_ _426gat_25_ n_n3408 n_n3430 n_n3281
--11 1
111- 1
11-1 1
.names _103gat_6_ _443gat_26_ [412]
0- 1
-0 1
.names _460gat_27_ _443gat_26_ _154gat_9_ n_n3378 n_n3379 n_n3250 n_n3096
--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 [269] n_n2756 [330] [385] n_n2802 n_n2825 n_n2559
001--- 1
010--- 1
0--01- 1
0--0-1 1
0---11 1
-0101- 1
-1001- 1
-010-1 1
-100-1 1
-01-11 1
-10-11 1
.names _137gat_8_ _460gat_27_ [374]
0- 1
-0 1
.names n_n3305 [257] n_n3349 [407] n_n3348 [374] n_n3071
1110-1 1
0010-1 1
111-11 1
001-11 1
11-011 1
00-011 1
010-01 1
100-01 1
0110-0 1
1010-0 1
011-10 1
101-10 1
01-010 1
10-010 1
110-00 1
000-00 1
010111 1
100111 1
011101 1
101101 1
110110 1
000110 1
111100 1
001100 1
.names _375gat_22_ _358gat_21_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3988 \
n_n3719
--1010 1
11111- 1
0101-1 1
001-11 1
1-1111 1
0-1011 1
1-0011 1
01-101 1
10-101 1
1001-0 1
001-10 1
11-100 1
10-100 1
011110 1
.names _375gat_22_ _205gat_12_ [378]
0- 1
-0 1
.names _341gat_20_ _154gat_9_ [410]
0- 1
-0 1
.names _18gat_1_ _324gat_19_ n_n4289 n_n4270 n_n4149
--11 1
111- 1
11-1 1
.names _375gat_22_ _392gat_23_ _205gat_12_ n_n3937 n_n3938 n_n3823 n_n3696
-11--1 1
---111 1
1111-- 1
111-1- 1
-1111- 1
1-11-1 1
1-1-11 1
.names _86gat_5_ _426gat_25_ n_n3414 n_n3438 n_n3264
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3305 [257] n_n3349 [407] n_n3348 [374] n_n3095
01---0 1
10---0 1
--10-0 1
--1-10 1
---010 1
0110-- 1
1010-- 1
011-1- 1
101-1- 1
01-01- 1
10-01- 1
.names _511gat_30_ _188gat_11_ _494gat_29_ n_n3048 n_n3049 n_n2922 n_n2766
-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 _375gat_22_ _154gat_9_ [380]
0- 1
-0 1
.names _375gat_22_ _171gat_10_ [420]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _222gat_13_ n_n3969 n_n4082 n_n4081 n_n3823
0--011 1
--0011 1
--0101 1
--0110 1
0--100 1
--0100 1
11111- 1
01101- 1
1111-1 1
0110-1 1
1-1111 1
00-101 1
00-110 1
1-1000 1
101001 1
101010 1
.names [263] n_n4322 n_n4251 [415] n_n4281 [321] n_n4061
0-01-- 1
0-10-- 1
01--1- 1
01---0 1
0---10 1
-1011- 1
-1101- 1
-101-0 1
-110-0 1
--0110 1
--1010 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ _222gat_13_ \
n_n4325
1101-1 1
011-11 1
11-111 1
1-0111 1
-11011 1
11-101 1
.names _35gat_2_ _426gat_25_ [383]
0- 1
-0 1
.names _35gat_2_ _426gat_25_ n_n3410 n_n3432 n_n3261
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _52gat_3_ _426gat_25_ n_n3412 n_n3434 n_n3285
--11 1
111- 1
11-1 1
.names _69gat_4_ _426gat_25_ n_n3413 n_n3436 n_n3263
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _103gat_6_ _528gat_31_ [419]
0- 1
-0 1
.names n_n2959 n_n2982 [435] [441] n_n2980 n_n2958 n_n2728
01011- 1
10011- 1
11001- 1
00001- 1
0101-1 1
1001-1 1
1100-1 1
0000-1 1
01-111 1
10-111 1
11-011 1
00-011 1
11-100 1
00-100 1
01-000 1
10-000 1
111101 1
001101 1
011001 1
101001 1
111110 1
001110 1
011010 1
101010 1
.names _35gat_2_ _494gat_29_ [385]
0- 1
-0 1
.names _52gat_3_ _426gat_25_ [393]
0- 1
-0 1
.names n_n3917 n_n3918 n_n3862 [454] [378] [423] n_n3648
111-11 1
000-11 1
1-1011 1
-11011 1
001-01 1
110-01 1
1-0001 1
-10001 1
001-10 1
110-10 1
1-0010 1
-10010 1
111-00 1
000-00 1
1-1000 1
-11000 1
010111 1
100111 1
011101 1
101101 1
011110 1
101110 1
010100 1
100100 1
.names [259] n_n3643 [335] n_n3736 n_n3709 [397] n_n3414
0111-1 1
0001-1 1
011-11 1
000-11 1
-11111 1
-00111 1
-01001 1
-10001 1
0011-0 1
0101-0 1
001-10 1
010-10 1
-01110 1
-10110 1
-11000 1
-00000 1
101011 1
110011 1
101101 1
110101 1
111010 1
100010 1
111100 1
100100 1
.names n_n3642 [259] [271] [361] n_n3733 n_n3707 n_n3438
01-0-- 1
10-0-- 1
--001- 1
--00-1 1
---011 1
010-1- 1
100-1- 1
010--1 1
100--1 1
01--11 1
10--11 1
.names _18gat_1_ _426gat_25_ n_n3408 n_n3430 n_n3259
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _18gat_1_ _511gat_30_ [395]
0- 1
-0 1
.names _409gat_24_ _103gat_6_ [397]
0- 1
-0 1
.names _409gat_24_ _205gat_12_ _426gat_25_ n_n3571 n_n3697 n_n3696 n_n3422
-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 [259] n_n3643 [335] n_n3736 n_n3709 [397] n_n3440
-01--0 1
-10--0 1
0--1-0 1
0---10 1
---110 1
0011-- 1
0101-- 1
001-1- 1
010-1- 1
-0111- 1
-1011- 1
.names _324gat_19_ _120gat_7_ n_n4276 n_n4307 n_n4167
--11 1
111- 1
11-1 1
.names _18gat_1_ _324gat_19_ [422]
0- 1
-0 1
.names _392gat_23_ _188gat_11_ [423]
0- 1
-0 1
.names _460gat_27_ _52gat_3_ [446]
0- 1
-0 1
.names [443] n_n3192 [282] n_n3285 n_n3263 [446] n_n2982
-01--0 1
-10--0 1
0--1-0 1
0---10 1
---110 1
0011-- 1
0101-- 1
001-1- 1
010-1- 1
-0111- 1
-1011- 1
.names _205gat_12_ _477gat_28_ _494gat_29_ n_n3202 n_n3203 n_n3078 n_n2946
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
11-1-1 1
11--11 1
.names _239gat_14_ _222gat_13_ _477gat_28_ _494gat_29_ n_n3183 n_n3102 n_n2947
00--11 1
-00-11 1
0--011 1
--0011 1
00--00 1
-00-00 1
0--000 1
--0000 1
101-01 1
01-101 1
-10101 1
1-1001 1
101-10 1
01-110 1
-10110 1
1-1010 1
111111 1
111100 1
.names _86gat_5_ _477gat_28_ [424]
0- 1
-0 1
.names _86gat_5_ _477gat_28_ n_n3019 n_n3018 n_n2863
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _494gat_29_ n_n3256 \
n_n2926
0----0 1
00---1 1
0--0-1 1
11-11- 1
--0001 1
--0000 1
111-11 1
1-1111 1
01-101 1
1-1001 1
1-0100 1
1-1000 1
100101 1
101100 1
.names _511gat_30_ _239gat_14_ [432]
0- 1
-0 1
.names _188gat_11_ _494gat_29_ [426]
0- 1
-0 1
.names _188gat_11_ _494gat_29_ n_n3202 n_n3203 n_n3048 [295] n_n2895
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ _494gat_29_ n_n3256 \
n_n2973
01--10 1
11111- 1
1001-1 1
1010-1 1
11-111 1
01-011 1
-10011 1
01-101 1
1-1001 1
1011-0 1
1001-0 1
-10010 1
1-0100 1
111010 1
.names n_n3325 n_n3270 [407] n_n3324 [363] [445] n_n3070
-01--0 1
-10--0 1
1--1-0 1
1---00 1
---100 1
1011-- 1
1101-- 1
101-0- 1
110-0- 1
-0110- 1
-1010- 1
.names n_n3266 [253] n_n3289 n_n3223 [430] [412] n_n2994
10-111 1
1-1111 1
-01111 1
0-0011 1
0-0101 1
10-001 1
1-1001 1
-01001 1
0-0110 1
10-010 1
1-1010 1
-01010 1
10-100 1
1-1100 1
-01100 1
0-0000 1
011011 1
110011 1
011101 1
110101 1
011110 1
110110 1
011000 1
110000 1
.names _222gat_13_ _494gat_29_ [451]
0- 1
-0 1
.names _69gat_4_ _477gat_28_ [453]
0- 1
-0 1
.names _69gat_4_ _477gat_28_ n_n2994 n_n2984 n_n2862
--11 1
111- 1
11-1 1
.names _120gat_7_ _477gat_28_ n_n3071 n_n3070 n_n2915
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _103gat_6_ _477gat_28_ n_n3042 n_n3041 n_n2914
--11 1
111- 1
11-1 1
.names n_n3121 n_n3120 n_n3075 [457] [433] [434] n_n2869
11--0- 1
--010- 1
--100- 1
1---00 1
-1--00 1
1101-- 1
1110-- 1
1-01-0 1
-101-0 1
1-10-0 1
-110-0 1
.names _171gat_10_ _477gat_28_ _494gat_29_ n_n3156 n_n3155 n_n3026 n_n2870
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_n3193 [253] [282] n_n3287 [339] n_n3264 n_n2984
01--0- 1
10--0- 1
--010- 1
--0-01 1
---101 1
0101-- 1
1001-- 1
010--1 1
100--1 1
01-1-1 1
10-1-1 1
.names _137gat_8_ _477gat_28_ [431]
0- 1
-0 1
.names _137gat_8_ _477gat_28_ n_n3096 n_n3095 n_n2940
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _171gat_10_ _477gat_28_ _494gat_29_ n_n3156 n_n3155 n_n3026 n_n2894
1-1--1 1
---111 1
1111-- 1
111-1- 1
1-111- 1
11-1-1 1
11--11 1
.names _86gat_5_ _477gat_28_ n_n3019 n_n3018 n_n2887
--11 1
111- 1
11-1 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 _137gat_8_ _477gat_28_ n_n3096 n_n3095 n_n2965
--11 1
111- 1
11-1 1
.names n_n3121 n_n3120 n_n3096 n_n3095 [431] [434] n_n2892
0111-1 1
1011-1 1
1100-1 1
0000-1 1
011-01 1
101-01 1
01-101 1
10-101 1
1111-0 1
0011-0 1
0100-0 1
1000-0 1
111-00 1
001-00 1
11-100 1
00-100 1
110111 1
000111 1
111011 1
001011 1
010110 1
100110 1
011010 1
101010 1
.names _137gat_8_ _494gat_29_ [449]
0- 1
-0 1
.names [437] n_n3096 n_n3071 n_n3095 n_n3070 [431] n_n2867
0011-1 1
0110-1 1
00-111 1
-01111 1
01-011 1
-11011 1
-10101 1
-00001 1
0111-0 1
0010-0 1
01-110 1
-11110 1
00-010 1
-01010 1
-00100 1
-10000 1
110111 1
100011 1
111101 1
101001 1
100110 1
110010 1
101100 1
111000 1
.names _477gat_28_ _154gat_9_ [434]
0- 1
-0 1
.names _477gat_28_ _154gat_9_ n_n3273 n_n3272 [311] n_n3120 n_n2966
0-1111 1
-01111 1
0-0011 1
-00011 1
0-0101 1
-00101 1
0-1001 1
-01001 1
0-0110 1
-00110 1
0-1010 1
-01010 1
0-1100 1
-01100 1
0-0000 1
-00000 1
110111 1
111011 1
111101 1
110001 1
111110 1
110010 1
110100 1
111000 1
.names n_n3917 n_n3918 n_n3862 [454] [378] [423] n_n3675
11---0 1
1--0-0 1
-1-0-0 1
--0-10 1
--1-00 1
110-1- 1
1-001- 1
-1001- 1
111-0- 1
1-100- 1
-1100- 1
.names _18gat_1_ _477gat_28_ [440]
0- 1
-0 1
.names _18gat_1_ _477gat_28_ n_n2978 n_n2956 n_n2823
--11 1
111- 1
11-1 1
.names _35gat_2_ _477gat_28_ [435]
0- 1
-0 1
.names _35gat_2_ _477gat_28_ n_n2980 n_n2958 n_n2801
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _120gat_7_ _460gat_27_ [445]
0- 1
-0 1
.names [233] [236] n_n3279 n_n3187 [327] n_n3259 n_n2976
001--- 1
0--01- 1
0--10- 1
00---1 1
0-1--1 1
-0101- 1
-0110- 1
-0-011 1
--1011 1
-0-101 1
--1101 1
.names _103gat_6_ _477gat_28_ [439]
0- 1
-0 1
.names _103gat_6_ _477gat_28_ n_n3042 n_n3041 n_n2888
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _18gat_1_ _477gat_28_ n_n2978 n_n2956 n_n2800
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _205gat_12_ _477gat_28_ _494gat_29_ n_n3202 n_n3203 n_n3078 n_n2922
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 _1gat_0_ _477gat_28_ n_n2976 n_n2954 n_n2821
--11 1
111- 1
11-1 1
.names _511gat_30_ _222gat_13_ _494gat_29_ n_n3103 n_n3102 n_n2973 n_n2849
11---1 1
---111 1
1111-- 1
111-1- 1
11-11- 1
-111-1 1
-11-11 1
.names _18gat_1_ _460gat_27_ [456]
0- 1
-0 1
.names n_n3189 [327] [379] n_n3281 n_n3261 [456] n_n2978
0-1--0 1
1-0--0 1
-0-1-0 1
-0--10 1
---110 1
0011-- 1
1001-- 1
001-1- 1
100-1- 1
0-111- 1
1-011- 1
.names _52gat_3_ _477gat_28_ [441]
0- 1
-0 1
.names _52gat_3_ _477gat_28_ n_n2959 n_n2982 n_n2802
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3325 n_n3270 [407] n_n3324 [363] [445] n_n3042
1111-1 1
1001-1 1
0010-1 1
0100-1 1
111-01 1
100-01 1
-11101 1
-00101 1
1011-0 1
1101-0 1
0110-0 1
0000-0 1
101-00 1
110-00 1
-01100 1
-10100 1
001111 1
010111 1
101011 1
110011 1
011110 1
000110 1
111010 1
100010 1
.names _35gat_2_ _477gat_28_ n_n2980 n_n2958 n_n2825
--11 1
111- 1
11-1 1
.names _35gat_2_ _460gat_27_ [450]
0- 1
-0 1
.names n_n3191 [443] n_n3262 n_n3283 [379] [450] n_n2980
01---0 1
10---0 1
--11-0 1
--1-00 1
---100 1
0111-- 1
1011-- 1
011-0- 1
101-0- 1
01-10- 1
10-10- 1
.names [443] n_n3192 [282] n_n3285 n_n3263 [446] n_n2958
0111-1 1
0001-1 1
011-11 1
000-11 1
-11111 1
-00111 1
-01001 1
-10001 1
0011-0 1
0101-0 1
001-10 1
010-10 1
-01110 1
-10110 1
-11000 1
-00000 1
101011 1
110011 1
101101 1
110101 1
111010 1
100010 1
111100 1
100100 1
.names _120gat_7_ _494gat_29_ [447]
0- 1
-0 1
.names n_n3189 [327] [379] n_n3281 n_n3261 [456] n_n2954
1011-1 1
0001-1 1
101-11 1
000-11 1
1-1111 1
0-0111 1
0-1001 1
1-0001 1
0011-0 1
1001-0 1
001-10 1
100-10 1
0-1110 1
1-0110 1
1-1000 1
0-0000 1
011011 1
110011 1
011101 1
110101 1
111010 1
010010 1
111100 1
010100 1
.names n_n3301 n_n3291 [338] n_n3247 [363] [412] n_n3041
110--- 1
--001- 1
--010- 1
1-0--0 1
-10--0 1
11-01- 1
11-10- 1
1--010 1
-1-010 1
1--100 1
-1-100 1
.names n_n3191 [443] n_n3262 n_n3283 [379] [450] n_n2956
1111-1 1
0011-1 1
0100-1 1
1000-1 1
111-01 1
001-01 1
11-101 1
00-101 1
0111-0 1
1011-0 1
1100-0 1
0000-0 1
011-00 1
101-00 1
01-100 1
10-100 1
010111 1
100111 1
011011 1
101011 1
110110 1
000110 1
111010 1
001010 1
.end