user=mdettweiler [2015-06-27 00:03:22] 633*2^1401487-1 is not prime. Res64: 5F9CB45217CBDBEB Time : 0.0 sec. user=mdettweiler [2015-06-27 00:03:23] 675*2^1401487-1 is not prime. Res64: 392AD37E705420C7 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:03:25] 681*2^1401487-1 is not prime. Res64: CA2752BE4068F372 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:03:26] 843*2^1401487-1 is not prime. Res64: 8D5C443CBB137BBB Time : 0.0 sec. user=mdettweiler [2015-06-27 00:10:12] 861*2^1401487-1 is not prime. Res64: 5C38763AF900EC1C Time : 0.0 sec. user=mdettweiler [2015-06-27 00:10:13] 885*2^1401487-1 is not prime. Res64: 77D3C3956BF6A191 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:20:45] 909*2^1401487-1 is not prime. Res64: AD27F2EF31A21208 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:20:45] 915*2^1401487-1 is not prime. Res64: 5E946317A523EDEB Time : 0.0 sec. user=mdettweiler [2015-06-27 00:20:51] 979*2^1401487-1 is not prime. Res64: 272785D9A5DC899E Time : 0.0 sec. user=mdettweiler [2015-06-27 00:20:52] 623*2^1401488-1 is not prime. Res64: E0B2CB688A495C1B Time : 0.0 sec. user=juhehe [2015-06-27 00:26:45] 619*2^1401487-1 is not prime. Res64: 91F327FA00FA9DA4 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:27:40] 665*2^1401488-1 is not prime. Res64: B48147DC404DBDDA Time : 0.0 sec. user=mdettweiler [2015-06-27 00:27:41] 689*2^1401488-1 is not prime. Res64: DFFDA01B937476FF Time : 0.0 sec. user=mdettweiler [2015-06-27 00:38:06] 855*2^1401488-1 is not prime. Res64: B6FC13606BDFDC44 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:38:07] 879*2^1401488-1 is not prime. Res64: CF6D41DBE111405C Time : 0.0 sec. user=mdettweiler [2015-06-27 00:38:11] 945*2^1401488-1 is not prime. Res64: 565753774860A432 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:38:12] 963*2^1401488-1 is not prime. Res64: 00B129CD2900428E Time : 0.0 sec. user=mdettweiler [2015-06-27 00:45:06] 795*2^1401489-1 is not prime. Res64: A5973679D6088592 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:45:06] 837*2^1401489-1 is not prime. Res64: DFBFA63DEDBAE29D Time : 0.0 sec. user=mdettweiler [2015-06-27 00:55:28] 907*2^1401489-1 is not prime. Res64: 8D023C5E51D3B353 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:55:29] 921*2^1401489-1 is not prime. Res64: CB2779666ABC5E49 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:55:32] 623*2^1401490-1 is not prime. Res64: 17D1F84BA0CC6320 Time : 0.0 sec. user=mdettweiler [2015-06-27 00:55:33] 677*2^1401490-1 is not prime. Res64: 5D5FC6F529953AA7 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:02:28] 687*2^1401490-1 is not prime. Res64: 70D74BD577016AD6 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:02:32] 833*2^1401490-1 is not prime. Res64: 054E728A45EFFB74 Time : 0.0 sec. user=juhehe [2015-06-27 01:08:54] 669*2^1401489-1 is not prime. Res64: A2F0DF1895FEEF98 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:12:49] 843*2^1401490-1 is not prime. Res64: DD44A142086550E7 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:12:49] 861*2^1401490-1 is not prime. Res64: E93AEA3FF0E99832 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:12:53] 945*2^1401490-1 is not prime. Res64: 3855359BBC07C726 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:12:53] 615*2^1401491-1 is not prime. Res64: A539F74D5407523C Time : 0.0 sec. user=mdettweiler [2015-06-27 01:20:07] 621*2^1401491-1 is not prime. Res64: 8826D7AEDAC16EEC Time : 0.0 sec. user=mdettweiler [2015-06-27 01:20:07] 643*2^1401491-1 is not prime. Res64: 8D0D2FA75B90F0B0 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:30:14] 715*2^1401491-1 is not prime. Res64: E692D119F2CECBB0 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:30:14] 883*2^1401491-1 is not prime. Res64: F4F26428C755D179 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:30:21] 841*2^1401491-1 is not prime. Res64: BC740D4819919DB0 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:30:21] 939*2^1401491-1 is not prime. Res64: C107A1D2BCFF5882 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:37:27] 955*2^1401491-1 is not prime. Res64: 3DA7BA932ACA113D Time : 0.0 sec. user=mdettweiler [2015-06-27 01:37:28] 973*2^1401491-1 is not prime. Res64: 14AB5EBFB56066DE Time : 0.0 sec. user=mdettweiler [2015-06-27 01:48:16] 695*2^1401492-1 is not prime. Res64: FF5AA429B1170C64 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:48:16] 723*2^1401492-1 is not prime. Res64: 813224A50F30507E Time : 0.0 sec. user=mdettweiler [2015-06-27 01:48:16] 753*2^1401492-1 is not prime. Res64: E50390C791CAF6F3 Time : 0.0 sec. user=mdettweiler [2015-06-27 01:48:17] 797*2^1401492-1 is not prime. Res64: 870BB2582C7AB3EA Time : 0.0 sec. user=mdettweiler [2015-06-27 01:54:50] 909*2^1401492-1 is not prime. Res64: 524C349CB2BD988A Time : 0.0 sec. user=mdettweiler [2015-06-27 01:54:50] 923*2^1401492-1 is not prime. Res64: CE2E0981B77C7BA1 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:05:36] 789*2^1401493-1 is not prime. Res64: 2593F9BCEF6A486E Time : 0.0 sec. user=mdettweiler [2015-06-27 02:05:37] 983*2^1401492-1 is not prime. Res64: AC161384ED48EF09 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:05:38] 801*2^1401493-1 is not prime. Res64: 7C8BD5F1B9ACDEB0 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:05:38] 715*2^1401493-1 is not prime. Res64: 98957C990E5AAEE2 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:12:11] 663*2^1401494-1 is not prime. Res64: 96EFCDB093991604 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:12:12] 773*2^1401494-1 is not prime. Res64: 2BFE7C76EBFAC887 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:23:08] 709*2^1401495-1 is not prime. Res64: BDE58E39B7BA9EE2 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:23:08] 763*2^1401495-1 is not prime. Res64: D8D56C3183AB543B Time : 0.0 sec. user=mdettweiler [2015-06-27 02:23:10] 935*2^1401494-1 is not prime. Res64: 492AE52679CF388A Time : 0.0 sec. user=mdettweiler [2015-06-27 02:23:10] 613*2^1401495-1 is not prime. Res64: 6955D9634FC7401C Time : 0.0 sec. user=juhehe [2015-06-27 02:27:50] 855*2^1401493-1 is not prime. Res64: F53D8CDE42AAABE2 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:29:33] 795*2^1401495-1 is not prime. Res64: FF9E640D8630CA79 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:29:34] 865*2^1401495-1 is not prime. Res64: 8D7DF34EFE521A90 Time : 0.0 sec. user=S_K_ [2015-06-27 02:30:21] 617*2^1401494-1 is not prime. Res64: FACB96391ECA0EEC Time : 0.0 sec. user=mdettweiler [2015-06-27 02:40:31] 609*2^1401496-1 is not prime. Res64: C0B935D017A614FB Time : 0.0 sec. user=mdettweiler [2015-06-27 02:40:31] 921*2^1401495-1 is not prime. Res64: 4B33BFB69F88DAE7 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:40:31] 705*2^1401496-1 is not prime. Res64: D3FD977CCDA55400 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:40:31] 979*2^1401495-1 is not prime. Res64: 9B8AA0EFBC413649 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:47:07] 803*2^1401496-1 is not prime. Res64: F3E19F0E91125CD7 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:47:07] 845*2^1401496-1 is not prime. Res64: BD8A4CF74F72E8D9 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:58:04] 903*2^1401496-1 is not prime. Res64: F27570C69367FF94 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:58:05] 615*2^1401497-1 is not prime. Res64: D037DAE7BDBD6669 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:58:05] 631*2^1401497-1 is not prime. Res64: 0DDB9DD1F5B43238 Time : 0.0 sec. user=mdettweiler [2015-06-27 02:58:05] 645*2^1401497-1 is not prime. Res64: C027E1341C7ED346 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:04:31] 669*2^1401497-1 is not prime. Res64: 379F41D94CAEC434 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:04:32] 799*2^1401497-1 is not prime. Res64: B5AE80AF17520555 Time : 0.0 sec. user=S_K_ [2015-06-27 03:07:28] 855*2^1401496-1 is not prime. Res64: 9CE338E585EC50AE Time : 0.0 sec. user=mdettweiler [2015-06-27 03:15:23] 915*2^1401497-1 is not prime. Res64: B47378C0A6A86655 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:15:24] 949*2^1401497-1 is not prime. Res64: 51C930EB2D234F54 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:15:24] 985*2^1401497-1 is not prime. Res64: F3C2E3CEB9B73479 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:15:25] 671*2^1401498-1 is not prime. Res64: 7AFF117A7F107226 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:21:52] 707*2^1401498-1 is not prime. Res64: 4FFED4516B7EF93D Time : 0.0 sec. user=mdettweiler [2015-06-27 03:21:53] 747*2^1401498-1 is not prime. Res64: 163899EED7691894 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:32:52] 813*2^1401499-1 is not prime. Res64: 956A43BE39A893CF Time : 0.0 sec. user=mdettweiler [2015-06-27 03:32:54] 835*2^1401499-1 is not prime. Res64: 9C613AC4C134E4B7 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:32:55] 755*2^1401498-1 is not prime. Res64: B9862E0FA82B8981 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:32:55] 821*2^1401498-1 is not prime. Res64: 196FD5D40146041B Time : 0.0 sec. user=mdettweiler [2015-06-27 03:39:11] 841*2^1401499-1 is not prime. Res64: AC618D252315717B Time : 0.0 sec. user=mdettweiler [2015-06-27 03:39:13] 861*2^1401499-1 is not prime. Res64: 7338433118E3F59C Time : 0.0 sec. user=mdettweiler [2015-06-27 03:50:31] 931*2^1401499-1 is not prime. Res64: 33BB1CF08AF63C3D Time : 0.0 sec. user=mdettweiler [2015-06-27 03:50:32] 961*2^1401499-1 is not prime. Res64: E16219D992220A94 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:50:33] 665*2^1401500-1 is not prime. Res64: 605717A5E8A7CBFF Time : 0.0 sec. user=mdettweiler [2015-06-27 03:50:34] 753*2^1401500-1 is not prime. Res64: 0073DA89F47CDF0C Time : 0.0 sec. user=mdettweiler [2015-06-27 03:56:45] 797*2^1401500-1 is not prime. Res64: 83175952394A43E6 Time : 0.0 sec. user=mdettweiler [2015-06-27 03:56:46] 827*2^1401500-1 is not prime. Res64: 6E02CAD9A06B6A6A Time : 0.0 sec. user=mdettweiler [2015-06-27 04:08:12] 855*2^1401500-1 is not prime. Res64: 3CB76757403375F2 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:08:13] 875*2^1401500-1 is not prime. Res64: EAFE1E05046EC58D Time : 0.0 sec. user=mdettweiler [2015-06-27 04:08:16] 929*2^1401500-1 is not prime. Res64: 5DC1CC2C6389971E Time : 0.0 sec. user=mdettweiler [2015-06-27 04:08:17] 963*2^1401500-1 is not prime. Res64: 8B5CAB442243307B Time : 0.0 sec. user=mdettweiler [2015-06-27 04:14:07] 871*2^1401501-1 is not prime. Res64: 87CC61D258DDF4D7 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:14:07] 885*2^1401501-1 is not prime. Res64: B353AF2ECC42A029 Time : 0.0 sec. user=S_K_ [2015-06-27 04:22:57] 843*2^1401500-1 is not prime. Res64: 1C0116DDDC2AA954 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:25:35] 921*2^1401501-1 is not prime. Res64: 74FF0BF87A9A6557 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:25:35] 991*2^1401501-1 is not prime. Res64: 563222C770A6F8E9 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:25:36] 603*2^1401502-1 is not prime. Res64: 2392366A8A05C659 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:25:36] 681*2^1401502-1 is not prime. Res64: 70244BB8F35AFB98 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:31:26] 695*2^1401502-1 is not prime. Res64: B7EEBA3912DE1412 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:31:27] 737*2^1401502-1 is not prime. Res64: AFFA8A5252E724CE Time : 0.0 sec. user=juhehe [2015-06-27 04:34:58] 999*2^1401500-1 is not prime. Res64: 995CCD39BA899F61 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:42:55] 945*2^1401502-1 is not prime. Res64: 7E0FB6F788ACFD4A Time : 0.0 sec. user=mdettweiler [2015-06-27 04:42:56] 765*2^1401502-1 is not prime. Res64: 6C625654287EBAD5 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:42:56] 957*2^1401502-1 is not prime. Res64: E4A0B5BE57B962C9 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:42:56] 813*2^1401502-1 is not prime. Res64: 555E0DE482E8F914 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:48:47] 775*2^1401503-1 is not prime. Res64: 85C2112D4A685E64 Time : 0.0 sec. user=mdettweiler [2015-06-27 04:48:47] 783*2^1401503-1 is not prime. Res64: ACD2F84FBF3CFADF Time : 0.0 sec. user=mdettweiler [2015-06-27 05:00:14] 615*2^1401504-1 is not prime. Res64: B17C46F774F50D73 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:00:15] 683*2^1401504-1 is not prime. Res64: D6B6FC31E77BF0DE Time : 0.0 sec. user=mdettweiler [2015-06-27 05:00:16] 859*2^1401503-1 is not prime. Res64: 8DC98CDADB461EBA Time : 0.0 sec. user=mdettweiler [2015-06-27 05:00:17] 963*2^1401503-1 is not prime. Res64: 07D0BA12F261D89D Time : 0.0 sec. user=mdettweiler [2015-06-27 05:06:05] 693*2^1401504-1 is not prime. Res64: 00F2BA21A2C9B545 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:06:06] 759*2^1401504-1 is not prime. Res64: 903A9AF8BCD488F1 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:17:35] 893*2^1401504-1 is not prime. Res64: 0577BC416565B622 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:17:35] 927*2^1401504-1 is not prime. Res64: CFC1FF326C5C82F5 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:17:35] 917*2^1401504-1 is not prime. Res64: B4F0DF12634FD671 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:17:36] 959*2^1401504-1 is not prime. Res64: 82686F5461DD9D27 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:23:31] 741*2^1401505-1 is not prime. Res64: 97C63F807FDC4E71 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:23:31] 841*2^1401505-1 is not prime. Res64: E1D48E16512CF0DF Time : 0.0 sec. user=mdettweiler [2015-06-27 05:34:54] 951*2^1401505-1 is not prime. Res64: CAB74D6B891C460E Time : 0.0 sec. user=mdettweiler [2015-06-27 05:34:54] 633*2^1401506-1 is not prime. Res64: 17B60AEB867E68CB Time : 0.0 sec. user=mdettweiler [2015-06-27 05:34:58] 671*2^1401506-1 is not prime. Res64: A111C6B7CE48D333 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:34:59] 755*2^1401506-1 is not prime. Res64: 3609E29577526642 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:40:50] 833*2^1401506-1 is not prime. Res64: CD7B349DB7B13BA9 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:40:51] 921*2^1401506-1 is not prime. Res64: 73E1B7D946235438 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:52:14] 923*2^1401506-1 is not prime. Res64: 1B22A2A5388E3655 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:52:15] 651*2^1401507-1 is not prime. Res64: 5B6882C9A087C7FF Time : 0.0 sec. user=mdettweiler [2015-06-27 05:52:19] 669*2^1401507-1 is not prime. Res64: ABD4D267EA3735EB Time : 0.0 sec. user=mdettweiler [2015-06-27 05:52:19] 753*2^1401507-1 is not prime. Res64: D398E8F4D35E68F9 Time : 0.0 sec. user=mdettweiler [2015-06-27 05:58:10] 801*2^1401507-1 is not prime. Res64: 668809CFCB81429B Time : 0.0 sec. user=mdettweiler [2015-06-27 05:58:10] 829*2^1401507-1 is not prime. Res64: 4CE1052A79DAEBF6 Time : 0.0 sec. user=juhehe [2015-06-27 06:03:03] 827*2^1401506-1 is not prime. Res64: 0DDE4B1AABAE79D2 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:09:33] 635*2^1401508-1 is not prime. Res64: 718ED72D34744735 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:09:33] 749*2^1401508-1 is not prime. Res64: 44C28F98A5CE07B5 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:09:38] 797*2^1401508-1 is not prime. Res64: 5967D02C2232D823 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:09:38] 813*2^1401508-1 is not prime. Res64: 95E39F6643E14497 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:15:29] 727*2^1401509-1 is not prime. Res64: 4F1625391C58A9FE Time : 0.0 sec. user=mdettweiler [2015-06-27 06:15:30] 787*2^1401509-1 is not prime. Res64: 90C0D58D34A6FC4C Time : 0.0 sec. user=mdettweiler [2015-06-27 06:26:54] 819*2^1401509-1 is not prime. Res64: 0B441CA474416A99 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:26:55] 847*2^1401509-1 is not prime. Res64: 6E181A0657EC84E9 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:26:57] 889*2^1401509-1 is not prime. Res64: 3C6075BAA8659994 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:26:57] 611*2^1401510-1 is not prime. Res64: BE6B04B96C8A89B2 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:32:48] 627*2^1401510-1 is not prime. Res64: E896698EDEFF4988 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:32:48] 657*2^1401510-1 is not prime. Res64: E08A98BC14A8BC51 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:44:12] 717*2^1401510-1 is not prime. Res64: 3B801AACB75DB181 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:44:12] 791*2^1401510-1 is not prime. Res64: 2F7A59DF9E0627DE Time : 0.0 sec. user=mdettweiler [2015-06-27 06:44:14] 887*2^1401510-1 is not prime. Res64: 8EA3AE1096266454 Time : 0.0 sec. user=mdettweiler [2015-06-27 06:44:14] 951*2^1401510-1 is not prime. Res64: 96CA1E9C8EA408AE Time : 0.0 sec. user=mdettweiler [2015-06-27 06:50:06] 1001*2^1401510-1 is not prime. Res64: F61FE1A1B2DA779E Time : 0.0 sec. user=mdettweiler [2015-06-27 06:50:07] 639*2^1401511-1 is not prime. Res64: EEA816DE1AAEEBB3 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:01:30] 759*2^1401511-1 is not prime. Res64: 8058AD67FE8CC7FE Time : 0.0 sec. user=mdettweiler [2015-06-27 07:01:31] 861*2^1401511-1 is not prime. Res64: 7BC709BE3B80762E Time : 0.0 sec. user=mdettweiler [2015-06-27 07:01:32] 871*2^1401511-1 is not prime. Res64: 97E2C22D03922409 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:01:33] 885*2^1401511-1 is not prime. Res64: C3777E9BA355FC88 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:07:24] 993*2^1401511-1 is not prime. Res64: 1D0C467C484544BE Time : 0.0 sec. user=mdettweiler [2015-06-27 07:07:25] 999*2^1401511-1 is not prime. Res64: DC8E5D809169F6C0 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:19:01] 669*2^1401512-1 is not prime. Res64: 094120F1C6E03C01 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:19:02] 677*2^1401512-1 is not prime. Res64: C8CC9AF73FDF8048 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:19:03] 875*2^1401512-1 is not prime. Res64: 36AD7A742A58EE35 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:19:03] 897*2^1401512-1 is not prime. Res64: BB9B25E990D55049 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:24:46] 959*2^1401512-1 is not prime. Res64: 30B933CECCEC07C4 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:24:46] 609*2^1401513-1 is not prime. Res64: 7444DA55E72418B9 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:36:21] 669*2^1401513-1 is not prime. Res64: 868FF6759BA9449F Time : 0.0 sec. user=mdettweiler [2015-06-27 07:36:22] 681*2^1401513-1 is not prime. Res64: 645E4F63102EC4C3 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:36:22] 751*2^1401513-1 is not prime. Res64: F2A0A847797BB560 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:36:23] 817*2^1401513-1 is not prime. Res64: 6D6E8C2E8C10978A Time : 0.0 sec. user=mdettweiler [2015-06-27 07:42:04] 623*2^1401514-1 is not prime. Res64: 56726288BE64E568 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:42:04] 671*2^1401514-1 is not prime. Res64: 3D7398086A9913F8 Time : 0.0 sec. user=S_K_ [2015-06-27 07:42:37] 795*2^1401504-1 is not prime. Res64: 9E9BC53429CBE85C Time : 0.0 sec. user=mdettweiler [2015-06-27 07:53:40] 815*2^1401514-1 is not prime. Res64: 490AA2EE6A432AF6 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:53:40] 681*2^1401514-1 is not prime. Res64: 8A7EE6EEAA9A759B Time : 0.0 sec. user=mdettweiler [2015-06-27 07:53:41] 993*2^1401514-1 is not prime. Res64: D0705D7C6CAC9EC5 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:53:41] 701*2^1401514-1 is not prime. Res64: 21CECACD7B9928C8 Time : 0.0 sec. user=mdettweiler [2015-06-27 07:59:22] 889*2^1401515-1 is not prime. Res64: 530E2A558DAC3E2F Time : 0.0 sec. user=mdettweiler [2015-06-27 07:59:22] 991*2^1401515-1 is not prime. Res64: CECDBEEADB6EA168 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:11:00] 765*2^1401516-1 is not prime. Res64: 30508D618E731BC3 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:11:00] 773*2^1401516-1 is not prime. Res64: 605E80C9D41C4021 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:11:01] 999*2^1401515-1 is not prime. Res64: 6DA6A268061C2DB7 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:11:01] 639*2^1401516-1 is not prime. Res64: C5397B2B61AB4F56 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:16:41] 927*2^1401516-1 is not prime. Res64: 57070380D49077BE Time : 0.0 sec. user=mdettweiler [2015-06-27 08:16:41] 859*2^1401517-1 is not prime. Res64: 7806BFC84ADB30C8 Time : 0.0 sec. user=juhehe [2015-06-27 08:25:34] 783*2^1401515-1 is not prime. Res64: 95893ED155801E7F Time : 0.0 sec. user=mdettweiler [2015-06-27 08:28:22] 901*2^1401517-1 is not prime. Res64: 51768A16F730D0B0 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:28:22] 677*2^1401518-1 is not prime. Res64: 36E87473BFFBB174 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:28:22] 641*2^1401518-1 is not prime. Res64: D057396F3127CB68 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:28:23] 687*2^1401518-1 is not prime. Res64: FC3BC24304C291C3 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:34:00] 755*2^1401518-1 is not prime. Res64: D5B70D1ED053EAF4 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:34:00] 923*2^1401518-1 is not prime. Res64: 869333DCD4192631 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:45:40] 935*2^1401518-1 is not prime. Res64: 5A0779F2A7B02EF0 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:45:41] 691*2^1401519-1 is not prime. Res64: 761A75AC562C1F63 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:45:43] 709*2^1401519-1 is not prime. Res64: E902262C303CE64E Time : 0.0 sec. user=mdettweiler [2015-06-27 08:45:43] 751*2^1401519-1 is not prime. Res64: 5D0380591FEE4213 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:51:20] 831*2^1401519-1 is not prime. Res64: E5C4ADC0FFAFB792 Time : 0.0 sec. user=mdettweiler [2015-06-27 08:51:20] 879*2^1401519-1 is not prime. Res64: 27CB7A471580D3A8 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:03:00] 909*2^1401519-1 is not prime. Res64: 8249122B27238A83 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:03:01] 921*2^1401519-1 is not prime. Res64: 31F007F55791119E Time : 0.0 sec. user=mdettweiler [2015-06-27 09:03:03] 975*2^1401519-1 is not prime. Res64: BDB048924755E249 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:03:05] 723*2^1401520-1 is not prime. Res64: F401B0396C6447E1 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:08:40] 897*2^1401520-1 is not prime. Res64: 15D18D9A8ECB391F Time : 0.0 sec. user=mdettweiler [2015-06-27 09:08:40] 923*2^1401520-1 is not prime. Res64: 53E24EE65850CDC4 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:20:49] 627*2^1401521-1 is not prime. Res64: B9A445D5ADC1FF96 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:20:49] 717*2^1401521-1 is not prime. Res64: BED1AC75BE6F3B36 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:20:49] 811*2^1401521-1 is not prime. Res64: C60AF4E5AA677D67 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:20:50] 865*2^1401521-1 is not prime. Res64: 14126D12B09EEA85 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:26:01] 981*2^1401521-1 is not prime. Res64: D954794DF3F35700 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:26:01] 987*2^1401521-1 is not prime. Res64: E2C687F03D471BA5 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:38:08] 653*2^1401522-1 is not prime. Res64: 96386A420DA1723D Time : 0.0 sec. user=mdettweiler [2015-06-27 09:38:09] 723*2^1401522-1 is not prime. Res64: ABF9C491A32601CE Time : 0.0 sec. user=mdettweiler [2015-06-27 09:38:09] 711*2^1401522-1 is not prime. Res64: 48411CF148DB1330 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:38:09] 735*2^1401522-1 is not prime. Res64: C1683D74EA0A32FF Time : 0.0 sec. user=mdettweiler [2015-06-27 09:43:20] 807*2^1401522-1 is not prime. Res64: BF93B5EB4F16AE93 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:43:20] 893*2^1401522-1 is not prime. Res64: B84F097C743C697D Time : 0.0 sec. user=mdettweiler [2015-06-27 09:55:27] 947*2^1401522-1 is not prime. Res64: 8B749AEF9EA18280 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:55:28] 663*2^1401523-1 is not prime. Res64: 0128A8B465F5D617 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:55:28] 681*2^1401523-1 is not prime. Res64: A192A8BB4F348419 Time : 0.0 sec. user=mdettweiler [2015-06-27 09:55:28] 703*2^1401523-1 is not prime. Res64: 5C020BDBA4FAC7E7 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:00:39] 705*2^1401523-1 is not prime. Res64: 3CBC3BA363107BE9 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:00:40] 723*2^1401523-1 is not prime. Res64: 6547A233E5ADD827 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:12:46] 873*2^1401523-1 is not prime. Res64: 946B639D1103AA44 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:12:46] 883*2^1401523-1 is not prime. Res64: 6278CAF6B901EE2F Time : 0.0 sec. user=mdettweiler [2015-06-27 10:12:46] 819*2^1401524-1 is not prime. Res64: 7553F00E54F5ED00 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:12:47] 935*2^1401524-1 is not prime. Res64: DC568B274975136C Time : 0.0 sec. user=mdettweiler [2015-06-27 10:18:11] 957*2^1401524-1 is not prime. Res64: CAC73680D77942EE Time : 0.0 sec. user=mdettweiler [2015-06-27 10:18:11] 625*2^1401525-1 is not prime. Res64: 76DEEF2734DD7295 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:30:08] 639*2^1401525-1 is not prime. Res64: F4ED72FA8B481EF0 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:30:08] 679*2^1401525-1 is not prime. Res64: 5CBFB66183BD13F2 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:30:08] 667*2^1401525-1 is not prime. Res64: AC23550267A8F74D Time : 0.0 sec. user=mdettweiler [2015-06-27 10:30:09] 711*2^1401525-1 is not prime. Res64: 6056966AD04DA1E9 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:35:29] 805*2^1401525-1 is not prime. Res64: D045C2890200AFE2 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:35:29] 825*2^1401525-1 is not prime. Res64: AD5EA209788D79A5 Time : 0.0 sec. user=juhehe [2015-06-27 10:38:12] 805*2^1401523-1 is not prime. Res64: 4650672F685311AC Time : 0.0 sec. user=mdettweiler [2015-06-27 10:47:28] 635*2^1401526-1 is not prime. Res64: E052222D30049224 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:47:28] 833*2^1401526-1 is not prime. Res64: 4A944B11B3FC5D2E Time : 0.0 sec. user=mdettweiler [2015-06-27 10:47:32] 815*2^1401526-1 is not prime. Res64: F9E7FBEA47D14800 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:47:32] 821*2^1401526-1 is not prime. Res64: 02CD1FCD64C01D75 Time : 0.0 sec. user=mdettweiler [2015-06-27 10:52:47] 855*2^1401526-1 is not prime. Res64: EDB2C1BE344F4A4A Time : 0.0 sec. user=mdettweiler [2015-06-27 10:52:47] 857*2^1401526-1 is not prime. Res64: A29616E2A8FD8BE9 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:04:46] 873*2^1401526-1 is not prime. Res64: 68D96B975CF1560E Time : 0.0 sec. user=mdettweiler [2015-06-27 11:04:47] 945*2^1401526-1 is not prime. Res64: 541A61D3B00EC4BA Time : 0.0 sec. user=mdettweiler [2015-06-27 11:04:50] 983*2^1401526-1 is not prime. Res64: 76E886AD1303D883 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:04:50] 987*2^1401526-1 is not prime. Res64: E5A3A5C7D0E9BB73 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:10:04] 643*2^1401527-1 is not prime. Res64: 0E9F0897D0F9A1D3 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:10:05] 669*2^1401527-1 is not prime. Res64: 31C6F42EBCB38B76 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:22:30] 693*2^1401527-1 is not prime. Res64: 5DB938B83C6049C3 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:22:30] 629*2^1401528-1 is not prime. Res64: 218BB3AAB6FEC7E0 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:22:30] 627*2^1401528-1 is not prime. Res64: BC729911933FCB13 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:22:31] 695*2^1401528-1 is not prime. Res64: 217F9255F4702E6C Time : 0.0 sec. user=mdettweiler [2015-06-27 11:27:23] 797*2^1401528-1 is not prime. Res64: FD53EA3913226432 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:27:24] 837*2^1401528-1 is not prime. Res64: D1E3A4968C7D6840 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:39:49] 945*2^1401528-1 is not prime. Res64: 96AC5AE82D13B088 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:39:49] 609*2^1401529-1 is not prime. Res64: 76DF91E716919F7F Time : 0.0 sec. user=mdettweiler [2015-06-27 11:39:50] 615*2^1401529-1 is not prime. Res64: 5AA053021E37DE44 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:39:50] 799*2^1401529-1 is not prime. Res64: A42CE8B76BDDF99E Time : 0.0 sec. user=mdettweiler [2015-06-27 11:44:42] 867*2^1401529-1 is not prime. Res64: 0FCD0A031853B5FA Time : 0.0 sec. user=mdettweiler [2015-06-27 11:44:42] 675*2^1401530-1 is not prime. Res64: 46B30CABE2E88837 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:57:10] 711*2^1401530-1 is not prime. Res64: 313D7CACE84F84F2 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:57:10] 785*2^1401530-1 is not prime. Res64: 3CFF37D9302D5FEF Time : 0.0 sec. user=mdettweiler [2015-06-27 11:57:13] 825*2^1401530-1 is not prime. Res64: 7F499F8FBC44B217 Time : 0.0 sec. user=mdettweiler [2015-06-27 11:57:14] 851*2^1401530-1 is not prime. Res64: BD71ADF33D276241 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:02:06] 935*2^1401530-1 is not prime. Res64: 7570EFA50515EF78 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:02:07] 615*2^1401531-1 is not prime. Res64: 2EB3BF0DDBB3A5DE Time : 0.0 sec. user=mdettweiler [2015-06-27 12:14:35] 649*2^1401531-1 is not prime. Res64: 42235FFAFBB09A85 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:14:35] 739*2^1401531-1 is not prime. Res64: CBE90B94E0DC3E5C Time : 0.0 sec. user=mdettweiler [2015-06-27 12:14:42] 801*2^1401531-1 is not prime. Res64: 2FA13A14E2533922 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:14:43] 823*2^1401531-1 is not prime. Res64: 18ADF97B2E685D55 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:19:38] 931*2^1401531-1 is not prime. Res64: D33E267BE044F9B6 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:19:38] 975*2^1401531-1 is not prime. Res64: 769589BBA8CE9A91 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:32:03] 689*2^1401532-1 is not prime. Res64: F134CE58F888C078 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:32:04] 797*2^1401532-1 is not prime. Res64: A004D213E1E79CDA Time : 0.0 sec. user=mdettweiler [2015-06-27 12:32:07] 869*2^1401532-1 is not prime. Res64: C7AAC64C01847D98 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:32:07] 929*2^1401532-1 is not prime. Res64: 9E48E89704436091 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:36:57] 691*2^1401533-1 is not prime. Res64: AE60AEC3BC0973A0 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:36:58] 729*2^1401533-1 is not prime. Res64: FE181822D7301AA1 Time : 0.0 sec. user=juhehe [2015-06-27 12:40:06] 829*2^1401531-1 is not prime. Res64: 8A9ADDA306E0B966 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:49:21] 879*2^1401533-1 is not prime. Res64: 0136D458E4EE410D Time : 0.0 sec. user=mdettweiler [2015-06-27 12:49:22] 967*2^1401533-1 is not prime. Res64: E7CE1F8646D0B8C6 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:49:24] 671*2^1401534-1 is not prime. Res64: 5DE7EAC2693C61BF Time : 0.0 sec. user=mdettweiler [2015-06-27 12:49:25] 693*2^1401534-1 is not prime. Res64: 7DDB2ECD24422C5F Time : 0.0 sec. user=mdettweiler [2015-06-27 12:54:24] 815*2^1401534-1 is not prime. Res64: E10E672BDD0F7448 Time : 0.0 sec. user=mdettweiler [2015-06-27 12:54:24] 863*2^1401534-1 is not prime. Res64: 6BF16146E9B296FE Time : 0.0 sec. user=mdettweiler [2015-06-27 13:06:49] 927*2^1401534-1 is not prime. Res64: 3D74335BFA6FEE57 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:06:50] 945*2^1401534-1 is not prime. Res64: 8149E16A2D83ED47 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:06:51] 971*2^1401534-1 is not prime. Res64: B54149DFE58A8F2A Time : 0.0 sec. user=mdettweiler [2015-06-27 13:06:52] 625*2^1401535-1 is not prime. Res64: 5BD8D999D7267BB8 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:11:44] 639*2^1401535-1 is not prime. Res64: 3FBE3B43D7507551 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:11:45] 759*2^1401535-1 is not prime. Res64: 5572C4BDCA620842 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:24:12] 819*2^1401535-1 is not prime. Res64: A2981BCB0F409A93 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:24:13] 889*2^1401535-1 is not prime. Res64: 43FD7C026F05D150 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:24:13] 951*2^1401535-1 is not prime. Res64: AE5A17FEC15AB3C3 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:24:13] 623*2^1401536-1 is not prime. Res64: 24423B1309EB1114 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:29:05] 699*2^1401536-1 is not prime. Res64: 11B107FEB370F916 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:29:05] 759*2^1401536-1 is not prime. Res64: D4395E83D9E07FC7 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:41:31] 767*2^1401536-1 is not prime. Res64: 0F7E513E4B506834 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:41:32] 735*2^1401537-1 is not prime. Res64: 8C4BA4DA84BD535D Time : 0.0 sec. user=mdettweiler [2015-06-27 13:41:32] 769*2^1401537-1 is not prime. Res64: B1EC8866663692B5 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:41:33] 871*2^1401537-1 is not prime. Res64: 4017850BAFD621A1 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:46:22] 889*2^1401537-1 is not prime. Res64: A19A32CE4FE51CEF Time : 0.0 sec. user=mdettweiler [2015-06-27 13:46:23] 945*2^1401537-1 is not prime. Res64: 5EB218A9911208DF Time : 0.0 sec. user=mdettweiler [2015-06-27 13:58:50] 677*2^1401538-1 is not prime. Res64: 44150524EE971DAC Time : 0.0 sec. user=mdettweiler [2015-06-27 13:58:50] 681*2^1401538-1 is not prime. Res64: 43178563E0653CAE Time : 0.0 sec. user=mdettweiler [2015-06-27 13:58:52] 755*2^1401538-1 is not prime. Res64: 12BBBA9076B4AB24 Time : 0.0 sec. user=mdettweiler [2015-06-27 13:58:52] 831*2^1401538-1 is not prime. Res64: 4BA169BCEC6194BD Time : 0.0 sec. user=mdettweiler [2015-06-27 14:03:45] 915*2^1401538-1 is not prime. Res64: 36E5E2A6FEA54E54 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:03:47] 971*2^1401538-1 is not prime. Res64: F5934C97A893DCB9 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:16:10] 771*2^1401539-1 is not prime. Res64: 349D290289FB90C6 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:16:10] 609*2^1401539-1 is not prime. Res64: 15398B63BE451485 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:16:10] 825*2^1401539-1 is not prime. Res64: 91B0818FA06C75A6 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:16:10] 685*2^1401539-1 is not prime. Res64: 75F7DF3322D899DD Time : 0.0 sec. user=mdettweiler [2015-06-27 14:21:10] 955*2^1401539-1 is not prime. Res64: CE4F099F18C9E2FF Time : 0.0 sec. user=mdettweiler [2015-06-27 14:21:11] 985*2^1401539-1 is not prime. Res64: 2E34F093C4C12A58 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:33:30] 623*2^1401540-1 is not prime. Res64: C5F149158EB7432D Time : 0.0 sec. user=mdettweiler [2015-06-27 14:33:30] 797*2^1401540-1 is not prime. Res64: 3122FC5F14366342 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:33:31] 759*2^1401540-1 is not prime. Res64: AD6E9034FB45D45A Time : 0.0 sec. user=mdettweiler [2015-06-27 14:33:31] 819*2^1401540-1 is not prime. Res64: C30C2C3E4B7CC34C Time : 0.0 sec. user=mdettweiler [2015-06-27 14:38:29] 867*2^1401540-1 is not prime. Res64: B31018D62173A7EC Time : 0.0 sec. user=mdettweiler [2015-06-27 14:38:30] 879*2^1401540-1 is not prime. Res64: BF4D31B0C5869F03 Time : 0.0 sec. user=juhehe [2015-06-27 14:45:51] 909*2^1401539-1 is not prime. Res64: 4FE0B944B63A488E Time : 0.0 sec. user=mdettweiler [2015-06-27 14:50:50] 819*2^1401541-1 is not prime. Res64: BDB6F990BF45524D Time : 0.0 sec. user=mdettweiler [2015-06-27 14:50:50] 931*2^1401541-1 is not prime. Res64: CECB020023D1271A Time : 0.0 sec. user=mdettweiler [2015-06-27 14:50:50] 615*2^1401542-1 is not prime. Res64: 79B2EEF771231856 Time : 0.0 sec. user=mdettweiler [2015-06-27 14:50:51] 665*2^1401542-1 is not prime. Res64: B0017F8449274A3F Time : 0.0 sec. user=mdettweiler [2015-06-27 14:55:47] 873*2^1401542-1 is not prime. Res64: F3E5F22C8F1D134C Time : 0.0 sec. user=mdettweiler [2015-06-27 14:55:47] 615*2^1401543-1 is not prime. Res64: 82FB58B23DE4628C Time : 0.0 sec. user=mdettweiler [2015-06-27 15:08:11] 619*2^1401543-1 is not prime. Res64: 9E1E2CEF82B7310F Time : 0.0 sec. user=mdettweiler [2015-06-27 15:08:11] 775*2^1401543-1 is not prime. Res64: 7936F75D454BBE57 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:08:15] 705*2^1401544-1 is not prime. Res64: 0006A5F0C0F79EBD Time : 0.0 sec. user=mdettweiler [2015-06-27 15:08:16] 773*2^1401544-1 is not prime. Res64: F88B655E56F0560C Time : 0.0 sec. user=juhehe [2015-06-27 15:10:35] 965*2^1401540-1 is not prime. Res64: 2B90AF1A8A6065BD Time : 0.0 sec. user=mdettweiler [2015-06-27 15:13:05] 819*2^1401544-1 is not prime. Res64: A803A6F1E66A5D91 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:13:05] 827*2^1401544-1 is not prime. Res64: 3D0718EC54BC812E Time : 0.0 sec. user=mdettweiler [2015-06-27 15:25:32] 843*2^1401544-1 is not prime. Res64: 83B806A181A3E76F Time : 0.0 sec. user=mdettweiler [2015-06-27 15:25:33] 869*2^1401544-1 is not prime. Res64: 998601B7D40BDAB8 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:25:35] 993*2^1401544-1 is not prime. Res64: 7CDE18BFECB5B54A Time : 0.0 sec. user=mdettweiler [2015-06-27 15:25:36] 669*2^1401545-1 is not prime. Res64: 4F0337B858D05F57 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:30:23] 697*2^1401545-1 is not prime. Res64: 4742D58D28124EAB Time : 0.0 sec. user=mdettweiler [2015-06-27 15:30:24] 855*2^1401545-1 is not prime. Res64: 9E5A3F82D45D0FE2 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:42:52] 925*2^1401545-1 is not prime. Res64: 182106ADFC0D5D09 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:42:52] 987*2^1401545-1 is not prime. Res64: 03CE307DB9D04599 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:42:53] 635*2^1401546-1 is not prime. Res64: 9369B6506ADE2626 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:42:53] 657*2^1401546-1 is not prime. Res64: FF5436F765F71938 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:47:42] 671*2^1401546-1 is not prime. Res64: 373AB7FF9171A241 Time : 0.0 sec. user=mdettweiler [2015-06-27 15:47:42] 677*2^1401546-1 is not prime. Res64: B6B35C7751011402 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:00:11] 683*2^1401546-1 is not prime. Res64: 4EDC5768B8B32403 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:00:11] 705*2^1401546-1 is not prime. Res64: 3FAE452F8ABCA843 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:00:12] 725*2^1401546-1 is not prime. Res64: C15E4B8155DD7BE0 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:00:13] 887*2^1401546-1 is not prime. Res64: 71C1CEF11F23EB57 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:05:00] 921*2^1401546-1 is not prime. Res64: C2DE1F3E28B93A1C Time : 0.0 sec. user=mdettweiler [2015-06-27 16:05:02] 993*2^1401546-1 is not prime. Res64: BBFF649A130A33BA Time : 0.0 sec. user=mdettweiler [2015-06-27 16:17:32] 619*2^1401547-1 is not prime. Res64: 31AAAE602A0FBA47 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:17:32] 651*2^1401547-1 is not prime. Res64: BF22DE0AA6D46B2A Time : 0.0 sec. user=mdettweiler [2015-06-27 16:17:34] 765*2^1401547-1 is not prime. Res64: 37949B5FAE5DF5B4 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:17:34] 895*2^1401547-1 is not prime. Res64: 4AC63E78152EC192 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:22:34] 931*2^1401547-1 is not prime. Res64: 4A7EAF01413DE4CC Time : 0.0 sec. user=mdettweiler [2015-06-27 16:22:35] 951*2^1401547-1 is not prime. Res64: 1AC2F9353AFEF058 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:34:50] 923*2^1401548-1 is not prime. Res64: F822C2929377D1D5 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:34:50] 929*2^1401548-1 is not prime. Res64: AB58D0C52CA9FE32 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:34:51] 999*2^1401548-1 is not prime. Res64: 0E5BFDDBE5498ED9 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:34:51] 621*2^1401549-1 is not prime. Res64: DF0336E6E6604DE0 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:39:55] 661*2^1401549-1 is not prime. Res64: C6890903482B4DAC Time : 0.0 sec. user=mdettweiler [2015-06-27 16:39:55] 669*2^1401549-1 is not prime. Res64: 666C873FFAFD6AAD Time : 0.0 sec. user=juhehe [2015-06-27 16:48:52] 665*2^1401548-1 is not prime. Res64: D066868DB91C244A Time : 0.0 sec. user=mdettweiler [2015-06-27 16:52:08] 861*2^1401549-1 is not prime. Res64: D8868272EEAEE5DE Time : 0.0 sec. user=mdettweiler [2015-06-27 16:52:09] 665*2^1401550-1 is not prime. Res64: D0D998E03F6B3E2F Time : 0.0 sec. user=mdettweiler [2015-06-27 16:52:09] 687*2^1401550-1 is not prime. Res64: 813D4BB1E21D2871 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:52:10] 713*2^1401550-1 is not prime. Res64: 3D8A64C40801DBF9 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:57:15] 765*2^1401550-1 is not prime. Res64: 1626040767BB3990 Time : 0.0 sec. user=mdettweiler [2015-06-27 16:57:15] 785*2^1401550-1 is not prime. Res64: 9FF087623841D88F Time : 0.0 sec. user=mdettweiler [2015-06-27 17:09:27] 831*2^1401550-1 is not prime. Res64: E9EE4DE89798167E Time : 0.0 sec. user=mdettweiler [2015-06-27 17:09:28] 915*2^1401550-1 is not prime. Res64: C2E94ED28609748C Time : 0.0 sec. user=mdettweiler [2015-06-27 17:09:32] 975*2^1401550-1 is not prime. Res64: C320E0F3742BAD86 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:09:32] 649*2^1401551-1 is not prime. Res64: FB9B915D576AAC15 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:14:35] 651*2^1401551-1 is not prime. Res64: 1CDFED9DD7A5FB2D Time : 0.0 sec. user=mdettweiler [2015-06-27 17:14:36] 669*2^1401551-1 is not prime. Res64: EEA9DA5B2CBF27F8 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:26:51] 763*2^1401551-1 is not prime. Res64: 4758B37B2AFE34BB Time : 0.0 sec. user=mdettweiler [2015-06-27 17:26:52] 823*2^1401551-1 is not prime. Res64: 0BCE1223BECDD19F Time : 0.0 sec. user=mdettweiler [2015-06-27 17:26:53] 623*2^1401552-1 is not prime. Res64: ABE6118E347E743B Time : 0.0 sec. user=mdettweiler [2015-06-27 17:26:54] 695*2^1401552-1 is not prime. Res64: D8B8F38C3B750675 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:31:53] 825*2^1401552-1 is not prime. Res64: A10BA978C1254259 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:31:53] 915*2^1401552-1 is not prime. Res64: AB9AC6B45A3F69DD Time : 0.0 sec. user=mdettweiler [2015-06-27 17:44:12] 639*2^1401553-1 is not prime. Res64: 6869127603676447 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:44:13] 651*2^1401553-1 is not prime. Res64: 857E254AA76E3849 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:44:13] 935*2^1401552-1 is not prime. Res64: 4B3960471B54C383 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:44:13] 945*2^1401552-1 is not prime. Res64: BC208C3F32832BBC Time : 0.0 sec. user=mdettweiler [2015-06-27 17:49:11] 727*2^1401553-1 is not prime. Res64: 0BAD0DEE465E8ED5 Time : 0.0 sec. user=mdettweiler [2015-06-27 17:49:11] 801*2^1401553-1 is not prime. Res64: 64FD50E448B5393F Time : 0.0 sec. user=mdettweiler [2015-06-27 18:01:32] 829*2^1401553-1 is not prime. Res64: 1DBF487EA51C3E40 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:01:33] 687*2^1401554-1 is not prime. Res64: F8AF6F547C26FE27 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:01:34] 633*2^1401554-1 is not prime. Res64: 74D0B20F1E0065F2 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:01:35] 743*2^1401554-1 is not prime. Res64: 0B7639E24A403C16 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:06:29] 791*2^1401554-1 is not prime. Res64: 08A139BA6722D6EE Time : 0.0 sec. user=mdettweiler [2015-06-27 18:06:29] 825*2^1401554-1 is not prime. Res64: 2C2E14A53713FFE4 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:19:12] 619*2^1401555-1 is not prime. Res64: 369D2FFC68647C7F Time : 0.0 sec. user=mdettweiler [2015-06-27 18:19:13] 711*2^1401555-1 is not prime. Res64: 7E659EA939B1AF14 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:19:13] 751*2^1401555-1 is not prime. Res64: 6BDD529B81E229F5 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:19:14] 793*2^1401555-1 is not prime. Res64: 2863C1D0FA935385 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:23:48] 823*2^1401555-1 is not prime. Res64: 689DF6C75F6711BB Time : 0.0 sec. user=mdettweiler [2015-06-27 18:23:48] 895*2^1401555-1 is not prime. Res64: 5D0770F2F86A29C8 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:36:31] 919*2^1401555-1 is not prime. Res64: CAAD035EDBB7C1B9 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:36:32] 963*2^1401555-1 is not prime. Res64: 82E45A1726A92299 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:36:33] 991*2^1401555-1 is not prime. Res64: 450C0A7D03466D8D Time : 0.0 sec. user=mdettweiler [2015-06-27 18:36:33] 603*2^1401556-1 is not prime. Res64: 7AEE5F03D08F4FC2 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:41:05] 693*2^1401556-1 is not prime. Res64: B21BC1F84258A4D9 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:41:06] 803*2^1401556-1 is not prime. Res64: BAFB971D67D6F4C4 Time : 0.0 sec. user=juhehe [2015-06-27 18:46:04] 805*2^1401555-1 is not prime. Res64: 5E6D9374F2586C63 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:53:49] 711*2^1401557-1 is not prime. Res64: ED6326D394E42B9E Time : 0.0 sec. user=mdettweiler [2015-06-27 18:53:49] 747*2^1401557-1 is not prime. Res64: CFB6A032D7E64167 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:53:50] 781*2^1401557-1 is not prime. Res64: D5930812923D90FD Time : 0.0 sec. user=mdettweiler [2015-06-27 18:53:50] 847*2^1401557-1 is not prime. Res64: 8845AB9A342327A4 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:58:23] 861*2^1401557-1 is not prime. Res64: 605AFBDC00897830 Time : 0.0 sec. user=mdettweiler [2015-06-27 18:58:24] 939*2^1401557-1 is not prime. Res64: FC50FCAD83649754 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:11:07] 801*2^1401558-1 is not prime. Res64: CEEDBE73C3823BF4 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:11:07] 867*2^1401558-1 is not prime. Res64: 8E14B36B2D920DC0 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:11:08] 713*2^1401558-1 is not prime. Res64: D3B58A0847B21165 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:11:09] 731*2^1401558-1 is not prime. Res64: 8142BFD7D1544C51 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:15:40] 1001*2^1401558-1 is not prime. Res64: 171D5D593F23FC94 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:15:41] 621*2^1401559-1 is not prime. Res64: CE51D43F7359827C Time : 0.0 sec. user=mdettweiler [2015-06-27 19:28:27] 663*2^1401559-1 is not prime. Res64: 1DED7CE519CB920C Time : 0.0 sec. user=mdettweiler [2015-06-27 19:28:28] 723*2^1401559-1 is not prime. Res64: C36204CAE8E40273 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:28:28] 741*2^1401559-1 is not prime. Res64: 43D2505B59D1FDD8 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:28:28] 745*2^1401559-1 is not prime. Res64: 436AE5C7840220E4 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:33:00] 771*2^1401559-1 is not prime. Res64: 4EEF6320AC1F60C3 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:33:00] 841*2^1401559-1 is not prime. Res64: D6A2AFA21B79EB32 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:45:46] 609*2^1401560-1 is not prime. Res64: 00D846A7E0C3C31D Time : 0.0 sec. user=mdettweiler [2015-06-27 19:45:46] 675*2^1401560-1 is not prime. Res64: E2AF884BF6EBCE41 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:45:46] 645*2^1401560-1 is not prime. Res64: 4748011F05C091DB Time : 0.0 sec. user=mdettweiler [2015-06-27 19:45:46] 803*2^1401560-1 is not prime. Res64: 063FC43DFBF8EF0F Time : 0.0 sec. user=mdettweiler [2015-06-27 19:50:17] 615*2^1401561-1 is not prime. Res64: 5DA893F3F99AA2B4 Time : 0.0 sec. user=mdettweiler [2015-06-27 19:50:18] 657*2^1401561-1 is not prime. Res64: 964A792DF5F8C32C Time : 0.0 sec. user=mdettweiler [2015-06-27 20:03:04] 685*2^1401561-1 is not prime. Res64: F90DF094A3CFE5D2 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:03:05] 847*2^1401561-1 is not prime. Res64: 56353053000AB1D5 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:03:06] 829*2^1401561-1 is not prime. Res64: B230088E792951A4 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:03:08] 865*2^1401561-1 is not prime. Res64: ED683D2C7726EEAF Time : 0.0 sec. user=mdettweiler [2015-06-27 20:07:35] 921*2^1401561-1 is not prime. Res64: B8FABDB20F4DBC33 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:07:36] 937*2^1401561-1 is not prime. Res64: E5D11082CC1FE587 Time : 0.0 sec. user=juhehe [2015-06-27 20:13:23] 959*2^1401560-1 is not prime. Res64: 41194F4CA5DF7AAC Time : 0.0 sec. user=mdettweiler [2015-06-27 20:20:44] 997*2^1401561-1 is not prime. Res64: 8496B38A2A85DE45 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:20:45] 657*2^1401562-1 is not prime. Res64: 4130A5782C32A58A Time : 0.0 sec. user=mdettweiler [2015-06-27 20:20:45] 701*2^1401562-1 is not prime. Res64: EAA0EF96A0B48424 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:20:46] 815*2^1401562-1 is not prime. Res64: DFD9270192CF6EAD Time : 0.0 sec. user=mdettweiler [2015-06-27 20:24:52] 833*2^1401562-1 is not prime. Res64: A7BCDE01D33958CA Time : 0.0 sec. user=mdettweiler [2015-06-27 20:24:52] 873*2^1401562-1 is not prime. Res64: 1D6645B1BE31C217 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:38:05] 885*2^1401562-1 is not prime. Res64: 515EDB073EAF1FD8 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:38:05] 619*2^1401563-1 is not prime. Res64: 7D225C611C59DAC9 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:38:06] 675*2^1401563-1 is not prime. Res64: EFCB3F5049A4E1E9 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:38:07] 705*2^1401563-1 is not prime. Res64: A267F7C2BC17AD12 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:42:10] 811*2^1401563-1 is not prime. Res64: AE36268BA0D28C78 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:42:10] 955*2^1401563-1 is not prime. Res64: 605A604C0EB55C29 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:55:22] 973*2^1401563-1 is not prime. Res64: 0D5E182A173E08B7 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:55:23] 675*2^1401564-1 is not prime. Res64: D2DA74733E87285E Time : 0.0 sec. user=mdettweiler [2015-06-27 20:55:23] 717*2^1401564-1 is not prime. Res64: DA320FF419E14CFD Time : 0.0 sec. user=mdettweiler [2015-06-27 20:55:24] 719*2^1401564-1 is not prime. Res64: DAF9B159FF29E453 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:59:27] 809*2^1401564-1 is not prime. Res64: 550CE6A6F8D1F895 Time : 0.0 sec. user=mdettweiler [2015-06-27 20:59:27] 903*2^1401564-1 is not prime. Res64: 9F3F134479158C82 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:12:40] 909*2^1401564-1 is not prime. Res64: 15ED2035CAD3C29D Time : 0.0 sec. user=mdettweiler [2015-06-27 21:12:41] 965*2^1401564-1 is not prime. Res64: 722B5DECD7BDBCED Time : 0.0 sec. user=mdettweiler [2015-06-27 21:12:42] 619*2^1401565-1 is not prime. Res64: FF4F2B77C917992B Time : 0.0 sec. user=mdettweiler [2015-06-27 21:12:42] 661*2^1401565-1 is not prime. Res64: F8CE0CCA3CEDC80A Time : 0.0 sec. user=mdettweiler [2015-06-27 21:16:45] 715*2^1401565-1 is not prime. Res64: 73B798C9C02AA1D4 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:16:45] 717*2^1401565-1 is not prime. Res64: 0A990CB6FC998A93 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:30:05] 757*2^1401565-1 is not prime. Res64: 9F1AFFA80B8EB6D2 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:30:06] 657*2^1401566-1 is not prime. Res64: A44719F94FB8D49B Time : 0.0 sec. user=mdettweiler [2015-06-27 21:30:06] 663*2^1401566-1 is not prime. Res64: 7B8AABC6723FE257 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:30:06] 683*2^1401566-1 is not prime. Res64: 0BFFE8B679537537 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:34:04] 705*2^1401566-1 is not prime. Res64: 459D9A3304F95158 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:34:04] 707*2^1401566-1 is not prime. Res64: 914FEA0CDE1C6B66 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:47:25] 785*2^1401566-1 is not prime. Res64: D397FC2D6D9E8802 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:47:26] 921*2^1401566-1 is not prime. Res64: 8E75A1715F0B45BA Time : 0.0 sec. user=mdettweiler [2015-06-27 21:47:27] 953*2^1401566-1 is not prime. Res64: DC6290941C154F4E Time : 0.0 sec. user=mdettweiler [2015-06-27 21:47:28] 963*2^1401566-1 is not prime. Res64: 68472023C6A55E12 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:51:21] 651*2^1401567-1 is not prime. Res64: 3C4716D7DA70DD02 Time : 0.0 sec. user=mdettweiler [2015-06-27 21:51:21] 879*2^1401567-1 is not prime. Res64: C4EB492CD5FC9C82 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:04:46] 985*2^1401567-1 is not prime. Res64: 2CC735552A7DF985 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:04:46] 657*2^1401568-1 is not prime. Res64: CFCDB63A90CB4D83 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:04:48] 615*2^1401568-1 is not prime. Res64: FC7D90E34273E452 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:04:49] 777*2^1401568-1 is not prime. Res64: 837E6CC980C8FCD4 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:08:38] 797*2^1401568-1 is not prime. Res64: 98647A8FA407E665 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:08:38] 819*2^1401568-1 is not prime. Res64: A3ABDD11954E3E70 Time : 0.0 sec. user=juhehe [2015-06-27 22:18:12] 945*2^1401567-1 is not prime. Res64: 8FEB011ED3E711B0 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:22:56] 975*2^1401568-1 is not prime. Res64: 4314ABCB3E8149F6 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:22:56] 989*2^1401568-1 is not prime. Res64: B2F8A0D24C06F0E6 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:22:58] 721*2^1401569-1 is not prime. Res64: BC55BB16FAAB89BE Time : 0.0 sec. user=mdettweiler [2015-06-27 22:22:59] 829*2^1401569-1 is not prime. Res64: 243A7FD0BA861DD2 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:25:56] 855*2^1401569-1 is not prime. Res64: E7CF60EBD0CED94F Time : 0.0 sec. user=mdettweiler [2015-06-27 22:25:56] 931*2^1401569-1 is not prime. Res64: 2212621E603B5422 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:40:16] 967*2^1401569-1 is not prime. Res64: C65C519654FBD678 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:40:16] 611*2^1401570-1 is not prime. Res64: 963D9E1D01E86C66 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:40:17] 635*2^1401570-1 is not prime. Res64: C76A115FAF454B92 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:40:17] 765*2^1401570-1 is not prime. Res64: 01EAC8147A892CE5 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:43:14] 767*2^1401570-1 is not prime. Res64: 1EC3BAC59DD09F7C Time : 0.0 sec. user=mdettweiler [2015-06-27 22:43:15] 845*2^1401570-1 is not prime. Res64: 6117D83EB72C6C31 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:57:39] 1001*2^1401570-1 is not prime. Res64: 3F7FEC8D278C3C9D Time : 0.0 sec. user=mdettweiler [2015-06-27 22:57:39] 645*2^1401571-1 is not prime. Res64: 232C946182B127E8 Time : 0.0 sec. user=mdettweiler [2015-06-27 22:57:43] 891*2^1401570-1 is not prime. Res64: 5C53D726E800D11C Time : 0.0 sec. user=mdettweiler [2015-06-27 22:57:43] 923*2^1401570-1 is not prime. Res64: 27B8A60890A22D43 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:00:36] 663*2^1401571-1 is not prime. Res64: D1982C2239F5161A Time : 0.0 sec. user=mdettweiler [2015-06-27 23:00:37] 741*2^1401571-1 is not prime. Res64: 74A330B2A0221B4B Time : 0.0 sec. user=mdettweiler [2015-06-27 23:14:57] 775*2^1401571-1 is not prime. Res64: B992DE852F73185F Time : 0.0 sec. user=mdettweiler [2015-06-27 23:14:58] 835*2^1401571-1 is not prime. Res64: BE8053830F1BDF62 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:15:02] 603*2^1401572-1 is not prime. Res64: D3473D765159DA08 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:15:04] 633*2^1401572-1 is not prime. Res64: FDCD09ECEBFEDD22 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:17:58] 635*2^1401572-1 is not prime. Res64: E3922330BE381A98 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:17:58] 669*2^1401572-1 is not prime. Res64: A7548FDEAEC909B3 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:32:23] 677*2^1401572-1 is not prime. Res64: AE6F25A78B11BB6F Time : 0.0 sec. user=mdettweiler [2015-06-27 23:32:23] 819*2^1401572-1 is not prime. Res64: D11FCACB583893A2 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:32:23] 777*2^1401572-1 is not prime. Res64: BA565F925CBD900B Time : 0.0 sec. user=mdettweiler [2015-06-27 23:32:23] 875*2^1401572-1 is not prime. Res64: 2251BCF46FD80B60 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:35:20] 885*2^1401572-1 is not prime. Res64: 486EF60ABFB018D7 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:35:20] 609*2^1401573-1 is not prime. Res64: 386CE3A0BCA196BB Time : 0.0 sec. user=mdettweiler [2015-06-27 23:49:59] 679*2^1401573-1 is not prime. Res64: 4C198FD04C28ED3D Time : 0.0 sec. user=mdettweiler [2015-06-27 23:49:59] 741*2^1401573-1 is not prime. Res64: 7880FF1EAB74C565 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:49:59] 789*2^1401573-1 is not prime. Res64: 904FC17F789BF105 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:50:00] 889*2^1401573-1 is not prime. Res64: 47D249276AB7FE17 Time : 0.0 sec. user=mdettweiler [2015-06-27 23:52:52] 969*2^1401573-1 is not prime. Res64: 2CB5C70E14D3C14B Time : 0.0 sec. user=mdettweiler [2015-06-27 23:52:52] 979*2^1401573-1 is not prime. Res64: AF7C1709F123ECAF Time : 0.0 sec.