user=mdettweiler [2009-09-21 05:18:14] 351*2^334967-1 is not prime. Res64: 32BD5CDF5B0D880A Time : 0.0 sec. user=mdettweiler [2009-09-21 17:22:05] 371*2^334966-1 is not prime. Res64: B539C4E1A5F5B708 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:22:05] 387*2^334966-1 is not prime. Res64: E2C360A336E95662 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:22:06] 399*2^334967-1 is not prime. Res64: 302F9E9D56424E77 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:22:06] 305*2^334970-1 is not prime. Res64: 11D9DE5ADA9289A5 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:22:07] 379*2^334969-1 is not prime. Res64: 83524E1EBEA6F326 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:33:19] 327*2^334969-1 is not prime. Res64: 49B6FD573471F542 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:33:20] 373*2^334971-1 is not prime. Res64: 9CF488F00B3606C7 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:33:21] 381*2^334969-1 is not prime. Res64: F8EDC7FE28ED77F6 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:33:21] 321*2^334974-1 is not prime. Res64: 194C5CADBAC6E84B Time : 0.0 sec. user=mdettweiler [2009-09-21 17:33:22] 379*2^334973-1 is not prime. Res64: 5C8F82E4C85FCB13 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:44:34] 393*2^334972-1 is not prime. Res64: 6105777EBD6937A4 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:44:35] 301*2^334977-1 is not prime. Res64: 120213D41D682E56 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:44:35] 317*2^334978-1 is not prime. Res64: E2584A6AE87C4C59 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:44:36] 321*2^334978-1 is not prime. Res64: B5D1241AF40A7B00 Time : 0.0 sec. user=mdettweiler [2009-09-21 17:44:37] 345*2^334977-1 is not prime. Res64: 9447508C1F149ACF Time : 0.0 sec. user=mdettweiler [2009-09-21 17:56:59] 369*2^334976-1 is not prime. Res64: CE25C72DC590E44D Time : 0.0 sec. user=mdettweiler [2009-09-21 17:57:00] 399*2^334976-1 is not prime. Res64: 04825781F77FB38F Time : 0.0 sec. user=mdettweiler [2009-09-21 17:57:00] 317*2^334980-1 is not prime. Res64: 1DE29EFD4074ED5E Time : 0.0 sec. user=mdettweiler [2009-09-21 17:57:01] 357*2^334980-1 is prime! Time : 0.0 sec. user=mdettweiler [2009-09-21 17:57:01] 395*2^334978-1 is not prime. Res64: 0F8D08E3AC640D6A Time : 0.0 sec. user=mdettweiler [2009-09-21 18:08:19] 351*2^334981-1 is not prime. Res64: F156DB2DF0EA6917 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:08:19] 369*2^334980-1 is not prime. Res64: 2B0D29C147F16F1A Time : 0.0 sec. user=mdettweiler [2009-09-21 18:08:20] 333*2^334983-1 is not prime. Res64: 9EF7FB072B28AF89 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:08:21] 335*2^334984-1 is not prime. Res64: F48363C7EDA920A3 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:08:21] 353*2^334982-1 is not prime. Res64: E1928441A94AD8A9 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:19:39] 341*2^334982-1 is not prime. Res64: 7BF7C77F4BCD3171 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:19:39] 313*2^334987-1 is not prime. Res64: 64A77614F44F44FD Time : 0.0 sec. user=mdettweiler [2009-09-21 18:19:40] 317*2^334986-1 is not prime. Res64: F622DCEC4ABC6389 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:19:40] 327*2^334988-1 is not prime. Res64: 599DDBA2D9674731 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:19:41] 357*2^334985-1 is not prime. Res64: 39C2EEFD83AAACA7 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:34:29] 339*2^334985-1 is not prime. Res64: ED7569677414B716 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:34:29] 395*2^334986-1 is not prime. Res64: BDBC1548354EF01F Time : 0.0 sec. user=mdettweiler [2009-09-21 18:34:30] 347*2^334988-1 is not prime. Res64: 3FB4F7B2FD03451E Time : 0.0 sec. user=mdettweiler [2009-09-21 18:34:31] 309*2^334991-1 is not prime. Res64: 8D2FF36D8FDAD295 Time : 0.0 sec. user=mdettweiler [2009-09-21 18:34:31] 321*2^334990-1 is not prime. Res64: EF3B4E40DD47FED9 Time : 0.0 sec.