  ***   Warning: new stack size = 60000000 (57.220 Mbytes).
1
1
1
1
[1, 1, 0]
[1, 1, 0]
[1, 1, 0]
[1, 1, 0]
[0, 1, 0, 1]
1
1
1
[115792089237316195423570985008687907853269984665640564039457584007913129645
657, 26277779554128913609954779058232363788521114678955502753401829636681, 8
0687662500901867092047699754802901705350288059670998026953, 5226195652861307
3298419378777290957419649773021913, 2230938125527750076770229326926528843267
411013, 458380547673669627444045551333712881906833, 655389880696349883130454
0926030837, 3094624324252741256658991]
1
0
[115792089237316195423570985008687907853269984665640564039457584007913129645
657, [2, 3, 101, [4776901371176410702292532384846860885035890456503323598987
5240927356901669, 2, [477690137117641070229253238484686088503589045650332359
89875240927356901669, [2, 3, 35437, [237470764391881188851670682297783, 2, [
237470764391881188851670682297783, [2, 3, 1029859, [384309509670549057122820
83, 2, [38430950967054905712282083, [2, 11, 8821, 13007, 1384110626125243]]]
]]], [473040069351431854709203123134857609, 2, [4730400693514318547092031231
34857609, [2, 47, 419, [3002590192907580451868704127957, 2, [300259019290758
0451868704127957, [2, 22973, 23889163499]]]]]]]]]]]
1
0
1
0
1
0
2
1
1
"[1]\n N = 100000000000000000000000000000000069\n t = 546867911035452074\n s
 = 2963504668391148\na = 0\nD = -3\nm = 99999999999999999453132088964547996\
nq = 33743830764501150277\nE = [0, 1]\nP = [33871007718198692871763537900223
244, 37634983931409678910567952612637528]\n[2]\n N = 33743830764501150277\n 
t = -11610830419\n s = 734208843\na = 0\nD = -3\nm = 33743830776111980697\nq
 = 45959444779\nE = [0, 27804066824294720140]\nP = [16662256621764551072, 71
7141744113721531]\n"
"[* [* 100000000000000000000000000000000069, 3, -1, 999999999999999994531320
88964547996, [* 0, 1 *], [* 33871007718198692871763537900223244, 37634983931
409678910567952612637528, 1 *], [* [* 33743830764501150277, 1 *] *] *], [* 3
3743830764501150277, 3, -1, 33743830776111980697, [* 0, 27804066824294720140
 *], [* 16662256621764551072, 717141744113721531, 1 *], [* [* 45959444779, 1
 *] *] *] *]"
[PRIMO - Primality Certificate]
Format=4
TestCount=2

[Comments]
https://pari.math.u-bordeaux.fr/

[Candidate]
N=0x13426172C74D822B878FE800000045

[1]
S=0xA874AB30CB6EC
W=0x796DD77B853FAAA
A=0x0
B=0x1
T=0x685F8389020BF8EFBDD69F4BE3B0C

[2]
S=0x2BC3234B
W=-0x2B40F3653
A=0x0
B=-0x526E47D559ADC7B9
T=0xE73C3A1DF8AD21A0


[PRIMO - Primality Certificate]
Format=4
TestCount=20

[Comments]
https://pari.math.u-bordeaux.fr/

[Candidate]
N=0x833223F144EEB94EEADF37CB2E02035B9AE2F07E27CB3294F0EB83BB726AEB49D22A1695
E24BB3EB875942FD98F16849F2653487381EF1E8FBD5E95C6B7B

[1]
S=0x637
W=-0xFFB1744FF54835147E392FA7D9FF8A084F876D03EFCF3D86470D1A301FCDEF
J=-0xA6A03EA6E9EC5F68460AB4899596A93B7EC2E09F4780A807AEEAC54D2F26F51E087D5D3
925E28F91A1248A55369BAEFE11372F07CE682AFE1AC41552328
T=0x35D7F058D5823F97AC6AD075DD58E2209565809F6B860ADF39A968F9892E1B4B2ABDC78D
6DB296F78C8A3451F9FB21A7DA2BB27BEAB9B757906CF70381A8

[2]
S=0x1C8F61
W=-0x7C54C8E391DD9FD066E4D80EC381A44838571AC35314E7FDCA80308B13AD3
A=0x0
B=-0x89399737C15AC46ECDDF4AB6FC613C07F5C208F4525349CA9E30249F724D8FD573E03A3
41177C108787BE0DBF887F1A94C7BFF56965BC50BA8ED2B109
T=0x4228234CAE8900ADCFEF49A037D560C8E2C2ED4227D4A2CDA8703079D3DA3C75467D70F0
B06F09A955FEFF97757BC4E599C64BB9FACA61B3CB4331F70

[3]
S=0x1094
W=-0x94599D911598B690B9BBF116102A51E3729546C40CEC8940C921116A22
J=-0x2245AE8000
T=0x5AD00801E96F984D3224DE1AA1CD318A9FE304F03E3E6DED3A6B82BF88D173860B508451
6F6F9BE4C7E88920956D08B678B373190760B3BADA34

[4]
S=0x1119C
W=-0x52499704942F96E5E284FF1252BC44B433CD1CFD00464FC8DC16EB77E
J=0x1926C20336976599EAF35B2592C348CC428C98DF798F2C7DB89D7CA1537B2C7871B1EF59
92B90E32288A7C8277A55B80CF9A44E5C6A5A04B2
T=0x5342F42A31FC13E3A492BA281827EA7E1E62BE1D9E1C9C69A1D9B5B932E074067A4B9953
65F4A578FDE237EE82FFDF18BE3B26AAB18FF2E30

[5]
S=0x16F
W=-0x62BA803367835ABDFDEF999C2BDA04F79028F37850F4EFE96B02F7D
A=0x0
B=0x21100BA1BDCB9481B02ADB5891EE480C806F0EAE98CDDC01819C2899949BF7C7B19B8FDB
036CD9F7329DB128DD0D3510FF6369835C0D7
T=0xAAD7D93A4256E6B2B70757A011D800C39962486CE3BA88788716E9AC581C37C140116D12
E2E9ABD56262A1A25547241510EB2B4CFFBC4

[6]
S=0x54
W=-0x5709B2E5D4C47F22E7DE96EBEC9A24E3B1F41A6E5A6062A99F1486
A=0x0
B=0x1
T=0x5B3189FA262C0259E16F63F000194C4D5BBE3BB39075C068A34E30288DED00B063876877
E9D68E100A50B479104B85497A9BA510638

[7]
S=0x1423147456
W=0x48CC11EE5056CCF2378516112FF474D3F78BBF5550126F6504E56
J=0x1F40
T=0x57BAD3984E48C51A34B1C9A1F7F87E2C8E4B7693C9FD72AE4EAA56E2454F282F6B418D5C
C04FD1F3B8ACF85BF1BFCEE0F6A475D9E

[8]
S=0x1ECB3
W=-0x1F6DFAE11AB161C3ED3B7E18E337354C7FF7484DD5DE9E44B
J=-0x2245AE8000
T=0xB4070B57E0DCCE274B858A7F2C78D48EA8E15D0546C167E8650285232493E44F4DAFA11B
C80D5C074FDA40F68CDDE6D5

[9]
S=0x7B7F33
W=-0x18127FC99762CD931F957910A808FC0CE34600A4C9617D3
A=0x0
B=-0x456416F992EEE25B1FBFE9BF3E78017C9FC6F3B3A9D8EB39143CC6540961A652E9B2C11
D0BCE1B3D72607BF013AD
T=0x8D2114F3EB778DE946C640F9A1CC4D5A33986F6C81B479B73E74675550A9213B057D6FDE
BC4527B5B7421AC1E93C

[10]
S=0xC66D8D
W=0x1F0228CFD240159624478F7EF677EF4A9EE58B729B0D
A=0x0
B=0x6CF79CDA296B9E1BF4E51D471E12E8C153D5139E6DB9F079D84B76CEB1297755EF66C450
C9D64EE854ACE8
T=0x8646E8D17025D613995DFBF77F00BA2BD8B23FEF9D97A535CB3AE60436FD5209170AA1EF
8C8A4EB6B9C740

[11]
S=0x21B41
W=-0x1314C0B7FBDA29CB7EAE39D4D8ED5A489DF433DF1
A=0x0
B=-0x18516C1A9B8D3DAE6D8A1D41B764DE3F08E37534A5133665A1AC823F1BFABF74CE8807A
C3426140C
T=0x1038BC3FFD9358DBF44B5A4E77E57D3E31D3824F513FC2E0E924F2F80458A840D2506995
213E3B35A

[12]
S=0x11C7D27E
W=0x72B6A2345C517B23284BC106DF9DE75D158F16
J=0x5A4345EB0C850F5EBCB59D66FBE2DFDAA0C9B12B4EDD4ABD342CC13CA01210FCD677C3BA
E604
T=0xB1D90E9DAC8B09C8F93271BFE18A7EE2EAE2248D7392E607BB1404188D357CAE10FBD868
2040

[13]
S=0x2D37382
W=-0x62128374105EB3C867C5FAF49FF768A4EA4
A=-0x31C083973E132B3AB3EA01B98F38AC5A46F12AAE7FBAA83649585143C7427F8936F5C
B=0x0
T=0x878877C140116D12E2E9ABD56262A1A25547241510EB2B4CFFBC472AECA534DF8F8E8

[14]
S=0x8DC98CBC
W=-0x3B702D1DE486C6FEB99F0D54B406A3C6
J=0x1D749BECDE3071BCCEE13C2314FA41D861D378B72097C132DBE4CA3F6610AEA
T=0x18F286B84EB43633FDCBA2234DDA4B6FC23E8698F494639658DE51CFA05EA65

[15]
S=0x804
W=0x33566044CD90384F13FFE5D1522E
A=0x0
B=0x1
T=0x1C1937B4940485E16AEEE14778B4CF36EBE05863863C4423E10A0F3

[16]
S=0x5741A67A
W=0xDF33A3F8E4066BCC4AE4EE06FC
A=-0x3CAD1F53EC12F88EA8E4FFC7C54E0D0C6FD58E11E0332E84E825
B=0x0
T=0x924F2506995213E3B35A920334C68EE54936027CF03BABADFE1E

[17]
S=0x30C3C0D
W=0x2F4DCB3F9772B2BC872E449
A=0x0
B=-0x10020841ED81925E2E27A50B8F18B3EEB78FACFB68AEF
T=0x2348453CFADDF8DE946C640F9A1CC4D5A33986F6C81B4

[18]
S=0x1C0F066AF5
W=0x679B0738F2EF458F8F5
A=0x0
B=0x4D8991956C516D96F87EE9AB71F96AD841420C
T=0xBFE64A57743C1A30D54B8689C1D88B238C8A21

[19]
S=0xBB64DED
W=0x4333C21B3BAD697
A=0x0
B=-0x272DB40B479FFD94C73A20D5F0EDF
T=0x2ECA744F79FDD9314E05B5D1533B4

[20]
S=0x1784FEE97
W=-0x18DADD3318C1
A=0x0
B=0x23ADC04D29B522C27555F3
T=0x279D8007CF22A87E6AAA30


[* [* 1048474851051175859967518917298456628433649128513856679398306821693162
8397921750730378327608727075136798800609455679041145417393925989505195157778
7259, 4843, -1, 104847485105117585996751891729845662843364912851385667939830
6821693162839796692780501795336392590929771923941754447816158616037422663643
18421805185387, [* 164615906193655523900798506109562715388917607940582570636
8302841589306355168049466843913164393839201226521892908659173193182293772167
751700467239569, 17748272482041674768396422095786746723738052237049151287841
2060427447245779807483707996021941129186393246326675760538872063107926868880
00856050111426 *], [* 618174939653175803652771072922992607561511932892481395
1015169046125514426228522415028969074513763150575383475214577755457059279992
0118859114693061075, 5739243915246129208913969408736114076038900447177317333
0548438051460460666024150251328773513369624429052083472719546401126012072933
19302741061719162, 1 *], [* [* 659003677593448057804851613638250552126743638
2865221115011356515984681582631632812707701674372036013651313273126636179501
0436041650763242251291757, 1 *] *] *], [* 6590036775934480578048516136382505
5212674363828652211150113565159846815826316328127077016743720360136513132731
266361795010436041650763242251291757, 3, -1, 6590036775934480578048516136382
5055212674363828652211150113565159846815840045965544631977981018175483208262
468652447059935595979879482556681963329, [* 0, 39126503300415305686795736950
9831830289805348744659287207898630909119106907135483069064403278094989849501
18109979675077242517649515193633483414372 *], [* 129078036871042336929671104
8900482761642198606234357152726726947793143910952716779246467443068109825925
1428433483262184370283291972674592242343792, 1857933651566742209309125597630
5866751336176987263483540604770985931314164831311717916697287956874511612418
297298380376604077009503847690514490154, 1 *], [* [* 35208585803135847098612
4268858660784066116780877475399006757794383256491994477601772451107520320559
20543514133124280837893200495951827313633, 1 *] *] *], [* 352085858031358470
9861242688586607840661167808774753990067577943832564919944776017724511075203
2055920543514133124280837893200495951827313633, 67, -1, 35208585803135847098
6124268858660784066116780877475399006757794383256531989574800694963167531401
35766387373372567852526690405600875374939652, [* 352085858031358470986124268
8586607840661167808774753990067577943832564919944776017724511075203205592054
3514133124280772891488513894732145633, 3520858580313584709861242688586607840
6611678087747539900675779438325649199447760177245110752032055920543507754378
285787477559967047569777633 *], [* 16897569397338217857103299359758531712544
7512987899726441301702891649479165609816090666133362202684802360071806161381
35786950432206211439156, 398344838174338257297920158628297480997991842640660
8081718483685065004138683578176343898775806532881399459866056474207911319233
405814157072, 1 *], [* [* 82960852505032627470811561936536471269113284843891
4700769928827481754316657810557716689838669654471404038015376245347000245183
8095045933, 1 *] *] *], [* 8296085250503262747081156193653647126911328484389
1470076992882748175431665781055771668983866965447140403801537624534700024518
38095045933, 51, -1, 8296085250503262747081156193653647126911328484389147007
6992882748176818206749276475504606043125809529558872009714399860895722292522
79468, [* 723358656407961487245564595593014868480076430499615728481069615697
7134501975084433372749120220012333501094115060642675480312315605961353, 4714
4534061315601897959096715982446316795453458592959213581291092989908143012583
00323595347403295219370459147819525274111031843161073948 *], [* 551266052015
2443990285739945113649968077412399945748448168087127639181194034514630584698
357992502794860482350869959619391431408668704893, 64039458022978523401562608
9031629432854699437035419910985293307530146691076333632718539163189297380529
200919717082571814510418146868021, 1 *], [* [* 11844105491552827861174627653
5515492075143174067573910794633205910822937306192217000035129408837030337443
424147270858119033353738397, 1 *] *] *], [* 11844105491552827861174627653551
5492075143174067573910794633205910822937306192217000035129408837030337443424
147270858119033353738397, 3, -1, 1184410549155282786117462765355154920751431
7406757391079463320591147277021595309374641583171473396265502995414965051173
7045191575579, [* 0, 2291797096882472347646969652543792181897549716036737325
9489869184610669639185309921568649939108181653611881888454701782277916311767
 *], [* 11842291192184816869669598468121539669306998014591712410257946953028
8328872197521765625637878820722848939199822681479190164636957636, 2680743736
7943345610544196794801959689649487578666245148899398596668901320566965216399
793980669153956497091261209769261364574299255, 1 *], [* [* 32272767006955934
2266338628162167553338264779475678231048046882592568856174259111025656217206
359571267111591688421012907480086037, 1 *] *] *], [* 32272767006955934226633
8628162167553338264779475678231048046882592568856174259111025656217206359571
267111591688421012907480086037, 3, -1, 3227276700695593422663386281621675533
3826477947567823104804688262837416569794531794941164679635644589212264040489
9868852624788124, [* 0, 1 *], [* 2469233261259855661932182976283867779880515
9666979068606536957433536193238624655247974862706340247288110083423663176943
7814457912, 1333477409842787076764437583112893861792533513116687943697171482
14067473631477412831337284167891925943810953361394374503442775527, 1 *], [* 
[* 3841996072256658836504031287644851825455533088996169417238653364623501972
594587118445376747575671974906221909582141295864580811, 1 *] *] *], [* 38419
9607225665883650403128764485182545553308899616941723865336462350197259458711
8445376747575671974906221909582141295864580811, 8, -1, 384199607225665883650
4031287644851825455533088996169417238653362751813850908461017232714165520358
303193368605055427915946900598, [* 38419960722566588365040312876448518254555
3308899616941723865336462350197259458711844537674757567197490622190958214129
5714052811, 3841996072256658836504031287644851825455533088996169417238653364
623501972594587118445376747575671974906221909582140666456836811 *], [* 29140
8723862471500601133926780384468015659260217295529037678940738684322056773419
9934572569834876990885175972913925959767600429, 1038208064379008029894251089
5809637395904450230797038078656140011235310432274321917024966270083000540296
40429426930586580366109, 1 *], [* [* 444223592167483854578240685916809122269
8000536331519796694687421676874997851200318747437832474899593212236376625668
9, 1 *] *] *], [* 4442235921674838545782406859168091222698000536331519796694
6874216768749978512003187474378324748995932122363766256689, 67, -1, 44422359
2167483854578240685916809122269800053633151979669592046452365368077493939172
75522630629088178578394941888637, [* 742519341678400012162395850914408813236
1430594518660600002669754430249443616963974366594387972000778641266750726234
, 15239324936307805508800566403185325262035875125866467902147166178737475086
818283151356916082447601837706620980752826 *], [* 39784950703189220546624308
1711704896361532186368397811794999800928899281092531390057244555693347522331
05961664252752, 213995007098807210674631395396137287492430027196578533672479
46729962508478077067320011217940587379205613281085141565, 1 *], [* [* 352192
2383612940946938030190173780611188368074725103104467514302212504206559005630
43784023203091136822655770127, 1 *] *] *], [* 352192238361294094693803019017
3780611188368074725103104467514302212504206559005630437840232030911368226557
70127, 3, -1, 35219223836129409469380301901737806111883680747251031048364206
4980206573150174531107612676443648815746000942563, [* 0, 1892245773769818716
2047354411484542638867952375639243516770619130583041357133601144042171647407
1017061998840418 *], [* 3314479968516182898976651342959975763964167766985032
13921906460040544021011257075996476305095277644484425410876, 709005446800857
1817548096410316507048759643826932404029687886080830917985505612895196912878
2191120464385323881, 1 *], [* [* 4351549144383975897345200223455837056207720
5926652702830415461632095046890170697799949697410381850766993, 1 *] *] *], [
* 43515491443839758973452002234558370562077205926652702830415461632095046890
170697799949697410381850766993, 3, -1, 4351549144383975897345200223455837056
2077205926652691228782470298911822248492396024205412899846315299717, [* 0, 1
5253674776209590255914553527416544669516418268956111131572401389590778082874
772542697910893606679653608 *], [* 18796636399903498248573517860319536572142
597796915965160538527074306149720980817206536526467754549167936, 13541691688
6888204062388116503423284264011249722937274749898351156490322373021521285293
49790092754377750, 1 *], [* [* 334627134257901359613194950840459985898966477
3504066058547703902348255613678193609405643319251929, 1 *] *] *], [* 3346271
3425790135961319495084045998589896647735040660585477039023482556136781936094
05643319251929, 3, -1, 33462713425790135961319495084045998589896647735058089
96591143336000749155561349262493936312701387, [* 0, 314336879611066888520165
7916922736197620626796006346194433436857478529072906585083817625995673549 *]
, [* 21655734556248285500844167183079111756616745231574786557858427899960354
55952778378481054840501082, 403627667311724252272685794156819915504682219494
065842675182705088410392588416118939686375784948, 1 *], [* [* 24239736199313
3857987522510732029921186655808698781519358426597512531721023792223231891307
63, 1 *] *] *], [* 242397361993133857987522510732029921186655808698781519358
42659751253172102379222323189130763, 328, -1, 242397361993133857987522510732
02992118665580867319957351827947433273928915526035567673906934, [* 186845750
5717082650581573270685939761311456323247759229634180367058662269359402941909
1195592, 2071983258518566944126560116348619420467205995179717636476589031275
206379096879349989886963 *], [* 15970781749306552479360143599960882756065005
69652585250896149852355503024273723719204341195, 117484082567500177263714519
62181445518332314341256449459385784431191916058476665094098190681, 1 *], [* 
[* 8125735199921303476091333169222198682363364717221893183965927507446954953
7008857797, 1 *] *] *], [* 8125735199921303476091333169222198682363364717221
8931839659275074469549537008857797, 4, -1, 812573519992130347609133316922219
86823634181128708645776291697423442063719037600106, [* 576607508995017496503
10608848565035666626736007209935826665105968979557878053553001, 0 *], [* 642
8122391760910719106793169626977283967330688873485083473936051338733014827250
3016, 9719718246996947602449724381673671178965531216019356724936606605900929
456299410039, 1 *], [* [* 17138526963985655045451338536468474106257474859836
12152668116425125124471797, 1 *] *] *], [* 171385269639856550454513385364684
7410625747485983612152668116425125124471797, 91, -1, 17138526963985655045451
33853646847410704754390059852485129178388076021424060, [* 405058040465207498
752977558847168614419888585021295559995757788262381141057, 42136105964836224
725578843971687603465604229159519862750703890550851599286 *], [* 92404816233
5865235576441372348516601911105090008322602172319674958991776308, 5546056234
4902606750336669815111479720648045728831082867487846994109375901, 1 *], [* [
* 720470581712361012808879380868886453293907785871566789831698315073, 1 *] *
] *], [* 720470581712361012808879380868886453293907785871566789831698315073,
 3, -1, 720470581712361012808879380868885412047602284765541595425122362644, 
[* 0, 1 *], [* 1849448803314367521677877115864504737440406279370688133932956
14195, 245718975415055368701152492954633039114615070977315172460337998591, 1
 *], [* [* 351106521302320181680740439019924664740546922400361401279299397, 
1 *] *] *], [* 3511065213023201816807404390199246647405469224003614012792993
97, 4, -1, 351106521302320181680740439019906980878340478759206493970610250, 
[* 253603531890624172691821365566315813370298929386261911945533216, 0 *], [*
 235109753368318201254337626809703057506380360044686498402795038, 1375128408
25085816748818027112461370334181506986197163795725064, 1 *], [* [* 239839923
863557582239019126226245576477503114503133961, 1 *] *] *], [* 23983992386355
7582239019126226245576477503114503133961, 3, -1, 239839923863557582239019125
311255416279539037749327553, [* 0, 14401143023241602381558233989698941254998
9768347488282 *], [* 211210849098147497668049160549893749206993597717316020,
 105450399178101325686264761693126287110561056044207590, 1 *], [* [* 4690469
932933290897429108206544459578732909701, 1 *] *] *], [* 46904699329332908974
29108206544459578732909701, 3, -1, 46904699329332908974290776275748658371781
00625, [* 0, 1729141303020103662211040662297860009845932556 *], [* 427950345
5825167114707645725600189155862415905, 5672777115119866519710781348392948310
98887428, 1 *], [* [* 38921455998794973853000704141821101, 1 *] *] *], [* 38
921455998794973853000704141821101, 3, -1, 3892145599879497355034898873091227
9, [* 0, 26207296594095002258775921565431246 *], [* 151844948310116205173278
14757004212, 17530253168429360720552211357743933, 1 *], [* [* 19807671548283
6775824935827, 1 *] *] *], [* 198076715482836775824935827, 3, -1, 1980767154
82864104117986389, [* 0, 43132920423084997832168947 *], [* 47891880248729092
450069040, 45736570588545364146636989, 1 *], [* [* 31373660453195251, 1 *] *
] *] *]
1
1
  ***   at top-level: primecertexport([0],1)
  ***                 ^----------------------
  *** primecertexport: incorrect type in primecertexport - invalid certificate (t_VEC).
  ***   at top-level: primecertexport([],1)
  ***                 ^---------------------
  *** primecertexport: incorrect type in primecertexport - invalid certificate (t_VEC).
Total time spent: 16565
