user=mdettweiler [2016-01-31 00:07:19] 755*2^1420974-1 is not prime. Res64: BCB6D769EAB81AB0 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:07:20] 765*2^1420974-1 is not prime. Res64: D028586AA2EF4092 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:08:59] 767*2^1420974-1 is not prime. Res64: 28B94991E72FBC4A Time : 0.0 sec. user=mdettweiler [2016-01-31 00:09:00] 881*2^1420974-1 is not prime. Res64: FB66EB3FAA913BCC Time : 0.0 sec. user=mdettweiler [2016-01-31 00:18:55] 1001*2^1420974-1 is not prime. Res64: ACF3E66834193F51 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:18:55] 619*2^1420975-1 is not prime. Res64: BE5228F23BE33D05 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:19:37] 679*2^1420975-1 is not prime. Res64: 89BD34CAE34DF06B Time : 0.0 sec. user=mdettweiler [2016-01-31 00:19:37] 705*2^1420975-1 is not prime. Res64: 61644C37455041CF Time : 0.0 sec. user=mdettweiler [2016-01-31 00:26:12] 723*2^1420975-1 is not prime. Res64: 0BB00FC8DC7B1240 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:26:12] 933*2^1420975-1 is not prime. Res64: C184C2E1AEC3A91E Time : 0.0 sec. user=mdettweiler [2016-01-31 00:27:22] 815*2^1420976-1 is not prime. Res64: 14CE147899C88B76 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:27:22] 903*2^1420976-1 is not prime. Res64: 8EDC724B5500324D Time : 0.0 sec. user=mdettweiler [2016-01-31 00:37:23] 957*2^1420976-1 is not prime. Res64: 616770CA6EB136B2 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:37:24] 609*2^1420977-1 is not prime. Res64: C5261CD3EB901BE2 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:38:18] 741*2^1420977-1 is not prime. Res64: 0C23186079AEB5A8 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:38:19] 769*2^1420977-1 is not prime. Res64: 4C509684CC85ECD5 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:44:49] 865*2^1420977-1 is not prime. Res64: B0F4C04315820E2E Time : 0.0 sec. user=mdettweiler [2016-01-31 00:44:50] 885*2^1420977-1 is not prime. Res64: 3A112016897B11DD Time : 0.0 sec. user=mdettweiler [2016-01-31 00:45:55] 895*2^1420977-1 is not prime. Res64: 4A4ECC6BF8A88F8A Time : 0.0 sec. user=mdettweiler [2016-01-31 00:45:55] 901*2^1420977-1 is not prime. Res64: AD64C265E801EDAA Time : 0.0 sec. user=mdettweiler [2016-01-31 00:55:36] 647*2^1420978-1 is not prime. Res64: C8909591DA4D5861 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:55:36] 651*2^1420978-1 is not prime. Res64: 6669A6DBE7BB593B Time : 0.0 sec. user=mdettweiler [2016-01-31 00:57:03] 657*2^1420978-1 is not prime. Res64: D1FFCB833FDDD914 Time : 0.0 sec. user=mdettweiler [2016-01-31 00:57:03] 731*2^1420978-1 is not prime. Res64: FC5BFD4D1A5E7D28 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:03:40] 737*2^1420978-1 is not prime. Res64: 6FF1F50AB4410362 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:03:41] 833*2^1420978-1 is not prime. Res64: BA3590E995DA9B4C Time : 0.0 sec. user=mdettweiler [2016-01-31 01:04:10] 915*2^1420978-1 is not prime. Res64: E34F7D120E7AC47F Time : 0.0 sec. user=mdettweiler [2016-01-31 01:04:11] 945*2^1420978-1 is not prime. Res64: 17C6D06F3AEAE752 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:14:18] 1001*2^1420978-1 is not prime. Res64: 4BC6372DA0ED64AE Time : 0.0 sec. user=mdettweiler [2016-01-31 01:14:18] 603*2^1420979-1 is not prime. Res64: 12EE987FA2A5E502 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:15:39] 621*2^1420979-1 is not prime. Res64: 4FD935DDD3FB778B Time : 0.0 sec. user=mdettweiler [2016-01-31 01:15:39] 675*2^1420979-1 is not prime. Res64: 76C9C99324A74EE9 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:22:21] 843*2^1420979-1 is not prime. Res64: CF5233F7D76BB086 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:22:22] 861*2^1420979-1 is not prime. Res64: 056EE8C94D0252B0 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:22:25] 745*2^1420979-1 is not prime. Res64: 5E18E7A862F94983 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:22:25] 825*2^1420979-1 is not prime. Res64: 6B0369E85A30F5D0 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:32:48] 979*2^1420979-1 is not prime. Res64: E5198108D51897D0 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:32:49] 627*2^1420980-1 is not prime. Res64: FB4F4427BFA5AA56 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:34:23] 693*2^1420980-1 is not prime. Res64: 026A9282D0DA34C3 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:34:24] 779*2^1420980-1 is not prime. Res64: 669838A8EB982B4D Time : 0.0 sec. user=mdettweiler [2016-01-31 01:40:35] 873*2^1420980-1 is not prime. Res64: A85A25283C6BE7EA Time : 0.0 sec. user=mdettweiler [2016-01-31 01:40:35] 905*2^1420980-1 is not prime. Res64: FF653A6DADFD74EF Time : 0.0 sec. user=mdettweiler [2016-01-31 01:41:00] 619*2^1420981-1 is not prime. Res64: CA6DD52F93FA6B4E Time : 0.0 sec. user=mdettweiler [2016-01-31 01:41:00] 691*2^1420981-1 is not prime. Res64: C1A560409095E816 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:51:23] 715*2^1420981-1 is not prime. Res64: 1E6C748D4BF4063B Time : 0.0 sec. user=mdettweiler [2016-01-31 01:51:24] 819*2^1420981-1 is not prime. Res64: 01BBF6C0369B0148 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:53:06] 871*2^1420981-1 is not prime. Res64: 86E5B7839274537C Time : 0.0 sec. user=mdettweiler [2016-01-31 01:53:06] 923*2^1420982-1 is not prime. Res64: 8139CB3902B7F885 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:58:57] 675*2^1420983-1 is not prime. Res64: 763725FF7B5B515A Time : 0.0 sec. user=mdettweiler [2016-01-31 01:58:58] 805*2^1420983-1 is not prime. Res64: E740164883B68540 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:59:43] 645*2^1420984-1 is not prime. Res64: F25FBE0BFFCFE361 Time : 0.0 sec. user=mdettweiler [2016-01-31 01:59:44] 675*2^1420984-1 is not prime. Res64: 3BF289BB7822FE58 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:09:48] 705*2^1420984-1 is not prime. Res64: 2A2A13851C0B5146 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:09:48] 743*2^1420984-1 is not prime. Res64: F2C333933F04875D Time : 0.0 sec. user=mdettweiler [2016-01-31 02:11:50] 755*2^1420984-1 is not prime. Res64: A4E74850CAF500EB Time : 0.0 sec. user=mdettweiler [2016-01-31 02:11:50] 903*2^1420984-1 is not prime. Res64: D25EACBB4C2EE6C2 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:17:26] 905*2^1420984-1 is not prime. Res64: ACBABE28FA17ADB4 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:17:27] 917*2^1420984-1 is not prime. Res64: 8189C15BFA5C407A Time : 0.0 sec. user=mdettweiler [2016-01-31 02:18:37] 649*2^1420985-1 is not prime. Res64: A61CBE6A011A4852 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:18:38] 675*2^1420985-1 is not prime. Res64: D2A267B776921963 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:28:25] 775*2^1420985-1 is not prime. Res64: EA68A595C25C2B14 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:28:26] 949*2^1420985-1 is not prime. Res64: 32E25E24864CE5B1 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:30:34] 627*2^1420986-1 is not prime. Res64: 693C8B3C5C53E426 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:30:34] 747*2^1420986-1 is not prime. Res64: F8C41E60F5E1D707 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:35:51] 777*2^1420986-1 is not prime. Res64: 46B4ECE4754C6176 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:35:51] 807*2^1420986-1 is not prime. Res64: C59CDB62E150C2E3 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:37:08] 875*2^1420986-1 is not prime. Res64: 4294A833BB622FE2 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:37:09] 905*2^1420986-1 is not prime. Res64: D548588E4819F5D8 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:46:57] 921*2^1420986-1 is not prime. Res64: AF597F5B9E3913DB Time : 0.0 sec. user=mdettweiler [2016-01-31 02:46:57] 945*2^1420986-1 is not prime. Res64: D684B2D37D0063A8 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:49:09] 971*2^1420986-1 is not prime. Res64: 4FAC1ADB42534382 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:49:09] 693*2^1420987-1 is not prime. Res64: CBC96240D25D082C Time : 0.0 sec. user=mdettweiler [2016-01-31 02:54:10] 805*2^1420987-1 is not prime. Res64: 021DD6431AE7B096 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:54:10] 889*2^1420987-1 is not prime. Res64: 121792DA16BE3536 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:55:44] 891*2^1420987-1 is not prime. Res64: D62CB5E6D06F39B6 Time : 0.0 sec. user=mdettweiler [2016-01-31 02:55:45] 909*2^1420987-1 is not prime. Res64: 3245D0032412DDF0 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:05:33] 961*2^1420987-1 is not prime. Res64: C6028DB1FD63E698 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:05:35] 975*2^1420987-1 is not prime. Res64: 6288800405358976 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:07:52] 755*2^1420988-1 is not prime. Res64: 89F585B1C6BB3CB0 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:07:54] 803*2^1420988-1 is not prime. Res64: 4CF51FD47FD02BE1 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:12:26] 837*2^1420988-1 is not prime. Res64: ED42EE3A6C263285 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:12:27] 945*2^1420988-1 is not prime. Res64: 15FDB195DFF95313 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:14:11] 963*2^1420988-1 is not prime. Res64: BD2DFCB29605A56D Time : 0.0 sec. user=mdettweiler [2016-01-31 03:14:11] 609*2^1420989-1 is not prime. Res64: 8E5F2AE11C1E89B0 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:24:17] 621*2^1420989-1 is not prime. Res64: 6B4C3EFC40D93F56 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:24:17] 657*2^1420989-1 is not prime. Res64: 8BB7B9F3F0C3A307 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:26:32] 667*2^1420989-1 is not prime. Res64: 2E6C1010097F7F3E Time : 0.0 sec. user=mdettweiler [2016-01-31 03:26:33] 675*2^1420989-1 is not prime. Res64: 37E0A8695B4AC8E5 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:30:45] 847*2^1420989-1 is not prime. Res64: 66A4B7E86B516687 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:30:49] 865*2^1420989-1 is not prime. Res64: 5B9C4D4F1870A904 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:32:57] 949*2^1420989-1 is not prime. Res64: AB15B05056A7099F Time : 0.0 sec. user=mdettweiler [2016-01-31 03:33:00] 961*2^1420989-1 is not prime. Res64: EF6A00E92FD2E42E Time : 0.0 sec. user=mdettweiler [2016-01-31 03:42:40] 657*2^1420990-1 is not prime. Res64: 6269DDE9DA3B6EF6 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:42:42] 665*2^1420990-1 is not prime. Res64: 991300859FF2F820 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:45:10] 957*2^1420990-1 is not prime. Res64: CCAF8A89912E5195 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:45:11] 975*2^1420990-1 is not prime. Res64: BA1ACA8A02C41C56 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:49:38] 621*2^1420991-1 is not prime. Res64: B274E173A354BB5B Time : 0.0 sec. user=mdettweiler [2016-01-31 03:49:39] 663*2^1420991-1 is not prime. Res64: 272AC0FEDC5D5C97 Time : 0.0 sec. user=mdettweiler [2016-01-31 03:51:50] 673*2^1420991-1 is not prime. Res64: DBDD94AD624C25FD Time : 0.0 sec. user=mdettweiler [2016-01-31 03:51:51] 703*2^1420991-1 is not prime. Res64: 41C8182D9057AC31 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:01:29] 711*2^1420991-1 is not prime. Res64: 546E434F91BB9028 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:01:31] 735*2^1420991-1 is not prime. Res64: B1525E038FC628D7 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:04:04] 843*2^1420991-1 is not prime. Res64: FCE30BCC98D6AE86 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:04:07] 859*2^1420991-1 is not prime. Res64: D08234F2F557AC52 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:08:02] 943*2^1420991-1 is not prime. Res64: E1CFB606BFDD847F Time : 0.0 sec. user=mdettweiler [2016-01-31 04:10:43] 955*2^1420991-1 is not prime. Res64: F7DF112F581D8BE6 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:10:45] 623*2^1420992-1 is not prime. Res64: B9DEB25D89A86C8E Time : 0.0 sec. user=mdettweiler [2016-01-31 04:21:05] 675*2^1420992-1 is not prime. Res64: 210549A146B8CBE5 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:21:06] 683*2^1420992-1 is not prime. Res64: F8D291EBE9F4978E Time : 0.0 sec. user=mdettweiler [2016-01-31 04:24:04] 765*2^1420992-1 is not prime. Res64: C4951D545517C26E Time : 0.0 sec. user=mdettweiler [2016-01-31 04:24:05] 767*2^1420992-1 is not prime. Res64: C5E53760E28576E7 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:30:50] 959*2^1420992-1 is not prime. Res64: E610353005FF32F6 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:30:51] 639*2^1420993-1 is not prime. Res64: 11F3041BF9ED6497 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:40:14] 849*2^1420993-1 is not prime. Res64: 0ADFF01AB27A1552 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:40:14] 925*2^1420993-1 is not prime. Res64: FB82A823074D58E1 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:43:54] 987*2^1420993-1 is not prime. Res64: 760E6182EB8837DC Time : 0.0 sec. user=mdettweiler [2016-01-31 04:43:54] 675*2^1420994-1 is not prime. Res64: 8AA2C111F4F14C7C Time : 0.0 sec. user=mdettweiler [2016-01-31 04:50:26] 857*2^1420994-1 is not prime. Res64: 3841DDBF7AB27866 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:50:27] 915*2^1420994-1 is not prime. Res64: 35EB1362D2C51378 Time : 0.0 sec. user=mdettweiler [2016-01-31 04:59:56] 941*2^1420994-1 is not prime. Res64: E45FE3BFB87C69CA Time : 0.0 sec. user=mdettweiler [2016-01-31 04:59:56] 781*2^1420995-1 is not prime. Res64: 8E545F485F7C1111 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:04:21] 789*2^1420995-1 is not prime. Res64: 039C13D0571E4086 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:04:22] 919*2^1420995-1 is not prime. Res64: BC8BB2001C64E2F6 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:10:54] 623*2^1420996-1 is not prime. Res64: 5413E9DB0977BF2A Time : 0.0 sec. user=mdettweiler [2016-01-31 05:10:55] 629*2^1420996-1 is not prime. Res64: FC096AB7F34B791C Time : 0.0 sec. user=mdettweiler [2016-01-31 05:18:33] 647*2^1420996-1 is not prime. Res64: 948BBAA58832EE1A Time : 0.0 sec. user=mdettweiler [2016-01-31 05:18:34] 675*2^1420996-1 is not prime. Res64: 80B53C4E44CD7C45 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:23:27] 707*2^1420996-1 is not prime. Res64: 98AAC085434F620F Time : 0.0 sec. user=mdettweiler [2016-01-31 05:23:27] 773*2^1420996-1 is not prime. Res64: 020383CD449BC669 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:30:04] 803*2^1420996-1 is not prime. Res64: EA742400AC1CB800 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:30:05] 965*2^1420996-1 is not prime. Res64: F651B50403A36D5B Time : 0.0 sec. user=mdettweiler [2016-01-31 05:32:09] 949*2^1420991-1 is not prime. Res64: 83BF7AD2691FD5BD Time : 0.0 sec. user=mdettweiler [2016-01-31 05:37:25] 989*2^1420996-1 is not prime. Res64: DE97B71AD82A700B Time : 0.0 sec. user=mdettweiler [2016-01-31 05:37:25] 631*2^1420997-1 is not prime. Res64: 73C6C4C0D71D50B4 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:42:15] 669*2^1420997-1 is not prime. Res64: 2131EFF867DBEDA3 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:42:15] 691*2^1420997-1 is not prime. Res64: 3D79963C67543B10 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:48:55] 747*2^1420997-1 is not prime. Res64: 729906C193E457C3 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:48:56] 777*2^1420997-1 is not prime. Res64: 280BCE84EE9F24C8 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:50:25] 781*2^1420997-1 is not prime. Res64: 57F562CCCCB8D7F9 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:50:25] 949*2^1420997-1 is not prime. Res64: 03D6C51C528A6FF3 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:55:50] 985*2^1420997-1 is not prime. Res64: FCD022DF774009A5 Time : 0.0 sec. user=mdettweiler [2016-01-31 05:55:51] 761*2^1420998-1 is not prime. Res64: 231D2A1A737A43D9 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:00:56] 777*2^1420998-1 is not prime. Res64: DBA0115B2AA431DF Time : 0.0 sec. user=mdettweiler [2016-01-31 06:00:57] 815*2^1420998-1 is not prime. Res64: 3C79A8865FA45016 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:07:35] 915*2^1420998-1 is not prime. Res64: CA88224FB7A6469A Time : 0.0 sec. user=mdettweiler [2016-01-31 06:07:36] 971*2^1420998-1 is not prime. Res64: 1E602E73E25168F4 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:08:33] 639*2^1420999-1 is not prime. Res64: B4F38A1B07BDEE66 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:08:34] 663*2^1420999-1 is not prime. Res64: A12C74DBF6E2E3E3 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:14:10] 679*2^1420999-1 is not prime. Res64: 6AC9EF068249ACC2 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:14:10] 735*2^1420999-1 is not prime. Res64: 0DFE166F289568B3 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:19:41] 763*2^1420999-1 is not prime. Res64: 8594F84774E67D73 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:19:41] 931*2^1420999-1 is not prime. Res64: E70EF2AE98068377 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:26:31] 943*2^1420999-1 is not prime. Res64: D490C2BBA915764B Time : 0.0 sec. user=mdettweiler [2016-01-31 06:26:31] 961*2^1420999-1 is not prime. Res64: EDA0A73E39438AEE Time : 0.0 sec. user=mdettweiler [2016-01-31 06:27:01] 615*2^1421000-1 is not prime. Res64: 5E97C7434CFF303D Time : 0.0 sec. user=mdettweiler [2016-01-31 06:27:01] 665*2^1421000-1 is not prime. Res64: 3C9E00E02D7DF6FC Time : 0.0 sec. user=mdettweiler [2016-01-31 06:32:38] 669*2^1421000-1 is not prime. Res64: 57763D779D12F0F9 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:32:38] 675*2^1421000-1 is not prime. Res64: E3D0BCB38F4F9F0C Time : 0.0 sec. user=mdettweiler [2016-01-31 06:38:17] 923*2^1421000-1 is not prime. Res64: 6FE2597774F867B3 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:38:17] 727*2^1421001-1 is not prime. Res64: 9C6876A4498D3A69 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:44:55] 781*2^1421001-1 is not prime. Res64: B8DA9B614ECEDC73 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:44:56] 847*2^1421001-1 is not prime. Res64: B469E27997C929E8 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:45:07] 907*2^1421001-1 is not prime. Res64: 18918F9D9BDCC537 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:45:07] 969*2^1421001-1 is not prime. Res64: 8F826F8A05EAD09B Time : 0.0 sec. user=mdettweiler [2016-01-31 06:50:55] 653*2^1421002-1 is not prime. Res64: D43CFE3D0E8113E4 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:50:56] 695*2^1421002-1 is not prime. Res64: 1EE0C830299EF172 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:56:54] 717*2^1421002-1 is not prime. Res64: EDF665430DAF9996 Time : 0.0 sec. user=mdettweiler [2016-01-31 06:56:55] 765*2^1421002-1 is not prime. Res64: 8597EDC7FA854B33 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:03:20] 947*2^1421002-1 is not prime. Res64: D107C3DD44619BB7 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:03:22] 995*2^1421002-1 is not prime. Res64: 6F5F97503597F20B Time : 0.0 sec. user=mdettweiler [2016-01-31 07:03:30] 777*2^1421002-1 is not prime. Res64: E318AD502FC52ADC Time : 0.0 sec. user=mdettweiler [2016-01-31 07:03:32] 911*2^1421002-1 is not prime. Res64: 25EC8FC73ED924EF Time : 0.0 sec. user=mdettweiler [2016-01-31 07:09:21] 775*2^1421003-1 is not prime. Res64: 7E000C6F184FD7DE Time : 0.0 sec. user=mdettweiler [2016-01-31 07:09:22] 811*2^1421003-1 is not prime. Res64: 7443043549E8B8C5 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:15:33] 859*2^1421003-1 is not prime. Res64: 1E7F84A87302EAD4 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:15:34] 963*2^1421003-1 is not prime. Res64: D5E86DB77B34F3FE Time : 0.0 sec. user=mdettweiler [2016-01-31 07:21:49] 905*2^1421004-1 is not prime. Res64: 4AA657B348CB2F4C Time : 0.0 sec. user=mdettweiler [2016-01-31 07:21:49] 679*2^1421005-1 is not prime. Res64: FB92F7B6509A4C1A Time : 0.0 sec. user=mdettweiler [2016-01-31 07:22:23] 837*2^1421004-1 is not prime. Res64: 29CD309E417F7EF1 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:22:23] 887*2^1421004-1 is not prime. Res64: 0DDE56EF63EC92DC Time : 0.0 sec. user=mdettweiler [2016-01-31 07:27:42] 805*2^1421005-1 is not prime. Res64: FD8602FF6AC47AF6 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:27:43] 859*2^1421005-1 is not prime. Res64: C143C2492C40B44C Time : 0.0 sec. user=mdettweiler [2016-01-31 07:34:11] 915*2^1421005-1 is not prime. Res64: 8A8EC76CD39ACF5A Time : 0.0 sec. user=mdettweiler [2016-01-31 07:34:11] 927*2^1421005-1 is not prime. Res64: 6BAF2C7F9691A395 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:40:03] 867*2^1421006-1 is not prime. Res64: B6BC5DDDC88184B9 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:40:03] 917*2^1421006-1 is not prime. Res64: 5D06452AAF27EC03 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:40:44] 1001*2^1421006-1 is not prime. Res64: 72DB82F7BC65C5B3 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:40:45] 703*2^1421007-1 is not prime. Res64: 30C3A220F825A311 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:46:00] 735*2^1421007-1 is not prime. Res64: 370644B05E8FC06D Time : 0.0 sec. user=mdettweiler [2016-01-31 07:46:00] 871*2^1421007-1 is not prime. Res64: C1B4F88693F2B6EC Time : 0.0 sec. user=mdettweiler [2016-01-31 07:52:48] 919*2^1421007-1 is not prime. Res64: C770515B4FB84C3A Time : 0.0 sec. user=mdettweiler [2016-01-31 07:52:49] 975*2^1421007-1 is not prime. Res64: 32884C8457DEB454 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:58:13] 735*2^1421008-1 is not prime. Res64: 31E9B48E7B9AA5F2 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:58:13] 899*2^1421008-1 is not prime. Res64: 4BB0C2ACC4BF2AC4 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:59:21] 993*2^1421008-1 is not prime. Res64: A11E8973234C6451 Time : 0.0 sec. user=mdettweiler [2016-01-31 07:59:21] 679*2^1421009-1 is not prime. Res64: 9C7D5B85E97FE7FE Time : 0.0 sec. user=mdettweiler [2016-01-31 08:04:28] 769*2^1421009-1 is not prime. Res64: 8223C956130DDBED Time : 0.0 sec. user=mdettweiler [2016-01-31 08:04:29] 799*2^1421009-1 is not prime. Res64: BD13161F20F8E4BD Time : 0.0 sec. user=mdettweiler [2016-01-31 08:11:31] 889*2^1421009-1 is not prime. Res64: 5FE8984B7CD9AE78 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:11:32] 931*2^1421009-1 is not prime. Res64: 7374EDFBFDCA6CAE Time : 0.0 sec. user=mdettweiler [2016-01-31 08:16:29] 987*2^1421009-1 is not prime. Res64: E6AB2A0411D9F9B9 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:16:29] 627*2^1421010-1 is not prime. Res64: B643CCB7CF1A8E5D Time : 0.0 sec. user=mdettweiler [2016-01-31 08:17:58] 641*2^1421010-1 is not prime. Res64: AE6B9A345938CFE8 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:17:59] 681*2^1421010-1 is not prime. Res64: 7CCFDF6653B1E494 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:22:54] 797*2^1421010-1 is not prime. Res64: 15BD6B5AD37CFD7B Time : 0.0 sec. user=mdettweiler [2016-01-31 08:22:55] 609*2^1421011-1 is not prime. Res64: 87854453337868B3 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:30:23] 619*2^1421011-1 is not prime. Res64: B90CCD7167C2C092 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:30:24] 673*2^1421011-1 is not prime. Res64: 728A5A4044CCD172 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:34:41] 693*2^1421011-1 is not prime. Res64: E7BF948074E6E385 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:34:41] 709*2^1421011-1 is not prime. Res64: 46377091A185D6C8 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:36:37] 723*2^1421011-1 is not prime. Res64: 183C925DA7E8A9DD Time : 0.0 sec. user=mdettweiler [2016-01-31 08:36:37] 741*2^1421011-1 is not prime. Res64: 04860FDA4177AE98 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:41:35] 813*2^1421011-1 is not prime. Res64: D13B7FB8467EE2CB Time : 0.0 sec. user=mdettweiler [2016-01-31 08:41:35] 835*2^1421011-1 is not prime. Res64: 2091573897AE209D Time : 0.0 sec. user=mdettweiler [2016-01-31 08:49:03] 859*2^1421011-1 is not prime. Res64: EA5E99F792AAA744 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:49:04] 873*2^1421011-1 is not prime. Res64: 5931EDCF054B52A7 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:53:01] 925*2^1421011-1 is not prime. Res64: B9AC382FD1A542BD Time : 0.0 sec. user=mdettweiler [2016-01-31 08:53:01] 961*2^1421011-1 is not prime. Res64: B71076F6D15C26F0 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:55:17] 603*2^1421012-1 is not prime. Res64: 2B75045962E20FC2 Time : 0.0 sec. user=mdettweiler [2016-01-31 08:55:17] 923*2^1421012-1 is not prime. Res64: FC3460977FA1C913 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:00:00] 983*2^1421012-1 is not prime. Res64: 659A92E8EB5C0847 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:00:00] 987*2^1421012-1 is not prime. Res64: B443981C00186717 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:07:39] 621*2^1421013-1 is not prime. Res64: 4DF9897291DE8FD6 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:07:39] 649*2^1421013-1 is not prime. Res64: 83CE5FBB13674BDF Time : 0.0 sec. user=mdettweiler [2016-01-31 09:11:23] 681*2^1421013-1 is not prime. Res64: AD3660AAAA7510F3 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:11:23] 811*2^1421013-1 is not prime. Res64: E82D88A8CE3C62F6 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:14:15] 835*2^1421013-1 is not prime. Res64: D4627BC1A6BF7EA2 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:14:16] 871*2^1421013-1 is not prime. Res64: 58DC634E9AB03F5D Time : 0.0 sec. user=mdettweiler [2016-01-31 09:18:20] 877*2^1421013-1 is not prime. Res64: A1670B1855B00731 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:18:21] 621*2^1421014-1 is not prime. Res64: 01EAE6A8FB7F219C Time : 0.0 sec. user=mdettweiler [2016-01-31 09:26:15] 651*2^1421014-1 is not prime. Res64: 3DB2160012F10C4D Time : 0.0 sec. user=mdettweiler [2016-01-31 09:26:15] 663*2^1421014-1 is not prime. Res64: E066CCEC13C080BE Time : 0.0 sec. user=mdettweiler [2016-01-31 09:29:33] 723*2^1421014-1 is not prime. Res64: 83C2D3CE00A79617 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:29:33] 825*2^1421014-1 is not prime. Res64: 7DF8B8343F3925E0 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:32:49] 827*2^1421014-1 is not prime. Res64: C808FF862497CF52 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:32:49] 915*2^1421014-1 is not prime. Res64: 9C7DDE5F7E2933FA Time : 0.0 sec. user=mdettweiler [2016-01-31 09:36:49] 917*2^1421014-1 is not prime. Res64: 9CC2C50E49F1886D Time : 0.0 sec. user=mdettweiler [2016-01-31 09:36:49] 987*2^1421014-1 is not prime. Res64: 31337C1FD0C8EE7C Time : 0.0 sec. user=mdettweiler [2016-01-31 09:44:46] 651*2^1421015-1 is not prime. Res64: 4628CBD6A61DB1AC Time : 0.0 sec. user=mdettweiler [2016-01-31 09:44:47] 831*2^1421015-1 is not prime. Res64: 5E19069B079E5D31 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:47:47] 969*2^1421015-1 is not prime. Res64: 317CCA7BE891EB43 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:47:48] 973*2^1421015-1 is not prime. Res64: 1E747862F9814CCC Time : 0.0 sec. user=mdettweiler [2016-01-31 09:51:37] 633*2^1421016-1 is not prime. Res64: 895288DDBD962E32 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:51:38] 719*2^1421016-1 is not prime. Res64: D928A3BC0D4DFA66 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:55:05] 737*2^1421016-1 is not prime. Res64: 651B28308CBEE2D6 Time : 0.0 sec. user=mdettweiler [2016-01-31 09:55:06] 789*2^1421016-1 is not prime. Res64: FA9FC229525E5521 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:03:39] 857*2^1421016-1 is not prime. Res64: F0C54BA2C40346CA Time : 0.0 sec. user=mdettweiler [2016-01-31 10:03:41] 867*2^1421016-1 is not prime. Res64: A5EF8B45B392E856 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:06:00] 607*2^1421017-1 is not prime. Res64: D8D8DFB1A7AD493D Time : 0.0 sec. user=mdettweiler [2016-01-31 10:06:01] 625*2^1421017-1 is not prime. Res64: C7CB5B90CB20F348 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:10:18] 645*2^1421017-1 is not prime. Res64: 3BBEADA4370A5567 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:10:19] 675*2^1421017-1 is not prime. Res64: 6D15C885B2D1701D Time : 0.0 sec. user=mdettweiler [2016-01-31 10:13:30] 687*2^1421017-1 is not prime. Res64: 638D55559CE4A8B0 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:13:31] 691*2^1421017-1 is not prime. Res64: BD41A61A41FD830C Time : 0.0 sec. user=mdettweiler [2016-01-31 10:22:32] 771*2^1421017-1 is not prime. Res64: 283A7B16BFE96E2B Time : 0.0 sec. user=mdettweiler [2016-01-31 10:22:33] 945*2^1421017-1 is not prime. Res64: 3917448358B4655A Time : 0.0 sec. user=mdettweiler [2016-01-31 10:24:16] 657*2^1421018-1 is not prime. Res64: 43D7420E02ACCBC6 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:24:17] 801*2^1421018-1 is not prime. Res64: CE29BF2899EEE7A6 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:28:55] 875*2^1421018-1 is not prime. Res64: A20A752A915D79A7 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:28:55] 935*2^1421018-1 is not prime. Res64: 7FFCF52CDE0DE501 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:31:56] 953*2^1421018-1 is not prime. Res64: F1E23C6F77A438FF Time : 0.0 sec. user=mdettweiler [2016-01-31 10:31:56] 977*2^1421018-1 is not prime. Res64: 15019724A97099ED Time : 0.0 sec. user=mdettweiler [2016-01-31 10:41:15] 613*2^1421019-1 is not prime. Res64: F629EF6E92519ECF Time : 0.0 sec. user=mdettweiler [2016-01-31 10:41:16] 669*2^1421019-1 is not prime. Res64: AAF88A7B39E8622C Time : 0.0 sec. user=mdettweiler [2016-01-31 10:42:32] 735*2^1421019-1 is not prime. Res64: 155EF513C53344DE Time : 0.0 sec. user=mdettweiler [2016-01-31 10:42:32] 895*2^1421019-1 is not prime. Res64: 915CB35AFFCC3C9E Time : 0.0 sec. user=mdettweiler [2016-01-31 10:47:18] 991*2^1421019-1 is not prime. Res64: DCCCB8A13FE145DF Time : 0.0 sec. user=mdettweiler [2016-01-31 10:47:19] 603*2^1421020-1 is not prime. Res64: E166E23D099C3A9C Time : 0.0 sec. user=mdettweiler [2016-01-31 10:50:19] 695*2^1421020-1 is not prime. Res64: 82F5E68A2493F5DC Time : 0.0 sec. user=mdettweiler [2016-01-31 10:50:19] 755*2^1421020-1 is not prime. Res64: A68067E1E5CA8933 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:59:55] 785*2^1421020-1 is not prime. Res64: 0C65C10D59BBAC95 Time : 0.0 sec. user=mdettweiler [2016-01-31 10:59:56] 887*2^1421020-1 is not prime. Res64: 967276CB4CE598FF Time : 0.0 sec. user=mdettweiler [2016-01-31 11:00:53] 607*2^1421021-1 is not prime. Res64: 72677250A4A61C87 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:00:54] 615*2^1421021-1 is not prime. Res64: ED66A255D94628FE Time : 0.0 sec. user=mdettweiler [2016-01-31 11:05:51] 745*2^1421021-1 is not prime. Res64: A5C6D9ABDBC48EB0 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:05:52] 777*2^1421021-1 is not prime. Res64: E146906169479747 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:08:47] 799*2^1421021-1 is not prime. Res64: DB34ED4EC0D4F78B Time : 0.0 sec. user=mdettweiler [2016-01-31 11:08:47] 801*2^1421021-1 is not prime. Res64: 2A648260E27D480C Time : 0.0 sec. user=mdettweiler [2016-01-31 11:18:40] 861*2^1421021-1 is not prime. Res64: E7FE01EEDF3B88D3 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:18:41] 885*2^1421021-1 is not prime. Res64: 993E2C0ECEA93177 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:19:15] 889*2^1421021-1 is not prime. Res64: A4721FAD52772F68 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:19:15] 981*2^1421021-1 is not prime. Res64: B7C8E13D783476B1 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:24:37] 651*2^1421022-1 is not prime. Res64: EC51C7079254B5E7 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:24:38] 683*2^1421022-1 is not prime. Res64: 1F86FFD7086B7250 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:27:27] 713*2^1421022-1 is not prime. Res64: D2E374B7C9F92A85 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:27:27] 797*2^1421022-1 is not prime. Res64: 5045CC98C26B5ED7 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:37:18] 815*2^1421022-1 is not prime. Res64: B66485660C0C1C84 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:37:19] 833*2^1421022-1 is not prime. Res64: 801D649AC1C7C53B Time : 0.0 sec. user=mdettweiler [2016-01-31 11:37:32] 873*2^1421022-1 is not prime. Res64: 61882B0292A64D5F Time : 0.0 sec. user=mdettweiler [2016-01-31 11:37:32] 615*2^1421023-1 is not prime. Res64: 25800F3240416719 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:43:09] 649*2^1421023-1 is not prime. Res64: 031BC73ABC260FEC Time : 0.0 sec. user=mdettweiler [2016-01-31 11:43:10] 679*2^1421023-1 is not prime. Res64: 6610E3DFC8E3D445 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:45:53] 775*2^1421023-1 is not prime. Res64: EC4B93F83075F8E4 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:45:53] 891*2^1421023-1 is not prime. Res64: 4FDAB00B2948DEBF Time : 0.0 sec. user=mdettweiler [2016-01-31 11:55:42] 689*2^1421024-1 is not prime. Res64: C089806AB8B74468 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:55:42] 767*2^1421024-1 is not prime. Res64: 1AF9A6D89FB8BF90 Time : 0.0 sec. user=mdettweiler [2016-01-31 11:56:01] 943*2^1421023-1 is not prime. Res64: F25AAB3E75955DAE Time : 0.0 sec. user=mdettweiler [2016-01-31 11:56:02] 961*2^1421023-1 is not prime. Res64: D2B9BD36DFE873E9 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:02:05] 789*2^1421024-1 is not prime. Res64: 14BB61675CAFB147 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:02:06] 945*2^1421024-1 is not prime. Res64: AD31884D422D3AB7 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:04:17] 625*2^1421025-1 is not prime. Res64: CD010E2A51E7AC89 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:04:18] 639*2^1421025-1 is not prime. Res64: F7036DEB2B00326A Time : 0.0 sec. user=mdettweiler [2016-01-31 12:13:59] 721*2^1421025-1 is not prime. Res64: 11E754F11B520CAE Time : 0.0 sec. user=mdettweiler [2016-01-31 12:13:59] 777*2^1421026-1 is not prime. Res64: A8E3EACD92D616E7 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:14:34] 785*2^1421026-1 is not prime. Res64: 72906351AC982F79 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:14:35] 891*2^1421026-1 is not prime. Res64: 1EBF7836DD6BBB91 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:20:52] 911*2^1421026-1 is not prime. Res64: BF78B899F3A9C536 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:20:53] 945*2^1421026-1 is not prime. Res64: 90D79C734C0E5AC1 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:22:40] 615*2^1421027-1 is not prime. Res64: FEC8621B0B17E905 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:22:41] 633*2^1421027-1 is not prime. Res64: 08C579AF591FFF9D Time : 0.0 sec. user=mdettweiler [2016-01-31 12:32:20] 673*2^1421027-1 is not prime. Res64: DA8FCD1CD1F938CE Time : 0.0 sec. user=mdettweiler [2016-01-31 12:32:21] 699*2^1421027-1 is not prime. Res64: DA8ACCE5214CF2F5 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:33:17] 715*2^1421027-1 is not prime. Res64: CEB77B0654E65CC2 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:33:17] 903*2^1421027-1 is not prime. Res64: 3C5386BD04D9E0A2 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:39:20] 949*2^1421027-1 is not prime. Res64: 11584CF6E86DE60C Time : 0.0 sec. user=mdettweiler [2016-01-31 12:39:21] 705*2^1421028-1 is not prime. Res64: 93D7A419ACB984DB Time : 0.0 sec. user=mdettweiler [2016-01-31 12:41:16] 789*2^1421028-1 is not prime. Res64: FB7629C28F8A3EA1 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:41:17] 819*2^1421028-1 is not prime. Res64: 7BF0E9DC261C0AC0 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:50:41] 845*2^1421028-1 is not prime. Res64: B67D38291A2F5A51 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:50:42] 867*2^1421028-1 is not prime. Res64: 92954D07471ABE0A Time : 0.0 sec. user=mdettweiler [2016-01-31 12:52:06] 893*2^1421028-1 is not prime. Res64: EA392E185EFB3777 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:52:07] 945*2^1421028-1 is not prime. Res64: 05F98E051A45BDB3 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:57:55] 969*2^1421028-1 is not prime. Res64: 4ECF7599D5409E36 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:57:55] 765*2^1421029-1 is not prime. Res64: FA62D0CD96C74D2F Time : 0.0 sec. user=mdettweiler [2016-01-31 12:59:38] 771*2^1421029-1 is not prime. Res64: 945AB799207FE442 Time : 0.0 sec. user=mdettweiler [2016-01-31 12:59:38] 775*2^1421029-1 is not prime. Res64: AEAF1128B341B85F Time : 0.0 sec. user=mdettweiler [2016-01-31 13:08:52] 819*2^1421029-1 is not prime. Res64: 5193A8F260B65A9C Time : 0.0 sec. user=mdettweiler [2016-01-31 13:08:53] 831*2^1421029-1 is not prime. Res64: 9114C1A6C7EE307E Time : 0.0 sec. user=mdettweiler [2016-01-31 13:10:50] 861*2^1421029-1 is not prime. Res64: 033FED9E55559A17 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:10:50] 931*2^1421029-1 is not prime. Res64: 0000231C5758345C Time : 0.0 sec. user=mdettweiler [2016-01-31 13:16:36] 955*2^1421029-1 is not prime. Res64: BB77390A53BB254C Time : 0.0 sec. user=mdettweiler [2016-01-31 13:16:36] 985*2^1421029-1 is not prime. Res64: E23E10966FE8EE09 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:18:12] 603*2^1421030-1 is not prime. Res64: C869711C2314CD29 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:18:12] 717*2^1421030-1 is not prime. Res64: 2FE65D9CFC77BCF0 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:27:17] 831*2^1421030-1 is not prime. Res64: 87A3F6DA149DCCDB Time : 0.0 sec. user=mdettweiler [2016-01-31 13:27:18] 843*2^1421030-1 is not prime. Res64: 8D18C0E2EE3F8BA5 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:29:29] 857*2^1421030-1 is not prime. Res64: 267C55638A5D487E Time : 0.0 sec. user=mdettweiler [2016-01-31 13:29:30] 945*2^1421030-1 is not prime. Res64: 6AE4F06CB65A6B83 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:35:17] 965*2^1421030-1 is not prime. Res64: 877BE47A6987ED49 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:35:18] 661*2^1421031-1 is not prime. Res64: 2471D976A30B4C35 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:36:37] 669*2^1421031-1 is not prime. Res64: 38F6456196B7961F Time : 0.0 sec. user=mdettweiler [2016-01-31 13:36:37] 741*2^1421031-1 is not prime. Res64: 142BBC2FDD0EA899 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:45:33] 859*2^1421031-1 is not prime. Res64: 674252F4EC4DE70E Time : 0.0 sec. user=mdettweiler [2016-01-31 13:45:33] 861*2^1421031-1 is not prime. Res64: 855754509F72AD14 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:48:14] 945*2^1421031-1 is not prime. Res64: 2E5BDF39D8514F31 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:48:15] 605*2^1421032-1 is not prime. Res64: DC8599CC01890EC6 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:54:03] 657*2^1421032-1 is not prime. Res64: 51F9AA50D1CB453B Time : 0.0 sec. user=mdettweiler [2016-01-31 13:54:03] 743*2^1421032-1 is not prime. Res64: E4351A41D1FA5AFA Time : 0.0 sec. user=mdettweiler [2016-01-31 13:55:07] 807*2^1421032-1 is not prime. Res64: 43005E8E63A98705 Time : 0.0 sec. user=mdettweiler [2016-01-31 13:55:08] 965*2^1421032-1 is not prime. Res64: 598C3FE3BFCDE555 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:03:42] 657*2^1421033-1 is not prime. Res64: 77FE0F86C90B83B9 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:03:43] 691*2^1421033-1 is not prime. Res64: 16AE77AE31B83AC6 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:06:54] 741*2^1421033-1 is not prime. Res64: 3024F371867D29FA Time : 0.0 sec. user=mdettweiler [2016-01-31 14:06:55] 879*2^1421033-1 is not prime. Res64: A0FD213C4783B6EA Time : 0.0 sec. user=mdettweiler [2016-01-31 14:12:46] 951*2^1421033-1 is not prime. Res64: F34D826A8FBC57FA Time : 0.0 sec. user=mdettweiler [2016-01-31 14:12:47] 767*2^1421034-1 is not prime. Res64: 019FE31C7E6337DF Time : 0.0 sec. user=mdettweiler [2016-01-31 14:13:46] 873*2^1421034-1 is not prime. Res64: A6E03CCD51A8990F Time : 0.0 sec. user=mdettweiler [2016-01-31 14:13:47] 903*2^1421034-1 is not prime. Res64: 408258007C448781 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:22:04] 625*2^1421035-1 is not prime. Res64: D835B987CEA75282 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:22:04] 639*2^1421035-1 is not prime. Res64: 2BB6245BFD428419 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:25:41] 675*2^1421035-1 is not prime. Res64: 675FDDC194E39930 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:25:42] 871*2^1421035-1 is not prime. Res64: 114D02C13019EF82 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:31:58] 961*2^1421035-1 is not prime. Res64: 7093FDD218DE7BBB Time : 0.0 sec. user=mdettweiler [2016-01-31 14:31:58] 985*2^1421035-1 is not prime. Res64: 59A79DD95548FCB9 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:32:29] 617*2^1421036-1 is not prime. Res64: 72278C8CC6FF7AFB Time : 0.0 sec. user=mdettweiler [2016-01-31 14:32:30] 707*2^1421036-1 is not prime. Res64: 821836F9C6F1A2DE Time : 0.0 sec. user=mdettweiler [2016-01-31 14:47:46] 813*2^1421036-1 is not prime. Res64: 971E3695B08BA260 Time : 0.0 sec. user=mdettweiler [2016-01-31 14:47:47] 899*2^1421036-1 is not prime. Res64: F52BF42B5E906DDF Time : 0.0 sec. user=mdettweiler [2016-01-31 14:54:45] 945*2^1421036-1 is not prime. Res64: E926817BEFEA369A Time : 0.0 sec. user=mdettweiler [2016-01-31 14:54:45] 699*2^1421037-1 is not prime. Res64: EC00E505B393F62C Time : 0.0 sec. user=mdettweiler [2016-01-31 15:02:38] 825*2^1421037-1 is not prime. Res64: 5AA9DF341F0CCEA4 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:02:39] 829*2^1421037-1 is not prime. Res64: 7275F432CBF261A6 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:05:17] 859*2^1421037-1 is not prime. Res64: A8C787E0D702B264 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:05:19] 937*2^1421037-1 is not prime. Res64: 245608D5A3056083 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:17:36] 979*2^1421037-1 is not prime. Res64: E7DC5D0C8EA5D06C Time : 0.0 sec. user=mdettweiler [2016-01-31 15:17:36] 991*2^1421037-1 is not prime. Res64: CF9EEED329001707 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:22:02] 645*2^1421038-1 is not prime. Res64: 76316D5F8E827D0F Time : 0.0 sec. user=mdettweiler [2016-01-31 15:22:03] 671*2^1421038-1 is not prime. Res64: BEC6C0E95B69A8A5 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:27:43] 723*2^1421038-1 is not prime. Res64: A053E08129C9C4AE Time : 0.0 sec. user=mdettweiler [2016-01-31 15:27:43] 755*2^1421038-1 is not prime. Res64: 3252201C35E96233 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:29:21] 777*2^1421038-1 is not prime. Res64: BCF4D81A1F0FB74E Time : 0.0 sec. user=mdettweiler [2016-01-31 15:29:21] 815*2^1421038-1 is not prime. Res64: 4C76A5F5A94ECB35 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:41:15] 855*2^1421038-1 is not prime. Res64: 3F3EE7F42BE57C52 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:41:16] 897*2^1421038-1 is not prime. Res64: BA4F30366A6C8B00 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:46:00] 995*2^1421038-1 is not prime. Res64: E70AF996568B4000 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:46:01] 621*2^1421039-1 is not prime. Res64: 868755C26CAF892B Time : 0.0 sec. user=mdettweiler [2016-01-31 15:50:41] 645*2^1421039-1 is not prime. Res64: 44E1E38493346331 Time : 0.0 sec. user=mdettweiler [2016-01-31 15:50:41] 789*2^1421039-1 is not prime. Res64: D95616992ECC478B Time : 0.0 sec. user=mdettweiler [2016-01-31 15:51:40] 883*2^1421039-1 is not prime. Res64: CFCAF1BFC930222A Time : 0.0 sec. user=mdettweiler [2016-01-31 15:51:41] 985*2^1421039-1 is not prime. Res64: F5CF74DBF8EAA8EA Time : 0.0 sec. user=mdettweiler [2016-01-31 16:04:30] 633*2^1421040-1 is not prime. Res64: 8E12B2E085C201D9 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:04:32] 669*2^1421040-1 is not prime. Res64: C0D917AD2A73CC80 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:09:33] 873*2^1421040-1 is not prime. Res64: 4ADD019B8583D19A Time : 0.0 sec. user=mdettweiler [2016-01-31 16:09:34] 959*2^1421040-1 is not prime. Res64: 30981E48C8BC20B4 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:13:57] 691*2^1421041-1 is not prime. Res64: 01B91DC3D30D884D Time : 0.0 sec. user=mdettweiler [2016-01-31 16:13:58] 775*2^1421041-1 is not prime. Res64: C252E1DC9DF1034A Time : 0.0 sec. user=mdettweiler [2016-01-31 16:14:33] 847*2^1421041-1 is not prime. Res64: 3A8A685893C11096 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:14:34] 871*2^1421041-1 is not prime. Res64: 92A3A619F5361BF6 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:23:48] 951*2^1421041-1 is not prime. Res64: 80912860898062AB Time : 0.0 sec. user=mdettweiler [2016-01-31 16:23:49] 979*2^1421041-1 is not prime. Res64: C5C00804B3D2761C Time : 0.0 sec. user=mdettweiler [2016-01-31 16:29:15] 645*2^1421042-1 is not prime. Res64: A217D5FEA63D84CB Time : 0.0 sec. user=mdettweiler [2016-01-31 16:29:16] 741*2^1421042-1 is not prime. Res64: B69E00CA2434F6C5 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:33:49] 815*2^1421042-1 is not prime. Res64: B2A9FDCC688DED63 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:33:49] 875*2^1421042-1 is not prime. Res64: 70259176A0CD0283 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:33:57] 941*2^1421042-1 is not prime. Res64: AD7BA3642DFF0170 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:33:57] 977*2^1421042-1 is not prime. Res64: 3DA7185CA0835480 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:43:34] 987*2^1421042-1 is not prime. Res64: 1E4F82466865E3EB Time : 0.0 sec. user=mdettweiler [2016-01-31 16:43:34] 685*2^1421043-1 is not prime. Res64: AA69B2A0847F4512 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:49:25] 705*2^1421043-1 is not prime. Res64: 0D5609828B279B64 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:49:25] 709*2^1421043-1 is not prime. Res64: CE983FB70ECFCE4E Time : 0.0 sec. user=mdettweiler [2016-01-31 16:53:48] 823*2^1421043-1 is not prime. Res64: 4A3E7380524662BD Time : 0.0 sec. user=mdettweiler [2016-01-31 16:53:48] 835*2^1421043-1 is not prime. Res64: 1B9AC0E57B7E99A1 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:54:08] 783*2^1421043-1 is not prime. Res64: C132E7D5DAFDB6B3 Time : 0.0 sec. user=mdettweiler [2016-01-31 16:54:08] 795*2^1421043-1 is not prime. Res64: 89E6A1ECAB8DF648 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:02:58] 955*2^1421043-1 is not prime. Res64: FEBC8075A92C68EC Time : 0.0 sec. user=mdettweiler [2016-01-31 17:02:59] 969*2^1421043-1 is not prime. Res64: DCB48CA1C20FE7D1 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:09:04] 985*2^1421043-1 is not prime. Res64: 360BE06D0FE5603B Time : 0.0 sec. user=mdettweiler [2016-01-31 17:09:05] 617*2^1421044-1 is not prime. Res64: 5D72C78E11782BF1 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:13:17] 629*2^1421044-1 is not prime. Res64: 50BA0E6A2269DCDC Time : 0.0 sec. user=mdettweiler [2016-01-31 17:13:18] 635*2^1421044-1 is not prime. Res64: 670FBDC8E3A066D6 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:13:44] 675*2^1421044-1 is not prime. Res64: 7930D7DE818C96FB Time : 0.0 sec. user=mdettweiler [2016-01-31 17:13:44] 827*2^1421044-1 is not prime. Res64: 710B65F1C8F4F059 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:22:18] 857*2^1421044-1 is not prime. Res64: A10C2745FD73E345 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:22:18] 899*2^1421044-1 is not prime. Res64: E24E208DA570ABE5 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:28:35] 965*2^1421044-1 is not prime. Res64: 5A42FFF5CFB164B3 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:28:36] 645*2^1421045-1 is not prime. Res64: 5CC894D32A26778D Time : 0.0 sec. user=mdettweiler [2016-01-31 17:32:21] 657*2^1421045-1 is not prime. Res64: 3C3B03E562172B46 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:32:21] 727*2^1421045-1 is not prime. Res64: 64ED896D4EB28A48 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:33:03] 795*2^1421045-1 is not prime. Res64: 60CE2067EFCC5ED7 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:33:04] 915*2^1421045-1 is not prime. Res64: 63940B9FE8D2BECA Time : 0.0 sec. user=mdettweiler [2016-01-31 17:40:41] 641*2^1421046-1 is not prime. Res64: E4AD61568E703C55 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:40:41] 725*2^1421046-1 is not prime. Res64: 566D67DA56E7CAA0 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:47:22] 843*2^1421046-1 is not prime. Res64: 78A07AEFC3FEF143 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:47:23] 933*2^1421046-1 is not prime. Res64: 7B3DF42A58F490CC Time : 0.0 sec. user=mdettweiler [2016-01-31 17:50:47] 619*2^1421047-1 is not prime. Res64: 203BA4845E9A3C14 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:50:47] 649*2^1421047-1 is not prime. Res64: 6D7C0A0CA0D791C0 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:51:42] 735*2^1421047-1 is not prime. Res64: 9193D169E8B96596 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:51:43] 793*2^1421047-1 is not prime. Res64: F3459FE7BA6B367F Time : 0.0 sec. user=mdettweiler [2016-01-31 17:58:57] 623*2^1421048-1 is not prime. Res64: 9048985AD2B395D5 Time : 0.0 sec. user=mdettweiler [2016-01-31 17:58:57] 773*2^1421048-1 is not prime. Res64: A4B9316AB7B0C719 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:06:11] 837*2^1421048-1 is not prime. Res64: 06B97F4BDA452620 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:06:12] 855*2^1421048-1 is not prime. Res64: F27D7E84806159B5 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:09:06] 935*2^1421048-1 is not prime. Res64: EE08BB650CD6D22E Time : 0.0 sec. user=mdettweiler [2016-01-31 18:09:07] 963*2^1421048-1 is not prime. Res64: CEDE95C6E09B1B14 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:10:24] 667*2^1421049-1 is not prime. Res64: E3371DAE6FF3D07B Time : 0.0 sec. user=mdettweiler [2016-01-31 18:10:25] 865*2^1421049-1 is not prime. Res64: EF630A1480D53057 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:17:13] 949*2^1421049-1 is not prime. Res64: 9BEEF82714E2D2CF Time : 0.0 sec. user=mdettweiler [2016-01-31 18:17:14] 645*2^1421050-1 is not prime. Res64: 8C9939D67E73C661 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:25:00] 701*2^1421050-1 is not prime. Res64: AC1B6AAB7550AADA Time : 0.0 sec. user=mdettweiler [2016-01-31 18:25:00] 717*2^1421050-1 is not prime. Res64: CFB4319641FCD4A1 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:27:39] 723*2^1421050-1 is not prime. Res64: 639BD20467A0EF32 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:27:39] 741*2^1421050-1 is not prime. Res64: 9CC7ED700C994781 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:28:56] 827*2^1421050-1 is not prime. Res64: 4476F44B840DDFF4 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:28:57] 911*2^1421050-1 is not prime. Res64: 24814907C2F36124 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:35:37] 915*2^1421050-1 is not prime. Res64: 660A4FBCECA89283 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:35:38] 923*2^1421050-1 is not prime. Res64: C74920156A8B9A2C Time : 0.0 sec. user=mdettweiler [2016-01-31 18:43:37] 945*2^1421050-1 is not prime. Res64: 3D7121F11459302E Time : 0.0 sec. user=mdettweiler [2016-01-31 18:43:37] 995*2^1421050-1 is not prime. Res64: 2CF544CE8EE4F791 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:46:01] 1001*2^1421050-1 is not prime. Res64: AFED34A85C08FC96 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:46:01] 643*2^1421051-1 is not prime. Res64: 7F03E5F7346C58F9 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:47:33] 669*2^1421051-1 is not prime. Res64: 54794D883D8F2D29 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:47:34] 735*2^1421051-1 is not prime. Res64: 2B46A0553B93DA16 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:53:43] 859*2^1421051-1 is not prime. Res64: 4422F640538080C5 Time : 0.0 sec. user=mdettweiler [2016-01-31 18:53:43] 779*2^1421052-1 is not prime. Res64: C419B9D1B95B9235 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:02:19] 879*2^1421052-1 is not prime. Res64: C557C96A2A5FB2D0 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:02:20] 909*2^1421052-1 is not prime. Res64: 1ED69EF9BFCCFDBC Time : 0.0 sec. user=mdettweiler [2016-01-31 19:04:25] 933*2^1421052-1 is not prime. Res64: 7EE7EE4F7041BC4E Time : 0.0 sec. user=mdettweiler [2016-01-31 19:04:26] 721*2^1421053-1 is not prime. Res64: 1640AA44748D2F52 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:06:23] 769*2^1421053-1 is not prime. Res64: 5A338BF8FDE87284 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:06:23] 819*2^1421053-1 is not prime. Res64: 3EC6549FE748365B Time : 0.0 sec. user=mdettweiler [2016-01-31 19:12:05] 831*2^1421053-1 is not prime. Res64: 7B96D01BCF749BEF Time : 0.0 sec. user=mdettweiler [2016-01-31 19:12:05] 957*2^1421053-1 is not prime. Res64: B9CD1677722F92B9 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:21:07] 967*2^1421053-1 is not prime. Res64: 7A3801B6F8E2E6EB Time : 0.0 sec. user=mdettweiler [2016-01-31 19:21:08] 987*2^1421053-1 is not prime. Res64: DE49E878E585B02C Time : 0.0 sec. user=mdettweiler [2016-01-31 19:22:49] 627*2^1421054-1 is not prime. Res64: 2CB142B70400FE20 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:22:50] 641*2^1421054-1 is not prime. Res64: C0368ADD2455F42E Time : 0.0 sec. user=mdettweiler [2016-01-31 19:25:10] 753*2^1421054-1 is not prime. Res64: 294CB375236D2E71 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:25:10] 825*2^1421054-1 is not prime. Res64: D91BC40B731370CC Time : 0.0 sec. user=mdettweiler [2016-01-31 19:30:15] 831*2^1421054-1 is not prime. Res64: 34D7BBAC1AAF2ABB Time : 0.0 sec. user=mdettweiler [2016-01-31 19:30:15] 935*2^1421054-1 is not prime. Res64: C72CCFA11D5C3473 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:39:48] 609*2^1421055-1 is not prime. Res64: 1575F8BFDBFF0780 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:39:48] 693*2^1421055-1 is not prime. Res64: C0320E7F0B4A4AEC Time : 0.0 sec. user=mdettweiler [2016-01-31 19:41:15] 709*2^1421055-1 is not prime. Res64: 1C076A554AAFE2C2 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:41:15] 955*2^1421055-1 is not prime. Res64: F7E82B55A8992C76 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:43:31] 969*2^1421055-1 is not prime. Res64: 68DDC43E1994FF76 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:43:31] 609*2^1421056-1 is not prime. Res64: C31AE42DE55FBDF2 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:48:26] 707*2^1421056-1 is not prime. Res64: 1641A429DFF76464 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:48:26] 765*2^1421056-1 is not prime. Res64: 2634AE37AB63BF53 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:58:29] 855*2^1421056-1 is not prime. Res64: D119DDC884193035 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:58:29] 631*2^1421057-1 is not prime. Res64: 35C6070555E9086E Time : 0.0 sec. user=mdettweiler [2016-01-31 19:59:44] 747*2^1421057-1 is not prime. Res64: 364457BCDFF69213 Time : 0.0 sec. user=mdettweiler [2016-01-31 19:59:44] 871*2^1421057-1 is not prime. Res64: 7343A55278A70443 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:02:14] 889*2^1421057-1 is not prime. Res64: 63398269BFF40267 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:02:15] 909*2^1421057-1 is not prime. Res64: 032893499406DA99 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:06:34] 997*2^1421057-1 is not prime. Res64: F43A8DCEFDD5651E Time : 0.0 sec. user=mdettweiler [2016-01-31 20:06:35] 635*2^1421058-1 is not prime. Res64: 37E56C0B8A03615C Time : 0.0 sec. user=mdettweiler [2016-01-31 20:17:03] 773*2^1421058-1 is not prime. Res64: DE86004E9A5919B7 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:17:04] 791*2^1421058-1 is not prime. Res64: 106AFFF75E906CCB Time : 0.0 sec. user=mdettweiler [2016-01-31 20:18:06] 797*2^1421058-1 is not prime. Res64: 7F0D5EDEE83BFCA3 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:18:07] 801*2^1421058-1 is not prime. Res64: A23FB0499969FB1A Time : 0.0 sec. user=mdettweiler [2016-01-31 20:20:49] 803*2^1421058-1 is not prime. Res64: 2CDC2D5BD2C1C6A4 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:20:49] 837*2^1421058-1 is not prime. Res64: EAA3BEDDE381A2E3 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:24:47] 893*2^1421058-1 is not prime. Res64: 5522ECAA1C650104 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:24:47] 733*2^1421059-1 is not prime. Res64: 63BB171555B4C2D3 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:35:37] 769*2^1421059-1 is not prime. Res64: A8FC3013CC46D5BC Time : 0.0 sec. user=mdettweiler [2016-01-31 20:35:38] 633*2^1421060-1 is not prime. Res64: 538EF401E73FE9D2 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:36:31] 675*2^1421060-1 is not prime. Res64: 27328BA600C2B03E Time : 0.0 sec. user=mdettweiler [2016-01-31 20:36:31] 789*2^1421060-1 is not prime. Res64: F0B265BBF41242BA Time : 0.0 sec. user=mdettweiler [2016-01-31 20:39:27] 797*2^1421060-1 is not prime. Res64: 6773DB005328561B Time : 0.0 sec. user=mdettweiler [2016-01-31 20:39:28] 845*2^1421060-1 is not prime. Res64: 3E8AA698785E9B97 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:43:02] 899*2^1421060-1 is not prime. Res64: 52EAA07DF3BC21DD Time : 0.0 sec. user=mdettweiler [2016-01-31 20:43:02] 963*2^1421060-1 is not prime. Res64: 18659EF843CADF46 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:54:12] 601*2^1421061-1 is not prime. Res64: BE0F65027DE5C195 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:54:12] 661*2^1421061-1 is not prime. Res64: 0F9312FA188CC9E7 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:54:51] 817*2^1421061-1 is not prime. Res64: 6F5BF70320137C63 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:54:52] 861*2^1421061-1 is not prime. Res64: E6A8D6BDFD0A7A7E Time : 0.0 sec. user=mdettweiler [2016-01-31 20:57:58] 937*2^1421061-1 is not prime. Res64: 23D3663ED559BB82 Time : 0.0 sec. user=mdettweiler [2016-01-31 20:57:58] 969*2^1421061-1 is not prime. Res64: 3BD7E36DA040635E Time : 0.0 sec. user=mdettweiler [2016-01-31 21:01:09] 997*2^1421061-1 is not prime. Res64: 3F0DF7083B338D15 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:01:10] 999*2^1421061-1 is not prime. Res64: C7341DA74F46572D Time : 0.0 sec. user=mdettweiler [2016-01-31 21:13:23] 737*2^1421062-1 is not prime. Res64: 5F7FAA861F3F5846 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:13:24] 813*2^1421062-1 is not prime. Res64: 46CA90A37E2D0DDD Time : 0.0 sec. user=mdettweiler [2016-01-31 21:13:25] 651*2^1421062-1 is not prime. Res64: 24B3ED28B2EAAB3D Time : 0.0 sec. user=mdettweiler [2016-01-31 21:13:25] 671*2^1421062-1 is not prime. Res64: 4A240C2FDF6F5BDA Time : 0.0 sec. user=mdettweiler [2016-01-31 21:16:57] 885*2^1421062-1 is not prime. Res64: 52660CF31E0FDEC3 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:16:57] 619*2^1421063-1 is not prime. Res64: 36D32BC7D9009737 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:19:34] 649*2^1421063-1 is not prime. Res64: 738DC9A06827EF27 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:19:34] 693*2^1421063-1 is not prime. Res64: A594E6593756D778 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:31:49] 775*2^1421063-1 is not prime. Res64: 37BC4C6299A56DB0 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:31:50] 813*2^1421063-1 is not prime. Res64: F52494B3F2E433ED Time : 0.0 sec. user=mdettweiler [2016-01-31 21:31:55] 825*2^1421063-1 is not prime. Res64: ADAEBBBD9E65AB83 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:31:55] 963*2^1421063-1 is not prime. Res64: 153A0A2136BEFB1F Time : 0.0 sec. user=mdettweiler [2016-01-31 21:35:28] 991*2^1421063-1 is not prime. Res64: 8F9114A55DE8E810 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:35:29] 657*2^1421064-1 is not prime. Res64: 34979CCBD2FA562D Time : 0.0 sec. user=mdettweiler [2016-01-31 21:37:43] 695*2^1421064-1 is not prime. Res64: 7BF9D0FBC1A12670 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:37:43] 849*2^1421064-1 is not prime. Res64: DC68AF657CD74903 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:50:04] 607*2^1421065-1 is not prime. Res64: 35F810F451022434 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:50:04] 765*2^1421065-1 is not prime. Res64: 66BB1375C846556A Time : 0.0 sec. user=mdettweiler [2016-01-31 21:50:30] 909*2^1421065-1 is not prime. Res64: EF5C5028CA720124 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:50:31] 939*2^1421065-1 is not prime. Res64: C42A51FC79B2F58A Time : 0.0 sec. user=mdettweiler [2016-01-31 21:54:06] 957*2^1421065-1 is not prime. Res64: BF65556AEF5C4343 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:54:07] 999*2^1421065-1 is not prime. Res64: 81163301C717150C Time : 0.0 sec. user=mdettweiler [2016-01-31 21:55:55] 713*2^1421066-1 is not prime. Res64: A964CCE0EA7C85E4 Time : 0.0 sec. user=mdettweiler [2016-01-31 21:55:55] 773*2^1421066-1 is not prime. Res64: BCEB694F65E28C35 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:08:33] 843*2^1421066-1 is not prime. Res64: 259129F256E5D93B Time : 0.0 sec. user=mdettweiler [2016-01-31 22:08:33] 867*2^1421066-1 is not prime. Res64: 36D515128E79A2FF Time : 0.0 sec. user=mdettweiler [2016-01-31 22:09:08] 935*2^1421066-1 is not prime. Res64: 39641FCAE25D0498 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:09:08] 963*2^1421066-1 is not prime. Res64: 3795C460E9C7639A Time : 0.0 sec. user=mdettweiler [2016-01-31 22:12:47] 709*2^1421067-1 is not prime. Res64: C03B8ABD0C6A60D7 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:12:48] 835*2^1421067-1 is not prime. Res64: 174BEC9F6C17059C Time : 0.0 sec. user=mdettweiler [2016-01-31 22:14:14] 903*2^1421067-1 is not prime. Res64: 3BE15A8F7891FFFF Time : 0.0 sec. user=mdettweiler [2016-01-31 22:14:14] 961*2^1421067-1 is not prime. Res64: A167EEB3818D5ECC Time : 0.0 sec. user=mdettweiler [2016-01-31 22:27:35] 617*2^1421068-1 is not prime. Res64: A29AE9854AD19094 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:27:35] 843*2^1421068-1 is not prime. Res64: 4726EEF724A2AD0B Time : 0.0 sec. user=mdettweiler [2016-01-31 22:27:50] 869*2^1421068-1 is not prime. Res64: 63A0A791DF96DFDA Time : 0.0 sec. user=mdettweiler [2016-01-31 22:27:50] 897*2^1421068-1 is not prime. Res64: F8726F848CDF39C8 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:31:36] 959*2^1421068-1 is not prime. Res64: 824A0328782F7F5C Time : 0.0 sec. user=mdettweiler [2016-01-31 22:31:36] 987*2^1421068-1 is not prime. Res64: 99579481765CF58D Time : 0.0 sec. user=mdettweiler [2016-01-31 22:32:24] 631*2^1421069-1 is not prime. Res64: 10743BF44A25D373 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:32:25] 697*2^1421069-1 is not prime. Res64: 2D54C61D0C8BB9D7 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:45:53] 721*2^1421069-1 is not prime. Res64: CF0499B3D34E9CCF Time : 0.0 sec. user=mdettweiler [2016-01-31 22:45:53] 861*2^1421069-1 is not prime. Res64: 69A9E04CDE7C3002 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:46:31] 939*2^1421069-1 is not prime. Res64: EE48EE91A5E4361F Time : 0.0 sec. user=mdettweiler [2016-01-31 22:46:31] 957*2^1421069-1 is not prime. Res64: 8BB7A2FF1CE6BA9F Time : 0.0 sec. user=mdettweiler [2016-01-31 22:50:24] 725*2^1421070-1 is not prime. Res64: 5228C666AB5C2B2E Time : 0.0 sec. user=mdettweiler [2016-01-31 22:50:24] 791*2^1421070-1 is not prime. Res64: BB2DDE30DB68BEFF Time : 0.0 sec. user=mdettweiler [2016-01-31 22:50:50] 821*2^1421070-1 is not prime. Res64: ED5AC3940B5772C9 Time : 0.0 sec. user=mdettweiler [2016-01-31 22:50:50] 863*2^1421070-1 is not prime. Res64: BD1705929C74E36C Time : 0.0 sec. user=mdettweiler [2016-01-31 23:05:06] 951*2^1421070-1 is not prime. Res64: 3AD5C4726155D1BA Time : 0.0 sec. user=mdettweiler [2016-01-31 23:05:08] 663*2^1421071-1 is not prime. Res64: 30BFB4E702BB30B1 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:05:11] 715*2^1421071-1 is not prime. Res64: 5CD9A88EF553EA3C Time : 0.0 sec. user=mdettweiler [2016-01-31 23:05:12] 891*2^1421071-1 is not prime. Res64: 79776BD3879853E5 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:09:04] 999*2^1421071-1 is not prime. Res64: 254D6DAC697DC437 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:09:06] 603*2^1421072-1 is not prime. Res64: 01590442CA06548A Time : 0.0 sec. user=mdettweiler [2016-01-31 23:09:13] 931*2^1421071-1 is not prime. Res64: 61232BC555215E01 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:09:14] 979*2^1421071-1 is not prime. Res64: 0A774C3D0468AA3B Time : 0.0 sec. user=mdettweiler [2016-01-31 23:23:50] 683*2^1421072-1 is not prime. Res64: 06A62B496EFCF414 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:23:51] 687*2^1421072-1 is not prime. Res64: 58CDC65E5752684C Time : 0.0 sec. user=mdettweiler [2016-01-31 23:24:07] 755*2^1421072-1 is not prime. Res64: 3CA5582BA65F2965 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:24:07] 833*2^1421072-1 is not prime. Res64: C2F6A06431FBE56F Time : 0.0 sec. user=mdettweiler [2016-01-31 23:27:26] 609*2^1421073-1 is not prime. Res64: D4977852E12B8081 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:27:27] 625*2^1421073-1 is not prime. Res64: 28DB25EAB564FB73 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:28:00] 637*2^1421073-1 is not prime. Res64: 70DA9223366ADF47 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:28:01] 727*2^1421073-1 is not prime. Res64: 72F623CC8EC4D2E2 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:42:15] 735*2^1421073-1 is not prime. Res64: C7ACDAAC48B6F69F Time : 0.0 sec. user=mdettweiler [2016-01-31 23:42:16] 745*2^1421073-1 is not prime. Res64: 290810D0A76C254B Time : 0.0 sec. user=mdettweiler [2016-01-31 23:42:49] 999*2^1421073-1 is not prime. Res64: C9DC27FCCD723176 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:42:49] 633*2^1421074-1 is not prime. Res64: C2C54B40C7EDDAE8 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:45:43] 803*2^1421074-1 is not prime. Res64: 6F0E10C6EBC768B9 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:45:44] 957*2^1421074-1 is not prime. Res64: D613B88D6C568D42 Time : 0.0 sec. user=mdettweiler [2016-01-31 23:46:54] 1001*2^1421074-1 is not prime. Res64: 67CF5D02E6D382DA Time : 0.0 sec. user=mdettweiler [2016-01-31 23:46:55] 643*2^1421075-1 is not prime. Res64: 54623FD2B465B717 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:00:47] 645*2^1421075-1 is not prime. Res64: E826A6145F268E75 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:00:48] 973*2^1421075-1 is not prime. Res64: 0D558B28DFBF4BE1 Time : 0.0 sec.