| .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 |
