mdw@git.distorted.org.uk Git - catacomb/blob - utils/catacomb-ll-192-1536.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 19 = 19
  10 small 61 = 61
  11 small 113 = 113
  12 small 397 = 397
  13 small 523 = 523
  14 small 1361 = 1361
  15 small 58403 = 58403
  16 small 127291 = 127291
  17 small 149027 = 149027
  18 small 445339 = 445339
  19 small 964679 = 964679
  20 small 1915619 = 1915619
  21 small 7495531 = 7495531
  22 small 41700697 = 41700697
  23 small 85904549 = 85904549
  24 small 89406461 = 89406461
  25
  26 ;;;--------------------------------------------------------------------------
  27 ;;; First factor.
  28
  29 pock $q0.0 = 2, 599673, [3, 445339]
  30 pock $q0.1 = 2, 6, [$q0.0]
  31 pock $q0.2 = 2, 37216238751500, [523, $q0.1]
  32 pock q0 = 2, 2181607886944713854570678098, [$q0.2]
  33 check q0, 192, 3265942811645946563242629602041107481841853511350443184197
  34
  35 ;;;--------------------------------------------------------------------------
  36 ;;; Second factor.
  37
  38 pock $q1.0 = 2, 10091300, [41700697]
  39 pock $q1.1 = 2, 7266992134776439, [19, $q1.0]
  40 pock q1 = 2, 9042734768136800077225363, [$q1.1]
  41 check q1, 192, 4203281750074745560664516895168522022509720946720609480259
  42
  43 ;;;--------------------------------------------------------------------------
  44 ;;; Third factor.
  45
  46 pock $q2.0 = 2, 9900, [85904549]
  47 pock $q2.1 = 2, 272940, [$q2.0]
  48 pock $q2.2 = 2, 90407177525, [$q2.1]
  49 pock $q2.3 = 2, 185793279988736350, [$q2.2]
  50 pock q2 = 2, 40144676658, [$q2.3]
  51 check q2, 192, 5008750505930402098755083797499946811957880698185704286517
  52
  53 ;;;--------------------------------------------------------------------------
  54 ;;; Fourth factor.
  55
  56 pock $q3.0 = 2, 293749, [5, 113, 1361]
  57 pock $q3.1 = 2, 4, [$q3.0]
  58 pock $q3.2 = 2, 185056946153757, [2, 61, $q3.1]
  59 pock $q3.3 = 2, 74168236934813703, [$q3.2]
  60 pock q3 = 2, 112317748991, [$q3.3]
  61 check q3, 192, 5437815993255342021982036827752826453901545498474314278259
  62
  63 ;;;--------------------------------------------------------------------------
  64 ;;; Fifth factor.
  65
  66 pock $q4.0 = 6, 2844543891759, [2, 3, 397, 58403, 127291]
  67 pock $q4.1 = 2, 6244865664613736594, [$q4.0]
  68 pock $q4.2 = 2, 21894839271, [$q4.1]
  69 pock q4 = 2, 35, [$q4.2]
  70 check q4, 192, 3856915640937851719940744630159301063173277801391043813291
  71
  72 ;;;--------------------------------------------------------------------------
  73 ;;; Sixth factor.
  74
  75 pock $q5.0 = 2, 252277691602972, [3, 1915619, 89406461]
  76 pock $q5.1 = 2, 86808465789509869145375, [$q5.0]
  77 pock q5 = 2, 67254, [$q5.1]
  78 check q5, 192, 6054082443893470116716978196535076127652382149483455623509
  79
  80 ;;;--------------------------------------------------------------------------
  81 ;;; Seventh factor.
  82
  83 pock $q6.0 = 5, 40962985, [3, 5, 7, 964679]
  84 pock $q6.1 = 2, 55194680320049063319715, [2, 7495531, $q6.0]
  85 pock $q6.2 = 2, 82423836319, [$q6.1]
  86 pock q6 = 2, 1, [$q6.2]
  87 check q6, 192, 4527580176039500642864307604310793340910014541817043735439
  88
  89 ;;;--------------------------------------------------------------------------
  90 ;;; Eighth factor.
  91
  92 pock $q7.0 = 3, 38990, [2, 149027]
  93 pock $q7.1 = 2, 2964985671, [$q7.0]
  94 pock $q7.2 = 2, 1238052, [$q7.1]
  95 pock $q7.3 = 2, 200918482739479179978, [$q7.2]
  96 pock q7 = 2, 12505948575, [$q7.3]
  97 check q7, 192, 3430016280837410693307976287901159907499384818919106315351
  98
  99 ;;;--------------------------------------------------------------------------
 100 ;;; Put them all together.
 101
 102 pock p = 2, 1, [q0, q1, q2, q3, q4, q5, q6, q7]
 103 check p, 1533, 271163844483056215974969265313967454661676256266511940924304321373021958106999031565631233996938091358447023677706317722695337026864685384345663120704730255257202847527192911265950638087504732115876440997750045081880863038141607482083211725689822517898206821836185159703555104632867971994304356879518337226475272092974597967943366038800089283400183985773753490774687966167193456249452974119129018696293050595073100284829925638444204379135326678813960293114732959
 104
 105 ;;;----- That's all, folks --------------------------------------------------