Nr Event Target State ID
1 SETUP_CONSTANTS(rollout=/*@symbolic*/ %n.(n : {1,2,3,4,5,...}|(IF n : {5,6,7,8,9,10} THEN {(5|->-50),(6|->50),(7|->1),(8... State 0 2 INITIALISATION(expanded_nodes={1},number_of_visits={(1|->0)},number_of_wins={(1|->0)},selected=TRUE,state=1) State 1 3 Expand({2,3,4}) State 2 4 Simulate(10) State 3 5 Select({(2|->1.0E+04),(3|->1.0E+04),(4|->1.0E+04)},2) State 4 6 Expand({5,6}) State 7 7 Simulate(-50) State 8 8 Select({(2|->1.1774100225154747),(3|->1.0E+04),(4|->1.0E+04)},4) State 10 9 Expand({9,10}) State 11 10 Simulate(-5) State 12 11 Select({(2|->1.4823038073675112),(3|->1.0E+04),(4|->1.4823038073675112)},3) State 13 12 Expand({7,8}) State 14 13 Simulate(3) State 15 14 Select({(2|->1.6651092223153954),(3|->2.6651092223153956),(4|->1.6651092223153954)},3) State 16 15 Select({(7|->1.0E+04),(8|->1.0E+04)},8) State 18 16 Simulate(3) State 19 17 Select({(2|->1.7941225779941015),(3|->2.26863624117952),(4|->1.7941225779941015)},3) State 20 18 Select({(7|->1.0E+04),(8|->1.1774100225154747)},7) State 22 19 Simulate(1) State 23 20 Select({(2|->1.8930184728248454),(3|->2.0929347248663586),(4|->1.8930184728248454)},3) State 24 21 Select({(7|->1.4823038073675112),(8|->1.4823038073675112)},8) State 26 22 Simulate(3) State 27 23 Select({(2|->1.9727697022487511),(3|->1.9863848511243756),(4|->1.9727697022487511)},3) State 28 24 Select({(7|->1.6651092223153954),(8|->1.1774100225154747)},7) State 29 25 Simulate(1) State 30 26 Select({(2|->2.039333980337618),(3|->1.9120178817720266),(4|->2.039333980337618)},4) State 32 27 Select({(9|->1.0E+04),(10|->1.0E+04)},10) State 34 28 Simulate(-5) State 35 29 Select({(2|->2.09629414793641),(3|->1.9374912431241627),(4|->1.4823038073675112)},2) State 36 30 Select({(5|->1.0E+04),(6|->1.0E+04)},6) State 38 31 Simulate(50) State 39 32 Select({(2|->2.0174271293851467),(3|->1.9597051824376162),(4|->1.5174271293851465)},2) State 40 33 Select({(5|->1.0E+04),(6|->1.1774100225154747)},5) State 41 34 Simulate(-50) State 42 35 Select({(2|->1.5976896314282363),(3|->1.9793661772388038),(4|->1.5485138917033876)},3) State 43 36 Select({(7|->1.2686362411795196),(8|->1.2686362411795196)},8) State 45 37 Simulate(3) State 46 38 Select({(2|->1.6204247959699247),(3|->1.9101111012376457),(4|->1.5763586678760644)},3) State 47 39 Select({(7|->1.3385661990458504),(8|->1.0929347248663588)},7) State 48 40 Simulate(1) State 49 41 Select({(2|->1.6409901072261202),(3|->1.8560623070550641),(4|->1.6015459273656616)},3) State 50 42 Select({(7|->1.1389791186424545),(8|->1.1389791186424545)},7) State 51 43 Simulate(1) State 53 44 Select({(2|->1.6597463734821547),(3|->1.8122587841345976),(4|->1.624517568269195)},3) State 54 45 Select({(7|->1.019666990168809),(8|->1.1774100225154747)},8) State 55 46 Simulate(3) State 56 47 Select({(2|->1.6769727197517303),(3|->1.7757505614424451),(4|->1.6456154475156735)},3) State 57 48 Select({(7|->1.048147073968205),(8|->1.048147073968205)},8) State 59 49 Simulate(3) State 60 50 Select({(2|->1.6928893202250785),(3|->1.744659482211807),(4|->1.6651092223153954)},3) State 61 51 Select({(7|->1.0729830131446736),(8|->0.9597051824376163)},7) State 62 52 Simulate(1) State 63 53 Select({(2|->1.7076727732234491),(3|->1.7177253645506143),(4|->1.6832151805566085)},3) State 64 54 Select({(7|->0.9793661772388039),(8|->0.9793661772388039)},7) State 65 55 Simulate(1) State 67 56 Select({(2|->1.7214667942311352),(3|->1.694066730448901),(4|->1.70010933704164)},2) State 68 57 Select({(5|->2.4823038073675114),(6|->1.4823038073675112)},5) State 69 58 Simulate(-50) State 70 59 Select({(2|->1.463350522142394),(3|->1.7005282505802841),(4|->1.71593676432625)},4) State 71 60 Select({(9|->1.0E+04),(10|->2.177410022515475)},9) State 72 61 Simulate(10) State 73 62 Select({(2|->1.4738734153404083),(3|->1.7066036458008114),(4|->1.746540624934956)},4) State 74 63 Select({(9|->1.4823038073675112),(10|->2.4823038073675114)},10) State 75 64 Simulate(-5) State 76 65 Select({(2|->1.4837995051310855),(3|->1.7123344764134592),(4|->1.4837995051310855)},3) State 77 66 Select({(7|->0.9101111012376457),(8|->0.9969767599674528)},8) State 78 67 Simulate(3) State 79 68 Select({(2|->1.49318993990426),(3|->1.689597703610124),(4|->1.49318993990426)},3) State 80 69 Select({(7|->0.9246529722841135),(8|->0.9246529722841135)},7) State 81 70 Simulate(1) State 83 71 Select({(2|->1.5020970840811725),(3|->1.6692740433729187),(4|->1.5020970840811725)},3) State 84 72 Select({(7|->0.8683411656083534),(8|->0.937915655343496)},8) State 85 73 Simulate(3) State 86 74 Select({(2|->1.5105661090057803),(3|->1.6509535395963828),(4|->1.5105661090057803)},3) State 87 75 Select({(7|->0.8796184564266178),(8|->0.8796184564266178)},7) State 88 76 Simulate(1) State 90 77 Select({(2|->1.5186362411795196),(3|->1.63431812058976),(4|->1.5186362411795196)},3) State 91 78 Select({(7|->0.8325546111576977),(8|->0.8900383173516875)},8) State 92 79 Simulate(3) State 93 80 Select({(2|->1.526341752435742),(3|->1.6191166893739424),(4|->1.526341752435742)},3) State 94 81 Select({(7|->0.8416075902783042),(8|->0.8416075902783042)},8) State 96 82 Simulate(3) State 97 83 Select({(2|->1.5337127533066595),(3|->1.6051479953058618),(4|->1.5337127533066595)},3) State 98 84 Select({(7|->0.85005466852082),(8|->0.8014392273204729)},7) State 99 85 Simulate(1) State 100 86 Select({(2|->1.5407758345613702),(3|->1.5922485706965672),(4|->1.5407758345613702)},3) State 101 87 Select({(7|->0.8089003480949294),(8|->0.8089003480949294)},7) State 102 88 Simulate(1) State 104 89 Select({(2|->1.5475545903711478),(3|->1.5802840537173561),(4|->1.5475545903711478)},3) State 105 90 Select({(7|->0.7740455120409899),(8|->0.8159156102269388)},8) State 106 91 Simulate(3) State 107 92 Select({(2|->1.5540700482838634),(3|->1.5691428293129068),(4|->1.5540700482838634)},3) State 108 93 Select({(7|->0.7803233224405667),(8|->0.7803233224405667)},8) State 110 94 Simulate(3) State 111 95 Select({(2|->1.560341025169621),(3|->1.5587312904726163),(4|->1.560341025169621)},2) State 112 96 Select({(5|->2.177410022515475),(6|->1.6651092223153954)},5) State 114 97 Simulate(-50) State 115 98 Select({(2|->1.3774100225154746),(3|->1.5613082043356579),(4|->1.5663844238670797)},4) State 116 99 Select({(9|->1.6651092223153954),(10|->2.177410022515475)},10) State 117 100 Simulate(-5) State 118 101 Select({(2|->1.382625479425584),(3|->1.5637945758604634),(4|->1.382625479425584)},3) State 119 102 Select({(7|->0.7862623548610623),(8|->0.7496717406921652)},7) State 120 103 Simulate(1) State 121 104 Select({(2|->1.3876633402805967),(3|->1.553750887691204),(4|->1.3876633402805967)},3) State 122 105 Select({(7|->0.755042950726423),(8|->0.755042950726423)},8) State 124 106 Simulate(3) State 125 107 Select({(2|->1.3925347896794311),(3|->1.544315170764253),(4|->1.3925347896794311)},3) State 126 108 Select({(7|->0.7601499649109852),(8|->0.7277881823658063)},7) State 127 109 Simulate(1) State 128 110 Select({(2|->1.397250005380014),(3|->1.5354264796183401),(4|->1.397250005380014)},3) State 129 111 Select({(7|->0.7324474753487107),(8|->0.7324474753487107)},7) State 130 112 Simulate(1) State 132 113 Select({(2|->1.4018182745563863),(3|->1.527032177724708),(4|->1.4018182745563863)},3) State 133 114 Select({(7|->0.7079870205265589),(8|->0.7368962543467343)},8) State 134 115 Simulate(3) State 135 116 Select({(2|->1.4062480938391382),(3|->1.5190865309814914),(4|->1.4062480938391382)},3) State 136 117 Select({(7|->0.7120757161560332),(8|->0.7120757161560332)},8) State 138 118 Simulate(3) State 139 119 Select({(2|->1.4105472557698266),(3|->1.5115495818818996),(4|->1.4105472557698266)},3) State 140 120 Select({(7|->0.715993608713976),(8|->0.6899487051508357)},7) State 141 121 Simulate(1) State 142 122 Select({(2|->1.4147229238166104),(3|->1.5043862404884423),(4|->1.4147229238166104)},3) State 143 123 Select({(7|->0.6935721025435201),(8|->0.6935721025435201)},8) State 145 124 Simulate(3) State 146 125 Select({(2|->1.418781697713632),(3|->1.497565544540235),(4|->1.418781697713632)},3) State 147 126 Select({(7|->0.6970547612902811),(8|->0.6734188772388406)},7) State 148 127 Simulate(1) State 149 128 Select({(2|->1.4227296705786392),(3|->1.491060052715674),(4|->1.4227296705786392)},3) State 150 129 Select({(7|->0.6766571957779061),(8|->0.6766571957779061)},7) State 151 130 Simulate(1) State 153 131 Select({(2|->1.4265724790151721),(3|->1.4848453436208784),(4|->1.4265724790151721)},3) State 154 132 Select({(7|->0.6581922119335398),(8|->0.6797779934458726)},8) State 155 133 Simulate(3) State 156 134 Select({(2|->1.4303153472046524),(3|->1.4788995993922698),(4|->1.4303153472046524)},3) State 157 135 Select({(7|->0.6611077409797211),(8|->0.6611077409797211)},8) State 159 136 Simulate(3) State 160 137 Select({(2|->1.4339631258299932),(3|->1.4732032575201335),(4|->1.4339631258299932)},3) State 161 138 Select({(7|->0.6639239908129696),(8|->0.6441008803537608)},7) State 162 139 Simulate(1) State 163 140 Select({(2|->1.4375203265383716),(3|->1.4677387180582824),(4|->1.4375203265383716)},3) State 164 141 Select({(7|->0.6467427947245847),(8|->0.6467427947245847)},7) State 165 142 Simulate(1) State 167 143 Select({(2|->1.4409911525405905),(3|->1.462490096092762),(4|->1.4409911525405905)},3) State 168 144 Select({(7|->0.6310061576082818),(8|->0.6492999794761876)},8) State 169 145 Simulate(3) State 170 146 Select({(2|->1.4443795258534096),(3|->1.457443011420793),(4|->1.4443795258534096)},3) State 171 147 Select({(7|->0.6334138468686281),(8|->0.6334138468686281)},7) State 172 148 Simulate(1) State 174 149 Select({(2|->1.4476891116156503),(3|->1.452584408999007),(4|->1.4476891116156503)},3) State 175 150 Select({(7|->0.6187922157614686),(8|->0.6357485666280329)},8) State 176 151 Simulate(3) State 177 152 Select({(2|->1.450923339845915),(3|->1.447902404973372),(4|->1.450923339845915)},4) State 179 153 Select({(9|->1.7941225779941015),(10|->2.0358371533640796)},10) State 180 154 Simulate(-5) State 181 155 Select({(2|->1.45408542495706),(3|->1.449034613063907),(4|->1.3114847938123901)},2) State 182 156 Select({(5|->2.0358371533640796),(6|->1.7941225779941015)},5) State 183 157 Simulate(-50) State 184 158 Select({(2|->1.314308265567274),(3|->1.4501420698003862),(4|->1.314308265567274)},3) State 185 159 Select({(7|->0.6209976392979663),(8|->0.6209976392979663)},8) State 187 160 Simulate(3) State 188 161 Select({(2|->1.3170712206609159),(3|->1.4455497679020899),(4|->1.3170712206609159)},3) State 189 162 Select({(7|->0.6231397118087131),(8|->0.6073614619083052)},7) State 190 163 Simulate(1) State 191 164 Select({(2|->1.3197760928941857),(3|->1.441117430665896),(4|->1.3197760928941857)},3) State 192 165 Select({(7|->0.609390848856816),(8|->0.609390848856816)},8) State 194 166 Simulate(3) State 195 167 Select({(2|->1.322425174492079),(3|->1.4368356553361628),(4|->1.322425174492079)},3) State 196 168 Select({(7|->0.6113648352893196),(8|->0.5966309873570149)},7) State 197 169 Simulate(1) State 198 170 Select({(2|->1.3250206267806366),(3|->1.432695805427084),(4|->1.3250206267806366)},3) State 199 171 Select({(7|->0.5985060858737848),(8|->0.5985060858737848)},7) State 200 172 Simulate(1) State 202 173 Select({(2|->1.327564489881462),(3|->1.4286899318025128),(4|->1.327564489881462)},3) State 203 174 Select({(7|->0.5865298282671689),(8|->0.6003324185433602)},8) State 204 175 Simulate(3) State 205 176 Select({(2|->1.3300586915299426),(3|->1.4248107034928181),(4|->1.3300586915299426)},3) State 206 177 Select({(7|->0.588268838493725),(8|->0.588268838493725)},8) State 208 178 Simulate(3) State 209 179 Select({(2|->1.3325050551101822),(3|->1.421051346858733),(4|->1.3325050551101822)},3) State 210 180 Select({(7|->0.5899646673926634),(8|->0.5769968273960774)},7) State 211 181 Simulate(1) State 212 182 Select({(2|->1.3349053069883692),(3|->1.4174055919362651),(4|->1.3349053069883692)},3) State 213 183 Select({(7|->0.5786151083638947),(8|->0.5786151083638947)},8) State 215 184 Simulate(3) State 216 185 Select({(2|->1.3372610832165537),(3|->1.4138676249807676),(4|->1.3372610832165537)},3) State 217 186 Select({(7|->0.5801949455670532),(8|->0.5679789470062463)},7) State 218 187 Simulate(1) State 219 188 Select({(2|->1.339573935670358),(3|->1.410432046380053),(4|->1.339573935670358)},3) State 220 189 Select({(7|->0.5694895593212272),(8|->0.5694895593212272)},8) State 222 190 Simulate(3) State 223 191 Select({(2|->1.3418453376768147),(3|->1.4070938332321694),(4|->1.3418453376768147)},3) State 224 192 Select({(7|->0.5709657757860905),(8|->0.5594299245073074)},7) State 225 193 Simulate(1) State 226 194 Select({(2|->1.3440766891821414),(3|->1.4038483059880267),(4|->1.3440766891821414)},3) State 227 195 Select({(7|->0.5608440519591396),(8|->0.5608440519591396)},7) State 228 196 Simulate(1) State 230 197 Select({(2|->1.3462693215036867),(3|->1.4006910986463856),(4|->1.3462693215036867)},3) State 231 198 Select({(7|->0.5513091913856177),(8|->0.5622272649796648)},8) State 232 199 Simulate(3) State 233 200 Select({(2|->1.3484245017054175),(3|->1.3976181320618986),(4|->1.3484245017054175)},3) State 234 201 Select({(7|->0.5526364720801914),(8|->0.5526364720801914)},8) State 236 202 Simulate(3) State 237 203 Select({(2|->1.3505434366320441),(3|->1.3946255899884592),(4|->1.3505434366320441)},3) State 238 204 Select({(7|->0.5539358506711679),(8|->0.5435809964904051)},7) State 239 205 Simulate(1) State 240 206 Select({(2|->1.3526272766331342),(3|->1.3917098975320712),(4|->1.3526272766331342)},3) State 241 207 Select({(7|->0.5448297855315963),(8|->0.5448297855315963)},7) State 242 208 Simulate(1) State 244 209 Select({(2|->1.3546771190052618),(3|->1.3888677017314528),(4|->1.3546771190052618)},3) State 245 210 Select({(7|->0.5362136894623228),(8|->0.5460532934739198)},8) State 246 211 Simulate(3) State 247 212 Select({(2|->1.356694011177338),(3|->1.3860958540219772),(4|->1.356694011177338)},3) State 248 213 Select({(7|->0.5373912692572298),(8|->0.5373912692572298)},7) State 249 214 Simulate(1) State 251 215 Select({(2|->1.3586789536616897),(3|->1.3833913943704093),(4|->1.3586789536616897)},3) State 252 216 Select({(7|->0.529179130778489),(8|->0.5385458602667543)},8) State 253 217 Simulate(3) State 254 218 Select({(2|->1.3606329027911863),(3|->1.3807515368951278),(4|->1.3606329027911863)},3) State 255 219 Select({(7|->0.5302918808449264),(8|->0.5302918808449264)},8) State 257 220 Simulate(3) State 258 221 Select({(2|->1.3625567732606898),(3|->1.3781736568098661),(4|->1.3625567732606898)},3) State 259 222 Select({(7|->0.5313836565966965),(8|->0.5224522027402507)},7) State 260 223 Simulate(1) State 261 224 Select({(2|->1.3644514404893222),(3|->1.3756552785490657),(4|->1.3644514404893222)},3) State 262 225 Select({(7|->0.5235057378974505),(8|->0.5235057378974505)},8) State 264 226 Simulate(3) State 265 227 Select({(2|->1.366317742818438),(3|->1.3731940649502274),(4|->1.366317742818438)},3) State 266 228 Select({(7|->0.5245400769591771),(8|->0.516010401560897)},7) State 267 229 Simulate(1) State 268 230 Select({(2|->1.3681564835587798),(3|->1.370787807383587),(4|->1.3681564835587798)},3) State 269 231 Select({(7|->0.5170096852147987),(8|->0.5170096852147987)},8) State 271 232 Simulate(3) State 272 233 Select({(2|->1.3699684328990174),(3|->1.368434416732378),(4|->1.3699684328990174)},2) State 273 234 Select({(5|->1.9465092364124228),(6|->1.8930184728248454)},5) State 275 235 Simulate(-50) State 276 236 Select({(2|->1.2585515232690638),(3|->1.3689812337152796),(4|->1.3717543296867465)},4) State 277 237 Select({(9|->1.8930184728248454),(10|->1.9465092364124228)},10) State 278 238 Simulate(-5) State 279 239 Select({(2|->1.2601814789983703),(3|->1.3695202909037532),(4|->1.2601814789983703)},3) State 280 240 Select({(7|->0.5179913489973629),(8|->0.5098334950844045)},7) State 281 241 Simulate(1) State 282 242 Select({(2|->1.2617886018423763),(3|->1.3671942112277866),(4|->1.2617886018423763)},3) State 283 243 Select({(7|->0.510782932730213),(8|->0.510782932730213)},7) State 284 244 Simulate(1) State 286 245 Select({(2|->1.2633734976396076),(3|->1.3649179714664172),(4|->1.2633734976396076)},3) State 287 246 Select({(7|->0.5039032339782339),(8|->0.511716153132429)},8) State 288 247 Simulate(3) State 289 248 Select({(2|->1.264936748801169),(3|->1.3626897546489163),(4|->1.264936748801169)},3) State 290 249 Select({(7|->0.5048067508667694),(8|->0.5048067508667694)},7) State 291 250 Simulate(1) State 293 251 Select({(2|->1.2664789154932399),(3|->1.3605078365712897),(4|->1.2664789154932399)},3) State 294 252 Select({(7|->0.49820310677332647),(8|->0.5056953032287751)},8) State 295 253 Simulate(3) State 296 254 Select({(2|->1.268000536746284),(3|->1.3583705797498462),(4|->1.268000536746284)},3) State 297 255 Select({(7|->0.4990642128080525),(8|->0.4990642128080525)},8) State 299 256 Simulate(3) State 300 257 Select({(2|->1.2695021314963346),(3|->1.3562764278514374),(4|->1.2695021314963346)},3) State 301 258 Select({(7|->0.4999114769901096),(8|->0.4927181310734717)},7) State 302 259 Simulate(1) State 303 260 Select({(2|->1.2709841995632705),(3|->1.3542239005564856),(4|->1.2709841995632705)},3) State 304 261 Select({(7|->0.49353997534090766),(8|->0.49353997534090766)},8) State 306 262 Simulate(3) State 307 263 Select({(2|->1.2724472225705865),(3|->1.352211588815531),(4|->1.2724472225705865)},3) State 308 264 Select({(7|->0.49434898714029113),(8|->0.4874346747694081)},7) State 309 265 Simulate(1) State 310 266 Select({(2|->1.2738916648107905),(3|->1.350238150464079),(4|->1.2738916648107905)},3) State 311 267 Select({(7|->0.4882200915996568),(8|->0.4882200915996568)},7) State 312 268 Simulate(1) State 314 269 Select({(2|->1.275317974060228),(3|->1.3483023061641237),(4|->1.275317974060228)},3) State 315 270 Select({(7|->0.4823403022765415),(8|->0.48899358625674394)},8) State 316 271 Simulate(3) State 317 272 Select({(2|->1.2767265823468255),(3|->1.3464028356439082),(4|->1.2767265823468255)},3) State 318 273 Select({(7|->0.4830918503419692),(8|->0.4830918503419692)},8) State 320 274 Simulate(3) State 321 275 Select({(2|->1.278117906673966),(3|->1.344538574210297),(4|->1.278117906673966)},3) State 322 276 Select({(7|->0.48383229953107865),(8|->0.4774236417473276)},7) State 323 277 Simulate(1) State 324 278 Select({(2|->1.2794923497034656),(3|->1.3427084095106592),(4|->1.2794923497034656)},3) State 325 279 Select({(7|->0.47814363740647975),(8|->0.47814363740647975)},8) State 327 280 Simulate(3) State 328 281 Select({(2|->1.280850300400375),(3|->1.3409112785233754),(4|->1.280850300400375)},3) State 329 282 Select({(7|->0.47885328083099743),(8|->0.47267426994840867)},7) State 330 283 Simulate(1) State 331 284 Select({(2|->1.282192134642138),(3|->1.3391461647580976),(4|->1.282192134642138)},3) State 332 285 Select({(7|->0.4733648158074939),(8|->0.4733648158074939)},8) State 334 286 Simulate(3) State 335 287 Select({(2|->1.2835182157944287),(3|->1.3374120956486497),(4|->1.2835182157944287)},3) State 336 288 Select({(7|->0.4740456883029953),(8|->0.46808261208219865)},7) State 337 289 Simulate(1) State 338 290 Select({(2|->1.2848288952558282),(3|->1.335708140123061),(4|->1.2848288952558282)},3) State 339 291 Select({(7|->0.4687456215620813),(8|->0.4687456215620813)},7) State 340 292 Simulate(1) State 342 293 Select({(2|->1.2861245129733354),(3|->1.3340334063366461),(4|->1.2861245129733354)},3) State 343 294 Select({(7|->0.4636398543057912),(8|->0.469399576441237)},8) State 344 295 Simulate(3) State 345 296 Select({(2|->1.2874053979305546),(3|->1.332387039555322),(4|->1.2874053979305546)},3) State 346 297 Select({(7|->0.46427707285663145),(8|->0.46427707285663145)},8) State 348 298 Simulate(3) State 349 299 Select({(2|->1.2886718686102814),(3|->1.330768220177506),(4|->1.2886718686102814)},3) State 350 300 Select({(7|->0.464905802095032),(8|->0.4593378670819508)},7) State 351 301 Simulate(1) State 352 302 Select({(2|->1.2899242334330654),(3|->1.329176161883969),(4|->1.2899242334330654)},3) State 353 303 Select({(7|->0.45995089057162847),(8|->0.45995089057162847)},8) State 355 304 Simulate(3) State 356 305 Select({(2|->1.291162791173237),(3|->1.3276101099059483),(4|->1.291162791173237)},3) State 357 306 Select({(7|->0.4605559423263061),(8|->0.4551691378068059)},7) State 358 307 Simulate(1) State 359 308 Select({(2|->1.2923878313537596),(3|->1.3260693394026628),(4|->1.2923878313537596)},3) State 360 309 Select({(7|->0.45575942851641427),(8|->0.45575942851641427)},7) State 361 310 Simulate(1) State 363 311 Select({(2|->1.2935996346211884),(3|->1.3245531539401392),(4|->1.2935996346211884)},3) State 364 312 Select({(7|->0.4511267114115605),(8|->0.45634222238274086)},8) State 365 313 Simulate(3) State 366 314 Select({(2|->1.2947984731019198),(3|->1.3230608840639264),(4|->1.2947984731019198)},3) State 367 315 Select({(7|->0.4516956119965252),(8|->0.4516956119965252)},8) State 369 316 Simulate(3) State 370 317 Select({(2|->1.2959846107408386),(3|->1.3215918859589149),(4|->1.2959846107408386)},3) State 371 318 Select({(7|->0.45225745233973785),(8|->0.44720413784262697)},7) State 372 319 Simulate(1) State 373 320 Select({(2|->1.2971583036233896),(3|->1.3201455401900235),(4|->1.2971583036233896)},3) State 374 321 Select({(7|->0.44775288355752907),(8|->0.44775288355752907)},8) State 376 322 Simulate(3) State 377 323 Select({(2|->1.2983198002820384),(3|->1.318721250518036),(4|->1.2983198002820384)},3) State 378 324 Select({(7|->0.44829497119885203),(8|->0.44339542549507466)},7) State 379 325 Simulate(1) State 380 326 Select({(2|->1.2994693419880134),(3|->1.317318442785325),(4|->1.2994693419880134)},3) State 381 327 Select({(7|->0.4439251549310721),(8|->0.4439251549310721)},7) State 382 328 Simulate(1) State 384 329 Select({(2|->1.300607163029169),(3|->1.3159365638666314),(4|->1.300607163029169)},3) State 385 330 Select({(7|->0.4396949998152735),(8|->0.44444859742254755)},8) State 386 331 Simulate(3) State 387 332 Select({(2|->1.3017334909747513),(3|->1.314575080680437),(4|->1.3017334909747513)},3) State 388 333 Select({(7|->0.44020676435881473),(8|->0.44020676435881473)},8) State 390 334 Simulate(3) State 391 335 Select({(2|->1.3028485469277977),(3|->1.313233479256832),(4|->1.3028485469277977)},3) State 392 336 Select({(7|->0.44071258504341876),(8|->0.43609766640569536)},7) State 393 337 Simulate(1) State 394 338 Select({(2|->1.3039525457658534),(3|->1.3119112638580857),(4|->1.3039525457658534)},3) State 395 339 Select({(7|->0.4365924385942122),(8|->0.4365924385942122)},7) State 396 340 Simulate(1) State 398 341 Select({(2|->1.3050456963706472),(3|->1.3106079561484232),(4|->1.3050456963706472)},3) State 399 342 Select({(7|->0.4325985780624527),(8|->0.4370815846169612)},8) State 400 343 Simulate(3) State 401 344 Select({(2|->1.3061282018473257),(3|->1.3093230944097811),(4|->1.3061282018473257)},3) State 402 345 Select({(7|->0.4330772589854972),(8|->0.4330772589854972)},7) State 403 346 Simulate(1) State 405 347 Select({(2|->1.3072002597338097),(3|->1.3080562328005474),(4|->1.3072002597338097)},3) State 406 348 Select({(7|->0.42919320525786947),(8|->0.4335506083957561)},8) State 407 349 Simulate(3) State 408 350 Select({(2|->1.3082620622007972),(3|->1.3068069406545253),(4|->1.3082620622007972)},2) State 409 351 Select({(5|->1.8822494316360454),(6|->1.9727697022487511)},6) State 411 352 Simulate(50) State 412 353 Select({(2|->1.3411202883731193),(3|->1.307083822361894),(4|->1.3093137962429129)},2) State 413 354 Select({(5|->1.9120178817720266),(6|->1.442026886600883)},5) State 414 355 Simulate(-50) State 415 356 Select({(2|->1.2518591187882628),(3|->1.307358101348682),(4|->1.3103556438614623)},4) State 416 357 Select({(9|->1.9727697022487511),(10|->1.8822494316360454)},9) State 417 358 Simulate(10) State 418 359 Select({(2|->1.2527693792769945),(3|->1.3076298242604019),(4|->1.3430603246289212)},4) State 419 360 Select({(9|->1.442026886600883),(10|->1.9120178817720266)},10) State 420 361 Simulate(-5) State 421 362 Select({(2|->1.25367122917873),(3|->1.307899036518066),(4|->1.25367122917873)},3) State 422 363 Select({(7|->0.4296566311296154),(8|->0.4296566311296154)},8) State 424 364 Simulate(3) State 425 365 Select({(2|->1.2545648166911474),(3|->1.3066514450270714),(4|->1.2545648166911474)},3) State 426 366 Select({(7|->0.4301149991936701),(8|->0.4258773096490267)},7) State 427 367 Simulate(1) State 428 368 Select({(2|->1.2554502861862948),(3|->1.305420958733443),(4|->1.2554502861862948)},3) State 429 369 Select({(7|->0.4263262576593068),(8|->0.4263262576593068)},8) State 431 370 Simulate(3) State 432 371 Select({(2|->1.2563277783401023),(3|->1.3042071774861417),(4|->1.2563277783401023)},3) State 433 372 Select({(7|->0.42677040248465753),(8|->0.4226469202511064)},7) State 434 373 Simulate(1) State 435 374 Select({(2|->1.2571974302564843),(3|->1.3030097143061679),(4|->1.2571974302564843)},3) State 436 375 Select({(7|->0.4230821137865067),(8|->0.4230821137865067)},8) State 438 376 Simulate(3) State 439 377 Select({(2|->1.2580593755863019),(3|->1.3018281948300772),(4|->1.2580593755863019)},3) State 440 378 Select({(7|->0.423512741344618),(8|->0.41949831196332366)},7) State 441 379 Simulate(1) State 442 380 Select({(2|->1.2589137446414442),(3|->1.3006622567820887),(4|->1.2589137446414442)},3) State 443 381 Select({(7|->0.41992042527674245),(8|->0.41992042527674245)},8) State 445 382 Simulate(3) State 446 383 Select({(2|->1.2597606645042516),(3|->1.2995115494730574),(4|->1.2597606645042516)},3) State 447 384 Select({(7|->0.42033819389863986),(8|->0.4164279861768027)},7) State 448 385 Simulate(1) State 449 386 Select({(2|->1.2606002591325245),(3|->1.298375733324708),(4|->1.2606002591325245)},3) State 450 387 Select({(7|->0.4168376485728539),(8|->0.4168376485728539)},7) State 451 388 Simulate(1) State 453 389 Select({(2|->1.2614326494603114),(3|->1.297254479417634),(4|->1.2614326494603114)},3) State 454 390 Select({(7|->0.41343265322914186),(8|->0.41724317298155894)},8) State 455 391 Simulate(3) State 456 392 Select({(2|->1.262257953494693),(3|->1.2961474690616688),(4|->1.262257953494693)},3) State 457 393 Select({(7|->0.413830452823478),(8|->0.413830452823478)},7) State 458 394 Simulate(1) State 460 395 Select({(2|->1.2630762864087388),(3|->1.2950543933873269),(4|->1.2630762864087388)},3) State 461 396 Select({(7|->0.410509216500638),(8|->0.41422430775849384)},8) State 462 397 Simulate(3) State 463 398 Select({(2|->1.263887760630824),(3|->1.293974952957102),(4|->1.263887760630824)},3) State 464 399 Select({(7|->0.4108957036033919),(8|->0.4108957036033919)},7) State 465 400 Simulate(1) State 467 401 Select({(2|->1.2646924859304707),(3|->1.2929088573954917),(4|->1.2646924859304707)},3) State 468 402 Select({(7|->0.40765475797303347),(8|->0.41127842708500734)},8) State 469 403 Simulate(3) State 470 404 Select({(2|->1.265490569500877),(3|->1.2918558250366812),(4|->1.265490569500877)},3) State 471 405 Select({(7|->0.4080304481398868),(8|->0.4080304481398868)},7) State 472 406 Simulate(1) State 474 407 Select({(2|->1.2662821160382842),(3|->1.2908155825889058),(4|->1.2662821160382842)},3) State 475 408 Select({(7|->0.40486652509388665),(8|->0.40840254441474017)},8) State 476 409 Simulate(3) State 477 410 Select({(2|->1.2670672278183264),(3|->1.2897878648145547),(4|->1.2670672278183264)},3) State 478 411 Select({(7|->0.4052319018825775),(8|->0.4052319018825775)},8) State 480 412 Simulate(3) State 481 413 Select({(2|->1.2678460047694977),(3|->1.2887724142251573),(4|->1.2678460047694977)},3) State 482 414 Select({(7|->0.4055938440865258),(8|->0.4021419188088241)},7) State 483 415 Simulate(1) State 484 416 Select({(2|->1.2686185445438691),(3|->1.2877689807904305),(4|->1.2686185445438691)},3) State 485 417 Select({(7|->0.40249743627403456),(8|->0.40249743627403456)},8) State 487 418 Simulate(3) State 488 419 Select({(2|->1.2693849425851713),(3|->1.2867773216606306),(4|->1.2693849425851713)},3) State 489 420 Select({(7|->0.4028496688437599),(8|->0.3994784826404732)},7) State 490 421 Simulate(1) State 491 422 Select({(2|->1.2701452921943672),(3|->1.2857972009014942),(4|->1.2701452921943672)},3) State 492 423 Select({(7|->0.3998245675958704),(8|->0.3998245675958704)},8) State 494 424 Simulate(3) State 495 425 Select({(2|->1.2708996845928207),(3|->1.2848283892410919),(4|->1.2708996845928207)},3) State 496 426 Select({(7|->0.4001675084566985),(8|->0.39687389270719964)},7) State 497 427 Simulate(1) State 498 428 Select({(2|->1.2716482089831604),(3|->1.2838706638279733),(4|->1.2716482089831604)},3) State 499 429 Select({(7|->0.39721094677981694),(8|->0.39721094677981694)},7) State 500 430 Simulate(1) State 502 431 Select({(2|->1.272390952607954),(3|->1.282923808000006),(4|->1.272390952607954)},3) State 503 432 Select({(7|->0.39432594858719955),(8|->0.3975449893338205)},8) State 504 433 Simulate(3) State 505 434 Select({(2|->1.273128000806265),(3|->1.2819876110633515),(4|->1.273128000806265)},3) State 506 435 Select({(7|->0.3946543500862619),(8|->0.3946543500862619)},7) State 507 436 Simulate(1) State 509 437 Select({(2|->1.2738594370682055),(3|->1.2810618680810606),(4|->1.2738594370682055)},3) State 510 438 Select({(7|->0.3918325649443147),(8|->0.394979865021786)},8) State 511 439 Simulate(3) State 512 440 Select({(2|->1.2745853430875478),(3|->1.280146379670791),(4|->1.2745853430875478)},3) State 513 441 Select({(7|->0.3921526705639418),(8|->0.3921526705639418)},7) State 514 442 Simulate(1) State 516 443 Select({(2|->1.275305798812496),(3|->1.2792409518111871),(4|->1.275305798812496)},3) State 517 444 Select({(7|->0.38939176384136326),(8|->0.3924700075051582)},8) State 518 445 Simulate(3) State 519 446 Select({(2|->1.2760208824946795),(3|->1.2783453956564839),(4|->1.2760208824946795)},3) State 520 447 Select({(7|->0.3897039102142834),(8|->0.3897039102142834)},7) State 521 448 Simulate(1) State 523 449 Select({(2|->1.2767306707364479),(3|->1.2774595273589247),(4|->1.2767306707364479)},3) State 524 450 Select({(7|->0.3870016676750227),(8|->0.3900133992271765)},8) State 525 451 Simulate(3) State 526 452 Select({(2|->1.2774352385365435),(3|->1.2765831678986057),(4|->1.2774352385365435)},2) State 527 453 Select({(5|->1.8558085022044397),(6|->1.4823038073675112)},5) State 529 454 Simulate(-50) State 530 455 Select({(2|->1.2017264932919487),(3|->1.276766493935074),(4|->1.278134659334202)},4) State 531 456 Select({(9|->1.4823038073675112),(10|->1.8558085022044397)},10) State 532 457 Simulate(-5) State 533 458 Select({(2|->1.2023852074772727),(3|->1.2769484897361219),(4|->1.2023852074772727)},3) State 534 459 Select({(7|->0.3873061727924206),(8|->0.3873061727924206)},7) State 535 460 Simulate(1) State 537 461 Select({(2|->1.203039173850397),(3|->1.2760774463528919),(4|->1.203039173850397)},3) State 538 462 Select({(7|->0.38466049267351254),(8|->0.38760812576170756)},8) State 539 463 Simulate(3) State 540 464 Select({(2|->1.2036884578805944),(3|->1.2752156393750107),(4|->1.2036884578805944)},3) State 541 465 Select({(7|->0.38495765718439945),(8|->0.38495765718439945)},7) State 542 466 Simulate(1) State 544 467 Select({(2|->1.2043331237113757),(3|->1.2743629015465892),(4|->1.2043331237113757)},3) State 545 468 Select({(7|->0.3823665429046624),(8|->0.3852523690742217)},8) State 546 469 Simulate(3) State 547 470 Select({(2|->1.2049732341957706),(3|->1.2735190698815753),(4|->1.2049732341957706)},3) State 548 471 Select({(7|->0.38265665130663395),(8|->0.38265665130663395)},7) State 549 472 Simulate(1) State 551 473 Select({(2|->1.2056088509304508),(3|->1.2726839855235443),(4|->1.2056088509304508)},3) State 552 474 Select({(7|->0.3801182047475129),(8|->0.38294440131640994)},8) State 553 475 Simulate(3) State 554 476 Select({(2|->1.2062400342887343),(3|->1.2718574936111022),(4|->1.2062400342887343)},3) State 555 477 Select({(7|->0.38040152647943726),(8|->0.38040152647943726)},7) State 556 478 Simulate(1) State 558 479 Select({(2|->1.2068668434525223),(3|->1.2710394431486352),(4|->1.2068668434525223)},3) State 559 480 Select({(7|->0.3779139417855089),(8|->0.38068257910500114)},8) State 560 481 Simulate(3) State 561 482 Select({(2|->1.2074893364432029),(3|->1.2702296868821579),(4|->1.2074893364432029)},3) State 562 483 Select({(7|->0.37819073223152516),(8|->0.37819073223152516)},8) State 564 484 Simulate(3) State 565 485 Select({(2|->1.208107570151565),(3|->1.2694280811800238),(4|->1.208107570151565)},3) State 566 486 Select({(7|->0.3784653382405647),(8|->0.37575229008367067)},7) State 567 487 Simulate(1) State 568 488 Select({(2|->1.2087216003667596),(3|->1.2686344859182692),(4|->1.2087216003667596)},3) State 569 489 Select({(7|->0.3760227914968593),(8|->0.3760227914968593)},7) State 570 490 Simulate(1) State 572 491 Select({(2|->1.209331481804344),(3|->1.267848764370387),(4|->1.209331481804344)},3) State 573 492 Select({(7|->0.37363185381596015),(8|->0.37629118882669504)},8) State 574 493 Simulate(3) State 575 494 Select({(2|->1.209937268133442),(3|->1.2670707831013202),(4|->1.209937268133442)},3) State 576 495 Select({(7|->0.37389629616915365),(8|->0.37389629616915365)},8) State 578 496 Simulate(3) State 579 497 Select({(2|->1.2105390120030577),(3|->1.2663004118654912),(4|->1.2105390120030577)},3) State 580 498 Select({(7|->0.3741587107540419),(8|->0.3715513012124526)},7) State 581 499 Simulate(1) State 582 500 Select({(2|->1.2111367650675693),(3|->1.2655375235086836),(4|->1.2111367650675693)},3) State 583 501 Select({(7|->0.3718099029828644),(8|->0.3718099029828644)},8) State 585 502 Simulate(3) State 586 503 Select({(2|->1.2117305780114342),(3|->1.2647819938736047),(4|->1.2117305780114342)},3) State 587 504 Select({(7|->0.37206654951725504),(8|->0.36950936079893376)},7) State 588 505 Simulate(1) State 589 506 Select({(2|->1.2123205005731394),(3|->1.2640337017089667),(4|->1.2123205005731394)},3) State 590 507 Select({(7|->0.3697623296925897),(8|->0.3697623296925897)},8) State 592 508 Simulate(3) State 593 509 Select({(2|->1.2129065815684161),(3|->1.263292528581934),(4|->1.2129065815684161)},3) State 594 510 Select({(7|->0.3700134123361015),(8|->0.36750481790422)},7) State 595 511 Simulate(1) State 596 512 Select({(2|->1.2134888689127534),(3|->1.2625583587937865),(4|->1.2134888689127534)},3) State 597 513 Select({(7|->0.36775235152556124),(8|->0.36775235152556124)},7) State 598 514 Simulate(1) State 600 515 Select({(2|->1.2140674096432307),(3|->1.2618310792986618),(4|->1.2140674096432307)},3) State 601 516 Select({(7|->0.3655365114128822),(8|->0.36799806455484924)},8) State 602 517 Simulate(3) State 603 518 Select({(2|->1.214642249939697),(3|->1.2611105796252446),(4|->1.214642249939697)},3) State 604 519 Select({(7|->0.36577879788436524),(8|->0.36577879788436524)},8) State 606 520 Simulate(3) State 607 521 Select({(2|->1.2152134351453174),(3|->1.2603967518012753),(4|->1.2152134351453174)},3) State 608 522 Select({(7|->0.3660193262965323),(8|->0.36360333074317897)},7) State 609 523 Simulate(1) State 610 524 Select({(2|->1.2157810097865118),(3|->1.259689490280761),(4|->1.2157810097865118)},3) State 611 525 Select({(7|->0.36384054927921505),(8|->0.36384054927921505)},8) State 613 526 Simulate(3) State 614 527 Select({(2|->1.216345017592305),(3|->1.2589886918737712),(4|->1.216345017592305)},3) State 615 528 Select({(7|->0.36407606935095704),(8|->0.3617042130319045)},7) State 616 529 Simulate(1) State 617 530 Select({(2|->1.21690550151311),(3|->1.258294255678715),(4|->1.21690550151311)},3) State 618 531 Select({(7|->0.3619365344710527),(8|->0.3619365344710527)},8) State 620 532 Simulate(3) State 621 533 Select({(2|->1.2174625037389661),(3|->1.2576060830169908),(4|->1.2174625037389661)},3) State 622 534 Select({(7|->0.36216721427731496),(8|->0.35983814050955293)},7) State 623