初始化项目，由ModelHub XC社区提供模型

Model: TaH-plus/qwen3-1.7b-tah-duo-maxiter4-amteam121k-sft
Source: Original Platform

checkpoint-3780/eval_results/thr0.5/aime26/20260718_002805_0.124/detailed_results.csv

@@ -0,0 +1,961 @@
+problem_id,sample_idx,correct_answer,predicted_answer,has_answer,is_correct,input_tokens,output_tokens,processing_time
+aime26_1,15,277,"[277, '277']",True,True,166,16384,134.77429561095778
+aime26_1,13,277,"[277, '277']",True,True,166,16384,135.70280905696563
+aime26_1,31,277,"[277, '277']",True,True,166,16384,137.5812207129784
+aime26_1,1,277,"[277, '277']",True,True,166,16384,140.64982309704646
+aime26_1,12,277,"[277, '277']",True,True,166,16384,142.44176353001967
+aime26_1,2,277,"[277, '277']",True,True,166,16384,142.46094795805402
+aime26_1,20,277,"[277, '277']",True,True,166,16384,143.52319206099492
+aime26_1,10,277,"[277, '277']",True,True,166,16384,143.6126011540182
+aime26_1,7,277,"[277, '277']",True,True,166,16384,145.01237725489773
+aime26_3,16,79,"[42, '42']",True,False,137,16384,145.38743539701682
+aime26_1,25,277,"[277, '277']",True,True,166,16384,146.46217927301768
+aime26_1,16,277,"[277, '277']",True,True,166,16384,147.27775920392014
+aime26_1,24,277,"[277, '277']",True,True,166,16383,149.63286338292528
+aime26_1,9,277,"[277, '277']",True,True,166,16384,151.64027504296973
+aime26_1,18,277,"[277, '277']",True,True,166,16384,151.76163151301444
+aime26_1,21,277,"[277, '277']",True,True,166,16384,155.11816306505352
+aime26_1,22,277,"[277, '277']",True,True,166,16383,155.7441281210631
+aime26_1,8,277,"[277, '277']",True,True,166,16384,158.9973271630006
+aime26_1,29,277,"[277, '277']",True,True,166,16383,159.5448646149598
+aime26_1,30,277,"[277, '277']",True,True,166,16384,165.74750621290877
+aime26_1,23,277,"[277, '277']",True,True,166,16384,170.303320811945
+aime26_1,19,277,"[277, '277']",True,True,166,16384,177.1560318999691
+aime26_1,26,277,"[277, '277']",True,True,166,16384,177.59984589007217
+aime26_1,6,277,"[277, '277']",True,True,166,16384,178.32823404797819
+aime26_1,28,277,"[277, '277']",True,True,166,16382,178.4438678630395
+aime26_3,5,79,"[42, '42']",True,False,137,16384,179.7478447520407
+aime26_1,27,277,"[277, '277']",True,True,166,16384,180.93286803003866
+aime26_2,1,62,"[5, '5']",True,False,85,16384,193.99506234005094
+aime26_1,0,277,"[277, '277']",True,True,166,16384,199.12051617202815
+aime26_1,3,277,"[277, '277']",True,True,166,16384,200.43822061899118
+aime26_3,18,79,"[200, '200']",True,False,137,16384,201.21330349089112
+aime26_3,7,79,"[42, '42']",True,False,137,16384,202.4101251210086
+aime26_1,5,277,"[277, '277']",True,True,166,16384,202.68894911906682
+aime26_3,22,79,"[1, '1']",True,False,137,16384,202.91442278400064
+aime26_1,4,277,"[277, '277']",True,True,166,16384,210.52554363198578
+aime26_3,10,79,"[1, '1']",True,False,137,16384,210.51481898198836
+aime26_3,20,79,"[19559, '19559']",True,False,137,16384,212.70852139103226
+aime26_2,28,62,['8 + 2 +'],True,False,85,16384,213.93810114997905
+aime26_3,11,79,"[1, '1']",True,False,137,16384,215.20402541593648
+aime26_3,14,79,"[1, '1']",True,False,137,16384,215.86283546697814
+aime26_3,2,79,"[1, '1']",True,False,137,16384,220.69986831198912
+aime26_3,8,79,"[1, '1']",True,False,137,16384,223.30379689496476
+aime26_3,9,79,"[2, '2']",True,False,137,16384,225.22161486791447
+aime26_1,14,277,"[277, '277']",True,True,166,16367,226.25752619595733
+aime26_3,1,79,['0).'],True,False,137,16384,226.91208929906134
+aime26_2,21,62,"[79, '79']",True,False,85,16384,231.91068653506227
+aime26_2,13,62,"[12, '12']",True,False,85,16384,233.54165580193512
+aime26_2,22,62,['15 + ..'],True,False,85,16384,236.7954011040274
+aime26_1,11,277,"[277, '277']",True,True,166,16383,238.11334624898154
+aime26_1,17,277,"[277, '277']",True,True,166,16383,239.68234283698257
+aime26_2,7,62,"[21, '21']",True,False,85,16384,240.87529073399492
+aime26_2,2,62,"[15, '15']",True,False,85,16384,243.22475534293335
+aime26_3,15,79,"[79, '79']",True,True,137,16384,246.24098540702835
+aime26_2,19,62,"[38, '38']",True,False,85,16384,247.4478938500397
+aime26_2,24,62,"[20, '20']",True,False,85,16384,248.8499762819847
+aime26_3,4,79,"[1, '1']",True,False,137,16384,251.9827228419017
+aime26_2,5,62,"[15, '15']",True,False,85,16384,253.76852888101712
+aime26_2,6,62,"[33, '33']",True,False,85,16384,255.56374050001614
+aime26_2,17,62,"[10, '10']",True,False,85,16384,256.3175705879694
+aime26_2,8,62,"[1, '1']",True,False,85,16384,257.2149356539594
+aime26_3,23,79,"[71, '71']",True,False,137,16384,257.68887995695695
+aime26_2,30,62,"[41, '41']",True,False,85,16384,259.19368692091666
+aime26_2,10,62,"[31, '31']",True,False,85,16384,260.99050025001634
+aime26_2,27,62,"[25, '25']",True,False,85,16384,261.024043885991
+aime26_2,14,62,"[15, '15']",True,False,85,16384,262.24784782505594
+aime26_2,11,62,"[34, '34']",True,False,85,16384,262.4699011539342
+aime26_2,9,62,"[2, '2']",True,False,85,16384,263.8300104599912
+aime26_3,6,79,"[84, '84']",True,False,137,16384,263.85455420194194
+aime26_2,29,62,"[1, '1']",True,False,85,16384,263.9862668890273
+aime26_2,16,62,"[7, '7']",True,False,85,16381,265.31413158297073
+aime26_3,13,79,"[1, '1']",True,False,137,16384,266.3195504330797
+aime26_2,31,62,"[20, '20']",True,False,85,16384,266.44462551397737
+aime26_3,3,79,"[2, '2']",True,False,137,16384,266.60481508099474
+aime26_3,17,79,"[42, '42']",True,False,137,16381,266.8133812039159
+aime26_3,27,79,"[2, '2']",True,False,137,16384,267.78353567793965
+aime26_2,18,62,"[1, '1']",True,False,85,16384,267.8152889449848
+aime26_3,19,79,"[1, '1']",True,False,137,16384,268.01955140801147
+aime26_3,25,79,['0). \n'],True,False,137,16384,268.45931235002354
+aime26_3,0,79,"[200, '200']",True,False,137,16384,268.6021874679718
+aime26_2,20,62,"[53, '53']",True,False,85,16384,269.1456529139541
+aime26_2,26,62,"[2, '2']",True,False,85,16384,269.37000368197914
+aime26_3,12,79,"[1, '1']",True,False,137,16384,269.3882264170097
+aime26_2,4,62,"[5, '5']",True,False,85,16384,271.1305088130757
+aime26_2,25,62,"[10, '10']",True,False,85,16384,271.80767492891755
+aime26_2,3,62,"[20, '20']",True,False,85,16384,272.0920067370171
+aime26_3,21,79,"[158, '158']",True,False,137,16384,273.6149851169903
+aime26_2,0,62,"[13, '13']",True,False,85,16384,277.14474883896764
+aime26_3,31,79,"[2, '2']",True,False,137,16384,277.20269135397393
+aime26_2,15,62,"[1, '1']",True,False,85,16384,279.2785099640023
+aime26_2,12,62,"[5, '5']",True,False,85,16384,281.8623461809475
+aime26_3,26,79,"[24, '24']",True,False,137,16384,286.6085271689808
+aime26_2,23,62,"[9, '9']",True,False,85,16384,286.6683547779685
+aime26_3,30,79,"[2941, '2941']",True,False,137,16384,295.6460845649708
+aime26_4,9,70,"[6, '6']",True,False,52,16384,300.2693157029571
+aime26_4,7,70,"[93, '93']",True,False,52,16384,306.53644823806826
+aime26_3,28,79,"[2, '2']",True,False,137,16384,307.12566971196793
+aime26_3,24,79,"[42, '42']",True,False,137,16384,308.15283098700456
+aime26_4,6,70,"[90, '90']",True,False,52,16384,313.9075435199775
+aime26_4,15,70,"[89, '89']",True,False,52,16384,315.3880027459236
+aime26_3,29,79,"[10441, '10441']",True,False,137,16384,317.344813385047
+aime26_4,13,70,"[70, '70']",True,True,52,16384,339.27699473907705
+aime26_4,3,70,"[25, '25']",True,False,52,16384,342.49224420497194
+aime26_4,4,70,"[64, '64']",True,False,52,16384,345.90755764604546
+aime26_4,0,70,"[80, '80']",True,False,52,16384,354.0466026660288
+aime26_4,1,70,"[137, '137']",True,False,52,16384,356.06160642101895
+aime26_4,5,70,"[4, '4']",True,False,52,16384,364.69486096606124
+aime26_4,17,70,"[70, '70']",True,True,52,16384,369.4114956909325
+aime26_4,19,70,"[100, '100']",True,False,52,16384,370.32856125803664
+aime26_4,8,70,"[66, '66']",True,False,52,16384,371.17139041190967
+aime26_5,0,65,"[65, '65']",True,True,152,16384,244.0956783130532
+aime26_4,16,70,"[65, '65']",True,False,52,16384,379.1838457019767
+aime26_5,4,65,"[65, '65']",True,True,152,16384,242.97654366202187
+aime26_4,28,70,"[86, '86']",True,False,52,16384,386.40498800296336
+aime26_4,2,70,"[22, '22']",True,False,52,16384,388.03078531997744
+aime26_4,18,70,"[88, '88']",True,False,52,16384,393.68520379206166
+aime26_4,11,70,"[90, '90']",True,False,52,16384,398.95809898199514
+aime26_4,26,70,"[74, '74']",True,False,52,16384,399.3929473620374
+aime26_4,10,70,"[71, '71']",True,False,52,16384,402.3715633730171
+aime26_4,23,70,"[173, '173']",True,False,52,16384,404.6356968980981
+aime26_4,21,70,"[7, '7']",True,False,52,16384,405.4388154600747
+aime26_4,12,70,"[137, '137']",True,False,52,16384,407.3292882019887
+aime26_6,11,441,"[80, '80']",True,False,68,16384,184.09987885691226
+aime26_5,10,65,"[65, '65']",True,True,152,16384,271.7769234320149
+aime26_4,27,70,"[89, '89']",True,False,52,16384,418.9449963020161
+aime26_4,14,70,"[65, '65']",True,False,52,16384,422.27992245706264
+aime26_4,29,70,"[70, '70']",True,True,52,16384,427.2406752840616
+aime26_4,30,70,"[71, '71']",True,False,52,16384,428.3074553500628
+aime26_5,8,65,"[65, '65']",True,True,152,16384,284.08525902905967
+aime26_5,19,65,"[65, '65']",True,True,152,16384,267.3711293839151
+aime26_5,2,65,"[65, '65']",True,True,152,16384,295.6914254829753
+aime26_5,16,65,"[65, '65']",True,True,152,16384,281.2947311960161
+aime26_5,23,65,"[65, '65']",True,True,152,16384,259.54872516193427
+aime26_5,7,65,"[29/36.0, '29/36.']",True,False,152,16384,295.23566888505593
+aime26_4,31,70,"[137, '137']",True,False,52,16384,445.6308536210563
+aime26_5,11,65,"[65, '65']",True,True,152,16384,298.80851617397275
+aime26_4,25,70,"[7, '7']",True,False,52,16384,449.8943001149455
+aime26_5,29,65,"[65, '65']",True,True,152,16384,250.0648035829654
+aime26_5,18,65,"[65, '65']",True,True,152,16384,291.0090890380088
+aime26_5,1,65,"[65, '65']",True,True,152,16384,314.9012257499853
+aime26_4,24,70,"[137, '137']",True,False,52,16384,455.37425539200194
+aime26_4,22,70,"[137, '137']",True,False,52,16384,457.00957956002094
+aime26_5,5,65,['1).'],True,False,152,16384,316.60183208889794
+aime26_5,9,65,['1).'],True,False,152,16384,315.48646077606827
+aime26_5,22,65,"[65, '65']",True,True,152,16384,286.92756386403926
+aime26_4,20,70,"[75, '75']",True,False,52,16384,465.49895110109355
+aime26_5,14,65,"[4, '4']",True,False,152,16384,318.85154722305015
+aime26_5,31,65,"[65, '65']",True,True,152,16384,273.8667798630195
+aime26_5,20,65,"[65, '65']",True,True,152,16384,309.81952702300623
+aime26_6,2,441,"[441, '441']",True,True,68,16384,270.2245807880536
+aime26_6,12,441,"[441, '441']",True,True,68,16384,258.71722224901896
+aime26_5,27,65,"[44, '44']",True,False,152,16384,292.25113211700227
+aime26_5,6,65,"[5, '5']",True,False,152,16384,343.1885427159723
+aime26_6,5,441,"[4, '4']",True,False,68,16384,276.09153428603895
+aime26_5,25,65,"[-1*0.033 - 1*0 + 0.343, '0.343 - 0.0330 - 0']",True,False,152,16384,311.8192951969104
+aime26_5,3,65,"[65, '65']",True,True,152,16384,351.66651753301267
+aime26_5,26,65,"[6, '6']",True,False,152,16384,311.70235578506254
+aime26_5,17,65,"[65, '65']",True,True,152,16383,334.817371246987
+aime26_5,21,65,"[0, '0']",True,False,152,16384,317.9936677310616
+aime26_6,0,441,"[4, '4']",True,False,68,16384,292.54528923204634
+aime26_6,18,441,"[441, '441']",True,True,68,16384,257.47149496199563
+aime26_5,12,65,['(1 - 2'],True,False,152,16384,353.0499069900252
+aime26_6,1,441,"[441, '441']",True,True,68,16384,301.41181612899527
+aime26_6,29,441,"[441, '441']",True,True,68,16384,246.06771693995688
+aime26_5,15,65,"[65, '65']",True,True,152,16384,350.5156113059493
+aime26_5,13,65,"[90, '90']",True,False,152,16384,354.67130293895025
+aime26_6,19,441,"[200, '200']",True,False,68,16384,268.46950695302803
+aime26_6,15,441,"[441, '441']",True,True,68,16384,274.9611272600014
+aime26_6,9,441,"[26, '26']",True,False,68,16384,288.65659015998244
+aime26_6,7,441,"[26, '26']",True,False,68,16384,297.4955001079943
+aime26_6,3,441,"[-0.400000000000000, '-0.4']",True,False,68,16384,304.8267116150819
+aime26_6,8,441,"[26, '26']",True,False,68,16384,295.7286849679658
+aime26_6,10,441,"[26, '26']",True,False,68,16384,292.8044942080742
+aime26_6,17,441,"[16, '16']",True,False,68,16384,279.9178612360265
+aime26_6,6,441,"[441, '441']",True,True,68,16384,304.5307096239412
+aime26_6,27,441,"[441, '441']",True,True,68,16384,264.35084101196844
+aime26_5,30,65,"[65, '65']",True,True,152,16384,321.6101568969898
+aime26_6,14,441,"[441, '441']",True,True,68,16384,289.6423368930118
+aime26_6,30,441,"[441, '441']",True,True,68,16384,262.75079676602036
+aime26_6,22,441,"[2, '2']",True,False,68,16384,275.2806919880677
+aime26_6,4,441,"[441, '441']",True,True,68,16384,311.8565369140124
+aime26_6,16,441,"[18081, '18081']",True,False,68,16384,286.97725864103995
+aime26_6,20,441,"[1, '1']",True,False,68,16384,282.4508435910102
+aime26_7,3,396,"[145, '145']",True,False,83,16384,265.0680449119536
+aime26_6,31,441,"[1/20, '1 / 20']",True,False,68,16384,269.33968355692923
+aime26_6,21,441,"[2026, '2026']",True,False,68,16384,283.8166032480076
+aime26_6,13,441,"[26, '26']",True,False,68,16384,301.3187062960351
+aime26_7,7,396,"[145, '145']",True,False,83,16384,267.2090685790172
+aime26_7,4,396,"[1, '1']",True,False,83,16384,270.0965168320108
+aime26_7,21,396,"[6, '6']",True,False,83,16384,261.23715727205854
+aime26_5,24,65,['0).'],True,False,152,16384,357.5881059949752
+aime26_6,23,441,"[441, '441']",True,True,68,16384,285.3934911999386
+aime26_6,26,441,"[26, '26']",True,False,68,16384,281.25765663490165
+aime26_5,28,65,"[16/9.0, '16/9.']",True,False,152,16384,338.9146829160163
+aime26_6,24,441,"[441, '441']",True,True,68,16384,285.4074419440003
+aime26_6,28,441,"[20.4200000000000, '20.42']",True,False,68,16384,285.37431196693797
+aime26_7,6,396,"[144, '144']",True,False,83,16384,279.71426997403614
+aime26_6,25,441,"[441, '441']",True,True,68,16384,291.8047097789822
+aime26_7,1,396,"[176, '176']",True,False,83,16384,285.76536077295896
+aime26_7,2,396,"[145, '145']",True,False,83,16384,290.1915022949688
+aime26_7,19,396,"[144, '144']",True,False,83,16384,284.8910701900022
+aime26_7,23,396,"[144, '144']",True,False,83,16384,281.5582423929591
+aime26_7,11,396,"[1, '1']",True,False,83,16384,298.63355440902524
+aime26_7,27,396,"[1, '1']",True,False,83,16384,289.84708561503794
+aime26_7,26,396,"[144, '144']",True,False,83,16384,302.87250807799865
+aime26_7,22,396,"[1, '1']",True,False,83,16384,312.49028898600955
+aime26_7,8,396,"[144, '144']",True,False,83,16384,329.642205556971
+aime26_8,2,244,"[244, '244']",True,True,72,16384,297.256799660041
+aime26_7,24,396,"[145, '145']",True,False,83,16384,341.3571004800033
+aime26_7,20,396,"[144, '144']",True,False,83,16384,348.9899097359739
+aime26_7,14,396,"[145, '145']",True,False,83,16384,352.4944593970431
+aime26_7,9,396,"[120, '120']",True,False,83,16384,354.99406649102457
+aime26_7,15,396,"[2, '2']",True,False,83,16384,356.4706223240355
+aime26_7,0,396,"[289, '289']",True,False,83,16384,369.6006611729972
+aime26_8,10,244,"[244, '244']",True,True,72,16384,263.29919046803843
+aime26_7,13,396,"[144, '144']",True,False,83,16384,371.6238659910159
+aime26_9,6,29,"[6, '6']",True,False,192,16384,198.31673118995968
+aime26_9,11,29,"[6, '6']",True,False,192,16384,191.23512401198968
+aime26_7,16,396,"[720, '720']",True,False,83,16384,379.7711994389538
+aime26_7,12,396,"[144, '144']",True,False,83,16384,383.3182889439631
+aime26_9,4,29,"[2, '2']",True,False,192,16384,216.66299774695653
+aime26_7,5,396,"[288, '288']",True,False,83,16384,390.3024701549439
+aime26_7,31,396,"[145, '145']",True,False,83,16384,352.66573005297687
+aime26_9,3,29,"[4, '4']",True,False,192,16384,223.04878987499978
+aime26_8,11,244,"[0, '0']",True,False,72,16384,291.25984998000786
+aime26_7,25,396,"[145, '145']",True,False,83,16384,380.7551164450124
+aime26_7,29,396,"[1, '1']",True,False,83,16384,364.89851499104407
+aime26_9,5,29,"[2, '2']",True,False,192,16384,221.63837249204516
+aime26_9,2,29,"[3, '3']",True,False,192,16384,231.5467264619656
+aime26_8,0,244,"[916, '916']",True,False,72,16384,361.2043145070784
+aime26_9,7,29,"[2, '2']",True,False,192,16384,221.6332370940363
+aime26_9,21,29,"[6, '6']",True,False,192,16384,186.7255224030232
+aime26_9,23,29,"[6, '6']",True,False,192,16384,189.6964667410357
+aime26_8,4,244,"[810, '810']",True,False,72,16384,339.37614776496775
+aime26_8,25,244,"[0, '0']",True,False,72,16384,269.86384164495394
+aime26_8,23,244,"[9, '9']",True,False,72,16384,277.6189189259894
+aime26_9,18,29,"[2, '2']",True,False,192,16384,206.9695194249507
+aime26_8,3,244,"[244, '244']",True,True,72,16384,370.1650946880691
+aime26_7,17,396,"[186, '186']",True,False,83,16384,418.8567254350055
+aime26_8,28,244,"[916, '916']",True,False,72,16384,266.43057597090956
+aime26_8,5,244,"[392, '392']",True,False,72,16384,346.8135666429298
+aime26_9,14,29,"[1, '1']",True,False,192,16384,229.950331059983
+aime26_9,8,29,"[2, '2']",True,False,192,16384,241.84489837498404
+aime26_7,10,396,"[265, '265']",True,False,83,16384,424.9000539970584
+aime26_8,15,244,"[288, '288']",True,False,72,16384,308.46706134302076
+aime26_9,9,29,"[2, '2']",True,False,192,16384,243.9275676680263
+aime26_7,18,396,"[175, '175']",True,False,83,16384,430.88447471300606
+aime26_8,7,244,"[1296, '1296']",True,False,72,16384,348.1019606780028
+aime26_8,8,244,"[392, '392']",True,False,72,16384,346.29379061597865
+aime26_9,30,29,"[2, '2']",True,False,192,16384,209.28173514502123
+aime26_7,28,396,"[144, '144']",True,False,83,16384,409.2050212790491
+aime26_9,15,29,"[3, '3']",True,False,192,16384,240.6167516990099
+aime26_9,26,29,"[6, '6']",True,False,192,16384,213.8559017139487
+aime26_9,22,29,"[2, '2']",True,False,192,16384,221.51579072605819
+aime26_8,6,244,"[12, '12']",True,False,72,16384,363.6257795689162
+aime26_8,19,244,"[2, '2']",True,False,72,16384,310.9007001189748
+aime26_9,17,29,"[2, '2']",True,False,192,16384,240.85382933006622
+aime26_9,29,29,"[6, '6']",True,False,192,16384,217.73675071401522
+aime26_7,30,396,"[144, '144']",True,False,83,16384,406.54220191796776
+aime26_9,12,29,"[2, '2']",True,False,192,16384,257.343769179075
+aime26_8,1,244,"[832, '832']",True,False,72,16384,401.1092713329708
+aime26_8,12,244,"[81, '81']",True,False,72,16384,347.0412950719474
+aime26_9,13,29,"[3, '3']",True,False,192,16384,259.76377470896114
+aime26_8,22,244,"[0, '0']",True,False,72,16384,319.37727880396415
+aime26_8,13,244,"[916, '916']",True,False,72,16384,350.36329651996493
+aime26_9,20,29,"[6, '6']",True,False,192,16384,248.5885623630602
+aime26_9,31,29,"[6, '6']",True,False,192,16384,231.01300975703634
+aime26_8,30,244,"[162, '162']",True,False,72,16384,302.8673607399687
+aime26_10,15,156,"[90, '90']",True,False,120,16384,208.55256121209823
+aime26_8,16,244,"[162, '162']",True,False,72,16384,345.39930093090516
+aime26_8,27,244,"[458, '458']",True,False,72,16384,313.8198327800492
+aime26_8,20,244,"[160, '160']",True,False,72,16384,335.0499245818937
+aime26_8,21,244,"[244, '244']",True,True,72,16384,332.6422999060014
+aime26_8,26,244,"[458, '458']",True,False,72,16384,319.3869919740828
+aime26_9,0,29,"[6, '6']",True,False,192,16384,306.09978171100374
+aime26_8,31,244,"[992, '992']",True,False,72,16384,310.6315540210344
+aime26_8,9,244,"[0, '0']",True,False,72,16384,375.2215174839366
+aime26_8,18,244,"[103, '103']",True,False,72,16384,352.0987747410545
+aime26_9,19,29,"[5/2187.0, '5 / 2187. \n']",True,False,192,16384,267.90877125097904
+aime26_8,29,244,"[488, '488']",True,False,72,16384,322.20636943995487
+aime26_9,16,29,"[1, '1']",True,False,192,16384,288.81408902909607
+aime26_9,10,29,"[6, '6']",True,False,192,16384,304.0382817189675
+aime26_9,1,29,"[2, '2']",True,False,192,16384,327.5026161270216
+aime26_9,28,29,"[2, '2']",True,False,192,16384,270.12404160993174
+aime26_8,17,244,"[162, '162']",True,False,72,16384,377.37112374196295
+aime26_8,14,244,"[244, '244']",True,True,72,16384,386.4450833259616
+aime26_9,27,29,"[3, '3']",True,False,192,16384,273.29587970103603
+aime26_10,18,156,"[4, '4']",True,False,120,16384,246.10771127103362
+aime26_9,25,29,"[6, '6']",True,False,192,16384,288.2122847089777
+aime26_10,2,156,"[135, '135']",True,False,120,16384,280.267433178029
+aime26_8,24,244,"[1, '1']",True,False,72,16384,381.5664451010525
+aime26_10,11,156,"[-23, '-23']",True,False,120,16384,276.411418036907
+aime26_10,13,156,"[14, '14']",True,False,120,16384,275.2011213309597
+aime26_10,3,156,"[603/40, '603/40']",True,False,120,16384,299.76440358092077
+aime26_10,7,156,['1.4 + '],True,False,120,16384,295.7335444689961
+aime26_9,24,29,"[1, '1']",True,False,192,16384,319.37895233300515
+aime26_10,31,156,"[90, '90']",True,False,120,16384,271.9019882749999
+aime26_10,5,156,['89/8). \n'],True,False,120,16384,298.1490148539888
+aime26_10,6,156,"[-1, '-1']",True,False,120,16383,308.1066521749599
+aime26_11,7,896,"[1, '1']",True,False,172,16384,268.1387032730272
+aime26_10,0,156,['(35/2)(-'],True,False,120,16384,322.3596027479507
+aime26_10,4,156,['(-9)(3/5) + (15/4)(4/5) + 33/8\n\n'],True,False,120,16384,319.7129112279508
+aime26_10,19,156,"[1089, '1089']",True,False,120,16384,304.2258708620211
+aime26_11,3,896,"[64 - 1*6, '64 - 6']",True,False,172,16384,288.7387018529698
+aime26_10,10,156,['-4225*56 - 4225*'],True,False,120,16384,325.4656512719812
+aime26_10,12,156,"[160, '160']",True,False,120,16384,325.9069039740134
+aime26_10,17,156,"[-7/3.0, '-7/3.\n']",True,False,120,16384,323.63646447099745
+aime26_10,14,156,"[-56/33.0, '-56/33. \n']",True,False,120,16384,333.3260841059964
+aime26_12,7,161,"[2, '2']",True,False,196,16384,178.93453455297276
+aime26_10,21,156,"[521, '521']",True,False,120,16384,328.7404847739963
+aime26_11,12,896,"[1, '1']",True,False,172,16384,269.60579137702007
+aime26_10,27,156,['-33/8).\n'],True,False,120,16384,327.92567154194694
+aime26_10,23,156,['33/8).'],True,False,120,16384,339.3038604820613
+aime26_11,28,896,"[56, '56']",True,False,172,16384,215.54940424393862
+aime26_10,1,156,"[5.02500000000000, '5.025']",True,False,120,16384,370.2253220070852
+aime26_11,18,896,"[7, '7']",True,False,172,16384,253.879476854112
+aime26_11,15,896,"[0, '0']",True,False,172,16384,256.2835035499884
+aime26_10,22,156,"[90, '90']",True,False,120,16384,348.5618194519775
+aime26_11,29,896,"[64, '64']",True,False,172,16384,220.5628901369637
+aime26_11,14,896,"[63, '63']",True,False,172,16384,269.4031818700023
+aime26_11,22,896,"[2, '2']",True,False,172,16384,245.50000791996717
+aime26_10,9,156,['0.8).'],True,False,120,16383,374.67650265898556
+aime26_10,20,156,['33/8).'],True,False,120,16384,365.8481827030191
+aime26_11,5,896,['(3). (1)'],True,False,172,16384,346.03782451094594
+aime26_10,26,156,"[0, '0']",True,False,120,16384,362.5769248730503
+aime26_10,8,156,"[1/2, '1/2']",True,False,120,16384,387.6053151950473
+aime26_10,28,156,"[13.8750000000000, '13.875']",True,False,120,16384,369.6759151640581
+aime26_11,13,896,"[1, '1']",True,False,172,16384,316.06280291092116
+aime26_10,30,156,"[156, '156']",True,True,120,16384,375.81433411396574
+aime26_10,29,156,"[1521/1531.0, '1521/1531.']",True,False,120,16384,381.1568872999633
+aime26_11,11,896,"[64, '64']",True,False,172,16384,338.44366289197933
+aime26_10,16,156,"[12, '12']",True,False,120,16384,405.3018175640609
+aime26_10,25,156,['33/(1'],True,False,120,16384,398.5649297890486
+aime26_11,2,896,"[6, '6']",True,False,172,16384,389.0639778659679
+aime26_10,24,156,"[12, '12']",True,False,120,16384,402.2364356010221
+aime26_11,10,896,"[64, '64']",True,False,172,16384,374.77945253497455
+aime26_11,1,896,"[4, '4']",True,False,172,16384,417.2937054251088
+aime26_11,8,896,"[63, '63']",True,False,172,16384,398.7829933320172
+aime26_12,5,161,"[2, '2']",True,False,196,16384,286.27793643891346
+aime26_11,6,896,"[63, '63']",True,False,172,16384,405.26738215307705
+aime26_11,27,896,"[256, '256']",True,False,172,16384,308.50421167106833
+aime26_11,23,896,"[10, '10']",True,False,172,16384,319.76813179510646
+aime26_11,4,896,"[7, '7']",True,False,172,16384,417.4820209930185
+aime26_12,4,161,"[0, '0']",True,False,196,16384,296.7784244400682
+aime26_12,15,161,"[44/1, '44/1']",True,False,196,16384,288.8533034280408
+aime26_11,0,896,"[1, '1']",True,False,172,16384,440.25967135303654
+aime26_11,31,896,"[63, '63']",True,False,172,16384,316.6869206869742
+aime26_12,10,161,"[8, '8']",True,False,196,16384,297.4066598250065
+aime26_12,23,161,"[4, '4']",True,False,196,16384,282.4203065530164
+aime26_11,19,896,"[8, '8']",True,False,172,16384,363.7781490900088
+aime26_12,31,161,"[1, '1']",True,False,196,16384,278.65476883901283
+aime26_12,3,161,"[4, '4']",True,False,196,16384,321.7746555809863
+aime26_11,20,896,"[252, '252']",True,False,172,16384,358.92994763096794
+aime26_11,16,896,"[5760, '5760']",True,False,172,16384,371.70736664696597
+aime26_12,12,161,"[3, '3']",True,False,196,16384,309.07561751792673
+aime26_13,15,39,"[502, '502']",True,False,190,16384,265.7713951750193
+aime26_12,14,161,"[0, '0']",True,False,196,16384,313.4196494369535
+aime26_13,7,39,"[0, '0']",True,False,190,16384,275.6535160141066
+aime26_12,2,161,"[6, '6']",True,False,196,16384,339.60977226810064
+aime26_12,6,161,"[62, '62']",True,False,196,16383,339.23010652908124
+aime26_11,25,896,"[8, '8']",True,False,172,16384,364.8820165611105
+aime26_12,21,161,"[-16/13, '-16/13']",True,False,196,16384,312.1724656189326
+aime26_12,11,161,"[4, '4']",True,False,196,16384,331.5131335289916
+aime26_12,8,161,"[42/13, '42/13']",True,False,196,16384,336.217902706936
+aime26_12,13,161,"[0.000434400000000000, '0.0004344']",True,False,196,16384,328.7295371640939
+aime26_13,11,39,['(1/502) * 10000 *'],True,False,190,16384,287.4105643519433
+aime26_11,9,896,"[1, '1']",True,False,172,16384,453.4145278109936
+aime26_11,21,896,"[-1, '-1']",True,False,172,16384,392.2047894130228
+aime26_12,17,161,"[0.933000000000000, '0.933']",True,False,196,16384,334.5775631070137
+aime26_12,26,161,"[2, '2']",True,False,196,16384,322.79107444395777
+aime26_13,2,39,"[2, '2']",True,False,190,16384,314.2715831800597
+aime26_12,20,161,"[3, '3']",True,False,196,16384,336.3852410999825
+aime26_11,26,896,"[196/2, '196 / 2']",True,False,172,16381,379.83791958296206
+aime26_12,1,161,['124/39 +'],True,False,196,16384,366.19521892094053
+aime26_12,18,161,['0).'],True,False,196,16384,340.49405911308713
+aime26_12,29,161,"[3, '3']",True,False,196,16384,324.73138904804364
+aime26_12,16,161,['(34/1'],True,False,196,16384,346.1644895209465
+aime26_11,24,896,"[2, '2']",True,False,172,16384,391.4470455229748
+aime26_11,17,896,"[64, '64']",True,False,172,16384,417.07063584495336
+aime26_12,19,161,"[3, '3']",True,False,196,16384,345.8206261449959
+aime26_13,3,39,"[503, '503']",True,False,190,16384,326.96142328798305
+aime26_12,0,161,"[39, '39']",True,False,196,16384,380.6939633570146
+aime26_12,30,161,"[0, '0']",True,False,196,16384,334.64006177301053
+aime26_13,23,39,"[0, '0']",True,False,190,16384,294.0929686889285
+aime26_13,21,39,"[0, '0']",True,False,190,16384,302.88382985198405
+aime26_13,4,39,"[0, '0']",True,False,190,16384,336.92840648896527
+aime26_12,27,161,"[0, '0']",True,False,196,16384,356.4503721470246
+aime26_13,5,39,"[0, '0']",True,False,190,16384,343.84724998800084
+aime26_11,30,896,"[8, '8']",True,False,172,16384,403.819061758928
+aime26_12,9,161,"[0, '0']",True,False,196,16384,388.4950877999654
+aime26_13,6,39,"[502, '502']",True,False,190,16384,346.319295070949
+aime26_13,18,39,"[1, '1']",True,False,190,16384,336.68054211197887
+aime26_13,12,39,"[0, '0']",True,False,190,16384,349.18500210298225
+aime26_13,10,39,"[0, '0']",True,False,190,16384,349.97793437191285
+aime26_12,28,161,"[117, '117']",True,False,196,16384,374.25811822200194
+aime26_12,22,161,"[0, '0']",True,False,196,16384,380.6374352009734
+aime26_12,25,161,"[156, '156']",True,False,196,16384,378.68654671194963
+aime26_13,31,39,"[0, '0']",True,False,190,16384,304.9473666999256
+aime26_12,24,161,"[0, '0']",True,False,196,16384,380.6604241040768
+aime26_13,0,39,"[0, '0']",True,False,190,16384,372.3395297219977
+aime26_14,14,681,"[1, '1']",True,False,107,16384,259.23285224905703
+aime26_13,13,39,"[503, '503']",True,False,190,16384,362.75423265399877
+aime26_13,27,39,"[40, '40']",True,False,190,16384,340.6071197279962
+aime26_13,17,39,"[1, '1']",True,False,190,16384,368.7414992569247
+aime26_14,21,681,"[1, '1']",True,False,107,16384,249.5323887130944
+aime26_13,1,39,"[0, '0']",True,False,190,16384,398.62394552805927
+aime26_13,19,39,"[0, '0']",True,False,190,16384,372.0222592500504
+aime26_14,7,681,"[308, '308']",True,False,107,16383,304.26282147003803
+aime26_13,14,39,"[2, '2']",True,False,190,16384,380.53606919304
+aime26_14,12,681,"[3, '3']",True,False,107,16384,289.0577373689739
+aime26_13,20,39,"[0, '0']",True,False,190,16384,375.7042971950723
+aime26_13,8,39,"[11, '11']",True,False,190,16383,394.60590776696336
+aime26_13,26,39,"[58, '58']",True,False,190,16384,361.9241863399511
+aime26_13,29,39,"[9766, '9766']",True,False,190,16384,366.7879649749957
+aime26_13,9,39,"[503, '503']",True,False,190,16384,403.64599277998786
+aime26_14,19,681,"[1, '1']",True,False,107,16384,288.71703306399286
+aime26_14,5,681,"[1/2, '1/2']",True,False,107,16384,340.66435339697637
+aime26_13,28,39,"[0, '0']",True,False,190,16384,386.0049958860036
+aime26_13,22,39,"[5, '5']",True,False,190,16384,403.3914430590812
+aime26_14,29,681,"[3, '3']",True,False,107,16384,281.38201325794216
+aime26_14,11,681,"[2, '2']",True,False,107,16384,339.09332119009923
+aime26_13,30,39,"[502, '502']",True,False,190,16384,396.7957950759446
+aime26_14,15,681,"[400, '400']",True,False,107,16384,326.3138860450126
+aime26_14,3,681,"[1540, '1540']",True,False,107,16384,376.18477640103083
+aime26_14,23,681,"[2, '2']",True,False,107,16384,303.2593154379865
+aime26_14,22,681,"[2, '2']",True,False,107,16384,315.79268273699563
+aime26_14,6,681,"[2, '2']",True,False,107,16384,374.1686203009449
+aime26_14,4,681,"[2.61800000000000, '2.618']",True,False,107,16384,386.6405701749027
+aime26_14,26,681,['1)/'],True,False,107,16384,323.2896898930194
+aime26_14,10,681,"[-290, '-290']",True,False,107,16384,377.70615759899374
+aime26_14,13,681,"[72, '72']",True,False,107,16384,373.94181904301513
+aime26_15,23,83,"[2, '2']",True,False,265,16384,233.23109149199445
+aime26_13,25,39,"[501, '501']",True,False,190,16384,456.6857058129972
+aime26_13,16,39,"[1, '1']",True,False,190,16384,481.9078028360382
+aime26_13,24,39,"[0, '0']",True,False,190,16384,466.775175562012
+aime26_14,18,681,"[308, '308']",True,False,107,16384,367.90115797903854
+aime26_14,0,681,"[0, '-0']",True,False,107,16384,444.30647348205093
+aime26_14,2,681,"[2, '2']",True,False,107,16384,436.8336673909798
+aime26_14,30,681,"[4, '4']",True,False,107,16384,349.44176964391954
+aime26_14,1,681,"[5, '5']",True,False,107,16384,444.66639669588767
+aime26_16,23,178,"[178, '178']",True,True,58,16384,205.62018690700643
+aime26_14,8,681,['1)/4 * 2'],True,False,107,16384,436.8957840380026
+aime26_16,2,178,"[178, '178']",True,True,58,16384,247.3203694249969
+aime26_14,20,681,"[800, '800']",True,False,107,16384,391.33323896001093
+aime26_15,13,83,"[5, '5']",True,False,265,16384,315.4672626539832
+aime26_16,15,178,"[178, '178']",True,True,58,16384,222.4876748219831
+aime26_14,31,681,['2-4). \n'],True,False,107,16383,364.06184034398757
+aime26_15,7,83,"[5, '5']",True,False,265,16384,336.5160237309756
+aime26_16,7,178,"[178, '178']",True,True,58,16384,236.30408048001118
+aime26_14,17,681,"[800, '800']",True,False,107,16384,404.13785703200847
+aime26_16,3,178,"[178, '178']",True,True,58,16384,252.0510226849001
+aime26_14,27,681,"[2, '2']",True,False,107,16384,377.5783157279948
+aime26_14,16,681,"[-184, '-184']",True,False,107,16384,413.71698021900374
+aime26_15,28,83,"[12, '12']",True,False,265,16384,273.2774544240674
+aime26_16,13,178,"[178, '178']",True,True,58,16384,242.87935466703493
+aime26_16,31,178,"[178, '178']",True,True,58,16384,214.3180837359978
+aime26_16,4,178,"[178, '178']",True,True,58,16384,263.27735008404125
+aime26_14,28,681,"[2, '2']",True,False,107,16384,394.97043026890606
+aime26_15,26,83,"[10, '10']",True,False,265,16384,292.81422881700564
+aime26_15,5,83,"[2, '2']",True,False,265,16384,370.3800397469895
+aime26_16,10,178,"[178, '178']",True,True,58,16384,266.1407008350361
+aime26_15,15,83,"[5, '5']",True,False,265,16384,325.75354475108907
+aime26_16,0,178,"[178, '178']",True,True,58,16384,294.52419706701767
+aime26_14,9,681,"[2, '2']",True,False,107,16384,469.6250059240265
+aime26_14,24,681,"[108, '108']",True,False,107,16384,418.3549683870515
+aime26_17,7,243,"[10, '10']",True,False,369,16384,209.10605586494785
+aime26_16,18,178,"[178, '178']",True,True,58,16384,260.63941483199596
+aime26_15,2,83,"[21, '21']",True,False,265,16384,401.83065118792
+aime26_16,19,178,"[178, '178']",True,True,58,16384,267.7884453299921
+aime26_15,6,83,"[2, '2']",True,False,265,16384,388.08377294708043
+aime26_17,5,243,"[1, '1']",True,False,369,16384,232.70200040598866
+aime26_16,20,178,"[178, '178']",True,True,58,16384,271.8096692559775
+aime26_16,26,178,"[178, '178']",True,True,58,16384,264.59788184496574
+aime26_15,3,83,"[1, '1']",True,False,265,16384,408.6881536919391
+aime26_16,12,178,"[178, '178']",True,True,58,16384,287.00025533302687
+aime26_15,31,83,"[10, '10']",True,False,265,16384,316.8658384840237
+aime26_16,14,178,"[178, '178']",True,True,58,16384,283.21151920000557
+aime26_16,9,178,"[-2, '-2']",True,False,58,16384,293.5685303249629
+aime26_16,5,178,"[24, '24']",True,False,58,16384,303.27532372495625
+aime26_15,12,83,"[5, '5']",True,False,265,16388,379.5600662960205
+aime26_16,6,178,"[178, '178']",True,True,58,16384,301.0462891180068
+aime26_15,22,83,"[5, '5']",True,False,265,16384,346.7132376029622
+aime26_15,10,83,"[120, '120']",True,False,265,16384,384.6827885339735
+aime26_16,21,178,"[178, '178']",True,True,58,16384,280.4042428539833
+aime26_14,25,681,"[2, '2']",True,False,107,16384,446.1858595380327
+aime26_15,20,83,"[21, '21']",True,False,265,16384,358.0112816769397
+aime26_15,4,83,"[2, '2']",True,False,265,16384,423.0209839390591
+aime26_16,27,178,"[178, '178']",True,True,58,16384,282.144441050943
+aime26_15,14,83,"[2, '2']",True,False,265,16384,377.8026919440599
+aime26_15,21,83,"[5, '5']",True,False,265,16384,365.6220587049611
+aime26_16,29,178,"[178, '178']",True,True,58,16384,289.04695653996896
+aime26_16,11,178,"[165, '165']",True,False,58,16384,317.08520313201007
+aime26_15,29,83,"[5, '5']",True,False,265,16384,347.39833492506295
+aime26_15,19,83,"[1, '1']",True,False,265,16384,374.4522898889845
+aime26_15,18,83,"[5, '5']",True,False,265,16384,382.6047315290198
+aime26_16,8,178,"[178, '178']",True,True,58,16384,329.38757130294107
+aime26_15,11,83,"[12, '12']",True,False,265,16384,411.8613644379657
+aime26_16,30,178,"[178, '178']",True,True,58,16384,295.6823500250466
+aime26_16,28,178,"[178, '178']",True,True,58,16384,300.8178362289909
+aime26_16,16,178,"[32, '32']",True,False,58,16384,318.7794563550269
+aime26_17,31,243,['0).'],True,False,369,16384,204.90040430100635
+aime26_16,17,178,"[178, '178']",True,True,58,16384,325.12364382704254
+aime26_15,0,83,"[5, '5']",True,False,265,16384,463.8715728119714
+aime26_15,9,83,"[2, '2']",True,False,265,16384,429.1758108129725
+aime26_15,8,83,"[1, '1']",True,False,265,16384,444.3228299950715
+aime26_15,30,83,"[100, '100']",True,False,265,16384,372.06599287095014
+aime26_15,27,83,"[4, '4']",True,False,265,16384,379.9468840090558
+aime26_15,1,83,"[126, '126']",True,False,265,16384,475.7266066179145
+aime26_16,22,178,"[178, '178']",True,True,58,16384,335.24523014295846
+aime26_15,16,83,"[6, '6']",True,False,265,16384,412.6573353239801
+aime26_17,26,243,"[1, '1']",True,False,369,16384,248.2532445479883
+aime26_17,23,243,"[10, '10']",True,False,369,16384,260.9219120760681
+aime26_16,1,178,"[178, '178']",True,True,58,16384,380.9064975139918
+aime26_15,17,83,"[4, '4']",True,False,265,16384,422.233889504103
+aime26_17,3,243,"[1, '1']",True,False,369,16384,315.5343959949678
+aime26_15,25,83,"[1, '1']",True,False,265,16384,410.5522578150267
+aime26_17,27,243,"[10, '10']",True,False,369,16384,265.9303741049953
+aime26_15,24,83,"[10, '10']",True,False,265,16384,414.30071893602144
+aime26_17,1,243,"[1, '1']",True,False,369,16384,331.1239894530736
+aime26_17,13,243,"[362880, '362880']",True,False,369,16384,332.30457129806746
+aime26_16,25,178,"[178, '178']",True,True,58,16384,379.59483606694266
+aime26_17,22,243,"[sqrt(11), '\\sqrt{11}']",True,False,369,16384,308.86588410299737
+aime26_17,18,243,"[9, '9']",True,False,369,16384,316.05851335602347
+aime26_17,24,243,"[10, '10']",True,False,369,16384,316.29409562807996
+aime26_17,15,243,"[2, '2']",True,False,369,16384,337.76417696790304
+aime26_18,10,503,"[0, '0']",True,False,150,16384,245.30731063499115
+aime26_17,4,243,"[10, '10']",True,False,369,16384,369.9160043710144
+aime26_18,31,503,"[45, '45']",True,False,150,16384,190.59555449697655
+aime26_17,11,243,"[2, '2']",True,False,369,16384,358.6783873740351
+aime26_17,6,243,"[11, '11']",True,False,369,16384,373.0730599020608
+aime26_17,19,243,"[10, '10']",True,False,369,16384,340.7387321740389
+aime26_17,2,243,"[430, '430']",True,False,369,16384,390.6090245679952
+aime26_17,21,243,"[1, '1']",True,False,369,16384,344.8900457409909
+aime26_16,24,178,"[178, '178']",True,True,58,16384,441.1594640830299
+aime26_17,14,243,"[0, '0']",True,False,369,16384,394.21008377696853
+aime26_18,7,503,"[126, '126']",True,False,150,16384,310.2969554460142
+aime26_17,10,243,"[2, '2']",True,False,369,16384,413.8905827529961
+aime26_19,2,279,"[2, '2']",True,False,143,16384,245.4408885409357
+aime26_18,15,503,"[2022, '2022']",True,False,150,16384,284.9995242799632
+aime26_17,29,243,"[11, '11']",True,False,369,16384,371.1116032419959
+aime26_17,9,243,"[sqrt(11), '\\sqrt{11}']",True,False,369,16384,429.4266384630464
+aime26_18,5,503,"[10, '10']",True,False,150,16384,343.7767961079953
+aime26_17,0,243,"[10, '10']",True,False,369,16384,460.6853696509497
+aime26_17,17,243,"[1, '1']",True,False,369,16384,410.3506849500118
+aime26_18,2,503,"[1, '1']",True,False,150,16384,355.316159440903
+aime26_19,15,279,"[58, '58']",True,False,143,16384,230.16082769806962
+aime26_20,2,190,"[2, '2']",True,False,105,16385,206.26670655200724
+aime26_17,8,243,['1). \n'],True,False,369,16384,445.0477843990084
+aime26_17,12,243,"[11, '11']",True,False,369,16384,444.8906507890206
+aime26_17,20,243,"[sqrt(10), '\\sqrt{10}']",True,False,369,16384,421.06428736797534
+aime26_18,4,503,"[28, '28']",True,False,150,16384,369.09983424306847
+aime26_18,3,503,"[1, '1']",True,False,150,16384,373.1530039400095
+aime26_18,23,503,"[45, '45']",True,False,150,16384,295.64824117789976
+aime26_17,30,243,"[11, '11']",True,False,369,16384,396.90061193401925
+aime26_18,13,503,"[128*19, '128*(19)']",True,False,150,16384,338.1938798810588
+aime26_19,7,279,"[7, '7']",True,False,143,16384,277.6934892440913
+aime26_18,6,503,"[2, '2']",True,False,150,16384,375.09152839693706
+aime26_18,18,503,['20)^2'],True,False,150,16384,323.6613525720313
+aime26_19,10,279,"[9, '9']",True,False,143,16384,277.215089141042
+aime26_18,11,503,"[1009, '1009']",True,False,150,16384,353.53251649590675
+aime26_18,26,503,"[12, '12']",True,False,150,16384,306.0663401680067
+aime26_18,14,503,"[994, '994']",True,False,150,16384,346.7141564260237
+aime26_18,12,503,"[16, '16']",True,False,150,16384,363.9250123889651
+aime26_19,4,279,"[72, '72']",True,False,143,16384,308.4821824679384
+aime26_18,21,503,"[2, '2']",True,False,150,16384,343.19027549400926
+aime26_20,7,190,"[5, '5']",True,False,105,16384,246.2372808959335
+aime26_17,16,243,"[252, '252']",True,False,369,16384,486.11388579697814
+aime26_18,1,503,"[1, '1']",True,False,150,16384,430.17315595201217
+aime26_19,1,279,"[10, '10']",True,False,143,16384,329.8499968700344
+aime26_17,28,243,"[factorial(10), '10!']",True,False,369,16384,451.611593132955
+aime26_18,19,503,"[-408, '-408']",True,False,150,16384,355.25456082692835
+aime26_20,5,190,"[7, '7']",True,False,105,16384,262.14850947703235
+aime26_20,15,190,"[190, '190']",True,True,105,16384,246.64696872700006
+aime26_19,6,279,"[999, '999']",True,False,143,16384,330.541296524927
+aime26_18,20,503,"[180, '180']",True,False,150,16384,365.49420865403954
+aime26_18,28,503,"[1600 - 1*160, '1600 - 160']",True,False,150,16384,347.86353459290694
+aime26_19,28,279,"[10, '10']",True,False,143,16384,289.5738632460125
+aime26_18,29,503,"[196, '196']",True,False,150,16384,348.2922443379648
+aime26_17,25,243,"[3, '3']",True,False,369,16383,481.1736256350996
+aime26_19,25,279,"[999, '999']",True,False,143,16384,299.59965262701735
+aime26_18,27,503,"[2**6*3*5, '2^6 * 3 * 5']",True,False,150,16384,356.4992286089109
+aime26_18,9,503,"[2, '2']",True,False,150,16384,422.57052237400785
+aime26_19,22,279,"[10, '10']",True,False,143,16384,307.65435945708305
+aime26_19,23,279,"[1000, '1000']",True,False,143,16384,306.9495285029989
+aime26_18,8,503,"[-2, '-2']",True,False,150,16384,433.5438640260836
+aime26_19,19,279,"[999, '999']",True,False,143,16384,313.2768622559961
+aime26_18,22,503,"[125, '125']",True,False,150,16384,380.0150910129305
+aime26_18,0,503,"[0, '0']",True,False,150,16384,462.61269466008525
+aime26_19,3,279,"[9, '9']",True,False,143,16384,359.40792947798036
+aime26_18,30,503,"[30, '30']",True,False,150,16384,369.4929645799566
+aime26_20,3,190,"[21, '21']",True,False,105,16389,300.7922949179774
+aime26_19,18,279,"[9 + 90 + 90, '9 + 90 + 90']",True,False,143,16384,329.1443631310249
+aime26_19,31,279,"[999, '999']",True,False,143,16384,315.50606699299533
+aime26_20,10,190,"[7, '7']",True,False,105,16384,294.7112294610124
+aime26_20,18,190,"[190, '190']",True,True,105,16387,283.3077301529702
+aime26_19,30,279,['5*8 + '],True,False,143,16384,318.5193330720067
+aime26_19,11,279,"[999, '999']",True,False,143,16384,349.4360787089681
+aime26_19,5,279,"[0, '0']",True,False,143,16384,368.58832269907
+aime26_20,19,190,"[5 - 1*1, '5 - 1']",True,False,105,16384,278.211101192981
+aime26_19,20,279,"[9, '9']",True,False,143,16384,331.84142891399097
+aime26_19,12,279,"[9, '9']",True,False,143,16384,350.12131175608374
+aime26_18,17,503,"[45, '45']",True,False,150,16384,413.41671437805053
+aime26_19,16,279,"[999, '999']",True,False,143,16384,345.388313716976
+aime26_20,1,190,"[190, '190']",True,True,105,16384,326.3690607099561
+aime26_20,23,190,"[190, '190']",True,True,105,16384,278.0869281409541
+aime26_19,14,279,"[488, '488']",True,False,143,16384,353.58901292295195
+aime26_19,26,279,"[999, '999']",True,False,143,16384,339.01860194001347
+aime26_19,0,279,"[990, '990']",True,False,143,16384,397.3906103549525
+aime26_20,31,190,"[515, '515']",True,False,105,16384,274.3788838200271
+aime26_20,11,190,"[14, '14']",True,False,105,16384,314.6991762020625
+aime26_20,21,190,"[190, '190']",True,True,105,16386,299.7105921320617
+aime26_18,16,503,"[20, '20']",True,False,150,16384,437.9761678460054
+aime26_19,21,279,"[10, '10']",True,False,143,16384,356.8219858621014
+aime26_19,13,279,"[1, '1']",True,False,143,16384,372.86409916298
+aime26_20,4,190,"[190, '190']",True,True,105,16387,338.809226318961
+aime26_19,27,279,"[999, '999']",True,False,143,16384,358.4291153390659
+aime26_18,25,503,['1/2)(1 +'],True,False,150,16384,424.62799170194194
+aime26_19,29,279,"[10, '10']",True,False,143,16384,363.0420827160124
+aime26_20,6,190,"[168, '168']",True,False,105,16384,350.21932142192964
+aime26_18,24,503,"[3, '3']",True,False,150,16384,428.5748416839633
+aime26_19,8,279,"[1100, '1100']",True,False,143,16384,406.70749400998466
+aime26_20,26,190,"[16380, '16380']",True,False,105,16384,321.74154272302985
+aime26_21,2,50,"[50, '50']",True,True,78,16384,299.93390292394906
+aime26_19,17,279,"[1010, '1010']",True,False,143,16384,398.3641639020061
+aime26_19,9,279,"[10, '10']",True,False,143,16384,416.9989080899395
+aime26_20,13,190,"[-217, '-217']",True,False,105,16387,352.402182733058
+aime26_20,27,190,"[16, '16']",True,False,105,16384,334.31620356300846
+aime26_21,15,50,['41 + 9 +'],True,False,78,16384,262.613993027946
+aime26_21,7,50,"[4*sqrt(10), '4\\sqrt{10}']",True,False,78,16384,291.44989300204907
+aime26_20,14,190,"[3, '3']",True,False,105,16384,367.44100189604796
+aime26_19,24,279,"[999, '999']",True,False,143,16384,409.84950627794024
+aime26_20,8,190,"[1465, '1465']",True,False,105,16384,384.3626606100006
+aime26_20,22,190,"[6.60000000000000, '6.6']",True,False,105,16384,361.66528597299475
+aime26_20,0,190,"[190, '190']",True,True,105,16384,408.882195202983
+aime26_21,31,50,"[9, '9']",True,False,78,16384,210.7323843470076
+aime26_20,17,190,"[190, '190']",True,True,105,16386,392.2911203140393
+aime26_20,29,190,"[3, '3']",True,False,105,16384,368.5679162570741
+aime26_21,3,50,"[59, '59']",True,False,78,16384,350.6558081379626
+aime26_22,4,754,['6).'],True,False,127,16384,211.48123246000614
+aime26_20,30,190,"[637560, '637560']",True,False,105,16384,372.92703375802375
+aime26_21,23,50,"[41, '41']",True,False,78,16384,253.0972562659299
+aime26_20,16,190,"[190, '190']",True,True,105,16384,406.41751364804804
+aime26_20,9,190,"[190, '190']",True,True,105,16384,418.44865975005087
+aime26_21,10,50,"[12, '12']",True,False,78,16384,324.91871382202953
+aime26_20,24,190,"[190, '190']",True,True,105,16384,393.9604027699679
+aime26_21,18,50,"[78, '78']",True,False,78,16384,319.8047055740608
+aime26_20,28,190,"[10, '10']",True,False,105,16384,413.7923369319178
+aime26_22,15,754,"[6, '6']",True,False,127,16384,229.52608763298485
+aime26_22,3,754,"[6, '6']",True,False,127,16384,261.2356324469438
+aime26_21,26,50,"[9, '9']",True,False,78,16384,287.5125441250857
+aime26_22,5,754,['(1/3'],True,False,127,16384,258.0018143609632
+aime26_22,12,754,"[6, '6']",True,False,127,16384,248.80596434499603
+aime26_21,6,50,"[9, '9']",True,False,78,16384,377.96133780502714
+aime26_22,2,754,"[2/(3*(1 - 4/9)**2), '(2/3) / (1 - (4/9))^2']",True,False,127,16384,270.4477697870461
+aime26_20,20,190,"[1225/3432, '1225 / 3432']",True,False,105,16385,446.19608742103446
+aime26_22,11,754,"[6, '6']",True,False,127,16384,254.34507943305653
+aime26_22,1,754,"[2, '2']",True,False,127,16384,281.1954249930568
+aime26_22,6,754,"[6, '6']",True,False,127,16384,265.21796654805075
+aime26_22,13,754,"[6, '6']",True,False,127,16384,252.52099832810927
+aime26_22,14,754,['2/3). \n'],True,False,127,16384,254.66776625195052
+aime26_20,12,190,"[1, '1']",True,False,105,16386,469.0507616470568
+aime26_21,1,50,"[sqrt(201), '\\sqrt{201}']",True,False,78,16384,427.62554567004554
+aime26_21,13,50,"[41, '41']",True,False,78,16384,369.37955417099874
+aime26_20,25,190,"[674/115, '674 / 115']",True,False,105,16390,444.9782557069557
+aime26_21,5,50,"[9, '9']",True,False,78,16384,417.71124340896495
+aime26_22,21,754,"[1, '1']",True,False,127,16384,233.1466475330526
+aime26_21,29,50,"[9, '9']",True,False,78,16384,302.9902574690059
+aime26_21,22,50,"[9, '9']",True,False,78,16384,335.7458940439392
+aime26_21,12,50,"[41, '41']",True,False,78,16384,384.82985955500044
+aime26_21,11,50,"[50, '50']",True,True,78,16384,391.363073588931
+aime26_21,27,50,"[59, '59']",True,False,78,16384,311.730253997026
+aime26_21,4,50,"[0, '0']",True,False,78,16384,432.5539343659766
+aime26_21,14,50,"[18, '18']",True,False,78,16384,385.1041150810197
+aime26_21,17,50,"[1681, '1681']",True,False,78,16384,390.01395543909166
+aime26_21,30,50,"[50, '50']",True,True,78,16384,324.59640388702974
+aime26_21,19,50,"[25600 - 1*268, '25600 - 268']",True,False,78,16384,384.7437892490998
+aime26_21,21,50,"[201, '201']",True,False,78,16384,365.37375150294974
+aime26_22,10,754,"[829, '829']",True,False,127,16384,299.1713194149779
+aime26_22,31,754,"[8/75.0, '8/75. \n']",True,False,127,16384,248.5292080710642
+aime26_22,7,754,"[5, '5']",True,False,127,16384,308.5836004510056
+aime26_21,20,50,"[50, '50']",True,True,78,16384,367.82448118098546
+aime26_22,29,754,"[6, '6']",True,False,127,16384,253.8375841040397
+aime26_21,8,50,"[9, '9']",True,False,78,16384,428.570697797928
+aime26_23,7,245,"[2, '2']",True,False,91,16384,241.52321630797815
+aime26_23,10,245,"[2, '2']",True,False,91,16384,239.88808647799306
+aime26_23,18,245,"[1 + 2*600*11, '2*600*11 + 1']",True,False,91,16384,226.4554013289744
+aime26_22,18,754,"[4, '4']",True,False,127,16384,287.10707725503016
+aime26_21,28,50,"[720, '720']",True,False,78,16384,347.8597265910357
+aime26_21,25,50,"[9, '9']",True,False,78,16384,358.28263482800685
+aime26_22,23,754,"[17/27.0, '17/27. \n']",True,False,127,16384,279.3367207470583
+aime26_21,9,50,"[0, '0']",True,False,78,16384,443.1886789170094
+aime26_22,24,754,"[6, '6']",True,False,127,16384,291.00432221603114
+aime26_21,0,50,"[41, '41']",True,False,78,16384,496.2535247770138
+aime26_22,27,754,['3) +'],True,False,127,16384,298.3214470440289
+aime26_21,16,50,"[80, '80']",True,False,78,16384,444.57889866793994
+aime26_22,26,754,"[1 - 1*4.0, '1-4.']",True,False,127,16384,308.9855005580466
+aime26_23,2,245,"[60052, '60052']",True,False,91,16384,290.89475323993247
+aime26_22,19,754,['1) +'],True,False,127,16384,322.01069244008977
+aime26_22,28,754,"[1 - 32/2, '1 - 32/2']",True,False,127,16384,301.41204253199976
+aime26_23,11,245,"[2, '2']",True,False,91,16384,284.7868493819842
+aime26_23,4,245,"[1, '1']",True,False,91,16384,300.2008611980127
+aime26_21,24,50,"[39, '39']",True,False,78,16384,407.0160236679949
+aime26_23,3,245,"[2, '2']",True,False,91,16384,303.5856904289685
+aime26_22,17,754,"[1, '1']",True,False,127,16384,343.98909052298404
+aime26_23,15,245,"[12, '12']",True,False,91,16384,283.2538833399303
+aime26_22,22,754,"[409, '409']",True,False,127,16384,337.067302228068
+aime26_23,31,245,"[250, '250']",True,False,91,16384,268.2960646050051
+aime26_23,6,245,"[25.7000000000000, '25.7']",True,False,91,16384,308.9681834100047
+aime26_22,8,754,"[1/3.0, '1/3.']",True,False,127,16384,381.0462423119461
+aime26_24,7,669,"[1, '1']",True,False,108,16384,257.32992249692325
+aime26_23,23,245,"[2, '2']",True,False,91,16382,305.06484266300686
+aime26_24,15,669,"[1, '1']",True,False,108,16384,249.61108902993146
+aime26_23,27,245,"[125/6.0, '125/6.']",True,False,91,16384,301.14529025007505
+aime26_23,29,245,"[4, '4']",True,False,91,16384,297.5818314519711
+aime26_23,19,245,"[2*2, '2*2']",True,False,91,16384,315.0355262879748
+aime26_23,21,245,['(2.449 + 1.41'],True,False,91,16384,314.3555376000004
+aime26_23,12,245,"[6, '6']",True,False,91,16384,327.5571242129663
+aime26_23,26,245,['(5/2) /'],True,False,91,16384,310.51171361503657
+aime26_24,2,669,"[159, '159']",True,False,108,16384,294.656453214935
+aime26_22,20,754,"[409, '409']",True,False,127,16384,376.95176020404324
+aime26_23,14,245,"[30750, '30750']",True,False,91,16384,327.8586186940083
+aime26_22,30,754,"[1/3.0, '1/3.']",True,False,127,16384,362.9791588849621
+aime26_23,5,245,"[2, '2']",True,False,91,16383,350.218542879913
+aime26_23,13,245,"[6, '6']",True,False,91,16384,340.3218289640499
+aime26_25,2,850,"[0, '0']",True,False,168,16384,205.62281533703208
+aime26_22,0,754,"[4/81.0, '4/81. \n']",True,False,127,16384,442.4225423129974
+aime26_23,1,245,"[1, '1']",True,False,91,16384,359.99033316096757
+aime26_23,9,245,['(2*5 - '],True,False,91,16384,349.2910459539853
+aime26_24,14,669,"[1, '1']",True,False,108,16384,273.7254154639086
+aime26_22,25,754,"[404, '404']",True,False,127,16384,378.8202398370486
+aime26_23,22,245,"[4, '4']",True,False,91,16384,333.39423797803465
+aime26_24,10,669,"[11/90, '11/90']",True,False,108,16384,292.6574151760433
+aime26_22,9,754,"[1/6.0, '1/6. \n']",True,False,127,16384,432.9347954749828
+aime26_23,17,245,"[2, '2']",True,False,91,16384,345.44179236795753
+aime26_23,0,245,"[1, '1']",True,False,91,16384,377.8215694470564
+aime26_24,23,669,"[0.1111 - 1*0.001, '0.1111 - 0.00100']",True,False,108,16384,258.7262624569703
+aime26_22,16,754,"[4/9.0, '4/9. \n']",True,False,127,16384,420.2012946830364
+aime26_23,20,245,['1)^'],True,False,91,16383,351.0072485530982
+aime26_23,16,245,"[2, '2']",True,False,91,16384,357.60044612607453
+aime26_24,19,669,"[1, '1']",True,False,108,16384,277.1862872670172
+aime26_23,30,245,['2 )\n'],True,False,91,16384,339.10205452807713
+aime26_24,13,669,"[10, '10']",True,False,108,16384,310.7158418010222
+aime26_24,3,669,"[10**102, '10^102']",True,False,108,16384,340.4365843679989
+aime26_24,31,669,['1/9 + 1/'],True,False,108,16384,251.03937909693923
+aime26_24,5,669,"[81, '81']",True,False,108,16384,346.727816308965
+aime26_24,11,669,"[0, '0']",True,False,108,16384,329.51496967999265
+aime26_23,8,245,"[5, '5']",True,False,91,16384,403.1274079839932
+aime26_25,7,850,"[225, '225']",True,False,168,16384,225.38752485706937
+aime26_24,6,669,['1/9 +'],True,False,108,16384,350.9497591810068
+aime26_24,18,669,"[959, '959']",True,False,108,16384,318.66658842994366
+aime26_24,22,669,"[0, '0']",True,False,108,16384,309.65769746294245
+aime26_24,21,669,"[11, '11']",True,False,108,16384,310.0025919089094
+aime26_23,28,245,['1/4 +'],True,False,91,16384,383.1176959699951
+aime26_23,24,245,"[125, '125']",True,False,91,16384,393.02482702198904
+aime26_24,9,669,['1).'],True,False,108,16384,360.37931649794336
+aime26_24,20,669,"[0.001 + 0.1212121212, '0.1212121212\n\n+ 0.00100']",True,False,108,16384,323.84217543399427
+aime26_24,26,669,"[1, '1']",True,False,108,16384,301.0743780309567
+aime26_24,29,669,"[1.00001000000000e-7, '0.000000100001000']",True,False,108,16384,293.264414921985
+aime26_25,4,850,"[0, '0']",True,False,168,16384,268.9971168859629
+aime26_24,0,669,['10/90 - 9/'],True,False,108,16384,390.39416054205503
+aime26_26,7,132,"[400, '400']",True,False,121,16384,196.34600565594155
+aime26_24,1,669,"[9680, '9680']",True,False,108,16384,395.2841258139815
+aime26_24,4,669,"[35, '35']",True,False,108,16384,394.70465906895697
+aime26_23,25,245,['4 ). \n'],True,False,91,16384,419.5996960620396
+aime26_24,30,669,['100...000 - 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'],True,False,108,16384,310.5852227190044
+aime26_24,12,669,"[901, '901']",True,False,108,16384,373.3950782819884
+aime26_24,27,669,"[345, '345']",True,False,108,16384,330.3165084209759
+aime26_25,13,850,"[13020000, '13020000']",True,False,168,16384,274.6318955369061
+aime26_24,28,669,"[-1/999 + 1/9, '1/9 - 1/999']",True,False,108,16384,333.7744311679853
+aime26_24,17,669,['1/9 + 1/99 + 1/999 + 1/9999 +'],True,False,108,16384,377.6195642630337
+aime26_26,2,132,"[400, '400']",True,False,121,16384,245.23731272295117
+aime26_25,10,850,"[2, '2']",True,False,168,16384,296.4081261019455
+aime26_24,25,669,"[111, '111']",True,False,108,16384,364.9745882229181
+aime26_25,6,850,"[64, '64']",True,False,168,16384,311.03035184391774
+aime26_25,1,850,"[2, '2']",True,False,168,16384,344.3126967009157
+aime26_25,21,850,"[8, '8']",True,False,168,16384,295.46186500496697
+aime26_25,3,850,"[5100, '5100']",True,False,168,16383,348.4158036389854
+aime26_25,15,850,"[9, '9']",True,False,168,16384,305.04654650809243
+aime26_25,5,850,"[8, '8']",True,False,168,16384,322.6960337560158
+aime26_24,8,669,"[111, '111']",True,False,108,16384,436.822573813959
+aime26_25,22,850,"[140000, '140000']",True,False,168,16384,306.6078580680769
+aime26_25,23,850,"[2, '2']",True,False,168,16384,308.0894521549344
+aime26_25,18,850,"[0, '0']",True,False,168,16384,314.06009827693924
+aime26_27,2,223,"[18, '18']",True,False,166,16384,212.84374404896516
+aime26_25,30,850,"[765, '765']",True,False,168,16384,307.9859063240001
+aime26_25,14,850,"[595, '595']",True,False,168,16384,334.4473948919913
+aime26_26,5,132,"[2, '2']",True,False,121,16384,294.3074756839778
+aime26_25,12,850,['0).'],True,False,168,16384,344.482249559951
+aime26_25,26,850,"[425, '425']",True,False,168,16384,322.41304246499203
+aime26_25,31,850,"[225, '225']",True,False,168,16384,317.19177402590867
+aime26_24,24,669,"[0, '0']",True,False,108,16384,423.428264503018
+aime26_26,10,132,"[346562, '346562']",True,False,121,16384,292.328469144064
+aime26_24,16,669,"[0, '0']",True,False,108,16384,453.3190098120831
+aime26_25,11,850,"[2, '2']",True,False,168,16384,352.4471327490173
+aime26_25,20,850,"[375, '375']",True,False,168,16384,344.0237119909143
+aime26_25,9,850,"[0, '0']",True,False,168,16384,370.856116447947
+aime26_26,18,132,"[4, '4']",True,False,121,16384,293.91506381402723
+aime26_25,27,850,"[36, '36']",True,False,168,16384,350.38735675101634
+aime26_26,3,132,"[400, '400']",True,False,121,16384,328.9357591769658
+aime26_25,29,850,"[22, '22']",True,False,168,16384,351.78513580199797
+aime26_26,26,132,"[1, '1']",True,False,121,16383,272.3827625819249
+aime26_25,19,850,"[0, '0']",True,False,168,16384,369.1639384099981
+aime26_25,0,850,"[8, '8']",True,False,168,16384,426.7061020738911
+aime26_26,15,132,"[2, '2']",True,False,121,16384,319.5460303579457
+aime26_26,17,132,"[400, '400']",True,False,121,16384,313.18350551708136
+aime26_26,23,132,"[6, '6']",True,False,121,16384,288.85337420203723
+aime26_26,4,132,"[2511040.25000000, '2511040.25']",True,False,121,16384,344.2576297580963
+aime26_25,28,850,"[2, '2']",True,False,168,16384,371.26953098294325
+aime26_25,16,850,"[16, '16']",True,False,168,16384,398.0016696980456
+aime26_26,19,132,"[11, '11']",True,False,121,16384,329.2378715300001
+aime26_25,17,850,"[85, '85']",True,False,168,16384,400.92357789503876
+aime26_27,7,223,"[88.5000000000000, '88.5']",True,False,166,16384,268.76789214706514
+aime26_25,25,850,"[2, '2']",True,False,168,16384,391.3199982889928
+aime26_25,8,850,"[850, '850']",True,True,168,16384,418.86191915592644
+aime26_26,13,132,"[3, '3']",True,False,121,16384,356.94788720598444
+aime26_26,11,132,"[400, '400']",True,False,121,16384,369.1258072779747
+aime26_26,31,132,"[11, '11']",True,False,121,16384,313.0753259359626
+aime26_27,10,223,"[-5, '-5']",True,False,166,16384,280.12512652098667
+aime26_26,14,132,"[0, '0']",True,False,121,16384,367.38143343897536
+aime26_26,6,132,"[40, '40']",True,False,121,16384,380.7845742580248
+aime26_26,0,132,"[400, '400']",True,False,121,16384,391.8119989039842
+aime26_26,21,132,"[12, '12']",True,False,121,16384,341.4780967690749
+aime26_27,26,223,"[9, '9']",True,False,166,16384,268.61445702204946
+aime26_27,27,223,"[1/6, '1/6']",True,False,166,16384,263.47624559199903
+aime26_26,1,132,"[0, '0']",True,False,121,16384,397.14063037908636
+aime26_26,29,132,"[2, '2']",True,False,121,16384,329.1530249520438
+aime26_26,12,132,"[12.6660000000000, '12.666']",True,False,121,16384,381.69837557605933
+aime26_27,18,223,"[1, '1']",True,False,166,16384,279.94133954902645
+aime26_27,23,223,"[19, '19']",True,False,166,16384,282.1705578939291
+aime26_27,3,223,['250 - 888/'],True,False,166,16384,325.1897300740238
+aime26_27,15,223,"[18, '18']",True,False,166,16384,295.15986891894136
+aime26_25,24,850,"[-407.500000000000, '-407.5']",True,False,168,16384,435.3003467550734
+aime26_26,9,132,"[2, '2']",True,False,121,16384,400.52822423900943
+aime26_27,11,223,"[0, '0']",True,False,166,16384,307.2872026358964
+aime26_26,27,132,"[0, '0']",True,False,121,16384,348.2330906619318
+aime26_28,6,107,"[1, '1']",True,False,147,16384,254.6807672129944
+aime26_27,31,223,"[5, '5']",True,False,166,16384,278.93404176901095
+aime26_26,30,132,"[66, '66']",True,False,121,16384,347.2150179500459
+aime26_26,22,132,"[3, '3']",True,False,121,16384,365.8817514020484
+aime26_26,20,132,"[400, '400']",True,False,121,16384,374.3112427009037
+aime26_27,14,223,"[117, '117']",True,False,166,16384,314.95804561895784
+aime26_26,25,132,"[-1.75000000000000, '-1.75']",True,False,121,16384,373.4584026261
+aime26_26,8,132,"[4, '4']",True,False,121,16384,423.0948523900006
+aime26_27,6,223,"[25, '25']",True,False,166,16384,337.8629020479275
+aime26_27,13,223,"[33, '33']",True,False,166,16384,326.9846119219437
+aime26_27,5,223,"[2, '2']",True,False,166,16359,342.8890575240366
+aime26_26,28,132,"[-11.4190000000000, '-11.419']",True,False,121,16384,379.0646543140756
+aime26_27,21,223,['(20/3 - 45/3)^2 +'],True,False,166,16384,323.72146556002554
+aime26_27,1,223,"[1, '1']",True,False,166,16384,366.54464890400413
+aime26_27,4,223,"[3, '3']",True,False,166,16384,361.90259542304557
+aime26_27,29,223,['(13858 - 23'],True,False,166,16384,317.4115779439453
+aime26_26,16,132,"[6, '6']",True,False,121,16384,431.3276608479209
+aime26_28,10,107,"[1, '1']",True,False,147,16384,282.0846736780368
+aime26_27,22,223,"[250, '250']",True,False,166,16384,346.0215881970944
+aime26_27,0,223,"[18, '18']",True,False,166,16384,393.94126045296434
+aime26_27,9,223,['53.2 + (42'],True,False,166,16384,378.9539484800771
+aime26_27,28,223,"[3, '3']",True,False,166,16384,349.6967982639326
+aime26_27,16,223,"[1, '1']",True,False,166,16384,365.5754593710881
+aime26_27,8,223,['(-50000 / 324) * (18'],True,False,166,16384,381.89706672297325
+aime26_27,19,223,"[151/2, '151/2']",True,False,166,16384,365.2360630449839
+aime26_28,12,107,"[2, '2']",True,False,147,16384,304.1952334990492
+aime26_27,17,223,['4) *'],True,False,166,16384,369.66012714698445
+aime26_28,7,107,"[1, '1']",True,False,147,16384,323.19515450601466
+aime26_27,12,223,"[3, '3']",True,False,166,16384,383.288970669033
+aime26_28,29,107,"[2, '2']",True,False,147,16384,262.5571686270414
+aime26_28,2,107,"[4040, '4040']",True,False,147,16384,348.17122988798656
+aime26_27,30,223,['(25*10)/4 +'],True,False,166,16384,358.17963873106055
+aime26_29,26,157,"[0, '0']",True,False,195,16384,175.19872806896456
+aime26_27,20,223,['(250 - 8'],True,False,166,16384,381.5267905300716
+aime26_29,6,157,"[0, '0']",True,False,195,16384,242.8748624570435
+aime26_28,18,107,"[2, '2']",True,False,147,16383,314.10582473804243
+aime26_28,23,107,"[4, '4']",True,False,147,16384,308.73773305490613
+aime26_27,25,223,"[3, '3']",True,False,166,16379,390.3287081370363
+aime26_29,7,157,"[0, '0']",True,False,195,16384,255.01091545901727
+aime26_26,24,132,"[400, '400']",True,False,121,16384,465.22309615300037
+aime26_28,5,107,"[4040, '4040']",True,False,147,16384,364.6718965120381
+aime26_28,15,107,"[1, '1']",True,False,147,16384,344.20414905890357
+aime26_29,10,157,"[1, '1']",True,False,195,16384,264.0218444929924
+aime26_28,30,107,"[11, '11']",True,False,147,16384,300.4004400020931
+aime26_29,2,157,"[0, '0']",True,False,195,16384,284.62930131005123
+aime26_29,15,157,"[0, '0']",True,False,195,16384,244.5880734800594
+aime26_29,3,157,"[0, '0']",True,False,195,16384,288.2222618589876
+aime26_28,26,107,"[1, '1']",True,False,147,16384,329.56962192594074
+aime26_29,23,157,"[12, '12']",True,False,195,16384,240.92834797501564
+aime26_28,4,107,"[1, '1']",True,False,147,16384,393.4492038799217
+aime26_28,13,107,"[4040, '4040']",True,False,147,16384,369.1576433168957
+aime26_29,12,157,"[12, '12']",True,False,195,16384,279.49940930493176
+aime26_28,31,107,"[1, '1']",True,False,147,16384,326.54274887696374
+aime26_29,18,157,"[0, '0']",True,False,195,16384,264.6259099270683
+aime26_28,14,107,"[3, '3']",True,False,147,16384,389.1993961900007
+aime26_28,1,107,"[6, '6']",True,False,147,16384,429.12123020901345
+aime26_29,13,157,"[5, '5']",True,False,195,16384,296.7166396569228
+aime26_28,3,107,"[1, '1']",True,False,147,16383,433.07488342910074
+aime26_30,10,393,"[1, '1']",True,False,185,16384,218.16461065702606
+aime26_28,21,107,"[2, '2']",True,False,147,16384,387.40415473806206
+aime26_28,11,107,"[4040, '4040']",True,False,147,16383,414.7845958870603
+aime26_29,14,157,"[6, '6']",True,False,195,16384,299.7885254200082
+aime26_30,2,393,"[3, '3']",True,False,185,16384,252.9077134410618
+aime26_29,21,157,"[2, '2']",True,False,195,16384,288.492613469949
+aime26_28,9,107,"[15, '15']",True,False,147,16384,418.55128681694623
+aime26_29,30,157,"[0, '0']",True,False,195,16384,267.50345164199825
+aime26_28,20,107,"[4040, '4040']",True,False,147,16384,406.1472451380687
+aime26_29,5,157,"[0, '0']",True,False,195,16384,349.3457888410194
+aime26_29,19,157,"[0, '0']",True,False,195,16384,304.6325058559887
+aime26_29,1,157,"[0, '0']",True,False,195,16384,361.89264755300246
+aime26_28,19,107,"[5, '5']",True,False,147,16384,413.0106003918918
+aime26_29,17,157,"[0, '0']",True,False,195,16384,310.18830033100676
+aime26_28,22,107,"[4040, '4040']",True,False,147,16384,408.40169036900625
+aime26_29,22,157,"[0, '0']",True,False,195,16384,305.8234552589711
+aime26_30,15,393,"[7, '7']",True,False,185,16384,229.84034490399063
+aime26_30,6,393,"[0, '0']",True,False,185,16384,261.6910111969337
+aime26_28,28,107,"[1, '1']",True,False,147,16384,397.5223415509099
+aime26_30,18,393,"[3, '3']",True,False,185,16384,235.98915242298972
+aime26_29,31,157,"[0, '0']",True,False,195,16384,288.0310865039937
+aime26_30,23,393,"[3, '3']",True,False,185,16384,226.21435520600062
+aime26_28,16,107,"[4040, '4040']",True,False,147,16384,437.0885142890038
+aime26_30,5,393,"[3, '3']",True,False,185,16384,276.11337151401676
+aime26_29,20,157,"[12, '12']",True,False,195,16384,323.71289420092944
+aime26_30,26,393,"[2282, '2282']",True,False,185,16384,228.61091381602455
+aime26_30,31,393,"[3, '3']",True,False,185,16384,220.9454531579977
+aime26_29,9,157,"[0, '0']",True,False,195,16384,365.98939842393156
+aime26_28,27,107,"[4, '4']",True,False,147,16384,413.54195650399197
+aime26_27,24,223,"[0, '0']",True,False,166,16384,509.60956014401745
+aime26_30,7,393,"[3, '3']",True,False,185,16384,274.531192565104
+aime26_30,14,393,"[6 - 1*1, '6-1']",True,False,185,16384,252.34907890995964
+aime26_28,8,107,"[4040, '4040']",True,False,147,16384,471.27135416003875
+aime26_29,28,157,"[0, '0']",True,False,195,16384,310.93023310997523
+aime26_29,4,157,"[1, '1']",True,False,195,16384,391.9891784579959
+aime26_28,0,107,"[4, '4']",True,False,147,16384,505.383636360988
+aime26_28,17,107,"[1, '1']",True,False,147,16383,454.0392167819664
+aime26_30,3,393,"[3, '3']",True,False,185,16384,311.4696423159912
+aime26_29,11,157,"[12, '12']",True,False,195,16384,376.3988845749991
+aime26_29,29,157,"[0, '0']",True,False,195,16384,326.045277684927
+aime26_29,8,157,"[0, '0']",True,False,195,16384,396.0882890729699
+aime26_30,29,393,"[1, '1']",True,False,185,16384,260.66181260102894
+aime26_29,24,157,"[0, '0']",True,False,195,16384,363.2450173749821
+aime26_30,21,393,"[3, '3']",True,False,185,16384,276.3218860719353
+aime26_28,25,107,"[1, '1']",True,False,147,16384,461.33869856398087
+aime26_30,30,393,"[1, '1']",True,False,185,16384,266.3951059760293
+aime26_30,1,393,"[-3, '-3']",True,False,185,16384,341.9343742020428
+aime26_30,20,393,"[3, '3']",True,False,185,16384,285.0949383949628
+aime26_30,12,393,"[3, '3']",True,False,185,16384,310.40236104500946
+aime26_29,0,157,"[-1, '-1']",True,False,195,16384,442.3704013460083
+aime26_30,13,393,"[5, '5']",True,False,185,16384,315.3205573580926
+aime26_30,28,393,"[3, '3']",True,False,185,16384,285.3780611830298
+aime26_29,27,157,"[2, '2']",True,False,195,16384,363.95382094103843
+aime26_30,11,393,"[48, '48']",True,False,185,16384,324.5613489219686
+aime26_30,22,393,"[27, '27']",True,False,185,16384,298.6861351990374
+aime26_30,4,393,"[5, '5']",True,False,185,16384,356.6518262309255
+aime26_29,25,157,"[12, '12']",True,False,195,16384,392.1982599910116
+aime26_30,19,393,"[2, '2']",True,False,185,16384,314.85609510401264
+aime26_30,0,393,"[1, '1']",True,False,185,16384,369.5454224089626
+aime26_30,27,393,"[7, '7']",True,False,185,16384,309.29820779094007
+aime26_28,24,107,"[1, '1']",True,False,147,16384,514.7952828869456
+aime26_30,16,393,"[3, '3']",True,False,185,16384,350.6233414460439
+aime26_30,17,393,"[3, '3']",True,False,185,16384,369.23099841491785
+aime26_29,16,157,"[4, '4']",True,False,195,16384,466.6430242009228
+aime26_30,9,393,"[1, '1']",True,False,185,16384,396.09432519890834
+aime26_30,8,393,"[225, '225']",True,False,185,16384,407.1750580120133
+aime26_30,25,393,"[9, '9']",True,False,185,16384,375.7892609159462
+aime26_30,24,393,"[0, '0']",True,False,185,16384,382.94195019907784

checkpoint-3780/eval_results/thr0.5/aime26/20260718_002805_0.124/eval_tah.yaml

@@ -0,0 +1,37 @@
+_logger_level: WARNING
+_random_seed: 42
+batch_size: 8
+dtype: bfloat16
+eval_iter_decider: iter_decider
+eval_iter_decider_kwargs: {}
+iter_decider: Qwen3MLPIterDecider
+iter_decider_kwargs:
+  hidden_size: 2048
+  intermediate_size: 2048
+  max_iter: 2
+  threshold: 0.5
+  topk: 2048
+max_iter: 2
+max_new_tokens: 16384
+mem_fraction_static: 0.8
+min_p: 0.0
+online_backend: mini_sglang_online
+online_base_urls:
+- http://127.0.0.1:30080
+- http://127.0.0.1:30081
+- http://127.0.0.1:30082
+- http://127.0.0.1:30083
+- http://127.0.0.1:30084
+- http://127.0.0.1:30085
+- http://127.0.0.1:30086
+- http://127.0.0.1:30087
+per_server_concurrency: 16
+prompt_iter_count: 1
+repeat_size: 32
+temperature: 0.6
+top_k: 20
+top_p: 0.95
+total_concurrency: 128
+tracker_kwargs:
+  top_k: 5
+use_tracker: false

checkpoint-3780/eval_results/thr0.5/aime26/20260718_002805_0.124/evaluation_stats.csv

@@ -0,0 +1,33 @@
+problem_id,accuracy,correct_count,total_samples,avg_output_length
+aime26_1,1.000,32,32,16383.25
+aime26_3,0.031,1,32,16383.91
+aime26_2,0.000,0,32,16383.91
+aime26_4,0.094,3,32,16384.00
+aime26_5,0.594,19,32,16383.97
+aime26_6,0.438,14,32,16384.00
+aime26_7,0.000,0,32,16384.00
+aime26_8,0.156,5,32,16384.00
+aime26_9,0.000,0,32,16384.00
+aime26_10,0.031,1,32,16383.94
+aime26_11,0.000,0,32,16383.91
+aime26_12,0.000,0,32,16383.97
+aime26_13,0.000,0,32,16383.97
+aime26_14,0.000,0,32,16383.94
+aime26_15,0.000,0,32,16384.12
+aime26_16,0.875,28,32,16384.00
+aime26_17,0.000,0,32,16383.97
+aime26_18,0.000,0,32,16384.00
+aime26_19,0.000,0,32,16384.00
+aime26_20,0.344,11,32,16384.88
+aime26_21,0.125,4,32,16384.00
+aime26_22,0.000,0,32,16384.00
+aime26_23,0.000,0,32,16383.88
+aime26_24,0.000,0,32,16384.00
+aime26_25,0.031,1,32,16383.97
+aime26_26,0.000,0,32,16383.97
+aime26_27,0.000,0,32,16383.06
+aime26_28,0.000,0,32,16383.88
+aime26_29,0.000,0,32,16384.00
+aime26_30,0.000,0,32,16384.00
+
+Total Accuracy,0.124,119,960,16383.95

checkpoint-3780/eval_results/thr0.5/aime26/20260718_002805_0.124/iter_count_distribution.csv

@@ -0,0 +1,7 @@
+iter_count,token_count,percentage
+1,10228554,65.0313949584961
+2,1580873,10.050919850667318
+3,729034,4.635073343912761
+4,3190179,20.282611846923828
+
+Total Tokens,15728640,100.0

checkpoint-3780/eval_results/thr0.5/aime26/20260718_002805_0.124/results.json

@@ -0,0 +1,16 @@
+{
+  "pass@32": 0.3667,
+  "cons@32": 0.2,
+  "avg@32": 0.124,
+  "avg_output_length": 16383.95,
+  "num_problems": 30,
+  "num_samples": 960,
+  "repeat_size": 32,
+  "avg_request_time": 322.613,
+  "end_2_end_time": 2621.2656,
+  "token_throughtput": 6000.3805,
+  "request_throught": 0.3662,
+  "avg_iter_count": 1.8017,
+  "total_concurrency": 128,
+  "failed_requests": 0
+}

checkpoint-3780/eval_results/thr0.5/aime26/20260718_002805_0.124/samples.jsonl

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:bc814b682fc605f679908d3041cb0e321d442de527e00d1ee3c9cf73e7eebbe7
+size 49536771