FastECPP software and >50000 digit primality proof (reposted from NMBRTHRY) - Page 2

ixfd64 · 2022-05-07, 16:47

Quote:

Originally Posted by Puzzle-Peter

I wonder how big the code can go? There are so many interesting numbers from 50K to 100K digits.

I'm wondering about this too. I know Primo supports numbers up to 50,000 digits but didn't see anything about limits in the documentation for this program.

Also, does this program have a GUI or just a command-line interface?

xilman · 2022-05-07, 18:28

Quote:

Originally Posted by paulunderwood

Some entity should set up fastECPP for a proof-over-the-net. Clients could latch onto the main server. This way a 60k proof might be computed in a reasonable amount of time.

Yes indeed. Someone should do so.

I will contribute some computrons when you have set it up for us.

Batalov · 2022-05-07, 22:32

I built the ecpp and ecpp-mpi ver.0.4.0 per instructions. Everything works like a clock, - Andreas is a pro.

And so far, - it is blazingly fast. And it is a command-line tool. I am afraid to say that I likely will never use Primo again. No need!

Additional note:
Latest Pari/GP changed the exposed syntax of Jared's internal ecpp* function family.

Quote:

Date: Wed, 14 Feb 2018 22:04:37 +0100
Dear PARI developpers,

Karim has merged ECPP with isprime.
Now the following GP interface is provided:

isprime(N): will use best algorithm given the size of N
isprime(N,3): force use of ECPP

primecert(N): return ECPP certificate
primecert(N,1): return P-1 certificate (old isprime(P,1))

primecertexport(C): as previous ecppexport
primecertisvalid(C): as previous ecppisvalid.

Cheers,
Bill.

TL;DR version - use latest gp, then use the certificate created by fastECPP like this:

Code:

gp -q
? C=read("cert-1000m");
? primecertisvalid(C)
1
write("cert-1000m.out",primecertexport(C,1));
\q

..and you can submit that to FactorDB if you ever so desired.

ixfd64 · 2022-05-08, 00:46

I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.

Batalov · 2022-05-08, 01:16

Quote:

Originally Posted by ixfd64

I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.

If one likes to watch the paint dry, it does show you the drying paint. Look --

Code:

time mpirun ecpp-mpi -g -n '(2^43081+1)*3/(2^643+1)/(2^67+1)/6879834114993710683' -c -f cert-12k &> 12k.log &

tail -f 12k.log
MPI with 31 workers initialised, of which 31 are local.
GMP: include 6.1.2, lib 6.1.2
MPFR: include 4.1.0, lib 4.1.0
MPC: include 1.2.1, lib 1.2.1
MPFRCX: include 0.6.3, lib 0.6.3
PARI: include 2.13.4, lib 2.13.4
Could not open file 'cert-12k.cert1' for reading.
Writing to 'cert-12k.cert1'.
-- Time for class numbers up to Dmax=447555180: 2099.9 (133.5)
-- Time for primorial of B=9241752992: 1089.5 (115.9)
-- hmaxprime: 41
-- Size [0]: 42311 bits
   Time for discriminant   -93588: 6878.3 (677.6)
   largest prime of d: 709
   largest prime of h: 7
       discriminants: 12.2 (23.7)
       93 qroot:      715.0 (58.1)
   292698 Cornacchia: 1179.2 (106.1)
     4394 trial div:  1775.7 (147.7)
      403 is_prime:   3196.2 (341.8)
-- Size [1]: 42243 bits
   Time for discriminant -58533160: 5929.9 (574.4)
   largest prime of d: 149
   largest prime of h: 7
       discriminants: 12.7 (24.8)
      155 qroot:      1167.1 (114.5)
   555219 Cornacchia: 2260.1 (209.0)
     9724 trial div:  3987.5 (328.8)
      682 is_prime:   5380.7 (574.7)
-- Size [2]: 42166 bits
   Time for discriminant -230844307: 6053.1 (521.9)
   largest prime of d: 1193
   largest prime of h: 23
       discriminants: 13.8 (27.2)
      403 qroot:      3057.8 (250.3)
  1050059 Cornacchia: 4160.9 (380.9)
    13550 trial div:  5509.7 (462.7)
      775 is_prime:   6119.1 (652.6)
-- Size [3]: 42077 bits
   Time for discriminant -2518187: 11288.5 (989.0)
   largest prime of d: 2207
   largest prime of h: 5
       discriminants: 15.0 (29.6)
      868 qroot:      6488.8 (492.8)
  1592100 Cornacchia: 6213.1 (578.9)
    17282 trial div:  6946.7 (581.9)
     1333 is_prime:   10486.1 (1079.5)
-- Size [4]: 42019 bits
   Time for discriminant -1722407: 8304.9 (808.7)

...and so on

mathwiz · 2022-05-08, 03:01

Quote:

Originally Posted by ixfd64

I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.

I'd honestly prefer that none of these tools had a UI. Why is it necessary to have a visual X window?

paulunderwood · 2022-05-08, 03:52

Quote:

Originally Posted by Batalov

I built the ecpp and ecpp-mpi ver.0.4.0 per instructions. Everything works like a clock, - Andreas is a pro.

And so far, - it is blazingly fast. And it is a command-line tool. I am afraid to say that I likely will never use Primo again. No need!

I am sticking wih Primo for now. A) I have started a couple numbers on my 3990x and B) running two numbers seems to keep all cores busy.

frmky · 2022-05-08, 04:15

Quote:

Originally Posted by Batalov

TL;DR version - use latest gp, then use the certificate created by fastECPP like this:

Code:

gp -q
? C=read("cert-1000m");
? primecertisvalid(C)
1
write("cert-1000m.out",primecertexport(C,1));
\q

..and you can submit that to FactorDB if you ever so desired.

FactorDB says "No input number found in file." The beginning of the converted file is below. What needs tweaking?

Code:

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

[Comments]
Generated by GP/PARI CALCULATOR Version 2.13.4 (released)
https://pari.math.u-bordeaux.fr/

[Candidate]
N=0x23C8345711530EDEBB67CBACA4B82AD9B46BAA4A794C45B78EC809236C7D8DB548ED5089BFF0A1207090C283B8DCAB3167D96ACED350AF04644689DC4AE06A43F97241D1B544B664A5CB5F34712F64D63F7AC31F71C39DA78B0D36872BB0AB2FBC73DA4D83375147397A54C83AF10A195218C233A308FD4C02735AA58A447D22DDDAF6CA8E546307D3C2504FB73B117C56E0142B98135D96580994C5F4C716C51657E7A8907DE4BC26C938C8F5986F42EB93A358CEDC1925C2655823526093839DFD1FEC102B6A1A412EB0C6546B820605BB82D3987B641D019BB2D1B7FABFCC78F5C12593A3D24E758BA18864F93F4E8522161873DEB65B9BE8021F43FB2F7D90E0C6A58706DE43A272780D98F468484DC393B94B30D1DBF81958AAFEEF6B7CCB862EBE3FA801294B9E4B6F10C8F40AD4565158A13FAA68A5910C1EB7D10B3152F63B68B2DE6476CF3035F06FA83C33C754B3134E28128C7CD3E2EBBF0C0548286813AE078A0F3855178F5837699853108CE69A3C92018E0897B7682AEC0DBFAF0CC99D3A47C1111B30326F7BBFEFC996C1A66B539F570AA1B895DD312DDA825E67C9E0B1BCD57D1C5C0AC73266829E4EC7AA2463F98E398278052B8F994ACAFA1614F507283F1E6B812129DE9C4BD930C0602638D99A23BE094F4C998B87B9CE0FD3D3FC804A488D61CBB4D3B4BE7466CAC3CC9D62DF23B1448A9602C48A0082F52D89C711548D8CA9495356E721501C68A6C8EE2F16A98DC324B9436617AD58BBFC8C0CAA5C8764519AD8B006A1ECB8A4F7596E964A30B9B1A532BADD9901D3B5925C21444A96D4B617E316330822CE325F8AD6AE4B20A2C747136BB9E76E5BC03B6916761959C41F421D7063E375DD89FDF81F5A0F190DE330E9DFCDF11B1DB5F8BF6768E1A4FE5868AF59978387D3B41E2B263C7D7814AFE0A1653B3162F0A3BAA11C9977390A2E40C66F76CD91F315495B9BE5724BBF46C034B96AA808983C4000157A875EF5E1CE3841AE30593B18D73E10CDE8460590537386EA0A844B301C8F38116E2EC24AFFED925E663EDA77BCD11943E1C59BE521A0C79871FE36DCD4CC3A866E25180776FFAA93B9B3382026FB7A08171BC16091EB866165BB7AD1E049E0213D504C66AC22C53EAB562659BE1AB13470682FD81EBD6A3B1D0E5658E4AD58CD5CCA144176F0DF451D623DB1EF29E1B600AB58E51455F456B7E1BFD2A827DF7EC59781A930E471E7FDE503944058FA7E18915B8FE038DFE74BD57AE16944F010A6347E3B684D05FFE6512E6CDE59C40862FA061BA4334331A963A85CAAF5E46352CF90914FE95340FA49CE671404E76F06DFD8674E6BDFF522AA796E430B049E6437191DAAE5C698165ECB34D73F14B670D10E8A0F2D67E9F039736686EDD09C5CA96E73BFC7A9FA2A85D41710853F3A0BF2515949E07F59B4010A5F494FF82E14318A1E16E9A9A661086CCB2B65F792DAB07C2DFA0CE11B109B4FD2494D228A46D172698EC6C6BF5024FF9AA2DA9AD682570A9C99701ED983694C889B3A546696DAAE7CAE787AFBA90CDF1D66B144CAB8521C2DC7171DFBB73C4C42524C62C40964B045B3732885796A86277D60B79C15EF24C17AD7CB76903F5C0853DC3DFF08D56DC8B0FDAC9CC73F53BFE3B1090A3F70757D4D969D442AFA4326BB503B2246C8D092AD32B2FF3D946B8D31F5E7ACD076E126237AFAA23B810EBAC2ECB5B19313227978B89A8D477F140D135789ABDC810EC1A03B61332902FCFD778CC91F39C7C8086986953D1E1E7348B2E3EDEE076E765C447EFC5703A51FA68EDB798ECE072A0694BFAC1ED3D37512EC012BACF039C06E685B79D009A3644603AE16BD91FA5D20E3E5C9E581C9C01684941AC862FA22E9216EA52FD8004D18E1C46930C8C66056C92244075EC6F0366679ABF885F823F09D74FE646C1BE8C4AF7451F8F78524834871EE63BD1AA5DEA4CCEEB3C8D9132E66B43D9D27C1590BADFEF554252F938EEACE842957F0C3B5CDB52800AFD2E04A3297B62D9AE66FD85DFBA165582E560DD1EAAA152EA4432AD6198399F022B379543FEF6DF0EFA4DF4A7B7DE0F312621875C1375471D04C326E01957363B8209719F3425E90FB811B7E730822DBD481F3BD5F7778BE44A974044EDC8A444FA078BD24CCAE6B7855CCF5C8E58D92E7CCF7203E657695F7C14036285CA95CF63AC546AF49B3BCA61A42F5A45B8AC2951CD26317ECEB5EEC7A4AAD3FFE6FF0E3C93463249DCAC922F8550EDF11663C39CDA2E9C1E4F60F8AB3E7104DF33CEC9F8CCC0E23FE5EF5E42A31498B33F92E0E3053FB693ECBB3E6B5C51A21EB9F1FA705262FD7921C37DBE355E0C7A333B76D61EAFCC199D54D752E2C686B80F15EFA1B18ACA0D5FB0B28E2269DBB0D5BC65DE802ED2B3F97A4F5951942248B63E69175D1817DE805661A868AF6311A565B14DAA5A0A3809D8C9A59EA09BD30D66C153AD8E9DB803E48EF08589BE11FE91D5929F29B605A3A296EF7300DBE5C41E782F30ADCEB7C5F722080183B04F94EC23ED98B6987A35EDFF36A384B82B9B3D3A3FA0750A6DEBF54703E94136A444B3FB7ABFB575445463D5793521BCDC3FA0937147EA0D36444308A79FE50451FD65AD9B82B9CBF4AD41064FA460FE42FE95DF5831264EA5CF30A55D1C781C9D342794E5AA0D94B47DA23E35B524FE5A2F7E6C2E9E687C536C5190272689EF7A16D24672FCE2B24D09B5D19D51FD8926AC0EC4FD77E172EE45A39CBFBF282A4E9AEFB3F99E194AF8397DBB93C398FA43E78D70D9220B8648C7DC7FEC4B74AACEF17122FD90DD70AD1396764A81A33707801152CD0AD40435CF36F27B9F79EA3DB3345F00DEFA6DD52A2352448C8662B82FDAF639B39B8543303D821D4848ECA4A66B763780ABA4EFDEE5FB37D4AAB7844819BB618B1A8901

[1]
S=0x7EB532C99D729E44
W=0x26D5E61B06CDAF773A21E7F1448EB1B5972DC85367BC1F233CF128C724E68413F9473745B0C53CAE15F0AAA8418D35A6C6EB4C9CBBC58262DB2A681BD46C7D8F6A021BEED67CE6D617F1C4582FBBB79D47CF54D9BB09868177FA62B3C5D6598349796441067AC67304D0732BD12B83F7FE0B936A6F35BCBFCAE8A876D82CB0A3531F83BE63C9EEAFA80199C210F6C15DD7B27C01E7739D2C8D2C7C4DAE0D8AE890902D0930057A8FCB87BDE51397079DCE0FC44E877EEB51D103BFD3A942F7B687764138026B6C2E520596F9BAA4E9460EFBBA1816FBFBCDE6048ED300750FACDC4F461EFCEE6F9BAEF29A28AA3FF3A79D5DF09A686D166BC8CABCD5774D942AD1BBC9C146525E99EAF49CA6A0F5B9A82FFBF218098090BB38206C6B411FF4EA5193889DB830BA999DCF64821E02E4D0C138F47792AE87B1B9409EA15EC2E54DEFBBDD74AAFE1A08644F2E708F8265EF05C14EA10E8F19B32AD7DF046C1AFDB2C1216205F71FAD06AC920E1881DC1DADCCA3018ECC170DF88F12CAEB21917E261B1943F688326FDFA5E73D54EEC8A175B33F1050B804A57D39452944D13C1A5EBA0DBD2DF36E6DAFFDC825554F9845B76A43B5E7B833F64F73C4B810205B302EFBBDBF6DB2C1745A73E6F9D3C37932625053D839958568B2EE4A67CF5551FD0E9A98F85612584BFC100E374E55CC2201566BAAC76A8CDA783A78E7F4246B97354FF919FF7A3F3034DF9DC63BCD8278BA0C2C2028ABBDDE618B1EF4034E798CCEA4B3C7ACBE07289CEC9A7928D8779DD4541080F1073D51A0105F22E80141307ED38C01974BBD07DE3667B9DAA35A70610D3CD42CE37D120B78BA183F67C2ACFE8437CB0BE4B8025C1AB89E5D22155A5A16CFD935A64755F8CC4B27FD8CB395F3CC3C96E27C400B7D29D09D4B0AB36BD8A99EA38DB27B8AD14F1E13DFB123AEE7B00C3DFF24FBED55B1412826214B8D2D50911284E7FE9BA37951F9CBE0CB6A9565B6C007034A3A5A3135D689D1E93BEEC4B9D5BF3BA660705627DF901BB8CC934D84BBEDC8C809003974DD990054D74EE75B678FAA1C224B78CF773D286F01E8E0F1DDD6EC3CB2DCAE9B2535ECB007E4AA68085BE84134298DEFCDD0902FF84F6560DA96FE06BFAA81ECE9C667F20FDA51AC10A56BDCACF3C801F7D51A846B558BEA7320E9BC3C510F8B1AD87A03DEBC930BDE032171CD6B818ED6D71E7F1C3ADA34987A1EE80468DF1E57409490196843843ECF8331C6C43308C1AAD7114B3BA8AFC5C36573D17AE3CA6D2B1C4333C38294CBBB0E54C3AF0178DDCEA5643DE4FBCEFECAF47B7F570F15380704E3F7585FC4B4EFFECAD9A0DDA314C11BA36AFCDAAD634A41D86CEE91A516DCB81F167E82FD2D83505669452709D775F6CCFFB1C5CB4FCF992C2599C1E0C203F4B64122EE3BBE00816AAA4D14A955C41BD573140E03A25A06212CCF9AF8A80A85FE
J=0x89C4F5C637F6024C936132319392124EBFE25B011994C50F7C436E6A9749DFBA8588672DEC33C2F35BAEA93D92B1CA4D6DEA83A0995F936345A8BEA3D95DCF10B0A572C827C8D57DC4715DAF23922D8F6B2D474D888DE99E917EDC20D69B9D2D1169C855FB21C30E86078E5BD196BB409487F324C15731547A0FA3BDE0DCADF21DC458900469D51613A07DBA6330A6FE093875ACAECD61E1B3E26391DDBFE46B487F5EB2BD19F78D8DBA31E4A77777DEB1C44F5181016216AF5023FA57A7D7DCA4EFC705C01DF5BB7CC4B1238DBF3A147C8B6264DED67BA433DD81DD786CA3B4E422171BCDF379D735B3141DD76C61185CC6EC77371E7543C3ED204C51D480E29D0B9405F4F957551B0563C33746FB9EB48B299EFEDFA2405DFB80EB6599926684EED749C3169D1196D0DC145BBC6D574068EB5B78E02B43E2BDD9764DD6A477B757A2BA09457719A265CB88AC3F2846E02ADE92501F21720AA23B2411E2FB366F13E30D9BFB8C9C1412A9893EC509DBFB45114BB958CB6C0EEAF58ABFD596A8FBE0E0C82E2BB958BF56A44B21454F713ED8F75CCF60BD4C7B4C3B2215F481F04E58EA1908EDD337AA4CD40BAA7B6E9DDF232F4C7C6E9C6FC94312363A9E3CB987935ADAD2861ACFC849528B05C4C27A82422395745CE34A837A625192C89908126D463D88513DC2810D8EF9C95ACED96774A4B200445497CB20BDCC05947E9F1612B15D9D890690E9DE77FC4838956573E8FBD4EA4FEEE6F337C2FDEFD82AE4FC0CCF522D606EEE6E4D719BAB0E64B44D1457B8EC2F6EA2F58EEBEA891336B35162DA265348FD8C72A51E6A0844D58361BF085AAB2C0C6D19982D4DD225003F9A97392B489947A4B8F1F5863BF34C48E2338310406FC3F41178D0698A15F6CB6623905EB949F656FA309E7C7C6886A903EFA002CE19AEF6A8818CA376F07C259027809000C65E6C3329F7E318B840C245F295E24B225ECCED16CC65972539D9216C3AB80F17762B3D9254BE3F914AA1122268F3B220B4841F2BF21C3FD5608C5C533122664B3DB9E135D8902D810FEB2E1ECFCA20FF604C1C7404680A72687C0BE3D61F2DB87C9DAD949FB25C667B5A9612FE95F2E3BE1DDF3D02B4A022810BDB47B1AF9823ABBDD27F7BB3A6F7D6D9BD3C15942C07E8D57C788277A1D6DDD0F2FC74398887F1E51A9DDB59E08A1FBBDF44026FE4B8C3191ADFFA6FEA2ED95840AC2A243590011A0557E5B5B4891D1BE18338659B7233B83277523695604E89192095220E0F7D581C91260A11083800F29255A4A312E3F176BD6F106FAF53ADA898002DCBB502487191F36298002B1866A93D8F62F549BE17FB28F1C71A4F8AF6F4578AB7E9FB6A6B2C3E1490C2A44CD564441755B60EC7E4F9A7AD1AE42B03BAF0A861FF358FD8FCDBABB502BA8DF017BDD08F303C932D6FC7244D32F42BA4F7CFA6E3F4DE23ADFC4EBCABE1F6151B849783202A62F63B928278DE950E84D5AA2A3B6C3321A23C81183847B65F59587312D587AAF0AE826283DE3C8764712B3701B2B20521836F1E59FA593CD25E45BD22FD12682B92DA1986F56C3C6187CBDED8F75A883950A9AE1209392E6C36E8F33E0274811DFA0C99E4D7D4A860BC70FCF296598323A67FF88F7D922CF54099A6B496D1BA0ABA40AC01B108761C25C8963A138ABF1D2EA28DC44A2F6A434E2592C6A6174D49DCB7CC2D440738B00C976A1B50419046F9C4C2F7E38FA53D1CD73F1C4B95EAA83CCFFA628299B08541C933ECE6B3DF8C2B7051E119D79C2E75556562B43253D3248AB59E569C3AFCCF44B55D0E9F171492FBB32B3CFA6101BEBB5F8F512AA0E77D3D14E490B0DA25039946ADA9ACC595F423DF9B196E6057105EE86AC30CA8601B881A63FA5F40CB727A3285141D5CE83465DA5B9A3AAEB80D4B0E33CA109E755925F4E7352264CE0BEA41355A052CD954E5BAF5A5B1F4043F9F83C4ADEFCE599868EDF456D6038029A8770A7AEA58D6EBAD0B2410178EA7F11813952A695F7FC8E9CBC5FFCB3BC56EDD50C5C5FD41E7EBDDCD2C73714E28BC5A4E373B4E02A8FC78A74A734002CCFCF0A3630054CF87F9E3910A29ED0F464AD79DDEA35F8AC32FF5E4B67532A8704AFF8B04F6A6EBA06B3E8EF23C059DC470F86C5D34680A25F4A8F295740090254238ACC7F1BB2E640DC474AFD1D122E0725D8E63C0435F64FE6640A899CD27D327722D6BD8DA3BCF87ACDFFB4BCC960EFEEE2360FD39D13F5C2659E76DC6B496D038A3FDD0FDBF6DFC076905DB8EF148810890E9C37E80FC8C94FF4F019F46BD1C5B665D63C4864A33383B597EA7440EFE1C6B49349E414AB9FE5FEAE5E2152D6561F7F2B5F12E94C316390D99303737D1BF9223FED4928EC73C8324E2D28F3C8230342C05597604EF0862F99BE7F01D53489B45DC09556DAC78D34EA6D4F7032381285481D35952D030C8FD4C969D4F2AB519C90D13EAA1281AA84DA6F1BEA5A513F25D446C26D2370D10AA053B2309A88858D7E85E3D9F2F9806725976F491B48390B15EA4A6E43CAFB980C54DFE6DDDF82F5C26D946DD723A3D87288BA2DA6347B24CD6AD6CC8DF43A0E0FDD166723FE0D999B7841F7BB7EE4EA936FB501590A723C5AAF836DE428C2FDDA755CF2CB0F7B1AD43BF708E5B2C6620DB0275B2E7364260F2EEFF3D57243D4A58D58C9609200F54BC013D80137CCEA875A40041EB51A142069CE82F35EE1CB308CC14BEB258C89CB368AD10BCDA16A3ECA447B9CE28505588C49B5A831C496774FE10E0C70E939FCBE26774D95C9F45D4D8A1976F1012061D8F2CC492E36927439DF0913B5B45205104DE9390D77154B7924E207E22A22B8E8A6021E2273EDFE1824B765C577814FE18DE4971C210D5A88F777BE52B0DFE6D7B9FC5F7D4ED48E6223508FB8CC44094DDFB3D9147F517DE20
T=0x467A4D7FBF901EE786890C522A55369864BC15E8D2D10E7A406BF5039587A1AC9994AC62EB567570677F20333CADE40E0558A5CA941A727BB5F2F4EE0FA545DDAA37A86442C6E9D45674E1EFE48A9E39EA5AD1BFBA93B671E981275AEAC28896FF325E03C088E06057B42A832232BC0AD81A8C612EF15B78AF7A1BB59EBE5B33F312CF69064E54F5FEEC9D6F85D0D978837D2644C9D89388E0E04A5659C0441E8785CC5ED1AD476453CB0333400BB5828444BFF44D86587B6AB5DC87CD5D1AA87A19FD2E6E306C5E88A27752469A3DABC5D87919E87BD9648E83F51A9D5AED940A84C10E56FC355D99D6B4C6D485CBAAB42E9084424503D378B48A6FA91B8503CE0F4BF12A21B8D5C1D0FE329D8063BA2D8BCD517164934096CDE9615C4076D2EC933383E40BB413B53ACB7861C71273014FFDB47FE7CCC0AD0E88878650E35EF280BF27C52226A8FAE779B51E223BC6C66D40A4F121EE7B17D701950A522C1BBC0FFC51133246BFD6148644D1D758273C40CE013B9599682F70C61B818FB651279A674FAEA487D9DFD141B602D85A10F516F46C4B1E22AF746671C5A622EF4CA59255327B17CCEF3460327068A46C3DDA0C99A90E714FC87BFC808225224462BC80DD269649193A2635C6F69A820C48DC9932B951C00F644D9A004132B06F99E2F09234B1376E5C31E01DA05147F6C90DB45E349B3C9F1E3EF20ABFB73383A1E273F2F79422774A802FD227C0B69C72EEB2118D977ABED2ACB5D355DD8DE7AB6844F4F16442CB7B33B1BA9A7656E36B0F415C12F7A2D9F9B58EC61E9FD067CE0C1479FABEB9C383FA32542DBBD02ACFE9EAD007728764095C158BB8EB14F400631D72DD5D36F9A1148FFD59D1C342419B83964D5366D74293BC461B24C84A534C5141258B99180B48F2319D397783CA55B2E947C12217953778365789EA3B3F3A3170E6771693C849308EBDFDF3C592F2D25CC0ACE22B39E4AAFC0B0C2B8ED0D3A9435414C9959B1E5EDD0ED5C31F74246B774D7529206D9569897039B9FC8FE44330FAC0DFC09C79867CBBB3773BF650771418DF448D999116F4D3000EB8B1F8DB79D672A961E57B103FC84AB22B2A61689179781B9C2F4E9897764FAAC6494437EDC855AB6085A510416782268B6C1F4A13EE331C423605D44F039B5D153CF08E756CED06850B98835E8B0F41640851734AA4F184B345C81C9786CC89D79A10738BC0CF6CFB8EDF314CB4982C24EF5A17B893D10A0E191C77A3DAA0E9BD60062CFE9B91D2486E65EA7974D7EA02525D5A6C9988508FAB37DF7886FA3F0D9617BEA1432119BEA00BBC4DB2DA0735D70E70A2B4507342FE11C1613A6CC9DC0015E7226B5055D6C4AFC0E8F6F5074EC2C68301E68F69CD3D1FF7994015CDC347708D525F8E19F8FB5CD7105085A7521270516F51D71528428A07985FA1B579B3141AEBC41BB53357448D8084D15DF376D306793C689B8DDD8F68C2A2A3E2ADBCEDDDA689A1CC0829F6543425E0AB5DD14A79039ABC2A26C37BA335A130947FA6A789908F2F21380305F48A9EBC238913C1073E6E76573F9392CBADE05756745BFF3DB0AAEB43CA2DC202BF2F177E1B409536E15E8BD46ED567406D8A31B8DF3E9EBD55CA780D287746F287C5950AB789FE042FD915CC09D5225C41CC2BD5B2A97CAA96ECBAA4777947477F0E528BCEEF523368776246461F190EF51CE3E71C3A1D971A50101C57BFBE1B3823B67BE9B7D33D848B40B2A423174ADE3DF60F5F0E9C432ADD8CCD3196C4D24B45BA4F0C36DB30A39EDDCA12EAE79D923B6D02D52C0CF03828F5E93358E8B22984EF3B0231BB1D2CA26C28315BF47638E711D080C42D6862F8DA8DC3D9C3737AF3D63A1EDF9BD469EADC98358380384C759E20A8671E77E25BE429B72B72D7BCE4B3E9A760122A4242565120B721E46D164D09C921B954F44ADA640ACDEC6C3E59530CC064D14572050E65132B2B522A80746038CCF5BC7DA9E23BA4C675B8718609D75266A60E10C506DB52CFC1E237917FE9573D71AD8A4E2049BF9F96CA03090CE5FD57845AB043A0E6A579859387FDDF9B91E25D5B8725F581F83C01C2EBD6BBEBABBDC7701D18696CDC08854F52F2D7B651F573B4ABB4BF1530A2E46AF6BF34562893E7B6B2657EC5BA57DCE879A413DBF2CC91422C7C428D34E18EA3BB9D2651F61814695F2596EC5B74DA21FBEF7AB2B53A2412F08A411A9FBC7C4E805D8EF8FCEDA56B4551F5905CDA6D710DF8BF697C51CF3E20880C66E27A0FE762900197B2675593DB04002C866BDF34B6FB1A18A3401AE56DDFF72E756AA88AC14307FAD54F672B148019466B66499042CD707E38C5AB5E4DCAAB7A9679510944DDFFCF9EAC2B40FE3AE56ED3DF948D698048DB756967FF811215EE0F0C330AA9F4A5475A86FEE0EC807BA45EE1A417C7951A5806B0C080F4E757A7144A69367062A31571D2CB6D97BB210D9F14DD30DFB46601B36F3ACC5BF05256A547B36DB4CFFCF34DAA2408A791BC4F525874A3E0E1E89B648A2582C5D7A86299ADC7A815199E3D673B71C201BEAA02ACB857A48954ECF3472EF66BE386BD13346FF5A77A7917A4E6FB428F74DBCF5CC2896B0117FD2577390208CCE8DA119C9EFC8D76591BB9769C5C7A4E7E0D3C832F35A69A4F181540DE40400492DCA5A3E488760DA107BB4348498475C4DC84A941C71DC444687379E36C0F8B1F9E385CCC6DAE0C311CFD6DFD6CC9C9C8B6B095BFCD9FC4406B1352B644351D97F68027B74BA031F4A3B9684EEEFDE6C0329BDF5009D3DCFB1E92CD5560DBBE69545FDA6FD7ABF17E3F2CC648A06A7D9764D2B5E91120D94D1BB0DD2C02DF1A99407FD68A92FEEDDB21A1B0D94DD10D6A72A2B306CFFFFB5CFEEE573E6B5C0A8AE4FFE45214CFD7DEC757513EF4D1D0A948CECD7DE8305C92C0

Batalov · 2022-05-08, 05:36

Correct, primecertexport(C,1) goes 99% of the way toward FactorDB compatibility, but not all the way.

Quote:

Originally Posted by Batalov

Btw, I had to "massage" their cert a little bit, but then factorDB took it. Took 3 iterations slightly reformatting the file (and to rename it into .out file)

I actually blame FactorDB implementation (it surely doesn't use Primo to validate). I suspect that Jared implemented his exported cert compatibility for back-to-Primo compatibility. I doubt he submitted any to FactorDB.

In 50001-file (which looks like Andreas also created it merely with primecertexport(C,1)), I replaced N=0x... by N=$.. (but I didn't replace any other 0x by $ in the file)
as well as created a full header of the file from some previous Primo-generated files. I added "Expression=..." row and some more as follows:

Code:

[PRIMO - Primality Certificate]
Version=4.3.2 - LX64
WebSite=http://www.ellipsa.eu/
Format=4
ID=B427A03BFE679
Created=May-4-2021 05:30:38 PM
TestCount=1645
Status=Candidate certified prime

[Comments]
...

[Candidate]
File=/tmp/D/cu1/primo432/work/ttt.in
Expression=10^50000+65859
N=$152E81DCC5CF9B751C028E9<<...>>
HexadecimalSize=41524
DecimalSize=50001
BinarySize=166096

[1]
... <<no more changes below>>

Maybe FactorDB needs some of those added rows, e.g. DecimalSize.
When FactorDB's intake validator is not happy, it reports: "1 zip file found, 0 certs added."
Then it means that you have to muck with the file some more.

paulunderwood · 2022-05-08, 15:13

Quote:

Originally Posted by ixfd64

I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.

What is stopping Marcel Martin studying the source of FastECPP to improve Primo?

frmky · 2022-05-08, 18:54

Quote:

Originally Posted by Batalov

I replaced N=0x... by N=$.. (but I didn't replace any other 0x by $ in the file)

That's all that was needed.

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
what is the best primality software?	bbb120	Proth Prime Search	75	2022-10-08 11:45
Fastest software for Mersenne primality test?	JonathanM	Information & Answers	25	2020-06-16 02:47
APR-CL as primality proof	f1pokerspeed	FactorDB	14	2014-01-09 21:06
Proof of Primality Test for Fermat Numbers	princeps	Math	15	2012-04-02 21:49
PRIMALITY PROOF for Wagstaff numbers!	AntonVrba	Math	96	2009-02-25 10:37

2022-05-08, 00:46	#15
ixfd64 Bemusing Prompter "Danny" Dec 2002 California 5·499 Posts	I'm hoping the eccp developers would consider releasing a GUI version in the future. In my opinion, the Primo UI is very nice and clean.