user=mdettweiler [2016-05-09 15:36:02] 635*2^1428634-1 is not prime. Res64: D96FB0B8B307711C Time : 0.0 sec. user=mdettweiler [2016-05-09 15:36:02] 677*2^1428634-1 is not prime. Res64: 5E36556AF55674E9 Time : 0.0 sec. user=mdettweiler [2016-05-09 15:36:03] 941*2^1428634-1 is not prime. Res64: 899C77B705B99860 Time : 0.0 sec. user=mdettweiler [2016-05-09 15:36:03] 987*2^1428634-1 is not prime. Res64: 5AE112A80F2101B3 Time : 0.0 sec. user=mdettweiler [2016-05-09 15:36:04] 645*2^1428635-1 is not prime. Res64: 11FA45412FCDA10C Time : 0.0 sec. user=mdettweiler [2016-05-09 15:57:23] 651*2^1428635-1 is not prime. Res64: 82730769E29EAAC7 Time : 0.0 sec. user=mdettweiler [2016-05-09 15:57:24] 655*2^1428635-1 is not prime. Res64: D39AF1F1B9F6A795 Time : 0.0 sec. user=mdettweiler [2016-05-09 15:57:24] 693*2^1428635-1 is not prime. Res64: 18616FA06D0B190E Time : 0.0 sec. user=mdettweiler [2016-05-09 15:57:25] 741*2^1428635-1 is not prime. Res64: 60DB7F776642EFA8 Time : 0.0 sec. user=mdettweiler [2016-05-09 15:57:25] 861*2^1428635-1 is not prime. Res64: A4F9E1D4EDD1125F Time : 0.0 sec. user=mdettweiler [2016-05-09 16:12:25] 669*2^1428636-1 is not prime. Res64: 18B3CAF9D38803B3 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:12:26] 825*2^1428636-1 is not prime. Res64: 9246317ED52E2461 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:12:26] 903*2^1428636-1 is not prime. Res64: 543DB12AD9DB061D Time : 0.0 sec. user=mdettweiler [2016-05-09 16:12:27] 947*2^1428636-1 is not prime. Res64: 6ADE17A259D96B2F Time : 0.0 sec. user=mdettweiler [2016-05-09 16:12:27] 983*2^1428636-1 is not prime. Res64: 42DAA3B30778DB43 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:16:11] 609*2^1428637-1 is not prime. Res64: F1EC43F4DF91656E Time : 0.0 sec. user=mdettweiler [2016-05-09 16:16:12] 615*2^1428637-1 is not prime. Res64: 38D199793A2D4BAB Time : 0.0 sec. user=mdettweiler [2016-05-09 16:16:12] 747*2^1428637-1 is not prime. Res64: C0D1B7E70762791F Time : 0.0 sec. user=mdettweiler [2016-05-09 16:16:12] 825*2^1428637-1 is not prime. Res64: 40CBEA2356D12A68 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:16:13] 939*2^1428637-1 is not prime. Res64: DDE652ECD4237754 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:26:46] 617*2^1428638-1 is not prime. Res64: 4CA3CC50270758A6 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:26:46] 663*2^1428638-1 is not prime. Res64: 04DB365F7933B1AE Time : 0.0 sec. user=mdettweiler [2016-05-09 16:26:46] 705*2^1428638-1 is not prime. Res64: 16AF09C4FFE94941 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:26:47] 801*2^1428638-1 is not prime. Res64: A05173A60405E58C Time : 0.0 sec. user=mdettweiler [2016-05-09 16:26:47] 815*2^1428638-1 is not prime. Res64: E9972E755663B3FF Time : 0.0 sec. user=mdettweiler [2016-05-09 16:44:26] 831*2^1428638-1 is not prime. Res64: A501FBC0B0D0BE5B Time : 0.0 sec. user=mdettweiler [2016-05-09 16:44:27] 861*2^1428638-1 is not prime. Res64: DE16C3F37FF94F6D Time : 0.0 sec. user=mdettweiler [2016-05-09 16:44:27] 893*2^1428638-1 is not prime. Res64: 0FD15E6215694D86 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:44:27] 1001*2^1428638-1 is not prime. Res64: ACE9C62C7ADE8815 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:44:28] 691*2^1428639-1 is not prime. Res64: 0DE498A2208E9EE1 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:58:02] 705*2^1428639-1 is not prime. Res64: ABC0DBE23DC3812D Time : 0.0 sec. user=mdettweiler [2016-05-09 16:58:03] 735*2^1428639-1 is not prime. Res64: F53C6E98D080EECE Time : 0.0 sec. user=mdettweiler [2016-05-09 16:58:03] 975*2^1428639-1 is not prime. Res64: C9DDC2B03DD55B85 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:58:04] 979*2^1428639-1 is not prime. Res64: 6E52B003085035A0 Time : 0.0 sec. user=mdettweiler [2016-05-09 16:58:04] 603*2^1428640-1 is not prime. Res64: 505EE5A482E0CC97 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:01:56] 689*2^1428640-1 is not prime. Res64: 87C0D7E641CDC50D Time : 0.0 sec. user=mdettweiler [2016-05-09 17:01:57] 719*2^1428640-1 is not prime. Res64: 44C245F699757410 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:01:58] 873*2^1428640-1 is not prime. Res64: F10D16732E859C37 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:01:59] 999*2^1428640-1 is not prime. Res64: 2484D6CD90F217CC Time : 0.0 sec. user=mdettweiler [2016-05-09 17:02:00] 657*2^1428641-1 is not prime. Res64: 7070704DB33585F5 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:12:15] 789*2^1428641-1 is not prime. Res64: 776934251E755BC0 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:12:16] 855*2^1428641-1 is not prime. Res64: 8D429804FFDE6292 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:12:16] 867*2^1428641-1 is not prime. Res64: B429B7F2EA737162 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:12:17] 901*2^1428641-1 is not prime. Res64: 73CCB248C6A618CE Time : 0.0 sec. user=mdettweiler [2016-05-09 17:12:17] 955*2^1428641-1 is not prime. Res64: E555E40E257AA4F3 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:30:16] 611*2^1428642-1 is not prime. Res64: D3DD1E60241E4945 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:30:16] 633*2^1428642-1 is not prime. Res64: 6F7B3C462C8898A6 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:30:16] 705*2^1428642-1 is not prime. Res64: E7A1A6654EF11C05 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:30:17] 941*2^1428642-1 is not prime. Res64: 03A1C62E7F565933 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:30:17] 619*2^1428643-1 is not prime. Res64: E05771F1CBD04400 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:44:33] 633*2^1428643-1 is not prime. Res64: 471B4419996511CA Time : 0.0 sec. user=mdettweiler [2016-05-09 17:44:34] 693*2^1428643-1 is not prime. Res64: 9E1300077AB6AFF6 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:44:34] 783*2^1428643-1 is not prime. Res64: 027C982D6EBD7C7B Time : 0.0 sec. user=mdettweiler [2016-05-09 17:44:35] 801*2^1428643-1 is not prime. Res64: AA27DD8D4D545B5A Time : 0.0 sec. user=mdettweiler [2016-05-09 17:44:35] 855*2^1428643-1 is not prime. Res64: 403D1A85B480DE6C Time : 0.0 sec. user=mdettweiler [2016-05-09 17:48:13] 883*2^1428643-1 is not prime. Res64: E577B267FD5B88AA Time : 0.0 sec. user=mdettweiler [2016-05-09 17:48:13] 895*2^1428643-1 is not prime. Res64: 7E303EDCEE93C981 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:48:13] 635*2^1428644-1 is not prime. Res64: 35D21AEDC2851147 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:48:14] 677*2^1428644-1 is not prime. Res64: 00E4A4B0AB9F2445 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:48:14] 759*2^1428644-1 is not prime. Res64: 58EBB78DAF412FCA Time : 0.0 sec. user=mdettweiler [2016-05-09 17:58:31] 855*2^1428644-1 is not prime. Res64: 8B075053CCE3DDC2 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:58:32] 935*2^1428644-1 is not prime. Res64: F9B28C6371904037 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:58:32] 741*2^1428645-1 is not prime. Res64: 2561F9F1A1A9FD99 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:58:32] 787*2^1428645-1 is not prime. Res64: 0F7E7AEBC12B1582 Time : 0.0 sec. user=mdettweiler [2016-05-09 17:58:33] 871*2^1428645-1 is not prime. Res64: 54DB8B26DFCCF795 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:15:57] 695*2^1428646-1 is not prime. Res64: 93E61774DEE108FB Time : 0.0 sec. user=mdettweiler [2016-05-09 18:15:58] 783*2^1428646-1 is not prime. Res64: C4A91D603394F365 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:15:59] 825*2^1428646-1 is not prime. Res64: 4461974B42045838 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:16:00] 923*2^1428646-1 is not prime. Res64: 2A2D4DA0766A9A67 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:16:01] 971*2^1428646-1 is not prime. Res64: F2A1C79DD4C2EA92 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:30:04] 655*2^1428647-1 is not prime. Res64: D1C0FB953A2D1AF7 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:30:04] 669*2^1428647-1 is not prime. Res64: B78BAB08C7C321F7 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:30:04] 693*2^1428647-1 is not prime. Res64: 309A1BA2A109324C Time : 0.0 sec. user=mdettweiler [2016-05-09 18:30:05] 703*2^1428647-1 is not prime. Res64: 5FEBEF7A81BCAF62 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:30:05] 949*2^1428647-1 is not prime. Res64: A76309BFB34700C2 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:33:50] 963*2^1428647-1 is not prime. Res64: F12DB7BD9AE33534 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:33:50] 639*2^1428648-1 is not prime. Res64: 3415FEA6D4981550 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:33:51] 705*2^1428648-1 is not prime. Res64: E7D8F989FF04297D Time : 0.0 sec. user=mdettweiler [2016-05-09 18:33:51] 843*2^1428648-1 is not prime. Res64: C20AD0D7D9409B0B Time : 0.0 sec. user=mdettweiler [2016-05-09 18:33:51] 945*2^1428648-1 is not prime. Res64: 71CD95C127057B75 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:44:06] 947*2^1428648-1 is not prime. Res64: FD89BE7423F32E40 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:44:06] 681*2^1428649-1 is not prime. Res64: 63BDF1C117842D08 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:44:06] 801*2^1428649-1 is not prime. Res64: 32A6BA33EC6A2D19 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:44:07] 885*2^1428649-1 is not prime. Res64: E63F2EFB02315077 Time : 0.0 sec. user=mdettweiler [2016-05-09 18:44:07] 945*2^1428649-1 is not prime. Res64: 571051139CBAD45B Time : 0.0 sec. user=mdettweiler [2016-05-09 19:01:44] 955*2^1428649-1 is not prime. Res64: 33EB974744F30676 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:01:45] 635*2^1428650-1 is not prime. Res64: DC1AC8BDD5665772 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:01:46] 645*2^1428650-1 is not prime. Res64: 941324CDE7234F4F Time : 0.0 sec. user=mdettweiler [2016-05-09 19:01:47] 801*2^1428650-1 is not prime. Res64: 900EDD44AB842FA4 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:01:48] 911*2^1428650-1 is not prime. Res64: 7D2F2DED430A5F41 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:15:50] 921*2^1428650-1 is not prime. Res64: 88128B23E624D299 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:15:50] 971*2^1428650-1 is not prime. Res64: ED317C1200874C0C Time : 0.0 sec. user=mdettweiler [2016-05-09 19:15:51] 753*2^1428651-1 is not prime. Res64: 324863090535C011 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:15:51] 793*2^1428651-1 is not prime. Res64: EAA0790D40F61A0A Time : 0.0 sec. user=mdettweiler [2016-05-09 19:15:52] 805*2^1428651-1 is not prime. Res64: 4EF930B66A587AE2 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:19:27] 605*2^1428652-1 is not prime. Res64: 14078AD2D31C8754 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:19:28] 743*2^1428652-1 is not prime. Res64: 383C9A967D7A870C Time : 0.0 sec. user=mdettweiler [2016-05-09 19:19:28] 615*2^1428653-1 is not prime. Res64: 02AC9CA5D02E8AE9 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:19:29] 675*2^1428653-1 is not prime. Res64: B36F1BCF3EFD59C9 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:19:29] 781*2^1428653-1 is not prime. Res64: 4972EDAFE823025F Time : 0.0 sec. user=mdettweiler [2016-05-09 19:29:54] 795*2^1428653-1 is not prime. Res64: D5158AFF37C3928B Time : 0.0 sec. user=mdettweiler [2016-05-09 19:29:54] 829*2^1428653-1 is not prime. Res64: 261ED2AE8D20694F Time : 0.0 sec. user=mdettweiler [2016-05-09 19:29:55] 847*2^1428653-1 is not prime. Res64: 49A21132EB09E46E Time : 0.0 sec. user=mdettweiler [2016-05-09 19:29:55] 885*2^1428653-1 is not prime. Res64: BD864DB525885046 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:29:55] 889*2^1428653-1 is not prime. Res64: A20055A39AB541B4 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:48:05] 611*2^1428654-1 is not prime. Res64: EEA2452CF6C2F08F Time : 0.0 sec. user=mdettweiler [2016-05-09 19:48:06] 627*2^1428654-1 is not prime. Res64: 47455A0DA069A33A Time : 0.0 sec. user=mdettweiler [2016-05-09 19:48:06] 663*2^1428654-1 is not prime. Res64: BDC89AAF4A672455 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:48:07] 677*2^1428654-1 is not prime. Res64: B394E8096A64BEE2 Time : 0.0 sec. user=mdettweiler [2016-05-09 19:48:07] 725*2^1428654-1 is not prime. Res64: 3D82FFA6A6A03F70 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:01:25] 765*2^1428654-1 is not prime. Res64: 79E97D94EEC1B40B Time : 0.0 sec. user=mdettweiler [2016-05-09 20:01:26] 795*2^1428654-1 is not prime. Res64: D50DB4CF7638E75B Time : 0.0 sec. user=mdettweiler [2016-05-09 20:01:26] 875*2^1428654-1 is not prime. Res64: 5389AFC4EB383338 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:01:27] 885*2^1428654-1 is not prime. Res64: 8F6B2B3899C45B87 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:01:28] 975*2^1428654-1 is not prime. Res64: 5E156E5D239AB877 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:05:12] 853*2^1428655-1 is not prime. Res64: 4569D28523C5F719 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:05:13] 895*2^1428655-1 is not prime. Res64: 0AD9880C1FD4B8E4 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:05:14] 913*2^1428655-1 is not prime. Res64: 2BAA2D574ECF7685 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:05:16] 629*2^1428656-1 is not prime. Res64: 1B13BFDFDB7CA105 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:05:17] 633*2^1428656-1 is not prime. Res64: D9CE6A31F70BE95C Time : 0.0 sec. user=mdettweiler [2016-05-09 20:15:49] 675*2^1428656-1 is not prime. Res64: 373B02691D6E1FC2 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:15:49] 743*2^1428656-1 is not prime. Res64: 1E75CFD3AA982BF8 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:15:50] 755*2^1428656-1 is not prime. Res64: E96D96209BF65B3B Time : 0.0 sec. user=mdettweiler [2016-05-09 20:15:51] 773*2^1428656-1 is not prime. Res64: F32E6C271E353D39 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:15:51] 839*2^1428656-1 is not prime. Res64: 323EB0D047756145 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:33:49] 843*2^1428656-1 is not prime. Res64: C4A4EAF3C13CE90A Time : 0.0 sec. user=mdettweiler [2016-05-09 20:33:49] 873*2^1428656-1 is not prime. Res64: 5DFEE72A7351AB2D Time : 0.0 sec. user=mdettweiler [2016-05-09 20:33:50] 923*2^1428656-1 is not prime. Res64: 901CAA6F39381F2D Time : 0.0 sec. user=mdettweiler [2016-05-09 20:33:50] 999*2^1428656-1 is not prime. Res64: 003C8D1E7C388EB2 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:33:51] 615*2^1428657-1 is not prime. Res64: F1005E3B03DAEA21 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:47:35] 627*2^1428657-1 is not prime. Res64: A5168790487B127C Time : 0.0 sec. user=mdettweiler [2016-05-09 20:47:35] 649*2^1428657-1 is not prime. Res64: 29B8EC7A59EA92B9 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:47:36] 691*2^1428657-1 is not prime. Res64: 39A6A5B46F4C8E68 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:47:36] 717*2^1428657-1 is not prime. Res64: D514049FB9081750 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:47:36] 727*2^1428657-1 is not prime. Res64: CF8A94005D2F169C Time : 0.0 sec. user=mdettweiler [2016-05-09 20:51:13] 735*2^1428657-1 is not prime. Res64: 270C37A04C63EB68 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:51:13] 741*2^1428657-1 is not prime. Res64: 0AC54AED6BFB1D26 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:51:14] 831*2^1428657-1 is not prime. Res64: 67FAECE893103C05 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:51:14] 837*2^1428657-1 is not prime. Res64: F3DE87BF5F97A0C1 Time : 0.0 sec. user=mdettweiler [2016-05-09 20:51:15] 651*2^1428658-1 is not prime. Res64: CC7000C3BDAD0A8E Time : 0.0 sec. user=mdettweiler [2016-05-09 21:01:41] 743*2^1428658-1 is not prime. Res64: DC740AF288F5AACE Time : 0.0 sec. user=mdettweiler [2016-05-09 21:01:41] 803*2^1428658-1 is not prime. Res64: 6B25C890A12D9BF7 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:01:42] 845*2^1428658-1 is not prime. Res64: B3F2CAA18CFFB879 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:01:43] 1001*2^1428658-1 is not prime. Res64: 2AC8771071C07567 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:01:43] 615*2^1428659-1 is not prime. Res64: 1192B9F91AD7CA5E Time : 0.0 sec. user=mdettweiler [2016-05-09 21:20:03] 741*2^1428659-1 is not prime. Res64: 5D594858B91BD2CA Time : 0.0 sec. user=mdettweiler [2016-05-09 21:20:03] 879*2^1428659-1 is not prime. Res64: 0DFCD72B383DB864 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:20:04] 623*2^1428660-1 is not prime. Res64: 3D0B5AB824DC061F Time : 0.0 sec. user=mdettweiler [2016-05-09 21:20:04] 695*2^1428660-1 is not prime. Res64: 426F52923D2D6C17 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:20:05] 717*2^1428660-1 is not prime. Res64: 4D11E6B2B38B57F3 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:34:46] 759*2^1428660-1 is not prime. Res64: 42C151842378F699 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:34:47] 777*2^1428660-1 is not prime. Res64: F8E65D8ABB8F619C Time : 0.0 sec. user=mdettweiler [2016-05-09 21:34:48] 797*2^1428660-1 is not prime. Res64: DA6272430296375F Time : 0.0 sec. user=mdettweiler [2016-05-09 21:34:48] 839*2^1428660-1 is not prime. Res64: 0711A021A4BC8A19 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:34:49] 845*2^1428660-1 is not prime. Res64: 312630B044385839 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:38:29] 863*2^1428660-1 is not prime. Res64: 039B7D2706844C57 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:38:29] 887*2^1428660-1 is not prime. Res64: 526F7B00B32B7B50 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:38:29] 639*2^1428661-1 is not prime. Res64: FB53F3D547CA0329 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:38:30] 681*2^1428661-1 is not prime. Res64: A1AF136FF793589D Time : 0.0 sec. user=mdettweiler [2016-05-09 21:38:31] 745*2^1428661-1 is not prime. Res64: A6A845210D6A591D Time : 0.0 sec. user=mdettweiler [2016-05-09 21:49:12] 855*2^1428661-1 is not prime. Res64: F68D74B2BF3425AA Time : 0.0 sec. user=mdettweiler [2016-05-09 21:49:12] 861*2^1428661-1 is not prime. Res64: B92B1790634A319A Time : 0.0 sec. user=mdettweiler [2016-05-09 21:49:12] 925*2^1428661-1 is not prime. Res64: 75AF908CBA02FE84 Time : 0.0 sec. user=mdettweiler [2016-05-09 21:49:13] 951*2^1428661-1 is not prime. Res64: B1BE1E7648BB7C4E Time : 0.0 sec. user=mdettweiler [2016-05-09 21:49:13] 747*2^1428662-1 is not prime. Res64: C4CBC9440DE7EC99 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:07:07] 755*2^1428662-1 is not prime. Res64: 113A73AAAAE0CF64 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:07:07] 791*2^1428662-1 is not prime. Res64: 8AA5425067CD8E41 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:07:08] 867*2^1428662-1 is not prime. Res64: C5EC80F899E7D86D Time : 0.0 sec. user=mdettweiler [2016-05-09 22:07:08] 965*2^1428662-1 is not prime. Res64: 6FD915A1BCBD3EB4 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:07:09] 983*2^1428662-1 is not prime. Res64: 9A205C4F22EE10FE Time : 0.0 sec. user=mdettweiler [2016-05-09 22:23:14] 723*2^1428663-1 is not prime. Res64: 805A07022B51B569 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:23:15] 789*2^1428663-1 is not prime. Res64: 3286E303E5217C26 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:23:15] 871*2^1428663-1 is not prime. Res64: 108D85EB3E494901 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:23:15] 921*2^1428663-1 is not prime. Res64: 012E0CAFC5759EEE Time : 0.0 sec. user=mdettweiler [2016-05-09 22:23:16] 945*2^1428663-1 is not prime. Res64: BC3C1358842A11D3 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:27:06] 949*2^1428663-1 is not prime. Res64: 41D7EB51C8B8B004 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:27:06] 969*2^1428663-1 is not prime. Res64: 3B152FEE10437024 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:27:07] 639*2^1428664-1 is not prime. Res64: B4C618D7320C7120 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:27:07] 675*2^1428664-1 is not prime. Res64: 23344175CB50420C Time : 0.0 sec. user=mdettweiler [2016-05-09 22:27:08] 803*2^1428664-1 is not prime. Res64: 86BA2D25E6C94B72 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:37:26] 819*2^1428664-1 is not prime. Res64: CE24437D65845CF3 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:37:26] 857*2^1428664-1 is not prime. Res64: C83B99E60660EDAE Time : 0.0 sec. user=mdettweiler [2016-05-09 22:37:27] 691*2^1428665-1 is not prime. Res64: 928A100384170C40 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:37:28] 837*2^1428665-1 is not prime. Res64: 02E61AE6AFC57DA1 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:37:28] 871*2^1428665-1 is not prime. Res64: A764E6ECF0D644E0 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:54:31] 909*2^1428665-1 is not prime. Res64: 613BC8C5D638F2A1 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:54:31] 925*2^1428665-1 is not prime. Res64: 23E5E7E0B9950022 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:54:32] 937*2^1428665-1 is not prime. Res64: A5003FBACA8F80FF Time : 0.0 sec. user=mdettweiler [2016-05-09 22:54:32] 611*2^1428666-1 is not prime. Res64: AB6D30E117648D25 Time : 0.0 sec. user=mdettweiler [2016-05-09 22:54:32] 683*2^1428666-1 is not prime. Res64: D905AA5005E9C7CF Time : 0.0 sec. user=mdettweiler [2016-05-09 23:08:53] 713*2^1428666-1 is not prime. Res64: 3EEC9BAD85B08EB9 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:08:53] 735*2^1428666-1 is not prime. Res64: 5EDD748A81FFC59F Time : 0.0 sec. user=mdettweiler [2016-05-09 23:08:54] 747*2^1428666-1 is not prime. Res64: 1A876E3C88995C53 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:08:54] 755*2^1428666-1 is not prime. Res64: B1AAFB4472A68097 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:08:59] 833*2^1428666-1 is not prime. Res64: D729F25623927A48 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:12:35] 971*2^1428666-1 is not prime. Res64: 4A3536368B01ADC2 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:12:35] 621*2^1428667-1 is not prime. Res64: 705AE323C5741E2C Time : 0.0 sec. user=mdettweiler [2016-05-09 23:12:36] 681*2^1428667-1 is not prime. Res64: D85C619462E42244 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:12:36] 715*2^1428667-1 is not prime. Res64: A15FFD31F4DB53C2 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:12:37] 891*2^1428667-1 is not prime. Res64: D83319F076A2B3DF Time : 0.0 sec. user=mdettweiler [2016-05-09 23:22:48] 909*2^1428667-1 is not prime. Res64: 4F9AC486F9150941 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:22:49] 979*2^1428667-1 is not prime. Res64: E0F0A66A59D320F4 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:22:49] 633*2^1428668-1 is not prime. Res64: 110697BDBFA42243 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:22:50] 635*2^1428668-1 is not prime. Res64: 8C8393A069012BD7 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:22:50] 677*2^1428668-1 is not prime. Res64: 63D5D69486987B55 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:39:45] 725*2^1428668-1 is not prime. Res64: CAB7E70E30CB07D2 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:39:46] 743*2^1428668-1 is not prime. Res64: 34E68AB2A43638C4 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:39:46] 749*2^1428668-1 is not prime. Res64: 6B978175DE3CCAF2 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:39:46] 767*2^1428668-1 is not prime. Res64: 97B40EC60BB8D6D7 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:39:47] 819*2^1428668-1 is not prime. Res64: DC143604E056ACBE Time : 0.0 sec. user=mdettweiler [2016-05-09 23:54:34] 953*2^1428668-1 is not prime. Res64: 9BADFDA4D6166B2E Time : 0.0 sec. user=mdettweiler [2016-05-09 23:54:35] 969*2^1428668-1 is not prime. Res64: C600294B8FF08C3B Time : 0.0 sec. user=mdettweiler [2016-05-09 23:54:35] 615*2^1428669-1 is not prime. Res64: 3D7C1B8EFCF31CD7 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:54:35] 621*2^1428669-1 is not prime. Res64: 98FF22B3842390ED Time : 0.0 sec. user=mdettweiler [2016-05-09 23:54:36] 735*2^1428669-1 is not prime. Res64: 664ABC08229687BF Time : 0.0 sec. user=mdettweiler [2016-05-09 23:58:08] 745*2^1428669-1 is not prime. Res64: 359B0D7F69177EC6 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:58:08] 747*2^1428669-1 is not prime. Res64: 341A9448A9DC6B4D Time : 0.0 sec. user=mdettweiler [2016-05-09 23:58:09] 955*2^1428669-1 is not prime. Res64: 27D2F55D406057BD Time : 0.0 sec. user=mdettweiler [2016-05-09 23:58:09] 961*2^1428669-1 is not prime. Res64: C113EA2580C09254 Time : 0.0 sec. user=mdettweiler [2016-05-09 23:58:09] 635*2^1428670-1 is not prime. Res64: 96FB4F98C8263AFA Time : 0.0 sec.