[catacomb] / utils / catacomb-ll-128-512.pock

;;; -*-conf-windows-*-

sievebits 32

small 5 = 5
small 11 = 11
small 17 = 17
small 73 = 73
small 919 = 919
small 971 = 971
small 3463 = 3463
small 313163 = 313163
small 3595409 = 3595409
small 4484167 = 4484167
small 5518543 = 5518543
small 6879893 = 6879893

;;;--------------------------------------------------------------------------
;;; First factor.

pock $q0.0 = 2, 60730, [6879893]
pock q0 = 2, 3002666150370648941, [17, 919, 3463, $q0.0]
check q0, 128, 271499434142083095503643289076442321059

;;;--------------------------------------------------------------------------
;;; Second factor.

pock $q1.0 = 2, 158753, [11, 73, 971]
pock $q1.1 = 2, 357445, [$q1.0]
pock $q1.2 = 2, 15, [$q1.1]
pock $q1.3 = 2, 45, [$q1.2]
pock q1 = 2, 262818328748417486, [$q1.3]
check q1, 128, 251174382438405784142034780246853570853

;;;--------------------------------------------------------------------------
;;; Third factor.

pock $q2.0 = 2, 396, [5518543]
pock $q2.1 = 2, 2, [$q2.0]
pock $q2.2 = 2, 1268335209, [$q2.1]
pock q2 = 2, 2927510370377493347, [$q2.2]
check q2, 128, 259658226261043076610234546745792177763

;;;--------------------------------------------------------------------------
;;; Fourth factor.

pock q3 = 2, 5452482166508126949, [5, 313163, 3595409, 4484167]
check q3, 128, 275292752516630714214627215608643381611

;;;--------------------------------------------------------------------------
;;; Put them all together.

pock p = 2, 1, [q0, q1, q2, q3]
check p, 512, 9749248307666198278625282069621029423614285873414870747628872221551255623823205551438908261067675576856742534707535779666498916029617598868013496631088223

;;;----- That's all, folks --------------------------------------------------
Commit	Line	Data
bdb33262 MW	1	;;; --conf-windows--
	2
	3	sievebits 32
	4
	5	small 5 = 5
	6	small 11 = 11
	7	small 17 = 17
	8	small 73 = 73
	9	small 919 = 919
	10	small 971 = 971
	11	small 3463 = 3463
	12	small 313163 = 313163
	13	small 3595409 = 3595409
	14	small 4484167 = 4484167
	15	small 5518543 = 5518543
	16	small 6879893 = 6879893
	17
	18	;;;--------------------------------------------------------------------------
	19	;;; First factor.
	20
	21	pock $q0.0 = 2, 60730, [6879893]
	22	pock q0 = 2, 3002666150370648941, [17, 919, 3463, $q0.0]
	23	check q0, 128, 271499434142083095503643289076442321059
	24
	25	;;;--------------------------------------------------------------------------
	26	;;; Second factor.
	27
	28	pock $q1.0 = 2, 158753, [11, 73, 971]
	29	pock $q1.1 = 2, 357445, [$q1.0]
	30	pock $q1.2 = 2, 15, [$q1.1]
	31	pock $q1.3 = 2, 45, [$q1.2]
	32	pock q1 = 2, 262818328748417486, [$q1.3]
	33	check q1, 128, 251174382438405784142034780246853570853
	34
	35	;;;--------------------------------------------------------------------------
	36	;;; Third factor.
	37
	38	pock $q2.0 = 2, 396, [5518543]
	39	pock $q2.1 = 2, 2, [$q2.0]
	40	pock $q2.2 = 2, 1268335209, [$q2.1]
	41	pock q2 = 2, 2927510370377493347, [$q2.2]
	42	check q2, 128, 259658226261043076610234546745792177763
	43
	44	;;;--------------------------------------------------------------------------
	45	;;; Fourth factor.
	46
	47	pock q3 = 2, 5452482166508126949, [5, 313163, 3595409, 4484167]
	48	check q3, 128, 275292752516630714214627215608643381611
	49
	50	;;;--------------------------------------------------------------------------
	51	;;; Put them all together.
	52
	53	pock p = 2, 1, [q0, q1, q2, q3]
	54	check p, 512, 9749248307666198278625282069621029423614285873414870747628872221551255623823205551438908261067675576856742534707535779666498916029617598868013496631088223
	55
	56	;;;----- That's all, folks --------------------------------------------------