vtr_flow/benchmarks/blif/7/C6288.blif - third_party/vtr-verilog-to-routing - Git at Google

 .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