user=mdettweiler [2015-08-28 00:05:09] 767*2^1407554-1 is not prime. Res64: CD47594D11CD40D7 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:05:10] 783*2^1407554-1 is not prime. Res64: 0C39F04738B9723E Time : 0.0 sec. user=mdettweiler [2015-08-28 00:05:16] 833*2^1407554-1 is not prime. Res64: C274FB31CA48F39D Time : 0.0 sec. user=mdettweiler [2015-08-28 00:05:17] 923*2^1407554-1 is not prime. Res64: 4079788338148A7F Time : 0.0 sec. user=mdettweiler [2015-08-28 00:05:51] 651*2^1407555-1 is not prime. Res64: 378A6D19A8E3C08D Time : 0.0 sec. user=mdettweiler [2015-08-28 00:05:52] 751*2^1407555-1 is not prime. Res64: 247A85E416859D3B Time : 0.0 sec. user=mdettweiler [2015-08-28 00:08:42] 765*2^1407555-1 is not prime. Res64: 95195DD27A04E913 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:08:42] 775*2^1407555-1 is not prime. Res64: 37E8F4F7B6CA66C5 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:23:15] 909*2^1407555-1 is not prime. Res64: 6A2A270FE22DBE68 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:23:16] 961*2^1407555-1 is not prime. Res64: 7833550D73DD88D1 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:23:19] 615*2^1407556-1 is not prime. Res64: 847EF7D459AC3BA6 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:23:20] 653*2^1407556-1 is not prime. Res64: 6761EBF7D7CDA02A Time : 0.0 sec. user=mdettweiler [2015-08-28 00:23:37] 777*2^1407556-1 is not prime. Res64: 95685FD35ADA5E87 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:23:37] 813*2^1407556-1 is not prime. Res64: 8D1BFF460BDC1BEB Time : 0.0 sec. user=mdettweiler [2015-08-28 00:26:21] 839*2^1407556-1 is not prime. Res64: 4061D053F45E8C2F Time : 0.0 sec. user=mdettweiler [2015-08-28 00:26:21] 855*2^1407556-1 is not prime. Res64: 430F3660C359FD9A Time : 0.0 sec. user=mdettweiler [2015-08-28 00:40:50] 987*2^1407556-1 is not prime. Res64: 9BF7109543B0CF62 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:40:50] 989*2^1407556-1 is not prime. Res64: 398E791DFBA7FBB5 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:40:58] 993*2^1407556-1 is not prime. Res64: 46B35E2A5C435B41 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:40:58] 669*2^1407557-1 is not prime. Res64: 78E090B3CEDB0B4D Time : 0.0 sec. user=mdettweiler [2015-08-28 00:41:14] 699*2^1407557-1 is not prime. Res64: 5AE745FD08B66B32 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:41:14] 735*2^1407557-1 is not prime. Res64: 937E9729D481823E Time : 0.0 sec. user=mdettweiler [2015-08-28 00:44:13] 771*2^1407557-1 is not prime. Res64: F571BE0B07E45DFA Time : 0.0 sec. user=mdettweiler [2015-08-28 00:44:14] 801*2^1407557-1 is not prime. Res64: 59BA8E57E7412663 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:58:28] 865*2^1407557-1 is not prime. Res64: A25203C169375C2C Time : 0.0 sec. user=mdettweiler [2015-08-28 00:58:29] 927*2^1407557-1 is not prime. Res64: 4C754ADEE35699F7 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:58:44] 981*2^1407557-1 is not prime. Res64: 0A6F4A43852F46DA Time : 0.0 sec. user=mdettweiler [2015-08-28 00:58:44] 665*2^1407558-1 is not prime. Res64: 746EB0A9C8E55A54 Time : 0.0 sec. user=mdettweiler [2015-08-28 00:58:57] 681*2^1407558-1 is not prime. Res64: 805903DD92B4FB8E Time : 0.0 sec. user=mdettweiler [2015-08-28 00:58:57] 695*2^1407558-1 is not prime. Res64: BD530035997EBF5E Time : 0.0 sec. user=mdettweiler [2015-08-28 01:01:59] 705*2^1407558-1 is not prime. Res64: CD3620DD106AC9C8 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:02:01] 707*2^1407558-1 is not prime. Res64: 87BD05E2021516F1 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:16:06] 761*2^1407558-1 is not prime. Res64: 9719B788BE2DC53A Time : 0.0 sec. user=mdettweiler [2015-08-28 01:16:06] 791*2^1407558-1 is not prime. Res64: DA53B16F3964CC23 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:16:22] 875*2^1407558-1 is not prime. Res64: A4A6354645A95455 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:16:22] 891*2^1407558-1 is not prime. Res64: 14B30A238C2C3F7F Time : 0.0 sec. user=mdettweiler [2015-08-28 01:16:37] 933*2^1407558-1 is not prime. Res64: BD4413D440A92A52 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:16:37] 941*2^1407558-1 is not prime. Res64: 83AA422BA3E04821 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:19:45] 601*2^1407559-1 is not prime. Res64: B846C01922CF33F0 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:19:46] 639*2^1407559-1 is not prime. Res64: 9F19218D32C20BEE Time : 0.0 sec. user=mdettweiler [2015-08-28 01:33:51] 723*2^1407559-1 is not prime. Res64: 73751CF2D5B78F56 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:33:51] 745*2^1407559-1 is not prime. Res64: 263ED31FB68636D7 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:34:09] 771*2^1407559-1 is not prime. Res64: 9982BFD3EFA72345 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:34:09] 909*2^1407559-1 is not prime. Res64: 5B119AF333B3BD91 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:34:25] 973*2^1407559-1 is not prime. Res64: 3B9D958383C72DDF Time : 0.0 sec. user=mdettweiler [2015-08-28 01:34:26] 789*2^1407560-1 is not prime. Res64: 6D525E646003B9E9 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:37:51] 827*2^1407560-1 is not prime. Res64: 70C973AF3DB8E7EA Time : 0.0 sec. user=mdettweiler [2015-08-28 01:37:52] 923*2^1407560-1 is not prime. Res64: FC6A0EF1EE92378C Time : 0.0 sec. user=mdettweiler [2015-08-28 01:51:45] 977*2^1407560-1 is not prime. Res64: 48424659F39A4483 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:51:46] 781*2^1407561-1 is not prime. Res64: AD9286786546352E Time : 0.0 sec. user=mdettweiler [2015-08-28 01:51:58] 877*2^1407561-1 is not prime. Res64: 11532ABE77803DBC Time : 0.0 sec. user=mdettweiler [2015-08-28 01:51:58] 975*2^1407561-1 is not prime. Res64: 5F591A3465498641 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:52:04] 987*2^1407561-1 is not prime. Res64: F077A52F37D9C277 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:52:04] 737*2^1407562-1 is not prime. Res64: AC04228E967606B1 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:55:33] 777*2^1407562-1 is not prime. Res64: 253108E05AE1B545 Time : 0.0 sec. user=mdettweiler [2015-08-28 01:55:33] 815*2^1407562-1 is not prime. Res64: 6502FAD21B1F3C16 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:09:35] 833*2^1407562-1 is not prime. Res64: 29AEF05CBDED9949 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:09:36] 887*2^1407562-1 is not prime. Res64: D1B10843CAC1BEA7 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:09:39] 741*2^1407563-1 is not prime. Res64: EE8CF8B95AFCF46E Time : 0.0 sec. user=mdettweiler [2015-08-28 02:09:39] 783*2^1407563-1 is not prime. Res64: 3EA2BEE0585A8DBA Time : 0.0 sec. user=mdettweiler [2015-08-28 02:09:55] 813*2^1407563-1 is not prime. Res64: D68784BDCFC25430 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:09:55] 855*2^1407563-1 is not prime. Res64: AEA2C09FF0404A72 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:13:20] 859*2^1407563-1 is not prime. Res64: A92C9E444F4FBE49 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:13:20] 889*2^1407563-1 is not prime. Res64: C321F1055B0ED9E6 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:27:20] 663*2^1407564-1 is not prime. Res64: C32D6C598E2A3C36 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:27:21] 981*2^1407563-1 is not prime. Res64: 646C534440447C1E Time : 0.0 sec. user=mdettweiler [2015-08-28 02:27:21] 767*2^1407564-1 is not prime. Res64: 5BB0E3835AE02B07 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:27:21] 639*2^1407564-1 is not prime. Res64: 8B33BF58E4E8D2B5 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:27:36] 825*2^1407564-1 is not prime. Res64: 8673558742B7606B Time : 0.0 sec. user=mdettweiler [2015-08-28 02:27:37] 863*2^1407564-1 is not prime. Res64: 21B0461679B6A39A Time : 0.0 sec. user=mdettweiler [2015-08-28 02:31:04] 903*2^1407564-1 is not prime. Res64: 977DB7789E51D488 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:31:04] 915*2^1407564-1 is not prime. Res64: 9A90388ED82A8E6E Time : 0.0 sec. user=mdettweiler [2015-08-28 02:45:01] 983*2^1407564-1 is not prime. Res64: 72E63BCB40EDBD7B Time : 0.0 sec. user=mdettweiler [2015-08-28 02:45:02] 667*2^1407565-1 is not prime. Res64: 7B7B730F40DEA1B6 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:45:13] 927*2^1407564-1 is not prime. Res64: 28086453BC5EC924 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:45:14] 947*2^1407564-1 is not prime. Res64: 8C36B0FFCA2FB1A0 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:45:16] 717*2^1407565-1 is not prime. Res64: 0AC1C94F57C86F2D Time : 0.0 sec. user=mdettweiler [2015-08-28 02:45:16] 741*2^1407565-1 is not prime. Res64: 8394453257465D3D Time : 0.0 sec. user=mdettweiler [2015-08-28 02:48:38] 817*2^1407565-1 is not prime. Res64: 6540C6E871A43178 Time : 0.0 sec. user=mdettweiler [2015-08-28 02:48:39] 859*2^1407565-1 is not prime. Res64: 54EE241F8E5F115A Time : 0.0 sec. user=mdettweiler [2015-08-28 03:02:47] 877*2^1407565-1 is not prime. Res64: 93E8B11D36A470B7 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:02:48] 641*2^1407566-1 is not prime. Res64: 351EFD0FA6DFA565 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:02:56] 671*2^1407566-1 is not prime. Res64: 810581C2A833AE9A Time : 0.0 sec. user=mdettweiler [2015-08-28 03:02:57] 705*2^1407566-1 is not prime. Res64: 9048F08FA0DB35A0 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:02:59] 711*2^1407566-1 is not prime. Res64: 4078104E82830A57 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:03:00] 717*2^1407566-1 is not prime. Res64: D3E71284E919AD14 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:06:21] 941*2^1407566-1 is not prime. Res64: 54790FA0D87EBD80 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:06:22] 649*2^1407567-1 is not prime. Res64: 36DC4950ABCF178C Time : 0.0 sec. user=mdettweiler [2015-08-28 03:20:44] 695*2^1407568-1 is not prime. Res64: CAA22628F813EC47 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:20:45] 723*2^1407568-1 is not prime. Res64: DCFB334567688D12 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:20:45] 831*2^1407567-1 is not prime. Res64: 3EFCD309F32B198A Time : 0.0 sec. user=mdettweiler [2015-08-28 03:20:46] 961*2^1407567-1 is not prime. Res64: 2A3D4BC40B46C01E Time : 0.0 sec. user=mdettweiler [2015-08-28 03:20:46] 705*2^1407567-1 is not prime. Res64: B121837BD5FA6FB8 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:20:47] 781*2^1407567-1 is not prime. Res64: 06C209D0B24C847A Time : 0.0 sec. user=mdettweiler [2015-08-28 03:24:03] 995*2^1407568-1 is not prime. Res64: AEF78A0D59030460 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:24:03] 631*2^1407569-1 is not prime. Res64: 5712F310179C8B3E Time : 0.0 sec. user=mdettweiler [2015-08-28 03:38:22] 645*2^1407569-1 is not prime. Res64: 0F3E9B4F40C26762 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:38:22] 897*2^1407569-1 is not prime. Res64: 3166F73C25525EA2 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:38:24] 675*2^1407569-1 is not prime. Res64: A24E803C963F38E7 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:38:25] 945*2^1407569-1 is not prime. Res64: 3C25D4BC77137581 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:38:27] 949*2^1407569-1 is not prime. Res64: 9B0949944DF5A02B Time : 0.0 sec. user=mdettweiler [2015-08-28 03:38:28] 635*2^1407570-1 is not prime. Res64: 4511E418C44B1E01 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:41:37] 671*2^1407570-1 is not prime. Res64: BA48456C55A09908 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:41:41] 851*2^1407570-1 is not prime. Res64: 68C1E7B4BD565C6B Time : 0.0 sec. user=mdettweiler [2015-08-28 03:56:20] 887*2^1407570-1 is not prime. Res64: 3E00DFA2591DC267 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:56:20] 609*2^1407571-1 is not prime. Res64: 4C061499EB6A1F99 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:56:21] 693*2^1407571-1 is not prime. Res64: B1F4BCA44BEFCBA7 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:56:22] 771*2^1407571-1 is not prime. Res64: 61319951126FE6E8 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:56:23] 843*2^1407571-1 is not prime. Res64: A18A5449AF7F688F Time : 0.0 sec. user=mdettweiler [2015-08-28 03:56:24] 617*2^1407572-1 is not prime. Res64: 1248F0C99D7011B1 Time : 0.0 sec. user=mdettweiler [2015-08-28 03:59:27] 623*2^1407572-1 is not prime. Res64: 25B2F6657926CF5B Time : 0.0 sec. user=mdettweiler [2015-08-28 03:59:28] 699*2^1407572-1 is not prime. Res64: 325C625EA6A323AD Time : 0.0 sec. user=mdettweiler [2015-08-28 04:14:15] 685*2^1407573-1 is not prime. Res64: F1C99D7E22E2FC65 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:14:15] 691*2^1407573-1 is not prime. Res64: 38A3B9480F404B6C Time : 0.0 sec. user=mdettweiler [2015-08-28 04:14:18] 897*2^1407572-1 is not prime. Res64: 1DA8099098C2142C Time : 0.0 sec. user=mdettweiler [2015-08-28 04:14:19] 675*2^1407573-1 is not prime. Res64: 47DEE5142CED1BD6 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:14:24] 727*2^1407573-1 is not prime. Res64: 3D9B2567FCCE4220 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:14:25] 867*2^1407573-1 is not prime. Res64: 3BFAA8616928AE25 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:17:05] 999*2^1407573-1 is not prime. Res64: F07F0B64F08383A1 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:17:05] 605*2^1407574-1 is not prime. Res64: 17C0743842F898EE Time : 0.0 sec. user=mdettweiler [2015-08-28 04:31:51] 611*2^1407574-1 is not prime. Res64: 0762BBEEF1B9AE24 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:31:52] 651*2^1407574-1 is not prime. Res64: 7FE4A901BEBE3E9C Time : 0.0 sec. user=mdettweiler [2015-08-28 04:31:54] 921*2^1407575-1 is not prime. Res64: E5F819D63D285B41 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:31:55] 939*2^1407575-1 is not prime. Res64: E9328B4786168812 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:32:00] 951*2^1407574-1 is not prime. Res64: E742CC22529E7BD3 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:32:01] 783*2^1407575-1 is not prime. Res64: 2DA32173952CC3D2 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:34:47] 969*2^1407575-1 is not prime. Res64: 73A10A9370C4635E Time : 0.0 sec. user=mdettweiler [2015-08-28 04:34:47] 633*2^1407576-1 is not prime. Res64: B1DE6411D4E74D1B Time : 0.0 sec. user=mdettweiler [2015-08-28 04:49:34] 635*2^1407576-1 is not prime. Res64: 70EC16C1DF03CD9F Time : 0.0 sec. user=mdettweiler [2015-08-28 04:49:34] 689*2^1407576-1 is not prime. Res64: 35441C552205E379 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:49:34] 773*2^1407576-1 is not prime. Res64: 8CA8F39223924CA1 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:49:34] 657*2^1407576-1 is not prime. Res64: D773076FC6DA111F Time : 0.0 sec. user=mdettweiler [2015-08-28 04:49:43] 845*2^1407576-1 is not prime. Res64: 454B684A12F7C9BC Time : 0.0 sec. user=mdettweiler [2015-08-28 04:49:43] 875*2^1407576-1 is not prime. Res64: 622F976E480B3674 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:52:33] 887*2^1407576-1 is not prime. Res64: 36203F99B051BA76 Time : 0.0 sec. user=mdettweiler [2015-08-28 04:52:34] 945*2^1407576-1 is not prime. Res64: 90BABB3EFEA984B3 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:07:08] 897*2^1407577-1 is not prime. Res64: 746D7A4A5F96E1ED Time : 0.0 sec. user=mdettweiler [2015-08-28 05:07:09] 729*2^1407577-1 is not prime. Res64: AFFBAE81DAF73C19 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:07:09] 945*2^1407577-1 is not prime. Res64: 1AB0753DE73DCF16 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:07:09] 775*2^1407577-1 is not prime. Res64: 5E0D9A969CAF2D3B Time : 0.0 sec. user=mdettweiler [2015-08-28 05:07:25] 957*2^1407577-1 is not prime. Res64: 6CFA4B2E930DB783 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:07:26] 633*2^1407578-1 is not prime. Res64: 9D1E56E7C2624137 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:10:18] 713*2^1407578-1 is not prime. Res64: F43B4686BE962A7B Time : 0.0 sec. user=mdettweiler [2015-08-28 05:10:19] 755*2^1407578-1 is not prime. Res64: C08260BDEB0D7066 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:24:51] 941*2^1407578-1 is not prime. Res64: 47B27738A189286D Time : 0.0 sec. user=mdettweiler [2015-08-28 05:24:51] 619*2^1407579-1 is not prime. Res64: A3DA2D7C16D02D34 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:24:53] 875*2^1407578-1 is not prime. Res64: 7800177F7A1EFA68 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:24:53] 923*2^1407578-1 is not prime. Res64: EF84227C9E5ECE8E Time : 0.0 sec. user=mdettweiler [2015-08-28 05:25:04] 775*2^1407579-1 is not prime. Res64: 26427DA5FB1034EF Time : 0.0 sec. user=mdettweiler [2015-08-28 05:25:04] 823*2^1407579-1 is not prime. Res64: D4C8D4888895658E Time : 0.0 sec. user=mdettweiler [2015-08-28 05:28:00] 853*2^1407579-1 is not prime. Res64: FB48D34A1872F86D Time : 0.0 sec. user=mdettweiler [2015-08-28 05:28:01] 861*2^1407579-1 is not prime. Res64: 956D092F6321056A Time : 0.0 sec. user=mdettweiler [2015-08-28 05:42:25] 647*2^1407580-1 is not prime. Res64: A1B327187729F675 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:42:25] 843*2^1407580-1 is not prime. Res64: 8D30DBBB3F94543C Time : 0.0 sec. user=mdettweiler [2015-08-28 05:42:30] 921*2^1407579-1 is not prime. Res64: 60434E2F228D4879 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:42:30] 609*2^1407580-1 is not prime. Res64: E21EA9AC66DCBDC8 Time : 0.0 sec. user=mdettweiler [2015-08-28 05:42:38] 857*2^1407580-1 is not prime. Res64: DD47525FDB15FDAD Time : 0.0 sec. user=mdettweiler [2015-08-28 05:42:39] 873*2^1407580-1 is not prime. Res64: AF74FF7915E8FCDD Time : 0.0 sec. user=mdettweiler [2015-08-28 05:45:43] 887*2^1407580-1 is not prime. Res64: 22402844FC53586E Time : 0.0 sec. user=mdettweiler [2015-08-28 05:45:43] 975*2^1407580-1 is not prime. Res64: 33E2076987F2299B Time : 0.0 sec. user=mdettweiler [2015-08-28 06:00:05] 989*2^1407580-1 is not prime. Res64: 2A9CE7ACED5F429F Time : 0.0 sec. user=mdettweiler [2015-08-28 06:00:05] 619*2^1407581-1 is not prime. Res64: A439EE5DECC29243 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:00:19] 691*2^1407581-1 is not prime. Res64: 45900E85A3874FC3 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:00:20] 727*2^1407581-1 is not prime. Res64: ED133AD7CE6A0EA6 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:00:33] 741*2^1407581-1 is not prime. Res64: 6E76B6514F7E0E77 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:00:34] 829*2^1407581-1 is not prime. Res64: 131405D525F075EA Time : 0.0 sec. user=mdettweiler [2015-08-28 06:03:36] 885*2^1407581-1 is not prime. Res64: 1E2375C9510C39E6 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:03:37] 801*2^1407582-1 is not prime. Res64: 8DF3E01AD5CED0FF Time : 0.0 sec. user=mdettweiler [2015-08-28 06:17:53] 893*2^1407582-1 is not prime. Res64: 9077CC3429AEC993 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:17:54] 957*2^1407582-1 is not prime. Res64: 70643DA1A0005D0C Time : 0.0 sec. user=mdettweiler [2015-08-28 06:18:04] 1001*2^1407582-1 is not prime. Res64: 8266090952F34E39 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:18:04] 625*2^1407583-1 is not prime. Res64: 0BFDD7D0406D6ADB Time : 0.0 sec. user=mdettweiler [2015-08-28 06:18:17] 705*2^1407583-1 is not prime. Res64: 45A291060073A307 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:18:17] 775*2^1407583-1 is not prime. Res64: 53945DB1DDB86CE9 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:21:36] 855*2^1407583-1 is not prime. Res64: 4E520832ABD776C5 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:21:37] 891*2^1407583-1 is not prime. Res64: ACE9576411D6D46A Time : 0.0 sec. user=mdettweiler [2015-08-28 06:35:37] 985*2^1407583-1 is not prime. Res64: 19DE2D3E0981839D Time : 0.0 sec. user=mdettweiler [2015-08-28 06:35:38] 645*2^1407584-1 is not prime. Res64: DCA1B65C042A4F12 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:35:41] 665*2^1407584-1 is not prime. Res64: D7AA955856912AC6 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:35:42] 743*2^1407584-1 is not prime. Res64: 2C0598D7194F9FDF Time : 0.0 sec. user=mdettweiler [2015-08-28 06:35:56] 789*2^1407584-1 is not prime. Res64: 99E8F9464E80973E Time : 0.0 sec. user=mdettweiler [2015-08-28 06:35:56] 819*2^1407584-1 is not prime. Res64: 817FB9B263666E62 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:39:13] 873*2^1407584-1 is not prime. Res64: 1CD147A99ED2EB22 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:39:13] 929*2^1407584-1 is not prime. Res64: 5FF27161E0A66A0E Time : 0.0 sec. user=mdettweiler [2015-08-28 06:53:17] 649*2^1407585-1 is not prime. Res64: B685EE382B71C284 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:53:17] 657*2^1407585-1 is not prime. Res64: 213ABE9AF2E2FF6C Time : 0.0 sec. user=mdettweiler [2015-08-28 06:53:19] 885*2^1407585-1 is not prime. Res64: 2A588FD40239973E Time : 0.0 sec. user=mdettweiler [2015-08-28 06:53:20] 617*2^1407586-1 is not prime. Res64: 9EDD8C5D16579DDA Time : 0.0 sec. user=mdettweiler [2015-08-28 06:53:34] 675*2^1407586-1 is not prime. Res64: 4470F27A428D2FF1 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:53:35] 723*2^1407586-1 is not prime. Res64: 861C0EAD831502C9 Time : 0.0 sec. user=mdettweiler [2015-08-28 06:56:50] 737*2^1407586-1 is not prime. Res64: 0754116876226B8E Time : 0.0 sec. user=mdettweiler [2015-08-28 06:56:50] 765*2^1407586-1 is not prime. Res64: 73656F11BCA855EE Time : 0.0 sec. user=mdettweiler [2015-08-28 07:10:57] 843*2^1407586-1 is not prime. Res64: 9F159A64E10ED064 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:10:58] 983*2^1407586-1 is not prime. Res64: AEDE7AC1CB35724A Time : 0.0 sec. user=mdettweiler [2015-08-28 07:11:09] 1001*2^1407586-1 is not prime. Res64: 9FD4CC5FF35A7FAF Time : 0.0 sec. user=mdettweiler [2015-08-28 07:11:09] 655*2^1407587-1 is not prime. Res64: 60A38F698B20356D Time : 0.0 sec. user=mdettweiler [2015-08-28 07:11:13] 675*2^1407587-1 is not prime. Res64: 2C000E6F86ECEB48 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:11:14] 805*2^1407587-1 is not prime. Res64: BC621119E635E3CF Time : 0.0 sec. user=mdettweiler [2015-08-28 07:14:33] 605*2^1407588-1 is not prime. Res64: CA099ACFEDDC4674 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:14:34] 707*2^1407588-1 is not prime. Res64: 57642A4DC88B7E4F Time : 0.0 sec. user=mdettweiler [2015-08-28 07:28:35] 723*2^1407588-1 is not prime. Res64: BBCAFE6F95864FC2 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:28:35] 789*2^1407588-1 is not prime. Res64: 96059555FBF44989 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:28:46] 843*2^1407588-1 is not prime. Res64: D7803C99DFD4284D Time : 0.0 sec. user=mdettweiler [2015-08-28 07:28:47] 933*2^1407588-1 is not prime. Res64: 451B596F80175A5D Time : 0.0 sec. user=mdettweiler [2015-08-28 07:28:53] 601*2^1407589-1 is not prime. Res64: 17108B081338FC93 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:28:54] 609*2^1407589-1 is not prime. Res64: 332D5AB78090E8DC Time : 0.0 sec. user=mdettweiler [2015-08-28 07:32:17] 741*2^1407589-1 is not prime. Res64: 6D77B28844DF204C Time : 0.0 sec. user=mdettweiler [2015-08-28 07:32:17] 801*2^1407589-1 is not prime. Res64: 5D947FC558D6AEF7 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:46:10] 939*2^1407589-1 is not prime. Res64: 222A1495BF27DBA6 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:46:10] 955*2^1407589-1 is not prime. Res64: 4F22DE38CFAFA133 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:46:25] 997*2^1407589-1 is not prime. Res64: 7CAE6F9B651DBC9C Time : 0.0 sec. user=mdettweiler [2015-08-28 07:46:26] 999*2^1407589-1 is not prime. Res64: 61300BD6A4DA9D89 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:46:31] 605*2^1407590-1 is not prime. Res64: 4011EE8575EA5112 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:46:31] 641*2^1407590-1 is not prime. Res64: 36428BF7EEB2F68B Time : 0.0 sec. user=mdettweiler [2015-08-28 07:49:52] 665*2^1407590-1 is not prime. Res64: D8A655D66902E088 Time : 0.0 sec. user=mdettweiler [2015-08-28 07:49:53] 743*2^1407590-1 is not prime. Res64: BBC54F40E01EDC23 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:03:50] 753*2^1407590-1 is not prime. Res64: 529F676F168904A6 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:03:52] 801*2^1407590-1 is not prime. Res64: 5AB7A989991A543B Time : 0.0 sec. user=mdettweiler [2015-08-28 08:04:06] 867*2^1407590-1 is not prime. Res64: DE8724D88157CE61 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:04:07] 897*2^1407590-1 is not prime. Res64: C8467DB78BBE75BF Time : 0.0 sec. user=mdettweiler [2015-08-28 08:04:19] 953*2^1407590-1 is not prime. Res64: 1CC185EA57DC70F1 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:04:20] 703*2^1407591-1 is not prime. Res64: 3FF7127985118CB1 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:07:27] 909*2^1407591-1 is not prime. Res64: A396B8784EB9EF84 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:07:28] 931*2^1407591-1 is not prime. Res64: BC3B9E38404028E1 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:21:38] 951*2^1407591-1 is not prime. Res64: B108A1ED4ED4B448 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:21:39] 695*2^1407592-1 is not prime. Res64: F40EB42254FCA41B Time : 0.0 sec. user=mdettweiler [2015-08-28 08:21:41] 813*2^1407592-1 is not prime. Res64: 344AC9E348C274D8 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:21:41] 855*2^1407592-1 is not prime. Res64: 0DF2EEE165B0CABA Time : 0.0 sec. user=mdettweiler [2015-08-28 08:21:57] 873*2^1407592-1 is not prime. Res64: FD57CBA5B7D8BBE8 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:21:58] 615*2^1407593-1 is not prime. Res64: 0131F60F8F554CB8 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:25:02] 657*2^1407593-1 is not prime. Res64: 762A3DC39C13459C Time : 0.0 sec. user=mdettweiler [2015-08-28 08:25:02] 771*2^1407593-1 is not prime. Res64: 2ACEE1245CD506AC Time : 0.0 sec. user=mdettweiler [2015-08-28 08:39:13] 811*2^1407593-1 is not prime. Res64: BAEBCEE187B2B199 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:39:14] 871*2^1407593-1 is not prime. Res64: 272E8979D1E34E39 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:39:21] 787*2^1407593-1 is not prime. Res64: 4C551F0B873BF8FE Time : 0.0 sec. user=mdettweiler [2015-08-28 08:39:22] 795*2^1407593-1 is not prime. Res64: F8A7D0A922341C96 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:39:39] 879*2^1407593-1 is not prime. Res64: 2C7C73D2D75993E6 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:39:39] 951*2^1407593-1 is not prime. Res64: 8228A0FF829DD751 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:42:36] 635*2^1407594-1 is not prime. Res64: E919317B03006FFE Time : 0.0 sec. user=mdettweiler [2015-08-28 08:42:37] 705*2^1407594-1 is not prime. Res64: 5062EF6384DEB200 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:56:47] 945*2^1407594-1 is not prime. Res64: 8F9B7F1DEF822201 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:56:47] 975*2^1407594-1 is not prime. Res64: F8C77AA3AB5D228B Time : 0.0 sec. user=mdettweiler [2015-08-28 08:56:50] 993*2^1407594-1 is not prime. Res64: 52038B9353B89EDF Time : 0.0 sec. user=mdettweiler [2015-08-28 08:56:51] 715*2^1407595-1 is not prime. Res64: 1E2FD22973EE613D Time : 0.0 sec. user=mdettweiler [2015-08-28 08:57:10] 789*2^1407595-1 is not prime. Res64: 97B205B070B0EC12 Time : 0.0 sec. user=mdettweiler [2015-08-28 08:57:10] 855*2^1407595-1 is not prime. Res64: C9F2D5C280013E0F Time : 0.0 sec. user=mdettweiler [2015-08-28 09:00:11] 885*2^1407595-1 is not prime. Res64: D40F41E77A156053 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:00:11] 969*2^1407595-1 is not prime. Res64: 8E811612CBA26DE1 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:14:25] 677*2^1407596-1 is not prime. Res64: D960F23F0943E0AC Time : 0.0 sec. user=mdettweiler [2015-08-28 09:14:26] 755*2^1407596-1 is not prime. Res64: 94AF32D0AD209057 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:14:28] 825*2^1407596-1 is not prime. Res64: 5E9C2005ADF92544 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:14:29] 857*2^1407596-1 is not prime. Res64: 9832CE585BD9BDEE Time : 0.0 sec. user=mdettweiler [2015-08-28 09:14:47] 709*2^1407597-1 is not prime. Res64: 53514621F044CC7A Time : 0.0 sec. user=mdettweiler [2015-08-28 09:14:47] 717*2^1407597-1 is not prime. Res64: 920CF4731E62AD5D Time : 0.0 sec. user=mdettweiler [2015-08-28 09:17:41] 819*2^1407597-1 is not prime. Res64: 02002227EF2E241B Time : 0.0 sec. user=mdettweiler [2015-08-28 09:17:41] 847*2^1407597-1 is not prime. Res64: AE45F9282E08847A Time : 0.0 sec. user=mdettweiler [2015-08-28 09:32:06] 861*2^1407597-1 is not prime. Res64: 6C672BB27EDC458C Time : 0.0 sec. user=mdettweiler [2015-08-28 09:32:06] 871*2^1407597-1 is not prime. Res64: 7281B459689DA532 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:32:11] 647*2^1407598-1 is not prime. Res64: 5D7460704C3AD62F Time : 0.0 sec. user=mdettweiler [2015-08-28 09:32:11] 681*2^1407598-1 is not prime. Res64: 633B1AB791CAF65A Time : 0.0 sec. user=mdettweiler [2015-08-28 09:32:21] 743*2^1407598-1 is not prime. Res64: 30603A21464DA642 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:32:21] 755*2^1407598-1 is not prime. Res64: 2034CFCF32BDD237 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:35:24] 761*2^1407598-1 is not prime. Res64: 44B545DE50CE116D Time : 0.0 sec. user=mdettweiler [2015-08-28 09:35:24] 827*2^1407598-1 is not prime. Res64: FE768711306461E9 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:49:39] 609*2^1407599-1 is not prime. Res64: 16F7CE665AD36631 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:49:39] 619*2^1407599-1 is not prime. Res64: 7853E784FD054EC0 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:49:50] 763*2^1407599-1 is not prime. Res64: F30EB61AD53BB30F Time : 0.0 sec. user=mdettweiler [2015-08-28 09:49:50] 843*2^1407599-1 is not prime. Res64: C1D08C79FDC3CCE2 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:49:55] 859*2^1407599-1 is not prime. Res64: 6E4CB55441CF8FD4 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:49:55] 943*2^1407599-1 is not prime. Res64: 431E873317A332C0 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:53:03] 627*2^1407600-1 is not prime. Res64: 77769B64405C8794 Time : 0.0 sec. user=mdettweiler [2015-08-28 09:53:04] 713*2^1407600-1 is not prime. Res64: ECF14BE136D14388 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:07:23] 789*2^1407600-1 is not prime. Res64: F4AD0267BA79CBD7 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:07:24] 839*2^1407600-1 is not prime. Res64: 24E9780CCC2D4339 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:07:26] 927*2^1407600-1 is not prime. Res64: FA904A020722DD39 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:07:28] 975*2^1407600-1 is not prime. Res64: EA84A5F94D9D29BE Time : 0.0 sec. user=mdettweiler [2015-08-28 10:07:36] 983*2^1407600-1 is not prime. Res64: F3E80D2230BFDE23 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:07:36] 609*2^1407601-1 is not prime. Res64: D38BA256AC750DAE Time : 0.0 sec. user=mdettweiler [2015-08-28 10:10:47] 639*2^1407601-1 is not prime. Res64: 4CE55C5A14F45AAB Time : 0.0 sec. user=mdettweiler [2015-08-28 10:10:47] 679*2^1407601-1 is not prime. Res64: 705F0D1756FEB116 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:25:14] 705*2^1407601-1 is not prime. Res64: 77E4427B15B5EDD0 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:25:14] 715*2^1407601-1 is not prime. Res64: 5A254929F5D9E032 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:25:17] 741*2^1407601-1 is not prime. Res64: 57F0047D6D6FB6AB Time : 0.0 sec. user=mdettweiler [2015-08-28 10:25:18] 799*2^1407601-1 is not prime. Res64: 88E1FCE1E7262EB2 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:25:20] 867*2^1407601-1 is not prime. Res64: 3F7BF147EE2051A7 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:25:20] 665*2^1407602-1 is not prime. Res64: 42D04449BCE91791 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:28:30] 791*2^1407602-1 is not prime. Res64: 2AB738050B08928E Time : 0.0 sec. user=mdettweiler [2015-08-28 10:28:31] 801*2^1407602-1 is not prime. Res64: 2A0678325420DEE7 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:42:47] 887*2^1407602-1 is not prime. Res64: 3139CB23D118DA06 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:42:47] 915*2^1407602-1 is not prime. Res64: 26B6E9E9A58B2074 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:42:48] 977*2^1407602-1 is not prime. Res64: 243EF44549B30F6F Time : 0.0 sec. user=mdettweiler [2015-08-28 10:42:48] 723*2^1407603-1 is not prime. Res64: 8CE2A4928541E932 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:42:59] 751*2^1407603-1 is not prime. Res64: D05F4C86B82FE7FC Time : 0.0 sec. user=mdettweiler [2015-08-28 10:43:00] 769*2^1407603-1 is not prime. Res64: C7123EC39DE9AE02 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:46:05] 789*2^1407603-1 is not prime. Res64: 09F8988510A026C5 Time : 0.0 sec. user=mdettweiler [2015-08-28 10:46:05] 793*2^1407603-1 is not prime. Res64: 09AE07FC64903900 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:00:24] 835*2^1407603-1 is not prime. Res64: 7E2E4A92B02A22A5 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:00:24] 859*2^1407603-1 is not prime. Res64: 907F5C2ABE1BE094 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:00:28] 879*2^1407603-1 is not prime. Res64: D94302CA49972E99 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:00:28] 955*2^1407603-1 is not prime. Res64: 56060A1C6C0F6438 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:00:37] 969*2^1407603-1 is not prime. Res64: A2F784C590BD6D72 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:00:38] 609*2^1407604-1 is not prime. Res64: C36823D07F46118B Time : 0.0 sec. user=mdettweiler [2015-08-28 11:03:48] 615*2^1407604-1 is not prime. Res64: F6E5B35E031A147F Time : 0.0 sec. user=mdettweiler [2015-08-28 11:03:49] 657*2^1407604-1 is not prime. Res64: BAA330AEBED86EA8 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:18:00] 717*2^1407604-1 is not prime. Res64: 2E56AEC34ACB5D8F Time : 0.0 sec. user=mdettweiler [2015-08-28 11:18:00] 869*2^1407604-1 is not prime. Res64: 3D73FFFE9468C42A Time : 0.0 sec. user=mdettweiler [2015-08-28 11:18:01] 915*2^1407604-1 is not prime. Res64: 9B5A561148D080A1 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:18:01] 607*2^1407605-1 is not prime. Res64: A0B74B0ECE4E4D3C Time : 0.0 sec. user=mdettweiler [2015-08-28 11:18:14] 717*2^1407605-1 is not prime. Res64: CBE75611DDA301FD Time : 0.0 sec. user=mdettweiler [2015-08-28 11:18:15] 759*2^1407605-1 is not prime. Res64: 0654733EF5B424D2 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:21:31] 811*2^1407605-1 is not prime. Res64: 9F8CF9DAE88510D2 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:21:31] 837*2^1407605-1 is not prime. Res64: 13E4ADB2E6D9DE43 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:35:50] 847*2^1407605-1 is not prime. Res64: 987AF2B7E8C5633F Time : 0.0 sec. user=mdettweiler [2015-08-28 11:35:51] 865*2^1407605-1 is not prime. Res64: 778BFE256237F786 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:35:51] 711*2^1407606-1 is not prime. Res64: 917CF759F043D9FA Time : 0.0 sec. user=mdettweiler [2015-08-28 11:35:51] 725*2^1407606-1 is not prime. Res64: 4CC0322502845CCA Time : 0.0 sec. user=mdettweiler [2015-08-28 11:35:57] 671*2^1407606-1 is not prime. Res64: A0082A3BE7787CB1 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:35:57] 707*2^1407606-1 is not prime. Res64: E5B62C065ED03F23 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:39:11] 783*2^1407606-1 is not prime. Res64: 834E2BB75E812D08 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:39:11] 881*2^1407606-1 is not prime. Res64: 7885775090D11768 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:53:28] 713*2^1407608-1 is not prime. Res64: 2F9B1DD5E33F85FA Time : 0.0 sec. user=mdettweiler [2015-08-28 11:53:29] 753*2^1407608-1 is not prime. Res64: 11782111C92653CC Time : 0.0 sec. user=mdettweiler [2015-08-28 11:53:38] 767*2^1407608-1 is not prime. Res64: 0A9AE08D129419F1 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:53:39] 833*2^1407608-1 is not prime. Res64: E7C85C7BC5A648B7 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:53:43] 735*2^1407607-1 is not prime. Res64: D0F2DE5C6EEB0782 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:53:44] 931*2^1407607-1 is not prime. Res64: 351B607BAA3E483D Time : 0.0 sec. user=mdettweiler [2015-08-28 11:56:57] 845*2^1407608-1 is not prime. Res64: 427C33AEB52726E0 Time : 0.0 sec. user=mdettweiler [2015-08-28 11:56:58] 867*2^1407608-1 is not prime. Res64: AEDE6A18D533A0A5 Time : 0.0 sec. user=S_K_ [2015-08-28 12:05:22] 993*2^1407598-1 is not prime. Res64: 53EAFD8E223E37AE Time : 0.0 sec. user=mdettweiler [2015-08-28 12:11:06] 915*2^1407608-1 is not prime. Res64: 0B41E0BF905980F3 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:11:07] 959*2^1407608-1 is not prime. Res64: DA736234925AAD3A Time : 0.0 sec. user=mdettweiler [2015-08-28 12:11:17] 963*2^1407608-1 is not prime. Res64: 90EFB1BCC90944E9 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:11:18] 609*2^1407609-1 is not prime. Res64: 9CE08CA0946B7F89 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:11:23] 649*2^1407609-1 is not prime. Res64: 60DEFFB9EEE21C4E Time : 0.0 sec. user=mdettweiler [2015-08-28 12:11:23] 711*2^1407609-1 is not prime. Res64: 0BAB3D21A62B8FF2 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:14:30] 861*2^1407609-1 is not prime. Res64: 0092317D1BAAF3C5 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:14:31] 611*2^1407610-1 is not prime. Res64: A7C6EFA260194A98 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:29:11] 821*2^1407610-1 is not prime. Res64: 73A51B2E90CAE85A Time : 0.0 sec. user=mdettweiler [2015-08-28 12:29:11] 887*2^1407610-1 is not prime. Res64: C48AF4285189083D Time : 0.0 sec. user=mdettweiler [2015-08-28 12:29:16] 911*2^1407610-1 is not prime. Res64: B61BEBAAD22AAE34 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:29:16] 945*2^1407610-1 is not prime. Res64: FD0AFC6957C89995 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:29:19] 957*2^1407610-1 is not prime. Res64: C28F586181886B45 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:29:19] 601*2^1407611-1 is not prime. Res64: 7633D58CB1C5E528 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:32:33] 619*2^1407611-1 is not prime. Res64: 651ECB1E1C20C2EB Time : 0.0 sec. user=mdettweiler [2015-08-28 12:32:33] 841*2^1407611-1 is not prime. Res64: C5EE560244F408FB Time : 0.0 sec. user=S_K_ [2015-08-28 12:42:33] 783*2^1407610-1 is not prime. Res64: 9B86C2CBCD8B5394 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:47:10] 901*2^1407611-1 is not prime. Res64: CE44B0EB160EB4CF Time : 0.0 sec. user=mdettweiler [2015-08-28 12:47:10] 979*2^1407611-1 is not prime. Res64: 5E1459B264108EB6 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:47:17] 923*2^1407612-1 is not prime. Res64: D7DA4A08861A6919 Time : 0.0 sec. user=mdettweiler [2015-08-28 12:47:17] 685*2^1407613-1 is not prime. Res64: BA4663E7B6EE9B5C Time : 0.0 sec. user=mdettweiler [2015-08-28 12:47:20] 669*2^1407612-1 is not prime. Res64: 54BFA8ED3EBD75AE Time : 0.0 sec. user=mdettweiler [2015-08-28 12:47:21] 893*2^1407612-1 is not prime. Res64: 2C3D7945188E769A Time : 0.0 sec. user=mdettweiler [2015-08-28 12:50:45] 699*2^1407613-1 is not prime. Res64: 774284405224E8BE Time : 0.0 sec. user=mdettweiler [2015-08-28 12:50:45] 727*2^1407613-1 is not prime. Res64: 400688E4534F5428 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:05:36] 771*2^1407613-1 is not prime. Res64: 8E32BB330D796832 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:05:37] 927*2^1407613-1 is not prime. Res64: 99D2990526FD8FCA Time : 0.0 sec. user=mdettweiler [2015-08-28 13:05:46] 985*2^1407613-1 is not prime. Res64: C64F5811F5C4ACAD Time : 0.0 sec. user=mdettweiler [2015-08-28 13:05:47] 641*2^1407614-1 is not prime. Res64: 7C6EC18B092BEC43 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:05:54] 767*2^1407614-1 is not prime. Res64: 1FA0E9295A5FE095 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:05:56] 813*2^1407614-1 is not prime. Res64: F97E345B82D26577 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:09:13] 873*2^1407614-1 is not prime. Res64: 6014BC04E7581FB4 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:09:13] 885*2^1407614-1 is not prime. Res64: FB5C1E99A18A0375 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:23:40] 693*2^1407615-1 is not prime. Res64: 3895BB4E34553007 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:23:40] 871*2^1407615-1 is not prime. Res64: CFF7A66551060336 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:23:42] 601*2^1407615-1 is not prime. Res64: 4821A903AE5ABA50 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:23:42] 613*2^1407615-1 is not prime. Res64: 5CBA6CCF0B4E14C0 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:23:44] 915*2^1407614-1 is not prime. Res64: 031D7F8BE05708D6 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:23:44] 923*2^1407614-1 is not prime. Res64: 886F9608D46EAD14 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:26:53] 895*2^1407615-1 is not prime. Res64: 4C05399F7FE3D6E2 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:26:53] 949*2^1407615-1 is not prime. Res64: F87C63133BA9D611 Time : 0.0 sec. user=S_K_ [2015-08-28 13:29:56] 769*2^1407613-1 is not prime. Res64: 670BCB6665D05030 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:41:16] 873*2^1407616-1 is not prime. Res64: B2E77BF5634687F8 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:41:17] 933*2^1407616-1 is not prime. Res64: 9C825FBD41729453 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:41:22] 963*2^1407615-1 is not prime. Res64: 685AAC50F3C748CF Time : 0.0 sec. user=mdettweiler [2015-08-28 13:41:22] 845*2^1407616-1 is not prime. Res64: 78013F60B8473DF1 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:41:22] 637*2^1407617-1 is not prime. Res64: F2F1309B177E0965 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:41:23] 831*2^1407617-1 is not prime. Res64: 836AACA1A3E3805A Time : 0.0 sec. user=mdettweiler [2015-08-28 13:44:33] 901*2^1407617-1 is not prime. Res64: 791881FE1F244DF5 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:44:33] 663*2^1407618-1 is not prime. Res64: 1B8B666AC0A20ACD Time : 0.0 sec. user=mdettweiler [2015-08-28 13:58:56] 713*2^1407618-1 is not prime. Res64: BA8C5E0174A16C7C Time : 0.0 sec. user=mdettweiler [2015-08-28 13:58:56] 735*2^1407618-1 is not prime. Res64: A5523F4DAC514B96 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:58:56] 833*2^1407618-1 is not prime. Res64: 0E2C412977DCB188 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:58:57] 633*2^1407619-1 is not prime. Res64: 21A7AF07DA75A384 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:59:01] 767*2^1407618-1 is not prime. Res64: 4D77943983D1CC17 Time : 0.0 sec. user=mdettweiler [2015-08-28 13:59:02] 777*2^1407618-1 is not prime. Res64: 0C8F6817D206D934 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:02:11] 709*2^1407619-1 is not prime. Res64: 61AF91A5DBEF54F3 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:02:12] 793*2^1407619-1 is not prime. Res64: 7B349CF2F7530674 Time : 0.0 sec. user=S_K_ [2015-08-28 14:08:09] 705*2^1407618-1 is not prime. Res64: 6AE9077EB9F18733 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:16:38] 605*2^1407620-1 is not prime. Res64: 3CEEE46BCE8F144B Time : 0.0 sec. user=mdettweiler [2015-08-28 14:16:38] 609*2^1407620-1 is not prime. Res64: 92A723938A5C4782 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:16:40] 925*2^1407619-1 is not prime. Res64: A0189F45BBC444F9 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:16:41] 985*2^1407619-1 is not prime. Res64: B22B942558F37EDF Time : 0.0 sec. user=mdettweiler [2015-08-28 14:16:45] 717*2^1407620-1 is not prime. Res64: 2165086F20F8460C Time : 0.0 sec. user=mdettweiler [2015-08-28 14:16:46] 797*2^1407620-1 is not prime. Res64: 4CC290A7281BCD31 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:19:51] 909*2^1407620-1 is not prime. Res64: 9F545511B3EF069E Time : 0.0 sec. user=mdettweiler [2015-08-28 14:19:52] 923*2^1407620-1 is not prime. Res64: 7CA55C6D151AF057 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:34:20] 957*2^1407620-1 is not prime. Res64: 65745300157F4E2B Time : 0.0 sec. user=mdettweiler [2015-08-28 14:34:20] 609*2^1407621-1 is not prime. Res64: 4A74929E114D8F94 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:34:20] 847*2^1407621-1 is not prime. Res64: 9D100DC32887A2FE Time : 0.0 sec. user=mdettweiler [2015-08-28 14:34:21] 885*2^1407621-1 is not prime. Res64: C00440828A567ED0 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:34:28] 657*2^1407621-1 is not prime. Res64: 97358F4847D6E175 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:34:28] 679*2^1407621-1 is not prime. Res64: F13649A8B64C816A Time : 0.0 sec. user=mdettweiler [2015-08-28 14:37:29] 895*2^1407621-1 is not prime. Res64: C51AEB46C9530BC2 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:37:30] 827*2^1407622-1 is not prime. Res64: DCC51B3806437D53 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:51:57] 855*2^1407622-1 is not prime. Res64: 7A3E145C58038414 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:51:57] 619*2^1407623-1 is not prime. Res64: D582250FB7348E2F Time : 0.0 sec. user=mdettweiler [2015-08-28 14:52:02] 853*2^1407623-1 is not prime. Res64: C1D652F94AD7BEED Time : 0.0 sec. user=mdettweiler [2015-08-28 14:52:02] 855*2^1407623-1 is not prime. Res64: C3CC7282B8009003 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:52:03] 633*2^1407623-1 is not prime. Res64: 85FC1A065C6B27D3 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:52:03] 781*2^1407623-1 is not prime. Res64: 60977CAE117CE76D Time : 0.0 sec. user=mdettweiler [2015-08-28 14:55:07] 861*2^1407623-1 is not prime. Res64: 63A2F7712E4B1357 Time : 0.0 sec. user=mdettweiler [2015-08-28 14:55:07] 921*2^1407623-1 is not prime. Res64: 37088095F4B73642 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:09:34] 963*2^1407623-1 is not prime. Res64: D41E5FA2F2A0EDFC Time : 0.0 sec. user=mdettweiler [2015-08-28 15:09:35] 705*2^1407624-1 is not prime. Res64: 98A20451FF83C903 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:09:35] 615*2^1407624-1 is not prime. Res64: 0CD64305016C736D Time : 0.0 sec. user=mdettweiler [2015-08-28 15:09:35] 767*2^1407624-1 is not prime. Res64: 9D025B9124F5E15E Time : 0.0 sec. user=mdettweiler [2015-08-28 15:09:42] 837*2^1407624-1 is not prime. Res64: E2B51274B9225FB5 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:09:43] 899*2^1407624-1 is not prime. Res64: 888EF948F2A22AD5 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:12:45] 909*2^1407624-1 is not prime. Res64: FEF2C7CAF8EED69C Time : 0.0 sec. user=mdettweiler [2015-08-28 15:12:45] 691*2^1407625-1 is not prime. Res64: 5CF895A2E983B1D1 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:27:14] 755*2^1407626-1 is not prime. Res64: E092833B29181534 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:27:14] 785*2^1407626-1 is not prime. Res64: 3EC1A92BC237CEBA Time : 0.0 sec. user=mdettweiler [2015-08-28 15:27:15] 951*2^1407625-1 is not prime. Res64: 26488291979F2636 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:27:16] 705*2^1407626-1 is not prime. Res64: C7A96485AB5A2716 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:27:25] 813*2^1407626-1 is not prime. Res64: 20933680FDFCAFF1 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:27:26] 887*2^1407626-1 is not prime. Res64: 75C19E27E4D993D4 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:30:26] 893*2^1407626-1 is not prime. Res64: 9C355642351EE480 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:30:27] 911*2^1407626-1 is not prime. Res64: 4107E8ACEABBDE09 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:44:56] 625*2^1407627-1 is not prime. Res64: 676A08098634892F Time : 0.0 sec. user=mdettweiler [2015-08-28 15:44:56] 735*2^1407627-1 is not prime. Res64: B86784AD94FDA92E Time : 0.0 sec. user=mdettweiler [2015-08-28 15:44:57] 753*2^1407627-1 is not prime. Res64: FB02506C5885C420 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:44:58] 765*2^1407627-1 is not prime. Res64: 96FD1792712BBE76 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:45:07] 829*2^1407627-1 is not prime. Res64: 64BCED07D59079FA Time : 0.0 sec. user=mdettweiler [2015-08-28 15:45:08] 843*2^1407627-1 is not prime. Res64: 76E271197A8955A9 Time : 0.0 sec. user=mdettweiler [2015-08-28 15:48:04] 635*2^1407628-1 is not prime. Res64: 186CAE18C8A1737C Time : 0.0 sec. user=mdettweiler [2015-08-28 15:48:05] 657*2^1407628-1 is not prime. Res64: 92E10580410DE0B7 Time : 0.0 sec. user=S_K_ [2015-08-28 16:00:29] 609*2^1407627-1 is not prime. Res64: 59F4D432A8F64854 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:02:32] 699*2^1407628-1 is not prime. Res64: 6CBB2718E500BC72 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:02:33] 773*2^1407628-1 is not prime. Res64: 3AAC715429007F55 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:02:35] 677*2^1407628-1 is not prime. Res64: 3F61534227ACB6CD Time : 0.0 sec. user=mdettweiler [2015-08-28 16:02:36] 687*2^1407628-1 is not prime. Res64: 3176CA9E5725314E Time : 0.0 sec. user=mdettweiler [2015-08-28 16:02:55] 987*2^1407628-1 is not prime. Res64: A17A177DE159CAED Time : 0.0 sec. user=mdettweiler [2015-08-28 16:02:55] 999*2^1407628-1 is not prime. Res64: E846B7FF8D3875E0 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:05:41] 727*2^1407629-1 is not prime. Res64: A266E441FE0755FD Time : 0.0 sec. user=mdettweiler [2015-08-28 16:05:43] 855*2^1407629-1 is not prime. Res64: ACF983E0D9A15962 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:20:18] 761*2^1407630-1 is not prime. Res64: BD614C3B7F55AFF6 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:20:19] 821*2^1407630-1 is not prime. Res64: 15ED33452CD5B0A9 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:20:21] 641*2^1407630-1 is not prime. Res64: ADE8FED8600ED92C Time : 0.0 sec. user=mdettweiler [2015-08-28 16:20:22] 747*2^1407630-1 is not prime. Res64: 1C307B394253656F Time : 0.0 sec. user=mdettweiler [2015-08-28 16:20:50] 885*2^1407630-1 is not prime. Res64: 1126BB6FB98745AA Time : 0.0 sec. user=mdettweiler [2015-08-28 16:20:51] 651*2^1407631-1 is not prime. Res64: DD41B7B912C85CD6 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:23:33] 741*2^1407631-1 is not prime. Res64: EC9E52ADC5FFD0B4 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:23:34] 745*2^1407631-1 is not prime. Res64: 11BFEFC1D4E223E9 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:38:19] 885*2^1407631-1 is not prime. Res64: 79B921A62199A9A0 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:38:19] 973*2^1407631-1 is not prime. Res64: 6AE33EF10397836A Time : 0.0 sec. user=mdettweiler [2015-08-28 16:38:32] 861*2^1407631-1 is not prime. Res64: 06E4A5852A0C1849 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:38:32] 873*2^1407631-1 is not prime. Res64: D31EB7F33320B50D Time : 0.0 sec. user=mdettweiler [2015-08-28 16:38:47] 603*2^1407632-1 is not prime. Res64: 275B3827D0CF0170 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:38:47] 669*2^1407632-1 is not prime. Res64: 0D4A071855F2AB35 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:41:38] 669*2^1407633-1 is not prime. Res64: 5857C6C7F65C2C3F Time : 0.0 sec. user=mdettweiler [2015-08-28 16:41:38] 751*2^1407633-1 is not prime. Res64: 54E75612FFD7C74E Time : 0.0 sec. user=mdettweiler [2015-08-28 16:55:57] 889*2^1407633-1 is not prime. Res64: 7384087B35334B91 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:55:57] 937*2^1407633-1 is not prime. Res64: 7981AF72E0FCEACF Time : 0.0 sec. user=mdettweiler [2015-08-28 16:56:12] 621*2^1407634-1 is not prime. Res64: 0CFC8626ABF2B32F Time : 0.0 sec. user=mdettweiler [2015-08-28 16:56:12] 663*2^1407634-1 is not prime. Res64: 2DF5C73E11EB151E Time : 0.0 sec. user=mdettweiler [2015-08-28 16:56:23] 815*2^1407634-1 is not prime. Res64: 629E09B2576D44EF Time : 0.0 sec. user=mdettweiler [2015-08-28 16:56:23] 827*2^1407634-1 is not prime. Res64: C2C229A97B5624F2 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:59:14] 885*2^1407634-1 is not prime. Res64: 1D657F7B88B7DC29 Time : 0.0 sec. user=mdettweiler [2015-08-28 16:59:14] 993*2^1407634-1 is not prime. Res64: 2D3482C9E3F6ED67 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:13:37] 693*2^1407635-1 is not prime. Res64: 38DC2F1586240794 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:13:38] 859*2^1407635-1 is not prime. Res64: FE7609550139707C Time : 0.0 sec. user=mdettweiler [2015-08-28 17:13:50] 913*2^1407635-1 is not prime. Res64: 1DA48046F805258B Time : 0.0 sec. user=mdettweiler [2015-08-28 17:13:50] 939*2^1407635-1 is not prime. Res64: 59B1CAAF89D1E461 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:14:02] 627*2^1407636-1 is not prime. Res64: FE04E7F5984896F6 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:14:02] 653*2^1407636-1 is not prime. Res64: 351E5207090B4A3A Time : 0.0 sec. user=mdettweiler [2015-08-28 17:16:52] 689*2^1407636-1 is not prime. Res64: DAFFB45927758E5B Time : 0.0 sec. user=mdettweiler [2015-08-28 17:16:52] 725*2^1407636-1 is not prime. Res64: 44DA192B00336699 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:31:15] 765*2^1407636-1 is not prime. Res64: 86A7BD0EF3EDE84F Time : 0.0 sec. user=mdettweiler [2015-08-28 17:31:16] 779*2^1407636-1 is not prime. Res64: 5E9BEE26FD36DC7A Time : 0.0 sec. user=mdettweiler [2015-08-28 17:31:23] 893*2^1407636-1 is not prime. Res64: AD5E213FC547BF9E Time : 0.0 sec. user=mdettweiler [2015-08-28 17:31:24] 903*2^1407636-1 is not prime. Res64: 18DC153A09C17333 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:31:42] 969*2^1407636-1 is not prime. Res64: 1021BF3E9F922950 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:31:43] 975*2^1407636-1 is not prime. Res64: 0167F9E029E68644 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:34:30] 639*2^1407637-1 is not prime. Res64: 90A14CDE051F3021 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:34:31] 729*2^1407637-1 is not prime. Res64: 22F210C474D1A704 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:49:07] 777*2^1407637-1 is not prime. Res64: CDD41B545CD04738 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:49:08] 805*2^1407637-1 is not prime. Res64: CFEA056A4546861C Time : 0.0 sec. user=mdettweiler [2015-08-28 17:49:08] 885*2^1407637-1 is not prime. Res64: A4B65F9400F364D3 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:49:08] 939*2^1407637-1 is not prime. Res64: 53140D766A11DEA3 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:49:22] 985*2^1407637-1 is not prime. Res64: 49EC717EDB423214 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:49:22] 753*2^1407638-1 is not prime. Res64: 5FF5D3E0091FAB03 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:52:16] 791*2^1407638-1 is not prime. Res64: C8E66AA828017949 Time : 0.0 sec. user=mdettweiler [2015-08-28 17:52:17] 827*2^1407638-1 is not prime. Res64: 066FCD0FC9A6F68C Time : 0.0 sec. user=S_K_ [2015-08-28 17:52:35] 619*2^1407637-1 is not prime. Res64: 4072EF1576D6334C Time : 0.0 sec. user=mdettweiler [2015-08-28 18:06:44] 675*2^1407639-1 is not prime. Res64: 459E3C7F9C903471 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:06:44] 995*2^1407638-1 is not prime. Res64: A089855CB39B70DE Time : 0.0 sec. user=mdettweiler [2015-08-28 18:06:47] 711*2^1407639-1 is not prime. Res64: E46B157FC63A574C Time : 0.0 sec. user=mdettweiler [2015-08-28 18:06:49] 663*2^1407639-1 is not prime. Res64: 7D23BD8379BAA325 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:06:58] 895*2^1407639-1 is not prime. Res64: D0C9302CE718095E Time : 0.0 sec. user=mdettweiler [2015-08-28 18:07:00] 797*2^1407640-1 is not prime. Res64: 67B2CEE808433615 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:09:54] 825*2^1407640-1 is not prime. Res64: 87420531B8EDDA64 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:09:54] 875*2^1407640-1 is not prime. Res64: C7DD8F8B8CB6CC85 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:25:13] 909*2^1407640-1 is not prime. Res64: 0E2ADD88DDE59456 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:25:13] 607*2^1407641-1 is not prime. Res64: CE49A717BA4C46A5 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:25:14] 619*2^1407641-1 is not prime. Res64: 28331F29874963A0 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:25:15] 645*2^1407641-1 is not prime. Res64: 0D98D0F79097BCED Time : 0.0 sec. user=mdettweiler [2015-08-28 18:25:19] 983*2^1407640-1 is not prime. Res64: F36063F05D43CC10 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:25:19] 679*2^1407641-1 is not prime. Res64: 8D8A7C3BBF2A0C4D Time : 0.0 sec. user=mdettweiler [2015-08-28 18:27:37] 691*2^1407641-1 is not prime. Res64: DABEA94EA42FED8B Time : 0.0 sec. user=mdettweiler [2015-08-28 18:27:38] 711*2^1407641-1 is not prime. Res64: B50A6EA4EC414B2E Time : 0.0 sec. user=mdettweiler [2015-08-28 18:42:51] 837*2^1407641-1 is not prime. Res64: CA2748DD5B88E276 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:42:51] 909*2^1407641-1 is not prime. Res64: 19857EEB7A6EE19E Time : 0.0 sec. user=mdettweiler [2015-08-28 18:42:52] 713*2^1407642-1 is not prime. Res64: 733DD0B3059F50CB Time : 0.0 sec. user=mdettweiler [2015-08-28 18:42:53] 797*2^1407642-1 is not prime. Res64: 9FF6CEDA6FAC6ECA Time : 0.0 sec. user=mdettweiler [2015-08-28 18:42:56] 949*2^1407641-1 is not prime. Res64: 7E4A9CA15CFB03FD Time : 0.0 sec. user=mdettweiler [2015-08-28 18:42:57] 955*2^1407641-1 is not prime. Res64: 200ACBCC5A77C293 Time : 0.0 sec. user=mdettweiler [2015-08-28 18:45:19] 867*2^1407642-1 is not prime. Res64: 010397C6B18DAF6A Time : 0.0 sec. user=mdettweiler [2015-08-28 18:45:19] 873*2^1407642-1 is not prime. Res64: 12F98E8CB20FC3F8 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:00:37] 1001*2^1407642-1 is not prime. Res64: 89EB62DDBE43229E Time : 0.0 sec. user=mdettweiler [2015-08-28 19:00:37] 621*2^1407643-1 is not prime. Res64: 559B721888F112EC Time : 0.0 sec. user=mdettweiler [2015-08-28 19:00:38] 891*2^1407642-1 is not prime. Res64: 893AB8B9C80F3FD3 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:00:39] 963*2^1407642-1 is not prime. Res64: 26982F8736A3B35F Time : 0.0 sec. user=mdettweiler [2015-08-28 19:00:49] 663*2^1407643-1 is not prime. Res64: 7DDF1185DCABEF8A Time : 0.0 sec. user=mdettweiler [2015-08-28 19:00:49] 861*2^1407643-1 is not prime. Res64: 1EA0163C8555FFC2 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:03:06] 913*2^1407643-1 is not prime. Res64: 03ADC3FA4BE1B285 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:03:07] 605*2^1407644-1 is not prime. Res64: 1F57EE9DD6D9822A Time : 0.0 sec. user=mdettweiler [2015-08-28 19:18:12] 707*2^1407644-1 is not prime. Res64: 92B2DAAE77E882FE Time : 0.0 sec. user=mdettweiler [2015-08-28 19:18:15] 719*2^1407644-1 is not prime. Res64: DFB086CD72B7770D Time : 0.0 sec. user=mdettweiler [2015-08-28 19:18:19] 629*2^1407644-1 is not prime. Res64: 565E300F6154102F Time : 0.0 sec. user=mdettweiler [2015-08-28 19:18:20] 657*2^1407644-1 is not prime. Res64: A71CD192D23CB36D Time : 0.0 sec. user=mdettweiler [2015-08-28 19:18:22] 795*2^1407644-1 is not prime. Res64: 5CFAF6AF21BAB37C Time : 0.0 sec. user=mdettweiler [2015-08-28 19:18:24] 885*2^1407644-1 is not prime. Res64: 6BCCBBE9B0BB6714 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:20:45] 953*2^1407644-1 is not prime. Res64: E294ECA580278D23 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:20:45] 601*2^1407645-1 is not prime. Res64: 4034C2D46CF10DAD Time : 0.0 sec. user=mdettweiler [2015-08-28 19:36:19] 669*2^1407645-1 is not prime. Res64: B58FA1D18FB7F79E Time : 0.0 sec. user=mdettweiler [2015-08-28 19:36:19] 717*2^1407645-1 is not prime. Res64: DAD997688C93EBB2 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:36:20] 627*2^1407645-1 is not prime. Res64: 90886E0830DBD573 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:36:20] 649*2^1407645-1 is not prime. Res64: 35A2308179525E22 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:36:31] 831*2^1407645-1 is not prime. Res64: 646F19141CCA6980 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:36:31] 915*2^1407645-1 is not prime. Res64: 59ECBFFAFCA0E6B3 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:38:30] 635*2^1407646-1 is not prime. Res64: A3AD56E2D5504223 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:38:30] 645*2^1407646-1 is not prime. Res64: F39B297CB00C3D27 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:53:57] 695*2^1407646-1 is not prime. Res64: 7995AA56CD5B445C Time : 0.0 sec. user=mdettweiler [2015-08-28 19:53:58] 755*2^1407646-1 is not prime. Res64: F5E5342CFFA88689 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:54:00] 647*2^1407646-1 is not prime. Res64: 479A3F4D00C691DF Time : 0.0 sec. user=mdettweiler [2015-08-28 19:54:01] 657*2^1407646-1 is not prime. Res64: 15FFC989C33D300D Time : 0.0 sec. user=mdettweiler [2015-08-28 19:54:09] 761*2^1407646-1 is not prime. Res64: 8D8E5732D44F39C9 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:54:09] 801*2^1407646-1 is not prime. Res64: 99A0BE8BE082301B Time : 0.0 sec. user=mdettweiler [2015-08-28 19:56:17] 815*2^1407646-1 is not prime. Res64: 0FCD3FE9E5759F50 Time : 0.0 sec. user=mdettweiler [2015-08-28 19:56:18] 887*2^1407646-1 is not prime. Res64: 41B0D31BA4C2AFA4 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:11:45] 619*2^1407647-1 is not prime. Res64: 62DA5C33B3F5384A Time : 0.0 sec. user=mdettweiler [2015-08-28 20:11:45] 655*2^1407647-1 is not prime. Res64: 2AB56DAC0025CD70 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:11:45] 933*2^1407646-1 is not prime. Res64: 51DDBA6C15F566CB Time : 0.0 sec. user=mdettweiler [2015-08-28 20:11:46] 615*2^1407647-1 is not prime. Res64: AFF41A8B3CEFEB71 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:11:46] 741*2^1407647-1 is not prime. Res64: A713DE8CAFADD0DB Time : 0.0 sec. user=mdettweiler [2015-08-28 20:11:47] 805*2^1407647-1 is not prime. Res64: B0E7340C4885E4C8 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:14:02] 861*2^1407647-1 is not prime. Res64: 317FDCFA324862F7 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:14:03] 865*2^1407647-1 is not prime. Res64: B0CF3E1892B88CFA Time : 0.0 sec. user=mdettweiler [2015-08-28 20:29:46] 669*2^1407648-1 is not prime. Res64: B09CB0FAC4FC821A Time : 0.0 sec. user=mdettweiler [2015-08-28 20:29:46] 705*2^1407648-1 is not prime. Res64: D1C65CD35980A4AD Time : 0.0 sec. user=mdettweiler [2015-08-28 20:29:57] 615*2^1407649-1 is not prime. Res64: 88804D31C43C89BD Time : 0.0 sec. user=mdettweiler [2015-08-28 20:29:57] 751*2^1407649-1 is not prime. Res64: B5AFE19B05686C99 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:30:49] 879*2^1407647-1 is not prime. Res64: 21873834F5B3FA13 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:30:49] 627*2^1407648-1 is not prime. Res64: C29B2E1055C545EB Time : 0.0 sec. user=mdettweiler [2015-08-28 20:31:59] 895*2^1407649-1 is not prime. Res64: 91B892D4D9D65B54 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:31:59] 615*2^1407650-1 is not prime. Res64: 42C065B7880101D7 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:47:23] 641*2^1407650-1 is not prime. Res64: 36A2D61995D5AFFB Time : 0.0 sec. user=mdettweiler [2015-08-28 20:47:23] 645*2^1407650-1 is not prime. Res64: C033397E44662DE4 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:47:33] 651*2^1407650-1 is not prime. Res64: CFF4BCFBB7C6F69F Time : 0.0 sec. user=mdettweiler [2015-08-28 20:47:33] 753*2^1407650-1 is not prime. Res64: 63A368AE2BFD5270 Time : 0.0 sec. user=mdettweiler [2015-08-28 20:48:23] 825*2^1407650-1 is not prime. Res64: 7121A4C9DF40609E Time : 0.0 sec. user=mdettweiler [2015-08-28 20:48:23] 867*2^1407650-1 is not prime. Res64: B124A0DB27D5365F Time : 0.0 sec. user=mdettweiler [2015-08-28 20:49:34] 953*2^1407650-1 is not prime. Res64: 986BA3C148852CBC Time : 0.0 sec. user=mdettweiler [2015-08-28 20:49:34] 1001*2^1407650-1 is not prime. Res64: 6809C553F798441E Time : 0.0 sec. user=mdettweiler [2015-08-28 21:05:01] 625*2^1407651-1 is not prime. Res64: 9F9C53FE01B4744F Time : 0.0 sec. user=mdettweiler [2015-08-28 21:05:02] 709*2^1407651-1 is not prime. Res64: 8AD31E8E1601AE8F Time : 0.0 sec. user=mdettweiler [2015-08-28 21:05:06] 921*2^1407651-1 is not prime. Res64: 96B5A5B4661E6AC8 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:05:08] 951*2^1407651-1 is not prime. Res64: BD4D2721D151A162 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:05:58] 979*2^1407651-1 is not prime. Res64: 5EDF5BA865317B1A Time : 0.0 sec. user=mdettweiler [2015-08-28 21:05:59] 615*2^1407652-1 is not prime. Res64: 377F928F8792AF80 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:07:12] 617*2^1407652-1 is not prime. Res64: F2A5EA1AC0D40E45 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:07:13] 677*2^1407652-1 is not prime. Res64: 9BF81A50259E7A46 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:23:05] 813*2^1407652-1 is not prime. Res64: D433A5338DAC7A26 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:23:05] 885*2^1407652-1 is not prime. Res64: DB1E1E1FEE181B54 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:23:06] 915*2^1407652-1 is not prime. Res64: 9EE1D4AA105864A7 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:23:06] 957*2^1407652-1 is not prime. Res64: C396896A2D820941 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:23:42] 965*2^1407652-1 is not prime. Res64: 6FAB93232092FCE2 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:23:42] 989*2^1407652-1 is not prime. Res64: 51874136A5D036BA Time : 0.0 sec. user=mdettweiler [2015-08-28 21:24:59] 607*2^1407653-1 is not prime. Res64: A7EEDD4A5A6B6BF9 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:25:00] 615*2^1407653-1 is not prime. Res64: 8E9B0455EFF58C9E Time : 0.0 sec. user=mdettweiler [2015-08-28 21:40:42] 861*2^1407653-1 is not prime. Res64: DEECBAB82EF3AD26 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:40:43] 611*2^1407654-1 is not prime. Res64: B21D5CA48DAED9C8 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:40:44] 657*2^1407654-1 is not prime. Res64: 1144C186FFA29C0E Time : 0.0 sec. user=mdettweiler [2015-08-28 21:40:44] 681*2^1407654-1 is not prime. Res64: 3061FACBDC13FF01 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:41:21] 707*2^1407654-1 is not prime. Res64: 2C33407C7652D74F Time : 0.0 sec. user=mdettweiler [2015-08-28 21:41:21] 717*2^1407654-1 is not prime. Res64: 736A85FC3CB002BC Time : 0.0 sec. user=mdettweiler [2015-08-28 21:42:38] 851*2^1407654-1 is not prime. Res64: E444825791DAD721 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:42:38] 917*2^1407654-1 is not prime. Res64: 47ED8BC38BA824C3 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:58:24] 619*2^1407655-1 is not prime. Res64: 9399462F3BCF67D9 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:58:25] 645*2^1407655-1 is not prime. Res64: AF16055911F4CB2E Time : 0.0 sec. user=mdettweiler [2015-08-28 21:58:32] 945*2^1407654-1 is not prime. Res64: 1CC797E702272134 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:58:32] 993*2^1407654-1 is not prime. Res64: 01E108D1A7B9BC94 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:58:57] 693*2^1407655-1 is not prime. Res64: 408FE1F810560037 Time : 0.0 sec. user=mdettweiler [2015-08-28 21:58:57] 709*2^1407655-1 is not prime. Res64: 667AA2C89BDAAAF3 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:00:21] 723*2^1407655-1 is not prime. Res64: 1D31C0DEB19C4869 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:00:21] 735*2^1407655-1 is not prime. Res64: 470AF3A49725FCD8 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:16:09] 759*2^1407655-1 is not prime. Res64: 2DA6709FE8EF4E88 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:16:10] 763*2^1407655-1 is not prime. Res64: 00E6C177215B1F40 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:16:16] 861*2^1407655-1 is not prime. Res64: C622EB116F628C3D Time : 0.0 sec. user=mdettweiler [2015-08-28 22:16:16] 871*2^1407655-1 is not prime. Res64: 1926D5E0860FF1EE Time : 0.0 sec. user=mdettweiler [2015-08-28 22:16:34] 939*2^1407655-1 is not prime. Res64: 9DDF5FFA65E7A856 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:16:34] 635*2^1407656-1 is not prime. Res64: 6AB4A5F5BE325CA8 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:17:58] 657*2^1407656-1 is not prime. Res64: 8B6CDB76023C7056 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:17:59] 659*2^1407656-1 is not prime. Res64: 103DE5C2155E6E12 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:33:55] 747*2^1407656-1 is not prime. Res64: D2CF7654C84D9003 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:33:55] 833*2^1407656-1 is not prime. Res64: 55ED5F8D19415AC3 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:33:58] 857*2^1407656-1 is not prime. Res64: 0BCB89A2A6091456 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:33:58] 935*2^1407656-1 is not prime. Res64: 300A43C4E84D2B8D Time : 0.0 sec. user=mdettweiler [2015-08-28 22:34:17] 649*2^1407657-1 is not prime. Res64: 264D0221BA4DBA06 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:34:17] 667*2^1407657-1 is not prime. Res64: DF9C84BB001C7870 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:35:44] 727*2^1407657-1 is not prime. Res64: 49306A291D24A18C Time : 0.0 sec. user=mdettweiler [2015-08-28 22:35:44] 735*2^1407657-1 is not prime. Res64: CFC9855CFA8641BA Time : 0.0 sec. user=mdettweiler [2015-08-28 22:51:35] 739*2^1407657-1 is not prime. Res64: DE5B7CB0FC4676D4 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:51:35] 817*2^1407657-1 is not prime. Res64: B6F3439203DF3500 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:51:36] 605*2^1407658-1 is not prime. Res64: C9C6B4C1E5F4C8D1 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:51:37] 635*2^1407658-1 is not prime. Res64: 2E683D7D0BA518A5 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:51:53] 657*2^1407658-1 is not prime. Res64: EC8AEB3C432CCAEC Time : 0.0 sec. user=mdettweiler [2015-08-28 22:51:54] 815*2^1407658-1 is not prime. Res64: 8639D81A24294C5B Time : 0.0 sec. user=mdettweiler [2015-08-28 22:53:17] 911*2^1407658-1 is not prime. Res64: 6C0D495A42A50080 Time : 0.0 sec. user=mdettweiler [2015-08-28 22:53:17] 923*2^1407658-1 is not prime. Res64: 74173A3281F47A36 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:09:17] 603*2^1407659-1 is not prime. Res64: EEDE1C5D9A138809 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:09:18] 705*2^1407659-1 is not prime. Res64: FE2A3E8929E48393 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:09:24] 987*2^1407658-1 is not prime. Res64: 7A30CE669B3F8D74 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:09:25] 995*2^1407658-1 is not prime. Res64: 254C7A985C179965 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:09:44] 843*2^1407659-1 is not prime. Res64: B58F739B32B06E1D Time : 0.0 sec. user=mdettweiler [2015-08-28 23:09:45] 973*2^1407659-1 is not prime. Res64: 9DF65883FFA59C73 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:10:58] 647*2^1407660-1 is not prime. Res64: 7084E6B8CAD29F6C Time : 0.0 sec. user=mdettweiler [2015-08-28 23:10:59] 777*2^1407660-1 is not prime. Res64: 831E75EE350C0EB0 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:26:57] 887*2^1407660-1 is not prime. Res64: DDA34C8FCEE94638 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:26:58] 893*2^1407660-1 is not prime. Res64: C05514993D90D9FF Time : 0.0 sec. user=mdettweiler [2015-08-28 23:26:59] 899*2^1407660-1 is not prime. Res64: 0DBAAFF8032EB1DE Time : 0.0 sec. user=mdettweiler [2015-08-28 23:27:00] 741*2^1407661-1 is not prime. Res64: AE793D249EFC008E Time : 0.0 sec. user=mdettweiler [2015-08-28 23:27:25] 769*2^1407661-1 is not prime. Res64: F117F0A322BD12B3 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:27:25] 835*2^1407661-1 is not prime. Res64: 3A7FC936522AB8F0 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:28:39] 665*2^1407662-1 is not prime. Res64: E90662D5181E4E67 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:28:39] 671*2^1407662-1 is not prime. Res64: DE8C20528800C06A Time : 0.0 sec. user=mdettweiler [2015-08-28 23:44:39] 683*2^1407662-1 is not prime. Res64: B0A1259F283C3A2C Time : 0.0 sec. user=mdettweiler [2015-08-28 23:44:39] 755*2^1407662-1 is not prime. Res64: 7A17DBD349AA7E01 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:44:48] 797*2^1407662-1 is not prime. Res64: CB8759B6EF718877 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:44:48] 813*2^1407662-1 is not prime. Res64: 00FF832DF42127F6 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:45:05] 825*2^1407662-1 is not prime. Res64: F2132EDA9AA544F2 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:45:05] 903*2^1407662-1 is not prime. Res64: B11FD61639BCC59D Time : 0.0 sec. user=mdettweiler [2015-08-28 23:46:42] 963*2^1407662-1 is not prime. Res64: 85C1C751645A52D5 Time : 0.0 sec. user=mdettweiler [2015-08-28 23:46:43] 649*2^1407663-1 is not prime. Res64: 6C05831C9D199B06 Time : 0.0 sec.