user=mdettweiler [2009-07-24 05:03:15] 317*2^328966-1 is not prime. Res64: 32B9F09857B6743A Time : 0.0 sec. user=mdettweiler [2009-07-24 05:03:16] 363*2^328966-1 is not prime. Res64: D47E37FCFCA46A17 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:03:16] 395*2^328968-1 is not prime. Res64: DE5F69233BEBF8B6 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:03:17] 369*2^328968-1 is not prime. Res64: E9B4310905CCC259 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:03:18] 301*2^328971-1 is not prime. Res64: B5640D98E3DA1BAF Time : 0.0 sec. user=mdettweiler [2009-07-24 05:14:15] 357*2^328969-1 is not prime. Res64: C40100DFFC2BA131 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:14:16] 381*2^328971-1 is not prime. Res64: 6D70CD426F812DB0 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:14:16] 305*2^328974-1 is not prime. Res64: 68B038D4E5BE1CA5 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:14:17] 321*2^328974-1 is not prime. Res64: A07D531574A39B0F Time : 0.0 sec. user=mdettweiler [2009-07-24 05:14:17] 387*2^328972-1 is not prime. Res64: 4ACA597DB8973AF4 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:25:15] 371*2^328974-1 is not prime. Res64: F8F9289DD1135B2E Time : 0.0 sec. user=mdettweiler [2009-07-24 05:25:16] 381*2^328975-1 is not prime. Res64: 535E5D6C5C61D197 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:25:16] 319*2^328977-1 is not prime. Res64: 1B7802A05A7A5CA9 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:25:17] 321*2^328977-1 is not prime. Res64: B42CFC0F0722C0A1 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:25:17] 377*2^328976-1 is not prime. Res64: A8851ACF48A5E3E2 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:36:15] 363*2^328978-1 is not prime. Res64: 16556F48EA9D1752 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:36:15] 353*2^328976-1 is not prime. Res64: 9CC4E48E52655B09 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:36:16] 395*2^328978-1 is not prime. Res64: 727661E74309F9C0 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:36:16] 365*2^328976-1 is not prime. Res64: 32EDAC3579868127 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:36:17] 303*2^328983-1 is not prime. Res64: E529B3026AC7B2E6 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:47:19] 319*2^328985-1 is not prime. Res64: 9BE4D2DF5AF5DCF8 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:47:19] 355*2^328983-1 is not prime. Res64: 7FF66BD3DCC6BB3E Time : 0.0 sec. user=mdettweiler [2009-07-24 05:47:20] 385*2^328983-1 is not prime. Res64: 563295D87F141832 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:47:21] 349*2^328983-1 is not prime. Res64: 8CB7A218838584CF Time : 0.0 sec. user=mdettweiler [2009-07-24 05:47:21] 393*2^328982-1 is not prime. Res64: C4879BE1667B01F7 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:58:28] 393*2^328984-1 is not prime. Res64: EA6EE742DE122DD1 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:58:29] 315*2^328986-1 is not prime. Res64: E2DDA5D969CF6489 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:58:30] 345*2^328987-1 is not prime. Res64: CEE103FF92A2907F Time : 0.0 sec. user=mdettweiler [2009-07-24 05:58:30] 363*2^328988-1 is not prime. Res64: 096E7DBE294FBFA3 Time : 0.0 sec. user=mdettweiler [2009-07-24 05:58:31] 395*2^328988-1 is not prime. Res64: E54B3779B81D333D Time : 0.0 sec. user=mdettweiler [2009-07-24 06:09:33] 321*2^328990-1 is not prime. Res64: 364A42859246E8F0 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:09:34] 329*2^328992-1 is not prime. Res64: 23ED6F71086D5D40 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:09:34] 345*2^328990-1 is not prime. Res64: 2389F57592E0540A Time : 0.0 sec. user=mdettweiler [2009-07-24 06:09:35] 351*2^328991-1 is not prime. Res64: DE2F17DD2056ED35 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:09:35] 377*2^328990-1 is not prime. Res64: 2562D3C289F1C664 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:20:23] 381*2^328989-1 is not prime. Res64: 60C79747F76862FE Time : 0.0 sec. user=mdettweiler [2009-07-24 06:20:23] 383*2^328990-1 is not prime. Res64: 4BC22E496C6CBFFD Time : 0.0 sec. user=mdettweiler [2009-07-24 06:20:24] 301*2^328995-1 is not prime. Res64: D43C440B70D6D9F0 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:20:24] 307*2^328993-1 is not prime. Res64: 7FE7A333D670A8BF Time : 0.0 sec. user=mdettweiler [2009-07-24 06:20:25] 325*2^328993-1 is not prime. Res64: 9D891DED014AB976 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:31:12] 391*2^328995-1 is not prime. Res64: 3F5767C4C6FC7EAC Time : 0.0 sec. user=mdettweiler [2009-07-24 06:31:13] 357*2^328994-1 is not prime. Res64: 27040CAFFEE3B43F Time : 0.0 sec. user=mdettweiler [2009-07-24 06:31:13] 323*2^328996-1 is not prime. Res64: 60B0A9893282D368 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:31:14] 345*2^328996-1 is not prime. Res64: 50C18746B85993BC Time : 0.0 sec. user=mdettweiler [2009-07-24 06:31:14] 355*2^328997-1 is not prime. Res64: 2EC3D57D85C50A27 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:42:01] 333*2^328998-1 is not prime. Res64: D69B0554A2BCAA1E Time : 0.0 sec. user=mdettweiler [2009-07-24 06:42:02] 301*2^328999-1 is not prime. Res64: 622C31C9DFBE2F51 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:42:02] 335*2^329000-1 is not prime. Res64: A3AD30332E7656EB Time : 0.0 sec. user=mdettweiler [2009-07-24 06:42:03] 387*2^329001-1 is not prime. Res64: 8316A2AF6C2E7FC9 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:42:04] 327*2^329001-1 is not prime. Res64: E3F601B13F0E2A7E Time : 0.0 sec. user=mdettweiler [2009-07-24 06:52:51] 369*2^329000-1 is not prime. Res64: 8561A035FA2853A9 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:52:52] 329*2^329004-1 is not prime. Res64: 13EB19132067C1EE Time : 0.0 sec. user=mdettweiler [2009-07-24 06:52:52] 395*2^329002-1 is not prime. Res64: 46CCEE10ED6A8B57 Time : 0.0 sec. user=mdettweiler [2009-07-24 06:52:53] 391*2^329003-1 is not prime. Res64: 8C0AA073058C198B Time : 0.0 sec. user=mdettweiler [2009-07-24 06:52:53] 381*2^329005-1 is not prime. Res64: CCB309E26F00547C Time : 0.0 sec. user=mdettweiler [2009-07-24 07:03:41] 301*2^329007-1 is not prime. Res64: D2A92546D5463D1C Time : 0.0 sec. user=mdettweiler [2009-07-24 07:03:41] 313*2^329007-1 is not prime. Res64: 1D9D12C563805AE4 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:03:42] 321*2^329007-1 is not prime. Res64: 01E5907D5C3EC3FC Time : 0.0 sec. user=mdettweiler [2009-07-24 07:03:42] 355*2^329007-1 is not prime. Res64: F10C3EB083EB1724 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:03:43] 377*2^329006-1 is not prime. Res64: 525ABFE22C2EC94C Time : 0.0 sec. user=mdettweiler [2009-07-24 07:14:30] 333*2^329007-1 is not prime. Res64: C74A0F9B856DE253 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:14:31] 383*2^329008-1 is not prime. Res64: A8C863DA8FE460C9 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:14:32] 301*2^329011-1 is not prime. Res64: 43A0277A6D253DF8 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:14:32] 399*2^329011-1 is not prime. Res64: 02242942407C9CF3 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:14:33] 379*2^329009-1 is not prime. Res64: 14F6A52E81D1A38D Time : 0.0 sec. user=mdettweiler [2009-07-24 07:25:20] 395*2^329010-1 is not prime. Res64: A9E106780436ACC0 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:25:21] 393*2^329011-1 is not prime. Res64: A6A3AEF34E6671F0 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:25:21] 315*2^329015-1 is not prime. Res64: 18E2A2740F7908C2 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:25:22] 387*2^329013-1 is not prime. Res64: 1A21BBE89DDFC3D6 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:25:22] 327*2^329013-1 is not prime. Res64: FEDDCB40016F9FA4 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:36:09] 353*2^329012-1 is not prime. Res64: 560FAAEE2662F0DF Time : 0.0 sec. user=mdettweiler [2009-07-24 07:36:10] 369*2^329015-1 is not prime. Res64: 007C9503B6CDF3BB Time : 0.0 sec. user=mdettweiler [2009-07-24 07:36:11] 367*2^329013-1 is not prime. Res64: 194FCB8AC9651431 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:36:11] 393*2^329014-1 is not prime. Res64: 11D2F99A012C2DC8 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:36:12] 397*2^329013-1 is not prime. Res64: 3DD8F713C70EDE79 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:47:04] 309*2^329017-1 is not prime. Res64: 3DC33F488692DEC0 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:47:05] 321*2^329017-1 is not prime. Res64: A3CDEBDFDC768245 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:47:05] 329*2^329016-1 is not prime. Res64: F073E474F0B5E3CD Time : 0.0 sec. user=mdettweiler [2009-07-24 07:47:06] 331*2^329017-1 is not prime. Res64: CA1E51254DD14C03 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:47:06] 357*2^329017-1 is not prime. Res64: 60970EE9B3BEB72C Time : 0.0 sec. user=mdettweiler [2009-07-24 07:58:04] 383*2^329016-1 is not prime. Res64: C325DB3AC83BA460 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:58:04] 303*2^329020-1 is not prime. Res64: 854157E7784AA839 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:58:05] 313*2^329019-1 is not prime. Res64: 39545087D32E5357 Time : 0.0 sec. user=mdettweiler [2009-07-24 07:58:05] 345*2^329020-1 is not prime. Res64: 380371EFD60A1B5F Time : 0.0 sec. user=mdettweiler [2009-07-24 07:58:06] 321*2^329023-1 is not prime. Res64: BD32DE254DA0C020 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:08:59] 323*2^329024-1 is not prime. Res64: D125CF3A78C8B767 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:08:59] 377*2^329024-1 is not prime. Res64: FB9CDEB7C468E3C9 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:09:00] 363*2^329023-1 is not prime. Res64: 3EF2095EB5AB4561 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:09:00] 391*2^329025-1 is not prime. Res64: 956AD7F90E12B77D Time : 0.0 sec. user=mdettweiler [2009-07-24 08:09:01] 371*2^329022-1 is not prime. Res64: 6CBBDC5DB304AD8E Time : 0.0 sec. user=mdettweiler [2009-07-24 08:19:53] 367*2^329025-1 is not prime. Res64: E3673FC3307BF259 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:19:54] 399*2^329027-1 is not prime. Res64: AC433CD5CD1FCA8C Time : 0.0 sec. user=mdettweiler [2009-07-24 08:19:55] 399*2^329028-1 is not prime. Res64: 15AD6390E228E6F4 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:19:55] 395*2^329028-1 is not prime. Res64: C39E05F73C2F41D1 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:19:56] 315*2^329030-1 is not prime. Res64: C91B37059C6BD49C Time : 0.0 sec. user=mdettweiler [2009-07-24 08:30:48] 333*2^329031-1 is not prime. Res64: AEA72EBAE175CE54 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:30:49] 303*2^329035-1 is not prime. Res64: A9100796EFACE6CC Time : 0.0 sec. user=mdettweiler [2009-07-24 08:30:49] 321*2^329033-1 is not prime. Res64: 8104E20E50CD9AB9 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:30:50] 399*2^329033-1 is not prime. Res64: 9C65E35E9986B229 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:30:51] 355*2^329033-1 is not prime. Res64: E1ADAA327A715BEB Time : 0.0 sec. user=mdettweiler [2009-07-24 08:41:48] 327*2^329034-1 is not prime. Res64: 4B5CEC3E9CE91766 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:41:49] 309*2^329036-1 is not prime. Res64: 2034F4A73428058E Time : 0.0 sec. user=mdettweiler [2009-07-24 08:41:49] 315*2^329038-1 is not prime. Res64: A6611D6AC2331DE0 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:41:50] 321*2^329037-1 is not prime. Res64: A2695F525A7BDAF9 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:41:50] 321*2^329038-1 is not prime. Res64: 967B2903CF9CC38D Time : 0.0 sec. user=mdettweiler [2009-07-24 08:52:43] 329*2^329036-1 is not prime. Res64: 72C5C306DE5FFC49 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:52:43] 325*2^329037-1 is not prime. Res64: 73ED1E0038F83286 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:52:44] 353*2^329036-1 is not prime. Res64: FA18FE1D366EC6B6 Time : 0.0 sec. user=mdettweiler [2009-07-24 08:52:44] 353*2^329038-1 is not prime. Res64: F58B1AF6DA56EB2A Time : 0.0 sec. user=mdettweiler [2009-07-24 08:52:45] 357*2^329037-1 is not prime. Res64: 0D6BA520DED5421C Time : 0.0 sec. user=mdettweiler [2009-07-24 09:03:43] 355*2^329039-1 is not prime. Res64: 8E5A1733270CD640 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:03:43] 387*2^329041-1 is not prime. Res64: FA1DB19750107382 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:03:44] 347*2^329040-1 is not prime. Res64: B1C5D2AEB09CF767 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:03:44] 327*2^329042-1 is not prime. Res64: 80C5CBF654915C10 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:03:45] 395*2^329042-1 is not prime. Res64: 2C6CA4ACC7A112F5 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:14:37] 357*2^329045-1 is not prime. Res64: 5949ACB50660AE18 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:14:38] 381*2^329042-1 is not prime. Res64: C23F4633D384E5B3 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:14:38] 305*2^329046-1 is not prime. Res64: 847FB634BF92D2B5 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:14:39] 315*2^329047-1 is not prime. Res64: B778F768DB98DD58 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:14:40] 351*2^329047-1 is not prime. Res64: 823A1B364209FD8B Time : 0.0 sec. user=mdettweiler [2009-07-24 09:25:32] 335*2^329048-1 is not prime. Res64: B3D27D7B854F423F Time : 0.0 sec. user=mdettweiler [2009-07-24 09:25:32] 341*2^329046-1 is not prime. Res64: 92E5F6FE4B154251 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:25:33] 317*2^329046-1 is not prime. Res64: 197CF59700FFE20B Time : 0.0 sec. user=mdettweiler [2009-07-24 09:25:34] 347*2^329048-1 is not prime. Res64: E3DB2EBA0F503328 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:25:34] 353*2^329048-1 is not prime. Res64: AE0AD9AAED47B119 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:36:27] 391*2^329047-1 is not prime. Res64: 08FA98ABA9A624B6 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:36:27] 395*2^329048-1 is not prime. Res64: 4572965322C1CC8A Time : 0.0 sec. user=mdettweiler [2009-07-24 09:36:28] 395*2^329050-1 is not prime. Res64: 7E03132039460957 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:36:28] 369*2^329049-1 is not prime. Res64: A08C78D6F83F3CB8 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:36:29] 393*2^329050-1 is not prime. Res64: 5153A3E80252F8E4 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:47:21] 381*2^329049-1 is not prime. Res64: 583571DDC7360A99 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:47:22] 321*2^329054-1 is not prime. Res64: 7533C0C75FF5A531 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:47:22] 347*2^329054-1 is not prime. Res64: 9FCBB8E5C78BA716 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:47:23] 347*2^329058-1 is not prime. Res64: BADDB8BF72290E6C Time : 0.0 sec. user=mdettweiler [2009-07-24 09:47:24] 391*2^329055-1 is not prime. Res64: 0B32E59DEE2C82F5 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:58:16] 393*2^329056-1 is not prime. Res64: D61C4BD831A46606 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:58:16] 323*2^329060-1 is not prime. Res64: A39E369F5637C254 Time : 0.0 sec. user=mdettweiler [2009-07-24 09:58:17] 385*2^329059-1 is not prime. Res64: 48FC92C8165D666D Time : 0.0 sec. user=mdettweiler [2009-07-24 09:58:18] 327*2^329060-1 is not prime. Res64: 80FBFEC47291089D Time : 0.0 sec. user=mdettweiler [2009-07-24 09:58:18] 333*2^329060-1 is not prime. Res64: D90E19892B4C2746 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:09:20] 369*2^329060-1 is not prime. Res64: 9FD43E71462AC617 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:09:21] 345*2^329062-1 is not prime. Res64: 9599DAA8FFC61DDD Time : 0.0 sec. user=mdettweiler [2009-07-24 10:09:21] 399*2^329063-1 is not prime. Res64: DA97CEF90E9C4F75 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:09:22] 351*2^329063-1 is not prime. Res64: 980D41B900802556 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:09:23] 355*2^329065-1 is not prime. Res64: 1F27C98886ADCB3B Time : 0.0 sec. user=mdettweiler [2009-07-24 10:20:15] 317*2^329062-1 is not prime. Res64: 696FA0CCDA40F7FE Time : 0.0 sec. user=mdettweiler [2009-07-24 10:20:16] 327*2^329064-1 is not prime. Res64: 1DB5CF3F99B85F71 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:20:16] 369*2^329064-1 is not prime. Res64: D1EA51F654013A9C Time : 0.0 sec. user=mdettweiler [2009-07-24 10:20:17] 309*2^329068-1 is not prime. Res64: 9BB5FDBED737D8E2 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:20:17] 399*2^329065-1 is not prime. Res64: 378ABE5D5B358AB2 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:31:04] 399*2^329067-1 is not prime. Res64: 900D4B44C404FD88 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:31:05] 385*2^329067-1 is not prime. Res64: C82DE533526B05E3 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:31:06] 387*2^329068-1 is not prime. Res64: D63082E970604E4D Time : 0.0 sec. user=mdettweiler [2009-07-24 10:31:06] 369*2^329068-1 is not prime. Res64: 277AE887B044C254 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:31:07] 365*2^329066-1 is not prime. Res64: 58488BDBED7737CF Time : 0.0 sec. user=mdettweiler [2009-07-24 10:41:54] 383*2^329066-1 is not prime. Res64: 5236639573654B15 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:41:55] 309*2^329071-1 is not prime. Res64: D98380AB3091282C Time : 0.0 sec. user=mdettweiler [2009-07-24 10:41:55] 377*2^329070-1 is not prime. Res64: C859AB9B04CD553C Time : 0.0 sec. user=mdettweiler [2009-07-24 10:41:56] 373*2^329071-1 is not prime. Res64: 103023E95EB7F2FE Time : 0.0 sec. user=mdettweiler [2009-07-24 10:41:56] 369*2^329069-1 is not prime. Res64: 31A12C42261CABD6 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:52:44] 311*2^329074-1 is not prime. Res64: BA1351A41FBD7DDB Time : 0.0 sec. user=mdettweiler [2009-07-24 10:52:44] 315*2^329074-1 is not prime. Res64: 8B290A69F82D3B79 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:52:45] 321*2^329074-1 is not prime. Res64: 1CC7F97BB7D49010 Time : 0.0 sec. user=mdettweiler [2009-07-24 10:52:46] 329*2^329072-1 is not prime. Res64: B56E3A3E47CA7D5B Time : 0.0 sec. user=mdettweiler [2009-07-24 10:52:46] 345*2^329074-1 is not prime. Res64: D5CB18CDB15F7C6E Time : 0.0 sec. user=mdettweiler [2009-07-24 11:03:39] 377*2^329074-1 is not prime. Res64: BA254B730DA5ABC7 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:03:39] 387*2^329073-1 is not prime. Res64: 8702F8977716E81F Time : 0.0 sec. user=mdettweiler [2009-07-24 11:03:40] 327*2^329072-1 is not prime. Res64: A42EE98475DDF54F Time : 0.0 sec. user=mdettweiler [2009-07-24 11:03:40] 325*2^329073-1 is not prime. Res64: C2CAC6F49BFBB04B Time : 0.0 sec. user=mdettweiler [2009-07-24 11:03:41] 363*2^329074-1 is not prime. Res64: 5B94FFF85FF491D6 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:14:28] 315*2^329078-1 is not prime. Res64: A4F8328252E70337 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:14:29] 387*2^329077-1 is not prime. Res64: 3200FFDDAEDF711B Time : 0.0 sec. user=mdettweiler [2009-07-24 11:14:29] 363*2^329076-1 is not prime. Res64: 353A2FD29C72E45D Time : 0.0 sec. user=mdettweiler [2009-07-24 11:14:30] 369*2^329075-1 is not prime. Res64: 6215DCACFBE4B1FE Time : 0.0 sec. user=mdettweiler [2009-07-24 11:14:31] 355*2^329079-1 is not prime. Res64: D01CBE96A5C9069A Time : 0.0 sec. user=mdettweiler [2009-07-24 11:26:13] 339*2^329079-1 is not prime. Res64: 8198B1E8E1F90ECE Time : 0.0 sec. user=mdettweiler [2009-07-24 11:26:14] 365*2^329080-1 is not prime. Res64: 06BF3808E74DE248 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:26:14] 381*2^329079-1 is not prime. Res64: 007FD279740B4249 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:26:15] 301*2^329085-1 is not prime. Res64: 7B49D912EAAE2AA4 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:26:15] 315*2^329085-1 is not prime. Res64: 1DAC6101805D35BD Time : 0.0 sec. user=mdettweiler [2009-07-24 11:37:48] 345*2^329082-1 is not prime. Res64: E45C2EAFE9207513 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:37:48] 335*2^329082-1 is not prime. Res64: 480A22BFCDEBDF8B Time : 0.0 sec. user=mdettweiler [2009-07-24 11:37:49] 341*2^329082-1 is not prime. Res64: 51DFF81F42B80FA3 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:37:50] 385*2^329083-1 is not prime. Res64: 3F9612D1D1E1A7C3 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:37:50] 327*2^329082-1 is not prime. Res64: 87ED9E70479D9259 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:50:03] 327*2^329085-1 is not prime. Res64: 6E1B1006F984AB82 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:50:03] 363*2^329083-1 is not prime. Res64: 3B99729808E110D7 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:50:04] 357*2^329084-1 is not prime. Res64: 299330B73532DD99 Time : 0.0 sec. user=mdettweiler [2009-07-24 11:50:04] 369*2^329084-1 is not prime. Res64: 168DBBB95549E1FB Time : 0.0 sec. user=mdettweiler [2009-07-24 11:50:05] 373*2^329083-1 is not prime. Res64: EBDF8B5FBF40C815 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:01:52] 371*2^329082-1 is not prime. Res64: ED2062A60281D457 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:01:53] 305*2^329088-1 is not prime. Res64: 60B077D65BF75518 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:01:53] 319*2^329087-1 is not prime. Res64: 4F4391883482259C Time : 0.0 sec. user=mdettweiler [2009-07-24 12:01:54] 387*2^329085-1 is not prime. Res64: A25855E8B01E3ACA Time : 0.0 sec. user=mdettweiler [2009-07-24 12:01:55] 387*2^329086-1 is not prime. Res64: E5BF38AE1097C4A3 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:12:47] 317*2^329088-1 is not prime. Res64: 28EE17F6CBA7E095 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:12:47] 333*2^329087-1 is not prime. Res64: C3852D450F84E675 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:12:48] 357*2^329085-1 is not prime. Res64: C229C26E4FA2217F Time : 0.0 sec. user=mdettweiler [2009-07-24 12:12:48] 371*2^329086-1 is not prime. Res64: 4A2E971FC43113E6 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:12:49] 383*2^329088-1 is not prime. Res64: 67F6729CDEA0C785 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:17:41] 301*2^329091-1 is not prime. Res64: CAD0B03E93B73CB5 Time : 0.0 sec. user=mdettweiler [2009-07-24 12:17:42] 315*2^329090-1 is not prime. Res64: 429FD860473104CA Time : 0.0 sec. user=mdettweiler [2009-07-24 14:54:33] 339*2^329089-1 is not prime. Res64: 4714DCF82EB9A143 Time : 0.0 sec. user=mdettweiler [2009-07-24 14:54:34] 357*2^329090-1 is not prime. Res64: 94B1761A16956C8A Time : 0.0 sec. user=mdettweiler [2009-07-24 14:54:34] 301*2^329095-1 is not prime. Res64: D90CE26DAE97790F Time : 0.0 sec. user=mdettweiler [2009-07-24 15:06:57] 309*2^329093-1 is not prime. Res64: 19A0872F29FF8954 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:06:57] 313*2^329095-1 is not prime. Res64: C0D6914B26438C75 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:06:58] 351*2^329093-1 is not prime. Res64: 780C3AA9DBD63C38 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:06:59] 387*2^329092-1 is not prime. Res64: 09C56DACDE3B8E55 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:06:59] 353*2^329092-1 is not prime. Res64: 908D5EFD66C71D37 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:18:32] 315*2^329098-1 is not prime. Res64: 98F1113760A032D4 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:18:32] 329*2^329096-1 is not prime. Res64: EC3A26F45E585CE5 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:18:33] 351*2^329098-1 is not prime. Res64: 790FFB4E91A83FBE Time : 0.0 sec. user=mdettweiler [2009-07-24 15:18:34] 355*2^329095-1 is not prime. Res64: 35D5C4F775286F01 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:18:34] 327*2^329098-1 is not prime. Res64: 2F26F2B0B6C1AB16 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:29:57] 357*2^329097-1 is not prime. Res64: 0F8D5330B505BB9A Time : 0.0 sec. user=mdettweiler [2009-07-24 15:29:57] 365*2^329096-1 is not prime. Res64: A457725AAE4A00A8 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:29:58] 315*2^329101-1 is not prime. Res64: B2C5F5BA7E2CA3E5 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:29:58] 321*2^329101-1 is not prime. Res64: FE23EC3266509211 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:29:59] 335*2^329100-1 is not prime. Res64: C1FCFE23A84266F7 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:44:02] 339*2^329099-1 is not prime. Res64: 1B3532616AB1F9DA Time : 0.0 sec. user=mdettweiler [2009-07-24 15:44:02] 363*2^329099-1 is not prime. Res64: 92E3FE5492F0EE5D Time : 0.0 sec. user=mdettweiler [2009-07-24 15:44:03] 393*2^329099-1 is not prime. Res64: B724F6FF27C5416E Time : 0.0 sec. user=mdettweiler [2009-07-24 15:44:03] 381*2^329101-1 is not prime. Res64: 38FBB72562B790FB Time : 0.0 sec. user=mdettweiler [2009-07-24 15:44:04] 309*2^329105-1 is not prime. Res64: 1DF16DCB749F845A Time : 0.0 sec. user=mdettweiler [2009-07-24 15:59:27] 323*2^329104-1 is not prime. Res64: 75CE21B85FB13788 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:59:27] 353*2^329102-1 is not prime. Res64: F94960F3E9503AFB Time : 0.0 sec. user=mdettweiler [2009-07-24 15:59:28] 399*2^329107-1 is not prime. Res64: 67DF5990D57BD1BB Time : 0.0 sec. user=mdettweiler [2009-07-24 15:59:29] 385*2^329105-1 is not prime. Res64: 4A21964E097EA4A1 Time : 0.0 sec. user=mdettweiler [2009-07-24 15:59:29] 317*2^329106-1 is not prime. Res64: 39A7CADE8CEC9918 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:11:57] 327*2^329108-1 is not prime. Res64: 7CBCB227B8AE9F1D Time : 0.0 sec. user=mdettweiler [2009-07-24 16:11:57] 391*2^329107-1 is not prime. Res64: CBBD2A82AE146157 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:11:58] 371*2^329106-1 is not prime. Res64: 6BAA167A786D65DE Time : 0.0 sec. user=mdettweiler [2009-07-24 16:11:59] 319*2^329109-1 is not prime. Res64: D6DA76CED13F6507 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:11:59] 355*2^329109-1 is not prime. Res64: B6F3A88D127EDC58 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:22:52] 349*2^329109-1 is not prime. Res64: 88F7D0681347B097 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:22:52] 349*2^329111-1 is not prime. Res64: 390B765A51B8195D Time : 0.0 sec. user=mdettweiler [2009-07-24 16:22:53] 393*2^329110-1 is not prime. Res64: 43E336D5A4B020CF Time : 0.0 sec. user=mdettweiler [2009-07-24 16:22:53] 301*2^329113-1 is not prime. Res64: CD47655407E680C6 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:22:54] 321*2^329113-1 is not prime. Res64: 75EC6E15E7F5D31E Time : 0.0 sec. user=mdettweiler [2009-07-24 16:33:46] 323*2^329114-1 is not prime. Res64: 2EBF65A81FDA79BA Time : 0.0 sec. user=mdettweiler [2009-07-24 16:33:47] 379*2^329113-1 is not prime. Res64: A7574ACFF1FB563E Time : 0.0 sec. user=mdettweiler [2009-07-24 16:33:48] 377*2^329114-1 is not prime. Res64: 80C1D94F8C4D5AEB Time : 0.0 sec. user=mdettweiler [2009-07-24 16:33:48] 317*2^329112-1 is not prime. Res64: DB65A50935724ACC Time : 0.0 sec. user=mdettweiler [2009-07-24 16:33:49] 387*2^329113-1 is not prime. Res64: 7FD13DAF3A389050 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:44:41] 383*2^329112-1 is not prime. Res64: D1FA8A611DAD04C0 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:44:41] 309*2^329117-1 is not prime. Res64: F24140897F77B46F Time : 0.0 sec. user=mdettweiler [2009-07-24 16:44:42] 399*2^329115-1 is not prime. Res64: E90D17634AD13715 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:44:42] 317*2^329118-1 is not prime. Res64: 2E47B949F7155A51 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:44:43] 363*2^329115-1 is not prime. Res64: 31BB5B86F489246F Time : 0.0 sec. user=mdettweiler [2009-07-24 16:55:36] 353*2^329116-1 is not prime. Res64: CF79185500A4B726 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:55:36] 383*2^329116-1 is not prime. Res64: 4248E8617DDC8D19 Time : 0.0 sec. user=mdettweiler [2009-07-24 16:55:37] 331*2^329121-1 is not prime. Res64: 0238F621851486DD Time : 0.0 sec. user=mdettweiler [2009-07-24 16:55:37] 379*2^329119-1 is not prime. Res64: 556000EB3A77DA5B Time : 0.0 sec. user=mdettweiler [2009-07-24 16:55:38] 339*2^329120-1 is not prime. Res64: 91E01A54665103CE Time : 0.0 sec. user=mdettweiler [2009-07-24 17:06:30] 381*2^329119-1 is not prime. Res64: A3E9C3CD649161D3 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:06:31] 313*2^329123-1 is not prime. Res64: 49C9B17401C03DA2 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:06:32] 315*2^329122-1 is not prime. Res64: 79F5BE3B10619736 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:06:32] 303*2^329128-1 is not prime. Res64: 62DFB04A8C1B9863 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:06:33] 321*2^329126-1 is not prime. Res64: E29B61EE4A993D05 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:17:40] 321*2^329127-1 is not prime. Res64: 0BC99D9CF8D0F3BD Time : 0.0 sec. user=mdettweiler [2009-07-24 17:17:41] 341*2^329126-1 is not prime. Res64: 050BA0E958175CED Time : 0.0 sec. user=mdettweiler [2009-07-24 17:17:41] 385*2^329125-1 is not prime. Res64: 5C65352A53D24AFD Time : 0.0 sec. user=mdettweiler [2009-07-24 17:17:42] 325*2^329125-1 is not prime. Res64: AA2A077C3DF30264 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:17:43] 327*2^329125-1 is not prime. Res64: 5F3847B8A420EFD2 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:31:20] 363*2^329127-1 is not prime. Res64: B030509978C8E4F8 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:31:21] 349*2^329125-1 is not prime. Res64: 68C7D6C587A29E25 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:31:22] 395*2^329128-1 is not prime. Res64: AD4AAC6A6CD602CD Time : 0.0 sec. user=mdettweiler [2009-07-24 17:31:23] 383*2^329126-1 is not prime. Res64: 49F2E11DA23C72D4 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:31:24] 383*2^329128-1 is not prime. Res64: D6EF1A4A3102D7A8 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:44:07] 393*2^329126-1 is not prime. Res64: E8A936649129CF0E Time : 0.0 sec. user=mdettweiler [2009-07-24 17:44:07] 301*2^329131-1 is not prime. Res64: F4A195F3F413482D Time : 0.0 sec. user=mdettweiler [2009-07-24 17:44:08] 317*2^329130-1 is not prime. Res64: 131576A6D736B59E Time : 0.0 sec. user=mdettweiler [2009-07-24 17:44:08] 395*2^329130-1 is not prime. Res64: 6086EE2E56DB0155 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:44:09] 311*2^329134-1 is not prime. Res64: 9509AD93D8C5ED88 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:55:51] 335*2^329134-1 is not prime. Res64: 999173F17F59F2AE Time : 0.0 sec. user=mdettweiler [2009-07-24 17:55:52] 367*2^329133-1 is not prime. Res64: 48A3CCA8ECF1EFF8 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:55:53] 305*2^329136-1 is not prime. Res64: 21C2E3356C8B324F Time : 0.0 sec. user=mdettweiler [2009-07-24 17:55:53] 377*2^329138-1 is not prime. Res64: BE2A3DB0C4A8DC74 Time : 0.0 sec. user=mdettweiler [2009-07-24 17:55:54] 339*2^329135-1 is not prime. Res64: 696DE4D5C174963A Time : 0.0 sec. user=mdettweiler [2009-07-24 18:08:06] 333*2^329138-1 is not prime. Res64: 3D5106177D32C50E Time : 0.0 sec. user=mdettweiler [2009-07-24 18:08:07] 319*2^329141-1 is not prime. Res64: E75F9C0459BFDE11 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:08:09] 345*2^329139-1 is not prime. Res64: 272E7714D30A8591 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:08:10] 307*2^329141-1 is not prime. Res64: FAD0BE78C7748195 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:08:10] 325*2^329139-1 is not prime. Res64: 21526823AE448D62 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:22:58] 373*2^329139-1 is not prime. Res64: 5F12074620EEC7AE Time : 0.0 sec. user=mdettweiler [2009-07-24 18:22:59] 345*2^329142-1 is not prime. Res64: 7C7D65D6603DF288 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:22:59] 399*2^329143-1 is not prime. Res64: 0975F29B3664758A Time : 0.0 sec. user=mdettweiler [2009-07-24 18:23:00] 351*2^329143-1 is not prime. Res64: B125333EEF2AB6DB Time : 0.0 sec. user=mdettweiler [2009-07-24 18:23:01] 339*2^329143-1 is not prime. Res64: 6286807F7B2D623B Time : 0.0 sec. user=mdettweiler [2009-07-24 18:37:38] 357*2^329144-1 is not prime. Res64: BED506102692D17F Time : 0.0 sec. user=mdettweiler [2009-07-24 18:37:39] 323*2^329146-1 is not prime. Res64: A29C4ECDC532928E Time : 0.0 sec. user=mdettweiler [2009-07-24 18:37:39] 399*2^329147-1 is not prime. Res64: 9414621DF4F65B40 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:37:40] 351*2^329147-1 is not prime. Res64: 949258AF307087A8 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:37:41] 335*2^329148-1 is not prime. Res64: 3B6D3129F6352961 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:51:18] 355*2^329145-1 is not prime. Res64: 31678B7A0420AC9B Time : 0.0 sec. user=mdettweiler [2009-07-24 18:51:19] 385*2^329147-1 is not prime. Res64: CD51B119750EB2DF Time : 0.0 sec. user=mdettweiler [2009-07-24 18:51:20] 339*2^329147-1 is not prime. Res64: 4DDB3A466571BD3C Time : 0.0 sec. user=mdettweiler [2009-07-24 18:51:20] 353*2^329148-1 is not prime. Res64: 1F29680FEE6258E5 Time : 0.0 sec. user=mdettweiler [2009-07-24 18:51:21] 369*2^329147-1 is not prime. Res64: A2EDFF93ADF5344C Time : 0.0 sec. user=mdettweiler [2009-07-24 19:04:31] 369*2^329148-1 is not prime. Res64: 53621DC0C5973D54 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:04:32] 381*2^329145-1 is not prime. Res64: 84E1FBFA9F36DD41 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:04:33] 381*2^329147-1 is not prime. Res64: 1BEFE42356DE021A Time : 0.0 sec. user=mdettweiler [2009-07-24 19:04:33] 309*2^329149-1 is not prime. Res64: 32581F4932F37001 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:04:34] 313*2^329151-1 is not prime. Res64: 4787A5DA986018C4 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:13:52] 337*2^329149-1 is not prime. Res64: F7A99E62B2D6E15C Time : 0.0 sec. user=mdettweiler [2009-07-24 19:13:52] 377*2^329150-1 is not prime. Res64: 2A60293871CDA5F9 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:13:53] 339*2^329151-1 is not prime. Res64: 8C7FB9A490C6209F Time : 0.0 sec. user=mdettweiler [2009-07-24 19:18:54] 399*2^329153-1 is not prime. Res64: 9ADDC79D0C0D877E Time : 0.0 sec. user=mdettweiler [2009-07-24 19:18:55] 351*2^329153-1 is not prime. Res64: 686411CE187F2B77 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:30:33] 327*2^329153-1 is not prime. Res64: 00F670C58EE514BB Time : 0.0 sec. user=mdettweiler [2009-07-24 19:30:34] 385*2^329155-1 is not prime. Res64: 612BCAC7D0CA8C35 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:30:34] 369*2^329157-1 is not prime. Res64: F7FE6336AB10AE50 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:30:35] 337*2^329161-1 is not prime. Res64: 21F6154928E9DDFD Time : 0.0 sec. user=mdettweiler [2009-07-24 19:30:35] 339*2^329159-1 is not prime. Res64: 8CDBE59640008C9A Time : 0.0 sec. user=mdettweiler [2009-07-24 19:42:03] 387*2^329158-1 is not prime. Res64: D23105FA7B414D46 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:42:04] 327*2^329161-1 is not prime. Res64: 55D8096B06E4244C Time : 0.0 sec. user=mdettweiler [2009-07-24 19:42:04] 363*2^329159-1 is not prime. Res64: E635073E74A1BD50 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:42:05] 313*2^329163-1 is not prime. Res64: F1FF765E04B804C6 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:42:06] 315*2^329164-1 is not prime. Res64: 1E98FE83E93951D6 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:54:18] 349*2^329163-1 is not prime. Res64: C6FB8BE3C8799E23 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:54:19] 371*2^329162-1 is not prime. Res64: 22861B36783651D5 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:54:19] 309*2^329167-1 is not prime. Res64: DECF20F3902F8F94 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:54:20] 313*2^329167-1 is not prime. Res64: 2BC538A74E5EDD78 Time : 0.0 sec. user=mdettweiler [2009-07-24 19:54:21] 315*2^329165-1 is not prime. Res64: B8D907E4DC126960 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:06:18] 399*2^329167-1 is not prime. Res64: BDE37BB723DEB439 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:06:19] 355*2^329165-1 is not prime. Res64: CA82850F3336B708 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:06:19] 333*2^329166-1 is not prime. Res64: CAF1B76C96C74F4C Time : 0.0 sec. user=mdettweiler [2009-07-24 20:06:20] 391*2^329167-1 is not prime. Res64: CF87F76215412FB5 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:06:21] 369*2^329167-1 is not prime. Res64: DDAE2F6E209828E5 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:18:23] 301*2^329169-1 is not prime. Res64: 688DDF815A317879 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:18:24] 315*2^329170-1 is not prime. Res64: C357E63E17F4AB0B Time : 0.0 sec. user=mdettweiler [2009-07-24 20:18:25] 327*2^329169-1 is not prime. Res64: 5EA334F1A9245C59 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:18:25] 363*2^329171-1 is not prime. Res64: 12508020010071DE Time : 0.0 sec. user=mdettweiler [2009-07-24 20:18:26] 315*2^329174-1 is not prime. Res64: C7DCB6A8EBB60EA7 Time : 0.0 sec. user=mdettweiler [2009-07-24 20:26:41] 351*2^329173-1 is not prime. Res64: 5C9DA249180E884B Time : 0.0 sec. user=mdettweiler [2009-07-24 20:27:03] 387*2^329172-1 is not prime. Res64: E905C10B3153CCAA Time : 0.0 sec. user=mdettweiler [2009-07-24 20:27:24] 325*2^329173-1 is not prime. Res64: 386DDB2F601278D3 Time : 0.0 sec.