user=mdettweiler [2010-01-17 15:09:53] 509*2^745768-1 is not prime. Res64: 18B227282AC673D0 Time : 0.0 sec. user=mdettweiler [2010-01-17 15:22:24] 481*2^745769-1 is not prime. Res64: FD1C985AFEC6C849 Time : 0.0 sec. user=mdettweiler [2010-01-17 15:35:05] 503*2^745770-1 is not prime. Res64: ACDE8A038E3FB11C Time : 0.0 sec. user=mdettweiler [2010-01-17 15:47:56] 597*2^745768-1 is not prime. Res64: 31619F6745135566 Time : 0.0 sec. user=mdettweiler [2010-01-17 16:00:28] 415*2^745771-1 is not prime. Res64: 2092BFB7458DFC27 Time : 0.0 sec. user=mdettweiler [2010-01-17 16:12:49] 417*2^745773-1 is not prime. Res64: F69DCA29D8ECD6A5 Time : 0.0 sec. user=mdettweiler [2010-01-17 16:25:10] 421*2^745771-1 is not prime. Res64: 2C6A0B3D376A1E21 Time : 0.0 sec. user=mdettweiler [2010-01-17 16:37:31] 435*2^745774-1 is not prime. Res64: FE7619F132124201 Time : 0.0 sec. user=mdettweiler [2010-01-17 16:49:57] 479*2^745772-1 is not prime. Res64: 53F4844D08935E76 Time : 0.0 sec. user=mdettweiler [2010-01-17 17:02:18] 539*2^745772-1 is not prime. Res64: 8B033F8398D0D7A3 Time : 0.0 sec. user=mdettweiler [2010-01-17 17:14:39] 495*2^745771-1 is not prime. Res64: 740176AE99A3BE88 Time : 0.0 sec. user=mdettweiler [2010-01-17 17:27:00] 505*2^745771-1 is not prime. Res64: 953F149B04185455 Time : 0.0 sec. user=mdettweiler [2010-01-17 17:39:31] 587*2^745772-1 is not prime. Res64: F3805900AD03BAB6 Time : 0.0 sec. user=mdettweiler [2010-01-17 17:51:53] 561*2^745771-1 is not prime. Res64: C64EEF4E4C951BA6 Time : 0.0 sec. user=mdettweiler [2010-01-17 18:04:14] 421*2^745775-1 is not prime. Res64: 3ED15A45A0E452F1 Time : 0.0 sec. user=mdettweiler [2010-01-17 18:16:35] 427*2^745777-1 is not prime. Res64: E890675E77247188 Time : 0.0 sec. user=mdettweiler [2010-01-17 18:28:57] 441*2^745777-1 is not prime. Res64: 342553A4ABF9ED3D Time : 0.0 sec. user=mdettweiler [2010-01-17 18:41:18] 465*2^745777-1 is not prime. Res64: FAD9E020957259F1 Time : 0.0 sec. user=mdettweiler [2010-01-17 18:53:54] 525*2^745776-1 is not prime. Res64: 9DF19791D6FAFD3C Time : 0.0 sec. user=mdettweiler [2010-01-17 19:07:17] 503*2^745776-1 is not prime. Res64: 38E43BC598964AB9 Time : 0.0 sec. user=mdettweiler [2010-01-17 19:20:58] 597*2^745776-1 is not prime. Res64: 36EC6F125F010784 Time : 0.0 sec. user=mdettweiler [2010-01-17 19:33:59] 513*2^745774-1 is not prime. Res64: 7A9F4DC2D88F5999 Time : 0.0 sec. user=mdettweiler [2010-01-17 19:47:06] 595*2^745775-1 is not prime. Res64: 46A9205D9EB95A54 Time : 0.0 sec. user=mdettweiler [2010-01-17 19:59:53] 439*2^745779-1 is not prime. Res64: 44B4C979607D9C9E Time : 0.0 sec. user=mdettweiler [2010-01-17 20:13:35] 447*2^745780-1 is not prime. Res64: E583381A1B7F9C97 Time : 0.0 sec. user=mdettweiler [2010-01-17 20:26:17] 451*2^745779-1 is not prime. Res64: 64795ED1D0E9EE84 Time : 0.0 sec. user=mdettweiler [2010-01-17 20:39:04] 543*2^745779-1 is not prime. Res64: 0D849D4EC1A6435A Time : 0.0 sec. user=mdettweiler [2010-01-17 20:51:41] 545*2^745778-1 is not prime. Res64: ED5CF13860EBC94A Time : 0.0 sec. user=mdettweiler [2010-01-17 21:04:28] 459*2^745779-1 is not prime. Res64: FBC5AD53CCE01DB6 Time : 0.0 sec. user=mdettweiler [2010-01-17 21:17:04] 573*2^745779-1 is not prime. Res64: 69918DEDC117C53E Time : 0.0 sec. user=mdettweiler [2010-01-17 21:29:46] 423*2^745782-1 is not prime. Res64: 4FB1E03B3DD67881 Time : 0.0 sec. user=mdettweiler [2010-01-17 21:42:25] 431*2^745782-1 is not prime. Res64: FF4B11940CA8C2EE Time : 0.0 sec. user=mdettweiler [2010-01-17 21:55:01] 447*2^745782-1 is not prime. Res64: 40EB3165777EB1C1 Time : 0.0 sec. user=mdettweiler [2010-01-17 22:07:38] 501*2^745782-1 is not prime. Res64: 28861B12C1E0D308 Time : 0.0 sec. user=mdettweiler [2010-01-17 22:21:24] 507*2^745782-1 is not prime. Res64: D750F9E456E27E01 Time : 0.0 sec. user=mdettweiler [2010-01-17 22:33:47] 523*2^745783-1 is not prime. Res64: 2A95C10F1F3CBCCE Time : 0.0 sec. user=mdettweiler [2010-01-17 22:46:24] 525*2^745781-1 is not prime. Res64: 102BFE65091DCF68 Time : 0.0 sec. user=mdettweiler [2010-01-17 22:58:52] 563*2^745782-1 is not prime. Res64: A19BE7495C481BF2 Time : 0.0 sec. user=mdettweiler [2010-01-17 23:11:28] 585*2^745782-1 is not prime. Res64: 68135B4DD53A1F27 Time : 0.0 sec. user=mdettweiler [2010-01-17 23:23:55] 435*2^745769-1 is not prime. Res64: 8FD14675E18FF546 Time : 0.0 sec. user=mdettweiler [2010-01-17 23:36:16] 437*2^745768-1 is not prime. Res64: 1497EF2D1A8100FC Time : 0.0 sec. user=mdettweiler [2010-01-17 23:48:42] 445*2^745769-1 is not prime. Res64: B2B13F2E2D098321 Time : 0.0 sec. user=mdettweiler [2010-01-18 00:01:09] 465*2^745769-1 is not prime. Res64: E88938813A46FF25 Time : 0.0 sec. user=mdettweiler [2010-01-18 00:13:41] 479*2^745768-1 is not prime. Res64: 18F529F1C314EC19 Time : 0.0 sec. user=mdettweiler [2010-01-18 00:26:09] 507*2^745769-1 is not prime. Res64: CFD58EB57376BFAB Time : 0.0 sec. user=mdettweiler [2010-01-18 00:39:31] 405*2^745786-1 is not prime. Res64: 293A4EC261EB231D Time : 0.0 sec. user=mdettweiler [2010-01-18 00:52:03] 427*2^745785-1 is not prime. Res64: 8F8F52B502F11AE6 Time : 0.0 sec. user=mdettweiler [2010-01-18 01:04:52] 443*2^745786-1 is not prime. Res64: B0ECE46FDEE891F1 Time : 0.0 sec. user=mdettweiler [2010-01-18 01:17:24] 497*2^745786-1 is not prime. Res64: 1E23641E2A01CE35 Time : 0.0 sec. user=mdettweiler [2010-01-18 01:29:58] 519*2^745784-1 is not prime. Res64: 4E80F883BF225929 Time : 0.0 sec. user=mdettweiler [2010-01-18 01:42:39] 519*2^745787-1 is not prime. Res64: B50EA8A2173DACBF Time : 0.0 sec. user=mdettweiler [2010-01-18 01:55:06] 543*2^745787-1 is not prime. Res64: FF78DABC20C335D2 Time : 0.0 sec. user=mdettweiler [2010-01-18 02:07:28] 557*2^745784-1 is not prime. Res64: F7B3C3DF299883B2 Time : 0.0 sec. user=mdettweiler [2010-01-18 02:19:50] 459*2^745784-1 is not prime. Res64: B800EFE307940C5D Time : 0.0 sec. user=mdettweiler [2010-01-18 02:32:16] 459*2^745785-1 is not prime. Res64: 5E5706672882DA7F Time : 0.0 sec. user=mdettweiler [2010-01-18 02:44:43] 495*2^745785-1 is not prime. Res64: DAB78C2F67C0F97C Time : 0.0 sec. user=mdettweiler [2010-01-18 02:57:09] 525*2^745784-1 is not prime. Res64: A544192C48C7A14C Time : 0.0 sec. user=mdettweiler [2010-01-18 03:09:36] 525*2^745786-1 is not prime. Res64: EB7D901C2AAFE566 Time : 0.0 sec. user=mdettweiler [2010-01-18 03:22:08] 563*2^745784-1 is not prime. Res64: 0E69BEE1A2DB354F Time : 0.0 sec. user=mdettweiler [2010-01-18 03:34:29] 585*2^745784-1 is not prime. Res64: 6323C68D97F9FEA0 Time : 0.0 sec. user=mdettweiler [2010-01-18 03:46:50] 407*2^745790-1 is not prime. Res64: DAB95C1B7C027018 Time : 0.0 sec. user=mdettweiler [2010-01-18 03:59:22] 437*2^745788-1 is not prime. Res64: 80A82E982AAAE1FA Time : 0.0 sec. user=mdettweiler [2010-01-18 04:11:43] 479*2^745788-1 is not prime. Res64: A538398703F84CE4 Time : 0.0 sec. user=mdettweiler [2010-01-18 04:24:19] 499*2^745789-1 is not prime. Res64: F9BC8E17F9E74C12 Time : 0.0 sec. user=mdettweiler [2010-01-18 04:36:46] 501*2^745790-1 is not prime. Res64: F031E1773BB2ED4F Time : 0.0 sec. user=mdettweiler [2010-01-18 04:49:17] 567*2^745788-1 is not prime. Res64: FBCCE26331DB4E88 Time : 0.0 sec. user=mdettweiler [2010-01-18 05:01:43] 567*2^745789-1 is not prime. Res64: 3E6876313CFCA3B4 Time : 0.0 sec. user=mdettweiler [2010-01-18 05:14:14] 471*2^745789-1 is not prime. Res64: 8B09D98015A8E9FB Time : 0.0 sec. user=mdettweiler [2010-01-18 05:26:41] 553*2^745787-1 is not prime. Res64: 9FB84D7908135A54 Time : 0.0 sec. user=mdettweiler [2010-01-18 05:39:17] 423*2^745794-1 is not prime. Res64: 3335AC68A63C1ACA Time : 0.0 sec. user=mdettweiler [2010-01-18 05:52:13] 489*2^745793-1 is not prime. Res64: 6EFBFC0AC5E5D797 Time : 0.0 sec.