claim6-full/per_seed.csv

seed,P2E_coverage,P2E_length,AoN_coverage,AoN_length,F1_minus_log_coverage,F1_minus_log_length,F2_inverse_sqrt_minus_one_coverage,F2_inverse_sqrt_minus_one_length,F3_paper_formula_coverage,F3_paper_formula_length,F3_author_code_pow_coverage,F3_author_code_pow_length,runtime_seconds
45,0.8490566037735849,8.746134915125891,0.8490566037735849,8.825014198270967,0.8867924528301887,65.59916703476998,0.9056603773584906,51.889947624155994,0.8773584905660378,79.86369659872531,0.8867924528301887,60.91058244462675,6.135964313521981
46,0.8490566037735849,9.550703603205655,0.8490566037735849,9.77787593866347,0.9150943396226415,66.73187354073326,0.9056603773584906,53.820912475547416,0.8962264150943396,80.09402410550892,0.8773584905660378,57.796428346059194,6.014994263648987
47,0.8962264150943396,9.361393323657474,0.8962264150943396,9.512841547296016,0.9056603773584906,72.76140594434277,0.9150943396226415,52.322206095791,0.9056603773584906,85.40102227550958,0.8867924528301887,59.32668643907365,6.005024898797274
48,0.8773584905660378,10.011358616772888,0.8773584905660378,10.147030983782418,0.8962264150943396,74.2506468101218,0.8962264150943396,62.14425443301572,0.9056603773584906,86.6031425506405,0.8679245283018868,68.32207988893796,6.20912542194128
49,0.8584905660377359,9.099514103615824,0.8584905660377359,9.175238215435098,0.8584905660377359,64.41597778759386,0.9056603773584906,52.12658547359122,0.8584905660377359,76.67697355966429,0.8679245283018868,57.41149744431123,6.074985932558775
50,0.9056603773584906,9.626427715024924,0.9056603773584906,9.661134599608754,0.9339622641509434,69.74190698554932,0.9528301886792453,56.72051492396038,0.9150943396226415,84.63116047201362,0.9433962264150944,61.10935823815234,6.089001283049583
51,0.8867924528301887,10.178582697040449,0.8867924528301887,10.282703350791948,0.8773584905660378,73.27885404177447,0.9056603773584906,59.7021518268442,0.8773584905660378,79.98990345175744,0.9056603773584906,62.822616268063356,5.9870509803295135
52,0.9150943396226415,10.295324036095158,0.9150943396226415,10.430996403104688,0.9150943396226415,70.75787215245788,0.9339622641509434,54.16798132138575,0.9245283018867925,85.41048778948696,0.8962264150943396,59.85044487915694,5.944332974031568
53,0.8867924528301887,10.175427525714646,0.8867924528301887,10.449927431059509,0.9150943396226415,72.30706127342714,0.9339622641509434,54.95677415283651,0.9150943396226415,84.64062598599104,0.9245283018867925,60.83170316148168,5.930277498438954
54,0.9245283018867925,10.225910266927494,0.9245283018867925,10.323720578027388,0.9245283018867925,67.95292484381902,0.9339622641509434,57.43673881491764,0.9056603773584906,81.99028207231652,0.9245283018867925,61.68675459077428,5.890667447820306
55,0.839622641509434,8.85025556887739,0.8490566037735849,8.922824509370859,0.8490566037735849,64.00265034391367,0.8867924528301887,51.697482173282005,0.839622641509434,78.0620937716918,0.8584905660377359,58.90073831009025,5.939940711483359
56,0.9056603773584906,9.967186218211646,0.9056603773584906,10.093393071243769,0.9150943396226415,64.95551208430618,0.9245283018867925,55.9033255505774,0.8962264150943396,80.8039376538146,0.8867924528301887,58.143497191897524,5.967553040012717
57,0.9150943396226415,10.513030857575565,0.9150943396226415,10.613996340001261,0.9433962264150944,65.35306367135736,0.9528301886792453,52.63456805704549,0.9433962264150944,83.77295387139522,0.9245283018867925,57.077049283776105,6.141695208847523
58,0.8584905660377359,9.083738246986812,0.8584905660377359,9.168927872783494,0.8867924528301887,65.58023600681517,0.8773584905660378,50.16722408026755,0.8773584905660378,78.57638669779769,0.8679245283018868,56.894049346879534,5.99387339130044
59,0.9339622641509434,10.386824004543445,0.9433962264150944,10.500410172272353,0.8962264150943396,65.63071874802802,0.9150943396226415,53.003723102164436,0.8962264150943396,82.81693695967691,0.9056603773584906,57.083359626427715,6.161889834329486
60,0.9339622641509434,9.689531141540986,0.9433962264150944,9.850444879156935,0.9150943396226415,65.614942891399,0.9245283018867925,51.615447718811126,0.9150943396226415,82.80116110304789,0.9056603773584906,55.69192907174859,6.657937858253717
61,0.8962264150943396,9.749479396731243,0.9056603773584906,9.844134536505333,0.8490566037735849,66.97166656149429,0.8679245283018868,51.618602890136934,0.8679245283018868,78.86350728844576,0.8490566037735849,56.209377169180286,6.556997107341886
62,0.8962264150943396,9.512841547296016,0.8962264150943396,9.66428977093456,0.8679245283018868,67.6121663406323,0.8867924528301887,52.18337855745566,0.8679245283018868,77.4247491638796,0.8773584905660378,58.76506594308071,6.152369920164347
63,0.8679245283018868,9.796806966618288,0.8679245283018868,10.033444816053512,0.9150943396226415,69.03830377989524,0.9339622641509434,55.05458446393639,0.9245283018867925,86.67255631980818,0.8962264150943396,60.72127216507857,6.32930089533329
64,0.9056603773584906,9.487600176689593,0.9150943396226415,9.708462169495803,0.9150943396226415,66.4510632927368,0.9433962264150944,53.50539534296713,0.9056603773584906,80.16028270335079,0.9245283018867925,57.55348015397236,6.13410485163331
65,0.9056603773584906,9.222565785322143,0.9056603773584906,9.367703666309081,0.9056603773584906,66.5457184325109,0.9150943396226415,55.060894806587996,0.9150943396226415,82.66548873603838,0.9245283018867925,60.91689278727835,6.0448633674532175
66,0.8867924528301887,10.875875560042912,0.8867924528301887,11.074651353568498,0.9245283018867925,67.0852527292232,0.9245283018867925,52.28749921120717,0.9339622641509434,83.84867798321449,0.9245283018867925,59.86937590711175,5.904155574738979
67,0.8301886792452831,9.191014072064112,0.839622641509434,9.345617467028458,0.9150943396226415,67.50489051555499,0.9056603773584906,56.0200668896321,0.8962264150943396,81.95873035905848,0.8867924528301887,59.78734145264088,5.947054082527757
68,0.8773584905660378,9.247807155928566,0.8773584905660378,9.355082981005868,0.839622641509434,58.18135924780715,0.8773584905660378,42.65791632485644,0.839622641509434,73.48394017795167,0.839622641509434,49.59613807029722,6.070414461195469
69,0.8962264150943396,9.875686249763362,0.8962264150943396,9.976651732189056,0.9150943396226415,70.29090679623904,0.9150943396226415,53.94080898592794,0.9056603773584906,86.19612544961191,0.8962264150943396,60.46254811636272,6.027421640232205
70,0.8867924528301887,9.402410550892911,0.8867924528301887,9.449738120779957,0.9245283018867925,69.58099324793336,0.9056603773584906,51.24944784501798,0.9433962264150944,88.25329715403547,0.9056603773584906,63.059254117498575,6.00770777463913
71,0.9339622641509434,9.94510001893103,0.9339622641509434,9.982962074840666,0.9245283018867925,72.55631980816558,0.9339622641509434,58.758755600429105,0.9339622641509434,86.0951599671862,0.9056603773584906,64.06259859910392,5.963897321373224
72,0.8018867924528302,9.310910582444627,0.8113207547169812,9.433962264150944,0.8679245283018868,67.69420079510317,0.8773584905660378,51.022275509560174,0.8679245283018868,80.34328264024737,0.8773584905660378,59.6043415157443,5.924113392829895
73,0.9150943396226415,9.02063482047075,0.9150943396226415,9.156307187480278,0.8773584905660378,57.544014639994955,0.8962264150943396,42.59796806966619,0.8773584905660378,79.26105887549693,0.8962264150943396,49.01243137502367,5.984422979876399
74,0.8679245283018868,9.014324477819144,0.8679245283018868,9.127910645548052,0.839622641509434,65.75061525840854,0.8584905660377359,52.98794724553544,0.8301886792452831,72.55947497949138,0.8584905660377359,58.78084179970972,6.112321557477117
75,0.9056603773584906,9.762100082034452,0.9056603773584906,9.83151385120212,0.9056603773584906,67.80778696283208,0.9150943396226415,55.17132580299111,0.8867924528301887,84.46078122042027,0.9150943396226415,58.68618665993564,6.17742208391428
76,0.9339622641509434,9.623272543699121,0.9339622641509434,9.711617340821604,0.9150943396226415,70.02271723354578,0.9528301886792453,53.98182621316338,0.9245283018867925,82.82009213100272,0.9150943396226415,60.626617025304476,5.96037626825273
77,0.9528301886792453,10.027134473401906,0.9528301886792453,10.181737868366252,0.9339622641509434,62.10323720578027,0.9528301886792453,48.9398624345302,0.9150943396226415,83.7508676721146,0.9339622641509434,52.83018867924528,6.090909296646714
78,0.8867924528301887,9.94825519025683,0.8867924528301887,10.05237584400833,0.8773584905660378,67.26825266611976,0.9056603773584906,59.36454849498328,0.8773584905660378,80.83233419574685,0.8962264150943396,64.00265034391369,6.089185424149036
79,0.839622641509434,9.121600302896445,0.839622641509434,9.178393386760899,0.839622641509434,70.36978607938411,0.9150943396226415,55.07351549189121,0.8679245283018868,83.69722975957593,0.8773584905660378,61.33022023095853,5.900860212743282
80,0.9433962264150944,9.844134536505333,0.9528301886792453,9.951410361582633,0.9433962264150944,63.64927115542374,0.9622641509433962,50.39439641572538,0.9339622641509434,81.24881681075283,0.9528301886792453,55.13977408973307,5.944956805557013
81,0.8584905660377359,8.97961759323531,0.8584905660377359,9.030100334448159,0.9150943396226415,67.03161481668455,0.9339622641509434,53.56534359815739,0.9150943396226415,85.59033255505774,0.9056603773584906,59.65166908563135,5.965363442897797
82,0.8207547169811321,9.389789865589702,0.8301886792452831,9.550703603205655,0.8962264150943396,65.25840853158327,0.9056603773584906,52.5336025746198,0.8773584905660378,79.47561052565155,0.8867924528301887,54.55606739445951,6.2698512729257345
83,0.9245283018867925,10.424686060453084,0.9245283018867925,10.48463431564334,0.8773584905660378,64.29292610588755,0.8867924528301887,52.827033507919474,0.8773584905660378,80.11295513346374,0.8867924528301887,59.89461727771818,6.0315541084855795
84,0.9433962264150944,10.819082476178457,0.9528301886792453,11.021013441029847,0.9433962264150944,66.81706316652995,0.9716981132075472,55.75818766959046,0.8962264150943396,81.04688584590143,0.9339622641509434,61.062030668265294,6.256564432755113
85,0.8584905660377359,9.916703476998801,0.8584905660377359,10.005048274121286,0.8962264150943396,69.12664857701773,0.9150943396226415,55.93803243516123,0.8962264150943396,83.4448160535117,0.8867924528301887,63.772322837130055,5.97908253595233
86,0.9339622641509434,9.52546223259923,0.9339622641509434,9.563324288508866,0.8773584905660378,60.57928945541743,0.9056603773584906,51.978292421278475,0.8584905660377359,72.07042342399193,0.8867924528301887,54.63179150627878,6.043121587485075
87,0.8679245283018868,10.500410172272353,0.8679245283018868,10.68656528049473,0.8679245283018868,60.83801350413328,0.8867924528301887,52.61563702909068,0.8490566037735849,75.50009465513978,0.8773584905660378,55.49946362087461,6.025871889665723
88,0.8867924528301887,10.109168927872783,0.8867924528301887,10.27639300814034,0.8867924528301887,64.4633053574809,0.8773584905660378,52.53991291727141,0.8679245283018868,81.66529942575882,0.8584905660377359,58.99223827853852,6.187297869473696
89,0.8584905660377359,9.105824446267432,0.8584905660377359,9.291979554489808,0.8867924528301887,68.96257966807597,0.8962264150943396,57.894238657159086,0.8867924528301887,80.87650659430807,0.8867924528301887,60.70865147977535,6.350813817232847
90,0.9433962264150944,10.298479207420964,0.9528301886792453,10.339496434656402,0.9433962264150944,66.62775288698175,0.9622641509433962,53.35079194800279,0.9150943396226415,81.05635135987886,0.9528301886792453,58.36120401337793,6.0186879727989435
91,0.8867924528301887,9.112134788919038,0.8867924528301887,9.209945100018931,0.8773584905660378,61.35230643023916,0.8867924528301887,48.26465577080835,0.8867924528301887,76.13428409162618,0.8773584905660378,53.85561936013126,6.235387898981571
92,0.8962264150943396,10.118634441850192,0.9056603773584906,10.26692749416293,0.8773584905660378,61.47851328327128,0.8867924528301887,45.652173913043484,0.8679245283018868,77.39635262194737,0.8773584905660378,53.00687827349025,6.046325899660587
93,0.8113207547169812,8.806083170316146,0.8113207547169812,8.910203824067647,0.9150943396226415,70.69476872594183,0.9339622641509434,57.815359374014,0.9056603773584906,84.7100397551587,0.8962264150943396,63.567236700952854,5.994190176948905
94,0.8490566037735849,9.358238152331671,0.8584905660377359,9.69584148419259,0.8867924528301887,70.63166529942575,0.8867924528301887,56.972928630024605,0.8773584905660378,81.80728213541995,0.8867924528301887,63.251719568372565,6.000251768156886
95,0.9339622641509434,9.515996718621821,0.9339622641509434,9.667444942260362,0.9245283018867925,70.9913548305673,0.9339622641509434,58.282324730232844,0.9245283018867925,78.1662144254433,0.9150943396226415,64.557960497255,5.981157787144184
96,0.8584905660377359,9.291979554489808,0.8679245283018868,9.456048463431564,0.8584905660377359,56.09579100145138,0.8867924528301887,42.05843377295386,0.8584905660377359,74.19700889758313,0.8679245283018868,50.8392755726636,6.066659644246101
97,0.8867924528301887,9.131065816873857,0.8867924528301887,9.228876127973749,0.9433962264150944,70.18994131381335,0.9339622641509434,53.70417113649272,0.9433962264150944,82.77907490376727,0.9245283018867925,58.894427967438624,6.091052699834108
98,0.8962264150943396,9.676910456237772,0.8962264150943396,9.784186281315073,0.8773584905660378,59.44658294945415,0.8962264150943396,47.34650091499967,0.8773584905660378,79.72486906038998,0.8773584905660378,53.07629204265792,6.227111691609025
99,0.9056603773584906,10.92951347258156,0.9056603773584906,11.115668580803938,0.9150943396226415,69.08247617845649,0.9245283018867925,56.218842683157696,0.9245283018867925,86.43276329904712,0.8962264150943396,61.13144443743295,6.271836347877979
100,0.9056603773584906,9.730548368776423,0.9056603773584906,9.803117309269892,0.8962264150943396,69.35697608380136,0.9056603773584906,57.36416987442417,0.9056603773584906,84.51757430428472,0.9056603773584906,61.6993752760775,6.140158290043473
101,0.8773584905660378,9.191014072064114,0.8773584905660378,9.317220925096233,0.8867924528301887,66.91171830630404,0.9056603773584906,48.76632801161103,0.8962264150943396,80.24862750047328,0.8962264150943396,55.862308323341956,6.208320176228881
102,0.9339622641509434,10.437306745756295,0.9339622641509434,10.658168738562503,0.9716981132075472,72.24395784691109,0.9716981132075472,57.83744557329463,0.9245283018867925,85.52091878589007,0.9622641509433962,62.450306051618604,5.905659953132272
103,0.8773584905660378,9.56647945983467,0.8773584905660378,9.724238026124818,0.8773584905660378,64.83246040259986,0.9056603773584906,48.709534927746574,0.8584905660377359,76.46873225216129,0.8679245283018868,53.71048147914432,5.760876253247261
104,0.9056603773584906,9.058496876380387,0.9056603773584906,9.099514103615824,0.8962264150943396,65.35937401400896,0.9245283018867925,51.29993058623083,0.8867924528301887,76.66119770303527,0.9150943396226415,55.5941187606487,5.8130830600857735
105,0.9056603773584906,9.32668643907364,0.9056603773584906,9.411876064870322,0.9150943396226415,64.4633053574809,0.9245283018867925,46.57032876885215,0.9056603773584906,81.10052375844009,0.9056603773584906,49.8895690035969,5.712949996814132
106,0.9150943396226415,10.064996529311543,0.9245283018867925,10.20066889632107,0.8773584905660378,66.05351170568562,0.9150943396226415,50.72253423360888,0.8867924528301887,80.93329967817252,0.8773584905660378,59.982962074840664,5.785305857658386
107,0.8584905660377359,9.086893418312615,0.8584905660377359,9.16577270145769,0.8773584905660378,61.39963400012621,0.8867924528301887,51.94043036536884,0.8773584905660378,79.77850697292864,0.8773584905660378,54.48665362529185,5.88839608989656
108,0.9056603773584906,9.42134157884773,0.9056603773584906,9.54754843187985,0.9056603773584906,70.19625165646495,0.9339622641509434,55.77396352621947,0.8962264150943396,81.8325235060264,0.9056603773584906,60.52249637155298,5.95122954249382
109,0.9528301886792453,12.043288950590016,0.9528301886792453,12.513409478134662,0.9622641509433962,67.49226983025179,0.9716981132075472,55.74556698428725,0.9622641509433962,83.09143686502178,0.9528301886792453,58.84394522622578,5.935567444190383
110,0.8773584905660378,9.973496560863254,0.8867924528301887,10.147030983782418,0.8962264150943396,63.75654698050104,0.8962264150943396,50.003155171325794,0.8867924528301887,76.44349088155487,0.8773584905660378,54.48034328264025,5.711631700396538
111,0.8962264150943396,9.033255505773965,0.8962264150943396,9.121600302896448,0.8962264150943396,63.85751246292673,0.9056603773584906,47.80715592856692,0.8867924528301887,81.2267306114722,0.8867924528301887,51.71956837256263,5.768623216077685
112,0.8679245283018868,9.913548305672997,0.8679245283018868,10.00504827412128,0.8962264150943396,71.8432510885341,0.9056603773584906,58.38329021265855,0.9056603773584906,83.01886792452831,0.8584905660377359,62.55127153404429,5.803892886266112
113,0.8584905660377359,9.686375970215181,0.8584905660377359,9.768410424686058,0.8867924528301887,68.00340758503187,0.9056603773584906,55.62567047390674,0.8773584905660378,80.91752382154351,0.8867924528301887,60.22591026692749,5.691405663266778
114,0.8584905660377359,10.405755032498266,0.8584905660377359,10.648703224585095,0.9245283018867925,73.84362970909321,0.9150943396226415,61.286047832397294,0.9528301886792453,90.086451694327,0.9056603773584906,66.6750804568688,5.753728052601218
115,0.9150943396226415,9.85360005048274,0.9150943396226415,9.954565532908436,0.9245283018867925,70.63797564207736,0.9339622641509434,55.61620495992932,0.9056603773584906,85.4325739887676,0.9150943396226415,64.0373572284975,5.628381170332432
116,0.9433962264150944,9.964031046885845,0.9433962264150944,10.121789613175995,0.8867924528301887,62.39351296775415,0.9056603773584906,49.38158642014261,0.8962264150943396,75.92604278412317,0.9056603773584906,55.00410172272355,5.6404672265052795
117,0.8867924528301887,9.746324225405438,0.8867924528301887,9.840979365179527,0.9245283018867925,71.13333754022844,0.9433962264150944,58.95437622262889,0.9245283018867925,84.89619486338108,0.9245283018867925,65.51397740897332,5.93037180043757
118,0.8962264150943396,9.869375907111756,0.8962264150943396,9.94825519025683,0.8867924528301887,71.43307881617973,0.9150943396226415,58.676721145958226,0.8962264150943396,85.68498769483183,0.9245283018867925,65.21108096169623,6.0002294685691595
119,0.8679245283018868,9.408720893544519,0.8679245283018868,9.465513977408975,0.9150943396226415,69.47687259418186,0.9056603773584906,56.5312046444122,0.9245283018867925,82.26478197766137,0.8867924528301887,63.630340127468926,6.016416914761066
120,0.8679245283018868,8.793462485012936,0.8679245283018868,8.856565911528996,0.8962264150943396,63.160219599924275,0.9150943396226415,52.63141288571969,0.8773584905660378,76.98302517826718,0.8679245283018868,55.963273805767656,6.171597968786955
121,0.8962264150943396,9.553858774531458,0.9056603773584906,9.765255253360257,0.9339622641509434,67.65002839654193,0.9245283018867925,49.49517258787152,0.9339622641509434,81.20148924086577,0.9056603773584906,58.98908310721273,5.968348579481244
122,0.9339622641509434,9.743169054079637,0.9433962264150944,9.932479333627816,0.9433962264150944,67.12311478513283,0.9433962264150944,51.621758061462735,0.9528301886792453,85.40102227550958,0.9339622641509434,57.73016974821733,6.711104936897755
123,0.8962264150943396,9.560169117183063,0.8962264150943396,9.623272543699123,0.8962264150943396,64.38758124566164,0.9056603773584906,50.30605161860289,0.8867924528301887,80.0530068782735,0.9056603773584906,55.4836877642456,6.089912544935942
124,0.8867924528301887,9.509686375970215,0.8867924528301887,9.575944973812078,0.9150943396226415,59.664289770934566,0.9150943396226415,49.359500220861996,0.9150943396226415,74.08973307250584,0.9150943396226415,55.18079131696851,6.174041552469134
125,0.9245283018867925,9.982962074840664,0.9245283018867925,10.099703413895375,0.8867924528301887,63.91746071811699,0.9150943396226415,57.9037041711365,0.8490566037735849,73.9351296775415,0.9056603773584906,60.63608253928189,6.102983519434929
126,0.8773584905660378,9.818893165898906,0.8773584905660378,10.027134473401905,0.9150943396226415,64.18249510948445,0.9245283018867925,51.02543068088596,0.8867924528301887,80.95538587745315,0.8962264150943396,59.601186344418494,6.092031799256802
127,0.8679245283018868,9.724238026124818,0.8773584905660378,9.929324162302011,0.8584905660377359,65.35621884268315,0.8867924528301887,55.212343030226535,0.8584905660377359,77.36164573736353,0.8490566037735849,60.29216886476935,6.123761050403118
128,0.9056603773584906,10.124944784501796,0.9056603773584906,10.24484129488231,0.8867924528301887,66.5425632611851,0.9150943396226415,55.581498075345486,0.8867924528301887,79.85738625607371,0.8962264150943396,59.982962074840664,6.1736664567142725
129,0.8962264150943396,9.730548368776423,0.8962264150943396,9.86306556446015,0.9245283018867925,75.08992238278539,0.9150943396226415,60.815927304852664,0.9150943396226415,85.3536947056225,0.9056603773584906,66.10083927557267,6.159837519749999
130,0.9528301886792453,10.544582570833596,0.9528301886792453,10.705496308449549,0.8679245283018868,64.38127090301003,0.8962264150943396,53.93134347195052,0.8490566037735849,72.98226793714899,0.8773584905660378,57.55032498264655,6.085381088778377
131,0.9245283018867925,9.232031299299551,0.9245283018867925,9.320376096422036,0.9528301886792453,66.93064933425886,0.9339622641509434,52.28749921120717,0.9433962264150944,83.69407458825015,0.9245283018867925,57.76803180412696,6.016037568449974
132,0.8962264150943396,9.09320376096422,0.9056603773584906,9.175238215435098,0.8584905660377359,61.929702782861106,0.9150943396226415,47.53265602322207,0.8867924528301887,75.5253360257462,0.8679245283018868,52.49574051871015,5.98748329654336
133,0.9245283018867925,10.84432384678488,0.9245283018867925,10.986306556446015,0.9622641509433962,71.13649271155424,0.9622641509433962,56.1147220294062,0.9433962264150944,86.44538398435036,0.9245283018867925,63.422098819965925,6.115448452532291
134,0.9339622641509434,10.005048274121284,0.9339622641509434,10.266927494162932,0.9339622641509434,70.20256199911655,0.9433962264150944,57.28529059127911,0.9245283018867925,81.81359247807157,0.9433962264150944,60.48463431564333,6.130328780040145
135,0.8867924528301887,11.352306430239162,0.8867924528301887,11.510064996529309,0.9433962264150944,71.70442355019877,0.9622641509433962,59.919858648324606,0.9622641509433962,90.8089859279359,0.9245283018867925,64.31501230516817,6.300189496949315
136,0.8773584905660378,8.484255695084242,0.8773584905660378,8.563134978229318,0.8962264150943396,68.46406259859911,0.8962264150943396,55.344860225910274,0.8867924528301887,78.99917965545528,0.8867924528301887,62.289392314002654,5.9049076680094
137,0.9150943396226415,9.916703476998803,0.9150943396226415,9.99558276014388,0.9150943396226415,68.84583832902126,0.9339622641509434,59.74001388275383,0.9056603773584906,80.89543762226288,0.8962264150943396,65.86104625481164,6.123039869591594
138,0.9622641509433962,10.67709976651732,0.9622641509433962,10.74966870701079,0.9339622641509434,65.93361519530511,0.9339622641509434,56.08948065879978,0.9339622641509434,81.94295450242947,0.9339622641509434,59.049031362402985,6.218366300687194
139,0.9339622641509434,11.140909951410363,0.9339622641509434,11.241875433836057,0.9433962264150944,76.53499085000314,0.9339622641509434,64.54849498327759,0.9339622641509434,88.14602132895816,0.9339622641509434,68.37256263015081,6.184081928804517
140,0.8773584905660378,11.409099514103614,0.8773584905660378,11.560547737742159,0.8962264150943396,71.74544077743421,0.9150943396226415,56.50596327380577,0.8867924528301887,82.85795418691234,0.8773584905660378,61.917082097557895,6.129371110349894
141,0.8584905660377359,9.415031236196125,0.8584905660377359,9.58856565911529,0.9339622641509434,75.64523253612671,0.9433962264150944,62.47239225089922,0.9339622641509434,90.79636524263267,0.9245283018867925,68.33785574556698,6.417745979502797
142,0.9150943396226415,9.452893292105761,0.9150943396226415,9.531772575250836,0.9433962264150944,70.035337918849,0.9622641509433962,50.99072379630215,0.9433962264150944,83.56155739256641,0.9433962264150944,57.982583454281574,6.036977645009756
143,0.9056603773584906,9.279358869186597,0.9150943396226415,9.358238152331671,0.9245283018867925,65.5045118949959,0.9245283018867925,49.952672430112955,0.9150943396226415,80.83548936707263,0.9056603773584906,52.64718874234871,5.99714719504118
144,0.9245283018867925,10.225910266927494,0.9245283018867925,10.279548179466143,0.9056603773584906,66.88963210702342,0.9245283018867925,52.44210260617151,0.8867924528301887,79.4345932984161,0.9150943396226415,59.184703729412504,6.099954351782799