mdw@git.distorted.org.uk Git - catacomb/blob - utils/catacomb-ll-128-512.pock

   1 ;;; -*-conf-windows-*-
   2
   3 sievebits 32
   4
   5 small 5 = 5
   6 small 11 = 11
   7 small 17 = 17
   8 small 73 = 73
   9 small 919 = 919
  10 small 971 = 971
  11 small 3463 = 3463
  12 small 313163 = 313163
  13 small 3595409 = 3595409
  14 small 4484167 = 4484167
  15 small 5518543 = 5518543
  16 small 6879893 = 6879893
  17
  18 ;;;--------------------------------------------------------------------------
  19 ;;; First factor.
  20
  21 pock $q0.0 = 2, 60730, [6879893]
  22 pock q0 = 2, 3002666150370648941, [17, 919, 3463, $q0.0]
  23 check q0, 128, 271499434142083095503643289076442321059
  24
  25 ;;;--------------------------------------------------------------------------
  26 ;;; Second factor.
  27
  28 pock $q1.0 = 2, 158753, [11, 73, 971]
  29 pock $q1.1 = 2, 357445, [$q1.0]
  30 pock $q1.2 = 2, 15, [$q1.1]
  31 pock $q1.3 = 2, 45, [$q1.2]
  32 pock q1 = 2, 262818328748417486, [$q1.3]
  33 check q1, 128, 251174382438405784142034780246853570853
  34
  35 ;;;--------------------------------------------------------------------------
  36 ;;; Third factor.
  37
  38 pock $q2.0 = 2, 396, [5518543]
  39 pock $q2.1 = 2, 2, [$q2.0]
  40 pock $q2.2 = 2, 1268335209, [$q2.1]
  41 pock q2 = 2, 2927510370377493347, [$q2.2]
  42 check q2, 128, 259658226261043076610234546745792177763
  43
  44 ;;;--------------------------------------------------------------------------
  45 ;;; Fourth factor.
  46
  47 pock q3 = 2, 5452482166508126949, [5, 313163, 3595409, 4484167]
  48 check q3, 128, 275292752516630714214627215608643381611
  49
  50 ;;;--------------------------------------------------------------------------
  51 ;;; Put them all together.
  52
  53 pock p = 2, 1, [q0, q1, q2, q3]
  54 check p, 512, 9749248307666198278625282069621029423614285873414870747628872221551255623823205551438908261067675576856742534707535779666498916029617598868013496631088223
  55
  56 ;;;----- That's all, folks --------------------------------------------------