user=mdettweiler [2013-03-30 00:01:45] 625*2^1243569-1 is not prime. Res64: C30C5B56B9012DD2 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:01:45] 627*2^1243569-1 is not prime. Res64: E24C4C956BAA692D Time : 0.0 sec. user=mdettweiler [2013-03-30 00:06:37] 781*2^1243569-1 is not prime. Res64: 95C2D376C5982C20 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:06:38] 811*2^1243569-1 is not prime. Res64: CBFFD1CAFD2A211C Time : 0.0 sec. user=vaughan [2013-03-30 00:15:00] 659*2^1243568-1 is not prime. Res64: D2874C6ED9835246 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:19:12] 955*2^1243569-1 is not prime. Res64: 78738F3F837D548B Time : 0.0 sec. user=mdettweiler [2013-03-30 00:19:13] 651*2^1243570-1 is not prime. Res64: 583683F9763FE5D8 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:24:05] 731*2^1243570-1 is not prime. Res64: FF75E5FFBBA19576 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:24:06] 843*2^1243570-1 is not prime. Res64: DA7A32392C54437B Time : 0.0 sec. user=mdettweiler [2013-03-30 00:36:38] 923*2^1243570-1 is not prime. Res64: 487311BF44FE17B7 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:36:38] 945*2^1243570-1 is not prime. Res64: 44B8FAEF5BE2A6E0 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:41:32] 609*2^1243571-1 is not prime. Res64: 7990F50B25BC83CD Time : 0.0 sec. user=mdettweiler [2013-03-30 00:41:33] 631*2^1243571-1 is not prime. Res64: F61EE01B32D7C2DA Time : 0.0 sec. user=vaughan [2013-03-30 00:53:16] 873*2^1243570-1 is not prime. Res64: 512DBBD7E822DFDF Time : 0.0 sec. user=mdettweiler [2013-03-30 00:54:05] 705*2^1243571-1 is not prime. Res64: 75D0678C488E277F Time : 0.0 sec. user=mdettweiler [2013-03-30 00:54:06] 735*2^1243571-1 is not prime. Res64: BE4AE0F638A8D16D Time : 0.0 sec. user=mdettweiler [2013-03-30 00:58:58] 615*2^1243572-1 is not prime. Res64: 0661CBCFABAB0296 Time : 0.0 sec. user=mdettweiler [2013-03-30 00:58:58] 635*2^1243572-1 is not prime. Res64: A376378BA10F2DFC Time : 0.0 sec. user=mdettweiler [2013-03-30 01:11:31] 863*2^1243572-1 is not prime. Res64: EDE505969BC457EA Time : 0.0 sec. user=mdettweiler [2013-03-30 01:11:32] 867*2^1243572-1 is not prime. Res64: FCFD4F4AC78E210E Time : 0.0 sec. user=mdettweiler [2013-03-30 01:16:23] 899*2^1243572-1 is not prime. Res64: C2DDFBE74D9551C7 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:16:24] 929*2^1243572-1 is not prime. Res64: 5764C85A366C1167 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:29:04] 965*2^1243572-1 is not prime. Res64: EAA51A0147557089 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:29:05] 607*2^1243573-1 is not prime. Res64: 74E384214CDB20F2 Time : 0.0 sec. user=vaughan [2013-03-30 01:31:32] 857*2^1243572-1 is not prime. Res64: 42F19093E69C8F34 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:33:50] 715*2^1243573-1 is not prime. Res64: 1391FA4CA81E04F7 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:33:50] 805*2^1243573-1 is not prime. Res64: 958FDF0CEDB5DD09 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:46:32] 855*2^1243573-1 is not prime. Res64: 826FC5A049B87EEE Time : 0.0 sec. user=mdettweiler [2013-03-30 01:46:33] 897*2^1243573-1 is not prime. Res64: 8F4C0364C742F512 Time : 0.0 sec. user=juhehe [2013-03-30 01:51:05] 979*2^1243571-1 is not prime. Res64: 1C20B3870C601266 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:51:19] 961*2^1243573-1 is not prime. Res64: 93A7C45C6FDCE958 Time : 0.0 sec. user=mdettweiler [2013-03-30 01:51:20] 999*2^1243573-1 is not prime. Res64: 1EDA441179192ADC Time : 0.0 sec. user=juhehe [2013-03-30 01:58:24] 669*2^1243572-1 is not prime. Res64: C833068E9501CEB1 Time : 0.0 sec. user=mdettweiler [2013-03-30 02:03:59] 885*2^1243574-1 is not prime. Res64: F4A0A89825FC8084 Time : 0.0 sec. user=mdettweiler [2013-03-30 02:04:01] 935*2^1243574-1 is not prime. Res64: 9C0E2993EB674B52 Time : 0.0 sec. user=mdettweiler [2013-03-30 02:08:45] 945*2^1243574-1 is not prime. Res64: 947961DCFA74059A Time : 0.0 sec. user=mdettweiler [2013-03-30 02:08:46] 651*2^1243575-1 is not prime. Res64: 969352C6895FACE8 Time : 0.0 sec. user=vaughan [2013-03-30 02:09:46] 919*2^1243573-1 is not prime. Res64: E27ED3CC8820989A Time : 0.0 sec. user=mdettweiler [2013-03-30 02:21:38] 685*2^1243575-1 is not prime. Res64: AC91D15B106C29AE Time : 0.0 sec. user=mdettweiler [2013-03-30 02:21:39] 763*2^1243575-1 is not prime. Res64: 6F4BF01A8BF50BAA Time : 0.0 sec. user=mdettweiler [2013-03-30 02:26:12] 951*2^1243575-1 is not prime. Res64: D12738F7E647F35C Time : 0.0 sec. user=mdettweiler [2013-03-30 02:26:12] 963*2^1243575-1 is not prime. Res64: 68F9FD25B1B15B30 Time : 0.0 sec. user=mdettweiler [2013-03-30 02:39:07] 623*2^1243576-1 is not prime. Res64: ABDDD73B66835B23 Time : 0.0 sec. user=mdettweiler [2013-03-30 02:39:09] 645*2^1243576-1 is not prime. Res64: BAC6F580391D81FA Time : 0.0 sec. user=mdettweiler [2013-03-30 02:43:38] 719*2^1243576-1 is not prime. Res64: A4C835B39CADF0EB Time : 0.0 sec. user=mdettweiler [2013-03-30 02:43:39] 777*2^1243576-1 is not prime. Res64: 7BCF20678E173123 Time : 0.0 sec. user=vaughan [2013-03-30 02:53:06] 999*2^1243575-1 is not prime. Res64: 2848EE7C43BB04AB Time : 0.0 sec. user=mdettweiler [2013-03-30 02:56:56] 785*2^1243576-1 is not prime. Res64: F50B3FA06CEAD27B Time : 0.0 sec. user=mdettweiler [2013-03-30 02:56:57] 839*2^1243576-1 is not prime. Res64: 4FF95F7A3AA72C68 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:01:07] 843*2^1243576-1 is not prime. Res64: 7FC880485B667100 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:01:08] 691*2^1243577-1 is not prime. Res64: 97514AD33288C6F8 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:14:26] 939*2^1243577-1 is not prime. Res64: 02DBBC19C6BCD2E9 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:14:27] 957*2^1243577-1 is not prime. Res64: BD57DB308DD912F3 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:18:34] 707*2^1243578-1 is not prime. Res64: 3600857CB4D5A94D Time : 0.0 sec. user=mdettweiler [2013-03-30 03:18:34] 713*2^1243578-1 is not prime. Res64: 426846677F4D67DD Time : 0.0 sec. user=vaughan [2013-03-30 03:31:22] 759*2^1243577-1 is not prime. Res64: BC922E5DE33ABF1F Time : 0.0 sec. user=mdettweiler [2013-03-30 03:32:09] 801*2^1243578-1 is not prime. Res64: 45172E36ED6FE798 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:32:10] 815*2^1243578-1 is not prime. Res64: 91F1939391FFA8C0 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:36:01] 923*2^1243578-1 is not prime. Res64: 90B020BF6B145DFD Time : 0.0 sec. user=mdettweiler [2013-03-30 03:36:02] 615*2^1243579-1 is not prime. Res64: AA647C20348D7F1C Time : 0.0 sec. user=mdettweiler [2013-03-30 03:49:36] 885*2^1243579-1 is not prime. Res64: 07E1780D05D2644C Time : 0.0 sec. user=mdettweiler [2013-03-30 03:49:37] 999*2^1243579-1 is not prime. Res64: 2B2D988DBCD20064 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:53:40] 635*2^1243580-1 is not prime. Res64: 1A3CD4C355BAFFB0 Time : 0.0 sec. user=mdettweiler [2013-03-30 03:53:40] 663*2^1243580-1 is not prime. Res64: EEB125FDBB374275 Time : 0.0 sec. user=juhehe [2013-03-30 03:58:38] 829*2^1243577-1 is not prime. Res64: 37512EFB3080E9B7 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:07:02] 725*2^1243580-1 is not prime. Res64: 42353301F7B2D744 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:07:03] 827*2^1243580-1 is not prime. Res64: B695D8FE09FE0C60 Time : 0.0 sec. user=vaughan [2013-03-30 04:09:43] 709*2^1243579-1 is not prime. Res64: C82C998141372840 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:11:06] 855*2^1243580-1 is not prime. Res64: CCE909E37D18FCE0 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:11:07] 963*2^1243580-1 is not prime. Res64: E7F4D91BD11454B2 Time : 0.0 sec. user=juhehe [2013-03-30 04:12:17] 967*2^1243577-1 is not prime. Res64: AD02925BDB75E98B Time : 0.0 sec. user=mdettweiler [2013-03-30 04:24:34] 983*2^1243580-1 is not prime. Res64: 052396BAD9B62D96 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:24:34] 609*2^1243581-1 is not prime. Res64: CEA4749A46083886 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:28:33] 777*2^1243581-1 is not prime. Res64: 4EB967F72424468A Time : 0.0 sec. user=mdettweiler [2013-03-30 04:28:34] 781*2^1243581-1 is not prime. Res64: 5CC9E1E6B93A0D0C Time : 0.0 sec. user=mdettweiler [2013-03-30 04:42:02] 837*2^1243581-1 is not prime. Res64: 4AEE9739A9BAE8EA Time : 0.0 sec. user=mdettweiler [2013-03-30 04:42:02] 847*2^1243581-1 is not prime. Res64: 80506C73D0FAAA9A Time : 0.0 sec. user=mdettweiler [2013-03-30 04:46:01] 849*2^1243581-1 is not prime. Res64: 13C010D6A951F124 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:46:01] 861*2^1243581-1 is not prime. Res64: 9C61D9DD023A190A Time : 0.0 sec. user=vaughan [2013-03-30 04:48:00] 741*2^1243581-1 is not prime. Res64: 6982F6BE19B5EDC2 Time : 0.0 sec. user=mdettweiler [2013-03-30 04:59:31] 921*2^1243581-1 is not prime. Res64: C83316EF7B62D46C Time : 0.0 sec. user=mdettweiler [2013-03-30 04:59:31] 949*2^1243581-1 is not prime. Res64: FF8CD0805930655E Time : 0.0 sec. user=mdettweiler [2013-03-30 05:13:50] 651*2^1243582-1 is not prime. Res64: 3068A9F7DB239184 Time : 0.0 sec. user=mdettweiler [2013-03-30 05:13:50] 657*2^1243582-1 is not prime. Res64: 71693105C1E3C0E1 Time : 0.0 sec. user=mdettweiler [2013-03-30 05:16:56] 747*2^1243582-1 is not prime. Res64: 577F03F4D227F57D Time : 0.0 sec. user=mdettweiler [2013-03-30 05:16:56] 735*2^1243583-1 is not prime. Res64: 35F4E51CB7348F3F Time : 0.0 sec. user=vaughan [2013-03-30 05:26:14] 665*2^1243582-1 is not prime. Res64: 63371DDCB7FC4834 Time : 0.0 sec. user=mdettweiler [2013-03-30 05:31:18] 949*2^1243583-1 is not prime. Res64: C2F6D2C75CDF66EA Time : 0.0 sec. user=mdettweiler [2013-03-30 05:31:18] 627*2^1243584-1 is not prime. Res64: 4FF622B110604ACB Time : 0.0 sec. user=mdettweiler [2013-03-30 05:34:23] 737*2^1243584-1 is not prime. Res64: 4DD4D0652E28131F Time : 0.0 sec. user=mdettweiler [2013-03-30 05:34:23] 767*2^1243584-1 is not prime. Res64: 3074645CEE927CDC Time : 0.0 sec. user=mdettweiler [2013-03-30 05:48:44] 929*2^1243584-1 is not prime. Res64: 3A431C6D5044A3EB Time : 0.0 sec. user=mdettweiler [2013-03-30 05:48:44] 607*2^1243585-1 is not prime. Res64: 996D8C54A654BFA2 Time : 0.0 sec. user=mdettweiler [2013-03-30 05:51:49] 729*2^1243585-1 is not prime. Res64: B17FFE08D370A463 Time : 0.0 sec. user=mdettweiler [2013-03-30 05:51:50] 801*2^1243585-1 is not prime. Res64: F9E9C27889D3E657 Time : 0.0 sec. user=vaughan [2013-03-30 06:04:31] 843*2^1243584-1 is not prime. Res64: 91C50D7306271906 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:06:10] 819*2^1243585-1 is not prime. Res64: 87A05DAFDC7835C8 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:06:11] 841*2^1243585-1 is not prime. Res64: E381C2C40037B3D5 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:09:15] 975*2^1243585-1 is not prime. Res64: A86B14E66725568C Time : 0.0 sec. user=mdettweiler [2013-03-30 06:09:16] 999*2^1243585-1 is not prime. Res64: 283D4EC2EB825821 Time : 0.0 sec. user=juhehe [2013-03-30 06:18:50] 683*2^1243584-1 is not prime. Res64: DD86D02A760E1B11 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:23:37] 867*2^1243586-1 is not prime. Res64: A79D8EC717ECB83E Time : 0.0 sec. user=mdettweiler [2013-03-30 06:23:38] 873*2^1243586-1 is not prime. Res64: A20EE43B0CBC2D9F Time : 0.0 sec. user=mdettweiler [2013-03-30 06:26:41] 911*2^1243586-1 is not prime. Res64: 625C04089C41000A Time : 0.0 sec. user=mdettweiler [2013-03-30 06:26:41] 615*2^1243587-1 is not prime. Res64: DDE95038BE071727 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:41:04] 711*2^1243587-1 is not prime. Res64: EBFB17E170B91F65 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:41:04] 825*2^1243587-1 is not prime. Res64: 9FD221B096750CB8 Time : 0.0 sec. user=vaughan [2013-03-30 06:42:49] 861*2^1243586-1 is not prime. Res64: BA3CC43FF98C784B Time : 0.0 sec. user=mdettweiler [2013-03-30 06:44:06] 879*2^1243587-1 is not prime. Res64: C6A8BC5F71E71B79 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:44:06] 901*2^1243587-1 is not prime. Res64: F3F9932D37D3C783 Time : 0.0 sec. user=mdettweiler [2013-03-30 06:58:29] 909*2^1243587-1 is not prime. Res64: B61088C463BD6BFE Time : 0.0 sec. user=mdettweiler [2013-03-30 06:58:29] 951*2^1243587-1 is not prime. Res64: 7510961B10423F71 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:01:32] 797*2^1243588-1 is not prime. Res64: DF170E57046667FF Time : 0.0 sec. user=mdettweiler [2013-03-30 07:01:33] 845*2^1243588-1 is not prime. Res64: D6FB04522E227C19 Time : 0.0 sec. user=juhehe [2013-03-30 07:08:15] 827*2^1243586-1 is not prime. Res64: 6CC96CFE6E848418 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:15:55] 909*2^1243588-1 is not prime. Res64: 9B8EE08F286CEE14 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:15:56] 929*2^1243588-1 is not prime. Res64: 820C8D3A851BD442 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:18:59] 987*2^1243588-1 is not prime. Res64: 21B5482DDCA88378 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:18:59] 993*2^1243588-1 is not prime. Res64: 1010F5E9BD56235F Time : 0.0 sec. user=vaughan [2013-03-30 07:21:05] 665*2^1243588-1 is not prime. Res64: C39AC04D094B1370 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:33:36] 999*2^1243588-1 is not prime. Res64: A590253917752802 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:33:37] 627*2^1243589-1 is not prime. Res64: 1CA9867C47C90D0E Time : 0.0 sec. user=mdettweiler [2013-03-30 07:36:25] 697*2^1243589-1 is not prime. Res64: 970AD9DEA389A7CA Time : 0.0 sec. user=mdettweiler [2013-03-30 07:36:26] 781*2^1243589-1 is not prime. Res64: C2A5F41C42CA78F6 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:51:03] 647*2^1243590-1 is not prime. Res64: C65E514576D3BC74 Time : 0.0 sec. user=mdettweiler [2013-03-30 07:51:03] 725*2^1243590-1 is not prime. Res64: BF42E9A205A20BBE Time : 0.0 sec. user=mdettweiler [2013-03-30 07:53:51] 783*2^1243590-1 is not prime. Res64: 4DAB996C9FCA2E7C Time : 0.0 sec. user=mdettweiler [2013-03-30 07:53:52] 891*2^1243590-1 is not prime. Res64: 9680015F64BE8E03 Time : 0.0 sec. user=vaughan [2013-03-30 07:59:20] 925*2^1243589-1 is not prime. Res64: 86034A7CD6D98AC9 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:08:28] 951*2^1243590-1 is not prime. Res64: B09C8D908C75078D Time : 0.0 sec. user=mdettweiler [2013-03-30 08:08:29] 971*2^1243590-1 is not prime. Res64: 6B69EFCD90355809 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:11:18] 693*2^1243591-1 is not prime. Res64: C40769CCDC961AF9 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:11:18] 703*2^1243591-1 is not prime. Res64: 34727A1018485497 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:25:54] 871*2^1243591-1 is not prime. Res64: F37A416BE8415CF2 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:25:55] 961*2^1243591-1 is not prime. Res64: 1B71E43E3BF002C6 Time : 0.0 sec. user=juhehe [2013-03-30 08:26:29] 865*2^1243589-1 is not prime. Res64: D87A5BF437043EB7 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:28:44] 979*2^1243591-1 is not prime. Res64: 594405149FB62083 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:28:45] 615*2^1243592-1 is not prime. Res64: 3716F96DBC3BED59 Time : 0.0 sec. user=vaughan [2013-03-30 08:37:38] 805*2^1243591-1 is not prime. Res64: 93D3618B2E257ABF Time : 0.0 sec. user=mdettweiler [2013-03-30 08:43:19] 675*2^1243592-1 is not prime. Res64: 8D9ADA3771359586 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:43:19] 837*2^1243592-1 is not prime. Res64: 889459E6CEE50876 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:46:11] 875*2^1243592-1 is not prime. Res64: 4B71ABD43D013A77 Time : 0.0 sec. user=mdettweiler [2013-03-30 08:46:11] 903*2^1243592-1 is not prime. Res64: BE6A0CF83DD25B90 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:00:45] 945*2^1243592-1 is not prime. Res64: 83FDEFEF3EDC42BB Time : 0.0 sec. user=mdettweiler [2013-03-30 09:00:46] 637*2^1243593-1 is not prime. Res64: 0B775C61E564D7AE Time : 0.0 sec. user=mdettweiler [2013-03-30 09:03:37] 657*2^1243593-1 is not prime. Res64: 4DC18901B046D3C3 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:03:39] 727*2^1243593-1 is not prime. Res64: E989C283FB092D52 Time : 0.0 sec. user=vaughan [2013-03-30 09:15:56] 915*2^1243592-1 is not prime. Res64: CE70D69C9BA7BF09 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:18:33] 805*2^1243593-1 is not prime. Res64: 6BD610DABB2D33EF Time : 0.0 sec. user=mdettweiler [2013-03-30 09:18:34] 867*2^1243593-1 is not prime. Res64: A62F71B75C9E9B7B Time : 0.0 sec. user=mdettweiler [2013-03-30 09:21:18] 937*2^1243593-1 is not prime. Res64: 4F72ACAA1D2AF74D Time : 0.0 sec. user=mdettweiler [2013-03-30 09:21:18] 985*2^1243593-1 is not prime. Res64: 6865FA5BAF545047 Time : 0.0 sec. user=juhehe [2013-03-30 09:22:17] 975*2^1243591-1 is not prime. Res64: 995E4C767874AEFE Time : 0.0 sec. user=mdettweiler [2013-03-30 09:35:58] 675*2^1243594-1 is not prime. Res64: 59482C53FE7821AE Time : 0.0 sec. user=mdettweiler [2013-03-30 09:35:59] 813*2^1243594-1 is not prime. Res64: 34C9FC94BF423919 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:38:43] 951*2^1243594-1 is not prime. Res64: C3E8ED8AB69472D0 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:38:44] 975*2^1243594-1 is not prime. Res64: 48ECC3A649400126 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:53:25] 705*2^1243595-1 is not prime. Res64: 345F5654CE89808C Time : 0.0 sec. user=mdettweiler [2013-03-30 09:53:25] 825*2^1243595-1 is not prime. Res64: 597F49EEC6CEB5E5 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:56:09] 981*2^1243595-1 is not prime. Res64: 3E3E5A49979673A5 Time : 0.0 sec. user=mdettweiler [2013-03-30 09:56:09] 777*2^1243596-1 is not prime. Res64: 3990A37DD039C1EC Time : 0.0 sec. user=vaughan [2013-03-30 09:59:22] 999*2^1243593-1 is not prime. Res64: 4510C7C40B3AAF28 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:10:52] 845*2^1243596-1 is not prime. Res64: 9C551CF377EBBDF1 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:10:54] 875*2^1243596-1 is not prime. Res64: 4B17C06CAC6FBF75 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:13:34] 947*2^1243596-1 is not prime. Res64: EBD04BC78E9505B0 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:13:35] 993*2^1243596-1 is not prime. Res64: 820EDB6C6053FB53 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:28:26] 675*2^1243597-1 is not prime. Res64: B86FCA8449B65D16 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:28:27] 751*2^1243597-1 is not prime. Res64: 4EBBB1BFF441770D Time : 0.0 sec. user=mdettweiler [2013-03-30 10:31:00] 769*2^1243597-1 is not prime. Res64: 9492CCB0960159EC Time : 0.0 sec. user=mdettweiler [2013-03-30 10:31:00] 825*2^1243597-1 is not prime. Res64: 8B094DF41BA2FC3D Time : 0.0 sec. user=vaughan [2013-03-30 10:37:38] 661*2^1243597-1 is not prime. Res64: F92FB34BA5A38B47 Time : 0.0 sec. user=juhehe [2013-03-30 10:40:29] 987*2^1243594-1 is not prime. Res64: 50427991962A1BBA Time : 0.0 sec. user=mdettweiler [2013-03-30 10:45:55] 859*2^1243597-1 is not prime. Res64: 1E06A7F99FD8FCBE Time : 0.0 sec. user=mdettweiler [2013-03-30 10:45:56] 867*2^1243597-1 is not prime. Res64: 9DF149B4AD680B40 Time : 0.0 sec. user=mdettweiler [2013-03-30 10:48:31] 871*2^1243597-1 is not prime. Res64: 57086FE023DB8BCB Time : 0.0 sec. user=mdettweiler [2013-03-30 10:48:31] 915*2^1243597-1 is not prime. Res64: 43636E0B494A0871 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:03:29] 713*2^1243598-1 is not prime. Res64: E611C5BA479313B4 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:03:30] 861*2^1243598-1 is not prime. Res64: 3DDFB5BBE4F0798B Time : 0.0 sec. user=mdettweiler [2013-03-30 11:06:00] 921*2^1243598-1 is not prime. Res64: 6EF53DA1F1453C7F Time : 0.0 sec. user=mdettweiler [2013-03-30 11:06:02] 923*2^1243598-1 is not prime. Res64: 78C3E42D6940E394 Time : 0.0 sec. user=vaughan [2013-03-30 11:20:59] 999*2^1243597-1 is not prime. Res64: 8EF219485262858F Time : 0.0 sec. user=mdettweiler [2013-03-30 11:21:29] 935*2^1243598-1 is not prime. Res64: 660B3CF16B30D20B Time : 0.0 sec. user=mdettweiler [2013-03-30 11:21:30] 945*2^1243598-1 is not prime. Res64: 4DD876F8C5C0EB74 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:23:41] 951*2^1243598-1 is not prime. Res64: 1730A512C5615C00 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:23:42] 919*2^1243599-1 is not prime. Res64: CF21AB555206A3DD Time : 0.0 sec. user=juhehe [2013-03-30 11:30:11] 847*2^1243597-1 is not prime. Res64: DB616D4D4F3F3C6F Time : 0.0 sec. user=mdettweiler [2013-03-30 11:39:12] 675*2^1243600-1 is not prime. Res64: 5832B5F61C959D1C Time : 0.0 sec. user=mdettweiler [2013-03-30 11:39:13] 713*2^1243600-1 is not prime. Res64: ADD6C62F030B6BFB Time : 0.0 sec. user=mdettweiler [2013-03-30 11:41:25] 765*2^1243600-1 is not prime. Res64: 74FE28A7FB34D8FE Time : 0.0 sec. user=mdettweiler [2013-03-30 11:41:25] 863*2^1243600-1 is not prime. Res64: CC3B53B3CAB2D0A0 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:56:57] 899*2^1243600-1 is not prime. Res64: 5579E9640715B3BB Time : 0.0 sec. user=mdettweiler [2013-03-30 11:56:57] 939*2^1243600-1 is not prime. Res64: 10C272D9DD5C7861 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:59:09] 965*2^1243600-1 is not prime. Res64: D68CCC54B3C243C4 Time : 0.0 sec. user=mdettweiler [2013-03-30 11:59:09] 675*2^1243601-1 is not prime. Res64: BFFBE99FF2BE84EC Time : 0.0 sec. user=vaughan [2013-03-30 11:59:15] 645*2^1243600-1 is not prime. Res64: 24FFAA94D9073D4E Time : 0.0 sec. user=mdettweiler [2013-03-30 12:14:42] 769*2^1243601-1 is not prime. Res64: CAF928CA978BE8DF Time : 0.0 sec. user=mdettweiler [2013-03-30 12:14:42] 837*2^1243601-1 is not prime. Res64: 1A115DC1298551AA Time : 0.0 sec. user=mdettweiler [2013-03-30 12:16:52] 885*2^1243601-1 is not prime. Res64: 066C251F1E603984 Time : 0.0 sec. user=mdettweiler [2013-03-30 12:16:53] 991*2^1243601-1 is not prime. Res64: 44F30A8CAA00D64D Time : 0.0 sec. user=mdettweiler [2013-03-30 12:32:32] 711*2^1243602-1 is not prime. Res64: EEA421579E7F5CCD Time : 0.0 sec. user=mdettweiler [2013-03-30 12:32:32] 741*2^1243602-1 is not prime. Res64: 4939BED3FE2B61A4 Time : 0.0 sec. user=mdettweiler [2013-03-30 12:34:38] 983*2^1243602-1 is not prime. Res64: 81D6B962A2EFDEA5 Time : 0.0 sec. user=mdettweiler [2013-03-30 12:34:39] 639*2^1243603-1 is not prime. Res64: 44DA9A2200672496 Time : 0.0 sec. user=vaughan [2013-03-30 12:37:32] 683*2^1243602-1 is not prime. Res64: FE61B42B4132A775 Time : 0.0 sec. user=mdettweiler [2013-03-30 12:50:16] 709*2^1243603-1 is not prime. Res64: F53570A477523A3E Time : 0.0 sec. user=mdettweiler [2013-03-30 12:50:16] 769*2^1243603-1 is not prime. Res64: 8EC0C74971F96B9E Time : 0.0 sec. user=mdettweiler [2013-03-30 12:52:23] 811*2^1243603-1 is not prime. Res64: 3BC3C45976EAAB51 Time : 0.0 sec. user=mdettweiler [2013-03-30 12:52:23] 829*2^1243603-1 is not prime. Res64: B20F855958FDCBC9 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:07:58] 659*2^1243604-1 is not prime. Res64: D80E4A81A75FFA88 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:07:59] 665*2^1243604-1 is not prime. Res64: E3A01FA8EDD12635 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:10:04] 813*2^1243604-1 is not prime. Res64: FD47618194306DEF Time : 0.0 sec. user=mdettweiler [2013-03-30 13:10:04] 875*2^1243604-1 is not prime. Res64: 9FC2E310AC89126F Time : 0.0 sec. user=vaughan [2013-03-30 13:15:45] 835*2^1243603-1 is not prime. Res64: 9CB37EF8ED5B4C0A Time : 0.0 sec. user=mdettweiler [2013-03-30 13:25:49] 909*2^1243604-1 is not prime. Res64: C4C1DE68073CD001 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:25:50] 923*2^1243604-1 is not prime. Res64: 0A79A6406BF7C7E2 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:27:50] 969*2^1243604-1 is not prime. Res64: 61F71144B629BEBD Time : 0.0 sec. user=mdettweiler [2013-03-30 13:27:50] 983*2^1243604-1 is not prime. Res64: 9858BD141089C7F1 Time : 0.0 sec. user=juhehe [2013-03-30 13:37:12] 705*2^1243603-1 is not prime. Res64: 323802E414EA17C6 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:43:51] 751*2^1243605-1 is not prime. Res64: B0BEE6858D246395 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:43:51] 787*2^1243605-1 is not prime. Res64: 2EE13F899C867894 Time : 0.0 sec. user=mdettweiler [2013-03-30 13:45:39] 825*2^1243605-1 is not prime. Res64: 0AADCB94909EE7EA Time : 0.0 sec. user=mdettweiler [2013-03-30 13:45:39] 653*2^1243606-1 is not prime. Res64: 49B19B3964D599B5 Time : 0.0 sec. user=vaughan [2013-03-30 13:54:00] 609*2^1243605-1 is not prime. Res64: DF81D95B02068F71 Time : 0.0 sec. user=juhehe [2013-03-30 13:56:33] 985*2^1243603-1 is not prime. Res64: 50C0474AE70A8CE3 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:01:41] 717*2^1243606-1 is not prime. Res64: 8711749CCE2BEB1E Time : 0.0 sec. user=mdettweiler [2013-03-30 14:01:42] 825*2^1243606-1 is not prime. Res64: 00C367B47E502485 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:03:31] 843*2^1243606-1 is not prime. Res64: 6502C346EB78F27F Time : 0.0 sec. user=mdettweiler [2013-03-30 14:03:32] 867*2^1243606-1 is not prime. Res64: F843403B774B534F Time : 0.0 sec. user=mdettweiler [2013-03-30 14:20:16] 983*2^1243606-1 is not prime. Res64: 889D5DC48C69DE0B Time : 0.0 sec. user=mdettweiler [2013-03-30 14:20:17] 615*2^1243607-1 is not prime. Res64: AC2ADE260F9F76A0 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:21:57] 645*2^1243607-1 is not prime. Res64: 01CA681DC6AA67A0 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:21:59] 655*2^1243607-1 is not prime. Res64: 172C6880A4F4A685 Time : 0.0 sec. user=vaughan [2013-03-30 14:32:18] 897*2^1243606-1 is not prime. Res64: 4B4FAEFA0A3037D4 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:38:11] 663*2^1243607-1 is not prime. Res64: 380849BF76F4385F Time : 0.0 sec. user=mdettweiler [2013-03-30 14:38:11] 675*2^1243607-1 is not prime. Res64: 64AE8442BBF415A3 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:39:49] 693*2^1243607-1 is not prime. Res64: 306991A687CA26D7 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:39:49] 759*2^1243607-1 is not prime. Res64: 240ED54D709A435B Time : 0.0 sec. user=mdettweiler [2013-03-30 14:56:43] 981*2^1243607-1 is not prime. Res64: 48E73FF1670F4264 Time : 0.0 sec. user=mdettweiler [2013-03-30 14:56:43] 639*2^1243608-1 is not prime. Res64: DE015450057622FF Time : 0.0 sec. user=mdettweiler [2013-03-30 14:58:20] 789*2^1243608-1 is not prime. Res64: DA4CB251E9D338DC Time : 0.0 sec. user=mdettweiler [2013-03-30 14:58:20] 893*2^1243608-1 is not prime. Res64: 4ED1ECBEC066B72F Time : 0.0 sec. user=vaughan [2013-03-30 15:10:35] 931*2^1243607-1 is not prime. Res64: 5E98C3F7ED98DD5E Time : 0.0 sec. user=mdettweiler [2013-03-30 15:18:15] 639*2^1243609-1 is not prime. Res64: A6FDE98BEAAE4A2E Time : 0.0 sec. user=mdettweiler [2013-03-30 15:18:15] 675*2^1243609-1 is not prime. Res64: 7EC7BF85352B52E6 Time : 0.0 sec. user=mdettweiler [2013-03-30 15:19:00] 681*2^1243609-1 is not prime. Res64: 6D59285433CD7CFA Time : 0.0 sec. user=mdettweiler [2013-03-30 15:19:01] 741*2^1243609-1 is not prime. Res64: 7622F05D17726ECE Time : 0.0 sec. user=mdettweiler [2013-03-30 15:35:44] 925*2^1243609-1 is not prime. Res64: 475E431E0EB44488 Time : 0.0 sec. user=mdettweiler [2013-03-30 15:35:44] 945*2^1243609-1 is not prime. Res64: 377C8BC8180F0FC6 Time : 0.0 sec. user=mdettweiler [2013-03-30 15:36:30] 955*2^1243609-1 is not prime. Res64: D0A5B7F1ECA69092 Time : 0.0 sec. user=mdettweiler [2013-03-30 15:36:31] 627*2^1243610-1 is not prime. Res64: 1709BFE6CC9E0DBF Time : 0.0 sec. user=juhehe [2013-03-30 15:44:05] 689*2^1243608-1 is not prime. Res64: F6237004B116441C Time : 0.0 sec. user=vaughan [2013-03-30 15:48:54] 789*2^1243609-1 is not prime. Res64: 4DCE0A0EA7CD86A0 Time : 0.0 sec. user=mdettweiler [2013-03-30 15:53:16] 635*2^1243610-1 is not prime. Res64: 475C6B87638F4DBF Time : 0.0 sec. user=mdettweiler [2013-03-30 15:53:17] 675*2^1243610-1 is not prime. Res64: B612466A9872150C Time : 0.0 sec. user=mdettweiler [2013-03-30 15:54:05] 851*2^1243610-1 is not prime. Res64: F5C828572E3348D9 Time : 0.0 sec. user=mdettweiler [2013-03-30 15:54:05] 867*2^1243610-1 is not prime. Res64: A3F7CF38CCF1D130 Time : 0.0 sec. user=juhehe [2013-03-30 16:03:06] 745*2^1243609-1 is not prime. Res64: A065AC46289BFF4D Time : 0.0 sec. user=mdettweiler [2013-03-30 16:11:02] 971*2^1243610-1 is not prime. Res64: 3B54DE7FDABDD9F6 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:11:04] 651*2^1243611-1 is not prime. Res64: 8214AAB38BC491AD Time : 0.0 sec. user=mdettweiler [2013-03-30 16:11:49] 703*2^1243611-1 is not prime. Res64: ECBDAC6903DDFA69 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:11:50] 769*2^1243611-1 is not prime. Res64: F1F28394CCCC41D1 Time : 0.0 sec. user=vaughan [2013-03-30 16:27:11] 893*2^1243610-1 is not prime. Res64: B271BFF2B5B062B6 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:29:01] 871*2^1243611-1 is not prime. Res64: CE74EB0AADE36FD0 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:29:01] 903*2^1243611-1 is not prime. Res64: 9ADB1501C600BEA9 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:29:52] 913*2^1243611-1 is not prime. Res64: F116ADC9848926B0 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:29:53] 657*2^1243612-1 is not prime. Res64: 209A661FD09EE052 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:46:57] 735*2^1243612-1 is not prime. Res64: 67A01D66639C1DD8 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:46:57] 785*2^1243612-1 is not prime. Res64: 999C4B67DDA4AEA3 Time : 0.0 sec. user=mdettweiler [2013-03-30 16:47:48] 843*2^1243612-1 is not prime. Res64: BBB02DD02D7C8BBC Time : 0.0 sec. user=mdettweiler [2013-03-30 16:47:48] 909*2^1243612-1 is not prime. Res64: E66DFA735652505A Time : 0.0 sec. user=mdettweiler [2013-03-30 17:04:51] 939*2^1243612-1 is not prime. Res64: 6DE3F9D0199704C5 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:04:52] 615*2^1243613-1 is not prime. Res64: A8EB6622738A62FC Time : 0.0 sec. user=vaughan [2013-03-30 17:05:26] 705*2^1243612-1 is not prime. Res64: FBB9DF896858B056 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:05:41] 715*2^1243613-1 is not prime. Res64: B1059F493921AB91 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:05:43] 781*2^1243613-1 is not prime. Res64: DD25303A0516C6B7 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:22:43] 861*2^1243613-1 is not prime. Res64: 33C2810BD5D5B060 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:22:44] 657*2^1243614-1 is not prime. Res64: 6D8CE7A240290A09 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:23:32] 861*2^1243614-1 is not prime. Res64: 9CC642644B7F8C25 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:23:33] 941*2^1243614-1 is not prime. Res64: C7C9DFC67FD9E05B Time : 0.0 sec. user=mdettweiler [2013-03-30 17:40:44] 609*2^1243615-1 is not prime. Res64: 5C42BCC14C05B1AE Time : 0.0 sec. user=mdettweiler [2013-03-30 17:40:44] 759*2^1243615-1 is not prime. Res64: 8CC636EAC8E814A8 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:41:30] 771*2^1243615-1 is not prime. Res64: 2A894D42DFD5514A Time : 0.0 sec. user=mdettweiler [2013-03-30 17:41:30] 783*2^1243615-1 is not prime. Res64: D9E5A9DDD14A43BE Time : 0.0 sec. user=vaughan [2013-03-30 17:43:43] 807*2^1243614-1 is not prime. Res64: 5D0F09200832F711 Time : 0.0 sec. user=juhehe [2013-03-30 17:51:33] 933*2^1243612-1 is not prime. Res64: 1B9214F12920704C Time : 0.0 sec. user=mdettweiler [2013-03-30 17:59:27] 933*2^1243615-1 is not prime. Res64: 94319DDBD0940893 Time : 0.0 sec. user=mdettweiler [2013-03-30 17:59:28] 657*2^1243616-1 is not prime. Res64: F685C86EE4AC1AE5 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:00:19] 669*2^1243616-1 is not prime. Res64: 525D49BC7FB3C167 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:00:21] 693*2^1243616-1 is not prime. Res64: E60016D5AB35DA59 Time : 0.0 sec. user=juhehe [2013-03-30 18:09:33] 705*2^1243614-1 is not prime. Res64: 6A5F8C36CBA9C76B Time : 0.0 sec. user=juhehe [2013-03-30 18:12:49] 891*2^1243615-1 is not prime. Res64: 96D9FE94C96D11A5 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:17:42] 815*2^1243616-1 is not prime. Res64: 2FBAD0AE094DE67A Time : 0.0 sec. user=mdettweiler [2013-03-30 18:17:42] 893*2^1243616-1 is not prime. Res64: CB940003536F1249 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:18:29] 903*2^1243616-1 is not prime. Res64: 069ECCFB281C6022 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:18:30] 917*2^1243616-1 is not prime. Res64: 4EFBA5BF2B9C7BF3 Time : 0.0 sec. user=vaughan [2013-03-30 18:21:58] 735*2^1243616-1 is not prime. Res64: EDFDCC198E3C3902 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:35:43] 601*2^1243617-1 is not prime. Res64: CA83FC52749371D5 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:35:43] 649*2^1243617-1 is not prime. Res64: 9A379AE4E9369D3E Time : 0.0 sec. user=mdettweiler [2013-03-30 18:36:29] 727*2^1243617-1 is not prime. Res64: 664B0FC7309510AE Time : 0.0 sec. user=mdettweiler [2013-03-30 18:36:30] 735*2^1243617-1 is not prime. Res64: 7A718B7378C05F42 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:53:07] 979*2^1243617-1 is not prime. Res64: 8E0F1A33208170EB Time : 0.0 sec. user=mdettweiler [2013-03-30 18:53:08] 985*2^1243617-1 is not prime. Res64: 4E84A22CDF4CA439 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:53:55] 867*2^1243618-1 is not prime. Res64: 86A2E0BBBCCBBEF7 Time : 0.0 sec. user=mdettweiler [2013-03-30 18:53:56] 1001*2^1243618-1 is not prime. Res64: 3E0C399E54E95797 Time : 0.0 sec. user=vaughan [2013-03-30 19:00:12] 795*2^1243617-1 is not prime. Res64: 12C538408969BC5F Time : 0.0 sec. user=mdettweiler [2013-03-30 19:10:32] 685*2^1243619-1 is not prime. Res64: C919D7908928CEFE Time : 0.0 sec. user=mdettweiler [2013-03-30 19:10:33] 745*2^1243619-1 is not prime. Res64: 8F3E311A90113B8A Time : 0.0 sec. user=mdettweiler [2013-03-30 19:11:21] 717*2^1243620-1 is not prime. Res64: 6531C2468F88C008 Time : 0.0 sec. user=mdettweiler [2013-03-30 19:11:21] 737*2^1243620-1 is not prime. Res64: 5BC71592258A0C76 Time : 0.0 sec. user=mdettweiler [2013-03-30 19:27:58] 935*2^1243620-1 is not prime. Res64: A634C9459A0E9C5D Time : 0.0 sec. user=mdettweiler [2013-03-30 19:27:58] 691*2^1243621-1 is not prime. Res64: 29E75158835EC1D9 Time : 0.0 sec. user=mdettweiler [2013-03-30 19:28:46] 877*2^1243621-1 is not prime. Res64: 49A27B3441F2A315 Time : 0.0 sec. user=mdettweiler [2013-03-30 19:28:46] 945*2^1243621-1 is not prime. Res64: 87C76183D291D66E Time : 0.0 sec. user=vaughan [2013-03-30 19:38:32] 779*2^1243620-1 is not prime. Res64: 74D73B9C25CB835A Time : 0.0 sec. user=mdettweiler [2013-03-30 19:45:22] 603*2^1243622-1 is not prime. Res64: 36B7DA563961A9A7 Time : 0.0 sec. user=mdettweiler [2013-03-30 19:45:23] 615*2^1243622-1 is not prime. Res64: 6803559768762A5A Time : 0.0 sec. user=mdettweiler [2013-03-30 19:46:11] 903*2^1243622-1 is not prime. Res64: 05A3295D8D029E9C Time : 0.0 sec. user=mdettweiler [2013-03-30 19:46:11] 987*2^1243622-1 is not prime. Res64: 6FFEE1C28F51363C Time : 0.0 sec. user=juhehe [2013-03-30 19:58:58] 883*2^1243619-1 is not prime. Res64: 8AC7E11935A3EFF2 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:02:49] 739*2^1243623-1 is not prime. Res64: E24787C3D2EE4901 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:02:50] 751*2^1243623-1 is not prime. Res64: AD80B797480943B5 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:03:35] 831*2^1243623-1 is not prime. Res64: C5EBC6A6F2F9CD16 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:03:37] 849*2^1243623-1 is not prime. Res64: 2F7827E908BF7965 Time : 0.0 sec. user=vaughan [2013-03-30 20:16:47] 619*2^1243623-1 is not prime. Res64: E38705C066BA0F68 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:20:21] 879*2^1243623-1 is not prime. Res64: 7FD33041F606DC4E Time : 0.0 sec. user=mdettweiler [2013-03-30 20:20:21] 901*2^1243623-1 is not prime. Res64: F232EAC2B32C40BB Time : 0.0 sec. user=mdettweiler [2013-03-30 20:21:03] 919*2^1243623-1 is not prime. Res64: ACADA1EF41F17412 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:21:04] 945*2^1243623-1 is not prime. Res64: DEB769FF87774012 Time : 0.0 sec. user=juhehe [2013-03-30 20:24:54] 975*2^1243621-1 is not prime. Res64: CCCD5BF84AA5BF07 Time : 0.0 sec. user=juhehe [2013-03-30 20:32:50] 623*2^1243624-1 is not prime. Res64: AC5F7205A69388B8 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:37:47] 887*2^1243624-1 is not prime. Res64: 88C0731615DF3474 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:37:47] 729*2^1243625-1 is not prime. Res64: 19A318555C56F7EE Time : 0.0 sec. user=mdettweiler [2013-03-30 20:38:29] 775*2^1243625-1 is not prime. Res64: E791CD6287CC3AD2 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:38:29] 781*2^1243625-1 is not prime. Res64: 2FCF4C83ADB8E0D0 Time : 0.0 sec. user=vaughan [2013-03-30 20:55:05] 657*2^1243624-1 is not prime. Res64: 3952C7DDCAC1A1CA Time : 0.0 sec. user=mdettweiler [2013-03-30 20:55:13] 811*2^1243625-1 is not prime. Res64: A2EA67F06C58EDD4 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:55:13] 937*2^1243625-1 is not prime. Res64: EA7F17B9F320D8B9 Time : 0.0 sec. user=mdettweiler [2013-03-30 20:55:55] 949*2^1243625-1 is not prime. Res64: 48A59B5572F8D6CB Time : 0.0 sec. user=mdettweiler [2013-03-30 20:55:55] 705*2^1243626-1 is not prime. Res64: 085CEBD88F40346C Time : 0.0 sec. user=mdettweiler [2013-03-30 21:12:43] 747*2^1243626-1 is not prime. Res64: 1AE37CFC0E1A318E Time : 0.0 sec. user=mdettweiler [2013-03-30 21:12:44] 917*2^1243626-1 is not prime. Res64: CBB9B7603A3E2A5C Time : 0.0 sec. user=mdettweiler [2013-03-30 21:13:30] 609*2^1243627-1 is not prime. Res64: 078C87C4B880A0C9 Time : 0.0 sec. user=mdettweiler [2013-03-30 21:13:30] 625*2^1243627-1 is not prime. Res64: 00FF91A785B95010 Time : 0.0 sec. user=mdettweiler [2013-03-30 21:30:13] 843*2^1243627-1 is not prime. Res64: 1AD9201369F7B572 Time : 0.0 sec. user=mdettweiler [2013-03-30 21:30:14] 861*2^1243627-1 is not prime. Res64: B04EDF70E592C3E1 Time : 0.0 sec. user=mdettweiler [2013-03-30 21:30:55] 629*2^1243628-1 is not prime. Res64: 40BAD98F7FB19F9E Time : 0.0 sec. user=mdettweiler [2013-03-30 21:30:55] 657*2^1243628-1 is not prime. Res64: 93F62D4192295D3C Time : 0.0 sec. user=vaughan [2013-03-30 21:33:19] 707*2^1243626-1 is not prime. Res64: D9216ACBA08BFA68 Time : 0.0 sec. user=mdettweiler [2013-03-30 21:47:39] 773*2^1243628-1 is not prime. Res64: 20230241D693C68E Time : 0.0 sec. user=mdettweiler [2013-03-30 21:47:40] 833*2^1243628-1 is not prime. Res64: 94B5E48A8C1ED99A Time : 0.0 sec. user=mdettweiler [2013-03-30 21:48:20] 855*2^1243628-1 is not prime. Res64: 865E2BF0CE05D8FF Time : 0.0 sec. user=mdettweiler [2013-03-30 21:48:21] 867*2^1243628-1 is not prime. Res64: 8FDCFB5E2E00E65D Time : 0.0 sec. user=mdettweiler [2013-03-30 22:05:43] 655*2^1243629-1 is not prime. Res64: F2BAC2518EF3C9A9 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:05:44] 745*2^1243629-1 is not prime. Res64: 261A8FF17EFA118B Time : 0.0 sec. user=mdettweiler [2013-03-30 22:06:22] 837*2^1243629-1 is not prime. Res64: A7FC2C074A3CBE6F Time : 0.0 sec. user=mdettweiler [2013-03-30 22:06:23] 603*2^1243630-1 is not prime. Res64: 0B8D880796F68C3B Time : 0.0 sec. user=juhehe [2013-03-30 22:07:19] 733*2^1243627-1 is not prime. Res64: 5F5195BDDF56E36E Time : 0.0 sec. user=juhehe [2013-03-30 22:09:38] 963*2^1243628-1 is not prime. Res64: 40E935E83CF8A43A Time : 0.0 sec. user=vaughan [2013-03-30 22:11:35] 923*2^1243628-1 is not prime. Res64: 5CF2A127215B84A6 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:24:51] 605*2^1243630-1 is not prime. Res64: 30BD89F963AE269B Time : 0.0 sec. user=mdettweiler [2013-03-30 22:24:52] 635*2^1243630-1 is not prime. Res64: 2ECEFFC0C470536E Time : 0.0 sec. user=mdettweiler [2013-03-30 22:25:32] 663*2^1243630-1 is not prime. Res64: 3FBD0267EC1356F9 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:25:33] 827*2^1243630-1 is not prime. Res64: 23DFED01D034B38C Time : 0.0 sec. user=juhehe [2013-03-30 22:31:54] 759*2^1243628-1 is not prime. Res64: 25507470E1064FE5 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:42:36] 951*2^1243630-1 is not prime. Res64: 3081C527B7930B26 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:42:36] 957*2^1243630-1 is not prime. Res64: E6D40B3B4B7E4E90 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:43:12] 975*2^1243630-1 is not prime. Res64: 7128FEE2E5121040 Time : 0.0 sec. user=mdettweiler [2013-03-30 22:43:12] 669*2^1243631-1 is not prime. Res64: DDA0A23A778A7071 Time : 0.0 sec. user=vaughan [2013-03-30 22:49:46] 933*2^1243630-1 is not prime. Res64: BF68B407B0F3F5E8 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:00:03] 673*2^1243631-1 is not prime. Res64: 34F2BA879416DDBE Time : 0.0 sec. user=mdettweiler [2013-03-30 23:00:04] 693*2^1243631-1 is not prime. Res64: A1834E2BFB559169 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:00:38] 705*2^1243631-1 is not prime. Res64: 49A4672C924FC00C Time : 0.0 sec. user=mdettweiler [2013-03-30 23:00:39] 735*2^1243631-1 is not prime. Res64: BF7B401C5812CA47 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:17:55] 813*2^1243631-1 is not prime. Res64: 7654EB46EF15A0E6 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:17:56] 859*2^1243631-1 is not prime. Res64: DB289B8051D7F7CF Time : 0.0 sec. user=mdettweiler [2013-03-30 23:18:33] 889*2^1243631-1 is not prime. Res64: 54B20E82A5349EEF Time : 0.0 sec. user=mdettweiler [2013-03-30 23:18:34] 683*2^1243632-1 is not prime. Res64: 19935AB4113DFF0E Time : 0.0 sec. user=vaughan [2013-03-30 23:28:02] 763*2^1243631-1 is not prime. Res64: 18F116F5AD97D8EE Time : 0.0 sec. user=mdettweiler [2013-03-30 23:36:12] 737*2^1243632-1 is not prime. Res64: B6831993300CCDDD Time : 0.0 sec. user=mdettweiler [2013-03-30 23:36:13] 753*2^1243632-1 is not prime. Res64: 8862F1E158E4A801 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:36:25] 815*2^1243632-1 is not prime. Res64: 11C87198DE67CC94 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:36:26] 819*2^1243632-1 is not prime. Res64: 47DF39F59BEE1E90 Time : 0.0 sec. user=juhehe [2013-03-30 23:43:41] 887*2^1243632-1 is not prime. Res64: 5835DFCDCD5C179C Time : 0.0 sec. user=mdettweiler [2013-03-30 23:54:01] 619*2^1243633-1 is not prime. Res64: E9AE64FC0FA3D182 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:54:02] 649*2^1243633-1 is not prime. Res64: 132E8099F28654B6 Time : 0.0 sec. user=mdettweiler [2013-03-30 23:54:14] 685*2^1243633-1 is not prime. Res64: 514CE1ADFC5262FD Time : 0.0 sec. user=mdettweiler [2013-03-30 23:54:14] 721*2^1243633-1 is not prime. Res64: F5B81E4BD35A0FA8 Time : 0.0 sec.