user=Sloth [2010-10-11 00:01:31] 531*2^910939-1 is not prime. Res64: 6FC6A3FD8B872D3A Time : 0.0 sec. user=Sloth [2010-10-11 00:01:44] 425*2^910940-1 is not prime. Res64: AB8F66F4275D2C8C Time : 0.0 sec. user=Sloth [2010-10-11 00:19:23] 437*2^910940-1 is not prime. Res64: E89E7C73012C9410 Time : 0.0 sec. user=Sloth [2010-10-11 00:19:35] 473*2^910940-1 is not prime. Res64: AE78D6D75B17384C Time : 0.0 sec. user=Sloth [2010-10-11 00:37:28] 539*2^910940-1 is not prime. Res64: D85FBB70D26CE710 Time : 0.0 sec. user=Sloth [2010-10-11 00:37:34] 599*2^910940-1 is not prime. Res64: 4EACFADD30705CE6 Time : 0.0 sec. user=Sloth [2010-10-11 00:55:19] 459*2^910941-1 is not prime. Res64: 7323E7BAD6C9E5D2 Time : 0.0 sec. user=Sloth [2010-10-11 00:55:26] 565*2^910941-1 is not prime. Res64: 68D064CE67845F4C Time : 0.0 sec. user=Sloth [2010-10-11 01:13:11] 401*2^910942-1 is not prime. Res64: 5EB01DD4CE1BEE94 Time : 0.0 sec. user=Sloth [2010-10-11 01:13:18] 423*2^910942-1 is not prime. Res64: A9AA201F7AAE2B7D Time : 0.0 sec. user=henryzz [2010-10-11 01:15:25] 593*2^910922-1 is not prime. Res64: 668B1A4A72B0814F Time : 0.0 sec. user=henryzz [2010-10-11 01:18:56] 525*2^910922-1 is not prime. Res64: F248D23E6B4C07CD Time : 0.0 sec. user=henryzz [2010-10-11 01:19:27] 583*2^910923-1 is not prime. Res64: F25D5EEB4466AB5E Time : 0.0 sec. user=henryzz [2010-10-11 01:28:15] 591*2^910923-1 is not prime. Res64: EB6F854CAEEB7078 Time : 0.0 sec. user=Sloth [2010-10-11 01:31:05] 471*2^910942-1 is not prime. Res64: 980E7152A5A26D98 Time : 0.0 sec. user=Sloth [2010-10-11 01:31:12] 447*2^910944-1 is not prime. Res64: 445B9692B81EAD5F Time : 0.0 sec. user=henryzz [2010-10-11 01:33:24] 569*2^910944-1 is not prime. Res64: EA16A951764E8341 Time : 0.0 sec. user=henryzz [2010-10-11 01:36:00] 471*2^910945-1 is not prime. Res64: 8B63B47A52D6C973 Time : 0.0 sec. user=henryzz [2010-10-11 01:37:40] 481*2^910945-1 is not prime. Res64: 414D4D6DEAFD5FBE Time : 0.0 sec. user=Sloth [2010-10-11 01:48:57] 499*2^910945-1 is not prime. Res64: 6EADA420D564FFF0 Time : 0.0 sec. user=Sloth [2010-10-11 01:49:04] 565*2^910945-1 is not prime. Res64: 03C62AF137AF22EE Time : 0.0 sec. user=Sloth [2010-10-11 02:06:50] 503*2^910946-1 is not prime. Res64: 14DF75AE29490DDD Time : 0.0 sec. user=Sloth [2010-10-11 02:06:56] 551*2^910946-1 is not prime. Res64: 1ED5299D086FCE03 Time : 0.0 sec. user=mdettweiler [2010-10-11 02:10:04] 453*2^910946-1 is not prime. Res64: 2BCE52D541E6C471 Time : 0.0 sec. user=mdettweiler [2010-10-11 02:10:04] 477*2^910946-1 is not prime. Res64: A5898289BF38CC45 Time : 0.0 sec. user=Sloth [2010-10-11 02:24:45] 563*2^910946-1 is not prime. Res64: E3C0C1D9BF9DF975 Time : 0.0 sec. user=Sloth [2010-10-11 02:24:51] 465*2^910947-1 is not prime. Res64: 6CB6F3747916667E Time : 0.0 sec. user=mdettweiler [2010-10-11 02:40:27] 469*2^910947-1 is not prime. Res64: F2219562E464C19E Time : 0.0 sec. user=mdettweiler [2010-10-11 02:40:27] 489*2^910947-1 is not prime. Res64: FF3A74B13B027B39 Time : 0.0 sec. user=Sloth [2010-10-11 02:42:36] 513*2^910947-1 is not prime. Res64: F7F4404556D0D4EC Time : 0.0 sec. user=Sloth [2010-10-11 02:42:43] 553*2^910947-1 is not prime. Res64: 53BD3A38ED34FBAE Time : 0.0 sec. user=Sloth [2010-10-11 03:00:28] 445*2^910949-1 is not prime. Res64: CB3E513C8E85D21D Time : 0.0 sec. user=Sloth [2010-10-11 03:00:35] 507*2^910949-1 is not prime. Res64: B5C4D34995E20A00 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:10:17] 495*2^910948-1 is not prime. Res64: 9AB7C2DDF83D2D99 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:10:17] 513*2^910948-1 is not prime. Res64: 2CF76583BDF2C64D Time : 0.0 sec. user=mdettweiler [2010-10-11 03:10:47] 527*2^910948-1 is not prime. Res64: 1805678AECA2E079 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:10:47] 537*2^910948-1 is not prime. Res64: 0FFD4BE51972A8BE Time : 0.0 sec. user=mdettweiler [2010-10-11 03:12:43] 569*2^910948-1 is not prime. Res64: B7B282BD5CC55A6E Time : 0.0 sec. user=mdettweiler [2010-10-11 03:12:44] 417*2^910949-1 is not prime. Res64: 8F304BC882975F74 Time : 0.0 sec. user=Sloth [2010-10-11 03:18:20] 431*2^910950-1 is not prime. Res64: 9BD4BDB89597E1EC Time : 0.0 sec. user=Sloth [2010-10-11 03:18:27] 437*2^910950-1 is not prime. Res64: AA15EF40406D5B20 Time : 0.0 sec. user=Sloth [2010-10-11 03:36:11] 573*2^910951-1 is not prime. Res64: 1A05440E81608094 Time : 0.0 sec. user=Sloth [2010-10-11 03:36:34] 405*2^910952-1 is not prime. Res64: 479E443C41C279CB Time : 0.0 sec. user=mdettweiler [2010-10-11 03:40:41] 473*2^910950-1 is not prime. Res64: 0F9EDF908A3D9EF7 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:40:41] 513*2^910950-1 is not prime. Res64: 3C05788B3655E498 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:41:08] 421*2^910951-1 is not prime. Res64: CDFE15B6EA2CE40E Time : 0.0 sec. user=mdettweiler [2010-10-11 03:41:08] 423*2^910951-1 is not prime. Res64: 3531464A7941B429 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:43:08] 441*2^910951-1 is not prime. Res64: 30668B3D5EE5CD3D Time : 0.0 sec. user=mdettweiler [2010-10-11 03:43:09] 483*2^910951-1 is not prime. Res64: 008D079767D4F968 Time : 0.0 sec. user=Sloth [2010-10-11 03:54:03] 571*2^910953-1 is not prime. Res64: 0FB518C523F75C95 Time : 0.0 sec. user=Sloth [2010-10-11 03:54:25] 453*2^910954-1 is not prime. Res64: 171788931E15FA6B Time : 0.0 sec. user=mdettweiler [2010-10-11 03:58:20] 495*2^910952-1 is not prime. Res64: 3BA0A7E0151D9E32 Time : 0.0 sec. user=mdettweiler [2010-10-11 03:58:21] 593*2^910952-1 is not prime. Res64: 394C9D5F1B051BD9 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:11:07] 513*2^910954-1 is not prime. Res64: 77482B26E78B00C2 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:11:07] 561*2^910954-1 is not prime. Res64: 0B20520414027CDC Time : 0.0 sec. user=mdettweiler [2010-10-11 04:11:32] 459*2^910955-1 is not prime. Res64: 7E26A8A448C736CB Time : 0.0 sec. user=mdettweiler [2010-10-11 04:11:32] 469*2^910955-1 is not prime. Res64: F54FA95C172950BC Time : 0.0 sec. user=Sloth [2010-10-11 04:11:56] 485*2^910956-1 is not prime. Res64: F7FC9EEA5D9210A9 Time : 0.0 sec. user=Sloth [2010-10-11 04:12:18] 497*2^910956-1 is not prime. Res64: 21B521D004159273 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:13:38] 437*2^910956-1 is not prime. Res64: 1F1B5E1A57E664F3 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:13:39] 483*2^910956-1 is not prime. Res64: 2FB8FC2ED93520B6 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:28:44] 537*2^910956-1 is not prime. Res64: 0C0E8C9DB1FA654B Time : 0.0 sec. user=mdettweiler [2010-10-11 04:28:44] 563*2^910956-1 is not prime. Res64: C14178F70DF03A0B Time : 0.0 sec. user=Sloth [2010-10-11 04:29:47] 441*2^910959-1 is not prime. Res64: B24D506FE85A74E4 Time : 0.0 sec. user=Sloth [2010-10-11 04:30:09] 549*2^910959-1 is not prime. Res64: E5900C3DC194CA61 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:41:36] 429*2^910957-1 is not prime. Res64: 3929501202A9BA9D Time : 0.0 sec. user=mdettweiler [2010-10-11 04:41:36] 437*2^910958-1 is not prime. Res64: 8CCF81E2A09506F8 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:41:58] 545*2^910958-1 is not prime. Res64: 559592A740B3C496 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:41:58] 415*2^910959-1 is not prime. Res64: 6D1934B10F07A409 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:44:01] 449*2^910960-1 is not prime. Res64: C6729AA90BE88E2E Time : 0.0 sec. user=mdettweiler [2010-10-11 04:44:01] 483*2^910960-1 is not prime. Res64: 98E42048422CDB7C Time : 0.0 sec. user=Sloth [2010-10-11 04:47:39] 537*2^910961-1 is not prime. Res64: DA2D0CB3860F82E2 Time : 0.0 sec. user=Sloth [2010-10-11 04:48:01] 579*2^910961-1 is not prime. Res64: 6AAF2DAD42431962 Time : 0.0 sec. user=mdettweiler [2010-10-11 04:59:13] 495*2^910960-1 is not prime. Res64: 85C171C8D3DC84BF Time : 0.0 sec. user=mdettweiler [2010-10-11 04:59:14] 535*2^910961-1 is not prime. Res64: 8354C454C89DAAB4 Time : 0.0 sec. user=Sloth [2010-10-11 05:05:32] 563*2^910962-1 is not prime. Res64: 8E6066385D42CCD6 Time : 0.0 sec. user=Sloth [2010-10-11 05:05:52] 439*2^910963-1 is not prime. Res64: 62006D448A2A9E32 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:11:58] 401*2^910962-1 is not prime. Res64: 2C9AA44489403CEB Time : 0.0 sec. user=mdettweiler [2010-10-11 05:11:58] 417*2^910962-1 is not prime. Res64: 06C605275DF7D3B4 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:12:27] 503*2^910962-1 is not prime. Res64: CA1EDF8AEC095451 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:12:27] 507*2^910962-1 is not prime. Res64: 20AA522159087818 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:14:22] 543*2^910962-1 is not prime. Res64: 2415AC5B084FB81B Time : 0.0 sec. user=mdettweiler [2010-10-11 05:14:22] 551*2^910962-1 is not prime. Res64: 41191E8B5B9EB16E Time : 0.0 sec. user=Sloth [2010-10-11 05:23:29] 495*2^910965-1 is not prime. Res64: 0EA43D93B402C042 Time : 0.0 sec. user=Sloth [2010-10-11 05:23:44] 537*2^910965-1 is not prime. Res64: F6879538EDF3625B Time : 0.0 sec. user=mdettweiler [2010-10-11 05:29:43] 483*2^910963-1 is not prime. Res64: 8C8C5B2D3F690740 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:29:43] 451*2^910965-1 is not prime. Res64: D3A640B32E13496B Time : 0.0 sec. user=Sloth [2010-10-11 05:41:36] 435*2^910969-1 is not prime. Res64: 25AB5D8E44D06049 Time : 0.0 sec. user=Sloth [2010-10-11 05:41:36] 567*2^910969-1 is not prime. Res64: 9CB156DEE4F3CB36 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:42:21] 591*2^910965-1 is not prime. Res64: 2652EBDAA01255CF Time : 0.0 sec. user=mdettweiler [2010-10-11 05:42:21] 483*2^910966-1 is not prime. Res64: FEA635CE628CAE38 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:42:53] 561*2^910966-1 is not prime. Res64: C67692F113F575D4 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:42:53] 403*2^910967-1 is not prime. Res64: 335764CB17DB0B5B Time : 0.0 sec. user=mdettweiler [2010-10-11 05:44:45] 465*2^910967-1 is not prime. Res64: 3204296458DE7F14 Time : 0.0 sec. user=mdettweiler [2010-10-11 05:44:45] 489*2^910968-1 is not prime. Res64: A95E1A444544C20C Time : 0.0 sec. user=Sloth [2010-10-11 05:59:28] 533*2^910970-1 is not prime. Res64: B75D94BD63B847E2 Time : 0.0 sec. user=Sloth [2010-10-11 05:59:34] 537*2^910970-1 is not prime. Res64: BCA33A63B9D2BF54 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:00:04] 411*2^910970-1 is not prime. Res64: 3370C0BAF5C21BF4 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:00:04] 431*2^910970-1 is not prime. Res64: 1B52E0D9D5CD5070 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:12:45] 485*2^910972-1 is not prime. Res64: E4105675F70E80CF Time : 0.0 sec. user=mdettweiler [2010-10-11 06:12:46] 497*2^910972-1 is not prime. Res64: 9D91B87EA6CDB5A7 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:13:22] 513*2^910972-1 is not prime. Res64: 57D450B75C0F9FF0 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:13:22] 573*2^910972-1 is not prime. Res64: ED9E5F5E270F1492 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:15:16] 411*2^910973-1 is not prime. Res64: B0114A87F5A8BD15 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:15:17] 417*2^910973-1 is not prime. Res64: 5972623D984DC4DE Time : 0.0 sec. user=mdettweiler [2010-10-11 06:30:35] 589*2^910973-1 is not prime. Res64: 6811488B85843C5A Time : 0.0 sec. user=mdettweiler [2010-10-11 06:30:35] 417*2^910974-1 is not prime. Res64: 3E8C84DB014E4B50 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:43:25] 437*2^910974-1 is not prime. Res64: B88AD5F093307A1B Time : 0.0 sec. user=mdettweiler [2010-10-11 06:43:25] 513*2^910974-1 is not prime. Res64: 56C628975CA0D403 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:43:49] 543*2^910974-1 is not prime. Res64: 2B5A032B8FFA0EDE Time : 0.0 sec. user=mdettweiler [2010-10-11 06:43:49] 585*2^910974-1 is not prime. Res64: 4DEACE8E9B2C5925 Time : 0.0 sec. user=mdettweiler [2010-10-11 06:45:39] 433*2^910975-1 is not prime. Res64: B52760061E90E51D Time : 0.0 sec. user=mdettweiler [2010-10-11 06:45:40] 489*2^910975-1 is not prime. Res64: 4340809BFFF214EF Time : 0.0 sec. user=mdettweiler [2010-10-11 07:00:56] 519*2^910975-1 is not prime. Res64: F42459832325610D Time : 0.0 sec. user=mdettweiler [2010-10-11 07:00:57] 413*2^910976-1 is not prime. Res64: BC665A7D740B44E5 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:13:48] 425*2^910976-1 is not prime. Res64: 07E96691945BAA2A Time : 0.0 sec. user=mdettweiler [2010-10-11 07:13:48] 519*2^910976-1 is not prime. Res64: 7D57C7AA34DA0F72 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:14:13] 537*2^910976-1 is not prime. Res64: CA1DBC1C300031F7 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:14:14] 587*2^910976-1 is not prime. Res64: 33F93FF37E5E2F8F Time : 0.0 sec. user=mdettweiler [2010-10-11 07:16:06] 593*2^910976-1 is not prime. Res64: E2D55944DFD64D22 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:16:06] 465*2^910977-1 is not prime. Res64: D715F2C3C99393E7 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:31:28] 469*2^910977-1 is not prime. Res64: ADFD3E9CCBE6C6C5 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:31:29] 435*2^910978-1 is not prime. Res64: 9571958A842282EC Time : 0.0 sec. user=mdettweiler [2010-10-11 07:44:19] 437*2^910978-1 is not prime. Res64: 26CBD0CF74389FF8 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:44:19] 491*2^910978-1 is not prime. Res64: 87807B14B2466069 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:44:39] 527*2^910978-1 is not prime. Res64: 60EEDC98F4A21CFF Time : 0.0 sec. user=mdettweiler [2010-10-11 07:44:40] 441*2^910979-1 is not prime. Res64: 55088C1C6A98777C Time : 0.0 sec. user=mdettweiler [2010-10-11 07:46:29] 501*2^910979-1 is not prime. Res64: 9489C5B4E479C540 Time : 0.0 sec. user=mdettweiler [2010-10-11 07:46:30] 571*2^910979-1 is not prime. Res64: 93AE5A3762416148 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:01:48] 579*2^910979-1 is not prime. Res64: 59436C5AD179B5D1 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:01:49] 525*2^910980-1 is not prime. Res64: AFBBD81E532EA283 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:14:45] 549*2^910981-1 is not prime. Res64: 5D5C0852D3FA4ACE Time : 0.0 sec. user=mdettweiler [2010-10-11 08:14:45] 597*2^910981-1 is not prime. Res64: 372700A877E25C67 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:15:08] 503*2^910982-1 is not prime. Res64: 6924DEA8CE71CC94 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:15:08] 591*2^910982-1 is not prime. Res64: C139FB5674A0A2F2 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:17:00] 439*2^910983-1 is not prime. Res64: CB33846D45CF581F Time : 0.0 sec. user=mdettweiler [2010-10-11 08:17:00] 585*2^910983-1 is not prime. Res64: A28DABD6E747936F Time : 0.0 sec. user=mdettweiler [2010-10-11 08:32:36] 429*2^910984-1 is not prime. Res64: 870ED94A62FF541F Time : 0.0 sec. user=mdettweiler [2010-10-11 08:32:37] 413*2^910986-1 is not prime. Res64: 50B67EC2A95025F5 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:45:11] 425*2^910986-1 is not prime. Res64: C6DCE6B8DF99CF9E Time : 0.0 sec. user=mdettweiler [2010-10-11 08:45:11] 431*2^910986-1 is not prime. Res64: 0580431ACC38498D Time : 0.0 sec. user=mdettweiler [2010-10-11 08:45:33] 465*2^910986-1 is not prime. Res64: F94C22A2C1AC2D49 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:45:34] 473*2^910986-1 is not prime. Res64: DED62B132DAB3407 Time : 0.0 sec. user=mdettweiler [2010-10-11 08:47:21] 521*2^910986-1 is not prime. Res64: 2F579C135359288B Time : 0.0 sec. user=mdettweiler [2010-10-11 08:47:21] 563*2^910986-1 is not prime. Res64: BF61EB3B199251D0 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:03:03] 573*2^910986-1 is not prime. Res64: EB50311E86A88B12 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:03:04] 421*2^910987-1 is not prime. Res64: CA6BFA924D405157 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:15:34] 439*2^910987-1 is not prime. Res64: 5B3E6B9C30F6BC00 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:15:35] 499*2^910987-1 is not prime. Res64: 68615BE8C96B83D9 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:15:54] 549*2^910987-1 is not prime. Res64: 8907665C7E87F29A Time : 0.0 sec. user=mdettweiler [2010-10-11 09:15:54] 561*2^910987-1 is not prime. Res64: A0A24C62803B6378 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:17:48] 417*2^910988-1 is not prime. Res64: 6C4477D5902FABF9 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:17:48] 423*2^910988-1 is not prime. Res64: D3AECF2166C2B794 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:33:51] 453*2^910988-1 is not prime. Res64: 3FA59345C78D56FF Time : 0.0 sec. user=mdettweiler [2010-10-11 09:33:51] 539*2^910988-1 is not prime. Res64: EBA6207A644CFF65 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:46:03] 599*2^910988-1 is not prime. Res64: 78B9082ADF4B956D Time : 0.0 sec. user=mdettweiler [2010-10-11 09:46:03] 481*2^910989-1 is not prime. Res64: 0FF7F7580FACE45E Time : 0.0 sec. user=mdettweiler [2010-10-11 09:46:20] 511*2^910989-1 is not prime. Res64: 3E43944B4CB12756 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:46:20] 537*2^910989-1 is not prime. Res64: 669BBDE93D151C1D Time : 0.0 sec. user=mdettweiler [2010-10-11 09:48:12] 443*2^910990-1 is not prime. Res64: 8C5BFA12B6AC1261 Time : 0.0 sec. user=mdettweiler [2010-10-11 09:48:12] 527*2^910990-1 is not prime. Res64: 79D41B48F0A92DA9 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:04:15] 587*2^910990-1 is not prime. Res64: DB7D21A4EE4CB6F1 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:04:15] 505*2^910991-1 is not prime. Res64: 5DCBD6BCAC0134B9 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:16:25] 525*2^910991-1 is not prime. Res64: 97C8BF84E1D236B7 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:16:25] 595*2^910991-1 is not prime. Res64: 4A19C5E1F92FCCCF Time : 0.0 sec. user=mdettweiler [2010-10-11 10:16:49] 427*2^910993-1 is not prime. Res64: FD5B171ECA21EE4D Time : 0.0 sec. user=mdettweiler [2010-10-11 10:16:50] 465*2^910993-1 is not prime. Res64: F23A53164D2E3ACD Time : 0.0 sec. user=mdettweiler [2010-10-11 10:18:40] 489*2^910993-1 is not prime. Res64: 3B50DEE9683252E0 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:18:40] 511*2^910993-1 is not prime. Res64: 19A00B93388B1404 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:35:10] 541*2^910993-1 is not prime. Res64: 3243B2E746980A81 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:35:10] 589*2^910993-1 is not prime. Res64: C1966561E36A35E7 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:47:15] 573*2^910994-1 is not prime. Res64: BDEC920034717969 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:47:16] 451*2^910995-1 is not prime. Res64: 09328130C30268F6 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:47:43] 471*2^910995-1 is not prime. Res64: 5275F8F7130849C2 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:47:44] 529*2^910995-1 is not prime. Res64: FE2F3974688F1928 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:49:31] 555*2^910995-1 is not prime. Res64: 8DEAA970A19C70B3 Time : 0.0 sec. user=mdettweiler [2010-10-11 10:49:31] 585*2^910995-1 is not prime. Res64: 8CF5A84A33579894 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:05:37] 437*2^910996-1 is not prime. Res64: FD6F133F44C6F5F3 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:05:38] 465*2^910996-1 is not prime. Res64: A46971A41643DF8E Time : 0.0 sec. user=mdettweiler [2010-10-11 11:17:43] 537*2^910996-1 is not prime. Res64: 7C6F87356120B460 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:17:43] 539*2^910996-1 is not prime. Res64: 189160DDFA2B94EE Time : 0.0 sec. user=mdettweiler [2010-10-11 11:18:08] 545*2^910996-1 is not prime. Res64: DB8C6D398E6B7F73 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:18:09] 597*2^910996-1 is not prime. Res64: 0253ABBD009CB7F5 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:19:56] 475*2^910997-1 is not prime. Res64: 44374D73FE67E327 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:19:56] 567*2^910997-1 is not prime. Res64: BD2728C2F0AC2F82 Time : 0.0 sec. user=henryzz [2010-10-11 11:31:21] 495*2^910945-1 is not prime. Res64: 9F2BC3CA44061D43 Time : 0.0 sec. user=henryzz [2010-10-11 11:34:51] 589*2^910945-1 is not prime. Res64: 3810C3C0E299E5BD Time : 0.0 sec. user=mdettweiler [2010-10-11 11:36:04] 589*2^910997-1 is not prime. Res64: F47ECC5EA463D35A Time : 0.0 sec. user=mdettweiler [2010-10-11 11:36:04] 447*2^910998-1 is not prime. Res64: 6718DD59842BC985 Time : 0.0 sec. user=henryzz [2010-10-11 11:39:05] 591*2^910945-1 is not prime. Res64: A1769C319FE8AE1C Time : 0.0 sec. user=henryzz [2010-10-11 11:39:56] 447*2^910946-1 is not prime. Res64: 555DF1A2258B286F Time : 0.0 sec. user=mdettweiler [2010-10-11 11:48:10] 557*2^910998-1 is not prime. Res64: F18A59805231105A Time : 0.0 sec. user=mdettweiler [2010-10-11 11:48:11] 415*2^910999-1 is not prime. Res64: 502F49F2423E84AA Time : 0.0 sec. user=mdettweiler [2010-10-11 11:48:37] 505*2^910999-1 is not prime. Res64: 0E7022429EC4D281 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:48:37] 511*2^910999-1 is not prime. Res64: 12E9FAF32D8617A8 Time : 0.0 sec. user=henryzz [2010-10-11 11:49:40] 425*2^911000-1 is not prime. Res64: 532A19E5B2F40D51 Time : 0.0 sec. user=mdettweiler [2010-10-11 11:50:16] 525*2^910999-1 is not prime. Res64: 9D50D27C7F7A16AD Time : 0.0 sec. user=mdettweiler [2010-10-11 11:50:16] 589*2^910999-1 is not prime. Res64: 6B5D0BD41497FB34 Time : 0.0 sec. user=henryzz [2010-10-11 11:52:28] 449*2^911000-1 is not prime. Res64: A3401F5EA32A3F7D Time : 0.0 sec. user=henryzz [2010-10-11 11:55:32] 405*2^911001-1 is not prime. Res64: 9AE2D210863D764C Time : 0.0 sec. user=henryzz [2010-10-11 11:57:21] 517*2^911001-1 is not prime. Res64: 878CEDAE8A0F8214 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:06:28] 465*2^911000-1 is not prime. Res64: FC1F50B4A94EF768 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:06:28] 473*2^911000-1 is not prime. Res64: FAC7F2D95773151F Time : 0.0 sec. user=henryzz [2010-10-11 12:06:46] 561*2^911002-1 is not prime. Res64: D7D191B6D5B70049 Time : 0.0 sec. user=henryzz [2010-10-11 12:12:00] 585*2^911003-1 is not prime. Res64: 90D0A3C57DDDF1DC Time : 0.0 sec. user=henryzz [2010-10-11 12:12:25] 565*2^911003-1 is not prime. Res64: C6EEBE81C14AC15D Time : 0.0 sec. user=henryzz [2010-10-11 12:16:02] 453*2^911004-1 is not prime. Res64: 599C94B8E2935CC3 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:18:34] 537*2^911001-1 is not prime. Res64: C8ED7FFEDC228754 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:18:34] 413*2^911002-1 is not prime. Res64: 6C344CBCC22C3FC7 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:19:02] 467*2^911002-1 is not prime. Res64: 47219E2C17AC7B5C Time : 0.0 sec. user=mdettweiler [2010-10-11 12:19:03] 533*2^911002-1 is not prime. Res64: 48ACA5BEF2AAA88E Time : 0.0 sec. user=mdettweiler [2010-10-11 12:20:43] 489*2^911003-1 is not prime. Res64: F1683135EE851E7C Time : 0.0 sec. user=mdettweiler [2010-10-11 12:20:43] 529*2^911003-1 is not prime. Res64: 575332A49D0563F1 Time : 0.0 sec. user=henryzz [2010-10-11 12:25:06] 545*2^911004-1 is not prime. Res64: 2DA3A083C5DD0796 Time : 0.0 sec. user=henryzz [2010-10-11 12:28:51] 555*2^911004-1 is not prime. Res64: 9E292869264A1428 Time : 0.0 sec. user=henryzz [2010-10-11 12:28:57] 569*2^911004-1 is not prime. Res64: 4506238586B3E8DB Time : 0.0 sec. user=henryzz [2010-10-11 12:33:03] 411*2^911005-1 is not prime. Res64: 488AEB1238090F38 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:36:58] 483*2^911004-1 is not prime. Res64: CC6CD2B5544486D6 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:36:59] 527*2^911004-1 is not prime. Res64: 14F100C7FB6DCEC8 Time : 0.0 sec. user=henryzz [2010-10-11 12:41:36] 513*2^911007-1 is not prime. Res64: EE6D2A565D62BD40 Time : 0.0 sec. user=henryzz [2010-10-11 12:45:17] 449*2^911008-1 is not prime. Res64: 1681695E327532BA Time : 0.0 sec. user=henryzz [2010-10-11 12:48:16] 523*2^911007-1 is not prime. Res64: D8411451D2171273 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:48:56] 541*2^911005-1 is not prime. Res64: AA5BCBA9DFAA5574 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:48:57] 561*2^911005-1 is not prime. Res64: 5FB288EFC1088EB5 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:49:30] 551*2^911006-1 is not prime. Res64: 3BD5AB0D8E15600F Time : 0.0 sec. user=mdettweiler [2010-10-11 12:49:31] 593*2^911006-1 is not prime. Res64: 3EB51E71770E1A06 Time : 0.0 sec. user=henryzz [2010-10-11 12:49:36] 489*2^911008-1 is not prime. Res64: 07F9EEB96851DB05 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:51:07] 405*2^911007-1 is not prime. Res64: 59FDE1566E66E502 Time : 0.0 sec. user=mdettweiler [2010-10-11 12:51:07] 429*2^911007-1 is not prime. Res64: 98CBDACC5C1532B6 Time : 0.0 sec. user=henryzz [2010-10-11 12:58:00] 411*2^911009-1 is not prime. Res64: 5543BC64403E8229 Time : 0.0 sec. user=henryzz [2010-10-11 13:01:34] 459*2^911009-1 is not prime. Res64: F65486C93944BA3E Time : 0.0 sec. user=henryzz [2010-10-11 13:05:26] 563*2^911010-1 is not prime. Res64: 71D07498CCDCE937 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:07:23] 507*2^911008-1 is not prime. Res64: 925150DA62E4E407 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:07:23] 569*2^911008-1 is not prime. Res64: E522CCFC3F3FB7B9 Time : 0.0 sec. user=henryzz [2010-10-11 13:08:07] 469*2^911009-1 is not prime. Res64: CFA2335AEFC45815 Time : 0.0 sec. user=henryzz [2010-10-11 13:15:00] 495*2^911011-1 is not prime. Res64: DA71938C6E5D4B2D Time : 0.0 sec. user=mdettweiler [2010-10-11 13:19:20] 501*2^911009-1 is not prime. Res64: 53636E5E815888AF Time : 0.0 sec. user=mdettweiler [2010-10-11 13:19:21] 549*2^911009-1 is not prime. Res64: 4FA329E977BDA6B7 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:19:54] 579*2^911009-1 is not prime. Res64: 4ED677F91DC87E9D Time : 0.0 sec. user=mdettweiler [2010-10-11 13:19:55] 555*2^911010-1 is not prime. Res64: C44DC60EC182CB3B Time : 0.0 sec. user=henryzz [2010-10-11 13:20:00] 505*2^911011-1 is not prime. Res64: C600D6E1131F82EE Time : 0.0 sec. user=henryzz [2010-10-11 13:21:17] 573*2^911011-1 is not prime. Res64: 649D73D72F6A69AE Time : 0.0 sec. user=mdettweiler [2010-10-11 13:21:36] 581*2^911010-1 is not prime. Res64: 6DA0589203C8C1A3 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:21:36] 411*2^911011-1 is not prime. Res64: 2DF9384AFC647F4A Time : 0.0 sec. user=henryzz [2010-10-11 13:24:21] 533*2^911012-1 is not prime. Res64: 95888B9BF8FA0DD5 Time : 0.0 sec. user=henryzz [2010-10-11 13:33:44] 557*2^911012-1 is not prime. Res64: E9FD5AC2124E4227 Time : 0.0 sec. user=henryzz [2010-10-11 13:37:41] 483*2^911014-1 is not prime. Res64: A9EE1D82349E5DA8 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:38:16] 437*2^911012-1 is not prime. Res64: E21A3D98F0AF7299 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:38:16] 489*2^911012-1 is not prime. Res64: 8283D20D64F67B8E Time : 0.0 sec. user=henryzz [2010-10-11 13:38:17] 513*2^911014-1 is not prime. Res64: BB5BCE4823CB03F2 Time : 0.0 sec. user=henryzz [2010-10-11 13:42:12] 405*2^911016-1 is not prime. Res64: 7D30CEE4476EB54A Time : 0.0 sec. user=mdettweiler [2010-10-11 13:50:44] 585*2^911012-1 is not prime. Res64: D51A3293E6D628A2 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:50:44] 587*2^911012-1 is not prime. Res64: A2F64816CCE93D9B Time : 0.0 sec. user=henryzz [2010-10-11 13:50:56] 509*2^911016-1 is not prime. Res64: 0A76E694E5E0D3AF Time : 0.0 sec. user=mdettweiler [2010-10-11 13:51:19] 549*2^911013-1 is not prime. Res64: D43882D1C88430AB Time : 0.0 sec. user=mdettweiler [2010-10-11 13:51:19] 453*2^911014-1 is not prime. Res64: EE2EF3DE1ACC60F5 Time : 0.0 sec. user=mdettweiler [2010-10-11 13:52:56] 561*2^911014-1 is not prime. Res64: 00C1B6E6B83B3AEF Time : 0.0 sec. user=mdettweiler [2010-10-11 13:52:56] 585*2^911015-1 is not prime. Res64: 9B3C8721AA7A9178 Time : 0.0 sec. user=henryzz [2010-10-11 13:54:55] 567*2^911016-1 is not prime. Res64: 6D324C2A56D2A2D2 Time : 0.0 sec. user=henryzz [2010-10-11 13:59:42] 511*2^911017-1 is not prime. Res64: 99527D3A9ADC5271 Time : 0.0 sec. user=henryzz [2010-10-11 14:00:29] 473*2^911018-1 is not prime. Res64: F6D539E883FAE1BB Time : 0.0 sec. user=mdettweiler [2010-10-11 14:08:57] 441*2^911017-1 is not prime. Res64: 5C6EE39A3C6FDE3E Time : 0.0 sec. user=mdettweiler [2010-10-11 14:08:58] 477*2^911017-1 is not prime. Res64: 219CF1DF81E51E5D Time : 0.0 sec. user=henryzz [2010-10-11 14:09:03] 415*2^911019-1 is not prime. Res64: DC1C1F9F1D3D1D0D Time : 0.0 sec. user=henryzz [2010-10-11 14:16:43] 527*2^911020-1 is not prime. Res64: 0ADD72484C9A7DA5 Time : 0.0 sec. user=henryzz [2010-10-11 14:17:14] 533*2^911020-1 is not prime. Res64: E74D22081DE83083 Time : 0.0 sec. user=henryzz [2010-10-11 14:17:50] 539*2^911020-1 is not prime. Res64: 64ECA51DFDBAE8F6 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:21:22] 495*2^911018-1 is not prime. Res64: D361BEDA161465C1 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:21:22] 515*2^911018-1 is not prime. Res64: D92D44D1EB96344D Time : 0.0 sec. user=mdettweiler [2010-10-11 14:21:58] 465*2^911019-1 is not prime. Res64: AEDDF97F8385A1D3 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:21:59] 493*2^911019-1 is not prime. Res64: 8E543DCA1C460DE3 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:23:29] 511*2^911019-1 is not prime. Res64: 83FF4EA3E6F3639A Time : 0.0 sec. user=mdettweiler [2010-10-11 14:23:29] 447*2^911020-1 is not prime. Res64: 542EC39F9CD42E3A Time : 0.0 sec. user=henryzz [2010-10-11 14:30:12] 451*2^911021-1 is not prime. Res64: F134C5AA0C3A470E Time : 0.0 sec. user=henryzz [2010-10-11 14:37:41] 527*2^911022-1 is not prime. Res64: 8E6E32A6CC85B8C4 Time : 0.0 sec. user=henryzz [2010-10-11 14:37:50] 525*2^911022-1 is not prime. Res64: FD1D08851BCB80B8 Time : 0.0 sec. user=henryzz [2010-10-11 14:38:53] 563*2^911022-1 is not prime. Res64: 1B600ACF3BE0A1AE Time : 0.0 sec. user=mdettweiler [2010-10-11 14:39:44] 545*2^911020-1 is not prime. Res64: 0EE1E76EAE30A291 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:39:44] 593*2^911020-1 is not prime. Res64: 78974919D707183B Time : 0.0 sec. user=henryzz [2010-10-11 14:48:14] 541*2^911023-1 is not prime. Res64: 31665468B6365A21 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:51:50] 567*2^911022-1 is not prime. Res64: 3788628BC6237226 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:51:51] 423*2^911023-1 is not prime. Res64: 0BD2B067ED94ECA3 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:52:33] 451*2^911023-1 is not prime. Res64: 33DD07D96A97A3AB Time : 0.0 sec. user=mdettweiler [2010-10-11 14:52:33] 499*2^911023-1 is not prime. Res64: 325E297F7DA75402 Time : 0.0 sec. user=mdettweiler [2010-10-11 14:54:04] 519*2^911023-1 is not prime. Res64: 80EFF970F80311BE Time : 0.0 sec. user=mdettweiler [2010-10-11 14:54:04] 525*2^911023-1 is not prime. Res64: 800A31AF3F6C27DD Time : 0.0 sec. user=henryzz [2010-10-11 14:55:04] 425*2^911024-1 is not prime. Res64: 93677120451EF316 Time : 0.0 sec. user=henryzz [2010-10-11 14:57:28] 583*2^911023-1 is not prime. Res64: 29CBE4E47D7CB56B Time : 0.0 sec. user=henryzz [2010-10-11 14:59:45] 465*2^911024-1 is not prime. Res64: 219B1C259943A582 Time : 0.0 sec. user=henryzz [2010-10-11 15:04:51] 441*2^911025-1 is not prime. Res64: 436C61CEB3D70F6E Time : 0.0 sec. user=mdettweiler [2010-10-11 15:10:20] 503*2^911024-1 is not prime. Res64: E5FC91E0B1CE4BDF Time : 0.0 sec. user=mdettweiler [2010-10-11 15:10:21] 599*2^911024-1 is not prime. Res64: 56AB7F6BB1B6635B Time : 0.0 sec. user=henryzz [2010-10-11 15:14:03] 515*2^911028-1 is not prime. Res64: 31E9D71D1B2D6F9B Time : 0.0 sec. user=henryzz [2010-10-11 15:14:44] 479*2^911028-1 is not prime. Res64: 4045FF5DCBBCFCB7 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:22:40] 475*2^911025-1 is not prime. Res64: 354C933269DB6907 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:22:42] 555*2^911025-1 is not prime. Res64: 8C139D6D6D009B4E Time : 0.0 sec. user=mdettweiler [2010-10-11 15:23:24] 425*2^911026-1 is not prime. Res64: 6653281099C8BBAB Time : 0.0 sec. user=mdettweiler [2010-10-11 15:23:25] 513*2^911026-1 is not prime. Res64: 7D83AFCD01F2DCE6 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:25:10] 409*2^911027-1 is not prime. Res64: 45AAB2A1276134A4 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:25:11] 589*2^911027-1 is not prime. Res64: CC39C3704CC80B94 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:41:14] 559*2^911029-1 is not prime. Res64: FDDFDCA418AF128C Time : 0.0 sec. user=mdettweiler [2010-10-11 15:41:15] 437*2^911030-1 is not prime. Res64: F3C84C9ABC82CDA4 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:53:33] 575*2^911030-1 is not prime. Res64: 5F7879D561614530 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:53:34] 403*2^911031-1 is not prime. Res64: 94C7C30A14BE7AA3 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:54:23] 405*2^911031-1 is not prime. Res64: B01DEFB7D21A1C97 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:54:23] 511*2^911031-1 is not prime. Res64: B5F842E0D2086DB3 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:56:04] 555*2^911031-1 is not prime. Res64: 520450376153C322 Time : 0.0 sec. user=mdettweiler [2010-10-11 15:56:05] 437*2^911032-1 is not prime. Res64: 08AE83DE92C025B6 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:12:04] 411*2^911033-1 is not prime. Res64: C2BB80B7D04CDAE3 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:12:05] 465*2^911033-1 is not prime. Res64: 4C4DED19F7116C92 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:24:15] 483*2^911034-1 is not prime. Res64: 7A9B588C6B801E34 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:24:15] 573*2^911034-1 is not prime. Res64: 79D4D6C398B949EC Time : 0.0 sec. user=mdettweiler [2010-10-11 16:25:05] 587*2^911034-1 is not prime. Res64: BED14DA3E8683810 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:25:05] 405*2^911035-1 is not prime. Res64: 8DEABD7D09BFE1C2 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:26:46] 441*2^911035-1 is not prime. Res64: 3AE4EA872CF7280F Time : 0.0 sec. user=mdettweiler [2010-10-11 16:26:46] 469*2^911035-1 is not prime. Res64: 02AF874861241611 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:42:37] 531*2^911035-1 is not prime. Res64: AD693006BF7CB89E Time : 0.0 sec. user=mdettweiler [2010-10-11 16:42:37] 413*2^911036-1 is not prime. Res64: 891EE998E02DB7AB Time : 0.0 sec. user=mdettweiler [2010-10-11 16:54:46] 447*2^911036-1 is not prime. Res64: DABFF60F5FB14C6D Time : 0.0 sec. user=mdettweiler [2010-10-11 16:54:46] 473*2^911036-1 is not prime. Res64: C30281CE01100665 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:55:33] 477*2^911036-1 is not prime. Res64: 91A125B902604BC5 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:55:34] 495*2^911036-1 is not prime. Res64: E39773A229A00431 Time : 0.0 sec. user=mdettweiler [2010-10-11 16:57:20] 519*2^911036-1 is not prime. Res64: 1077766490EC6F5F Time : 0.0 sec. user=mdettweiler [2010-10-11 16:57:21] 573*2^911036-1 is not prime. Res64: EAE805113B3EB4E3 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:13:10] 587*2^911036-1 is not prime. Res64: CA8DA4FF57F0C755 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:13:10] 451*2^911037-1 is not prime. Res64: 895930215A8AF3EB Time : 0.0 sec. user=Sloth [2010-10-11 17:17:20] 529*2^910973-1 is not prime. Res64: AA2285453351ABA2 Time : 0.0 sec. user=Sloth [2010-10-11 17:17:25] 567*2^910973-1 is not prime. Res64: 8F6C36718B25E465 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:25:21] 471*2^911037-1 is not prime. Res64: 9ABF3C2A22130D18 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:25:21] 499*2^911037-1 is not prime. Res64: 30B916AA805D1B45 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:26:05] 549*2^911037-1 is not prime. Res64: 37027C08E99DDEF3 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:26:05] 555*2^911037-1 is not prime. Res64: FE9E7BCFA61083F9 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:27:51] 559*2^911037-1 is not prime. Res64: E5AC96BF87586DBC Time : 0.0 sec. user=mdettweiler [2010-10-11 17:27:51] 471*2^911038-1 is not prime. Res64: 1A02CE35B57573A5 Time : 0.0 sec. user=Sloth [2010-10-11 17:35:11] 559*2^911039-1 is not prime. Res64: 693804ACF024A9C4 Time : 0.0 sec. user=Sloth [2010-10-11 17:35:18] 509*2^911040-1 is not prime. Res64: E9682378B665E2C8 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:43:39] 423*2^911039-1 is not prime. Res64: AF730056185AA638 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:43:39] 553*2^911039-1 is not prime. Res64: 8CCF1B1FE8E4B149 Time : 0.0 sec. user=Sloth [2010-10-11 17:53:02] 495*2^911042-1 is not prime. Res64: 2A47436BF6EF5051 Time : 0.0 sec. user=Sloth [2010-10-11 17:53:15] 551*2^911042-1 is not prime. Res64: 8160675FA54F2704 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:55:52] 537*2^911040-1 is not prime. Res64: F3E985CDC4272C56 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:55:52] 585*2^911040-1 is not prime. Res64: F1D3F042DFF02073 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:56:38] 593*2^911040-1 is not prime. Res64: D9B200D9BCC671D9 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:56:38] 415*2^911041-1 is not prime. Res64: 283D06165FC9DD19 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:58:24] 489*2^911041-1 is not prime. Res64: D0DB76119CBBF830 Time : 0.0 sec. user=mdettweiler [2010-10-11 17:58:24] 549*2^911041-1 is not prime. Res64: CA69FC4ADAEB3CA2 Time : 0.0 sec. user=Sloth [2010-10-11 18:10:54] 511*2^911045-1 is not prime. Res64: C412A4EBD7223BDE Time : 0.0 sec. user=Sloth [2010-10-11 18:11:07] 411*2^911046-1 is not prime. Res64: 14417909D0AD62CB Time : 0.0 sec. user=mdettweiler [2010-10-11 18:14:14] 573*2^911044-1 is not prime. Res64: AE5B7C72E9487B93 Time : 0.0 sec. user=mdettweiler [2010-10-11 18:14:14] 465*2^911045-1 is not prime. Res64: E86F1009EE424930 Time : 0.0 sec. user=mdettweiler [2010-10-11 18:26:37] 465*2^911046-1 is not prime. Res64: 1EEBAF7A4819EB04 Time : 0.0 sec. user=mdettweiler [2010-10-11 18:26:37] 563*2^911046-1 is not prime. Res64: EE58506BBBA384FD Time : 0.0 sec. user=mdettweiler [2010-10-11 18:27:11] 475*2^911047-1 is not prime. Res64: B40FFDE1762F818D Time : 0.0 sec. user=mdettweiler [2010-10-11 18:27:12] 499*2^911047-1 is not prime. Res64: 0ABDE48F258EE7B0 Time : 0.0 sec. user=Sloth [2010-10-11 18:28:47] 507*2^911048-1 is not prime. Res64: 59768E1AED70183B Time : 0.0 sec. user=Sloth [2010-10-11 18:28:59] 465*2^911049-1 is not prime. Res64: 70CFB5EA1753C29F Time : 0.0 sec. user=mdettweiler [2010-10-11 18:29:11] 559*2^911047-1 is not prime. Res64: 7915D5C004BBEB51 Time : 0.0 sec. user=mdettweiler [2010-10-11 18:29:11] 437*2^911048-1 is not prime. Res64: D0CD6AF0C9D563BD Time : 0.0 sec. user=mdettweiler [2010-10-11 18:45:12] 525*2^911049-1 is not prime. Res64: 831ABC86D37B1BBF Time : 0.0 sec. user=mdettweiler [2010-10-11 18:45:13] 537*2^911049-1 is not prime. Res64: 776D810CAA3F256D Time : 0.0 sec. user=Sloth [2010-10-11 18:46:53] 575*2^911050-1 is not prime. Res64: 93E742E4C6C3A140 Time : 0.0 sec. user=Sloth [2010-10-11 18:47:00] 581*2^911050-1 is not prime. Res64: 52ABEDFC204ECF9D Time : 0.0 sec. user=mdettweiler [2010-10-11 18:57:49] 571*2^911049-1 is not prime. Res64: F5DD7265F09483E2 Time : 0.0 sec. user=mdettweiler [2010-10-11 18:57:49] 461*2^911050-1 is not prime. Res64: 8B7BBAC7E337924D Time : 0.0 sec. user=mdettweiler [2010-10-11 18:58:44] 465*2^911050-1 is not prime. Res64: A39E4F744FE835C7 Time : 0.0 sec. user=mdettweiler [2010-10-11 18:58:44] 567*2^911050-1 is not prime. Res64: BF1EB8310C7780A7 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:00:35] 433*2^911051-1 is not prime. Res64: 7E394C62598B6F09 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:00:36] 475*2^911051-1 is not prime. Res64: 2A836E3691482DFF Time : 0.0 sec. user=Sloth [2010-10-11 19:04:47] 579*2^911052-1 is not prime. Res64: 5C759F8CEC9D1E07 Time : 0.0 sec. user=Sloth [2010-10-11 19:04:53] 441*2^911053-1 is not prime. Res64: DA0B9317D891180E Time : 0.0 sec. user=mdettweiler [2010-10-11 19:16:33] 519*2^911051-1 is not prime. Res64: F02C846EB0B1AE44 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:16:34] 489*2^911052-1 is not prime. Res64: 5529451B6796F456 Time : 0.0 sec. user=Sloth [2010-10-11 19:22:56] 441*2^911055-1 is not prime. Res64: 02D1F75808454232 Time : 0.0 sec. user=Sloth [2010-10-11 19:22:56] 475*2^911055-1 is not prime. Res64: BFEE92BB6C056720 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:29:54] 519*2^911053-1 is not prime. Res64: D86121F1774C92E2 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:29:54] 525*2^911053-1 is not prime. Res64: 2318E0175EEE4C39 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:30:35] 501*2^911054-1 is not prime. Res64: A2B2402970B6AC63 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:30:36] 545*2^911054-1 is not prime. Res64: 983FDC92B92D91F0 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:32:33] 567*2^911054-1 is not prime. Res64: 68E6E7AFA19D0FEF Time : 0.0 sec. user=mdettweiler [2010-10-11 19:32:34] 405*2^911055-1 is not prime. Res64: 817DF020FCC270D3 Time : 0.0 sec. user=Sloth [2010-10-11 19:40:48] 583*2^911055-1 is not prime. Res64: 564B0FB32417D101 Time : 0.0 sec. user=Sloth [2010-10-11 19:40:49] 447*2^911056-1 is not prime. Res64: AE6064959CD8E8D5 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:48:53] 553*2^911055-1 is not prime. Res64: C1A3BD8DF4E33258 Time : 0.0 sec. user=mdettweiler [2010-10-11 19:48:53] 573*2^911055-1 is not prime. Res64: 413F80319A4B6E42 Time : 0.0 sec. user=Sloth [2010-10-11 19:58:41] 445*2^911057-1 is not prime. Res64: 04B9904D3F3F8D36 Time : 0.0 sec. user=Sloth [2010-10-11 19:58:41] 549*2^911057-1 is not prime. Res64: A9E74BA818F5C70D Time : 0.0 sec. user=mdettweiler [2010-10-11 20:02:21] 483*2^911056-1 is not prime. Res64: C0F0CE91B1D7234A Time : 0.0 sec. user=mdettweiler [2010-10-11 20:02:21] 485*2^911056-1 is not prime. Res64: 588F05C731B47048 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:03:18] 527*2^911056-1 is not prime. Res64: B4339DE130C04AA3 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:03:19] 537*2^911056-1 is not prime. Res64: A831266939F2D3FB Time : 0.0 sec. user=mdettweiler [2010-10-11 20:04:38] 567*2^911056-1 is not prime. Res64: 3930EFA8B7F06304 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:04:39] 441*2^911057-1 is not prime. Res64: 37759CC93D8182B7 Time : 0.0 sec. user=Sloth [2010-10-11 20:16:33] 507*2^911058-1 is not prime. Res64: 1108C365EAD466BD Time : 0.0 sec. user=Sloth [2010-10-11 20:16:33] 513*2^911058-1 is not prime. Res64: E5F0989B723193A7 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:20:27] 443*2^911058-1 is not prime. Res64: 331B6429583F48D8 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:20:28] 471*2^911058-1 is not prime. Res64: C8C1D3B4807A1CDE Time : 0.0 sec. user=mdettweiler [2010-10-11 20:33:34] 525*2^911058-1 is not prime. Res64: DD4C2DF805D095DA Time : 0.0 sec. user=mdettweiler [2010-10-11 20:33:34] 567*2^911058-1 is not prime. Res64: 56FB70021E67649C Time : 0.0 sec. user=mdettweiler [2010-10-11 20:33:59] 439*2^911059-1 is not prime. Res64: 6CB9BC3CD95BF08B Time : 0.0 sec. user=mdettweiler [2010-10-11 20:34:00] 481*2^911059-1 is not prime. Res64: 8B5BEC584704F0BB Time : 0.0 sec. user=Sloth [2010-10-11 20:34:26] 427*2^911061-1 is not prime. Res64: F62813CF570B078E Time : 0.0 sec. user=Sloth [2010-10-11 20:34:26] 515*2^911060-1 is not prime. Res64: 050D25690FF8ED67 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:35:24] 493*2^911059-1 is not prime. Res64: E0B6001B42620D87 Time : 0.0 sec. user=mdettweiler [2010-10-11 20:35:24] 499*2^911059-1 is not prime. Res64: 677A60722E9E3F4F Time : 0.0 sec. user=mdettweiler [2010-10-11 20:50:55] 459*2^911061-1 is not prime. Res64: 42FC7DF936BFF44C Time : 0.0 sec. user=mdettweiler [2010-10-11 20:50:55] 475*2^911061-1 is not prime. Res64: BAA78DA15E507C02 Time : 0.0 sec. user=Sloth [2010-10-11 20:52:18] 491*2^911062-1 is not prime. Res64: 14E2EA063474A60D Time : 0.0 sec. user=Sloth [2010-10-11 20:52:18] 527*2^911062-1 is not prime. Res64: F65F296245446176 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:04:05] 507*2^911061-1 is not prime. Res64: 59E99AF785940917 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:04:05] 511*2^911061-1 is not prime. Res64: AF16638BFC00F44D Time : 0.0 sec. user=mdettweiler [2010-10-11 21:04:28] 579*2^911061-1 is not prime. Res64: 46B724FD3B882A2D Time : 0.0 sec. user=mdettweiler [2010-10-11 21:04:28] 425*2^911062-1 is not prime. Res64: 356AAD15A69F8B4A Time : 0.0 sec. user=mdettweiler [2010-10-11 21:05:56] 523*2^911063-1 is not prime. Res64: 5C4D008FF3CADA34 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:05:57] 549*2^911063-1 is not prime. Res64: 5F9863166B7BC9BE Time : 0.0 sec. user=Sloth [2010-10-11 21:10:11] 503*2^911064-1 is not prime. Res64: B694B9591BDB0C9B Time : 0.0 sec. user=Sloth [2010-10-11 21:10:23] 427*2^911065-1 is not prime. Res64: 5974FAEB610FABB6 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:21:21] 573*2^911063-1 is not prime. Res64: 3588875161CAF15C Time : 0.0 sec. user=mdettweiler [2010-10-11 21:21:21] 585*2^911063-1 is not prime. Res64: 0701784991A7A499 Time : 0.0 sec. user=Sloth [2010-10-11 21:28:03] 525*2^911066-1 is not prime. Res64: 009FC0A419AE27EF Time : 0.0 sec. user=Sloth [2010-10-11 21:28:15] 545*2^911066-1 is not prime. Res64: A006C2D3B7768597 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:34:40] 429*2^911065-1 is not prime. Res64: 8D965287758C469D Time : 0.0 sec. user=mdettweiler [2010-10-11 21:34:40] 471*2^911065-1 is not prime. Res64: 7EED5E27734DE1FA Time : 0.0 sec. user=mdettweiler [2010-10-11 21:35:03] 535*2^911065-1 is not prime. Res64: A76A1F59DDBC9F9E Time : 0.0 sec. user=mdettweiler [2010-10-11 21:35:03] 425*2^911066-1 is not prime. Res64: 292779F6FC3DD901 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:36:28] 431*2^911066-1 is not prime. Res64: 9005F149A1111618 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:36:29] 501*2^911066-1 is not prime. Res64: 4403104729CFC908 Time : 0.0 sec. user=Sloth [2010-10-11 21:45:54] 441*2^911067-1 is not prime. Res64: 5172DCADA136B841 Time : 0.0 sec. user=Sloth [2010-10-11 21:46:07] 451*2^911067-1 is not prime. Res64: DDB297C3B907B1D9 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:51:48] 585*2^911066-1 is not prime. Res64: 0395B4DEABA661C7 Time : 0.0 sec. user=mdettweiler [2010-10-11 21:51:48] 587*2^911066-1 is not prime. Res64: C29EB08880E87729 Time : 0.0 sec. user=Sloth [2010-10-11 22:03:47] 495*2^911068-1 is not prime. Res64: DA560A03320C42EA Time : 0.0 sec. user=Sloth [2010-10-11 22:04:00] 507*2^911068-1 is not prime. Res64: E7959C96747E7B26 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:05:28] 493*2^911067-1 is not prime. Res64: CFEC82A0417CC91C Time : 0.0 sec. user=mdettweiler [2010-10-11 22:05:29] 585*2^911067-1 is not prime. Res64: 1C88D72AD41552F3 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:05:52] 405*2^911068-1 is not prime. Res64: 867F33AFD6B7FEF6 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:05:53] 419*2^911068-1 is not prime. Res64: 928E3AE992894739 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:07:11] 449*2^911068-1 is not prime. Res64: 5F4D555F9DF8A8D2 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:07:11] 453*2^911068-1 is not prime. Res64: DC7AA8928A3E3712 Time : 0.0 sec. user=Sloth [2010-10-11 22:21:58] 421*2^911069-1 is not prime. Res64: B454059232E2B23E Time : 0.0 sec. user=Sloth [2010-10-11 22:22:16] 435*2^911069-1 is not prime. Res64: 9B6C994F11EC13D4 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:23:36] 525*2^911068-1 is not prime. Res64: ACE9BD3B6099716B Time : 0.0 sec. user=mdettweiler [2010-10-11 22:23:37] 537*2^911068-1 is not prime. Res64: F45D59749BA03770 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:36:57] 487*2^911069-1 is not prime. Res64: 3DCD69D2B90E1C1E Time : 0.0 sec. user=mdettweiler [2010-10-11 22:36:57] 511*2^911069-1 is not prime. Res64: 79E25F7734152233 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:37:09] 525*2^911069-1 is not prime. Res64: E89FB7B549E7436E Time : 0.0 sec. user=mdettweiler [2010-10-11 22:37:09] 559*2^911069-1 is not prime. Res64: B5AD7A7C78709E58 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:38:27] 413*2^911070-1 is not prime. Res64: 232D1EED58E2E43A Time : 0.0 sec. user=mdettweiler [2010-10-11 22:38:27] 417*2^911070-1 is not prime. Res64: D195D9445F2299BC Time : 0.0 sec. user=Sloth [2010-10-11 22:39:50] 447*2^911070-1 is not prime. Res64: F07208E2D8E914D0 Time : 0.0 sec. user=Sloth [2010-10-11 22:40:08] 587*2^911070-1 is not prime. Res64: 7A7078DB9F24BD94 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:54:28] 405*2^911071-1 is not prime. Res64: E516EEAADC8C54B7 Time : 0.0 sec. user=mdettweiler [2010-10-11 22:54:29] 483*2^911071-1 is not prime. Res64: A9EA1E1B553AEC95 Time : 0.0 sec. user=Sloth [2010-10-11 22:57:42] 445*2^911073-1 is not prime. Res64: 14B8BA9B21E3DD32 Time : 0.0 sec. user=Sloth [2010-10-11 22:59:24] 537*2^911073-1 is not prime. Res64: 6CD7126610A8A674 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:07:51] 505*2^911071-1 is not prime. Res64: 097D9681E2F26CBA Time : 0.0 sec. user=mdettweiler [2010-10-11 23:07:52] 535*2^911071-1 is not prime. Res64: 91B44750DA771A44 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:08:06] 541*2^911071-1 is not prime. Res64: 1437C33FE80F407A Time : 0.0 sec. user=mdettweiler [2010-10-11 23:08:06] 595*2^911071-1 is not prime. Res64: 617A83C8209311CF Time : 0.0 sec. user=mdettweiler [2010-10-11 23:09:18] 437*2^911072-1 is not prime. Res64: EF16656534691920 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:09:18] 447*2^911072-1 is not prime. Res64: 52114E16FB2D043C Time : 0.0 sec. user=Sloth [2010-10-11 23:15:34] 433*2^911075-1 is not prime. Res64: 2DFE630202E26458 Time : 0.0 sec. user=Sloth [2010-10-11 23:17:15] 469*2^911075-1 is not prime. Res64: AE4CDD7D36376F4A Time : 0.0 sec. user=mdettweiler [2010-10-11 23:25:08] 411*2^911074-1 is not prime. Res64: 56A8D9DF51F3596D Time : 0.0 sec. user=mdettweiler [2010-10-11 23:25:09] 461*2^911074-1 is not prime. Res64: DF3AA2E23973A8D2 Time : 0.0 sec. user=Sloth [2010-10-11 23:33:27] 515*2^911076-1 is not prime. Res64: 8328C92510C8E0B7 Time : 0.0 sec. user=Sloth [2010-10-11 23:35:08] 525*2^911076-1 is not prime. Res64: 16D074EFA07F1AEE Time : 0.0 sec. user=mdettweiler [2010-10-11 23:38:47] 585*2^911075-1 is not prime. Res64: AD4368CBAC137A0A Time : 0.0 sec. user=mdettweiler [2010-10-11 23:38:47] 523*2^911075-1 is not prime. Res64: 7E4468DB31C219A2 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:38:47] 591*2^911075-1 is not prime. Res64: EABA09A31ED0710D Time : 0.0 sec. user=mdettweiler [2010-10-11 23:38:47] 579*2^911075-1 is not prime. Res64: E28DA737EDF15A3F Time : 0.0 sec. user=mdettweiler [2010-10-11 23:39:57] 473*2^911076-1 is not prime. Res64: DC7B82F8666D9104 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:39:57] 479*2^911076-1 is not prime. Res64: A288171E69EBFF6C Time : 0.0 sec. user=Sloth [2010-10-11 23:51:20] 499*2^911077-1 is not prime. Res64: 6BF3E048C89D1F7C Time : 0.0 sec. user=Sloth [2010-10-11 23:53:00] 511*2^911077-1 is not prime. Res64: 230339B9FB44CED7 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:55:55] 465*2^911077-1 is not prime. Res64: E412607FCB2309E9 Time : 0.0 sec. user=mdettweiler [2010-10-11 23:55:55] 495*2^911077-1 is not prime. Res64: C07D531060C3F431 Time : 0.0 sec.