Case #1: 0.996348465818
Case #2: 0.999999955428
Case #3: 0.001206609999
Case #4: 0.999999952520
Case #5: 0.999993746634
Case #6: 0.999917401077
Case #7: 1.000000000000
Case #8: 1.000000000000
Case #9: 0.999998659375
Case #10: 0.999999999811
Case #11: 0.440252098584
Case #12: 1.000000000000
Case #13: 1.000000000000
Case #14: 0.389098799327
Case #15: 0.701738712344
Case #16: 0.999999999928
Case #17: 1.000000000000
Case #18: 1.000000000000
Case #19: 0.979216221077
Case #20: 0.999999998952
Case #21: 1.000000000000
Case #22: 1.000000000000
Case #23: 0.999999401484
Case #24: 0.999161243554
Case #25: 0.023708667752
Case #26: 0.602004890833
Case #27: 0.873145479505
Case #28: 0.997420303826
Case #29: 0.992145337898
Case #30: 0.954343023812
Case #31: 0.999984240210
Case #32: 1.000000000000
Case #33: 0.446419888320
Case #34: 1.000000000000
Case #35: 0.999864107765
Case #36: 0.089928690068
Case #37: 0.999998222408
Case #38: 0.999999999481
Case #39: 0.892818873533
Case #40: 1.000000000000
Case #41: 0.999999999965
Case #42: 1.000000000000
Case #43: 0.999999995008
Case #44: 0.417950706520
Case #45: 0.089593898590
Case #46: 0.992706935779
Case #47: 0.999995713168
Case #48: 0.982063438457
Case #49: 0.999999999746
Case #50: 0.999999978894
Case #51: 0.999999895607
Case #52: 1.000000000000
Case #53: 0.988586317180
Case #54: 0.999999999909
Case #55: 0.999999786321
Case #56: 0.999999998803
Case #57: 1.000000000000
Case #58: 0.953125000000
Case #59: 0.000000000000
Case #60: 0.993789434433
Case #61: 0.994617097037
Case #62: 1.000000000000
Case #63: 0.999999220001
Case #64: 0.999999957363
Case #65: 0.999973208162
Case #66: 0.999832130000
Case #67: 0.252240407352
Case #68: 0.999999999541
Case #69: 0.412281430016
Case #70: 0.999999999340
Case #71: 0.999999801600
Case #72: 0.999531455113
Case #73: 1.000000000000
Case #74: 0.999996185303
Case #75: 1.000000000000
Case #76: 0.000000293930
Case #77: 0.999989639515
Case #78: 1.000000000000
Case #79: 1.000000000000
Case #80: 0.000000000000
Case #81: 0.999453035851
Case #82: 0.164062500000
Case #83: 0.999951380000
Case #84: 0.789915913190
Case #85: 1.000000000000
Case #86: 0.999999866125
Case #87: 0.000037493941
Case #88: 0.440218236328
Case #89: 0.999999998675
Case #90: 0.999999994444
Case #91: 1.000000000000
Case #92: 1.000000000000
Case #93: 0.184298819556
Case #94: 0.000000000000
Case #95: 1.000000000000
Case #96: 1.000000000000
Case #97: 0.000000000000
Case #98: 0.999680184836
Case #99: 1.000000000000
Case #100: 1.000000000000
Case #101: 0.998891618257
Case #102: 0.997906018323
Case #103: 0.999999397547
Case #104: 0.999999999998
Case #105: 0.999999680785
Case #106: 1.000000000000
Case #107: 0.999999882695
Case #108: 0.999999629877
Case #109: 0.999999694420
Case #110: 1.000000000000
Case #111: 0.999990762200
Case #112: 0.000003656005
Case #113: 1.000000000000
Case #114: 0.988498812846
Case #115: 0.500000000000
Case #116: 1.000000000000
Case #117: 1.000000000000
Case #118: 0.999987582301
Case #119: 0.000000000025
Case #120: 0.999999986378
Case #121: 0.999997650861
Case #122: 0.999999998730
Case #123: 1.000000000000
Case #124: 0.994674563408
Case #125: 1.000000000000
Case #126: 0.000017166138
Case #127: 0.999997906340
Case #128: 0.999999902794
Case #129: 1.000000000000
Case #130: 0.367250399688
Case #131: 0.018396000000
Case #132: 0.952554901576
Case #133: 0.999999742188
Case #134: 1.000000000000
Case #135: 1.000000000000
Case #136: 1.000000000000
Case #137: 1.000000000000
Case #138: 0.999999999785
Case #139: 1.000000000000
Case #140: 0.463653597013
Case #141: 0.999999995381
Case #142: 0.999638208723
Case #143: 0.991998000000
Case #144: 0.999781966846
Case #145: 0.997756883106
Case #146: 1.000000000000
Case #147: 1.000000000000
Case #148: 0.094491926461
Case #149: 0.920291370832
Case #150: 0.538327291634
Case #151: 0.267509273419
Case #152: 0.990566921332
Case #153: 0.999999833283
Case #154: 0.999990896544
Case #155: 0.999846419568
Case #156: 0.999999999998
Case #157: 1.000000000000
Case #158: 0.999705289781
Case #159: 1.000000000000
Case #160: 1.000000000000
Case #161: 0.999683958339
Case #162: 0.999999404626
Case #163: 0.967069550367
Case #164: 1.000000000000
Case #165: 1.000000000000
Case #166: 0.925622359617
Case #167: 0.999999999982
Case #168: 0.999999923262
Case #169: 0.999999991323
Case #170: 0.999985090260
Case #171: 0.873145479505
Case #172: 0.958579531086
Case #173: 1.000000000000
Case #174: 0.400000000000
Case #175: 0.999999998584
Case #176: 0.991214609409
Case #177: 0.999898232877
Case #178: 0.999363941656
Case #179: 1.000000000000
Case #180: 0.999997709346
Case #181: 0.072328507900
Case #182: 0.999921796875
Case #183: 1.000000000000
Case #184: 1.000000000000
Case #185: 0.998876601558
Case #186: 0.999999773946
Case #187: 1.000000000000
Case #188: 0.604894034345
Case #189: 0.999999999999
Case #190: 0.005815309667
Case #191: 0.999992947000
Case #192: 1.000000000000
Case #193: 0.999951362610
Case #194: 1.000000000000
Case #195: 0.042221149938
Case #196: 1.000000000000
Case #197: 1.000000000000
Case #198: 1.000000000000
Case #199: 1.000000000000
Case #200: 1.000000000000
Case #201: 0.999677181244
Case #202: 0.000000000000
Case #203: 0.999999999846
Case #204: 0.710477508139
Case #205: 0.990281020291
Case #206: 0.999938823845
Case #207: 1.000000000000
Case #208: 0.999999021000
Case #209: 0.999981524472
Case #210: 0.894331962148
Case #211: 0.983814991482
Case #212: 1.000000000000
Case #213: 0.999999995750
Case #214: 0.038464115872
Case #215: 0.817803000000
Case #216: 0.999975769199
Case #217: 0.999999999965
Case #218: 0.999999998696
Case #219: 0.996934890747
Case #220: 0.000000000000
Case #221: 0.086649865249
Case #222: 0.999984810838
Case #223: 0.999999999734
Case #224: 1.000000000000
Case #225: 0.998638353570
Case #226: 0.998101427904
Case #227: 0.999098908051
Case #228: 0.999999688571
Case #229: 0.999981524472
Case #230: 0.999827999209
Case #231: 1.000000000000
Case #232: 0.864192798956
Case #233: 0.999978891787
Case #234: 1.000000000000
Case #235: 0.999999999960
Case #236: 0.999996718750
Case #237: 0.999999999980
Case #238: 0.999797790608
Case #239: 0.977942623081
Case #240: 0.999994261743
Case #241: 0.999999888177
Case #242: 0.999999999946
Case #243: 0.999925406242
Case #244: 0.999999960537
Case #245: 0.805555555556
Case #246: 0.993923611111
Case #247: 0.999999999670
Case #248: 1.000000000000
Case #249: 1.000000000000
Case #250: 0.999975887346
Case #251: 1.000000000000
Case #252: 0.999999967034
Case #253: 0.966406380757
Case #254: 0.963475069210
Case #255: 0.013687652416
Case #256: 0.999999999984
Case #257: 0.968832421701
Case #258: 0.999999999665
Case #259: 1.000000000000
Case #260: 0.000000636474
Case #261: 0.998237609863
Case #262: 1.000000000000
Case #263: 1.000000000000
Case #264: 0.999144994952
Case #265: 1.000000000000
Case #266: 0.979097493048
Case #267: 0.999641975207
Case #268: 0.000000000000
Case #269: 1.000000000000
Case #270: 1.000000000000
Case #271: 0.257184368909
Case #272: 1.000000000000
Case #273: 0.999999773946
Case #274: 0.474316524442
Case #275: 0.999999995611
Case #276: 1.000000000000
Case #277: 0.500000000000
Case #278: 0.999997280906
Case #279: 0.999999999999
Case #280: 1.000000000000
Case #281: 0.070939336786
Case #282: 0.999999952168
Case #283: 0.959743171930
Case #284: 0.000015690139
Case #285: 0.999999880012
Case #286: 1.000000000000
Case #287: 0.797457721214
Case #288: 0.999999999785
Case #289: 0.776997373240
Case #290: 0.990629290002
Case #291: 0.999999665102
Case #292: 1.000000000000
Case #293: 0.996675441705
Case #294: 1.000000000000
Case #295: 0.920171302047
Case #296: 0.999857462384
Case #297: 0.799600378342
Case #298: 0.999982500000
Case #299: 0.996938429405
Case #300: 0.907073974609
Case #301: 1.000000000000
Case #302: 1.000000000000
Case #303: 0.550772309303
Case #304: 1.000000000000
Case #305: 0.999990787003
Case #306: 1.000000000000
Case #307: 0.999291711719
Case #308: 0.768588407770
Case #309: 0.999999999999
Case #310: 0.816175039928
Case #311: 0.999991349558
Case #312: 0.999918343034
Case #313: 0.671875000000
Case #314: 0.999997782851
Case #315: 0.000018384326
Case #316: 1.000000000000
Case #317: 0.888174456704
Case #318: 0.993480987310
Case #319: 0.999981887639
Case #320: 1.000000000000
Case #321: 0.999999995471
Case #322: 0.999998994147
Case #323: 0.033003076083
Case #324: 0.999943610309
Case #325: 0.999996762731
Case #326: 0.999999999999
Case #327: 0.996939381720
Case #328: 0.970316500000
Case #329: 0.999999999977
Case #330: 0.546424897119
Case #331: 0.999387148770
Case #332: 0.982953246294
Case #333: 0.999914068729
Case #334: 0.424926757812
Case #335: 0.999999998675
Case #336: 0.999999845115
Case #337: 0.999999641958
Case #338: 1.000000000000
Case #339: 0.999999281322
Case #340: 0.999999809729
Case #341: 0.999790000000
Case #342: 0.999886112358
Case #343: 0.076546900174
Case #344: 1.000000000000
Case #345: 0.999999967855
Case #346: 0.872666604397
Case #347: 1.000000000000
Case #348: 0.999887160204
Case #349: 1.000000000000
Case #350: 0.999999999990
Case #351: 0.968074746483
Case #352: 0.998519535947
Case #353: 0.574987110038
Case #354: 0.246430961532
Case #355: 1.000000000000
Case #356: 1.000000000000
Case #357: 1.000000000000
Case #358: 0.999999999143
Case #359: 0.999999998613
Case #360: 1.000000000000
Case #361: 1.000000000000
Case #362: 0.999999999996
Case #363: 1.000000000000
Case #364: 0.977525342820
Case #365: 1.000000000000
Case #366: 0.987705608200
Case #367: 0.729515498381
Case #368: 1.000000000000
Case #369: 0.999999899900
Case #370: 0.999997169160
Case #371: 0.999999994098
Case #372: 0.999999985465
Case #373: 1.000000000000
Case #374: 0.999998055200
Case #375: 1.000000000000
Case #376: 1.000000000000
Case #377: 0.110985000000
Case #378: 0.999999999785
Case #379: 0.999847874125
Case #380: 1.000000000000
Case #381: 0.999999923262
Case #382: 0.919433593750
Case #383: 1.000000000000
Case #384: 0.983500000000
Case #385: 0.999999999999
Case #386: 0.041981895344
Case #387: 1.000000000000
Case #388: 1.000000000000
Case #389: 0.998925484311
Case #390: 0.994729322283
Case #391: 1.000000000000
Case #392: 0.999999996989
Case #393: 0.999999935061
Case #394: 0.999999999982
Case #395: 0.999999997918
Case #396: 1.000000000000
Case #397: 0.997180250000
Case #398: 0.999996472950
Case #399: 0.476981263818
Case #400: 0.999995725026
Case #401: 0.860030758147
Case #402: 0.999984280055
Case #403: 0.037500000000
Case #404: 1.000000000000
Case #405: 1.000000000000
Case #406: 0.999999906250
Case #407: 0.999999999867
Case #408: 0.999999831464
Case #409: 1.000000000000
Case #410: 0.999999999665
Case #411: 1.000000000000
Case #412: 0.999226427328
Case #413: 0.999789347784
Case #414: 0.999999998584
Case #415: 1.000000000000
Case #416: 0.999998757788
Case #417: 0.002500000000
Case #418: 0.999217038825
Case #419: 0.145293750000
Case #420: 0.999441049881
Case #421: 0.000153580432
Case #422: 0.190453799300
Case #423: 0.999967448227
Case #424: 0.996625006307
Case #425: 1.000000000000
Case #426: 0.999999994121
Case #427: 0.700241362347
Case #428: 0.563107929174
Case #429: 1.000000000000
Case #430: 0.687500000000
Case #431: 0.999999940395
Case #432: 0.999999992416
Case #433: 0.117238044158
Case #434: 1.000000000000
Case #435: 1.000000000000
Case #436: 0.999999999630
Case #437: 0.993789434433
Case #438: 0.997588673642
Case #439: 0.999993971915
Case #440: 1.000000000000
Case #441: 1.000000000000
Case #442: 1.000000000000
Case #443: 0.999227921770
Case #444: 1.000000000000
Case #445: 0.000002672921
Case #446: 0.987705608200
Case #447: 0.911378914817
Case #448: 1.000000000000
Case #449: 0.999990896544
Case #450: 0.676835603174
Case #451: 0.421242584696
Case #452: 0.999892234802
Case #453: 1.000000000000
Case #454: 0.999999662552
Case #455: 1.000000000000
Case #456: 0.999999996273
Case #457: 0.999597812500
Case #458: 0.949401604295
Case #459: 0.999999999996
Case #460: 1.000000000000
Case #461: 0.987480217611
Case #462: 0.999929222251
Case #463: 1.000000000000
Case #464: 0.940424874892
Case #465: 0.999999999867
Case #466: 0.998405732872
Case #467: 0.004887624439
Case #468: 1.000000000000
Case #469: 0.999878014837
Case #470: 0.995116361664
Case #471: 0.999973297119
Case #472: 1.000000000000
Case #473: 0.999902403433
Case #474: 0.999999997674
Case #475: 1.000000000000
Case #476: 1.000000000000
Case #477: 0.559747901416
Case #478: 0.992170983496
Case #479: 1.000000000000
Case #480: 1.000000000000
Case #481: 1.000000000000
Case #482: 0.999999987330
Case #483: 0.000000003198
Case #484: 0.999705289781
Case #485: 1.000000000000
Case #486: 0.999999996958
Case #487: 0.999999404626
Case #488: 0.999999999940
Case #489: 0.999979136711
Case #490: 1.000000000000
Case #491: 0.920011900106
Case #492: 0.998925484311
Case #493: 0.533500000000
Case #494: 0.977998808026
Case #495: 1.000000000000
Case #496: 1.000000000000
Case #497: 0.947491093945
Case #498: 0.999999980497
Case #499: 0.999999999998
Case #500: 0.978299533776
Case #501: 0.999992039216
Case #502: 1.000000000000
Case #503: 0.999940661773
Case #504: 1.000000000000
Case #505: 0.106837430614
Case #506: 1.000000000000
Case #507: 0.999999999846
Case #508: 0.197537386495
Case #509: 0.999964449631
Case #510: 0.997306823730
Case #511: 0.999999226040
Case #512: 0.000000000000
Case #513: 0.993895033150
Case #514: 0.549767521225
Case #515: 1.000000000000
Case #516: 0.000032866823
Case #517: 0.999997143782
Case #518: 0.999771998918
Case #519: 0.880595388166
Case #520: 0.775872878086
Case #521: 0.999999750404
Case #522: 1.000000000000
Case #523: 0.211341250000
Case #524: 0.999999999946
Case #525: 0.999999999987
Case #526: 0.999999694420
Case #527: 1.000000000000
Case #528: 0.581734355185
Case #529: 0.809616847656
Case #530: 0.999999999559
Case #531: 1.000000000000
Case #532: 1.000000000000
Case #533: 1.000000000000
Case #534: 0.996930070308
Case #535: 1.000000000000
Case #536: 0.999999999946
Case #537: 0.027344681869
Case #538: 0.999975184885
Case #539: 0.999999999994
Case #540: 0.999999784497
Case #541: 0.999999978883
Case #542: 1.000000000000
Case #543: 1.000000000000
Case #544: 0.973515755400
Case #545: 1.000000000000
Case #546: 0.059303797177
Case #547: 0.000000010634
Case #548: 0.999999998469
Case #549: 0.317118674252
Case #550: 0.805555555556
Case #551: 0.933991118853
Case #552: 0.999306232031
Case #553: 0.175248873846
Case #554: 0.999999998921
Case #555: 0.999254520922
Case #556: 1.000000000000
Case #557: 0.999995292004
Case #558: 0.999999997683
Case #559: 1.000000000000
Case #560: 1.000000000000
Case #561: 0.277777777778
Case #562: 0.997427642345
Case #563: 1.000000000000
Case #564: 1.000000000000
Case #565: 0.999997245203
Case #566: 0.000233480643
Case #567: 0.999691650421
Case #568: 0.999659482012
Case #569: 0.999999995419
Case #570: 1.000000000000
Case #571: 0.999999999481
Case #572: 0.999990894890
Case #573: 0.999975705564
Case #574: 1.000000000000
Case #575: 0.999984490121
Case #576: 0.998363494873
Case #577: 0.999900000000
Case #578: 1.000000000000
Case #579: 0.671950009929
Case #580: 0.253345559747
Case #581: 0.999982519646
Case #582: 1.000000000000
Case #583: 0.999999959814
Case #584: 0.000188170633
Case #585: 0.999999998740
Case #586: 0.923395664177
Case #587: 1.000000000000
Case #588: 0.999999999746
Case #589: 0.990741953125
Case #590: 1.000000000000
Case #591: 0.999999992549
Case #592: 1.000000000000
Case #593: 1.000000000000
Case #594: 1.000000000000
Case #595: 0.809884475060
Case #596: 0.999999999972
Case #597: 0.999999880012
Case #598: 0.999998591694
Case #599: 1.000000000000
Case #600: 0.986971812151
Case #601: 0.997429643861
Case #602: 1.000000000000
Case #603: 0.999998072479
Case #604: 1.000000000000
Case #605: 0.999999888177
Case #606: 0.999999969979
Case #607: 0.999712591199
Case #608: 0.999740315381
Case #609: 1.000000000000
Case #610: 1.000000000000
Case #611: 0.999999999755
Case #612: 1.000000000000
Case #613: 0.639535460658
Case #614: 0.999999836484
Case #615: 0.999965917585
Case #616: 0.999668316762
Case #617: 1.000000000000
Case #618: 1.000000000000
Case #619: 0.999999554444
Case #620: 0.000000771099
Case #621: 0.967792000000
Case #622: 0.999999999985
Case #623: 1.000000000000
Case #624: 1.000000000000
Case #625: 0.999999999998
Case #626: 1.000000000000
Case #627: 0.999954799667
Case #628: 0.215281000000
Case #629: 1.000000000000
Case #630: 0.598912764239
Case #631: 1.000000000000
Case #632: 0.999999999968
Case #633: 0.999891804761
Case #634: 0.785980838839
Case #635: 0.999946174239
Case #636: 0.999988500430
Case #637: 0.998977629789
Case #638: 0.963122590000
Case #639: 1.000000000000
Case #640: 0.998821977344
Case #641: 0.897122433816
Case #642: 1.000000000000
Case #643: 1.000000000000
Case #644: 0.086122581164
Case #645: 0.999975705564
Case #646: 0.954838082711
Case #647: 1.000000000000
Case #648: 0.001786204207
Case #649: 0.516626939553
Case #650: 0.978191096723
Case #651: 1.000000000000
Case #652: 0.999980415597
Case #653: 0.947491093945
Case #654: 1.000000000000
Case #655: 0.855001389371
Case #656: 0.000000072704
Case #657: 1.000000000000
Case #658: 0.999233753429
Case #659: 1.000000000000
Case #660: 0.855254799216
Case #661: 0.999999999841
Case #662: 1.000000000000
Case #663: 0.999999999988
Case #664: 0.999991667164
Case #665: 0.999970614811
Case #666: 0.999999998458
Case #667: 1.000000000000
Case #668: 0.000180103441
Case #669: 0.006777414079
Case #670: 1.000000000000
Case #671: 0.999996640668
Case #672: 0.999111850566
Case #673: 0.054297776147
Case #674: 0.999999999998
Case #675: 1.000000000000
Case #676: 1.000000000000
Case #677: 0.568691518742
Case #678: 0.003682695750
Case #679: 0.999993301441
Case #680: 0.634878447123
Case #681: 0.998046875000
Case #682: 0.999997824548
Case #683: 0.999999862642
Case #684: 0.999995330412
Case #685: 0.994839422240
Case #686: 0.999999895607
Case #687: 1.000000000000
Case #688: 0.999641975207
Case #689: 1.000000000000
Case #690: 1.000000000000
Case #691: 0.949929828118
Case #692: 0.001876081902
Case #693: 0.015325694573
Case #694: 0.999999999946
Case #695: 0.999984524176
Case #696: 0.999755859375
Case #697: 1.000000000000
Case #698: 0.954579677572
Case #699: 0.999999983343
Case #700: 0.986895149772
Case #701: 0.999994293321
Case #702: 0.418265644815
Case #703: 0.999423329263
Case #704: 0.999999909953
Case #705: 0.999999994907
Case #706: 0.999999226040
Case #707: 1.000000000000
Case #708: 0.663940750000
Case #709: 0.999999994121
Case #710: 0.999701304930
Case #711: 0.999999999999
Case #712: 1.000000000000
Case #713: 0.999999481276
Case #714: 0.999999999937
Case #715: 0.000178289250
Case #716: 0.999999997534
Case #717: 1.000000000000
Case #718: 1.000000000000
Case #719: 0.995994183923
Case #720: 0.715006427778
Case #721: 0.999999997349
Case #722: 0.027236174665
Case #723: 0.999999998180
Case #724: 0.995913744697
Case #725: 1.000000000000
Case #726: 0.970182613332
Case #727: 0.999995958407
Case #728: 1.000000000000
Case #729: 0.656997490614
Case #730: 0.104179669046
Case #731: 0.999999999990
Case #732: 1.000000000000
Case #733: 0.999997681481
Case #734: 0.999533295376
Case #735: 0.018114447594
Case #736: 1.000000000000
Case #737: 0.979448236598
Case #738: 0.999998648078
Case #739: 0.999999936251
Case #740: 1.000000000000
Case #741: 0.997888396132
Case #742: 1.000000000000
Case #743: 0.834440801828
Case #744: 0.999999999999
Case #745: 0.986394961131
Case #746: 0.999999992549
Case #747: 0.999999997287
Case #748: 0.866241999961
Case #749: 1.000000000000
Case #750: 0.779135240148
Case #751: 0.994541568682
Case #752: 0.999999046326
Case #753: 0.999366095769
Case #754: 0.999628835804
Case #755: 0.999999996363
Case #756: 1.000000000000
Case #757: 0.853630267664
Case #758: 0.116757904252
Case #759: 0.500000000000
Case #760: 0.999999952520
Case #761: 0.999926949361
Case #762: 1.000000000000
Case #763: 0.999999547752
Case #764: 1.000000000000
Case #765: 1.000000000000
Case #766: 1.000000000000
Case #767: 0.999999794809
Case #768: 0.999963388997
Case #769: 0.999999999997
Case #770: 0.999999999999
Case #771: 1.000000000000
Case #772: 0.000128700000
Case #773: 0.999999884352
Case #774: 0.999981284025
Case #775: 1.000000000000
Case #776: 1.000000000000
Case #777: 1.000000000000
Case #778: 1.000000000000
Case #779: 0.005735418719
Case #780: 0.081391966466
Case #781: 0.999949367180
Case #782: 0.831844398448
Case #783: 0.999986595711
Case #784: 0.834181295010
Case #785: 1.000000000000
Case #786: 0.000085609405
Case #787: 1.000000000000
Case #788: 1.000000000000
Case #789: 0.994082807552
Case #790: 0.774777864685
Case #791: 1.000000000000
Case #792: 1.000000000000
Case #793: 1.000000000000
Case #794: 0.997256188623
Case #795: 0.023260785362
Case #796: 1.000000000000
Case #797: 0.995136489839
Case #798: 1.000000000000
Case #799: 0.250000000000
Case #800: 0.999999761943
Case #801: 0.999999552965
Case #802: 0.968180718555
Case #803: 0.999999999235
Case #804: 0.999968335280
Case #805: 0.999999999968
Case #806: 0.999999999926
Case #807: 1.000000000000
Case #808: 0.999421296296
Case #809: 0.999964739400
Case #810: 1.000000000000
Case #811: 0.258627757574
Case #812: 0.000000000000
Case #813: 0.999999999988
Case #814: 1.000000000000
Case #815: 0.999999989060
Case #816: 1.000000000000
Case #817: 0.353696176249
Case #818: 0.000026931493
Case #819: 0.999999997659
Case #820: 0.999999021000
Case #821: 0.986632966596
Case #822: 0.072443342815
Case #823: 1.000000000000
Case #824: 1.000000000000
Case #825: 0.999999851616
Case #826: 0.990629290002
Case #827: 1.000000000000
Case #828: 1.000000000000
Case #829: 0.999999999998
Case #830: 0.143940464387
Case #831: 0.999999999999
Case #832: 0.911458260197
Case #833: 1.000000000000
Case #834: 0.997970722392
Case #835: 0.920508441789
Case #836: 0.999080513190
Case #837: 0.999939645775
Case #838: 0.406616413838
Case #839: 0.809758285522
Case #840: 1.000000000000
Case #841: 0.999999996273
Case #842: 1.000000000000
Case #843: 0.998793390001
Case #844: 0.890627007240
Case #845: 1.000000000000
Case #846: 1.000000000000
Case #847: 0.999993947408
Case #848: 0.838734511669
Case #849: 0.999861819475
Case #850: 0.999991387142
Case #851: 0.947137236595
Case #852: 0.999999874030
Case #853: 0.998530844973
Case #854: 0.999999029997
Case #855: 1.000000000000
Case #856: 0.127333395603
Case #857: 0.999976022134
Case #858: 0.791346572834
Case #859: 0.999999699700
Case #860: 0.999988121143
Case #861: 0.999950275905
Case #862: 0.984375000000
Case #863: 0.721233782629
Case #864: 0.999999999180
Case #865: 0.999999884622
Case #866: 0.999999895146
Case #867: 0.983353899114
Case #868: 0.992523607790
Case #869: 0.095589423108
Case #870: 1.000000000000
Case #871: 1.000000000000
Case #872: 0.995848511804
Case #873: 0.993738320067
Case #874: 0.999999999926
Case #875: 0.999999998692
Case #876: 0.312773403754
Case #877: 0.977055138224
Case #878: 0.997731276862
Case #879: 1.000000000000
Case #880: 0.978541092897
Case #881: 0.999999507609
Case #882: 0.703043367511
Case #883: 0.999875038862
Case #884: 0.885453835524
Case #885: 1.000000000000
Case #886: 0.977958256481
Case #887: 0.992815473674
Case #888: 0.999996651020
Case #889: 0.774635456921
Case #890: 1.000000000000
Case #891: 0.999999999714
Case #892: 0.804582748642
Case #893: 0.988465409512
Case #894: 1.000000000000
Case #895: 0.252274460567
Case #896: 0.999656800000
Case #897: 0.999998996684
Case #898: 0.965679168701
Case #899: 1.000000000000
Case #900: 1.000000000000
Case #901: 0.999996651020
Case #902: 0.999996343995
Case #903: 0.147070000000
Case #904: 1.000000000000
Case #905: 0.748500000000
Case #906: 0.999684618212
Case #907: 0.999233365059
Case #908: 1.000000000000
Case #909: 0.999999995750
Case #910: 0.440218236328
Case #911: 1.000000000000
Case #912: 1.000000000000
Case #913: 1.000000000000
Case #914: 0.999999999364
Case #915: 1.000000000000
Case #916: 0.999999999988
Case #917: 0.000000215503
Case #918: 0.998577198946
Case #919: 0.988829895288
Case #920: 0.001475896007
Case #921: 0.999995664002
Case #922: 0.999999941253
Case #923: 0.999999954705
Case #924: 0.999953619427
Case #925: 1.000000000000
Case #926: 1.000000000000
Case #927: 0.970456163962
Case #928: 1.000000000000
Case #929: 0.999999992787
Case #930: 1.000000000000
Case #931: 0.999999410305
Case #932: 0.994938494305
Case #933: 0.999999999966
Case #934: 0.999999999504
Case #935: 0.999999790976
Case #936: 1.000000000000
Case #937: 0.999999553687
Case #938: 0.991401328740
Case #939: 0.999999998180
Case #940: 0.396071721706
Case #941: 0.999320901963
Case #942: 1.000000000000
Case #943: 0.000000000000
Case #944: 0.423852237654
Case #945: 0.662302970886
Case #946: 0.464676116138
Case #947: 0.999999007710
Case #948: 1.000000000000
Case #949: 1.000000000000
Case #950: 0.999999963297
Case #951: 0.999999998469
Case #952: 0.752962718066
Case #953: 1.000000000000
Case #954: 1.000000000000
Case #955: 1.000000000000
Case #956: 1.000000000000
Case #957: 0.999999999987
Case #958: 1.000000000000
Case #959: 0.999999671953
Case #960: 0.999985628150
Case #961: 0.999738101811
Case #962: 0.999999999994
Case #963: 0.966494509514
Case #964: 0.989149591450
Case #965: 0.005234711995
Case #966: 0.952554901576
Case #967: 0.983067996412
Case #968: 1.000000000000
Case #969: 1.000000000000
Case #970: 0.933512135938
Case #971: 1.000000000000
Case #972: 0.999998842383
Case #973: 0.934658592690
Case #974: 0.999999999830
Case #975: 0.999999999993
Case #976: 1.000000000000
Case #977: 0.092488207378
Case #978: 1.000000000000
Case #979: 0.810527516298
Case #980: 0.999999999928
Case #981: 0.999999999946
Case #982: 0.999999996958
Case #983: 0.999999994893
Case #984: 0.729661535879
Case #985: 1.000000000000
Case #986: 0.624681987957
Case #987: 0.009258046875
Case #988: 0.994781660156
Case #989: 0.999100391939
Case #990: 1.000000000000
Case #991: 1.000000000000
Case #992: 1.000000000000
Case #993: 0.999999999648
Case #994: 0.000000000000
Case #995: 0.994284349300
Case #996: 1.000000000000
Case #997: 0.930931000000
Case #998: 0.963796560856
Case #999: 0.999999999996
Case #1000: 1.000000000000
