user=mdettweiler [2013-02-17 00:12:28] 729*2^1241189-1 is not prime. Res64: E1A8986C1FC3C80C Time : 0.0 sec. user=mdettweiler [2013-02-17 00:12:29] 787*2^1241189-1 is not prime. Res64: B1FA7B08FAFB7884 Time : 0.0 sec. user=mdettweiler [2013-02-17 00:12:33] 801*2^1241189-1 is not prime. Res64: 0A0F54ACD8408412 Time : 0.0 sec. user=mdettweiler [2013-02-17 00:12:34] 907*2^1241189-1 is not prime. Res64: A87B097EAC3A640F Time : 0.0 sec. user=mdettweiler [2013-02-17 00:29:53] 987*2^1241189-1 is not prime. Res64: 2F5B284AF263DABD Time : 0.0 sec. user=mdettweiler [2013-02-17 00:29:54] 695*2^1241190-1 is not prime. Res64: A786B960C737BB09 Time : 0.0 sec. user=mdettweiler [2013-02-17 00:29:59] 755*2^1241190-1 is not prime. Res64: B26FF6045D986A76 Time : 0.0 sec. user=mdettweiler [2013-02-17 00:30:00] 825*2^1241190-1 is not prime. Res64: D3E9445F273C4F84 Time : 0.0 sec. user=mdettweiler [2013-02-17 00:47:16] 845*2^1241190-1 is not prime. Res64: 92B2B54D132543DE Time : 0.0 sec. user=mdettweiler [2013-02-17 00:47:17] 851*2^1241190-1 is not prime. Res64: 3F7E030A18F2AFA5 Time : 0.0 sec. user=mdettweiler [2013-02-17 00:47:26] 861*2^1241190-1 is not prime. Res64: D89D5AE406EE503A Time : 0.0 sec. user=mdettweiler [2013-02-17 00:47:28] 945*2^1241190-1 is not prime. Res64: 1B51A9ABF17320F6 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:04:46] 639*2^1241191-1 is not prime. Res64: 266529B8AE7C635C Time : 0.0 sec. user=mdettweiler [2013-02-17 01:04:47] 651*2^1241191-1 is not prime. Res64: 4AB19B83405D67A3 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:04:50] 661*2^1241191-1 is not prime. Res64: 5943C1FF54513AE5 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:04:53] 723*2^1241191-1 is not prime. Res64: 09B93629EB12A412 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:22:14] 901*2^1241191-1 is not prime. Res64: 4F00D3F12CE1E7F1 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:22:15] 993*2^1241191-1 is not prime. Res64: 1B58E4677DE255C5 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:22:17] 609*2^1241192-1 is not prime. Res64: BD26727D3E1DDEDC Time : 0.0 sec. user=mdettweiler [2013-02-17 01:22:18] 617*2^1241192-1 is not prime. Res64: 9DCA7958D57696E7 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:39:37] 633*2^1241192-1 is not prime. Res64: 7C2F8EFEA1F8B3C6 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:39:37] 645*2^1241192-1 is not prime. Res64: 27002082AD9F8AE5 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:39:39] 813*2^1241192-1 is not prime. Res64: 9DC66F0C92165649 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:39:40] 825*2^1241192-1 is not prime. Res64: CA4DAB10725EF1EC Time : 0.0 sec. user=mdettweiler [2013-02-17 01:56:59] 705*2^1241193-1 is not prime. Res64: E2D864B8ED0BF505 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:56:59] 727*2^1241193-1 is not prime. Res64: D262E2ECC0960D6A Time : 0.0 sec. user=mdettweiler [2013-02-17 01:57:02] 739*2^1241193-1 is not prime. Res64: AD171CA47CFA92A5 Time : 0.0 sec. user=mdettweiler [2013-02-17 01:57:03] 937*2^1241193-1 is not prime. Res64: F4EE257CF8CBD1F6 Time : 0.0 sec. user=mdettweiler [2013-02-17 02:14:22] 979*2^1241193-1 is not prime. Res64: EC3302A186B94936 Time : 0.0 sec. user=mdettweiler [2013-02-17 02:14:23] 605*2^1241194-1 is not prime. Res64: 0FF77BC11BE580DF Time : 0.0 sec. user=mdettweiler [2013-02-17 02:14:24] 755*2^1241194-1 is not prime. Res64: 0BE0662B14EB2845 Time : 0.0 sec. user=mdettweiler [2013-02-17 02:14:25] 923*2^1241194-1 is not prime. Res64: 7264AD36962716ED Time : 0.0 sec. user=juhehe [2013-02-17 02:21:47] 855*2^1241192-1 is not prime. Res64: 5CE925FC34109E6A Time : 0.0 sec. user=mdettweiler [2013-02-17 02:31:46] 705*2^1241195-1 is not prime. Res64: D2B971C9F7CAE4FD Time : 0.0 sec. user=mdettweiler [2013-02-17 02:31:47] 699*2^1241196-1 is not prime. Res64: 5AD4062AEB9C2C0C Time : 0.0 sec. user=mdettweiler [2013-02-17 02:31:47] 973*2^1241195-1 is not prime. Res64: 062073D051DA1B78 Time : 0.0 sec. user=mdettweiler [2013-02-17 02:31:47] 707*2^1241196-1 is not prime. Res64: B47DC378240E6622 Time : 0.0 sec. user=mdettweiler [2013-02-17 02:49:11] 845*2^1241196-1 is not prime. Res64: FA61F4BB0094803F Time : 0.0 sec. user=mdettweiler [2013-02-17 02:49:13] 879*2^1241196-1 is not prime. Res64: DD6C98193D9E96CD Time : 0.0 sec. user=mdettweiler [2013-02-17 02:49:14] 933*2^1241196-1 is not prime. Res64: 3074DE7FA9D2CB96 Time : 0.0 sec. user=mdettweiler [2013-02-17 02:49:15] 645*2^1241197-1 is not prime. Res64: 3A6E97D017F7EC94 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:06:41] 751*2^1241197-1 is not prime. Res64: F946339052C00D01 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:06:42] 861*2^1241197-1 is not prime. Res64: 48787B3D0BCC3F16 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:06:43] 931*2^1241197-1 is not prime. Res64: 713CB8A748816897 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:06:43] 997*2^1241197-1 is not prime. Res64: 20DFC6C8B653A8D9 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:24:10] 635*2^1241198-1 is not prime. Res64: 43065AECF4EB6FCF Time : 0.0 sec. user=mdettweiler [2013-02-17 03:24:10] 693*2^1241198-1 is not prime. Res64: 4F4A681B8F650DC3 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:24:12] 713*2^1241198-1 is not prime. Res64: 4A6D8BDD2C6E4279 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:24:12] 911*2^1241198-1 is not prime. Res64: 982EA5EB0EBBAB56 Time : 0.0 sec. user=mdettweiler [2013-02-17 03:41:34] 971*2^1241198-1 is not prime. Res64: DC533346286CF55C Time : 0.0 sec. user=mdettweiler [2013-02-17 03:41:35] 639*2^1241199-1 is not prime. Res64: 860F68329CF7740A Time : 0.0 sec. user=mdettweiler [2013-02-17 03:41:35] 609*2^1241199-1 is not prime. Res64: A9E6C47CFC7E776F Time : 0.0 sec. user=mdettweiler [2013-02-17 03:41:35] 741*2^1241199-1 is not prime. Res64: 028D42FC6172ECAE Time : 0.0 sec. user=mdettweiler [2013-02-17 03:58:59] 891*2^1241199-1 is not prime. Res64: 14CF41180B97E2CE Time : 0.0 sec. user=mdettweiler [2013-02-17 03:59:00] 615*2^1241200-1 is not prime. Res64: 23C48A07ED1753ED Time : 0.0 sec. user=mdettweiler [2013-02-17 03:59:01] 793*2^1241199-1 is not prime. Res64: 6E5D1AEB3B7874FE Time : 0.0 sec. user=mdettweiler [2013-02-17 03:59:02] 885*2^1241199-1 is not prime. Res64: 79B7957559305D61 Time : 0.0 sec. user=juhehe [2013-02-17 04:15:34] 941*2^1241198-1 is not prime. Res64: 943A5E289C1AAAC8 Time : 0.0 sec. user=mdettweiler [2013-02-17 04:16:22] 635*2^1241200-1 is not prime. Res64: 335D9D232500D880 Time : 0.0 sec. user=mdettweiler [2013-02-17 04:16:23] 719*2^1241200-1 is not prime. Res64: FF1719AC51DC3A24 Time : 0.0 sec. user=mdettweiler [2013-02-17 04:16:23] 855*2^1241200-1 is not prime. Res64: 3C8DDE1F1E0D2A3D Time : 0.0 sec. user=mdettweiler [2013-02-17 04:16:24] 863*2^1241200-1 is not prime. Res64: 05E5EE8E81FBAF77 Time : 0.0 sec. user=mdettweiler [2013-02-17 04:33:48] 775*2^1241201-1 is not prime. Res64: CDCC11898C6CAC0D Time : 0.0 sec. user=mdettweiler [2013-02-17 04:33:49] 955*2^1241201-1 is not prime. Res64: D369A0D74E4700A1 Time : 0.0 sec. user=mdettweiler [2013-02-17 04:33:50] 855*2^1241201-1 is not prime. Res64: 59DC4A92DB8CBF9F Time : 0.0 sec. user=mdettweiler [2013-02-17 04:33:50] 677*2^1241202-1 is not prime. Res64: D9A3E34D3487C63A Time : 0.0 sec. user=mdettweiler [2013-02-17 04:51:17] 825*2^1241202-1 is not prime. Res64: 42DE202929C3403E Time : 0.0 sec. user=mdettweiler [2013-02-17 04:51:17] 1001*2^1241202-1 is not prime. Res64: 9E9664326EC5A6D1 Time : 0.0 sec. user=mdettweiler [2013-02-17 04:51:18] 663*2^1241203-1 is not prime. Res64: 811422BEF9BED91A Time : 0.0 sec. user=mdettweiler [2013-02-17 04:51:18] 675*2^1241203-1 is not prime. Res64: C8BE5B830CA2DC82 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:08:39] 693*2^1241203-1 is not prime. Res64: ED0BEB5AAFAFAC05 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:08:40] 703*2^1241203-1 is not prime. Res64: E9E15BE660E332AD Time : 0.0 sec. user=mdettweiler [2013-02-17 05:08:41] 741*2^1241203-1 is not prime. Res64: 9170154E8BE9E693 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:08:42] 859*2^1241203-1 is not prime. Res64: CD0BF4FC64A98D4C Time : 0.0 sec. user=mdettweiler [2013-02-17 05:26:11] 861*2^1241203-1 is not prime. Res64: F4FACE105D554A14 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:26:11] 871*2^1241203-1 is not prime. Res64: 4994FBADBD1D1B55 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:26:12] 609*2^1241204-1 is not prime. Res64: 6F8C88896F5099B7 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:26:12] 885*2^1241204-1 is not prime. Res64: 3CFFBC4D7895DDE2 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:43:35] 699*2^1241205-1 is not prime. Res64: 28EBB2586F5AC04D Time : 0.0 sec. user=mdettweiler [2013-02-17 05:43:35] 709*2^1241205-1 is not prime. Res64: 4F1D83CD8F1204CF Time : 0.0 sec. user=mdettweiler [2013-02-17 05:43:36] 751*2^1241205-1 is not prime. Res64: 03F4F6C00E51E364 Time : 0.0 sec. user=mdettweiler [2013-02-17 05:43:36] 861*2^1241205-1 is not prime. Res64: 759525EAEE7D72F6 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:00:57] 867*2^1241205-1 is not prime. Res64: 88FE4159D4B2784D Time : 0.0 sec. user=mdettweiler [2013-02-17 06:00:58] 877*2^1241205-1 is not prime. Res64: B232E8D476EC941F Time : 0.0 sec. user=mdettweiler [2013-02-17 06:00:59] 921*2^1241205-1 is not prime. Res64: A2F627E9C70240FA Time : 0.0 sec. user=mdettweiler [2013-02-17 06:01:00] 937*2^1241205-1 is not prime. Res64: AD0C97E46B079C11 Time : 0.0 sec. user=juhehe [2013-02-17 06:15:27] 983*2^1241204-1 is not prime. Res64: 11F6249B1DC7B1C6 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:18:30] 723*2^1241206-1 is not prime. Res64: 53A47E95613D1758 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:18:31] 785*2^1241206-1 is not prime. Res64: 52AE8F7964C93F7D Time : 0.0 sec. user=mdettweiler [2013-02-17 06:18:34] 801*2^1241206-1 is not prime. Res64: 2595B877AD27836A Time : 0.0 sec. user=mdettweiler [2013-02-17 06:18:34] 813*2^1241206-1 is not prime. Res64: 997BA43147E492FD Time : 0.0 sec. user=mdettweiler [2013-02-17 06:35:57] 873*2^1241206-1 is not prime. Res64: 7B49D30916DB63B7 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:35:57] 643*2^1241207-1 is not prime. Res64: 9BF2E7454064603E Time : 0.0 sec. user=mdettweiler [2013-02-17 06:35:58] 661*2^1241207-1 is not prime. Res64: 8F3780EC8519FF33 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:35:59] 673*2^1241207-1 is not prime. Res64: 69CBECBF1DA5A028 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:53:19] 703*2^1241207-1 is not prime. Res64: 3CB8632D478A69A1 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:53:20] 739*2^1241207-1 is not prime. Res64: C10A4B570AEA6478 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:53:21] 861*2^1241207-1 is not prime. Res64: 689DE2B73C5D1183 Time : 0.0 sec. user=mdettweiler [2013-02-17 06:53:22] 865*2^1241207-1 is not prime. Res64: 34F29D2DA329BA0C Time : 0.0 sec. user=mdettweiler [2013-02-17 07:10:42] 909*2^1241207-1 is not prime. Res64: 70F7331AE712A556 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:10:43] 981*2^1241207-1 is not prime. Res64: E60798B9CAC61FE2 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:10:44] 639*2^1241208-1 is not prime. Res64: EDC6ADC735BA1F6A Time : 0.0 sec. user=mdettweiler [2013-02-17 07:10:45] 657*2^1241208-1 is not prime. Res64: F70FC77D40C57027 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:28:08] 689*2^1241208-1 is not prime. Res64: C0CF6753BBF5C6EC Time : 0.0 sec. user=mdettweiler [2013-02-17 07:28:08] 713*2^1241208-1 is not prime. Res64: 39C685700692EA06 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:28:10] 753*2^1241208-1 is not prime. Res64: 929D510988434D94 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:28:10] 795*2^1241208-1 is not prime. Res64: 00A2FF353D53C516 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:45:31] 809*2^1241208-1 is not prime. Res64: 2278A8453CA0B092 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:45:32] 849*2^1241208-1 is not prime. Res64: 22EDE903E19B6D87 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:45:32] 999*2^1241208-1 is not prime. Res64: 444BC2DDF9F21442 Time : 0.0 sec. user=mdettweiler [2013-02-17 07:45:33] 681*2^1241209-1 is not prime. Res64: 6FFC7FFF457C7B51 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:02:54] 807*2^1241209-1 is not prime. Res64: AFD8B1966DF09288 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:02:54] 831*2^1241209-1 is not prime. Res64: B4DC7F67BF0E54EF Time : 0.0 sec. user=mdettweiler [2013-02-17 08:02:55] 855*2^1241209-1 is not prime. Res64: C1F2EC667F203AC8 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:02:56] 895*2^1241209-1 is not prime. Res64: CAD9EDCC593F37AA Time : 0.0 sec. user=juhehe [2013-02-17 08:09:49] 797*2^1241208-1 is not prime. Res64: EFE4D8AEBCE64DB4 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:20:19] 987*2^1241209-1 is not prime. Res64: 246D2755E04BF3E2 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:20:20] 999*2^1241209-1 is not prime. Res64: 9171BF1CE22F4611 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:20:20] 603*2^1241210-1 is not prime. Res64: 4A69206CF4A84876 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:20:21] 665*2^1241210-1 is not prime. Res64: 8D05BF23B20044CB Time : 0.0 sec. user=mdettweiler [2013-02-17 08:37:42] 747*2^1241210-1 is not prime. Res64: 9D82B1D35244AA8F Time : 0.0 sec. user=mdettweiler [2013-02-17 08:37:43] 827*2^1241210-1 is not prime. Res64: 8161AF05C852D48B Time : 0.0 sec. user=mdettweiler [2013-02-17 08:37:44] 857*2^1241210-1 is not prime. Res64: 66A5E42DB60A0E91 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:37:45] 957*2^1241210-1 is not prime. Res64: 63C7D8DB26B654B3 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:55:06] 981*2^1241210-1 is not prime. Res64: 6A82371FADF85CFB Time : 0.0 sec. user=mdettweiler [2013-02-17 08:55:06] 995*2^1241210-1 is not prime. Res64: F06741251F367817 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:55:08] 1001*2^1241210-1 is not prime. Res64: FEDE6B1811F6DA90 Time : 0.0 sec. user=mdettweiler [2013-02-17 08:55:08] 613*2^1241211-1 is not prime. Res64: C9D366141FD8A2DA Time : 0.0 sec. user=mdettweiler [2013-02-17 09:12:32] 679*2^1241211-1 is not prime. Res64: 31EFC2DD1AFEC483 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:12:32] 709*2^1241211-1 is not prime. Res64: 7B3337B9C709C972 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:12:33] 741*2^1241211-1 is not prime. Res64: D9D8B9F75F5E0F42 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:12:33] 781*2^1241211-1 is not prime. Res64: 32DF10A92C61E131 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:29:54] 849*2^1241211-1 is not prime. Res64: A06DD2EBF7024726 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:29:55] 859*2^1241211-1 is not prime. Res64: 787FA1B16F7DE489 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:29:55] 861*2^1241211-1 is not prime. Res64: AD7B37B447FDA21C Time : 0.0 sec. user=mdettweiler [2013-02-17 09:29:56] 623*2^1241212-1 is not prime. Res64: 960CA57FBAA754A6 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:47:16] 665*2^1241212-1 is not prime. Res64: B6A49B7EBD4B8899 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:47:17] 735*2^1241212-1 is not prime. Res64: CFC70C5BB99342FB Time : 0.0 sec. user=mdettweiler [2013-02-17 09:47:21] 749*2^1241212-1 is not prime. Res64: 48F92CBA55F44379 Time : 0.0 sec. user=mdettweiler [2013-02-17 09:47:21] 807*2^1241212-1 is not prime. Res64: 97F208CAEAEB40F1 Time : 0.0 sec. user=juhehe [2013-02-17 10:10:09] 835*2^1241211-1 is not prime. Res64: 6357095686CC8525 Time : 0.0 sec. user=mdettweiler [2013-02-17 10:16:01] 615*2^1241213-1 is not prime. Res64: 501EB4C8F4BA231F Time : 0.0 sec. user=mdettweiler [2013-02-17 10:16:02] 631*2^1241213-1 is not prime. Res64: 6FEC1238BF9008B6 Time : 0.0 sec. user=mdettweiler [2013-02-17 10:33:35] 669*2^1241213-1 is not prime. Res64: FE0418C4959B7956 Time : 0.0 sec. user=mdettweiler [2013-02-17 10:33:36] 747*2^1241213-1 is not prime. Res64: 1D32F9039A0CDC09 Time : 0.0 sec. user=mdettweiler [2013-02-17 10:50:59] 939*2^1241213-1 is not prime. Res64: 619D2A68669AF8F5 Time : 0.0 sec. user=mdettweiler [2013-02-17 10:51:00] 979*2^1241213-1 is not prime. Res64: A703616935C7599B Time : 0.0 sec. user=mdettweiler [2013-02-17 10:53:48] 843*2^1241212-1 is not prime. Res64: 615606CF43EC115B Time : 0.0 sec. user=mdettweiler [2013-02-17 10:53:49] 855*2^1241212-1 is not prime. Res64: 999EEFFC369D5E2C Time : 0.0 sec. user=mdettweiler [2013-02-17 11:08:22] 641*2^1241214-1 is not prime. Res64: 455E38DE318A1CFE Time : 0.0 sec. user=mdettweiler [2013-02-17 11:08:25] 723*2^1241214-1 is not prime. Res64: 15B1FC67A4540DA9 Time : 0.0 sec. user=mdettweiler [2013-02-17 11:11:12] 783*2^1241214-1 is not prime. Res64: 39AB4CAC20A5D81E Time : 0.0 sec. user=mdettweiler [2013-02-17 11:11:13] 965*2^1241214-1 is not prime. Res64: F9CCFBA41AAD74C9 Time : 0.0 sec. user=mdettweiler [2013-02-17 11:25:57] 763*2^1241215-1 is not prime. Res64: B9BA85BB0846A3D6 Time : 0.0 sec. user=mdettweiler [2013-02-17 11:25:57] 831*2^1241215-1 is not prime. Res64: 8CC3B8344CB8B1D5 Time : 0.0 sec. user=mdettweiler [2013-02-17 11:50:05] 871*2^1241215-1 is not prime. Res64: 3E2D24A2C59409A1 Time : 0.0 sec. user=mdettweiler [2013-02-17 11:50:05] 885*2^1241215-1 is not prime. Res64: 21CDBAA5CAF99631 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:06:07] 633*2^1241216-1 is not prime. Res64: 89CBAF3482B3667C Time : 0.0 sec. user=mdettweiler [2013-02-17 12:06:08] 635*2^1241216-1 is not prime. Res64: 0435E907E44500C6 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:07:56] 657*2^1241216-1 is not prime. Res64: 3BB140D3E3498437 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:07:56] 857*2^1241216-1 is not prime. Res64: A7FA7E83954962F3 Time : 0.0 sec. user=juhehe [2013-02-17 12:09:19] 993*2^1241214-1 is not prime. Res64: DA8A28934B465385 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:23:42] 935*2^1241216-1 is not prime. Res64: 1BED5C0BF4D95E3D Time : 0.0 sec. user=mdettweiler [2013-02-17 12:23:43] 711*2^1241217-1 is not prime. Res64: C2AFCEE0B62CB461 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:25:18] 805*2^1241217-1 is not prime. Res64: E092CECE2E9BFDAE Time : 0.0 sec. user=mdettweiler [2013-02-17 12:25:20] 817*2^1241217-1 is not prime. Res64: 72A13938AD1C41AB Time : 0.0 sec. user=mdettweiler [2013-02-17 12:41:04] 861*2^1241217-1 is not prime. Res64: B5AC0B37A852BB06 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:41:05] 867*2^1241217-1 is not prime. Res64: F569F00C6B1335FA Time : 0.0 sec. user=mdettweiler [2013-02-17 12:42:41] 871*2^1241217-1 is not prime. Res64: 93901C371BAA06EB Time : 0.0 sec. user=mdettweiler [2013-02-17 12:42:42] 889*2^1241217-1 is not prime. Res64: 036074A8BA1B0489 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:58:27] 603*2^1241218-1 is not prime. Res64: 46560896DDAFC8D4 Time : 0.0 sec. user=mdettweiler [2013-02-17 12:58:27] 651*2^1241218-1 is not prime. Res64: 3BACF40516CA7BE8 Time : 0.0 sec. user=mdettweiler [2013-02-17 13:00:03] 657*2^1241218-1 is not prime. Res64: 59FF31E431F51C25 Time : 0.0 sec. user=mdettweiler [2013-02-17 13:00:04] 755*2^1241218-1 is not prime. Res64: EF2497041460CE88 Time : 0.0 sec. user=mdettweiler [2013-02-17 13:15:49] 609*2^1241219-1 is not prime. Res64: FA0218E1E0EEBEF5 Time : 0.0 sec. user=mdettweiler [2013-02-17 13:15:50] 643*2^1241219-1 is not prime. Res64: 1D54F91C053780C1 Time : 0.0 sec. user=mdettweiler [2013-02-17 13:17:30] 675*2^1241219-1 is not prime. Res64: 933803D4807EC08D Time : 0.0 sec. user=mdettweiler [2013-02-17 13:17:30] 861*2^1241219-1 is not prime. Res64: F5FEC6E013F177BF Time : 0.0 sec. user=juhehe [2013-02-17 14:03:28] 895*2^1241219-1 is not prime. Res64: 5DCAE4713DB9CC69 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:22:15] 973*2^1241219-1 is not prime. Res64: 1165438A673A00B3 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:22:15] 991*2^1241219-1 is not prime. Res64: 91B774008840ABAA Time : 0.0 sec. user=mdettweiler [2013-02-17 14:23:23] 665*2^1241220-1 is not prime. Res64: B442D7D222528586 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:23:24] 789*2^1241220-1 is not prime. Res64: F6CD95E546BF2B07 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:39:39] 879*2^1241220-1 is not prime. Res64: C2824F21B28B6BD4 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:39:39] 899*2^1241220-1 is not prime. Res64: F4DFDA5FA41C2726 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:40:47] 923*2^1241220-1 is not prime. Res64: 69099CAE102EEAE2 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:40:48] 927*2^1241220-1 is not prime. Res64: 5BC77702D564C0FC Time : 0.0 sec. user=mdettweiler [2013-02-17 14:57:02] 987*2^1241220-1 is not prime. Res64: 26C03F888FD9A99D Time : 0.0 sec. user=mdettweiler [2013-02-17 14:57:03] 607*2^1241221-1 is not prime. Res64: 67E3FAD54E0DD24D Time : 0.0 sec. user=mdettweiler [2013-02-17 14:58:13] 775*2^1241221-1 is not prime. Res64: 68184ECB8C900E56 Time : 0.0 sec. user=mdettweiler [2013-02-17 14:58:13] 889*2^1241221-1 is not prime. Res64: E8AB05AED0E199C6 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:14:26] 997*2^1241221-1 is not prime. Res64: C010AA17267E2172 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:14:26] 603*2^1241222-1 is not prime. Res64: A2E76FC2DA123F91 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:15:35] 671*2^1241222-1 is not prime. Res64: D6A50EF85E393124 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:15:35] 677*2^1241222-1 is not prime. Res64: EFCC662D4AF5B689 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:31:49] 857*2^1241222-1 is not prime. Res64: 932E24E03A26EC7A Time : 0.0 sec. user=mdettweiler [2013-02-17 15:31:50] 885*2^1241222-1 is not prime. Res64: 3D63855F8800734C Time : 0.0 sec. user=mdettweiler [2013-02-17 15:32:57] 945*2^1241222-1 is not prime. Res64: B3990E47DA022EEE Time : 0.0 sec. user=mdettweiler [2013-02-17 15:32:57] 951*2^1241222-1 is not prime. Res64: B753A3E992D96BEC Time : 0.0 sec. user=mdettweiler [2013-02-17 15:49:15] 977*2^1241222-1 is not prime. Res64: B25B40249FC93229 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:49:15] 981*2^1241222-1 is not prime. Res64: 5AD06A3DF16D4DDD Time : 0.0 sec. user=mdettweiler [2013-02-17 15:50:19] 723*2^1241224-1 is not prime. Res64: A6253BC477F0D7C8 Time : 0.0 sec. user=mdettweiler [2013-02-17 15:50:20] 765*2^1241224-1 is not prime. Res64: 635032EA17D4B1D5 Time : 0.0 sec. user=juhehe [2013-02-17 15:58:52] 791*2^1241222-1 is not prime. Res64: B05AB41C72977D59 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:06:38] 813*2^1241224-1 is not prime. Res64: 024246582E2E4174 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:06:38] 819*2^1241224-1 is not prime. Res64: 84CC197A402FC0A3 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:07:42] 857*2^1241224-1 is not prime. Res64: 83AA5832632C840E Time : 0.0 sec. user=mdettweiler [2013-02-17 16:07:43] 601*2^1241225-1 is not prime. Res64: FEDA3E6E37F0D50D Time : 0.0 sec. user=mdettweiler [2013-02-17 16:24:06] 717*2^1241225-1 is not prime. Res64: EA09FA41B6716C6F Time : 0.0 sec. user=mdettweiler [2013-02-17 16:24:07] 799*2^1241225-1 is not prime. Res64: F80ED2D08CF82A26 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:25:06] 811*2^1241225-1 is not prime. Res64: 5631485B2B8D3C6C Time : 0.0 sec. user=mdettweiler [2013-02-17 16:25:07] 937*2^1241225-1 is not prime. Res64: 84BFCE72BBAA0C24 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:41:31] 683*2^1241226-1 is not prime. Res64: 17F40D26D8AE8DE2 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:41:32] 735*2^1241226-1 is not prime. Res64: 43C3B91FD9B5E7BD Time : 0.0 sec. user=mdettweiler [2013-02-17 16:42:29] 747*2^1241226-1 is not prime. Res64: AA4168CD549B7B7F Time : 0.0 sec. user=mdettweiler [2013-02-17 16:42:29] 783*2^1241226-1 is not prime. Res64: 9877A9C429F7CDC2 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:58:56] 993*2^1241226-1 is not prime. Res64: B06DA37AC7D3E031 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:58:57] 601*2^1241227-1 is not prime. Res64: E13037FDE295ECE0 Time : 0.0 sec. user=mdettweiler [2013-02-17 16:59:54] 633*2^1241227-1 is not prime. Res64: 69BDD4AC41FD259C Time : 0.0 sec. user=mdettweiler [2013-02-17 16:59:55] 673*2^1241227-1 is not prime. Res64: B1CC17D4B924B604 Time : 0.0 sec. user=mdettweiler [2013-02-17 17:16:47] 685*2^1241227-1 is not prime. Res64: 299F639F03F0DA70 Time : 0.0 sec. user=mdettweiler [2013-02-17 17:16:48] 759*2^1241227-1 is not prime. Res64: BC67B084DEBECE1B Time : 0.0 sec. user=mdettweiler [2013-02-17 17:17:58] 769*2^1241227-1 is not prime. Res64: 8CFE0F23EDDDA0AF Time : 0.0 sec. user=mdettweiler [2013-02-17 17:17:58] 871*2^1241227-1 is not prime. Res64: 9527E0489E57D8D8 Time : 0.0 sec. user=mdettweiler [2013-02-17 17:37:47] 665*2^1241228-1 is not prime. Res64: C51E333E3A7C516B Time : 0.0 sec. user=mdettweiler [2013-02-17 17:37:47] 773*2^1241228-1 is not prime. Res64: 5A3F7F788F2280BE Time : 0.0 sec. user=mdettweiler [2013-02-17 17:40:01] 867*2^1241228-1 is not prime. Res64: 201D06549D1ACBB8 Time : 0.0 sec. user=mdettweiler [2013-02-17 17:40:01] 649*2^1241229-1 is not prime. Res64: 33A48873242885C9 Time : 0.0 sec. user=mdettweiler [2013-02-17 17:55:40] 661*2^1241229-1 is not prime. Res64: A52E9A5061D9A31A Time : 0.0 sec. user=mdettweiler [2013-02-17 17:55:40] 711*2^1241229-1 is not prime. Res64: 5C69DB621B881847 Time : 0.0 sec. user=mdettweiler [2013-02-17 17:57:45] 745*2^1241229-1 is not prime. Res64: A325C48E7359FC5E Time : 0.0 sec. user=mdettweiler [2013-02-17 17:57:46] 907*2^1241229-1 is not prime. Res64: ED380152F1E1B96A Time : 0.0 sec. user=juhehe [2013-02-17 18:02:32] 891*2^1241227-1 is not prime. Res64: DE3E187638F9CFAC Time : 0.0 sec. user=mdettweiler [2013-02-17 18:13:39] 987*2^1241229-1 is not prime. Res64: 86F5A55527240B83 Time : 0.0 sec. user=mdettweiler [2013-02-17 18:13:40] 997*2^1241229-1 is not prime. Res64: 00240F59B1FBC216 Time : 0.0 sec. user=juhehe [2013-02-17 18:14:00] 657*2^1241228-1 is not prime. Res64: 438CBD76B6F89D09 Time : 0.0 sec. user=mdettweiler [2013-02-17 18:15:49] 885*2^1241230-1 is not prime. Res64: F5812B5676B22419 Time : 0.0 sec. user=mdettweiler [2013-02-17 18:15:49] 917*2^1241230-1 is not prime. Res64: 12CF35882FBD392F Time : 0.0 sec. user=mdettweiler [2013-02-17 18:31:46] 923*2^1241230-1 is not prime. Res64: 853B51E9D945D49C Time : 0.0 sec. user=mdettweiler [2013-02-17 18:31:46] 987*2^1241230-1 is not prime. Res64: 290BADDC43BF6982 Time : 0.0 sec. user=mdettweiler [2013-02-17 18:33:55] 759*2^1241231-1 is not prime. Res64: 5FBC0185C4170C2D Time : 0.0 sec. user=mdettweiler [2013-02-17 18:33:55] 871*2^1241231-1 is not prime. Res64: 9EBE349976CBCA4B Time : 0.0 sec. user=mdettweiler [2013-02-17 18:49:51] 635*2^1241232-1 is not prime. Res64: 92C8785953B8207B Time : 0.0 sec. user=mdettweiler [2013-02-17 18:49:51] 699*2^1241232-1 is not prime. Res64: D162562FD1621759 Time : 0.0 sec. user=mdettweiler [2013-02-17 18:51:55] 779*2^1241232-1 is not prime. Res64: 2B9355322C61AED2 Time : 0.0 sec. user=mdettweiler [2013-02-17 18:51:56] 825*2^1241232-1 is not prime. Res64: 39C68AD403908BA9 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:07:22] 893*2^1241232-1 is not prime. Res64: B7615FD854838D5B Time : 0.0 sec. user=mdettweiler [2013-02-17 19:07:24] 715*2^1241233-1 is not prime. Res64: 2402E1F3CC3BDFDA Time : 0.0 sec. user=mdettweiler [2013-02-17 19:09:28] 727*2^1241233-1 is not prime. Res64: ED99A764C6A5D6F3 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:09:30] 819*2^1241233-1 is not prime. Res64: 101E404D43C21D70 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:26:18] 847*2^1241233-1 is not prime. Res64: AE52B1056207B311 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:26:19] 877*2^1241233-1 is not prime. Res64: 99293F0E931BDA1D Time : 0.0 sec. user=mdettweiler [2013-02-17 19:28:17] 605*2^1241234-1 is not prime. Res64: 7EB763ED89ED6BD3 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:28:17] 641*2^1241234-1 is not prime. Res64: 65963E08F00641A3 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:44:07] 741*2^1241234-1 is not prime. Res64: 0CEBCBD05AA05338 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:44:08] 783*2^1241234-1 is not prime. Res64: F734110C770BA2DA Time : 0.0 sec. user=mdettweiler [2013-02-17 19:46:06] 825*2^1241234-1 is not prime. Res64: C7F2FEB1F2ABD4E0 Time : 0.0 sec. user=mdettweiler [2013-02-17 19:46:07] 921*2^1241234-1 is not prime. Res64: 0B211A46B17A80EC Time : 0.0 sec. user=mdettweiler [2013-02-17 20:02:12] 971*2^1241234-1 is not prime. Res64: F9BADD2D647B890C Time : 0.0 sec. user=mdettweiler [2013-02-17 20:02:13] 643*2^1241235-1 is not prime. Res64: A2B3862970871256 Time : 0.0 sec. user=juhehe [2013-02-17 20:02:56] 831*2^1241233-1 is not prime. Res64: B3F97F891753F774 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:03:59] 651*2^1241235-1 is not prime. Res64: F1261CD94A3E06C6 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:03:59] 709*2^1241235-1 is not prime. Res64: D358AD268ED1BDE8 Time : 0.0 sec. user=juhehe [2013-02-17 20:14:54] 651*2^1241234-1 is not prime. Res64: 6BCC33AF91450F2E Time : 0.0 sec. user=mdettweiler [2013-02-17 20:20:19] 805*2^1241235-1 is not prime. Res64: BEC69CC3B648C243 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:20:20] 819*2^1241235-1 is not prime. Res64: 96DC2793DA342B2A Time : 0.0 sec. user=mdettweiler [2013-02-17 20:21:47] 825*2^1241235-1 is not prime. Res64: 5E962E4504DBC9A1 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:21:47] 903*2^1241235-1 is not prime. Res64: A220D27F0E95A836 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:38:16] 647*2^1241236-1 is not prime. Res64: 260AED6D81CCED4B Time : 0.0 sec. user=mdettweiler [2013-02-17 20:38:16] 749*2^1241236-1 is not prime. Res64: 0EF65EE76B8C6598 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:39:47] 869*2^1241236-1 is not prime. Res64: 62F7A2658B57F8B0 Time : 0.0 sec. user=mdettweiler [2013-02-17 20:39:48] 899*2^1241236-1 is not prime. Res64: 3FC0A3AE738E44DF Time : 0.0 sec. user=mdettweiler [2013-02-17 20:56:09] 601*2^1241237-1 is not prime. Res64: 5A594C3CAC6BE4DA Time : 0.0 sec. user=mdettweiler [2013-02-17 20:56:10] 649*2^1241237-1 is not prime. Res64: E6539FCF86DFC71A Time : 0.0 sec. user=mdettweiler [2013-02-17 20:57:47] 729*2^1241237-1 is not prime. Res64: 1D4BF52EDD05718C Time : 0.0 sec. user=mdettweiler [2013-02-17 20:57:47] 741*2^1241237-1 is not prime. Res64: 771D6C9E43AB9805 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:13:58] 747*2^1241237-1 is not prime. Res64: FF7B85F47BF4E1B6 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:13:59] 847*2^1241237-1 is not prime. Res64: 3A73DD616604B918 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:15:34] 927*2^1241237-1 is not prime. Res64: 5D3CC8C7ED347D7F Time : 0.0 sec. user=mdettweiler [2013-02-17 21:15:34] 937*2^1241237-1 is not prime. Res64: 57731E154D9DA88F Time : 0.0 sec. user=mdettweiler [2013-02-17 21:31:34] 761*2^1241238-1 is not prime. Res64: 314BDEB40EF386F4 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:31:34] 923*2^1241238-1 is not prime. Res64: CAD768A9680EA2FA Time : 0.0 sec. user=mdettweiler [2013-02-17 21:33:13] 945*2^1241238-1 is not prime. Res64: 6582EBA82E6DED22 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:33:14] 633*2^1241239-1 is not prime. Res64: D8086CCE243C1F4C Time : 0.0 sec. user=mdettweiler [2013-02-17 21:49:33] 639*2^1241239-1 is not prime. Res64: 35B4D960144D8F97 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:49:33] 741*2^1241239-1 is not prime. Res64: 748712A4F991310B Time : 0.0 sec. user=mdettweiler [2013-02-17 21:51:15] 765*2^1241239-1 is not prime. Res64: B33FA719921210D2 Time : 0.0 sec. user=mdettweiler [2013-02-17 21:51:16] 859*2^1241239-1 is not prime. Res64: 78B96187E682038D Time : 0.0 sec. user=juhehe [2013-02-17 22:03:27] 665*2^1241238-1 is not prime. Res64: 760CFD2B97767D4D Time : 0.0 sec. user=mdettweiler [2013-02-17 22:07:46] 885*2^1241239-1 is not prime. Res64: EFBF4C3C50558BE6 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:07:47] 889*2^1241239-1 is not prime. Res64: DD6F994EBF026DAE Time : 0.0 sec. user=mdettweiler [2013-02-17 22:09:28] 975*2^1241239-1 is not prime. Res64: 8C3C71F2B4BFBDEB Time : 0.0 sec. user=mdettweiler [2013-02-17 22:09:29] 609*2^1241240-1 is not prime. Res64: 3D679775C601256F Time : 0.0 sec. user=juhehe [2013-02-17 22:15:16] 711*2^1241238-1 is not prime. Res64: 443864A0E0037491 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:25:34] 659*2^1241240-1 is not prime. Res64: DC2E79231B9A3F98 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:25:35] 675*2^1241240-1 is not prime. Res64: E0B7BC3485BE6141 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:27:11] 789*2^1241240-1 is not prime. Res64: AD88337576185793 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:27:12] 893*2^1241240-1 is not prime. Res64: CA1D3674015ABF12 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:43:07] 899*2^1241240-1 is not prime. Res64: 6D1B67FD06022538 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:43:08] 983*2^1241240-1 is not prime. Res64: 0F6AAAB07C36D894 Time : 0.0 sec. user=mdettweiler [2013-02-17 22:44:48] 999*2^1241240-1 is not prime. Res64: C8974F72AC6B75EC Time : 0.0 sec. user=mdettweiler [2013-02-17 22:44:49] 625*2^1241241-1 is not prime. Res64: 2BA7025458F775AA Time : 0.0 sec. user=mdettweiler [2013-02-17 23:00:47] 685*2^1241241-1 is not prime. Res64: 8A33B6D515D175CF Time : 0.0 sec. user=mdettweiler [2013-02-17 23:00:49] 739*2^1241241-1 is not prime. Res64: 81E228BC986BE18A Time : 0.0 sec. user=mdettweiler [2013-02-17 23:02:37] 867*2^1241241-1 is not prime. Res64: C00FF5A00BD25601 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:02:38] 907*2^1241241-1 is not prime. Res64: BC1C4B996FBFBA80 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:18:42] 975*2^1241241-1 is not prime. Res64: 5B3E9096EBE4A2FF Time : 0.0 sec. user=mdettweiler [2013-02-17 23:18:42] 603*2^1241242-1 is not prime. Res64: 41E9D8B68FAE9F3E Time : 0.0 sec. user=mdettweiler [2013-02-17 23:20:20] 675*2^1241242-1 is not prime. Res64: 60D29226101A935B Time : 0.0 sec. user=mdettweiler [2013-02-17 23:20:20] 717*2^1241242-1 is not prime. Res64: BE3BB8006C123A8F Time : 0.0 sec. user=mdettweiler [2013-02-17 23:36:18] 843*2^1241242-1 is not prime. Res64: CCF9693AB5F8E521 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:36:18] 887*2^1241242-1 is not prime. Res64: 8CF8C97FCDF86216 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:37:55] 975*2^1241242-1 is not prime. Res64: 814712553F48584F Time : 0.0 sec. user=mdettweiler [2013-02-17 23:37:55] 619*2^1241243-1 is not prime. Res64: 68951CA206E99180 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:53:54] 621*2^1241243-1 is not prime. Res64: DEA7B3F877529485 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:53:54] 669*2^1241243-1 is not prime. Res64: 31AF0F58A6456944 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:55:29] 673*2^1241243-1 is not prime. Res64: D5C2229FA2771D96 Time : 0.0 sec. user=mdettweiler [2013-02-17 23:55:30] 735*2^1241243-1 is not prime. Res64: 7DCA0C8F103820E5 Time : 0.0 sec.