user=mdettweiler [2015-02-20 00:02:01] 945*2^1391402-1 is not prime. Res64: C15BE6A0A6E842EB Time : 0.0 sec. user=mdettweiler [2015-02-20 00:02:01] 963*2^1391402-1 is not prime. Res64: FB2A02CBC600759A Time : 0.0 sec. user=mdettweiler [2015-02-20 00:14:35] 663*2^1391403-1 is not prime. Res64: DCE64613FF04F330 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:14:36] 823*2^1391403-1 is not prime. Res64: F42D771253035B67 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:16:31] 605*2^1391404-1 is not prime. Res64: A37AD7D2CF2CBDE6 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:16:32] 635*2^1391404-1 is not prime. Res64: 1B38C429147C71AB Time : 0.0 sec. user=mdettweiler [2015-02-20 00:17:41] 723*2^1391404-1 is not prime. Res64: 7A4510AA77606519 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:17:42] 903*2^1391404-1 is not prime. Res64: B3DC145A50BB1199 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:28:03] 959*2^1391404-1 is not prime. Res64: 4F5E211FB988E27D Time : 0.0 sec. user=mdettweiler [2015-02-20 00:28:04] 669*2^1391405-1 is not prime. Res64: DE4E13399CD372AA Time : 0.0 sec. user=mdettweiler [2015-02-20 00:40:23] 691*2^1391405-1 is not prime. Res64: A9AAE6BCEB4A3F58 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:40:23] 787*2^1391405-1 is not prime. Res64: B100F39E9C49165E Time : 0.0 sec. user=mdettweiler [2015-02-20 00:42:27] 859*2^1391405-1 is not prime. Res64: 94703E883B5BA7DC Time : 0.0 sec. user=mdettweiler [2015-02-20 00:42:27] 987*2^1391405-1 is not prime. Res64: 36C6604DE640B715 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:43:34] 641*2^1391406-1 is not prime. Res64: 0DA8115CDCCC02E7 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:43:35] 647*2^1391406-1 is not prime. Res64: 4703797D79EF287F Time : 0.0 sec. user=mdettweiler [2015-02-20 00:53:53] 683*2^1391406-1 is not prime. Res64: 96FD6FFD107E2399 Time : 0.0 sec. user=mdettweiler [2015-02-20 00:53:53] 707*2^1391406-1 is not prime. Res64: A730146C6DDD7EBE Time : 0.0 sec. user=mdettweiler [2015-02-20 01:06:40] 711*2^1391406-1 is not prime. Res64: E40B0FE2ED31F5FA Time : 0.0 sec. user=mdettweiler [2015-02-20 01:06:40] 891*2^1391406-1 is not prime. Res64: B2D0EEEDA5AE48E9 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:09:00] 893*2^1391406-1 is not prime. Res64: FDC675CE02B79E8F Time : 0.0 sec. user=mdettweiler [2015-02-20 01:09:01] 619*2^1391407-1 is not prime. Res64: 1C291F15F748373F Time : 0.0 sec. user=mdettweiler [2015-02-20 01:09:56] 663*2^1391407-1 is not prime. Res64: 20A17BBB3F445F58 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:09:56] 729*2^1391407-1 is not prime. Res64: FCB64AC3E652E2BC Time : 0.0 sec. user=mdettweiler [2015-02-20 01:20:04] 741*2^1391407-1 is not prime. Res64: 00DFA53D92A0DDA2 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:20:04] 873*2^1391407-1 is not prime. Res64: 9294638545CEEF5A Time : 0.0 sec. user=mdettweiler [2015-02-20 01:32:23] 901*2^1391407-1 is not prime. Res64: FFB3DE540A4BA847 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:32:24] 925*2^1391407-1 is not prime. Res64: 55640CFF2FDD63EF Time : 0.0 sec. user=mdettweiler [2015-02-20 01:34:34] 931*2^1391407-1 is not prime. Res64: 3237E95CF3F9157E Time : 0.0 sec. user=mdettweiler [2015-02-20 01:34:34] 979*2^1391407-1 is not prime. Res64: 456E2C4D4A9EF50F Time : 0.0 sec. user=mdettweiler [2015-02-20 01:35:36] 603*2^1391408-1 is not prime. Res64: 1C7F7464704A4F47 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:35:37] 735*2^1391408-1 is not prime. Res64: BEEB7E57D804A4BC Time : 0.0 sec. user=mdettweiler [2015-02-20 01:45:41] 755*2^1391408-1 is not prime. Res64: E156003937F16299 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:45:41] 759*2^1391408-1 is not prime. Res64: FD671F1212E85852 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:57:51] 819*2^1391408-1 is not prime. Res64: 4FDBE37987325200 Time : 0.0 sec. user=mdettweiler [2015-02-20 01:57:51] 845*2^1391408-1 is not prime. Res64: 90F032B31686105D Time : 0.0 sec. user=mdettweiler [2015-02-20 02:00:11] 963*2^1391408-1 is not prime. Res64: BA75222325C5B75C Time : 0.0 sec. user=mdettweiler [2015-02-20 02:00:12] 865*2^1391409-1 is not prime. Res64: FE5BC256B626B983 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:01:02] 889*2^1391409-1 is not prime. Res64: F5969365878425A8 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:01:02] 895*2^1391409-1 is not prime. Res64: 92B05057C67BBE1D Time : 0.0 sec. user=mdettweiler [2015-02-20 02:11:09] 975*2^1391409-1 is not prime. Res64: A517F6ED67DF2CDC Time : 0.0 sec. user=mdettweiler [2015-02-20 02:11:09] 991*2^1391409-1 is not prime. Res64: 56AB7B4380EE23CC Time : 0.0 sec. user=mdettweiler [2015-02-20 02:23:14] 633*2^1391410-1 is not prime. Res64: 0EE630C41AD5D608 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:23:15] 677*2^1391410-1 is not prime. Res64: C203A1167BD3A0A1 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:25:49] 723*2^1391410-1 is not prime. Res64: 3D06D54A6F5093A7 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:25:49] 735*2^1391410-1 is not prime. Res64: 6DAB69930AD65A76 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:26:37] 831*2^1391410-1 is not prime. Res64: 6923D2438AEBA1AE Time : 0.0 sec. user=mdettweiler [2015-02-20 02:26:37] 995*2^1391410-1 is not prime. Res64: B6895C71AFFC7F20 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:36:39] 619*2^1391411-1 is not prime. Res64: 7E3A849F487A1161 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:36:40] 675*2^1391411-1 is not prime. Res64: B776A61949EA3DF7 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:48:34] 703*2^1391411-1 is not prime. Res64: 9FBF959DFC6F78C8 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:48:34] 813*2^1391411-1 is not prime. Res64: A6B9FA6AFA816D19 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:51:18] 913*2^1391411-1 is not prime. Res64: 900CE16DA2250D78 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:51:18] 949*2^1391411-1 is not prime. Res64: F480AFAB7EF5C67C Time : 0.0 sec. user=mdettweiler [2015-02-20 02:51:59] 979*2^1391411-1 is not prime. Res64: 1AD0568B18BBB2E5 Time : 0.0 sec. user=mdettweiler [2015-02-20 02:52:00] 665*2^1391412-1 is not prime. Res64: 7A1165DA6B674B2C Time : 0.0 sec. user=mdettweiler [2015-02-20 03:03:24] 765*2^1391412-1 is not prime. Res64: A9F7A4493A85D6B9 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:03:25] 779*2^1391412-1 is not prime. Res64: 511FF107A25C8AC5 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:14:32] 803*2^1391412-1 is not prime. Res64: AA318C9576AB35B2 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:14:33] 915*2^1391412-1 is not prime. Res64: 56536B6141D308F8 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:17:55] 947*2^1391412-1 is not prime. Res64: E02E5FAA5F8E1AF8 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:17:55] 965*2^1391412-1 is not prime. Res64: F8860F7E8C515302 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:18:12] 619*2^1391413-1 is not prime. Res64: F9DB94A7523B8C81 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:18:12] 699*2^1391413-1 is not prime. Res64: 011BF1DC1E4A5730 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:29:21] 747*2^1391413-1 is not prime. Res64: B5846F985D465C36 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:29:22] 801*2^1391413-1 is not prime. Res64: 30861A39D90C3638 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:39:59] 889*2^1391413-1 is not prime. Res64: C90ED582530CDF09 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:40:00] 951*2^1391413-1 is not prime. Res64: 4B06A94A15864D3C Time : 0.0 sec. user=mdettweiler [2015-02-20 03:43:06] 987*2^1391413-1 is not prime. Res64: 8E9FA70B7D7CF68C Time : 0.0 sec. user=mdettweiler [2015-02-20 03:43:06] 665*2^1391414-1 is not prime. Res64: C375EE6A2DA9D34A Time : 0.0 sec. user=mdettweiler [2015-02-20 03:43:32] 671*2^1391414-1 is not prime. Res64: 6A262E709AD3B1AB Time : 0.0 sec. user=mdettweiler [2015-02-20 03:43:34] 773*2^1391414-1 is not prime. Res64: 2A1BCE981503341B Time : 0.0 sec. user=mdettweiler [2015-02-20 03:55:09] 953*2^1391414-1 is not prime. Res64: 8D8880A8B5F3C1B1 Time : 0.0 sec. user=mdettweiler [2015-02-20 03:55:10] 625*2^1391415-1 is not prime. Res64: CB48CCE4A4758014 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:05:47] 651*2^1391415-1 is not prime. Res64: AFC9AF927D187ACF Time : 0.0 sec. user=mdettweiler [2015-02-20 04:05:50] 793*2^1391415-1 is not prime. Res64: 419CD984DD188FFD Time : 0.0 sec. user=mdettweiler [2015-02-20 04:08:24] 819*2^1391415-1 is not prime. Res64: D9518C4604D33607 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:08:27] 829*2^1391415-1 is not prime. Res64: DA9AECDC2A55FA6F Time : 0.0 sec. user=mdettweiler [2015-02-20 04:08:51] 849*2^1391415-1 is not prime. Res64: BB589B2167D775C8 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:08:52] 853*2^1391415-1 is not prime. Res64: 62DF0BE095C7EC87 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:20:44] 859*2^1391415-1 is not prime. Res64: 66FF6E546F03544F Time : 0.0 sec. user=mdettweiler [2015-02-20 04:20:44] 675*2^1391416-1 is not prime. Res64: C16C854070D65238 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:31:59] 899*2^1391416-1 is not prime. Res64: D6B515975714007F Time : 0.0 sec. user=mdettweiler [2015-02-20 04:31:59] 909*2^1391416-1 is not prime. Res64: 3586D21CF2E13547 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:34:09] 669*2^1391417-1 is not prime. Res64: 01A726C365100C86 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:34:09] 759*2^1391417-1 is not prime. Res64: A40BF1FD4549EB1D Time : 0.0 sec. user=mdettweiler [2015-02-20 04:34:09] 837*2^1391417-1 is not prime. Res64: B7D14AA083C61861 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:34:10] 861*2^1391417-1 is not prime. Res64: 9042D7C60A4ECC22 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:46:07] 879*2^1391417-1 is not prime. Res64: 20ECB5C463754B3C Time : 0.0 sec. user=mdettweiler [2015-02-20 04:46:08] 985*2^1391417-1 is not prime. Res64: 0AB76DE9ECAE1C1F Time : 0.0 sec. user=mdettweiler [2015-02-20 04:57:26] 633*2^1391418-1 is not prime. Res64: 9381FE65F015E175 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:57:26] 635*2^1391418-1 is not prime. Res64: 68366CA79604C8C5 Time : 0.0 sec. user=mdettweiler [2015-02-20 04:59:21] 663*2^1391418-1 is not prime. Res64: CBD4340111B7939D Time : 0.0 sec. user=mdettweiler [2015-02-20 04:59:22] 671*2^1391418-1 is not prime. Res64: 76087560B4AE79EB Time : 0.0 sec. user=mdettweiler [2015-02-20 04:59:39] 725*2^1391418-1 is not prime. Res64: BBF0F3866BB64C8A Time : 0.0 sec. user=mdettweiler [2015-02-20 04:59:39] 821*2^1391418-1 is not prime. Res64: 5FC8CE278F63FD0B Time : 0.0 sec. user=mdettweiler [2015-02-20 05:11:29] 825*2^1391418-1 is not prime. Res64: 4204238BCC1A0EA1 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:11:30] 957*2^1391418-1 is not prime. Res64: 4CA2D53253D7D2DA Time : 0.0 sec. user=mdettweiler [2015-02-20 05:22:51] 971*2^1391418-1 is not prime. Res64: 3D3070F871C00CCE Time : 0.0 sec. user=mdettweiler [2015-02-20 05:22:52] 609*2^1391419-1 is not prime. Res64: F89FA4B74A5BFA84 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:24:39] 771*2^1391419-1 is not prime. Res64: 407453EA8A420C83 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:24:40] 835*2^1391419-1 is not prime. Res64: 5B523571B487AC21 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:25:03] 883*2^1391419-1 is not prime. Res64: 883EF5213E1D1833 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:25:04] 891*2^1391419-1 is not prime. Res64: FE7D5352895C24BA Time : 0.0 sec. user=mdettweiler [2015-02-20 05:36:49] 777*2^1391420-1 is not prime. Res64: 959FEFCD8B3FE5A5 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:36:49] 825*2^1391420-1 is not prime. Res64: D8741BE7F4C316A9 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:48:07] 915*2^1391420-1 is not prime. Res64: A309C058B773C51A Time : 0.0 sec. user=mdettweiler [2015-02-20 05:48:07] 999*2^1391420-1 is not prime. Res64: 6736A2E3749A3A57 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:50:04] 607*2^1391421-1 is not prime. Res64: EBBB38184BA5F2B5 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:50:04] 745*2^1391421-1 is not prime. Res64: 6C43DED1B08B8F79 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:50:20] 795*2^1391421-1 is not prime. Res64: A16ADA81ABFF0B46 Time : 0.0 sec. user=mdettweiler [2015-02-20 05:50:21] 861*2^1391421-1 is not prime. Res64: 9928F8C97176ACCA Time : 0.0 sec. user=mdettweiler [2015-02-20 06:02:15] 871*2^1391421-1 is not prime. Res64: 9552CCE904565522 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:02:16] 885*2^1391421-1 is not prime. Res64: 49521BAC8BBA3674 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:13:29] 979*2^1391421-1 is not prime. Res64: 9E653D25E61C5580 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:13:29] 987*2^1391421-1 is not prime. Res64: 13ECB50114382420 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:15:20] 997*2^1391421-1 is not prime. Res64: A98E252832E0BCDC Time : 0.0 sec. user=mdettweiler [2015-02-20 06:15:20] 603*2^1391422-1 is not prime. Res64: 692C2A11F3F2D60B Time : 0.0 sec. user=mdettweiler [2015-02-20 06:15:36] 611*2^1391422-1 is not prime. Res64: 2BF0BD1E2AFE6B67 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:15:36] 675*2^1391422-1 is not prime. Res64: 84C82DCDEEF209B4 Time : 0.0 sec. user=juhehe [2015-02-20 06:21:34] 743*2^1391422-1 is not prime. Res64: 8A9E087DF94FBF01 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:27:54] 791*2^1391422-1 is not prime. Res64: 373F27957293D45D Time : 0.0 sec. user=mdettweiler [2015-02-20 06:27:55] 833*2^1391422-1 is not prime. Res64: 57A2CE102B58851B Time : 0.0 sec. user=mdettweiler [2015-02-20 06:38:55] 951*2^1391422-1 is not prime. Res64: 62BBE1195D78C652 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:38:56] 705*2^1391423-1 is not prime. Res64: 4E178607A9BCC070 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:40:41] 729*2^1391423-1 is not prime. Res64: F28C2323CA56892D Time : 0.0 sec. user=mdettweiler [2015-02-20 06:40:42] 775*2^1391423-1 is not prime. Res64: 794D14CD0064DCCD Time : 0.0 sec. user=mdettweiler [2015-02-20 06:40:58] 811*2^1391423-1 is not prime. Res64: 15770AC2EA8BF51E Time : 0.0 sec. user=mdettweiler [2015-02-20 06:40:58] 825*2^1391423-1 is not prime. Res64: 57F414EB1D18AD9F Time : 0.0 sec. user=mdettweiler [2015-02-20 06:53:15] 939*2^1391423-1 is not prime. Res64: B55157791F0E6EB0 Time : 0.0 sec. user=mdettweiler [2015-02-20 06:53:15] 945*2^1391423-1 is not prime. Res64: 690EDD3DFF13920B Time : 0.0 sec. user=mdettweiler [2015-02-20 07:04:25] 693*2^1391424-1 is not prime. Res64: 0F50D8276679620B Time : 0.0 sec. user=mdettweiler [2015-02-20 07:04:27] 795*2^1391424-1 is not prime. Res64: 487C93BD690060D0 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:06:11] 947*2^1391424-1 is not prime. Res64: 7251F19F124A6258 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:06:12] 705*2^1391425-1 is not prime. Res64: 857518C87EC5B42A Time : 0.0 sec. user=mdettweiler [2015-02-20 07:06:13] 819*2^1391425-1 is not prime. Res64: C9D76D26AD141C67 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:06:14] 603*2^1391426-1 is not prime. Res64: 73224AF3728A0491 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:18:40] 833*2^1391426-1 is not prime. Res64: 3631CD3B022A8A24 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:18:40] 867*2^1391426-1 is not prime. Res64: EB7DD7F3193D2497 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:30:05] 601*2^1391427-1 is not prime. Res64: C701154B83E2122E Time : 0.0 sec. user=mdettweiler [2015-02-20 07:30:05] 685*2^1391427-1 is not prime. Res64: B5BD7A94A872CAD7 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:31:48] 605*2^1391428-1 is not prime. Res64: A717DC53EF2E5F88 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:31:49] 623*2^1391428-1 is not prime. Res64: C0D5FB14B01B90FC Time : 0.0 sec. user=mdettweiler [2015-02-20 07:31:56] 741*2^1391427-1 is not prime. Res64: 60222894B89E2C9D Time : 0.0 sec. user=mdettweiler [2015-02-20 07:31:56] 843*2^1391427-1 is not prime. Res64: 9B690F4692E0D411 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:44:03] 647*2^1391428-1 is not prime. Res64: F410A5C0E2CF8257 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:44:04] 657*2^1391428-1 is not prime. Res64: 8385F86F4967E4E5 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:55:18] 695*2^1391428-1 is not prime. Res64: EE946250D2D380B1 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:55:19] 825*2^1391428-1 is not prime. Res64: F9B5A6E2BC44D9C8 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:57:12] 993*2^1391428-1 is not prime. Res64: DDEA396203FF0160 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:57:12] 619*2^1391429-1 is not prime. Res64: 1E6A4DACC5114D5B Time : 0.0 sec. user=mdettweiler [2015-02-20 07:57:19] 827*2^1391428-1 is not prime. Res64: 8BAEFD0A56CC4DF0 Time : 0.0 sec. user=mdettweiler [2015-02-20 07:57:19] 989*2^1391428-1 is not prime. Res64: 1F616AF6AC078D11 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:09:23] 627*2^1391429-1 is not prime. Res64: 5034E94AC82DB107 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:09:24] 829*2^1391429-1 is not prime. Res64: 8846B4485EA42EFC Time : 0.0 sec. user=mdettweiler [2015-02-20 08:20:34] 957*2^1391429-1 is not prime. Res64: 64C7BC1461C9C11D Time : 0.0 sec. user=mdettweiler [2015-02-20 08:20:35] 657*2^1391430-1 is not prime. Res64: C87DB6F60A7F613A Time : 0.0 sec. user=mdettweiler [2015-02-20 08:22:34] 711*2^1391430-1 is not prime. Res64: 64724B45BC76B5E3 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:22:34] 791*2^1391430-1 is not prime. Res64: 45C3BC15512655A3 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:22:46] 615*2^1391431-1 is not prime. Res64: FDD624E3CEAB92FC Time : 0.0 sec. user=mdettweiler [2015-02-20 08:22:47] 681*2^1391431-1 is not prime. Res64: 77EB0E2C4DE455CF Time : 0.0 sec. user=mdettweiler [2015-02-20 08:34:51] 693*2^1391431-1 is not prime. Res64: 92385AB04350A790 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:34:51] 789*2^1391431-1 is not prime. Res64: 9172528861454045 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:45:57] 855*2^1391431-1 is not prime. Res64: 08666DD5FCF31098 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:45:57] 889*2^1391431-1 is not prime. Res64: 65D86CD70F9DD2C1 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:47:51] 999*2^1391431-1 is not prime. Res64: A95EF8BBA5344F70 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:47:51] 633*2^1391432-1 is not prime. Res64: 786EA63FF2CBC4D8 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:48:07] 735*2^1391432-1 is not prime. Res64: A0FB940DEDF41EA9 Time : 0.0 sec. user=mdettweiler [2015-02-20 08:48:08] 837*2^1391432-1 is not prime. Res64: C5D5B0601806ADE1 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:00:11] 879*2^1391432-1 is not prime. Res64: ECDDFB54D24DAE9B Time : 0.0 sec. user=mdettweiler [2015-02-20 09:00:12] 899*2^1391432-1 is not prime. Res64: 9C045E90FA161780 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:11:21] 903*2^1391432-1 is not prime. Res64: 34D1BE76BCC8E9BC Time : 0.0 sec. user=mdettweiler [2015-02-20 09:11:22] 627*2^1391433-1 is not prime. Res64: BDD98197053CF29F Time : 0.0 sec. user=mdettweiler [2015-02-20 09:13:09] 727*2^1391433-1 is not prime. Res64: D080B28E4C56A4E4 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:13:09] 741*2^1391433-1 is not prime. Res64: 7084ECA12F6BC384 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:13:41] 747*2^1391433-1 is not prime. Res64: A58436D094108F3C Time : 0.0 sec. user=mdettweiler [2015-02-20 09:13:42] 789*2^1391433-1 is not prime. Res64: 642B2EA6F29E0516 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:25:44] 849*2^1391433-1 is not prime. Res64: EA5C496C4723481A Time : 0.0 sec. user=mdettweiler [2015-02-20 09:25:44] 915*2^1391433-1 is not prime. Res64: FCAF7172119CF877 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:36:43] 611*2^1391434-1 is not prime. Res64: D40A83F46F25E55E Time : 0.0 sec. user=mdettweiler [2015-02-20 09:36:44] 827*2^1391434-1 is not prime. Res64: 72153488C4D424BC Time : 0.0 sec. user=mdettweiler [2015-02-20 09:38:28] 945*2^1391434-1 is not prime. Res64: A9C607080F152AD4 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:38:28] 741*2^1391435-1 is not prime. Res64: 5E8F8DF205619DAB Time : 0.0 sec. user=mdettweiler [2015-02-20 09:39:04] 883*2^1391435-1 is not prime. Res64: 5F81CAACC040A479 Time : 0.0 sec. user=mdettweiler [2015-02-20 09:39:04] 949*2^1391435-1 is not prime. Res64: 5278F58648886EBD Time : 0.0 sec. user=mdettweiler [2015-02-20 09:51:06] 623*2^1391436-1 is not prime. Res64: 8ED27425A8763C9E Time : 0.0 sec. user=mdettweiler [2015-02-20 09:51:07] 669*2^1391436-1 is not prime. Res64: 8B21E8A873ABEC99 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:02:09] 773*2^1391436-1 is not prime. Res64: 120AB3CABBAE7FC7 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:02:10] 905*2^1391436-1 is not prime. Res64: A7E56213084AF9B3 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:03:53] 993*2^1391436-1 is not prime. Res64: 729A92083CB527FB Time : 0.0 sec. user=mdettweiler [2015-02-20 10:03:54] 999*2^1391436-1 is not prime. Res64: EB907772F6EE4BE5 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:04:29] 775*2^1391437-1 is not prime. Res64: F3021793A3504C66 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:04:30] 777*2^1391437-1 is not prime. Res64: B7F3321312669381 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:16:29] 817*2^1391437-1 is not prime. Res64: 38C7306D729BF266 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:16:30] 897*2^1391437-1 is not prime. Res64: E96DEBF8007F3D51 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:27:38] 939*2^1391437-1 is not prime. Res64: B175E754536F1F3E Time : 0.0 sec. user=mdettweiler [2015-02-20 10:27:39] 635*2^1391438-1 is not prime. Res64: 592B64F5301D4177 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:29:20] 791*2^1391438-1 is not prime. Res64: 9F23DF7FBFFEDB45 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:29:20] 897*2^1391438-1 is not prime. Res64: 3A5D6D5079119216 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:29:56] 915*2^1391438-1 is not prime. Res64: 846E812C189A068C Time : 0.0 sec. user=mdettweiler [2015-02-20 10:29:56] 621*2^1391439-1 is not prime. Res64: 75518222110BFE09 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:41:54] 691*2^1391439-1 is not prime. Res64: DF41C97E6D125EFA Time : 0.0 sec. user=mdettweiler [2015-02-20 10:41:54] 723*2^1391439-1 is not prime. Res64: 5CD3A6225D16FA52 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:52:56] 775*2^1391439-1 is not prime. Res64: 0639D2D09CA24DC8 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:52:57] 789*2^1391439-1 is not prime. Res64: F066CEB41BB50143 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:54:28] 861*2^1391439-1 is not prime. Res64: F58B87977AEB04BA Time : 0.0 sec. user=mdettweiler [2015-02-20 10:54:28] 879*2^1391439-1 is not prime. Res64: AE4AF279DB39C3CF Time : 0.0 sec. user=mdettweiler [2015-02-20 10:55:16] 891*2^1391439-1 is not prime. Res64: 1D787F0E54185759 Time : 0.0 sec. user=mdettweiler [2015-02-20 10:55:16] 991*2^1391439-1 is not prime. Res64: 55F4DA23E7144DB3 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:07:14] 615*2^1391440-1 is not prime. Res64: E033458765192523 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:07:15] 635*2^1391440-1 is not prime. Res64: 52A72389A94248B9 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:18:27] 759*2^1391440-1 is not prime. Res64: 1A2194FE19D9608F Time : 0.0 sec. user=mdettweiler [2015-02-20 11:18:28] 959*2^1391440-1 is not prime. Res64: 0D3CB1FACF90C0A7 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:19:52] 965*2^1391440-1 is not prime. Res64: 2A66E914724B9A5E Time : 0.0 sec. user=mdettweiler [2015-02-20 11:19:52] 999*2^1391440-1 is not prime. Res64: 45C2C5AA576DA567 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:20:26] 601*2^1391441-1 is not prime. Res64: B6BF5D1969609C9C Time : 0.0 sec. user=mdettweiler [2015-02-20 11:20:27] 705*2^1391441-1 is not prime. Res64: B665134E45A79B0C Time : 0.0 sec. user=mdettweiler [2015-02-20 11:32:36] 727*2^1391441-1 is not prime. Res64: 971BEC6D46759749 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:32:36] 735*2^1391441-1 is not prime. Res64: 24E908A07678A384 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:43:44] 861*2^1391441-1 is not prime. Res64: 2A9354646A0B0A1A Time : 0.0 sec. user=mdettweiler [2015-02-20 11:43:44] 981*2^1391441-1 is not prime. Res64: 44F74DE0B625D527 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:45:10] 997*2^1391441-1 is not prime. Res64: 080D8F92EC07C59E Time : 0.0 sec. user=mdettweiler [2015-02-20 11:45:11] 735*2^1391442-1 is not prime. Res64: E9451048D2413475 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:45:42] 737*2^1391442-1 is not prime. Res64: 2C955EE5F8CC76E0 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:45:43] 777*2^1391442-1 is not prime. Res64: C23215BA63489633 Time : 0.0 sec. user=mdettweiler [2015-02-20 11:57:52] 915*2^1391442-1 is not prime. Res64: 3A74060165807D7A Time : 0.0 sec. user=mdettweiler [2015-02-20 11:57:52] 615*2^1391443-1 is not prime. Res64: 0DF5BD347E517952 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:09:05] 709*2^1391443-1 is not prime. Res64: 24BE4117140AE6B5 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:09:05] 789*2^1391443-1 is not prime. Res64: EBA6CD9C32B37F8A Time : 0.0 sec. user=mdettweiler [2015-02-20 12:10:28] 861*2^1391443-1 is not prime. Res64: 869334998DCE5884 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:10:28] 609*2^1391444-1 is not prime. Res64: DD33ED542260420A Time : 0.0 sec. user=mdettweiler [2015-02-20 12:11:02] 719*2^1391444-1 is not prime. Res64: BE1703A0FF5CB0FF Time : 0.0 sec. user=mdettweiler [2015-02-20 12:11:03] 749*2^1391444-1 is not prime. Res64: A5ABFF6B4AA58DDF Time : 0.0 sec. user=mdettweiler [2015-02-20 12:23:13] 813*2^1391444-1 is not prime. Res64: 0E025BEE14CE41A2 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:23:13] 923*2^1391444-1 is not prime. Res64: C22DA24CC2BDF46A Time : 0.0 sec. user=mdettweiler [2015-02-20 12:34:28] 627*2^1391445-1 is not prime. Res64: 3FA81B90F440FC58 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:34:29] 795*2^1391445-1 is not prime. Res64: 417A09670633BBFE Time : 0.0 sec. user=mdettweiler [2015-02-20 12:36:03] 817*2^1391445-1 is not prime. Res64: D108D00959658559 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:36:03] 885*2^1391445-1 is not prime. Res64: 4927310B3F088887 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:36:31] 623*2^1391446-1 is not prime. Res64: 1C703FD0F62B4A2A Time : 0.0 sec. user=mdettweiler [2015-02-20 12:36:31] 647*2^1391446-1 is not prime. Res64: FEBD66854289CCA6 Time : 0.0 sec. user=mdettweiler [2015-02-20 12:49:56] 741*2^1391446-1 is not prime. Res64: D11814BF29080DAE Time : 0.0 sec. user=mdettweiler [2015-02-20 12:49:56] 815*2^1391446-1 is not prime. Res64: 4D92F0E2D8879E50 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:01:42] 821*2^1391446-1 is not prime. Res64: 3DCDC08E4CBE39F7 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:01:42] 923*2^1391446-1 is not prime. Res64: E1E28C49BCD331EC Time : 0.0 sec. user=mdettweiler [2015-02-20 13:03:37] 945*2^1391446-1 is not prime. Res64: 5B6736312A41C35E Time : 0.0 sec. user=mdettweiler [2015-02-20 13:03:38] 983*2^1391446-1 is not prime. Res64: 9069E36B4D4E3585 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:04:00] 813*2^1391447-1 is not prime. Res64: CF20B6D5166EE104 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:04:01] 825*2^1391447-1 is not prime. Res64: CE369ADCD73EE8FA Time : 0.0 sec. user=mdettweiler [2015-02-20 13:17:14] 859*2^1391447-1 is not prime. Res64: CDB0C4883037E9AA Time : 0.0 sec. user=mdettweiler [2015-02-20 13:17:14] 895*2^1391447-1 is not prime. Res64: 227EAB807ABE1514 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:29:29] 845*2^1391448-1 is not prime. Res64: EBD3C72F31838F28 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:29:29] 929*2^1391448-1 is not prime. Res64: AA84ED6236BDEA13 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:31:10] 675*2^1391449-1 is not prime. Res64: 3B650C8EF5A502B1 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:31:10] 771*2^1391449-1 is not prime. Res64: DB6AD4E76E30251C Time : 0.0 sec. user=mdettweiler [2015-02-20 13:31:17] 829*2^1391449-1 is not prime. Res64: 4CA3B7108F85ACF3 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:31:18] 855*2^1391449-1 is not prime. Res64: 9C70A06A516DECB3 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:43:39] 877*2^1391449-1 is not prime. Res64: 996C527AABDA4EBE Time : 0.0 sec. user=mdettweiler [2015-02-20 13:43:40] 955*2^1391449-1 is not prime. Res64: 87A9A69DE21569D8 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:55:30] 641*2^1391450-1 is not prime. Res64: C8ABF5762F4C228A Time : 0.0 sec. user=mdettweiler [2015-02-20 13:55:31] 675*2^1391450-1 is not prime. Res64: 1CE0AF9A8596D11A Time : 0.0 sec. user=mdettweiler [2015-02-20 13:57:10] 785*2^1391450-1 is not prime. Res64: F56552929925E722 Time : 0.0 sec. user=mdettweiler [2015-02-20 13:57:10] 923*2^1391450-1 is not prime. Res64: 586AAEAD1770B6EE Time : 0.0 sec. user=mdettweiler [2015-02-20 13:57:32] 1001*2^1391450-1 is not prime. Res64: 09DD52AF1951BB0D Time : 0.0 sec. user=mdettweiler [2015-02-20 13:57:33] 669*2^1391451-1 is not prime. Res64: 2F109E4793F44497 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:09:30] 751*2^1391451-1 is not prime. Res64: FB8D01747056C019 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:09:31] 829*2^1391451-1 is not prime. Res64: BA71C12008A98D7E Time : 0.0 sec. user=mdettweiler [2015-02-20 14:21:15] 979*2^1391451-1 is not prime. Res64: 2BB7838A085A3DFE Time : 0.0 sec. user=mdettweiler [2015-02-20 14:21:16] 675*2^1391452-1 is not prime. Res64: FCD47976AE9646D9 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:22:57] 689*2^1391452-1 is not prime. Res64: B697A8618A940051 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:22:57] 705*2^1391452-1 is not prime. Res64: 2E6376795D62CCF2 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:23:12] 785*2^1391452-1 is not prime. Res64: 263B61F2827E29A2 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:23:13] 843*2^1391452-1 is not prime. Res64: 74BC30C4D8D19344 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:35:09] 899*2^1391452-1 is not prime. Res64: DE3E34B50B571B9A Time : 0.0 sec. user=mdettweiler [2015-02-20 14:35:09] 789*2^1391453-1 is not prime. Res64: 0E06BA0C2F12D2B0 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:46:51] 847*2^1391453-1 is not prime. Res64: AFB02CE4392E489A Time : 0.0 sec. user=mdettweiler [2015-02-20 14:46:51] 855*2^1391453-1 is not prime. Res64: 5912FF594DC0C0C9 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:48:40] 981*2^1391453-1 is not prime. Res64: D2C3226D3F7659AE Time : 0.0 sec. user=mdettweiler [2015-02-20 14:48:40] 621*2^1391454-1 is not prime. Res64: F96A59A49D554888 Time : 0.0 sec. user=mdettweiler [2015-02-20 14:49:01] 641*2^1391454-1 is not prime. Res64: 70DD6445B54DBF2F Time : 0.0 sec. user=mdettweiler [2015-02-20 14:49:01] 657*2^1391454-1 is not prime. Res64: FB264D39E994D06B Time : 0.0 sec. user=mdettweiler [2015-02-20 15:02:09] 741*2^1391454-1 is not prime. Res64: 4BDC9D1B0D59613B Time : 0.0 sec. user=mdettweiler [2015-02-20 15:02:10] 755*2^1391454-1 is not prime. Res64: CE04BE8FE5D0DA7F Time : 0.0 sec. user=mdettweiler [2015-02-20 15:15:41] 863*2^1391454-1 is not prime. Res64: 97DC4D5A533EA67D Time : 0.0 sec. user=mdettweiler [2015-02-20 15:15:42] 965*2^1391454-1 is not prime. Res64: 537DFDCF364B6BF8 Time : 0.0 sec. user=mdettweiler [2015-02-20 15:17:34] 661*2^1391455-1 is not prime. Res64: 6F6335FB2605A50D Time : 0.0 sec. user=mdettweiler [2015-02-20 15:17:35] 679*2^1391455-1 is not prime. Res64: E0643EF57687465F Time : 0.0 sec. user=mdettweiler [2015-02-20 15:17:54] 735*2^1391455-1 is not prime. Res64: CB5CF9242AA8D6AF Time : 0.0 sec. user=mdettweiler [2015-02-20 15:17:54] 831*2^1391455-1 is not prime. Res64: FB48FCDD4983F3A8 Time : 0.0 sec. user=mdettweiler [2015-02-20 15:32:53] 933*2^1391455-1 is not prime. Res64: 69465F112207482A Time : 0.0 sec. user=mdettweiler [2015-02-20 15:32:53] 973*2^1391455-1 is not prime. Res64: BDCDEFF8A28EE51F Time : 0.0 sec. user=mdettweiler [2015-02-20 15:45:46] 603*2^1391456-1 is not prime. Res64: A4A0C3216538EA0D Time : 0.0 sec. user=mdettweiler [2015-02-20 15:45:47] 767*2^1391456-1 is not prime. Res64: 6421875AB259CB10 Time : 0.0 sec. user=mdettweiler [2015-02-20 15:47:30] 827*2^1391456-1 is not prime. Res64: 12C4DA8C708A9673 Time : 0.0 sec. user=mdettweiler [2015-02-20 15:47:30] 963*2^1391456-1 is not prime. Res64: 9AA5BC7975F6E68B Time : 0.0 sec. user=mdettweiler [2015-02-20 15:48:10] 983*2^1391456-1 is not prime. Res64: EBBB563492EBBAA4 Time : 0.0 sec. user=mdettweiler [2015-02-20 15:48:10] 627*2^1391457-1 is not prime. Res64: 27C13ECEC6147112 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:01:21] 835*2^1391457-1 is not prime. Res64: A6DD23DC5D1CA447 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:01:22] 847*2^1391457-1 is not prime. Res64: EAEC329A7001AF38 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:12:28] 645*2^1391458-1 is not prime. Res64: AC45A870CA535963 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:12:29] 663*2^1391458-1 is not prime. Res64: F52911E994D962B6 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:13:58] 705*2^1391458-1 is not prime. Res64: 8A16B71FAFD6AFC0 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:13:58] 713*2^1391458-1 is not prime. Res64: 9A7997DA7F17D4D8 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:14:19] 723*2^1391458-1 is not prime. Res64: 7E6BAF6E63688E36 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:14:20] 773*2^1391458-1 is not prime. Res64: 124B0A8E5DE5CEC6 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:27:59] 933*2^1391458-1 is not prime. Res64: 6FA4FEA90318B8BB Time : 0.0 sec. user=mdettweiler [2015-02-20 16:28:00] 945*2^1391458-1 is not prime. Res64: CE0E5E347C3CE40B Time : 0.0 sec. user=mdettweiler [2015-02-20 16:38:14] 1001*2^1391458-1 is not prime. Res64: A104C02F1221D18A Time : 0.0 sec. user=mdettweiler [2015-02-20 16:38:15] 621*2^1391459-1 is not prime. Res64: 3C88E7A8A88C78AF Time : 0.0 sec. user=mdettweiler [2015-02-20 16:39:37] 655*2^1391459-1 is not prime. Res64: 9A492AAD60B8E1AA Time : 0.0 sec. user=mdettweiler [2015-02-20 16:39:38] 705*2^1391459-1 is not prime. Res64: CF989040489E53B4 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:40:06] 775*2^1391459-1 is not prime. Res64: 0B55A2A4B9FE79E1 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:40:06] 609*2^1391460-1 is not prime. Res64: C531F7074228B326 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:53:45] 699*2^1391460-1 is not prime. Res64: F1CCBA59C3E364C2 Time : 0.0 sec. user=mdettweiler [2015-02-20 16:53:45] 767*2^1391460-1 is not prime. Res64: 934AACF604D26CA3 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:03:53] 863*2^1391460-1 is not prime. Res64: A045ED047884DD21 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:03:54] 601*2^1391461-1 is not prime. Res64: D4B8EDC90A60518E Time : 0.0 sec. user=mdettweiler [2015-02-20 17:05:23] 681*2^1391461-1 is not prime. Res64: 685D5C41738F8394 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:05:24] 745*2^1391461-1 is not prime. Res64: E682D5E4F465E8DE Time : 0.0 sec. user=mdettweiler [2015-02-20 17:05:50] 747*2^1391461-1 is not prime. Res64: AE1059B7460A53EB Time : 0.0 sec. user=mdettweiler [2015-02-20 17:05:50] 805*2^1391461-1 is not prime. Res64: 0AB9AC4245F05CC8 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:19:34] 811*2^1391461-1 is not prime. Res64: 7BA18FA79717A408 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:19:34] 829*2^1391461-1 is not prime. Res64: 848C65FB0A168B5E Time : 0.0 sec. user=mdettweiler [2015-02-20 17:29:54] 855*2^1391461-1 is not prime. Res64: 5E6C1CE493D07DC1 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:29:54] 895*2^1391461-1 is not prime. Res64: 8B6F3A3C83CDA8C9 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:31:11] 937*2^1391461-1 is not prime. Res64: E3C93D7C85B6C7D7 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:31:11] 771*2^1391462-1 is not prime. Res64: B2D8D10F9F3F2D13 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:31:31] 797*2^1391462-1 is not prime. Res64: 378BB0E81DD161F6 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:31:31] 903*2^1391462-1 is not prime. Res64: 7A9065A86FCA0F35 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:45:22] 981*2^1391462-1 is not prime. Res64: 90DB351B37B47B3B Time : 0.0 sec. user=mdettweiler [2015-02-20 17:45:23] 663*2^1391463-1 is not prime. Res64: FCEAC36DB369E694 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:55:39] 709*2^1391463-1 is not prime. Res64: B1214564B718AEC1 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:55:40] 751*2^1391463-1 is not prime. Res64: DBA922C3A4AB4137 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:56:51] 783*2^1391463-1 is not prime. Res64: 5E32394BF77669B2 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:56:51] 829*2^1391463-1 is not prime. Res64: 0690EDA8A5653948 Time : 0.0 sec. user=mdettweiler [2015-02-20 17:57:18] 623*2^1391464-1 is not prime. Res64: C22EB5D72574961E Time : 0.0 sec. user=mdettweiler [2015-02-20 17:57:18] 635*2^1391464-1 is not prime. Res64: E36B2FE8C8BB9588 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:11:11] 743*2^1391464-1 is not prime. Res64: 763698615E9A3841 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:11:11] 747*2^1391464-1 is not prime. Res64: 2D6C2773C1A1608F Time : 0.0 sec. user=mdettweiler [2015-02-20 18:21:28] 849*2^1391464-1 is not prime. Res64: 625E49250CB05B78 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:21:28] 857*2^1391464-1 is not prime. Res64: 6F8328B00C76440E Time : 0.0 sec. user=mdettweiler [2015-02-20 18:22:28] 965*2^1391464-1 is not prime. Res64: E233F22561E33D5B Time : 0.0 sec. user=mdettweiler [2015-02-20 18:22:28] 983*2^1391464-1 is not prime. Res64: C5261ECEB4EEBF81 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:23:06] 711*2^1391465-1 is not prime. Res64: 9E0E983F6515868C Time : 0.0 sec. user=mdettweiler [2015-02-20 18:23:07] 775*2^1391465-1 is not prime. Res64: 3E6E27434DD40125 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:37:14] 867*2^1391465-1 is not prime. Res64: DBB3D1368F5A6B56 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:37:14] 725*2^1391466-1 is not prime. Res64: 50788E31874DD873 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:47:13] 801*2^1391466-1 is not prime. Res64: D1AAC636C4D732AE Time : 0.0 sec. user=mdettweiler [2015-02-20 18:47:14] 619*2^1391467-1 is not prime. Res64: EFC90B30E03E06C2 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:48:13] 631*2^1391467-1 is not prime. Res64: 67C92F8E7557338A Time : 0.0 sec. user=mdettweiler [2015-02-20 18:48:13] 649*2^1391467-1 is not prime. Res64: 25F8FCAE615BA449 Time : 0.0 sec. user=mdettweiler [2015-02-20 18:48:50] 681*2^1391467-1 is not prime. Res64: 9004983297B700BC Time : 0.0 sec. user=mdettweiler [2015-02-20 18:48:50] 685*2^1391467-1 is not prime. Res64: 360C88665C88F3D6 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:03:07] 805*2^1391467-1 is not prime. Res64: A98D3BD85BA38128 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:03:09] 873*2^1391467-1 is not prime. Res64: 21A5EC1F10975FC8 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:12:56] 647*2^1391468-1 is not prime. Res64: 6EF4DFF2F2703BDA Time : 0.0 sec. user=mdettweiler [2015-02-20 19:12:56] 665*2^1391468-1 is not prime. Res64: 9BF242BCEF592F53 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:13:56] 855*2^1391468-1 is not prime. Res64: 2579F53F00566EBD Time : 0.0 sec. user=mdettweiler [2015-02-20 19:13:57] 923*2^1391468-1 is not prime. Res64: 982B1C5535BF20BF Time : 0.0 sec. user=mdettweiler [2015-02-20 19:14:34] 609*2^1391469-1 is not prime. Res64: AC91C32C5B60F75F Time : 0.0 sec. user=mdettweiler [2015-02-20 19:14:34] 669*2^1391469-1 is not prime. Res64: 6038B0578E3C9792 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:29:13] 685*2^1391469-1 is not prime. Res64: A8392D466EA04BAC Time : 0.0 sec. user=mdettweiler [2015-02-20 19:29:14] 691*2^1391469-1 is not prime. Res64: 8E2F552E1D0CB9AB Time : 0.0 sec. user=mdettweiler [2015-02-20 19:38:36] 727*2^1391469-1 is not prime. Res64: 0C279D3683A00375 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:38:36] 781*2^1391469-1 is not prime. Res64: C75FCC3A57E98CFF Time : 0.0 sec. user=mdettweiler [2015-02-20 19:39:36] 919*2^1391469-1 is not prime. Res64: 7B5EDDAA290C03A0 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:39:37] 955*2^1391469-1 is not prime. Res64: A3314935DF398CBC Time : 0.0 sec. user=mdettweiler [2015-02-20 19:40:25] 969*2^1391469-1 is not prime. Res64: 2E9B023F98BF5E10 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:40:26] 663*2^1391470-1 is not prime. Res64: 81ADF10288507ED9 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:55:48] 671*2^1391470-1 is not prime. Res64: 57F442A0CF356725 Time : 0.0 sec. user=mdettweiler [2015-02-20 19:55:49] 675*2^1391470-1 is not prime. Res64: 5BF7B8D8BAC40342 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:05:13] 713*2^1391470-1 is not prime. Res64: 31C8E3C27DA11E63 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:05:14] 723*2^1391470-1 is not prime. Res64: 620C6B2EAA1A22C6 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:06:04] 731*2^1391470-1 is not prime. Res64: D01E4A6521EB9ED0 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:06:04] 761*2^1391470-1 is not prime. Res64: D6CEB35BF97AB4E5 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:07:45] 891*2^1391470-1 is not prime. Res64: AF5AB30322E6716D Time : 0.0 sec. user=mdettweiler [2015-02-20 20:07:45] 957*2^1391470-1 is not prime. Res64: 2B8FEC6875AD2EDC Time : 0.0 sec. user=mdettweiler [2015-02-20 20:22:35] 987*2^1391470-1 is not prime. Res64: 11294B416B67362D Time : 0.0 sec. user=mdettweiler [2015-02-20 20:22:36] 813*2^1391471-1 is not prime. Res64: F3BC8203E5F63611 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:32:08] 823*2^1391471-1 is not prime. Res64: FBC9F18418844D30 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:32:08] 901*2^1391471-1 is not prime. Res64: E7CA6EF07BFEB1D1 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:32:34] 993*2^1391471-1 is not prime. Res64: 3F8225E74157A876 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:32:35] 629*2^1391472-1 is not prime. Res64: 6AC9767EB4212129 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:34:18] 689*2^1391472-1 is not prime. Res64: 033E97856E88BF2D Time : 0.0 sec. user=mdettweiler [2015-02-20 20:34:18] 947*2^1391472-1 is not prime. Res64: C0FA534191428530 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:48:47] 619*2^1391473-1 is not prime. Res64: 4D29476AA21A7A33 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:48:47] 649*2^1391473-1 is not prime. Res64: 2299EA7DB9D97C1D Time : 0.0 sec. user=mdettweiler [2015-02-20 20:58:07] 801*2^1391473-1 is not prime. Res64: B3C2EFB0A5F21A0B Time : 0.0 sec. user=mdettweiler [2015-02-20 20:58:07] 835*2^1391473-1 is not prime. Res64: 02349F16F48DE9B7 Time : 0.0 sec. user=mdettweiler [2015-02-20 20:58:33] 925*2^1391473-1 is not prime. Res64: 970B408B7E4839AE Time : 0.0 sec. user=mdettweiler [2015-02-20 20:58:33] 937*2^1391473-1 is not prime. Res64: DB7981F1F14073E0 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:00:08] 957*2^1391473-1 is not prime. Res64: 50BF7351364B398C Time : 0.0 sec. user=mdettweiler [2015-02-20 21:00:08] 985*2^1391473-1 is not prime. Res64: 6BA2875305694D9C Time : 0.0 sec. user=mdettweiler [2015-02-20 21:14:43] 743*2^1391474-1 is not prime. Res64: 531AEE811038D032 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:14:43] 833*2^1391474-1 is not prime. Res64: A0B0D72F9B6110D4 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:24:02] 923*2^1391474-1 is not prime. Res64: 8FE279A603B82AB5 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:24:02] 987*2^1391474-1 is not prime. Res64: 6B9C3EC46BF8CFFE Time : 0.0 sec. user=mdettweiler [2015-02-20 21:24:21] 669*2^1391475-1 is not prime. Res64: 35F717FD44BFD9D0 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:24:21] 793*2^1391475-1 is not prime. Res64: 367EE431CCB81EC8 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:26:02] 849*2^1391475-1 is not prime. Res64: 659771C8E3D95195 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:26:02] 873*2^1391475-1 is not prime. Res64: 992437EAC56C064E Time : 0.0 sec. user=mdettweiler [2015-02-20 21:40:34] 979*2^1391475-1 is not prime. Res64: B6B1AA1FE55ED422 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:40:34] 603*2^1391476-1 is not prime. Res64: 93B3F37801D27C1C Time : 0.0 sec. user=mdettweiler [2015-02-20 21:49:57] 677*2^1391476-1 is not prime. Res64: B19D1A9B9AD3752A Time : 0.0 sec. user=mdettweiler [2015-02-20 21:49:57] 759*2^1391476-1 is not prime. Res64: E0F71F6CC77C8AE2 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:50:17] 777*2^1391476-1 is not prime. Res64: A007B10A77F459DA Time : 0.0 sec. user=mdettweiler [2015-02-20 21:50:18] 869*2^1391476-1 is not prime. Res64: 69B778F6A40E91AE Time : 0.0 sec. user=mdettweiler [2015-02-20 21:51:57] 873*2^1391476-1 is not prime. Res64: B835795670269B13 Time : 0.0 sec. user=mdettweiler [2015-02-20 21:51:57] 897*2^1391476-1 is not prime. Res64: 0899087C51599BA0 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:06:36] 905*2^1391476-1 is not prime. Res64: DF95AB80A8C3C3CC Time : 0.0 sec. user=mdettweiler [2015-02-20 22:06:37] 645*2^1391477-1 is not prime. Res64: 2EB9683871F3CFD6 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:15:55] 717*2^1391477-1 is not prime. Res64: 1F16A562FCCE37D7 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:15:55] 925*2^1391477-1 is not prime. Res64: 23D8C7074F75DF2F Time : 0.0 sec. user=mdettweiler [2015-02-20 22:16:42] 937*2^1391477-1 is not prime. Res64: AFB15FF80F373D33 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:16:42] 949*2^1391477-1 is not prime. Res64: E5F398EE6E202ECD Time : 0.0 sec. user=mdettweiler [2015-02-20 22:18:31] 955*2^1391477-1 is not prime. Res64: 305A35664EBA6408 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:18:31] 651*2^1391478-1 is not prime. Res64: F4830D3FD55AAC5F Time : 0.0 sec. user=mdettweiler [2015-02-20 22:33:34] 797*2^1391478-1 is not prime. Res64: E8649FB6B2743926 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:33:34] 815*2^1391478-1 is not prime. Res64: BD11042049C5E334 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:44:05] 951*2^1391478-1 is not prime. Res64: 12DD3947A4A7060E Time : 0.0 sec. user=mdettweiler [2015-02-20 22:44:06] 971*2^1391478-1 is not prime. Res64: AB5F1824C487D1F7 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:44:10] 977*2^1391478-1 is not prime. Res64: 961F02B2B47623FA Time : 0.0 sec. user=mdettweiler [2015-02-20 22:44:11] 663*2^1391479-1 is not prime. Res64: 65734D155F1916B7 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:47:23] 709*2^1391479-1 is not prime. Res64: 5A28FA85ADC9F4F6 Time : 0.0 sec. user=mdettweiler [2015-02-20 22:47:24] 729*2^1391479-1 is not prime. Res64: C54409FF93A073B1 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:16:47] 853*2^1391479-1 is not prime. Res64: 878BCD3AB22430C8 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:16:47] 913*2^1391479-1 is not prime. Res64: 7782ADE942E11E03 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:27:50] 925*2^1391479-1 is not prime. Res64: AF878720D243E72F Time : 0.0 sec. user=mdettweiler [2015-02-20 23:27:51] 973*2^1391479-1 is not prime. Res64: 1E0D9496FE7344A2 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:31:39] 979*2^1391479-1 is not prime. Res64: 921551D3634BF667 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:31:40] 675*2^1391480-1 is not prime. Res64: 1C4187A0EBF94D28 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:32:44] 717*2^1391480-1 is not prime. Res64: 52A2BAFB967EF73C Time : 0.0 sec. user=mdettweiler [2015-02-20 23:32:45] 773*2^1391480-1 is not prime. Res64: 269575C3E38C7A2A Time : 0.0 sec. user=mdettweiler [2015-02-20 23:53:43] 795*2^1391480-1 is not prime. Res64: EF78697E20E91CD0 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:53:43] 843*2^1391480-1 is not prime. Res64: 6A4CF2C106509D96 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:59:51] 855*2^1391480-1 is not prime. Res64: BF181EA87C19A8D4 Time : 0.0 sec. user=mdettweiler [2015-02-20 23:59:52] 625*2^1391481-1 is not prime. Res64: 41BFD5B3F4917BD3 Time : 0.0 sec.