user=mdettweiler [2013-05-04 00:04:14] 609*2^1245716-1 is not prime. Res64: F581E23E0F6AA61F Time : 0.0 sec. user=mdettweiler [2013-05-04 00:04:16] 617*2^1245716-1 is not prime. Res64: C3D01F726931AB12 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:06:44] 647*2^1245716-1 is not prime. Res64: D2800B471577EF44 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:06:46] 675*2^1245716-1 is not prime. Res64: C67B7CC0CE449C27 Time : 0.0 sec. user=vaughan [2013-05-04 00:16:13] 951*2^1245715-1 is not prime. Res64: D2F43A5DB470166A Time : 0.0 sec. user=mdettweiler [2013-05-04 00:22:30] 707*2^1245716-1 is not prime. Res64: C144A863B0FFC382 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:22:31] 719*2^1245716-1 is not prime. Res64: 504A76A0E7507401 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:24:46] 827*2^1245716-1 is not prime. Res64: 3A23B2151CCAD1E9 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:24:47] 845*2^1245716-1 is not prime. Res64: B6ACA1BCC6ED4760 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:40:31] 609*2^1245717-1 is not prime. Res64: 75F8BF96A9BB138A Time : 0.0 sec. user=mdettweiler [2013-05-04 00:40:32] 769*2^1245717-1 is not prime. Res64: D2010D8DF5593308 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:42:51] 817*2^1245717-1 is not prime. Res64: 7E9721D7DAF6B232 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:42:52] 861*2^1245717-1 is not prime. Res64: 7CA80F8A2FCF9FEA Time : 0.0 sec. user=mdettweiler [2013-05-04 00:58:15] 955*2^1245717-1 is not prime. Res64: ABE5EEEB1F6DD8B1 Time : 0.0 sec. user=mdettweiler [2013-05-04 00:58:16] 961*2^1245717-1 is not prime. Res64: 6335E51371798804 Time : 0.0 sec. user=vaughan [2013-05-04 01:00:00] 987*2^1245716-1 is not prime. Res64: CEC01B60117CA539 Time : 0.0 sec. user=mdettweiler [2013-05-04 01:00:34] 761*2^1245718-1 is not prime. Res64: 18FDEC7197BF3E3F Time : 0.0 sec. user=mdettweiler [2013-05-04 01:00:35] 861*2^1245718-1 is not prime. Res64: A72429CFD7F1C5B2 Time : 0.0 sec.