.model top
.inputs p_193_130_ p_257_171_ p_2435_225_ p_79_60_ p_135_106_ p_142_113_ \
p_192_129_ p_209_146_ p_2096_218_ p_2454_230_ p_4_3_ p_51_36_ p_52_37_ \
p_112_87_ p_126_99_ p_179_118_ p_189_126_ p_21_14_ p_25_18_ p_90_69_ \
p_206_143_ p_253_167_ p_277_187_ p_60_43_ p_61_44_ p_66_49_ p_202_139_ \
p_22_15_ p_24_17_ p_119_94_ p_132_105_ p_203_140_ p_250_164_ p_267_177_ \
p_270_180_ p_559_193_ p_2443_227_ p_3_2_ p_53_38_ p_54_39_ p_102_79_ \
p_182_121_ p_212_149_ p_1961_204_ p_1986_209_ p_2090_217_ p_2430_224_ p_23_16_ \
p_169_114_ p_213_150_ p_242_156_ p_28_21_ p_29_22_ p_93_72_ p_94_73_ p_95_74_ \
p_96_75_ p_128_101_ p_651_195_ p_661_196_ p_14_9_ p_32_23_ p_34_25_ p_36_27_ \
p_67_50_ p_69_52_ p_104_81_ p_106_83_ p_252_166_ p_269_179_ p_276_186_ p_2_1_ \
p_72_53_ p_99_76_ p_100_77_ p_113_88_ p_125_98_ p_2451_229_ p_35_26_ p_116_91_ \
p_136_107_ p_240_154_ p_273_183_ p_62_45_ p_63_46_ p_64_47_ p_65_48_ \
p_183_122_ p_199_136_ p_1981_208_ p_1996_211_ p_11_8_ p_26_19_ p_140_111_ \
p_207_144_ p_214_151_ p_243_157_ p_263_173_ p_1_0_ p_186_125_ p_196_133_ \
p_247_161_ p_33_24_ p_68_51_ p_204_141_ p_266_176_ p_279_189_ p_2678_232_ \
p_19_12_ p_85_64_ p_86_65_ p_87_66_ p_88_67_ p_89_68_ p_120_95_ p_181_120_ \
p_200_137_ p_2100_219_ p_130_103_ p_180_119_ p_241_155_ p_265_175_ p_272_182_ \
p_567_194_ p_8_7_ p_15_10_ p_16_11_ p_80_61_ p_81_62_ p_127_100_ p_174_115_ \
p_184_123_ p_198_135_ p_210_147_ p_56_41_ p_103_80_ p_107_84_ p_244_158_ \
p_268_178_ p_1976_207_ p_195_132_ p_248_162_ p_2066_212_ p_2106_222_ \
p_2474_231_ p_43_30_ p_57_42_ p_117_92_ p_137_108_ p_278_188_ p_483_191_ \
p_1384_202_ p_1971_206_ p_7_6_ p_73_54_ p_74_55_ p_123_96_ p_177_116_ \
p_256_170_ p_1083_199_ p_1341_200_ p_1991_210_ p_2067_213_ p_2078_215_ \
p_2105_221_ p_37_28_ p_44_31_ p_191_128_ p_208_145_ p_255_169_ p_262_172_ \
p_275_185_ p_868_198_ p_27_20_ p_91_70_ p_92_71_ p_178_117_ p_185_124_ \
p_197_134_ p_211_148_ p_239_153_ p_246_160_ p_2084_216_ p_2104_220_ p_108_85_ \
p_205_142_ p_245_159_ p_2446_228_ p_6_5_ p_40_29_ p_75_56_ p_76_57_ p_194_131_ \
p_201_138_ p_249_163_ p_452_190_ p_47_32_ p_131_104_ p_141_112_ p_215_152_ \
p_264_174_ p_2427_223_ p_1966_205_ p_2438_226_ p_20_13_ p_48_33_ p_55_40_ \
p_115_90_ p_190_127_ p_254_168_ p_274_184_ p_543_192_ p_1956_203_ p_5_4_ \
p_50_35_ p_77_58_ p_78_59_ p_82_63_ p_101_78_ p_111_86_ p_114_89_ p_124_97_ \
p_129_102_ p_139_110_ p_860_197_ p_1348_201_ p_49_34_ p_105_82_ p_118_93_ \
p_138_109_ p_251_165_ p_271_181_ p_2072_214_
.outputs p_284_847_ p_171_621_ p_145_1358_ p_150_1277_ p_188_761_ p_221_305_ \
p_311_1278_ p_158_349_ p_235_307_ p_259_414_ p_299_692_ p_160_609_ p_367_288_ \
p_288_700_ p_301_694_ p_384_262_ p_218_311_ p_261_506_ p_236_303_ p_319_656_ \
p_321_848_ p_350_301_ p_397_1406_ p_148_851_ p_220_306_ p_369_289_ p_164_607_ \
p_411_264_ p_231_1422_ p_297_849_ p_168_623_ p_156_1046_ p_337_263_ p_153_671_ \
p_223_413_ p_303_698_ p_331_1401_ p_391_379_ p_395_1392_ p_282_922_ p_173_389_ \
p_217_423_ p_229_1180_ p_280_850_ p_335_299_ p_162_612_ p_227_1179_ p_237_309_ \
p_176_803_ p_305_702_ p_290_704_ p_329_1414_ p_286_696_ p_295_1400_ \
p_401_1276_ p_238_304_ p_323_923_ p_325_507_ p_219_302_ p_166_625_ p_409_298_ \
p_234_376_ p_308_1425_ p_225_1424_
.names p_52_37_ p_90_69_ p_651_195_ p_543_192_ [1662] p_171_621_
--1-1 1
00--1 1
0--11 1
-0-01 1
.names p_860_197_ [133] [1665] [1666] p_145_1358_
1-0- 1
1--0 1
000- 1
00-0 1
0111 1
.names [1715] [1716] [1717] [1718] [1728] p_150_1277_
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names p_3_2_ p_1_0_ [136] [135] [1733] p_188_761_
--0-- 1
---0- 1
----0 1
11--- 1
.names p_96_75_ p_221_305_
0 1
.names [1715] [1716] [1717] [1718] [1728] p_311_1278_
11111 1
.names p_2090_217_ p_2078_215_ p_2084_216_ p_2072_214_ p_158_349_
0--- 1
-0-- 1
--0- 1
---0 1
.names p_69_52_ p_235_307_
0 1
.names p_661_196_ p_2_1_ p_15_10_ p_259_414_
0-- 1
-0- 1
--0 1
.names p_53_38_ p_651_195_ p_65_48_ p_543_192_ [1674] p_299_692_
----0 1
10-1- 1
-110- 1
.names p_113_88_ p_125_98_ p_2105_221_ p_2104_220_ [1680] p_160_609_
--0-1 1
00--1 1
0--11 1
-0-01 1
.names p_651_195_ p_87_66_ p_74_55_ p_543_192_ p_49_34_ p_288_700_
1--0- 1
1-11- 1
01-0- 1
0--11 1
.names p_52_37_ p_90_69_ p_651_195_ p_543_192_ [1662] p_301_694_
----0 1
1-01- 1
-100- 1
.names p_44_31_ p_218_311_
0 1
.names p_132_105_ p_96_75_ p_44_31_ p_82_63_ [123] p_261_506_
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names p_120_95_ p_236_303_
0 1
.names [136] [135] p_319_656_
11 1
.names p_37_28_ n_n280 n_n296 [74] [124] p_397_1406_
00111 1
01011 1
01101 1
00001 1
01110 1
00010 1
00100 1
01000 1
.names p_559_193_ p_860_197_ [1663] [1664] p_148_851_
10-- 1
-10- 1
-00- 1
-1-0 1
-0-0 1
.names p_82_63_ p_220_306_
0 1
.names p_126_99_ p_102_79_ p_2105_221_ p_2104_220_ [1672] p_164_607_
00--1 1
0-1-1 1
-00-1 1
-0-11 1
--111 1
0--01 1
--001 1
.names p_231_1422_
.names p_51_36_ p_651_195_ p_63_46_ p_543_192_ [1692] p_168_623_
00--1 1
0-0-1 1
-10-1 1
0--11 1
-1-11 1
-0-01 1
--001 1
.names p_2096_218_ [149] [1695] [1696] p_156_1046_
-0-- 1
1-0- 1
1--0 1
0-11 1
.names p_860_197_ [1667] [1668] p_153_671_
0-- 1
-0- 1
--0 1
.names p_661_196_ p_7_6_ p_223_413_
0- 1
-0 1
.names p_651_195_ p_62_45_ p_75_56_ p_543_192_ [1694] p_303_698_
----0 1
1-11- 1
11-0- 1
.names p_37_28_ n_n343 [147] [167] n_n257 p_395_1392_
000-1 1
01-01 1
0-001 1
001-0 1
01-10 1
.names p_94_73_ p_452_190_ p_173_389_
11 1
.names p_661_196_ p_2106_222_ p_7_6_ p_217_423_
0-- 1
-0- 1
--0 1
.names n_n423 n_n424 [73] n_n397 n_n398 p_229_1180_
1111- 1
0011- 1
0101- 1
1001- 1
111-1 1
001-1 1
010-1 1
100-1 1
01100 1
10100 1
11000 1
00000 1
.names p_112_87_ p_100_77_ p_2105_221_ p_2104_220_ [1688] p_162_612_
---01 1
00--1 1
0-1-1 1
-00-1 1
.names p_2096_218_ p_2100_219_ n_n432 n_n428 [75] p_227_1179_
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 p_57_42_ p_237_309_
0 1
.names p_661_196_ p_36_27_ p_483_191_ [136] [135] p_176_803_
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names p_61_44_ p_651_195_ p_73_54_ p_543_192_ [1686] p_305_702_
----0 1
-111- 1
11-0- 1
.names p_60_43_ p_651_195_ p_72_53_ p_543_192_ [1678] p_290_704_
----0 1
-111- 1
11-0- 1
.names n_n202 n_n512 [92] [1803] p_329_1414_
11-- 1
01-- 1
0-1- 1
1--0 1
0--0 1
.names p_51_36_ p_651_195_ p_63_46_ p_543_192_ [1692] p_286_696_
----0 1
10-1- 1
-110- 1
.names n_n451 n_n452 [76] [65] [1811] p_401_1276_
---11 1
111-1 1
001-1 1
010-1 1
100-1 1
.names p_108_85_ p_238_304_
0 1
.names p_132_105_ p_96_75_ p_44_31_ p_82_63_ [123] p_325_507_
11111 1
.names p_132_105_ p_219_302_
0 1
.names p_651_195_ p_62_45_ p_75_56_ p_543_192_ [1694] p_166_625_
0---1 1
-00-1 1
--011 1
-0-01 1
.names p_661_196_ p_567_194_ p_7_6_ p_234_376_
0-- 1
-0- 1
--0 1
.names p_37_28_ n_n286 n_n281 n_n257 [1815] p_308_1425_
1---1 1
-1-11 1
--111 1
-0001 1
.names p_37_28_ n_n286 n_n281 n_n257 [1815] p_225_1424_
----0 1
01-0- 1
0-10- 1
0001- 1
.names p_79_60_ p_66_49_ p_651_195_ p_543_192_ [1664] n_n411
--0-1 1
00--1 1
0--11 1
-0-01 1
.names p_868_198_ [1661] [1662] [1663] [1664] n_n843
10--- 1
1-0-- 1
0--0- 1
0---0 1
.names p_25_18_ p_29_22_ p_1991_210_ [1669] [1670] n_n365
101-- 1
-110- 1
-11-0 1
.names p_29_22_ p_2078_215_ p_27_20_ [1671] [1672] n_n340
000-- 1
10-11 1
-0011 1
.names p_16_11_ p_20_13_ p_1956_203_ [1673] [1674] n_n329
000-- 1
1-011 1
-0011 1
.names p_29_22_ p_33_24_ p_2072_214_ [1675] [1676] n_n339
000-- 1
1-011 1
-0011 1
.names p_24_17_ p_1986_209_ p_16_11_ [1677] [1678] n_n364
110-- 1
-110- 1
-11-0 1
.names p_19_12_ p_16_11_ p_1341_200_ [1667] [1668] n_n356
101-- 1
-110- 1
-11-0 1
.names p_29_22_ p_34_25_ p_2084_216_ [1679] [1680] n_n341
000-- 1
1-011 1
-0011 1
.names p_1961_204_ p_16_11_ p_5_4_ [1661] [1662] n_n330
000-- 1
01-11 1
0-011 1
.names p_29_22_ p_26_19_ p_2067_213_ [1681] [1682] n_n338
000-- 1
1-011 1
-0011 1
.names p_29_22_ p_32_23_ p_1996_211_ [1683] [1684] n_n367
011-- 1
1-10- 1
1-1-0 1
.names p_1981_208_ p_16_11_ p_6_5_ [1685] [1686] n_n363
101-- 1
11-0- 1
11--0 1
.names p_2090_217_ p_29_22_ p_35_26_ [1687] [1688] n_n342
000-- 1
01-11 1
0-011 1
.names p_19_12_ p_16_11_ p_1341_200_ [1667] [1668] n_n327
000-- 1
0-011 1
-1011 1
.names p_29_22_ p_32_23_ p_1996_211_ [1683] [1684] n_n337
000-- 1
1-011 1
-0011 1
.names p_29_22_ p_26_19_ p_2067_213_ [1681] [1682] n_n368
011-- 1
1-10- 1
1-1-0 1
.names p_23_16_ p_16_11_ p_1976_207_ n_n406 n_n362
101- 1
-110 1
.names p_4_3_ p_16_11_ p_1348_201_ [1663] [1664] n_n328
000-- 1
0-011 1
-1011 1
.names p_29_22_ p_33_24_ p_2072_214_ [1675] [1676] n_n369
011-- 1
1-10- 1
1-1-0 1
.names p_29_22_ p_34_25_ p_2084_216_ [1679] [1680] n_n371
011-- 1
1-10- 1
1-1-0 1
.names p_1961_204_ p_16_11_ p_5_4_ [1661] [1662] n_n359
101-- 1
11-0- 1
11--0 1
.names p_29_22_ p_2078_215_ p_27_20_ [1671] [1672] n_n370
011-- 1
11-0- 1
11--0 1
.names p_2090_217_ p_29_22_ p_35_26_ [1687] [1688] n_n372
101-- 1
11-0- 1
11--0 1
.names p_4_3_ p_16_11_ p_1348_201_ [1663] [1664] n_n357
101-- 1
-110- 1
-11-0 1
.names p_21_14_ p_16_11_ p_1966_205_ [1691] [1692] n_n331
000-- 1
0-011 1
-1011 1
.names p_16_11_ p_20_13_ p_1956_203_ [1673] [1674] n_n358
011-- 1
1-10- 1
1-1-0 1
.names p_22_15_ p_16_11_ p_1971_206_ [1693] [1694] n_n332
000-- 1
0-011 1
-1011 1
.names p_25_18_ p_29_22_ p_1991_210_ [1669] [1670] n_n336
000-- 1
0-011 1
-1011 1
.names p_24_17_ p_1986_209_ p_16_11_ [1677] [1678] n_n335
000-- 1
00-11 1
-0111 1
.names p_22_15_ p_16_11_ p_1971_206_ [1693] [1694] n_n361
101-- 1
-110- 1
-11-0 1
.names p_1981_208_ p_16_11_ p_6_5_ [1685] [1686] n_n334
000-- 1
01-11 1
0-011 1
.names p_21_14_ p_16_11_ p_1966_205_ [1691] [1692] n_n360
101-- 1
-110- 1
-11-0 1
.names p_23_16_ p_16_11_ p_1976_207_ n_n406 n_n333
000- 1
0-01 1
-101 1
.names p_53_38_ p_651_195_ p_65_48_ p_543_192_ [1674] n_n410
00--1 1
0-0-1 1
-10-1 1
0--11 1
-1-11 1
-0-01 1
--001 1
.names p_651_195_ p_87_66_ p_74_55_ p_543_192_ p_49_34_ n_n406
1-01- 1
00-0- 1
00--0 1
0--10 1
--010 1
.names p_132_105_ p_96_75_ p_2106_222_ p_44_31_ p_82_63_ [136]
--0-- 1
11-11 1
.names p_69_52_ p_120_95_ p_567_194_ p_57_42_ p_108_85_ [135]
--0-- 1
11-11 1
.names p_868_198_ [1673] [1674] [1691] [1692] n_n842
00--- 1
0-0-- 1
1--0- 1
1---0 1
.names p_868_198_ n_n236 [124] [1665] [1666] n_n484
0--0- 1
0---0 1
101-- 1
110-- 1
.names p_868_198_ [292] [1667] [1668] n_n781
-1-- 1
0-0- 1
0--0 1
.names p_60_43_ p_651_195_ p_72_53_ p_543_192_ [1678] n_n404
-0--1 1
0-0-1 1
--011 1
0--01 1
.names n_n491 n_n208 n_n496 [1787] [1792] n_n202
010-1 1
0-001 1
.names p_2435_225_ p_2438_226_ n_n452 [76] [65] [141]
----1 1
1111- 1
0011- 1
0101- 1
1001- 1
0110- 1
1010- 1
1100- 1
0000- 1
.names p_69_52_ p_120_95_ p_57_42_ p_108_85_ [123]
1111 1
.names p_1961_204_ p_1966_205_ n_n423
11 1
00 1
.names p_1976_207_ p_1971_206_ n_n424
11 1
00 1
.names p_2474_231_ p_1956_203_ [73]
01 1
10 1
.names p_135_106_ p_99_76_ p_2105_221_ p_2104_220_ [1696] n_n343
----0 1
-101- 1
1-00- 1
.names [1679] [1680] [1687] [1688] [147]
0-0- 1
-00- 1
0--0 1
-0-0 1
1111 1
.names [147] [1695] [1696] n_n286
111 1
.names p_119_94_ p_95_74_ p_2105_221_ p_2104_220_ [1670] n_n413
00--1 1
0-1-1 1
-00-1 1
-0-11 1
--111 1
0--01 1
--001 1
.names p_2100_219_ p_2105_221_ p_2104_220_ [149]
011 1
001 1
010 1
000 1
.names [1663] [1664] [1673] [1674] n_n280
0-0- 1
-00- 1
0--0 1
-0-0 1
1111 1
.names [1665] [1666] [1667] [1668] n_n296
0-0- 1
-00- 1
0--0 1
-0-0 1
1111 1
.names [1661] [1662] [1691] [1692] [74]
110- 1
0-11 1
-011 1
11-0 1
.names p_1981_208_ p_8_7_ n_n889 n_n636
010 1
.names p_8_7_ n_n889 [1685] [1686] [117]
100- 1
10-0 1
.names p_1981_208_ p_8_7_ n_n889 [1685] [1686] n_n226
1100- 1
110-0 1
01011 1
.names n_n226 n_n225 [253] [1779] n_n491
0011 1
.names n_n411 n_n410 [78] [81] [1783] n_n208
-0-0- 1
000-- 1
0-00- 1
00--0 1
-00-0 1
0--00 1
--000 1
.names p_2067_213_ p_1348_201_ n_n889 [78]
0-1 1
-00 1
.names [1677] [1678] [1685] [1686] n_n275
0-0- 1
-00- 1
0--0 1
-0-0 1
1111 1
.names p_1986_209_ p_1981_208_ p_1996_211_ p_1991_210_ n_n397
0111 1
1011 1
0100 1
1000 1
.names p_128_101_ p_104_81_ p_2105_221_ p_2104_220_ [1682] n_n419
00--1 1
0-1-1 1
-00-1 1
-0-11 1
--111 1
0--01 1
--001 1
.names p_2678_232_ p_2067_213_ n_n432
11 1
00 1
.names p_2090_217_ p_2084_216_ n_n428
11 1
00 1
.names p_2078_215_ p_2072_214_ [75]
01 1
10 1
.names p_559_193_ n_n280 n_n296 [1663] [1664] n_n236
101-- 1
110-- 1
-010- 1
-100- 1
-01-0 1
-10-0 1
01111 1
00011 1
.names p_8_7_ p_1976_207_ n_n406 n_n889 n_n225
1010 1
1100 1
.names n_n234 [64] [256] [1798] n_n512
0111 1
.names [1671] [1672] [1675] [1676] n_n322
0-0- 1
-00- 1
0--0 1
-0-0 1
1111 1
.names [1669] [1670] [1751] [1752] n_n324
0-0- 1
-00- 1
0--0 1
-0-0 1
1111 1
.names [1681] [1682] [1683] [1684] [77]
110- 1
0-11 1
-011 1
11-0 1
.names [1679] [1680] [1687] [1688] [167]
110- 1
0-11 1
-011 1
11-0 1
.names [167] [1695] [1696] n_n281
10- 1
1-0 1
.names p_8_7_ n_n406 n_n889 n_n666
100 1
.names p_2067_213_ n_n889 [252] [1795] n_n638
0011 1
.names n_n322 n_n324 [77] n_n257
011 1
101 1
110 1
000 1
.names p_1996_211_ n_n889 [252] [1795] n_n641
0011 1
.names p_8_7_ p_2084_216_ p_1966_205_ p_168_623_ n_n889 n_n209
1110- 1
10-11 1
11-01 1
1-010 1
1-100 1
.names p_1961_204_ p_2078_215_ n_n889 [1661] [1662] [190]
-010- 1
0-00- 1
-01-0 1
0-0-0 1
11-11 1
-1111 1
1-011 1
.names n_n226 n_n225 n_n209 [253] [1788] n_n496
00011 1
.names p_2067_213_ n_n419 n_n889 [252] [1795] n_n234
01011 1
10011 1
.names p_1996_211_ n_n889 n_n420 [252] [1795] [64]
-1--- 1
---0- 1
----0 1
1-1-- 1
00011 1
.names [1671] [1672] [1679] [1680] [1774] n_n889
0-111 1
-0111 1
.names n_n889 [252] [1683] [1684] [1795] n_n681
010-1 1
01-01 1
.names p_2435_225_ p_2438_226_ n_n451
11 1
00 1
.names p_2443_227_ p_2446_228_ n_n452
11 1
00 1
.names p_2430_224_ p_2427_223_ [76]
01 1
10 1
.names p_117_92_ p_2105_221_ p_2104_220_ p_105_82_ [1684] n_n420
--0-1 1
01--1 1
0--01 1
-0-01 1
.names p_1986_209_ p_1981_208_ p_1996_211_ p_1991_210_ n_n398
1101 1
0001 1
1110 1
0010 1
.names n_n280 n_n296 [74] n_n231
011 1
101 1
110 1
000 1
.names p_8_7_ p_1976_207_ n_n889 [128]
100 1
.names n_n406 n_n275 [1693] [1694] [124]
010- 1
100- 1
01-0 1
10-0 1
1111 1
0011 1
.names n_n889 [252] [1681] [1682] [1795] [130]
010-1 1
01-01 1
.names p_1956_203_ p_2072_214_ n_n889 [81]
-01 1
0-0 1
.names p_1384_202_ [1671] [1672] [252]
1-- 1
-11 1
.names p_2090_217_ p_8_7_ p_1971_206_ p_166_625_ n_n889 [253]
-0--- 1
1-11- 1
1--11 1
--110 1
01-01 1
-1000 1
.names p_1991_210_ n_n413 n_n889 [252] [1795] [256]
--1-- 1
---0- 1
----0 1
11--- 1
00011 1
.names p_559_193_ [1663] [1664] [1667] [1668] [133]
-0-11 1
--011 1
1110- 1
111-0 1
01111 1
.names p_1986_209_ n_n404 n_n889 [252] [1795] [140]
--1-- 1
---0- 1
----0 1
11--- 1
00011 1
.names n_n843 p_284_847_
1 1
.names p_1083_199_ p_367_288_
1 1
.names p_2066_212_ p_384_262_
1 1
.names n_n843 p_321_848_
1 1
.names p_452_190_ p_350_301_
1 1
.names p_1083_199_ p_369_289_
1 1
.names p_2066_212_ p_411_264_
1 1
.names n_n842 p_297_849_
1 1
.names p_2066_212_ p_337_263_
1 1
.names n_n484 p_331_1401_
1 1
.names p_452_190_ p_391_379_
1 1
.names n_n781 p_282_922_
1 1
.names n_n842 p_280_850_
1 1
.names p_452_190_ p_335_299_
1 1
.names n_n484 p_295_1400_
1 1
.names n_n781 p_323_923_
1 1
.names p_452_190_ p_409_298_
1 1
.names p_2454_230_ p_2451_229_ p_1341_200_ p_1348_201_ [65]
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names n_n234 [64] [256] [140] [92]
0111 1
.names p_559_193_ p_868_198_ [1663] [1664] [292]
11-- 1
-10- 1
-1-0 1
.names p_52_37_ p_90_69_ p_651_195_ p_543_192_ [1661]
--1- 1
00-- 1
0--1 1
-0-0 1
.names p_651_195_ p_64_47_ p_543_192_ p_77_58_ [1662]
0--- 1
-00- 1
-0-0 1
--10 1
.names p_79_60_ p_66_49_ p_651_195_ p_543_192_ [1663]
--0- 1
00-- 1
0--1 1
-0-0 1
.names p_54_39_ p_651_195_ p_92_71_ p_543_192_ [1664]
-1-- 1
0-0- 1
0--1 1
--00 1
.names p_93_72_ p_651_195_ p_67_50_ p_543_192_ [1665]
---1 1
00-- 1
0-0- 1
-10- 1
.names p_651_195_ p_80_61_ p_55_40_ p_543_192_ [1666]
---0 1
10-- 1
0-0- 1
-00- 1
.names p_651_195_ p_68_51_ p_56_41_ p_543_192_ [1667]
0--- 1
-00- 1
-0-1 1
--00 1
.names p_651_195_ p_81_62_ p_43_30_ p_543_192_ [1668]
1--- 1
-00- 1
--01 1
-0-0 1
.names p_119_94_ p_95_74_ p_2105_221_ p_2104_220_ [1669]
00-- 1
0-1- 1
-00- 1
-0-1 1
--11 1
0--0 1
--00 1
.names p_107_84_ p_2105_221_ p_2104_220_ p_131_104_ [1670]
01-- 1
0-1- 1
-01- 1
-10- 1
0--0 1
-0-0 1
--00 1
.names p_126_99_ p_102_79_ p_2105_221_ p_2104_220_ [1671]
00-- 1
0-1- 1
-00- 1
-0-1 1
--11 1
0--0 1
--00 1
.names p_2105_221_ p_2104_220_ p_114_89_ p_138_109_ [1672]
01-- 1
10-- 1
1-0- 1
-10- 1
0--0 1
-0-0 1
--00 1
.names p_53_38_ p_651_195_ p_65_48_ p_543_192_ [1673]
00-- 1
0-0- 1
-10- 1
0--1 1
-1-1 1
-0-0 1
--00 1
.names p_651_195_ p_91_70_ p_543_192_ p_78_59_ [1674]
00-- 1
0-1- 1
1-0- 1
-00- 1
1--0 1
-0-0 1
--10 1
.names p_127_100_ p_103_80_ p_2105_221_ p_2104_220_ [1675]
00-- 1
0-1- 1
-00- 1
-0-1 1
--11 1
0--0 1
--00 1
.names p_2105_221_ p_2104_220_ p_115_90_ p_139_110_ [1676]
01-- 1
10-- 1
1-0- 1
-10- 1
0--0 1
-0-0 1
--00 1
.names p_60_43_ p_651_195_ p_72_53_ p_543_192_ [1677]
-0-- 1
0-0- 1
--01 1
0--0 1
.names p_651_195_ p_85_64_ p_47_32_ p_543_192_ [1678]
1--- 1
-00- 1
--01 1
-0-0 1
.names p_113_88_ p_125_98_ p_2105_221_ p_2104_220_ [1679]
--0- 1
00-- 1
0--1 1
-0-0 1
.names p_137_108_ p_2105_221_ p_2104_220_ p_101_78_ [1680]
-1-- 1
0-0- 1
0--0 1
--10 1
.names p_128_101_ p_104_81_ p_2105_221_ p_2104_220_ [1681]
00-- 1
0-1- 1
-00- 1
-0-1 1
--11 1
0--0 1
--00 1
.names p_116_91_ p_140_111_ p_2105_221_ p_2104_220_ [1682]
00-- 1
0-1- 1
-00- 1
0--1 1
--01 1
-0-0 1
--10 1
.names p_117_92_ p_2105_221_ p_2104_220_ p_105_82_ [1683]
--0- 1
01-- 1
0--0 1
-0-0 1
.names p_2105_221_ p_2104_220_ p_141_112_ p_129_102_ [1684]
-1-- 1
0-0- 1
1--0 1
--00 1
.names p_61_44_ p_651_195_ p_73_54_ p_543_192_ [1685]
-0-- 1
0-0- 1
--01 1
0--0 1
.names p_651_195_ p_86_65_ p_48_33_ p_543_192_ [1686]
1--- 1
-00- 1
--01 1
-0-0 1
.names p_112_87_ p_100_77_ p_2105_221_ p_2104_220_ [1687]
---0 1
00-- 1
0-1- 1
-00- 1
.names p_136_107_ p_2105_221_ p_2104_220_ p_124_97_ [1688]
--1- 1
00-- 1
0--0 1
-1-0 1
.names p_51_36_ p_651_195_ p_63_46_ p_543_192_ [1691]
00-- 1
0-0- 1
-10- 1
0--1 1
-1-1 1
-0-0 1
--00 1
.names p_651_195_ p_89_68_ p_76_57_ p_543_192_ [1692]
00-- 1
1-0- 1
-00- 1
0--1 1
--01 1
1--0 1
-0-0 1
.names p_651_195_ p_62_45_ p_75_56_ p_543_192_ [1693]
0--- 1
-00- 1
--01 1
-0-0 1
.names p_651_195_ p_88_67_ p_543_192_ p_50_35_ [1694]
1--- 1
-00- 1
-0-0 1
--10 1
.names p_135_106_ p_99_76_ p_2105_221_ p_2104_220_ [1695]
--1- 1
00-- 1
-0-1 1
0--0 1
.names p_123_96_ p_2105_221_ p_2104_220_ p_111_86_ [1696]
-0-- 1
0-0- 1
0--0 1
--10 1
.names p_28_21_ p_29_22_ p_11_8_ [1695] [1696] [1697]
101-- 1
-110- 1
-11-0 1
.names n_n356 n_n367 n_n363 n_n368 [1715]
0000 1
.names n_n362 n_n369 n_n371 n_n359 [1716]
0000 1
.names n_n370 n_n372 n_n357 n_n358 [1717]
0000 1
.names n_n340 n_n361 n_n360 [1697] [1718]
0001 1
.names n_n329 n_n339 n_n341 n_n330 [1719]
0000 1
.names n_n338 n_n342 n_n327 n_n337 [1720]
0000 1
.names n_n328 n_n331 n_n332 n_n336 [1721]
0000 1
.names n_n365 n_n364 n_n335 n_n334 n_n333 [1722]
00000 1
.names [1719] [1720] [1721] [1722] [1728]
1111 1
.names p_483_191_ p_661_196_ [1733]
11 1
.names p_142_113_ p_106_83_ p_2105_221_ p_2104_220_ [1751]
--1- 1
00-- 1
-0-1 1
0--0 1
.names p_130_103_ p_2105_221_ p_2104_220_ p_118_93_ [1752]
-0-- 1
0-0- 1
0--0 1
--10 1
.names p_40_29_ p_1384_202_ [1774]
10 1
.names p_8_7_ p_2084_216_ p_1966_205_ p_168_623_ n_n889 [1779]
10-11 1
1-010 1
.names p_2090_217_ p_8_7_ p_1971_206_ p_166_625_ n_n889 [1780]
01-11 1
-1010 1
.names p_1996_211_ p_1341_200_ n_n889 [1667] [1668] [1783]
0-111 1
-0011 1
.names n_n226 n_n225 n_n209 [190] [253] [1787]
00011 1
.names p_1961_204_ p_2078_215_ n_n889 [1661] [1662] [1788]
-0111 1
0-011 1
.names n_n636 [117] n_n666 [128] [1780] [1792]
01--- 1
0-10- 1
-110- 1
0-1-0 1
-11-0 1
0--00 1
-1-00 1
.names p_40_29_ [1679] [1680] [1795]
111 1
.names p_1986_209_ n_n404 n_n889 [252] [1795] [1798]
01011 1
.names p_1991_210_ n_n413 n_n889 [252] [1795] [1799]
01011 1
.names n_n638 n_n641 n_n681 [130] [1799] [1803]
0--1- 1
001-- 1
-011- 1
00--0 1
0-1-0 1
-0-10 1
--110 1
.names p_2454_230_ p_2451_229_ p_1341_200_ p_1348_201_ [1810]
1111 1
0011 1
0101 1
1001 1
0110 1
1010 1
1100 1
0000 1
.names p_14_9_ n_n451 n_n452 [76] [1810] [1811]
1---0 1
1011- 1
1101- 1
1110- 1
1000- 1
.names p_319_656_ p_229_1180_ p_227_1179_ [141] [1811] [1814]
1000- 1
100-0 1
.names p_37_28_ n_n231 [124] [1814] [1815]
1--1 1
-011 1
-101 1
.end