user=S_K_ [2015-07-03 00:01:45] 611*2^1402026-1 is not prime. Res64: 2A39B699B651AAB2 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:03:12] 859*2^1402027-1 is not prime. Res64: 83A705E5691C2B40 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:03:13] 681*2^1402027-1 is not prime. Res64: 4756EEEB150E491A Time : 0.0 sec. user=mdettweiler [2015-07-03 00:03:15] 873*2^1402027-1 is not prime. Res64: 66A5BCDC5596CACE Time : 0.0 sec. user=mdettweiler [2015-07-03 00:03:16] 733*2^1402027-1 is not prime. Res64: 3B79286785C6ECC4 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:15:07] 939*2^1402027-1 is not prime. Res64: AECB590D2637DDF4 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:15:08] 993*2^1402027-1 is not prime. Res64: 99E38D9339B69500 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:20:57] 999*2^1402027-1 is not prime. Res64: 4A1A57C3C62251C3 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:20:58] 617*2^1402028-1 is not prime. Res64: EE675B47A9857151 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:21:02] 647*2^1402028-1 is not prime. Res64: 4BB39133372C21D1 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:21:02] 657*2^1402028-1 is not prime. Res64: 5E91229D8E93A7CC Time : 0.0 sec. user=mdettweiler [2015-07-03 00:32:30] 743*2^1402028-1 is not prime. Res64: DBD8CA878C658929 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:32:31] 867*2^1402028-1 is not prime. Res64: E90F215E2CC6D11C Time : 0.0 sec. user=juhehe [2015-07-03 00:35:04] 901*2^1402027-1 is not prime. Res64: 87356E2FD564A598 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:38:20] 959*2^1402028-1 is not prime. Res64: F356175A06C36100 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:38:20] 969*2^1402028-1 is not prime. Res64: 211287881045F1D0 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:38:23] 977*2^1402028-1 is not prime. Res64: 0595CCF1B83415AF Time : 0.0 sec. user=mdettweiler [2015-07-03 00:38:23] 615*2^1402029-1 is not prime. Res64: 73272F99276F8EB7 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:49:51] 621*2^1402029-1 is not prime. Res64: D8815676B7CA7235 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:49:51] 649*2^1402029-1 is not prime. Res64: 4805FD6B399BBBC3 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:55:40] 745*2^1402029-1 is not prime. Res64: 389F6F070069864E Time : 0.0 sec. user=mdettweiler [2015-07-03 00:55:41] 837*2^1402029-1 is not prime. Res64: 006ED43F1CA9B8B4 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:55:43] 867*2^1402029-1 is not prime. Res64: 611685566F055AE0 Time : 0.0 sec. user=mdettweiler [2015-07-03 00:55:43] 889*2^1402029-1 is not prime. Res64: B68176D981B60B72 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:07:14] 961*2^1402029-1 is not prime. Res64: ADEC5C3096FE6735 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:07:14] 605*2^1402030-1 is not prime. Res64: B3C6397FF1BBAB81 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:13:01] 687*2^1402030-1 is not prime. Res64: 13899FBA8C5AE7AD Time : 0.0 sec. user=mdettweiler [2015-07-03 01:13:02] 741*2^1402030-1 is not prime. Res64: 1C9B3A71C6777215 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:13:05] 813*2^1402030-1 is not prime. Res64: C3A8C78AF803EA2C Time : 0.0 sec. user=mdettweiler [2015-07-03 01:13:05] 827*2^1402030-1 is not prime. Res64: D0EC1D4B6F751D7A Time : 0.0 sec. user=juhehe [2015-07-03 01:13:41] 669*2^1402029-1 is not prime. Res64: 6310E7251CAC1ACC Time : 0.0 sec. user=mdettweiler [2015-07-03 01:24:38] 867*2^1402030-1 is not prime. Res64: 78DA804ACEA2A961 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:24:39] 873*2^1402030-1 is not prime. Res64: EAB689D167485CE6 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:30:23] 917*2^1402030-1 is not prime. Res64: F8A89B4EC2337C34 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:30:26] 951*2^1402030-1 is not prime. Res64: 6F0510C0B8B7D994 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:30:27] 669*2^1402031-1 is not prime. Res64: A4E860CAEF6D2D7D Time : 0.0 sec. user=mdettweiler [2015-07-03 01:30:29] 735*2^1402031-1 is not prime. Res64: 611B33C5AB5C7C82 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:42:00] 805*2^1402031-1 is not prime. Res64: FDE3F97A0358E7E1 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:42:00] 885*2^1402031-1 is not prime. Res64: 8E1AF9C29CE94DB0 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:48:21] 993*2^1402031-1 is not prime. Res64: BBEC470A4B49A0B9 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:48:22] 629*2^1402032-1 is not prime. Res64: 8FF951D9AC834881 Time : 0.0 sec. user=mdettweiler [2015-07-03 01:48:22] 635*2^1402032-1 is not prime. Res64: E4E6BFDD03157BDB Time : 0.0 sec. user=mdettweiler [2015-07-03 01:48:23] 779*2^1402032-1 is not prime. Res64: E67C26A2B194E4C9 Time : 0.0 sec. user=juhehe [2015-07-03 01:54:03] 781*2^1402031-1 is not prime. Res64: 2AE7509F2CB40AEE Time : 0.0 sec. user=mdettweiler [2015-07-03 01:59:22] 849*2^1402032-1 is not prime. Res64: F1920ED1206E19EE Time : 0.0 sec. user=mdettweiler [2015-07-03 01:59:22] 857*2^1402032-1 is not prime. Res64: 8E8F67C61EBB8944 Time : 0.0 sec. user=S_K_ [2015-07-03 02:04:22] 981*2^1402031-1 is not prime. Res64: 1B468E901325253F Time : 0.0 sec. user=mdettweiler [2015-07-03 02:05:46] 933*2^1402032-1 is not prime. Res64: 0E31730F57D337AA Time : 0.0 sec. user=mdettweiler [2015-07-03 02:05:47] 789*2^1402033-1 is not prime. Res64: 196AD9EE6D593C62 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:05:47] 939*2^1402033-1 is not prime. Res64: D36137B2B2031613 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:05:48] 955*2^1402033-1 is not prime. Res64: D9601B5E5BD9FDD8 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:16:45] 731*2^1402034-1 is not prime. Res64: 6BDF2B4956DA0D61 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:16:46] 825*2^1402034-1 is not prime. Res64: 2EDE4C9DEF8A7E4B Time : 0.0 sec. user=mdettweiler [2015-07-03 02:23:14] 903*2^1402034-1 is not prime. Res64: AFAA8A9D25AFF230 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:23:15] 613*2^1402035-1 is not prime. Res64: 201F9CE8C58E99F2 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:23:15] 685*2^1402035-1 is not prime. Res64: 23EDCF292BEF4655 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:23:16] 909*2^1402035-1 is not prime. Res64: D6C11C815F08BFC1 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:34:11] 949*2^1402035-1 is not prime. Res64: 7CBE5A3BE3BAB6D6 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:34:12] 603*2^1402036-1 is not prime. Res64: 71340E3EA45C1F82 Time : 0.0 sec. user=juhehe [2015-07-03 02:38:31] 711*2^1402034-1 is not prime. Res64: 1AE476911426D71F Time : 0.0 sec. user=mdettweiler [2015-07-03 02:40:42] 903*2^1402036-1 is not prime. Res64: EA79070A1A24EE26 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:40:42] 615*2^1402037-1 is not prime. Res64: 2857BB1AA8796950 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:40:46] 677*2^1402036-1 is not prime. Res64: 42883CE058D47AE1 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:40:46] 839*2^1402036-1 is not prime. Res64: 646462713889D3F9 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:51:48] 619*2^1402037-1 is not prime. Res64: EA2B2D0E2D8BC738 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:51:48] 631*2^1402037-1 is not prime. Res64: DDD30A15EF0EFC7A Time : 0.0 sec. user=mdettweiler [2015-07-03 02:58:20] 847*2^1402037-1 is not prime. Res64: 2479DF9D8AC80D9A Time : 0.0 sec. user=mdettweiler [2015-07-03 02:58:21] 889*2^1402037-1 is not prime. Res64: B1809CFB7DD56660 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:58:21] 759*2^1402037-1 is not prime. Res64: 8F0428AD7D31C852 Time : 0.0 sec. user=mdettweiler [2015-07-03 02:58:21] 777*2^1402037-1 is not prime. Res64: D364F7A4EF95F962 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:09:14] 657*2^1402038-1 is not prime. Res64: 702395A49DA5B608 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:09:15] 695*2^1402038-1 is not prime. Res64: 5ED8717B9DE9B3DC Time : 0.0 sec. user=mdettweiler [2015-07-03 03:15:41] 915*2^1402038-1 is not prime. Res64: CAEECEB0A7477401 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:15:42] 971*2^1402038-1 is not prime. Res64: CF73B27799F429F6 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:15:46] 975*2^1402038-1 is not prime. Res64: B31DB7063BDD7F88 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:15:47] 735*2^1402039-1 is not prime. Res64: 080A9830BC25C7A3 Time : 0.0 sec. user=juhehe [2015-07-03 03:21:40] 649*2^1402037-1 is not prime. Res64: DA87CB68C870931B Time : 0.0 sec. user=mdettweiler [2015-07-03 03:26:40] 745*2^1402039-1 is not prime. Res64: B747F89DDA5DAE06 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:26:41] 841*2^1402039-1 is not prime. Res64: 2311458626D77E28 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:33:05] 855*2^1402039-1 is not prime. Res64: C57823B40ECF4B74 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:33:06] 633*2^1402040-1 is not prime. Res64: 922EC25628F821CA Time : 0.0 sec. user=mdettweiler [2015-07-03 03:33:11] 645*2^1402040-1 is not prime. Res64: 516C0A0FB12D45C3 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:33:13] 795*2^1402040-1 is not prime. Res64: 91EE07D616ED817C Time : 0.0 sec. user=mdettweiler [2015-07-03 03:44:07] 855*2^1402040-1 is not prime. Res64: F76AC0F66A0EA4FC Time : 0.0 sec. user=mdettweiler [2015-07-03 03:44:08] 923*2^1402040-1 is not prime. Res64: AB0D2FCBA77AB31D Time : 0.0 sec. user=mdettweiler [2015-07-03 03:50:59] 735*2^1402041-1 is not prime. Res64: CF113A9FB598021F Time : 0.0 sec. user=mdettweiler [2015-07-03 03:50:59] 927*2^1402040-1 is not prime. Res64: CE1019F43196FEAB Time : 0.0 sec. user=mdettweiler [2015-07-03 03:50:59] 795*2^1402041-1 is not prime. Res64: 19743AD5A59B4BE7 Time : 0.0 sec. user=mdettweiler [2015-07-03 03:51:00] 705*2^1402041-1 is not prime. Res64: 81718B4E69FCA382 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:01:33] 835*2^1402041-1 is not prime. Res64: 84E8AE264B214A55 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:01:34] 895*2^1402041-1 is not prime. Res64: F6DF43E8A264AC36 Time : 0.0 sec. user=juhehe [2015-07-03 04:08:06] 825*2^1402040-1 is not prime. Res64: 56791C383B92CE37 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:08:26] 937*2^1402041-1 is not prime. Res64: 08482C1C8C16A50C Time : 0.0 sec. user=mdettweiler [2015-07-03 04:08:26] 921*2^1402041-1 is not prime. Res64: A9A74CA569C943D5 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:08:26] 951*2^1402041-1 is not prime. Res64: 43ED185BC01CBE77 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:08:27] 955*2^1402041-1 is not prime. Res64: 0F5DFD03F7A5A1CF Time : 0.0 sec. user=mdettweiler [2015-07-03 04:19:12] 975*2^1402041-1 is not prime. Res64: A23671B5B2C52587 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:19:12] 603*2^1402042-1 is not prime. Res64: 39C62C521C28C5CE Time : 0.0 sec. user=mdettweiler [2015-07-03 04:25:48] 815*2^1402042-1 is not prime. Res64: 020D42CD59CF6036 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:25:48] 741*2^1402042-1 is not prime. Res64: 785DEB15E03B5EB0 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:25:48] 867*2^1402042-1 is not prime. Res64: E7A11919C0EA2BB5 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:25:48] 755*2^1402042-1 is not prime. Res64: 62CC752737B1D6CC Time : 0.0 sec. user=mdettweiler [2015-07-03 04:36:34] 885*2^1402042-1 is not prime. Res64: 5EB63D2AB43E3E64 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:36:35] 983*2^1402042-1 is not prime. Res64: D245B776CF4F9B28 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:43:11] 987*2^1402042-1 is not prime. Res64: 0C6653D5878910BB Time : 0.0 sec. user=mdettweiler [2015-07-03 04:43:11] 663*2^1402043-1 is not prime. Res64: 2992E7315A2B8125 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:43:12] 753*2^1402043-1 is not prime. Res64: 5F1154FF63073EFC Time : 0.0 sec. user=mdettweiler [2015-07-03 04:43:12] 707*2^1402044-1 is not prime. Res64: 94CE2089B5AE218D Time : 0.0 sec. user=juhehe [2015-07-03 04:53:33] 617*2^1402042-1 is not prime. Res64: AF28D3CE1E976D80 Time : 0.0 sec. user=mdettweiler [2015-07-03 04:53:56] 783*2^1402044-1 is not prime. Res64: 23AE68251E617F4E Time : 0.0 sec. user=mdettweiler [2015-07-03 04:53:58] 863*2^1402044-1 is not prime. Res64: 8CD87A30D383D34A Time : 0.0 sec. user=mdettweiler [2015-07-03 05:00:35] 625*2^1402045-1 is not prime. Res64: 9A76520AF1DD6632 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:00:36] 651*2^1402045-1 is not prime. Res64: 5FDD30376593F945 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:00:37] 721*2^1402045-1 is not prime. Res64: 61487B6744B8FB3C Time : 0.0 sec. user=mdettweiler [2015-07-03 05:00:38] 805*2^1402045-1 is not prime. Res64: CFD414D3D3799F65 Time : 0.0 sec. user=S_K_ [2015-07-03 05:05:03] 723*2^1402044-1 is not prime. Res64: 20B42D5E4766F430 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:11:20] 603*2^1402046-1 is not prime. Res64: D2C8DC56AE3040C6 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:11:21] 635*2^1402046-1 is not prime. Res64: 56EE31913CFDEF39 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:18:05] 857*2^1402046-1 is not prime. Res64: D75B6558FC394D95 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:18:05] 761*2^1402046-1 is not prime. Res64: 134B06BF82C63B82 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:18:05] 935*2^1402046-1 is not prime. Res64: E6F746BB5DBC311C Time : 0.0 sec. user=mdettweiler [2015-07-03 05:18:05] 831*2^1402046-1 is not prime. Res64: 2314E3E1491245BA Time : 0.0 sec. user=mdettweiler [2015-07-03 05:28:42] 1001*2^1402046-1 is not prime. Res64: F5917828456E828B Time : 0.0 sec. user=mdettweiler [2015-07-03 05:28:43] 669*2^1402047-1 is not prime. Res64: DA35AC2AFE3538BF Time : 0.0 sec. user=juhehe [2015-07-03 05:32:17] 897*2^1402045-1 is not prime. Res64: 142C99A01E94B1B8 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:35:28] 819*2^1402047-1 is not prime. Res64: 118602191AE82462 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:35:29] 843*2^1402047-1 is not prime. Res64: 3E58E8F20DF615D0 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:35:29] 861*2^1402047-1 is not prime. Res64: BBBA486DB3FC1E55 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:35:30] 865*2^1402047-1 is not prime. Res64: 198222C3BCB443B9 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:46:04] 871*2^1402047-1 is not prime. Res64: 080837CFB1022D30 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:46:05] 933*2^1402047-1 is not prime. Res64: 4F014DFB6B4D6997 Time : 0.0 sec. user=S_K_ [2015-07-03 05:48:36] 963*2^1402046-1 is not prime. Res64: 808F24BE10D87EFA Time : 0.0 sec. user=mdettweiler [2015-07-03 05:52:51] 993*2^1402048-1 is not prime. Res64: 53A00B28EE25FDEA Time : 0.0 sec. user=mdettweiler [2015-07-03 05:52:52] 675*2^1402049-1 is not prime. Res64: CC1483198A1B2201 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:52:54] 743*2^1402048-1 is not prime. Res64: 2ACD8C0D3605D6B0 Time : 0.0 sec. user=mdettweiler [2015-07-03 05:52:55] 813*2^1402048-1 is not prime. Res64: B987500565DF891B Time : 0.0 sec. user=mdettweiler [2015-07-03 06:03:26] 795*2^1402049-1 is not prime. Res64: 61BC29B6A3C2AD2C Time : 0.0 sec. user=mdettweiler [2015-07-03 06:03:27] 841*2^1402049-1 is not prime. Res64: 0F16DCF17130D324 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:10:12] 925*2^1402049-1 is not prime. Res64: 593AC14C36159870 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:10:13] 651*2^1402050-1 is not prime. Res64: 87E854E3F4A13374 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:10:14] 735*2^1402050-1 is not prime. Res64: 48E1F01D93DFD7D4 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:10:15] 783*2^1402050-1 is not prime. Res64: F98949954AFF3611 Time : 0.0 sec. user=juhehe [2015-07-03 06:11:02] 699*2^1402048-1 is not prime. Res64: 1292E51CC498F075 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:21:04] 801*2^1402050-1 is not prime. Res64: FDC487F17DE84BD0 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:21:04] 803*2^1402050-1 is not prime. Res64: 2BC2DD0452155DFC Time : 0.0 sec. user=mdettweiler [2015-07-03 06:27:37] 963*2^1402050-1 is not prime. Res64: 8272826AB2761CCD Time : 0.0 sec. user=mdettweiler [2015-07-03 06:27:38] 619*2^1402051-1 is not prime. Res64: 785FD59D5C62F994 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:27:38] 615*2^1402051-1 is not prime. Res64: 8C46EEA645CE6B1C Time : 0.0 sec. user=mdettweiler [2015-07-03 06:27:38] 649*2^1402051-1 is not prime. Res64: BC7C75F7ED947CF0 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:38:26] 685*2^1402051-1 is not prime. Res64: 29127DB41F402AD8 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:38:26] 723*2^1402051-1 is not prime. Res64: 66DF36E5DE3A5B77 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:45:01] 805*2^1402051-1 is not prime. Res64: 57672CBA5995E9C2 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:45:01] 813*2^1402051-1 is not prime. Res64: D0C6951DA3804167 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:45:03] 943*2^1402051-1 is not prime. Res64: B40399D19ED08A48 Time : 0.0 sec. user=mdettweiler [2015-07-03 06:45:03] 993*2^1402051-1 is not prime. Res64: 3E3EEA2F2FBC6CCC Time : 0.0 sec. user=mdettweiler [2015-07-03 06:55:51] 999*2^1402051-1 is not prime. Res64: CA09617FD03391FE Time : 0.0 sec. user=mdettweiler [2015-07-03 06:55:51] 759*2^1402052-1 is not prime. Res64: 12EC4FD5A4634383 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:02:23] 607*2^1402053-1 is not prime. Res64: 35288B4F0A7C2095 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:02:24] 745*2^1402053-1 is not prime. Res64: 12786685E66DF257 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:02:25] 847*2^1402053-1 is not prime. Res64: 3D3FEA891413FC0A Time : 0.0 sec. user=mdettweiler [2015-07-03 07:02:26] 955*2^1402053-1 is not prime. Res64: 801E19A2C0AC4C4D Time : 0.0 sec. user=mdettweiler [2015-07-03 07:13:11] 969*2^1402053-1 is not prime. Res64: 5135470AAF3883EE Time : 0.0 sec. user=mdettweiler [2015-07-03 07:13:12] 623*2^1402054-1 is not prime. Res64: 24C2113E2B015338 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:20:12] 645*2^1402054-1 is not prime. Res64: F56BB3057866BF59 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:20:12] 885*2^1402054-1 is not prime. Res64: 537B8877F7FA8A96 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:20:12] 861*2^1402054-1 is not prime. Res64: A43364666918410B Time : 0.0 sec. user=mdettweiler [2015-07-03 07:20:12] 993*2^1402054-1 is not prime. Res64: E724908D1FE4B798 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:30:33] 673*2^1402055-1 is not prime. Res64: 9E679B56DCCB8510 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:30:34] 679*2^1402055-1 is not prime. Res64: E845250149134DBA Time : 0.0 sec. user=mdettweiler [2015-07-03 07:37:34] 831*2^1402055-1 is not prime. Res64: 25E79C2F71CF2C74 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:37:34] 889*2^1402055-1 is not prime. Res64: A57E922AC0E86CA4 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:37:35] 615*2^1402056-1 is not prime. Res64: 80FE42FD44E83FAD Time : 0.0 sec. user=mdettweiler [2015-07-03 07:37:35] 627*2^1402056-1 is not prime. Res64: 51B813EF00C6F95E Time : 0.0 sec. user=mdettweiler [2015-07-03 07:47:57] 633*2^1402056-1 is not prime. Res64: 93C7F7F1C2A33E2E Time : 0.0 sec. user=mdettweiler [2015-07-03 07:47:57] 669*2^1402056-1 is not prime. Res64: 1F7F271D8FD976B3 Time : 0.0 sec. user=juhehe [2015-07-03 07:52:28] 619*2^1402055-1 is not prime. Res64: EF93B662251CFD34 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:54:55] 717*2^1402056-1 is not prime. Res64: 76A72F269099E812 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:54:55] 737*2^1402056-1 is not prime. Res64: 284022163A56A83A Time : 0.0 sec. user=mdettweiler [2015-07-03 07:54:56] 765*2^1402056-1 is not prime. Res64: 1D1D36B37CF40F68 Time : 0.0 sec. user=mdettweiler [2015-07-03 07:54:56] 773*2^1402056-1 is not prime. Res64: 67448F70B493EBCE Time : 0.0 sec. user=mdettweiler [2015-07-03 08:05:19] 999*2^1402056-1 is not prime. Res64: 1EB45A6571EAA0AE Time : 0.0 sec. user=mdettweiler [2015-07-03 08:05:20] 601*2^1402057-1 is not prime. Res64: B2F6A3F4609E8EDC Time : 0.0 sec. user=mdettweiler [2015-07-03 08:12:15] 625*2^1402057-1 is not prime. Res64: 7276DFF8F00C1384 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:12:16] 975*2^1402057-1 is not prime. Res64: 3C7F47BBE282FB3E Time : 0.0 sec. user=mdettweiler [2015-07-03 08:12:16] 623*2^1402058-1 is not prime. Res64: 1288AD950AF9386D Time : 0.0 sec. user=mdettweiler [2015-07-03 08:12:17] 645*2^1402058-1 is not prime. Res64: 84C06402F585EA48 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:22:56] 683*2^1402058-1 is not prime. Res64: 3DE17BC6767B8BFE Time : 0.0 sec. user=mdettweiler [2015-07-03 08:22:56] 705*2^1402058-1 is not prime. Res64: 12538B25011765BF Time : 0.0 sec. user=mdettweiler [2015-07-03 08:29:36] 791*2^1402058-1 is not prime. Res64: D3150124478C7D27 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:29:36] 857*2^1402058-1 is not prime. Res64: 080C7CD2B94CD064 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:29:38] 921*2^1402058-1 is not prime. Res64: AA8C3A196FDF1DEA Time : 0.0 sec. user=mdettweiler [2015-07-03 08:29:38] 941*2^1402058-1 is not prime. Res64: 8E04EE844A4FFD13 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:40:18] 951*2^1402058-1 is not prime. Res64: 1498E260F1059381 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:40:19] 963*2^1402058-1 is not prime. Res64: 84F89A8FC9022D21 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:46:56] 711*2^1402059-1 is not prime. Res64: 67483E04A08CBB77 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:46:56] 735*2^1402059-1 is not prime. Res64: 98FF85BF33637F55 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:47:01] 895*2^1402059-1 is not prime. Res64: 0B5CCD7F6E22E203 Time : 0.0 sec. user=mdettweiler [2015-07-03 08:47:02] 909*2^1402059-1 is not prime. Res64: 0DC2EAD4039973BD Time : 0.0 sec. user=mdettweiler [2015-07-03 08:57:42] 931*2^1402059-1 is not prime. Res64: 13477E8A0B03D03A Time : 0.0 sec. user=mdettweiler [2015-07-03 08:57:43] 949*2^1402059-1 is not prime. Res64: AF893496ED2E973C Time : 0.0 sec. user=mdettweiler [2015-07-03 09:04:23] 969*2^1402059-1 is not prime. Res64: 8AD993FEB80B6D70 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:04:24] 605*2^1402060-1 is not prime. Res64: 641AFC3CEE8335B0 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:04:31] 803*2^1402060-1 is not prime. Res64: 6CC51363423794EF Time : 0.0 sec. user=mdettweiler [2015-07-03 09:04:32] 845*2^1402060-1 is not prime. Res64: 96D963DDEC8F11ED Time : 0.0 sec. user=juhehe [2015-07-03 09:13:07] 609*2^1402059-1 is not prime. Res64: 4442776B7A8A2B32 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:15:09] 909*2^1402060-1 is not prime. Res64: 7B5CBB645B5CF233 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:15:10] 927*2^1402060-1 is not prime. Res64: AC0DC7754726E5CC Time : 0.0 sec. user=mdettweiler [2015-07-03 09:21:48] 607*2^1402061-1 is not prime. Res64: 0FCDA5EBD68E7749 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:21:48] 727*2^1402061-1 is not prime. Res64: F3BE14A638445E75 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:21:55] 741*2^1402061-1 is not prime. Res64: F72468E5DB61D5EB Time : 0.0 sec. user=mdettweiler [2015-07-03 09:21:55] 865*2^1402061-1 is not prime. Res64: 2A18DEAD0B4D6217 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:32:31] 931*2^1402061-1 is not prime. Res64: CC144A1C56156B20 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:32:31] 937*2^1402061-1 is not prime. Res64: 8C5D87B8770331F4 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:39:08] 979*2^1402061-1 is not prime. Res64: 5718E418DF4E5A0B Time : 0.0 sec. user=mdettweiler [2015-07-03 09:39:08] 767*2^1402062-1 is not prime. Res64: 9F2875878109A550 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:39:14] 843*2^1402062-1 is not prime. Res64: 5B7811A0D23F91BE Time : 0.0 sec. user=mdettweiler [2015-07-03 09:39:15] 875*2^1402062-1 is not prime. Res64: 3124578CFB528D2F Time : 0.0 sec. user=mdettweiler [2015-07-03 09:49:52] 983*2^1402062-1 is not prime. Res64: 7B3CBBDAE9CBCFBA Time : 0.0 sec. user=mdettweiler [2015-07-03 09:49:52] 621*2^1402063-1 is not prime. Res64: 1F7B154DBFE0B44F Time : 0.0 sec. user=mdettweiler [2015-07-03 09:56:30] 769*2^1402063-1 is not prime. Res64: 75CB1163A57BFFE2 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:56:30] 945*2^1402063-1 is not prime. Res64: 6AA0FF4F6E2503B1 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:56:38] 665*2^1402064-1 is not prime. Res64: 62B4798372A7BFF0 Time : 0.0 sec. user=mdettweiler [2015-07-03 09:56:39] 753*2^1402064-1 is not prime. Res64: 02750B53D78E9647 Time : 0.0 sec. user=juhehe [2015-07-03 10:02:22] 871*2^1402061-1 is not prime. Res64: A1E54E1541B31E9C Time : 0.0 sec. user=mdettweiler [2015-07-03 10:07:13] 825*2^1402064-1 is not prime. Res64: DF3843256E110BFB Time : 0.0 sec. user=mdettweiler [2015-07-03 10:07:14] 899*2^1402064-1 is not prime. Res64: 290814D5A21164C5 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:13:51] 909*2^1402064-1 is not prime. Res64: C0FDCE00E40F469D Time : 0.0 sec. user=mdettweiler [2015-07-03 10:13:52] 915*2^1402064-1 is not prime. Res64: 0E546593A8C552F5 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:13:59] 627*2^1402065-1 is not prime. Res64: FA8C928C0B920C42 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:13:59] 649*2^1402065-1 is not prime. Res64: 98D44F170125A513 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:24:37] 699*2^1402065-1 is not prime. Res64: CFEEAEA531AF76ED Time : 0.0 sec. user=mdettweiler [2015-07-03 10:24:38] 817*2^1402065-1 is not prime. Res64: C4CD683A8217567D Time : 0.0 sec. user=mdettweiler [2015-07-03 10:31:12] 999*2^1402065-1 is not prime. Res64: 55E6A720918BF145 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:31:12] 695*2^1402066-1 is not prime. Res64: B0846BBA7D588073 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:31:20] 723*2^1402066-1 is not prime. Res64: 23B569967D060F3F Time : 0.0 sec. user=mdettweiler [2015-07-03 10:31:20] 737*2^1402066-1 is not prime. Res64: 561580FA5A51CC01 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:41:59] 755*2^1402066-1 is not prime. Res64: C7DC8CBB9528CCC5 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:42:00] 765*2^1402066-1 is not prime. Res64: CA4B61EE60F77B69 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:48:37] 815*2^1402066-1 is not prime. Res64: C029E8FFCFFCECEB Time : 0.0 sec. user=mdettweiler [2015-07-03 10:48:38] 933*2^1402066-1 is not prime. Res64: 183BA071786D0D25 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:48:42] 619*2^1402067-1 is not prime. Res64: D3D8B981A443A3C8 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:48:42] 633*2^1402067-1 is not prime. Res64: 93A1D1D7E1516F87 Time : 0.0 sec. user=mdettweiler [2015-07-03 10:59:20] 655*2^1402067-1 is not prime. Res64: 96F4210F555911DA Time : 0.0 sec. user=mdettweiler [2015-07-03 10:59:21] 685*2^1402067-1 is not prime. Res64: 66BED64E0BF78D31 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:05:59] 705*2^1402067-1 is not prime. Res64: E9D6D56C42232F1C Time : 0.0 sec. user=mdettweiler [2015-07-03 11:06:02] 859*2^1402067-1 is not prime. Res64: 9C32CE47F8A829A8 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:06:05] 635*2^1402068-1 is not prime. Res64: 4D631318C3B4C7B3 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:06:07] 705*2^1402068-1 is not prime. Res64: 20292E43D9BFFC20 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:16:42] 753*2^1402068-1 is not prime. Res64: 94835268053C7D7A Time : 0.0 sec. user=mdettweiler [2015-07-03 11:16:42] 765*2^1402068-1 is not prime. Res64: 7FF41CA3216CAE3D Time : 0.0 sec. user=mdettweiler [2015-07-03 11:23:52] 933*2^1402068-1 is not prime. Res64: B39D7DDEBA8857EF Time : 0.0 sec. user=mdettweiler [2015-07-03 11:23:53] 999*2^1402068-1 is not prime. Res64: 44985D2E46E8EF92 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:23:54] 929*2^1402068-1 is not prime. Res64: 9FC218CF4036DB20 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:23:54] 619*2^1402069-1 is not prime. Res64: 5A864C0EF63694DF Time : 0.0 sec. user=mdettweiler [2015-07-03 11:34:08] 759*2^1402069-1 is not prime. Res64: 643C1B96F40A7745 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:34:09] 769*2^1402069-1 is not prime. Res64: EB49379107236D89 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:41:23] 771*2^1402069-1 is not prime. Res64: 27A9594FA51CED03 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:41:23] 801*2^1402069-1 is not prime. Res64: 470E855B7652804D Time : 0.0 sec. user=mdettweiler [2015-07-03 11:41:24] 927*2^1402069-1 is not prime. Res64: E788FD693B27DCEE Time : 0.0 sec. user=mdettweiler [2015-07-03 11:41:24] 931*2^1402069-1 is not prime. Res64: BC490ADE6B4B2D6B Time : 0.0 sec. user=mdettweiler [2015-07-03 11:51:51] 651*2^1402070-1 is not prime. Res64: F8CF97D75E20E487 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:51:52] 675*2^1402070-1 is not prime. Res64: 6DEEA1BF70D08BCC Time : 0.0 sec. user=mdettweiler [2015-07-03 11:59:06] 953*2^1402070-1 is not prime. Res64: 3667D787455A904A Time : 0.0 sec. user=mdettweiler [2015-07-03 11:59:06] 619*2^1402071-1 is not prime. Res64: 72F6C977F871D15E Time : 0.0 sec. user=mdettweiler [2015-07-03 11:59:09] 693*2^1402071-1 is not prime. Res64: 87B8D6938B7F4C99 Time : 0.0 sec. user=mdettweiler [2015-07-03 11:59:09] 859*2^1402071-1 is not prime. Res64: D11CC26C5495FFFF Time : 0.0 sec. user=mdettweiler [2015-07-03 12:09:21] 879*2^1402071-1 is not prime. Res64: 2DB0FBF2D096355A Time : 0.0 sec. user=mdettweiler [2015-07-03 12:09:22] 885*2^1402071-1 is not prime. Res64: B934A0C6D91EB3A9 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:16:28] 623*2^1402072-1 is not prime. Res64: E938BB985882E4A2 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:16:29] 657*2^1402072-1 is not prime. Res64: 67C92E61B78D72A5 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:16:29] 729*2^1402073-1 is not prime. Res64: 7E6A0BC696B8E9E4 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:16:30] 759*2^1402073-1 is not prime. Res64: 86E3B9772A94BC35 Time : 0.0 sec. user=juhehe [2015-07-03 12:25:05] 791*2^1402070-1 is not prime. Res64: 6DD8AA7CC19DC8C0 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:26:46] 867*2^1402073-1 is not prime. Res64: 28B21BA8A6D698F2 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:26:46] 871*2^1402073-1 is not prime. Res64: C0B862EB3D8BF22F Time : 0.0 sec. user=mdettweiler [2015-07-03 12:33:52] 707*2^1402074-1 is not prime. Res64: F1786634BE2499A0 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:33:52] 783*2^1402074-1 is not prime. Res64: 048BBBEBF497596E Time : 0.0 sec. user=mdettweiler [2015-07-03 12:33:54] 985*2^1402073-1 is not prime. Res64: 99F6F27C3259BF83 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:33:54] 991*2^1402073-1 is not prime. Res64: E2002BB254AE7061 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:44:10] 791*2^1402074-1 is not prime. Res64: 2D075B0E21E2D8F5 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:44:11] 861*2^1402074-1 is not prime. Res64: A0C182E1F74C8125 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:51:16] 915*2^1402074-1 is not prime. Res64: F37762BA837C77FB Time : 0.0 sec. user=mdettweiler [2015-07-03 12:51:17] 917*2^1402074-1 is not prime. Res64: 57A99E2408534D1B Time : 0.0 sec. user=mdettweiler [2015-07-03 12:51:17] 947*2^1402074-1 is not prime. Res64: D53F506EB0889B89 Time : 0.0 sec. user=mdettweiler [2015-07-03 12:51:17] 971*2^1402074-1 is not prime. Res64: F6DDE032541AE3A3 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:01:35] 983*2^1402074-1 is not prime. Res64: 9C4717CD8A9E16B1 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:01:36] 993*2^1402074-1 is not prime. Res64: 67711AE5281916F9 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:08:40] 619*2^1402075-1 is not prime. Res64: 5EEDA8A93C119C7C Time : 0.0 sec. user=mdettweiler [2015-07-03 13:08:41] 633*2^1402075-1 is not prime. Res64: 3557DEE5CCB11A5D Time : 0.0 sec. user=mdettweiler [2015-07-03 13:08:42] 645*2^1402075-1 is not prime. Res64: 37261DBF9A735BD8 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:08:42] 679*2^1402075-1 is not prime. Res64: 123CA0107106CDF6 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:19:10] 685*2^1402075-1 is not prime. Res64: BBDDE97241948722 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:19:10] 843*2^1402075-1 is not prime. Res64: 91036051BEB8E7C7 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:26:02] 853*2^1402075-1 is not prime. Res64: 7FE9F63763898000 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:26:02] 861*2^1402075-1 is not prime. Res64: C89442BC2367FCE5 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:26:03] 873*2^1402075-1 is not prime. Res64: A6A5AF52F5CA29A9 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:26:03] 891*2^1402075-1 is not prime. Res64: 9619F86D293BFEDE Time : 0.0 sec. user=S_K_ [2015-07-03 13:27:00] 951*2^1402071-1 is not prime. Res64: BF2594E6973B49AA Time : 0.0 sec. user=mdettweiler [2015-07-03 13:36:33] 915*2^1402075-1 is not prime. Res64: CF1A85209BD968DB Time : 0.0 sec. user=mdettweiler [2015-07-03 13:36:33] 677*2^1402076-1 is not prime. Res64: 1D505EE7FC05ECDF Time : 0.0 sec. user=mdettweiler [2015-07-03 13:43:24] 699*2^1402076-1 is not prime. Res64: 07CE42C9C939BB62 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:43:25] 833*2^1402076-1 is not prime. Res64: EA078E2DD6A00B42 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:43:26] 857*2^1402076-1 is not prime. Res64: 5F8892CEBC4CCD59 Time : 0.0 sec. user=mdettweiler [2015-07-03 13:43:26] 903*2^1402076-1 is not prime. Res64: E80374458899405D Time : 0.0 sec. user=juhehe [2015-07-03 13:52:19] 849*2^1402075-1 is not prime. Res64: 3BEE3C081AD6974F Time : 0.0 sec. user=mdettweiler [2015-07-03 13:53:55] 987*2^1402076-1 is not prime. Res64: 757B6C7AA9C70E4D Time : 0.0 sec. user=mdettweiler [2015-07-03 13:53:55] 649*2^1402077-1 is not prime. Res64: 77DA298ED8C6E297 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:00:48] 999*2^1402077-1 is not prime. Res64: BB7CD0F1A3FBF371 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:00:49] 663*2^1402078-1 is not prime. Res64: 603C1A085C64218C Time : 0.0 sec. user=mdettweiler [2015-07-03 14:00:50] 919*2^1402077-1 is not prime. Res64: 5D8D6620E98DACF0 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:00:51] 937*2^1402077-1 is not prime. Res64: 552A94BF6738B1B7 Time : 0.0 sec. user=S_K_ [2015-07-03 14:08:09] 953*2^1402076-1 is not prime. Res64: 770B4F91012CE26D Time : 0.0 sec. user=mdettweiler [2015-07-03 14:11:17] 743*2^1402078-1 is not prime. Res64: 9E8D5AE54FF7E4B8 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:11:17] 777*2^1402078-1 is not prime. Res64: 02AB4A971010954C Time : 0.0 sec. user=mdettweiler [2015-07-03 14:18:15] 957*2^1402078-1 is not prime. Res64: 851AB94B4034C3FA Time : 0.0 sec. user=mdettweiler [2015-07-03 14:18:15] 971*2^1402078-1 is not prime. Res64: 4ED5CAA0AF1AABC7 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:18:18] 609*2^1402079-1 is not prime. Res64: 1AFD0A67A28113B1 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:18:18] 615*2^1402079-1 is not prime. Res64: 2BAA845389EFAC77 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:28:40] 825*2^1402079-1 is not prime. Res64: FA53E303543BAC17 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:28:40] 853*2^1402079-1 is not prime. Res64: 08392D97DCD7685D Time : 0.0 sec. user=mdettweiler [2015-07-03 14:35:41] 629*2^1402080-1 is not prime. Res64: DC6B3D9784040DBB Time : 0.0 sec. user=mdettweiler [2015-07-03 14:35:41] 723*2^1402080-1 is not prime. Res64: 5E9B1DF02C8B0493 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:35:43] 737*2^1402080-1 is not prime. Res64: 42ECC2B9DD9DFE66 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:35:43] 747*2^1402080-1 is not prime. Res64: 4D136C9CDB4393FF Time : 0.0 sec. user=S_K_ [2015-07-03 14:45:09] 811*2^1402079-1 is not prime. Res64: DCEA055D3EDEB658 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:46:01] 759*2^1402080-1 is not prime. Res64: 50CE545F8DC78FA1 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:46:02] 929*2^1402080-1 is not prime. Res64: C139B732DE77FE76 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:53:05] 745*2^1402081-1 is not prime. Res64: 3A8578ABC57A73A3 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:53:05] 789*2^1402081-1 is not prime. Res64: 1ED5095C509794A0 Time : 0.0 sec. user=mdettweiler [2015-07-03 14:53:06] 633*2^1402082-1 is not prime. Res64: BCEF4764BF1F5D5E Time : 0.0 sec. user=mdettweiler [2015-07-03 14:53:06] 711*2^1402082-1 is not prime. Res64: 6C57C413BFE07ACA Time : 0.0 sec. user=mdettweiler [2015-07-03 15:03:24] 731*2^1402082-1 is not prime. Res64: CB13CA0AFA17D7AE Time : 0.0 sec. user=mdettweiler [2015-07-03 15:03:25] 741*2^1402082-1 is not prime. Res64: 71FE49D5FC2A28E9 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:10:27] 827*2^1402082-1 is not prime. Res64: 0EC9A6837086850A Time : 0.0 sec. user=mdettweiler [2015-07-03 15:10:28] 753*2^1402082-1 is not prime. Res64: 6D9472569B7EB958 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:10:28] 785*2^1402082-1 is not prime. Res64: A01B900C7471AE5D Time : 0.0 sec. user=mdettweiler [2015-07-03 15:10:28] 885*2^1402082-1 is not prime. Res64: 6620966D12C13687 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:20:59] 953*2^1402082-1 is not prime. Res64: 5BC358FF13ADD624 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:21:00] 703*2^1402083-1 is not prime. Res64: FD4AD8E04B6DF152 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:27:52] 849*2^1402083-1 is not prime. Res64: 554EE308D59A6223 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:27:53] 825*2^1402084-1 is not prime. Res64: EE01392C16262C73 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:27:53] 973*2^1402083-1 is not prime. Res64: 8170C42D4C99C7A0 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:27:53] 827*2^1402084-1 is not prime. Res64: CE64499DA24E5508 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:38:22] 699*2^1402085-1 is not prime. Res64: B1D3EAA62BA3F408 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:38:22] 795*2^1402085-1 is not prime. Res64: 8FEFA0C6664041B1 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:45:15] 641*2^1402086-1 is not prime. Res64: 641416DA6ECBDEFB Time : 0.0 sec. user=mdettweiler [2015-07-03 15:45:15] 671*2^1402086-1 is not prime. Res64: 8CA2B79352B16D24 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:45:16] 707*2^1402086-1 is not prime. Res64: 254AF674BA5EDC40 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:45:16] 711*2^1402086-1 is not prime. Res64: 1224ABCD7AB3A187 Time : 0.0 sec. user=juhehe [2015-07-03 15:49:14] 909*2^1402084-1 is not prime. Res64: D51493C6E5BECB0F Time : 0.0 sec. user=mdettweiler [2015-07-03 15:55:44] 815*2^1402086-1 is not prime. Res64: 0B17D0DB9CAE6174 Time : 0.0 sec. user=mdettweiler [2015-07-03 15:55:45] 833*2^1402086-1 is not prime. Res64: F2E95681824BF160 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:02:36] 891*2^1402086-1 is not prime. Res64: FC21C517A706E05C Time : 0.0 sec. user=mdettweiler [2015-07-03 16:02:38] 893*2^1402086-1 is not prime. Res64: 2C56D0ADC7D04635 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:02:38] 945*2^1402086-1 is not prime. Res64: AD233C8F38DF57E5 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:02:40] 841*2^1402087-1 is not prime. Res64: E86218F4C573FB46 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:13:06] 859*2^1402087-1 is not prime. Res64: E7175D2F28EBFB3C Time : 0.0 sec. user=mdettweiler [2015-07-03 16:13:07] 861*2^1402087-1 is not prime. Res64: 3F1C934CFB997384 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:20:01] 871*2^1402087-1 is not prime. Res64: F4BB16212CC35BA4 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:20:02] 909*2^1402087-1 is not prime. Res64: A53C6351126CD354 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:20:02] 919*2^1402087-1 is not prime. Res64: 71394BB3EA48B47F Time : 0.0 sec. user=mdettweiler [2015-07-03 16:20:02] 657*2^1402088-1 is not prime. Res64: 0510E4AEC7E29397 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:30:32] 683*2^1402088-1 is not prime. Res64: B9167790E240D4A8 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:30:33] 753*2^1402088-1 is not prime. Res64: 7E70EC80FCB42B8C Time : 0.0 sec. user=mdettweiler [2015-07-03 16:37:25] 767*2^1402088-1 is not prime. Res64: 7C2D0E8FBBB04394 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:37:25] 789*2^1402088-1 is not prime. Res64: E2C4AC53327EB8C8 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:37:26] 827*2^1402088-1 is not prime. Res64: 22C22FCBEEFDD1D5 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:37:27] 977*2^1402088-1 is not prime. Res64: 34CE4C60DFDA1153 Time : 0.0 sec. user=S_K_ [2015-07-03 16:40:36] 669*2^1402088-1 is not prime. Res64: 7BFC95B61FF8DDEC Time : 0.0 sec. user=mdettweiler [2015-07-03 16:47:55] 649*2^1402089-1 is not prime. Res64: 9C8D62BD9834224A Time : 0.0 sec. user=mdettweiler [2015-07-03 16:47:56] 669*2^1402089-1 is not prime. Res64: C9796CEDE30E6E93 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:54:48] 681*2^1402089-1 is not prime. Res64: A964D1C2B0C84715 Time : 0.0 sec. user=mdettweiler [2015-07-03 16:54:49] 709*2^1402089-1 is not prime. Res64: 3B67E6FF692B301D Time : 0.0 sec. user=mdettweiler [2015-07-03 16:54:51] 727*2^1402089-1 is not prime. Res64: AA2B3CAF0FE336ED Time : 0.0 sec. user=mdettweiler [2015-07-03 16:54:52] 745*2^1402089-1 is not prime. Res64: 7915000380E030A3 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:05:20] 835*2^1402089-1 is not prime. Res64: C9B45640E5913DBA Time : 0.0 sec. user=mdettweiler [2015-07-03 17:05:21] 885*2^1402089-1 is not prime. Res64: 694E7C200AC60B87 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:12:13] 895*2^1402089-1 is not prime. Res64: 9500BA2B9D333AF6 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:12:13] 907*2^1402089-1 is not prime. Res64: 5C3E1C3B13B9650A Time : 0.0 sec. user=mdettweiler [2015-07-03 17:12:18] 635*2^1402090-1 is not prime. Res64: F45239CC55D2EC90 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:12:18] 651*2^1402090-1 is not prime. Res64: 1FDEBE214E4D79B7 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:23:11] 713*2^1402090-1 is not prime. Res64: 375175372475D1D7 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:23:12] 603*2^1402091-1 is not prime. Res64: 929813940244BFA9 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:29:36] 645*2^1402091-1 is not prime. Res64: CA149DCD94CC7843 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:29:36] 811*2^1402091-1 is not prime. Res64: 968A2508FCC371E3 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:29:45] 841*2^1402091-1 is not prime. Res64: ABF654AF1D1A9E48 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:29:45] 885*2^1402091-1 is not prime. Res64: 164436D47EA33429 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:40:35] 979*2^1402091-1 is not prime. Res64: 588E4DB0829FC0AF Time : 0.0 sec. user=mdettweiler [2015-07-03 17:40:35] 991*2^1402091-1 is not prime. Res64: 887DD4AD7AF48272 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:47:01] 675*2^1402092-1 is not prime. Res64: 61F5AC633B09F961 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:47:01] 765*2^1402092-1 is not prime. Res64: E29B29A308AFFF6B Time : 0.0 sec. user=mdettweiler [2015-07-03 17:47:07] 767*2^1402092-1 is not prime. Res64: 41C34B18C0C9C106 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:47:07] 863*2^1402092-1 is not prime. Res64: D9E1BAB72A31BCFE Time : 0.0 sec. user=mdettweiler [2015-07-03 17:57:58] 929*2^1402092-1 is not prime. Res64: DE43BDD72A27DAD2 Time : 0.0 sec. user=mdettweiler [2015-07-03 17:57:58] 639*2^1402093-1 is not prime. Res64: 7CDB63ED2F3CADFA Time : 0.0 sec. user=juhehe [2015-07-03 17:59:27] 945*2^1402091-1 is not prime. Res64: AE1F7D40EDFDE041 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:04:23] 741*2^1402093-1 is not prime. Res64: 6B77428C6CB167E3 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:04:24] 801*2^1402093-1 is not prime. Res64: 5CAE0010AD138819 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:04:30] 867*2^1402093-1 is not prime. Res64: 7D08B90428DE89BB Time : 0.0 sec. user=mdettweiler [2015-07-03 18:04:31] 885*2^1402093-1 is not prime. Res64: 3AE6A45441A99633 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:15:22] 677*2^1402094-1 is not prime. Res64: 36311F23DA3F6975 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:15:22] 693*2^1402094-1 is not prime. Res64: 0AF3F9F6F022D835 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:22:03] 831*2^1402094-1 is not prime. Res64: 5EA56734BA71D05F Time : 0.0 sec. user=mdettweiler [2015-07-03 18:22:03] 897*2^1402094-1 is not prime. Res64: C9C43A589F8F9050 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:22:04] 755*2^1402094-1 is not prime. Res64: EEE8E5F08D3FFD99 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:22:04] 791*2^1402094-1 is not prime. Res64: 926BE58C9781E5EB Time : 0.0 sec. user=mdettweiler [2015-07-03 18:32:51] 923*2^1402094-1 is not prime. Res64: 93E831CE9CAA6C7D Time : 0.0 sec. user=mdettweiler [2015-07-03 18:32:51] 625*2^1402095-1 is not prime. Res64: 021246405DF4AE88 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:39:34] 709*2^1402095-1 is not prime. Res64: 818C30DE92A88EA7 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:39:34] 649*2^1402095-1 is not prime. Res64: 64364D5727AA58FD Time : 0.0 sec. user=mdettweiler [2015-07-03 18:39:34] 819*2^1402095-1 is not prime. Res64: C721940273B004C5 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:39:34] 691*2^1402095-1 is not prime. Res64: AE0EE6FE05D8184A Time : 0.0 sec. user=mdettweiler [2015-07-03 18:51:01] 919*2^1402095-1 is not prime. Res64: 33AD47C728911E9C Time : 0.0 sec. user=mdettweiler [2015-07-03 18:51:01] 973*2^1402095-1 is not prime. Res64: A4C38E21F9426563 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:58:00] 707*2^1402096-1 is not prime. Res64: D46721A7B038BE88 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:58:01] 735*2^1402096-1 is not prime. Res64: 54DE93AF4BCE69ED Time : 0.0 sec. user=mdettweiler [2015-07-03 18:58:01] 765*2^1402096-1 is not prime. Res64: 702ABB652AE5AC19 Time : 0.0 sec. user=mdettweiler [2015-07-03 18:58:01] 965*2^1402096-1 is not prime. Res64: 937F4EC487BAD403 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:09:16] 615*2^1402097-1 is not prime. Res64: A5B1245C9D62D53F Time : 0.0 sec. user=mdettweiler [2015-07-03 19:09:16] 631*2^1402097-1 is not prime. Res64: EF6DD98BA29F50FD Time : 0.0 sec. user=mdettweiler [2015-07-03 19:15:45] 645*2^1402097-1 is not prime. Res64: 3F8FDE7DBA2D2581 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:15:46] 729*2^1402097-1 is not prime. Res64: 322F77F8E8E75E1D Time : 0.0 sec. user=mdettweiler [2015-07-03 19:15:47] 837*2^1402097-1 is not prime. Res64: 1ABB0B6883D7D36C Time : 0.0 sec. user=mdettweiler [2015-07-03 19:15:48] 847*2^1402097-1 is not prime. Res64: 99D98E54C7590C6E Time : 0.0 sec. user=mdettweiler [2015-07-03 19:26:45] 949*2^1402097-1 is not prime. Res64: 26E0370BFCE7B154 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:26:46] 981*2^1402097-1 is not prime. Res64: 86962AC720DA6D81 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:33:10] 651*2^1402098-1 is not prime. Res64: D8BD772C06A47ACC Time : 0.0 sec. user=mdettweiler [2015-07-03 19:33:11] 725*2^1402098-1 is not prime. Res64: 9E4152BC8B8EB29E Time : 0.0 sec. user=mdettweiler [2015-07-03 19:33:13] 797*2^1402098-1 is not prime. Res64: CAB3065E4709D0DE Time : 0.0 sec. user=mdettweiler [2015-07-03 19:33:13] 833*2^1402098-1 is not prime. Res64: 8481CF4287CE1022 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:44:09] 933*2^1402098-1 is not prime. Res64: 6D9C37FEC826EA33 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:44:09] 601*2^1402099-1 is not prime. Res64: 22FA46CF3490D398 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:50:33] 759*2^1402099-1 is not prime. Res64: E17EE0719AF1A3DC Time : 0.0 sec. user=mdettweiler [2015-07-03 19:50:33] 811*2^1402099-1 is not prime. Res64: 1246F708B51324B7 Time : 0.0 sec. user=mdettweiler [2015-07-03 19:50:36] 829*2^1402099-1 is not prime. Res64: D83408FBF93BA3AA Time : 0.0 sec. user=mdettweiler [2015-07-03 19:50:36] 979*2^1402099-1 is not prime. Res64: 2CBB9C31F43112AB Time : 0.0 sec. user=mdettweiler [2015-07-03 20:01:32] 767*2^1402100-1 is not prime. Res64: 7BE1258E323D6C3A Time : 0.0 sec. user=mdettweiler [2015-07-03 20:01:33] 827*2^1402100-1 is not prime. Res64: A5E32E4DDE9861F7 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:07:55] 839*2^1402100-1 is not prime. Res64: 4E1CDB51CC965C70 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:07:55] 935*2^1402100-1 is not prime. Res64: 155977CB4687DFBE Time : 0.0 sec. user=mdettweiler [2015-07-03 20:07:57] 983*2^1402100-1 is not prime. Res64: ED68F62D9456153E Time : 0.0 sec. user=mdettweiler [2015-07-03 20:07:58] 609*2^1402101-1 is not prime. Res64: A54B9D472BBA9A59 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:19:06] 669*2^1402101-1 is not prime. Res64: 0DF1D28F5A464532 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:19:07] 685*2^1402101-1 is not prime. Res64: 08DC3DE9783301BF Time : 0.0 sec. user=juhehe [2015-07-03 20:23:03] 993*2^1402099-1 is not prime. Res64: 993C8EA7EA489C90 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:25:21] 751*2^1402101-1 is not prime. Res64: A8ECBEDBBE6E7ED2 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:25:21] 819*2^1402101-1 is not prime. Res64: 7BAF4731458A42FE Time : 0.0 sec. user=mdettweiler [2015-07-03 20:25:21] 811*2^1402101-1 is not prime. Res64: CC68B2008649CC79 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:25:21] 837*2^1402101-1 is not prime. Res64: 24111D26156F0D0F Time : 0.0 sec. user=mdettweiler [2015-07-03 20:36:30] 921*2^1402101-1 is not prime. Res64: AA493D952FCF9C63 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:36:30] 969*2^1402101-1 is not prime. Res64: 42330AE57D43EB60 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:42:44] 827*2^1402102-1 is not prime. Res64: 1A26489239D6A79E Time : 0.0 sec. user=mdettweiler [2015-07-03 20:42:44] 651*2^1402102-1 is not prime. Res64: 058A30B52D703147 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:42:44] 987*2^1402102-1 is not prime. Res64: 2987262785D89745 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:42:45] 665*2^1402102-1 is not prime. Res64: 2142383CCB933543 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:53:57] 643*2^1402103-1 is not prime. Res64: 13F320AC0507BAF3 Time : 0.0 sec. user=mdettweiler [2015-07-03 20:53:57] 661*2^1402103-1 is not prime. Res64: 329D79A3A0498791 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:00:07] 673*2^1402103-1 is not prime. Res64: 6800B35329AB7F01 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:00:07] 993*2^1402104-1 is not prime. Res64: CA26CAA9689F07D9 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:00:07] 725*2^1402104-1 is not prime. Res64: 6DCD69BAA8204E89 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:00:07] 609*2^1402105-1 is not prime. Res64: 28E54016B45D3A54 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:11:20] 667*2^1402105-1 is not prime. Res64: 9299B147F0795070 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:11:21] 919*2^1402105-1 is not prime. Res64: A4D53C5601455994 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:17:30] 713*2^1402106-1 is not prime. Res64: 79D522176E29AC11 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:17:31] 783*2^1402106-1 is not prime. Res64: B4A55B0821F05F79 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:17:31] 923*2^1402106-1 is not prime. Res64: E7886219EF7687E6 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:17:32] 963*2^1402106-1 is not prime. Res64: 8713F11442F610A6 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:28:51] 633*2^1402107-1 is not prime. Res64: FA6BD593948DE087 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:28:51] 751*2^1402107-1 is not prime. Res64: 09B80384DAB81090 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:34:53] 781*2^1402107-1 is not prime. Res64: E408740ED0F8AAED Time : 0.0 sec. user=mdettweiler [2015-07-03 21:34:53] 861*2^1402107-1 is not prime. Res64: 323869EFFF02CA72 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:34:55] 909*2^1402107-1 is not prime. Res64: A4BAF2C852C67BD0 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:34:55] 963*2^1402107-1 is not prime. Res64: 3F5B11F2D29E7BCA Time : 0.0 sec. user=mdettweiler [2015-07-03 21:46:15] 875*2^1402108-1 is not prime. Res64: DA77B66F0E01B4EE Time : 0.0 sec. user=mdettweiler [2015-07-03 21:46:16] 947*2^1402108-1 is not prime. Res64: 6E5D99AE6C4965DF Time : 0.0 sec. user=mdettweiler [2015-07-03 21:52:18] 691*2^1402109-1 is not prime. Res64: 43E1EEFED7D6CDB1 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:52:19] 697*2^1402109-1 is not prime. Res64: 1F9F6B9867281634 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:52:21] 999*2^1402108-1 is not prime. Res64: 4310F76130E32DD6 Time : 0.0 sec. user=mdettweiler [2015-07-03 21:52:22] 645*2^1402109-1 is not prime. Res64: 29C83B8D94E8C94A Time : 0.0 sec. user=juhehe [2015-07-03 22:00:15] 663*2^1402108-1 is not prime. Res64: 240C535FA3A5EEDA Time : 0.0 sec. user=mdettweiler [2015-07-03 22:03:39] 769*2^1402109-1 is not prime. Res64: 7EB89B0E7865A1A0 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:03:39] 825*2^1402109-1 is not prime. Res64: 0DFC8C8F39161028 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:09:41] 897*2^1402109-1 is not prime. Res64: 7B83AC60102D4CC6 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:09:42] 907*2^1402109-1 is not prime. Res64: 49D78628D20BE41C Time : 0.0 sec. user=mdettweiler [2015-07-03 22:09:44] 677*2^1402110-1 is not prime. Res64: 22628E551DFF5493 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:09:45] 797*2^1402110-1 is not prime. Res64: 3C1CA2953B46B2EF Time : 0.0 sec. user=mdettweiler [2015-07-03 22:21:02] 759*2^1402111-1 is not prime. Res64: 2EBEFA7EA576F58A Time : 0.0 sec. user=mdettweiler [2015-07-03 22:21:02] 771*2^1402111-1 is not prime. Res64: 1334D4E7FC27E64E Time : 0.0 sec. user=mdettweiler [2015-07-03 22:27:05] 813*2^1402111-1 is not prime. Res64: 52CF285D0F1EC911 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:27:05] 961*2^1402111-1 is not prime. Res64: 0E69FF9736B377DC Time : 0.0 sec. user=mdettweiler [2015-07-03 22:27:06] 969*2^1402111-1 is not prime. Res64: 8A6888A19AE32EA8 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:27:07] 975*2^1402111-1 is not prime. Res64: A7DCA727258B6EC1 Time : 0.0 sec. user=S_K_ [2015-07-03 22:37:54] 839*2^1402108-1 is not prime. Res64: 4A822F8D3D59BF88 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:38:25] 669*2^1402112-1 is not prime. Res64: 4DEBAFCD1953ED5B Time : 0.0 sec. user=mdettweiler [2015-07-03 22:38:25] 797*2^1402112-1 is not prime. Res64: 8741A2D99DBC6167 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:44:28] 915*2^1402112-1 is not prime. Res64: B6E42A038F26EA55 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:44:29] 957*2^1402112-1 is not prime. Res64: CBECF8B0D8AD64B7 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:44:29] 727*2^1402113-1 is not prime. Res64: 228802EAAF5E5C81 Time : 0.0 sec. user=mdettweiler [2015-07-03 22:44:30] 739*2^1402113-1 is not prime. Res64: E9A034A8194D2AC9 Time : 0.0 sec. user=juhehe [2015-07-03 22:46:02] 933*2^1402110-1 is not prime. Res64: 6554495F92C1437E Time : 0.0 sec. user=mdettweiler [2015-07-03 22:55:46] 741*2^1402113-1 is not prime. Res64: 40FFAD4D329601FB Time : 0.0 sec. user=mdettweiler [2015-07-03 22:55:47] 849*2^1402113-1 is not prime. Res64: BDDE9CBDBBCAC85C Time : 0.0 sec. user=mdettweiler [2015-07-03 23:01:50] 895*2^1402113-1 is not prime. Res64: C24E8B079B042F7C Time : 0.0 sec. user=mdettweiler [2015-07-03 23:01:51] 611*2^1402114-1 is not prime. Res64: 57F0ED12AAA0CB31 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:01:51] 921*2^1402113-1 is not prime. Res64: 6AB8779DD8F20105 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:01:52] 621*2^1402114-1 is not prime. Res64: 156A69AAA14A73E9 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:13:09] 675*2^1402114-1 is not prime. Res64: CC112F66FF66B739 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:13:09] 783*2^1402114-1 is not prime. Res64: 6F050765F773DE85 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:19:28] 813*2^1402114-1 is not prime. Res64: 383616C780F742C7 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:19:29] 857*2^1402114-1 is not prime. Res64: 0E4CB6EE5733A60D Time : 0.0 sec. user=mdettweiler [2015-07-03 23:19:31] 887*2^1402114-1 is not prime. Res64: 97908185A7858A71 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:19:31] 971*2^1402114-1 is not prime. Res64: AC5389A0ADC8FD60 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:30:35] 651*2^1402115-1 is not prime. Res64: 69CAF200A7DF27E7 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:30:36] 771*2^1402115-1 is not prime. Res64: C7EE7196A83B3716 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:36:50] 841*2^1402115-1 is not prime. Res64: 21599F72E4A1A355 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:36:50] 871*2^1402115-1 is not prime. Res64: 5760D0259C1E451B Time : 0.0 sec. user=mdettweiler [2015-07-03 23:36:52] 609*2^1402116-1 is not prime. Res64: 4C5DE1AADFEF37F0 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:36:52] 639*2^1402116-1 is not prime. Res64: 3B2BE8CFAC4B48F7 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:47:57] 705*2^1402116-1 is not prime. Res64: A385FB96624623F5 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:47:57] 719*2^1402116-1 is not prime. Res64: 40535402BE5D8DA4 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:54:11] 933*2^1402116-1 is not prime. Res64: EFC2D8FDC84BB17C Time : 0.0 sec. user=mdettweiler [2015-07-03 23:54:11] 983*2^1402116-1 is not prime. Res64: 155576B1AE960279 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:54:13] 625*2^1402117-1 is not prime. Res64: 796B537C6327AF83 Time : 0.0 sec. user=mdettweiler [2015-07-03 23:54:13] 639*2^1402117-1 is not prime. Res64: A81903E1210C2DF0 Time : 0.0 sec.