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

sievebits 32

small 2 = 2
small 3 = 3
small 5 = 5
small 7 = 7
small 11 = 11
small 13 = 13
small 17 = 17
small 67 = 67
small 73 = 73
small 89 = 89
small 103 = 103
small 107 = 107
small 151 = 151
small 307 = 307
small 479 = 479
small 911 = 911
small 1549 = 1549
small 2819 = 2819
small 5333 = 5333
small 11813 = 11813
small 19037 = 19037
small 33811 = 33811
small 37987 = 37987
small 65579 = 65579
small 101149 = 101149
small 148663 = 148663
small 1065937 = 1065937
small 1611773 = 1611773
small 2703341 = 2703341
small 23298673 = 23298673
small 41105063 = 41105063
small 46402949 = 46402949
small 50464027 = 50464027
small 63180751 = 63180751
small 104583559 = 104583559
small 121012807 = 121012807
small 223299767 = 223299767
small 651836959 = 651836959
small 755741237 = 755741237
small 989213989 = 989213989
small 1123562633 = 1123562633
small 1939589783 = 1939589783

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

pock $q0.0 = 2, 221, [63180751]
pock $q0.1 = 2, 287985, [$q0.0]
pock $q0.2 = 2, 6, [$q0.1]
pock $q0.3 = 2, 799592, [$q0.2]
pock $q0.4 = 2, 140121481233820837, [$q0.3]
pock q0 = 2, 516012789589567525245228517748639317, [$q0.4]
check q0, 256, 89271282791461757245617785540129155142212959423277129581512553253419075634703

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

pock $q1.0 = 3, 26655, [5, 73, 307]
pock $q1.1 = 2, 113566177, [89, $q1.0]
pock $q1.2 = 2, 2313, [$q1.1]
pock q1 = 3, 110885609577740909340347456997460959441, [11, 2703341, 23298673, $q1.2]
check q1, 256, 85831054040144766435760746678768685031101307134949905606966042252247846736739

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

pock $q2.0 = 2, 967, [46402949]
pock $q2.1 = 2, 10150, [$q2.0]
pock $q2.2 = 2, 577531808038551323, [2, 5, 7, 11, $q2.1]
pock $q2.3 = 2, 1909, [$q2.2]
pock $q2.4 = 2, 4, [$q2.3]
pock $q2.5 = 2, 161492771766, [$q2.4]
pock q2 = 2, 3346150790641406755842632, [$q2.5]
check q2, 256, 106974241938861083915762659525277908624697359844432666343676471334975764276049

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

pock $q3.0 = 2, 3986961, [2819, 19037]
pock $q3.1 = 2, 717472194, [$q3.0]
pock $q3.2 = 7, 296079454464816888738186, [2, $q3.1]
pock $q3.3 = 2, 38351856539861991076107006, [$q3.2]
pock q3 = 2, 665, [$q3.3]
check q3, 256, 74188558205228235051388929541366735789893711666871143431413381703129034070571

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

pock $q4.0 = 2, 9100134, [50464027]
pock q4 = 3, 123286331671468380322893919539199160018, [3, 7, 1065937, 104583559, 121012807, $q4.0]
check q4, 256, 64157908398727096384500697645883202842334928055247546726538359334678953374533

;;;--------------------------------------------------------------------------
;;; Sixth factor.

pock $q5.0 = 2, 15902537, [5, 151, 65579]
pock $q5.1 = 2, 15, [$q5.0]
pock $q5.2 = 2, 205994, [$q5.1]
pock $q5.3 = 2, 4508442663943453928415, [$q5.2]
pock $q5.4 = 2, 78, [$q5.3]
pock q5 = 2, 1678161634428932615998239726693, [$q5.4]
check q5, 256, 91888021786522811643506031866522514605588426773858897142365239694153824388723

;;;--------------------------------------------------------------------------
;;; Seventh factor.

pock $q6.0 = 2, 94880014, [223299767]
pock $q6.1 = 2, 2611430923, [103, 479, 148663]
pock q6 = 2, 132103609398873302338919658147561406741, [3, 67, $q6.0, $q6.1]
check q6, 256, 86202112980065410413258705060295663522206392211838714986438313175672540034679

;;;--------------------------------------------------------------------------
;;; Eighth factor.

pock $q7.0 = 2, 5983906, [41105063]
pock $q7.1 = 2, 13, [$q7.0]
pock $q7.2 = 2, 2, [989213989]
pock $q7.3 = 2, 4, [$q7.2]
pock $q7.4 = 3, 41726813637741, [3, 911, $q7.3]
pock q7 = 2, 550759989015563177538248996460639, [$q7.1, $q7.4]
check q7, 256, 101718718485667336124248700072690338405530751717394437871691123315096947983183

;;;--------------------------------------------------------------------------
;;; Ninth factor.

pock $q8.0 = 2, 544, [755741237]
pock $q8.1 = 2, 37923639, [651836959]
pock $q8.2 = 2, 2737547132248882314854590682374331, [1939589783, $q8.0, $q8.1]
pock q8 = 2, 100378, [$q8.2]
check q8, 256, 86666452227843804499517643692692014159268339780015078349842908985056208435853

;;;--------------------------------------------------------------------------
;;; Tenth factor.

pock $q9.0 = 2, 18810, [1123562633]
pock $q9.1 = 2, 1260, [$q9.0]
pock $q9.2 = 2, 4519227, [13, 107, 11813]
pock $q9.3 = 2, 751612091072, [$q9.2]
pock q9 = 2, 2265614871095316418059393297451933, [$q9.1, $q9.3]
check q9, 256, 107755126504421076829573915729759110231793946298489260169446357640494497518059

;;;--------------------------------------------------------------------------
;;; Eleventh factor.

pock $q10.0 = 2, 52944235, [3, 5, 17, 307, 1549]
pock $q10.1 = 2, 29043, [$q10.0]
pock $q10.2 = 2, 7481661599, [$q10.1]
pock $q10.3 = 2, 7, [$q10.2]
pock q10 = 2, 105231020596360331675725034221656645151, [2, 1611773, $q10.3]
check q10, 256, 106001951238340530179427922980522671485637210826387486585015951056665476348869

;;;--------------------------------------------------------------------------
;;; Twelfth factor.

pock $q11.0 = 2, 21040824, [5333, 101149]
pock $q11.1 = 2, 507442, [3, 11, 33811]
pock $q11.2 = 2, 378, [$q11.1]
pock $q11.3 = 2, 1716, [$q11.2]
pock q11 = 2, 20166606578680090414315933249796640869, [37987, $q11.0, $q11.3]
check q11, 256, 102183593360154313236939029184315018977616435836107396944951781361526011480879

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

pock p = 2, 1, [q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11]
check p, 3069, 635937223373484887991140560420669529960468634418212194527199243018802509220923645480563049852948379631872315326364181219863391536284352632127476573990043945919830000350264391397346335414535975554209931971547284463207275833747975949070870172306582775948778222246682185331862354083029804303222690541851195763223409045953191584611635790362191424339883737168342809190665629632289528654983812904611647818546832860081714363504512892885600580448186423533085059295328609139522690627823102925150246378111221377628009667319528150747320084312110336288028683700603719073769314245952464113622780032073817850603131463761017417455806035107984621889773217138911836476354442521466189648565925624512100087534918369360007697883847802211797655614684090408428715299537509886614640500137409891381649298835563011151796284848165977247286439820050405175697064122759870661294968492275655767983096727976056361878300352234381528837008128941375285251387

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