mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Blogorrhea > LaurV

Reply
 
Thread Tools
Old 2019-06-07, 14:01   #1
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
Jun 2011
Thailand

2×3×31×47 Posts
Default M666666667

Yeah, the largest ever mersenne double checked (however, not independently, but still worth a milestone or "record" mention ), M666666667 is out. Unfortunately, not prime. It took a little bit more than 3 years a reservation, from which about 270 (more or less) days were used for effective testing. The rest is down time, due to magic smoke getting out from the old cards, relocation to different "faster and faster" (dream off!) cards, better computers, etc., but the main work, like over 60% of it, was done on Titan classic, which is still the best card for LL if you have no money for new Vee's and you don't care about electricity costs. At the end, we switched to some other different cards for a while, and finished the last ~35% of the test on GTX1080Ti, which has a bit lower performance (for the clocks I used to run my liquid Titans), but takes less than half of the power. There were always two cards running in parallel, one doing first LL and the second doing DC. For the most of the test (except about 10% in the beginning, when a Maximus Extreme V mobo was used) both cards and other like them were connected to a X99 E-WS mobo, which provides a lot of x16 PCIE slots, which matters for cudaLucas, it adds few percents to the speed. If you click the link, the mobo is the black thing on your left, and not the golden thing on your right. So, look to the left.

Strange enough, one of the cards which also provided the video for the computer (connected to the monitor(s)) was always faster than the other, regardless of the card type (assuming both cards are the same type and have the same OC settings, etc) and regardless of the slot we put it into. The simple fact that the card handled the video made it few percent faster than the other one which was doing the LL test only. Which is... hmm... odd... isn't it?

Switching the monitor cable to the other card made the other card faster and the first one slower. The only explanation we can think off is the fact that the card not connected to the monitor was entering some "sleeping" state as long as it detected that the video engine is not used.

Well... at the end we accepted this strangeness as a given fact, and stopped looking for a real explanation.

The fact that one card was a bit faster than the other made one test to advance faster compared with the other, and this we didn't like too much, because the reason of having LL and DC running in parallel is to compare the residues at every checkpoint and see if they match. When they were not matching, which happened few times (less than 10 times during the whole test, but IT DOES HAPPEN!), you have to stop both of them and resume from the last matching checkpoint, otherwise you are wasting a lot of resources. If you finish the LL and then do DC and find a mismatch somewhere at 10% of the already done LL, then your half year of computing is wasted. Same, if one LL is more advanced than the other when any mismatch happens, you have to resume both, because you don't know which is good (alternative, resume only the lower one, and if the mismatch repeats at the same point, resume the more advanced one too, but here you gain no time in case the mismatch was in the larger, you still have to discard it).

So, we preferred to have both LLs running at the same pace and we made scripts to check the similarity of the two streams of residues (that is why we insisted in the past and argued with the developers to have the residues as part of the file names, because there is no way to compare the files otherwise -- they are always different internally, due to the different shift count, and a comparison would be more complicate). The scripts will discard the non-matching work and resume the cudaLucas from the last known good iteration.

The "advance" in fact was not big, and sometimes the difference it was on the opposite direction. No joke, and this has a simple explanation: we sometimes had to stop the LL which was running on the active card to be able to do daily work - cudaLucas will immediately suck out your graphic resources and then our Altium Protel or Autocad, or even watching videos, or playing Starcraft II (well, we do it sometimes! ) would become unbearably slow, so in that point we would stop the "faster" card and do our daily work, giving time to the slower card to "catch up" and "overtake". Sometimes, because we are old and silly, we would forget to restart the first test and let it sleep overnight. We were never able (time limitations, laziness) to create an alarm system to kick us in the butt from time to time and say "hey dude, restart that stopped LL test!".

So, with all these going on, we had sometimes to stop both of the tests and "swap" the cards, by either swapping the folders, or restarting them with "-d 0" and "-d 1" parameters reversed in the command lines, so the faster card will work on the less advanced test. We did this randomly, about 50 times or more during the test (we didn't count, but we had to do this voodoo every week or every two weeks to avoid the fast runner getting distance), and because when you stop the cudaLucas, it will just stop at a random iteration, it was never the case that one card worked both "streams" from the same point, with the same shift count. We didn't exactly check for that, but the probability is close to zero.

If after all those complications, the residues at the checkpoints still matched, then we are over 101% confident that the "new record" test is correct and we think there is no "triple" needed, but as I know few people here have itching in the butt... be my guest.

As I give you the residue list, you won't need to run two tests in parallel, just one is enough, and check with my list every 500k iterations to see if they match. So, you don't need to keep two cards busy with this task, one is enough. If you have two "V" cards, better give the other one to me (haha, just kidding).

Thus, as said, to help out, this is the list of the residues, if anybody wants to give it a try. With the new "Vee" cards it still may take about 6 months or so. We also keep the full residue files every 10M (so, there are 66 of them, each having 83MB) for a while, with both shifts we used (so, 132 files in total, about 10 GB which we put them on a corner of the disk in case some argument rises in the future, and a verification will be needed, they will not bother us for a while, but they will be deleted eventually). In the list below, the residues are saved every 500k iterations (therefore there are much more lines there! I could not afford to keep so many full residues), except for the last which is at 100k step. The final residue, of course, is purged to avoid giving you strange temptations . This list will help a lot if somebody wants to TC, I know because I also used other peoples' lists from this forum when I was DCing in 332M.

Code:
M666666667
    500000  0aa8304dd270b53d
   1000000  a2d99dd687544716
   1500000  6960c8d7aa610ce1
   2000000  b5d1da4df250f7ec
   2500000  bc6afa8066f93dcd
   3000000  48c9686a9990331d
   3500000  c4a18ea9dcd5be93
   4000000  3df777a7fd4d7892
   4500000  ad6a461d6381688a
   5000000  6d446729d9be8622
   5500000  7fc3fda2c67bb9f5
   6000000  7f983d1d6f0e9e2b
   6500000  d55d372da34853fb
   7000000  d4f86131f4383c30
   7500000  477617eb31212971
   8000000  ec12168459a95414
   8500000  143f9ebaad5d2634
   9000000  f47167a5414249ce
   9500000  03be43a268ecd273
  10000000  2d5db1a011af6dba
  10500000  ff6ae91860f3336e
  11000000  8c18297d84d48f1a
  11500000  cfc00b439dd79194
  12000000  aee4eec22facd67e
  12500000  fe6d05de6edcf7de
  13000000  6a0dce197958a83a
  13500000  f141ef3eb08a7e32
  14000000  152dfbd7caf66d62
  14500000  38b81f597cc81467
  15000000  457109cc54fbd69a
  15500000  7479ebeabbc51e8b
  16000000  2c59b3b75e392384
  16500000  739549b7f637bea5
  17000000  cc3d24d850601a9b
  17500000  ee691fa293e28c58
  18000000  a1a87b4e4460496c
  18500000  59686528b5a802ef
  19000000  2c9da422ce0e99e6
  19500000  c7124be0558099f3
  20000000  1bddcbb282e0b611
  20500000  3e84433bfcd7a222
  21000000  e8aa8f90693a052c
  21500000  c3886031f08d62e2
  22000000  065727ba41a71c5e
  22500000  aaf86f3c21844d58
  23000000  04dcb9ce865ddb41
  23500000  a7175f646350dfc3
  24000000  ca7986b796f5f1d2
  24500000  c1de7acda31d5ba2
  25000000  3d1cd283593dc968
  25500000  fccef345b4a0349f
  26000000  483d7a9fec002c8f
  26500000  2f7abec306e55296
  27000000  d313d7e3c459ad3a
  27500000  af06938ee7c76e4b
  28000000  bb3d7b5dc00c7c5b
  28500000  8fde3295c3aa9489
  29000000  b3d31fad8dc10774
  29500000  a6193be9a621624e
  30000000  7f6af94c4481841d
  30500000  37627a2a42024adc
  31000000  307cdd1b5baca45f
  31500000  8ead5bf37e666092
  32000000  9c003c4938d59bac
  32500000  ec61c50b19683a1f
  33000000  26ddc731602bb5ee
  33500000  0efdf436717e12b4
  34000000  9c3127dd3331828a
  34500000  30053e10e21543f5
  35000000  b4e216579681b1cb
  35500000  65eaba65e276e977
  36000000  bd3efebd5f419f63
  36500000  b9e5da302b67e923
  37000000  d92aa0267aab570f
  37500000  ba214fff7b5029c2
  38000000  84f2ee74acb9d76a
  38500000  c5bab44e4c8490b3
  39000000  5ded46e7bbc7e08b
  39500000  d3018d47b9b2ef3c
  40000000  1125023831194086
  40500000  9ba26e20070dfd61
  41000000  7533335199f4c446
  41500000  4decece7a039be4a
  42000000  088764ea5228577a
  42500000  f597754711220d66
  43000000  0219705c54619bec
  43500000  f56e3c202942c488
  44000000  fcf6e1619bf209f0
  44500000  a8f6e036fea1f50c
  45000000  cbf5b12454c5615c
  45500000  8f377652769356f3
  46000000  61c345291eba5121
  46500000  51196b54ce55a2d9
  47000000  da0e25e6f7975ee1
  47500000  2d21c1f2c3b08e77
  48000000  7b6857e90bd4b128
  48500000  427ec1a012f8861e
  49000000  aeee3fcf99b1947e
  49500000  90bbaa39f1fa9082
  50000000  0af234a762b0e2e4
  50500000  ea135802dc971892
  51000000  db6acaf4beac1194
  51500000  61867661707856e0
  52000000  f663177b32dc803f
  52500000  d200b10a05ab8342
  53000000  c183438755ca2e50
  53500000  274bdd6a7fad97f9
  54000000  5656b6f45567f30a
  54500000  78d59278edf2c5bf
  55000000  f779012abc6749a8
  55500000  cda98a662ea326c5
  56000000  6b1ad5e208ad4686
  56500000  00d8c4378fe67d33
  57000000  8b38cb27674a56d8
  57500000  6337e2f77f2f8a1c
  58000000  3ec1a61aecd957a6
  58500000  2cc7f9b229232049
  59000000  895f3affdc486588
  59500000  30058aabd69c5344
  60000000  2be00e5182e3a467
  60500000  675dd475dbcd95e2
  61000000  e43cb0b9222bcd40
  61500000  14acd6aac36fc83f
  62000000  4cb866295730ae21
  62500000  2e6c0b94ac3803cf
  63000000  a63601a1aec3bda4
  63500000  195fda5225d33702
  64000000  325c9a5ac5cb9ec5
  64500000  086bcd72df3695aa
  65000000  b1c93d46f1a213b8
  65500000  1d229005f5057b5f
  66000000  28d1d5e55424fe76
  66500000  032af4ac421b6683
  67000000  dbc0dad68854fd89
  67500000  c475334052a17af3
  68000000  ece909ea4f8246d3
  68500000  7adc9378c912d67c
  69000000  59fffd403631e327
  69500000  84b98fccfb726833
  70000000  42fc98c0a7d9e61e
  70500000  cf4397144ea6c266
  71000000  cdf5db3628c6a36b
  71500000  265868285284135d
  72000000  51918eac6ce46295
  72500000  6c1335cb50bc0fb1
  73000000  05d1a5fa64e401f2
  73500000  c3edd90e61b89eeb
  74000000  49960404a508c342
  74500000  ca868ae67a28294f
  75000000  03eb8e8305f16c5c
  75500000  aaac3ff0306cdc0f
  76000000  1edb7f0caa5845dc
  76500000  1a6bd6e19f4605fb
  77000000  f9c0c829b5bdc141
  77500000  0267840bf3d4d6c0
  78000000  e4c6f9f1f1c521e3
  78500000  88198c35738eb90c
  79000000  fea48841832775ec
  79500000  f0fee5f9ab68f457
  80000000  56ae6f7221c96861
  80500000  b7dba210a95d5404
  81000000  651f1df2e3d90b91
  81500000  5b1533524af4824f
  82000000  3f48227ee4b8fd48
  82500000  048778aec2cab935
  83000000  8b91dec7e8220c11
  83500000  f7ee4d87faa69868
  84000000  4a8cf5e2b1517fb0
  84500000  ca2596e2a081161c
  85000000  fc42ebf5a6d5c395
  85500000  cf322c4d187c9462
  86000000  b48cd50d6c6bcb08
  86500000  a2afb39a561a061a
  87000000  9b243efa834576bc
  87500000  b9ba915163e92cd1
  88000000  4b213769c53c6882
  88500000  9b07eca06f604b0a
  89000000  b6f03bc3d3ef857f
  89500000  ab677ce1c835528b
  90000000  d1a227c144dca47e
  90500000  a9a706076416aca7
  91000000  0c499707672ae047
  91500000  73560570bbd9436b
  92000000  a311881d42b92d5d
  92500000  6b36723ecc894214
  93000000  73491be6abb2a311
  93500000  ba39094c1fa0c911
  94000000  5748ab2666219e8c
  94500000  cf3171b47364b0e6
  95000000  fed2f4829704faa6
  95500000  780f029c326b3e5b
  96000000  953a990b547c7479
  96500000  2bd3b545ae1a4e64
  97000000  7d5a41da093fe1b8
  97500000  64d74610dda45962
  98000000  f28e6a21c698f333
  98500000  ded8b47a717f382a
  99000000  a94567aac914d4a3
  99500000  c8eb425768319344
 100000000  3b4b6f9375acc6de
 100500000  56b19e192d3f9c2d
 101000000  53bf57e7b0e372d4
 101500000  a62415f65c769927
 102000000  4f8644b8a7e50005
 102500000  3612cae13980709d
 103000000  0a853efd78ada202
 103500000  6ec7b37288429513
 104000000  d7e231ceafc940fe
 104500000  61227d0c53b58e18
 105000000  c4a596d4d6c6cfe8
 105500000  18f1ea42ef03ca09
 106000000  333a9d68317dc68f
 106500000  474b911c9e5bd5f4
 107000000  3e34a69333f48481
 107500000  66abe4b1e965c724
 108000000  969c075a135df2b6
 108500000  47ff3551510c1f05
 109000000  4615e1cd5c1a791e
 109500000  ccb7252e019fd16d
 110000000  c8ecb61792e31165
 110500000  4d96c3765ed4ab0d
 111000000  7e42d76ea1fc20b0
 111500000  5a02f9790a462718
 112000000  1a30568e80a68aae
 112500000  86b3927196d9155a
 113000000  7aba3ce1f4e27738
 113500000  ad4724176812f415
 114000000  6f01efd7ebb6f92b
 114500000  87f7c8c51daf4797
 115000000  82dc66a4768223aa
 115500000  da6a6f39d8425487
 116000000  70b0136b26cd7477
 116500000  0c8092c45fc655a7
 117000000  05c91f2938984fc6
 117500000  7e1235a689ca93cf
 118000000  e19b15a6a81f2c9e
 118500000  b32ad40fa9172da2
 119000000  b2191e0ad3fc808d
 119500000  517828c413442223
 120000000  2c679aad0712e9ba
 120500000  c58afb38324f3648
 121000000  b872f209a6c4ed26
 121500000  6cba21bea530f1fc
 122000000  e1a7e8f158aaa3b7
 122500000  5d0b515c0dba95bf
 123000000  6e15417a9078813d
 123500000  6c49166c9114dd43
 124000000  fbf9a26bc8cf897d
 124500000  6c5afbca86fd1202
 125000000  11989ef578c19cea
 125500000  79c7f052c1bb142f
 126000000  9a473a21a7ce18c3
 126500000  e946d1541e7c263e
 127000000  846a75e1b1b10e3f
 127500000  933cc366cc36d30c
 128000000  637a798d5362858c
 128500000  5320855f78c038e6
 129000000  eec26f9744130246
 129500000  9517b456f893cdeb
 130000000  35215721ec30b1af
 130500000  885fb7f65298e2f9
 131000000  93a927654c20d19c
 131500000  3c0e8e2e6dfc62c1
 132000000  c1483b1510ccf401
 132500000  1482c8409e00bb01
 133000000  7734a8882bac9b32
 133500000  46b292574c6da6ec
 134000000  470d638f25041a38
 134500000  4963ed6a2daac22c
 135000000  31388f27ad4a3d6d
 135500000  d8de614f90e17b2b
 136000000  43c6efb8e6f6df30
 136500000  dc0962808dfeb177
 137000000  70024e91db3c9a8c
 137500000  388b7ade7e023654
 138000000  2fef33d9a33599ca
 138500000  050d8ce1d8ad3e75
 139000000  56f9d00325974d81
 139500000  a7299e057229a718
 140000000  382b63e1a9c7dc95
 140500000  689afcae2bf72921
 141000000  30cd725243a4917e
 141500000  3c4ec8b5ed316dc7
 142000000  977d686af6d08e41
 142500000  1c98045dac396602
 143000000  6865104333970cbf
 143500000  94726667986b3ac8
 144000000  9751383fe815603a
 144500000  202dddc0d3b4354d
 145000000  a56a7c0c4b4ae700
 145500000  76727dcc20c5a00b
 146000000  c97f47c27ddaca98
 146500000  336eb731b2d62654
 147000000  53aa7ea6b8d505b6
 147500000  e5844e1dbaa14d76
 148000000  39ac95961445ec6e
 148500000  0d60aa4304415a5a
 149000000  24e192236914a71a
 149500000  e011cefb5123ed0a
 150000000  36e17018550d3d9e
 150500000  b7f4807eb41dfd0a
 151000000  9bc08788b02e84b5
 151500000  8d176ce88f12bcfe
 152000000  2f109b88b81537c1
 152500000  12907281eaba7a98
 153000000  49f4ac7c77254ea3
 153500000  530841b224e78afc
 154000000  e6362f2c5bbc2249
 154500000  2ce369e182afd2ed
 155000000  064bc60eefc0ef44
 155500000  4902d1d3b88cc28b
 156000000  b0d1769774db01ea
 156500000  e9595bdc3b82af45
 157000000  7b857aefe6675eff
 157500000  92a167c12c406316
 158000000  231cce9bb8be17d0
 158500000  fcdec58e07275a0b
 159000000  dd8c5c5bec28f1e9
 159500000  64a89a5d15a15c21
 160000000  1dae6b5d9af46bc0
 160500000  404a381d82c39299
 161000000  7b4fd24af21276c0
 161500000  2287e9d79d6c7c38
 162000000  44d76b6fb7e3017e
 162500000  6e2c703759f9480c
 163000000  29b00b1a85a005fd
 163500000  3eda509083ea6336
 164000000  06344b6c1ff6854a
 164500000  8cd877716ac0843c
 165000000  1bea0ee0f5c055cc
 165500000  b1a650ad58b0eece
 166000000  d3ad99296020e5c5
 166500000  b40d33d4fd1d7664
 167000000  cfdc9d1fd502bf9a
 167500000  bb05c6a50ffd3377
 168000000  e807dde41e2cfa43
 168500000  7115b81b0fdd2293
 169000000  18cc1e318f845d35
 169500000  3b1a53534f99cc51
 170000000  b6ba56e4ac9d0dd5
 170500000  6be4070283cda62e
 171000000  074a2a99caa2cbdb
 171500000  822c13a7b8d02862
 172000000  6052d7cebca92fc6
 172500000  debe71fca76a756c
 173000000  7914a669317503d6
 173500000  2689362f6bf01f01
 174000000  c0f08a39b7f33c2e
 174500000  2543b51798e67f22
 175000000  e724780e700bfa9c
 175500000  a17d2e9dab58841c
 176000000  4703e3e10866dfa9
 176500000  15a849e9a16e997a
 177000000  87476c8ffbe6ff75
 177500000  56dee724cc53cb32
 178000000  30abc2892271254f
 178500000  75147933cb622099
 179000000  dc2ba2ad0bf0dea2
 179500000  90bb6334ae1cb006
 180000000  662904aa3bcac4c0
 180500000  b4cba499fa8c4e61
 181000000  fa1a16c193c4665d
 181500000  9cb7cd511dc6cc95
 182000000  6770930fa8384264
 182500000  6f0b8c2f784132e3
 183000000  bae3199495861543
 183500000  2b9943b2318ac60d
 184000000  86ddf12019b9de57
 184500000  c420b7910390e2ee
 185000000  b21a7a56b26ce5f3
 185500000  70f8cb69c6bec31b
 186000000  216cda596bd49f4f
 186500000  8cc078807f5b6004
 187000000  5bd86d0930ffccec
 187500000  022abc658ffb37ea
 188000000  5caac8ec8670eaec
 188500000  6f207324ad672775
 189000000  0d8cd5d3ae130e29
 189500000  3bfef00d675108d9
 190000000  aaf24e1adbc4432c
 190500000  2afe2f17aff0b00f
 191000000  cdb4f66296a8b755
 191500000  e2253983a17015a6
 192000000  25fe04bdcf9f40b9
 192500000  ae7f4e2367219839
 193000000  43baeea6575cc245
 193500000  00a1788519dcb9b5
 194000000  174841fb1d30c998
 194500000  a4c7cfc2ec5dfb47
 195000000  b61a8bed2fc37566
 195500000  3a507afdb687c042
 196000000  38dc44fc80a68216
 196500000  3eac0e1808c98693
 197000000  aa32d1828c66698f
 197500000  fd8449445816d286
 198000000  cd45955f46c52f56
 198500000  24fc40497347ae2b
 199000000  8d8130f888e20592
 199500000  9aaaa36eb6f83418
 200000000  9f3643f29e7592a2
 200500000  99fc7fbdd2ac170f
 201000000  c752a7f44d2a9cbf
 201500000  aa618a5eee130979
 202000000  3edff643cda6c974
 202500000  75cc7d5eaa2d940d
 203000000  adb6d8a09f6fa14d
 203500000  8cf28734707f1362
 204000000  7f74425e83e08a5f
 204500000  7c0caade5066beb8
 205000000  1187e8b94ca082c0
 205500000  d4d8b0a40b70afb7
 206000000  b9ae80df998f8ed0
 206500000  543d9367b93edf2e
 207000000  b7b249eb46f45dee
 207500000  aa2c847fb5f93796
 208000000  5c2b6a547f8b666f
 208500000  47b69fdf2eb18c76
 209000000  2b16a6b4c2035171
 209500000  7368605db3b99925
 210000000  7c33af394f33b63a
 210500000  1e58fc52def08fd0
 211000000  2afaf8d5bfbc0ce6
 211500000  d0959b739881b20a
 212000000  e69423e5a5faf55c
 212500000  52eae55140f880ef
 213000000  bde7215b79f154e9
 213500000  23125aa3f0b76d8a
 214000000  1b1b5e4b7655c4cc
 214500000  2edd79d70e2a544b
 215000000  000c62e9e9b96318
 215500000  d3d4a96ace927e90
 216000000  18c9784de1a17739
 216500000  8f82958996712898
 217000000  69efb5eb0cf95082
 217500000  da64f2073fa896a3
 218000000  a350c96ce3da1bae
 218500000  bf7f5fd6a9b5a661
 219000000  16b7fef342c1a168
 219500000  e9ce7ef26a8d0fa5
 220000000  2bff337f297f2a8e
 220500000  467a109e15d599ea
 221000000  ffe4e4e4aef093f7
 221500000  4d7e225c330a79ce
 222000000  8374b3acf7faecf7
 222500000  93563abd1693909a
 223000000  672946a94a1c16ba
 223500000  7989086bfc3d9ac4
 224000000  bc79f8669d9a513a
 224500000  e967cc5b2562aacc
 225000000  9cc9a5772f13b24a
 225500000  892d78b0a34e77bd
 226000000  bfb89941d38cc6c4
 226500000  a25279d640ae51a5
 227000000  43c43bd3824f6eda
 227500000  324b59624d3be1f3
 228000000  8a3cf19833f71295
 228500000  6a670ed623b3f95d
 229000000  f2d07e6d479271f4
 229500000  9624a3fa10410d46
 230000000  f1daa4179854d380
 230500000  cb460aa03dad42ad
 231000000  0fef56dc5c6d9659
 231500000  38ef4fc7ffb7772f
 232000000  a5fced0bb9003dc6
 232500000  99ebe1d6474c38fe
 233000000  3734dd15f12d0faa
 233500000  19b7f184026c57e8
 234000000  47e2028d36364842
 234500000  e8ad5a3a1cf36ed0
 235000000  a29efc7db0352b2c
 235500000  bd792f229c3d6603
 236000000  27fcfddfffc88e5b
 236500000  d015c14b4f3ca1f8
 237000000  4e51080a2727c738
 237500000  778afe3daaa15851
 238000000  0769d639ea260b68
 238500000  63744cb1cfe624e5
 239000000  cd23fa18906720f9
 239500000  06d3a3a7a0d6d6ac
 240000000  e82675d06e761f3d
 240500000  defd89cc2dfc99da
 241000000  7f6132cb4ee800e1
 241500000  38ed8402cf73c3ff
 242000000  64d1849ba3655252
 242500000  b5c82e063d6d48dd
 243000000  67d8b5f643726956
 243500000  65bda739a21defa9
 244000000  cb3924e5c13f7eaf
 244500000  919b3b9a0cebf746
 245000000  556abdd98090a9af
 245500000  f8d539deb7341619
 246000000  e2b9c4d64d41c956
 246500000  80bc139e4e752871
 247000000  198c973f8e6b2c9b
 247500000  0f5c0c5cb3494c42
 248000000  7d6c90fe53cd9872
 248500000  3143256d33d0480c
 249000000  6deb1883001133d5
 249500000  af7d0f3a72a05c19
 250000000  251e107011133bff
 250500000  0bb8725404ed85e3
 251000000  4759186249a3b7ac
 251500000  09527f45334deff1
 252000000  131a0d43ce3e4600
 252500000  3068b00a6331a014
 253000000  f38cab7695964f87
 253500000  925a14ea98cb2bba
 254000000  78c127de399418e0
 254500000  470d02b4a7498597
 255000000  24e4e3289324cc2f
 255500000  640bd4a5f0d00684
 256000000  b6104b9ee25669a7
 256500000  ec6b579dae1979da
 257000000  08641dfc6b2da102
 257500000  195e16e2b2d1a1e9
 258000000  0940d650a7d5190e
 258500000  c37bf365d4cbdcd6
 259000000  18eba260f954908a
 259500000  0bc91a1fe1c75150
 260000000  5adae9a7512c911c
 260500000  a10da51616323767
 261000000  357e97c5becd3c9a
 261500000  99bb69af4a8ced9f
 262000000  12559edaebfc85cf
 262500000  808ff4bb7736c6b7
 263000000  0a6bb9307a474456
 263500000  d7fec8d8a2a8ab25
 264000000  723c0219cdc1aae2
 264500000  c57e5202d58b9b3f
 265000000  08ff87830e687f22
 265500000  609ef046f54d8172
 266000000  52e786fc227d3783
 266500000  6c8df3d4dadca679
 267000000  cf1dcfb0445b278c
 267500000  0e9ac5ced70c09cf
 268000000  6c271628a550b13a
 268500000  fdc3e47eac972aff
 269000000  5e04e26355eca21d
 269500000  b1dd12d0f6aa7e34
 270000000  dc9bd71d98135417
 270500000  ace071e9066ad934
 271000000  767eed2cc8e7d92b
 271500000  616d5fc46271ac89
 272000000  799296e5f018df1f
 272500000  f8564b888eba5d12
 273000000  05573d7cf587dc0b
 273500000  56a5045c89a4eef4
 274000000  93b7106b362afbcf
 274500000  a0a76efdf9addcf4
 275000000  ab5ed9f591e68a6b
 275500000  d115e78e76734245
 276000000  36f671d4adaab530
 276500000  a31b68583a50e9c5
 277000000  84b60f769a0f03c4
 277500000  315da4849ccfcc73
 278000000  e7fa72f7c1723122
 278500000  a1e065f810d28b82
 279000000  40908c6a4a8f1fd5
 279500000  5d53cf20100ed774
 280000000  e02b3fd2e5aa3c8f
 280500000  f23475bd35c02674
 281000000  8842cb1cf13e8e2f
 281500000  d0dc5bf8bfb19f37
 282000000  53b558568e93c342
 282500000  536078b1b0578305
 283000000  1cb6cb1544dc3ba8
 283500000  8835c953c76e51a9
 284000000  a8f44a823da9b36c
 284500000  57d7341c9680a628
 285000000  90a6128e98ed32f2
 285500000  4415ea5b4efc06c8
 286000000  92ae591d39c1ae28
 286500000  6bb7adbb5a85386a
 287000000  542cef9f5c6717f4
 287500000  b1b46cfd98b17e9d
 288000000  597f06c664e592a2
 288500000  78378164c53c7bd6
 289000000  988deda1548177de
 289500000  3cd71f545d412d14
 290000000  785c6085d206f717
 290500000  8f43e49f81ce1c73
 291000000  62eeba1b78312638
 291500000  8ba62e955b172e52
 292000000  c0729a223461426a
 292500000  d8cd14cbfdda362a
 293000000  10049cfcfd872912
 293500000  615e79016c60cc8e
 294000000  2c0efc26285246af
 294500000  01470aebb419e1ed
 295000000  1935489ac4845974
 295500000  4ff8450da872a416
 296000000  82e4bd0a14e390de
 296500000  0a159f3bddbc4d5f
 297000000  633342f762accdf5
 297500000  ffdcb62991d3440f
 298000000  109264aed56a99ea
 298500000  8c9609a203db2fd9
 299000000  8b2a69683b29e6d4
 299500000  134a2e31bc780f80
 300000000  bd324b45fbf03980
 300500000  ef4de40bfd4e3524
 301000000  51031af2801e6a04
 301500000  54a5194a700e1ed0
 302000000  835e639d73e2bda9
 302500000  a44e1b1fef4d03bd
 303000000  e8f4d7d00bf32868
 303500000  941a741e3154aac2
 304000000  173ffe343933053a
 304500000  11a882a9aaffb83e
 305000000  abfac93c76172c41
 305500000  6c5288367fb7ac3d
 306000000  768ba40fa83e5a77
 306500000  c04fba1b86849ca7
 307000000  d22123792df980a2
 307500000  71e2cc6905128fdd
 308000000  6170d2058f42ac0d
 308500000  fd1d72789da18121
 309000000  52ae6ff84a280f3d
 309500000  d6f0945059a380ea
 310000000  28f13efd75de8f00
 310500000  6b5dc4b627c0dcc4
 311000000  77f69ff51d94037d
 311500000  eb051da6601e5810
 312000000  c05dbc726517a312
 312500000  a629cf219abb7d70
 313000000  e36cb0d56316d8e0
 313500000  9bedc81824013906
 314000000  2f1958033072d41d
 314500000  c7c844688ddba878
 315000000  3849695de642151e
 315500000  009ce71629be3842
 316000000  56979825c61b278e
 316500000  b18dc9a2bc5206f3
 317000000  d75778d5b14f62ab
 317500000  dae5c17206ec0288
 318000000  8a524e2cc182c1d1
 318500000  60514ee77e731a95
 319000000  da8a26e98d2fb684
 319500000  59f4aa5fd6e14977
 320000000  80dfee6aa0861852
 320500000  cdcbd4566499dd1f
 321000000  c13327882255ac56
 321500000  b78510ecae2043e8
 322000000  29ff5eb36e283bb1
 322500000  4dd0be4464288ae0
 323000000  4a4c63fe575df00a
 323500000  73653a64f3e09938
 324000000  dc7de6c1b05f58b2
 324500000  a06b50ff5c98bc74
 325000000  641f6d9638619411
 325500000  38fba30a536cbc29
 326000000  200777794f93a75d
 326500000  8dd4b6985fdc9739
 327000000  b28f5c1c1777775b
 327500000  7c1000ceb9e82bd2
 328000000  4b58283a1379ede7
 328500000  1416f150c1be0609
 329000000  7278b9cdadd29b04
 329500000  b54eed518b385628
 330000000  a72c5e50bd512f23
 330500000  4bed1c21d0178003
 331000000  c0f4a41821247b9f
 331500000  b75c6e21f52a73b8
 332000000  399cab24fb21d6a7
 332500000  f76d98bbd6b1660c
 333000000  4d5d5ed1ed3b827a
 333500000  885016115ea28265
 334000000  420d69a008f107e2
 334500000  272882a676dc95d2
 335000000  672866ca5f78f25d
 335500000  6f2d0dd971ef65ec
 336000000  8417b1e30519c9f5
 336500000  7c7f2d06cd4a1623
 337000000  6e287bca475d75d1
 337500000  8cb73ef17a7c153e
 338000000  5a95bd6286a018c2
 338500000  706688a2de2c406c
 339000000  00f7aa8faec01ebe
 339500000  cdf1b77f57b6ad33
 340000000  87338f97837277db
 340500000  328933aafd15a135
 341000000  88fd489ea49c6edb
 341500000  771add902b66e788
 342000000  deb35ff11eaf26b3
 342500000  131017074024efdb
 343000000  eeed35c5e42aaa98
 343500000  7a7933351c32c35d
 344000000  0e15d4bd4a9e9462
 344500000  7eeb56dea61e8314
 345000000  900a95ac7d7a0552
 345500000  4380d5076a80a331
 346000000  517ce71f4ef2e7af
 346500000  f33bcc2981625cae
 347000000  3984b3f94bb02fa8
 347500000  251136fed7507496
 348000000  55c6ac7437e04cf6
 348500000  990b4c83b3d35a07
 349000000  4c336b3ae515d8d6
 349500000  3f5fc05c17c44f24
 350000000  d3c7b3468d283b52
 350500000  660bd19a6d032c2a
 351000000  512440c5e26666ab
 351500000  82396e7708cbe42f
 352000000  141e8f0fd1461c2b
 352500000  3a25de3aa849d5f1
 353000000  e7228d8c0458f41e
 353500000  b147fa0b70635854
 354000000  7300cf8166b4e48e
 354500000  bdeee808293e5945
 355000000  d710f7166940d030
 355500000  3eece34f976658a8
 356000000  3182e315ed10c47c
 356500000  8d083a25bb37fce2
 357000000  85a1b9d6baea0a12
 357500000  0948521ce8c4e1bb
 358000000  27dc91b7e335bf35
 358500000  fa97028ddcbc5aa7
 359000000  5fc45df2735c89f2
 359500000  dbca677985cb7b42
 360000000  f1ad54a30b5ccdfa
 360500000  ab7a28e18e620436
 361000000  5f5176336e89d55f
 361500000  a17b8bdd12f45deb
 362000000  0d8336873ae78e9a
 362500000  11a97fe3e6ab9e38
 363000000  090401e6fac9655d
 363500000  09d9bdd8e899d820
 364000000  fe3ab900efac42af
 364500000  ca44f9412e1c69c2
 365000000  6d3f06a69cd64d86
 365500000  cf1c7e1c882dbfaa
 366000000  80fdceb627127431
 366500000  c07ac0fa66390b43
 367000000  2e27c998a462b8d7
 367500000  389fe97c6d0f1acf
 368000000  6e8a58d19adf3a3b
 368500000  164acbde9ab359a8
 369000000  6fee513de8e46b80
 369500000  f2605b4131eaf103
 370000000  c2cdc4a20f4f8b05
 370500000  134d9451b8cb9828
 371000000  c7d14d6c824ea713
 371500000  eb6cbfb78cbd3f00
 372000000  8e89902d4803f961
 372500000  08d20a2268fa8718
 373000000  51b279c5d428b426
 373500000  90dc0f88b5e9ca06
 374000000  ac9d2adef1faa39b
 374500000  28aa0a9d5c63c4ec
 375000000  227f216d35444fcf
 375500000  78b6f120ef5ce0b3
 376000000  654c91c7d864e3d0
 376500000  313e9bafe551f6d9
 377000000  e62c2b86d542ea36
 377500000  11823a240f141737
 378000000  e4edd094d5192b34
 378500000  3772ba9ff564b9be
 379000000  1b976e71eb62f2cc
 379500000  365da0b8ffefd79b
 380000000  39000706f4cc1ddc
 380500000  18c8e462a5eea0d5
 381000000  0f889ec21b215ca3
 381500000  a39de7f7103c1e80
 382000000  3692592108881725
 382500000  8540d84533bf804a
 383000000  b29544a47c18c371
 383500000  4541c7726e3b1390
 384000000  23e45eb98d4bd53c
 384500000  9d315e9b075e1533
 385000000  3530867178724029
 385500000  f7c7e80e1b6223cf
 386000000  300efd0cfec2f56b
 386500000  040e657b0188afda
 387000000  9d9b2b360273c137
 387500000  ab5673d976430a3c
 388000000  9fb8b7233802acef
 388500000  2622fb94447e9741
 389000000  042c152c8b8c6b92
 389500000  5fe572dfcbab50c4
 390000000  f0d4e51bf0e88e1d
 390500000  d4bcb922aeda21aa
 391000000  1fc9d6112410b9b2
 391500000  feabbd408d1d979f
 392000000  3099763fba9e2595
 392500000  257c09489d0ef3c2
 393000000  ef4b8019cf422c98
 393500000  aab124f87b2cf777
 394000000  4f42cc9c33d440d2
 394500000  af802c926694cf56
 395000000  17a179e155541a66
 395500000  aa069fac65a91f23
 396000000  ad09afbc89b9195d
 396500000  5f8d7d61a9fd4e03
 397000000  16d0978d8a2a57e9
 397500000  ad1e14d7e353e113
 398000000  7fee4af85b962aff
 398500000  9baae8751a3201df
 399000000  7a8a56e32fd5a78b
 399500000  7575df0ddd44a54a
 400000000  794cb92fddb65ab7
 400500000  f7c871fcffda8e0d
 401000000  658e1497243d5edb
 401500000  11a7ad16d2e9292f
 402000000  cb8a40902a5b9ed9
 402500000  e7f99798c173b93e
 403000000  9c8d74b1fab6f502
 403500000  740d2cbee44c81d0
 404000000  547c81e5dfbc60e6
 404500000  ebb40f8f4755e015
 405000000  ed528011c3ce3165
 405500000  0d1aad95989d6174
 406000000  2fa8cfd1e48cf88e
 406500000  d3d8968e1a1f185f
 407000000  64e737ddd84b681f
 407500000  7a4e1e2bba0f90d0
 408000000  5b51892ea96a94a9
 408500000  dd51b6ea3b8f7ae3
 409000000  0733b58f0f8a23a3
 409500000  9674509b48a2c58e
 410000000  c2032dbafc471d05
 410500000  35e31edaa426fb6a
 411000000  c306c7e4890ec538
 411500000  27a87b5a3e4c69b2
 412000000  fb8b998eba8e9a3d
 412500000  255c0948edfc3337
 413000000  170d2f9ddd33b9c7
 413500000  3f41069f796e7dc5
 414000000  d14d31ddad61cb36
 414500000  baa79f40b283f683
 415000000  6eb6548819b11463
 415500000  00cafd981a3898e8
 416000000  566d27353c6306f0
 416500000  cf805bb4ac08a06c
 417000000  39cc59ff15aa6aa6
 417500000  06517f41a14edbfd
 418000000  24833d3832c37da1
 418500000  f0ea9a77141f5a29
 419000000  a4a862cb00c8df22
 419500000  38fa92eebc37c67e
 420000000  4e4ec274de8d6b25
 420500000  d3b06eadbaab61dc
 421000000  cd452b76b8bfde58
 421500000  a6b97f4e3a769b58
 422000000  0fbe5ff9a63c19d9
 422500000  6811d04a655f4e34
 423000000  f55290808fa1cfe5
 423500000  340182fd244d346a
 424000000  e5ba5ad7fdbd29ec
 424500000  75cbe54bbf609909
 425000000  d7d52ea202ad7238
 425500000  51449445509338b3
 426000000  5d6371c0a4e72835
 426500000  2d5fed5184eb1135
 427000000  bb541e3c1188c0fb
 427500000  1ae76df296741182
 428000000  a0b8b24073e48636
 428500000  6459757d73e7bfa7
 429000000  622c7eb2fcba2f58
 429500000  91edd520407a1d60
 430000000  947eda5e67145c83
 430500000  d476c1eb3932f09d
 431000000  ff3e0e1aa61d92aa
 431500000  c5bc177ed56c0e3b
 432000000  5c545b8bea80a66a
 432500000  a5270bb0c732e951
 433000000  d69742e55c1e6c73
 433500000  4330e335c3870670
 434000000  36dced3b30d4af46
 434500000  0de192222215ea17
 435000000  72f1de587befd830
 435500000  3a10e29fd4294b8a
 436000000  81e0bc4731b40124
 436500000  e22af785b1b8dab0
 437000000  cfff569d4baec4bd
 437500000  2699d25d7df2d61a
 438000000  dccd1d245d4de4d3
 438500000  1278a8d9fd34b806
 439000000  2bb94f6fcb0f8cce
 439500000  c8439efb5a4e4a0a
 440000000  d1081c495e69f68b
 440500000  3fbbeee31c31e6f2
 441000000  9557832a3354a055
 441500000  5e8a0e9b080dd8fa
 442000000  5c4c15b7514017d4
 442500000  b7d41caaf99062b0
 443000000  6f294b828ae1dafd
 443500000  ae5d193679a9f9c8
 444000000  784eca1f1eca4859
 444500000  fa4181a81506f4aa
 445000000  5e661108b62a0e1f
 445500000  310b951d58377efd
 446000000  e94098922fad3f7b
 446500000  743f5f6a0839b1ec
 447000000  3e3d7aa3a9cf7ef3
 447500000  82a194a09f709aeb
 448000000  862bd36d29004211
 448500000  6f59b6321f4ef05d
 449000000  f72915565378406a
 449500000  47325b81b5792189
 450000000  e207db21d587ef33
 450500000  42db55831ac8c9d7
 451000000  26ed328991cb352f
 451500000  a4371e2afb3d6ea6
 452000000  3ba84a5a8287b5ab
 452500000  f319114c934ebfbf
 453000000  3d8ce9130235918b
 453500000  0f72626d8795df85
 454000000  270d22c58130a2bb
 454500000  7b7d2e2cdae9c3e8
 455000000  f1881ecaba8c4eca
 455500000  9e34c29cbd62d4ef
 456000000  dfa4f6d4e4d8b1a2
 456500000  9907c239bb6ce797
 457000000  427c191b536b24f0
 457500000  01f34b1d75962a44
 458000000  d91e0b3fed0f4386
 458500000  1bf3b9314dac8323
 459000000  e1cb34d1120d9b02
 459500000  6d9420ded991e822
 460000000  043112e715d248e4
 460500000  63d3d52131dca7a2
 461000000  71b0d8538ca22cb5
 461500000  63ccf192bec6fe26
 462000000  0663339c30b30922
 462500000  b73c58d740c75640
 463000000  72aa8b5a1d14641c
 463500000  9da88bb7e751736b
 464000000  b0b4605cd10a6694
 464500000  853433394d317199
 465000000  d23749fde6918970
 465500000  165a9e40f64bf127
 466000000  90cf47cf03337a66
 466500000  560583d3885770c2
 467000000  a89c56a69a50cb4d
 467500000  81765e8ee4ffc72a
 468000000  3ef73e4850814d2d
 468500000  c3c3109e207a9902
 469000000  033b1c6454f6ae07
 469500000  4ee7bead3bef3fd3
 470000000  6dd415ee3c30cf3a
 470500000  5bd9f5b5d829f156
 471000000  4a460dca61a271ea
 471500000  2373816db7feb364
 472000000  537aef38bb0a2ee6
 472500000  9c5b63ca8ae3641e
 473000000  5446eba67734f8a9
 473500000  fa11e293586513ea
 474000000  84051c9504af1e35
 474500000  4418d494d4a284ae
 475000000  0de671c6e802c2e2
 475500000  f30bb9100d5d9775
 476000000  f207659141a00a7e
 476500000  d5288ffb96fda151
 477000000  2913c8e5d6e44b73
 477500000  c5fb59a757af1d86
 478000000  57070db97be437f8
 478500000  83435824def0d17c
 479000000  1aacf075df98d97c
 479500000  b67564f1d0d3ef36
 480000000  88e1ca6237647889
 480500000  4dc84944be197250
 481000000  b9305aa058dfbad8
 481500000  a3109bdd0723d219
 482000000  7db8ca0ecd063e1b
 482500000  4cc97c3531265be4
 483000000  87e10bfa2061b896
 483500000  55a11b2bd726c7c7
 484000000  d8bc71b9fee1a153
 484500000  f113e716464b8d55
 485000000  41829e866ce09d23
 485500000  796fd0ff64dbe7b6
 486000000  190911d943063ed6
 486500000  eadf46e777516f4e
 487000000  cd761d871b0ead66
 487500000  efc6700d011d9e0f
 488000000  890bc97fb3b83674
 488500000  6222fa9a1069b053
 489000000  3301575ba622a164
 489500000  503b15eb5c69b697
 490000000  9695fee33fff458f
 490500000  2e187c0c1500cd5f
 491000000  94dc649c58761fd6
 491500000  196964f758cd1d9a
 492000000  16fdfc03de4aab57
 492500000  dcafb84b892fdcab
 493000000  f1b4c6c35420b3cf
 493500000  551c7ffc7733a0ae
 494000000  d408682f8d1839cc
 494500000  ffef7c783183fecc
 495000000  02597db09b2f698c
 495500000  ff4f519d7154f683
 496000000  af022f74482490f1
 496500000  670848e4fa710c78
 497000000  6715aeebfc55a30f
 497500000  36e57fc958cbb836
 498000000  757e5a14edc2ccb6
 498500000  34b34a85a5eb4511
 499000000  0d206a63a2800127
 499500000  ac2d34bc02960d2b
 500000000  3bada2e29f978dfc
 500500000  0e9e4c628b05bd8f
 501000000  97b4b4af41420790
 501500000  5076ee2cc0051aae
 502000000  513a90dccdc973b6
 502500000  1aca7694880d161d
 503000000  e6630fa6531dc5b8
 503500000  04c8d2a2c738ae55
 504000000  c0c05058b0bdbb1d
 504500000  3d2972d0303ef73f
 505000000  6f4f242e5dc2bb2a
 505500000  338bb51df499ad76
 506000000  d0e90304de620307
 506500000  22278d604d60bc90
 507000000  e0f83cc5511c3822
 507500000  6bf559fa4331e3e3
 508000000  0d28e3de574b09e4
 508500000  859a3225e1ccad77
 509000000  3b3a006698b30ed3
 509500000  faede156fc5d2151
 510000000  58fb0d89fbcc7f90
 510500000  3851a2d0f820c5fc
 511000000  1ff5636bd4689bdd
 511500000  f60056afe7207ae1
 512000000  fdee971d59023750
 512500000  abea57d668c269bb
 513000000  9e43470e1039ed92
 513500000  5c2d793fa657e0de
 514000000  a2be28837bf782dd
 514500000  c8c426d0ecb12f11
 515000000  eeaa2577e439310f
 515500000  ba023b3c1652ed58
 516000000  e2afc61b615986eb
 516500000  583e132a652e0087
 517000000  359f2bdf44a731f1
 517500000  0b4e832c3fbffc23
 518000000  d2fee279b736e7aa
 518500000  0e677ff516709aa6
 519000000  06d82068ddfe6e66
 519500000  06b52cde54648cc9
 520000000  25c25a0ab0e63c8c
 520500000  97db93feb5b2f308
 521000000  93c87e410c799970
 521500000  d24724c9f515c007
 522000000  a80e124933965265
 522500000  e49e99baace0a909
 523000000  c577e675f2e76898
 523500000  1b423739ae22c2ce
 524000000  d05e2d281647e4ae
 524500000  298edc2c2088f912
 525000000  fffb7adc6395946d
 525500000  941bca5c6a0b9edd
 526000000  fb38cecb66c7294d
 526500000  75ed2b8187415d01
 527000000  5d387014280e1322
 527500000  0b709be3e26d4e52
 528000000  24d1feed652cd49b
 528500000  9ed13678fbbad494
 529000000  87ad1c9971cb3acc
 529500000  d1394ea33d8e42a8
 530000000  b57cc0764d745a2e
 530500000  d4c4c61f6e7478e8
 531000000  f424ea19b606bdb9
 531500000  9f655ce8965b6c75
 532000000  efcb7009e576e594
 532500000  c761fe7a77d78084
 533000000  c7a9fe7c1b16409d
 533500000  e52c3f15af0f5df9
 534000000  37eca6f247563eeb
 534500000  15cb293e885e8d1a
 535000000  0076007dd7f75437
 535500000  33193ebea5383d60
 536000000  2bd6fcce4a396af0
 536500000  8c7237705a15d20d
 537000000  443c268ce5dcdef5
 537500000  4ae4bbd5403a4aeb
 538000000  5fca5cdca5f2bc73
 538500000  cccb385c326e1003
 539000000  98aecd00ee6fd16e
 539500000  578a912f7a952439
 540000000  24171c40c0403515
 540500000  ed34d4f09f420a4b
 541000000  0466b95336f245ce
 541500000  19ef9dc8c35ac99e
 542000000  5f57976c0eb69a04
 542500000  3e3270a0a06a585d
 543000000  e06bb2332926a0ed
 543500000  a8ed951b182ad8f3
 544000000  da83863ded582a85
 544500000  009b5ce9b06e1cae
 545000000  98f60798ffdd5cd4
 545500000  12891d448622aaf9
 546000000  5aaac19978436786
 546500000  fdb26dfd3009ac3d
 547000000  b3895ac4b93d7e8d
 547500000  0d25e2ded96d6483
 548000000  f5b605607f946e7e
 548500000  447488fbd780130c
 549000000  1faf7c30c2500d04
 549500000  63d9671d6ef7e222
 550000000  7795b787ebe70263
 550500000  48439251e7bbf741
 551000000  4dfee32b50eccb6c
 551500000  070f7067f79d2834
 552000000  72dc8be21ec9f379
 552500000  cfa8fa96bfe25796
 553000000  fb4d1356a2bebe5c
 553500000  78775f3fe4b6be27
 554000000  7af6c7297cc738d0
 554500000  180a1d9017ec5bb1
 555000000  e5fed79764af56d1
 555500000  e8233f5190656762
 556000000  705795db33795072
 556500000  7e18878732f10823
 557000000  bcc7aa69b54b195c
 557500000  5126b10a81449a22
 558000000  6e4eedf52fcff6a5
 558500000  39e6b46a5418101a
 559000000  5ee0045019bbbffc
 559500000  b55a7482a6d28ca6
 560000000  b3e1d151fc6ce2d3
 560500000  4da0a42e459870a8
 561000000  452b72a666053a77
 561500000  bb55e72bda162b77
 562000000  5fedf1a249fb19c3
 562500000  c635be4e26e7a710
 563000000  827130e6f63fe7df
 563500000  1550d6006d5b3201
 564000000  3728c2186313c78f
 564500000  64472a0943b4bdb3
 565000000  cfe3994f3006f4bb
 565500000  ffbbc573cdd1fbc8
 566000000  1f1cc72c0644b54d
 566500000  a5b168f7841d0639
 567000000  c390c925b96ad339
 567500000  0a729b5c815f0872
 568000000  aef4d7b79f880003
 568500000  02a07b0319096ac5
 569000000  54c83354c54a0d02
 569500000  e1b2d9775658c451
 570000000  b3a06f23911cbd0a
 570500000  ce46659c3ed81a0b
 571000000  26d605fd55ce75a6
 571500000  270f0ee087dc4ab1
 572000000  ddb589b135d5fa9b
 572500000  7b113f56577c77af
 573000000  887b2467ad310020
 573500000  64cc48229ae890d5
 574000000  0b5ad40a8c9dba96
 574500000  bcb2b739feeccf20
 575000000  c55d5f89f366d565
 575500000  9e1826dd8c43a929
 576000000  2235f68d5595d90c
 576500000  bd52f299eb618daa
 577000000  b56c678451073ede
 577500000  6afae8e731fcb281
 578000000  860770b9908bffaa
 578500000  be626914ed847e0f
 579000000  0a5f358d127b9303
 579500000  d8af2dee0a60be5a
 580000000  c9a15ffe86270bf2
 580500000  a212cfef8c0ff148
 581000000  a8d351f113812360
 581500000  3e8f9cbdc7ae437c
 582000000  01175c44aefdde73
 582500000  6af3fa9baf8e70d1
 583000000  d682a661cfdf3d95
 583500000  b3b0067159cb93a2
 584000000  b22fb534dc5e3638
 584500000  61010c4d3b22302d
 585000000  7d8bc429f6fb90df
 585500000  6796437879bf43c5
 586000000  c94ca5287f8848cc
 586500000  3618509dd5c93905
 587000000  7ffee68695c86746
 587500000  514de04f4fecb649
 588000000  5d32565ec17aef3e
 588500000  e67d43863d72722a
 589000000  73483ef0204b56a3
 589500000  53b222287b4b77df
 590000000  2117a720571e14e6
 590500000  052d17b6a3beaa76
 591000000  e2e78362719bdac1
 591500000  29ac3e1fa038ab6c
 592000000  44dd97be409968c3
 592500000  2c37f563cfc52a3b
 593000000  5129448d80ef3b63
 593500000  ef2e53c071763648
 594000000  ae6008b7e710aaea
 594500000  151d9767b66fdb98
 595000000  0a9bccb3e3bd9517
 595500000  01e41baaf50cac6b
 596000000  d5bd484a76fd3459
 596500000  a9e1518356b081d6
 597000000  a83491ea94fdf232
 597500000  548c50e792e92709
 598000000  ced60cf0c89c9478
 598500000  75d502b48b5c73c9
 599000000  fa9997962231ab62
 599500000  541ec72e1dde03c1
 600000000  9599407393d9619a
 600500000  f2747751459d2ccc
 601000000  10deb042d859cf82
 601500000  dd40ed6353f1bcdc
 602000000  3da7bad03cd0fc6f
 602500000  ac3e9d4dc075b70e
 603000000  ba129d4f8f3c3c7e
 603500000  11b22811105641b6
 604000000  8575b88f71b90d34
 604500000  f5c8cb9649f4ab47
 605000000  910eb01aceafaeac
 605500000  98748556d0982110
 606000000  87ef0f8105c4547e
 606500000  d5bec42b3a8f0e40
 607000000  085ed413d1b8644f
 607500000  3b0cade0b4270f41
 608000000  cbd06d83311ccc45
 608500000  1dd14cced5fd7f2a
 609000000  cf8546fd287e58f8
 609500000  079d26f5d200ddd6
 610000000  a093dc000ae69ccd
 610500000  bf209b42803fc19a
 611000000  7aa246c3b36d0a20
 611500000  fc5d727aab4b94a7
 612000000  4ee9ef734190bfd6
 612500000  3901a56f0c2c1c38
 613000000  52d77f49f9a01d1e
 613500000  b01b5a45a94c42a5
 614000000  063afa5bc8c2d02a
 614500000  8e5a9190f75f702d
 615000000  ac15b43ef6749e2f
 615500000  7d0a7193bad4f1df
 616000000  6221c9cd7ee6ee40
 616500000  5f32e16d14f36895
 617000000  475921a93df2a842
 617500000  23f68f4a46eb5208
 618000000  a21e848e8d2d0fa7
 618500000  d93c5af9f4a91575
 619000000  34808ab4eb2d901d
 619500000  6fed2898a61b7e34
 620000000  8d9a7da4cb8bdb68
 620500000  b0855c80f3194c5b
 621000000  b422acfa1248d3b0
 621500000  9f781a95dbba63c9
 622000000  4ec2a05a0f42a9ed
 622500000  0dac12dc144aab65
 623000000  3db656509b1bacad
 623500000  ada97b640ff9b325
 624000000  d363e6bd21fb9320
 624500000  4a2293fb9c61aec7
 625000000  8b917b4211b33c56
 625500000  dd10098e951d7b3b
 626000000  cd252d17473246a6
 626500000  572f4be6997bbadf
 627000000  90c40be3ca15c017
 627500000  0cc38cd2728f3028
 628000000  a5668727b67af6ee
 628500000  bb3da42cdf793d9c
 629000000  e1ce8a738c0e0865
 629500000  42e6eea2b4500b99
 630000000  7bfa7db2162a3cbd
 630500000  5b3a8c1252e2d9a4
 631000000  745a73182f5d3da5
 631500000  9b6711423458b6b6
 632000000  47e59b1fbfcdd23a
 632500000  338ceb3c9128f787
 633000000  d2ccd307f95592fd
 633500000  619ac24786dc5a0c
 634000000  21c1c0e8c3c60cfc
 634500000  f19f61214b465571
 635000000  0295d5f068588361
 635500000  acb264ba2eeede13
 636000000  06f8ffa8a8f3690d
 636500000  48f9c819289e84de
 637000000  9be6e92e1bd1b35f
 637500000  efb5f239313b93f8
 638000000  c5b9bcd07439d82c
 638500000  e4b95ec0b996fea8
 639000000  4bd289fdbaab399a
 639500000  43834231cd96519f
 640000000  0f3df4052dab4b55
 640500000  2a2078dc53cbd83b
 641000000  4b5818612ff0ce6b
 641500000  1e1b9d2d390c93e2
 642000000  0a180d371bf7cefe
 642500000  1272d199f9e1a6de
 643000000  8248a637a8249a9c
 643500000  e4f5ad3ea48cc54a
 644000000  3a7c802e0d0bfdd7
 644500000  0aba98754695cfb5
 645000000  e51a471ec5f03403
 645500000  87a1b167c32ddc34
 646000000  a97e5c6f260bbf2a
 646500000  6649c3880d1966b3
 647000000  f311cf4e4cdad84d
 647500000  dec441d2b864c69d
 648000000  f7195dab8bf9e2e2
 648500000  57b7334bb1ba1a00
 649000000  192b0745f1963ece
 649500000  197d68100b916888
 650000000  478ae32980939b28
 650500000  074a88f84946b887
 651000000  14ba6d213a958296
 651500000  32638118ee8debdd
 652000000  dd5253942a44e842
 652500000  eaf81e6891341dfb
 653000000  47cb50dba6057db8
 653500000  c53c358f829abae9
 654000000  2bced0226687cfb5
 654500000  39da7f8ce7f3c306
 655000000  db69ba0a789c41a7
 655500000  aa587d785ebbc96c
 656000000  45eb6679bce16da1
 656500000  42fbd3ab573cc7b8
 657000000  e3cf9ddcece8dcea
 657500000  0b38434480b3de9e
 658000000  3eed3375065b1bcf
 658500000  13008e2d24879b72
 659000000  e31edf4d08604714
 659500000  6d3140ef4b76a52d
 660000000  5ac4ac92b43c18ec
 660500000  b23207f23f3dcab9
 661000000  f059b92f5c147b0e
 661500000  82324598ab3727e0
 662000000  d2ac9e05b5321678
 662500000  f498b8205d759392
 663000000  a16e75cc940b27d2
 663500000  fcfc03ef9f2cb8f8
 664000000  9a795b1ce85a6c7a
 664500000  7688d138573e929a
 665000000  ce77bb754c951b85
 665500000  2bcd0c46b2df7519
 666000000  eab014a869012b7f
 666500000  44bdec8926fc9134
 666600000  c1a132d82fc59643
On the funny side, the "credit" worth is about 21k GHzDays, and for both tests I just got ~42k totally, jumping from position 333 ( this is half of 666) over 100 positions, to 227, in the first LL lifetime top. PrimeNet, who has no idea of the fact that it took me 3 years to get that done, is telling me that if I report such results every day, I will overtake Chuck Norris CurtisC in two months or so, haha...

On to better things... Let's see how can we finish one of these tests (with DC, of course) every day, without investing few million bucks in hardware...

Last fiddled with by LaurV on 2019-06-08 at 02:06
LaurV is offline   Reply With Quote
Old 2019-06-09, 19:37   #2
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

10001001000112 Posts
Default Yeah!!!



Now what?
petrw1 is offline   Reply With Quote
Old 2019-06-10, 01:23   #3
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

2×33×132 Posts
Question

This reminds me the old fun and games with all p candidates that "look like binary".

There are not so many 9-digit primes like these
100100111
100111001
101001001
101001011
101100011
101101111
101111011
101111111
110010101
110101001
110111011
111000101
111001001
111010111

... and for which all but four iirc Mp had small factors. The four were already tested.

Now it's time to test the ten-digit binary-looking p Mp's?!
Some quick factoring will clearly leave only half a dozen of these.

A person who likes M666666667 should predictably like my idea. I give it away for free.


Here are the twenty-nine primes, to start the elimination:
Code:
1000011011 77-bit
1001010011 77-bit
1001110111 76-bit
1010000011 81-bit
1010011111 76-bit
1010100011 76-bit
1010110001 76-bit
1101001001 76-bit
1101010111 76-bit
1101110011 76-bit
1111011101 76-bit
1111100101 76-bit

1000001011 = 11537451664351841
1000010101 = 6000060607, 102017169575021150111
1000110101 = 2598076019276791
1001000111 = 38959710243345150319
1001001011 = 21143143354343
1010000111 = 322474275700238287
1010001101 = 6060006607    
1010010011 = 5545108481911673
1010111111 = 2020222223, 1027057823291846991401
1011000101 = 428823823186708230487
1011110011 = 17304023483932769
1100001101 = 226600226807
1100010001 = 6600060007
1100101111 = 64644141484583
1110011101 = 6660066607
1110110011 = 91029020903, 195358245423370759
1111110001 = 1999162514748069280903
Batalov is offline   Reply With Quote
Old 2019-06-10, 02:55   #4
axn
 
axn's Avatar
 
Jun 2003

7·11·61 Posts
Default

From mersenne.ca
Code:
1000001011 has a factor 11537451664351841
1000010101 = 6000060607, 102017169575021150111
1000011011
1000110101 = 2598076019276791
1001000111 = 38959710243345150319
1001001011 = 21143143354343
1001010011
1001110111
1010000011
1010000111 = 322474275700238287
1010001101 = 6060006607	
1010010011 = 5545108481911673
1010011111
1010100011
1010110001
1010111111 = 2020222223, 1027057823291846991401
1011000101 = 428823823186708230487
1011110011 = 17304023483932769
1100001101 = 226600226807
1100010001 = 6600060007
1100101111 = 64644141484583
1101001001
1101010111
1101110011
1110011101 = 6660066607
1110110011 = 91029020903, 195358245423370759
1111011101
1111100101
1111110001 = 1999162514748069280903
axn is offline   Reply With Quote
Old 2019-06-10, 13:09   #5
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
Jun 2011
Thailand

2·3·31·47 Posts
Default

Ha! Shiver me timbers, when only one left with no known factors, that lucky one may tickle me fingers... aaa Titans... aaa meantime we may buy some Vee's or whatever better toy pops up, it should be about 4 times faster, to keep the time frame in the same ballpark...





(Thanks Serge, now I can't sleep well for a while, because of you!)

Last fiddled with by LaurV on 2019-06-10 at 13:12
LaurV is offline   Reply With Quote
Old 2019-06-10, 13:35   #6
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
Jun 2011
Thailand

100010001001102 Posts
Default

Quote:
Originally Posted by petrw1 View Post


Now what?
I got it, I got it, hehe, yes, I will TF in your range for a while, just let me finish this one (ETA tomorrow for both LL+DC), and I will switch two GTX1080Ti to your range, as promised. What range was that, by the way? (sorry, aging...)
LaurV is offline   Reply With Quote
Old 2019-06-10, 13:39   #7
lavalamp
 
lavalamp's Avatar
 
Oct 2007
London, UK

1,307 Posts
Default

Quote:
Originally Posted by Batalov View Post
Looks like this one could still use a double check.
lavalamp is offline   Reply With Quote
Old 2019-06-10, 13:55   #8
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

246216 Posts
Default

Quote:
Originally Posted by LaurV View Post
I got it, I got it, hehe, yes, I will TF in your range for a while, just let me finish this one (ETA tomorrow for both LL+DC), and I will switch two GTX1080Ti to your range, as promised. What range was that, by the way? (sorry, aging...)
Wayne and I are coordinating this with GPU72... Set your MISFIT to DCTF, Option Type #5 (probably shows up as "No P-1 done" in MISFIT). You'll currently get 41M work to 73.

Thanks!
chalsall is online now   Reply With Quote
Old 2019-06-10, 14:22   #9
petrw1
1976 Toyota Corona years forever!
 
petrw1's Avatar
 
"Wayne"
Nov 2006
Saskatchewan, Canada

112316 Posts
Default

Quote:
Originally Posted by chalsall View Post
Wayne and I are coordinating this with GPU72... Set your MISFIT to DCTF, Option Type #5 (probably shows up as "No P-1 done" in MISFIT). You'll currently get 41M work to 73.

Thanks!
Maybe I have a different version of MisFit or maybe the WinBlows version is different than what you use...

I set MisFit:
Operations
Configuration Editor
Work Fetch
… Work Source: GPU
… Type: Double Check Tests
… Preference: What Makes Sense (and Specify the range) OR Let GPU72 Decide
petrw1 is offline   Reply With Quote
Old 2019-06-10, 14:33   #10
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2×4,657 Posts
Default

Quote:
Originally Posted by petrw1 View Post
Maybe I have a different version of MisFit or maybe the WinBlows version is different than what you use...
That's because I have special code in the DCTF assignment code path for you, giving your two cards work in the ranges you request me to.

For "regular" users if they choose anything except "P-1 already done" (in MISFIT; this has been changed to "Double Check already done" on the GPU72 web form) they will be given DCTF work. As in, DC candidates not already proven composite by way of a successful double-check.
chalsall is online now   Reply With Quote
Old 2019-06-10, 17:09   #11
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

37·233 Posts
Default

Quote:
Originally Posted by chalsall View Post
That's because I have special code in the DCTF assignment code path for you, giving your two cards work in the ranges you request me to.
I noticed that your spider has picked up some of the strategic triple check exponents listed here: https://mersenneforum.org/showpost.p...70&postcount=3
I understand that they are in the DCTF range. Some of the numbers in that post are below the DCTF range. I was just wondering how easy it would be to feed these numbers (both the low ones and the others needing a TC) out to those doing DCTF ahead of the normal wave of DCTF? Your time is yours and I respect if you choose not to even think about this. Theoretically there is no justification for giving them any priority above the run of the mill DCTF.
Uncwilly is offline   Reply With Quote
Reply

Thread Tools


All times are UTC. The time now is 20:45.

Sun Sep 27 20:45:12 UTC 2020 up 17 days, 17:56, 0 users, load averages: 1.64, 1.82, 1.73

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.