user=mdettweiler [2013-08-16 00:14:21] 923*2^1250870-1 is not prime. Res64: 73A465FFBBEFD75D Time : 0.0 sec. user=mdettweiler [2013-08-16 00:14:21] 935*2^1250870-1 is not prime. Res64: C37B6A819B23C0E3 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:15:05] 945*2^1250870-1 is not prime. Res64: 11645469A45AE240 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:15:05] 953*2^1250870-1 is not prime. Res64: A1C58D5B6B682438 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:16:02] 971*2^1250870-1 is not prime. Res64: 99588719CEF79D9E Time : 0.0 sec. user=mdettweiler [2013-08-16 00:16:02] 679*2^1250871-1 is not prime. Res64: 7AB2095AE3867AFE Time : 0.0 sec. user=mdettweiler [2013-08-16 00:17:11] 693*2^1250871-1 is not prime. Res64: B70D4CAF532EEE36 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:17:11] 735*2^1250871-1 is not prime. Res64: 6FAD50D98C3E92CD Time : 0.0 sec. user=mdettweiler [2013-08-16 00:35:36] 859*2^1250871-1 is not prime. Res64: B08BB749188DACD6 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:35:36] 945*2^1250871-1 is not prime. Res64: DD0787007151AB0F Time : 0.0 sec. user=mdettweiler [2013-08-16 00:36:25] 657*2^1250872-1 is not prime. Res64: 0362E78CB904E664 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:36:25] 849*2^1250872-1 is not prime. Res64: 791BB91F46B3313A Time : 0.0 sec. user=mdettweiler [2013-08-16 00:37:20] 969*2^1250871-1 is not prime. Res64: 60E2C9063E475D04 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:37:20] 979*2^1250871-1 is not prime. Res64: AC4F55C7763E6D25 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:38:32] 917*2^1250872-1 is not prime. Res64: A5363D07010CCD47 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:38:32] 615*2^1250873-1 is not prime. Res64: 37DD6FBD2F55B5A8 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:55:58] 685*2^1250873-1 is not prime. Res64: 51FF647C792B0A9B Time : 0.0 sec. user=mdettweiler [2013-08-16 00:55:58] 727*2^1250873-1 is not prime. Res64: 9038876C38418A8F Time : 0.0 sec. user=mdettweiler [2013-08-16 00:56:52] 759*2^1250873-1 is not prime. Res64: 82C1448AD9A417A3 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:56:52] 837*2^1250873-1 is not prime. Res64: 86CDE6E77BDF3C89 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:57:42] 855*2^1250873-1 is not prime. Res64: 6C796868FD0D53EB Time : 0.0 sec. user=mdettweiler [2013-08-16 00:57:42] 889*2^1250873-1 is not prime. Res64: AC59437B0F0AA909 Time : 0.0 sec. user=mdettweiler [2013-08-16 00:58:48] 897*2^1250873-1 is not prime. Res64: 9DA03BF86BA9B09D Time : 0.0 sec. user=mdettweiler [2013-08-16 00:58:48] 901*2^1250873-1 is not prime. Res64: F3573A18A9185757 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:17:27] 915*2^1250873-1 is not prime. Res64: 032F0953FB16C0F4 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:17:28] 861*2^1250874-1 is not prime. Res64: 67013104EBE29EB2 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:17:28] 641*2^1250874-1 is not prime. Res64: B20E6B5605E345A2 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:17:28] 873*2^1250874-1 is not prime. Res64: 530442BE9C70EDE5 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:19:13] 881*2^1250874-1 is not prime. Res64: 010DA61B5A76BC23 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:19:13] 905*2^1250874-1 is not prime. Res64: EBADEC3C65120219 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:19:15] 733*2^1250875-1 is not prime. Res64: DC4E078C91D9AD23 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:19:15] 889*2^1250875-1 is not prime. Res64: 997DB5A4AB849E44 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:38:00] 669*2^1250876-1 is not prime. Res64: 8F45E610C56C171B Time : 0.0 sec. user=mdettweiler [2013-08-16 01:38:00] 683*2^1250876-1 is not prime. Res64: 25417BC62F746BED Time : 0.0 sec. user=mdettweiler [2013-08-16 01:38:03] 755*2^1250876-1 is not prime. Res64: AEC28C81437C7330 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:38:04] 789*2^1250876-1 is not prime. Res64: EDB001BD5A053503 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:39:36] 661*2^1250877-1 is not prime. Res64: 14A8797640840397 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:39:36] 667*2^1250877-1 is not prime. Res64: E6D988B4FF60357E Time : 0.0 sec. user=mdettweiler [2013-08-16 01:41:46] 909*2^1250876-1 is not prime. Res64: 6629FF63224515A3 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:41:46] 923*2^1250876-1 is not prime. Res64: B8206652BD60EA2F Time : 0.0 sec. user=mdettweiler [2013-08-16 01:58:03] 765*2^1250877-1 is not prime. Res64: 7BBDB77E3B6AA68D Time : 0.0 sec. user=mdettweiler [2013-08-16 01:58:04] 777*2^1250877-1 is not prime. Res64: 6B01EFFAFF67A376 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:59:02] 885*2^1250877-1 is not prime. Res64: 5FE1A11ADEB62C7B Time : 0.0 sec. user=mdettweiler [2013-08-16 01:59:02] 937*2^1250877-1 is not prime. Res64: 1F108A770913C2A4 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:59:40] 605*2^1250878-1 is not prime. Res64: 583FBB5857446994 Time : 0.0 sec. user=mdettweiler [2013-08-16 01:59:40] 681*2^1250878-1 is not prime. Res64: 5ACF634D33049421 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:01:44] 821*2^1250878-1 is not prime. Res64: AC81D7C371296332 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:01:44] 615*2^1250879-1 is not prime. Res64: F750ACA3CFF2E828 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:18:10] 705*2^1250879-1 is not prime. Res64: 8AC71C417A8F0B24 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:18:11] 789*2^1250879-1 is not prime. Res64: 12FB7656AF8782F0 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:19:05] 841*2^1250879-1 is not prime. Res64: E2B43D7893B3CACD Time : 0.0 sec. user=mdettweiler [2013-08-16 02:19:06] 861*2^1250879-1 is not prime. Res64: A78BF0BAB7A2F494 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:21:46] 913*2^1250879-1 is not prime. Res64: 2B208B2C40642D90 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:21:46] 931*2^1250879-1 is not prime. Res64: 58E1BE80089AD84A Time : 0.0 sec. user=mdettweiler [2013-08-16 02:23:52] 939*2^1250879-1 is not prime. Res64: 6E0615DB8D10199A Time : 0.0 sec. user=mdettweiler [2013-08-16 02:23:53] 973*2^1250879-1 is not prime. Res64: 79AE98B3D38BFBDE Time : 0.0 sec. user=mdettweiler [2013-08-16 02:38:13] 627*2^1250880-1 is not prime. Res64: 43C2DCF9364C10DE Time : 0.0 sec. user=mdettweiler [2013-08-16 02:38:14] 669*2^1250880-1 is not prime. Res64: D6AB1D9F478A40DB Time : 0.0 sec. user=mdettweiler [2013-08-16 02:39:04] 753*2^1250880-1 is not prime. Res64: 4B3A097F1EB069C1 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:39:05] 759*2^1250880-1 is not prime. Res64: 8252AA3FCE8A364D Time : 0.0 sec. user=mdettweiler [2013-08-16 02:42:42] 767*2^1250880-1 is not prime. Res64: B30B37F025B30276 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:42:43] 927*2^1250880-1 is not prime. Res64: 3F0BE9F31F99CC7A Time : 0.0 sec. user=mdettweiler [2013-08-16 02:43:55] 625*2^1250881-1 is not prime. Res64: F9FAA9C10DCBEF21 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:43:56] 645*2^1250881-1 is not prime. Res64: FFEAE7318F320CE3 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:58:32] 715*2^1250881-1 is not prime. Res64: 439C5775E6BA4AF5 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:58:33] 769*2^1250881-1 is not prime. Res64: 1897AB0EF097A1D4 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:59:15] 771*2^1250881-1 is not prime. Res64: 78917DE3442032B7 Time : 0.0 sec. user=mdettweiler [2013-08-16 02:59:16] 835*2^1250881-1 is not prime. Res64: 6FAB13B021843DC2 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:04:07] 683*2^1250882-1 is not prime. Res64: 0AD777D0FE1910E5 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:04:08] 711*2^1250882-1 is not prime. Res64: 31CA96B04585C7CF Time : 0.0 sec. user=mdettweiler [2013-08-16 03:04:48] 997*2^1250881-1 is not prime. Res64: D122E53155335616 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:04:49] 999*2^1250881-1 is not prime. Res64: E8E0C93D00B6C296 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:19:35] 735*2^1250882-1 is not prime. Res64: 4C5163ED585F9381 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:19:36] 963*2^1250882-1 is not prime. Res64: 579B1D94711AF6F1 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:20:19] 983*2^1250882-1 is not prime. Res64: 0E9325DD857E9947 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:20:20] 699*2^1250883-1 is not prime. Res64: 6D4ABED710E18CBA Time : 0.0 sec. user=mdettweiler [2013-08-16 03:24:16] 735*2^1250883-1 is not prime. Res64: 3A24FD4545DCE4F3 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:24:17] 751*2^1250883-1 is not prime. Res64: B201FDAE8056C270 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:24:55] 781*2^1250883-1 is not prime. Res64: 7BB0B502426DD0DE Time : 0.0 sec. user=mdettweiler [2013-08-16 03:24:55] 819*2^1250883-1 is not prime. Res64: E4B5343A91D26AFF Time : 0.0 sec. user=mdettweiler [2013-08-16 03:39:41] 895*2^1250883-1 is not prime. Res64: 8E3B92418C9331AA Time : 0.0 sec. user=mdettweiler [2013-08-16 03:39:42] 705*2^1250884-1 is not prime. Res64: 5D4ECCD1A1326794 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:40:17] 717*2^1250884-1 is not prime. Res64: 362D90936244B644 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:40:18] 759*2^1250884-1 is not prime. Res64: CEA56A92AA77BE06 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:44:20] 833*2^1250884-1 is not prime. Res64: B43370FD7C42F155 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:44:20] 601*2^1250885-1 is not prime. Res64: 89C190D01A42FEE2 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:45:03] 619*2^1250885-1 is not prime. Res64: DD7ED89B61B16549 Time : 0.0 sec. user=mdettweiler [2013-08-16 03:45:03] 741*2^1250885-1 is not prime. Res64: 6A4A37F74F577FDC Time : 0.0 sec. user=juhehe [2013-08-16 03:51:10] 823*2^1250883-1 is not prime. Res64: 1D419A56792A0EAC Time : 0.0 sec. user=mdettweiler [2013-08-16 03:59:46] 771*2^1250885-1 is not prime. Res64: 6E9A056A96764D8D Time : 0.0 sec. user=mdettweiler [2013-08-16 03:59:46] 825*2^1250885-1 is not prime. Res64: E2E65B6D8A42004B Time : 0.0 sec. user=mdettweiler [2013-08-16 04:00:29] 847*2^1250885-1 is not prime. Res64: 4CD021E4C1CF686D Time : 0.0 sec. user=mdettweiler [2013-08-16 04:00:30] 861*2^1250885-1 is not prime. Res64: 4D907B6240D930B6 Time : 0.0 sec. user=juhehe [2013-08-16 04:01:50] 853*2^1250883-1 is not prime. Res64: 505AD8E693EEE086 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:05:05] 705*2^1250886-1 is not prime. Res64: 52FB99C48902FAA5 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:05:05] 711*2^1250886-1 is not prime. Res64: EC3B0B6F27ADB309 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:06:16] 951*2^1250885-1 is not prime. Res64: E743EB44F1E42A27 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:06:17] 981*2^1250885-1 is not prime. Res64: 9CA67D6CCB32B62F Time : 0.0 sec. user=mdettweiler [2013-08-16 04:19:56] 625*2^1250887-1 is not prime. Res64: 0FBA542DA4931EAF Time : 0.0 sec. user=mdettweiler [2013-08-16 04:19:56] 703*2^1250887-1 is not prime. Res64: 52055F499A8B5D2B Time : 0.0 sec. user=mdettweiler [2013-08-16 04:21:32] 859*2^1250887-1 is not prime. Res64: 8005C0364F91F202 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:21:33] 931*2^1250887-1 is not prime. Res64: FFB3BC2156AEA508 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:25:03] 687*2^1250888-1 is not prime. Res64: 07C045593C325423 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:25:03] 827*2^1250888-1 is not prime. Res64: 85B34A36FB083578 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:26:18] 845*2^1250888-1 is not prime. Res64: AFE0D5F06C390180 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:26:19] 897*2^1250888-1 is not prime. Res64: C410594D5FEB8790 Time : 0.0 sec. user=juhehe [2013-08-16 04:27:13] 737*2^1250886-1 is not prime. Res64: 5CA4A96E8C7A9F15 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:41:52] 709*2^1250889-1 is not prime. Res64: C197763CFDB873A0 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:41:53] 727*2^1250889-1 is not prime. Res64: D35BB9569EFCFD64 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:42:22] 929*2^1250888-1 is not prime. Res64: EB6B846124F93A4C Time : 0.0 sec. user=mdettweiler [2013-08-16 04:42:23] 945*2^1250888-1 is not prime. Res64: 5766EA08CBEFDACF Time : 0.0 sec. user=mdettweiler [2013-08-16 04:45:35] 747*2^1250889-1 is not prime. Res64: 5822926970ADE6C5 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:45:36] 789*2^1250889-1 is not prime. Res64: 6B385EE644597364 Time : 0.0 sec. user=juhehe [2013-08-16 04:45:43] 939*2^1250887-1 is not prime. Res64: A09BF5DB5067F4E0 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:46:57] 835*2^1250889-1 is not prime. Res64: 0895FBDE1E24F4C4 Time : 0.0 sec. user=mdettweiler [2013-08-16 04:46:57] 867*2^1250889-1 is not prime. Res64: 7032C172B90818ED Time : 0.0 sec. user=mdettweiler [2013-08-16 05:02:45] 645*2^1250890-1 is not prime. Res64: F8C206A28CB4B26E Time : 0.0 sec. user=mdettweiler [2013-08-16 05:02:46] 735*2^1250890-1 is not prime. Res64: B1E76666F3DF0418 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:03:42] 791*2^1250890-1 is not prime. Res64: 370BBF00DDD381B0 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:03:43] 827*2^1250890-1 is not prime. Res64: FC08FC55B6FF3B16 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:07:49] 833*2^1250890-1 is not prime. Res64: 39B52ED7EC27987C Time : 0.0 sec. user=mdettweiler [2013-08-16 05:07:50] 975*2^1250890-1 is not prime. Res64: 862ED5E7044B3854 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:08:10] 603*2^1250891-1 is not prime. Res64: D508008E3D1A8FC5 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:08:11] 621*2^1250891-1 is not prime. Res64: A32A13B5B6BD21F4 Time : 0.0 sec. user=juhehe [2013-08-16 05:12:01] 907*2^1250889-1 is not prime. Res64: EEB69545AFCC7ECE Time : 0.0 sec. user=mdettweiler [2013-08-16 05:23:57] 645*2^1250891-1 is not prime. Res64: 915E3E9481A019E4 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:23:57] 651*2^1250891-1 is not prime. Res64: C0D3DFA7CCF7E59C Time : 0.0 sec. user=mdettweiler [2013-08-16 05:24:32] 663*2^1250891-1 is not prime. Res64: 69055320790918BC Time : 0.0 sec. user=mdettweiler [2013-08-16 05:24:32] 675*2^1250891-1 is not prime. Res64: EC54A935FE216127 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:27:56] 859*2^1250891-1 is not prime. Res64: 6A7E52E663955512 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:27:56] 627*2^1250892-1 is not prime. Res64: ED1F5ABB37E71D17 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:28:19] 689*2^1250892-1 is not prime. Res64: C2C7A3957DCF9CE3 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:28:20] 719*2^1250892-1 is not prime. Res64: B9B8C8DED72962BE Time : 0.0 sec. user=mdettweiler [2013-08-16 05:44:31] 615*2^1250893-1 is not prime. Res64: 55D9F700CBBBFBF4 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:44:31] 757*2^1250893-1 is not prime. Res64: B96D5031B34714E6 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:44:52] 825*2^1250892-1 is not prime. Res64: 6A79D412B40FF756 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:44:52] 903*2^1250892-1 is not prime. Res64: 13B0CCB6E863DDA3 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:48:16] 617*2^1250894-1 is not prime. Res64: 7FD7E6B93BEC0ECB Time : 0.0 sec. user=mdettweiler [2013-08-16 05:48:17] 663*2^1250894-1 is not prime. Res64: 1303B9E75526915B Time : 0.0 sec. user=mdettweiler [2013-08-16 05:48:53] 895*2^1250893-1 is not prime. Res64: E579450B051CB552 Time : 0.0 sec. user=mdettweiler [2013-08-16 05:48:53] 955*2^1250893-1 is not prime. Res64: 63A034E3A1EC1045 Time : 0.0 sec. user=juhehe [2013-08-16 05:50:24] 725*2^1250892-1 is not prime. Res64: 5A221C1626772044 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:05:21] 873*2^1250894-1 is not prime. Res64: C53941B9B2C0F013 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:05:22] 923*2^1250894-1 is not prime. Res64: 2332EB9E18B12306 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:05:39] 1001*2^1250894-1 is not prime. Res64: 6E0D8B3E3819F579 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:05:39] 651*2^1250895-1 is not prime. Res64: A93009E4C6A65EF9 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:08:46] 639*2^1250896-1 is not prime. Res64: EA3A4D192933D8BF Time : 0.0 sec. user=mdettweiler [2013-08-16 06:08:47] 777*2^1250896-1 is not prime. Res64: A52387516CC6AEA6 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:10:01] 949*2^1250895-1 is not prime. Res64: 11FE2B10CB5FD990 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:10:03] 969*2^1250895-1 is not prime. Res64: EE3B99E1796C0958 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:25:49] 735*2^1250897-1 is not prime. Res64: FEA4677C58533452 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:25:49] 771*2^1250897-1 is not prime. Res64: 9618A6F929BBA193 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:26:32] 999*2^1250896-1 is not prime. Res64: A67E3EEF7FF12F88 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:26:33] 631*2^1250897-1 is not prime. Res64: 06540EA46A72B42D Time : 0.0 sec. user=mdettweiler [2013-08-16 06:28:53] 861*2^1250897-1 is not prime. Res64: 53ED9FF895735082 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:28:53] 865*2^1250897-1 is not prime. Res64: F138F00AED352393 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:31:00] 885*2^1250897-1 is not prime. Res64: BD6DCB88E5CECA31 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:31:00] 949*2^1250897-1 is not prime. Res64: CC65266850695CAF Time : 0.0 sec. user=juhehe [2013-08-16 06:40:43] 839*2^1250896-1 is not prime. Res64: 14F780D2FA2AC3A3 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:45:46] 731*2^1250898-1 is not prime. Res64: 24E03BF7F5A29DFD Time : 0.0 sec. user=mdettweiler [2013-08-16 06:45:47] 767*2^1250898-1 is not prime. Res64: 7319E3A8C8A7177D Time : 0.0 sec. user=mdettweiler [2013-08-16 06:46:33] 797*2^1250898-1 is not prime. Res64: EBAA155ADC1C23F8 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:46:33] 801*2^1250898-1 is not prime. Res64: 75D2A1EF494C681A Time : 0.0 sec. user=mdettweiler [2013-08-16 06:49:48] 933*2^1250898-1 is not prime. Res64: 34B5F460A02891C7 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:49:49] 645*2^1250899-1 is not prime. Res64: 269F6D5257A6F8B3 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:50:55] 675*2^1250899-1 is not prime. Res64: 1055D5BBD8F5E422 Time : 0.0 sec. user=mdettweiler [2013-08-16 06:50:55] 735*2^1250899-1 is not prime. Res64: BC5F1B62968B3897 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:05:44] 745*2^1250899-1 is not prime. Res64: 2FBAE73959AD50BA Time : 0.0 sec. user=mdettweiler [2013-08-16 07:05:46] 751*2^1250899-1 is not prime. Res64: B3A3588E834563A7 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:07:32] 835*2^1250899-1 is not prime. Res64: 8C832D7875434194 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:07:33] 951*2^1250899-1 is not prime. Res64: FE3220B7734CBD71 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:10:51] 985*2^1250899-1 is not prime. Res64: AFC981E414BDF1C5 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:10:52] 615*2^1250900-1 is not prime. Res64: EB15C6E1394625A9 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:11:54] 833*2^1250900-1 is not prime. Res64: 9E29C922DCF1F0D8 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:11:55] 915*2^1250900-1 is not prime. Res64: 0173ACB44CD2DAB0 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:26:41] 963*2^1250900-1 is not prime. Res64: 08022711B1B5915A Time : 0.0 sec. user=mdettweiler [2013-08-16 07:26:41] 615*2^1250901-1 is not prime. Res64: 784CEE091FE50E69 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:27:26] 627*2^1250901-1 is not prime. Res64: 3D72076B3DF099FE Time : 0.0 sec. user=mdettweiler [2013-08-16 07:27:26] 681*2^1250901-1 is not prime. Res64: 39B63C2646DE2E05 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:30:40] 777*2^1250901-1 is not prime. Res64: 6CC61AB11156C8ED Time : 0.0 sec. user=mdettweiler [2013-08-16 07:30:41] 819*2^1250901-1 is not prime. Res64: 29CFAE1564DAEF05 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:32:50] 937*2^1250901-1 is not prime. Res64: 55646D24A32D8981 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:32:50] 827*2^1250902-1 is not prime. Res64: E95EA4E0B61162D2 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:47:30] 833*2^1250902-1 is not prime. Res64: BC16F936767D1A23 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:47:30] 923*2^1250902-1 is not prime. Res64: 0CA84EED3B96BB76 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:48:21] 945*2^1250902-1 is not prime. Res64: 688C17D3F07DCDC0 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:48:21] 703*2^1250903-1 is not prime. Res64: 39BD90F8C898826A Time : 0.0 sec. user=mdettweiler [2013-08-16 07:50:37] 705*2^1250903-1 is not prime. Res64: EEDD0DA089F124AE Time : 0.0 sec. user=mdettweiler [2013-08-16 07:50:37] 729*2^1250903-1 is not prime. Res64: 51AE64598674C421 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:53:44] 991*2^1250903-1 is not prime. Res64: BA6E789D1854FE77 Time : 0.0 sec. user=mdettweiler [2013-08-16 07:53:45] 707*2^1250904-1 is not prime. Res64: 97B039E5B9FD4343 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:07:31] 795*2^1250904-1 is not prime. Res64: BDDEB86360974D73 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:07:32] 609*2^1250905-1 is not prime. Res64: 8C68D70D050DF27F Time : 0.0 sec. user=mdettweiler [2013-08-16 08:08:19] 699*2^1250905-1 is not prime. Res64: 0A08220C8388D78A Time : 0.0 sec. user=mdettweiler [2013-08-16 08:08:20] 847*2^1250905-1 is not prime. Res64: A76FCAB8133FFE50 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:10:32] 861*2^1250905-1 is not prime. Res64: F9C863C70ABF8686 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:10:33] 623*2^1250906-1 is not prime. Res64: 41E310E1FD9A7EB0 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:13:45] 677*2^1250906-1 is not prime. Res64: 45FBA2740DB6C5B9 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:13:46] 735*2^1250906-1 is not prime. Res64: 4C05F24CC94C6EAC Time : 0.0 sec. user=juhehe [2013-08-16 08:23:00] 955*2^1250903-1 is not prime. Res64: B7811CE9CF97E461 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:27:31] 743*2^1250906-1 is not prime. Res64: E6493ED0850EE300 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:27:31] 773*2^1250906-1 is not prime. Res64: D9AFE03000C451CC Time : 0.0 sec. user=mdettweiler [2013-08-16 08:28:25] 873*2^1250906-1 is not prime. Res64: 99CCA664E867E4F0 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:28:25] 887*2^1250906-1 is not prime. Res64: 3DA25C4C86D016C1 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:32:24] 923*2^1250906-1 is not prime. Res64: D3AEECD0A2EBC883 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:32:24] 953*2^1250906-1 is not prime. Res64: CE24C8FB4B712F38 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:34:42] 957*2^1250906-1 is not prime. Res64: E39BDA0AF160E165 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:34:42] 643*2^1250907-1 is not prime. Res64: 8FFEB6DF8D778937 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:48:20] 879*2^1250907-1 is not prime. Res64: FB34C2DCBA96CC03 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:48:20] 903*2^1250907-1 is not prime. Res64: F8E314E425E6F8C9 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:48:23] 605*2^1250908-1 is not prime. Res64: 01A9E8D337FD1014 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:48:24] 687*2^1250908-1 is not prime. Res64: 226F2A43F878710A Time : 0.0 sec. user=mdettweiler [2013-08-16 08:53:11] 735*2^1250908-1 is not prime. Res64: 8302F11E08F57EF4 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:53:11] 909*2^1250908-1 is not prime. Res64: E29016084D143615 Time : 0.0 sec. user=mdettweiler [2013-08-16 08:56:26] 933*2^1250908-1 is not prime. Res64: 5CBA59BAB79FD33B Time : 0.0 sec. user=mdettweiler [2013-08-16 08:56:27] 969*2^1250908-1 is not prime. Res64: 565166978A28DC5F Time : 0.0 sec. user=mdettweiler [2013-08-16 09:08:24] 649*2^1250909-1 is not prime. Res64: A357397AE6A8B8D2 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:08:25] 655*2^1250909-1 is not prime. Res64: 6E854BE3D22ADF67 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:09:11] 989*2^1250908-1 is not prime. Res64: DF105C4518571F7D Time : 0.0 sec. user=mdettweiler [2013-08-16 09:09:12] 615*2^1250909-1 is not prime. Res64: 09EDBCF164E98995 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:12:58] 685*2^1250909-1 is not prime. Res64: AD23E8C0BBA118F8 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:12:58] 771*2^1250909-1 is not prime. Res64: 998C78C0534D6888 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:16:17] 799*2^1250909-1 is not prime. Res64: 51C2A8E2C3E0B5B2 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:16:18] 801*2^1250909-1 is not prime. Res64: 4E5767B5970927DD Time : 0.0 sec. user=mdettweiler [2013-08-16 09:28:20] 831*2^1250909-1 is not prime. Res64: 9F5FB33EE5E24E50 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:28:21] 861*2^1250909-1 is not prime. Res64: F65E63246C2F04ED Time : 0.0 sec. user=mdettweiler [2013-08-16 09:29:58] 897*2^1250909-1 is not prime. Res64: B7E8D32C14E42187 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:29:58] 907*2^1250909-1 is not prime. Res64: 8DB567EB898B444D Time : 0.0 sec. user=mdettweiler [2013-08-16 09:32:51] 657*2^1250910-1 is not prime. Res64: 01BB4FB90BDE2C92 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:32:51] 717*2^1250910-1 is not prime. Res64: 0A0FA7884F8D189F Time : 0.0 sec. user=mdettweiler [2013-08-16 09:37:17] 861*2^1250910-1 is not prime. Res64: 404F88ABC5F52ED8 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:37:18] 945*2^1250910-1 is not prime. Res64: A848C748EA90A5F8 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:49:20] 977*2^1250910-1 is not prime. Res64: 5139B27C4E3578D4 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:49:20] 603*2^1250911-1 is not prime. Res64: CC4A678B6841D9F1 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:49:53] 649*2^1250911-1 is not prime. Res64: BD27AEA8AC704B66 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:49:53] 745*2^1250911-1 is not prime. Res64: BEA0339C07632CDE Time : 0.0 sec. user=mdettweiler [2013-08-16 09:52:44] 769*2^1250911-1 is not prime. Res64: BD0DFF40C7020EE1 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:52:44] 805*2^1250911-1 is not prime. Res64: A842D7C64B26B16B Time : 0.0 sec. user=mdettweiler [2013-08-16 09:57:10] 883*2^1250911-1 is not prime. Res64: ADE7E31720EB7BC1 Time : 0.0 sec. user=mdettweiler [2013-08-16 09:57:10] 895*2^1250911-1 is not prime. Res64: 8A0B2E916DC1B9DE Time : 0.0 sec. user=mdettweiler [2013-08-16 10:09:54] 603*2^1250912-1 is not prime. Res64: 33430AA839228575 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:09:55] 617*2^1250912-1 is not prime. Res64: 064B6E571397402C Time : 0.0 sec. user=mdettweiler [2013-08-16 10:10:16] 901*2^1250911-1 is not prime. Res64: 0E31B6D86FD0738A Time : 0.0 sec. user=mdettweiler [2013-08-16 10:10:18] 939*2^1250911-1 is not prime. Res64: BF8F2ADD2E4E5129 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:12:40] 633*2^1250912-1 is not prime. Res64: 16789BF3BC25DAEF Time : 0.0 sec. user=mdettweiler [2013-08-16 10:12:40] 683*2^1250912-1 is not prime. Res64: 5EE4572431006F5B Time : 0.0 sec. user=mdettweiler [2013-08-16 10:17:10] 797*2^1250912-1 is not prime. Res64: 463571C706F07A51 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:17:11] 833*2^1250912-1 is not prime. Res64: F5223D7551470A2D Time : 0.0 sec. user=mdettweiler [2013-08-16 10:31:19] 889*2^1250913-1 is not prime. Res64: B079FB1E6E91414D Time : 0.0 sec. user=mdettweiler [2013-08-16 10:31:19] 951*2^1250913-1 is not prime. Res64: AABAA76254C3F77F Time : 0.0 sec. user=mdettweiler [2013-08-16 10:31:54] 983*2^1250912-1 is not prime. Res64: 7559AFDA6FE37E99 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:31:55] 999*2^1250912-1 is not prime. Res64: E909616C168020E9 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:32:49] 651*2^1250914-1 is not prime. Res64: 53A03A60884D18D0 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:32:50] 825*2^1250914-1 is not prime. Res64: 3BF5BAF6D1D013AD Time : 0.0 sec. user=mdettweiler [2013-08-16 10:38:05] 957*2^1250914-1 is not prime. Res64: A0C8005FAE9E0A43 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:38:06] 645*2^1250915-1 is not prime. Res64: 8CB311B609E15B9D Time : 0.0 sec. user=mdettweiler [2013-08-16 10:51:17] 775*2^1250915-1 is not prime. Res64: 3A28EBDABE473878 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:51:18] 871*2^1250915-1 is not prime. Res64: FD89D642D893CCAE Time : 0.0 sec. user=mdettweiler [2013-08-16 10:51:52] 647*2^1250916-1 is not prime. Res64: 18902A60DB1BA6DF Time : 0.0 sec. user=mdettweiler [2013-08-16 10:51:53] 675*2^1250916-1 is not prime. Res64: 469C28E82FF9668D Time : 0.0 sec. user=mdettweiler [2013-08-16 10:52:43] 693*2^1250916-1 is not prime. Res64: BD2E8D5654C62DEA Time : 0.0 sec. user=mdettweiler [2013-08-16 10:52:43] 845*2^1250916-1 is not prime. Res64: 3BD3BCE260D42753 Time : 0.0 sec. user=juhehe [2013-08-16 10:57:30] 935*2^1250912-1 is not prime. Res64: E704A01D4D763C03 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:58:01] 609*2^1250917-1 is not prime. Res64: 43D6441581FB8591 Time : 0.0 sec. user=mdettweiler [2013-08-16 10:58:02] 625*2^1250917-1 is not prime. Res64: 7E522B0ACDA0E4DF Time : 0.0 sec. user=mdettweiler [2013-08-16 11:11:05] 729*2^1250917-1 is not prime. Res64: 0808BDACA1B020CE Time : 0.0 sec. user=mdettweiler [2013-08-16 11:11:06] 757*2^1250917-1 is not prime. Res64: B7EBEB72669959AE Time : 0.0 sec. user=mdettweiler [2013-08-16 11:11:41] 819*2^1250917-1 is not prime. Res64: D84F06FCB5C726B8 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:11:42] 829*2^1250917-1 is not prime. Res64: 52E007F131574B38 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:12:31] 867*2^1250917-1 is not prime. Res64: 838FE7083C08C34D Time : 0.0 sec. user=mdettweiler [2013-08-16 11:12:32] 897*2^1250917-1 is not prime. Res64: EEA8573F60CEF937 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:18:46] 945*2^1250917-1 is not prime. Res64: CEAE3F8207250506 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:18:46] 833*2^1250918-1 is not prime. Res64: 26407E6CFB3A21CD Time : 0.0 sec. user=mdettweiler [2013-08-16 11:30:59] 619*2^1250919-1 is not prime. Res64: C427BDC833C03D8B Time : 0.0 sec. user=mdettweiler [2013-08-16 11:30:59] 663*2^1250919-1 is not prime. Res64: 3D9ECC46E465A7A8 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:31:40] 865*2^1250919-1 is not prime. Res64: E1E41884F9B91844 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:31:41] 609*2^1250920-1 is not prime. Res64: A94C34CDAB9AFCBF Time : 0.0 sec. user=mdettweiler [2013-08-16 11:32:24] 615*2^1250920-1 is not prime. Res64: AAE59817D83A3AC8 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:32:24] 719*2^1250920-1 is not prime. Res64: D7E0CD55C8D5AB69 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:39:33] 839*2^1250920-1 is not prime. Res64: 05C515437DCA3AB3 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:39:34] 917*2^1250920-1 is not prime. Res64: AE75E0CCDEC2295C Time : 0.0 sec. user=mdettweiler [2013-08-16 11:51:34] 657*2^1250921-1 is not prime. Res64: 24849790C2B56DFA Time : 0.0 sec. user=mdettweiler [2013-08-16 11:51:34] 879*2^1250921-1 is not prime. Res64: 2BA73F95D165F0D3 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:52:46] 957*2^1250920-1 is not prime. Res64: 41EEC109CB508940 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:52:47] 995*2^1250920-1 is not prime. Res64: F0E08CDFD40542C6 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:53:10] 997*2^1250921-1 is not prime. Res64: F9E48823AACD27C8 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:53:11] 635*2^1250922-1 is not prime. Res64: 5AC84A13730E3432 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:59:25] 725*2^1250922-1 is not prime. Res64: 613EDC71117C81C2 Time : 0.0 sec. user=mdettweiler [2013-08-16 11:59:25] 755*2^1250922-1 is not prime. Res64: 7377CF5A306C396B Time : 0.0 sec. user=mdettweiler [2013-08-16 12:11:35] 815*2^1250922-1 is not prime. Res64: A3DF0DC58BC67AD7 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:11:35] 825*2^1250922-1 is not prime. Res64: 4A93D7FCA189B23B Time : 0.0 sec. user=mdettweiler [2013-08-16 12:12:49] 885*2^1250922-1 is not prime. Res64: DBC1A2559F27084E Time : 0.0 sec. user=mdettweiler [2013-08-16 12:12:50] 625*2^1250923-1 is not prime. Res64: C7A80F6272CB4A7D Time : 0.0 sec. user=mdettweiler [2013-08-16 12:13:11] 793*2^1250923-1 is not prime. Res64: 7F391AB65AB31D05 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:13:11] 805*2^1250923-1 is not prime. Res64: 1D6BBE6B20AE6711 Time : 0.0 sec. user=juhehe [2013-08-16 12:14:56] 657*2^1250922-1 is not prime. Res64: 4CEB3AAD32736A9D Time : 0.0 sec. user=mdettweiler [2013-08-16 12:19:19] 829*2^1250923-1 is not prime. Res64: 857F6F4CFF8C0B4B Time : 0.0 sec. user=mdettweiler [2013-08-16 12:19:20] 853*2^1250923-1 is not prime. Res64: ABC6F0F2DE5BE27A Time : 0.0 sec. user=mdettweiler [2013-08-16 12:31:28] 855*2^1250923-1 is not prime. Res64: 7796D095E537606C Time : 0.0 sec. user=mdettweiler [2013-08-16 12:31:28] 861*2^1250923-1 is not prime. Res64: D0ED7B7F2B4E373B Time : 0.0 sec. user=mdettweiler [2013-08-16 12:32:43] 871*2^1250923-1 is not prime. Res64: 9CCEE9C6524431EF Time : 0.0 sec. user=mdettweiler [2013-08-16 12:32:43] 663*2^1250924-1 is not prime. Res64: 07F6AEEEA0906B14 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:33:08] 665*2^1250924-1 is not prime. Res64: E3479EB19BE15A38 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:33:08] 759*2^1250924-1 is not prime. Res64: 17DCDCC424896B3B Time : 0.0 sec. user=mdettweiler [2013-08-16 12:39:12] 897*2^1250924-1 is not prime. Res64: F765DD9CF26A1C6F Time : 0.0 sec. user=mdettweiler [2013-08-16 12:39:12] 899*2^1250924-1 is not prime. Res64: DB8BCF9282683211 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:52:21] 927*2^1250924-1 is not prime. Res64: 976F5C4F2AECCDAB Time : 0.0 sec. user=mdettweiler [2013-08-16 12:52:22] 607*2^1250925-1 is not prime. Res64: 92DDF425D529F132 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:52:38] 721*2^1250925-1 is not prime. Res64: 582E9F8CC1837D03 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:52:38] 795*2^1250925-1 is not prime. Res64: 53268D4DEEEBE644 Time : 0.0 sec. user=mdettweiler [2013-08-16 12:53:59] 975*2^1250925-1 is not prime. Res64: 26CFBA67D8BB38EB Time : 0.0 sec. user=mdettweiler [2013-08-16 12:53:59] 603*2^1250926-1 is not prime. Res64: 1D918DFDF6B038BA Time : 0.0 sec. user=juhehe [2013-08-16 12:58:56] 843*2^1250924-1 is not prime. Res64: 8E90202B61186A3D Time : 0.0 sec. user=mdettweiler [2013-08-16 12:59:08] 723*2^1250926-1 is not prime. Res64: 3AFB48AEC46ACE4D Time : 0.0 sec. user=mdettweiler [2013-08-16 12:59:08] 843*2^1250926-1 is not prime. Res64: BFBCB505EE52BD18 Time : 0.0 sec. user=juhehe [2013-08-16 13:09:17] 657*2^1250926-1 is not prime. Res64: 460145789BB3044E Time : 0.0 sec. user=mdettweiler [2013-08-16 13:12:33] 643*2^1250927-1 is not prime. Res64: 0C9F6AC760109B49 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:12:33] 645*2^1250927-1 is not prime. Res64: FA397BF8066AB3ED Time : 0.0 sec. user=mdettweiler [2013-08-16 13:13:14] 965*2^1250926-1 is not prime. Res64: 39341DDD9F5F36DF Time : 0.0 sec. user=mdettweiler [2013-08-16 13:13:14] 619*2^1250927-1 is not prime. Res64: 97A884C385870968 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:13:54] 703*2^1250927-1 is not prime. Res64: 741A919DEC42EBDB Time : 0.0 sec. user=mdettweiler [2013-08-16 13:13:55] 871*2^1250927-1 is not prime. Res64: F365989760BB840B Time : 0.0 sec. user=mdettweiler [2013-08-16 13:19:06] 627*2^1250928-1 is not prime. Res64: E5DA9B869AA4FE6D Time : 0.0 sec. user=mdettweiler [2013-08-16 13:19:06] 699*2^1250928-1 is not prime. Res64: 054B81C5D330BDAA Time : 0.0 sec. user=mdettweiler [2013-08-16 13:32:26] 765*2^1250928-1 is not prime. Res64: F6B87C10A8C58946 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:32:26] 789*2^1250928-1 is not prime. Res64: 90CA97C16FAD296E Time : 0.0 sec. user=mdettweiler [2013-08-16 13:33:53] 799*2^1250929-1 is not prime. Res64: 6B3FFD99F41A1564 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:33:53] 811*2^1250929-1 is not prime. Res64: 5195214936684E9E Time : 0.0 sec. user=mdettweiler [2013-08-16 13:34:02] 945*2^1250928-1 is not prime. Res64: 7ACDBF4FC05252E9 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:34:02] 721*2^1250929-1 is not prime. Res64: 579D235D594D394C Time : 0.0 sec. user=mdettweiler [2013-08-16 13:39:01] 819*2^1250929-1 is not prime. Res64: 12AFE922440B3D50 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:39:01] 635*2^1250930-1 is not prime. Res64: A9AF42D0567CABC6 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:52:18] 743*2^1250930-1 is not prime. Res64: ECF6EDAD661F18DC Time : 0.0 sec. user=mdettweiler [2013-08-16 13:52:18] 801*2^1250930-1 is not prime. Res64: 7B313934AC0A4B19 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:53:49] 851*2^1250930-1 is not prime. Res64: 026EEB986AB0572B Time : 0.0 sec. user=mdettweiler [2013-08-16 13:53:49] 885*2^1250930-1 is not prime. Res64: 54FBD78FEED533C1 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:54:53] 887*2^1250930-1 is not prime. Res64: CBCE2F28BF42AE3B Time : 0.0 sec. user=mdettweiler [2013-08-16 13:54:53] 971*2^1250930-1 is not prime. Res64: 795EEC213E8DD1D1 Time : 0.0 sec. user=mdettweiler [2013-08-16 13:58:58] 849*2^1250931-1 is not prime. Res64: 7E8FA1620D56A0DB Time : 0.0 sec. user=mdettweiler [2013-08-16 13:58:59] 693*2^1250932-1 is not prime. Res64: D212A9746AF78A6B Time : 0.0 sec. user=mdettweiler [2013-08-16 14:12:19] 777*2^1250932-1 is not prime. Res64: FD18A4785BE57207 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:12:19] 807*2^1250932-1 is not prime. Res64: 66BB22BD4128B108 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:15:46] 933*2^1250932-1 is not prime. Res64: 6EC0AD387C38555B Time : 0.0 sec. user=mdettweiler [2013-08-16 14:15:47] 957*2^1250932-1 is not prime. Res64: 7C3E93120F496D4D Time : 0.0 sec. user=mdettweiler [2013-08-16 14:16:47] 965*2^1250932-1 is not prime. Res64: 4194F8D491A50767 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:16:47] 983*2^1250932-1 is not prime. Res64: 3433A6133A397DE2 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:19:57] 987*2^1250932-1 is not prime. Res64: 7FF99C788D052011 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:19:57] 669*2^1250933-1 is not prime. Res64: 7CA7E00831CBE108 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:32:28] 697*2^1250933-1 is not prime. Res64: 268475774E5A7177 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:32:28] 699*2^1250933-1 is not prime. Res64: E49C10A31D90B41D Time : 0.0 sec. user=mdettweiler [2013-08-16 14:35:51] 729*2^1250933-1 is not prime. Res64: 8BC11CBC9625E02E Time : 0.0 sec. user=mdettweiler [2013-08-16 14:35:51] 771*2^1250933-1 is not prime. Res64: E6F5EFF7C0E2AF1E Time : 0.0 sec. user=mdettweiler [2013-08-16 14:36:44] 775*2^1250933-1 is not prime. Res64: 7F3514590D6AEA8F Time : 0.0 sec. user=mdettweiler [2013-08-16 14:36:44] 615*2^1250934-1 is not prime. Res64: B48E6834E06909C8 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:39:58] 663*2^1250934-1 is not prime. Res64: 0877B3F548BFF84C Time : 0.0 sec. user=mdettweiler [2013-08-16 14:39:58] 737*2^1250934-1 is not prime. Res64: 552397F834AF4123 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:53:31] 807*2^1250934-1 is not prime. Res64: E31EB41537E2F71C Time : 0.0 sec. user=mdettweiler [2013-08-16 14:53:31] 927*2^1250934-1 is not prime. Res64: 6B65DD2E76D1896D Time : 0.0 sec. user=mdettweiler [2013-08-16 14:56:46] 971*2^1250934-1 is not prime. Res64: E417749C2770591D Time : 0.0 sec. user=mdettweiler [2013-08-16 14:56:47] 603*2^1250935-1 is not prime. Res64: BDA2395BD1544C93 Time : 0.0 sec. user=mdettweiler [2013-08-16 14:56:47] 741*2^1250935-1 is not prime. Res64: 930D151C6F6582DE Time : 0.0 sec. user=mdettweiler [2013-08-16 14:56:48] 831*2^1250935-1 is not prime. Res64: 3612D8071296E799 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:00:07] 855*2^1250935-1 is not prime. Res64: 1DE8925E8FA08C63 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:00:08] 883*2^1250935-1 is not prime. Res64: 88ACB1A75189BE5D Time : 0.0 sec. user=mdettweiler [2013-08-16 15:15:32] 961*2^1250935-1 is not prime. Res64: B04A93B6EE732630 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:15:32] 985*2^1250935-1 is not prime. Res64: 132C4C7DBE2B2504 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:16:50] 683*2^1250936-1 is not prime. Res64: C7363FBD2DA103A4 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:16:50] 725*2^1250936-1 is not prime. Res64: DF47DD54980A65C9 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:16:51] 785*2^1250936-1 is not prime. Res64: 2276CE052E54190C Time : 0.0 sec. user=mdettweiler [2013-08-16 15:16:51] 839*2^1250936-1 is not prime. Res64: 69AB5A554BA1D074 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:20:10] 875*2^1250936-1 is not prime. Res64: 123DB68A1F1C8D69 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:20:10] 639*2^1250937-1 is not prime. Res64: 8C184CAAA4A61B73 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:35:41] 717*2^1250937-1 is not prime. Res64: 2D86370F93313356 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:35:41] 747*2^1250937-1 is not prime. Res64: 64453BC6A3E65454 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:36:54] 817*2^1250937-1 is not prime. Res64: C6B244121E38EEBB Time : 0.0 sec. user=mdettweiler [2013-08-16 15:36:54] 871*2^1250937-1 is not prime. Res64: 5B7D477C122C9DF1 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:37:51] 889*2^1250937-1 is not prime. Res64: 80CD2DD3AB3654D3 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:37:52] 909*2^1250937-1 is not prime. Res64: B93FBCFAF02478B6 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:40:20] 603*2^1250938-1 is not prime. Res64: E3575A06677ECE5D Time : 0.0 sec. user=mdettweiler [2013-08-16 15:40:20] 645*2^1250938-1 is not prime. Res64: 9B76BAEA72CE073C Time : 0.0 sec. user=mdettweiler [2013-08-16 15:56:52] 695*2^1250938-1 is not prime. Res64: 1030B185262F9A17 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:56:52] 923*2^1250938-1 is not prime. Res64: 240B467C714B223E Time : 0.0 sec. user=mdettweiler [2013-08-16 15:57:59] 945*2^1250938-1 is not prime. Res64: 55DAC7813BCFE085 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:58:00] 663*2^1250939-1 is not prime. Res64: 5C7DFEBC0682C589 Time : 0.0 sec. user=mdettweiler [2013-08-16 15:58:08] 705*2^1250939-1 is not prime. Res64: CB57CD6F27D2448A Time : 0.0 sec. user=mdettweiler [2013-08-16 15:58:08] 733*2^1250939-1 is not prime. Res64: D1D1172D7ECFD305 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:00:31] 753*2^1250939-1 is not prime. Res64: D6AC6C97DEE5F963 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:00:32] 759*2^1250939-1 is not prime. Res64: 802944AEEEF6C1D1 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:17:04] 823*2^1250939-1 is not prime. Res64: 9AFCAA2BBA8312AE Time : 0.0 sec. user=mdettweiler [2013-08-16 16:17:05] 883*2^1250939-1 is not prime. Res64: FD079F19D8AD18AB Time : 0.0 sec. user=mdettweiler [2013-08-16 16:19:12] 993*2^1250939-1 is not prime. Res64: C2E298C8E8394951 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:19:13] 609*2^1250940-1 is not prime. Res64: 7ED05CAEFFC979ED Time : 0.0 sec. user=mdettweiler [2013-08-16 16:19:59] 943*2^1250939-1 is not prime. Res64: 41B94E0C6DC428FF Time : 0.0 sec. user=mdettweiler [2013-08-16 16:19:59] 985*2^1250939-1 is not prime. Res64: F7C8FE3F48B1CAF3 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:20:43] 623*2^1250940-1 is not prime. Res64: 64094B6D94C9D572 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:20:43] 719*2^1250940-1 is not prime. Res64: E5B68B5A180F1445 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:37:32] 777*2^1250940-1 is not prime. Res64: 41A209604CE01E34 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:37:32] 839*2^1250940-1 is not prime. Res64: D27E25A9BD29B8AB Time : 0.0 sec. user=mdettweiler [2013-08-16 16:39:36] 845*2^1250940-1 is not prime. Res64: A7A789ACBD230648 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:39:36] 873*2^1250940-1 is not prime. Res64: 749451970470F9FA Time : 0.0 sec. user=mdettweiler [2013-08-16 16:41:17] 875*2^1250940-1 is not prime. Res64: 8D199733A5ABC023 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:41:18] 909*2^1250940-1 is not prime. Res64: 2C5486B20C4D23CC Time : 0.0 sec. user=mdettweiler [2013-08-16 16:42:15] 915*2^1250940-1 is not prime. Res64: 3F3DC1ACB2026FDA Time : 0.0 sec. user=mdettweiler [2013-08-16 16:42:15] 601*2^1250941-1 is not prime. Res64: 62B53EE4D1177B63 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:58:06] 651*2^1250941-1 is not prime. Res64: F784ED89C8E15111 Time : 0.0 sec. user=mdettweiler [2013-08-16 16:58:07] 687*2^1250941-1 is not prime. Res64: 47A918F02D756515 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:00:07] 751*2^1250941-1 is not prime. Res64: 95A04217988510FF Time : 0.0 sec. user=mdettweiler [2013-08-16 17:00:08] 889*2^1250941-1 is not prime. Res64: 7E4CFFD8513906A9 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:02:49] 651*2^1250942-1 is not prime. Res64: 7123F7F20397AD95 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:02:50] 711*2^1250942-1 is not prime. Res64: 5AE824934EB2C04D Time : 0.0 sec. user=mdettweiler [2013-08-16 17:02:55] 895*2^1250941-1 is not prime. Res64: 6E203D26B5868F4E Time : 0.0 sec. user=mdettweiler [2013-08-16 17:02:56] 951*2^1250941-1 is not prime. Res64: 6D7FA33184B65B0E Time : 0.0 sec. user=mdettweiler [2013-08-16 17:18:23] 885*2^1250942-1 is not prime. Res64: 9DCC4959C3D1CF9F Time : 0.0 sec. user=mdettweiler [2013-08-16 17:18:23] 897*2^1250942-1 is not prime. Res64: B23B45B33D203FAC Time : 0.0 sec. user=mdettweiler [2013-08-16 17:22:23] 923*2^1250942-1 is not prime. Res64: 58E85DBEB93D4016 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:22:24] 1001*2^1250942-1 is not prime. Res64: B1B9753156FB28B0 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:23:05] 675*2^1250943-1 is not prime. Res64: 80B89C82C0414145 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:23:05] 685*2^1250943-1 is not prime. Res64: 59F105EA42D46DBD Time : 0.0 sec. user=mdettweiler [2013-08-16 17:23:11] 693*2^1250943-1 is not prime. Res64: 392B89DD39C87826 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:23:11] 735*2^1250943-1 is not prime. Res64: 9197B90604ABAEAC Time : 0.0 sec. user=mdettweiler [2013-08-16 17:38:39] 741*2^1250943-1 is not prime. Res64: 7C660B688398810B Time : 0.0 sec. user=mdettweiler [2013-08-16 17:38:39] 751*2^1250943-1 is not prime. Res64: FBAF37EC4BCF1455 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:42:37] 793*2^1250943-1 is not prime. Res64: 7B1F7EBB7B5B3A4F Time : 0.0 sec. user=mdettweiler [2013-08-16 17:42:37] 859*2^1250943-1 is not prime. Res64: 29D26F070A4F403F Time : 0.0 sec. user=mdettweiler [2013-08-16 17:43:27] 885*2^1250943-1 is not prime. Res64: CB67F400FD2228E3 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:43:27] 891*2^1250943-1 is not prime. Res64: 1DE1C4F921D436C2 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:44:23] 895*2^1250943-1 is not prime. Res64: 9326C98042EA5119 Time : 0.0 sec. user=mdettweiler [2013-08-16 17:44:24] 919*2^1250943-1 is not prime. Res64: 1AF3AD25603BFA48 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:00:56] 945*2^1250943-1 is not prime. Res64: 074EFB24DC72F709 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:00:57] 963*2^1250943-1 is not prime. Res64: FB5BB68700E41E44 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:02:52] 635*2^1250944-1 is not prime. Res64: C5D5A6CB4F74850C Time : 0.0 sec. user=mdettweiler [2013-08-16 18:02:53] 843*2^1250944-1 is not prime. Res64: 2FCA6619C1D9F889 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:04:38] 799*2^1250945-1 is not prime. Res64: D021E3FF0C139AC7 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:04:39] 889*2^1250945-1 is not prime. Res64: BD664AA0E8BC8FC4 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:04:45] 863*2^1250944-1 is not prime. Res64: D6D26EF254D30B90 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:04:46] 917*2^1250944-1 is not prime. Res64: 891630DCD6BE0F3D Time : 0.0 sec. user=mdettweiler [2013-08-16 18:23:36] 907*2^1250945-1 is not prime. Res64: 79A9B3C310A1A207 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:23:37] 925*2^1250945-1 is not prime. Res64: 415393A42DDBC42D Time : 0.0 sec. user=mdettweiler [2013-08-16 18:24:31] 987*2^1250945-1 is not prime. Res64: 640292CB7826B83D Time : 0.0 sec. user=mdettweiler [2013-08-16 18:24:32] 627*2^1250946-1 is not prime. Res64: 271441C0433DCF0A Time : 0.0 sec. user=mdettweiler [2013-08-16 18:25:08] 671*2^1250946-1 is not prime. Res64: 6B7F627AC9A60B49 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:25:08] 677*2^1250946-1 is not prime. Res64: 575B71E2F27AF1DF Time : 0.0 sec. user=mdettweiler [2013-08-16 18:25:14] 737*2^1250946-1 is not prime. Res64: 018B0BCA9D2FB733 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:25:14] 741*2^1250946-1 is not prime. Res64: A86EF4367A3F858A Time : 0.0 sec. user=mdettweiler [2013-08-16 18:44:03] 767*2^1250946-1 is not prime. Res64: D6AD83D861838F4E Time : 0.0 sec. user=mdettweiler [2013-08-16 18:44:03] 807*2^1250946-1 is not prime. Res64: D12D1F0990685464 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:45:25] 733*2^1250947-1 is not prime. Res64: 4A0A0C33103EE8B1 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:45:26] 793*2^1250947-1 is not prime. Res64: D6C5AE7E397CE83E Time : 0.0 sec. user=mdettweiler [2013-08-16 18:45:34] 805*2^1250947-1 is not prime. Res64: 625D5B3F9758A464 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:45:34] 859*2^1250947-1 is not prime. Res64: DA40D70E6DF3FF49 Time : 0.0 sec. user=mdettweiler [2013-08-16 18:46:47] 945*2^1250946-1 is not prime. Res64: A9228B15924AA7CF Time : 0.0 sec. user=mdettweiler [2013-08-16 18:46:47] 947*2^1250946-1 is not prime. Res64: D49F95BB2B8389A5 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:04:17] 873*2^1250947-1 is not prime. Res64: 69256F1C62494741 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:04:18] 883*2^1250947-1 is not prime. Res64: 09EDF127DE3D3500 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:05:39] 659*2^1250948-1 is not prime. Res64: 8C37F27F566A8046 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:05:40] 707*2^1250948-1 is not prime. Res64: 8A8DBD67C45C2696 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:05:48] 753*2^1250948-1 is not prime. Res64: F4CFB6CEC1BE4D06 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:05:49] 797*2^1250948-1 is not prime. Res64: 195C7F841E555E8D Time : 0.0 sec. user=mdettweiler [2013-08-16 19:07:59] 845*2^1250948-1 is not prime. Res64: 00653234EC3AFC26 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:08:00] 977*2^1250948-1 is not prime. Res64: C8EE4FA0E4A332A8 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:25:36] 995*2^1250948-1 is not prime. Res64: 3F3A6A59B64CD5F4 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:25:36] 609*2^1250949-1 is not prime. Res64: D343EE590DD34533 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:25:58] 627*2^1250949-1 is not prime. Res64: 108EF751FB9FEB71 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:25:58] 751*2^1250949-1 is not prime. Res64: 89A1C05AAC226816 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:26:11] 765*2^1250949-1 is not prime. Res64: 57839C0F0FC1200F Time : 0.0 sec. user=mdettweiler [2013-08-16 19:26:11] 769*2^1250949-1 is not prime. Res64: F12479C09E0859A1 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:28:16] 781*2^1250949-1 is not prime. Res64: 3186AF751F498B25 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:28:16] 787*2^1250949-1 is not prime. Res64: 334EFB5C84EB63CE Time : 0.0 sec. user=mdettweiler [2013-08-16 19:45:51] 789*2^1250949-1 is not prime. Res64: 4945B8ABB9E07BB3 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:45:52] 825*2^1250949-1 is not prime. Res64: D9F34FD0C3835A8F Time : 0.0 sec. user=mdettweiler [2013-08-16 19:46:10] 835*2^1250949-1 is not prime. Res64: E38913A497FEB313 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:46:10] 847*2^1250949-1 is not prime. Res64: E5359340193C99BB Time : 0.0 sec. user=mdettweiler [2013-08-16 19:47:21] 979*2^1250949-1 is not prime. Res64: ED4F0374F2D91CD7 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:47:21] 645*2^1250950-1 is not prime. Res64: D7C23A43D4BF5A6C Time : 0.0 sec. user=mdettweiler [2013-08-16 19:48:26] 653*2^1250950-1 is not prime. Res64: 2083833D9637EAA2 Time : 0.0 sec. user=mdettweiler [2013-08-16 19:48:26] 717*2^1250950-1 is not prime. Res64: 7B1853BEE8E781A3 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:06:03] 741*2^1250950-1 is not prime. Res64: 971008133342F8DB Time : 0.0 sec. user=mdettweiler [2013-08-16 20:06:05] 825*2^1250950-1 is not prime. Res64: 576C60C2E55C3472 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:07:16] 845*2^1250950-1 is not prime. Res64: 770648A44C69BFDF Time : 0.0 sec. user=mdettweiler [2013-08-16 20:07:17] 965*2^1250950-1 is not prime. Res64: 7A152809052B11A8 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:07:40] 603*2^1250951-1 is not prime. Res64: D8D94D3AA5749C06 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:07:40] 669*2^1250951-1 is not prime. Res64: 132E4BBE870AD864 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:08:35] 705*2^1250951-1 is not prime. Res64: FD7CC71EC7C2CFFA Time : 0.0 sec. user=mdettweiler [2013-08-16 20:08:35] 753*2^1250951-1 is not prime. Res64: 841728C63A6E8326 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:26:19] 781*2^1250951-1 is not prime. Res64: 51130FC0F8E436F4 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:26:20] 783*2^1250951-1 is not prime. Res64: CE6028EEC0FE2293 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:27:34] 635*2^1250952-1 is not prime. Res64: 2C6FE321E5E4369E Time : 0.0 sec. user=mdettweiler [2013-08-16 20:27:34] 723*2^1250952-1 is not prime. Res64: 8B55092B4A43ED65 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:27:49] 767*2^1250952-1 is not prime. Res64: EB32AC9FEE22A22E Time : 0.0 sec. user=mdettweiler [2013-08-16 20:27:49] 887*2^1250952-1 is not prime. Res64: 0E1826CC8A21EC68 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:29:49] 929*2^1250952-1 is not prime. Res64: 1AB4335D15848A49 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:29:50] 751*2^1250953-1 is not prime. Res64: 0F262D024336B1EE Time : 0.0 sec. user=mdettweiler [2013-08-16 20:46:31] 801*2^1250953-1 is not prime. Res64: DDAE1AB7A15FFAD2 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:46:31] 895*2^1250953-1 is not prime. Res64: A53CB7F9A525267D Time : 0.0 sec. user=mdettweiler [2013-08-16 20:47:45] 731*2^1250954-1 is not prime. Res64: 2B3E397954F0CBC0 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:47:45] 813*2^1250954-1 is not prime. Res64: A52A6062FB12A3DC Time : 0.0 sec. user=mdettweiler [2013-08-16 20:48:54] 917*2^1250954-1 is not prime. Res64: A3F7357FFC7B2FCD Time : 0.0 sec. user=mdettweiler [2013-08-16 20:48:55] 639*2^1250955-1 is not prime. Res64: 3270275DAA9BD679 Time : 0.0 sec. user=mdettweiler [2013-08-16 20:49:57] 723*2^1250955-1 is not prime. Res64: 98D0228A4572BA6B Time : 0.0 sec. user=mdettweiler [2013-08-16 20:49:58] 739*2^1250955-1 is not prime. Res64: FDD4DE480ACB54D2 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:06:54] 775*2^1250955-1 is not prime. Res64: 57E6AFD2F9EAA9F1 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:06:55] 783*2^1250955-1 is not prime. Res64: 979C4D5CDAEA4E59 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:08:57] 973*2^1250955-1 is not prime. Res64: 3B78EA78B5AAD73A Time : 0.0 sec. user=mdettweiler [2013-08-16 21:08:58] 629*2^1250956-1 is not prime. Res64: BD272EE61FBAC797 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:09:13] 695*2^1250956-1 is not prime. Res64: 6F9B9618DDDEA3CD Time : 0.0 sec. user=mdettweiler [2013-08-16 21:09:14] 707*2^1250956-1 is not prime. Res64: 0C9AC5CFF04E5808 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:10:11] 773*2^1250956-1 is not prime. Res64: 7764125E100E5143 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:10:12] 783*2^1250956-1 is not prime. Res64: C75436AFED8F7544 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:27:13] 875*2^1250956-1 is not prime. Res64: C38CAF461ACCE7ED Time : 0.0 sec. user=mdettweiler [2013-08-16 21:27:14] 887*2^1250956-1 is not prime. Res64: 320103B53D3B262A Time : 0.0 sec. user=mdettweiler [2013-08-16 21:30:29] 989*2^1250956-1 is not prime. Res64: A4DAC2F9FD0A45C4 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:30:29] 607*2^1250957-1 is not prime. Res64: FE558ADCE5D0BB6F Time : 0.0 sec. user=mdettweiler [2013-08-16 21:30:32] 631*2^1250957-1 is not prime. Res64: 97B9DF0C365E3514 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:30:33] 655*2^1250957-1 is not prime. Res64: 792435561A7672D9 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:31:12] 903*2^1250956-1 is not prime. Res64: 6219662C13AEC875 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:31:12] 927*2^1250956-1 is not prime. Res64: F976098188EB7985 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:47:32] 685*2^1250957-1 is not prime. Res64: 71A46171FF5D56E3 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:47:33] 697*2^1250957-1 is not prime. Res64: A0685AF3B114F697 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:50:44] 747*2^1250957-1 is not prime. Res64: 2DC0FDEFF0C22E2A Time : 0.0 sec. user=mdettweiler [2013-08-16 21:50:44] 771*2^1250957-1 is not prime. Res64: B5D922F562229981 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:51:38] 651*2^1250958-1 is not prime. Res64: DD3F737A726BCDA5 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:51:38] 663*2^1250958-1 is not prime. Res64: 366887235E6009A8 Time : 0.0 sec. user=mdettweiler [2013-08-16 21:51:47] 819*2^1250957-1 is not prime. Res64: F048113B036C8F4E Time : 0.0 sec. user=mdettweiler [2013-08-16 21:51:47] 915*2^1250957-1 is not prime. Res64: 1ACDFD699D963A10 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:07:56] 707*2^1250958-1 is not prime. Res64: 6F04EDB0276C3A7B Time : 0.0 sec. user=mdettweiler [2013-08-16 22:07:56] 713*2^1250958-1 is not prime. Res64: 2381BF8A5C11BFB2 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:11:09] 861*2^1250958-1 is not prime. Res64: E5315ECCB57672BB Time : 0.0 sec. user=mdettweiler [2013-08-16 22:11:09] 885*2^1250958-1 is not prime. Res64: AC0A944F270F8FC4 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:13:00] 893*2^1250958-1 is not prime. Res64: 3DF2F63AB2048ECA Time : 0.0 sec. user=mdettweiler [2013-08-16 22:13:01] 963*2^1250958-1 is not prime. Res64: B0D59CF30DC93AD8 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:13:08] 977*2^1250958-1 is not prime. Res64: 018FF4B3681A59D6 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:13:09] 775*2^1250959-1 is not prime. Res64: 836AD1DA91DD7D52 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:28:24] 789*2^1250959-1 is not prime. Res64: 43D457961508329F Time : 0.0 sec. user=mdettweiler [2013-08-16 22:28:24] 831*2^1250959-1 is not prime. Res64: 6F046B5FFA5C2FDE Time : 0.0 sec. user=mdettweiler [2013-08-16 22:31:34] 843*2^1250959-1 is not prime. Res64: C9097FE830CD3B20 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:31:35] 713*2^1250960-1 is not prime. Res64: 08FD22853FB62430 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:33:25] 843*2^1250960-1 is not prime. Res64: 160E26903EA8E802 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:33:26] 845*2^1250960-1 is not prime. Res64: BBE44C7B65B2410D Time : 0.0 sec. user=mdettweiler [2013-08-16 22:34:32] 879*2^1250960-1 is not prime. Res64: 38505655FC2E69CF Time : 0.0 sec. user=mdettweiler [2013-08-16 22:34:32] 929*2^1250960-1 is not prime. Res64: 67167F4D48A84060 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:48:49] 795*2^1250961-1 is not prime. Res64: B5039E361DDBBB1D Time : 0.0 sec. user=mdettweiler [2013-08-16 22:48:50] 861*2^1250961-1 is not prime. Res64: 80E7F8AC819B93E9 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:53:51] 907*2^1250961-1 is not prime. Res64: 6DE11F6EA4CD399E Time : 0.0 sec. user=mdettweiler [2013-08-16 22:53:51] 937*2^1250961-1 is not prime. Res64: 3A848437BC082E72 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:54:56] 645*2^1250962-1 is not prime. Res64: E68E0BE97762ED99 Time : 0.0 sec. user=mdettweiler [2013-08-16 22:54:56] 651*2^1250962-1 is not prime. Res64: 34F43411A673486D Time : 0.0 sec. user=mdettweiler [2013-08-16 22:55:46] 949*2^1250961-1 is not prime. Res64: A8C76A2E0CECB04F Time : 0.0 sec. user=mdettweiler [2013-08-16 22:55:46] 975*2^1250961-1 is not prime. Res64: 724CABD8C0DC9278 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:09:11] 665*2^1250962-1 is not prime. Res64: 2C3449F2F9C99EDA Time : 0.0 sec. user=mdettweiler [2013-08-16 23:09:12] 695*2^1250962-1 is not prime. Res64: 29A2F63E381D0767 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:14:11] 731*2^1250962-1 is not prime. Res64: 4DF65797AA9EC14B Time : 0.0 sec. user=mdettweiler [2013-08-16 23:14:12] 743*2^1250962-1 is not prime. Res64: E86763ED33DA7B34 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:15:13] 785*2^1250962-1 is not prime. Res64: 3472280EFFAA30CD Time : 0.0 sec. user=mdettweiler [2013-08-16 23:15:13] 803*2^1250962-1 is not prime. Res64: EBAE8F74DFA857C4 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:16:08] 833*2^1250962-1 is not prime. Res64: E1830A55CD3208A1 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:16:09] 603*2^1250963-1 is not prime. Res64: 5076AF0C894CB889 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:29:36] 741*2^1250963-1 is not prime. Res64: D1E2055994611E2F Time : 0.0 sec. user=mdettweiler [2013-08-16 23:29:36] 783*2^1250963-1 is not prime. Res64: 69E2077178D48C56 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:34:42] 801*2^1250963-1 is not prime. Res64: 0A78F4997B9DBAD9 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:34:42] 825*2^1250963-1 is not prime. Res64: DCCCF1BB4AB15F3D Time : 0.0 sec. user=mdettweiler [2013-08-16 23:36:47] 683*2^1250964-1 is not prime. Res64: 2210972B115B1334 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:36:47] 765*2^1250964-1 is not prime. Res64: BF65F4C3C46385E9 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:37:47] 943*2^1250963-1 is not prime. Res64: D3398BBB70F3F473 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:37:47] 949*2^1250963-1 is not prime. Res64: 6BA1CB48CB122A4B Time : 0.0 sec. user=mdettweiler [2013-08-16 23:52:25] 903*2^1250964-1 is not prime. Res64: A5E314560CD6E928 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:52:25] 965*2^1250964-1 is not prime. Res64: 89A4E76588130826 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:56:25] 969*2^1250964-1 is not prime. Res64: 2F5EC33FFA1C1F53 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:56:25] 717*2^1250965-1 is not prime. Res64: 1EA691E28234B933 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:57:25] 765*2^1250965-1 is not prime. Res64: 6E187633B7D84321 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:57:25] 811*2^1250965-1 is not prime. Res64: 895A7B35D39BD8A1 Time : 0.0 sec. user=mdettweiler [2013-08-16 23:59:24] 825*2^1250965-1 is not prime. Res64: 3C5639A31AD7819F Time : 0.0 sec. user=mdettweiler [2013-08-16 23:59:24] 915*2^1250965-1 is not prime. Res64: 9C6EEB4D487D8694 Time : 0.0 sec.