feature: add training data for exercises

2026-05-21 13:50:56 +02:00
parent 9a11d75461
commit 7ed665a524
21 changed files with 274848 additions and 0 deletions
@@ -0,0 +1,879 @@
+iter	Passed	Remaining
+0	59	59828
+1	61	30821
+2	63	21170
+3	65	16340
+4	67	13429
+5	69	11507
+6	71	1021377	73	915888	75	833299	77	7671110	79	7156111	82	6779112	84	6426113	86	6106114	88	5843115	90	5593116	92	5358117	94	5168118	97	5022119	99	4864220	101	4740221	103	4609222	105	4487223	107	4369224	109	4274225	112	4209226	114	4118227	116	402728	118	3960
+29	120	3889
+30	123	3846
+31	124	3767
+32	126	3709
+33	129	3666
+34	131	3627
+35	133	3585
+36	135	3539
+37	138	3506
+38	141	3474
+39	142	3429
+40	144	3388
+41	146	3349
+42	149	3321
+43	151	3290
+44	153	3259
+45	155	3223
+46	157	3197
+47	159	3165
+48	161	3139
+49	164	3121
+50	166	3089
+51	168	3075
+52	170	3051
+53	173	3032
+54	174	3006
+55	176	2981
+56	179	2961
+57	181	2945
+58	183	2929
+59	185	2906
+60	187	2884
+61	189	2861
+62	190	2837
+63	192	2821
+64	194	2803
+65	196	2785
+66	198	2767
+67	200	2747
+68	202	2736
+69	204	2721
+70	206	2703
+71	208	2686
+72	210	2672
+73	212	2659
+74	214	2647
+75	216	2635
+776	219	2630777	221	2615778	223	2607779	225	2598880	227	2582881	229	2569882	231	2559883	233	254984	235	2537
+885	237	252786	240	2522
+87	242	2510
+88	244	2499
+89	246	2488
+90	248	2477
+991	250	2467992	251	245793	253	2447
+94	256	2441
+95	258	2435
+96	260	2426
+97	263	2422
+98	265	2420
+99	268	2412
+100	269	2402
+101	272	2397
+102	274	2387
+103	275	2377
+104	277	2366
+105	279	2358
+106	281	2351
+107	283	2340
+108	286	2339
+109	288	2336
+110	290	2324
+111	292	2316
+112	294	2308
+113	296	2302
+114	298	2294
+115	300	2287
+116	302	2279
+117	304	2275
+118	306	2267
+119	308	2259
+120	309	2251
+121	312	2248
+122	314	2242
+123	316	2238
+124	318	2229
+125	320	2223
+126	322	2215
+127	324	2208
+128	326	2205
+129	328	2199
+130	330	2194
+131	332	2187
+132	334	2182
+133	336	2177
+134	338	2171
+135	340	2164
+136	342	2159
+137	346	2162
+138	348	2156
+139	350	2152
+140	352	2147
+141	354	2141
+142	356	2135
+143	358	2130
+144	360	2124
+145	362	2118
+146	364	2112
+147	366	2106
+148	367	2101
+149	369	2095
+150	372	2092
+151	374	2090
+152	377	2088
+153	379	2082
+154	380	2076
+155	383	2072
+156	384	2066
+157	386	2060
+158	388	2054
+159	390	2051
+160	392	2046
+161	394	2042
+162	396	2036
+163	398	2031
+164	400	2025
+165	402	2021
+166	404	2016
+167	406	2012
+168	408	2007
+169	410	2002
+170	412	1999
+171	414	1997
+172	416	1992
+173	418	1987
+174	421	1985
+175	423	1981
+176	424	1975
+177	426	1971
+178	429	1968
+179	431	1965
+180	433	1960
+181	435	1955
+182	437	1954
+183	440	1951
+184	441	1946
+185	443	1942
+186	445	1937
+187	448	1936
+188	450	1933
+189	452	1929
+190	454	1926
+191	456	1922
+192	458	1918
+193	461	1916
+194	463	1911
+195	465	1910
+196	467	1907
+197	470	1905
+198	472	1901
+199	474	1898
+200	476	1894
+201	478	1890
+202	480	1885
+203	481	1880
+204	483	1876
+205	485	1872
+206	487	1867
+207	489	1863
+208	491	1860
+209	494	1858
+210	496	1855
+211	498	1851
+212	500	1849
+213	502	1845
+214	504	1842
+215	507	1840
+216	509	1837
+217	511	1833
+218	513	1829
+219	515	1825
+220	516	1821
+221	518	1817
+222	520	1814
+223	522	1810
+224	524	1807
+225	526	1803
+226	528	1799
+227	530	1795
+228	532	1792
+229	534	1788
+230	536	1784
+231	538	1781
+232	540	1779
+233	542	1775
+234	545	1774
+235	547	1772
+236	549	1768
+237	551	1764
+238	553	1762
+239	555	1759
+240	557	1756
+241	559	1752
+242	561	1748
+243	563	1745
+244	565	1743
+245	567	1740
+246	569	1736
+247	571	1733
+248	574	1731
+249	576	1728
+250	578	1725
+251	580	1722
+252	583	1721
+253	586	1723
+254	590	1725
+255	593	1725
+256	596	1725
+257	598	1722
+258	602	1722
+259	604	1719
+260	606	1716
+261	607	1712
+262	610	1711
+263	613	1711
+264	616	1710
+265	618	1708
+266	621	1707
+267	625	1707
+268	628	1706
+269	630	1704
+270	632	1701
+271	635	1700
+272	638	1699
+273	641	1699
+274	644	1699
+275	646	1696
+276	648	1693
+277	651	1692
+278	654	1691
+279	656	1689
+280	660	1688
+281	663	1688
+282	666	1687
+283	669	1687
+284	671	1685
+285	673	1681
+286	676	1680
+287	679	1680
+288	682	1679
+289	684	1676
+290	687	1675
+291	689	1672
+292	692	1671
+293	695	1670
+294	699	1670
+295	702	1670
+296	705	1669
+297	707	1665
+298	709	1662
+299	711	1659
+300	713	1658
+301	716	1654
+302	718	1653
+303	720	1650
+304	723	1649
+305	727	1648
+306	730	1648
+307	733	1647
+308	736	1646
+309	739	1645
+310	741	1642
+311	744	1642
+312	748	1641
+313	751	1641
+314	753	1637
+315	755	1635
+316	758	1634
+317	761	1632
+318	764	1631
+319	767	1629
+320	770	1629
+321	773	1628
+322	776	1627
+323	779	1626
+324	782	1625
+325	785	1624
+326	787	1621
+327	789	1618
+328	792	1617
+329	796	1616
+330	799	1615
+331	802	1613
+332	805	1613
+333	808	1612
+334	810	1608
+335	812	1604
+336	815	1603
+337	817	1601
+338	819	1598
+339	821	1594
+340	823	1590
+341	826	1589
+342	829	1588
+343	831	1585
+344	833	1581
+345	835	1578
+346	837	1575
+347	838	1571
+348	840	1568
+349	842	1565
+350	845	1563
+351	849	1563
+352	852	1561
+353	854	1558
+354	856	1556
+355	858	1553
+356	860	1550
+357	863	1548
+358	866	1547
+359	869	1545
+360	872	1544
+361	875	1543
+362	879	1542
+363	881	1539
+364	884	1538
+365	886	1535
+366	889	1533
+367	892	1532
+368	895	1530
+369	897	1527
+370	899	1524
+371	900	1520
+372	902	1517
+373	905	1515
+374	907	1512
+375	909	1509
+376	911	1506
+377	913	1502
+378	914	1499
+379	916	1495
+380	919	1493
+381	922	1492
+382	925	1491
+383	928	1490
+384	931	1488
+385	934	1486
+386	937	1485
+387	940	1483
+388	943	1482
+389	946	1481
+390	950	1479
+391	953	1478
+392	956	1477
+393	958	1474
+394	960	1470
+395	962	1467
+396	964	1465
+397	967	1463
+398	969	1460
+399	971	1457
+400	973	1454
+401	976	1452
+402	978	1449
+403	980	1446
+404	983	1444
+405	985	1441
+406	987	1438
+407	990	1437
+408	993	1436
+409	995	1433
+410	999	1432
+411	1002	1430
+412	1005	1429
+413	1007	1426
+414	1009	1423
+415	1011	1420
+416	1015	1419
+417	1017	1416
+418	1020	1414
+419	1022	1411
+420	1024	1408
+421	1025	1405
+422	1029	1403
+423	1031	1400
+424	1033	1397
+425	1036	1396
+426	1039	1394
+427	1042	1393
+428	1044	1390
+429	1047	1388
+430	1050	1386
+431	1053	1385
+432	1056	1383
+433	1059	1382
+434	1062	1380
+435	1065	1378
+436	1068	1376
+437	1070	1373
+438	1073	1372
+439	1076	1370
+440	1078	1367
+441	1080	1364
+442	1082	1361
+443	1084	1357
+444	1087	1356
+445	1090	1354
+446	1092	1351
+447	1095	1350
+448	1098	1348
+449	1101	1346
+450	1103	1343
+451	1106	1342
+452	1109	1339
+453	1110	1335
+454	1113	1333
+455	1116	1332
+456	1118	1329
+457	1121	1327
+458	1124	1325
+459	1126	1322
+460	1128	1319
+461	1131	1317
+462	1134	1315
+463	1137	1314
+464	1140	1312
+465	1143	1310
+466	1146	1309
+467	1149	1306
+468	1152	1304
+469	1154	1301
+470	1156	1298
+471	1157	1295
+472	1159	1291
+473	1161	1288
+474	1164	1286
+475	1166	1283
+476	1168	1281
+477	1171	1279
+478	1174	1277
+479	1177	1275
+480	1179	1273
+481	1182	1270
+482	1185	1268
+483	1187	1266
+484	1189	1262
+485	1191	1259
+486	1193	1257
+487	1195	1254
+488	1198	1252
+489	1202	1251
+490	1205	1249
+491	1208	1247
+492	1211	1245
+493	1213	1243
+494	1215	1239
+495	1217	1237
+496	1220	1235
+497	1223	1232
+498	1224	1229
+499	1226	1226
+500	1228	1223
+501	1230	1220
+502	1233	1218
+503	1235	1215
+504	1237	505	1505	1240	1210
+506	1243	1209
+507	1246	1207
+508	1249	1205
+509	1252	1203
+510	1254	1200
+511	1256	1197
+512	1259	1195
+513	1261	514	1514	1264	515	1515	1266	1188
+516	1268	517	1517	1270	518	1272	1179
+519	1275	1177
+520	1277	1174
+521	1279	1171
+522	1282	1169
+523	1285	1168
+524	1524	1288	525	1525	1290	526	1526	1292	527	1294	1157
+528	1528	1297	529	1529	1301	1153
+530	1303	531	1531	1304	532	1532	1307	533	1533	1311	534	1534	1314	535	1535	1316	536	1319	1137
+537	1322	1135
+538	1325	1133
+539	1328	1131
+540	1331	1129
+541	1334	1127
+542	1336	1125
+543	1339	1123
+544	1342	1121
+545	1345	1119
+546	1347	1116
+547	1350	1114
+548	1353	1112
+549	1355	1109
+550	1358	1106
+551	1360	1104
+552	1363	1102
+553	1365	1099
+554	1368	1096
+555	1371	1095
+556	1374	1093
+557	1376	1090
+558	1379	1088
+559	1381	1085
+560	1383	1082
+561	1385	1079
+562	1387	1076
+563	1389	1073
+564	1392	1071
+565	1395	1069
+566	1397	1067
+567	1400	1065
+568	1402	1062
+569	1406	1060
+570	1408	1058
+571	1411	1056
+572	1414	1054
+573	1416	1051
+574	1418	1048
+575	1420	1045
+576	1423	1043
+577	1426	1041
+578	1429	1039
+579	1431	1036
+580	1433	1033
+581	1435	1031
+582	1438	1028
+583	1441	1026
+584	1443	1023
+585	1445	1021
+586	1448	1018
+587	1451	1016
+588	1453	1014
+589	1457	1012
+590	1460	1010
+591	1463	1008
+592	1466	1006
+593	1468	1003
+594	1470	1001
+595	1472	998
+596	1474	995
+597	1477	993
+598	1479	990
+599	1481	987
+600	1483	984
+601	1485	982
+602	1487	979
+603	1489	976
+604	1491	973
+605	1492	970
+606	1494	967
+607	1496	965
+608	1498	962
+609	1500	959
+610	1502	956
+611	1505	954
+612	1507	952
+613	1510	949
+614	1513	947
+615615	1515	9616616	1518	9617617	1520	9618618	1522	9619619	1525	9620620	1527	9621621	1529	9622622	1532	9623623	1534	9624624	1537	9625625	1540	9626626	1543	918
+627	1545	915
+628	1548	913
+629	1551	911
+630	1555	909
+631	1557	906
+632	1559	9633633	1561	9634634	1563	8635635	1565	8636	1567	893
+637	1571	891
+638638	1573	8639	1576	886
+640	1579	884
+641	1581	881
+642	1583	879
+643	1586	876
+644	1589	874
+645	1592	872
+646	1594	870
+647	1596	867
+648	1598	864
+649	1601	862
+650	1604	860
+651	1606	857
+652	1609	855
+653	1611	852
+654	1613	849
+655	1616	847
+656	1620	845
+657	1622	843
+658	1625	841
+659	1628	838
+660	1631	836
+661	1633	834
+662	1635	831
+663	1638	829
+664	1641	827
+665	1644	824
+666	1647	822
+667	1649	819
+668	1652	817
+669	1654	815
+670	1656	812
+671	1659	810
+672	1662	808
+673	1664	805
+674	1667	803
+675	1669	800
+676	1672	797
+677	1674	795
+678	1676	792
+679	1678	789
+680	1680	787
+681	1682	784
+682	1684	781
+683	1687	779
+684	1690	777
+685	1693	775
+686	1695	772
+687	1698	770
+688	1700	767
+689	1703	765
+690	1705	762
+691	1707	759
+692	1709	757
+693	1712	755
+694	1715	752
+695	1718	750
+696	1721	748
+697	1724	746
+698	1727	743
+699	1730	741
+700	1732	738
+701	1734	736
+702	1736	733
+703	1739	731
+704704	1741	7705	1744	726
+706	1746	723
+707707	1749	7708	1752	719
+709	1754	716
+710	1756	713
+711	1757	711
+712	1761	708
+713	1763	706
+714714	1765	7715715	1768	7716716	1770	6717717	1773	6718718	1775	6719719	1777	6720720	1780	6721721	1782	6722722	1785	6723723	1789	6724724	1791	6725725	1795	6726726	1798	675
+727	1800	672
+728	1802	670
+729	1804	6730730	1807	6731731	1810	6732	1812	660
+733	1815	657
+734734	1818	6735735	1821	6736736	1823	6737737	1825	6738	1828	645
+739	1830	643
+740	1833	641
+741	1837	638
+742	1840	636
+743	1843	634
+744	1846	631
+745	1848	629
+746	1850	626
+747	1851	623
+748	1854	621
+749	1858	619
+750	1860	616
+751	1862	614
+752	1865	612
+753	1868	609
+754	1872	607
+755	1874	604
+756	1876	602
+757	1878	599
+758	1881	597
+759	1884	595
+760	1886	592
+761	1888	589
+762	1890	587
+763	1892	584
+764	1895	582
+765	1898	579
+766	1900	577
+767	1768	1900768	1769	1902769	1770	1905770	1771	1907771	1772	1910772	1773	1913773	1774	1916774	1775	1919775	1776	1921	551
+777	1923	548
+778	1925	546
+779	1928	544
+780	1932	541
+781	1934	539
+782	1937	536
+783	1939	534
+784	1942	531
+785	1945	529
+786	1947	527
+787	1949	524
+788	1951	521
+789	1953789	1790	1955790	1791	1958791	1792	1960792	1793	1963793	1794	1965794	1970	507
+795	1973	505
+796	1975	503
+797	1978	500
+798	1799	1978799	1800	1982800	1986	493
+801	1988	490
+802	1803	1989803	1993	486
+804	1996	483
+805	1998	481
+806	2001	478
+807	2003	476
+808	2006	473
+809	2009	471
+810	2012	468
+811	2015	466
+812	2017	464
+813	2019	461
+814	2022	459
+815	2024	456
+816	2027	454
+817	2029	451
+818	2032	449
+819	2034	446
+820	2037	444
+821	2039	441
+822	2042	439
+823	2045	436
+824	2049	434
+825	2051	432
+826	2053	429
+827	2054	426
+828	2056	424
+829	2059	421
+830	2062	419
+831	2064	416
+832	2067	414
+833	2069	411
+834	2072	409
+835	2075	407
+836	2077	404
+837	2079	402
+838	2081	399
+839	2083	396
+840	2085	394
+841	2087	391
+842	2090	389
+843	2093	386
+844	2095	384
+845	2098	381
+846	2101	379
+847	2104	377
+848	2108	374
+849	2110	372
+850	2112	369
+851	2114	367
+852	2116	364
+853	2119	362
+854	2122	359
+855	2125	357
+856	2128	355
+857	2130	352
+858	2133	350
+859	2136	347
+860	2138	345
+861	2140	342
+862	2143	340
+863	2147	337
+864	2150	335
+865	2153	333
+866	2155	330
+867	2158	328
+868	2161	325
+869	2164	323
+870	2166	320
+871	2169	318
+872	2171	315
+873	2174	313
+874	2176	310
+875	2178	308
+876	2179	305
+877	2181	303
+878	2185	300
+879	2187	298
+880	2189	295
+881	2191	293
+882	2194	290
+883	2196	288
+884	2197	285
+885	2200	283
+886886	2201	2887887	2204	2888888	2207	2889889	2211	2890890	2214	2891891	2217	2892892	2220	266
+893	2222	263
+894	2225	261
+895	2228	258
+896	2231	256
+897	2234	253
+898	2236	2899899	2238	2900	2241	246
+901	2244	243
+902	2247	241
+903	2251	239
+904	2254	236
+905	2256	234
+906	2258	231
+907	2261	229
+908	2264	226
+909	2266	224
+910	2268	221
+911	2271	219
+912	2274	216
+913	2277	214
+914	2279	211
+915	2282	209
+916	2285	206
+917	2288	204
+918	2291	202
+919	2295	199
+920	2298	197
+921	2300	194
+922	2302	192
+923	2304	189
+924	2306	187
+925	2308	184
+926	2311	181
+927	2314	179
+928	2317	177
+929	2319	174
+930	2321	172
+932	2315	166
+933	2318	163
+933	2328	164
+935	2322	158
+936	2326	156
+937	2329	153
+938	2332	151
+939	2335	149
+940	2337	146
+941	2339	144
+942	2341	141
+943	2343	138
+944	2346	136
+945	2348	134
+946	2351	131
+946	2360	132
+947	2363	129
+948	2366	127
+949	2369	124
+950	2371	122
+951	2374	119
+952	2377	117
+953	2380	114
+954	2384	112
+955	2386	109
+956	2388	107
+957	2390	104
+958	2391	102
+959	2395	99
+960	2398	97
+961	2400	94
+962	2403	92
+963	2408	89
+964	2410	87
+965	2414	84
+966	2416	82
+967	2418	79
+968	2420	77
+969	2422	74
+970	2424	72
+971	2425	699972	2428	67
+973	2431	64
+974	2434	62
+975	2436	59
+976	2439	57
+977	2442	54
+978978	2443	979979	2446	980980	2449	47
+981	2451	44
+982	2455	42
+983	2458	39
+984	2461	37
+985	2463	34
+986	2466	32
+987	2470	30
+988	2472	27
+989	2474	990990	2477	991991	2479	992992	2482	993993	2484	994994	2487	995	2491	10
+996996	2494997997	2497998998	2501999999	2503	0