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

sievebits 32

small 2 = 2
small 3 = 3
small 5 = 5
small 11 = 11
small 13 = 13
small 17 = 17
small 47 = 47
small 71 = 71
small 401 = 401
small 1409 = 1409
small 23581 = 23581
small 156833 = 156833
small 394123 = 394123
small 871649 = 871649
small 5876687 = 5876687
small 18875107 = 18875107
small 63190123 = 63190123
small 83108387 = 83108387

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

pock $q0.0 = 2, 19483749, [47, 71, 23581]
pock $q0.1 = 2, 103005859808795823, [2, 3, 13, $q0.0]
pock q0 = 2, 7527498979719, [$q0.1]
check q0, 160, 741802303617786660769426556982216255271020758647

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

pock $q1.0 = 2, 1102545, [63190123]
pock $q1.1 = 2, 6791537660, [$q1.0]
pock $q1.2 = 2, 880359, [$q1.1]
pock $q1.3 = 2, 107739483877920611, [$q1.2]
pock q1 = 2, 1, [$q1.3]
check q1, 160, 1436145082693042410533997633791272917636904431479

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

pock $q2.0 = 2, 51810, [83108387]
pock $q2.1 = 2, 275, [$q2.0]
pock q2 = 7, 392753319979291851337545, [3, 5, 18875107, $q2.1]
check q2, 160, 1053371763883815722032496338163704236230178616951

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

pock $q3.0 = 2, 42115, [871649]
pock $q3.1 = 3, 3546095728807, [11, 17, $q3.0]
pock q3 = 2, 6244124526426951914047, [$q3.1]
check q3, 160, 1215995718665420681503927009463070333378310191827

;;;--------------------------------------------------------------------------
;;; Fifth factor.

pock $q4.0 = 2, 3194856718821, [401, 394123, 5876687]
pock $q4.1 = 2, 88023387, [$q4.0]
pock q4 = 2, 693071580690, [$q4.1]
check q4, 160, 1448192360714741582009673893725822727433041298541

;;;--------------------------------------------------------------------------
;;; Sixth (large) factor.

pock $q5.0 = 2, 483753262, [17, 1409, 156833]
pock $q5.1 = 2, 4, [$q5.0]
pock $q5.2 = 2, 18, [$q5.1]
pock $q5.3 = 2, 37886, [$q5.2]
pock $q5.4 = 2, 4776601169474131886106058, [$q5.3]
pock q5 = 2, 11649782787072175, [$q5.4]
check q5, 224, 17654251325616983743094122151298023764308424678047987263690296014551

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

pock p = 2, 1, [q0, q1, q2, q3, q4, q5]
check p, 1023, 69775951038073580217048751187698556149910661999359201823421066000439190288124938297116840422332973903349265313226189724474672148172906743149961449018143681316055777549225333684417216672046201528908637006946721694566251047975893301628540057123962444434130461052652526277961662241061299058137499738575071867183

;;;----- That's all, folks --------------------------------------------------