metagraphoptimization.jl/data/results_home.csv

process_name,graph_gen_time,optimization_time,function_generation_time,graph_nodes,graph_edges,graph_mem,cpu_threads,n_inputs,nflops_likwid,cpu_time,cpu_rate,cpu_gflops,gpu_name,gpu_time,gpu_rate,gpu_gflops
QED Process: 'ke->ke' not optimized,0.00019665,0.0,0.072381258,26,29,6532.0,1,100000,5683,0.0824823,1.2123813230232426e6,6.889963058741088,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.00019665,0.000110042,0.003403799,26,29,6948.0,1,100000,5683,0.082738295,1.2086301754223965e6,6.868645286925479,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000622632,0.0,0.078001544,77,101,19175.0,1,100000,23078,0.257568263,388246.59076883236,8.959954821763112,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000622632,0.049578764,0.00620289,61,79,16863.0,1,100000,16308,0.168163394,594659.7390868551,9.697711025028433,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005311179,0.0,0.033756191,356,493,85898.0,1,100000,120271,1.150337569,86931.00416335269,10.455278801730591,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005311179,0.002622341,0.013491686,148,221,43962.0,1,100000,43511,0.421484201,237256.81713037685,10.323281370159826,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.026338818,0.0,0.203131043,2183,3015,504653.0,1,100000,749880,7.125628257,14033.850264608323,10.52370363642449,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.026338818,0.038573127,0.055940031,625,988,186117.0,1,100000,190720,2.038312244,49060.19688316213,9.356760749556681,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.467320314,0.0,3.413432692,15866,21617,3.982352e6,1,100000,5405897,52.403777069,1908.2593964234698,10.315853746347447,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.467320314,0.25668962,0.225824948,2234,3977,1.145088e6,1,100000,648737,6.812051568,14679.86538295683,9.523371828943265,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,16.035909195,7.665939615,3.05702573,15143,27212,6.101363e6,1,100000,4383934,50.231122779,1990.7976264031818,8.727525401508206,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.008560239,0.0,0.007682685,34,37,8624.0,1,100000,41,0.03024704,3.3061086307949475e6,0.13555045386259285,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.008560239,0.000130372,0.003397626,34,37,9296.0,1,100000,41,0.02990487,3.343936957425329e6,0.1371014152544385,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000189085,0.0,0.023001858,280,385,69428.0,1,100000,555,0.05285058,1.8921268224492522e6,1.050130386459335,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000189085,0.001475527,0.016071504,200,285,57156.0,1,100000,899,0.041354174,2.41813559134321e6,2.173903896617546,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.012556411,0.0,1.040277287,7854,11241,1.982968e6,1,100000,15833,1.983044822,50427.503650242754,0.7984186652942935,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.012556411,0.158031895,0.559544102,4998,7671,1.507432e6,1,100000,27893,2.043067013,48946.020548372486,1.3652513511557538,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000204986,0.0,0.071620201,26,29,6532.0,2,100000,5683,0.055272834,1.809207032879841e6,10.281723567856137,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000204986,0.000106436,0.003035027,26,29,6948.0,2,100000,5683,0.054903251,1.8213857682125235e6,10.350935320751772,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000650255,0.0,0.078910689,77,101,19175.0,2,100000,23078,0.146648869,681900.9289461346,15.736909638218895,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000650255,0.046799102,0.006051157,61,79,16863.0,2,100000,16308,0.102055815,979855.9739099629,15.979491222523675,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005481979,0.0,0.033766492,356,493,85898.0,2,100000,120271,0.608586885,164315.0755705161,19.762338453941542,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005481979,0.002701463,0.012951494,148,221,43962.0,2,100000,43511,0.223412826,447601.8758206836,19.475605218833763,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.027135956,0.0,0.215225126,2183,3015,504653.0,2,100000,749880,3.635591963,27505.837018487215,20.626077063423192,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.027135956,0.018974798,0.054606789,625,988,186117.0,2,100000,190720,1.13190931,88346.30046465472,16.849406424618948,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.468394997,0.0,3.316599541,15866,21617,3.982352e6,2,100000,5405897,27.082867868,3692.371150920685,19.960578127648677,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.468394997,0.245220662,0.227063823,2234,3977,1.138176e6,2,100000,648737,3.695895951,27057.0387602343,17.55290215419812,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,13.862538591,6.973572072,3.192370886,15143,27212,6.101363e6,2,100000,4383934,26.433906364,3783.0201341784555,16.58451058890949,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.773e-5,0.0,0.008041519,34,37,8624.0,2,100000,41,0.028219999,3.543586234712482e6,0.14528703562321177,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.773e-5,0.000133137,0.003707494,34,37,9296.0,2,100000,41,0.027671641,3.6138080860473723e6,0.14816613152794228,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000202732,0.0,0.025338438,280,385,69428.0,2,100000,555,0.057648018,1.7346650148492528e6,0.9627390832413353,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000202732,0.00136251,0.017705538,200,285,57156.0,2,100000,899,0.033795628,2.958962620845513e6,2.6601073961401163,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003273657,0.0,1.087775863,7854,11241,1.982968e6,2,100000,15833,1.119657899,89312.9947007144,1.414092645096411,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003273657,0.173125065,0.59992154,4998,7671,1.507432e6,2,100000,27893,1.124877472,88898.57116811385,2.4796478455921998,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000210286,0.0,0.084380396,26,29,6532.0,3,100000,5683,0.045421003,2.201624653687194e6,12.511832906904324,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000210286,0.000106675,0.003398638,26,29,6948.0,3,100000,5683,0.044431443,2.250658390725685e6,12.790491634494066,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000623874,0.0,0.079180302,77,101,19175.0,3,100000,23078,0.103375944,967343.0406594401,22.324342692338558,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000623874,0.022584183,0.006219111,61,79,16863.0,3,100000,16308,0.079537561,1.2572676197601783e6,20.50352034304899,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005507448,0.0,0.03403981,356,493,85898.0,3,100000,120271,0.415454139,240700.45430453637,28.949284339660892,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005507448,0.002588967,0.013112074,148,221,43962.0,3,100000,43511,0.157101963,636529.2838511508,27.696025669647423,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.02641195,0.0,0.202098557,2183,3015,504653.0,3,100000,749880,2.490307124,40155.689648181724,30.11194855337851,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.02641195,0.028889571,0.054649993,625,988,186117.0,3,100000,190720,0.794878547,125805.38294487396,23.99360263524636,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.4947072,0.0,3.290070629,15866,21617,3.982352e6,3,100000,5405897,18.467092823,5415.037491740667,29.273134931488396,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.4947072,0.255108626,0.226165271,2234,3977,1.138176e6,3,100000,648737,2.728612972,36648.656671415985,23.775339583044392,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.201904504,7.506362023,3.223142719,15143,27212,6.101363e6,3,100000,4383934,18.90718226,5288.9953999946265,23.186606759880043,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.0926e-5,0.0,0.008066998,34,37,8624.0,3,100000,41,0.026953154,3.710140935639666e6,0.15211577836122628,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.0926e-5,0.000127906,0.003653991,34,37,9296.0,3,100000,41,0.026891605,3.7186326364677753e6,0.15246393809517877,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000175288,0.0,0.025111039,280,385,69428.0,3,100000,555,0.030766684,3.25026902476718e6,1.803899308745785,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000175288,0.001399621,0.01748941,200,285,57156.0,3,100000,899,0.03129897,3.194993317671476e6,2.872298992586657,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004333604,0.0,1.155472435,7854,11241,1.982968e6,3,100000,15833,0.836011492,119615.5805953921,1.893873487566843,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004333604,0.198659763,0.60282031,4998,7671,1.507432e6,3,100000,27893,0.914295415,109373.83952647296,3.0507645059119106,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000199415,0.0,0.070793608,26,29,6532.0,4,100000,5683,0.040210377,2.4869202295715855e6,14.133167664655321,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000199415,0.000126905,0.003454968,26,29,6948.0,4,100000,5683,0.041220667,2.4259675371094793e6,13.786773513393172,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000663721,0.0,0.080346783,77,101,19175.0,4,100000,23078,0.110453804,905355.8716728308,20.893802806465587,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000663721,0.022581668,0.006154297,61,79,16863.0,4,100000,16308,0.065433734,1.5282636934642917e6,24.92292431301567,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005550922,0.0,0.034032145,356,493,85898.0,4,100000,120271,0.355187741,281541.24835068564,33.86124748038531,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005550922,0.002464536,0.012920443,148,221,43962.0,4,100000,43511,0.133729591,747777.6552834891,32.536553559039895,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.026860746,0.0,0.216342057,2183,3015,504653.0,4,100000,749880,1.990489966,50238.88676060777,37.673136404044556,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.026860746,0.018042117,0.054615127,625,988,186117.0,4,100000,190720,0.646573437,154661.47273847874,29.497036080682665,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.498043244,0.0,3.216718732,15866,21617,3.982352e6,4,100000,5405897,14.78739279,6762.517329466298,36.557472143809875,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.498043244,0.26833359,0.226585555,2234,3977,1.145088e6,4,100000,648737,2.228880527,44865.5721060997,29.105956651394802,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.52490455,7.36346994,3.230448983,15143,27212,6.101363e6,4,100000,4383934,15.145737093,6602.517882488375,28.94500263064879,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.1617e-5,0.0,0.007946445,34,37,8624.0,4,100000,41,0.027708462,3.6090057975790934e6,0.14796923770074283,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.1617e-5,0.000151953,0.003659953,34,37,9296.0,4,100000,41,0.027503787,3.6358629449828127e6,0.14907038074429532,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000201499,0.0,0.025004664,280,385,97076.0,4,100000,555,0.030051954,3.327570646487746e6,1.846801708800699,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000201499,0.00144058,0.017421279,200,285,84804.0,4,100000,899,0.031001547,3.225645481498068e6,2.899855287866763,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004075705,0.0,1.106278353,7854,11241,1.982968e6,4,100000,15833,0.747688444,133745.54709581682,2.1175932471680676,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004075705,0.2179023,0.603551358,4998,7671,1.507432e6,4,100000,27893,0.798295587,125266.88313009552,3.4940691711477543,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.00021249,0.0,0.071758772,26,29,6532.0,5,100000,5683,0.037722238,2.6509561813379154e6,15.065383978543373,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.00021249,0.000128207,0.003388731,26,29,6948.0,5,100000,5683,0.037747517,2.6491808719498026e6,15.055294895290727,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000669002,0.0,0.079791155,77,101,19175.0,5,100000,23078,0.074692884,1.3388156226502112e6,30.897186939521575,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000669002,0.055928147,0.006221709,61,79,16863.0,5,100000,16308,0.057755274,1.731443608076381e6,28.23638236050962,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005641639,0.0,0.034156435,356,493,85898.0,5,100000,120271,0.267365342,374020.0552994636,44.98376607092179,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005641639,0.002696054,0.013351179,148,221,43962.0,5,100000,43511,0.109401897,914060.9325997336,39.77170523834701,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.037868721,0.0,0.204703198,2183,3015,504653.0,5,100000,749880,1.590788561,62861.90537926555,47.13888560580365,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.037868721,0.031440864,0.055081783,625,988,186117.0,5,100000,190720,0.518984242,192684.07767956852,36.74870729504731,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.48451362,0.0,3.317284522,15866,21617,3.982352e6,5,100000,5405897,11.973981036,8351.4413209231,45.147031582454225,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.48451362,0.284478973,0.227699963,2234,3977,1.145088e6,5,100000,648737,1.870657698,53457.134411557105,34.679621006750324,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.631308049,7.881924357,3.22329305,15143,27212,6.101363e6,5,100000,4383934,12.868099468,7771.1553480509665,34.068232149602466,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.3412e-5,0.0,0.008071939,34,37,8624.0,5,100000,41,0.02668265,3.747753690131977e6,0.15365790129541104,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.3412e-5,0.000136603,0.003747363,34,37,9296.0,5,100000,41,0.026440112,3.782132239076748e6,0.15506742180214667,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000203843,0.0,0.025660107,280,385,97076.0,5,100000,555,0.102800045,972762.2200943589,0.5398830321523691,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000203843,0.001414931,0.017827188,200,285,84804.0,5,100000,899,0.029653875,3.372240558780261e6,3.0316442623434545,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004244973,0.0,1.123334519,7854,11241,1.982968e6,5,100000,15833,0.697350597,143399.89157562878,2.2704504833169303,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004244973,0.210167515,0.609427917,4998,7671,1.507432e6,5,100000,27893,0.694494505,143989.62019145134,4.016302476000152,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000217019,0.0,0.072640674,26,29,6532.0,6,100000,5683,0.035535357,2.8140986454702006e6,15.99252260220715,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000217019,0.000127887,0.003475969,26,29,6948.0,6,100000,5683,0.035467827,2.8194566303709554e6,16.02297203039814,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000641007,0.0,0.080568555,77,101,19175.0,6,100000,23078,0.066319202,1.5078589154314615e6,34.79836805032727,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000641007,0.028034489,0.00614493,61,79,16863.0,6,100000,16308,0.051946182,1.9250692957569046e6,31.394030075203602,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005625187,0.0,0.034643776,356,493,85898.0,6,100000,120271,0.229036924,436610.82350197824,52.51162035340643,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005625187,0.002540333,0.013054136,148,221,43962.0,6,100000,43511,0.095970493,1.0419869365472572e6,45.33789359610771,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.027808544,0.0,0.206085697,2183,3015,504653.0,6,100000,749880,1.404462265,71201.62819041635,53.392676947429415,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.027808544,0.032291546,0.057021257,625,988,186117.0,6,100000,190720,0.447460514,223483.40662747284,42.622755311991625,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.49093305,0.0,3.299901483,15866,21617,3.982352e6,6,100000,5405897,9.942076724,10058.260741299828,54.37392156661051,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.49093305,0.254814458,0.244901846,2234,3977,1.138176e6,6,100000,648737,1.564164415,63931.89810548145,41.47498778125572,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,21.303684969,7.785481408,3.214586387,15143,27212,6.101363e6,6,100000,4383934,10.669533723,9372.480803395647,41.08833725835349,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.263e-5,0.0,0.008140542,34,37,8624.0,6,100000,41,0.02653737,3.768270932650824e6,0.1544991082386838,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.263e-5,0.000168405,0.003804063,34,37,9296.0,6,100000,41,0.026435814,3.7827471474871174e6,0.15509263304697182,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000190368,0.0,0.025956198,280,385,69428.0,6,100000,555,0.028665437,3.4885217343799784e6,1.936129562580888,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000190368,0.001377188,0.018422768,200,285,57156.0,6,100000,899,0.029482815,3.3918063794111926e6,3.049233935090662,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.00363711,0.0,1.130765482,7854,11241,1.982968e6,6,100000,15833,0.579223861,172644.82134309036,2.7334854563251496,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.00363711,0.243135065,0.620473447,4998,7671,1.507432e6,6,100000,27893,0.545745614,183235.55413859908,5.110989311587944,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000199324,0.0,0.071191136,26,29,6532.0,7,100000,5683,0.052309593,1.911695241062189e6,10.86416405495642,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000199324,0.000153867,0.01405148,26,29,6948.0,7,100000,5683,0.038133752,2.6223488315547863e6,14.902808409725852,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000635486,0.0,0.079286551,77,101,19175.0,7,100000,23078,0.07829659,1.2771948305794671e6,29.47510230011294,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000635486,0.00055968,0.006198143,61,79,16863.0,7,100000,16308,0.062181697,1.6081902685930235e6,26.226366900215027,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005559912,0.0,0.033962591,356,493,85898.0,7,100000,120271,0.280872442,356033.5050599233,42.82050568706203,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005559912,0.002734428,0.013027765,148,221,43962.0,7,100000,43511,0.117309389,852446.6869399516,37.090807795444235,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.03640752,0.0,0.200605098,2183,3015,504653.0,7,100000,749880,1.698812892,58864.63451679527,44.14141213145444,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.03640752,0.019327164,0.055315214,625,988,186117.0,7,100000,190720,0.546626255,182940.35291078364,34.890384107144655,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.493328995,0.0,3.277609499,15866,21617,3.982352e6,7,100000,5405897,12.349060054,8097.782305918001,43.7757770742152,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.493328995,0.254465955,0.225476553,2234,3977,1.138176e6,7,100000,648737,1.84596466,54172.218009850745,35.14352219505654,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.354166676,8.136814031,3.122265441,15143,27212,6.101363e6,7,100000,4383934,12.551496712,7967.177325106883,34.92757955956512,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.0436e-5,0.0,0.00772483,34,37,8624.0,7,100000,41,0.028256097,3.539059198444852e6,0.14510142713623894,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.0436e-5,0.000154167,0.003407226,34,37,9296.0,7,100000,41,0.02822149,3.5433990196832274e6,0.14527935980701231,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000191089,0.0,0.02310209,280,385,69428.0,7,100000,555,0.032475391,3.0792546885732645e6,1.7089863521581619,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000191089,0.00150813,0.016067441,200,285,57156.0,7,100000,899,0.031485621,3.176052967162376e6,2.8552716174789756,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003718157,0.0,1.027864283,7854,11241,1.982968e6,7,100000,15833,0.61048082,163805.31005052704,2.5935294740299946,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003718157,0.140383585,0.562648549,4998,7671,1.507432e6,7,100000,27893,0.595371127,167962.46150512435,4.684976938762433,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000213622,0.0,0.071437091,26,29,6532.0,8,100000,5683,0.033169841,3.014786836029754e6,17.133033589157094,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000213622,0.000132196,0.003413108,26,29,6948.0,8,100000,5683,0.032476483,3.07915115069572e6,17.498815989403777,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000650616,0.0,0.101786238,77,101,19175.0,8,100000,23078,0.056394016,1.773237784661408e6,40.92278159441598,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000650616,0.028072042,0.006219805,61,79,16863.0,8,100000,16308,0.045276849,2.2086342625123933e6,36.01840755305211,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005519964,0.0,0.034373845,356,493,85898.0,8,100000,120271,0.177277243,564088.1948959461,67.84345128833033,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005519964,0.002580501,0.013205408,148,221,43962.0,8,100000,43511,0.078145799,1.2796593198823137e6,55.67925666739935,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.045895753,0.0,0.203006313,2183,3015,504653.0,8,100000,749880,1.033056164,96800.15809866461,72.58850255502662,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.045895753,0.018104013,0.054920251,625,988,186117.0,8,100000,190720,0.427299262,234028.01945396292,44.6338238702598,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.469422093,0.0,3.248820867,15866,21617,3.982352e6,8,100000,5405897,7.598237788,13160.94636547587,71.14672047428691,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.469422093,0.255219861,0.227804236,2234,3977,1.138176e6,8,100000,648737,1.247508409,80159.7803097454,52.0026153988033,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.509141628,7.630200059,3.177848915,15143,27212,6.101363e6,8,100000,4383934,8.441482409,11846.260544638895,51.933224374500966,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.3141e-5,0.0,0.008056289,34,37,8624.0,8,100000,41,0.026607966,3.758272992381304e6,0.15408919268763346,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.3141e-5,0.000149459,0.003720501,34,37,9296.0,8,100000,41,0.026463467,3.7787943658327158e6,0.15493056899914134,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000187081,0.0,0.025608607,280,385,69428.0,8,100000,555,0.028112731,3.5571072764150877e6,1.9741945384103736,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000187081,0.001400232,0.017930107,200,285,57156.0,8,100000,899,0.028727437,3.4809927526775184e6,3.1294124846570894,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004377189,0.0,1.110232322,7854,11241,1.982968e6,8,100000,15833,0.49678182,201295.61101893787,3.1871134092628433,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004377189,0.141260407,0.612406608,4998,7671,1.507432e6,8,100000,27893,0.462906186,216026.49310890824,6.025626972286777,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.00021779,0.0,0.071241092,26,29,6532.0,9,100000,5683,0.031910881,3.1337273326925696e6,17.80897243169187,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.00021779,0.000170198,0.00344002,26,29,6948.0,9,100000,5683,0.032748578,3.053567699947155e6,17.353425238799684,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.00066338,0.0,0.07943127,77,101,19175.0,9,100000,23078,0.055122883,1.8141286260372123e6,41.86646043168678,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.00066338,0.022855714,0.006175409,61,79,16863.0,9,100000,16308,0.113941609,877642.5124907618,14.312594093699344,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005746952,0.0,0.034117431,356,493,85898.0,9,100000,120271,0.160966122,621248.7370479113,74.71820685348933,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005746952,0.002613084,0.012920879,148,221,43962.0,9,100000,43511,0.072581179,1.3777676441436699e6,59.94804796433522,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.040246771,0.0,0.201198504,2183,3015,504653.0,9,100000,749880,0.941510261,106212.33155099941,79.64650318346344,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.040246771,0.025969914,0.05489325,625,988,186117.0,9,100000,190720,0.353194101,283130.43654146424,53.99863685718806,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.49543456,0.0,3.252799749,15866,21617,3.982352e6,9,100000,5405897,6.81045975,14683.296527815175,79.37638864982648,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.49543456,0.246068988,0.223835456,2234,3977,1.145088e6,9,100000,648737,1.209820879,82656.86411583248,53.62256605591281,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.475062483,7.867178657,3.192467452,15143,27212,6.101363e6,9,100000,4383934,7.835347411,12762.675954816064,55.950729049300605,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.769e-5,0.0,0.008166532,34,37,8624.0,9,100000,41,0.026227082,3.812852684107214e6,0.15632696004839577,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.769e-5,0.000168074,0.003757433,34,37,9296.0,9,100000,41,0.026345901,3.7956568651799e6,0.1556219314723759,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000192,0.0,0.025151234,280,385,69428.0,9,100000,555,0.02871873,3.482048126779979e6,1.9325367103628883,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000192,0.001457603,0.017443567,200,285,57156.0,9,100000,899,0.028334518,3.5292641999415695e6,3.172808515747471,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003802149,0.0,1.17054367,7854,11241,1.982968e6,9,100000,15833,0.443107243,225679.0011441993,3.5731756251161078,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003802149,0.267479623,0.598344848,4998,7671,1.507432e6,9,100000,27893,0.447276029,223575.58535738118,6.236193802373433,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000198903,0.0,0.071003343,26,29,6532.0,10,100000,5683,0.031059097,3.2196686207586783e6,18.297376771771567,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000198903,0.000143998,0.003447835,26,29,6948.0,10,100000,5683,0.075479753,1.3248586014848247e6,7.529171432238258,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000660305,0.0,0.082246555,77,101,19175.0,10,100000,23078,0.050729283,1.9712480462221396e6,45.49246241071454,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000660305,0.052896847,0.006264592,61,79,16863.0,10,100000,16308,0.041722419,2.3967929568033917e6,39.08689953954971,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005640577,0.0,0.034903588,356,493,85898.0,10,100000,120271,0.149114887,670623.8526003108,80.65660137609198,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005640577,0.002615909,0.013320851,148,221,43962.0,10,100000,43511,0.067952125,1.4716243237426348e6,64.03184595036578,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.026612515,0.0,0.204402158,2183,3015,504653.0,10,100000,749880,0.858505625,116481.47325767376,87.3471271664644,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.026612515,0.02883768,0.055567181,625,988,186117.0,10,100000,190720,0.302256706,330844.60332866857,63.098682746843664,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.470333352,0.0,3.255176829,15866,21617,3.982352e6,10,100000,5405897,6.1241531,16328.788383817511,88.27174813771393,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.470333352,0.323388193,0.230010253,2234,3977,1.138176e6,10,100000,648737,1.024181497,97638.94416460054,63.34199572051046,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.551357162,7.805497892,3.247159084,15143,27212,6.101363e6,10,100000,4383934,7.125449968,14034.201411713568,61.52501273165911,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.9093e-5,0.0,0.008300571,34,37,8624.0,10,100000,41,0.026168127,3.8214427803717097e6,0.1566791539952401,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.9093e-5,0.000162774,0.003805094,34,37,9296.0,10,100000,41,0.02631421,3.800228089689943e6,0.15580935167728766,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00020712,0.0,0.026033607,280,385,69428.0,10,100000,555,0.029921091,3.342124122412515e6,1.8548788879389457,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00020712,0.001408268,0.018204386,200,285,57156.0,10,100000,899,0.027956448,3.5769923274945375e6,3.215716102417589,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003507099,0.0,1.124185585,7854,11241,1.982968e6,10,100000,15833,0.415316294,240780.34366742184,3.81227518128629,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003507099,0.221534785,0.619633607,4998,7671,1.507432e6,10,100000,27893,0.412460441,242447.4932857864,6.76258793022044,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.015352061,0.0,0.071164515,26,29,6532.0,11,100000,5683,0.030695967,3.257756955498421e6,18.513832778097527,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.015352061,0.000158245,0.003442925,26,29,6948.0,11,100000,5683,0.030374116,3.2922768847001176e6,18.710009535750768,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000659914,0.0,0.108328064,77,101,19175.0,11,100000,23078,0.048463048,2.0634277893540661e6,47.619786522713135,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000659914,0.050305585,0.006195878,61,79,16863.0,11,100000,16308,0.04044843,2.472283843897031e6,40.318004926272785,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005454738,0.0,0.034115126,356,493,85898.0,11,100000,120271,0.138428491,722394.64056572,86.88312581547972,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005454738,0.002816887,0.013604578,148,221,43962.0,11,100000,43511,0.064107834,1.559871762318471e6,67.87158025023899,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.026552149,0.0,0.204497642,2183,3015,504653.0,11,100000,749880,0.741265329,134904.4614495925,101.16215755182041,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.026552149,0.031970206,0.055528075,625,988,186117.0,11,100000,190720,0.320150164,312353.42425125226,59.57204507319883,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.479830353,0.0,3.300714313,15866,21617,3.982352e6,11,100000,5405897,5.751710851,17386.131290416637,93.98763498446942,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.479830353,0.281598845,0.229794337,2234,3977,1.145088e6,11,100000,648737,1.080207262,92574.8266261887,60.05671530099378,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.674437441,7.534210292,3.127661153,15143,27212,6.101363e6,11,100000,4383934,6.892937209,14507.603503109178,63.60037625579943,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.0615e-5,0.0,0.007790346,34,37,8624.0,11,100000,41,0.025992388,3.8472802114218976e6,0.1577384886682978,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.0615e-5,0.000188544,0.003460519,34,37,9296.0,11,100000,41,0.026332184,3.7976341043340727e6,0.15570299827769696,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000210616,0.0,0.023266226,280,385,97076.0,11,100000,555,0.030232882,3.3076568750541215e6,1.8357495656550373,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000210616,0.001478013,0.016521128,200,285,84804.0,11,100000,899,0.109023117,917236.6627529095,0.8245957598148655,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004629265,0.0,1.052010711,7854,11241,1.982968e6,11,100000,15833,0.412454911,242450.74390688975,3.838722628277785,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004629265,0.241362926,0.56448209,4998,7671,1.507432e6,11,100000,27893,0.442037188,226225.31025602305,6.31010257897125,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000203393,0.0,0.070659462,26,29,6532.0,12,100000,5683,0.033455655,2.9890313012852385e6,16.98666488520401,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000203393,0.000216528,0.003151821,26,29,6948.0,12,100000,5683,0.033940821,2.9463046872083615e6,16.74384953740512,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000669121,0.0,0.092727523,77,101,19175.0,12,100000,23078,0.056770402,1.761481273287443e6,40.651464824927615,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000669121,0.022366007,0.006118807,61,79,16863.0,12,100000,16308,0.04734225,2.1122781447861055e6,34.447031985171805,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005531834,0.0,0.034217524,356,493,85898.0,12,100000,120271,0.175310192,570417.4917565546,68.60468215105257,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005531834,0.010367324,0.013272941,148,221,43962.0,12,100000,43511,0.080128162,1.2480006717238815e6,54.301757227377806,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.036289724,0.0,0.203914306,2183,3015,504653.0,12,100000,749880,1.058099558,94509.0650912076,70.87045773059475,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.036289724,0.01857383,0.055614081,625,988,186117.0,12,100000,190720,0.371447652,269216.9393495049,51.345054672737575,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.47392103,0.0,3.418015152,15866,21617,3.982352e6,12,100000,5405897,7.362401452,13582.524757983001,73.42572984160603,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.47392103,0.24433505,0.245399444,2234,3977,1.138176e6,12,100000,648737,1.206022378,82917.20106042677,53.79145626433808,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,21.85574372,7.202209362,3.282453299,15143,27212,6.101363e6,12,100000,4383934,8.051222592,12420.47389167501,54.45053778982639,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.9674e-5,0.0,0.008081925,34,37,8624.0,12,100000,41,0.027444507,3.6437163910432057e6,0.14939237203277145,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.9674e-5,0.000182983,0.003809851,34,37,9296.0,12,100000,41,0.027505654,3.635616153682439e6,0.14906026230098,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000211618,0.0,0.025668991,280,385,97076.0,12,100000,555,0.029793919,3.3563896042007767e6,1.8627962303314312,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000211618,0.001483823,0.01806652,200,285,84804.0,12,100000,899,0.030056296,3.3270899381613755e6,2.991053854407076,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004193271,0.0,1.122633972,7854,11241,1.982968e6,12,100000,15833,0.328658591,304267.1110337718,4.817461168997709,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004193271,0.157784085,0.608300419,4998,7671,1.507432e6,12,100000,27893,0.497965281,200817.21319844385,5.601394527744194,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000219093,0.0,0.007540139,26,29,6532.0,13,100000,5683,0.03379996,2.958583382938915e6,16.813629365241855,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000219093,0.000280772,0.003128958,26,29,6948.0,13,100000,5683,0.03363445,2.9731421206530803e6,16.896366671671455,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000648491,0.0,0.007044634,77,101,19175.0,13,100000,23078,0.055231975,1.810545431337554e6,41.78376746440807,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000648491,0.055606727,0.006170847,61,79,16863.0,13,100000,16308,0.047026351,2.126467350188408e6,34.67842954687256,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005305628,0.0,0.033617788,356,493,85898.0,13,100000,120271,0.166277204,601405.3495871869,72.33162280020056,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005305628,0.002689449,0.012844264,148,221,43962.0,13,100000,43511,0.079018953,1.2655191723433742e6,55.06400470783256,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.026408798,0.0,0.205014722,2183,3015,504653.0,13,100000,749880,0.987545224,101261.18538142006,75.93373769381928,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.026408798,0.026387296,0.054257294,625,988,186117.0,13,100000,190720,0.358948439,278591.54445299035,53.132979358074316,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.480205834,0.0,3.272532423,15866,21617,3.982352e6,13,100000,5405897,6.887609534,14518.825364062805,78.48727447911102,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.480205834,0.265121603,0.225761334,2234,3977,1.138176e6,13,100000,648737,1.201180954,83251.40326858696,54.008265602253296,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.624208865,7.56375444,3.239264871,15143,27212,6.101363e6,13,100000,4383934,7.506884592,13321.105283351346,58.398846369263595,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,9.2027e-5,0.0,0.008342066,34,37,8624.0,13,100000,41,0.100122395,998777.5462223012,0.040949879395114346,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,9.2027e-5,0.000199104,0.003719808,34,37,9296.0,13,100000,41,0.027749195,3.603708143605607e6,0.1477520338878299,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000203392,0.0,0.025589026,280,385,97076.0,13,100000,555,0.031802997,3.1443577471645204e6,1.7451185496763089,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000203392,0.001604106,0.01784822,200,285,84804.0,13,100000,899,0.030398246,3.28966348913684e6,2.9574074767340193,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003740327,0.0,1.108119441,7854,11241,1.982968e6,13,100000,15833,0.42196106,236988.69274809386,3.75224197228057,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003740327,0.282806429,0.606750337,4998,7671,1.507432e6,13,100000,27893,0.401760011,248904.81198239516,6.942701920624948,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000201328,0.0,0.071371538,26,29,6532.0,14,100000,5683,0.034235791,2.92091980582543e6,16.59958725650592,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000201328,0.000192852,0.003462742,26,29,6948.0,14,100000,5683,0.034379308,2.9087263769241665e6,16.530292000060037,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000660174,0.0,0.078403477,77,101,19175.0,14,100000,23078,0.05803808,1.7230066880227602e6,39.76354834618926,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000660174,0.002547325,0.006218809,61,79,16863.0,14,100000,16308,0.048919375,2.0441798367211355e6,33.33648477724828,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005635505,0.0,0.034088797,356,493,85898.0,14,100000,120271,0.178264327,560964.7296399352,67.46778899852464,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005635505,0.002703907,0.013217324,148,221,43962.0,14,100000,43511,0.085195904,1.173765349094717e6,51.07170410446024,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.027118047,0.0,0.207087755,2183,3015,504653.0,14,100000,749880,1.026742523,97395.40124218659,73.03486348349088,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.027118047,0.026508019,0.055348931,625,988,186117.0,14,100000,190720,0.385814333,259192.02955064917,49.43310387589981,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.478298932,0.0,3.444202994,15866,21617,3.982352e6,14,100000,5405897,6.937833032,14413.72248925001,77.91909916346916,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.478298932,0.264855503,0.234932995,2234,3977,1.145088e6,14,100000,648737,1.272042405,78613.73143452713,50.999636289640826,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.065628495,8.255575251,3.216813505,15143,27212,6.101363e6,14,100000,4383934,7.705401166,12977.909630617149,56.894299278589955,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,9.1727e-5,0.0,0.008192038,34,37,8624.0,14,100000,41,0.027977726,3.574271904728783e6,0.14654514809388008,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,9.1727e-5,0.000215356,0.003847033,34,37,9296.0,14,100000,41,0.028887321,3.4617263400784032e6,0.14193077994321454,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000229163,0.0,0.02634237,280,385,69428.0,14,100000,555,0.030221726,3.308877858266599e6,1.8364272113379625,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000229163,0.001629043,0.018505728,200,285,57156.0,14,100000,899,0.030659561,3.261625305072046e6,2.9322011492597695,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003980301,0.0,1.123271404,7854,11241,1.982968e6,14,100000,15833,0.417802482,239347.54892145423,3.789589742073385,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003980301,0.264419313,0.615279444,4998,7671,1.507432e6,14,100000,27893,0.514228576,194466.0500547523,5.424241534177206,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000192431,0.0,0.070409633,26,29,6532.0,15,100000,5683,0.037940971,2.635673188227049e6,14.97853072869432,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000192431,0.000338092,0.003070615,26,29,6948.0,15,100000,5683,0.032602189,3.0672787032797094e6,17.43134487073859,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000624465,0.0,0.077373059,77,101,19175.0,15,100000,23078,0.055895256,1.7890605957686284e6,41.28794042914841,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000624465,0.029367508,0.005917498,61,79,16863.0,15,100000,16308,0.04922265,2.0315850528161323e6,33.13108904132549,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005515392,0.0,0.033536773,356,493,85898.0,15,100000,120271,0.155466629,643224.85566983,77.36129661626613,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005515392,0.002700832,0.012928527,148,221,43962.0,15,100000,43511,0.072620399,1.3770235550482173e6,59.91567190370298,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.037685839,0.0,0.196800436,2183,3015,504653.0,15,100000,749880,0.942158874,106139.21150627511,79.59167192432558,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.037685839,0.054947908,0.054073591,625,988,186117.0,15,100000,190720,0.252204214,396504.0806177807,75.62125825542313,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.449096158,0.0,3.295232568,15866,21617,3.982352e6,15,100000,5405897,6.220426136,16076.069036695333,86.90557337726419,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.449096158,0.253339946,0.223118551,2234,3977,1.145088e6,15,100000,648737,1.160937313,86137.29516677184,55.88045045460606,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,19.978574089,7.687533494,3.174034592,15143,27212,6.101363e6,15,100000,4383934,7.126567847,14031.999995916127,61.51536187009657,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.6137e-5,0.0,0.007995388,34,37,8624.0,15,100000,41,0.032055094,3.1196289737911858e6,0.1279047879254386,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.6137e-5,0.000223701,0.003664872,34,37,9296.0,15,100000,41,0.027909655,3.5829894708479918e6,0.14690256830476767,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000222019,0.0,0.02485495,280,385,69428.0,15,100000,555,0.029982985,3.335224961757477e6,1.8510498537753997,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000222019,0.001506758,0.017433791,200,285,57156.0,15,100000,899,0.030101003,3.3221484347215937e6,2.986611442814713,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.00399057,0.0,1.186148628,7854,11241,1.982968e6,15,100000,15833,0.284421574,351590.7692712508,5.566736649871714,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.00399057,0.148404243,0.590075328,4998,7671,1.507432e6,15,100000,27893,0.258166221,387347.343942413,10.804279464585726,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000209253,0.0,0.070626692,26,29,6532.0,16,100000,5683,0.032619503,3.0656506323839454e6,17.422092543837962,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000209253,0.000232608,0.003362619,26,29,6948.0,16,100000,5683,0.033023052,3.028187703547207e6,17.20919071925878,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000676666,0.0,0.123326844,77,101,19175.0,16,100000,23078,0.054284759,1.8421376799333307e6,42.5128533775014,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000676666,0.053513561,0.006111523,61,79,16863.0,16,100000,16308,0.045688822,2.1887191576092727e6,35.69363202229202,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.00561791,0.0,0.033558886,356,493,85898.0,16,100000,120271,0.163807135,610474.018729404,73.42232070660414,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.00561791,0.002815864,0.013194219,148,221,43962.0,16,100000,43511,0.07743008,1.291487752563345e6,56.19392360178371,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.027177763,0.0,0.200980796,2183,3015,504653.0,16,100000,749880,0.845138916,118323.74312295897,88.72860849304448,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.027177763,0.027390363,0.055386164,625,988,186117.0,16,100000,190720,0.269311569,371317.1341703483,70.81760382896883,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.493311984,0.0,3.327198042,15866,21617,3.982352e6,16,100000,5405897,6.30875024,15850.999991402417,85.68887330052236,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.493311984,0.264244421,0.223179712,2234,3977,1.145088e6,16,100000,648737,1.151761833,86823.50563703738,56.32562057645472,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,21.071311543,7.669157907,3.298744517,15143,27212,6.101363e6,16,100000,4383934,7.086616408,14111.106661157946,61.862160269476796,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.1327e-5,0.0,0.008000147,34,37,8624.0,16,100000,41,0.027687176,3.611780414152747e6,0.14808299698026264,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.1327e-5,0.000266905,0.003754835,34,37,9296.0,16,100000,41,0.028117356,3.5565221708613e6,0.14581740900531331,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000190067,0.0,0.025770928,280,385,97076.0,16,100000,555,0.030116313,3.3204595794976633e6,1.8428550666212031,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000190067,0.00156009,0.018142348,200,285,84804.0,16,100000,899,0.030151361,3.316599870898033e6,2.981623283937332,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003748684,0.0,1.174588317,7854,11241,1.982968e6,16,100000,15833,0.384297211,260215.2634409829,4.119988266061083,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003748684,0.303695629,0.609461614,4998,7671,1.507432e6,16,100000,27893,0.298997564,334450.8853590526,9.328838545320055,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000204535,0.0,0.071344438,26,29,6532.0,17,100000,5683,0.07940887,1.2593051632645067e6,7.156631242832192,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000204535,0.000233841,0.003087638,26,29,6948.0,17,100000,5683,0.033259859,3.006627298089267e6,17.086662935041307,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.0006581,0.0,0.090267873,77,101,19175.0,17,100000,23078,0.051660757,1.9357052781863029e6,44.672206409983495,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.0006581,0.022646138,0.006025668,61,79,16863.0,17,100000,16308,0.120931433,826914.8683618096,13.485327673244392,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005652467,0.0,0.033585859,356,493,85898.0,17,100000,120271,0.156899568,637350.3845466293,76.65476809980765,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005652467,0.002929192,0.012864444,148,221,43962.0,17,100000,43511,0.073959574,1.3520899944610281e6,58.8307877489938,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.022417958,0.0,0.203452889,2183,3015,504653.0,17,100000,749880,0.814905226,122713.6565203473,92.02051675147803,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.022417958,0.020606734,0.054928422,625,988,186117.0,17,100000,190720,0.255536772,391333.1111500461,74.6350509585368,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.491198923,0.0,3.239538816,15866,21617,3.982352e6,17,100000,5405897,5.947755765,16813.064280220995,90.88969375325382,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.491198923,0.263739731,0.224207879,2234,3977,1.138176e6,17,100000,648737,1.084560716,92203.2289430627,59.81564613483566,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.80966719,7.841797599,3.19420691,15143,27212,6.101363e6,17,100000,4383934,6.931204652,14427.506475536686,63.24923617332545,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.6667e-5,0.0,0.008044473,34,37,8624.0,17,100000,41,0.027894066,3.5849918760499097e6,0.1469846669180463,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.6667e-5,0.000389672,0.00371556,34,37,9296.0,17,100000,41,0.028312663,3.5319884957483513e6,0.1448115283256824,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000175058,0.0,0.025415803,280,385,69428.0,17,100000,555,0.030180528,3.3133946496893624e6,1.838934030577596,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000175058,0.001551825,0.017563782,200,285,57156.0,17,100000,899,0.030315177,3.2986777547101243e6,2.9655113014844017,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004749295,0.0,1.096758609,7854,11241,1.982968e6,17,100000,15833,0.234580035,426293.7380838911,6.749508755082248,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004749295,0.379091961,0.598157088,4998,7671,1.507432e6,17,100000,27893,0.248119732,403031.22687557957,11.24175001124054,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000191951,0.0,0.07200298,26,29,6532.0,18,100000,5683,0.036220242,2.7608871304614698e6,15.690121562412532,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000191951,0.000327271,0.003037972,26,29,6948.0,18,100000,5683,0.034878493,2.867096350751163e6,16.29370856131886,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000640516,0.0,0.077888377,77,101,19175.0,18,100000,23078,0.055488503,1.8021751280621141e6,41.59059760541747,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000640516,0.02261514,0.006057849,61,79,16863.0,18,100000,16308,0.04201281,2.3802264118967527e6,38.81673232521224,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005638229,0.0,0.034131361,356,493,85898.0,18,100000,120271,0.153714234,650557.839685816,78.24324193685277,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005638229,0.002807187,0.01299213,148,221,43962.0,18,100000,43511,0.074310313,1.3457082329877953e6,58.55311092553196,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.036543396,0.0,0.202376615,2183,3015,504653.0,18,100000,749880,0.791880277,126281.71568920134,94.69613296101831,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.036543396,0.030470557,0.054285071,625,988,186117.0,18,100000,190720,0.254711372,392601.2380789971,74.87690812642633,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.486813647,0.0,3.300479061,15866,21617,3.982352e6,18,100000,5405897,5.518618679,18120.476484546758,97.95742946638187,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.486813647,0.354780872,0.25089597,2234,3977,1.145088e6,18,100000,648737,0.984940957,101528.92850002582,65.86557248832125,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.418652872,6.929368719,3.185691047,15143,27212,6.101363e6,18,100000,4383934,6.401607689,15621.075963750767,68.48176603406975,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,7.6307e-5,0.0,0.008123005,34,37,8624.0,18,100000,41,0.031621308,3.162424527157447e6,0.12965940561345532,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,7.6307e-5,0.000263508,0.003783621,34,37,9296.0,18,100000,41,0.026947981,3.71085314332083e6,0.15214497887615402,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000215115,0.0,0.025871273,280,385,97076.0,18,100000,555,0.034854116,2.8691016005111136e6,1.592351388283668,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000215115,0.001485727,0.018028439,200,285,84804.0,18,100000,899,0.034885107,2.86655276705902e6,2.577030937586059,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.095263826,0.0,1.119845161,7854,11241,1.982968e6,18,100000,15833,0.261790675,381984.5760357966,6.0479617923747675,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.095263826,0.394726816,0.609843355,4998,7671,1.507432e6,18,100000,27893,0.244098175,409671.2316673404,11.426959664897126,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000198032,0.0,0.007585898,26,29,6532.0,19,100000,5683,0.031645716,3.159985383171612e6,17.95819693256427,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000198032,0.000379462,0.00308339,26,29,6948.0,19,100000,5683,0.032193543,3.1062129446268156e6,17.652608164314195,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000653882,0.0,0.007017101,77,101,19175.0,19,100000,23078,0.04982756,2.006921470768386e6,46.31573370239281,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000653882,0.022923143,0.006095572,61,79,16863.0,19,100000,16308,0.042384307,2.3593638088738834e6,38.476504995115285,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005640124,0.0,0.034326708,356,493,85898.0,19,100000,120271,0.143717735,695808.3496097402,83.68556601591305,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005640124,0.00280319,0.01296108,148,221,43962.0,19,100000,43511,0.069578112,1.4372335943809457e6,62.53547092510933,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.027640086,0.0,0.205273989,2183,3015,504653.0,19,100000,749880,0.726001985,137740.67022695538,103.28897378978931,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.027640086,0.033037501,0.05573045,625,988,186117.0,19,100000,190720,0.245884783,406694.54522527324,77.5647836653641,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.462550233,0.0,3.276486253,15866,21617,3.982352e6,19,100000,5405897,5.250009982,19047.58283181489,102.9692708877596,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.462550233,0.258602504,0.222852389,2234,3977,1.145088e6,19,100000,648737,1.030208981,97067.6841731008,62.97139822740489,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.565537773,7.495132115,3.202080031,15143,27212,6.101363e6,19,100000,4383934,6.393994566,15639.675474819602,68.5633050630278,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.5454e-5,0.0,0.007956643,34,37,8624.0,19,100000,41,0.028324957,3.530455491953615e6,0.1447486751700982,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.5454e-5,0.000427605,0.003731691,34,37,9296.0,19,100000,41,0.027873867,3.587589766428892e6,0.14709118042358457,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00020721,0.0,0.025494816,280,385,69428.0,19,100000,555,0.029700512,3.366945324040205e6,1.868654654842314,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00020721,0.001567344,0.017660128,200,285,57156.0,19,100000,899,0.030051419,3.3276298866286483e6,2.991539268079155,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.003972646,0.0,1.184366509,7854,11241,1.982968e6,19,100000,15833,0.448761029,222835.74895715824,3.5281584132386867,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.003972646,0.137865794,0.59921788,4998,7671,1.507432e6,19,100000,27893,0.34066514,293543.38985198195,8.187805773141333,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000214784,0.0,0.070692874,26,29,6532.0,20,100000,5683,0.031641497,3.1604067279117675e6,17.960591434722577,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000214784,0.000394952,0.003131132,26,29,6948.0,20,100000,5683,0.031958329,3.129074739796314e6,17.78253174626245,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.000655194,0.0,0.077342315,77,101,19175.0,20,100000,23078,0.048152859,2.0767198890516553e6,47.926541599534104,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.000655194,0.028522579,0.006073399,61,79,16863.0,20,100000,16308,0.04192926,2.3849693507588734e6,38.894080172175705,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.005568786,0.0,0.033698908,356,493,85898.0,20,100000,120271,0.13970245,715807.0599334514,86.09083090525614,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.005568786,0.010602299,0.013480763,148,221,43962.0,20,100000,43511,0.066047249,1.514067603330458e6,65.87859548851156,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.027657981,0.0,0.215276301,2183,3015,504653.0,20,100000,749880,0.704801573,141883.90581245197,106.39590329064148,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.027657981,0.019562589,0.055222912,625,988,186117.0,20,100000,190720,0.32541373,307301.1086532827,58.60846744235407,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.483390353,0.0,3.311541537,15866,21617,3.982352e6,20,100000,5405897,4.983021895,20068.14381055414,108.48631842104318,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.483390353,0.274925435,0.223765363,2234,3977,1.145088e6,20,100000,648737,1.019978472,98041.28493410005,63.60300906429327,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,20.542625682,7.425827696,3.214107217,15143,27212,6.101363e6,20,100000,4383934,6.210099291,16102.802115406628,70.59362168900303,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,8.2609e-5,0.0,0.007986983,34,37,8624.0,20,100000,41,0.029346239,3.407591684917444e6,0.13971125908161522,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,8.2609e-5,0.000432775,0.003719557,34,37,9296.0,20,100000,41,0.027930466,3.5803197841382236e6,0.14679311114966717,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000199826,0.0,0.025378973,280,385,69428.0,20,100000,555,0.030437014,3.2854734041913575e6,1.8234377393262033,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000199826,0.001550351,0.017680147,200,285,57156.0,20,100000,899,0.030056019,3.327120601035021e6,2.991081420330484,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.004990961,0.0,1.096316706,7854,11241,1.982968e6,20,100000,15833,0.376119369,265873.0398965441,4.209567840681983,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.004990961,0.274653582,0.593927868,4998,7671,1.507432e6,20,100000,27893,0.406462983,246024.86372049284,6.862371523755707,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000195467,0.0,0.015341014,26,29,6532.0,1,100000,9004,2.621861154,38140.84504339089,0.3434201687706916,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000195467,0.000110994,0.000172893,26,29,6948.0,1,100000,5683,2.634625606,37956.05712335888,0.21570427263204853,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000623012,0.0,0.000385905,77,101,19175.0,1,100000,23078,3.342933167,29913.849605836287,0.6903518212034898,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000623012,0.000535013,0.00030562,61,79,16863.0,1,100000,16308,3.199522377,31254.664983391674,0.5097010765491514,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006202609,0.0,0.006745647,356,493,85898.0,1,100000,126762,7.168748504,13949.436215289497,1.7682584335225273,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006202609,0.002730569,0.000572214,148,221,43962.0,1,100000,43511,4.574875808,21858.516864027624,0.951085927270706,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.02619531,0.0,0.015685488,2183,3015,504653.0,1,100000,763724,29.913689979,3342.9510057168463,2.5530919138900927,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.02619531,0.018832521,0.002253709,625,988,186117.0,1,100000,190720,9.767410299,10238.12832048615,1.9526158332831185,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.478365701,0.0,0.057283911,15866,21617,3.982352e6,1,100000,5409487,214.637570347,465.90165849497885,2.520288964907028,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.478365701,0.264683009,0.00842117,2234,3977,1.145088e6,1,100000,648737,30.223621295,3308.670361633447,2.1464568843949974,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 16.461170919,0.0,0.623217925,131069,176419,3.0347603e7,1,100000,44215420,2121.319671102,47.14046702261107,2.084335548400898,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,16.461170919,7.057532997,0.064176663,15143,27212,6.101363e6,1,100000,4383934,216.337755422,462.2401661001551,2.0264303803321173,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,984.119653346,305.81976463,0.553236498,90592,175381,4.1886806e7,1,100000,24116153,1525.758117258,65.54118825840752,1.5806013238415593,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,0.002405731,0.0,0.00445273,34,37,8624.0,1,100000,2996,2.595163207,38533.222007104385,0.11544553313328473,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,0.002405731,0.000125882,0.000241175,34,37,9296.0,1,100000,81,2.562597736,39022.901876160875,0.003160855051969031,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.008769387,0.0,0.001379441,280,385,69428.0,1,100000,1559,4.599120224,21743.288961693383,0.03389778749127998,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.008769387,0.00142548,0.000893845,200,285,57156.0,1,100000,1107,4.496498569,22239.526704050422,0.024619156061383818,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.012050487,0.0,0.045386557,7854,11241,1.982968e6,1,100000,59501,57.13627857,1750.2014919905205,0.10413873897492797,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.012050487,0.161514085,0.021869129,4998,7671,1.507432e6,1,100000,32693,43.060341001,2322.32252869706,0.07592369043069298,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000187492,0.0,0.004398054,26,29,6532.0,2,100000,9004,1.430887645,69886.68911177859,0.6292597487624544,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000187492,0.000114451,0.000182402,26,29,6948.0,2,100000,5683,1.426904081,70081.79549806754,0.39827484381551786,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000653,0.0,0.000395924,77,101,19175.0,2,100000,23078,2.023122959,49428.53302867391,1.1407116852357366,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000653,0.000529612,0.000301251,61,79,16863.0,2,100000,16308,1.928809293,51845.457382914006,0.8454957190005616,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.015934701,0.0,0.007450113,356,493,85898.0,2,100000,126762,4.159202156,24043.072745512396,3.0477479873666424,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.015934701,0.002714336,0.011936518,148,221,43962.0,2,100000,43511,2.478782891,40342.37946497106,1.7553372729003558,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.033997938,0.0,0.016333771,2183,3015,504653.0,2,100000,763990,17.87819532,5593.405721892516,4.2733060374686636,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.033997938,0.026387917,0.002328573,625,988,186117.0,2,100000,190720,6.382929957,15666.786362011148,2.987969494962766,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.495324229,0.0,0.056559994,15866,21617,3.982352e6,2,100000,5409487,123.066509327,812.5687528382723,4.395580105084847,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.495324229,0.281677103,0.008282128,2234,3977,1.138176e6,2,100000,648737,17.01024193,5878.811154568923,3.813802311981579,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 16.782531066,0.0,0.623308264,131069,176419,3.0347603e7,2,100000,44215420,1243.588944119,80.4124228290268,3.555469048603008,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,16.782531066,7.395488075,0.069214414,15143,27212,6.101363e6,2,100000,4383934,118.43254641,844.3624918256116,3.701629436239021,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1040.043677037,320.518015345,0.51873347,90592,175381,4.1886806e7,2,100000,24116153,884.232176994,113.09246892592843,2.727355283765436,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,6.4825e-5,0.0,0.004537465,34,37,8624.0,2,100000,2996,1.380237814,72451.28265990254,0.21706404284906802,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,6.4825e-5,0.000123519,0.000254601,34,37,9296.0,2,100000,81,1.377614032,72589.27223238388,0.005879731050823094,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000173385,0.0,0.001270822,280,385,69428.0,2,100000,1559,2.704558487,36974.61174556585,0.057643419711337164,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000173385,0.001369753,0.000888955,200,285,57156.0,2,100000,1107,2.51847975,39706.493570178594,0.0439550883821877,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003131272,0.0,0.035593297,7854,11241,1.982968e6,2,100000,59876,32.301088791,3095.8708744165565,0.18536836447656574,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003131272,0.162091596,0.02290205,4998,7671,1.507432e6,2,100000,32693,25.84827697,3868.7298235028156,0.12648038411977755,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000197722,0.0,0.004396904,26,29,6532.0,3,100000,9004,1.202166931,83183.12325960994,0.748980841829528,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000197722,0.000122787,0.000180829,26,29,6948.0,3,100000,5683,1.169424304,85512.1615464561,0.4859656140685101,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000824761,0.0,0.000385544,77,101,19175.0,3,100000,23078,1.767179879,56587.3351028574,1.3059225195037432,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000824761,0.000624855,0.000342731,61,79,16863.0,3,100000,16308,1.653439456,60479.9889328394,0.9863076595167448,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006507667,0.0,0.00699636,356,493,85898.0,3,100000,126762,3.630774754,27542.33098316845,3.491320960088399,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006507667,0.002754845,0.00059571,148,221,43962.0,3,100000,43511,2.150285617,46505.44988507914,2.0234986299496787,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.0393518,0.0,0.016350118,2183,3015,504653.0,3,100000,763930,17.071515789,5857.710658852849,4.474880903617456,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.0393518,0.034457366,0.002240603,625,988,186117.0,3,100000,190720,5.76745105,17338.68205088624,3.3068334407450237,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.481070432,0.0,0.058617713,15866,21617,3.982352e6,3,100000,5409487,105.937393041,943.9537554156906,5.106305568522358,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.481070432,0.254673519,0.009305947,2234,3977,1.138176e6,3,100000,648737,14.750586949,6779.3912435992515,4.3980419371988475,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 20.965560165,0.0,0.566615824,131069,176419,3.0347603e7,3,100000,44215420,889.944350977,112.36657650584316,4.968335374167988,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,20.965560165,7.125540881,0.063275726,15143,27212,6.101363e6,3,100000,4383934,96.18889764,1039.6210212769417,4.557629942290709,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1072.979030258,329.046139293,0.539195131,90592,175381,4.1886806e7,3,100000,24116153,645.933297177,154.81474702889918,3.733536126005228,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,6.2351e-5,0.0,0.004652638,34,37,8624.0,3,100000,2996,1.145378587,87307.37691012902,0.26157290122274657,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,6.2351e-5,0.000128929,0.00025915,34,37,9296.0,3,100000,81,1.155877416,86514.36442633982,0.007007663518533525,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000391084,0.0,0.001308455,280,385,69428.0,3,100000,1559,2.209845643,45252.02939705957,0.07054791383001587,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000391084,0.001483713,0.000902021,200,285,57156.0,3,100000,1107,2.101154899,47592.87382743313,0.05268531132696848,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003437843,0.0,0.035960929,7854,11241,1.982968e6,3,100000,59876,24.729839461,4043.6979042142275,0.24212045571273108,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003437843,0.172187706,0.022303105,4998,7671,1.507432e6,3,100000,32693,21.631139716,4622.964915992501,0.15113859199854285,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000181441,0.0,0.004308673,26,29,6532.0,4,100000,9004,0.922249065,108430.57889139741,0.9763089323381423,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000181441,0.000127656,0.000171261,26,29,6948.0,4,100000,5683,0.902528684,110799.8025689342,0.629675277999253,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000770848,0.0,0.000397197,77,101,19175.0,4,100000,23078,1.31523758,76031.89075543295,1.7546639748538817,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000770848,0.000552366,0.000307052,61,79,16863.0,4,100000,16308,1.229117507,81359.18610750046,1.3268056070411174,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.00630751,0.0,0.006912007,356,493,85898.0,4,100000,126762,3.020837562,33103.40193657854,4.196253436284569,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.00630751,0.002969199,0.015130515,148,221,43962.0,4,100000,43511,1.76856187,56543.1165831931,2.4602475456513146,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.026731519,0.0,0.016506119,2183,3015,504653.0,4,100000,763658,13.432736172,7444.499670025976,5.685051729012697,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.026731519,0.017970706,0.002300329,625,988,186117.0,4,100000,190720,4.796349993,20849.187433349176,3.976357027288355,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.474512314,0.0,0.05887403,15866,21617,3.982352e6,4,100000,5409487,84.780025536,1179.5231172410672,6.380614968915029,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.474512314,0.276075152,0.008927085,2234,3977,1.145088e6,4,100000,648737,11.427711129,8750.658716445054,5.6768760837304155,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 20.034059322,0.0,0.607240697,131069,176419,3.0347603e7,4,100000,44215420,777.00148127,128.69988334713486,5.690519396144573,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,20.034059322,7.261357316,0.083732148,15143,27212,6.101363e6,4,100000,4383934,79.76974225,1253.6081624358014,5.495735445979832,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,996.105510653,303.701743802,0.517350032,90592,175381,4.1886806e7,4,100000,24116153,487.836824736,204.98657528389018,4.943487612492314,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.3772e-5,0.0,0.00433355,34,37,8624.0,4,100000,2996,0.887801463,112637.79591226018,0.3374628365531315,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.3772e-5,0.000138397,0.000260933,34,37,9296.0,4,100000,81,0.877240258,113993.85640142384,0.00923350236851533,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000387588,0.0,0.00130087,280,385,69428.0,4,100000,1559,1.772766073,56409.02176719398,0.08794166493505542,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000387588,0.001435229,0.000902531,200,285,57156.0,4,100000,1107,1.664771248,60068.31276076916,0.06649562222617146,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003275429,0.0,0.05913799,7854,11241,1.982968e6,4,100000,59501,19.869452007,5032.851432680179,0.2994596930959033,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003275429,0.16158831,0.02148023,4998,7671,1.507432e6,4,100000,32693,17.310382898,5776.879725263256,0.18886352885803162,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000185548,0.0,0.004342287,26,29,6532.0,5,100000,9004,0.796853073,125493.64919121044,1.129944817317659,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000185548,0.000115473,0.000179105,26,29,6948.0,5,100000,5683,0.755232888,132409.48797240408,0.7524831201471723,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000727253,0.0,0.000372999,77,101,19175.0,5,100000,23078,1.121831803,89139.92252009636,2.0571711319187838,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000727253,0.009358875,0.000311982,61,79,16863.0,5,100000,16308,1.080798881,92524.15204896941,1.508883871614593,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.013275271,0.0,0.006991248,356,493,85898.0,5,100000,126762,2.556249367,39119.81408815348,4.958905873442512,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.013275271,0.01066261,0.000614395,148,221,43962.0,5,100000,43511,1.568718121,63746.315326716365,2.7736659261807555,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.026578105,0.0,0.015896007,2183,3015,504653.0,5,100000,763658,11.436205218,8744.159281315198,6.6775471884506015,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.026578105,0.018865917,0.002396844,625,988,186117.0,5,100000,190720,4.021630429,24865.53694215645,4.742355205608078,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.462830418,0.0,0.063246146,15866,21617,3.982352e6,5,100000,5409487,76.612721595,1305.2662523677573,7.060820823722102,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.462830418,0.270765344,0.009198265,2234,3977,1.138176e6,5,100000,648737,10.182445661,9820.823339427396,6.371131470750111,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 20.460232334,0.0,0.634077978,131069,176419,3.0347603e7,5,100000,44215420,628.274257022,159.16615854037505,7.03759854964927,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,20.460232334,6.930488685,0.067813145,15143,27212,6.101363e6,5,100000,4383934,69.266527038,1443.6987716323563,6.329080130717323,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,996.196988947,300.786223055,0.538602431,90592,175381,4.1886806e7,5,100000,24116153,447.573058293,223.42721070251693,5.388204797665136,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,8.3942e-5,0.0,0.004405,34,37,8624.0,5,100000,2996,0.783716111,127597.22378605025,0.3822812824630066,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,8.3942e-5,0.000134049,0.000262086,34,37,9296.0,5,100000,81,0.766053119,130539.25050333227,0.010573679290769914,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.00020201,0.0,0.001324225,280,385,97076.0,5,100000,1559,1.549350102,64543.19128447058,0.10062283521248963,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.00020201,0.001535041,0.00090682,200,285,84804.0,5,100000,1107,1.422593577,70294.14557802408,0.07781561915487266,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003459706,0.0,0.037216462,7854,11241,1.982968e6,5,100000,59501,16.824688305,5943.646514407151,0.3536529112537399,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003459706,0.174508516,0.022171792,4998,7671,1.507432e6,5,100000,32693,15.014079758,6660.414864701694,0.21774894317169247,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000196419,0.0,0.004471007,26,29,6532.0,6,100000,9004,0.665819145,150190.93510746077,1.3523191797075766,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000196419,0.000128257,0.0001867,26,29,6948.0,6,100000,5683,0.643209117,155470.4331095481,0.8835384713615618,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.00080887,0.0,0.00039912,77,101,19175.0,6,100000,23078,0.962923589,103850.40011726206,2.3966595339061736,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.00080887,0.000541475,0.000311862,61,79,16863.0,6,100000,16308,0.904934014,110505.2948092633,1.8021203477494658,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006566991,0.0,0.007147371,356,493,85898.0,6,100000,126762,2.307346718,43339.823711747864,5.493842733348583,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006566991,0.002805484,0.017265375,148,221,43962.0,6,100000,43511,1.303795345,76699.15403786013,3.3372568913413323,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.028135309,0.0,0.016663072,2183,3015,504653.0,6,100000,763658,9.972498107,10027.577736997207,7.6576399594798135,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.028135309,0.026806645,0.002302292,625,988,186117.0,6,100000,190720,3.676338359,27200.978319961003,5.187770585182962,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.484629127,0.0,0.056936072,15866,21617,3.982352e6,6,100000,5409487,69.113911913,1446.8867009854564,7.826914799453713,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.484629127,0.275935088,0.008667164,2234,3977,1.145088e6,6,100000,648737,9.30941058,10741.818629724676,6.968615192391697,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 20.732339707,0.0,0.628233918,131069,176419,3.0347603e7,6,100000,44215420,582.688575813,171.61826085310554,7.588173483289619,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,20.732339707,7.397597977,0.068873962,15143,27212,6.101363e6,6,100000,4383934,57.469960363,1740.0394809456222,7.628218241859865,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1075.435192418,313.241587036,0.544431835,90592,175381,4.1886806e7,6,100000,24116153,381.557577984,262.0836428629216,6.320449230079575,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.1909e-5,0.0,0.004495034,34,37,8624.0,6,100000,2996,0.67597446,147934.5832089573,0.4432120112940361,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.1909e-5,0.000141152,0.000269951,34,37,9296.0,6,100000,81,0.603840177,165606.7347105325,0.013414145511553134,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000422796,0.0,0.001341338,280,385,69428.0,6,100000,1559,1.388725307,72008.48108401326,0.11226122200997667,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000422796,0.001433466,0.000905117,200,285,57156.0,6,100000,1107,1.282397683,77978.93065906296,0.08632267623958269,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003268336,0.0,0.036040866,7854,11241,1.982968e6,6,100000,59501,14.648639395,6826.572578073897,0.4061878949679749,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003268336,0.169649995,0.021970796,4998,7671,1.507432e6,6,100000,32693,13.612503713,7346.18716059556,0.24016889684135065,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000193123,0.0,0.004418486,26,29,6532.0,7,100000,9004,0.606207547,164960.0050261334,1.4852998852553052,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000193123,0.000122947,0.00019181,26,29,6948.0,7,100000,5683,0.556301767,179758.55180053742,1.021567849882454,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000714799,0.0,0.000399752,77,101,19175.0,7,100000,23078,0.872702479,114586.58867863718,2.644429293525589,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000714799,0.000535905,0.000307143,61,79,16863.0,7,100000,16308,0.79957029,125067.17827146879,2.039595543251113,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006319495,0.0,0.006971923,356,493,85898.0,7,100000,126762,2.089060383,47868.41051305313,6.067895453455641,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006319495,0.002734156,0.000641959,148,221,43962.0,7,100000,43511,1.190928755,83968.07918203302,3.6535350932894386,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.028021922,0.0,0.017550787,2183,3015,504653.0,7,100000,763658,9.398939859,10639.497805089637,8.124937614839142,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.028021922,0.028555462,0.002317553,625,988,186117.0,7,100000,190720,3.267926454,30600.443861763848,5.836116653315601,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.512417516,0.0,0.060332671,15866,21617,3.982352e6,7,100000,5409487,63.45447959,1575.9328678783984,8.524988361660913,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.512417516,0.275001638,0.008548596,2234,3977,1.138176e6,7,100000,648737,8.402601257,11901.076457328314,7.720668637697798,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 21.498140202,0.0,0.590171518,131069,176419,3.0347603e7,7,100000,44215420,504.292730708,198.29752425660658,8.767808319966047,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,21.498140202,7.304728361,0.069172542,15143,27212,6.101363e6,7,100000,4383934,54.316946116,1841.0460666628544,8.071024447209554,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1109.530287056,308.816305574,0.516079381,90592,175381,4.1886806e7,7,100000,24116153,331.115050018,302.0098301015427,7.28331527023281,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.6027e-5,0.0,0.004460999,34,37,8624.0,7,100000,2996,0.487438525,205154.07558317226,0.6146416104471841,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.6027e-5,0.000147545,0.000260613,34,37,9296.0,7,100000,81,0.561137008,178209.59689759047,0.014434977348704829,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.00020775,0.0,0.001314627,280,385,97076.0,7,100000,1559,1.31459795,76068.8847871701,0.11859139138319819,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.00020775,0.001473052,0.000904496,200,285,84804.0,7,100000,1107,1.122185164,89111.85355859864,0.0986468218893687,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003220766,0.0,0.036372342,7854,11241,1.982968e6,7,100000,59501,13.51947188,7396.738636509521,0.440113345610953,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003220766,0.152428025,0.021451316,4998,7671,1.507432e6,7,100000,32693,12.509668604,7993.816876014184,0.2613418551275317,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000195387,0.0,0.004436682,26,29,6532.0,8,100000,9004,0.580562495,172246.7449434535,1.5509096914708553,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000195387,0.000130031,0.000188845,26,29,6948.0,8,100000,5683,0.500970179,199612.67993957782,1.1343988600966208,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000632661,0.0,0.000385644,77,101,19175.0,8,100000,23078,0.810776251,123338.59048863532,2.846407991296726,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000632661,0.000547797,0.00031069,61,79,16863.0,8,100000,16308,0.765485478,130636.05107346008,2.130412720905987,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006564217,0.0,0.007039925,356,493,85898.0,8,100000,126762,1.942894595,51469.59606421675,6.524388936292243,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006564217,0.003082479,0.000633532,148,221,43962.0,8,100000,43511,1.239888609,80652.40641306674,3.5092668554389466,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.042983459,0.0,0.016640412,2183,3015,504653.0,8,100000,763658,8.376172323,11938.627351948284,9.117028286334122,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.042983459,0.03871419,0.002443526,625,988,186117.0,8,100000,190720,3.025044793,33057.36173937045,6.3047000309327315,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.497971652,0.0,0.061682846,15866,21617,3.982352e6,8,100000,5409487,58.214662294,1717.7802989730078,9.292310196150599,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.497971652,0.285039568,0.008657918,2234,3977,1.145088e6,8,100000,648737,7.825655445,12778.482352413357,8.289874305857584,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 21.440469292,0.0,0.619933285,131069,176419,3.0347603e7,8,100000,44215420,420.804925975,237.63980368884987,10.507343728820045,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,21.440469292,6.814793959,0.083507684,15143,27212,6.101363e6,8,100000,4383934,49.980652717,2000.774190889805,8.771262001764304,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1026.954309236,318.915913008,0.532459221,90592,175381,4.1886806e7,8,100000,24116153,313.975960695,318.49572106936296,7.68089153915408,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,0.00879256,0.0,0.004721763,34,37,8624.0,8,100000,2996,0.510352009,195943.1886942959,0.5870457933281106,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,0.00879256,0.000145351,0.000268718,34,37,9296.0,8,100000,81,0.496736,201314.17896025252,0.016306448495780456,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.008993688,0.0,0.001454618,280,385,69428.0,8,100000,1559,1.093255124,91469.957747941,0.14260166412904005,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.008993688,0.001412807,0.000895779,200,285,57156.0,8,100000,1107,1.068619627,93578.66678973136,0.10359158413623261,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.012560102,0.0,0.035720391,7854,11241,1.982968e6,8,100000,59501,11.539769394,8665.68443317369,0.5156168894582678,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.012560102,0.182841117,0.023654133,4998,7671,1.507432e6,8,100000,32693,11.319989901,8833.930142567184,0.28880767815094893,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000192151,0.0,0.004419239,26,29,6532.0,9,100000,9004,0.499617151,200153.256948539,1.8021799255646451,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000192151,0.000144419,0.000189836,26,29,6948.0,9,100000,5683,0.473167241,211341.765310418,1.2010552522591054,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000720049,0.0,0.000390263,77,101,19175.0,9,100000,23078,0.713142859,140224.35860919137,3.2360977479829187,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000720049,0.000586912,0.000302844,61,79,16863.0,9,100000,16308,0.669478566,149369.97997931423,2.4359256335026567,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006486729,0.0,0.007169737,356,493,85898.0,9,100000,126762,1.859962653,53764.5203997545,6.81529813491368,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006486729,0.011565693,0.000634915,148,221,43962.0,9,100000,43511,1.059319005,94400.26991680377,4.107450144350048,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.027804232,0.0,0.016383501,2183,3015,504653.0,9,100000,763658,8.189393269,12210.916818287189,9.324964315619559,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.027804232,0.018959994,0.002288757,625,988,186117.0,9,100000,190720,2.808391467,35607.571513818446,6.791076039115453,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.501027171,0.0,0.060402748,15866,21617,3.982352e6,9,100000,5409487,55.95715777,1787.0814742061907,9.667194002659224,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.501027171,0.275197987,0.010019027,2234,3977,1.145088e6,9,100000,648737,7.535833401,13269.932425354582,8.608696151827255,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 20.061923933,0.0,0.631593435,131069,176419,3.0347603e7,9,100000,44215420,456.092378702,219.25382810515595,9.694400096277276,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,20.061923933,7.147906349,0.071919256,15143,27212,6.101363e6,9,100000,4383934,48.923940753,2043.9890667202242,8.960713165223058,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1070.574012771,303.932890405,0.551100765,90592,175381,4.1886806e7,9,100000,24116153,310.445583911,322.11764374354397,7.768238380518799,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.1638e-5,0.0,0.004635444,34,37,8624.0,9,100000,2996,0.469519075,212983.89208148784,0.6380997406761376,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.1638e-5,0.000154478,0.000267958,34,37,9296.0,9,100000,81,0.457044333,218797.15550482494,0.01772256959589082,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000195107,0.0,0.001288145,280,385,69428.0,9,100000,1559,1.080429932,92555.74752070087,0.14429441038477267,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000195107,0.001432054,0.000910126,200,285,57156.0,9,100000,1107,1.064446018,93945.58137188692,0.10399775857867882,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003507468,0.0,0.036663988,7854,11241,1.982968e6,9,100000,59501,11.601946655,8619.24321612906,0.5128535906028951,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003507468,0.177030041,0.022671498,4998,7671,1.507432e6,9,100000,32693,11.417097776,8758.793343279502,0.2863512307718368,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000192201,0.0,0.004471929,26,29,6532.0,10,100000,9004,0.45313443,220685.06248796853,1.9870483026416688,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000192201,0.000178705,0.000184305,26,29,6948.0,10,100000,5683,0.434670391,230059.37848662896,1.3074274479395125,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000650626,0.0,0.000389822,77,101,19175.0,10,100000,23078,0.719073683,139067.80676883706,3.209406844611222,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000650626,0.000616089,0.000327572,61,79,16863.0,10,100000,16308,0.69419122,144052.52777469586,2.3492086229497398,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006433624,0.0,0.00691854,356,493,85898.0,10,100000,126762,1.684039798,59381.01945023036,7.5272567875501,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006433624,0.002841964,0.000581732,148,221,43962.0,10,100000,43511,1.00668735,99335.70735740347,4.3221959628279825,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.027172803,0.0,0.016521661,2183,3015,504653.0,10,100000,763658,7.451972784,13419.265327257803,10.247729321283039,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.027172803,0.041021627,0.002394881,625,988,186117.0,10,100000,190720,2.746619741,36408.389012594664,6.943807952482055,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.474783115,0.0,0.064700007,15866,21617,3.982352e6,10,100000,5409487,51.220265118,1952.352252953444,10.561224131772365,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.474783115,0.30433297,0.008515192,2234,3977,1.145088e6,10,100000,648737,7.112795448,14059.169946763806,9.120703733753711,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 20.502990213,0.0,0.615116117,131069,176419,3.0347603e7,10,100000,44215420,392.698996733,254.647964043542,11.259366682330109,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,20.502990213,7.655999141,0.069640348,15143,27212,6.101363e6,10,100000,4383934,43.903968997,2277.698401409519,9.98527946368484,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1027.754171961,327.732417425,0.521515848,90592,175381,4.1886806e7,10,100000,24116153,277.563406443,360.27803982343704,8.6885203309221,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.2379e-5,0.0,0.004619645,34,37,8624.0,10,100000,2996,0.443378437,225540.9637794361,0.6757207274831906,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.2379e-5,0.000166412,0.000264781,34,37,9296.0,10,100000,81,0.420363951,237889.09529970612,0.019269016719276198,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000437034,0.0,0.00127453,280,385,69428.0,10,100000,1559,0.967781506,103329.10825431706,0.1610900797684803,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000437034,0.001457062,0.00090646,200,285,57156.0,10,100000,1107,0.949767711,105288.90258304433,0.11655481515943007,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003220665,0.0,0.072880564,7854,11241,1.982968e6,10,100000,59501,11.007636322,9084.602459125466,0.5405429309204244,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003220665,0.168780534,0.022267224,4998,7671,1.507432e6,10,100000,32693,10.635029698,9402.888646263562,0.30740863851229466,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000203011,0.0,0.004438546,26,29,6532.0,11,100000,9004,0.43307902,230904.74343458153,2.079066309884972,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000203011,0.000175709,0.000177883,26,29,6948.0,11,100000,5683,0.416968958,239826.00642420005,1.362931194508729,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000857655,0.0,0.000394191,77,101,19175.0,11,100000,23078,0.641316372,155929.27978454914,3.598535918867825,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000857655,0.000600769,0.000334005,61,79,16863.0,11,100000,16308,0.596780391,167565.82741003632,2.7326635134028723,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006490225,0.0,0.006883675,356,493,85898.0,11,100000,126762,1.660801892,60211.87745612226,7.63257801009297,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006490225,0.002768473,0.000615147,148,221,43962.0,11,100000,43511,1.038536978,96289.30131364086,4.189643789457827,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.038627779,0.0,0.016443034,2183,3015,504653.0,11,100000,763658,7.365776052,13576.301980135195,10.367651617546084,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.038627779,0.047676602,0.002288046,625,988,186117.0,11,100000,190720,2.647619556,37769.77692032125,7.20345185424367,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.482752786,0.0,0.058686491,15866,21617,3.982352e6,11,100000,5409487,49.704248059,2011.900469378349,10.883349434396077,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.482752786,0.254153975,0.009649984,2234,3977,1.145088e6,11,100000,648737,6.75425175,14805.489001798016,9.604868518559439,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 21.121444865,0.0,0.62464809,131069,176419,3.0347603e7,11,100000,44215420,438.79481545,227.89694973366167,10.07655934919274,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,21.121444865,7.186122492,0.068743552,15143,27212,6.101363e6,11,100000,4383934,44.808839824,2231.702503184185,9.783636481594257,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1077.593096899,297.354005967,0.506558376,90592,175381,4.1886806e7,11,100000,24116153,266.27345329,375.55377287682296,9.056912246424712,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,6.8913e-5,0.0,0.004442985,34,37,8624.0,11,100000,2996,0.32442652,308236.20707702934,0.9234756764027799,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,6.8913e-5,0.000162694,0.00025898,34,37,9296.0,11,100000,81,0.415785133,240508.83993488053,0.019481216034725322,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000206098,0.0,0.001313495,280,385,69428.0,11,100000,1559,0.987170609,101299.61233479147,0.15792609562993992,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000206098,0.001450329,0.000935615,200,285,57156.0,11,100000,1107,0.952019511,105039.8640411898,0.1162791294935971,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003369012,0.0,0.035907999,7854,11241,1.982968e6,11,100000,59501,10.379516522,9634.360115718693,0.573254061245378,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003369012,0.16550609,0.021617199,4998,7671,1.507432e6,11,100000,32693,10.473261621,9548.12393872501,0.31215681592873673,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000189566,0.0,0.004392718,26,29,6532.0,12,100000,9004,0.483418508,206860.09812433575,1.8625683235115191,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000189566,0.00015017,0.000190698,26,29,6948.0,12,100000,5683,0.474794125,210617.60189218854,1.1969398315533075,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.00063235,0.0,0.000405222,77,101,19175.0,12,100000,23078,0.761176533,131375.56882616086,3.03188537737014,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.00063235,0.000549831,0.000305079,61,79,16863.0,12,100000,16308,0.732970629,136431.1147588971,2.224918619488094,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006426914,0.0,0.006823249,356,493,85898.0,12,100000,126762,1.770026671,56496.32383420735,7.161587001871792,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006426914,0.003004358,0.000636378,148,221,43962.0,12,100000,43511,1.060312526,94311.81613712259,4.103601431942341,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.028221685,0.0,0.028572612,2183,3015,504653.0,12,100000,763724,7.925861447,12616.925071009256,9.635848482931472,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.028221685,0.019081115,0.002303726,625,988,186117.0,12,100000,190720,2.850211859,35085.11119418509,6.691432406954981,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.501636999,0.0,0.059006557,15866,21617,3.982352e6,12,100000,5409487,53.447711606,1870.9874940421973,10.121082526183844,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.501636999,0.274365688,0.008454246,2234,3977,1.145088e6,12,100000,648737,7.431523955,13456.190224983267,8.729528477984971,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 21.426177611,0.0,0.602913882,131069,176419,3.0347603e7,12,100000,44215420,466.11689765,214.53845699258142,9.485907982078924,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,21.426177611,6.998987577,0.066746343,15143,27212,6.101363e6,12,100000,4383934,47.535508651,2103.6905428779146,9.222440496400948,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1277.601276217,320.211942438,0.537374028,90592,175381,4.1886806e7,12,100000,24116153,279.210766456,358.15237810952647,8.63725754780319,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.4344e-5,0.0,0.004510293,34,37,8624.0,12,100000,2996,0.413678932,241733.36436674034,0.724233159642754,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.4344e-5,0.000168255,0.000274109,34,37,9296.0,12,100000,81,0.402990007,248145.11095308626,0.02009975398719999,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000189135,0.0,0.00129061,280,385,69428.0,12,100000,1559,1.173806842,85192.8924094651,0.1328157192663561,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000189135,0.001409239,0.000916038,200,285,57156.0,12,100000,1107,1.067306001,93693.84216551407,0.10371908327722408,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003632179,0.0,0.036494649,7854,11241,1.982968e6,12,100000,59501,11.781685979,8487.749561331268,0.5050295866487717,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003632179,0.160353604,0.022260904,4998,7671,1.507432e6,12,100000,32693,10.987711019,9101.07663252879,0.2975414983472637,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000190067,0.0,0.00443606,26,29,6532.0,13,100000,9004,0.547994075,182483.72484684255,1.6430834585209704,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000190067,0.000239683,0.00019697,26,29,6948.0,13,100000,5683,0.535694281,186673.63745852644,1.0608662816768057,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000692326,0.0,0.000390523,77,101,19175.0,13,100000,23078,0.773510555,129280.71808923151,2.983540412063285,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000692326,0.000669993,0.000346038,61,79,16863.0,13,100000,16308,0.732189653,136576.6363813939,2.227291786107772,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006391773,0.0,0.006974107,356,493,85898.0,13,100000,126762,1.759510745,56833.980857559356,7.20438908146594,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006391773,0.002807798,0.000618633,148,221,43962.0,13,100000,43511,1.092329881,91547.43611742322,3.9833204929052015,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.027766638,0.0,0.027217819,2183,3015,504653.0,13,100000,763724,7.929688029,12610.836597137963,9.631198569312593,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.027766638,0.028320476,0.002329986,625,988,186117.0,13,100000,190720,2.780140397,35969.40647598525,6.860085203099907,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.482710195,0.0,0.06206015,15866,21617,3.982352e6,13,100000,5409487,51.839821213,1929.0189985246855,10.435003195272305,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.482710195,0.28921717,0.008750996,2234,3977,1.145088e6,13,100000,648737,7.412424255,13490.862983530074,8.752021979346349,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 21.293659591,0.0,0.590692775,131069,176419,3.0347603e7,13,100000,44215420,432.433232805,231.24957198905588,10.22479695031634,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,21.293659591,7.131638858,0.069339076,15143,27212,6.101363e6,13,100000,4383934,47.786343106,2092.648097766747,9.174031145834967,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1273.316510634,335.674993987,0.526574681,90592,175381,4.1886806e7,13,100000,24116153,276.276950121,361.9556389203057,8.728977567414848,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,6.6799e-5,0.0,0.004478593,34,37,8624.0,13,100000,2996,0.423255672,236263.81550298515,0.7078463912469435,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,6.6799e-5,0.000204415,0.000288797,34,37,9296.0,13,100000,81,0.408583807,244747.82966619133,0.019824574202961496,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000203362,0.0,0.00130099,280,385,69428.0,13,100000,1559,1.122865416,89057.86800009522,0.13884121621214843,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000203362,0.001497029,0.000891972,200,285,57156.0,13,100000,1107,1.020172954,98022.59470603452,0.1085110123395802,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003168585,0.0,0.035867809,7854,11241,1.982968e6,13,100000,59501,12.393978637,8068.43411053396,0.48007989801088113,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003168585,0.163690849,0.021576369,4998,7671,1.507432e6,13,100000,32693,11.010561284,9082.189129205886,0.29692400920112805,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.00018669,0.0,0.004397457,26,29,6532.0,14,100000,9004,0.527073004,189727.03826811817,1.708302252566136,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.00018669,0.000324185,0.000194946,26,29,6948.0,14,100000,5683,0.458397399,218151.3250689278,1.2397539803667166,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.00069971,0.0,0.000378761,77,101,19175.0,14,100000,23078,0.714559165,139946.42417048838,3.2296835770065306,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.00069971,0.000598515,0.000293827,61,79,16863.0,14,100000,16308,0.66240769,150964.43098358353,2.4619279404802805,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006402956,0.0,0.00695377,356,493,85898.0,14,100000,126762,1.710281995,58469.88993180624,7.411760187535623,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006402956,0.002759405,0.000600759,148,221,43962.0,14,100000,43511,1.014717235,98549.62205308359,4.28799260515172,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.032679416,0.0,0.016512948,2183,3015,504653.0,14,100000,763658,7.828665801,12773.568643998884,9.7546378835389,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.032679416,0.020024394,0.002360496,625,988,186117.0,14,100000,190720,2.754124738,36309.17605882236,6.9248860579386005,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.460803463,0.0,0.063617462,15866,21617,3.982352e6,14,100000,5409487,53.318832953,1875.5099176335868,10.14554651780996,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.460803463,0.277162604,0.008708737,2234,3977,1.138176e6,14,100000,648737,7.348664671,13607.914427587031,8.827957582009526,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 21.631277771,0.0,0.603453127,131069,176419,3.0347603e7,14,100000,44215420,492.807533409,202.91897590982268,8.97214774582269,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,21.631277771,8.014043848,0.077142734,15143,27212,6.101363e6,14,100000,4383934,48.363597019,2067.670855017551,9.064532562120512,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1004.863551823,371.561277878,0.559492832,90592,175381,4.1886806e7,14,100000,24116153,287.505533129,347.81939294062664,8.388065696523272,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,0.000165329,0.0,0.004508541,34,37,8624.0,14,100000,2996,0.48208598,207431.87760822248,0.6214659053142345,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,0.000165329,0.000199836,0.000276263,34,37,9296.0,14,100000,81,0.380482809,262823.96374969993,0.021288741063725695,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.009012974,0.0,0.001376105,280,385,69428.0,14,100000,1559,1.131267759,88396.40235870985,0.13780999127722865,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.009012974,0.010351988,0.000909896,200,285,57156.0,14,100000,1107,1.023356495,97717.6580092942,0.10817344741628869,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.012403858,0.0,0.037485522,7854,11241,1.982968e6,14,100000,59501,12.151121801,8229.692833115236,0.48967495326318966,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.012403858,0.172663397,0.023039674,4998,7671,1.507432e6,14,100000,32693,10.867387443,9201.843637627266,0.3008358740449482,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000202691,0.0,0.004543188,26,29,6532.0,15,100000,9004,0.473289592,211287.13094540226,1.9024293270324018,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000202691,0.000320078,0.000190136,26,29,6948.0,15,100000,5683,0.347731884,287577.8857253136,1.6343051245769573,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000921408,0.0,0.000428156,77,101,19175.0,15,100000,23078,0.596355302,167685.27028204405,3.8698406675690125,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000921408,0.000675864,0.000329456,61,79,16863.0,15,100000,16308,0.567362661,176254.10848106552,2.8743520011092163,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006585229,0.0,0.007174396,356,493,85898.0,15,100000,126762,1.61234507,62021.46293659086,7.8619646847681315,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006585229,0.003182472,0.00066316,148,221,43962.0,15,100000,43511,0.897758569,111388.52187330111,4.846625975229205,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.028997821,0.0,0.017354753,2183,3015,504653.0,15,100000,763658,6.913065187,14465.363380060371,11.046590468090143,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.028997821,0.027657896,0.002407135,625,988,186117.0,15,100000,190720,2.435452561,41060.130507711416,7.830988090430721,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.492174748,0.0,0.059349767,15866,21617,3.982352e6,15,100000,5409487,46.812768582,2136.16931937777,11.555580162972895,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.492174748,0.269955216,0.032080581,2234,3977,1.138176e6,15,100000,648737,6.667653226,14997.780569939916,9.729615173601111,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 22.643020237,0.0,0.636924565,131069,176419,3.0347603e7,15,100000,44215420,424.818800537,235.3944784778667,10.408065731579836,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,22.643020237,7.985771306,0.072474025,15143,27212,6.101363e6,15,100000,4383934,44.334372178,2255.5862435246777,9.888341222920115,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1485.530249489,397.658153187,0.638985585,90592,175381,4.1886806e7,15,100000,24116153,269.663356096,370.8327354807528,8.943058986262361,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,0.000209875,0.0,0.00492289,34,37,8624.0,15,100000,2996,0.338031835,295830.1249939965,0.8863070544820136,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,0.000209875,0.000229513,0.00028484,34,37,9296.0,15,100000,81,0.336089426,297539.85774012416,0.024100728476950058,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.009123376,0.0,0.001690262,280,385,69428.0,15,100000,1559,1.057567801,94556.58531343656,0.1474137165036476,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.009123376,0.001499313,0.000924644,200,285,57156.0,15,100000,1107,0.904579185,110548.64146581042,0.12237734610265213,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.012292082,0.0,0.038656782,7854,11241,1.982968e6,15,100000,59501,11.503757351,8692.8120047062,0.5172310070920236,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.012292082,0.151905146,0.023436589,4998,7671,1.507432e6,15,100000,32693,10.327723176,9682.676258440411,0.3165557349171924,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.00021785,0.0,0.004706243,26,29,6532.0,16,100000,9004,0.445157112,224639.7896480198,2.0226566659907705,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.00021785,0.000230936,0.000219173,26,29,6948.0,16,100000,5683,0.430360336,232363.42114948065,1.3205213223924985,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000654273,0.0,0.000412897,77,101,19175.0,16,100000,23078,0.70587896,141667.3476143842,3.269399048244759,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000654273,0.000666236,0.000331079,61,79,16863.0,16,100000,16308,0.65326842,153076.43372688978,2.496370481218119,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006661125,0.0,0.00739416,356,493,85898.0,16,100000,126762,1.667412207,59973.172548568255,7.602319298601609,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006661125,0.003100975,0.000661416,148,221,43962.0,16,100000,43511,0.962123267,103936.7858879563,4.522393490770867,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.028562832,0.0,0.016842333,2183,3015,504653.0,16,100000,763868,7.366911173,13574.210093166817,10.368904715447151,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.028562832,0.029729073,0.002601641,625,988,186117.0,16,100000,190720,2.634451943,37958.55918560591,7.23945640787876,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.516360245,0.0,0.076747543,15866,21617,3.982352e6,16,100000,5409487,49.351015764,2026.3007448156077,10.961247537170347,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.516360245,0.301078852,0.009558346,2234,3977,1.138176e6,16,100000,648737,6.847931323,14602.950187910346,9.473474096054394,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 25.939934347,0.0,0.733047632,131069,176419,3.0347603e7,16,100000,44215420,491.777573424,203.34396158765492,8.990938666062029,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,25.939934347,8.631827729,0.087097207,15143,27212,6.101363e6,16,100000,4383934,47.6305863,2099.491267442156,9.204031150042761,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1018.788654921,349.205570635,0.589884785,90592,175381,4.1886806e7,16,100000,24116153,279.01475952,358.40397895808064,8.643325192361853,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.4714e-5,0.0,0.004896817,34,37,8624.0,16,100000,2996,0.341596256,292743.2553593328,0.877058793056561,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.4714e-5,0.000208412,0.000282656,34,37,9296.0,16,100000,81,0.425742198,234883.92851300118,0.019025598209553095,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000189145,0.0,0.001344022,280,385,69428.0,16,100000,1559,1.04091459,96069.36146413318,0.14977213452258364,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000189145,0.001545932,0.000962788,200,285,57156.0,16,100000,1107,0.966884694,103424.94882848978,0.1144914183531382,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003313152,0.0,0.039354251,7854,11241,1.982968e6,16,100000,59876,11.327704054,8827.914246637503,0.5285801934316672,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003313152,0.181675267,0.023872797,4998,7671,1.507432e6,16,100000,32693,10.187305474,9816.138355251995,0.32091901124825345,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000204324,0.0,0.004517888,26,29,6532.0,17,100000,9004,0.445654406,224389.1200303762,2.020399636753507,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000204324,0.000252147,0.000211478,26,29,6948.0,17,100000,5683,0.410519847,243593.58196876655,1.3843423263285002,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000668741,0.0,0.000443246,77,101,19175.0,17,100000,23078,0.734380018,136169.28231835415,3.142514697342977,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000668741,0.010516274,0.00033681,61,79,16863.0,17,100000,16308,0.688909173,145157.01622106286,2.367220620533093,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.0067054,0.0,0.007253146,356,493,85898.0,17,100000,126762,1.614123061,61953.1449715159,7.853304562879299,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.0067054,0.002838497,0.000685182,148,221,43962.0,17,100000,43511,0.987985459,101216.06455748454,4.40401218496071,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.035435199,0.0,0.017731226,2183,3015,504653.0,17,100000,763724,6.980259274,14326.11541701309,10.941198170742904,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.035435199,0.021006666,0.002401755,625,988,186117.0,17,100000,190720,2.472852313,40439.13155439623,7.712551170054448,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.541442108,0.0,0.061882985,15866,21617,3.982352e6,17,100000,5409487,46.233916066,2162.9143388426724,11.70025699808303,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.541442108,0.293481088,0.009062498,2234,3977,1.145088e6,17,100000,648737,6.636799281,15067.504043143594,9.774847370436845,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 25.279624872,0.0,0.698198729,131069,176419,3.0347603e7,17,100000,44215420,426.554493162,234.43663495069845,10.365714277731811,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,25.279624872,7.203989148,0.076809539,15143,27212,6.101363e6,17,100000,4383934,43.245261875,2312.392055551635,10.137374153662703,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1303.028701647,315.773847431,0.549036859,90592,175381,4.1886806e7,17,100000,24116153,250.493910178,399.21130189927726,9.62744083593216,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,7.3732e-5,0.0,0.004866481,34,37,8624.0,17,100000,2996,0.32696764,305840.6636204121,0.9162986282067547,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,7.3732e-5,0.000468063,0.000258529,34,37,9296.0,17,100000,81,0.31206863,320442.3334700447,0.025955829011073624,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000208843,0.0,0.001385504,280,385,69428.0,17,100000,1559,0.908598646,110059.59610465897,0.17158291032716333,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000208843,0.00204185,0.000921047,200,285,57156.0,17,100000,1107,0.813174128,122974.89130150978,0.13613320467077134,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.00405205,0.0,0.040316398,7854,11241,1.982968e6,17,100000,59501,11.695236098,8550.490059546637,0.5087627090330844,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.00405205,0.179589539,0.024358764,4998,7671,1.507432e6,17,100000,32693,9.799341759,10204.767060823968,0.333624449519518,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000200797,0.0,0.004519631,26,29,6532.0,18,100000,9004,0.339515342,294537.49986944627,2.652015648824494,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000200797,0.000499213,0.000200947,26,29,6948.0,18,100000,5683,0.402154105,248660.89580261777,1.4131398708462768,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000905517,0.0,0.000413669,77,101,19175.0,18,100000,23078,0.68732477,145491.62836078205,3.357655799310128,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000905517,0.000730469,0.000315138,61,79,16863.0,18,100000,16308,0.545751821,183233.47014539785,2.9881714311311485,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006653348,0.0,0.007026629,356,493,85898.0,18,100000,126762,1.566665018,63829.8544047787,8.091200004058557,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006653348,0.00330121,0.000656176,148,221,43962.0,18,100000,43511,0.878339556,113851.18581634275,4.953778946054889,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.029153787,0.0,0.016601616,2183,3015,504653.0,18,100000,763658,6.950765677,14386.90421271124,10.986674497270641,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.029153787,0.05377634,0.002536926,625,988,186117.0,18,100000,190720,2.33175583,42886.13701032325,8.17924405060885,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.582735557,0.0,0.071983304,15866,21617,3.982352e6,18,100000,5409487,47.202414306,2118.5357035283846,11.46019134727265,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.582735557,0.294595232,0.009367837,2234,3977,1.145088e6,18,100000,648737,6.469811286,15456.401366202075,10.027139453105836,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 26.210031525,0.0,0.691078455,131069,176419,3.0347603e7,18,100000,44215420,382.223052854,261.627338417491,11.5679626516115,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,26.210031525,7.637359227,0.075329431,15143,27212,6.101363e6,18,100000,4383934,40.687638293,2457.7489428086133,10.774609153842736,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1440.310788852,366.525255894,0.588198648,90592,175381,4.1886806e7,18,100000,24116153,252.867478334,395.4640614872388,9.537071812827657,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,0.008546751,0.0,0.005411528,34,37,8624.0,18,100000,2996,0.309817259,322770.9144505729,0.9670216596939164,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,0.008546751,0.000270081,0.000281553,34,37,9296.0,18,100000,81,0.428070756,233606.24055337245,0.018922105484823166,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000194335,0.0,0.001407287,280,385,69428.0,18,100000,1559,0.967821986,103324.78642410175,0.16108334203517463,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000194335,0.002010812,0.000964292,200,285,57156.0,18,100000,1107,0.927882287,107772.29116348032,0.11930392631797271,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.012187129,0.0,0.040607299,7854,11241,1.982968e6,18,100000,59501,11.250098869,8888.810770859369,0.5288931296769033,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.012187129,0.170900529,0.023162198,4998,7671,1.507432e6,18,100000,32693,9.690556975,10319.324292502806,0.3373696690947942,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.00020186,0.0,0.004519896,26,29,6532.0,19,100000,9004,0.41413132,241469.3001244146,2.174189578320229,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.00020186,0.000516958,0.000187271,26,29,6948.0,19,100000,5683,0.299569181,333812.7095256838,1.897057628234461,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000878145,0.0,0.000417847,77,101,19175.0,19,100000,23078,0.651422135,153510.28868553875,3.542710442284863,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000878145,0.000736833,0.000331259,61,79,16863.0,19,100000,16308,0.544147214,183773.7976546913,2.9969830921527056,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.006877918,0.0,0.007123874,356,493,85898.0,19,100000,126762,1.458224311,68576.55522930039,8.692901293976576,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.006877918,0.011849797,0.000624075,148,221,43962.0,19,100000,43511,0.852092557,117358.14281968902,5.1063701522274885,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.085399356,0.0,0.018310871,2183,3015,504653.0,19,100000,763658,6.637971971,15064.842159153492,11.504387233574837,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.085399356,0.021113683,0.00254313,625,988,186117.0,19,100000,190720,2.411972756,41459.83811435721,7.907220325170207,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.607280651,0.0,0.063307163,15866,21617,3.982352e6,19,100000,5409487,44.735065778,2235.38287606986,12.092274608122517,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.607280651,0.307961491,0.010492587,2234,3977,1.145088e6,19,100000,648737,6.334775639,15785.878726998748,10.240883607716988,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 23.320951934,0.0,0.693430599,131069,176419,3.0347603e7,19,100000,44215420,401.881428291,248.82961231935948,11.002105817137654,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,23.320951934,8.541698254,0.074750241,15143,27212,6.101363e6,19,100000,4383934,41.849364229,2389.522561269971,10.475509200118509,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1510.327292637,352.109391098,0.559711443,90592,175381,4.1886806e7,19,100000,24116153,252.7304947,395.67840880738794,9.542241045595514,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,6.7811e-5,0.0,0.004609839,34,37,8624.0,19,100000,2996,0.291110435,343512.2481954314,1.0291626955935125,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,6.7811e-5,0.000267526,0.000275612,34,37,9296.0,19,100000,81,0.402995661,248141.6294951126,0.020099471989104122,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000188534,0.0,0.001300941,280,385,69428.0,19,100000,1559,0.912485361,109590.79923255887,0.1708520560035593,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000188534,0.001636229,0.000925687,200,285,57156.0,19,100000,1107,0.883178546,113227.38811184844,0.12534271863981622,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.003363252,0.0,0.044650314,7854,11241,1.982968e6,19,100000,59501,11.140588158,8976.186766960818,0.5340920888209356,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.003363252,0.184699007,0.022146943,4998,7671,1.507432e6,19,100000,32693,9.337544845,10709.453251359459,0.35012415514669476,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized tape, 0.000207631,0.0,0.004728839,26,29,6532.0,20,100000,9004,0.392654728,254676.67359910154,2.2931087690863103,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced tape,0.000207631,0.000541655,0.000193453,26,29,6948.0,20,100000,5683,0.401698527,248942.90936745206,1.41474255393523,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized tape, 0.000755719,0.0,0.000411374,77,101,19175.0,20,100000,23078,0.608986178,164207.33936591906,3.78957697788668,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced tape,0.000755719,0.000786648,0.000320689,61,79,16863.0,20,100000,16308,0.561425046,178118.16681936916,2.904751064490272,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized tape, 0.00680686,0.0,0.007280525,356,493,85898.0,20,100000,126762,1.516938227,65922.26250225547,8.356437839310908,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced tape,0.00680686,0.00329476,0.000682818,148,221,43962.0,20,100000,43511,0.855509301,116889.43636627978,5.0859762657332,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized tape, 0.035807443,0.0,0.018407324,2183,3015,504653.0,20,100000,763658,6.483258145,15424.343403188675,11.77892323459226,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced tape,0.035807443,0.029869831,0.002495287,625,988,186117.0,20,100000,190720,2.344648014,42650.325082014635,8.134269999641832,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized tape, 0.500300279,0.0,0.071999229,15866,21617,3.982352e6,20,100000,5409487,44.308437428,2256.9064901577103,12.208706318723763,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced tape,0.500300279,0.28806712,0.009827571,2234,3977,1.138176e6,20,100000,648737,5.958160655,16783.703191366865,10.888209257257767,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' not optimized tape, 25.051627576,0.0,0.693667467,131069,176419,3.0347603e7,20,100000,44215420,422.526537587,236.6715249912784,10.464530879529871,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced tape,25.051627576,7.237220203,0.078058525,15143,27212,6.101363e6,20,100000,4383934,42.190217391,2370.2176993601356,10.390877959626676,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkkke' reduced tape,1196.394580677,340.587143784,0.578833843,90592,175381,4.1886806e7,20,100000,24116154,279.106526191,358.28614029457464,8.640483735409568,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized tape,9.1416e-5,0.0,0.004836266,34,37,8624.0,20,100000,2996,0.38678703,258540.21009959927,0.7745864694583994,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced tape,9.1416e-5,0.000329175,0.000266465,34,37,9296.0,20,100000,81,0.359330419,278295.3925200527,0.022541926794124267,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized tape,0.000265963,0.0,0.001384653,280,385,69428.0,20,100000,1559,0.892257011,112075.33117383372,0.17472544130000678,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced tape,0.000265963,0.001669343,0.000980082,200,285,57156.0,20,100000,1107,0.841548395,118828.57907417195,0.13154323703510837,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized tape,0.004729409,0.0,0.041125808,7854,11241,1.982968e6,20,100000,59504,9.909170632,10091.661927494397,0.6004942513336267,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced tape,0.004729409,0.196479377,0.023861131,4998,7671,1.507432e6,20,100000,32693,9.075344922,11018.86494226627,0.36023975155751115,none,0.0,0.0,0.0