user=mdettweiler [2016-03-27 00:08:16] 973*2^1424407-1 is not prime. Res64: 54A8966FC1AE0A55 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:08:17] 629*2^1424408-1 is not prime. Res64: FE7A5987301252F7 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:08:18] 665*2^1424408-1 is not prime. Res64: AFF653DBA5C78E7C Time : 0.0 sec. user=mdettweiler [2016-03-27 00:08:18] 677*2^1424408-1 is not prime. Res64: 3BD5A4F70080E2F6 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:08:19] 735*2^1424408-1 is not prime. Res64: 75F33F453431A113 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:13:26] 945*2^1424408-1 is not prime. Res64: FD839A97F517FA67 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:13:26] 963*2^1424408-1 is not prime. Res64: 63EFF2236FB076C1 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:13:27] 667*2^1424409-1 is not prime. Res64: 00CDD092260C06D8 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:13:27] 709*2^1424409-1 is not prime. Res64: D86A68238ABE168F Time : 0.0 sec. user=mdettweiler [2016-03-27 00:13:28] 741*2^1424409-1 is not prime. Res64: 1F450A72B5176523 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:16:04] 789*2^1424409-1 is not prime. Res64: 52A83BA7AADFCE41 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:16:05] 889*2^1424409-1 is not prime. Res64: E1BA7498951C23EA Time : 0.0 sec. user=mdettweiler [2016-03-27 00:16:05] 921*2^1424409-1 is not prime. Res64: 1AF1954A0CC7BE1B Time : 0.0 sec. user=mdettweiler [2016-03-27 00:16:06] 955*2^1424409-1 is not prime. Res64: EECA5F00788D5E2B Time : 0.0 sec. user=mdettweiler [2016-03-27 00:16:06] 657*2^1424410-1 is not prime. Res64: 2F922C5F6333D375 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:19:25] 669*2^1424412-1 is not prime. Res64: 53C12D89A7700FE0 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:21:14] 675*2^1424412-1 is not prime. Res64: 81B855F6F65CCB55 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:27:05] 857*2^1424410-1 is not prime. Res64: C935C339295FD23A Time : 0.0 sec. user=mdettweiler [2016-03-27 00:27:05] 861*2^1424410-1 is not prime. Res64: 57DA80BF278F5C13 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:27:06] 601*2^1424411-1 is not prime. Res64: 7B9DC8BF93C26372 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:27:06] 703*2^1424411-1 is not prime. Res64: 81A48E8CC3EBB2C9 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:27:07] 711*2^1424411-1 is not prime. Res64: AD9989554603DCA7 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:52:48] 745*2^1424411-1 is not prime. Res64: 0241E7D2CD659C2B Time : 0.0 sec. user=mdettweiler [2016-03-27 00:52:49] 753*2^1424411-1 is not prime. Res64: 9D3732FCD124FB51 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:52:49] 759*2^1424411-1 is not prime. Res64: 5EE379CEB17CD742 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:52:50] 859*2^1424411-1 is not prime. Res64: 992FC37BFCF5B6E7 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:52:50] 605*2^1424412-1 is not prime. Res64: 1917450767E07125 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:57:45] 689*2^1424412-1 is not prime. Res64: 26BB51588C511942 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:57:46] 699*2^1424412-1 is not prime. Res64: 1EC19E84D9FE1600 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:57:46] 717*2^1424412-1 is not prime. Res64: 55BF21E66CB29555 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:57:47] 753*2^1424412-1 is not prime. Res64: 4B4FE9C401DFA871 Time : 0.0 sec. user=mdettweiler [2016-03-27 00:57:47] 767*2^1424412-1 is not prime. Res64: D12E4DC452D698C4 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:00:23] 779*2^1424412-1 is not prime. Res64: DBB84765A5AE1DA1 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:00:24] 867*2^1424412-1 is not prime. Res64: 13F7059213E4BB85 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:00:25] 909*2^1424412-1 is not prime. Res64: C339AF6B2DD0A6E6 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:00:26] 929*2^1424412-1 is not prime. Res64: 3FDDED0B4CAFF25E Time : 0.0 sec. user=mdettweiler [2016-03-27 01:00:27] 945*2^1424412-1 is not prime. Res64: 50B4CF2F40379C1A Time : 0.0 sec. user=mdettweiler [2016-03-27 01:11:30] 983*2^1424412-1 is not prime. Res64: CAFFDA4EC0FC537F Time : 0.0 sec. user=mdettweiler [2016-03-27 01:11:31] 651*2^1424413-1 is not prime. Res64: B4FFDA48D1EF8AC2 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:11:32] 681*2^1424413-1 is not prime. Res64: BA6390A2B9C7889A Time : 0.0 sec. user=mdettweiler [2016-03-27 01:11:32] 691*2^1424413-1 is not prime. Res64: 0BA4D4A330E6ED7F Time : 0.0 sec. user=mdettweiler [2016-03-27 01:11:33] 835*2^1424413-1 is not prime. Res64: E03D22CB2880E9E6 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:12:18] 985*2^1424415-1 is not prime. Res64: C54FC907C41DF336 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:37:21] 951*2^1424413-1 is not prime. Res64: 60B5A57885035D10 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:37:21] 967*2^1424413-1 is not prime. Res64: 4AC39900DA8D01B9 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:37:21] 615*2^1424414-1 is not prime. Res64: C8EAA17E2EFF70DA Time : 0.0 sec. user=mdettweiler [2016-03-27 01:37:22] 641*2^1424414-1 is not prime. Res64: 6858A705E5DAF1BD Time : 0.0 sec. user=mdettweiler [2016-03-27 01:37:22] 773*2^1424414-1 is not prime. Res64: 153489525722387C Time : 0.0 sec. user=mdettweiler [2016-03-27 01:42:20] 851*2^1424414-1 is not prime. Res64: ADF0F05A3C38CE46 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:42:21] 927*2^1424414-1 is not prime. Res64: 8422323EB949E5DC Time : 0.0 sec. user=mdettweiler [2016-03-27 01:42:21] 945*2^1424414-1 is not prime. Res64: D1A57C1A0C8F0FAE Time : 0.0 sec. user=mdettweiler [2016-03-27 01:42:21] 625*2^1424415-1 is not prime. Res64: 68008F32328041C3 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:42:22] 649*2^1424415-1 is not prime. Res64: BC2BD4F244DC6DC5 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:44:55] 651*2^1424415-1 is not prime. Res64: 96F86FC08E8AC583 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:44:55] 685*2^1424415-1 is not prime. Res64: 70D8A842F8ED76B4 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:44:56] 775*2^1424415-1 is not prime. Res64: 3289BC5849E27594 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:44:56] 873*2^1424415-1 is not prime. Res64: 1D2F587036E3F8D7 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:44:57] 963*2^1424415-1 is not prime. Res64: AB9C6C89F5E84FB5 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:56:09] 623*2^1424416-1 is not prime. Res64: 1A087A775E063CCD Time : 0.0 sec. user=mdettweiler [2016-03-27 01:56:10] 653*2^1424416-1 is not prime. Res64: 1A48FFD05B156A82 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:56:10] 695*2^1424416-1 is not prime. Res64: CBD8F0767FA75429 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:56:11] 807*2^1424416-1 is not prime. Res64: 77CDC5830D32AE19 Time : 0.0 sec. user=mdettweiler [2016-03-27 01:56:11] 917*2^1424416-1 is not prime. Res64: 25FB466CC20A92C6 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:22:28] 923*2^1424416-1 is not prime. Res64: 4125EBCD521D1592 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:22:29] 747*2^1424417-1 is not prime. Res64: 3304662D56361C08 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:22:29] 771*2^1424417-1 is not prime. Res64: 8EB5EC4D5213B09B Time : 0.0 sec. user=mdettweiler [2016-03-27 02:22:30] 861*2^1424417-1 is not prime. Res64: 87F98DC37685E030 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:22:30] 867*2^1424417-1 is not prime. Res64: D4398E652678108E Time : 0.0 sec. user=mdettweiler [2016-03-27 02:26:48] 967*2^1424417-1 is not prime. Res64: 92F1B1A3BE3E828B Time : 0.0 sec. user=mdettweiler [2016-03-27 02:26:49] 711*2^1424418-1 is not prime. Res64: 5A83A80584B2E0A7 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:26:49] 755*2^1424418-1 is not prime. Res64: 0CF4E8B761418FF1 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:26:50] 881*2^1424418-1 is not prime. Res64: A71B5E6229F73D9A Time : 0.0 sec. user=mdettweiler [2016-03-27 02:26:50] 945*2^1424418-1 is not prime. Res64: EC37C52AF13B3939 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:29:45] 615*2^1424419-1 is not prime. Res64: 3F6913E0F00BB98E Time : 0.0 sec. user=mdettweiler [2016-03-27 02:29:46] 621*2^1424419-1 is not prime. Res64: 808263A5C27912D3 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:29:46] 633*2^1424419-1 is not prime. Res64: F1639505CEBA5FBA Time : 0.0 sec. user=mdettweiler [2016-03-27 02:29:47] 723*2^1424419-1 is not prime. Res64: 8547771C90C88870 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:29:47] 789*2^1424419-1 is not prime. Res64: 89B683001E5DFF2A Time : 0.0 sec. user=mdettweiler [2016-03-27 02:41:01] 793*2^1424419-1 is not prime. Res64: 331F4E64F70A2F3C Time : 0.0 sec. user=mdettweiler [2016-03-27 02:41:01] 753*2^1424420-1 is not prime. Res64: C3F4ED5388F37BF4 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:41:02] 825*2^1424420-1 is not prime. Res64: 6443DD56383E86D0 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:41:02] 839*2^1424420-1 is not prime. Res64: 1046DD69075E6358 Time : 0.0 sec. user=mdettweiler [2016-03-27 02:41:03] 935*2^1424420-1 is not prime. Res64: DB06728CE1616ABD Time : 0.0 sec. user=mdettweiler [2016-03-27 02:58:26] 885*2^1424423-1 is not prime. Res64: 28060B8300003885 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:06:58] 983*2^1424420-1 is not prime. Res64: 4F9E44F6B54CAEBE Time : 0.0 sec. user=mdettweiler [2016-03-27 03:07:00] 999*2^1424420-1 is not prime. Res64: 3642B3B4A9B59166 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:07:01] 621*2^1424421-1 is not prime. Res64: 902116D3FE74705D Time : 0.0 sec. user=mdettweiler [2016-03-27 03:07:02] 657*2^1424421-1 is not prime. Res64: FDF3FC22829D07CB Time : 0.0 sec. user=mdettweiler [2016-03-27 03:07:03] 795*2^1424421-1 is not prime. Res64: 3FA31E2A9ED320DD Time : 0.0 sec. user=mdettweiler [2016-03-27 03:11:21] 885*2^1424421-1 is not prime. Res64: 2FD241AC70AA3873 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:11:22] 961*2^1424421-1 is not prime. Res64: 55744117B0903CC3 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:11:22] 975*2^1424421-1 is not prime. Res64: 072DA9BF2562FA3C Time : 0.0 sec. user=mdettweiler [2016-03-27 03:11:22] 979*2^1424421-1 is not prime. Res64: AA7596A21870303D Time : 0.0 sec. user=mdettweiler [2016-03-27 03:11:23] 635*2^1424422-1 is not prime. Res64: 007D9E3548C45BE0 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:14:32] 653*2^1424422-1 is not prime. Res64: 81BB1CCE903A4FA7 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:14:33] 741*2^1424422-1 is not prime. Res64: 5DFF1D885C67B29C Time : 0.0 sec. user=mdettweiler [2016-03-27 03:14:33] 863*2^1424422-1 is not prime. Res64: A29F5A8843E5BD56 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:14:34] 975*2^1424422-1 is not prime. Res64: 1CCE8194089D8DC0 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:14:34] 615*2^1424423-1 is not prime. Res64: 9B3043ADB9CA1211 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:25:23] 685*2^1424423-1 is not prime. Res64: 59ABB96EF3FF7713 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:25:24] 693*2^1424423-1 is not prime. Res64: 6A3F68BF20C6FFD6 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:25:26] 705*2^1424423-1 is not prime. Res64: C76CBF92012F4F5E Time : 0.0 sec. user=mdettweiler [2016-03-27 03:25:27] 735*2^1424423-1 is not prime. Res64: 4385F93568B05D9D Time : 0.0 sec. user=mdettweiler [2016-03-27 03:25:28] 753*2^1424423-1 is not prime. Res64: 4C09E34CAB4A983D Time : 0.0 sec. user=mdettweiler [2016-03-27 03:44:23] 957*2^1424426-1 is not prime. Res64: C169A2DEE4AD4AE2 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:51:46] 939*2^1424423-1 is not prime. Res64: A11E54BB681DFAAE Time : 0.0 sec. user=mdettweiler [2016-03-27 03:51:48] 609*2^1424424-1 is not prime. Res64: F5786AA97E60CECB Time : 0.0 sec. user=mdettweiler [2016-03-27 03:51:49] 675*2^1424424-1 is not prime. Res64: A17EC39FE42C9FF1 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:51:49] 689*2^1424424-1 is not prime. Res64: 77067CAC17D904E7 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:51:50] 717*2^1424424-1 is not prime. Res64: 9C3B48D82CC1BA2A Time : 0.0 sec. user=mdettweiler [2016-03-27 03:55:45] 747*2^1424424-1 is not prime. Res64: 2EACC448DA39CFA8 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:55:45] 789*2^1424424-1 is not prime. Res64: 573A60406DFA9C98 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:55:46] 803*2^1424424-1 is not prime. Res64: E6D6E902645694A3 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:55:46] 849*2^1424424-1 is not prime. Res64: 37067CF3C25FCE50 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:55:47] 873*2^1424424-1 is not prime. Res64: 7DAD425EE9E9B17A Time : 0.0 sec. user=mdettweiler [2016-03-27 03:59:03] 607*2^1424425-1 is not prime. Res64: 2D6286BC6EBED7BD Time : 0.0 sec. user=mdettweiler [2016-03-27 03:59:03] 699*2^1424425-1 is not prime. Res64: 7A7E3F124143B675 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:59:04] 717*2^1424425-1 is not prime. Res64: 853B4B1D4CB2BCE4 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:59:04] 861*2^1424425-1 is not prime. Res64: 41670776527AB8B4 Time : 0.0 sec. user=mdettweiler [2016-03-27 03:59:04] 919*2^1424425-1 is not prime. Res64: F6999953306A1659 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:10:16] 677*2^1424426-1 is not prime. Res64: 63806AF90C7D324F Time : 0.0 sec. user=mdettweiler [2016-03-27 04:10:16] 707*2^1424426-1 is not prime. Res64: A5FB0A17D0657FC6 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:10:17] 783*2^1424426-1 is not prime. Res64: EEDB5431D7EEE8E2 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:10:17] 813*2^1424426-1 is not prime. Res64: 628671410CC557E1 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:10:18] 903*2^1424426-1 is not prime. Res64: 42AF8A405082CF49 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:38:34] 709*2^1424427-1 is not prime. Res64: 0B08CFCCC9AF77F7 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:38:35] 805*2^1424427-1 is not prime. Res64: 7F690A3BFDB20E9F Time : 0.0 sec. user=mdettweiler [2016-03-27 04:38:35] 975*2^1424427-1 is not prime. Res64: A2E04D21EF248225 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:38:35] 603*2^1424428-1 is not prime. Res64: D63C98A6D96004C0 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:38:36] 689*2^1424428-1 is not prime. Res64: 77739C7732120137 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:42:00] 797*2^1424428-1 is not prime. Res64: DE3D4AB170E5B10F Time : 0.0 sec. user=mdettweiler [2016-03-27 04:42:00] 819*2^1424428-1 is not prime. Res64: A3345E02878205D6 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:42:01] 825*2^1424428-1 is not prime. Res64: 3B2609CB70DA2B7D Time : 0.0 sec. user=mdettweiler [2016-03-27 04:42:01] 827*2^1424428-1 is not prime. Res64: 25A1A403C00CED17 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:42:01] 909*2^1424428-1 is not prime. Res64: B8137068A0DD085C Time : 0.0 sec. user=mdettweiler [2016-03-27 04:45:20] 791*2^1424430-1 is not prime. Res64: 601AECB7A51DF667 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:46:23] 929*2^1424428-1 is not prime. Res64: 5FEA86F94BF29B99 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:46:23] 989*2^1424428-1 is not prime. Res64: A1DB1A1044FA700B Time : 0.0 sec. user=mdettweiler [2016-03-27 04:46:23] 747*2^1424429-1 is not prime. Res64: 70D1CA6FB9FD66AB Time : 0.0 sec. user=mdettweiler [2016-03-27 04:46:24] 769*2^1424429-1 is not prime. Res64: C21998AC233003FA Time : 0.0 sec. user=mdettweiler [2016-03-27 04:46:24] 787*2^1424429-1 is not prime. Res64: 279C7C8C9FB0E26A Time : 0.0 sec. user=mdettweiler [2016-03-27 04:57:00] 829*2^1424429-1 is not prime. Res64: 38FEBC0C011B3C8C Time : 0.0 sec. user=mdettweiler [2016-03-27 04:57:00] 847*2^1424429-1 is not prime. Res64: 7E02E2BA8522189E Time : 0.0 sec. user=mdettweiler [2016-03-27 04:57:01] 889*2^1424429-1 is not prime. Res64: 6EDCF16561E92952 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:57:01] 967*2^1424429-1 is not prime. Res64: 07F0E4FA4369EE95 Time : 0.0 sec. user=mdettweiler [2016-03-27 04:57:02] 969*2^1424429-1 is not prime. Res64: 1B1A115D2488D534 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:25:06] 873*2^1424430-1 is not prime. Res64: 2C7415CC4EB598E7 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:25:06] 945*2^1424430-1 is not prime. Res64: CF4773616A7BDC8F Time : 0.0 sec. user=mdettweiler [2016-03-27 05:25:07] 971*2^1424430-1 is not prime. Res64: B42E1C708E6DF848 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:25:07] 625*2^1424431-1 is not prime. Res64: 7C1D1CDB1529BD1B Time : 0.0 sec. user=mdettweiler [2016-03-27 05:25:08] 735*2^1424431-1 is not prime. Res64: 864378256602A943 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:28:52] 741*2^1424431-1 is not prime. Res64: 4CB4449ABF923F03 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:28:53] 895*2^1424431-1 is not prime. Res64: EC0196A60E987B8D Time : 0.0 sec. user=mdettweiler [2016-03-27 05:28:53] 999*2^1424431-1 is not prime. Res64: 08E70A618A3C54DA Time : 0.0 sec. user=mdettweiler [2016-03-27 05:28:54] 629*2^1424432-1 is not prime. Res64: E74C928321FFCD1C Time : 0.0 sec. user=mdettweiler [2016-03-27 05:28:54] 633*2^1424432-1 is not prime. Res64: 214BA3A196045FCC Time : 0.0 sec. user=mdettweiler [2016-03-27 05:33:07] 677*2^1424432-1 is not prime. Res64: DD1A75D90DB7D2B9 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:33:07] 875*2^1424432-1 is not prime. Res64: 0E4D94A277B620B5 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:33:08] 691*2^1424433-1 is not prime. Res64: CF156A1331DBDBAD Time : 0.0 sec. user=mdettweiler [2016-03-27 05:33:08] 769*2^1424433-1 is not prime. Res64: FB9082907DD45725 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:33:09] 847*2^1424433-1 is not prime. Res64: 52F9E01DACA14C47 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:38:30] 691*2^1424437-1 is not prime. Res64: D34B808CF4F529C5 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:43:41] 623*2^1424434-1 is not prime. Res64: 76A00CDC3631BF9F Time : 0.0 sec. user=mdettweiler [2016-03-27 05:43:41] 635*2^1424434-1 is not prime. Res64: 6042D59266ED4F23 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:43:41] 701*2^1424434-1 is not prime. Res64: F6A00CE350EC70AC Time : 0.0 sec. user=mdettweiler [2016-03-27 05:43:42] 947*2^1424434-1 is not prime. Res64: 67B0C9BC19C21F78 Time : 0.0 sec. user=mdettweiler [2016-03-27 05:43:42] 983*2^1424434-1 is not prime. Res64: E5961ED0356D290F Time : 0.0 sec. user=mdettweiler [2016-03-27 06:11:00] 993*2^1424434-1 is not prime. Res64: 573FE162267E957B Time : 0.0 sec. user=mdettweiler [2016-03-27 06:11:00] 1001*2^1424434-1 is not prime. Res64: 42A0F2707F50C331 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:11:01] 643*2^1424435-1 is not prime. Res64: BEFE76A9D3D517F5 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:11:01] 753*2^1424435-1 is not prime. Res64: 06ED6F58BF145E5A Time : 0.0 sec. user=mdettweiler [2016-03-27 06:11:02] 981*2^1424435-1 is not prime. Res64: F2F8719136D5F31F Time : 0.0 sec. user=mdettweiler [2016-03-27 06:14:32] 945*2^1424438-1 is not prime. Res64: 99DF926B513B26F0 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:14:41] 999*2^1424435-1 is not prime. Res64: E39F833E934367B8 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:14:41] 615*2^1424436-1 is not prime. Res64: AE73D46D5F350EA1 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:14:42] 635*2^1424436-1 is not prime. Res64: 2D744559D60B6158 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:14:42] 649*2^1424437-1 is not prime. Res64: 38C6A66687A872F5 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:14:43] 685*2^1424437-1 is not prime. Res64: 4FF1C0363CC23E2C Time : 0.0 sec. user=mdettweiler [2016-03-27 06:19:11] 771*2^1424437-1 is not prime. Res64: 4A6CBF7FD8A180DC Time : 0.0 sec. user=mdettweiler [2016-03-27 06:19:11] 819*2^1424437-1 is not prime. Res64: 59E419A3F72833B6 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:19:12] 825*2^1424437-1 is not prime. Res64: 9A62734EC5D2BF9F Time : 0.0 sec. user=mdettweiler [2016-03-27 06:19:12] 957*2^1424437-1 is not prime. Res64: EA603E0A6256CBE5 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:19:12] 985*2^1424437-1 is not prime. Res64: 0FE6A33DA4EACB03 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:29:24] 605*2^1424438-1 is not prime. Res64: A424E4BEDB2EA642 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:29:24] 641*2^1424438-1 is not prime. Res64: 889AE5F2C40F2EFD Time : 0.0 sec. user=mdettweiler [2016-03-27 06:29:25] 671*2^1424438-1 is not prime. Res64: A78768E8C7F392FF Time : 0.0 sec. user=mdettweiler [2016-03-27 06:29:25] 687*2^1424438-1 is not prime. Res64: 3C778E156B14FD0F Time : 0.0 sec. user=mdettweiler [2016-03-27 06:29:25] 711*2^1424438-1 is not prime. Res64: 523BF389A20E3C2C Time : 0.0 sec. user=mdettweiler [2016-03-27 06:31:56] 901*2^1424441-1 is not prime. Res64: D11938F61C6F7E17 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:55:40] 993*2^1424438-1 is not prime. Res64: FE57C88BF093C485 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:55:40] 661*2^1424439-1 is not prime. Res64: 8FD093D2555F185B Time : 0.0 sec. user=mdettweiler [2016-03-27 06:55:41] 663*2^1424439-1 is not prime. Res64: FEFDECBD9180B60A Time : 0.0 sec. user=mdettweiler [2016-03-27 06:55:41] 669*2^1424439-1 is not prime. Res64: 58EA4220C68CB36E Time : 0.0 sec. user=mdettweiler [2016-03-27 06:55:42] 843*2^1424439-1 is not prime. Res64: CC3965702C601EA6 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:59:01] 827*2^1424440-1 is not prime. Res64: 9098EEDBD41DE62D Time : 0.0 sec. user=mdettweiler [2016-03-27 06:59:01] 917*2^1424440-1 is not prime. Res64: EA0DA209DA8E9226 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:59:02] 927*2^1424440-1 is not prime. Res64: FB83EF8B46E03922 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:59:02] 965*2^1424440-1 is not prime. Res64: A5EC6E9112AD3AD8 Time : 0.0 sec. user=mdettweiler [2016-03-27 06:59:02] 669*2^1424441-1 is not prime. Res64: 34877558C3EE0FCD Time : 0.0 sec. user=mdettweiler [2016-03-27 07:03:36] 727*2^1424441-1 is not prime. Res64: D406D41CF41FA0F0 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:03:37] 735*2^1424441-1 is not prime. Res64: 488056549F9E5EBB Time : 0.0 sec. user=mdettweiler [2016-03-27 07:03:38] 741*2^1424441-1 is not prime. Res64: 274B1BC12DDFFA19 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:03:39] 745*2^1424441-1 is not prime. Res64: B668ED731E3A50C8 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:03:40] 837*2^1424441-1 is not prime. Res64: 98ADA47ED8DDA605 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:13:51] 925*2^1424441-1 is not prime. Res64: 61ED83370636B86A Time : 0.0 sec. user=mdettweiler [2016-03-27 07:13:51] 797*2^1424442-1 is not prime. Res64: B26EC34F98FA4BB2 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:13:52] 801*2^1424442-1 is not prime. Res64: A7AEBA9647651AE6 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:13:52] 807*2^1424442-1 is not prime. Res64: DE0509511A5E0C8B Time : 0.0 sec. user=mdettweiler [2016-03-27 07:13:53] 873*2^1424442-1 is not prime. Res64: D3D1F40A579702CB Time : 0.0 sec. user=mdettweiler [2016-03-27 07:25:02] 979*2^1424445-1 is not prime. Res64: 29492CECD5944BC6 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:40:06] 891*2^1424442-1 is not prime. Res64: 4A12FCB2C93388EE Time : 0.0 sec. user=mdettweiler [2016-03-27 07:40:07] 921*2^1424442-1 is not prime. Res64: E20B3E14267E46C7 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:40:07] 923*2^1424442-1 is not prime. Res64: BAE9EFB90224488A Time : 0.0 sec. user=mdettweiler [2016-03-27 07:40:07] 675*2^1424443-1 is not prime. Res64: 4973E49230EF354E Time : 0.0 sec. user=mdettweiler [2016-03-27 07:40:08] 691*2^1424443-1 is not prime. Res64: F331EE12A4BFD6C3 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:43:25] 765*2^1424443-1 is not prime. Res64: 388CD842B13400BE Time : 0.0 sec. user=mdettweiler [2016-03-27 07:43:26] 895*2^1424443-1 is not prime. Res64: 5D42566FD3FBB19C Time : 0.0 sec. user=mdettweiler [2016-03-27 07:43:26] 951*2^1424443-1 is not prime. Res64: 8B918C1A052DE7C0 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:43:27] 999*2^1424443-1 is not prime. Res64: 789CFDAB14CCEFA7 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:43:27] 617*2^1424444-1 is not prime. Res64: 20D00C62D901E7BB Time : 0.0 sec. user=mdettweiler [2016-03-27 07:48:22] 629*2^1424444-1 is not prime. Res64: 17404E6BC9EF45FB Time : 0.0 sec. user=mdettweiler [2016-03-27 07:48:23] 659*2^1424444-1 is not prime. Res64: A13A8037B8E430B2 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:48:23] 773*2^1424444-1 is not prime. Res64: 363076843ED18867 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:48:23] 953*2^1424444-1 is not prime. Res64: F45A3714921FC2E7 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:48:24] 607*2^1424445-1 is not prime. Res64: 6B195C093376079D Time : 0.0 sec. user=mdettweiler [2016-03-27 07:58:40] 679*2^1424445-1 is not prime. Res64: 231B98C63119A829 Time : 0.0 sec. user=mdettweiler [2016-03-27 07:58:41] 721*2^1424445-1 is not prime. Res64: 4B2A611700CB597B Time : 0.0 sec. user=mdettweiler [2016-03-27 07:58:41] 849*2^1424445-1 is not prime. Res64: 8F2F0F3C4A74B03D Time : 0.0 sec. user=mdettweiler [2016-03-27 07:58:42] 871*2^1424445-1 is not prime. Res64: C4D29E731C339D9C Time : 0.0 sec. user=mdettweiler [2016-03-27 07:58:42] 969*2^1424445-1 is not prime. Res64: E2E767921A3405D9 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:00:37] 879*2^1424447-1 is not prime. Res64: D99D2E7A2130CFDF Time : 0.0 sec. user=mdettweiler [2016-03-27 08:18:37] 849*2^1424448-1 is not prime. Res64: 447E91512B18B2B4 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:24:44] 603*2^1424446-1 is not prime. Res64: F854FF0F789A6AAD Time : 0.0 sec. user=mdettweiler [2016-03-27 08:24:44] 653*2^1424446-1 is not prime. Res64: B7F96D74EF00E966 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:24:44] 713*2^1424446-1 is not prime. Res64: 690FB04FC53C140E Time : 0.0 sec. user=mdettweiler [2016-03-27 08:24:45] 743*2^1424446-1 is not prime. Res64: 0306D39DF04221DC Time : 0.0 sec. user=mdettweiler [2016-03-27 08:24:45] 777*2^1424446-1 is not prime. Res64: 2F0A761977F6F83B Time : 0.0 sec. user=mdettweiler [2016-03-27 08:27:45] 801*2^1424446-1 is not prime. Res64: 63FB18134344ED48 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:27:45] 881*2^1424446-1 is not prime. Res64: D21830658BC332C6 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:27:46] 891*2^1424446-1 is not prime. Res64: 2A1143354BD11E3C Time : 0.0 sec. user=mdettweiler [2016-03-27 08:27:46] 903*2^1424446-1 is not prime. Res64: A7FBF21D479FF17A Time : 0.0 sec. user=mdettweiler [2016-03-27 08:27:47] 993*2^1424446-1 is not prime. Res64: A342E72065FCE041 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:32:59] 619*2^1424447-1 is not prime. Res64: 0DF0C7B3C6E9AD8C Time : 0.0 sec. user=mdettweiler [2016-03-27 08:33:00] 655*2^1424447-1 is not prime. Res64: 26806AACF471917C Time : 0.0 sec. user=mdettweiler [2016-03-27 08:33:00] 729*2^1424447-1 is not prime. Res64: 85C2E1A48B266B8C Time : 0.0 sec. user=mdettweiler [2016-03-27 08:33:01] 775*2^1424447-1 is not prime. Res64: 2F63ECCC007983AC Time : 0.0 sec. user=mdettweiler [2016-03-27 08:33:01] 861*2^1424447-1 is not prime. Res64: A73F5F35E85BCAC4 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:43:10] 981*2^1424447-1 is not prime. Res64: 2C96C30FF6A639AF Time : 0.0 sec. user=mdettweiler [2016-03-27 08:43:10] 985*2^1424447-1 is not prime. Res64: A9D5CB0F2C8091D9 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:43:10] 999*2^1424447-1 is not prime. Res64: 9F203FEE03788A85 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:43:11] 663*2^1424448-1 is not prime. Res64: C61B216B8B67FFC1 Time : 0.0 sec. user=mdettweiler [2016-03-27 08:43:11] 713*2^1424448-1 is not prime. Res64: 64259C50B2EE280D Time : 0.0 sec. user=mdettweiler [2016-03-27 08:53:58] 987*2^1424452-1 is not prime. Res64: 567BB37E03B8AAAA Time : 0.0 sec. user=mdettweiler [2016-03-27 09:09:04] 887*2^1424448-1 is not prime. Res64: CB952CD4E07E25DA Time : 0.0 sec. user=mdettweiler [2016-03-27 09:09:05] 993*2^1424448-1 is not prime. Res64: 5290F55E94AD7860 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:09:06] 615*2^1424449-1 is not prime. Res64: C02CF314A5821FBD Time : 0.0 sec. user=mdettweiler [2016-03-27 09:09:06] 775*2^1424449-1 is not prime. Res64: AAFA49D1D59FA5E1 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:09:07] 931*2^1424449-1 is not prime. Res64: 4C95C0E2D9427EEB Time : 0.0 sec. user=mdettweiler [2016-03-27 09:11:05] 619*2^1424453-1 is not prime. Res64: 620FD815DE311A6B Time : 0.0 sec. user=mdettweiler [2016-03-27 09:11:14] 745*2^1424453-1 is not prime. Res64: B2FB1AD41625001A Time : 0.0 sec. user=mdettweiler [2016-03-27 09:12:14] 677*2^1424450-1 is not prime. Res64: FAC3BBBF345EF7BC Time : 0.0 sec. user=mdettweiler [2016-03-27 09:12:14] 767*2^1424450-1 is not prime. Res64: 90BD773428682221 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:12:15] 885*2^1424450-1 is not prime. Res64: D4D003821C835020 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:12:15] 893*2^1424450-1 is not prime. Res64: CB5F596AB05E68EA Time : 0.0 sec. user=mdettweiler [2016-03-27 09:12:16] 923*2^1424450-1 is not prime. Res64: F9D4627253047F98 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:17:54] 615*2^1424451-1 is not prime. Res64: 741EC062B3B357CC Time : 0.0 sec. user=mdettweiler [2016-03-27 09:17:54] 651*2^1424451-1 is not prime. Res64: D50B5BE9A2928BC4 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:17:55] 703*2^1424451-1 is not prime. Res64: 690A9EDF23D0B4B9 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:17:55] 705*2^1424451-1 is not prime. Res64: 9CAA910B894A5AD3 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:17:55] 735*2^1424451-1 is not prime. Res64: 65694DC6F6DB93BD Time : 0.0 sec. user=mdettweiler [2016-03-27 09:27:29] 979*2^1424451-1 is not prime. Res64: E36858F85042960D Time : 0.0 sec. user=mdettweiler [2016-03-27 09:27:30] 999*2^1424451-1 is not prime. Res64: A87F43A3886CF71F Time : 0.0 sec. user=mdettweiler [2016-03-27 09:27:30] 803*2^1424452-1 is not prime. Res64: C48653A51B4E6869 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:27:31] 869*2^1424452-1 is not prime. Res64: AD77E53B92736198 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:27:31] 929*2^1424452-1 is not prime. Res64: F9B843F0FD55649B Time : 0.0 sec. user=mdettweiler [2016-03-27 09:53:33] 831*2^1424453-1 is not prime. Res64: 91A829427F276CF5 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:53:34] 939*2^1424453-1 is not prime. Res64: 2F2253FD84A5D51A Time : 0.0 sec. user=mdettweiler [2016-03-27 09:53:34] 949*2^1424453-1 is not prime. Res64: 911A7BDE88AB5EC3 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:53:35] 741*2^1424454-1 is not prime. Res64: FBEFE401DA4D5BEF Time : 0.0 sec. user=mdettweiler [2016-03-27 09:53:35] 915*2^1424454-1 is not prime. Res64: AC864ADE6FCB4D58 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:56:34] 945*2^1424454-1 is not prime. Res64: F05692F6FC4C9602 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:56:35] 951*2^1424454-1 is not prime. Res64: 53918A1E3B481F81 Time : 0.0 sec. user=mdettweiler [2016-03-27 09:56:35] 705*2^1424455-1 is not prime. Res64: 00A5AA5F2A7B0E9F Time : 0.0 sec. user=mdettweiler [2016-03-27 09:56:36] 789*2^1424455-1 is not prime. Res64: 3585D068DFF455FC Time : 0.0 sec. user=mdettweiler [2016-03-27 09:56:36] 841*2^1424455-1 is not prime. Res64: E518A84C177C4286 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:02:15] 883*2^1424455-1 is not prime. Res64: 304628E0FB76037D Time : 0.0 sec. user=mdettweiler [2016-03-27 10:02:17] 885*2^1424455-1 is not prime. Res64: 970078600F8FD411 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:02:18] 969*2^1424455-1 is not prime. Res64: 5226A765163C5E99 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:02:19] 979*2^1424455-1 is not prime. Res64: F4D450D2D1046082 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:02:20] 633*2^1424456-1 is not prime. Res64: 01E3E6D4B01C0DCD Time : 0.0 sec. user=mdettweiler [2016-03-27 10:11:53] 689*2^1424456-1 is not prime. Res64: 76CE3B554B3CC2CE Time : 0.0 sec. user=mdettweiler [2016-03-27 10:11:53] 693*2^1424456-1 is not prime. Res64: AE4F2722F9B909BC Time : 0.0 sec. user=mdettweiler [2016-03-27 10:11:54] 833*2^1424456-1 is not prime. Res64: 672AC8CDA704536A Time : 0.0 sec. user=mdettweiler [2016-03-27 10:11:54] 945*2^1424456-1 is not prime. Res64: FFBACFCE0A502988 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:11:55] 963*2^1424456-1 is not prime. Res64: A30AD9F6862E5B42 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:37:51] 625*2^1424457-1 is not prime. Res64: EB3454533511344E Time : 0.0 sec. user=mdettweiler [2016-03-27 10:37:51] 711*2^1424457-1 is not prime. Res64: FEA6E8A3CB149D88 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:37:51] 741*2^1424457-1 is not prime. Res64: 765440DBD3CAE81B Time : 0.0 sec. user=mdettweiler [2016-03-27 10:37:52] 765*2^1424457-1 is not prime. Res64: 4730A7B7DEA8219C Time : 0.0 sec. user=mdettweiler [2016-03-27 10:37:52] 837*2^1424457-1 is not prime. Res64: D973ABE82E8B835E Time : 0.0 sec. user=mdettweiler [2016-03-27 10:40:43] 847*2^1424457-1 is not prime. Res64: 9466C4B39FDADD96 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:40:44] 871*2^1424457-1 is not prime. Res64: EC848E26382F04A1 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:40:44] 605*2^1424458-1 is not prime. Res64: D0140AA5281AC252 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:40:44] 611*2^1424458-1 is not prime. Res64: FBF73C31B4F8DCDC Time : 0.0 sec. user=mdettweiler [2016-03-27 10:40:45] 633*2^1424458-1 is not prime. Res64: C339A42DA64C89D3 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:46:48] 657*2^1424458-1 is not prime. Res64: 3DAD47A21DF6109F Time : 0.0 sec. user=mdettweiler [2016-03-27 10:46:48] 687*2^1424458-1 is not prime. Res64: 04F419929604C075 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:46:49] 713*2^1424458-1 is not prime. Res64: 008B3FB24B5F569C Time : 0.0 sec. user=mdettweiler [2016-03-27 10:46:49] 887*2^1424458-1 is not prime. Res64: FE20F183F1181BAC Time : 0.0 sec. user=mdettweiler [2016-03-27 10:46:49] 905*2^1424458-1 is not prime. Res64: 470EBF892FE780B9 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:56:13] 669*2^1424459-1 is not prime. Res64: DB9862A156775083 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:56:13] 733*2^1424459-1 is not prime. Res64: E8A67F0720A09226 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:56:14] 745*2^1424459-1 is not prime. Res64: 80E8A0C6D5E87A56 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:56:14] 801*2^1424459-1 is not prime. Res64: 0D6F7C88C9973066 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:56:14] 811*2^1424459-1 is not prime. Res64: 8E682B7BF3B41EF2 Time : 0.0 sec. user=mdettweiler [2016-03-27 10:56:50] 857*2^1424462-1 is not prime. Res64: 6D732F62ECCC97FA Time : 0.0 sec. user=mdettweiler [2016-03-27 11:22:22] 889*2^1424459-1 is not prime. Res64: 80407275E5516900 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:22:23] 665*2^1424460-1 is not prime. Res64: DBAF79C4AEFB9D8F Time : 0.0 sec. user=mdettweiler [2016-03-27 11:22:23] 737*2^1424460-1 is not prime. Res64: 9A7C93279CD793AC Time : 0.0 sec. user=mdettweiler [2016-03-27 11:22:24] 839*2^1424460-1 is not prime. Res64: 336159B190D2B2D7 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:22:24] 875*2^1424460-1 is not prime. Res64: F8A462378F6ACD83 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:25:05] 923*2^1424460-1 is not prime. Res64: 57E0774EBA250D49 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:25:05] 927*2^1424460-1 is not prime. Res64: 43E208C2BBCD9DC3 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:25:05] 959*2^1424460-1 is not prime. Res64: 812201C17B72CD5E Time : 0.0 sec. user=mdettweiler [2016-03-27 11:25:06] 625*2^1424461-1 is not prime. Res64: 5D44F053308537AB Time : 0.0 sec. user=mdettweiler [2016-03-27 11:25:06] 675*2^1424461-1 is not prime. Res64: 540E730C56733BF0 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:31:13] 751*2^1424461-1 is not prime. Res64: ACA09A6074BFF7E5 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:31:14] 769*2^1424461-1 is not prime. Res64: 59858DF20D4EFA4F Time : 0.0 sec. user=mdettweiler [2016-03-27 11:31:14] 799*2^1424461-1 is not prime. Res64: 8E146D4AEAD8F9F0 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:31:14] 677*2^1424462-1 is not prime. Res64: 635C39320ACF1B03 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:31:15] 731*2^1424462-1 is not prime. Res64: 6CA9FED91D5BF687 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:40:43] 885*2^1424462-1 is not prime. Res64: B00D92568520162B Time : 0.0 sec. user=mdettweiler [2016-03-27 11:40:43] 903*2^1424462-1 is not prime. Res64: A17DF4A2647C0BCE Time : 0.0 sec. user=mdettweiler [2016-03-27 11:40:43] 935*2^1424462-1 is not prime. Res64: B38CDB5BAEA631DE Time : 0.0 sec. user=mdettweiler [2016-03-27 11:40:44] 987*2^1424462-1 is not prime. Res64: 3CF213C97EEA1C94 Time : 0.0 sec. user=mdettweiler [2016-03-27 11:40:44] 1001*2^1424462-1 is not prime. Res64: 483D790F1DB87D35 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:07:01] 613*2^1424463-1 is not prime. Res64: F91C4AE2603E90CE Time : 0.0 sec. user=mdettweiler [2016-03-27 12:07:02] 649*2^1424463-1 is not prime. Res64: 990CAA07762C933E Time : 0.0 sec. user=mdettweiler [2016-03-27 12:07:02] 709*2^1424463-1 is not prime. Res64: CB6B021FA01C3578 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:07:02] 853*2^1424463-1 is not prime. Res64: 54BEED4A8772B8DF Time : 0.0 sec. user=mdettweiler [2016-03-27 12:07:03] 963*2^1424463-1 is not prime. Res64: D3FCC5869D9F1C42 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:09:33] 635*2^1424464-1 is not prime. Res64: 3442AD3B9BA5ACC6 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:09:34] 693*2^1424464-1 is not prime. Res64: E96C46C2BD8ED5A2 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:09:34] 827*2^1424464-1 is not prime. Res64: 2D52883FDBB2B32D Time : 0.0 sec. user=mdettweiler [2016-03-27 12:09:34] 969*2^1424464-1 is not prime. Res64: A57BA76C481CA32F Time : 0.0 sec. user=mdettweiler [2016-03-27 12:09:35] 771*2^1424465-1 is not prime. Res64: DBE03569D5A2A1C7 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:15:47] 777*2^1424465-1 is not prime. Res64: B6C482D368EC28B7 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:15:47] 865*2^1424465-1 is not prime. Res64: 5683AB5972ADF32B Time : 0.0 sec. user=mdettweiler [2016-03-27 12:15:48] 871*2^1424465-1 is not prime. Res64: 501ADA62FBB587E1 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:15:48] 991*2^1424465-1 is not prime. Res64: 7AC77F2903A321EB Time : 0.0 sec. user=mdettweiler [2016-03-27 12:15:48] 641*2^1424466-1 is not prime. Res64: 33FD33DED71041D7 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:25:09] 893*2^1424466-1 is not prime. Res64: B5E56C58926FBCD9 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:25:10] 903*2^1424466-1 is not prime. Res64: 10146C7C90F4ACC7 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:25:10] 933*2^1424466-1 is not prime. Res64: A13CE7D14E54BFD3 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:25:10] 619*2^1424467-1 is not prime. Res64: 74AC16BB6A09CD0E Time : 0.0 sec. user=mdettweiler [2016-03-27 12:25:11] 663*2^1424467-1 is not prime. Res64: C0D5038E667C13CE Time : 0.0 sec. user=mdettweiler [2016-03-27 12:51:33] 733*2^1424467-1 is not prime. Res64: 107A4C19CA36A34A Time : 0.0 sec. user=mdettweiler [2016-03-27 12:51:33] 735*2^1424467-1 is not prime. Res64: F36E18139196105B Time : 0.0 sec. user=mdettweiler [2016-03-27 12:51:34] 769*2^1424467-1 is not prime. Res64: FC291C108481951E Time : 0.0 sec. user=mdettweiler [2016-03-27 12:51:34] 973*2^1424467-1 is not prime. Res64: F25DBCC3BE0CB9B4 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:51:34] 687*2^1424468-1 is not prime. Res64: F315E7E591E395A2 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:53:45] 777*2^1424468-1 is not prime. Res64: 20CFA57F8A38023E Time : 0.0 sec. user=mdettweiler [2016-03-27 12:53:46] 945*2^1424468-1 is not prime. Res64: E3C06589A110C2D5 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:53:46] 963*2^1424468-1 is not prime. Res64: 773C936A9968FF85 Time : 0.0 sec. user=mdettweiler [2016-03-27 12:53:46] 669*2^1424469-1 is not prime. Res64: BFD49A7924A58ACA Time : 0.0 sec. user=mdettweiler [2016-03-27 12:53:47] 709*2^1424469-1 is not prime. Res64: 5F114A36020E5DE4 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:00:19] 751*2^1424469-1 is not prime. Res64: 7253484D015EDD07 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:00:20] 861*2^1424469-1 is not prime. Res64: C0086CF507B842C7 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:00:21] 891*2^1424469-1 is not prime. Res64: 287B80E912E48A33 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:00:22] 969*2^1424469-1 is not prime. Res64: 52B79C8BB6E7C25B Time : 0.0 sec. user=mdettweiler [2016-03-27 13:00:23] 987*2^1424469-1 is not prime. Res64: 5A0D49CE47F1023A Time : 0.0 sec. user=mdettweiler [2016-03-27 13:09:38] 651*2^1424470-1 is not prime. Res64: 9DB62CBF5AB06186 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:09:39] 657*2^1424470-1 is not prime. Res64: 14110B3742D94297 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:09:39] 777*2^1424470-1 is not prime. Res64: F00E98648EE912FB Time : 0.0 sec. user=mdettweiler [2016-03-27 13:09:40] 933*2^1424470-1 is not prime. Res64: 1D89975C9A687F79 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:09:40] 619*2^1424471-1 is not prime. Res64: C611034A98F8A8EF Time : 0.0 sec. user=mdettweiler [2016-03-27 13:36:08] 621*2^1424471-1 is not prime. Res64: 317830B88FA34A09 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:36:09] 645*2^1424471-1 is not prime. Res64: DC7EA71BF5F5AF64 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:36:09] 651*2^1424471-1 is not prime. Res64: 037F5E2225740E32 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:36:09] 679*2^1424471-1 is not prime. Res64: 4BB178F1467F9441 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:36:10] 693*2^1424471-1 is not prime. Res64: 9E0733A13509D50B Time : 0.0 sec. user=mdettweiler [2016-03-27 13:38:14] 705*2^1424471-1 is not prime. Res64: 5F1893F9BD109233 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:38:15] 895*2^1424471-1 is not prime. Res64: CD12E43F33526B7E Time : 0.0 sec. user=mdettweiler [2016-03-27 13:38:15] 945*2^1424471-1 is not prime. Res64: 9A6D4650106FBD0E Time : 0.0 sec. user=mdettweiler [2016-03-27 13:38:16] 955*2^1424471-1 is not prime. Res64: 18EC49580FAB5671 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:38:16] 605*2^1424472-1 is not prime. Res64: 1FB692C6A9CDC1E8 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:45:42] 819*2^1424472-1 is not prime. Res64: 85646475D8D4E5FB Time : 0.0 sec. user=mdettweiler [2016-03-27 13:45:42] 849*2^1424472-1 is not prime. Res64: 32E961A418DA02E9 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:45:42] 863*2^1424472-1 is not prime. Res64: 89DEFB57EC5AFB99 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:45:42] 875*2^1424472-1 is not prime. Res64: A2925DFF8312DA25 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:45:43] 615*2^1424473-1 is not prime. Res64: 1E1EB4059880E7DA Time : 0.0 sec. user=mdettweiler [2016-03-27 13:54:08] 943*2^1424475-1 is not prime. Res64: 99C7D89E946171B5 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:54:15] 909*2^1424475-1 is not prime. Res64: F971C1346410BFB4 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:55:13] 625*2^1424473-1 is not prime. Res64: D6C25A3AEEFF0A37 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:55:13] 675*2^1424473-1 is not prime. Res64: B33BF821F36E57BB Time : 0.0 sec. user=mdettweiler [2016-03-27 13:55:14] 705*2^1424473-1 is not prime. Res64: 988120434911DD14 Time : 0.0 sec. user=mdettweiler [2016-03-27 13:55:14] 751*2^1424473-1 is not prime. Res64: 257D2A049CA94DDA Time : 0.0 sec. user=mdettweiler [2016-03-27 13:55:15] 765*2^1424473-1 is not prime. Res64: AC91F0D3A41ABA11 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:12:14] 711*2^1424477-1 is not prime. Res64: 0FB66A98B2B355B7 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:12:39] 741*2^1424477-1 is not prime. Res64: D35FDE9677AD2396 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:22:48] 789*2^1424473-1 is not prime. Res64: B504E8B3103B5E9C Time : 0.0 sec. user=mdettweiler [2016-03-27 14:22:49] 811*2^1424473-1 is not prime. Res64: 90AD1D01A4EC22DB Time : 0.0 sec. user=mdettweiler [2016-03-27 14:22:49] 817*2^1424473-1 is not prime. Res64: 411DF54E828322D6 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:22:49] 967*2^1424473-1 is not prime. Res64: FB4F7738B32AFAFB Time : 0.0 sec. user=mdettweiler [2016-03-27 14:22:50] 635*2^1424474-1 is not prime. Res64: 02F0AE7537058BE4 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:25:06] 825*2^1424474-1 is not prime. Res64: F1574F1D7FA51611 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:25:06] 873*2^1424474-1 is not prime. Res64: E8447F1CE86DFAE4 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:25:06] 625*2^1424475-1 is not prime. Res64: A847032502897D58 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:25:06] 679*2^1424475-1 is not prime. Res64: B3E88B61D6147F12 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:25:07] 699*2^1424475-1 is not prime. Res64: 19A46D6CD5419374 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:30:25] 879*2^1424477-1 is not prime. Res64: 114B466DC8F7C250 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:33:04] 709*2^1424475-1 is not prime. Res64: 8DDEB7ECE0A23010 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:33:04] 741*2^1424475-1 is not prime. Res64: D63D6323373ADC94 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:33:05] 751*2^1424475-1 is not prime. Res64: B04C35DC65108187 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:33:05] 849*2^1424475-1 is not prime. Res64: A111F2B41905438F Time : 0.0 sec. user=mdettweiler [2016-03-27 14:33:05] 895*2^1424475-1 is not prime. Res64: F13AB80EA4A88BE1 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:42:20] 999*2^1424475-1 is not prime. Res64: A3B933FFA57723DA Time : 0.0 sec. user=mdettweiler [2016-03-27 14:42:20] 647*2^1424476-1 is not prime. Res64: B55EC4DE459898D4 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:42:20] 735*2^1424476-1 is not prime. Res64: 4ACA50E4D01DAF8E Time : 0.0 sec. user=mdettweiler [2016-03-27 14:42:21] 927*2^1424476-1 is not prime. Res64: 26A81F920F99B8FC Time : 0.0 sec. user=mdettweiler [2016-03-27 14:42:21] 621*2^1424477-1 is not prime. Res64: BC2DE557F7BD52C7 Time : 0.0 sec. user=mdettweiler [2016-03-27 14:48:01] 677*2^1424480-1 is not prime. Res64: 04961035A1C024C3 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:08:28] 915*2^1424477-1 is not prime. Res64: 283812AA20A61CA7 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:08:28] 651*2^1424478-1 is not prime. Res64: A5DEFAD6A4C9B867 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:08:29] 747*2^1424478-1 is not prime. Res64: 56A4155A5277B9DD Time : 0.0 sec. user=mdettweiler [2016-03-27 15:08:29] 773*2^1424478-1 is not prime. Res64: 20B144146760669A Time : 0.0 sec. user=mdettweiler [2016-03-27 15:08:30] 821*2^1424478-1 is not prime. Res64: 0BBD7BA0C16365F8 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:10:59] 951*2^1424478-1 is not prime. Res64: 82A1A13C309D1FCE Time : 0.0 sec. user=mdettweiler [2016-03-27 15:11:00] 977*2^1424478-1 is not prime. Res64: 65029A65B3A82013 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:11:00] 675*2^1424479-1 is not prime. Res64: A507C550E5AED7C2 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:11:00] 741*2^1424479-1 is not prime. Res64: 8155CA78A8703918 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:11:01] 831*2^1424479-1 is not prime. Res64: D337BC59ED0EEF65 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:18:44] 855*2^1424479-1 is not prime. Res64: 9519E2BD04B94D91 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:18:45] 951*2^1424479-1 is not prime. Res64: 775E0FD45DB34E31 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:18:45] 973*2^1424479-1 is not prime. Res64: 830CBEA603085BDA Time : 0.0 sec. user=mdettweiler [2016-03-27 15:18:45] 975*2^1424479-1 is not prime. Res64: 20F4218601D6B12F Time : 0.0 sec. user=mdettweiler [2016-03-27 15:18:46] 629*2^1424480-1 is not prime. Res64: 29D3A8F9AF3F2304 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:23:37] 621*2^1424483-1 is not prime. Res64: 637B0BE2BAEC3455 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:24:01] 649*2^1424483-1 is not prime. Res64: AA3D1F9C1B339D1F Time : 0.0 sec. user=mdettweiler [2016-03-27 15:28:04] 713*2^1424480-1 is not prime. Res64: E8EF90539A2F745E Time : 0.0 sec. user=mdettweiler [2016-03-27 15:28:04] 843*2^1424480-1 is not prime. Res64: 7ED25558E565BD66 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:28:05] 923*2^1424480-1 is not prime. Res64: 8E089DC5B0A35437 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:28:05] 639*2^1424481-1 is not prime. Res64: 6FE1039ED573AC6C Time : 0.0 sec. user=mdettweiler [2016-03-27 15:28:05] 807*2^1424481-1 is not prime. Res64: 5FB217BF5E5BBD5E Time : 0.0 sec. user=mdettweiler [2016-03-27 15:40:56] 695*2^1424484-1 is not prime. Res64: 0A4D323538866C5C Time : 0.0 sec. user=mdettweiler [2016-03-27 15:41:11] 707*2^1424484-1 is not prime. Res64: 62805D36EF41C257 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:54:55] 835*2^1424481-1 is not prime. Res64: 6A9430965B8FD60E Time : 0.0 sec. user=mdettweiler [2016-03-27 15:54:55] 861*2^1424481-1 is not prime. Res64: 06F08AC7E72F8B95 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:54:56] 991*2^1424481-1 is not prime. Res64: F5EB8D27788A49C4 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:54:56] 665*2^1424482-1 is not prime. Res64: 25BEB518BBA00448 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:54:56] 675*2^1424482-1 is not prime. Res64: 1C8185002B983603 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:57:16] 731*2^1424482-1 is not prime. Res64: 4B54B66B47C098EF Time : 0.0 sec. user=mdettweiler [2016-03-27 15:57:17] 791*2^1424482-1 is not prime. Res64: 76DC613EAB7DEB1F Time : 0.0 sec. user=mdettweiler [2016-03-27 15:57:17] 827*2^1424482-1 is not prime. Res64: 36415A58B00E9166 Time : 0.0 sec. user=mdettweiler [2016-03-27 15:57:17] 917*2^1424482-1 is not prime. Res64: 1E8CF0EA1DA6093C Time : 0.0 sec. user=mdettweiler [2016-03-27 15:57:18] 923*2^1424482-1 is not prime. Res64: 960B02EB8CA0C02D Time : 0.0 sec. user=mdettweiler [2016-03-27 16:05:05] 663*2^1424483-1 is not prime. Res64: E02DFE1AE7F8F6B0 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:05:06] 699*2^1424483-1 is not prime. Res64: 0729CAC701B4DA99 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:05:07] 735*2^1424483-1 is not prime. Res64: 5D85C078B5EF121A Time : 0.0 sec. user=mdettweiler [2016-03-27 16:05:08] 741*2^1424483-1 is not prime. Res64: 28E5DF4196B2A357 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:05:09] 753*2^1424483-1 is not prime. Res64: 62B0C3ABC492CEB1 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:14:12] 889*2^1424483-1 is not prime. Res64: 42CA60CCDF09E64B Time : 0.0 sec. user=mdettweiler [2016-03-27 16:14:13] 943*2^1424483-1 is not prime. Res64: 6647D8D4A21DE706 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:14:13] 985*2^1424483-1 is not prime. Res64: A2DD3E3B296E4021 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:14:13] 993*2^1424483-1 is not prime. Res64: A3F8B3E24773BE07 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:14:14] 627*2^1424484-1 is not prime. Res64: BFB800217B087B42 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:40:50] 767*2^1424484-1 is not prime. Res64: AE2F36CDCC7EB303 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:40:50] 915*2^1424484-1 is not prime. Res64: 4F50FF702E6223F5 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:40:50] 945*2^1424484-1 is not prime. Res64: 6433D55A761A5DC8 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:40:51] 957*2^1424484-1 is not prime. Res64: 65A3888F0AA17657 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:40:51] 969*2^1424484-1 is not prime. Res64: 3D9F47D44C511F18 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:42:38] 601*2^1424485-1 is not prime. Res64: DD2FA982A6045669 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:42:39] 715*2^1424485-1 is not prime. Res64: F248B25F47BE8FED Time : 0.0 sec. user=mdettweiler [2016-03-27 16:42:39] 765*2^1424485-1 is not prime. Res64: 26662850068AFDB3 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:42:39] 799*2^1424485-1 is not prime. Res64: 64E7D28220D026F1 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:42:40] 831*2^1424485-1 is not prime. Res64: E71F89935EB21AD4 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:51:20] 859*2^1424485-1 is not prime. Res64: 85F775E624C415B0 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:51:21] 711*2^1424486-1 is not prime. Res64: 3968FFAFB4E6A446 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:51:21] 747*2^1424486-1 is not prime. Res64: 9A32397BB1DF10BC Time : 0.0 sec. user=mdettweiler [2016-03-27 16:51:22] 801*2^1424486-1 is not prime. Res64: 01D6E26D04280B33 Time : 0.0 sec. user=mdettweiler [2016-03-27 16:51:22] 851*2^1424486-1 is not prime. Res64: 2BC96E211DBF84FB Time : 0.0 sec. user=mdettweiler [2016-03-27 17:00:35] 857*2^1424486-1 is not prime. Res64: 0E42A9F5B1D92595 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:00:36] 921*2^1424486-1 is not prime. Res64: C5DA3DC173D753FA Time : 0.0 sec. user=mdettweiler [2016-03-27 17:00:37] 935*2^1424486-1 is not prime. Res64: B41E84CB1AE35157 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:00:38] 941*2^1424486-1 is not prime. Res64: F8A328DA9C5E3F66 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:00:39] 963*2^1424486-1 is not prime. Res64: D117E4D59E260BB3 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:27:22] 931*2^1424489-1 is not prime. Res64: 69CA0D73134219A1 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:30:03] 661*2^1424487-1 is not prime. Res64: 1F3161AA3F04F641 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:30:04] 693*2^1424487-1 is not prime. Res64: 2ECF456845E9F875 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:30:04] 751*2^1424487-1 is not prime. Res64: F7B177CA779A6F28 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:30:05] 843*2^1424487-1 is not prime. Res64: 1D3E77D92C3C9617 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:30:05] 963*2^1424487-1 is not prime. Res64: 6D3337EC19B55BAA Time : 0.0 sec. user=mdettweiler [2016-03-27 17:31:04] 605*2^1424488-1 is not prime. Res64: 5E589678393AF9CD Time : 0.0 sec. user=mdettweiler [2016-03-27 17:31:04] 657*2^1424488-1 is not prime. Res64: DB8FD351DE68DE01 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:31:05] 687*2^1424488-1 is not prime. Res64: 20B9A7CA34811E9D Time : 0.0 sec. user=mdettweiler [2016-03-27 17:31:05] 765*2^1424488-1 is not prime. Res64: BF7B40A73D935775 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:31:06] 825*2^1424488-1 is not prime. Res64: 8C9AA36B289601EE Time : 0.0 sec. user=mdettweiler [2016-03-27 17:40:30] 875*2^1424488-1 is not prime. Res64: ECE3AFD4965020E6 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:40:30] 959*2^1424488-1 is not prime. Res64: EADECA4E56507D29 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:40:31] 601*2^1424489-1 is not prime. Res64: 6BE154A96525F361 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:40:31] 619*2^1424489-1 is not prime. Res64: 5FD7C4EF90AD843A Time : 0.0 sec. user=mdettweiler [2016-03-27 17:40:32] 675*2^1424489-1 is not prime. Res64: 3ECC32248D961E34 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:49:04] 847*2^1424489-1 is not prime. Res64: 7805CACD42CD38C0 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:49:04] 865*2^1424489-1 is not prime. Res64: B799DA87E26D8A36 Time : 0.0 sec. user=mdettweiler [2016-03-27 17:49:05] 889*2^1424489-1 is not prime. Res64: D62878F694CAE90F Time : 0.0 sec. user=mdettweiler [2016-03-27 17:49:05] 907*2^1424489-1 is not prime. Res64: 86CA49ECCABA5A8C Time : 0.0 sec. user=mdettweiler [2016-03-27 17:49:06] 909*2^1424489-1 is not prime. Res64: 171CA0BFBCA55C4C Time : 0.0 sec. user=mdettweiler [2016-03-27 18:15:12] 939*2^1424489-1 is not prime. Res64: 2A57EBA06E6E4BA4 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:15:12] 951*2^1424489-1 is not prime. Res64: 5E21A572855D0C57 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:15:12] 955*2^1424489-1 is not prime. Res64: 7D2758815718623E Time : 0.0 sec. user=mdettweiler [2016-03-27 18:15:13] 615*2^1424490-1 is not prime. Res64: 4222B38E11C1B362 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:15:13] 651*2^1424490-1 is not prime. Res64: 5A0E692CD2B9B6DC Time : 0.0 sec. user=mdettweiler [2016-03-27 18:16:01] 653*2^1424490-1 is not prime. Res64: 495CCB2C0BA55E0A Time : 0.0 sec. user=mdettweiler [2016-03-27 18:16:02] 671*2^1424490-1 is not prime. Res64: 5F110650EA17CDB6 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:16:02] 711*2^1424490-1 is not prime. Res64: CA235B3CF2AC9BB2 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:16:03] 791*2^1424490-1 is not prime. Res64: 4A73A45B6DAD0597 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:16:03] 833*2^1424490-1 is not prime. Res64: 4B707C5AFE7CD5E9 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:25:20] 867*2^1424490-1 is not prime. Res64: A3C4FB60B59E843D Time : 0.0 sec. user=mdettweiler [2016-03-27 18:25:21] 927*2^1424490-1 is not prime. Res64: 8D90A7F5A35A5E74 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:25:21] 951*2^1424490-1 is not prime. Res64: D55D9C3BCA27F8B1 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:25:21] 663*2^1424491-1 is not prime. Res64: 3213D43DA45C71F7 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:25:22] 681*2^1424491-1 is not prime. Res64: C26F9F301CA5CCE9 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:33:52] 693*2^1424491-1 is not prime. Res64: 8BC8AEE1A12A9D95 Time : 0.0 sec. user=mdettweiler [2016-03-27 18:33:52] 835*2^1424491-1 is not prime. Res64: 494E42319721092A Time : 0.0 sec. user=mdettweiler [2016-03-27 18:33:53] 855*2^1424491-1 is not prime. Res64: B396854BCF18D78F Time : 0.0 sec. user=mdettweiler [2016-03-27 18:33:53] 859*2^1424491-1 is not prime. Res64: 65AE8F79E53267CA Time : 0.0 sec. user=mdettweiler [2016-03-27 18:33:53] 871*2^1424491-1 is not prime. Res64: 6EDA3CD360492035 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:04] 901*2^1424491-1 is not prime. Res64: B701D749272DC037 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:05] 969*2^1424491-1 is not prime. Res64: F8820BFC164F2447 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:05] 615*2^1424492-1 is not prime. Res64: 4E8440D5C4A50C62 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:05] 617*2^1424492-1 is not prime. Res64: 597E8002310A8034 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:06] 683*2^1424492-1 is not prime. Res64: 227F903257FDB43D Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:34] 735*2^1424492-1 is not prime. Res64: A1EA198A994FF826 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:35] 767*2^1424492-1 is not prime. Res64: 49093730B350EEA8 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:35] 897*2^1424492-1 is not prime. Res64: 6B93E64BCAF56691 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:36] 651*2^1424493-1 is not prime. Res64: 80624B3678FB8787 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:00:37] 819*2^1424493-1 is not prime. Res64: 800D9A59649DB62D Time : 0.0 sec. user=mdettweiler [2016-03-27 19:10:10] 847*2^1424493-1 is not prime. Res64: 59675FDDE4AE90BC Time : 0.0 sec. user=mdettweiler [2016-03-27 19:10:11] 867*2^1424493-1 is not prime. Res64: 0649220BAF14681A Time : 0.0 sec. user=mdettweiler [2016-03-27 19:10:11] 915*2^1424493-1 is not prime. Res64: AB340C819E2FCAD0 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:10:12] 951*2^1424493-1 is not prime. Res64: 590AE544A548CB0C Time : 0.0 sec. user=mdettweiler [2016-03-27 19:10:12] 985*2^1424493-1 is not prime. Res64: 3044567DBB50D0FE Time : 0.0 sec. user=mdettweiler [2016-03-27 19:19:11] 675*2^1424494-1 is not prime. Res64: C6921AB61ED9360C Time : 0.0 sec. user=mdettweiler [2016-03-27 19:19:11] 707*2^1424494-1 is not prime. Res64: 4ADDA952C8594685 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:19:12] 741*2^1424494-1 is not prime. Res64: 4F2866A6042B8852 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:19:12] 923*2^1424494-1 is not prime. Res64: ACA2C90103485056 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:19:13] 993*2^1424494-1 is not prime. Res64: 77EB84F8C0218E26 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:13] 623*2^1424496-1 is not prime. Res64: 68335B8DAB380C6C Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:13] 635*2^1424496-1 is not prime. Res64: C552703515BDA731 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:14] 693*2^1424496-1 is not prime. Res64: F936133C48D86F12 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:14] 707*2^1424496-1 is not prime. Res64: 631C9D876076C9AD Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:14] 765*2^1424496-1 is not prime. Res64: 9A372F8F8196A7D8 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:32] 619*2^1424495-1 is not prime. Res64: 6E4C07FD3A4AD637 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:32] 661*2^1424495-1 is not prime. Res64: A0C1ECB98103BD23 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:33] 741*2^1424495-1 is not prime. Res64: 7B7B561D349E8D13 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:33] 843*2^1424495-1 is not prime. Res64: DF8F585311940595 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:45:34] 865*2^1424495-1 is not prime. Res64: C1E0C77E7863121B Time : 0.0 sec. user=mdettweiler [2016-03-27 19:55:17] 815*2^1424496-1 is not prime. Res64: 987C91D78B712652 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:55:18] 887*2^1424496-1 is not prime. Res64: 61C799F192426E16 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:55:18] 909*2^1424496-1 is not prime. Res64: E9CDA7F53A8BF3EC Time : 0.0 sec. user=mdettweiler [2016-03-27 19:55:19] 983*2^1424496-1 is not prime. Res64: 6150AC62965C9D66 Time : 0.0 sec. user=mdettweiler [2016-03-27 19:55:19] 661*2^1424497-1 is not prime. Res64: 8410CC39A27E8143 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:04:12] 751*2^1424497-1 is not prime. Res64: 41A34E4BDA4A3C41 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:04:13] 771*2^1424497-1 is not prime. Res64: F981DA3A2BEE73C2 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:04:14] 805*2^1424497-1 is not prime. Res64: 4E0CE7A97DFA2505 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:04:15] 831*2^1424497-1 is not prime. Res64: 287A00C9BB1509AE Time : 0.0 sec. user=mdettweiler [2016-03-27 20:04:16] 909*2^1424497-1 is not prime. Res64: 79C16DAF049195B4 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:17] 915*2^1424497-1 is not prime. Res64: 162E6123F3551D27 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:17] 955*2^1424497-1 is not prime. Res64: 0FF5273226113B55 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:18] 979*2^1424497-1 is not prime. Res64: E6327B7477FA7921 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:18] 633*2^1424498-1 is not prime. Res64: F8D7AF2E5907223B Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:19] 801*2^1424498-1 is not prime. Res64: 99FEB255B999EA76 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:29] 815*2^1424498-1 is not prime. Res64: 7CB5B9EB9FEA8E59 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:30] 935*2^1424498-1 is not prime. Res64: EE133C77C555D115 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:30] 951*2^1424498-1 is not prime. Res64: D2FEC6C0E0A7D517 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:31] 971*2^1424498-1 is not prime. Res64: 5400C497E10775A8 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:30:31] 609*2^1424499-1 is not prime. Res64: DE5F9769A7117FEA Time : 0.0 sec. user=mdettweiler [2016-03-27 20:40:44] 691*2^1424499-1 is not prime. Res64: 2F5F867CFDBCF124 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:40:44] 741*2^1424499-1 is not prime. Res64: 0D53F2BA93A85E8F Time : 0.0 sec. user=mdettweiler [2016-03-27 20:40:44] 745*2^1424499-1 is not prime. Res64: 879C4301D8F30FFB Time : 0.0 sec. user=mdettweiler [2016-03-27 20:40:45] 835*2^1424499-1 is not prime. Res64: 04F34312307EF0D7 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:40:45] 919*2^1424499-1 is not prime. Res64: DC8DF2CE540450F0 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:41:38] 829*2^1424503-1 is not prime. Res64: E53701C367377C75 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:49:36] 857*2^1424500-1 is not prime. Res64: 804FB768FD659D78 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:49:37] 899*2^1424500-1 is not prime. Res64: 0CBFD7FFE33143BB Time : 0.0 sec. user=mdettweiler [2016-03-27 20:49:37] 957*2^1424500-1 is not prime. Res64: 876AAD582327E799 Time : 0.0 sec. user=mdettweiler [2016-03-27 20:49:38] 607*2^1424501-1 is not prime. Res64: 1D302083B9C0E10F Time : 0.0 sec. user=mdettweiler [2016-03-27 20:49:38] 619*2^1424501-1 is not prime. Res64: A751A40A5B554F3E Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:28] 669*2^1424501-1 is not prime. Res64: AF38DF046E657FD6 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:28] 777*2^1424501-1 is not prime. Res64: 497185D0C9A051E4 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:29] 937*2^1424501-1 is not prime. Res64: 0441F8A8203C998B Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:29] 945*2^1424501-1 is not prime. Res64: B11DB16FB41C3BD2 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:30] 755*2^1424502-1 is not prime. Res64: BC768158137BBB85 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:43] 791*2^1424502-1 is not prime. Res64: 2BE6B57F32C80976 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:43] 801*2^1424502-1 is not prime. Res64: 39F717F60FE6D8EA Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:44] 815*2^1424502-1 is not prime. Res64: 20D83E2F8E3C9D88 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:44] 923*2^1424502-1 is not prime. Res64: B8591B0FFC20D7AB Time : 0.0 sec. user=mdettweiler [2016-03-27 21:15:45] 663*2^1424503-1 is not prime. Res64: D0872C88AD5D6730 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:25:46] 859*2^1424503-1 is not prime. Res64: B9F5930459702AE7 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:25:46] 889*2^1424503-1 is not prime. Res64: 848E63ACC1030537 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:25:47] 961*2^1424503-1 is not prime. Res64: 1512EF513C6E4ABD Time : 0.0 sec. user=mdettweiler [2016-03-27 21:25:47] 605*2^1424504-1 is not prime. Res64: 75B146A9A75AC528 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:25:48] 717*2^1424504-1 is not prime. Res64: C02A85D15AB71DD9 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:34:33] 719*2^1424504-1 is not prime. Res64: CC69F4E5556F6561 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:34:33] 755*2^1424504-1 is not prime. Res64: 102A41BAE44EEA93 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:34:33] 869*2^1424504-1 is not prime. Res64: F1726D9C7FC39E8D Time : 0.0 sec. user=mdettweiler [2016-03-27 21:34:34] 667*2^1424505-1 is not prime. Res64: BFA2C399370F6D57 Time : 0.0 sec. user=mdettweiler [2016-03-27 21:34:34] 675*2^1424505-1 is not prime. Res64: 4C6A9377691C7E7C Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:18] 951*2^1424505-1 is not prime. Res64: D178C1D3F1B26CC3 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:19] 773*2^1424506-1 is not prime. Res64: 22E126F5063D1CB0 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:20] 777*2^1424506-1 is not prime. Res64: 91910FF8DA7D3C18 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:22] 867*2^1424506-1 is not prime. Res64: D254DC5917BF0400 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:23] 957*2^1424506-1 is not prime. Res64: B87C7C1F232D7FF5 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:51] 971*2^1424506-1 is not prime. Res64: BD85112D2E1DDF10 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:53] 735*2^1424507-1 is not prime. Res64: DBD963E48C361446 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:54] 901*2^1424507-1 is not prime. Res64: 576215F483CAB845 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:55] 963*2^1424507-1 is not prime. Res64: 68FBAF1ADBCBE56A Time : 0.0 sec. user=mdettweiler [2016-03-27 22:00:57] 973*2^1424507-1 is not prime. Res64: 3FAF0CCC7FAC44F8 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:10:46] 689*2^1424508-1 is not prime. Res64: 151C6C77CD6444BA Time : 0.0 sec. user=mdettweiler [2016-03-27 22:10:46] 705*2^1424508-1 is not prime. Res64: 328414AE837B6C91 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:10:47] 725*2^1424508-1 is not prime. Res64: F6934A897A966102 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:10:47] 839*2^1424508-1 is not prime. Res64: C0184B5E19442016 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:10:48] 887*2^1424508-1 is not prime. Res64: 0FCF02E09BD25C8A Time : 0.0 sec. user=mdettweiler [2016-03-27 22:19:50] 927*2^1424508-1 is not prime. Res64: 3F6664A935F13455 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:19:50] 681*2^1424509-1 is not prime. Res64: 22920284F7929103 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:19:51] 771*2^1424509-1 is not prime. Res64: 57ADBFB8A696AB27 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:19:51] 801*2^1424509-1 is not prime. Res64: 1A51B5AC445AED15 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:19:51] 957*2^1424509-1 is not prime. Res64: 0AACAC52CE989FD0 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:22] 603*2^1424510-1 is not prime. Res64: 098795AD576D0D2B Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:22] 657*2^1424510-1 is not prime. Res64: F4CC9C786EF481A7 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:23] 731*2^1424510-1 is not prime. Res64: F841E5CC73468077 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:23] 773*2^1424510-1 is not prime. Res64: 4C0B450754E7F9A0 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:23] 785*2^1424510-1 is not prime. Res64: 54A06B6B7F5A4ED7 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:59] 831*2^1424510-1 is not prime. Res64: 7A26644FDC6F0AD5 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:45:59] 917*2^1424510-1 is not prime. Res64: 60AEE47EF2742343 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:46:00] 971*2^1424510-1 is not prime. Res64: 24B1FD44F5702985 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:46:00] 619*2^1424511-1 is not prime. Res64: F7B658D89DB8CB8A Time : 0.0 sec. user=mdettweiler [2016-03-27 22:46:01] 703*2^1424511-1 is not prime. Res64: 2FAA3C5A8647C115 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:55:54] 763*2^1424511-1 is not prime. Res64: BAB0A754B4649A2D Time : 0.0 sec. user=mdettweiler [2016-03-27 22:55:54] 859*2^1424511-1 is not prime. Res64: 6B79B692D2CF33D2 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:55:55] 861*2^1424511-1 is not prime. Res64: C9FEFDEB40184782 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:55:55] 895*2^1424511-1 is not prime. Res64: 9BC9750B1A17AF35 Time : 0.0 sec. user=mdettweiler [2016-03-27 22:55:56] 969*2^1424511-1 is not prime. Res64: 3FED18DC1C40CB7A Time : 0.0 sec. user=mdettweiler [2016-03-27 23:05:08] 717*2^1424512-1 is not prime. Res64: EBA846AB5AB0837C Time : 0.0 sec. user=mdettweiler [2016-03-27 23:05:10] 803*2^1424512-1 is not prime. Res64: 53E53C283F60050F Time : 0.0 sec. user=mdettweiler [2016-03-27 23:05:11] 833*2^1424512-1 is not prime. Res64: E07EEEADB79B5033 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:05:12] 975*2^1424512-1 is not prime. Res64: E17AF3930C47BF32 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:05:14] 615*2^1424513-1 is not prime. Res64: B01DDB8DC4ABCD19 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:32:33] 619*2^1424513-1 is not prime. Res64: A807BBEC2ED22BAA Time : 0.0 sec. user=mdettweiler [2016-03-27 23:32:33] 675*2^1424513-1 is not prime. Res64: 39EC6C5BB9267B7F Time : 0.0 sec. user=mdettweiler [2016-03-27 23:32:33] 697*2^1424513-1 is not prime. Res64: 637BE2E80FD4B4A1 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:32:34] 705*2^1424513-1 is not prime. Res64: 20A51D1700A144D5 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:32:34] 729*2^1424513-1 is not prime. Res64: 3E928A96EF8A878B Time : 0.0 sec. user=mdettweiler [2016-03-27 23:33:44] 769*2^1424513-1 is not prime. Res64: 4C871B2DEF49BA0D Time : 0.0 sec. user=mdettweiler [2016-03-27 23:33:44] 663*2^1424514-1 is not prime. Res64: 8B07B0FD4466B0BD Time : 0.0 sec. user=mdettweiler [2016-03-27 23:33:44] 671*2^1424514-1 is not prime. Res64: 0A6C9C21AA0FB9B5 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:33:44] 737*2^1424514-1 is not prime. Res64: 70E594751052D371 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:33:44] 747*2^1424514-1 is not prime. Res64: CE4E56CAD337F1F9 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:44:15] 975*2^1424514-1 is not prime. Res64: C7A7ACE1936DA0D6 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:44:15] 805*2^1424515-1 is not prime. Res64: 79CB0D4192E5C8F2 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:44:16] 889*2^1424515-1 is not prime. Res64: A0321FA2C06C9871 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:44:16] 891*2^1424515-1 is not prime. Res64: A329E17809F93AB4 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:44:16] 969*2^1424515-1 is not prime. Res64: 7E0BABA0937D77AF Time : 0.0 sec. user=mdettweiler [2016-03-27 23:53:51] 985*2^1424515-1 is not prime. Res64: A9F9682B547ECF44 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:53:51] 633*2^1424516-1 is not prime. Res64: FEE1E696CF7DEC38 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:53:52] 675*2^1424516-1 is not prime. Res64: CDC9D8EFCD81A401 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:53:52] 845*2^1424516-1 is not prime. Res64: 6296F20705CC80AB Time : 0.0 sec. user=mdettweiler [2016-03-27 23:53:53] 903*2^1424516-1 is not prime. Res64: 6811630D56311E88 Time : 0.0 sec. user=mdettweiler [2016-03-27 23:56:44] 885*2^1424518-1 is not prime. Res64: C0B244170CF3826A Time : 0.0 sec.