user=mdettweiler [2013-07-02 00:03:50] 975*2^1247334-1 is not prime. Res64: FEA3CDE824F59996 Time : 0.0 sec. user=mdettweiler [2013-07-02 00:35:03] 983*2^1247334-1 is not prime. Res64: 7B93333A288298E9 Time : 0.0 sec. user=mdettweiler [2013-07-02 00:52:18] 693*2^1247335-1 is not prime. Res64: 2CABA89061FD2369 Time : 0.0 sec. user=mdettweiler [2013-07-02 00:52:19] 763*2^1247335-1 is not prime. Res64: 0B26FF7577D57EFD Time : 0.0 sec. user=mdettweiler [2013-07-02 01:09:52] 855*2^1247335-1 is not prime. Res64: 98143E0F4FE8C66F Time : 0.0 sec. user=mdettweiler [2013-07-02 01:31:46] 883*2^1247335-1 is not prime. Res64: 8234AB44EBB51D92 Time : 0.0 sec. user=mdettweiler [2013-07-02 02:15:57] 919*2^1247335-1 is not prime. Res64: 96C710E73F849F3B Time : 0.0 sec. user=mdettweiler [2013-07-02 02:15:58] 657*2^1247336-1 is not prime. Res64: C71212453F528585 Time : 0.0 sec. user=mdettweiler [2013-07-02 02:33:17] 699*2^1247336-1 is not prime. Res64: 11B8AB7C4A201DB9 Time : 0.0 sec. user=mdettweiler [2013-07-02 02:33:35] 743*2^1247336-1 is not prime. Res64: 309C04AAD62C130E Time : 0.0 sec. user=mdettweiler [2013-07-02 03:18:31] 755*2^1247336-1 is not prime. Res64: F3DE01BC4DD20EC7 Time : 0.0 sec. user=mdettweiler [2013-07-02 03:18:32] 803*2^1247336-1 is not prime. Res64: 0663558C71323FF5 Time : 0.0 sec. user=mdettweiler [2013-07-02 03:35:48] 813*2^1247336-1 is not prime. Res64: A2DCD0EF4291D93C Time : 0.0 sec. user=mdettweiler [2013-07-02 03:35:48] 873*2^1247336-1 is not prime. Res64: 11D847CF0AE29219 Time : 0.0 sec. user=mdettweiler [2013-07-02 03:53:45] 897*2^1247336-1 is not prime. Res64: 80A988ED0E4A670F Time : 0.0 sec. user=mdettweiler [2013-07-02 03:53:46] 963*2^1247336-1 is not prime. Res64: E438B0A3A0AAF032 Time : 0.0 sec. user=mdettweiler [2013-07-02 04:10:52] 639*2^1247337-1 is not prime. Res64: 97A06C149851D0C3 Time : 0.0 sec. user=mdettweiler [2013-07-02 04:10:53] 781*2^1247337-1 is not prime. Res64: 1B39943F01173D55 Time : 0.0 sec. user=mdettweiler [2013-07-02 04:28:29] 817*2^1247337-1 is not prime. Res64: E3B22ABC5EAFC696 Time : 0.0 sec. user=mdettweiler [2013-07-02 04:57:44] 819*2^1247337-1 is not prime. Res64: C8C3C19479790047 Time : 0.0 sec. user=mdettweiler [2013-07-02 05:15:01] 847*2^1247337-1 is not prime. Res64: FC0C877D158F886B Time : 0.0 sec. user=mdettweiler [2013-07-02 05:15:03] 865*2^1247337-1 is not prime. Res64: C27700C669F331F4 Time : 0.0 sec. user=mdettweiler [2013-07-02 05:33:59] 979*2^1247337-1 is not prime. Res64: D4511F0B989AB2AD Time : 0.0 sec. user=mdettweiler [2013-07-02 06:04:32] 991*2^1247337-1 is not prime. Res64: 072EF594079F4456 Time : 0.0 sec. user=mdettweiler [2013-07-02 06:59:53] 687*2^1247338-1 is not prime. Res64: 20C286AD2E4003F6 Time : 0.0 sec. user=mdettweiler [2013-07-02 06:59:53] 777*2^1247338-1 is not prime. Res64: EE8F26BD0A9560E2 Time : 0.0 sec. user=mdettweiler [2013-07-02 07:17:31] 801*2^1247338-1 is not prime. Res64: A184E55F4D85EFC1 Time : 0.0 sec. user=mdettweiler [2013-07-02 07:52:09] 815*2^1247338-1 is not prime. Res64: CBB1175698684B5A Time : 0.0 sec. user=mdettweiler [2013-07-02 08:09:11] 861*2^1247338-1 is not prime. Res64: 790E120956D9F4D0 Time : 0.0 sec. user=mdettweiler [2013-07-02 08:09:12] 915*2^1247338-1 is not prime. Res64: 34F108C06BDFAFB0 Time : 0.0 sec. user=mdettweiler [2013-07-02 08:26:16] 675*2^1247339-1 is not prime. Res64: 61F117E42821C7F1 Time : 0.0 sec. user=mdettweiler [2013-07-02 08:26:17] 733*2^1247339-1 is not prime. Res64: D27DEF4AF6508476 Time : 0.0 sec. user=mdettweiler [2013-07-02 08:43:18] 741*2^1247339-1 is not prime. Res64: 8D75786F0BF61D27 Time : 0.0 sec. user=mdettweiler [2013-07-02 08:43:19] 771*2^1247339-1 is not prime. Res64: 014FBB9FD81EA9B0 Time : 0.0 sec. user=mdettweiler [2013-07-02 09:00:19] 775*2^1247339-1 is not prime. Res64: 5C5D37C8F65B1976 Time : 0.0 sec. user=mdettweiler [2013-07-02 09:00:20] 843*2^1247339-1 is not prime. Res64: 1A59725538E33578 Time : 0.0 sec. user=mdettweiler [2013-07-02 09:17:24] 855*2^1247339-1 is not prime. Res64: 8BE084C686B036BF Time : 0.0 sec. user=mdettweiler [2013-07-02 09:17:24] 859*2^1247339-1 is not prime. Res64: 8A218CB0C48BABC0 Time : 0.0 sec. user=mdettweiler [2013-07-02 09:34:25] 883*2^1247339-1 is not prime. Res64: E374933D9070746E Time : 0.0 sec. user=mdettweiler [2013-07-02 09:34:26] 939*2^1247339-1 is not prime. Res64: C888A19BE2A94F76 Time : 0.0 sec. user=mdettweiler [2013-07-02 09:52:15] 943*2^1247339-1 is not prime. Res64: 5DDFDEE8240EB9C1 Time : 0.0 sec. user=mdettweiler [2013-07-02 09:52:16] 999*2^1247339-1 is not prime. Res64: 3C188D60B0AF11E9 Time : 0.0 sec. user=mdettweiler [2013-07-02 10:09:40] 689*2^1247340-1 is not prime. Res64: 3D858E94FD000344 Time : 0.0 sec. user=mdettweiler [2013-07-02 10:09:40] 707*2^1247340-1 is not prime. Res64: BA3B5DE0A821124A Time : 0.0 sec. user=mdettweiler [2013-07-02 10:26:57] 717*2^1247340-1 is not prime. Res64: A8A43A144B8651C7 Time : 0.0 sec. user=mdettweiler [2013-07-02 10:26:57] 845*2^1247340-1 is not prime. Res64: 2BDD5F8B08FAE195 Time : 0.0 sec. user=mdettweiler [2013-07-02 10:44:07] 933*2^1247340-1 is not prime. Res64: 630378B46CB2AE48 Time : 0.0 sec. user=mdettweiler [2013-07-02 10:44:08] 615*2^1247341-1 is not prime. Res64: AC3512FFC8A602FD Time : 0.0 sec. user=mdettweiler [2013-07-02 11:01:31] 741*2^1247341-1 is not prime. Res64: 80CB2E6696E86FA6 Time : 0.0 sec. user=mdettweiler [2013-07-02 11:01:32] 769*2^1247341-1 is not prime. Res64: BD0DDA7F617FC6C7 Time : 0.0 sec. user=mdettweiler [2013-07-02 11:19:31] 805*2^1247341-1 is not prime. Res64: C7DFE3B4F9845689 Time : 0.0 sec. user=mdettweiler [2013-07-02 11:19:32] 693*2^1247342-1 is not prime. Res64: C4405E1A8494A6FF Time : 0.0 sec. user=mdettweiler [2013-07-02 11:37:44] 705*2^1247342-1 is not prime. Res64: 0EFFE7BD8CCB3EB2 Time : 0.0 sec. user=mdettweiler [2013-07-02 11:37:44] 771*2^1247342-1 is not prime. Res64: 42B460270E43FABE Time : 0.0 sec. user=mdettweiler [2013-07-02 11:55:29] 815*2^1247342-1 is not prime. Res64: 201AC63FB0E3443A Time : 0.0 sec. user=mdettweiler [2013-07-02 11:55:30] 885*2^1247342-1 is not prime. Res64: 4EFFA593A0FF3ABA Time : 0.0 sec. user=mdettweiler [2013-07-02 12:13:15] 953*2^1247342-1 is not prime. Res64: F555787076C2514B Time : 0.0 sec. user=mdettweiler [2013-07-02 12:13:15] 615*2^1247343-1 is not prime. Res64: 485F4BC25E902B14 Time : 0.0 sec. user=mdettweiler [2013-07-02 12:31:02] 675*2^1247343-1 is not prime. Res64: CA5E76005938D530 Time : 0.0 sec. user=mdettweiler [2013-07-02 12:31:02] 703*2^1247343-1 is not prime. Res64: 8DEB2BF6A260F3EC Time : 0.0 sec. user=mdettweiler [2013-07-02 12:48:48] 765*2^1247343-1 is not prime. Res64: 53699FE700BFA9B9 Time : 0.0 sec. user=mdettweiler [2013-07-02 12:48:48] 853*2^1247343-1 is not prime. Res64: 726EBF0B7B254565 Time : 0.0 sec. user=mdettweiler [2013-07-02 13:06:34] 873*2^1247343-1 is not prime. Res64: A238A0EA42AC19A1 Time : 0.0 sec. user=mdettweiler [2013-07-02 13:06:35] 945*2^1247343-1 is not prime. Res64: 69D6319A0FFEF6AD Time : 0.0 sec. user=mdettweiler [2013-07-02 13:24:21] 951*2^1247343-1 is not prime. Res64: D3BFE4E2D337B94A Time : 0.0 sec. user=mdettweiler [2013-07-02 13:24:21] 605*2^1247344-1 is not prime. Res64: F5F91D8E04B40223 Time : 0.0 sec. user=mdettweiler [2013-07-02 13:42:07] 677*2^1247344-1 is not prime. Res64: B6122F770ABE416D Time : 0.0 sec. user=mdettweiler [2013-07-02 13:42:07] 833*2^1247344-1 is not prime. Res64: 0AA0258A4465D0EB Time : 0.0 sec. user=mdettweiler [2013-07-02 14:00:44] 917*2^1247344-1 is not prime. Res64: F911ED8D119A135E Time : 0.0 sec. user=mdettweiler [2013-07-02 14:00:45] 975*2^1247344-1 is not prime. Res64: 29DAD5F2C9C04304 Time : 0.0 sec. user=mdettweiler [2013-07-02 14:18:38] 601*2^1247345-1 is not prime. Res64: 296B3389CFF93898 Time : 0.0 sec. user=mdettweiler [2013-07-02 14:18:39] 619*2^1247345-1 is not prime. Res64: C4F904887087933B Time : 0.0 sec. user=mdettweiler [2013-07-02 14:36:25] 679*2^1247345-1 is not prime. Res64: 7A23F2AB37AE5525 Time : 0.0 sec. user=mdettweiler [2013-07-02 14:36:26] 721*2^1247345-1 is not prime. Res64: 813EB46B9ADB6175 Time : 0.0 sec. user=mdettweiler [2013-07-02 14:54:12] 727*2^1247345-1 is not prime. Res64: D52904C17465379B Time : 0.0 sec. user=mdettweiler [2013-07-02 14:54:12] 741*2^1247345-1 is not prime. Res64: 10872575C87530A3 Time : 0.0 sec. user=mdettweiler [2013-07-02 15:11:57] 789*2^1247345-1 is not prime. Res64: B070B5D62DC48A43 Time : 0.0 sec. user=mdettweiler [2013-07-02 15:11:58] 865*2^1247345-1 is not prime. Res64: 8FD1419AE376F52F Time : 0.0 sec. user=mdettweiler [2013-07-02 15:29:47] 867*2^1247345-1 is not prime. Res64: 1159A073B6CE13F7 Time : 0.0 sec. user=mdettweiler [2013-07-02 15:29:47] 871*2^1247345-1 is not prime. Res64: 7EDAC7EA185D2A66 Time : 0.0 sec. user=mdettweiler [2013-07-02 15:47:34] 955*2^1247345-1 is not prime. Res64: 5C6A48C61B2CF5C4 Time : 0.0 sec. user=mdettweiler [2013-07-02 15:47:35] 611*2^1247346-1 is not prime. Res64: 6D602C5C2C899BBB Time : 0.0 sec. user=mdettweiler [2013-07-02 16:05:22] 705*2^1247346-1 is not prime. Res64: FE0E293737B0BDFD Time : 0.0 sec. user=mdettweiler [2013-07-02 16:05:23] 755*2^1247346-1 is not prime. Res64: 0BC28BEF23D91D72 Time : 0.0 sec. user=mdettweiler [2013-07-02 16:23:15] 767*2^1247346-1 is not prime. Res64: 67979EE9E981EADD Time : 0.0 sec. user=mdettweiler [2013-07-02 16:23:15] 851*2^1247346-1 is not prime. Res64: 05287AD29C743880 Time : 0.0 sec. user=mdettweiler [2013-07-02 16:41:03] 873*2^1247346-1 is not prime. Res64: 3414E495D72CFD14 Time : 0.0 sec. user=mdettweiler [2013-07-02 16:41:03] 905*2^1247346-1 is not prime. Res64: 368574697C6ED22C Time : 0.0 sec. user=mdettweiler [2013-07-02 16:59:45] 963*2^1247346-1 is not prime. Res64: 96313C547E845E2A Time : 0.0 sec. user=mdettweiler [2013-07-02 16:59:46] 603*2^1247347-1 is not prime. Res64: 1585DFEA813C2E1B Time : 0.0 sec. user=mdettweiler [2013-07-02 17:17:38] 633*2^1247347-1 is not prime. Res64: 234F942F0EE04295 Time : 0.0 sec. user=mdettweiler [2013-07-02 17:17:39] 691*2^1247347-1 is not prime. Res64: FF143161FC7E66ED Time : 0.0 sec. user=mdettweiler [2013-07-02 17:35:49] 703*2^1247347-1 is not prime. Res64: AD24F017425487BF Time : 0.0 sec. user=mdettweiler [2013-07-02 17:35:50] 919*2^1247347-1 is not prime. Res64: 39A003B7DE8127C5 Time : 0.0 sec. user=mdettweiler [2013-07-02 17:54:06] 951*2^1247347-1 is not prime. Res64: ED203B5926C2462C Time : 0.0 sec. user=mdettweiler [2013-07-02 17:54:06] 707*2^1247348-1 is not prime. Res64: 69E4FBC5F3E8906E Time : 0.0 sec. user=mdettweiler [2013-07-02 18:12:17] 735*2^1247348-1 is not prime. Res64: 8FA005D68655FD8E Time : 0.0 sec. user=mdettweiler [2013-07-02 18:12:17] 795*2^1247348-1 is not prime. Res64: 413951B82F61C94A Time : 0.0 sec. user=mdettweiler [2013-07-02 18:31:45] 963*2^1247348-1 is not prime. Res64: C01B11E1BC4B1F04 Time : 0.0 sec. user=mdettweiler [2013-07-02 18:31:45] 995*2^1247348-1 is not prime. Res64: 0DF610066DBAC96A Time : 0.0 sec. user=mdettweiler [2013-07-02 18:49:26] 625*2^1247349-1 is not prime. Res64: F7FAC6CCBE264F69 Time : 0.0 sec. user=mdettweiler [2013-07-02 18:49:26] 627*2^1247349-1 is not prime. Res64: 1D3809E6A771F3BF Time : 0.0 sec. user=mdettweiler [2013-07-02 19:07:07] 649*2^1247349-1 is not prime. Res64: 7282BE8DF3F55B47 Time : 0.0 sec. user=mdettweiler [2013-07-02 19:07:08] 661*2^1247349-1 is not prime. Res64: 09A8BF8033778915 Time : 0.0 sec. user=mdettweiler [2013-07-02 19:24:54] 675*2^1247349-1 is not prime. Res64: 7A358D991379A544 Time : 0.0 sec. user=mdettweiler [2013-07-02 19:24:55] 709*2^1247349-1 is not prime. Res64: 7A8C96174D722102 Time : 0.0 sec. user=mdettweiler [2013-07-02 19:42:34] 711*2^1247349-1 is not prime. Res64: 8EE9F769736DD4EE Time : 0.0 sec. user=mdettweiler [2013-07-02 19:42:34] 741*2^1247349-1 is not prime. Res64: 16BB370CB92394D5 Time : 0.0 sec. user=mdettweiler [2013-07-02 20:01:05] 955*2^1247349-1 is not prime. Res64: 885B84F374A5694D Time : 0.0 sec. user=mdettweiler [2013-07-02 20:01:06] 975*2^1247349-1 is not prime. Res64: D4D08040AE5373CA Time : 0.0 sec. user=mdettweiler [2013-07-02 20:20:53] 611*2^1247350-1 is not prime. Res64: FB4ADEBE92901A0A Time : 0.0 sec. user=mdettweiler [2013-07-02 20:20:54] 657*2^1247350-1 is not prime. Res64: 0BCC37EA2E9455A0 Time : 0.0 sec. user=mdettweiler [2013-07-02 20:38:42] 713*2^1247350-1 is not prime. Res64: 2958D51697C574AB Time : 0.0 sec. user=mdettweiler [2013-07-02 20:38:42] 825*2^1247350-1 is not prime. Res64: D6C0643C6CB91F5F Time : 0.0 sec. user=mdettweiler [2013-07-02 20:56:30] 827*2^1247350-1 is not prime. Res64: E7BE2CFEBFE711B3 Time : 0.0 sec. user=mdettweiler [2013-07-02 20:56:30] 887*2^1247350-1 is not prime. Res64: F52F2A43E8774BC9 Time : 0.0 sec. user=mdettweiler [2013-07-02 21:14:15] 923*2^1247350-1 is not prime. Res64: 27D205C185854596 Time : 0.0 sec. user=mdettweiler [2013-07-02 21:14:16] 951*2^1247350-1 is not prime. Res64: BA276B3AF99493C3 Time : 0.0 sec. user=mdettweiler [2013-07-02 21:32:54] 965*2^1247350-1 is not prime. Res64: D62811FD14630C45 Time : 0.0 sec. user=mdettweiler [2013-07-02 21:32:54] 783*2^1247351-1 is not prime. Res64: 5BBF541953EC78D8 Time : 0.0 sec. user=mdettweiler [2013-07-02 21:50:39] 895*2^1247351-1 is not prime. Res64: 2739E30182FB7A71 Time : 0.0 sec. user=mdettweiler [2013-07-02 21:50:40] 615*2^1247352-1 is not prime. Res64: 33E7BCA1F4DB032A Time : 0.0 sec. user=mdettweiler [2013-07-02 22:08:50] 675*2^1247352-1 is not prime. Res64: 9D81A4958A825D28 Time : 0.0 sec. user=mdettweiler [2013-07-02 22:08:51] 857*2^1247352-1 is not prime. Res64: BF3FF86CDB141560 Time : 0.0 sec. user=mdettweiler [2013-07-02 22:26:38] 915*2^1247352-1 is not prime. Res64: D95068AC96E3D00B Time : 0.0 sec. user=mdettweiler [2013-07-02 22:26:38] 607*2^1247353-1 is not prime. Res64: 22A0BE3F497876A7 Time : 0.0 sec. user=mdettweiler [2013-07-02 22:45:03] 741*2^1247353-1 is not prime. Res64: 9158C3EDC1DDF801 Time : 0.0 sec. user=mdettweiler [2013-07-02 22:45:03] 747*2^1247353-1 is not prime. Res64: E595F0B974F71DED Time : 0.0 sec. user=mdettweiler [2013-07-02 23:02:50] 789*2^1247353-1 is not prime. Res64: 386955F8D80F0145 Time : 0.0 sec. user=mdettweiler [2013-07-02 23:02:52] 861*2^1247353-1 is not prime. Res64: 85674691281E10B8 Time : 0.0 sec. user=mdettweiler [2013-07-02 23:20:59] 895*2^1247353-1 is not prime. Res64: E6E23FD78A6F0482 Time : 0.0 sec. user=mdettweiler [2013-07-02 23:20:59] 945*2^1247353-1 is not prime. Res64: CA58325A6653EFD5 Time : 0.0 sec. user=mdettweiler [2013-07-02 23:38:50] 623*2^1247354-1 is not prime. Res64: DE337BCB50AE81CD Time : 0.0 sec. user=mdettweiler [2013-07-02 23:38:50] 641*2^1247354-1 is not prime. Res64: 82A31CBCA42DB13C Time : 0.0 sec. user=mdettweiler [2013-07-02 23:56:37] 645*2^1247354-1 is not prime. Res64: 6A64057C81FC6479 Time : 0.0 sec. user=mdettweiler [2013-07-02 23:56:37] 683*2^1247354-1 is not prime. Res64: 65CBC1E5324100B4 Time : 0.0 sec.