des(0, 4570, 3025)
(0," dummy ",1)
(0," dummy ",2)
(1," dummy; prob 0.500000",3)
(1," dummy; prob 0.500000",4)
(2," dummy; prob 0.500000",5)
(2," dummy; prob 0.500000",6)
(3," dummy ",7)
(3," dummy ",8)
(4," dummy ",9)
(4," dummy ",10)
(5," dummy ",11)
(5," dummy ",12)
(6," dummy ",13)
(6," dummy ",14)
(7," dummy; prob 0.500000",15)
(7," dummy; prob 0.500000",16)
(8," dummy ",17)
(9," dummy; prob 0.500000",18)
(9," dummy; prob 0.500000",19)
(10," dummy ",20)
(11," dummy ",21)
(12," dummy; prob 0.500000",15)
(12," dummy; prob 0.500000",18)
(13," dummy ",22)
(14," dummy; prob 0.500000",16)
(14," dummy; prob 0.500000",19)
(15," dummy ",23)
(15," dummy ",24)
(16," dummy ",25)
(16," dummy ",26)
(17," dummy; prob 0.500000",24)
(17," dummy; prob 0.500000",26)
(18," dummy ",27)
(18," dummy ",28)
(19," dummy ",29)
(19," dummy ",30)
(20," dummy; prob 0.500000",28)
(20," dummy; prob 0.500000",30)
(21," dummy; prob 0.500000",23)
(21," dummy; prob 0.500000",27)
(22," dummy; prob 0.500000",25)
(22," dummy; prob 0.500000",29)
(23," dummy ",31)
(24," dummy ",31)
(25," dummy ",32)
(26," dummy ",32)
(27," dummy ",33)
(28," dummy ",33)
(29," dummy ",34)
(30," dummy ",34)
(31," dummy ",35)
(31," dummy ",36)
(32," dummy ",37)
(33," dummy ",38)
(34," dummy ",39)
(34," dummy ",40)
(35," dummy ",41)
(35," dummy ",42)
(36," dummy ",43)
(36," dummy ",44)
(37," dummy ",45)
(38," dummy ",46)
(39," dummy ",47)
(39," dummy ",48)
(40," dummy ",49)
(40," dummy ",50)
(41," dummy ",51)
(41," dummy ",52)
(42," dummy ",53)
(43," dummy ",54)
(43," dummy ",55)
(44," dummy ",56)
(45," dummy ",57)
(46," dummy ",58)
(47," dummy ",59)
(47," dummy ",60)
(48," dummy ",61)
(49," dummy ",62)
(49," dummy ",63)
(50," dummy ",64)
(51," dummy ",65)
(51," dummy ",66)
(52," dummy ",66)
(52," dummy ",67)
(53," dummy ",68)
(54," dummy ",69)
(54," dummy ",70)
(55," dummy ",70)
(55," dummy ",71)
(56," dummy ",68)
(57," dummy ",68)
(58," dummy ",68)
(59," dummy ",72)
(59," dummy ",73)
(60," dummy ",73)
(60," dummy ",74)
(61," dummy ",68)
(62," dummy ",75)
(62," dummy ",76)
(63," dummy ",76)
(63," dummy ",77)
(64," dummy ",68)
(65," dummy; prob 0.500000",78)
(65," dummy; prob 0.500000",79)
(66," dummy ",80)
(66," dummy ",81)
(67," dummy; prob 0.500000",82)
(67," dummy; prob 0.500000",83)
(68," dummy ",68)
(69," dummy; prob 0.500000",84)
(69," dummy; prob 0.500000",85)
(70," dummy ",80)
(70," dummy ",81)
(71," dummy; prob 0.500000",86)
(71," dummy; prob 0.500000",87)
(72," dummy; prob 0.500000",88)
(72," dummy; prob 0.500000",89)
(73," dummy ",90)
(73," dummy ",91)
(74," dummy; prob 0.500000",92)
(74," dummy; prob 0.500000",93)
(75," dummy; prob 0.500000",94)
(75," dummy; prob 0.500000",95)
(76," dummy ",90)
(76," dummy ",91)
(77," dummy; prob 0.500000",96)
(77," dummy; prob 0.500000",97)
(78," dummy ",98)
(79," dummy ",99)
(80," dummy; prob 0.500000",100)
(80," dummy; prob 0.500000",101)
(81," dummy; prob 0.500000",102)
(81," dummy; prob 0.500000",103)
(82," dummy ",104)
(83," dummy ",105)
(84," dummy ",106)
(85," dummy ",107)
(86," dummy ",108)
(87," dummy ",109)
(88," dummy ",110)
(89," dummy ",111)
(90," dummy; prob 0.500000",112)
(90," dummy; prob 0.500000",113)
(91," dummy; prob 0.500000",114)
(91," dummy; prob 0.500000",115)
(92," dummy ",116)
(93," dummy ",117)
(94," dummy ",118)
(95," dummy ",119)
(96," dummy ",120)
(97," dummy ",121)
(98," dummy ",122)
(98," dummy ",123)
(99," dummy ",124)
(99," dummy ",125)
(100," dummy ",126)
(100," dummy ",127)
(101," dummy ",128)
(101," dummy ",129)
(102," dummy ",130)
(102," dummy ",131)
(103," dummy ",132)
(103," dummy ",133)
(104," dummy ",134)
(104," dummy ",135)
(105," dummy ",136)
(105," dummy ",137)
(106," dummy ",122)
(106," dummy ",138)
(107," dummy ",124)
(107," dummy ",139)
(108," dummy ",140)
(108," dummy ",135)
(109," dummy ",141)
(109," dummy ",137)
(110," dummy ",142)
(110," dummy ",143)
(111," dummy ",144)
(111," dummy ",145)
(112," dummy ",146)
(112," dummy ",147)
(113," dummy ",148)
(113," dummy ",149)
(114," dummy ",150)
(114," dummy ",151)
(115," dummy ",152)
(115," dummy ",153)
(116," dummy ",154)
(116," dummy ",155)
(117," dummy ",156)
(117," dummy ",157)
(118," dummy ",142)
(118," dummy ",158)
(119," dummy ",144)
(119," dummy ",159)
(120," dummy ",160)
(120," dummy ",155)
(121," dummy ",161)
(121," dummy ",157)
(122," dummy; prob 0.500000",162)
(122," dummy; prob 0.500000",163)
(123," dummy ",164)
(124," dummy; prob 0.500000",165)
(124," dummy; prob 0.500000",166)
(125," dummy ",167)
(126," dummy; prob 0.500000",168)
(126," dummy; prob 0.500000",169)
(127," dummy ",170)
(128," dummy; prob 0.500000",171)
(128," dummy; prob 0.500000",172)
(129," dummy ",173)
(130," dummy ",174)
(131," dummy; prob 0.500000",168)
(131," dummy; prob 0.500000",171)
(132," dummy ",175)
(133," dummy; prob 0.500000",169)
(133," dummy; prob 0.500000",172)
(134," dummy ",176)
(135," dummy; prob 0.500000",177)
(135," dummy; prob 0.500000",178)
(136," dummy ",179)
(137," dummy; prob 0.500000",180)
(137," dummy; prob 0.500000",181)
(138," dummy ",164)
(139," dummy ",167)
(140," dummy ",176)
(141," dummy ",179)
(142," dummy; prob 0.500000",182)
(142," dummy; prob 0.500000",183)
(143," dummy ",184)
(144," dummy; prob 0.500000",185)
(144," dummy; prob 0.500000",186)
(145," dummy ",187)
(146," dummy; prob 0.500000",188)
(146," dummy; prob 0.500000",189)
(147," dummy ",190)
(148," dummy; prob 0.500000",191)
(148," dummy; prob 0.500000",192)
(149," dummy ",193)
(150," dummy ",194)
(151," dummy; prob 0.500000",188)
(151," dummy; prob 0.500000",191)
(152," dummy ",195)
(153," dummy; prob 0.500000",189)
(153," dummy; prob 0.500000",192)
(154," dummy ",196)
(155," dummy; prob 0.500000",197)
(155," dummy; prob 0.500000",198)
(156," dummy ",199)
(157," dummy; prob 0.500000",200)
(157," dummy; prob 0.500000",201)
(158," dummy ",184)
(159," dummy ",187)
(160," dummy ",196)
(161," dummy ",199)
(162," dummy ",202)
(162," dummy ",203)
(163," dummy ",204)
(163," dummy ",205)
(164," dummy; prob 0.500000",203)
(164," dummy; prob 0.500000",205)
(165," dummy ",206)
(165," dummy ",207)
(166," dummy ",208)
(166," dummy ",209)
(167," dummy; prob 0.500000",207)
(167," dummy; prob 0.500000",209)
(168," dummy ",210)
(168," dummy ",211)
(169," dummy ",212)
(169," dummy ",213)
(170," dummy; prob 0.500000",211)
(170," dummy; prob 0.500000",213)
(171," dummy ",214)
(171," dummy ",215)
(172," dummy ",216)
(172," dummy ",217)
(173," dummy; prob 0.500000",215)
(173," dummy; prob 0.500000",217)
(174," dummy; prob 0.500000",210)
(174," dummy; prob 0.500000",214)
(175," dummy; prob 0.500000",212)
(175," dummy; prob 0.500000",216)
(176," dummy; prob 0.500000",218)
(176," dummy; prob 0.500000",219)
(177," dummy ",218)
(177," dummy ",220)
(178," dummy ",219)
(178," dummy ",221)
(179," dummy; prob 0.500000",222)
(179," dummy; prob 0.500000",223)
(180," dummy ",222)
(180," dummy ",224)
(181," dummy ",223)
(181," dummy ",225)
(182," dummy ",226)
(182," dummy ",227)
(183," dummy ",228)
(183," dummy ",229)
(184," dummy; prob 0.500000",227)
(184," dummy; prob 0.500000",229)
(185," dummy ",230)
(185," dummy ",231)
(186," dummy ",232)
(186," dummy ",233)
(187," dummy; prob 0.500000",231)
(187," dummy; prob 0.500000",233)
(188," dummy ",234)
(188," dummy ",235)
(189," dummy ",236)
(189," dummy ",237)
(190," dummy; prob 0.500000",235)
(190," dummy; prob 0.500000",237)
(191," dummy ",238)
(191," dummy ",239)
(192," dummy ",240)
(192," dummy ",241)
(193," dummy; prob 0.500000",239)
(193," dummy; prob 0.500000",241)
(194," dummy; prob 0.500000",234)
(194," dummy; prob 0.500000",238)
(195," dummy; prob 0.500000",236)
(195," dummy; prob 0.500000",240)
(196," dummy; prob 0.500000",242)
(196," dummy; prob 0.500000",243)
(197," dummy ",242)
(197," dummy ",244)
(198," dummy ",243)
(198," dummy ",245)
(199," dummy; prob 0.500000",246)
(199," dummy; prob 0.500000",247)
(200," dummy ",246)
(200," dummy ",248)
(201," dummy ",247)
(201," dummy ",249)
(202," dummy ",250)
(203," dummy ",250)
(204," dummy ",251)
(205," dummy ",251)
(206," dummy ",252)
(207," dummy ",252)
(208," dummy ",253)
(209," dummy ",253)
(210," dummy ",254)
(211," dummy ",254)
(212," dummy ",255)
(213," dummy ",255)
(214," dummy ",256)
(215," dummy ",256)
(216," dummy ",257)
(217," dummy ",257)
(218," dummy ",258)
(219," dummy ",259)
(220," dummy ",258)
(221," dummy ",259)
(222," dummy ",260)
(223," dummy ",261)
(224," dummy ",260)
(225," dummy ",261)
(226," dummy ",262)
(227," dummy ",262)
(228," dummy ",263)
(229," dummy ",263)
(230," dummy ",264)
(231," dummy ",264)
(232," dummy ",265)
(233," dummy ",265)
(234," dummy ",266)
(235," dummy ",266)
(236," dummy ",267)
(237," dummy ",267)
(238," dummy ",268)
(239," dummy ",268)
(240," dummy ",269)
(241," dummy ",269)
(242," dummy ",270)
(243," dummy ",271)
(244," dummy ",270)
(245," dummy ",271)
(246," dummy ",272)
(247," dummy ",273)
(248," dummy ",272)
(249," dummy ",273)
(250," dummy ",274)
(250," dummy ",275)
(251," dummy ",276)
(252," dummy ",277)
(253," dummy ",278)
(253," dummy ",279)
(254," dummy ",280)
(254," dummy ",281)
(255," dummy ",282)
(256," dummy ",283)
(257," dummy ",284)
(257," dummy ",285)
(258," dummy ",286)
(258," dummy ",287)
(259," dummy ",288)
(260," dummy ",289)
(261," dummy ",290)
(261," dummy ",291)
(262," dummy ",292)
(262," dummy ",293)
(263," dummy ",294)
(264," dummy ",295)
(265," dummy ",296)
(265," dummy ",297)
(266," dummy ",298)
(266," dummy ",299)
(267," dummy ",300)
(268," dummy ",301)
(269," dummy ",302)
(269," dummy ",303)
(270," dummy ",304)
(270," dummy ",305)
(271," dummy ",306)
(272," dummy ",307)
(273," dummy ",308)
(273," dummy ",309)
(274," dummy ",310)
(274," dummy ",311)
(275," dummy ",312)
(275," dummy ",313)
(276," dummy ",314)
(277," dummy ",315)
(278," dummy ",316)
(278," dummy ",317)
(279," dummy ",318)
(279," dummy ",319)
(280," dummy ",320)
(280," dummy ",321)
(281," dummy ",322)
(281," dummy ",323)
(282," dummy ",324)
(283," dummy ",325)
(284," dummy ",326)
(284," dummy ",327)
(285," dummy ",328)
(285," dummy ",329)
(286," dummy ",330)
(286," dummy ",331)
(287," dummy ",332)
(287," dummy ",333)
(288," dummy ",334)
(289," dummy ",335)
(290," dummy ",336)
(290," dummy ",337)
(291," dummy ",338)
(291," dummy ",339)
(292," dummy ",340)
(292," dummy ",341)
(293," dummy ",342)
(293," dummy ",343)
(294," dummy ",344)
(295," dummy ",345)
(296," dummy ",346)
(296," dummy ",347)
(297," dummy ",348)
(297," dummy ",349)
(298," dummy ",350)
(298," dummy ",351)
(299," dummy ",352)
(299," dummy ",353)
(300," dummy ",354)
(301," dummy ",355)
(302," dummy ",356)
(302," dummy ",357)
(303," dummy ",358)
(303," dummy ",359)
(304," dummy ",360)
(304," dummy ",361)
(305," dummy ",362)
(305," dummy ",363)
(306," dummy ",364)
(307," dummy ",365)
(308," dummy ",366)
(308," dummy ",367)
(309," dummy ",368)
(309," dummy ",369)
(310," dummy ",370)
(310," dummy ",371)
(311," dummy ",372)
(312," dummy ",373)
(312," dummy ",374)
(313," dummy ",375)
(314," dummy ",376)
(315," dummy ",377)
(316," dummy ",378)
(316," dummy ",379)
(317," dummy ",380)
(318," dummy ",381)
(318," dummy ",382)
(319," dummy ",383)
(320," dummy ",384)
(320," dummy ",385)
(321," dummy ",386)
(322," dummy ",373)
(322," dummy ",374)
(323," dummy ",387)
(324," dummy ",388)
(325," dummy ",389)
(326," dummy ",390)
(326," dummy ",391)
(327," dummy ",392)
(328," dummy ",381)
(328," dummy ",382)
(329," dummy ",393)
(330," dummy ",384)
(330," dummy ",385)
(331," dummy ",394)
(332," dummy ",395)
(332," dummy ",396)
(333," dummy ",397)
(334," dummy ",398)
(335," dummy ",399)
(336," dummy ",390)
(336," dummy ",391)
(337," dummy ",400)
(338," dummy ",401)
(338," dummy ",402)
(339," dummy ",403)
(340," dummy ",404)
(340," dummy ",405)
(341," dummy ",406)
(342," dummy ",407)
(342," dummy ",408)
(343," dummy ",409)
(344," dummy ",410)
(345," dummy ",411)
(346," dummy ",412)
(346," dummy ",413)
(347," dummy ",414)
(348," dummy ",415)
(348," dummy ",416)
(349," dummy ",417)
(350," dummy ",418)
(350," dummy ",419)
(351," dummy ",420)
(352," dummy ",407)
(352," dummy ",408)
(353," dummy ",421)
(354," dummy ",422)
(355," dummy ",423)
(356," dummy ",424)
(356," dummy ",425)
(357," dummy ",426)
(358," dummy ",415)
(358," dummy ",416)
(359," dummy ",427)
(360," dummy ",418)
(360," dummy ",419)
(361," dummy ",428)
(362," dummy ",429)
(362," dummy ",430)
(363," dummy ",431)
(364," dummy ",432)
(365," dummy ",433)
(366," dummy ",424)
(366," dummy ",425)
(367," dummy ",434)
(368," dummy ",435)
(368," dummy ",436)
(369," dummy ",437)
(370," dummy ",438)
(370," dummy ",439)
(371," dummy ",439)
(371," dummy ",440)
(372," dummy ",68)
(373," dummy ",441)
(373," dummy ",442)
(374," dummy ",442)
(374," dummy ",443)
(375," dummy ",68)
(376," dummy ",68)
(377," dummy ",68)
(378," dummy ",444)
(378," dummy ",445)
(379," dummy ",445)
(379," dummy ",446)
(380," dummy ",68)
(381," dummy ",447)
(381," dummy ",448)
(382," dummy ",448)
(382," dummy ",449)
(383," dummy ",68)
(384," dummy ",450)
(384," dummy ",451)
(385," dummy ",451)
(385," dummy ",452)
(386," dummy ",68)
(387," dummy ",68)
(388," dummy ",68)
(389," dummy ",68)
(390," dummy ",453)
(390," dummy ",454)
(391," dummy ",454)
(391," dummy ",455)
(392," dummy ",68)
(393," dummy ",68)
(394," dummy ",68)
(395," dummy ",456)
(395," dummy ",457)
(396," dummy ",457)
(396," dummy ",458)
(397," dummy ",68)
(398," dummy ",68)
(399," dummy ",68)
(400," dummy ",68)
(401," dummy ",459)
(401," dummy ",460)
(402," dummy ",460)
(402," dummy ",461)
(403," dummy ",68)
(404," dummy ",462)
(404," dummy ",445)
(405," dummy ",445)
(405," dummy ",463)
(406," dummy ",68)
(407," dummy ",464)
(407," dummy ",465)
(408," dummy ",465)
(408," dummy ",466)
(409," dummy ",68)
(410," dummy ",68)
(410," dummy ",467)
(411," dummy ",68)
(411," dummy ",467)
(412," dummy ",468)
(412," dummy ",469)
(413," dummy ",469)
(413," dummy ",470)
(414," dummy ",68)
(414," dummy ",467)
(415," dummy ",471)
(415," dummy ",472)
(416," dummy ",472)
(416," dummy ",473)
(417," dummy ",68)
(417," dummy ",467)
(418," dummy ",474)
(418," dummy ",475)
(419," dummy ",475)
(419," dummy ",476)
(420," dummy ",68)
(421," dummy ",68)
(422," dummy ",68)
(422," dummy ",467)
(423," dummy ",68)
(423," dummy ",467)
(424," dummy ",477)
(424," dummy ",478)
(425," dummy ",478)
(425," dummy ",479)
(426," dummy ",68)
(426," dummy ",467)
(427," dummy ",68)
(427," dummy ",467)
(428," dummy ",68)
(429," dummy ",480)
(429," dummy ",460)
(430," dummy ",460)
(430," dummy ",481)
(431," dummy ",68)
(432," dummy ",68)
(432," dummy ",467)
(433," dummy ",68)
(433," dummy ",467)
(434," dummy ",68)
(434," dummy ",467)
(435," dummy ",482)
(435," dummy ",483)
(436," dummy ",483)
(436," dummy ",484)
(437," dummy ",68)
(437," dummy ",467)
(438," dummy; prob 0.500000",485)
(438," dummy; prob 0.500000",486)
(439," dummy ",487)
(439," dummy ",488)
(440," dummy; prob 0.500000",489)
(440," dummy; prob 0.500000",490)
(441," dummy; prob 0.500000",491)
(441," dummy; prob 0.500000",492)
(442," dummy ",487)
(442," dummy ",488)
(443," dummy; prob 0.500000",493)
(443," dummy; prob 0.500000",494)
(444," dummy; prob 0.500000",495)
(444," dummy; prob 0.500000",496)
(445," dummy ",497)
(445," dummy ",498)
(446," dummy; prob 0.500000",499)
(446," dummy; prob 0.500000",500)
(447," dummy; prob 0.500000",501)
(447," dummy; prob 0.500000",502)
(448," dummy ",497)
(448," dummy ",498)
(449," dummy; prob 0.500000",503)
(449," dummy; prob 0.500000",504)
(450," dummy; prob 0.500000",505)
(450," dummy; prob 0.500000",506)
(451," dummy ",487)
(451," dummy ",488)
(452," dummy; prob 0.500000",507)
(452," dummy; prob 0.500000",508)
(453," dummy; prob 0.500000",509)
(453," dummy; prob 0.500000",510)
(454," dummy ",497)
(454," dummy ",498)
(455," dummy; prob 0.500000",511)
(455," dummy; prob 0.500000",512)
(456," dummy; prob 0.500000",513)
(456," dummy; prob 0.500000",514)
(457," dummy ",487)
(457," dummy ",488)
(458," dummy; prob 0.500000",515)
(458," dummy; prob 0.500000",516)
(459," dummy; prob 0.500000",517)
(459," dummy; prob 0.500000",518)
(460," dummy ",497)
(460," dummy ",498)
(461," dummy; prob 0.500000",519)
(461," dummy; prob 0.500000",520)
(462," dummy; prob 0.500000",521)
(462," dummy; prob 0.500000",522)
(463," dummy; prob 0.500000",523)
(463," dummy; prob 0.500000",524)
(464," dummy; prob 0.500000",525)
(464," dummy; prob 0.500000",526)
(465," dummy ",497)
(465," dummy ",498)
(466," dummy; prob 0.500000",527)
(466," dummy; prob 0.500000",528)
(467," dummy; prob 0.800000",467)
(468," dummy; prob 0.500000",529)
(468," dummy; prob 0.500000",530)
(469," dummy ",531)
(469," dummy ",532)
(470," dummy; prob 0.500000",533)
(470," dummy; prob 0.500000",534)
(471," dummy; prob 0.500000",535)
(471," dummy; prob 0.500000",536)
(472," dummy ",531)
(472," dummy ",532)
(473," dummy; prob 0.500000",537)
(473," dummy; prob 0.500000",538)
(474," dummy; prob 0.500000",539)
(474," dummy; prob 0.500000",540)
(475," dummy ",497)
(475," dummy ",498)
(476," dummy; prob 0.500000",541)
(476," dummy; prob 0.500000",542)
(477," dummy; prob 0.500000",543)
(477," dummy; prob 0.500000",544)
(478," dummy ",531)
(478," dummy ",532)
(479," dummy; prob 0.500000",545)
(479," dummy; prob 0.500000",546)
(480," dummy; prob 0.500000",547)
(480," dummy; prob 0.500000",548)
(481," dummy; prob 0.500000",549)
(481," dummy; prob 0.500000",550)
(482," dummy; prob 0.500000",551)
(482," dummy; prob 0.500000",552)
(483," dummy ",531)
(483," dummy ",532)
(484," dummy; prob 0.500000",553)
(484," dummy; prob 0.500000",554)
(485," dummy ",555)
(486," dummy ",556)
(487," dummy; prob 0.500000",557)
(487," dummy; prob 0.500000",558)
(488," dummy; prob 0.500000",559)
(488," dummy; prob 0.500000",560)
(489," dummy ",561)
(490," dummy ",562)
(491," dummy ",563)
(492," dummy ",564)
(493," dummy ",565)
(494," dummy ",566)
(495," dummy ",567)
(496," dummy ",568)
(497," dummy; prob 0.500000",569)
(497," dummy; prob 0.500000",570)
(498," dummy; prob 0.500000",571)
(498," dummy; prob 0.500000",572)
(499," dummy ",573)
(500," dummy ",574)
(501," dummy ",575)
(502," dummy ",576)
(503," dummy ",577)
(504," dummy ",578)
(505," dummy ",579)
(506," dummy ",580)
(507," dummy ",581)
(508," dummy ",582)
(509," dummy ",583)
(510," dummy ",584)
(511," dummy ",585)
(512," dummy ",586)
(513," dummy ",587)
(514," dummy ",588)
(515," dummy ",589)
(516," dummy ",590)
(517," dummy ",591)
(518," dummy ",592)
(519," dummy ",593)
(520," dummy ",594)
(521," dummy ",567)
(522," dummy ",568)
(523," dummy ",573)
(524," dummy ",574)
(525," dummy ",595)
(526," dummy ",596)
(527," dummy ",597)
(528," dummy ",598)
(529," dummy ",599)
(530," dummy ",600)
(531," dummy; prob 0.500000",601)
(531," dummy; prob 0.500000",602)
(532," dummy; prob 0.500000",603)
(532," dummy; prob 0.500000",604)
(533," dummy ",605)
(534," dummy ",606)
(535," dummy ",607)
(536," dummy ",608)
(537," dummy ",609)
(538," dummy ",610)
(539," dummy ",611)
(540," dummy ",612)
(541," dummy ",613)
(542," dummy ",614)
(543," dummy ",615)
(544," dummy ",616)
(545," dummy ",617)
(546," dummy ",618)
(547," dummy ",591)
(548," dummy ",592)
(549," dummy ",593)
(550," dummy ",594)
(551," dummy ",619)
(552," dummy ",620)
(553," dummy ",621)
(554," dummy ",622)
(555," dummy ",623)
(555," dummy ",624)
(556," dummy ",625)
(556," dummy ",626)
(557," dummy ",627)
(557," dummy ",628)
(558," dummy ",629)
(558," dummy ",630)
(559," dummy ",631)
(559," dummy ",632)
(560," dummy ",633)
(560," dummy ",634)
(561," dummy ",635)
(561," dummy ",636)
(562," dummy ",637)
(562," dummy ",638)
(563," dummy ",623)
(563," dummy ",639)
(564," dummy ",625)
(564," dummy ",640)
(565," dummy ",641)
(565," dummy ",636)
(566," dummy ",642)
(566," dummy ",638)
(567," dummy ",643)
(567," dummy ",644)
(568," dummy ",645)
(568," dummy ",646)
(569," dummy ",647)
(569," dummy ",648)
(570," dummy ",649)
(570," dummy ",650)
(571," dummy ",651)
(571," dummy ",652)
(572," dummy ",653)
(572," dummy ",654)
(573," dummy ",655)
(573," dummy ",656)
(574," dummy ",657)
(574," dummy ",658)
(575," dummy ",643)
(575," dummy ",659)
(576," dummy ",645)
(576," dummy ",660)
(577," dummy ",661)
(577," dummy ",656)
(578," dummy ",662)
(578," dummy ",658)
(579," dummy ",623)
(579," dummy ",663)
(580," dummy ",625)
(580," dummy ",664)
(581," dummy ",665)
(581," dummy ",636)
(582," dummy ",666)
(582," dummy ",638)
(583," dummy ",643)
(583," dummy ",667)
(584," dummy ",645)
(584," dummy ",668)
(585," dummy ",669)
(585," dummy ",656)
(586," dummy ",670)
(586," dummy ",658)
(587," dummy ",623)
(587," dummy ",671)
(588," dummy ",625)
(588," dummy ",672)
(589," dummy ",673)
(589," dummy ",636)
(590," dummy ",674)
(590," dummy ",638)
(591," dummy ",643)
(591," dummy ",675)
(592," dummy ",645)
(592," dummy ",676)
(593," dummy ",677)
(593," dummy ",656)
(594," dummy ",678)
(594," dummy ",658)
(595," dummy ",643)
(595," dummy ",679)
(596," dummy ",645)
(596," dummy ",680)
(597," dummy ",681)
(597," dummy ",656)
(598," dummy ",682)
(598," dummy ",658)
(599," dummy ",683)
(599," dummy ",684)
(600," dummy ",685)
(600," dummy ",686)
(601," dummy ",687)
(601," dummy ",688)
(602," dummy ",689)
(602," dummy ",690)
(603," dummy ",691)
(603," dummy ",692)
(604," dummy ",693)
(604," dummy ",694)
(605," dummy ",695)
(605," dummy ",696)
(606," dummy ",697)
(606," dummy ",698)
(607," dummy ",683)
(607," dummy ",699)
(608," dummy ",685)
(608," dummy ",700)
(609," dummy ",701)
(609," dummy ",696)
(610," dummy ",702)
(610," dummy ",698)
(611," dummy ",643)
(611," dummy ",703)
(612," dummy ",645)
(612," dummy ",704)
(613," dummy ",705)
(613," dummy ",656)
(614," dummy ",706)
(614," dummy ",658)
(615," dummy ",683)
(615," dummy ",707)
(616," dummy ",685)
(616," dummy ",708)
(617," dummy ",709)
(617," dummy ",696)
(618," dummy ",710)
(618," dummy ",698)
(619," dummy ",683)
(619," dummy ",711)
(620," dummy ",685)
(620," dummy ",712)
(621," dummy ",713)
(621," dummy ",696)
(622," dummy ",714)
(622," dummy ",698)
(623," dummy; prob 0.500000",715)
(623," dummy; prob 0.500000",716)
(624," dummy ",717)
(625," dummy; prob 0.500000",718)
(625," dummy; prob 0.500000",719)
(626," dummy ",720)
(627," dummy; prob 0.500000",721)
(627," dummy; prob 0.500000",722)
(628," dummy ",723)
(629," dummy; prob 0.500000",724)
(629," dummy; prob 0.500000",725)
(630," dummy ",726)
(631," dummy ",727)
(632," dummy; prob 0.500000",721)
(632," dummy; prob 0.500000",724)
(633," dummy ",728)
(634," dummy; prob 0.500000",722)
(634," dummy; prob 0.500000",725)
(635," dummy ",729)
(636," dummy; prob 0.500000",730)
(636," dummy; prob 0.500000",731)
(637," dummy ",732)
(638," dummy; prob 0.500000",733)
(638," dummy; prob 0.500000",734)
(639," dummy ",717)
(640," dummy ",720)
(641," dummy ",729)
(642," dummy ",732)
(643," dummy; prob 0.500000",735)
(643," dummy; prob 0.500000",736)
(644," dummy ",737)
(645," dummy; prob 0.500000",738)
(645," dummy; prob 0.500000",739)
(646," dummy ",740)
(647," dummy; prob 0.500000",741)
(647," dummy; prob 0.500000",742)
(648," dummy ",743)
(649," dummy; prob 0.500000",744)
(649," dummy; prob 0.500000",745)
(650," dummy ",746)
(651," dummy ",747)
(652," dummy; prob 0.500000",741)
(652," dummy; prob 0.500000",744)
(653," dummy ",748)
(654," dummy; prob 0.500000",742)
(654," dummy; prob 0.500000",745)
(655," dummy ",749)
(656," dummy; prob 0.500000",750)
(656," dummy; prob 0.500000",751)
(657," dummy ",752)
(658," dummy; prob 0.500000",753)
(658," dummy; prob 0.500000",754)
(659," dummy ",737)
(660," dummy ",740)
(661," dummy ",749)
(662," dummy ",752)
(663," dummy ",717)
(664," dummy ",720)
(665," dummy ",729)
(666," dummy ",732)
(667," dummy ",737)
(668," dummy ",740)
(669," dummy ",749)
(670," dummy ",752)
(671," dummy ",717)
(672," dummy ",720)
(673," dummy ",729)
(674," dummy ",732)
(675," dummy ",737)
(676," dummy ",740)
(677," dummy ",749)
(678," dummy ",752)
(679," dummy ",737)
(680," dummy ",740)
(681," dummy ",749)
(682," dummy ",752)
(683," dummy; prob 0.500000",755)
(683," dummy; prob 0.500000",756)
(684," dummy ",757)
(685," dummy; prob 0.500000",758)
(685," dummy; prob 0.500000",759)
(686," dummy ",760)
(687," dummy; prob 0.500000",761)
(687," dummy; prob 0.500000",762)
(688," dummy ",763)
(689," dummy; prob 0.500000",764)
(689," dummy; prob 0.500000",765)
(690," dummy ",766)
(691," dummy ",767)
(692," dummy; prob 0.500000",761)
(692," dummy; prob 0.500000",764)
(693," dummy ",768)
(694," dummy; prob 0.500000",762)
(694," dummy; prob 0.500000",765)
(695," dummy ",769)
(696," dummy; prob 0.500000",770)
(696," dummy; prob 0.500000",771)
(697," dummy ",772)
(698," dummy; prob 0.500000",773)
(698," dummy; prob 0.500000",774)
(699," dummy ",757)
(700," dummy ",760)
(701," dummy ",769)
(702," dummy ",772)
(703," dummy ",737)
(704," dummy ",740)
(705," dummy ",749)
(706," dummy ",752)
(707," dummy ",757)
(708," dummy ",760)
(709," dummy ",769)
(710," dummy ",772)
(711," dummy ",757)
(712," dummy ",760)
(713," dummy ",769)
(714," dummy ",772)
(715," dummy ",775)
(715," dummy ",776)
(716," dummy ",777)
(716," dummy ",778)
(717," dummy; prob 0.500000",776)
(717," dummy; prob 0.500000",778)
(718," dummy ",779)
(718," dummy ",780)
(719," dummy ",781)
(719," dummy ",782)
(720," dummy; prob 0.500000",780)
(720," dummy; prob 0.500000",782)
(721," dummy ",783)
(721," dummy ",784)
(722," dummy ",785)
(722," dummy ",786)
(723," dummy; prob 0.500000",784)
(723," dummy; prob 0.500000",786)
(724," dummy ",787)
(724," dummy ",788)
(725," dummy ",789)
(725," dummy ",790)
(726," dummy; prob 0.500000",788)
(726," dummy; prob 0.500000",790)
(727," dummy; prob 0.500000",783)
(727," dummy; prob 0.500000",787)
(728," dummy; prob 0.500000",785)
(728," dummy; prob 0.500000",789)
(729," dummy; prob 0.500000",791)
(729," dummy; prob 0.500000",792)
(730," dummy ",791)
(730," dummy ",793)
(731," dummy ",792)
(731," dummy ",794)
(732," dummy; prob 0.500000",795)
(732," dummy; prob 0.500000",796)
(733," dummy ",795)
(733," dummy ",797)
(734," dummy ",796)
(734," dummy ",798)
(735," dummy ",799)
(735," dummy ",800)
(736," dummy ",801)
(736," dummy ",802)
(737," dummy; prob 0.500000",800)
(737," dummy; prob 0.500000",802)
(738," dummy ",803)
(738," dummy ",804)
(739," dummy ",805)
(739," dummy ",806)
(740," dummy; prob 0.500000",804)
(740," dummy; prob 0.500000",806)
(741," dummy ",807)
(741," dummy ",808)
(742," dummy ",809)
(742," dummy ",810)
(743," dummy; prob 0.500000",808)
(743," dummy; prob 0.500000",810)
(744," dummy ",811)
(744," dummy ",812)
(745," dummy ",813)
(745," dummy ",814)
(746," dummy; prob 0.500000",812)
(746," dummy; prob 0.500000",814)
(747," dummy; prob 0.500000",807)
(747," dummy; prob 0.500000",811)
(748," dummy; prob 0.500000",809)
(748," dummy; prob 0.500000",813)
(749," dummy; prob 0.500000",815)
(749," dummy; prob 0.500000",816)
(750," dummy ",815)
(750," dummy ",817)
(751," dummy ",816)
(751," dummy ",818)
(752," dummy; prob 0.500000",819)
(752," dummy; prob 0.500000",820)
(753," dummy ",819)
(753," dummy ",821)
(754," dummy ",820)
(754," dummy ",822)
(755," dummy ",823)
(755," dummy ",824)
(756," dummy ",825)
(756," dummy ",826)
(757," dummy; prob 0.500000",824)
(757," dummy; prob 0.500000",826)
(758," dummy ",827)
(758," dummy ",828)
(759," dummy ",829)
(759," dummy ",830)
(760," dummy; prob 0.500000",828)
(760," dummy; prob 0.500000",830)
(761," dummy ",831)
(761," dummy ",832)
(762," dummy ",833)
(762," dummy ",834)
(763," dummy; prob 0.500000",832)
(763," dummy; prob 0.500000",834)
(764," dummy ",835)
(764," dummy ",836)
(765," dummy ",837)
(765," dummy ",838)
(766," dummy; prob 0.500000",836)
(766," dummy; prob 0.500000",838)
(767," dummy; prob 0.500000",831)
(767," dummy; prob 0.500000",835)
(768," dummy; prob 0.500000",833)
(768," dummy; prob 0.500000",837)
(769," dummy; prob 0.500000",839)
(769," dummy; prob 0.500000",840)
(770," dummy ",839)
(770," dummy ",841)
(771," dummy ",840)
(771," dummy ",842)
(772," dummy; prob 0.500000",843)
(772," dummy; prob 0.500000",844)
(773," dummy ",843)
(773," dummy ",845)
(774," dummy ",844)
(774," dummy ",846)
(775," dummy ",847)
(776," dummy ",847)
(777," dummy ",848)
(778," dummy ",848)
(779," dummy ",849)
(780," dummy ",849)
(781," dummy ",850)
(782," dummy ",850)
(783," dummy ",851)
(784," dummy ",851)
(785," dummy ",852)
(786," dummy ",852)
(787," dummy ",853)
(788," dummy ",853)
(789," dummy ",854)
(790," dummy ",854)
(791," dummy ",855)
(792," dummy ",856)
(793," dummy ",855)
(794," dummy ",856)
(795," dummy ",857)
(796," dummy ",858)
(797," dummy ",857)
(798," dummy ",858)
(799," dummy ",859)
(800," dummy ",859)
(801," dummy ",860)
(802," dummy ",860)
(803," dummy ",861)
(804," dummy ",861)
(805," dummy ",862)
(806," dummy ",862)
(807," dummy ",863)
(808," dummy ",863)
(809," dummy ",864)
(810," dummy ",864)
(811," dummy ",865)
(812," dummy ",865)
(813," dummy ",866)
(814," dummy ",866)
(815," dummy ",867)
(816," dummy ",868)
(817," dummy ",867)
(818," dummy ",868)
(819," dummy ",869)
(820," dummy ",870)
(821," dummy ",869)
(822," dummy ",870)
(823," dummy ",871)
(824," dummy ",871)
(825," dummy ",872)
(826," dummy ",872)
(827," dummy ",873)
(828," dummy ",873)
(829," dummy ",874)
(830," dummy ",874)
(831," dummy ",875)
(832," dummy ",875)
(833," dummy ",876)
(834," dummy ",876)
(835," dummy ",877)
(836," dummy ",877)
(837," dummy ",878)
(838," dummy ",878)
(839," dummy ",879)
(840," dummy ",880)
(841," dummy ",879)
(842," dummy ",880)
(843," dummy ",881)
(844," dummy ",882)
(845," dummy ",881)
(846," dummy ",882)
(847," dummy ",883)
(847," dummy ",884)
(848," dummy ",885)
(849," dummy ",886)
(850," dummy ",887)
(850," dummy ",888)
(851," dummy ",889)
(851," dummy ",890)
(852," dummy ",891)
(853," dummy ",892)
(854," dummy ",893)
(854," dummy ",894)
(855," dummy ",895)
(855," dummy ",896)
(856," dummy ",897)
(857," dummy ",898)
(858," dummy ",899)
(858," dummy ",900)
(859," dummy ",901)
(859," dummy ",902)
(860," dummy ",903)
(861," dummy ",904)
(862," dummy ",905)
(862," dummy ",906)
(863," dummy ",907)
(863," dummy ",908)
(864," dummy ",909)
(865," dummy ",910)
(866," dummy ",911)
(866," dummy ",912)
(867," dummy ",913)
(867," dummy ",914)
(868," dummy ",915)
(869," dummy ",916)
(870," dummy ",917)
(870," dummy ",918)
(871," dummy ",919)
(871," dummy ",920)
(872," dummy ",921)
(873," dummy ",922)
(874," dummy ",923)
(874," dummy ",924)
(875," dummy ",925)
(875," dummy ",926)
(876," dummy ",927)
(877," dummy ",928)
(878," dummy ",929)
(878," dummy ",930)
(879," dummy ",931)
(879," dummy ",932)
(880," dummy ",933)
(881," dummy ",934)
(882," dummy ",935)
(882," dummy ",936)
(883," dummy ",937)
(883," dummy ",938)
(884," dummy ",939)
(884," dummy ",940)
(885," dummy ",941)
(886," dummy ",942)
(887," dummy ",943)
(887," dummy ",944)
(888," dummy ",945)
(888," dummy ",946)
(889," dummy ",947)
(889," dummy ",948)
(890," dummy ",949)
(890," dummy ",950)
(891," dummy ",951)
(892," dummy ",952)
(893," dummy ",953)
(893," dummy ",954)
(894," dummy ",955)
(894," dummy ",956)
(895," dummy ",957)
(895," dummy ",958)
(896," dummy ",959)
(896," dummy ",960)
(897," dummy ",961)
(898," dummy ",962)
(899," dummy ",963)
(899," dummy ",964)
(900," dummy ",965)
(900," dummy ",966)
(901," dummy ",967)
(901," dummy ",968)
(902," dummy ",969)
(902," dummy ",970)
(903," dummy ",971)
(904," dummy ",972)
(905," dummy ",973)
(905," dummy ",974)
(906," dummy ",975)
(906," dummy ",976)
(907," dummy ",977)
(907," dummy ",978)
(908," dummy ",979)
(908," dummy ",980)
(909," dummy ",981)
(910," dummy ",982)
(911," dummy ",983)
(911," dummy ",984)
(912," dummy ",985)
(912," dummy ",986)
(913," dummy ",987)
(913," dummy ",988)
(914," dummy ",989)
(914," dummy ",990)
(915," dummy ",991)
(916," dummy ",992)
(917," dummy ",993)
(917," dummy ",994)
(918," dummy ",995)
(918," dummy ",996)
(919," dummy ",997)
(919," dummy ",998)
(920," dummy ",999)
(920," dummy ",1000)
(921," dummy ",1001)
(922," dummy ",1002)
(923," dummy ",1003)
(923," dummy ",1004)
(924," dummy ",1005)
(924," dummy ",1006)
(925," dummy ",1007)
(925," dummy ",1008)
(926," dummy ",1009)
(926," dummy ",1010)
(927," dummy ",1011)
(928," dummy ",1012)
(929," dummy ",1013)
(929," dummy ",1014)
(930," dummy ",1015)
(930," dummy ",1016)
(931," dummy ",1017)
(931," dummy ",1018)
(932," dummy ",1019)
(932," dummy ",1020)
(933," dummy ",1021)
(934," dummy ",1022)
(935," dummy ",1023)
(935," dummy ",1024)
(936," dummy ",1025)
(936," dummy ",1026)
(937," dummy ",1027)
(937," dummy ",1028)
(938," dummy ",1029)
(939," dummy ",1030)
(939," dummy ",1031)
(940," dummy ",1032)
(941," dummy ",1033)
(942," dummy ",1034)
(943," dummy ",1035)
(943," dummy ",1036)
(944," dummy ",1037)
(945," dummy ",1038)
(945," dummy ",1039)
(946," dummy ",1040)
(947," dummy ",1041)
(947," dummy ",1042)
(948," dummy ",1043)
(949," dummy ",1030)
(949," dummy ",1031)
(950," dummy ",1044)
(951," dummy ",1045)
(952," dummy ",1046)
(953," dummy ",1047)
(953," dummy ",1048)
(954," dummy ",1049)
(955," dummy ",1038)
(955," dummy ",1039)
(956," dummy ",1050)
(957," dummy ",1041)
(957," dummy ",1042)
(958," dummy ",1051)
(959," dummy ",1052)
(959," dummy ",1053)
(960," dummy ",1054)
(961," dummy ",1055)
(962," dummy ",1056)
(963," dummy ",1047)
(963," dummy ",1048)
(964," dummy ",1057)
(965," dummy ",1058)
(965," dummy ",1059)
(966," dummy ",1060)
(967," dummy ",1061)
(967," dummy ",1062)
(968," dummy ",1063)
(969," dummy ",1064)
(969," dummy ",1065)
(970," dummy ",1066)
(971," dummy ",1067)
(972," dummy ",1068)
(973," dummy ",1069)
(973," dummy ",1070)
(974," dummy ",1071)
(975," dummy ",1072)
(975," dummy ",1073)
(976," dummy ",1074)
(977," dummy ",1075)
(977," dummy ",1076)
(978," dummy ",1077)
(979," dummy ",1064)
(979," dummy ",1065)
(980," dummy ",1078)
(981," dummy ",1079)
(982," dummy ",1080)
(983," dummy ",1081)
(983," dummy ",1082)
(984," dummy ",1083)
(985," dummy ",1072)
(985," dummy ",1073)
(986," dummy ",1084)
(987," dummy ",1075)
(987," dummy ",1076)
(988," dummy ",1085)
(989," dummy ",1086)
(989," dummy ",1087)
(990," dummy ",1088)
(991," dummy ",1089)
(992," dummy ",1090)
(993," dummy ",1081)
(993," dummy ",1082)
(994," dummy ",1091)
(995," dummy ",1092)
(995," dummy ",1093)
(996," dummy ",1094)
(997," dummy ",1095)
(997," dummy ",1096)
(998," dummy ",1097)
(999," dummy ",1098)
(999," dummy ",1099)
(1000," dummy ",1100)
(1001," dummy ",1101)
(1002," dummy ",1102)
(1003," dummy ",1103)
(1003," dummy ",1104)
(1004," dummy ",1105)
(1005," dummy ",1106)
(1005," dummy ",1107)
(1006," dummy ",1108)
(1007," dummy ",1109)
(1007," dummy ",1110)
(1008," dummy ",1111)
(1009," dummy ",1098)
(1009," dummy ",1099)
(1010," dummy ",1112)
(1011," dummy ",1113)
(1012," dummy ",1114)
(1013," dummy ",1115)
(1013," dummy ",1116)
(1014," dummy ",1117)
(1015," dummy ",1106)
(1015," dummy ",1107)
(1016," dummy ",1118)
(1017," dummy ",1109)
(1017," dummy ",1110)
(1018," dummy ",1119)
(1019," dummy ",1120)
(1019," dummy ",1121)
(1020," dummy ",1122)
(1021," dummy ",1123)
(1022," dummy ",1124)
(1023," dummy ",1115)
(1023," dummy ",1116)
(1024," dummy ",1125)
(1025," dummy ",1126)
(1025," dummy ",1127)
(1026," dummy ",1128)
(1027," dummy ",1129)
(1027," dummy ",1130)
(1028," dummy ",1130)
(1028," dummy ",1131)
(1029," dummy ",68)
(1030," dummy ",1132)
(1030," dummy ",1133)
(1031," dummy ",1133)
(1031," dummy ",1134)
(1032," dummy ",68)
(1033," dummy ",68)
(1033," dummy ",467)
(1034," dummy ",68)
(1034," dummy ",467)
(1035," dummy ",1135)
(1035," dummy ",1136)
(1036," dummy ",1136)
(1036," dummy ",1137)
(1037," dummy ",68)
(1037," dummy ",467)
(1038," dummy ",1138)
(1038," dummy ",1139)
(1039," dummy ",1139)
(1039," dummy ",1140)
(1040," dummy ",68)
(1040," dummy ",467)
(1041," dummy ",1141)
(1041," dummy ",1142)
(1042," dummy ",1142)
(1042," dummy ",1143)
(1043," dummy ",68)
(1044," dummy ",68)
(1045," dummy ",68)
(1045," dummy ",467)
(1046," dummy ",68)
(1046," dummy ",467)
(1047," dummy ",1144)
(1047," dummy ",1145)
(1048," dummy ",1145)
(1048," dummy ",1146)
(1049," dummy ",68)
(1049," dummy ",467)
(1050," dummy ",68)
(1050," dummy ",467)
(1051," dummy ",68)
(1052," dummy ",1147)
(1052," dummy ",1148)
(1053," dummy ",1148)
(1053," dummy ",1149)
(1054," dummy ",68)
(1055," dummy ",68)
(1055," dummy ",467)
(1056," dummy ",68)
(1056," dummy ",467)
(1057," dummy ",68)
(1057," dummy ",467)
(1058," dummy ",1150)
(1058," dummy ",1151)
(1059," dummy ",1151)
(1059," dummy ",1152)
(1060," dummy ",68)
(1060," dummy ",467)
(1061," dummy ",1153)
(1061," dummy ",1136)
(1062," dummy ",1136)
(1062," dummy ",1154)
(1063," dummy ",68)
(1063," dummy ",467)
(1064," dummy ",1155)
(1064," dummy ",1156)
(1065," dummy ",1156)
(1065," dummy ",1157)
(1066," dummy ",68)
(1066," dummy ",467)
(1067," dummy ",68)
(1067," dummy ",467)
(1068," dummy ",68)
(1068," dummy ",467)
(1069," dummy ",1158)
(1069," dummy ",1159)
(1070," dummy ",1159)
(1070," dummy ",1160)
(1071," dummy ",68)
(1071," dummy ",467)
(1072," dummy ",1161)
(1072," dummy ",1162)
(1073," dummy ",1162)
(1073," dummy ",1163)
(1074," dummy ",68)
(1074," dummy ",467)
(1075," dummy ",1164)
(1075," dummy ",1165)
(1076," dummy ",1165)
(1076," dummy ",1166)
(1077," dummy ",68)
(1077," dummy ",467)
(1078," dummy ",68)
(1078," dummy ",467)
(1079," dummy ",68)
(1079," dummy ",467)
(1080," dummy ",68)
(1080," dummy ",467)
(1081," dummy ",1167)
(1081," dummy ",1168)
(1082," dummy ",1168)
(1082," dummy ",1169)
(1083," dummy ",68)
(1083," dummy ",467)
(1084," dummy ",68)
(1084," dummy ",467)
(1085," dummy ",68)
(1085," dummy ",467)
(1086," dummy ",1170)
(1086," dummy ",1151)
(1087," dummy ",1151)
(1087," dummy ",1171)
(1088," dummy ",68)
(1088," dummy ",467)
(1089," dummy ",68)
(1089," dummy ",467)
(1090," dummy ",68)
(1090," dummy ",467)
(1091," dummy ",68)
(1091," dummy ",467)
(1092," dummy ",1172)
(1092," dummy ",1173)
(1093," dummy ",1173)
(1093," dummy ",1174)
(1094," dummy ",68)
(1094," dummy ",467)
(1095," dummy ",1175)
(1095," dummy ",1159)
(1096," dummy ",1159)
(1096," dummy ",1176)
(1097," dummy ",68)
(1097," dummy ",467)
(1098," dummy ",1177)
(1098," dummy ",1178)
(1099," dummy ",1178)
(1099," dummy ",1179)
(1100," dummy ",68)
(1100," dummy ",467)
(1101," dummy ",467)
(1102," dummy ",467)
(1103," dummy ",1180)
(1103," dummy ",1181)
(1104," dummy ",1181)
(1104," dummy ",1182)
(1105," dummy ",467)
(1106," dummy ",1183)
(1106," dummy ",1184)
(1107," dummy ",1184)
(1107," dummy ",1185)
(1108," dummy ",467)
(1109," dummy ",1186)
(1109," dummy ",1187)
(1110," dummy ",1187)
(1110," dummy ",1188)
(1111," dummy ",68)
(1111," dummy ",467)
(1112," dummy ",68)
(1112," dummy ",467)
(1113," dummy ",467)
(1114," dummy ",467)
(1115," dummy ",1189)
(1115," dummy ",1190)
(1116," dummy ",1190)
(1116," dummy ",1191)
(1117," dummy ",467)
(1118," dummy ",467)
(1119," dummy ",68)
(1119," dummy ",467)
(1120," dummy ",1192)
(1120," dummy ",1173)
(1121," dummy ",1173)
(1121," dummy ",1193)
(1122," dummy ",68)
(1122," dummy ",467)
(1123," dummy ",467)
(1124," dummy ",467)
(1125," dummy ",467)
(1126," dummy ",1194)
(1126," dummy ",1195)
(1127," dummy ",1195)
(1127," dummy ",1196)
(1128," dummy ",467)
(1129," dummy; prob 0.500000",1197)
(1129," dummy; prob 0.500000",1198)
(1130," dummy ",1199)
(1130," dummy ",1200)
(1131," dummy; prob 0.500000",1201)
(1131," dummy; prob 0.500000",1202)
(1132," dummy; prob 0.500000",1203)
(1132," dummy; prob 0.500000",1204)
(1133," dummy ",1199)
(1133," dummy ",1200)
(1134," dummy; prob 0.500000",1205)
(1134," dummy; prob 0.500000",1206)
(1135," dummy; prob 0.500000",1207)
(1135," dummy; prob 0.500000",1208)
(1136," dummy ",1209)
(1136," dummy ",1210)
(1137," dummy; prob 0.500000",1211)
(1137," dummy; prob 0.500000",1212)
(1138," dummy; prob 0.500000",1213)
(1138," dummy; prob 0.500000",1214)
(1139," dummy ",1209)
(1139," dummy ",1210)
(1140," dummy; prob 0.500000",1215)
(1140," dummy; prob 0.500000",1216)
(1141," dummy; prob 0.500000",1217)
(1141," dummy; prob 0.500000",1218)
(1142," dummy ",1199)
(1142," dummy ",1200)
(1143," dummy; prob 0.500000",1219)
(1143," dummy; prob 0.500000",1220)
(1144," dummy; prob 0.500000",1221)
(1144," dummy; prob 0.500000",1222)
(1145," dummy ",1209)
(1145," dummy ",1210)
(1146," dummy; prob 0.500000",1223)
(1146," dummy; prob 0.500000",1224)
(1147," dummy; prob 0.500000",1225)
(1147," dummy; prob 0.500000",1226)
(1148," dummy ",1199)
(1148," dummy ",1200)
(1149," dummy; prob 0.500000",1227)
(1149," dummy; prob 0.500000",1228)
(1150," dummy; prob 0.500000",1229)
(1150," dummy; prob 0.500000",1230)
(1151," dummy ",1209)
(1151," dummy ",1210)
(1152," dummy; prob 0.500000",1231)
(1152," dummy; prob 0.500000",1232)
(1153," dummy; prob 0.500000",1233)
(1153," dummy; prob 0.500000",1234)
(1154," dummy; prob 0.500000",1235)
(1154," dummy; prob 0.500000",1236)
(1155," dummy; prob 0.500000",1237)
(1155," dummy; prob 0.500000",1238)
(1156," dummy ",1209)
(1156," dummy ",1210)
(1157," dummy; prob 0.500000",1239)
(1157," dummy; prob 0.500000",1240)
(1158," dummy; prob 0.500000",1241)
(1158," dummy; prob 0.500000",1242)
(1159," dummy ",1243)
(1159," dummy ",1244)
(1160," dummy; prob 0.500000",1245)
(1160," dummy; prob 0.500000",1246)
(1161," dummy; prob 0.500000",1247)
(1161," dummy; prob 0.500000",1248)
(1162," dummy ",1243)
(1162," dummy ",1244)
(1163," dummy; prob 0.500000",1249)
(1163," dummy; prob 0.500000",1250)
(1164," dummy; prob 0.500000",1251)
(1164," dummy; prob 0.500000",1252)
(1165," dummy ",1209)
(1165," dummy ",1210)
(1166," dummy; prob 0.500000",1253)
(1166," dummy; prob 0.500000",1254)
(1167," dummy; prob 0.500000",1255)
(1167," dummy; prob 0.500000",1256)
(1168," dummy ",1243)
(1168," dummy ",1244)
(1169," dummy; prob 0.500000",1257)
(1169," dummy; prob 0.500000",1258)
(1170," dummy; prob 0.500000",1259)
(1170," dummy; prob 0.500000",1260)
(1171," dummy; prob 0.500000",1261)
(1171," dummy; prob 0.500000",1262)
(1172," dummy; prob 0.500000",1263)
(1172," dummy; prob 0.500000",1264)
(1173," dummy ",1243)
(1173," dummy ",1244)
(1174," dummy; prob 0.500000",1265)
(1174," dummy; prob 0.500000",1266)
(1175," dummy; prob 0.500000",1267)
(1175," dummy; prob 0.500000",1268)
(1176," dummy; prob 0.500000",1269)
(1176," dummy; prob 0.500000",1270)
(1177," dummy; prob 0.500000",1271)
(1177," dummy; prob 0.500000",1272)
(1178," dummy ",1243)
(1178," dummy ",1244)
(1179," dummy; prob 0.500000",1273)
(1179," dummy; prob 0.500000",1274)
(1180," dummy; prob 0.500000",1275)
(1180," dummy; prob 0.500000",1276)
(1181," dummy ",1277)
(1181," dummy ",1278)
(1182," dummy; prob 0.500000",1279)
(1182," dummy; prob 0.500000",1280)
(1183," dummy; prob 0.500000",1281)
(1183," dummy; prob 0.500000",1282)
(1184," dummy ",1277)
(1184," dummy ",1278)
(1185," dummy; prob 0.500000",1283)
(1185," dummy; prob 0.500000",1284)
(1186," dummy; prob 0.500000",1285)
(1186," dummy; prob 0.500000",1286)
(1187," dummy ",1243)
(1187," dummy ",1244)
(1188," dummy; prob 0.500000",1287)
(1188," dummy; prob 0.500000",1288)
(1189," dummy; prob 0.500000",1289)
(1189," dummy; prob 0.500000",1290)
(1190," dummy ",1277)
(1190," dummy ",1278)
(1191," dummy; prob 0.500000",1291)
(1191," dummy; prob 0.500000",1292)
(1192," dummy; prob 0.500000",1293)
(1192," dummy; prob 0.500000",1294)
(1193," dummy; prob 0.500000",1295)
(1193," dummy; prob 0.500000",1296)
(1194," dummy; prob 0.500000",1297)
(1194," dummy; prob 0.500000",1298)
(1195," dummy ",1277)
(1195," dummy ",1278)
(1196," dummy; prob 0.500000",1299)
(1196," dummy; prob 0.500000",1300)
(1197," dummy ",1301)
(1198," dummy ",1302)
(1199," dummy; prob 0.500000",1303)
(1199," dummy; prob 0.500000",1304)
(1200," dummy; prob 0.500000",1305)
(1200," dummy; prob 0.500000",1306)
(1201," dummy ",1307)
(1202," dummy ",1308)
(1203," dummy ",1309)
(1204," dummy ",1310)
(1205," dummy ",1311)
(1206," dummy ",1312)
(1207," dummy ",1313)
(1208," dummy ",1314)
(1209," dummy; prob 0.500000",1315)
(1209," dummy; prob 0.500000",1316)
(1210," dummy; prob 0.500000",1317)
(1210," dummy; prob 0.500000",1318)
(1211," dummy ",1319)
(1212," dummy ",1320)
(1213," dummy ",1321)
(1214," dummy ",1322)
(1215," dummy ",1323)
(1216," dummy ",1324)
(1217," dummy ",1325)
(1218," dummy ",1326)
(1219," dummy ",1327)
(1220," dummy ",1328)
(1221," dummy ",1329)
(1222," dummy ",1330)
(1223," dummy ",1331)
(1224," dummy ",1332)
(1225," dummy ",1333)
(1226," dummy ",1334)
(1227," dummy ",1335)
(1228," dummy ",1336)
(1229," dummy ",1337)
(1230," dummy ",1338)
(1231," dummy ",1339)
(1232," dummy ",1340)
(1233," dummy ",1313)
(1234," dummy ",1314)
(1235," dummy ",1319)
(1236," dummy ",1320)
(1237," dummy ",1341)
(1238," dummy ",1342)
(1239," dummy ",1343)
(1240," dummy ",1344)
(1241," dummy ",1345)
(1242," dummy ",1346)
(1243," dummy; prob 0.500000",1347)
(1243," dummy; prob 0.500000",1348)
(1244," dummy; prob 0.500000",1349)
(1244," dummy; prob 0.500000",1350)
(1245," dummy ",1351)
(1246," dummy ",1352)
(1247," dummy ",1353)
(1248," dummy ",1354)
(1249," dummy ",1355)
(1250," dummy ",1356)
(1251," dummy ",1357)
(1252," dummy ",1358)
(1253," dummy ",1359)
(1254," dummy ",1360)
(1255," dummy ",1361)
(1256," dummy ",1362)
(1257," dummy ",1363)
(1258," dummy ",1364)
(1259," dummy ",1337)
(1260," dummy ",1338)
(1261," dummy ",1339)
(1262," dummy ",1340)
(1263," dummy ",1365)
(1264," dummy ",1366)
(1265," dummy ",1367)
(1266," dummy ",1368)
(1267," dummy ",1345)
(1268," dummy ",1346)
(1269," dummy ",1351)
(1270," dummy ",1352)
(1271," dummy ",1369)
(1272," dummy ",1370)
(1273," dummy ",1371)
(1274," dummy ",1372)
(1275," dummy ",1373)
(1276," dummy ",1374)
(1277," dummy; prob 0.500000",1375)
(1277," dummy; prob 0.500000",1376)
(1278," dummy; prob 0.500000",1377)
(1278," dummy; prob 0.500000",1378)
(1279," dummy ",1379)
(1280," dummy ",1380)
(1281," dummy ",1381)
(1282," dummy ",1382)
(1283," dummy ",1383)
(1284," dummy ",1384)
(1285," dummy ",1385)
(1286," dummy ",1386)
(1287," dummy ",1387)
(1288," dummy ",1388)
(1289," dummy ",1389)
(1290," dummy ",1390)
(1291," dummy ",1391)
(1292," dummy ",1392)
(1293," dummy ",1365)
(1294," dummy ",1366)
(1295," dummy ",1367)
(1296," dummy ",1368)
(1297," dummy ",1393)
(1298," dummy ",1394)
(1299," dummy ",1395)
(1300," dummy ",1396)
(1301," dummy ",1397)
(1301," dummy ",1398)
(1302," dummy ",1399)
(1302," dummy ",1400)
(1303," dummy ",1401)
(1303," dummy ",1402)
(1304," dummy ",1403)
(1304," dummy ",1404)
(1305," dummy ",1405)
(1305," dummy ",1406)
(1306," dummy ",1407)
(1306," dummy ",1408)
(1307," dummy ",1409)
(1307," dummy ",1410)
(1308," dummy ",1411)
(1308," dummy ",1412)
(1309," dummy ",1397)
(1309," dummy ",1413)
(1310," dummy ",1399)
(1310," dummy ",1414)
(1311," dummy ",1415)
(1311," dummy ",1410)
(1312," dummy ",1416)
(1312," dummy ",1412)
(1313," dummy ",1417)
(1313," dummy ",1418)
(1314," dummy ",1419)
(1314," dummy ",1420)
(1315," dummy ",1421)
(1315," dummy ",1422)
(1316," dummy ",1423)
(1316," dummy ",1424)
(1317," dummy ",1425)
(1317," dummy ",1426)
(1318," dummy ",1427)
(1318," dummy ",1428)
(1319," dummy ",1429)
(1319," dummy ",1430)
(1320," dummy ",1431)
(1320," dummy ",1432)
(1321," dummy ",1417)
(1321," dummy ",1433)
(1322," dummy ",1419)
(1322," dummy ",1434)
(1323," dummy ",1435)
(1323," dummy ",1430)
(1324," dummy ",1436)
(1324," dummy ",1432)
(1325," dummy ",1397)
(1325," dummy ",1437)
(1326," dummy ",1399)
(1326," dummy ",1438)
(1327," dummy ",1439)
(1327," dummy ",1410)
(1328," dummy ",1440)
(1328," dummy ",1412)
(1329," dummy ",1417)
(1329," dummy ",1441)
(1330," dummy ",1419)
(1330," dummy ",1442)
(1331," dummy ",1443)
(1331," dummy ",1430)
(1332," dummy ",1444)
(1332," dummy ",1432)
(1333," dummy ",1397)
(1333," dummy ",1445)
(1334," dummy ",1399)
(1334," dummy ",1446)
(1335," dummy ",1447)
(1335," dummy ",1410)
(1336," dummy ",1448)
(1336," dummy ",1412)
(1337," dummy ",1417)
(1337," dummy ",1449)
(1338," dummy ",1419)
(1338," dummy ",1450)
(1339," dummy ",1451)
(1339," dummy ",1430)
(1340," dummy ",1452)
(1340," dummy ",1432)
(1341," dummy ",1417)
(1341," dummy ",1453)
(1342," dummy ",1419)
(1342," dummy ",1454)
(1343," dummy ",1455)
(1343," dummy ",1430)
(1344," dummy ",1456)
(1344," dummy ",1432)
(1345," dummy ",1457)
(1345," dummy ",1458)
(1346," dummy ",1459)
(1346," dummy ",1460)
(1347," dummy ",1461)
(1347," dummy ",1462)
(1348," dummy ",1463)
(1348," dummy ",1464)
(1349," dummy ",1465)
(1349," dummy ",1466)
(1350," dummy ",1467)
(1350," dummy ",1468)
(1351," dummy ",1469)
(1351," dummy ",1470)
(1352," dummy ",1471)
(1352," dummy ",1472)
(1353," dummy ",1457)
(1353," dummy ",1473)
(1354," dummy ",1459)
(1354," dummy ",1474)
(1355," dummy ",1475)
(1355," dummy ",1470)
(1356," dummy ",1476)
(1356," dummy ",1472)
(1357," dummy ",1417)
(1357," dummy ",1477)
(1358," dummy ",1419)
(1358," dummy ",1478)
(1359," dummy ",1479)
(1359," dummy ",1430)
(1360," dummy ",1480)
(1360," dummy ",1432)
(1361," dummy ",1457)
(1361," dummy ",1481)
(1362," dummy ",1459)
(1362," dummy ",1482)
(1363," dummy ",1483)
(1363," dummy ",1470)
(1364," dummy ",1484)
(1364," dummy ",1472)
(1365," dummy ",1457)
(1365," dummy ",1485)
(1366," dummy ",1459)
(1366," dummy ",1486)
(1367," dummy ",1487)
(1367," dummy ",1470)
(1368," dummy ",1488)
(1368," dummy ",1472)
(1369," dummy ",1457)
(1369," dummy ",1489)
(1370," dummy ",1459)
(1370," dummy ",1490)
(1371," dummy ",1491)
(1371," dummy ",1470)
(1372," dummy ",1492)
(1372," dummy ",1472)
(1373," dummy ",1493)
(1373," dummy ",1494)
(1374," dummy ",1495)
(1374," dummy ",1496)
(1375," dummy ",1497)
(1375," dummy ",1498)
(1376," dummy ",1499)
(1376," dummy ",1500)
(1377," dummy ",1501)
(1377," dummy ",1502)
(1378," dummy ",1503)
(1378," dummy ",1504)
(1379," dummy ",1505)
(1379," dummy ",1506)
(1380," dummy ",1507)
(1380," dummy ",1508)
(1381," dummy ",1493)
(1381," dummy ",1509)
(1382," dummy ",1495)
(1382," dummy ",1510)
(1383," dummy ",1511)
(1383," dummy ",1506)
(1384," dummy ",1512)
(1384," dummy ",1508)
(1385," dummy ",1457)
(1385," dummy ",1513)
(1386," dummy ",1459)
(1386," dummy ",1514)
(1387," dummy ",1515)
(1387," dummy ",1470)
(1388," dummy ",1516)
(1388," dummy ",1472)
(1389," dummy ",1493)
(1389," dummy ",1517)
(1390," dummy ",1495)
(1390," dummy ",1518)
(1391," dummy ",1519)
(1391," dummy ",1506)
(1392," dummy ",1520)
(1392," dummy ",1508)
(1393," dummy ",1493)
(1393," dummy ",1521)
(1394," dummy ",1495)
(1394," dummy ",1522)
(1395," dummy ",1523)
(1395," dummy ",1506)
(1396," dummy ",1524)
(1396," dummy ",1508)
(1397," dummy; prob 0.500000",1525)
(1397," dummy; prob 0.500000",1526)
(1398," dummy ",1527)
(1399," dummy; prob 0.500000",1528)
(1399," dummy; prob 0.500000",1529)
(1400," dummy ",1530)
(1401," dummy; prob 0.500000",1531)
(1401," dummy; prob 0.500000",1532)
(1402," dummy ",1533)
(1403," dummy; prob 0.500000",1534)
(1403," dummy; prob 0.500000",1535)
(1404," dummy ",1536)
(1405," dummy ",1537)
(1406," dummy; prob 0.500000",1531)
(1406," dummy; prob 0.500000",1534)
(1407," dummy ",1538)
(1408," dummy; prob 0.500000",1532)
(1408," dummy; prob 0.500000",1535)
(1409," dummy ",1539)
(1410," dummy; prob 0.500000",1540)
(1410," dummy; prob 0.500000",1541)
(1411," dummy ",1542)
(1412," dummy; prob 0.500000",1543)
(1412," dummy; prob 0.500000",1544)
(1413," dummy ",1527)
(1414," dummy ",1530)
(1415," dummy ",1539)
(1416," dummy ",1542)
(1417," dummy; prob 0.500000",1545)
(1417," dummy; prob 0.500000",1546)
(1418," dummy ",1547)
(1419," dummy; prob 0.500000",1548)
(1419," dummy; prob 0.500000",1549)
(1420," dummy ",1550)
(1421," dummy; prob 0.500000",1551)
(1421," dummy; prob 0.500000",1552)
(1422," dummy ",1553)
(1423," dummy; prob 0.500000",1554)
(1423," dummy; prob 0.500000",1555)
(1424," dummy ",1556)
(1425," dummy ",1557)
(1426," dummy; prob 0.500000",1551)
(1426," dummy; prob 0.500000",1554)
(1427," dummy ",1558)
(1428," dummy; prob 0.500000",1552)
(1428," dummy; prob 0.500000",1555)
(1429," dummy ",1559)
(1430," dummy; prob 0.500000",1560)
(1430," dummy; prob 0.500000",1561)
(1431," dummy ",1562)
(1432," dummy; prob 0.500000",1563)
(1432," dummy; prob 0.500000",1564)
(1433," dummy ",1547)
(1434," dummy ",1550)
(1435," dummy ",1559)
(1436," dummy ",1562)
(1437," dummy ",1527)
(1438," dummy ",1530)
(1439," dummy ",1539)
(1440," dummy ",1542)
(1441," dummy ",1547)
(1442," dummy ",1550)
(1443," dummy ",1559)
(1444," dummy ",1562)
(1445," dummy ",1527)
(1446," dummy ",1530)
(1447," dummy ",1539)
(1448," dummy ",1542)
(1449," dummy ",1547)
(1450," dummy ",1550)
(1451," dummy ",1559)
(1452," dummy ",1562)
(1453," dummy ",1547)
(1454," dummy ",1550)
(1455," dummy ",1559)
(1456," dummy ",1562)
(1457," dummy; prob 0.500000",1565)
(1457," dummy; prob 0.500000",1566)
(1458," dummy ",1567)
(1459," dummy; prob 0.500000",1568)
(1459," dummy; prob 0.500000",1569)
(1460," dummy ",1570)
(1461," dummy; prob 0.500000",1571)
(1461," dummy; prob 0.500000",1572)
(1462," dummy ",1573)
(1463," dummy; prob 0.500000",1574)
(1463," dummy; prob 0.500000",1575)
(1464," dummy ",1576)
(1465," dummy ",1577)
(1466," dummy; prob 0.500000",1571)
(1466," dummy; prob 0.500000",1574)
(1467," dummy ",1578)
(1468," dummy; prob 0.500000",1572)
(1468," dummy; prob 0.500000",1575)
(1469," dummy ",1579)
(1470," dummy; prob 0.500000",1580)
(1470," dummy; prob 0.500000",1581)
(1471," dummy ",1582)
(1472," dummy; prob 0.500000",1583)
(1472," dummy; prob 0.500000",1584)
(1473," dummy ",1567)
(1474," dummy ",1570)
(1475," dummy ",1579)
(1476," dummy ",1582)
(1477," dummy ",1547)
(1478," dummy ",1550)
(1479," dummy ",1559)
(1480," dummy ",1562)
(1481," dummy ",1567)
(1482," dummy ",1570)
(1483," dummy ",1579)
(1484," dummy ",1582)
(1485," dummy ",1567)
(1486," dummy ",1570)
(1487," dummy ",1579)
(1488," dummy ",1582)
(1489," dummy ",1567)
(1490," dummy ",1570)
(1491," dummy ",1579)
(1492," dummy ",1582)
(1493," dummy; prob 0.500000",1585)
(1493," dummy; prob 0.500000",1586)
(1494," dummy ",1587)
(1495," dummy; prob 0.500000",1588)
(1495," dummy; prob 0.500000",1589)
(1496," dummy ",1590)
(1497," dummy; prob 0.500000",1591)
(1497," dummy; prob 0.500000",1592)
(1498," dummy ",1593)
(1499," dummy; prob 0.500000",1594)
(1499," dummy; prob 0.500000",1595)
(1500," dummy ",1596)
(1501," dummy ",1597)
(1502," dummy; prob 0.500000",1591)
(1502," dummy; prob 0.500000",1594)
(1503," dummy ",1598)
(1504," dummy; prob 0.500000",1592)
(1504," dummy; prob 0.500000",1595)
(1505," dummy ",1599)
(1506," dummy; prob 0.500000",1600)
(1506," dummy; prob 0.500000",1601)
(1507," dummy ",1602)
(1508," dummy; prob 0.500000",1603)
(1508," dummy; prob 0.500000",1604)
(1509," dummy ",1587)
(1510," dummy ",1590)
(1511," dummy ",1599)
(1512," dummy ",1602)
(1513," dummy ",1567)
(1514," dummy ",1570)
(1515," dummy ",1579)
(1516," dummy ",1582)
(1517," dummy ",1587)
(1518," dummy ",1590)
(1519," dummy ",1599)
(1520," dummy ",1602)
(1521," dummy ",1587)
(1522," dummy ",1590)
(1523," dummy ",1599)
(1524," dummy ",1602)
(1525," dummy ",1605)
(1525," dummy ",1606)
(1526," dummy ",1607)
(1526," dummy ",1608)
(1527," dummy; prob 0.500000",1606)
(1527," dummy; prob 0.500000",1608)
(1528," dummy ",1609)
(1528," dummy ",1610)
(1529," dummy ",1611)
(1529," dummy ",1612)
(1530," dummy; prob 0.500000",1610)
(1530," dummy; prob 0.500000",1612)
(1531," dummy ",1613)
(1531," dummy ",1614)
(1532," dummy ",1615)
(1532," dummy ",1616)
(1533," dummy; prob 0.500000",1614)
(1533," dummy; prob 0.500000",1616)
(1534," dummy ",1617)
(1534," dummy ",1618)
(1535," dummy ",1619)
(1535," dummy ",1620)
(1536," dummy; prob 0.500000",1618)
(1536," dummy; prob 0.500000",1620)
(1537," dummy; prob 0.500000",1613)
(1537," dummy; prob 0.500000",1617)
(1538," dummy; prob 0.500000",1615)
(1538," dummy; prob 0.500000",1619)
(1539," dummy; prob 0.500000",1621)
(1539," dummy; prob 0.500000",1622)
(1540," dummy ",1621)
(1540," dummy ",1623)
(1541," dummy ",1622)
(1541," dummy ",1624)
(1542," dummy; prob 0.500000",1625)
(1542," dummy; prob 0.500000",1626)
(1543," dummy ",1625)
(1543," dummy ",1627)
(1544," dummy ",1626)
(1544," dummy ",1628)
(1545," dummy ",1629)
(1545," dummy ",1630)
(1546," dummy ",1631)
(1546," dummy ",1632)
(1547," dummy; prob 0.500000",1630)
(1547," dummy; prob 0.500000",1632)
(1548," dummy ",1633)
(1548," dummy ",1634)
(1549," dummy ",1635)
(1549," dummy ",1636)
(1550," dummy; prob 0.500000",1634)
(1550," dummy; prob 0.500000",1636)
(1551," dummy ",1637)
(1551," dummy ",1638)
(1552," dummy ",1639)
(1552," dummy ",1640)
(1553," dummy; prob 0.500000",1638)
(1553," dummy; prob 0.500000",1640)
(1554," dummy ",1641)
(1554," dummy ",1642)
(1555," dummy ",1643)
(1555," dummy ",1644)
(1556," dummy; prob 0.500000",1642)
(1556," dummy; prob 0.500000",1644)
(1557," dummy; prob 0.500000",1637)
(1557," dummy; prob 0.500000",1641)
(1558," dummy; prob 0.500000",1639)
(1558," dummy; prob 0.500000",1643)
(1559," dummy; prob 0.500000",1645)
(1559," dummy; prob 0.500000",1646)
(1560," dummy ",1645)
(1560," dummy ",1647)
(1561," dummy ",1646)
(1561," dummy ",1648)
(1562," dummy; prob 0.500000",1649)
(1562," dummy; prob 0.500000",1650)
(1563," dummy ",1649)
(1563," dummy ",1651)
(1564," dummy ",1650)
(1564," dummy ",1652)
(1565," dummy ",1653)
(1565," dummy ",1654)
(1566," dummy ",1655)
(1566," dummy ",1656)
(1567," dummy; prob 0.500000",1654)
(1567," dummy; prob 0.500000",1656)
(1568," dummy ",1657)
(1568," dummy ",1658)
(1569," dummy ",1659)
(1569," dummy ",1660)
(1570," dummy; prob 0.500000",1658)
(1570," dummy; prob 0.500000",1660)
(1571," dummy ",1661)
(1571," dummy ",1662)
(1572," dummy ",1663)
(1572," dummy ",1664)
(1573," dummy; prob 0.500000",1662)
(1573," dummy; prob 0.500000",1664)
(1574," dummy ",1665)
(1574," dummy ",1666)
(1575," dummy ",1667)
(1575," dummy ",1668)
(1576," dummy; prob 0.500000",1666)
(1576," dummy; prob 0.500000",1668)
(1577," dummy; prob 0.500000",1661)
(1577," dummy; prob 0.500000",1665)
(1578," dummy; prob 0.500000",1663)
(1578," dummy; prob 0.500000",1667)
(1579," dummy; prob 0.500000",1669)
(1579," dummy; prob 0.500000",1670)
(1580," dummy ",1669)
(1580," dummy ",1671)
(1581," dummy ",1670)
(1581," dummy ",1672)
(1582," dummy; prob 0.500000",1673)
(1582," dummy; prob 0.500000",1674)
(1583," dummy ",1673)
(1583," dummy ",1675)
(1584," dummy ",1674)
(1584," dummy ",1676)
(1585," dummy ",1677)
(1585," dummy ",1678)
(1586," dummy ",1679)
(1586," dummy ",1680)
(1587," dummy; prob 0.500000",1678)
(1587," dummy; prob 0.500000",1680)
(1588," dummy ",1681)
(1588," dummy ",1682)
(1589," dummy ",1683)
(1589," dummy ",1684)
(1590," dummy; prob 0.500000",1682)
(1590," dummy; prob 0.500000",1684)
(1591," dummy ",1685)
(1591," dummy ",1686)
(1592," dummy ",1687)
(1592," dummy ",1688)
(1593," dummy; prob 0.500000",1686)
(1593," dummy; prob 0.500000",1688)
(1594," dummy ",1689)
(1594," dummy ",1690)
(1595," dummy ",1691)
(1595," dummy ",1692)
(1596," dummy; prob 0.500000",1690)
(1596," dummy; prob 0.500000",1692)
(1597," dummy; prob 0.500000",1685)
(1597," dummy; prob 0.500000",1689)
(1598," dummy; prob 0.500000",1687)
(1598," dummy; prob 0.500000",1691)
(1599," dummy; prob 0.500000",1693)
(1599," dummy; prob 0.500000",1694)
(1600," dummy ",1693)
(1600," dummy ",1695)
(1601," dummy ",1694)
(1601," dummy ",1696)
(1602," dummy; prob 0.500000",1697)
(1602," dummy; prob 0.500000",1698)
(1603," dummy ",1697)
(1603," dummy ",1699)
(1604," dummy ",1698)
(1604," dummy ",1700)
(1605," dummy ",1701)
(1606," dummy ",1701)
(1607," dummy ",1702)
(1608," dummy ",1702)
(1609," dummy ",1703)
(1610," dummy ",1703)
(1611," dummy ",1704)
(1612," dummy ",1704)
(1613," dummy ",1705)
(1614," dummy ",1705)
(1615," dummy ",1706)
(1616," dummy ",1706)
(1617," dummy ",1707)
(1618," dummy ",1707)
(1619," dummy ",1708)
(1620," dummy ",1708)
(1621," dummy ",1709)
(1622," dummy ",1710)
(1623," dummy ",1709)
(1624," dummy ",1710)
(1625," dummy ",1711)
(1626," dummy ",1712)
(1627," dummy ",1711)
(1628," dummy ",1712)
(1629," dummy ",1713)
(1630," dummy ",1713)
(1631," dummy ",1714)
(1632," dummy ",1714)
(1633," dummy ",1715)
(1634," dummy ",1715)
(1635," dummy ",1716)
(1636," dummy ",1716)
(1637," dummy ",1717)
(1638," dummy ",1717)
(1639," dummy ",1718)
(1640," dummy ",1718)
(1641," dummy ",1719)
(1642," dummy ",1719)
(1643," dummy ",1720)
(1644," dummy ",1720)
(1645," dummy ",1721)
(1646," dummy ",1722)
(1647," dummy ",1721)
(1648," dummy ",1722)
(1649," dummy ",1723)
(1650," dummy ",1724)
(1651," dummy ",1723)
(1652," dummy ",1724)
(1653," dummy ",1725)
(1654," dummy ",1725)
(1655," dummy ",1726)
(1656," dummy ",1726)
(1657," dummy ",1727)
(1658," dummy ",1727)
(1659," dummy ",1728)
(1660," dummy ",1728)
(1661," dummy ",1729)
(1662," dummy ",1729)
(1663," dummy ",1730)
(1664," dummy ",1730)
(1665," dummy ",1731)
(1666," dummy ",1731)
(1667," dummy ",1732)
(1668," dummy ",1732)
(1669," dummy ",1733)
(1670," dummy ",1734)
(1671," dummy ",1733)
(1672," dummy ",1734)
(1673," dummy ",1735)
(1674," dummy ",1736)
(1675," dummy ",1735)
(1676," dummy ",1736)
(1677," dummy ",1737)
(1678," dummy ",1737)
(1679," dummy ",1738)
(1680," dummy ",1738)
(1681," dummy ",1739)
(1682," dummy ",1739)
(1683," dummy ",1740)
(1684," dummy ",1740)
(1685," dummy ",1741)
(1686," dummy ",1741)
(1687," dummy ",1742)
(1688," dummy ",1742)
(1689," dummy ",1743)
(1690," dummy ",1743)
(1691," dummy ",1744)
(1692," dummy ",1744)
(1693," dummy ",1745)
(1694," dummy ",1746)
(1695," dummy ",1745)
(1696," dummy ",1746)
(1697," dummy ",1747)
(1698," dummy ",1748)
(1699," dummy ",1747)
(1700," dummy ",1748)
(1701," dummy ",1749)
(1701," dummy ",1750)
(1702," dummy ",1751)
(1703," dummy ",1752)
(1704," dummy ",1753)
(1704," dummy ",1754)
(1705," dummy ",1755)
(1705," dummy ",1756)
(1706," dummy ",1757)
(1707," dummy ",1758)
(1708," dummy ",1759)
(1708," dummy ",1760)
(1709," dummy ",1761)
(1709," dummy ",1762)
(1710," dummy ",1763)
(1711," dummy ",1764)
(1712," dummy ",1765)
(1712," dummy ",1766)
(1713," dummy ",1767)
(1713," dummy ",1768)
(1714," dummy ",1769)
(1715," dummy ",1770)
(1716," dummy ",1771)
(1716," dummy ",1772)
(1717," dummy ",1773)
(1717," dummy ",1774)
(1718," dummy ",1775)
(1719," dummy ",1776)
(1720," dummy ",1777)
(1720," dummy ",1778)
(1721," dummy ",1779)
(1721," dummy ",1780)
(1722," dummy ",1781)
(1723," dummy ",1782)
(1724," dummy ",1783)
(1724," dummy ",1784)
(1725," dummy ",1785)
(1725," dummy ",1786)
(1726," dummy ",1787)
(1727," dummy ",1788)
(1728," dummy ",1789)
(1728," dummy ",1790)
(1729," dummy ",1791)
(1729," dummy ",1792)
(1730," dummy ",1793)
(1731," dummy ",1794)
(1732," dummy ",1795)
(1732," dummy ",1796)
(1733," dummy ",1797)
(1733," dummy ",1798)
(1734," dummy ",1799)
(1735," dummy ",1800)
(1736," dummy ",1801)
(1736," dummy ",1802)
(1737," dummy ",1803)
(1737," dummy ",1804)
(1738," dummy ",1805)
(1739," dummy ",1806)
(1740," dummy ",1807)
(1740," dummy ",1808)
(1741," dummy ",1809)
(1741," dummy ",1810)
(1742," dummy ",1811)
(1743," dummy ",1812)
(1744," dummy ",1813)
(1744," dummy ",1814)
(1745," dummy ",1815)
(1745," dummy ",1816)
(1746," dummy ",1817)
(1747," dummy ",1818)
(1748," dummy ",1819)
(1748," dummy ",1820)
(1749," dummy ",1821)
(1749," dummy ",1822)
(1750," dummy ",1823)
(1750," dummy ",1824)
(1751," dummy ",1825)
(1752," dummy ",1826)
(1753," dummy ",1827)
(1753," dummy ",1828)
(1754," dummy ",1829)
(1754," dummy ",1830)
(1755," dummy ",1831)
(1755," dummy ",1832)
(1756," dummy ",1833)
(1756," dummy ",1834)
(1757," dummy ",1835)
(1758," dummy ",1836)
(1759," dummy ",1837)
(1759," dummy ",1838)
(1760," dummy ",1839)
(1760," dummy ",1840)
(1761," dummy ",1841)
(1761," dummy ",1842)
(1762," dummy ",1843)
(1762," dummy ",1844)
(1763," dummy ",1845)
(1764," dummy ",1846)
(1765," dummy ",1847)
(1765," dummy ",1848)
(1766," dummy ",1849)
(1766," dummy ",1850)
(1767," dummy ",1851)
(1767," dummy ",1852)
(1768," dummy ",1853)
(1768," dummy ",1854)
(1769," dummy ",1855)
(1770," dummy ",1856)
(1771," dummy ",1857)
(1771," dummy ",1858)
(1772," dummy ",1859)
(1772," dummy ",1860)
(1773," dummy ",1861)
(1773," dummy ",1862)
(1774," dummy ",1863)
(1774," dummy ",1864)
(1775," dummy ",1865)
(1776," dummy ",1866)
(1777," dummy ",1867)
(1777," dummy ",1868)
(1778," dummy ",1869)
(1778," dummy ",1870)
(1779," dummy ",1871)
(1779," dummy ",1872)
(1780," dummy ",1873)
(1780," dummy ",1874)
(1781," dummy ",1875)
(1782," dummy ",1876)
(1783," dummy ",1877)
(1783," dummy ",1878)
(1784," dummy ",1879)
(1784," dummy ",1880)
(1785," dummy ",1881)
(1785," dummy ",1882)
(1786," dummy ",1883)
(1786," dummy ",1884)
(1787," dummy ",1885)
(1788," dummy ",1886)
(1789," dummy ",1887)
(1789," dummy ",1888)
(1790," dummy ",1889)
(1790," dummy ",1890)
(1791," dummy ",1891)
(1791," dummy ",1892)
(1792," dummy ",1893)
(1792," dummy ",1894)
(1793," dummy ",1895)
(1794," dummy ",1896)
(1795," dummy ",1897)
(1795," dummy ",1898)
(1796," dummy ",1899)
(1796," dummy ",1900)
(1797," dummy ",1901)
(1797," dummy ",1902)
(1798," dummy ",1903)
(1798," dummy ",1904)
(1799," dummy ",1905)
(1800," dummy ",1906)
(1801," dummy ",1907)
(1801," dummy ",1908)
(1802," dummy ",1909)
(1802," dummy ",1910)
(1803," dummy ",1911)
(1803," dummy ",1912)
(1804," dummy ",1913)
(1804," dummy ",1914)
(1805," dummy ",1915)
(1806," dummy ",1916)
(1807," dummy ",1917)
(1807," dummy ",1918)
(1808," dummy ",1919)
(1808," dummy ",1920)
(1809," dummy ",1921)
(1809," dummy ",1922)
(1810," dummy ",1923)
(1810," dummy ",1924)
(1811," dummy ",1925)
(1812," dummy ",1926)
(1813," dummy ",1927)
(1813," dummy ",1928)
(1814," dummy ",1929)
(1814," dummy ",1930)
(1815," dummy ",1931)
(1815," dummy ",1932)
(1816," dummy ",1933)
(1816," dummy ",1934)
(1817," dummy ",1935)
(1818," dummy ",1936)
(1819," dummy ",1937)
(1819," dummy ",1938)
(1820," dummy ",1939)
(1820," dummy ",1940)
(1821," dummy ",1941)
(1821," dummy ",1942)
(1822," dummy ",1943)
(1823," dummy ",1944)
(1823," dummy ",1945)
(1824," dummy ",1946)
(1825," dummy ",1947)
(1826," dummy ",1948)
(1827," dummy ",1949)
(1827," dummy ",1950)
(1828," dummy ",1951)
(1829," dummy ",1952)
(1829," dummy ",1953)
(1830," dummy ",1954)
(1831," dummy ",1955)
(1831," dummy ",1956)
(1832," dummy ",1957)
(1833," dummy ",1944)
(1833," dummy ",1945)
(1834," dummy ",1958)
(1835," dummy ",1959)
(1836," dummy ",1960)
(1837," dummy ",1961)
(1837," dummy ",1962)
(1838," dummy ",1963)
(1839," dummy ",1952)
(1839," dummy ",1953)
(1840," dummy ",1964)
(1841," dummy ",1955)
(1841," dummy ",1956)
(1842," dummy ",1965)
(1843," dummy ",1966)
(1843," dummy ",1967)
(1844," dummy ",1968)
(1845," dummy ",1969)
(1846," dummy ",1970)
(1847," dummy ",1961)
(1847," dummy ",1962)
(1848," dummy ",1971)
(1849," dummy ",1972)
(1849," dummy ",1973)
(1850," dummy ",1974)
(1851," dummy ",1975)
(1851," dummy ",1976)
(1852," dummy ",1977)
(1853," dummy ",1978)
(1853," dummy ",1979)
(1854," dummy ",1980)
(1855," dummy ",1981)
(1856," dummy ",1982)
(1857," dummy ",1983)
(1857," dummy ",1984)
(1858," dummy ",1985)
(1859," dummy ",1986)
(1859," dummy ",1987)
(1860," dummy ",1988)
(1861," dummy ",1989)
(1861," dummy ",1990)
(1862," dummy ",1991)
(1863," dummy ",1978)
(1863," dummy ",1979)
(1864," dummy ",1992)
(1865," dummy ",1993)
(1866," dummy ",1994)
(1867," dummy ",1995)
(1867," dummy ",1996)
(1868," dummy ",1997)
(1869," dummy ",1986)
(1869," dummy ",1987)
(1870," dummy ",1998)
(1871," dummy ",1989)
(1871," dummy ",1990)
(1872," dummy ",1999)
(1873," dummy ",2000)
(1873," dummy ",2001)
(1874," dummy ",2002)
(1875," dummy ",2003)
(1876," dummy ",2004)
(1877," dummy ",1995)
(1877," dummy ",1996)
(1878," dummy ",2005)
(1879," dummy ",2006)
(1879," dummy ",2007)
(1880," dummy ",2008)
(1881," dummy ",2009)
(1881," dummy ",2010)
(1882," dummy ",2011)
(1883," dummy ",2012)
(1883," dummy ",2013)
(1884," dummy ",2014)
(1885," dummy ",2015)
(1886," dummy ",2016)
(1887," dummy ",2017)
(1887," dummy ",2018)
(1888," dummy ",2019)
(1889," dummy ",2020)
(1889," dummy ",2021)
(1890," dummy ",2022)
(1891," dummy ",2023)
(1891," dummy ",2024)
(1892," dummy ",2025)
(1893," dummy ",2012)
(1893," dummy ",2013)
(1894," dummy ",2026)
(1895," dummy ",2027)
(1896," dummy ",2028)
(1897," dummy ",2029)
(1897," dummy ",2030)
(1898," dummy ",2031)
(1899," dummy ",2020)
(1899," dummy ",2021)
(1900," dummy ",2032)
(1901," dummy ",2023)
(1901," dummy ",2024)
(1902," dummy ",2033)
(1903," dummy ",2034)
(1903," dummy ",2035)
(1904," dummy ",2036)
(1905," dummy ",2037)
(1906," dummy ",2038)
(1907," dummy ",2029)
(1907," dummy ",2030)
(1908," dummy ",2039)
(1909," dummy ",2040)
(1909," dummy ",2041)
(1910," dummy ",2042)
(1911," dummy ",2043)
(1911," dummy ",2044)
(1912," dummy ",2045)
(1913," dummy ",2046)
(1913," dummy ",2047)
(1914," dummy ",2048)
(1915," dummy ",2049)
(1916," dummy ",2050)
(1917," dummy ",2051)
(1917," dummy ",2052)
(1918," dummy ",2053)
(1919," dummy ",2054)
(1919," dummy ",2055)
(1920," dummy ",2056)
(1921," dummy ",2057)
(1921," dummy ",2058)
(1922," dummy ",2059)
(1923," dummy ",2046)
(1923," dummy ",2047)
(1924," dummy ",2060)
(1925," dummy ",2061)
(1926," dummy ",2062)
(1927," dummy ",2063)
(1927," dummy ",2064)
(1928," dummy ",2065)
(1929," dummy ",2054)
(1929," dummy ",2055)
(1930," dummy ",2066)
(1931," dummy ",2057)
(1931," dummy ",2058)
(1932," dummy ",2067)
(1933," dummy ",2068)
(1933," dummy ",2069)
(1934," dummy ",2070)
(1935," dummy ",2071)
(1936," dummy ",2072)
(1937," dummy ",2063)
(1937," dummy ",2064)
(1938," dummy ",2073)
(1939," dummy ",2074)
(1939," dummy ",2075)
(1940," dummy ",2076)
(1941," dummy ",2077)
(1941," dummy ",2078)
(1942," dummy ",2078)
(1942," dummy ",2079)
(1943," dummy ",68)
(1943," dummy ",467)
(1944," dummy ",2080)
(1944," dummy ",2081)
(1945," dummy ",2081)
(1945," dummy ",2082)
(1946," dummy ",68)
(1946," dummy ",467)
(1947," dummy ",68)
(1947," dummy ",467)
(1948," dummy ",68)
(1948," dummy ",467)
(1949," dummy ",2083)
(1949," dummy ",2084)
(1950," dummy ",2084)
(1950," dummy ",2085)
(1951," dummy ",68)
(1951," dummy ",467)
(1952," dummy ",2086)
(1952," dummy ",2087)
(1953," dummy ",2087)
(1953," dummy ",2088)
(1954," dummy ",68)
(1954," dummy ",467)
(1955," dummy ",2089)
(1955," dummy ",2090)
(1956," dummy ",2090)
(1956," dummy ",2091)
(1957," dummy ",68)
(1957," dummy ",467)
(1958," dummy ",68)
(1958," dummy ",467)
(1959," dummy ",68)
(1959," dummy ",467)
(1960," dummy ",68)
(1960," dummy ",467)
(1961," dummy ",2092)
(1961," dummy ",2093)
(1962," dummy ",2093)
(1962," dummy ",2094)
(1963," dummy ",68)
(1963," dummy ",467)
(1964," dummy ",68)
(1964," dummy ",467)
(1965," dummy ",68)
(1965," dummy ",467)
(1966," dummy ",2095)
(1966," dummy ",2096)
(1967," dummy ",2096)
(1967," dummy ",2097)
(1968," dummy ",68)
(1968," dummy ",467)
(1969," dummy ",68)
(1969," dummy ",467)
(1970," dummy ",68)
(1970," dummy ",467)
(1971," dummy ",68)
(1971," dummy ",467)
(1972," dummy ",2098)
(1972," dummy ",2099)
(1973," dummy ",2099)
(1973," dummy ",2100)
(1974," dummy ",68)
(1974," dummy ",467)
(1975," dummy ",2101)
(1975," dummy ",2084)
(1976," dummy ",2084)
(1976," dummy ",2102)
(1977," dummy ",68)
(1977," dummy ",467)
(1978," dummy ",2103)
(1978," dummy ",2104)
(1979," dummy ",2104)
(1979," dummy ",2105)
(1980," dummy ",68)
(1980," dummy ",467)
(1981," dummy ",467)
(1982," dummy ",467)
(1983," dummy ",2106)
(1983," dummy ",1181)
(1984," dummy ",1181)
(1984," dummy ",2107)
(1985," dummy ",467)
(1986," dummy ",2108)
(1986," dummy ",1184)
(1987," dummy ",1184)
(1987," dummy ",2109)
(1988," dummy ",467)
(1989," dummy ",2110)
(1989," dummy ",2111)
(1990," dummy ",2111)
(1990," dummy ",2112)
(1991," dummy ",68)
(1991," dummy ",467)
(1992," dummy ",68)
(1992," dummy ",467)
(1993," dummy ",467)
(1994," dummy ",467)
(1995," dummy ",2113)
(1995," dummy ",1190)
(1996," dummy ",1190)
(1996," dummy ",2114)
(1997," dummy ",467)
(1998," dummy ",467)
(1999," dummy ",68)
(1999," dummy ",467)
(2000," dummy ",2115)
(2000," dummy ",2099)
(2001," dummy ",2099)
(2001," dummy ",2116)
(2002," dummy ",68)
(2002," dummy ",467)
(2003," dummy ",467)
(2004," dummy ",467)
(2005," dummy ",467)
(2006," dummy ",2117)
(2006," dummy ",1195)
(2007," dummy ",1195)
(2007," dummy ",2118)
(2008," dummy ",467)
(2009," dummy ",2119)
(2009," dummy ",1181)
(2010," dummy ",1181)
(2010," dummy ",2120)
(2011," dummy ",467)
(2012," dummy ",2121)
(2012," dummy ",2122)
(2013," dummy ",2122)
(2013," dummy ",2123)
(2014," dummy ",467)
(2015," dummy ",467)
(2016," dummy ",467)
(2017," dummy ",2124)
(2017," dummy ",1181)
(2018," dummy ",1181)
(2018," dummy ",2125)
(2019," dummy ",467)
(2020," dummy ",2126)
(2020," dummy ",1184)
(2021," dummy ",1184)
(2021," dummy ",2127)
(2022," dummy ",467)
(2023," dummy ",2128)
(2023," dummy ",2129)
(2024," dummy ",2129)
(2024," dummy ",2130)
(2025," dummy ",467)
(2026," dummy ",467)
(2027," dummy ",467)
(2028," dummy ",467)
(2029," dummy ",2131)
(2029," dummy ",1190)
(2030," dummy ",1190)
(2030," dummy ",2132)
(2031," dummy ",467)
(2032," dummy ",467)
(2033," dummy ",467)
(2034," dummy ",2133)
(2034," dummy ",1195)
(2035," dummy ",1195)
(2035," dummy ",2134)
(2036," dummy ",467)
(2037," dummy ",467)
(2038," dummy ",467)
(2039," dummy ",467)
(2040," dummy ",2135)
(2040," dummy ",1195)
(2041," dummy ",1195)
(2041," dummy ",2136)
(2042," dummy ",467)
(2043," dummy ",2137)
(2043," dummy ",1181)
(2044," dummy ",1181)
(2044," dummy ",2138)
(2045," dummy ",467)
(2046," dummy ",2139)
(2046," dummy ",2122)
(2047," dummy ",2122)
(2047," dummy ",2140)
(2048," dummy ",467)
(2049," dummy ",467)
(2050," dummy ",467)
(2051," dummy ",2141)
(2051," dummy ",1181)
(2052," dummy ",1181)
(2052," dummy ",2142)
(2053," dummy ",467)
(2054," dummy ",2143)
(2054," dummy ",1184)
(2055," dummy ",1184)
(2055," dummy ",2144)
(2056," dummy ",467)
(2057," dummy ",2145)
(2057," dummy ",2129)
(2058," dummy ",2129)
(2058," dummy ",2146)
(2059," dummy ",467)
(2060," dummy ",467)
(2061," dummy ",467)
(2062," dummy ",467)
(2063," dummy ",2147)
(2063," dummy ",1190)
(2064," dummy ",1190)
(2064," dummy ",2148)
(2065," dummy ",467)
(2066," dummy ",467)
(2067," dummy ",467)
(2068," dummy ",2149)
(2068," dummy ",1195)
(2069," dummy ",1195)
(2069," dummy ",2150)
(2070," dummy ",467)
(2071," dummy ",467)
(2072," dummy ",467)
(2073," dummy ",467)
(2074," dummy ",2151)
(2074," dummy ",1195)
(2075," dummy ",1195)
(2075," dummy ",2152)
(2076," dummy ",467)
(2077," dummy; prob 0.500000",2153)
(2077," dummy; prob 0.500000",2154)
(2078," dummy ",2155)
(2078," dummy ",2156)
(2079," dummy; prob 0.500000",2157)
(2079," dummy; prob 0.500000",2158)
(2080," dummy; prob 0.500000",2159)
(2080," dummy; prob 0.500000",2160)
(2081," dummy ",2155)
(2081," dummy ",2156)
(2082," dummy; prob 0.500000",2161)
(2082," dummy; prob 0.500000",2162)
(2083," dummy; prob 0.500000",2163)
(2083," dummy; prob 0.500000",2164)
(2084," dummy ",2165)
(2084," dummy ",2166)
(2085," dummy; prob 0.500000",2167)
(2085," dummy; prob 0.500000",2168)
(2086," dummy; prob 0.500000",2169)
(2086," dummy; prob 0.500000",2170)
(2087," dummy ",2165)
(2087," dummy ",2166)
(2088," dummy; prob 0.500000",2171)
(2088," dummy; prob 0.500000",2172)
(2089," dummy; prob 0.500000",2173)
(2089," dummy; prob 0.500000",2174)
(2090," dummy ",2155)
(2090," dummy ",2156)
(2091," dummy; prob 0.500000",2175)
(2091," dummy; prob 0.500000",2176)
(2092," dummy; prob 0.500000",2177)
(2092," dummy; prob 0.500000",2178)
(2093," dummy ",2165)
(2093," dummy ",2166)
(2094," dummy; prob 0.500000",2179)
(2094," dummy; prob 0.500000",2180)
(2095," dummy; prob 0.500000",2181)
(2095," dummy; prob 0.500000",2182)
(2096," dummy ",2155)
(2096," dummy ",2156)
(2097," dummy; prob 0.500000",2183)
(2097," dummy; prob 0.500000",2184)
(2098," dummy; prob 0.500000",2185)
(2098," dummy; prob 0.500000",2186)
(2099," dummy ",2165)
(2099," dummy ",2166)
(2100," dummy; prob 0.500000",2187)
(2100," dummy; prob 0.500000",2188)
(2101," dummy; prob 0.500000",2189)
(2101," dummy; prob 0.500000",2190)
(2102," dummy; prob 0.500000",2191)
(2102," dummy; prob 0.500000",2192)
(2103," dummy; prob 0.500000",2193)
(2103," dummy; prob 0.500000",2194)
(2104," dummy ",2165)
(2104," dummy ",2166)
(2105," dummy; prob 0.500000",2195)
(2105," dummy; prob 0.500000",2196)
(2106," dummy; prob 0.500000",2197)
(2106," dummy; prob 0.500000",2198)
(2107," dummy; prob 0.500000",2199)
(2107," dummy; prob 0.500000",2200)
(2108," dummy; prob 0.500000",2201)
(2108," dummy; prob 0.500000",2202)
(2109," dummy; prob 0.500000",2203)
(2109," dummy; prob 0.500000",2204)
(2110," dummy; prob 0.500000",2205)
(2110," dummy; prob 0.500000",2206)
(2111," dummy ",2165)
(2111," dummy ",2166)
(2112," dummy; prob 0.500000",2207)
(2112," dummy; prob 0.500000",2208)
(2113," dummy; prob 0.500000",2209)
(2113," dummy; prob 0.500000",2210)
(2114," dummy; prob 0.500000",2211)
(2114," dummy; prob 0.500000",2212)
(2115," dummy; prob 0.500000",2213)
(2115," dummy; prob 0.500000",2214)
(2116," dummy; prob 0.500000",2215)
(2116," dummy; prob 0.500000",2216)
(2117," dummy; prob 0.500000",2217)
(2117," dummy; prob 0.500000",2218)
(2118," dummy; prob 0.500000",2219)
(2118," dummy; prob 0.500000",2220)
(2119," dummy; prob 0.500000",2221)
(2119," dummy; prob 0.500000",2222)
(2120," dummy; prob 0.500000",2223)
(2120," dummy; prob 0.500000",2224)
(2121," dummy; prob 0.500000",2225)
(2121," dummy; prob 0.500000",2226)
(2122," dummy ",1277)
(2122," dummy ",1278)
(2123," dummy; prob 0.500000",2227)
(2123," dummy; prob 0.500000",2228)
(2124," dummy; prob 0.500000",2229)
(2124," dummy; prob 0.500000",2230)
(2125," dummy; prob 0.500000",2231)
(2125," dummy; prob 0.500000",2232)
(2126," dummy; prob 0.500000",2233)
(2126," dummy; prob 0.500000",2234)
(2127," dummy; prob 0.500000",2235)
(2127," dummy; prob 0.500000",2236)
(2128," dummy; prob 0.500000",2237)
(2128," dummy; prob 0.500000",2238)
(2129," dummy ",1277)
(2129," dummy ",1278)
(2130," dummy; prob 0.500000",2239)
(2130," dummy; prob 0.500000",2240)
(2131," dummy; prob 0.500000",2241)
(2131," dummy; prob 0.500000",2242)
(2132," dummy; prob 0.500000",2243)
(2132," dummy; prob 0.500000",2244)
(2133," dummy; prob 0.500000",2245)
(2133," dummy; prob 0.500000",2246)
(2134," dummy; prob 0.500000",2247)
(2134," dummy; prob 0.500000",2248)
(2135," dummy; prob 0.500000",2249)
(2135," dummy; prob 0.500000",2250)
(2136," dummy; prob 0.500000",2251)
(2136," dummy; prob 0.500000",2252)
(2137," dummy; prob 0.500000",2253)
(2137," dummy; prob 0.500000",2254)
(2138," dummy; prob 0.500000",2255)
(2138," dummy; prob 0.500000",2256)
(2139," dummy; prob 0.500000",2257)
(2139," dummy; prob 0.500000",2258)
(2140," dummy; prob 0.500000",2259)
(2140," dummy; prob 0.500000",2260)
(2141," dummy; prob 0.500000",2261)
(2141," dummy; prob 0.500000",2262)
(2142," dummy; prob 0.500000",2263)
(2142," dummy; prob 0.500000",2264)
(2143," dummy; prob 0.500000",2265)
(2143," dummy; prob 0.500000",2266)
(2144," dummy; prob 0.500000",2267)
(2144," dummy; prob 0.500000",2268)
(2145," dummy; prob 0.500000",2269)
(2145," dummy; prob 0.500000",2270)
(2146," dummy; prob 0.500000",2271)
(2146," dummy; prob 0.500000",2272)
(2147," dummy; prob 0.500000",2273)
(2147," dummy; prob 0.500000",2274)
(2148," dummy; prob 0.500000",2275)
(2148," dummy; prob 0.500000",2276)
(2149," dummy; prob 0.500000",2277)
(2149," dummy; prob 0.500000",2278)
(2150," dummy; prob 0.500000",2279)
(2150," dummy; prob 0.500000",2280)
(2151," dummy; prob 0.500000",2281)
(2151," dummy; prob 0.500000",2282)
(2152," dummy; prob 0.500000",2283)
(2152," dummy; prob 0.500000",2284)
(2153," dummy ",2285)
(2154," dummy ",2286)
(2155," dummy; prob 0.500000",2287)
(2155," dummy; prob 0.500000",2288)
(2156," dummy; prob 0.500000",2289)
(2156," dummy; prob 0.500000",2290)
(2157," dummy ",2291)
(2158," dummy ",2292)
(2159," dummy ",2293)
(2160," dummy ",2294)
(2161," dummy ",2295)
(2162," dummy ",2296)
(2163," dummy ",2297)
(2164," dummy ",2298)
(2165," dummy; prob 0.500000",2299)
(2165," dummy; prob 0.500000",2300)
(2166," dummy; prob 0.500000",2301)
(2166," dummy; prob 0.500000",2302)
(2167," dummy ",2303)
(2168," dummy ",2304)
(2169," dummy ",2305)
(2170," dummy ",2306)
(2171," dummy ",2307)
(2172," dummy ",2308)
(2173," dummy ",2309)
(2174," dummy ",2310)
(2175," dummy ",2311)
(2176," dummy ",2312)
(2177," dummy ",2313)
(2178," dummy ",2314)
(2179," dummy ",2315)
(2180," dummy ",2316)
(2181," dummy ",2317)
(2182," dummy ",2318)
(2183," dummy ",2319)
(2184," dummy ",2320)
(2185," dummy ",2321)
(2186," dummy ",2322)
(2187," dummy ",2323)
(2188," dummy ",2324)
(2189," dummy ",2297)
(2190," dummy ",2298)
(2191," dummy ",2303)
(2192," dummy ",2304)
(2193," dummy ",2325)
(2194," dummy ",2326)
(2195," dummy ",2327)
(2196," dummy ",2328)
(2197," dummy ",1373)
(2198," dummy ",1374)
(2199," dummy ",1379)
(2200," dummy ",1380)
(2201," dummy ",1381)
(2202," dummy ",1382)
(2203," dummy ",1383)
(2204," dummy ",1384)
(2205," dummy ",2329)
(2206," dummy ",2330)
(2207," dummy ",2331)
(2208," dummy ",2332)
(2209," dummy ",1389)
(2210," dummy ",1390)
(2211," dummy ",1391)
(2212," dummy ",1392)
(2213," dummy ",2321)
(2214," dummy ",2322)
(2215," dummy ",2323)
(2216," dummy ",2324)
(2217," dummy ",1393)
(2218," dummy ",1394)
(2219," dummy ",1395)
(2220," dummy ",1396)
(2221," dummy ",1373)
(2222," dummy ",1374)
(2223," dummy ",1379)
(2224," dummy ",1380)
(2225," dummy ",2333)
(2226," dummy ",2334)
(2227," dummy ",2335)
(2228," dummy ",2336)
(2229," dummy ",1373)
(2230," dummy ",1374)
(2231," dummy ",1379)
(2232," dummy ",1380)
(2233," dummy ",1381)
(2234," dummy ",1382)
(2235," dummy ",1383)
(2236," dummy ",1384)
(2237," dummy ",2337)
(2238," dummy ",2338)
(2239," dummy ",2339)
(2240," dummy ",2340)
(2241," dummy ",1389)
(2242," dummy ",1390)
(2243," dummy ",1391)
(2244," dummy ",1392)
(2245," dummy ",1393)
(2246," dummy ",1394)
(2247," dummy ",1395)
(2248," dummy ",1396)
(2249," dummy ",1393)
(2250," dummy ",1394)
(2251," dummy ",1395)
(2252," dummy ",1396)
(2253," dummy ",1373)
(2254," dummy ",1374)
(2255," dummy ",1379)
(2256," dummy ",1380)
(2257," dummy ",2333)
(2258," dummy ",2334)
(2259," dummy ",2335)
(2260," dummy ",2336)
(2261," dummy ",1373)
(2262," dummy ",1374)
(2263," dummy ",1379)
(2264," dummy ",1380)
(2265," dummy ",1381)
(2266," dummy ",1382)
(2267," dummy ",1383)
(2268," dummy ",1384)
(2269," dummy ",2337)
(2270," dummy ",2338)
(2271," dummy ",2339)
(2272," dummy ",2340)
(2273," dummy ",1389)
(2274," dummy ",1390)
(2275," dummy ",1391)
(2276," dummy ",1392)
(2277," dummy ",1393)
(2278," dummy ",1394)
(2279," dummy ",1395)
(2280," dummy ",1396)
(2281," dummy ",1393)
(2282," dummy ",1394)
(2283," dummy ",1395)
(2284," dummy ",1396)
(2285," dummy ",2341)
(2285," dummy ",2342)
(2286," dummy ",2343)
(2286," dummy ",2344)
(2287," dummy ",2345)
(2287," dummy ",2346)
(2288," dummy ",2347)
(2288," dummy ",2348)
(2289," dummy ",2349)
(2289," dummy ",2350)
(2290," dummy ",2351)
(2290," dummy ",2352)
(2291," dummy ",2353)
(2291," dummy ",2354)
(2292," dummy ",2355)
(2292," dummy ",2356)
(2293," dummy ",2341)
(2293," dummy ",2357)
(2294," dummy ",2343)
(2294," dummy ",2358)
(2295," dummy ",2359)
(2295," dummy ",2354)
(2296," dummy ",2360)
(2296," dummy ",2356)
(2297," dummy ",2361)
(2297," dummy ",2362)
(2298," dummy ",2363)
(2298," dummy ",2364)
(2299," dummy ",2365)
(2299," dummy ",2366)
(2300," dummy ",2367)
(2300," dummy ",2368)
(2301," dummy ",2369)
(2301," dummy ",2370)
(2302," dummy ",2371)
(2302," dummy ",2372)
(2303," dummy ",2373)
(2303," dummy ",2374)
(2304," dummy ",2375)
(2304," dummy ",2376)
(2305," dummy ",2361)
(2305," dummy ",2377)
(2306," dummy ",2363)
(2306," dummy ",2378)
(2307," dummy ",2379)
(2307," dummy ",2374)
(2308," dummy ",2380)
(2308," dummy ",2376)
(2309," dummy ",2341)
(2309," dummy ",2381)
(2310," dummy ",2343)
(2310," dummy ",2382)
(2311," dummy ",2383)
(2311," dummy ",2354)
(2312," dummy ",2384)
(2312," dummy ",2356)
(2313," dummy ",2361)
(2313," dummy ",2385)
(2314," dummy ",2363)
(2314," dummy ",2386)
(2315," dummy ",2387)
(2315," dummy ",2374)
(2316," dummy ",2388)
(2316," dummy ",2376)
(2317," dummy ",2341)
(2317," dummy ",2389)
(2318," dummy ",2343)
(2318," dummy ",2390)
(2319," dummy ",2391)
(2319," dummy ",2354)
(2320," dummy ",2392)
(2320," dummy ",2356)
(2321," dummy ",2361)
(2321," dummy ",2393)
(2322," dummy ",2363)
(2322," dummy ",2394)
(2323," dummy ",2395)
(2323," dummy ",2374)
(2324," dummy ",2396)
(2324," dummy ",2376)
(2325," dummy ",2361)
(2325," dummy ",2397)
(2326," dummy ",2363)
(2326," dummy ",2398)
(2327," dummy ",2399)
(2327," dummy ",2374)
(2328," dummy ",2400)
(2328," dummy ",2376)
(2329," dummy ",2361)
(2329," dummy ",2401)
(2330," dummy ",2363)
(2330," dummy ",2402)
(2331," dummy ",2403)
(2331," dummy ",2374)
(2332," dummy ",2404)
(2332," dummy ",2376)
(2333," dummy ",1493)
(2333," dummy ",2405)
(2334," dummy ",1495)
(2334," dummy ",2406)
(2335," dummy ",2407)
(2335," dummy ",1506)
(2336," dummy ",2408)
(2336," dummy ",1508)
(2337," dummy ",1493)
(2337," dummy ",2409)
(2338," dummy ",1495)
(2338," dummy ",2410)
(2339," dummy ",2411)
(2339," dummy ",1506)
(2340," dummy ",2412)
(2340," dummy ",1508)
(2341," dummy; prob 0.500000",2413)
(2341," dummy; prob 0.500000",2414)
(2342," dummy ",2415)
(2343," dummy; prob 0.500000",2416)
(2343," dummy; prob 0.500000",2417)
(2344," dummy ",2418)
(2345," dummy; prob 0.500000",2419)
(2345," dummy; prob 0.500000",2420)
(2346," dummy ",2421)
(2347," dummy; prob 0.500000",2422)
(2347," dummy; prob 0.500000",2423)
(2348," dummy ",2424)
(2349," dummy ",2425)
(2350," dummy; prob 0.500000",2419)
(2350," dummy; prob 0.500000",2422)
(2351," dummy ",2426)
(2352," dummy; prob 0.500000",2420)
(2352," dummy; prob 0.500000",2423)
(2353," dummy ",2427)
(2354," dummy; prob 0.500000",2428)
(2354," dummy; prob 0.500000",2429)
(2355," dummy ",2430)
(2356," dummy; prob 0.500000",2431)
(2356," dummy; prob 0.500000",2432)
(2357," dummy ",2415)
(2358," dummy ",2418)
(2359," dummy ",2427)
(2360," dummy ",2430)
(2361," dummy; prob 0.500000",2433)
(2361," dummy; prob 0.500000",2434)
(2362," dummy ",2435)
(2363," dummy; prob 0.500000",2436)
(2363," dummy; prob 0.500000",2437)
(2364," dummy ",2438)
(2365," dummy; prob 0.500000",2439)
(2365," dummy; prob 0.500000",2440)
(2366," dummy ",2441)
(2367," dummy; prob 0.500000",2442)
(2367," dummy; prob 0.500000",2443)
(2368," dummy ",2444)
(2369," dummy ",2445)
(2370," dummy; prob 0.500000",2439)
(2370," dummy; prob 0.500000",2442)
(2371," dummy ",2446)
(2372," dummy; prob 0.500000",2440)
(2372," dummy; prob 0.500000",2443)
(2373," dummy ",2447)
(2374," dummy; prob 0.500000",2448)
(2374," dummy; prob 0.500000",2449)
(2375," dummy ",2450)
(2376," dummy; prob 0.500000",2451)
(2376," dummy; prob 0.500000",2452)
(2377," dummy ",2435)
(2378," dummy ",2438)
(2379," dummy ",2447)
(2380," dummy ",2450)
(2381," dummy ",2415)
(2382," dummy ",2418)
(2383," dummy ",2427)
(2384," dummy ",2430)
(2385," dummy ",2435)
(2386," dummy ",2438)
(2387," dummy ",2447)
(2388," dummy ",2450)
(2389," dummy ",2415)
(2390," dummy ",2418)
(2391," dummy ",2427)
(2392," dummy ",2430)
(2393," dummy ",2435)
(2394," dummy ",2438)
(2395," dummy ",2447)
(2396," dummy ",2450)
(2397," dummy ",2435)
(2398," dummy ",2438)
(2399," dummy ",2447)
(2400," dummy ",2450)
(2401," dummy ",2435)
(2402," dummy ",2438)
(2403," dummy ",2447)
(2404," dummy ",2450)
(2405," dummy ",1587)
(2406," dummy ",1590)
(2407," dummy ",1599)
(2408," dummy ",1602)
(2409," dummy ",1587)
(2410," dummy ",1590)
(2411," dummy ",1599)
(2412," dummy ",1602)
(2413," dummy ",2453)
(2413," dummy ",2454)
(2414," dummy ",2455)
(2414," dummy ",2456)
(2415," dummy; prob 0.500000",2454)
(2415," dummy; prob 0.500000",2456)
(2416," dummy ",2457)
(2416," dummy ",2458)
(2417," dummy ",2459)
(2417," dummy ",2460)
(2418," dummy; prob 0.500000",2458)
(2418," dummy; prob 0.500000",2460)
(2419," dummy ",2461)
(2419," dummy ",2462)
(2420," dummy ",2463)
(2420," dummy ",2464)
(2421," dummy; prob 0.500000",2462)
(2421," dummy; prob 0.500000",2464)
(2422," dummy ",2465)
(2422," dummy ",2466)
(2423," dummy ",2467)
(2423," dummy ",2468)
(2424," dummy; prob 0.500000",2466)
(2424," dummy; prob 0.500000",2468)
(2425," dummy; prob 0.500000",2461)
(2425," dummy; prob 0.500000",2465)
(2426," dummy; prob 0.500000",2463)
(2426," dummy; prob 0.500000",2467)
(2427," dummy; prob 0.500000",2469)
(2427," dummy; prob 0.500000",2470)
(2428," dummy ",2469)
(2428," dummy ",2471)
(2429," dummy ",2470)
(2429," dummy ",2472)
(2430," dummy; prob 0.500000",2473)
(2430," dummy; prob 0.500000",2474)
(2431," dummy ",2473)
(2431," dummy ",2475)
(2432," dummy ",2474)
(2432," dummy ",2476)
(2433," dummy ",2477)
(2433," dummy ",2478)
(2434," dummy ",2479)
(2434," dummy ",2480)
(2435," dummy; prob 0.500000",2478)
(2435," dummy; prob 0.500000",2480)
(2436," dummy ",2481)
(2436," dummy ",2482)
(2437," dummy ",2483)
(2437," dummy ",2484)
(2438," dummy; prob 0.500000",2482)
(2438," dummy; prob 0.500000",2484)
(2439," dummy ",2485)
(2439," dummy ",2486)
(2440," dummy ",2487)
(2440," dummy ",2488)
(2441," dummy; prob 0.500000",2486)
(2441," dummy; prob 0.500000",2488)
(2442," dummy ",2489)
(2442," dummy ",2490)
(2443," dummy ",2491)
(2443," dummy ",2492)
(2444," dummy; prob 0.500000",2490)
(2444," dummy; prob 0.500000",2492)
(2445," dummy; prob 0.500000",2485)
(2445," dummy; prob 0.500000",2489)
(2446," dummy; prob 0.500000",2487)
(2446," dummy; prob 0.500000",2491)
(2447," dummy; prob 0.500000",2493)
(2447," dummy; prob 0.500000",2494)
(2448," dummy ",2493)
(2448," dummy ",2495)
(2449," dummy ",2494)
(2449," dummy ",2496)
(2450," dummy; prob 0.500000",2497)
(2450," dummy; prob 0.500000",2498)
(2451," dummy ",2497)
(2451," dummy ",2499)
(2452," dummy ",2498)
(2452," dummy ",2500)
(2453," dummy ",2501)
(2454," dummy ",2501)
(2455," dummy ",2502)
(2456," dummy ",2502)
(2457," dummy ",2503)
(2458," dummy ",2503)
(2459," dummy ",2504)
(2460," dummy ",2504)
(2461," dummy ",2505)
(2462," dummy ",2505)
(2463," dummy ",2506)
(2464," dummy ",2506)
(2465," dummy ",2507)
(2466," dummy ",2507)
(2467," dummy ",2508)
(2468," dummy ",2508)
(2469," dummy ",2509)
(2470," dummy ",2510)
(2471," dummy ",2509)
(2472," dummy ",2510)
(2473," dummy ",2511)
(2474," dummy ",2512)
(2475," dummy ",2511)
(2476," dummy ",2512)
(2477," dummy ",2513)
(2478," dummy ",2513)
(2479," dummy ",2514)
(2480," dummy ",2514)
(2481," dummy ",2515)
(2482," dummy ",2515)
(2483," dummy ",2516)
(2484," dummy ",2516)
(2485," dummy ",2517)
(2486," dummy ",2517)
(2487," dummy ",2518)
(2488," dummy ",2518)
(2489," dummy ",2519)
(2490," dummy ",2519)
(2491," dummy ",2520)
(2492," dummy ",2520)
(2493," dummy ",2521)
(2494," dummy ",2522)
(2495," dummy ",2521)
(2496," dummy ",2522)
(2497," dummy ",2523)
(2498," dummy ",2524)
(2499," dummy ",2523)
(2500," dummy ",2524)
(2501," dummy ",2525)
(2501," dummy ",2526)
(2502," dummy ",2527)
(2503," dummy ",2528)
(2504," dummy ",2529)
(2504," dummy ",2530)
(2505," dummy ",2531)
(2505," dummy ",2532)
(2506," dummy ",2533)
(2507," dummy ",2534)
(2508," dummy ",2535)
(2508," dummy ",2536)
(2509," dummy ",2537)
(2509," dummy ",2538)
(2510," dummy ",2539)
(2511," dummy ",2540)
(2512," dummy ",2541)
(2512," dummy ",2542)
(2513," dummy ",2543)
(2513," dummy ",2544)
(2514," dummy ",2545)
(2515," dummy ",2546)
(2516," dummy ",2547)
(2516," dummy ",2548)
(2517," dummy ",2549)
(2517," dummy ",2550)
(2518," dummy ",2551)
(2519," dummy ",2552)
(2520," dummy ",2553)
(2520," dummy ",2554)
(2521," dummy ",2555)
(2521," dummy ",2556)
(2522," dummy ",2557)
(2523," dummy ",2558)
(2524," dummy ",2559)
(2524," dummy ",2560)
(2525," dummy ",2561)
(2525," dummy ",2562)
(2526," dummy ",2563)
(2526," dummy ",2564)
(2527," dummy ",2565)
(2528," dummy ",2566)
(2529," dummy ",2567)
(2529," dummy ",2568)
(2530," dummy ",2569)
(2530," dummy ",2570)
(2531," dummy ",2571)
(2531," dummy ",2572)
(2532," dummy ",2573)
(2532," dummy ",2574)
(2533," dummy ",2575)
(2534," dummy ",2576)
(2535," dummy ",2577)
(2535," dummy ",2578)
(2536," dummy ",2579)
(2536," dummy ",2580)
(2537," dummy ",2581)
(2537," dummy ",2582)
(2538," dummy ",2583)
(2538," dummy ",2584)
(2539," dummy ",2585)
(2540," dummy ",2586)
(2541," dummy ",2587)
(2541," dummy ",2588)
(2542," dummy ",2589)
(2542," dummy ",2590)
(2543," dummy ",2591)
(2543," dummy ",2592)
(2544," dummy ",2593)
(2544," dummy ",2594)
(2545," dummy ",2595)
(2546," dummy ",2596)
(2547," dummy ",2597)
(2547," dummy ",2598)
(2548," dummy ",2599)
(2548," dummy ",2600)
(2549," dummy ",2601)
(2549," dummy ",2602)
(2550," dummy ",2603)
(2550," dummy ",2604)
(2551," dummy ",2605)
(2552," dummy ",2606)
(2553," dummy ",2607)
(2553," dummy ",2608)
(2554," dummy ",2609)
(2554," dummy ",2610)
(2555," dummy ",2611)
(2555," dummy ",2612)
(2556," dummy ",2613)
(2556," dummy ",2614)
(2557," dummy ",2615)
(2558," dummy ",2616)
(2559," dummy ",2617)
(2559," dummy ",2618)
(2560," dummy ",2619)
(2560," dummy ",2620)
(2561," dummy ",2621)
(2561," dummy ",2622)
(2562," dummy ",2623)
(2563," dummy ",2624)
(2563," dummy ",2625)
(2564," dummy ",2626)
(2565," dummy ",2627)
(2566," dummy ",2628)
(2567," dummy ",2629)
(2567," dummy ",2630)
(2568," dummy ",2631)
(2569," dummy ",2632)
(2569," dummy ",2633)
(2570," dummy ",2634)
(2571," dummy ",2635)
(2571," dummy ",2636)
(2572," dummy ",2637)
(2573," dummy ",2624)
(2573," dummy ",2625)
(2574," dummy ",2638)
(2575," dummy ",2639)
(2576," dummy ",2640)
(2577," dummy ",2641)
(2577," dummy ",2642)
(2578," dummy ",2643)
(2579," dummy ",2632)
(2579," dummy ",2633)
(2580," dummy ",2644)
(2581," dummy ",2635)
(2581," dummy ",2636)
(2582," dummy ",2645)
(2583," dummy ",2646)
(2583," dummy ",2647)
(2584," dummy ",2648)
(2585," dummy ",2649)
(2586," dummy ",2650)
(2587," dummy ",2641)
(2587," dummy ",2642)
(2588," dummy ",2651)
(2589," dummy ",2652)
(2589," dummy ",2653)
(2590," dummy ",2654)
(2591," dummy ",2655)
(2591," dummy ",2656)
(2592," dummy ",2657)
(2593," dummy ",2658)
(2593," dummy ",2659)
(2594," dummy ",2660)
(2595," dummy ",2661)
(2596," dummy ",2662)
(2597," dummy ",2663)
(2597," dummy ",2664)
(2598," dummy ",2665)
(2599," dummy ",2666)
(2599," dummy ",2667)
(2600," dummy ",2668)
(2601," dummy ",2669)
(2601," dummy ",2670)
(2602," dummy ",2671)
(2603," dummy ",2658)
(2603," dummy ",2659)
(2604," dummy ",2672)
(2605," dummy ",2673)
(2606," dummy ",2674)
(2607," dummy ",2675)
(2607," dummy ",2676)
(2608," dummy ",2677)
(2609," dummy ",2666)
(2609," dummy ",2667)
(2610," dummy ",2678)
(2611," dummy ",2669)
(2611," dummy ",2670)
(2612," dummy ",2679)
(2613," dummy ",2680)
(2613," dummy ",2681)
(2614," dummy ",2682)
(2615," dummy ",2683)
(2616," dummy ",2684)
(2617," dummy ",2675)
(2617," dummy ",2676)
(2618," dummy ",2685)
(2619," dummy ",2686)
(2619," dummy ",2687)
(2620," dummy ",2688)
(2621," dummy ",2689)
(2621," dummy ",2690)
(2622," dummy ",2690)
(2622," dummy ",2691)
(2623," dummy ",68)
(2623," dummy ",467)
(2624," dummy ",2692)
(2624," dummy ",2693)
(2625," dummy ",2693)
(2625," dummy ",2694)
(2626," dummy ",68)
(2626," dummy ",467)
(2627," dummy ",467)
(2628," dummy ",467)
(2629," dummy ",2695)
(2629," dummy ",1181)
(2630," dummy ",1181)
(2630," dummy ",2696)
(2631," dummy ",467)
(2632," dummy ",2697)
(2632," dummy ",1184)
(2633," dummy ",1184)
(2633," dummy ",2698)
(2634," dummy ",467)
(2635," dummy ",2699)
(2635," dummy ",2700)
(2636," dummy ",2700)
(2636," dummy ",2701)
(2637," dummy ",68)
(2637," dummy ",467)
(2638," dummy ",68)
(2638," dummy ",467)
(2639," dummy ",467)
(2640," dummy ",467)
(2641," dummy ",2702)
(2641," dummy ",1190)
(2642," dummy ",1190)
(2642," dummy ",2703)
(2643," dummy ",467)
(2644," dummy ",467)
(2645," dummy ",68)
(2645," dummy ",467)
(2646," dummy ",2704)
(2646," dummy ",2705)
(2647," dummy ",2705)
(2647," dummy ",2706)
(2648," dummy ",68)
(2648," dummy ",467)
(2649," dummy ",467)
(2650," dummy ",467)
(2651," dummy ",467)
(2652," dummy ",2707)
(2652," dummy ",1195)
(2653," dummy ",1195)
(2653," dummy ",2708)
(2654," dummy ",467)
(2655," dummy ",2709)
(2655," dummy ",1181)
(2656," dummy ",1181)
(2656," dummy ",2710)
(2657," dummy ",467)
(2658," dummy ",2711)
(2658," dummy ",2122)
(2659," dummy ",2122)
(2659," dummy ",2712)
(2660," dummy ",467)
(2661," dummy ",467)
(2662," dummy ",467)
(2663," dummy ",2713)
(2663," dummy ",1181)
(2664," dummy ",1181)
(2664," dummy ",2714)
(2665," dummy ",467)
(2666," dummy ",2715)
(2666," dummy ",1184)
(2667," dummy ",1184)
(2667," dummy ",2716)
(2668," dummy ",467)
(2669," dummy ",2717)
(2669," dummy ",2129)
(2670," dummy ",2129)
(2670," dummy ",2718)
(2671," dummy ",467)
(2672," dummy ",467)
(2673," dummy ",467)
(2674," dummy ",467)
(2675," dummy ",2719)
(2675," dummy ",1190)
(2676," dummy ",1190)
(2676," dummy ",2720)
(2677," dummy ",467)
(2678," dummy ",467)
(2679," dummy ",467)
(2680," dummy ",2721)
(2680," dummy ",1195)
(2681," dummy ",1195)
(2681," dummy ",2722)
(2682," dummy ",467)
(2683," dummy ",467)
(2684," dummy ",467)
(2685," dummy ",467)
(2686," dummy ",2723)
(2686," dummy ",1195)
(2687," dummy ",1195)
(2687," dummy ",2724)
(2688," dummy ",467)
(2689," dummy; prob 0.500000",2725)
(2689," dummy; prob 0.500000",2726)
(2690," dummy ",2727)
(2690," dummy ",2728)
(2691," dummy; prob 0.500000",2729)
(2691," dummy; prob 0.500000",2730)
(2692," dummy; prob 0.500000",2731)
(2692," dummy; prob 0.500000",2732)
(2693," dummy ",2727)
(2693," dummy ",2728)
(2694," dummy; prob 0.500000",2733)
(2694," dummy; prob 0.500000",2734)
(2695," dummy; prob 0.500000",2735)
(2695," dummy; prob 0.500000",2736)
(2696," dummy; prob 0.500000",2737)
(2696," dummy; prob 0.500000",2738)
(2697," dummy; prob 0.500000",2739)
(2697," dummy; prob 0.500000",2740)
(2698," dummy; prob 0.500000",2741)
(2698," dummy; prob 0.500000",2742)
(2699," dummy; prob 0.500000",2743)
(2699," dummy; prob 0.500000",2744)
(2700," dummy ",2727)
(2700," dummy ",2728)
(2701," dummy; prob 0.500000",2745)
(2701," dummy; prob 0.500000",2746)
(2702," dummy; prob 0.500000",2747)
(2702," dummy; prob 0.500000",2748)
(2703," dummy; prob 0.500000",2749)
(2703," dummy; prob 0.500000",2750)
(2704," dummy; prob 0.500000",2751)
(2704," dummy; prob 0.500000",2752)
(2705," dummy ",2727)
(2705," dummy ",2728)
(2706," dummy; prob 0.500000",2753)
(2706," dummy; prob 0.500000",2754)
(2707," dummy; prob 0.500000",2755)
(2707," dummy; prob 0.500000",2756)
(2708," dummy; prob 0.500000",2757)
(2708," dummy; prob 0.500000",2758)
(2709," dummy; prob 0.500000",2759)
(2709," dummy; prob 0.500000",2760)
(2710," dummy; prob 0.500000",2761)
(2710," dummy; prob 0.500000",2762)
(2711," dummy; prob 0.500000",2763)
(2711," dummy; prob 0.500000",2764)
(2712," dummy; prob 0.500000",2765)
(2712," dummy; prob 0.500000",2766)
(2713," dummy; prob 0.500000",2767)
(2713," dummy; prob 0.500000",2768)
(2714," dummy; prob 0.500000",2769)
(2714," dummy; prob 0.500000",2770)
(2715," dummy; prob 0.500000",2771)
(2715," dummy; prob 0.500000",2772)
(2716," dummy; prob 0.500000",2773)
(2716," dummy; prob 0.500000",2774)
(2717," dummy; prob 0.500000",2775)
(2717," dummy; prob 0.500000",2776)
(2718," dummy; prob 0.500000",2777)
(2718," dummy; prob 0.500000",2778)
(2719," dummy; prob 0.500000",2779)
(2719," dummy; prob 0.500000",2780)
(2720," dummy; prob 0.500000",2781)
(2720," dummy; prob 0.500000",2782)
(2721," dummy; prob 0.500000",2783)
(2721," dummy; prob 0.500000",2784)
(2722," dummy; prob 0.500000",2785)
(2722," dummy; prob 0.500000",2786)
(2723," dummy; prob 0.500000",2787)
(2723," dummy; prob 0.500000",2788)
(2724," dummy; prob 0.500000",2789)
(2724," dummy; prob 0.500000",2790)
(2725," dummy ",2791)
(2726," dummy ",2792)
(2727," dummy; prob 0.500000",2793)
(2727," dummy; prob 0.500000",2794)
(2728," dummy; prob 0.500000",2795)
(2728," dummy; prob 0.500000",2796)
(2729," dummy ",2797)
(2730," dummy ",2798)
(2731," dummy ",2799)
(2732," dummy ",2800)
(2733," dummy ",2801)
(2734," dummy ",2802)
(2735," dummy ",1373)
(2736," dummy ",1374)
(2737," dummy ",1379)
(2738," dummy ",1380)
(2739," dummy ",1381)
(2740," dummy ",1382)
(2741," dummy ",1383)
(2742," dummy ",1384)
(2743," dummy ",2803)
(2744," dummy ",2804)
(2745," dummy ",2805)
(2746," dummy ",2806)
(2747," dummy ",1389)
(2748," dummy ",1390)
(2749," dummy ",1391)
(2750," dummy ",1392)
(2751," dummy ",2807)
(2752," dummy ",2808)
(2753," dummy ",2809)
(2754," dummy ",2810)
(2755," dummy ",1393)
(2756," dummy ",1394)
(2757," dummy ",1395)
(2758," dummy ",1396)
(2759," dummy ",1373)
(2760," dummy ",1374)
(2761," dummy ",1379)
(2762," dummy ",1380)
(2763," dummy ",2333)
(2764," dummy ",2334)
(2765," dummy ",2335)
(2766," dummy ",2336)
(2767," dummy ",1373)
(2768," dummy ",1374)
(2769," dummy ",1379)
(2770," dummy ",1380)
(2771," dummy ",1381)
(2772," dummy ",1382)
(2773," dummy ",1383)
(2774," dummy ",1384)
(2775," dummy ",2337)
(2776," dummy ",2338)
(2777," dummy ",2339)
(2778," dummy ",2340)
(2779," dummy ",1389)
(2780," dummy ",1390)
(2781," dummy ",1391)
(2782," dummy ",1392)
(2783," dummy ",1393)
(2784," dummy ",1394)
(2785," dummy ",1395)
(2786," dummy ",1396)
(2787," dummy ",1393)
(2788," dummy ",1394)
(2789," dummy ",1395)
(2790," dummy ",1396)
(2791," dummy ",2811)
(2791," dummy ",2812)
(2792," dummy ",2813)
(2792," dummy ",2814)
(2793," dummy ",2815)
(2793," dummy ",2816)
(2794," dummy ",2817)
(2794," dummy ",2818)
(2795," dummy ",2819)
(2795," dummy ",2820)
(2796," dummy ",2821)
(2796," dummy ",2822)
(2797," dummy ",2823)
(2797," dummy ",2824)
(2798," dummy ",2825)
(2798," dummy ",2826)
(2799," dummy ",2811)
(2799," dummy ",2827)
(2800," dummy ",2813)
(2800," dummy ",2828)
(2801," dummy ",2829)
(2801," dummy ",2824)
(2802," dummy ",2830)
(2802," dummy ",2826)
(2803," dummy ",2811)
(2803," dummy ",2831)
(2804," dummy ",2813)
(2804," dummy ",2832)
(2805," dummy ",2833)
(2805," dummy ",2824)
(2806," dummy ",2834)
(2806," dummy ",2826)
(2807," dummy ",2811)
(2807," dummy ",2835)
(2808," dummy ",2813)
(2808," dummy ",2836)
(2809," dummy ",2837)
(2809," dummy ",2824)
(2810," dummy ",2838)
(2810," dummy ",2826)
(2811," dummy; prob 0.500000",2839)
(2811," dummy; prob 0.500000",2840)
(2812," dummy ",2841)
(2813," dummy; prob 0.500000",2842)
(2813," dummy; prob 0.500000",2843)
(2814," dummy ",2844)
(2815," dummy; prob 0.500000",2845)
(2815," dummy; prob 0.500000",2846)
(2816," dummy ",2847)
(2817," dummy; prob 0.500000",2848)
(2817," dummy; prob 0.500000",2849)
(2818," dummy ",2850)
(2819," dummy ",2851)
(2820," dummy; prob 0.500000",2845)
(2820," dummy; prob 0.500000",2848)
(2821," dummy ",2852)
(2822," dummy; prob 0.500000",2846)
(2822," dummy; prob 0.500000",2849)
(2823," dummy ",2853)
(2824," dummy; prob 0.500000",2854)
(2824," dummy; prob 0.500000",2855)
(2825," dummy ",2856)
(2826," dummy; prob 0.500000",2857)
(2826," dummy; prob 0.500000",2858)
(2827," dummy ",2841)
(2828," dummy ",2844)
(2829," dummy ",2853)
(2830," dummy ",2856)
(2831," dummy ",2841)
(2832," dummy ",2844)
(2833," dummy ",2853)
(2834," dummy ",2856)
(2835," dummy ",2841)
(2836," dummy ",2844)
(2837," dummy ",2853)
(2838," dummy ",2856)
(2839," dummy ",2859)
(2839," dummy ",2860)
(2840," dummy ",2861)
(2840," dummy ",2862)
(2841," dummy; prob 0.500000",2860)
(2841," dummy; prob 0.500000",2862)
(2842," dummy ",2863)
(2842," dummy ",2864)
(2843," dummy ",2865)
(2843," dummy ",2866)
(2844," dummy; prob 0.500000",2864)
(2844," dummy; prob 0.500000",2866)
(2845," dummy ",2867)
(2845," dummy ",2868)
(2846," dummy ",2869)
(2846," dummy ",2870)
(2847," dummy; prob 0.500000",2868)
(2847," dummy; prob 0.500000",2870)
(2848," dummy ",2871)
(2848," dummy ",2872)
(2849," dummy ",2873)
(2849," dummy ",2874)
(2850," dummy; prob 0.500000",2872)
(2850," dummy; prob 0.500000",2874)
(2851," dummy; prob 0.500000",2867)
(2851," dummy; prob 0.500000",2871)
(2852," dummy; prob 0.500000",2869)
(2852," dummy; prob 0.500000",2873)
(2853," dummy; prob 0.500000",2875)
(2853," dummy; prob 0.500000",2876)
(2854," dummy ",2875)
(2854," dummy ",2877)
(2855," dummy ",2876)
(2855," dummy ",2878)
(2856," dummy; prob 0.500000",2879)
(2856," dummy; prob 0.500000",2880)
(2857," dummy ",2879)
(2857," dummy ",2881)
(2858," dummy ",2880)
(2858," dummy ",2882)
(2859," dummy ",2883)
(2860," dummy ",2883)
(2861," dummy ",2884)
(2862," dummy ",2884)
(2863," dummy ",2885)
(2864," dummy ",2885)
(2865," dummy ",2886)
(2866," dummy ",2886)
(2867," dummy ",2887)
(2868," dummy ",2887)
(2869," dummy ",2888)
(2870," dummy ",2888)
(2871," dummy ",2889)
(2872," dummy ",2889)
(2873," dummy ",2890)
(2874," dummy ",2890)
(2875," dummy ",2891)
(2876," dummy ",2892)
(2877," dummy ",2891)
(2878," dummy ",2892)
(2879," dummy ",2893)
(2880," dummy ",2894)
(2881," dummy ",2893)
(2882," dummy ",2894)
(2883," dummy ",2895)
(2883," dummy ",2896)
(2884," dummy ",2897)
(2885," dummy ",2898)
(2886," dummy ",2899)
(2886," dummy ",2900)
(2887," dummy ",2901)
(2887," dummy ",2902)
(2888," dummy ",2903)
(2889," dummy ",2904)
(2890," dummy ",2905)
(2890," dummy ",2906)
(2891," dummy ",2907)
(2891," dummy ",2908)
(2892," dummy ",2909)
(2893," dummy ",2910)
(2894," dummy ",2911)
(2894," dummy ",2912)
(2895," dummy ",2913)
(2895," dummy ",2914)
(2896," dummy ",2915)
(2896," dummy ",2916)
(2897," dummy ",2917)
(2898," dummy ",2918)
(2899," dummy ",2919)
(2899," dummy ",2920)
(2900," dummy ",2921)
(2900," dummy ",2922)
(2901," dummy ",2923)
(2901," dummy ",2924)
(2902," dummy ",2925)
(2902," dummy ",2926)
(2903," dummy ",2927)
(2904," dummy ",2928)
(2905," dummy ",2929)
(2905," dummy ",2930)
(2906," dummy ",2931)
(2906," dummy ",2932)
(2907," dummy ",2933)
(2907," dummy ",2934)
(2908," dummy ",2935)
(2908," dummy ",2936)
(2909," dummy ",2937)
(2910," dummy ",2938)
(2911," dummy ",2939)
(2911," dummy ",2940)
(2912," dummy ",2941)
(2912," dummy ",2942)
(2913," dummy ",2943)
(2913," dummy ",2944)
(2914," dummy ",2945)
(2915," dummy ",2946)
(2915," dummy ",2947)
(2916," dummy ",2948)
(2917," dummy ",2949)
(2918," dummy ",2950)
(2919," dummy ",2951)
(2919," dummy ",2952)
(2920," dummy ",2953)
(2921," dummy ",2954)
(2921," dummy ",2955)
(2922," dummy ",2956)
(2923," dummy ",2957)
(2923," dummy ",2958)
(2924," dummy ",2959)
(2925," dummy ",2946)
(2925," dummy ",2947)
(2926," dummy ",2960)
(2927," dummy ",2961)
(2928," dummy ",2962)
(2929," dummy ",2963)
(2929," dummy ",2964)
(2930," dummy ",2965)
(2931," dummy ",2954)
(2931," dummy ",2955)
(2932," dummy ",2966)
(2933," dummy ",2957)
(2933," dummy ",2958)
(2934," dummy ",2967)
(2935," dummy ",2968)
(2935," dummy ",2969)
(2936," dummy ",2970)
(2937," dummy ",2971)
(2938," dummy ",2972)
(2939," dummy ",2963)
(2939," dummy ",2964)
(2940," dummy ",2973)
(2941," dummy ",2974)
(2941," dummy ",2975)
(2942," dummy ",2976)
(2943," dummy ",2977)
(2943," dummy ",1181)
(2944," dummy ",1181)
(2944," dummy ",2978)
(2945," dummy ",467)
(2946," dummy ",2979)
(2946," dummy ",2122)
(2947," dummy ",2122)
(2947," dummy ",2980)
(2948," dummy ",467)
(2949," dummy ",467)
(2950," dummy ",467)
(2951," dummy ",2981)
(2951," dummy ",1181)
(2952," dummy ",1181)
(2952," dummy ",2982)
(2953," dummy ",467)
(2954," dummy ",2983)
(2954," dummy ",1184)
(2955," dummy ",1184)
(2955," dummy ",2984)
(2956," dummy ",467)
(2957," dummy ",2985)
(2957," dummy ",2129)
(2958," dummy ",2129)
(2958," dummy ",2986)
(2959," dummy ",467)
(2960," dummy ",467)
(2961," dummy ",467)
(2962," dummy ",467)
(2963," dummy ",2987)
(2963," dummy ",1190)
(2964," dummy ",1190)
(2964," dummy ",2988)
(2965," dummy ",467)
(2966," dummy ",467)
(2967," dummy ",467)
(2968," dummy ",2989)
(2968," dummy ",1195)
(2969," dummy ",1195)
(2969," dummy ",2990)
(2970," dummy ",467)
(2971," dummy ",467)
(2972," dummy ",467)
(2973," dummy ",467)
(2974," dummy ",2991)
(2974," dummy ",1195)
(2975," dummy ",1195)
(2975," dummy ",2992)
(2976," dummy ",467)
(2977," dummy; prob 0.500000",2993)
(2977," dummy; prob 0.500000",2994)
(2978," dummy; prob 0.500000",2995)
(2978," dummy; prob 0.500000",2996)
(2979," dummy; prob 0.500000",2997)
(2979," dummy; prob 0.500000",2998)
(2980," dummy; prob 0.500000",2999)
(2980," dummy; prob 0.500000",3000)
(2981," dummy; prob 0.500000",3001)
(2981," dummy; prob 0.500000",3002)
(2982," dummy; prob 0.500000",3003)
(2982," dummy; prob 0.500000",3004)
(2983," dummy; prob 0.500000",3005)
(2983," dummy; prob 0.500000",3006)
(2984," dummy; prob 0.500000",3007)
(2984," dummy; prob 0.500000",3008)
(2985," dummy; prob 0.500000",3009)
(2985," dummy; prob 0.500000",3010)
(2986," dummy; prob 0.500000",3011)
(2986," dummy; prob 0.500000",3012)
(2987," dummy; prob 0.500000",3013)
(2987," dummy; prob 0.500000",3014)
(2988," dummy; prob 0.500000",3015)
(2988," dummy; prob 0.500000",3016)
(2989," dummy; prob 0.500000",3017)
(2989," dummy; prob 0.500000",3018)
(2990," dummy; prob 0.500000",3019)
(2990," dummy; prob 0.500000",3020)
(2991," dummy; prob 0.500000",3021)
(2991," dummy; prob 0.500000",3022)
(2992," dummy; prob 0.500000",3023)
(2992," dummy; prob 0.500000",3024)
(2993," dummy ",1373)
(2994," dummy ",1374)
(2995," dummy ",1379)
(2996," dummy ",1380)
(2997," dummy ",2333)
(2998," dummy ",2334)
(2999," dummy ",2335)
(3000," dummy ",2336)
(3001," dummy ",1373)
(3002," dummy ",1374)
(3003," dummy ",1379)
(3004," dummy ",1380)
(3005," dummy ",1381)
(3006," dummy ",1382)
(3007," dummy ",1383)
(3008," dummy ",1384)
(3009," dummy ",2337)
(3010," dummy ",2338)
(3011," dummy ",2339)
(3012," dummy ",2340)
(3013," dummy ",1389)
(3014," dummy ",1390)
(3015," dummy ",1391)
(3016," dummy ",1392)
(3017," dummy ",1393)
(3018," dummy ",1394)
(3019," dummy ",1395)
(3020," dummy ",1396)
(3021," dummy ",1393)
(3022," dummy ",1394)
(3023," dummy ",1395)
(3024," dummy ",1396)