user=mdettweiler [2015-06-25 00:06:10] 879*2^1401303-1 is not prime. Res64: F73A2AB54D3EB197 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:06:11] 945*2^1401303-1 is not prime. Res64: 19EBACE0B9662620 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:06:12] 919*2^1401303-1 is not prime. Res64: A776AEFE3C7FA1DF Time : 0.0 sec. user=mdettweiler [2015-06-25 00:06:12] 635*2^1401304-1 is not prime. Res64: A6BDE629CD1D9D3F Time : 0.0 sec. user=mdettweiler [2015-06-25 00:15:35] 707*2^1401304-1 is not prime. Res64: 630A0BB403756DF6 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:15:36] 833*2^1401304-1 is not prime. Res64: 9DF78E62C70D694A Time : 0.0 sec. user=mdettweiler [2015-06-25 00:23:56] 849*2^1401304-1 is not prime. Res64: 2A88207672008E7E Time : 0.0 sec. user=mdettweiler [2015-06-25 00:23:57] 699*2^1401305-1 is not prime. Res64: E7396E603F5483B2 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:23:58] 949*2^1401305-1 is not prime. Res64: 4DD41EE5613AC49A Time : 0.0 sec. user=mdettweiler [2015-06-25 00:23:58] 653*2^1401306-1 is not prime. Res64: C87BEDCF2D6D2D9D Time : 0.0 sec. user=mdettweiler [2015-06-25 00:32:56] 717*2^1401306-1 is not prime. Res64: 8BE1F4E78605529A Time : 0.0 sec. user=mdettweiler [2015-06-25 00:32:56] 725*2^1401306-1 is not prime. Res64: DED30DAE121A2D8E Time : 0.0 sec. user=juhehe [2015-06-25 00:37:21] 693*2^1401303-1 is not prime. Res64: 67D5DCDB5D67F541 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:41:14] 741*2^1401306-1 is not prime. Res64: FB8C96BC1AB99ECA Time : 0.0 sec. user=mdettweiler [2015-06-25 00:41:15] 783*2^1401306-1 is not prime. Res64: 9EB3261A24BB04A1 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:41:16] 837*2^1401306-1 is not prime. Res64: 4777A1408B3B8F73 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:41:16] 861*2^1401306-1 is not prime. Res64: 9A128E792A470250 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:50:15] 1001*2^1401306-1 is not prime. Res64: AC1C93B593F078DF Time : 0.0 sec. user=mdettweiler [2015-06-25 00:50:16] 651*2^1401307-1 is not prime. Res64: 89436CA898EE6111 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:58:32] 663*2^1401307-1 is not prime. Res64: 1BFF92774A29B387 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:58:33] 759*2^1401307-1 is not prime. Res64: AA98CDB9AE28F9C0 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:58:33] 871*2^1401307-1 is not prime. Res64: 66A4B9F3DE8C9126 Time : 0.0 sec. user=mdettweiler [2015-06-25 00:58:33] 909*2^1401307-1 is not prime. Res64: 5833F6095A02E381 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:07:38] 725*2^1401308-1 is not prime. Res64: FD5C8E29A812960A Time : 0.0 sec. user=mdettweiler [2015-06-25 01:07:38] 837*2^1401308-1 is not prime. Res64: 6758623B0D9B47D8 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:16:10] 855*2^1401308-1 is not prime. Res64: 093B98064FFB543C Time : 0.0 sec. user=mdettweiler [2015-06-25 01:16:11] 885*2^1401308-1 is not prime. Res64: 107BE6B7EC0A7BD6 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:16:13] 963*2^1401308-1 is not prime. Res64: BAB94B153E6C6237 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:16:13] 969*2^1401308-1 is not prime. Res64: 4FCF21669E0C1236 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:25:14] 667*2^1401309-1 is not prime. Res64: 0DC1F564C6A13690 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:25:15] 747*2^1401309-1 is not prime. Res64: 04E4B1080C0B815B Time : 0.0 sec. user=mdettweiler [2015-06-25 01:33:31] 831*2^1401309-1 is not prime. Res64: 6D035D16E3EA941A Time : 0.0 sec. user=mdettweiler [2015-06-25 01:33:31] 695*2^1401310-1 is not prime. Res64: BB8AC02F79CB5EBE Time : 0.0 sec. user=mdettweiler [2015-06-25 01:33:31] 985*2^1401309-1 is not prime. Res64: D1589BFDC35A31D5 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:33:31] 723*2^1401310-1 is not prime. Res64: 816F6B1471E08CE6 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:42:33] 747*2^1401310-1 is not prime. Res64: C619F641FFA6ACFE Time : 0.0 sec. user=mdettweiler [2015-06-25 01:42:33] 791*2^1401310-1 is not prime. Res64: DC3A287B8E9B2F66 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:50:51] 863*2^1401310-1 is not prime. Res64: 1940E743FF95C7C3 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:50:52] 933*2^1401310-1 is not prime. Res64: AA37648DF3EE2D06 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:50:53] 941*2^1401310-1 is not prime. Res64: F32E9D4EDCE71C97 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:50:53] 645*2^1401311-1 is not prime. Res64: B417167D7A6F1A8A Time : 0.0 sec. user=mdettweiler [2015-06-25 01:59:52] 673*2^1401311-1 is not prime. Res64: 91E115E16D3154A7 Time : 0.0 sec. user=mdettweiler [2015-06-25 01:59:53] 841*2^1401311-1 is not prime. Res64: CA5C53F02FE4BE3C Time : 0.0 sec. user=mdettweiler [2015-06-25 02:08:10] 859*2^1401311-1 is not prime. Res64: 5DAA7EE61203B601 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:08:11] 939*2^1401311-1 is not prime. Res64: E0CE33A32CAF363E Time : 0.0 sec. user=mdettweiler [2015-06-25 02:08:13] 779*2^1401312-1 is not prime. Res64: 1074463C32C5DFEF Time : 0.0 sec. user=mdettweiler [2015-06-25 02:08:13] 803*2^1401312-1 is not prime. Res64: 311B0F873F4CEBBC Time : 0.0 sec. user=juhehe [2015-06-25 02:11:41] 827*2^1401310-1 is not prime. Res64: F71B6E63A1E77366 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:17:10] 815*2^1401312-1 is not prime. Res64: F4FE1A49EA3654B6 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:17:10] 819*2^1401312-1 is not prime. Res64: 9C25BCF4B0C4532F Time : 0.0 sec. user=mdettweiler [2015-06-25 02:25:33] 849*2^1401312-1 is not prime. Res64: 043FB695A699D017 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:25:34] 899*2^1401312-1 is not prime. Res64: 668C973F389B81DE Time : 0.0 sec. user=mdettweiler [2015-06-25 02:25:36] 639*2^1401313-1 is not prime. Res64: 639812ADB0320B8F Time : 0.0 sec. user=mdettweiler [2015-06-25 02:25:36] 701*2^1401314-1 is not prime. Res64: D18F9992FBDD6012 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:34:28] 705*2^1401314-1 is not prime. Res64: 2F03F6F77D87362B Time : 0.0 sec. user=mdettweiler [2015-06-25 02:34:28] 731*2^1401314-1 is not prime. Res64: 9C19DBA485B40F69 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:42:55] 741*2^1401314-1 is not prime. Res64: 25626221845E5FF5 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:42:55] 815*2^1401314-1 is not prime. Res64: DB45D3488EC47E1E Time : 0.0 sec. user=mdettweiler [2015-06-25 02:42:56] 915*2^1401314-1 is not prime. Res64: 0F86501174ED682C Time : 0.0 sec. user=mdettweiler [2015-06-25 02:42:57] 935*2^1401314-1 is not prime. Res64: 4EB626B3E21EB164 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:51:55] 981*2^1401314-1 is not prime. Res64: D64B85E736B6AA55 Time : 0.0 sec. user=mdettweiler [2015-06-25 02:51:56] 619*2^1401315-1 is not prime. Res64: C30AB3B5B8A94FB3 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:00:15] 775*2^1401315-1 is not prime. Res64: 49326BD6FFC59376 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:00:16] 639*2^1401315-1 is not prime. Res64: 21D138E556FBE5D1 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:00:16] 829*2^1401315-1 is not prime. Res64: 487AB354468785E8 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:00:17] 663*2^1401315-1 is not prime. Res64: 377A4B3F9EF9273F Time : 0.0 sec. user=mdettweiler [2015-06-25 03:09:13] 859*2^1401315-1 is not prime. Res64: 240541FE483B7128 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:09:14] 921*2^1401315-1 is not prime. Res64: 2D816AAD94E52629 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:17:36] 949*2^1401315-1 is not prime. Res64: 9D97FB354FAF4FCB Time : 0.0 sec. user=mdettweiler [2015-06-25 03:17:36] 951*2^1401315-1 is not prime. Res64: 854FF4A80B051273 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:17:38] 647*2^1401316-1 is not prime. Res64: C64BB4C816A5EC52 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:17:39] 675*2^1401316-1 is not prime. Res64: B3D8E729CE985F81 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:26:39] 779*2^1401316-1 is not prime. Res64: CB13DF2A255C825C Time : 0.0 sec. user=mdettweiler [2015-06-25 03:26:40] 957*2^1401316-1 is not prime. Res64: 3BEF76E0F035AB5E Time : 0.0 sec. user=mdettweiler [2015-06-25 03:34:55] 983*2^1401316-1 is not prime. Res64: A1780E9711F7C061 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:34:57] 829*2^1401317-1 is not prime. Res64: 5DFD5C260CACF723 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:34:57] 747*2^1401317-1 is not prime. Res64: FAB4BF33F29BC727 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:34:58] 939*2^1401317-1 is not prime. Res64: B4BEE228196FA21A Time : 0.0 sec. user=mdettweiler [2015-06-25 03:43:58] 663*2^1401318-1 is not prime. Res64: 8752039BC31C36DF Time : 0.0 sec. user=mdettweiler [2015-06-25 03:44:00] 915*2^1401318-1 is not prime. Res64: 9DEA1E41CB6CBDF2 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:52:16] 679*2^1401319-1 is not prime. Res64: C0835768DB466312 Time : 0.0 sec. user=mdettweiler [2015-06-25 03:52:17] 685*2^1401319-1 is not prime. Res64: 0858B58D83D7BFEB Time : 0.0 sec. user=mdettweiler [2015-06-25 03:52:18] 693*2^1401319-1 is not prime. Res64: 34A17466E1536E4F Time : 0.0 sec. user=mdettweiler [2015-06-25 03:52:18] 705*2^1401319-1 is not prime. Res64: 3AE9A4CBB2528049 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:01:26] 889*2^1401319-1 is not prime. Res64: CAE4FE38AD6FD232 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:01:27] 961*2^1401319-1 is not prime. Res64: 0BA13D6501A7A8EE Time : 0.0 sec. user=mdettweiler [2015-06-25 04:09:38] 875*2^1401320-1 is not prime. Res64: E62EC1AB14470B33 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:09:38] 959*2^1401320-1 is not prime. Res64: 84FCCDEDF6A0917D Time : 0.0 sec. user=mdettweiler [2015-06-25 04:09:38] 893*2^1401320-1 is not prime. Res64: FA90C5F1533C39FB Time : 0.0 sec. user=mdettweiler [2015-06-25 04:09:38] 705*2^1401321-1 is not prime. Res64: 99A9E400BD6AC568 Time : 0.0 sec. user=juhehe [2015-06-25 04:12:47] 963*2^1401318-1 is not prime. Res64: 56734B1EC5ABBBF4 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:18:45] 739*2^1401321-1 is not prime. Res64: DAA08E698E3406F6 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:18:45] 781*2^1401321-1 is not prime. Res64: CFDDF2D881265A17 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:26:58] 907*2^1401321-1 is not prime. Res64: A6E79D1BB09C1A9C Time : 0.0 sec. user=mdettweiler [2015-06-25 04:26:58] 949*2^1401321-1 is not prime. Res64: 10419AE55F9FC934 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:26:59] 789*2^1401321-1 is not prime. Res64: B325583447FE66D0 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:27:00] 811*2^1401321-1 is not prime. Res64: CFFF6763A528816B Time : 0.0 sec. user=mdettweiler [2015-06-25 04:36:03] 955*2^1401321-1 is not prime. Res64: 9FDA20835FBCBB0C Time : 0.0 sec. user=mdettweiler [2015-06-25 04:36:04] 979*2^1401321-1 is not prime. Res64: 09B7BA427AAFB5C1 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:44:15] 651*2^1401322-1 is not prime. Res64: 8905636A71BF18D0 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:44:15] 735*2^1401322-1 is not prime. Res64: EE1EA2EF0DB8C169 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:44:16] 821*2^1401322-1 is not prime. Res64: BAFDFD406BB184E4 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:44:17] 983*2^1401322-1 is not prime. Res64: 4DCDD9B203F96C39 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:53:22] 603*2^1401323-1 is not prime. Res64: 38820813CB715628 Time : 0.0 sec. user=mdettweiler [2015-06-25 04:53:22] 631*2^1401323-1 is not prime. Res64: 4B4613E3DEF69362 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:01:34] 669*2^1401323-1 is not prime. Res64: 6BD0ED6EC226D0F3 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:01:35] 745*2^1401323-1 is not prime. Res64: 49037AA6C2E52F8C Time : 0.0 sec. user=mdettweiler [2015-06-25 05:01:36] 753*2^1401323-1 is not prime. Res64: 244076480EE79F79 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:01:37] 955*2^1401323-1 is not prime. Res64: 5CF480910704DE8E Time : 0.0 sec. user=mdettweiler [2015-06-25 05:10:39] 609*2^1401324-1 is not prime. Res64: 487DAF9A5C7662EB Time : 0.0 sec. user=mdettweiler [2015-06-25 05:10:40] 693*2^1401324-1 is not prime. Res64: 036348341389B087 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:19:18] 753*2^1401324-1 is not prime. Res64: FFE1652962D586D0 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:19:18] 767*2^1401324-1 is not prime. Res64: B54E18087E73E378 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:19:20] 875*2^1401324-1 is not prime. Res64: 4150AB7192E21DDD Time : 0.0 sec. user=mdettweiler [2015-06-25 05:19:20] 975*2^1401324-1 is not prime. Res64: FAE5B1352A8BD2AC Time : 0.0 sec. user=mdettweiler [2015-06-25 05:27:59] 983*2^1401324-1 is not prime. Res64: 8DE31959840AC9D5 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:27:59] 675*2^1401325-1 is not prime. Res64: 80188F293B35850A Time : 0.0 sec. user=mdettweiler [2015-06-25 05:36:36] 799*2^1401325-1 is not prime. Res64: 30487495593EF4ED Time : 0.0 sec. user=mdettweiler [2015-06-25 05:36:36] 859*2^1401325-1 is not prime. Res64: FB2897762F4C963D Time : 0.0 sec. user=mdettweiler [2015-06-25 05:36:38] 687*2^1401325-1 is not prime. Res64: 43ED707AAF4D1E14 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:36:38] 715*2^1401325-1 is not prime. Res64: CD15FBF13C4382A9 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:45:16] 885*2^1401325-1 is not prime. Res64: F69B2CA90AE0BB0C Time : 0.0 sec. user=mdettweiler [2015-06-25 05:45:17] 961*2^1401325-1 is not prime. Res64: B6226E4F5B6A31A7 Time : 0.0 sec. user=mdettweiler [2015-06-25 05:53:54] 827*2^1401326-1 is not prime. Res64: 4E946BF8988C1E0A Time : 0.0 sec. user=mdettweiler [2015-06-25 05:53:55] 843*2^1401326-1 is not prime. Res64: 17689DA09395350A Time : 0.0 sec. user=mdettweiler [2015-06-25 05:53:55] 945*2^1401326-1 is not prime. Res64: BC9974845EED700C Time : 0.0 sec. user=mdettweiler [2015-06-25 05:53:55] 957*2^1401326-1 is not prime. Res64: B3F8A6AAFC91DFA1 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:02:35] 985*2^1401327-1 is not prime. Res64: 04E882FCC84C0944 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:02:35] 635*2^1401328-1 is not prime. Res64: DEB7B541576A6F24 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:11:17] 855*2^1401328-1 is not prime. Res64: B81AC30D632120F0 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:11:17] 705*2^1401328-1 is not prime. Res64: 99D31247A1F2A4FC Time : 0.0 sec. user=mdettweiler [2015-06-25 06:11:17] 875*2^1401328-1 is not prime. Res64: A8D681B410DA9A91 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:11:17] 833*2^1401328-1 is not prime. Res64: 13ED57CDF2E90643 Time : 0.0 sec. user=juhehe [2015-06-25 06:13:13] 641*2^1401326-1 is not prime. Res64: 20CE3187854DB86A Time : 0.0 sec. user=juhehe [2015-06-25 06:18:34] 741*2^1401326-1 is not prime. Res64: 452ADE6AFE4B3516 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:20:07] 969*2^1401328-1 is not prime. Res64: 80D30344241C1A75 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:20:08] 649*2^1401329-1 is not prime. Res64: 4A4A26622CD609E9 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:28:34] 685*2^1401329-1 is not prime. Res64: 9364AA3CD0B33D49 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:28:34] 879*2^1401329-1 is not prime. Res64: 188D921A47A9B0D6 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:28:35] 951*2^1401329-1 is not prime. Res64: E4F7C22F3FA855B3 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:28:36] 985*2^1401329-1 is not prime. Res64: 9273F98D91F82354 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:37:25] 627*2^1401330-1 is not prime. Res64: 9EC48EA59241CFE2 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:37:25] 741*2^1401330-1 is not prime. Res64: 37A305F6BC67566B Time : 0.0 sec. user=mdettweiler [2015-06-25 06:45:52] 963*2^1401330-1 is not prime. Res64: 3B56796C55FF6B4C Time : 0.0 sec. user=mdettweiler [2015-06-25 06:45:53] 1001*2^1401330-1 is not prime. Res64: AD28EA78E187B8EE Time : 0.0 sec. user=mdettweiler [2015-06-25 06:45:55] 747*2^1401330-1 is not prime. Res64: C70929D3378AE786 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:45:55] 851*2^1401330-1 is not prime. Res64: C3FA0BC5FEB49912 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:54:42] 645*2^1401331-1 is not prime. Res64: 0173F492F4B56B28 Time : 0.0 sec. user=mdettweiler [2015-06-25 06:54:42] 651*2^1401331-1 is not prime. Res64: 03FF926E58F1EECF Time : 0.0 sec. user=mdettweiler [2015-06-25 07:03:10] 723*2^1401331-1 is not prime. Res64: 6402B73F469855E8 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:03:11] 775*2^1401331-1 is not prime. Res64: 05A721611F858D5A Time : 0.0 sec. user=mdettweiler [2015-06-25 07:03:12] 829*2^1401331-1 is not prime. Res64: 928B8C94AB6A9742 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:03:13] 939*2^1401331-1 is not prime. Res64: E5267549396DD0D1 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:12:00] 683*2^1401332-1 is not prime. Res64: CEF967F6BF587239 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:12:01] 885*2^1401332-1 is not prime. Res64: F67B8CA1174AA64B Time : 0.0 sec. user=mdettweiler [2015-06-25 07:20:31] 899*2^1401332-1 is not prime. Res64: 38DBFB9C8719DC6D Time : 0.0 sec. user=mdettweiler [2015-06-25 07:20:31] 649*2^1401333-1 is not prime. Res64: 1002B13A6D1B30C7 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:20:34] 679*2^1401333-1 is not prime. Res64: 15AB7C7CEF7E5A6D Time : 0.0 sec. user=mdettweiler [2015-06-25 07:20:34] 751*2^1401333-1 is not prime. Res64: 9C9CF6405B0DFC25 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:29:18] 817*2^1401333-1 is not prime. Res64: B4D685670F609595 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:29:19] 871*2^1401333-1 is not prime. Res64: D0174794C934F046 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:37:48] 937*2^1401333-1 is not prime. Res64: 564459065E30953F Time : 0.0 sec. user=mdettweiler [2015-06-25 07:37:49] 979*2^1401333-1 is not prime. Res64: D2E316AAC061C56E Time : 0.0 sec. user=mdettweiler [2015-06-25 07:37:51] 611*2^1401334-1 is not prime. Res64: E1D6F70CB90FC7C5 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:37:51] 617*2^1401334-1 is not prime. Res64: 64F34EDCF538C833 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:46:35] 765*2^1401334-1 is not prime. Res64: 1B79C391E1AB8732 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:46:36] 791*2^1401334-1 is not prime. Res64: F91F67F3B9961131 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:55:06] 945*2^1401334-1 is not prime. Res64: 2CFC0AFD478687CA Time : 0.0 sec. user=mdettweiler [2015-06-25 07:55:06] 655*2^1401335-1 is not prime. Res64: 17B020C71F92E5A1 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:55:08] 675*2^1401335-1 is not prime. Res64: 3A14CC4CE14F31C6 Time : 0.0 sec. user=mdettweiler [2015-06-25 07:55:08] 829*2^1401335-1 is not prime. Res64: B26A60B3D38CB42E Time : 0.0 sec. user=mdettweiler [2015-06-25 08:03:53] 999*2^1401335-1 is not prime. Res64: 84B3F471E65A45A7 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:03:54] 623*2^1401336-1 is not prime. Res64: D13FAFE60931523B Time : 0.0 sec. user=mdettweiler [2015-06-25 08:12:23] 635*2^1401336-1 is not prime. Res64: 6EA4E0B47E842911 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:12:23] 689*2^1401336-1 is not prime. Res64: 2C685DF389076F39 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:12:25] 707*2^1401336-1 is not prime. Res64: C596A85FA58A0B32 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:12:25] 699*2^1401337-1 is not prime. Res64: 6E60D68AC0045827 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:21:28] 729*2^1401337-1 is not prime. Res64: A000FE0D619C28EF Time : 0.0 sec. user=mdettweiler [2015-06-25 08:21:29] 741*2^1401337-1 is not prime. Res64: DE3BC5D2B7FC2253 Time : 0.0 sec. user=juhehe [2015-06-25 08:27:26] 973*2^1401335-1 is not prime. Res64: C0DB72E2517B0687 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:29:43] 775*2^1401337-1 is not prime. Res64: 422301D01A70067A Time : 0.0 sec. user=mdettweiler [2015-06-25 08:29:44] 817*2^1401337-1 is not prime. Res64: 1FC43BC84BF881CE Time : 0.0 sec. user=mdettweiler [2015-06-25 08:29:44] 861*2^1401337-1 is not prime. Res64: 511D0970424D67F7 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:29:44] 895*2^1401337-1 is not prime. Res64: EE7A9B02913695D0 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:38:51] 931*2^1401337-1 is not prime. Res64: 81C8600862DC168B Time : 0.0 sec. user=mdettweiler [2015-06-25 08:38:52] 633*2^1401338-1 is not prime. Res64: 62C3DEC8F2C9A746 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:47:01] 707*2^1401338-1 is not prime. Res64: 3886FC83B35B8E31 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:47:02] 753*2^1401338-1 is not prime. Res64: 3C0B966516916C64 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:47:02] 767*2^1401338-1 is not prime. Res64: 9E748EC5B5D191F8 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:47:02] 771*2^1401338-1 is not prime. Res64: EDFAB5E5D737B7A1 Time : 0.0 sec. user=mdettweiler [2015-06-25 08:56:09] 773*2^1401338-1 is not prime. Res64: 1AA901D861702FEC Time : 0.0 sec. user=mdettweiler [2015-06-25 08:56:10] 791*2^1401338-1 is not prime. Res64: CB709C54299D1816 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:04:19] 825*2^1401338-1 is not prime. Res64: A0F6B687D92413A3 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:04:20] 875*2^1401338-1 is not prime. Res64: 0D024E11FA55BDE9 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:04:21] 621*2^1401339-1 is not prime. Res64: 293DF4605D724417 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:04:23] 705*2^1401339-1 is not prime. Res64: 1B9603AA6F413338 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:13:29] 711*2^1401339-1 is not prime. Res64: 1FC219626D58CBB3 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:13:29] 741*2^1401339-1 is not prime. Res64: A5FE027CC5F3EE5A Time : 0.0 sec. user=mdettweiler [2015-06-25 09:22:03] 795*2^1401339-1 is not prime. Res64: C722CE6F7EFE3794 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:22:03] 903*2^1401339-1 is not prime. Res64: 10EB9D09F36FAF93 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:22:07] 969*2^1401339-1 is not prime. Res64: 23FAE8A98BCCEF5E Time : 0.0 sec. user=mdettweiler [2015-06-25 09:22:08] 609*2^1401340-1 is not prime. Res64: BC1E0DFB9C50B005 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:30:47] 615*2^1401340-1 is not prime. Res64: DC575CE88AEBBCBA Time : 0.0 sec. user=mdettweiler [2015-06-25 09:30:47] 665*2^1401340-1 is not prime. Res64: 59A151F257D407EC Time : 0.0 sec. user=mdettweiler [2015-06-25 09:39:22] 687*2^1401340-1 is not prime. Res64: 09D4B223DBA1A10A Time : 0.0 sec. user=mdettweiler [2015-06-25 09:39:23] 759*2^1401340-1 is not prime. Res64: 479319D787B96ED2 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:39:27] 607*2^1401341-1 is not prime. Res64: F67112EE8CAC6BC6 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:39:27] 925*2^1401341-1 is not prime. Res64: 6CDCA12EAD1E2EE6 Time : 0.0 sec. user=S_K_ [2015-06-25 09:40:00] 975*2^1401327-1 is not prime. Res64: 1718640C9152D5E5 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:48:05] 927*2^1401341-1 is not prime. Res64: D682D2B229F46DD9 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:48:05] 945*2^1401341-1 is not prime. Res64: 083418BFAB6D3EB0 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:56:39] 737*2^1401342-1 is not prime. Res64: DE6420364A082CE6 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:56:39] 761*2^1401342-1 is not prime. Res64: 6C85D757407CD8C9 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:56:43] 777*2^1401342-1 is not prime. Res64: 9A2F3F326E3C3A81 Time : 0.0 sec. user=mdettweiler [2015-06-25 09:56:44] 833*2^1401342-1 is not prime. Res64: 3260A6C5021C8914 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:05:23] 875*2^1401342-1 is not prime. Res64: 363CA839D2201A24 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:05:24] 887*2^1401342-1 is not prime. Res64: 3884FC213E245677 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:13:56] 639*2^1401343-1 is not prime. Res64: C47B802430178256 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:13:56] 771*2^1401343-1 is not prime. Res64: CEEC327D98D6CBB6 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:14:01] 789*2^1401343-1 is not prime. Res64: 0D0AFF6F13BF0B1B Time : 0.0 sec. user=mdettweiler [2015-06-25 10:14:01] 811*2^1401343-1 is not prime. Res64: CB0CD43FA9F0B636 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:22:44] 871*2^1401343-1 is not prime. Res64: DC3A69D2C9FAB3FA Time : 0.0 sec. user=mdettweiler [2015-06-25 10:22:45] 985*2^1401343-1 is not prime. Res64: 3E5719EBBD12FDFC Time : 0.0 sec. user=juhehe [2015-06-25 10:23:37] 867*2^1401342-1 is not prime. Res64: F2C8377EBE8A767C Time : 0.0 sec. user=mdettweiler [2015-06-25 10:31:13] 719*2^1401344-1 is not prime. Res64: 9F0DD0E6264F4311 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:31:14] 959*2^1401344-1 is not prime. Res64: 50B61AC11DA89B7B Time : 0.0 sec. user=mdettweiler [2015-06-25 10:31:18] 969*2^1401344-1 is not prime. Res64: 7BE8AC6CD80FFCE5 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:31:19] 625*2^1401345-1 is not prime. Res64: 77706737928090AF Time : 0.0 sec. user=mdettweiler [2015-06-25 10:40:04] 639*2^1401345-1 is not prime. Res64: 06679D175459FB67 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:40:04] 679*2^1401345-1 is not prime. Res64: A05C9DCF288AC09F Time : 0.0 sec. user=mdettweiler [2015-06-25 10:48:34] 741*2^1401345-1 is not prime. Res64: 313AAEFC9C5642B3 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:48:34] 781*2^1401345-1 is not prime. Res64: 1EDC4360CFB4139A Time : 0.0 sec. user=mdettweiler [2015-06-25 10:48:36] 805*2^1401345-1 is not prime. Res64: 4FE371A2BE10DC13 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:48:36] 871*2^1401345-1 is not prime. Res64: 9DE0B2CB6D867C1A Time : 0.0 sec. user=mdettweiler [2015-06-25 10:57:23] 889*2^1401345-1 is not prime. Res64: E18BA5B16C130089 Time : 0.0 sec. user=mdettweiler [2015-06-25 10:57:24] 919*2^1401345-1 is not prime. Res64: 60F1ADD292B1A498 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:05:50] 999*2^1401345-1 is not prime. Res64: BCCA36DE5468A98E Time : 0.0 sec. user=mdettweiler [2015-06-25 11:05:51] 783*2^1401346-1 is not prime. Res64: 6B9306453BE301A8 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:05:53] 867*2^1401346-1 is not prime. Res64: 9D2870447893F23D Time : 0.0 sec. user=mdettweiler [2015-06-25 11:05:53] 881*2^1401346-1 is not prime. Res64: 2BE55C16C83F1022 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:14:42] 975*2^1401346-1 is not prime. Res64: C1FAB5E0B3BFC9A4 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:14:43] 631*2^1401347-1 is not prime. Res64: BAB5F0DF256A5825 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:23:16] 645*2^1401347-1 is not prime. Res64: 6A43EA850021CDDA Time : 0.0 sec. user=mdettweiler [2015-06-25 11:23:16] 693*2^1401347-1 is not prime. Res64: D7E5198FC2961A1F Time : 0.0 sec. user=mdettweiler [2015-06-25 11:23:18] 819*2^1401347-1 is not prime. Res64: 3D677FBC57B2F4D1 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:23:18] 841*2^1401347-1 is not prime. Res64: AB88851495E291B3 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:32:15] 861*2^1401347-1 is not prime. Res64: 142929DCB8C316A3 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:32:15] 883*2^1401347-1 is not prime. Res64: BBC38DC0699DFBC9 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:41:09] 885*2^1401347-1 is not prime. Res64: 7F364224D6D5593B Time : 0.0 sec. user=mdettweiler [2015-06-25 11:41:09] 663*2^1401348-1 is not prime. Res64: 8B518FF2E70EF858 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:41:09] 759*2^1401348-1 is not prime. Res64: E7D643DF51CA9BBF Time : 0.0 sec. user=mdettweiler [2015-06-25 11:41:09] 765*2^1401348-1 is not prime. Res64: D0D90796FD61F277 Time : 0.0 sec. user=juhehe [2015-06-25 11:45:32] 643*2^1401347-1 is not prime. Res64: 2C5127E945275646 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:50:07] 789*2^1401348-1 is not prime. Res64: E81DE855E39D3481 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:50:07] 775*2^1401349-1 is not prime. Res64: 80B6BD827E843CD8 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:58:31] 799*2^1401349-1 is not prime. Res64: 022DFEB7CD4E249F Time : 0.0 sec. user=mdettweiler [2015-06-25 11:58:32] 861*2^1401349-1 is not prime. Res64: 2CB9CEC7E08238F9 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:58:32] 867*2^1401349-1 is not prime. Res64: 9925ADD1F04D3659 Time : 0.0 sec. user=mdettweiler [2015-06-25 11:58:32] 999*2^1401349-1 is not prime. Res64: 8FD0644E5236F27E Time : 0.0 sec. user=mdettweiler [2015-06-25 12:07:27] 641*2^1401350-1 is not prime. Res64: 14902F61F6502BF8 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:07:28] 797*2^1401350-1 is not prime. Res64: 64714B762A127996 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:15:49] 801*2^1401350-1 is not prime. Res64: 1C7ED763EFA8C410 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:15:49] 843*2^1401350-1 is not prime. Res64: 33972A98830957AB Time : 0.0 sec. user=mdettweiler [2015-06-25 12:15:50] 851*2^1401350-1 is not prime. Res64: 024E0809A8DBE62C Time : 0.0 sec. user=mdettweiler [2015-06-25 12:15:50] 857*2^1401350-1 is not prime. Res64: 107D6ADEAFAD44BE Time : 0.0 sec. user=mdettweiler [2015-06-25 12:24:49] 887*2^1401350-1 is not prime. Res64: 543A41D9325F67BA Time : 0.0 sec. user=mdettweiler [2015-06-25 12:24:49] 893*2^1401350-1 is not prime. Res64: FB34E4B63BE6589C Time : 0.0 sec. user=mdettweiler [2015-06-25 12:33:07] 977*2^1401350-1 is not prime. Res64: 9FE30A534C7D21B7 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:33:08] 651*2^1401351-1 is not prime. Res64: 7BC25E61CA18D928 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:33:10] 775*2^1401351-1 is not prime. Res64: 8CBDD3EAEE83FB61 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:33:11] 677*2^1401352-1 is not prime. Res64: 56599FAD81A3EFA8 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:42:08] 693*2^1401352-1 is not prime. Res64: DDB95AE693E60C9D Time : 0.0 sec. user=mdettweiler [2015-06-25 12:42:08] 705*2^1401352-1 is not prime. Res64: A679D00645B1A278 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:50:28] 735*2^1401352-1 is not prime. Res64: CFE03C2E88D71C02 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:50:28] 939*2^1401352-1 is not prime. Res64: 9252D8C7BE2D650D Time : 0.0 sec. user=mdettweiler [2015-06-25 12:50:29] 957*2^1401352-1 is not prime. Res64: 6E138F430333B1E1 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:50:30] 983*2^1401352-1 is not prime. Res64: 0FD58E2E0C672E59 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:59:29] 657*2^1401353-1 is not prime. Res64: D0459CD895917405 Time : 0.0 sec. user=mdettweiler [2015-06-25 12:59:29] 679*2^1401353-1 is not prime. Res64: 75C0450614F41A78 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:07:46] 741*2^1401353-1 is not prime. Res64: 464C883AB8FF53A2 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:07:47] 915*2^1401353-1 is not prime. Res64: 743CAC211BB700B4 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:07:47] 795*2^1401353-1 is not prime. Res64: A040381A4BD1FB6B Time : 0.0 sec. user=mdettweiler [2015-06-25 13:07:47] 969*2^1401353-1 is not prime. Res64: 1662C0B0711AE507 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:16:48] 635*2^1401354-1 is not prime. Res64: D3D3BDF5E01C3C24 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:16:48] 663*2^1401354-1 is not prime. Res64: F56AD838722D5998 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:25:07] 755*2^1401354-1 is not prime. Res64: 276143E461E80303 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:25:07] 797*2^1401354-1 is not prime. Res64: 1396C2EF587E5A05 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:25:08] 881*2^1401354-1 is not prime. Res64: 1AD3CABB3CB5B91E Time : 0.0 sec. user=mdettweiler [2015-06-25 13:25:09] 733*2^1401355-1 is not prime. Res64: B9EFF033828C1BC8 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:34:05] 819*2^1401355-1 is not prime. Res64: FA8F69A82CBEA4C5 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:34:06] 915*2^1401355-1 is not prime. Res64: A106F673A30F41F3 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:42:26] 669*2^1401356-1 is not prime. Res64: 111468E034E22B49 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:42:27] 767*2^1401356-1 is not prime. Res64: 02C1EABEF10D033B Time : 0.0 sec. user=mdettweiler [2015-06-25 13:42:27] 685*2^1401357-1 is not prime. Res64: 7B40DE6019E5D98A Time : 0.0 sec. user=mdettweiler [2015-06-25 13:42:28] 751*2^1401357-1 is not prime. Res64: D20D197B28584369 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:51:24] 835*2^1401357-1 is not prime. Res64: 20C809D2592A5219 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:51:25] 961*2^1401357-1 is not prime. Res64: EC47312D09DC665E Time : 0.0 sec. user=juhehe [2015-06-25 13:54:54] 771*2^1401355-1 is not prime. Res64: C0C9F78915EE08FF Time : 0.0 sec. user=mdettweiler [2015-06-25 13:59:45] 863*2^1401358-1 is not prime. Res64: F65B9E472A481BB4 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:59:45] 885*2^1401358-1 is not prime. Res64: 2EE8547EA6BA68DA Time : 0.0 sec. user=mdettweiler [2015-06-25 13:59:45] 933*2^1401358-1 is not prime. Res64: D222197665C97483 Time : 0.0 sec. user=mdettweiler [2015-06-25 13:59:45] 615*2^1401359-1 is not prime. Res64: BF10732CFA3220BD Time : 0.0 sec. user=mdettweiler [2015-06-25 14:08:43] 705*2^1401359-1 is not prime. Res64: 423A260181D46208 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:08:43] 729*2^1401359-1 is not prime. Res64: A00ECA7A526E273F Time : 0.0 sec. user=mdettweiler [2015-06-25 14:17:04] 973*2^1401359-1 is not prime. Res64: 78444880A1DB25C0 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:17:04] 633*2^1401360-1 is not prime. Res64: 0A6F19DF631C6A3C Time : 0.0 sec. user=mdettweiler [2015-06-25 14:17:05] 653*2^1401360-1 is not prime. Res64: 55C01D398001517E Time : 0.0 sec. user=mdettweiler [2015-06-25 14:17:06] 723*2^1401360-1 is not prime. Res64: F9E58E3E2B474C8B Time : 0.0 sec. user=mdettweiler [2015-06-25 14:26:05] 753*2^1401360-1 is not prime. Res64: E752D8355C6D89B4 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:26:06] 765*2^1401360-1 is not prime. Res64: FA621E2EF1805F9A Time : 0.0 sec. user=mdettweiler [2015-06-25 14:34:28] 849*2^1401360-1 is not prime. Res64: C3F649D2EA6B5912 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:34:28] 905*2^1401360-1 is not prime. Res64: D0189B96B5D8268A Time : 0.0 sec. user=mdettweiler [2015-06-25 14:34:29] 829*2^1401361-1 is not prime. Res64: 2A32CEF54BDD742C Time : 0.0 sec. user=mdettweiler [2015-06-25 14:34:29] 861*2^1401361-1 is not prime. Res64: F5E24A449C737945 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:44:09] 877*2^1401361-1 is not prime. Res64: FAF1E2F3EC7F95FF Time : 0.0 sec. user=mdettweiler [2015-06-25 14:44:09] 999*2^1401361-1 is not prime. Res64: 5D1E6A8945B83BE0 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:52:29] 633*2^1401362-1 is not prime. Res64: 6C7E05B4C4D6DCE9 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:52:29] 813*2^1401362-1 is not prime. Res64: 4FEB747C5B25F131 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:52:30] 843*2^1401362-1 is not prime. Res64: 2A46EDA54B001003 Time : 0.0 sec. user=mdettweiler [2015-06-25 14:52:30] 903*2^1401362-1 is not prime. Res64: 486A0716146533A7 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:01:43] 941*2^1401362-1 is not prime. Res64: 2C5E9AA873EA0B4E Time : 0.0 sec. user=mdettweiler [2015-06-25 15:01:43] 663*2^1401363-1 is not prime. Res64: 984593E6D90B576C Time : 0.0 sec. user=mdettweiler [2015-06-25 15:10:12] 685*2^1401363-1 is not prime. Res64: 632056B94E789E84 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:10:13] 723*2^1401363-1 is not prime. Res64: 5C327E708A897751 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:10:13] 709*2^1401363-1 is not prime. Res64: 47E23E9CF2F29C42 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:10:13] 871*2^1401363-1 is not prime. Res64: 3C03E0CDAD620568 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:19:16] 961*2^1401363-1 is not prime. Res64: 8835F2FBB8CFD9B5 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:19:16] 765*2^1401364-1 is not prime. Res64: D4600B35F8835129 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:27:37] 869*2^1401364-1 is not prime. Res64: 55DE07311BACF40C Time : 0.0 sec. user=mdettweiler [2015-06-25 15:27:37] 975*2^1401364-1 is not prime. Res64: EFFD868D5CCB69DA Time : 0.0 sec. user=mdettweiler [2015-06-25 15:27:39] 989*2^1401364-1 is not prime. Res64: A5B30337D191C48F Time : 0.0 sec. user=mdettweiler [2015-06-25 15:27:39] 655*2^1401365-1 is not prime. Res64: 2035A362A53A4F68 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:36:54] 781*2^1401365-1 is not prime. Res64: 9DF1241AAF8BC37D Time : 0.0 sec. user=mdettweiler [2015-06-25 15:36:55] 871*2^1401365-1 is not prime. Res64: 0FC115F2DF9EC0D4 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:45:16] 725*2^1401366-1 is not prime. Res64: B38F68C3B56B1629 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:45:17] 917*2^1401366-1 is not prime. Res64: CCF453804A1E12DD Time : 0.0 sec. user=mdettweiler [2015-06-25 15:45:17] 635*2^1401366-1 is not prime. Res64: 43AB69729E23C642 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:45:18] 723*2^1401366-1 is not prime. Res64: A7F6227D1B45D21D Time : 0.0 sec. user=mdettweiler [2015-06-25 15:54:18] 975*2^1401366-1 is not prime. Res64: 0FB503336825F080 Time : 0.0 sec. user=mdettweiler [2015-06-25 15:54:18] 993*2^1401366-1 is not prime. Res64: C06F890988620745 Time : 0.0 sec. user=juhehe [2015-06-25 15:58:35] 915*2^1401365-1 is not prime. Res64: 348454A2EFDF0521 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:02:41] 859*2^1401367-1 is not prime. Res64: 7225B97495095574 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:02:42] 693*2^1401367-1 is not prime. Res64: C18952E4A2184F21 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:02:43] 919*2^1401367-1 is not prime. Res64: 3EFCFB3CC3D3A180 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:02:45] 765*2^1401367-1 is not prime. Res64: 35E02E6C9DD7874B Time : 0.0 sec. user=mdettweiler [2015-06-25 16:11:38] 961*2^1401367-1 is not prime. Res64: FEA31FE825FC2FF6 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:11:39] 617*2^1401368-1 is not prime. Res64: 3CD054F3342B30BB Time : 0.0 sec. user=mdettweiler [2015-06-25 16:20:54] 669*2^1401368-1 is not prime. Res64: 84C8DD1852F359D4 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:20:54] 803*2^1401368-1 is not prime. Res64: C6A66D27E1113435 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:20:57] 825*2^1401368-1 is not prime. Res64: 97E59EA191F1732A Time : 0.0 sec. user=mdettweiler [2015-06-25 16:20:57] 893*2^1401368-1 is not prime. Res64: 20526EFC6867CE53 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:29:04] 625*2^1401369-1 is not prime. Res64: 2EFC5E6BA7D4AE34 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:29:04] 667*2^1401369-1 is not prime. Res64: DF96962BB1E64F03 Time : 0.0 sec. user=S_K_ [2015-06-25 16:29:21] 625*2^1401367-1 is not prime. Res64: 03BAB2A36A4352E9 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:38:18] 691*2^1401369-1 is not prime. Res64: DD76A5B2E4FFD131 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:38:18] 727*2^1401369-1 is not prime. Res64: 185A3E6845C4CDDB Time : 0.0 sec. user=mdettweiler [2015-06-25 16:38:20] 759*2^1401369-1 is not prime. Res64: 11041FA34BC14839 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:38:21] 817*2^1401369-1 is not prime. Res64: 056F697C1353574B Time : 0.0 sec. user=mdettweiler [2015-06-25 16:46:32] 867*2^1401369-1 is not prime. Res64: 2C060A3E85B96522 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:46:32] 985*2^1401369-1 is not prime. Res64: FF8904F28FDCE42A Time : 0.0 sec. user=mdettweiler [2015-06-25 16:55:48] 645*2^1401370-1 is not prime. Res64: F6726D2975C02DAC Time : 0.0 sec. user=mdettweiler [2015-06-25 16:55:48] 665*2^1401370-1 is not prime. Res64: 389E7D88E7377E01 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:55:49] 861*2^1401370-1 is not prime. Res64: 865A176ECD131970 Time : 0.0 sec. user=mdettweiler [2015-06-25 16:55:50] 887*2^1401370-1 is not prime. Res64: 55B3400BA2813D84 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:03:59] 915*2^1401370-1 is not prime. Res64: 64665AC3F0D01F3E Time : 0.0 sec. user=mdettweiler [2015-06-25 17:04:01] 975*2^1401370-1 is not prime. Res64: C022D93ADCADECD0 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:13:09] 615*2^1401371-1 is not prime. Res64: 9B8A3BE0246DB29D Time : 0.0 sec. user=mdettweiler [2015-06-25 17:13:09] 621*2^1401371-1 is not prime. Res64: 30FCFF0E56C0BE98 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:13:13] 645*2^1401371-1 is not prime. Res64: 4460355CA97C5F34 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:13:14] 679*2^1401371-1 is not prime. Res64: F5F5CE00C9684791 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:22:00] 741*2^1401371-1 is not prime. Res64: FCBC8FF5A33E3D7C Time : 0.0 sec. user=mdettweiler [2015-06-25 17:22:00] 823*2^1401371-1 is not prime. Res64: 3C5C9231A686C3EF Time : 0.0 sec. user=mdettweiler [2015-06-25 17:30:40] 883*2^1401371-1 is not prime. Res64: C8AC88C12A9A4151 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:30:41] 973*2^1401371-1 is not prime. Res64: D216A45470D1C02A Time : 0.0 sec. user=mdettweiler [2015-06-25 17:30:42] 633*2^1401372-1 is not prime. Res64: C5DE1E86C8957643 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:30:42] 635*2^1401372-1 is not prime. Res64: C6150ABDD341D763 Time : 0.0 sec. user=S_K_ [2015-06-25 17:36:07] 605*2^1401370-1 is not prime. Res64: 6F5E725F5820BA67 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:39:26] 765*2^1401372-1 is not prime. Res64: 4F5FEAD036EF1931 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:39:26] 779*2^1401372-1 is not prime. Res64: 24A85F8076565A37 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:48:09] 863*2^1401372-1 is not prime. Res64: 102CFB2183F227EF Time : 0.0 sec. user=mdettweiler [2015-06-25 17:48:09] 975*2^1401372-1 is not prime. Res64: 5FF81E91C2ADF809 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:48:09] 909*2^1401372-1 is not prime. Res64: D9FCC7E2741CAF66 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:48:09] 977*2^1401372-1 is not prime. Res64: C05732C2D16975F3 Time : 0.0 sec. user=mdettweiler [2015-06-25 17:56:49] 625*2^1401373-1 is not prime. Res64: 04B7921B7CC018CF Time : 0.0 sec. user=mdettweiler [2015-06-25 17:56:49] 651*2^1401373-1 is not prime. Res64: 71F8DAA6554B30AF Time : 0.0 sec. user=juhehe [2015-06-25 18:05:14] 737*2^1401372-1 is not prime. Res64: F666118F9652763F Time : 0.0 sec. user=mdettweiler [2015-06-25 18:05:37] 729*2^1401373-1 is not prime. Res64: 483643BABB26C08C Time : 0.0 sec. user=mdettweiler [2015-06-25 18:05:37] 757*2^1401373-1 is not prime. Res64: 643CAEB576E44949 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:05:39] 679*2^1401373-1 is not prime. Res64: CDDF93D698E8D2CA Time : 0.0 sec. user=mdettweiler [2015-06-25 18:05:40] 681*2^1401373-1 is not prime. Res64: FCEF0B0F6757D408 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:14:14] 775*2^1401373-1 is not prime. Res64: 59F44152C91A9862 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:14:15] 801*2^1401373-1 is not prime. Res64: B9CB9E56E7FD257F Time : 0.0 sec. user=mdettweiler [2015-06-25 18:23:09] 861*2^1401373-1 is not prime. Res64: 30681FF1FEA1AEEC Time : 0.0 sec. user=mdettweiler [2015-06-25 18:23:09] 897*2^1401373-1 is not prime. Res64: 976A6DE2892DBCB8 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:23:09] 811*2^1401373-1 is not prime. Res64: 140DE61460954C7B Time : 0.0 sec. user=mdettweiler [2015-06-25 18:23:10] 849*2^1401373-1 is not prime. Res64: D00EA3C8FE80E22E Time : 0.0 sec. user=mdettweiler [2015-06-25 18:31:44] 937*2^1401373-1 is not prime. Res64: 6CA56F308502D9B1 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:31:44] 951*2^1401373-1 is not prime. Res64: D5CC1AC57F14C9EF Time : 0.0 sec. user=mdettweiler [2015-06-25 18:40:36] 875*2^1401374-1 is not prime. Res64: 8D6C1C25F173BF10 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:40:36] 935*2^1401374-1 is not prime. Res64: E58D09714DDF195A Time : 0.0 sec. user=mdettweiler [2015-06-25 18:40:39] 815*2^1401374-1 is not prime. Res64: 2ECBD4409D35CBBF Time : 0.0 sec. user=mdettweiler [2015-06-25 18:40:40] 851*2^1401374-1 is not prime. Res64: 234C22AB995AA517 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:49:11] 965*2^1401374-1 is not prime. Res64: F8AEF31E45947B51 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:49:12] 763*2^1401375-1 is not prime. Res64: D0B5A2B3ECA59CE1 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:57:58] 783*2^1401375-1 is not prime. Res64: 7A0C23DEF1F7F4B0 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:57:59] 789*2^1401375-1 is not prime. Res64: E4C4850CD3850904 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:58:03] 805*2^1401375-1 is not prime. Res64: 169BC320573D1F73 Time : 0.0 sec. user=mdettweiler [2015-06-25 18:58:03] 871*2^1401375-1 is not prime. Res64: 36E5D70083BE08F4 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:06:35] 963*2^1401375-1 is not prime. Res64: 6BD540F879E2648F Time : 0.0 sec. user=mdettweiler [2015-06-25 19:06:35] 615*2^1401376-1 is not prime. Res64: B4BB5BAC4E3DF9FB Time : 0.0 sec. user=mdettweiler [2015-06-25 19:15:27] 743*2^1401376-1 is not prime. Res64: A8EF8C08CADF9664 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:15:28] 765*2^1401376-1 is not prime. Res64: 265D0EF5C3687875 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:15:31] 807*2^1401376-1 is not prime. Res64: FBC300946A956155 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:15:31] 869*2^1401376-1 is not prime. Res64: 7CF811F6AE95008D Time : 0.0 sec. user=mdettweiler [2015-06-25 19:24:11] 909*2^1401376-1 is not prime. Res64: 77D4C87171C2C54F Time : 0.0 sec. user=mdettweiler [2015-06-25 19:24:12] 989*2^1401376-1 is not prime. Res64: F53879EB3A835B68 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:32:56] 601*2^1401377-1 is not prime. Res64: 4947E7A4F00F87FC Time : 0.0 sec. user=mdettweiler [2015-06-25 19:32:56] 615*2^1401377-1 is not prime. Res64: 20E16B92BD374258 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:33:00] 831*2^1401377-1 is not prime. Res64: 801A4FDF0786EEFE Time : 0.0 sec. user=mdettweiler [2015-06-25 19:33:00] 879*2^1401377-1 is not prime. Res64: 5DF99CB1E84A7D34 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:41:37] 901*2^1401377-1 is not prime. Res64: 78FDA57DADE7EF93 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:41:37] 605*2^1401378-1 is not prime. Res64: 9D93E8BCB22639D4 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:50:24] 705*2^1401378-1 is not prime. Res64: 43E3138B470CEF64 Time : 0.0 sec. user=mdettweiler [2015-06-25 19:50:24] 773*2^1401378-1 is not prime. Res64: D8B4593E68695FEE Time : 0.0 sec. user=mdettweiler [2015-06-25 19:50:27] 625*2^1401379-1 is not prime. Res64: 47490BDEDF53F65E Time : 0.0 sec. user=mdettweiler [2015-06-25 19:50:27] 723*2^1401379-1 is not prime. Res64: D87FDE05AC8E363D Time : 0.0 sec. user=mdettweiler [2015-06-25 19:59:04] 883*2^1401379-1 is not prime. Res64: 976FF89C99A72ECE Time : 0.0 sec. user=mdettweiler [2015-06-25 19:59:05] 919*2^1401379-1 is not prime. Res64: 445F8A6C2003032F Time : 0.0 sec. user=mdettweiler [2015-06-25 20:07:46] 973*2^1401379-1 is not prime. Res64: 2EA978C1354C747A Time : 0.0 sec. user=mdettweiler [2015-06-25 20:07:47] 985*2^1401379-1 is not prime. Res64: 33D23F90E901A95E Time : 0.0 sec. user=mdettweiler [2015-06-25 20:07:50] 785*2^1401380-1 is not prime. Res64: D0F9E9AED55F8925 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:07:51] 797*2^1401380-1 is not prime. Res64: 91F589ADE2ABC9C5 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:16:28] 803*2^1401380-1 is not prime. Res64: 48242BB5D4DD66A8 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:16:29] 621*2^1401381-1 is not prime. Res64: 01CB6351114A5C5E Time : 0.0 sec. user=juhehe [2015-06-25 20:21:36] 789*2^1401379-1 is not prime. Res64: A6E77B7CD622ECCA Time : 0.0 sec. user=juhehe [2015-06-25 20:22:05] 835*2^1401379-1 is not prime. Res64: 08991D8BF418FF0A Time : 0.0 sec. user=mdettweiler [2015-06-25 20:25:14] 625*2^1401381-1 is not prime. Res64: 055C2DACBE17CF2F Time : 0.0 sec. user=mdettweiler [2015-06-25 20:25:14] 675*2^1401381-1 is not prime. Res64: B6EEFB889AB63163 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:25:14] 627*2^1401381-1 is not prime. Res64: 1D1B3FB62280D9C5 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:25:14] 685*2^1401381-1 is not prime. Res64: 509718799B0E4818 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:33:54] 711*2^1401381-1 is not prime. Res64: AD263A6B77A86454 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:33:54] 825*2^1401381-1 is not prime. Res64: 4BCE13784E37AADC Time : 0.0 sec. user=mdettweiler [2015-06-25 20:43:12] 647*2^1401382-1 is not prime. Res64: DCE0944F3EDBDA42 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:43:13] 665*2^1401382-1 is not prime. Res64: 58844F6EBA4622A2 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:43:13] 997*2^1401381-1 is not prime. Res64: 5D61830A293F7E8E Time : 0.0 sec. user=mdettweiler [2015-06-25 20:43:13] 623*2^1401382-1 is not prime. Res64: 0031B005707C23DF Time : 0.0 sec. user=mdettweiler [2015-06-25 20:52:04] 677*2^1401382-1 is not prime. Res64: CA02B716F9E97064 Time : 0.0 sec. user=mdettweiler [2015-06-25 20:52:04] 705*2^1401382-1 is not prime. Res64: 0CCF284C41A3FC43 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:01:10] 897*2^1401382-1 is not prime. Res64: A36D9838641375F9 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:01:11] 983*2^1401382-1 is not prime. Res64: 8A2AB3E67C9C183B Time : 0.0 sec. user=mdettweiler [2015-06-25 21:01:13] 673*2^1401383-1 is not prime. Res64: 1AC25A5CF004BDBA Time : 0.0 sec. user=mdettweiler [2015-06-25 21:01:14] 763*2^1401383-1 is not prime. Res64: F544D8FBEAC22631 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:09:49] 771*2^1401383-1 is not prime. Res64: EF5C74979C3F93DE Time : 0.0 sec. user=mdettweiler [2015-06-25 21:09:49] 811*2^1401383-1 is not prime. Res64: D03E841F5EE6BFDE Time : 0.0 sec. user=mdettweiler [2015-06-25 21:18:47] 879*2^1401383-1 is not prime. Res64: 0D7EEE08A4AD8206 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:18:48] 913*2^1401383-1 is not prime. Res64: 741935F5B938812A Time : 0.0 sec. user=mdettweiler [2015-06-25 21:18:49] 973*2^1401383-1 is not prime. Res64: 4DF673B72E7B62BB Time : 0.0 sec. user=mdettweiler [2015-06-25 21:18:49] 623*2^1401384-1 is not prime. Res64: BE7296A789F9B5D0 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:27:14] 683*2^1401384-1 is not prime. Res64: 29CC021F1C21C774 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:27:14] 707*2^1401384-1 is not prime. Res64: AC4706E53C603C80 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:36:10] 899*2^1401384-1 is not prime. Res64: 8F746B311FA0CEB8 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:36:10] 905*2^1401384-1 is not prime. Res64: D274AE20D480997C Time : 0.0 sec. user=mdettweiler [2015-06-25 21:36:15] 725*2^1401384-1 is not prime. Res64: 77638622A1A51E8A Time : 0.0 sec. user=mdettweiler [2015-06-25 21:36:16] 809*2^1401384-1 is not prime. Res64: C8203BCD6D19250B Time : 0.0 sec. user=mdettweiler [2015-06-25 21:44:37] 687*2^1401385-1 is not prime. Res64: 004BF64BFD3648F1 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:44:37] 705*2^1401385-1 is not prime. Res64: 22E5C6A093C00AD0 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:53:31] 721*2^1401385-1 is not prime. Res64: 11DE8E17C53509AD Time : 0.0 sec. user=mdettweiler [2015-06-25 21:53:32] 777*2^1401385-1 is not prime. Res64: 72DD803903D12EDF Time : 0.0 sec. user=mdettweiler [2015-06-25 21:53:38] 805*2^1401385-1 is not prime. Res64: 721012380BBC3CF8 Time : 0.0 sec. user=mdettweiler [2015-06-25 21:53:38] 847*2^1401385-1 is not prime. Res64: 29148692B857A52E Time : 0.0 sec. user=mdettweiler [2015-06-25 22:01:59] 855*2^1401385-1 is not prime. Res64: 145D8B799D16D97A Time : 0.0 sec. user=mdettweiler [2015-06-25 22:01:59] 895*2^1401385-1 is not prime. Res64: 072EFFA7D9B2BAB2 Time : 0.0 sec. user=juhehe [2015-06-25 22:09:14] 927*2^1401384-1 is not prime. Res64: 100E0460B303BE5A Time : 0.0 sec. user=mdettweiler [2015-06-25 22:10:53] 633*2^1401386-1 is not prime. Res64: 37886D979F7F1AE8 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:10:53] 635*2^1401386-1 is not prime. Res64: 16D7CA9BD19532F0 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:10:59] 651*2^1401386-1 is not prime. Res64: 4307C82BD9F19D7B Time : 0.0 sec. user=mdettweiler [2015-06-25 22:11:00] 741*2^1401386-1 is not prime. Res64: 0589C09A91617B06 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:19:25] 785*2^1401386-1 is not prime. Res64: CC9E5282ACEE2008 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:19:25] 875*2^1401386-1 is not prime. Res64: B5F770B3F4A1A891 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:28:17] 887*2^1401386-1 is not prime. Res64: DBEF501C48F7E863 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:28:18] 781*2^1401387-1 is not prime. Res64: A49744BB862166D8 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:28:21] 729*2^1401388-1 is not prime. Res64: BE6F42BB3CBBAD91 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:28:21] 813*2^1401388-1 is not prime. Res64: 6D5FF92D3AD50414 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:36:46] 915*2^1401388-1 is not prime. Res64: 7DBEA370A20F4A2C Time : 0.0 sec. user=mdettweiler [2015-06-25 22:36:46] 929*2^1401388-1 is not prime. Res64: F7C0CABA40578F7E Time : 0.0 sec. user=mdettweiler [2015-06-25 22:45:38] 621*2^1401389-1 is not prime. Res64: 9FC46E5A53664AEA Time : 0.0 sec. user=mdettweiler [2015-06-25 22:45:38] 631*2^1401389-1 is not prime. Res64: 4307DA7A71F513E3 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:45:43] 657*2^1401389-1 is not prime. Res64: E7EC75484A2B4280 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:45:43] 675*2^1401389-1 is not prime. Res64: 2BCD1A89C05B6254 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:54:10] 799*2^1401389-1 is not prime. Res64: EDD779123C4B1951 Time : 0.0 sec. user=mdettweiler [2015-06-25 22:54:10] 831*2^1401389-1 is not prime. Res64: EBB31700EB6A7257 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:03:03] 847*2^1401389-1 is not prime. Res64: 7F8B6B56A385410D Time : 0.0 sec. user=mdettweiler [2015-06-25 23:03:05] 855*2^1401389-1 is not prime. Res64: 69D9B95CD0DEEE63 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:03:08] 907*2^1401389-1 is not prime. Res64: 5AF814B6FEFEA947 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:03:09] 969*2^1401389-1 is not prime. Res64: 676223B406CBD615 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:11:40] 615*2^1401390-1 is not prime. Res64: 6CEB2F7AC1567673 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:11:40] 693*2^1401390-1 is not prime. Res64: F8CE357F6080D9EB Time : 0.0 sec. user=mdettweiler [2015-06-25 23:20:52] 695*2^1401390-1 is not prime. Res64: F51787BA003BEA07 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:20:53] 747*2^1401390-1 is not prime. Res64: 1FE5B879317EC775 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:20:54] 963*2^1401390-1 is not prime. Res64: 9579C0BBE281AE02 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:20:55] 645*2^1401391-1 is not prime. Res64: 3AB0BA307882EA8B Time : 0.0 sec. user=mdettweiler [2015-06-25 23:29:14] 805*2^1401391-1 is not prime. Res64: AD649BA2D8E37C50 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:29:15] 843*2^1401391-1 is not prime. Res64: 876309862AFEB349 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:38:21] 861*2^1401391-1 is not prime. Res64: 66075402C3DA9D82 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:38:21] 855*2^1401391-1 is not prime. Res64: 8EBB5EEFD446A26E Time : 0.0 sec. user=mdettweiler [2015-06-25 23:38:21] 993*2^1401391-1 is not prime. Res64: F99854CEA4B82A6E Time : 0.0 sec. user=mdettweiler [2015-06-25 23:38:21] 859*2^1401391-1 is not prime. Res64: 9E1C39168118E109 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:46:39] 605*2^1401392-1 is not prime. Res64: 78A1E22FE2B966D7 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:46:39] 645*2^1401392-1 is not prime. Res64: 7BFDD0AB04A46678 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:55:42] 719*2^1401392-1 is not prime. Res64: F7ED2ABE0C890091 Time : 0.0 sec. user=mdettweiler [2015-06-25 23:55:43] 755*2^1401392-1 is not prime. Res64: 0FC63170AB31B1EC Time : 0.0 sec. user=mdettweiler [2015-06-25 23:55:43] 813*2^1401392-1 is not prime. Res64: F7790955132A7AFE Time : 0.0 sec. user=mdettweiler [2015-06-25 23:55:44] 855*2^1401392-1 is not prime. Res64: 4FA2FA820ABDE854 Time : 0.0 sec.