user=mdettweiler [2013-02-21 00:10:25] 639*2^1241383-1 is not prime. Res64: 79AA4FF7A7CB92AB Time : 0.0 sec. user=mdettweiler [2013-02-21 00:10:26] 679*2^1241383-1 is not prime. Res64: AB2151763D978017 Time : 0.0 sec. user=mdettweiler [2013-02-21 00:10:27] 853*2^1241383-1 is not prime. Res64: D4081171BFADC027 Time : 0.0 sec. user=mdettweiler [2013-02-21 00:10:28] 961*2^1241383-1 is not prime. Res64: B9728DC3780931D2 Time : 0.0 sec. user=mdettweiler [2013-02-21 00:27:53] 615*2^1241384-1 is not prime. Res64: FE37E1B6DD933EBC Time : 0.0 sec. user=mdettweiler [2013-02-21 00:27:54] 843*2^1241384-1 is not prime. Res64: A4E94861CF35E35C Time : 0.0 sec. user=mdettweiler [2013-02-21 00:27:56] 855*2^1241384-1 is not prime. Res64: B08DA89EB0F3D0EF Time : 0.0 sec. user=mdettweiler [2013-02-21 00:27:57] 899*2^1241384-1 is not prime. Res64: 0244D134DBA5C1AC Time : 0.0 sec. user=mdettweiler [2013-02-21 00:45:15] 625*2^1241385-1 is not prime. Res64: 283BD051CD6B93DF Time : 0.0 sec. user=mdettweiler [2013-02-21 00:45:16] 709*2^1241385-1 is not prime. Res64: 84BB4A103A996B19 Time : 0.0 sec. user=mdettweiler [2013-02-21 00:45:18] 781*2^1241385-1 is not prime. Res64: CD9FB73CD1EFE7AC Time : 0.0 sec. user=mdettweiler [2013-02-21 00:45:18] 921*2^1241385-1 is not prime. Res64: 548B08E42C130A96 Time : 0.0 sec. user=juhehe [2013-02-21 00:46:41] 665*2^1241382-1 is not prime. Res64: E048D8A31C421A3F Time : 0.0 sec. user=mdettweiler [2013-02-21 01:02:38] 955*2^1241385-1 is not prime. Res64: 202F795973115D98 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:02:39] 603*2^1241386-1 is not prime. Res64: F446B6CE905E4DE0 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:02:40] 623*2^1241386-1 is not prime. Res64: 615CA7401CC48C7F Time : 0.0 sec. user=mdettweiler [2013-02-21 01:02:41] 713*2^1241386-1 is not prime. Res64: 93B7E9CDDAA99E83 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:20:04] 777*2^1241386-1 is not prime. Res64: 366F8BE47EE20BE4 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:20:05] 801*2^1241386-1 is not prime. Res64: A6A26650C6470413 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:20:05] 917*2^1241386-1 is not prime. Res64: F07D04B7BC4784B5 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:20:06] 931*2^1241387-1 is not prime. Res64: CBAE49ADFF2C3B2B Time : 0.0 sec. user=juhehe [2013-02-21 01:29:22] 995*2^1241384-1 is not prime. Res64: 8B556C8BB2576489 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:37:28] 985*2^1241387-1 is not prime. Res64: 509DAAEE19BCC02F Time : 0.0 sec. user=mdettweiler [2013-02-21 01:37:28] 605*2^1241388-1 is not prime. Res64: 0FF2B7BBB7098D1F Time : 0.0 sec. user=mdettweiler [2013-02-21 01:37:29] 753*2^1241388-1 is not prime. Res64: 32235950588F7491 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:37:29] 767*2^1241388-1 is not prime. Res64: F985E2AF85E2DE7E Time : 0.0 sec. user=mdettweiler [2013-02-21 01:54:50] 789*2^1241388-1 is not prime. Res64: 971D6F570142CB76 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:54:50] 797*2^1241388-1 is not prime. Res64: E1C546CD6F621186 Time : 0.0 sec. user=mdettweiler [2013-02-21 01:54:51] 905*2^1241388-1 is not prime. Res64: 34F6D228617F14BA Time : 0.0 sec. user=mdettweiler [2013-02-21 01:54:52] 977*2^1241388-1 is not prime. Res64: EAF8DC499A40E540 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:12:13] 775*2^1241389-1 is not prime. Res64: F1A358B45E06B3B0 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:12:13] 603*2^1241390-1 is not prime. Res64: BE9F68A04B5C4D13 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:12:15] 641*2^1241390-1 is not prime. Res64: 339D7FC4A2600AC4 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:12:15] 741*2^1241390-1 is not prime. Res64: CED18475D4954BA1 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:29:37] 831*2^1241390-1 is not prime. Res64: DA777744D1B13E6B Time : 0.0 sec. user=mdettweiler [2013-02-21 02:29:38] 797*2^1241390-1 is not prime. Res64: 296233CBDABCCDDB Time : 0.0 sec. user=mdettweiler [2013-02-21 02:29:38] 911*2^1241390-1 is not prime. Res64: BF67B85E02B0DA8B Time : 0.0 sec. user=mdettweiler [2013-02-21 02:29:38] 801*2^1241390-1 is not prime. Res64: 9FAD9544FDA8D424 Time : 0.0 sec. user=juhehe [2013-02-21 02:46:25] 691*2^1241389-1 is not prime. Res64: 8E34CD67626744F2 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:47:00] 703*2^1241391-1 is not prime. Res64: 7415903247E05F3E Time : 0.0 sec. user=mdettweiler [2013-02-21 02:47:01] 789*2^1241391-1 is not prime. Res64: 34D343ADECE989F4 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:47:02] 781*2^1241391-1 is not prime. Res64: 09325BBAE75BFB40 Time : 0.0 sec. user=mdettweiler [2013-02-21 02:47:03] 795*2^1241391-1 is not prime. Res64: 62BCC0A2EA449C3E Time : 0.0 sec. user=mdettweiler [2013-02-21 03:04:30] 849*2^1241391-1 is not prime. Res64: E98200D224A02168 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:04:31] 909*2^1241391-1 is not prime. Res64: D679EF4B476B2D31 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:04:32] 675*2^1241392-1 is not prime. Res64: 7352141BA3B5B956 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:04:33] 765*2^1241392-1 is not prime. Res64: 4AB25BC6B28D71EA Time : 0.0 sec. user=mdettweiler [2013-02-21 03:21:53] 827*2^1241392-1 is not prime. Res64: 9F73D4A7D7A25D80 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:21:53] 897*2^1241392-1 is not prime. Res64: 367D63BC8267CD3E Time : 0.0 sec. user=mdettweiler [2013-02-21 03:21:55] 965*2^1241392-1 is not prime. Res64: E4FD8B7D23E72EDA Time : 0.0 sec. user=mdettweiler [2013-02-21 03:21:56] 627*2^1241393-1 is not prime. Res64: A4346B3587684F79 Time : 0.0 sec. user=juhehe [2013-02-21 03:36:09] 981*2^1241390-1 is not prime. Res64: 125DF014622C4DBA Time : 0.0 sec. user=mdettweiler [2013-02-21 03:39:15] 795*2^1241393-1 is not prime. Res64: 4DACEACBFF739CF6 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:39:16] 925*2^1241393-1 is not prime. Res64: 83917C4A6E6D7B4B Time : 0.0 sec. user=mdettweiler [2013-02-21 03:39:18] 611*2^1241394-1 is not prime. Res64: 1AE890A3F3BA76F7 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:39:19] 651*2^1241394-1 is not prime. Res64: 59EBEF00C9726C0F Time : 0.0 sec. user=mdettweiler [2013-02-21 03:56:42] 681*2^1241394-1 is not prime. Res64: 3D3B505BEF137BE0 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:56:43] 833*2^1241394-1 is not prime. Res64: 045E265C3D8B568D Time : 0.0 sec. user=mdettweiler [2013-02-21 03:56:44] 887*2^1241394-1 is not prime. Res64: 1B3B78C63EC5E726 Time : 0.0 sec. user=mdettweiler [2013-02-21 03:56:44] 945*2^1241394-1 is not prime. Res64: 720BAD389699BF7A Time : 0.0 sec. user=mdettweiler [2013-02-21 04:14:05] 709*2^1241395-1 is not prime. Res64: 6FDCBA6E8A94FEB8 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:14:05] 735*2^1241395-1 is not prime. Res64: 812FAA3805E80808 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:14:06] 759*2^1241395-1 is not prime. Res64: 6FEFD61C9F9D25A7 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:14:06] 793*2^1241395-1 is not prime. Res64: E53426432708699E Time : 0.0 sec. user=mdettweiler [2013-02-21 04:31:29] 951*2^1241395-1 is not prime. Res64: ABA28FA6066E6C64 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:31:31] 973*2^1241395-1 is not prime. Res64: D8AD7F7F733DF1FC Time : 0.0 sec. user=mdettweiler [2013-02-21 04:31:32] 961*2^1241395-1 is not prime. Res64: F0682C64C6D6BB1B Time : 0.0 sec. user=mdettweiler [2013-02-21 04:31:32] 879*2^1241396-1 is not prime. Res64: 57F524D8010EAB8C Time : 0.0 sec. user=juhehe [2013-02-21 04:45:31] 899*2^1241396-1 is not prime. Res64: F7DE9122DCA106AF Time : 0.0 sec. user=juhehe [2013-02-21 04:47:37] 619*2^1241395-1 is not prime. Res64: DBCDD9C29B14E3D3 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:49:02] 987*2^1241396-1 is not prime. Res64: 06974B69959E1F52 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:49:03] 621*2^1241397-1 is not prime. Res64: BEDEE15F692A95C9 Time : 0.0 sec. user=mdettweiler [2013-02-21 04:49:03] 625*2^1241397-1 is not prime. Res64: E7E2A45613F7A7FA Time : 0.0 sec. user=mdettweiler [2013-02-21 04:49:04] 639*2^1241397-1 is not prime. Res64: 35033FF1E6B4E7A3 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:06:25] 681*2^1241397-1 is not prime. Res64: 70C9D92BE8CFF95E Time : 0.0 sec. user=mdettweiler [2013-02-21 05:06:25] 817*2^1241397-1 is not prime. Res64: 3192BF36F3811203 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:06:27] 717*2^1241397-1 is not prime. Res64: 53940C4A85470C12 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:06:27] 895*2^1241397-1 is not prime. Res64: CA97CC8B8DF25B41 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:23:54] 979*2^1241397-1 is not prime. Res64: 15CCAE5D712CE5D1 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:23:54] 635*2^1241398-1 is not prime. Res64: CF3021DEAD51B337 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:23:54] 687*2^1241398-1 is not prime. Res64: 6181ABC02BABA172 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:23:55] 755*2^1241398-1 is not prime. Res64: 6B4F5B5C3196AB23 Time : 0.0 sec. user=juhehe [2013-02-21 05:37:12] 667*2^1241397-1 is not prime. Res64: DF9676935A22BA2E Time : 0.0 sec. user=mdettweiler [2013-02-21 05:41:18] 645*2^1241399-1 is not prime. Res64: A908B8EF1CC69235 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:41:19] 745*2^1241399-1 is not prime. Res64: F155F110150B886D Time : 0.0 sec. user=mdettweiler [2013-02-21 05:41:20] 799*2^1241399-1 is not prime. Res64: AE6A288593C8074D Time : 0.0 sec. user=mdettweiler [2013-02-21 05:41:20] 859*2^1241399-1 is not prime. Res64: EA9FACCD74104524 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:58:41] 795*2^1241400-1 is not prime. Res64: F3DB1BB88775447E Time : 0.0 sec. user=mdettweiler [2013-02-21 05:58:41] 857*2^1241400-1 is not prime. Res64: 99FAB0396DDEA2B1 Time : 0.0 sec. user=mdettweiler [2013-02-21 05:58:42] 945*2^1241400-1 is not prime. Res64: E019BD241F1C070B Time : 0.0 sec. user=mdettweiler [2013-02-21 05:58:43] 983*2^1241400-1 is not prime. Res64: C5DA51CB6AFEA1B3 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:16:03] 715*2^1241401-1 is not prime. Res64: 0A237AD738D5C055 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:16:04] 751*2^1241401-1 is not prime. Res64: 84B246C186E0A056 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:16:04] 777*2^1241401-1 is not prime. Res64: CDFA39A51C2702AE Time : 0.0 sec. user=mdettweiler [2013-02-21 06:16:05] 807*2^1241401-1 is not prime. Res64: ECE3EAF17F40EFA4 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:33:27] 979*2^1241401-1 is not prime. Res64: B8E834D179103747 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:33:28] 741*2^1241402-1 is not prime. Res64: 57E417071E52C188 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:33:28] 825*2^1241402-1 is not prime. Res64: 4BD2FB32B2F53477 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:33:29] 857*2^1241402-1 is not prime. Res64: F90F7E08756E55ED Time : 0.0 sec. user=juhehe [2013-02-21 06:36:54] 669*2^1241397-1 is not prime. Res64: 2722B6F43D20F604 Time : 0.0 sec. user=juhehe [2013-02-21 06:48:07] 649*2^1241401-1 is not prime. Res64: 08415C6D8185E9CB Time : 0.0 sec. user=mdettweiler [2013-02-21 06:50:50] 867*2^1241402-1 is not prime. Res64: 771CD2DBB9CCE481 Time : 0.0 sec. user=mdettweiler [2013-02-21 06:50:50] 705*2^1241403-1 is not prime. Res64: 54741E27314ECF9B Time : 0.0 sec. user=mdettweiler [2013-02-21 06:50:50] 861*2^1241403-1 is not prime. Res64: B018353A1EE7811E Time : 0.0 sec. user=mdettweiler [2013-02-21 06:50:51] 895*2^1241403-1 is not prime. Res64: 8E79FDF680885974 Time : 0.0 sec. user=juhehe [2013-02-21 07:03:53] 961*2^1241403-1 is not prime. Res64: A35AB4B6C4CBD6BE Time : 0.0 sec. user=mdettweiler [2013-02-21 07:08:13] 677*2^1241404-1 is not prime. Res64: A23CDF6112A99F5B Time : 0.0 sec. user=mdettweiler [2013-02-21 07:08:13] 749*2^1241404-1 is not prime. Res64: 10E15ED15F605A35 Time : 0.0 sec. user=mdettweiler [2013-02-21 07:08:13] 693*2^1241404-1 is not prime. Res64: 0709AB3CDC7A7162 Time : 0.0 sec. user=mdettweiler [2013-02-21 07:08:13] 825*2^1241404-1 is not prime. Res64: B69EA0E48116B4CF Time : 0.0 sec. user=mdettweiler [2013-02-21 07:25:36] 909*2^1241404-1 is not prime. Res64: 2E3F0578725AAA48 Time : 0.0 sec. user=mdettweiler [2013-02-21 07:25:36] 939*2^1241404-1 is not prime. Res64: DC91E296DBB346D4 Time : 0.0 sec. user=mdettweiler [2013-02-21 07:25:38] 989*2^1241404-1 is not prime. Res64: 1E98C981B32C3048 Time : 0.0 sec. user=mdettweiler [2013-02-21 07:25:38] 607*2^1241405-1 is not prime. Res64: D1012AA0D39CA9F2 Time : 0.0 sec. user=juhehe [2013-02-21 07:30:27] 869*2^1241404-1 is not prime. Res64: A4B8183AA8846D3B Time : 0.0 sec. user=juhehe [2013-02-21 07:37:16] 913*2^1241403-1 is not prime. Res64: 01162308B53EF0ED Time : 0.0 sec. user=mdettweiler [2013-02-21 07:42:59] 729*2^1241405-1 is not prime. Res64: 0D5B996998CF9A1A Time : 0.0 sec. user=mdettweiler [2013-02-21 07:42:59] 615*2^1241406-1 is not prime. Res64: 44A730FE2B5C44ED Time : 0.0 sec. user=mdettweiler [2013-02-21 07:43:00] 693*2^1241406-1 is not prime. Res64: B8A596C170DC2976 Time : 0.0 sec. user=mdettweiler [2013-02-21 07:43:01] 707*2^1241406-1 is not prime. Res64: 43FE2025E3B91D3C Time : 0.0 sec. user=juhehe [2013-02-21 07:55:44] 747*2^1241406-1 is not prime. Res64: 5F6D68A34C7303BB Time : 0.0 sec. user=mdettweiler [2013-02-21 08:00:22] 833*2^1241406-1 is not prime. Res64: 7FD187002F0BB8A4 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:00:23] 983*2^1241406-1 is not prime. Res64: 2037A9DC57205D1D Time : 0.0 sec. user=mdettweiler [2013-02-21 08:00:24] 851*2^1241406-1 is not prime. Res64: 0820E7E286B7E325 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:00:24] 693*2^1241407-1 is not prime. Res64: 7E48819FBF0734F6 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:17:47] 687*2^1241408-1 is not prime. Res64: FD42A4AB40246740 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:17:47] 747*2^1241408-1 is not prime. Res64: D10F07FC94BDAA99 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:17:49] 777*2^1241408-1 is not prime. Res64: FB826ED47ABCB933 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:17:49] 827*2^1241408-1 is not prime. Res64: 07E788A2AF23E93C Time : 0.0 sec. user=mdettweiler [2013-02-21 08:35:09] 627*2^1241409-1 is not prime. Res64: F7B6D9CB6A75CB33 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:35:10] 781*2^1241409-1 is not prime. Res64: 94A73E3778996AAB Time : 0.0 sec. user=mdettweiler [2013-02-21 08:35:11] 807*2^1241409-1 is not prime. Res64: C799B2AA45E92077 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:35:12] 865*2^1241409-1 is not prime. Res64: A40BCF49CF03CFDE Time : 0.0 sec. user=juhehe [2013-02-21 08:48:58] 859*2^1241407-1 is not prime. Res64: 5D8CBBF2D69D9C56 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:52:32] 951*2^1241409-1 is not prime. Res64: 440CC8502EAAA966 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:52:32] 969*2^1241409-1 is not prime. Res64: 8165541C8C5C52A7 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:52:34] 675*2^1241410-1 is not prime. Res64: 90898A160A0594E1 Time : 0.0 sec. user=mdettweiler [2013-02-21 08:52:35] 701*2^1241410-1 is not prime. Res64: 2938AD036522012E Time : 0.0 sec. user=mdettweiler [2013-02-21 09:09:55] 773*2^1241410-1 is not prime. Res64: 9F05989706E67CC7 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:09:56] 827*2^1241410-1 is not prime. Res64: DF2FCFBC01F920DF Time : 0.0 sec. user=mdettweiler [2013-02-21 09:09:57] 843*2^1241410-1 is not prime. Res64: 2458F744D0105BE2 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:09:58] 845*2^1241410-1 is not prime. Res64: CABCD25D97E76B8E Time : 0.0 sec. user=mdettweiler [2013-02-21 09:27:25] 933*2^1241410-1 is not prime. Res64: 8759928F543703D4 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:27:25] 615*2^1241411-1 is not prime. Res64: 01E3504E36FB2394 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:27:29] 711*2^1241411-1 is not prime. Res64: 8D7E0204B9B301C9 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:27:29] 825*2^1241411-1 is not prime. Res64: 310EE442BCB858FD Time : 0.0 sec. user=juhehe [2013-02-21 09:38:33] 765*2^1241410-1 is not prime. Res64: C8BB4A34D0D96EC2 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:44:47] 855*2^1241411-1 is not prime. Res64: D166AF701B31EA6A Time : 0.0 sec. user=mdettweiler [2013-02-21 09:44:48] 945*2^1241411-1 is not prime. Res64: 661434E0FBFAD209 Time : 0.0 sec. user=mdettweiler [2013-02-21 09:44:51] 955*2^1241411-1 is not prime. Res64: 998A86F79FEE17EB Time : 0.0 sec. user=mdettweiler [2013-02-21 09:44:51] 609*2^1241412-1 is not prime. Res64: 070E11B5EC9EC7F8 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:02:10] 635*2^1241412-1 is not prime. Res64: 8483447594629F87 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:02:11] 893*2^1241412-1 is not prime. Res64: D5AC293C68E2B302 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:02:13] 929*2^1241412-1 is not prime. Res64: 47ECDE504180529A Time : 0.0 sec. user=mdettweiler [2013-02-21 10:02:16] 965*2^1241412-1 is not prime. Res64: F5C4120B63FD3063 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:19:38] 729*2^1241413-1 is not prime. Res64: 0CC9055EC2768139 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:19:38] 765*2^1241413-1 is not prime. Res64: 3784BE26BAC20BC6 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:19:39] 771*2^1241413-1 is not prime. Res64: 3D72B35555121DED Time : 0.0 sec. user=mdettweiler [2013-02-21 10:19:39] 915*2^1241413-1 is not prime. Res64: FC8E6897EDC7A94E Time : 0.0 sec. user=mdettweiler [2013-02-21 10:37:01] 999*2^1241413-1 is not prime. Res64: D4DBFF187B622838 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:37:01] 707*2^1241414-1 is not prime. Res64: C75F7576B5DC6788 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:37:01] 615*2^1241414-1 is not prime. Res64: 03433FB88A8802FB Time : 0.0 sec. user=mdettweiler [2013-02-21 10:37:02] 755*2^1241414-1 is not prime. Res64: 05F2E052E4537601 Time : 0.0 sec. user=juhehe [2013-02-21 10:50:19] 615*2^1241413-1 is not prime. Res64: 7A1B5D7009DDB636 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:54:24] 825*2^1241414-1 is not prime. Res64: CA238999706B4912 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:54:24] 917*2^1241414-1 is not prime. Res64: 25B9D1FD0FF5BABD Time : 0.0 sec. user=mdettweiler [2013-02-21 10:54:24] 903*2^1241414-1 is not prime. Res64: 4416DF649F0F1714 Time : 0.0 sec. user=mdettweiler [2013-02-21 10:54:24] 1001*2^1241414-1 is not prime. Res64: 5AAA1486E3E3F581 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:11:46] 805*2^1241415-1 is not prime. Res64: 85621EEEB73F5D9B Time : 0.0 sec. user=mdettweiler [2013-02-21 11:11:47] 913*2^1241415-1 is not prime. Res64: E7AA34FE24617479 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:11:47] 951*2^1241415-1 is not prime. Res64: 94251D05D92BE556 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:11:47] 955*2^1241415-1 is not prime. Res64: 69DE8614C88C3080 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:29:09] 973*2^1241415-1 is not prime. Res64: FB63A117C2C8C449 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:29:10] 717*2^1241416-1 is not prime. Res64: 32A8C2528142FAB0 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:29:11] 765*2^1241416-1 is not prime. Res64: 96BB072A95CEEDEE Time : 0.0 sec. user=mdettweiler [2013-02-21 11:29:11] 825*2^1241416-1 is not prime. Res64: 5C8C178EF56B6AB6 Time : 0.0 sec. user=juhehe [2013-02-21 11:39:23] 649*2^1241415-1 is not prime. Res64: AC41252262DE6A62 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:46:32] 923*2^1241416-1 is not prime. Res64: A639DAC162D34056 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:46:32] 957*2^1241416-1 is not prime. Res64: E77D0B4D7BBEE814 Time : 0.0 sec. user=mdettweiler [2013-02-21 11:46:33] 999*2^1241416-1 is not prime. Res64: C9F1D714A34DC96D Time : 0.0 sec. user=mdettweiler [2013-02-21 11:46:33] 691*2^1241417-1 is not prime. Res64: 41159CBF87BEC880 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:03:58] 729*2^1241417-1 is not prime. Res64: D5F036F0B466CFD2 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:04:00] 735*2^1241417-1 is not prime. Res64: 816579FB03A8BC0B Time : 0.0 sec. user=mdettweiler [2013-02-21 12:04:02] 879*2^1241417-1 is not prime. Res64: 28EF853D94AD7A0E Time : 0.0 sec. user=mdettweiler [2013-02-21 12:04:04] 635*2^1241418-1 is not prime. Res64: 7A9FA459FDA2C60B Time : 0.0 sec. user=mdettweiler [2013-02-21 12:21:33] 725*2^1241418-1 is not prime. Res64: EA56617E4AC5C282 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:21:34] 993*2^1241418-1 is not prime. Res64: 3D96C5E4BCAC3D48 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:21:34] 639*2^1241419-1 is not prime. Res64: E82964F5A245352D Time : 0.0 sec. user=mdettweiler [2013-02-21 12:21:35] 703*2^1241419-1 is not prime. Res64: AF2467A6C0927778 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:39:03] 723*2^1241419-1 is not prime. Res64: E45D18E11CCF9A9C Time : 0.0 sec. user=mdettweiler [2013-02-21 12:39:04] 771*2^1241419-1 is not prime. Res64: 2A55E5AA093C4245 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:39:05] 885*2^1241419-1 is not prime. Res64: 0004BD7974A44F7D Time : 0.0 sec. user=mdettweiler [2013-02-21 12:39:06] 913*2^1241419-1 is not prime. Res64: 982244852DCEB692 Time : 0.0 sec. user=juhehe [2013-02-21 12:51:14] 647*2^1241418-1 is not prime. Res64: F15B7FEFF51E127C Time : 0.0 sec. user=mdettweiler [2013-02-21 12:56:33] 961*2^1241419-1 is not prime. Res64: CC4A4E1166B5C7E0 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:56:34] 975*2^1241419-1 is not prime. Res64: A8B5A98B57E6A3E4 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:56:35] 979*2^1241419-1 is not prime. Res64: E5BC2D036B077010 Time : 0.0 sec. user=mdettweiler [2013-02-21 12:56:36] 629*2^1241420-1 is not prime. Res64: 4E4553CA665987E8 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:14:05] 753*2^1241420-1 is not prime. Res64: B6E13E80628A641B Time : 0.0 sec. user=mdettweiler [2013-02-21 13:14:05] 755*2^1241420-1 is not prime. Res64: 61123D7AAFE27298 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:14:06] 759*2^1241420-1 is not prime. Res64: E86203E0F4335B43 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:14:07] 797*2^1241420-1 is not prime. Res64: 1E6FC4DDAA2C1A17 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:31:33] 977*2^1241420-1 is not prime. Res64: A2700ACCB9C203F3 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:31:33] 805*2^1241421-1 is not prime. Res64: FED479A7421C4F2D Time : 0.0 sec. user=mdettweiler [2013-02-21 13:31:35] 847*2^1241421-1 is not prime. Res64: 6C7C6DBB0E6219B4 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:31:35] 849*2^1241421-1 is not prime. Res64: C26A678EC644D133 Time : 0.0 sec. user=juhehe [2013-02-21 13:40:17] 951*2^1241419-1 is not prime. Res64: AA07E338A47A9260 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:49:03] 975*2^1241421-1 is not prime. Res64: 9B931658C4A2BC12 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:49:04] 617*2^1241422-1 is not prime. Res64: F84EE2C8564FD798 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:49:05] 621*2^1241422-1 is not prime. Res64: 72A065A88C52C5E7 Time : 0.0 sec. user=mdettweiler [2013-02-21 13:49:06] 843*2^1241422-1 is not prime. Res64: 072BFAC448D6370D Time : 0.0 sec. user=mdettweiler [2013-02-21 14:06:51] 633*2^1241423-1 is not prime. Res64: E6875EBB67F33931 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:06:52] 643*2^1241423-1 is not prime. Res64: 969954AD50405090 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:06:54] 829*2^1241423-1 is not prime. Res64: AFB9A613A6E3EE33 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:06:55] 889*2^1241423-1 is not prime. Res64: ABBC89037304AC0F Time : 0.0 sec. user=mdettweiler [2013-02-21 14:24:47] 969*2^1241423-1 is not prime. Res64: 257E0978EAB894E1 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:24:48] 973*2^1241423-1 is not prime. Res64: 809EAC2D969B27CE Time : 0.0 sec. user=mdettweiler [2013-02-21 14:24:50] 623*2^1241424-1 is not prime. Res64: 510DFD6FDC995BA2 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:24:51] 639*2^1241424-1 is not prime. Res64: 52D914095268CC1C Time : 0.0 sec. user=mdettweiler [2013-02-21 14:42:35] 753*2^1241424-1 is not prime. Res64: C295C6D8422A1817 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:42:35] 773*2^1241424-1 is not prime. Res64: A2D176A21A2A69C9 Time : 0.0 sec. user=mdettweiler [2013-02-21 14:42:37] 721*2^1241425-1 is not prime. Res64: 0A0DAA985C4DE56E Time : 0.0 sec. user=mdettweiler [2013-02-21 14:42:37] 727*2^1241425-1 is not prime. Res64: 1A7CDA5C4D4318AA Time : 0.0 sec. user=juhehe [2013-02-21 14:52:22] 943*2^1241423-1 is not prime. Res64: 21302274ABFAE304 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:00:00] 909*2^1241425-1 is not prime. Res64: 4AD38F8E40E896B2 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:00:00] 955*2^1241425-1 is not prime. Res64: D1D0580375DBCF1C Time : 0.0 sec. user=mdettweiler [2013-02-21 15:00:01] 675*2^1241426-1 is not prime. Res64: 5EB7BB868C84FF04 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:00:02] 837*2^1241426-1 is not prime. Res64: 71006C528F848B78 Time : 0.0 sec. user=juhehe [2013-02-21 15:10:45] 889*2^1241407-1 is not prime. Res64: F901253BB4DAA4E8 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:17:23] 957*2^1241426-1 is not prime. Res64: 548E4429F52B0DA2 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:17:24] 703*2^1241427-1 is not prime. Res64: 57DF6AB58810F98D Time : 0.0 sec. user=mdettweiler [2013-02-21 15:17:26] 705*2^1241427-1 is not prime. Res64: 544E38314022A5FB Time : 0.0 sec. user=mdettweiler [2013-02-21 15:17:27] 805*2^1241427-1 is not prime. Res64: 0CD7121FE558C229 Time : 0.0 sec. user=juhehe [2013-02-21 15:33:07] 835*2^1241427-1 is not prime. Res64: F5F44A9F706282E5 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:34:53] 603*2^1241428-1 is not prime. Res64: D7EF178013D8DB73 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:34:53] 635*2^1241428-1 is not prime. Res64: 8CE80898513510C1 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:34:55] 647*2^1241428-1 is not prime. Res64: CFD590077C9E4ABC Time : 0.0 sec. user=mdettweiler [2013-02-21 15:34:55] 695*2^1241428-1 is not prime. Res64: 90AB0C2BAEC9928E Time : 0.0 sec. user=juhehe [2013-02-21 15:41:41] 799*2^1241425-1 is not prime. Res64: 5D6BC81A35D2900C Time : 0.0 sec. user=mdettweiler [2013-02-21 15:52:39] 735*2^1241428-1 is not prime. Res64: 6E5E608410FE7CC0 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:52:39] 777*2^1241428-1 is not prime. Res64: E9C7B229F5C99EA5 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:52:42] 845*2^1241428-1 is not prime. Res64: C5C09E991435E257 Time : 0.0 sec. user=mdettweiler [2013-02-21 15:52:42] 897*2^1241428-1 is not prime. Res64: 0A010182209BF100 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:11:08] 999*2^1241428-1 is not prime. Res64: 75C415203893176F Time : 0.0 sec. user=mdettweiler [2013-02-21 16:11:09] 699*2^1241429-1 is not prime. Res64: DA65F5DECB8CB582 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:11:13] 711*2^1241429-1 is not prime. Res64: 8A78F79CCC46E681 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:11:15] 721*2^1241429-1 is not prime. Res64: B000DD4A6CB5C02E Time : 0.0 sec. user=mdettweiler [2013-02-21 16:29:35] 729*2^1241429-1 is not prime. Res64: E6CA77F364B813A0 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:29:36] 771*2^1241429-1 is not prime. Res64: D306CBF812F5A8DC Time : 0.0 sec. user=mdettweiler [2013-02-21 16:29:38] 847*2^1241429-1 is not prime. Res64: 2F1DD817D6842880 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:29:38] 865*2^1241429-1 is not prime. Res64: C22B306CAAA2735E Time : 0.0 sec. user=mdettweiler [2013-02-21 16:47:59] 939*2^1241429-1 is not prime. Res64: BB8DEEDA2E8627E2 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:47:59] 671*2^1241430-1 is not prime. Res64: 47B21D3F874521B2 Time : 0.0 sec. user=mdettweiler [2013-02-21 16:48:03] 797*2^1241430-1 is not prime. Res64: 335FE9CB460FE27D Time : 0.0 sec. user=mdettweiler [2013-02-21 16:48:03] 833*2^1241430-1 is not prime. Res64: A279F8C5E03C5D76 Time : 0.0 sec. user=juhehe [2013-02-21 16:59:32] 995*2^1241428-1 is not prime. Res64: 030EB3ADF144FC1D Time : 0.0 sec. user=mdettweiler [2013-02-21 17:05:50] 875*2^1241430-1 is not prime. Res64: D65A07DECC19EABA Time : 0.0 sec. user=mdettweiler [2013-02-21 17:05:52] 945*2^1241430-1 is not prime. Res64: 4EBF5B734998E29F Time : 0.0 sec. user=mdettweiler [2013-02-21 17:05:54] 951*2^1241430-1 is not prime. Res64: 2DE2C7CCDC5A0281 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:05:56] 735*2^1241431-1 is not prime. Res64: 89707924240B8EBA Time : 0.0 sec. user=mdettweiler [2013-02-21 17:23:41] 789*2^1241431-1 is not prime. Res64: 743E0FE23AE78B26 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:23:42] 843*2^1241431-1 is not prime. Res64: 32BCEADE43AE9D6A Time : 0.0 sec. user=mdettweiler [2013-02-21 17:23:44] 871*2^1241431-1 is not prime. Res64: 4F806F2307118164 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:23:45] 925*2^1241431-1 is not prime. Res64: A17360B92803AE0B Time : 0.0 sec. user=mdettweiler [2013-02-21 17:41:29] 943*2^1241431-1 is not prime. Res64: 2E1784B44EB268A5 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:41:30] 603*2^1241432-1 is not prime. Res64: D2335F473F6C27D1 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:41:33] 609*2^1241432-1 is not prime. Res64: 0967B7CDB12D357E Time : 0.0 sec. user=mdettweiler [2013-02-21 17:41:33] 645*2^1241432-1 is not prime. Res64: 5664D6344B6275C5 Time : 0.0 sec. user=juhehe [2013-02-21 17:42:41] 851*2^1241430-1 is not prime. Res64: C104616BEE4F8010 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:59:06] 665*2^1241432-1 is not prime. Res64: E650E6037B56341C Time : 0.0 sec. user=mdettweiler [2013-02-21 17:59:07] 699*2^1241432-1 is not prime. Res64: A2BADAF45CA19275 Time : 0.0 sec. user=mdettweiler [2013-02-21 17:59:09] 735*2^1241432-1 is not prime. Res64: 57BCE47A5C60F14A Time : 0.0 sec. user=mdettweiler [2013-02-21 17:59:10] 755*2^1241432-1 is not prime. Res64: C11FFF8107CFB821 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:16:36] 819*2^1241432-1 is not prime. Res64: C54B40BDB29D06DD Time : 0.0 sec. user=mdettweiler [2013-02-21 18:16:37] 957*2^1241432-1 is not prime. Res64: 94DE356980421FD8 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:16:39] 627*2^1241433-1 is not prime. Res64: 8A25B80F6FA292E1 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:16:40] 669*2^1241433-1 is not prime. Res64: 71D78E299B677AB2 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:34:07] 681*2^1241433-1 is not prime. Res64: A9236E7052F1F5D0 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:34:08] 685*2^1241433-1 is not prime. Res64: 66CA1E21A000A3E8 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:34:10] 727*2^1241433-1 is not prime. Res64: A59F0CAE4C815289 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:34:10] 741*2^1241433-1 is not prime. Res64: C4EE553F646496F9 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:51:38] 765*2^1241433-1 is not prime. Res64: 42F565D2FC82E696 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:51:39] 861*2^1241433-1 is not prime. Res64: CCEF1EABC41048E1 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:51:40] 885*2^1241433-1 is not prime. Res64: B164DCDE75EE2B60 Time : 0.0 sec. user=mdettweiler [2013-02-21 18:51:40] 955*2^1241433-1 is not prime. Res64: DD72433246C1F8B2 Time : 0.0 sec. user=juhehe [2013-02-21 18:59:40] 797*2^1241432-1 is not prime. Res64: 97E7D9451203A668 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:09:06] 681*2^1241434-1 is not prime. Res64: BA2CFDBFA4721B25 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:09:07] 717*2^1241434-1 is not prime. Res64: 98CBC5B656D047A6 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:09:07] 737*2^1241434-1 is not prime. Res64: 3E6E109CBA392079 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:09:08] 741*2^1241434-1 is not prime. Res64: D25E0135259C9002 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:26:37] 861*2^1241434-1 is not prime. Res64: 8B856469CD70C490 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:26:38] 705*2^1241435-1 is not prime. Res64: 44AA5E9828637267 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:26:38] 917*2^1241434-1 is not prime. Res64: BF39074756819CDB Time : 0.0 sec. user=mdettweiler [2013-02-21 19:26:38] 705*2^1241436-1 is not prime. Res64: 065D0DA68EE68604 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:44:05] 789*2^1241436-1 is not prime. Res64: 1C2F20294CDE5F77 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:44:06] 803*2^1241436-1 is not prime. Res64: 8610862ACEE52ABA Time : 0.0 sec. user=mdettweiler [2013-02-21 19:44:06] 903*2^1241436-1 is not prime. Res64: 017C1171F10A6017 Time : 0.0 sec. user=mdettweiler [2013-02-21 19:44:07] 609*2^1241437-1 is not prime. Res64: 19576F45E7D6AA63 Time : 0.0 sec. user=juhehe [2013-02-21 19:44:13] 651*2^1241434-1 is not prime. Res64: 535A9747CB36731F Time : 0.0 sec. user=mdettweiler [2013-02-21 20:01:34] 619*2^1241437-1 is not prime. Res64: 43D4E39AD7659B29 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:01:35] 897*2^1241437-1 is not prime. Res64: 2DF805E4DAF44F7C Time : 0.0 sec. user=mdettweiler [2013-02-21 20:01:36] 861*2^1241437-1 is not prime. Res64: 4036B516CD86C691 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:01:36] 937*2^1241437-1 is not prime. Res64: E8BB4A866FFD9425 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:19:04] 731*2^1241438-1 is not prime. Res64: A0E8E107C21F99F5 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:19:05] 813*2^1241438-1 is not prime. Res64: 66660B3E155FA2AE Time : 0.0 sec. user=mdettweiler [2013-02-21 20:19:07] 825*2^1241438-1 is not prime. Res64: D7DF6ED18333DA92 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:19:08] 857*2^1241438-1 is not prime. Res64: 4FAEC0BED995B7E4 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:36:34] 1001*2^1241438-1 is not prime. Res64: AF7F1F662B7A2BF2 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:36:35] 615*2^1241439-1 is not prime. Res64: DB44009B92F49334 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:36:35] 625*2^1241439-1 is not prime. Res64: DA51D0B9D86E3D7B Time : 0.0 sec. user=mdettweiler [2013-02-21 20:36:36] 691*2^1241439-1 is not prime. Res64: D10ADA7A0BB5F063 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:54:05] 705*2^1241439-1 is not prime. Res64: 300C790D1B5ED072 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:54:05] 721*2^1241439-1 is not prime. Res64: 74A10C6FF50F9BAF Time : 0.0 sec. user=mdettweiler [2013-02-21 20:54:06] 873*2^1241439-1 is not prime. Res64: 99D5BFC6AE748756 Time : 0.0 sec. user=mdettweiler [2013-02-21 20:54:06] 879*2^1241439-1 is not prime. Res64: F21CAB060837D0E9 Time : 0.0 sec. user=juhehe [2013-02-21 21:00:55] 657*2^1241438-1 is not prime. Res64: F6B42E29B2A588FC Time : 0.0 sec. user=mdettweiler [2013-02-21 21:11:35] 605*2^1241440-1 is not prime. Res64: 98D85E80DF97BDBF Time : 0.0 sec. user=mdettweiler [2013-02-21 21:11:36] 665*2^1241440-1 is not prime. Res64: 4A82E098755A5AC2 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:11:36] 695*2^1241440-1 is not prime. Res64: 32F9350B41722DFD Time : 0.0 sec. user=mdettweiler [2013-02-21 21:11:36] 747*2^1241440-1 is not prime. Res64: 45A798FC3F9491A7 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:29:04] 849*2^1241440-1 is not prime. Res64: 73957B9CE13389D8 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:29:05] 875*2^1241440-1 is not prime. Res64: 2FD3BCE76F9E8475 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:29:06] 899*2^1241440-1 is not prime. Res64: 843D5728A4403638 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:29:06] 927*2^1241440-1 is not prime. Res64: 0C61189F60C05C96 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:46:33] 959*2^1241440-1 is not prime. Res64: 13D4E1DAAFC58178 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:46:33] 999*2^1241440-1 is not prime. Res64: 1F15F55ACB909CD7 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:46:34] 607*2^1241441-1 is not prime. Res64: 472EB53975AD3A40 Time : 0.0 sec. user=mdettweiler [2013-02-21 21:46:35] 651*2^1241441-1 is not prime. Res64: 0D0AC4835FA84395 Time : 0.0 sec. user=juhehe [2013-02-21 21:51:35] 985*2^1241439-1 is not prime. Res64: FEE701B7C7DD5C5A Time : 0.0 sec. user=mdettweiler [2013-02-21 22:04:14] 675*2^1241441-1 is not prime. Res64: 2D23C4FC06E98887 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:04:14] 715*2^1241441-1 is not prime. Res64: 9EBD6C4A61AF9C6C Time : 0.0 sec. user=mdettweiler [2013-02-21 22:04:15] 795*2^1241441-1 is not prime. Res64: 9E2B713E9546F064 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:04:15] 837*2^1241441-1 is not prime. Res64: 4ED7DD2EFD831A6A Time : 0.0 sec. user=mdettweiler [2013-02-21 22:22:28] 861*2^1241441-1 is not prime. Res64: FC9493EE21DD1F70 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:22:28] 907*2^1241441-1 is not prime. Res64: D48DACDB9B80C928 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:22:30] 955*2^1241441-1 is not prime. Res64: 10E0CA830B844E6A Time : 0.0 sec. user=mdettweiler [2013-02-21 22:22:30] 681*2^1241442-1 is not prime. Res64: 6A02AF9EE841A608 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:40:41] 741*2^1241442-1 is not prime. Res64: 1DF43E24ADEE3ABA Time : 0.0 sec. user=mdettweiler [2013-02-21 22:40:42] 747*2^1241442-1 is not prime. Res64: 2CCAE774E51D2953 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:40:43] 807*2^1241442-1 is not prime. Res64: F77D045498A88126 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:40:43] 833*2^1241442-1 is not prime. Res64: 0240BDA05EA1A7D3 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:58:13] 921*2^1241442-1 is not prime. Res64: 68098C298D5E2F77 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:58:14] 923*2^1241442-1 is not prime. Res64: BD732AD5D7AC23ED Time : 0.0 sec. user=mdettweiler [2013-02-21 22:58:15] 945*2^1241442-1 is not prime. Res64: DD4DA635F61A11E7 Time : 0.0 sec. user=mdettweiler [2013-02-21 22:58:15] 963*2^1241442-1 is not prime. Res64: D618A4AD838EA371 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:15:35] 703*2^1241443-1 is not prime. Res64: 37A6331D12ECCA15 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:15:36] 741*2^1241443-1 is not prime. Res64: E8200A5BCC39F2F7 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:15:38] 849*2^1241443-1 is not prime. Res64: AF0329CC8051FB78 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:15:39] 895*2^1241443-1 is not prime. Res64: A10DD929DA786AED Time : 0.0 sec. user=mdettweiler [2013-02-21 23:33:01] 985*2^1241443-1 is not prime. Res64: 51B75B72F9D11394 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:33:02] 677*2^1241444-1 is not prime. Res64: C16FA82553D3309B Time : 0.0 sec. user=mdettweiler [2013-02-21 23:33:04] 855*2^1241444-1 is not prime. Res64: 09939044CF90BB94 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:33:04] 959*2^1241444-1 is not prime. Res64: 1CD86B7CF0BF7E5D Time : 0.0 sec. user=mdettweiler [2013-02-21 23:50:37] 919*2^1241445-1 is not prime. Res64: A4EB0EAD5D05190C Time : 0.0 sec. user=mdettweiler [2013-02-21 23:50:37] 975*2^1241445-1 is not prime. Res64: 40E6254E987E9C77 Time : 0.0 sec. user=mdettweiler [2013-02-21 23:50:50] 727*2^1241445-1 is not prime. Res64: 870F8C5B4EAD522B Time : 0.0 sec. user=mdettweiler [2013-02-21 23:50:51] 861*2^1241445-1 is not prime. Res64: 16793902EDF65AE2 Time : 0.0 sec. user=juhehe [2013-02-21 23:59:43] 681*2^1241443-1 is not prime. Res64: AA60D73D17723D4C Time : 0.0 sec.