.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 n_n2397 [35] _6280gat_2443_
11 1
00 1
.names _1gat_0_ _460gat_27_ n_n3034 _4946gat_1876_
0-0 1
-00 1
111 1
.names _528gat_31_ _205gat_12_ n_n2407 n_n2657 n_n2742 _6260gat_2433_
0-011 1
-0011 1
0-101 1
-0101 1
0-110 1
-0110 1
0-000 1
-0000 1
11111 1
11001 1
11010 1
11100 1
.names _171gat_10_ _528gat_31_ n_n2417 n_n2609 n_n2687 _6240gat_2423_
0-011 1
-0011 1
0-101 1
-0101 1
0-110 1
-0110 1
0-000 1
-0000 1
11111 1
11001 1
11010 1
11100 1
.names _1gat_0_ _324gat_19_ n_n4207 _2223gat_700_
0-0 1
-00 1
111 1
.names _1gat_0_ _494gat_29_ n_n2724 _5672gat_2187_
0-0 1
-00 1
111 1
.names n_n2477 [34] [413] n_n2560 n_n2559 _6160gat_2383_
11111 1
00111 1
01011 1
10011 1
01101 1
10101 1
11001 1
00001 1
01110 1
10110 1
11010 1
00010 1
11100 1
00100 1
01000 1
10000 1
.names n_n2397 n_n2744 [340] n_n2718 n_n2717 _6287gat_2444_
-10-- 1
11-1- 1
1-01- 1
11--1 1
1-0-1 1
-1-11 1
--011 1
.names n_n2512 n_n2513 n_n2500 n_n2447 n_n2499 _6190gat_2398_
1111- 1
0011- 1
111-1 1
001-1 1
11-11 1
00-11 1
010-0 1
100-0 1
01001 1
10001 1
01100 1
10100 1
.names _1gat_0_ _443gat_26_ n_n3186 _4591gat_1722_
0-0 1
-00 1
111 1
.names _1gat_0_ _426gat_25_ n_n3338 _4241gat_1572_
0-0 1
-00 1
111 1
.names _69gat_4_ _528gat_31_ n_n2447 n_n2499 n_n2545 _6180gat_2393_
0-011 1
-0011 1
0-101 1
-0101 1
0-110 1
-0110 1
0-000 1
-0000 1
11111 1
11001 1
11010 1
11100 1
.names _137gat_8_ _528gat_31_ n_n2427 n_n2566 n_n2630 _6220gat_2413_
0-011 1
-0011 1
0-101 1
-0101 1
0-110 1
-0110 1
0-000 1
-0000 1
11111 1
11001 1
11010 1
11100 1
.names n_n2477 n_n2478 [34] n_n2487 n_n2488 _6170gat_2388_
11-11 1
1-011 1
-1011 1
00-01 1
00-10 1
11-00 1
1-000 1
-1000 1
01101 1
10101 1
01110 1
10110 1
.names _103gat_6_ _528gat_31_ n_n2437 n_n2527 n_n2584 _6200gat_2403_
0-011 1
-0011 1
0-101 1
-0101 1
0-110 1
-0110 1
0-000 1
-0000 1
11111 1
11001 1
11010 1
11100 1
.names _1gat_0_ _392gat_23_ n_n3634 _3552gat_1275_
0-0 1
-00 1
111 1
.names _1gat_0_ _511gat_30_ n_n2576 _5971gat_2309_
0-0 1
-00 1
111 1
.names n_n2437 n_n2527 n_n2528 n_n2548 n_n2547 _6210gat_2408_
11-11 1
1-111 1
-1111 1
-0001 1
-0010 1
11-00 1
1-100 1
-1100 1
00101 1
01001 1
00110 1
01010 1
.names _1gat_0_ _341gat_20_ n_n4066 _2548gat_840_
0-0 1
-00 1
111 1
.names _1gat_0_ _528gat_31_ n_n2469 n_n2534 n_n2521 _6150gat_2378_
--011 1
--100 1
1101- 1
110-1 1
0-101 1
-0101 1
0-110 1
-0110 1
.names _1gat_0_ _307gat_18_ n_n4346 _1901gat_561_
0-0 1
-00 1
111 1
.names n_n2397 n_n2662 n_n2794 [299] n_n2717 _6288gat_2447_
11--1 1
1101- 1
1110- 1
-1011 1
-1101 1
-0110 1
-0000 1
00111 1
00001 1
00010 1
00100 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _273gat_16_ _1581gat_423_
110- 1
0-11 1
-011 1
11-0 1
.names n_n2567 n_n2427 n_n2566 n_n2586 n_n2587 _6230gat_2418_
11-11 1
1-111 1
-1111 1
0-001 1
0-010 1
11-00 1
1-100 1
-1100 1
00101 1
10001 1
00110 1
10010 1
.names _1gat_0_ _375gat_22_ n_n3779 _3211gat_1128_
0-0 1
-00 1
111 1
.names _1gat_0_ _528gat_31_ n_n2485 _6123gat_2368_
0-0 1
-00 1
111 1
.names n_n2417 n_n2609 n_n2610 n_n2633 n_n2632 _6250gat_2428_
11-11 1
1-111 1
-1111 1
-0001 1
-0010 1
11-00 1
1-100 1
-1100 1
00101 1
01001 1
00110 1
01010 1
.names _1gat_0_ _409gat_24_ n_n3486 _3895gat_1423_
0-0 1
-00 1
111 1
.names _1gat_0_ _273gat_16_ _545gat_287_
11 1
.names _1gat_0_ _358gat_21_ n_n3923 _2877gat_983_
0-0 1
-00 1
111 1
.names _1gat_0_ _477gat_28_ n_n2881 _5308gat_2031_
0-0 1
-00 1
111 1
.names n_n2407 n_n2658 n_n2657 n_n2690 n_n2689 _6270gat_2438_
11-11 1
1-111 1
-1111 1
-0001 1
-0010 1
11-00 1
1-100 1
-1100 1
00101 1
01001 1
00110 1
01010 1
.names n_n2407 n_n2658 n_n2657 n_n2690 n_n2689 n_n2397
---11 1
11-1- 1
1-11- 1
-111- 1
11--1 1
1-1-1 1
-11-1 1
.names n_n2794 [299] [312] n_n2850 n_n2849 [35]
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names [236] n_n3279 n_n3187 [327] n_n3259 n_n3034
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _1gat_0_ _460gat_27_ [233]
0- 1
-0 1
.names n_n2417 n_n2609 n_n2610 n_n2633 n_n2632 n_n2407
---11 1
11-1- 1
1-11- 1
-111- 1
11--1 1
1-1-1 1
-11-1 1
.names _528gat_31_ _205gat_12_ n_n2742 n_n2658
0-0 1
-00 1
111 1
.names _188gat_11_ _528gat_31_ n_n2874 [342] n_n2789 n_n2657
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n2567 n_n2427 n_n2566 n_n2586 n_n2587 n_n2417
---11 1
11-1- 1
1-11- 1
-111- 1
11--1 1
1-1-1 1
-11-1 1
.names _528gat_31_ _154gat_9_ n_n2737 n_n2813 [341] n_n2609
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _171gat_10_ _528gat_31_ n_n2687 n_n2610
0-0 1
-00 1
111 1
.names [241] n_n4424 n_n4347 [278] n_n4407 n_n4207
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _1gat_0_ _324gat_19_ [234]
0- 1
-0 1
.names [246] n_n2882 [440] n_n2976 n_n2954 n_n2724
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _1gat_0_ _494gat_29_ [235]
0- 1
-0 1
.names n_n2666 [371] n_n2541 n_n2644 [395] n_n2477
-01-- 1
10-1- 1
1-11- 1
10--0 1
1-1-0 1
-0-10 1
--110 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_ _528gat_31_ n_n2469 n_n2534 n_n2521 [34]
--0-- 1
---00 1
0--01 1
-0-01 1
0--10 1
-0-10 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ n_n2876 n_n2744
11--1 1
--111 1
1111- 1
.names _256gat_15_ _528gat_31_ [340]
0- 1
-0 1
.names _69gat_4_ _528gat_31_ n_n2680 [365] n_n2602 n_n2512
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _86gat_5_ _528gat_31_ n_n2564 n_n2513
0-0 1
-00 1
111 1
.names n_n2512 n_n2513 n_n2500 n_n2447 n_n2499 n_n2437
11--- 1
1-11- 1
-111- 1
1-1-1 1
-11-1 1
1--11 1
-1-11 1
.names [237] n_n3407 n_n3339 n_n3428 [394] n_n3186
010-1 1
0-011 1
-1011 1
-0101 1
011-0 1
0-110 1
-1110 1
-0000 1
10111 1
11101 1
10010 1
11000 1
.names _1gat_0_ _443gat_26_ [236]
0- 1
-0 1
.names [244] n_n3488 [258] n_n3576 n_n3555 n_n3338
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _1gat_0_ _426gat_25_ [237]
0- 1
-0 1
.names _69gat_4_ _528gat_31_ n_n2545 n_n2500
0-0 1
-00 1
111 1
.names n_n2477 n_n2478 [34] n_n2487 n_n2488 n_n2447
---11 1
11-1- 1
1-01- 1
-101- 1
11--1 1
1-0-1 1
-10-1 1
.names _528gat_31_ _52gat_3_ n_n2648 [283] n_n2579 n_n2499
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _137gat_8_ _528gat_31_ n_n2630 n_n2567
0-0 1
-00 1
111 1
.names n_n2437 n_n2527 n_n2528 n_n2548 n_n2547 n_n2427
---11 1
11-1- 1
1-11- 1
-111- 1
11--1 1
1-1-1 1
-11-1 1
.names _120gat_7_ _528gat_31_ n_n2682 n_n2763 [372] n_n2566
111-- 1
--101 1
--110 1
11-01 1
11-10 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_n2525 n_n2488
0-0 1
-00 1
111 1
.names _86gat_5_ _528gat_31_ n_n2625 n_n2708 [297] n_n2527
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _103gat_6_ _528gat_31_ n_n2584 n_n2528
0-0 1
-00 1
111 1
.names [242] n_n3847 n_n3780 [428] n_n3866 n_n3634
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _1gat_0_ _392gat_23_ [238]
0- 1
-0 1
.names [235] n_n2726 [436] n_n2800 n_n2821 n_n2576
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _1gat_0_ _511gat_30_ [239]
0- 1
-0 1
.names _120gat_7_ _528gat_31_ n_n2607 n_n2548
0-0 1
-00 1
111 1
.names _103gat_6_ _528gat_31_ n_n2650 n_n2735 [298] n_n2547
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [234] n_n4269 n_n4286 n_n4208 [422] n_n4066
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _1gat_0_ _341gat_20_ [240]
0- 1
-0 1
.names n_n2666 [371] n_n2541 n_n2644 [395] n_n2469
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _35gat_2_ _273gat_16_ n_n4346
-0-0- 1
--00- 1
-0--0 1
--0-0 1
01111 1
11101 1
.names _1gat_0_ _307gat_18_ [241]
0- 1
-0 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _528gat_31_ n_n2876 n_n2662
-0--0 1
-00-1 1
0--01 1
-0-01 1
0--00 1
1111- 1
11-11 1
-1111 1
11-00 1
.names _1gat_0_ _290gat_17_ _18gat_1_ _273gat_16_ n_n4424
1111 1
.names _137gat_8_ _528gat_31_ n_n2710 n_n2787 [314] n_n2586
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _528gat_31_ _154gat_9_ n_n2655 n_n2587
0-0 1
-00 1
111 1
.names [245] n_n4007 n_n3924 [273] n_n3990 n_n3779
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _1gat_0_ _375gat_22_ [242]
0- 1
-0 1
.names [239] n_n2664 n_n2577 [395] n_n2643 n_n2485
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _188gat_11_ _528gat_31_ n_n2715 n_n2633
0-0 1
-00 1
111 1
.names _171gat_10_ _528gat_31_ n_n2765 n_n2847 [425] n_n2632
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [238] n_n3722 n_n3702 n_n3635 [366] n_n3486
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _1gat_0_ _409gat_24_ [244]
0- 1
-0 1
.names [240] n_n4147 n_n4130 n_n4067 [389] n_n3923
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _1gat_0_ _358gat_21_ [245]
0- 1
-0 1
.names [233] n_n3108 n_n3129 n_n3036 [456] n_n2881
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _1gat_0_ _477gat_28_ [246]
0- 1
-0 1
.names _222gat_13_ _528gat_31_ n_n2770 n_n2690
0-0 1
-00 1
111 1
.names _528gat_31_ _205gat_12_ n_n2815 n_n2899 [300] n_n2689
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _290gat_17_ _137gat_8_ _273gat_16_ _154gat_9_ n_n4414
110- 1
0-11 1
-011 1
11-0 1
.names _290gat_17_ _137gat_8_ _120gat_7_ _273gat_16_ n_n4445
1111 1
.names _290gat_17_ _137gat_8_ _120gat_7_ _273gat_16_ _154gat_9_ n_n4353
0--0- 1
-0-0- 1
0---0 1
-0--0 1
11011 1
11110 1
.names _290gat_17_ _18gat_1_ _35gat_2_ _273gat_16_ _52gat_3_ n_n4347
0--0- 1
--00- 1
0---0 1
--0-0 1
10111 1
11110 1
.names _18gat_1_ _307gat_18_ [278]
0- 1
-0 1
.names _18gat_1_ _307gat_18_ n_n4408 n_n4427 n_n4289
--11 1
111- 1
11-1 1
.names _290gat_17_ _171gat_10_ _273gat_16_ _188gat_11_ _205gat_12_ n_n4356
0-0-- 1
--00- 1
0---0 1
---00 1
10111 1
11110 1
.names _307gat_18_ _171gat_10_ [247]
0- 1
-0 1
.names _307gat_18_ _171gat_10_ n_n4356 n_n4278
0-0 1
-00 1
111 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ n_n4345
1111- 1
1-111 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ n_n4267
--0-- 1
00--- 1
1111- 1
1010- 1
101-0 1
.names _324gat_19_ _239gat_14_ [307]
0- 1
-0 1
.names _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ n_n4345 n_n4223
1-1-1 1
-1-11 1
1111- 1
.names _307gat_18_ _86gat_5_ n_n4412 n_n4439 n_n4301
--11 1
111- 1
11-1 1
.names _307gat_18_ _103gat_6_ n_n4352 n_n4274
0-0 1
-00 1
111 1
.names [416] n_n4412 n_n4439 n_n4352 [390] n_n4212
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names [265] n_n4415 n_n4448 n_n4355 [293] n_n4215
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _324gat_19_ _137gat_8_ [249]
0- 1
-0 1
.names _324gat_19_ _137gat_8_ n_n4215 n_n4137
0-0 1
-00 1
111 1
.names [249] n_n4310 n_n4216 [267] n_n4277 n_n4074
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _137gat_8_ _341gat_20_ [402]
0- 1
-0 1
.names _137gat_8_ _341gat_20_ n_n4216 [267] n_n4170 n_n4029
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _1gat_0_ _341gat_20_ n_n4147 n_n4208 [422] n_n4007
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _392gat_23_ _103gat_6_ n_n3642 n_n3562
0-0 1
-00 1
111 1
.names _392gat_23_ _86gat_5_ n_n3787 [444] n_n3733 n_n3586
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3642 [259] [271] n_n3733 n_n3707 n_n3493
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names n_n3680 [325] [318] n_n3719 n_n3718 n_n3533
0011- 1
1001- 1
001-1 1
100-1 1
0-111 1
1-011 1
1-100 1
0-000 1
11101 1
01001 1
11110 1
01010 1
.names _222gat_13_ _426gat_25_ [250]
0- 1
-0 1
.names _222gat_13_ _426gat_25_ n_n3533 n_n3460
0-0 1
-00 1
111 1
.names _409gat_24_ _256gat_15_ _239gat_14_ _426gat_25_ n_n3633 n_n3426
-0--0 1
-00-1 1
0--01 1
-0-01 1
0--00 1
1111- 1
11-11 1
-1111 1
11-00 1
.names _409gat_24_ _256gat_15_ _239gat_14_ _426gat_25_ n_n3633 n_n3506
11--1 1
--111 1
1111- 1
.names _239gat_14_ _443gat_26_ [386]
0- 1
-0 1
.names _256gat_15_ _239gat_14_ _426gat_25_ _443gat_26_ n_n3506 n_n3385
1-1-1 1
-1-11 1
1111- 1
.names _409gat_24_ _69gat_4_ n_n3492 n_n3412
0-0 1
-00 1
111 1
.names _409gat_24_ _52gat_3_ n_n3640 [288] n_n3582 n_n3434
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3492 n_n3558 n_n3582 [317] [331] n_n3341
011-1 1
100-1 1
01-01 1
0-101 1
111-0 1
000-0 1
11-00 1
1-100 1
10111 1
11011 1
00110 1
01010 1
.names _222gat_13_ _443gat_26_ n_n3483 n_n3553 [286] n_n3355
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _239gat_14_ _443gat_26_ n_n3426 n_n3356
0-0 1
-00 1
111 1
.names n_n3426 [386] n_n3483 n_n3484 [280] n_n3277
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names n_n3497 [270] n_n3563 n_n3589 [397] n_n3346
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _103gat_6_ _426gat_25_ [251]
0- 1
-0 1
.names _103gat_6_ _426gat_25_ n_n3346 n_n3266
0-0 1
-00 1
111 1
.names _256gat_15_ _239gat_14_ _426gat_25_ _443gat_26_ n_n3506 n_n3312
0---0 1
00--1 1
0--01 1
--001 1
--000 1
1111- 1
11-11 1
1-111 1
1-100 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_ _443gat_26_ n_n3353 n_n3273
0-0 1
-00 1
111 1
.names _171gat_10_ _443gat_26_ n_n3481 [301] n_n3400 n_n3272
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3401 [326] n_n3400 n_n3353 [392] n_n3200
0-011 1
10-01 1
1-101 1
-0101 1
10-10 1
1-110 1
-0110 1
0-000 1
01111 1
11011 1
01100 1
11000 1
.names _460gat_27_ _205gat_12_ n_n3405 n_n3331 [280] n_n3202
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _460gat_27_ _222gat_13_ n_n3277 n_n3203
0-0 1
-00 1
111 1
.names n_n3277 n_n3332 n_n3331 [352] [268] n_n3125
0111- 1
1001- 1
1110- 1
0000- 1
01-10 1
0-110 1
11-00 1
1-100 1
10111 1
11011 1
00101 1
01001 1
.names n_n3346 [251] [408] n_n3414 n_n3438 n_n3193
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _86gat_5_ _443gat_26_ [253]
0- 1
-0 1
.names _86gat_5_ _443gat_26_ n_n3193 n_n3114
0-0 1
-00 1
111 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _443gat_26_ n_n3385 n_n3183
0---0 1
00--1 1
0-0-1 1
--001 1
--000 1
1111- 1
111-1 1
1-111 1
1-010 1
.names _239gat_14_ _477gat_28_ [254]
0- 1
-0 1
.names _239gat_14_ _477gat_28_ n_n3183 n_n3103
0-0 1
-00 1
111 1
.names _69gat_4_ _443gat_26_ n_n3345 [408] n_n3287 n_n3137
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3193 [253] [282] n_n3287 n_n3264 n_n3039
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _35gat_2_ _528gat_31_ [413]
0- 1
-0 1
.names n_n2680 n_n2730 [283] [365] n_n2731 n_n2545
0101- 1
1100- 1
01-11 1
0-011 1
11-01 1
1-001 1
10-10 1
00-00 1
10111 1
00101 1
11110 1
01100 1
.names _511gat_30_ _120gat_7_ n_n2808 n_n2892 [449] n_n2682
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [298] n_n2763 [372] n_n2809 n_n2808 n_n2607
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names [440] n_n2883 [435] n_n2978 n_n2956 n_n2726
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _18gat_1_ _494gat_29_ [436]
0- 1
-0 1
.names _18gat_1_ _494gat_29_ n_n2823 n_n2883 [435] n_n2666
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n2899 [300] [342] n_n2946 n_n2947 n_n2742
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _103gat_6_ _494gat_29_ n_n2840 n_n2759
0-0 1
-00 1
111 1
.names _86gat_5_ _494gat_29_ n_n2887 n_n2963 [439] n_n2758
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n2840 [315] [353] n_n2887 n_n2888 n_n2680
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _69gat_4_ _494gat_29_ [373]
0- 1
-0 1
.names _69gat_4_ _494gat_29_ n_n2863 n_n2862 n_n2730
--11 1
111- 1
11-1 1
.names [285] n_n3499 n_n3500 n_n3457 [316] n_n3305
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _443gat_26_ _154gat_9_ [257]
0- 1
-0 1
.names _443gat_26_ _154gat_9_ n_n3305 n_n3226
0-0 1
-00 1
111 1
.names _222gat_13_ _426gat_25_ n_n3680 n_n3610 [318] n_n3483
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _239gat_14_ _426gat_25_ n_n3553 n_n3484
0-0 1
-00 1
111 1
.names [250] n_n3553 [286] n_n3610 n_n3611 n_n3405
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names n_n3636 [344] n_n3724 [366] n_n3703 n_n3488
0110- 1
1010- 1
011-1 1
101-1 1
01-01 1
10-01 1
110-0 1
000-0 1
11011 1
00011 1
11110 1
00110 1
.names _18gat_1_ _409gat_24_ [258]
0- 1
-0 1
.names _18gat_1_ _409gat_24_ n_n3488 n_n3407
0-0 1
-00 1
111 1
.names [287] n_n3652 [325] n_n3697 n_n3696 n_n3504
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _205gat_12_ _426gat_25_ [398]
0- 1
-0 1
.names _205gat_12_ _426gat_25_ n_n3570 n_n3652 [325] n_n3459
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _409gat_24_ _137gat_8_ [391]
0- 1
-0 1
.names [391] n_n3604 n_n3742 n_n3712 [351] n_n3476
01--- 1
0-11- 1
-111- 1
0-1-0 1
-11-0 1
0--10 1
-1-10 1
.names [289] n_n3785 [272] n_n3875 n_n3851 n_n3640
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _392gat_23_ _69gat_4_ [288]
0- 1
-0 1
.names _392gat_23_ _69gat_4_ n_n3730 n_n3785 [272] n_n3584
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3788 [367] n_n3881 n_n3853 [444] n_n3642
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _392gat_23_ _103gat_6_ [259]
0- 1
-0 1
.names _392gat_23_ _171gat_10_ [429]
0- 1
-0 1
.names _392gat_23_ _171gat_10_ n_n3773 n_n3774 n_n3647
--11 1
111- 1
11-1 1
.names _375gat_22_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3864 n_n3759
1-1-1 1
-1-11 1
1111- 1
.names _375gat_22_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3864 n_n3680
--0-0 1
00--1 1
-00-1 1
--001 1
00--0 1
1111- 1
111-1 1
-1111 1
101-0 1
.names n_n3899 [400] n_n4035 n_n4001 [420] n_n3773
1---0 1
101-- 1
10-1- 1
1-11- 1
-01-0 1
-0-10 1
--110 1
.names _375gat_22_ _188gat_11_ n_n3917 n_n3918 n_n3774
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3993 n_n3927 [387] [333] n_n4014 n_n3782
1010- 1
1100- 1
101-1 1
110-1 1
-0101 1
-1001 1
011-0 1
000-0 1
01111 1
00011 1
11110 1
10010 1
.names _375gat_22_ _52gat_3_ [319]
0- 1
-0 1
.names _375gat_22_ _52gat_3_ n_n3927 [387] n_n3872 n_n3728
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _358gat_21_ _154gat_9_ n_n4078 [262] n_n4032 n_n3890
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _358gat_21_ _171gat_10_ n_n3935 n_n3858
0-0 1
-00 1
111 1
.names n_n3999 n_n3935 [400] [305] n_n4032 n_n3790
1010- 1
1100- 1
101-1 1
110-1 1
-0101 1
-1001 1
011-0 1
000-0 1
01111 1
00011 1
11110 1
10010 1
.names n_n4042 n_n4179 [382] n_n4141 [349] n_n3899
010-1 1
01-11 1
0-011 1
10-01 1
110-0 1
11-10 1
1-010 1
00-00 1
10111 1
11101 1
00110 1
01100 1
.names n_n4135 n_n4072 [306] n_n4161 [368] n_n3928
100-1 1
10-11 1
-0011 1
01-01 1
110-0 1
11-10 1
-1010 1
00-00 1
01111 1
11101 1
00110 1
10100 1
.names _358gat_21_ _86gat_5_ [320]
0- 1
-0 1
.names _358gat_21_ _86gat_5_ n_n4020 n_n4072 [368] n_n3878
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _358gat_21_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4112 n_n3922
-0--0 1
00--1 1
-00-1 1
0--01 1
0--00 1
1111- 1
111-1 1
11-11 1
01-10 1
.names _358gat_21_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4112 n_n3988
1-1-1 1
-1-11 1
1111- 1
.names _375gat_22_ _239gat_14_ [347]
0- 1
-0 1
.names _375gat_22_ _358gat_21_ _256gat_15_ _239gat_14_ n_n3988 n_n3864
-11-1 1
1--11 1
1111- 1
.names _358gat_21_ _205gat_12_ [388]
0- 1
-0 1
.names _358gat_21_ _205gat_12_ n_n4062 n_n4061 n_n3937
--11 1
111- 1
11-1 1
.names _324gat_19_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4223 n_n4046
-0--0 1
-00-1 1
0--01 1
-0-01 1
0--00 1
1111- 1
11-11 1
-1111 1
11-00 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 n_n4215 [249] n_n4276 n_n4307 [294] n_n4073
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _120gat_7_ _341gat_20_ [414]
0- 1
-0 1
.names _120gat_7_ _341gat_20_ n_n4215 [249] n_n4167 n_n4026
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [411] n_n4279 n_n4219 [404] n_n4316 n_n4078
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _171gat_10_ _341gat_20_ [262]
0- 1
-0 1
.names _171gat_10_ _341gat_20_ n_n4078 n_n3999
0-0 1
-00 1
111 1
.names _341gat_20_ _205gat_12_ [263]
0- 1
-0 1
.names [263] n_n4185 n_n4322 n_n4281 [321] n_n4042
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _1gat_0_ _324gat_19_ n_n4347 [278] n_n4286 n_n4147
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _18gat_1_ _324gat_19_ n_n4208 n_n4130
0-0 1
-00 1
111 1
.names n_n4463 [415] n_n4327 n_n4420 [360] n_n4204
-01-- 1
10-1- 1
1-11- 1
10--0 1
1-1-0 1
-0-10 1
--110 1
.names _324gat_19_ _239gat_14_ n_n4267 n_n4205
0-0 1
-00 1
111 1
.names [277] n_n4410 n_n4350 [359] n_n4433 n_n4210
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _324gat_19_ _52gat_3_ [264]
0- 1
-0 1
.names _324gat_19_ _52gat_3_ n_n4210 n_n4132
0-0 1
-00 1
111 1
.names [247] n_n4357 [266] n_n4454 n_n4417 n_n4217
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _324gat_19_ _171gat_10_ [411]
0- 1
-0 1
.names _324gat_19_ _171gat_10_ n_n4357 [266] n_n4316 n_n4176
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _290gat_17_ _273gat_16_ _86gat_5_ _69gat_4_ _52gat_3_ n_n4349
00--- 1
0-0-- 1
-0-0- 1
--00- 1
11011 1
11110 1
.names _307gat_18_ _52gat_3_ [277]
0- 1
-0 1
.names _307gat_18_ _52gat_3_ n_n4410 n_n4433 n_n4295
--11 1
111- 1
11-1 1
.names _290gat_17_ _137gat_8_ _171gat_10_ _273gat_16_ _154gat_9_ n_n4354
0-0-- 1
0--0- 1
--0-0 1
---00 1
10111 1
11011 1
.names _307gat_18_ _137gat_8_ [265]
0- 1
-0 1
.names _307gat_18_ _137gat_8_ n_n4354 n_n4276
0-0 1
-00 1
111 1
.names _290gat_17_ _35gat_2_ _273gat_16_ _52gat_3_ n_n4408
110- 1
0-11 1
-011 1
11-0 1
.names _290gat_17_ _18gat_1_ _35gat_2_ _273gat_16_ n_n4427
1111 1
.names _290gat_17_ _273gat_16_ _222gat_13_ _205gat_12_ n_n4460
1111 1
.names _290gat_17_ _239gat_14_ _273gat_16_ _222gat_13_ n_n4419
011- 1
10-1 1
1-01 1
-110 1
.names _290gat_17_ _239gat_14_ _273gat_16_ _222gat_13_ _205gat_12_ n_n4358
00--- 1
0-0-- 1
-0-0- 1
--00- 1
10111 1
11110 1
.names _290gat_17_ _273gat_16_ _86gat_5_ _69gat_4_ n_n4436
1111 1
.names _290gat_17_ _273gat_16_ _86gat_5_ _69gat_4_ n_n4410
011- 1
10-1 1
1-01 1
-110 1
.names _290gat_17_ _171gat_10_ _273gat_16_ _154gat_9_ n_n4451
1111 1
.names _290gat_17_ _171gat_10_ _273gat_16_ _154gat_9_ n_n4415
011- 1
10-1 1
1-01 1
-110 1
.names _290gat_17_ _137gat_8_ _273gat_16_ _154gat_9_ n_n4448
1111 1
.names _307gat_18_ _137gat_8_ n_n4415 n_n4448 n_n4310
--11 1
111- 1
11-1 1
.names _290gat_17_ _273gat_16_ _188gat_11_ _222gat_13_ _205gat_12_ n_n4357
00--- 1
0--0- 1
-0--0 1
---00 1
11011 1
11101 1
.names _307gat_18_ _188gat_11_ [266]
0- 1
-0 1
.names _307gat_18_ _188gat_11_ n_n4357 n_n4279
0-0 1
-00 1
111 1
.names _307gat_18_ _120gat_7_ n_n4353 n_n4275
0-0 1
-00 1
111 1
.names _307gat_18_ _103gat_6_ n_n4413 n_n4442 n_n4304
--11 1
111- 1
11-1 1
.names n_n4353 [292] [390] n_n4413 n_n4442 n_n4213
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names n_n4356 [247] n_n4451 n_n4416 [293] n_n4216
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _324gat_19_ _154gat_9_ [267]
0- 1
-0 1
.names _324gat_19_ _154gat_9_ n_n4216 n_n4138
0-0 1
-00 1
111 1
.names n_n3782 [319] [346] n_n3849 n_n3870 n_n3636
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _392gat_23_ _35gat_2_ [344]
0- 1
-0 1
.names _392gat_23_ _35gat_2_ n_n3782 [319] n_n3726 n_n3580
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _392gat_23_ _86gat_5_ n_n3641 n_n3560
0-0 1
-00 1
111 1
.names [288] n_n3641 [271] n_n3730 n_n3706 n_n3492
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names n_n3562 n_n3586 n_n3495 [361] [397] n_n3345
001-1 1
110-1 1
1-001 1
-1001 1
111-0 1
000-0 1
1-100 1
-1100 1
01111 1
10111 1
01010 1
10010 1
.names _86gat_5_ _426gat_25_ [408]
0- 1
-0 1
.names _86gat_5_ _426gat_25_ n_n3495 n_n3438 [397] n_n3289
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _222gat_13_ _443gat_26_ n_n3405 n_n3332
0-0 1
-00 1
111 1
.names _205gat_12_ _443gat_26_ n_n3533 [250] n_n3459 n_n3331
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3460 n_n3405 n_n3459 [280] [417] n_n3254
1011- 1
0101- 1
1110- 1
0000- 1
10-10 1
-0110 1
11-00 1
-1100 1
01111 1
11011 1
00101 1
10001 1
.names _460gat_27_ _222gat_13_ [352]
0- 1
-0 1
.names _460gat_27_ _222gat_13_ n_n3426 [386] n_n3355 n_n3232
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [270] n_n3453 [310] n_n3592 n_n3564 n_n3301
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _460gat_27_ _205gat_12_ [268]
0- 1
-0 1
.names _460gat_27_ _205gat_12_ n_n3254 n_n3179
0-0 1
-00 1
111 1
.names n_n3412 n_n3434 n_n3343 [405] [393] n_n3191
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _52gat_3_ _443gat_26_ [443]
0- 1
-0 1
.names _52gat_3_ _443gat_26_ n_n3343 [405] n_n3285 n_n3135
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _69gat_4_ _443gat_26_ n_n3192 n_n3112
0-0 1
-00 1
111 1
.names [443] n_n3192 [282] n_n3285 n_n3263 n_n3038
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ n_n3256 n_n3127
1-1-1 1
-1-11 1
1111- 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _477gat_28_ n_n3256 n_n3053
0---0 1
00--1 1
0--01 1
--001 1
--000 1
1111- 1
11-11 1
1-111 1
1-100 1
.names _239gat_14_ _494gat_29_ [427]
0- 1
-0 1
.names _256gat_15_ _239gat_14_ _477gat_28_ _494gat_29_ n_n3127 n_n3007
1-1-1 1
-1-11 1
1111- 1
.names _18gat_1_ _528gat_31_ [371]
0- 1
-0 1
.names _511gat_30_ _35gat_2_ [269]
0- 1
-0 1
.names [269] n_n2676 [385] n_n2802 n_n2825 n_n2541
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _1gat_0_ _494gat_29_ n_n2882 [440] n_n2821 n_n2664
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n2874 [342] [425] n_n2921 n_n2922 n_n2715
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _511gat_30_ _205gat_12_ n_n2946 n_n3030 [451] n_n2815
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3645 n_n3739 n_n3711 [335] [351] n_n3497
011-1 1
100-1 1
01-01 1
0-101 1
111-0 1
000-0 1
11-00 1
1-100 1
10111 1
11011 1
00110 1
01010 1
.names _409gat_24_ _120gat_7_ [270]
0- 1
-0 1
.names _409gat_24_ _120gat_7_ n_n3497 n_n3415
0-0 1
-00 1
111 1
.names _409gat_24_ _205gat_12_ n_n3778 [345] n_n3696 n_n3570
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _409gat_24_ _222gat_13_ n_n3652 n_n3571
0-0 1
-00 1
111 1
.names n_n3878 [272] n_n3787 n_n3852 [444] n_n3641
100-1 1
1-011 1
-0011 1
0-101 1
101-0 1
1-110 1
-0110 1
0-000 1
01111 1
11101 1
01010 1
11000 1
.names _392gat_23_ _86gat_5_ [271]
0- 1
-0 1
.names _375gat_22_ _69gat_4_ n_n3783 n_n3705
0-0 1
-00 1
111 1
.names [319] n_n3783 [289] n_n3872 n_n3850 n_n3638
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names n_n3928 [320] [387] n_n3994 n_n4017 n_n3783
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _375gat_22_ _69gat_4_ [289]
0- 1
-0 1
.names _375gat_22_ _69gat_4_ n_n3928 [320] n_n3875 n_n3730
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [320] n_n3995 n_n4020 n_n3929 [348] n_n3785
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _375gat_22_ _86gat_5_ [272]
0- 1
-0 1
.names _375gat_22_ _86gat_5_ n_n3785 n_n3706
0-0 1
-00 1
111 1
.names _375gat_22_ _222gat_13_ n_n4046 [261] n_n3968 n_n3843
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _375gat_22_ _239gat_14_ n_n3922 n_n3844
0-0 1
-00 1
111 1
.names n_n3922 [347] n_n3969 [381] n_n3968 n_n3778
0110- 1
1010- 1
011-1 1
101-1 1
01-01 1
10-01 1
110-0 1
000-0 1
11011 1
00011 1
11110 1
00110 1
.names n_n4046 [261] [274] n_n4082 n_n4081 n_n3903
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _375gat_22_ _222gat_13_ [381]
0- 1
-0 1
.names [389] n_n4068 [409] n_n4131 n_n4149 n_n3924
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _18gat_1_ _358gat_21_ [273]
0- 1
-0 1
.names _18gat_1_ _358gat_21_ n_n3924 n_n3847
0-0 1
-00 1
111 1
.names _103gat_6_ _341gat_20_ n_n4072 n_n3995
0-0 1
-00 1
111 1
.names _86gat_5_ _341gat_20_ n_n4213 [279] n_n4161 n_n4020
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n4204 n_n4205 n_n4145 [403] [358] n_n4005
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _358gat_21_ _222gat_13_ [274]
0- 1
-0 1
.names _358gat_21_ _222gat_13_ n_n4005 n_n3938
0-0 1
-00 1
111 1
.names _358gat_21_ _222gat_13_ n_n4145 n_n4081 [403] n_n3968
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n4289 n_n4270 n_n4209 [334] [422] n_n4067
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _18gat_1_ _341gat_20_ [389]
0- 1
-0 1
.names _18gat_1_ _341gat_20_ n_n4209 [334] n_n4149 n_n4009
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n4212 [291] [323] n_n4298 n_n4273 n_n4070
0011- 1
1001- 1
001-1 1
100-1 1
0-111 1
1-011 1
1-100 1
0-000 1
11101 1
01001 1
11110 1
01010 1
.names _69gat_4_ _341gat_20_ [275]
0- 1
-0 1
.names _69gat_4_ _341gat_20_ n_n4070 n_n3993
0-0 1
-00 1
111 1
.names _324gat_19_ _137gat_8_ n_n4310 n_n4355 [293] n_n4170
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n4463 [415] n_n4327 n_n4420 [360] n_n4185
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names n_n4436 n_n4411 n_n4351 [416] [359] n_n4211
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _324gat_19_ _69gat_4_ [291]
0- 1
-0 1
.names _324gat_19_ _69gat_4_ n_n4298 n_n4351 [416] n_n4158
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _307gat_18_ _324gat_19_ _256gat_15_ _239gat_14_ n_n4345 n_n4145
--0-0 1
00--1 1
-00-1 1
--001 1
00--0 1
1111- 1
111-1 1
-1111 1
101-0 1
.names _18gat_1_ _307gat_18_ n_n4347 n_n4269
0-0 1
-00 1
111 1
.names _1gat_0_ _307gat_18_ n_n4424 n_n4407 n_n4286
--11 1
111- 1
11-1 1
.names _307gat_18_ _52gat_3_ n_n4349 n_n4271
0-0 1
-00 1
111 1
.names _290gat_17_ _273gat_16_ _86gat_5_ _103gat_6_ n_n4411
101- 1
01-1 1
-101 1
1-10 1
.names _290gat_17_ _273gat_16_ _86gat_5_ _69gat_4_ _103gat_6_ n_n4350
00--- 1
-00-- 1
0---0 1
--0-0 1
11101 1
11110 1
.names _290gat_17_ _239gat_14_ _273gat_16_ _222gat_13_ n_n4463
1111 1
.names _290gat_17_ _171gat_10_ _273gat_16_ _188gat_11_ n_n4416
110- 1
0-11 1
-011 1
11-0 1
.names _290gat_17_ _171gat_10_ _273gat_16_ _188gat_11_ _154gat_9_ n_n4355
0-0-- 1
-00-- 1
0--0- 1
-0-0- 1
11101 1
11110 1
.names _307gat_18_ _205gat_12_ [369]
0- 1
-0 1
.names _307gat_18_ _205gat_12_ n_n4460 n_n4419 n_n4322
--11 1
111- 1
11-1 1
.names _307gat_18_ _120gat_7_ n_n4414 n_n4445 n_n4307
--11 1
111- 1
11-1 1
.names n_n4414 n_n4445 n_n4354 [265] [292] n_n4214
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names n_n4358 [266] [369] n_n4457 n_n4418 n_n4219
0011- 1
1001- 1
001-1 1
100-1 1
0-111 1
1-011 1
1-100 1
0-000 1
11101 1
01001 1
11110 1
01010 1
.names _324gat_19_ _188gat_11_ [404]
0- 1
-0 1
.names _324gat_19_ _188gat_11_ n_n4358 [369] n_n4319 n_n4179
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _324gat_19_ _103gat_6_ [279]
0- 1
-0 1
.names _324gat_19_ _103gat_6_ n_n4213 n_n4135
0-0 1
-00 1
111 1
.names [404] n_n4221 [321] n_n4319 n_n4280 n_n4079
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _188gat_11_ _341gat_20_ [382]
0- 1
-0 1
.names _239gat_14_ _341gat_20_ n_n4145 n_n4082
0-0 1
-00 1
111 1
.names _341gat_20_ _222gat_13_ n_n4267 [307] n_n4204 n_n4081
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3778 [304] [345] n_n3823 n_n3822 n_n3631
0011- 1
1001- 1
001-1 1
100-1 1
0-111 1
1-011 1
1-100 1
0-000 1
11101 1
01001 1
11110 1
01010 1
.names _409gat_24_ _205gat_12_ [287]
0- 1
-0 1
.names _392gat_23_ _69gat_4_ n_n3640 n_n3558
0-0 1
-00 1
111 1
.names _392gat_23_ _52gat_3_ n_n3728 n_n3783 [289] n_n3582
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3640 [288] n_n3728 n_n3705 [332] n_n3491
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names n_n3533 [250] [398] n_n3570 n_n3571 n_n3383
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names [391] n_n3604 n_n3742 n_n3712 [351] n_n3453
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _222gat_13_ _443gat_26_ [280]
0- 1
-0 1
.names _1gat_0_ _426gat_25_ n_n3488 [258] n_n3428 n_n3279
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _52gat_3_ _426gat_25_ n_n3341 n_n3262
0-0 1
-00 1
111 1
.names _35gat_2_ _426gat_25_ n_n3491 n_n3432 [317] n_n3283
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n3341 n_n3410 n_n3432 [383] [393] n_n3189
011-1 1
100-1 1
01-01 1
0-101 1
111-0 1
000-0 1
11-00 1
1-100 1
10111 1
11011 1
00110 1
01010 1
.names n_n3383 [417] [392] n_n3422 n_n3421 n_n3230
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _188gat_11_ _460gat_27_ [281]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ n_n3230 n_n3156
0-0 1
-00 1
111 1
.names _256gat_15_ _239gat_14_ _460gat_27_ _443gat_26_ n_n3385 n_n3256
-11-1 1
1--11 1
1111- 1
.names n_n3345 [408] [405] n_n3413 n_n3436 n_n3192
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _69gat_4_ _443gat_26_ [282]
0- 1
-0 1
.names n_n3254 [268] [281] n_n3307 n_n3308 n_n3100
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _188gat_11_ _477gat_28_ [337]
0- 1
-0 1
.names _188gat_11_ _477gat_28_ n_n3254 [268] n_n3178 n_n3048
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _477gat_28_ _154gat_9_ n_n3200 [311] n_n3120 n_n3000
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _171gat_10_ _477gat_28_ n_n3075 n_n3001
0-0 1
-00 1
111 1
.names n_n3121 n_n3120 n_n3075 [457] [434] n_n2919
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names [373] n_n2806 [353] n_n2863 n_n2862 n_n2648
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _511gat_30_ _69gat_4_ [283]
0- 1
-0 1
.names _511gat_30_ _86gat_5_ [365]
0- 1
-0 1
.names _511gat_30_ _86gat_5_ n_n2758 n_n2840 [315] n_n2625
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [315] n_n2915 n_n2914 n_n2867 [447] n_n2708
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _511gat_30_ _103gat_6_ [297]
0- 1
-0 1
.names _511gat_30_ _103gat_6_ n_n2867 n_n2782 [447] n_n2650
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n3114 n_n3137 [339] n_n2994 [453] n_n2836
00-11 1
11-01 1
1-001 1
-1001 1
11-10 1
1-010 1
-1010 1
00-00 1
01111 1
10111 1
01100 1
10100 1
.names _137gat_8_ _426gat_25_ [284]
0- 1
-0 1
.names _137gat_8_ _426gat_25_ n_n3476 n_n3477 n_n3325
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _409gat_24_ _35gat_2_ n_n3490 n_n3408
0-0 1
-00 1
111 1
.names _18gat_1_ _409gat_24_ n_n3636 [344] n_n3578 n_n3430
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [258] n_n3490 [302] n_n3578 n_n3556 n_n3339
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names n_n3626 [336] n_n3568 [354] n_n3627 n_n3419
1001- 1
1010- 1
1-011 1
-0011 1
1-101 1
-0101 1
0-110 1
0-000 1
01111 1
01001 1
11110 1
11000 1
.names _426gat_25_ _154gat_9_ [285]
0- 1
-0 1
.names _426gat_25_ _154gat_9_ n_n3419 n_n3349
0-0 1
-00 1
111 1
.names _409gat_24_ _154gat_9_ n_n3626 n_n3627 n_n3499
--11 1
111- 1
11-1 1
.names _409gat_24_ _171gat_10_ n_n3568 n_n3500
0-0 1
-00 1
111 1
.names _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3759 n_n3553
--0-0 1
00--1 1
0-0-1 1
--001 1
00--0 1
1111- 1
111-1 1
1-111 1
011-0 1
.names _239gat_14_ _426gat_25_ [286]
0- 1
-0 1
.names _392gat_23_ _120gat_7_ n_n3643 n_n3563
0-0 1
-00 1
111 1
.names _392gat_23_ _103gat_6_ n_n3788 [367] n_n3736 n_n3589
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [259] n_n3643 [335] n_n3736 n_n3709 n_n3495
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names n_n3890 n_n3858 [375] n_n3753 [380] n_n3604
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _409gat_24_ _205gat_12_ n_n3631 n_n3549
0-0 1
-00 1
111 1
.names _1gat_0_ _375gat_22_ n_n3924 [273] n_n3866 n_n3722
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _375gat_22_ _18gat_1_ n_n3780 n_n3702
0-0 1
-00 1
111 1
.names [273] n_n4009 n_n3925 [356] n_n3991 n_n3780
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _375gat_22_ _18gat_1_ [428]
0- 1
-0 1
.names _375gat_22_ _18gat_1_ n_n3868 n_n3925 [356] n_n3724
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _358gat_21_ _35gat_2_ n_n3925 n_n3848
0-0 1
-00 1
111 1
.names _18gat_1_ _358gat_21_ n_n4009 n_n4068 [409] n_n3868
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [275] n_n4158 n_n4071 [306] n_n4134 n_n3927
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _358gat_21_ _69gat_4_ [387]
0- 1
-0 1
.names _358gat_21_ _69gat_4_ n_n4071 [306] n_n4017 n_n3875
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [402] n_n4138 n_n4170 n_n4076 [410] n_n3933
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _137gat_8_ _358gat_21_ [290]
0- 1
-0 1
.names _137gat_8_ _358gat_21_ n_n3933 n_n3854
0-0 1
-00 1
111 1
.names [262] n_n4176 n_n4079 [382] n_n4140 n_n3935
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _358gat_21_ _171gat_10_ [400]
0- 1
-0 1
.names _35gat_2_ _341gat_20_ n_n4210 [264] n_n4152 n_n4011
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _341gat_20_ _52gat_3_ n_n4069 n_n3992
0-0 1
-00 1
111 1
.names n_n4132 [409] n_n4152 n_n4069 [421] n_n3925
0-011 1
10-01 1
1-101 1
-0101 1
10-10 1
1-110 1
-0110 1
0-000 1
01111 1
11011 1
01100 1
11000 1
.names n_n4210 [264] n_n4271 n_n4292 [334] n_n4068
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _35gat_2_ _341gat_20_ [409]
0- 1
-0 1
.names _324gat_19_ _120gat_7_ n_n4214 n_n4136
0-0 1
-00 1
111 1
.names _324gat_19_ _103gat_6_ n_n4353 n_n4304 [292] n_n4164
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n4275 n_n4304 n_n4214 [279] [294] n_n4072
001-1 1
110-1 1
1-001 1
-1001 1
111-0 1
000-0 1
1-100 1
-1100 1
01111 1
10111 1
01010 1
10010 1
.names _324gat_19_ _188gat_11_ n_n4219 n_n4140
0-0 1
-00 1
111 1
.names _324gat_19_ _69gat_4_ n_n4211 n_n4133
0-0 1
-00 1
111 1
.names _324gat_19_ _154gat_9_ n_n4356 [247] n_n4313 n_n4173
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _324gat_19_ _222gat_13_ [415]
0- 1
-0 1
.names _307gat_18_ _154gat_9_ n_n4451 n_n4416 n_n4313
--11 1
111- 1
11-1 1
.names _307gat_18_ _222gat_13_ n_n4360 n_n4281
0-0 1
-00 1
111 1
.names n_n4460 n_n4419 [369] n_n4360 [360] n_n4221
00-11 1
11-01 1
1-001 1
-1001 1
11-10 1
1-010 1
-1010 1
00-00 1
01111 1
10111 1
01100 1
10100 1
.names _290gat_17_ _35gat_2_ _273gat_16_ _69gat_4_ _52gat_3_ n_n4348
0-0-- 1
0--0- 1
--0-0 1
---00 1
10111 1
11101 1
.names _307gat_18_ _35gat_2_ [308]
0- 1
-0 1
.names _307gat_18_ _35gat_2_ n_n4430 n_n4409 n_n4292
--11 1
111- 1
11-1 1
.names _307gat_18_ _120gat_7_ [292]
0- 1
-0 1
.names _290gat_17_ _171gat_10_ _273gat_16_ _188gat_11_ n_n4454
1111 1
.names _290gat_17_ _273gat_16_ _188gat_11_ _205gat_12_ n_n4417
101- 1
01-1 1
-101 1
1-10 1
.names _307gat_18_ _154gat_9_ [293]
0- 1
-0 1
.names _307gat_18_ _154gat_9_ n_n4355 n_n4277
0-0 1
-00 1
111 1
.names _324gat_19_ _120gat_7_ [294]
0- 1
-0 1
.names _392gat_23_ _52gat_3_ n_n3638 n_n3557
0-0 1
-00 1
111 1
.names [344] n_n3638 [332] n_n3726 n_n3704 n_n3490
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _409gat_24_ _188gat_11_ n_n3757 [304] n_n3675 n_n3548
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3631 [287] [355] n_n3676 n_n3675 n_n3481
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _409gat_24_ _52gat_3_ n_n3491 n_n3410
0-0 1
-00 1
111 1
.names _409gat_24_ _35gat_2_ n_n3580 n_n3638 [332] n_n3432
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3580 n_n3491 n_n3557 [302] [317] n_n3340
101-1 1
010-1 1
10-01 1
-0101 1
111-0 1
000-0 1
11-00 1
-1100 1
01111 1
11011 1
00110 1
10010 1
.names _205gat_12_ _443gat_26_ [417]
0- 1
-0 1
.names n_n3493 n_n3584 n_n3560 [331] [361] n_n3343
011-1 1
100-1 1
01-01 1
0-101 1
111-0 1
000-0 1
11-00 1
1-100 1
10111 1
11011 1
00110 1
01010 1
.names _69gat_4_ _426gat_25_ [405]
0- 1
-0 1
.names _69gat_4_ _426gat_25_ n_n3493 [361] n_n3436 n_n3287
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3476 [284] n_n3419 [285] n_n3477 n_n3270
1001- 1
1010- 1
1-011 1
-0011 1
1-101 1
-0101 1
0-110 1
0-000 1
01111 1
01001 1
11110 1
11000 1
.names _137gat_8_ _443gat_26_ [407]
0- 1
-0 1
.names _137gat_8_ _443gat_26_ n_n3419 [285] n_n3348 n_n3225
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _171gat_10_ _460gat_27_ [311]
0- 1
-0 1
.names _171gat_10_ _460gat_27_ n_n3272 n_n3353 [392] n_n3155
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3355 n_n3356 n_n3312 [252] [352] n_n3160
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _222gat_13_ _477gat_28_ [406]
0- 1
-0 1
.names _222gat_13_ _477gat_28_ n_n3312 [252] n_n3232 n_n3102
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _205gat_12_ _477gat_28_ [295]
0- 1
-0 1
.names _205gat_12_ _477gat_28_ n_n3125 n_n3049
0-0 1
-00 1
111 1
.names _205gat_12_ _477gat_28_ n_n3277 n_n3202 [352] n_n3077
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _222gat_13_ _477gat_28_ n_n3160 n_n3078
0-0 1
-00 1
111 1
.names n_n3202 n_n3203 n_n3160 [406] [295] n_n3005
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _1gat_0_ _511gat_30_ n_n2726 [436] n_n2664 n_n2534
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _18gat_1_ _511gat_30_ n_n2577 n_n2521
0-0 1
-00 1
111 1
.names n_n2759 n_n2758 [365] n_n2708 [297] n_n2564
00-11 1
11-01 1
1-001 1
-1001 1
11-10 1
1-010 1
-1010 1
00-00 1
01111 1
10111 1
01100 1
10100 1
.names _511gat_30_ _52gat_3_ n_n2704 n_n2703 n_n2579
--11 1
111- 1
11-1 1
.names n_n2648 [283] [328] n_n2704 n_n2703 n_n2525
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names n_n2939 n_n2940 n_n2892 [449] [447] n_n2735
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _511gat_30_ _120gat_7_ [298]
0- 1
-0 1
.names n_n2919 [433] n_n2965 [449] n_n2966 n_n2763
0110- 1
1010- 1
011-1 1
101-1 1
01-01 1
10-01 1
110-0 1
000-0 1
11011 1
00011 1
11110 1
00110 1
.names _511gat_30_ _137gat_8_ [372]
0- 1
-0 1
.names _511gat_30_ _137gat_8_ n_n2919 n_n2842 [433] n_n2710
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _494gat_29_ n_n3007 n_n2794
-0--0 1
00--1 1
-00-1 1
0--01 1
0--00 1
1111- 1
111-1 1
11-11 1
01-10 1
.names _239gat_14_ _528gat_31_ [299]
0- 1
-0 1
.names _239gat_14_ _528gat_31_ n_n2794 n_n2718
0-0 1
-00 1
111 1
.names _494gat_29_ _154gat_9_ n_n2919 n_n2843
0-0 1
-00 1
111 1
.names _137gat_8_ _494gat_29_ n_n3046 n_n2965 [434] n_n2842
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n3103 n_n3053 [427] n_n3102 [451] n_n2899
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _511gat_30_ _222gat_13_ [300]
0- 1
-0 1
.names _120gat_7_ _426gat_25_ [310]
0- 1
-0 1
.names [270] n_n3453 [310] n_n3592 n_n3564 n_n3324
-10-- 1
01-1- 1
0-01- 1
01--1 1
0-0-1 1
-1-11 1
--011 1
.names _137gat_8_ _426gat_25_ n_n3476 n_n3477 n_n3348
--11 1
111- 1
11-1 1
.names _188gat_11_ _426gat_25_ [301]
0- 1
-0 1
.names _188gat_11_ _426gat_25_ n_n3481 n_n3401
0-0 1
-00 1
111 1
.names _409gat_24_ _35gat_2_ [302]
0- 1
-0 1
.names _392gat_23_ _120gat_7_ n_n3789 [376] n_n3739 n_n3592
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _137gat_8_ _392gat_23_ n_n3645 n_n3564
0-0 1
-00 1
111 1
.names n_n3757 [304] n_n3792 n_n3793 [423] n_n3608
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _409gat_24_ _188gat_11_ [355]
0- 1
-0 1
.names _392gat_23_ _52gat_3_ [332]
0- 1
-0 1
.names n_n3843 n_n3844 [345] n_n3797 [377] n_n3652
00-11 1
11-01 1
1-001 1
-1001 1
11-10 1
1-010 1
-1010 1
00-00 1
01111 1
10111 1
01100 1
10100 1
.names _409gat_24_ _222gat_13_ [325]
0- 1
-0 1
.names _409gat_24_ _222gat_13_ n_n3797 [377] n_n3718 n_n3610
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _375gat_22_ _35gat_2_ n_n3926 [333] n_n3870 n_n3726
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _375gat_22_ _52gat_3_ n_n3782 n_n3704
0-0 1
-00 1
111 1
.names _375gat_22_ _137gat_8_ n_n3887 n_n3934 [305] n_n3742
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _375gat_22_ _154gat_9_ n_n3790 n_n3712
0-0 1
-00 1
111 1
.names n_n3790 [376] n_n3856 n_n3887 [380] n_n3645
001-1 1
00-11 1
0-111 1
1-001 1
101-0 1
10-10 1
1-110 1
0-000 1
11011 1
11101 1
01010 1
01100 1
.names n_n3937 n_n3903 [381] n_n3938 [378] n_n3757
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _392gat_23_ _205gat_12_ [304]
0- 1
-0 1
.names _392gat_23_ _205gat_12_ n_n3757 n_n3676
0-0 1
-00 1
111 1
.names n_n4011 n_n3992 n_n3926 [333] [356] n_n3781
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _375gat_22_ _35gat_2_ [346]
0- 1
-0 1
.names n_n4029 [290] n_n3934 [305] n_n3998 n_n3789
1001- 1
1010- 1
1-011 1
-0011 1
1-101 1
-0101 1
0-110 1
0-000 1
01111 1
01001 1
11110 1
11000 1
.names _375gat_22_ _137gat_8_ [376]
0- 1
-0 1
.names _358gat_21_ _52gat_3_ n_n4070 [275] n_n4014 n_n3872
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _358gat_21_ _69gat_4_ n_n3927 n_n3850
0-0 1
-00 1
111 1
.names _358gat_21_ _154gat_9_ n_n3934 n_n3856
0-0 1
-00 1
111 1
.names _137gat_8_ _358gat_21_ n_n4029 n_n4076 [410] n_n3887
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n4042 n_n4179 [382] n_n4141 [349] n_n3917
1---0 1
110-- 1
11-1- 1
1-01- 1
-10-0 1
-1-10 1
--010 1
.names _358gat_21_ _205gat_12_ n_n4062 n_n4061 n_n3918
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n4070 [275] n_n4133 [421] n_n4155 n_n3926
0110- 1
1010- 1
011-1 1
101-1 1
01-01 1
10-01 1
110-0 1
000-0 1
11011 1
00011 1
11110 1
00110 1
.names _358gat_21_ _52gat_3_ [333]
0- 1
-0 1
.names n_n4078 [262] n_n4173 n_n4139 [410] n_n3934
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _358gat_21_ _154gat_9_ [305]
0- 1
-0 1
.names n_n4301 n_n4274 n_n4213 [279] [323] n_n4071
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _86gat_5_ _341gat_20_ [306]
0- 1
-0 1
.names _86gat_5_ _341gat_20_ n_n4071 n_n3994
0-0 1
-00 1
111 1
.names _324gat_19_ _35gat_2_ n_n4349 [277] n_n4292 n_n4152
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _324gat_19_ _171gat_10_ n_n4217 n_n4139
0-0 1
-00 1
111 1
.names n_n4278 n_n4217 [411] [267] n_n4313 n_n4076
1010- 1
1100- 1
101-1 1
110-1 1
-0101 1
-1001 1
011-0 1
000-0 1
01111 1
00011 1
11110 1
10010 1
.names _324gat_19_ _86gat_5_ [323]
0- 1
-0 1
.names _324gat_19_ _86gat_5_ n_n4301 n_n4352 [390] n_n4161
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _307gat_18_ _35gat_2_ n_n4348 n_n4270
0-0 1
-00 1
111 1
.names _290gat_17_ _273gat_16_ _188gat_11_ _205gat_12_ n_n4457
1111 1
.names _290gat_17_ _273gat_16_ _222gat_13_ _205gat_12_ n_n4418
011- 1
10-1 1
1-01 1
-110 1
.names [264] n_n4295 n_n4211 [291] n_n4272 n_n4069
0101- 1
0110- 1
0-011 1
-1011 1
0-101 1
-1101 1
-0110 1
-0000 1
10111 1
10001 1
11110 1
11000 1
.names _341gat_20_ _52gat_3_ [421]
0- 1
-0 1
.names _341gat_20_ _52gat_3_ n_n4211 [291] n_n4155 n_n4014
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _103gat_6_ _341gat_20_ n_n4214 n_n4164 [294] n_n4023
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _120gat_7_ _341gat_20_ n_n4073 n_n3996
0-0 1
-00 1
111 1
.names n_n4073 [414] n_n4136 n_n4164 [368] n_n3929
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _1gat_0_ _392gat_23_ n_n3722 n_n3780 [428] n_n3576
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _18gat_1_ _392gat_23_ n_n3635 n_n3555
0-0 1
-00 1
111 1
.names _426gat_25_ _154gat_9_ n_n3499 n_n3568 [354] n_n3378
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _171gat_10_ _460gat_27_ n_n3200 n_n3121
0-0 1
-00 1
111 1
.names _120gat_7_ _443gat_26_ n_n3325 n_n3324 n_n3195
--11 1
111- 1
11-1 1
.names _137gat_8_ _443gat_26_ n_n3270 n_n3196
0-0 1
-00 1
111 1
.names n_n3325 n_n3270 [407] n_n3324 [363] n_n3118
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _460gat_27_ _154gat_9_ n_n3329 [326] n_n3249 n_n3120
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3200 [311] n_n3250 [370] n_n3249 n_n3046
0110- 1
1010- 1
011-1 1
101-1 1
01-01 1
10-01 1
110-0 1
000-0 1
11011 1
00011 1
11110 1
00110 1
.names n_n3195 n_n3196 n_n3153 [374] [445] n_n2998
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _120gat_7_ _477gat_28_ [437]
0- 1
-0 1
.names _120gat_7_ _477gat_28_ n_n3153 [374] n_n3070 n_n2939
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names [300] n_n2926 [432] n_n2973 n_n2972 n_n2770
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _222gat_13_ _528gat_31_ [312]
0- 1
-0 1
.names [314] n_n2813 [341] n_n2869 n_n2870 n_n2655
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names n_n3000 n_n3001 n_n2944 [455] [433] n_n2787
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _511gat_30_ _154gat_9_ [314]
0- 1
-0 1
.names _137gat_8_ _494gat_29_ n_n2892 n_n2809
0-0 1
-00 1
111 1
.names _120gat_7_ _494gat_29_ n_n2939 n_n3023 [431] n_n2808
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n2998 [437] [439] n_n3042 n_n3041 n_n2840
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _103gat_6_ _494gat_29_ [315]
0- 1
-0 1
.names n_n3647 n_n3608 [355] [354] n_n3648 n_n3457
1010- 1
1100- 1
101-1 1
110-1 1
-0101 1
-1001 1
011-0 1
000-0 1
01111 1
00011 1
11110 1
10010 1
.names _171gat_10_ _426gat_25_ [316]
0- 1
-0 1
.names _171gat_10_ _426gat_25_ n_n3457 n_n3379
0-0 1
-00 1
111 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 _375gat_22_ _120gat_7_ n_n3933 [290] n_n3884 n_n3739
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _375gat_22_ _137gat_8_ n_n3789 n_n3711
0-0 1
-00 1
111 1
.names n_n3854 n_n3789 [376] n_n3884 [367] n_n3643
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _358gat_21_ _120gat_7_ n_n4074 [402] n_n4026 n_n3884
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n4026 n_n3933 [290] [357] n_n3997 n_n3788
1010- 1
1100- 1
101-1 1
110-1 1
-0101 1
-1001 1
011-0 1
000-0 1
01111 1
00011 1
11110 1
10010 1
.names n_n4137 n_n4074 [402] [414] n_n4167 n_n3931
1010- 1
1100- 1
101-1 1
110-1 1
-0101 1
-1001 1
011-0 1
000-0 1
01111 1
00011 1
11110 1
10010 1
.names _358gat_21_ _120gat_7_ [357]
0- 1
-0 1
.names _358gat_21_ _86gat_5_ n_n3928 n_n3851
0-0 1
-00 1
111 1
.names [388] n_n4005 [274] n_n4062 n_n4061 n_n3862
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _324gat_19_ _205gat_12_ [321]
0- 1
-0 1
.names _324gat_19_ _205gat_12_ n_n4221 n_n4141
0-0 1
-00 1
111 1
.names _307gat_18_ _69gat_4_ n_n4436 n_n4411 n_n4298
--11 1
111- 1
11-1 1
.names _307gat_18_ _86gat_5_ n_n4351 n_n4273
0-0 1
-00 1
111 1
.names _290gat_17_ _120gat_7_ _273gat_16_ _86gat_5_ _103gat_6_ n_n4351
00--- 1
0-0-- 1
-0--0 1
--0-0 1
10111 1
11101 1
.names _307gat_18_ _86gat_5_ [416]
0- 1
-0 1
.names _324gat_19_ _86gat_5_ n_n4212 n_n4134
0-0 1
-00 1
111 1
.names _239gat_14_ _341gat_20_ [403]
0- 1
-0 1
.names _324gat_19_ _256gat_15_ _239gat_14_ _341gat_20_ n_n4223 n_n4112
11--1 1
--111 1
1111- 1
.names n_n3481 [301] [316] n_n3528 n_n3529 n_n3329
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _171gat_10_ _443gat_26_ [326]
0- 1
-0 1
.names _171gat_10_ _443gat_26_ n_n3329 n_n3250
0-0 1
-00 1
111 1
.names n_n3305 [257] n_n3349 [407] n_n3348 n_n3153
0110- 1
1010- 1
011-1 1
101-1 1
01-01 1
10-01 1
110-0 1
000-0 1
11011 1
00011 1
11110 1
00110 1
.names n_n3408 n_n3430 n_n3340 [394] [383] n_n3187
001-1 1
110-1 1
1-001 1
-1001 1
111-0 1
000-0 1
1-100 1
-1100 1
01111 1
10111 1
01010 1
10010 1
.names _18gat_1_ _443gat_26_ [327]
0- 1
-0 1
.names _18gat_1_ _443gat_26_ n_n3340 n_n3281 [383] n_n3131
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _18gat_1_ _443gat_26_ n_n3187 n_n3108
0-0 1
-00 1
111 1
.names _1gat_0_ _443gat_26_ n_n3279 n_n3339 [394] n_n3129
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3273 n_n3272 n_n3230 [281] [311] n_n3075
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _171gat_10_ _477gat_28_ [457]
0- 1
-0 1
.names _171gat_10_ _477gat_28_ n_n3230 [281] n_n3155 n_n3025
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _511gat_30_ _52gat_3_ [328]
0- 1
-0 1
.names _511gat_30_ _52gat_3_ n_n2704 n_n2703 n_n2560
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names [341] n_n2847 [425] n_n2895 n_n2894 n_n2687
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _511gat_30_ _154gat_9_ n_n2869 n_n2944 [455] n_n2737
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _52gat_3_ _494gat_29_ [330]
0- 1
-0 1
.names n_n2836 [330] n_n2959 n_n2982 [441] n_n2676
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _409gat_24_ _69gat_4_ [331]
0- 1
-0 1
.names _409gat_24_ _392gat_23_ _256gat_15_ _239gat_14_ n_n3759 n_n3633
-11-1 1
1--11 1
1111- 1
.names [428] n_n3848 n_n3868 n_n3781 [346] n_n3635
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _18gat_1_ _392gat_23_ [366]
0- 1
-0 1
.names _18gat_1_ _392gat_23_ n_n3724 n_n3781 [346] n_n3578
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _392gat_23_ _154gat_9_ [375]
0- 1
-0 1
.names n_n3890 n_n3858 [375] n_n3753 [380] n_n3626
--01- 1
110-- 1
11-1- 1
1-0-0 1
-10-0 1
1--10 1
-1-10 1
.names _375gat_22_ _120gat_7_ [367]
0- 1
-0 1
.names _358gat_21_ _103gat_6_ n_n4073 [414] n_n4023 n_n3881
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _358gat_21_ _120gat_7_ n_n3931 n_n3853
0-0 1
-00 1
111 1
.names n_n4023 n_n3996 n_n3931 [357] [348] n_n3787
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _1gat_0_ _358gat_21_ n_n4007 n_n4067 [389] n_n3866
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _358gat_21_ _52gat_3_ n_n3926 n_n3849
0-0 1
-00 1
111 1
.names _171gat_10_ _341gat_20_ n_n4176 n_n4219 [404] n_n4035
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _188gat_11_ _341gat_20_ n_n4079 n_n4001
0-0 1
-00 1
111 1
.names _307gat_18_ _188gat_11_ n_n4457 n_n4418 n_n4319
--11 1
111- 1
11-1 1
.names _290gat_17_ _120gat_7_ _273gat_16_ _103gat_6_ n_n4412
011- 1
10-1 1
1-01 1
-110 1
.names _290gat_17_ _273gat_16_ _86gat_5_ _103gat_6_ n_n4439
1111 1
.names _307gat_18_ _69gat_4_ [359]
0- 1
-0 1
.names _307gat_18_ _69gat_4_ n_n4350 n_n4272
0-0 1
-00 1
111 1
.names n_n4349 [277] [308] n_n4430 n_n4409 n_n4209
0101- 1
1001- 1
010-1 1
100-1 1
01-11 1
10-11 1
11-00 1
00-00 1
11101 1
00101 1
11110 1
00110 1
.names _324gat_19_ _35gat_2_ [334]
0- 1
-0 1
.names _324gat_19_ _35gat_2_ n_n4209 n_n4131
0-0 1
-00 1
111 1
.names _392gat_23_ _120gat_7_ [335]
0- 1
-0 1
.names _409gat_24_ _154gat_9_ [336]
0- 1
-0 1
.names _409gat_24_ _154gat_9_ n_n3626 n_n3627 n_n3477
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _35gat_2_ _443gat_26_ n_n3341 n_n3283 [393] n_n3133
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _52gat_3_ _443gat_26_ n_n3191 n_n3110
0-0 1
-00 1
111 1
.names n_n3191 [443] n_n3262 n_n3283 [379] n_n3037
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _188gat_11_ _477gat_28_ n_n3100 n_n3026
0-0 1
-00 1
111 1
.names _460gat_27_ _103gat_6_ [338]
0- 1
-0 1
.names _460gat_27_ _103gat_6_ n_n3172 n_n3171 n_n3019
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _69gat_4_ _460gat_27_ [339]
0- 1
-0 1
.names _69gat_4_ _460gat_27_ n_n3039 n_n2959
0-0 1
-00 1
111 1
.names [297] n_n2735 [298] n_n2782 n_n2783 n_n2584
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _511gat_30_ _69gat_4_ n_n2730 n_n2806 [353] n_n2602
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [372] n_n2843 n_n2842 n_n2787 [314] n_n2630
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _86gat_5_ _494gat_29_ n_n2806 n_n2731
0-0 1
-00 1
111 1
.names n_n3025 n_n3026 n_n2970 [426] [455] n_n2813
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _511gat_30_ _171gat_10_ [341]
0- 1
-0 1
.names n_n3077 n_n3078 n_n3030 [451] [448] n_n2874
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _511gat_30_ _205gat_12_ [342]
0- 1
-0 1
.names [429] n_n3773 n_n3774 n_n3716 [423] n_n3568
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _409gat_24_ _171gat_10_ [354]
0- 1
-0 1
.names _409gat_24_ _171gat_10_ n_n3647 n_n3716 [423] n_n3528
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _392gat_23_ _35gat_2_ n_n3636 n_n3556
0-0 1
-00 1
111 1
.names _392gat_23_ _222gat_13_ [345]
0- 1
-0 1
.names _392gat_23_ _222gat_13_ n_n3778 n_n3697
0-0 1
-00 1
111 1
.names _375gat_22_ _35gat_2_ n_n3781 n_n3703
0-0 1
-00 1
111 1
.names _358gat_21_ _103gat_6_ n_n3929 n_n3852
0-0 1
-00 1
111 1
.names _358gat_21_ _103gat_6_ [348]
0- 1
-0 1
.names _358gat_21_ _188gat_11_ [349]
0- 1
-0 1
.names _290gat_17_ _307gat_18_ _256gat_15_ _239gat_14_ _273gat_16_ n_n4327
01-1- 1
-101- 1
1-10- 1
101-0 1
11111 1
.names _290gat_17_ _256gat_15_ _239gat_14_ _273gat_16_ n_n4420
101- 1
01-1 1
-101 1
1-10 1
.names _290gat_17_ _256gat_15_ _239gat_14_ _273gat_16_ _222gat_13_ n_n4360
00--- 1
-00-- 1
0--0- 1
--00- 1
10111 1
11110 1
.names _69gat_4_ _341gat_20_ n_n4212 n_n4158 [323] n_n4017
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _137gat_8_ _392gat_23_ [351]
0- 1
-0 1
.names _188gat_11_ _443gat_26_ n_n3504 [398] n_n3421 n_n3307
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _205gat_12_ _443gat_26_ n_n3383 n_n3308
0-0 1
-00 1
111 1
.names _35gat_2_ _443gat_26_ [379]
0- 1
-0 1
.names _35gat_2_ _443gat_26_ n_n3189 n_n3109
0-0 1
-00 1
111 1
.names n_n3189 [327] [379] n_n3281 n_n3261 n_n3036
0011- 1
1001- 1
001-1 1
100-1 1
0-111 1
1-011 1
1-100 1
0-000 1
11101 1
01001 1
11110 1
01010 1
.names _86gat_5_ _460gat_27_ [430]
0- 1
-0 1
.names n_n3266 [253] n_n3289 [430] n_n3149 n_n3018
---01 1
10-0- 1
1-10- 1
-010- 1
10--1 1
1-1-1 1
-01-1 1
.names _69gat_4_ _494gat_29_ n_n2863 n_n2862 n_n2704
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n2836 [330] n_n2959 n_n2982 [441] n_n2703
10--- 1
1-11- 1
-011- 1
1-1-0 1
-01-0 1
1--10 1
-0-10 1
.names _511gat_30_ _188gat_11_ n_n3005 n_n2921 [448] n_n2789
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n3019 n_n3018 [424] n_n2963 [439] n_n2806
00-11 1
11-01 1
1-001 1
-1001 1
11-10 1
1-010 1
-1010 1
00-00 1
01111 1
10111 1
01100 1
10100 1
.names _86gat_5_ _494gat_29_ [353]
0- 1
-0 1
.names _409gat_24_ _188gat_11_ n_n3608 n_n3529
0-0 1
-00 1
111 1
.names _392gat_23_ _171gat_10_ n_n3773 n_n3774 n_n3627
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3899 [400] n_n4035 n_n4001 [420] n_n3753
001-1 1
00-11 1
0-111 1
1-001 1
101-0 1
10-10 1
1-110 1
0-000 1
11011 1
11101 1
01010 1
01100 1
.names _375gat_22_ _103gat_6_ [444]
0- 1
-0 1
.names _375gat_22_ _103gat_6_ n_n3931 [357] n_n3881 n_n3736
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _358gat_21_ _35gat_2_ n_n4011 n_n4069 [421] n_n3870
111-- 1
--101 1
--110 1
11-01 1
11-10 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_n4267 [307] n_n4204 n_n4062
0-111 1
-0111 1
0-001 1
-0001 1
0-010 1
-0010 1
0-100 1
-0100 1
11011 1
11101 1
11110 1
11000 1
.names [278] n_n4408 n_n4427 n_n4348 [308] n_n4208
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _307gat_18_ _171gat_10_ n_n4454 n_n4417 n_n4316
--11 1
111- 1
11-1 1
.names _307gat_18_ _222gat_13_ [360]
0- 1
-0 1
.names _409gat_24_ _86gat_5_ [361]
0- 1
-0 1
.names _409gat_24_ _86gat_5_ n_n3493 n_n3413
0-0 1
-00 1
111 1
.names _1gat_0_ _409gat_24_ n_n3576 n_n3635 [366] n_n3428
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _120gat_7_ _443gat_26_ [363]
0- 1
-0 1
.names _120gat_7_ _443gat_26_ n_n3325 n_n3324 n_n3172
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names _409gat_24_ _69gat_4_ n_n3584 n_n3641 [271] n_n3436
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _375gat_22_ _120gat_7_ n_n3788 n_n3709
0-0 1
-00 1
111 1
.names _375gat_22_ _188gat_11_ [454]
0- 1
-0 1
.names _375gat_22_ _188gat_11_ n_n3917 n_n3918 n_n3792
--11 1
111- 1
11-1 1
.names _103gat_6_ _341gat_20_ [368]
0- 1
-0 1
.names _324gat_19_ _52gat_3_ n_n4295 n_n4350 [359] n_n4155
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _307gat_18_ _205gat_12_ n_n4358 n_n4280
0-0 1
-00 1
111 1
.names _290gat_17_ _35gat_2_ _273gat_16_ _52gat_3_ n_n4430
1111 1
.names _290gat_17_ _273gat_16_ _69gat_4_ _52gat_3_ n_n4433
1111 1
.names _375gat_22_ _86gat_5_ n_n3878 n_n3929 [348] n_n3733
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _375gat_22_ _103gat_6_ n_n3787 n_n3707
0-0 1
-00 1
111 1
.names _18gat_1_ _426gat_25_ [394]
0- 1
-0 1
.names _18gat_1_ _426gat_25_ n_n3430 n_n3490 [302] n_n3281
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _103gat_6_ _443gat_26_ [412]
0- 1
-0 1
.names [251] n_n3301 n_n3415 [412] n_n3440 n_n3171
-1-0- 1
011-- 1
0-10- 1
01--1 1
-11-1 1
0--01 1
--101 1
.names [257] n_n3378 n_n3379 n_n3329 [326] n_n3176
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _460gat_27_ _154gat_9_ [370]
0- 1
-0 1
.names _460gat_27_ _154gat_9_ n_n3176 n_n3096
0-0 1
-00 1
111 1
.names [269] n_n2676 [385] n_n2802 n_n2825 n_n2559
01--- 1
0-01- 1
-101- 1
0-0-1 1
-10-1 1
0--11 1
-1-11 1
.names _137gat_8_ _460gat_27_ [374]
0- 1
-0 1
.names _137gat_8_ _460gat_27_ n_n3153 n_n3071
0-0 1
-00 1
111 1
.names _375gat_22_ _358gat_21_ _256gat_15_ _239gat_14_ n_n3988 n_n3797
--0-0 1
00--1 1
0-0-1 1
--001 1
00--0 1
1111- 1
111-1 1
1-111 1
011-0 1
.names _392gat_23_ _239gat_14_ [377]
0- 1
-0 1
.names _392gat_23_ _239gat_14_ n_n3797 n_n3719
0-0 1
-00 1
111 1
.names _375gat_22_ _205gat_12_ [378]
0- 1
-0 1
.names _375gat_22_ _205gat_12_ n_n3862 n_n3793
0-0 1
-00 1
111 1
.names _341gat_20_ _154gat_9_ n_n4217 [411] n_n4173 n_n4032
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _341gat_20_ _154gat_9_ [410]
0- 1
-0 1
.names _290gat_17_ _273gat_16_ _69gat_4_ _52gat_3_ n_n4409
011- 1
10-1 1
1-01 1
-110 1
.names _290gat_17_ _137gat_8_ _120gat_7_ _273gat_16_ _103gat_6_ n_n4352
00--- 1
-00-- 1
0--0- 1
--00- 1
10111 1
11110 1
.names _307gat_18_ _103gat_6_ [390]
0- 1
-0 1
.names _18gat_1_ _324gat_19_ n_n4289 n_n4348 [308] n_n4149
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _392gat_23_ _205gat_12_ n_n3903 [381] n_n3822 n_n3696
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _171gat_10_ _426gat_25_ n_n3608 [355] n_n3528 n_n3400
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _86gat_5_ _426gat_25_ n_n3345 n_n3264
0-0 1
-00 1
111 1
.names _137gat_8_ _460gat_27_ n_n3305 [257] n_n3225 n_n3095
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _511gat_30_ _171gat_10_ n_n2970 [426] n_n2894 n_n2765
11--1 1
--011 1
--101 1
1101- 1
1110- 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_ _341gat_20_ n_n4067 n_n3990
0-0 1
-00 1
111 1
.names _341gat_20_ _154gat_9_ n_n4076 n_n3998
0-0 1
-00 1
111 1
.names [263] n_n4185 n_n4322 n_n4281 [321] n_n4061
01--- 1
0-11- 1
-111- 1
0-1-0 1
-11-0 1
0--10 1
-1-10 1
.names _290gat_17_ _137gat_8_ _120gat_7_ _273gat_16_ n_n4413
101- 1
01-1 1
-101 1
1-10 1
.names _35gat_2_ _426gat_25_ [383]
0- 1
-0 1
.names _35gat_2_ _426gat_25_ n_n3340 n_n3261
0-0 1
-00 1
111 1
.names _52gat_3_ _426gat_25_ n_n3434 n_n3492 [331] n_n3285
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _69gat_4_ _426gat_25_ n_n3343 n_n3263
0-0 1
-00 1
111 1
.names n_n2885 [435] [441] n_n2980 n_n2958 n_n2728
0011- 1
1001- 1
001-1 1
100-1 1
0-111 1
1-011 1
1-100 1
0-000 1
11101 1
01001 1
11110 1
01010 1
.names _35gat_2_ _494gat_29_ [385]
0- 1
-0 1
.names _35gat_2_ _494gat_29_ n_n2728 n_n2644
0-0 1
-00 1
111 1
.names _52gat_3_ _426gat_25_ [393]
0- 1
-0 1
.names _392gat_23_ _188gat_11_ n_n3716 n_n3648
0-0 1
-00 1
111 1
.names _375gat_22_ _205gat_12_ n_n3937 n_n4005 [274] n_n3822
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _137gat_8_ _341gat_20_ n_n4074 n_n3997
0-0 1
-00 1
111 1
.names _290gat_17_ _18gat_1_ _35gat_2_ _273gat_16_ n_n4407
110- 1
0-11 1
-011 1
11-0 1
.names _409gat_24_ _103gat_6_ n_n3495 n_n3414
0-0 1
-00 1
111 1
.names _409gat_24_ _86gat_5_ n_n3586 n_n3642 [259] n_n3438
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3504 [398] n_n3549 n_n3548 [301] n_n3353
0111- 1
1011- 1
1100- 1
0000- 1
011-0 1
101-0 1
01-10 1
10-10 1
11011 1
00011 1
11101 1
00101 1
.names _188gat_11_ _443gat_26_ [392]
0- 1
-0 1
.names _18gat_1_ _426gat_25_ n_n3339 n_n3259
0-0 1
-00 1
111 1
.names _443gat_26_ _154gat_9_ n_n3378 n_n3457 [316] n_n3249
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names [251] n_n3301 n_n3415 [412] n_n3440 n_n3149
0011- 1
0110- 1
00-11 1
-0111 1
01-01 1
-1101 1
-1010 1
-0000 1
11011 1
10001 1
11110 1
10100 1
.names [436] n_n2728 [385] n_n2823 n_n2801 n_n2577
0011- 1
0101- 1
001-1 1
010-1 1
-0111 1
-1011 1
-1100 1
-0000 1
11101 1
10001 1
11110 1
10010 1
.names _18gat_1_ _511gat_30_ [395]
0- 1
-0 1
.names _409gat_24_ _103gat_6_ [397]
0- 1
-0 1
.names _205gat_12_ _426gat_25_ n_n3504 n_n3422
0-0 1
-00 1
111 1
.names _290gat_17_ _120gat_7_ _273gat_16_ _103gat_6_ n_n4442
1111 1
.names _188gat_11_ _426gat_25_ n_n3631 [287] n_n3548 n_n3421
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _409gat_24_ _103gat_6_ n_n3589 n_n3643 [335] n_n3440
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3917 n_n3918 n_n3862 [454] [378] n_n3716
001-1 1
110-1 1
1-001 1
-1001 1
111-0 1
000-0 1
1-100 1
-1100 1
01111 1
10111 1
01010 1
10010 1
.names _35gat_2_ _341gat_20_ n_n4068 n_n3991
0-0 1
-00 1
111 1
.names _324gat_19_ _120gat_7_ n_n4354 [265] n_n4307 n_n4167
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _18gat_1_ _324gat_19_ [422]
0- 1
-0 1
.names _188gat_11_ _460gat_27_ n_n3383 [417] n_n3307 n_n3178
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _18gat_1_ _494gat_29_ n_n2726 n_n2643
0-0 1
-00 1
111 1
.names _392gat_23_ _188gat_11_ [423]
0- 1
-0 1
.names _460gat_27_ _52gat_3_ [446]
0- 1
-0 1
.names _460gat_27_ _52gat_3_ n_n3135 n_n3192 [282] n_n2982
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names n_n3039 n_n3135 n_n3112 [339] [446] n_n2885
0111- 1
1001- 1
1110- 1
0000- 1
01-10 1
0-110 1
11-00 1
1-100 1
10111 1
11011 1
00101 1
01001 1
.names _205gat_12_ _494gat_29_ n_n3160 [406] n_n3077 n_n2946
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _222gat_13_ _494gat_29_ n_n3030 n_n2947
0-0 1
-00 1
111 1
.names _86gat_5_ _477gat_28_ [424]
0- 1
-0 1
.names _86gat_5_ _477gat_28_ n_n3019 n_n3018 n_n2863
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_n3048 n_n3049 n_n3005 [426] [448] n_n2847
001-1 1
110-1 1
1-001 1
-1001 1
111-0 1
000-0 1
1-100 1
-1100 1
01111 1
10111 1
01010 1
10010 1
.names _511gat_30_ _188gat_11_ [425]
0- 1
-0 1
.names _511gat_30_ _256gat_15_ _239gat_14_ _494gat_29_ n_n3007 n_n2876
1-1-1 1
-1-11 1
1111- 1
.names _256gat_15_ _239gat_14_ _477gat_28_ _494gat_29_ n_n3127 n_n2926
0---0 1
00--1 1
0--01 1
--001 1
--000 1
1111- 1
11-11 1
1-111 1
1-100 1
.names _511gat_30_ _239gat_14_ [432]
0- 1
-0 1
.names n_n3125 n_n3179 [337] [295] n_n3178 n_n2970
0101- 1
1100- 1
01-11 1
0-011 1
11-01 1
1-001 1
10-10 1
00-00 1
10111 1
00101 1
11110 1
01100 1
.names _188gat_11_ _494gat_29_ [426]
0- 1
-0 1
.names _188gat_11_ _494gat_29_ n_n2970 n_n2895
0-0 1
-00 1
111 1
.names _239gat_14_ _494gat_29_ n_n3053 n_n2973
0-0 1
-00 1
111 1
.names _120gat_7_ _460gat_27_ n_n3270 [407] n_n3195 n_n3070
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3266 [253] n_n3289 [430] n_n3149 n_n2994
0-011 1
10-01 1
1-101 1
-0101 1
10-10 1
1-110 1
-0110 1
0-000 1
01111 1
11011 1
01100 1
11000 1
.names n_n3233 n_n3183 [254] n_n3232 [406] n_n3030
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _222gat_13_ _494gat_29_ [451]
0- 1
-0 1
.names _222gat_13_ _494gat_29_ n_n3183 [254] n_n3102 n_n2972
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _69gat_4_ _477gat_28_ [453]
0- 1
-0 1
.names n_n3114 n_n3137 [339] n_n2994 [453] n_n2862
---10 1
11-1- 1
1-01- 1
-101- 1
11--0 1
1-0-0 1
-10-0 1
.names _120gat_7_ _477gat_28_ n_n2998 n_n2915
0-0 1
-00 1
111 1
.names _103gat_6_ _477gat_28_ n_n3118 [445] n_n3041 n_n2914
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _494gat_29_ _154gat_9_ n_n3000 n_n3075 [457] n_n2869
111-- 1
--101 1
--110 1
11-01 1
11-10 1
.names _171gat_10_ _494gat_29_ n_n2944 n_n2870
0-0 1
-00 1
111 1
.names n_n3226 n_n3225 n_n3176 [370] [374] n_n3023
0011- 1
1101- 1
1110- 1
0000- 1
1-010 1
-1010 1
1-100 1
-1100 1
01111 1
10111 1
01001 1
10001 1
.names _137gat_8_ _477gat_28_ [431]
0- 1
-0 1
.names _137gat_8_ _477gat_28_ n_n3023 n_n2940
0-0 1
-00 1
111 1
.names n_n3156 n_n3100 [337] n_n3155 [457] n_n2944
1011- 1
1101- 1
0110- 1
0000- 1
101-0 1
110-0 1
-0110 1
-1010 1
01111 1
00011 1
11101 1
10001 1
.names _171gat_10_ _494gat_29_ [455]
0- 1
-0 1
.names _171gat_10_ _494gat_29_ n_n3100 [337] n_n3025 n_n2894
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _86gat_5_ _477gat_28_ n_n3019 n_n3018 n_n2887
--11 1
111- 1
11-1 1
.names _511gat_30_ _239gat_14_ n_n2926 n_n2850
0-0 1
-00 1
111 1
.names _494gat_29_ _154gat_9_ [433]
0- 1
-0 1
.names _137gat_8_ _477gat_28_ n_n3176 [370] n_n3095 n_n2965
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3046 n_n3096 n_n3095 [431] [434] n_n2892
011-1 1
100-1 1
01-01 1
0-101 1
111-0 1
000-0 1
11-00 1
1-100 1
10111 1
11011 1
00110 1
01010 1
.names _137gat_8_ _494gat_29_ [449]
0- 1
-0 1
.names [437] n_n3071 n_n3070 n_n3023 [431] n_n2867
-0011 1
01-01 1
0-101 1
-1101 1
01-10 1
0-110 1
-1110 1
-0000 1
10111 1
11011 1
10100 1
11000 1
.names _477gat_28_ _154gat_9_ [434]
0- 1
-0 1
.names _477gat_28_ _154gat_9_ n_n3046 n_n2966
0-0 1
-00 1
111 1
.names _392gat_23_ _188gat_11_ n_n3862 n_n3792 [378] n_n3675
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n3131 n_n3037 n_n3109 [456] [450] n_n2882
101-1 1
010-1 1
10-01 1
-0101 1
111-0 1
000-0 1
11-00 1
-1100 1
01111 1
11011 1
00110 1
10010 1
.names _18gat_1_ _477gat_28_ [440]
0- 1
-0 1
.names _18gat_1_ _477gat_28_ n_n3037 n_n2978 [450] n_n2823
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names n_n3038 n_n3133 n_n3110 [446] [450] n_n2883
0111- 1
1001- 1
1110- 1
0000- 1
01-10 1
0-110 1
11-00 1
1-100 1
10111 1
11011 1
00101 1
01001 1
.names _35gat_2_ _477gat_28_ [435]
0- 1
-0 1
.names _35gat_2_ _477gat_28_ n_n2883 n_n2801
0-0 1
-00 1
111 1
.names _120gat_7_ _460gat_27_ [445]
0- 1
-0 1
.names _1gat_0_ _460gat_27_ n_n3187 [327] n_n3129 n_n2976
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names n_n3118 [338] n_n3172 n_n3171 [445] n_n2963
001-1 1
00-11 1
0-111 1
1-001 1
101-0 1
10-10 1
1-110 1
0-000 1
11011 1
11101 1
01010 1
01100 1
.names _103gat_6_ _477gat_28_ [439]
0- 1
-0 1
.names _103gat_6_ _477gat_28_ n_n2963 n_n2888
0-0 1
-00 1
111 1
.names _18gat_1_ _477gat_28_ n_n2882 n_n2800
0-0 1
-00 1
111 1
.names _188gat_11_ _494gat_29_ n_n3125 n_n3048 [295] n_n2921
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _205gat_12_ _494gat_29_ n_n3005 n_n2922
0-0 1
-00 1
111 1
.names _1gat_0_ _477gat_28_ n_n3036 n_n2976 [456] n_n2821
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _103gat_6_ _494gat_29_ n_n2998 [437] n_n2914 n_n2782
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _120gat_7_ _494gat_29_ n_n2867 n_n2783
0-0 1
-00 1
111 1
.names _511gat_30_ _222gat_13_ n_n3053 [427] n_n2972 n_n2849
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _392gat_23_ _222gat_13_ n_n3922 [347] n_n3843 n_n3718
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _18gat_1_ _460gat_27_ [456]
0- 1
-0 1
.names _18gat_1_ _460gat_27_ n_n3189 n_n3131 [379] n_n2978
11-1- 1
--011 1
--110 1
110-1 1
111-0 1
.names _52gat_3_ _477gat_28_ [441]
0- 1
-0 1
.names _52gat_3_ _477gat_28_ n_n2885 n_n2802
0-0 1
-00 1
111 1
.names _120gat_7_ _460gat_27_ n_n3118 n_n3042
0-0 1
-00 1
111 1
.names _205gat_12_ _494gat_29_ [448]
0- 1
-0 1
.names _35gat_2_ _477gat_28_ n_n3038 [446] n_n2980 n_n2825
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _35gat_2_ _460gat_27_ [450]
0- 1
-0 1
.names _35gat_2_ _460gat_27_ n_n3191 [443] n_n3133 n_n2980
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _460gat_27_ _52gat_3_ n_n3038 n_n2958
0-0 1
-00 1
111 1
.names _120gat_7_ _494gat_29_ [447]
0- 1
-0 1
.names _222gat_13_ _528gat_31_ n_n2926 [432] n_n2849 n_n2717
11--1 1
--011 1
--101 1
1101- 1
1110- 1
.names _18gat_1_ _460gat_27_ n_n3036 n_n2954
0-0 1
-00 1
111 1
.names _460gat_27_ _103gat_6_ n_n3172 n_n3171 n_n3041
--11 1
111- 1
11-1 1
.names _35gat_2_ _460gat_27_ n_n3037 n_n2956
0-0 1
-00 1
111 1
.end