user=mdettweiler [2015-10-17 00:04:33] 797*2^1412348-1 is not prime. Res64: 1A0105777806EA52 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:04:34] 827*2^1412348-1 is not prime. Res64: EF5013E5A6DF8147 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:16:36] 885*2^1412348-1 is not prime. Res64: A60B5FA82105E6AD Time : 0.0 sec. user=mdettweiler [2015-10-17 00:16:37] 893*2^1412348-1 is not prime. Res64: 4DB2E0FE35EC22D6 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:16:48] 897*2^1412348-1 is not prime. Res64: 63E33C1C488E3B76 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:16:48] 963*2^1412348-1 is not prime. Res64: 3D3EE748CBE63900 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:16:58] 993*2^1412348-1 is not prime. Res64: 2DC9EF073C645D22 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:16:59] 609*2^1412349-1 is not prime. Res64: 413203C63D02A892 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:22:51] 741*2^1412349-1 is not prime. Res64: 5C0885D95B2985B8 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:22:51] 747*2^1412349-1 is not prime. Res64: 01BD5B24646415CD Time : 0.0 sec. user=mdettweiler [2015-10-17 00:34:45] 861*2^1412349-1 is not prime. Res64: B0AC1E97F57F4E2E Time : 0.0 sec. user=mdettweiler [2015-10-17 00:34:45] 867*2^1412349-1 is not prime. Res64: 1D77A94994463B29 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:34:51] 975*2^1412349-1 is not prime. Res64: A09047212CCDA0FF Time : 0.0 sec. user=mdettweiler [2015-10-17 00:34:51] 997*2^1412349-1 is not prime. Res64: 6A8B0A5CCD47665F Time : 0.0 sec. user=mdettweiler [2015-10-17 00:35:04] 861*2^1412350-1 is not prime. Res64: C00A369C5F50D833 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:35:05] 965*2^1412350-1 is not prime. Res64: 708E2C53B7A084C1 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:40:59] 609*2^1412351-1 is not prime. Res64: 971723DB48398659 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:40:59] 645*2^1412351-1 is not prime. Res64: AFF24BFBD42D81ED Time : 0.0 sec. user=mdettweiler [2015-10-17 00:52:51] 673*2^1412351-1 is not prime. Res64: 8A54B58A74D9F5CF Time : 0.0 sec. user=mdettweiler [2015-10-17 00:52:51] 931*2^1412351-1 is not prime. Res64: BD2144C6BCA55CA8 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:52:58] 943*2^1412351-1 is not prime. Res64: E90C4BBAA10098F3 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:52:58] 969*2^1412351-1 is not prime. Res64: 240754FE625CBA23 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:53:15] 981*2^1412351-1 is not prime. Res64: C5623DF71C372DC8 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:53:15] 623*2^1412352-1 is not prime. Res64: CCA31D82C5D098A1 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:58:59] 657*2^1412352-1 is not prime. Res64: B98D3B690BB56CE5 Time : 0.0 sec. user=mdettweiler [2015-10-17 00:58:59] 725*2^1412352-1 is not prime. Res64: 8773AF4ADA4C34C2 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:10:51] 825*2^1412352-1 is not prime. Res64: A010B92A9AF692B7 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:10:52] 843*2^1412352-1 is not prime. Res64: 45019D446D3D5F2F Time : 0.0 sec. user=mdettweiler [2015-10-17 01:11:10] 863*2^1412352-1 is not prime. Res64: D1B3A4E14F141608 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:11:11] 899*2^1412352-1 is not prime. Res64: AD253AA24FAC4B50 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:11:16] 745*2^1412353-1 is not prime. Res64: 991CC7B093CC58D0 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:11:17] 769*2^1412353-1 is not prime. Res64: 1602BA0DA326C490 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:17:05] 801*2^1412353-1 is not prime. Res64: 497E20A068D0F573 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:17:05] 805*2^1412353-1 is not prime. Res64: 0C224BC4E37A3953 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:28:54] 895*2^1412353-1 is not prime. Res64: A48F977CF84640CB Time : 0.0 sec. user=mdettweiler [2015-10-17 01:28:55] 915*2^1412353-1 is not prime. Res64: 3D9229E90BE8F585 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:29:08] 827*2^1412354-1 is not prime. Res64: 4B3F4577083412AA Time : 0.0 sec. user=mdettweiler [2015-10-17 01:29:09] 873*2^1412354-1 is not prime. Res64: BB67B8CE9CD6F0D6 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:29:11] 633*2^1412354-1 is not prime. Res64: 01A8543A94BD19A5 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:29:12] 753*2^1412354-1 is not prime. Res64: 565035CC163D4DB3 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:35:08] 951*2^1412354-1 is not prime. Res64: 65F4D5369D07CC8B Time : 0.0 sec. user=mdettweiler [2015-10-17 01:35:08] 651*2^1412355-1 is not prime. Res64: C4651BF762C619B9 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:46:52] 691*2^1412355-1 is not prime. Res64: BA34D5ADB013766F Time : 0.0 sec. user=mdettweiler [2015-10-17 01:46:53] 709*2^1412355-1 is not prime. Res64: 5BC6C91F58C247A3 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:47:08] 963*2^1412355-1 is not prime. Res64: D0C20DE16BE8150E Time : 0.0 sec. user=mdettweiler [2015-10-17 01:47:08] 639*2^1412356-1 is not prime. Res64: 9A884104604FE618 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:47:10] 765*2^1412355-1 is not prime. Res64: 3EC2CE7663FD66BB Time : 0.0 sec. user=mdettweiler [2015-10-17 01:47:10] 783*2^1412355-1 is not prime. Res64: 5038354097698941 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:53:05] 723*2^1412356-1 is not prime. Res64: 8A1E7E67CC755666 Time : 0.0 sec. user=mdettweiler [2015-10-17 01:53:05] 779*2^1412356-1 is not prime. Res64: C171C7320DB9C4A7 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:04:52] 807*2^1412356-1 is not prime. Res64: 0CBC056892C8AA65 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:04:54] 855*2^1412356-1 is not prime. Res64: F13875CCF7DB4185 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:05:03] 869*2^1412356-1 is not prime. Res64: 50A10346DFA17F94 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:05:05] 873*2^1412356-1 is not prime. Res64: 9A8CEE125D76399C Time : 0.0 sec. user=mdettweiler [2015-10-17 02:05:08] 933*2^1412356-1 is not prime. Res64: DD7E1E99945B9446 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:05:10] 957*2^1412356-1 is not prime. Res64: 0EB5D7E8FFBFF435 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:11:07] 619*2^1412357-1 is not prime. Res64: F33DCF021DCE0BAE Time : 0.0 sec. user=mdettweiler [2015-10-17 02:11:08] 675*2^1412357-1 is not prime. Res64: 70CA12A6D493DF74 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:22:58] 711*2^1412357-1 is not prime. Res64: 3E3BBD161C681EF5 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:22:58] 805*2^1412357-1 is not prime. Res64: 131905A638246916 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:23:09] 949*2^1412357-1 is not prime. Res64: 09A83C750DB04B50 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:23:10] 611*2^1412358-1 is not prime. Res64: 7BF595FDF5D3DC5C Time : 0.0 sec. user=mdettweiler [2015-10-17 02:23:16] 647*2^1412358-1 is not prime. Res64: FCF0D3D1A37808A9 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:23:17] 681*2^1412358-1 is not prime. Res64: 0587BA015C960E7F Time : 0.0 sec. user=mdettweiler [2015-10-17 02:29:19] 921*2^1412358-1 is not prime. Res64: D93543EC21B1387A Time : 0.0 sec. user=mdettweiler [2015-10-17 02:29:20] 971*2^1412358-1 is not prime. Res64: 4459C7ADF9CDDBBD Time : 0.0 sec. user=mdettweiler [2015-10-17 02:40:58] 993*2^1412358-1 is not prime. Res64: E93B50D7E7F8D748 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:40:59] 649*2^1412359-1 is not prime. Res64: B1C49BB9DADCE633 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:41:08] 675*2^1412359-1 is not prime. Res64: 5B5D148F46253832 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:41:08] 843*2^1412359-1 is not prime. Res64: 692425E845FAF066 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:41:16] 859*2^1412359-1 is not prime. Res64: F1D3DA6A73D11A8A Time : 0.0 sec. user=mdettweiler [2015-10-17 02:41:16] 913*2^1412359-1 is not prime. Res64: D5509DD83159B6A1 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:47:22] 603*2^1412360-1 is not prime. Res64: 6AA1FBB8AB848043 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:47:23] 699*2^1412360-1 is not prime. Res64: 60405154BF78D3E9 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:59:03] 879*2^1412360-1 is not prime. Res64: B6C172F17363C5A6 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:59:04] 713*2^1412360-1 is not prime. Res64: F9ED0BBAA1C6E9BA Time : 0.0 sec. user=mdettweiler [2015-10-17 02:59:04] 963*2^1412360-1 is not prime. Res64: 9A84798CBE7BC2C0 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:59:04] 827*2^1412360-1 is not prime. Res64: 483743B1079AA4A1 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:59:11] 661*2^1412361-1 is not prime. Res64: 30AC64507D980114 Time : 0.0 sec. user=mdettweiler [2015-10-17 02:59:12] 747*2^1412361-1 is not prime. Res64: 3C6B4BFD9BCED825 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:05:29] 795*2^1412361-1 is not prime. Res64: 8F527E0D7C4AECFB Time : 0.0 sec. user=mdettweiler [2015-10-17 03:05:30] 945*2^1412361-1 is not prime. Res64: 3900BC7DF1638548 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:16:51] 969*2^1412361-1 is not prime. Res64: CB34B2CEF6CF5D86 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:16:51] 657*2^1412362-1 is not prime. Res64: 14F763F5CF93A843 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:17:00] 671*2^1412362-1 is not prime. Res64: F666567C4A8396CB Time : 0.0 sec. user=mdettweiler [2015-10-17 03:17:01] 735*2^1412362-1 is not prime. Res64: CABD49B808901ED8 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:17:01] 701*2^1412362-1 is not prime. Res64: 84B29DC50F0ECF5A Time : 0.0 sec. user=mdettweiler [2015-10-17 03:17:01] 813*2^1412362-1 is not prime. Res64: 2A980FDC2DC9C5CB Time : 0.0 sec. user=mdettweiler [2015-10-17 03:23:31] 825*2^1412362-1 is not prime. Res64: E0A6976FB03A0868 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:23:32] 827*2^1412362-1 is not prime. Res64: 33DD3E32E1ACA68D Time : 0.0 sec. user=mdettweiler [2015-10-17 03:34:49] 951*2^1412362-1 is not prime. Res64: 1FA0A8DD2A37F7B4 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:34:50] 981*2^1412362-1 is not prime. Res64: 8E156261C98A396E Time : 0.0 sec. user=mdettweiler [2015-10-17 03:34:57] 983*2^1412362-1 is not prime. Res64: 2A92CB7428D8F5D1 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:34:58] 609*2^1412364-1 is not prime. Res64: 361F7BFA52968627 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:35:00] 623*2^1412364-1 is not prime. Res64: 62B057A12E25C09A Time : 0.0 sec. user=mdettweiler [2015-10-17 03:35:01] 693*2^1412364-1 is not prime. Res64: 6878354300C17A79 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:41:26] 803*2^1412364-1 is not prime. Res64: 4340B4F30C366E6E Time : 0.0 sec. user=mdettweiler [2015-10-17 03:41:27] 923*2^1412364-1 is not prime. Res64: C2144D6D7E334061 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:52:52] 775*2^1412365-1 is not prime. Res64: ACCB81A945477124 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:52:52] 861*2^1412365-1 is not prime. Res64: 776661C3EB3090FD Time : 0.0 sec. user=mdettweiler [2015-10-17 03:52:54] 757*2^1412365-1 is not prime. Res64: B919861939CA27B2 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:52:54] 759*2^1412365-1 is not prime. Res64: 686DCCA4BCE3DE4E Time : 0.0 sec. user=mdettweiler [2015-10-17 03:52:56] 951*2^1412365-1 is not prime. Res64: CC1447E0CBCAC870 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:52:56] 979*2^1412365-1 is not prime. Res64: CE1D80BCDE9BBE63 Time : 0.0 sec. user=mdettweiler [2015-10-17 03:59:38] 997*2^1412365-1 is not prime. Res64: A02F3EF348BE8C3A Time : 0.0 sec. user=mdettweiler [2015-10-17 03:59:39] 603*2^1412366-1 is not prime. Res64: 320169E40DFB2DF8 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:10:50] 813*2^1412366-1 is not prime. Res64: 8827AEC449DA1180 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:10:51] 893*2^1412366-1 is not prime. Res64: E333656DBC16D56D Time : 0.0 sec. user=mdettweiler [2015-10-17 04:10:58] 635*2^1412366-1 is not prime. Res64: 701E5C1F8B982B17 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:10:59] 923*2^1412366-1 is not prime. Res64: E8D70CD929D6E8DD Time : 0.0 sec. user=mdettweiler [2015-10-17 04:11:00] 663*2^1412366-1 is not prime. Res64: 10FED2A65FE99400 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:11:00] 957*2^1412366-1 is not prime. Res64: 8CFD5CFA763C0D51 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:17:40] 963*2^1412366-1 is not prime. Res64: EBA044D23CFFDDCC Time : 0.0 sec. user=mdettweiler [2015-10-17 04:17:41] 609*2^1412367-1 is not prime. Res64: 8F8120B024BE105F Time : 0.0 sec. user=mdettweiler [2015-10-17 04:28:56] 643*2^1412367-1 is not prime. Res64: 06B9DE0FC4FDCC30 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:28:57] 685*2^1412367-1 is not prime. Res64: 531B1BFB3AD739BA Time : 0.0 sec. user=mdettweiler [2015-10-17 04:28:57] 693*2^1412367-1 is not prime. Res64: 84FEFE17A8A20F99 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:28:58] 859*2^1412367-1 is not prime. Res64: CA6436059C925247 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:29:20] 861*2^1412367-1 is not prime. Res64: E1609D006F9CEECB Time : 0.0 sec. user=mdettweiler [2015-10-17 04:29:21] 885*2^1412367-1 is not prime. Res64: EC992F19B1A79159 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:35:41] 919*2^1412367-1 is not prime. Res64: 390B604D38E5AF65 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:35:41] 639*2^1412368-1 is not prime. Res64: E32647A8FF270D45 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:47:02] 713*2^1412368-1 is not prime. Res64: 4AC8C45055E7D960 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:47:03] 735*2^1412368-1 is not prime. Res64: A2E005913F2CC15E Time : 0.0 sec. user=mdettweiler [2015-10-17 04:47:09] 765*2^1412368-1 is not prime. Res64: ED5A074EA5115E98 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:47:09] 777*2^1412368-1 is not prime. Res64: ADF88F122AB7BF05 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:47:29] 825*2^1412368-1 is not prime. Res64: 94CACEA3C75CE055 Time : 0.0 sec. user=mdettweiler [2015-10-17 04:47:30] 833*2^1412368-1 is not prime. Res64: ABE9325A26B7D59B Time : 0.0 sec. user=mdettweiler [2015-10-17 04:53:39] 875*2^1412368-1 is not prime. Res64: 02FA30A708BF17DC Time : 0.0 sec. user=mdettweiler [2015-10-17 04:53:40] 887*2^1412368-1 is not prime. Res64: A8ACE655DC7F26A0 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:05:10] 615*2^1412369-1 is not prime. Res64: 7DDF9A144071DD9D Time : 0.0 sec. user=mdettweiler [2015-10-17 05:05:11] 631*2^1412369-1 is not prime. Res64: 0D5C63D9917DBD23 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:05:25] 645*2^1412369-1 is not prime. Res64: C947C7D9F1A2960E Time : 0.0 sec. user=mdettweiler [2015-10-17 05:05:26] 685*2^1412369-1 is not prime. Res64: 42D917F2F841933F Time : 0.0 sec. user=mdettweiler [2015-10-17 05:05:37] 985*2^1412369-1 is not prime. Res64: 12C171804B0F43DF Time : 0.0 sec. user=mdettweiler [2015-10-17 05:05:39] 765*2^1412370-1 is not prime. Res64: 809EAF07209A56C6 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:11:57] 767*2^1412370-1 is not prime. Res64: E5681E7419F51727 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:11:58] 861*2^1412370-1 is not prime. Res64: D770BC246EDBC607 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:23:28] 891*2^1412370-1 is not prime. Res64: A90E3D53BB499504 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:23:29] 915*2^1412370-1 is not prime. Res64: 3BA074144B7F821C Time : 0.0 sec. user=mdettweiler [2015-10-17 05:23:41] 709*2^1412371-1 is not prime. Res64: 4325863A1B7FA070 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:23:43] 835*2^1412371-1 is not prime. Res64: 69FF51C39422609A Time : 0.0 sec. user=mdettweiler [2015-10-17 05:23:43] 723*2^1412371-1 is not prime. Res64: 69239BA6D72DBD62 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:23:44] 889*2^1412371-1 is not prime. Res64: 1D27BE4AC37B1FB4 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:29:57] 909*2^1412371-1 is not prime. Res64: BBACCAA3EFB612E6 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:29:58] 999*2^1412371-1 is not prime. Res64: 915781DF8B820608 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:41:35] 605*2^1412372-1 is not prime. Res64: A0EAF5D09448F2AF Time : 0.0 sec. user=mdettweiler [2015-10-17 05:41:37] 767*2^1412372-1 is not prime. Res64: 20DC6A786B9AE93F Time : 0.0 sec. user=mdettweiler [2015-10-17 05:41:41] 855*2^1412372-1 is not prime. Res64: 9458F7A0BDDD7CE9 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:41:41] 893*2^1412372-1 is not prime. Res64: B1718BDA4EF0F567 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:41:52] 963*2^1412372-1 is not prime. Res64: D3D6F4FDCEDA113F Time : 0.0 sec. user=mdettweiler [2015-10-17 05:41:54] 999*2^1412372-1 is not prime. Res64: 06F1F59471E2455F Time : 0.0 sec. user=mdettweiler [2015-10-17 05:48:07] 657*2^1412373-1 is not prime. Res64: 2CA90D4908798DEE Time : 0.0 sec. user=mdettweiler [2015-10-17 05:48:09] 669*2^1412373-1 is not prime. Res64: 937CD0FD243FD559 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:59:49] 955*2^1412373-1 is not prime. Res64: D0C457DC9D098D9C Time : 0.0 sec. user=mdettweiler [2015-10-17 05:59:50] 723*2^1412374-1 is not prime. Res64: 57243198425AE0D9 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:59:50] 741*2^1412373-1 is not prime. Res64: 5D601872AD17C38A Time : 0.0 sec. user=mdettweiler [2015-10-17 05:59:51] 915*2^1412373-1 is not prime. Res64: B92C1406DEDE046C Time : 0.0 sec. user=mdettweiler [2015-10-17 05:59:57] 731*2^1412374-1 is not prime. Res64: 97F8597950525FD6 Time : 0.0 sec. user=mdettweiler [2015-10-17 05:59:58] 783*2^1412374-1 is not prime. Res64: 357527453F66128F Time : 0.0 sec. user=mdettweiler [2015-10-17 06:06:14] 813*2^1412374-1 is not prime. Res64: F7C372ACD8AF598B Time : 0.0 sec. user=mdettweiler [2015-10-17 06:06:14] 825*2^1412374-1 is not prime. Res64: 5B6AC66BCAFA62AE Time : 0.0 sec. user=mdettweiler [2015-10-17 06:17:55] 923*2^1412374-1 is not prime. Res64: 4EC248BC41C334BF Time : 0.0 sec. user=mdettweiler [2015-10-17 06:17:56] 753*2^1412375-1 is not prime. Res64: D04E9E1B81F872B3 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:17:56] 857*2^1412374-1 is not prime. Res64: A95459649FB4DC26 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:17:57] 915*2^1412374-1 is not prime. Res64: CA295FBD3EBE3BF2 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:18:05] 781*2^1412375-1 is not prime. Res64: C9C2C451F5C8D7DF Time : 0.0 sec. user=mdettweiler [2015-10-17 06:18:06] 783*2^1412375-1 is not prime. Res64: 9B781D7DCDA0E5DD Time : 0.0 sec. user=mdettweiler [2015-10-17 06:24:18] 883*2^1412375-1 is not prime. Res64: 4C51B7B67E7F88D1 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:24:19] 909*2^1412375-1 is not prime. Res64: 2BABEBE67D059196 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:36:05] 609*2^1412376-1 is not prime. Res64: 890375E63F96E180 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:36:06] 623*2^1412376-1 is not prime. Res64: 953FDFEA422327BA Time : 0.0 sec. user=mdettweiler [2015-10-17 06:36:10] 707*2^1412376-1 is not prime. Res64: 618657B91C2B2E04 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:36:11] 875*2^1412376-1 is not prime. Res64: 84CD3F17EA1A9F23 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:36:27] 609*2^1412377-1 is not prime. Res64: 7E33C3FA62D6EA58 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:36:28] 619*2^1412377-1 is not prime. Res64: 402EF98145848C4F Time : 0.0 sec. user=mdettweiler [2015-10-17 06:42:25] 649*2^1412377-1 is not prime. Res64: DED2CB5BDA104796 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:42:26] 729*2^1412377-1 is not prime. Res64: E583C4C194545224 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:54:12] 817*2^1412377-1 is not prime. Res64: BB58269C1026D699 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:54:12] 831*2^1412377-1 is not prime. Res64: 7EA3ECF642F95F71 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:54:16] 897*2^1412377-1 is not prime. Res64: 0FCD877D0E21BF80 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:54:17] 915*2^1412377-1 is not prime. Res64: 68C6A22FB202DFC7 Time : 0.0 sec. user=mdettweiler [2015-10-17 06:54:22] 603*2^1412378-1 is not prime. Res64: 318DAC3B7775F54C Time : 0.0 sec. user=mdettweiler [2015-10-17 06:54:23] 705*2^1412378-1 is not prime. Res64: FFAC7802FCDC0F62 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:00:25] 743*2^1412378-1 is not prime. Res64: 3339F04BA1B033BD Time : 0.0 sec. user=mdettweiler [2015-10-17 07:00:26] 813*2^1412378-1 is not prime. Res64: D7B9E5AF3EF9B3F8 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:12:19] 825*2^1412378-1 is not prime. Res64: 8A1126F7BE57CE62 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:12:20] 971*2^1412378-1 is not prime. Res64: 4689456F013AFFA1 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:12:26] 977*2^1412378-1 is not prime. Res64: 7CEAA6C30E8E6298 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:12:26] 625*2^1412379-1 is not prime. Res64: 0E702E758D2FC0C6 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:12:26] 619*2^1412379-1 is not prime. Res64: EC01E7299119A42E Time : 0.0 sec. user=mdettweiler [2015-10-17 07:12:27] 705*2^1412379-1 is not prime. Res64: F25DD09C57229295 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:18:41] 753*2^1412379-1 is not prime. Res64: 271C526FD22B019C Time : 0.0 sec. user=mdettweiler [2015-10-17 07:18:42] 769*2^1412379-1 is not prime. Res64: FDE960E0D4A30443 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:30:28] 843*2^1412379-1 is not prime. Res64: 9DCE07BCD1299472 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:30:29] 891*2^1412379-1 is not prime. Res64: 3EE0E2F8EA18674E Time : 0.0 sec. user=mdettweiler [2015-10-17 07:30:34] 927*2^1412380-1 is not prime. Res64: 446A44122770C8C7 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:30:34] 987*2^1412380-1 is not prime. Res64: 69950F3EDAC7C8F3 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:30:41] 921*2^1412379-1 is not prime. Res64: EA989174182FB490 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:30:43] 717*2^1412380-1 is not prime. Res64: 977A8914919D209D Time : 0.0 sec. user=mdettweiler [2015-10-17 07:36:51] 989*2^1412380-1 is not prime. Res64: 7CD27BDA482D8B33 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:36:52] 999*2^1412380-1 is not prime. Res64: 38DF9EF023A5AE4E Time : 0.0 sec. user=mdettweiler [2015-10-17 07:48:50] 889*2^1412381-1 is not prime. Res64: 05B0641AEAA4BB72 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:48:51] 607*2^1412381-1 is not prime. Res64: 52F0EE25916D0005 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:48:52] 777*2^1412381-1 is not prime. Res64: ADBFB6B1B291EDF4 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:48:55] 981*2^1412381-1 is not prime. Res64: A00D5B6CAEB079E1 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:49:00] 997*2^1412381-1 is not prime. Res64: E7AB69D1AD4AB005 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:49:01] 681*2^1412382-1 is not prime. Res64: 024AB048C418C2E9 Time : 0.0 sec. user=mdettweiler [2015-10-17 07:54:49] 705*2^1412382-1 is not prime. Res64: E36D4E13AB8E592D Time : 0.0 sec. user=mdettweiler [2015-10-17 07:54:50] 755*2^1412382-1 is not prime. Res64: 368390AC5BA26A37 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:07:09] 765*2^1412382-1 is not prime. Res64: B45EEE07783FF5E6 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:07:10] 797*2^1412382-1 is not prime. Res64: 6C2A3CF208CBCF97 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:07:11] 615*2^1412383-1 is not prime. Res64: EF69638C0CDF7F34 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:07:12] 679*2^1412383-1 is not prime. Res64: 17E0B6305FA4EAFA Time : 0.0 sec. user=mdettweiler [2015-10-17 08:07:15] 705*2^1412383-1 is not prime. Res64: 892526A004758A89 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:07:16] 741*2^1412383-1 is not prime. Res64: C117BA7734BBF9B0 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:13:08] 775*2^1412383-1 is not prime. Res64: D42054041BB9FED7 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:13:11] 813*2^1412383-1 is not prime. Res64: 3CBEDDB4FBC8E2B5 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:25:12] 819*2^1412383-1 is not prime. Res64: 2009347DFB48F4CA Time : 0.0 sec. user=mdettweiler [2015-10-17 08:25:12] 853*2^1412383-1 is not prime. Res64: A99644C7078229CB Time : 0.0 sec. user=mdettweiler [2015-10-17 08:25:14] 609*2^1412384-1 is not prime. Res64: E5AB930909931DA1 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:25:15] 615*2^1412384-1 is not prime. Res64: B08255D60D7AACE0 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:25:16] 943*2^1412383-1 is not prime. Res64: 3DC6F8C866746C7D Time : 0.0 sec. user=mdettweiler [2015-10-17 08:25:17] 985*2^1412383-1 is not prime. Res64: 73D7FFBFA8EBDB83 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:31:14] 635*2^1412384-1 is not prime. Res64: 7C9CA4019A6458E0 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:31:15] 743*2^1412384-1 is not prime. Res64: ED240824CDC61FC8 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:43:10] 993*2^1412384-1 is not prime. Res64: DD1363D37602E24E Time : 0.0 sec. user=mdettweiler [2015-10-17 08:43:11] 649*2^1412385-1 is not prime. Res64: 39313669950BAB80 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:43:38] 785*2^1412384-1 is not prime. Res64: 5474708B28A4D9C7 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:43:39] 983*2^1412384-1 is not prime. Res64: CEE0068CEB227C46 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:43:39] 679*2^1412385-1 is not prime. Res64: FD254D8493305BCA Time : 0.0 sec. user=mdettweiler [2015-10-17 08:43:42] 685*2^1412385-1 is not prime. Res64: 720379AD6F88E1E1 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:49:29] 691*2^1412385-1 is not prime. Res64: A98E915915D635D2 Time : 0.0 sec. user=mdettweiler [2015-10-17 08:49:30] 699*2^1412385-1 is not prime. Res64: C859035B80213C93 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:01:17] 705*2^1412385-1 is not prime. Res64: 245EF0BCB79F27E6 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:01:19] 777*2^1412385-1 is not prime. Res64: 5C08A9D2CE6EB83C Time : 0.0 sec. user=mdettweiler [2015-10-17 09:01:39] 795*2^1412385-1 is not prime. Res64: B025EE9FDDD17024 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:01:41] 837*2^1412385-1 is not prime. Res64: B8798E77DADD7EAE Time : 0.0 sec. user=mdettweiler [2015-10-17 09:01:43] 889*2^1412385-1 is not prime. Res64: 120CE713A8AC7B27 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:01:44] 951*2^1412385-1 is not prime. Res64: 80F65D40001C9587 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:07:34] 991*2^1412385-1 is not prime. Res64: CBA6B038FBD5C376 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:07:37] 611*2^1412386-1 is not prime. Res64: 79A31448692BF177 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:19:40] 663*2^1412386-1 is not prime. Res64: 7B00579D23559125 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:19:40] 635*2^1412386-1 is not prime. Res64: AAD33DD4692EDDC2 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:19:42] 695*2^1412386-1 is not prime. Res64: AD0F5299E2DC62BE Time : 0.0 sec. user=mdettweiler [2015-10-17 09:19:43] 653*2^1412386-1 is not prime. Res64: A30C59231F7080F4 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:19:49] 705*2^1412386-1 is not prime. Res64: 287743BF90606586 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:19:54] 713*2^1412386-1 is not prime. Res64: 4B9C6329731C5BE1 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:25:42] 843*2^1412386-1 is not prime. Res64: 8CFEAE4FD2E51CBB Time : 0.0 sec. user=mdettweiler [2015-10-17 09:25:43] 633*2^1412387-1 is not prime. Res64: A8D9668D29493E65 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:37:42] 693*2^1412387-1 is not prime. Res64: E657A5F83A51375A Time : 0.0 sec. user=mdettweiler [2015-10-17 09:37:44] 703*2^1412387-1 is not prime. Res64: 885BD6D67E823EBB Time : 0.0 sec. user=mdettweiler [2015-10-17 09:37:46] 843*2^1412387-1 is not prime. Res64: 8D14FC26B217C951 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:37:47] 861*2^1412387-1 is not prime. Res64: 84F4B55AA2946425 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:37:55] 885*2^1412387-1 is not prime. Res64: B1F805283977B180 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:37:56] 945*2^1412387-1 is not prime. Res64: 763E9C6A2574007D Time : 0.0 sec. user=mdettweiler [2015-10-17 09:43:46] 991*2^1412387-1 is not prime. Res64: 5576757A73C4A326 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:43:47] 627*2^1412388-1 is not prime. Res64: 20A46BE1E68C794E Time : 0.0 sec. user=mdettweiler [2015-10-17 09:55:45] 633*2^1412388-1 is not prime. Res64: 3806797D93F3E8F8 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:55:46] 683*2^1412388-1 is not prime. Res64: E0BE51FE08806844 Time : 0.0 sec. user=mdettweiler [2015-10-17 09:55:55] 809*2^1412388-1 is not prime. Res64: 85BE626C99F3EA8C Time : 0.0 sec. user=mdettweiler [2015-10-17 09:55:57] 867*2^1412388-1 is not prime. Res64: 455DAC5B6B04742F Time : 0.0 sec. user=mdettweiler [2015-10-17 10:01:54] 969*2^1412388-1 is not prime. Res64: F9FC359408098B3E Time : 0.0 sec. user=mdettweiler [2015-10-17 10:01:57] 987*2^1412388-1 is not prime. Res64: 028B0965EA91EE27 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:14:07] 625*2^1412389-1 is not prime. Res64: A7F8ACB2964AD705 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:14:08] 667*2^1412389-1 is not prime. Res64: FE17B13EF90C2FDF Time : 0.0 sec. user=mdettweiler [2015-10-17 10:14:36] 757*2^1412389-1 is not prime. Res64: AF927F6B59CEE5EA Time : 0.0 sec. user=mdettweiler [2015-10-17 10:14:37] 771*2^1412389-1 is not prime. Res64: 38AF1D69DF889B8E Time : 0.0 sec. user=mdettweiler [2015-10-17 10:20:30] 799*2^1412389-1 is not prime. Res64: 8699661008CB73F7 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:20:30] 951*2^1412389-1 is not prime. Res64: 3001D86C40F83F41 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:32:44] 987*2^1412389-1 is not prime. Res64: 3CEC2AE0A7338FD2 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:32:44] 635*2^1412390-1 is not prime. Res64: 5F3D0AAB6242B153 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:33:08] 675*2^1412390-1 is not prime. Res64: C6ED7C428AD4F159 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:33:10] 707*2^1412390-1 is not prime. Res64: C197BDF871DAF1AB Time : 0.0 sec. user=mdettweiler [2015-10-17 10:38:51] 797*2^1412390-1 is not prime. Res64: 4B15E4A5B5FA9D9A Time : 0.0 sec. user=mdettweiler [2015-10-17 10:38:51] 813*2^1412390-1 is not prime. Res64: C76CA31A93E461B9 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:51:02] 885*2^1412390-1 is not prime. Res64: E36FE01354764316 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:51:03] 893*2^1412390-1 is not prime. Res64: F01D772CD816916F Time : 0.0 sec. user=mdettweiler [2015-10-17 10:51:46] 987*2^1412390-1 is not prime. Res64: F7FDB44CD9D01F37 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:51:46] 693*2^1412391-1 is not prime. Res64: 6C871BDA0B8B724D Time : 0.0 sec. user=mdettweiler [2015-10-17 10:57:17] 705*2^1412391-1 is not prime. Res64: BC0660BD3E5FDCB7 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:57:18] 781*2^1412391-1 is not prime. Res64: 06D1829681671A0B Time : 0.0 sec. user=mdettweiler [2015-10-17 10:57:19] 753*2^1412388-1 is not prime. Res64: 95AC0117F7567107 Time : 0.0 sec. user=mdettweiler [2015-10-17 10:57:20] 765*2^1412388-1 is not prime. Res64: 86600DEE0DB32725 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:09:11] 823*2^1412391-1 is not prime. Res64: CF346428B90E7D31 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:09:12] 979*2^1412391-1 is not prime. Res64: 828C05C9A4FCF34B Time : 0.0 sec. user=mdettweiler [2015-10-17 11:10:05] 991*2^1412391-1 is not prime. Res64: EBB18EC4B8F4BDC0 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:10:06] 999*2^1412391-1 is not prime. Res64: 9339451C524C6FED Time : 0.0 sec. user=mdettweiler [2015-10-17 11:15:24] 827*2^1412392-1 is not prime. Res64: 3DF5A5611E82F463 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:15:27] 875*2^1412392-1 is not prime. Res64: 53EA6BAD622D5553 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:15:30] 719*2^1412392-1 is not prime. Res64: 287B15EC1984097E Time : 0.0 sec. user=mdettweiler [2015-10-17 11:15:31] 723*2^1412392-1 is not prime. Res64: 855A0ACE72FF06D3 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:27:05] 959*2^1412392-1 is not prime. Res64: 11B1843742531575 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:27:06] 995*2^1412392-1 is not prime. Res64: 5B13C919AA85918B Time : 0.0 sec. user=mdettweiler [2015-10-17 11:28:03] 727*2^1412393-1 is not prime. Res64: C336EC6F315B1D4A Time : 0.0 sec. user=mdettweiler [2015-10-17 11:28:04] 847*2^1412393-1 is not prime. Res64: 05F90A3A7C509FDB Time : 0.0 sec. user=mdettweiler [2015-10-17 11:33:17] 897*2^1412393-1 is not prime. Res64: 1181C479C44819BD Time : 0.0 sec. user=mdettweiler [2015-10-17 11:33:18] 967*2^1412393-1 is not prime. Res64: 22A34C237BDFB919 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:33:25] 641*2^1412394-1 is not prime. Res64: 289844CEBA5FC206 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:33:26] 717*2^1412394-1 is not prime. Res64: C904C9FA2B74A0C8 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:45:12] 773*2^1412394-1 is not prime. Res64: 3CCB1A5DE9D7C55F Time : 0.0 sec. user=mdettweiler [2015-10-17 11:45:12] 783*2^1412394-1 is not prime. Res64: EF56D131AA967720 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:45:56] 815*2^1412394-1 is not prime. Res64: 0349BE4D6D3672D4 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:45:56] 851*2^1412394-1 is not prime. Res64: 0D4045C477936DBF Time : 0.0 sec. user=mdettweiler [2015-10-17 11:51:05] 873*2^1412394-1 is not prime. Res64: FA77C782AA315C43 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:51:06] 875*2^1412394-1 is not prime. Res64: 31A17FD44D172E87 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:51:12] 887*2^1412394-1 is not prime. Res64: 19588223D7FB2D95 Time : 0.0 sec. user=mdettweiler [2015-10-17 11:51:13] 893*2^1412394-1 is not prime. Res64: 436484FA172B735F Time : 0.0 sec. user=mdettweiler [2015-10-17 12:03:39] 927*2^1412394-1 is not prime. Res64: D76A815C78A799CA Time : 0.0 sec. user=mdettweiler [2015-10-17 12:03:41] 649*2^1412395-1 is not prime. Res64: 73C1EEE177C51DCC Time : 0.0 sec. user=mdettweiler [2015-10-17 12:03:51] 663*2^1412395-1 is not prime. Res64: 144457D1190485DD Time : 0.0 sec. user=mdettweiler [2015-10-17 12:03:52] 673*2^1412395-1 is not prime. Res64: 56B2611BD3AE9472 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:08:58] 793*2^1412395-1 is not prime. Res64: 74DFC994F7634AC5 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:08:59] 819*2^1412395-1 is not prime. Res64: 68843A823CEDA328 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:09:10] 841*2^1412395-1 is not prime. Res64: 7FF04686ADB66C70 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:09:11] 629*2^1412396-1 is not prime. Res64: 03319482D2EFB236 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:21:47] 857*2^1412396-1 is not prime. Res64: C09774B1D837080A Time : 0.0 sec. user=mdettweiler [2015-10-17 12:21:47] 927*2^1412396-1 is not prime. Res64: FF46CB6B669584F8 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:21:53] 767*2^1412396-1 is not prime. Res64: B6107CB92464327A Time : 0.0 sec. user=mdettweiler [2015-10-17 12:21:53] 839*2^1412396-1 is not prime. Res64: BE80FAFEAE3F46ED Time : 0.0 sec. user=mdettweiler [2015-10-17 12:26:42] 957*2^1412396-1 is not prime. Res64: 9AE685C9CD498507 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:26:43] 963*2^1412396-1 is not prime. Res64: 4F6FFF97CA80416A Time : 0.0 sec. user=mdettweiler [2015-10-17 12:26:53] 649*2^1412397-1 is not prime. Res64: 93A53D2FFDF9359A Time : 0.0 sec. user=mdettweiler [2015-10-17 12:26:53] 717*2^1412397-1 is not prime. Res64: C58C7E75EDB25E4B Time : 0.0 sec. user=mdettweiler [2015-10-17 12:39:32] 741*2^1412397-1 is not prime. Res64: A1A00E605C42E6F5 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:39:33] 867*2^1412397-1 is not prime. Res64: 15891339F147B34A Time : 0.0 sec. user=mdettweiler [2015-10-17 12:39:45] 937*2^1412397-1 is not prime. Res64: 8290B7FC1A09C522 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:39:46] 955*2^1412397-1 is not prime. Res64: AB5BBBDFEBDB5483 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:44:32] 657*2^1412398-1 is not prime. Res64: 62A373C028185CB2 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:44:32] 723*2^1412398-1 is not prime. Res64: A6A690A93E79CD21 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:44:46] 791*2^1412398-1 is not prime. Res64: E938CB9D70340EEB Time : 0.0 sec. user=mdettweiler [2015-10-17 12:44:46] 887*2^1412398-1 is not prime. Res64: E24ACDF8A94127B5 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:57:46] 897*2^1412398-1 is not prime. Res64: B55D0C6FAB96ED56 Time : 0.0 sec. user=mdettweiler [2015-10-17 12:57:47] 759*2^1412399-1 is not prime. Res64: C1F7E0F38119403B Time : 0.0 sec. user=mdettweiler [2015-10-17 12:58:28] 771*2^1412399-1 is not prime. Res64: 0A9C21EF5DA7C25D Time : 0.0 sec. user=mdettweiler [2015-10-17 12:58:29] 811*2^1412399-1 is not prime. Res64: F69FDFC462CA2360 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:02:20] 913*2^1412399-1 is not prime. Res64: 36D25B45BA0DB4D1 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:02:21] 985*2^1412399-1 is not prime. Res64: 52F521A906EF15CF Time : 0.0 sec. user=mdettweiler [2015-10-17 13:02:39] 759*2^1412400-1 is not prime. Res64: 0052FEEAD63B5C13 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:02:40] 819*2^1412400-1 is not prime. Res64: 34E858CBA1DF4C55 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:15:34] 863*2^1412400-1 is not prime. Res64: 390A48CFED0D9978 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:15:34] 873*2^1412400-1 is not prime. Res64: 8C79EB1E928B805F Time : 0.0 sec. user=mdettweiler [2015-10-17 13:16:11] 909*2^1412400-1 is not prime. Res64: 1CED2A1D02F453EC Time : 0.0 sec. user=mdettweiler [2015-10-17 13:16:11] 975*2^1412400-1 is not prime. Res64: 1527B57C5E80310A Time : 0.0 sec. user=mdettweiler [2015-10-17 13:20:25] 983*2^1412400-1 is not prime. Res64: B4AAFE704076DF3E Time : 0.0 sec. user=mdettweiler [2015-10-17 13:20:25] 639*2^1412401-1 is not prime. Res64: FFBC53830186FDF1 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:20:30] 681*2^1412401-1 is not prime. Res64: BBE8006AC560D62D Time : 0.0 sec. user=mdettweiler [2015-10-17 13:20:31] 727*2^1412401-1 is not prime. Res64: B21AE1E65653FB6B Time : 0.0 sec. user=mdettweiler [2015-10-17 13:33:16] 931*2^1412401-1 is not prime. Res64: 091269C315305663 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:33:16] 939*2^1412401-1 is not prime. Res64: C9355E0F1F23C4BC Time : 0.0 sec. user=mdettweiler [2015-10-17 13:34:05] 603*2^1412402-1 is not prime. Res64: 8DD9F57504E3505A Time : 0.0 sec. user=mdettweiler [2015-10-17 13:34:05] 633*2^1412402-1 is not prime. Res64: B6B59521E0B3D5AC Time : 0.0 sec. user=mdettweiler [2015-10-17 13:38:09] 713*2^1412402-1 is not prime. Res64: E542D9C2A68A592B Time : 0.0 sec. user=mdettweiler [2015-10-17 13:38:09] 825*2^1412402-1 is not prime. Res64: 4B995B8D1D70A375 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:38:11] 843*2^1412402-1 is not prime. Res64: 98BB87E1D9D387BC Time : 0.0 sec. user=mdettweiler [2015-10-17 13:38:11] 873*2^1412402-1 is not prime. Res64: A463B9907DB3966D Time : 0.0 sec. user=mdettweiler [2015-10-17 13:51:52] 915*2^1412402-1 is not prime. Res64: 23F9531BC634AE2C Time : 0.0 sec. user=mdettweiler [2015-10-17 13:51:52] 649*2^1412403-1 is not prime. Res64: 5927DE92351A958E Time : 0.0 sec. user=mdettweiler [2015-10-17 13:52:34] 823*2^1412403-1 is not prime. Res64: 65F9C3E611FA938C Time : 0.0 sec. user=mdettweiler [2015-10-17 13:52:34] 853*2^1412403-1 is not prime. Res64: 4A1D23513E2D1A0C Time : 0.0 sec. user=mdettweiler [2015-10-17 13:56:42] 885*2^1412403-1 is not prime. Res64: 506D8E85EFFDAE3E Time : 0.0 sec. user=mdettweiler [2015-10-17 13:56:42] 985*2^1412403-1 is not prime. Res64: 16F9661165C89C99 Time : 0.0 sec. user=mdettweiler [2015-10-17 13:56:42] 675*2^1412404-1 is not prime. Res64: AE29582C0712D15D Time : 0.0 sec. user=mdettweiler [2015-10-17 13:56:42] 677*2^1412404-1 is not prime. Res64: 4021F68B92FBDAE9 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:10:09] 843*2^1412404-1 is not prime. Res64: 0EE205A384C57B37 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:10:09] 875*2^1412404-1 is not prime. Res64: 6C84891A488AA992 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:10:52] 649*2^1412405-1 is not prime. Res64: 0D252C2DA851E2F0 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:10:52] 651*2^1412405-1 is not prime. Res64: 31DA32666036B062 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:15:17] 655*2^1412405-1 is not prime. Res64: A301296764408A00 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:15:17] 727*2^1412405-1 is not prime. Res64: 129D097157F31837 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:15:30] 801*2^1412405-1 is not prime. Res64: B82B58A0A4ED9087 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:15:30] 949*2^1412405-1 is not prime. Res64: EFB0D347CA548FC3 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:28:48] 641*2^1412406-1 is not prime. Res64: 401B6E251EE92A96 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:28:49] 657*2^1412406-1 is not prime. Res64: 3547844316191D2A Time : 0.0 sec. user=mdettweiler [2015-10-17 14:29:36] 683*2^1412406-1 is not prime. Res64: F57C5C2845297D00 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:29:37] 795*2^1412406-1 is not prime. Res64: A3670B2C3FC8ADB3 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:33:58] 821*2^1412406-1 is not prime. Res64: 407842D9A975B960 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:33:59] 933*2^1412406-1 is not prime. Res64: F340B4C47B4AB879 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:34:14] 945*2^1412406-1 is not prime. Res64: 72372A1DB743152F Time : 0.0 sec. user=mdettweiler [2015-10-17 14:34:15] 609*2^1412407-1 is not prime. Res64: CADFDB79699DB1E9 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:46:46] 741*2^1412407-1 is not prime. Res64: 8C377C18E83C5AD5 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:46:47] 883*2^1412407-1 is not prime. Res64: 14C0AF4D5FE26D9B Time : 0.0 sec. user=mdettweiler [2015-10-17 14:47:42] 889*2^1412407-1 is not prime. Res64: 9FAD3C3DA9FD8F90 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:47:43] 901*2^1412407-1 is not prime. Res64: C11F11B290B4AE30 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:51:48] 961*2^1412407-1 is not prime. Res64: 765AECFA83B5DC61 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:51:48] 659*2^1412408-1 is not prime. Res64: 2220BB754D1C2217 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:52:06] 747*2^1412408-1 is not prime. Res64: 4372E6BE250B2500 Time : 0.0 sec. user=mdettweiler [2015-10-17 14:52:06] 755*2^1412408-1 is not prime. Res64: 6215EE5B479AFCAB Time : 0.0 sec. user=mdettweiler [2015-10-17 15:05:15] 815*2^1412408-1 is not prime. Res64: A6238E2A1F357B28 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:05:16] 855*2^1412408-1 is not prime. Res64: 87D80E163887EBC5 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:06:02] 915*2^1412408-1 is not prime. Res64: F6406764324CCCEF Time : 0.0 sec. user=mdettweiler [2015-10-17 15:06:03] 935*2^1412408-1 is not prime. Res64: 8D374EDC076EDAAA Time : 0.0 sec. user=mdettweiler [2015-10-17 15:10:03] 649*2^1412409-1 is not prime. Res64: 9AC7DFA8A3267108 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:10:03] 705*2^1412409-1 is not prime. Res64: D8B98A018A2EB8D8 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:10:24] 747*2^1412409-1 is not prime. Res64: 1D1DDDB406C89904 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:10:24] 885*2^1412409-1 is not prime. Res64: 011DB4F3FC4490F5 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:23:18] 945*2^1412409-1 is not prime. Res64: 1F4F0DB68D2C97A0 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:23:19] 635*2^1412410-1 is not prime. Res64: 5D7F28F958B38C43 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:24:02] 731*2^1412410-1 is not prime. Res64: 7018382C6F499577 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:24:02] 765*2^1412410-1 is not prime. Res64: 271F2895C0BC1394 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:27:45] 783*2^1412410-1 is not prime. Res64: 4F02248B2C2A81A8 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:27:45] 845*2^1412410-1 is not prime. Res64: E730EC8BFDEF8817 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:28:15] 905*2^1412410-1 is not prime. Res64: BFE93183A8957339 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:28:15] 923*2^1412410-1 is not prime. Res64: 7F9C7065AA25F79E Time : 0.0 sec. user=mdettweiler [2015-10-17 15:41:07] 951*2^1412410-1 is not prime. Res64: 0DE1FE2CF72A918E Time : 0.0 sec. user=mdettweiler [2015-10-17 15:41:07] 971*2^1412410-1 is not prime. Res64: 3FEE643E696893A0 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:41:54] 995*2^1412410-1 is not prime. Res64: BD3F7F4581BC93A1 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:41:54] 733*2^1412411-1 is not prime. Res64: EDC3E845B58984B5 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:45:35] 745*2^1412411-1 is not prime. Res64: 1B2690D8BB611B3F Time : 0.0 sec. user=mdettweiler [2015-10-17 15:45:35] 909*2^1412411-1 is not prime. Res64: D2503723118B3678 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:46:05] 759*2^1412412-1 is not prime. Res64: 4B179D8981D4B693 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:46:06] 977*2^1412412-1 is not prime. Res64: 12BD4929DEB5D8DA Time : 0.0 sec. user=mdettweiler [2015-10-17 15:59:01] 615*2^1412413-1 is not prime. Res64: CCBDD017E6E007F7 Time : 0.0 sec. user=mdettweiler [2015-10-17 15:59:02] 619*2^1412413-1 is not prime. Res64: 720E2DDA0DF8FB6D Time : 0.0 sec. user=mdettweiler [2015-10-17 15:59:40] 621*2^1412413-1 is not prime. Res64: 44808530CBA9C68F Time : 0.0 sec. user=mdettweiler [2015-10-17 15:59:41] 675*2^1412413-1 is not prime. Res64: 9A67CA49BE9DF034 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:03:32] 757*2^1412413-1 is not prime. Res64: BED8E1A619D91373 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:03:33] 769*2^1412413-1 is not prime. Res64: C4F725BF5684FEBC Time : 0.0 sec. user=mdettweiler [2015-10-17 16:03:55] 855*2^1412413-1 is not prime. Res64: B41BB7A1B88ABAA3 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:03:57] 919*2^1412413-1 is not prime. Res64: 58B0EC7B038F3E90 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:16:58] 705*2^1412414-1 is not prime. Res64: 535E89E608F3C482 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:16:58] 741*2^1412414-1 is not prime. Res64: EC073DC9CF1D1FAC Time : 0.0 sec. user=mdettweiler [2015-10-17 16:17:24] 753*2^1412414-1 is not prime. Res64: 6C498CF7454BDD20 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:17:24] 625*2^1412415-1 is not prime. Res64: 713B2491B37F3AB3 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:21:26] 649*2^1412415-1 is not prime. Res64: 947F16294D404F8C Time : 0.0 sec. user=mdettweiler [2015-10-17 16:21:27] 709*2^1412415-1 is not prime. Res64: 3ABB8D0715295521 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:21:43] 793*2^1412415-1 is not prime. Res64: 505178B0398998D1 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:21:43] 861*2^1412415-1 is not prime. Res64: 2DBD33240590B52C Time : 0.0 sec. user=mdettweiler [2015-10-17 16:34:49] 871*2^1412415-1 is not prime. Res64: 34283CB73F6C9E05 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:34:49] 955*2^1412415-1 is not prime. Res64: DB97B501812E3EA4 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:35:16] 991*2^1412415-1 is not prime. Res64: E09F823DC799976B Time : 0.0 sec. user=mdettweiler [2015-10-17 16:35:16] 843*2^1412416-1 is not prime. Res64: 550DAF6F78D22B2C Time : 0.0 sec. user=mdettweiler [2015-10-17 16:39:15] 897*2^1412416-1 is not prime. Res64: CFE68A230C772A17 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:39:15] 989*2^1412416-1 is not prime. Res64: AF620696F60BC5D9 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:39:31] 631*2^1412417-1 is not prime. Res64: 462EEDC35E8C5FE5 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:39:32] 669*2^1412417-1 is not prime. Res64: 33586EEE8B65F434 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:52:49] 805*2^1412417-1 is not prime. Res64: E7DA144CA47C5D28 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:52:50] 829*2^1412417-1 is not prime. Res64: 15008842DC6DB21A Time : 0.0 sec. user=mdettweiler [2015-10-17 16:53:18] 841*2^1412417-1 is not prime. Res64: FF0C3FF8ECABB48A Time : 0.0 sec. user=mdettweiler [2015-10-17 16:53:19] 865*2^1412417-1 is not prime. Res64: DC5E5D11BCE539F9 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:57:21] 885*2^1412417-1 is not prime. Res64: 257420B72AD10DD8 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:57:22] 635*2^1412418-1 is not prime. Res64: BAAB098DFD40DAFE Time : 0.0 sec. user=mdettweiler [2015-10-17 16:57:29] 663*2^1412418-1 is not prime. Res64: 37D2D63B852FA9F9 Time : 0.0 sec. user=mdettweiler [2015-10-17 16:57:29] 755*2^1412418-1 is not prime. Res64: 1146EE338416D306 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:10:41] 815*2^1412418-1 is not prime. Res64: 9872C02273864594 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:10:41] 893*2^1412418-1 is not prime. Res64: 90465133E98371C3 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:11:15] 905*2^1412418-1 is not prime. Res64: AFCAA424E09E1602 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:11:16] 963*2^1412418-1 is not prime. Res64: A8884568A263E41D Time : 0.0 sec. user=mdettweiler [2015-10-17 17:15:05] 601*2^1412419-1 is not prime. Res64: 617D431A9BFCD1D5 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:15:05] 633*2^1412419-1 is not prime. Res64: 63DB91F41A249C25 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:15:12] 751*2^1412419-1 is not prime. Res64: C97C21EB18EAC5C7 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:15:12] 829*2^1412419-1 is not prime. Res64: 3EBADFE3F1B43E4E Time : 0.0 sec. user=mdettweiler [2015-10-17 17:28:24] 909*2^1412419-1 is not prime. Res64: AED8AB944A9DE506 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:28:25] 979*2^1412419-1 is not prime. Res64: 7A45E9353913C420 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:28:57] 985*2^1412419-1 is not prime. Res64: B911207ED4E34502 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:28:58] 609*2^1412420-1 is not prime. Res64: 1F54D45639F1BC82 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:32:52] 725*2^1412420-1 is not prime. Res64: E175791B18E80A7F Time : 0.0 sec. user=mdettweiler [2015-10-17 17:32:52] 635*2^1412420-1 is not prime. Res64: F66C4229ACFE2553 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:32:52] 753*2^1412420-1 is not prime. Res64: 839039AF53DC5715 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:32:52] 675*2^1412420-1 is not prime. Res64: 98FEBF94CA7F25D2 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:46:06] 899*2^1412420-1 is not prime. Res64: A6E7DA56B63679EA Time : 0.0 sec. user=mdettweiler [2015-10-17 17:46:07] 609*2^1412421-1 is not prime. Res64: 160363705F8BF9CA Time : 0.0 sec. user=mdettweiler [2015-10-17 17:46:39] 735*2^1412421-1 is not prime. Res64: 0453A7F7C5BADEB8 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:46:39] 741*2^1412421-1 is not prime. Res64: 588461E81C271D40 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:50:34] 819*2^1412421-1 is not prime. Res64: D1F585006F1DE468 Time : 0.0 sec. user=mdettweiler [2015-10-17 17:50:34] 937*2^1412421-1 is not prime. Res64: 338D29F1E429860A Time : 0.0 sec. user=mdettweiler [2015-10-17 17:50:37] 961*2^1412421-1 is not prime. Res64: 58E6C226E244DC3D Time : 0.0 sec. user=mdettweiler [2015-10-17 17:50:37] 987*2^1412421-1 is not prime. Res64: C669D82FDC897CA3 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:03:53] 651*2^1412422-1 is not prime. Res64: AB4DB61681131E3F Time : 0.0 sec. user=mdettweiler [2015-10-17 18:03:54] 677*2^1412422-1 is not prime. Res64: 067A94E7DE87DB2A Time : 0.0 sec. user=mdettweiler [2015-10-17 18:04:19] 777*2^1412422-1 is not prime. Res64: 5DDDBE2C6DB07880 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:04:20] 785*2^1412422-1 is not prime. Res64: 00B95D11D5DFDFAC Time : 0.0 sec. user=mdettweiler [2015-10-17 18:08:16] 791*2^1412422-1 is not prime. Res64: 732CA186A49218BD Time : 0.0 sec. user=mdettweiler [2015-10-17 18:08:17] 815*2^1412422-1 is not prime. Res64: 7A735D0949DF05C8 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:08:21] 827*2^1412422-1 is not prime. Res64: 3B21412897FC9610 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:08:22] 831*2^1412422-1 is not prime. Res64: 7BC6746286879BB4 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:21:58] 885*2^1412422-1 is not prime. Res64: 689A18F2FB01574A Time : 0.0 sec. user=mdettweiler [2015-10-17 18:21:58] 945*2^1412422-1 is not prime. Res64: CE801594A82F77A1 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:22:15] 649*2^1412423-1 is not prime. Res64: 19A093303994D11F Time : 0.0 sec. user=mdettweiler [2015-10-17 18:22:15] 915*2^1412423-1 is not prime. Res64: 3BECE58C6FEF11EC Time : 0.0 sec. user=mdettweiler [2015-10-17 18:26:06] 949*2^1412423-1 is not prime. Res64: 74847DC49C6027EB Time : 0.0 sec. user=mdettweiler [2015-10-17 18:26:06] 899*2^1412424-1 is not prime. Res64: B909D416CA5E7FE9 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:26:17] 729*2^1412425-1 is not prime. Res64: 9B62821497062CE6 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:26:17] 939*2^1412425-1 is not prime. Res64: 0D38C5F8D6F981FD Time : 0.0 sec. user=mdettweiler [2015-10-17 18:39:49] 957*2^1412425-1 is not prime. Res64: DE23275E3ED0A01D Time : 0.0 sec. user=mdettweiler [2015-10-17 18:39:50] 641*2^1412426-1 is not prime. Res64: B11ADA5B494D2766 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:40:05] 671*2^1412426-1 is not prime. Res64: 7C95B787C29528E8 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:40:05] 677*2^1412426-1 is not prime. Res64: E61BAEF9450F384B Time : 0.0 sec. user=mdettweiler [2015-10-17 18:43:59] 717*2^1412426-1 is not prime. Res64: 9DF11CC0A11475AC Time : 0.0 sec. user=mdettweiler [2015-10-17 18:44:00] 783*2^1412426-1 is not prime. Res64: FDC3D29A464D38F5 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:44:06] 801*2^1412426-1 is not prime. Res64: 312E9BC5F7832D97 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:44:06] 813*2^1412426-1 is not prime. Res64: 3C8EF9E1F54B413E Time : 0.0 sec. user=mdettweiler [2015-10-17 18:57:31] 831*2^1412426-1 is not prime. Res64: 43B653F850E6B4A0 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:57:31] 857*2^1412426-1 is not prime. Res64: 5532E1D2762FC454 Time : 0.0 sec. user=mdettweiler [2015-10-17 18:57:47] 867*2^1412426-1 is not prime. Res64: 714D395435A6B75B Time : 0.0 sec. user=mdettweiler [2015-10-17 18:57:47] 921*2^1412426-1 is not prime. Res64: D589E56A0150F50B Time : 0.0 sec. user=mdettweiler [2015-10-17 19:01:43] 741*2^1412427-1 is not prime. Res64: F21F3E832922CEC5 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:01:44] 769*2^1412427-1 is not prime. Res64: 88FB7109C0F1AD08 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:01:52] 923*2^1412426-1 is not prime. Res64: B5867B59DA03A1C5 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:01:53] 1001*2^1412426-1 is not prime. Res64: F32AFACF4450BA17 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:15:13] 793*2^1412427-1 is not prime. Res64: 6E3CD1FED2A78685 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:15:14] 795*2^1412427-1 is not prime. Res64: CAFD5E1D85C5803D Time : 0.0 sec. user=mdettweiler [2015-10-17 19:15:26] 805*2^1412427-1 is not prime. Res64: A04369EEE88DE48C Time : 0.0 sec. user=mdettweiler [2015-10-17 19:15:27] 843*2^1412427-1 is not prime. Res64: 016814914600F243 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:19:39] 999*2^1412427-1 is not prime. Res64: 0E57002368B877ED Time : 0.0 sec. user=mdettweiler [2015-10-17 19:19:39] 635*2^1412428-1 is not prime. Res64: 7B606EB843493F42 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:19:44] 657*2^1412428-1 is not prime. Res64: 7EF63DC9202CE269 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:19:45] 797*2^1412428-1 is not prime. Res64: 1986877B388E1F49 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:33:12] 699*2^1412429-1 is not prime. Res64: D738F2A7C836B919 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:33:12] 993*2^1412428-1 is not prime. Res64: BFAC91B195EBA045 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:33:12] 711*2^1412429-1 is not prime. Res64: CB35D675E9EC1213 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:33:12] 645*2^1412429-1 is not prime. Res64: EA2502809563E463 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:37:35] 949*2^1412429-1 is not prime. Res64: 0067A570F15593AC Time : 0.0 sec. user=mdettweiler [2015-10-17 19:37:36] 967*2^1412429-1 is not prime. Res64: 96A6ACA4E9AF354A Time : 0.0 sec. user=mdettweiler [2015-10-17 19:37:37] 847*2^1412429-1 is not prime. Res64: 41FF1CF4594225BC Time : 0.0 sec. user=mdettweiler [2015-10-17 19:37:37] 931*2^1412429-1 is not prime. Res64: 70B975024551FE7D Time : 0.0 sec. user=mdettweiler [2015-10-17 19:51:02] 611*2^1412430-1 is not prime. Res64: CB7298F90DF3FD22 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:51:02] 647*2^1412430-1 is not prime. Res64: 16A3C97FFB26EB22 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:51:02] 635*2^1412430-1 is not prime. Res64: BCC0318920DF9DEF Time : 0.0 sec. user=mdettweiler [2015-10-17 19:51:02] 833*2^1412430-1 is not prime. Res64: 75B1BCC7045E08A7 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:55:15] 933*2^1412430-1 is not prime. Res64: 000A6E1EBD8AA540 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:55:16] 963*2^1412430-1 is not prime. Res64: ABA4F987A808FC89 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:55:16] 675*2^1412431-1 is not prime. Res64: 5E850D92919BE4F3 Time : 0.0 sec. user=mdettweiler [2015-10-17 19:55:16] 745*2^1412431-1 is not prime. Res64: 76905248173AFB23 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:08:45] 883*2^1412431-1 is not prime. Res64: 5EB362633B3C95D4 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:08:46] 633*2^1412432-1 is not prime. Res64: 19154D4F70AA8620 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:08:49] 861*2^1412431-1 is not prime. Res64: 1AE6A2D539786C32 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:08:50] 873*2^1412431-1 is not prime. Res64: 10EAF709C8BB6BB2 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:13:05] 635*2^1412432-1 is not prime. Res64: 4E89697EBB489202 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:13:06] 713*2^1412432-1 is not prime. Res64: E680C55BE5C7AE1F Time : 0.0 sec. user=mdettweiler [2015-10-17 20:13:08] 833*2^1412432-1 is not prime. Res64: F074E781E1F6783A Time : 0.0 sec. user=mdettweiler [2015-10-17 20:13:09] 867*2^1412433-1 is not prime. Res64: E1EE0A38B4BF72C3 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:28:06] 803*2^1412434-1 is not prime. Res64: FDD1B99E27FAC961 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:28:06] 855*2^1412434-1 is not prime. Res64: ACDD1F9E185EF9B3 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:28:13] 895*2^1412433-1 is not prime. Res64: EE9BBA6653B76CC9 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:28:14] 901*2^1412433-1 is not prime. Res64: C733A8C4CCE165EA Time : 0.0 sec. user=mdettweiler [2015-10-17 20:32:45] 885*2^1412434-1 is not prime. Res64: DCC5D7D06A4CEDBD Time : 0.0 sec. user=mdettweiler [2015-10-17 20:32:45] 983*2^1412434-1 is not prime. Res64: F1F78AF2D9E455B8 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:32:48] 609*2^1412435-1 is not prime. Res64: 4005D3302B561E96 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:32:48] 643*2^1412435-1 is not prime. Res64: 3FC6155D56DFF758 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:48:32] 705*2^1412435-1 is not prime. Res64: 41C09050D7530349 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:48:32] 825*2^1412435-1 is not prime. Res64: D4F0FAF476FBB95B Time : 0.0 sec. user=mdettweiler [2015-10-17 20:49:06] 861*2^1412435-1 is not prime. Res64: 63E3EBFE8D0B32D8 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:49:06] 883*2^1412435-1 is not prime. Res64: E4C9912695F1EFF7 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:53:30] 895*2^1412435-1 is not prime. Res64: F1510AD574B5963C Time : 0.0 sec. user=mdettweiler [2015-10-17 20:53:30] 765*2^1412436-1 is not prime. Res64: D1B80CA6F35B5611 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:53:42] 837*2^1412436-1 is not prime. Res64: 22117347599E75F6 Time : 0.0 sec. user=mdettweiler [2015-10-17 20:53:42] 975*2^1412436-1 is not prime. Res64: 858B95451EAE64BF Time : 0.0 sec. user=mdettweiler [2015-10-17 21:09:42] 625*2^1412437-1 is not prime. Res64: 3FE9A8F8D3D23ABC Time : 0.0 sec. user=mdettweiler [2015-10-17 21:09:42] 699*2^1412437-1 is not prime. Res64: B2681FA5D46A9A9F Time : 0.0 sec. user=mdettweiler [2015-10-17 21:10:27] 741*2^1412437-1 is not prime. Res64: 77C83D668986C9EE Time : 0.0 sec. user=mdettweiler [2015-10-17 21:10:27] 769*2^1412437-1 is not prime. Res64: EA201119E72644CE Time : 0.0 sec. user=mdettweiler [2015-10-17 21:14:54] 799*2^1412437-1 is not prime. Res64: CDD5247FBE2C6D6F Time : 0.0 sec. user=mdettweiler [2015-10-17 21:14:54] 939*2^1412437-1 is not prime. Res64: D8FAEB4361FA6C7F Time : 0.0 sec. user=mdettweiler [2015-10-17 21:15:08] 657*2^1412438-1 is not prime. Res64: 4729B49DB0A3267B Time : 0.0 sec. user=mdettweiler [2015-10-17 21:15:08] 671*2^1412438-1 is not prime. Res64: 64444739918FD570 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:30:11] 713*2^1412438-1 is not prime. Res64: 9148057E6A3DA9A4 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:30:12] 773*2^1412438-1 is not prime. Res64: EC5B2796DA51A7E6 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:31:12] 867*2^1412438-1 is not prime. Res64: 4AEDA67F9FF4AB46 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:31:12] 911*2^1412438-1 is not prime. Res64: 7C2A3FABE0F7E3FC Time : 0.0 sec. user=mdettweiler [2015-10-17 21:35:27] 945*2^1412438-1 is not prime. Res64: 1904C0E7734F4E5D Time : 0.0 sec. user=mdettweiler [2015-10-17 21:35:27] 1001*2^1412438-1 is not prime. Res64: C975B51CAFA93725 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:35:50] 693*2^1412439-1 is not prime. Res64: 4C466A6E82FFD6FE Time : 0.0 sec. user=mdettweiler [2015-10-17 21:35:50] 709*2^1412439-1 is not prime. Res64: 28AD903793F4B28A Time : 0.0 sec. user=mdettweiler [2015-10-17 21:50:37] 831*2^1412439-1 is not prime. Res64: 7BD4B03E73BB520D Time : 0.0 sec. user=mdettweiler [2015-10-17 21:50:37] 895*2^1412439-1 is not prime. Res64: 7B72435B2183F66B Time : 0.0 sec. user=mdettweiler [2015-10-17 21:52:38] 999*2^1412439-1 is not prime. Res64: 995425FD474F58C0 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:52:38] 743*2^1412440-1 is not prime. Res64: D0590C40A1094B6A Time : 0.0 sec. user=mdettweiler [2015-10-17 21:56:45] 785*2^1412440-1 is not prime. Res64: 05F99EFEA80F9202 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:56:45] 855*2^1412440-1 is not prime. Res64: A3684CEFE665EEB9 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:57:03] 875*2^1412440-1 is not prime. Res64: 9FC5A693DC163CD9 Time : 0.0 sec. user=mdettweiler [2015-10-17 21:57:04] 905*2^1412440-1 is not prime. Res64: B99B6B4CB38F0AAB Time : 0.0 sec. user=mdettweiler [2015-10-17 22:11:51] 915*2^1412440-1 is not prime. Res64: 8DD82767A09E2BFA Time : 0.0 sec. user=mdettweiler [2015-10-17 22:11:52] 607*2^1412441-1 is not prime. Res64: 4B1B24B24FBF19E0 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:13:09] 735*2^1412441-1 is not prime. Res64: E5410E3ADEEEA4B4 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:13:09] 777*2^1412441-1 is not prime. Res64: 6CC0C0F551611DF3 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:16:51] 855*2^1412441-1 is not prime. Res64: ADFB9CD7B0908E26 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:16:51] 865*2^1412441-1 is not prime. Res64: CF7EE4828B3A46E7 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:17:07] 909*2^1412441-1 is not prime. Res64: 903982FAB311CC19 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:17:07] 615*2^1412442-1 is not prime. Res64: 5E9157C83115A1B3 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:29:39] 621*2^1412442-1 is not prime. Res64: 51D427A78658B610 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:29:39] 893*2^1412442-1 is not prime. Res64: 1AA24EF4DEE85A29 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:30:53] 915*2^1412442-1 is not prime. Res64: E951E224CB805E62 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:30:53] 945*2^1412442-1 is not prime. Res64: 479485A4DDC5EE7B Time : 0.0 sec. user=mdettweiler [2015-10-17 22:34:37] 639*2^1412443-1 is not prime. Res64: 30098C20DC591391 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:34:37] 741*2^1412443-1 is not prime. Res64: AFB0C693CF7225CC Time : 0.0 sec. user=mdettweiler [2015-10-17 22:34:52] 793*2^1412443-1 is not prime. Res64: 9169D616E60C7DE1 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:34:53] 829*2^1412443-1 is not prime. Res64: AF009AADE1FF5782 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:47:25] 939*2^1412443-1 is not prime. Res64: BFE3099B18359EC9 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:47:25] 961*2^1412443-1 is not prime. Res64: 2E19BC4AEEE81B6A Time : 0.0 sec. user=mdettweiler [2015-10-17 22:48:39] 629*2^1412444-1 is not prime. Res64: 014643DC4311E783 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:48:39] 687*2^1412444-1 is not prime. Res64: 9288C74BAEBD5803 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:52:22] 767*2^1412444-1 is not prime. Res64: 2D5394E574784E8A Time : 0.0 sec. user=mdettweiler [2015-10-17 22:52:23] 833*2^1412444-1 is not prime. Res64: 6A053438FDFD3A24 Time : 0.0 sec. user=mdettweiler [2015-10-17 22:52:34] 909*2^1412444-1 is not prime. Res64: 08313C8441C2B75D Time : 0.0 sec. user=mdettweiler [2015-10-17 22:52:35] 987*2^1412444-1 is not prime. Res64: 21A1514D9B1B943B Time : 0.0 sec. user=mdettweiler [2015-10-17 23:05:09] 741*2^1412445-1 is not prime. Res64: 907A70C3CD1E0B58 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:05:10] 759*2^1412445-1 is not prime. Res64: F534E3AC895001B2 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:06:28] 979*2^1412445-1 is not prime. Res64: F30D56F111B9F9EE Time : 0.0 sec. user=mdettweiler [2015-10-17 23:06:28] 777*2^1412446-1 is not prime. Res64: 51932958EF14E766 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:10:06] 821*2^1412446-1 is not prime. Res64: 0732C193E2E5C4C4 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:10:07] 603*2^1412447-1 is not prime. Res64: 88B87802AAA87531 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:10:23] 633*2^1412447-1 is not prime. Res64: AF64E235C31F0621 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:10:24] 643*2^1412447-1 is not prime. Res64: 5FC6302345308734 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:23:20] 729*2^1412447-1 is not prime. Res64: 9A9DFE1384B80E32 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:23:20] 859*2^1412447-1 is not prime. Res64: 324E03DC014E1D03 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:24:24] 871*2^1412447-1 is not prime. Res64: F0B063305647C3B9 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:24:24] 939*2^1412447-1 is not prime. Res64: 19012E477E9ED0F8 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:27:55] 955*2^1412447-1 is not prime. Res64: 277D467854BCCAC4 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:27:55] 985*2^1412447-1 is not prime. Res64: 6812A0F5BD603DAE Time : 0.0 sec. user=mdettweiler [2015-10-17 23:28:28] 893*2^1412448-1 is not prime. Res64: F0440D7B1FB41502 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:28:28] 899*2^1412448-1 is not prime. Res64: 5AE1CBD6CC2458D2 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:41:05] 609*2^1412449-1 is not prime. Res64: A784BAFFD06C14CD Time : 0.0 sec. user=mdettweiler [2015-10-17 23:41:05] 817*2^1412449-1 is not prime. Res64: D6DD94E722FC7E05 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:42:10] 931*2^1412449-1 is not prime. Res64: 1C0A45DA84D438A0 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:42:10] 957*2^1412449-1 is not prime. Res64: 25DE04BC7FE5E182 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:45:38] 967*2^1412449-1 is not prime. Res64: 240CC4024DE3DFF1 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:45:38] 797*2^1412450-1 is not prime. Res64: EA688FFADAE01C1B Time : 0.0 sec. user=mdettweiler [2015-10-17 23:46:12] 875*2^1412450-1 is not prime. Res64: 6957D8EBD726B2B3 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:46:12] 921*2^1412450-1 is not prime. Res64: 9FCDC0D61DA395BD Time : 0.0 sec. user=mdettweiler [2015-10-17 23:58:50] 957*2^1412450-1 is not prime. Res64: A9282DE9AEAB22F1 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:58:51] 613*2^1412451-1 is not prime. Res64: 00F7DE7C1A51CE2A Time : 0.0 sec. user=mdettweiler [2015-10-17 23:59:51] 685*2^1412451-1 is not prime. Res64: 9F25609254C5B5A0 Time : 0.0 sec. user=mdettweiler [2015-10-17 23:59:52] 751*2^1412451-1 is not prime. Res64: 68595E1E6F37453C Time : 0.0 sec.