user=mdettweiler [2012-01-30 00:01:24] 609*2^1003220-1 is not prime. Res64: B6C6D68B404C1174 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:01:24] 827*2^1003220-1 is not prime. Res64: A08A08F8E4145905 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:03:21] 843*2^1003220-1 is not prime. Res64: 4BDFD55DB6D77E8F Time : 0.0 sec. user=mdettweiler [2012-01-30 00:03:22] 875*2^1003220-1 is not prime. Res64: F9AECF03C0648732 Time : 0.0 sec. user=Robert47 [2012-01-30 00:11:45] 931*2^1003217-1 is not prime. Res64: 7BA012CE2EC411A8 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:12:49] 915*2^1003220-1 is not prime. Res64: A2E892B9FB8E5C86 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:12:50] 935*2^1003220-1 is not prime. Res64: 3A23DB60BDF889A1 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:16:44] 945*2^1003220-1 is not prime. Res64: 62E5559BB6D60211 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:16:44] 621*2^1003221-1 is not prime. Res64: 27AC241756964E08 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:21:17] 653*2^1003222-1 is not prime. Res64: 570E14E20049A93D Time : 0.0 sec. user=mdettweiler [2012-01-30 00:21:18] 681*2^1003222-1 is not prime. Res64: B08F15F507B6FFA4 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:25:33] 705*2^1003222-1 is not prime. Res64: D48002DFF1EEAB12 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:25:33] 915*2^1003222-1 is not prime. Res64: BD5078C1BE84E231 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:26:28] 631*2^1003217-1 is not prime. Res64: FEFB67CCBD37557D Time : 0.0 sec. user=mdettweiler [2012-01-30 00:26:28] 841*2^1003217-1 is not prime. Res64: D76C432544EB18D5 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:35:07] 957*2^1003222-1 is not prime. Res64: 46FC4330977AFAFF Time : 0.0 sec. user=mdettweiler [2012-01-30 00:35:07] 673*2^1003223-1 is not prime. Res64: 8572806B656994B7 Time : 0.0 sec. user=Robert47 [2012-01-30 00:36:10] 979*2^1003219-1 is not prime. Res64: 370AF1639BE51C35 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:36:38] 729*2^1003223-1 is not prime. Res64: 3614778B4F8E5395 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:36:38] 781*2^1003223-1 is not prime. Res64: 8318B96F9EB4695F Time : 0.0 sec. user=mdettweiler [2012-01-30 00:43:27] 805*2^1003223-1 is not prime. Res64: 4BEBEF2B35C5E78A Time : 0.0 sec. user=mdettweiler [2012-01-30 00:43:27] 913*2^1003223-1 is not prime. Res64: F52490413BE0E3A6 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:44:54] 881*2^1003218-1 is not prime. Res64: 0D42A596B9DB3E70 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:44:54] 951*2^1003218-1 is not prime. Res64: 56AF8AFAC0482269 Time : 0.0 sec. user=mdettweiler [2012-01-30 00:45:28] 635*2^1003224-1 is not prime. Res64: 32E5C7E493B7E40E Time : 0.0 sec. user=mdettweiler [2012-01-30 00:45:28] 753*2^1003224-1 is not prime. Res64: B570DC8F2AF5F3EF Time : 0.0 sec. user=mdettweiler [2012-01-30 00:56:35] 861*2^1003225-1 is not prime. Res64: C83D5676CC42932C Time : 0.0 sec. user=mdettweiler [2012-01-30 00:56:35] 871*2^1003225-1 is not prime. Res64: 7679EDD86313C26E Time : 0.0 sec. user=mdettweiler [2012-01-30 00:59:36] 929*2^1003224-1 is not prime. Res64: E57C7078AB3992FA Time : 0.0 sec. user=mdettweiler [2012-01-30 00:59:37] 959*2^1003224-1 is not prime. Res64: C7ED1CDE01F64910 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:05:25] 755*2^1003226-1 is not prime. Res64: B9DD38706FE76E7D Time : 0.0 sec. user=mdettweiler [2012-01-30 01:05:28] 785*2^1003226-1 is not prime. Res64: 34585993DC5ED9AA Time : 0.0 sec. user=mdettweiler [2012-01-30 01:07:54] 951*2^1003225-1 is not prime. Res64: 1DDB8785E4540089 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:07:56] 979*2^1003225-1 is not prime. Res64: 5360EC6A9033FA19 Time : 0.0 sec. user=Robert47 [2012-01-30 01:14:43] 945*2^1003222-1 is not prime. Res64: 8FB6913DC81666DD Time : 0.0 sec. user=mdettweiler [2012-01-30 01:16:28] 801*2^1003226-1 is not prime. Res64: 352C06A9342994D2 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:16:28] 843*2^1003226-1 is not prime. Res64: B5A8F2A723662D49 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:21:55] 857*2^1003226-1 is not prime. Res64: D1CD638145B00DA2 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:21:56] 917*2^1003226-1 is not prime. Res64: 138CCAA38B64CC1D Time : 0.0 sec. user=mdettweiler [2012-01-30 01:27:49] 643*2^1003227-1 is not prime. Res64: 68CDE48E41FC2ADD Time : 0.0 sec. user=mdettweiler [2012-01-30 01:27:50] 741*2^1003227-1 is not prime. Res64: AB33570969BF2C70 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:27:50] 941*2^1003226-1 is not prime. Res64: 252624DBFE04ECC6 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:27:50] 633*2^1003227-1 is not prime. Res64: 77673E23C7E6729A Time : 0.0 sec. user=Robert47 [2012-01-30 01:28:02] 685*2^1003225-1 is not prime. Res64: 635FC61F7133787E Time : 0.0 sec. user=mdettweiler [2012-01-30 01:34:38] 937*2^1003221-1 is not prime. Res64: F6D5C9DAFE0269C7 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:34:38] 955*2^1003221-1 is not prime. Res64: 206532145027968B Time : 0.0 sec. user=mdettweiler [2012-01-30 01:38:42] 919*2^1003227-1 is not prime. Res64: 4A52CCCCBA07D99C Time : 0.0 sec. user=mdettweiler [2012-01-30 01:38:42] 615*2^1003228-1 is not prime. Res64: EE1A9E0BE87F069E Time : 0.0 sec. user=mdettweiler [2012-01-30 01:41:51] 689*2^1003228-1 is not prime. Res64: 85D4DAD2664D7397 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:41:51] 827*2^1003228-1 is not prime. Res64: 3CA0059527902D0D Time : 0.0 sec. user=mdettweiler [2012-01-30 01:50:04] 947*2^1003228-1 is not prime. Res64: 7867D53B99F5C80D Time : 0.0 sec. user=mdettweiler [2012-01-30 01:50:04] 657*2^1003229-1 is not prime. Res64: CC9C30F889B9292E Time : 0.0 sec. user=mdettweiler [2012-01-30 01:50:07] 855*2^1003228-1 is not prime. Res64: 84E999F7BA483473 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:50:07] 927*2^1003228-1 is not prime. Res64: 2A7DBE9D68BF0041 Time : 0.0 sec. user=mdettweiler [2012-01-30 01:58:38] 811*2^1003229-1 is not prime. Res64: D2417AA342F865CF Time : 0.0 sec. user=mdettweiler [2012-01-30 01:58:38] 825*2^1003229-1 is not prime. Res64: 0C72115CA823E3A3 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:00:22] 905*2^1003224-1 is not prime. Res64: C0EDFC7803883E89 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:00:29] 923*2^1003224-1 is not prime. Res64: A5C39D372B9B84F7 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:01:49] 675*2^1003226-1 is not prime. Res64: A4AD2A481E53F0FA Time : 0.0 sec. user=mdettweiler [2012-01-30 02:01:54] 683*2^1003226-1 is not prime. Res64: 715AB23C5EBF7142 Time : 0.0 sec. user=Robert47 [2012-01-30 02:02:52] 801*2^1003227-1 is not prime. Res64: C4C98BFE9BB9E605 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:04:09] 885*2^1003229-1 is not prime. Res64: 272F3A94396BED28 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:04:09] 927*2^1003229-1 is not prime. Res64: 719CE1C43CF3F27E Time : 0.0 sec. user=mdettweiler [2012-01-30 02:10:11] 765*2^1003230-1 is not prime. Res64: AE356A77FCA000D9 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:10:14] 777*2^1003230-1 is not prime. Res64: 61F69D7F5E2D7905 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:12:18] 955*2^1003229-1 is not prime. Res64: F887F68B318B4DEE Time : 0.0 sec. user=mdettweiler [2012-01-30 02:12:18] 681*2^1003230-1 is not prime. Res64: DE9C3E628BB1F63E Time : 0.0 sec. user=Robert47 [2012-01-30 02:13:46] 697*2^1003229-1 is not prime. Res64: 9C400E19D49CCF7C Time : 0.0 sec. user=mdettweiler [2012-01-30 02:18:35] 783*2^1003230-1 is not prime. Res64: F186742B22CD37DF Time : 0.0 sec. user=mdettweiler [2012-01-30 02:18:35] 867*2^1003230-1 is not prime. Res64: BCC6CD45DCD7BE4E Time : 0.0 sec. user=mdettweiler [2012-01-30 02:24:07] 709*2^1003231-1 is not prime. Res64: 2AEB68E71B9ABF3F Time : 0.0 sec. user=mdettweiler [2012-01-30 02:24:07] 735*2^1003231-1 is not prime. Res64: 1C8FC4EEED776143 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:30:16] 843*2^1003231-1 is not prime. Res64: 6015C5ECBE198F6F Time : 0.0 sec. user=mdettweiler [2012-01-30 02:30:17] 861*2^1003231-1 is not prime. Res64: 2C8A074E05C862F2 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:32:13] 603*2^1003232-1 is not prime. Res64: 9E0B36D2A827C4A7 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:32:14] 629*2^1003232-1 is not prime. Res64: 2603CFF21CF7EF4A Time : 0.0 sec. user=mdettweiler [2012-01-30 02:38:44] 683*2^1003232-1 is not prime. Res64: 794704D6CD22CBAE Time : 0.0 sec. user=mdettweiler [2012-01-30 02:38:45] 713*2^1003232-1 is not prime. Res64: B68B84F4DE75ED54 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:44:11] 813*2^1003232-1 is not prime. Res64: 868D948B7AE508F2 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:44:11] 825*2^1003232-1 is not prime. Res64: A17814FD05603ED2 Time : 0.0 sec. user=Robert47 [2012-01-30 02:47:39] 661*2^1003231-1 is not prime. Res64: A69D20596CC8B3BB Time : 0.0 sec. user=mdettweiler [2012-01-30 02:50:16] 875*2^1003232-1 is not prime. Res64: F8DD0B7CFC38D211 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:50:16] 903*2^1003232-1 is not prime. Res64: 5A18A3B056ACD282 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:52:19] 607*2^1003233-1 is not prime. Res64: 44A0737114E39D8C Time : 0.0 sec. user=mdettweiler [2012-01-30 02:52:19] 685*2^1003233-1 is not prime. Res64: A6D8AFA0AD826B4D Time : 0.0 sec. user=mdettweiler [2012-01-30 02:52:57] 769*2^1003229-1 is not prime. Res64: D0FBE52BD1BC6D9A Time : 0.0 sec. user=mdettweiler [2012-01-30 02:52:58] 795*2^1003229-1 is not prime. Res64: 16B5B83C51AA6FFA Time : 0.0 sec. user=mdettweiler [2012-01-30 02:58:47] 835*2^1003233-1 is not prime. Res64: 553BDAE3A05DFEB3 Time : 0.0 sec. user=mdettweiler [2012-01-30 02:58:47] 885*2^1003233-1 is not prime. Res64: 6149FEBF92ADB0C8 Time : 0.0 sec. user=Robert47 [2012-01-30 02:59:04] 677*2^1003232-1 is not prime. Res64: B60E38B546C231F9 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:04:06] 901*2^1003233-1 is not prime. Res64: 6667F1A5968D9C24 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:04:07] 611*2^1003234-1 is not prime. Res64: 96BE7EE5E8D3125D Time : 0.0 sec. user=mdettweiler [2012-01-30 03:10:07] 645*2^1003234-1 is not prime. Res64: 733D1CA14380B949 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:10:08] 717*2^1003234-1 is not prime. Res64: B1B78BD039DE41D7 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:12:12] 755*2^1003234-1 is not prime. Res64: 086BBE71A57AEE82 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:12:13] 825*2^1003234-1 is not prime. Res64: 90D95B631B55482A Time : 0.0 sec. user=mdettweiler [2012-01-30 03:18:41] 603*2^1003235-1 is not prime. Res64: 82AFC2212EA8314C Time : 0.0 sec. user=mdettweiler [2012-01-30 03:18:41] 619*2^1003235-1 is not prime. Res64: C4451128DD6630F2 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:24:10] 859*2^1003235-1 is not prime. Res64: 84F181188EEAED7E Time : 0.0 sec. user=mdettweiler [2012-01-30 03:24:10] 861*2^1003235-1 is not prime. Res64: 4DCECC87AB89D022 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:27:47] 921*2^1003230-1 is not prime. Res64: C0FD2DB10F053161 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:27:47] 601*2^1003231-1 is not prime. Res64: 6A8168F59FEDADE2 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:32:17] 981*2^1003235-1 is not prime. Res64: 6680A89223706C98 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:32:19] 609*2^1003236-1 is not prime. Res64: 59C5480B616035B7 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:32:19] 623*2^1003236-1 is not prime. Res64: 256AAC2D02F0CE6E Time : 0.0 sec. user=mdettweiler [2012-01-30 03:32:20] 749*2^1003236-1 is not prime. Res64: B49EE03DFEEAC659 Time : 0.0 sec. user=Robert47 [2012-01-30 03:32:29] 621*2^1003234-1 is not prime. Res64: 25C88C603BCA3A05 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:38:28] 765*2^1003236-1 is not prime. Res64: 705DFBED62636055 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:38:28] 845*2^1003236-1 is not prime. Res64: 39D9D166EFB31880 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:43:58] 873*2^1003236-1 is not prime. Res64: ED928F1753994987 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:43:59] 621*2^1003237-1 is not prime. Res64: 7357F0F15B45DFAC Time : 0.0 sec. user=Robert47 [2012-01-30 03:44:05] 843*2^1003235-1 is not prime. Res64: 51E7446246CBB1B7 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:52:11] 829*2^1003237-1 is not prime. Res64: 942FEDD0339FF882 Time : 0.0 sec. user=mdettweiler [2012-01-30 03:52:12] 871*2^1003237-1 is not prime. Res64: CB9C82CCC4720C9B Time : 0.0 sec. user=mdettweiler [2012-01-30 03:52:17] 895*2^1003237-1 is not prime. Res64: A4FB3772BD0250CB Time : 0.0 sec. user=mdettweiler [2012-01-30 03:52:17] 677*2^1003238-1 is not prime. Res64: 5820B183490AAA21 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:02:59] 923*2^1003238-1 is not prime. Res64: C164E9DE43DD7ADB Time : 0.0 sec. user=mdettweiler [2012-01-30 04:03:02] 953*2^1003238-1 is not prime. Res64: 502C39FEC067A687 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:06:13] 971*2^1003238-1 is not prime. Res64: 6CEC2EBD578AC33E Time : 0.0 sec. user=mdettweiler [2012-01-30 04:06:14] 625*2^1003239-1 is not prime. Res64: B5792FD3BF4347B6 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:12:08] 703*2^1003239-1 is not prime. Res64: 989DB41ADE19CA62 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:12:09] 735*2^1003239-1 is not prime. Res64: C173761EEB42251C Time : 0.0 sec. user=mdettweiler [2012-01-30 04:12:23] 795*2^1003239-1 is not prime. Res64: 5E44D4D55AE75534 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:12:25] 861*2^1003239-1 is not prime. Res64: 71528E666137DBCE Time : 0.0 sec. user=Robert47 [2012-01-30 04:17:23] 773*2^1003238-1 is not prime. Res64: D5C751B1679B8A3D Time : 0.0 sec. user=mdettweiler [2012-01-30 04:19:40] 887*2^1003234-1 is not prime. Res64: 5EB6D6E82417C1DC Time : 0.0 sec. user=mdettweiler [2012-01-30 04:19:40] 917*2^1003234-1 is not prime. Res64: 074EA91501C554AF Time : 0.0 sec. user=mdettweiler [2012-01-30 04:25:26] 955*2^1003239-1 is not prime. Res64: 9CCD24394CB614D3 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:25:26] 675*2^1003240-1 is not prime. Res64: 834A69858DD8FA8B Time : 0.0 sec. user=mdettweiler [2012-01-30 04:26:20] 687*2^1003240-1 is not prime. Res64: 066D98F3724A3877 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:26:20] 695*2^1003240-1 is not prime. Res64: D7E4BE8B63EEE515 Time : 0.0 sec. user=Robert47 [2012-01-30 04:28:54] 693*2^1003239-1 is not prime. Res64: 84FD01B08A34A9AF Time : 0.0 sec. user=mdettweiler [2012-01-30 04:31:59] 713*2^1003240-1 is not prime. Res64: 9773995A1611FF5B Time : 0.0 sec. user=mdettweiler [2012-01-30 04:32:00] 839*2^1003240-1 is not prime. Res64: 833688BEC4ACB9A5 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:32:27] 615*2^1003241-1 is not prime. Res64: 17283AF2354F3D30 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:32:28] 637*2^1003241-1 is not prime. Res64: 7000D59EDA6744BB Time : 0.0 sec. user=mdettweiler [2012-01-30 04:45:18] 811*2^1003241-1 is not prime. Res64: D7A0C1E774EF3864 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:45:18] 865*2^1003241-1 is not prime. Res64: DA4C67F89AE4E650 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:45:33] 639*2^1003237-1 is not prime. Res64: D4A0C361B59FCF18 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:45:33] 729*2^1003237-1 is not prime. Res64: 396029973231B1EF Time : 0.0 sec. user=mdettweiler [2012-01-30 04:50:42] 937*2^1003241-1 is not prime. Res64: D80F738AC251867E Time : 0.0 sec. user=mdettweiler [2012-01-30 04:50:42] 981*2^1003241-1 is not prime. Res64: 58384D8CF837B63F Time : 0.0 sec. user=mdettweiler [2012-01-30 04:51:50] 735*2^1003242-1 is not prime. Res64: B2990FE711990A2B Time : 0.0 sec. user=mdettweiler [2012-01-30 04:51:50] 807*2^1003242-1 is not prime. Res64: 2BEDE97DEAFD8841 Time : 0.0 sec. user=mdettweiler [2012-01-30 04:52:17] 815*2^1003242-1 is not prime. Res64: 3F9586E08782671A Time : 0.0 sec. user=mdettweiler [2012-01-30 04:52:17] 821*2^1003242-1 is not prime. Res64: 7E440E6ECB6C6EEF Time : 0.0 sec. user=Robert47 [2012-01-30 05:02:46] 715*2^1003241-1 is not prime. Res64: F604FB864DCE0C6B Time : 0.0 sec. user=mdettweiler [2012-01-30 05:05:08] 693*2^1003243-1 is not prime. Res64: F74A8CCA370F3F6C Time : 0.0 sec. user=mdettweiler [2012-01-30 05:05:09] 775*2^1003243-1 is not prime. Res64: B1A330A57A2E9E67 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:11:41] 717*2^1003245-1 is not prime. Res64: 65FA14C85D06090F Time : 0.0 sec. user=mdettweiler [2012-01-30 05:11:44] 831*2^1003245-1 is not prime. Res64: 18E5580D6931A236 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:12:10] 837*2^1003245-1 is not prime. Res64: EE569A0D00276B04 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:12:10] 895*2^1003245-1 is not prime. Res64: 76F911C456C21EDD Time : 0.0 sec. user=mdettweiler [2012-01-30 05:12:49] 869*2^1003244-1 is not prime. Res64: 7C8A04B0CF21E5B3 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:12:52] 987*2^1003244-1 is not prime. Res64: 3F2CF400B8A33563 Time : 0.0 sec. user=Robert47 [2012-01-30 05:14:15] 705*2^1003242-1 is not prime. Res64: 97AF3249C2943B9C Time : 0.0 sec. user=mdettweiler [2012-01-30 05:27:18] 997*2^1003245-1 is not prime. Res64: 2A9474893F3B7045 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:27:19] 603*2^1003246-1 is not prime. Res64: 0B471BA20DADB1CF Time : 0.0 sec. user=mdettweiler [2012-01-30 05:31:38] 651*2^1003246-1 is not prime. Res64: A33A09B32CF918FA Time : 0.0 sec. user=mdettweiler [2012-01-30 05:31:38] 671*2^1003246-1 is not prime. Res64: 930C8896A25B145D Time : 0.0 sec. user=mdettweiler [2012-01-30 05:32:05] 723*2^1003246-1 is not prime. Res64: 327D718558B32055 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:32:05] 741*2^1003246-1 is not prime. Res64: B535D29F3A5305C0 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:35:01] 867*2^1003246-1 is not prime. Res64: 9750ECA52F8184CA Time : 0.0 sec. user=mdettweiler [2012-01-30 05:35:01] 917*2^1003246-1 is not prime. Res64: B58988CFE2E277F6 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:36:50] 727*2^1003241-1 is not prime. Res64: 1293D2F2FDA84700 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:36:50] 781*2^1003241-1 is not prime. Res64: 62D421F83A390A12 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:49:25] 993*2^1003246-1 is not prime. Res64: 648869870968931F Time : 0.0 sec. user=mdettweiler [2012-01-30 05:49:25] 603*2^1003247-1 is not prime. Res64: 1F4691FF5756EF5C Time : 0.0 sec. user=mdettweiler [2012-01-30 05:52:03] 683*2^1003248-1 is not prime. Res64: 65CB34C36B4673E7 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:52:03] 747*2^1003248-1 is not prime. Res64: 81815046BFCDA97A Time : 0.0 sec. user=mdettweiler [2012-01-30 05:53:42] 669*2^1003247-1 is not prime. Res64: C8C47BA1960C15FF Time : 0.0 sec. user=mdettweiler [2012-01-30 05:53:42] 973*2^1003247-1 is not prime. Res64: B9FCC009DCB25FA4 Time : 0.0 sec. user=mdettweiler [2012-01-30 05:54:49] 825*2^1003248-1 is not prime. Res64: 6C58F5A7384DECCE Time : 0.0 sec. user=mdettweiler [2012-01-30 05:54:50] 609*2^1003249-1 is not prime. Res64: D6C47B65516FAEAE Time : 0.0 sec. user=Robert47 [2012-01-30 05:57:42] 975*2^1003245-1 is not prime. Res64: AB7C680BF3B16171 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:07:59] 1001*2^1003242-1 is not prime. Res64: 3C8C2CB9D264E5EB Time : 0.0 sec. user=mdettweiler [2012-01-30 06:08:01] 673*2^1003243-1 is not prime. Res64: 2B32600D2E6D5131 Time : 0.0 sec. user=Robert47 [2012-01-30 06:08:19] 983*2^1003246-1 is not prime. Res64: 7C3E043C02EB3EFC Time : 0.0 sec. user=mdettweiler [2012-01-30 06:09:16] 829*2^1003249-1 is not prime. Res64: E533AC430D687F13 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:09:18] 861*2^1003249-1 is not prime. Res64: 22A0DFE4B7E8B241 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:11:23] 985*2^1003243-1 is not prime. Res64: 812A1D23B3F1AD49 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:11:25] 675*2^1003244-1 is not prime. Res64: 68A50F04B9A13404 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:11:50] 671*2^1003250-1 is not prime. Res64: D1D24692558C43C0 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:11:51] 677*2^1003250-1 is not prime. Res64: F771395BA208B6B7 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:13:28] 875*2^1003250-1 is not prime. Res64: 3A6D98A544555CE8 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:13:29] 887*2^1003250-1 is not prime. Res64: 72FE58BCAA2448CE Time : 0.0 sec. user=mdettweiler [2012-01-30 06:16:56] 995*2^1003250-1 is not prime. Res64: D5DEC05DF11BF12A Time : 0.0 sec. user=mdettweiler [2012-01-30 06:16:57] 705*2^1003251-1 is not prime. Res64: 93125A6A1F8BFF8D Time : 0.0 sec. user=mdettweiler [2012-01-30 06:31:28] 807*2^1003252-1 is not prime. Res64: D1C964093F925EE6 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:31:28] 933*2^1003252-1 is not prime. Res64: 5E6BA29A6BB2D2B4 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:31:44] 699*2^1003253-1 is not prime. Res64: 86F60374EC4E7361 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:31:44] 757*2^1003253-1 is not prime. Res64: 3713B30EB67B4C2C Time : 0.0 sec. user=mdettweiler [2012-01-30 06:35:39] 861*2^1003253-1 is not prime. Res64: 3FD2C3AA4531F8A9 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:35:39] 957*2^1003253-1 is not prime. Res64: 13F0BCE4106C1490 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:39:04] 987*2^1003253-1 is not prime. Res64: 1F5E492BE5B55AFD Time : 0.0 sec. user=mdettweiler [2012-01-30 06:39:04] 615*2^1003254-1 is not prime. Res64: 9F582E6A86DED0F9 Time : 0.0 sec. user=Robert47 [2012-01-30 06:43:05] 781*2^1003251-1 is not prime. Res64: 446D2B0B3757C501 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:51:20] 635*2^1003254-1 is not prime. Res64: BA8946ACE9ADB0E2 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:51:21] 711*2^1003254-1 is not prime. Res64: 1FE1D294DF21F3DA Time : 0.0 sec. user=mdettweiler [2012-01-30 06:53:56] 873*2^1003254-1 is not prime. Res64: 031AA798271A8D34 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:53:56] 975*2^1003254-1 is not prime. Res64: FDD70BA57384F283 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:54:17] 681*2^1003249-1 is not prime. Res64: 80825D5E9F27ECFF Time : 0.0 sec. user=mdettweiler [2012-01-30 06:54:17] 775*2^1003249-1 is not prime. Res64: 207BFFEC24CCDA36 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:55:30] 639*2^1003255-1 is not prime. Res64: DC30C8E3549BA1B1 Time : 0.0 sec. user=mdettweiler [2012-01-30 06:55:30] 693*2^1003255-1 is not prime. Res64: 8CFCA0E4278B5FAC Time : 0.0 sec. user=mdettweiler [2012-01-30 06:58:53] 705*2^1003255-1 is not prime. Res64: EA5A20B38D36DD7E Time : 0.0 sec. user=mdettweiler [2012-01-30 06:58:53] 715*2^1003255-1 is not prime. Res64: E664BAC15BAB6B2D Time : 0.0 sec. user=mdettweiler [2012-01-30 07:11:13] 771*2^1003255-1 is not prime. Res64: 8705CD3C7AD1CB2D Time : 0.0 sec. user=mdettweiler [2012-01-30 07:11:14] 789*2^1003255-1 is not prime. Res64: D318C4567C753D05 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:13:49] 805*2^1003255-1 is not prime. Res64: 78701EB0D50B72A6 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:13:50] 859*2^1003255-1 is not prime. Res64: 94C7094DD2E11551 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:17:39] 845*2^1003256-1 is not prime. Res64: 046ACC844185A776 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:17:39] 917*2^1003256-1 is not prime. Res64: 9B4F7D40107A2A8D Time : 0.0 sec. user=mdettweiler [2012-01-30 07:20:57] 963*2^1003256-1 is not prime. Res64: 4B4F7D9A5110263B Time : 0.0 sec. user=mdettweiler [2012-01-30 07:20:58] 649*2^1003257-1 is not prime. Res64: 6CC19409E00B48C0 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:31:06] 795*2^1003257-1 is not prime. Res64: 135697685D084DEF Time : 0.0 sec. user=mdettweiler [2012-01-30 07:31:07] 819*2^1003257-1 is not prime. Res64: 0B4187B69813F475 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:33:48] 829*2^1003257-1 is not prime. Res64: D0A64778EA6999AF Time : 0.0 sec. user=mdettweiler [2012-01-30 07:33:48] 861*2^1003257-1 is not prime. Res64: 79F2E2BAA56195C7 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:34:18] 895*2^1003251-1 is not prime. Res64: 4A75661F9B7E48EF Time : 0.0 sec. user=mdettweiler [2012-01-30 07:34:18] 975*2^1003251-1 is not prime. Res64: 1C8BD68468B74C9A Time : 0.0 sec. user=mdettweiler [2012-01-30 07:37:30] 885*2^1003257-1 is not prime. Res64: F095DB33596B9501 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:37:31] 895*2^1003257-1 is not prime. Res64: A2BCC12B915ED3B4 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:37:38] 959*2^1003252-1 is not prime. Res64: 49DA492E02F3BDEF Time : 0.0 sec. user=mdettweiler [2012-01-30 07:37:38] 619*2^1003253-1 is not prime. Res64: 602541AAE549E962 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:45:20] 945*2^1003257-1 is not prime. Res64: 573526EF16F7DEBA Time : 0.0 sec. user=mdettweiler [2012-01-30 07:45:20] 997*2^1003257-1 is not prime. Res64: 993A7B5F6CC26090 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:50:59] 657*2^1003258-1 is not prime. Res64: 63B6A65CC8DC5994 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:50:59] 663*2^1003258-1 is not prime. Res64: 8E20AA7FDAECF0FA Time : 0.0 sec. user=mdettweiler [2012-01-30 07:53:40] 681*2^1003258-1 is not prime. Res64: CA0C0825C6807993 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:53:40] 813*2^1003258-1 is not prime. Res64: C0809FB8FB9210FF Time : 0.0 sec. user=mdettweiler [2012-01-30 07:59:40] 987*2^1003258-1 is not prime. Res64: 6CAB4796505ED8F2 Time : 0.0 sec. user=mdettweiler [2012-01-30 07:59:40] 615*2^1003259-1 is not prime. Res64: 0D6053C3FD25DB24 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:05:08] 843*2^1003259-1 is not prime. Res64: 4DEDE4B8D0BFC98D Time : 0.0 sec. user=mdettweiler [2012-01-30 08:05:09] 885*2^1003259-1 is not prime. Res64: 41E1834BD308C302 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:11:07] 693*2^1003256-1 is not prime. Res64: 331F52EFC9179085 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:11:08] 843*2^1003256-1 is not prime. Res64: 4FCC87219138F22B Time : 0.0 sec. user=mdettweiler [2012-01-30 08:13:03] 991*2^1003259-1 is not prime. Res64: 980236ED7408F063 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:13:08] 627*2^1003260-1 is not prime. Res64: ECE89A103AC537CA Time : 0.0 sec. user=mdettweiler [2012-01-30 08:13:27] 665*2^1003260-1 is not prime. Res64: E68E4AAE6CFDC94F Time : 0.0 sec. user=mdettweiler [2012-01-30 08:13:28] 779*2^1003260-1 is not prime. Res64: 1E0ACA86B4C2FBED Time : 0.0 sec. user=mdettweiler [2012-01-30 08:19:26] 803*2^1003260-1 is not prime. Res64: 13E7FF07C5CE91E0 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:19:27] 839*2^1003260-1 is not prime. Res64: 47FD83EEDD1BAFA8 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:25:06] 857*2^1003260-1 is not prime. Res64: 50EDBF8E1E764A46 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:25:07] 887*2^1003260-1 is not prime. Res64: D3039E942CB9F237 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:33:24] 625*2^1003261-1 is not prime. Res64: 624A9C83E91A07E6 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:33:24] 639*2^1003261-1 is not prime. Res64: 69346DE57EBCC0B7 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:37:30] 965*2^1003260-1 is not prime. Res64: D0467D09BC969E4A Time : 0.0 sec. user=mdettweiler [2012-01-30 08:37:30] 999*2^1003260-1 is not prime. Res64: B224BF4DF5BC5126 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:39:16] 775*2^1003261-1 is not prime. Res64: 49257373BEFF2454 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:39:16] 855*2^1003261-1 is not prime. Res64: A4BB8C60DE0D8FFC Time : 0.0 sec. user=mdettweiler [2012-01-30 08:47:13] 871*2^1003261-1 is not prime. Res64: 959DBBFBC0D2B72C Time : 0.0 sec. user=mdettweiler [2012-01-30 08:47:13] 987*2^1003261-1 is not prime. Res64: E68A076A6438578E Time : 0.0 sec. user=mdettweiler [2012-01-30 08:53:20] 651*2^1003262-1 is not prime. Res64: 185389B9372021F4 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:53:20] 675*2^1003262-1 is not prime. Res64: B01D7712AFE66B12 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:53:53] 735*2^1003259-1 is not prime. Res64: 0404464CECA682AD Time : 0.0 sec. user=mdettweiler [2012-01-30 08:53:53] 799*2^1003259-1 is not prime. Res64: 67F776C2CFBC759E Time : 0.0 sec. user=mdettweiler [2012-01-30 08:57:22] 885*2^1003262-1 is not prime. Res64: 6E49DD610A156BF5 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:57:23] 613*2^1003263-1 is not prime. Res64: EC848C091AB05E39 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:59:06] 775*2^1003263-1 is not prime. Res64: 75669898CF66C112 Time : 0.0 sec. user=mdettweiler [2012-01-30 08:59:06] 789*2^1003263-1 is not prime. Res64: C95AB4080F535267 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:07:46] 957*2^1003258-1 is not prime. Res64: 78BF05F74C73E85C Time : 0.0 sec. user=mdettweiler [2012-01-30 09:07:47] 971*2^1003258-1 is not prime. Res64: 7D6037543A333EC7 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:09:24] 891*2^1003263-1 is not prime. Res64: D7686BC51AC65FBC Time : 0.0 sec. user=mdettweiler [2012-01-30 09:09:25] 945*2^1003263-1 is not prime. Res64: 57655ADDE8587203 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:13:11] 803*2^1003264-1 is not prime. Res64: 3B3F5322A72B6D4D Time : 0.0 sec. user=mdettweiler [2012-01-30 09:13:13] 869*2^1003264-1 is not prime. Res64: C2EA19C7F088152F Time : 0.0 sec. user=mdettweiler [2012-01-30 09:18:54] 741*2^1003265-1 is not prime. Res64: 98F37C4381F70A20 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:18:54] 855*2^1003265-1 is not prime. Res64: EEBD3BF17E3D9E54 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:19:28] 969*2^1003264-1 is not prime. Res64: 5B5FE76ECA2A1DC2 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:19:28] 721*2^1003265-1 is not prime. Res64: 711EF759CFCC3C47 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:31:33] 711*2^1003266-1 is not prime. Res64: BA0E3A0055D53E5B Time : 0.0 sec. user=mdettweiler [2012-01-30 09:31:34] 905*2^1003266-1 is not prime. Res64: FEC744A273A7C8F8 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:33:06] 625*2^1003267-1 is not prime. Res64: 324266AF7AB538FB Time : 0.0 sec. user=mdettweiler [2012-01-30 09:33:06] 765*2^1003267-1 is not prime. Res64: 537763C51870F5A0 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:38:44] 873*2^1003267-1 is not prime. Res64: 17FB52B5C139F84A Time : 0.0 sec. user=mdettweiler [2012-01-30 09:38:45] 735*2^1003268-1 is not prime. Res64: A7461F55B4C6450C Time : 0.0 sec. user=mdettweiler [2012-01-30 09:41:33] 935*2^1003268-1 is not prime. Res64: D0A34C80672DD1A0 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:41:33] 625*2^1003269-1 is not prime. Res64: BBFD3D317B5B9FDF Time : 0.0 sec. user=mdettweiler [2012-01-30 09:44:50] 929*2^1003260-1 is not prime. Res64: 898CC616DFDBB116 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:44:51] 933*2^1003260-1 is not prime. Res64: 204E7DE00EF64112 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:51:21] 657*2^1003269-1 is not prime. Res64: AC0CDAB9CB26BD96 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:51:22] 679*2^1003269-1 is not prime. Res64: C9F8DA52F1F76080 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:52:54] 681*2^1003269-1 is not prime. Res64: D86802F88AC498E1 Time : 0.0 sec. user=mdettweiler [2012-01-30 09:52:55] 691*2^1003269-1 is not prime. Res64: 583D53190496F3AB Time : 0.0 sec. user=mdettweiler [2012-01-30 09:58:30] 747*2^1003269-1 is not prime. Res64: 20BD46858A904C8F Time : 0.0 sec. user=mdettweiler [2012-01-30 09:58:30] 751*2^1003269-1 is not prime. Res64: 7D3DAE8BFDDCF4C0 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:01:20] 765*2^1003269-1 is not prime. Res64: F890E18F73F08380 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:01:21] 787*2^1003269-1 is not prime. Res64: 4A2E09E3426EC963 Time : 0.0 sec. user=Robert47 [2012-01-30 10:08:18] 657*2^1003252-1 is not prime. Res64: E182DF73C33E0640 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:11:15] 713*2^1003270-1 is not prime. Res64: D89138E1B332B741 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:11:18] 833*2^1003270-1 is not prime. Res64: EDE9103858B86A83 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:15:04] 897*2^1003270-1 is not prime. Res64: B775755059D2A715 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:15:06] 915*2^1003270-1 is not prime. Res64: 2DCECE1341A4D61D Time : 0.0 sec. user=mdettweiler [2012-01-30 10:19:04] 899*2^1003264-1 is not prime. Res64: 60455B33DA465D50 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:19:05] 917*2^1003264-1 is not prime. Res64: B72530644D4CDF59 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:20:38] 951*2^1003270-1 is not prime. Res64: 9B295841DCCE0C11 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:20:38] 603*2^1003271-1 is not prime. Res64: B4266DB3DFBB8694 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:21:17] 621*2^1003271-1 is not prime. Res64: 57D178872E6FA776 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:21:18] 645*2^1003271-1 is not prime. Res64: 582F0204047F5D86 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:31:13] 741*2^1003271-1 is not prime. Res64: CE152B530643E97B Time : 0.0 sec. user=mdettweiler [2012-01-30 10:31:13] 805*2^1003271-1 is not prime. Res64: 29A079EA3D2DD5A0 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:33:09] 861*2^1003265-1 is not prime. Res64: 5666D7FB5538DAD7 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:33:09] 915*2^1003265-1 is not prime. Res64: E260BB6298EF83E3 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:34:56] 855*2^1003271-1 is not prime. Res64: 875E1165CF7B03A0 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:34:56] 859*2^1003271-1 is not prime. Res64: 5A8A2EAC888DA70D Time : 0.0 sec. user=mdettweiler [2012-01-30 10:40:26] 683*2^1003272-1 is not prime. Res64: D95E4B851EDDD202 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:40:26] 713*2^1003272-1 is not prime. Res64: 2E8488EB1EF10823 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:41:04] 767*2^1003272-1 is not prime. Res64: 7C02CA2D7F1559B1 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:41:05] 815*2^1003272-1 is not prime. Res64: 9B358C784BB6A91E Time : 0.0 sec. user=Robert47 [2012-01-30 10:42:50] 765*2^1003255-1 is not prime. Res64: 8B4D54F40BA6506E Time : 0.0 sec. user=mdettweiler [2012-01-30 10:51:02] 849*2^1003272-1 is not prime. Res64: 5488569F4658D8A6 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:51:02] 609*2^1003273-1 is not prime. Res64: 9A4A5FA833E4837E Time : 0.0 sec. user=Robert47 [2012-01-30 10:54:08] 669*2^1003271-1 is not prime. Res64: 2CD4453EA6219906 Time : 0.0 sec. user=Robert47 [2012-01-30 10:56:41] 735*2^1003271-1 is not prime. Res64: 12D387AC5BAECE37 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:57:04] 831*2^1003273-1 is not prime. Res64: 4F7656A2E2E439A1 Time : 0.0 sec. user=mdettweiler [2012-01-30 10:57:04] 951*2^1003273-1 is not prime. Res64: A32F624CCAD08FC0 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:00:19] 627*2^1003274-1 is not prime. Res64: 3E79B2F81054A31E Time : 0.0 sec. user=mdettweiler [2012-01-30 11:00:22] 671*2^1003274-1 is not prime. Res64: 5252533EC1D274EF Time : 0.0 sec. user=mdettweiler [2012-01-30 11:00:58] 683*2^1003274-1 is not prime. Res64: C536B2F7C32C7EF4 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:01:00] 731*2^1003274-1 is not prime. Res64: C8DCF64EB154B236 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:01:06] 835*2^1003269-1 is not prime. Res64: DDFAA85DF7DA9B89 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:13:12] 1001*2^1003274-1 is not prime. Res64: 385ED578B75D00BF Time : 0.0 sec. user=mdettweiler [2012-01-30 11:13:21] 685*2^1003275-1 is not prime. Res64: 559C410BC825F1DC Time : 0.0 sec. user=mdettweiler [2012-01-30 11:16:52] 793*2^1003275-1 is not prime. Res64: D7881D48F2D902BC Time : 0.0 sec. user=mdettweiler [2012-01-30 11:16:53] 819*2^1003275-1 is not prime. Res64: 1BDE0A56AB5422AA Time : 0.0 sec. user=mdettweiler [2012-01-30 11:21:04] 615*2^1003276-1 is not prime. Res64: CD7DE9399547E89A Time : 0.0 sec. user=mdettweiler [2012-01-30 11:21:04] 647*2^1003276-1 is not prime. Res64: 897A6A1E5F0E75C4 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:24:51] 903*2^1003275-1 is not prime. Res64: C9066BAAF96C1E82 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:24:51] 909*2^1003275-1 is not prime. Res64: 7401F9C813E7B449 Time : 0.0 sec. user=Robert47 [2012-01-30 11:28:40] 827*2^1003274-1 is not prime. Res64: B270ACE06D00DDCF Time : 0.0 sec. user=mdettweiler [2012-01-30 11:33:13] 743*2^1003276-1 is not prime. Res64: 0A57255E096A5431 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:33:14] 773*2^1003276-1 is not prime. Res64: 664F3789D568F698 Time : 0.0 sec. user=Robert47 [2012-01-30 11:36:55] 783*2^1003275-1 is not prime. Res64: 3E57ABA0B6AA0A0C Time : 0.0 sec. user=Robert47 [2012-01-30 11:40:05] 751*2^1003275-1 is not prime. Res64: D038349B2467DEC6 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:41:18] 933*2^1003276-1 is not prime. Res64: 1ED66294270341A7 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:41:18] 989*2^1003276-1 is not prime. Res64: DBEC3203EAD4D8C2 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:44:40] 627*2^1003277-1 is not prime. Res64: 96C2C849679AA8EE Time : 0.0 sec. user=mdettweiler [2012-01-30 11:44:40] 649*2^1003277-1 is not prime. Res64: 8330D60F7825A72C Time : 0.0 sec. user=mdettweiler [2012-01-30 11:45:27] 993*2^1003276-1 is not prime. Res64: 10411569256CF709 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:45:28] 999*2^1003276-1 is not prime. Res64: 482769DCE3326568 Time : 0.0 sec. user=mdettweiler [2012-01-30 11:53:07] 781*2^1003277-1 is not prime. Res64: 69689A6DBADF4F4C Time : 0.0 sec. user=mdettweiler [2012-01-30 11:53:07] 795*2^1003277-1 is not prime. Res64: 270B6306059403A7 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:01:07] 677*2^1003278-1 is not prime. Res64: 460C5BD388DA2D32 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:01:09] 707*2^1003278-1 is not prime. Res64: D6D5D591DD848DB8 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:04:26] 731*2^1003278-1 is not prime. Res64: F76A901B9E91654B Time : 0.0 sec. user=mdettweiler [2012-01-30 12:04:27] 797*2^1003278-1 is not prime. Res64: D510A29545E40367 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:05:16] 891*2^1003278-1 is not prime. Res64: CBC8CAE8E0F41E9E Time : 0.0 sec. user=mdettweiler [2012-01-30 12:05:17] 693*2^1003279-1 is not prime. Res64: 83002B81ABD05423 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:12:57] 705*2^1003279-1 is not prime. Res64: 79C8A1B4E15842A8 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:13:00] 751*2^1003279-1 is not prime. Res64: D00AAD7C388EE109 Time : 0.0 sec. user=Robert47 [2012-01-30 12:13:15] 741*2^1003277-1 is not prime. Res64: 82E31EB556D8CC5F Time : 0.0 sec. user=Robert47 [2012-01-30 12:17:20] 825*2^1003277-1 is not prime. Res64: A6B2E23C6C515D8E Time : 0.0 sec. user=mdettweiler [2012-01-30 12:21:03] 759*2^1003279-1 is not prime. Res64: 0E0F7759383BC2BE Time : 0.0 sec. user=mdettweiler [2012-01-30 12:21:03] 789*2^1003279-1 is not prime. Res64: 5C2A2ACD6A66B943 Time : 0.0 sec. user=Robert47 [2012-01-30 12:25:43] 641*2^1003278-1 is not prime. Res64: AEE8BCAB83A71D7E Time : 0.0 sec. user=mdettweiler [2012-01-30 12:26:37] 793*2^1003279-1 is not prime. Res64: 2B64B181B1C9FCEB Time : 0.0 sec. user=mdettweiler [2012-01-30 12:26:38] 951*2^1003279-1 is not prime. Res64: B69014ABEAFCF416 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:29:47] 969*2^1003279-1 is not prime. Res64: 34DD31C5218D223F Time : 0.0 sec. user=mdettweiler [2012-01-30 12:29:47] 985*2^1003279-1 is not prime. Res64: 04F1698D7B764ACC Time : 0.0 sec. user=mdettweiler [2012-01-30 12:32:57] 777*2^1003280-1 is not prime. Res64: 7479B0875C3BD656 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:32:58] 857*2^1003280-1 is not prime. Res64: DA39223BC9830FE7 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:40:56] 747*2^1003281-1 is not prime. Res64: 4A8AE90FF70235FB Time : 0.0 sec. user=mdettweiler [2012-01-30 12:40:56] 835*2^1003281-1 is not prime. Res64: 7263DC56237F9709 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:46:27] 621*2^1003282-1 is not prime. Res64: C2B6A43D2547736D Time : 0.0 sec. user=mdettweiler [2012-01-30 12:46:28] 645*2^1003282-1 is not prime. Res64: 2E07695E9F80381B Time : 0.0 sec. user=mdettweiler [2012-01-30 12:51:54] 675*2^1003282-1 is not prime. Res64: 2166EA2F1C3C4487 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:51:54] 945*2^1003282-1 is not prime. Res64: A0156BBE3D07092A Time : 0.0 sec. user=mdettweiler [2012-01-30 12:55:06] 981*2^1003282-1 is not prime. Res64: F9D39188965C0165 Time : 0.0 sec. user=mdettweiler [2012-01-30 12:55:06] 693*2^1003283-1 is not prime. Res64: F11CB272900A4355 Time : 0.0 sec. user=Robert47 [2012-01-30 12:57:29] 745*2^1003281-1 is not prime. Res64: BA140BF991E94F2D Time : 0.0 sec. user=Robert47 [2012-01-30 12:58:12] 651*2^1003281-1 is not prime. Res64: FB95C05320FA0431 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:03:07] 703*2^1003283-1 is not prime. Res64: ABDFE3FD7EB010F1 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:03:09] 915*2^1003283-1 is not prime. Res64: F1B60A1257279D0D Time : 0.0 sec. user=Robert47 [2012-01-30 13:10:45] 617*2^1003282-1 is not prime. Res64: 25EA5FCF2E9C1CA9 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:10:53] 969*2^1003283-1 is not prime. Res64: 1D4AF765EA452081 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:10:54] 999*2^1003283-1 is not prime. Res64: 4802651FC5D67BD4 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:11:55] 689*2^1003284-1 is not prime. Res64: 61CBC34DE2857F41 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:11:55] 693*2^1003284-1 is not prime. Res64: 2CC09462F1D177C6 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:15:22] 737*2^1003284-1 is not prime. Res64: A0BE322AE1958A8C Time : 0.0 sec. user=mdettweiler [2012-01-30 13:15:24] 843*2^1003284-1 is not prime. Res64: AEA31A39436DE71E Time : 0.0 sec. user=mdettweiler [2012-01-30 13:23:46] 819*2^1003285-1 is not prime. Res64: 30920016257A3021 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:23:46] 855*2^1003285-1 is not prime. Res64: BA379C2840475720 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:31:05] 773*2^1003286-1 is not prime. Res64: 6869BA0F96D77EFB Time : 0.0 sec. user=mdettweiler [2012-01-30 13:31:06] 813*2^1003286-1 is not prime. Res64: 600C0948FC081D16 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:34:10] 893*2^1003286-1 is not prime. Res64: C5053882202E8816 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:34:11] 921*2^1003286-1 is not prime. Res64: EE3D496151241457 Time : 0.0 sec. user=Robert47 [2012-01-30 13:37:44] 661*2^1003285-1 is not prime. Res64: 26B994DBA17E8C38 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:40:02] 957*2^1003286-1 is not prime. Res64: BF6B34F377BC3D90 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:40:03] 963*2^1003286-1 is not prime. Res64: 4B9970DD6ABA12F2 Time : 0.0 sec. user=Robert47 [2012-01-30 13:43:51] 765*2^1003285-1 is not prime. Res64: 993B9F2AA655A731 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:48:13] 949*2^1003287-1 is not prime. Res64: FCBF4290DA827C38 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:48:14] 973*2^1003287-1 is not prime. Res64: 208438C69DB82556 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:51:00] 603*2^1003288-1 is not prime. Res64: 00E0A5DFAD55D6F0 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:51:01] 665*2^1003288-1 is not prime. Res64: 54586C8B50347F89 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:54:00] 819*2^1003288-1 is not prime. Res64: 6B1D38E508914B41 Time : 0.0 sec. user=mdettweiler [2012-01-30 13:54:01] 845*2^1003288-1 is not prime. Res64: A0200CFB7C0F0B75 Time : 0.0 sec. user=Robert47 [2012-01-30 13:56:16] 623*2^1003286-1 is not prime. Res64: 05937A2FE80BE42E Time : 0.0 sec. user=mdettweiler [2012-01-30 14:02:09] 909*2^1003288-1 is not prime. Res64: F22A0E41A579872E Time : 0.0 sec. user=mdettweiler [2012-01-30 14:02:10] 631*2^1003289-1 is not prime. Res64: 2E9012E082D1FF90 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:08:02] 685*2^1003289-1 is not prime. Res64: AB7EF8B2823CB5AA Time : 0.0 sec. user=mdettweiler [2012-01-30 14:08:03] 775*2^1003289-1 is not prime. Res64: 515D4B0417C425AF Time : 0.0 sec. user=mdettweiler [2012-01-30 14:13:09] 847*2^1003289-1 is not prime. Res64: EEF3481686298C1B Time : 0.0 sec. user=mdettweiler [2012-01-30 14:13:11] 967*2^1003289-1 is not prime. Res64: D6A0D6408C88C102 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:13:55] 711*2^1003290-1 is not prime. Res64: 37550B3FC93C9027 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:13:55] 725*2^1003290-1 is not prime. Res64: D137DDD4DD180748 Time : 0.0 sec. user=Robert47 [2012-01-30 14:18:01] 887*2^1003288-1 is not prime. Res64: A5152F9B70C229F7 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:22:15] 851*2^1003290-1 is not prime. Res64: 2D0BE7A546CFA750 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:22:16] 867*2^1003290-1 is not prime. Res64: EE36290EDDAB6541 Time : 0.0 sec. user=Robert47 [2012-01-30 14:29:11] 657*2^1003289-1 is not prime. Res64: 2DEAC32F98D97BE6 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:30:24] 887*2^1003290-1 is not prime. Res64: B6F43657F1128A03 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:30:24] 945*2^1003290-1 is not prime. Res64: 8C7E8286B3B61777 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:33:11] 619*2^1003291-1 is not prime. Res64: 27D3EE87B6E002BF Time : 0.0 sec. user=mdettweiler [2012-01-30 14:33:11] 685*2^1003291-1 is not prime. Res64: CDC0775A181B5C69 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:33:50] 735*2^1003291-1 is not prime. Res64: 0EC3BB2808A5F501 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:33:50] 759*2^1003291-1 is not prime. Res64: F60C67423F2B0598 Time : 0.0 sec. user=Robert47 [2012-01-30 14:41:23] 801*2^1003290-1 is not prime. Res64: 9B0CD08B237E9207 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:44:18] 973*2^1003291-1 is not prime. Res64: 869AF13EB77F98A1 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:44:19] 623*2^1003292-1 is not prime. Res64: 50208925FD98EDD5 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:50:16] 717*2^1003292-1 is not prime. Res64: 4AD3E661709A0314 Time : 0.0 sec. user=mdettweiler [2012-01-30 14:50:17] 725*2^1003292-1 is not prime. Res64: E64AA0C9CAAC7EBB Time : 0.0 sec. user=mdettweiler [2012-01-30 14:53:14] 803*2^1003292-1 is not prime. Res64: EFBC132E5F4DEE8C Time : 0.0 sec. user=mdettweiler [2012-01-30 14:53:14] 879*2^1003292-1 is not prime. Res64: AA116D61C677038E Time : 0.0 sec. user=mdettweiler [2012-01-30 14:56:20] 885*2^1003292-1 is not prime. Res64: 3657BF4FF4DD22BA Time : 0.0 sec. user=mdettweiler [2012-01-30 14:56:20] 909*2^1003292-1 is not prime. Res64: B46CD60C11B8CC62 Time : 0.0 sec. user=Robert47 [2012-01-30 14:58:06] 811*2^1003291-1 is not prime. Res64: 8B302CDBE5C0FBC1 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:04:54] 679*2^1003293-1 is not prime. Res64: DAC4F43FF0EF04A2 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:04:55] 691*2^1003293-1 is not prime. Res64: 6932813E66815788 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:10:55] 769*2^1003293-1 is not prime. Res64: 696FB466D0AF8972 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:10:57] 795*2^1003293-1 is not prime. Res64: DE5B74C7EF66BBE9 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:13:00] 949*2^1003271-1 is not prime. Res64: 81F96F13A898D61E Time : 0.0 sec. user=mdettweiler [2012-01-30 15:13:05] 635*2^1003272-1 is not prime. Res64: 7DCE84B2351929F7 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:13:17] 687*2^1003270-1 is not prime. Res64: E1C0F2F37849DF98 Time : 0.0 sec. user=Robert47 [2012-01-30 15:14:02] 629*2^1003292-1 is not prime. Res64: BB31DACEEA9D0DA1 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:15:48] 919*2^1003293-1 is not prime. Res64: B5BB3BF75FEEEC54 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:15:49] 611*2^1003294-1 is not prime. Res64: 8381E09A473FF221 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:16:40] 663*2^1003294-1 is not prime. Res64: 5C0B90AE727DB833 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:16:41] 675*2^1003294-1 is not prime. Res64: A35DDEB1AF6B67ED Time : 0.0 sec. user=mdettweiler [2012-01-30 15:24:40] 687*2^1003273-1 is not prime. Res64: 89F8C6950A11E533 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:24:41] 771*2^1003273-1 is not prime. Res64: 9BD2AC88E9B01678 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:24:58] 707*2^1003294-1 is not prime. Res64: 18A33DA426D24C37 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:24:58] 717*2^1003294-1 is not prime. Res64: 53FB7C6469F1CD65 Time : 0.0 sec. user=Robert47 [2012-01-30 15:26:23] 609*2^1003293-1 is not prime. Res64: ADF21254DDD150C0 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:30:54] 755*2^1003294-1 is not prime. Res64: ADD84BE690D32623 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:30:54] 825*2^1003294-1 is not prime. Res64: B95BB4B70A1BB73E Time : 0.0 sec. user=mdettweiler [2012-01-30 15:35:53] 663*2^1003295-1 is not prime. Res64: 20A8180F0A68A544 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:35:54] 673*2^1003295-1 is not prime. Res64: 2F880FAFCD61BEAB Time : 0.0 sec. user=mdettweiler [2012-01-30 15:36:43] 735*2^1003295-1 is not prime. Res64: A3C0F352B65B3F0F Time : 0.0 sec. user=mdettweiler [2012-01-30 15:36:43] 825*2^1003295-1 is not prime. Res64: AEC241A59777332B Time : 0.0 sec. user=Robert47 [2012-01-30 15:38:25] 681*2^1003294-1 is not prime. Res64: 42249FF6A5EB6F0E Time : 0.0 sec. user=mdettweiler [2012-01-30 15:47:52] 915*2^1003295-1 is not prime. Res64: A5100A29593033A1 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:47:52] 747*2^1003296-1 is not prime. Res64: 105336D6B7FFBAF1 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:51:32] 815*2^1003296-1 is not prime. Res64: 3AD340C3206A0FB2 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:51:32] 879*2^1003296-1 is not prime. Res64: B4A0542E9DBC12D5 Time : 0.0 sec. user=mdettweiler [2012-01-30 15:57:21] 661*2^1003297-1 is not prime. Res64: 7E0AB6C1CD08699E Time : 0.0 sec. user=mdettweiler [2012-01-30 15:57:21] 829*2^1003297-1 is not prime. Res64: C4371749F5CBB02C Time : 0.0 sec. user=mdettweiler [2012-01-30 15:58:31] 903*2^1003296-1 is not prime. Res64: 04D0D7E92D405E5C Time : 0.0 sec. user=mdettweiler [2012-01-30 15:58:32] 645*2^1003297-1 is not prime. Res64: 07F84A7A6339810B Time : 0.0 sec. user=Robert47 [2012-01-30 15:59:25] 619*2^1003295-1 is not prime. Res64: 086F12F192FB2329 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:11:19] 931*2^1003297-1 is not prime. Res64: 0876E72999177C20 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:11:19] 683*2^1003298-1 is not prime. Res64: A00DC15695083F4C Time : 0.0 sec. user=Robert47 [2012-01-30 16:11:46] 765*2^1003296-1 is not prime. Res64: 5CB1DCDD25FAC0AB Time : 0.0 sec. user=mdettweiler [2012-01-30 16:12:09] 713*2^1003298-1 is not prime. Res64: 9FB2518C317EF112 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:12:11] 731*2^1003298-1 is not prime. Res64: EAC6055A73C64D20 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:18:34] 831*2^1003298-1 is not prime. Res64: 7EC9D4C88D1DCF4F Time : 0.0 sec. user=mdettweiler [2012-01-30 16:18:34] 893*2^1003298-1 is not prime. Res64: A12D708304596E12 Time : 0.0 sec. user=Robert47 [2012-01-30 16:18:46] 897*2^1003297-1 is not prime. Res64: A00CBB023F6FA821 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:24:09] 911*2^1003298-1 is not prime. Res64: 8741386C75E8B5F3 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:24:09] 915*2^1003298-1 is not prime. Res64: 7157819B0C1BF36F Time : 0.0 sec. user=mdettweiler [2012-01-30 16:32:19] 613*2^1003299-1 is not prime. Res64: CF9376621887273C Time : 0.0 sec. user=mdettweiler [2012-01-30 16:32:19] 663*2^1003299-1 is not prime. Res64: 966451C60532380F Time : 0.0 sec. user=mdettweiler [2012-01-30 16:33:08] 665*2^1003300-1 is not prime. Res64: 76220F0EB63D8A55 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:33:09] 689*2^1003300-1 is not prime. Res64: 70D79FE03DE97AF6 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:41:53] 845*2^1003300-1 is not prime. Res64: 7C41A77FE975A617 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:41:53] 905*2^1003300-1 is not prime. Res64: 1A7F247331DB7CF8 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:49:14] 915*2^1003300-1 is not prime. Res64: 8C6429D4BD6CDB7B Time : 0.0 sec. user=mdettweiler [2012-01-30 16:49:14] 927*2^1003300-1 is not prime. Res64: 024F9D513F4C8B1B Time : 0.0 sec. user=Robert47 [2012-01-30 16:53:33] 941*2^1003298-1 is not prime. Res64: 3418F96CA87F59AE Time : 0.0 sec. user=mdettweiler [2012-01-30 16:53:34] 675*2^1003301-1 is not prime. Res64: 0724A0694A3FB3B3 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:53:34] 747*2^1003301-1 is not prime. Res64: 77E36406D629B193 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:55:32] 959*2^1003300-1 is not prime. Res64: 66C8BD7C955CB3E2 Time : 0.0 sec. user=mdettweiler [2012-01-30 16:55:33] 607*2^1003301-1 is not prime. Res64: 6F6D199762D618AD Time : 0.0 sec. user=Robert47 [2012-01-30 16:56:58] 835*2^1003299-1 is not prime. Res64: 46A7122ECDD79B38 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:01:55] 897*2^1003294-1 is not prime. Res64: 684BCDA508E5361F Time : 0.0 sec. user=mdettweiler [2012-01-30 17:02:21] 987*2^1003294-1 is not prime. Res64: 080D27083E21A93F Time : 0.0 sec. user=mdettweiler [2012-01-30 17:02:22] 789*2^1003301-1 is not prime. Res64: FE792955D80B7DD0 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:05:34] 859*2^1003295-1 is not prime. Res64: E4B77DB7FB38C514 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:05:35] 883*2^1003295-1 is not prime. Res64: F2D8C8C16A8CD556 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:14:44] 931*2^1003301-1 is not prime. Res64: 0700C2FC6E236BF8 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:14:45] 945*2^1003301-1 is not prime. Res64: 844448047CBACE30 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:16:33] 991*2^1003301-1 is not prime. Res64: 42B708C38C544825 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:16:33] 801*2^1003302-1 is not prime. Res64: 0E29D0B7C45A19AE Time : 0.0 sec. user=mdettweiler [2012-01-30 17:18:34] 915*2^1003302-1 is not prime. Res64: 2846EB1667430F3D Time : 0.0 sec. user=mdettweiler [2012-01-30 17:18:34] 603*2^1003303-1 is not prime. Res64: 06F2392B85E91109 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:23:55] 889*2^1003301-1 is not prime. Res64: 1B3FAF711F082BD7 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:35:30] 755*2^1003304-1 is not prime. Res64: AC38FBD893451968 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:35:30] 789*2^1003304-1 is not prime. Res64: 2469DB55638319B9 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:37:16] 855*2^1003304-1 is not prime. Res64: 5B951436FB227550 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:37:16] 657*2^1003305-1 is not prime. Res64: 6FF3A93A84EAC252 Time : 0.0 sec. user=Robert47 [2012-01-30 17:39:07] 821*2^1003302-1 is not prime. Res64: 7B6CC0C5C768AC1D Time : 0.0 sec. user=mdettweiler [2012-01-30 17:39:09] 685*2^1003305-1 is not prime. Res64: DFB951557AE22DC0 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:39:10] 727*2^1003305-1 is not prime. Res64: 0586122F3C39DD05 Time : 0.0 sec. user=Robert47 [2012-01-30 17:42:31] 615*2^1003303-1 is not prime. Res64: CD680512182C3EC6 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:44:08] 741*2^1003305-1 is not prime. Res64: 402BB4503640EBF2 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:44:08] 765*2^1003305-1 is not prime. Res64: 06B360AED7DEBE4F Time : 0.0 sec. user=mdettweiler [2012-01-30 17:55:49] 601*2^1003295-1 is not prime. Res64: 9753A28D6A15F40A Time : 0.0 sec. user=mdettweiler [2012-01-30 17:57:03] 713*2^1003306-1 is not prime. Res64: 51FD652F264FDD39 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:57:04] 743*2^1003306-1 is not prime. Res64: CD7BC559E1507F26 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:57:27] 909*2^1003305-1 is not prime. Res64: E83D98635D980983 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:57:27] 701*2^1003306-1 is not prime. Res64: 1F2FF4E8580CEE48 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:58:06] 951*2^1003294-1 is not prime. Res64: B4E842E732CE6D68 Time : 0.0 sec. user=mdettweiler [2012-01-30 17:58:08] 819*2^1003303-1 is not prime. Res64: E11B7D28E4F067F5 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:03:26] 923*2^1003306-1 is not prime. Res64: 7F6BA3087D2B3DC7 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:03:27] 957*2^1003306-1 is not prime. Res64: 49C80E74EF0C9F67 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:03:55] 633*2^1003307-1 is not prime. Res64: 8B313CAC90505CA0 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:03:57] 685*2^1003307-1 is not prime. Res64: 03F473203962CEA2 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:16:51] 741*2^1003307-1 is not prime. Res64: 5CD6B09D2DF305C2 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:16:52] 805*2^1003307-1 is not prime. Res64: A48CEB60064F03D3 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:17:13] 843*2^1003307-1 is not prime. Res64: B50F44C36D272049 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:17:13] 883*2^1003307-1 is not prime. Res64: 9B740C1DCD6A63E8 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:23:41] 669*2^1003308-1 is not prime. Res64: 1F3457CAFA3A1200 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:23:42] 725*2^1003308-1 is not prime. Res64: E735B850E6B540ED Time : 0.0 sec. user=mdettweiler [2012-01-30 18:25:21] 981*2^1003307-1 is not prime. Res64: 49D06F235A9748B1 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:25:22] 633*2^1003308-1 is not prime. Res64: 11D32AAF146B957C Time : 0.0 sec. user=Robert47 [2012-01-30 18:33:24] 917*2^1003306-1 is not prime. Res64: B906DA1924C3F7CF Time : 0.0 sec. user=mdettweiler [2012-01-30 18:36:32] 759*2^1003308-1 is not prime. Res64: 05D2FBED5C590684 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:36:33] 843*2^1003308-1 is not prime. Res64: FBA9ED5F6DA74883 Time : 0.0 sec. user=Robert47 [2012-01-30 18:36:52] 971*2^1003306-1 is not prime. Res64: 7F67279A99698618 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:36:53] 639*2^1003309-1 is not prime. Res64: 76B370748F0D7196 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:36:53] 667*2^1003309-1 is not prime. Res64: F57062BCF6AF88C7 Time : 0.0 sec. user=mdettweiler [2012-01-30 18:43:25] 741*2^1003309-1 is not prime. Res64: 26E947AC2CD6A5CA Time : 0.0 sec. user=mdettweiler [2012-01-30 18:43:25] 829*2^1003309-1 is not prime. Res64: 367700DBEC5BC88F Time : 0.0 sec. user=mdettweiler [2012-01-30 18:47:19] 961*2^1003309-1 is not prime. Res64: 70FC242E273AA1BD Time : 0.0 sec. user=mdettweiler [2012-01-30 18:47:20] 665*2^1003310-1 is not prime. Res64: 4CE0F9E054BCDA8F Time : 0.0 sec. user=mdettweiler [2012-01-30 18:56:15] 767*2^1003310-1 is not prime. Res64: 5FC7A8E6D3330FDF Time : 0.0 sec. user=mdettweiler [2012-01-30 18:56:16] 887*2^1003310-1 is not prime. Res64: 9D610BA522E81ABD Time : 0.0 sec. user=mdettweiler [2012-01-30 18:56:34] 709*2^1003311-1 is not prime. Res64: A0BCB8DA29BD67DE Time : 0.0 sec. user=mdettweiler [2012-01-30 18:56:35] 793*2^1003311-1 is not prime. Res64: E100063DE343D3BA Time : 0.0 sec. user=mdettweiler [2012-01-30 19:03:05] 665*2^1003304-1 is not prime. Res64: D88369291C714AD9 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:03:11] 795*2^1003311-1 is not prime. Res64: 6725F010D086B6D7 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:03:12] 819*2^1003311-1 is not prime. Res64: E8346C1ACF685C1B Time : 0.0 sec. user=mdettweiler [2012-01-30 19:07:03] 865*2^1003311-1 is not prime. Res64: 3FA20BA807980337 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:07:04] 895*2^1003311-1 is not prime. Res64: C3278773F3A34EA9 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:16:18] 623*2^1003312-1 is not prime. Res64: 95F6C2F30A7EE974 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:16:18] 687*2^1003312-1 is not prime. Res64: CF221B5D1CE24E7B Time : 0.0 sec. user=mdettweiler [2012-01-30 19:18:14] 961*2^1003311-1 is not prime. Res64: 059F02DBCD41BEA2 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:18:15] 603*2^1003312-1 is not prime. Res64: 4C49D0F29C6A0759 Time : 0.0 sec. user=Robert47 [2012-01-30 19:21:49] 747*2^1003310-1 is not prime. Res64: 97CF5E054E3AAE90 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:22:55] 789*2^1003313-1 is not prime. Res64: 84D2B19375719C51 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:22:56] 837*2^1003313-1 is not prime. Res64: 17DDA5FD95CAF80D Time : 0.0 sec. user=mdettweiler [2012-01-30 19:26:53] 889*2^1003313-1 is not prime. Res64: BA462E841305E628 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:26:54] 641*2^1003314-1 is not prime. Res64: 665F54D8764BD630 Time : 0.0 sec. user=Robert47 [2012-01-30 19:32:21] 953*2^1003310-1 is not prime. Res64: 241D67F12F91B3B8 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:38:27] 747*2^1003314-1 is not prime. Res64: A6ACAF1767CD252C Time : 0.0 sec. user=mdettweiler [2012-01-30 19:38:27] 903*2^1003314-1 is not prime. Res64: 98DFCC3E7D415836 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:42:48] 917*2^1003314-1 is not prime. Res64: B1F036A8C37D1A21 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:42:48] 947*2^1003314-1 is not prime. Res64: B6693AD638A550B5 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:47:24] 971*2^1003314-1 is not prime. Res64: 11E6BCC8A5B34A06 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:47:25] 975*2^1003314-1 is not prime. Res64: 3D8E2F7A78782994 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:51:24] 983*2^1003314-1 is not prime. Res64: CAB2C78EDF066A71 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:51:24] 993*2^1003314-1 is not prime. Res64: 053DCF435D13F9A5 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:56:05] 693*2^1003307-1 is not prime. Res64: 4346A328E5BB28D5 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:56:05] 733*2^1003307-1 is not prime. Res64: 2022FBB0C46C0620 Time : 0.0 sec. user=mdettweiler [2012-01-30 19:58:19] 651*2^1003315-1 is not prime. Res64: E457D9A5987FB79E Time : 0.0 sec. user=mdettweiler [2012-01-30 19:58:19] 679*2^1003315-1 is not prime. Res64: C8689EE5CD7DA4C0 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:04:52] 973*2^1003315-1 is not prime. Res64: 7FF9F8F498DBFE2D Time : 0.0 sec. user=mdettweiler [2012-01-30 20:04:53] 609*2^1003316-1 is not prime. Res64: 3A4B68A74623AA54 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:07:10] 669*2^1003316-1 is not prime. Res64: 2BC1CF2D527DF2A2 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:07:10] 707*2^1003316-1 is not prime. Res64: 3A8CB7D6E4D82C33 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:11:06] 773*2^1003316-1 is not prime. Res64: 2988BA536C11E984 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:11:07] 777*2^1003316-1 is not prime. Res64: B2717C3AA11BBE8B Time : 0.0 sec. user=mdettweiler [2012-01-30 20:20:27] 945*2^1003316-1 is not prime. Res64: 7D1BFA2B7EAC5E0D Time : 0.0 sec. user=mdettweiler [2012-01-30 20:20:27] 607*2^1003317-1 is not prime. Res64: 392BAC11B984FBA0 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:24:48] 609*2^1003317-1 is not prime. Res64: 4A2FCC3CA8F40C99 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:24:49] 781*2^1003317-1 is not prime. Res64: 00C3EC1954882738 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:27:04] 871*2^1003317-1 is not prime. Res64: E554A09E28C49F53 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:27:04] 889*2^1003317-1 is not prime. Res64: 6D0F070F6B16B7EF Time : 0.0 sec. user=mdettweiler [2012-01-30 20:33:16] 997*2^1003317-1 is not prime. Res64: 16EB714C50FE7536 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:33:16] 605*2^1003318-1 is not prime. Res64: DF4A6EF62FECE528 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:40:25] 665*2^1003318-1 is not prime. Res64: 038D61A502157349 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:40:26] 671*2^1003318-1 is not prime. Res64: 6BC524892EC7D4DF Time : 0.0 sec. user=mdettweiler [2012-01-30 20:43:34] 947*2^1003312-1 is not prime. Res64: 0853B0526E285FB5 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:43:35] 975*2^1003312-1 is not prime. Res64: 3D29D89910E02034 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:44:59] 801*2^1003318-1 is not prime. Res64: 94933E328712AAC1 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:45:00] 827*2^1003318-1 is not prime. Res64: BD7C52874C60D7CB Time : 0.0 sec. user=mdettweiler [2012-01-30 20:49:36] 845*2^1003318-1 is not prime. Res64: 27D3A680AFA68194 Time : 0.0 sec. user=mdettweiler [2012-01-30 20:49:36] 915*2^1003318-1 is not prime. Res64: 526037AE1DB2483F Time : 0.0 sec. user=mdettweiler [2012-01-30 20:58:17] 941*2^1003318-1 is not prime. Res64: 95F3AC36832A36CC Time : 0.0 sec. user=mdettweiler [2012-01-30 20:58:17] 945*2^1003318-1 is not prime. Res64: 58955A2CA4836C09 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:00:50] 693*2^1003319-1 is not prime. Res64: 1160E64DA0C7444E Time : 0.0 sec. user=mdettweiler [2012-01-30 21:00:53] 721*2^1003319-1 is not prime. Res64: 98089383ECFA6B88 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:02:32] 853*2^1003315-1 is not prime. Res64: A52530240704781F Time : 0.0 sec. user=mdettweiler [2012-01-30 21:02:33] 895*2^1003315-1 is not prime. Res64: 965A87888DC2BF3E Time : 0.0 sec. user=mdettweiler [2012-01-30 21:09:37] 969*2^1003319-1 is not prime. Res64: 561FFEBAD544DB4B Time : 0.0 sec. user=mdettweiler [2012-01-30 21:09:38] 979*2^1003319-1 is not prime. Res64: 4892F86083D8C7A1 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:09:39] 695*2^1003320-1 is not prime. Res64: CF0DE4ADF29DED60 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:09:40] 767*2^1003320-1 is not prime. Res64: 07DF702328C9E4CB Time : 0.0 sec. user=mdettweiler [2012-01-30 21:16:47] 873*2^1003316-1 is not prime. Res64: 0580F5FDA95CAF33 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:16:47] 893*2^1003316-1 is not prime. Res64: 14EEE408523625D1 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:20:24] 773*2^1003320-1 is not prime. Res64: 889DD52E02B8C852 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:20:24] 959*2^1003320-1 is not prime. Res64: 17702147311D6E8D Time : 0.0 sec. user=mdettweiler [2012-01-30 21:20:52] 687*2^1003321-1 is not prime. Res64: E1382BC7629B3166 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:20:52] 747*2^1003321-1 is not prime. Res64: 115EF2CB946CC8FB Time : 0.0 sec. user=mdettweiler [2012-01-30 21:29:23] 895*2^1003321-1 is not prime. Res64: A5BC3FAB5117B778 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:29:24] 713*2^1003322-1 is not prime. Res64: 3AD49789BC241035 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:31:45] 887*2^1003322-1 is not prime. Res64: 073247F95AAB2164 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:31:46] 963*2^1003322-1 is not prime. Res64: 4B8100A478ECC246 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:40:36] 665*2^1003324-1 is not prime. Res64: ECB4B80CE028C10D Time : 0.0 sec. user=mdettweiler [2012-01-30 21:40:36] 719*2^1003324-1 is not prime. Res64: E5A62C848E7B0A98 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:42:27] 969*2^1003323-1 is not prime. Res64: AA6D4C33E1A234C6 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:42:27] 623*2^1003324-1 is not prime. Res64: 97DADAA850F46DDB Time : 0.0 sec. user=mdettweiler [2012-01-30 21:49:09] 863*2^1003324-1 is not prime. Res64: C5974725159C4858 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:49:09] 875*2^1003324-1 is not prime. Res64: 607A240B2340E948 Time : 0.0 sec. user=mdettweiler [2012-01-30 21:51:29] 897*2^1003324-1 is not prime. Res64: 41F892F01443F26C Time : 0.0 sec. user=mdettweiler [2012-01-30 21:51:30] 715*2^1003325-1 is not prime. Res64: 8FD439253A372D27 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:00:29] 861*2^1003325-1 is not prime. Res64: 97C9DC19BA7890D4 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:00:32] 871*2^1003325-1 is not prime. Res64: B7C4FF97168F7C6D Time : 0.0 sec. user=mdettweiler [2012-01-30 22:06:45] 949*2^1003325-1 is not prime. Res64: ABFD14BC04B5E4BF Time : 0.0 sec. user=mdettweiler [2012-01-30 22:06:47] 981*2^1003325-1 is not prime. Res64: 175384593AEB3B6E Time : 0.0 sec. user=mdettweiler [2012-01-30 22:08:56] 671*2^1003326-1 is not prime. Res64: 38DF299A71926C3F Time : 0.0 sec. user=mdettweiler [2012-01-30 22:08:58] 861*2^1003326-1 is not prime. Res64: 48E7CAB75B9CDDE1 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:11:16] 887*2^1003326-1 is not prime. Res64: 94484742802A9067 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:11:19] 891*2^1003326-1 is not prime. Res64: 6EF1D4A537A53A2F Time : 0.0 sec. user=mdettweiler [2012-01-30 22:13:59] 775*2^1003319-1 is not prime. Res64: 1FAE73A6C46F2822 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:14:00] 955*2^1003319-1 is not prime. Res64: 0384FB331CBC255A Time : 0.0 sec. user=mdettweiler [2012-01-30 22:24:59] 777*2^1003321-1 is not prime. Res64: C4F5E9E81ACD735C Time : 0.0 sec. user=mdettweiler [2012-01-30 22:24:59] 877*2^1003321-1 is not prime. Res64: 78EA6B98565DCA75 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:25:06] 917*2^1003326-1 is not prime. Res64: 0AD1E2441E98B15A Time : 0.0 sec. user=mdettweiler [2012-01-30 22:25:07] 975*2^1003326-1 is not prime. Res64: 1316496EF543AB75 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:26:40] 705*2^1003327-1 is not prime. Res64: 803E3010F634C263 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:26:41] 861*2^1003327-1 is not prime. Res64: 9BC2ECF824BF0604 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:33:24] 919*2^1003327-1 is not prime. Res64: 371030BB11CF5EF1 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:33:25] 961*2^1003327-1 is not prime. Res64: 17AB0F20F7AC17E0 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:33:29] 999*2^1003327-1 is not prime. Res64: 96710277204A13EB Time : 0.0 sec. user=mdettweiler [2012-01-30 22:33:29] 603*2^1003328-1 is not prime. Res64: 819A0A82D6C7D9B4 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:39:50] 775*2^1003323-1 is not prime. Res64: 03C596351AE49866 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:39:50] 861*2^1003323-1 is not prime. Res64: 1A952B1ECE54A003 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:46:25] 769*2^1003329-1 is not prime. Res64: 675C11A1395CC1A2 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:46:25] 795*2^1003329-1 is not prime. Res64: D97AA569D64E0C77 Time : 0.0 sec. user=mdettweiler [2012-01-30 22:49:23] 927*2^1003328-1 is not prime. Res64: 1EA305007BCA4EBE Time : 0.0 sec. user=mdettweiler [2012-01-30 22:49:23] 957*2^1003328-1 is not prime. Res64: DAF543B7DB29BFDE Time : 0.0 sec. user=mdettweiler [2012-01-30 22:53:17] 647*2^1003330-1 is not prime. Res64: E057CFA975E4ED7A Time : 0.0 sec. user=mdettweiler [2012-01-30 22:53:18] 657*2^1003330-1 is not prime. Res64: 35EE610918562FDA Time : 0.0 sec. user=mdettweiler [2012-01-30 22:55:33] 889*2^1003329-1 is not prime. Res64: AF1C23E00631808D Time : 0.0 sec. user=mdettweiler [2012-01-30 22:55:34] 955*2^1003329-1 is not prime. Res64: 1512BD667F01489A Time : 0.0 sec. user=mdettweiler [2012-01-30 23:08:38] 827*2^1003330-1 is not prime. Res64: 40753AE78302CF55 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:08:40] 981*2^1003330-1 is not prime. Res64: 77F9E1E0542B6982 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:11:27] 1001*2^1003330-1 is not prime. Res64: 55470B8ECF33C182 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:11:28] 631*2^1003331-1 is not prime. Res64: 0ECD2A1B435FA778 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:15:20] 901*2^1003331-1 is not prime. Res64: B82190C8F5657D7D Time : 0.0 sec. user=mdettweiler [2012-01-30 23:15:20] 629*2^1003332-1 is not prime. Res64: 2F8670C8A76ECF6C Time : 0.0 sec. user=mdettweiler [2012-01-30 23:15:21] 725*2^1003332-1 is not prime. Res64: D163EBE94B97D54F Time : 0.0 sec. user=mdettweiler [2012-01-30 23:15:21] 921*2^1003331-1 is not prime. Res64: FCEC60A5B4C4F7D5 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:28:39] 765*2^1003332-1 is not prime. Res64: 56583F617F1AE299 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:28:39] 779*2^1003332-1 is not prime. Res64: 6D4562FB13532392 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:32:48] 635*2^1003328-1 is not prime. Res64: 4444BE0BD70C2F75 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:32:49] 689*2^1003328-1 is not prime. Res64: 9C04B5E66DB957E8 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:33:28] 873*2^1003332-1 is not prime. Res64: 64CEB2C80CBF5089 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:33:28] 933*2^1003332-1 is not prime. Res64: 537A4107CDD80A4B Time : 0.0 sec. user=mdettweiler [2012-01-30 23:35:09] 699*2^1003333-1 is not prime. Res64: 9B6327E1495BD408 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:35:09] 855*2^1003333-1 is not prime. Res64: C7C4029BF17653B1 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:37:17] 983*2^1003332-1 is not prime. Res64: C0E933B9F61B6D2B Time : 0.0 sec. user=mdettweiler [2012-01-30 23:37:18] 687*2^1003333-1 is not prime. Res64: C4D0B4629D139934 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:42:37] 755*2^1003328-1 is not prime. Res64: 972FCA26F1141758 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:42:37] 869*2^1003328-1 is not prime. Res64: 273D736DAE38E94A Time : 0.0 sec. user=mdettweiler [2012-01-30 23:48:25] 877*2^1003333-1 is not prime. Res64: 088286D465E7D35E Time : 0.0 sec. user=mdettweiler [2012-01-30 23:48:26] 897*2^1003333-1 is not prime. Res64: 2EB8B2D07A712D93 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:53:09] 623*2^1003334-1 is not prime. Res64: C5407504D95D366B Time : 0.0 sec. user=mdettweiler [2012-01-30 23:53:10] 645*2^1003334-1 is not prime. Res64: 2D4899A548AA82B8 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:54:56] 731*2^1003334-1 is not prime. Res64: C36A8401259F135D Time : 0.0 sec. user=mdettweiler [2012-01-30 23:54:56] 785*2^1003334-1 is not prime. Res64: 8AC7A5A7BC66F66A Time : 0.0 sec. user=mdettweiler [2012-01-30 23:56:41] 681*2^1003330-1 is not prime. Res64: AB1ED26BBACB422C Time : 0.0 sec. user=mdettweiler [2012-01-30 23:56:41] 723*2^1003330-1 is not prime. Res64: 2A94F3E2AC68A105 Time : 0.0 sec. user=mdettweiler [2012-01-30 23:56:58] 827*2^1003334-1 is not prime. Res64: F3457F078F9B0FBC Time : 0.0 sec. user=mdettweiler [2012-01-30 23:56:59] 851*2^1003334-1 is not prime. Res64: FF07272CDE036052 Time : 0.0 sec.