user=mdettweiler [2013-05-10 00:03:47] 973*2^1245755-1 is not prime. Res64: 4AB5EE2050E075BE Time : 0.0 sec. user=mdettweiler [2013-05-10 00:03:47] 979*2^1245755-1 is not prime. Res64: 59B4031FB9E1DD22 Time : 0.0 sec. user=mdettweiler [2013-05-10 00:21:26] 913*2^1245755-1 is not prime. Res64: 64FFD083224E7D0F Time : 0.0 sec. user=mdettweiler [2013-05-10 00:22:08] 707*2^1245756-1 is not prime. Res64: FF0E2A83E893ACA0 Time : 0.0 sec. user=mdettweiler [2013-05-10 00:50:15] 749*2^1245756-1 is not prime. Res64: BEFF88205B2D14A5 Time : 0.0 sec. user=vaughan [2013-05-10 01:07:46] 809*2^1245756-1 is not prime. Res64: E379A434EBA83AA9 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:08:04] 909*2^1245756-1 is not prime. Res64: A017FCBC12AB16FB Time : 0.0 sec. user=mdettweiler [2013-05-10 01:08:05] 675*2^1245757-1 is not prime. Res64: 4B2354E0E21B04EE Time : 0.0 sec. user=mdettweiler [2013-05-10 01:17:24] 825*2^1245757-1 is not prime. Res64: FE62BF1A651640D0 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:17:25] 635*2^1245758-1 is not prime. Res64: 6AEF002A1C51192C Time : 0.0 sec. user=mdettweiler [2013-05-10 01:25:52] 683*2^1245758-1 is not prime. Res64: 67F46C47596EA018 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:25:53] 815*2^1245758-1 is not prime. Res64: 8DC8D959B6003CD1 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:35:11] 935*2^1245758-1 is not prime. Res64: 2FB2AE41305FF5A7 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:35:11] 669*2^1245759-1 is not prime. Res64: 2B78C99CB0018051 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:44:05] 751*2^1245759-1 is not prime. Res64: 7F73121875B99945 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:44:06] 859*2^1245759-1 is not prime. Res64: 8C6ED4118D2B9CD5 Time : 0.0 sec. user=vaughan [2013-05-10 01:46:11] 671*2^1245758-1 is not prime. Res64: 445898D276054315 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:52:57] 885*2^1245759-1 is not prime. Res64: 4A0AD47B0F675758 Time : 0.0 sec. user=mdettweiler [2013-05-10 01:52:58] 675*2^1245760-1 is not prime. Res64: 9FC5FC8247F20B17 Time : 0.0 sec. user=mdettweiler [2013-05-10 02:11:14] 819*2^1245760-1 is not prime. Res64: E6AE5A78797F66DB Time : 0.0 sec. user=vaughan [2013-05-10 02:24:57] 813*2^1245760-1 is not prime. Res64: 6B66449C47BC3A6A Time : 0.0 sec. user=mdettweiler [2013-05-10 02:25:45] 689*2^1245760-1 is not prime. Res64: 00C7F0EE2437FBAA Time : 0.0 sec. user=mdettweiler [2013-05-10 02:44:45] 765*2^1245760-1 is not prime. Res64: 38BA89F22BF5EBAA Time : 0.0 sec. user=mdettweiler [2013-05-10 02:49:24] 849*2^1245760-1 is not prime. Res64: D6891D20514C635D Time : 0.0 sec. user=mdettweiler [2013-05-10 03:03:40] 989*2^1245760-1 is not prime. Res64: 3BE59116340DF63C Time : 0.0 sec. user=mdettweiler [2013-05-10 03:07:32] 631*2^1245761-1 is not prime. Res64: 908D9D460D8FBE2E Time : 0.0 sec. user=mdettweiler [2013-05-10 03:07:32] 769*2^1245761-1 is not prime. Res64: CB3793A2D299C466 Time : 0.0 sec. user=vaughan [2013-05-10 03:08:58] 957*2^1245760-1 is not prime. Res64: E5BDCC89B8B13A23 Time : 0.0 sec. user=mdettweiler [2013-05-10 03:25:36] 811*2^1245761-1 is not prime. Res64: 8D5DD6837F4BACB9 Time : 0.0 sec. user=mdettweiler [2013-05-10 03:26:38] 615*2^1245761-1 is not prime. Res64: 59C44291861553BA Time : 0.0 sec. user=vaughan [2013-05-10 03:47:30] 871*2^1245761-1 is not prime. Res64: 439004B8BB2F9157 Time : 0.0 sec. user=mdettweiler [2013-05-10 03:47:54] 837*2^1245761-1 is not prime. Res64: DB9436F75BFC767D Time : 0.0 sec. user=mdettweiler [2013-05-10 04:05:57] 671*2^1245762-1 is not prime. Res64: 6F70033606723984 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:05:58] 791*2^1245762-1 is not prime. Res64: 6A79586EF9A9A2CD Time : 0.0 sec. user=mdettweiler [2013-05-10 04:20:35] 815*2^1245762-1 is not prime. Res64: 0BF44AF16E5E1D18 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:23:50] 775*2^1245763-1 is not prime. Res64: 4187E586F510ABC4 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:23:50] 783*2^1245763-1 is not prime. Res64: B8147D9B29BC961B Time : 0.0 sec. user=vaughan [2013-05-10 04:31:18] 957*2^1245761-1 is not prime. Res64: A1D657999B95F5E8 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:39:33] 833*2^1245762-1 is not prime. Res64: 11422A32DB6BAEB1 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:41:43] 859*2^1245763-1 is not prime. Res64: 829FE6D38FA48020 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:41:43] 883*2^1245763-1 is not prime. Res64: 9938071B1BBCE7E7 Time : 0.0 sec. user=mdettweiler [2013-05-10 04:59:40] 717*2^1245764-1 is not prime. Res64: F90FDA0EE3D34ABF Time : 0.0 sec. user=mdettweiler [2013-05-10 04:59:40] 719*2^1245764-1 is not prime. Res64: D228F56113C35BFE Time : 0.0 sec. user=vaughan [2013-05-10 05:15:00] 919*2^1245763-1 is not prime. Res64: 2CB8E3F3EF296916 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:17:29] 789*2^1245764-1 is not prime. Res64: D008C704B35091C5 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:17:29] 837*2^1245764-1 is not prime. Res64: 8F7B6C297BEA168F Time : 0.0 sec. user=mdettweiler [2013-05-10 05:20:19] 915*2^1245764-1 is not prime. Res64: 0F2C93C8B1449F50 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:20:19] 691*2^1245765-1 is not prime. Res64: 6EBD37F5AE5F9D83 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:35:16] 819*2^1245765-1 is not prime. Res64: 82A6BEA020F674EF Time : 0.0 sec. user=mdettweiler [2013-05-10 05:35:16] 877*2^1245765-1 is not prime. Res64: 4BE553369AD96B23 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:38:23] 889*2^1245765-1 is not prime. Res64: 9CF37A29AC646076 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:38:24] 915*2^1245765-1 is not prime. Res64: 7AC40697BDA9265C Time : 0.0 sec. user=mdettweiler [2013-05-10 05:53:07] 951*2^1245765-1 is not prime. Res64: 9C5BE1D66CEFB35B Time : 0.0 sec. user=mdettweiler [2013-05-10 05:53:08] 961*2^1245765-1 is not prime. Res64: 31246956A436C4F6 Time : 0.0 sec. user=vaughan [2013-05-10 05:53:50] 735*2^1245765-1 is not prime. Res64: 65F4AF208FC6A890 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:57:08] 991*2^1245765-1 is not prime. Res64: 53C78BA9F6DC1417 Time : 0.0 sec. user=mdettweiler [2013-05-10 05:57:09] 737*2^1245766-1 is not prime. Res64: 2FADCB4D11AB1A4E Time : 0.0 sec. user=mdettweiler [2013-05-10 06:11:11] 773*2^1245766-1 is not prime. Res64: 3A845700F1BAF76A Time : 0.0 sec. user=mdettweiler [2013-05-10 06:15:14] 983*2^1245766-1 is not prime. Res64: FDB979374354F003 Time : 0.0 sec. user=vaughan [2013-05-10 06:37:25] 945*2^1245766-1 is not prime. Res64: 57DDA7747C6EE591 Time : 0.0 sec. user=mdettweiler [2013-05-10 06:38:49] 645*2^1245767-1 is not prime. Res64: 3B51C4DD32780E23 Time : 0.0 sec. user=mdettweiler [2013-05-10 06:49:38] 917*2^1245766-1 is not prime. Res64: 6588A918A037D9FD Time : 0.0 sec. user=mdettweiler [2013-05-10 06:56:55] 735*2^1245767-1 is not prime. Res64: BE76504CB7E9EF15 Time : 0.0 sec. user=mdettweiler [2013-05-10 06:56:55] 885*2^1245767-1 is not prime. Res64: 6EBD7A7E676266AF Time : 0.0 sec. user=mdettweiler [2013-05-10 07:14:56] 605*2^1245768-1 is not prime. Res64: ED6454059B855598 Time : 0.0 sec. user=mdettweiler [2013-05-10 07:14:56] 663*2^1245768-1 is not prime. Res64: D886D5333AC96E85 Time : 0.0 sec. user=vaughan [2013-05-10 07:15:55] 703*2^1245767-1 is not prime. Res64: 8FFDAB02E1D15BE2 Time : 0.0 sec. user=mdettweiler [2013-05-10 07:33:03] 825*2^1245768-1 is not prime. Res64: 05C4F30F85712B73 Time : 0.0 sec. user=mdettweiler [2013-05-10 07:33:04] 879*2^1245768-1 is not prime. Res64: 81BF37D8D66893B9 Time : 0.0 sec. user=mdettweiler [2013-05-10 07:42:57] 929*2^1245768-1 is not prime. Res64: C6EA82DEA8BE6204 Time : 0.0 sec. user=mdettweiler [2013-05-10 07:42:57] 945*2^1245768-1 is not prime. Res64: C4409FD220E4B709 Time : 0.0 sec. user=mdettweiler [2013-05-10 07:52:11] 947*2^1245768-1 is not prime. Res64: 5160645394094E35 Time : 0.0 sec. user=vaughan [2013-05-10 07:54:16] 899*2^1245768-1 is not prime. Res64: 773936053FC99585 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:01:07] 625*2^1245769-1 is not prime. Res64: B8D23DF2BFB0B0B5 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:01:07] 847*2^1245769-1 is not prime. Res64: B9E0C2C3057513B7 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:19:38] 603*2^1245770-1 is not prime. Res64: 6CDF6DA21584B256 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:19:38] 641*2^1245770-1 is not prime. Res64: 92BAF3AE32168525 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:30:23] 993*2^1245768-1 is not prime. Res64: D10842AAA52A4C1E Time : 0.0 sec. user=vaughan [2013-05-10 08:37:34] 985*2^1245769-1 is not prime. Res64: 6BF8F656B4AE20A0 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:37:37] 657*2^1245770-1 is not prime. Res64: 2A1FD7E2BD2F2C2B Time : 0.0 sec. user=mdettweiler [2013-05-10 08:37:37] 743*2^1245770-1 is not prime. Res64: 72EEB9143D4AC916 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:55:48] 887*2^1245770-1 is not prime. Res64: 609D6CB30B0EDC61 Time : 0.0 sec. user=mdettweiler [2013-05-10 08:55:50] 977*2^1245770-1 is not prime. Res64: 82CF6DF833462CAF Time : 0.0 sec. user=mdettweiler [2013-05-10 09:07:17] 709*2^1245771-1 is not prime. Res64: 8DF108420C1A4081 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:07:18] 741*2^1245771-1 is not prime. Res64: BA0051963EBECF2A Time : 0.0 sec. user=mdettweiler [2013-05-10 09:14:57] 753*2^1245771-1 is not prime. Res64: 5963F5307D2F8B77 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:14:58] 789*2^1245771-1 is not prime. Res64: 18C5495362E8CDF6 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:25:55] 859*2^1245771-1 is not prime. Res64: 2CD866552DE54124 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:25:55] 903*2^1245771-1 is not prime. Res64: 8082C792B4F7D469 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:34:51] 975*2^1245771-1 is not prime. Res64: 9C2AEBF91D84FFA8 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:34:52] 605*2^1245772-1 is not prime. Res64: 0AAA26681BC6FEF3 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:44:02] 653*2^1245772-1 is not prime. Res64: 0E40B93372FC05ED Time : 0.0 sec. user=mdettweiler [2013-05-10 09:52:49] 735*2^1245772-1 is not prime. Res64: 5F975ACF427147B1 Time : 0.0 sec. user=mdettweiler [2013-05-10 09:52:50] 785*2^1245772-1 is not prime. Res64: C64EFF1224A31E4F Time : 0.0 sec. user=vaughan [2013-05-10 09:53:12] 797*2^1245770-1 is not prime. Res64: CDFB8ADDB14BEAB3 Time : 0.0 sec. user=mdettweiler [2013-05-10 10:10:44] 825*2^1245772-1 is not prime. Res64: 106BF9C31C6C5D7E Time : 0.0 sec. user=mdettweiler [2013-05-10 10:10:45] 827*2^1245772-1 is not prime. Res64: 4CF24C533EACC1D8 Time : 0.0 sec. user=mdettweiler [2013-05-10 10:19:51] 657*2^1245772-1 is not prime. Res64: E833E75CE2233A2B Time : 0.0 sec. user=mdettweiler [2013-05-10 10:28:48] 607*2^1245773-1 is not prime. Res64: 8CCB4BA57C196A14 Time : 0.0 sec. user=mdettweiler [2013-05-10 10:28:49] 805*2^1245773-1 is not prime. Res64: BCB93853E78BA719 Time : 0.0 sec. user=vaughan [2013-05-10 10:36:56] 947*2^1245772-1 is not prime. Res64: FEE2D891781F884C Time : 0.0 sec. user=mdettweiler [2013-05-10 10:37:58] 811*2^1245773-1 is not prime. Res64: 5A9F8F719207B268 Time : 0.0 sec. user=mdettweiler [2013-05-10 10:46:46] 901*2^1245773-1 is not prime. Res64: 1212ED2EA91CC7C4 Time : 0.0 sec. user=mdettweiler [2013-05-10 10:46:47] 635*2^1245774-1 is not prime. Res64: F24CF1DAAF5BBEA5 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:04:54] 641*2^1245774-1 is not prime. Res64: 3B84A157242E9B04 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:04:55] 651*2^1245774-1 is not prime. Res64: 2CAE840478E551A4 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:15:35] 861*2^1245773-1 is not prime. Res64: 9198DB08F9771F7F Time : 0.0 sec. user=mdettweiler [2013-05-10 11:23:09] 665*2^1245774-1 is not prime. Res64: A2B5090D5B66B01B Time : 0.0 sec. user=mdettweiler [2013-05-10 11:23:09] 711*2^1245774-1 is not prime. Res64: D0656A6F0ABB518A Time : 0.0 sec. user=mdettweiler [2013-05-10 11:33:42] 791*2^1245774-1 is not prime. Res64: DCA75D7BB2FA1F31 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:33:59] 921*2^1245774-1 is not prime. Res64: CFD06E9A99BA1075 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:41:01] 651*2^1245775-1 is not prime. Res64: 032054BAE5E6B3D1 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:41:01] 723*2^1245775-1 is not prime. Res64: 9FD5D6C6B14592D2 Time : 0.0 sec. user=vaughan [2013-05-10 11:52:39] 773*2^1245774-1 is not prime. Res64: 7C796A5766756F93 Time : 0.0 sec. user=mdettweiler [2013-05-10 11:59:21] 759*2^1245775-1 is not prime. Res64: 612F7050602F69ED Time : 0.0 sec. user=mdettweiler [2013-05-10 12:20:22] 859*2^1245775-1 is not prime. Res64: DC669FC59C4DC85E Time : 0.0 sec. user=mdettweiler [2013-05-10 12:20:22] 939*2^1245775-1 is not prime. Res64: 409444F079B9E0C3 Time : 0.0 sec. user=mdettweiler [2013-05-10 12:25:56] 765*2^1245775-1 is not prime. Res64: 84E5349BE915B13C Time : 0.0 sec. user=vaughan [2013-05-10 12:30:59] 789*2^1245775-1 is not prime. Res64: 62D352CD91335FF6 Time : 0.0 sec. user=mdettweiler [2013-05-10 12:38:36] 973*2^1245775-1 is not prime. Res64: 97C42A4740ADC817 Time : 0.0 sec. user=mdettweiler [2013-05-10 12:44:17] 683*2^1245776-1 is not prime. Res64: 94884FAA7A143141 Time : 0.0 sec. user=mdettweiler [2013-05-10 12:44:17] 767*2^1245776-1 is not prime. Res64: B64B9D7B49B1E9AB Time : 0.0 sec. user=vaughan [2013-05-10 13:09:38] 857*2^1245776-1 is not prime. Res64: F3B65C8960F42F1A Time : 0.0 sec. user=mdettweiler [2013-05-10 13:18:22] 615*2^1245776-1 is not prime. Res64: D589C8131A989A16 Time : 0.0 sec. user=mdettweiler [2013-05-10 13:36:21] 601*2^1245777-1 is not prime. Res64: 8F82AFF5DB28E7E5 Time : 0.0 sec. user=mdettweiler [2013-05-10 13:36:21] 649*2^1245777-1 is not prime. Res64: A8BCB6245395FFED Time : 0.0 sec. user=mdettweiler [2013-05-10 13:40:54] 945*2^1245776-1 is not prime. Res64: 43564BD0F0AE1B3E Time : 0.0 sec. user=mdettweiler [2013-05-10 13:40:54] 983*2^1245776-1 is not prime. Res64: A422287869B351C8 Time : 0.0 sec. user=mdettweiler [2013-05-10 13:54:46] 709*2^1245777-1 is not prime. Res64: 1C5A56AD822A90E7 Time : 0.0 sec. user=mdettweiler [2013-05-10 13:54:46] 727*2^1245777-1 is not prime. Res64: 7D6884FC165E3545 Time : 0.0 sec. user=mdettweiler [2013-05-10 13:58:56] 817*2^1245777-1 is not prime. Res64: 1591728DBF392127 Time : 0.0 sec. user=mdettweiler [2013-05-10 13:58:57] 837*2^1245777-1 is not prime. Res64: B525755E025612D5 Time : 0.0 sec. user=mdettweiler [2013-05-10 14:13:48] 997*2^1245777-1 is not prime. Res64: E209BAC07D16CFFD Time : 0.0 sec. user=mdettweiler [2013-05-10 14:16:56] 623*2^1245778-1 is not prime. Res64: 01AB0B10EB51A28A Time : 0.0 sec. user=mdettweiler [2013-05-10 14:16:56] 681*2^1245778-1 is not prime. Res64: 45C90EEECF7D8F4E Time : 0.0 sec. user=vaughan [2013-05-10 14:30:25] 909*2^1245777-1 is not prime. Res64: 413152EBF6D8DADD Time : 0.0 sec. user=mdettweiler [2013-05-10 14:35:01] 735*2^1245778-1 is not prime. Res64: C12EC49340E3B413 Time : 0.0 sec. user=mdettweiler [2013-05-10 14:35:01] 801*2^1245778-1 is not prime. Res64: CD1099029EA50119 Time : 0.0 sec. user=mdettweiler [2013-05-10 14:50:15] 611*2^1245778-1 is not prime. Res64: 054EF237291B2EAB Time : 0.0 sec. user=mdettweiler [2013-05-10 14:53:05] 891*2^1245778-1 is not prime. Res64: 4FAF2DEC96852398 Time : 0.0 sec. user=mdettweiler [2013-05-10 14:53:06] 915*2^1245778-1 is not prime. Res64: 896B24403CD62525 Time : 0.0 sec. user=vaughan [2013-05-10 15:09:13] 831*2^1245778-1 is not prime. Res64: 99CEBEC2279D862A Time : 0.0 sec. user=mdettweiler [2013-05-10 15:09:13] 1001*2^1245778-1 is not prime. Res64: AFC5DAC9C6374C52 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:09:13] 685*2^1245779-1 is not prime. Res64: 605CB127E264EA34 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:11:02] 703*2^1245779-1 is not prime. Res64: CB36C3874F1C146D Time : 0.0 sec. user=mdettweiler [2013-05-10 15:11:03] 733*2^1245779-1 is not prime. Res64: 007CAFD7C49500F1 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:27:34] 811*2^1245779-1 is not prime. Res64: 40226CD464B91EA0 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:27:35] 879*2^1245779-1 is not prime. Res64: 52DEB36D722B9095 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:30:21] 885*2^1245779-1 is not prime. Res64: 00963474B063195C Time : 0.0 sec. user=mdettweiler [2013-05-10 15:45:33] 699*2^1245780-1 is not prime. Res64: F4DE75505AD8C731 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:45:34] 707*2^1245780-1 is not prime. Res64: 89CFE3429DA098E6 Time : 0.0 sec. user=mdettweiler [2013-05-10 15:58:34] 991*2^1245779-1 is not prime. Res64: 5B55FB4B9D2BA7BE Time : 0.0 sec. user=mdettweiler [2013-05-10 16:04:07] 719*2^1245780-1 is not prime. Res64: C4ACC2B59B1438A8 Time : 0.0 sec. user=mdettweiler [2013-05-10 16:16:50] 899*2^1245780-1 is not prime. Res64: 3B96B8D7AC5C5FF7 Time : 0.0 sec. user=mdettweiler [2013-05-10 16:16:51] 927*2^1245780-1 is not prime. Res64: E8FB3DC0085056C8 Time : 0.0 sec. user=vaughan [2013-05-10 16:24:45] 857*2^1245780-1 is not prime. Res64: FE62AD4A3237EFBC Time : 0.0 sec. user=mdettweiler [2013-05-10 16:35:08] 691*2^1245781-1 is not prime. Res64: 05313C9CC07E3A39 Time : 0.0 sec. user=mdettweiler [2013-05-10 16:35:08] 745*2^1245781-1 is not prime. Res64: FB49AEDDE454E700 Time : 0.0 sec. user=mdettweiler [2013-05-10 16:40:54] 753*2^1245780-1 is not prime. Res64: F9292C0580BA5E5F Time : 0.0 sec. user=mdettweiler [2013-05-10 16:54:10] 951*2^1245781-1 is not prime. Res64: 9DFC14001E2DE577 Time : 0.0 sec. user=mdettweiler [2013-05-10 16:59:07] 675*2^1245782-1 is not prime. Res64: 5FCB84DDDD8190E6 Time : 0.0 sec. user=mdettweiler [2013-05-10 16:59:07] 711*2^1245782-1 is not prime. Res64: BE64D3967E36D035 Time : 0.0 sec. user=vaughan [2013-05-10 17:03:00] 861*2^1245781-1 is not prime. Res64: 035D6D66A4A285E3 Time : 0.0 sec. user=mdettweiler [2013-05-10 17:17:09] 743*2^1245782-1 is not prime. Res64: 90E844C89ED0A293 Time : 0.0 sec. user=mdettweiler [2013-05-10 17:17:09] 825*2^1245782-1 is not prime. Res64: 4498F9838CE8109D Time : 0.0 sec. user=mdettweiler [2013-05-10 17:29:10] 997*2^1245781-1 is not prime. Res64: BE7D31C3239A5C97 Time : 0.0 sec. user=mdettweiler [2013-05-10 17:35:06] 957*2^1245782-1 is not prime. Res64: 63054914E9B3C40F Time : 0.0 sec. user=mdettweiler [2013-05-10 17:35:06] 613*2^1245783-1 is not prime. Res64: 4E508FEFAF1FADFF Time : 0.0 sec. user=vaughan [2013-05-10 17:41:30] 897*2^1245782-1 is not prime. Res64: EE748DCD3B9581D4 Time : 0.0 sec. user=mdettweiler [2013-05-10 17:53:18] 685*2^1245783-1 is not prime. Res64: 6BEC4A9946EBA424 Time : 0.0 sec. user=mdettweiler [2013-05-10 17:53:19] 703*2^1245783-1 is not prime. Res64: 9753CBA87A63540F Time : 0.0 sec. user=mdettweiler [2013-05-10 18:11:20] 745*2^1245783-1 is not prime. Res64: 6B24CBC8B08E20ED Time : 0.0 sec. user=mdettweiler [2013-05-10 18:11:21] 775*2^1245783-1 is not prime. Res64: 68DC9F3BB31E85D9 Time : 0.0 sec. user=vaughan [2013-05-10 18:19:47] 709*2^1245783-1 is not prime. Res64: F5D4464BB5FC3A2E Time : 0.0 sec. user=mdettweiler [2013-05-10 18:22:36] 793*2^1245783-1 is not prime. Res64: D9F8B376707D39F3 Time : 0.0 sec. user=mdettweiler [2013-05-10 18:29:57] 805*2^1245783-1 is not prime. Res64: 9C292FE0A3DBCE17 Time : 0.0 sec. user=mdettweiler [2013-05-10 18:29:57] 825*2^1245783-1 is not prime. Res64: 01602694DE5B8DED Time : 0.0 sec. user=mdettweiler [2013-05-10 18:50:55] 629*2^1245784-1 is not prime. Res64: 4FF1961E687BA736 Time : 0.0 sec. user=vaughan [2013-05-10 18:58:36] 901*2^1245783-1 is not prime. Res64: 8C9ED0911F97ABDF Time : 0.0 sec. user=mdettweiler [2013-05-10 19:07:56] 795*2^1245783-1 is not prime. Res64: CAA0115E23506681 Time : 0.0 sec. user=mdettweiler [2013-05-10 19:23:34] 687*2^1245784-1 is not prime. Res64: 0EFE36E98A405F72 Time : 0.0 sec. user=mdettweiler [2013-05-10 19:27:16] 833*2^1245784-1 is not prime. Res64: 57F3202361913476 Time : 0.0 sec. user=mdettweiler [2013-05-10 19:27:16] 993*2^1245784-1 is not prime. Res64: 683EC3B7870A0303 Time : 0.0 sec. user=mdettweiler [2013-05-10 19:41:40] 607*2^1245785-1 is not prime. Res64: 87BF26EF18AF87B7 Time : 0.0 sec. user=mdettweiler [2013-05-10 19:41:41] 715*2^1245785-1 is not prime. Res64: 4668357CC67E6599 Time : 0.0 sec. user=mdettweiler [2013-05-10 19:45:29] 889*2^1245785-1 is not prime. Res64: 0497436386146678 Time : 0.0 sec. user=mdettweiler [2013-05-10 20:00:11] 741*2^1245786-1 is not prime. Res64: 8F7CAAA20E98ADAF Time : 0.0 sec. user=mdettweiler [2013-05-10 20:07:42] 969*2^1245785-1 is not prime. Res64: BC204D76065EC878 Time : 0.0 sec. user=vaughan [2013-05-10 20:14:06] 711*2^1245786-1 is not prime. Res64: 646B7F5319E7304D Time : 0.0 sec. user=mdettweiler [2013-05-10 20:21:55] 821*2^1245786-1 is not prime. Res64: 9A2E0F7F9EFB67A1 Time : 0.0 sec. user=mdettweiler [2013-05-10 20:26:05] 867*2^1245786-1 is not prime. Res64: 368F7F7C43A47664 Time : 0.0 sec. user=mdettweiler [2013-05-10 20:26:05] 881*2^1245786-1 is not prime. Res64: 22639788F66DC126 Time : 0.0 sec. user=mdettweiler [2013-05-10 20:44:09] 917*2^1245786-1 is not prime. Res64: F19359C3B778E4CA Time : 0.0 sec. user=mdettweiler [2013-05-10 20:44:09] 645*2^1245787-1 is not prime. Res64: 44225472A24418CB Time : 0.0 sec. user=vaughan [2013-05-10 20:52:35] 893*2^1245786-1 is not prime. Res64: 16ED934EE6F53004 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:02:10] 675*2^1245787-1 is not prime. Res64: 74C2FF7FBE330AE8 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:02:11] 793*2^1245787-1 is not prime. Res64: 1558097B33D855B8 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:07:25] 805*2^1245787-1 is not prime. Res64: 8FD00AC3A80F2E72 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:20:48] 759*2^1245788-1 is not prime. Res64: E6355F1FFB03B796 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:20:49] 797*2^1245788-1 is not prime. Res64: 5EE35095336A4685 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:30:43] 629*2^1245788-1 is not prime. Res64: 6108B81B420963AC Time : 0.0 sec. user=vaughan [2013-05-10 21:31:02] 635*2^1245788-1 is not prime. Res64: 0953EFBAF074E69D Time : 0.0 sec. user=mdettweiler [2013-05-10 21:39:47] 843*2^1245788-1 is not prime. Res64: B2D135AE04131808 Time : 0.0 sec. user=mdettweiler [2013-05-10 21:50:03] 639*2^1245789-1 is not prime. Res64: 4B0FE3C0F313D998 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:10:41] 669*2^1245789-1 is not prime. Res64: 27B450132DF85732 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:18:43] 855*2^1245788-1 is not prime. Res64: 12C61A1124F0E509 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:29:25] 787*2^1245789-1 is not prime. Res64: A516284DFE8A89D5 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:29:26] 825*2^1245789-1 is not prime. Res64: 3DFE1A21BB619F94 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:37:20] 829*2^1245789-1 is not prime. Res64: 326E9144FBEC4211 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:37:21] 889*2^1245789-1 is not prime. Res64: E00DC42945BED119 Time : 0.0 sec. user=vaughan [2013-05-10 22:46:55] 765*2^1245789-1 is not prime. Res64: 9725004E41500046 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:48:18] 961*2^1245789-1 is not prime. Res64: 9484D0339BEB0899 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:56:28] 713*2^1245790-1 is not prime. Res64: 81F1489983CA2CA1 Time : 0.0 sec. user=mdettweiler [2013-05-10 22:56:28] 717*2^1245790-1 is not prime. Res64: 5685202BE63079BA Time : 0.0 sec. user=mdettweiler [2013-05-10 23:12:24] 979*2^1245789-1 is not prime. Res64: 2B68C177DCD25739 Time : 0.0 sec. user=mdettweiler [2013-05-10 23:15:54] 723*2^1245790-1 is not prime. Res64: AA8818348BD99BAC Time : 0.0 sec. user=mdettweiler [2013-05-10 23:15:54] 783*2^1245790-1 is not prime. Res64: 3B52C31A963A3C3D Time : 0.0 sec. user=mdettweiler [2013-05-10 23:35:28] 833*2^1245790-1 is not prime. Res64: D983EC7ECBA6C56B Time : 0.0 sec.