Format: stateindex optimalvalue statevector optimalactionvector 0 0.0 <0, 0, 0> (0, 0, 0) 1 30.469001897947187 <0, 0, 1> (0, 0, 0) 2 44.638733089914034 <0, 0, 2> (0, 0, 0) 3 54.5505978881855 <0, 0, 3> (0, 0, 0) 4 62.46257034981481 <0, 0, 4> (0, 0, 0) 5 69.19982467046194 <0, 0, 5> (0, 0, 0) 6 75.15527402799961 <0, 0, 6> (0, 0, 0) 7 80.54426916449476 <0, 0, 7> (0, 0, 0) 8 85.4862628883493 <0, 0, 8> (0, 0, 0) 9 90.02515182914729 <0, 0, 9> (0, 0, 0) 10 94.02515184599199 <0, 0, 10> (0, 0, 1) 11 98.02515184599199 <0, 0, 11> (0, 0, 2) 12 102.02515184599197 <0, 0, 12> (0, 0, 3) 13 42.05660406465575 <0, 1, 0> (0, 0, 0) 14 52.780954222414145 <0, 1, 1> (0, 0, 0) 15 60.97919466150751 <0, 1, 2> (0, 0, 0) 16 67.84238195094984 <0, 1, 3> (0, 0, 0) 17 73.86264878053419 <0, 1, 4> (0, 0, 0) 18 79.29601224392819 <0, 1, 5> (0, 0, 0) 19 84.29415937634298 <0, 1, 6> (0, 0, 0) 20 88.93810180075093 <0, 1, 7> (0, 0, 0) 21 93.14397749302972 <0, 1, 8> (0, 0, 0) 22 97.14397749408316 <0, 1, 9> (0, 0, 1) 23 101.14397749408313 <0, 1, 10> (0, 0, 2) 24 105.14397749408316 <0, 1, 11> (0, 0, 3) 26 59.438969660936706 <0, 2, 0> (0, 0, 0) 27 66.44571504543397 <0, 2, 1> (0, 0, 0) 28 72.53251768609488 <0, 2, 2> (0, 0, 0) 29 78.00005912197618 <0, 2, 3> (0, 0, 0) 30 83.0323327527249 <0, 2, 4> (0, 0, 0) 31 87.73858220725944 <0, 2, 5> (0, 0, 0) 32 92.1214715348609 <0, 2, 6> (0, 0, 0) 33 96.12147153492525 <0, 2, 7> (0, 0, 1) 34 100.12147153492529 <0, 2, 8> (0, 0, 2) 35 104.12147153492522 <0, 2, 9> (0, 0, 3) 36 108.12147153492523 <0, 2, 10> (0, 0, 4) 39 71.15643033152482 <0, 3, 0> (0, 0, 0) 40 76.65487632949755 <0, 3, 1> (0, 0, 0) 41 81.69544260002726 <0, 3, 2> (0, 0, 0) 42 86.44041804908366 <0, 3, 3> (0, 0, 0) 43 90.92722437067552 <0, 3, 4> (0, 0, 0) 44 94.98862519770981 <0, 3, 5> (0, 0, 0) 45 98.98862519771296 <0, 3, 6> (0, 0, 1) 46 102.98862519771296 <0, 3, 7> (0, 0, 2) 47 106.98862519771292 <0, 3, 8> (0, 0, 3) 48 110.98862519771295 <0, 3, 9> (0, 0, 4) 52 80.28056293154755 <0, 4, 0> (0, 0, 0) 53 85.02977315745227 <0, 4, 1> (0, 0, 0) 54 89.56899007878816 <0, 4, 2> (0, 0, 0) 55 93.81764458903363 <0, 4, 3> (0, 0, 0) 56 97.81764458903375 <0, 4, 4> (0, 0, 1) 57 101.81764458903375 <0, 4, 5> (0, 0, 2) 58 105.81764458903375 <0, 4, 6> (0, 0, 3) 59 109.81764458903378 <0, 4, 7> (0, 0, 4) 60 113.81764458903379 <0, 4, 8> (0, 0, 5) 65 88.07392764507469 <0, 5, 0> (0, 0, 0) 66 92.41807798445349 <0, 5, 1> (0, 0, 0) 67 96.41807798445355 <0, 5, 2> (0, 0, 1) 68 100.4180779844535 <0, 5, 3> (0, 0, 2) 69 104.41807798445353 <0, 5, 4> (0, 0, 3) 70 108.41807798445353 <0, 5, 5> (0, 0, 4) 71 112.41807798445352 <0, 5, 6> (0, 0, 5) 72 116.4180779844535 <0, 5, 7> (0, 0, 6) 78 94.97124998850225 <0, 6, 0> (0, 0, 0) 79 98.97124998850225 <0, 6, 1> (0, 0, 1) 80 102.97124998850227 <0, 6, 2> (0, 0, 2) 81 106.97124998850225 <0, 6, 3> (0, 0, 3) 82 110.97124998850224 <0, 6, 4> (0, 0, 4) 83 114.97124998850227 <0, 6, 5> (0, 0, 5) 84 118.97124998850225 <0, 6, 6> (0, 0, 6) 91 100.97124998850227 <0, 7, 0> (0, 1, 0) 92 104.9712499885023 <0, 7, 1> (0, 1, 1) 93 108.97124998850221 <0, 7, 2> (0, 1, 2) 94 112.97124998850224 <0, 7, 3> (0, 1, 3) 95 116.97124998850224 <0, 7, 4> (0, 1, 4) 96 120.97124998850224 <0, 7, 5> (0, 1, 5) 104 106.97124998850225 <0, 8, 0> (0, 2, 0) 105 110.97124998850224 <0, 8, 1> (0, 2, 1) 106 114.97124998850227 <0, 8, 2> (0, 2, 2) 107 118.97124998850225 <0, 8, 3> (0, 2, 3) 108 122.97124998850227 <0, 8, 4> (0, 2, 4) 117 112.97124998850224 <0, 9, 0> (0, 3, 0) 118 116.97124998850224 <0, 9, 1> (0, 3, 1) 119 120.97124998850224 <0, 9, 2> (0, 3, 2) 120 124.97124998850222 <0, 9, 3> (0, 3, 3) 130 118.97124998850225 <0, 10, 0> (0, 4, 0) 131 122.97124998850227 <0, 10, 1> (0, 4, 1) 132 126.97124998850225 <0, 10, 2> (0, 4, 2) 143 124.97124998850222 <0, 11, 0> (0, 5, 0) 144 128.97124998850225 <0, 11, 1> (0, 5, 1) 156 130.97124998850225 <0, 12, 0> (0, 6, 0) 169 26.000753146878917 <1, 0, 0> (0, 0, 0) 170 42.24748522723381 <1, 0, 1> (0, 0, 0) 171 52.831442798180916 <1, 0, 2> (0, 0, 0) 172 61.0405339532318 <1, 0, 3> (0, 0, 0) 173 67.92862283729477 <1, 0, 4> (0, 0, 0) 174 73.96553873122947 <1, 0, 5> (0, 0, 0) 175 79.39952821721315 <1, 0, 6> (0, 0, 0) 176 84.38294667534852 <1, 0, 7> (0, 0, 0) 177 88.94762806980164 <1, 0, 8> (0, 0, 0) 178 92.94762808732821 <1, 0, 9> (0, 0, 1) 179 96.94762808732821 <1, 0, 10> (0, 0, 2) 180 100.94762808732823 <1, 0, 11> (0, 0, 3) 182 50.94344887304375 <1, 1, 0> (0, 0, 0) 183 59.51323376738174 <1, 1, 1> (0, 0, 0) 184 66.54594766394752 <1, 1, 2> (0, 0, 0) 185 72.65223067622422 <1, 1, 3> (0, 0, 0) 186 78.12977517470966 <1, 1, 4> (0, 0, 0) 187 83.14851721121653 <1, 1, 5> (0, 0, 0) 188 87.82153471506332 <1, 1, 6> (0, 0, 0) 189 92.0533638678583 <1, 1, 7> (0, 0, 0) 190 96.05336386890808 <1, 1, 8> (0, 0, 1) 191 100.05336386934758 <1, 1, 9> (0, 0, 2) 192 104.05336386934756 <1, 1, 10> (0, 0, 3) 195 65.12136417626228 <1, 2, 0> (0, 0, 0) 196 71.29746028802307 <1, 2, 1> (0, 0, 0) 197 76.80912954963529 <1, 2, 2> (0, 0, 0) 198 81.85940715490338 <1, 2, 3> (0, 0, 0) 199 86.56749803453057 <1, 2, 4> (0, 0, 0) 200 90.97941141460583 <1, 2, 5> (0, 0, 0) 201 94.97941141466752 <1, 2, 6> (0, 0, 1) 202 98.97941141477084 <1, 2, 7> (0, 0, 2) 203 102.97941141477087 <1, 2, 8> (0, 0, 3) 204 106.9794114147709 <1, 2, 9> (0, 0, 4) 208 75.43590086822479 <1, 3, 0> (0, 0, 0) 209 80.48912469949889 <1, 3, 1> (0, 0, 0) 210 85.23260927475701 <1, 3, 2> (0, 0, 0) 211 89.70864662978295 <1, 3, 3> (0, 0, 0) 212 93.81434379585866 <1, 3, 4> (0, 0, 0) 213 97.81434379586156 <1, 3, 5> (0, 0, 1) 214 101.81434379587247 <1, 3, 6> (0, 0, 2) 215 105.81434379587255 <1, 3, 7> (0, 0, 3) 216 109.81434379587253 <1, 3, 8> (0, 0, 4) 221 83.75311967076738 <1, 4, 0> (0, 0, 0) 222 88.29264472079103 <1, 4, 1> (0, 0, 0) 223 92.52483241513607 <1, 4, 2> (0, 0, 0) 224 96.52483241513617 <1, 4, 3> (0, 0, 1) 225 100.52483241513708 <1, 4, 4> (0, 0, 2) 226 104.52483241513713 <1, 4, 5> (0, 0, 3) 227 108.5248324151371 <1, 4, 6> (0, 0, 4) 228 112.52483241513713 <1, 4, 7> (0, 0, 5) 234 91.09030117072193 <1, 5, 0> (0, 0, 0) 235 95.09030117072189 <1, 5, 1> (0, 0, 1) 236 99.0903011707219 <1, 5, 2> (0, 0, 2) 237 103.0903011707219 <1, 5, 3> (0, 0, 3) 238 107.09030117072194 <1, 5, 4> (0, 0, 4) 239 111.09030117072192 <1, 5, 5> (0, 0, 5) 240 115.09030117072196 <1, 5, 6> (0, 0, 6) 247 97.09030117072189 <1, 6, 0> (0, 1, 0) 248 101.09030117072194 <1, 6, 1> (0, 1, 1) 249 105.090301170722 <1, 6, 2> (0, 1, 2) 250 109.09030117072203 <1, 6, 3> (0, 1, 3) 251 113.09030117072199 <1, 6, 4> (0, 1, 4) 252 117.09030117072193 <1, 6, 5> (0, 1, 5) 260 103.0903011707219 <1, 7, 0> (0, 2, 0) 261 107.09030117072194 <1, 7, 1> (0, 2, 1) 262 111.09030117072192 <1, 7, 2> (0, 2, 2) 263 115.09030117072196 <1, 7, 3> (0, 2, 3) 264 119.09030117072194 <1, 7, 4> (0, 2, 4) 273 109.09030117072203 <1, 8, 0> (0, 3, 0) 274 113.09030117072199 <1, 8, 1> (0, 3, 1) 275 117.09030117072193 <1, 8, 2> (0, 3, 2) 276 121.09030117072197 <1, 8, 3> (0, 3, 3) 286 115.09030117072196 <1, 9, 0> (0, 4, 0) 287 119.09030117072194 <1, 9, 1> (0, 4, 1) 288 123.090301170722 <1, 9, 2> (0, 4, 2) 299 121.09030117072197 <1, 10, 0> (0, 5, 0) 300 125.0903011707219 <1, 10, 1> (0, 5, 1) 312 127.09030117072197 <1, 11, 0> (0, 6, 0) 338 39.553715394032594 <2, 0, 0> (0, 0, 0) 339 51.01180112515775 <2, 0, 1> (0, 0, 0) 340 59.577320115183966 <2, 0, 2> (0, 0, 0) 341 66.63661047039405 <2, 0, 3> (0, 0, 0) 342 72.76297704047114 <2, 0, 4> (0, 0, 0) 343 78.24462940146609 <2, 0, 5> (0, 0, 0) 344 83.2546389145103 <2, 0, 6> (0, 0, 0) 345 87.85337938795934 <2, 0, 7> (0, 0, 0) 346 91.85337940617521 <2, 0, 8> (0, 0, 1) 347 95.8533794061753 <2, 0, 9> (0, 0, 2) 348 99.85337940617535 <2, 0, 10> (0, 0, 3) 351 57.99709554569466 <2, 1, 0> (0, 0, 0) 352 65.22698306537569 <2, 1, 1> (0, 0, 0) 353 71.42669257210572 <2, 1, 2> (0, 0, 0) 354 76.95059454837632 <2, 1, 3> (0, 0, 0) 355 81.98987224155482 <2, 1, 4> (0, 0, 0) 356 86.6715355909058 <2, 1, 5> (0, 0, 0) 357 90.94547602616193 <2, 1, 6> (0, 0, 0) 358 94.9454760272048 <2, 1, 7> (0, 0, 1) 359 98.94547602811599 <2, 1, 8> (0, 0, 2) 360 102.9454760281159 <2, 1, 9> (0, 0, 3) 364 70.04627003943249 <2, 2, 0> (0, 0, 0) 365 75.59939982696407 <2, 2, 1> (0, 0, 0) 366 80.66554994455615 <2, 2, 2> (0, 0, 0) 367 85.3752014256834 <2, 2, 3> (0, 0, 0) 368 89.78507487908196 <2, 2, 4> (0, 0, 0) 369 93.7850748791407 <2, 2, 5> (0, 0, 1) 370 97.7850748793492 <2, 2, 6> (0, 0, 2) 371 101.78507487936336 <2, 2, 7> (0, 0, 3) 372 105.78507487936342 <2, 2, 8> (0, 0, 4) 377 79.23893631012902 <2, 3, 0> (0, 0, 0) 378 83.9821742100657 <2, 3, 1> (0, 0, 0) 379 88.45936332060639 <2, 3, 2> (0, 0, 0) 380 92.55432833525238 <2, 3, 3> (0, 0, 0) 381 96.55432833525506 <2, 3, 4> (0, 0, 1) 382 100.55432833527654 <2, 3, 5> (0, 0, 2) 383 104.55432833528232 <2, 3, 6> (0, 0, 3) 384 108.55432833528224 <2, 3, 7> (0, 0, 4) 390 86.97158374316123 <2, 4, 0> (0, 0, 0) 391 91.2249425150638 <2, 4, 1> (0, 0, 0) 392 95.22494251506386 <2, 4, 2> (0, 0, 1) 393 99.22494251506564 <2, 4, 3> (0, 0, 2) 394 103.22494251506677 <2, 4, 4> (0, 0, 3) 395 107.2249425150667 <2, 4, 5> (0, 0, 4) 396 111.2249425150668 <2, 4, 6> (0, 0, 5) 403 93.67267149718036 <2, 5, 0> (0, 0, 0) 404 97.67267149718045 <2, 5, 1> (0, 0, 1) 405 101.67267149718054 <2, 5, 2> (0, 0, 2) 406 105.6726714971807 <2, 5, 3> (0, 0, 3) 407 109.67267149718072 <2, 5, 4> (0, 0, 4) 408 113.67267149718064 <2, 5, 5> (0, 0, 5) 416 99.67267149718066 <2, 6, 0> (0, 1, 0) 417 103.67267149718064 <2, 6, 1> (0, 1, 1) 418 107.6726714971807 <2, 6, 2> (0, 1, 2) 419 111.6726714971807 <2, 6, 3> (0, 1, 3) 420 115.67267149718069 <2, 6, 4> (0, 1, 4) 429 105.67267149718072 <2, 7, 0> (0, 2, 0) 430 109.67267149718076 <2, 7, 1> (0, 2, 1) 431 113.67267149718067 <2, 7, 2> (0, 2, 2) 432 117.67267149718072 <2, 7, 3> (0, 2, 3) 442 111.6726714971807 <2, 8, 0> (0, 3, 0) 443 115.67267149718069 <2, 8, 1> (0, 3, 1) 444 119.67267149718069 <2, 8, 2> (0, 3, 2) 455 117.67267149718072 <2, 9, 0> (0, 4, 0) 456 121.67267149718072 <2, 9, 1> (0, 4, 1) 468 123.67267149718073 <2, 10, 0> (0, 5, 0) 507 49.06151289756349 <3, 0, 0> (0, 0, 0) 508 58.065114568121615 <3, 0, 1> (0, 0, 0) 509 65.3218894430025 <3, 0, 2> (0, 0, 0) 510 71.54618330636204 <3, 0, 3> (0, 0, 0) 511 77.07886872695939 <3, 0, 4> (0, 0, 0) 512 82.11480928738267 <3, 0, 5> (0, 0, 0) 513 86.73192764754948 <3, 0, 6> (0, 0, 0) 514 90.7837617569696 <3, 0, 7> (0, 0, 0) 515 94.78376177296896 <3, 0, 8> (0, 0, 1) 516 98.78376177296894 <3, 0, 9> (0, 0, 2) 520 63.88319921381411 <3, 1, 0> (0, 0, 0) 521 70.18590793463068 <3, 1, 1> (0, 0, 0) 522 75.7566862807425 <3, 1, 2> (0, 0, 0) 523 80.81597772939972 <3, 1, 3> (0, 0, 0) 524 85.50522022245727 <3, 1, 4> (0, 0, 0) 525 89.78858020434505 <3, 1, 5> (0, 0, 0) 526 93.78858020537776 <3, 1, 6> (0, 0, 1) 527 97.78858020679255 <3, 1, 7> (0, 0, 2) 528 101.78858020679262 <3, 1, 8> (0, 0, 3) 533 74.37324119498605 <3, 2, 0> (0, 0, 0) 534 79.44707374343348 <3, 2, 1> (0, 0, 0) 535 84.15367951261943 <3, 2, 2> (0, 0, 0) 536 88.56600606014874 <3, 2, 3> (0, 0, 0) 537 92.56600606020433 <3, 2, 4> (0, 0, 1) 538 96.56600606051938 <3, 2, 5> (0, 0, 2) 539 100.56600606056328 <3, 2, 6> (0, 0, 3) 540 104.56600606056332 <3, 2, 7> (0, 0, 4) 546 82.67418381254888 <3, 3, 0> (0, 0, 0) 547 87.15612925578118 <3, 3, 1> (0, 0, 0) 548 91.27331223211453 <3, 3, 2> (0, 0, 0) 549 95.27331223211695 <3, 3, 3> (0, 0, 1) 550 99.27331223214851 <3, 3, 4> (0, 0, 2) 551 103.27331223216619 <3, 3, 5> (0, 0, 3) 552 107.27331223216649 <3, 3, 6> (0, 0, 4) 559 89.88060257827425 <3, 4, 0> (0, 0, 0) 560 93.88060257827436 <3, 4, 1> (0, 0, 1) 561 97.88060257827688 <3, 4, 2> (0, 0, 2) 562 101.88060257828032 <3, 4, 3> (0, 0, 3) 563 105.88060257828066 <3, 4, 4> (0, 0, 4) 564 109.88060257828066 <3, 4, 5> (0, 0, 5) 572 95.88060257828069 <3, 5, 0> (0, 1, 0) 573 99.88060257828087 <3, 5, 1> (0, 1, 1) 574 103.88060257828134 <3, 5, 2> (0, 1, 2) 575 107.88060257828153 <3, 5, 3> (0, 1, 3) 576 111.88060257828151 <3, 5, 4> (0, 1, 4) 585 101.88060257828148 <3, 6, 0> (0, 2, 0) 586 105.88060257828154 <3, 6, 1> (0, 2, 1) 587 109.88060257828158 <3, 6, 2> (0, 2, 2) 588 113.8806025782816 <3, 6, 3> (0, 2, 3) 598 107.88060257828158 <3, 7, 0> (0, 3, 0) 599 111.8806025782816 <3, 7, 1> (0, 3, 1) 600 115.8806025782815 <3, 7, 2> (0, 3, 2) 611 113.88060257828161 <3, 8, 0> (0, 4, 0) 612 117.8806025782816 <3, 8, 1> (0, 4, 1) 624 119.88060257828157 <3, 9, 0> (0, 5, 0) 676 56.492750884446444 <4, 0, 0> (0, 0, 0) 677 63.98201192360773 <4, 0, 1> (0, 0, 0) 678 70.31422859752908 <4, 0, 2> (0, 0, 0) 679 75.90019373930228 <4, 0, 3> (0, 0, 0) 680 80.96391451593963 <4, 0, 4> (0, 0, 0) 681 85.59744879743893 <4, 0, 5> (0, 0, 0) 682 89.68686033718319 <4, 0, 6> (0, 0, 0) 683 93.6868603537344 <4, 0, 7> (0, 0, 1) 684 97.68686035373443 <4, 0, 8> (0, 0, 2) 689 68.92947983354334 <4, 1, 0> (0, 0, 0) 690 74.54704987786499 <4, 1, 1> (0, 0, 0) 691 79.62527328918017 <4, 1, 2> (0, 0, 0) 692 84.32440849983534 <4, 1, 3> (0, 0, 0) 693 88.61905779795075 <4, 1, 4> (0, 0, 0) 694 92.6190577989692 <4, 1, 5> (0, 0, 1) 695 96.61905780091824 <4, 1, 6> (0, 0, 2) 696 100.61905780091827 <4, 1, 7> (0, 0, 3) 702 78.20259175465384 <4, 2, 0> (0, 0, 0) 703 82.91104481960966 <4, 2, 1> (0, 0, 0) 704 87.33300746839743 <4, 2, 2> (0, 0, 0) 705 91.33300746844945 <4, 2, 3> (0, 0, 1) 706 95.33300746887134 <4, 2, 4> (0, 0, 2) 707 99.33300746896184 <4, 2, 5> (0, 0, 3) 708 103.33300746896178 <4, 2, 6> (0, 0, 4) 715 85.85429268954648 <4, 3, 0> (0, 0, 0) 716 89.99445884849447 <4, 3, 1> (0, 0, 0) 717 93.99445884849658 <4, 3, 2> (0, 0, 1) 718 97.99445884853779 <4, 3, 3> (0, 0, 2) 719 101.99445884857334 <4, 3, 4> (0, 0, 3) 720 105.99445884857491 <4, 3, 5> (0, 0, 4) 728 92.29202513458586 <4, 4, 0> (0, 0, 0) 729 96.292025134586 <4, 4, 1> (0, 0, 1) 730 100.29202513458895 <4, 4, 2> (0, 0, 2) 731 104.292025134595 <4, 4, 3> (0, 0, 3) 732 108.2920251345961 <4, 4, 4> (0, 0, 4) 741 98.29202513459613 <4, 5, 0> (0, 1, 0) 742 102.29202513459622 <4, 5, 1> (0, 1, 1) 743 106.29202513459725 <4, 5, 2> (0, 1, 2) 744 110.2920251345979 <4, 5, 3> (0, 1, 3) 754 104.29202513459809 <4, 6, 0> (0, 2, 0) 755 108.29202513459822 <4, 6, 1> (0, 2, 1) 756 112.29202513459839 <4, 6, 2> (0, 2, 2) 767 110.29202513459964 <4, 7, 0> (0, 3, 0) 768 114.29202513459958 <4, 7, 1> (0, 3, 1) 780 116.29202513460223 <4, 8, 0> (0, 4, 0) 845 62.61378652140375 <5, 0, 0> (0, 0, 0) 846 69.06636526131732 <5, 0, 1> (0, 0, 0) 847 74.7069579001739 <5, 0, 2> (0, 0, 0) 848 79.79643632759758 <5, 0, 3> (0, 0, 0) 849 84.44580732817417 <5, 0, 4> (0, 0, 0) 850 88.56895983850848 <5, 0, 5> (0, 0, 0) 851 92.56895985558377 <5, 0, 6> (0, 0, 1) 852 96.56895985558376 <5, 0, 7> (0, 0, 2) 858 73.3203608141288 <5, 1, 0> (0, 0, 0) 859 78.41505516785664 <5, 1, 1> (0, 0, 0) 860 83.11955675980182 <5, 1, 2> (0, 0, 0) 861 87.42710103179166 <5, 1, 3> (0, 0, 0) 862 91.42710103279134 <5, 1, 4> (0, 0, 1) 863 95.4271010353021 <5, 1, 5> (0, 0, 2) 864 99.4271010353021 <5, 1, 6> (0, 0, 3) 871 81.64359104393698 <5, 2, 0> (0, 0, 0) 872 86.0683033764714 <5, 2, 1> (0, 0, 0) 873 90.06830337651974 <5, 2, 2> (0, 0, 1) 874 94.06830337704727 <5, 2, 3> (0, 0, 2) 875 98.06830337720241 <5, 2, 4> (0, 0, 3) 876 102.0683033772025 <5, 2, 5> (0, 0, 4) 884 88.66790450978282 <5, 3, 0> (0, 0, 0) 885 92.66790450978462 <5, 3, 1> (0, 0, 1) 886 96.6679045098345 <5, 3, 2> (0, 0, 2) 887 100.66790450989413 <5, 3, 3> (0, 0, 3) 888 104.66790450989835 <5, 3, 4> (0, 0, 4) 897 94.66790450989834 <5, 4, 0> (0, 1, 0) 898 98.6679045099017 <5, 4, 1> (0, 1, 1) 899 102.66790450991948 <5, 4, 2> (0, 1, 2) 900 106.66790450992679 <5, 4, 3> (0, 1, 3) 910 100.66790450992706 <5, 5, 0> (0, 2, 0) 911 104.66790450992862 <5, 5, 1> (0, 2, 1) 912 108.66790450993128 <5, 5, 2> (0, 2, 2) 923 106.66790450993508 <5, 6, 0> (0, 3, 0) 924 110.66790450993531 <5, 6, 1> (0, 3, 1) 936 112.66790450994654 <5, 7, 0> (0, 4, 0) 1014 67.80238434562247 <6, 0, 0> (0, 0, 0) 1015 73.49788043685408 <6, 0, 1> (0, 0, 0) 1016 78.60827898934585 <6, 0, 2> (0, 0, 0) 1017 83.26719477917068 <6, 0, 3> (0, 0, 0) 1018 87.41834460199014 <6, 0, 4> (0, 0, 0) 1019 91.41834461955476 <6, 0, 5> (0, 0, 1) 1020 95.41834461955476 <6, 0, 6> (0, 0, 2) 1027 77.17999925836307 <6, 1, 0> (0, 0, 0) 1028 81.87960781273325 <6, 1, 1> (0, 0, 0) 1029 86.18904016955675 <6, 1, 2> (0, 0, 0) 1030 90.1890401705328 <6, 1, 3> (0, 0, 1) 1031 94.18904017362932 <6, 1, 4> (0, 0, 2) 1032 98.18904017362927 <6, 1, 5> (0, 0, 3) 1040 84.7217489825257 <6, 2, 0> (0, 0, 0) 1041 88.72174898257003 <6, 2, 1> (0, 0, 1) 1042 92.72174898320132 <6, 2, 2> (0, 0, 2) 1043 96.72174898344005 <6, 2, 3> (0, 0, 3) 1044 100.7217489834402 <6, 2, 4> (0, 0, 4) 1053 90.82537569587333 <6, 3, 0> (0, 0, 0) 1054 94.82537569587502 <6, 3, 1> (0, 0, 1) 1055 98.82537569592746 <6, 3, 2> (0, 0, 2) 1056 102.82537569600605 <6, 3, 3> (0, 0, 3) 1066 96.82537569601794 <6, 4, 0> (0, 1, 0) 1067 100.8253756960215 <6, 4, 1> (0, 1, 1) 1068 104.82537569604497 <6, 4, 2> (0, 1, 2) 1079 102.82537569616356 <6, 5, 0> (0, 2, 0) 1080 106.82537569616542 <6, 5, 1> (0, 2, 1) 1092 108.82537569652457 <6, 6, 0> (0, 3, 0) 1183 72.272548212845 <7, 0, 0> (0, 0, 0) 1184 77.39579499642332 <7, 0, 1> (0, 0, 0) 1185 82.05811247507985 <7, 0, 2> (0, 0, 0) 1186 86.22755315700047 <7, 0, 3> (0, 0, 0) 1187 90.22755317500072 <7, 0, 4> (0, 0, 1) 1188 94.22755317500066 <7, 0, 5> (0, 0, 2) 1196 80.58554652898209 <7, 1, 0> (0, 0, 0) 1197 84.90598540304758 <7, 1, 1> (0, 0, 0) 1198 88.90598540399407 <7, 1, 2> (0, 0, 1) 1199 92.90598540769219 <7, 1, 3> (0, 0, 2) 1200 96.90598540769219 <7, 1, 4> (0, 0, 3) 1209 87.38393328286186 <7, 2, 0> (0, 0, 0) 1210 91.38393328290032 <7, 2, 1> (0, 0, 1) 1211 95.38393328353689 <7, 2, 2> (0, 0, 2) 1212 99.38393328382591 <7, 2, 3> (0, 0, 3) 1222 93.38393328382588 <7, 3, 0> (0, 1, 0) 1223 97.38393328389735 <7, 3, 1> (0, 1, 1) 1224 101.38393328415425 <7, 3, 2> (0, 1, 2) 1235 99.38393328422735 <7, 4, 0> (0, 2, 0) 1236 103.38393328426574 <7, 4, 1> (0, 2, 1) 1248 105.38393328475001 <7, 5, 0> (0, 3, 0) 1352 76.15355687717876 <8, 0, 0> (0, 0, 0) 1353 80.81778393005668 <8, 0, 1> (0, 0, 0) 1354 84.99799606160718 <8, 0, 2> (0, 0, 0) 1355 88.99799607997052 <8, 0, 3> (0, 0, 1) 1356 92.99799607997048 <8, 0, 4> (0, 0, 2) 1365 83.5900151985629 <8, 1, 0> (0, 0, 0) 1366 87.59001519947101 <8, 1, 1> (0, 0, 1) 1367 91.59001520376474 <8, 1, 2> (0, 0, 2) 1368 95.59001520376482 <8, 1, 3> (0, 0, 3) 1378 89.5900152037648 <8, 2, 0> (0, 1, 0) 1379 93.59001520503625 <8, 2, 1> (0, 1, 1) 1380 97.59001520638041 <8, 2, 2> (0, 1, 2) 1391 95.59001520638049 <8, 3, 0> (0, 2, 0) 1392 99.59001520697599 <8, 3, 1> (0, 2, 1) 1404 101.59001520738246 <8, 4, 0> (0, 3, 0) 1521 79.53786183286617 <9, 0, 0> (0, 0, 0) 1522 83.73023242741138 <9, 0, 1> (0, 0, 0) 1523 87.73023244607127 <9, 0, 2> (0, 0, 1) 1524 91.73023244607127 <9, 0, 3> (0, 0, 2) 1534 86.04077557260075 <9, 1, 0> (0, 0, 0) 1535 90.04077557337594 <9, 1, 1> (0, 0, 1) 1536 94.04077557750001 <9, 1, 2> (0, 0, 2) 1547 92.0407755775 <9, 2, 0> (0, 1, 0) 1548 96.04077557872104 <9, 2, 1> (0, 1, 1) 1560 98.04077558078748 <9, 3, 0> (0, 2, 0) 1690 82.43493432481355 <10, 0, 0> (0, 0, 0) 1691 86.43493434372783 <10, 0, 1> (0, 0, 1) 1692 90.43493434372785 <10, 0, 2> (0, 0, 2) 1703 88.43493434372786 <10, 1, 0> (0, 1, 0) 1704 92.43493435954981 <10, 1, 1> (0, 1, 1) 1716 94.43493435954977 <10, 2, 0> (0, 2, 0) 1859 84.43493436814742 <11, 0, 0> (1, 0, 0) 1860 88.4349343681474 <11, 0, 1> (1, 0, 1) 1872 90.4349343681474 <11, 1, 0> (1, 1, 0) 2028 86.43493437087415 <12, 0, 0> (2, 0, 0)