clever_bench/benchmark.py,sha256=tL4oJcmncmWPKUJKCcahMk7sNDGZpZiNiZ2s6J_XaZo,4368
clever_bench/lean_parser_spec.py,sha256=VJxGetcPeyT1fTQAUvwA8ZGvCBIzSFCiRkYZXfq-TWY,4673
clever_bench/lean_problem.py,sha256=haqn9X0Rs5V6Tz5qW66Fjzjf7Awakd6jY3PIJrgUsCE,8106
clever_bench/setup.py,sha256=ZavhSXiI5pfk-MR1d1M8E2bg654ovRxOrXBRZ3wK9-E,2068
clever_bench/task.py,sha256=8nXU81V3w5TOzwiC2nbhk1_SFmYs5DEu5UlBgk5j05c,12374
clever_bench/lean4/Imports/AllImports.lean,sha256=ZrC4ynegCg4Q5uuH4-ANJ3eMJZpugWUsOI70DoKkqfM,17589
clever_bench/lean4/gitignore,sha256=8qJScDGodogalJ3OhH8bDbf3VHtd0eQnuKVxHBktHFE,24
clever_bench/lean4/human_eval/problem_0.lean,sha256=Fnp3BzMDAWKOJT7sXEM-1ppShH9NNCFfugzXpitnmwg,8144
clever_bench/lean4/human_eval/problem_1.lean,sha256=31j0BTSAojZpd3C_TdT2rHUA4ceyj3wwyjODIDSsJzg,3236
clever_bench/lean4/human_eval/problem_10.lean,sha256=ZKgRBbjhgJXJRNGa71SHCTK8XVWLKxcEDeUMAzq5eO8,2401
clever_bench/lean4/human_eval/problem_100.lean,sha256=ZBOV6L-zk3iJtPu-XsT4Px6Ll-7VM-kMjzZym0uLUoY,2170
clever_bench/lean4/human_eval/problem_101.lean,sha256=GhZWPn6UVtXA_kVHCtMEqUMAQbBzM-_H3BRrCLsHvos,2607
clever_bench/lean4/human_eval/problem_102.lean,sha256=hjMc42Zh3fUW40BUrCcOizt_wcFKD07zkdnwHJTbmHo,2247
clever_bench/lean4/human_eval/problem_103.lean,sha256=dOc4-IS0OOfeKFkbordYMHytSdPHA0yMYqvLwft3gIA,2919
clever_bench/lean4/human_eval/problem_104.lean,sha256=MFEcwkQZiY6J_vqaXU7rp9I-4SDQMBOtENfA4f5_vi4,2142
clever_bench/lean4/human_eval/problem_105.lean,sha256=DKLrUTbW4xFDSY2KdLgqY24NwTu9vUziB0wysxtUSBI,2636
clever_bench/lean4/human_eval/problem_106.lean,sha256=zjOup79lus9xk1TO4otmXtJ5-5KRXVs_7dMp1ZhgzFk,2152
clever_bench/lean4/human_eval/problem_107.lean,sha256=POuItcTubr90HfCQ3qxwHHaxMUwVQyYdXXeFDmMbS-A,2508
clever_bench/lean4/human_eval/problem_108.lean,sha256=ZrPaUybwwt_hS8XAQQnyDeZ9cu28I2Mm1TgESFn17Uw,2866
clever_bench/lean4/human_eval/problem_109.lean,sha256=N0SIcdlxcl38wADOgu0SSh34lIsF-9WBtbrPUklDH2g,2929
clever_bench/lean4/human_eval/problem_11.lean,sha256=CpnShBEtlsh93uWd_cMwTb_GUydjL810yW6u8NtsNTA,2183
clever_bench/lean4/human_eval/problem_110.lean,sha256=TAGj19SxSIw8WeKpEufQ-WMuoZZ2Hty39OxIXdKBYm4,3028
clever_bench/lean4/human_eval/problem_111.lean,sha256=W5tmo1nO9Fw2fPSY73D6XDqo95vn_pDYN3AyBx9VwSA,2661
clever_bench/lean4/human_eval/problem_112.lean,sha256=CKSVA39hpCorzaIAc-dUGsQyEwh3n_ejVcN3FIhJ0Cw,2569
clever_bench/lean4/human_eval/problem_113.lean,sha256=WwnrUE_qdVsxY0Zja5tpFFmTVIh5h7wv6dXuMZfmerc,2816
clever_bench/lean4/human_eval/problem_114.lean,sha256=lTdNFARP_GlKMmvjPCS9DFEa_mN2Nlcgi5-F5dk4-3g,1848
clever_bench/lean4/human_eval/problem_115.lean,sha256=UvHsB6FfnpF7que2o2AH7gfwkFw4nxgAzEhej6048XE,2931
clever_bench/lean4/human_eval/problem_116.lean,sha256=MqOWSn7D6rqzukZ-otvnMY3pGJEc737kAhT_MPcjbV0,2167
clever_bench/lean4/human_eval/problem_117.lean,sha256=Z65VErr1ApSTziF2W7KOKMjdU5fI8Wrvm5u4jh4ksls,3201
clever_bench/lean4/human_eval/problem_118.lean,sha256=E6857U5NI3mRiOTHfwRdO_kSOmkH9gw2PMiH44b6xu8,2971
clever_bench/lean4/human_eval/problem_119.lean,sha256=dsu0UJs9m8vbNZ0BTuEp7hgOrjGQT5VSpmbrGSUp6LU,2378
clever_bench/lean4/human_eval/problem_12.lean,sha256=aOz6r04512wXFAAErKw6WzqaYJQu8SED2OmNn6Jo3BI,2528
clever_bench/lean4/human_eval/problem_120.lean,sha256=7hqoCv-FeqWf11p-EZx19oZV_wuhf71kqUdbAdVTkwk,2464
clever_bench/lean4/human_eval/problem_121.lean,sha256=XAXKulatDS3t3p5jh5VxagBYqL2Z3eYmGDhTFRLQ5bs,2226
clever_bench/lean4/human_eval/problem_122.lean,sha256=Zr2wjmIRkWofXNz3BmqlpSEH0yY_G-He40Pak3izc5Y,2260
clever_bench/lean4/human_eval/problem_123.lean,sha256=WWSCnc27yqM3pmG9yVuoWOcuE1-Da5KvIpC4TtwDE_g,2266
clever_bench/lean4/human_eval/problem_124.lean,sha256=KDTHn8fEKXPhOHEYjr-FzKYw-efwV30WgsdNooaSidM,3089
clever_bench/lean4/human_eval/problem_125.lean,sha256=-FEWQn2Yw5ZKTJTSwUdQz8DLCeaqfVnw0Riw7R3TJdE,3888
clever_bench/lean4/human_eval/problem_126.lean,sha256=uDlv05HsYWS3hLgQDFls67YYmRCKcMUjZDmRxwZIJ1c,2671
clever_bench/lean4/human_eval/problem_127.lean,sha256=aNypsiv90sBAH56OUUb5En-3T8Pgq5LB1QAskpBzTcs,3189
clever_bench/lean4/human_eval/problem_128.lean,sha256=LcRjDFFsejxtz0rXDe0bl0GKgL_uMq_WWjhdSsXR52Q,2437
clever_bench/lean4/human_eval/problem_129.lean,sha256=4hb7rGkBZb0O43_FXOPgpH6pxJ2HciC5-n927dMVf2Q,2960
clever_bench/lean4/human_eval/problem_13.lean,sha256=EEGsyEAQ7di0ZL_iKQ_ojAB11jyN-Od0YZPBZmEGZys,1918
clever_bench/lean4/human_eval/problem_130.lean,sha256=UUmxMgiUfMWnjjFpnp-qTYRzpV1KLI2iz342gvMUEYk,2442
clever_bench/lean4/human_eval/problem_131.lean,sha256=TuMclwZvaY8j9ALhBCjSi6C2uyjxzg-H8bkPHLSbEfk,2082
clever_bench/lean4/human_eval/problem_132.lean,sha256=uqvAUEQwr5a6w8ED9DlMwZAMFSMrJ5v0LTzOs_ZaEUs,2355
clever_bench/lean4/human_eval/problem_133.lean,sha256=4JUCkuzMxdrnXzWaMyfU3_mO3Z2WDiBTBFHpFRB71dQ,2178
clever_bench/lean4/human_eval/problem_134.lean,sha256=-46iTQLJa3OQZg0wBx6xWd5NpNybe6KwqcylQWvSGyM,2327
clever_bench/lean4/human_eval/problem_135.lean,sha256=iG8NqOtanDKk3gxOdLManpGdhqg-MbOcY8xDxBjkRdk,2127
clever_bench/lean4/human_eval/problem_136.lean,sha256=YfyrROl7-yfNUx1CyZ9m-NNdWkuYIx5oNTUho-bQZ2Y,2404
clever_bench/lean4/human_eval/problem_138.lean,sha256=ffCTID9wo_9uYMj5w_d70BJl8ADhZ7iuP9CxoAiTlJI,1864
clever_bench/lean4/human_eval/problem_139.lean,sha256=sphZK3jJ9ER0SJ-Q_wqbpvOeItLc5DA-yrZltN7HZeU,1742
clever_bench/lean4/human_eval/problem_14.lean,sha256=6e0pI2a4LmKGRf0LPRvHKhSohpvpgeF7XdOom2aLQUQ,2085
clever_bench/lean4/human_eval/problem_140.lean,sha256=-4a_PIOCRl6WShT5GMGqk5zfQalYf-ADqSvq4qrV7Is,2501
clever_bench/lean4/human_eval/problem_141.lean,sha256=rbfssn9oowmiWMk67VAFjsY_pKMQrq1y22Iu-BNXg90,2663
clever_bench/lean4/human_eval/problem_142.lean,sha256=AWIKq8mnvIR5ueCeMSIX4EaCuEdqXE_wUiGZoInjjwg,2437
clever_bench/lean4/human_eval/problem_143.lean,sha256=bQwCYhk9Wkx_lXCvnmKVkE5ILmeZYn-w90xLe3wFEa4,2666
clever_bench/lean4/human_eval/problem_144.lean,sha256=NCoukpCOnr8Enz7SmozBTgBwShFYfAWxGlRD_Mz-cow,2528
clever_bench/lean4/human_eval/problem_145.lean,sha256=G0LIdY1_eLGBKW-JKosg5YDVGpCueJIBB1ekwInOZ6M,2221
clever_bench/lean4/human_eval/problem_146.lean,sha256=es2iq_RFwfY6-_QwOu2cg7qoZiKwgwe3-lreYXDsB4c,2157
clever_bench/lean4/human_eval/problem_147.lean,sha256=TgEPxjHJeMuQcTO0PCoF4I3ttLmv3ZA6ersqosniQJA,2039
clever_bench/lean4/human_eval/problem_148.lean,sha256=KhvtI9XslxiP0O9EyZcN5oHif0kJErdM8hBN9Anlcwk,3244
clever_bench/lean4/human_eval/problem_149.lean,sha256=Z_jTMtnT7I54HgZWUAig3KHFyh4mBTCtI6nYuwetCRM,2579
clever_bench/lean4/human_eval/problem_15.lean,sha256=iOv2WINWl-RgPY6_vwKo8v0hmchj8FajoxdQPxjAPXU,1945
clever_bench/lean4/human_eval/problem_150.lean,sha256=wzrJbXiJMJPfgVgBi27VzFB7-GNm9z-NiUFUdki6ves,1835
clever_bench/lean4/human_eval/problem_151.lean,sha256=ZnZrjKUCKurQ4juE9jQJMhsx07felAsyabBDIFEerf8,2491
clever_bench/lean4/human_eval/problem_152.lean,sha256=CS90qIb5pgisZ9TqXIp17erW9jkHM4cDaIEe_pqO-_I,2866
clever_bench/lean4/human_eval/problem_153.lean,sha256=8p3bCZzD3ky5UaGs5LKueAWynEFLDy6FKnlKxNXnVjE,3634
clever_bench/lean4/human_eval/problem_154.lean,sha256=3UNEa4zCMwzoNObWtU47lGdtaVL12V3ua_AdwdJ1z5w,2401
clever_bench/lean4/human_eval/problem_155.lean,sha256=eFcI0ixe5N3ubNmR5RhJMAsNu7lBLAm3UG7gt0NMmV4,2079
clever_bench/lean4/human_eval/problem_156.lean,sha256=mi5BZTDB7obvoLVyP_WZbYYh7HmSFFpP1fElsVsO7gc,1922
clever_bench/lean4/human_eval/problem_157.lean,sha256=sm7SyqfvbdJ7-ePVgvvER9HRvaAeFXMjICfrfkGRq7s,2095
clever_bench/lean4/human_eval/problem_158.lean,sha256=SjsPkGkSCp1NaQEPKKm_V8hJzR8UKsG9pPFiNPl1L1Y,2656
clever_bench/lean4/human_eval/problem_159.lean,sha256=21XGod7X5knUanRWt2K2AKE9n1Wqw1mSw53s-Brmmo4,2923
clever_bench/lean4/human_eval/problem_16.lean,sha256=DmgxSI-hImDqjG5Di23fvZ_H1NxC37nbW_R_B6Jgt4Q,2407
clever_bench/lean4/human_eval/problem_160.lean,sha256=HxQh6sqPpvnjxg2WHobsTAqUcuZdTsVpFPnhvgrMGFs,2656
clever_bench/lean4/human_eval/problem_161.lean,sha256=1oVMC_Mp9vD3NfMkg5HiJRJJHzI7PO2qgWOpCMT7ztg,2352
clever_bench/lean4/human_eval/problem_163.lean,sha256=_0XF2i64U0OmxhC_eLjPAuhVqGizMSgWOqFORS12l-I,2274
clever_bench/lean4/human_eval/problem_17.lean,sha256=cqwIobznjPb8mUinUWzoelJ2XaNfW_FhQWtEZcVnaDI,2545
clever_bench/lean4/human_eval/problem_18.lean,sha256=ep1E64N9tFIVOzxZrN6wQEfMiO3gxlB7Ro2t6b17QME,2670
clever_bench/lean4/human_eval/problem_19.lean,sha256=vNslBQ7LlMnMMtgMgDbknncH9oVa_PgGWT6Z0tPBFwY,4112
clever_bench/lean4/human_eval/problem_2.lean,sha256=88Edo2a3gZvDnYv4FpMoy08bcDHes_JLiVXGrPCReHM,2048
clever_bench/lean4/human_eval/problem_20.lean,sha256=v0vbzETxOAj5ftcuIPVQhCcgr1yzafAaeMcoREywQVY,2981
clever_bench/lean4/human_eval/problem_21.lean,sha256=Sl1_urzkr4EbC2jHgPYwClahWCRD27I2NbZBbZOr00c,2275
clever_bench/lean4/human_eval/problem_23.lean,sha256=SBM6qTPTNUHc5bELGX9nje0L0sNpG3-u5dllowIBRKA,1877
clever_bench/lean4/human_eval/problem_24.lean,sha256=VAQeCFbWvrEbo2xIXV39Xm_58GFkWGq41wCfZP6Wijs,1943
clever_bench/lean4/human_eval/problem_25.lean,sha256=NtPGp52TZFGwTjta_Hn-nLR5R1fhkF4Yf_fkrQNUyZU,2347
clever_bench/lean4/human_eval/problem_26.lean,sha256=wybPbCDmRo_dTuV6Ho0hvtyzv_Javidj_UdvJzBm6XY,2290
clever_bench/lean4/human_eval/problem_27.lean,sha256=aYM6Rb5o42jAIaPPF54k7pBdOuNftCa2YjMdwtc74lM,2152
clever_bench/lean4/human_eval/problem_28.lean,sha256=RpUuI8nAzn4gXQmCDKZ1C41_SSfVRppVxskgUiraJBU,2334
clever_bench/lean4/human_eval/problem_29.lean,sha256=GBAFlM4d2Oma73rg7NSB7Y9xj8fJniBYaYANwwzKFB0,2376
clever_bench/lean4/human_eval/problem_3.lean,sha256=s4xzctCNtcBvR9xQjT9JmcBp5GYZPEAEY03_gka2enQ,4836
clever_bench/lean4/human_eval/problem_30.lean,sha256=olY2ErTXXSHkgtgrhn76Jqb_YugUv7h5Ev3LtmV3VEk,2138
clever_bench/lean4/human_eval/problem_31.lean,sha256=Jp6gRcsgXOicbNAp9Tof5g8q0PVyh9QNHElBm5sZi9A,2068
clever_bench/lean4/human_eval/problem_32.lean,sha256=H1zgXlRX5z6qY1zonG8HHxQ-6bKyDIV5hkZbpimi_8U,3230
clever_bench/lean4/human_eval/problem_33.lean,sha256=sh8PHf5JObrCxJLpaROwaC2wP6LGcQS45YTNkRqr_ZU,2799
clever_bench/lean4/human_eval/problem_34.lean,sha256=EGOq4rAl78P0x3FmSS1xDcU9Rfu9yf-SzdUfMW74ghg,1918
clever_bench/lean4/human_eval/problem_35.lean,sha256=WtGB-IZRfuMIrTKBiro99nYnPQpRZ1jd_Extg1s3yVs,2783
clever_bench/lean4/human_eval/problem_36.lean,sha256=fHoVyodCbwALtPClg11Szzz5MT2U9aQxo97Pd5ebuRY,2327
clever_bench/lean4/human_eval/problem_37.lean,sha256=A6zFH1QCsiUH7NmqeD0L6tYd77Qb31yy64eNtGTFLXo,2590
clever_bench/lean4/human_eval/problem_38.lean,sha256=N3bplR63GIIXK3IW1T_oLAqM3OEVcLgpYXhaE1vsUjk,2421
clever_bench/lean4/human_eval/problem_39.lean,sha256=xDxYtJ_40n24rjBgjclZVI-odyq8pb8ntKyNBZf6LS8,2557
clever_bench/lean4/human_eval/problem_4.lean,sha256=F2p3ElZYSpEH2_Fz23kLoQDRzLRyTT-FCWJvq7o3fOs,2619
clever_bench/lean4/human_eval/problem_40.lean,sha256=MJpwb2L3uxmtNgtTVK91n2uX6Hx-veCaYikiaIctJng,2324
clever_bench/lean4/human_eval/problem_41.lean,sha256=C_-h83yMPzf3c3ODsFRlC2D6IWESTIV9Cach2Bd35tQ,2289
clever_bench/lean4/human_eval/problem_42.lean,sha256=Rs9-6akic3eCNz0WDM7gAONvkyDDVUu7zqd4ckmQhR0,1999
clever_bench/lean4/human_eval/problem_43.lean,sha256=fkZGfiuKm7ElC6XHTt0C2v2GOGuaZ-1RgwOnz34gkwA,2349
clever_bench/lean4/human_eval/problem_44.lean,sha256=Gj7lz4ocGEbBheFAwcTxw4SBEK_yta3DwWl4U5s-V-k,2269
clever_bench/lean4/human_eval/problem_45.lean,sha256=HinfMF6Ee6LC2vt6GFdimD-C0KcFPuYrhSW0J-00UWI,1791
clever_bench/lean4/human_eval/problem_46.lean,sha256=quthG7N9uvQ4goOqNRg4htBVZ_e6LE-5HUoepik7CWA,2010
clever_bench/lean4/human_eval/problem_47.lean,sha256=y-ZyFqQyPzarTGLf5arI73W9-s6DLizjtNktbBY-vWM,2471
clever_bench/lean4/human_eval/problem_48.lean,sha256=r1bPGPisSHSeQRl97bIlbplhLJoMDsQDVuTWTtC0ja4,1886
clever_bench/lean4/human_eval/problem_49.lean,sha256=RY1C8DMqpBZJFYK-Qy14XG4YSfD8c4fQnk70byZZMEY,1943
clever_bench/lean4/human_eval/problem_5.lean,sha256=gZtUr-m-YBzeWQnnfXs1ndcnUPoFvod7wDWGF-C7Pac,2456
clever_bench/lean4/human_eval/problem_50.lean,sha256=boIrcEV8KBzZqzj7RcYHLWehoQdpkQZwrcNe37LbcWk,2196
clever_bench/lean4/human_eval/problem_51.lean,sha256=tnnWBd7BKdBEZOmaEtE8YBGBKE0dkzXad3xTp5K0WTQ,2246
clever_bench/lean4/human_eval/problem_52.lean,sha256=BpvhFhFyzG9vZcNjfwjqrrzsYc7qfldjqp3ox55OknI,2249
clever_bench/lean4/human_eval/problem_53.lean,sha256=e6VjdF-ncu4xf9-UbVQbKRhVMgi_QN2oqsNwvTKYHNI,1710
clever_bench/lean4/human_eval/problem_54.lean,sha256=tJtMmMkY1_-6Y1elvYemKcXiSetmYMILXbvZslbijXo,2164
clever_bench/lean4/human_eval/problem_55.lean,sha256=PWWn7ec4_AbId9ZelC_vmXKajFZFwmOmoF3zbjWJv1s,1714
clever_bench/lean4/human_eval/problem_56.lean,sha256=cYZkpkOf4vSPm0vt8wlsqX-lv39aqPiUnYLcwGDdEjY,2172
clever_bench/lean4/human_eval/problem_57.lean,sha256=JvoBibKg9WNxstm03JeNUkL3lv-Vboyd7Vg3L06PBFk,2123
clever_bench/lean4/human_eval/problem_58.lean,sha256=zKnJ5tIcN5D_TQ5yt11QRadkhLm1TU4ZUEYe5UTCVWs,2269
clever_bench/lean4/human_eval/problem_59.lean,sha256=sOyXb67Fcjc33zNWG_w5ruRxUC89DsEfd0OxcPax9cY,1807
clever_bench/lean4/human_eval/problem_6.lean,sha256=HrPmm9g5tmQzxLVXcBXfs9GkRHOuOzljH-aDYZhhYu4,2433
clever_bench/lean4/human_eval/problem_60.lean,sha256=h6qG18H9EY9DpvWefyeUfuIMXvkcwa9_z-1_nF1CoNo,1842
clever_bench/lean4/human_eval/problem_61.lean,sha256=r3TZth4amxkdgmvu9cvFaQSEEZIq3YEluv9wIaWVmQ0,2096
clever_bench/lean4/human_eval/problem_62.lean,sha256=RK6T_9I9a4Ca2_J5067KxXXQ1b_HMALH_EHfvylLzB8,2205
clever_bench/lean4/human_eval/problem_63.lean,sha256=5cTbZsGlRn6rUwJrv70xX14lYmKItZaIbQ6rr8ueA7o,2097
clever_bench/lean4/human_eval/problem_64.lean,sha256=1KWMqzJeJwugk9SQ2_QXsKpgx62MJYFwFvq5gwGJhfo,2260
clever_bench/lean4/human_eval/problem_65.lean,sha256=zhHMAmCNmH2ApynjfOdape42CH6N3b-axz0xBnoaPE4,2270
clever_bench/lean4/human_eval/problem_66.lean,sha256=gutsna0Y2oonInlpIAeVX5HNBiOaNucvUHUHXp9Ic0c,2212
clever_bench/lean4/human_eval/problem_67.lean,sha256=hH_OlQH1dBazHCrL9QPPwfIyZn5Gs34-WkJ7zZorXbE,2570
clever_bench/lean4/human_eval/problem_68.lean,sha256=rRhX0skTT5DvS03GCxTv7MUZQi9LcmwOm5Yp2iee-RE,2785
clever_bench/lean4/human_eval/problem_69.lean,sha256=ZN7yg6X6ISLWKuHHbR8cPQhHbezstilst0XmoXQ65tQ,2489
clever_bench/lean4/human_eval/problem_7.lean,sha256=HSd9mMRQ1PEQ8ysuytFg18YPUhoV4OpiUuvJFMufg9s,2491
clever_bench/lean4/human_eval/problem_70.lean,sha256=350TJA35kIhU-PQg9jNvsMvlKnIeDFSBIdz9jF9_cqs,2576
clever_bench/lean4/human_eval/problem_71.lean,sha256=W7QOswOZClKw9VL4BXzW6h5wgFM0RI1ExlrxeqP58NM,2447
clever_bench/lean4/human_eval/problem_72.lean,sha256=oCxfOf8ZByGKeBE1DsL7BA9SzOWnzt12cDE5Xmj-FBk,2609
clever_bench/lean4/human_eval/problem_73.lean,sha256=7KYg984xBqvDmpShb0z0YtsAClJFBuoA_nFDqJAGTGc,2549
clever_bench/lean4/human_eval/problem_74.lean,sha256=lyZzzY5a665hhWMtTPdF5eMsE_dbtqD_w9OchakR30g,3117
clever_bench/lean4/human_eval/problem_75.lean,sha256=T6iOAAsdfT5qHzoyTCGMAJS2Iy6phkWwvYz-C8jGgeA,2078
clever_bench/lean4/human_eval/problem_76.lean,sha256=b8-0J5AqwXnUIolZrxy9qqzmKEdPL8-O5KYh8_zjsDc,2274
clever_bench/lean4/human_eval/problem_77.lean,sha256=jFCzVLaaO7JBfHjQI_f8qWmRsj_mnGOjU-2Ezw8qZQs,2082
clever_bench/lean4/human_eval/problem_78.lean,sha256=2kBBj561LD-oEQj5zjBpw9wA56-6QlhcMq2Js2E32BY,3249
clever_bench/lean4/human_eval/problem_79.lean,sha256=BKNL_G6yiAdkY_ZhXeEWESNsHqeELSalu6JicwN15L4,2397
clever_bench/lean4/human_eval/problem_8.lean,sha256=YCDVGtx9YexFL6u3aQhOZ7wfyM8aU-lMTCAUB9vQZsI,2276
clever_bench/lean4/human_eval/problem_80.lean,sha256=6jnXK5E9OABpMbwSzDxqlsDVutEd_EH0uySA2EslIoI,1985
clever_bench/lean4/human_eval/problem_81.lean,sha256=Il1PScmIxUZJzA-bM8-_qL8idoVOTw762ChQVXNeT_U,3734
clever_bench/lean4/human_eval/problem_82.lean,sha256=hfIfZ5lEJER-pnjkC0tgvynvCXvpBrzLUa7ZQHVUdd0,2410
clever_bench/lean4/human_eval/problem_83.lean,sha256=IvXodVMBtoeCtMt6qOs12Jz_mZndM8tXoWlPTmfoSZQ,2006
clever_bench/lean4/human_eval/problem_84.lean,sha256=hiweG8xtE-OLrEeBBTVtFu8KthR_UjPzIvNuVDs0SUQ,1929
clever_bench/lean4/human_eval/problem_85.lean,sha256=41nRuq1-8sl5bJrV6aqww1i040pNWMGkED822rk6az0,1748
clever_bench/lean4/human_eval/problem_86.lean,sha256=SwbgN2qYQsEyAE4yHu383C1EMtfauX3wRj-QM3Jonjc,2499
clever_bench/lean4/human_eval/problem_87.lean,sha256=wsFqWdLNYUm5MhIdOUn1zb9kPuHQ7zp3l0pR9jb1Xxk,2849
clever_bench/lean4/human_eval/problem_88.lean,sha256=EEQcOzqEnkML3XFaTRDRW3ZbQxcRQl6Bz-ahxPCFY0s,2489
clever_bench/lean4/human_eval/problem_89.lean,sha256=nq7vD_pWqdRVUdVXKTe3QfXxBKBPN4mczDv0iGfRJqg,2116
clever_bench/lean4/human_eval/problem_9.lean,sha256=gRkMsh5lgDrrhaN_8SZBys5Rz0j9HMnlqNGx-hh3PPk,2592
clever_bench/lean4/human_eval/problem_90.lean,sha256=Xa45NanqXBiypFJ9x-8im3GXzE2Xfy5SXYBH_Ecz6co,2627
clever_bench/lean4/human_eval/problem_91.lean,sha256=TDG9Oy5Kn0YtMMxbqmgiDpSw9LTD1Wx_DKdrnvOiQKs,2229
clever_bench/lean4/human_eval/problem_92.lean,sha256=Oy3TwBr5iwRY2n4RLB_w-Ay8S5IpM9oXb0k-gCVkbmE,2217
clever_bench/lean4/human_eval/problem_93.lean,sha256=cNfaORTWSqyxEydr4-qt3p-Cc2jP2aJ-BXc-YW2rjAE,2235
clever_bench/lean4/human_eval/problem_94.lean,sha256=OHU_BIfkhO4DrU8t1ou2OKzwqAFijc17Z_ppK_59anE,2615
clever_bench/lean4/human_eval/problem_95.lean,sha256=fUP0qL_q_Hyx97mNAxDtlHnWZQK3Xt2bup09gTMjrUM,2850
clever_bench/lean4/human_eval/problem_96.lean,sha256=lluPnjUN-5viGSCOERCGK3FSaMpsTvPbgP78nU5jbuo,2186
clever_bench/lean4/human_eval/problem_97.lean,sha256=DLWboJpluMwafyqvAteIfg687WBxgi0HjC0hc65q1DI,2191
clever_bench/lean4/human_eval/problem_98.lean,sha256=YiqJOUHrQCOYIV7hs6yU_VjdNVzTIaLYRm6EnKcqCvg,2189
clever_bench/lean4/human_eval/problem_99.lean,sha256=wweQ-746i4mKRFjpW4u6A-fvVN5GMOe5O1ntaVUQn38,2619
clever_bench/lean4/lake-manifest.json,sha256=s4jGCfwvG-Dt9y_N43dogYH4MedySYs2PUKZ9A3xmsA,3104
clever_bench/lean4/lakefile.lean,sha256=JUOb7MImmwZTeTub8I61RHkgUNFs4Y4wgOrw9pCogbg,374
clever_bench/lean4/lean-toolchain,sha256=r_OidvzR2qbzEeB7rxaNXAyJo92tTNTo3j4ux3lQTkY,25
clever_bench/lean4/sample_examples/problem_0.lean,sha256=_yWUHYTvo0PC07cTIsLhodEHCyJCOZ1yNEOaut1xQIk,2921
clever_bench/lean4/sample_examples/problem_1.lean,sha256=N5qP-i3n95THwpgucxKogHgFqq_HiDKqrY78N8ySMSI,29601
clever_bench/lean4/sample_examples/problem_2.lean,sha256=F_PetVrm2yDuX-TnOBkXqK4kMnBVotglOoNUYKJBli0,4442
clever_bench/lean4/sample_examples/problem_3.lean,sha256=D3r6nms5BwmdIvX_t7B5YK3kFm8Ox8whM4UINB911qY,8511
clever_bench/lean4/sample_examples/problem_4.lean,sha256=sp4fvGTdedR6xRvO0ZU5k-DzRpLR0MsIF76_kcmLskU,2867
clever_bench/lean4/sample_examples/problem_5.lean,sha256=C4W-pDyfoj_QDOTN9TOP82H6rsF-bszsTSGj1cbGRLc,1948
clever_bench-1.0.1.dist-info/METADATA,sha256=Afc7rF0I8x6IHKHTRnbGULwlrD2YrsBJwwbXMYZG6B8,6643
clever_bench-1.0.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
clever_bench-1.0.1.dist-info/entry_points.txt,sha256=uljVrD4bo4cyyfHK66P8Nq0Wt3BZrARo2JE93KHTFxc,75
clever_bench-1.0.1.dist-info/licenses/LICENSE,sha256=uFzPhqgj_RJB97ZPg7SLqnvSAroxst3sOTV5341xnV8,1109
clever_bench-1.0.1.dist-info/RECORD,,
