user=mdettweiler [2013-02-06 00:04:18] 641*2^1240614-1 is not prime. Res64: E3780839B497D503 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:04:22] 791*2^1240614-1 is not prime. Res64: 2FC00E2667873FCA Time : 0.0 sec. user=mdettweiler [2013-02-06 00:06:54] 861*2^1240614-1 is not prime. Res64: 61B0F904C33D307C Time : 0.0 sec. user=mdettweiler [2013-02-06 00:06:56] 923*2^1240614-1 is not prime. Res64: 2F1D9246772D37F6 Time : 0.0 sec. user=vaughan [2013-02-06 00:12:17] 981*2^1240613-1 is not prime. Res64: 6610F002358D17A9 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:22:05] 941*2^1240614-1 is not prime. Res64: EEFCC3FE884B6B68 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:22:06] 971*2^1240614-1 is not prime. Res64: ECC110B739A40A78 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:24:25] 693*2^1240615-1 is not prime. Res64: D99953EF299AA8D0 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:24:26] 735*2^1240615-1 is not prime. Res64: 8B12443180E33431 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:39:32] 793*2^1240615-1 is not prime. Res64: A99968D4454D8FDB Time : 0.0 sec. user=mdettweiler [2013-02-06 00:39:32] 853*2^1240615-1 is not prime. Res64: D3E627E88B505B82 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:41:47] 645*2^1240616-1 is not prime. Res64: E6994A49D2B1BA1A Time : 0.0 sec. user=mdettweiler [2013-02-06 00:41:48] 683*2^1240616-1 is not prime. Res64: 748E1AB21BFA0865 Time : 0.0 sec. user=vaughan [2013-02-06 00:50:05] 763*2^1240615-1 is not prime. Res64: E01686B705962863 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:56:55] 767*2^1240616-1 is not prime. Res64: C1F33D244343C891 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:56:55] 825*2^1240616-1 is not prime. Res64: 2FD954180ECD9062 Time : 0.0 sec. user=mdettweiler [2013-02-06 00:59:10] 935*2^1240616-1 is not prime. Res64: 0F75F3A7CBDA4D8D Time : 0.0 sec. user=mdettweiler [2013-02-06 00:59:11] 957*2^1240616-1 is not prime. Res64: 0B00C6E4FA9AE00B Time : 0.0 sec. user=mdettweiler [2013-02-06 01:14:35] 983*2^1240616-1 is not prime. Res64: 7ACC19838D507D67 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:14:35] 607*2^1240617-1 is not prime. Res64: 245013B844BE17B6 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:16:54] 609*2^1240617-1 is not prime. Res64: 256FEA50DC0F3DE2 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:16:56] 685*2^1240617-1 is not prime. Res64: 2F0B55E886DE1330 Time : 0.0 sec. user=vaughan [2013-02-06 01:27:47] 963*2^1240616-1 is not prime. Res64: AFFFC98B12CF59F8 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:32:08] 817*2^1240617-1 is not prime. Res64: 8B1FD21E4DE4C8E5 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:32:08] 835*2^1240617-1 is not prime. Res64: 34211282B18236BC Time : 0.0 sec. user=mdettweiler [2013-02-06 01:34:27] 849*2^1240617-1 is not prime. Res64: F79BD78ADEE0EAF8 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:34:28] 949*2^1240617-1 is not prime. Res64: 0576A2489B936071 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:49:31] 647*2^1240618-1 is not prime. Res64: 1080C8227C12CEE0 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:49:31] 651*2^1240618-1 is not prime. Res64: 2DBEED41F9AA9139 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:51:49] 665*2^1240618-1 is not prime. Res64: 32C4975B3E2CB318 Time : 0.0 sec. user=mdettweiler [2013-02-06 01:51:50] 723*2^1240618-1 is not prime. Res64: 7383E90EB9C00DCF Time : 0.0 sec. user=vaughan [2013-02-06 02:05:31] 955*2^1240617-1 is not prime. Res64: 5B40387CE41EC749 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:06:54] 735*2^1240618-1 is not prime. Res64: DCCC7DEF3B7461A2 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:06:55] 993*2^1240618-1 is not prime. Res64: 2595339DC31BAC7B Time : 0.0 sec. user=mdettweiler [2013-02-06 02:09:10] 799*2^1240619-1 is not prime. Res64: F973EA971D42CE86 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:09:11] 859*2^1240619-1 is not prime. Res64: 46A11A7DDD16DBE0 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:24:16] 629*2^1240620-1 is not prime. Res64: 76B77B67F80638BE Time : 0.0 sec. user=mdettweiler [2013-02-06 02:24:16] 723*2^1240620-1 is not prime. Res64: 6BC950877E149C5B Time : 0.0 sec. user=mdettweiler [2013-02-06 02:26:36] 839*2^1240620-1 is not prime. Res64: DC17BC479143AB11 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:26:37] 899*2^1240620-1 is not prime. Res64: ACA3600CE2878509 Time : 0.0 sec. user=juhehe [2013-02-06 02:29:20] 691*2^1240537-1 is not prime. Res64: 289AE61D0FC44CF6 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:41:38] 927*2^1240620-1 is not prime. Res64: 15F8DA7510F1B525 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:41:39] 727*2^1240621-1 is not prime. Res64: A55028725CD4E980 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:43:58] 771*2^1240621-1 is not prime. Res64: 90D77BA0EFEE332C Time : 0.0 sec. user=mdettweiler [2013-02-06 02:43:59] 819*2^1240621-1 is not prime. Res64: 45A714675C68DC02 Time : 0.0 sec. user=vaughan [2013-02-06 02:48:17] 993*2^1240619-1 is not prime. Res64: 13791EB6597AFC52 Time : 0.0 sec. user=mdettweiler [2013-02-06 02:59:08] 955*2^1240621-1 is not prime. Res64: 779304AE1DE8083F Time : 0.0 sec. user=mdettweiler [2013-02-06 02:59:08] 651*2^1240622-1 is not prime. Res64: 0C3086F21237A4D9 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:01:24] 693*2^1240622-1 is not prime. Res64: 4A3AD769AB1CA81B Time : 0.0 sec. user=mdettweiler [2013-02-06 03:01:27] 713*2^1240622-1 is not prime. Res64: 7ECDF9F0EA066487 Time : 0.0 sec. user=juhehe [2013-02-06 03:11:37] 877*2^1240621-1 is not prime. Res64: EAEC7612D1287971 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:16:30] 797*2^1240622-1 is not prime. Res64: C89B3505FC47A008 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:16:31] 813*2^1240622-1 is not prime. Res64: 25689A3815731C69 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:19:06] 831*2^1240622-1 is not prime. Res64: F460B96D65307D47 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:19:07] 867*2^1240622-1 is not prime. Res64: 7EA35FCFF2A0BBA8 Time : 0.0 sec. user=vaughan [2013-02-06 03:26:08] 767*2^1240622-1 is not prime. Res64: 77D1614A3B35CBD5 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:33:54] 917*2^1240622-1 is not prime. Res64: 0C8269A5A84140BE Time : 0.0 sec. user=mdettweiler [2013-02-06 03:33:57] 977*2^1240622-1 is not prime. Res64: 4AC0EB90705D694E Time : 0.0 sec. user=mdettweiler [2013-02-06 03:36:28] 693*2^1240623-1 is not prime. Res64: 98A3D958AEA1E036 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:36:30] 705*2^1240623-1 is not prime. Res64: E1FBC66249BE4FBD Time : 0.0 sec. user=juhehe [2013-02-06 03:47:59] 885*2^1240622-1 is not prime. Res64: 36EA22AA3AF20974 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:51:36] 985*2^1240623-1 is not prime. Res64: A36704BD0272A56C Time : 0.0 sec. user=mdettweiler [2013-02-06 03:51:37] 615*2^1240624-1 is not prime. Res64: B322EFB04F0BCC65 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:53:58] 635*2^1240624-1 is not prime. Res64: 26514AAA95563959 Time : 0.0 sec. user=mdettweiler [2013-02-06 03:53:59] 705*2^1240624-1 is not prime. Res64: 077590A26342C984 Time : 0.0 sec. user=vaughan [2013-02-06 04:03:54] 735*2^1240623-1 is not prime. Res64: 5EDE8149E6D24C3F Time : 0.0 sec. user=mdettweiler [2013-02-06 04:08:58] 803*2^1240624-1 is not prime. Res64: E8816C91D9B93CC5 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:08:59] 939*2^1240624-1 is not prime. Res64: 386D773540ACC3A0 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:11:19] 619*2^1240625-1 is not prime. Res64: A6B9ED78603AE835 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:11:20] 675*2^1240625-1 is not prime. Res64: CD03E7EA076D524C Time : 0.0 sec. user=juhehe [2013-02-06 04:14:44] 691*2^1240625-1 is not prime. Res64: AF490D385C0E50C8 Time : 0.0 sec. user=juhehe [2013-02-06 04:24:15] 723*2^1240624-1 is not prime. Res64: C2148C27EE2C0650 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:26:27] 819*2^1240625-1 is not prime. Res64: 6F91A2942C5D66C0 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:26:28] 633*2^1240626-1 is not prime. Res64: F48CEBF62B33D19F Time : 0.0 sec. user=mdettweiler [2013-02-06 04:28:41] 635*2^1240626-1 is not prime. Res64: 427619FE22F93E80 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:28:41] 641*2^1240626-1 is not prime. Res64: B4EAC5640F30F977 Time : 0.0 sec. user=vaughan [2013-02-06 04:41:46] 715*2^1240625-1 is not prime. Res64: E5C2C66D64C75A4B Time : 0.0 sec. user=mdettweiler [2013-02-06 04:43:50] 725*2^1240626-1 is not prime. Res64: D12B19B44A3CCA0E Time : 0.0 sec. user=mdettweiler [2013-02-06 04:43:51] 815*2^1240626-1 is not prime. Res64: 26B78C112E7376E8 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:46:03] 833*2^1240626-1 is not prime. Res64: DCE2653B9C1D3655 Time : 0.0 sec. user=mdettweiler [2013-02-06 04:46:04] 893*2^1240626-1 is not prime. Res64: 86B4F5EDF9455C20 Time : 0.0 sec. user=juhehe [2013-02-06 05:00:38] 677*2^1240626-1 is not prime. Res64: C75166AF0DFD2FBD Time : 0.0 sec. user=mdettweiler [2013-02-06 05:01:13] 639*2^1240627-1 is not prime. Res64: DC1BE794847F35CD Time : 0.0 sec. user=mdettweiler [2013-02-06 05:01:15] 663*2^1240627-1 is not prime. Res64: F16FE1521D01F102 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:03:29] 691*2^1240627-1 is not prime. Res64: 325C52F1007D8072 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:03:31] 859*2^1240627-1 is not prime. Res64: 783DFD6FA63B2D29 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:18:52] 889*2^1240627-1 is not prime. Res64: A3D1200CE2D21332 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:18:53] 913*2^1240627-1 is not prime. Res64: E70DDA7A7DF1BC05 Time : 0.0 sec. user=vaughan [2013-02-06 05:19:36] 609*2^1240627-1 is not prime. Res64: 4AC9B9ED73B4CCD5 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:21:05] 603*2^1240628-1 is not prime. Res64: 3618E1BD237CCE18 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:21:06] 647*2^1240628-1 is not prime. Res64: 716B0DE03D2513F8 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:36:15] 725*2^1240628-1 is not prime. Res64: 6CA8D03370FA0B99 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:36:15] 753*2^1240628-1 is not prime. Res64: 11E514602E76A10E Time : 0.0 sec. user=mdettweiler [2013-02-06 05:38:27] 773*2^1240628-1 is not prime. Res64: 8E3DAC65260ED9F2 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:38:27] 813*2^1240628-1 is not prime. Res64: B9EEC5C4CA587B55 Time : 0.0 sec. user=juhehe [2013-02-06 05:42:00] 885*2^1240628-1 is not prime. Res64: 32806F3D294470A2 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:53:36] 999*2^1240628-1 is not prime. Res64: 3EFB410B917EFD08 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:53:37] 709*2^1240629-1 is not prime. Res64: 32721951343E2F6A Time : 0.0 sec. user=mdettweiler [2013-02-06 05:55:51] 745*2^1240629-1 is not prime. Res64: 9520060D5AD2CFC8 Time : 0.0 sec. user=mdettweiler [2013-02-06 05:55:51] 751*2^1240629-1 is not prime. Res64: 8F50A8FEBC6CE7C6 Time : 0.0 sec. user=vaughan [2013-02-06 05:57:21] 759*2^1240628-1 is not prime. Res64: CF0DFE986ACAD679 Time : 0.0 sec. user=juhehe [2013-02-06 06:02:00] 769*2^1240629-1 is not prime. Res64: 7696DE445D25BBE4 Time : 0.0 sec. user=mdettweiler [2013-02-06 06:10:58] 861*2^1240629-1 is not prime. Res64: 135320C0700A9A1F Time : 0.0 sec. user=mdettweiler [2013-02-06 06:11:00] 647*2^1240630-1 is not prime. Res64: 7EB2AB98083CDA8C Time : 0.0 sec. user=juhehe [2013-02-06 06:11:34] 893*2^1240628-1 is not prime. Res64: D8FA873C53040532 Time : 0.0 sec. user=mdettweiler [2013-02-06 06:14:20] 677*2^1240630-1 is not prime. Res64: F81C3D390A7E81B2 Time : 0.0 sec. user=juhehe [2013-02-06 06:22:12] 845*2^1240630-1 is not prime. Res64: 4EBDE4A8D400D15D Time : 0.0 sec. user=mdettweiler [2013-02-06 06:28:24] 857*2^1240630-1 is not prime. Res64: EAEB05130B002072 Time : 0.0 sec. user=mdettweiler [2013-02-06 06:28:25] 873*2^1240630-1 is not prime. Res64: CEEE7FEE50DE8C2D Time : 0.0 sec. user=vaughan [2013-02-06 06:35:10] 831*2^1240630-1 is not prime. Res64: 1B68452E6DCCD0AB Time : 0.0 sec. user=mdettweiler [2013-02-06 06:39:12] 723*2^1240630-1 is not prime. Res64: F3789032C35A1845 Time : 0.0 sec. user=juhehe [2013-02-06 06:42:13] 673*2^1240631-1 is not prime. Res64: 8A67A4FE23B6131D Time : 0.0 sec. user=mdettweiler [2013-02-06 06:45:47] 679*2^1240631-1 is not prime. Res64: 6124CEC55F06DBBD Time : 0.0 sec. user=mdettweiler [2013-02-06 06:45:47] 789*2^1240631-1 is not prime. Res64: 001EB3419EF72BF8 Time : 0.0 sec. user=juhehe [2013-02-06 06:48:23] 965*2^1240630-1 is not prime. Res64: E14825A8FD1978FE Time : 0.0 sec. user=mdettweiler [2013-02-06 06:56:34] 865*2^1240631-1 is not prime. Res64: 9C2AD9B0B95A4CF5 Time : 0.0 sec. user=mdettweiler [2013-02-06 06:56:34] 883*2^1240631-1 is not prime. Res64: 468B1C8357071004 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:03:09] 949*2^1240631-1 is not prime. Res64: 6AA608858613A1C7 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:03:10] 955*2^1240631-1 is not prime. Res64: 59F5842CF0A1CE70 Time : 0.0 sec. user=juhehe [2013-02-06 07:03:17] 921*2^1240631-1 is not prime. Res64: 4FB170FA62424EF2 Time : 0.0 sec. user=vaughan [2013-02-06 07:12:57] 841*2^1240631-1 is not prime. Res64: 57F7B5C716563FF0 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:13:55] 627*2^1240632-1 is not prime. Res64: 542571E36AC73557 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:13:56] 747*2^1240632-1 is not prime. Res64: 087E7A207FDE7F34 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:20:40] 797*2^1240632-1 is not prime. Res64: 6E008F0AB21A00F4 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:20:40] 819*2^1240632-1 is not prime. Res64: 989FE2B3BEADA34B Time : 0.0 sec. user=juhehe [2013-02-06 07:32:24] 929*2^1240632-1 is not prime. Res64: 15E1E0CA722CFFE5 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:38:01] 687*2^1240634-1 is not prime. Res64: 6D9C7B2337C0EA66 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:38:01] 701*2^1240634-1 is not prime. Res64: 0D3FACBB20754BE2 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:50:42] 729*2^1240633-1 is not prime. Res64: 7A8D669B3C9CCC29 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:50:42] 683*2^1240634-1 is not prime. Res64: 0FB652E104C1845C Time : 0.0 sec. user=vaughan [2013-02-06 07:50:45] 639*2^1240633-1 is not prime. Res64: 055078A4F3C41969 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:55:24] 915*2^1240634-1 is not prime. Res64: FDBD1367EEC74737 Time : 0.0 sec. user=mdettweiler [2013-02-06 07:55:24] 609*2^1240635-1 is not prime. Res64: 30EB6FA2E2E71135 Time : 0.0 sec. user=juhehe [2013-02-06 07:57:51] 887*2^1240634-1 is not prime. Res64: 327FE448EEE0451C Time : 0.0 sec. user=juhehe [2013-02-06 07:59:48] 885*2^1240634-1 is not prime. Res64: 06098F21CDCE2F81 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:08:03] 789*2^1240635-1 is not prime. Res64: 4FAA235157B94715 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:08:04] 793*2^1240635-1 is not prime. Res64: 3DD4C7F758496BE9 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:12:46] 819*2^1240635-1 is not prime. Res64: 645A5D1C2A607CFE Time : 0.0 sec. user=mdettweiler [2013-02-06 08:12:47] 859*2^1240635-1 is not prime. Res64: 0746D65EC03B0CE9 Time : 0.0 sec. user=juhehe [2013-02-06 08:21:01] 909*2^1240635-1 is not prime. Res64: FA739A7AA7F6131F Time : 0.0 sec. user=mdettweiler [2013-02-06 08:25:35] 647*2^1240636-1 is not prime. Res64: 93DD36DF5C9B0440 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:25:35] 699*2^1240636-1 is not prime. Res64: 15D9D84CB9D2D503 Time : 0.0 sec. user=vaughan [2013-02-06 08:28:31] 805*2^1240635-1 is not prime. Res64: 7829DD21CF6EFAAC Time : 0.0 sec. user=mdettweiler [2013-02-06 08:30:10] 845*2^1240636-1 is not prime. Res64: 7B660DFF09061F95 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:30:11] 897*2^1240636-1 is not prime. Res64: 5090762A1CE1F805 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:42:59] 987*2^1240636-1 is not prime. Res64: 841DD6EC55C9037A Time : 0.0 sec. user=mdettweiler [2013-02-06 08:42:59] 615*2^1240637-1 is not prime. Res64: 6BEDE51C58064104 Time : 0.0 sec. user=juhehe [2013-02-06 08:45:05] 999*2^1240635-1 is not prime. Res64: 4E7E910313729B36 Time : 0.0 sec. user=juhehe [2013-02-06 08:46:24] 983*2^1240636-1 is not prime. Res64: 80EE96556643C89C Time : 0.0 sec. user=mdettweiler [2013-02-06 08:47:31] 699*2^1240637-1 is not prime. Res64: 8B7FBB8D81B708A4 Time : 0.0 sec. user=mdettweiler [2013-02-06 08:47:32] 771*2^1240637-1 is not prime. Res64: F1C6A544F13FFB6B Time : 0.0 sec. user=mdettweiler [2013-02-06 09:00:21] 829*2^1240637-1 is not prime. Res64: 2AE47C9E38F766BB Time : 0.0 sec. user=mdettweiler [2013-02-06 09:00:22] 885*2^1240637-1 is not prime. Res64: 9FF9EB0AB8A40BC3 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:04:53] 925*2^1240637-1 is not prime. Res64: 1992673CD5031B6A Time : 0.0 sec. user=mdettweiler [2013-02-06 09:04:58] 981*2^1240637-1 is not prime. Res64: BDD0151643623AE5 Time : 0.0 sec. user=vaughan [2013-02-06 09:06:20] 655*2^1240637-1 is not prime. Res64: 65E9C4DF1B75B488 Time : 0.0 sec. user=juhehe [2013-02-06 09:11:57] 901*2^1240637-1 is not prime. Res64: 812FACAB9CC8BB2F Time : 0.0 sec. user=mdettweiler [2013-02-06 09:17:45] 705*2^1240638-1 is not prime. Res64: 8054BBAF12DFBEA1 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:17:46] 731*2^1240638-1 is not prime. Res64: D7F9224ED5F0EA14 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:22:35] 755*2^1240638-1 is not prime. Res64: A99C7D6E619ADF34 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:22:36] 795*2^1240638-1 is not prime. Res64: EF5A599AB33F0BA0 Time : 0.0 sec. user=juhehe [2013-02-06 09:32:36] 881*2^1240638-1 is not prime. Res64: 272053C8127221C1 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:35:07] 975*2^1240638-1 is not prime. Res64: D81F6DBDF548914C Time : 0.0 sec. user=mdettweiler [2013-02-06 09:35:07] 977*2^1240638-1 is not prime. Res64: 56DD0CCE272397BA Time : 0.0 sec. user=mdettweiler [2013-02-06 09:39:58] 723*2^1240639-1 is not prime. Res64: 08B76FEE9AFD6E54 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:39:58] 763*2^1240639-1 is not prime. Res64: 737A438157B9A806 Time : 0.0 sec. user=vaughan [2013-02-06 09:44:19] 867*2^1240638-1 is not prime. Res64: 69E420BB664D3C7A Time : 0.0 sec. user=mdettweiler [2013-02-06 09:52:29] 885*2^1240639-1 is not prime. Res64: 1F67DCD82F880640 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:52:29] 919*2^1240639-1 is not prime. Res64: 2A3D8342412A34D8 Time : 0.0 sec. user=juhehe [2013-02-06 09:56:00] 685*2^1240639-1 is not prime. Res64: ADF063A58B52A656 Time : 0.0 sec. user=mdettweiler [2013-02-06 09:57:20] 973*2^1240639-1 is not prime. Res64: 2AD8EDC12EA21EDF Time : 0.0 sec. user=mdettweiler [2013-02-06 09:57:21] 975*2^1240639-1 is not prime. Res64: CE15F584785B6E33 Time : 0.0 sec. user=juhehe [2013-02-06 09:59:22] 765*2^1240639-1 is not prime. Res64: 97903F26824D34EA Time : 0.0 sec. user=mdettweiler [2013-02-06 10:09:52] 735*2^1240640-1 is not prime. Res64: 99B5A7D78A3764A1 Time : 0.0 sec. user=mdettweiler [2013-02-06 10:09:55] 609*2^1240641-1 is not prime. Res64: C31D0817AAECB2AD Time : 0.0 sec. user=mdettweiler [2013-02-06 10:14:43] 639*2^1240641-1 is not prime. Res64: 22A61E2CF87200A1 Time : 0.0 sec. user=mdettweiler [2013-02-06 10:14:44] 675*2^1240641-1 is not prime. Res64: 3DB02BA5FAC692D8 Time : 0.0 sec. user=vaughan [2013-02-06 10:22:03] 725*2^1240640-1 is not prime. Res64: B213DCEB6B8963AF Time : 0.0 sec. user=mdettweiler [2013-02-06 10:27:19] 895*2^1240641-1 is not prime. Res64: CABD380A55457739 Time : 0.0 sec. user=mdettweiler [2013-02-06 10:27:20] 921*2^1240641-1 is not prime. Res64: 4285B875A6C21BD6 Time : 0.0 sec. user=juhehe [2013-02-06 10:28:32] 789*2^1240641-1 is not prime. Res64: AACE4B7758E9C9EA Time : 0.0 sec. user=mdettweiler [2013-02-06 10:32:06] 997*2^1240641-1 is not prime. Res64: C4BDF7C712B63C5B Time : 0.0 sec. user=mdettweiler [2013-02-06 10:32:06] 623*2^1240642-1 is not prime. Res64: E9BE30DC050D7AF3 Time : 0.0 sec. user=mdettweiler [2013-02-06 10:44:43] 747*2^1240642-1 is not prime. Res64: 3F0B598E721B589D Time : 0.0 sec. user=mdettweiler [2013-02-06 10:44:44] 815*2^1240642-1 is not prime. Res64: 92CF3E30C4B03ED9 Time : 0.0 sec. user=juhehe [2013-02-06 10:48:52] 699*2^1240643-1 is not prime. Res64: 45D4F9119BE164C8 Time : 0.0 sec. user=mdettweiler [2013-02-06 10:49:28] 963*2^1240643-1 is not prime. Res64: 06B0681FF22C2DCB Time : 0.0 sec. user=mdettweiler [2013-02-06 10:49:29] 991*2^1240643-1 is not prime. Res64: A6F48B9EFD73E4FF Time : 0.0 sec. user=vaughan [2013-02-06 10:59:51] 717*2^1240642-1 is not prime. Res64: 57B43E5BDBEE693A Time : 0.0 sec. user=mdettweiler [2013-02-06 11:02:06] 657*2^1240644-1 is not prime. Res64: 696DAAF4BCD2D57B Time : 0.0 sec. user=mdettweiler [2013-02-06 11:02:07] 705*2^1240644-1 is not prime. Res64: 8A4192BB25DA6FF8 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:06:51] 795*2^1240644-1 is not prime. Res64: 25A7DEF2916301B5 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:06:53] 837*2^1240644-1 is not prime. Res64: 39826811B4CF6A57 Time : 0.0 sec. user=juhehe [2013-02-06 11:06:57] 823*2^1240643-1 is not prime. Res64: C9A4FCCB203D29CF Time : 0.0 sec. user=juhehe [2013-02-06 11:09:06] 719*2^1240644-1 is not prime. Res64: E5B0AC8B47CD6811 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:19:29] 975*2^1240644-1 is not prime. Res64: 62D60551134D76AC Time : 0.0 sec. user=mdettweiler [2013-02-06 11:19:30] 607*2^1240645-1 is not prime. Res64: 7BEB6BB24DB344CB Time : 0.0 sec. user=mdettweiler [2013-02-06 11:24:32] 777*2^1240645-1 is not prime. Res64: 25C3ADB427373F02 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:24:33] 789*2^1240645-1 is not prime. Res64: D577E10EC2D84CAA Time : 0.0 sec. user=juhehe [2013-02-06 11:29:23] 855*2^1240645-1 is not prime. Res64: F3EA03B0EEFAF166 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:36:52] 871*2^1240645-1 is not prime. Res64: C3AD5D886C7C9E04 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:36:52] 897*2^1240645-1 is not prime. Res64: 1294935B4CE979F3 Time : 0.0 sec. user=vaughan [2013-02-06 11:37:42] 969*2^1240644-1 is not prime. Res64: EC0A98EEC2FBF253 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:41:55] 961*2^1240645-1 is not prime. Res64: 7088BF9E6329AA9E Time : 0.0 sec. user=mdettweiler [2013-02-06 11:41:56] 705*2^1240646-1 is not prime. Res64: E9E5571E94910A55 Time : 0.0 sec. user=juhehe [2013-02-06 11:43:37] 667*2^1240645-1 is not prime. Res64: 9BE3E8EF6B5CE9F2 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:54:25] 601*2^1240647-1 is not prime. Res64: 2F6B383013F749F0 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:54:25] 865*2^1240647-1 is not prime. Res64: 9B8DCAA8BA8309E7 Time : 0.0 sec. user=mdettweiler [2013-02-06 11:59:37] 891*2^1240647-1 is not prime. Res64: 896F164B9D3B755A Time : 0.0 sec. user=mdettweiler [2013-02-06 11:59:37] 615*2^1240648-1 is not prime. Res64: C73D46C2B04C6AA3 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:12:11] 657*2^1240648-1 is not prime. Res64: E4EF5E424AAE2987 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:12:12] 677*2^1240648-1 is not prime. Res64: 30C3687BBF19EB3C Time : 0.0 sec. user=vaughan [2013-02-06 12:15:32] 885*2^1240647-1 is not prime. Res64: 1A4910AF7EEE2A63 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:17:21] 855*2^1240648-1 is not prime. Res64: 57DC050347B9EE74 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:17:22] 657*2^1240649-1 is not prime. Res64: 91C7FC22682DF255 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:29:58] 727*2^1240649-1 is not prime. Res64: B878DB54A38BE05F Time : 0.0 sec. user=mdettweiler [2013-02-06 12:29:58] 745*2^1240649-1 is not prime. Res64: 7DF06FC8E06C7FBA Time : 0.0 sec. user=mdettweiler [2013-02-06 12:35:06] 865*2^1240649-1 is not prime. Res64: 1C318E4D63361F96 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:35:06] 939*2^1240649-1 is not prime. Res64: 315762AA9B253296 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:47:36] 985*2^1240649-1 is not prime. Res64: 4D7864F44BC97D7F Time : 0.0 sec. user=mdettweiler [2013-02-06 12:47:37] 615*2^1240650-1 is not prime. Res64: F1FB36F68BD0724E Time : 0.0 sec. user=mdettweiler [2013-02-06 12:52:52] 651*2^1240650-1 is not prime. Res64: 88002E1FB3B79308 Time : 0.0 sec. user=mdettweiler [2013-02-06 12:52:53] 791*2^1240650-1 is not prime. Res64: 290DE49B5DF98A01 Time : 0.0 sec. user=vaughan [2013-02-06 12:53:19] 829*2^1240649-1 is not prime. Res64: 749CF303C452509A Time : 0.0 sec. user=juhehe [2013-02-06 12:53:55] 949*2^1240649-1 is not prime. Res64: F0FC5AC1FB9E9A8C Time : 0.0 sec. user=mdettweiler [2013-02-06 13:05:26] 851*2^1240650-1 is not prime. Res64: 88EB4F85FCD1E5A0 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:05:27] 905*2^1240650-1 is not prime. Res64: 7F6BFF8E86299B74 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:10:39] 921*2^1240650-1 is not prime. Res64: FBB4948CC83D40DC Time : 0.0 sec. user=mdettweiler [2013-02-06 13:10:40] 945*2^1240650-1 is not prime. Res64: 4F43ED4598441296 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:23:16] 771*2^1240651-1 is not prime. Res64: 7E5D8EBD29ED2D88 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:23:17] 883*2^1240651-1 is not prime. Res64: 048C4B9834D16E4E Time : 0.0 sec. user=mdettweiler [2013-02-06 13:28:31] 999*2^1240651-1 is not prime. Res64: 56FC0821716F33CC Time : 0.0 sec. user=mdettweiler [2013-02-06 13:28:31] 629*2^1240652-1 is not prime. Res64: 1E49B724782DBDCD Time : 0.0 sec. user=juhehe [2013-02-06 13:29:15] 897*2^1240646-1 is not prime. Res64: D8F67543B9BF78BE Time : 0.0 sec. user=juhehe [2013-02-06 13:30:22] 723*2^1240651-1 is not prime. Res64: 80689D7BC4C70423 Time : 0.0 sec. user=vaughan [2013-02-06 13:31:07] 651*2^1240651-1 is not prime. Res64: BAA5514A08B6B623 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:41:03] 657*2^1240652-1 is not prime. Res64: E0283F507CEEB449 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:41:04] 693*2^1240652-1 is not prime. Res64: 7517164CDC2B4832 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:46:18] 735*2^1240652-1 is not prime. Res64: 19C8DC5FA0786AFA Time : 0.0 sec. user=mdettweiler [2013-02-06 13:46:18] 867*2^1240652-1 is not prime. Res64: 7A2EF513F35B75FD Time : 0.0 sec. user=juhehe [2013-02-06 13:50:13] 977*2^1240652-1 is not prime. Res64: 7B53B391ADCB71C2 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:58:50] 945*2^1240653-1 is not prime. Res64: B373C1F3CCB541E7 Time : 0.0 sec. user=mdettweiler [2013-02-06 13:58:50] 635*2^1240654-1 is not prime. Res64: 8CE31EFB598605D3 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:04:16] 695*2^1240654-1 is not prime. Res64: 26EB275591D98D3B Time : 0.0 sec. user=mdettweiler [2013-02-06 14:04:19] 737*2^1240654-1 is not prime. Res64: 0018F4955920899C Time : 0.0 sec. user=vaughan [2013-02-06 14:08:53] 983*2^1240652-1 is not prime. Res64: 98EAD3F37B0D3888 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:17:11] 825*2^1240654-1 is not prime. Res64: 8325B4FB0F66A9EF Time : 0.0 sec. user=mdettweiler [2013-02-06 14:17:11] 897*2^1240654-1 is not prime. Res64: 1DD7E86DB4757963 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:23:01] 903*2^1240654-1 is not prime. Res64: 7FFE375F608E2C5A Time : 0.0 sec. user=mdettweiler [2013-02-06 14:23:01] 993*2^1240654-1 is not prime. Res64: 40164D9E799FD101 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:35:26] 739*2^1240655-1 is not prime. Res64: D29D49EFCE2624B3 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:35:26] 799*2^1240655-1 is not prime. Res64: 6A2CBF5891EF3875 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:41:06] 943*2^1240655-1 is not prime. Res64: 5B420A640C9081CB Time : 0.0 sec. user=mdettweiler [2013-02-06 14:41:06] 815*2^1240656-1 is not prime. Res64: 82A2F7A5B433869F Time : 0.0 sec. user=juhehe [2013-02-06 14:41:29] 603*2^1240655-1 is not prime. Res64: F16E8AC4BDE2C807 Time : 0.0 sec. user=vaughan [2013-02-06 14:46:40] 693*2^1240655-1 is not prime. Res64: 1251CFAC1B72CC07 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:53:15] 983*2^1240656-1 is not prime. Res64: 07FDDFC6814956B7 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:53:15] 751*2^1240657-1 is not prime. Res64: 0453CF32FF9CE799 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:58:55] 867*2^1240657-1 is not prime. Res64: 41FB80F5324A9675 Time : 0.0 sec. user=mdettweiler [2013-02-06 14:58:55] 937*2^1240657-1 is not prime. Res64: B7FEF936CCA50016 Time : 0.0 sec. user=mdettweiler [2013-02-06 15:11:05] 857*2^1240658-1 is not prime. Res64: 77A74C69373B05ED Time : 0.0 sec. user=mdettweiler [2013-02-06 15:11:06] 861*2^1240658-1 is not prime. Res64: 37EF6885BC48716F Time : 0.0 sec. user=mdettweiler [2013-02-06 15:16:40] 887*2^1240658-1 is not prime. Res64: DDE042A2AF146A2A Time : 0.0 sec. user=mdettweiler [2013-02-06 15:16:41] 953*2^1240658-1 is not prime. Res64: 56945E673453D928 Time : 0.0 sec. user=juhehe [2013-02-06 15:17:56] 801*2^1240658-1 is not prime. Res64: BF9D489A99100574 Time : 0.0 sec. user=vaughan [2013-02-06 15:24:26] 827*2^1240658-1 is not prime. Res64: 6268E3AFE468DF00 Time : 0.0 sec. user=mdettweiler [2013-02-06 15:28:49] 615*2^1240659-1 is not prime. Res64: E629D1A3B129B531 Time : 0.0 sec. user=mdettweiler [2013-02-06 15:28:49] 639*2^1240659-1 is not prime. Res64: D3B10EC9A092708A Time : 0.0 sec. user=mdettweiler [2013-02-06 15:34:33] 769*2^1240659-1 is not prime. Res64: FE6C0FA3FBE166D5 Time : 0.0 sec. user=mdettweiler [2013-02-06 15:34:33] 677*2^1240660-1 is not prime. Res64: CA8757347F9651CD Time : 0.0 sec. user=mdettweiler [2013-02-06 15:46:43] 819*2^1240660-1 is not prime. Res64: ABD038E30E95A40E Time : 0.0 sec. user=mdettweiler [2013-02-06 15:46:43] 989*2^1240660-1 is not prime. Res64: 73A72E5F52EDCEA4 Time : 0.0 sec. user=mdettweiler [2013-02-06 15:52:22] 645*2^1240661-1 is not prime. Res64: 68673866EC2BD178 Time : 0.0 sec. user=mdettweiler [2013-02-06 15:52:23] 745*2^1240661-1 is not prime. Res64: DF2EC299DBDC2A2E Time : 0.0 sec. user=vaughan [2013-02-06 16:02:13] 759*2^1240660-1 is not prime. Res64: 6BE517545281E7CF Time : 0.0 sec. user=mdettweiler [2013-02-06 16:04:33] 769*2^1240661-1 is not prime. Res64: 8648683A1EE4B53C Time : 0.0 sec. user=mdettweiler [2013-02-06 16:04:35] 781*2^1240661-1 is not prime. Res64: AA213FBB17441E2B Time : 0.0 sec. user=mdettweiler [2013-02-06 16:10:14] 939*2^1240661-1 is not prime. Res64: 432051A1F8EAA74D Time : 0.0 sec. user=mdettweiler [2013-02-06 16:10:15] 713*2^1240662-1 is not prime. Res64: 51E76A3CB05A5F1A Time : 0.0 sec. user=mdettweiler [2013-02-06 16:22:33] 797*2^1240662-1 is not prime. Res64: D73DB0FF568BCC73 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:22:33] 875*2^1240662-1 is not prime. Res64: 4D4F891FC2CA6371 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:28:12] 709*2^1240663-1 is not prime. Res64: 1306D5A5C31BE865 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:28:12] 723*2^1240663-1 is not prime. Res64: 83233AFE874BECA9 Time : 0.0 sec. user=juhehe [2013-02-06 16:28:28] 871*2^1240661-1 is not prime. Res64: EE0CC276B8D15B49 Time : 0.0 sec. user=vaughan [2013-02-06 16:39:59] 737*2^1240662-1 is not prime. Res64: 992A15EBE16581C7 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:40:05] 819*2^1240663-1 is not prime. Res64: C8BD3A21E0720F0E Time : 0.0 sec. user=mdettweiler [2013-02-06 16:40:05] 993*2^1240663-1 is not prime. Res64: D294E04FD4292C20 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:45:45] 677*2^1240664-1 is not prime. Res64: 83E93EED3EBB77E2 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:45:45] 767*2^1240664-1 is not prime. Res64: E662E07C23DA8F04 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:57:52] 899*2^1240664-1 is not prime. Res64: 723B26BE5B9CA794 Time : 0.0 sec. user=mdettweiler [2013-02-06 16:57:52] 945*2^1240664-1 is not prime. Res64: DECC2BC56EC0A631 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:03:35] 625*2^1240665-1 is not prime. Res64: A7C04BA220930EBB Time : 0.0 sec. user=mdettweiler [2013-02-06 17:03:42] 805*2^1240665-1 is not prime. Res64: 2E056C26E0167C90 Time : 0.0 sec. user=juhehe [2013-02-06 17:04:41] 869*2^1240664-1 is not prime. Res64: 276BAB0CE000EB72 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:15:51] 831*2^1240665-1 is not prime. Res64: 33E6E920DDD680FE Time : 0.0 sec. user=mdettweiler [2013-02-06 17:15:52] 921*2^1240665-1 is not prime. Res64: 689CD1B54E18774E Time : 0.0 sec. user=vaughan [2013-02-06 17:17:43] 873*2^1240664-1 is not prime. Res64: 2B86D59F34A5FDA4 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:22:13] 653*2^1240666-1 is not prime. Res64: D89DFD64946872BE Time : 0.0 sec. user=mdettweiler [2013-02-06 17:22:13] 713*2^1240666-1 is not prime. Res64: 06627376B6964425 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:33:55] 801*2^1240666-1 is not prime. Res64: 2394E9DB2865BDF6 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:33:55] 813*2^1240666-1 is not prime. Res64: 415B262EDDBBAA28 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:40:09] 971*2^1240666-1 is not prime. Res64: 8692F0F3F1656DE4 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:40:09] 619*2^1240667-1 is not prime. Res64: AB0AB59FCC95E88A Time : 0.0 sec. user=mdettweiler [2013-02-06 17:51:46] 643*2^1240667-1 is not prime. Res64: C6054C2594E13990 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:51:46] 649*2^1240667-1 is not prime. Res64: FF42D53B41CF5774 Time : 0.0 sec. user=vaughan [2013-02-06 17:55:27] 815*2^1240666-1 is not prime. Res64: 6D6E4C7A3127616F Time : 0.0 sec. user=mdettweiler [2013-02-06 17:57:58] 703*2^1240667-1 is not prime. Res64: 398F9B34A902C876 Time : 0.0 sec. user=mdettweiler [2013-02-06 17:57:58] 711*2^1240667-1 is not prime. Res64: 469B4FABA090323E Time : 0.0 sec. user=mdettweiler [2013-02-06 18:09:34] 741*2^1240667-1 is not prime. Res64: 4735E8019E603682 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:09:35] 915*2^1240667-1 is not prime. Res64: 5E32CB3DF472E898 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:15:46] 993*2^1240667-1 is not prime. Res64: 6EE5627910408D6C Time : 0.0 sec. user=mdettweiler [2013-02-06 18:15:46] 605*2^1240668-1 is not prime. Res64: 3C7384528C0B7DF1 Time : 0.0 sec. user=juhehe [2013-02-06 18:17:27] 663*2^1240667-1 is not prime. Res64: BB5A690D779333E5 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:27:35] 753*2^1240668-1 is not prime. Res64: 42B1AA6719371DF9 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:27:36] 765*2^1240668-1 is not prime. Res64: 144F680AAEEA69D5 Time : 0.0 sec. user=vaughan [2013-02-06 18:33:13] 931*2^1240667-1 is not prime. Res64: D8911A575ADDA5CA Time : 0.0 sec. user=mdettweiler [2013-02-06 18:33:38] 825*2^1240668-1 is not prime. Res64: 959DA3FBDFB97CB1 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:33:38] 867*2^1240668-1 is not prime. Res64: 7F64473ABC6F8FFA Time : 0.0 sec. user=mdettweiler [2013-02-06 18:45:22] 877*2^1240669-1 is not prime. Res64: 3BEC54678F86816D Time : 0.0 sec. user=mdettweiler [2013-02-06 18:45:23] 945*2^1240669-1 is not prime. Res64: F0D54C5BF6C611F5 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:51:22] 987*2^1240669-1 is not prime. Res64: 2F071F0183A34731 Time : 0.0 sec. user=mdettweiler [2013-02-06 18:51:22] 997*2^1240669-1 is not prime. Res64: 4D4F034C336B6344 Time : 0.0 sec. user=juhehe [2013-02-06 18:59:40] 729*2^1240669-1 is not prime. Res64: 54790892171CB1F8 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:03:04] 675*2^1240670-1 is not prime. Res64: 60A732ABF667818C Time : 0.0 sec. user=mdettweiler [2013-02-06 19:03:06] 791*2^1240670-1 is not prime. Res64: 175545AD9225E862 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:09:04] 843*2^1240670-1 is not prime. Res64: A712D1AA71504CA3 Time : 0.0 sec. user=vaughan [2013-02-06 19:10:57] 951*2^1240669-1 is not prime. Res64: 3FC209C7A00C8936 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:20:50] 885*2^1240670-1 is not prime. Res64: EF9E52A6553B08D2 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:20:50] 921*2^1240670-1 is not prime. Res64: 8666A51A050D4116 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:35:28] 867*2^1240670-1 is not prime. Res64: D326308CE6A12F15 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:38:33] 977*2^1240670-1 is not prime. Res64: 08AB6D9F78D77846 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:38:34] 931*2^1240671-1 is not prime. Res64: 5DCCB8E77403B36E Time : 0.0 sec. user=vaughan [2013-02-06 19:48:51] 971*2^1240670-1 is not prime. Res64: 0FB8594600E14750 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:53:13] 949*2^1240671-1 is not prime. Res64: FF534DCDB5D60A50 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:53:13] 961*2^1240671-1 is not prime. Res64: 7CE3F6D03C41305F Time : 0.0 sec. user=mdettweiler [2013-02-06 19:56:18] 645*2^1240672-1 is not prime. Res64: A3B31B893FF088C9 Time : 0.0 sec. user=mdettweiler [2013-02-06 19:56:18] 653*2^1240672-1 is not prime. Res64: E1D1A339F655AC9C Time : 0.0 sec. user=mdettweiler [2013-02-06 20:11:03] 843*2^1240672-1 is not prime. Res64: C23D97DBAE484487 Time : 0.0 sec. user=mdettweiler [2013-02-06 20:11:05] 875*2^1240672-1 is not prime. Res64: F296D6277480755A Time : 0.0 sec. user=mdettweiler [2013-02-06 20:14:10] 939*2^1240672-1 is not prime. Res64: F78915DA31BBE631 Time : 0.0 sec. user=mdettweiler [2013-02-06 20:14:11] 607*2^1240673-1 is not prime. Res64: 3B8A297BFEE0A21C Time : 0.0 sec. user=juhehe [2013-02-06 20:24:35] 735*2^1240672-1 is not prime. Res64: 17578E85CEEDA283 Time : 0.0 sec. user=vaughan [2013-02-06 20:26:37] 743*2^1240672-1 is not prime. Res64: FFAED8915165A368 Time : 0.0 sec. user=mdettweiler [2013-02-06 20:29:05] 705*2^1240673-1 is not prime. Res64: 42775D2A6BE24FBA Time : 0.0 sec. user=mdettweiler [2013-02-06 20:29:06] 727*2^1240673-1 is not prime. Res64: 314CF8FF72504077 Time : 0.0 sec. user=mdettweiler [2013-02-06 20:31:56] 769*2^1240673-1 is not prime. Res64: 08BC6BAB39C59C35 Time : 0.0 sec. user=mdettweiler [2013-02-06 20:31:57] 787*2^1240673-1 is not prime. Res64: CDC70E528716C5CB Time : 0.0 sec. user=mdettweiler [2013-02-06 20:46:50] 889*2^1240673-1 is not prime. Res64: 03E273366863322B Time : 0.0 sec. user=mdettweiler [2013-02-06 20:46:50] 967*2^1240673-1 is not prime. Res64: 784DCBA7B759248B Time : 0.0 sec. user=mdettweiler [2013-02-06 20:49:43] 633*2^1240674-1 is not prime. Res64: 50DDDA403BB09C03 Time : 0.0 sec. user=mdettweiler [2013-02-06 20:49:43] 755*2^1240674-1 is not prime. Res64: 3FA9169F7376C122 Time : 0.0 sec. user=vaughan [2013-02-06 21:04:23] 847*2^1240673-1 is not prime. Res64: F4EC9518CF484FC1 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:04:38] 851*2^1240674-1 is not prime. Res64: 07C2E8154ED7134E Time : 0.0 sec. user=mdettweiler [2013-02-06 21:04:40] 903*2^1240674-1 is not prime. Res64: DA2B5B616E0C2C40 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:07:30] 941*2^1240674-1 is not prime. Res64: 61D133E251AAD858 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:07:31] 693*2^1240675-1 is not prime. Res64: 54C549D774444984 Time : 0.0 sec. user=juhehe [2013-02-06 21:08:25] 831*2^1240673-1 is not prime. Res64: 8811C7DAD4DAE16F Time : 0.0 sec. user=mdettweiler [2013-02-06 21:22:32] 765*2^1240675-1 is not prime. Res64: ECFA75091D7E5EEA Time : 0.0 sec. user=mdettweiler [2013-02-06 21:22:32] 885*2^1240675-1 is not prime. Res64: 03091D2ED40B3781 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:25:24] 909*2^1240675-1 is not prime. Res64: 487C812B14F22249 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:25:24] 915*2^1240675-1 is not prime. Res64: DC9ECE14228BF088 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:40:30] 973*2^1240675-1 is not prime. Res64: 281F0222677FC226 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:40:30] 979*2^1240675-1 is not prime. Res64: 9E851D83415C4690 Time : 0.0 sec. user=vaughan [2013-02-06 21:42:25] 705*2^1240675-1 is not prime. Res64: 7FB2D0B67113EF27 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:43:30] 603*2^1240676-1 is not prime. Res64: E01EF3D53F65DDF2 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:43:31] 617*2^1240676-1 is not prime. Res64: 7B800FF0DB6C2003 Time : 0.0 sec. user=mdettweiler [2013-02-06 21:58:40] 623*2^1240676-1 is not prime. Res64: 3E3EB4F87B20594B Time : 0.0 sec. user=mdettweiler [2013-02-06 21:58:40] 735*2^1240676-1 is not prime. Res64: 9D5195EF81F5BA77 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:01:29] 837*2^1240676-1 is not prime. Res64: 72CD4196AEF42381 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:01:31] 867*2^1240676-1 is not prime. Res64: EA46EC3C4E798913 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:16:20] 983*2^1240676-1 is not prime. Res64: 222E895D8140A088 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:16:21] 615*2^1240677-1 is not prime. Res64: FE112393C7247CEF Time : 0.0 sec. user=mdettweiler [2013-02-06 22:19:14] 669*2^1240677-1 is not prime. Res64: 4EE77989FEB129C5 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:19:14] 691*2^1240677-1 is not prime. Res64: A1284526ABECE9DC Time : 0.0 sec. user=vaughan [2013-02-06 22:20:09] 749*2^1240676-1 is not prime. Res64: 010ED426ED4AD6DD Time : 0.0 sec. user=juhehe [2013-02-06 22:32:07] 879*2^1240676-1 is not prime. Res64: E66C49CC2D93FDFA Time : 0.0 sec. user=mdettweiler [2013-02-06 22:34:03] 735*2^1240677-1 is not prime. Res64: 03976B6D2F8DA9F1 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:34:03] 831*2^1240677-1 is not prime. Res64: E4F8A62354EC5CCF Time : 0.0 sec. user=mdettweiler [2013-02-06 22:36:54] 867*2^1240677-1 is not prime. Res64: 87A6A01F2FF1C863 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:36:55] 889*2^1240677-1 is not prime. Res64: 72A303CB57984381 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:51:45] 665*2^1240678-1 is not prime. Res64: E808D198F1A7C06C Time : 0.0 sec. user=mdettweiler [2013-02-06 22:51:46] 723*2^1240678-1 is not prime. Res64: 8F530EC3C557DF93 Time : 0.0 sec. user=mdettweiler [2013-02-06 22:54:37] 815*2^1240678-1 is not prime. Res64: 5331AAF5198DD56F Time : 0.0 sec. user=mdettweiler [2013-02-06 22:54:37] 825*2^1240678-1 is not prime. Res64: AA024F71EE181DF0 Time : 0.0 sec. user=vaughan [2013-02-06 22:57:56] 919*2^1240677-1 is not prime. Res64: C98A4E886835E6D1 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:09:27] 831*2^1240678-1 is not prime. Res64: 62FC75FBB7E2ABDA Time : 0.0 sec. user=mdettweiler [2013-02-06 23:09:30] 857*2^1240678-1 is not prime. Res64: 715DD43D9065CB70 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:12:17] 867*2^1240678-1 is not prime. Res64: 26230AB1D9B8C644 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:12:17] 951*2^1240678-1 is not prime. Res64: 448E97032E7C258C Time : 0.0 sec. user=juhehe [2013-02-06 23:16:04] 955*2^1240677-1 is not prime. Res64: 9D3CC3C32F85EAB3 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:27:12] 975*2^1240678-1 is not prime. Res64: 4CB3D7A91575767E Time : 0.0 sec. user=mdettweiler [2013-02-06 23:27:13] 1001*2^1240678-1 is not prime. Res64: 6149BAD65A4B5E82 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:29:46] 661*2^1240679-1 is not prime. Res64: 8B9A46E1583CCE85 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:29:47] 663*2^1240679-1 is not prime. Res64: 96A1822DF77424A2 Time : 0.0 sec. user=vaughan [2013-02-06 23:35:41] 971*2^1240678-1 is not prime. Res64: 3B84CE2C47A0A2A6 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:44:41] 711*2^1240679-1 is not prime. Res64: 29AF5E764241D317 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:44:42] 745*2^1240679-1 is not prime. Res64: A96303B603CB67B9 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:47:15] 811*2^1240679-1 is not prime. Res64: 30A12BF4A072DFA3 Time : 0.0 sec. user=mdettweiler [2013-02-06 23:47:15] 889*2^1240679-1 is not prime. Res64: 9B9D586625C0FD63 Time : 0.0 sec.