user=mdettweiler [2015-07-15 00:09:35] 783*2^1403076-1 is not prime. Res64: 65082D75DE510E10 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:09:36] 923*2^1403076-1 is not prime. Res64: 0529FAD588547E1A Time : 0.0 sec. user=mdettweiler [2015-07-15 00:09:37] 675*2^1403076-1 is not prime. Res64: D6ED1BE0D434CFDC Time : 0.0 sec. user=mdettweiler [2015-07-15 00:09:38] 779*2^1403076-1 is not prime. Res64: AADBDCD1B4AF8AF3 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:15:24] 987*2^1403076-1 is not prime. Res64: 6F0F38D86F9F6056 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:15:24] 993*2^1403076-1 is not prime. Res64: F047FD07AD23CE3B Time : 0.0 sec. user=mdettweiler [2015-07-15 00:15:27] 625*2^1403077-1 is not prime. Res64: FD5534C89B2AF399 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:15:29] 649*2^1403077-1 is not prime. Res64: 8CE2D86BC1C7B6B5 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:27:22] 717*2^1403077-1 is not prime. Res64: F84103D240A3FCC4 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:27:22] 747*2^1403077-1 is not prime. Res64: 21D4BAF091D7BA2D Time : 0.0 sec. user=mdettweiler [2015-07-15 00:27:29] 901*2^1403077-1 is not prime. Res64: 9FB591518A9A44FB Time : 0.0 sec. user=mdettweiler [2015-07-15 00:27:29] 985*2^1403077-1 is not prime. Res64: 18522346032F352F Time : 0.0 sec. user=mdettweiler [2015-07-15 00:33:06] 999*2^1403077-1 is not prime. Res64: 3ABF89CC5D5B5768 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:33:06] 627*2^1403078-1 is not prime. Res64: 7431871CF5A7BC51 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:33:24] 641*2^1403078-1 is not prime. Res64: 7049C6D4BB2BD1C4 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:33:25] 753*2^1403078-1 is not prime. Res64: 2B8DAA40530BCF30 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:45:21] 957*2^1403078-1 is not prime. Res64: E2F09E1199DF3D36 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:45:22] 663*2^1403079-1 is not prime. Res64: C42B1BF27F3D3514 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:45:23] 875*2^1403078-1 is not prime. Res64: D995F7EFBE11DC07 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:45:23] 941*2^1403078-1 is not prime. Res64: FE5BBA93DA47A3A5 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:51:07] 741*2^1403079-1 is not prime. Res64: 77ECB3D9C608256B Time : 0.0 sec. user=mdettweiler [2015-07-15 00:51:07] 745*2^1403079-1 is not prime. Res64: 0BA7834898E9A93F Time : 0.0 sec. user=mdettweiler [2015-07-15 00:51:28] 795*2^1403079-1 is not prime. Res64: 3232AA0368BB8055 Time : 0.0 sec. user=mdettweiler [2015-07-15 00:51:28] 949*2^1403079-1 is not prime. Res64: FEC5D4F6EEF42983 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:03:21] 713*2^1403080-1 is not prime. Res64: 4B9C63FBD0629534 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:03:22] 615*2^1403080-1 is not prime. Res64: 884284BA88C8A2BA Time : 0.0 sec. user=mdettweiler [2015-07-15 01:03:23] 827*2^1403080-1 is not prime. Res64: 74EBF93EB3934883 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:03:25] 677*2^1403080-1 is not prime. Res64: FA1AB9D7BC2DD30B Time : 0.0 sec. user=mdettweiler [2015-07-15 01:09:09] 843*2^1403080-1 is not prime. Res64: 8DF78CB434895C4B Time : 0.0 sec. user=mdettweiler [2015-07-15 01:09:10] 957*2^1403080-1 is not prime. Res64: D8E961AEE797B629 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:09:20] 999*2^1403080-1 is not prime. Res64: D40D2CD72D2E830B Time : 0.0 sec. user=mdettweiler [2015-07-15 01:09:21] 607*2^1403081-1 is not prime. Res64: 23AA61D955B912D2 Time : 0.0 sec. user=juhehe [2015-07-15 01:21:08] 999*2^1403079-1 is not prime. Res64: C4ADA7F8E0A61958 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:21:35] 871*2^1403081-1 is not prime. Res64: 95E9CB56DA59ABDA Time : 0.0 sec. user=mdettweiler [2015-07-15 01:21:35] 615*2^1403081-1 is not prime. Res64: F48CA5611B8441E2 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:21:35] 945*2^1403081-1 is not prime. Res64: FF7B43CF2DEE4D81 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:21:35] 649*2^1403081-1 is not prime. Res64: C7D09926547B4EE3 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:27:31] 949*2^1403081-1 is not prime. Res64: 6E5C29468A7ABF27 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:27:33] 615*2^1403082-1 is not prime. Res64: 615BE40F0736FDE0 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:27:38] 627*2^1403082-1 is not prime. Res64: E05C53E06E4EE226 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:27:41] 633*2^1403082-1 is not prime. Res64: 6B94A446A2DAA7E1 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:40:31] 671*2^1403082-1 is not prime. Res64: 10C7952AE5416CF8 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:40:32] 735*2^1403082-1 is not prime. Res64: 3D76E2CEC0DD8CE2 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:40:40] 633*2^1403083-1 is not prime. Res64: 3C59342171B826D8 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:40:41] 873*2^1403083-1 is not prime. Res64: 891F04D96BFE4F10 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:46:24] 885*2^1403083-1 is not prime. Res64: D14246861C51BBB7 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:46:25] 951*2^1403083-1 is not prime. Res64: CD774B5B318E59BE Time : 0.0 sec. user=mdettweiler [2015-07-15 01:46:35] 657*2^1403084-1 is not prime. Res64: BF4E8D596EAF9F27 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:46:35] 827*2^1403084-1 is not prime. Res64: 601CB3AC2B682D10 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:58:43] 875*2^1403084-1 is not prime. Res64: 2EDA117010852393 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:58:43] 929*2^1403084-1 is not prime. Res64: EB9404864F45DFEB Time : 0.0 sec. user=mdettweiler [2015-07-15 01:58:51] 651*2^1403085-1 is not prime. Res64: B90DEF0717B93016 Time : 0.0 sec. user=mdettweiler [2015-07-15 01:58:51] 675*2^1403085-1 is not prime. Res64: 12C6890B5B09991B Time : 0.0 sec. user=mdettweiler [2015-07-15 02:04:30] 777*2^1403085-1 is not prime. Res64: 3DAC64CF0697C40F Time : 0.0 sec. user=mdettweiler [2015-07-15 02:04:31] 787*2^1403085-1 is not prime. Res64: 7B549753B6E60606 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:04:35] 819*2^1403085-1 is not prime. Res64: A93AEA3C02CEAC94 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:04:36] 889*2^1403085-1 is not prime. Res64: 9E51DF3D948252BB Time : 0.0 sec. user=mdettweiler [2015-07-15 02:19:04] 991*2^1403085-1 is not prime. Res64: 1CCFAFCA7664DE45 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:19:05] 999*2^1403085-1 is not prime. Res64: 978999947346C1DD Time : 0.0 sec. user=mdettweiler [2015-07-15 02:19:29] 651*2^1403086-1 is not prime. Res64: 1E0417BAA84D33B8 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:19:30] 657*2^1403086-1 is not prime. Res64: 054B6C91A4343083 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:26:16] 619*2^1403087-1 is not prime. Res64: EBC7D0420CAEA941 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:26:17] 669*2^1403087-1 is not prime. Res64: EF9213592FDEA9DD Time : 0.0 sec. user=mdettweiler [2015-07-15 02:26:26] 755*2^1403086-1 is not prime. Res64: 06FE8012C6393B99 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:26:27] 855*2^1403086-1 is not prime. Res64: 112A470CA6F3B811 Time : 0.0 sec. user=juhehe [2015-07-15 02:37:28] 695*2^1403086-1 is not prime. Res64: 922B497B4AB017AF Time : 0.0 sec. user=mdettweiler [2015-07-15 02:45:25] 705*2^1403087-1 is not prime. Res64: DA608D8B88AC1EF9 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:45:25] 823*2^1403087-1 is not prime. Res64: 205B15121622BCA8 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:45:25] 805*2^1403087-1 is not prime. Res64: F35EA1F949FB5AB7 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:45:26] 861*2^1403087-1 is not prime. Res64: 35422BBF7F31D4F1 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:54:18] 945*2^1403088-1 is not prime. Res64: 831E5628B69D31CD Time : 0.0 sec. user=mdettweiler [2015-07-15 02:54:18] 871*2^1403087-1 is not prime. Res64: 6441396173820239 Time : 0.0 sec. user=mdettweiler [2015-07-15 02:54:18] 947*2^1403088-1 is not prime. Res64: E4B72CFA33D752FD Time : 0.0 sec. user=mdettweiler [2015-07-15 02:54:18] 879*2^1403088-1 is not prime. Res64: 98CF923C2F861C3A Time : 0.0 sec. user=mdettweiler [2015-07-15 03:02:53] 939*2^1403089-1 is not prime. Res64: 81A82A5661838D29 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:02:54] 731*2^1403090-1 is not prime. Res64: E84B023CD20E79EF Time : 0.0 sec. user=mdettweiler [2015-07-15 03:03:01] 705*2^1403089-1 is not prime. Res64: 56838EAFD1434C98 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:03:02] 841*2^1403089-1 is not prime. Res64: AAFF7556569FC114 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:11:37] 893*2^1403090-1 is not prime. Res64: 48491B53F11E35D4 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:11:38] 977*2^1403090-1 is not prime. Res64: 0FDEE257FF7265C1 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:11:41] 711*2^1403091-1 is not prime. Res64: E3EF1EF0BB5EBBCF Time : 0.0 sec. user=mdettweiler [2015-07-15 03:11:41] 735*2^1403091-1 is not prime. Res64: DD5918CFB85964D1 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:20:44] 751*2^1403091-1 is not prime. Res64: 3E9DDCA758E355FB Time : 0.0 sec. user=mdettweiler [2015-07-15 03:20:45] 913*2^1403091-1 is not prime. Res64: 0BAA826037029B00 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:20:49] 945*2^1403091-1 is not prime. Res64: DB3476D4490FF047 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:20:50] 603*2^1403092-1 is not prime. Res64: 2872EC2C73C89662 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:29:03] 689*2^1403092-1 is not prime. Res64: 4D8431CE0BFD9CCD Time : 0.0 sec. user=mdettweiler [2015-07-15 03:29:05] 897*2^1403092-1 is not prime. Res64: 0FF83A27A0150F9B Time : 0.0 sec. user=mdettweiler [2015-07-15 03:29:06] 777*2^1403092-1 is not prime. Res64: EA732F6B9D1CD014 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:29:07] 899*2^1403092-1 is not prime. Res64: 96803F7B7F11C36B Time : 0.0 sec. user=mdettweiler [2015-07-15 03:38:07] 631*2^1403093-1 is not prime. Res64: 179FD7C87F322977 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:38:08] 721*2^1403093-1 is not prime. Res64: 28FFD7AE4E95ABDC Time : 0.0 sec. user=mdettweiler [2015-07-15 03:38:10] 901*2^1403093-1 is not prime. Res64: 0111EAE3ADD2A204 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:38:11] 937*2^1403093-1 is not prime. Res64: DCB6945DC029A465 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:46:54] 663*2^1403094-1 is not prime. Res64: CA65180B06DB95AF Time : 0.0 sec. user=mdettweiler [2015-07-15 03:46:58] 683*2^1403094-1 is not prime. Res64: 50923087FF89955E Time : 0.0 sec. user=mdettweiler [2015-07-15 03:47:00] 969*2^1403093-1 is not prime. Res64: C669A52DFAC2CE91 Time : 0.0 sec. user=mdettweiler [2015-07-15 03:47:02] 635*2^1403094-1 is not prime. Res64: 7216FC731B023348 Time : 0.0 sec. user=juhehe [2015-07-15 03:48:16] 623*2^1403092-1 is not prime. Res64: B2690DBF780649FC Time : 0.0 sec. user=mdettweiler [2015-07-15 03:55:31] 755*2^1403094-1 is not prime. Res64: 141D101A876D2C9E Time : 0.0 sec. user=mdettweiler [2015-07-15 03:55:31] 765*2^1403094-1 is not prime. Res64: ECE7ABE5B449A5CD Time : 0.0 sec. user=mdettweiler [2015-07-15 03:55:34] 815*2^1403094-1 is not prime. Res64: 0C33ED7944C2F73B Time : 0.0 sec. user=mdettweiler [2015-07-15 03:55:34] 825*2^1403094-1 is not prime. Res64: CDC2F877D9807471 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:04:59] 873*2^1403094-1 is not prime. Res64: 6584D53AC7747022 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:05:00] 789*2^1403095-1 is not prime. Res64: F633AF8A660189EC Time : 0.0 sec. user=mdettweiler [2015-07-15 04:05:07] 891*2^1403095-1 is not prime. Res64: 0D603568E01CFAF6 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:05:08] 979*2^1403095-1 is not prime. Res64: 387CAB827D298AC2 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:12:55] 657*2^1403096-1 is not prime. Res64: 78DBB4DF7076B0A4 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:12:56] 677*2^1403096-1 is not prime. Res64: 153216947D763DF3 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:12:59] 815*2^1403096-1 is not prime. Res64: CF53DBBE7209948F Time : 0.0 sec. user=mdettweiler [2015-07-15 04:12:59] 825*2^1403096-1 is not prime. Res64: 81DBCA31B1DEBAF4 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:22:31] 875*2^1403096-1 is not prime. Res64: 2C1B4B3AE46006A2 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:22:32] 649*2^1403097-1 is not prime. Res64: 3F5DA24AD8485377 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:22:38] 681*2^1403097-1 is not prime. Res64: 7626971472EF8144 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:22:39] 691*2^1403097-1 is not prime. Res64: 41BB444CE72FBBA4 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:30:26] 747*2^1403097-1 is not prime. Res64: 4192848F8BBCC078 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:30:27] 867*2^1403097-1 is not prime. Res64: B09F8F763EE9E79B Time : 0.0 sec. user=mdettweiler [2015-07-15 04:30:36] 999*2^1403097-1 is not prime. Res64: 6A2E63FA722CBFE8 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:30:37] 603*2^1403098-1 is not prime. Res64: 660804DB387D9274 Time : 0.0 sec. user=juhehe [2015-07-15 04:31:43] 635*2^1403096-1 is not prime. Res64: 235627C8852BE548 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:40:48] 617*2^1403098-1 is not prime. Res64: DB7F19C1A0BC26BB Time : 0.0 sec. user=mdettweiler [2015-07-15 04:40:49] 665*2^1403098-1 is not prime. Res64: 990C3F0524B1CD03 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:40:58] 677*2^1403098-1 is not prime. Res64: 0EC96650DC187ACF Time : 0.0 sec. user=mdettweiler [2015-07-15 04:40:58] 827*2^1403098-1 is not prime. Res64: 5EE50931E747CE46 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:48:22] 669*2^1403099-1 is not prime. Res64: C7A463C21B75427F Time : 0.0 sec. user=mdettweiler [2015-07-15 04:48:22] 711*2^1403099-1 is not prime. Res64: 04E74D0D7ABB963E Time : 0.0 sec. user=mdettweiler [2015-07-15 04:48:51] 857*2^1403098-1 is not prime. Res64: 03ED35D1F3277F08 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:48:52] 649*2^1403099-1 is not prime. Res64: 8BFC288146F92BCA Time : 0.0 sec. user=mdettweiler [2015-07-15 04:58:17] 733*2^1403099-1 is not prime. Res64: 2F0703BCDA603BF8 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:58:18] 741*2^1403099-1 is not prime. Res64: 0CC64DD87453DA0E Time : 0.0 sec. user=mdettweiler [2015-07-15 04:58:25] 753*2^1403099-1 is not prime. Res64: 02A9A60616750227 Time : 0.0 sec. user=mdettweiler [2015-07-15 04:58:26] 801*2^1403099-1 is not prime. Res64: BBDB96DE3ACDD2FB Time : 0.0 sec. user=mdettweiler [2015-07-15 05:05:46] 825*2^1403099-1 is not prime. Res64: 86DBBC0600F6B753 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:05:47] 797*2^1403100-1 is not prime. Res64: 61C41830A70DE0EA Time : 0.0 sec. user=mdettweiler [2015-07-15 05:06:22] 803*2^1403100-1 is not prime. Res64: 91E30B660D98875E Time : 0.0 sec. user=mdettweiler [2015-07-15 05:06:22] 843*2^1403100-1 is not prime. Res64: B363C85A399179D2 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:15:49] 909*2^1403100-1 is not prime. Res64: D9D1305445778B47 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:15:49] 957*2^1403100-1 is not prime. Res64: E8C1E619B7A75EC8 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:16:09] 619*2^1403101-1 is not prime. Res64: 7750835662266256 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:16:09] 747*2^1403101-1 is not prime. Res64: 54A8D44CF6FF1C39 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:23:14] 877*2^1403101-1 is not prime. Res64: EEDD5E57FF909DFF Time : 0.0 sec. user=mdettweiler [2015-07-15 05:23:15] 957*2^1403101-1 is not prime. Res64: BCB121757B253ACD Time : 0.0 sec. user=mdettweiler [2015-07-15 05:23:53] 967*2^1403101-1 is not prime. Res64: ECED3D16996A5D97 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:23:53] 603*2^1403102-1 is not prime. Res64: E53E24FE30C0A835 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:33:07] 693*2^1403102-1 is not prime. Res64: F4950D853222D949 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:33:07] 755*2^1403102-1 is not prime. Res64: 34409FBC2654F4E6 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:33:30] 761*2^1403102-1 is not prime. Res64: 748018AAD84D188F Time : 0.0 sec. user=mdettweiler [2015-07-15 05:33:30] 827*2^1403102-1 is not prime. Res64: 532A42B882F0D38D Time : 0.0 sec. user=mdettweiler [2015-07-15 05:40:41] 867*2^1403102-1 is not prime. Res64: B602C5CA0DDF89E3 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:40:41] 873*2^1403102-1 is not prime. Res64: F48852C7ECB5CE9F Time : 0.0 sec. user=mdettweiler [2015-07-15 05:41:14] 875*2^1403102-1 is not prime. Res64: AF67EE78C19C6EDA Time : 0.0 sec. user=mdettweiler [2015-07-15 05:41:14] 885*2^1403102-1 is not prime. Res64: B9FFF75CA56AC873 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:50:33] 941*2^1403102-1 is not prime. Res64: 2D3BC4FC555B9FA5 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:50:34] 983*2^1403102-1 is not prime. Res64: 55542CEBD8331C09 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:50:50] 619*2^1403103-1 is not prime. Res64: B9C90E99737ABB75 Time : 0.0 sec. user=mdettweiler [2015-07-15 05:50:51] 621*2^1403103-1 is not prime. Res64: D7D9449202D2CBAE Time : 0.0 sec. user=mdettweiler [2015-07-15 05:58:05] 663*2^1403103-1 is not prime. Res64: A7349FA6040511EC Time : 0.0 sec. user=mdettweiler [2015-07-15 05:58:05] 669*2^1403103-1 is not prime. Res64: 2C9EA0D501590C6B Time : 0.0 sec. user=mdettweiler [2015-07-15 05:58:33] 675*2^1403103-1 is not prime. Res64: 80CFB2A169C67F1D Time : 0.0 sec. user=mdettweiler [2015-07-15 05:58:33] 703*2^1403103-1 is not prime. Res64: 44AFBBE835894346 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:07:58] 739*2^1403103-1 is not prime. Res64: 43E7B25747F03BEB Time : 0.0 sec. user=mdettweiler [2015-07-15 06:07:58] 765*2^1403103-1 is not prime. Res64: 0CA75AC251C77EDD Time : 0.0 sec. user=mdettweiler [2015-07-15 06:08:12] 775*2^1403103-1 is not prime. Res64: 84EBB8CE0BFA41D4 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:08:13] 635*2^1403104-1 is not prime. Res64: A0FC514C5DCBBBE0 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:15:30] 639*2^1403104-1 is not prime. Res64: 8CE365CD51F2C567 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:15:31] 645*2^1403104-1 is not prime. Res64: 2BD15EF38DB139A7 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:16:00] 677*2^1403104-1 is not prime. Res64: CC924A4E1062F4C6 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:16:01] 875*2^1403104-1 is not prime. Res64: 3352AAE565234FDC Time : 0.0 sec. user=mdettweiler [2015-07-15 06:25:19] 619*2^1403105-1 is not prime. Res64: 906F937F2EA20164 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:25:20] 715*2^1403105-1 is not prime. Res64: D5567DAC029A5F84 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:25:40] 759*2^1403105-1 is not prime. Res64: AFFBD5D12DD20811 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:25:40] 787*2^1403105-1 is not prime. Res64: FFAE14AABFFBCD79 Time : 0.0 sec. user=juhehe [2015-07-15 06:27:00] 705*2^1403103-1 is not prime. Res64: 6B8EA454DD11B320 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:32:56] 867*2^1403105-1 is not prime. Res64: B3BCD5A6E4F51911 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:32:57] 909*2^1403105-1 is not prime. Res64: F679E6B948D49F32 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:33:19] 937*2^1403105-1 is not prime. Res64: 7C2D67F600020921 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:33:20] 951*2^1403105-1 is not prime. Res64: 42D4B654D160A929 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:42:43] 683*2^1403106-1 is not prime. Res64: 182A00F4EA19AC4A Time : 0.0 sec. user=mdettweiler [2015-07-15 06:42:44] 767*2^1403106-1 is not prime. Res64: 4747A391B5E0C342 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:43:01] 815*2^1403106-1 is not prime. Res64: 16E8F24D2D989DDC Time : 0.0 sec. user=mdettweiler [2015-07-15 06:43:02] 833*2^1403106-1 is not prime. Res64: D57F5326AE04802F Time : 0.0 sec. user=mdettweiler [2015-07-15 06:50:21] 873*2^1403106-1 is not prime. Res64: F9559C67BAB3BFE1 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:50:22] 933*2^1403106-1 is not prime. Res64: 07A5A5332673A8D1 Time : 0.0 sec. user=mdettweiler [2015-07-15 06:50:41] 615*2^1403107-1 is not prime. Res64: 1FB9A9C7F612B6EC Time : 0.0 sec. user=mdettweiler [2015-07-15 06:50:41] 619*2^1403107-1 is not prime. Res64: BAAB56DB5D813F8A Time : 0.0 sec. user=mdettweiler [2015-07-15 07:00:14] 829*2^1403107-1 is not prime. Res64: 114F334E1794CF51 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:00:15] 859*2^1403107-1 is not prime. Res64: 7DD4E41E7893B88E Time : 0.0 sec. user=mdettweiler [2015-07-15 07:00:31] 951*2^1403107-1 is not prime. Res64: 9C99F31EA6709624 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:00:32] 735*2^1403108-1 is not prime. Res64: 81844786254B0A04 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:07:46] 773*2^1403108-1 is not prime. Res64: A8F316E6A44BD3C5 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:07:47] 819*2^1403108-1 is not prime. Res64: 3D1C2A45FAC239C2 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:08:10] 825*2^1403108-1 is not prime. Res64: 6A1E77E9621E370F Time : 0.0 sec. user=mdettweiler [2015-07-15 07:08:11] 843*2^1403108-1 is not prime. Res64: 7DA17DB898896387 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:17:41] 867*2^1403108-1 is not prime. Res64: 8891816454C1C864 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:17:41] 959*2^1403108-1 is not prime. Res64: FAAFABC33392AAE8 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:17:54] 977*2^1403108-1 is not prime. Res64: 7590686F41C516AB Time : 0.0 sec. user=mdettweiler [2015-07-15 07:17:54] 995*2^1403108-1 is not prime. Res64: 658715BDFBDF18A3 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:25:16] 615*2^1403109-1 is not prime. Res64: 54845454899B58E2 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:25:16] 625*2^1403109-1 is not prime. Res64: 3F9778D765F35495 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:25:30] 649*2^1403109-1 is not prime. Res64: A0F45A3385845815 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:25:30] 669*2^1403109-1 is not prime. Res64: A0F5BD0B9416C1E5 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:35:06] 727*2^1403109-1 is not prime. Res64: DA2FB9DFE37C85A5 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:35:06] 745*2^1403109-1 is not prime. Res64: 3492DF043D83BDB0 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:35:14] 955*2^1403109-1 is not prime. Res64: 1A05C8B88CCAD7E6 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:35:14] 975*2^1403109-1 is not prime. Res64: A90C02A0747D9B39 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:42:43] 985*2^1403109-1 is not prime. Res64: 1FF3CFE36BBF8FA1 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:42:43] 611*2^1403110-1 is not prime. Res64: 561F441982CD6B7F Time : 0.0 sec. user=mdettweiler [2015-07-15 07:42:58] 801*2^1403110-1 is not prime. Res64: 3D51CBC10CF7859C Time : 0.0 sec. user=mdettweiler [2015-07-15 07:42:58] 833*2^1403110-1 is not prime. Res64: 645443783EE762FF Time : 0.0 sec. user=mdettweiler [2015-07-15 07:52:43] 619*2^1403111-1 is not prime. Res64: 4D82EC47496431CD Time : 0.0 sec. user=mdettweiler [2015-07-15 07:52:43] 643*2^1403111-1 is not prime. Res64: B7BBADFFC4D4D9A9 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:52:45] 857*2^1403110-1 is not prime. Res64: 7CC3E0FEFC5EE798 Time : 0.0 sec. user=mdettweiler [2015-07-15 07:52:46] 861*2^1403110-1 is not prime. Res64: D3369D886F91D25A Time : 0.0 sec. user=mdettweiler [2015-07-15 08:00:15] 673*2^1403111-1 is not prime. Res64: BF75CB6BE72F963A Time : 0.0 sec. user=mdettweiler [2015-07-15 08:00:16] 763*2^1403111-1 is not prime. Res64: 84123EF2B93AE6A8 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:00:22] 843*2^1403111-1 is not prime. Res64: 25940FD85DE42C65 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:00:25] 879*2^1403111-1 is not prime. Res64: D3BBF60BB4042551 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:10:05] 991*2^1403111-1 is not prime. Res64: 4EEB5E1FF4CA9218 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:10:05] 657*2^1403112-1 is not prime. Res64: EAD51F7AE8DA6D6F Time : 0.0 sec. user=mdettweiler [2015-07-15 08:10:06] 627*2^1403112-1 is not prime. Res64: 51111F58CB920741 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:10:06] 719*2^1403112-1 is not prime. Res64: AAC5764B03B666CA Time : 0.0 sec. user=mdettweiler [2015-07-15 08:17:48] 947*2^1403112-1 is not prime. Res64: 1B76E43E797CAD36 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:17:48] 651*2^1403113-1 is not prime. Res64: 94028565D141DD71 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:17:49] 759*2^1403112-1 is not prime. Res64: A5BB1626F0200A6F Time : 0.0 sec. user=mdettweiler [2015-07-15 08:17:50] 875*2^1403112-1 is not prime. Res64: 733A4EBC74AAD377 Time : 0.0 sec. user=juhehe [2015-07-15 08:21:11] 889*2^1403111-1 is not prime. Res64: 7AAABB4661720531 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:27:28] 829*2^1403113-1 is not prime. Res64: E82CFC9AF77EFB9D Time : 0.0 sec. user=mdettweiler [2015-07-15 08:27:29] 831*2^1403113-1 is not prime. Res64: 443B6B0F05E8D22C Time : 0.0 sec. user=mdettweiler [2015-07-15 08:27:38] 747*2^1403113-1 is not prime. Res64: CF12F37885FADA16 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:27:38] 817*2^1403113-1 is not prime. Res64: 96265EDD086BC2FF Time : 0.0 sec. user=mdettweiler [2015-07-15 08:35:27] 889*2^1403113-1 is not prime. Res64: 1B9B97EE2A453146 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:35:28] 939*2^1403113-1 is not prime. Res64: 3ED1B88EC99A14CB Time : 0.0 sec. user=mdettweiler [2015-07-15 08:35:32] 741*2^1403114-1 is not prime. Res64: 727D0167A99F9965 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:35:32] 945*2^1403114-1 is not prime. Res64: F07B8C644203A535 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:45:10] 895*2^1403115-1 is not prime. Res64: 7A8AC15401B165F8 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:45:10] 913*2^1403115-1 is not prime. Res64: 43BFFA048EB3F4DB Time : 0.0 sec. user=mdettweiler [2015-07-15 08:45:31] 619*2^1403115-1 is not prime. Res64: 1F9598CA90423446 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:45:31] 699*2^1403115-1 is not prime. Res64: EC3AA176FE92303B Time : 0.0 sec. user=mdettweiler [2015-07-15 08:52:55] 921*2^1403115-1 is not prime. Res64: A45BA19441C759BB Time : 0.0 sec. user=mdettweiler [2015-07-15 08:52:55] 943*2^1403115-1 is not prime. Res64: 585E5617CE81CD32 Time : 0.0 sec. user=mdettweiler [2015-07-15 08:53:11] 961*2^1403115-1 is not prime. Res64: D51A589825A0E59D Time : 0.0 sec. user=mdettweiler [2015-07-15 08:53:12] 639*2^1403116-1 is not prime. Res64: 95DEC0A1A991EC13 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:02:36] 647*2^1403116-1 is not prime. Res64: 8FBB2EF2A081EDCE Time : 0.0 sec. user=mdettweiler [2015-07-15 09:02:38] 717*2^1403116-1 is not prime. Res64: 94508861FB03FD25 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:02:57] 785*2^1403116-1 is not prime. Res64: 6F8D9EF45AAA6F9D Time : 0.0 sec. user=mdettweiler [2015-07-15 09:02:59] 857*2^1403116-1 is not prime. Res64: 1FDEE09A47008B98 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:10:20] 905*2^1403116-1 is not prime. Res64: 91D29E4270AA0026 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:10:21] 909*2^1403116-1 is not prime. Res64: D924E09349F38106 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:10:36] 989*2^1403116-1 is not prime. Res64: 5A93C895D1473AF0 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:10:36] 607*2^1403117-1 is not prime. Res64: C8627BDC288EDEFD Time : 0.0 sec. user=mdettweiler [2015-07-15 09:20:23] 631*2^1403117-1 is not prime. Res64: 4D4DAB27B96354EE Time : 0.0 sec. user=mdettweiler [2015-07-15 09:20:24] 691*2^1403117-1 is not prime. Res64: 7815698260B11CEC Time : 0.0 sec. user=mdettweiler [2015-07-15 09:20:27] 747*2^1403117-1 is not prime. Res64: C96A740E04E01762 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:20:27] 871*2^1403117-1 is not prime. Res64: 5AF8D11124C89918 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:27:46] 611*2^1403118-1 is not prime. Res64: E49C91837B8EAF1D Time : 0.0 sec. user=mdettweiler [2015-07-15 09:27:47] 657*2^1403118-1 is not prime. Res64: 6C2A0979EAFC8ED5 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:28:03] 707*2^1403118-1 is not prime. Res64: 1486259D6F4AC6F3 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:28:03] 815*2^1403118-1 is not prime. Res64: 25537E3373E65094 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:37:45] 867*2^1403118-1 is not prime. Res64: 147900EF7A78FF3B Time : 0.0 sec. user=mdettweiler [2015-07-15 09:37:46] 921*2^1403118-1 is not prime. Res64: 82AE687B8B1FE80F Time : 0.0 sec. user=mdettweiler [2015-07-15 09:37:46] 893*2^1403118-1 is not prime. Res64: 456F21A70CB97A63 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:37:46] 927*2^1403118-1 is not prime. Res64: A769734829327721 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:45:07] 649*2^1403119-1 is not prime. Res64: C78D22568F1AFA1B Time : 0.0 sec. user=mdettweiler [2015-07-15 09:45:08] 663*2^1403119-1 is not prime. Res64: E0AE4B61B01BAB80 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:45:29] 685*2^1403119-1 is not prime. Res64: A8C9FBB6574DB42E Time : 0.0 sec. user=mdettweiler [2015-07-15 09:45:29] 705*2^1403119-1 is not prime. Res64: 33BF9EA53993931A Time : 0.0 sec. user=mdettweiler [2015-07-15 09:55:06] 993*2^1403119-1 is not prime. Res64: 95F82E1F42FDA16E Time : 0.0 sec. user=mdettweiler [2015-07-15 09:55:06] 645*2^1403120-1 is not prime. Res64: 8B05C48A4B3D2DE8 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:55:07] 735*2^1403119-1 is not prime. Res64: EA3EAC8ED0E5F9E8 Time : 0.0 sec. user=mdettweiler [2015-07-15 09:55:07] 889*2^1403119-1 is not prime. Res64: BB78938571D144B3 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:02:33] 665*2^1403120-1 is not prime. Res64: CF421191B739AB8C Time : 0.0 sec. user=mdettweiler [2015-07-15 10:02:34] 719*2^1403120-1 is not prime. Res64: 0656C89BD7E8777C Time : 0.0 sec. user=mdettweiler [2015-07-15 10:02:51] 819*2^1403120-1 is not prime. Res64: DDF6BA13F3987347 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:02:52] 945*2^1403120-1 is not prime. Res64: 600CBACE2337E0C1 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:12:27] 627*2^1403121-1 is not prime. Res64: 0A6001BA45CFC404 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:12:28] 735*2^1403121-1 is not prime. Res64: AB300EB6F43A41C8 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:12:34] 739*2^1403121-1 is not prime. Res64: 014945133F6AFB2B Time : 0.0 sec. user=mdettweiler [2015-07-15 10:12:35] 979*2^1403121-1 is not prime. Res64: 998B0CDCC87FEBFC Time : 0.0 sec. user=juhehe [2015-07-15 10:15:57] 729*2^1403119-1 is not prime. Res64: 52FA8F3FEA48FCDB Time : 0.0 sec. user=mdettweiler [2015-07-15 10:20:10] 623*2^1403122-1 is not prime. Res64: 3DCED1290F1E3827 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:20:11] 647*2^1403122-1 is not prime. Res64: AA55ACAE943EA970 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:20:15] 713*2^1403122-1 is not prime. Res64: 97CED9DD3559ED21 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:20:15] 737*2^1403122-1 is not prime. Res64: A61B0AB4BA5A8B5F Time : 0.0 sec. user=mdettweiler [2015-07-15 10:29:52] 813*2^1403122-1 is not prime. Res64: FAF2F47B0AFB297F Time : 0.0 sec. user=mdettweiler [2015-07-15 10:29:52] 843*2^1403122-1 is not prime. Res64: 140EE2D785368170 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:29:54] 885*2^1403122-1 is not prime. Res64: 6028CE7617FE61BD Time : 0.0 sec. user=mdettweiler [2015-07-15 10:29:54] 887*2^1403122-1 is not prime. Res64: AD525280D61046FE Time : 0.0 sec. user=mdettweiler [2015-07-15 10:37:37] 987*2^1403122-1 is not prime. Res64: AC599E97F34FD9F9 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:37:37] 615*2^1403123-1 is not prime. Res64: 70EA16F44709810C Time : 0.0 sec. user=mdettweiler [2015-07-15 10:37:42] 705*2^1403123-1 is not prime. Res64: A21E9B2E56D430F2 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:37:43] 825*2^1403123-1 is not prime. Res64: 182B8112B04CB199 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:47:14] 871*2^1403123-1 is not prime. Res64: F8478083064C4A21 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:47:15] 895*2^1403123-1 is not prime. Res64: D594852295A7F728 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:47:17] 689*2^1403124-1 is not prime. Res64: 49E654E4D1919B54 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:47:17] 843*2^1403124-1 is not prime. Res64: FD8D5023AD367F0A Time : 0.0 sec. user=mdettweiler [2015-07-15 10:54:55] 927*2^1403124-1 is not prime. Res64: D4AE906ED876F4C4 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:54:55] 959*2^1403124-1 is not prime. Res64: 66418B9721DC5375 Time : 0.0 sec. user=mdettweiler [2015-07-15 10:55:03] 965*2^1403124-1 is not prime. Res64: 7FC8F8A1CBE5CEED Time : 0.0 sec. user=mdettweiler [2015-07-15 10:55:04] 667*2^1403125-1 is not prime. Res64: C474F5729CE064A2 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:04:36] 861*2^1403125-1 is not prime. Res64: 824FF946442B0813 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:04:37] 915*2^1403125-1 is not prime. Res64: 9A72458C1C499F79 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:04:43] 957*2^1403125-1 is not prime. Res64: E6C7E3E2607709C5 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:04:44] 997*2^1403125-1 is not prime. Res64: 443B061969EA4F66 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:12:15] 641*2^1403126-1 is not prime. Res64: E66CD4A9C8F9FE67 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:12:15] 671*2^1403126-1 is not prime. Res64: 1C60B9F848EDAC39 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:12:37] 713*2^1403126-1 is not prime. Res64: 8A1A332937E49294 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:12:38] 743*2^1403126-1 is not prime. Res64: BA3F0F7FD6E135A1 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:22:26] 747*2^1403126-1 is not prime. Res64: 274D645E3F5938B2 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:22:26] 857*2^1403126-1 is not prime. Res64: E733C53CC0DD5FC1 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:22:32] 921*2^1403126-1 is not prime. Res64: E59CD852607C2846 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:22:33] 923*2^1403126-1 is not prime. Res64: 735C485F5393EBF3 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:29:40] 941*2^1403126-1 is not prime. Res64: BD5D8C886CA83769 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:29:41] 963*2^1403126-1 is not prime. Res64: D32BA758DDAFADAA Time : 0.0 sec. user=mdettweiler [2015-07-15 11:30:06] 601*2^1403127-1 is not prime. Res64: C987DE4CF372C851 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:30:07] 643*2^1403127-1 is not prime. Res64: B7C1B5E321093D6F Time : 0.0 sec. user=mdettweiler [2015-07-15 11:39:49] 765*2^1403127-1 is not prime. Res64: CD95E85DBD7F7EFC Time : 0.0 sec. user=mdettweiler [2015-07-15 11:39:50] 793*2^1403127-1 is not prime. Res64: FE7FEFEA7D989619 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:40:01] 865*2^1403127-1 is not prime. Res64: BCE8031F89049560 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:40:01] 871*2^1403127-1 is not prime. Res64: 1F5E06EED55EFC8F Time : 0.0 sec. user=mdettweiler [2015-07-15 11:47:08] 901*2^1403127-1 is not prime. Res64: F2E4795899C9185F Time : 0.0 sec. user=mdettweiler [2015-07-15 11:47:09] 909*2^1403127-1 is not prime. Res64: D4B9167D30537556 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:47:31] 707*2^1403128-1 is not prime. Res64: 11B0D9C2D878B2F3 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:47:32] 685*2^1403129-1 is not prime. Res64: 03EB619D61D084AF Time : 0.0 sec. user=mdettweiler [2015-07-15 11:57:15] 955*2^1403129-1 is not prime. Res64: 0DAF05F2F9345B2C Time : 0.0 sec. user=mdettweiler [2015-07-15 11:57:16] 985*2^1403129-1 is not prime. Res64: 2B3EE5A67FC347CD Time : 0.0 sec. user=mdettweiler [2015-07-15 11:57:21] 611*2^1403130-1 is not prime. Res64: 4E95887FFF2A18F1 Time : 0.0 sec. user=mdettweiler [2015-07-15 11:57:22] 627*2^1403130-1 is not prime. Res64: E07375E031F6EC6B Time : 0.0 sec. user=mdettweiler [2015-07-15 12:04:31] 633*2^1403130-1 is not prime. Res64: 4F1050B5ACBC4225 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:04:32] 893*2^1403130-1 is not prime. Res64: 43479EF5482FCDB8 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:04:57] 619*2^1403131-1 is not prime. Res64: 6EFC82AE51D2BCF2 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:04:58] 759*2^1403131-1 is not prime. Res64: D41E5501D532D159 Time : 0.0 sec. user=juhehe [2015-07-15 12:11:19] 775*2^1403129-1 is not prime. Res64: 06A327C69F753E1F Time : 0.0 sec. user=mdettweiler [2015-07-15 12:14:50] 901*2^1403131-1 is not prime. Res64: AA9DDEBF098A0702 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:14:50] 939*2^1403131-1 is not prime. Res64: 31271D1124EE3346 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:14:56] 993*2^1403131-1 is not prime. Res64: 343AA628EE737346 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:14:56] 699*2^1403132-1 is not prime. Res64: 6AB33F4AF11EB74A Time : 0.0 sec. user=mdettweiler [2015-07-15 12:22:35] 753*2^1403132-1 is not prime. Res64: 2E3D29597D9C7016 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:22:35] 797*2^1403132-1 is not prime. Res64: 043B65C03634275B Time : 0.0 sec. user=mdettweiler [2015-07-15 12:22:54] 875*2^1403132-1 is not prime. Res64: 3EB93DC97C1001B8 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:22:54] 897*2^1403132-1 is not prime. Res64: 48B99BE41A343C4D Time : 0.0 sec. user=mdettweiler [2015-07-15 12:32:19] 899*2^1403132-1 is not prime. Res64: 1F93450E14DBE86E Time : 0.0 sec. user=mdettweiler [2015-07-15 12:32:20] 903*2^1403132-1 is not prime. Res64: FF294BA78691B4EA Time : 0.0 sec. user=mdettweiler [2015-07-15 12:32:33] 679*2^1403133-1 is not prime. Res64: E266832B5D007008 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:32:34] 691*2^1403133-1 is not prime. Res64: AFF8621B3E671D25 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:40:08] 759*2^1403133-1 is not prime. Res64: 33A72509718D6E39 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:40:08] 769*2^1403133-1 is not prime. Res64: 476EA0A5775F908E Time : 0.0 sec. user=mdettweiler [2015-07-15 12:40:35] 789*2^1403133-1 is not prime. Res64: A3BD8770D119A1D0 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:40:35] 805*2^1403133-1 is not prime. Res64: C8BBC23CCC751D87 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:49:56] 847*2^1403133-1 is not prime. Res64: 5AE920919DBE2796 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:49:57] 867*2^1403133-1 is not prime. Res64: 459E14EB28637757 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:50:05] 951*2^1403133-1 is not prime. Res64: E2D051880088A835 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:50:05] 663*2^1403134-1 is not prime. Res64: 63A5C1FE65F67E09 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:58:06] 675*2^1403134-1 is not prime. Res64: FD529856264729B5 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:58:06] 737*2^1403134-1 is not prime. Res64: 5040891CF5B7B7F9 Time : 0.0 sec. user=mdettweiler [2015-07-15 12:58:36] 785*2^1403134-1 is not prime. Res64: B72B5717A50833AC Time : 0.0 sec. user=mdettweiler [2015-07-15 12:58:36] 791*2^1403134-1 is not prime. Res64: 5B64C024D66F90F0 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:08:04] 833*2^1403134-1 is not prime. Res64: C0A865DBBA571E9D Time : 0.0 sec. user=mdettweiler [2015-07-15 13:08:05] 915*2^1403134-1 is not prime. Res64: A9CBA5D07B66B8A5 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:08:10] 645*2^1403135-1 is not prime. Res64: A4F69B5526338E8E Time : 0.0 sec. user=mdettweiler [2015-07-15 13:08:11] 783*2^1403135-1 is not prime. Res64: 85F3CE44E6110A15 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:16:09] 969*2^1403135-1 is not prime. Res64: 3779F061CEEC2D52 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:16:09] 623*2^1403136-1 is not prime. Res64: 949C179CF70D2495 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:16:38] 683*2^1403136-1 is not prime. Res64: 4E6E1FFBACDC2577 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:16:38] 705*2^1403136-1 is not prime. Res64: B31E100F948FA126 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:26:49] 735*2^1403136-1 is not prime. Res64: DD9AA82227D1FF12 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:26:49] 849*2^1403136-1 is not prime. Res64: 45D7682FD4C8A5B5 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:26:54] 619*2^1403137-1 is not prime. Res64: AA674247DAD0C6A4 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:26:54] 661*2^1403137-1 is not prime. Res64: 960CEA987E533084 Time : 0.0 sec. user=juhehe [2015-07-15 13:27:16] 827*2^1403134-1 is not prime. Res64: 7450FC1E078668F3 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:34:59] 691*2^1403137-1 is not prime. Res64: EC4EABE7899E4CD7 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:34:59] 747*2^1403137-1 is not prime. Res64: 9CCDCE44F3C5A785 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:35:19] 817*2^1403137-1 is not prime. Res64: 422B6CD5803205B5 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:35:19] 847*2^1403137-1 is not prime. Res64: 0AD27A2D8FB11C46 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:45:08] 985*2^1403137-1 is not prime. Res64: 08156EE47CE26B79 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:45:08] 705*2^1403138-1 is not prime. Res64: 24B4F4F85475F1F1 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:45:09] 743*2^1403138-1 is not prime. Res64: 532C6658FC7172CD Time : 0.0 sec. user=mdettweiler [2015-07-15 13:45:10] 815*2^1403138-1 is not prime. Res64: D67D1B95D212B9D8 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:52:49] 827*2^1403138-1 is not prime. Res64: 12F19D93824ABCCD Time : 0.0 sec. user=mdettweiler [2015-07-15 13:52:49] 915*2^1403138-1 is not prime. Res64: 2B6902B52CE8FBB9 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:53:14] 945*2^1403138-1 is not prime. Res64: A23A98A3E753C7C7 Time : 0.0 sec. user=mdettweiler [2015-07-15 13:53:14] 615*2^1403139-1 is not prime. Res64: 5F94002B2D7554DA Time : 0.0 sec. user=mdettweiler [2015-07-15 14:02:51] 603*2^1403140-1 is not prime. Res64: 6006DBA31A65D087 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:02:52] 735*2^1403140-1 is not prime. Res64: 5EBE4A86A9F8D9F8 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:02:53] 669*2^1403139-1 is not prime. Res64: 95C41819C25854CA Time : 0.0 sec. user=mdettweiler [2015-07-15 14:02:54] 859*2^1403139-1 is not prime. Res64: E9C7791A31B607D9 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:10:24] 627*2^1403141-1 is not prime. Res64: A49481BAAA063FD5 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:10:25] 657*2^1403141-1 is not prime. Res64: 0B1348E9DBF4DC30 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:10:50] 685*2^1403141-1 is not prime. Res64: BEF8DD634EA82DD7 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:10:50] 697*2^1403141-1 is not prime. Res64: A69BE9198F3D4D9A Time : 0.0 sec. user=mdettweiler [2015-07-15 14:20:42] 795*2^1403141-1 is not prime. Res64: 13813715077E7753 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:20:43] 949*2^1403141-1 is not prime. Res64: ED6DD4722270CB18 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:20:52] 987*2^1403141-1 is not prime. Res64: 969160303128E735 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:20:53] 621*2^1403142-1 is not prime. Res64: 39FB6D3B8D9D0AAA Time : 0.0 sec. user=mdettweiler [2015-07-15 14:28:02] 651*2^1403142-1 is not prime. Res64: CF0DDDFCD57E361E Time : 0.0 sec. user=mdettweiler [2015-07-15 14:28:03] 1001*2^1403142-1 is not prime. Res64: 37A168FDFECB72E7 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:28:31] 709*2^1403143-1 is not prime. Res64: 87E51E895715C44C Time : 0.0 sec. user=mdettweiler [2015-07-15 14:28:31] 783*2^1403143-1 is not prime. Res64: 55CB3E7F5CB47272 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:38:23] 793*2^1403143-1 is not prime. Res64: 1657396C492C15FC Time : 0.0 sec. user=mdettweiler [2015-07-15 14:38:23] 939*2^1403143-1 is not prime. Res64: 022292B225CFE765 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:38:33] 609*2^1403144-1 is not prime. Res64: 75366661AFE75C4B Time : 0.0 sec. user=mdettweiler [2015-07-15 14:38:33] 675*2^1403144-1 is not prime. Res64: 631C4F15F2F25C85 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:45:37] 677*2^1403144-1 is not prime. Res64: 832E9AC5929D914D Time : 0.0 sec. user=mdettweiler [2015-07-15 14:45:37] 813*2^1403144-1 is not prime. Res64: DAC9EB8EF0CEBBFA Time : 0.0 sec. user=mdettweiler [2015-07-15 14:46:11] 843*2^1403144-1 is not prime. Res64: B184C9E0B22DFB1D Time : 0.0 sec. user=mdettweiler [2015-07-15 14:46:12] 857*2^1403144-1 is not prime. Res64: C9C432D86A720B2C Time : 0.0 sec. user=mdettweiler [2015-07-15 14:56:01] 625*2^1403145-1 is not prime. Res64: 23D4389AF04A0D46 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:56:02] 741*2^1403145-1 is not prime. Res64: AE3FA899BF6A883F Time : 0.0 sec. user=mdettweiler [2015-07-15 14:56:10] 765*2^1403145-1 is not prime. Res64: C9CCF926D0283650 Time : 0.0 sec. user=mdettweiler [2015-07-15 14:56:11] 633*2^1403146-1 is not prime. Res64: D59AB1B0A68F6E11 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:03:17] 653*2^1403146-1 is not prime. Res64: 7A83633992E64F18 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:03:18] 717*2^1403146-1 is not prime. Res64: B60367A8B1CB9AC3 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:03:53] 741*2^1403146-1 is not prime. Res64: 4CC73FEAD11574AF Time : 0.0 sec. user=mdettweiler [2015-07-15 15:03:54] 933*2^1403146-1 is not prime. Res64: 0F977C6FF284A2C5 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:13:46] 741*2^1403147-1 is not prime. Res64: 301A89E43D2F8CAD Time : 0.0 sec. user=mdettweiler [2015-07-15 15:13:47] 781*2^1403147-1 is not prime. Res64: E5C08E4CD7842B29 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:13:53] 861*2^1403147-1 is not prime. Res64: 8AAFBE266119B5A7 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:13:53] 879*2^1403148-1 is not prime. Res64: 87728B5555C9CB0C Time : 0.0 sec. user=mdettweiler [2015-07-15 15:21:13] 667*2^1403149-1 is not prime. Res64: 961C9F38EF0888CD Time : 0.0 sec. user=mdettweiler [2015-07-15 15:21:13] 675*2^1403149-1 is not prime. Res64: D79F6EC90DBE8E76 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:21:34] 769*2^1403149-1 is not prime. Res64: CFB845A838AE8B41 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:21:35] 771*2^1403149-1 is not prime. Res64: 98232AA68BEA2EBC Time : 0.0 sec. user=mdettweiler [2015-07-15 15:31:19] 801*2^1403149-1 is not prime. Res64: 35E148A71E94270B Time : 0.0 sec. user=mdettweiler [2015-07-15 15:31:20] 817*2^1403149-1 is not prime. Res64: 32BCF3CFA090F472 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:31:23] 877*2^1403149-1 is not prime. Res64: 7C34AEAC0E5C310C Time : 0.0 sec. user=mdettweiler [2015-07-15 15:31:23] 927*2^1403149-1 is not prime. Res64: 6492FACCA9D668C3 Time : 0.0 sec. user=juhehe [2015-07-15 15:37:30] 647*2^1403146-1 is not prime. Res64: E5A8B565C18654B3 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:38:46] 931*2^1403149-1 is not prime. Res64: BFDECC841D583B8F Time : 0.0 sec. user=mdettweiler [2015-07-15 15:38:46] 951*2^1403149-1 is not prime. Res64: 3E963C5D95E9E3F3 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:39:07] 979*2^1403149-1 is not prime. Res64: B8AA71D2ED2D2B6D Time : 0.0 sec. user=mdettweiler [2015-07-15 15:39:08] 831*2^1403150-1 is not prime. Res64: E96738FD7305BB03 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:48:56] 643*2^1403151-1 is not prime. Res64: C854D1EECD5442BF Time : 0.0 sec. user=mdettweiler [2015-07-15 15:48:56] 781*2^1403151-1 is not prime. Res64: 92DD1063F385ECB3 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:48:57] 845*2^1403150-1 is not prime. Res64: 168CD5A5D57C8163 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:48:58] 987*2^1403150-1 is not prime. Res64: 937626EDFCE0FE1C Time : 0.0 sec. user=mdettweiler [2015-07-15 15:56:32] 793*2^1403151-1 is not prime. Res64: C3CD5803A327C8EB Time : 0.0 sec. user=mdettweiler [2015-07-15 15:56:32] 895*2^1403151-1 is not prime. Res64: D3CFB08238F3B394 Time : 0.0 sec. user=mdettweiler [2015-07-15 15:56:48] 979*2^1403151-1 is not prime. Res64: EAB468CF23FCDC1D Time : 0.0 sec. user=mdettweiler [2015-07-15 15:56:49] 629*2^1403152-1 is not prime. Res64: 3221D73A63BB61E8 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:06:39] 855*2^1403152-1 is not prime. Res64: 39699BD1C9C4047F Time : 0.0 sec. user=mdettweiler [2015-07-15 16:06:40] 975*2^1403152-1 is not prime. Res64: 0A41A9A53297D2BD Time : 0.0 sec. user=mdettweiler [2015-07-15 16:06:44] 719*2^1403152-1 is not prime. Res64: 989CC1C10F596357 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:06:44] 797*2^1403152-1 is not prime. Res64: BEEC7D4764E86C6B Time : 0.0 sec. user=mdettweiler [2015-07-15 16:14:10] 615*2^1403153-1 is not prime. Res64: EC8A32438740F3AA Time : 0.0 sec. user=mdettweiler [2015-07-15 16:14:11] 619*2^1403153-1 is not prime. Res64: DFD4AC9C361DFCCC Time : 0.0 sec. user=mdettweiler [2015-07-15 16:14:23] 699*2^1403153-1 is not prime. Res64: C4BDCD793F483A7D Time : 0.0 sec. user=mdettweiler [2015-07-15 16:14:23] 741*2^1403153-1 is not prime. Res64: 9B923FD8A4D789BB Time : 0.0 sec. user=mdettweiler [2015-07-15 16:24:30] 925*2^1403153-1 is not prime. Res64: 3B1B6B4AEE07F184 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:24:31] 987*2^1403153-1 is not prime. Res64: B6F9BF15C130C1E8 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:24:39] 605*2^1403154-1 is not prime. Res64: E8521642B888C1D7 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:24:40] 791*2^1403154-1 is not prime. Res64: 07DAAD70380BA550 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:31:56] 825*2^1403154-1 is not prime. Res64: FE02E579804496AD Time : 0.0 sec. user=mdettweiler [2015-07-15 16:31:57] 851*2^1403154-1 is not prime. Res64: 4B3D14F4747FB9FE Time : 0.0 sec. user=mdettweiler [2015-07-15 16:32:04] 861*2^1403154-1 is not prime. Res64: BDA993E67E80B899 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:32:04] 905*2^1403154-1 is not prime. Res64: 275963D448867172 Time : 0.0 sec. user=juhehe [2015-07-15 16:40:19] 705*2^1403152-1 is not prime. Res64: 5FD004543DE71547 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:42:08] 1001*2^1403154-1 is not prime. Res64: D64BCFCD4AF6EC62 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:42:09] 619*2^1403155-1 is not prime. Res64: 9DBF58F84412CBA2 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:42:12] 651*2^1403155-1 is not prime. Res64: 3CCAE515BA82AA52 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:42:13] 775*2^1403155-1 is not prime. Res64: 1A6B4E04C5CB1E03 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:49:30] 783*2^1403155-1 is not prime. Res64: A306EA0DA8F4420D Time : 0.0 sec. user=mdettweiler [2015-07-15 16:49:30] 793*2^1403155-1 is not prime. Res64: B7934B4CD8C4D7C2 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:49:45] 861*2^1403155-1 is not prime. Res64: 9E9A844635CAB6BC Time : 0.0 sec. user=mdettweiler [2015-07-15 16:49:45] 623*2^1403156-1 is not prime. Res64: CC94896411BF4AF3 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:59:51] 869*2^1403156-1 is not prime. Res64: EB717A16C0AA1CBC Time : 0.0 sec. user=mdettweiler [2015-07-15 16:59:51] 909*2^1403156-1 is not prime. Res64: 3F7C73B383268968 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:59:51] 743*2^1403156-1 is not prime. Res64: B4D0500564720A29 Time : 0.0 sec. user=mdettweiler [2015-07-15 16:59:52] 839*2^1403156-1 is not prime. Res64: AF4DFA60B70C1E89 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:07:06] 625*2^1403157-1 is not prime. Res64: CB5F02234CA42F3D Time : 0.0 sec. user=mdettweiler [2015-07-15 17:07:06] 717*2^1403157-1 is not prime. Res64: BC31ED4CABCD13CB Time : 0.0 sec. user=mdettweiler [2015-07-15 17:07:27] 805*2^1403157-1 is not prime. Res64: FDF2C2FCC5AF46C5 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:07:28] 849*2^1403157-1 is not prime. Res64: B53CAE3CC8FA1CCF Time : 0.0 sec. user=mdettweiler [2015-07-15 17:17:58] 647*2^1403158-1 is not prime. Res64: F336D1CBBE5AB8D2 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:17:58] 661*2^1403159-1 is not prime. Res64: 7ED4BCEAAD9BE448 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:19:19] 901*2^1403157-1 is not prime. Res64: AFEB668B3CC34EA1 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:19:19] 635*2^1403158-1 is not prime. Res64: C8E793184315068D Time : 0.0 sec. user=mdettweiler [2015-07-15 17:25:06] 861*2^1403159-1 is not prime. Res64: 995AD6E192B8ADA7 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:25:07] 895*2^1403159-1 is not prime. Res64: 18DB92BBCD6EF198 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:25:20] 909*2^1403159-1 is not prime. Res64: 35FB41840B63F71A Time : 0.0 sec. user=mdettweiler [2015-07-15 17:25:20] 973*2^1403159-1 is not prime. Res64: 95AEB6259A676DA8 Time : 0.0 sec. user=juhehe [2015-07-15 17:33:38] 871*2^1403157-1 is not prime. Res64: 687F44580F782BDE Time : 0.0 sec. user=mdettweiler [2015-07-15 17:35:34] 623*2^1403160-1 is not prime. Res64: 05760523C97A09B5 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:35:34] 669*2^1403160-1 is not prime. Res64: F503A7C073630641 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:36:56] 725*2^1403160-1 is not prime. Res64: FEFDD7CB83293245 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:36:56] 843*2^1403160-1 is not prime. Res64: ED031AAA336E6C85 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:42:55] 879*2^1403160-1 is not prime. Res64: CDF1EC4C76698943 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:42:55] 601*2^1403161-1 is not prime. Res64: 5143B053AA4DA8F3 Time : 0.0 sec. user=mdettweiler [2015-07-15 17:43:01] 625*2^1403161-1 is not prime. Res64: A760DDDBFD3A7F1A Time : 0.0 sec. user=mdettweiler [2015-07-15 17:43:01] 687*2^1403161-1 is not prime. Res64: 2BED8E4C60FBC22C Time : 0.0 sec. user=mdettweiler [2015-07-15 17:53:16] 691*2^1403161-1 is not prime. Res64: 8478E7DB431A5C1C Time : 0.0 sec. user=mdettweiler [2015-07-15 17:53:17] 769*2^1403161-1 is not prime. Res64: F8992EC6C8D079FD Time : 0.0 sec. user=mdettweiler [2015-07-15 17:54:43] 801*2^1403161-1 is not prime. Res64: 50C06BC3EFE7E3BF Time : 0.0 sec. user=mdettweiler [2015-07-15 17:54:43] 937*2^1403161-1 is not prime. Res64: E17D5BB846A17F67 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:00:27] 939*2^1403161-1 is not prime. Res64: 204AE41F4BD9DB31 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:00:28] 945*2^1403161-1 is not prime. Res64: 8FD5D7613F006F50 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:00:37] 967*2^1403161-1 is not prime. Res64: 6FF411A013979048 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:00:37] 603*2^1403162-1 is not prime. Res64: 58F11D7DF2717A5E Time : 0.0 sec. user=mdettweiler [2015-07-15 18:10:50] 675*2^1403162-1 is not prime. Res64: EAC23C3F5983C7EB Time : 0.0 sec. user=mdettweiler [2015-07-15 18:10:51] 705*2^1403162-1 is not prime. Res64: BD6D2A5B1D318772 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:12:08] 791*2^1403162-1 is not prime. Res64: E05577CD6BA6259A Time : 0.0 sec. user=mdettweiler [2015-07-15 18:12:08] 831*2^1403162-1 is not prime. Res64: CF93E74F1C7BDA91 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:17:52] 887*2^1403162-1 is not prime. Res64: F4D66A5960D4FFA8 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:17:52] 923*2^1403162-1 is not prime. Res64: A1CE3A722FABF1E0 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:18:07] 663*2^1403163-1 is not prime. Res64: 701AA11243ACC489 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:18:07] 829*2^1403163-1 is not prime. Res64: CB53382A605F7E5F Time : 0.0 sec. user=mdettweiler [2015-07-15 18:28:24] 921*2^1403163-1 is not prime. Res64: 800E8DBC22B5DA8A Time : 0.0 sec. user=mdettweiler [2015-07-15 18:28:24] 635*2^1403164-1 is not prime. Res64: FC4F70981FC49110 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:29:35] 665*2^1403164-1 is not prime. Res64: C76C61F10401358E Time : 0.0 sec. user=mdettweiler [2015-07-15 18:29:35] 869*2^1403164-1 is not prime. Res64: 47BD680AD34FB5DF Time : 0.0 sec. user=mdettweiler [2015-07-15 18:35:17] 903*2^1403164-1 is not prime. Res64: D464EAAF087DE438 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:35:18] 939*2^1403164-1 is not prime. Res64: 06EA7A58DF8DC2A9 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:35:39] 989*2^1403164-1 is not prime. Res64: 10BE50D1C5B0C720 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:35:39] 601*2^1403165-1 is not prime. Res64: 5B21E00670309003 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:46:02] 721*2^1403165-1 is not prime. Res64: 33009D489EFA1C49 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:46:02] 771*2^1403165-1 is not prime. Res64: 59B3CF3DEAD87E27 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:47:03] 801*2^1403165-1 is not prime. Res64: 84E81A0B4D668593 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:47:03] 805*2^1403165-1 is not prime. Res64: 5616BDE0D7EFE8F7 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:52:46] 761*2^1403166-1 is not prime. Res64: 4C12080F5124C4B2 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:52:46] 815*2^1403166-1 is not prime. Res64: 6680A36EA23DF2FF Time : 0.0 sec. user=mdettweiler [2015-07-15 18:53:04] 645*2^1403167-1 is not prime. Res64: B48C5CA83A4D37C4 Time : 0.0 sec. user=mdettweiler [2015-07-15 18:53:05] 759*2^1403167-1 is not prime. Res64: 97FF13111F37378D Time : 0.0 sec. user=mdettweiler [2015-07-15 19:03:36] 841*2^1403167-1 is not prime. Res64: 3C576C25291A37BE Time : 0.0 sec. user=mdettweiler [2015-07-15 19:03:38] 873*2^1403167-1 is not prime. Res64: 0008E4EE16EBB559 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:04:35] 933*2^1403167-1 is not prime. Res64: 412173BA1F3FE94A Time : 0.0 sec. user=mdettweiler [2015-07-15 19:04:36] 961*2^1403167-1 is not prime. Res64: A1122472250803C6 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:10:19] 975*2^1403167-1 is not prime. Res64: 053B993FB6CB639A Time : 0.0 sec. user=mdettweiler [2015-07-15 19:10:20] 615*2^1403168-1 is not prime. Res64: 15C560EAE1C4BE63 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:10:32] 665*2^1403168-1 is not prime. Res64: 30FEC78BB5CFBD2F Time : 0.0 sec. user=mdettweiler [2015-07-15 19:10:32] 669*2^1403168-1 is not prime. Res64: 9D4F33BD0330F400 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:21:41] 677*2^1403168-1 is not prime. Res64: B5A38254E6E74C9E Time : 0.0 sec. user=mdettweiler [2015-07-15 19:21:42] 923*2^1403168-1 is not prime. Res64: B15633FD57864E88 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:22:11] 935*2^1403168-1 is not prime. Res64: EDF5A6D7769C55BC Time : 0.0 sec. user=mdettweiler [2015-07-15 19:22:12] 969*2^1403168-1 is not prime. Res64: 2812658E13AD6681 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:28:00] 993*2^1403168-1 is not prime. Res64: 5E468D02383C78F1 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:28:01] 649*2^1403169-1 is not prime. Res64: D4525DB20F4C4AEB Time : 0.0 sec. user=mdettweiler [2015-07-15 19:28:28] 657*2^1403169-1 is not prime. Res64: 3907D175DA7D57D4 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:28:29] 691*2^1403169-1 is not prime. Res64: 0E84A120C4DDC859 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:39:13] 709*2^1403169-1 is not prime. Res64: 031C755377581F9C Time : 0.0 sec. user=mdettweiler [2015-07-15 19:39:13] 847*2^1403169-1 is not prime. Res64: 4BC0D988A7F21EC5 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:39:42] 861*2^1403169-1 is not prime. Res64: 4C4C77857733E1CE Time : 0.0 sec. user=mdettweiler [2015-07-15 19:39:42] 885*2^1403169-1 is not prime. Res64: 6E7068360DE29088 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:45:28] 919*2^1403169-1 is not prime. Res64: 7115D6E0340E4FF3 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:45:29] 645*2^1403170-1 is not prime. Res64: 2600ADCDB2A81D23 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:45:59] 653*2^1403170-1 is not prime. Res64: BD916B5526F8FDB0 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:45:59] 995*2^1403170-1 is not prime. Res64: 49804343B72BB861 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:57:54] 609*2^1403171-1 is not prime. Res64: 00B38F6668C94371 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:57:55] 651*2^1403171-1 is not prime. Res64: 61BAE6B4AD977DE1 Time : 0.0 sec. user=mdettweiler [2015-07-15 19:58:14] 675*2^1403171-1 is not prime. Res64: 10FC608E49DE277A Time : 0.0 sec. user=mdettweiler [2015-07-15 19:58:14] 801*2^1403171-1 is not prime. Res64: 60EFC7818E70A381 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:04:53] 823*2^1403171-1 is not prime. Res64: 671F1FCB12B2D4C6 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:04:54] 885*2^1403171-1 is not prime. Res64: CEC4B16F79C04A64 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:05:17] 969*2^1403171-1 is not prime. Res64: E78940AD6DF5C0B9 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:05:18] 635*2^1403172-1 is not prime. Res64: 27BF1EAD3B741F93 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:17:20] 765*2^1403172-1 is not prime. Res64: 11E7E39377686B79 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:17:21] 767*2^1403172-1 is not prime. Res64: FAD1BDB33E8C463C Time : 0.0 sec. user=mdettweiler [2015-07-15 20:17:21] 639*2^1403172-1 is not prime. Res64: AB29235AFBD7F608 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:17:21] 683*2^1403172-1 is not prime. Res64: 5DE53FC37CB45707 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:24:02] 803*2^1403172-1 is not prime. Res64: 026C9F04A6E28FF1 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:24:02] 999*2^1403172-1 is not prime. Res64: 4B429536B3AE155D Time : 0.0 sec. user=mdettweiler [2015-07-15 20:24:17] 639*2^1403173-1 is not prime. Res64: 0C206EFE01303596 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:24:18] 687*2^1403173-1 is not prime. Res64: 8BBC48F646D6D98D Time : 0.0 sec. user=mdettweiler [2015-07-15 20:36:38] 987*2^1403173-1 is not prime. Res64: 9A66EE24D173B31D Time : 0.0 sec. user=mdettweiler [2015-07-15 20:36:38] 999*2^1403173-1 is not prime. Res64: 302F3E75729B5F71 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:36:41] 727*2^1403173-1 is not prime. Res64: FD2F59AF3E929CEF Time : 0.0 sec. user=mdettweiler [2015-07-15 20:36:42] 855*2^1403173-1 is not prime. Res64: B5F8EC4600E106D8 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:42:59] 683*2^1403174-1 is not prime. Res64: 9EA1154C75E0E5D3 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:42:59] 741*2^1403174-1 is not prime. Res64: A51F7CA8E2C2A98E Time : 0.0 sec. user=mdettweiler [2015-07-15 20:43:27] 797*2^1403174-1 is not prime. Res64: D1700104EA04D5CC Time : 0.0 sec. user=mdettweiler [2015-07-15 20:43:27] 619*2^1403175-1 is not prime. Res64: 6FD62E26C58678F1 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:55:42] 649*2^1403175-1 is not prime. Res64: 08BED6EF68C9CBD4 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:55:43] 691*2^1403175-1 is not prime. Res64: 4316B4E8D2344344 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:55:46] 711*2^1403175-1 is not prime. Res64: 31AB4B1DD4B9D138 Time : 0.0 sec. user=mdettweiler [2015-07-15 20:55:46] 859*2^1403175-1 is not prime. Res64: 74B570034D6C1E4E Time : 0.0 sec. user=mdettweiler [2015-07-15 21:02:06] 623*2^1403176-1 is not prime. Res64: B88B5D542E0F7B6B Time : 0.0 sec. user=mdettweiler [2015-07-15 21:02:06] 699*2^1403176-1 is not prime. Res64: 17B894CC4D1A5C25 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:02:27] 905*2^1403176-1 is not prime. Res64: B828CF08F8CDCF21 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:02:28] 933*2^1403176-1 is not prime. Res64: D88AC79962EB6761 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:15:32] 711*2^1403177-1 is not prime. Res64: EABFBEEBECFC271A Time : 0.0 sec. user=mdettweiler [2015-07-15 21:15:32] 729*2^1403177-1 is not prime. Res64: E984FB7D297B9FD5 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:15:36] 769*2^1403177-1 is not prime. Res64: 3121C5EC0B8796F8 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:15:36] 805*2^1403177-1 is not prime. Res64: FF427A2A039B1640 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:22:50] 925*2^1403177-1 is not prime. Res64: 37F0E010D076DCB7 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:22:50] 931*2^1403177-1 is not prime. Res64: 91E0DDA6E29B9EC4 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:22:58] 981*2^1403177-1 is not prime. Res64: 841B0F4AECD2691A Time : 0.0 sec. user=mdettweiler [2015-07-15 21:22:58] 985*2^1403177-1 is not prime. Res64: 0BCE670AB13C80B0 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:36:53] 615*2^1403178-1 is not prime. Res64: F0BC6B3E54A858C0 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:36:54] 635*2^1403178-1 is not prime. Res64: BEAC38ABFDE5A351 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:37:00] 641*2^1403178-1 is not prime. Res64: 854DBC5D7C4E54D1 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:37:01] 647*2^1403178-1 is not prime. Res64: 1972B41A99FD2CFA Time : 0.0 sec. user=mdettweiler [2015-07-15 21:43:31] 711*2^1403178-1 is not prime. Res64: F537D3DC8E7A4620 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:43:31] 755*2^1403178-1 is not prime. Res64: B65C4B5FE7BA8908 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:43:41] 765*2^1403178-1 is not prime. Res64: 320E011EA13A6F29 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:43:41] 837*2^1403178-1 is not prime. Res64: DE5BBC006100ECC1 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:56:25] 993*2^1403178-1 is not prime. Res64: B1072AD094403208 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:56:25] 619*2^1403179-1 is not prime. Res64: 23FCB0A492122D38 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:56:40] 639*2^1403179-1 is not prime. Res64: 8FABC9134F5DE404 Time : 0.0 sec. user=mdettweiler [2015-07-15 21:56:40] 663*2^1403179-1 is not prime. Res64: E7363A04A85BDA5A Time : 0.0 sec. user=mdettweiler [2015-07-15 22:03:55] 709*2^1403179-1 is not prime. Res64: 3DB5FCA8797A2CBF Time : 0.0 sec. user=mdettweiler [2015-07-15 22:03:56] 765*2^1403179-1 is not prime. Res64: 557A4509C88CA1B9 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:04:23] 793*2^1403179-1 is not prime. Res64: 78215BC1FF6CD5E9 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:04:24] 853*2^1403179-1 is not prime. Res64: DD97CC75323DB62D Time : 0.0 sec. user=mdettweiler [2015-07-15 22:17:04] 909*2^1403179-1 is not prime. Res64: D06F08E4EFE00C9F Time : 0.0 sec. user=mdettweiler [2015-07-15 22:17:05] 975*2^1403179-1 is not prime. Res64: 9508975299CCD2BA Time : 0.0 sec. user=mdettweiler [2015-07-15 22:17:20] 979*2^1403179-1 is not prime. Res64: 3E5B8B11FD5BC70D Time : 0.0 sec. user=mdettweiler [2015-07-15 22:17:20] 609*2^1403180-1 is not prime. Res64: 95E3C64BF1E3D99A Time : 0.0 sec. user=mdettweiler [2015-07-15 22:24:50] 635*2^1403180-1 is not prime. Res64: 0351F33DA3D6D4A8 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:24:51] 647*2^1403180-1 is not prime. Res64: 9CE0447DFE9390C3 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:25:18] 833*2^1403180-1 is not prime. Res64: A83493CA56C7EE12 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:25:18] 843*2^1403180-1 is not prime. Res64: E7B909EA7459ABAC Time : 0.0 sec. user=mdettweiler [2015-07-15 22:37:36] 621*2^1403181-1 is not prime. Res64: 642201BABFDF4DA7 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:37:36] 955*2^1403181-1 is not prime. Res64: EF8DAC87E9FF8B3F Time : 0.0 sec. user=mdettweiler [2015-07-15 22:38:14] 801*2^1403182-1 is not prime. Res64: C62A87A2C5D847F4 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:38:15] 1001*2^1403182-1 is not prime. Res64: 4FCA9E2A2817F1C9 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:45:15] 619*2^1403183-1 is not prime. Res64: 91D9E70C9C4C8F16 Time : 0.0 sec. user=mdettweiler [2015-07-15 22:45:16] 663*2^1403183-1 is not prime. Res64: F25627111383DF5F Time : 0.0 sec. user=mdettweiler [2015-07-15 22:45:54] 669*2^1403183-1 is not prime. Res64: DE0D1C912A1EEF9F Time : 0.0 sec. user=mdettweiler [2015-07-15 22:45:54] 729*2^1403183-1 is not prime. Res64: 8F436D57F32D61AC Time : 0.0 sec. user=mdettweiler [2015-07-15 22:57:57] 745*2^1403183-1 is not prime. Res64: BA793B791AC1FFFC Time : 0.0 sec. user=mdettweiler [2015-07-15 22:57:57] 781*2^1403183-1 is not prime. Res64: B78D2BFB39F7B22C Time : 0.0 sec. user=mdettweiler [2015-07-15 22:58:39] 783*2^1403183-1 is not prime. Res64: 2BD2650DCF6DBDAF Time : 0.0 sec. user=mdettweiler [2015-07-15 22:58:40] 789*2^1403183-1 is not prime. Res64: 0B3ABA863DDDE847 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:05:30] 823*2^1403183-1 is not prime. Res64: DBDD8C710F1A0E18 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:05:32] 855*2^1403183-1 is not prime. Res64: AF0922ED28BF8F44 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:05:59] 663*2^1403184-1 is not prime. Res64: FE360F24F204075D Time : 0.0 sec. user=mdettweiler [2015-07-15 23:06:01] 683*2^1403184-1 is not prime. Res64: 7E04906715BA227E Time : 0.0 sec. user=mdettweiler [2015-07-15 23:17:28] 689*2^1403184-1 is not prime. Res64: 28518DFEA03EB86F Time : 0.0 sec. user=mdettweiler [2015-07-15 23:17:29] 809*2^1403184-1 is not prime. Res64: 75073D4A25074FC3 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:18:16] 929*2^1403184-1 is not prime. Res64: CCC0D6BF783639C6 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:18:16] 867*2^1403186-1 is not prime. Res64: F67A99A691075F61 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:24:25] 609*2^1403187-1 is not prime. Res64: F90D47A37609257B Time : 0.0 sec. user=mdettweiler [2015-07-15 23:24:25] 753*2^1403187-1 is not prime. Res64: D7834C4177E96CA5 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:24:28] 871*2^1403187-1 is not prime. Res64: 5144B5D0F1993913 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:24:28] 615*2^1403188-1 is not prime. Res64: D2214AD7C11F0158 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:34:53] 735*2^1403188-1 is not prime. Res64: 17EC5F5458AE2BFD Time : 0.0 sec. user=mdettweiler [2015-07-15 23:34:53] 923*2^1403188-1 is not prime. Res64: 898FCC42B509EF20 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:35:49] 685*2^1403189-1 is not prime. Res64: 0C85D0CCC16226B1 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:35:49] 747*2^1403189-1 is not prime. Res64: 308DB01C757E6C11 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:42:00] 787*2^1403189-1 is not prime. Res64: D15A0577B49A7857 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:42:00] 925*2^1403189-1 is not prime. Res64: E961EEC7B21A7A41 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:42:00] 945*2^1403189-1 is not prime. Res64: 573D4A8FE306CAD3 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:42:01] 797*2^1403190-1 is not prime. Res64: A647CC8898C4CDD2 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:52:42] 833*2^1403190-1 is not prime. Res64: 5A47F24F636EB862 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:52:42] 851*2^1403190-1 is not prime. Res64: F43764168EC0B04F Time : 0.0 sec. user=mdettweiler [2015-07-15 23:53:42] 867*2^1403190-1 is not prime. Res64: 0A83B123108AA58E Time : 0.0 sec. user=mdettweiler [2015-07-15 23:53:43] 957*2^1403190-1 is not prime. Res64: 20ECCE20ED93C49F Time : 0.0 sec. user=mdettweiler [2015-07-15 23:59:53] 609*2^1403191-1 is not prime. Res64: 279EE52A2BB9B792 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:59:54] 615*2^1403191-1 is not prime. Res64: 657A100524B31D2E Time : 0.0 sec. user=mdettweiler [2015-07-15 23:59:56] 673*2^1403191-1 is not prime. Res64: B98380BA70EC48E2 Time : 0.0 sec. user=mdettweiler [2015-07-15 23:59:56] 705*2^1403191-1 is not prime. Res64: B37C49CFA3284545 Time : 0.0 sec.