diff options
Diffstat (limited to 'examples/C2670.blif')
| -rw-r--r-- | examples/C2670.blif | 2395 |
1 files changed, 0 insertions, 2395 deletions
diff --git a/examples/C2670.blif b/examples/C2670.blif deleted file mode 100644 index d8116b93..00000000 --- a/examples/C2670.blif +++ /dev/null @@ -1,2395 +0,0 @@ - - -# ATPG -- Automatic Test Pattern Generation for -# Combinational Circuits -# ATPG, Version 1.0, 4/29/86, Author: Ruey-sing Wei and Tony Ma -.model C2670.iscas -.inputs 1(0) 2(1) 3(2) 4(3) 5(4) 6(5) 7(6) 8(7) 11(8) 14(9) 15(10) 16(11) 19(12) 20(13) 21(14) 22(15) 23(16) 24(17) 25(18) 26(19) 27(20) 28(21) 29(22) 32(23) 33(24) 34(25) 35(26) 36(27) 37(28) 40(29) 43(30) 44(31) 47(32) 48(33) 49(34) 50(35) 51(36) 52(37) 53(38) 54(39) 55(40) 56(41) 57(42) 60(43) 61(44) 62(45) 63(46) 64(47) 65(48) 66(49) 67(50) 68(51) 69(52) 72(53) 73(54) 74(55) 75(56) 76(57) 77(58) 78(59) 79(60) 80(61) 81(62) 82(63) 85(64) 86(65) 87(66) 88(67) 89(68) 90(69) 91(70) 92(71) 93(72) 94(73) 95(74) 96(75) 99(76) 100(77) 101(78) 102(79) 103(80) 104(81) 105(82) 106(83) 107(84) 108(85) 111(86) 112(87) 113(88) 114(89) 115(90) 116(91) 117(92) 118(93) 119(94) 120(95) 123(96) 124(97) 125(98) 126(99) 127(100) 128(101) 129(102) 130(103) 131(104) 132(105) 135(106) 136(107) 137(108) 138(109) 139(110) 140(111) 141(112) 142(113) 169(114) 174(115) 177(116) 178(117) 179(118) 180(119) 181(120) 182(121) 183(122) 184(123) 185(124) 186(125) 189(126) 190(127) 191(128) 192(129) 193(130) 194(131) 195(132) 196(133) 197(134) 198(135) 199(136) 200(137) 201(138) 202(139) 203(140) 204(141) 205(142) 206(143) 207(144) 208(145) 209(146) 210(147) 211(148) 212(149) 213(150) 214(151) 215(152) 239(153) 240(154) 241(155) 242(156) 243(157) 244(158) 245(159) 246(160) 247(161) 248(162) 249(163) 250(164) 251(165) 252(166) 253(167) 254(168) 255(169) 256(170) 257(171) 262(172) 263(173) 264(174) 265(175) 266(176) 267(177) 268(178) 269(179) 270(180) 271(181) 272(182) 273(183) 274(184) 275(185) 276(186) 277(187) 278(188) 279(189) 452(190) 483(191) 543(192) 559(193) 567(194) 651(195) 661(196) 860(197) 868(198) 1083(199) 1341(200) 1348(201) 1384(202) 1956(203) 1961(204) 1966(205) 1971(206) 1976(207) 1981(208) 1986(209) 1991(210) 1996(211) 2066(212) 2067(213) 2072(214) 2078(215) 2084(216) 2090(217) 2096(218) 2100(219) 2104(220) 2105(221) 2106(222) 2427(223) 2430(224) 2435(225) 2438(226) 2443(227) 2446(228) 2451(229) 2454(230) 2474(231) 2678(232) -.outputs 169(114) 174(115) 177(116) 178(117) 179(118) 180(119) 181(120) 182(121) 183(122) 184(123) 185(124) 186(125) 189(126) 190(127) 191(128) 192(129) 193(130) 194(131) 195(132) 196(133) 197(134) 198(135) 199(136) 200(137) 201(138) 202(139) 203(140) 204(141) 205(142) 206(143) 207(144) 208(145) 209(146) 210(147) 211(148) 212(149) 213(150) 214(151) 215(152) 239(153) 240(154) 241(155) 242(156) 243(157) 244(158) 245(159) 246(160) 247(161) 248(162) 249(163) 250(164) 251(165) 252(166) 253(167) 254(168) 255(169) 256(170) 257(171) 262(172) 263(173) 264(174) 265(175) 266(176) 267(177) 268(178) 269(179) 270(180) 271(181) 272(182) 273(183) 274(184) 275(185) 276(186) 277(187) 278(188) 279(189) 350(301) 335(299) 409(298) 369(289) 367(288) 411(264) 337(263) 384(262) 218(311) 219(302) 220(306) 221(305) 235(307) 236(303) 237(309) 238(304) 158(349) 259(414) 391(379) 173(389) 223(413) 234(376) 217(423) 325(507) 261(506) 319(656) 160(609) 162(612) 164(607) 166(625) 168(623) 171(621) 153(671) 176(803) 188(761) 299(692) 301(694) 286(696) 303(698) 288(700) 305(702) 290(704) 284(847) 321(848) 297(849) 280(850) 148(851) 282(922) 323(923) 156(1046) 401(1276) 227(1179) 229(1180) 311(1278) 150(1277) 145(1358) 395(1392) 295(1400) 331(1401) 397(1406) 329(1414) 231(1422) 308(1425) 225(1424) -.names 2678(232) 2682(233) -1 0 -.names 2474(231) 2478(234) -1 0 -.names 2454(230) 2458(235) -1 0 -.names 2451(229) 2457(236) -1 0 -.names 2446(228) 2450(237) -1 0 -.names 2443(227) 2449(238) -1 0 -.names 2438(226) 2442(239) -1 0 -.names 2435(225) 2441(240) -1 0 -.names 2430(224) 2434(241) -1 0 -.names 2427(223) 2433(242) -1 0 -.names 2105(221) 1655(243) -1 1 -.names 2105(221) 1418(244) -1 1 -.names 2104(220) 1631(245) -1 1 -.names 2104(220) 1394(246) -1 1 -.names 2100(219) 2103(247) -1 0 -.names 2100(219) 2699(248) -1 1 -.names 2096(218) 2099(249) -1 0 -.names 2096(218) 2702(250) -1 1 -.names 2090(217) 2094(251) -1 0 -.names 2090(217) 2691(252) -1 1 -.names 2084(216) 2088(253) -1 0 -.names 2084(216) 2694(254) -1 1 -.names 2078(215) 2082(255) -1 0 -.names 2078(215) 2683(256) -1 1 -.names 2072(214) 2076(257) -1 0 -.names 2072(214) 2686(258) -1 1 -.names 2090(217) 2084(216) 2078(215) 2072(214) 157(259) -1111 1 -.names 2067(213) 2070(260) -1 0 -.names 2067(213) 2675(261) -1 1 -.names 2066(212) 384(262) -1 1 -.names 2066(212) 337(263) -1 1 -.names 2066(212) 411(264) -1 1 -.names 1996(211) 1999(265) -1 0 -.names 1996(211) 2505(266) -1 1 -.names 1991(210) 1994(267) -1 0 -.names 1991(210) 2508(268) -1 1 -.names 1986(209) 1989(269) -1 0 -.names 1986(209) 2495(270) -1 1 -.names 1981(208) 1984(271) -1 0 -.names 1981(208) 2498(272) -1 1 -.names 1976(207) 1979(273) -1 0 -.names 1976(207) 2487(274) -1 1 -.names 1971(206) 1974(275) -1 0 -.names 1971(206) 2490(276) -1 1 -.names 1966(205) 1969(277) -1 0 -.names 1966(205) 2479(278) -1 1 -.names 1961(204) 1964(279) -1 0 -.names 1961(204) 2482(280) -1 1 -.names 1956(203) 1959(281) -1 0 -.names 1956(203) 2471(282) -1 1 -.names 1384(202) 1385(283) -1 0 -.names 1348(201) 1351(284) -1 0 -.names 1348(201) 2461(285) -1 1 -.names 1341(200) 1344(286) -1 0 -.names 1341(200) 2464(287) -1 1 -.names 1083(199) 367(288) -1 1 -.names 1083(199) 369(289) -1 1 -.names 868(198) 875(290) -1 0 -.names 860(197) 865(291) -1 0 -.names 661(196) 480(292) -1 1 -.names 651(195) 1284(293) -1 1 -.names 651(195) 795(294) -1 1 -.names 559(193) 560(295) -1 0 -.names 543(192) 1261(296) -1 1 -.names 543(192) 772(297) -1 1 -.names 452(190) 409(298) -1 1 -.names 452(190) 335(299) -1 1 -.names 452(190) 654(300) -1 1 -.names 452(190) 350(301) -1 1 -.names 132(105) 219(302) -1 0 -.names 120(95) 236(303) -1 0 -.names 108(85) 238(304) -1 0 -.names 96(75) 221(305) -1 0 -.names 82(63) 220(306) -1 0 -.names 69(52) 235(307) -1 0 -.names 120(95) 57(42) 108(85) 69(52) 1254(308) -1111 1 -.names 57(42) 237(309) -1 0 -.names 132(105) 82(63) 96(75) 44(31) 1251(310) -1111 1 -.names 44(31) 218(311) -1 0 -.names 37(28) 37(28) 486(312) -11 1 -.names 29(22) 2012(313) -1 1 -.names 29(22) 2001(314) -1 1 -.names 16(11) 1721(315) -1 1 -.names 16(11) 1710(316) -1 1 -.names 11(8) 868(198) 882(317) -11 1 -.names 8(7) 658(318) -1 1 -.names 8(7) 655(319) -1 1 -.names 7(6) 661(196) 1955(320) -11 1 -.names 2(1) 15(10) 661(196) 258(321) -111 1 -.names 1(0) 3(2) 546(322) -11 1 -.names 2675(261) 2682(233) 1776(323) -11 0 -.names 2471(282) 2478(234) 1499(324) -11 0 -.names 2454(230) 2457(236) 2459(325) -11 0 -.names 2451(229) 2458(235) 2460(326) -11 0 -.names 2446(228) 2449(238) 1493(327) -11 0 -.names 2443(227) 2450(237) 1494(328) -11 0 -.names 2438(226) 2441(240) 1484(329) -11 0 -.names 2435(225) 2442(239) 1485(330) -11 0 -.names 2430(224) 2433(242) 1475(331) -11 0 -.names 2427(223) 2434(241) 1476(332) -11 0 -.names 2106(222) 1955(320) 216(333) -11 1 -.names 1655(243) 1667(334) -1 0 -.names 1394(246) 1418(244) 1460(335) -11 1 -.names 1418(244) 1430(336) -1 0 -.names 1631(245) 1643(337) -1 0 -.names 1394(246) 1406(338) -1 0 -.names 2699(248) 2705(339) -1 0 -.names 2702(250) 2706(340) -1 0 -.names 2094(251) 2775(341) -1 1 -.names 2691(252) 2697(342) -1 0 -.names 2088(253) 2767(343) -1 1 -.names 2694(254) 2698(344) -1 0 -.names 2082(255) 2759(345) -1 1 -.names 2683(256) 2689(346) -1 0 -.names 2076(257) 2751(347) -1 1 -.names 2686(258) 2690(348) -1 0 -.names 157(259) 158(349) -1 0 -.names 2070(260) 2743(350) -1 1 -.names 2675(261) 2681(351) -1 0 -.names 1999(265) 2735(352) -1 1 -.names 2505(266) 2511(353) -1 0 -.names 1994(267) 2623(354) -1 1 -.names 2508(268) 2512(355) -1 0 -.names 1989(269) 2615(356) -1 1 -.names 2495(270) 2501(357) -1 0 -.names 1984(271) 2607(358) -1 1 -.names 2498(272) 2502(359) -1 0 -.names 1979(273) 2599(360) -1 1 -.names 2487(274) 2493(361) -1 0 -.names 1974(275) 2591(362) -1 1 -.names 2490(276) 2494(363) -1 0 -.names 1969(277) 2583(364) -1 1 -.names 2479(278) 2485(365) -1 0 -.names 1964(279) 2575(366) -1 1 -.names 2482(280) 2486(367) -1 0 -.names 1959(281) 2567(368) -1 1 -.names 2471(282) 2477(369) -1 0 -.names 1351(284) 2559(370) -1 1 -.names 2461(285) 2467(371) -1 0 -.names 1344(286) 2551(372) -1 1 -.names 2464(287) 2468(373) -1 0 -.names 1284(293) 1296(374) -1 0 -.names 795(294) 807(375) -1 0 -.names 567(194) 1955(320) 234(376) -11 0 -.names 1261(296) 1273(377) -1 0 -.names 772(297) 784(378) -1 0 -.names 654(300) 391(379) -1 1 -.names 118(93) 1631(245) 1655(243) 1681(380) -111 1 -.names 117(92) 1631(245) 1655(243) 1689(381) -111 1 -.names 116(91) 1631(245) 1655(243) 1693(382) -111 1 -.names 115(90) 1631(245) 1655(243) 1697(383) -111 1 -.names 114(89) 1394(246) 1418(244) 1444(384) -111 1 -.names 113(88) 1394(246) 1418(244) 1448(385) -111 1 -.names 112(87) 1394(246) 1418(244) 1452(386) -111 1 -.names 111(86) 1394(246) 1418(244) 1456(387) -111 1 -.names 107(84) 1631(245) 1655(243) 1685(388) -111 1 -.names 94(73) 654(300) 173(389) -11 1 -.names 80(61) 772(297) 795(294) 821(390) -111 1 -.names 79(60) 772(297) 795(294) 829(391) -111 1 -.names 78(59) 772(297) 795(294) 833(392) -111 1 -.names 77(58) 772(297) 795(294) 837(393) -111 1 -.names 76(57) 1261(296) 1284(293) 1310(394) -111 1 -.names 75(56) 1261(296) 1284(293) 1314(395) -111 1 -.names 74(55) 1261(296) 1284(293) 1318(396) -111 1 -.names 73(54) 1261(296) 1284(293) 1322(397) -111 1 -.names 72(53) 1261(296) 1284(293) 1326(398) -111 1 -.names 68(51) 772(297) 795(294) 825(399) -111 1 -.names 1254(308) 1251(310) 558(400) -11 1 -.names 1254(308) 1256(401) -1 0 -.names 1251(310) 1253(402) -1 0 -.names 486(312) 487(403) -1 0 -.names 2012(313) 2018(404) -1 0 -.names 2001(314) 2007(405) -1 0 -.names 1721(315) 1728(406) -1 0 -.names 1710(316) 1716(407) -1 0 -.names 11(8) 875(290) 881(408) -11 1 -.names 658(318) 1831(409) -1 1 -.names 658(318) 1893(410) -1 1 -.names 655(319) 748(411) -1 1 -.names 655(319) 994(412) -1 1 -.names 1955(320) 223(413) -1 0 -.names 258(321) 259(414) -1 0 -.names 546(322) 547(415) -1 0 -.names 2678(232) 2681(351) 1775(416) -11 0 -.names 2474(231) 2477(369) 1498(417) -11 0 -.names 2459(325) 2460(326) 2518(418) -11 0 -.names 1493(327) 1494(328) 1495(419) -11 0 -.names 1484(329) 1485(330) 1486(420) -11 0 -.names 1475(331) 1476(332) 1477(421) -11 0 -.names 2106(222) 1253(402) 550(422) -11 1 -.names 216(333) 217(423) -1 0 -.names 1406(338) 1418(244) 1459(424) -11 1 -.names 1406(338) 1430(336) 1457(425) -11 1 -.names 1394(246) 1430(336) 1458(426) -11 1 -.names 2699(248) 2706(340) 2708(427) -11 0 -.names 2702(250) 2705(339) 2707(428) -11 0 -.names 2775(341) 2781(429) -1 0 -.names 2691(252) 2698(344) 1794(430) -11 0 -.names 2767(343) 2773(431) -1 0 -.names 2694(254) 2697(342) 1793(432) -11 0 -.names 2759(345) 2765(433) -1 0 -.names 2683(256) 2690(348) 1785(434) -11 0 -.names 2751(347) 2757(435) -1 0 -.names 2686(258) 2689(346) 1784(436) -11 0 -.names 2743(350) 2749(437) -1 0 -.names 2735(352) 2741(438) -1 0 -.names 2505(266) 2512(355) 2514(439) -11 0 -.names 2623(354) 2629(440) -1 0 -.names 2508(268) 2511(353) 2513(441) -11 0 -.names 2615(356) 2621(442) -1 0 -.names 2495(270) 2502(359) 2504(443) -11 0 -.names 2607(358) 2613(444) -1 0 -.names 2498(272) 2501(357) 2503(445) -11 0 -.names 2599(360) 2605(446) -1 0 -.names 2487(274) 2494(363) 1517(447) -11 0 -.names 2591(362) 2597(448) -1 0 -.names 2490(276) 2493(361) 1516(449) -11 0 -.names 2583(364) 2589(450) -1 0 -.names 2479(278) 2486(367) 1508(451) -11 0 -.names 2575(366) 2581(452) -1 0 -.names 2482(280) 2485(365) 1507(453) -11 0 -.names 2567(368) 2573(454) -1 0 -.names 2559(370) 2565(455) -1 0 -.names 2461(285) 2468(373) 2470(456) -11 0 -.names 2551(372) 2557(457) -1 0 -.names 2464(287) 2467(371) 2469(458) -11 0 -.names 1273(377) 1284(293) 1317(459) -11 1 -.names 567(194) 1256(401) 552(460) -11 1 -.names 142(113) 1643(337) 1667(334) 1678(461) -111 1 -.names 141(112) 1643(337) 1667(334) 1686(462) -111 1 -.names 140(111) 1643(337) 1667(334) 1690(463) -111 1 -.names 139(110) 1643(337) 1667(334) 1694(464) -111 1 -.names 138(109) 1406(338) 1430(336) 1441(465) -111 1 -.names 137(108) 1406(338) 1430(336) 1445(466) -111 1 -.names 136(107) 1406(338) 1430(336) 1449(467) -111 1 -.names 135(106) 1406(338) 1430(336) 1453(468) -111 1 -.names 131(104) 1643(337) 1667(334) 1682(469) -111 1 -.names 130(103) 1643(337) 1655(243) 1680(470) -111 1 -.names 129(102) 1643(337) 1655(243) 1688(471) -111 1 -.names 128(101) 1643(337) 1655(243) 1692(472) -111 1 -.names 127(100) 1643(337) 1655(243) 1696(473) -111 1 -.names 126(99) 1406(338) 1418(244) 1443(474) -111 1 -.names 125(98) 1406(338) 1418(244) 1447(475) -111 1 -.names 124(97) 1406(338) 1418(244) 1451(476) -111 1 -.names 123(96) 1406(338) 1418(244) 1455(477) -111 1 -.names 119(94) 1643(337) 1655(243) 1684(478) -111 1 -.names 106(83) 1631(245) 1667(334) 1679(479) -111 1 -.names 105(82) 1631(245) 1667(334) 1687(480) -111 1 -.names 104(81) 1631(245) 1667(334) 1691(481) -111 1 -.names 103(80) 1631(245) 1667(334) 1695(482) -111 1 -.names 102(79) 1394(246) 1430(336) 1442(483) -111 1 -.names 101(78) 1394(246) 1430(336) 1446(484) -111 1 -.names 100(77) 1394(246) 1430(336) 1450(485) -111 1 -.names 99(76) 1394(246) 1430(336) 1454(486) -111 1 -.names 95(74) 1631(245) 1667(334) 1683(487) -111 1 -.names 93(72) 784(378) 807(375) 818(488) -111 1 -.names 92(71) 784(378) 807(375) 826(489) -111 1 -.names 91(70) 784(378) 807(375) 830(490) -111 1 -.names 90(69) 784(378) 807(375) 834(491) -111 1 -.names 89(68) 1273(377) 1296(374) 1307(492) -111 1 -.names 88(67) 1273(377) 1296(374) 1311(493) -111 1 -.names 87(66) 1273(377) 1296(374) 1315(494) -111 1 -.names 86(65) 1273(377) 1296(374) 1319(495) -111 1 -.names 85(64) 1273(377) 1296(374) 1323(496) -111 1 -.names 81(62) 784(378) 807(375) 822(497) -111 1 -.names 67(50) 784(378) 795(294) 820(498) -111 1 -.names 66(49) 784(378) 795(294) 828(499) -111 1 -.names 65(48) 784(378) 795(294) 832(500) -111 1 -.names 64(47) 784(378) 795(294) 836(501) -111 1 -.names 63(46) 1273(377) 1284(293) 1309(502) -111 1 -.names 62(45) 1273(377) 1284(293) 1313(503) -111 1 -.names 61(44) 1273(377) 1284(293) 1321(504) -111 1 -.names 60(43) 1273(377) 1284(293) 1325(505) -111 1 -.names 558(400) 261(506) -1 0 -.names 558(400) 325(507) -1 1 -.names 56(41) 784(378) 795(294) 824(508) -111 1 -.names 55(40) 772(297) 807(375) 819(509) -111 1 -.names 54(39) 772(297) 807(375) 827(510) -111 1 -.names 53(38) 772(297) 807(375) 831(511) -111 1 -.names 52(37) 772(297) 807(375) 835(512) -111 1 -.names 51(36) 1261(296) 1296(374) 1308(513) -111 1 -.names 50(35) 1261(296) 1296(374) 1312(514) -111 1 -.names 49(34) 1261(296) 1296(374) 1316(515) -111 1 -.names 48(33) 1261(296) 1296(374) 1320(516) -111 1 -.names 47(32) 1261(296) 1296(374) 1324(517) -111 1 -.names 43(30) 772(297) 807(375) 823(518) -111 1 -.names 35(26) 2018(404) 2035(519) -11 1 -.names 34(25) 2018(404) 2033(520) -11 1 -.names 33(24) 2007(405) 2029(521) -11 1 -.names 32(23) 2007(405) 2025(522) -11 1 -.names 28(21) 2018(404) 2037(523) -11 1 -.names 27(20) 2018(404) 2031(524) -11 1 -.names 26(19) 2007(405) 2027(525) -11 1 -.names 25(18) 2007(405) 2023(526) -11 1 -.names 24(17) 1728(406) 1750(527) -11 1 -.names 23(16) 1728(406) 1746(528) -11 1 -.names 22(15) 1728(406) 1744(529) -11 1 -.names 21(14) 1728(406) 1742(530) -11 1 -.names 20(13) 1716(407) 1738(531) -11 1 -.names 19(12) 1716(407) 1734(532) -11 1 -.names 881(408) 882(317) 894(533) -00 0 -.names 6(5) 1728(406) 1748(534) -11 1 -.names 5(4) 1716(407) 1740(535) -11 1 -.names 4(3) 1716(407) 1736(536) -11 1 -.names 1775(416) 1776(323) 1777(537) -11 0 -.names 1498(417) 1499(324) 1500(538) -11 0 -.names 2518(418) 2522(539) -1 0 -.names 1495(419) 1525(540) -1 1 -.names 1495(419) 1521(541) -1 1 -.names 1486(420) 1490(542) -1 0 -.names 1477(421) 1481(543) -1 0 -.names 550(422) 551(544) -1 0 -.names 1457(425) 1458(426) 1459(424) 1460(335) 1473(545) -0000 0 -.names 2707(428) 2708(427) 2730(546) -11 0 -.names 1793(432) 1794(430) 1795(547) -11 0 -.names 1784(436) 1785(434) 1786(548) -11 0 -.names 2513(441) 2514(439) 2525(549) -11 0 -.names 2503(445) 2504(443) 2528(550) -11 0 -.names 1516(449) 1517(447) 1518(551) -11 0 -.names 1507(453) 1508(451) 1509(552) -11 0 -.names 2469(458) 2470(456) 2515(553) -11 0 -.names 552(460) 553(554) -1 0 -.names 1678(461) 1679(479) 1680(470) 1681(380) 2634(555) -0000 0 -.names 1686(462) 1687(480) 1688(471) 1689(381) 1701(556) -0000 0 -.names 1690(463) 1691(481) 1692(472) 1693(382) 1704(557) -0000 0 -.names 1694(464) 1695(482) 1696(473) 1697(383) 1707(558) -0000 0 -.names 1441(465) 1442(483) 1443(474) 1444(384) 1461(559) -0000 0 -.names 1445(466) 1446(484) 1447(475) 1448(385) 1464(560) -0000 0 -.names 1449(467) 1450(485) 1451(476) 1452(386) 1467(561) -0000 0 -.names 1453(468) 1454(486) 1455(477) 1456(387) 1470(562) -0000 0 -.names 1682(469) 1683(487) 1684(478) 1685(388) 1698(563) -0000 0 -.names 818(488) 819(509) 820(498) 821(390) 838(564) -0000 0 -.names 826(489) 827(510) 828(499) 829(391) 846(565) -0000 0 -.names 830(490) 831(511) 832(500) 833(392) 854(566) -0000 0 -.names 834(491) 835(512) 836(501) 837(393) 857(567) -0000 0 -.names 1307(492) 1308(513) 1309(502) 1310(394) 1327(568) -0000 0 -.names 1311(493) 1312(514) 1313(503) 1314(395) 1329(569) -0000 0 -.names 1315(494) 1316(515) 1317(459) 1318(396) 1331(570) -0000 0 -.names 1319(495) 1320(516) 1321(504) 1322(397) 1333(571) -0000 0 -.names 1323(496) 1324(517) 1325(505) 1326(398) 1335(572) -0000 0 -.names 822(497) 823(518) 824(508) 825(399) 841(573) -0000 0 -.names 1777(537) 1781(574) -1 0 -.names 1500(538) 1504(575) -1 0 -.names 2515(553) 2522(539) 2524(576) -11 0 -.names 1490(542) 1481(543) 1525(540) 1541(577) -111 1 -.names 1525(540) 1528(578) -1 0 -.names 1521(541) 1524(579) -1 0 -.names 1486(420) 1477(421) 1521(541) 1538(580) -111 1 -.names 551(544) 553(554) 554(581) -11 1 -.names 1473(545) 2665(582) -1 1 -.names 2103(247) 1473(545) 1218(583) -11 0 -.names 2730(546) 2734(584) -1 0 -.names 2099(249) 1470(562) 1213(585) -11 0 -.names 1795(547) 1810(586) -1 1 -.names 1795(547) 1806(587) -1 1 -.names 1786(548) 1790(588) -1 0 -.names 2525(549) 2531(589) -1 0 -.names 2528(550) 2532(590) -1 0 -.names 1518(551) 1533(591) -1 1 -.names 1518(551) 1529(592) -1 1 -.names 1509(552) 1513(593) -1 0 -.names 1461(559) 1385(283) 1387(594) -11 1 -.names 2515(553) 2521(595) -1 0 -.names 841(573) 875(290) 885(596) -11 1 -.names 846(565) 875(290) 887(597) -11 1 -.names 1327(568) 868(198) 893(598) -11 1 -.names 841(573) 860(197) 152(599) -11 1 -.names 846(565) 860(197) 147(600) -11 1 -.names 838(564) 860(197) 144(601) -11 1 -.names 2634(555) 2638(602) -1 0 -.names 1701(556) 2642(603) -1 1 -.names 1704(557) 1250(604) -1 1 -.names 1704(557) 2639(605) -1 1 -.names 1707(558) 2650(606) -1 1 -.names 1461(559) 164(607) -1 0 -.names 1461(559) 2647(608) -1 1 -.names 1464(560) 160(609) -1 0 -.names 1464(560) 1389(610) -1 0 -.names 1464(560) 2658(611) -1 1 -.names 1467(561) 162(612) -1 0 -.names 1467(561) 2655(613) -1 1 -.names 1470(562) 2668(614) -1 1 -.names 1698(563) 2631(615) -1 1 -.names 838(564) 516(616) -1 1 -.names 838(564) 1028(617) -1 0 -.names 846(565) 1035(618) -1 0 -.names 846(565) 852(619) -1 0 -.names 854(566) 1041(620) -1 1 -.names 857(567) 171(621) -1 0 -.names 857(567) 1049(622) -1 1 -.names 1327(568) 168(623) -1 0 -.names 1327(568) 1057(624) -1 1 -.names 1329(569) 166(625) -1 0 -.names 1329(569) 1060(626) -1 1 -.names 1331(570) 1066(627) -1 1 -.names 1333(571) 1072(628) -1 1 -.names 1335(572) 1078(629) -1 1 -.names 841(573) 1031(630) -1 0 -.names 841(573) 2154(631) -1 1 -.names 1467(561) 2012(313) 2036(632) -11 1 -.names 1464(560) 2012(313) 2034(633) -11 1 -.names 1461(559) 2012(313) 2032(634) -11 1 -.names 1470(562) 2012(313) 2038(635) -11 1 -.names 1698(563) 2001(314) 2024(636) -11 1 -.names 1707(558) 2001(314) 2030(637) -11 1 -.names 1704(557) 2001(314) 2028(638) -11 1 -.names 1701(556) 2001(314) 2026(639) -11 1 -.names 1331(570) 1721(315) 1747(640) -11 1 -.names 1329(569) 1721(315) 1745(641) -11 1 -.names 1327(568) 1721(315) 1743(642) -11 1 -.names 1335(572) 1721(315) 1751(643) -11 1 -.names 1333(571) 1721(315) 1749(644) -11 1 -.names 841(573) 1710(316) 1735(645) -11 1 -.names 857(567) 1710(316) 1741(646) -11 1 -.names 854(566) 1710(316) 1739(647) -11 1 -.names 846(565) 1710(316) 1737(648) -11 1 -.names 1786(548) 1777(537) 1806(587) 1821(649) -111 1 -.names 1790(588) 1781(574) 1810(586) 1824(650) -111 1 -.names 1509(552) 1500(538) 1529(592) 1544(651) -111 1 -.names 1513(593) 1504(575) 1533(591) 1547(652) -111 1 -.names 2518(418) 2521(595) 2523(653) -11 0 -.names 1481(543) 1486(420) 1524(579) 1537(654) -111 1 -.names 1477(421) 1490(542) 1528(578) 1540(655) -111 1 -.names 554(581) 319(656) -1 1 -.names 1218(583) 1473(545) 1234(657) -11 1 -.names 2665(582) 2671(658) -1 0 -.names 2103(247) 1218(583) 1232(659) -11 1 -.names 2099(249) 1213(585) 1225(660) -11 1 -.names 1810(586) 1813(661) -1 0 -.names 1806(587) 1809(662) -1 0 -.names 2525(549) 2532(590) 2534(663) -11 0 -.names 2528(550) 2531(589) 2533(664) -11 0 -.names 1533(591) 1536(665) -1 0 -.names 1529(592) 1532(666) -1 0 -.names 1387(594) 466(667) -1 0 -.names 516(616) 875(290) 883(668) -11 1 -.names 1041(620) 875(290) 891(669) -11 1 -.names 1049(622) 868(198) 889(670) -11 1 -.names 865(291) 152(599) 153(671) -00 0 -.names 560(295) 852(619) 562(672) -11 0 -.names 480(292) 483(191) 554(581) 547(415) 187(673) -1111 1 -.names 2631(615) 2638(602) 1753(674) -11 0 -.names 2642(603) 2646(675) -1 0 -.names 2639(605) 2645(676) -1 0 -.names 2650(606) 2654(677) -1 0 -.names 2647(608) 2653(678) -1 0 -.names 2658(611) 2662(679) -1 0 -.names 2655(613) 2661(680) -1 0 -.names 1213(585) 1470(562) 1227(681) -11 1 -.names 2668(614) 2672(682) -1 0 -.names 2631(615) 2637(683) -1 0 -.names 516(616) 2235(684) -1 1 -.names 1028(617) 2110(685) -1 1 -.names 1028(617) 2164(686) -1 1 -.names 1035(618) 2350(687) -1 1 -.names 1035(618) 2118(688) -1 1 -.names 1035(618) 2262(689) -1 1 -.names 1035(618) 2172(690) -1 1 -.names 852(619) 2151(691) -1 0 -.names 1041(620) 299(692) -1 1 -.names 1041(620) 1043(693) -1 0 -.names 1049(622) 301(694) -1 1 -.names 1049(622) 1051(695) -1 0 -.names 1057(624) 286(696) -1 1 -.names 1057(624) 2123(697) -1 0 -.names 1060(626) 303(698) -1 1 -.names 1060(626) 1062(699) -1 0 -.names 1066(627) 288(700) -1 1 -.names 1066(627) 1068(701) -1 0 -.names 1072(628) 305(702) -1 1 -.names 1072(628) 1074(703) -1 0 -.names 1078(629) 290(704) -1 1 -.names 1078(629) 1080(705) -1 0 -.names 1031(630) 2107(706) -1 1 -.names 1031(630) 2161(707) -1 1 -.names 2154(631) 2158(708) -1 0 -.names 1389(610) 1387(594) 40(29) 456(709) -111 1 -.names 480(292) 483(191) 36(27) 554(581) 175(710) -1111 1 -.names 2035(519) 2036(632) 2778(711) -00 0 -.names 2033(520) 2034(633) 2770(712) -00 0 -.names 2029(521) 2030(637) 2754(713) -00 0 -.names 2025(522) 2026(639) 2738(714) -00 0 -.names 2037(523) 2038(635) 2065(715) -00 0 -.names 2031(524) 2032(634) 2762(716) -00 0 -.names 2027(525) 2028(638) 2746(717) -00 0 -.names 2023(526) 2024(636) 2626(718) -00 0 -.names 1750(527) 1751(643) 2618(719) -00 0 -.names 1746(528) 1747(640) 2602(720) -00 0 -.names 1744(529) 1745(641) 2594(721) -00 0 -.names 1742(530) 1743(642) 2586(722) -00 0 -.names 1738(531) 1739(647) 2570(723) -00 0 -.names 1734(532) 1735(645) 2554(724) -00 0 -.names 1748(534) 1749(644) 2610(725) -00 0 -.names 1740(535) 1741(646) 2578(726) -00 0 -.names 1736(536) 1737(648) 2562(727) -00 0 -.names 1777(537) 1790(588) 1813(661) 1823(728) -111 1 -.names 1500(538) 1513(593) 1536(665) 1546(729) -111 1 -.names 2523(653) 2524(576) 2538(730) -11 0 -.names 1540(655) 1541(577) 1542(731) -00 1 -.names 1537(654) 1538(580) 1539(732) -00 1 -.names 1232(659) 1234(657) 1235(733) -00 0 -.names 2665(582) 2672(682) 2674(734) -11 0 -.names 1225(660) 1227(681) 1228(735) -00 0 -.names 2778(711) 2781(429) 2059(736) -11 0 -.names 2770(712) 2773(431) 2055(737) -11 0 -.names 2762(716) 2765(433) 2051(738) -11 0 -.names 1781(574) 1786(548) 1809(662) 1820(739) -111 1 -.names 2754(713) 2757(435) 2047(740) -11 0 -.names 2746(717) 2749(437) 2043(741) -11 0 -.names 2738(714) 2741(438) 2039(742) -11 0 -.names 2533(664) 2534(663) 2546(743) -11 0 -.names 2626(718) 2629(440) 1597(744) -11 0 -.names 2618(719) 2621(442) 1593(745) -11 0 -.names 2610(725) 2613(444) 1589(746) -11 0 -.names 2602(720) 2605(446) 1585(747) -11 0 -.names 2594(721) 2597(448) 1581(748) -11 0 -.names 2586(722) 2589(450) 1577(749) -11 0 -.names 1504(575) 1509(552) 1532(666) 1543(750) -111 1 -.names 2578(726) 2581(452) 1573(751) -11 0 -.names 2570(723) 2573(454) 1569(752) -11 0 -.names 2562(727) 2565(455) 1565(753) -11 0 -.names 2554(724) 2557(457) 1561(754) -11 0 -.names 887(597) 889(670) 897(755) -00 0 -.names 891(669) 893(598) 898(756) -00 0 -.names 562(672) 868(198) 886(757) -11 1 -.names 562(672) 865(291) 146(758) -11 1 -.names 562(672) 2207(759) -1 0 -.names 562(672) 592(760) -1 1 -.names 187(673) 188(761) -1 0 -.names 2634(555) 2637(683) 1752(762) -11 0 -.names 2642(603) 2645(676) 1761(763) -11 0 -.names 2639(605) 2646(675) 1762(764) -11 0 -.names 2650(606) 2653(678) 1770(765) -11 0 -.names 2647(608) 2654(677) 1771(766) -11 0 -.names 2658(611) 2661(680) 2663(767) -11 0 -.names 2655(613) 2662(679) 2664(768) -11 0 -.names 2668(614) 2671(658) 2673(769) -11 0 -.names 2235(684) 2241(770) -1 0 -.names 2110(685) 2114(771) -1 0 -.names 2164(686) 2168(772) -1 0 -.names 2350(687) 2354(773) -1 0 -.names 2118(688) 2122(774) -1 0 -.names 2262(689) 2266(775) -1 0 -.names 2172(690) 2176(776) -1 0 -.names 2151(691) 2157(777) -1 0 -.names 2151(691) 2158(708) 2160(778) -11 0 -.names 1043(693) 2342(779) -1 1 -.names 1043(693) 2115(780) -1 1 -.names 1043(693) 2254(781) -1 1 -.names 1043(693) 2169(782) -1 1 -.names 1051(695) 2422(783) -1 1 -.names 1051(695) 2334(784) -1 1 -.names 1051(695) 2126(785) -1 1 -.names 2123(697) 2129(786) -1 0 -.names 1062(699) 2134(787) -1 1 -.names 1062(699) 2180(788) -1 1 -.names 1068(701) 2131(789) -1 1 -.names 1068(701) 2177(790) -1 1 -.names 1074(703) 2144(791) -1 1 -.names 1074(703) 2190(792) -1 1 -.names 1080(705) 2141(793) -1 1 -.names 1080(705) 2187(794) -1 1 -.names 2107(706) 2113(795) -1 0 -.names 2161(707) 2167(796) -1 0 -.names 40(29) 1389(610) 466(667) 468(797) -111 1 -.names 456(709) 995(798) -1 1 -.names 456(709) 1006(799) -1 0 -.names 456(709) 743(800) -1 0 -.names 456(709) 749(801) -1 1 -.names 456(709) 462(802) -1 0 -.names 175(710) 176(803) -1 0 -.names 2778(711) 2782(804) -1 0 -.names 2770(712) 2774(805) -1 0 -.names 2754(713) 2758(806) -1 0 -.names 2738(714) 2742(807) -1 0 -.names 2762(716) 2766(808) -1 0 -.names 2746(717) 2750(809) -1 0 -.names 2626(718) 2630(810) -1 0 -.names 2618(719) 2622(811) -1 0 -.names 2602(720) 2606(812) -1 0 -.names 2594(721) 2598(813) -1 0 -.names 2586(722) 2590(814) -1 0 -.names 2570(723) 2574(815) -1 0 -.names 2554(724) 2558(816) -1 0 -.names 2610(725) 2614(817) -1 0 -.names 2578(726) 2582(818) -1 0 -.names 2562(727) 2566(819) -1 0 -.names 1820(739) 1821(649) 1822(820) -00 1 -.names 1823(728) 1824(650) 1825(821) -00 1 -.names 1543(750) 1544(651) 1545(822) -00 1 -.names 1546(729) 1547(652) 1548(823) -00 1 -.names 2538(730) 2542(824) -1 0 -.names 1542(731) 1539(732) 2535(825) -11 0 -.names 1235(733) 1245(826) -1 0 -.names 2673(769) 2674(734) 2709(827) -11 0 -.names 1228(735) 1243(828) -1 0 -.names 2775(341) 2782(804) 2060(829) -11 0 -.names 2767(343) 2774(805) 2056(830) -11 0 -.names 2759(345) 2766(808) 2052(831) -11 0 -.names 2751(347) 2758(806) 2048(832) -11 0 -.names 2743(350) 2750(809) 2044(833) -11 0 -.names 2735(352) 2742(807) 2040(834) -11 0 -.names 2546(743) 2550(835) -1 0 -.names 2623(354) 2630(810) 1598(836) -11 0 -.names 2615(356) 2622(811) 1594(837) -11 0 -.names 2607(358) 2614(817) 1590(838) -11 0 -.names 2599(360) 2606(812) 1586(839) -11 0 -.names 2591(362) 2598(813) 1582(840) -11 0 -.names 2583(364) 2590(814) 1578(841) -11 0 -.names 2575(366) 2582(818) 1574(842) -11 0 -.names 2567(368) 2574(815) 1570(843) -11 0 -.names 2559(370) 2566(819) 1566(844) -11 0 -.names 2551(372) 2558(816) 1562(845) -11 0 -.names 885(596) 886(757) 896(846) -00 0 -.names 897(755) 284(847) -1 1 -.names 897(755) 321(848) -1 1 -.names 898(756) 297(849) -1 1 -.names 898(756) 280(850) -1 1 -.names 146(758) 147(600) 148(851) -00 0 -.names 2207(759) 2213(852) -1 0 -.names 592(760) 596(853) -1 0 -.names 1752(762) 1753(674) 1754(854) -11 0 -.names 1701(556) 743(800) 502(855) -11 1 -.names 1701(556) 1006(799) 729(856) -11 1 -.names 1761(763) 1762(764) 1763(857) -11 0 -.names 1250(604) 743(800) 508(858) -11 1 -.names 1250(604) 1006(799) 735(859) -11 1 -.names 1770(765) 1771(766) 1772(860) -11 0 -.names 2663(767) 2664(768) 2712(861) -11 0 -.names 1698(563) 743(800) 496(862) -11 1 -.names 1698(563) 1006(799) 723(863) -11 1 -.names 2110(685) 2113(795) 569(864) -11 0 -.names 2164(686) 2167(796) 599(865) -11 0 -.names 2115(780) 2122(774) 579(866) -11 0 -.names 2169(782) 2176(776) 609(867) -11 0 -.names 2342(779) 2346(868) -1 0 -.names 2115(780) 2121(869) -1 0 -.names 2254(781) 2258(870) -1 0 -.names 2169(782) 2175(871) -1 0 -.names 2422(783) 2426(872) -1 0 -.names 2334(784) 2338(873) -1 0 -.names 2126(785) 2129(786) 587(874) -11 0 -.names 2126(785) 2130(875) -1 0 -.names 1057(624) 749(801) 765(876) -11 1 -.names 1057(624) 995(798) 1014(877) -11 1 -.names 1060(626) 749(801) 769(878) -11 1 -.names 1060(626) 995(798) 1018(879) -11 1 -.names 2134(787) 2138(880) -1 0 -.names 2180(788) 2184(881) -1 0 -.names 2131(789) 2137(882) -1 0 -.names 2177(790) 2183(883) -1 0 -.names 2144(791) 2148(884) -1 0 -.names 2190(792) 2194(885) -1 0 -.names 1078(629) 743(800) 490(886) -11 1 -.names 1078(629) 1006(799) 717(887) -11 1 -.names 2141(793) 2147(888) -1 0 -.names 2187(794) 2193(889) -1 0 -.names 2107(706) 2114(771) 570(890) -11 0 -.names 2161(707) 2168(772) 600(891) -11 0 -.names 2154(631) 2157(777) 2159(892) -11 0 -.names 468(797) 1257(893) -1 1 -.names 468(797) 1258(894) -1 1 -.names 995(798) 999(895) -1 0 -.names 749(801) 753(896) -1 0 -.names 462(802) 475(897) -1 1 -.names 462(802) 1337(898) -1 1 -.names 1825(821) 1822(820) 2727(899) -11 0 -.names 1548(823) 1545(822) 2543(900) -11 0 -.names 2535(825) 2542(824) 1550(901) -11 0 -.names 2535(825) 2541(902) -1 0 -.names 1235(733) 1245(826) 1094(903) -11 1 -.names 2709(827) 2715(904) -1 0 -.names 1228(735) 1243(828) 1096(905) -11 1 -.names 2059(736) 2060(829) 2061(906) -11 0 -.names 2055(737) 2056(830) 2057(907) -11 0 -.names 2051(738) 2052(831) 2053(908) -11 0 -.names 2047(740) 2048(832) 2049(909) -11 0 -.names 2043(741) 2044(833) 2045(910) -11 0 -.names 2039(742) 2040(834) 2041(911) -11 0 -.names 1597(744) 1598(836) 1599(912) -11 0 -.names 1593(745) 1594(837) 1595(913) -11 0 -.names 1589(746) 1590(838) 1591(914) -11 0 -.names 1585(747) 1586(839) 1587(915) -11 0 -.names 1581(748) 1582(840) 1583(916) -11 0 -.names 1577(749) 1578(841) 1579(917) -11 0 -.names 1573(751) 1574(842) 1575(918) -11 0 -.names 1569(752) 1570(843) 1571(919) -11 0 -.names 1565(753) 1566(844) 1567(920) -11 0 -.names 1561(754) 1562(845) 1563(921) -11 0 -.names 896(846) 282(922) -1 1 -.names 896(846) 323(923) -1 1 -.names 1754(854) 1758(924) -1 0 -.names 1763(857) 1767(925) -1 0 -.names 1772(860) 1802(926) -1 1 -.names 1772(860) 1798(927) -1 1 -.names 2712(861) 2716(928) -1 0 -.names 569(864) 570(890) 571(929) -11 0 -.names 599(865) 600(891) 601(930) -11 0 -.names 2118(688) 2121(869) 578(931) -11 0 -.names 2172(690) 2175(871) 608(932) -11 0 -.names 2159(892) 2160(778) 2210(933) -11 0 -.names 1057(624) 753(896) 763(934) -11 1 -.names 1057(624) 999(895) 1012(935) -11 1 -.names 2123(697) 2130(875) 588(936) -11 0 -.names 1060(626) 753(896) 767(937) -11 1 -.names 1060(626) 999(895) 1016(938) -11 1 -.names 2134(787) 2137(882) 2139(939) -11 0 -.names 2180(788) 2183(883) 2185(940) -11 0 -.names 1066(627) 753(896) 531(941) -11 1 -.names 1066(627) 999(895) 705(942) -11 1 -.names 2131(789) 2138(880) 2140(943) -11 0 -.names 2177(790) 2184(881) 2186(944) -11 0 -.names 1072(628) 753(896) 537(945) -11 1 -.names 1072(628) 999(895) 711(946) -11 1 -.names 2144(791) 2147(888) 2149(947) -11 0 -.names 2190(792) 2193(889) 2195(948) -11 0 -.names 2141(793) 2148(884) 2150(949) -11 0 -.names 2187(794) 2194(885) 2196(950) -11 0 -.names 1257(893) 742(951) -1 1 -.names 1257(893) 1005(952) -1 1 -.names 1258(894) 1845(953) -1 1 -.names 1258(894) 1907(954) -1 1 -.names 475(897) 1836(955) -1 1 -.names 475(897) 1850(956) -1 1 -.names 475(897) 1355(957) -1 1 -.names 1337(898) 1898(958) -1 1 -.names 1337(898) 1912(959) -1 1 -.names 1337(898) 1601(960) -1 1 -.names 2727(899) 2733(961) -1 0 -.names 2543(900) 2549(962) -1 0 -.names 2538(730) 2541(902) 1549(963) -11 0 -.names 1094(903) 1245(826) 154(964) -00 0 -.names 2709(827) 2716(928) 2718(965) -11 0 -.names 2727(899) 2734(584) 1829(966) -11 0 -.names 1096(905) 1243(828) 155(967) -00 0 -.names 2061(906) 2062(968) -1 0 -.names 2057(907) 2058(969) -1 0 -.names 2053(908) 2054(970) -1 0 -.names 2049(909) 2050(971) -1 0 -.names 2070(260) 1850(956) 1876(972) -11 1 -.names 2070(260) 1912(959) 1938(973) -11 1 -.names 2045(910) 2046(974) -1 0 -.names 1999(265) 1850(956) 1874(975) -11 1 -.names 1999(265) 1912(959) 1936(976) -11 1 -.names 2041(911) 2042(977) -1 0 -.names 2543(900) 2550(835) 1552(978) -11 0 -.names 1994(267) 1850(956) 1872(979) -11 1 -.names 1994(267) 1912(959) 1934(980) -11 1 -.names 1599(912) 1600(981) -1 0 -.names 1989(269) 1850(956) 1870(982) -11 1 -.names 1989(269) 1912(959) 1932(983) -11 1 -.names 1595(913) 1596(984) -1 0 -.names 1984(271) 1836(955) 1868(985) -11 1 -.names 1984(271) 1898(958) 1930(986) -11 1 -.names 1591(914) 1592(987) -1 0 -.names 1979(273) 1836(955) 1866(988) -11 1 -.names 1979(273) 1898(958) 1928(989) -11 1 -.names 1587(915) 1588(990) -1 0 -.names 1974(275) 1836(955) 1863(991) -11 1 -.names 1974(275) 1898(958) 1925(992) -11 1 -.names 1583(916) 1584(993) -1 0 -.names 1969(277) 1836(955) 1858(994) -11 1 -.names 1969(277) 1898(958) 1920(995) -11 1 -.names 1579(917) 1580(996) -1 0 -.names 1964(279) 1355(957) 1377(997) -11 1 -.names 1964(279) 1601(960) 1623(998) -11 1 -.names 1575(918) 1576(999) -1 0 -.names 1959(281) 1355(957) 1373(1000) -11 1 -.names 1959(281) 1601(960) 1619(1001) -11 1 -.names 1571(919) 1572(1002) -1 0 -.names 1351(284) 1601(960) 1615(1003) -11 1 -.names 1351(284) 1355(957) 1369(1004) -11 1 -.names 1567(920) 1568(1005) -1 0 -.names 1344(286) 1355(957) 676(1006) -11 1 -.names 1344(286) 1601(960) 1108(1007) -11 1 -.names 1563(921) 1564(1008) -1 0 -.names 2210(933) 2213(852) 2215(1009) -11 0 -.names 1763(857) 1754(854) 1798(927) 1815(1010) -111 1 -.names 1767(925) 1758(924) 1802(926) 1818(1011) -111 1 -.names 502(855) 742(951) 504(1012) -11 1 -.names 729(856) 1005(952) 731(1013) -11 1 -.names 508(858) 742(951) 510(1014) -11 1 -.names 735(859) 1005(952) 737(1015) -11 1 -.names 1802(926) 1805(1016) -1 0 -.names 1798(927) 1801(1017) -1 0 -.names 2712(861) 2715(904) 2717(1018) -11 0 -.names 496(862) 742(951) 498(1019) -11 1 -.names 723(863) 1005(952) 725(1020) -11 1 -.names 571(929) 575(1021) -1 0 -.names 601(930) 605(1022) -1 0 -.names 578(931) 579(866) 580(1023) -11 0 -.names 608(932) 609(867) 610(1024) -11 0 -.names 2210(933) 2214(1025) -1 0 -.names 587(874) 588(936) 589(1026) -11 0 -.names 763(934) 765(876) 519(1027) -00 0 -.names 1012(935) 1014(877) 693(1028) -00 0 -.names 767(937) 769(878) 525(1029) -00 0 -.names 1016(938) 1018(879) 699(1030) -00 0 -.names 2139(939) 2140(943) 2200(1031) -11 0 -.names 2185(940) 2186(944) 2220(1032) -11 0 -.names 2149(947) 2150(949) 2197(1033) -11 0 -.names 2195(948) 2196(950) 2217(1034) -11 0 -.names 490(886) 742(951) 492(1035) -11 1 -.names 717(887) 1005(952) 719(1036) -11 1 -.names 1836(955) 1842(1037) -1 0 -.names 1355(957) 1361(1038) -1 0 -.names 1898(958) 1904(1039) -1 0 -.names 1601(960) 1607(1040) -1 0 -.names 531(941) 748(411) 533(1041) -11 1 -.names 537(945) 748(411) 539(1042) -11 1 -.names 705(942) 994(412) 707(1043) -11 1 -.names 711(946) 994(412) 713(1044) -11 1 -.names 1549(963) 1550(901) 1091(1045) -11 0 -.names 154(964) 155(967) 156(1046) -11 0 -.names 2717(1018) 2718(965) 2722(1047) -11 0 -.names 2730(546) 2733(961) 1828(1048) -11 0 -.names 2094(251) 1842(1037) 1861(1049) -11 1 -.names 2094(251) 1904(1039) 1923(1050) -11 1 -.names 2088(253) 1842(1037) 1856(1051) -11 1 -.names 2088(253) 1904(1039) 1918(1052) -11 1 -.names 2058(969) 2054(970) 2050(971) 2046(974) 2042(977) 1558(1053) -11111 1 -.names 2082(255) 1361(1038) 1375(1054) -11 1 -.names 2082(255) 1607(1040) 1621(1055) -11 1 -.names 2076(257) 1361(1038) 1371(1056) -11 1 -.names 2076(257) 1607(1040) 1617(1057) -11 1 -.names 2070(260) 1361(1038) 1368(1058) -11 1 -.names 2070(260) 1607(1040) 1614(1059) -11 1 -.names 1999(265) 1361(1038) 675(1060) -11 1 -.names 1999(265) 1607(1040) 1107(1061) -11 1 -.names 2546(743) 2549(962) 1551(1062) -11 0 -.names 1600(981) 1596(984) 1592(987) 1588(990) 1584(993) 1554(1063) -11111 1 -.names 1580(996) 1576(999) 1572(1002) 1568(1005) 1564(1008) 1555(1064) -11111 1 -.names 2207(759) 2214(1025) 2216(1065) -11 0 -.names 1754(854) 1767(925) 1805(1016) 1817(1066) -111 1 -.names 504(1012) 505(1067) -1 0 -.names 731(1013) 732(1068) -1 0 -.names 1758(924) 1763(857) 1801(1017) 1814(1069) -111 1 -.names 510(1014) 511(1070) -1 0 -.names 737(1015) 738(1071) -1 0 -.names 498(1019) 499(1072) -1 0 -.names 725(1020) 726(1073) -1 0 -.names 580(1023) 584(1074) -1 0 -.names 610(1024) 621(1075) -1 1 -.names 610(1024) 625(1076) -1 1 -.names 589(1026) 617(1077) -1 1 -.names 589(1026) 613(1078) -1 1 -.names 2200(1031) 2204(1079) -1 0 -.names 2220(1032) 2224(1080) -1 0 -.names 2197(1033) 2203(1081) -1 0 -.names 2217(1034) 2223(1082) -1 0 -.names 492(1035) 493(1083) -1 0 -.names 719(1036) 720(1084) -1 0 -.names 1874(975) 1845(953) 1889(1085) -11 1 -.names 1872(979) 1845(953) 1887(1086) -11 1 -.names 1870(982) 1845(953) 1885(1087) -11 1 -.names 1876(972) 1845(953) 1891(1088) -11 1 -.names 1936(976) 1907(954) 1951(1089) -11 1 -.names 1934(980) 1907(954) 1949(1090) -11 1 -.names 1932(983) 1907(954) 1947(1091) -11 1 -.names 1938(973) 1907(954) 1953(1092) -11 1 -.names 2065(715) 2062(968) 1557(1093) -11 1 -.names 1868(985) 1831(409) 1883(1094) -11 1 -.names 1866(988) 1831(409) 1881(1095) -11 1 -.names 1930(986) 1893(410) 1945(1096) -11 1 -.names 1928(989) 1893(410) 1943(1097) -11 1 -.names 519(1027) 748(411) 521(1098) -11 1 -.names 525(1029) 748(411) 527(1099) -11 1 -.names 533(1041) 534(1100) -1 0 -.names 539(1042) 540(1101) -1 0 -.names 693(1028) 994(412) 695(1102) -11 1 -.names 699(1030) 994(412) 701(1103) -11 1 -.names 707(1043) 708(1104) -1 0 -.names 713(1044) 714(1105) -1 0 -.names 1091(1045) 1092(1106) -1 0 -.names 2722(1047) 2726(1107) -1 0 -.names 1828(1048) 1829(966) 1830(1108) -11 0 -.names 1557(1093) 1558(1053) 1559(1109) -11 1 -.names 1551(1062) 1552(978) 1553(1110) -11 0 -.names 1554(1063) 1555(1064) 1556(1111) -11 1 -.names 1861(1049) 1863(991) 1864(1112) -00 0 -.names 1923(1050) 1925(992) 1926(1113) -00 0 -.names 1856(1051) 1858(994) 1859(1114) -00 0 -.names 1918(1052) 1920(995) 1921(1115) -00 0 -.names 1375(1054) 1377(997) 1382(1116) -00 0 -.names 1621(1055) 1623(998) 1628(1117) -00 0 -.names 1371(1056) 1373(1000) 1380(1118) -00 0 -.names 1617(1057) 1619(1001) 1626(1119) -00 0 -.names 1614(1059) 1615(1003) 1624(1120) -00 0 -.names 1368(1058) 1369(1004) 1378(1121) -00 0 -.names 675(1060) 676(1006) 677(1122) -00 0 -.names 1107(1061) 1108(1007) 1109(1123) -00 0 -.names 2215(1009) 2216(1065) 2238(1124) -11 0 -.names 601(930) 592(760) 621(1075) 636(1125) -111 1 -.names 605(1022) 596(853) 625(1076) 639(1126) -111 1 -.names 1814(1069) 1815(1010) 1816(1127) -00 1 -.names 1817(1066) 1818(1011) 1819(1128) -00 1 -.names 1889(1085) 505(1067) 915(1129) -11 1 -.names 505(1067) 2278(1130) -1 1 -.names 1951(1089) 732(1068) 1133(1131) -11 1 -.names 732(1068) 2366(1132) -1 1 -.names 1891(1088) 511(1070) 907(1133) -11 1 -.names 511(1070) 2270(1134) -1 1 -.names 1953(1092) 738(1071) 1125(1135) -11 1 -.names 738(1071) 2358(1136) -1 1 -.names 1887(1086) 499(1072) 922(1137) -11 1 -.names 499(1072) 2286(1138) -1 1 -.names 1949(1090) 726(1073) 1140(1139) -11 1 -.names 726(1073) 2374(1140) -1 1 -.names 580(1023) 571(929) 613(1078) 630(1141) -111 1 -.names 584(1074) 575(1021) 617(1077) 633(1142) -111 1 -.names 621(1075) 624(1143) -1 0 -.names 625(1076) 628(1144) -1 0 -.names 617(1077) 620(1145) -1 0 -.names 613(1078) 616(1146) -1 0 -.names 2200(1031) 2203(1081) 2205(1147) -11 0 -.names 2220(1032) 2223(1082) 2225(1148) -11 0 -.names 2197(1033) 2204(1079) 2206(1149) -11 0 -.names 2217(1034) 2224(1080) 2226(1150) -11 0 -.names 493(1083) 1885(1087) 924(1151) -11 1 -.names 493(1083) 2294(1152) -1 1 -.names 720(1084) 1947(1091) 1142(1153) -11 1 -.names 720(1084) 2382(1154) -1 1 -.names 1889(1085) 2275(1155) -1 1 -.names 1887(1086) 2283(1156) -1 1 -.names 1885(1087) 2291(1157) -1 1 -.names 1891(1088) 2267(1158) -1 1 -.names 1951(1089) 2363(1159) -1 1 -.names 1949(1090) 2371(1160) -1 1 -.names 1947(1091) 2379(1161) -1 1 -.names 1953(1092) 2355(1162) -1 1 -.names 1883(1094) 540(1101) 937(1163) -11 1 -.names 1883(1094) 2299(1164) -1 1 -.names 1881(1095) 534(1100) 946(1165) -11 1 -.names 1881(1095) 2307(1166) -1 1 -.names 1945(1096) 714(1105) 1155(1167) -11 1 -.names 1945(1096) 2387(1168) -1 1 -.names 1943(1097) 708(1104) 1164(1169) -11 1 -.names 1943(1097) 2395(1170) -1 1 -.names 521(1098) 522(1171) -1 0 -.names 527(1099) 528(1172) -1 0 -.names 534(1100) 2310(1173) -1 1 -.names 540(1101) 2302(1174) -1 1 -.names 695(1102) 696(1175) -1 0 -.names 701(1103) 702(1176) -1 0 -.names 708(1104) 2398(1177) -1 1 -.names 714(1105) 2390(1178) -1 1 -.names 1830(1108) 227(1179) -1 0 -.names 1553(1110) 229(1180) -1 0 -.names 1382(1116) 2331(1181) -1 1 -.names 1628(1117) 2419(1182) -1 1 -.names 1380(1118) 2251(1183) -1 1 -.names 1626(1119) 2339(1184) -1 1 -.names 1624(1120) 2347(1185) -1 1 -.names 1378(1121) 2259(1186) -1 1 -.names 2238(1124) 2242(1187) -1 0 -.names 592(760) 605(1022) 628(1144) 638(1188) -111 1 -.names 596(853) 601(930) 624(1143) 635(1189) -111 1 -.names 1819(1128) 1816(1127) 2719(1190) -11 0 -.names 2278(1130) 2282(1191) -1 0 -.names 2366(1132) 2370(1192) -1 0 -.names 2270(1134) 2274(1193) -1 0 -.names 2358(1136) 2362(1194) -1 0 -.names 2286(1138) 2290(1195) -1 0 -.names 2374(1140) 2378(1196) -1 0 -.names 2238(1124) 2241(770) 645(1197) -11 0 -.names 571(929) 584(1074) 620(1145) 632(1198) -111 1 -.names 575(1021) 580(1023) 616(1146) 629(1199) -111 1 -.names 1378(1121) 1035(618) 674(1200) -11 1 -.names 1624(1120) 1035(618) 1106(1201) -11 1 -.names 1380(1118) 1043(693) 671(1202) -11 1 -.names 1626(1119) 1043(693) 1104(1203) -11 1 -.names 1382(1116) 1051(695) 967(1204) -11 1 -.names 1628(1117) 1051(695) 1184(1205) -11 1 -.names 2205(1147) 2206(1149) 2230(1206) -11 0 -.names 2225(1148) 2226(1150) 2246(1207) -11 0 -.names 2294(1152) 2298(1208) -1 0 -.names 2382(1154) 2386(1209) -1 0 -.names 677(1122) 1031(630) 679(1210) -11 1 -.names 1109(1123) 1031(630) 1110(1211) -11 1 -.names 2275(1155) 2281(1212) -1 0 -.names 2283(1156) 2289(1213) -1 0 -.names 2291(1157) 2297(1214) -1 0 -.names 2267(1158) 2273(1215) -1 0 -.names 2363(1159) 2369(1216) -1 0 -.names 2371(1160) 2377(1217) -1 0 -.names 2379(1161) 2385(1218) -1 0 -.names 2355(1162) 2361(1219) -1 0 -.names 1092(1106) 14(9) 1093(1220) -11 1 -.names 1556(1111) 1559(1109) 894(533) 1560(1221) -111 1 -.names 2299(1164) 2305(1222) -1 0 -.names 2307(1166) 2313(1223) -1 0 -.names 1864(1112) 1831(409) 1879(1224) -11 1 -.names 1859(1114) 1831(409) 1877(1225) -11 1 -.names 2387(1168) 2393(1226) -1 0 -.names 2395(1170) 2401(1227) -1 0 -.names 1926(1113) 1893(410) 1941(1228) -11 1 -.names 1921(1115) 1893(410) 1939(1229) -11 1 -.names 522(1171) 2326(1230) -1 1 -.names 528(1172) 2318(1231) -1 1 -.names 2310(1173) 2314(1232) -1 0 -.names 2302(1174) 2306(1233) -1 0 -.names 696(1175) 2414(1234) -1 1 -.names 702(1176) 2406(1235) -1 1 -.names 2398(1177) 2402(1236) -1 0 -.names 2390(1178) 2394(1237) -1 0 -.names 2719(1190) 2726(1107) 1827(1238) -11 0 -.names 2331(1181) 2337(1239) -1 0 -.names 2419(1182) 2425(1240) -1 0 -.names 2251(1183) 2257(1241) -1 0 -.names 2339(1184) 2345(1242) -1 0 -.names 2347(1185) 2353(1243) -1 0 -.names 2259(1186) 2265(1244) -1 0 -.names 635(1189) 636(1125) 637(1245) -00 1 -.names 638(1188) 639(1126) 640(1246) -00 1 -.names 2719(1190) 2725(1247) -1 0 -.names 2278(1130) 2281(1212) 908(1248) -11 0 -.names 2366(1132) 2369(1216) 1126(1249) -11 0 -.names 2270(1134) 2273(1215) 899(1250) -11 0 -.names 2358(1136) 2361(1219) 1117(1251) -11 0 -.names 2286(1138) 2289(1213) 916(1252) -11 0 -.names 2374(1140) 2377(1217) 1134(1253) -11 0 -.names 2235(684) 2242(1187) 646(1254) -11 0 -.names 629(1199) 630(1141) 631(1255) -00 1 -.names 632(1198) 633(1142) 634(1256) -00 1 -.names 2347(1185) 2354(773) 1115(1257) -11 0 -.names 2259(1186) 2266(775) 684(1258) -11 0 -.names 2339(1184) 2346(868) 1099(1259) -11 0 -.names 2251(1183) 2258(870) 665(1260) -11 0 -.names 2419(1182) 2426(872) 1181(1261) -11 0 -.names 2331(1181) 2338(873) 963(1262) -11 0 -.names 2230(1206) 2234(1263) -1 0 -.names 2246(1207) 2250(1264) -1 0 -.names 2294(1152) 2297(1214) 925(1265) -11 0 -.names 2382(1154) 2385(1218) 1143(1266) -11 0 -.names 2275(1155) 2282(1191) 909(1267) -11 0 -.names 2283(1156) 2290(1195) 917(1268) -11 0 -.names 2291(1157) 2298(1208) 926(1269) -11 0 -.names 2267(1158) 2274(1193) 900(1270) -11 0 -.names 2363(1159) 2370(1192) 1127(1271) -11 0 -.names 2371(1160) 2378(1196) 1135(1272) -11 0 -.names 2379(1161) 2386(1209) 1144(1273) -11 0 -.names 2355(1162) 2362(1194) 1118(1274) -11 0 -.names 1093(1220) 1087(1275) -1 0 -.names 1093(1220) 401(1276) -1 1 -.names 1560(1221) 150(1277) -1 0 -.names 1560(1221) 311(1278) -1 1 -.names 2299(1164) 2306(1233) 929(1279) -11 0 -.names 2307(1166) 2314(1232) 939(1280) -11 0 -.names 1879(1224) 2315(1281) -1 1 -.names 1877(1225) 2323(1282) -1 1 -.names 2387(1168) 2394(1237) 1147(1283) -11 0 -.names 2395(1170) 2402(1236) 1157(1284) -11 0 -.names 1941(1228) 2403(1285) -1 1 -.names 1939(1229) 2411(1286) -1 1 -.names 2326(1230) 2330(1287) -1 0 -.names 1877(1225) 522(1171) 961(1288) -11 1 -.names 1879(1224) 528(1172) 954(1289) -11 1 -.names 2318(1231) 2322(1290) -1 0 -.names 2310(1173) 2313(1223) 938(1291) -11 0 -.names 2302(1174) 2305(1222) 928(1292) -11 0 -.names 2414(1234) 2418(1293) -1 0 -.names 1939(1229) 696(1175) 1179(1294) -11 1 -.names 1941(1228) 702(1176) 1172(1295) -11 1 -.names 2406(1235) 2410(1296) -1 0 -.names 2398(1177) 2401(1227) 1156(1297) -11 0 -.names 2390(1178) 2393(1226) 1146(1298) -11 0 -.names 2722(1047) 2725(1247) 1826(1299) -11 0 -.names 640(1246) 637(1245) 2243(1300) -11 0 -.names 908(1248) 909(1267) 910(1301) -11 0 -.names 1126(1249) 1127(1271) 1128(1302) -11 0 -.names 899(1250) 900(1270) 901(1303) -11 0 -.names 1117(1251) 1118(1274) 1119(1304) -11 0 -.names 916(1252) 917(1268) 918(1305) -11 0 -.names 1134(1253) 1135(1272) 1136(1306) -11 0 -.names 645(1197) 646(1254) 647(1307) -11 0 -.names 634(1256) 631(1255) 2227(1308) -11 0 -.names 2350(687) 2353(1243) 1114(1309) -11 0 -.names 2262(689) 2265(1244) 683(1310) -11 0 -.names 2342(779) 2345(1242) 1098(1311) -11 0 -.names 2254(781) 2257(1241) 664(1312) -11 0 -.names 2422(783) 2425(1240) 1180(1313) -11 0 -.names 2334(784) 2337(1239) 962(1314) -11 0 -.names 925(1265) 926(1269) 927(1315) -11 0 -.names 1143(1266) 1144(1273) 1145(1316) -11 0 -.names 928(1292) 929(1279) 930(1317) -11 0 -.names 938(1291) 939(1280) 940(1318) -11 0 -.names 2315(1281) 2322(1290) 948(1319) -11 0 -.names 2315(1281) 2321(1320) -1 0 -.names 2323(1282) 2330(1287) 956(1321) -11 0 -.names 2323(1282) 2329(1322) -1 0 -.names 1146(1298) 1147(1283) 1148(1323) -11 0 -.names 1156(1297) 1157(1284) 1158(1324) -11 0 -.names 2403(1285) 2410(1296) 1166(1325) -11 0 -.names 2403(1285) 2409(1326) -1 0 -.names 2411(1286) 2418(1293) 1174(1327) -11 0 -.names 2411(1286) 2417(1328) -1 0 -.names 1826(1299) 1827(1238) 686(1329) -11 0 -.names 647(1307) 865(291) 143(1330) -11 1 -.names 2243(1300) 2249(1331) -1 0 -.names 901(1303) 915(1129) 970(1332) -11 1 -.names 910(1301) 927(1315) 918(1305) 901(1303) 968(1333) -1111 1 -.names 1119(1304) 1133(1131) 1187(1334) -11 1 -.names 1128(1302) 1145(1316) 1136(1306) 1119(1304) 1185(1335) -1111 1 -.names 910(1301) 901(1303) 922(1137) 971(1336) -111 1 -.names 1128(1302) 1119(1304) 1140(1139) 1188(1337) -111 1 -.names 2227(1308) 2233(1338) -1 0 -.names 1114(1309) 1115(1257) 1112(1339) -11 0 -.names 683(1310) 684(1258) 681(1340) -11 0 -.names 1098(1311) 1099(1259) 1100(1341) -11 0 -.names 664(1312) 665(1260) 666(1342) -11 0 -.names 1180(1313) 1181(1261) 1182(1343) -11 0 -.names 962(1314) 963(1262) 964(1344) -11 0 -.names 2227(1308) 2234(1263) 642(1345) -11 0 -.names 2243(1300) 2250(1264) 649(1346) -11 0 -.names 918(1305) 901(1303) 924(1151) 910(1301) 972(1347) -1111 1 -.names 1136(1306) 1119(1304) 1142(1153) 1128(1302) 1189(1348) -1111 1 -.names 930(1317) 946(1165) 978(1349) -11 1 -.names 1148(1323) 1164(1169) 1195(1350) -11 1 -.names 2326(1230) 2329(1322) 955(1351) -11 0 -.names 940(1318) 930(1317) 954(1289) 979(1352) -111 1 -.names 2318(1231) 2321(1320) 947(1353) -11 0 -.names 2414(1234) 2417(1328) 1173(1354) -11 0 -.names 1158(1324) 1148(1323) 1172(1295) 1196(1355) -111 1 -.names 2406(1235) 2409(1326) 1165(1356) -11 0 -.names 686(1329) 687(1357) -1 0 -.names 143(1330) 144(601) 145(1358) -00 0 -.names 968(1333) 969(1359) -1 0 -.names 1185(1335) 1186(1360) -1 0 -.names 907(1133) 970(1332) 971(1336) 972(1347) 973(1361) -0000 0 -.names 1125(1135) 1187(1334) 1188(1337) 1189(1348) 1190(1362) -0000 0 -.names 666(1342) 674(1200) 680(1363) -11 1 -.names 1100(1341) 1106(1201) 1111(1364) -11 1 -.names 2230(1206) 2233(1338) 641(1365) -11 0 -.names 2246(1207) 2249(1331) 648(1366) -11 0 -.names 681(1340) 666(1342) 679(1210) 682(1367) -111 1 -.names 1112(1339) 1100(1341) 1110(1211) 1113(1368) -111 1 -.names 947(1353) 948(1319) 949(1369) -11 0 -.names 955(1351) 956(1321) 957(1370) -11 0 -.names 1165(1356) 1166(1325) 1167(1371) -11 0 -.names 1173(1354) 1174(1327) 1175(1372) -11 0 -.names 973(1361) 976(1373) -1 0 -.names 1190(1362) 1193(1374) -1 0 -.names 671(1202) 680(1363) 682(1367) 685(1375) -000 0 -.names 1104(1203) 1111(1364) 1113(1368) 1116(1376) -000 0 -.names 957(1370) 949(1369) 930(1317) 967(1204) 940(1318) 981(1377) -11111 1 -.names 1175(1372) 1167(1371) 1148(1323) 1184(1205) 1158(1324) 1198(1378) -11111 1 -.names 641(1365) 642(1345) 643(1379) -11 0 -.names 648(1366) 649(1346) 650(1380) -11 0 -.names 687(1357) 487(403) 688(1381) -11 1 -.names 940(1318) 964(1344) 949(1369) 930(1317) 957(1370) 977(1382) -11111 1 -.names 1158(1324) 1182(1343) 1167(1371) 1148(1323) 1175(1372) 1194(1383) -11111 1 -.names 949(1369) 930(1317) 961(1288) 940(1318) 980(1384) -1111 1 -.names 1167(1371) 1148(1323) 1179(1294) 1158(1324) 1197(1385) -1111 1 -.names 650(1380) 868(198) 884(1386) -11 1 -.names 976(1373) 969(1359) 988(1387) -11 0 -.names 1193(1374) 1186(1360) 1205(1388) -11 0 -.names 977(1382) 685(1375) 983(1389) -11 1 -.names 1194(1383) 1116(1376) 1200(1390) -11 1 -.names 643(1379) 644(1391) -1 0 -.names 688(1381) 395(1392) -1 1 -.names 688(1381) 690(1393) -1 0 -.names 937(1163) 978(1349) 979(1352) 980(1384) 981(1377) 982(1394) -00000 0 -.names 1155(1167) 1195(1350) 1196(1355) 1197(1385) 1198(1378) 1199(1395) -00000 0 -.names 883(668) 884(1386) 895(1396) -00 0 -.names 982(1394) 983(1389) 984(1397) -00 0 -.names 1199(1395) 1200(1390) 1201(1398) -00 0 -.names 644(1391) 487(403) 1025(1399) -11 1 -.names 895(1396) 295(1400) -1 1 -.names 895(1396) 331(1401) -1 1 -.names 988(1387) 984(1397) 990(1402) -11 1 -.names 1205(1388) 1201(1398) 1207(1403) -11 1 -.names 984(1397) 987(1404) -1 0 -.names 1201(1398) 1204(1405) -1 0 -.names 1025(1399) 397(1406) -1 1 -.names 1025(1399) 1027(1407) -1 0 -.names 690(1393) 1027(1407) 1830(1108) 1085(1408) -111 1 -.names 973(1361) 987(1404) 989(1409) -11 1 -.names 1190(1362) 1204(1405) 1206(1410) -11 1 -.names 989(1409) 990(1402) 991(1411) -00 0 -.names 1206(1410) 1207(1403) 1208(1412) -00 0 -.names 1208(1412) 991(1411) 1221(1413) -11 0 -.names 1208(1412) 329(1414) -1 1 -.names 1221(1413) 991(1411) 1239(1415) -11 1 -.names 1208(1412) 1221(1413) 1238(1416) -11 1 -.names 1238(1416) 1239(1415) 1240(1417) -00 0 -.names 1240(1417) 1247(1418) -1 0 -.names 1240(1417) 1247(1418) 471(1419) -11 1 -.names 471(1419) 1247(1418) 473(1420) -00 0 -.names 1553(1110) 1087(1275) 473(1420) 1088(1421) -111 1 -.names 473(1420) 231(1422) -1 0 -.names 1085(1408) 1088(1421) 554(581) 1089(1423) -111 1 -.names 1089(1423) 225(1424) -1 0 -.names 1089(1423) 308(1425) -1 1 -.end |