mdw@git.distorted.org.uk Git - catacomb/blob - utils/catacomb-ll-160-1024.pock

   1 ;;; -*-conf-windows-*-
   2
   3 sievebits 32
   4
   5 small 2 = 2
   6 small 3 = 3
   7 small 5 = 5
   8 small 11 = 11
   9 small 13 = 13
  10 small 17 = 17
  11 small 47 = 47
  12 small 71 = 71
  13 small 401 = 401
  14 small 1409 = 1409
  15 small 23581 = 23581
  16 small 156833 = 156833
  17 small 394123 = 394123
  18 small 871649 = 871649
  19 small 5876687 = 5876687
  20 small 18875107 = 18875107
  21 small 63190123 = 63190123
  22 small 83108387 = 83108387
  23
  24 ;;;--------------------------------------------------------------------------
  25 ;;; First factor.
  26
  27 pock $q0.0 = 2, 19483749, [47, 71, 23581]
  28 pock $q0.1 = 2, 103005859808795823, [2, 3, 13, $q0.0]
  29 pock q0 = 2, 7527498979719, [$q0.1]
  30 check q0, 160, 741802303617786660769426556982216255271020758647
  31
  32 ;;;--------------------------------------------------------------------------
  33 ;;; Second factor.
  34
  35 pock $q1.0 = 2, 1102545, [63190123]
  36 pock $q1.1 = 2, 6791537660, [$q1.0]
  37 pock $q1.2 = 2, 880359, [$q1.1]
  38 pock $q1.3 = 2, 107739483877920611, [$q1.2]
  39 pock q1 = 2, 1, [$q1.3]
  40 check q1, 160, 1436145082693042410533997633791272917636904431479
  41
  42 ;;;--------------------------------------------------------------------------
  43 ;;; Third factor.
  44
  45 pock $q2.0 = 2, 51810, [83108387]
  46 pock $q2.1 = 2, 275, [$q2.0]
  47 pock q2 = 7, 392753319979291851337545, [3, 5, 18875107, $q2.1]
  48 check q2, 160, 1053371763883815722032496338163704236230178616951
  49
  50 ;;;--------------------------------------------------------------------------
  51 ;;; Fourth factor.
  52
  53 pock $q3.0 = 2, 42115, [871649]
  54 pock $q3.1 = 3, 3546095728807, [11, 17, $q3.0]
  55 pock q3 = 2, 6244124526426951914047, [$q3.1]
  56 check q3, 160, 1215995718665420681503927009463070333378310191827
  57
  58 ;;;--------------------------------------------------------------------------
  59 ;;; Fifth factor.
  60
  61 pock $q4.0 = 2, 3194856718821, [401, 394123, 5876687]
  62 pock $q4.1 = 2, 88023387, [$q4.0]
  63 pock q4 = 2, 693071580690, [$q4.1]
  64 check q4, 160, 1448192360714741582009673893725822727433041298541
  65
  66 ;;;--------------------------------------------------------------------------
  67 ;;; Sixth (large) factor.
  68
  69 pock $q5.0 = 2, 483753262, [17, 1409, 156833]
  70 pock $q5.1 = 2, 4, [$q5.0]
  71 pock $q5.2 = 2, 18, [$q5.1]
  72 pock $q5.3 = 2, 37886, [$q5.2]
  73 pock $q5.4 = 2, 4776601169474131886106058, [$q5.3]
  74 pock q5 = 2, 11649782787072175, [$q5.4]
  75 check q5, 224, 17654251325616983743094122151298023764308424678047987263690296014551
  76
  77 ;;;--------------------------------------------------------------------------
  78 ;;; Put them all together.
  79
  80 pock p = 2, 1, [q0, q1, q2, q3, q4, q5]
  81 check p, 1023, 69775951038073580217048751187698556149910661999359201823421066000439190288124938297116840422332973903349265313226189724474672148172906743149961449018143681316055777549225333684417216672046201528908637006946721694566251047975893301628540057123962444434130461052652526277961662241061299058137499738575071867183
  82
  83 ;;;----- That's all, folks --------------------------------------------------