user=mdettweiler [2012-07-26 00:04:09] 847*2^1224793-1 is not prime. Res64: B59233E2F8622F96 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:04:12] 937*2^1224793-1 is not prime. Res64: 2EBF6B96A40291C7 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:13:54] 671*2^1224794-1 is not prime. Res64: 2588B723B023AAE1 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:13:56] 701*2^1224794-1 is not prime. Res64: 044C20BD010088BA Time : 0.0 sec. user=juhehe [2012-07-26 00:21:17] 903*2^1224792-1 is not prime. Res64: ABCD8B85990033A8 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:24:45] 747*2^1224794-1 is not prime. Res64: 5E584FC19C105FA6 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:25:07] 813*2^1224794-1 is not prime. Res64: A4B1D82666C42B3E Time : 0.0 sec. user=mdettweiler [2012-07-26 00:25:08] 873*2^1224794-1 is not prime. Res64: CC6E5E15FA9E7F93 Time : 0.0 sec. user=juhehe [2012-07-26 00:25:40] 699*2^1224793-1 is not prime. Res64: FFF908884F078CA4 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:26:58] 755*2^1224794-1 is not prime. Res64: FC4073E712CAB871 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:34:47] 875*2^1224794-1 is not prime. Res64: 1C6D2205CC339451 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:34:47] 887*2^1224794-1 is not prime. Res64: F31FC76EA471BB48 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:45:47] 699*2^1224795-1 is not prime. Res64: 9E6BEF8315C58A5F Time : 0.0 sec. user=mdettweiler [2012-07-26 00:45:48] 741*2^1224795-1 is not prime. Res64: 83E5557BD7EA82E6 Time : 0.0 sec. user=gd_barnes [2012-07-26 00:47:50] 935*2^1224794-1 is not prime. Res64: 2CE02DDDA263E0EC Time : 0.0 sec. user=mdettweiler [2012-07-26 00:55:28] 903*2^1224795-1 is not prime. Res64: 505FD287FC896773 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:55:29] 603*2^1224796-1 is not prime. Res64: 7C01983CDCE97594 Time : 0.0 sec. user=mdettweiler [2012-07-26 00:55:30] 951*2^1224794-1 is not prime. Res64: FD59DBB1435EED20 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:06:29] 615*2^1224796-1 is not prime. Res64: 5A0A3548936CCFE4 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:06:30] 707*2^1224796-1 is not prime. Res64: 199F8422D94288D1 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:16:09] 743*2^1224796-1 is not prime. Res64: BC26BFF492FE48C2 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:16:10] 843*2^1224796-1 is not prime. Res64: 0C6102C5107CE638 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:25:05] 619*2^1224797-1 is not prime. Res64: 64F1819D63601C8F Time : 0.0 sec. user=mdettweiler [2012-07-26 01:27:22] 675*2^1224797-1 is not prime. Res64: 4FB439C642E6406B Time : 0.0 sec. user=mdettweiler [2012-07-26 01:29:52] 805*2^1224795-1 is not prime. Res64: C6BFFD2E377EE2CA Time : 0.0 sec. user=mdettweiler [2012-07-26 01:36:50] 691*2^1224797-1 is not prime. Res64: E44BEA29DD438C2D Time : 0.0 sec. user=mdettweiler [2012-07-26 01:36:50] 697*2^1224797-1 is not prime. Res64: F39183B580B5F420 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:48:03] 735*2^1224797-1 is not prime. Res64: E21B0DE5347AB26D Time : 0.0 sec. user=mdettweiler [2012-07-26 01:48:03] 741*2^1224797-1 is not prime. Res64: D8B4504E709AA15E Time : 0.0 sec. user=mdettweiler [2012-07-26 01:55:41] 727*2^1224797-1 is not prime. Res64: 6356EB491DEB5864 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:57:30] 901*2^1224797-1 is not prime. Res64: DF04C69BF0612054 Time : 0.0 sec. user=mdettweiler [2012-07-26 01:57:30] 621*2^1224798-1 is not prime. Res64: FC93B67834B95934 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:00:35] 847*2^1224797-1 is not prime. Res64: 0E482F077D97054C Time : 0.0 sec. user=mdettweiler [2012-07-26 02:08:43] 707*2^1224798-1 is not prime. Res64: 610874E4C1B1426F Time : 0.0 sec. user=mdettweiler [2012-07-26 02:08:45] 801*2^1224798-1 is not prime. Res64: 3F215179DF55F67C Time : 0.0 sec. user=mdettweiler [2012-07-26 02:18:10] 921*2^1224798-1 is not prime. Res64: 3E170AA0A8F75288 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:18:10] 977*2^1224798-1 is not prime. Res64: 471C98B0F1B1953B Time : 0.0 sec. user=mdettweiler [2012-07-26 02:26:24] 861*2^1224798-1 is not prime. Res64: 32094AA3EEBC5153 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:29:29] 795*2^1224800-1 is not prime. Res64: 6056E1F5883B1D72 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:29:30] 825*2^1224800-1 is not prime. Res64: 182E33AB028C0534 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:31:19] 681*2^1224799-1 is not prime. Res64: BC112FE9C823CABB Time : 0.0 sec. user=mdettweiler [2012-07-26 02:38:53] 855*2^1224800-1 is not prime. Res64: 93699F3C746DD1D8 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:38:55] 681*2^1224801-1 is not prime. Res64: 75B778FDCABC4C82 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:50:08] 633*2^1224802-1 is not prime. Res64: 24A65282C6600156 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:50:09] 653*2^1224802-1 is not prime. Res64: 183D67CF33E3CF0B Time : 0.0 sec. user=juhehe [2012-07-26 02:54:55] 893*2^1224798-1 is not prime. Res64: F049C3282F599C72 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:57:14] 789*2^1224801-1 is not prime. Res64: A55798BE0AFFB82B Time : 0.0 sec. user=juhehe [2012-07-26 02:57:45] 765*2^1224799-1 is not prime. Res64: 7D60008512588558 Time : 0.0 sec. user=mdettweiler [2012-07-26 02:59:48] 777*2^1224802-1 is not prime. Res64: 653C7E69709E1C3F Time : 0.0 sec. user=mdettweiler [2012-07-26 02:59:48] 785*2^1224802-1 is not prime. Res64: 1BB1641FA378C53E Time : 0.0 sec. user=mdettweiler [2012-07-26 03:02:09] 755*2^1224802-1 is not prime. Res64: 3321D9070A87EA6F Time : 0.0 sec. user=mdettweiler [2012-07-26 03:10:56] 911*2^1224802-1 is not prime. Res64: 2EBD437C75FE041C Time : 0.0 sec. user=mdettweiler [2012-07-26 03:10:58] 945*2^1224802-1 is not prime. Res64: 895802126A4DE050 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:20:27] 643*2^1224803-1 is not prime. Res64: AC9B596C44D74331 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:20:27] 741*2^1224803-1 is not prime. Res64: 109E2608C7BD99B1 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:28:00] 621*2^1224803-1 is not prime. Res64: A89C8C26EDB98EAB Time : 0.0 sec. user=mdettweiler [2012-07-26 03:31:40] 895*2^1224803-1 is not prime. Res64: 4386FC93B205A422 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:31:43] 915*2^1224803-1 is not prime. Res64: 0ED9EA8975A3AEE0 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:32:54] 829*2^1224803-1 is not prime. Res64: FA0E8EC44711586B Time : 0.0 sec. user=mdettweiler [2012-07-26 03:41:09] 969*2^1224803-1 is not prime. Res64: 0A4AB52F0394073C Time : 0.0 sec. user=mdettweiler [2012-07-26 03:41:10] 981*2^1224803-1 is not prime. Res64: 1C71038840D9C0F2 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:52:27] 665*2^1224804-1 is not prime. Res64: 4BD13DA683059720 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:52:28] 723*2^1224804-1 is not prime. Res64: 3BAB4A907C68A945 Time : 0.0 sec. user=mdettweiler [2012-07-26 03:58:41] 635*2^1224804-1 is not prime. Res64: BE890F6B8FCC6963 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:01:52] 773*2^1224804-1 is not prime. Res64: DDBECC08E8CDFDDD Time : 0.0 sec. user=mdettweiler [2012-07-26 04:01:54] 863*2^1224804-1 is not prime. Res64: F5A770E7CFC0E989 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:03:50] 759*2^1224804-1 is not prime. Res64: 1559FF2674345EE9 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:13:08] 751*2^1224805-1 is not prime. Res64: 00B500C352B3D997 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:13:11] 859*2^1224805-1 is not prime. Res64: 88A8848846C9925C Time : 0.0 sec. user=mdettweiler [2012-07-26 04:22:34] 985*2^1224805-1 is not prime. Res64: 1B70308D5C66116C Time : 0.0 sec. user=mdettweiler [2012-07-26 04:22:34] 617*2^1224806-1 is not prime. Res64: A25991D24EDBDFB4 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:29:28] 861*2^1224805-1 is not prime. Res64: CB5BFE01BEBFD975 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:34:06] 815*2^1224806-1 is not prime. Res64: D2FB7A2B49E24E7F Time : 0.0 sec. user=mdettweiler [2012-07-26 04:34:09] 903*2^1224806-1 is not prime. Res64: 064AA6B496D0DA63 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:34:33] 801*2^1224806-1 is not prime. Res64: E06F296328CA2F1B Time : 0.0 sec. user=juhehe [2012-07-26 04:40:16] 873*2^1224804-1 is not prime. Res64: E3B2D4DAA4B43AAF Time : 0.0 sec. user=juhehe [2012-07-26 04:42:45] 923*2^1224804-1 is not prime. Res64: 7BC053C5E90AF472 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:43:14] 619*2^1224807-1 is not prime. Res64: BC5160145E68B4FE Time : 0.0 sec. user=mdettweiler [2012-07-26 04:43:15] 735*2^1224807-1 is not prime. Res64: B2ED902293384B70 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:55:16] 603*2^1224808-1 is not prime. Res64: 760BBB1A8F9216A7 Time : 0.0 sec. user=mdettweiler [2012-07-26 04:55:17] 735*2^1224808-1 is not prime. Res64: C061D412AB197457 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:00:10] 933*2^1224807-1 is not prime. Res64: D0F5079FBF58D112 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:03:54] 839*2^1224808-1 is not prime. Res64: 9ECC3DCF02795458 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:03:55] 887*2^1224808-1 is not prime. Res64: 60E9422655EDD2B2 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:05:21] 949*2^1224807-1 is not prime. Res64: A445E3A39FF51328 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:15:55] 915*2^1224808-1 is not prime. Res64: F0EF94C3F35200FB Time : 0.0 sec. user=mdettweiler [2012-07-26 05:15:56] 933*2^1224808-1 is not prime. Res64: 519ADC8051722031 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:24:37] 829*2^1224809-1 is not prime. Res64: 24A436306B5FCFF6 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:24:37] 861*2^1224809-1 is not prime. Res64: 3B609AA9DD3D4840 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:30:55] 675*2^1224809-1 is not prime. Res64: 2319CD1A88F57517 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:36:02] 897*2^1224809-1 is not prime. Res64: CE7391878B265CAE Time : 0.0 sec. user=mdettweiler [2012-07-26 05:36:36] 695*2^1224810-1 is not prime. Res64: 926C4965F0CD010A Time : 0.0 sec. user=mdettweiler [2012-07-26 05:36:37] 843*2^1224810-1 is not prime. Res64: 91DC23FE3E4B3BE0 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:45:15] 885*2^1224810-1 is not prime. Res64: 4769FA983C876886 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:45:16] 649*2^1224811-1 is not prime. Res64: F67AA91B1F3C8250 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:57:14] 609*2^1224812-1 is not prime. Res64: FDACB5717C452123 Time : 0.0 sec. user=mdettweiler [2012-07-26 05:57:14] 977*2^1224812-1 is not prime. Res64: 899F67CE28A04175 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:01:33] 855*2^1224811-1 is not prime. Res64: 9CCD69F94D529DEE Time : 0.0 sec. user=mdettweiler [2012-07-26 06:05:53] 627*2^1224813-1 is not prime. Res64: 2AEC343E7094C396 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:05:54] 699*2^1224813-1 is not prime. Res64: BF568DE0FCDFCA65 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:06:42] 873*2^1224811-1 is not prime. Res64: EE393C71E1AA2886 Time : 0.0 sec. user=vaughan [2012-07-26 06:12:29] 867*2^1224810-1 is not prime. Res64: 960207BBB7F94E3C Time : 0.0 sec. user=mdettweiler [2012-07-26 06:17:52] 741*2^1224813-1 is not prime. Res64: BFF599A91BB8E63F Time : 0.0 sec. user=mdettweiler [2012-07-26 06:17:54] 781*2^1224813-1 is not prime. Res64: DA0E9BA31CF3D1A7 Time : 0.0 sec. user=juhehe [2012-07-26 06:26:06] 741*2^1224811-1 is not prime. Res64: E8F86C011D845368 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:26:34] 877*2^1224813-1 is not prime. Res64: 23C08D7D649E4EEC Time : 0.0 sec. user=mdettweiler [2012-07-26 06:26:34] 949*2^1224813-1 is not prime. Res64: 46F7A82D8D14FEF3 Time : 0.0 sec. user=juhehe [2012-07-26 06:28:12] 805*2^1224811-1 is not prime. Res64: 18CF1B213F7B722A Time : 0.0 sec. user=mdettweiler [2012-07-26 06:32:14] 819*2^1224813-1 is not prime. Res64: 01202A48B1800C1A Time : 0.0 sec. user=mdettweiler [2012-07-26 06:37:21] 617*2^1224814-1 is not prime. Res64: 0CB1A1004123B9EB Time : 0.0 sec. user=mdettweiler [2012-07-26 06:38:33] 755*2^1224814-1 is not prime. Res64: C87501F5F35617DE Time : 0.0 sec. user=mdettweiler [2012-07-26 06:38:34] 821*2^1224814-1 is not prime. Res64: 8C287FECEA3CB726 Time : 0.0 sec. user=gd_barnes [2012-07-26 06:41:55] 731*2^1224814-1 is not prime. Res64: D5C9F8BFD788902B Time : 0.0 sec. user=gd_barnes [2012-07-26 06:45:38] 621*2^1224814-1 is not prime. Res64: FF2DF9064CC298F2 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:47:25] 885*2^1224814-1 is not prime. Res64: E8873065B9FA1DEC Time : 0.0 sec. user=mdettweiler [2012-07-26 06:47:25] 897*2^1224814-1 is not prime. Res64: 3C6B4D7C0E64C3F6 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:59:10] 715*2^1224815-1 is not prime. Res64: 164C93C827260776 Time : 0.0 sec. user=mdettweiler [2012-07-26 06:59:10] 735*2^1224815-1 is not prime. Res64: 1A92D05D32EA4E06 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:02:50] 923*2^1224814-1 is not prime. Res64: 254351FC237333D7 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:08:02] 741*2^1224815-1 is not prime. Res64: 776C0DCBDDC635BF Time : 0.0 sec. user=mdettweiler [2012-07-26 07:08:04] 843*2^1224815-1 is not prime. Res64: 9114F018FF7D7F3D Time : 0.0 sec. user=mdettweiler [2012-07-26 07:08:10] 971*2^1224814-1 is not prime. Res64: F626131939A029C5 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:19:48] 693*2^1224816-1 is not prime. Res64: AB67FC2E1E75CE50 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:19:48] 759*2^1224816-1 is not prime. Res64: 2B451F9361E6A3F0 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:28:43] 667*2^1224817-1 is not prime. Res64: 74BF9A4AE6B260F6 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:28:44] 685*2^1224817-1 is not prime. Res64: 95CAA08DEFF40826 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:33:36] 765*2^1224816-1 is not prime. Res64: 3C6C666A78BE1F76 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:38:57] 985*2^1224817-1 is not prime. Res64: E8486052A8C23ED0 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:40:28] 735*2^1224818-1 is not prime. Res64: A0139EA24A752537 Time : 0.0 sec. user=mdettweiler [2012-07-26 07:40:28] 791*2^1224818-1 is not prime. Res64: F71AF1B11742446F Time : 0.0 sec. user=mdettweiler [2012-07-26 07:49:22] 797*2^1224818-1 is not prime. Res64: F4C6597A71E257EA Time : 0.0 sec. user=mdettweiler [2012-07-26 07:49:23] 831*2^1224818-1 is not prime. Res64: 0DA25C58923EA271 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:01:05] 633*2^1224819-1 is not prime. Res64: B3C27C95238C1AD3 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:01:06] 775*2^1224819-1 is not prime. Res64: D3086D11313FDF92 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:04:21] 837*2^1224818-1 is not prime. Res64: 8595B9F87DAEEEC1 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:09:42] 995*2^1224818-1 is not prime. Res64: 3D450A26487E81C8 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:09:59] 789*2^1224819-1 is not prime. Res64: 33525A743D03E518 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:10:00] 795*2^1224819-1 is not prime. Res64: 1601434B654964F0 Time : 0.0 sec. user=juhehe [2012-07-26 08:11:01] 635*2^1224818-1 is not prime. Res64: 073251DD140F375A Time : 0.0 sec. user=juhehe [2012-07-26 08:14:24] 645*2^1224818-1 is not prime. Res64: D344B6F88DD9BECC Time : 0.0 sec. user=mdettweiler [2012-07-26 08:21:58] 975*2^1224819-1 is not prime. Res64: E22712A14089349B Time : 0.0 sec. user=mdettweiler [2012-07-26 08:21:58] 999*2^1224819-1 is not prime. Res64: 67031CC5C6F8E3D6 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:30:37] 783*2^1224820-1 is not prime. Res64: EF8416E039C957B1 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:30:37] 843*2^1224820-1 is not prime. Res64: 4DC0B255F89EEC50 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:35:05] 623*2^1224820-1 is not prime. Res64: A3897E812EC76486 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:40:27] 773*2^1224820-1 is not prime. Res64: E4168A0E7BAF71AE Time : 0.0 sec. user=mdettweiler [2012-07-26 08:42:38] 965*2^1224820-1 is not prime. Res64: 96AFE8491CC4B1D8 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:42:38] 995*2^1224820-1 is not prime. Res64: 1ECC8E1CC07F1430 Time : 0.0 sec. user=mdettweiler [2012-07-26 08:51:14] 601*2^1224821-1 is not prime. Res64: 8221C5164CCFB55D Time : 0.0 sec. user=mdettweiler [2012-07-26 08:51:15] 669*2^1224821-1 is not prime. Res64: 80A431A74D393D5C Time : 0.0 sec. user=mdettweiler [2012-07-26 09:03:16] 855*2^1224821-1 is not prime. Res64: 1E0D50B2B8B5E899 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:03:16] 879*2^1224821-1 is not prime. Res64: 17A46601127B397C Time : 0.0 sec. user=mdettweiler [2012-07-26 09:05:49] 711*2^1224821-1 is not prime. Res64: 573C5135FBCD40D6 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:11:16] 741*2^1224821-1 is not prime. Res64: 86328D0C76190270 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:11:51] 955*2^1224821-1 is not prime. Res64: 3FFB09C43B0663A3 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:11:52] 987*2^1224821-1 is not prime. Res64: BE51D74EA3924100 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:23:53] 717*2^1224822-1 is not prime. Res64: ED26824BAE7C5353 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:23:53] 725*2^1224822-1 is not prime. Res64: 5154BFAEB56FF773 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:32:29] 891*2^1224822-1 is not prime. Res64: C92DDBF6993027CE Time : 0.0 sec. user=mdettweiler [2012-07-26 09:32:30] 649*2^1224823-1 is not prime. Res64: F935317F043A080C Time : 0.0 sec. user=mdettweiler [2012-07-26 09:36:30] 765*2^1224822-1 is not prime. Res64: 9E9E758F80DF5261 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:42:08] 863*2^1224822-1 is not prime. Res64: FBC5B0B04838EDBE Time : 0.0 sec. user=mdettweiler [2012-07-26 09:44:32] 723*2^1224823-1 is not prime. Res64: C8489EAD27645F8B Time : 0.0 sec. user=mdettweiler [2012-07-26 09:44:32] 853*2^1224823-1 is not prime. Res64: D5879E7076CCF389 Time : 0.0 sec. user=vaughan [2012-07-26 09:49:05] 717*2^1224820-1 is not prime. Res64: C6C59026C50895C1 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:53:07] 665*2^1224824-1 is not prime. Res64: 68C9D506B753B785 Time : 0.0 sec. user=mdettweiler [2012-07-26 09:53:07] 899*2^1224824-1 is not prime. Res64: A30B540F9EE6C23A Time : 0.0 sec. user=juhehe [2012-07-26 09:56:13] 611*2^1224822-1 is not prime. Res64: 4F37FC629829FCC6 Time : 0.0 sec. user=juhehe [2012-07-26 09:59:55] 683*2^1224822-1 is not prime. Res64: 6C933ACCB248D75B Time : 0.0 sec. user=mdettweiler [2012-07-26 10:05:09] 847*2^1224825-1 is not prime. Res64: 4226BDB1A61524B5 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:05:10] 867*2^1224825-1 is not prime. Res64: 8EF3199BD139D6AA Time : 0.0 sec. user=mdettweiler [2012-07-26 10:07:07] 609*2^1224825-1 is not prime. Res64: 47C5691688933CE9 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:12:48] 699*2^1224825-1 is not prime. Res64: F48C74755BF5A3D0 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:13:44] 999*2^1224825-1 is not prime. Res64: 211926F7062ECF85 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:13:44] 657*2^1224826-1 is not prime. Res64: 5ABFC287DEB1E36A Time : 0.0 sec. user=mdettweiler [2012-07-26 10:25:51] 677*2^1224826-1 is not prime. Res64: 600B808F7539857F Time : 0.0 sec. user=mdettweiler [2012-07-26 10:25:51] 713*2^1224826-1 is not prime. Res64: 0BCAF6A58031038F Time : 0.0 sec. user=mdettweiler [2012-07-26 10:34:22] 777*2^1224826-1 is not prime. Res64: 4D0786015D0BD9C0 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:34:23] 825*2^1224826-1 is not prime. Res64: 22BF8CDB6605347A Time : 0.0 sec. user=mdettweiler [2012-07-26 10:37:43] 735*2^1224826-1 is not prime. Res64: 86133B18C28461C4 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:43:32] 737*2^1224826-1 is not prime. Res64: EF3DCD923A54E905 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:46:46] 909*2^1224827-1 is not prime. Res64: EA79D32886870B06 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:46:47] 993*2^1224827-1 is not prime. Res64: 3B6C60F0A467D3E0 Time : 0.0 sec. user=mdettweiler [2012-07-26 10:55:04] 707*2^1224828-1 is not prime. Res64: 01ED5DB10D23F20E Time : 0.0 sec. user=mdettweiler [2012-07-26 10:55:04] 725*2^1224828-1 is not prime. Res64: 271F9A7E3B110E49 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:07:28] 845*2^1224828-1 is not prime. Res64: FCBD25D8BBD9DFFD Time : 0.0 sec. user=mdettweiler [2012-07-26 11:07:30] 929*2^1224828-1 is not prime. Res64: 157AB3E87FB6D151 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:08:20] 765*2^1224828-1 is not prime. Res64: 8DA3ECF40FA2A8A9 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:14:16] 809*2^1224828-1 is not prime. Res64: 5410391DDC1202C9 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:15:42] 615*2^1224829-1 is not prime. Res64: 5D928F304E87B748 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:15:43] 619*2^1224829-1 is not prime. Res64: 36714A8FC20416E3 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:28:18] 687*2^1224829-1 is not prime. Res64: 1480716967ED1A86 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:28:19] 769*2^1224829-1 is not prime. Res64: C3667A0443BE8B07 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:36:26] 931*2^1224829-1 is not prime. Res64: 638F4E46FFCCE0CF Time : 0.0 sec. user=mdettweiler [2012-07-26 11:36:26] 603*2^1224830-1 is not prime. Res64: 3AE129B267E23F94 Time : 0.0 sec. user=vaughan [2012-07-26 11:37:06] 955*2^1224825-1 is not prime. Res64: 551C481AC84184BD Time : 0.0 sec. user=mdettweiler [2012-07-26 11:39:10] 877*2^1224829-1 is not prime. Res64: E87AA7C6C551F12D Time : 0.0 sec. user=mdettweiler [2012-07-26 11:45:07] 885*2^1224829-1 is not prime. Res64: C8144E1C4BCB627C Time : 0.0 sec. user=mdettweiler [2012-07-26 11:49:01] 675*2^1224830-1 is not prime. Res64: 5B5CDFB97E978319 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:49:02] 711*2^1224830-1 is not prime. Res64: D155D65B9EE01E32 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:57:05] 615*2^1224831-1 is not prime. Res64: 316F3296C435A5A4 Time : 0.0 sec. user=mdettweiler [2012-07-26 11:57:05] 625*2^1224831-1 is not prime. Res64: B064291AAC59FDBC Time : 0.0 sec. user=mdettweiler [2012-07-26 12:09:44] 645*2^1224832-1 is not prime. Res64: B93D0E77EABCD81D Time : 0.0 sec. user=mdettweiler [2012-07-26 12:09:45] 653*2^1224832-1 is not prime. Res64: 231C395BCE37D3F2 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:09:56] 711*2^1224831-1 is not prime. Res64: 8864CB38221B4701 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:15:53] 951*2^1224831-1 is not prime. Res64: 3F4D94D7E8165160 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:17:50] 849*2^1224832-1 is not prime. Res64: C172485195D16C99 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:17:51] 675*2^1224833-1 is not prime. Res64: E93EC2854640C031 Time : 0.0 sec. user=juhehe [2012-07-26 12:29:41] 797*2^1224830-1 is not prime. Res64: B168F2E79523E0FE Time : 0.0 sec. user=mdettweiler [2012-07-26 12:31:01] 715*2^1224833-1 is not prime. Res64: 3F081EBA0AEF4427 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:31:01] 721*2^1224833-1 is not prime. Res64: B55C98112033935F Time : 0.0 sec. user=vaughan [2012-07-26 12:32:27] 661*2^1224831-1 is not prime. Res64: 4E1F7E4CDADB2533 Time : 0.0 sec. user=juhehe [2012-07-26 12:33:06] 965*2^1224830-1 is not prime. Res64: B97AF9F4D504E5B4 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:39:19] 889*2^1224833-1 is not prime. Res64: 43F214BE58199A7B Time : 0.0 sec. user=mdettweiler [2012-07-26 12:39:19] 955*2^1224833-1 is not prime. Res64: 57B7DBF17FA1615C Time : 0.0 sec. user=mdettweiler [2012-07-26 12:40:54] 729*2^1224833-1 is not prime. Res64: 22F3233BB48EB1A9 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:46:57] 775*2^1224833-1 is not prime. Res64: AC8C0CD82FF9B315 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:52:07] 987*2^1224833-1 is not prime. Res64: ACF377116C38E1D9 Time : 0.0 sec. user=mdettweiler [2012-07-26 12:52:07] 663*2^1224834-1 is not prime. Res64: 0461E91A040ED8B5 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:00:13] 755*2^1224834-1 is not prime. Res64: 8B20BA2E5F53F41F Time : 0.0 sec. user=mdettweiler [2012-07-26 13:00:15] 783*2^1224834-1 is not prime. Res64: D736F88464F75410 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:12:14] 861*2^1224834-1 is not prime. Res64: E715AFEBE1FAC329 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:12:56] 881*2^1224834-1 is not prime. Res64: 81B3CEDAC22A9ED4 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:12:57] 633*2^1224835-1 is not prime. Res64: 1FF876902F17AF10 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:18:18] 873*2^1224834-1 is not prime. Res64: C7F2CABD22F8B589 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:20:55] 679*2^1224835-1 is not prime. Res64: E1962D0788C5847B Time : 0.0 sec. user=mdettweiler [2012-07-26 13:20:56] 691*2^1224835-1 is not prime. Res64: EAFA712FE8EE33C1 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:33:49] 771*2^1224835-1 is not prime. Res64: 099182B1CFEE639E Time : 0.0 sec. user=mdettweiler [2012-07-26 13:33:49] 783*2^1224835-1 is not prime. Res64: 4108623C35A4CBED Time : 0.0 sec. user=mdettweiler [2012-07-26 13:41:48] 677*2^1224836-1 is not prime. Res64: 2D0A953A09C044C1 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:41:48] 735*2^1224836-1 is not prime. Res64: 6F87ACFB0DF71372 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:44:38] 735*2^1224835-1 is not prime. Res64: D6CF8D40873817D7 Time : 0.0 sec. user=gd_barnes [2012-07-26 13:46:33] 829*2^1224835-1 is not prime. Res64: BA6F71621CFB4493 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:51:17] 883*2^1224835-1 is not prime. Res64: 4006F965EF1F5906 Time : 0.0 sec. user=mdettweiler [2012-07-26 13:54:30] 749*2^1224836-1 is not prime. Res64: BAA6D4E3314AC09C Time : 0.0 sec. user=mdettweiler [2012-07-26 13:54:30] 833*2^1224836-1 is not prime. Res64: DCEED93D2A19FE59 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:02:27] 873*2^1224836-1 is not prime. Res64: DDF7D4940C05675B Time : 0.0 sec. user=mdettweiler [2012-07-26 14:02:28] 875*2^1224836-1 is not prime. Res64: 3C9B96B92ACC7FB3 Time : 0.0 sec. user=odicin [2012-07-26 14:13:38] 675*2^1224837-1 is not prime. Res64: 7FECEFFEE31BE718 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:15:09] 923*2^1224836-1 is not prime. Res64: 8D3EB65EBCB616EC Time : 0.0 sec. user=mdettweiler [2012-07-26 14:15:10] 993*2^1224836-1 is not prime. Res64: 335224151E7E1AF7 Time : 0.0 sec. user=juhehe [2012-07-26 14:15:18] 859*2^1224835-1 is not prime. Res64: 93FEE660093A1CC9 Time : 0.0 sec. user=vaughan [2012-07-26 14:16:28] 731*2^1224834-1 is not prime. Res64: 40B4009483E8F4F2 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:17:09] 893*2^1224836-1 is not prime. Res64: A9654B7E2B669FB8 Time : 0.0 sec. user=juhehe [2012-07-26 14:18:22] 635*2^1224836-1 is not prime. Res64: B69C4768335D2298 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:23:05] 601*2^1224837-1 is not prime. Res64: 4F657B5DFD5D47FE Time : 0.0 sec. user=mdettweiler [2012-07-26 14:23:07] 651*2^1224837-1 is not prime. Res64: 869784BE916C6F61 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:23:36] 899*2^1224836-1 is not prime. Res64: 9B4ECFD9AE5968D5 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:36:01] 699*2^1224837-1 is not prime. Res64: 34672B8B32F76094 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:36:02] 765*2^1224837-1 is not prime. Res64: 1650534AF8A3CB4B Time : 0.0 sec. user=mdettweiler [2012-07-26 14:43:49] 891*2^1224837-1 is not prime. Res64: 22B1131726F1CD64 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:43:49] 975*2^1224837-1 is not prime. Res64: 4C8D1959E8F621E3 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:49:31] 867*2^1224837-1 is not prime. Res64: 7C950E99BB5D6813 Time : 0.0 sec. user=mdettweiler [2012-07-26 14:55:48] 647*2^1224838-1 is not prime. Res64: 9BD7052A2042865D Time : 0.0 sec. user=mdettweiler [2012-07-26 14:56:40] 687*2^1224838-1 is not prime. Res64: B5B3F7B9D219141C Time : 0.0 sec. user=mdettweiler [2012-07-26 14:56:41] 813*2^1224838-1 is not prime. Res64: 0B958DD4BF4C2B84 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:04:27] 821*2^1224838-1 is not prime. Res64: FC915CE934E40ABB Time : 0.0 sec. user=mdettweiler [2012-07-26 15:04:28] 867*2^1224838-1 is not prime. Res64: 340AB13FABC1FD43 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:17:19] 951*2^1224838-1 is not prime. Res64: 33281296A1FA76A1 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:17:20] 621*2^1224839-1 is not prime. Res64: 8F0A2D140407CBBA Time : 0.0 sec. user=mdettweiler [2012-07-26 15:20:45] 881*2^1224838-1 is not prime. Res64: B127FAA9A479535A Time : 0.0 sec. user=mdettweiler [2012-07-26 15:25:07] 729*2^1224839-1 is not prime. Res64: 21FB6DA40D7581F5 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:25:08] 745*2^1224839-1 is not prime. Res64: CA4FFA014672A1CA Time : 0.0 sec. user=mdettweiler [2012-07-26 15:27:00] 911*2^1224838-1 is not prime. Res64: 81730E3C370464EC Time : 0.0 sec. user=mdettweiler [2012-07-26 15:38:00] 991*2^1224839-1 is not prime. Res64: C2EB9C803820B099 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:38:01] 993*2^1224839-1 is not prime. Res64: 6F7801C339D09589 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:45:45] 765*2^1224840-1 is not prime. Res64: 8E41D1F418F326B9 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:45:46] 779*2^1224840-1 is not prime. Res64: 678689A476EACAE3 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:51:53] 609*2^1224840-1 is not prime. Res64: 54BC2D959286CF4E Time : 0.0 sec. user=mdettweiler [2012-07-26 15:57:56] 873*2^1224840-1 is not prime. Res64: 41A90D2D02A02557 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:58:39] 875*2^1224840-1 is not prime. Res64: 94353F42319E5D02 Time : 0.0 sec. user=mdettweiler [2012-07-26 15:58:39] 879*2^1224840-1 is not prime. Res64: 2371059AE1F50388 Time : 0.0 sec. user=juhehe [2012-07-26 16:00:45] 721*2^1224839-1 is not prime. Res64: 0CC6206CA64A815F Time : 0.0 sec. user=juhehe [2012-07-26 16:04:14] 865*2^1224839-1 is not prime. Res64: 70C2B7B736BE81E5 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:06:28] 899*2^1224840-1 is not prime. Res64: 3D880D7F3CD6C554 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:06:29] 625*2^1224841-1 is not prime. Res64: 20DB838BB7845F2A Time : 0.0 sec. user=mdettweiler [2012-07-26 16:19:29] 871*2^1224841-1 is not prime. Res64: D21EAD44D00D46AC Time : 0.0 sec. user=mdettweiler [2012-07-26 16:19:30] 901*2^1224841-1 is not prime. Res64: 4D6C70B09E3ABFD6 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:24:39] 687*2^1224841-1 is not prime. Res64: 2FFF51790BA493DA Time : 0.0 sec. user=mdettweiler [2012-07-26 16:27:26] 671*2^1224842-1 is not prime. Res64: 9E18A104D7AA9B77 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:27:26] 837*2^1224842-1 is not prime. Res64: C0BD11180ACE9CE5 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:30:46] 777*2^1224841-1 is not prime. Res64: CBB2EFA42899381A Time : 0.0 sec. user=mdettweiler [2012-07-26 16:40:32] 867*2^1224842-1 is not prime. Res64: EC38F4BD16B63870 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:40:32] 945*2^1224842-1 is not prime. Res64: EE602D9950850061 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:48:49] 675*2^1224843-1 is not prime. Res64: 30BBFA33D0973731 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:48:49] 685*2^1224843-1 is not prime. Res64: C37B27F9842140C5 Time : 0.0 sec. user=mdettweiler [2012-07-26 16:55:19] 951*2^1224842-1 is not prime. Res64: 2EBC9D84E4EAAB5A Time : 0.0 sec. user=mdettweiler [2012-07-26 17:01:32] 709*2^1224843-1 is not prime. Res64: A1BA78045047BC14 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:01:53] 721*2^1224843-1 is not prime. Res64: 851ED8B17DB56DEE Time : 0.0 sec. user=mdettweiler [2012-07-26 17:01:53] 819*2^1224843-1 is not prime. Res64: 76D7012A43F404D3 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:10:07] 895*2^1224843-1 is not prime. Res64: 64A4FED757F06E10 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:10:09] 913*2^1224843-1 is not prime. Res64: D2333863C1CC65D7 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:23:13] 899*2^1224844-1 is not prime. Res64: FD16C1FC2A2F3A24 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:23:14] 959*2^1224844-1 is not prime. Res64: BAD35E4E48873F06 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:26:01] 961*2^1224843-1 is not prime. Res64: 020E2EF8EE382068 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:31:37] 969*2^1224844-1 is not prime. Res64: DF5FE3039C825723 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:31:37] 657*2^1224845-1 is not prime. Res64: F6AAD7AF49F6504C Time : 0.0 sec. user=mdettweiler [2012-07-26 17:32:25] 677*2^1224844-1 is not prime. Res64: 9C5E3C372B9B714C Time : 0.0 sec. user=mdettweiler [2012-07-26 17:44:40] 771*2^1224845-1 is not prime. Res64: 9C7CB8A10D66AE34 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:44:41] 799*2^1224845-1 is not prime. Res64: FADD4F595A3FC04E Time : 0.0 sec. user=juhehe [2012-07-26 17:46:30] 879*2^1224843-1 is not prime. Res64: A012EA610E53D25E Time : 0.0 sec. user=juhehe [2012-07-26 17:49:55] 943*2^1224843-1 is not prime. Res64: 049DB54E9073F1A2 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:53:00] 867*2^1224845-1 is not prime. Res64: 99A9976948696EE5 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:53:00] 925*2^1224845-1 is not prime. Res64: 70674AC982D6D5C6 Time : 0.0 sec. user=mdettweiler [2012-07-26 17:56:43] 825*2^1224845-1 is not prime. Res64: 5597A5325CD1240C Time : 0.0 sec. user=mdettweiler [2012-07-26 18:03:05] 615*2^1224846-1 is not prime. Res64: 69A68FD4C41A09B0 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:06:04] 657*2^1224846-1 is not prime. Res64: 6486AD820B7EB912 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:06:06] 705*2^1224846-1 is not prime. Res64: BA2D6D46C5BAC652 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:14:21] 767*2^1224846-1 is not prime. Res64: EC355517845E9FCF Time : 0.0 sec. user=mdettweiler [2012-07-26 18:14:22] 825*2^1224846-1 is not prime. Res64: B523C20587519A87 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:27:22] 843*2^1224846-1 is not prime. Res64: 4A18D5C4FCA0DB1C Time : 0.0 sec. user=mdettweiler [2012-07-26 18:27:26] 993*2^1224846-1 is not prime. Res64: 6E3F0BCE26718546 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:27:26] 615*2^1224847-1 is not prime. Res64: 615958CFDBF4E16A Time : 0.0 sec. user=mdettweiler [2012-07-26 18:34:01] 957*2^1224846-1 is not prime. Res64: 600E2672AC2394AC Time : 0.0 sec. user=mdettweiler [2012-07-26 18:35:41] 663*2^1224847-1 is not prime. Res64: 421F3837504B6C99 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:35:41] 693*2^1224847-1 is not prime. Res64: A3F2DA93E7BDBF06 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:48:53] 829*2^1224847-1 is not prime. Res64: DF75F2FE7CAC408E Time : 0.0 sec. user=mdettweiler [2012-07-26 18:48:53] 831*2^1224847-1 is not prime. Res64: 9F9F1C0A19E2A1CA Time : 0.0 sec. user=mdettweiler [2012-07-26 18:57:29] 919*2^1224847-1 is not prime. Res64: 322600655E735BCD Time : 0.0 sec. user=mdettweiler [2012-07-26 18:57:29] 939*2^1224847-1 is not prime. Res64: B96B23E573DEB673 Time : 0.0 sec. user=mdettweiler [2012-07-26 18:58:35] 769*2^1224847-1 is not prime. Res64: F2A2EE67B5B7DD41 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:05:13] 841*2^1224847-1 is not prime. Res64: 730EAB5424241578 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:11:04] 629*2^1224848-1 is not prime. Res64: 5124C5528B2B3127 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:11:06] 669*2^1224848-1 is not prime. Res64: 8E687AD4EFDEC3DC Time : 0.0 sec. user=mdettweiler [2012-07-26 19:19:31] 777*2^1224848-1 is not prime. Res64: 92D8141A07C82D42 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:19:32] 827*2^1224848-1 is not prime. Res64: 64CF0B4F9C8E95A9 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:29:21] 845*2^1224848-1 is not prime. Res64: 81ECBCCF01B94B9C Time : 0.0 sec. user=mdettweiler [2012-07-26 19:33:28] 963*2^1224848-1 is not prime. Res64: CC3D16EF37A13FD6 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:33:28] 649*2^1224849-1 is not prime. Res64: 64436216A6AB0EE4 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:35:58] 915*2^1224848-1 is not prime. Res64: 13A5B2835164C82A Time : 0.0 sec. user=vaughan [2012-07-26 19:41:12] 985*2^1224847-1 is not prime. Res64: C168CBE042FA9459 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:41:13] 681*2^1224849-1 is not prime. Res64: 219C090204EB2AF3 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:41:13] 711*2^1224849-1 is not prime. Res64: 6CE92DF9C2E87C64 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:54:07] 891*2^1224849-1 is not prime. Res64: 6D23A2F70EA3B353 Time : 0.0 sec. user=mdettweiler [2012-07-26 19:54:07] 895*2^1224849-1 is not prime. Res64: 65900EA89DEDEA20 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:00:23] 861*2^1224849-1 is not prime. Res64: 16BA6731A55C248D Time : 0.0 sec. user=mdettweiler [2012-07-26 20:01:52] 933*2^1224850-1 is not prime. Res64: 0497A72B44DC5B77 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:01:53] 945*2^1224850-1 is not prime. Res64: BFAD005EDC8B9DDB Time : 0.0 sec. user=mdettweiler [2012-07-26 20:06:59] 885*2^1224850-1 is not prime. Res64: 0A6085B157E0A601 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:14:43] 843*2^1224851-1 is not prime. Res64: A5E5DAC82899F75D Time : 0.0 sec. user=mdettweiler [2012-07-26 20:14:44] 913*2^1224851-1 is not prime. Res64: FC6F7665C15EA17B Time : 0.0 sec. user=juhehe [2012-07-26 20:19:38] 751*2^1224849-1 is not prime. Res64: 59AF2B31C5304ECC Time : 0.0 sec. user=mdettweiler [2012-07-26 20:22:28] 973*2^1224851-1 is not prime. Res64: A968545BEB0311B3 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:22:29] 993*2^1224851-1 is not prime. Res64: AE087CEA312C1FFB Time : 0.0 sec. user=juhehe [2012-07-26 20:23:09] 789*2^1224849-1 is not prime. Res64: DAF61BA21A33260C Time : 0.0 sec. user=mdettweiler [2012-07-26 20:31:03] 931*2^1224851-1 is not prime. Res64: 2B979D0478A0A950 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:35:21] 875*2^1224852-1 is not prime. Res64: 9721E57112245959 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:35:22] 899*2^1224852-1 is not prime. Res64: F1F7A9FF905C4664 Time : 0.0 sec. user=vaughan [2012-07-26 20:36:29] 675*2^1224851-1 is not prime. Res64: 39FA767536B929FF Time : 0.0 sec. user=mdettweiler [2012-07-26 20:38:07] 629*2^1224852-1 is not prime. Res64: ECCCEE0D941712E6 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:43:08] 915*2^1224852-1 is not prime. Res64: B0E79771AB3342F6 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:43:08] 929*2^1224852-1 is not prime. Res64: DC77CE3E06B16099 Time : 0.0 sec. user=mdettweiler [2012-07-26 20:55:58] 959*2^1224852-1 is not prime. Res64: A3C163312ADB872E Time : 0.0 sec. user=mdettweiler [2012-07-26 20:55:58] 609*2^1224853-1 is not prime. Res64: B4EBA2423207F48C Time : 0.0 sec. user=mdettweiler [2012-07-26 21:02:22] 933*2^1224852-1 is not prime. Res64: 001FF52473D14023 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:03:43] 939*2^1224853-1 is not prime. Res64: 83611860C450B23C Time : 0.0 sec. user=mdettweiler [2012-07-26 21:03:46] 961*2^1224853-1 is not prime. Res64: FE22CABEC2CC7DE3 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:09:25] 651*2^1224853-1 is not prime. Res64: 22AD39F27AB2DCE8 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:16:37] 979*2^1224853-1 is not prime. Res64: 3B7C89770534737F Time : 0.0 sec. user=mdettweiler [2012-07-26 21:16:38] 665*2^1224854-1 is not prime. Res64: 35A9C82B197CC11F Time : 0.0 sec. user=mdettweiler [2012-07-26 21:24:24] 791*2^1224854-1 is not prime. Res64: 3332073FE1249CB7 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:24:24] 797*2^1224854-1 is not prime. Res64: 6239EED64DC003DB Time : 0.0 sec. user=vaughan [2012-07-26 21:31:33] 619*2^1224853-1 is not prime. Res64: ECCB790DB2809E88 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:34:32] 687*2^1224854-1 is not prime. Res64: BC5DA9E7A64147E7 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:37:13] 663*2^1224855-1 is not prime. Res64: 3F2972C52D10D764 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:37:14] 711*2^1224855-1 is not prime. Res64: B34BFBE1D7D92B0A Time : 0.0 sec. user=mdettweiler [2012-07-26 21:41:04] 945*2^1224854-1 is not prime. Res64: 3E6A342F34F0602C Time : 0.0 sec. user=mdettweiler [2012-07-26 21:44:59] 739*2^1224855-1 is not prime. Res64: F12334B059846FA4 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:45:00] 741*2^1224855-1 is not prime. Res64: DE6BB373A67F3904 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:57:48] 829*2^1224855-1 is not prime. Res64: 9E7675AF81D0EC22 Time : 0.0 sec. user=mdettweiler [2012-07-26 21:57:49] 853*2^1224855-1 is not prime. Res64: 5570388A2E7F58CD Time : 0.0 sec. user=juhehe [2012-07-26 22:04:23] 833*2^1224854-1 is not prime. Res64: D22006D38CC981D4 Time : 0.0 sec. user=mdettweiler [2012-07-26 22:05:35] 991*2^1224855-1 is not prime. Res64: 64A66811A0715574 Time : 0.0 sec. user=mdettweiler [2012-07-26 22:05:36] 717*2^1224856-1 is not prime. Res64: A113E207B2EE7F6B Time : 0.0 sec. user=mdettweiler [2012-07-26 22:06:15] 805*2^1224855-1 is not prime. Res64: 9B35FFB5E7879EE6 Time : 0.0 sec. user=juhehe [2012-07-26 22:08:43] 649*2^1224855-1 is not prime. Res64: A9F576706E666219 Time : 0.0 sec. user=odicin [2012-07-26 22:11:34] 813*2^1224856-1 is not prime. Res64: 9476F34FB81FA47A Time : 0.0 sec. user=mdettweiler [2012-07-26 22:12:56] 859*2^1224855-1 is not prime. Res64: 9C74C8383D194A9A Time : 0.0 sec. user=mdettweiler [2012-07-26 22:18:31] 759*2^1224856-1 is not prime. Res64: 5C943D588F47520B Time : 0.0 sec. user=mdettweiler [2012-07-26 22:18:32] 777*2^1224856-1 is not prime. Res64: 8938D09EFC2B7453 Time : 0.0 sec. user=odicin [2012-07-26 22:20:32] 607*2^1224857-1 is not prime. Res64: D1D5DA953715F49B Time : 0.0 sec. user=mdettweiler [2012-07-26 22:26:35] 897*2^1224856-1 is not prime. Res64: CE526C621283BFCF Time : 0.0 sec. user=mdettweiler [2012-07-26 22:26:36] 923*2^1224856-1 is not prime. Res64: 7722D6AF15789B90 Time : 0.0 sec. user=vaughan [2012-07-26 22:26:43] 795*2^1224855-1 is not prime. Res64: FDB0D3B9369AAD5E Time : 0.0 sec. user=odicin [2012-07-26 22:29:37] 669*2^1224857-1 is not prime. Res64: 43EAF887C7AC5748 Time : 0.0 sec. user=odicin [2012-07-26 22:38:40] 677*2^1224858-1 is not prime. Res64: ADA881D13F8E8205 Time : 0.0 sec. user=mdettweiler [2012-07-26 22:38:54] 957*2^1224856-1 is not prime. Res64: 48A22FE3C9B37BC9 Time : 0.0 sec. user=mdettweiler [2012-07-26 22:39:35] 631*2^1224857-1 is not prime. Res64: DADEC374977B51CA Time : 0.0 sec. user=mdettweiler [2012-07-26 22:39:36] 649*2^1224857-1 is not prime. Res64: 23A3EBFE35B2EA3E Time : 0.0 sec. user=mdettweiler [2012-07-26 22:45:30] 619*2^1224857-1 is not prime. Res64: 6ED2889A5F5D98C0 Time : 0.0 sec. user=odicin [2012-07-26 22:47:33] 683*2^1224858-1 is not prime. Res64: ECF5DC2D87E1B144 Time : 0.0 sec. user=mdettweiler [2012-07-26 22:47:36] 861*2^1224857-1 is not prime. Res64: 81B5FA9862E03598 Time : 0.0 sec. user=mdettweiler [2012-07-26 22:47:37] 949*2^1224857-1 is not prime. Res64: 88AA226E0FEF64CA Time : 0.0 sec. user=odicin [2012-07-26 22:53:47] 859*2^1224859-1 is not prime. Res64: 1800755AEF3FD7DD Time : 0.0 sec. user=odicin [2012-07-26 22:56:27] 753*2^1224860-1 is not prime. Res64: B715842F15597152 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:00:37] 885*2^1224858-1 is not prime. Res64: 4E93BD67482DAE33 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:00:37] 709*2^1224859-1 is not prime. Res64: AB789A0C009A49D1 Time : 0.0 sec. user=odicin [2012-07-26 23:02:31] 797*2^1224860-1 is not prime. Res64: 7DA0EFECB2253454 Time : 0.0 sec. user=odicin [2012-07-26 23:05:24] 751*2^1224861-1 is not prime. Res64: 58386A1D332B50C7 Time : 0.0 sec. user=odicin [2012-07-26 23:07:13] 615*2^1224861-1 is not prime. Res64: CC21D781A27259D3 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:08:37] 939*2^1224859-1 is not prime. Res64: 0F77CA348BE2DB30 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:08:38] 633*2^1224860-1 is not prime. Res64: 7D167F57DF75261B Time : 0.0 sec. user=mdettweiler [2012-07-26 23:10:45] 731*2^1224858-1 is not prime. Res64: 44CBCD593FD8F94B Time : 0.0 sec. user=odicin [2012-07-26 23:13:37] 635*2^1224862-1 is not prime. Res64: E429C3BAA183C334 Time : 0.0 sec. user=odicin [2012-07-26 23:14:23] 741*2^1224863-1 is not prime. Res64: 0BE734B6E9FADC12 Time : 0.0 sec. user=odicin [2012-07-26 23:15:59] 663*2^1224863-1 is not prime. Res64: 357184F261B921E0 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:17:10] 861*2^1224859-1 is not prime. Res64: 62B698FEBA230FE8 Time : 0.0 sec. user=odicin [2012-07-26 23:20:35] 825*2^1224863-1 is not prime. Res64: CB477E889B1EB29D Time : 0.0 sec. user=mdettweiler [2012-07-26 23:21:38] 951*2^1224862-1 is not prime. Res64: 217761E4434CC6A3 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:21:38] 621*2^1224863-1 is not prime. Res64: FE6BD5CD96033360 Time : 0.0 sec. user=odicin [2012-07-26 23:23:12] 623*2^1224864-1 is not prime. Res64: 898CFBDDD44FE6CA Time : 0.0 sec. user=odicin [2012-07-26 23:27:02] 605*2^1224864-1 is not prime. Res64: B04D8A66B29604D9 Time : 0.0 sec. user=odicin [2012-07-26 23:29:18] 639*2^1224864-1 is not prime. Res64: FFC5FB5807DA4D75 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:29:39] 855*2^1224863-1 is not prime. Res64: 0D7C8946DE9D83B4 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:29:40] 885*2^1224863-1 is not prime. Res64: 534B6E8C6AA07D0A Time : 0.0 sec. user=odicin [2012-07-26 23:32:00] 831*2^1224865-1 is not prime. Res64: 1E54EA63A64F7E53 Time : 0.0 sec. user=odicin [2012-07-26 23:33:57] 759*2^1224864-1 is not prime. Res64: DE8ABD69E6D7D54F Time : 0.0 sec. user=odicin [2012-07-26 23:40:24] 999*2^1224865-1 is not prime. Res64: E33B96F9FD2B9732 Time : 0.0 sec. user=odicin [2012-07-26 23:40:54] 887*2^1224866-1 is not prime. Res64: C79A47680D62FD0B Time : 0.0 sec. user=mdettweiler [2012-07-26 23:42:13] 963*2^1224863-1 is not prime. Res64: 18DB43D7B40775FA Time : 0.0 sec. user=mdettweiler [2012-07-26 23:42:18] 609*2^1224865-1 is not prime. Res64: 4BEF75134B1427C0 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:42:18] 765*2^1224865-1 is not prime. Res64: F56194C1694AE3CB Time : 0.0 sec. user=odicin [2012-07-26 23:42:37] 705*2^1224866-1 is not prime. Res64: 351F6C97BD5AE720 Time : 0.0 sec. user=odicin [2012-07-26 23:47:28] 651*2^1224867-1 is not prime. Res64: 37369FB6CD40D220 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:48:09] 753*2^1224864-1 is not prime. Res64: AE4BBBE87920FD9E Time : 0.0 sec. user=odicin [2012-07-26 23:49:47] 711*2^1224867-1 is not prime. Res64: 5B2E776AAB67B30E Time : 0.0 sec. user=mdettweiler [2012-07-26 23:50:18] 741*2^1224866-1 is not prime. Res64: E581D7975B45E916 Time : 0.0 sec. user=mdettweiler [2012-07-26 23:50:18] 767*2^1224866-1 is not prime. Res64: C4411E2F52A147FE Time : 0.0 sec. user=juhehe [2012-07-26 23:50:38] 897*2^1224860-1 is not prime. Res64: 88FDF590FFF33C13 Time : 0.0 sec. user=odicin [2012-07-26 23:53:46] 685*2^1224867-1 is not prime. Res64: BFAB059FDDD6AD71 Time : 0.0 sec. user=juhehe [2012-07-26 23:54:03] 745*2^1224861-1 is not prime. Res64: A11848F1C7C7BCF9 Time : 0.0 sec. user=odicin [2012-07-26 23:55:55] 985*2^1224867-1 is not prime. Res64: 5D22D82C3A338745 Time : 0.0 sec. user=odicin [2012-07-26 23:58:52] 957*2^1224868-1 is not prime. Res64: 5542A4D6C497333D Time : 0.0 sec. user=odicin [2012-07-27 00:00:50] 663*2^1224868-1 is not prime. Res64: 21832025C9780EE8 Time : 0.0 sec.