des(0, 1127, 630)
(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; prob 0.500000",7)
(3," dummy; prob 0.500000",8)
(4," dummy; prob 0.500000",9)
(4," dummy; prob 0.500000",10)
(5," dummy; prob 0.500000",7)
(5," dummy; prob 0.500000",9)
(6," dummy; prob 0.500000",8)
(6," dummy; prob 0.500000",10)
(7," dummy ",11)
(7," dummy ",12)
(8," dummy ",13)
(9," dummy ",13)
(10," dummy ",14)
(10," dummy ",13)
(11," dummy ",15)
(11," dummy ",16)
(12," dummy ",17)
(13," dummy ",17)
(14," dummy ",18)
(14," dummy ",19)
(15," dummy; prob 0.500000",20)
(15," dummy; prob 0.500000",21)
(16," dummy; prob 0.500000",22)
(16," dummy; prob 0.500000",23)
(17," dummy ",17)
(18," dummy; prob 0.500000",24)
(18," dummy; prob 0.500000",25)
(19," dummy; prob 0.500000",26)
(19," dummy; prob 0.500000",27)
(20," dummy; prob 0.500000",28)
(20," dummy; prob 0.500000",29)
(21," dummy; prob 0.500000",30)
(21," dummy; prob 0.500000",31)
(22," dummy; prob 0.500000",28)
(22," dummy; prob 0.500000",30)
(23," dummy; prob 0.500000",29)
(23," dummy; prob 0.500000",31)
(24," dummy; prob 0.500000",32)
(24," dummy; prob 0.500000",33)
(25," dummy; prob 0.500000",34)
(25," dummy; prob 0.500000",35)
(26," dummy; prob 0.500000",32)
(26," dummy; prob 0.500000",34)
(27," dummy; prob 0.500000",33)
(27," dummy; prob 0.500000",35)
(28," dummy ",36)
(28," dummy ",37)
(29," dummy ",38)
(30," dummy ",38)
(31," dummy ",39)
(31," dummy ",38)
(32," dummy ",39)
(32," dummy ",38)
(33," dummy ",40)
(34," dummy ",40)
(35," dummy ",41)
(35," dummy ",40)
(36," dummy ",42)
(36," dummy ",43)
(37," dummy ",17)
(38," dummy ",17)
(39," dummy ",44)
(39," dummy ",45)
(40," dummy ",17)
(41," dummy ",46)
(41," dummy ",47)
(42," dummy; prob 0.500000",48)
(42," dummy; prob 0.500000",49)
(43," dummy; prob 0.500000",50)
(43," dummy; prob 0.500000",51)
(44," dummy; prob 0.500000",52)
(44," dummy; prob 0.500000",53)
(45," dummy; prob 0.500000",54)
(45," dummy; prob 0.500000",55)
(46," dummy; prob 0.500000",56)
(46," dummy; prob 0.500000",57)
(47," dummy; prob 0.500000",58)
(47," dummy; prob 0.500000",59)
(48," dummy; prob 0.500000",60)
(48," dummy; prob 0.500000",61)
(49," dummy; prob 0.500000",62)
(49," dummy; prob 0.500000",63)
(50," dummy; prob 0.500000",60)
(50," dummy; prob 0.500000",62)
(51," dummy; prob 0.500000",61)
(51," dummy; prob 0.500000",63)
(52," dummy; prob 0.500000",64)
(52," dummy; prob 0.500000",65)
(53," dummy; prob 0.500000",66)
(53," dummy; prob 0.500000",67)
(54," dummy; prob 0.500000",64)
(54," dummy; prob 0.500000",66)
(55," dummy; prob 0.500000",65)
(55," dummy; prob 0.500000",67)
(56," dummy; prob 0.500000",68)
(56," dummy; prob 0.500000",69)
(57," dummy; prob 0.500000",70)
(57," dummy; prob 0.500000",71)
(58," dummy; prob 0.500000",68)
(58," dummy; prob 0.500000",70)
(59," dummy; prob 0.500000",69)
(59," dummy; prob 0.500000",71)
(60," dummy ",72)
(60," dummy ",73)
(61," dummy ",74)
(62," dummy ",74)
(63," dummy ",75)
(63," dummy ",74)
(64," dummy ",75)
(64," dummy ",74)
(65," dummy ",76)
(66," dummy ",76)
(67," dummy ",77)
(67," dummy ",76)
(68," dummy ",77)
(68," dummy ",76)
(69," dummy ",78)
(70," dummy ",78)
(71," dummy ",79)
(71," dummy ",78)
(72," dummy ",80)
(72," dummy ",81)
(73," dummy ",17)
(74," dummy ",17)
(75," dummy ",82)
(75," dummy ",83)
(76," dummy ",17)
(77," dummy ",84)
(77," dummy ",85)
(78," dummy ",17)
(79," dummy ",86)
(79," dummy ",87)
(80," dummy; prob 0.500000",88)
(80," dummy; prob 0.500000",89)
(81," dummy; prob 0.500000",90)
(81," dummy; prob 0.500000",91)
(82," dummy; prob 0.500000",92)
(82," dummy; prob 0.500000",93)
(83," dummy; prob 0.500000",94)
(83," dummy; prob 0.500000",95)
(84," dummy; prob 0.500000",96)
(84," dummy; prob 0.500000",97)
(85," dummy; prob 0.500000",98)
(85," dummy; prob 0.500000",99)
(86," dummy; prob 0.500000",100)
(86," dummy; prob 0.500000",101)
(87," dummy; prob 0.500000",102)
(87," dummy; prob 0.500000",103)
(88," dummy; prob 0.500000",104)
(88," dummy; prob 0.500000",105)
(89," dummy; prob 0.500000",106)
(89," dummy; prob 0.500000",107)
(90," dummy; prob 0.500000",104)
(90," dummy; prob 0.500000",106)
(91," dummy; prob 0.500000",105)
(91," dummy; prob 0.500000",107)
(92," dummy; prob 0.500000",108)
(92," dummy; prob 0.500000",109)
(93," dummy; prob 0.500000",110)
(93," dummy; prob 0.500000",111)
(94," dummy; prob 0.500000",108)
(94," dummy; prob 0.500000",110)
(95," dummy; prob 0.500000",109)
(95," dummy; prob 0.500000",111)
(96," dummy; prob 0.500000",112)
(96," dummy; prob 0.500000",113)
(97," dummy; prob 0.500000",114)
(97," dummy; prob 0.500000",115)
(98," dummy; prob 0.500000",112)
(98," dummy; prob 0.500000",114)
(99," dummy; prob 0.500000",113)
(99," dummy; prob 0.500000",115)
(100," dummy; prob 0.500000",116)
(100," dummy; prob 0.500000",117)
(101," dummy; prob 0.500000",118)
(101," dummy; prob 0.500000",119)
(102," dummy; prob 0.500000",116)
(102," dummy; prob 0.500000",118)
(103," dummy; prob 0.500000",117)
(103," dummy; prob 0.500000",119)
(104," dummy ",120)
(104," dummy ",121)
(105," dummy ",122)
(106," dummy ",122)
(107," dummy ",123)
(107," dummy ",122)
(108," dummy ",123)
(108," dummy ",122)
(109," dummy ",124)
(110," dummy ",124)
(111," dummy ",125)
(111," dummy ",124)
(112," dummy ",125)
(112," dummy ",124)
(113," dummy ",126)
(114," dummy ",126)
(115," dummy ",127)
(115," dummy ",126)
(116," dummy ",127)
(116," dummy ",126)
(117," dummy ",128)
(118," dummy ",128)
(119," dummy ",129)
(119," dummy ",128)
(120," dummy ",130)
(120," dummy ",131)
(121," dummy ",17)
(122," dummy ",17)
(123," dummy ",132)
(123," dummy ",133)
(124," dummy ",17)
(125," dummy ",134)
(125," dummy ",135)
(126," dummy ",17)
(127," dummy ",136)
(127," dummy ",137)
(128," dummy ",17)
(129," dummy ",138)
(129," dummy ",139)
(130," dummy; prob 0.500000",140)
(130," dummy; prob 0.500000",141)
(131," dummy; prob 0.500000",142)
(131," dummy; prob 0.500000",143)
(132," dummy; prob 0.500000",144)
(132," dummy; prob 0.500000",145)
(133," dummy; prob 0.500000",146)
(133," dummy; prob 0.500000",147)
(134," dummy; prob 0.500000",148)
(134," dummy; prob 0.500000",149)
(135," dummy; prob 0.500000",150)
(135," dummy; prob 0.500000",151)
(136," dummy; prob 0.500000",152)
(136," dummy; prob 0.500000",153)
(137," dummy; prob 0.500000",154)
(137," dummy; prob 0.500000",155)
(138," dummy; prob 0.500000",156)
(138," dummy; prob 0.500000",157)
(139," dummy; prob 0.500000",158)
(139," dummy; prob 0.500000",159)
(140," dummy; prob 0.500000",160)
(140," dummy; prob 0.500000",161)
(141," dummy; prob 0.500000",162)
(141," dummy; prob 0.500000",163)
(142," dummy; prob 0.500000",160)
(142," dummy; prob 0.500000",162)
(143," dummy; prob 0.500000",161)
(143," dummy; prob 0.500000",163)
(144," dummy; prob 0.500000",164)
(144," dummy; prob 0.500000",165)
(145," dummy; prob 0.500000",166)
(145," dummy; prob 0.500000",167)
(146," dummy; prob 0.500000",164)
(146," dummy; prob 0.500000",166)
(147," dummy; prob 0.500000",165)
(147," dummy; prob 0.500000",167)
(148," dummy; prob 0.500000",168)
(148," dummy; prob 0.500000",169)
(149," dummy; prob 0.500000",170)
(149," dummy; prob 0.500000",171)
(150," dummy; prob 0.500000",168)
(150," dummy; prob 0.500000",170)
(151," dummy; prob 0.500000",169)
(151," dummy; prob 0.500000",171)
(152," dummy; prob 0.500000",172)
(152," dummy; prob 0.500000",173)
(153," dummy; prob 0.500000",174)
(153," dummy; prob 0.500000",175)
(154," dummy; prob 0.500000",172)
(154," dummy; prob 0.500000",174)
(155," dummy; prob 0.500000",173)
(155," dummy; prob 0.500000",175)
(156," dummy; prob 0.500000",176)
(156," dummy; prob 0.500000",177)
(157," dummy; prob 0.500000",178)
(157," dummy; prob 0.500000",179)
(158," dummy; prob 0.500000",176)
(158," dummy; prob 0.500000",178)
(159," dummy; prob 0.500000",177)
(159," dummy; prob 0.500000",179)
(160," dummy ",180)
(160," dummy ",181)
(161," dummy ",182)
(162," dummy ",182)
(163," dummy ",183)
(163," dummy ",182)
(164," dummy ",183)
(164," dummy ",182)
(165," dummy ",184)
(166," dummy ",184)
(167," dummy ",185)
(167," dummy ",184)
(168," dummy ",185)
(168," dummy ",184)
(169," dummy ",186)
(170," dummy ",186)
(171," dummy ",187)
(171," dummy ",186)
(172," dummy ",187)
(172," dummy ",186)
(173," dummy ",188)
(174," dummy ",188)
(175," dummy ",189)
(175," dummy ",188)
(176," dummy ",189)
(176," dummy ",188)
(177," dummy ",190)
(178," dummy ",190)
(179," dummy ",191)
(179," dummy ",190)
(180," dummy ",192)
(180," dummy ",193)
(181," dummy ",17)
(182," dummy ",17)
(183," dummy ",194)
(183," dummy ",195)
(184," dummy ",17)
(185," dummy ",196)
(185," dummy ",197)
(186," dummy ",17)
(187," dummy ",198)
(187," dummy ",199)
(188," dummy ",17)
(189," dummy ",200)
(189," dummy ",201)
(190," dummy ",17)
(190," dummy ",202)
(191," dummy ",203)
(191," dummy ",204)
(192," dummy; prob 0.500000",205)
(192," dummy; prob 0.500000",206)
(193," dummy; prob 0.500000",207)
(193," dummy; prob 0.500000",208)
(194," dummy; prob 0.500000",209)
(194," dummy; prob 0.500000",210)
(195," dummy; prob 0.500000",211)
(195," dummy; prob 0.500000",212)
(196," dummy; prob 0.500000",213)
(196," dummy; prob 0.500000",214)
(197," dummy; prob 0.500000",215)
(197," dummy; prob 0.500000",216)
(198," dummy; prob 0.500000",217)
(198," dummy; prob 0.500000",218)
(199," dummy; prob 0.500000",219)
(199," dummy; prob 0.500000",220)
(200," dummy; prob 0.500000",221)
(200," dummy; prob 0.500000",222)
(201," dummy; prob 0.500000",223)
(201," dummy; prob 0.500000",224)
(202," dummy; prob 0.800000",202)
(203," dummy; prob 0.500000",225)
(203," dummy; prob 0.500000",226)
(204," dummy; prob 0.500000",227)
(204," dummy; prob 0.500000",228)
(205," dummy; prob 0.500000",229)
(205," dummy; prob 0.500000",230)
(206," dummy; prob 0.500000",231)
(206," dummy; prob 0.500000",232)
(207," dummy; prob 0.500000",229)
(207," dummy; prob 0.500000",231)
(208," dummy; prob 0.500000",230)
(208," dummy; prob 0.500000",232)
(209," dummy; prob 0.500000",233)
(209," dummy; prob 0.500000",234)
(210," dummy; prob 0.500000",235)
(210," dummy; prob 0.500000",236)
(211," dummy; prob 0.500000",233)
(211," dummy; prob 0.500000",235)
(212," dummy; prob 0.500000",234)
(212," dummy; prob 0.500000",236)
(213," dummy; prob 0.500000",237)
(213," dummy; prob 0.500000",238)
(214," dummy; prob 0.500000",239)
(214," dummy; prob 0.500000",240)
(215," dummy; prob 0.500000",237)
(215," dummy; prob 0.500000",239)
(216," dummy; prob 0.500000",238)
(216," dummy; prob 0.500000",240)
(217," dummy; prob 0.500000",241)
(217," dummy; prob 0.500000",242)
(218," dummy; prob 0.500000",243)
(218," dummy; prob 0.500000",244)
(219," dummy; prob 0.500000",241)
(219," dummy; prob 0.500000",243)
(220," dummy; prob 0.500000",242)
(220," dummy; prob 0.500000",244)
(221," dummy; prob 0.500000",245)
(221," dummy; prob 0.500000",246)
(222," dummy; prob 0.500000",247)
(222," dummy; prob 0.500000",248)
(223," dummy; prob 0.500000",245)
(223," dummy; prob 0.500000",247)
(224," dummy; prob 0.500000",246)
(224," dummy; prob 0.500000",248)
(225," dummy; prob 0.500000",249)
(225," dummy; prob 0.500000",250)
(226," dummy; prob 0.500000",251)
(226," dummy; prob 0.500000",252)
(227," dummy; prob 0.500000",249)
(227," dummy; prob 0.500000",251)
(228," dummy; prob 0.500000",250)
(228," dummy; prob 0.500000",252)
(229," dummy ",253)
(229," dummy ",254)
(230," dummy ",255)
(231," dummy ",255)
(232," dummy ",256)
(232," dummy ",255)
(233," dummy ",256)
(233," dummy ",255)
(234," dummy ",257)
(235," dummy ",257)
(236," dummy ",258)
(236," dummy ",257)
(237," dummy ",258)
(237," dummy ",257)
(238," dummy ",259)
(239," dummy ",259)
(240," dummy ",260)
(240," dummy ",259)
(241," dummy ",260)
(241," dummy ",259)
(242," dummy ",261)
(243," dummy ",261)
(244," dummy ",262)
(244," dummy ",261)
(245," dummy ",262)
(245," dummy ",261)
(246," dummy ",263)
(247," dummy ",263)
(248," dummy ",264)
(248," dummy ",263)
(249," dummy ",264)
(249," dummy ",263)
(250," dummy ",265)
(251," dummy ",265)
(252," dummy ",266)
(252," dummy ",265)
(253," dummy ",267)
(253," dummy ",268)
(254," dummy ",17)
(255," dummy ",17)
(256," dummy ",269)
(256," dummy ",270)
(257," dummy ",17)
(258," dummy ",271)
(258," dummy ",272)
(259," dummy ",17)
(260," dummy ",273)
(260," dummy ",274)
(261," dummy ",17)
(261," dummy ",202)
(262," dummy ",275)
(262," dummy ",276)
(263," dummy ",17)
(263," dummy ",202)
(264," dummy ",277)
(264," dummy ",278)
(265," dummy ",17)
(265," dummy ",202)
(266," dummy ",279)
(266," dummy ",280)
(267," dummy; prob 0.500000",281)
(267," dummy; prob 0.500000",282)
(268," dummy; prob 0.500000",283)
(268," dummy; prob 0.500000",284)
(269," dummy; prob 0.500000",285)
(269," dummy; prob 0.500000",286)
(270," dummy; prob 0.500000",287)
(270," dummy; prob 0.500000",288)
(271," dummy; prob 0.500000",289)
(271," dummy; prob 0.500000",290)
(272," dummy; prob 0.500000",291)
(272," dummy; prob 0.500000",292)
(273," dummy; prob 0.500000",293)
(273," dummy; prob 0.500000",294)
(274," dummy; prob 0.500000",295)
(274," dummy; prob 0.500000",296)
(275," dummy; prob 0.500000",297)
(275," dummy; prob 0.500000",298)
(276," dummy; prob 0.500000",299)
(276," dummy; prob 0.500000",300)
(277," dummy; prob 0.500000",301)
(277," dummy; prob 0.500000",302)
(278," dummy; prob 0.500000",303)
(278," dummy; prob 0.500000",304)
(279," dummy; prob 0.500000",305)
(279," dummy; prob 0.500000",306)
(280," dummy; prob 0.500000",307)
(280," dummy; prob 0.500000",308)
(281," dummy; prob 0.500000",309)
(281," dummy; prob 0.500000",310)
(282," dummy; prob 0.500000",311)
(282," dummy; prob 0.500000",312)
(283," dummy; prob 0.500000",309)
(283," dummy; prob 0.500000",311)
(284," dummy; prob 0.500000",310)
(284," dummy; prob 0.500000",312)
(285," dummy; prob 0.500000",313)
(285," dummy; prob 0.500000",314)
(286," dummy; prob 0.500000",315)
(286," dummy; prob 0.500000",316)
(287," dummy; prob 0.500000",313)
(287," dummy; prob 0.500000",315)
(288," dummy; prob 0.500000",314)
(288," dummy; prob 0.500000",316)
(289," dummy; prob 0.500000",317)
(289," dummy; prob 0.500000",318)
(290," dummy; prob 0.500000",319)
(290," dummy; prob 0.500000",320)
(291," dummy; prob 0.500000",317)
(291," dummy; prob 0.500000",319)
(292," dummy; prob 0.500000",318)
(292," dummy; prob 0.500000",320)
(293," dummy; prob 0.500000",321)
(293," dummy; prob 0.500000",322)
(294," dummy; prob 0.500000",323)
(294," dummy; prob 0.500000",324)
(295," dummy; prob 0.500000",321)
(295," dummy; prob 0.500000",323)
(296," dummy; prob 0.500000",322)
(296," dummy; prob 0.500000",324)
(297," dummy; prob 0.500000",325)
(297," dummy; prob 0.500000",326)
(298," dummy; prob 0.500000",327)
(298," dummy; prob 0.500000",328)
(299," dummy; prob 0.500000",325)
(299," dummy; prob 0.500000",327)
(300," dummy; prob 0.500000",326)
(300," dummy; prob 0.500000",328)
(301," dummy; prob 0.500000",329)
(301," dummy; prob 0.500000",330)
(302," dummy; prob 0.500000",331)
(302," dummy; prob 0.500000",332)
(303," dummy; prob 0.500000",329)
(303," dummy; prob 0.500000",331)
(304," dummy; prob 0.500000",330)
(304," dummy; prob 0.500000",332)
(305," dummy; prob 0.500000",333)
(305," dummy; prob 0.500000",334)
(306," dummy; prob 0.500000",335)
(306," dummy; prob 0.500000",336)
(307," dummy; prob 0.500000",333)
(307," dummy; prob 0.500000",335)
(308," dummy; prob 0.500000",334)
(308," dummy; prob 0.500000",336)
(309," dummy ",337)
(309," dummy ",338)
(310," dummy ",339)
(311," dummy ",339)
(312," dummy ",340)
(312," dummy ",339)
(313," dummy ",340)
(313," dummy ",339)
(314," dummy ",341)
(315," dummy ",341)
(316," dummy ",342)
(316," dummy ",341)
(317," dummy ",342)
(317," dummy ",341)
(318," dummy ",343)
(319," dummy ",343)
(320," dummy ",344)
(320," dummy ",343)
(321," dummy ",344)
(321," dummy ",343)
(322," dummy ",345)
(323," dummy ",345)
(324," dummy ",346)
(324," dummy ",345)
(325," dummy ",346)
(325," dummy ",345)
(326," dummy ",347)
(327," dummy ",347)
(328," dummy ",348)
(328," dummy ",347)
(329," dummy ",348)
(329," dummy ",347)
(330," dummy ",349)
(331," dummy ",349)
(332," dummy ",350)
(332," dummy ",349)
(333," dummy ",350)
(333," dummy ",349)
(334," dummy ",351)
(335," dummy ",351)
(336," dummy ",350)
(336," dummy ",351)
(337," dummy ",352)
(337," dummy ",353)
(338," dummy ",17)
(339," dummy ",17)
(340," dummy ",354)
(340," dummy ",355)
(341," dummy ",17)
(341," dummy ",202)
(342," dummy ",356)
(342," dummy ",357)
(343," dummy ",17)
(343," dummy ",202)
(344," dummy ",358)
(344," dummy ",359)
(345," dummy ",17)
(345," dummy ",202)
(346," dummy ",360)
(346," dummy ",361)
(347," dummy ",17)
(347," dummy ",202)
(348," dummy ",362)
(348," dummy ",363)
(349," dummy ",17)
(349," dummy ",202)
(350," dummy ",364)
(350," dummy ",365)
(351," dummy ",202)
(352," dummy; prob 0.500000",366)
(352," dummy; prob 0.500000",367)
(353," dummy; prob 0.500000",368)
(353," dummy; prob 0.500000",369)
(354," dummy; prob 0.500000",370)
(354," dummy; prob 0.500000",371)
(355," dummy; prob 0.500000",372)
(355," dummy; prob 0.500000",373)
(356," dummy; prob 0.500000",374)
(356," dummy; prob 0.500000",375)
(357," dummy; prob 0.500000",376)
(357," dummy; prob 0.500000",377)
(358," dummy; prob 0.500000",378)
(358," dummy; prob 0.500000",379)
(359," dummy; prob 0.500000",380)
(359," dummy; prob 0.500000",381)
(360," dummy; prob 0.500000",382)
(360," dummy; prob 0.500000",383)
(361," dummy; prob 0.500000",384)
(361," dummy; prob 0.500000",385)
(362," dummy; prob 0.500000",386)
(362," dummy; prob 0.500000",387)
(363," dummy; prob 0.500000",388)
(363," dummy; prob 0.500000",389)
(364," dummy; prob 0.500000",390)
(364," dummy; prob 0.500000",391)
(365," dummy; prob 0.500000",392)
(365," dummy; prob 0.500000",393)
(366," dummy; prob 0.500000",394)
(366," dummy; prob 0.500000",395)
(367," dummy; prob 0.500000",396)
(367," dummy; prob 0.500000",397)
(368," dummy; prob 0.500000",394)
(368," dummy; prob 0.500000",396)
(369," dummy; prob 0.500000",395)
(369," dummy; prob 0.500000",397)
(370," dummy; prob 0.500000",398)
(370," dummy; prob 0.500000",399)
(371," dummy; prob 0.500000",400)
(371," dummy; prob 0.500000",401)
(372," dummy; prob 0.500000",398)
(372," dummy; prob 0.500000",400)
(373," dummy; prob 0.500000",399)
(373," dummy; prob 0.500000",401)
(374," dummy; prob 0.500000",402)
(374," dummy; prob 0.500000",403)
(375," dummy; prob 0.500000",404)
(375," dummy; prob 0.500000",405)
(376," dummy; prob 0.500000",402)
(376," dummy; prob 0.500000",404)
(377," dummy; prob 0.500000",403)
(377," dummy; prob 0.500000",405)
(378," dummy; prob 0.500000",406)
(378," dummy; prob 0.500000",407)
(379," dummy; prob 0.500000",408)
(379," dummy; prob 0.500000",409)
(380," dummy; prob 0.500000",406)
(380," dummy; prob 0.500000",408)
(381," dummy; prob 0.500000",407)
(381," dummy; prob 0.500000",409)
(382," dummy; prob 0.500000",410)
(382," dummy; prob 0.500000",411)
(383," dummy; prob 0.500000",412)
(383," dummy; prob 0.500000",413)
(384," dummy; prob 0.500000",410)
(384," dummy; prob 0.500000",412)
(385," dummy; prob 0.500000",411)
(385," dummy; prob 0.500000",413)
(386," dummy; prob 0.500000",414)
(386," dummy; prob 0.500000",415)
(387," dummy; prob 0.500000",416)
(387," dummy; prob 0.500000",417)
(388," dummy; prob 0.500000",414)
(388," dummy; prob 0.500000",416)
(389," dummy; prob 0.500000",415)
(389," dummy; prob 0.500000",417)
(390," dummy; prob 0.500000",418)
(390," dummy; prob 0.500000",419)
(391," dummy; prob 0.500000",420)
(391," dummy; prob 0.500000",421)
(392," dummy; prob 0.500000",418)
(392," dummy; prob 0.500000",420)
(393," dummy; prob 0.500000",419)
(393," dummy; prob 0.500000",421)
(394," dummy ",422)
(394," dummy ",423)
(395," dummy ",424)
(396," dummy ",424)
(397," dummy ",425)
(397," dummy ",424)
(398," dummy ",425)
(398," dummy ",424)
(399," dummy ",426)
(400," dummy ",426)
(401," dummy ",427)
(401," dummy ",426)
(402," dummy ",427)
(402," dummy ",426)
(403," dummy ",428)
(404," dummy ",428)
(405," dummy ",429)
(405," dummy ",428)
(406," dummy ",429)
(406," dummy ",428)
(407," dummy ",430)
(408," dummy ",430)
(409," dummy ",431)
(409," dummy ",430)
(410," dummy ",431)
(410," dummy ",430)
(411," dummy ",432)
(412," dummy ",432)
(413," dummy ",350)
(413," dummy ",432)
(414," dummy ",350)
(414," dummy ",432)
(415," dummy ",351)
(416," dummy ",351)
(417," dummy ",350)
(417," dummy ",351)
(418," dummy ",350)
(418," dummy ",351)
(419," dummy ",351)
(420," dummy ",351)
(421," dummy ",350)
(421," dummy ",351)
(422," dummy ",433)
(422," dummy ",434)
(423," dummy ",17)
(424," dummy ",17)
(424," dummy ",202)
(425," dummy ",435)
(425," dummy ",436)
(426," dummy ",17)
(426," dummy ",202)
(427," dummy ",437)
(427," dummy ",438)
(428," dummy ",17)
(428," dummy ",202)
(429," dummy ",439)
(429," dummy ",440)
(430," dummy ",17)
(430," dummy ",202)
(431," dummy ",441)
(431," dummy ",442)
(432," dummy ",17)
(432," dummy ",202)
(433," dummy; prob 0.500000",443)
(433," dummy; prob 0.500000",444)
(434," dummy; prob 0.500000",445)
(434," dummy; prob 0.500000",446)
(435," dummy; prob 0.500000",447)
(435," dummy; prob 0.500000",448)
(436," dummy; prob 0.500000",449)
(436," dummy; prob 0.500000",450)
(437," dummy; prob 0.500000",451)
(437," dummy; prob 0.500000",452)
(438," dummy; prob 0.500000",453)
(438," dummy; prob 0.500000",454)
(439," dummy; prob 0.500000",455)
(439," dummy; prob 0.500000",456)
(440," dummy; prob 0.500000",457)
(440," dummy; prob 0.500000",458)
(441," dummy; prob 0.500000",459)
(441," dummy; prob 0.500000",460)
(442," dummy; prob 0.500000",461)
(442," dummy; prob 0.500000",462)
(443," dummy; prob 0.500000",463)
(443," dummy; prob 0.500000",464)
(444," dummy; prob 0.500000",465)
(444," dummy; prob 0.500000",466)
(445," dummy; prob 0.500000",463)
(445," dummy; prob 0.500000",465)
(446," dummy; prob 0.500000",464)
(446," dummy; prob 0.500000",466)
(447," dummy; prob 0.500000",467)
(447," dummy; prob 0.500000",468)
(448," dummy; prob 0.500000",469)
(448," dummy; prob 0.500000",470)
(449," dummy; prob 0.500000",467)
(449," dummy; prob 0.500000",469)
(450," dummy; prob 0.500000",468)
(450," dummy; prob 0.500000",470)
(451," dummy; prob 0.500000",471)
(451," dummy; prob 0.500000",472)
(452," dummy; prob 0.500000",473)
(452," dummy; prob 0.500000",474)
(453," dummy; prob 0.500000",471)
(453," dummy; prob 0.500000",473)
(454," dummy; prob 0.500000",472)
(454," dummy; prob 0.500000",474)
(455," dummy; prob 0.500000",475)
(455," dummy; prob 0.500000",476)
(456," dummy; prob 0.500000",477)
(456," dummy; prob 0.500000",478)
(457," dummy; prob 0.500000",475)
(457," dummy; prob 0.500000",477)
(458," dummy; prob 0.500000",476)
(458," dummy; prob 0.500000",478)
(459," dummy; prob 0.500000",479)
(459," dummy; prob 0.500000",480)
(460," dummy; prob 0.500000",481)
(460," dummy; prob 0.500000",482)
(461," dummy; prob 0.500000",479)
(461," dummy; prob 0.500000",481)
(462," dummy; prob 0.500000",480)
(462," dummy; prob 0.500000",482)
(463," dummy ",483)
(463," dummy ",484)
(464," dummy ",485)
(465," dummy ",485)
(466," dummy ",486)
(466," dummy ",485)
(467," dummy ",486)
(467," dummy ",485)
(468," dummy ",487)
(469," dummy ",487)
(470," dummy ",488)
(470," dummy ",487)
(471," dummy ",488)
(471," dummy ",487)
(472," dummy ",489)
(473," dummy ",489)
(474," dummy ",490)
(474," dummy ",489)
(475," dummy ",490)
(475," dummy ",489)
(476," dummy ",491)
(477," dummy ",491)
(478," dummy ",350)
(478," dummy ",491)
(479," dummy ",350)
(479," dummy ",491)
(480," dummy ",351)
(481," dummy ",351)
(482," dummy ",350)
(482," dummy ",351)
(483," dummy ",492)
(483," dummy ",493)
(484," dummy ",17)
(484," dummy ",202)
(485," dummy ",17)
(485," dummy ",202)
(486," dummy ",494)
(486," dummy ",495)
(487," dummy ",17)
(487," dummy ",202)
(488," dummy ",496)
(488," dummy ",497)
(489," dummy ",17)
(489," dummy ",202)
(490," dummy ",498)
(490," dummy ",499)
(491," dummy ",17)
(491," dummy ",202)
(492," dummy; prob 0.500000",500)
(492," dummy; prob 0.500000",501)
(493," dummy; prob 0.500000",502)
(493," dummy; prob 0.500000",503)
(494," dummy; prob 0.500000",504)
(494," dummy; prob 0.500000",505)
(495," dummy; prob 0.500000",506)
(495," dummy; prob 0.500000",507)
(496," dummy; prob 0.500000",508)
(496," dummy; prob 0.500000",509)
(497," dummy; prob 0.500000",510)
(497," dummy; prob 0.500000",511)
(498," dummy; prob 0.500000",512)
(498," dummy; prob 0.500000",513)
(499," dummy; prob 0.500000",514)
(499," dummy; prob 0.500000",515)
(500," dummy; prob 0.500000",516)
(500," dummy; prob 0.500000",517)
(501," dummy; prob 0.500000",518)
(501," dummy; prob 0.500000",519)
(502," dummy; prob 0.500000",516)
(502," dummy; prob 0.500000",518)
(503," dummy; prob 0.500000",517)
(503," dummy; prob 0.500000",519)
(504," dummy; prob 0.500000",520)
(504," dummy; prob 0.500000",521)
(505," dummy; prob 0.500000",522)
(505," dummy; prob 0.500000",523)
(506," dummy; prob 0.500000",520)
(506," dummy; prob 0.500000",522)
(507," dummy; prob 0.500000",521)
(507," dummy; prob 0.500000",523)
(508," dummy; prob 0.500000",524)
(508," dummy; prob 0.500000",525)
(509," dummy; prob 0.500000",526)
(509," dummy; prob 0.500000",527)
(510," dummy; prob 0.500000",524)
(510," dummy; prob 0.500000",526)
(511," dummy; prob 0.500000",525)
(511," dummy; prob 0.500000",527)
(512," dummy; prob 0.500000",528)
(512," dummy; prob 0.500000",529)
(513," dummy; prob 0.500000",530)
(513," dummy; prob 0.500000",531)
(514," dummy; prob 0.500000",528)
(514," dummy; prob 0.500000",530)
(515," dummy; prob 0.500000",529)
(515," dummy; prob 0.500000",531)
(516," dummy ",532)
(516," dummy ",533)
(517," dummy ",534)
(518," dummy ",534)
(519," dummy ",535)
(519," dummy ",534)
(520," dummy ",535)
(520," dummy ",534)
(521," dummy ",536)
(522," dummy ",536)
(523," dummy ",537)
(523," dummy ",536)
(524," dummy ",537)
(524," dummy ",536)
(525," dummy ",538)
(526," dummy ",538)
(527," dummy ",350)
(527," dummy ",538)
(528," dummy ",350)
(528," dummy ",538)
(529," dummy ",351)
(530," dummy ",351)
(531," dummy ",350)
(531," dummy ",351)
(532," dummy ",539)
(532," dummy ",540)
(533," dummy ",17)
(533," dummy ",202)
(534," dummy ",17)
(534," dummy ",202)
(535," dummy ",541)
(535," dummy ",542)
(536," dummy ",17)
(536," dummy ",202)
(537," dummy ",543)
(537," dummy ",544)
(538," dummy ",17)
(538," dummy ",202)
(539," dummy; prob 0.500000",545)
(539," dummy; prob 0.500000",546)
(540," dummy; prob 0.500000",547)
(540," dummy; prob 0.500000",548)
(541," dummy; prob 0.500000",549)
(541," dummy; prob 0.500000",550)
(542," dummy; prob 0.500000",551)
(542," dummy; prob 0.500000",552)
(543," dummy; prob 0.500000",553)
(543," dummy; prob 0.500000",554)
(544," dummy; prob 0.500000",555)
(544," dummy; prob 0.500000",556)
(545," dummy; prob 0.500000",557)
(545," dummy; prob 0.500000",558)
(546," dummy; prob 0.500000",559)
(546," dummy; prob 0.500000",560)
(547," dummy; prob 0.500000",557)
(547," dummy; prob 0.500000",559)
(548," dummy; prob 0.500000",558)
(548," dummy; prob 0.500000",560)
(549," dummy; prob 0.500000",561)
(549," dummy; prob 0.500000",562)
(550," dummy; prob 0.500000",563)
(550," dummy; prob 0.500000",564)
(551," dummy; prob 0.500000",561)
(551," dummy; prob 0.500000",563)
(552," dummy; prob 0.500000",562)
(552," dummy; prob 0.500000",564)
(553," dummy; prob 0.500000",565)
(553," dummy; prob 0.500000",566)
(554," dummy; prob 0.500000",567)
(554," dummy; prob 0.500000",568)
(555," dummy; prob 0.500000",565)
(555," dummy; prob 0.500000",567)
(556," dummy; prob 0.500000",566)
(556," dummy; prob 0.500000",568)
(557," dummy ",569)
(557," dummy ",570)
(558," dummy ",571)
(559," dummy ",571)
(560," dummy ",572)
(560," dummy ",571)
(561," dummy ",572)
(561," dummy ",571)
(562," dummy ",573)
(563," dummy ",573)
(564," dummy ",350)
(564," dummy ",573)
(565," dummy ",350)
(565," dummy ",573)
(566," dummy ",351)
(567," dummy ",351)
(568," dummy ",350)
(568," dummy ",351)
(569," dummy ",574)
(569," dummy ",575)
(570," dummy ",17)
(570," dummy ",202)
(571," dummy ",17)
(571," dummy ",202)
(572," dummy ",576)
(572," dummy ",577)
(573," dummy ",17)
(573," dummy ",202)
(574," dummy; prob 0.500000",578)
(574," dummy; prob 0.500000",579)
(575," dummy; prob 0.500000",580)
(575," dummy; prob 0.500000",581)
(576," dummy; prob 0.500000",582)
(576," dummy; prob 0.500000",583)
(577," dummy; prob 0.500000",584)
(577," dummy; prob 0.500000",585)
(578," dummy; prob 0.500000",586)
(578," dummy; prob 0.500000",587)
(579," dummy; prob 0.500000",588)
(579," dummy; prob 0.500000",589)
(580," dummy; prob 0.500000",586)
(580," dummy; prob 0.500000",588)
(581," dummy; prob 0.500000",587)
(581," dummy; prob 0.500000",589)
(582," dummy; prob 0.500000",590)
(582," dummy; prob 0.500000",591)
(583," dummy; prob 0.500000",592)
(583," dummy; prob 0.500000",593)
(584," dummy; prob 0.500000",590)
(584," dummy; prob 0.500000",592)
(585," dummy; prob 0.500000",591)
(585," dummy; prob 0.500000",593)
(586," dummy ",594)
(586," dummy ",595)
(587," dummy ",596)
(588," dummy ",596)
(589," dummy ",597)
(589," dummy ",596)
(590," dummy ",597)
(590," dummy ",596)
(591," dummy ",351)
(592," dummy ",351)
(593," dummy ",350)
(593," dummy ",351)
(594," dummy ",598)
(594," dummy ",599)
(595," dummy ",17)
(595," dummy ",202)
(596," dummy ",17)
(596," dummy ",202)
(597," dummy ",600)
(597," dummy ",601)
(598," dummy; prob 0.500000",602)
(598," dummy; prob 0.500000",603)
(599," dummy; prob 0.500000",604)
(599," dummy; prob 0.500000",605)
(600," dummy; prob 0.500000",606)
(600," dummy; prob 0.500000",607)
(601," dummy; prob 0.500000",608)
(601," dummy; prob 0.500000",609)
(602," dummy; prob 0.500000",610)
(602," dummy; prob 0.500000",611)
(603," dummy; prob 0.500000",612)
(603," dummy; prob 0.500000",613)
(604," dummy; prob 0.500000",610)
(604," dummy; prob 0.500000",612)
(605," dummy; prob 0.500000",611)
(605," dummy; prob 0.500000",613)
(606," dummy; prob 0.500000",614)
(606," dummy; prob 0.500000",615)
(607," dummy; prob 0.500000",616)
(607," dummy; prob 0.500000",617)
(608," dummy; prob 0.500000",614)
(608," dummy; prob 0.500000",616)
(609," dummy; prob 0.500000",615)
(609," dummy; prob 0.500000",617)
(610," dummy ",618)
(610," dummy ",619)
(611," dummy ",351)
(612," dummy ",351)
(613," dummy ",350)
(613," dummy ",351)
(614," dummy ",350)
(614," dummy ",351)
(615," dummy ",351)
(616," dummy ",351)
(617," dummy ",350)
(617," dummy ",351)
(618," dummy ",620)
(618," dummy ",621)
(619," dummy ",17)
(619," dummy ",202)
(620," dummy; prob 0.500000",622)
(620," dummy; prob 0.500000",623)
(621," dummy; prob 0.500000",624)
(621," dummy; prob 0.500000",625)
(622," dummy; prob 0.500000",626)
(622," dummy; prob 0.500000",627)
(623," dummy; prob 0.500000",628)
(623," dummy; prob 0.500000",629)
(624," dummy; prob 0.500000",626)
(624," dummy; prob 0.500000",628)
(625," dummy; prob 0.500000",627)
(625," dummy; prob 0.500000",629)
(626," dummy ",350)
(626," dummy ",351)
(627," dummy ",351)
(628," dummy ",351)
(629," dummy ",350)
(629," dummy ",351)