user=mdettweiler [2013-08-08 00:04:38] 813*2^1250044-1 is not prime. Res64: BDDF0AB86B62F9D0 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:04:40] 827*2^1250044-1 is not prime. Res64: A832B7A340120155 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:10:34] 875*2^1250044-1 is not prime. Res64: B41C0EC68B7C37E3 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:10:36] 899*2^1250044-1 is not prime. Res64: DE22D1CC1320E6AD Time : 0.0 sec. user=mdettweiler [2013-08-08 00:13:06] 927*2^1250044-1 is not prime. Res64: 554C64B4647891AF Time : 0.0 sec. user=mdettweiler [2013-08-08 00:13:06] 975*2^1250044-1 is not prime. Res64: B6F025D7B8F2157D Time : 0.0 sec. user=Beyond [2013-08-08 00:17:41] 657*2^1250045-1 is not prime. Res64: 9481B7812AB9E513 Time : 0.0 sec. user=Beyond [2013-08-08 00:19:19] 721*2^1250045-1 is not prime. Res64: 4B99D2BD8D66AEAE Time : 0.0 sec. user=mdettweiler [2013-08-08 00:19:46] 801*2^1250045-1 is not prime. Res64: 728585835E43C3D3 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:19:46] 811*2^1250045-1 is not prime. Res64: 111CA1EDD266C099 Time : 0.0 sec. user=Beyond [2013-08-08 00:22:00] 795*2^1250045-1 is not prime. Res64: 46E43564586F9674 Time : 0.0 sec. user=Beyond [2013-08-08 00:23:42] 855*2^1250045-1 is not prime. Res64: 8F6285D6D5B96210 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:25:21] 969*2^1250045-1 is not prime. Res64: 12A9B28A5169BFCF Time : 0.0 sec. user=mdettweiler [2013-08-08 00:25:21] 635*2^1250046-1 is not prime. Res64: 078F42371A0AD496 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:30:28] 657*2^1250046-1 is not prime. Res64: 94C692F336AA7210 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:30:29] 671*2^1250046-1 is not prime. Res64: 86424C553F1BC97C Time : 0.0 sec. user=mdettweiler [2013-08-08 00:34:43] 933*2^1250046-1 is not prime. Res64: 77F79D3FF868A634 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:34:44] 971*2^1250046-1 is not prime. Res64: CE376DEF068FD777 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:39:28] 673*2^1250047-1 is not prime. Res64: 44864936A51E6712 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:39:29] 759*2^1250047-1 is not prime. Res64: 57C15876E423C311 Time : 0.0 sec. user=Beyond [2013-08-08 00:41:56] 663*2^1250047-1 is not prime. Res64: 5210CD5869F46CDB Time : 0.0 sec. user=Beyond [2013-08-08 00:44:34] 1001*2^1250046-1 is not prime. Res64: DBB3D39568182BD5 Time : 0.0 sec. user=Beyond [2013-08-08 00:44:42] 793*2^1250047-1 is not prime. Res64: 00024814F97870B5 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:45:01] 883*2^1250047-1 is not prime. Res64: FCEFC85AC5821D21 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:45:01] 885*2^1250047-1 is not prime. Res64: 59DB2867EBDCAF90 Time : 0.0 sec. user=Beyond [2013-08-08 00:46:24] 873*2^1250047-1 is not prime. Res64: 6F0319FEFB6B8163 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:52:07] 951*2^1250047-1 is not prime. Res64: 4E20092D9DCA2684 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:52:08] 961*2^1250047-1 is not prime. Res64: 29DE8C11F64E5458 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:54:28] 713*2^1250048-1 is not prime. Res64: AEBD0F60B0B38D8B Time : 0.0 sec. user=mdettweiler [2013-08-08 00:54:28] 815*2^1250048-1 is not prime. Res64: DB4A6925AA8F66AD Time : 0.0 sec. user=mdettweiler [2013-08-08 00:59:11] 681*2^1250049-1 is not prime. Res64: 4234458DABF45521 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:59:11] 691*2^1250049-1 is not prime. Res64: 19089177D169FDEA Time : 0.0 sec. user=Beyond [2013-08-08 01:04:44] 781*2^1250049-1 is not prime. Res64: E6FF810E0A513AB3 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:06:47] 951*2^1250049-1 is not prime. Res64: 79D31A4D3440FDDA Time : 0.0 sec. user=mdettweiler [2013-08-08 01:06:48] 987*2^1250049-1 is not prime. Res64: 63F39E29468CDA70 Time : 0.0 sec. user=Beyond [2013-08-08 01:07:18] 877*2^1250049-1 is not prime. Res64: D649C497C977AD92 Time : 0.0 sec. user=Beyond [2013-08-08 01:09:11] 645*2^1250050-1 is not prime. Res64: D03EDE046D9F0929 Time : 0.0 sec. user=Beyond [2013-08-08 01:11:43] 945*2^1250049-1 is not prime. Res64: 31BD8F670FED502F Time : 0.0 sec. user=mdettweiler [2013-08-08 01:11:46] 657*2^1250050-1 is not prime. Res64: 65ADAB4F1C540361 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:11:46] 675*2^1250050-1 is not prime. Res64: F718F8CE7793CE11 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:14:10] 773*2^1250050-1 is not prime. Res64: 854A0F9D2AEC80B8 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:14:10] 825*2^1250050-1 is not prime. Res64: 6888E437BB0AB26C Time : 0.0 sec. user=mdettweiler [2013-08-08 01:18:50] 833*2^1250050-1 is not prime. Res64: 9BBDB60C668D70D0 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:18:51] 855*2^1250050-1 is not prime. Res64: 9431538091DA1F27 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:27:24] 705*2^1250051-1 is not prime. Res64: ECE459C0396D3784 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:27:25] 939*2^1250051-1 is not prime. Res64: 070BBF7BE1825B5E Time : 0.0 sec. user=mdettweiler [2013-08-08 01:31:37] 825*2^1250052-1 is not prime. Res64: 7F1A5F3C27A70D11 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:31:37] 837*2^1250052-1 is not prime. Res64: F02BA05D224E8D8D Time : 0.0 sec. user=Beyond [2013-08-08 01:31:42] 933*2^1250050-1 is not prime. Res64: 7D3144B3C3CD5B22 Time : 0.0 sec. user=Beyond [2013-08-08 01:31:49] 699*2^1250052-1 is not prime. Res64: E94C646467664C34 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:33:53] 619*2^1250053-1 is not prime. Res64: 9E7E6B751A55C69E Time : 0.0 sec. user=mdettweiler [2013-08-08 01:33:54] 651*2^1250053-1 is not prime. Res64: A26C5971E2E34B94 Time : 0.0 sec. user=Beyond [2013-08-08 01:34:16] 955*2^1250051-1 is not prime. Res64: 95296B93680ED19F Time : 0.0 sec. user=Beyond [2013-08-08 01:34:22] 777*2^1250052-1 is not prime. Res64: 935BA32E98AB8392 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:38:34] 745*2^1250053-1 is not prime. Res64: 04D5B07BE81F860C Time : 0.0 sec. user=mdettweiler [2013-08-08 01:38:35] 769*2^1250053-1 is not prime. Res64: AC389342B13ED812 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:47:09] 835*2^1250053-1 is not prime. Res64: 6B5E3A0E4872F262 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:47:10] 867*2^1250053-1 is not prime. Res64: FC69C0186CF92E11 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:52:13] 885*2^1250053-1 is not prime. Res64: 9CD0545FC186D4C0 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:52:14] 939*2^1250053-1 is not prime. Res64: B27BD4DD79791415 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:53:42] 641*2^1250054-1 is not prime. Res64: DBF7F4C32FA0F9A4 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:53:43] 671*2^1250054-1 is not prime. Res64: 03FDEFA57D6100BE Time : 0.0 sec. user=Beyond [2013-08-08 01:56:47] 827*2^1250054-1 is not prime. Res64: 7BC96CF9FA335913 Time : 0.0 sec. user=Beyond [2013-08-08 01:58:38] 987*2^1250053-1 is not prime. Res64: 0C2E1DFBE846C80B Time : 0.0 sec. user=Beyond [2013-08-08 01:58:39] 961*2^1250053-1 is not prime. Res64: 11C94B7E4DADE859 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:59:16] 981*2^1250054-1 is not prime. Res64: C127C9B9F8C24167 Time : 0.0 sec. user=mdettweiler [2013-08-08 01:59:16] 619*2^1250055-1 is not prime. Res64: B03A688BC0F94869 Time : 0.0 sec. user=Beyond [2013-08-08 02:01:12] 965*2^1250054-1 is not prime. Res64: F8D756864A977F35 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:06:55] 709*2^1250055-1 is not prime. Res64: B4BC1E14F64F184A Time : 0.0 sec. user=mdettweiler [2013-08-08 02:06:56] 711*2^1250055-1 is not prime. Res64: CA60175B6FF94FFC Time : 0.0 sec. user=mdettweiler [2013-08-08 02:12:14] 765*2^1250055-1 is not prime. Res64: 834A97F397E96299 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:12:15] 783*2^1250055-1 is not prime. Res64: 08AFA34602F3C56F Time : 0.0 sec. user=mdettweiler [2013-08-08 02:14:27] 859*2^1250055-1 is not prime. Res64: BAB039A414FBB037 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:14:28] 943*2^1250055-1 is not prime. Res64: BD1FC032A088D7A2 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:19:04] 615*2^1250057-1 is not prime. Res64: 280E561038364001 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:19:05] 627*2^1250057-1 is not prime. Res64: FE20CC3BAE1E3096 Time : 0.0 sec. user=Beyond [2013-08-08 02:21:19] 615*2^1250056-1 is not prime. Res64: 58313ADC4FB2A615 Time : 0.0 sec. user=Beyond [2013-08-08 02:23:46] 999*2^1250055-1 is not prime. Res64: 52E7EBF2B89D53EC Time : 0.0 sec. user=Beyond [2013-08-08 02:23:56] 691*2^1250057-1 is not prime. Res64: 5684C685ED026388 Time : 0.0 sec. user=Beyond [2013-08-08 02:25:34] 999*2^1250056-1 is not prime. Res64: CDC690206A148A50 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:26:41] 759*2^1250057-1 is not prime. Res64: DDA73534A2B569E7 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:26:42] 777*2^1250057-1 is not prime. Res64: AA065FD6314433CD Time : 0.0 sec. user=mdettweiler [2013-08-08 02:32:53] 871*2^1250057-1 is not prime. Res64: 8B0E91AF3B353822 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:32:55] 939*2^1250057-1 is not prime. Res64: 14F1427C023E1CE9 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:36:01] 957*2^1250057-1 is not prime. Res64: 7D9302E47B269560 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:36:02] 981*2^1250057-1 is not prime. Res64: 061B650770B2502C Time : 0.0 sec. user=mdettweiler [2013-08-08 02:38:45] 621*2^1250058-1 is not prime. Res64: E159D736952A5379 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:38:47] 627*2^1250058-1 is not prime. Res64: 7138B14B659F0C4D Time : 0.0 sec. user=Beyond [2013-08-08 02:44:13] 651*2^1250058-1 is not prime. Res64: 9C634A5D8619DC37 Time : 0.0 sec. user=Beyond [2013-08-08 02:46:39] 725*2^1250058-1 is not prime. Res64: CBCFF3D7CEE9D136 Time : 0.0 sec. user=Beyond [2013-08-08 02:46:49] 791*2^1250058-1 is not prime. Res64: AA6D8735BD97053A Time : 0.0 sec. user=mdettweiler [2013-08-08 02:48:23] 941*2^1250058-1 is not prime. Res64: F1DC134541DBBE3A Time : 0.0 sec. user=mdettweiler [2013-08-08 02:48:23] 945*2^1250058-1 is not prime. Res64: 2C05CAEFFB3F9A85 Time : 0.0 sec. user=Beyond [2013-08-08 02:48:28] 803*2^1250058-1 is not prime. Res64: A27C21CF5F24770F Time : 0.0 sec. user=mdettweiler [2013-08-08 02:53:36] 975*2^1250058-1 is not prime. Res64: 447A122C4793585E Time : 0.0 sec. user=mdettweiler [2013-08-08 02:53:36] 679*2^1250059-1 is not prime. Res64: F002EA5D56A43E70 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:55:44] 769*2^1250059-1 is not prime. Res64: A76D63CBC020F6BE Time : 0.0 sec. user=mdettweiler [2013-08-08 02:55:44] 913*2^1250059-1 is not prime. Res64: F341CA81325B00A7 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:58:28] 629*2^1250060-1 is not prime. Res64: 463183F450F8D841 Time : 0.0 sec. user=mdettweiler [2013-08-08 02:58:28] 647*2^1250060-1 is not prime. Res64: A56ED2DBF9D84461 Time : 0.0 sec. user=Beyond [2013-08-08 03:07:22] 659*2^1250060-1 is not prime. Res64: E729243A64F3B713 Time : 0.0 sec. user=Beyond [2013-08-08 03:09:34] 677*2^1250060-1 is not prime. Res64: 2C00A8C581D9E2D6 Time : 0.0 sec. user=Beyond [2013-08-08 03:09:44] 893*2^1250060-1 is not prime. Res64: 84B0E5403360EB38 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:09:59] 927*2^1250060-1 is not prime. Res64: BD1C345BB1D8D448 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:10:00] 977*2^1250060-1 is not prime. Res64: C062CDD4E14400C6 Time : 0.0 sec. user=Beyond [2013-08-08 03:11:21] 627*2^1250061-1 is not prime. Res64: D2E97F602C7AFD2F Time : 0.0 sec. user=mdettweiler [2013-08-08 03:13:19] 657*2^1250061-1 is not prime. Res64: B3341B33E0A39366 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:13:20] 741*2^1250061-1 is not prime. Res64: B4C788D6440614F8 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:15:27] 777*2^1250061-1 is not prime. Res64: E8C123B107984289 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:15:27] 819*2^1250061-1 is not prime. Res64: E3CE28ACB563D385 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:18:09] 829*2^1250061-1 is not prime. Res64: 4F0B5194374B5070 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:18:10] 847*2^1250061-1 is not prime. Res64: EB09D485920DDF24 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:29:37] 761*2^1250062-1 is not prime. Res64: AAA0420242B8B664 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:29:38] 815*2^1250062-1 is not prime. Res64: 82F1D09D5266C79F Time : 0.0 sec. user=Beyond [2013-08-08 03:32:25] 681*2^1250062-1 is not prime. Res64: F4A112DD2B5A4371 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:33:57] 981*2^1250062-1 is not prime. Res64: F9CDD17545E565ED Time : 0.0 sec. user=mdettweiler [2013-08-08 03:33:58] 663*2^1250063-1 is not prime. Res64: 33F8EE025CF08E06 Time : 0.0 sec. user=Beyond [2013-08-08 03:34:25] 937*2^1250061-1 is not prime. Res64: BDAF879D0152DF1F Time : 0.0 sec. user=mdettweiler [2013-08-08 03:36:02] 871*2^1250063-1 is not prime. Res64: FC9B95B37E3E2580 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:36:03] 921*2^1250063-1 is not prime. Res64: 7D09E8998238E38D Time : 0.0 sec. user=Beyond [2013-08-08 03:36:31] 951*2^1250061-1 is not prime. Res64: DBE75E9D9F9971BD Time : 0.0 sec. user=Beyond [2013-08-08 03:38:19] 917*2^1250062-1 is not prime. Res64: 706AC8263F0061DB Time : 0.0 sec. user=mdettweiler [2013-08-08 03:39:41] 949*2^1250063-1 is not prime. Res64: 70826DB0DF82CFE6 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:39:42] 981*2^1250063-1 is not prime. Res64: 39785BEDB5D092DF Time : 0.0 sec. user=mdettweiler [2013-08-08 03:50:20] 985*2^1250063-1 is not prime. Res64: 2BCB59AF7F87DF40 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:50:21] 605*2^1250064-1 is not prime. Res64: 6082A0A013A77FB8 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:54:00] 699*2^1250064-1 is not prime. Res64: 15C5896E7FF60828 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:54:01] 737*2^1250064-1 is not prime. Res64: 7D36C845F7D63A43 Time : 0.0 sec. user=Beyond [2013-08-08 03:55:17] 693*2^1250064-1 is not prime. Res64: 522B63E5EFC78466 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:56:03] 849*2^1250064-1 is not prime. Res64: C576E6318C40ED81 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:56:03] 899*2^1250064-1 is not prime. Res64: 65961738C0C4FDB3 Time : 0.0 sec. user=Beyond [2013-08-08 03:57:15] 767*2^1250064-1 is not prime. Res64: 074BA8B51D2D150D Time : 0.0 sec. user=Beyond [2013-08-08 03:59:25] 905*2^1250064-1 is not prime. Res64: CB36E551AE31B86A Time : 0.0 sec. user=mdettweiler [2013-08-08 03:59:28] 667*2^1250065-1 is not prime. Res64: 3C4E56AB3D485C83 Time : 0.0 sec. user=mdettweiler [2013-08-08 03:59:28] 775*2^1250065-1 is not prime. Res64: 0CD03C66A5F8A80D Time : 0.0 sec. user=Beyond [2013-08-08 04:01:11] 651*2^1250065-1 is not prime. Res64: CA76179E4D7C7E16 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:09:59] 819*2^1250065-1 is not prime. Res64: EE1132C065DF8F99 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:10:00] 841*2^1250065-1 is not prime. Res64: DCEAF89B81A4CDDD Time : 0.0 sec. user=mdettweiler [2013-08-08 04:13:38] 849*2^1250065-1 is not prime. Res64: 37F6AA767EDCDB56 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:13:38] 895*2^1250065-1 is not prime. Res64: 89737F060E3CF541 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:16:41] 999*2^1250065-1 is not prime. Res64: E1B70E5ECC15B465 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:16:41] 633*2^1250066-1 is not prime. Res64: E251FF6C6D1E36C6 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:19:07] 773*2^1250066-1 is not prime. Res64: F89E6980D268F8C3 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:19:07] 831*2^1250066-1 is not prime. Res64: E7B592D6E1EA5467 Time : 0.0 sec. user=Beyond [2013-08-08 04:20:01] 755*2^1250066-1 is not prime. Res64: 8F1564F87DD27081 Time : 0.0 sec. user=Beyond [2013-08-08 04:22:13] 767*2^1250066-1 is not prime. Res64: C420C334AEB6F496 Time : 0.0 sec. user=Beyond [2013-08-08 04:22:16] 975*2^1250065-1 is not prime. Res64: 49FC17CC7E4C5186 Time : 0.0 sec. user=Beyond [2013-08-08 04:23:58] 911*2^1250066-1 is not prime. Res64: 4610560D50931904 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:30:42] 945*2^1250066-1 is not prime. Res64: 5C99653BE86E5427 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:30:43] 699*2^1250067-1 is not prime. Res64: 2541E3A5D8DCADFD Time : 0.0 sec. user=mdettweiler [2013-08-08 04:33:22] 741*2^1250067-1 is not prime. Res64: 9A81F2385A475435 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:33:24] 835*2^1250067-1 is not prime. Res64: 1F5808BB92323388 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:36:22] 873*2^1250067-1 is not prime. Res64: EAF372ED29FD2047 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:36:23] 885*2^1250067-1 is not prime. Res64: 1B651A571A9CE790 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:40:41] 919*2^1250067-1 is not prime. Res64: C15A227BFB545885 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:40:42] 955*2^1250067-1 is not prime. Res64: 897DD5B9B834C05F Time : 0.0 sec. user=Beyond [2013-08-08 04:46:28] 601*2^1250069-1 is not prime. Res64: 81833440D2956220 Time : 0.0 sec. user=Beyond [2013-08-08 04:46:57] 973*2^1250067-1 is not prime. Res64: 7505F0B56EEA6C0D Time : 0.0 sec. user=Beyond [2013-08-08 04:49:07] 985*2^1250067-1 is not prime. Res64: E9FD037C754B1E1C Time : 0.0 sec. user=Beyond [2013-08-08 04:49:15] 933*2^1250068-1 is not prime. Res64: 71F8C05F18E5412C Time : 0.0 sec. user=mdettweiler [2013-08-08 04:50:23] 615*2^1250069-1 is not prime. Res64: ABB241E6A213DD44 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:50:24] 657*2^1250069-1 is not prime. Res64: E5339229378D0C76 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:53:04] 781*2^1250069-1 is not prime. Res64: 11F3F9274733C2BF Time : 0.0 sec. user=mdettweiler [2013-08-08 04:53:04] 847*2^1250069-1 is not prime. Res64: 72A8C0C373EF5284 Time : 0.0 sec. user=mdettweiler [2013-08-08 04:56:57] 969*2^1250069-1 is not prime. Res64: BB87D4083ABA792B Time : 0.0 sec. user=mdettweiler [2013-08-08 04:56:57] 723*2^1250070-1 is not prime. Res64: B4E57C5FCF8EB856 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:00:25] 861*2^1250070-1 is not prime. Res64: DA4E904B29F7620E Time : 0.0 sec. user=mdettweiler [2013-08-08 05:00:26] 891*2^1250070-1 is not prime. Res64: 77F28CA337E568DA Time : 0.0 sec. user=Beyond [2013-08-08 05:09:29] 741*2^1250071-1 is not prime. Res64: 8C173F5967733268 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:10:00] 665*2^1250072-1 is not prime. Res64: 2F18C27D1983931C Time : 0.0 sec. user=mdettweiler [2013-08-08 05:10:01] 687*2^1250072-1 is not prime. Res64: 6F28CBBAEC407925 Time : 0.0 sec. user=Beyond [2013-08-08 05:11:45] 745*2^1250071-1 is not prime. Res64: E940CB8FB4374F3F Time : 0.0 sec. user=mdettweiler [2013-08-08 05:12:38] 699*2^1250072-1 is not prime. Res64: D99C8B13B6EBBF93 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:12:39] 725*2^1250072-1 is not prime. Res64: 6D9717B894514553 Time : 0.0 sec. user=Beyond [2013-08-08 05:13:34] 933*2^1250070-1 is not prime. Res64: 390946408349B5A5 Time : 0.0 sec. user=Beyond [2013-08-08 05:16:10] 961*2^1250071-1 is not prime. Res64: 696AF6AA48EFEAEC Time : 0.0 sec. user=mdettweiler [2013-08-08 05:16:32] 785*2^1250072-1 is not prime. Res64: ECCAEB2A65697A57 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:16:33] 827*2^1250072-1 is not prime. Res64: F7511A2AFF56730F Time : 0.0 sec. user=mdettweiler [2013-08-08 05:20:04] 855*2^1250072-1 is not prime. Res64: F210A8D633DB8A13 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:20:05] 897*2^1250072-1 is not prime. Res64: 06694F9E4D82F62D Time : 0.0 sec. user=mdettweiler [2013-08-08 05:29:42] 741*2^1250073-1 is not prime. Res64: E963F7A8F6DF2414 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:29:42] 805*2^1250073-1 is not prime. Res64: C3DC3300F0A9EEFC Time : 0.0 sec. user=Beyond [2013-08-08 05:32:12] 705*2^1250073-1 is not prime. Res64: B057C81C5360EC81 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:32:16] 889*2^1250073-1 is not prime. Res64: 50555DF04ABAE05F Time : 0.0 sec. user=mdettweiler [2013-08-08 05:32:17] 895*2^1250073-1 is not prime. Res64: B72684A618AB9CE1 Time : 0.0 sec. user=Beyond [2013-08-08 05:34:42] 861*2^1250073-1 is not prime. Res64: 45CE8E928DD48ADC Time : 0.0 sec. user=mdettweiler [2013-08-08 05:36:09] 681*2^1250074-1 is not prime. Res64: D042B47E40B5BB1C Time : 0.0 sec. user=mdettweiler [2013-08-08 05:36:09] 701*2^1250074-1 is not prime. Res64: 57256FB55242A5E0 Time : 0.0 sec. user=Beyond [2013-08-08 05:39:13] 605*2^1250074-1 is not prime. Res64: 3F223AE1E296A6F3 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:39:42] 705*2^1250074-1 is not prime. Res64: 002D02BD336E96F7 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:39:43] 755*2^1250074-1 is not prime. Res64: B1DF08DF4DCFEC45 Time : 0.0 sec. user=Beyond [2013-08-08 05:40:36] 915*2^1250073-1 is not prime. Res64: 99BE0EC19B97E758 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:50:21] 833*2^1250074-1 is not prime. Res64: BF2BBFA6DF750806 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:50:21] 983*2^1250074-1 is not prime. Res64: D300ECA815CC4F8D Time : 0.0 sec. user=mdettweiler [2013-08-08 05:51:57] 685*2^1250075-1 is not prime. Res64: F58D3F9FE6732F68 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:51:57] 715*2^1250075-1 is not prime. Res64: 7C2851FFE78FC65B Time : 0.0 sec. user=Beyond [2013-08-08 05:55:03] 619*2^1250075-1 is not prime. Res64: 809DA2C8192CE7FA Time : 0.0 sec. user=mdettweiler [2013-08-08 05:55:50] 783*2^1250075-1 is not prime. Res64: 3FCCAB41FD229961 Time : 0.0 sec. user=mdettweiler [2013-08-08 05:55:51] 843*2^1250075-1 is not prime. Res64: 87A3D98D1C8759D8 Time : 0.0 sec. user=Beyond [2013-08-08 05:57:36] 771*2^1250075-1 is not prime. Res64: 954E11040DBCA8FE Time : 0.0 sec. user=mdettweiler [2013-08-08 06:00:18] 895*2^1250075-1 is not prime. Res64: 4DC55B73E84CD75A Time : 0.0 sec. user=mdettweiler [2013-08-08 06:00:19] 963*2^1250075-1 is not prime. Res64: 17FC7BC47A970A9A Time : 0.0 sec. user=Beyond [2013-08-08 06:02:08] 885*2^1250075-1 is not prime. Res64: 94F3A13AE874A501 Time : 0.0 sec. user=Beyond [2013-08-08 06:03:32] 629*2^1250076-1 is not prime. Res64: 7B906EDD912F8332 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:10:03] 669*2^1250076-1 is not prime. Res64: DC883ABCDABC4DA4 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:10:04] 689*2^1250076-1 is not prime. Res64: 740BE3477527D2BC Time : 0.0 sec. user=mdettweiler [2013-08-08 06:11:36] 765*2^1250076-1 is not prime. Res64: 1A0E2BF60F4A8C8C Time : 0.0 sec. user=mdettweiler [2013-08-08 06:11:37] 789*2^1250076-1 is not prime. Res64: 6EDF2B00A5ED65F3 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:15:31] 729*2^1250077-1 is not prime. Res64: 222E409A1350EF25 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:15:32] 775*2^1250077-1 is not prime. Res64: FEE9AB8AD79A8B7F Time : 0.0 sec. user=Beyond [2013-08-08 06:17:55] 615*2^1250077-1 is not prime. Res64: DDE3CFE36FF40A00 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:19:57] 825*2^1250077-1 is not prime. Res64: 69B4A77E109AF4A6 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:19:57] 871*2^1250077-1 is not prime. Res64: 681D4A8CAE7D4E03 Time : 0.0 sec. user=Beyond [2013-08-08 06:20:22] 799*2^1250077-1 is not prime. Res64: 8E8D5C91CF9DAAA7 Time : 0.0 sec. user=Beyond [2013-08-08 06:24:57] 897*2^1250077-1 is not prime. Res64: 3FC8EE5748550A8D Time : 0.0 sec. user=Beyond [2013-08-08 06:30:39] 915*2^1250077-1 is not prime. Res64: 09AEFDA08FF1558F Time : 0.0 sec. user=mdettweiler [2013-08-08 06:31:36] 919*2^1250077-1 is not prime. Res64: D6C2715B60F218EB Time : 0.0 sec. user=mdettweiler [2013-08-08 06:31:36] 945*2^1250077-1 is not prime. Res64: 11FA0FE2D9EC1B2C Time : 0.0 sec. user=mdettweiler [2013-08-08 06:33:06] 955*2^1250077-1 is not prime. Res64: B1868338CED5D142 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:33:07] 997*2^1250077-1 is not prime. Res64: 3493B2822EBC9749 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:35:13] 663*2^1250078-1 is not prime. Res64: F18B02AA6AAC033E Time : 0.0 sec. user=mdettweiler [2013-08-08 06:35:13] 677*2^1250078-1 is not prime. Res64: 52E44116B45103FA Time : 0.0 sec. user=mdettweiler [2013-08-08 06:39:38] 843*2^1250078-1 is not prime. Res64: 4FB96F38BC659E15 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:39:39] 845*2^1250078-1 is not prime. Res64: D6D40B5B7E5F9FA4 Time : 0.0 sec. user=Beyond [2013-08-08 06:40:45] 797*2^1250078-1 is not prime. Res64: 19B95FF52F92A420 Time : 0.0 sec. user=Beyond [2013-08-08 06:43:15] 861*2^1250078-1 is not prime. Res64: 2535DF972DC3A23C Time : 0.0 sec. user=Beyond [2013-08-08 06:47:50] 887*2^1250078-1 is not prime. Res64: 82FD385D64C1A4A5 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:53:17] 953*2^1250078-1 is not prime. Res64: DC97B006A099130A Time : 0.0 sec. user=mdettweiler [2013-08-08 06:53:17] 963*2^1250078-1 is not prime. Res64: AF5CE7BC1E516A22 Time : 0.0 sec. user=Beyond [2013-08-08 06:53:32] 893*2^1250078-1 is not prime. Res64: B42E4A17D0E675DC Time : 0.0 sec. user=mdettweiler [2013-08-08 06:53:41] 971*2^1250078-1 is not prime. Res64: F96BFC1E2A8D69D8 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:53:42] 609*2^1250079-1 is not prime. Res64: E826DDD8022EC86A Time : 0.0 sec. user=mdettweiler [2013-08-08 06:54:57] 619*2^1250079-1 is not prime. Res64: 51CD5A999D9EAAF2 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:54:57] 721*2^1250079-1 is not prime. Res64: 9CA4253720399953 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:59:22] 751*2^1250079-1 is not prime. Res64: F2F6DA9B08D12F17 Time : 0.0 sec. user=mdettweiler [2013-08-08 06:59:22] 763*2^1250079-1 is not prime. Res64: 83AF18397149654B Time : 0.0 sec. user=Beyond [2013-08-08 07:03:28] 859*2^1250079-1 is not prime. Res64: BF0620D7029243A9 Time : 0.0 sec. user=Beyond [2013-08-08 07:05:55] 891*2^1250079-1 is not prime. Res64: 6493792B0ED70570 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:12:53] 645*2^1250080-1 is not prime. Res64: 02880AB8F551FE0B Time : 0.0 sec. user=mdettweiler [2013-08-08 07:12:53] 899*2^1250080-1 is not prime. Res64: 9656E27856460C25 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:14:20] 989*2^1250080-1 is not prime. Res64: FBC5ED09C3D4701A Time : 0.0 sec. user=mdettweiler [2013-08-08 07:14:20] 651*2^1250081-1 is not prime. Res64: 959FA63B0FD7BEF9 Time : 0.0 sec. user=Beyond [2013-08-08 07:14:39] 933*2^1250079-1 is not prime. Res64: 97BAFFDB9133EBC2 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:14:43] 717*2^1250081-1 is not prime. Res64: 71047E6132E28CFB Time : 0.0 sec. user=mdettweiler [2013-08-08 07:14:43] 747*2^1250081-1 is not prime. Res64: FFD1F22D935D7642 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:19:02] 801*2^1250081-1 is not prime. Res64: D36A2FA5C6F9950A Time : 0.0 sec. user=mdettweiler [2013-08-08 07:19:02] 871*2^1250081-1 is not prime. Res64: 479B5841FE8CC7E8 Time : 0.0 sec. user=Beyond [2013-08-08 07:20:20] 983*2^1250080-1 is not prime. Res64: 313BBA45E30F45DC Time : 0.0 sec. user=Beyond [2013-08-08 07:25:55] 889*2^1250081-1 is not prime. Res64: BDB9F4BD9C444EA4 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:32:32] 633*2^1250082-1 is not prime. Res64: C0BDFBA398B6EA34 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:32:32] 803*2^1250082-1 is not prime. Res64: 4DEE0BACD06ADFE0 Time : 0.0 sec. user=Beyond [2013-08-08 07:32:41] 957*2^1250081-1 is not prime. Res64: 1F6A8CF100609BB9 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:34:06] 807*2^1250082-1 is not prime. Res64: E26768F12E8BB997 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:34:07] 833*2^1250082-1 is not prime. Res64: 013DD9B3AA19C6F7 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:35:17] 977*2^1250082-1 is not prime. Res64: BFDA864E638A7324 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:35:17] 663*2^1250083-1 is not prime. Res64: 52FF8316DDAE4647 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:38:49] 703*2^1250083-1 is not prime. Res64: E213CF07C8851A13 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:38:49] 885*2^1250083-1 is not prime. Res64: 4095B629FF83AEC7 Time : 0.0 sec. user=Beyond [2013-08-08 07:41:27] 975*2^1250082-1 is not prime. Res64: F953393A883CE4AE Time : 0.0 sec. user=Beyond [2013-08-08 07:47:10] 969*2^1250083-1 is not prime. Res64: FE97B8F287B44746 Time : 0.0 sec. user=Beyond [2013-08-08 07:48:32] 719*2^1250084-1 is not prime. Res64: 3C23B610287DFDB8 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:52:10] 869*2^1250084-1 is not prime. Res64: 98A64458D54D5FD1 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:52:11] 607*2^1250085-1 is not prime. Res64: B2EF4A5435086D24 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:53:41] 699*2^1250085-1 is not prime. Res64: 4C6F162189CDA9A1 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:53:42] 765*2^1250085-1 is not prime. Res64: 9A62FF97D6B7A5BE Time : 0.0 sec. user=Beyond [2013-08-08 07:55:27] 657*2^1250085-1 is not prime. Res64: F9C75B7FC10C4DBA Time : 0.0 sec. user=mdettweiler [2013-08-08 07:55:54] 949*2^1250085-1 is not prime. Res64: E761E07519BB14CB Time : 0.0 sec. user=mdettweiler [2013-08-08 07:55:55] 623*2^1250086-1 is not prime. Res64: 334F15426E523025 Time : 0.0 sec. user=mdettweiler [2013-08-08 07:58:34] 635*2^1250086-1 is not prime. Res64: D9BA62FC5FC9F53D Time : 0.0 sec. user=mdettweiler [2013-08-08 07:58:34] 723*2^1250086-1 is not prime. Res64: 7C9A104C4EB2D91E Time : 0.0 sec. user=Beyond [2013-08-08 08:04:22] 773*2^1250086-1 is not prime. Res64: FFE8A31325D343C3 Time : 0.0 sec. user=Beyond [2013-08-08 08:10:07] 777*2^1250086-1 is not prime. Res64: 729D7FE060970CF6 Time : 0.0 sec. user=Beyond [2013-08-08 08:11:30] 843*2^1250086-1 is not prime. Res64: 152842A862A9E171 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:11:49] 615*2^1250087-1 is not prime. Res64: EA4D532757DB2A16 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:11:50] 655*2^1250087-1 is not prime. Res64: BCF27F3505A958E5 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:13:17] 675*2^1250087-1 is not prime. Res64: CC90C6FCA6A40320 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:13:17] 735*2^1250087-1 is not prime. Res64: BAB5CBC2E9A35A34 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:16:29] 825*2^1250087-1 is not prime. Res64: 8AF8C3D4C7E3F725 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:16:29] 955*2^1250087-1 is not prime. Res64: F8E3774E6A2F6C8F Time : 0.0 sec. user=mdettweiler [2013-08-08 08:18:19] 627*2^1250088-1 is not prime. Res64: 8B3E88505F36CBCD Time : 0.0 sec. user=mdettweiler [2013-08-08 08:18:19] 663*2^1250088-1 is not prime. Res64: D0968BEC8B153199 Time : 0.0 sec. user=Beyond [2013-08-08 08:18:22] 799*2^1250087-1 is not prime. Res64: D0751D5002A4A27B Time : 0.0 sec. user=Beyond [2013-08-08 08:27:20] 707*2^1250088-1 is not prime. Res64: DE12C1501EC2C9A1 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:32:30] 927*2^1250088-1 is not prime. Res64: 44E78452EBA4061A Time : 0.0 sec. user=mdettweiler [2013-08-08 08:32:31] 799*2^1250089-1 is not prime. Res64: C284F80476AA6E99 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:32:53] 831*2^1250089-1 is not prime. Res64: 255163D223B31B56 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:32:53] 867*2^1250089-1 is not prime. Res64: 4E08597AB0551F5A Time : 0.0 sec. user=Beyond [2013-08-08 08:33:04] 839*2^1250088-1 is not prime. Res64: 89CBD0A5BC73415E Time : 0.0 sec. user=Beyond [2013-08-08 08:34:27] 843*2^1250088-1 is not prime. Res64: A2D62B3F31C150D0 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:37:10] 909*2^1250089-1 is not prime. Res64: 937732C56D49DDFB Time : 0.0 sec. user=mdettweiler [2013-08-08 08:37:11] 999*2^1250089-1 is not prime. Res64: FC306013AB37FD88 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:37:59] 627*2^1250090-1 is not prime. Res64: 5AD4ECBB621B8DF2 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:37:59] 635*2^1250090-1 is not prime. Res64: E0EBFAF632A74DC1 Time : 0.0 sec. user=Beyond [2013-08-08 08:41:18] 713*2^1250090-1 is not prime. Res64: 0AB248910D14A3B5 Time : 0.0 sec. user=Beyond [2013-08-08 08:50:18] 783*2^1250090-1 is not prime. Res64: ACB043626E540FB6 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:52:10] 851*2^1250090-1 is not prime. Res64: BB8A936982CC4FE8 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:52:11] 861*2^1250090-1 is not prime. Res64: 03E70988FEAACCD4 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:52:34] 867*2^1250090-1 is not prime. Res64: 1F660EF356F767E8 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:52:34] 619*2^1250091-1 is not prime. Res64: 75CB53677239B6E9 Time : 0.0 sec. user=Beyond [2013-08-08 08:55:57] 679*2^1250091-1 is not prime. Res64: 25E10DE1AE5811B3 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:56:49] 705*2^1250091-1 is not prime. Res64: 6D2453598EEEAE3E Time : 0.0 sec. user=mdettweiler [2013-08-08 08:56:50] 739*2^1250091-1 is not prime. Res64: BDE51BC6908BDF5D Time : 0.0 sec. user=Beyond [2013-08-08 08:57:21] 703*2^1250091-1 is not prime. Res64: BC7E7E81163985F4 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:57:39] 751*2^1250091-1 is not prime. Res64: 1AB97A3A59A2AF08 Time : 0.0 sec. user=mdettweiler [2013-08-08 08:57:39] 829*2^1250091-1 is not prime. Res64: 64118BF1A1AD836E Time : 0.0 sec. user=Beyond [2013-08-08 09:04:03] 859*2^1250091-1 is not prime. Res64: EB50B5A475F4049B Time : 0.0 sec. user=mdettweiler [2013-08-08 09:12:43] 951*2^1250091-1 is not prime. Res64: 7F5434DEED1DF3C6 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:12:43] 603*2^1250092-1 is not prime. Res64: 43425CEDF7E2E34D Time : 0.0 sec. user=mdettweiler [2013-08-08 09:13:09] 855*2^1250092-1 is not prime. Res64: E3DD9605A813A558 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:13:10] 915*2^1250092-1 is not prime. Res64: FB525C61BA06C7EB Time : 0.0 sec. user=Beyond [2013-08-08 09:17:20] 921*2^1250091-1 is not prime. Res64: D0C15F4035B066F0 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:17:28] 999*2^1250092-1 is not prime. Res64: D6967B582BC70950 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:17:28] 675*2^1250093-1 is not prime. Res64: EB8A9044D329D88C Time : 0.0 sec. user=mdettweiler [2013-08-08 09:17:29] 769*2^1250093-1 is not prime. Res64: B8BD4A6323FE2883 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:17:30] 837*2^1250093-1 is not prime. Res64: 956B8065C0044A16 Time : 0.0 sec. user=Beyond [2013-08-08 09:19:58] 697*2^1250093-1 is not prime. Res64: 320011D43BF74785 Time : 0.0 sec. user=Beyond [2013-08-08 09:22:54] 957*2^1250092-1 is not prime. Res64: 9E3C119ADAC3B80C Time : 0.0 sec. user=Beyond [2013-08-08 09:31:00] 925*2^1250093-1 is not prime. Res64: 54FD9EC2FBD467DE Time : 0.0 sec. user=mdettweiler [2013-08-08 09:33:23] 955*2^1250093-1 is not prime. Res64: 73BAA40DFD830C66 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:33:24] 707*2^1250094-1 is not prime. Res64: 3D36A7B33F1A898B Time : 0.0 sec. user=mdettweiler [2013-08-08 09:33:46] 893*2^1250094-1 is not prime. Res64: CE2C6F1F13417475 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:33:47] 921*2^1250094-1 is not prime. Res64: CDB45A3D59955DE1 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:37:08] 675*2^1250095-1 is not prime. Res64: C1D260FBDE80A271 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:37:09] 765*2^1250095-1 is not prime. Res64: 379FA04078BAF912 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:37:09] 717*2^1250096-1 is not prime. Res64: D741A92568D29765 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:37:10] 813*2^1250096-1 is not prime. Res64: 8B260D64EF037154 Time : 0.0 sec. user=Beyond [2013-08-08 09:40:03] 651*2^1250095-1 is not prime. Res64: D29C4477655A235D Time : 0.0 sec. user=Beyond [2013-08-08 09:42:43] 839*2^1250096-1 is not prime. Res64: F885A0FF4B2AE3C8 Time : 0.0 sec. user=Beyond [2013-08-08 09:49:57] 999*2^1250096-1 is not prime. Res64: 37E33928A47D266F Time : 0.0 sec. user=mdettweiler [2013-08-08 09:53:00] 709*2^1250097-1 is not prime. Res64: DDE73522A389E4AE Time : 0.0 sec. user=mdettweiler [2013-08-08 09:53:00] 817*2^1250097-1 is not prime. Res64: 167AF93B9A9ECC73 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:53:25] 611*2^1250098-1 is not prime. Res64: 67F762B5E20ADFB5 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:53:25] 845*2^1250098-1 is not prime. Res64: 8FCDCD76C871709E Time : 0.0 sec. user=Beyond [2013-08-08 09:53:46] 699*2^1250097-1 is not prime. Res64: AA3F882B7CCE02D9 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:57:40] 887*2^1250098-1 is not prime. Res64: 4440844DBF5E18D8 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:57:40] 915*2^1250098-1 is not prime. Res64: 9F193736540F2FCE Time : 0.0 sec. user=mdettweiler [2013-08-08 09:58:49] 933*2^1250098-1 is not prime. Res64: BC2CE289BFCAB552 Time : 0.0 sec. user=mdettweiler [2013-08-08 09:58:50] 945*2^1250098-1 is not prime. Res64: 44A18055696CD8E6 Time : 0.0 sec. user=Beyond [2013-08-08 10:02:59] 733*2^1250099-1 is not prime. Res64: 722B91CA5BFD2152 Time : 0.0 sec. user=Beyond [2013-08-08 10:05:36] 741*2^1250099-1 is not prime. Res64: EE2B27A93DCF5E41 Time : 0.0 sec. user=Beyond [2013-08-08 10:12:57] 745*2^1250099-1 is not prime. Res64: 319603FA92388760 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:13:37] 903*2^1250099-1 is not prime. Res64: F4473412FF79974E Time : 0.0 sec. user=mdettweiler [2013-08-08 10:13:38] 939*2^1250099-1 is not prime. Res64: C87F32028862EFF0 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:15:02] 943*2^1250099-1 is not prime. Res64: 3CD1709A4C0B519D Time : 0.0 sec. user=mdettweiler [2013-08-08 10:15:03] 955*2^1250099-1 is not prime. Res64: 480B83942B333C2D Time : 0.0 sec. user=Beyond [2013-08-08 10:16:38] 629*2^1250100-1 is not prime. Res64: 800175284014EAF4 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:18:13] 767*2^1250100-1 is not prime. Res64: F3A36445A1B0FD06 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:18:14] 959*2^1250100-1 is not prime. Res64: AD1CCD25D030E681 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:18:27] 639*2^1250101-1 is not prime. Res64: 1EB36549AD698B3C Time : 0.0 sec. user=mdettweiler [2013-08-08 10:18:28] 757*2^1250101-1 is not prime. Res64: 946864902EE1120C Time : 0.0 sec. user=Beyond [2013-08-08 10:25:52] 771*2^1250101-1 is not prime. Res64: 261A5C19F80929B4 Time : 0.0 sec. user=Beyond [2013-08-08 10:28:29] 825*2^1250101-1 is not prime. Res64: 104918E98C187865 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:34:42] 645*2^1250102-1 is not prime. Res64: 938874CE1056E7A9 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:34:42] 705*2^1250102-1 is not prime. Res64: 790FC7A96949B266 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:35:11] 945*2^1250101-1 is not prime. Res64: 8BEC11A6B844F1F6 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:35:12] 951*2^1250101-1 is not prime. Res64: 39F14AD0E7693690 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:38:06] 755*2^1250102-1 is not prime. Res64: EFEC2EB15C223460 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:38:07] 801*2^1250102-1 is not prime. Res64: 75EA19EBFDD6999E Time : 0.0 sec. user=mdettweiler [2013-08-08 10:38:15] 897*2^1250102-1 is not prime. Res64: F13FD35C3ABC8FF3 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:38:15] 613*2^1250103-1 is not prime. Res64: 6ABE1A82C3994A12 Time : 0.0 sec. user=Beyond [2013-08-08 10:39:29] 743*2^1250102-1 is not prime. Res64: DF8FC481E8A7AD7F Time : 0.0 sec. user=Beyond [2013-08-08 10:39:58] 931*2^1250101-1 is not prime. Res64: 1001604B760D2D6D Time : 0.0 sec. user=Beyond [2013-08-08 10:48:30] 709*2^1250103-1 is not prime. Res64: D87B41CB68E464BF Time : 0.0 sec. user=Beyond [2013-08-08 10:51:14] 853*2^1250103-1 is not prime. Res64: 8E26C8330FA315A4 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:55:18] 629*2^1250104-1 is not prime. Res64: 65CB8D7DD694CA53 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:55:19] 639*2^1250104-1 is not prime. Res64: 997023101A56E822 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:55:51] 901*2^1250103-1 is not prime. Res64: AC9D0F3E87EDB237 Time : 0.0 sec. user=mdettweiler [2013-08-08 10:55:52] 969*2^1250103-1 is not prime. Res64: 61CC46952FBF5DDD Time : 0.0 sec. user=mdettweiler [2013-08-08 10:58:25] 657*2^1250104-1 is not prime. Res64: 865232CC2881790C Time : 0.0 sec. user=mdettweiler [2013-08-08 10:58:25] 755*2^1250104-1 is not prime. Res64: FCC42A5CBACE2C6C Time : 0.0 sec. user=mdettweiler [2013-08-08 10:58:32] 773*2^1250104-1 is not prime. Res64: 07E50B72F54360EB Time : 0.0 sec. user=mdettweiler [2013-08-08 10:58:33] 887*2^1250104-1 is not prime. Res64: 6DB45F01676C8695 Time : 0.0 sec. user=Beyond [2013-08-08 11:06:24] 917*2^1250104-1 is not prime. Res64: 98D19E111C87249A Time : 0.0 sec. user=Beyond [2013-08-08 11:07:00] 923*2^1250104-1 is not prime. Res64: EE673F516C9B3788 Time : 0.0 sec. user=Beyond [2013-08-08 11:11:14] 657*2^1250105-1 is not prime. Res64: 8A64254D520E0BB2 Time : 0.0 sec. user=Beyond [2013-08-08 11:14:01] 721*2^1250105-1 is not prime. Res64: EF9AFA091C919134 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:15:29] 775*2^1250105-1 is not prime. Res64: 4B6F15268CBDFE6E Time : 0.0 sec. user=mdettweiler [2013-08-08 11:15:29] 777*2^1250105-1 is not prime. Res64: FCACB21FC98E599F Time : 0.0 sec. user=mdettweiler [2013-08-08 11:15:51] 831*2^1250105-1 is not prime. Res64: D8522A8F50F08815 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:15:51] 841*2^1250105-1 is not prime. Res64: 1C6F4D971DD2D976 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:18:29] 641*2^1250106-1 is not prime. Res64: F0D0B9180A1A8CB3 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:18:29] 683*2^1250106-1 is not prime. Res64: 548EB86A0DD4D1B2 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:19:22] 885*2^1250105-1 is not prime. Res64: DCB6316706CE6896 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:19:23] 985*2^1250105-1 is not prime. Res64: A825B4D10EDFEF7B Time : 0.0 sec. user=Beyond [2013-08-08 11:29:09] 707*2^1250106-1 is not prime. Res64: EF9FE19121DCF0CF Time : 0.0 sec. user=Beyond [2013-08-08 11:29:55] 803*2^1250106-1 is not prime. Res64: ACFB29CC22357687 Time : 0.0 sec. user=Beyond [2013-08-08 11:34:01] 867*2^1250106-1 is not prime. Res64: C6D1ED8FDDED848F Time : 0.0 sec. user=mdettweiler [2013-08-08 11:35:37] 681*2^1250107-1 is not prime. Res64: AA98EF7D29B9746C Time : 0.0 sec. user=mdettweiler [2013-08-08 11:35:37] 691*2^1250107-1 is not prime. Res64: 9A6EA4788AFCF20C Time : 0.0 sec. user=mdettweiler [2013-08-08 11:36:12] 933*2^1250106-1 is not prime. Res64: 2D7DE135B160157C Time : 0.0 sec. user=mdettweiler [2013-08-08 11:36:12] 651*2^1250107-1 is not prime. Res64: 3553EBE24AEE68BB Time : 0.0 sec. user=mdettweiler [2013-08-08 11:38:17] 741*2^1250107-1 is not prime. Res64: 559D2037ABB90085 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:38:17] 829*2^1250107-1 is not prime. Res64: C29AE10C0674F29E Time : 0.0 sec. user=mdettweiler [2013-08-08 11:39:08] 859*2^1250107-1 is not prime. Res64: 9EC8E9231015104F Time : 0.0 sec. user=mdettweiler [2013-08-08 11:39:08] 913*2^1250107-1 is not prime. Res64: 627F5DEAF61F0619 Time : 0.0 sec. user=Beyond [2013-08-08 11:41:00] 917*2^1250106-1 is not prime. Res64: 6B7747A88B861269 Time : 0.0 sec. user=Beyond [2013-08-08 11:52:33] 647*2^1250108-1 is not prime. Res64: 1BFEB6BD4F25627A Time : 0.0 sec. user=mdettweiler [2013-08-08 11:55:17] 699*2^1250108-1 is not prime. Res64: 33134AB5CD147327 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:55:17] 759*2^1250108-1 is not prime. Res64: 4D8F93893A2AC4C2 Time : 0.0 sec. user=Beyond [2013-08-08 11:56:08] 915*2^1250107-1 is not prime. Res64: 3436FAF79BD6815C Time : 0.0 sec. user=Beyond [2013-08-08 11:56:39] 677*2^1250108-1 is not prime. Res64: 26077EA2A1F486A6 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:56:47] 899*2^1250108-1 is not prime. Res64: 798D81CA84B22C89 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:56:47] 953*2^1250108-1 is not prime. Res64: 91DF8C4844606B38 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:57:58] 657*2^1250109-1 is not prime. Res64: 325F2C33E89D6D3F Time : 0.0 sec. user=mdettweiler [2013-08-08 11:57:58] 741*2^1250109-1 is not prime. Res64: 95E92A1600E29C68 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:58:54] 747*2^1250109-1 is not prime. Res64: B286E901D173BB44 Time : 0.0 sec. user=mdettweiler [2013-08-08 11:58:54] 787*2^1250109-1 is not prime. Res64: F98666C728D51B03 Time : 0.0 sec. user=Beyond [2013-08-08 12:07:56] 951*2^1250109-1 is not prime. Res64: C9E1724885E98103 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:14:58] 695*2^1250110-1 is not prime. Res64: ACC3BBA8D182EF6F Time : 0.0 sec. user=mdettweiler [2013-08-08 12:14:59] 707*2^1250110-1 is not prime. Res64: FF0AA269AB114CC1 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:16:30] 777*2^1250110-1 is not prime. Res64: 8996A53FD76554F4 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:16:31] 861*2^1250110-1 is not prime. Res64: 4190E43C48894FD8 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:18:46] 601*2^1250111-1 is not prime. Res64: 20CA106910F6931F Time : 0.0 sec. user=mdettweiler [2013-08-08 12:18:47] 859*2^1250111-1 is not prime. Res64: B9CB439D0A70973B Time : 0.0 sec. user=Beyond [2013-08-08 12:18:47] 713*2^1250110-1 is not prime. Res64: 79116B4CDB4E35C1 Time : 0.0 sec. user=Beyond [2013-08-08 12:19:18] 723*2^1250110-1 is not prime. Res64: 77B4E38D4247B1A8 Time : 0.0 sec. user=Beyond [2013-08-08 12:19:32] 999*2^1250109-1 is not prime. Res64: 65943A0091ADB451 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:19:38] 945*2^1250110-1 is not prime. Res64: 754D4AFB38F52B0E Time : 0.0 sec. user=mdettweiler [2013-08-08 12:19:38] 995*2^1250110-1 is not prime. Res64: 0452516202B54B7C Time : 0.0 sec. user=Beyond [2013-08-08 12:34:53] 991*2^1250111-1 is not prime. Res64: 7742174CF6416247 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:34:54] 665*2^1250112-1 is not prime. Res64: 4672CE69DCB3EDDA Time : 0.0 sec. user=mdettweiler [2013-08-08 12:34:54] 689*2^1250112-1 is not prime. Res64: 6D7E978E84B4F12C Time : 0.0 sec. user=mdettweiler [2013-08-08 12:36:27] 737*2^1250112-1 is not prime. Res64: D0E0DDF71D6B4870 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:36:28] 753*2^1250112-1 is not prime. Res64: 2DB7D79E45851B75 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:38:52] 809*2^1250112-1 is not prime. Res64: 469C4317A0270102 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:38:52] 873*2^1250112-1 is not prime. Res64: AEF5FE811C9FC99C Time : 0.0 sec. user=mdettweiler [2013-08-08 12:39:39] 687*2^1250113-1 is not prime. Res64: 43881F631855CF9B Time : 0.0 sec. user=mdettweiler [2013-08-08 12:39:39] 721*2^1250113-1 is not prime. Res64: 33DD121149EA8C61 Time : 0.0 sec. user=Beyond [2013-08-08 12:41:31] 903*2^1250112-1 is not prime. Res64: 1D3589E167A40B82 Time : 0.0 sec. user=Beyond [2013-08-08 12:42:15] 625*2^1250113-1 is not prime. Res64: 95A01641C8A3A655 Time : 0.0 sec. user=Beyond [2013-08-08 12:46:20] 923*2^1250112-1 is not prime. Res64: 2B90C2F89E4C629C Time : 0.0 sec. user=mdettweiler [2013-08-08 12:55:49] 789*2^1250113-1 is not prime. Res64: F5A7884CFF43AEAF Time : 0.0 sec. user=mdettweiler [2013-08-08 12:55:49] 801*2^1250113-1 is not prime. Res64: A7C45C0FDF3626FA Time : 0.0 sec. user=Beyond [2013-08-08 12:57:40] 771*2^1250113-1 is not prime. Res64: 98056755AC424F8E Time : 0.0 sec. user=mdettweiler [2013-08-08 12:58:08] 987*2^1250113-1 is not prime. Res64: 8E5C31F986B7572E Time : 0.0 sec. user=mdettweiler [2013-08-08 12:58:09] 617*2^1250114-1 is not prime. Res64: 555282B758B3CA0A Time : 0.0 sec. user=mdettweiler [2013-08-08 12:59:19] 627*2^1250114-1 is not prime. Res64: EEE987E49995D1E1 Time : 0.0 sec. user=mdettweiler [2013-08-08 12:59:20] 635*2^1250114-1 is not prime. Res64: C3F2B67B61E5515B Time : 0.0 sec. user=mdettweiler [2013-08-08 13:00:07] 677*2^1250114-1 is not prime. Res64: 934C4B336F37FFA1 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:00:08] 773*2^1250114-1 is not prime. Res64: F3E60FC4949530C8 Time : 0.0 sec. user=Beyond [2013-08-08 13:04:23] 791*2^1250114-1 is not prime. Res64: 0329FCFC2E6B5937 Time : 0.0 sec. user=Beyond [2013-08-08 13:05:07] 885*2^1250114-1 is not prime. Res64: FA1E8B19F79F453C Time : 0.0 sec. user=Beyond [2013-08-08 13:13:18] 1001*2^1250114-1 is not prime. Res64: C55945E77638B886 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:16:02] 699*2^1250115-1 is not prime. Res64: EE0F128CF6E990BE Time : 0.0 sec. user=mdettweiler [2013-08-08 13:16:02] 801*2^1250115-1 is not prime. Res64: F07CFDAD44D5016E Time : 0.0 sec. user=mdettweiler [2013-08-08 13:19:12] 885*2^1250115-1 is not prime. Res64: B13EE4BEFC2EE2B4 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:19:12] 949*2^1250115-1 is not prime. Res64: A16A1BB500A122E2 Time : 0.0 sec. user=Beyond [2013-08-08 13:20:18] 873*2^1250115-1 is not prime. Res64: 0FDC003CE258A176 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:20:25] 961*2^1250115-1 is not prime. Res64: 2ED6416FDF6FE6FC Time : 0.0 sec. user=mdettweiler [2013-08-08 13:20:25] 675*2^1250116-1 is not prime. Res64: 0FC1C1524F68958F Time : 0.0 sec. user=mdettweiler [2013-08-08 13:20:30] 705*2^1250116-1 is not prime. Res64: 501737CD562F9AE2 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:20:30] 875*2^1250116-1 is not prime. Res64: 4E388671A0251382 Time : 0.0 sec. user=Beyond [2013-08-08 13:31:25] 939*2^1250116-1 is not prime. Res64: C9BEEB2DDBD33561 Time : 0.0 sec. user=Beyond [2013-08-08 13:32:04] 975*2^1250116-1 is not prime. Res64: 7F66C083814276FC Time : 0.0 sec. user=Beyond [2013-08-08 13:35:52] 601*2^1250117-1 is not prime. Res64: 330348DE62393F95 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:35:59] 655*2^1250117-1 is not prime. Res64: 37C6C4F12D5C90C6 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:35:59] 801*2^1250117-1 is not prime. Res64: FC8673CBDB4C075D Time : 0.0 sec. user=mdettweiler [2013-08-08 13:40:26] 621*2^1250118-1 is not prime. Res64: 6E5B066A3DB37FA1 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:40:27] 711*2^1250118-1 is not prime. Res64: CEE8E4056CB1CB00 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:40:40] 755*2^1250118-1 is not prime. Res64: F51DEE8CB8E1DBB0 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:40:40] 821*2^1250118-1 is not prime. Res64: DA8758DB0458EB49 Time : 0.0 sec. user=mdettweiler [2013-08-08 13:41:19] 939*2^1250117-1 is not prime. Res64: D0EEB147B5A68A6A Time : 0.0 sec. user=mdettweiler [2013-08-08 13:41:19] 949*2^1250117-1 is not prime. Res64: 92E3F45EAC98F963 Time : 0.0 sec. user=Beyond [2013-08-08 13:47:16] 981*2^1250117-1 is not prime. Res64: 1A15F49E3BB99EDC Time : 0.0 sec. user=Beyond [2013-08-08 13:53:58] 861*2^1250118-1 is not prime. Res64: 70949FD9A7F17D7D Time : 0.0 sec. user=mdettweiler [2013-08-08 13:55:59] 639*2^1250119-1 is not prime. Res64: 2D7890196564CCEF Time : 0.0 sec. user=mdettweiler [2013-08-08 13:56:00] 645*2^1250119-1 is not prime. Res64: 0C43BD989172FB5F Time : 0.0 sec. user=Beyond [2013-08-08 13:59:04] 941*2^1250118-1 is not prime. Res64: 58736F1D99F3FC3F Time : 0.0 sec. user=mdettweiler [2013-08-08 14:00:23] 763*2^1250119-1 is not prime. Res64: FF0047D825D155D3 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:00:23] 843*2^1250119-1 is not prime. Res64: 9EF3679FCA40FF01 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:00:31] 885*2^1250119-1 is not prime. Res64: 9FC14C317FCCBDE0 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:00:32] 699*2^1250120-1 is not prime. Res64: 73C73AE0750B366E Time : 0.0 sec. user=mdettweiler [2013-08-08 14:01:08] 713*2^1250120-1 is not prime. Res64: C99E52171A282924 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:01:09] 717*2^1250120-1 is not prime. Res64: 85052C26770A836E Time : 0.0 sec. user=Beyond [2013-08-08 14:02:46] 977*2^1250118-1 is not prime. Res64: FD936578EEFACA6F Time : 0.0 sec. user=Beyond [2013-08-08 14:10:06] 777*2^1250120-1 is not prime. Res64: FDA84885F823E3BC Time : 0.0 sec. user=mdettweiler [2013-08-08 14:15:41] 843*2^1250120-1 is not prime. Res64: 3A4EC70DF6245944 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:15:42] 855*2^1250120-1 is not prime. Res64: 6529571E3F1607AF Time : 0.0 sec. user=Beyond [2013-08-08 14:16:48] 839*2^1250120-1 is not prime. Res64: 18D85518953659F9 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:20:14] 623*2^1250122-1 is not prime. Res64: 90C86FE744073B07 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:20:14] 713*2^1250122-1 is not prime. Res64: AA66E07DDDFE4B23 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:20:20] 735*2^1250122-1 is not prime. Res64: DAC31DAC34547D2C Time : 0.0 sec. user=mdettweiler [2013-08-08 14:20:20] 743*2^1250122-1 is not prime. Res64: A15B3D8763046859 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:21:46] 983*2^1250122-1 is not prime. Res64: D398269A4F9D2928 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:21:46] 603*2^1250123-1 is not prime. Res64: EE56F554E4C87309 Time : 0.0 sec. user=Beyond [2013-08-08 14:21:58] 789*2^1250121-1 is not prime. Res64: 998A24352A2621A0 Time : 0.0 sec. user=Beyond [2013-08-08 14:25:44] 609*2^1250123-1 is not prime. Res64: 3F199B202A80E6E9 Time : 0.0 sec. user=Beyond [2013-08-08 14:33:00] 631*2^1250123-1 is not prime. Res64: 6BA7A78314F1732F Time : 0.0 sec. user=mdettweiler [2013-08-08 14:35:32] 783*2^1250123-1 is not prime. Res64: E5513D193A93D6A5 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:35:33] 789*2^1250123-1 is not prime. Res64: B50FC486844F15AA Time : 0.0 sec. user=Beyond [2013-08-08 14:39:38] 855*2^1250123-1 is not prime. Res64: D575A4DDA03BFB40 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:41:00] 885*2^1250123-1 is not prime. Res64: FE8014232845DDA9 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:41:00] 949*2^1250123-1 is not prime. Res64: F1B33EC63BA8F0FD Time : 0.0 sec. user=mdettweiler [2013-08-08 14:41:06] 955*2^1250123-1 is not prime. Res64: F70BC5D2A52A3145 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:41:07] 705*2^1250124-1 is not prime. Res64: 14E871C0DCF50EE4 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:41:37] 707*2^1250124-1 is not prime. Res64: E6BAA6EA25B1289B Time : 0.0 sec. user=mdettweiler [2013-08-08 14:41:38] 765*2^1250124-1 is not prime. Res64: 8C1D8E39A31DA134 Time : 0.0 sec. user=Beyond [2013-08-08 14:44:48] 875*2^1250124-1 is not prime. Res64: B573883F9C16CB27 Time : 0.0 sec. user=Beyond [2013-08-08 14:52:47] 975*2^1250124-1 is not prime. Res64: 46AF39ED618CD1AE Time : 0.0 sec. user=Beyond [2013-08-08 14:55:42] 625*2^1250125-1 is not prime. Res64: DA34EFCA529B7459 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:56:00] 717*2^1250125-1 is not prime. Res64: CE540B4933209916 Time : 0.0 sec. user=mdettweiler [2013-08-08 14:56:00] 811*2^1250125-1 is not prime. Res64: EB5D5AFD517C6A85 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:01:11] 773*2^1250126-1 is not prime. Res64: 394DCD7F62A4F438 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:01:11] 795*2^1250126-1 is not prime. Res64: FDC36066A45A5A2B Time : 0.0 sec. user=mdettweiler [2013-08-08 15:01:15] 649*2^1250127-1 is not prime. Res64: 2A7BFD6748080F30 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:01:15] 765*2^1250127-1 is not prime. Res64: DFF168539A492476 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:01:44] 849*2^1250127-1 is not prime. Res64: 693F62FD44EBBED4 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:01:45] 909*2^1250128-1 is not prime. Res64: D759809BD550D36F Time : 0.0 sec. user=Beyond [2013-08-08 15:02:27] 831*2^1250125-1 is not prime. Res64: 98DE6CE035CECAF7 Time : 0.0 sec. user=Beyond [2013-08-08 15:11:44] 947*2^1250128-1 is not prime. Res64: 34810A94F9BDF32F Time : 0.0 sec. user=Beyond [2013-08-08 15:15:37] 649*2^1250129-1 is not prime. Res64: 7C07225D698EB739 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:16:17] 747*2^1250129-1 is not prime. Res64: 9BE98AA4BD88788A Time : 0.0 sec. user=mdettweiler [2013-08-08 15:16:17] 769*2^1250129-1 is not prime. Res64: C1F62DAA251360E2 Time : 0.0 sec. user=Beyond [2013-08-08 15:18:27] 675*2^1250129-1 is not prime. Res64: 70B192605D92C97D Time : 0.0 sec. user=mdettweiler [2013-08-08 15:21:30] 811*2^1250129-1 is not prime. Res64: 3AB912BD7F2933E4 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:21:30] 865*2^1250129-1 is not prime. Res64: 55122E4D01C1078B Time : 0.0 sec. user=mdettweiler [2013-08-08 15:22:01] 801*2^1250130-1 is not prime. Res64: 0500549046D60C90 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:22:02] 825*2^1250130-1 is not prime. Res64: 47D97DB8CB038CEC Time : 0.0 sec. user=mdettweiler [2013-08-08 15:22:41] 987*2^1250129-1 is not prime. Res64: E786482C9CF95E35 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:22:41] 681*2^1250130-1 is not prime. Res64: EEF8D5C3447B209A Time : 0.0 sec. user=Beyond [2013-08-08 15:25:17] 885*2^1250130-1 is not prime. Res64: 6310175E33718972 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:36:20] 759*2^1250131-1 is not prime. Res64: 62468BBB4E303A30 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:36:21] 861*2^1250131-1 is not prime. Res64: FE65AEE6675083D5 Time : 0.0 sec. user=Beyond [2013-08-08 15:38:13] 625*2^1250131-1 is not prime. Res64: D5FB1D7D0B3A09F1 Time : 0.0 sec. user=Beyond [2013-08-08 15:38:41] 933*2^1250130-1 is not prime. Res64: BF92EDAE17A426BC Time : 0.0 sec. user=mdettweiler [2013-08-08 15:41:31] 621*2^1250133-1 is not prime. Res64: FD691D1C793FB1F3 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:41:31] 691*2^1250133-1 is not prime. Res64: 434484C4111E4343 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:41:57] 867*2^1250133-1 is not prime. Res64: 6539E30300B7D83F Time : 0.0 sec. user=mdettweiler [2013-08-08 15:41:57] 885*2^1250133-1 is not prime. Res64: A173BDE95107D2E4 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:44:27] 919*2^1250133-1 is not prime. Res64: 341F3A0BA34D0F71 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:44:27] 921*2^1250133-1 is not prime. Res64: BDB205CBEBAA3FE2 Time : 0.0 sec. user=Beyond [2013-08-08 15:45:23] 951*2^1250131-1 is not prime. Res64: C41D062F68F8ADAE Time : 0.0 sec. user=Beyond [2013-08-08 15:52:14] 927*2^1250133-1 is not prime. Res64: E2BAC9353A143A04 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:57:26] 955*2^1250133-1 is not prime. Res64: 039389F6087B6882 Time : 0.0 sec. user=mdettweiler [2013-08-08 15:57:26] 671*2^1250134-1 is not prime. Res64: F19B506F30F8A261 Time : 0.0 sec. user=Beyond [2013-08-08 16:01:03] 717*2^1250134-1 is not prime. Res64: 260E5AE53DEDA6E0 Time : 0.0 sec. user=Beyond [2013-08-08 16:01:30] 765*2^1250134-1 is not prime. Res64: 2AEDE210794AC716 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:01:36] 813*2^1250134-1 is not prime. Res64: 79024E05C7AE4E53 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:01:36] 827*2^1250134-1 is not prime. Res64: A669AB4C13F01B06 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:02:04] 831*2^1250134-1 is not prime. Res64: 2EBFE1A660714637 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:02:04] 885*2^1250134-1 is not prime. Res64: A4896AC791063F27 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:05:33] 887*2^1250134-1 is not prime. Res64: 7C24F1524A8209C8 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:05:33] 993*2^1250134-1 is not prime. Res64: 8781FE622E3707C6 Time : 0.0 sec. user=Beyond [2013-08-08 16:08:13] 649*2^1250135-1 is not prime. Res64: A3BAA66C432CF88B Time : 0.0 sec. user=Beyond [2013-08-08 16:15:07] 673*2^1250135-1 is not prime. Res64: A194093B73B30BD7 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:17:12] 753*2^1250135-1 is not prime. Res64: 2410894DB7135872 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:17:13] 825*2^1250135-1 is not prime. Res64: 8E2043CBD59CC7D5 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:21:47] 773*2^1250136-1 is not prime. Res64: 9777E03FD49584FA Time : 0.0 sec. user=mdettweiler [2013-08-08 16:21:47] 803*2^1250136-1 is not prime. Res64: 206B4002AF3D6041 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:22:20] 991*2^1250135-1 is not prime. Res64: 15391603FC3AF963 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:22:20] 623*2^1250136-1 is not prime. Res64: DC70C9DE4DB3DA49 Time : 0.0 sec. user=Beyond [2013-08-08 16:23:53] 883*2^1250135-1 is not prime. Res64: 1B455DCAE76E1934 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:25:17] 903*2^1250136-1 is not prime. Res64: 5D0A1AC2FB09B20A Time : 0.0 sec. user=mdettweiler [2013-08-08 16:25:17] 607*2^1250137-1 is not prime. Res64: 3CE335F501D7A95F Time : 0.0 sec. user=Beyond [2013-08-08 16:28:30] 949*2^1250135-1 is not prime. Res64: 86EB7E8996B60D26 Time : 0.0 sec. user=Beyond [2013-08-08 16:31:02] 847*2^1250137-1 is not prime. Res64: 867532D4D1BA0604 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:37:02] 617*2^1250138-1 is not prime. Res64: 9485445513DED397 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:37:02] 645*2^1250138-1 is not prime. Res64: B113FD8E59C95E41 Time : 0.0 sec. user=Beyond [2013-08-08 16:37:57] 889*2^1250137-1 is not prime. Res64: C9F956073307CF5A Time : 0.0 sec. user=mdettweiler [2013-08-08 16:41:33] 671*2^1250138-1 is not prime. Res64: 3A361CC936E88ADE Time : 0.0 sec. user=mdettweiler [2013-08-08 16:41:33] 743*2^1250138-1 is not prime. Res64: 98C3640A10A2E604 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:42:06] 797*2^1250138-1 is not prime. Res64: E7ED7DF07BBBB506 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:42:06] 801*2^1250138-1 is not prime. Res64: BE89C3C584505B47 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:45:05] 893*2^1250138-1 is not prime. Res64: 633F19CA0566E942 Time : 0.0 sec. user=mdettweiler [2013-08-08 16:45:05] 911*2^1250138-1 is not prime. Res64: 356787BAAF50D252 Time : 0.0 sec. user=Beyond [2013-08-08 16:46:48] 875*2^1250138-1 is not prime. Res64: B285850B3DA3F67C Time : 0.0 sec. user=Beyond [2013-08-08 16:51:23] 613*2^1250139-1 is not prime. Res64: DB3BCD6F1264F364 Time : 0.0 sec. user=Beyond [2013-08-08 16:53:59] 675*2^1250139-1 is not prime. Res64: 05F91296E4BFEA9D Time : 0.0 sec. user=mdettweiler [2013-08-08 16:56:51] 751*2^1250139-1 is not prime. Res64: C96249A170798A7E Time : 0.0 sec. user=mdettweiler [2013-08-08 16:56:51] 789*2^1250139-1 is not prime. Res64: 47D811B98AF458E0 Time : 0.0 sec. user=Beyond [2013-08-08 17:00:50] 801*2^1250139-1 is not prime. Res64: E6A8185AD50BB957 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:02:14] 861*2^1250139-1 is not prime. Res64: 88D60F0447B215B4 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:02:15] 949*2^1250139-1 is not prime. Res64: B446318E2DF8D89C Time : 0.0 sec. user=mdettweiler [2013-08-08 17:03:45] 969*2^1250139-1 is not prime. Res64: 26139201893D86AC Time : 0.0 sec. user=mdettweiler [2013-08-08 17:03:46] 991*2^1250139-1 is not prime. Res64: 49EBD620BDBB0F8A Time : 0.0 sec. user=mdettweiler [2013-08-08 17:04:56] 603*2^1250140-1 is not prime. Res64: 06ACF66CE8A0DAC5 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:04:57] 675*2^1250140-1 is not prime. Res64: D836E95E8001517A Time : 0.0 sec. user=Beyond [2013-08-08 17:09:43] 845*2^1250140-1 is not prime. Res64: 258C2CCF0F146E81 Time : 0.0 sec. user=Beyond [2013-08-08 17:14:09] 855*2^1250140-1 is not prime. Res64: B3C3A780C07B7A68 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:16:37] 607*2^1250141-1 is not prime. Res64: 3C19A7672855B341 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:16:38] 615*2^1250141-1 is not prime. Res64: 27AE049F3B6154AD Time : 0.0 sec. user=Beyond [2013-08-08 17:21:03] 995*2^1250140-1 is not prime. Res64: 43091C65B2D64C53 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:22:20] 711*2^1250141-1 is not prime. Res64: 25DD8E39BE7C42D5 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:22:20] 837*2^1250141-1 is not prime. Res64: A4E0D4BB149992DC Time : 0.0 sec. user=Beyond [2013-08-08 17:23:37] 691*2^1250141-1 is not prime. Res64: BA8D96F68A569C6D Time : 0.0 sec. user=mdettweiler [2013-08-08 17:24:55] 889*2^1250141-1 is not prime. Res64: 5B59589223EFE596 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:24:55] 939*2^1250141-1 is not prime. Res64: 33155291D8D0ADB2 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:26:15] 987*2^1250141-1 is not prime. Res64: 48FDB0BE08363F8B Time : 0.0 sec. user=mdettweiler [2013-08-08 17:26:15] 611*2^1250142-1 is not prime. Res64: EF7EC3240EE351C0 Time : 0.0 sec. user=Beyond [2013-08-08 17:32:37] 711*2^1250142-1 is not prime. Res64: ABD9845EBDB6CA1C Time : 0.0 sec. user=Beyond [2013-08-08 17:36:55] 765*2^1250142-1 is not prime. Res64: F031F7DA149C009B Time : 0.0 sec. user=mdettweiler [2013-08-08 17:37:32] 801*2^1250142-1 is not prime. Res64: A663FD1859CE49E1 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:37:33] 863*2^1250142-1 is not prime. Res64: DDC2108281DB1233 Time : 0.0 sec. user=Beyond [2013-08-08 17:43:52] 887*2^1250142-1 is not prime. Res64: 43F6703C0F9B4A1C Time : 0.0 sec. user=mdettweiler [2013-08-08 17:43:53] 891*2^1250142-1 is not prime. Res64: 028DF9D9103AD12C Time : 0.0 sec. user=mdettweiler [2013-08-08 17:43:54] 917*2^1250142-1 is not prime. Res64: 93B3BA87C93A4002 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:47:20] 977*2^1250142-1 is not prime. Res64: B975BEB34AAB9F0E Time : 0.0 sec. user=mdettweiler [2013-08-08 17:47:21] 983*2^1250142-1 is not prime. Res64: 8B3F6DBBCCFBA0E8 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:47:57] 1001*2^1250142-1 is not prime. Res64: 5BB111F470752FD6 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:47:57] 679*2^1250143-1 is not prime. Res64: 732D75DCB2B6F98B Time : 0.0 sec. user=Beyond [2013-08-08 17:50:37] 951*2^1250142-1 is not prime. Res64: 2979831C94246203 Time : 0.0 sec. user=Beyond [2013-08-08 17:55:20] 741*2^1250143-1 is not prime. Res64: 7733C138A8FB9F47 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:58:05] 605*2^1250144-1 is not prime. Res64: D3109247FD952646 Time : 0.0 sec. user=mdettweiler [2013-08-08 17:58:06] 657*2^1250144-1 is not prime. Res64: 00F244FA93D40CC4 Time : 0.0 sec. user=Beyond [2013-08-08 18:03:59] 925*2^1250143-1 is not prime. Res64: 96377F35DEE419D4 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:04:21] 795*2^1250144-1 is not prime. Res64: 1E7E8E31F0D1DB0B Time : 0.0 sec. user=mdettweiler [2013-08-08 18:04:21] 875*2^1250144-1 is not prime. Res64: B49C847F525F03DE Time : 0.0 sec. user=Beyond [2013-08-08 18:06:41] 773*2^1250144-1 is not prime. Res64: 42C834E78969C77D Time : 0.0 sec. user=mdettweiler [2013-08-08 18:08:10] 705*2^1250145-1 is not prime. Res64: 57893D145F0926BC Time : 0.0 sec. user=mdettweiler [2013-08-08 18:08:11] 817*2^1250145-1 is not prime. Res64: 5E375EA4E147B6D2 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:08:34] 935*2^1250144-1 is not prime. Res64: 9919C3CD906D6810 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:08:35] 639*2^1250145-1 is not prime. Res64: B5E60A80E8EF352F Time : 0.0 sec. user=Beyond [2013-08-08 18:13:26] 623*2^1250146-1 is not prime. Res64: 31E00B8E1C744676 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:18:12] 887*2^1250146-1 is not prime. Res64: 4E0B8B1A071468AA Time : 0.0 sec. user=mdettweiler [2013-08-08 18:18:12] 903*2^1250146-1 is not prime. Res64: AEB8DBDF407685DA Time : 0.0 sec. user=Beyond [2013-08-08 18:18:12] 881*2^1250146-1 is not prime. Res64: C8EAE9949E1FC3AE Time : 0.0 sec. user=mdettweiler [2013-08-08 18:26:17] 971*2^1250146-1 is not prime. Res64: E95AE3112A76AE67 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:26:17] 1001*2^1250146-1 is not prime. Res64: 09D4858535E3919C Time : 0.0 sec. user=Beyond [2013-08-08 18:26:56] 911*2^1250146-1 is not prime. Res64: 68E6B4F9B56922D3 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:28:19] 819*2^1250147-1 is not prime. Res64: E4052D7483D203AE Time : 0.0 sec. user=mdettweiler [2013-08-08 18:28:20] 883*2^1250147-1 is not prime. Res64: 567ADD02720E5BAE Time : 0.0 sec. user=Beyond [2013-08-08 18:29:38] 759*2^1250147-1 is not prime. Res64: 34F2DF706011FFC8 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:29:41] 913*2^1250147-1 is not prime. Res64: 79E14A6AC57E3A5A Time : 0.0 sec. user=mdettweiler [2013-08-08 18:29:42] 979*2^1250147-1 is not prime. Res64: 983E6D6C8C694973 Time : 0.0 sec. user=Beyond [2013-08-08 18:36:25] 657*2^1250148-1 is not prime. Res64: 8222597CDA03145E Time : 0.0 sec. user=mdettweiler [2013-08-08 18:38:25] 773*2^1250148-1 is not prime. Res64: F3E5DAF021DB2E06 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:38:26] 797*2^1250148-1 is not prime. Res64: 72E93A828066FAEB Time : 0.0 sec. user=Beyond [2013-08-08 18:41:05] 837*2^1250148-1 is not prime. Res64: 467384DFA2392407 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:46:34] 875*2^1250148-1 is not prime. Res64: B2AE4EAC08888477 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:46:35] 681*2^1250149-1 is not prime. Res64: E853AD31B7DDB42B Time : 0.0 sec. user=mdettweiler [2013-08-08 18:48:35] 759*2^1250149-1 is not prime. Res64: 2EBADE4B76A4B86F Time : 0.0 sec. user=mdettweiler [2013-08-08 18:48:35] 765*2^1250149-1 is not prime. Res64: E664C6D3F9B75061 Time : 0.0 sec. user=Beyond [2013-08-08 18:49:53] 747*2^1250149-1 is not prime. Res64: CEAC24A6ED534DA6 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:50:52] 987*2^1250149-1 is not prime. Res64: 0672F6E0F1FFCA2C Time : 0.0 sec. user=mdettweiler [2013-08-08 18:50:52] 603*2^1250150-1 is not prime. Res64: 4AB786BDC38EBCF6 Time : 0.0 sec. user=Beyond [2013-08-08 18:52:24] 895*2^1250149-1 is not prime. Res64: 8C840606F50F0CD1 Time : 0.0 sec. user=Beyond [2013-08-08 18:59:19] 615*2^1250150-1 is not prime. Res64: 2A80F31D85E46152 Time : 0.0 sec. user=mdettweiler [2013-08-08 18:59:27] 663*2^1250150-1 is not prime. Res64: 399FE691483FD92B Time : 0.0 sec. user=mdettweiler [2013-08-08 18:59:27] 791*2^1250150-1 is not prime. Res64: F3708042726A8AAF Time : 0.0 sec. user=Beyond [2013-08-08 19:07:56] 935*2^1250150-1 is not prime. Res64: 68817CCCCDF9755A Time : 0.0 sec. user=mdettweiler [2013-08-08 19:08:37] 953*2^1250150-1 is not prime. Res64: D7DB4DFE44B6692B Time : 0.0 sec. user=mdettweiler [2013-08-08 19:08:38] 971*2^1250150-1 is not prime. Res64: 122BAF7F968B4027 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:09:35] 995*2^1250150-1 is not prime. Res64: 2ACF67D0627776D5 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:09:36] 613*2^1250151-1 is not prime. Res64: 6002E56805E8ADA2 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:10:57] 745*2^1250151-1 is not prime. Res64: FDCD4D855AB0D544 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:10:58] 783*2^1250151-1 is not prime. Res64: 9029FAD918D56346 Time : 0.0 sec. user=Beyond [2013-08-08 19:12:37] 705*2^1250151-1 is not prime. Res64: 6FECB7644D578989 Time : 0.0 sec. user=Beyond [2013-08-08 19:19:16] 931*2^1250151-1 is not prime. Res64: 3ACBC7AFB7C2910E Time : 0.0 sec. user=mdettweiler [2013-08-08 19:19:32] 657*2^1250152-1 is not prime. Res64: 5DD97491257B319F Time : 0.0 sec. user=mdettweiler [2013-08-08 19:19:32] 693*2^1250152-1 is not prime. Res64: 9EF3C8BC4B3C78AE Time : 0.0 sec. user=Beyond [2013-08-08 19:26:24] 943*2^1250151-1 is not prime. Res64: CBC9D50BB22F9E9A Time : 0.0 sec. user=mdettweiler [2013-08-08 19:28:38] 705*2^1250152-1 is not prime. Res64: 5190DD3DEDAF4721 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:28:38] 803*2^1250152-1 is not prime. Res64: C74F353FA3209855 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:29:33] 887*2^1250152-1 is not prime. Res64: B1F74CC164A50924 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:29:33] 909*2^1250152-1 is not prime. Res64: 46671CBBD6B54A51 Time : 0.0 sec. user=Beyond [2013-08-08 19:30:39] 695*2^1250152-1 is not prime. Res64: D2F8476F6AE5D8B6 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:31:53] 939*2^1250152-1 is not prime. Res64: 38E6E1E1D4934384 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:31:54] 675*2^1250153-1 is not prime. Res64: 99447A9E7B0C497B Time : 0.0 sec. user=Beyond [2013-08-08 19:35:27] 699*2^1250153-1 is not prime. Res64: C84F9C9DDAC78D82 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:39:31] 727*2^1250153-1 is not prime. Res64: 44E8A7E6A58AD8FF Time : 0.0 sec. user=mdettweiler [2013-08-08 19:39:31] 769*2^1250153-1 is not prime. Res64: 33CD9D9DA2D503B1 Time : 0.0 sec. user=Beyond [2013-08-08 19:42:12] 721*2^1250153-1 is not prime. Res64: FE5A23AE7BEF6BB4 Time : 0.0 sec. user=Beyond [2013-08-08 19:49:19] 889*2^1250153-1 is not prime. Res64: C2DC9EA2324B7DD9 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:49:29] 621*2^1250154-1 is not prime. Res64: 64A78F1D6E7307F8 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:49:30] 807*2^1250154-1 is not prime. Res64: 7CF3732A5A2D7660 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:50:28] 949*2^1250153-1 is not prime. Res64: B8E14DB23DAD78E6 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:50:28] 957*2^1250153-1 is not prime. Res64: B1D51BC21335FB80 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:51:51] 673*2^1250155-1 is not prime. Res64: 3D109B773F9B7869 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:51:52] 709*2^1250155-1 is not prime. Res64: 6FDE5411BFE12512 Time : 0.0 sec. user=Beyond [2013-08-08 19:53:36] 649*2^1250155-1 is not prime. Res64: F41B2E8BC478D9D5 Time : 0.0 sec. user=Beyond [2013-08-08 19:58:24] 723*2^1250155-1 is not prime. Res64: 53B74B2A56127483 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:59:30] 829*2^1250155-1 is not prime. Res64: C9DF8F984D760B81 Time : 0.0 sec. user=mdettweiler [2013-08-08 19:59:30] 859*2^1250155-1 is not prime. Res64: 747D23488C400EE8 Time : 0.0 sec. user=Beyond [2013-08-08 20:05:10] 889*2^1250155-1 is not prime. Res64: 26C8E0E4297DD8EB Time : 0.0 sec. user=mdettweiler [2013-08-08 20:09:27] 635*2^1250156-1 is not prime. Res64: AC73E41A91680C95 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:09:28] 773*2^1250156-1 is not prime. Res64: E0CEED81C114EACA Time : 0.0 sec. user=mdettweiler [2013-08-08 20:10:26] 857*2^1250156-1 is not prime. Res64: 6CCEB066AACEEE3B Time : 0.0 sec. user=mdettweiler [2013-08-08 20:10:26] 661*2^1250157-1 is not prime. Res64: 0F1BE27D64D01014 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:11:50] 711*2^1250157-1 is not prime. Res64: 16B78169836BC953 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:11:50] 765*2^1250157-1 is not prime. Res64: BBA635BEFA46D544 Time : 0.0 sec. user=Beyond [2013-08-08 20:12:17] 633*2^1250156-1 is not prime. Res64: 373805284090BA04 Time : 0.0 sec. user=Beyond [2013-08-08 20:16:34] 847*2^1250157-1 is not prime. Res64: 0D2CD35450C8D3BC Time : 0.0 sec. user=mdettweiler [2013-08-08 20:19:27] 859*2^1250157-1 is not prime. Res64: 08922A32438FB211 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:19:27] 815*2^1250158-1 is not prime. Res64: 821D47FAD86D7FA3 Time : 0.0 sec. user=Beyond [2013-08-08 20:21:21] 849*2^1250157-1 is not prime. Res64: 5376FF5BD166F463 Time : 0.0 sec. user=Beyond [2013-08-08 20:28:08] 891*2^1250158-1 is not prime. Res64: 11989FF708C46503 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:30:19] 915*2^1250158-1 is not prime. Res64: 2C4EEFAABEA74E13 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:30:20] 603*2^1250159-1 is not prime. Res64: E42D382A7F1BE66A Time : 0.0 sec. user=mdettweiler [2013-08-08 20:30:24] 615*2^1250159-1 is not prime. Res64: 0F44137EA60DD187 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:30:24] 643*2^1250159-1 is not prime. Res64: 621E7C62CD250F23 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:31:54] 655*2^1250159-1 is not prime. Res64: 7F9EE087038518E1 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:31:54] 705*2^1250159-1 is not prime. Res64: 4CEA385F114911D3 Time : 0.0 sec. user=Beyond [2013-08-08 20:35:13] 735*2^1250159-1 is not prime. Res64: 2E513AA04882EE17 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:39:24] 789*2^1250159-1 is not prime. Res64: 7DA56632D312CED8 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:39:24] 799*2^1250159-1 is not prime. Res64: 068295017C3971DB Time : 0.0 sec. user=Beyond [2013-08-08 20:39:33] 771*2^1250159-1 is not prime. Res64: 7CF73798D6629D8F Time : 0.0 sec. user=Beyond [2013-08-08 20:44:14] 823*2^1250159-1 is not prime. Res64: DF4C0C99F119DCE5 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:50:15] 861*2^1250159-1 is not prime. Res64: 0F7C7C44D70A8D6F Time : 0.0 sec. user=mdettweiler [2013-08-08 20:50:16] 653*2^1250160-1 is not prime. Res64: 1957F07E1C1AA56A Time : 0.0 sec. user=mdettweiler [2013-08-08 20:50:22] 779*2^1250160-1 is not prime. Res64: AEF8D7D120564F40 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:50:22] 789*2^1250160-1 is not prime. Res64: D081D1CAC2EAC003 Time : 0.0 sec. user=Beyond [2013-08-08 20:51:00] 843*2^1250159-1 is not prime. Res64: 4756ACA8E320C8E4 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:52:47] 933*2^1250160-1 is not prime. Res64: FBB464DE6DB5777F Time : 0.0 sec. user=mdettweiler [2013-08-08 20:52:47] 681*2^1250161-1 is not prime. Res64: 178FEF1E11B1FCCF Time : 0.0 sec. user=Beyond [2013-08-08 20:57:54] 717*2^1250161-1 is not prime. Res64: 7F82F6C0477C2088 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:59:19] 745*2^1250161-1 is not prime. Res64: AC1808AAF802EFF4 Time : 0.0 sec. user=mdettweiler [2013-08-08 20:59:20] 847*2^1250161-1 is not prime. Res64: CCB2C0573929FEE8 Time : 0.0 sec. user=Beyond [2013-08-08 21:06:36] 925*2^1250161-1 is not prime. Res64: EC6B8552CA9976BA Time : 0.0 sec. user=mdettweiler [2013-08-08 21:10:16] 635*2^1250162-1 is not prime. Res64: 13ED05C2FD4FC902 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:10:17] 657*2^1250162-1 is not prime. Res64: 3255385920F9CEFF Time : 0.0 sec. user=mdettweiler [2013-08-08 21:10:18] 711*2^1250162-1 is not prime. Res64: 8D4608B3DBE2890A Time : 0.0 sec. user=mdettweiler [2013-08-08 21:10:18] 791*2^1250162-1 is not prime. Res64: 7E7E2F2024EE1027 Time : 0.0 sec. user=Beyond [2013-08-08 21:11:13] 955*2^1250161-1 is not prime. Res64: 5ED43678A159C35A Time : 0.0 sec. user=mdettweiler [2013-08-08 21:12:45] 875*2^1250162-1 is not prime. Res64: E67BE84C47483705 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:12:45] 703*2^1250163-1 is not prime. Res64: 94B31B45F1D48EA3 Time : 0.0 sec. user=Beyond [2013-08-08 21:13:45] 857*2^1250162-1 is not prime. Res64: 602997A9C87CE69F Time : 0.0 sec. user=mdettweiler [2013-08-08 21:19:17] 753*2^1250163-1 is not prime. Res64: D3B48C8085CD91EB Time : 0.0 sec. user=mdettweiler [2013-08-08 21:19:17] 781*2^1250163-1 is not prime. Res64: B33A65F70FF2F793 Time : 0.0 sec. user=Beyond [2013-08-08 21:20:38] 735*2^1250163-1 is not prime. Res64: 6376BA8705B000BE Time : 0.0 sec. user=Beyond [2013-08-08 21:29:26] 795*2^1250163-1 is not prime. Res64: 6B80ADA80D82A478 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:30:25] 859*2^1250163-1 is not prime. Res64: CC57F900618DAE83 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:30:25] 913*2^1250163-1 is not prime. Res64: 5B91FC15C6475835 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:31:14] 961*2^1250163-1 is not prime. Res64: AA296E428D6467BF Time : 0.0 sec. user=mdettweiler [2013-08-08 21:31:14] 759*2^1250164-1 is not prime. Res64: 48F479D45523952A Time : 0.0 sec. user=mdettweiler [2013-08-08 21:34:33] 953*2^1250164-1 is not prime. Res64: C875D1186883ED49 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:34:33] 975*2^1250164-1 is not prime. Res64: 6F848B459D540C56 Time : 0.0 sec. user=Beyond [2013-08-08 21:36:30] 651*2^1250165-1 is not prime. Res64: C36DECEC57A626D2 Time : 0.0 sec. user=Beyond [2013-08-08 21:38:16] 927*2^1250164-1 is not prime. Res64: F3CE3F713B9BB430 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:39:14] 669*2^1250165-1 is not prime. Res64: 3533B2359A6863AC Time : 0.0 sec. user=mdettweiler [2013-08-08 21:39:14] 675*2^1250165-1 is not prime. Res64: 223A53D84203E4CF Time : 0.0 sec. user=Beyond [2013-08-08 21:43:28] 715*2^1250165-1 is not prime. Res64: 4BA712DCEB3239DD Time : 0.0 sec. user=mdettweiler [2013-08-08 21:51:11] 627*2^1250166-1 is not prime. Res64: C47A36D937966294 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:51:11] 711*2^1250166-1 is not prime. Res64: 85FE7266B84F8BA9 Time : 0.0 sec. user=Beyond [2013-08-08 21:52:20] 741*2^1250165-1 is not prime. Res64: 99739BC41E911D53 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:52:24] 949*2^1250165-1 is not prime. Res64: 584BFC70DD4CC7B5 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:52:24] 987*2^1250165-1 is not prime. Res64: BD20AE69F1B860FF Time : 0.0 sec. user=mdettweiler [2013-08-08 21:55:28] 741*2^1250166-1 is not prime. Res64: 48C195215987F63D Time : 0.0 sec. user=mdettweiler [2013-08-08 21:55:28] 993*2^1250166-1 is not prime. Res64: 7028D48F7B2F019A Time : 0.0 sec. user=mdettweiler [2013-08-08 21:59:15] 663*2^1250167-1 is not prime. Res64: 2303AD2280529108 Time : 0.0 sec. user=mdettweiler [2013-08-08 21:59:16] 675*2^1250167-1 is not prime. Res64: A17877FF42E983BD Time : 0.0 sec. user=Beyond [2013-08-08 21:59:26] 603*2^1250167-1 is not prime. Res64: 15BFD580FFFDBA48 Time : 0.0 sec. user=Beyond [2013-08-08 22:01:14] 625*2^1250167-1 is not prime. Res64: 89388ADA6574788C Time : 0.0 sec. user=Beyond [2013-08-08 22:06:26] 703*2^1250167-1 is not prime. Res64: 847A06846176EC34 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:11:07] 705*2^1250167-1 is not prime. Res64: 9526B9B84B499C1F Time : 0.0 sec. user=mdettweiler [2013-08-08 22:11:09] 729*2^1250167-1 is not prime. Res64: B547F271612ED175 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:13:21] 951*2^1250167-1 is not prime. Res64: B67B08E4505BAA79 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:13:21] 603*2^1250168-1 is not prime. Res64: C4A6959CEEF75DFC Time : 0.0 sec. user=Beyond [2013-08-08 22:15:16] 859*2^1250167-1 is not prime. Res64: 9E2A12DB059B0EEF Time : 0.0 sec. user=mdettweiler [2013-08-08 22:15:27] 629*2^1250168-1 is not prime. Res64: 97E1B01A8F616762 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:15:27] 635*2^1250168-1 is not prime. Res64: D4ED4D5E0F48EB8D Time : 0.0 sec. user=mdettweiler [2013-08-08 22:19:13] 663*2^1250168-1 is not prime. Res64: 090F3BEE8651331B Time : 0.0 sec. user=mdettweiler [2013-08-08 22:19:13] 759*2^1250168-1 is not prime. Res64: D5B19D82924D6D26 Time : 0.0 sec. user=Beyond [2013-08-08 22:22:23] 767*2^1250168-1 is not prime. Res64: B836880F530607DA Time : 0.0 sec. user=Beyond [2013-08-08 22:24:08] 797*2^1250168-1 is not prime. Res64: 84E176E8E75BD16F Time : 0.0 sec. user=Beyond [2013-08-08 22:29:25] 835*2^1250169-1 is not prime. Res64: 22693D7DC8D9CB7C Time : 0.0 sec. user=mdettweiler [2013-08-08 22:32:07] 847*2^1250169-1 is not prime. Res64: FA8A45ADC9F4090B Time : 0.0 sec. user=mdettweiler [2013-08-08 22:32:07] 999*2^1250169-1 is not prime. Res64: 2B8C572D925598B4 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:33:16] 647*2^1250170-1 is not prime. Res64: A73442D6D0FF7282 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:33:17] 653*2^1250170-1 is not prime. Res64: D1B2596ADA4184BD Time : 0.0 sec. user=mdettweiler [2013-08-08 22:35:28] 843*2^1250170-1 is not prime. Res64: 2EBEFBC85BC7135F Time : 0.0 sec. user=mdettweiler [2013-08-08 22:35:29] 873*2^1250170-1 is not prime. Res64: 72585D462AF9C13D Time : 0.0 sec. user=Beyond [2013-08-08 22:38:13] 765*2^1250170-1 is not prime. Res64: E95D6B0E6322F4F4 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:39:12] 891*2^1250170-1 is not prime. Res64: C7758358871E424E Time : 0.0 sec. user=mdettweiler [2013-08-08 22:39:12] 645*2^1250171-1 is not prime. Res64: 94C388F99DB9E64C Time : 0.0 sec. user=Beyond [2013-08-08 22:45:14] 711*2^1250171-1 is not prime. Res64: A33F40119697DACF Time : 0.0 sec. user=Beyond [2013-08-08 22:47:02] 871*2^1250171-1 is not prime. Res64: 3FCE1F69C05043F6 Time : 0.0 sec. user=Beyond [2013-08-08 22:52:17] 883*2^1250171-1 is not prime. Res64: 6C6BB0158D92F429 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:53:02] 955*2^1250171-1 is not prime. Res64: 0942B69F6A958EAA Time : 0.0 sec. user=mdettweiler [2013-08-08 22:53:02] 623*2^1250172-1 is not prime. Res64: 70193A7646DDE4D1 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:53:19] 635*2^1250172-1 is not prime. Res64: 120DCC938AB1466E Time : 0.0 sec. user=mdettweiler [2013-08-08 22:53:19] 717*2^1250172-1 is not prime. Res64: D13C173F18F1E8A8 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:55:31] 759*2^1250172-1 is not prime. Res64: 9E88E0AB8A398670 Time : 0.0 sec. user=mdettweiler [2013-08-08 22:55:31] 765*2^1250172-1 is not prime. Res64: 20B62C7089892987 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:01:05] 965*2^1250172-1 is not prime. Res64: 5E770B9069E345A1 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:01:06] 977*2^1250172-1 is not prime. Res64: 2D176FD5104CFB31 Time : 0.0 sec. user=Beyond [2013-08-08 23:05:13] 945*2^1250172-1 is not prime. Res64: B48EDC4B06DBCD66 Time : 0.0 sec. user=Beyond [2013-08-08 23:08:03] 729*2^1250173-1 is not prime. Res64: 14CC51845146F9ED Time : 0.0 sec. user=Beyond [2013-08-08 23:09:52] 801*2^1250173-1 is not prime. Res64: 58BF5F7799B451D1 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:13:18] 617*2^1250174-1 is not prime. Res64: AD1C0A088EBA9BC7 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:13:19] 663*2^1250174-1 is not prime. Res64: F5359BD17DCF0DD2 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:13:48] 867*2^1250173-1 is not prime. Res64: A69AE804830E2F61 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:13:48] 999*2^1250173-1 is not prime. Res64: 4B5D3BE720420AB3 Time : 0.0 sec. user=Beyond [2013-08-08 23:15:00] 831*2^1250173-1 is not prime. Res64: 8B05CF91953D24DE Time : 0.0 sec. user=mdettweiler [2013-08-08 23:15:34] 755*2^1250174-1 is not prime. Res64: 7728D587969E4FF2 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:15:36] 795*2^1250174-1 is not prime. Res64: 32A5E5EC88898F94 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:22:08] 833*2^1250174-1 is not prime. Res64: C0F7E19469CB8427 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:22:09] 935*2^1250174-1 is not prime. Res64: 4A5E8D3BE5C3F6C7 Time : 0.0 sec. user=Beyond [2013-08-08 23:32:13] 941*2^1250174-1 is not prime. Res64: 8057A40F48CCAEB3 Time : 0.0 sec. user=Beyond [2013-08-08 23:32:28] 663*2^1250175-1 is not prime. Res64: 1A4671E1D0303C06 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:33:11] 723*2^1250175-1 is not prime. Res64: DDA9336E2A395EB9 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:33:11] 859*2^1250175-1 is not prime. Res64: 16FE8BAD25B0A7B4 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:33:43] 871*2^1250175-1 is not prime. Res64: 297E6F825D6B510F Time : 0.0 sec. user=mdettweiler [2013-08-08 23:33:43] 891*2^1250175-1 is not prime. Res64: 4960AE7E68A49787 Time : 0.0 sec. user=Beyond [2013-08-08 23:35:05] 951*2^1250174-1 is not prime. Res64: DEFE19E5E0930C39 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:37:38] 955*2^1250175-1 is not prime. Res64: F6AB2C7BF3C276C2 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:37:38] 961*2^1250175-1 is not prime. Res64: 917642E12998D23F Time : 0.0 sec. user=Beyond [2013-08-08 23:41:53] 921*2^1250175-1 is not prime. Res64: 173122B12DBC3C5D Time : 0.0 sec. user=mdettweiler [2013-08-08 23:42:09] 603*2^1250176-1 is not prime. Res64: 8ED3BD7F7226DD36 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:42:09] 639*2^1250176-1 is not prime. Res64: 62AE41484CA2CB35 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:53:07] 855*2^1250176-1 is not prime. Res64: B19B70FC0D7F1FA9 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:53:07] 741*2^1250177-1 is not prime. Res64: 284C95E40DB74254 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:53:41] 769*2^1250177-1 is not prime. Res64: 9F19BA545E08740A Time : 0.0 sec. user=mdettweiler [2013-08-08 23:53:41] 841*2^1250177-1 is not prime. Res64: E115F7F9A9AA34C0 Time : 0.0 sec. user=Beyond [2013-08-08 23:55:00] 707*2^1250176-1 is not prime. Res64: 873BB01032DC031D Time : 0.0 sec. user=Beyond [2013-08-08 23:55:12] 843*2^1250176-1 is not prime. Res64: F250EA7BA07149BD Time : 0.0 sec. user=mdettweiler [2013-08-08 23:59:22] 931*2^1250177-1 is not prime. Res64: 25E8FB973E9709E3 Time : 0.0 sec. user=mdettweiler [2013-08-08 23:59:22] 937*2^1250177-1 is not prime. Res64: 4E5C07D90A7D7C3D Time : 0.0 sec.