user=mdettweiler [2016-04-06 00:11:41] 657*2^1425396-1 is not prime. Res64: 448B39C57FB29634 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:11:41] 735*2^1425396-1 is not prime. Res64: 25E32726FCC071DC Time : 0.0 sec. user=mdettweiler [2016-04-06 00:11:42] 779*2^1425396-1 is not prime. Res64: F859D8CFE11B812D Time : 0.0 sec. user=mdettweiler [2016-04-06 00:11:42] 783*2^1425396-1 is not prime. Res64: 6FCB2C16900B0574 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:11:42] 825*2^1425396-1 is not prime. Res64: 3974A7A677FC5804 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:17:44] 837*2^1425396-1 is not prime. Res64: 4168631B4F527CA6 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:17:44] 909*2^1425396-1 is not prime. Res64: 6602872F0D93CA6F Time : 0.0 sec. user=mdettweiler [2016-04-06 00:17:44] 741*2^1425397-1 is not prime. Res64: 9BDC9BFB50565218 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:17:45] 801*2^1425397-1 is not prime. Res64: 635DCD09DB926763 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:17:45] 847*2^1425397-1 is not prime. Res64: 8D798139D936EEBB Time : 0.0 sec. user=mdettweiler [2016-04-06 00:19:36] 871*2^1425397-1 is not prime. Res64: 8E78C2865660EBD9 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:19:36] 603*2^1425398-1 is not prime. Res64: A5AFC79DC71A2531 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:19:37] 707*2^1425398-1 is not prime. Res64: F5A2118E0AB09DC1 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:19:37] 755*2^1425398-1 is not prime. Res64: F9CFF60576EAC7E2 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:19:37] 857*2^1425398-1 is not prime. Res64: 2D1A48008ABCF6EA Time : 0.0 sec. user=mdettweiler [2016-04-06 00:25:19] 875*2^1425398-1 is not prime. Res64: 1DCAFEF03842AE56 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:25:19] 915*2^1425398-1 is not prime. Res64: 228F4D0A2FDF8130 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:25:19] 923*2^1425398-1 is not prime. Res64: B40EFA4733374AF0 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:25:19] 945*2^1425398-1 is not prime. Res64: AA3002A5F8D81BEA Time : 0.0 sec. user=mdettweiler [2016-04-06 00:25:20] 679*2^1425399-1 is not prime. Res64: 1A3345EF184D8BA5 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:58:01] 741*2^1425399-1 is not prime. Res64: D6CDC45AB27A2654 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:58:02] 763*2^1425399-1 is not prime. Res64: E91E7723D6CA8FA9 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:58:02] 865*2^1425399-1 is not prime. Res64: 3AD07C97E695FD71 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:58:02] 913*2^1425399-1 is not prime. Res64: 7BF155F485314BD0 Time : 0.0 sec. user=mdettweiler [2016-04-06 00:58:02] 919*2^1425399-1 is not prime. Res64: DE258BFE5F4055A5 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:04:03] 921*2^1425399-1 is not prime. Res64: B2442F6116AA171F Time : 0.0 sec. user=mdettweiler [2016-04-06 01:04:03] 933*2^1425399-1 is not prime. Res64: 78AD87D8833ECBA1 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:04:04] 603*2^1425400-1 is not prime. Res64: 6E66CD43592B73C2 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:04:05] 623*2^1425400-1 is not prime. Res64: DFC24A18F4165967 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:04:06] 635*2^1425400-1 is not prime. Res64: 2AED56DE98E04FCA Time : 0.0 sec. user=mdettweiler [2016-04-06 01:05:52] 873*2^1425400-1 is not prime. Res64: 0EA7F3A0D2528B07 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:05:52] 917*2^1425400-1 is not prime. Res64: A543835D89420034 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:05:52] 927*2^1425400-1 is not prime. Res64: 7E4AA8AE8A7DBEE8 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:05:53] 939*2^1425400-1 is not prime. Res64: E4B7062E36AE558E Time : 0.0 sec. user=mdettweiler [2016-04-06 01:05:53] 959*2^1425400-1 is not prime. Res64: F81378C2B1FBEDC2 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:12:10] 615*2^1425401-1 is not prime. Res64: 22C328AE064BB7CC Time : 0.0 sec. user=mdettweiler [2016-04-06 01:12:10] 679*2^1425401-1 is not prime. Res64: 6E02090C2829A250 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:12:11] 855*2^1425401-1 is not prime. Res64: 16AD38EC2BB4806F Time : 0.0 sec. user=mdettweiler [2016-04-06 01:12:11] 865*2^1425401-1 is not prime. Res64: FBC20B3B95DB99E0 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:12:12] 889*2^1425401-1 is not prime. Res64: B3B526D349BCE422 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:43:45] 925*2^1425401-1 is not prime. Res64: 1E6DC9F6B9D6AFD0 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:43:46] 635*2^1425402-1 is not prime. Res64: 03623487F0A322C7 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:43:46] 717*2^1425402-1 is not prime. Res64: 006BF53ED43C34D4 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:43:46] 725*2^1425402-1 is not prime. Res64: ED46AFCE70CB98F3 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:43:46] 791*2^1425402-1 is not prime. Res64: 5305D3BD64956BF6 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:49:42] 917*2^1425402-1 is not prime. Res64: B4993F980DDD3568 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:49:42] 639*2^1425403-1 is not prime. Res64: F72B924B82DBE179 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:49:43] 699*2^1425403-1 is not prime. Res64: AF0338390BE727EA Time : 0.0 sec. user=mdettweiler [2016-04-06 01:49:43] 741*2^1425403-1 is not prime. Res64: 1ED3003DEB5C81C5 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:49:43] 819*2^1425403-1 is not prime. Res64: 44EFF0D3D5FB5AA6 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:51:34] 901*2^1425403-1 is not prime. Res64: 66C02CE675A0A6C6 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:51:34] 951*2^1425403-1 is not prime. Res64: 065451CCDC689AB1 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:51:35] 767*2^1425404-1 is not prime. Res64: 6A5990935C5E69A5 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:51:35] 789*2^1425404-1 is not prime. Res64: 23A00AA99752E6AA Time : 0.0 sec. user=mdettweiler [2016-04-06 01:51:35] 855*2^1425404-1 is not prime. Res64: 6B2045D8F9ADD3C0 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:57:30] 875*2^1425404-1 is not prime. Res64: 24DAB9CC4CA54881 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:57:30] 923*2^1425404-1 is not prime. Res64: 6270947734EBF588 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:57:31] 717*2^1425405-1 is not prime. Res64: F472876C8EEEDF33 Time : 0.0 sec. user=mdettweiler [2016-04-06 01:57:31] 859*2^1425405-1 is not prime. Res64: C79F0449ADE3409C Time : 0.0 sec. user=mdettweiler [2016-04-06 01:57:31] 919*2^1425405-1 is not prime. Res64: 9C9C399996068829 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:28:36] 647*2^1425406-1 is not prime. Res64: 5F66EDF3ACC8C9FC Time : 0.0 sec. user=mdettweiler [2016-04-06 02:28:37] 675*2^1425406-1 is not prime. Res64: 2FFCCAAEB6E7021B Time : 0.0 sec. user=mdettweiler [2016-04-06 02:28:37] 661*2^1425407-1 is not prime. Res64: 6ED677B536941AF8 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:28:38] 669*2^1425407-1 is not prime. Res64: 85B30B4768BBD362 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:28:38] 735*2^1425407-1 is not prime. Res64: 2278DA4F00D31AF5 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:34:57] 945*2^1425407-1 is not prime. Res64: 50FEEAC3DDE958BF Time : 0.0 sec. user=mdettweiler [2016-04-06 02:34:58] 633*2^1425408-1 is not prime. Res64: 946CEA0362A04778 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:34:58] 753*2^1425408-1 is not prime. Res64: 997D097DB284FF85 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:34:59] 969*2^1425408-1 is not prime. Res64: 07D65A5CD825011F Time : 0.0 sec. user=mdettweiler [2016-04-06 02:34:59] 601*2^1425409-1 is not prime. Res64: 6D769FF8AF6E1719 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:36:41] 691*2^1425409-1 is not prime. Res64: 3A2154E041715960 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:36:41] 765*2^1425409-1 is not prime. Res64: 4115C75B5C1D97C5 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:36:42] 801*2^1425409-1 is not prime. Res64: 723FBC8C0EF0CE1F Time : 0.0 sec. user=mdettweiler [2016-04-06 02:36:42] 835*2^1425409-1 is not prime. Res64: 6F1C5F9D1E9B4257 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:36:42] 885*2^1425409-1 is not prime. Res64: E42107FB4FBC1B87 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:42:45] 895*2^1425409-1 is not prime. Res64: F64D0A363A88135E Time : 0.0 sec. user=mdettweiler [2016-04-06 02:42:46] 987*2^1425409-1 is not prime. Res64: F6A6D0E6B212C00F Time : 0.0 sec. user=mdettweiler [2016-04-06 02:42:46] 997*2^1425409-1 is not prime. Res64: 785072613C96C5C5 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:42:46] 651*2^1425410-1 is not prime. Res64: 9F1C1CA1E5D26544 Time : 0.0 sec. user=mdettweiler [2016-04-06 02:42:46] 755*2^1425410-1 is not prime. Res64: 722DBF0085B3ADE2 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:13:44] 797*2^1425410-1 is not prime. Res64: 08B70EC3D9ADBB38 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:13:44] 831*2^1425410-1 is not prime. Res64: 3233DEF28B0B53EE Time : 0.0 sec. user=mdettweiler [2016-04-06 03:13:45] 945*2^1425410-1 is not prime. Res64: 9D5EF48FCC7C0B22 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:13:45] 711*2^1425411-1 is not prime. Res64: 32EECEA4534E9ED3 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:13:45] 769*2^1425411-1 is not prime. Res64: B2A2A7B4CEA49D06 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:20:22] 801*2^1425411-1 is not prime. Res64: 4B39B1187282B300 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:20:22] 849*2^1425411-1 is not prime. Res64: 168DA01029B983B0 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:20:23] 885*2^1425411-1 is not prime. Res64: C6224082A5123185 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:20:23] 943*2^1425411-1 is not prime. Res64: 3D2DE8BB70615CB4 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:20:23] 961*2^1425411-1 is not prime. Res64: 84833C282A7F1315 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:21:51] 605*2^1425412-1 is not prime. Res64: 946C2AF75FE01289 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:21:51] 677*2^1425412-1 is not prime. Res64: 4DDFC97B0373AD0D Time : 0.0 sec. user=mdettweiler [2016-04-06 03:21:52] 689*2^1425412-1 is not prime. Res64: 8A0D30873C0AA01C Time : 0.0 sec. user=mdettweiler [2016-04-06 03:21:52] 735*2^1425412-1 is not prime. Res64: C72F75301AEC060E Time : 0.0 sec. user=mdettweiler [2016-04-06 03:21:52] 825*2^1425412-1 is not prime. Res64: F160529DD7D2A4B5 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:28:05] 869*2^1425412-1 is not prime. Res64: B23329C0FE0959D3 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:28:06] 875*2^1425412-1 is not prime. Res64: 454D2EDF3A54BEC6 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:28:06] 903*2^1425412-1 is not prime. Res64: F2D9DCA0C9D5B67A Time : 0.0 sec. user=mdettweiler [2016-04-06 03:28:07] 915*2^1425412-1 is not prime. Res64: 4A808FEC9AF4B85E Time : 0.0 sec. user=mdettweiler [2016-04-06 03:28:07] 929*2^1425412-1 is not prime. Res64: FBA3C0553C4D1049 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:58:51] 987*2^1425412-1 is not prime. Res64: A649499A75DD030C Time : 0.0 sec. user=mdettweiler [2016-04-06 03:58:52] 989*2^1425412-1 is not prime. Res64: A51DC7C5F4406F29 Time : 0.0 sec. user=mdettweiler [2016-04-06 03:58:52] 697*2^1425413-1 is not prime. Res64: 37A0CE80E3E7452B Time : 0.0 sec. user=mdettweiler [2016-04-06 03:58:52] 735*2^1425413-1 is not prime. Res64: 37D48E87DC2854FE Time : 0.0 sec. user=mdettweiler [2016-04-06 03:58:53] 787*2^1425413-1 is not prime. Res64: AD22227E0C5F1AA5 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:05:41] 807*2^1425414-1 is not prime. Res64: 654FD467C3C3DB3D Time : 0.0 sec. user=mdettweiler [2016-04-06 04:05:43] 887*2^1425414-1 is not prime. Res64: 397014BD5AD5FAF5 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:05:43] 891*2^1425414-1 is not prime. Res64: 374C233438A7831D Time : 0.0 sec. user=mdettweiler [2016-04-06 04:05:44] 917*2^1425414-1 is not prime. Res64: DCF331D5E5C8DEEA Time : 0.0 sec. user=mdettweiler [2016-04-06 04:05:46] 965*2^1425414-1 is not prime. Res64: D43EFC409E553E47 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:06:44] 693*2^1425415-1 is not prime. Res64: 6991E7AD8FF154F2 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:06:45] 709*2^1425415-1 is not prime. Res64: 92E041C625943E6E Time : 0.0 sec. user=mdettweiler [2016-04-06 04:06:46] 723*2^1425415-1 is not prime. Res64: 8F3F24CCD1BDC0ED Time : 0.0 sec. user=mdettweiler [2016-04-06 04:06:46] 793*2^1425415-1 is not prime. Res64: CB9E4F5C9584AEAA Time : 0.0 sec. user=mdettweiler [2016-04-06 04:06:46] 855*2^1425415-1 is not prime. Res64: E6C8D2EE4040162E Time : 0.0 sec. user=mdettweiler [2016-04-06 04:13:14] 951*2^1425415-1 is not prime. Res64: E578EEB2AB348A6A Time : 0.0 sec. user=mdettweiler [2016-04-06 04:13:14] 999*2^1425415-1 is not prime. Res64: D5F2C2BEB1005683 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:13:14] 615*2^1425416-1 is not prime. Res64: 8BBA02E81D369435 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:13:14] 813*2^1425416-1 is not prime. Res64: F504A1E254746255 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:13:15] 843*2^1425416-1 is not prime. Res64: 2844B0838C481CA1 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:41:48] 689*2^1425420-1 is not prime. Res64: F9AA2892684E2F69 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:44:01] 845*2^1425416-1 is not prime. Res64: 6A325B6EAA02A995 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:44:02] 897*2^1425416-1 is not prime. Res64: 497CFCADAE5D90C6 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:44:02] 649*2^1425417-1 is not prime. Res64: EC59D7B4495996AB Time : 0.0 sec. user=mdettweiler [2016-04-06 04:44:02] 681*2^1425417-1 is not prime. Res64: 0C65272908FD2FFC Time : 0.0 sec. user=mdettweiler [2016-04-06 04:44:02] 691*2^1425417-1 is not prime. Res64: 6C863A9B0432F2D7 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:50:54] 769*2^1425417-1 is not prime. Res64: 0893334C8578AEEE Time : 0.0 sec. user=mdettweiler [2016-04-06 04:50:54] 777*2^1425417-1 is not prime. Res64: B07752138D732A1D Time : 0.0 sec. user=mdettweiler [2016-04-06 04:50:54] 895*2^1425417-1 is not prime. Res64: 8DF11FB492470754 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:50:54] 671*2^1425418-1 is not prime. Res64: 89255679FC98AE2B Time : 0.0 sec. user=mdettweiler [2016-04-06 04:50:55] 705*2^1425418-1 is not prime. Res64: CEC5C25297F4F066 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:51:59] 857*2^1425418-1 is not prime. Res64: 3B05DE8FE9BED863 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:51:59] 867*2^1425418-1 is not prime. Res64: 8738BA5D35DB65D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:52:00] 885*2^1425418-1 is not prime. Res64: 03301C47594F402B Time : 0.0 sec. user=mdettweiler [2016-04-06 04:52:00] 693*2^1425419-1 is not prime. Res64: E8B3DA74F4D2F8BF Time : 0.0 sec. user=mdettweiler [2016-04-06 04:52:00] 703*2^1425419-1 is not prime. Res64: 1638C98C4E645AF8 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:58:09] 735*2^1425419-1 is not prime. Res64: 6A91686A319668C9 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:58:10] 789*2^1425419-1 is not prime. Res64: DFABA65CEA9CFE54 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:58:10] 949*2^1425419-1 is not prime. Res64: CC2A99045F400623 Time : 0.0 sec. user=mdettweiler [2016-04-06 04:58:10] 627*2^1425420-1 is not prime. Res64: 980B16A593A5F71A Time : 0.0 sec. user=mdettweiler [2016-04-06 04:58:10] 669*2^1425420-1 is not prime. Res64: 217356181885B438 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:30:14] 707*2^1425420-1 is not prime. Res64: D3830D15B4A347CB Time : 0.0 sec. user=mdettweiler [2016-04-06 05:30:14] 779*2^1425420-1 is not prime. Res64: E2E0C01021A61F93 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:30:14] 843*2^1425420-1 is not prime. Res64: 86CCCFD3F8C70B30 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:30:15] 957*2^1425420-1 is not prime. Res64: E0BEF93893ACB4CA Time : 0.0 sec. user=mdettweiler [2016-04-06 05:30:15] 687*2^1425421-1 is not prime. Res64: 9E70410AEBCEB9C1 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:36:41] 829*2^1425421-1 is not prime. Res64: 842883377D0BC9E2 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:36:41] 975*2^1425421-1 is not prime. Res64: 07AD1A62AED1B1D6 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:36:42] 999*2^1425421-1 is not prime. Res64: 6BAD572B5EE52115 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:36:42] 617*2^1425422-1 is not prime. Res64: ADA62C49188EB068 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:36:42] 675*2^1425422-1 is not prime. Res64: BED2CB288A0F274D Time : 0.0 sec. user=mdettweiler [2016-04-06 05:38:07] 791*2^1425422-1 is not prime. Res64: 5E6B3B200118B275 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:38:07] 813*2^1425422-1 is not prime. Res64: 3180EBB3ABCB174E Time : 0.0 sec. user=mdettweiler [2016-04-06 05:38:08] 621*2^1425423-1 is not prime. Res64: CC83554E3BFD5F25 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:38:08] 649*2^1425423-1 is not prime. Res64: 5CD976D3AA24E9C7 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:38:08] 663*2^1425423-1 is not prime. Res64: E483F04038AD5352 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:44:26] 679*2^1425423-1 is not prime. Res64: 2017618886B2A955 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:44:27] 739*2^1425423-1 is not prime. Res64: E4450D9B6A0708D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:44:27] 775*2^1425423-1 is not prime. Res64: F131623CE61DFF90 Time : 0.0 sec. user=mdettweiler [2016-04-06 05:44:27] 789*2^1425423-1 is not prime. Res64: A2B47E6777E4658A Time : 0.0 sec. user=mdettweiler [2016-04-06 05:44:27] 825*2^1425423-1 is not prime. Res64: 1D90283C3C34469D Time : 0.0 sec. user=mdettweiler [2016-04-06 06:15:25] 879*2^1425423-1 is not prime. Res64: CB0315151C671894 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:15:26] 969*2^1425423-1 is not prime. Res64: E4AF9A076D19AA1A Time : 0.0 sec. user=mdettweiler [2016-04-06 06:15:26] 609*2^1425424-1 is not prime. Res64: 6370C43594EEFA94 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:15:26] 705*2^1425424-1 is not prime. Res64: 13714BB2CFF15E07 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:15:26] 887*2^1425424-1 is not prime. Res64: 80C83A2005BF33E8 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:21:57] 909*2^1425424-1 is not prime. Res64: BAC5F4FEA9596F7D Time : 0.0 sec. user=mdettweiler [2016-04-06 06:21:57] 983*2^1425424-1 is not prime. Res64: EDC938DA17340C2C Time : 0.0 sec. user=mdettweiler [2016-04-06 06:21:57] 619*2^1425425-1 is not prime. Res64: 590A8F1C7B25CD97 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:21:58] 669*2^1425425-1 is not prime. Res64: 3EC7091D98457692 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:21:58] 675*2^1425425-1 is not prime. Res64: DAA4723500178089 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:23:17] 837*2^1425425-1 is not prime. Res64: F092E9B0F6A62F6A Time : 0.0 sec. user=mdettweiler [2016-04-06 06:23:18] 865*2^1425425-1 is not prime. Res64: 0C2D080B4424C275 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:23:18] 907*2^1425425-1 is not prime. Res64: 129A00847B5AF577 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:23:18] 987*2^1425425-1 is not prime. Res64: F2F4F6D116A3CFD2 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:23:18] 611*2^1425426-1 is not prime. Res64: DB9CE0743F6C9965 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:29:55] 633*2^1425426-1 is not prime. Res64: 2DAF61F831210203 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:29:55] 933*2^1425426-1 is not prime. Res64: 2440A432E66E6172 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:29:56] 621*2^1425427-1 is not prime. Res64: C104E029E759D258 Time : 0.0 sec. user=mdettweiler [2016-04-06 06:29:56] 705*2^1425427-1 is not prime. Res64: CBBFE6763A905CCF Time : 0.0 sec. user=mdettweiler [2016-04-06 06:29:56] 829*2^1425427-1 is not prime. Res64: 4FEAFF098E0EF1F3 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:00:40] 931*2^1425427-1 is not prime. Res64: 7DC2744782A99036 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:00:40] 961*2^1425427-1 is not prime. Res64: 77951422A0AE317E Time : 0.0 sec. user=mdettweiler [2016-04-06 07:00:41] 753*2^1425428-1 is not prime. Res64: CC2902C3716A7A72 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:00:41] 869*2^1425428-1 is not prime. Res64: E6F7994B06E8A5F7 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:00:42] 885*2^1425428-1 is not prime. Res64: 11A862BF3A2963A3 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:07:07] 625*2^1425429-1 is not prime. Res64: DF881ACCE1350ED1 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:07:07] 681*2^1425429-1 is not prime. Res64: 48FD0F8D02388DB7 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:07:08] 745*2^1425429-1 is not prime. Res64: A65CDFF87C31308D Time : 0.0 sec. user=mdettweiler [2016-04-06 07:07:08] 831*2^1425429-1 is not prime. Res64: 309BF14DA134998B Time : 0.0 sec. user=mdettweiler [2016-04-06 07:07:08] 847*2^1425429-1 is not prime. Res64: DCE06189DBC0AA2A Time : 0.0 sec. user=mdettweiler [2016-04-06 07:08:36] 951*2^1425429-1 is not prime. Res64: CC98BB79092E0D20 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:08:37] 969*2^1425429-1 is not prime. Res64: 29314FEDDA6EC2F6 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:08:37] 663*2^1425430-1 is not prime. Res64: B8C454987AF9FAF1 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:08:37] 687*2^1425430-1 is not prime. Res64: 135A258D9CBE348C Time : 0.0 sec. user=mdettweiler [2016-04-06 07:08:37] 695*2^1425430-1 is not prime. Res64: A975E0DEECF226A6 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:15:15] 621*2^1425431-1 is not prime. Res64: 8C4397769DDA1BC6 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:15:15] 645*2^1425431-1 is not prime. Res64: A3049978824EA08A Time : 0.0 sec. user=mdettweiler [2016-04-06 07:15:15] 651*2^1425431-1 is not prime. Res64: AD17FD20842259D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:15:16] 685*2^1425431-1 is not prime. Res64: 28D566EA43938F9A Time : 0.0 sec. user=mdettweiler [2016-04-06 07:15:16] 789*2^1425431-1 is not prime. Res64: F14333C5E23A5ACF Time : 0.0 sec. user=mdettweiler [2016-04-06 07:45:51] 921*2^1425431-1 is not prime. Res64: 1134533987A20C3C Time : 0.0 sec. user=mdettweiler [2016-04-06 07:45:51] 969*2^1425431-1 is not prime. Res64: E28343346059E261 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:45:51] 981*2^1425431-1 is not prime. Res64: 50D8021FD34AF3DA Time : 0.0 sec. user=mdettweiler [2016-04-06 07:45:51] 999*2^1425431-1 is not prime. Res64: 6BCE19DDD7A77244 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:45:52] 657*2^1425432-1 is not prime. Res64: AA5C768BBEF1CB99 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:52:44] 815*2^1425432-1 is not prime. Res64: 267FA9D99AEF8C39 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:52:44] 819*2^1425432-1 is not prime. Res64: B5C79D99B0873D98 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:52:45] 923*2^1425432-1 is not prime. Res64: 43278CCC3392D6D0 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:52:45] 929*2^1425432-1 is not prime. Res64: 2A712927BCE8112F Time : 0.0 sec. user=mdettweiler [2016-04-06 07:52:45] 959*2^1425432-1 is not prime. Res64: 7D48A34E62B223E8 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:54:01] 977*2^1425432-1 is not prime. Res64: 589F078ED1DDC582 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:54:01] 747*2^1425433-1 is not prime. Res64: 793BA9614BC18C0E Time : 0.0 sec. user=mdettweiler [2016-04-06 07:54:01] 771*2^1425433-1 is not prime. Res64: 16E35F28C8AE8BD6 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:54:01] 753*2^1425434-1 is not prime. Res64: C875F97199E72B69 Time : 0.0 sec. user=mdettweiler [2016-04-06 07:54:02] 927*2^1425434-1 is not prime. Res64: 68C08F734026C856 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:00:33] 935*2^1425434-1 is not prime. Res64: 2A3C4DF87453EA96 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:00:34] 613*2^1425435-1 is not prime. Res64: C98EC2DC4507EAD4 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:00:35] 633*2^1425435-1 is not prime. Res64: 24EE9A7074703027 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:00:35] 685*2^1425435-1 is not prime. Res64: CA6C8C333FBACA91 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:00:35] 709*2^1425435-1 is not prime. Res64: 842D79D74ECF2319 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:30:57] 795*2^1425435-1 is not prime. Res64: CA923AA6E50BA0A2 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:30:57] 819*2^1425435-1 is not prime. Res64: 53DAE63DB5B22A7A Time : 0.0 sec. user=mdettweiler [2016-04-06 08:30:57] 849*2^1425435-1 is not prime. Res64: 8BB4BAB2D4DA82E4 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:30:58] 895*2^1425435-1 is not prime. Res64: 04943F96BBCC998B Time : 0.0 sec. user=mdettweiler [2016-04-06 08:30:58] 969*2^1425435-1 is not prime. Res64: 8D212DDF9F4B88F5 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:38:01] 609*2^1425436-1 is not prime. Res64: 25BD8ACA51CC9F8C Time : 0.0 sec. user=mdettweiler [2016-04-06 08:38:01] 749*2^1425436-1 is not prime. Res64: 5BC06BFADE0351A0 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:38:01] 839*2^1425436-1 is not prime. Res64: 4A69AF20E9977A31 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:38:02] 845*2^1425436-1 is not prime. Res64: 78CB894EAA027498 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:38:02] 939*2^1425436-1 is not prime. Res64: A83266D53386DE43 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:39:10] 975*2^1425436-1 is not prime. Res64: E1F8D8A9A967B018 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:39:10] 619*2^1425437-1 is not prime. Res64: C5D453DCB6E314B4 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:39:10] 645*2^1425437-1 is not prime. Res64: EAD7585073150FA2 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:39:11] 711*2^1425437-1 is not prime. Res64: 606AF2E538C59AD9 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:39:11] 717*2^1425437-1 is not prime. Res64: C909F2F50287E099 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:45:42] 727*2^1425437-1 is not prime. Res64: 67362ED97E585541 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:45:43] 735*2^1425437-1 is not prime. Res64: 8FE9C9CEAABF0B1E Time : 0.0 sec. user=mdettweiler [2016-04-06 08:45:43] 771*2^1425437-1 is not prime. Res64: 93C59875A0584421 Time : 0.0 sec. user=mdettweiler [2016-04-06 08:45:43] 795*2^1425437-1 is not prime. Res64: 6566EBDFD7175CDB Time : 0.0 sec. user=mdettweiler [2016-04-06 08:45:43] 861*2^1425437-1 is not prime. Res64: 878103308AB0F7B0 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:16:01] 901*2^1425437-1 is not prime. Res64: F620246FED5B4A9D Time : 0.0 sec. user=mdettweiler [2016-04-06 09:16:01] 939*2^1425437-1 is not prime. Res64: 450AF3B680D8DBDD Time : 0.0 sec. user=mdettweiler [2016-04-06 09:16:01] 981*2^1425437-1 is not prime. Res64: C655035E140F0B9B Time : 0.0 sec. user=mdettweiler [2016-04-06 09:16:02] 611*2^1425438-1 is not prime. Res64: 99ABA10D627C9D8E Time : 0.0 sec. user=mdettweiler [2016-04-06 09:16:02] 933*2^1425438-1 is not prime. Res64: A047FADD46A42320 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:23:11] 615*2^1425439-1 is not prime. Res64: 2B2D40172288D8DD Time : 0.0 sec. user=mdettweiler [2016-04-06 09:23:12] 661*2^1425439-1 is not prime. Res64: 8A753765656F2AB0 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:23:12] 729*2^1425439-1 is not prime. Res64: B41CE1F33A93A293 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:23:12] 775*2^1425439-1 is not prime. Res64: 53E35042801F76CC Time : 0.0 sec. user=mdettweiler [2016-04-06 09:23:12] 969*2^1425439-1 is not prime. Res64: F050918D1FA62BFF Time : 0.0 sec. user=mdettweiler [2016-04-06 09:24:09] 855*2^1425440-1 is not prime. Res64: 10C15D4AF3F6DC4A Time : 0.0 sec. user=mdettweiler [2016-04-06 09:24:09] 875*2^1425440-1 is not prime. Res64: B943FF3C63EFD659 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:24:10] 909*2^1425440-1 is not prime. Res64: 8F5B437F14EA0438 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:24:10] 977*2^1425440-1 is not prime. Res64: 3F10C4742129A193 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:24:10] 983*2^1425440-1 is not prime. Res64: 02292C8ED88D7455 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:30:38] 705*2^1425441-1 is not prime. Res64: C213648B18E4F57D Time : 0.0 sec. user=mdettweiler [2016-04-06 09:30:38] 811*2^1425441-1 is not prime. Res64: B217D37791DB5926 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:30:39] 909*2^1425441-1 is not prime. Res64: 65AA42479EC79579 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:30:39] 623*2^1425442-1 is not prime. Res64: 0CDDEF3D8A140088 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:30:39] 713*2^1425442-1 is not prime. Res64: 205F2E16503CE262 Time : 0.0 sec. user=mdettweiler [2016-04-06 09:39:55] 819*2^1425445-1 is not prime. Res64: 87813587A2840AEB Time : 0.0 sec. user=mdettweiler [2016-04-06 10:00:53] 735*2^1425442-1 is not prime. Res64: 423ACA6D64ACE76E Time : 0.0 sec. user=mdettweiler [2016-04-06 10:00:54] 741*2^1425442-1 is not prime. Res64: 2B952B365905CF20 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:00:55] 813*2^1425442-1 is not prime. Res64: 7AE7B4393B811E27 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:00:55] 891*2^1425442-1 is not prime. Res64: 541B16C60281BB1B Time : 0.0 sec. user=mdettweiler [2016-04-06 10:00:56] 987*2^1425442-1 is not prime. Res64: B84046FF849067BA Time : 0.0 sec. user=mdettweiler [2016-04-06 10:08:30] 603*2^1425443-1 is not prime. Res64: 529A8463B9CE8C09 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:08:31] 685*2^1425443-1 is not prime. Res64: 3069EBFFCDF26472 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:08:31] 753*2^1425443-1 is not prime. Res64: 7EE5A57596969C45 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:08:31] 853*2^1425443-1 is not prime. Res64: 799E3DC29D8FD472 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:08:31] 913*2^1425443-1 is not prime. Res64: 9797D4687B6B16A1 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:09:28] 981*2^1425443-1 is not prime. Res64: EDB644E05A207964 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:09:28] 993*2^1425443-1 is not prime. Res64: CB0F4444ECE4D837 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:09:29] 629*2^1425444-1 is not prime. Res64: 3F900663B329C9DB Time : 0.0 sec. user=mdettweiler [2016-04-06 10:09:29] 767*2^1425444-1 is not prime. Res64: 9A68CE6BD018C352 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:09:29] 795*2^1425444-1 is not prime. Res64: 31B3898330B64278 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:15:46] 893*2^1425444-1 is not prime. Res64: E9E6332A7459F33E Time : 0.0 sec. user=mdettweiler [2016-04-06 10:15:46] 915*2^1425444-1 is not prime. Res64: A989009E7F6B9FF5 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:15:46] 965*2^1425444-1 is not prime. Res64: D5C14E2EF8A5D914 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:15:46] 969*2^1425444-1 is not prime. Res64: EB0EF01FB046A673 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:15:47] 717*2^1425445-1 is not prime. Res64: AC9BE18E6BED1D46 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:45:57] 861*2^1425445-1 is not prime. Res64: E12D01B9B3C166BB Time : 0.0 sec. user=mdettweiler [2016-04-06 10:45:58] 939*2^1425445-1 is not prime. Res64: F9BED8A6BB917118 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:45:58] 979*2^1425445-1 is not prime. Res64: AAB07F00CA4B877C Time : 0.0 sec. user=mdettweiler [2016-04-06 10:45:58] 693*2^1425446-1 is not prime. Res64: A4F0710EF4978996 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:45:58] 705*2^1425446-1 is not prime. Res64: F5C5B3C7E558A242 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:53:40] 825*2^1425446-1 is not prime. Res64: A7AB9FE283C13B96 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:53:40] 831*2^1425446-1 is not prime. Res64: A3EEAD4AD411A061 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:53:41] 887*2^1425446-1 is not prime. Res64: F50C801E2E9DCCC8 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:53:41] 941*2^1425446-1 is not prime. Res64: 2BC5E5752BB1FFC4 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:53:41] 615*2^1425447-1 is not prime. Res64: 80C7B93C13441382 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:54:29] 643*2^1425447-1 is not prime. Res64: DC632129D34D5861 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:54:29] 693*2^1425447-1 is not prime. Res64: 0B7F2AD4C6A4726F Time : 0.0 sec. user=mdettweiler [2016-04-06 10:54:30] 709*2^1425447-1 is not prime. Res64: E5F0B49AB218D16E Time : 0.0 sec. user=mdettweiler [2016-04-06 10:54:30] 765*2^1425447-1 is not prime. Res64: C34FFF700CE76C06 Time : 0.0 sec. user=mdettweiler [2016-04-06 10:54:30] 861*2^1425447-1 is not prime. Res64: 9BF7CB98969D07E2 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:01:04] 975*2^1425447-1 is not prime. Res64: 50D566220F27B2E9 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:01:04] 657*2^1425448-1 is not prime. Res64: 1370C4732CE861E7 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:01:05] 695*2^1425448-1 is not prime. Res64: 5F756F9446DD1EE6 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:01:06] 723*2^1425448-1 is not prime. Res64: 1D74D5C8578781E5 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:01:06] 803*2^1425448-1 is not prime. Res64: B3966D23B75CFD58 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:31:24] 819*2^1425448-1 is not prime. Res64: D778ED3943CCDB3C Time : 0.0 sec. user=mdettweiler [2016-04-06 11:31:25] 849*2^1425448-1 is not prime. Res64: 484BA9280D8E2595 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:31:25] 887*2^1425448-1 is not prime. Res64: 3FF28123226A3FAF Time : 0.0 sec. user=mdettweiler [2016-04-06 11:31:25] 759*2^1425449-1 is not prime. Res64: 77EBFA23FAD2E94D Time : 0.0 sec. user=mdettweiler [2016-04-06 11:31:25] 769*2^1425449-1 is not prime. Res64: DEE5944955A8F70E Time : 0.0 sec. user=mdettweiler [2016-04-06 11:38:58] 795*2^1425449-1 is not prime. Res64: 2DC291CC25C5D865 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:38:59] 925*2^1425449-1 is not prime. Res64: 39090D89F394B04A Time : 0.0 sec. user=mdettweiler [2016-04-06 11:38:59] 651*2^1425450-1 is not prime. Res64: 6DFE5B53857595DB Time : 0.0 sec. user=mdettweiler [2016-04-06 11:38:59] 681*2^1425450-1 is not prime. Res64: 7BDB8095464B161B Time : 0.0 sec. user=mdettweiler [2016-04-06 11:38:59] 707*2^1425450-1 is not prime. Res64: C24C55AC14AA4FC1 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:39:46] 875*2^1425450-1 is not prime. Res64: F0BD354470761EAB Time : 0.0 sec. user=mdettweiler [2016-04-06 11:39:46] 917*2^1425450-1 is not prime. Res64: 400E20B9745CE301 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:39:46] 645*2^1425451-1 is not prime. Res64: 7214FCCCB218355A Time : 0.0 sec. user=mdettweiler [2016-04-06 11:39:47] 681*2^1425451-1 is not prime. Res64: A2227437E8605484 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:39:47] 703*2^1425451-1 is not prime. Res64: FF80F8B4C5A97A93 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:46:11] 759*2^1425451-1 is not prime. Res64: C48B5520EEBE0596 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:46:11] 771*2^1425451-1 is not prime. Res64: 7F2E13E716DDB3C1 Time : 0.0 sec. user=mdettweiler [2016-04-06 11:46:12] 829*2^1425451-1 is not prime. Res64: C7C3483A1093BE3A Time : 0.0 sec. user=mdettweiler [2016-04-06 11:46:12] 859*2^1425451-1 is not prime. Res64: 8FFCACCE2E5958CE Time : 0.0 sec. user=mdettweiler [2016-04-06 11:46:12] 931*2^1425451-1 is not prime. Res64: FEC7E7B0C1A10956 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:16:22] 635*2^1425452-1 is not prime. Res64: 81E949BC26EF822F Time : 0.0 sec. user=mdettweiler [2016-04-06 12:16:22] 665*2^1425452-1 is not prime. Res64: F6E31D06942C87B5 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:16:23] 669*2^1425452-1 is not prime. Res64: B2EE0BE6C32738A7 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:16:23] 717*2^1425452-1 is not prime. Res64: 1B5D4FC9FB1AE804 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:16:23] 885*2^1425452-1 is not prime. Res64: C9631433B33E514D Time : 0.0 sec. user=mdettweiler [2016-04-06 12:23:50] 899*2^1425452-1 is not prime. Res64: D02926DEA40E6AA6 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:23:50] 745*2^1425453-1 is not prime. Res64: 51F740B10685554F Time : 0.0 sec. user=mdettweiler [2016-04-06 12:23:51] 759*2^1425453-1 is not prime. Res64: 1FD6B44C6BDE0628 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:23:51] 861*2^1425453-1 is not prime. Res64: 83770D452660DDBD Time : 0.0 sec. user=mdettweiler [2016-04-06 12:23:51] 979*2^1425453-1 is not prime. Res64: FD00F81A52320AB6 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:24:40] 621*2^1425454-1 is not prime. Res64: A4F537360085632E Time : 0.0 sec. user=mdettweiler [2016-04-06 12:24:40] 705*2^1425454-1 is not prime. Res64: D76DD74CC59591EC Time : 0.0 sec. user=mdettweiler [2016-04-06 12:24:41] 791*2^1425454-1 is not prime. Res64: 715512CE31D1C659 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:24:41] 833*2^1425454-1 is not prime. Res64: 577F4F1E9CD554E2 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:24:41] 857*2^1425454-1 is not prime. Res64: A8C7ADA22E8F468F Time : 0.0 sec. user=mdettweiler [2016-04-06 12:31:03] 993*2^1425454-1 is not prime. Res64: D7545EBDCD31B2F9 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:31:04] 601*2^1425455-1 is not prime. Res64: 12A2E1E5663DE4A6 Time : 0.0 sec. user=mdettweiler [2016-04-06 12:31:04] 825*2^1425455-1 is not prime. Res64: 2B6C1ACBD59EB56D Time : 0.0 sec. user=mdettweiler [2016-04-06 12:31:04] 861*2^1425455-1 is not prime. Res64: 12B63CFD7722337E Time : 0.0 sec. user=mdettweiler [2016-04-06 12:31:04] 913*2^1425455-1 is not prime. Res64: 7FD7FBDEADE34091 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:01:23] 979*2^1425455-1 is not prime. Res64: E932D8E3B3E999C7 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:01:24] 615*2^1425456-1 is not prime. Res64: B32EF2DAD098D8E4 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:01:25] 627*2^1425456-1 is not prime. Res64: B480A89073D63B96 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:01:26] 699*2^1425456-1 is not prime. Res64: A19B0B1E1342D06D Time : 0.0 sec. user=mdettweiler [2016-04-06 13:01:26] 725*2^1425456-1 is not prime. Res64: AC7624A3F2D5DAE0 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:08:44] 893*2^1425456-1 is not prime. Res64: A5833515EB95795F Time : 0.0 sec. user=mdettweiler [2016-04-06 13:08:45] 841*2^1425457-1 is not prime. Res64: 644AA12C5E0E80DF Time : 0.0 sec. user=mdettweiler [2016-04-06 13:08:45] 871*2^1425457-1 is not prime. Res64: ECC93FA00B9C15FA Time : 0.0 sec. user=mdettweiler [2016-04-06 13:08:45] 895*2^1425457-1 is not prime. Res64: 39D5B9FA90DA6B71 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:08:46] 897*2^1425457-1 is not prime. Res64: AAECB3FBA7E1587E Time : 0.0 sec. user=mdettweiler [2016-04-06 13:09:43] 937*2^1425457-1 is not prime. Res64: 4DB7D40EB4B6C2EE Time : 0.0 sec. user=mdettweiler [2016-04-06 13:09:43] 975*2^1425457-1 is not prime. Res64: 1925D10361A5886F Time : 0.0 sec. user=mdettweiler [2016-04-06 13:09:43] 623*2^1425458-1 is not prime. Res64: 6B3E9BE630F1D266 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:09:43] 743*2^1425458-1 is not prime. Res64: CFBE306A4151C86E Time : 0.0 sec. user=mdettweiler [2016-04-06 13:09:44] 747*2^1425458-1 is not prime. Res64: D9E0530CDE1E1A03 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:16:00] 827*2^1425458-1 is not prime. Res64: 90A9EE6EB1F6EAE3 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:16:01] 911*2^1425458-1 is not prime. Res64: 23B1A39ABD033244 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:16:01] 669*2^1425459-1 is not prime. Res64: B978D74C22CC546A Time : 0.0 sec. user=mdettweiler [2016-04-06 13:16:01] 691*2^1425459-1 is not prime. Res64: FE7713F8ECFCF392 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:16:01] 709*2^1425459-1 is not prime. Res64: 98693A49FF2F2E12 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:47:45] 751*2^1425459-1 is not prime. Res64: 24B804BD90B4B690 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:47:45] 801*2^1425459-1 is not prime. Res64: 25F569D5698654BD Time : 0.0 sec. user=mdettweiler [2016-04-06 13:47:46] 843*2^1425459-1 is not prime. Res64: 7BB510F6427470F0 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:47:46] 891*2^1425459-1 is not prime. Res64: 057C22681B92DD28 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:47:46] 931*2^1425459-1 is not prime. Res64: 6FEBDCB2A1679229 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:56:26] 759*2^1425460-1 is not prime. Res64: D81103DEFA13EF4C Time : 0.0 sec. user=mdettweiler [2016-04-06 13:56:26] 615*2^1425461-1 is not prime. Res64: D1E51CE02E1BF046 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:56:26] 837*2^1425461-1 is not prime. Res64: 5A4E328CA390BFD7 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:56:26] 889*2^1425461-1 is not prime. Res64: A1DE59DA4FED5191 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:56:26] 681*2^1425462-1 is not prime. Res64: 54E0FA6F59171219 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:57:03] 683*2^1425462-1 is not prime. Res64: B801BE9342637F5F Time : 0.0 sec. user=mdettweiler [2016-04-06 13:57:04] 761*2^1425462-1 is not prime. Res64: 0667F80CB95803EE Time : 0.0 sec. user=mdettweiler [2016-04-06 13:57:04] 797*2^1425462-1 is not prime. Res64: 7C2064AD6B4EF685 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:57:04] 947*2^1425462-1 is not prime. Res64: BD411B6E105BDFF3 Time : 0.0 sec. user=mdettweiler [2016-04-06 13:57:04] 963*2^1425462-1 is not prime. Res64: 0ECD95A345F04C78 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:04:22] 977*2^1425462-1 is not prime. Res64: 24D15354857F8ACA Time : 0.0 sec. user=mdettweiler [2016-04-06 14:04:23] 729*2^1425463-1 is not prime. Res64: 10FC45AA0BE131DD Time : 0.0 sec. user=mdettweiler [2016-04-06 14:04:24] 763*2^1425463-1 is not prime. Res64: 17150EC35E4B5466 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:04:26] 805*2^1425463-1 is not prime. Res64: 4F94EAEE44E05A2F Time : 0.0 sec. user=mdettweiler [2016-04-06 14:04:27] 853*2^1425463-1 is not prime. Res64: 543B2E1D98FB3ABF Time : 0.0 sec. user=mdettweiler [2016-04-06 14:38:31] 993*2^1425463-1 is not prime. Res64: 29D1DD157800BD22 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:38:31] 617*2^1425464-1 is not prime. Res64: 9C05A75DA446EC35 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:38:31] 629*2^1425464-1 is not prime. Res64: 87A2416F3B91CFE1 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:38:32] 665*2^1425464-1 is not prime. Res64: F40643D449CDC4CB Time : 0.0 sec. user=mdettweiler [2016-04-06 14:38:32] 717*2^1425464-1 is not prime. Res64: F1B32AF348137FBF Time : 0.0 sec. user=mdettweiler [2016-04-06 14:47:13] 741*2^1425465-1 is not prime. Res64: 269CDBE5B6B9BCFD Time : 0.0 sec. user=mdettweiler [2016-04-06 14:47:14] 623*2^1425466-1 is not prime. Res64: E6DF7E570A38DD07 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:47:14] 765*2^1425466-1 is not prime. Res64: B02581CFA2470CD3 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:47:14] 887*2^1425466-1 is not prime. Res64: DD77A0FAEFBAE0EC Time : 0.0 sec. user=mdettweiler [2016-04-06 14:47:14] 609*2^1425467-1 is not prime. Res64: F9A7709DAAA9D2A7 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:48:20] 703*2^1425467-1 is not prime. Res64: EC4CF78C98B46E11 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:48:21] 705*2^1425467-1 is not prime. Res64: 1556F67445558A52 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:48:21] 733*2^1425467-1 is not prime. Res64: 44AEC875E9475BC6 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:48:21] 805*2^1425467-1 is not prime. Res64: 81382C92CA7A7692 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:48:21] 629*2^1425468-1 is not prime. Res64: F348B90D21FB5D29 Time : 0.0 sec. user=mdettweiler [2016-04-06 14:55:20] 647*2^1425468-1 is not prime. Res64: 9711118BF846804A Time : 0.0 sec. user=mdettweiler [2016-04-06 14:55:20] 665*2^1425468-1 is not prime. Res64: 4BFD8270B7865E6F Time : 0.0 sec. user=mdettweiler [2016-04-06 14:55:20] 683*2^1425468-1 is not prime. Res64: F8BBB70E39E739FE Time : 0.0 sec. user=mdettweiler [2016-04-06 14:55:21] 905*2^1425468-1 is not prime. Res64: 9C556A389C8C3D5B Time : 0.0 sec. user=mdettweiler [2016-04-06 14:55:21] 927*2^1425468-1 is not prime. Res64: 473BADCA3B09170C Time : 0.0 sec. user=mdettweiler [2016-04-06 15:28:40] 933*2^1425468-1 is not prime. Res64: AB36AC74E045451D Time : 0.0 sec. user=mdettweiler [2016-04-06 15:28:40] 947*2^1425468-1 is not prime. Res64: 2AFB9D37E67E358C Time : 0.0 sec. user=mdettweiler [2016-04-06 15:28:40] 775*2^1425469-1 is not prime. Res64: 0DAA3F5AF0F97833 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:28:41] 825*2^1425469-1 is not prime. Res64: 6F30FDE2F5484744 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:28:41] 961*2^1425469-1 is not prime. Res64: 97CDC36795092690 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:37:15] 985*2^1425469-1 is not prime. Res64: CBDBBADCC34D5F65 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:37:15] 711*2^1425470-1 is not prime. Res64: 43A0BF8A8806C575 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:37:15] 845*2^1425470-1 is not prime. Res64: 3F813C1C5AED97B3 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:37:15] 921*2^1425470-1 is not prime. Res64: 920D94B5E98EC1B3 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:37:16] 941*2^1425470-1 is not prime. Res64: 78EFB2E10620A0F7 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:38:24] 735*2^1425471-1 is not prime. Res64: 4EF7B7705BB23BBE Time : 0.0 sec. user=mdettweiler [2016-04-06 15:38:24] 741*2^1425471-1 is not prime. Res64: 2C064C9ECDAE72D0 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:38:24] 819*2^1425471-1 is not prime. Res64: 54E7A74B0D39CD22 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:38:25] 829*2^1425471-1 is not prime. Res64: E1CE57505B529816 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:38:25] 865*2^1425471-1 is not prime. Res64: 079FC995283AE0D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:44:48] 603*2^1425472-1 is not prime. Res64: BE46A08A0DB5AE88 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:44:49] 623*2^1425472-1 is not prime. Res64: B7E06DEAB1418F80 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:44:49] 653*2^1425472-1 is not prime. Res64: 782AD54C4F1C27FD Time : 0.0 sec. user=mdettweiler [2016-04-06 15:44:49] 675*2^1425472-1 is not prime. Res64: 62C9E2F3D49977D2 Time : 0.0 sec. user=mdettweiler [2016-04-06 15:44:49] 755*2^1425472-1 is not prime. Res64: 99786D2E6C812758 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:19:04] 785*2^1425472-1 is not prime. Res64: EAEF20C935B330A2 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:19:05] 843*2^1425472-1 is not prime. Res64: 27C4EB7B8A11C455 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:19:05] 875*2^1425472-1 is not prime. Res64: 6C52CDB1BD47226B Time : 0.0 sec. user=mdettweiler [2016-04-06 16:19:05] 947*2^1425472-1 is not prime. Res64: 4090BC637EB2339D Time : 0.0 sec. user=mdettweiler [2016-04-06 16:19:06] 615*2^1425473-1 is not prime. Res64: 40D7A70E7871AC5C Time : 0.0 sec. user=mdettweiler [2016-04-06 16:28:46] 631*2^1425473-1 is not prime. Res64: 4837D9DC51BF1AFB Time : 0.0 sec. user=mdettweiler [2016-04-06 16:28:46] 651*2^1425473-1 is not prime. Res64: 556355A78F485259 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:28:47] 721*2^1425473-1 is not prime. Res64: 6532339E29C3E3A5 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:28:47] 801*2^1425473-1 is not prime. Res64: 65583CBBBC7E4088 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:28:47] 897*2^1425473-1 is not prime. Res64: 679E3659C162A1B4 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:29:49] 627*2^1425474-1 is not prime. Res64: C0D4EDDB9C7771C6 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:29:49] 633*2^1425474-1 is not prime. Res64: 1AF0C6A768E337BA Time : 0.0 sec. user=mdettweiler [2016-04-06 16:29:49] 641*2^1425474-1 is not prime. Res64: 41F0A754FF3421FA Time : 0.0 sec. user=mdettweiler [2016-04-06 16:29:49] 671*2^1425474-1 is not prime. Res64: 3D871197D451FDBE Time : 0.0 sec. user=mdettweiler [2016-04-06 16:29:50] 891*2^1425474-1 is not prime. Res64: 513316AC4CDC744B Time : 0.0 sec. user=mdettweiler [2016-04-06 16:36:11] 917*2^1425474-1 is not prime. Res64: BD9A245E508AE2BF Time : 0.0 sec. user=mdettweiler [2016-04-06 16:36:12] 927*2^1425474-1 is not prime. Res64: 03681461688C7639 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:36:12] 941*2^1425474-1 is not prime. Res64: 08BA5DE68653A992 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:36:12] 971*2^1425474-1 is not prime. Res64: B14E056C05A426A4 Time : 0.0 sec. user=mdettweiler [2016-04-06 16:36:12] 619*2^1425475-1 is not prime. Res64: 964803E4E9F5D168 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:09:31] 625*2^1425475-1 is not prime. Res64: 9E4209B3386CB373 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:09:31] 705*2^1425475-1 is not prime. Res64: D3465075C8ACD7C5 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:09:31] 783*2^1425475-1 is not prime. Res64: B0F8A2CDED60D05D Time : 0.0 sec. user=mdettweiler [2016-04-06 17:09:32] 853*2^1425475-1 is not prime. Res64: 36EBD9D13864F98E Time : 0.0 sec. user=mdettweiler [2016-04-06 17:09:32] 859*2^1425475-1 is not prime. Res64: 1CB92972BB2E12AE Time : 0.0 sec. user=mdettweiler [2016-04-06 17:19:30] 861*2^1425475-1 is not prime. Res64: 40E0190F0FCEBF1C Time : 0.0 sec. user=mdettweiler [2016-04-06 17:19:31] 883*2^1425475-1 is not prime. Res64: 646AECC1B863D519 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:19:31] 951*2^1425475-1 is not prime. Res64: FE36CBED71C2C54A Time : 0.0 sec. user=mdettweiler [2016-04-06 17:19:31] 969*2^1425475-1 is not prime. Res64: DE57117C3F00EFCD Time : 0.0 sec. user=mdettweiler [2016-04-06 17:19:32] 617*2^1425476-1 is not prime. Res64: D44B6C17E178FD78 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:21:09] 677*2^1425476-1 is not prime. Res64: 079EA08432D945FB Time : 0.0 sec. user=mdettweiler [2016-04-06 17:21:09] 837*2^1425476-1 is not prime. Res64: B318E705A407FB77 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:21:09] 923*2^1425476-1 is not prime. Res64: 9BBDD0200EF17C09 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:21:10] 957*2^1425476-1 is not prime. Res64: BC6C839CF53CD707 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:21:10] 667*2^1425477-1 is not prime. Res64: 9A803E7A7D4E696C Time : 0.0 sec. user=mdettweiler [2016-04-06 17:27:37] 685*2^1425477-1 is not prime. Res64: 008E77C1C740CE20 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:27:37] 711*2^1425477-1 is not prime. Res64: 5CBF498679808C9C Time : 0.0 sec. user=mdettweiler [2016-04-06 17:27:38] 727*2^1425477-1 is not prime. Res64: 39C47FB3B439B750 Time : 0.0 sec. user=mdettweiler [2016-04-06 17:27:38] 735*2^1425477-1 is not prime. Res64: C58B5DE7BE9391CA Time : 0.0 sec. user=mdettweiler [2016-04-06 17:27:38] 657*2^1425478-1 is not prime. Res64: 20BDE941A27E36D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:00:28] 665*2^1425478-1 is not prime. Res64: D6DDEB8B589267F9 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:00:29] 713*2^1425478-1 is not prime. Res64: F12344D02D15407E Time : 0.0 sec. user=mdettweiler [2016-04-06 18:00:30] 731*2^1425478-1 is not prime. Res64: ACADF645A56E0460 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:00:30] 765*2^1425478-1 is not prime. Res64: 0C7304AA48DBA1B9 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:00:31] 801*2^1425478-1 is not prime. Res64: 1071B4EB0A30A360 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:11:06] 831*2^1425478-1 is not prime. Res64: 9A7AA6E37A3CE52B Time : 0.0 sec. user=mdettweiler [2016-04-06 18:11:07] 855*2^1425478-1 is not prime. Res64: 41DB5DD17F3AB214 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:11:07] 1001*2^1425478-1 is not prime. Res64: B2406C8FC8AF7304 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:11:08] 775*2^1425479-1 is not prime. Res64: 87867AB377B4FFC0 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:11:08] 825*2^1425479-1 is not prime. Res64: 6EDCB627BADD50D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:12:40] 831*2^1425479-1 is not prime. Res64: 0238D34BBF3E596F Time : 0.0 sec. user=mdettweiler [2016-04-06 18:12:40] 993*2^1425479-1 is not prime. Res64: 6CEAD6B0F5E45C44 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:12:41] 999*2^1425479-1 is not prime. Res64: 700168E56A432533 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:12:41] 627*2^1425480-1 is not prime. Res64: 146237574E4B5BCD Time : 0.0 sec. user=mdettweiler [2016-04-06 18:12:41] 669*2^1425480-1 is not prime. Res64: C702BC16F039AB1A Time : 0.0 sec. user=mdettweiler [2016-04-06 18:18:45] 713*2^1425480-1 is not prime. Res64: D5CFAB6338DA35E2 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:18:45] 723*2^1425480-1 is not prime. Res64: 8FCF67202DBD7753 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:18:46] 779*2^1425480-1 is not prime. Res64: 13FFBAD8036FCB75 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:18:46] 825*2^1425480-1 is not prime. Res64: 98323E63CCDB252F Time : 0.0 sec. user=mdettweiler [2016-04-06 18:18:47] 839*2^1425480-1 is not prime. Res64: 1C6E42E7A484F13F Time : 0.0 sec. user=mdettweiler [2016-04-06 18:48:13] 857*2^1425480-1 is not prime. Res64: 998DEF9EE9CBCC37 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:48:13] 875*2^1425480-1 is not prime. Res64: 3FD1D3FBF5B4898F Time : 0.0 sec. user=mdettweiler [2016-04-06 18:48:13] 887*2^1425480-1 is not prime. Res64: 6C81F51FBFD5733A Time : 0.0 sec. user=mdettweiler [2016-04-06 18:48:13] 945*2^1425480-1 is not prime. Res64: FDD86A08A888EE3B Time : 0.0 sec. user=mdettweiler [2016-04-06 18:48:14] 639*2^1425481-1 is not prime. Res64: A512076CA438F9B7 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:58:14] 687*2^1425481-1 is not prime. Res64: 5D7EC3BBF0AB290B Time : 0.0 sec. user=mdettweiler [2016-04-06 18:58:14] 691*2^1425481-1 is not prime. Res64: 89012B153D487524 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:58:15] 741*2^1425481-1 is not prime. Res64: A121987ACDCA1993 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:58:15] 751*2^1425481-1 is not prime. Res64: A8E3AFC3CF2BBA81 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:58:15] 777*2^1425481-1 is not prime. Res64: CC595C99274694E1 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:59:41] 855*2^1425481-1 is not prime. Res64: 2F5A623130770E25 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:59:41] 867*2^1425481-1 is not prime. Res64: 74DE6AEE047AF1C1 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:59:41] 981*2^1425481-1 is not prime. Res64: 98634D6EDBADC06C Time : 0.0 sec. user=mdettweiler [2016-04-06 18:59:41] 987*2^1425481-1 is not prime. Res64: A5064BED63A76713 Time : 0.0 sec. user=mdettweiler [2016-04-06 18:59:42] 651*2^1425482-1 is not prime. Res64: 783711AAD369A9AC Time : 0.0 sec. user=mdettweiler [2016-04-06 19:06:27] 885*2^1425482-1 is not prime. Res64: A6D3F4A4A8A35252 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:06:27] 903*2^1425482-1 is not prime. Res64: 96318F5CB72E76AA Time : 0.0 sec. user=mdettweiler [2016-04-06 19:06:27] 619*2^1425483-1 is not prime. Res64: 92407EA853B628B4 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:06:28] 741*2^1425483-1 is not prime. Res64: BCEB29F73366DCE9 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:06:28] 833*2^1425484-1 is not prime. Res64: 6DBBFA3C2B3A7D2B Time : 0.0 sec. user=mdettweiler [2016-04-06 19:36:50] 857*2^1425484-1 is not prime. Res64: 7AD02A6DC5511853 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:36:50] 863*2^1425484-1 is not prime. Res64: 3EBFAF0506BD13FF Time : 0.0 sec. user=mdettweiler [2016-04-06 19:36:50] 875*2^1425484-1 is not prime. Res64: C93BF5B729B92CA5 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:36:51] 947*2^1425484-1 is not prime. Res64: AC37FF9A57EA984E Time : 0.0 sec. user=mdettweiler [2016-04-06 19:36:51] 965*2^1425484-1 is not prime. Res64: C4CDCB3B7480A0C2 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:45:37] 781*2^1425485-1 is not prime. Res64: 2D9A1ADDE9DE4E7D Time : 0.0 sec. user=mdettweiler [2016-04-06 19:45:37] 981*2^1425485-1 is not prime. Res64: D33E5E7813315AF8 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:45:37] 737*2^1425486-1 is not prime. Res64: 627598BD075B0076 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:45:37] 795*2^1425486-1 is not prime. Res64: 4386D155EBEBAB33 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:45:38] 993*2^1425486-1 is not prime. Res64: F01A5540CDF7DADB Time : 0.0 sec. user=mdettweiler [2016-04-06 19:46:58] 619*2^1425487-1 is not prime. Res64: 84B41A4B6DB69BE3 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:46:58] 649*2^1425487-1 is not prime. Res64: 26D0DFB75C05CA52 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:46:58] 651*2^1425487-1 is not prime. Res64: 71A7CEF49013FB1B Time : 0.0 sec. user=mdettweiler [2016-04-06 19:46:58] 693*2^1425487-1 is not prime. Res64: A6713E982AAC49E0 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:46:59] 793*2^1425487-1 is not prime. Res64: EF6C263C45F57BE7 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:53:03] 669*2^1425488-1 is not prime. Res64: 74A3BFA778CE8E1B Time : 0.0 sec. user=mdettweiler [2016-04-06 19:53:03] 773*2^1425488-1 is not prime. Res64: 087A2B66C1899939 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:53:04] 789*2^1425488-1 is not prime. Res64: 86520DE6A720BDC2 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:53:04] 845*2^1425488-1 is not prime. Res64: 599067CA0BB0AFB4 Time : 0.0 sec. user=mdettweiler [2016-04-06 19:53:04] 915*2^1425488-1 is not prime. Res64: E627D460AB030244 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:22:08] 999*2^1425488-1 is not prime. Res64: 68881D7A231D5943 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:22:09] 615*2^1425489-1 is not prime. Res64: E311DA7EE4D0D0F4 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:22:09] 639*2^1425489-1 is not prime. Res64: 781E49FB5A776160 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:22:10] 727*2^1425489-1 is not prime. Res64: AA46E5875F060E05 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:22:10] 745*2^1425489-1 is not prime. Res64: D9EDB6C956B2903D Time : 0.0 sec. user=mdettweiler [2016-04-06 20:30:55] 847*2^1425489-1 is not prime. Res64: 782C6A67B459D9A9 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:30:56] 865*2^1425489-1 is not prime. Res64: 05A082D92A38D38E Time : 0.0 sec. user=mdettweiler [2016-04-06 20:30:56] 895*2^1425489-1 is not prime. Res64: 10FF6ED1013ECCD3 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:30:56] 997*2^1425489-1 is not prime. Res64: F21DA92A6B919207 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:30:57] 999*2^1425489-1 is not prime. Res64: BD09F7C923CA5D66 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:32:14] 605*2^1425490-1 is not prime. Res64: 34E192379E3C1E1D Time : 0.0 sec. user=mdettweiler [2016-04-06 20:32:14] 717*2^1425490-1 is not prime. Res64: 686BC9A79ABF4BEF Time : 0.0 sec. user=mdettweiler [2016-04-06 20:32:15] 723*2^1425490-1 is not prime. Res64: 5D368542CD9D737E Time : 0.0 sec. user=mdettweiler [2016-04-06 20:32:15] 741*2^1425490-1 is not prime. Res64: BA96DE79DAA022E1 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:32:16] 777*2^1425490-1 is not prime. Res64: 2AE3161D05210D57 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:38:22] 843*2^1425490-1 is not prime. Res64: 3C8BC3E9CB569E29 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:38:23] 867*2^1425490-1 is not prime. Res64: 79099B5359075866 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:38:23] 945*2^1425490-1 is not prime. Res64: A59C18759050EB4C Time : 0.0 sec. user=mdettweiler [2016-04-06 20:38:23] 975*2^1425490-1 is not prime. Res64: 11BAD4A0C85FBB01 Time : 0.0 sec. user=mdettweiler [2016-04-06 20:38:23] 663*2^1425491-1 is not prime. Res64: A3EB3F4C537FCD81 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:07:13] 693*2^1425491-1 is not prime. Res64: 8EF76F8EB906A20F Time : 0.0 sec. user=mdettweiler [2016-04-06 21:07:13] 711*2^1425491-1 is not prime. Res64: 131D9D33A66F7E9E Time : 0.0 sec. user=mdettweiler [2016-04-06 21:07:14] 801*2^1425491-1 is not prime. Res64: 2BE44A987418009D Time : 0.0 sec. user=mdettweiler [2016-04-06 21:07:14] 829*2^1425491-1 is not prime. Res64: 34D14DEEE506A211 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:07:14] 841*2^1425491-1 is not prime. Res64: 99FC1AA3270426C7 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:16:02] 969*2^1425491-1 is not prime. Res64: E0D0FE80D3C05886 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:16:03] 979*2^1425491-1 is not prime. Res64: 2DDDEB0FDDA734D7 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:16:03] 633*2^1425492-1 is not prime. Res64: 6BFBC5559C4AF3FE Time : 0.0 sec. user=mdettweiler [2016-04-06 21:16:03] 669*2^1425492-1 is not prime. Res64: 5C79F86A81F2AD76 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:16:04] 693*2^1425492-1 is not prime. Res64: A26593A9712D8EB9 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:17:26] 945*2^1425492-1 is not prime. Res64: D6780009B6CF63BF Time : 0.0 sec. user=mdettweiler [2016-04-06 21:17:26] 959*2^1425492-1 is not prime. Res64: C11E42E11218C38A Time : 0.0 sec. user=mdettweiler [2016-04-06 21:17:27] 965*2^1425492-1 is not prime. Res64: 9B9FEEEFE5A547DF Time : 0.0 sec. user=mdettweiler [2016-04-06 21:17:27] 983*2^1425492-1 is not prime. Res64: F1F7F013054B2AA6 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:17:28] 727*2^1425493-1 is not prime. Res64: CD525C311E6CB45A Time : 0.0 sec. user=mdettweiler [2016-04-06 21:23:26] 859*2^1425493-1 is not prime. Res64: CB29D605AE861F42 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:23:26] 889*2^1425493-1 is not prime. Res64: DAA0CA78BFD4262C Time : 0.0 sec. user=mdettweiler [2016-04-06 21:23:26] 951*2^1425493-1 is not prime. Res64: 9887B81E8CD29F97 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:23:27] 985*2^1425493-1 is not prime. Res64: 5AC0A4535E493AA2 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:23:27] 675*2^1425494-1 is not prime. Res64: 5DD2437A6AD2F100 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:52:17] 981*2^1425494-1 is not prime. Res64: 41A971A65C3A8654 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:52:17] 691*2^1425495-1 is not prime. Res64: FA2DB9A851FC5BB1 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:52:17] 751*2^1425495-1 is not prime. Res64: 0259C5D39692ACDF Time : 0.0 sec. user=mdettweiler [2016-04-06 21:52:18] 775*2^1425495-1 is not prime. Res64: 75BED6E0BD7AF976 Time : 0.0 sec. user=mdettweiler [2016-04-06 21:52:18] 819*2^1425495-1 is not prime. Res64: FDD8B3E9E033E3FF Time : 0.0 sec. user=mdettweiler [2016-04-06 22:01:25] 853*2^1425495-1 is not prime. Res64: 00233A824520E816 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:01:26] 891*2^1425495-1 is not prime. Res64: E0365FEA7BBE9B62 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:01:26] 895*2^1425495-1 is not prime. Res64: 44B2B02FEFEC7DE4 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:01:27] 909*2^1425495-1 is not prime. Res64: F97CBBE84C41C4D9 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:01:28] 979*2^1425495-1 is not prime. Res64: 86667CA53F49E184 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:02:40] 639*2^1425496-1 is not prime. Res64: 4746D45F91F3D56D Time : 0.0 sec. user=mdettweiler [2016-04-06 22:02:41] 657*2^1425496-1 is not prime. Res64: AA3EA50A8FA014E6 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:02:41] 707*2^1425496-1 is not prime. Res64: 9834FF0D237C7C51 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:02:42] 765*2^1425496-1 is not prime. Res64: 7D2A93F002419C3E Time : 0.0 sec. user=mdettweiler [2016-04-06 22:02:42] 849*2^1425496-1 is not prime. Res64: 0673BD001E2916F7 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:08:37] 869*2^1425496-1 is not prime. Res64: BF0ED62EEC7088BC Time : 0.0 sec. user=mdettweiler [2016-04-06 22:08:37] 717*2^1425497-1 is not prime. Res64: D6FA9B6488D0B278 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:08:37] 769*2^1425497-1 is not prime. Res64: 94E9CD691785CF94 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:08:38] 777*2^1425497-1 is not prime. Res64: 0C0453F0D4C766D1 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:08:38] 829*2^1425497-1 is not prime. Res64: A3611BF7D258C566 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:37:20] 865*2^1425497-1 is not prime. Res64: A05FB670B95538FD Time : 0.0 sec. user=mdettweiler [2016-04-06 22:37:21] 621*2^1425498-1 is not prime. Res64: 635DA0ABDFC6246E Time : 0.0 sec. user=mdettweiler [2016-04-06 22:37:21] 633*2^1425498-1 is not prime. Res64: A7AF1009CDBB46C3 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:37:21] 641*2^1425498-1 is not prime. Res64: 399961F0B13CFA90 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:37:22] 651*2^1425498-1 is not prime. Res64: AFBF9D401626F296 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:46:40] 773*2^1425498-1 is not prime. Res64: DDD0A31B91164BE8 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:46:41] 801*2^1425498-1 is not prime. Res64: E533CAC0355C288C Time : 0.0 sec. user=mdettweiler [2016-04-06 22:46:41] 875*2^1425498-1 is not prime. Res64: 65D163EC29A3C166 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:46:41] 645*2^1425499-1 is not prime. Res64: 13A41F71FA729C4A Time : 0.0 sec. user=mdettweiler [2016-04-06 22:46:41] 685*2^1425499-1 is not prime. Res64: 4E089A77F55CC89F Time : 0.0 sec. user=mdettweiler [2016-04-06 22:47:40] 853*2^1425499-1 is not prime. Res64: 78A75F0EFE256BFA Time : 0.0 sec. user=mdettweiler [2016-04-06 22:47:41] 861*2^1425499-1 is not prime. Res64: 15820F0BDA50C66E Time : 0.0 sec. user=mdettweiler [2016-04-06 22:47:41] 883*2^1425499-1 is not prime. Res64: 0F165A1C0DFF04A9 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:47:41] 885*2^1425499-1 is not prime. Res64: 9E8C78D52014A248 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:47:42] 635*2^1425500-1 is not prime. Res64: 0A495184CCBEBB85 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:53:46] 687*2^1425500-1 is not prime. Res64: 75EE0336A202A92F Time : 0.0 sec. user=mdettweiler [2016-04-06 22:53:47] 725*2^1425500-1 is not prime. Res64: 9A66811D9A05E5AF Time : 0.0 sec. user=mdettweiler [2016-04-06 22:53:47] 795*2^1425500-1 is not prime. Res64: FB9D9F41C20A5419 Time : 0.0 sec. user=mdettweiler [2016-04-06 22:53:47] 845*2^1425500-1 is not prime. Res64: FA805366D543543D Time : 0.0 sec. user=mdettweiler [2016-04-06 22:53:48] 909*2^1425500-1 is not prime. Res64: 783296C03BB77A95 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:22:29] 935*2^1425500-1 is not prime. Res64: 51ED63BEB1C20C65 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:22:29] 685*2^1425501-1 is not prime. Res64: DE46006F28B12518 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:22:29] 735*2^1425501-1 is not prime. Res64: 6C6E573F3B748B1D Time : 0.0 sec. user=mdettweiler [2016-04-06 23:22:30] 865*2^1425501-1 is not prime. Res64: 9EBF477E9ADB953E Time : 0.0 sec. user=mdettweiler [2016-04-06 23:22:30] 907*2^1425501-1 is not prime. Res64: 07A1D7C6DAFC2E22 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:31:53] 717*2^1425502-1 is not prime. Res64: 7F3E20E96AA958D1 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:31:53] 755*2^1425502-1 is not prime. Res64: 75250E1E3D3C88EA Time : 0.0 sec. user=mdettweiler [2016-04-06 23:31:54] 615*2^1425503-1 is not prime. Res64: EA12C0849752846C Time : 0.0 sec. user=mdettweiler [2016-04-06 23:31:54] 633*2^1425503-1 is not prime. Res64: 2C2D14F0AB7C0AA7 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:31:54] 643*2^1425503-1 is not prime. Res64: 681DF9E9EA0CF8EF Time : 0.0 sec. user=mdettweiler [2016-04-06 23:32:39] 729*2^1425503-1 is not prime. Res64: 51B96964387009B9 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:32:39] 735*2^1425503-1 is not prime. Res64: 0FAF80E9B734F43C Time : 0.0 sec. user=mdettweiler [2016-04-06 23:32:39] 753*2^1425503-1 is not prime. Res64: 280FF42AE7D9C68C Time : 0.0 sec. user=mdettweiler [2016-04-06 23:32:40] 963*2^1425503-1 is not prime. Res64: 2B7BC6E838B3A969 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:32:40] 991*2^1425503-1 is not prime. Res64: A1AB8FC78FB3B1DA Time : 0.0 sec. user=mdettweiler [2016-04-06 23:38:55] 605*2^1425504-1 is not prime. Res64: AE2FBB1E573DC69F Time : 0.0 sec. user=mdettweiler [2016-04-06 23:38:56] 623*2^1425504-1 is not prime. Res64: B395AB89408790BA Time : 0.0 sec. user=mdettweiler [2016-04-06 23:38:56] 675*2^1425504-1 is not prime. Res64: 752E26E7BA1937A2 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:38:56] 863*2^1425504-1 is not prime. Res64: 48C73E2DB0A34F74 Time : 0.0 sec. user=mdettweiler [2016-04-06 23:38:57] 873*2^1425504-1 is not prime. Res64: 3843B6D0A7A957CC Time : 0.0 sec.