user=mdettweiler [2015-07-19 00:03:34] 669*2^1403496-1 is not prime. Res64: 6DC63C6B16E4CAE4 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:03:35] 689*2^1403496-1 is not prime. Res64: BAFA50134E0823A0 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:03:38] 735*2^1403496-1 is not prime. Res64: 21987FF4942AE965 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:03:39] 777*2^1403496-1 is not prime. Res64: BD1B1313F3C18374 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:03:45] 993*2^1403496-1 is not prime. Res64: B9A60E1444909910 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:03:46] 651*2^1403497-1 is not prime. Res64: 8C1ADCC4E9D692BB Time : 0.0 sec. user=mdettweiler [2015-07-19 00:03:58] 741*2^1403497-1 is not prime. Res64: 801BA424451D708E Time : 0.0 sec. user=mdettweiler [2015-07-19 00:04:00] 807*2^1403497-1 is not prime. Res64: 3F9C152FD0D83496 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:11] 985*2^1403497-1 is not prime. Res64: E94D41A7E4114E1F Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:12] 603*2^1403498-1 is not prime. Res64: 0DEFF2ACEA0918D3 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:12] 633*2^1403498-1 is not prime. Res64: 4C22E2BBB39D575F Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:13] 797*2^1403498-1 is not prime. Res64: 19A2AD02B6CDC9C7 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:23] 801*2^1403498-1 is not prime. Res64: A41FF6848AD95C83 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:23] 831*2^1403498-1 is not prime. Res64: AB224F261DC19733 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:38] 887*2^1403498-1 is not prime. Res64: 2C9119D12F50DB19 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:21:39] 915*2^1403498-1 is not prime. Res64: 1B6D200A8B11A6E0 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:38:43] 745*2^1403499-1 is not prime. Res64: BC3A2638B1A19353 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:38:44] 795*2^1403499-1 is not prime. Res64: A108137BC3482E63 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:38:56] 609*2^1403499-1 is not prime. Res64: 7DFC340DB2EFF2EE Time : 0.0 sec. user=mdettweiler [2015-07-19 00:38:56] 685*2^1403499-1 is not prime. Res64: 7944A9B220DAFA7E Time : 0.0 sec. user=mdettweiler [2015-07-19 00:38:58] 801*2^1403499-1 is not prime. Res64: 16CA0BBA66737AC9 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:38:58] 853*2^1403499-1 is not prime. Res64: C1A713252DBD28FE Time : 0.0 sec. user=mdettweiler [2015-07-19 00:39:12] 921*2^1403499-1 is not prime. Res64: 6EE21939D518C0AA Time : 0.0 sec. user=mdettweiler [2015-07-19 00:39:13] 975*2^1403499-1 is not prime. Res64: 6A317D93A8CD8A52 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:20] 653*2^1403500-1 is not prime. Res64: 455415D44AB2C429 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:21] 677*2^1403500-1 is not prime. Res64: 12E0E1268C5F5E04 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:28] 843*2^1403500-1 is not prime. Res64: 7B33EE2424622922 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:29] 983*2^1403500-1 is not prime. Res64: 15F80304428A2482 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:31] 687*2^1403500-1 is not prime. Res64: D1CFCAED49634067 Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:32] 825*2^1403500-1 is not prime. Res64: 40C8840F58B53AEB Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:48] 781*2^1403501-1 is not prime. Res64: 134DE6BE6CD8C41C Time : 0.0 sec. user=mdettweiler [2015-07-19 00:56:49] 889*2^1403501-1 is not prime. Res64: E341D58549B60CC8 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:13:52] 931*2^1403501-1 is not prime. Res64: 9E4D99A813A198BD Time : 0.0 sec. user=mdettweiler [2015-07-19 01:13:53] 683*2^1403502-1 is not prime. Res64: B1EDABD14AF7B13E Time : 0.0 sec. user=mdettweiler [2015-07-19 01:14:08] 821*2^1403502-1 is not prime. Res64: FC0BFC622A2C8EFF Time : 0.0 sec. user=mdettweiler [2015-07-19 01:14:08] 873*2^1403502-1 is not prime. Res64: E2925C832A990F15 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:14:10] 963*2^1403502-1 is not prime. Res64: 8421C924D0C58C21 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:14:11] 639*2^1403503-1 is not prime. Res64: F7D42A4CB21B2032 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:14:24] 853*2^1403503-1 is not prime. Res64: 7BBD08E8FC718CBF Time : 0.0 sec. user=mdettweiler [2015-07-19 01:14:25] 883*2^1403503-1 is not prime. Res64: A2EF5F1E7C85A28A Time : 0.0 sec. user=mdettweiler [2015-07-19 01:31:34] 933*2^1403503-1 is not prime. Res64: 3E6AA7AFD33892AA Time : 0.0 sec. user=mdettweiler [2015-07-19 01:31:39] 675*2^1403504-1 is not prime. Res64: AABFDB1FDF1D788E Time : 0.0 sec. user=mdettweiler [2015-07-19 01:31:43] 675*2^1403505-1 is not prime. Res64: 683BD0ABB0FACECB Time : 0.0 sec. user=mdettweiler [2015-07-19 01:31:47] 711*2^1403505-1 is not prime. Res64: D6AE1B407072FC60 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:31:51] 813*2^1403504-1 is not prime. Res64: AD8D1A768B1248DC Time : 0.0 sec. user=mdettweiler [2015-07-19 01:31:59] 741*2^1403505-1 is not prime. Res64: 5D2A0FAB20B00F5A Time : 0.0 sec. user=mdettweiler [2015-07-19 01:50:37] 603*2^1403506-1 is not prime. Res64: 2AF4721F9858FC04 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:50:37] 611*2^1403506-1 is not prime. Res64: 5D96FE05D01A3B55 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:50:41] 675*2^1403506-1 is not prime. Res64: E31D9768E615ABF2 Time : 0.0 sec. user=mdettweiler [2015-07-19 01:50:41] 723*2^1403506-1 is not prime. Res64: 47CFAB4B65BCE6A3 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:09:02] 923*2^1403506-1 is not prime. Res64: 20758CD7E944CDE3 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:09:03] 619*2^1403507-1 is not prime. Res64: 625DB09B7594D304 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:09:06] 669*2^1403507-1 is not prime. Res64: DBE4EFA723814788 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:09:07] 693*2^1403507-1 is not prime. Res64: 4E33BAA046EC87D9 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:27:47] 735*2^1403507-1 is not prime. Res64: BEB7D160E7E70277 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:27:49] 759*2^1403507-1 is not prime. Res64: 6D361BE2670B34F4 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:27:56] 949*2^1403507-1 is not prime. Res64: D7BEB51C5DE819D6 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:27:57] 985*2^1403507-1 is not prime. Res64: C0159B5244BB8636 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:46:31] 605*2^1403508-1 is not prime. Res64: CADD1AFDD4879F96 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:46:32] 797*2^1403508-1 is not prime. Res64: CFEA0E3E5AC6C238 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:47:31] 999*2^1403505-1 is not prime. Res64: B9B4B3346969AF7F Time : 0.0 sec. user=mdettweiler [2015-07-19 02:47:35] 825*2^1403508-1 is not prime. Res64: E6F9D3D08234A472 Time : 0.0 sec. user=mdettweiler [2015-07-19 02:47:36] 845*2^1403508-1 is not prime. Res64: 4C4AE0442491A2DD Time : 0.0 sec. user=mdettweiler [2015-07-19 02:51:46] 627*2^1403505-1 is not prime. Res64: 04374FF4BE3D0834 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:04:25] 915*2^1403508-1 is not prime. Res64: CD3E52BEEDA3BB8B Time : 0.0 sec. user=mdettweiler [2015-07-19 03:04:26] 969*2^1403508-1 is not prime. Res64: 672591AD77D0D07E Time : 0.0 sec. user=mdettweiler [2015-07-19 03:05:17] 975*2^1403508-1 is not prime. Res64: 9DFD149AABF4774B Time : 0.0 sec. user=mdettweiler [2015-07-19 03:05:18] 609*2^1403509-1 is not prime. Res64: 16EA4439EFFA13E6 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:05:19] 601*2^1403509-1 is not prime. Res64: 2221D0EAA731A268 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:05:19] 681*2^1403509-1 is not prime. Res64: 33C97576E3C73053 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:09:36] 771*2^1403509-1 is not prime. Res64: BF3223D0EC9CC1D0 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:09:36] 829*2^1403509-1 is not prime. Res64: FF0130CD49921FBD Time : 0.0 sec. user=mdettweiler [2015-07-19 03:22:23] 939*2^1403509-1 is not prime. Res64: 77C4F3DB2B68413F Time : 0.0 sec. user=mdettweiler [2015-07-19 03:22:24] 975*2^1403509-1 is not prime. Res64: 4B99BE62677894ED Time : 0.0 sec. user=mdettweiler [2015-07-19 03:22:55] 793*2^1403511-1 is not prime. Res64: 94E4824DCFEDB34C Time : 0.0 sec. user=mdettweiler [2015-07-19 03:22:55] 895*2^1403511-1 is not prime. Res64: 021DE0096689761F Time : 0.0 sec. user=mdettweiler [2015-07-19 03:22:56] 623*2^1403510-1 is not prime. Res64: D4F903C7916B6307 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:22:57] 781*2^1403511-1 is not prime. Res64: FA0138E72AE08909 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:27:14] 951*2^1403511-1 is not prime. Res64: 8AEA85B4FBEC352F Time : 0.0 sec. user=mdettweiler [2015-07-19 03:27:15] 955*2^1403511-1 is not prime. Res64: 288F5D380C36BE1D Time : 0.0 sec. user=mdettweiler [2015-07-19 03:40:03] 677*2^1403512-1 is not prime. Res64: 4227F2B47E335CED Time : 0.0 sec. user=mdettweiler [2015-07-19 03:40:04] 695*2^1403512-1 is not prime. Res64: E48FF36B7776D55D Time : 0.0 sec. user=mdettweiler [2015-07-19 03:40:27] 743*2^1403512-1 is not prime. Res64: 50B526FE6AA808BE Time : 0.0 sec. user=mdettweiler [2015-07-19 03:40:29] 777*2^1403512-1 is not prime. Res64: 16036AF42ECFDFC8 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:40:32] 717*2^1403512-1 is not prime. Res64: 089F7823869766BF Time : 0.0 sec. user=mdettweiler [2015-07-19 03:40:34] 723*2^1403512-1 is not prime. Res64: 92214816D63FF266 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:45:01] 813*2^1403512-1 is not prime. Res64: 250E21EE93CF24C4 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:45:04] 849*2^1403512-1 is not prime. Res64: 24B5064BF851A7B1 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:57:45] 863*2^1403512-1 is not prime. Res64: D912DE0D65C910EC Time : 0.0 sec. user=mdettweiler [2015-07-19 03:57:45] 887*2^1403512-1 is not prime. Res64: C84021F488F81E63 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:58:03] 903*2^1403512-1 is not prime. Res64: 3A07264836086B8C Time : 0.0 sec. user=mdettweiler [2015-07-19 03:58:04] 651*2^1403514-1 is not prime. Res64: A142C9B49E734C88 Time : 0.0 sec. user=mdettweiler [2015-07-19 03:58:09] 657*2^1403514-1 is not prime. Res64: 0A77C5AB06D1D23C Time : 0.0 sec. user=mdettweiler [2015-07-19 03:58:10] 663*2^1403514-1 is not prime. Res64: 07D51C53FD945105 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:03:10] 683*2^1403514-1 is not prime. Res64: 3B297B583D946C73 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:03:12] 905*2^1403514-1 is not prime. Res64: BA94077C49AE8A61 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:15:53] 921*2^1403514-1 is not prime. Res64: E0648BF80857433C Time : 0.0 sec. user=mdettweiler [2015-07-19 04:15:54] 945*2^1403514-1 is not prime. Res64: D8523C2678F45202 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:16:02] 663*2^1403515-1 is not prime. Res64: 0621EF0518AB8927 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:16:03] 861*2^1403515-1 is not prime. Res64: 2BAFBB5A1B30251C Time : 0.0 sec. user=mdettweiler [2015-07-19 04:16:24] 885*2^1403515-1 is not prime. Res64: 515BBEB84533A009 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:16:25] 999*2^1403515-1 is not prime. Res64: 4F7D33EFD5655877 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:21:30] 623*2^1403516-1 is not prime. Res64: 1686A7F3CA24F52C Time : 0.0 sec. user=mdettweiler [2015-07-19 04:21:30] 629*2^1403516-1 is not prime. Res64: 60A71013E464386F Time : 0.0 sec. user=mdettweiler [2015-07-19 04:34:34] 777*2^1403516-1 is not prime. Res64: 30BF0F3408B789A6 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:34:34] 857*2^1403516-1 is not prime. Res64: 032069349C41DA8B Time : 0.0 sec. user=mdettweiler [2015-07-19 04:34:37] 707*2^1403516-1 is not prime. Res64: 018B44A973AD38D4 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:34:37] 759*2^1403516-1 is not prime. Res64: 9E57FFF55A1F6B95 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:35:06] 869*2^1403516-1 is not prime. Res64: 70C6AC7ECE00A649 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:35:07] 999*2^1403516-1 is not prime. Res64: D387CB6896A8D9EB Time : 0.0 sec. user=mdettweiler [2015-07-19 04:40:10] 669*2^1403517-1 is not prime. Res64: 7FB488B074759392 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:40:11] 741*2^1403517-1 is not prime. Res64: BE747EA080BD8F11 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:52:49] 849*2^1403517-1 is not prime. Res64: A26BEFBCFDA61448 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:52:50] 937*2^1403517-1 is not prime. Res64: 26D8EB764C4233FC Time : 0.0 sec. user=mdettweiler [2015-07-19 04:53:06] 751*2^1403517-1 is not prime. Res64: AC2824925C5A7332 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:53:06] 847*2^1403517-1 is not prime. Res64: 69C8EDAB1161D723 Time : 0.0 sec. user=mdettweiler [2015-07-19 04:53:35] 813*2^1403518-1 is not prime. Res64: 8F3226614000428E Time : 0.0 sec. user=mdettweiler [2015-07-19 04:53:35] 825*2^1403518-1 is not prime. Res64: 5FF928CFA9F4A66A Time : 0.0 sec. user=mdettweiler [2015-07-19 04:57:59] 843*2^1403518-1 is not prime. Res64: 8F666E98E4BAC5CA Time : 0.0 sec. user=mdettweiler [2015-07-19 04:58:00] 885*2^1403518-1 is not prime. Res64: A997FDF205FC6E9D Time : 0.0 sec. user=mdettweiler [2015-07-19 05:10:26] 945*2^1403518-1 is not prime. Res64: 7C50BE90B2820C59 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:10:26] 679*2^1403519-1 is not prime. Res64: F466C33FFA8C3C05 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:10:43] 745*2^1403519-1 is not prime. Res64: 0FD7A03ED9B1A3D7 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:10:43] 861*2^1403519-1 is not prime. Res64: 8F0E0A2D79AD15DC Time : 0.0 sec. user=mdettweiler [2015-07-19 05:11:10] 949*2^1403519-1 is not prime. Res64: 3667A6E2D39DB662 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:11:10] 713*2^1403520-1 is not prime. Res64: 44948BF351274CF8 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:15:36] 719*2^1403520-1 is not prime. Res64: ADB2F5A20F82BFC9 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:15:36] 795*2^1403520-1 is not prime. Res64: E370298755931E8B Time : 0.0 sec. user=mdettweiler [2015-07-19 05:28:10] 843*2^1403520-1 is not prime. Res64: 066FB976F6D24E42 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:28:10] 915*2^1403520-1 is not prime. Res64: 5E7BEC8371D88488 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:28:14] 927*2^1403520-1 is not prime. Res64: 928529A312A924D5 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:28:14] 945*2^1403520-1 is not prime. Res64: 8E2F1F371E0E69E8 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:28:45] 983*2^1403520-1 is not prime. Res64: 14E8EB7A5CF836B4 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:28:46] 619*2^1403521-1 is not prime. Res64: F529F8F7CB665EFC Time : 0.0 sec. user=mdettweiler [2015-07-19 05:33:10] 645*2^1403521-1 is not prime. Res64: A8253F83660F4931 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:33:10] 651*2^1403521-1 is not prime. Res64: 34CDC610CFBC4B4D Time : 0.0 sec. user=mdettweiler [2015-07-19 05:45:45] 937*2^1403521-1 is not prime. Res64: 81FCF12B9AC697E7 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:45:46] 705*2^1403522-1 is not prime. Res64: 7C72D22B53B811E4 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:45:50] 685*2^1403521-1 is not prime. Res64: 5259CB47DB09DD5B Time : 0.0 sec. user=mdettweiler [2015-07-19 05:45:50] 771*2^1403521-1 is not prime. Res64: C262DBE4B57A04B9 Time : 0.0 sec. user=mdettweiler [2015-07-19 05:46:22] 837*2^1403522-1 is not prime. Res64: 92722EBB701F2C1D Time : 0.0 sec. user=mdettweiler [2015-07-19 05:46:23] 857*2^1403522-1 is not prime. Res64: 77CFA2AA192CBC6F Time : 0.0 sec. user=mdettweiler [2015-07-19 05:50:49] 1001*2^1403522-1 is not prime. Res64: F1787CB28B1297EC Time : 0.0 sec. user=mdettweiler [2015-07-19 05:50:49] 619*2^1403523-1 is not prime. Res64: 510DECB608067E12 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:03:29] 751*2^1403523-1 is not prime. Res64: 9758515AFAD41A3F Time : 0.0 sec. user=mdettweiler [2015-07-19 06:03:30] 853*2^1403523-1 is not prime. Res64: C17A50C0444B146E Time : 0.0 sec. user=mdettweiler [2015-07-19 06:03:31] 639*2^1403523-1 is not prime. Res64: 2B6AB15284C8A147 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:03:32] 643*2^1403523-1 is not prime. Res64: 66757B030E60C3F7 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:04:01] 859*2^1403523-1 is not prime. Res64: C68E159A019D4C1F Time : 0.0 sec. user=mdettweiler [2015-07-19 06:04:02] 871*2^1403523-1 is not prime. Res64: BD4216CBE9B11DA1 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:08:24] 879*2^1403523-1 is not prime. Res64: F5F763EDE9F93E64 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:08:25] 895*2^1403523-1 is not prime. Res64: 54D8EC0802388BAE Time : 0.0 sec. user=mdettweiler [2015-07-19 06:21:24] 635*2^1403524-1 is not prime. Res64: 88B472976FB164E5 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:21:24] 639*2^1403524-1 is not prime. Res64: 16B9E33280A6713D Time : 0.0 sec. user=mdettweiler [2015-07-19 06:21:28] 945*2^1403523-1 is not prime. Res64: C25C35AE66D535FF Time : 0.0 sec. user=mdettweiler [2015-07-19 06:21:29] 955*2^1403523-1 is not prime. Res64: 88C7E38D6A153A8F Time : 0.0 sec. user=mdettweiler [2015-07-19 06:21:43] 707*2^1403524-1 is not prime. Res64: 5F55B29A4C9BEF2E Time : 0.0 sec. user=mdettweiler [2015-07-19 06:21:43] 743*2^1403524-1 is not prime. Res64: A3186EAC69F01B53 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:25:53] 759*2^1403524-1 is not prime. Res64: 85A479603DAEA824 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:25:53] 783*2^1403524-1 is not prime. Res64: 6A6A25B249388E8F Time : 0.0 sec. user=mdettweiler [2015-07-19 06:39:03] 923*2^1403524-1 is not prime. Res64: DE48137B97359B05 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:39:03] 929*2^1403524-1 is not prime. Res64: CB1DF18F46C44207 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:39:04] 947*2^1403524-1 is not prime. Res64: 566CB128F6501EE9 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:39:04] 607*2^1403525-1 is not prime. Res64: A634A4201A41D60F Time : 0.0 sec. user=mdettweiler [2015-07-19 06:39:23] 657*2^1403525-1 is not prime. Res64: E855CE414E4D5041 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:39:23] 691*2^1403525-1 is not prime. Res64: A9652BA93D941739 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:43:35] 699*2^1403525-1 is not prime. Res64: CE8BDAB1D9B96937 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:43:36] 759*2^1403525-1 is not prime. Res64: BA8005A3279CD546 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:56:32] 855*2^1403525-1 is not prime. Res64: 082C41DA18F9B6C6 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:56:33] 991*2^1403525-1 is not prime. Res64: B5D968B826007AFD Time : 0.0 sec. user=mdettweiler [2015-07-19 06:56:38] 795*2^1403525-1 is not prime. Res64: 87D676DAC654B0DD Time : 0.0 sec. user=mdettweiler [2015-07-19 06:56:39] 847*2^1403525-1 is not prime. Res64: 9A3179D8C611C9F5 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:57:00] 683*2^1403526-1 is not prime. Res64: 5676603FED1D9906 Time : 0.0 sec. user=mdettweiler [2015-07-19 06:57:01] 705*2^1403526-1 is not prime. Res64: A3450F31615D9D54 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:01:13] 741*2^1403526-1 is not prime. Res64: 7E82C5754B51BA1A Time : 0.0 sec. user=mdettweiler [2015-07-19 07:01:13] 755*2^1403526-1 is not prime. Res64: 313B7842A3BF68B6 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:14:08] 815*2^1403526-1 is not prime. Res64: 18C3867ABA2D6EE6 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:14:09] 975*2^1403526-1 is not prime. Res64: E8F1BDAFB819CCEE Time : 0.0 sec. user=mdettweiler [2015-07-19 07:14:20] 601*2^1403527-1 is not prime. Res64: 467E27922166DF84 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:14:21] 603*2^1403527-1 is not prime. Res64: 9D36A50C746AB847 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:14:36] 619*2^1403527-1 is not prime. Res64: 1C5E0704C1AE996D Time : 0.0 sec. user=mdettweiler [2015-07-19 07:14:36] 645*2^1403527-1 is not prime. Res64: 303A59D4D317ABD2 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:18:50] 673*2^1403527-1 is not prime. Res64: 10BE9BD5EEB391D3 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:18:51] 715*2^1403527-1 is not prime. Res64: 21F627F739023D9D Time : 0.0 sec. user=mdettweiler [2015-07-19 07:31:48] 973*2^1403527-1 is not prime. Res64: 613D5497637BA888 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:31:48] 993*2^1403527-1 is not prime. Res64: 1E80318B431B6A98 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:31:55] 629*2^1403528-1 is not prime. Res64: B41C383A7AB126C2 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:31:55] 663*2^1403528-1 is not prime. Res64: 32220E22F970B7EE Time : 0.0 sec. user=mdettweiler [2015-07-19 07:32:14] 735*2^1403528-1 is not prime. Res64: 6E29DE9686299130 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:32:15] 797*2^1403528-1 is not prime. Res64: B3EB8C9BA2FAB69F Time : 0.0 sec. user=mdettweiler [2015-07-19 07:36:23] 815*2^1403528-1 is not prime. Res64: D6A2BF14DA5D3BDA Time : 0.0 sec. user=mdettweiler [2015-07-19 07:36:23] 843*2^1403528-1 is not prime. Res64: 4C8D6F84183F9236 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:49:21] 897*2^1403528-1 is not prime. Res64: EABB27A1F3F2667C Time : 0.0 sec. user=mdettweiler [2015-07-19 07:49:22] 977*2^1403528-1 is not prime. Res64: 7F5B843D59491AEA Time : 0.0 sec. user=mdettweiler [2015-07-19 07:49:27] 609*2^1403529-1 is not prime. Res64: 576D6819C824DA48 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:49:28] 679*2^1403529-1 is not prime. Res64: A6F1AB1F4576EA5F Time : 0.0 sec. user=mdettweiler [2015-07-19 07:49:52] 747*2^1403529-1 is not prime. Res64: 38C1568A9413DE84 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:49:52] 861*2^1403529-1 is not prime. Res64: EF3B20FA544E77FD Time : 0.0 sec. user=mdettweiler [2015-07-19 07:53:55] 645*2^1403530-1 is not prime. Res64: A7A698908A5489F8 Time : 0.0 sec. user=mdettweiler [2015-07-19 07:53:55] 675*2^1403530-1 is not prime. Res64: 1B52262F8D38DE3B Time : 0.0 sec. user=mdettweiler [2015-07-19 08:06:57] 677*2^1403530-1 is not prime. Res64: 5EC4744B3F48A862 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:06:58] 687*2^1403530-1 is not prime. Res64: 0E1EFBBC0B76CE78 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:07:09] 701*2^1403530-1 is not prime. Res64: A4486D6D26CC4CDC Time : 0.0 sec. user=mdettweiler [2015-07-19 08:07:09] 731*2^1403530-1 is not prime. Res64: C2542E4B51911E9B Time : 0.0 sec. user=mdettweiler [2015-07-19 08:07:26] 735*2^1403530-1 is not prime. Res64: 2012FD5410F3D199 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:07:26] 825*2^1403530-1 is not prime. Res64: 618535739512A26C Time : 0.0 sec. user=mdettweiler [2015-07-19 08:11:32] 831*2^1403530-1 is not prime. Res64: 2173394DB97705BD Time : 0.0 sec. user=mdettweiler [2015-07-19 08:11:32] 843*2^1403530-1 is not prime. Res64: 8934B70799544891 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:24:33] 857*2^1403530-1 is not prime. Res64: AF47EB3909C0BB37 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:24:33] 621*2^1403531-1 is not prime. Res64: 6769DBFB3F8977C7 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:24:45] 745*2^1403531-1 is not prime. Res64: 167807FB9A166AB3 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:24:46] 889*2^1403531-1 is not prime. Res64: BFAE08F64ABFBF07 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:25:03] 921*2^1403531-1 is not prime. Res64: D597DD15871D272B Time : 0.0 sec. user=mdettweiler [2015-07-19 08:25:04] 669*2^1403532-1 is not prime. Res64: C354EB694B5CDA65 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:29:09] 689*2^1403532-1 is not prime. Res64: AE0CBA3F5ADE067C Time : 0.0 sec. user=mdettweiler [2015-07-19 08:29:09] 819*2^1403532-1 is not prime. Res64: AA110F14FE0F6DEB Time : 0.0 sec. user=mdettweiler [2015-07-19 08:42:09] 887*2^1403532-1 is not prime. Res64: 0FD49A94282CD7D7 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:42:09] 923*2^1403532-1 is not prime. Res64: F50220D929F7D998 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:42:25] 929*2^1403532-1 is not prime. Res64: EE89F58A51AC871F Time : 0.0 sec. user=mdettweiler [2015-07-19 08:42:26] 935*2^1403532-1 is not prime. Res64: 3B85725D19C1B388 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:42:42] 801*2^1403533-1 is not prime. Res64: AE765ABDA76A07D8 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:42:43] 835*2^1403533-1 is not prime. Res64: 7246716D38E0BB10 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:46:57] 855*2^1403533-1 is not prime. Res64: F767211842A27C67 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:46:57] 889*2^1403533-1 is not prime. Res64: DFE460FF384A4380 Time : 0.0 sec. user=mdettweiler [2015-07-19 08:59:46] 615*2^1403534-1 is not prime. Res64: 8E49C11C4D14D66D Time : 0.0 sec. user=mdettweiler [2015-07-19 08:59:46] 705*2^1403534-1 is not prime. Res64: B0343B411DCA7A1A Time : 0.0 sec. user=mdettweiler [2015-07-19 09:00:15] 767*2^1403534-1 is not prime. Res64: EFC7A6BC8663C711 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:00:16] 773*2^1403534-1 is not prime. Res64: 2890671860D372A2 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:00:36] 795*2^1403534-1 is not prime. Res64: 87F9E8533CBD00F2 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:00:37] 813*2^1403534-1 is not prime. Res64: A2E0AD681729A368 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:04:48] 825*2^1403534-1 is not prime. Res64: F741B30FB877F347 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:04:50] 915*2^1403534-1 is not prime. Res64: B5E62129C8678F62 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:17:21] 669*2^1403535-1 is not prime. Res64: FBC34462F58E3CF5 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:17:21] 691*2^1403535-1 is not prime. Res64: 0467A98721D79388 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:17:51] 793*2^1403535-1 is not prime. Res64: 0AB08D3F2F3706D9 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:17:52] 805*2^1403535-1 is not prime. Res64: 8DEE016AA54749C6 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:18:18] 831*2^1403535-1 is not prime. Res64: D8CA53019BA86E4F Time : 0.0 sec. user=mdettweiler [2015-07-19 09:18:18] 873*2^1403535-1 is not prime. Res64: F475D6D45FEF2D31 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:22:33] 963*2^1403535-1 is not prime. Res64: 67956929A30B03C4 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:22:34] 985*2^1403535-1 is not prime. Res64: F79FD319EFF30D0D Time : 0.0 sec. user=mdettweiler [2015-07-19 09:35:08] 991*2^1403535-1 is not prime. Res64: A0CC47226B51B3E6 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:35:09] 875*2^1403536-1 is not prime. Res64: FE098B8D60716039 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:35:36] 927*2^1403536-1 is not prime. Res64: 3B36B88283507273 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:35:37] 965*2^1403536-1 is not prime. Res64: 5B3C28CF8E4D4A23 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:36:00] 993*2^1403536-1 is not prime. Res64: 374233FC067BF052 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:36:00] 627*2^1403537-1 is not prime. Res64: 1E439A877018E534 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:40:20] 699*2^1403537-1 is not prime. Res64: B9FC7BE3B4AA1F9E Time : 0.0 sec. user=mdettweiler [2015-07-19 09:40:21] 777*2^1403537-1 is not prime. Res64: AEAD4466EBB57E93 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:52:44] 909*2^1403537-1 is not prime. Res64: C7702C932D3FA003 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:52:44] 957*2^1403537-1 is not prime. Res64: 3877F131F32E7A9D Time : 0.0 sec. user=mdettweiler [2015-07-19 09:53:14] 755*2^1403538-1 is not prime. Res64: 4BC434EBC662C4C4 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:53:14] 801*2^1403538-1 is not prime. Res64: 24143371C126EF46 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:53:33] 945*2^1403538-1 is not prime. Res64: A6F417C2F6620AD5 Time : 0.0 sec. user=mdettweiler [2015-07-19 09:53:34] 609*2^1403539-1 is not prime. Res64: 6B7D1A23469BE5FA Time : 0.0 sec. user=mdettweiler [2015-07-19 09:57:53] 615*2^1403539-1 is not prime. Res64: CFD7F9CC8264A3DC Time : 0.0 sec. user=mdettweiler [2015-07-19 09:57:53] 675*2^1403539-1 is not prime. Res64: F1D566FC374C942E Time : 0.0 sec. user=mdettweiler [2015-07-19 10:10:18] 741*2^1403539-1 is not prime. Res64: AC7A9B20584BA71B Time : 0.0 sec. user=mdettweiler [2015-07-19 10:10:18] 843*2^1403539-1 is not prime. Res64: 1728C06B1E136BA0 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:10:50] 633*2^1403540-1 is not prime. Res64: 045F5BB4D5FA8815 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:10:51] 719*2^1403540-1 is not prime. Res64: 78B5ECF9C26CF6D3 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:11:03] 797*2^1403540-1 is not prime. Res64: CABFD55580A70F50 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:11:03] 959*2^1403540-1 is not prime. Res64: 3C48F925E3FEB0AB Time : 0.0 sec. user=mdettweiler [2015-07-19 10:15:23] 999*2^1403540-1 is not prime. Res64: 4665DE7D84F8AFAF Time : 0.0 sec. user=mdettweiler [2015-07-19 10:15:23] 615*2^1403541-1 is not prime. Res64: 02F1D18C74EBC58D Time : 0.0 sec. user=mdettweiler [2015-07-19 10:28:02] 621*2^1403541-1 is not prime. Res64: 9E30615603FF8223 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:28:02] 627*2^1403541-1 is not prime. Res64: 7D1794CD1E1A17CB Time : 0.0 sec. user=mdettweiler [2015-07-19 10:28:30] 681*2^1403541-1 is not prime. Res64: 499776A83845BDBA Time : 0.0 sec. user=mdettweiler [2015-07-19 10:28:30] 745*2^1403541-1 is not prime. Res64: 3D58BC3B0882FF08 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:28:45] 747*2^1403541-1 is not prime. Res64: E82127A2DDBB69B0 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:28:45] 805*2^1403541-1 is not prime. Res64: BFF88FEB75131A46 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:32:52] 825*2^1403541-1 is not prime. Res64: BC755E17C84157DA Time : 0.0 sec. user=mdettweiler [2015-07-19 10:32:52] 829*2^1403541-1 is not prime. Res64: A285BB1D08063748 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:45:37] 937*2^1403541-1 is not prime. Res64: B7EB381690C4629E Time : 0.0 sec. user=mdettweiler [2015-07-19 10:45:38] 975*2^1403541-1 is not prime. Res64: 236057687778DAE8 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:46:10] 997*2^1403541-1 is not prime. Res64: 7C04D6A62C13D454 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:46:11] 611*2^1403542-1 is not prime. Res64: 4282D782CA869EF5 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:46:22] 635*2^1403542-1 is not prime. Res64: 59A2BCA632BF124E Time : 0.0 sec. user=mdettweiler [2015-07-19 10:46:23] 713*2^1403542-1 is not prime. Res64: 508B0BF01D4EA230 Time : 0.0 sec. user=mdettweiler [2015-07-19 10:50:24] 723*2^1403542-1 is not prime. Res64: BBADB7D9EC06506E Time : 0.0 sec. user=mdettweiler [2015-07-19 10:50:24] 741*2^1403542-1 is not prime. Res64: 53E5CE97DF2B97B8 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:03:16] 815*2^1403542-1 is not prime. Res64: D56941631134B53B Time : 0.0 sec. user=mdettweiler [2015-07-19 11:03:17] 825*2^1403542-1 is not prime. Res64: FE3313BB2CD78DF5 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:03:47] 693*2^1403543-1 is not prime. Res64: E3EB847158D6362D Time : 0.0 sec. user=mdettweiler [2015-07-19 11:03:48] 703*2^1403543-1 is not prime. Res64: 67BA0893102605F6 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:04:03] 705*2^1403543-1 is not prime. Res64: 4ABC01335513A356 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:04:04] 721*2^1403543-1 is not prime. Res64: 716196E6E91A3CC7 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:08:01] 745*2^1403543-1 is not prime. Res64: C9F7E227389D9CA3 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:08:02] 861*2^1403543-1 is not prime. Res64: 6C45ECF83D5105FA Time : 0.0 sec. user=mdettweiler [2015-07-19 11:21:18] 895*2^1403543-1 is not prime. Res64: C4FCD0A11E0A0C8F Time : 0.0 sec. user=mdettweiler [2015-07-19 11:21:18] 663*2^1403544-1 is not prime. Res64: 3EDE32A046361C34 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:21:31] 667*2^1403545-1 is not prime. Res64: 69ED6DA804368CBB Time : 0.0 sec. user=mdettweiler [2015-07-19 11:21:31] 861*2^1403545-1 is not prime. Res64: E7F0970544D5EEB0 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:21:56] 885*2^1403545-1 is not prime. Res64: 00498402007398E9 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:21:56] 889*2^1403545-1 is not prime. Res64: 066A577ADD106DCF Time : 0.0 sec. user=mdettweiler [2015-07-19 11:25:47] 957*2^1403545-1 is not prime. Res64: DBD7271D1678B797 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:25:47] 645*2^1403546-1 is not prime. Res64: 6A26276887B9FA0D Time : 0.0 sec. user=mdettweiler [2015-07-19 11:39:02] 767*2^1403546-1 is not prime. Res64: A54D24A0FFD3AE1C Time : 0.0 sec. user=mdettweiler [2015-07-19 11:39:02] 783*2^1403546-1 is not prime. Res64: 103E70C87D35174A Time : 0.0 sec. user=mdettweiler [2015-07-19 11:39:12] 875*2^1403546-1 is not prime. Res64: 35888C6FA82A7A42 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:39:13] 941*2^1403546-1 is not prime. Res64: 36B1CE508814AE0E Time : 0.0 sec. user=mdettweiler [2015-07-19 11:39:40] 649*2^1403547-1 is not prime. Res64: DA516B7686F9E922 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:39:40] 859*2^1403547-1 is not prime. Res64: 6B788B5BBE44D7B4 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:43:24] 873*2^1403547-1 is not prime. Res64: 8202F2FDF2D62350 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:43:24] 919*2^1403547-1 is not prime. Res64: CC7B71CAC5B68C06 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:56:41] 931*2^1403547-1 is not prime. Res64: D32A5EEE1DADB1E2 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:56:41] 945*2^1403547-1 is not prime. Res64: 9EE87583D9F6FC4A Time : 0.0 sec. user=mdettweiler [2015-07-19 11:56:49] 617*2^1403548-1 is not prime. Res64: C954C01A51A597A4 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:56:50] 623*2^1403548-1 is not prime. Res64: ED3B736CC32D3D58 Time : 0.0 sec. user=mdettweiler [2015-07-19 11:57:16] 639*2^1403548-1 is not prime. Res64: A6133FEF9A80D25F Time : 0.0 sec. user=mdettweiler [2015-07-19 11:57:16] 735*2^1403548-1 is not prime. Res64: 62EE4647F771FAD0 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:00:59] 863*2^1403548-1 is not prime. Res64: DF7469D465F6C5CD Time : 0.0 sec. user=mdettweiler [2015-07-19 12:01:00] 869*2^1403548-1 is not prime. Res64: B2332C05D75FFA34 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:14:17] 875*2^1403548-1 is not prime. Res64: CF57140A30D15546 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:14:18] 887*2^1403548-1 is not prime. Res64: 5C48CFECC9B78484 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:14:24] 697*2^1403549-1 is not prime. Res64: BCBF98C5E749CBD0 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:14:24] 787*2^1403549-1 is not prime. Res64: 9FC1C8E67F93EBFD Time : 0.0 sec. user=mdettweiler [2015-07-19 12:14:57] 847*2^1403549-1 is not prime. Res64: AE58D9169DF93786 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:14:57] 985*2^1403549-1 is not prime. Res64: D67D018B8F2A2CB5 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:18:36] 611*2^1403550-1 is not prime. Res64: 9D9CE8576384405A Time : 0.0 sec. user=mdettweiler [2015-07-19 12:18:37] 641*2^1403550-1 is not prime. Res64: 89E77773D4CB18B7 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:31:56] 661*2^1403551-1 is not prime. Res64: 746579FC6424B167 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:31:57] 693*2^1403551-1 is not prime. Res64: CFFB3746F88F18DD Time : 0.0 sec. user=mdettweiler [2015-07-19 12:31:59] 677*2^1403550-1 is not prime. Res64: E23605D6B5024AF0 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:31:59] 713*2^1403550-1 is not prime. Res64: 0194CCB316FAB928 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:32:35] 759*2^1403551-1 is not prime. Res64: 5796F562E26D5A85 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:32:35] 829*2^1403551-1 is not prime. Res64: 3D0F7255A3EC3818 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:36:17] 859*2^1403551-1 is not prime. Res64: 4852196C7E5E5B21 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:36:17] 973*2^1403551-1 is not prime. Res64: 4CC726D6DD76AF94 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:49:28] 999*2^1403551-1 is not prime. Res64: 86289A4502F64E92 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:49:28] 615*2^1403552-1 is not prime. Res64: EC3EBA6858256C51 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:49:37] 617*2^1403552-1 is not prime. Res64: 9CDBA9BEC5FE9863 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:49:38] 629*2^1403552-1 is not prime. Res64: D9FCD076D4E2CBEB Time : 0.0 sec. user=mdettweiler [2015-07-19 12:50:13] 665*2^1403552-1 is not prime. Res64: ACFC34B70487183E Time : 0.0 sec. user=mdettweiler [2015-07-19 12:50:14] 767*2^1403552-1 is not prime. Res64: 83A43310C5B0F697 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:53:51] 875*2^1403552-1 is not prime. Res64: 2648ADF9C0109134 Time : 0.0 sec. user=mdettweiler [2015-07-19 12:53:51] 727*2^1403553-1 is not prime. Res64: DA1CDCCAF35AD60C Time : 0.0 sec. user=mdettweiler [2015-07-19 13:07:01] 741*2^1403553-1 is not prime. Res64: 77CC0E15C4161272 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:07:01] 949*2^1403553-1 is not prime. Res64: D9DB4B977DF5C770 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:07:09] 611*2^1403554-1 is not prime. Res64: C69574275BE64BD8 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:07:10] 731*2^1403554-1 is not prime. Res64: 9F58CB09DA8B8894 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:07:51] 803*2^1403554-1 is not prime. Res64: EB1D4179502976E9 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:07:52] 857*2^1403554-1 is not prime. Res64: B3E634A3D70433B9 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:11:27] 915*2^1403554-1 is not prime. Res64: ACCD6C7016B4E635 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:11:27] 609*2^1403555-1 is not prime. Res64: 60BE0B22A5E8C88B Time : 0.0 sec. user=mdettweiler [2015-07-19 13:24:42] 679*2^1403555-1 is not prime. Res64: F98F27AFE87FE2C4 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:24:43] 823*2^1403555-1 is not prime. Res64: 5ACF8784687A42AC Time : 0.0 sec. user=mdettweiler [2015-07-19 13:24:46] 825*2^1403555-1 is not prime. Res64: C708A13154736CA5 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:24:46] 871*2^1403555-1 is not prime. Res64: E18AB1DE1DEB1D18 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:25:29] 633*2^1403556-1 is not prime. Res64: 75EA0B0C085BC542 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:25:29] 825*2^1403556-1 is not prime. Res64: 165A5FC19B99EF7D Time : 0.0 sec. user=mdettweiler [2015-07-19 13:29:23] 837*2^1403556-1 is not prime. Res64: 19E87B4528BC9826 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:29:24] 903*2^1403556-1 is not prime. Res64: 16CF693EF420608F Time : 0.0 sec. user=mdettweiler [2015-07-19 13:42:51] 967*2^1403557-1 is not prime. Res64: 40EA4A4A61D05D8D Time : 0.0 sec. user=mdettweiler [2015-07-19 13:42:52] 605*2^1403558-1 is not prime. Res64: 845E75E8E6823BF2 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:42:54] 683*2^1403558-1 is not prime. Res64: 73B7845089121F7A Time : 0.0 sec. user=mdettweiler [2015-07-19 13:42:54] 771*2^1403558-1 is not prime. Res64: CC221DD5CC0E4ACA Time : 0.0 sec. user=mdettweiler [2015-07-19 13:43:35] 773*2^1403558-1 is not prime. Res64: B91B7B7F804A10E3 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:43:35] 827*2^1403558-1 is not prime. Res64: 2E44CE31E85F7A5C Time : 0.0 sec. user=mdettweiler [2015-07-19 13:47:29] 831*2^1403558-1 is not prime. Res64: 5853BC2392E356F2 Time : 0.0 sec. user=mdettweiler [2015-07-19 13:47:29] 971*2^1403558-1 is not prime. Res64: 6FB5212E05EB92D6 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:00:40] 977*2^1403558-1 is not prime. Res64: 454F6C693ABEAE10 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:00:41] 625*2^1403559-1 is not prime. Res64: 0D624943DD373D83 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:00:42] 639*2^1403559-1 is not prime. Res64: E9BFFB5CB4CD8D0A Time : 0.0 sec. user=mdettweiler [2015-07-19 14:00:43] 763*2^1403559-1 is not prime. Res64: CFF9FB9154CD2D5C Time : 0.0 sec. user=mdettweiler [2015-07-19 14:01:17] 829*2^1403559-1 is not prime. Res64: E0E117230DC6D9C7 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:01:18] 623*2^1403560-1 is not prime. Res64: E49AB0321CCB548A Time : 0.0 sec. user=mdettweiler [2015-07-19 14:05:11] 635*2^1403560-1 is not prime. Res64: 030DA80541892D13 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:05:12] 695*2^1403560-1 is not prime. Res64: 19A86F759617F81C Time : 0.0 sec. user=mdettweiler [2015-07-19 14:18:38] 819*2^1403560-1 is not prime. Res64: 94E6B1B2E230FC0A Time : 0.0 sec. user=mdettweiler [2015-07-19 14:18:39] 989*2^1403560-1 is not prime. Res64: 4384D09BF80CDD2A Time : 0.0 sec. user=mdettweiler [2015-07-19 14:18:44] 747*2^1403560-1 is not prime. Res64: 0899E4F945B22DD0 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:18:44] 813*2^1403560-1 is not prime. Res64: AB04B4E7A7340F9E Time : 0.0 sec. user=mdettweiler [2015-07-19 14:19:23] 607*2^1403561-1 is not prime. Res64: 38B7B16CC9BDD211 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:19:24] 627*2^1403561-1 is not prime. Res64: 0B92B844BDBC6B2D Time : 0.0 sec. user=mdettweiler [2015-07-19 14:23:17] 795*2^1403561-1 is not prime. Res64: D4935CC690610925 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:23:17] 885*2^1403561-1 is not prime. Res64: 50260FA65A6DA072 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:36:16] 939*2^1403561-1 is not prime. Res64: 19DC3423B744AC62 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:36:17] 731*2^1403562-1 is not prime. Res64: 99AE3710B3695E6D Time : 0.0 sec. user=mdettweiler [2015-07-19 14:36:26] 735*2^1403562-1 is not prime. Res64: C5B08DBBE84DCC38 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:36:27] 825*2^1403562-1 is not prime. Res64: 443E71A6A25CD1E1 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:37:04] 917*2^1403562-1 is not prime. Res64: 921B2EDBD8C7BEEA Time : 0.0 sec. user=mdettweiler [2015-07-19 14:37:04] 941*2^1403562-1 is not prime. Res64: 2A9B791D36A813A7 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:40:53] 685*2^1403563-1 is not prime. Res64: 080EFDA49F41DABF Time : 0.0 sec. user=mdettweiler [2015-07-19 14:40:54] 691*2^1403563-1 is not prime. Res64: BC0EBA6C41F65B82 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:53:53] 703*2^1403563-1 is not prime. Res64: E31467D1D0CA5A63 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:53:53] 813*2^1403563-1 is not prime. Res64: B6F22D8DD8E08CB1 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:54:04] 919*2^1403563-1 is not prime. Res64: 876B5FD5DC36981D Time : 0.0 sec. user=mdettweiler [2015-07-19 14:54:04] 961*2^1403563-1 is not prime. Res64: 8468464367AF9734 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:54:45] 617*2^1403564-1 is not prime. Res64: 04CA8302D8FCCE8B Time : 0.0 sec. user=mdettweiler [2015-07-19 14:54:45] 635*2^1403564-1 is not prime. Res64: E50BCD2BADC4D7E2 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:58:30] 683*2^1403564-1 is not prime. Res64: 37759AA88F6775C9 Time : 0.0 sec. user=mdettweiler [2015-07-19 14:58:30] 759*2^1403564-1 is not prime. Res64: 6DC9D1EEDAF14B7A Time : 0.0 sec. user=mdettweiler [2015-07-19 15:11:39] 789*2^1403564-1 is not prime. Res64: DA8CB4D2A8035B5B Time : 0.0 sec. user=mdettweiler [2015-07-19 15:11:39] 651*2^1403565-1 is not prime. Res64: D9B596F5CF7682E1 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:11:40] 699*2^1403565-1 is not prime. Res64: F2E5AC6875A7F641 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:11:40] 935*2^1403564-1 is not prime. Res64: BF6AAF3E8D89063B Time : 0.0 sec. user=mdettweiler [2015-07-19 15:12:20] 877*2^1403565-1 is not prime. Res64: E1F16987B5B1A0BF Time : 0.0 sec. user=mdettweiler [2015-07-19 15:12:21] 927*2^1403565-1 is not prime. Res64: 1CE9143FA995203F Time : 0.0 sec. user=mdettweiler [2015-07-19 15:16:10] 937*2^1403565-1 is not prime. Res64: 9E54A9360123121A Time : 0.0 sec. user=mdettweiler [2015-07-19 15:16:11] 611*2^1403566-1 is not prime. Res64: 6D1362D522FA869A Time : 0.0 sec. user=mdettweiler [2015-07-19 15:29:18] 705*2^1403566-1 is not prime. Res64: B63DEF6FC2523214 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:29:18] 773*2^1403566-1 is not prime. Res64: 6610A94B0E100735 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:29:27] 903*2^1403566-1 is not prime. Res64: BD0265B0B4DC8669 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:29:27] 947*2^1403566-1 is not prime. Res64: A4EE46CBDA475299 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:30:06] 603*2^1403567-1 is not prime. Res64: 1AF45055A1689D45 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:30:07] 663*2^1403567-1 is not prime. Res64: 758DF38371907A8F Time : 0.0 sec. user=mdettweiler [2015-07-19 15:33:53] 729*2^1403567-1 is not prime. Res64: 3D280A7BD805204D Time : 0.0 sec. user=mdettweiler [2015-07-19 15:33:53] 831*2^1403567-1 is not prime. Res64: B94FCAB449EBC4D8 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:47:03] 825*2^1403568-1 is not prime. Res64: 3CEDDAEC35F2DDE9 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:47:04] 887*2^1403568-1 is not prime. Res64: 257758820C110937 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:47:10] 899*2^1403568-1 is not prime. Res64: A77B0B5DB0FF4966 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:47:10] 923*2^1403568-1 is not prime. Res64: 393C71BB48B55E85 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:47:47] 999*2^1403568-1 is not prime. Res64: 7424A24E37B7BB18 Time : 0.0 sec. user=mdettweiler [2015-07-19 15:47:47] 667*2^1403569-1 is not prime. Res64: DAAF68D424213DFB Time : 0.0 sec. user=mdettweiler [2015-07-19 15:51:38] 721*2^1403569-1 is not prime. Res64: 61C88AB095B9E1DE Time : 0.0 sec. user=mdettweiler [2015-07-19 15:51:39] 807*2^1403569-1 is not prime. Res64: EF39FA28A7BAEE84 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:04:43] 835*2^1403569-1 is not prime. Res64: CB0AD6360EB8CA39 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:04:45] 635*2^1403570-1 is not prime. Res64: CD49801D952B0E86 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:04:55] 827*2^1403570-1 is not prime. Res64: A2D9F943E90AF372 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:04:57] 915*2^1403570-1 is not prime. Res64: 7C80184C67BD3592 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:05:20] 977*2^1403570-1 is not prime. Res64: 252EE7B86B8230C6 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:05:22] 609*2^1403571-1 is not prime. Res64: 54BD757D0EC9AC90 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:09:13] 709*2^1403571-1 is not prime. Res64: 564E203F008B268B Time : 0.0 sec. user=mdettweiler [2015-07-19 16:09:13] 723*2^1403571-1 is not prime. Res64: BAA036521A2EAC8E Time : 0.0 sec. user=mdettweiler [2015-07-19 16:22:42] 859*2^1403571-1 is not prime. Res64: 51D3DAA73E8C3A3A Time : 0.0 sec. user=mdettweiler [2015-07-19 16:22:43] 895*2^1403571-1 is not prime. Res64: D75F622D94F671EC Time : 0.0 sec. user=mdettweiler [2015-07-19 16:22:43] 801*2^1403571-1 is not prime. Res64: 304A138C3292266C Time : 0.0 sec. user=mdettweiler [2015-07-19 16:22:43] 945*2^1403571-1 is not prime. Res64: 281165B4EC15F433 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:22:59] 603*2^1403572-1 is not prime. Res64: 18A0C5AAA496B8BE Time : 0.0 sec. user=mdettweiler [2015-07-19 16:22:59] 615*2^1403572-1 is not prime. Res64: 4ED903B3E053BB5B Time : 0.0 sec. user=mdettweiler [2015-07-19 16:26:47] 813*2^1403572-1 is not prime. Res64: 0EFC7D9D642C5F37 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:26:48] 657*2^1403573-1 is not prime. Res64: 5A90C19A9F1B9879 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:40:21] 757*2^1403573-1 is not prime. Res64: 46FA98D27562C78F Time : 0.0 sec. user=mdettweiler [2015-07-19 16:40:22] 795*2^1403573-1 is not prime. Res64: 1E30290262290809 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:40:27] 675*2^1403573-1 is not prime. Res64: E4A21AC2CE311D65 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:40:27] 735*2^1403573-1 is not prime. Res64: D4B9695C7C529F5F Time : 0.0 sec. user=mdettweiler [2015-07-19 16:40:39] 985*2^1403573-1 is not prime. Res64: A651EE8767635271 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:40:40] 621*2^1403574-1 is not prime. Res64: 7323158D48F6FCD3 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:44:21] 765*2^1403574-1 is not prime. Res64: C527C0E152EA0404 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:44:22] 791*2^1403574-1 is not prime. Res64: F7CF9A9C86B48D28 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:57:56] 851*2^1403574-1 is not prime. Res64: C6D34EBEEDD503CF Time : 0.0 sec. user=mdettweiler [2015-07-19 16:57:57] 893*2^1403574-1 is not prime. Res64: 61E40497F5620A95 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:58:14] 645*2^1403575-1 is not prime. Res64: 74B65147D1CB38B6 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:58:14] 741*2^1403575-1 is not prime. Res64: A05160494B31CBAE Time : 0.0 sec. user=mdettweiler [2015-07-19 16:58:22] 841*2^1403575-1 is not prime. Res64: D6557859F3DA1BD1 Time : 0.0 sec. user=mdettweiler [2015-07-19 16:58:23] 853*2^1403575-1 is not prime. Res64: 6B4740E68B44C17C Time : 0.0 sec. user=mdettweiler [2015-07-19 17:01:54] 855*2^1403575-1 is not prime. Res64: E6D8BE92666C33BD Time : 0.0 sec. user=mdettweiler [2015-07-19 17:01:55] 669*2^1403576-1 is not prime. Res64: 06AE2B897C51AEA3 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:15:33] 683*2^1403576-1 is not prime. Res64: 4A8998AB3902F9EF Time : 0.0 sec. user=mdettweiler [2015-07-19 17:15:34] 773*2^1403576-1 is not prime. Res64: 5AB46B4435BE0F6D Time : 0.0 sec. user=mdettweiler [2015-07-19 17:15:59] 957*2^1403576-1 is not prime. Res64: FDAA21EA50A468F8 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:16:00] 609*2^1403577-1 is not prime. Res64: 7603EEB48D554211 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:16:02] 837*2^1403576-1 is not prime. Res64: B8E6FEBBADC33147 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:16:03] 867*2^1403576-1 is not prime. Res64: A22A929EFB2153D2 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:19:28] 639*2^1403577-1 is not prime. Res64: EF8D4836F0E91705 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:19:29] 699*2^1403577-1 is not prime. Res64: FB0DA5BBAC809D30 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:33:12] 741*2^1403577-1 is not prime. Res64: 6592A5A24DA457CE Time : 0.0 sec. user=mdettweiler [2015-07-19 17:33:13] 781*2^1403577-1 is not prime. Res64: B11E84E0DF317EF7 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:33:36] 915*2^1403577-1 is not prime. Res64: D87E9C6720FA897C Time : 0.0 sec. user=mdettweiler [2015-07-19 17:33:37] 611*2^1403578-1 is not prime. Res64: 0777A1487AFD300E Time : 0.0 sec. user=mdettweiler [2015-07-19 17:33:42] 635*2^1403578-1 is not prime. Res64: F4ECC31DD0BBB8FD Time : 0.0 sec. user=mdettweiler [2015-07-19 17:33:43] 765*2^1403578-1 is not prime. Res64: E29761061DCA03A7 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:37:05] 957*2^1403578-1 is not prime. Res64: DFEC8355650D7B83 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:37:05] 987*2^1403578-1 is not prime. Res64: A61468F4B5EE13B3 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:50:50] 621*2^1403579-1 is not prime. Res64: 6586CD7BF402D546 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:50:50] 711*2^1403579-1 is not prime. Res64: BC9C9569CBFEBB4A Time : 0.0 sec. user=mdettweiler [2015-07-19 17:51:12] 759*2^1403579-1 is not prime. Res64: 455AB6C90AEB1F6B Time : 0.0 sec. user=mdettweiler [2015-07-19 17:51:13] 861*2^1403579-1 is not prime. Res64: 32485DB5DF33FF24 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:51:24] 883*2^1403579-1 is not prime. Res64: 69B0914C707D84AF Time : 0.0 sec. user=mdettweiler [2015-07-19 17:51:25] 895*2^1403579-1 is not prime. Res64: E0D81B797176013D Time : 0.0 sec. user=mdettweiler [2015-07-19 17:54:40] 999*2^1403579-1 is not prime. Res64: FE68F8F03E3CF372 Time : 0.0 sec. user=mdettweiler [2015-07-19 17:54:40] 623*2^1403580-1 is not prime. Res64: 4DAB98EFA5B2CE65 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:08:31] 633*2^1403580-1 is not prime. Res64: D7597EB37CDA2A0E Time : 0.0 sec. user=mdettweiler [2015-07-19 18:08:32] 635*2^1403580-1 is not prime. Res64: E9851206544B2645 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:08:51] 647*2^1403580-1 is not prime. Res64: CC61B585D9EEE82D Time : 0.0 sec. user=mdettweiler [2015-07-19 18:08:52] 689*2^1403580-1 is not prime. Res64: F9573432E59EFC5B Time : 0.0 sec. user=mdettweiler [2015-07-19 18:08:59] 707*2^1403580-1 is not prime. Res64: 856A599BDDB9E54F Time : 0.0 sec. user=mdettweiler [2015-07-19 18:09:00] 723*2^1403580-1 is not prime. Res64: 8B15555E749804F3 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:12:18] 839*2^1403580-1 is not prime. Res64: EEB8529D87D90F8A Time : 0.0 sec. user=mdettweiler [2015-07-19 18:12:18] 875*2^1403580-1 is not prime. Res64: BF6AFEF1DB282AF4 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:26:07] 899*2^1403580-1 is not prime. Res64: 295E8B24C4F4B85C Time : 0.0 sec. user=mdettweiler [2015-07-19 18:26:08] 691*2^1403581-1 is not prime. Res64: BBE9ECB085597BD5 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:26:27] 747*2^1403581-1 is not prime. Res64: 8584DB01186A8095 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:26:28] 855*2^1403581-1 is not prime. Res64: 5DD1481879F7B3D2 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:26:36] 931*2^1403581-1 is not prime. Res64: 99AC14DFDC22CDEF Time : 0.0 sec. user=mdettweiler [2015-07-19 18:26:36] 951*2^1403581-1 is not prime. Res64: CE3D2E6A74A10E39 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:29:53] 651*2^1403582-1 is not prime. Res64: 25DDBA0E92C0BFCF Time : 0.0 sec. user=mdettweiler [2015-07-19 18:29:54] 665*2^1403582-1 is not prime. Res64: 36DC4B4F6123963C Time : 0.0 sec. user=mdettweiler [2015-07-19 18:43:51] 675*2^1403582-1 is not prime. Res64: 83B2C320F77E444A Time : 0.0 sec. user=mdettweiler [2015-07-19 18:43:51] 683*2^1403582-1 is not prime. Res64: 1ADA28DC75C7CCCF Time : 0.0 sec. user=mdettweiler [2015-07-19 18:44:11] 935*2^1403582-1 is not prime. Res64: DDD2CA1F979D0A78 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:44:11] 613*2^1403583-1 is not prime. Res64: 8F7BC6211E608018 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:44:13] 797*2^1403582-1 is not prime. Res64: 7C9886922FB72B87 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:44:13] 897*2^1403582-1 is not prime. Res64: 715BBDCA828E8AD0 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:47:25] 615*2^1403583-1 is not prime. Res64: 3BE13C42A63DD694 Time : 0.0 sec. user=mdettweiler [2015-07-19 18:47:25] 721*2^1403583-1 is not prime. Res64: 904DCB605B1687BF Time : 0.0 sec. user=mdettweiler [2015-07-19 19:01:28] 763*2^1403583-1 is not prime. Res64: 826FE3759264EDAE Time : 0.0 sec. user=mdettweiler [2015-07-19 19:01:29] 861*2^1403583-1 is not prime. Res64: E3D864C57191B2BF Time : 0.0 sec. user=mdettweiler [2015-07-19 19:01:45] 933*2^1403583-1 is not prime. Res64: 831F994A4706AD70 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:01:46] 623*2^1403584-1 is not prime. Res64: 64AC5188E98463B6 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:01:50] 863*2^1403584-1 is not prime. Res64: F08FC367F212F14E Time : 0.0 sec. user=mdettweiler [2015-07-19 19:01:51] 909*2^1403584-1 is not prime. Res64: 1A3E0263B7323F8F Time : 0.0 sec. user=mdettweiler [2015-07-19 19:04:59] 601*2^1403585-1 is not prime. Res64: A9C25FBF1E3D6EA7 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:05:01] 871*2^1403585-1 is not prime. Res64: 6ED48E31C17ACC40 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:19:26] 897*2^1403585-1 is not prime. Res64: 675DED87E583D090 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:19:27] 937*2^1403585-1 is not prime. Res64: B31958EB30C3242B Time : 0.0 sec. user=mdettweiler [2015-07-19 19:19:28] 695*2^1403586-1 is not prime. Res64: DE1000D4F3E1C7A9 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:19:28] 741*2^1403586-1 is not prime. Res64: 1EAA48021EFA2D93 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:19:38] 843*2^1403586-1 is not prime. Res64: 51032B4197AF7392 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:19:38] 851*2^1403586-1 is not prime. Res64: 92EF0D58FBA3A782 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:22:42] 873*2^1403586-1 is not prime. Res64: 1CBA78E55FF1BB83 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:22:42] 933*2^1403586-1 is not prime. Res64: 931B4AD54336CE6B Time : 0.0 sec. user=mdettweiler [2015-07-19 19:37:00] 609*2^1403587-1 is not prime. Res64: 94B53F4243BE4A34 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:37:01] 673*2^1403587-1 is not prime. Res64: 8FB7050DB9888670 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:37:01] 735*2^1403587-1 is not prime. Res64: 4934473C41427895 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:37:01] 843*2^1403587-1 is not prime. Res64: BB0FFD3475FBE615 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:37:09] 951*2^1403587-1 is not prime. Res64: A4546B1F2195120D Time : 0.0 sec. user=mdettweiler [2015-07-19 19:37:10] 659*2^1403588-1 is not prime. Res64: 05BFDF8FEE7AB4C6 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:40:16] 777*2^1403588-1 is not prime. Res64: BE9C3649C0CA2883 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:40:17] 795*2^1403588-1 is not prime. Res64: 81C3D8F37E9B67D7 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:54:33] 625*2^1403589-1 is not prime. Res64: 7518FF3B53EF8A3E Time : 0.0 sec. user=mdettweiler [2015-07-19 19:54:34] 681*2^1403589-1 is not prime. Res64: 54CE5F4D13CB99B4 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:54:35] 825*2^1403588-1 is not prime. Res64: A4343E7BD2DE3A89 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:54:35] 843*2^1403588-1 is not prime. Res64: F510423F06EDB420 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:54:53] 825*2^1403589-1 is not prime. Res64: 9D86A90725C6DEEE Time : 0.0 sec. user=mdettweiler [2015-07-19 19:54:53] 961*2^1403589-1 is not prime. Res64: 9E1051AA017A45CA Time : 0.0 sec. user=mdettweiler [2015-07-19 19:57:47] 647*2^1403590-1 is not prime. Res64: E75339D0062A1533 Time : 0.0 sec. user=mdettweiler [2015-07-19 19:57:48] 731*2^1403590-1 is not prime. Res64: AB2959432950C3AF Time : 0.0 sec. user=mdettweiler [2015-07-19 20:12:04] 831*2^1403590-1 is not prime. Res64: 2D0C78EB582F4FC8 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:12:04] 855*2^1403590-1 is not prime. Res64: 30FC60D345ECF664 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:12:08] 915*2^1403590-1 is not prime. Res64: BBF9DB6A62742702 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:12:09] 615*2^1403591-1 is not prime. Res64: 7F38FCABA5587D97 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:12:22] 883*2^1403591-1 is not prime. Res64: E6549A3A18BEB84C Time : 0.0 sec. user=mdettweiler [2015-07-19 20:12:22] 931*2^1403591-1 is not prime. Res64: 40E85D1B195861F2 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:15:23] 969*2^1403591-1 is not prime. Res64: A695E118D097416E Time : 0.0 sec. user=mdettweiler [2015-07-19 20:15:23] 605*2^1403592-1 is not prime. Res64: 9CF1F6FCB053315A Time : 0.0 sec. user=mdettweiler [2015-07-19 20:29:41] 765*2^1403592-1 is not prime. Res64: 26933C208E6F8EFA Time : 0.0 sec. user=mdettweiler [2015-07-19 20:29:42] 915*2^1403592-1 is not prime. Res64: 3601F9F514F8950C Time : 0.0 sec. user=mdettweiler [2015-07-19 20:29:42] 849*2^1403592-1 is not prime. Res64: 2499FD5F5BDC39C2 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:29:42] 945*2^1403592-1 is not prime. Res64: 231A2CE952F71D89 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:30:00] 977*2^1403592-1 is not prime. Res64: 314E9DCE662278F6 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:30:00] 625*2^1403593-1 is not prime. Res64: 5493D0B11FCC59B1 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:32:58] 861*2^1403593-1 is not prime. Res64: CC1BE2F636FD309B Time : 0.0 sec. user=mdettweiler [2015-07-19 20:32:59] 797*2^1403594-1 is not prime. Res64: E4D0F0F4504B8369 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:47:15] 741*2^1403595-1 is not prime. Res64: 004E0BEED0C673D3 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:47:16] 751*2^1403595-1 is not prime. Res64: 9FACC395B2DE1243 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:47:19] 981*2^1403594-1 is not prime. Res64: 1FAD8EA83C11C6E0 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:47:19] 685*2^1403595-1 is not prime. Res64: 19108C8C8D3FEE62 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:47:41] 819*2^1403595-1 is not prime. Res64: 551402449D3965DC Time : 0.0 sec. user=mdettweiler [2015-07-19 20:47:41] 859*2^1403595-1 is not prime. Res64: B74CC030F4BDAC88 Time : 0.0 sec. user=mdettweiler [2015-07-19 20:50:33] 861*2^1403595-1 is not prime. Res64: 6CFF6AA73059A35A Time : 0.0 sec. user=mdettweiler [2015-07-19 20:50:34] 895*2^1403595-1 is not prime. Res64: 0D19613FF1AF9F5A Time : 0.0 sec. user=mdettweiler [2015-07-19 21:04:52] 903*2^1403595-1 is not prime. Res64: 904F2D2DC3A6BE79 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:04:53] 921*2^1403595-1 is not prime. Res64: F1BD9C855D5DCF55 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:04:57] 609*2^1403596-1 is not prime. Res64: 8BAFA892C9BF32BB Time : 0.0 sec. user=mdettweiler [2015-07-19 21:04:58] 677*2^1403596-1 is not prime. Res64: ACE6D1630027F9C6 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:05:18] 755*2^1403596-1 is not prime. Res64: DF8D1BB3426B59A7 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:05:19] 773*2^1403596-1 is not prime. Res64: 039C1CE77E332147 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:08:08] 777*2^1403596-1 is not prime. Res64: BE7BD6296985C68D Time : 0.0 sec. user=mdettweiler [2015-07-19 21:08:08] 939*2^1403596-1 is not prime. Res64: 19F104FF0B831CDE Time : 0.0 sec. user=mdettweiler [2015-07-19 21:23:01] 987*2^1403596-1 is not prime. Res64: 0963088237D32DE4 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:23:02] 999*2^1403596-1 is not prime. Res64: 5D6095EC7B043218 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:23:04] 615*2^1403597-1 is not prime. Res64: 35DD989BC3F50578 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:23:05] 741*2^1403597-1 is not prime. Res64: 25D298A10BDF3CA1 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:23:21] 771*2^1403597-1 is not prime. Res64: 3E1D9EE5A76125F1 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:23:21] 939*2^1403597-1 is not prime. Res64: 22BCF93FC6DC8E0E Time : 0.0 sec. user=mdettweiler [2015-07-19 21:26:20] 949*2^1403597-1 is not prime. Res64: C6237A88FA80F38A Time : 0.0 sec. user=mdettweiler [2015-07-19 21:26:21] 635*2^1403598-1 is not prime. Res64: 106B0CFD42A5BA7B Time : 0.0 sec. user=mdettweiler [2015-07-19 21:42:47] 683*2^1403598-1 is not prime. Res64: AD7D577AAA995B07 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:42:48] 725*2^1403598-1 is not prime. Res64: 00CBB87A477146A4 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:42:58] 875*2^1403598-1 is not prime. Res64: D564018836D4B518 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:42:58] 609*2^1403599-1 is not prime. Res64: 93B822ACB242FEB6 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:43:04] 619*2^1403599-1 is not prime. Res64: 78C9146E5D7754F0 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:43:05] 793*2^1403599-1 is not prime. Res64: 6D84BD06E2E784B0 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:46:28] 959*2^1403600-1 is not prime. Res64: 4E5EBEAD33BF74F1 Time : 0.0 sec. user=mdettweiler [2015-07-19 21:46:28] 681*2^1403601-1 is not prime. Res64: F88D0B71499422E5 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:01:40] 717*2^1403601-1 is not prime. Res64: D55718EC77F10659 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:01:40] 819*2^1403601-1 is not prime. Res64: FF64990DBEFC5362 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:01:48] 945*2^1403601-1 is not prime. Res64: F587540CD81AEFA8 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:01:48] 949*2^1403601-1 is not prime. Res64: 0568167018BC389B Time : 0.0 sec. user=mdettweiler [2015-07-19 22:02:07] 951*2^1403601-1 is not prime. Res64: 7504820FC4A6D46B Time : 0.0 sec. user=mdettweiler [2015-07-19 22:02:08] 987*2^1403601-1 is not prime. Res64: EA4DE672DFB24D51 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:05:15] 991*2^1403601-1 is not prime. Res64: 811D183896900B22 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:05:16] 603*2^1403602-1 is not prime. Res64: FB53DB07A5E11590 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:20:20] 621*2^1403602-1 is not prime. Res64: 46544E9FC6CF8A67 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:20:20] 747*2^1403602-1 is not prime. Res64: 29F3BF17DE3F73F2 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:20:23] 777*2^1403602-1 is not prime. Res64: 0B702636C6673EA2 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:20:24] 885*2^1403602-1 is not prime. Res64: DB333359579CBA2C Time : 0.0 sec. user=mdettweiler [2015-07-19 22:20:36] 887*2^1403602-1 is not prime. Res64: 4714C39DB4CE0085 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:20:36] 891*2^1403602-1 is not prime. Res64: 27A7FE6020D4E607 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:23:53] 951*2^1403602-1 is not prime. Res64: 19AFB30AF001B25B Time : 0.0 sec. user=mdettweiler [2015-07-19 22:23:54] 1001*2^1403602-1 is not prime. Res64: C7E75B3EA998D08A Time : 0.0 sec. user=mdettweiler [2015-07-19 22:39:01] 619*2^1403603-1 is not prime. Res64: 2CFC9ED9B933AB73 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:39:01] 675*2^1403603-1 is not prime. Res64: BD23A1F9FED18B64 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:39:09] 699*2^1403603-1 is not prime. Res64: 612B40CD3910FBCA Time : 0.0 sec. user=mdettweiler [2015-07-19 22:39:10] 861*2^1403603-1 is not prime. Res64: 6C78F1E5ADA5A4D6 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:39:30] 885*2^1403603-1 is not prime. Res64: 9C6E55D6801C33DC Time : 0.0 sec. user=mdettweiler [2015-07-19 22:39:31] 693*2^1403604-1 is not prime. Res64: 420F5DE9506AE03F Time : 0.0 sec. user=mdettweiler [2015-07-19 22:42:40] 699*2^1403604-1 is not prime. Res64: BB0D97F22392E40F Time : 0.0 sec. user=mdettweiler [2015-07-19 22:42:40] 717*2^1403605-1 is not prime. Res64: AD0A3DE8D25DAEA1 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:57:24] 985*2^1403605-1 is not prime. Res64: 7EB23893D986B10C Time : 0.0 sec. user=mdettweiler [2015-07-19 22:57:24] 987*2^1403605-1 is not prime. Res64: A8346AA817FCE850 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:57:34] 721*2^1403605-1 is not prime. Res64: 66F970C290D8D214 Time : 0.0 sec. user=mdettweiler [2015-07-19 22:57:34] 867*2^1403605-1 is not prime. Res64: 018F0FBC7B45571A Time : 0.0 sec. user=mdettweiler [2015-07-19 22:58:00] 617*2^1403606-1 is not prime. Res64: 5A5D2562F09DBD3A Time : 0.0 sec. user=mdettweiler [2015-07-19 22:58:00] 677*2^1403606-1 is not prime. Res64: B61C9D6165CF4D04 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:01:12] 683*2^1403606-1 is not prime. Res64: 96C09C38AA055128 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:01:13] 705*2^1403606-1 is not prime. Res64: 9BE8303F622AAF06 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:16:18] 741*2^1403606-1 is not prime. Res64: 2B4D69BB1930F3D5 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:16:18] 911*2^1403606-1 is not prime. Res64: 3DF22D8A919E84AD Time : 0.0 sec. user=mdettweiler [2015-07-19 23:16:39] 945*2^1403606-1 is not prime. Res64: 58BDBD0C7F89F3DE Time : 0.0 sec. user=mdettweiler [2015-07-19 23:16:39] 703*2^1403607-1 is not prime. Res64: CD71BCF02FA9992F Time : 0.0 sec. user=mdettweiler [2015-07-19 23:16:54] 985*2^1403607-1 is not prime. Res64: 008B65FDDAB4B1F7 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:16:54] 617*2^1403608-1 is not prime. Res64: 253E83E4566A6580 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:20:06] 635*2^1403608-1 is not prime. Res64: 9AA20CC5152AA7CD Time : 0.0 sec. user=mdettweiler [2015-07-19 23:20:06] 645*2^1403608-1 is not prime. Res64: 27698B64C8ED6421 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:35:04] 707*2^1403608-1 is not prime. Res64: 6B3B259BF8097A5A Time : 0.0 sec. user=mdettweiler [2015-07-19 23:35:05] 713*2^1403608-1 is not prime. Res64: 7E97C78BCCD961CE Time : 0.0 sec. user=mdettweiler [2015-07-19 23:35:15] 869*2^1403608-1 is not prime. Res64: E12C7CE25D87F7B6 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:35:15] 909*2^1403608-1 is not prime. Res64: 98FF304482F447D7 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:35:40] 957*2^1403608-1 is not prime. Res64: 8129F4C435A6F503 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:35:40] 993*2^1403608-1 is not prime. Res64: 04F10DA5E8BBE0BA Time : 0.0 sec. user=mdettweiler [2015-07-19 23:38:40] 691*2^1403609-1 is not prime. Res64: 3C48EE2955013FF2 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:38:40] 957*2^1403609-1 is not prime. Res64: B1C42D444DA908AE Time : 0.0 sec. user=mdettweiler [2015-07-19 23:53:47] 875*2^1403610-1 is not prime. Res64: B969CD2BB341D46C Time : 0.0 sec. user=mdettweiler [2015-07-19 23:53:47] 615*2^1403611-1 is not prime. Res64: 9527DA36867B7331 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:53:53] 647*2^1403610-1 is not prime. Res64: 65CA9355D7F5BFD4 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:53:53] 717*2^1403610-1 is not prime. Res64: F34124D0C47EE7AB Time : 0.0 sec. user=mdettweiler [2015-07-19 23:54:35] 619*2^1403611-1 is not prime. Res64: D52E35EB1092D91B Time : 0.0 sec. user=mdettweiler [2015-07-19 23:54:36] 651*2^1403611-1 is not prime. Res64: 59B087462851939C Time : 0.0 sec. user=mdettweiler [2015-07-19 23:57:28] 771*2^1403611-1 is not prime. Res64: 1F500E229425ACB9 Time : 0.0 sec. user=mdettweiler [2015-07-19 23:57:29] 849*2^1403611-1 is not prime. Res64: DFFDADA3B349F302 Time : 0.0 sec.