user=mdettweiler [2013-08-27 00:05:31] 625*2^1251907-1 is not prime. Res64: 6A945394A392FC16 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:05:33] 633*2^1251907-1 is not prime. Res64: F8A6BFB81467398D Time : 0.0 sec. user=mdettweiler [2013-08-27 00:05:43] 645*2^1251907-1 is not prime. Res64: FBB04F4E830ACDA9 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:05:44] 673*2^1251907-1 is not prime. Res64: EB766D065152B395 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:06:03] 1001*2^1251906-1 is not prime. Res64: 117DC14B1015CFC7 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:06:04] 609*2^1251907-1 is not prime. Res64: 35D9FF71D81057FC Time : 0.0 sec. user=mdettweiler [2013-08-27 00:10:31] 705*2^1251907-1 is not prime. Res64: 7C7FC1B973F39BDA Time : 0.0 sec. user=mdettweiler [2013-08-27 00:10:32] 735*2^1251907-1 is not prime. Res64: 990A145C831F7FD2 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:25:47] 751*2^1251907-1 is not prime. Res64: D6F811DBBD30C87B Time : 0.0 sec. user=mdettweiler [2013-08-27 00:25:48] 805*2^1251907-1 is not prime. Res64: B65F3EBF30C0486A Time : 0.0 sec. user=mdettweiler [2013-08-27 00:26:10] 773*2^1251908-1 is not prime. Res64: E2D8F1D8AC1C7982 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:26:11] 797*2^1251908-1 is not prime. Res64: D168D03AE401AA58 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:26:47] 883*2^1251907-1 is not prime. Res64: 421AD0691AF961E5 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:26:47] 979*2^1251907-1 is not prime. Res64: BB60D1AA05384207 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:31:34] 819*2^1251908-1 is not prime. Res64: 9D8A3010F3DDAAAA Time : 0.0 sec. user=mdettweiler [2013-08-27 00:31:34] 899*2^1251908-1 is not prime. Res64: 16A54E3CA203196A Time : 0.0 sec. user=mdettweiler [2013-08-27 00:46:53] 675*2^1251909-1 is not prime. Res64: 3C4DC4165F8B34F5 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:46:53] 727*2^1251909-1 is not prime. Res64: B60733A3E19C44EB Time : 0.0 sec. user=mdettweiler [2013-08-27 00:47:17] 999*2^1251908-1 is not prime. Res64: 5092AA9B454359F2 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:47:17] 601*2^1251909-1 is not prime. Res64: 1D456196A03F7840 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:47:49] 923*2^1251908-1 is not prime. Res64: 59467D109C742FE4 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:47:50] 963*2^1251908-1 is not prime. Res64: 4899131F8216BEEF Time : 0.0 sec. user=mdettweiler [2013-08-27 00:52:38] 741*2^1251909-1 is not prime. Res64: BA050B868EE85086 Time : 0.0 sec. user=mdettweiler [2013-08-27 00:52:39] 891*2^1251909-1 is not prime. Res64: 8447F737D63D65A4 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:08:03] 681*2^1251910-1 is not prime. Res64: E30D7BB8ED6BB85B Time : 0.0 sec. user=mdettweiler [2013-08-27 01:08:04] 885*2^1251910-1 is not prime. Res64: DC56D08DA022F0CC Time : 0.0 sec. user=mdettweiler [2013-08-27 01:08:16] 999*2^1251909-1 is not prime. Res64: C174D8897EC2DD01 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:08:17] 603*2^1251910-1 is not prime. Res64: E7B027BD35FE37D3 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:08:52] 969*2^1251909-1 is not prime. Res64: 8B1CE15600D7C463 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:08:52] 997*2^1251909-1 is not prime. Res64: 5E0F98AA77B000DA Time : 0.0 sec. user=mdettweiler [2013-08-27 01:14:37] 911*2^1251910-1 is not prime. Res64: 3368DD6BE2036086 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:14:38] 981*2^1251910-1 is not prime. Res64: C38C8F71EFD152DA Time : 0.0 sec. user=mdettweiler [2013-08-27 01:28:11] 609*2^1251911-1 is not prime. Res64: 1E0BA7B5D6BA2993 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:28:12] 825*2^1251911-1 is not prime. Res64: 61BAA581E671A8F2 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:28:21] 837*2^1251912-1 is not prime. Res64: 30C7613ED800C166 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:28:22] 879*2^1251912-1 is not prime. Res64: 132BE53B6B8E027C Time : 0.0 sec. user=mdettweiler [2013-08-27 01:29:53] 887*2^1251912-1 is not prime. Res64: D60E54BB74CEAF6C Time : 0.0 sec. user=mdettweiler [2013-08-27 01:29:53] 691*2^1251913-1 is not prime. Res64: 4B046FE4D02EA204 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:34:38] 699*2^1251913-1 is not prime. Res64: 854155B01457CE31 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:34:39] 729*2^1251913-1 is not prime. Res64: AFE00303A4698EE5 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:48:16] 747*2^1251913-1 is not prime. Res64: 02F1A9B9F50A7F9F Time : 0.0 sec. user=mdettweiler [2013-08-27 01:48:16] 829*2^1251913-1 is not prime. Res64: 827DA1080F7C1A18 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:49:30] 867*2^1251913-1 is not prime. Res64: A1A0B7F2B42CB3F8 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:49:31] 901*2^1251913-1 is not prime. Res64: 15127570D65EDDD2 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:51:50] 937*2^1251913-1 is not prime. Res64: 6BD7E31AEC1BCA48 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:51:51] 987*2^1251913-1 is not prime. Res64: 673B644EDDFB91DB Time : 0.0 sec. user=mdettweiler [2013-08-27 01:54:46] 671*2^1251914-1 is not prime. Res64: C298CE91EA4E9D33 Time : 0.0 sec. user=mdettweiler [2013-08-27 01:54:47] 705*2^1251914-1 is not prime. Res64: 25B35A525A5213B9 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:08:21] 773*2^1251914-1 is not prime. Res64: 1388965E78230839 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:08:22] 791*2^1251914-1 is not prime. Res64: D104B3DFDB159D52 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:10:34] 837*2^1251914-1 is not prime. Res64: 2072FC3762868C42 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:10:35] 927*2^1251914-1 is not prime. Res64: 8E61C8F6D3C26F2D Time : 0.0 sec. user=mdettweiler [2013-08-27 02:13:55] 935*2^1251914-1 is not prime. Res64: 1A5720E29395F583 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:13:56] 971*2^1251914-1 is not prime. Res64: 62F5840BE4E7472E Time : 0.0 sec. user=mdettweiler [2013-08-27 02:15:49] 1001*2^1251914-1 is not prime. Res64: 701D8E45A5C72FE1 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:15:50] 679*2^1251915-1 is not prime. Res64: E6A21DB60ABD926D Time : 0.0 sec. user=mdettweiler [2013-08-27 02:28:32] 765*2^1251915-1 is not prime. Res64: 2EC9BD31CC32DF7C Time : 0.0 sec. user=mdettweiler [2013-08-27 02:28:33] 805*2^1251915-1 is not prime. Res64: 06B81B7669F5E1CB Time : 0.0 sec. user=mdettweiler [2013-08-27 02:30:39] 819*2^1251915-1 is not prime. Res64: C4BCD9B21C2FE2EC Time : 0.0 sec. user=mdettweiler [2013-08-27 02:30:40] 873*2^1251915-1 is not prime. Res64: 4B2B8D383E93979B Time : 0.0 sec. user=mdettweiler [2013-08-27 02:33:59] 657*2^1251916-1 is not prime. Res64: 4A22F0506F893FF0 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:34:00] 677*2^1251916-1 is not prime. Res64: D3753A07C21B992D Time : 0.0 sec. user=mdettweiler [2013-08-27 02:35:49] 803*2^1251916-1 is not prime. Res64: 5F4A9B8574B7C57F Time : 0.0 sec. user=mdettweiler [2013-08-27 02:35:51] 845*2^1251916-1 is not prime. Res64: 912B3BDBB7D75FCC Time : 0.0 sec. user=mdettweiler [2013-08-27 02:50:32] 905*2^1251916-1 is not prime. Res64: 89E85B8B6875CA7C Time : 0.0 sec. user=mdettweiler [2013-08-27 02:50:33] 947*2^1251916-1 is not prime. Res64: 0825EC2451768FE6 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:51:42] 957*2^1251916-1 is not prime. Res64: 8C5314E85E539AFA Time : 0.0 sec. user=mdettweiler [2013-08-27 02:51:43] 619*2^1251917-1 is not prime. Res64: 161048F356C645AD Time : 0.0 sec. user=mdettweiler [2013-08-27 02:54:06] 651*2^1251917-1 is not prime. Res64: 4659DFF2C8023771 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:54:06] 711*2^1251917-1 is not prime. Res64: 482529F7D73E49C4 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:55:57] 757*2^1251917-1 is not prime. Res64: 6813EA13ABE31EB8 Time : 0.0 sec. user=mdettweiler [2013-08-27 02:55:57] 801*2^1251917-1 is not prime. Res64: 8F4627FA1EA166DD Time : 0.0 sec. user=mdettweiler [2013-08-27 03:11:34] 837*2^1251917-1 is not prime. Res64: 7F1E9C0F2293F4D5 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:11:36] 945*2^1251917-1 is not prime. Res64: C5B4C50439FFD768 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:11:45] 627*2^1251918-1 is not prime. Res64: F60CFAEAAED93A98 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:11:46] 707*2^1251918-1 is not prime. Res64: 5A146ED7278CABC7 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:14:09] 795*2^1251918-1 is not prime. Res64: 2735813065C8899E Time : 0.0 sec. user=mdettweiler [2013-08-27 03:14:09] 797*2^1251918-1 is not prime. Res64: CBADFCD57D083469 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:16:52] 821*2^1251918-1 is not prime. Res64: 4D535778AF8DA3EE Time : 0.0 sec. user=mdettweiler [2013-08-27 03:16:52] 993*2^1251918-1 is not prime. Res64: BEBBCE58C39273D6 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:31:57] 735*2^1251919-1 is not prime. Res64: 725ABEE02181D02B Time : 0.0 sec. user=mdettweiler [2013-08-27 03:31:59] 811*2^1251919-1 is not prime. Res64: 746E4214711D36D0 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:32:10] 709*2^1251919-1 is not prime. Res64: 1BB18567746EAA3D Time : 0.0 sec. user=mdettweiler [2013-08-27 03:32:11] 729*2^1251919-1 is not prime. Res64: A3ED4F84A6544020 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:34:30] 843*2^1251919-1 is not prime. Res64: 77EA4227D33A3A95 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:34:31] 635*2^1251920-1 is not prime. Res64: 4F793512EA2C36C8 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:37:10] 713*2^1251920-1 is not prime. Res64: 00CB69534E3EDD7C Time : 0.0 sec. user=mdettweiler [2013-08-27 03:37:11] 827*2^1251920-1 is not prime. Res64: 19A60E965202A35C Time : 0.0 sec. user=mdettweiler [2013-08-27 03:52:21] 735*2^1251921-1 is not prime. Res64: B5C8BE0BCCC9A6F1 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:52:21] 625*2^1251921-1 is not prime. Res64: 43014037EF4F6CE2 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:52:21] 741*2^1251921-1 is not prime. Res64: D13671EFC9FA61C9 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:52:21] 717*2^1251921-1 is not prime. Res64: 72B151FBBF2C95C3 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:54:41] 847*2^1251921-1 is not prime. Res64: 462E5AD7887EE335 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:54:41] 877*2^1251921-1 is not prime. Res64: 2BD61F46BA634961 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:58:06] 885*2^1251921-1 is not prime. Res64: 9FE504F3BDADB009 Time : 0.0 sec. user=mdettweiler [2013-08-27 03:58:07] 907*2^1251921-1 is not prime. Res64: 0BEF78B26EDEAEF9 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:12:26] 635*2^1251922-1 is not prime. Res64: 0741AB2CAFA649A4 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:12:27] 731*2^1251922-1 is not prime. Res64: BD648A00413830A2 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:14:20] 969*2^1251921-1 is not prime. Res64: ADB276CC516B1062 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:14:20] 987*2^1251921-1 is not prime. Res64: 8FBEBC94B3EEBC58 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:16:36] 887*2^1251922-1 is not prime. Res64: B2AE3BD89F0AA743 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:16:37] 945*2^1251922-1 is not prime. Res64: 18F1FD30B79E940C Time : 0.0 sec. user=mdettweiler [2013-08-27 04:18:10] 771*2^1251923-1 is not prime. Res64: 592D005C44D95BEE Time : 0.0 sec. user=mdettweiler [2013-08-27 04:18:10] 775*2^1251923-1 is not prime. Res64: 370AA2C80815F5B1 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:33:28] 805*2^1251923-1 is not prime. Res64: E5A726C77C715E74 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:33:30] 985*2^1251923-1 is not prime. Res64: FB66A4731AF41612 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:34:20] 837*2^1251924-1 is not prime. Res64: EEC4CFD88BCA3F57 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:34:21] 863*2^1251924-1 is not prime. Res64: E95F2BD0654F400E Time : 0.0 sec. user=mdettweiler [2013-08-27 04:38:15] 601*2^1251925-1 is not prime. Res64: D8826B80A7EF78E4 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:38:15] 675*2^1251925-1 is not prime. Res64: 541EBCA0414E8047 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:38:32] 965*2^1251924-1 is not prime. Res64: 893E30BCB4C04D41 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:38:32] 975*2^1251924-1 is not prime. Res64: 193EC3B5AADE64DA Time : 0.0 sec. user=mdettweiler [2013-08-27 04:53:47] 727*2^1251925-1 is not prime. Res64: 2E77C3F65DDBF103 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:53:47] 765*2^1251925-1 is not prime. Res64: 2C78070A324F4CA9 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:55:23] 855*2^1251925-1 is not prime. Res64: E95428D94422A18F Time : 0.0 sec. user=mdettweiler [2013-08-27 04:55:23] 915*2^1251925-1 is not prime. Res64: E62D2CEB6DDE104A Time : 0.0 sec. user=mdettweiler [2013-08-27 04:58:34] 603*2^1251926-1 is not prime. Res64: 2BAA407A9C07F146 Time : 0.0 sec. user=mdettweiler [2013-08-27 04:58:35] 615*2^1251926-1 is not prime. Res64: D15A18D5BB7DA0E8 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:00:10] 961*2^1251925-1 is not prime. Res64: 03E4076520F72B3F Time : 0.0 sec. user=mdettweiler [2013-08-27 05:00:12] 987*2^1251925-1 is not prime. Res64: EC28F6C3DA01A78A Time : 0.0 sec. user=mdettweiler [2013-08-27 05:13:52] 651*2^1251926-1 is not prime. Res64: FEB0DEF14A63699C Time : 0.0 sec. user=mdettweiler [2013-08-27 05:13:52] 707*2^1251926-1 is not prime. Res64: 75350227FE07B98F Time : 0.0 sec. user=mdettweiler [2013-08-27 05:15:28] 761*2^1251926-1 is not prime. Res64: 25DD4D37CEA44B22 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:15:29] 851*2^1251926-1 is not prime. Res64: D2257D5E9AD19439 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:20:39] 887*2^1251926-1 is not prime. Res64: 0DFF447C2E48ADC5 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:20:40] 893*2^1251926-1 is not prime. Res64: AC0C2FDA317A2D42 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:22:11] 971*2^1251926-1 is not prime. Res64: EDA4D4FB2BB763BA Time : 0.0 sec. user=mdettweiler [2013-08-27 05:22:11] 983*2^1251926-1 is not prime. Res64: E460030DB4D5132D Time : 0.0 sec. user=mdettweiler [2013-08-27 05:34:56] 1001*2^1251926-1 is not prime. Res64: 0D25617E306668A4 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:34:56] 601*2^1251927-1 is not prime. Res64: 972C2B9B28F3F3A4 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:35:36] 703*2^1251927-1 is not prime. Res64: 4AE04D97AF664A97 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:35:37] 751*2^1251927-1 is not prime. Res64: 95690D6B9D6EFC7F Time : 0.0 sec. user=mdettweiler [2013-08-27 05:40:50] 781*2^1251927-1 is not prime. Res64: 65990777331150C4 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:40:51] 829*2^1251927-1 is not prime. Res64: CAA52EFB094CDF6C Time : 0.0 sec. user=mdettweiler [2013-08-27 05:44:17] 895*2^1251927-1 is not prime. Res64: 03DC4107609D2013 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:44:18] 901*2^1251927-1 is not prime. Res64: F6C2EB919DC57BC1 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:55:44] 707*2^1251928-1 is not prime. Res64: 883509D5055BD4D4 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:55:45] 777*2^1251928-1 is not prime. Res64: 26D7645D15E5B978 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:56:00] 955*2^1251927-1 is not prime. Res64: 70C51252B9DB4AD6 Time : 0.0 sec. user=mdettweiler [2013-08-27 05:56:01] 629*2^1251928-1 is not prime. Res64: 355F92E5FC5225CE Time : 0.0 sec. user=mdettweiler [2013-08-27 06:00:58] 803*2^1251928-1 is not prime. Res64: 4FFBCC997F3B825B Time : 0.0 sec. user=mdettweiler [2013-08-27 06:01:00] 819*2^1251928-1 is not prime. Res64: C3FCF90A548A26F4 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:05:22] 849*2^1251928-1 is not prime. Res64: D6717769C73573E4 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:05:24] 897*2^1251928-1 is not prime. Res64: 147294877FEA14A2 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:16:09] 741*2^1251929-1 is not prime. Res64: E19E5BC86C917EA2 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:16:09] 837*2^1251929-1 is not prime. Res64: 680F562C9D6EA50A Time : 0.0 sec. user=mdettweiler [2013-08-27 06:17:38] 905*2^1251928-1 is not prime. Res64: 0DC5585A839D413F Time : 0.0 sec. user=mdettweiler [2013-08-27 06:17:39] 909*2^1251928-1 is not prime. Res64: A40DDEC81BC7493A Time : 0.0 sec. user=mdettweiler [2013-08-27 06:22:01] 939*2^1251929-1 is not prime. Res64: 90374EF9680BBCA9 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:22:01] 707*2^1251930-1 is not prime. Res64: 079A0CD487F83A08 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:25:27] 741*2^1251930-1 is not prime. Res64: FA0B30F531A28343 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:25:27] 783*2^1251930-1 is not prime. Res64: BC1C1F47F2B25A06 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:36:15] 803*2^1251930-1 is not prime. Res64: ED4F1FFB20BC607A Time : 0.0 sec. user=mdettweiler [2013-08-27 06:36:16] 861*2^1251930-1 is not prime. Res64: 62D41CD975F9205D Time : 0.0 sec. user=mdettweiler [2013-08-27 06:38:40] 873*2^1251930-1 is not prime. Res64: 634AEE4AED78D7D7 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:38:40] 927*2^1251930-1 is not prime. Res64: 7820798E66B4997A Time : 0.0 sec. user=mdettweiler [2013-08-27 06:42:02] 733*2^1251931-1 is not prime. Res64: 3B3A4F06DE248475 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:42:03] 829*2^1251931-1 is not prime. Res64: F39FF09805FD7B74 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:47:24] 943*2^1251931-1 is not prime. Res64: ED03A7B898309381 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:47:25] 993*2^1251931-1 is not prime. Res64: AC421B5EEAAA8B54 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:56:19] 635*2^1251932-1 is not prime. Res64: BCA3B7ABE71C5080 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:56:20] 657*2^1251932-1 is not prime. Res64: 9D89561AD7CB33E4 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:58:40] 753*2^1251932-1 is not prime. Res64: 3504AC9BDB65EF41 Time : 0.0 sec. user=mdettweiler [2013-08-27 06:58:41] 797*2^1251932-1 is not prime. Res64: 9453CEF10ED2A20A Time : 0.0 sec. user=mdettweiler [2013-08-27 07:02:13] 803*2^1251932-1 is not prime. Res64: 09676E90063E7503 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:02:14] 837*2^1251932-1 is not prime. Res64: A7EB996F17E336AB Time : 0.0 sec. user=mdettweiler [2013-08-27 07:08:22] 855*2^1251932-1 is not prime. Res64: ED2C19DBE2CD692B Time : 0.0 sec. user=mdettweiler [2013-08-27 07:08:24] 977*2^1251932-1 is not prime. Res64: 023E10D8A349F4AE Time : 0.0 sec. user=mdettweiler [2013-08-27 07:16:19] 609*2^1251933-1 is not prime. Res64: 691B0CD3BDC234BA Time : 0.0 sec. user=mdettweiler [2013-08-27 07:16:19] 685*2^1251933-1 is not prime. Res64: E5CB95711ACA0A92 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:18:46] 805*2^1251933-1 is not prime. Res64: 02560C46C9849052 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:18:47] 861*2^1251933-1 is not prime. Res64: 663A0A7873DFC9F1 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:24:06] 915*2^1251933-1 is not prime. Res64: 661CABFDE56FEA77 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:24:07] 921*2^1251933-1 is not prime. Res64: ECF1F98B734A1D10 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:29:24] 999*2^1251933-1 is not prime. Res64: F5D59776852194C9 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:29:25] 635*2^1251934-1 is not prime. Res64: 7A7CBD037EBD305E Time : 0.0 sec. user=mdettweiler [2013-08-27 07:36:17] 651*2^1251934-1 is not prime. Res64: FFA234D4D7F62F0C Time : 0.0 sec. user=mdettweiler [2013-08-27 07:36:18] 681*2^1251934-1 is not prime. Res64: CA9142156DB86C79 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:38:45] 741*2^1251934-1 is not prime. Res64: 56F9BBF26D7AB779 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:38:45] 791*2^1251934-1 is not prime. Res64: D30DDAB76AB4134B Time : 0.0 sec. user=mdettweiler [2013-08-27 07:45:02] 827*2^1251934-1 is not prime. Res64: C9B8BCD14B949FE7 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:45:02] 915*2^1251934-1 is not prime. Res64: 84FFE38E2007CDA1 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:51:16] 945*2^1251934-1 is not prime. Res64: E0EE7779E396B4E5 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:51:17] 947*2^1251934-1 is not prime. Res64: 3BF9D9B67494C571 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:56:18] 799*2^1251935-1 is not prime. Res64: 9ECBCA87E36BEAA9 Time : 0.0 sec. user=mdettweiler [2013-08-27 07:56:19] 841*2^1251935-1 is not prime. Res64: EEFC7A78ACE9ECBB Time : 0.0 sec. user=mdettweiler [2013-08-27 07:58:44] 615*2^1251936-1 is not prime. Res64: A3B35CE7A8516D2F Time : 0.0 sec. user=mdettweiler [2013-08-27 07:58:44] 669*2^1251936-1 is not prime. Res64: EE8693E053041277 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:04:59] 735*2^1251936-1 is not prime. Res64: 364F4A53EBB6465E Time : 0.0 sec. user=mdettweiler [2013-08-27 08:05:01] 825*2^1251936-1 is not prime. Res64: E0731DC5D3EA9E37 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:11:20] 839*2^1251936-1 is not prime. Res64: 36BDDE4CB7633A97 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:11:21] 843*2^1251936-1 is not prime. Res64: CBF8516E2E4633FF Time : 0.0 sec. user=mdettweiler [2013-08-27 08:17:18] 845*2^1251936-1 is not prime. Res64: 0747BA7B60D1A7B7 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:17:19] 893*2^1251936-1 is not prime. Res64: 59DC3E4FAD053AFF Time : 0.0 sec. user=mdettweiler [2013-08-27 08:20:41] 923*2^1251936-1 is not prime. Res64: 4DC17765D9AB58B1 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:20:42] 957*2^1251936-1 is not prime. Res64: 73994BA97912A88A Time : 0.0 sec. user=mdettweiler [2013-08-27 08:25:10] 651*2^1251937-1 is not prime. Res64: CD9419DC24B7B7DA Time : 0.0 sec. user=mdettweiler [2013-08-27 08:25:11] 691*2^1251937-1 is not prime. Res64: D0B809827114F0EE Time : 0.0 sec. user=mdettweiler [2013-08-27 08:31:27] 805*2^1251937-1 is not prime. Res64: EE33B945C69E5D84 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:31:28] 817*2^1251937-1 is not prime. Res64: 304383934BDE9452 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:37:17] 847*2^1251937-1 is not prime. Res64: 2BF1E7C7DF8A0339 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:37:17] 671*2^1251938-1 is not prime. Res64: A0C56C0FEDCA7C66 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:40:48] 767*2^1251938-1 is not prime. Res64: 94F8355E97B1BDFC Time : 0.0 sec. user=mdettweiler [2013-08-27 08:40:48] 825*2^1251938-1 is not prime. Res64: D8FC888847B2D2F7 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:47:13] 977*2^1251938-1 is not prime. Res64: CD71EFE38FE4A449 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:47:14] 987*2^1251938-1 is not prime. Res64: DF6881559F5C6D1A Time : 0.0 sec. user=mdettweiler [2013-08-27 08:52:36] 995*2^1251938-1 is not prime. Res64: 5BEDD4FE1CEA4ACD Time : 0.0 sec. user=mdettweiler [2013-08-27 08:52:37] 609*2^1251939-1 is not prime. Res64: C6EE4575F6620F54 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:57:30] 663*2^1251939-1 is not prime. Res64: 6E3C57EBC3B78E71 Time : 0.0 sec. user=mdettweiler [2013-08-27 08:57:30] 709*2^1251939-1 is not prime. Res64: BF51F9ED3F7E05B2 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:02:13] 873*2^1251939-1 is not prime. Res64: 68535A63EFAA52F2 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:02:16] 891*2^1251939-1 is not prime. Res64: FD64247867AFB574 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:08:32] 895*2^1251939-1 is not prime. Res64: BA67CEE32B9AFB9C Time : 0.0 sec. user=mdettweiler [2013-08-27 09:08:33] 699*2^1251940-1 is not prime. Res64: 0930F2F567B72AA7 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:12:53] 857*2^1251940-1 is not prime. Res64: DF04D0811F7757DA Time : 0.0 sec. user=mdettweiler [2013-08-27 09:12:53] 873*2^1251940-1 is not prime. Res64: 3C5126636C196C28 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:18:41] 875*2^1251940-1 is not prime. Res64: 543E036A87E1848D Time : 0.0 sec. user=mdettweiler [2013-08-27 09:18:42] 927*2^1251940-1 is not prime. Res64: FEF7B1936A89184E Time : 0.0 sec. user=mdettweiler [2013-08-27 09:24:27] 929*2^1251940-1 is not prime. Res64: 8655236F06319191 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:24:28] 999*2^1251940-1 is not prime. Res64: 3AF3207CEAEAD9F3 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:28:49] 741*2^1251941-1 is not prime. Res64: 0E5DDF240867B6D1 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:28:49] 725*2^1251942-1 is not prime. Res64: AA8EECD8726AB569 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:34:12] 737*2^1251942-1 is not prime. Res64: A6154CA8897CF85D Time : 0.0 sec. user=mdettweiler [2013-08-27 09:34:13] 965*2^1251942-1 is not prime. Res64: 057A195720B2A31E Time : 0.0 sec. user=mdettweiler [2013-08-27 09:40:08] 633*2^1251943-1 is not prime. Res64: FE459F5A7944685C Time : 0.0 sec. user=mdettweiler [2013-08-27 09:40:08] 913*2^1251943-1 is not prime. Res64: F7A1C46796F552B2 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:46:09] 993*2^1251943-1 is not prime. Res64: 53C9C2661B4F068F Time : 0.0 sec. user=mdettweiler [2013-08-27 09:46:09] 675*2^1251944-1 is not prime. Res64: 7025214995BF9628 Time : 0.0 sec. user=mdettweiler [2013-08-27 09:49:40] 743*2^1251944-1 is not prime. Res64: 7A2D2C755BAE00BF Time : 0.0 sec. user=mdettweiler [2013-08-27 09:49:40] 819*2^1251944-1 is not prime. Res64: EC9D9D6C26283ADF Time : 0.0 sec. user=mdettweiler [2013-08-27 09:56:26] 833*2^1251944-1 is not prime. Res64: 34AB74D34D4D664C Time : 0.0 sec. user=mdettweiler [2013-08-27 09:56:27] 875*2^1251944-1 is not prime. Res64: C4C35F65C96C91C0 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:05:52] 995*2^1251944-1 is not prime. Res64: 36A45DBBDFC676FC Time : 0.0 sec. user=mdettweiler [2013-08-27 10:05:53] 895*2^1251945-1 is not prime. Res64: CF93F92D1C9178B9 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:13:21] 951*2^1251945-1 is not prime. Res64: 5142D3AA3DD5DF77 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:13:21] 979*2^1251945-1 is not prime. Res64: 078D018F65120F82 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:15:10] 657*2^1251946-1 is not prime. Res64: 91540E777119B195 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:15:10] 713*2^1251946-1 is not prime. Res64: 5BA5105B6C9D236D Time : 0.0 sec. user=mdettweiler [2013-08-27 10:20:25] 723*2^1251946-1 is not prime. Res64: B8AC33D40D8E8E56 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:20:26] 881*2^1251946-1 is not prime. Res64: 5BD298750580A5E1 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:29:37] 911*2^1251946-1 is not prime. Res64: 322D299FD5A0519C Time : 0.0 sec. user=mdettweiler [2013-08-27 10:29:37] 917*2^1251946-1 is not prime. Res64: 0B2EF70DE1C3F5D8 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:34:16] 733*2^1251947-1 is not prime. Res64: E7CD4E0B7EA6B3AE Time : 0.0 sec. user=mdettweiler [2013-08-27 10:34:16] 799*2^1251947-1 is not prime. Res64: 1C6301DADB77FB74 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:36:11] 805*2^1251947-1 is not prime. Res64: BE7A9003BBD25A1B Time : 0.0 sec. user=mdettweiler [2013-08-27 10:36:12] 819*2^1251947-1 is not prime. Res64: CCBF340DE8FA2EC1 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:41:08] 879*2^1251947-1 is not prime. Res64: 69D36789994BD47A Time : 0.0 sec. user=mdettweiler [2013-08-27 10:41:08] 883*2^1251947-1 is not prime. Res64: D64FCCABA1EF9DC4 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:51:01] 915*2^1251947-1 is not prime. Res64: F640BE242E3DA8D6 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:51:02] 707*2^1251948-1 is not prime. Res64: 777ABBF508EFD3A5 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:54:33] 765*2^1251948-1 is not prime. Res64: 87D59D5370BEFB53 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:54:33] 789*2^1251948-1 is not prime. Res64: 3867404F195E7705 Time : 0.0 sec. user=mdettweiler [2013-08-27 10:56:29] 797*2^1251948-1 is not prime. Res64: F8EE0235A8DD5E4F Time : 0.0 sec. user=mdettweiler [2013-08-27 10:56:29] 839*2^1251948-1 is not prime. Res64: 02FFE220B751B140 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:02:15] 969*2^1251948-1 is not prime. Res64: A92FA7000947B43C Time : 0.0 sec. user=mdettweiler [2013-08-27 11:02:15] 609*2^1251949-1 is not prime. Res64: 238DA210B2170BFA Time : 0.0 sec. user=mdettweiler [2013-08-27 11:11:15] 667*2^1251949-1 is not prime. Res64: 216436624F8BE4F9 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:11:15] 771*2^1251949-1 is not prime. Res64: 495F17D4480267B3 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:15:43] 867*2^1251949-1 is not prime. Res64: C3C947C343AE4C1D Time : 0.0 sec. user=mdettweiler [2013-08-27 11:15:43] 957*2^1251949-1 is not prime. Res64: 569C918B10E8D883 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:18:32] 987*2^1251949-1 is not prime. Res64: B064A04CB878F2D3 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:18:33] 999*2^1251949-1 is not prime. Res64: 5B2770096C5F7A51 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:22:23] 615*2^1251950-1 is not prime. Res64: 19A03D2419F58B77 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:22:24] 627*2^1251950-1 is not prime. Res64: 7B67490882663BCD Time : 0.0 sec. user=mdettweiler [2013-08-27 11:31:21] 635*2^1251950-1 is not prime. Res64: 16E4A2F0671826BD Time : 0.0 sec. user=mdettweiler [2013-08-27 11:31:21] 665*2^1251950-1 is not prime. Res64: 31C652C56EF80B8C Time : 0.0 sec. user=mdettweiler [2013-08-27 11:35:52] 717*2^1251950-1 is not prime. Res64: A7423F24B0ECB58E Time : 0.0 sec. user=mdettweiler [2013-08-27 11:35:53] 827*2^1251950-1 is not prime. Res64: F661AC911D12DFBB Time : 0.0 sec. user=mdettweiler [2013-08-27 11:40:39] 893*2^1251950-1 is not prime. Res64: 67A4BFE6857C2EC6 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:40:39] 897*2^1251950-1 is not prime. Res64: 7C31CFA5C5746648 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:43:35] 951*2^1251950-1 is not prime. Res64: 05DC8488CD231CD5 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:43:36] 609*2^1251951-1 is not prime. Res64: 104A1F0D16826081 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:51:48] 625*2^1251951-1 is not prime. Res64: 7E533964FD0C8943 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:51:49] 735*2^1251951-1 is not prime. Res64: E5C15F46ABF1EA9B Time : 0.0 sec. user=mdettweiler [2013-08-27 11:56:12] 783*2^1251951-1 is not prime. Res64: D838CB59D608B002 Time : 0.0 sec. user=mdettweiler [2013-08-27 11:56:12] 829*2^1251951-1 is not prime. Res64: 9C8759777894868C Time : 0.0 sec. user=mdettweiler [2013-08-27 12:03:10] 891*2^1251951-1 is not prime. Res64: 1724068CF2592536 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:03:11] 909*2^1251951-1 is not prime. Res64: 602A0FD2F96D15E8 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:04:08] 635*2^1251952-1 is not prime. Res64: EF5B63AA26094F12 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:04:08] 705*2^1251952-1 is not prime. Res64: 94C379AFF411200F Time : 0.0 sec. user=mdettweiler [2013-08-27 12:12:03] 735*2^1251952-1 is not prime. Res64: 2A40B6897F395339 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:12:03] 863*2^1251952-1 is not prime. Res64: FE209FF9385D43D1 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:18:37] 909*2^1251952-1 is not prime. Res64: 86045CB31641E105 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:18:37] 923*2^1251952-1 is not prime. Res64: 28E1A5BB76AF6920 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:23:57] 631*2^1251953-1 is not prime. Res64: 01DC98E64202AD8C Time : 0.0 sec. user=mdettweiler [2013-08-27 12:23:57] 759*2^1251953-1 is not prime. Res64: 0C7DAF745CF3A1F8 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:25:41] 831*2^1251953-1 is not prime. Res64: 654D5646F5E6F93A Time : 0.0 sec. user=mdettweiler [2013-08-27 12:25:41] 901*2^1251953-1 is not prime. Res64: BE4494C499337FF3 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:34:22] 915*2^1251953-1 is not prime. Res64: 108F1F1F9DA8490E Time : 0.0 sec. user=mdettweiler [2013-08-27 12:34:22] 937*2^1251953-1 is not prime. Res64: A26D9BDC512076FF Time : 0.0 sec. user=mdettweiler [2013-08-27 12:39:57] 967*2^1251953-1 is not prime. Res64: 1390186E9B1F9CBF Time : 0.0 sec. user=mdettweiler [2013-08-27 12:39:58] 611*2^1251954-1 is not prime. Res64: 7651A6653DE5C63F Time : 0.0 sec. user=mdettweiler [2013-08-27 12:44:23] 641*2^1251954-1 is not prime. Res64: CBFE0B035A079FD5 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:44:24] 663*2^1251954-1 is not prime. Res64: 392A06911D8DFBC7 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:46:01] 791*2^1251954-1 is not prime. Res64: EE29CD2A208E01D8 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:46:02] 825*2^1251954-1 is not prime. Res64: A4FFDD05C2512CB8 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:56:57] 893*2^1251954-1 is not prime. Res64: 5EBD925B813F37E2 Time : 0.0 sec. user=mdettweiler [2013-08-27 12:56:57] 915*2^1251954-1 is not prime. Res64: D3C37CAF7C584795 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:02:32] 947*2^1251954-1 is not prime. Res64: 1383A23B70F9A44C Time : 0.0 sec. user=mdettweiler [2013-08-27 13:02:33] 983*2^1251954-1 is not prime. Res64: 5E9B3BD1C3B16CC6 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:04:53] 723*2^1251955-1 is not prime. Res64: 9E16301379E921AD Time : 0.0 sec. user=mdettweiler [2013-08-27 13:04:54] 759*2^1251955-1 is not prime. Res64: B53B0422E6E8A30E Time : 0.0 sec. user=mdettweiler [2013-08-27 13:06:33] 793*2^1251955-1 is not prime. Res64: 16F9DC781CFBFC58 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:06:34] 819*2^1251955-1 is not prime. Res64: 008C36F699D6739F Time : 0.0 sec. user=mdettweiler [2013-08-27 13:18:26] 973*2^1251955-1 is not prime. Res64: D5A34912FE473C9E Time : 0.0 sec. user=mdettweiler [2013-08-27 13:18:26] 603*2^1251956-1 is not prime. Res64: 887B43013D62C30C Time : 0.0 sec. user=mdettweiler [2013-08-27 13:22:59] 623*2^1251956-1 is not prime. Res64: E015C4A07547139D Time : 0.0 sec. user=mdettweiler [2013-08-27 13:23:00] 725*2^1251956-1 is not prime. Res64: 9B251211706B6885 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:26:21] 855*2^1251956-1 is not prime. Res64: BE489181436DAE90 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:26:22] 969*2^1251956-1 is not prime. Res64: 1A56BE54E611F331 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:26:58] 649*2^1251957-1 is not prime. Res64: 6B2BECA16AFDFDFC Time : 0.0 sec. user=mdettweiler [2013-08-27 13:26:58] 699*2^1251957-1 is not prime. Res64: 19A48CEE217714CA Time : 0.0 sec. user=mdettweiler [2013-08-27 13:40:05] 885*2^1251957-1 is not prime. Res64: 902D73FCF30E56BB Time : 0.0 sec. user=mdettweiler [2013-08-27 13:40:05] 927*2^1251957-1 is not prime. Res64: 38E861499D3EB72D Time : 0.0 sec. user=mdettweiler [2013-08-27 13:44:36] 949*2^1251957-1 is not prime. Res64: 65AC1F786860A0D2 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:44:36] 651*2^1251958-1 is not prime. Res64: 3864F66DC4C04C4E Time : 0.0 sec. user=mdettweiler [2013-08-27 13:46:56] 743*2^1251958-1 is not prime. Res64: C7B4860F1379FEF2 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:46:56] 827*2^1251958-1 is not prime. Res64: 3BDB2B58E665FFC6 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:48:20] 885*2^1251958-1 is not prime. Res64: A0D746A4D15BC6D9 Time : 0.0 sec. user=mdettweiler [2013-08-27 13:48:20] 891*2^1251958-1 is not prime. Res64: B2341C07DAF5133E Time : 0.0 sec. user=mdettweiler [2013-08-27 14:02:43] 923*2^1251958-1 is not prime. Res64: BC740C0F723746DF Time : 0.0 sec. user=mdettweiler [2013-08-27 14:02:45] 941*2^1251958-1 is not prime. Res64: 0EC6CE432E2782CF Time : 0.0 sec. user=mdettweiler [2013-08-27 14:06:18] 945*2^1251958-1 is not prime. Res64: 5A4ADC39384D76E7 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:06:18] 703*2^1251959-1 is not prime. Res64: A6AEB1E911CB8476 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:07:36] 789*2^1251959-1 is not prime. Res64: EC5204A6C1A0DEA6 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:07:37] 855*2^1251959-1 is not prime. Res64: 950F5FDC02B79813 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:10:46] 909*2^1251959-1 is not prime. Res64: 79C493DC6C8712BD Time : 0.0 sec. user=mdettweiler [2013-08-27 14:10:47] 955*2^1251959-1 is not prime. Res64: 5195309C742F3573 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:24:31] 993*2^1251959-1 is not prime. Res64: ECE77F811599DBAC Time : 0.0 sec. user=mdettweiler [2013-08-27 14:24:32] 609*2^1251960-1 is not prime. Res64: 4AD9B44D22043A07 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:27:00] 777*2^1251960-1 is not prime. Res64: E7397F480F44F4EB Time : 0.0 sec. user=mdettweiler [2013-08-27 14:27:00] 797*2^1251960-1 is not prime. Res64: AED379B47D262243 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:29:14] 849*2^1251960-1 is not prime. Res64: A962A87484896009 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:29:15] 899*2^1251960-1 is not prime. Res64: 2B3617BF5E92BAF2 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:32:23] 959*2^1251960-1 is not prime. Res64: AD1CBDD2BA14BAE8 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:32:23] 835*2^1251961-1 is not prime. Res64: E5214A0FF046F675 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:46:06] 847*2^1251961-1 is not prime. Res64: B37B60048E393D59 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:46:06] 957*2^1251961-1 is not prime. Res64: 5145A207FF92E388 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:47:35] 731*2^1251962-1 is not prime. Res64: 59CD149422B90683 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:47:36] 753*2^1251962-1 is not prime. Res64: 8B130A794335FD35 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:50:49] 957*2^1251962-1 is not prime. Res64: 37FE777A8DD795DD Time : 0.0 sec. user=mdettweiler [2013-08-27 14:50:49] 739*2^1251963-1 is not prime. Res64: 8FC77E2DD6AF1B6C Time : 0.0 sec. user=mdettweiler [2013-08-27 14:52:59] 765*2^1251963-1 is not prime. Res64: FA1ED22C749C3C61 Time : 0.0 sec. user=mdettweiler [2013-08-27 14:52:59] 789*2^1251963-1 is not prime. Res64: 4C7C0BF7BDDCE3DA Time : 0.0 sec. user=mdettweiler [2013-08-27 15:07:58] 859*2^1251963-1 is not prime. Res64: 6C472226BC3B645D Time : 0.0 sec. user=mdettweiler [2013-08-27 15:07:59] 961*2^1251963-1 is not prime. Res64: 652AD3E2F07C6329 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:09:48] 969*2^1251963-1 is not prime. Res64: EC7D83B95F713F59 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:09:48] 615*2^1251964-1 is not prime. Res64: 0844835825E3CE6B Time : 0.0 sec. user=mdettweiler [2013-08-27 15:11:54] 665*2^1251964-1 is not prime. Res64: 9B8EFEF5CEEA95CB Time : 0.0 sec. user=mdettweiler [2013-08-27 15:11:54] 675*2^1251964-1 is not prime. Res64: 7BEE203C872D765D Time : 0.0 sec. user=mdettweiler [2013-08-27 15:14:12] 677*2^1251964-1 is not prime. Res64: 98B688363672CE00 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:14:13] 699*2^1251964-1 is not prime. Res64: EB1FDDA0849A3D35 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:30:18] 707*2^1251964-1 is not prime. Res64: E713ADF06E9D26D1 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:30:18] 719*2^1251964-1 is not prime. Res64: CA239B18782ACE4E Time : 0.0 sec. user=mdettweiler [2013-08-27 15:32:08] 783*2^1251964-1 is not prime. Res64: 0AEFB764079A2B6F Time : 0.0 sec. user=mdettweiler [2013-08-27 15:32:08] 857*2^1251964-1 is not prime. Res64: 81B472E215B14786 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:35:23] 875*2^1251964-1 is not prime. Res64: 5E0CD6EF9232ABD7 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:35:23] 939*2^1251964-1 is not prime. Res64: 387E9D293462E8F6 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:37:15] 993*2^1251964-1 is not prime. Res64: 75983755E33C7553 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:37:15] 715*2^1251965-1 is not prime. Res64: 6A88A91AEEBA6A7A Time : 0.0 sec. user=mdettweiler [2013-08-27 15:52:37] 759*2^1251965-1 is not prime. Res64: 1FAD4DAE86D541B4 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:52:38] 787*2^1251965-1 is not prime. Res64: F81D77B1421C2933 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:55:19] 819*2^1251965-1 is not prime. Res64: C9D075F71744FB35 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:55:19] 897*2^1251965-1 is not prime. Res64: 54736F81C805F7FF Time : 0.0 sec. user=mdettweiler [2013-08-27 15:59:26] 711*2^1251966-1 is not prime. Res64: 9CE58BA4910A7160 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:59:27] 741*2^1251966-1 is not prime. Res64: 3517EB709ABC9FE6 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:59:42] 915*2^1251965-1 is not prime. Res64: 2605CF34D14C2C92 Time : 0.0 sec. user=mdettweiler [2013-08-27 15:59:42] 955*2^1251965-1 is not prime. Res64: 386DCDBA89CE479A Time : 0.0 sec. user=mdettweiler [2013-08-27 16:14:34] 875*2^1251966-1 is not prime. Res64: A9571028CDB68C73 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:14:34] 625*2^1251967-1 is not prime. Res64: E323A298D2DDA4F0 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:18:22] 961*2^1251967-1 is not prime. Res64: C3FA17F3A0686A91 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:18:23] 603*2^1251968-1 is not prime. Res64: E7BBAB0EF9D62640 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:21:13] 699*2^1251968-1 is not prime. Res64: 10FD2AEF5EED29AE Time : 0.0 sec. user=mdettweiler [2013-08-27 16:21:13] 735*2^1251968-1 is not prime. Res64: 2BEE31741C80678E Time : 0.0 sec. user=mdettweiler [2013-08-27 16:21:33] 755*2^1251968-1 is not prime. Res64: A3E1A4E4D0DA441F Time : 0.0 sec. user=mdettweiler [2013-08-27 16:21:34] 797*2^1251968-1 is not prime. Res64: F09B0414A0E49C2E Time : 0.0 sec. user=mdettweiler [2013-08-27 16:37:47] 813*2^1251968-1 is not prime. Res64: B7F1F1D55091D081 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:37:47] 899*2^1251968-1 is not prime. Res64: 24AC123AFD6F14A8 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:42:09] 915*2^1251968-1 is not prime. Res64: ADF7F672980E45D6 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:42:09] 959*2^1251968-1 is not prime. Res64: 7AF19B38EE4BB65F Time : 0.0 sec. user=mdettweiler [2013-08-27 16:43:11] 685*2^1251969-1 is not prime. Res64: 3CE6FDFAD67510A3 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:43:11] 721*2^1251969-1 is not prime. Res64: A70213888CD344B7 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:43:44] 995*2^1251968-1 is not prime. Res64: 83E046B1593FDE03 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:43:44] 679*2^1251969-1 is not prime. Res64: 7558D6C31CD1EC25 Time : 0.0 sec. user=mdettweiler [2013-08-27 16:58:59] 647*2^1251970-1 is not prime. Res64: 2DFEA194628D90AF Time : 0.0 sec. user=mdettweiler [2013-08-27 16:59:00] 801*2^1251970-1 is not prime. Res64: 390EC600881E4053 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:03:27] 861*2^1251970-1 is not prime. Res64: 70861155B41718E9 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:03:28] 873*2^1251970-1 is not prime. Res64: CE6E6C831F144744 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:04:52] 703*2^1251971-1 is not prime. Res64: C353FFFE86499BB8 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:04:53] 801*2^1251971-1 is not prime. Res64: 6055FBC500B00A79 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:05:20] 941*2^1251970-1 is not prime. Res64: 819FEA8F47B18C82 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:05:21] 615*2^1251971-1 is not prime. Res64: 827A6EA222C17C8E Time : 0.0 sec. user=mdettweiler [2013-08-27 17:21:32] 949*2^1251971-1 is not prime. Res64: 57B2AE3E349D20A8 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:21:32] 973*2^1251971-1 is not prime. Res64: 333B422478B605A2 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:25:04] 753*2^1251972-1 is not prime. Res64: 148D8FFDDEEEB4A4 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:25:04] 899*2^1251972-1 is not prime. Res64: 94E6B4D603DAED39 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:26:59] 775*2^1251973-1 is not prime. Res64: 5FC1D54BC2FED463 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:27:00] 897*2^1251973-1 is not prime. Res64: E36D6F5B7FA5A36B Time : 0.0 sec. user=mdettweiler [2013-08-27 17:27:19] 903*2^1251972-1 is not prime. Res64: 4413A955CDF20B1B Time : 0.0 sec. user=mdettweiler [2013-08-27 17:27:20] 947*2^1251972-1 is not prime. Res64: C4BEC97B88430FC5 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:44:09] 955*2^1251973-1 is not prime. Res64: 17DD91110D162FCF Time : 0.0 sec. user=mdettweiler [2013-08-27 17:44:10] 961*2^1251973-1 is not prime. Res64: 7BE47DB9C864EA88 Time : 0.0 sec. user=mdettweiler [2013-08-27 17:46:40] 827*2^1251974-1 is not prime. Res64: 170AA9CF8459F65B Time : 0.0 sec. user=mdettweiler [2013-08-27 17:46:40] 921*2^1251974-1 is not prime. Res64: 4E2CD7CC5051F9CE Time : 0.0 sec. user=mdettweiler [2013-08-27 17:49:37] 945*2^1251974-1 is not prime. Res64: F001384145EBCF2D Time : 0.0 sec. user=mdettweiler [2013-08-27 17:49:37] 951*2^1251974-1 is not prime. Res64: 9DE467063EDCF64C Time : 0.0 sec. user=mdettweiler [2013-08-27 17:50:03] 965*2^1251974-1 is not prime. Res64: E736D0CBC2118A6E Time : 0.0 sec. user=mdettweiler [2013-08-27 17:50:04] 971*2^1251974-1 is not prime. Res64: E80DDD599FD4DF59 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:04:47] 649*2^1251975-1 is not prime. Res64: A97F2BA5DF721731 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:04:48] 723*2^1251975-1 is not prime. Res64: 99C9D2992E372162 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:07:10] 781*2^1251975-1 is not prime. Res64: FF95F22157CF645D Time : 0.0 sec. user=mdettweiler [2013-08-27 18:07:11] 849*2^1251975-1 is not prime. Res64: 8C7DDF6F413434B8 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:10:32] 717*2^1251976-1 is not prime. Res64: CCAFE1F2F3624BEE Time : 0.0 sec. user=mdettweiler [2013-08-27 18:10:33] 719*2^1251976-1 is not prime. Res64: 7F6CE0A3180E3EC8 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:11:09] 951*2^1251975-1 is not prime. Res64: 4370CC5ACFBEEA12 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:11:10] 617*2^1251976-1 is not prime. Res64: 922AF7DB7DB91143 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:25:26] 773*2^1251976-1 is not prime. Res64: 125DE8F97971B7AD Time : 0.0 sec. user=mdettweiler [2013-08-27 18:25:27] 855*2^1251976-1 is not prime. Res64: C35BB0CE67A5D830 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:28:42] 869*2^1251976-1 is not prime. Res64: 8EB6652BC9520463 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:28:42] 923*2^1251976-1 is not prime. Res64: 7C91129761805D98 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:32:29] 615*2^1251977-1 is not prime. Res64: 115E2CF40A13C26E Time : 0.0 sec. user=mdettweiler [2013-08-27 18:32:29] 627*2^1251977-1 is not prime. Res64: D7632841ED7C56BB Time : 0.0 sec. user=mdettweiler [2013-08-27 18:32:53] 983*2^1251976-1 is not prime. Res64: 84374124A2441630 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:32:53] 601*2^1251977-1 is not prime. Res64: A201D725EF541006 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:47:28] 759*2^1251977-1 is not prime. Res64: 8FF9E1AF41696136 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:47:28] 805*2^1251977-1 is not prime. Res64: 95D170400D58F618 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:52:27] 979*2^1251977-1 is not prime. Res64: 8BDF567C0B8A4FB5 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:52:28] 605*2^1251978-1 is not prime. Res64: 9BFF89BF2EF3F69C Time : 0.0 sec. user=mdettweiler [2013-08-27 18:54:32] 663*2^1251978-1 is not prime. Res64: 2195EE9EAE4C1291 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:54:33] 875*2^1251978-1 is not prime. Res64: A3551645BBE11285 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:55:59] 891*2^1251978-1 is not prime. Res64: 47932417E36CBB78 Time : 0.0 sec. user=mdettweiler [2013-08-27 18:55:59] 603*2^1251979-1 is not prime. Res64: BCF8671E6EEAFCD4 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:09:05] 631*2^1251979-1 is not prime. Res64: FA10B123E7AA8CC8 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:09:06] 675*2^1251979-1 is not prime. Res64: ADB631F8B11BB07D Time : 0.0 sec. user=mdettweiler [2013-08-27 19:14:38] 735*2^1251979-1 is not prime. Res64: CD6C1ACC00C34BD7 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:14:38] 975*2^1251979-1 is not prime. Res64: D980DC2506E44B1B Time : 0.0 sec. user=mdettweiler [2013-08-27 19:16:37] 993*2^1251979-1 is not prime. Res64: A84B373CF02BDEFA Time : 0.0 sec. user=mdettweiler [2013-08-27 19:16:37] 677*2^1251980-1 is not prime. Res64: 7B69FBF94BC43B39 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:16:59] 729*2^1251980-1 is not prime. Res64: 79F8F591C3AA46B1 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:16:59] 797*2^1251980-1 is not prime. Res64: 5C842F79D38EB0F8 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:29:59] 825*2^1251980-1 is not prime. Res64: BD0958F76CA273C3 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:29:59] 833*2^1251980-1 is not prime. Res64: A5192B8119278E3C Time : 0.0 sec. user=mdettweiler [2013-08-27 19:37:17] 959*2^1251980-1 is not prime. Res64: EDE21F365A280EE3 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:37:18] 977*2^1251980-1 is not prime. Res64: 83577D59D863D5E6 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:37:20] 675*2^1251981-1 is not prime. Res64: 033AC10DC38AC580 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:37:21] 861*2^1251981-1 is not prime. Res64: 1E883A7BC30AE4D2 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:37:55] 885*2^1251981-1 is not prime. Res64: B10C1CED1317E005 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:37:55] 665*2^1251982-1 is not prime. Res64: 4CA4D4491A3C210A Time : 0.0 sec. user=mdettweiler [2013-08-27 19:50:39] 825*2^1251982-1 is not prime. Res64: B7E9E52EEDBEC893 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:50:39] 827*2^1251982-1 is not prime. Res64: 20838E5AF9BFDFE5 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:59:02] 609*2^1251983-1 is not prime. Res64: 9F5C366EB942362A Time : 0.0 sec. user=mdettweiler [2013-08-27 19:59:02] 661*2^1251983-1 is not prime. Res64: 9BF48078EC2FD8C6 Time : 0.0 sec. user=mdettweiler [2013-08-27 19:59:21] 863*2^1251982-1 is not prime. Res64: 6C314126573693AF Time : 0.0 sec. user=mdettweiler [2013-08-27 19:59:22] 923*2^1251982-1 is not prime. Res64: D51543EF87E38EFD Time : 0.0 sec. user=mdettweiler [2013-08-27 20:00:22] 951*2^1251982-1 is not prime. Res64: 6FB128E62EF93E4D Time : 0.0 sec. user=mdettweiler [2013-08-27 20:00:23] 987*2^1251982-1 is not prime. Res64: 0F474EF1E2C6E6F9 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:11:32] 669*2^1251983-1 is not prime. Res64: 08B0B92BC508EA84 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:11:33] 685*2^1251983-1 is not prime. Res64: 54B2BF7BEEB99070 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:20:09] 819*2^1251983-1 is not prime. Res64: 9498CDBD9F2437AB Time : 0.0 sec. user=mdettweiler [2013-08-27 20:20:09] 861*2^1251983-1 is not prime. Res64: D95CC5F872CFAA64 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:21:31] 705*2^1251984-1 is not prime. Res64: 25B33EA08DFFFAEA Time : 0.0 sec. user=mdettweiler [2013-08-27 20:21:31] 747*2^1251984-1 is not prime. Res64: 7C2A3BD3EFBFE971 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:22:32] 921*2^1251983-1 is not prime. Res64: 7ABED2C792DFF0A9 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:22:33] 993*2^1251983-1 is not prime. Res64: 8C92D51F64DE7B79 Time : 0.0 sec. user=juhehe [2013-08-27 20:26:26] 703*2^1251983-1 is not prime. Res64: 05155BD47C01BA3E Time : 0.0 sec. user=mdettweiler [2013-08-27 20:33:33] 803*2^1251984-1 is not prime. Res64: D17AABB897864EA3 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:33:34] 887*2^1251984-1 is not prime. Res64: DB65D979773E3FF0 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:41:49] 817*2^1251985-1 is not prime. Res64: 3A0543DF9FDCB4FB Time : 0.0 sec. user=mdettweiler [2013-08-27 20:41:50] 871*2^1251985-1 is not prime. Res64: 71AF38FE31A23247 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:42:21] 899*2^1251984-1 is not prime. Res64: A4B67F703CFDB101 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:42:21] 929*2^1251984-1 is not prime. Res64: B91D4544820DD1E6 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:43:41] 877*2^1251985-1 is not prime. Res64: E1249A204FAEF469 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:43:41] 895*2^1251985-1 is not prime. Res64: 9F394645F1B7D2A2 Time : 0.0 sec. user=juhehe [2013-08-27 20:50:41] 721*2^1251985-1 is not prime. Res64: 2E5BADE8EB275385 Time : 0.0 sec. user=mdettweiler [2013-08-27 20:55:37] 897*2^1251985-1 is not prime. Res64: 5085942828B195EC Time : 0.0 sec. user=mdettweiler [2013-08-27 20:55:38] 951*2^1251985-1 is not prime. Res64: 455797B7088F8BF2 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:02:08] 645*2^1251986-1 is not prime. Res64: 7A56883F3757EEA9 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:02:09] 713*2^1251986-1 is not prime. Res64: 624AB0D6D4364B62 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:02:28] 843*2^1251986-1 is not prime. Res64: 56192E1C03791683 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:02:29] 873*2^1251986-1 is not prime. Res64: B338C5440FAB9640 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:04:42] 875*2^1251986-1 is not prime. Res64: BD48AD56525F799C Time : 0.0 sec. user=mdettweiler [2013-08-27 21:04:44] 921*2^1251986-1 is not prime. Res64: 2EADB292EDA7ED4A Time : 0.0 sec. user=mdettweiler [2013-08-27 21:16:38] 987*2^1251986-1 is not prime. Res64: 862B315E4305846B Time : 0.0 sec. user=mdettweiler [2013-08-27 21:16:39] 633*2^1251987-1 is not prime. Res64: F8F2341783FCF9FD Time : 0.0 sec. user=mdettweiler [2013-08-27 21:22:15] 675*2^1251987-1 is not prime. Res64: 3B72C62A644B2500 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:22:16] 753*2^1251987-1 is not prime. Res64: 14472D8664C137A7 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:22:34] 835*2^1251987-1 is not prime. Res64: DC7861B31EA3ED07 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:22:35] 879*2^1251987-1 is not prime. Res64: 229C11468192D0AD Time : 0.0 sec. user=mdettweiler [2013-08-27 21:25:47] 979*2^1251987-1 is not prime. Res64: 42C0CAAB08F304B2 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:25:48] 605*2^1251988-1 is not prime. Res64: B7FA9AE21377A33F Time : 0.0 sec. user=mdettweiler [2013-08-27 21:36:47] 735*2^1251988-1 is not prime. Res64: 7114B4924DB823C6 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:36:48] 777*2^1251988-1 is not prime. Res64: 187B07D09DC35724 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:43:24] 813*2^1251988-1 is not prime. Res64: 7AB3AE8723312371 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:43:24] 969*2^1251988-1 is not prime. Res64: 73B456563916C05F Time : 0.0 sec. user=mdettweiler [2013-08-27 21:43:42] 975*2^1251988-1 is not prime. Res64: 3774E39844A0BED1 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:43:42] 699*2^1251989-1 is not prime. Res64: 7CD9C6E551367E1F Time : 0.0 sec. user=mdettweiler [2013-08-27 21:45:55] 711*2^1251989-1 is not prime. Res64: ACA386C0E2E373C8 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:45:55] 769*2^1251989-1 is not prime. Res64: B55EA9991C2F6BA6 Time : 0.0 sec. user=mdettweiler [2013-08-27 21:56:57] 801*2^1251989-1 is not prime. Res64: 965475A0D3B8501A Time : 0.0 sec. user=mdettweiler [2013-08-27 21:56:58] 829*2^1251989-1 is not prime. Res64: ADF99F3ADA5ACC58 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:03:45] 711*2^1251990-1 is not prime. Res64: 0EB9DEA9B3C9E37D Time : 0.0 sec. user=mdettweiler [2013-08-27 22:03:45] 663*2^1251991-1 is not prime. Res64: 76135758115A5F93 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:04:28] 925*2^1251989-1 is not prime. Res64: BFB07D65B32E8513 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:04:29] 681*2^1251990-1 is not prime. Res64: AC7B505F2C67DDBA Time : 0.0 sec. user=mdettweiler [2013-08-27 22:06:06] 709*2^1251991-1 is not prime. Res64: DD5A63D7F1391329 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:06:07] 883*2^1251991-1 is not prime. Res64: F589E247813C9FF1 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:18:09] 961*2^1251991-1 is not prime. Res64: B7C36419A6D81F83 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:18:10] 633*2^1251992-1 is not prime. Res64: 9041B78D7F8C5F3D Time : 0.0 sec. user=mdettweiler [2013-08-27 22:25:38] 977*2^1251992-1 is not prime. Res64: 5657E369906AC7DA Time : 0.0 sec. user=mdettweiler [2013-08-27 22:25:38] 627*2^1251993-1 is not prime. Res64: CBBA9115B8326684 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:25:51] 903*2^1251992-1 is not prime. Res64: 22B6709C83C598DA Time : 0.0 sec. user=mdettweiler [2013-08-27 22:25:52] 957*2^1251992-1 is not prime. Res64: BAE1D366F584E0F4 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:26:23] 679*2^1251993-1 is not prime. Res64: 154E32392BFC1B57 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:26:24] 727*2^1251993-1 is not prime. Res64: 6D8717FEF1A32188 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:38:21] 789*2^1251993-1 is not prime. Res64: 43FB39FD0E4904E2 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:38:22] 623*2^1251994-1 is not prime. Res64: 30FED2722AB985C5 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:45:49] 677*2^1251994-1 is not prime. Res64: F1BE92F36E57D947 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:45:49] 705*2^1251994-1 is not prime. Res64: 4EACAE39A35F42C2 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:45:57] 731*2^1251994-1 is not prime. Res64: 94FF2B467E6E3132 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:45:58] 755*2^1251994-1 is not prime. Res64: 2E328D99B2818703 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:47:30] 885*2^1251994-1 is not prime. Res64: 03705D0A7AAA7643 Time : 0.0 sec. user=mdettweiler [2013-08-27 22:47:30] 891*2^1251994-1 is not prime. Res64: 073752BB6DD815D6 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:00:31] 917*2^1251994-1 is not prime. Res64: A0CB64CDF51DC99F Time : 0.0 sec. user=mdettweiler [2013-08-27 23:00:32] 987*2^1251994-1 is not prime. Res64: EAD679D61BCBE2DB Time : 0.0 sec. user=mdettweiler [2013-08-27 23:05:57] 619*2^1251995-1 is not prime. Res64: AC1EDC2C8751F2F1 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:05:58] 741*2^1251995-1 is not prime. Res64: 1BD7814FDAF59AD8 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:06:03] 775*2^1251995-1 is not prime. Res64: CCD5E65BF4D1114F Time : 0.0 sec. user=mdettweiler [2013-08-27 23:06:04] 825*2^1251995-1 is not prime. Res64: C71E8CA3E810C0FB Time : 0.0 sec. user=mdettweiler [2013-08-27 23:07:37] 841*2^1251995-1 is not prime. Res64: 053D83B1F3AFA05D Time : 0.0 sec. user=mdettweiler [2013-08-27 23:07:38] 861*2^1251995-1 is not prime. Res64: 660B2341FB146916 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:22:54] 909*2^1251995-1 is not prime. Res64: 59725B5789C8676F Time : 0.0 sec. user=mdettweiler [2013-08-27 23:22:55] 921*2^1251995-1 is not prime. Res64: 5562EC9C9CC0621B Time : 0.0 sec. user=mdettweiler [2013-08-27 23:27:20] 981*2^1251995-1 is not prime. Res64: 5BC2E55061541C0E Time : 0.0 sec. user=mdettweiler [2013-08-27 23:27:20] 609*2^1251996-1 is not prime. Res64: 4E1DD01D915906B7 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:28:03] 969*2^1251995-1 is not prime. Res64: 0073287285C915D2 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:28:03] 979*2^1251995-1 is not prime. Res64: B86860C97D771171 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:28:45] 903*2^1251996-1 is not prime. Res64: 2D8A24AF18463665 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:28:45] 601*2^1251997-1 is not prime. Res64: 3BEC4A7260E0FD05 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:43:16] 649*2^1251997-1 is not prime. Res64: 81058A84777712E6 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:43:17] 741*2^1251997-1 is not prime. Res64: 11A49E37F3DE1302 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:47:41] 757*2^1251997-1 is not prime. Res64: 286D69272785608A Time : 0.0 sec. user=mdettweiler [2013-08-27 23:47:42] 831*2^1251997-1 is not prime. Res64: 78CCA296CC65494F Time : 0.0 sec. user=mdettweiler [2013-08-27 23:49:23] 871*2^1251997-1 is not prime. Res64: E9D443EFC526C39B Time : 0.0 sec. user=mdettweiler [2013-08-27 23:49:24] 897*2^1251997-1 is not prime. Res64: 09012D3C93344FB5 Time : 0.0 sec. user=mdettweiler [2013-08-27 23:51:07] 979*2^1251997-1 is not prime. Res64: 36CFCC577D3019AB Time : 0.0 sec. user=mdettweiler [2013-08-27 23:51:08] 999*2^1251997-1 is not prime. Res64: BC1C58B0E8EBBDEE Time : 0.0 sec.