user=mdettweiler [2012-01-22 00:05:23] 849*2^1002303-1 is not prime. Res64: 5651E754D387C71E Time : 0.0 sec. user=mdettweiler [2012-01-22 00:05:24] 853*2^1002303-1 is not prime. Res64: E2628811107B0FC5 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:05:28] 855*2^1002304-1 is not prime. Res64: B679DCD1F2729AEE Time : 0.0 sec. user=mdettweiler [2012-01-22 00:06:47] 887*2^1002304-1 is not prime. Res64: 08EDAD07E658091A Time : 0.0 sec. user=mdettweiler [2012-01-22 00:09:43] 891*2^1002303-1 is not prime. Res64: 9FA9DC8DAEC621B4 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:09:44] 951*2^1002303-1 is not prime. Res64: 9710723DF09979BE Time : 0.0 sec. user=mdettweiler [2012-01-22 00:11:29] 909*2^1002295-1 is not prime. Res64: F2A74D2C33F2596B Time : 0.0 sec. user=mdettweiler [2012-01-22 00:11:29] 925*2^1002295-1 is not prime. Res64: 6281A6730419E44A Time : 0.0 sec. user=mdettweiler [2012-01-22 00:11:31] 635*2^1002304-1 is not prime. Res64: 83B2E84A166482E3 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:11:32] 675*2^1002304-1 is not prime. Res64: D7CE528D360F3A7D Time : 0.0 sec. user=mdettweiler [2012-01-22 00:14:04] 649*2^1002305-1 is not prime. Res64: 0CC30DD17BCB4977 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:14:27] 989*2^1002304-1 is not prime. Res64: 3E35CBFC85A731A4 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:16:48] 695*2^1002304-1 is not prime. Res64: 888922F4C6A9868E Time : 0.0 sec. user=mdettweiler [2012-01-22 00:16:49] 803*2^1002304-1 is not prime. Res64: FF77D11D4DF27F14 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:21:22] 635*2^1002306-1 is not prime. Res64: 5AA29034D0FC589E Time : 0.0 sec. user=mdettweiler [2012-01-22 00:21:47] 735*2^1002306-1 is not prime. Res64: 4C537D6BF5FDE441 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:24:30] 731*2^1002298-1 is not prime. Res64: FE78C437459B76E3 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:24:30] 887*2^1002298-1 is not prime. Res64: 650D529FEB443490 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:25:14] 915*2^1002304-1 is not prime. Res64: E9D58C5CD7892D03 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:25:14] 917*2^1002304-1 is not prime. Res64: AD30C6F50938DAD2 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:29:04] 673*2^1002307-1 is not prime. Res64: BD301F0E061FB4AF Time : 0.0 sec. user=mdettweiler [2012-01-22 00:29:34] 699*2^1002305-1 is not prime. Res64: D877D4C836772A4C Time : 0.0 sec. user=mdettweiler [2012-01-22 00:29:34] 711*2^1002305-1 is not prime. Res64: 2C2D93A81E86525A Time : 0.0 sec. user=mdettweiler [2012-01-22 00:30:20] 975*2^1002306-1 is not prime. Res64: FA0EC7963AF9BBA9 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:31:21] 799*2^1002305-1 is not prime. Res64: 5440785569D4508A Time : 0.0 sec. user=mdettweiler [2012-01-22 00:31:21] 841*2^1002305-1 is not prime. Res64: ED154840151EDF05 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:36:20] 707*2^1002308-1 is not prime. Res64: 0AE592D208924DE8 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:36:36] 875*2^1002306-1 is not prime. Res64: DE98886447675843 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:36:36] 893*2^1002306-1 is not prime. Res64: F375E34CF6BD0E3D Time : 0.0 sec. user=mdettweiler [2012-01-22 00:37:25] 609*2^1002300-1 is not prime. Res64: 224F65DD4149CDAF Time : 0.0 sec. user=mdettweiler [2012-01-22 00:37:25] 623*2^1002300-1 is not prime. Res64: 526978E7C4DFAE71 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:37:41] 811*2^1002299-1 is not prime. Res64: FC6308BB85C50CCC Time : 0.0 sec. user=mdettweiler [2012-01-22 00:37:42] 843*2^1002299-1 is not prime. Res64: F44B785C49EFD958 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:39:21] 929*2^1002308-1 is not prime. Res64: 287E73EE50262C9E Time : 0.0 sec. user=mdettweiler [2012-01-22 00:43:36] 685*2^1002309-1 is not prime. Res64: AFECDB5350C82765 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:45:00] 895*2^1002307-1 is not prime. Res64: 31C847A779E3256C Time : 0.0 sec. user=mdettweiler [2012-01-22 00:45:00] 629*2^1002308-1 is not prime. Res64: 6F4003C206AB4A91 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:48:21] 999*2^1002309-1 is not prime. Res64: 448569B09E8093D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:49:20] 855*2^1002308-1 is not prime. Res64: C7E20E8217D0D0C7 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:49:20] 879*2^1002308-1 is not prime. Res64: C9158E27674B3513 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:50:54] 677*2^1002310-1 is not prime. Res64: 3DD67B7B847A59E9 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:51:06] 649*2^1002309-1 is not prime. Res64: AC1A141BB429B867 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:51:06] 667*2^1002309-1 is not prime. Res64: 4ADC5CE3FD588B61 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:55:39] 885*2^1002310-1 is not prime. Res64: 74FE93C08BD771B9 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:56:22] 745*2^1002309-1 is not prime. Res64: 5192615989D6AE91 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:56:22] 759*2^1002309-1 is not prime. Res64: 42AB9454285B4845 Time : 0.0 sec. user=mdettweiler [2012-01-22 00:58:24] 759*2^1002311-1 is not prime. Res64: 8AB9717F79CF550E Time : 0.0 sec. user=mdettweiler [2012-01-22 01:04:50] 741*2^1002310-1 is not prime. Res64: C4AE8D854651D4CE Time : 0.0 sec. user=mdettweiler [2012-01-22 01:04:50] 777*2^1002310-1 is not prime. Res64: 3AADD69CA0476A1C Time : 0.0 sec. user=mdettweiler [2012-01-22 01:05:43] 943*2^1002311-1 is not prime. Res64: 9DFEA6480721FCC6 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:06:30] 689*2^1002312-1 is not prime. Res64: C2466C928230A152 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:10:52] 841*2^1002311-1 is not prime. Res64: 36A052648DC9A1C6 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:10:53] 843*2^1002311-1 is not prime. Res64: C7B34D0318EBBBD9 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:11:22] 933*2^1002310-1 is not prime. Res64: 0DA542B9AFFE9DA7 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:11:23] 741*2^1002311-1 is not prime. Res64: CAB65FFDC8C2DD32 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:13:02] 809*2^1002312-1 is not prime. Res64: 07C8DF562C0E5F17 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:13:48] 899*2^1002312-1 is not prime. Res64: 98B9964766865EE0 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:18:26] 969*2^1002311-1 is not prime. Res64: 27BBB4123D702E49 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:18:26] 615*2^1002312-1 is not prime. Res64: 554D2F511ECEE94A Time : 0.0 sec. user=mdettweiler [2012-01-22 01:20:20] 801*2^1002313-1 is not prime. Res64: CE439516FB387DDD Time : 0.0 sec. user=mdettweiler [2012-01-22 01:21:04] 807*2^1002313-1 is not prime. Res64: 33811D2C94D1D218 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:24:35] 777*2^1002312-1 is not prime. Res64: C50350341A0698AF Time : 0.0 sec. user=mdettweiler [2012-01-22 01:24:35] 797*2^1002312-1 is not prime. Res64: 3D947AF5E669BE69 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:27:36] 919*2^1002313-1 is not prime. Res64: 1991CBB7D715DA79 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:30:04] 925*2^1002313-1 is not prime. Res64: E8BE3EA3288DBFC8 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:30:41] 609*2^1002313-1 is not prime. Res64: 948850A93E44CE62 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:30:42] 691*2^1002313-1 is not prime. Res64: 5669BF65E33F88D6 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:31:10] 741*2^1002313-1 is not prime. Res64: 6657D7FE876D8AB1 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:31:10] 745*2^1002313-1 is not prime. Res64: 0DF8C3E18F62E879 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:36:34] 957*2^1002313-1 is not prime. Res64: DB86BB47416505E1 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:38:19] 829*2^1002313-1 is not prime. Res64: 2764825777EEF137 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:38:20] 915*2^1002313-1 is not prime. Res64: 8163F0AC530B7D4C Time : 0.0 sec. user=mdettweiler [2012-01-22 01:39:08] 987*2^1002313-1 is not prime. Res64: 9370D86E7C3D2D82 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:40:24] 735*2^1002305-1 is not prime. Res64: 75190142F8AC23DC Time : 0.0 sec. user=mdettweiler [2012-01-22 01:40:24] 777*2^1002305-1 is not prime. Res64: C1A2385012413CED Time : 0.0 sec. user=mdettweiler [2012-01-22 01:43:51] 613*2^1002315-1 is not prime. Res64: 33B6F641AE21B35D Time : 0.0 sec. user=mdettweiler [2012-01-22 01:46:25] 783*2^1002315-1 is not prime. Res64: 6B494A5D7D7F1369 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:49:01] 939*2^1002313-1 is not prime. Res64: 5EFDF61A2F2C8F5E Time : 0.0 sec. user=mdettweiler [2012-01-22 01:49:01] 951*2^1002313-1 is not prime. Res64: C326F96EF1C052A7 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:50:35] 623*2^1002314-1 is not prime. Res64: 0E29A936A4A58910 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:50:35] 641*2^1002314-1 is not prime. Res64: 4DF102D6DCF11095 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:51:09] 705*2^1002316-1 is not prime. Res64: 3FD8D3E3D4BAD397 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:51:12] 791*2^1002314-1 is not prime. Res64: FFF677D0F464202A Time : 0.0 sec. user=mdettweiler [2012-01-22 01:51:12] 885*2^1002314-1 is not prime. Res64: 40DF81E2077FFC53 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:53:04] 829*2^1002307-1 is not prime. Res64: BBC092E298F3935C Time : 0.0 sec. user=mdettweiler [2012-01-22 01:53:04] 871*2^1002307-1 is not prime. Res64: 0E6A3AD2AF9254B8 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:53:41] 759*2^1002316-1 is not prime. Res64: 6A2F3BB0C71F45C2 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:58:07] 651*2^1002315-1 is not prime. Res64: E701EB96BE1BA73D Time : 0.0 sec. user=mdettweiler [2012-01-22 01:58:07] 735*2^1002315-1 is not prime. Res64: CF08EA0FED95B886 Time : 0.0 sec. user=mdettweiler [2012-01-22 01:58:26] 655*2^1002317-1 is not prime. Res64: DD8DEDC37FD18C23 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:01:00] 681*2^1002318-1 is not prime. Res64: C034BD20D1F62BAA Time : 0.0 sec. user=mdettweiler [2012-01-22 02:05:44] 833*2^1002318-1 is not prime. Res64: 9F98D8E13C02EC87 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:07:34] 781*2^1002309-1 is not prime. Res64: 198D1A363117BBC6 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:07:35] 847*2^1002309-1 is not prime. Res64: A8891F4631BD3FB0 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:08:48] 825*2^1002316-1 is not prime. Res64: 7B7563FB5D7A0215 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:08:48] 873*2^1002316-1 is not prime. Res64: 4BE4A25BC5EAA00E Time : 0.0 sec. user=mdettweiler [2012-01-22 02:10:01] 933*2^1002318-1 is not prime. Res64: CB4F7BEE794E9C2F Time : 0.0 sec. user=mdettweiler [2012-01-22 02:10:58] 697*2^1002317-1 is not prime. Res64: 34247854F164DA0C Time : 0.0 sec. user=mdettweiler [2012-01-22 02:11:01] 757*2^1002317-1 is not prime. Res64: E205C8E2735064D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:12:34] 953*2^1002316-1 is not prime. Res64: 97C1A2B94D4D0A09 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:12:37] 615*2^1002317-1 is not prime. Res64: 4E883BFCCBA8B865 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:13:05] 663*2^1002319-1 is not prime. Res64: A0281044A849C437 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:17:46] 705*2^1002318-1 is not prime. Res64: B62C7DABD224325A Time : 0.0 sec. user=mdettweiler [2012-01-22 02:17:46] 725*2^1002318-1 is not prime. Res64: 14AE063D9AAD2D65 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:17:50] 719*2^1002320-1 is not prime. Res64: A857143D78584E49 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:20:56] 625*2^1002321-1 is not prime. Res64: 5FEC2DA07B256218 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:25:10] 691*2^1002321-1 is not prime. Res64: 9D0E58F3798B8902 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:27:16] 949*2^1002309-1 is not prime. Res64: E97596F1D7963244 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:27:16] 985*2^1002309-1 is not prime. Res64: A2BDFB79A70029B9 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:28:14] 739*2^1002321-1 is not prime. Res64: FDEBCA8CFC13AA68 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:28:38] 665*2^1002320-1 is not prime. Res64: C46ACF680EF4E015 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:28:38] 699*2^1002320-1 is not prime. Res64: 71A54965F3ABF4BC Time : 0.0 sec. user=mdettweiler [2012-01-22 02:30:51] 773*2^1002320-1 is not prime. Res64: 0BBC54D1E59546FA Time : 0.0 sec. user=mdettweiler [2012-01-22 02:30:52] 833*2^1002320-1 is not prime. Res64: 00EA7D40D693A968 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:32:29] 747*2^1002321-1 is not prime. Res64: 0DF9A0838BE636D4 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:34:41] 857*2^1002320-1 is not prime. Res64: 7C2795EE68813216 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:34:42] 923*2^1002320-1 is not prime. Res64: 0EECFFA8B732EB6C Time : 0.0 sec. user=mdettweiler [2012-01-22 02:35:33] 837*2^1002321-1 is not prime. Res64: B04105B30C6CD2FD Time : 0.0 sec. user=mdettweiler [2012-01-22 02:37:36] 627*2^1002321-1 is not prime. Res64: 476F7A8E88222785 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:37:36] 685*2^1002321-1 is not prime. Res64: 336B4B5E2EB61717 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:39:49] 631*2^1002323-1 is not prime. Res64: 0837382494753F86 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:42:52] 783*2^1002323-1 is not prime. Res64: 6181926EBC4456A4 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:47:07] 885*2^1002323-1 is not prime. Res64: F48FCA32F627C56E Time : 0.0 sec. user=mdettweiler [2012-01-22 02:48:23] 603*2^1002322-1 is not prime. Res64: 83799B5F0209F942 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:48:23] 635*2^1002322-1 is not prime. Res64: CAAABC1E8BF598CE Time : 0.0 sec. user=mdettweiler [2012-01-22 02:50:13] 765*2^1002324-1 is not prime. Res64: 6E0B2276A364C0DB Time : 0.0 sec. user=mdettweiler [2012-01-22 02:50:39] 657*2^1002322-1 is not prime. Res64: 4846E7C59ADB2239 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:50:39] 675*2^1002322-1 is not prime. Res64: 9F1ED266B8859D4D Time : 0.0 sec. user=mdettweiler [2012-01-22 02:54:27] 803*2^1002324-1 is not prime. Res64: AC6C4FC250CE4BBC Time : 0.0 sec. user=mdettweiler [2012-01-22 02:54:28] 673*2^1002323-1 is not prime. Res64: AC583BB35477AD85 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:54:28] 703*2^1002323-1 is not prime. Res64: 08F34ADFA38B3DFE Time : 0.0 sec. user=mdettweiler [2012-01-22 02:57:27] 801*2^1002323-1 is not prime. Res64: E3322CE2D2206CA8 Time : 0.0 sec. user=mdettweiler [2012-01-22 02:57:27] 813*2^1002323-1 is not prime. Res64: 3FB0A0C923E0FEDE Time : 0.0 sec. user=mdettweiler [2012-01-22 02:57:31] 903*2^1002324-1 is not prime. Res64: E4FD43158F404614 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:03:29] 983*2^1002324-1 is not prime. Res64: 2FD1723DFD58984F Time : 0.0 sec. user=mdettweiler [2012-01-22 03:06:32] 937*2^1002325-1 is not prime. Res64: 20F5C675623F364B Time : 0.0 sec. user=mdettweiler [2012-01-22 03:08:09] 825*2^1002324-1 is not prime. Res64: B26C3564B1B50FD5 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:08:10] 899*2^1002324-1 is not prime. Res64: B8E4FAEF8E362EBB Time : 0.0 sec. user=mdettweiler [2012-01-22 03:09:50] 823*2^1002315-1 is not prime. Res64: 403570870B3D44BD Time : 0.0 sec. user=mdettweiler [2012-01-22 03:09:52] 859*2^1002315-1 is not prime. Res64: 0683F9EEBDB76629 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:10:50] 615*2^1002326-1 is not prime. Res64: 89D93F9352478EA6 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:13:54] 617*2^1002326-1 is not prime. Res64: D595498FE8172FF2 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:14:16] 651*2^1002325-1 is not prime. Res64: 82974BFB93602588 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:14:16] 699*2^1002325-1 is not prime. Res64: 8DE741F336898ECF Time : 0.0 sec. user=mdettweiler [2012-01-22 03:15:01] 947*2^1002324-1 is not prime. Res64: 6AC6973FABFB8F90 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:15:01] 969*2^1002324-1 is not prime. Res64: BFF7B596A77BEBAA Time : 0.0 sec. user=mdettweiler [2012-01-22 03:17:13] 729*2^1002325-1 is not prime. Res64: 319768F110FCC061 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:17:14] 861*2^1002325-1 is not prime. Res64: A398AF80681457D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:18:10] 633*2^1002327-1 is not prime. Res64: 90C985821D3560A0 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:21:14] 651*2^1002327-1 is not prime. Res64: CCF771A853D6F108 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:23:20] 605*2^1002318-1 is not prime. Res64: 5636652E9AE69527 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:23:20] 615*2^1002318-1 is not prime. Res64: D66960B5A78FCEF9 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:25:30] 747*2^1002328-1 is not prime. Res64: 5C00F473011594DF Time : 0.0 sec. user=mdettweiler [2012-01-22 03:27:58] 677*2^1002326-1 is not prime. Res64: DEB532FA88976A08 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:27:59] 711*2^1002326-1 is not prime. Res64: E083F41DDA33146F Time : 0.0 sec. user=mdettweiler [2012-01-22 03:28:33] 875*2^1002328-1 is not prime. Res64: 88F9A56293041C1B Time : 0.0 sec. user=mdettweiler [2012-01-22 03:32:50] 771*2^1002329-1 is not prime. Res64: B5232DC6E23FBE6E Time : 0.0 sec. user=mdettweiler [2012-01-22 03:34:02] 709*2^1002327-1 is not prime. Res64: 7DF3D904A92E95D2 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:34:03] 751*2^1002327-1 is not prime. Res64: 3D8C213118FA6A81 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:34:48] 781*2^1002327-1 is not prime. Res64: 1A71B584218EF23A Time : 0.0 sec. user=mdettweiler [2012-01-22 03:34:49] 861*2^1002327-1 is not prime. Res64: 3FAAF6EB9967D4FB Time : 0.0 sec. user=mdettweiler [2012-01-22 03:35:52] 633*2^1002330-1 is not prime. Res64: 7ACEF5F1DC6D4A4B Time : 0.0 sec. user=mdettweiler [2012-01-22 03:36:31] 745*2^1002319-1 is not prime. Res64: 2C9B49221788433B Time : 0.0 sec. user=mdettweiler [2012-01-22 03:36:31] 771*2^1002319-1 is not prime. Res64: 9DF6B468B575C57E Time : 0.0 sec. user=mdettweiler [2012-01-22 03:39:14] 963*2^1002327-1 is not prime. Res64: 1A47B2B5BEAF1B76 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:39:14] 689*2^1002328-1 is not prime. Res64: 12632DC488A72874 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:40:07] 725*2^1002330-1 is not prime. Res64: E365271A07BB73B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:45:12] 971*2^1002330-1 is not prime. Res64: 6F5502128275DDB2 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:47:24] 859*2^1002331-1 is not prime. Res64: F19EEFCE37EB12CF Time : 0.0 sec. user=mdettweiler [2012-01-22 03:50:02] 865*2^1002329-1 is not prime. Res64: 1E0F6F164F69C3C0 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:50:02] 949*2^1002329-1 is not prime. Res64: 6BCEBE5713CA7F8C Time : 0.0 sec. user=mdettweiler [2012-01-22 03:53:23] 795*2^1002321-1 is not prime. Res64: 5D0082B070F11A27 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:53:23] 811*2^1002321-1 is not prime. Res64: BF26413BDDD658EC Time : 0.0 sec. user=mdettweiler [2012-01-22 03:54:00] 777*2^1002330-1 is not prime. Res64: 668211A54E001745 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:54:00] 833*2^1002330-1 is not prime. Res64: 1B71CA3A893F4E81 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:54:13] 969*2^1002331-1 is not prime. Res64: 6868E72098705B93 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:56:24] 999*2^1002331-1 is not prime. Res64: 1DA92DED3DDC6E01 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:57:00] 851*2^1002330-1 is not prime. Res64: BDF810D95826F843 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:57:00] 941*2^1002330-1 is not prime. Res64: F6078A6B52DF9CC1 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:59:08] 685*2^1002331-1 is not prime. Res64: CA1CF402DC7CBB10 Time : 0.0 sec. user=mdettweiler [2012-01-22 03:59:08] 709*2^1002331-1 is not prime. Res64: 695B2071EB434DD5 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:03:15] 923*2^1002332-1 is not prime. Res64: 0016C4F2FCBEE14A Time : 0.0 sec. user=mdettweiler [2012-01-22 04:03:40] 675*2^1002333-1 is not prime. Res64: 1013B86F921CCDF3 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:10:00] 647*2^1002332-1 is not prime. Res64: FD008B04EBB2DE1D Time : 0.0 sec. user=mdettweiler [2012-01-22 04:10:01] 677*2^1002332-1 is not prime. Res64: 8DF620C67426DD64 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:10:39] 895*2^1002333-1 is not prime. Res64: 4276D57B9944EFFF Time : 0.0 sec. user=mdettweiler [2012-01-22 04:10:59] 635*2^1002334-1 is not prime. Res64: 90C37021B0AA8A72 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:13:46] 875*2^1002332-1 is not prime. Res64: 54E4878643AC71E2 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:13:46] 885*2^1002332-1 is not prime. Res64: 8208024C44DE0F90 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:16:45] 747*2^1002333-1 is not prime. Res64: 8779D538750654DA Time : 0.0 sec. user=mdettweiler [2012-01-22 04:16:45] 769*2^1002333-1 is not prime. Res64: 45A500BD63D370FB Time : 0.0 sec. user=mdettweiler [2012-01-22 04:17:59] 891*2^1002334-1 is not prime. Res64: 16C637802BCE8602 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:18:24] 917*2^1002334-1 is not prime. Res64: 2C22C95EBDA88868 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:18:55] 871*2^1002333-1 is not prime. Res64: 69BF7B5BB833FB6D Time : 0.0 sec. user=mdettweiler [2012-01-22 04:18:55] 885*2^1002333-1 is not prime. Res64: F2491B855C6BC42F Time : 0.0 sec. user=mdettweiler [2012-01-22 04:25:18] 909*2^1002335-1 is not prime. Res64: 81BAA1C35956AB17 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:27:26] 939*2^1002335-1 is not prime. Res64: 18E1A8DDC3D549F8 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:29:52] 651*2^1002334-1 is not prime. Res64: E044A51235337E61 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:29:52] 665*2^1002334-1 is not prime. Res64: 8DD59563F11D484B Time : 0.0 sec. user=mdettweiler [2012-01-22 04:32:39] 867*2^1002336-1 is not prime. Res64: 73D436F7987CE0BF Time : 0.0 sec. user=mdettweiler [2012-01-22 04:34:44] 903*2^1002336-1 is not prime. Res64: D91851112C37953D Time : 0.0 sec. user=mdettweiler [2012-01-22 04:35:52] 971*2^1002334-1 is not prime. Res64: 59B977E2A2DF548A Time : 0.0 sec. user=mdettweiler [2012-01-22 04:35:53] 753*2^1002335-1 is not prime. Res64: 3B0056D5577C9DE4 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:36:36] 861*2^1002335-1 is not prime. Res64: 2B98C9DAD2DCA7F9 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:36:37] 895*2^1002335-1 is not prime. Res64: 3495ECF9767F0A46 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:39:59] 717*2^1002337-1 is not prime. Res64: EDFDCB7D9EACE0EC Time : 0.0 sec. user=mdettweiler [2012-01-22 04:41:02] 973*2^1002335-1 is not prime. Res64: 85D03520F06F9A22 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:41:02] 765*2^1002336-1 is not prime. Res64: 5EF0C2BDAB466137 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:42:03] 727*2^1002337-1 is not prime. Res64: 06DB1FEFFD9FC07C Time : 0.0 sec. user=mdettweiler [2012-01-22 04:48:59] 851*2^1002326-1 is not prime. Res64: D378BF9895040E00 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:48:59] 945*2^1002326-1 is not prime. Res64: 29546E683AB77B70 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:49:03] 937*2^1002337-1 is not prime. Res64: 4B4596E757D7A5E7 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:49:21] 605*2^1002338-1 is not prime. Res64: 356226C249D1EC71 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:49:43] 905*2^1002336-1 is not prime. Res64: DAA13E1CB85D98B5 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:49:43] 639*2^1002337-1 is not prime. Res64: F25D98ED09316A9B Time : 0.0 sec. user=mdettweiler [2012-01-22 04:55:44] 841*2^1002337-1 is not prime. Res64: 6839482B1FD667EC Time : 0.0 sec. user=mdettweiler [2012-01-22 04:55:45] 871*2^1002337-1 is not prime. Res64: 43DAF6C2630DF971 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:56:23] 885*2^1002338-1 is not prime. Res64: 0ADAB16C460757F4 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:56:41] 911*2^1002338-1 is not prime. Res64: 23DE9D23735E7AD1 Time : 0.0 sec. user=mdettweiler [2012-01-22 04:58:49] 885*2^1002337-1 is not prime. Res64: FE658A2E88F6363B Time : 0.0 sec. user=mdettweiler [2012-01-22 04:58:49] 931*2^1002337-1 is not prime. Res64: 6346875676894BD6 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:01:03] 969*2^1002328-1 is not prime. Res64: 33AC487FC1126EBA Time : 0.0 sec. user=mdettweiler [2012-01-22 05:01:04] 691*2^1002329-1 is not prime. Res64: 6D02E8A38F5A0D19 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:03:42] 723*2^1002339-1 is not prime. Res64: 6886F7DDCC9F09E8 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:03:59] 843*2^1002339-1 is not prime. Res64: 6F05ABF05BB79C3E Time : 0.0 sec. user=mdettweiler [2012-01-22 05:05:31] 939*2^1002337-1 is not prime. Res64: 7946B9296A98DA95 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:05:33] 955*2^1002337-1 is not prime. Res64: 35A89E39B84A592D Time : 0.0 sec. user=mdettweiler [2012-01-22 05:11:02] 665*2^1002340-1 is not prime. Res64: A210B59FDEAAB686 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:11:20] 689*2^1002340-1 is not prime. Res64: EFB2FBC8FC16E8B7 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:14:16] 921*2^1002338-1 is not prime. Res64: EA5518B0B3AE0864 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:14:16] 977*2^1002338-1 is not prime. Res64: DCD25760C23466DE Time : 0.0 sec. user=mdettweiler [2012-01-22 05:14:26] 1001*2^1002330-1 is not prime. Res64: 8BD839B2FA546AF5 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:14:27] 649*2^1002331-1 is not prime. Res64: D7D9D84B47DDA59A Time : 0.0 sec. user=mdettweiler [2012-01-22 05:15:36] 619*2^1002339-1 is not prime. Res64: D8EE187AFC5CA129 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:15:36] 705*2^1002339-1 is not prime. Res64: 64C841B6D9FCE8DC Time : 0.0 sec. user=mdettweiler [2012-01-22 05:18:45] 691*2^1002341-1 is not prime. Res64: 5597F536AE67DE5D Time : 0.0 sec. user=mdettweiler [2012-01-22 05:20:05] 999*2^1002340-1 is not prime. Res64: 296BA901B840DAB4 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:20:52] 813*2^1002332-1 is not prime. Res64: FF0AB93B4B91AB9C Time : 0.0 sec. user=mdettweiler [2012-01-22 05:20:53] 873*2^1002332-1 is not prime. Res64: E91E33C20F00DA16 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:20:57] 913*2^1002339-1 is not prime. Res64: D47E7B2EEA87F175 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:20:57] 955*2^1002339-1 is not prime. Res64: 813F8C6CBF3FF8F5 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:26:07] 741*2^1002342-1 is not prime. Res64: 2DE24CE126FCB7E4 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:27:25] 825*2^1002342-1 is not prime. Res64: E34921B78EF66A8B Time : 0.0 sec. user=mdettweiler [2012-01-22 05:30:05] 927*2^1002340-1 is not prime. Res64: D65E21788EC8C662 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:30:05] 989*2^1002340-1 is not prime. Res64: 4F2CF64796F6D8AA Time : 0.0 sec. user=mdettweiler [2012-01-22 05:33:26] 723*2^1002343-1 is not prime. Res64: 1D19C251E0D30740 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:34:04] 711*2^1002341-1 is not prime. Res64: 696E3D103944F44E Time : 0.0 sec. user=mdettweiler [2012-01-22 05:34:04] 735*2^1002341-1 is not prime. Res64: 865FE42194EDCB88 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:34:44] 741*2^1002343-1 is not prime. Res64: FAE5253EE31576C1 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:35:22] 683*2^1002342-1 is not prime. Res64: DE58A7A611C32FDE Time : 0.0 sec. user=mdettweiler [2012-01-22 05:35:23] 705*2^1002342-1 is not prime. Res64: 218D91D20FE432A1 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:40:46] 873*2^1002343-1 is not prime. Res64: 090B89EEE5CD436E Time : 0.0 sec. user=mdettweiler [2012-01-22 05:40:47] 615*2^1002343-1 is not prime. Res64: BD68B88C856272B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:40:47] 673*2^1002343-1 is not prime. Res64: E4946E5CF8E00FBC Time : 0.0 sec. user=mdettweiler [2012-01-22 05:42:04] 623*2^1002344-1 is not prime. Res64: 38A1DCBBB294A381 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:49:23] 645*2^1002346-1 is not prime. Res64: 22EF511113D7DB99 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:49:47] 983*2^1002344-1 is not prime. Res64: 7737C0B3FE28741F Time : 0.0 sec. user=mdettweiler [2012-01-22 05:49:54] 789*2^1002343-1 is not prime. Res64: D6E06D6BCB7AC9DE Time : 0.0 sec. user=mdettweiler [2012-01-22 05:49:54] 853*2^1002343-1 is not prime. Res64: 85136BCA4847AE41 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:56:10] 913*2^1002343-1 is not prime. Res64: 7AF9FEBB0C339DC0 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:56:10] 939*2^1002343-1 is not prime. Res64: 572B7DDD7513ECBF Time : 0.0 sec. user=mdettweiler [2012-01-22 05:56:42] 695*2^1002346-1 is not prime. Res64: 4515ABC7EEEF8246 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:57:05] 737*2^1002346-1 is not prime. Res64: E1F4F4EC1ED5FA89 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:57:33] 743*2^1002344-1 is not prime. Res64: 65A279C58CB04C10 Time : 0.0 sec. user=mdettweiler [2012-01-22 05:57:33] 959*2^1002344-1 is not prime. Res64: E707479A84257F5D Time : 0.0 sec. user=mdettweiler [2012-01-22 06:02:54] 639*2^1002345-1 is not prime. Res64: 4DB123694A24C416 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:02:55] 997*2^1002345-1 is not prime. Res64: EE9F276142D83A88 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:04:00] 911*2^1002346-1 is not prime. Res64: 4BF88B20262263D6 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:06:08] 993*2^1002346-1 is not prime. Res64: CAB8E5CFCF3B94AB Time : 0.0 sec. user=mdettweiler [2012-01-22 06:09:48] 801*2^1002346-1 is not prime. Res64: 6C6275F229E1D8CA Time : 0.0 sec. user=mdettweiler [2012-01-22 06:09:48] 803*2^1002346-1 is not prime. Res64: 88F66DBD24261D72 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:11:22] 695*2^1002348-1 is not prime. Res64: AC976691FD24A6B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:13:27] 735*2^1002348-1 is not prime. Res64: 97580800244DA73E Time : 0.0 sec. user=mdettweiler [2012-01-22 06:15:55] 833*2^1002346-1 is not prime. Res64: 7F648C18F6C821D9 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:15:55] 857*2^1002346-1 is not prime. Res64: A0FF34A055C17D1F Time : 0.0 sec. user=mdettweiler [2012-01-22 06:17:17] 669*2^1002347-1 is not prime. Res64: 364F5C2087D1C057 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:17:18] 733*2^1002347-1 is not prime. Res64: 13D84D4296D65AD1 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:19:00] 755*2^1002338-1 is not prime. Res64: 8ACEEEAC4A35C375 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:19:01] 843*2^1002338-1 is not prime. Res64: C822D746871FC601 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:20:28] 945*2^1002348-1 is not prime. Res64: 5A440E83EB9DCF6D Time : 0.0 sec. user=mdettweiler [2012-01-22 06:20:46] 625*2^1002349-1 is not prime. Res64: 0CF3864C91883636 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:22:43] 879*2^1002347-1 is not prime. Res64: B7E8191E54C48D32 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:22:44] 627*2^1002348-1 is not prime. Res64: D52106B39F62D545 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:27:47] 897*2^1002350-1 is not prime. Res64: 78D027B5AD3A0085 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:29:43] 753*2^1002348-1 is not prime. Res64: CE34BE684F5F69C0 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:29:43] 915*2^1002348-1 is not prime. Res64: DF10078FA7C4DA68 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:29:48] 923*2^1002350-1 is not prime. Res64: B45C157BF76B827B Time : 0.0 sec. user=mdettweiler [2012-01-22 06:29:54] 603*2^1002340-1 is not prime. Res64: 6DEA1416FC644AE4 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:29:54] 623*2^1002340-1 is not prime. Res64: 31D723C3FE502618 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:35:05] 651*2^1002351-1 is not prime. Res64: 375B32629F8804B9 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:35:41] 679*2^1002349-1 is not prime. Res64: 13200CD3094373FB Time : 0.0 sec. user=mdettweiler [2012-01-22 06:35:41] 825*2^1002349-1 is not prime. Res64: C9A68735CC84E5F2 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:37:06] 871*2^1002351-1 is not prime. Res64: B18BC6C8610323D1 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:39:22] 951*2^1002349-1 is not prime. Res64: 678AE0CC4428A663 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:39:23] 635*2^1002350-1 is not prime. Res64: 83B34D3E31C7949C Time : 0.0 sec. user=mdettweiler [2012-01-22 06:42:25] 693*2^1002352-1 is not prime. Res64: 0D7C86558B022661 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:44:25] 909*2^1002352-1 is not prime. Res64: 9D3C954DDB5F45ED Time : 0.0 sec. user=mdettweiler [2012-01-22 06:44:50] 957*2^1002350-1 is not prime. Res64: 36182B6B8AF22D08 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:44:50] 619*2^1002351-1 is not prime. Res64: 416AA04C8D49F135 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:49:28] 685*2^1002351-1 is not prime. Res64: FDFA2CEF1B8787EE Time : 0.0 sec. user=mdettweiler [2012-01-22 06:49:28] 783*2^1002351-1 is not prime. Res64: 87DB25A4F6EC84AD Time : 0.0 sec. user=mdettweiler [2012-01-22 06:50:36] 769*2^1002341-1 is not prime. Res64: 610C170002004BCD Time : 0.0 sec. user=mdettweiler [2012-01-22 06:50:36] 937*2^1002341-1 is not prime. Res64: AD26B6158B654324 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:51:27] 939*2^1002352-1 is not prime. Res64: 0E3F75E6B1F29CC9 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:51:43] 679*2^1002353-1 is not prime. Res64: 027F221AD47F2894 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:55:26] 759*2^1002352-1 is not prime. Res64: FF1AF2732ACA5E80 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:55:27] 855*2^1002352-1 is not prime. Res64: 40ED501F853EC051 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:58:07] 833*2^1002342-1 is not prime. Res64: 569EE646828C3551 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:58:07] 945*2^1002342-1 is not prime. Res64: 394E3E8739AC0363 Time : 0.0 sec. user=mdettweiler [2012-01-22 06:58:46] 635*2^1002354-1 is not prime. Res64: 25F668FD9B8E956B Time : 0.0 sec. user=mdettweiler [2012-01-22 06:59:03] 717*2^1002354-1 is not prime. Res64: AD768A0591EB1820 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:01:28] 915*2^1002352-1 is not prime. Res64: C3CB2DB960EB8681 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:01:33] 923*2^1002352-1 is not prime. Res64: 2B12761BE794664C Time : 0.0 sec. user=mdettweiler [2012-01-22 07:04:34] 781*2^1002353-1 is not prime. Res64: D0BDEF3342F611DB Time : 0.0 sec. user=mdettweiler [2012-01-22 07:04:34] 811*2^1002353-1 is not prime. Res64: CEB259F397F3C5D9 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:06:21] 663*2^1002355-1 is not prime. Res64: 4D5F1B33FA34138F Time : 0.0 sec. user=mdettweiler [2012-01-22 07:07:47] 993*2^1002354-1 is not prime. Res64: AEDE92A3FE70701C Time : 0.0 sec. user=mdettweiler [2012-01-22 07:09:15] 831*2^1002353-1 is not prime. Res64: 7B39F7C5B8956CB8 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:09:16] 861*2^1002353-1 is not prime. Res64: B051AE9E06AB755F Time : 0.0 sec. user=mdettweiler [2012-01-22 07:13:39] 617*2^1002356-1 is not prime. Res64: 69B693F642F9524A Time : 0.0 sec. user=mdettweiler [2012-01-22 07:15:05] 813*2^1002356-1 is not prime. Res64: B725FDB7AB35AC04 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:15:11] 737*2^1002354-1 is not prime. Res64: B9DE90A830361483 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:15:12] 873*2^1002354-1 is not prime. Res64: E4D772D4D0D86FE0 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:21:07] 899*2^1002356-1 is not prime. Res64: DBEBF0BC7804C7D6 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:21:25] 735*2^1002355-1 is not prime. Res64: AA47BDFA1C87DE98 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:21:25] 771*2^1002355-1 is not prime. Res64: B64D7C41FBA922D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:22:24] 615*2^1002357-1 is not prime. Res64: B81AB044A4CEAB49 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:24:19] 883*2^1002355-1 is not prime. Res64: 0FBA6BE15710F3AC Time : 0.0 sec. user=mdettweiler [2012-01-22 07:24:19] 919*2^1002355-1 is not prime. Res64: AC816E857BA2C48C Time : 0.0 sec. user=mdettweiler [2012-01-22 07:28:25] 711*2^1002357-1 is not prime. Res64: E1ED9D191BDB56ED Time : 0.0 sec. user=mdettweiler [2012-01-22 07:29:03] 873*2^1002356-1 is not prime. Res64: 086CF98615600FF5 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:29:03] 897*2^1002356-1 is not prime. Res64: D46AE1F0639BAD14 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:29:42] 645*2^1002358-1 is not prime. Res64: AE70D44D7E58229A Time : 0.0 sec. user=mdettweiler [2012-01-22 07:35:00] 681*2^1002357-1 is not prime. Res64: 647047A4EB42AE1D Time : 0.0 sec. user=mdettweiler [2012-01-22 07:35:00] 691*2^1002357-1 is not prime. Res64: 4045D4573D94D3AB Time : 0.0 sec. user=mdettweiler [2012-01-22 07:36:59] 789*2^1002359-1 is not prime. Res64: 90D3051D5EF8BF47 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:37:25] 933*2^1002358-1 is not prime. Res64: 57647FCC4982D8FD Time : 0.0 sec. user=mdettweiler [2012-01-22 07:41:17] 817*2^1002357-1 is not prime. Res64: 9591E3F40ECA8299 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:41:17] 889*2^1002357-1 is not prime. Res64: 0084BEF5924EBF7A Time : 0.0 sec. user=mdettweiler [2012-01-22 07:44:03] 671*2^1002358-1 is not prime. Res64: 2F56AA8D78DBFC73 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:44:04] 885*2^1002358-1 is not prime. Res64: 7D0342897B0B37B1 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:44:17] 879*2^1002359-1 is not prime. Res64: 2B9A20DFD97031DC Time : 0.0 sec. user=mdettweiler [2012-01-22 07:45:37] 641*2^1002350-1 is not prime. Res64: 048B091CD6D6BACF Time : 0.0 sec. user=mdettweiler [2012-01-22 07:45:37] 885*2^1002350-1 is not prime. Res64: 51CA97BEC47BB19C Time : 0.0 sec. user=mdettweiler [2012-01-22 07:46:26] 943*2^1002359-1 is not prime. Res64: F5888CE614215572 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:51:09] 945*2^1002358-1 is not prime. Res64: 89013CE783BE25BB Time : 0.0 sec. user=mdettweiler [2012-01-22 07:51:09] 685*2^1002359-1 is not prime. Res64: B6D5FF33FE4B6A68 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:51:35] 625*2^1002361-1 is not prime. Res64: F8158AF783E84424 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:53:44] 847*2^1002361-1 is not prime. Res64: AA9B9DEAEE81B854 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:54:45] 825*2^1002359-1 is not prime. Res64: 382C1637CC159EB1 Time : 0.0 sec. user=mdettweiler [2012-01-22 07:54:45] 865*2^1002359-1 is not prime. Res64: 9CEA2D6DF47DDF11 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:00:36] 931*2^1002361-1 is not prime. Res64: 84F5538001B7E5C1 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:01:03] 825*2^1002360-1 is not prime. Res64: 339D90B9B8A03DB6 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:01:06] 845*2^1002360-1 is not prime. Res64: 7139554201B33AE5 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:02:44] 955*2^1002361-1 is not prime. Res64: DCD320949B010AE9 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:03:49] 857*2^1002360-1 is not prime. Res64: F78C03FC69AA0C91 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:03:50] 601*2^1002361-1 is not prime. Res64: A89E4F6BFB525A17 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:07:03] 931*2^1002351-1 is not prime. Res64: 37D101AF9A5B0D49 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:07:05] 609*2^1002352-1 is not prime. Res64: 8B863E50B0483F15 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:07:56] 785*2^1002362-1 is not prime. Res64: 9A6EDC29482B282F Time : 0.0 sec. user=mdettweiler [2012-01-22 08:10:07] 745*2^1002363-1 is not prime. Res64: 501A42B2E28C93F6 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:10:55] 855*2^1002361-1 is not prime. Res64: 4F45888FAA2222AD Time : 0.0 sec. user=mdettweiler [2012-01-22 08:10:57] 867*2^1002361-1 is not prime. Res64: 9D2E77AE91DAE436 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:15:18] 855*2^1002364-1 is not prime. Res64: C872A5A6543F5DBD Time : 0.0 sec. user=mdettweiler [2012-01-22 08:16:51] 999*2^1002361-1 is not prime. Res64: F2B59FF71E5C4D81 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:16:51] 657*2^1002362-1 is not prime. Res64: 633F0A5350121A86 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:17:27] 857*2^1002364-1 is not prime. Res64: 4BB92F4FFD9404AA Time : 0.0 sec. user=mdettweiler [2012-01-22 08:20:57] 797*2^1002362-1 is not prime. Res64: 1CD82EEDB77156AA Time : 0.0 sec. user=mdettweiler [2012-01-22 08:20:57] 709*2^1002363-1 is not prime. Res64: 9FB4C5ED03F3646A Time : 0.0 sec. user=mdettweiler [2012-01-22 08:22:36] 909*2^1002364-1 is not prime. Res64: 3D9ACDEFD9F2824C Time : 0.0 sec. user=mdettweiler [2012-01-22 08:23:43] 775*2^1002363-1 is not prime. Res64: 7C5505E391738B57 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:23:43] 859*2^1002363-1 is not prime. Res64: 9156C25B7135805C Time : 0.0 sec. user=mdettweiler [2012-01-22 08:24:45] 619*2^1002365-1 is not prime. Res64: E8E388E46BDB92D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:30:54] 885*2^1002364-1 is not prime. Res64: 47816B817F0FE472 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:30:55] 887*2^1002364-1 is not prime. Res64: D3E2C1BCE2748DA6 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:31:38] 925*2^1002365-1 is not prime. Res64: A1D6175AC750F56A Time : 0.0 sec. user=mdettweiler [2012-01-22 08:32:03] 693*2^1002366-1 is not prime. Res64: CD1BC7DE1C4FF718 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:35:34] 917*2^1002354-1 is not prime. Res64: 81B06247D7E5BE63 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:35:34] 971*2^1002354-1 is not prime. Res64: F7D5D598F863AF6B Time : 0.0 sec. user=mdettweiler [2012-01-22 08:38:55] 959*2^1002364-1 is not prime. Res64: 34FC7EF96AF6F2AB Time : 0.0 sec. user=mdettweiler [2012-01-22 08:38:55] 607*2^1002365-1 is not prime. Res64: 35ED42D27A25E018 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:38:57] 807*2^1002366-1 is not prime. Res64: 496151FD96361BA5 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:39:22] 815*2^1002366-1 is not prime. Res64: 4FABB8902D926E37 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:40:44] 657*2^1002365-1 is not prime. Res64: B3E26D13ED6412BD Time : 0.0 sec. user=mdettweiler [2012-01-22 08:40:44] 855*2^1002365-1 is not prime. Res64: D94537ECD8C01A56 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:40:59] 955*2^1002353-1 is not prime. Res64: B85AD236B9AA49BC Time : 0.0 sec. user=mdettweiler [2012-01-22 08:41:00] 987*2^1002353-1 is not prime. Res64: 3858289EC5CF2D76 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:45:45] 939*2^1002365-1 is not prime. Res64: 84119EDFF6849136 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:45:46] 641*2^1002366-1 is not prime. Res64: 9AA55F9D8396424A Time : 0.0 sec. user=mdettweiler [2012-01-22 08:46:16] 703*2^1002367-1 is not prime. Res64: FDC29E310B8BC3AA Time : 0.0 sec. user=mdettweiler [2012-01-22 08:46:41] 741*2^1002367-1 is not prime. Res64: 1964DBF3F181C75E Time : 0.0 sec. user=mdettweiler [2012-01-22 08:50:42] 713*2^1002366-1 is not prime. Res64: 452A8D047F9C9418 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:50:43] 801*2^1002366-1 is not prime. Res64: AA1575A9C3CF2112 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:53:34] 633*2^1002368-1 is not prime. Res64: 5B406C24C124C668 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:53:59] 789*2^1002368-1 is not prime. Res64: CAE474D3614FFA1B Time : 0.0 sec. user=mdettweiler [2012-01-22 08:58:38] 639*2^1002367-1 is not prime. Res64: FED1731DBB296E86 Time : 0.0 sec. user=mdettweiler [2012-01-22 08:58:38] 651*2^1002367-1 is not prime. Res64: 8AA1AE94EFCF2F71 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:00:30] 775*2^1002367-1 is not prime. Res64: 6FB6AA46EA64C7C0 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:00:30] 895*2^1002367-1 is not prime. Res64: C4E23B537538C5D9 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:01:19] 609*2^1002369-1 is not prime. Res64: 26466AEFA80D80C7 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:02:35] 935*2^1002368-1 is not prime. Res64: ECB855F75A8D3716 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:05:31] 603*2^1002368-1 is not prime. Res64: FAA30B83CF4D8A46 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:05:32] 617*2^1002368-1 is not prime. Res64: ACA2EECC725A229C Time : 0.0 sec. user=mdettweiler [2012-01-22 09:10:20] 991*2^1002369-1 is not prime. Res64: 50D94F3BB771A9A1 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:11:37] 999*2^1002369-1 is not prime. Res64: CA8FC2F3877C051B Time : 0.0 sec. user=mdettweiler [2012-01-22 09:12:48] 867*2^1002368-1 is not prime. Res64: B3413A147B534920 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:12:49] 927*2^1002368-1 is not prime. Res64: AD988C3A2F838233 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:13:54] 637*2^1002361-1 is not prime. Res64: 116342A9FB0876C4 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:13:55] 807*2^1002361-1 is not prime. Res64: B5730306569282F3 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:17:41] 765*2^1002370-1 is not prime. Res64: 7E57D586CE87E78D Time : 0.0 sec. user=mdettweiler [2012-01-22 09:18:25] 691*2^1002369-1 is not prime. Res64: 55A3727CA0427506 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:18:25] 765*2^1002369-1 is not prime. Res64: AFC426EC95F0402C Time : 0.0 sec. user=mdettweiler [2012-01-22 09:18:56] 827*2^1002370-1 is not prime. Res64: 7FA3EE8B2D57F6ED Time : 0.0 sec. user=mdettweiler [2012-01-22 09:22:37] 817*2^1002369-1 is not prime. Res64: 4D408B053B9680F6 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:22:37] 979*2^1002369-1 is not prime. Res64: 59F76F0C1DE28958 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:25:29] 635*2^1002370-1 is not prime. Res64: 0598E9AB4294C445 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:25:30] 717*2^1002370-1 is not prime. Res64: C02EC614913DE15F Time : 0.0 sec. user=mdettweiler [2012-01-22 09:26:14] 693*2^1002371-1 is not prime. Res64: 17ACBE290134BC69 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:26:41] 995*2^1002370-1 is not prime. Res64: 2D601EF402B1F2C1 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:33:33] 647*2^1002372-1 is not prime. Res64: 2D4C56A91ABD6A71 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:34:00] 749*2^1002372-1 is not prime. Res64: DF79437AE8AD14C8 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:35:55] 623*2^1002364-1 is not prime. Res64: 28A26667FBEE6528 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:35:55] 813*2^1002364-1 is not prime. Res64: 522AD79ACD9555FD Time : 0.0 sec. user=mdettweiler [2012-01-22 09:37:19] 923*2^1002370-1 is not prime. Res64: EADFE2C8CF27EA48 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:37:19] 945*2^1002370-1 is not prime. Res64: 243DF8040E764068 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:38:17] 603*2^1002371-1 is not prime. Res64: E21ED88AC9A5A60B Time : 0.0 sec. user=mdettweiler [2012-01-22 09:38:17] 621*2^1002371-1 is not prime. Res64: 0942DDB0206CF4C0 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:40:51] 765*2^1002372-1 is not prime. Res64: 100F8749373E7DDE Time : 0.0 sec. user=mdettweiler [2012-01-22 09:42:29] 711*2^1002371-1 is not prime. Res64: 413F59D3F7D7E482 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:42:29] 781*2^1002371-1 is not prime. Res64: 49D55923487028C1 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:43:01] 977*2^1002372-1 is not prime. Res64: CECE5D8B8C4EAD29 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:47:36] 883*2^1002371-1 is not prime. Res64: CB13D9C77F4810A3 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:47:36] 979*2^1002371-1 is not prime. Res64: 66E6A2AA96FC89E3 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:48:09] 873*2^1002374-1 is not prime. Res64: 9A23B998CDEA0E1E Time : 0.0 sec. user=mdettweiler [2012-01-22 09:50:20] 709*2^1002375-1 is not prime. Res64: 002519938CE8E69F Time : 0.0 sec. user=mdettweiler [2012-01-22 09:55:29] 793*2^1002375-1 is not prime. Res64: F077A336A58EECFF Time : 0.0 sec. user=mdettweiler [2012-01-22 09:57:38] 913*2^1002375-1 is not prime. Res64: EAC7A593CAC4CFF1 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:58:09] 605*2^1002374-1 is not prime. Res64: 862CF4875DC27739 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:58:09] 675*2^1002374-1 is not prime. Res64: A6F01C4B9AFB6058 Time : 0.0 sec. user=mdettweiler [2012-01-22 09:59:24] 859*2^1002373-1 is not prime. Res64: EFEBC7F9AEF3127A Time : 0.0 sec. user=mdettweiler [2012-01-22 09:59:24] 955*2^1002373-1 is not prime. Res64: 2E73F6996A40FEC5 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:02:19] 633*2^1002375-1 is not prime. Res64: A7A00F266F82D388 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:02:20] 663*2^1002375-1 is not prime. Res64: C803B169B593BB4C Time : 0.0 sec. user=mdettweiler [2012-01-22 10:04:32] 979*2^1002375-1 is not prime. Res64: 464339BF105813EC Time : 0.0 sec. user=mdettweiler [2012-01-22 10:04:56] 707*2^1002376-1 is not prime. Res64: 7FA214970DC8D1BA Time : 0.0 sec. user=mdettweiler [2012-01-22 10:07:20] 739*2^1002375-1 is not prime. Res64: 66D37E596B5C69C0 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:07:21] 789*2^1002375-1 is not prime. Res64: 893B023404EF74EC Time : 0.0 sec. user=mdettweiler [2012-01-22 10:11:50] 779*2^1002376-1 is not prime. Res64: 747C3F1BE9E1B988 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:13:59] 923*2^1002376-1 is not prime. Res64: D143F4BA278C54BA Time : 0.0 sec. user=mdettweiler [2012-01-22 10:17:54] 717*2^1002376-1 is not prime. Res64: AD76A675C9A2D5F7 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:17:54] 719*2^1002376-1 is not prime. Res64: E073D880442250B9 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:19:09] 747*2^1002376-1 is not prime. Res64: A312F3161E5DF665 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:19:09] 755*2^1002376-1 is not prime. Res64: 337364533607F6D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:19:12] 669*2^1002377-1 is not prime. Res64: 924DB87994D55EDC Time : 0.0 sec. user=mdettweiler [2012-01-22 10:19:43] 945*2^1002366-1 is not prime. Res64: 35B48A1D065DFB97 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:19:44] 1001*2^1002366-1 is not prime. Res64: DF3724F2BFF667BA Time : 0.0 sec. user=mdettweiler [2012-01-22 10:21:19] 685*2^1002377-1 is not prime. Res64: 90741D8291D2C3BF Time : 0.0 sec. user=mdettweiler [2012-01-22 10:22:07] 765*2^1002376-1 is not prime. Res64: ED0EC105B37499A0 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:22:07] 773*2^1002376-1 is not prime. Res64: 3D966E4745E1F900 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:28:15] 951*2^1002378-1 is not prime. Res64: 416C13A3BE192F22 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:28:37] 789*2^1002379-1 is not prime. Res64: 57F6EEB5CDB7FE1C Time : 0.0 sec. user=mdettweiler [2012-01-22 10:30:03] 945*2^1002367-1 is not prime. Res64: FC03E0EEB3779318 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:30:03] 985*2^1002367-1 is not prime. Res64: C544CBD242C0993F Time : 0.0 sec. user=mdettweiler [2012-01-22 10:31:46] 975*2^1002376-1 is not prime. Res64: 25465230E355E3D3 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:31:46] 999*2^1002376-1 is not prime. Res64: B618A41B8F5A844D Time : 0.0 sec. user=mdettweiler [2012-01-22 10:35:56] 753*2^1002380-1 is not prime. Res64: 2D67AFE729908846 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:37:16] 961*2^1002379-1 is not prime. Res64: 775CDE315856DE36 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:39:02] 611*2^1002378-1 is not prime. Res64: DFE068CB538C9207 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:39:03] 735*2^1002378-1 is not prime. Res64: EBD3516C1ED91B82 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:40:04] 781*2^1002377-1 is not prime. Res64: 0A34C9CB1F8459A3 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:40:04] 991*2^1002377-1 is not prime. Res64: C6E8312EB6CA1076 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:44:35] 615*2^1002381-1 is not prime. Res64: C87D4FD3E9DE9ADB Time : 0.0 sec. user=mdettweiler [2012-01-22 10:44:56] 923*2^1002380-1 is not prime. Res64: 2E8462A2815A0A79 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:46:30] 931*2^1002379-1 is not prime. Res64: C2E817FB7E436AA9 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:46:30] 943*2^1002379-1 is not prime. Res64: 7346554C40121326 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:51:38] 825*2^1002380-1 is not prime. Res64: 48EEBD0B098636AC Time : 0.0 sec. user=mdettweiler [2012-01-22 10:51:38] 857*2^1002380-1 is not prime. Res64: DD90594209261035 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:51:53] 861*2^1002381-1 is not prime. Res64: 4872CDB19EB7FDF7 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:52:14] 865*2^1002381-1 is not prime. Res64: 35ED66425AFEB3C2 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:58:54] 627*2^1002381-1 is not prime. Res64: F535F2A5D0885DAD Time : 0.0 sec. user=mdettweiler [2012-01-22 10:58:54] 741*2^1002381-1 is not prime. Res64: BFF6A5ED3CBAD4C4 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:59:13] 645*2^1002382-1 is not prime. Res64: 33F21B7F086EC543 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:59:34] 743*2^1002382-1 is not prime. Res64: B8D4A818926B1985 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:59:51] 789*2^1002381-1 is not prime. Res64: 15BCE7BC34505535 Time : 0.0 sec. user=mdettweiler [2012-01-22 10:59:51] 847*2^1002381-1 is not prime. Res64: F58F54E371EBA4A8 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:03:44] 615*2^1002373-1 is not prime. Res64: F73CA7D68568DA3D Time : 0.0 sec. user=mdettweiler [2012-01-22 11:03:44] 721*2^1002373-1 is not prime. Res64: CCBDAB0E23D496FE Time : 0.0 sec. user=mdettweiler [2012-01-22 11:03:47] 971*2^1002370-1 is not prime. Res64: F871E6C9DD850925 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:03:48] 987*2^1002370-1 is not prime. Res64: 842E48ED7B7D763A Time : 0.0 sec. user=mdettweiler [2012-01-22 11:06:20] 871*2^1002381-1 is not prime. Res64: 6859091FA71B36AC Time : 0.0 sec. user=mdettweiler [2012-01-22 11:06:21] 877*2^1002381-1 is not prime. Res64: A9705AFD4D8DD54B Time : 0.0 sec. user=mdettweiler [2012-01-22 11:08:12] 947*2^1002382-1 is not prime. Res64: 5312E2309BAA6210 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:08:32] 975*2^1002382-1 is not prime. Res64: A8F53C9A7F6BA563 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:13:44] 927*2^1002381-1 is not prime. Res64: 272BABF7D98956DA Time : 0.0 sec. user=mdettweiler [2012-01-22 11:13:45] 617*2^1002382-1 is not prime. Res64: F9486915B57805A5 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:15:30] 729*2^1002385-1 is not prime. Res64: ED8079C680366BF7 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:15:53] 741*2^1002385-1 is not prime. Res64: 9F6AF6A8743CC337 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:18:43] 777*2^1002382-1 is not prime. Res64: 54EAD7EC866CB383 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:18:43] 843*2^1002382-1 is not prime. Res64: D34D00EFF6B0718B Time : 0.0 sec. user=mdettweiler [2012-01-22 11:21:54] 987*2^1002382-1 is not prime. Res64: 3C73B84401C2CBE0 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:21:54] 621*2^1002383-1 is not prime. Res64: 73629896B60F3B30 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:22:48] 805*2^1002385-1 is not prime. Res64: A41C4687A779FEC6 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:23:11] 849*2^1002385-1 is not prime. Res64: 6CE45E200EBD2CAA Time : 0.0 sec. user=mdettweiler [2012-01-22 11:28:30] 693*2^1002384-1 is not prime. Res64: 3BFA136CC6493528 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:28:30] 929*2^1002384-1 is not prime. Res64: FAB00D390D3F1357 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:30:07] 623*2^1002386-1 is not prime. Res64: 453821387CCA0C48 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:30:30] 717*2^1002386-1 is not prime. Res64: 9DC48EE1BDEC3665 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:33:31] 765*2^1002385-1 is not prime. Res64: 5C50222A1D1E892D Time : 0.0 sec. user=mdettweiler [2012-01-22 11:33:31] 775*2^1002385-1 is not prime. Res64: 91181B5976676D7B Time : 0.0 sec. user=mdettweiler [2012-01-22 11:37:24] 825*2^1002386-1 is not prime. Res64: F14736E9092355DC Time : 0.0 sec. user=mdettweiler [2012-01-22 11:37:48] 857*2^1002386-1 is not prime. Res64: 2DB5BE6FA93366D1 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:38:30] 861*2^1002385-1 is not prime. Res64: 97C01C4FBBB4971B Time : 0.0 sec. user=mdettweiler [2012-01-22 11:38:30] 871*2^1002385-1 is not prime. Res64: 34CEDFEA46308435 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:44:02] 877*2^1002385-1 is not prime. Res64: 25AFB3DC9F63E815 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:44:02] 937*2^1002385-1 is not prime. Res64: 2826DCDCAD6B9EB4 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:44:42] 703*2^1002387-1 is not prime. Res64: 73BBC81126E32ECC Time : 0.0 sec. user=mdettweiler [2012-01-22 11:45:06] 709*2^1002387-1 is not prime. Res64: 3E00521FABCE2CF7 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:48:20] 747*2^1002386-1 is not prime. Res64: C4FFC356478AFFF3 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:48:21] 767*2^1002386-1 is not prime. Res64: B32EE4715253DC93 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:51:14] 765*2^1002379-1 is not prime. Res64: CFA3EBE74ECF5045 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:51:14] 769*2^1002379-1 is not prime. Res64: 41B8DFE3A56DD259 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:52:00] 859*2^1002387-1 is not prime. Res64: F003B31FBC020959 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:52:25] 871*2^1002387-1 is not prime. Res64: A36B85D56D999D2F Time : 0.0 sec. user=mdettweiler [2012-01-22 11:55:34] 987*2^1002386-1 is not prime. Res64: 26FB7C35DC0E4E4F Time : 0.0 sec. user=mdettweiler [2012-01-22 11:55:35] 625*2^1002387-1 is not prime. Res64: 8B658AABE98A3A2A Time : 0.0 sec. user=mdettweiler [2012-01-22 11:56:59] 789*2^1002380-1 is not prime. Res64: 460005C2BAD87BB3 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:56:59] 813*2^1002380-1 is not prime. Res64: F95EE4381E0FF9FC Time : 0.0 sec. user=mdettweiler [2012-01-22 11:58:13] 735*2^1002387-1 is not prime. Res64: 5533D121D8F4A171 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:58:13] 769*2^1002387-1 is not prime. Res64: 778BC0A7E2415F25 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:59:21] 783*2^1002388-1 is not prime. Res64: 8B474C9303AF6ED3 Time : 0.0 sec. user=mdettweiler [2012-01-22 11:59:47] 813*2^1002388-1 is not prime. Res64: 44D826DE59F47A52 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:03:46] 825*2^1002387-1 is not prime. Res64: F3AFA928B5C10C7C Time : 0.0 sec. user=mdettweiler [2012-01-22 12:03:46] 843*2^1002387-1 is not prime. Res64: 359E0DADD2EAF39F Time : 0.0 sec. user=mdettweiler [2012-01-22 12:08:02] 873*2^1002387-1 is not prime. Res64: 4794F07DEB2F92FA Time : 0.0 sec. user=mdettweiler [2012-01-22 12:08:03] 647*2^1002388-1 is not prime. Res64: 54C6A971A426FC65 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:08:28] 927*2^1002389-1 is not prime. Res64: B58CC3BE371EC489 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:08:57] 931*2^1002389-1 is not prime. Res64: 7FB077BC45F27FCF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:15:47] 863*2^1002390-1 is not prime. Res64: 13773A639741EB29 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:16:17] 609*2^1002391-1 is not prime. Res64: 62D062AB04D67B6C Time : 0.0 sec. user=mdettweiler [2012-01-22 12:17:34] 915*2^1002388-1 is not prime. Res64: 392A9F6B991064EF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:17:34] 933*2^1002388-1 is not prime. Res64: 00B8BCC0E27D98E9 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:18:01] 847*2^1002389-1 is not prime. Res64: 722BC27D15242264 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:18:01] 889*2^1002389-1 is not prime. Res64: 28167816C8018CF4 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:23:04] 859*2^1002391-1 is not prime. Res64: F6CD29BDA7A4C6EF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:25:19] 939*2^1002391-1 is not prime. Res64: D11C44D2A35CB49C Time : 0.0 sec. user=mdettweiler [2012-01-22 12:27:14] 979*2^1002389-1 is not prime. Res64: 3D1A0A4D6E6B6D28 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:27:14] 741*2^1002390-1 is not prime. Res64: 89B5848CE278DCE7 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:29:24] 747*2^1002390-1 is not prime. Res64: 8B581B1A3C8BD1BF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:29:24] 845*2^1002390-1 is not prime. Res64: D82D2F0F10C071DF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:30:10] 635*2^1002384-1 is not prime. Res64: 05F95BA36E53C464 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:30:10] 689*2^1002384-1 is not prime. Res64: B499AE55ED0CF0DA Time : 0.0 sec. user=mdettweiler [2012-01-22 12:30:21] 803*2^1002392-1 is not prime. Res64: 70B292D775337BE4 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:31:10] 693*2^1002383-1 is not prime. Res64: 806C92810E3AF4FD Time : 0.0 sec. user=mdettweiler [2012-01-22 12:31:10] 759*2^1002383-1 is not prime. Res64: B7C9849558A21CCB Time : 0.0 sec. user=mdettweiler [2012-01-22 12:34:19] 935*2^1002392-1 is not prime. Res64: 450A4D3085F59D7C Time : 0.0 sec. user=mdettweiler [2012-01-22 12:39:20] 985*2^1002393-1 is not prime. Res64: 427ACE340CAA8682 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:41:28] 617*2^1002392-1 is not prime. Res64: D5690FBD4506F632 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:41:28] 713*2^1002392-1 is not prime. Res64: 174859B22E67089C Time : 0.0 sec. user=mdettweiler [2012-01-22 12:41:38] 717*2^1002394-1 is not prime. Res64: 729F39E9E8923EDF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:45:48] 943*2^1002391-1 is not prime. Res64: 94916988D4A6525D Time : 0.0 sec. user=mdettweiler [2012-01-22 12:45:48] 979*2^1002391-1 is not prime. Res64: B9FBA12A3A19ABFF Time : 0.0 sec. user=mdettweiler [2012-01-22 12:46:40] 747*2^1002394-1 is not prime. Res64: 47FC942D8C848EBC Time : 0.0 sec. user=mdettweiler [2012-01-22 12:48:59] 833*2^1002394-1 is not prime. Res64: 8A6DD692D4231FC2 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:51:45] 651*2^1002393-1 is not prime. Res64: 0033840B2B5F1B64 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:51:46] 747*2^1002393-1 is not prime. Res64: 2F40AB324242F5F8 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:54:00] 673*2^1002395-1 is not prime. Res64: 3D36209011BBD998 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:54:48] 847*2^1002393-1 is not prime. Res64: 2A3E8B368A9D7B63 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:54:48] 861*2^1002393-1 is not prime. Res64: 0FAE4197E6408EC3 Time : 0.0 sec. user=mdettweiler [2012-01-22 12:56:19] 675*2^1002395-1 is not prime. Res64: C95AFDBFEDB3497D Time : 0.0 sec. user=mdettweiler [2012-01-22 13:01:20] 885*2^1002395-1 is not prime. Res64: E851738C3CA59464 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:03:38] 693*2^1002396-1 is not prime. Res64: 25233D66F992F076 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:05:25] 755*2^1002394-1 is not prime. Res64: 4F0BA332F005CE9B Time : 0.0 sec. user=mdettweiler [2012-01-22 13:05:26] 825*2^1002394-1 is not prime. Res64: 6476F9A2F4D1E8EF Time : 0.0 sec. user=mdettweiler [2012-01-22 13:08:40] 725*2^1002396-1 is not prime. Res64: B0A99698537560DA Time : 0.0 sec. user=mdettweiler [2012-01-22 13:12:42] 993*2^1002396-1 is not prime. Res64: 7CCD4F4AA23AB354 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:13:52] 825*2^1002395-1 is not prime. Res64: BF982FB81669B7BA Time : 0.0 sec. user=mdettweiler [2012-01-22 13:13:53] 859*2^1002395-1 is not prime. Res64: A209EB6ED6BBAED9 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:13:54] 947*2^1002394-1 is not prime. Res64: B7624262BC5379DB Time : 0.0 sec. user=mdettweiler [2012-01-22 13:13:55] 983*2^1002394-1 is not prime. Res64: 02BF3A9727BF238B Time : 0.0 sec. user=mdettweiler [2012-01-22 13:16:00] 727*2^1002397-1 is not prime. Res64: 742ED95FCD1286ED Time : 0.0 sec. user=mdettweiler [2012-01-22 13:16:40] 909*2^1002395-1 is not prime. Res64: 798AF48CBEAAC012 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:16:40] 913*2^1002395-1 is not prime. Res64: 964012CD07A6B650 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:19:42] 677*2^1002388-1 is not prime. Res64: DD9B0F65D5960BD2 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:19:42] 687*2^1002388-1 is not prime. Res64: 610906DB5A145B9A Time : 0.0 sec. user=mdettweiler [2012-01-22 13:20:05] 831*2^1002397-1 is not prime. Res64: 8CAB72A33A1D4712 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:25:02] 953*2^1002398-1 is not prime. Res64: 95852570C57B5312 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:25:27] 657*2^1002389-1 is not prime. Res64: 53BECBCCEEDD44D5 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:25:27] 825*2^1002389-1 is not prime. Res64: 3433BE1873B7A707 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:27:24] 775*2^1002399-1 is not prime. Res64: 3CC6EAFBE63AE1C2 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:28:18] 999*2^1002396-1 is not prime. Res64: 759DC295811B04ED Time : 0.0 sec. user=mdettweiler [2012-01-22 13:28:18] 717*2^1002397-1 is not prime. Res64: F003F12AFCEE6A0D Time : 0.0 sec. user=mdettweiler [2012-01-22 13:32:21] 853*2^1002399-1 is not prime. Res64: 334DFAB76A565574 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:33:58] 885*2^1002397-1 is not prime. Res64: 2ACF74B73C34498D Time : 0.0 sec. user=mdettweiler [2012-01-22 13:33:58] 919*2^1002397-1 is not prime. Res64: E2EA98F8629A8D9D Time : 0.0 sec. user=mdettweiler [2012-01-22 13:34:25] 623*2^1002398-1 is not prime. Res64: C89F0ABB620AC41D Time : 0.0 sec. user=mdettweiler [2012-01-22 13:34:25] 767*2^1002398-1 is not prime. Res64: 2A6F4F43C928E6F1 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:36:26] 961*2^1002399-1 is not prime. Res64: 55E4A1731907C9DB Time : 0.0 sec. user=mdettweiler [2012-01-22 13:39:33] 963*2^1002398-1 is not prime. Res64: 0AB672374C4D577A Time : 0.0 sec. user=mdettweiler [2012-01-22 13:39:34] 619*2^1002399-1 is not prime. Res64: 79BC3BABFA24CA31 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:39:40] 713*2^1002400-1 is not prime. Res64: 492D7CC8446CED84 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:43:46] 855*2^1002401-1 is not prime. Res64: F66CB72EA878B53C Time : 0.0 sec. user=mdettweiler [2012-01-22 13:46:58] 765*2^1002402-1 is not prime. Res64: 0C9FBEDAE1E7B1D8 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:51:04] 873*2^1002402-1 is not prime. Res64: 85A0D92348F184D9 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:51:59] 979*2^1002399-1 is not prime. Res64: F15DB7012259AB82 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:52:00] 615*2^1002400-1 is not prime. Res64: AF416306CB673B00 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:54:20] 603*2^1002403-1 is not prime. Res64: CA26FF771BDB97A5 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:55:13] 715*2^1002401-1 is not prime. Res64: 7BB46A7BAA7FA644 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:55:13] 741*2^1002401-1 is not prime. Res64: 73BD8A87FDFE1D44 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:55:45] 857*2^1002400-1 is not prime. Res64: 75F02AA658B4D89F Time : 0.0 sec. user=mdettweiler [2012-01-22 13:55:45] 619*2^1002401-1 is not prime. Res64: 0174E92ACB833684 Time : 0.0 sec. user=mdettweiler [2012-01-22 13:58:24] 681*2^1002403-1 is not prime. Res64: A574D20990BEA7DA Time : 0.0 sec. user=mdettweiler [2012-01-22 14:00:05] 651*2^1002394-1 is not prime. Res64: 512122A196BBDB49 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:00:09] 671*2^1002394-1 is not prime. Res64: C668BD7557424FEC Time : 0.0 sec. user=mdettweiler [2012-01-22 14:01:41] 723*2^1002403-1 is not prime. Res64: 537F1E75C8CD8CF7 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:04:35] 987*2^1002401-1 is not prime. Res64: 7EC530E46083A75B Time : 0.0 sec. user=mdettweiler [2012-01-22 14:04:35] 991*2^1002401-1 is not prime. Res64: 55C9D98CCF28FCEE Time : 0.0 sec. user=mdettweiler [2012-01-22 14:05:42] 843*2^1002404-1 is not prime. Res64: 6C67BCFB83F8D6BF Time : 0.0 sec. user=mdettweiler [2012-01-22 14:08:03] 901*2^1002393-1 is not prime. Res64: 82D3B97B7EEFAD50 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:08:04] 955*2^1002393-1 is not prime. Res64: 80F488384E919D07 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:09:05] 625*2^1002405-1 is not prime. Res64: 2914198F5E0B31B7 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:12:59] 705*2^1002403-1 is not prime. Res64: E0D293C2A085D7E7 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:13:00] 709*2^1002403-1 is not prime. Res64: 12133EB6F624843C Time : 0.0 sec. user=mdettweiler [2012-01-22 14:13:03] 795*2^1002405-1 is not prime. Res64: 794CFDDBAD00B729 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:16:47] 677*2^1002404-1 is not prime. Res64: 623EC2D36DD2A663 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:16:47] 825*2^1002404-1 is not prime. Res64: D34EE1971E506E44 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:16:53] 647*2^1002406-1 is not prime. Res64: FCFC435A7FCCF30F Time : 0.0 sec. user=mdettweiler [2012-01-22 14:18:07] 901*2^1002403-1 is not prime. Res64: 82690B6CDB13D1E9 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:18:07] 969*2^1002403-1 is not prime. Res64: 822A45BE29D027D4 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:20:54] 825*2^1002406-1 is not prime. Res64: A821223FCAF7FCEA Time : 0.0 sec. user=mdettweiler [2012-01-22 14:25:36] 679*2^1002405-1 is not prime. Res64: 714779AB117AA92C Time : 0.0 sec. user=mdettweiler [2012-01-22 14:25:37] 685*2^1002405-1 is not prime. Res64: A272A6A4689603E8 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:25:58] 971*2^1002406-1 is not prime. Res64: 945943AE7B0AB159 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:28:13] 735*2^1002407-1 is not prime. Res64: 8AA9B26029322894 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:33:05] 765*2^1002406-1 is not prime. Res64: 91D7422D29754693 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:33:05] 777*2^1002406-1 is not prime. Res64: 899946AC6383E113 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:33:17] 865*2^1002407-1 is not prime. Res64: 3FAD1C5AF5E73F73 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:35:34] 879*2^1002407-1 is not prime. Res64: FE2DBF02C342A317 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:37:59] 609*2^1002407-1 is not prime. Res64: 8F79688F5B1F5306 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:38:00] 633*2^1002407-1 is not prime. Res64: 608511BBF89886A1 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:38:56] 887*2^1002406-1 is not prime. Res64: D592A5564B5DCA1F Time : 0.0 sec. user=mdettweiler [2012-01-22 14:38:57] 965*2^1002406-1 is not prime. Res64: F3CF867B606AA126 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:40:38] 639*2^1002408-1 is not prime. Res64: 099BC0AC80F8D0ED Time : 0.0 sec. user=mdettweiler [2012-01-22 14:42:54] 725*2^1002408-1 is not prime. Res64: 82D246E615F8FC3D Time : 0.0 sec. user=mdettweiler [2012-01-22 14:45:23] 759*2^1002407-1 is not prime. Res64: D231D1121A3A9D04 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:45:23] 781*2^1002407-1 is not prime. Res64: E46DDE2A1B6BD850 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:45:45] 745*2^1002399-1 is not prime. Res64: 9F04134B7E26B910 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:45:45] 763*2^1002399-1 is not prime. Res64: AD2F469E3BB2BE40 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:47:58] 879*2^1002408-1 is not prime. Res64: 29744F911F8211AD Time : 0.0 sec. user=mdettweiler [2012-01-22 14:50:14] 625*2^1002409-1 is not prime. Res64: 6958F102E1EE4D40 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:55:18] 641*2^1002410-1 is not prime. Res64: C8FDD9B32C7781A1 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:57:30] 931*2^1002407-1 is not prime. Res64: C2B7DD06CDD27B33 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:57:31] 973*2^1002407-1 is not prime. Res64: 7EC91D8BE772E703 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:57:33] 677*2^1002410-1 is not prime. Res64: EAD838369A69D29A Time : 0.0 sec. user=mdettweiler [2012-01-22 14:57:57] 735*2^1002408-1 is not prime. Res64: E43022528A504A4A Time : 0.0 sec. user=mdettweiler [2012-01-22 14:57:57] 747*2^1002408-1 is not prime. Res64: CBA254FA5894CB80 Time : 0.0 sec. user=mdettweiler [2012-01-22 14:58:50] 797*2^1002408-1 is not prime. Res64: 27E26775FE2B905D Time : 0.0 sec. user=mdettweiler [2012-01-22 14:58:50] 867*2^1002408-1 is not prime. Res64: 0F491FD9C54B3617 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:02:38] 797*2^1002410-1 is not prime. Res64: D31A3D068164A756 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:04:53] 675*2^1002411-1 is not prime. Res64: 312BAC51822411CA Time : 0.0 sec. user=mdettweiler [2012-01-22 15:05:18] 649*2^1002409-1 is not prime. Res64: 07D285AE7B917BC8 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:05:19] 685*2^1002409-1 is not prime. Res64: 398C4D86D3FDAB66 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:06:53] 895*2^1002399-1 is not prime. Res64: DA8C5EB3615A1B7D Time : 0.0 sec. user=mdettweiler [2012-01-22 15:06:54] 931*2^1002399-1 is not prime. Res64: CB91C3AD6BF1FC64 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:09:59] 759*2^1002412-1 is not prime. Res64: BD2EC0172EDDEBEF Time : 0.0 sec. user=mdettweiler [2012-01-22 15:12:16] 765*2^1002412-1 is not prime. Res64: 45993F4EF7B17575 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:17:45] 703*2^1002411-1 is not prime. Res64: 8911B53EFA724F78 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:17:46] 711*2^1002411-1 is not prime. Res64: E9327B2580A39F0D Time : 0.0 sec. user=mdettweiler [2012-01-22 15:18:38] 745*2^1002411-1 is not prime. Res64: 7E959D852A7F6A33 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:18:39] 755*2^1002412-1 is not prime. Res64: 3D8136A799E2BA87 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:19:01] 965*2^1002412-1 is not prime. Res64: 57756A5D2DCB8833 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:19:35] 875*2^1002410-1 is not prime. Res64: F586F241B37C16AD Time : 0.0 sec. user=mdettweiler [2012-01-22 15:19:35] 977*2^1002410-1 is not prime. Res64: 6B16F7D3914CC819 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:21:18] 989*2^1002412-1 is not prime. Res64: 5DA42649968045C0 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:25:07] 785*2^1002412-1 is not prime. Res64: A9278DA2538661B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:25:08] 797*2^1002412-1 is not prime. Res64: 13C352C270450BF5 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:26:20] 787*2^1002413-1 is not prime. Res64: FC232640B6C65C7A Time : 0.0 sec. user=mdettweiler [2012-01-22 15:28:09] 855*2^1002404-1 is not prime. Res64: 7F646572FF4CFCC9 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:28:09] 909*2^1002404-1 is not prime. Res64: 972099AF333FD236 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:28:37] 641*2^1002414-1 is not prime. Res64: 2FB48301A327298E Time : 0.0 sec. user=mdettweiler [2012-01-22 15:33:40] 797*2^1002414-1 is not prime. Res64: 0752DBBB55AC4D7D Time : 0.0 sec. user=mdettweiler [2012-01-22 15:35:57] 645*2^1002415-1 is not prime. Res64: 78A89C3E2141F82A Time : 0.0 sec. user=mdettweiler [2012-01-22 15:36:35] 811*2^1002405-1 is not prime. Res64: 6B54C167975970B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:36:35] 919*2^1002405-1 is not prime. Res64: 390C276BBC8E0888 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:37:36] 649*2^1002413-1 is not prime. Res64: E6AC5CF81D7E3724 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:37:37] 699*2^1002413-1 is not prime. Res64: 4EF6159157A0E1FF Time : 0.0 sec. user=mdettweiler [2012-01-22 15:38:26] 715*2^1002413-1 is not prime. Res64: 24B2239F8B24E97A Time : 0.0 sec. user=mdettweiler [2012-01-22 15:38:26] 775*2^1002413-1 is not prime. Res64: 3F650764B65658BE Time : 0.0 sec. user=mdettweiler [2012-01-22 15:41:02] 763*2^1002415-1 is not prime. Res64: 14E383F20B15237E Time : 0.0 sec. user=mdettweiler [2012-01-22 15:41:42] 867*2^1002413-1 is not prime. Res64: 70F6420F91E80296 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:41:42] 949*2^1002413-1 is not prime. Res64: 4BFAC562BBF8F45C Time : 0.0 sec. user=mdettweiler [2012-01-22 15:43:16] 895*2^1002415-1 is not prime. Res64: 0AF61B7DAF33B78A Time : 0.0 sec. user=mdettweiler [2012-01-22 15:44:56] 681*2^1002414-1 is not prime. Res64: A6BD99594B4FC6C2 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:44:57] 711*2^1002414-1 is not prime. Res64: 853A443820265FDB Time : 0.0 sec. user=mdettweiler [2012-01-22 15:48:25] 691*2^1002417-1 is not prime. Res64: 325818BA6345DB6C Time : 0.0 sec. user=mdettweiler [2012-01-22 15:50:39] 829*2^1002417-1 is not prime. Res64: 7B4CB2FFBFF778C5 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:57:30] 979*2^1002417-1 is not prime. Res64: EC6FAB652FC61C6D Time : 0.0 sec. user=mdettweiler [2012-01-22 15:58:05] 611*2^1002418-1 is not prime. Res64: 1F9ECFF9D0BD3B09 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:59:41] 857*2^1002416-1 is not prime. Res64: 258243E69498F691 Time : 0.0 sec. user=mdettweiler [2012-01-22 15:59:42] 983*2^1002416-1 is not prime. Res64: 8EDA23DB39B2A267 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:00:28] 999*2^1002416-1 is not prime. Res64: DBE18E788DA58151 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:00:29] 601*2^1002417-1 is not prime. Res64: 05E86C787FD85AD5 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:01:33] 699*2^1002417-1 is not prime. Res64: F7476C4EE3B14718 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:01:34] 817*2^1002417-1 is not prime. Res64: FA576A0F130E2AFA Time : 0.0 sec. user=mdettweiler [2012-01-22 16:04:45] 849*2^1002417-1 is not prime. Res64: FE6A22F6B8696CEC Time : 0.0 sec. user=mdettweiler [2012-01-22 16:04:46] 861*2^1002417-1 is not prime. Res64: 8B4653C0A78EF662 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:04:56] 687*2^1002418-1 is not prime. Res64: 5B2F0959D9DE8AB6 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:05:25] 737*2^1002418-1 is not prime. Res64: 2BCC00F20B195A91 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:12:21] 679*2^1002419-1 is not prime. Res64: E18A48D1667D3872 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:12:51] 745*2^1002419-1 is not prime. Res64: D1E6F5F420468B72 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:19:34] 747*2^1002418-1 is not prime. Res64: 629BB46E05D85D61 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:19:35] 831*2^1002418-1 is not prime. Res64: D0229163E9D6EB21 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:19:44] 823*2^1002419-1 is not prime. Res64: 04EBC959B7578D84 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:20:21] 881*2^1002418-1 is not prime. Res64: E82C99B2A61CE02F Time : 0.0 sec. user=mdettweiler [2012-01-22 16:20:22] 887*2^1002418-1 is not prime. Res64: B7453D532D2CF652 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:21:56] 949*2^1002419-1 is not prime. Res64: FC87E0464108012A Time : 0.0 sec. user=mdettweiler [2012-01-22 16:24:43] 609*2^1002419-1 is not prime. Res64: 87B4E0649AF8E6B4 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:24:43] 643*2^1002419-1 is not prime. Res64: 0E3728CB67E3B377 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:26:11] 941*2^1002418-1 is not prime. Res64: 1887001FF4A4E0BD Time : 0.0 sec. user=mdettweiler [2012-01-22 16:26:11] 951*2^1002418-1 is not prime. Res64: C04F5FC3AB07FCBD Time : 0.0 sec. user=mdettweiler [2012-01-22 16:27:21] 855*2^1002409-1 is not prime. Res64: 5489B20DB7AC7FF5 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:27:22] 861*2^1002409-1 is not prime. Res64: 639F9A09590DA92D Time : 0.0 sec. user=mdettweiler [2012-01-22 16:28:53] 933*2^1002420-1 is not prime. Res64: 9EA9F22037D05B83 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:30:58] 999*2^1002420-1 is not prime. Res64: 29CB0052ED546716 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:37:55] 961*2^1002421-1 is not prime. Res64: 1B2CBA7EA69BDADB Time : 0.0 sec. user=mdettweiler [2012-01-22 16:38:19] 713*2^1002422-1 is not prime. Res64: 3A9DFC0C3747DD4A Time : 0.0 sec. user=mdettweiler [2012-01-22 16:39:39] 695*2^1002420-1 is not prime. Res64: E2980E56EF58BD19 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:39:39] 717*2^1002420-1 is not prime. Res64: 860E71A00FE236C7 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:44:49] 625*2^1002421-1 is not prime. Res64: D57EF3713ECFF6BA Time : 0.0 sec. user=mdettweiler [2012-01-22 16:44:49] 651*2^1002421-1 is not prime. Res64: 109556ECBDA6194F Time : 0.0 sec. user=mdettweiler [2012-01-22 16:44:59] 945*2^1002420-1 is not prime. Res64: 772170863170C713 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:44:59] 965*2^1002420-1 is not prime. Res64: 3381F7F8D16C56E4 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:45:18] 743*2^1002422-1 is not prime. Res64: 57BE4A48B786CFE8 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:45:39] 801*2^1002422-1 is not prime. Res64: 428B3F44B92A3847 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:46:16] 715*2^1002421-1 is not prime. Res64: D5AE01646B6BD68A Time : 0.0 sec. user=mdettweiler [2012-01-22 16:46:16] 801*2^1002421-1 is not prime. Res64: 1BF377190B565D33 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:52:37] 813*2^1002424-1 is not prime. Res64: BC9B933544D5B698 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:53:00] 627*2^1002425-1 is not prime. Res64: 97C913BFDC648676 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:56:38] 855*2^1002412-1 is not prime. Res64: A4B9DF1A89AB5A04 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:56:38] 897*2^1002412-1 is not prime. Res64: 06BF5FD367366698 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:59:39] 875*2^1002422-1 is not prime. Res64: AA2BA56D1FF71569 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:59:40] 893*2^1002422-1 is not prime. Res64: 8E62999258EEEBB7 Time : 0.0 sec. user=mdettweiler [2012-01-22 16:59:56] 909*2^1002425-1 is not prime. Res64: 7089C8FE5CAA9E89 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:02:04] 979*2^1002425-1 is not prime. Res64: 6D3E211FCC71BF22 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:04:46] 709*2^1002423-1 is not prime. Res64: C1CA2DD206C553C1 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:04:48] 781*2^1002423-1 is not prime. Res64: 98FA4F9918FA2215 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:06:15] 679*2^1002425-1 is not prime. Res64: 3BAA232E90BDD582 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:06:16] 691*2^1002425-1 is not prime. Res64: 8CE6E36065C615A3 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:07:17] 945*2^1002423-1 is not prime. Res64: 6462CBB5E239AB0B Time : 0.0 sec. user=mdettweiler [2012-01-22 17:07:18] 707*2^1002424-1 is not prime. Res64: 1E68FBAF54647BA2 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:08:56] 945*2^1002426-1 is not prime. Res64: 6313C1CC488B75CF Time : 0.0 sec. user=mdettweiler [2012-01-22 17:11:05] 963*2^1002426-1 is not prime. Res64: 67F39D17FF2AC4B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:17:58] 945*2^1002427-1 is not prime. Res64: 253087A71030EC54 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:19:37] 647*2^1002426-1 is not prime. Res64: 76C1AC11F253D284 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:19:38] 783*2^1002426-1 is not prime. Res64: A36AD68AD736825A Time : 0.0 sec. user=mdettweiler [2012-01-22 17:20:08] 973*2^1002427-1 is not prime. Res64: 63BD17D240744D1D Time : 0.0 sec. user=mdettweiler [2012-01-22 17:24:48] 601*2^1002427-1 is not prime. Res64: E6E4151E44AD487B Time : 0.0 sec. user=mdettweiler [2012-01-22 17:24:49] 621*2^1002427-1 is not prime. Res64: 67BFAD78A598BA24 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:25:20] 629*2^1002428-1 is not prime. Res64: 721A617137C96B1C Time : 0.0 sec. user=mdettweiler [2012-01-22 17:25:56] 725*2^1002416-1 is not prime. Res64: 4079DDD3FFF89C2A Time : 0.0 sec. user=mdettweiler [2012-01-22 17:25:56] 827*2^1002416-1 is not prime. Res64: 32FF9EA895BAEE67 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:26:13] 685*2^1002427-1 is not prime. Res64: 52528F41C1983AB1 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:26:13] 735*2^1002427-1 is not prime. Res64: 25EEC5DE8D0B2EAF Time : 0.0 sec. user=mdettweiler [2012-01-22 17:27:16] 759*2^1002427-1 is not prime. Res64: A038CFBA8F650F28 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:27:16] 829*2^1002427-1 is not prime. Res64: 7B3B2278F54E2839 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:27:28] 683*2^1002428-1 is not prime. Res64: D07315295BB99E59 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:32:42] 867*2^1002428-1 is not prime. Res64: 99DC72DD32FBFA8F Time : 0.0 sec. user=mdettweiler [2012-01-22 17:33:13] 993*2^1002414-1 is not prime. Res64: BC7A22A749BDBA6F Time : 0.0 sec. user=mdettweiler [2012-01-22 17:33:13] 1001*2^1002414-1 is not prime. Res64: E73EEF4F89E7E329 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:34:49] 865*2^1002429-1 is not prime. Res64: 282ACE500B8CDEFD Time : 0.0 sec. user=mdettweiler [2012-01-22 17:39:36] 635*2^1002428-1 is not prime. Res64: CB696D1475143D74 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:39:36] 669*2^1002428-1 is not prime. Res64: AD4F5AA1F2DB710F Time : 0.0 sec. user=mdettweiler [2012-01-22 17:40:02] 889*2^1002429-1 is not prime. Res64: DC46203E5B610601 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:43:53] 985*2^1002429-1 is not prime. Res64: C22D6EADAFE31CD4 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:44:46] 795*2^1002428-1 is not prime. Res64: 373AD9AFA855EFD7 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:44:47] 839*2^1002428-1 is not prime. Res64: 46F310E8ED3563CF Time : 0.0 sec. user=mdettweiler [2012-01-22 17:47:18] 747*2^1002429-1 is not prime. Res64: 53A69495C387180C Time : 0.0 sec. user=mdettweiler [2012-01-22 17:47:18] 829*2^1002429-1 is not prime. Res64: C22AF3F8467099B9 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:47:21] 831*2^1002430-1 is not prime. Res64: 7F85C35BC313C1B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:50:44] 969*2^1002428-1 is not prime. Res64: C193C1ECB9950ACC Time : 0.0 sec. user=mdettweiler [2012-01-22 17:50:45] 995*2^1002428-1 is not prime. Res64: C9775102852057B8 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:51:13] 857*2^1002430-1 is not prime. Res64: 023937C79C08AC1F Time : 0.0 sec. user=mdettweiler [2012-01-22 17:54:42] 619*2^1002431-1 is not prime. Res64: A0364844A445E6B0 Time : 0.0 sec. user=mdettweiler [2012-01-22 17:58:33] 775*2^1002431-1 is not prime. Res64: 9B37CC1AB9F0C807 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:01:49] 999*2^1002429-1 is not prime. Res64: 3150E38DCCFDA64E Time : 0.0 sec. user=mdettweiler [2012-01-22 18:01:50] 695*2^1002430-1 is not prime. Res64: 73456F43F9DC0024 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:02:02] 855*2^1002431-1 is not prime. Res64: 4AC86A743E6B90FB Time : 0.0 sec. user=mdettweiler [2012-01-22 18:05:54] 901*2^1002431-1 is not prime. Res64: F22DE42B4A0372E0 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:07:01] 873*2^1002430-1 is not prime. Res64: 628EE7465F15D580 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:07:01] 945*2^1002430-1 is not prime. Res64: 9E3BF9ABA6316092 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:09:25] 887*2^1002432-1 is not prime. Res64: 8F38124DD5392FCC Time : 0.0 sec. user=mdettweiler [2012-01-22 18:09:32] 987*2^1002430-1 is not prime. Res64: 4BA854316A23FA11 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:09:33] 615*2^1002431-1 is not prime. Res64: 1DD1B2F4A2647F8B Time : 0.0 sec. user=mdettweiler [2012-01-22 18:10:44] 735*2^1002431-1 is not prime. Res64: 4EF7DB68FE4DFF89 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:10:46] 745*2^1002431-1 is not prime. Res64: 42930660733B9FD3 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:13:18] 681*2^1002433-1 is not prime. Res64: D729A4636A5F4689 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:15:16] 877*2^1002421-1 is not prime. Res64: 6C83961F7AC571E9 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:15:16] 925*2^1002421-1 is not prime. Res64: 64F100379A0F86A6 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:16:46] 789*2^1002433-1 is not prime. Res64: 2B8C4E2821961826 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:20:42] 731*2^1002434-1 is not prime. Res64: 1BF55CBB9E648AA2 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:24:08] 691*2^1002435-1 is not prime. Res64: 5E3AAE45B2699D0F Time : 0.0 sec. user=mdettweiler [2012-01-22 18:24:09] 981*2^1002431-1 is not prime. Res64: A3E5E040C5A124A4 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:24:10] 815*2^1002432-1 is not prime. Res64: AD8741DC20D81AED Time : 0.0 sec. user=mdettweiler [2012-01-22 18:27:08] 705*2^1002433-1 is not prime. Res64: 832F2D7FDAA3961A Time : 0.0 sec. user=mdettweiler [2012-01-22 18:27:09] 747*2^1002433-1 is not prime. Res64: 63CEEEAB5879EA6B Time : 0.0 sec. user=mdettweiler [2012-01-22 18:28:03] 699*2^1002435-1 is not prime. Res64: A115C263AF73977D Time : 0.0 sec. user=mdettweiler [2012-01-22 18:29:36] 861*2^1002433-1 is not prime. Res64: 2B070A32EE1457B3 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:29:37] 885*2^1002433-1 is not prime. Res64: 5E28D058C0767599 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:29:38] 633*2^1002426-1 is not prime. Res64: CC42EC19F84F5260 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:29:38] 641*2^1002426-1 is not prime. Res64: 3085508D718CA427 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:31:28] 617*2^1002436-1 is not prime. Res64: 95825747CAF29F14 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:33:10] 939*2^1002433-1 is not prime. Res64: 2A7425F15A095A08 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:33:10] 705*2^1002434-1 is not prime. Res64: EC7DF54F5068DD43 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:37:07] 939*2^1002436-1 is not prime. Res64: 31CB615A8D3E8F93 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:40:31] 949*2^1002437-1 is not prime. Res64: 59F17B14EF3953A3 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:44:07] 629*2^1002436-1 is not prime. Res64: A93025B7132B7EE8 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:44:07] 845*2^1002436-1 is not prime. Res64: 604F6126334C53A5 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:44:27] 713*2^1002438-1 is not prime. Res64: 763EDB9DA3F01E46 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:47:52] 881*2^1002438-1 is not prime. Res64: 2F16C73754B52DD6 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:49:17] 899*2^1002436-1 is not prime. Res64: AD82E1B778DA4DF9 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:49:17] 923*2^1002436-1 is not prime. Res64: 12CA7EEE3BA5B24A Time : 0.0 sec. user=mdettweiler [2012-01-22 18:49:29] 757*2^1002437-1 is not prime. Res64: 8EC14D98C3852FD9 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:49:29] 847*2^1002437-1 is not prime. Res64: EA68D0676D3CA158 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:51:48] 729*2^1002439-1 is not prime. Res64: C8F2A6F18897A553 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:53:00] 657*2^1002438-1 is not prime. Res64: E964F584639A0694 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:53:01] 705*2^1002438-1 is not prime. Res64: C7B13667878C92B4 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:55:14] 735*2^1002439-1 is not prime. Res64: 1C19674C623BA17A Time : 0.0 sec. user=mdettweiler [2012-01-22 18:59:10] 839*2^1002440-1 is not prime. Res64: 98687760D06E0690 Time : 0.0 sec. user=mdettweiler [2012-01-22 18:59:50] 895*2^1002429-1 is not prime. Res64: A069D5FDA476C47F Time : 0.0 sec. user=mdettweiler [2012-01-22 18:59:50] 907*2^1002429-1 is not prime. Res64: 38BB5608E66078E9 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:02:35] 875*2^1002440-1 is not prime. Res64: B6159EF514CBA5D4 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:04:34] 915*2^1002428-1 is not prime. Res64: 95771AAF17928A93 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:04:34] 953*2^1002428-1 is not prime. Res64: 0B63304AE52E1837 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:06:12] 977*2^1002438-1 is not prime. Res64: 00BA73B4EE3EEBE3 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:06:13] 615*2^1002439-1 is not prime. Res64: 420B297161D7BF61 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:08:13] 999*2^1002440-1 is not prime. Res64: 87F1A8D6707C50A5 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:09:03] 811*2^1002439-1 is not prime. Res64: EF196FC437A0C11B Time : 0.0 sec. user=mdettweiler [2012-01-22 19:09:04] 831*2^1002439-1 is not prime. Res64: 425C44EBBEB1F83F Time : 0.0 sec. user=mdettweiler [2012-01-22 19:09:15] 873*2^1002439-1 is not prime. Res64: 79F22466327B8350 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:09:16] 777*2^1002440-1 is not prime. Res64: 90B143BF2E895530 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:10:00] 865*2^1002441-1 is not prime. Res64: 9ABF96E93D3205AF Time : 0.0 sec. user=mdettweiler [2012-01-22 19:12:48] 843*2^1002440-1 is not prime. Res64: EA5DDA63FFB492F3 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:12:49] 845*2^1002440-1 is not prime. Res64: E2E0FE5F20B2DF11 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:15:34] 827*2^1002442-1 is not prime. Res64: 8492C83746579C6B Time : 0.0 sec. user=mdettweiler [2012-01-22 19:17:21] 685*2^1002443-1 is not prime. Res64: 17A99936389CC439 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:24:37] 963*2^1002443-1 is not prime. Res64: 9EEEB89DDA455133 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:26:01] 755*2^1002442-1 is not prime. Res64: 04DE6E2F4DE89E81 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:26:02] 777*2^1002442-1 is not prime. Res64: 98039B49FBC86B61 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:26:24] 981*2^1002443-1 is not prime. Res64: 42AD576E74392754 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:28:51] 915*2^1002442-1 is not prime. Res64: 20BC010D4579FE69 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:28:52] 917*2^1002442-1 is not prime. Res64: 44237FF7A7ADB451 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:29:04] 633*2^1002443-1 is not prime. Res64: 46418F0C9E578D57 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:29:04] 675*2^1002443-1 is not prime. Res64: 0D20D4BAF6995479 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:31:57] 635*2^1002444-1 is not prime. Res64: BF3E81A97B77834A Time : 0.0 sec. user=mdettweiler [2012-01-22 19:33:44] 767*2^1002444-1 is not prime. Res64: EAC43A97011DD3EF Time : 0.0 sec. user=mdettweiler [2012-01-22 19:35:01] 901*2^1002443-1 is not prime. Res64: C0569F2A1E07C8D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:35:02] 939*2^1002443-1 is not prime. Res64: 9ABFACC4FACC6518 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:39:17] 727*2^1002445-1 is not prime. Res64: 9C0F9CC9D9D54AC0 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:42:48] 985*2^1002445-1 is not prime. Res64: 3AF8558145EA3F7B Time : 0.0 sec. user=mdettweiler [2012-01-22 19:43:35] 753*2^1002434-1 is not prime. Res64: 5D9FAD944742D8C4 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:43:35] 633*2^1002435-1 is not prime. Res64: F9DFAF46A13EF805 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:45:48] 675*2^1002444-1 is not prime. Res64: 294076CEE9A90B48 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:45:48] 765*2^1002444-1 is not prime. Res64: 8071E2B0E262A8DE Time : 0.0 sec. user=mdettweiler [2012-01-22 19:46:38] 773*2^1002446-1 is not prime. Res64: 130A16A2AFC8235D Time : 0.0 sec. user=mdettweiler [2012-01-22 19:48:51] 625*2^1002445-1 is not prime. Res64: 90EBBA493B3B75AA Time : 0.0 sec. user=mdettweiler [2012-01-22 19:48:51] 645*2^1002445-1 is not prime. Res64: 33E9E402FAED5125 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:50:08] 795*2^1002446-1 is not prime. Res64: 6AAE3F0FA7AF289C Time : 0.0 sec. user=mdettweiler [2012-01-22 19:50:55] 783*2^1002444-1 is not prime. Res64: 89DD0FDDEDDA25A0 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:50:55] 927*2^1002444-1 is not prime. Res64: 084D85E194E37BA4 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:53:57] 895*2^1002447-1 is not prime. Res64: 3BE6557E0E7A6D07 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:54:49] 627*2^1002446-1 is not prime. Res64: 8FC934F84291BD9C Time : 0.0 sec. user=mdettweiler [2012-01-22 19:54:50] 741*2^1002446-1 is not prime. Res64: E715CF46A48C2388 Time : 0.0 sec. user=mdettweiler [2012-01-22 19:59:11] 963*2^1002447-1 is not prime. Res64: BD3E07A000663CFB Time : 0.0 sec. user=mdettweiler [2012-01-22 20:03:00] 991*2^1002447-1 is not prime. Res64: 2A6CE45BAEB11099 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:05:36] 705*2^1002447-1 is not prime. Res64: D3C84A42355B5FDD Time : 0.0 sec. user=mdettweiler [2012-01-22 20:05:37] 765*2^1002447-1 is not prime. Res64: 9FE9C05B769F7185 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:06:30] 723*2^1002448-1 is not prime. Res64: F6BAE448A6F3178E Time : 0.0 sec. user=mdettweiler [2012-01-22 20:06:33] 885*2^1002437-1 is not prime. Res64: F76B51C599C6913C Time : 0.0 sec. user=mdettweiler [2012-01-22 20:06:36] 931*2^1002437-1 is not prime. Res64: 1EA034E44FF27013 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:10:19] 863*2^1002448-1 is not prime. Res64: 71919089992C2722 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:13:13] 933*2^1002447-1 is not prime. Res64: 82083F97FAC06BB7 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:13:15] 951*2^1002447-1 is not prime. Res64: CFE4FCF83A354A09 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:13:56] 657*2^1002449-1 is not prime. Res64: E09358FDFEFEACCC Time : 0.0 sec. user=mdettweiler [2012-01-22 20:14:43] 623*2^1002448-1 is not prime. Res64: 9B3DEC4D63A04504 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:14:44] 657*2^1002448-1 is not prime. Res64: 1E597EBEC986C277 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:15:18] 973*2^1002447-1 is not prime. Res64: 5C6D84DC3C816840 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:15:19] 979*2^1002447-1 is not prime. Res64: 48632E498BD9C6EC Time : 0.0 sec. user=mdettweiler [2012-01-22 20:17:42] 713*2^1002450-1 is not prime. Res64: DC1A1FD54C49938B Time : 0.0 sec. user=mdettweiler [2012-01-22 20:21:16] 649*2^1002451-1 is not prime. Res64: F176FE661B2F7762 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:25:01] 801*2^1002451-1 is not prime. Res64: 23DF1C9F1E0EFFA2 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:27:23] 739*2^1002441-1 is not prime. Res64: 5C148708AF0ACE45 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:27:23] 741*2^1002441-1 is not prime. Res64: 01ACC8FA136134FF Time : 0.0 sec. user=mdettweiler [2012-01-22 20:27:42] 929*2^1002448-1 is not prime. Res64: C6964A9F0292282D Time : 0.0 sec. user=mdettweiler [2012-01-22 20:27:43] 615*2^1002449-1 is not prime. Res64: 0AE73B58A54C3A71 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:28:37] 819*2^1002451-1 is not prime. Res64: FB435909A2902E8E Time : 0.0 sec. user=mdettweiler [2012-01-22 20:32:21] 895*2^1002451-1 is not prime. Res64: 3AE405A536FEB3D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:33:04] 797*2^1002450-1 is not prime. Res64: CB47E7682867B6CA Time : 0.0 sec. user=mdettweiler [2012-01-22 20:33:04] 801*2^1002450-1 is not prime. Res64: FE69F126ADC494EE Time : 0.0 sec. user=mdettweiler [2012-01-22 20:34:32] 679*2^1002451-1 is not prime. Res64: E8512FA82C298675 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:34:32] 745*2^1002451-1 is not prime. Res64: 2907613C52D1F875 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:35:03] 759*2^1002451-1 is not prime. Res64: 238CEB0E902B281F Time : 0.0 sec. user=mdettweiler [2012-01-22 20:35:04] 783*2^1002451-1 is not prime. Res64: A31A04DEA7140D4D Time : 0.0 sec. user=mdettweiler [2012-01-22 20:37:40] 929*2^1002452-1 is not prime. Res64: 7A74F4B2C816CF8A Time : 0.0 sec. user=mdettweiler [2012-01-22 20:41:25] 959*2^1002452-1 is not prime. Res64: D69CC4CDA7BD5D7C Time : 0.0 sec. user=mdettweiler [2012-01-22 20:44:59] 887*2^1002454-1 is not prime. Res64: 69604E6BB1820F8F Time : 0.0 sec. user=mdettweiler [2012-01-22 20:47:30] 873*2^1002452-1 is not prime. Res64: 76B501944137956C Time : 0.0 sec. user=mdettweiler [2012-01-22 20:47:31] 879*2^1002452-1 is not prime. Res64: A0CFB740ABBFE8C2 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:52:53] 685*2^1002453-1 is not prime. Res64: 639642682CF80109 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:52:54] 891*2^1002453-1 is not prime. Res64: A60897B41A08849A Time : 0.0 sec. user=mdettweiler [2012-01-22 20:53:41] 969*2^1002441-1 is not prime. Res64: 05AEDF415D071E3B Time : 0.0 sec. user=mdettweiler [2012-01-22 20:53:41] 975*2^1002441-1 is not prime. Res64: 40CBF45C4E847132 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:54:22] 611*2^1002454-1 is not prime. Res64: D8DEED2A65C303E0 Time : 0.0 sec. user=mdettweiler [2012-01-22 20:54:22] 635*2^1002454-1 is not prime. Res64: 1C9A1D350B4110BC Time : 0.0 sec. user=mdettweiler [2012-01-22 20:54:51] 755*2^1002454-1 is not prime. Res64: 3623D0016A72F0CD Time : 0.0 sec. user=mdettweiler [2012-01-22 20:54:51] 827*2^1002454-1 is not prime. Res64: 943C4345BC4B8745 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:09:43] 915*2^1002455-1 is not prime. Res64: 0EAA744D1969580D Time : 0.0 sec. user=mdettweiler [2012-01-22 21:09:44] 963*2^1002455-1 is not prime. Res64: 26A3857A84CFA6FB Time : 0.0 sec. user=mdettweiler [2012-01-22 21:14:17] 803*2^1002456-1 is not prime. Res64: F33BCF79C1DC19CC Time : 0.0 sec. user=mdettweiler [2012-01-22 21:14:17] 909*2^1002456-1 is not prime. Res64: 3522DDFC475EFE42 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:17:00] 999*2^1002456-1 is not prime. Res64: 6B77297849F4FF1C Time : 0.0 sec. user=mdettweiler [2012-01-22 21:17:00] 747*2^1002457-1 is not prime. Res64: 6FBE817D4256B6F0 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:17:19] 981*2^1002455-1 is not prime. Res64: 1F237BBC8D7C486C Time : 0.0 sec. user=mdettweiler [2012-01-22 21:17:19] 999*2^1002455-1 is not prime. Res64: 19822C90C2E5D234 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:30:03] 799*2^1002457-1 is not prime. Res64: E7699045EF4FB861 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:30:03] 817*2^1002457-1 is not prime. Res64: F69C131A586DC756 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:31:29] 941*2^1002446-1 is not prime. Res64: BC29F87B101A0A41 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:31:30] 953*2^1002446-1 is not prime. Res64: 1E4ABFEECE5FF252 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:35:09] 867*2^1002457-1 is not prime. Res64: 08EF020CE114B1BA Time : 0.0 sec. user=mdettweiler [2012-01-22 21:35:09] 901*2^1002457-1 is not prime. Res64: BF876122619FA1CE Time : 0.0 sec. user=mdettweiler [2012-01-22 21:40:10] 939*2^1002457-1 is not prime. Res64: C443B5531DED7439 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:40:11] 635*2^1002458-1 is not prime. Res64: B15C5DA4B1FFAB70 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:40:32] 911*2^1002458-1 is not prime. Res64: 9BE139BB8A075600 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:40:32] 951*2^1002458-1 is not prime. Res64: FEB9A63ACA21FB50 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:53:03] 995*2^1002458-1 is not prime. Res64: 5036A7FC1B1BF081 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:53:03] 615*2^1002459-1 is not prime. Res64: A39B51B7761350ED Time : 0.0 sec. user=mdettweiler [2012-01-22 21:55:12] 913*2^1002451-1 is not prime. Res64: 6A2FF4E8DF768275 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:55:12] 609*2^1002452-1 is not prime. Res64: FBDD5226C6D6A605 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:55:33] 751*2^1002459-1 is not prime. Res64: 0A94603E4B309CD8 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:55:34] 853*2^1002459-1 is not prime. Res64: 415E13488B2D0728 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:56:45] 955*2^1002449-1 is not prime. Res64: B623D60EB8B6B664 Time : 0.0 sec. user=mdettweiler [2012-01-22 21:56:45] 967*2^1002449-1 is not prime. Res64: C7E03AB5A3CB1EF9 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:00:48] 623*2^1002460-1 is not prime. Res64: A14F122A6B684D2E Time : 0.0 sec. user=mdettweiler [2012-01-22 22:00:48] 693*2^1002460-1 is not prime. Res64: D8AC19EA367055A8 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:02:39] 903*2^1002459-1 is not prime. Res64: 172681AB9CC03A05 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:02:40] 991*2^1002459-1 is not prime. Res64: 264334B05B4BC9CC Time : 0.0 sec. user=mdettweiler [2012-01-22 22:15:40] 875*2^1002460-1 is not prime. Res64: 9FD975B6373257B8 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:15:40] 995*2^1002460-1 is not prime. Res64: 031FD4C1D5114D06 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:15:58] 825*2^1002461-1 is not prime. Res64: 4D0E9CF791E582F4 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:15:58] 871*2^1002461-1 is not prime. Res64: 70676466D2F5BA2D Time : 0.0 sec. user=mdettweiler [2012-01-22 22:20:39] 669*2^1002456-1 is not prime. Res64: B6F91C423CBC9CE7 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:20:40] 773*2^1002456-1 is not prime. Res64: 892C57F7135D6961 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:23:06] 627*2^1002462-1 is not prime. Res64: 0F82D2C180476494 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:23:06] 731*2^1002462-1 is not prime. Res64: 0F10D4383EBB2459 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:25:49] 987*2^1002461-1 is not prime. Res64: 9E2222DB18E4EFD7 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:25:49] 997*2^1002461-1 is not prime. Res64: 2127D8094C21A9C9 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:35:58] 747*2^1002462-1 is not prime. Res64: 5A6AED207852294F Time : 0.0 sec. user=mdettweiler [2012-01-22 22:35:58] 797*2^1002462-1 is not prime. Res64: 49D5197515384B6D Time : 0.0 sec. user=mdettweiler [2012-01-22 22:38:39] 821*2^1002462-1 is not prime. Res64: F1CD3A3A6B864BA2 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:38:39] 951*2^1002462-1 is not prime. Res64: 86DBEEC303627EC4 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:43:18] 793*2^1002463-1 is not prime. Res64: 33E417EC9D248C9A Time : 0.0 sec. user=mdettweiler [2012-01-22 22:43:18] 831*2^1002463-1 is not prime. Res64: 84A591E1109A304F Time : 0.0 sec. user=mdettweiler [2012-01-22 22:44:25] 669*2^1002461-1 is not prime. Res64: 146E43375AAD3560 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:44:37] 619*2^1002459-1 is not prime. Res64: E9665AB40BCDBE3B Time : 0.0 sec. user=mdettweiler [2012-01-22 22:46:13] 871*2^1002463-1 is not prime. Res64: 1278F0ED79C7E653 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:46:14] 873*2^1002463-1 is not prime. Res64: 493CF8A0D75C4C13 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:56:19] 901*2^1002463-1 is not prime. Res64: 8234C2AC76E02317 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:56:19] 675*2^1002464-1 is not prime. Res64: 29B703993AC087CC Time : 0.0 sec. user=mdettweiler [2012-01-22 22:58:55] 753*2^1002464-1 is not prime. Res64: 6D651FA8C636C7B3 Time : 0.0 sec. user=mdettweiler [2012-01-22 22:58:55] 855*2^1002464-1 is not prime. Res64: 63EECCAD672B5C85 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:05:37] 959*2^1002464-1 is not prime. Res64: 8002DD65915484D7 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:05:38] 675*2^1002465-1 is not prime. Res64: 58CB6B5D192816AE Time : 0.0 sec. user=mdettweiler [2012-01-22 23:06:19] 795*2^1002465-1 is not prime. Res64: BCF0D44861CBA788 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:06:20] 885*2^1002465-1 is not prime. Res64: 0BCA4DD6447673D1 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:18:11] 915*2^1002465-1 is not prime. Res64: CD3017B9D99974CA Time : 0.0 sec. user=mdettweiler [2012-01-22 23:18:11] 975*2^1002465-1 is not prime. Res64: 060AD8AEA064EF09 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:20:49] 991*2^1002465-1 is not prime. Res64: 604DDFB6C13588D5 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:20:49] 603*2^1002466-1 is not prime. Res64: D8E1416BD415363B Time : 0.0 sec. user=mdettweiler [2012-01-22 23:25:18] 611*2^1002466-1 is not prime. Res64: CA7F2766972CE3A5 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:25:19] 705*2^1002466-1 is not prime. Res64: 150EBA2C8A2F5322 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:26:02] 717*2^1002466-1 is not prime. Res64: 9AFAC43E16FE4008 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:26:03] 861*2^1002466-1 is not prime. Res64: 44628F233D5EB166 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:40:39] 631*2^1002467-1 is not prime. Res64: CA4F023E96E821B5 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:40:39] 741*2^1002467-1 is not prime. Res64: DD41D3AD3FEF3748 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:42:33] 945*2^1002466-1 is not prime. Res64: 052EF057C9B7A5F9 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:42:34] 971*2^1002466-1 is not prime. Res64: AAA64055E1E2FE3E Time : 0.0 sec. user=mdettweiler [2012-01-22 23:45:06] 759*2^1002467-1 is not prime. Res64: 96EAD81953BBB4B1 Time : 0.0 sec. user=mdettweiler [2012-01-22 23:45:06] 813*2^1002467-1 is not prime. Res64: 650B7B01677A345D Time : 0.0 sec. user=mdettweiler [2012-01-22 23:45:50] 909*2^1002467-1 is not prime. Res64: 29F95244594EFB6F Time : 0.0 sec. user=mdettweiler [2012-01-22 23:45:50] 737*2^1002468-1 is not prime. Res64: 386FDFFC3C7D276F Time : 0.0 sec. user=mdettweiler [2012-01-23 00:00:22] 797*2^1002468-1 is not prime. Res64: D4289A7FE12F243D Time : 0.0 sec. user=mdettweiler [2012-01-23 00:00:22] 875*2^1002468-1 is not prime. Res64: B4B4BBA945B446B4 Time : 0.0 sec.