.model top
.inputs p_4_1_ p_26_9_ p_130_58_ p_53_19_ p_64_22_ p_67_23_ p_91_35_ p_94_36_ \
p_136_62_ p_173_76_ p_293_112_ p_545_150_ p_2174_161_ p_3717_169_ p_25_8_ \
p_106_40_ p_14_3_ p_52_18_ p_113_43_ p_117_47_ p_534_149_ p_24_7_ p_272_105_ \
p_302_114_ p_4091_175_ p_61_21_ p_100_38_ p_170_75_ p_210_89_ p_226_93_ \
p_373_133_ p_23_6_ p_167_74_ p_206_87_ p_400_137_ p_457_142_ p_1694_160_ \
p_4090_174_ p_11_2_ p_123_53_ p_315_117_ p_514_147_ p_1690_158_ p_4115_177_ \
p_109_41_ p_257_102_ p_323_119_ p_435_140_ p_559_154_ p_31_11_ p_34_12_ \
p_114_44_ p_118_48_ p_120_50_ p_176_77_ p_324_120_ p_552_152_ p_20_5_ p_40_14_ \
p_140_64_ p_549_151_ p_4092_176_ p_146_67_ p_242_97_ p_374_134_ p_4089_173_ \
p_203_86_ p_254_101_ p_308_116_ p_331_121_ p_37_13_ p_97_37_ p_127_55_ \
p_179_78_ p_468_143_ p_3552_168_ p_4088_172_ p_1_0_ p_182_79_ p_200_85_ \
p_233_94_ p_273_106_ p_490_145_ p_3550_167_ p_17_4_ p_137_63_ p_2824_163_ \
p_4087_171_ p_49_17_ p_70_24_ p_86_32_ p_87_33_ p_88_34_ p_217_90_ p_251_100_ \
p_351_127_ p_358_128_ p_369_131_ p_3173_164_ p_145_66_ p_241_96_ p_341_125_ \
p_348_126_ p_411_138_ p_46_16_ p_73_25_ p_83_31_ p_141_65_ p_152_69_ p_191_82_ \
p_234_95_ p_338_124_ p_121_51_ p_158_71_ p_248_99_ p_264_103_ p_361_129_ \
p_389_136_ p_446_141_ p_43_15_ p_76_26_ p_164_73_ p_556_153_ p_3548_166_ \
p_280_107_ p_82_30_ p_307_115_ p_335_123_ p_115_45_ p_128_56_ p_149_68_ \
p_245_98_ p_386_135_ p_3546_165_ p_131_59_ p_209_88_ p_218_91_ p_422_139_ \
p_1497_156_ p_1689_157_ p_27_10_ p_103_39_ p_112_42_ p_116_46_ p_122_52_ \
p_185_80_ p_265_104_ p_562_155_ p_1691_159_ p_79_27_ p_197_84_ p_299_113_ \
p_332_122_ p_503_146_ p_126_54_ p_135_61_ p_292_111_ p_194_83_ p_289_110_ \
p_366_130_ p_479_144_ p_2358_162_ p_80_28_ p_129_57_ p_188_81_ p_316_118_ \
p_54_20_ p_161_72_ p_523_148_ p_81_29_ p_119_49_ p_132_60_ p_155_70_ p_225_92_ \
p_281_108_ p_288_109_ p_372_132_ p_3724_170_
.outputs p_591_1894_ p_604_223_ p_664_2223_ p_690_2484_ p_699_2227_ \
p_618_1925_ p_588_1696_ p_615_1750_ p_688_2317_ p_704_1281_ p_818_2273_ \
p_869_2181_ p_973_202_ p_593_733_ p_600_259_ p_611_275_ p_648_2295_ \
p_822_1933_ p_757_2190_ p_722_2131_ p_802_2183_ p_1000_2168_ p_606_407_ \
p_682_2296_ p_792_2188_ p_838_2064_ p_603_225_ p_921_664_ p_629_1926_ \
p_892_408_ p_949_852_ p_612_263_ p_772_2299_ p_797_2191_ p_661_2178_ \
p_727_2298_ p_849_219_ p_939_853_ p_598_1623_ p_634_665_ p_636_1280_ \
p_742_2238_ p_767_2479_ p_836_2128_ p_693_2179_ p_702_2228_ p_807_2480_ \
p_594_224_ p_654_2315_ p_658_2483_ p_820_1283_ p_861_2070_ p_875_2125_ \
p_978_851_ p_685_2316_ p_815_627_ p_834_2123_ p_882_2456_ p_926_624_ \
p_621_1893_ p_676_2229_ p_667_2224_ p_696_2226_ p_787_2186_ p_877_2126_ \
p_1002_1920_ p_1004_1977_ p_670_2225_ p_712_2297_ p_298_299_ p_715_1278_ \
p_809_655_ p_843_2455_ p_867_2237_ p_602_222_ p_859_2132_ p_863_2276_ \
p_623_2152_ p_810_356_ p_642_2222_ p_777_2278_ p_830_2182_ p_626_1752_ \
p_632_1692_ p_645_2271_ p_679_2272_ p_707_1277_ p_737_2279_ p_782_2239_ \
p_850_217_ p_717_1282_ p_747_2187_ p_826_2275_ p_845_845_ p_871_2127_ \
p_585_2236_ p_865_2277_ p_673_1276_ p_887_528_ p_923_619_ p_144_354_ \
p_732_2300_ p_854_2268_ p_873_2124_ p_889_734_ p_599_269_ p_752_2189_ \
p_610_1519_ p_824_2274_ p_851_218_ p_813_2260_ p_832_2133_ p_848_330_ \
p_993_850_ p_575_2240_ p_601_220_ p_639_1275_ p_651_2314_ p_656_621_ \
p_762_2184_ p_828_2233_ p_847_465_ p_998_2163_
.names n_n2044 n_n1847 [4099] p_591_1894_
1-- 1
-1- 1
--0 1
.names p_137_63_ n_n1677 [225] [4109] [4111] p_664_2223_
1---1 1
111-- 1
1-10- 1
.names p_137_63_ n_n1234 n_n1235 [4226] p_690_2484_
0--- 1
-001 1
.names p_137_63_ [776] [4237] p_699_2227_
11- 1
1-1 1
.names n_n1991 n_n2010 [4202] [4203] [4240] p_618_1925_
----0 1
11--- 1
1-0-- 1
1--0- 1
.names p_137_63_ [241] p_688_2317_
11 1
.names p_4115_177_ p_135_61_ n_n724 p_818_2273_
0-0 1
-00 1
.names p_4091_175_ p_4092_176_ n_n817 [4261] p_869_2181_
0--1 1
-1-1 1
--11 1
.names p_299_113_ p_593_733_
0 1
.names p_366_130_ p_600_259_
0 1
.names p_338_124_ p_611_275_
0 1
.names p_137_63_ [742] [743] [4267] p_648_2295_
11-- 1
1-1- 1
1--1 1
.names p_4091_175_ p_4092_176_ p_131_59_ [369] [404] p_822_1933_
11--1 1
00--1 1
0-0-1 1
-10-1 1
1--01 1
-0-01 1
--001 1
.names [228] n_n835 [127] [4235] [4271] p_757_2190_
----1 1
1--0- 1
101-- 1
.names [228] n_n1726 [728] [4275] [4276] p_722_2131_
--1-- 1
----1 1
11--- 1
1--0- 1
.names p_4090_174_ p_4089_173_ n_n1677 [4109] [4279] p_802_2183_
----1 1
011-- 1
01-0- 1
.names n_n983 [322] n_n824 [341] p_1000_2168_
011- 1
000- 1
1-11 1
1-00 1
-000 1
.names p_137_63_ [702] [703] [4287] p_682_2296_
11-- 1
1-1- 1
1--1 1
.names p_4090_174_ p_4089_173_ p_834_2123_ p_873_2124_ [4295] p_792_2188_
----1 1
000-- 1
01-0- 1
.names p_4091_175_ p_4092_176_ [130] n_n1031 [4104] p_838_2064_
0---1 1
-1--1 1
--011 1
--101 1
.names n_n1991 n_n2010 [4202] [4203] [4240] p_629_1926_
----0 1
11--- 1
1-0-- 1
1--0- 1
.names p_358_128_ p_612_263_
0 1
.names [682] [683] [4305] p_772_2299_
1-- 1
-1- 1
--1 1
.names [221] n_n835 [127] [4235] [4308] p_797_2191_
----1 1
1--0- 1
101-- 1
.names p_137_63_ [247] p_661_2178_
11 1
.names p_4088_172_ p_4087_171_ p_863_2276_ p_824_2274_ [4311] p_727_2298_
----1 1
100-- 1
00-0- 1
.names p_552_152_ p_849_219_
0 1
.names n_n1182 [4103] [4318] [4319] [4320] p_598_1623_
1-111 1
-0111 1
.names p_373_133_ p_1_0_ p_634_665_
11 1
.names p_31_11_ p_86_32_ p_87_33_ p_27_10_ p_2358_162_ p_636_1280_
0---- 1
---0- 1
-00-- 1
--0-1 1
-0--0 1
.names [228] n_n817 [127] [4261] [4325] p_742_2238_
----1 1
1--0- 1
101-- 1
.names [658] [660] [4326] p_767_2479_
1-- 1
-1- 1
--1 1
.names p_4091_175_ p_4092_176_ n_n849 [4231] p_836_2128_
0--1 1
-1-1 1
--11 1
.names p_137_63_ [250] p_693_2179_
11 1
.names p_137_63_ [251] p_702_2228_
11 1
.names [646] [647] [4332] p_807_2480_
1-- 1
-1- 1
--1 1
.names p_137_63_ [252] p_654_2315_
11 1
.names p_137_63_ n_n1232 n_n1233 [4336] p_658_2483_
0--- 1
-001 1
.names p_31_11_ p_83_31_ p_27_10_ p_820_1283_
0-- 1
-0- 1
--0 1
.names p_4091_175_ p_4092_176_ [276] [4275] p_861_2070_
0--1 1
-1-1 1
--01 1
.names p_4091_175_ p_4092_176_ n_n835 [4235] p_875_2125_
0--1 1
-1-1 1
--11 1
.names p_137_63_ [636] [637] [4338] p_685_2316_
11-- 1
1-1- 1
1--1 1
.names p_136_62_ p_3173_164_ p_815_627_
10 1
.names n_n1964 [127] n_n1068 [447] [4289] p_834_2123_
-0--1 1
0-0-1 1
--001 1
1-111 1
.names p_4091_175_ p_4092_176_ n_n595 n_n611 [4341] p_882_2456_
----1 1
1001- 1
1010- 1
.names n_n2044 n_n1847 [4099] p_621_1893_
1-- 1
-1- 1
--0 1
.names p_137_63_ n_n1682 [217] [4347] [4349] p_676_2229_
1---1 1
111-- 1
1-10- 1
.names p_137_63_ [619] [4351] p_667_2224_
11- 1
1-1 1
.names p_137_63_ [217] n_n1677 [4109] [4353] p_696_2226_
1---1 1
111-- 1
11-0- 1
.names p_4090_174_ p_4089_173_ n_n1682 [4347] [4355] p_787_2186_
----1 1
011-- 1
01-0- 1
.names [127] n_n1002 [186] n_n1976 [4109] p_877_2126_
0---1 1
-00-1 1
-0-11 1
-1101 1
.names p_293_112_ p_302_114_ p_308_116_ p_316_118_ n_n990 p_1002_1920_
01111 1
10111 1
11011 1
00011 1
11101 1
00101 1
01001 1
10001 1
11110 1
00110 1
01010 1
10010 1
01100 1
10100 1
11000 1
00000 1
.names n_n1113 n_n1036 n_n1073 n_n1116 [138] p_1004_1977_
01-11 1
0-111 1
11-01 1
1-101 1
11-10 1
1-110 1
01-00 1
0-100 1
10011 1
00001 1
00010 1
10000 1
.names p_137_63_ [258] p_670_2225_
11 1
.names p_4090_174_ p_4089_173_ p_863_2276_ p_824_2274_ [4372] p_712_2297_
----1 1
010-- 1
00-0- 1
.names p_141_65_ [259] p_715_1278_
11 1
.names p_31_11_ p_27_10_ p_809_655_
0- 1
-0 1
.names [128] n_n1251 n_n881 n_n811 [4375] p_843_2455_
-1--- 1
----1 1
1-11- 1
1-00- 1
.names p_4091_175_ p_4092_176_ n_n1708 n_n1660 [4266] p_867_2237_
0---1 1
-1--1 1
--001 1
.names [221] n_n1726 [561] [4275] [4377] p_859_2132_
--1-- 1
----1 1
11--- 1
1--0- 1
.names [127] n_n909 [398] [415] [4249] p_863_2276_
0---1 1
-00-1 1
-1-01 1
--001 1
.names n_n1122 n_n920 n_n932 [4245] p_623_2152_
-1-1 1
001- 1
100- 1
0-11 1
1-01 1
.names p_145_66_ p_141_65_ p_810_356_
11 1
.names p_137_63_ n_n1682 [225] [4347] [4380] p_642_2222_
1---1 1
111-- 1
1-10- 1
.names [208] [209] [4381] p_777_2278_
1-- 1
-1- 1
--1 1
.names p_4091_175_ p_4092_176_ n_n819 [4323] p_830_2182_
0--1 1
-1-1 1
--11 1
.names p_137_63_ [203] [4384] p_645_2271_
11- 1
1-1 1
.names p_137_63_ [199] [4386] p_679_2272_
11- 1
1-1 1
.names p_141_65_ [263] p_707_1277_
11 1
.names [191] [193] [4388] p_737_2279_
1-- 1
-1- 1
--1 1
.names [221] n_n817 [127] [4261] [4391] p_782_2239_
----1 1
1--0- 1
101-- 1
.names p_562_155_ p_850_217_
0 1
.names p_4088_172_ p_4087_171_ n_n1682 [4347] [4393] p_747_2187_
----1 1
101-- 1
10-0- 1
.names p_4091_175_ p_4092_176_ n_n1622 n_n1671 [4298] p_826_2275_
0---1 1
-1--1 1
--001 1
.names p_2824_163_ p_27_10_ p_845_845_
1- 1
-0 1
.names [128] n_n1158 n_n1682 [365] [4346] p_871_2127_
0-01- 1
-101- 1
--010 1
.names n_n1671 [4397] [4401] [4402] p_585_2236_
0111 1
.names p_4091_175_ p_4092_176_ n_n1661 n_n1612 [4304] p_865_2277_
0---1 1
-1--1 1
--001 1
.names p_141_65_ [265] p_673_1276_
11 1
.names [175] [177] [4405] p_732_2300_
1-- 1
-1- 1
--1 1
.names n_n988 [370] n_n830 [423] [4419] p_854_2268_
001-1 1
010-1 1
1-011 1
1-101 1
-0101 1
.names [127] n_n997 n_n1912 n_n1974 [4294] p_873_2124_
0---1 1
-00-1 1
-0-11 1
-1101 1
.names p_348_126_ p_599_269_
0 1
.names p_4088_172_ p_4087_171_ p_834_2123_ p_873_2124_ [4420] p_752_2189_
----1 1
000-- 1
10-0- 1
.names n_n2283 [4422] [4423] [4424] [4425] p_610_1519_
01111 1
.names [127] n_n920 [487] [4245] [4246] p_824_2274_
0---1 1
-00-1 1
-1-11 1
--011 1
.names p_559_154_ p_851_218_
0 1
.names n_n1122 [131] n_n920 n_n932 [4245] p_813_2260_
-11-1 1
-01-0 1
0101- 1
1001- 1
1100- 1
0000- 1
01-11 1
11-01 1
.names p_4091_175_ p_4092_176_ n_n846 [4343] p_832_2133_
0--1 1
-1-1 1
--11 1
.names p_245_98_ p_848_330_
0 1
.names [4438] [4439] p_575_2240_
11 1
.names p_552_152_ p_562_155_ p_601_220_
11 1
.names p_141_65_ [267] p_639_1275_
11 1
.names p_137_63_ [134] [135] [4441] p_651_2314_
11-- 1
1-1- 1
1--1 1
.names p_31_11_ p_140_64_ p_27_10_ p_656_621_
0-- 1
-0- 1
--0 1
.names p_4088_172_ p_4087_171_ n_n1677 [4109] [4444] p_762_2184_
----1 1
101-- 1
10-0- 1
.names p_4091_175_ p_4092_176_ n_n1670 n_n1721 [4262] p_828_2233_
0---1 1
-1--1 1
--001 1
.names p_556_153_ p_386_135_ p_847_465_
0- 1
-0 1
.names n_n988 [370] n_n830 [423] p_998_2163_
011- 1
000- 1
1-11 1
1-00 1
-000 1
.names p_545_150_ n_n2906
0 1
.names [217] n_n595 n_n611 [4133] [4168] n_n1234
1---1 1
1111- 1
1001- 1
.names p_94_36_ p_4092_176_ [218] [791] [792] n_n1235
111-- 1
-011- 1
-01-1 1
.names p_1694_160_ p_1691_159_ p_863_2276_ p_824_2274_ [4250] [241]
----1 1
010-- 1
00-0- 1
.names p_31_11_ p_34_12_ p_88_34_ p_27_10_ p_2358_162_ n_n2892
0---- 1
---0- 1
-00-- 1
-0--1 1
--0-0 1
.names n_n920 [487] [4245] [4253] [4257] n_n724
---01 1
00--1 1
1-1-1 1
-01-1 1
.names p_4088_172_ p_4087_171_ [228]
10 1
.names p_4088_172_ p_4087_171_ [230]
00 1
.names p_4090_174_ p_4089_173_ [221]
01 1
.names p_4090_174_ p_4089_173_ [222]
00 1
.names p_549_151_ n_n2907
0 1
.names n_n1726 [225] [674] [4275] [4309] [247]
--1-- 1
----1 1
11--- 1
-1-0- 1
.names p_293_112_ p_242_97_ p_254_101_ n_n1121
10- 1
0-0 1
-00 1
.names p_251_100_ p_248_99_ p_361_129_ n_n1133
00- 1
-01 1
0-0 1
.names p_302_114_ p_251_100_ p_248_99_ [136]
01- 1
1-1 1
.names p_514_147_ p_3552_168_ p_3546_165_ [144]
10- 1
0-1 1
.names n_n1726 [217] [654] [4275] [4328] [250]
--1-- 1
----1 1
11--- 1
-1-0- 1
.names p_1694_160_ p_1691_159_ p_834_2123_ p_873_2124_ [4330] [251]
----1 1
000-- 1
01-0- 1
.names p_1690_158_ p_1689_157_ p_863_2276_ p_824_2274_ [4334] [252]
----1 1
010-- 1
00-0- 1
.names n_n595 n_n611 [225] [4133] [4168] n_n1232
--1-1 1
1111- 1
0011- 1
.names p_94_36_ p_4092_176_ [226] [791] [792] n_n1233
111-- 1
-011- 1
-01-1 1
.names p_4091_175_ p_4092_176_ [128]
00 1
.names n_n1113 n_n1036 n_n1073 n_n1116 [138] n_n851
11-11 1
1-111 1
01-01 1
0-101 1
01-10 1
0-110 1
11-00 1
1-100 1
00011 1
10001 1
10010 1
00000 1
.names p_1690_158_ p_1689_157_ p_834_2123_ p_873_2124_ [4370] [258]
----1 1
000-- 1
01-0- 1
.names p_31_11_ p_82_30_ p_27_10_ p_2358_162_ p_80_28_ [259]
0---- 1
--0-- 1
1110- 1
1-111 1
.names p_2174_161_ [127] n_n612 n_n1263 [825] n_n1251
-111- 1
0100- 1
-1001 1
111-0 1
.names n_n1025 n_n1027 n_n1068 n_n1031 n_n1134 n_n2003
00001 1
.names p_302_114_ p_307_115_ p_332_122_ n_n1019 n_n1021 n_n1991
00-00 1
-0100 1
0-000 1
.names p_293_112_ p_299_113_ p_332_122_ n_n1122
00- 1
-01 1
0-0 1
.names n_n2003 n_n1122 n_n1125 n_n1019 n_n1021 n_n1896
11100 1
.names p_435_140_ p_241_96_ p_234_95_ p_335_123_ n_n1009
111- 1
000- 1
11-1 1
00-1 1
1-10 1
0-00 1
.names n_n999 n_n1002 n_n997 n_n994 n_n2033
0000 1
.names n_n1005 n_n1016 n_n1013 n_n2060
000 1
.names p_206_87_ p_446_141_ p_335_123_ p_209_88_ n_n1011
110- 1
000- 1
11-1 1
-111 1
00-0 1
-010 1
.names n_n1009 n_n2033 n_n2060 n_n1011 n_n1943
0110 1
.names p_23_6_ p_31_11_ p_27_10_ p_79_27_ p_2358_162_ [263]
-0--- 1
--0-- 1
111-1 1
-1110 1
.names [279] [359] n_n2010 [4202] [4203] n_n1670
10--- 1
1-1-- 1
1--0- 1
1---0 1
.names n_n1025 n_n2011 n_n1981 [466] [4214] n_n846
01--- 1
0-1-- 1
0--0- 1
0---0 1
10011 1
.names p_534_149_ p_54_20_ n_n1027 n_n1134 n_n1132 n_n849
0-1-1 1
1-0-0 1
0011- 1
-0111 1
1-001 1
0-000 1
11011 1
01010 1
.names n_n1021 [359] n_n2010 [4202] [4203] n_n819
00--- 1
0-1-- 1
0--0- 1
0---0 1
11011 1
.names [359] n_n2010 [419] [4202] [4203] n_n1721
10111 1
.names [359] n_n2010 [4202] [4203] [4297] n_n1622
10111 1
.names [359] n_n2010 [537] [4202] [4203] n_n1671
0-1-- 1
-11-- 1
--10- 1
--1-0 1
.names p_361_129_ p_332_122_ p_366_130_ p_54_20_ [130]
---1 1
10-- 1
1-1- 1
-11- 1
.names p_26_9_ p_31_11_ p_27_10_ p_2358_162_ p_81_29_ [265]
-0--- 1
--0-- 1
1110- 1
-1111 1
.names p_257_102_ p_389_136_ p_3548_166_ p_3546_165_ [4293] n_n2283
-1--1 1
0-0-1 1
1--01 1
.names p_293_112_ p_299_113_ p_332_122_ p_132_60_ [131]
11-1 1
-111 1
1-01 1
00-0 1
-010 1
0-00 1
.names n_n2021 [278] [391] [4093] [4094] n_n1708
01111 1
.names n_n2021 n_n1005 [391] [4093] [4094] n_n817
10--- 1
-00-- 1
-0-0- 1
-0--0 1
01111 1
.names n_n1009 n_n2017 [371] [4113] n_n838
01-- 1
0-0- 1
0--0 1
1011 1
.names n_n2021 [347] [391] [4093] [4094] n_n1661
11--- 1
-10-- 1
-1-0- 1
-1--0 1
.names n_n2021 [391] [4093] [4094] [4300] n_n1612
01111 1
.names p_411_138_ n_n999 [186] n_n1976 n_n1117 n_n835
01--1 1
10--0 1
0110- 1
100-1 1
10-11 1
-1101 1
000-0 1
00-10 1
.names n_n2021 [391] [418] [4093] [4094] n_n1660
1-1-- 1
-01-- 1
--10- 1
--1-0 1
.names p_25_8_ p_24_7_ p_31_11_ p_27_10_ p_2358_162_ [267]
--0-- 1
---0- 1
1-111 1
-1110 1
.names p_206_87_ p_242_97_ p_254_101_ p_446_141_ n_n1097
10-0 1
0-00 1
-000 1
.names p_324_120_ p_331_121_ p_332_122_ p_503_146_ n_n1025
11-1 1
-111 1
1-01 1
00-0 1
-010 1
0-00 1
.names p_323_119_ p_332_122_ p_316_118_ n_n1128
01- 1
0-0 1
-00 1
.names p_323_119_ p_490_145_ p_332_122_ p_316_118_ n_n2388
111- 1
11-1 1
-101 1
.names p_226_93_ p_233_94_ p_335_123_ n_n1111
00- 1
-01 1
0-0 1
.names p_226_93_ p_233_94_ p_335_123_ p_422_139_ n_n2364
11-1 1
-111 1
1-01 1
.names n_n1009 n_n999 n_n1002 [186] n_n997 n_n2021
00000 1
.names p_302_114_ p_307_115_ p_332_122_ n_n1125
00- 1
-01 1
0-0 1
.names p_534_149_ p_523_148_ n_n1130 n_n1134 n_n1132 n_n1964
-01-- 1
00-1- 1
0-11- 1
00--1 1
0-1-1 1
-0-11 1
--111 1
.names n_n1149 n_n1148 [4136] [4139] n_n972
11-- 1
-10- 1
1--0 1
--00 1
0011 1
.names n_n1160 n_n1141 [4145] [4148] [137]
011- 1
10-1 1
-001 1
0-10 1
.names p_4091_175_ p_4092_176_ [127]
10 1
.names p_4_1_ p_374_134_ p_335_123_ p_281_108_ p_288_109_ [276]
1101- 1
0001- 1
0100- 1
1000- 1
111-1 1
001-1 1
11-11 1
00-11 1
011-0 1
101-0 1
01-00 1
10-00 1
.names p_4091_175_ p_4092_176_ [276] n_n1726
101 1
.names n_n972 [137] n_n1140 [4142] n_n812
111- 1
001- 1
11-0 1
00-0 1
0101 1
1001 1
.names n_n1097 [378] n_n1163 [4157] [4160] n_n876
0111- 1
110-1 1
-1001 1
01-10 1
.names n_n1097 [393] n_n1163 [4157] [4160] n_n843
111-- 1
-110- 1
11--0 1
-1-00 1
01011 1
.names p_457_142_ p_468_143_ n_n2364 n_n1108 n_n1109 n_n1932
0--1- 1
000-- 1
-001- 1
00--1 1
0-0-1 1
-0-11 1
--011 1
.names p_457_142_ p_468_143_ n_n2364 n_n1108 n_n1109 n_n780
001-1 1
-0111 1
01010 1
.names n_n2021 [391] [4093] [4094] n_n909
0111 1
.names p_226_93_ p_233_94_ p_335_123_ p_422_139_ n_n1016 [278]
---00 1
-01-0 1
0-0-0 1
11-11 1
-1111 1
1-011 1
.names [359] n_n2010 [4202] [4203] n_n920
1011 1
.names p_323_119_ p_490_145_ p_332_122_ p_316_118_ n_n1019 [279]
-1--1 1
1-1-1 1
--011 1
001-0 1
00-00 1
-0000 1
.names p_226_93_ p_233_94_ p_335_123_ p_422_139_ n_n1005
11-1 1
-111 1
1-01 1
00-0 1
-010 1
0-00 1
.names p_226_93_ p_233_94_ p_241_96_ p_234_95_ p_335_123_ n_n982
-11-1 1
-00-1 1
1--10 1
0--00 1
1111- 1
0000- 1
.names p_210_89_ p_217_90_ p_335_123_ p_218_91_ p_225_92_ n_n980
1-01- 1
0-00- 1
-11-1 1
-01-0 1
11-11 1
00-00 1
.names p_206_87_ p_335_123_ p_209_88_ p_292_111_ p_289_110_ [141]
-101- 1
-110- 1
00--1 1
10--0 1
1-100 1
.names p_272_105_ p_400_137_ p_335_123_ p_265_104_ n_n999
111- 1
001- 1
11-1 1
-101 1
00-0 1
-000 1
.names p_273_106_ p_411_138_ p_280_107_ p_335_123_ n_n1002
111- 1
000- 1
-111 1
-001 1
11-0 1
00-0 1
.names p_374_134_ p_335_123_ p_281_108_ p_288_109_ [186]
0--- 1
-00- 1
-1-0 1
--00 1
.names p_468_143_ p_335_123_ p_218_91_ p_225_92_ n_n1016
101- 1
000- 1
11-1 1
1-11 1
01-0 1
0-00 1
.names p_210_89_ p_457_142_ p_217_90_ p_335_123_ n_n1013
111- 1
000- 1
-111 1
-001 1
11-0 1
00-0 1
.names n_n1027 n_n1068 n_n1031 n_n1134 [284]
1--- 1
-1-- 1
--1- 1
---0 1
.names [284] n_n2011 [466] [4214] n_n963
1011 1
.names p_293_112_ p_302_114_ p_307_115_ p_299_113_ p_332_122_ n_n988
--111 1
--001 1
11--0 1
00--0 1
1111- 1
0000- 1
.names p_400_137_ p_3548_166_ p_3546_165_ p_265_104_ n_n1146
011- 1
0-11 1
01-0 1
.names p_435_140_ p_242_97_ p_254_101_ p_234_95_ n_n1160
000- 1
00-1 1
0-00 1
.names p_435_140_ p_234_95_ p_3548_166_ p_3546_165_ n_n1158
001- 1
01-1 1
0-11 1
.names p_293_112_ p_3717_169_ p_242_97_ p_254_101_ p_3724_170_ n_n2324
101-0 1
00-10 1
-0110 1
.names p_324_120_ p_242_97_ p_254_101_ p_503_146_ n_n1173
10-0 1
0-00 1
-000 1
.names p_226_93_ p_242_97_ p_254_101_ p_422_139_ n_n1155
10-0 1
0-00 1
-000 1
.names p_210_89_ p_217_90_ p_335_123_ n_n1108
00- 1
-01 1
0-0 1
.names p_335_123_ p_218_91_ p_225_92_ n_n1109
00- 1
1-0 1
-00 1
.names p_315_117_ p_308_116_ p_332_122_ p_479_144_ n_n1019
11-1 1
1-11 1
-101 1
00-0 1
0-10 1
-000 1
.names p_257_102_ p_264_103_ p_389_136_ p_335_123_ n_n997
111- 1
000- 1
-111 1
-001 1
1-10 1
0-00 1
.names n_n999 n_n1002 [186] n_n997 n_n2017
0000 1
.names p_490_145_ p_479_144_ n_n1128 n_n1125 n_n1126 n_n932
-0-11 1
0011- 1
0-111 1
.names n_n1177 n_n1184 [4178] [4181] n_n978
11-- 1
1-0- 1
-1-0 1
--00 1
0011 1
.names p_514_147_ p_242_97_ p_248_99_ n_n1173 [4184] [143]
01-1- 1
1-01- 1
-101- 1
01--0 1
1-0-0 1
-10-0 1
00-01 1
1-101 1
.names p_341_125_ p_348_126_ p_332_122_ p_523_148_ n_n1027
11-1 1
-111 1
1-01 1
00-0 1
-010 1
0-00 1
.names p_302_114_ p_4091_175_ p_4092_176_ p_251_100_ p_248_99_ [298]
-1--- 1
--1-- 1
0--1- 1
1---1 1
.names p_4091_175_ p_4092_176_ [130] n_n1031 n_n1727
1011 1
1000 1
.names p_514_147_ p_338_124_ p_332_122_ n_n1068
11- 1
1-0 1
001 1
.names p_273_106_ p_411_138_ p_280_107_ p_335_123_ [186] n_n942
-0--1 1
000-- 1
-001- 1
00-0- 1
0-0-1 1
--011 1
0--01 1
.names p_272_105_ p_335_123_ p_265_104_ n_n1115
01- 1
0-0 1
-00 1
.names p_257_102_ p_264_103_ p_335_123_ n_n1114
00- 1
-01 1
0-0 1
.names p_272_105_ p_257_102_ p_264_103_ p_335_123_ p_265_104_ n_n983
1-11- 1
0-01- 1
-1-01 1
-0-00 1
111-1 1
000-0 1
.names p_341_125_ p_348_126_ p_332_122_ n_n1130
00- 1
-01 1
0-0 1
.names p_242_97_ p_254_101_ p_490_145_ p_316_118_ n_n1172
000- 1
0-01 1
-000 1
.names p_341_125_ p_3548_166_ p_3546_165_ p_523_148_ n_n1179
01-0 1
1-10 1
-110 1
.names p_293_112_ p_302_114_ p_308_116_ p_316_118_ n_n1077
1101 1
0001 1
1110 1
0010 1
.names p_257_102_ p_234_95_ n_n1113
11 1
00 1
.names p_242_97_ p_254_101_ p_273_106_ p_411_138_ n_n1149
00-0 1
0-10 1
-000 1
.names p_242_97_ p_254_101_ p_341_125_ p_523_148_ n_n1177
00-0 1
0-10 1
-000 1
.names p_400_137_ p_242_97_ p_254_101_ p_265_104_ n_n1148
000- 1
00-1 1
0-00 1
.names p_324_120_ p_3548_166_ p_3546_165_ p_503_146_ n_n1175
01-0 1
1-10 1
-110 1
.names p_324_120_ p_331_121_ p_338_124_ p_332_122_ n_n991
1--0 1
111- 1
-111 1
-001 1
.names p_351_127_ p_358_128_ p_341_125_ p_348_126_ p_332_122_ n_n992
-1-11 1
-0-01 1
1-1-0 1
0-0-0 1
1111- 1
0000- 1
.names p_369_131_ p_361_129_ p_332_122_ p_366_130_ p_372_132_ [142]
010-- 1
100-- 1
--101 1
--110 1
01-10 1
.names p_273_106_ p_280_107_ p_335_123_ p_281_108_ p_288_109_ [322]
1-01- 1
0-00- 1
-11-1 1
-01-0 1
11-11 1
00-00 1
.names n_n983 [322] n_n926
01 1
.names p_534_149_ p_523_148_ n_n1130 n_n1132 n_n848
0101 1
.names p_374_134_ n_n1912 n_n1118 [411] [4118] n_n814
10--1 1
-00-1 1
1--01 1
--001 1
01111 1
.names p_374_134_ n_n1912 n_n1118 [411] [553] n_n799
001-1 1
11-11 1
-1011 1
0-101 1
.names p_534_149_ p_523_148_ n_n1130 n_n1134 n_n1132 n_n823
11101 1
11001 1
10001 1
10110 1
11100 1
01100 1
11000 1
01000 1
10000 1
00000 1
.names p_534_149_ p_523_148_ n_n1130 n_n1134 n_n1132 n_n806
0101- 1
-1011 1
00-01 1
0-101 1
.names n_n1009 [127] n_n2017 [371] [4113] n_n1682
111-- 1
11-0- 1
11--0 1
01011 1
.names n_n983 [341] n_n927
11 1
.names n_n982 n_n980 [141] n_n824
011 1
101 1
110 1
000 1
.names p_323_119_ p_490_145_ p_332_122_ p_316_118_ n_n1021
111- 1
001- 1
11-1 1
-101 1
00-0 1
-000 1
.names p_293_112_ p_242_97_ p_254_101_ [136] n_n976 n_n881
10-11 1
0-011 1
-0011 1
11-01 1
0-101 1
11-10 1
0-110 1
10-00 1
0-000 1
-0000 1
.names p_374_134_ p_335_123_ p_281_108_ p_288_109_ n_n994
101- 1
000- 1
11-1 1
1-11 1
01-0 1
0-00 1
.names p_4_1_ p_374_134_ p_335_123_ p_281_108_ p_288_109_ n_n1976
1001- 1
1100- 1
101-1 1
10-11 1
111-0 1
11-00 1
.names p_315_117_ p_308_116_ p_332_122_ n_n1126
00- 1
0-1 1
-00 1
.names p_242_97_ p_254_101_ p_308_116_ p_479_144_ n_n1169
00-0 1
0-10 1
-000 1
.names p_242_97_ p_374_134_ p_254_101_ p_281_108_ n_n1140
000- 1
00-1 1
-000 1
.names p_374_134_ p_3548_166_ p_3546_165_ p_281_108_ n_n1138
011- 1
0-11 1
01-0 1
.names p_242_97_ p_254_101_ p_468_143_ p_218_91_ n_n1168
000- 1
0-01 1
-000 1
.names p_273_106_ p_280_107_ p_335_123_ p_281_108_ p_288_109_ [341]
0-01- 1
1-00- 1
-01-1 1
-11-0 1
00-11 1
11-00 1
.names p_468_143_ p_422_139_ n_n1111 n_n1013 n_n1109 [347]
0--01 1
1--10 1
0010- 1
-0101 1
11111 1
11011 1
10011 1
01110 1
01010 1
00010 1
.names p_226_93_ p_233_94_ p_335_123_ p_422_139_ [234]
00-0 1
-010 1
0-00 1
.names p_468_143_ p_422_139_ n_n1111 n_n1109 n_n816
01-1 1
0-01 1
1010 1
.names p_210_89_ p_226_93_ p_206_87_ p_218_91_ n_n1036
1011 1
0001 1
1110 1
0100 1
.names p_210_89_ p_226_93_ p_206_87_ p_218_91_ n_n1073
0111 1
1101 1
0010 1
1000 1
.names n_n1172 n_n1169 [4171] [4174] n_n976
11-- 1
-10- 1
1--0 1
--00 1
0011 1
.names p_273_106_ p_265_104_ n_n1116
11 1
00 1
.names p_289_110_ p_281_108_ [138]
01 1
10 1
.names p_257_102_ p_389_136_ p_3548_166_ p_3546_165_ n_n1143
001- 1
10-1 1
-011 1
.names n_n1027 n_n1068 n_n1031 n_n1134 n_n2011
0000 1
.names n_n1025 n_n1027 n_n1031 n_n1134 [4244] [359]
1---- 1
-1--- 1
--1-- 1
---0- 1
----0 1
.names n_n1025 n_n1031 n_n1134 n_n717 n_n631
0111 1
1011 1
1101 1
0001 1
1110 1
0010 1
0100 1
1000 1
.names p_4091_175_ p_4092_176_ p_122_52_ [365]
1-- 1
-0- 1
--0 1
.names p_457_142_ p_468_143_ n_n2364 n_n1108 n_n1109 n_n802
1000- 1
1-001 1
11111 1
11101 1
01101 1
11110 1
10110 1
11100 1
01100 1
10100 1
00100 1
.names p_251_100_ p_248_99_ p_361_129_ n_n978 [143] n_n811
-1111 1
1-011 1
00-01 1
-0101 1
0-001 1
00-10 1
-0110 1
0-010 1
-1100 1
1-000 1
.names p_361_129_ p_332_122_ p_366_130_ p_54_20_ [369]
10-1 1
1-11 1
-111 1
00-0 1
0-00 1
-100 1
.names p_315_117_ p_323_119_ p_308_116_ p_332_122_ p_316_118_ [370]
11-1- 1
00-1- 1
--101 1
--000 1
111-1 1
000-0 1
.names n_n999 n_n1002 n_n997 n_n1976 [371]
1--- 1
-1-- 1
--1- 1
---0 1
.names p_210_89_ p_457_142_ p_3548_166_ p_3546_165_ n_n1161
001- 1
10-1 1
-011 1
.names p_324_120_ p_351_127_ p_369_131_ p_341_125_ p_361_129_ n_n990
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_n1025 n_n1027 n_n1068 n_n1031 n_n1134 n_n2010
00000 1
.names p_400_137_ p_411_138_ [186] n_n1115 n_n1117 n_n1912
0--1- 1
001-- 1
-011- 1
00--1 1
0-1-1 1
-0-11 1
--111 1
.names n_n1155 n_n1168 [4163] [4166] [378]
11-- 1
-10- 1
1--0 1
--00 1
0011 1
.names p_293_112_ p_302_114_ p_308_116_ p_316_118_ n_n1075
0111 1
1011 1
0100 1
1000 1
.names p_335_123_ p_281_108_ p_288_109_ n_n1118
00- 1
1-0 1
-00 1
.names p_273_106_ p_280_107_ p_335_123_ n_n1117
00- 1
-01 1
0-0 1
.names p_273_106_ p_411_138_ p_3548_166_ p_3546_165_ n_n1151
001- 1
10-1 1
-011 1
.names p_257_102_ p_242_97_ p_254_101_ p_389_136_ n_n1141
10-0 1
0-00 1
-000 1
.names p_534_149_ p_351_127_ p_358_128_ p_332_122_ n_n1031
111- 1
000- 1
1-11 1
0-01 1
11-0 1
00-0 1
.names p_361_129_ p_332_122_ p_366_130_ n_n1134
00- 1
0-0 1
-10 1
.names n_n1027 n_n1031 n_n1134 [4244] n_n1981
0011 1
.names n_n1009 n_n999 n_n1002 n_n997 n_n1976 [391]
1---- 1
-1--- 1
--1-- 1
---1- 1
----0 1
.names n_n1155 n_n1168 [4163] [4166] [393]
011- 1
10-1 1
-001 1
0-10 1
.names p_1694_160_ p_1691_159_ [217]
01 1
.names n_n1011 n_n780 n_n1005 n_n1016 n_n802 n_n662
1111- 1
1100- 1
1-111 1
1-001 1
10010 1
10100 1
.names n_n1011 n_n780 n_n1005 n_n1016 n_n802 n_n654
0101- 1
0110- 1
0-011 1
0-101 1
00110 1
00000 1
.names n_n1011 n_n1932 n_n1005 n_n1016 n_n1013 [398]
10--- 1
011-- 1
01-1- 1
01--1 1
1-000 1
.names p_4091_175_ p_4092_176_ n_n1002 [186] n_n1976 n_n1677
1010- 1
101-1 1
10010 1
.names n_n991 n_n992 [142] n_n830
011 1
101 1
110 1
000 1
.names p_534_149_ p_523_148_ n_n1130 n_n1134 n_n1132 n_n884
101-0 1
10111 1
10101 1
00110 1
00100 1
.names p_4091_175_ p_4092_176_ p_251_100_ p_248_99_ p_361_129_ [404]
1---- 1
-1--- 1
--11- 1
---11 1
--1-0 1
.names p_4091_175_ p_4092_176_ p_131_59_ [403]
1-- 1
-0- 1
--0 1
.names n_n999 n_n1002 n_n994 [411]
1-- 1
-1- 1
--1 1
.names p_1694_160_ p_1691_159_ [218]
00 1
.names n_n823 n_n806 n_n2011 [466] [4214] n_n717
001-- 1
00-0- 1
00--0 1
1-011 1
-1011 1
.names p_206_87_ p_446_141_ p_335_123_ p_209_88_ n_n1932 [415]
010-1 1
100-1 1
-0111 1
-1101 1
110-0 1
000-0 1
11-10 1
-1110 1
00-00 1
-0100 1
.names p_468_143_ p_335_123_ p_218_91_ p_225_92_ [234] [418]
001-1 1
100-1 1
01-11 1
11-01 1
101-0 1
000-0 1
11-10 1
1-110 1
01-00 1
0-000 1
.names p_323_119_ p_490_145_ p_332_122_ p_316_118_ n_n1019 [419]
-0--0 1
0-1-0 1
--000 1
111-1 1
11-11 1
-1011 1
.names p_400_137_ p_411_138_ [186] n_n1115 n_n1117 n_n831
0-01- 1
1-10- 1
000-1 1
-0011 1
11110 1
01100 1
.names p_315_117_ p_323_119_ p_308_116_ p_332_122_ p_316_118_ [423]
01-1- 1
10-1- 1
--001 1
--100 1
010-1 1
101-0 1
.names n_n1011 n_n2364 n_n1016 n_n1013 n_n2044
0100 1
.names p_351_127_ p_358_128_ p_332_122_ n_n1132
00- 1
-01 1
0-0 1
.names p_534_149_ p_242_97_ p_254_101_ p_351_127_ n_n1184
000- 1
00-1 1
0-00 1
.names p_1497_156_ n_n999 n_n997 n_n608 n_n627 n_n595
0-01- 1
0-10- 1
111-1 1
100-1 1
-0011 1
-1101 1
101-0 1
110-0 1
-1010 1
-0100 1
.names p_54_20_ n_n1027 n_n1031 n_n1134 [447]
0--- 1
-1-- 1
--1- 1
---0 1
.names p_468_143_ p_3548_166_ p_3546_165_ p_218_91_ n_n1166
011- 1
0-11 1
01-0 1
.names p_514_147_ p_338_124_ p_332_122_ n_n1027 [4199] [466]
---1- 1
----0 1
11--- 1
1-0-- 1
001-- 1
.names n_n1932 n_n1005 n_n1016 n_n1013 n_n816 n_n668
111-1 1
001-1 1
010-1 1
011-0 1
101-0 1
110-0 1
000-0 1
-0000 1
10011 1
.names n_n2021 [4093] [4094] [4096] n_n1847
1--1 1
-0-1 1
--01 1
.names p_206_87_ p_335_123_ p_209_88_ n_n1106
00- 1
0-0 1
-10 1
.names p_210_89_ p_457_142_ p_242_97_ p_254_101_ n_n1163
100- 1
00-0 1
-000 1
.names p_534_149_ p_351_127_ p_3548_166_ p_3546_165_ n_n1182
001- 1
01-1 1
0-11 1
.names n_n617 [4209] [4211] [4213] n_n612
1--1 1
-011 1
.names p_293_112_ p_299_113_ p_332_122_ n_n932 [487]
00-1 1
-011 1
0-01 1
-110 1
1-00 1
.names [4131] [4132] n_n611
11 1
.names n_n1122 n_n1125 n_n1019 n_n704 n_n617
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n2033 n_n2017 n_n814 n_n799 [4113] n_n710
1-1-- 1
-11-- 1
1--1- 1
-1-1- 1
--1-0 1
---10 1
00001 1
.names n_n999 n_n1002 n_n1976 n_n1974
001 1
.names p_2174_161_ n_n1027 n_n1068 n_n631 n_n1263
0111 1
0001 1
0010 1
0100 1
.names p_293_112_ p_4091_175_ p_4092_176_ p_242_97_ p_254_101_ [507]
-1--- 1
--1-- 1
1--0- 1
0---0 1
---00 1
.names p_226_93_ p_3548_166_ p_3546_165_ p_422_139_ n_n1153
01-0 1
1-10 1
-110 1
.names n_n2017 n_n942 n_n994 n_n831 [4113] n_n675
1011- 1
1101- 1
1110- 1
1000- 1
-0110 1
-1010 1
-1100 1
-0000 1
01111 1
00011 1
00101 1
01001 1
.names n_n963 n_n848 n_n1031 n_n1134 n_n884 n_n688
0111- 1
1110- 1
0-111 1
1-101 1
10110 1
00100 1
.names p_490_145_ p_479_144_ n_n1128 n_n1125 n_n1126 n_n704
0011- 1
1010- 1
0000- 1
0-111 1
1-101 1
0-001 1
10001 1
01110 1
01100 1
.names n_n963 n_n848 n_n1031 n_n1134 n_n884 n_n680
1101- 1
0100- 1
1-011 1
0-001 1
00010 1
10000 1
.names n_n1009 n_n999 n_n1002 n_n675 n_n608
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_1690_158_ p_1689_157_ [225]
01 1
.names p_490_145_ p_479_144_ n_n1128 n_n1125 n_n1126 [537]
-0-11 1
-1-00 1
0011- 1
0-111 1
11101 1
11001 1
01001 1
10100 1
10000 1
00000 1
.names p_1690_158_ p_1689_157_ [226]
00 1
.names p_490_145_ p_479_144_ n_n1128 n_n1125 n_n1126 n_n670
11111 1
01111 1
01011 1
10011 1
11101 1
10101 1
00101 1
01001 1
00001 1
10110 1
00110 1
11010 1
00010 1
10100 1
11000 1
00000 1
.names n_n1009 n_n1002 n_n994 n_n710 n_n627
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_4091_175_ p_514_147_ p_4092_176_ p_3552_168_ p_3546_165_ [552]
1---- 1
--1-- 1
-1-0- 1
-0--1 1
.names p_374_134_ p_411_138_ n_n1118 n_n1117 [553]
-1-0 1
1111 1
1101 1
0101 1
1010 1
1000 1
0000 1
.names n_n2906 p_604_223_
1 1
.names n_n1943 p_588_1696_
1 1
.names n_n1896 p_615_1750_
1 1
.names n_n2892 p_704_1281_
1 1
.names p_3173_164_ p_973_202_
1 1
.names n_n2907 p_606_407_
1 1
.names n_n2906 p_603_225_
1 1
.names p_1_0_ p_921_664_
1 1
.names p_549_151_ p_892_408_
1 1
.names p_1_0_ p_949_852_
1 1
.names p_1_0_ p_939_853_
1 1
.names n_n2906 p_594_224_
1 1
.names p_1_0_ p_978_851_
1 1
.names p_137_63_ p_926_624_
1 1
.names p_293_112_ p_298_299_
1 1
.names n_n2907 p_602_222_
1 1
.names n_n1896 p_626_1752_
1 1
.names n_n1943 p_632_1692_
1 1
.names n_n2892 p_717_1282_
1 1
.names p_299_113_ p_887_528_
1 1
.names p_141_65_ p_923_619_
1 1
.names p_141_65_ p_144_354_
1 1
.names p_299_113_ p_889_734_
1 1
.names p_1_0_ p_993_850_
1 1
.names n_n1622 n_n1671 [127] [226] [4298] [134]
---10 1
1-11- 1
-111- 1
.names n_n1661 n_n1612 [127] [225] [4304] [135]
---10 1
1-11- 1
-111- 1
.names [230] n_n1622 n_n1671 [127] [4298] [175]
1---0 1
11-1- 1
1-11- 1
.names [228] n_n1661 n_n1612 [127] [4304] [177]
1---0 1
11-1- 1
1-11- 1
.names [230] n_n1670 n_n1721 [127] [4262] [191]
1---0 1
11-1- 1
1-11- 1
.names [228] n_n1708 n_n1660 [127] [4266] [193]
1---0 1
11-1- 1
1-11- 1
.names p_4091_175_ p_4092_176_ n_n817 [217] [4261] [199]
---10 1
1001- 1
.names p_4091_175_ p_4092_176_ n_n817 [225] [4261] [203]
---10 1
1001- 1
.names [222] n_n1670 n_n1721 [127] [4262] [208]
1---0 1
11-1- 1
1-11- 1
.names [221] n_n1708 n_n1660 [127] [4266] [209]
1---0 1
11-1- 1
1-11- 1
.names [222] [127] [369] [404] [403] [561]
1--0- 1
1---0 1
111-- 1
.names p_4091_175_ p_4092_176_ n_n835 [225] [4235] [619]
---10 1
1001- 1
.names n_n1622 n_n1671 [127] [218] [4298] [636]
---10 1
1-11- 1
-111- 1
.names n_n1661 n_n1612 [127] [217] [4304] [637]
---10 1
1-11- 1
-111- 1
.names p_94_36_ p_4092_176_ [222] [791] [792] [646]
111-- 1
-011- 1
-01-1 1
.names [221] n_n595 n_n611 [4133] [4168] [647]
1---1 1
1111- 1
1001- 1
.names [127] [369] [404] [403] [218] [654]
--0-1 1
---01 1
11--1 1
.names p_94_36_ p_4092_176_ [230] [791] [792] [658]
111-- 1
-011- 1
-01-1 1
.names [228] n_n595 n_n611 [4133] [4168] [660]
1---1 1
1111- 1
1001- 1
.names [127] [369] [404] [403] [226] [674]
--0-1 1
---01 1
11--1 1
.names [222] n_n1622 n_n1671 [127] [4298] [682]
1---0 1
11-1- 1
1-11- 1
.names [221] n_n1661 n_n1612 [127] [4304] [683]
1---0 1
11-1- 1
1-11- 1
.names n_n1670 n_n1721 [127] [218] [4262] [702]
---10 1
1-11- 1
-111- 1
.names n_n1708 n_n1660 [127] [217] [4266] [703]
---10 1
1-11- 1
-111- 1
.names [230] [127] [369] [404] [403] [728]
1--0- 1
1---0 1
111-- 1
.names n_n1670 n_n1721 [127] [226] [4262] [742]
---10 1
1-11- 1
-111- 1
.names n_n1708 n_n1660 [127] [225] [4266] [743]
---10 1
1-11- 1
-111- 1
.names p_4091_175_ p_4092_176_ n_n835 [217] [4235] [776]
---10 1
1001- 1
.names p_4091_175_ n_n1121 [136] n_n976 n_n811 [791]
00111 1
01011 1
01101 1
00001 1
01110 1
00010 1
00100 1
01000 1
.names p_2174_161_ p_4091_175_ n_n612 n_n1263 [825] [792]
-101- 1
0110- 1
-1101 1
110-0 1
.names n_n1025 n_n1027 n_n1068 n_n688 n_n680 [825]
0111- 1
1011- 1
1101- 1
0001- 1
011-1 1
101-1 1
110-1 1
000-1 1
11100 1
00100 1
01000 1
10000 1
.names p_4092_176_ p_97_37_ [903]
11 1
.names n_n1009 n_n999 n_n1002 n_n997 n_n994 [930]
00000 1
.names p_273_106_ p_411_138_ p_280_107_ p_335_123_ [4088]
111- 1
-111 1
11-0 1
.names p_257_102_ p_264_103_ p_389_136_ p_335_123_ [4091]
111- 1
-111 1
1-10 1
.names p_435_140_ p_241_96_ p_234_95_ p_335_123_ [4091] [4093]
0---0 1
000-- 1
00-1- 1
0-00- 1
-00-0 1
-0-10 1
--000 1
.names p_400_137_ n_n1009 n_n997 n_n1115 [4088] [4094]
-1--- 1
--1-- 1
0--1- 1
0---0 1
---10 1
.names n_n1011 n_n1005 n_n1016 n_n1013 [4096]
0000 1
.names p_468_143_ p_335_123_ p_218_91_ p_225_92_ [4097]
101- 1
11-1 1
1-11 1
.names p_457_142_ p_446_141_ n_n1108 n_n1106 [4097] [4099]
-0-1- 1
001-- 1
0-11- 1
00--0 1
-01-0 1
0--10 1
--110 1
.names p_534_149_ p_3552_168_ p_3550_167_ p_351_127_ [4103]
0--- 1
-11- 1
-1-1 1
--10 1
.names p_4091_175_ p_4092_176_ p_129_57_ n_n1182 [4103] [4104]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_3552_168_ p_273_106_ p_3550_167_ p_411_138_ [4108]
---0 1
11-- 1
1-1- 1
-01- 1
.names p_4091_175_ p_4092_176_ p_126_54_ n_n1151 [4108] [4109]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_1690_158_ p_158_71_ p_1689_157_ p_188_81_ [4110]
111- 1
1-01 1
.names p_1690_158_ p_1689_157_ n_n1727 [4104] [4110] [4111]
----1 1
001-- 1
00-0- 1
.names p_400_137_ p_389_136_ n_n1115 n_n1114 [4088] [4113]
-0-1- 1
001-- 1
0-11- 1
00--0 1
-01-0 1
0--10 1
--110 1
.names p_374_134_ p_411_138_ n_n1118 n_n1117 [4118]
-0-1 1
001- 1
0-11 1
.names p_1497_156_ n_n2021 [930] [4093] [4094] [4125]
11--- 1
1-1-- 1
1--0- 1
1---0 1
.names p_1497_156_ n_n2021 [4093] [4094] [4126]
01-- 1
0-0- 1
0--0 1
.names p_1497_156_ n_n2021 [4093] [4094] [4129]
0011 1
.names p_1497_156_ n_n2021 [930] [4093] [4094] [4130]
0---- 1
-1--- 1
--1-- 1
---0- 1
----0 1
.names n_n1013 n_n662 n_n654 [4129] [4130] [4131]
01--- 1
0-1-- 1
---01 1
100-- 1
.names n_n1011 n_n1013 n_n668 [4125] [4126] [4132]
---00 1
111-- 1
001-- 1
010-- 1
100-- 1
.names p_4092_176_ p_4091_175_ [4133]
01 1
.names p_273_106_ p_251_100_ p_411_138_ p_248_99_ [4136]
--0- 1
00-- 1
1--0 1
-0-0 1
.names p_400_137_ p_251_100_ p_248_99_ p_265_104_ [4139]
0--- 1
-00- 1
--01 1
-0-0 1
.names p_374_134_ p_251_100_ p_248_99_ p_281_108_ [4142]
0--- 1
-00- 1
--01 1
-0-0 1
.names p_435_140_ p_251_100_ p_234_95_ p_248_99_ [4145]
0--- 1
-00- 1
-0-0 1
--10 1
.names p_257_102_ p_251_100_ p_248_99_ p_389_136_ [4148]
---0 1
00-- 1
1-0- 1
-00- 1
.names p_206_87_ p_251_100_ p_248_99_ p_446_141_ [4157]
---0 1
00-- 1
1-0- 1
-00- 1
.names p_210_89_ p_457_142_ p_251_100_ p_248_99_ [4160]
-0-- 1
0-0- 1
1--0 1
--00 1
.names p_226_93_ p_251_100_ p_248_99_ p_422_139_ [4163]
---0 1
00-- 1
1-0- 1
-00- 1
.names p_468_143_ p_251_100_ p_248_99_ p_218_91_ [4166]
0--- 1
-00- 1
--01 1
-0-0 1
.names [128] n_n812 n_n876 n_n843 [903] [4168]
----1 1
111-- 1
11-1- 1
1000- 1
.names p_490_145_ p_251_100_ p_248_99_ p_316_118_ [4171]
0--- 1
-00- 1
--01 1
-0-0 1
.names p_308_116_ p_251_100_ p_248_99_ p_479_144_ [4174]
---0 1
00-- 1
1-0- 1
-00- 1
.names p_534_149_ p_251_100_ p_351_127_ p_248_99_ [4178]
0--- 1
-00- 1
-0-0 1
--10 1
.names p_251_100_ p_341_125_ p_248_99_ p_523_148_ [4181]
---0 1
00-- 1
0-0- 1
-10- 1
.names p_324_120_ p_251_100_ p_248_99_ p_503_146_ [4184]
---0 1
00-- 1
1-0- 1
-00- 1
.names p_514_147_ p_338_124_ p_332_122_ [4197]
11- 1
1-0 1
.names p_534_149_ p_351_127_ p_358_128_ p_332_122_ [4199]
111- 1
1-11 1
11-0 1
.names p_324_120_ p_331_121_ p_332_122_ p_503_146_ [4197] [4202]
---00 1
00-0- 1
-010- 1
0-00- 1
00--0 1
-01-0 1
0-0-0 1
.names p_523_148_ n_n1025 n_n1068 n_n1130 [4199] [4203]
-1--- 1
--1-- 1
0--1- 1
0---0 1
---10 1
.names p_2174_161_ n_n2003 n_n2010 [4202] [4203] [4205]
11--- 1
1-1-- 1
1--0- 1
1---0 1
.names p_2174_161_ n_n2010 [4202] [4203] [4206]
01-- 1
0-0- 1
0--0 1
.names p_2174_161_ n_n2010 [4202] [4203] [4209]
0011 1
.names p_2174_161_ n_n2003 n_n2010 [4202] [4203] [4211]
0---- 1
-1--- 1
--1-- 1
---0- 1
----0 1
.names n_n1122 n_n1125 n_n670 [4205] [4206] [4213]
---00 1
111-- 1
001-- 1
010-- 1
100-- 1
.names p_514_147_ p_338_124_ p_332_122_ p_523_148_ n_n1130 [4214]
0--0- 1
0---1 1
001-- 1
-010- 1
-01-1 1
.names p_1694_160_ p_176_77_ p_179_78_ p_1691_159_ [4226]
0--- 1
-00- 1
--01 1
-0-0 1
.names p_3552_168_ p_3550_167_ p_341_125_ p_523_148_ [4230]
---0 1
11-- 1
1-1- 1
-10- 1
.names p_4091_175_ p_4092_176_ p_119_49_ n_n1179 [4230] [4231]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_400_137_ p_3552_168_ p_3550_167_ p_265_104_ [4234]
0--- 1
-11- 1
-1-1 1
--10 1
.names p_4091_175_ p_4092_176_ p_127_55_ n_n1146 [4234] [4235]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_1694_160_ p_152_69_ p_1691_159_ p_155_70_ [4236]
111- 1
1-01 1
.names n_n849 [127] [218] [4231] [4236] [4237]
----1 1
--10- 1
011-- 1
.names p_479_144_ n_n1122 n_n2388 n_n1125 n_n1126 [4240]
0101- 1
01-11 1
-1011 1
.names p_514_147_ p_338_124_ p_332_122_ p_54_20_ [4244]
01-1 1
0-01 1
1011 1
.names p_479_144_ n_n1122 n_n2388 n_n1125 n_n1126 [4245]
-1-0- 1
0001- 1
00-11 1
-0011 1
11-10 1
11111 1
01110 1
.names p_4091_175_ p_123_53_ p_4092_176_ [507] [4246]
1--1 1
-0-1 1
--01 1
.names p_4091_175_ p_4092_176_ p_115_45_ n_n1097 [4157] [4249]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_1694_160_ p_191_82_ p_1691_159_ p_161_72_ [4250]
110- 1
1-11 1
.names p_3724_170_ p_3717_169_ [4253]
11 1
.names p_3717_169_ p_123_53_ p_3724_170_ [131] n_n2324 [4257]
10--0 1
1-1-0 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--100 1
.names p_226_93_ p_3552_168_ p_3550_167_ p_422_139_ [4260]
---0 1
11-- 1
0-1- 1
-11- 1
.names p_113_43_ p_4091_175_ p_4092_176_ n_n1153 [4260] [4261]
-1--- 1
0-1-- 1
0--1- 1
--01- 1
0---0 1
--0-0 1
.names p_4091_175_ p_4092_176_ p_116_46_ n_n1169 [4174] [4262]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_468_143_ p_3552_168_ p_3550_167_ p_218_91_ [4265]
0--- 1
-11- 1
-1-1 1
--10 1
.names p_53_19_ p_4091_175_ p_4092_176_ n_n1166 [4265] [4266]
-1--- 1
0-1-- 1
0--1- 1
--01- 1
0---0 1
--0-0 1
.names p_167_74_ p_1690_158_ p_1689_157_ p_197_84_ [4267]
111- 1
-101 1
.names p_4088_172_ p_17_4_ p_4087_171_ p_73_25_ [4270]
111- 1
0-11 1
.names [230] n_n849 [127] [4231] [4270] [4271]
----1 1
1--0- 1
101-- 1
.names p_374_134_ p_3552_168_ p_3550_167_ p_281_108_ [4274]
0--- 1
-11- 1
-1-1 1
--10 1
.names p_117_47_ p_4091_175_ p_4092_176_ n_n1138 [4274] [4275]
-1--- 1
0-1-- 1
0--1- 1
--01- 1
0---0 1
--0-0 1
.names p_61_21_ p_11_2_ p_4088_172_ p_4087_171_ [4276]
1-11 1
-101 1
.names p_67_23_ p_4090_174_ p_4089_173_ p_70_24_ [4278]
110- 1
-111 1
.names p_4090_174_ p_4089_173_ n_n1727 [4104] [4278] [4279]
----1 1
001-- 1
00-0- 1
.names p_167_74_ p_1694_160_ p_1691_159_ p_197_84_ [4287]
111- 1
-101 1
.names p_130_58_ p_4091_175_ p_4092_176_ [552] [4289]
0--1 1
-1-1 1
--01 1
.names p_257_102_ p_3552_168_ p_3550_167_ p_389_136_ [4293]
---0 1
11-- 1
0-1- 1
-11- 1
.names p_4091_175_ p_4092_176_ p_128_56_ n_n1143 [4293] [4294]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_4090_174_ p_20_5_ p_4089_173_ p_76_26_ [4295]
111- 1
1-01 1
.names p_479_144_ n_n2388 n_n1125 n_n1126 [4297]
001- 1
0-11 1
-011 1
1-00 1
1101 1
0100 1
.names p_4091_175_ p_4092_176_ p_121_51_ [298] [4298]
1--1 1
-0-1 1
--01 1
.names p_468_143_ n_n2364 n_n1013 n_n1109 [4300]
000- 1
0-01 1
-001 1
1-10 1
1111 1
0110 1
.names p_210_89_ p_457_142_ p_3552_168_ p_3550_167_ [4303]
-0-- 1
1-1- 1
0--1 1
--11 1
.names p_4091_175_ p_114_44_ p_4092_176_ n_n1161 [4303] [4304]
1---- 1
-01-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_4090_174_ p_4089_173_ p_49_17_ p_46_16_ [4305]
111- 1
10-1 1
.names p_4090_174_ p_4089_173_ p_17_4_ p_73_25_ [4307]
111- 1
10-1 1
.names [222] n_n849 [127] [4231] [4307] [4308]
----1 1
1--0- 1
101-- 1
.names p_1690_158_ p_182_79_ p_1689_157_ p_185_80_ [4309]
110- 1
1-11 1
.names p_106_40_ p_109_41_ p_4088_172_ p_4087_171_ [4311]
1-11 1
-101 1
.names p_324_120_ p_3552_168_ p_3550_167_ p_503_146_ [4315]
---0 1
11-- 1
0-1- 1
-11- 1
.names n_n1121 n_n1133 [136] [144] [4318]
1011 1
.names n_n1172 n_n1179 [4171] [4230] [4319]
11-- 1
-10- 1
1--0 1
--00 1
.names n_n1175 n_n1169 [4174] [4315] [4320]
11-- 1
1-0- 1
-1-0 1
--00 1
.names p_4091_175_ p_4092_176_ p_112_42_ n_n1172 [4171] [4323]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_91_35_ p_40_14_ p_4088_172_ p_4087_171_ [4324]
-111 1
1-01 1
.names [230] n_n819 [127] [4323] [4324] [4325]
----1 1
1--0- 1
101-- 1
.names p_64_22_ p_14_3_ p_4088_172_ p_4087_171_ [4326]
1-11 1
-101 1
.names p_1694_160_ p_182_79_ p_185_80_ p_1691_159_ [4328]
1-11 1
11-0 1
.names p_1694_160_ p_146_67_ p_149_68_ p_1691_159_ [4330]
11-1 1
1-10 1
.names p_64_22_ p_14_3_ p_4090_174_ p_4089_173_ [4332]
1-11 1
-110 1
.names p_1690_158_ p_191_82_ p_1689_157_ p_161_72_ [4334]
110- 1
1-11 1
.names p_1690_158_ p_176_77_ p_179_78_ p_1689_157_ [4336]
0--- 1
-00- 1
--01 1
-0-0 1
.names p_1694_160_ p_164_73_ p_1691_159_ p_194_83_ [4338]
111- 1
1-01 1
.names p_4091_175_ p_118_48_ p_4092_176_ [4340]
1-1 1
011 1
.names [128] n_n812 n_n876 n_n843 [4340] [4341]
----1 1
101-- 1
10-1- 1
1100- 1
.names p_52_18_ p_4091_175_ p_4092_176_ n_n1175 [4315] [4343]
-1--- 1
0-1-- 1
0--1- 1
--01- 1
0---0 1
--0-0 1
.names p_435_140_ p_3552_168_ p_3550_167_ p_234_95_ [4346]
0--- 1
-11- 1
-1-1 1
--10 1
.names p_4091_175_ p_4092_176_ p_122_52_ n_n1158 [4346] [4347]
1---- 1
-10-- 1
-0-1- 1
--01- 1
-0--0 1
--0-0 1
.names p_170_75_ p_1694_160_ p_200_85_ p_1691_159_ [4348]
11-1 1
-110 1
.names n_n846 [127] [218] [4343] [4348] [4349]
----1 1
--10- 1
011-- 1
.names p_1690_158_ p_152_69_ p_1689_157_ p_155_70_ [4350]
111- 1
1-01 1
.names n_n849 [127] [226] [4231] [4350] [4351]
----1 1
--10- 1
011-- 1
.names p_1694_160_ p_158_71_ p_1691_159_ p_188_81_ [4352]
111- 1
1-01 1
.names p_1694_160_ p_1691_159_ n_n1727 [4104] [4352] [4353]
----1 1
001-- 1
00-0- 1
.names p_4090_174_ p_4089_173_ p_37_13_ p_43_15_ [4354]
111- 1
10-1 1
.names [222] n_n846 [127] [4343] [4354] [4355]
----1 1
1--0- 1
101-- 1
.names p_1690_158_ p_146_67_ p_149_68_ p_1689_157_ [4370]
11-1 1
1-10 1
.names p_106_40_ p_4090_174_ p_109_41_ p_4089_173_ [4372]
11-1 1
-110 1
.names p_4091_175_ p_120_50_ p_4092_176_ [4375]
1-1 1
011 1
.names p_61_21_ p_4090_174_ p_11_2_ p_4089_173_ [4377]
11-1 1
-110 1
.names p_170_75_ p_1690_158_ p_200_85_ p_1689_157_ [4379]
11-1 1
-110 1
.names n_n846 [127] [226] [4343] [4379] [4380]
----1 1
--10- 1
011-- 1
.names p_100_38_ p_4090_174_ p_4089_173_ p_103_39_ [4381]
110- 1
-111 1
.names p_173_76_ p_1690_158_ p_203_86_ p_1689_157_ [4383]
11-1 1
-110 1
.names n_n819 [127] [226] [4323] [4383] [4384]
----1 1
--10- 1
011-- 1
.names p_173_76_ p_1694_160_ p_203_86_ p_1691_159_ [4385]
11-1 1
-110 1
.names n_n819 [127] [218] [4323] [4385] [4386]
----1 1
--10- 1
011-- 1
.names p_100_38_ p_4088_172_ p_4087_171_ p_103_39_ [4388]
101- 1
-111 1
.names p_91_35_ p_4090_174_ p_40_14_ p_4089_173_ [4390]
-111 1
11-0 1
.names [222] n_n819 [127] [4323] [4390] [4391]
----1 1
1--0- 1
101-- 1
.names p_37_13_ p_4088_172_ p_4087_171_ p_43_15_ [4392]
111- 1
-011 1
.names [230] n_n846 [127] [4343] [4392] [4393]
----1 1
1--0- 1
101-- 1
.names p_534_149_ p_54_20_ n_n1027 n_n1134 n_n1132 [4396]
11011 1
10001 1
01010 1
00000 1
.names n_n1964 n_n1068 [447] [4396] [4397]
00-1 1
-001 1
1111 1
.names n_n1122 n_n920 n_n932 n_n1021 [4245] [4401]
-1-11 1
0010- 1
1000- 1
.names n_n1670 n_n846 n_n1721 n_n1622 [4402]
0100 1
.names p_4088_172_ p_4087_171_ p_49_17_ p_46_16_ [4405]
111- 1
01-1 1
.names p_245_98_ p_559_154_ [4414]
11 1
.names p_552_152_ p_556_153_ p_386_135_ p_562_155_ [4415]
1111 1
.names n_n1077 n_n990 n_n1075 [4414] [4415] [4417]
10-11 1
-0111 1
01011 1
.names n_n851 n_n926 n_n927 n_n824 [4417] [4419]
11-01 1
1-101 1
10011 1
.names p_20_5_ p_4088_172_ p_4087_171_ p_76_26_ [4420]
111- 1
-011 1
.names n_n1097 n_n1146 [4157] [4234] [4422]
11-- 1
-10- 1
1--0 1
--00 1
.names n_n1158 n_n1161 [4303] [4346] [4423]
11-- 1
1-0- 1
-1-0 1
--00 1
.names n_n1138 n_n1166 [4265] [4274] [4424]
11-- 1
1-0- 1
-1-0 1
--00 1
.names n_n1151 n_n1153 [4108] [4260] [4425]
11-- 1
-10- 1
1--0 1
--00 1
.names p_4_1_ p_374_134_ n_n1002 n_n1118 [4430]
0011 1
1101 1
0100 1
1000 1
.names n_n835 n_n997 n_n1912 n_n1974 [4430] [4432]
100-1 1
10-11 1
11101 1
.names n_n909 [347] [398] [415] [4300] [4438]
000-- 1
1--00 1
-0000 1
.names n_n1708 n_n817 n_n838 n_n1660 [4432] [4439]
01101 1
.names p_1690_158_ p_164_73_ p_1689_157_ p_194_83_ [4441]
111- 1
1-01 1
.names p_67_23_ p_4088_172_ p_4087_171_ p_70_24_ [4443]
101- 1
-111 1
.names p_4088_172_ p_4087_171_ n_n1727 [4104] [4443] [4444]
----1 1
001-- 1
00-0- 1
.end