mdw@git.distorted.org.uk Git - catacomb/blob - utils/catacomb-ll-224-2048.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 17 = 17
  10 small 23 = 23
  11 small 43 = 43
  12 small 53 = 53
  13 small 73 = 73
  14 small 103 = 103
  15 small 229 = 229
  16 small 787 = 787
  17 small 1019 = 1019
  18 small 1031 = 1031
  19 small 2371 = 2371
  20 small 3259 = 3259
  21 small 3343 = 3343
  22 small 6823 = 6823
  23 small 14009 = 14009
  24 small 16763 = 16763
  25 small 31271 = 31271
  26 small 32911 = 32911
  27 small 44711 = 44711
  28 small 65629 = 65629
  29 small 548749 = 548749
  30 small 685493 = 685493
  31 small 922729 = 922729
  32 small 2416067 = 2416067
  33 small 2724367 = 2724367
  34 small 20455543 = 20455543
  35 small 283040143 = 283040143
  36
  37 ;;;--------------------------------------------------------------------------
  38 ;;; First factor.
  39
  40 pock $q0.0 = 2, 77557244, [32911, 65629]
  41 pock $q0.1 = 2, 1314023863943291657101441, [103, 548749, $q0.0]
  42 pock q0 = 2, 188376034169635741, [$q0.1]
  43 check q0, 224, 18749474022970964965792505501868745784157349746475161167020805104727
  44
  45 ;;;--------------------------------------------------------------------------
  46 ;;; Second factor.
  47
  48 pock $q1.0 = 13, 9773254, [2, 3, 1019, 3259]
  49 pock $q1.1 = 2, 93311355, [3343, 2724367]
  50 pock q1 = 2, 1816846807414613664743331831208744, [11, $q1.0, $q1.1]
  51 check q1, 224, 26459793266106143518700371316953986751950547842631163615799385478033
  52
  53 ;;;--------------------------------------------------------------------------
  54 ;;; Third factor.
  55
  56 pock $q2.0 = 2, 139291, [685493]
  57 pock $q2.1 = 2, 4167310526515483, [1031, 16763, $q2.0]
  58 pock q2 = 2, 425068431593487259907781956594238, [$q2.1]
  59 check q2, 224, 23385205652191135191327958583020476187937251160152256504448581299573
  60
  61 ;;;--------------------------------------------------------------------------
  62 ;;; Fourth factor.
  63
  64 pock $q3.0 = 2, 22932, [2416067]
  65 pock $q3.1 = 2, 6063239, [$q3.0]
  66 pock $q3.2 = 2, 124379961, [$q3.1]
  67 pock $q3.3 = 2, 70999304, [$q3.2]
  68 pock q3 = 2, 182104245730305170970108862655863, [$q3.3]
  69 check q3, 224, 17287418736358368314036906794523064561326146990020019216549187737103
  70
  71 ;;;--------------------------------------------------------------------------
  72 ;;; Fifth factor.
  73
  74 pock $q4.0 = 2, 9984, [922729]
  75 pock $q4.1 = 2, 965786944, [53, $q4.0]
  76 pock $q4.2 = 2, 417, [$q4.1]
  77 pock q4 = 3, 1166927186146195925203643655841975, [3, 5, 6823, 44711, $q4.2]
  78 check q4, 224, 16800288948485454351848726052252844830400274721321174607061304165751
  79
  80 ;;;--------------------------------------------------------------------------
  81 ;;; Sixth factor.
  82
  83 pock $q5.0 = 2, 2588625, [283040143]
  84 pock $q5.1 = 2, 69033, [2, 43, 2371]
  85 pock $q5.2 = 2, 4754043, [$q5.1]
  86 pock $q5.3 = 2, 15, [$q5.2]
  87 pock q5 = 2, 629586845267554567042966724914193, [$q5.0, $q5.3]
  88 check q5, 224, 14817124042645057452868896146782513905071983176482538876644503596827
  89
  90 ;;;--------------------------------------------------------------------------
  91 ;;; Seventh factor.
  92
  93 pock $q6.0 = 2, 67125, [53, 14009]
  94 pock $q6.1 = 2, 95117540, [$q6.0]
  95 pock $q6.2 = 2, 10551, [$q6.1]
  96 pock $q6.3 = 3, 22632791408615889282525061, [3, 229, $q6.2]
  97 pock q6 = 2, 967965417275960, [$q6.3]
  98 check q6, 224, 24089412810223523640445605527780074479098235298741910558499656689361
  99
 100 ;;;--------------------------------------------------------------------------
 101 ;;; Eighth factor.
 102
 103 pock $q7.0 = 2, 7134269, [3, 20455543]
 104 pock $q7.1 = 2, 12201211278023578452, [73, 787, $q7.0]
 105 pock q7 = 2, 7706102558810683184709001911, [$q7.1]
 106 check q7, 224, 18919386933765812741111621380736732547216460099506859126765656541087
 107
 108 ;;;--------------------------------------------------------------------------
 109 ;;; Ninth (large) factor.
 110
 111 pock $q8.0 = 2, 4774038, [17, 23, 31271]
 112 pock $q8.1 = 2, 587, [$q8.0]
 113 pock $q8.2 = 2, 2301482227, [$q8.1]
 114 pock $q8.3 = 2, 8617612182191973, [$q8.2]
 115 pock q8 = 2, 3146437495502300328833645023384575, [$q8.3]
 116 check q8, 256, 68423637472150676252123752731403397187923476268634988015857219241126016100451
 117
 118 ;;;--------------------------------------------------------------------------
 119 ;;; Put them all together.
 120
 121 pock p = 2, 1, [q0, q1, q2, q3, q4, q5, q6, q7, q8]
 122 check p, 2045, 3113844893182469436423817481922802329154474934213986369565700235348098440269001480103560846535113493144522446351379349356211385191632945710341444495577638160076546999114567117877732507854868463110804063964212132228977417231690350182211790515961798314443291574015832300281633156990779527484905381392680532643288437519954295652416759988107781937077836044809781096660654460207183523575424301901443740349094152501352983589721328225459512044516684078781305909247963063040562914192132284695886353707336911126238203292592145886841905764429235683487108646920559740458905874135798982283901137307047131586817745416509850061963
 123
 124 ;;;----- That's all, folks --------------------------------------------------