user=mdettweiler [2010-08-31 04:20:19] 555*2^891324-1 is not prime. Res64: 67257DA3EC89FEE6 Time : 0.0 sec. user=henryzz [2010-08-31 05:11:00] 471*2^891229-1 is not prime. Res64: A825D5CFA1931455 Time : 0.0 sec. user=henryzz [2010-08-31 05:12:02] 533*2^891230-1 is not prime. Res64: FBCFA02D5B951797 Time : 0.0 sec. user=henryzz [2010-08-31 05:19:25] 547*2^891233-1 is not prime. Res64: CAF7B6BE98C700F5 Time : 0.0 sec. user=henryzz [2010-08-31 05:21:19] 451*2^891235-1 is not prime. Res64: 89A590FBE57E8773 Time : 0.0 sec. user=henryzz [2010-08-31 05:29:18] 557*2^891324-1 is not prime. Res64: A7DE74E22B127C33 Time : 0.0 sec. user=henryzz [2010-08-31 05:30:25] 451*2^891325-1 is not prime. Res64: D87E3A42FBF34688 Time : 0.0 sec. user=henryzz [2010-08-31 05:37:22] 489*2^891325-1 is not prime. Res64: 1825CF51BB97C9C8 Time : 0.0 sec. user=henryzz [2010-08-31 05:39:39] 507*2^891325-1 is not prime. Res64: 0D88AA38EEAE97BC Time : 0.0 sec. user=henryzz [2010-08-31 05:47:37] 531*2^891325-1 is not prime. Res64: 760F4FE3107E9BA8 Time : 0.0 sec. user=henryzz [2010-08-31 05:48:29] 507*2^891326-1 is not prime. Res64: 343021C28A974F86 Time : 0.0 sec. user=henryzz [2010-08-31 05:54:25] 525*2^891326-1 is not prime. Res64: 3C3082918CC3EBCD Time : 0.0 sec. user=henryzz [2010-08-31 05:57:32] 563*2^891326-1 is not prime. Res64: 1132F3315FD54293 Time : 0.0 sec. user=henryzz [2010-08-31 06:05:38] 585*2^891326-1 is not prime. Res64: A49A488919057EB8 Time : 0.0 sec. user=henryzz [2010-08-31 06:06:48] 513*2^891327-1 is not prime. Res64: 72193825661875C2 Time : 0.0 sec. user=henryzz [2010-08-31 06:13:20] 549*2^891327-1 is not prime. Res64: 254196F044AF0708 Time : 0.0 sec. user=henryzz [2010-08-31 06:15:50] 565*2^891327-1 is not prime. Res64: A48E83AD544EBDE1 Time : 0.0 sec. user=henryzz [2010-08-31 06:23:19] 437*2^891328-1 is not prime. Res64: A345FC8C599E835F Time : 0.0 sec. user=henryzz [2010-08-31 06:25:16] 495*2^891328-1 is not prime. Res64: 05BF1AC64B7DD9CB Time : 0.0 sec. user=henryzz [2010-08-31 06:32:08] 509*2^891328-1 is not prime. Res64: 0EE40A3D823C722C Time : 0.0 sec. user=henryzz [2010-08-31 06:35:02] 573*2^891328-1 is not prime. Res64: EC7520604EAD960A Time : 0.0 sec. user=henryzz [2010-08-31 06:41:32] 511*2^891329-1 is not prime. Res64: 0941DC67C2E3D8BB Time : 0.0 sec. user=henryzz [2010-08-31 06:43:38] 559*2^891329-1 is not prime. Res64: ED81A1286799F27F Time : 0.0 sec. user=henryzz [2010-08-31 06:50:04] 405*2^891330-1 is not prime. Res64: D8FEC89E75E6246F Time : 0.0 sec. user=henryzz [2010-08-31 06:53:15] 431*2^891330-1 is not prime. Res64: 37C37071EF2B4C37 Time : 0.0 sec. user=henryzz [2010-08-31 06:59:59] 483*2^891330-1 is not prime. Res64: BBF4D4A61DE30EFB Time : 0.0 sec. user=henryzz [2010-08-31 07:01:42] 515*2^891330-1 is not prime. Res64: B9E053D872589EA5 Time : 0.0 sec. user=henryzz [2010-08-31 07:08:37] 411*2^891331-1 is not prime. Res64: E913200D6CF8DB83 Time : 0.0 sec. user=henryzz [2010-08-31 07:11:11] 525*2^891332-1 is not prime. Res64: BBD256A054D7F2C4 Time : 0.0 sec. user=henryzz [2010-08-31 07:17:36] 599*2^891332-1 is not prime. Res64: 7B8E8FB37931CE95 Time : 0.0 sec. user=henryzz [2010-08-31 07:19:27] 481*2^891333-1 is not prime. Res64: 7CF698F9C1BAC736 Time : 0.0 sec. user=henryzz [2010-08-31 07:26:31] 571*2^891333-1 is not prime. Res64: 7E3119CC49FF4137 Time : 0.0 sec. user=henryzz [2010-08-31 07:29:05] 413*2^891334-1 is not prime. Res64: 54C72A4C7F8D50B1 Time : 0.0 sec. user=henryzz [2010-08-31 07:35:54] 425*2^891334-1 is not prime. Res64: 8F7774DDECF8A710 Time : 0.0 sec. user=henryzz [2010-08-31 07:37:30] 435*2^891334-1 is not prime. Res64: 5D43EC961D0F518D Time : 0.0 sec. user=henryzz [2010-08-31 07:44:33] 461*2^891334-1 is not prime. Res64: 3D76906D69936E72 Time : 0.0 sec. user=henryzz [2010-08-31 07:47:03] 561*2^891334-1 is not prime. Res64: 16FF41A2B606E74F Time : 0.0 sec. user=henryzz [2010-08-31 07:53:24] 403*2^891335-1 is not prime. Res64: 86717D43B06F19CD Time : 0.0 sec. user=henryzz [2010-08-31 07:54:53] 465*2^891335-1 is not prime. Res64: F51E96B44913E09B Time : 0.0 sec. user=henryzz [2010-08-31 08:01:47] 475*2^891335-1 is not prime. Res64: 76B9DDFFB3C7903E Time : 0.0 sec. user=henryzz [2010-08-31 08:04:06] 525*2^891336-1 is not prime. Res64: 10A4A4DA2C83303C Time : 0.0 sec. user=henryzz [2010-08-31 08:10:34] 537*2^891336-1 is not prime. Res64: E2128749B8FC3C79 Time : 0.0 sec. user=henryzz [2010-08-31 08:12:39] 557*2^891336-1 is not prime. Res64: 739255DB03BF1413 Time : 0.0 sec. user=henryzz [2010-08-31 08:18:41] 405*2^891337-1 is not prime. Res64: AE0DACF888A287A9 Time : 0.0 sec. user=henryzz [2010-08-31 08:22:02] 421*2^891337-1 is not prime. Res64: 475404006B5FBD55 Time : 0.0 sec. user=henryzz [2010-08-31 08:27:51] 435*2^891337-1 is not prime. Res64: FBBE6C54AAC8125B Time : 0.0 sec. user=henryzz [2010-08-31 08:30:34] 457*2^891337-1 is not prime. Res64: B3152C4F6FA98653 Time : 0.0 sec. user=henryzz [2010-08-31 08:36:12] 471*2^891337-1 is not prime. Res64: 739EA462CBFFC9AF Time : 0.0 sec. user=henryzz [2010-08-31 08:40:01] 511*2^891337-1 is not prime. Res64: ADDBF298E89834F7 Time : 0.0 sec. user=henryzz [2010-08-31 08:45:08] 411*2^891339-1 is not prime. Res64: E82660039B5F343F Time : 0.0 sec. user=henryzz [2010-08-31 08:48:28] 501*2^891339-1 is not prime. Res64: DF69C8EF4CC05C4F Time : 0.0 sec. user=henryzz [2010-08-31 08:53:54] 555*2^891339-1 is not prime. Res64: 9A4D18459BADC8DE Time : 0.0 sec. user=henryzz [2010-08-31 08:57:05] 437*2^891340-1 is not prime. Res64: 63785F66905A7B31 Time : 0.0 sec. user=henryzz [2010-08-31 09:03:29] 449*2^891340-1 is not prime. Res64: 169328F26A1B2FEC Time : 0.0 sec. user=henryzz [2010-08-31 09:05:57] 513*2^891340-1 is not prime. Res64: A5787F2C09BFD7A3 Time : 0.0 sec. user=henryzz [2010-08-31 09:12:34] 537*2^891340-1 is not prime. Res64: 26FCD48BD08F4808 Time : 0.0 sec. user=henryzz [2010-08-31 09:17:33] 569*2^891340-1 is not prime. Res64: 5AB902FAB3333D99 Time : 0.0 sec. user=henryzz [2010-08-31 09:22:23] 579*2^891340-1 is not prime. Res64: 0E2BA1ACE83175E2 Time : 0.0 sec. user=henryzz [2010-08-31 09:24:31] 409*2^891341-1 is not prime. Res64: 01C38D42FAB608FD Time : 0.0 sec. user=henryzz [2010-08-31 09:30:06] 445*2^891341-1 is not prime. Res64: CF716E689638DF17 Time : 0.0 sec. user=henryzz [2010-08-31 09:37:29] 451*2^891341-1 is not prime. Res64: F05C649E17B68552 Time : 0.0 sec. user=henryzz [2010-08-31 09:40:14] 459*2^891341-1 is not prime. Res64: 8B191748943C344C Time : 0.0 sec. user=henryzz [2010-08-31 09:43:33] 465*2^891341-1 is not prime. Res64: C661FBAE65A06432 Time : 0.0 sec. user=henryzz [2010-08-31 09:48:50] 561*2^891341-1 is not prime. Res64: 6C2DE5BCB7600D76 Time : 0.0 sec. user=henryzz [2010-08-31 09:57:27] 447*2^891342-1 is not prime. Res64: 84E78F7C08233CDC Time : 0.0 sec. user=henryzz [2010-08-31 09:59:08] 483*2^891342-1 is not prime. Res64: D94D4E2BBA74B052 Time : 0.0 sec. user=henryzz [2010-08-31 10:02:42] 527*2^891342-1 is not prime. Res64: 6EB0CC4B2DB85444 Time : 0.0 sec. user=henryzz [2010-08-31 10:07:35] 563*2^891342-1 is not prime. Res64: F531F1068EDA1693 Time : 0.0 sec. user=henryzz [2010-08-31 10:16:16] 567*2^891342-1 is not prime. Res64: 03425DA50FE92EA5 Time : 0.0 sec. user=henryzz [2010-08-31 10:17:58] 573*2^891342-1 is not prime. Res64: 32DCB206FD61A463 Time : 0.0 sec. user=henryzz [2010-08-31 10:22:09] 465*2^891343-1 is not prime. Res64: DB2841D969731E3B Time : 0.0 sec. user=henryzz [2010-08-31 10:26:42] 519*2^891343-1 is not prime. Res64: E0A2FF37C7EB9EF2 Time : 0.0 sec. user=henryzz [2010-08-31 10:35:19] 407*2^891344-1 is not prime. Res64: F4359824C5E73D4E Time : 0.0 sec. user=henryzz [2010-08-31 10:36:25] 447*2^891344-1 is not prime. Res64: FB6C8644ACF810F2 Time : 0.0 sec. user=henryzz [2010-08-31 10:40:47] 533*2^891344-1 is not prime. Res64: CE62D62EAC544D62 Time : 0.0 sec. user=henryzz [2010-08-31 10:45:33] 567*2^891344-1 is not prime. Res64: 5943C33046D17057 Time : 0.0 sec. user=henryzz [2010-08-31 10:54:18] 573*2^891344-1 is not prime. Res64: 43340313CF5955D4 Time : 0.0 sec. user=henryzz [2010-08-31 10:54:51] 495*2^891345-1 is not prime. Res64: 5431A8D18B07960C Time : 0.0 sec. user=henryzz [2010-08-31 10:59:04] 447*2^891346-1 is not prime. Res64: 404CC70CF744D4BE Time : 0.0 sec. user=henryzz [2010-08-31 11:03:57] 453*2^891346-1 is not prime. Res64: B6B7FC6A37EC5AB5 Time : 0.0 sec. user=henryzz [2010-08-31 11:11:59] 575*2^891346-1 is not prime. Res64: FE0DA7CAF3301EC9 Time : 0.0 sec. user=henryzz [2010-08-31 11:12:20] 483*2^891346-1 is not prime. Res64: C05596A38A00371B Time : 0.0 sec. user=henryzz [2010-08-31 11:16:49] 451*2^891347-1 is not prime. Res64: 0BBE0BD57A9C7DB7 Time : 0.0 sec. user=henryzz [2010-08-31 11:21:17] 489*2^891347-1 is not prime. Res64: 307B4E0512DF2533 Time : 0.0 sec. user=henryzz [2010-08-31 11:29:27] 585*2^891347-1 is not prime. Res64: E0837B6BB3E05421 Time : 0.0 sec. user=henryzz [2010-08-31 11:29:58] 425*2^891348-1 is not prime. Res64: 142E11A7472A86D9 Time : 0.0 sec. user=henryzz [2010-08-31 11:34:22] 437*2^891348-1 is not prime. Res64: 2AAC567123C62848 Time : 0.0 sec. user=henryzz [2010-08-31 11:39:04] 503*2^891348-1 is not prime. Res64: 3F379599F0796856 Time : 0.0 sec. user=henryzz [2010-08-31 11:47:08] 515*2^891348-1 is not prime. Res64: C2829A3732F82432 Time : 0.0 sec. user=henryzz [2010-08-31 11:48:01] 557*2^891348-1 is not prime. Res64: 4649CAC9A9B1244F Time : 0.0 sec. user=henryzz [2010-08-31 11:51:49] 447*2^891349-1 is not prime. Res64: 4E24708C76F6FEB4 Time : 0.0 sec. user=henryzz [2010-08-31 11:57:08] 465*2^891349-1 is not prime. Res64: F4DB42E6FCF5623E Time : 0.0 sec. user=henryzz [2010-08-31 12:05:28] 505*2^891349-1 is not prime. Res64: 0B68569CC0EA8017 Time : 0.0 sec. user=henryzz [2010-08-31 12:06:36] 511*2^891349-1 is not prime. Res64: 38F910819DBEF87D Time : 0.0 sec. user=henryzz [2010-08-31 12:10:05] 525*2^891349-1 is not prime. Res64: 48D799631735BF53 Time : 0.0 sec. user=henryzz [2010-08-31 12:15:33] 595*2^891349-1 is not prime. Res64: 3E6DCAE864A0B160 Time : 0.0 sec. user=henryzz [2010-08-31 12:23:37] 483*2^891350-1 is not prime. Res64: 1C3D8151E24DDBEA Time : 0.0 sec. user=henryzz [2010-08-31 12:25:10] 525*2^891350-1 is not prime. Res64: E86605037FDAA556 Time : 0.0 sec. user=henryzz [2010-08-31 12:27:36] 545*2^891350-1 is not prime. Res64: AC519E67B6B79A99 Time : 0.0 sec. user=henryzz [2010-08-31 12:33:24] 405*2^891351-1 is not prime. Res64: 4FFD0719BED8A6B4 Time : 0.0 sec. user=henryzz [2010-08-31 12:41:39] 409*2^891351-1 is not prime. Res64: 4CF199FC33C5EABB Time : 0.0 sec. user=henryzz [2010-08-31 12:43:21] 429*2^891351-1 is not prime. Res64: 5DBF94BE9B76CDB9 Time : 0.0 sec. user=henryzz [2010-08-31 12:46:08] 579*2^891351-1 is not prime. Res64: F9AC79E88C22A5DF Time : 0.0 sec. user=henryzz [2010-08-31 12:50:59] 405*2^891352-1 is not prime. Res64: 0CC431B597DA9C3A Time : 0.0 sec. user=henryzz [2010-08-31 12:59:12] 507*2^891353-1 is not prime. Res64: F39BDEB79908B9BF Time : 0.0 sec. user=henryzz [2010-08-31 13:00:46] 511*2^891353-1 is not prime. Res64: B8BBF917CAE562DE Time : 0.0 sec. user=henryzz [2010-08-31 13:03:39] 547*2^891353-1 is not prime. Res64: 8245EC5C9895923F Time : 0.0 sec. user=henryzz [2010-08-31 13:08:41] 417*2^891354-1 is not prime. Res64: 0685351558C3E111 Time : 0.0 sec. user=henryzz [2010-08-31 13:16:48] 431*2^891354-1 is not prime. Res64: 73D27D57AE2892AC Time : 0.0 sec. user=henryzz [2010-08-31 13:19:26] 453*2^891354-1 is not prime. Res64: E27F9C51CD4F5240 Time : 0.0 sec. user=henryzz [2010-08-31 13:21:55] 465*2^891354-1 is not prime. Res64: B932F890E38A20B9 Time : 0.0 sec. user=henryzz [2010-08-31 13:26:10] 483*2^891354-1 is not prime. Res64: 18F615FB1760F305 Time : 0.0 sec. user=henryzz [2010-08-31 13:35:19] 507*2^891354-1 is not prime. Res64: 6F6824EA99131F61 Time : 0.0 sec. user=henryzz [2010-08-31 13:36:50] 521*2^891354-1 is not prime. Res64: BF9F40D4CD6CD3C4 Time : 0.0 sec. user=henryzz [2010-08-31 13:39:44] 525*2^891354-1 is not prime. Res64: A378779473997E7D Time : 0.0 sec. user=henryzz [2010-08-31 13:43:33] 433*2^891355-1 is not prime. Res64: DC17E1CDF59E3A9D Time : 0.0 sec. user=henryzz [2010-08-31 13:52:32] 489*2^891355-1 is not prime. Res64: 63EB8CF283B5C851 Time : 0.0 sec. user=henryzz [2010-08-31 13:54:35] 519*2^891355-1 is not prime. Res64: 52D0A45D4AEB00BD Time : 0.0 sec. user=henryzz [2010-08-31 13:57:21] 535*2^891355-1 is not prime. Res64: 8D65F5B2F75F1D62 Time : 0.0 sec. user=henryzz [2010-08-31 14:01:20] 425*2^891356-1 is not prime. Res64: 28495EDAC0B20133 Time : 0.0 sec. user=henryzz [2010-08-31 14:11:22] 483*2^891356-1 is not prime. Res64: 5D04838A5AD8521B Time : 0.0 sec. user=henryzz [2010-08-31 14:13:43] 503*2^891356-1 is not prime. Res64: 642DE2AC86DEC17B Time : 0.0 sec. user=henryzz [2010-08-31 14:15:11] 537*2^891356-1 is not prime. Res64: 3CF83483D02302E4 Time : 0.0 sec. user=henryzz [2010-08-31 14:20:33] 539*2^891356-1 is not prime. Res64: 00C6C5EBA442CA7F Time : 0.0 sec. user=henryzz [2010-08-31 14:29:51] 417*2^891357-1 is not prime. Res64: BD8E9557FC4B7EF6 Time : 0.0 sec. user=henryzz [2010-08-31 14:33:18] 439*2^891357-1 is not prime. Res64: D22E741C2CD1F33C Time : 0.0 sec. user=henryzz [2010-08-31 14:33:34] 471*2^891357-1 is not prime. Res64: A1631DC845C99586 Time : 0.0 sec. user=henryzz [2010-08-31 14:39:56] 517*2^891357-1 is not prime. Res64: A0CD44FE3BEE4A77 Time : 0.0 sec. user=henryzz [2010-08-31 14:47:38] 537*2^891357-1 is not prime. Res64: 26FDC52C34860AA4 Time : 0.0 sec. user=henryzz [2010-08-31 14:50:48] 571*2^891357-1 is not prime. Res64: 2ABCC04368A6C6B5 Time : 0.0 sec. user=henryzz [2010-08-31 14:51:35] 401*2^891358-1 is not prime. Res64: 51066C5DDDCE503B Time : 0.0 sec. user=henryzz [2010-08-31 14:57:25] 411*2^891359-1 is not prime. Res64: BB6B2F84D206CC57 Time : 0.0 sec. user=henryzz [2010-08-31 15:04:54] 445*2^891359-1 is not prime. Res64: B0E1B6BD6DFAB861 Time : 0.0 sec. user=henryzz [2010-08-31 15:09:09] 469*2^891359-1 is not prime. Res64: B9E437F880515956 Time : 0.0 sec. user=henryzz [2010-08-31 15:09:48] 489*2^891359-1 is not prime. Res64: 221D99B56C6EB314 Time : 0.0 sec. user=henryzz [2010-08-31 15:15:06] 511*2^891359-1 is not prime. Res64: A0F84FF69864EBBA Time : 0.0 sec. user=henryzz [2010-08-31 15:25:07] 595*2^891359-1 is not prime. Res64: CE6D3B4508F5BE12 Time : 0.0 sec. user=henryzz [2010-08-31 15:28:22] 467*2^891360-1 is not prime. Res64: DEB0CC83C99F0CD2 Time : 0.0 sec. user=henryzz [2010-08-31 15:28:44] 557*2^891360-1 is not prime. Res64: FE3B4883C25930CE Time : 0.0 sec. user=henryzz [2010-08-31 15:34:59] 563*2^891360-1 is not prime. Res64: 10B552425393D067 Time : 0.0 sec. user=henryzz [2010-08-31 15:43:57] 567*2^891360-1 is not prime. Res64: A30A18C6E5792F09 Time : 0.0 sec.