mdw@git.distorted.org.uk Git - catacomb/blob - utils/catacomb-ll-256-3072.pock

   1 ;;; -*-conf-windows-*-
   2
   3 sievebits 32
   4
   5 small 2 = 2
   6 small 3 = 3
   7 small 5 = 5
   8 small 7 = 7
   9 small 11 = 11
  10 small 13 = 13
  11 small 17 = 17
  12 small 67 = 67
  13 small 73 = 73
  14 small 89 = 89
  15 small 103 = 103
  16 small 107 = 107
  17 small 151 = 151
  18 small 307 = 307
  19 small 479 = 479
  20 small 911 = 911
  21 small 1549 = 1549
  22 small 2819 = 2819
  23 small 5333 = 5333
  24 small 11813 = 11813
  25 small 19037 = 19037
  26 small 33811 = 33811
  27 small 37987 = 37987
  28 small 65579 = 65579
  29 small 101149 = 101149
  30 small 148663 = 148663
  31 small 1065937 = 1065937
  32 small 1611773 = 1611773
  33 small 2703341 = 2703341
  34 small 23298673 = 23298673
  35 small 41105063 = 41105063
  36 small 46402949 = 46402949
  37 small 50464027 = 50464027
  38 small 63180751 = 63180751
  39 small 104583559 = 104583559
  40 small 121012807 = 121012807
  41 small 223299767 = 223299767
  42 small 651836959 = 651836959
  43 small 755741237 = 755741237
  44 small 989213989 = 989213989
  45 small 1123562633 = 1123562633
  46 small 1939589783 = 1939589783
  47
  48 ;;;--------------------------------------------------------------------------
  49 ;;; First factor.
  50
  51 pock $q0.0 = 2, 221, [63180751]
  52 pock $q0.1 = 2, 287985, [$q0.0]
  53 pock $q0.2 = 2, 6, [$q0.1]
  54 pock $q0.3 = 2, 799592, [$q0.2]
  55 pock $q0.4 = 2, 140121481233820837, [$q0.3]
  56 pock q0 = 2, 516012789589567525245228517748639317, [$q0.4]
  57 check q0, 256, 89271282791461757245617785540129155142212959423277129581512553253419075634703
  58
  59 ;;;--------------------------------------------------------------------------
  60 ;;; Second factor.
  61
  62 pock $q1.0 = 3, 26655, [5, 73, 307]
  63 pock $q1.1 = 2, 113566177, [89, $q1.0]
  64 pock $q1.2 = 2, 2313, [$q1.1]
  65 pock q1 = 3, 110885609577740909340347456997460959441, [11, 2703341, 23298673, $q1.2]
  66 check q1, 256, 85831054040144766435760746678768685031101307134949905606966042252247846736739
  67
  68 ;;;--------------------------------------------------------------------------
  69 ;;; Third factor.
  70
  71 pock $q2.0 = 2, 967, [46402949]
  72 pock $q2.1 = 2, 10150, [$q2.0]
  73 pock $q2.2 = 2, 577531808038551323, [2, 5, 7, 11, $q2.1]
  74 pock $q2.3 = 2, 1909, [$q2.2]
  75 pock $q2.4 = 2, 4, [$q2.3]
  76 pock $q2.5 = 2, 161492771766, [$q2.4]
  77 pock q2 = 2, 3346150790641406755842632, [$q2.5]
  78 check q2, 256, 106974241938861083915762659525277908624697359844432666343676471334975764276049
  79
  80 ;;;--------------------------------------------------------------------------
  81 ;;; Fourth factor.
  82
  83 pock $q3.0 = 2, 3986961, [2819, 19037]
  84 pock $q3.1 = 2, 717472194, [$q3.0]
  85 pock $q3.2 = 7, 296079454464816888738186, [2, $q3.1]
  86 pock $q3.3 = 2, 38351856539861991076107006, [$q3.2]
  87 pock q3 = 2, 665, [$q3.3]
  88 check q3, 256, 74188558205228235051388929541366735789893711666871143431413381703129034070571
  89
  90 ;;;--------------------------------------------------------------------------
  91 ;;; Fifth factor.
  92
  93 pock $q4.0 = 2, 9100134, [50464027]
  94 pock q4 = 3, 123286331671468380322893919539199160018, [3, 7, 1065937, 104583559, 121012807, $q4.0]
  95 check q4, 256, 64157908398727096384500697645883202842334928055247546726538359334678953374533
  96
  97 ;;;--------------------------------------------------------------------------
  98 ;;; Sixth factor.
  99
 100 pock $q5.0 = 2, 15902537, [5, 151, 65579]
 101 pock $q5.1 = 2, 15, [$q5.0]
 102 pock $q5.2 = 2, 205994, [$q5.1]
 103 pock $q5.3 = 2, 4508442663943453928415, [$q5.2]
 104 pock $q5.4 = 2, 78, [$q5.3]
 105 pock q5 = 2, 1678161634428932615998239726693, [$q5.4]
 106 check q5, 256, 91888021786522811643506031866522514605588426773858897142365239694153824388723
 107
 108 ;;;--------------------------------------------------------------------------
 109 ;;; Seventh factor.
 110
 111 pock $q6.0 = 2, 94880014, [223299767]
 112 pock $q6.1 = 2, 2611430923, [103, 479, 148663]
 113 pock q6 = 2, 132103609398873302338919658147561406741, [3, 67, $q6.0, $q6.1]
 114 check q6, 256, 86202112980065410413258705060295663522206392211838714986438313175672540034679
 115
 116 ;;;--------------------------------------------------------------------------
 117 ;;; Eighth factor.
 118
 119 pock $q7.0 = 2, 5983906, [41105063]
 120 pock $q7.1 = 2, 13, [$q7.0]
 121 pock $q7.2 = 2, 2, [989213989]
 122 pock $q7.3 = 2, 4, [$q7.2]
 123 pock $q7.4 = 3, 41726813637741, [3, 911, $q7.3]
 124 pock q7 = 2, 550759989015563177538248996460639, [$q7.1, $q7.4]
 125 check q7, 256, 101718718485667336124248700072690338405530751717394437871691123315096947983183
 126
 127 ;;;--------------------------------------------------------------------------
 128 ;;; Ninth factor.
 129
 130 pock $q8.0 = 2, 544, [755741237]
 131 pock $q8.1 = 2, 37923639, [651836959]
 132 pock $q8.2 = 2, 2737547132248882314854590682374331, [1939589783, $q8.0, $q8.1]
 133 pock q8 = 2, 100378, [$q8.2]
 134 check q8, 256, 86666452227843804499517643692692014159268339780015078349842908985056208435853
 135
 136 ;;;--------------------------------------------------------------------------
 137 ;;; Tenth factor.
 138
 139 pock $q9.0 = 2, 18810, [1123562633]
 140 pock $q9.1 = 2, 1260, [$q9.0]
 141 pock $q9.2 = 2, 4519227, [13, 107, 11813]
 142 pock $q9.3 = 2, 751612091072, [$q9.2]
 143 pock q9 = 2, 2265614871095316418059393297451933, [$q9.1, $q9.3]
 144 check q9, 256, 107755126504421076829573915729759110231793946298489260169446357640494497518059
 145
 146 ;;;--------------------------------------------------------------------------
 147 ;;; Eleventh factor.
 148
 149 pock $q10.0 = 2, 52944235, [3, 5, 17, 307, 1549]
 150 pock $q10.1 = 2, 29043, [$q10.0]
 151 pock $q10.2 = 2, 7481661599, [$q10.1]
 152 pock $q10.3 = 2, 7, [$q10.2]
 153 pock q10 = 2, 105231020596360331675725034221656645151, [2, 1611773, $q10.3]
 154 check q10, 256, 106001951238340530179427922980522671485637210826387486585015951056665476348869
 155
 156 ;;;--------------------------------------------------------------------------
 157 ;;; Twelfth factor.
 158
 159 pock $q11.0 = 2, 21040824, [5333, 101149]
 160 pock $q11.1 = 2, 507442, [3, 11, 33811]
 161 pock $q11.2 = 2, 378, [$q11.1]
 162 pock $q11.3 = 2, 1716, [$q11.2]
 163 pock q11 = 2, 20166606578680090414315933249796640869, [37987, $q11.0, $q11.3]
 164 check q11, 256, 102183593360154313236939029184315018977616435836107396944951781361526011480879
 165
 166 ;;;--------------------------------------------------------------------------
 167 ;;; Put them all together.
 168
 169 pock p = 2, 1, [q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11]
 170 check p, 3069, 635937223373484887991140560420669529960468634418212194527199243018802509220923645480563049852948379631872315326364181219863391536284352632127476573990043945919830000350264391397346335414535975554209931971547284463207275833747975949070870172306582775948778222246682185331862354083029804303222690541851195763223409045953191584611635790362191424339883737168342809190665629632289528654983812904611647818546832860081714363504512892885600580448186423533085059295328609139522690627823102925150246378111221377628009667319528150747320084312110336288028683700603719073769314245952464113622780032073817850603131463761017417455806035107984621889773217138911836476354442521466189648565925624512100087534918369360007697883847802211797655614684090408428715299537509886614640500137409891381649298835563011151796284848165977247286439820050405175697064122759870661294968492275655767983096727976056361878300352234381528837008128941375285251387
 171
 172 ;;;----- That's all, folks --------------------------------------------------