user=mdettweiler [2013-02-13 00:40:04] 671*2^1241034-1 is not prime. Res64: 45C8BEB81A09160C Time : 0.0 sec. user=mdettweiler [2013-02-13 00:40:05] 681*2^1241034-1 is not prime. Res64: 46C3CFD5EE20F3AC Time : 0.0 sec. user=mdettweiler [2013-02-13 00:40:13] 803*2^1241034-1 is not prime. Res64: 7DE9F4E6FCB13AC9 Time : 0.0 sec. user=mdettweiler [2013-02-13 00:40:13] 807*2^1241034-1 is not prime. Res64: 0E43A248159DF6B9 Time : 0.0 sec. user=mdettweiler [2013-02-13 00:57:36] 861*2^1241034-1 is not prime. Res64: FDF528BA09AC0302 Time : 0.0 sec. user=mdettweiler [2013-02-13 00:57:36] 921*2^1241034-1 is not prime. Res64: 4EA11777BDAB1BE3 Time : 0.0 sec. user=mdettweiler [2013-02-13 00:57:42] 975*2^1241034-1 is not prime. Res64: FFB2AF2A0AE2BB85 Time : 0.0 sec. user=mdettweiler [2013-02-13 00:57:43] 693*2^1241035-1 is not prime. Res64: 4B2217720B7AAB36 Time : 0.0 sec. user=vaughan [2013-02-13 01:06:11] 939*2^1241033-1 is not prime. Res64: 3C76023ADD24A321 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:15:05] 819*2^1241035-1 is not prime. Res64: 9DC4DDE5A897D77B Time : 0.0 sec. user=mdettweiler [2013-02-13 01:15:08] 999*2^1241035-1 is not prime. Res64: FFFC497D8575A121 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:15:15] 657*2^1241036-1 is not prime. Res64: 0569622C82E5D7B8 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:15:19] 677*2^1241036-1 is not prime. Res64: EE17646100E538F6 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:33:16] 969*2^1241036-1 is not prime. Res64: 891CFF6C817E167D Time : 0.0 sec. user=mdettweiler [2013-02-13 01:33:18] 751*2^1241037-1 is not prime. Res64: F6E5CE33862D9A4A Time : 0.0 sec. user=mdettweiler [2013-02-13 01:33:29] 803*2^1241036-1 is not prime. Res64: 484585BAEEF5F76D Time : 0.0 sec. user=mdettweiler [2013-02-13 01:33:30] 935*2^1241036-1 is not prime. Res64: 31B3FFD0587673F7 Time : 0.0 sec. user=vaughan [2013-02-13 01:44:15] 767*2^1241036-1 is not prime. Res64: 845F311B17996892 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:50:59] 861*2^1241037-1 is not prime. Res64: 8A7C7474F3D56D7D Time : 0.0 sec. user=mdettweiler [2013-02-13 01:51:01] 961*2^1241037-1 is not prime. Res64: 0DCCA189ECF3C153 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:51:02] 997*2^1241037-1 is not prime. Res64: 1304AFFD92F57354 Time : 0.0 sec. user=mdettweiler [2013-02-13 01:51:03] 645*2^1241038-1 is not prime. Res64: 37EEF18F959511E1 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:02:08] 735*2^1241035-1 is not prime. Res64: 2D1E0EF6C9C101D6 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:17:17] 737*2^1241038-1 is not prime. Res64: D396937A8F2F6986 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:17:17] 815*2^1241038-1 is not prime. Res64: EA1127D119744B5D Time : 0.0 sec. user=mdettweiler [2013-02-13 02:17:20] 863*2^1241038-1 is not prime. Res64: 9866E6C0B0F3E135 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:17:21] 777*2^1241038-1 is not prime. Res64: 0AE9949445A16247 Time : 0.0 sec. user=vaughan [2013-02-13 02:22:10] 707*2^1241038-1 is not prime. Res64: 2576DA466AD34104 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:34:57] 897*2^1241038-1 is not prime. Res64: 970DBB78B34508FD Time : 0.0 sec. user=mdettweiler [2013-02-13 02:34:59] 941*2^1241038-1 is not prime. Res64: 835EFB6B7C85CACE Time : 0.0 sec. user=mdettweiler [2013-02-13 02:34:59] 685*2^1241039-1 is not prime. Res64: CFCDE5D12E400101 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:35:00] 693*2^1241039-1 is not prime. Res64: B86A76D05682F01A Time : 0.0 sec. user=mdettweiler [2013-02-13 02:52:27] 723*2^1241040-1 is not prime. Res64: 7F18F18C7CF64C21 Time : 0.0 sec. user=mdettweiler [2013-02-13 02:52:27] 737*2^1241040-1 is not prime. Res64: F61AEA73C594C45F Time : 0.0 sec. user=mdettweiler [2013-02-13 02:52:28] 819*2^1241040-1 is not prime. Res64: AA8D4EB8CE6323FE Time : 0.0 sec. user=mdettweiler [2013-02-13 02:52:28] 839*2^1241040-1 is not prime. Res64: 4DF19486CF0519E8 Time : 0.0 sec. user=vaughan [2013-02-13 03:15:07] 855*2^1241039-1 is not prime. Res64: 2FDA40E0F7F1BA1F Time : 0.0 sec. user=mdettweiler [2013-02-13 03:21:06] 769*2^1241041-1 is not prime. Res64: 98C298D9BBBA21FD Time : 0.0 sec. user=mdettweiler [2013-02-13 03:21:07] 899*2^1241040-1 is not prime. Res64: D206F1C3B0E8305E Time : 0.0 sec. user=mdettweiler [2013-02-13 03:21:07] 861*2^1241041-1 is not prime. Res64: 1EC17105D962DC18 Time : 0.0 sec. user=mdettweiler [2013-02-13 03:21:07] 933*2^1241040-1 is not prime. Res64: BC1B8B9CA9EEAD34 Time : 0.0 sec. user=mdettweiler [2013-02-13 03:38:31] 955*2^1241041-1 is not prime. Res64: 12987B04B7FA454B Time : 0.0 sec. user=mdettweiler [2013-02-13 03:38:32] 999*2^1241041-1 is not prime. Res64: 729D6901A17D161A Time : 0.0 sec. user=mdettweiler [2013-02-13 03:38:32] 987*2^1241041-1 is not prime. Res64: 0656564A60DD2039 Time : 0.0 sec. user=mdettweiler [2013-02-13 03:38:32] 675*2^1241042-1 is not prime. Res64: CC917CA0043AE20C Time : 0.0 sec. user=vaughan [2013-02-13 03:53:07] 909*2^1241041-1 is not prime. Res64: AD3AAA5A19D41488 Time : 0.0 sec. user=vaughan [2013-02-13 05:08:38] 873*2^1241043-1 is not prime. Res64: 8A83923F6BEA614A Time : 0.0 sec. user=mdettweiler [2013-02-13 05:24:50] 795*2^1241043-1 is not prime. Res64: D7DDDF6BC978CDEF Time : 0.0 sec. user=mdettweiler [2013-02-13 05:24:51] 849*2^1241043-1 is not prime. Res64: 7D8B25E030865E43 Time : 0.0 sec. user=mdettweiler [2013-02-13 05:24:52] 885*2^1241042-1 is not prime. Res64: 9F8585646C44CCBE Time : 0.0 sec. user=mdettweiler [2013-02-13 05:24:53] 945*2^1241042-1 is not prime. Res64: 8DFB4C99EB88ED6F Time : 0.0 sec. user=vaughan [2013-02-13 05:46:46] 945*2^1241043-1 is not prime. Res64: A32AA782242F44B7 Time : 0.0 sec. user=mdettweiler [2013-02-13 05:52:35] 677*2^1241044-1 is not prime. Res64: FD63A59ACFA480FB Time : 0.0 sec. user=mdettweiler [2013-02-13 05:52:35] 723*2^1241044-1 is not prime. Res64: 592648EC441FB592 Time : 0.0 sec. user=mdettweiler [2013-02-13 05:52:39] 749*2^1241044-1 is not prime. Res64: F73A057D267CBB72 Time : 0.0 sec. user=mdettweiler [2013-02-13 05:52:39] 785*2^1241044-1 is not prime. Res64: D5D15654304EF869 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:10:01] 825*2^1241044-1 is not prime. Res64: 1A1E561F4EA3D61F Time : 0.0 sec. user=mdettweiler [2013-02-13 06:10:02] 863*2^1241044-1 is not prime. Res64: 3CDD07D314489F63 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:10:03] 873*2^1241044-1 is not prime. Res64: F2866FF4CD69F130 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:10:04] 927*2^1241044-1 is not prime. Res64: 6348516ADE5C2F8B Time : 0.0 sec. user=vaughan [2013-02-13 06:24:49] 819*2^1241044-1 is not prime. Res64: 337F3C0FE848CB77 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:27:28] 651*2^1241045-1 is not prime. Res64: EFD52754D3E37E92 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:27:29] 697*2^1241045-1 is not prime. Res64: 8872BD8C2A4ECF10 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:27:30] 729*2^1241045-1 is not prime. Res64: 2C9E21D3EAAB0A9B Time : 0.0 sec. user=mdettweiler [2013-02-13 06:27:30] 787*2^1241045-1 is not prime. Res64: 1CDF1B172B961E97 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:44:50] 957*2^1241045-1 is not prime. Res64: 97B216A99258DCC4 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:44:51] 677*2^1241046-1 is not prime. Res64: 554B4E152A910BB1 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:44:51] 693*2^1241046-1 is not prime. Res64: EFB24A3884D169A1 Time : 0.0 sec. user=mdettweiler [2013-02-13 06:44:52] 725*2^1241046-1 is not prime. Res64: 36E6FA9A2E447E5A Time : 0.0 sec. user=mdettweiler [2013-02-13 07:02:14] 737*2^1241046-1 is not prime. Res64: F4D1BDE0F56565AF Time : 0.0 sec. user=mdettweiler [2013-02-13 07:02:15] 801*2^1241046-1 is not prime. Res64: 8F86E5073D4A23BD Time : 0.0 sec. user=mdettweiler [2013-02-13 07:02:17] 821*2^1241046-1 is not prime. Res64: FD32402DDB6660DA Time : 0.0 sec. user=mdettweiler [2013-02-13 07:02:17] 843*2^1241046-1 is not prime. Res64: B3EF76D8AAC6B325 Time : 0.0 sec. user=vaughan [2013-02-13 07:02:44] 915*2^1241045-1 is not prime. Res64: 74A6CD136CC082A2 Time : 0.0 sec. user=mdettweiler [2013-02-13 07:19:40] 903*2^1241046-1 is not prime. Res64: 0A7A2149C243B9AF Time : 0.0 sec. user=mdettweiler [2013-02-13 07:19:41] 975*2^1241046-1 is not prime. Res64: 1A67504509C1D131 Time : 0.0 sec. user=mdettweiler [2013-02-13 07:19:42] 603*2^1241047-1 is not prime. Res64: 74C146633665EEB7 Time : 0.0 sec. user=mdettweiler [2013-02-13 07:19:43] 645*2^1241047-1 is not prime. Res64: 67C4202A1F6CE89F Time : 0.0 sec. user=mdettweiler [2013-02-13 07:37:02] 741*2^1241047-1 is not prime. Res64: 922E02324211F8B6 Time : 0.0 sec. user=mdettweiler [2013-02-13 07:37:03] 775*2^1241047-1 is not prime. Res64: E3D3C4D3A5BC300C Time : 0.0 sec. user=mdettweiler [2013-02-13 07:37:04] 975*2^1241047-1 is not prime. Res64: B1F8A66C4BC4F9F3 Time : 0.0 sec. user=mdettweiler [2013-02-13 07:37:05] 993*2^1241047-1 is not prime. Res64: B4F8FDC9CD739822 Time : 0.0 sec. user=vaughan [2013-02-13 07:40:41] 729*2^1241047-1 is not prime. Res64: 0A6C388E6DF2502E Time : 0.0 sec. user=mdettweiler [2013-02-13 07:54:24] 623*2^1241048-1 is not prime. Res64: 9D3C9D93FFBD9B33 Time : 0.0 sec. user=mdettweiler [2013-02-13 07:54:24] 659*2^1241048-1 is not prime. Res64: 3844D72EAD75EB2A Time : 0.0 sec. user=mdettweiler [2013-02-13 07:54:26] 767*2^1241048-1 is not prime. Res64: 6414E7698E12FA1D Time : 0.0 sec. user=mdettweiler [2013-02-13 07:54:26] 797*2^1241048-1 is not prime. Res64: D41C0975D6B809C3 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:11:47] 839*2^1241048-1 is not prime. Res64: EF3EF13E304403C2 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:11:47] 711*2^1241049-1 is not prime. Res64: E7531D4C52D183EA Time : 0.0 sec. user=mdettweiler [2013-02-13 08:11:47] 709*2^1241049-1 is not prime. Res64: 4340119A9EC71F6F Time : 0.0 sec. user=mdettweiler [2013-02-13 08:11:48] 751*2^1241049-1 is not prime. Res64: 9BF002E055861F3A Time : 0.0 sec. user=vaughan [2013-02-13 08:18:37] 813*2^1241048-1 is not prime. Res64: F01E1AB15D9E2037 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:29:10] 781*2^1241049-1 is not prime. Res64: EFFA99F4C94DF8B9 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:29:11] 951*2^1241049-1 is not prime. Res64: FD4E21F6400482F4 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:29:11] 955*2^1241049-1 is not prime. Res64: EC41F1E2B90123B6 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:29:12] 969*2^1241049-1 is not prime. Res64: A811F256760F02F1 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:46:32] 821*2^1241050-1 is not prime. Res64: A9F7CD531923D821 Time : 0.0 sec. user=mdettweiler [2013-02-13 08:46:32] 825*2^1241050-1 is not prime. Res64: 3FFA198B880F0A7D Time : 0.0 sec. user=mdettweiler [2013-02-13 08:46:33] 615*2^1241051-1 is not prime. Res64: 8AC5F10D6B5F657E Time : 0.0 sec. user=mdettweiler [2013-02-13 08:46:34] 651*2^1241051-1 is not prime. Res64: 0DF2F5D010BFF65C Time : 0.0 sec. user=vaughan [2013-02-13 08:56:30] 741*2^1241050-1 is not prime. Res64: EB0E046AB4CD9F8D Time : 0.0 sec. user=mdettweiler [2013-02-13 09:03:53] 711*2^1241051-1 is not prime. Res64: 2D493AF6F697AE11 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:03:54] 733*2^1241051-1 is not prime. Res64: 46BA1B67BE95D247 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:03:54] 781*2^1241051-1 is not prime. Res64: C3E2225B594BFEC8 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:03:55] 943*2^1241051-1 is not prime. Res64: 61AEF4B12A4A25CA Time : 0.0 sec. user=mdettweiler [2013-02-13 09:21:15] 981*2^1241051-1 is not prime. Res64: FD9088BA74CEE31D Time : 0.0 sec. user=mdettweiler [2013-02-13 09:21:15] 999*2^1241051-1 is not prime. Res64: 420FE4CC47C2A3DA Time : 0.0 sec. user=mdettweiler [2013-02-13 09:21:18] 635*2^1241052-1 is not prime. Res64: 5FE9511676E97185 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:21:18] 723*2^1241052-1 is not prime. Res64: 7220F174CEA00C39 Time : 0.0 sec. user=vaughan [2013-02-13 09:34:28] 949*2^1241051-1 is not prime. Res64: B31270F918489C87 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:38:37] 765*2^1241052-1 is not prime. Res64: B5FAD3C48346A9C3 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:38:38] 819*2^1241052-1 is not prime. Res64: 9B939D2B95E0B0C9 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:38:39] 825*2^1241052-1 is not prime. Res64: 83C1787189B831E0 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:38:40] 843*2^1241052-1 is not prime. Res64: E9CCF20956B0C845 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:55:59] 929*2^1241052-1 is not prime. Res64: 5A7DAAB60EB0DEF1 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:56:00] 977*2^1241052-1 is not prime. Res64: 59245509B5E7C481 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:56:04] 983*2^1241052-1 is not prime. Res64: 4A72B565C2B89A84 Time : 0.0 sec. user=mdettweiler [2013-02-13 09:56:04] 937*2^1241053-1 is not prime. Res64: BA8917FBB3164581 Time : 0.0 sec. user=mdettweiler [2013-02-13 10:13:21] 605*2^1241054-1 is not prime. Res64: 31EE46153BD06485 Time : 0.0 sec. user=mdettweiler [2013-02-13 10:13:22] 743*2^1241054-1 is not prime. Res64: 259E3F23C5B3711B Time : 0.0 sec. user=mdettweiler [2013-02-13 10:13:25] 753*2^1241054-1 is not prime. Res64: B4FC1E95B2E81077 Time : 0.0 sec. user=mdettweiler [2013-02-13 10:13:26] 613*2^1241055-1 is not prime. Res64: 8C446F02AF61A5FE Time : 0.0 sec. user=vaughan [2013-02-13 10:13:28] 909*2^1241052-1 is not prime. Res64: E8BD818C9A7E62F4 Time : 0.0 sec. user=mdettweiler [2013-02-13 11:17:20] 625*2^1241055-1 is not prime. Res64: 045BB21AF640BD2A Time : 0.0 sec. user=mdettweiler [2013-02-13 11:17:20] 649*2^1241055-1 is not prime. Res64: CF12523DCD03B0CC Time : 0.0 sec. user=mdettweiler [2013-02-13 11:17:25] 793*2^1241055-1 is not prime. Res64: E80E3EE1F8E8DEA1 Time : 0.0 sec. user=mdettweiler [2013-02-13 11:17:25] 961*2^1241055-1 is not prime. Res64: A377A912105CAE99 Time : 0.0 sec. user=mdettweiler [2013-02-13 11:35:17] 603*2^1241056-1 is not prime. Res64: 9DBA4D510D4ADA9F Time : 0.0 sec. user=mdettweiler [2013-02-13 11:35:18] 717*2^1241056-1 is not prime. Res64: ADD8D5188CA3A8D4 Time : 0.0 sec. user=mdettweiler [2013-02-13 11:35:21] 759*2^1241056-1 is not prime. Res64: 4B7FB9F87B564526 Time : 0.0 sec. user=mdettweiler [2013-02-13 11:35:21] 899*2^1241056-1 is not prime. Res64: 80F77252E3333DEA Time : 0.0 sec. user=mdettweiler [2013-02-13 13:27:55] 933*2^1241056-1 is not prime. Res64: 4046F1A379FF8A7A Time : 0.0 sec. user=mdettweiler [2013-02-13 13:27:55] 619*2^1241057-1 is not prime. Res64: EA08C1E2CB9C1F82 Time : 0.0 sec. user=mdettweiler [2013-02-13 13:28:02] 645*2^1241057-1 is not prime. Res64: 7C8B21BB0FC96C91 Time : 0.0 sec. user=mdettweiler [2013-02-13 13:28:02] 691*2^1241057-1 is not prime. Res64: 185141132B51930C Time : 0.0 sec. user=mdettweiler [2013-02-13 13:45:43] 715*2^1241057-1 is not prime. Res64: 4B2F0980E89DAF17 Time : 0.0 sec. user=mdettweiler [2013-02-13 13:45:44] 727*2^1241057-1 is not prime. Res64: B2B614D289D6B1BB Time : 0.0 sec. user=mdettweiler [2013-02-13 13:45:51] 837*2^1241057-1 is not prime. Res64: 88A166C5A83BFE79 Time : 0.0 sec. user=mdettweiler [2013-02-13 13:45:52] 621*2^1241058-1 is not prime. Res64: A7737D329D4FB5C3 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:03:29] 725*2^1241058-1 is not prime. Res64: 4BC0629663343936 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:03:31] 773*2^1241058-1 is not prime. Res64: 905BCD3FA7ACC93B Time : 0.0 sec. user=mdettweiler [2013-02-13 14:03:39] 803*2^1241058-1 is not prime. Res64: 83CB14FC4976E07F Time : 0.0 sec. user=mdettweiler [2013-02-13 14:03:39] 825*2^1241058-1 is not prime. Res64: B7CB2CFD9F55A467 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:21:07] 977*2^1241058-1 is not prime. Res64: 5A17406FFDDC5AFE Time : 0.0 sec. user=mdettweiler [2013-02-13 14:21:08] 615*2^1241059-1 is not prime. Res64: 36006D3C9D200D6C Time : 0.0 sec. user=mdettweiler [2013-02-13 14:21:14] 619*2^1241059-1 is not prime. Res64: 3F997B1DC2852406 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:21:14] 633*2^1241059-1 is not prime. Res64: DD04145874412320 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:38:44] 889*2^1241059-1 is not prime. Res64: CCBED31EC9DFD9D1 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:38:44] 647*2^1241060-1 is not prime. Res64: 20824144FB326445 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:38:51] 659*2^1241060-1 is not prime. Res64: E388EF98C751AC3D Time : 0.0 sec. user=mdettweiler [2013-02-13 14:38:51] 665*2^1241060-1 is not prime. Res64: 1727A3D6AA2EA7B5 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:56:15] 687*2^1241060-1 is not prime. Res64: 70E048C134F05191 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:56:16] 789*2^1241060-1 is not prime. Res64: 9217AB44BE4627A0 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:56:21] 855*2^1241060-1 is not prime. Res64: FFD0E38F5565DBC5 Time : 0.0 sec. user=mdettweiler [2013-02-13 14:56:22] 625*2^1241061-1 is not prime. Res64: 7438FB2B4071DC41 Time : 0.0 sec. user=mdettweiler [2013-02-13 15:13:54] 709*2^1241061-1 is not prime. Res64: 88956AD6AAF8AA7B Time : 0.0 sec. user=mdettweiler [2013-02-13 15:13:54] 727*2^1241061-1 is not prime. Res64: 19519E3C7B35B5F3 Time : 0.0 sec. user=mdettweiler [2013-02-13 15:14:00] 781*2^1241061-1 is not prime. Res64: C66422589ECF915D Time : 0.0 sec. user=mdettweiler [2013-02-13 15:14:00] 819*2^1241061-1 is not prime. Res64: 9AC22FB131B10AFD Time : 0.0 sec. user=mdettweiler [2013-02-13 15:31:43] 837*2^1241061-1 is not prime. Res64: 62D6DBD0454FA87D Time : 0.0 sec. user=mdettweiler [2013-02-13 15:31:43] 847*2^1241061-1 is not prime. Res64: 86775DBD48DE784A Time : 0.0 sec. user=mdettweiler [2013-02-13 15:31:48] 871*2^1241061-1 is not prime. Res64: 2757DD7C78BBF0CF Time : 0.0 sec. user=mdettweiler [2013-02-13 15:31:48] 877*2^1241061-1 is not prime. Res64: BF2DD36B288A68DB Time : 0.0 sec. user=mdettweiler [2013-02-13 15:49:31] 955*2^1241061-1 is not prime. Res64: CBAE74D6634A53A7 Time : 0.0 sec. user=mdettweiler [2013-02-13 15:49:31] 645*2^1241062-1 is not prime. Res64: 96AC464332F95800 Time : 0.0 sec. user=mdettweiler [2013-02-13 15:49:36] 737*2^1241062-1 is not prime. Res64: F290193CC6FA193E Time : 0.0 sec. user=mdettweiler [2013-02-13 15:49:36] 755*2^1241062-1 is not prime. Res64: D4F4CACD5C005EFE Time : 0.0 sec. user=mdettweiler [2013-02-13 17:51:59] 941*2^1241062-1 is not prime. Res64: 066BEA6704DADF59 Time : 0.0 sec. user=mdettweiler [2013-02-13 17:52:00] 1001*2^1241062-1 is not prime. Res64: 2C1CD0480523F949 Time : 0.0 sec. user=mdettweiler [2013-02-13 17:52:10] 801*2^1241062-1 is not prime. Res64: 71A97014043A4143 Time : 0.0 sec. user=mdettweiler [2013-02-13 17:52:10] 857*2^1241062-1 is not prime. Res64: D05DB341322D0D6C Time : 0.0 sec. user=mdettweiler [2013-02-13 18:09:46] 621*2^1241063-1 is not prime. Res64: 97C31FC1BC5E5C17 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:09:46] 745*2^1241063-1 is not prime. Res64: F89052868B081780 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:09:54] 775*2^1241063-1 is not prime. Res64: 4BEA1CAE191F5BA6 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:09:55] 913*2^1241063-1 is not prime. Res64: 54A809FB8092D2FF Time : 0.0 sec. user=mdettweiler [2013-02-13 18:27:17] 943*2^1241063-1 is not prime. Res64: FFF9610D2940E802 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:27:18] 615*2^1241064-1 is not prime. Res64: 3D35B8F15C4F5905 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:27:27] 639*2^1241064-1 is not prime. Res64: 3643B3142A8CDB40 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:27:28] 657*2^1241064-1 is not prime. Res64: 2243948CF07B5AF1 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:44:47] 665*2^1241064-1 is not prime. Res64: F02C62470103E53B Time : 0.0 sec. user=mdettweiler [2013-02-13 18:44:48] 689*2^1241064-1 is not prime. Res64: E1779AEFC3C3B401 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:44:56] 725*2^1241064-1 is not prime. Res64: C1794818FD90A9D8 Time : 0.0 sec. user=mdettweiler [2013-02-13 18:44:57] 945*2^1241064-1 is not prime. Res64: D16FA8A2B42AF594 Time : 0.0 sec. user=mdettweiler [2013-02-13 19:02:17] 717*2^1241065-1 is not prime. Res64: AA35FC139197250F Time : 0.0 sec. user=mdettweiler [2013-02-13 19:02:19] 799*2^1241065-1 is not prime. Res64: D91441E92C053A1B Time : 0.0 sec. user=mdettweiler [2013-02-13 19:02:25] 801*2^1241065-1 is not prime. Res64: AA19E65287EB7023 Time : 0.0 sec. user=mdettweiler [2013-02-13 19:02:26] 861*2^1241065-1 is not prime. Res64: 3A5803DEC7D38E33 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:07:04] 645*2^1241066-1 is not prime. Res64: BC9968456762F50F Time : 0.0 sec. user=mdettweiler [2013-02-13 20:07:04] 767*2^1241066-1 is not prime. Res64: 8FBB65FADCEE8891 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:07:05] 843*2^1241066-1 is not prime. Res64: 7766F7B2F13DD0CB Time : 0.0 sec. user=mdettweiler [2013-02-13 20:07:05] 701*2^1241066-1 is not prime. Res64: 3F447767D2E2F440 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:25:13] 987*2^1241066-1 is not prime. Res64: 7EE947DC622C638C Time : 0.0 sec. user=mdettweiler [2013-02-13 20:25:14] 709*2^1241067-1 is not prime. Res64: 3ACC1950B596A898 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:25:14] 873*2^1241066-1 is not prime. Res64: 8133F45FB28CB6B3 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:25:15] 893*2^1241066-1 is not prime. Res64: 7B605CA0F136052A Time : 0.0 sec. user=mdettweiler [2013-02-13 20:43:22] 711*2^1241067-1 is not prime. Res64: AB91D5E40C50490A Time : 0.0 sec. user=mdettweiler [2013-02-13 20:43:22] 775*2^1241067-1 is not prime. Res64: 26D6A1430B5C7095 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:43:26] 793*2^1241067-1 is not prime. Res64: 42C27F2AA053BB72 Time : 0.0 sec. user=mdettweiler [2013-02-13 20:43:26] 603*2^1241068-1 is not prime. Res64: CBD1187E4FC4A832 Time : 0.0 sec. user=mdettweiler [2013-02-13 21:01:31] 639*2^1241068-1 is not prime. Res64: 0229CD129A002500 Time : 0.0 sec. user=mdettweiler [2013-02-13 21:01:32] 773*2^1241068-1 is not prime. Res64: 4AEB73E303074E93 Time : 0.0 sec. user=mdettweiler [2013-02-13 21:01:36] 797*2^1241068-1 is not prime. Res64: 30CD4DFA90A0FF0C Time : 0.0 sec. user=mdettweiler [2013-02-13 21:01:37] 691*2^1241069-1 is not prime. Res64: 5E376DC429B5DD71 Time : 0.0 sec. user=mdettweiler [2013-02-13 21:19:48] 735*2^1241069-1 is not prime. Res64: 97D0FF2A1EC4BFDB Time : 0.0 sec. user=mdettweiler [2013-02-13 21:19:48] 775*2^1241069-1 is not prime. Res64: 9761DF9380370739 Time : 0.0 sec. user=mdettweiler [2013-02-13 21:19:49] 879*2^1241069-1 is not prime. Res64: 4680D92D2B1D0819 Time : 0.0 sec. user=mdettweiler [2013-02-13 21:19:49] 927*2^1241069-1 is not prime. Res64: C048E1CACF7F8E6C Time : 0.0 sec. user=juhehe [2013-02-13 21:31:17] 615*2^1241068-1 is not prime. Res64: D6EFD4A9DD184A4C Time : 0.0 sec. user=mdettweiler [2013-02-13 22:25:09] 969*2^1241069-1 is not prime. Res64: 8B5BA845FD74A557 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:25:10] 611*2^1241070-1 is not prime. Res64: 58C37F6F194C71E5 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:25:14] 707*2^1241070-1 is not prime. Res64: F2FAA6481EAC41F8 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:25:14] 723*2^1241070-1 is not prime. Res64: 664DAE1EA9DF6728 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:42:34] 741*2^1241070-1 is not prime. Res64: 3DBED150D437C9ED Time : 0.0 sec. user=mdettweiler [2013-02-13 22:42:34] 761*2^1241070-1 is not prime. Res64: A800607B545E0941 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:42:37] 797*2^1241070-1 is not prime. Res64: 30B6A763EBCE738A Time : 0.0 sec. user=mdettweiler [2013-02-13 22:42:38] 873*2^1241070-1 is not prime. Res64: 0FF7CA38DE5DA6E9 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:59:56] 945*2^1241070-1 is not prime. Res64: 0C88DC94E4C1F0F2 Time : 0.0 sec. user=mdettweiler [2013-02-13 22:59:57] 601*2^1241071-1 is not prime. Res64: CCCC99EBA073BB2A Time : 0.0 sec. user=mdettweiler [2013-02-13 22:59:59] 621*2^1241071-1 is not prime. Res64: 1CC95D9B94F61E20 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:00:00] 663*2^1241071-1 is not prime. Res64: BE836EBF57FFD320 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:17:18] 673*2^1241071-1 is not prime. Res64: B057FE18AF1D5DC5 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:17:19] 829*2^1241071-1 is not prime. Res64: 8F6EB4E7808A15A1 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:17:23] 861*2^1241071-1 is not prime. Res64: 8486BBD84D33EFF3 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:17:23] 975*2^1241071-1 is not prime. Res64: 13B782FBB53ABB5C Time : 0.0 sec. user=juhehe [2013-02-13 23:25:05] 917*2^1241070-1 is not prime. Res64: 12D60DAD70A0D7C2 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:34:45] 657*2^1241072-1 is not prime. Res64: 1DFE17C2E5E7839A Time : 0.0 sec. user=mdettweiler [2013-02-13 23:34:46] 735*2^1241072-1 is not prime. Res64: EEA06A1A03FE1AA4 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:34:47] 759*2^1241072-1 is not prime. Res64: 2402B971FF591991 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:34:48] 899*2^1241072-1 is not prime. Res64: B254E406E210BFB0 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:52:26] 923*2^1241072-1 is not prime. Res64: 2B904D19772AEC1E Time : 0.0 sec. user=mdettweiler [2013-02-13 23:52:26] 945*2^1241072-1 is not prime. Res64: 940B1C54B6426588 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:52:28] 609*2^1241073-1 is not prime. Res64: A3E4E92D77C54477 Time : 0.0 sec. user=mdettweiler [2013-02-13 23:52:28] 637*2^1241073-1 is not prime. Res64: 57C05F6C83BCFDA2 Time : 0.0 sec.