user=mdettweiler [2013-02-22 00:07:59] 677*2^1241446-1 is not prime. Res64: 190137E21090ACCF Time : 0.0 sec. user=mdettweiler [2013-02-22 00:08:00] 713*2^1241446-1 is not prime. Res64: 0F1AE5DF8F63E1FD Time : 0.0 sec. user=mdettweiler [2013-02-22 00:08:12] 783*2^1241446-1 is not prime. Res64: 63B0BE235FE2F1D4 Time : 0.0 sec. user=mdettweiler [2013-02-22 00:08:13] 843*2^1241446-1 is not prime. Res64: B65E39647414528D Time : 0.0 sec. user=mdettweiler [2013-02-22 00:25:26] 855*2^1241446-1 is not prime. Res64: CCF0A93F0EBBAB03 Time : 0.0 sec. user=mdettweiler [2013-02-22 00:25:26] 867*2^1241446-1 is not prime. Res64: 236072B7409ABEBF Time : 0.0 sec. user=mdettweiler [2013-02-22 00:25:35] 903*2^1241446-1 is not prime. Res64: AFEDE8782899BD51 Time : 0.0 sec. user=mdettweiler [2013-02-22 00:25:36] 917*2^1241446-1 is not prime. Res64: FC73104E0F96935F Time : 0.0 sec. user=mdettweiler [2013-02-22 00:42:54] 705*2^1241447-1 is not prime. Res64: 48F048E24AD4DCF1 Time : 0.0 sec. user=mdettweiler [2013-02-22 00:42:55] 741*2^1241447-1 is not prime. Res64: 9F3D3C96F6CCD8B2 Time : 0.0 sec. user=mdettweiler [2013-02-22 00:42:59] 753*2^1241447-1 is not prime. Res64: 583FB3D5B87EE7C2 Time : 0.0 sec. user=mdettweiler [2013-02-22 00:43:00] 831*2^1241447-1 is not prime. Res64: 159373C77187193A Time : 0.0 sec. user=juhehe [2013-02-22 00:51:39] 653*2^1241446-1 is not prime. Res64: E822182865481F69 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:00:17] 885*2^1241447-1 is not prime. Res64: 2F550991B453B37A Time : 0.0 sec. user=mdettweiler [2013-02-22 01:00:18] 963*2^1241447-1 is not prime. Res64: 07D02B5DB14B3E80 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:00:22] 973*2^1241447-1 is not prime. Res64: 95A654E4214F90C7 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:00:23] 981*2^1241447-1 is not prime. Res64: 1B330FD5F8042AC2 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:17:40] 825*2^1241448-1 is not prime. Res64: 7706C653440B5E49 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:17:41] 681*2^1241449-1 is not prime. Res64: 771055F46FFDDD64 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:17:45] 759*2^1241449-1 is not prime. Res64: C8DB97E93ED48F13 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:17:46] 799*2^1241449-1 is not prime. Res64: 12277C4BB6652FB2 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:35:06] 811*2^1241449-1 is not prime. Res64: 1B49ACC1115EA06B Time : 0.0 sec. user=mdettweiler [2013-02-22 01:35:07] 831*2^1241449-1 is not prime. Res64: E7056EB2C98DC69D Time : 0.0 sec. user=mdettweiler [2013-02-22 01:35:09] 835*2^1241449-1 is not prime. Res64: 036A3F79282C481E Time : 0.0 sec. user=mdettweiler [2013-02-22 01:35:09] 841*2^1241449-1 is not prime. Res64: 1AFC68E2013FA483 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:52:29] 885*2^1241449-1 is not prime. Res64: 475BDB2814E2A6AC Time : 0.0 sec. user=mdettweiler [2013-02-22 01:52:30] 997*2^1241449-1 is not prime. Res64: 63CE5C700E0CA376 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:52:31] 713*2^1241450-1 is not prime. Res64: C1497436873F2C17 Time : 0.0 sec. user=mdettweiler [2013-02-22 01:52:31] 747*2^1241450-1 is not prime. Res64: 360BA59826D5216A Time : 0.0 sec. user=juhehe [2013-02-22 01:59:57] 819*2^1241448-1 is not prime. Res64: 588BEBA87ED7EDBF Time : 0.0 sec. user=mdettweiler [2013-02-22 02:09:51] 851*2^1241450-1 is not prime. Res64: AC40D0F232B31C66 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:09:52] 857*2^1241450-1 is not prime. Res64: B992A5278BBDBEAF Time : 0.0 sec. user=mdettweiler [2013-02-22 02:09:52] 893*2^1241450-1 is not prime. Res64: C721729E208277C2 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:09:53] 977*2^1241450-1 is not prime. Res64: 9A18D8EC44BBBB1A Time : 0.0 sec. user=mdettweiler [2013-02-22 02:27:21] 649*2^1241451-1 is not prime. Res64: E2C6CD6EC1E83B74 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:27:21] 679*2^1241451-1 is not prime. Res64: C9B15D01E46F69E2 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:27:22] 819*2^1241451-1 is not prime. Res64: 5EB6D9CC5CAFD291 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:27:23] 973*2^1241451-1 is not prime. Res64: 19E5CAF7D0BE56F3 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:44:43] 723*2^1241452-1 is not prime. Res64: 89738803EFF73A54 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:44:44] 743*2^1241452-1 is not prime. Res64: 011A5D66A786F810 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:44:45] 777*2^1241452-1 is not prime. Res64: 58DDE765CE133CE1 Time : 0.0 sec. user=mdettweiler [2013-02-22 02:44:46] 855*2^1241452-1 is not prime. Res64: FBCAC7AAD226EA96 Time : 0.0 sec. user=juhehe [2013-02-22 02:52:31] 785*2^1241450-1 is not prime. Res64: F1F59F2A32EBAFD8 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:02:09] 873*2^1241452-1 is not prime. Res64: 50EF19B479AFB407 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:02:10] 933*2^1241452-1 is not prime. Res64: 4484358FA85C93B4 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:02:11] 903*2^1241452-1 is not prime. Res64: 4E38F3B8C4113BB7 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:02:11] 621*2^1241453-1 is not prime. Res64: 91303F6C3E79517A Time : 0.0 sec. user=mdettweiler [2013-02-22 03:19:42] 691*2^1241453-1 is not prime. Res64: B8D1C7272D0098B7 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:19:42] 697*2^1241453-1 is not prime. Res64: 66D04FD8A8C6739D Time : 0.0 sec. user=mdettweiler [2013-02-22 03:20:02] 649*2^1241453-1 is not prime. Res64: F65BC47E8E587708 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:20:02] 675*2^1241453-1 is not prime. Res64: E5D85BFD49B3E0C4 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:37:05] 897*2^1241453-1 is not prime. Res64: D710065C7659C207 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:37:06] 611*2^1241454-1 is not prime. Res64: 06FF9FA39D6C9D2F Time : 0.0 sec. user=mdettweiler [2013-02-22 03:37:25] 641*2^1241454-1 is not prime. Res64: CA9BDB1A69487460 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:37:26] 717*2^1241454-1 is not prime. Res64: B78DB40070C3297E Time : 0.0 sec. user=mdettweiler [2013-02-22 03:54:28] 921*2^1241454-1 is not prime. Res64: 52845B741E870F43 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:54:28] 645*2^1241455-1 is not prime. Res64: 079AAF2CB4AD0683 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:54:47] 685*2^1241455-1 is not prime. Res64: C25FAA1A3F05C758 Time : 0.0 sec. user=mdettweiler [2013-02-22 03:54:48] 841*2^1241455-1 is not prime. Res64: 6EBEF741EC452128 Time : 0.0 sec. user=juhehe [2013-02-22 04:00:59] 631*2^1241453-1 is not prime. Res64: A973D47D41A0E8C9 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:11:49] 813*2^1241456-1 is not prime. Res64: 8FF5444CF80859D5 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:11:50] 869*2^1241456-1 is not prime. Res64: F9B1E77705C151F3 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:12:09] 935*2^1241456-1 is not prime. Res64: 6C7EEE96BFF65767 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:12:10] 993*2^1241456-1 is not prime. Res64: 63337B073B227A77 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:29:12] 649*2^1241457-1 is not prime. Res64: E3E0A91E80FF8EE3 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:29:13] 835*2^1241457-1 is not prime. Res64: E26ECFEFF96F3BFA Time : 0.0 sec. user=mdettweiler [2013-02-22 04:29:32] 909*2^1241457-1 is not prime. Res64: C9D07ACF9830A2C3 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:29:33] 647*2^1241458-1 is not prime. Res64: 9AA3BD86D34E7423 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:46:36] 681*2^1241458-1 is not prime. Res64: 5ADDF04EC8D33284 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:46:37] 705*2^1241458-1 is not prime. Res64: E589186E8820E21A Time : 0.0 sec. user=mdettweiler [2013-02-22 04:46:55] 713*2^1241458-1 is not prime. Res64: F6881D0DD69E3744 Time : 0.0 sec. user=mdettweiler [2013-02-22 04:46:55] 777*2^1241458-1 is not prime. Res64: 6F069630828E3398 Time : 0.0 sec. user=juhehe [2013-02-22 04:52:49] 629*2^1241456-1 is not prime. Res64: 1533905D0D3174A1 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:04:01] 827*2^1241458-1 is not prime. Res64: F3F1DAC11A9122BB Time : 0.0 sec. user=mdettweiler [2013-02-22 05:04:02] 831*2^1241458-1 is not prime. Res64: 04582051F4FB944C Time : 0.0 sec. user=mdettweiler [2013-02-22 05:04:20] 861*2^1241458-1 is not prime. Res64: 41F4FD9C361D0CE5 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:04:20] 867*2^1241458-1 is not prime. Res64: B85906EDEC973AD1 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:21:43] 679*2^1241459-1 is not prime. Res64: C93DBED681EA00F5 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:21:44] 741*2^1241459-1 is not prime. Res64: C7586BAF937A197B Time : 0.0 sec. user=mdettweiler [2013-02-22 05:22:00] 801*2^1241459-1 is not prime. Res64: ABC0979584CE2D65 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:22:00] 903*2^1241459-1 is not prime. Res64: C23BBED87ACF140E Time : 0.0 sec. user=mdettweiler [2013-02-22 05:39:13] 913*2^1241459-1 is not prime. Res64: F74195023CEE75D8 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:39:13] 669*2^1241460-1 is not prime. Res64: 4B0DE4A3CD63E593 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:39:29] 753*2^1241460-1 is not prime. Res64: 272CA6916A84D9FF Time : 0.0 sec. user=mdettweiler [2013-02-22 05:39:30] 825*2^1241460-1 is not prime. Res64: 94654919F1E57531 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:56:43] 879*2^1241460-1 is not prime. Res64: 825B7520543C2C14 Time : 0.0 sec. user=mdettweiler [2013-02-22 05:56:44] 983*2^1241460-1 is not prime. Res64: EE3F465234F90A5A Time : 0.0 sec. user=mdettweiler [2013-02-22 05:57:00] 607*2^1241461-1 is not prime. Res64: B829FCE111FF478A Time : 0.0 sec. user=mdettweiler [2013-02-22 05:57:00] 619*2^1241461-1 is not prime. Res64: 9DC16EE7F7120165 Time : 0.0 sec. user=juhehe [2013-02-22 06:08:21] 987*2^1241458-1 is not prime. Res64: 42B196A2755F5414 Time : 0.0 sec. user=mdettweiler [2013-02-22 06:14:14] 867*2^1241461-1 is not prime. Res64: 1712FD6A4959A974 Time : 0.0 sec. user=mdettweiler [2013-02-22 06:14:14] 951*2^1241461-1 is not prime. Res64: B467F962E57536FE Time : 0.0 sec. user=mdettweiler [2013-02-22 06:14:31] 961*2^1241461-1 is not prime. Res64: 4E710B9D5894A147 Time : 0.0 sec. user=mdettweiler [2013-02-22 06:14:32] 603*2^1241462-1 is not prime. Res64: 409A1D1C5398719C Time : 0.0 sec. user=mdettweiler [2013-02-22 06:31:49] 753*2^1241462-1 is not prime. Res64: F61D9C85209E427E Time : 0.0 sec. user=mdettweiler [2013-02-22 06:31:49] 945*2^1241462-1 is not prime. Res64: E03BBCCAEB850B68 Time : 0.0 sec. user=mdettweiler [2013-02-22 06:32:03] 981*2^1241462-1 is not prime. Res64: 7D2C7FB75C67ADCF Time : 0.0 sec. user=mdettweiler [2013-02-22 06:32:04] 1001*2^1241462-1 is not prime. Res64: 7C3C00857B21851F Time : 0.0 sec. user=juhehe [2013-02-22 06:35:20] 723*2^1241428-1 is not prime. Res64: CE391F6A6F33DA8A Time : 0.0 sec. user=mdettweiler [2013-02-22 06:49:21] 685*2^1241463-1 is not prime. Res64: 783411ABC4ED0BA0 Time : 0.0 sec. user=mdettweiler [2013-02-22 06:49:21] 691*2^1241463-1 is not prime. Res64: 0308AE0EACE4881F Time : 0.0 sec. user=mdettweiler [2013-02-22 06:49:36] 723*2^1241463-1 is not prime. Res64: 97EEF7FF10CD7746 Time : 0.0 sec. user=mdettweiler [2013-02-22 06:49:36] 735*2^1241463-1 is not prime. Res64: 9CFE52D47FFC22BF Time : 0.0 sec. user=juhehe [2013-02-22 06:53:46] 855*2^1241461-1 is not prime. Res64: 4B30BF46C56F28DF Time : 0.0 sec. user=juhehe [2013-02-22 06:56:50] 781*2^1241463-1 is not prime. Res64: 0652D0F26D17205C Time : 0.0 sec. user=mdettweiler [2013-02-22 07:06:52] 823*2^1241463-1 is not prime. Res64: 43D89A866F3EF106 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:06:55] 921*2^1241463-1 is not prime. Res64: 5C9E471DF8D9D48D Time : 0.0 sec. user=mdettweiler [2013-02-22 07:07:07] 933*2^1241463-1 is not prime. Res64: FB4F353A5A23E790 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:07:08] 723*2^1241464-1 is not prime. Res64: 81AC3144042BFE2D Time : 0.0 sec. user=juhehe [2013-02-22 07:20:44] 743*2^1241464-1 is not prime. Res64: 7163ABB20C49110F Time : 0.0 sec. user=mdettweiler [2013-02-22 07:24:30] 773*2^1241464-1 is not prime. Res64: 8D7C256B7A676BD9 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:24:30] 857*2^1241464-1 is not prime. Res64: C40422DCC322D4AF Time : 0.0 sec. user=mdettweiler [2013-02-22 07:24:40] 691*2^1241465-1 is not prime. Res64: 1E855D2AD8A66846 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:24:40] 697*2^1241465-1 is not prime. Res64: 4E6991759FCCDE3C Time : 0.0 sec. user=juhehe [2013-02-22 07:41:11] 721*2^1241465-1 is not prime. Res64: 31B506DDF4327A02 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:41:56] 867*2^1241465-1 is not prime. Res64: 15247546ED31739F Time : 0.0 sec. user=mdettweiler [2013-02-22 07:41:56] 985*2^1241465-1 is not prime. Res64: B1209066FD7C59B2 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:42:05] 611*2^1241466-1 is not prime. Res64: 66BDDEB481DA96D6 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:42:06] 641*2^1241466-1 is not prime. Res64: 34C9791F0E9142DC Time : 0.0 sec. user=mdettweiler [2013-02-22 07:59:22] 875*2^1241466-1 is not prime. Res64: B1BF44746D2C036E Time : 0.0 sec. user=mdettweiler [2013-02-22 07:59:22] 905*2^1241466-1 is not prime. Res64: 64DE5C2EADD340A5 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:59:31] 971*2^1241466-1 is not prime. Res64: D7C7329C031EE986 Time : 0.0 sec. user=mdettweiler [2013-02-22 07:59:32] 663*2^1241467-1 is not prime. Res64: 6F4F828264D12591 Time : 0.0 sec. user=juhehe [2013-02-22 08:01:21] 725*2^1241466-1 is not prime. Res64: 81353B5DD4F3E5CB Time : 0.0 sec. user=juhehe [2013-02-22 08:09:30] 909*2^1241464-1 is not prime. Res64: 5EEBC81E92921CE8 Time : 0.0 sec. user=mdettweiler [2013-02-22 08:16:49] 741*2^1241467-1 is not prime. Res64: 6D826C5028FB6B27 Time : 0.0 sec. user=mdettweiler [2013-02-22 08:16:50] 829*2^1241467-1 is not prime. Res64: C3FF9582640BAC8C Time : 0.0 sec. user=mdettweiler [2013-02-22 08:16:59] 835*2^1241467-1 is not prime. Res64: 81569AE36A1404AA Time : 0.0 sec. user=mdettweiler [2013-02-22 08:16:59] 871*2^1241467-1 is not prime. Res64: B7E8F00ABA44E31D Time : 0.0 sec. user=juhehe [2013-02-22 08:21:31] 931*2^1241467-1 is not prime. Res64: 6A7E34512D2828D4 Time : 0.0 sec. user=mdettweiler [2013-02-22 08:34:30] 961*2^1241467-1 is not prime. Res64: 2358B64FF7EBB73B Time : 0.0 sec. user=mdettweiler [2013-02-22 08:34:30] 979*2^1241467-1 is not prime. Res64: D08EAAD635C67B5F Time : 0.0 sec. user=mdettweiler [2013-02-22 08:34:38] 635*2^1241468-1 is not prime. Res64: 7B2A253F41994422 Time : 0.0 sec. user=mdettweiler [2013-02-22 08:34:39] 833*2^1241468-1 is not prime. Res64: 0AF88CCE5E2076EB Time : 0.0 sec. user=juhehe [2013-02-22 08:41:41] 845*2^1241468-1 is not prime. Res64: 95BED0D61CE7EDDD Time : 0.0 sec. user=mdettweiler [2013-02-22 08:52:06] 867*2^1241468-1 is not prime. Res64: 57450A760CD2AC9D Time : 0.0 sec. user=mdettweiler [2013-02-22 08:52:07] 909*2^1241468-1 is not prime. Res64: E3C57F4EEBD08084 Time : 0.0 sec. user=mdettweiler [2013-02-22 08:52:15] 923*2^1241468-1 is not prime. Res64: 1F81258F8A182488 Time : 0.0 sec. user=mdettweiler [2013-02-22 08:52:15] 745*2^1241469-1 is not prime. Res64: 35F9E9220607AC15 Time : 0.0 sec. user=juhehe [2013-02-22 08:54:29] 691*2^1241467-1 is not prime. Res64: 660F6BF74C9B91CF Time : 0.0 sec. user=juhehe [2013-02-22 09:02:13] 837*2^1241469-1 is not prime. Res64: BB77E78B37B6D457 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:09:41] 951*2^1241469-1 is not prime. Res64: E1CEA24396CA7FF9 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:09:42] 955*2^1241469-1 is not prime. Res64: 4CE7FBB793527F70 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:09:51] 961*2^1241469-1 is not prime. Res64: 10720459BE6D8BA8 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:09:52] 603*2^1241470-1 is not prime. Res64: BF5F8516F5A554E6 Time : 0.0 sec. user=juhehe [2013-02-22 09:22:26] 741*2^1241470-1 is not prime. Res64: 68B0706BC45341E5 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:27:22] 827*2^1241470-1 is not prime. Res64: 1EA1BF71ACA80D49 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:27:22] 857*2^1241470-1 is not prime. Res64: A63FD20F40D13167 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:27:33] 915*2^1241470-1 is not prime. Res64: 65A7D2C576EA7E7A Time : 0.0 sec. user=mdettweiler [2013-02-22 09:27:33] 971*2^1241470-1 is not prime. Res64: 07937B19CE5284F3 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:45:30] 615*2^1241471-1 is not prime. Res64: 3C0BF090EC0E1A4F Time : 0.0 sec. user=mdettweiler [2013-02-22 09:45:31] 715*2^1241471-1 is not prime. Res64: 57E654D0DDFFA380 Time : 0.0 sec. user=juhehe [2013-02-22 09:45:36] 995*2^1241470-1 is not prime. Res64: 5F7B529F30ED1A60 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:45:39] 741*2^1241471-1 is not prime. Res64: A57A247E5F7ABE36 Time : 0.0 sec. user=mdettweiler [2013-02-22 09:45:39] 745*2^1241471-1 is not prime. Res64: 2B9DE01E9471C743 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:03:00] 811*2^1241471-1 is not prime. Res64: 5AA8EEDF0342DBFD Time : 0.0 sec. user=mdettweiler [2013-02-22 10:03:01] 819*2^1241471-1 is not prime. Res64: 272673726F33F781 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:03:09] 949*2^1241471-1 is not prime. Res64: E206661B7448C6F5 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:03:10] 629*2^1241472-1 is not prime. Res64: 3C81293C1F64439A Time : 0.0 sec. user=juhehe [2013-02-22 10:05:47] 895*2^1241471-1 is not prime. Res64: D0BA1D85A726DDE2 Time : 0.0 sec. user=juhehe [2013-02-22 10:10:29] 821*2^1241470-1 is not prime. Res64: 48AE6CBBCE1DD37E Time : 0.0 sec. user=mdettweiler [2013-02-22 10:20:33] 825*2^1241472-1 is not prime. Res64: 42004620580AACC2 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:20:33] 873*2^1241472-1 is not prime. Res64: 6981DB6CEB3B8D16 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:20:39] 637*2^1241473-1 is not prime. Res64: 8637DA367C957261 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:20:40] 729*2^1241473-1 is not prime. Res64: 13D55C73B78D4EE3 Time : 0.0 sec. user=juhehe [2013-02-22 10:25:58] 769*2^1241473-1 is not prime. Res64: B36D408B133E36EF Time : 0.0 sec. user=mdettweiler [2013-02-22 10:38:06] 789*2^1241473-1 is not prime. Res64: C0506733AD71DC22 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:38:06] 919*2^1241473-1 is not prime. Res64: 4CBD2D964EFFCD46 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:38:11] 671*2^1241474-1 is not prime. Res64: D9E5D6E69EC0A2C9 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:38:12] 679*2^1241475-1 is not prime. Res64: B7B467813FE86D07 Time : 0.0 sec. user=juhehe [2013-02-22 10:46:07] 691*2^1241475-1 is not prime. Res64: 912D76CA19A23DA2 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:55:38] 705*2^1241475-1 is not prime. Res64: 2EBFF8168984CB81 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:55:39] 903*2^1241475-1 is not prime. Res64: 47913F863E47DC9C Time : 0.0 sec. user=mdettweiler [2013-02-22 10:55:44] 913*2^1241475-1 is not prime. Res64: A5D5AF3C35293079 Time : 0.0 sec. user=mdettweiler [2013-02-22 10:55:45] 921*2^1241475-1 is not prime. Res64: 3829FCC122BEC0BB Time : 0.0 sec. user=juhehe [2013-02-22 10:55:46] 669*2^1241472-1 is not prime. Res64: 9D6A592CAEA42D52 Time : 0.0 sec. user=juhehe [2013-02-22 11:06:18] 855*2^1241476-1 is not prime. Res64: 005FBE59F253D10F Time : 0.0 sec. user=mdettweiler [2013-02-22 11:13:21] 909*2^1241476-1 is not prime. Res64: 8C89DD418DFF7DF8 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:13:21] 879*2^1241477-1 is not prime. Res64: 12EC16F8BE83FACA Time : 0.0 sec. user=mdettweiler [2013-02-22 11:13:26] 889*2^1241477-1 is not prime. Res64: 18BE155597E521CE Time : 0.0 sec. user=mdettweiler [2013-02-22 11:13:26] 981*2^1241477-1 is not prime. Res64: 7DFB7068CECF6DE9 Time : 0.0 sec. user=juhehe [2013-02-22 11:26:28] 657*2^1241478-1 is not prime. Res64: 6630A839A24851E5 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:31:01] 797*2^1241478-1 is not prime. Res64: F3D5FD7CBFDD4C77 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:31:01] 801*2^1241478-1 is not prime. Res64: E7C719B22A7E7027 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:31:06] 609*2^1241479-1 is not prime. Res64: C4275BB84A5010D1 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:31:06] 615*2^1241479-1 is not prime. Res64: 74FB992A6F2FFE69 Time : 0.0 sec. user=juhehe [2013-02-22 11:46:40] 645*2^1241479-1 is not prime. Res64: D1DCDE6186C5EEEB Time : 0.0 sec. user=mdettweiler [2013-02-22 11:48:42] 829*2^1241479-1 is not prime. Res64: 47A5A13DBA1D4737 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:48:42] 919*2^1241479-1 is not prime. Res64: 8EAFE174A4632F86 Time : 0.0 sec. user=mdettweiler [2013-02-22 11:48:47] 931*2^1241479-1 is not prime. Res64: EC3D6F401505CE0B Time : 0.0 sec. user=mdettweiler [2013-02-22 11:48:47] 939*2^1241479-1 is not prime. Res64: E98E6061D990C9B8 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:06:27] 633*2^1241480-1 is not prime. Res64: 9E32D140FDD552C1 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:06:28] 755*2^1241480-1 is not prime. Res64: BC3F2A9ADA1F9DE9 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:06:31] 797*2^1241480-1 is not prime. Res64: C22B87F12005B91C Time : 0.0 sec. user=mdettweiler [2013-02-22 12:06:32] 893*2^1241480-1 is not prime. Res64: DB31AE68CEE1CA76 Time : 0.0 sec. user=juhehe [2013-02-22 12:11:02] 985*2^1241479-1 is not prime. Res64: EE94429C0B1A0DFD Time : 0.0 sec. user=juhehe [2013-02-22 12:11:21] 681*2^1241478-1 is not prime. Res64: 39BEF77FC408C97A Time : 0.0 sec. user=mdettweiler [2013-02-22 12:23:56] 609*2^1241481-1 is not prime. Res64: B8734B11854D4081 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:23:57] 657*2^1241481-1 is not prime. Res64: 04485F5F0756C7F5 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:23:57] 709*2^1241481-1 is not prime. Res64: 0718A53A01414127 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:23:58] 901*2^1241481-1 is not prime. Res64: 36038AB44FEFDCD1 Time : 0.0 sec. user=juhehe [2013-02-22 12:32:39] 937*2^1241481-1 is not prime. Res64: CD10C17F41EF13A5 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:41:21] 951*2^1241481-1 is not prime. Res64: 0C96AD12FDBBE4A9 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:41:22] 651*2^1241482-1 is not prime. Res64: 65AD6539291F93A7 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:41:22] 677*2^1241482-1 is not prime. Res64: A9DCFCB19DFFA548 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:41:23] 681*2^1241482-1 is not prime. Res64: E41F945BB5EF8813 Time : 0.0 sec. user=juhehe [2013-02-22 12:53:20] 701*2^1241482-1 is not prime. Res64: 27CFBDD853674D04 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:58:52] 983*2^1241482-1 is not prime. Res64: 04581927DDB2F3A7 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:58:53] 615*2^1241483-1 is not prime. Res64: 3999A53D63CFF9A8 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:58:54] 619*2^1241483-1 is not prime. Res64: 71DB3AB0F39B4FB3 Time : 0.0 sec. user=mdettweiler [2013-02-22 12:58:54] 693*2^1241483-1 is not prime. Res64: B0BC5DEB3256AAF7 Time : 0.0 sec. user=juhehe [2013-02-22 13:03:03] 999*2^1241480-1 is not prime. Res64: 9C34B6DA6CFFD355 Time : 0.0 sec. user=juhehe [2013-02-22 13:13:49] 759*2^1241483-1 is not prime. Res64: 953296FA8BA7D6E0 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:16:42] 823*2^1241483-1 is not prime. Res64: 098BFC15AE388E13 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:16:43] 859*2^1241483-1 is not prime. Res64: 0D7F85FC9C7BC073 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:16:44] 871*2^1241483-1 is not prime. Res64: 65D8839E4674EB1D Time : 0.0 sec. user=mdettweiler [2013-02-22 13:16:44] 689*2^1241484-1 is not prime. Res64: 3A62492AD889BEC0 Time : 0.0 sec. user=juhehe [2013-02-22 13:34:03] 737*2^1241484-1 is not prime. Res64: 4E583880873811DE Time : 0.0 sec. user=mdettweiler [2013-02-22 13:34:24] 875*2^1241484-1 is not prime. Res64: 1E2FDEA4552CEBA6 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:34:24] 905*2^1241484-1 is not prime. Res64: 3B4291424ED50562 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:34:25] 909*2^1241484-1 is not prime. Res64: 2E58779D5E52C15D Time : 0.0 sec. user=mdettweiler [2013-02-22 13:34:25] 927*2^1241484-1 is not prime. Res64: 0514F5E54C9E6D20 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:52:10] 667*2^1241485-1 is not prime. Res64: 93506698C174D450 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:52:10] 729*2^1241485-1 is not prime. Res64: 6AC9E4F3091DCBA9 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:52:11] 741*2^1241485-1 is not prime. Res64: 2BDDBBEF71958F14 Time : 0.0 sec. user=mdettweiler [2013-02-22 13:52:12] 801*2^1241485-1 is not prime. Res64: 7C2AD64F5D6C323D Time : 0.0 sec. user=juhehe [2013-02-22 13:54:11] 969*2^1241484-1 is not prime. Res64: 63D43BF8D8E6363C Time : 0.0 sec. user=mdettweiler [2013-02-22 14:10:13] 805*2^1241485-1 is not prime. Res64: 9ECA61CE0432D1B6 Time : 0.0 sec. user=mdettweiler [2013-02-22 14:10:14] 819*2^1241485-1 is not prime. Res64: F9FA22E769C263CF Time : 0.0 sec. user=mdettweiler [2013-02-22 14:10:14] 825*2^1241485-1 is not prime. Res64: BBD0489A8F85793F Time : 0.0 sec. user=mdettweiler [2013-02-22 14:10:14] 955*2^1241485-1 is not prime. Res64: 1B10005920B431AD Time : 0.0 sec. user=juhehe [2013-02-22 14:12:30] 705*2^1241484-1 is not prime. Res64: B6B3A2D2C397E350 Time : 0.0 sec. user=juhehe [2013-02-22 14:14:30] 957*2^1241485-1 is not prime. Res64: 60A28D98C1EF967F Time : 0.0 sec. user=mdettweiler [2013-02-22 14:28:14] 747*2^1241486-1 is not prime. Res64: ADC4CD6E6F1CA083 Time : 0.0 sec. user=mdettweiler [2013-02-22 14:28:14] 857*2^1241486-1 is not prime. Res64: F9D27F53BF3DDE00 Time : 0.0 sec. user=mdettweiler [2013-02-22 14:28:14] 843*2^1241486-1 is not prime. Res64: 6BABB7975547CF4B Time : 0.0 sec. user=mdettweiler [2013-02-22 14:28:14] 981*2^1241486-1 is not prime. Res64: 6C06B89B04649F69 Time : 0.0 sec. user=juhehe [2013-02-22 14:39:14] 993*2^1241486-1 is not prime. Res64: 448D91FCD44AD0F5 Time : 0.0 sec. user=mdettweiler [2013-02-22 14:45:46] 1001*2^1241486-1 is not prime. Res64: A1A974962C40EF87 Time : 0.0 sec. user=mdettweiler [2013-02-22 14:45:47] 705*2^1241487-1 is not prime. Res64: BEB5B44EC7916344 Time : 0.0 sec. user=mdettweiler [2013-02-22 14:45:47] 765*2^1241487-1 is not prime. Res64: B03AE2CC5D5395DB Time : 0.0 sec. user=mdettweiler [2013-02-22 14:45:48] 871*2^1241487-1 is not prime. Res64: 07255D4A865F77C2 Time : 0.0 sec. user=juhehe [2013-02-22 14:59:40] 963*2^1241487-1 is not prime. Res64: 3358F49159CDD64F Time : 0.0 sec. user=mdettweiler [2013-02-22 15:03:21] 645*2^1241488-1 is not prime. Res64: 8E31A6A8DE06BF20 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:03:22] 827*2^1241488-1 is not prime. Res64: C878AB04CC8AAFA8 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:03:22] 887*2^1241488-1 is not prime. Res64: 90EB7110732B9750 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:03:22] 995*2^1241488-1 is not prime. Res64: 9142E4EC1C41F0FA Time : 0.0 sec. user=juhehe [2013-02-22 15:03:43] 603*2^1241486-1 is not prime. Res64: 221931D8233209CE Time : 0.0 sec. user=mdettweiler [2013-02-22 15:20:53] 601*2^1241489-1 is not prime. Res64: 51CADF24F0F50548 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:20:53] 847*2^1241489-1 is not prime. Res64: C8C024B4D5DAF9FF Time : 0.0 sec. user=mdettweiler [2013-02-22 15:20:53] 801*2^1241489-1 is not prime. Res64: 47646244ADCA1625 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:20:54] 611*2^1241490-1 is not prime. Res64: 00E18D4CD162A883 Time : 0.0 sec. user=juhehe [2013-02-22 15:23:06] 999*2^1241488-1 is not prime. Res64: 3D70B88085D3D0D5 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:38:25] 755*2^1241490-1 is not prime. Res64: C796089AA939F05B Time : 0.0 sec. user=mdettweiler [2013-02-22 15:38:26] 791*2^1241490-1 is not prime. Res64: 9A0AD3A11D9140C7 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:38:27] 797*2^1241490-1 is not prime. Res64: 9544252D2C1DFAFA Time : 0.0 sec. user=mdettweiler [2013-02-22 15:38:28] 873*2^1241490-1 is not prime. Res64: BB61658DE12E0247 Time : 0.0 sec. user=juhehe [2013-02-22 15:43:37] 885*2^1241490-1 is not prime. Res64: E6AFD73D3925AEA6 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:48:58] 921*2^1241490-1 is not prime. Res64: 6AE1CD378C1C854E Time : 0.0 sec. user=mdettweiler [2013-02-22 15:55:57] 913*2^1241491-1 is not prime. Res64: D3FFDB9192E05EAD Time : 0.0 sec. user=mdettweiler [2013-02-22 15:55:57] 999*2^1241491-1 is not prime. Res64: ADFDCAEAF41276CC Time : 0.0 sec. user=mdettweiler [2013-02-22 15:55:58] 609*2^1241492-1 is not prime. Res64: D89488986D27F9D1 Time : 0.0 sec. user=mdettweiler [2013-02-22 15:55:58] 647*2^1241492-1 is not prime. Res64: F3707FFD51A5B2A3 Time : 0.0 sec. user=juhehe [2013-02-22 16:04:16] 797*2^1241492-1 is not prime. Res64: 26E72303CB430383 Time : 0.0 sec. user=juhehe [2013-02-22 16:13:06] 723*2^1241490-1 is not prime. Res64: A3B3DD8A7C345CCB Time : 0.0 sec. user=mdettweiler [2013-02-22 16:13:20] 873*2^1241492-1 is not prime. Res64: 284AA2F8BDC4D6E7 Time : 0.0 sec. user=mdettweiler [2013-02-22 16:13:20] 885*2^1241492-1 is not prime. Res64: 23E76547660BDC75 Time : 0.0 sec. user=mdettweiler [2013-02-22 16:13:20] 875*2^1241492-1 is not prime. Res64: 3ABEF561EA6202DA Time : 0.0 sec. user=mdettweiler [2013-02-22 16:13:21] 621*2^1241493-1 is not prime. Res64: A96FF91B78CFB865 Time : 0.0 sec. user=juhehe [2013-02-22 16:28:05] 889*2^1241493-1 is not prime. Res64: D5A88907E2C894AC Time : 0.0 sec. user=mdettweiler [2013-02-22 16:30:43] 945*2^1241493-1 is not prime. Res64: 6CD66FF40BD7A4B6 Time : 0.0 sec. user=mdettweiler [2013-02-22 16:30:44] 605*2^1241494-1 is not prime. Res64: BF0FD43E7F66CCD0 Time : 0.0 sec. user=mdettweiler [2013-02-22 16:30:44] 949*2^1241493-1 is not prime. Res64: AB23350EA11F8A6B Time : 0.0 sec. user=mdettweiler [2013-02-22 16:30:44] 621*2^1241494-1 is not prime. Res64: 3C74C7A737F39DD4 Time : 0.0 sec. user=mdettweiler [2013-02-22 16:48:06] 695*2^1241494-1 is not prime. Res64: FD2254EA704527FA Time : 0.0 sec. user=mdettweiler [2013-02-22 16:48:06] 741*2^1241494-1 is not prime. Res64: CB13E8B9524D8252 Time : 0.0 sec. user=mdettweiler [2013-02-22 16:48:07] 827*2^1241494-1 is not prime. Res64: 03DF065BA1C333AE Time : 0.0 sec. user=mdettweiler [2013-02-22 16:48:07] 833*2^1241494-1 is not prime. Res64: A73800ECF6E4F288 Time : 0.0 sec. user=juhehe [2013-02-22 16:54:01] 663*2^1241494-1 is not prime. Res64: 5AD78D2E3BD802A2 Time : 0.0 sec. user=juhehe [2013-02-22 17:04:34] 765*2^1241493-1 is not prime. Res64: 4811C39A56D23DD8 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:05:28] 887*2^1241494-1 is not prime. Res64: 33E442CFE6404DA7 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:05:29] 891*2^1241494-1 is not prime. Res64: BF33504B5F0D0D21 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:05:29] 619*2^1241495-1 is not prime. Res64: 392DBD9E19FA8D78 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:05:30] 771*2^1241495-1 is not prime. Res64: F63AA2FD4BAFD237 Time : 0.0 sec. user=juhehe [2013-02-22 17:18:03] 799*2^1241495-1 is not prime. Res64: 7D39D62FE954496B Time : 0.0 sec. user=mdettweiler [2013-02-22 17:22:52] 963*2^1241495-1 is not prime. Res64: A23ED096912BE935 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:22:53] 979*2^1241495-1 is not prime. Res64: 58317C524440F87C Time : 0.0 sec. user=mdettweiler [2013-02-22 17:22:53] 615*2^1241496-1 is not prime. Res64: 240915E77D8AE481 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:22:54] 627*2^1241496-1 is not prime. Res64: B756E5B02FD05ED9 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:40:14] 845*2^1241496-1 is not prime. Res64: 788B041670627BF5 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:40:15] 893*2^1241496-1 is not prime. Res64: 29F3776AC4656A1E Time : 0.0 sec. user=mdettweiler [2013-02-22 17:40:16] 899*2^1241496-1 is not prime. Res64: D172D2FEB4742AEB Time : 0.0 sec. user=mdettweiler [2013-02-22 17:40:16] 957*2^1241496-1 is not prime. Res64: 0E59353106540DE2 Time : 0.0 sec. user=juhehe [2013-02-22 17:40:25] 699*2^1241496-1 is not prime. Res64: 46B0730E25F9FD3E Time : 0.0 sec. user=mdettweiler [2013-02-22 17:57:37] 699*2^1241497-1 is not prime. Res64: 15CCAAB79C8E3701 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:57:37] 741*2^1241497-1 is not prime. Res64: F584362DE7832EB3 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:57:38] 771*2^1241497-1 is not prime. Res64: 76A0AD0DDC063013 Time : 0.0 sec. user=mdettweiler [2013-02-22 17:57:38] 915*2^1241497-1 is not prime. Res64: 8E88EA2F4A3E0970 Time : 0.0 sec. user=juhehe [2013-02-22 18:04:18] 975*2^1241497-1 is not prime. Res64: 69FD31FB8AAC81A8 Time : 0.0 sec. user=juhehe [2013-02-22 18:14:55] 675*2^1241496-1 is not prime. Res64: E944F2FEFEE3296D Time : 0.0 sec. user=mdettweiler [2013-02-22 18:15:04] 797*2^1241498-1 is not prime. Res64: 1A841DF580E7F89C Time : 0.0 sec. user=mdettweiler [2013-02-22 18:15:05] 857*2^1241498-1 is not prime. Res64: FCD8C07B9C6036DA Time : 0.0 sec. user=mdettweiler [2013-02-22 18:15:05] 885*2^1241498-1 is not prime. Res64: 5B1BFD5D3DA480A2 Time : 0.0 sec. user=mdettweiler [2013-02-22 18:15:06] 927*2^1241498-1 is not prime. Res64: 9D879AA415CF7470 Time : 0.0 sec. user=juhehe [2013-02-22 18:24:58] 723*2^1241499-1 is not prime. Res64: 8EA463B892699190 Time : 0.0 sec. user=mdettweiler [2013-02-22 18:32:31] 793*2^1241499-1 is not prime. Res64: DD438E3C8E58617A Time : 0.0 sec. user=mdettweiler [2013-02-22 18:32:31] 921*2^1241499-1 is not prime. Res64: A1E3C5E84B919DC0 Time : 0.0 sec. user=mdettweiler [2013-02-22 18:32:32] 969*2^1241499-1 is not prime. Res64: 4F8FBE5FCB0A4D8C Time : 0.0 sec. user=mdettweiler [2013-02-22 18:32:32] 973*2^1241499-1 is not prime. Res64: C47FC36BE034F757 Time : 0.0 sec. user=juhehe [2013-02-22 18:45:38] 653*2^1241500-1 is not prime. Res64: FCF32E11F0669C07 Time : 0.0 sec. user=mdettweiler [2013-02-22 18:49:56] 677*2^1241500-1 is not prime. Res64: 2673041D086FB22F Time : 0.0 sec. user=mdettweiler [2013-02-22 18:49:57] 783*2^1241500-1 is not prime. Res64: 7E690EE76C407EC7 Time : 0.0 sec. user=mdettweiler [2013-02-22 18:49:57] 723*2^1241500-1 is not prime. Res64: DDE390647B3CC47E Time : 0.0 sec. user=mdettweiler [2013-02-22 18:49:57] 803*2^1241500-1 is not prime. Res64: 58850BC8198EBED5 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:07:22] 715*2^1241501-1 is not prime. Res64: 08004FB019CB0B48 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:07:23] 727*2^1241501-1 is not prime. Res64: F3056875402FA65A Time : 0.0 sec. user=mdettweiler [2013-02-22 19:07:24] 741*2^1241501-1 is not prime. Res64: BE49A6E09266A0B6 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:07:25] 777*2^1241501-1 is not prime. Res64: F90C22D110353664 Time : 0.0 sec. user=juhehe [2013-02-22 19:11:25] 987*2^1241500-1 is not prime. Res64: 3F3F9428AAD9F173 Time : 0.0 sec. user=juhehe [2013-02-22 19:12:35] 977*2^1241498-1 is not prime. Res64: B49DE9CBE5F3AD3E Time : 0.0 sec. user=mdettweiler [2013-02-22 19:24:48] 811*2^1241501-1 is not prime. Res64: B35C5BEF88DADEF7 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:24:48] 837*2^1241501-1 is not prime. Res64: B8CC8B618D5F044A Time : 0.0 sec. user=mdettweiler [2013-02-22 19:24:50] 871*2^1241501-1 is not prime. Res64: 8401C458640378C6 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:24:51] 963*2^1241502-1 is not prime. Res64: 2C8FE9F0E3D23F69 Time : 0.0 sec. user=juhehe [2013-02-22 19:40:12] 965*2^1241502-1 is not prime. Res64: 18B586A8364BE5DF Time : 0.0 sec. user=mdettweiler [2013-02-22 19:42:13] 673*2^1241503-1 is not prime. Res64: 89701D781C55970F Time : 0.0 sec. user=mdettweiler [2013-02-22 19:42:13] 723*2^1241503-1 is not prime. Res64: 64EEC084644FE440 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:42:15] 765*2^1241503-1 is not prime. Res64: 052CB0F054D51D0F Time : 0.0 sec. user=mdettweiler [2013-02-22 19:42:16] 609*2^1241504-1 is not prime. Res64: 09C86F80A9D4A1AE Time : 0.0 sec. user=mdettweiler [2013-02-22 19:59:38] 687*2^1241504-1 is not prime. Res64: 9BE3AB96D8820040 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:59:38] 785*2^1241504-1 is not prime. Res64: E8F06467F9E8D084 Time : 0.0 sec. user=mdettweiler [2013-02-22 19:59:40] 819*2^1241504-1 is not prime. Res64: 6B1FECAD85BF927C Time : 0.0 sec. user=mdettweiler [2013-02-22 19:59:41] 833*2^1241504-1 is not prime. Res64: 07D40C8895AFB357 Time : 0.0 sec. user=juhehe [2013-02-22 20:10:17] 677*2^1241504-1 is not prime. Res64: 6C07BDFCC2CD1543 Time : 0.0 sec. user=vaughan [2013-02-22 20:10:40] 629*2^1241504-1 is not prime. Res64: A2F47941A42CB83B Time : 0.0 sec. user=juhehe [2013-02-22 20:16:42] 633*2^1241503-1 is not prime. Res64: A92407559E98462B Time : 0.0 sec. user=mdettweiler [2013-02-22 20:17:02] 909*2^1241504-1 is not prime. Res64: 19A36C1A54605543 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:17:03] 609*2^1241505-1 is not prime. Res64: ADCCAB630057CE3B Time : 0.0 sec. user=mdettweiler [2013-02-22 20:17:05] 639*2^1241505-1 is not prime. Res64: 511624FB9B900D44 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:17:06] 685*2^1241505-1 is not prime. Res64: 7E4B5152ABE7ECAF Time : 0.0 sec. user=juhehe [2013-02-22 20:32:35] 739*2^1241505-1 is not prime. Res64: 517FA34530D84E60 Time : 0.0 sec. user=juhehe [2013-02-22 20:33:09] 897*2^1241504-1 is not prime. Res64: 47B28B1719CF9435 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:34:28] 861*2^1241505-1 is not prime. Res64: 1393FBE57A457165 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:34:28] 871*2^1241505-1 is not prime. Res64: 616AF008B876586C Time : 0.0 sec. user=mdettweiler [2013-02-22 20:34:30] 885*2^1241505-1 is not prime. Res64: 96546D75325350D5 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:34:31] 997*2^1241505-1 is not prime. Res64: A4B08E1ACF4BB9CE Time : 0.0 sec. user=vaughan [2013-02-22 20:48:38] 777*2^1241505-1 is not prime. Res64: 4D53DC53510399D2 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:51:52] 645*2^1241506-1 is not prime. Res64: E89E9A237FB211FF Time : 0.0 sec. user=mdettweiler [2013-02-22 20:51:53] 653*2^1241506-1 is not prime. Res64: 7051969F4B9E5CD7 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:51:55] 821*2^1241506-1 is not prime. Res64: 1054FAB56C22C996 Time : 0.0 sec. user=mdettweiler [2013-02-22 20:51:55] 867*2^1241506-1 is not prime. Res64: ECC854A490C41770 Time : 0.0 sec. user=juhehe [2013-02-22 20:53:07] 623*2^1241506-1 is not prime. Res64: C2655778D10976B6 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:09:18] 993*2^1241506-1 is not prime. Res64: 64E2EF0C4999FA24 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:09:19] 715*2^1241507-1 is not prime. Res64: 72416C26261AD7E2 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:09:21] 843*2^1241507-1 is not prime. Res64: 05FD386049464518 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:09:22] 991*2^1241507-1 is not prime. Res64: 5E3EA595088DF336 Time : 0.0 sec. user=juhehe [2013-02-22 21:13:17] 849*2^1241505-1 is not prime. Res64: 8B1329225A4396BB Time : 0.0 sec. user=vaughan [2013-02-22 21:26:35] 945*2^1241506-1 is not prime. Res64: 314C21ADED343F17 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:26:44] 635*2^1241508-1 is not prime. Res64: BC283F14BF195676 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:26:44] 797*2^1241508-1 is not prime. Res64: 0250978AE0BD63B9 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:26:50] 923*2^1241508-1 is not prime. Res64: EF01457577B41BD2 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:26:50] 947*2^1241508-1 is not prime. Res64: 412C09F527080222 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:44:08] 729*2^1241509-1 is not prime. Res64: 2790D5C10B14988C Time : 0.0 sec. user=mdettweiler [2013-02-22 21:44:09] 747*2^1241509-1 is not prime. Res64: 1C1C05F9ED895D07 Time : 0.0 sec. user=mdettweiler [2013-02-22 21:44:15] 769*2^1241509-1 is not prime. Res64: E210EE3F5715C2CC Time : 0.0 sec. user=mdettweiler [2013-02-22 21:44:15] 817*2^1241509-1 is not prime. Res64: A33852DA84A00972 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:01:33] 931*2^1241509-1 is not prime. Res64: E9177BF1E2F7BC7B Time : 0.0 sec. user=mdettweiler [2013-02-22 22:01:34] 955*2^1241509-1 is not prime. Res64: 108A517B0BD20C62 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:01:41] 675*2^1241510-1 is not prime. Res64: EA3DEEEC6F2D1572 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:01:43] 741*2^1241510-1 is not prime. Res64: DADE5EF14E54BF42 Time : 0.0 sec. user=juhehe [2013-02-22 22:04:03] 987*2^1241508-1 is not prime. Res64: BA5030E2B4F28D7A Time : 0.0 sec. user=vaughan [2013-02-22 22:04:31] 649*2^1241509-1 is not prime. Res64: 776EB1FDEA124714 Time : 0.0 sec. user=juhehe [2013-02-22 22:17:15] 601*2^1241509-1 is not prime. Res64: 2DF1CBD7989681D2 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:19:05] 797*2^1241510-1 is not prime. Res64: DE7C09E92BD105EB Time : 0.0 sec. user=mdettweiler [2013-02-22 22:19:05] 861*2^1241510-1 is not prime. Res64: AD3BBD0161B898E2 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:19:08] 945*2^1241510-1 is not prime. Res64: 89E43913F7343EB6 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:19:09] 951*2^1241510-1 is not prime. Res64: 630731FB85834294 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:36:32] 643*2^1241511-1 is not prime. Res64: 8A84F3AECF1B2E70 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:36:32] 623*2^1241512-1 is not prime. Res64: 18CEDE877A704C8D Time : 0.0 sec. user=mdettweiler [2013-02-22 22:36:33] 645*2^1241512-1 is not prime. Res64: 9A20C502859182BA Time : 0.0 sec. user=mdettweiler [2013-02-22 22:36:33] 657*2^1241512-1 is not prime. Res64: 09009DE4EDA70876 Time : 0.0 sec. user=juhehe [2013-02-22 22:37:52] 601*2^1241511-1 is not prime. Res64: FDCEF268279567C7 Time : 0.0 sec. user=vaughan [2013-02-22 22:42:29] 613*2^1241511-1 is not prime. Res64: 02EAE4DF722BEE82 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:53:57] 819*2^1241512-1 is not prime. Res64: 39A5D6CCFDD7D0F2 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:53:57] 825*2^1241512-1 is not prime. Res64: 47C372573C0EC2F5 Time : 0.0 sec. user=mdettweiler [2013-02-22 22:53:58] 863*2^1241512-1 is not prime. Res64: DA1833DA8FEF6ECD Time : 0.0 sec. user=mdettweiler [2013-02-22 22:53:58] 915*2^1241512-1 is not prime. Res64: 92DB32B7771E41E0 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:11:26] 615*2^1241513-1 is not prime. Res64: AC060C591A9266AF Time : 0.0 sec. user=mdettweiler [2013-02-22 23:11:27] 685*2^1241513-1 is not prime. Res64: F670D61DB9D853D5 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:11:28] 637*2^1241513-1 is not prime. Res64: 4312127EFC107204 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:11:28] 691*2^1241513-1 is not prime. Res64: 1395B073E71BBA70 Time : 0.0 sec. user=juhehe [2013-02-22 23:23:15] 975*2^1241512-1 is not prime. Res64: 7F4B27F54C495FB9 Time : 0.0 sec. user=vaughan [2013-02-22 23:25:23] 983*2^1241512-1 is not prime. Res64: C4DBBD6F67A394F8 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:28:53] 683*2^1241514-1 is not prime. Res64: 653EC82419CA37D6 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:28:53] 705*2^1241514-1 is not prime. Res64: A30E125858CC1FDB Time : 0.0 sec. user=mdettweiler [2013-02-22 23:28:54] 635*2^1241514-1 is not prime. Res64: 2A7094C13F9A52C7 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:28:55] 707*2^1241514-1 is not prime. Res64: BC9F7FA894B9B4A0 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:46:19] 765*2^1241514-1 is not prime. Res64: 84C7134BFBEE0D36 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:46:19] 767*2^1241514-1 is not prime. Res64: 73D4FCF0EBAC47C6 Time : 0.0 sec. user=mdettweiler [2013-02-22 23:46:20] 791*2^1241514-1 is not prime. Res64: 381067F906ACFBBC Time : 0.0 sec. user=mdettweiler [2013-02-22 23:46:20] 851*2^1241514-1 is not prime. Res64: 25192DD19775F90C Time : 0.0 sec.