user=mdettweiler [2013-02-10 00:10:05] 717*2^1240890-1 is not prime. Res64: A459C4938D859162 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:10:06] 723*2^1240890-1 is not prime. Res64: 30A60599E2B10738 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:10:11] 843*2^1240890-1 is not prime. Res64: D1F4A6F7A09F9FF6 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:10:12] 951*2^1240890-1 is not prime. Res64: 10C3065E22244ACB Time : 0.0 sec. user=vaughan [2013-02-10 00:22:20] 681*2^1240890-1 is not prime. Res64: 0579F79F9402BADC Time : 0.0 sec. user=mdettweiler [2013-02-10 00:27:33] 603*2^1240891-1 is not prime. Res64: 4C807BA1B912C933 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:27:33] 861*2^1240891-1 is not prime. Res64: 571F7CC3E85875C2 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:27:35] 961*2^1240891-1 is not prime. Res64: 033DC830F2CF3122 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:27:36] 615*2^1240892-1 is not prime. Res64: 78D021EB50E301A5 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:44:54] 669*2^1240892-1 is not prime. Res64: 7A465A92D54449BA Time : 0.0 sec. user=mdettweiler [2013-02-10 00:44:55] 683*2^1240892-1 is not prime. Res64: B3AB24F707E4CD47 Time : 0.0 sec. user=mdettweiler [2013-02-10 00:44:57] 693*2^1240892-1 is not prime. Res64: 584E09319A9D376A Time : 0.0 sec. user=mdettweiler [2013-02-10 00:44:57] 735*2^1240892-1 is not prime. Res64: 5AF0DEC5CC24321C Time : 0.0 sec. user=vaughan [2013-02-10 01:00:05] 617*2^1240892-1 is not prime. Res64: DAEEE856AB5ED5D5 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:02:16] 797*2^1240892-1 is not prime. Res64: D8A72258BD471A12 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:02:17] 825*2^1240892-1 is not prime. Res64: DBB250D965486786 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:02:19] 867*2^1240892-1 is not prime. Res64: 266EC497952D6DD9 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:02:22] 691*2^1240893-1 is not prime. Res64: D09589D97D519C75 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:19:44] 847*2^1240893-1 is not prime. Res64: D3D14A5F501D3265 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:19:47] 605*2^1240894-1 is not prime. Res64: 99EBB803B742B83D Time : 0.0 sec. user=mdettweiler [2013-02-10 01:19:48] 937*2^1240893-1 is not prime. Res64: 9774B73054A62644 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:19:48] 671*2^1240894-1 is not prime. Res64: D5EAF1B2CBB7BACC Time : 0.0 sec. user=mdettweiler [2013-02-10 01:37:19] 885*2^1240894-1 is not prime. Res64: A892F5B0DDD717C6 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:37:19] 941*2^1240894-1 is not prime. Res64: C3D9AEB5281DCAA0 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:37:21] 693*2^1240895-1 is not prime. Res64: 49BCDCE8E0F8EDD6 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:37:21] 753*2^1240895-1 is not prime. Res64: 8B8402F19DEF69F5 Time : 0.0 sec. user=vaughan [2013-02-10 01:37:51] 735*2^1240893-1 is not prime. Res64: 641B7A3FD0CD5F29 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:54:41] 789*2^1240895-1 is not prime. Res64: A16EAA2B86EEF5EA Time : 0.0 sec. user=mdettweiler [2013-02-10 01:54:42] 921*2^1240895-1 is not prime. Res64: 7DA9B7EDDF8316B8 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:54:42] 973*2^1240895-1 is not prime. Res64: 6FC024CB3AE61031 Time : 0.0 sec. user=mdettweiler [2013-02-10 01:54:42] 979*2^1240895-1 is not prime. Res64: F4CB3861483D9352 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:12:04] 705*2^1240896-1 is not prime. Res64: 566D5682025053EF Time : 0.0 sec. user=mdettweiler [2013-02-10 02:12:04] 825*2^1240896-1 is not prime. Res64: 971F09401D6E0E03 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:12:05] 707*2^1240896-1 is not prime. Res64: E7367DEA351195DE Time : 0.0 sec. user=mdettweiler [2013-02-10 02:12:05] 879*2^1240896-1 is not prime. Res64: 6B22AF80D1375F0A Time : 0.0 sec. user=vaughan [2013-02-10 02:15:37] 683*2^1240896-1 is not prime. Res64: 182F64AA45665FE7 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:29:30] 947*2^1240896-1 is not prime. Res64: 2AA3B445AFEA8BF7 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:29:30] 999*2^1240896-1 is not prime. Res64: 11E22602941AF638 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:29:30] 993*2^1240896-1 is not prime. Res64: 25AA4453183D364A Time : 0.0 sec. user=mdettweiler [2013-02-10 02:29:31] 619*2^1240897-1 is not prime. Res64: CE9AFF1F8BE66319 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:46:52] 937*2^1240897-1 is not prime. Res64: 5E8C7BECFE3067EF Time : 0.0 sec. user=mdettweiler [2013-02-10 02:46:54] 665*2^1240898-1 is not prime. Res64: 89D7B4FAE988537E Time : 0.0 sec. user=mdettweiler [2013-02-10 02:46:55] 985*2^1240897-1 is not prime. Res64: 1E5F43C7A28C04D3 Time : 0.0 sec. user=mdettweiler [2013-02-10 02:46:58] 753*2^1240898-1 is not prime. Res64: 1EF432702F20A654 Time : 0.0 sec. user=vaughan [2013-02-10 02:53:21] 807*2^1240897-1 is not prime. Res64: 80AA6B56E4BB5651 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:04:40] 755*2^1240898-1 is not prime. Res64: 2D772AAA86E79B22 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:04:41] 791*2^1240898-1 is not prime. Res64: 010EF837C73403C4 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:04:44] 857*2^1240898-1 is not prime. Res64: CFBDB3B680616D1B Time : 0.0 sec. user=mdettweiler [2013-02-10 03:04:44] 875*2^1240898-1 is not prime. Res64: 275A1EC24EB8D560 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:22:08] 915*2^1240898-1 is not prime. Res64: F8C04B1956CEB426 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:22:09] 987*2^1240898-1 is not prime. Res64: 0F2414A58675AC1D Time : 0.0 sec. user=mdettweiler [2013-02-10 03:22:12] 609*2^1240899-1 is not prime. Res64: C8E02557236FB52D Time : 0.0 sec. user=mdettweiler [2013-02-10 03:22:12] 663*2^1240899-1 is not prime. Res64: 040D8C0412262448 Time : 0.0 sec. user=vaughan [2013-02-10 03:31:09] 911*2^1240898-1 is not prime. Res64: AA14CB8D86FCAA10 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:39:31] 679*2^1240899-1 is not prime. Res64: 0FA90715BE6BFBE8 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:39:32] 723*2^1240899-1 is not prime. Res64: 8E17E050C1DF6679 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:39:34] 745*2^1240899-1 is not prime. Res64: F875E353DD6DABFA Time : 0.0 sec. user=mdettweiler [2013-02-10 03:39:35] 801*2^1240899-1 is not prime. Res64: CFF52D9E10AB4DD1 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:58:11] 635*2^1240900-1 is not prime. Res64: A7000EE9113BB83D Time : 0.0 sec. user=mdettweiler [2013-02-10 03:58:12] 687*2^1240900-1 is not prime. Res64: 4FB15826D158E034 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:58:13] 693*2^1240900-1 is not prime. Res64: 35029F3C96E87250 Time : 0.0 sec. user=mdettweiler [2013-02-10 03:58:13] 803*2^1240900-1 is not prime. Res64: EF7453197CFB5469 Time : 0.0 sec. user=vaughan [2013-02-10 04:09:01] 979*2^1240899-1 is not prime. Res64: 7B58A635C2B3141E Time : 0.0 sec. user=mdettweiler [2013-02-10 04:15:34] 839*2^1240900-1 is not prime. Res64: 395CD7EE0E9A568F Time : 0.0 sec. user=mdettweiler [2013-02-10 04:15:35] 927*2^1240900-1 is not prime. Res64: A7AB7B7B99571035 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:15:35] 649*2^1240901-1 is not prime. Res64: 4874D6EF8F5F1DED Time : 0.0 sec. user=mdettweiler [2013-02-10 04:15:36] 715*2^1240901-1 is not prime. Res64: 6525DE857BCD4767 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:32:58] 681*2^1240902-1 is not prime. Res64: 86624B7EBCE7BB1F Time : 0.0 sec. user=mdettweiler [2013-02-10 04:33:00] 833*2^1240902-1 is not prime. Res64: 3AEE8C49976D6375 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:33:01] 705*2^1240902-1 is not prime. Res64: 0F10BD045A9C2726 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:33:02] 843*2^1240902-1 is not prime. Res64: EA1498E79B6DC6F2 Time : 0.0 sec. user=vaughan [2013-02-10 04:46:56] 801*2^1240901-1 is not prime. Res64: EA1EDA309A399F1E Time : 0.0 sec. user=mdettweiler [2013-02-10 04:50:31] 873*2^1240902-1 is not prime. Res64: 2F76E17F14FDF167 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:50:32] 885*2^1240902-1 is not prime. Res64: 8208B57E0D7D8EA3 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:50:32] 915*2^1240902-1 is not prime. Res64: 3E408F9BAA9EC8C2 Time : 0.0 sec. user=mdettweiler [2013-02-10 04:50:33] 681*2^1240903-1 is not prime. Res64: AFA38F44BB8CC07E Time : 0.0 sec. user=mdettweiler [2013-02-10 05:07:52] 765*2^1240903-1 is not prime. Res64: AF13E8BD7577AA6A Time : 0.0 sec. user=mdettweiler [2013-02-10 05:07:54] 771*2^1240903-1 is not prime. Res64: 5E87EDC16D29A4AF Time : 0.0 sec. user=mdettweiler [2013-02-10 05:07:54] 853*2^1240903-1 is not prime. Res64: 9933EF300D7C5597 Time : 0.0 sec. user=mdettweiler [2013-02-10 05:07:55] 859*2^1240903-1 is not prime. Res64: 89998D8239829FAA Time : 0.0 sec. user=vaughan [2013-02-10 05:24:42] 763*2^1240903-1 is not prime. Res64: 1B98CF254007F64A Time : 0.0 sec. user=mdettweiler [2013-02-10 05:25:20] 915*2^1240903-1 is not prime. Res64: D6973DE25255D0ED Time : 0.0 sec. user=mdettweiler [2013-02-10 05:25:20] 951*2^1240903-1 is not prime. Res64: 382A239FEFCAF4DE Time : 0.0 sec. user=mdettweiler [2013-02-10 05:25:20] 871*2^1240903-1 is not prime. Res64: 45B80560B1395C48 Time : 0.0 sec. user=mdettweiler [2013-02-10 05:25:21] 999*2^1240903-1 is not prime. Res64: DE1A28E6F451911B Time : 0.0 sec. user=mdettweiler [2013-02-10 05:42:41] 677*2^1240904-1 is not prime. Res64: B3E4CEC509FF2F23 Time : 0.0 sec. user=mdettweiler [2013-02-10 05:42:42] 789*2^1240904-1 is not prime. Res64: 31195972007BFF67 Time : 0.0 sec. user=mdettweiler [2013-02-10 05:42:42] 875*2^1240904-1 is not prime. Res64: F813518D42D1AF23 Time : 0.0 sec. user=mdettweiler [2013-02-10 05:42:43] 871*2^1240905-1 is not prime. Res64: F62CFB5128D9F84D Time : 0.0 sec. user=mdettweiler [2013-02-10 06:00:04] 889*2^1240905-1 is not prime. Res64: 74B893762D668C4F Time : 0.0 sec. user=mdettweiler [2013-02-10 06:00:06] 951*2^1240905-1 is not prime. Res64: 27C2B217D19F33CC Time : 0.0 sec. user=mdettweiler [2013-02-10 06:00:07] 611*2^1240906-1 is not prime. Res64: 627F4898100E3374 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:00:08] 617*2^1240906-1 is not prime. Res64: 174B45475F5FC54D Time : 0.0 sec. user=vaughan [2013-02-10 06:02:27] 609*2^1240904-1 is not prime. Res64: 37EC973DDD6B6DA5 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:17:31] 741*2^1240906-1 is not prime. Res64: 8BD6F43ED348D5C8 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:17:32] 755*2^1240906-1 is not prime. Res64: 7ED4DCAF31591732 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:17:32] 635*2^1240906-1 is not prime. Res64: 47903CA5D0074B76 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:17:32] 713*2^1240906-1 is not prime. Res64: F2A187E0B17A0082 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:34:54] 933*2^1240906-1 is not prime. Res64: 2D28FA8A41DEAC7D Time : 0.0 sec. user=mdettweiler [2013-02-10 06:34:55] 987*2^1240906-1 is not prime. Res64: 47820923BA8A8D5F Time : 0.0 sec. user=mdettweiler [2013-02-10 06:34:56] 601*2^1240907-1 is not prime. Res64: 2D4ECA6ADC468E4A Time : 0.0 sec. user=mdettweiler [2013-02-10 06:34:57] 619*2^1240907-1 is not prime. Res64: 5A4D104EE8C07590 Time : 0.0 sec. user=vaughan [2013-02-10 06:40:15] 857*2^1240906-1 is not prime. Res64: 93865CA80F69340D Time : 0.0 sec. user=mdettweiler [2013-02-10 06:52:16] 645*2^1240907-1 is not prime. Res64: 86798F5B8648BC47 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:52:17] 693*2^1240907-1 is not prime. Res64: F68EE287B62A1F52 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:52:18] 871*2^1240907-1 is not prime. Res64: 8900A8F7348D6EE3 Time : 0.0 sec. user=mdettweiler [2013-02-10 06:52:18] 979*2^1240907-1 is not prime. Res64: 953FF43DE1DF6628 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:09:40] 825*2^1240908-1 is not prime. Res64: 9476BEBE5EC4D4C2 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:09:41] 909*2^1240908-1 is not prime. Res64: D1D7FE8D6E76F2EA Time : 0.0 sec. user=mdettweiler [2013-02-10 07:09:41] 843*2^1240908-1 is not prime. Res64: 32FCE5A2241F08C3 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:09:42] 927*2^1240908-1 is not prime. Res64: A3351637EF0DF4AE Time : 0.0 sec. user=vaughan [2013-02-10 07:18:01] 669*2^1240908-1 is not prime. Res64: 4BC7D179F8475BCB Time : 0.0 sec. user=mdettweiler [2013-02-10 07:27:09] 771*2^1240909-1 is not prime. Res64: 36D60C6168E92AF8 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:27:09] 825*2^1240909-1 is not prime. Res64: C80F1373EE5367F8 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:27:12] 861*2^1240909-1 is not prime. Res64: 75310196D66C3BA4 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:27:13] 885*2^1240909-1 is not prime. Res64: 1AF0F9084E94DAE4 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:44:31] 677*2^1240910-1 is not prime. Res64: 764494095110A097 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:44:31] 731*2^1240910-1 is not prime. Res64: AA9B92BF1CF5AE43 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:44:35] 741*2^1240910-1 is not prime. Res64: 9047C56F11DBDF50 Time : 0.0 sec. user=mdettweiler [2013-02-10 07:44:35] 791*2^1240910-1 is not prime. Res64: 8642A6CD29A1736E Time : 0.0 sec. user=vaughan [2013-02-10 07:55:48] 641*2^1240910-1 is not prime. Res64: 0E2B6273ED8D533C Time : 0.0 sec. user=mdettweiler [2013-02-10 08:01:53] 825*2^1240910-1 is not prime. Res64: C9197699F92F7871 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:01:55] 831*2^1240910-1 is not prime. Res64: 215727DD7C7F1D6E Time : 0.0 sec. user=mdettweiler [2013-02-10 08:01:57] 887*2^1240910-1 is not prime. Res64: DB073F4D09E7C640 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:01:58] 923*2^1240910-1 is not prime. Res64: AAB4A63622E052A3 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:19:36] 1001*2^1240910-1 is not prime. Res64: 482B00D575351DC2 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:19:37] 613*2^1240911-1 is not prime. Res64: 268116892C464091 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:19:39] 661*2^1240911-1 is not prime. Res64: B8B76722935D8D2E Time : 0.0 sec. user=mdettweiler [2013-02-10 08:19:40] 823*2^1240911-1 is not prime. Res64: 7288A1D033605203 Time : 0.0 sec. user=vaughan [2013-02-10 08:33:28] 927*2^1240910-1 is not prime. Res64: 25B3D35BE1C66267 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:36:59] 879*2^1240911-1 is not prime. Res64: EC518FA0E6CCF4C8 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:37:00] 609*2^1240912-1 is not prime. Res64: 3AC127969297EADC Time : 0.0 sec. user=mdettweiler [2013-02-10 08:37:01] 735*2^1240912-1 is not prime. Res64: 9964B9E16D254C2E Time : 0.0 sec. user=mdettweiler [2013-02-10 08:37:02] 827*2^1240912-1 is not prime. Res64: 56196955BDE362DF Time : 0.0 sec. user=mdettweiler [2013-02-10 08:54:21] 923*2^1240912-1 is not prime. Res64: 6B50F910F843B71A Time : 0.0 sec. user=mdettweiler [2013-02-10 08:54:22] 607*2^1240913-1 is not prime. Res64: 256E386B91718B09 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:54:24] 691*2^1240913-1 is not prime. Res64: F9DFE4246565A594 Time : 0.0 sec. user=mdettweiler [2013-02-10 08:54:25] 721*2^1240913-1 is not prime. Res64: 40F1CB2DC519EAB4 Time : 0.0 sec. user=vaughan [2013-02-10 09:11:13] 869*2^1240912-1 is not prime. Res64: 656D0FEED0C3D25C Time : 0.0 sec. user=mdettweiler [2013-02-10 09:11:44] 801*2^1240913-1 is not prime. Res64: A76E846420BF9E1B Time : 0.0 sec. user=mdettweiler [2013-02-10 09:11:46] 871*2^1240913-1 is not prime. Res64: EE3172C954C740F4 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:11:50] 885*2^1240913-1 is not prime. Res64: 801FE19003E0F696 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:11:54] 671*2^1240914-1 is not prime. Res64: 7B9C13B318A4B9D2 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:29:17] 705*2^1240914-1 is not prime. Res64: 87CC9F058F9063FF Time : 0.0 sec. user=mdettweiler [2013-02-10 09:29:17] 755*2^1240914-1 is not prime. Res64: 986360CB0BE4D8B5 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:29:21] 765*2^1240914-1 is not prime. Res64: 1F8AFAB0C9ED14C6 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:29:22] 821*2^1240914-1 is not prime. Res64: 322862884316D196 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:46:39] 945*2^1240914-1 is not prime. Res64: 409D3E7D75AE1947 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:46:39] 951*2^1240914-1 is not prime. Res64: E061878596FF1460 Time : 0.0 sec. user=mdettweiler [2013-02-10 09:46:43] 603*2^1240915-1 is not prime. Res64: 8C0D2D8C28DEC39E Time : 0.0 sec. user=mdettweiler [2013-02-10 09:46:43] 609*2^1240915-1 is not prime. Res64: 1798444F24FB3FB1 Time : 0.0 sec. user=vaughan [2013-02-10 09:49:00] 677*2^1240914-1 is not prime. Res64: 33EF7FAF6253BB8E Time : 0.0 sec. user=mdettweiler [2013-02-10 10:04:00] 625*2^1240915-1 is not prime. Res64: EA7236C5908C9CFD Time : 0.0 sec. user=mdettweiler [2013-02-10 10:04:03] 691*2^1240915-1 is not prime. Res64: C2C4B93D8B395075 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:04:06] 765*2^1240915-1 is not prime. Res64: 85721BF711F444F0 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:04:07] 853*2^1240915-1 is not prime. Res64: 2B5A7995780D527C Time : 0.0 sec. user=mdettweiler [2013-02-10 10:21:39] 871*2^1240915-1 is not prime. Res64: 93F5C673B581331E Time : 0.0 sec. user=mdettweiler [2013-02-10 10:21:40] 913*2^1240915-1 is not prime. Res64: 5BB5A4479DD2FEBC Time : 0.0 sec. user=mdettweiler [2013-02-10 10:21:43] 951*2^1240915-1 is not prime. Res64: FE0ABAB59A3D74EB Time : 0.0 sec. user=mdettweiler [2013-02-10 10:21:44] 617*2^1240916-1 is not prime. Res64: 6BAAEC078434FF9A Time : 0.0 sec. user=vaughan [2013-02-10 10:26:45] 861*2^1240915-1 is not prime. Res64: 25ADE131DEFC4581 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:39:02] 693*2^1240916-1 is not prime. Res64: 58A658647FAFFAC4 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:39:02] 875*2^1240916-1 is not prime. Res64: 01A97ECEF58EB652 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:39:04] 879*2^1240916-1 is not prime. Res64: 79CC01BEA4EFFEA8 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:39:05] 935*2^1240916-1 is not prime. Res64: EB18EC75C80A9347 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:56:23] 649*2^1240917-1 is not prime. Res64: 05C04388AD1076BB Time : 0.0 sec. user=mdettweiler [2013-02-10 10:56:24] 747*2^1240917-1 is not prime. Res64: EE4D659EC9066591 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:56:26] 765*2^1240917-1 is not prime. Res64: 567F8463C49249C8 Time : 0.0 sec. user=mdettweiler [2013-02-10 10:56:26] 651*2^1240918-1 is not prime. Res64: 0B907A91AE58C3A9 Time : 0.0 sec. user=vaughan [2013-02-10 11:04:31] 627*2^1240917-1 is not prime. Res64: 846EEE079AB2F750 Time : 0.0 sec. user=mdettweiler [2013-02-10 11:36:35] 663*2^1240918-1 is not prime. Res64: 64EDB041167F16C7 Time : 0.0 sec. user=mdettweiler [2013-02-10 11:36:35] 671*2^1240918-1 is not prime. Res64: 43286B6DEFB19DC5 Time : 0.0 sec. user=mdettweiler [2013-02-10 11:36:36] 681*2^1240918-1 is not prime. Res64: 34CAD6AAC42D893C Time : 0.0 sec. user=mdettweiler [2013-02-10 11:36:37] 713*2^1240918-1 is not prime. Res64: 0501E9D2F52ECF9B Time : 0.0 sec. user=vaughan [2013-02-10 11:42:24] 743*2^1240918-1 is not prime. Res64: 2A7F6DF5C8417DD1 Time : 0.0 sec. user=mdettweiler [2013-02-10 11:53:59] 761*2^1240918-1 is not prime. Res64: 6945A81F18C2BCED Time : 0.0 sec. user=mdettweiler [2013-02-10 11:54:00] 765*2^1240918-1 is not prime. Res64: 2C384D9B8BC5696A Time : 0.0 sec. user=mdettweiler [2013-02-10 11:54:00] 833*2^1240918-1 is not prime. Res64: 4E154458BB8CDE31 Time : 0.0 sec. user=mdettweiler [2013-02-10 11:54:01] 843*2^1240918-1 is not prime. Res64: A2C81545AFDF8DDF Time : 0.0 sec. user=mdettweiler [2013-02-10 12:11:23] 603*2^1240919-1 is not prime. Res64: A9BBFFDB66FCD05E Time : 0.0 sec. user=mdettweiler [2013-02-10 12:11:24] 609*2^1240919-1 is not prime. Res64: E867C330A8C20213 Time : 0.0 sec. user=mdettweiler [2013-02-10 12:11:25] 645*2^1240919-1 is not prime. Res64: E466A0FA4EC51EFA Time : 0.0 sec. user=mdettweiler [2013-02-10 12:11:25] 675*2^1240919-1 is not prime. Res64: BF4DE63213A61EC0 Time : 0.0 sec. user=vaughan [2013-02-10 12:20:10] 601*2^1240919-1 is not prime. Res64: 05F94046E30D8909 Time : 0.0 sec. user=mdettweiler [2013-02-10 12:28:47] 759*2^1240919-1 is not prime. Res64: 3DE2EF57B5EEE60F Time : 0.0 sec. user=mdettweiler [2013-02-10 12:28:47] 799*2^1240919-1 is not prime. Res64: AEAD088FC72095BB Time : 0.0 sec. user=mdettweiler [2013-02-10 12:28:49] 921*2^1240919-1 is not prime. Res64: E94B730700B24538 Time : 0.0 sec. user=mdettweiler [2013-02-10 12:28:50] 689*2^1240920-1 is not prime. Res64: 6B90252013B3008D Time : 0.0 sec. user=mdettweiler [2013-02-10 12:46:13] 795*2^1240920-1 is not prime. Res64: 482873009D104D3D Time : 0.0 sec. user=mdettweiler [2013-02-10 12:46:13] 857*2^1240920-1 is not prime. Res64: 850B0249314667CB Time : 0.0 sec. user=mdettweiler [2013-02-10 12:46:14] 863*2^1240920-1 is not prime. Res64: C0AD42A25C28A4E4 Time : 0.0 sec. user=mdettweiler [2013-02-10 12:46:15] 927*2^1240920-1 is not prime. Res64: C09E68DC52A5B22E Time : 0.0 sec. user=vaughan [2013-02-10 12:57:54] 695*2^1240920-1 is not prime. Res64: 3118C9CB66BDD055 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:04:00] 933*2^1240920-1 is not prime. Res64: 70671EB0B0665F42 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:04:03] 959*2^1240920-1 is not prime. Res64: 8EC1A3DF072FE57C Time : 0.0 sec. user=mdettweiler [2013-02-10 13:04:04] 607*2^1240921-1 is not prime. Res64: D913635888BC61EA Time : 0.0 sec. user=mdettweiler [2013-02-10 13:04:07] 639*2^1240921-1 is not prime. Res64: EB76C3FE5504DD06 Time : 0.0 sec. user=juhehe [2013-02-10 13:07:07] 983*2^1240792-1 is not prime. Res64: 8C51EDB562A6C568 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:21:58] 867*2^1240921-1 is not prime. Res64: 9043B371EA45D82E Time : 0.0 sec. user=mdettweiler [2013-02-10 13:21:58] 997*2^1240921-1 is not prime. Res64: CDBED9D6C0FD0802 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:22:00] 713*2^1240922-1 is not prime. Res64: 5BC2F5ACDA5451E1 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:22:01] 945*2^1240922-1 is not prime. Res64: AE5788888C2CB61D Time : 0.0 sec. user=vaughan [2013-02-10 13:35:39] 747*2^1240921-1 is not prime. Res64: 2D2690295FE1868D Time : 0.0 sec. user=mdettweiler [2013-02-10 13:39:50] 613*2^1240923-1 is not prime. Res64: FCE83B05F779C355 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:39:51] 703*2^1240923-1 is not prime. Res64: 595D9A2DDBD746A3 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:39:51] 781*2^1240923-1 is not prime. Res64: F89DCF8904ED6472 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:39:51] 825*2^1240923-1 is not prime. Res64: ABFA6DBBAD01309B Time : 0.0 sec. user=mdettweiler [2013-02-10 13:57:55] 901*2^1240923-1 is not prime. Res64: 558E8F0F7BD4370B Time : 0.0 sec. user=mdettweiler [2013-02-10 13:57:55] 961*2^1240923-1 is not prime. Res64: 610D1EDB7F7CF49A Time : 0.0 sec. user=mdettweiler [2013-02-10 13:57:57] 623*2^1240924-1 is not prime. Res64: 26B807B7C0DBDA09 Time : 0.0 sec. user=mdettweiler [2013-02-10 13:57:57] 819*2^1240924-1 is not prime. Res64: CDE31F0AC31F3F50 Time : 0.0 sec. user=vaughan [2013-02-10 14:13:24] 835*2^1240923-1 is not prime. Res64: 73B492C65F209693 Time : 0.0 sec. user=mdettweiler [2013-02-10 14:15:47] 669*2^1240925-1 is not prime. Res64: 23FB94943A752DD0 Time : 0.0 sec. user=mdettweiler [2013-02-10 14:15:48] 699*2^1240925-1 is not prime. Res64: 8272567935CBB16C Time : 0.0 sec. user=mdettweiler [2013-02-10 14:15:49] 789*2^1240925-1 is not prime. Res64: 5B92B661E8871FAC Time : 0.0 sec. user=mdettweiler [2013-02-10 14:15:50] 889*2^1240925-1 is not prime. Res64: C82F772B5B295B9D Time : 0.0 sec. user=mdettweiler [2013-02-10 14:33:43] 653*2^1240926-1 is not prime. Res64: 1328BEC442C6402A Time : 0.0 sec. user=mdettweiler [2013-02-10 14:33:44] 761*2^1240926-1 is not prime. Res64: 4324D202A292ED31 Time : 0.0 sec. user=mdettweiler [2013-02-10 14:33:49] 783*2^1240926-1 is not prime. Res64: 8BCD1BB4E63579CF Time : 0.0 sec. user=mdettweiler [2013-02-10 14:33:49] 891*2^1240926-1 is not prime. Res64: 68EA789AAF80C164 Time : 0.0 sec. user=vaughan [2013-02-10 14:51:11] 927*2^1240925-1 is not prime. Res64: F063B56CE4B9BDA1 Time : 0.0 sec. user=mdettweiler [2013-02-10 14:51:26] 917*2^1240926-1 is not prime. Res64: 858B2361787D6E2F Time : 0.0 sec. user=mdettweiler [2013-02-10 14:51:26] 975*2^1240926-1 is not prime. Res64: 8E5EBE14B000CC0F Time : 0.0 sec. user=mdettweiler [2013-02-10 14:51:31] 685*2^1240927-1 is not prime. Res64: BE42CB63B2654035 Time : 0.0 sec. user=mdettweiler [2013-02-10 14:51:31] 729*2^1240927-1 is not prime. Res64: BCB7CA38F317FA09 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:08:58] 741*2^1240927-1 is not prime. Res64: 4091EC5E823924E2 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:08:59] 885*2^1240927-1 is not prime. Res64: 030C629101321BCD Time : 0.0 sec. user=mdettweiler [2013-02-10 15:09:03] 915*2^1240927-1 is not prime. Res64: 1AA1A61E0F667DB0 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:09:08] 939*2^1240927-1 is not prime. Res64: E35CADF49ED0B86A Time : 0.0 sec. user=mdettweiler [2013-02-10 15:27:01] 603*2^1240928-1 is not prime. Res64: D3294C1D7B7A06A3 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:27:01] 623*2^1240928-1 is not prime. Res64: 75C2DFB04E831D2F Time : 0.0 sec. user=mdettweiler [2013-02-10 15:27:04] 735*2^1240928-1 is not prime. Res64: D94E1937A642972D Time : 0.0 sec. user=mdettweiler [2013-02-10 15:27:05] 795*2^1240928-1 is not prime. Res64: D3B709E848690F28 Time : 0.0 sec. user=vaughan [2013-02-10 15:28:57] 735*2^1240927-1 is not prime. Res64: 340C5483DD822643 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:44:28] 957*2^1240928-1 is not prime. Res64: F6861A88349AD8CC Time : 0.0 sec. user=mdettweiler [2013-02-10 15:44:29] 669*2^1240929-1 is not prime. Res64: 7CF7EF3C88EFE932 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:44:29] 765*2^1240929-1 is not prime. Res64: 8C3187EF41BE8A39 Time : 0.0 sec. user=mdettweiler [2013-02-10 15:44:30] 789*2^1240929-1 is not prime. Res64: 6690B1A54E7988A5 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:01:57] 891*2^1240929-1 is not prime. Res64: B4D9084DF62C4BC6 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:01:58] 611*2^1240930-1 is not prime. Res64: 5C4BBF5889B3C71B Time : 0.0 sec. user=mdettweiler [2013-02-10 16:01:58] 633*2^1240930-1 is not prime. Res64: F96FD87364E7B760 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:01:59] 755*2^1240930-1 is not prime. Res64: 891964765913A1C9 Time : 0.0 sec. user=vaughan [2013-02-10 16:06:41] 867*2^1240929-1 is not prime. Res64: 7E87BAC3E85C89B4 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:19:34] 765*2^1240930-1 is not prime. Res64: EF4A3C887A0F01FD Time : 0.0 sec. user=mdettweiler [2013-02-10 16:19:34] 827*2^1240930-1 is not prime. Res64: 40D415D8882F4802 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:19:36] 911*2^1240930-1 is not prime. Res64: 5C2D2B5DBEAAFCF9 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:19:36] 951*2^1240930-1 is not prime. Res64: EE533D928EFA711E Time : 0.0 sec. user=mdettweiler [2013-02-10 16:37:03] 601*2^1240931-1 is not prime. Res64: 34F63E1806E98943 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:37:03] 805*2^1240931-1 is not prime. Res64: F118886058727999 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:37:03] 675*2^1240931-1 is not prime. Res64: FBA6D8AA8102977D Time : 0.0 sec. user=mdettweiler [2013-02-10 16:37:03] 829*2^1240931-1 is not prime. Res64: 791194F3786BEE5C Time : 0.0 sec. user=vaughan [2013-02-10 16:49:32] 987*2^1240930-1 is not prime. Res64: 6880D2134158EB80 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:54:29] 979*2^1240931-1 is not prime. Res64: DE3DC92F913CFEFD Time : 0.0 sec. user=mdettweiler [2013-02-10 16:54:30] 609*2^1240932-1 is not prime. Res64: 7BA96AE9639F65A0 Time : 0.0 sec. user=mdettweiler [2013-02-10 16:54:31] 723*2^1240932-1 is not prime. Res64: 896C8D7102B96D3E Time : 0.0 sec. user=mdettweiler [2013-02-10 16:54:32] 725*2^1240932-1 is not prime. Res64: 4A90212AEFA969A3 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:11:56] 899*2^1240932-1 is not prime. Res64: 3B32C71F126C9B39 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:11:58] 945*2^1240932-1 is not prime. Res64: B9BECBC59A5A0E85 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:12:00] 609*2^1240933-1 is not prime. Res64: 94C3C235218743CE Time : 0.0 sec. user=mdettweiler [2013-02-10 17:12:02] 675*2^1240933-1 is not prime. Res64: A0D670189AF41174 Time : 0.0 sec. user=vaughan [2013-02-10 17:27:16] 797*2^1240932-1 is not prime. Res64: 5BEF36E325D385D6 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:29:30] 751*2^1240933-1 is not prime. Res64: 71E206A39224789A Time : 0.0 sec. user=mdettweiler [2013-02-10 17:29:31] 829*2^1240933-1 is not prime. Res64: 68B84954DB205B90 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:29:31] 831*2^1240933-1 is not prime. Res64: 98DAF62AFA7321DC Time : 0.0 sec. user=mdettweiler [2013-02-10 17:29:31] 951*2^1240933-1 is not prime. Res64: E53C435455943CB8 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:46:58] 705*2^1240934-1 is not prime. Res64: B728DD50B16B67F7 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:46:59] 743*2^1240934-1 is not prime. Res64: BB25532B04E1AC90 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:46:59] 635*2^1240934-1 is not prime. Res64: F14BD409AD915D61 Time : 0.0 sec. user=mdettweiler [2013-02-10 17:46:59] 663*2^1240934-1 is not prime. Res64: E07C508A824771C9 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:04:26] 753*2^1240934-1 is not prime. Res64: DCCB4472FFECFDCA Time : 0.0 sec. user=mdettweiler [2013-02-10 18:04:29] 735*2^1240935-1 is not prime. Res64: 935D3902D090A51B Time : 0.0 sec. user=mdettweiler [2013-02-10 18:04:32] 951*2^1240934-1 is not prime. Res64: 7F4DBFFA92543F8A Time : 0.0 sec. user=mdettweiler [2013-02-10 18:04:34] 819*2^1240935-1 is not prime. Res64: DE23EDFAC9A5E0E2 Time : 0.0 sec. user=vaughan [2013-02-10 18:09:57] 987*2^1240933-1 is not prime. Res64: 28EA5C94B1C001F5 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:22:28] 955*2^1240935-1 is not prime. Res64: 3AE1F9840BFA8DE6 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:22:28] 963*2^1240935-1 is not prime. Res64: 970391462E880183 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:22:34] 663*2^1240936-1 is not prime. Res64: 2BF6E428423E0753 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:22:35] 693*2^1240936-1 is not prime. Res64: A376A940AE626297 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:39:54] 717*2^1240936-1 is not prime. Res64: 420384AC7993E0A6 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:39:55] 845*2^1240936-1 is not prime. Res64: 8D173C178B376BC1 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:40:00] 909*2^1240936-1 is not prime. Res64: 9B6D8FCFD6C718F4 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:40:01] 917*2^1240936-1 is not prime. Res64: AB6B0D206A396C86 Time : 0.0 sec. user=vaughan [2013-02-10 18:47:45] 705*2^1240936-1 is not prime. Res64: DC83A5F6E349A670 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:57:21] 969*2^1240936-1 is not prime. Res64: 8AC8E1C6E663CDD7 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:57:21] 675*2^1240937-1 is not prime. Res64: FB5613399F70DA20 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:57:27] 741*2^1240937-1 is not prime. Res64: 3B7B023805B5DE69 Time : 0.0 sec. user=mdettweiler [2013-02-10 18:57:28] 759*2^1240937-1 is not prime. Res64: F3849411DAC598C6 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:14:48] 621*2^1240938-1 is not prime. Res64: 104A1B8A60B564D8 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:14:49] 635*2^1240938-1 is not prime. Res64: 5C2D41426C00E577 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:14:54] 641*2^1240938-1 is not prime. Res64: 043956C082AE2B67 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:14:54] 695*2^1240938-1 is not prime. Res64: 5D28A6AE4EEED261 Time : 0.0 sec. user=vaughan [2013-02-10 19:25:28] 939*2^1240937-1 is not prime. Res64: D53A48FFE29EDE0F Time : 0.0 sec. user=mdettweiler [2013-02-10 19:32:16] 707*2^1240938-1 is not prime. Res64: 6FC6155C55E027F7 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:32:16] 735*2^1240938-1 is not prime. Res64: 78344EC172AF6255 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:32:20] 803*2^1240938-1 is not prime. Res64: F505E2273D0670C5 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:32:20] 921*2^1240938-1 is not prime. Res64: A090ACDFC7F32C50 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:49:43] 971*2^1240938-1 is not prime. Res64: 9D1DD8FAFD1FC0CD Time : 0.0 sec. user=mdettweiler [2013-02-10 19:49:43] 745*2^1240939-1 is not prime. Res64: 5B93FA2329F2CE15 Time : 0.0 sec. user=mdettweiler [2013-02-10 19:49:46] 861*2^1240939-1 is not prime. Res64: 354836A53CE7307F Time : 0.0 sec. user=mdettweiler [2013-02-10 19:49:46] 985*2^1240939-1 is not prime. Res64: 62A05262B5929397 Time : 0.0 sec. user=vaughan [2013-02-10 20:03:10] 923*2^1240938-1 is not prime. Res64: A0C5BD8033785631 Time : 0.0 sec. user=mdettweiler [2013-02-10 20:07:12] 605*2^1240940-1 is not prime. Res64: 7E46B85B24603782 Time : 0.0 sec. user=mdettweiler [2013-02-10 20:07:16] 665*2^1240940-1 is not prime. Res64: 1B4A3B4D8A5C541F Time : 0.0 sec. user=mdettweiler [2013-02-10 20:07:19] 663*2^1240940-1 is not prime. Res64: EA66CA004B61EBAB Time : 0.0 sec. user=mdettweiler [2013-02-10 20:07:23] 755*2^1240940-1 is not prime. Res64: E062A67A6194873C Time : 0.0 sec. user=mdettweiler [2013-02-10 20:25:18] 661*2^1240941-1 is not prime. Res64: 474EF31AF497B5EE Time : 0.0 sec. user=mdettweiler [2013-02-10 20:25:19] 777*2^1240941-1 is not prime. Res64: B9AB4CCB5B0ABC60 Time : 0.0 sec. user=mdettweiler [2013-02-10 20:25:22] 795*2^1240941-1 is not prime. Res64: D47E48BBCECF9F9C Time : 0.0 sec. user=mdettweiler [2013-02-10 20:25:23] 861*2^1240941-1 is not prime. Res64: 8056B6DF14451BBF Time : 0.0 sec. user=vaughan [2013-02-10 20:41:11] 885*2^1240940-1 is not prime. Res64: 683F3AD09CC1CFC1 Time : 0.0 sec. user=mdettweiler [2013-02-10 20:42:46] 927*2^1240941-1 is not prime. Res64: B76A0CD2AFB59944 Time : 0.0 sec. user=mdettweiler [2013-02-10 20:42:46] 705*2^1240942-1 is not prime. Res64: 38F63890907C93FB Time : 0.0 sec. user=mdettweiler [2013-02-10 20:42:49] 755*2^1240942-1 is not prime. Res64: 20F324242FF660E6 Time : 0.0 sec. user=mdettweiler [2013-02-10 20:42:50] 887*2^1240942-1 is not prime. Res64: 67D6BF1616D5B2E6 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:00:12] 735*2^1240943-1 is not prime. Res64: A2BA919E7A7A8ACF Time : 0.0 sec. user=mdettweiler [2013-02-10 21:00:14] 741*2^1240943-1 is not prime. Res64: 881B59771ECE7183 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:00:16] 789*2^1240943-1 is not prime. Res64: 1FF8421C95CC1774 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:00:17] 895*2^1240943-1 is not prime. Res64: C0E08207D5CAE5AF Time : 0.0 sec. user=mdettweiler [2013-02-10 21:17:54] 939*2^1240943-1 is not prime. Res64: 7042E4BECD1D32CB Time : 0.0 sec. user=mdettweiler [2013-02-10 21:17:54] 615*2^1240944-1 is not prime. Res64: 2E52496ED7EE2C1F Time : 0.0 sec. user=mdettweiler [2013-02-10 21:17:56] 825*2^1240944-1 is not prime. Res64: 260718DB49C01B4D Time : 0.0 sec. user=mdettweiler [2013-02-10 21:17:57] 857*2^1240944-1 is not prime. Res64: CF68CB7A1B747C53 Time : 0.0 sec. user=vaughan [2013-02-10 21:18:52] 619*2^1240943-1 is not prime. Res64: FFF46283C57B0C49 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:35:21] 875*2^1240944-1 is not prime. Res64: 07DCA0DBB1485DDA Time : 0.0 sec. user=mdettweiler [2013-02-10 21:35:22] 625*2^1240945-1 is not prime. Res64: 21A2279D00A144D1 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:35:22] 667*2^1240945-1 is not prime. Res64: 6909E9025386130F Time : 0.0 sec. user=mdettweiler [2013-02-10 21:35:23] 799*2^1240945-1 is not prime. Res64: ED6E838F00744E37 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:52:47] 925*2^1240945-1 is not prime. Res64: 9BF7C96A4769FD9D Time : 0.0 sec. user=mdettweiler [2013-02-10 21:52:47] 981*2^1240945-1 is not prime. Res64: 07EE6D9788A80677 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:52:47] 951*2^1240945-1 is not prime. Res64: D3FFBA22AA709351 Time : 0.0 sec. user=mdettweiler [2013-02-10 21:52:48] 987*2^1240945-1 is not prime. Res64: C352508DDCD051F3 Time : 0.0 sec. user=vaughan [2013-02-10 21:56:40] 867*2^1240945-1 is not prime. Res64: B9713FBBB7737515 Time : 0.0 sec. user=mdettweiler [2013-02-10 22:10:12] 623*2^1240946-1 is not prime. Res64: 03A83678A3607302 Time : 0.0 sec. user=mdettweiler [2013-02-10 22:10:13] 641*2^1240946-1 is not prime. Res64: C2789B597CF5D2BE Time : 0.0 sec. user=mdettweiler [2013-02-10 22:10:13] 683*2^1240946-1 is not prime. Res64: 6A7240077B9F4544 Time : 0.0 sec. user=mdettweiler [2013-02-10 22:10:14] 717*2^1240946-1 is not prime. Res64: 49850A48A4988422 Time : 0.0 sec. user=mdettweiler [2013-02-10 22:27:43] 859*2^1240947-1 is not prime. Res64: BFA5A1DD699F3AEA Time : 0.0 sec. user=mdettweiler [2013-02-10 22:27:45] 735*2^1240947-1 is not prime. Res64: B3EAA00EA2683A2A Time : 0.0 sec. user=mdettweiler [2013-02-10 22:27:46] 891*2^1240947-1 is not prime. Res64: 9B30650D166C2A5A Time : 0.0 sec. user=mdettweiler [2013-02-10 22:27:47] 843*2^1240947-1 is not prime. Res64: 95B6CF99EBE142C8 Time : 0.0 sec. user=vaughan [2013-02-10 22:34:23] 743*2^1240946-1 is not prime. Res64: 355A47A7E4587AFD Time : 0.0 sec. user=mdettweiler [2013-02-10 22:45:21] 961*2^1240947-1 is not prime. Res64: 69F5D3867B64C1EF Time : 0.0 sec. user=mdettweiler [2013-02-10 22:45:21] 991*2^1240947-1 is not prime. Res64: 7328B2E781E4BE36 Time : 0.0 sec. user=mdettweiler [2013-02-10 22:45:22] 623*2^1240948-1 is not prime. Res64: 3E851A992B20971C Time : 0.0 sec. user=mdettweiler [2013-02-10 22:45:22] 629*2^1240948-1 is not prime. Res64: 99058844F6F030BA Time : 0.0 sec. user=mdettweiler [2013-02-10 23:02:46] 749*2^1240948-1 is not prime. Res64: CD83616113451122 Time : 0.0 sec. user=mdettweiler [2013-02-10 23:02:46] 825*2^1240948-1 is not prime. Res64: 3906FC08F7EB883D Time : 0.0 sec. user=mdettweiler [2013-02-10 23:02:48] 803*2^1240948-1 is not prime. Res64: 49AEEC8408514B4B Time : 0.0 sec. user=mdettweiler [2013-02-10 23:02:48] 897*2^1240948-1 is not prime. Res64: B8FBF62E97E1E8A1 Time : 0.0 sec. user=vaughan [2013-02-10 23:12:08] 735*2^1240948-1 is not prime. Res64: ADAA6EDE626BB3DC Time : 0.0 sec. user=mdettweiler [2013-02-10 23:20:28] 933*2^1240948-1 is not prime. Res64: AA23D968351F243F Time : 0.0 sec. user=mdettweiler [2013-02-10 23:20:28] 615*2^1240949-1 is not prime. Res64: A2D33E0219FF3796 Time : 0.0 sec. user=mdettweiler [2013-02-10 23:20:29] 759*2^1240949-1 is not prime. Res64: 2D8FE6E980D4AA58 Time : 0.0 sec. user=mdettweiler [2013-02-10 23:20:30] 819*2^1240949-1 is not prime. Res64: E2615E00BA991F5D Time : 0.0 sec. user=mdettweiler [2013-02-10 23:38:10] 879*2^1240949-1 is not prime. Res64: 76DBE27D9818B33C Time : 0.0 sec. user=mdettweiler [2013-02-10 23:38:10] 949*2^1240949-1 is not prime. Res64: 1C11EA76DCA3FF88 Time : 0.0 sec. user=mdettweiler [2013-02-10 23:38:15] 681*2^1240950-1 is not prime. Res64: 0A199E0BEFDAB5B6 Time : 0.0 sec. user=mdettweiler [2013-02-10 23:38:15] 707*2^1240950-1 is not prime. Res64: 7AE426A2518C88F5 Time : 0.0 sec. user=vaughan [2013-02-10 23:49:55] 829*2^1240949-1 is not prime. Res64: FB6AFBD744A8719C Time : 0.0 sec. user=mdettweiler [2013-02-10 23:55:36] 713*2^1240950-1 is not prime. Res64: 3F07840C3884D871 Time : 0.0 sec. user=mdettweiler [2013-02-10 23:55:36] 747*2^1240950-1 is not prime. Res64: 5B0E570197843C6C Time : 0.0 sec. user=mdettweiler [2013-02-10 23:55:39] 851*2^1240950-1 is not prime. Res64: 6D6D26387CA213EA Time : 0.0 sec. user=mdettweiler [2013-02-10 23:55:40] 873*2^1240950-1 is not prime. Res64: 58E09DEC60910713 Time : 0.0 sec.