Primo - Page 17

sweety439 · 2022-02-19, 20:29

Quote:

Originally Posted by paulunderwood

gunzip the .gz files. Then zip the .certif up to .zip. No need to rename anything

factordb still shows "Not a PRIMO certificate."

paulunderwood · 2022-02-19, 20:49

Quote:

Originally Posted by sweety439

factordb still shows "Not a PRIMO certificate."

Did you look inside the .certif file? In my experience the certificates are usually in .out files.

kruoli · 2022-02-20, 13:09

It does not look like a PRIMO file. It only contains digits, backslashes and \n, it seems.

kruoli · 2022-02-20, 13:17

On the same website, there is an explanation on how the file is structured. I attached the same file as PDF to this post. Look at section 10. It should be convertible to PRIMO format.

sweety439 · 2022-03-22, 11:14

Quote:

Originally Posted by kruoli

On the same website, there is an explanation on how the file is structured. I attached the same file as PDF to this post. Look at section 10. It should be convertible to PRIMO format.

I read the section 10 of this article, but I still do not know how to convert (is there a program to convert? I think no), as you say, this file only contain many (base 10) numbers and "\n", I also download an example of PRIMO primality certificate, their formats are quite different (I think that factordb can be updated to support such certificates)

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Primo Browser?	PawnProver44	Information & Answers	14	2016-04-09 05:49
Primo Verifier...	WraithX	Software	15	2013-09-10 07:24
Fixup Old Primo Certificate?	wblipp	FactorDB	1	2012-05-28 03:16
PRIMO 3.0.7	Cybertronic	Five or Bust - The Dual Sierpinski Problem	17	2009-08-13 20:42
primo question	fivemack	Math	35	2009-04-28 15:03

2022-02-20, 13:09	#179
kruoli "Oliver" Sep 2017 Porta Westfalica, DE 2×3×5²×7 Posts	It does not look like a PRIMO file. It only contains digits, backslashes and \n, it seems.