user=mdettweiler [2016-03-24 00:04:25] 737*2^1424076-1 is not prime. Res64: 727C564C1BE42411 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:04:26] 843*2^1424076-1 is not prime. Res64: DBBB9AC06F5EB13D Time : 0.0 sec. user=mdettweiler [2016-03-24 00:04:26] 875*2^1424076-1 is not prime. Res64: 3432BF95B83B8351 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:04:27] 933*2^1424076-1 is not prime. Res64: D7303B5F7768BEA4 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:04:27] 685*2^1424077-1 is not prime. Res64: F267AC98545738E4 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:06:00] 751*2^1424077-1 is not prime. Res64: C047BDC58FDEB867 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:06:01] 801*2^1424077-1 is not prime. Res64: DB7293723D475F8A Time : 0.0 sec. user=mdettweiler [2016-03-24 00:06:02] 819*2^1424077-1 is not prime. Res64: 664860835BBA8891 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:06:03] 939*2^1424077-1 is not prime. Res64: CA554A5BDE3F0F6C Time : 0.0 sec. user=mdettweiler [2016-03-24 00:06:04] 961*2^1424077-1 is not prime. Res64: 60CF36252E6720C7 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:07:46] 979*2^1424077-1 is not prime. Res64: 05FD73C507892386 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:07:48] 651*2^1424078-1 is not prime. Res64: 0998A02CD56CF45A Time : 0.0 sec. user=mdettweiler [2016-03-24 00:07:49] 861*2^1424078-1 is not prime. Res64: 2D013364ECE7CBA3 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:07:49] 897*2^1424078-1 is not prime. Res64: 81F9BCA28260263E Time : 0.0 sec. user=mdettweiler [2016-03-24 00:07:50] 613*2^1424079-1 is not prime. Res64: D1CA2230A1502056 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:45:13] 763*2^1424079-1 is not prime. Res64: BBB88F0B95B81665 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:45:14] 789*2^1424079-1 is not prime. Res64: C030765CB4A81703 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:45:14] 795*2^1424079-1 is not prime. Res64: B8BE86DD6F9D9D0F Time : 0.0 sec. user=mdettweiler [2016-03-24 00:45:15] 831*2^1424079-1 is not prime. Res64: F22C7E52FF5DDA14 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:45:15] 975*2^1424079-1 is not prime. Res64: D7D7D5C903ECBB40 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:49:40] 609*2^1424080-1 is not prime. Res64: 8CD4CCD0E284DAA7 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:49:40] 615*2^1424080-1 is not prime. Res64: 2683348E2A7FFACA Time : 0.0 sec. user=mdettweiler [2016-03-24 00:49:40] 699*2^1424080-1 is not prime. Res64: B7F3C24013CED6D2 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:49:41] 719*2^1424080-1 is not prime. Res64: 2680172F20E15D15 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:49:41] 777*2^1424080-1 is not prime. Res64: 95C17C2CE2E11665 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:51:15] 819*2^1424080-1 is not prime. Res64: DA813458CD68D61F Time : 0.0 sec. user=mdettweiler [2016-03-24 00:51:15] 923*2^1424080-1 is not prime. Res64: B5DFC1B9A0CFF7FC Time : 0.0 sec. user=mdettweiler [2016-03-24 00:51:16] 615*2^1424081-1 is not prime. Res64: D8DF2F9142EBD8BF Time : 0.0 sec. user=mdettweiler [2016-03-24 00:51:16] 627*2^1424081-1 is not prime. Res64: 1DF39F7001389738 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:51:17] 637*2^1424081-1 is not prime. Res64: 05156FEAC4ECA49B Time : 0.0 sec. user=mdettweiler [2016-03-24 00:52:49] 889*2^1424081-1 is not prime. Res64: EDA07CDF86DD6204 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:52:49] 909*2^1424081-1 is not prime. Res64: A54529081307C485 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:52:50] 955*2^1424081-1 is not prime. Res64: 1DC70229792335C8 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:52:50] 683*2^1424082-1 is not prime. Res64: F906B198CD829520 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:52:51] 821*2^1424082-1 is not prime. Res64: 3108703C5CA3DBEC Time : 0.0 sec. user=mdettweiler [2016-03-24 01:07:34] 881*2^1424086-1 is not prime. Res64: B3764B8D3609E54E Time : 0.0 sec. user=mdettweiler [2016-03-24 01:30:14] 885*2^1424082-1 is not prime. Res64: 4E9DA075105B6BEF Time : 0.0 sec. user=mdettweiler [2016-03-24 01:30:16] 945*2^1424082-1 is not prime. Res64: 7934E8ED9CC04C0B Time : 0.0 sec. user=mdettweiler [2016-03-24 01:30:19] 615*2^1424083-1 is not prime. Res64: 955B2AE96D10E7D4 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:30:21] 631*2^1424083-1 is not prime. Res64: 77DB9E412436C43B Time : 0.0 sec. user=mdettweiler [2016-03-24 01:30:22] 705*2^1424083-1 is not prime. Res64: 33FE449B046340A5 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:34:35] 891*2^1424083-1 is not prime. Res64: 2182306AA3041000 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:34:36] 945*2^1424083-1 is not prime. Res64: 110DDAAF53FBA9BF Time : 0.0 sec. user=mdettweiler [2016-03-24 01:34:37] 683*2^1424084-1 is not prime. Res64: 36D4EBE609063B54 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:34:38] 773*2^1424084-1 is not prime. Res64: 2B1279B87840CE87 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:34:39] 789*2^1424084-1 is not prime. Res64: DABA42497ED491B6 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:36:09] 825*2^1424084-1 is not prime. Res64: 0D85ECC260391A06 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:36:10] 855*2^1424084-1 is not prime. Res64: FB40A68EEE3CF449 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:36:10] 607*2^1424085-1 is not prime. Res64: EB42518BA57DB2C3 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:36:11] 625*2^1424085-1 is not prime. Res64: 96C39676FE6C0531 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:36:11] 709*2^1424085-1 is not prime. Res64: A93D905EBCCDDA62 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:37:52] 961*2^1424085-1 is not prime. Res64: 171196A02D290507 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:37:53] 997*2^1424085-1 is not prime. Res64: D7F1B4C94BA74E67 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:37:54] 717*2^1424086-1 is not prime. Res64: FCB5CAB6837C9A64 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:37:55] 773*2^1424086-1 is not prime. Res64: DDACC0FD10F43686 Time : 0.0 sec. user=mdettweiler [2016-03-24 01:37:56] 857*2^1424086-1 is not prime. Res64: 5481E1C932061F35 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:16:45] 947*2^1424086-1 is not prime. Res64: 5C12D51BF4BC44F0 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:16:46] 993*2^1424086-1 is not prime. Res64: 88A2F36CB033E993 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:16:46] 669*2^1424087-1 is not prime. Res64: 06AFDBDBB0068CFD Time : 0.0 sec. user=mdettweiler [2016-03-24 02:16:46] 673*2^1424087-1 is not prime. Res64: 389AFBE3F9220FBF Time : 0.0 sec. user=mdettweiler [2016-03-24 02:16:47] 711*2^1424087-1 is not prime. Res64: A8A7850A8F9F31BF Time : 0.0 sec. user=mdettweiler [2016-03-24 02:20:31] 739*2^1424087-1 is not prime. Res64: 941B7BB5C4D1EACA Time : 0.0 sec. user=mdettweiler [2016-03-24 02:20:31] 825*2^1424087-1 is not prime. Res64: 6BD97818B8067FE7 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:20:32] 843*2^1424087-1 is not prime. Res64: 9187386D45CD71F4 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:20:32] 861*2^1424087-1 is not prime. Res64: D63D8AB5022280AD Time : 0.0 sec. user=mdettweiler [2016-03-24 02:20:33] 931*2^1424087-1 is not prime. Res64: C952B520A764A3FC Time : 0.0 sec. user=mdettweiler [2016-03-24 02:20:43] 861*2^1424089-1 is not prime. Res64: FAB38A7B5CAFBD99 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:21:53] 955*2^1424087-1 is not prime. Res64: 36EF6292EB4A8534 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:21:54] 615*2^1424088-1 is not prime. Res64: 07A52D57A3CD5079 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:21:54] 773*2^1424088-1 is not prime. Res64: 4A9C2D01B137E2CE Time : 0.0 sec. user=mdettweiler [2016-03-24 02:21:54] 699*2^1424089-1 is not prime. Res64: 38E3EB7203876752 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:21:55] 705*2^1424089-1 is not prime. Res64: 004E4289868CD037 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:24:10] 747*2^1424089-1 is not prime. Res64: B00604DC38C18624 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:24:11] 801*2^1424089-1 is not prime. Res64: A0F2F1E7516269B9 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:24:11] 811*2^1424089-1 is not prime. Res64: 3D44C9B865FA44A1 Time : 0.0 sec. user=mdettweiler [2016-03-24 02:24:12] 831*2^1424089-1 is not prime. Res64: E34FFC46413E628F Time : 0.0 sec. user=mdettweiler [2016-03-24 02:24:12] 841*2^1424089-1 is not prime. Res64: EBEFA238E1DA90E2 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:03:23] 877*2^1424089-1 is not prime. Res64: 378D47E5DA523A60 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:03:24] 895*2^1424089-1 is not prime. Res64: CE47CA05ACB3BDC5 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:03:25] 931*2^1424089-1 is not prime. Res64: 16B07BB4BA5DBFE3 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:03:26] 975*2^1424089-1 is not prime. Res64: D74CB49AC3E7CCE3 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:03:27] 735*2^1424090-1 is not prime. Res64: 7EFE9968B610D3FC Time : 0.0 sec. user=mdettweiler [2016-03-24 03:07:10] 743*2^1424090-1 is not prime. Res64: 52C09572428B5D3A Time : 0.0 sec. user=mdettweiler [2016-03-24 03:07:11] 791*2^1424090-1 is not prime. Res64: 7F52D9639AFBFFC9 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:07:12] 797*2^1424090-1 is not prime. Res64: 46848EE6890D4E07 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:07:13] 851*2^1424090-1 is not prime. Res64: E7A0BAB7DCA37918 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:07:14] 861*2^1424090-1 is not prime. Res64: C1585EC2FB53BC03 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:09:02] 887*2^1424090-1 is not prime. Res64: BDDD18AFA67175CE Time : 0.0 sec. user=mdettweiler [2016-03-24 03:09:02] 873*2^1424091-1 is not prime. Res64: 354CD0689353B2E3 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:09:03] 903*2^1424091-1 is not prime. Res64: 78EECD721ED02B2A Time : 0.0 sec. user=mdettweiler [2016-03-24 03:09:03] 945*2^1424091-1 is not prime. Res64: 0B8E467FB39735C7 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:09:03] 955*2^1424091-1 is not prime. Res64: D18526787A5D0E43 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:10:29] 979*2^1424091-1 is not prime. Res64: 98B64EA1F221F253 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:10:30] 665*2^1424092-1 is not prime. Res64: DE0B9F39D51BCFA3 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:10:30] 677*2^1424092-1 is not prime. Res64: EC928CFE29D01EE1 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:10:30] 687*2^1424092-1 is not prime. Res64: EB2196FF2927BF55 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:10:31] 693*2^1424092-1 is not prime. Res64: AC1F5C18E0BDA325 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:30:01] 919*2^1424095-1 is not prime. Res64: 6DF3ACADA3A20AFF Time : 0.0 sec. user=mdettweiler [2016-03-24 03:47:46] 933*2^1424095-1 is not prime. Res64: 1DBA1ADD6C4EBFC8 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:48:41] 755*2^1424092-1 is not prime. Res64: D3BAD44B95662205 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:48:42] 759*2^1424092-1 is not prime. Res64: 28F267E41349FD5F Time : 0.0 sec. user=mdettweiler [2016-03-24 03:48:42] 777*2^1424092-1 is not prime. Res64: 648FB0462619A456 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:48:43] 897*2^1424092-1 is not prime. Res64: 958F5E5B0FFC662A Time : 0.0 sec. user=mdettweiler [2016-03-24 03:48:43] 989*2^1424092-1 is not prime. Res64: 8482746886409A67 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:52:48] 621*2^1424093-1 is not prime. Res64: 44AD63FFD153C041 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:52:49] 727*2^1424093-1 is not prime. Res64: DFB6D78A61EC6512 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:52:49] 769*2^1424093-1 is not prime. Res64: 7DDFE9D63E32EE67 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:52:50] 837*2^1424093-1 is not prime. Res64: 95ABCD70FC1C8AEE Time : 0.0 sec. user=mdettweiler [2016-03-24 03:52:50] 867*2^1424093-1 is not prime. Res64: 9EFB6AA21FD24DBE Time : 0.0 sec. user=mdettweiler [2016-03-24 03:54:25] 885*2^1424093-1 is not prime. Res64: E630FE2E570225CA Time : 0.0 sec. user=mdettweiler [2016-03-24 03:54:26] 981*2^1424093-1 is not prime. Res64: EE3BBB487B715837 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:54:26] 693*2^1424094-1 is not prime. Res64: 3AEEB0A1EE1E5997 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:54:27] 731*2^1424094-1 is not prime. Res64: 6DFA007C4D78E456 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:54:27] 807*2^1424094-1 is not prime. Res64: AB21E44986E4ADF9 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:55:38] 945*2^1424094-1 is not prime. Res64: 8E9CEB9DE0221B35 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:55:38] 645*2^1424095-1 is not prime. Res64: E3A6014718F063F6 Time : 0.0 sec. user=mdettweiler [2016-03-24 03:55:39] 751*2^1424095-1 is not prime. Res64: 8308C8DFA0DD3C0B Time : 0.0 sec. user=mdettweiler [2016-03-24 03:55:39] 805*2^1424095-1 is not prime. Res64: 0B290E4B1F4D225D Time : 0.0 sec. user=mdettweiler [2016-03-24 03:55:39] 871*2^1424095-1 is not prime. Res64: 2917FC7643A91632 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:05:50] 895*2^1424099-1 is not prime. Res64: F8ECEF3DA0A0E310 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:23:16] 909*2^1424099-1 is not prime. Res64: B16EE8734AFF8AC2 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:34:13] 629*2^1424096-1 is not prime. Res64: 05E36AB4563A52CC Time : 0.0 sec. user=mdettweiler [2016-03-24 04:34:13] 633*2^1424096-1 is not prime. Res64: 929202CCF1B76712 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:34:13] 867*2^1424096-1 is not prime. Res64: 1592547EE87C54D7 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:34:14] 601*2^1424097-1 is not prime. Res64: DB3FDB4913C1B375 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:34:14] 669*2^1424097-1 is not prime. Res64: 6060310DF8C39775 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:38:09] 699*2^1424097-1 is not prime. Res64: A960483520186AA6 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:38:10] 727*2^1424097-1 is not prime. Res64: 921A46E42A5895B2 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:38:10] 889*2^1424097-1 is not prime. Res64: 1BC29FEA889DF29D Time : 0.0 sec. user=mdettweiler [2016-03-24 04:38:10] 895*2^1424097-1 is not prime. Res64: 19E38864E5D62114 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:38:11] 909*2^1424097-1 is not prime. Res64: CE012570686D4320 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:39:37] 663*2^1424098-1 is not prime. Res64: 6DA02F5780A5AAF5 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:39:37] 861*2^1424098-1 is not prime. Res64: 50AF4E5BFB37BEEE Time : 0.0 sec. user=mdettweiler [2016-03-24 04:39:38] 867*2^1424098-1 is not prime. Res64: 4CDE52CCA97DEC03 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:39:38] 957*2^1424098-1 is not prime. Res64: E8D18F60763393C6 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:39:38] 601*2^1424099-1 is not prime. Res64: D1143B14EEA94991 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:41:03] 615*2^1424099-1 is not prime. Res64: 694CB8AED566142D Time : 0.0 sec. user=mdettweiler [2016-03-24 04:41:03] 631*2^1424099-1 is not prime. Res64: 91EA9A83F5E89C4D Time : 0.0 sec. user=mdettweiler [2016-03-24 04:41:04] 643*2^1424099-1 is not prime. Res64: C7975F475EADFC3A Time : 0.0 sec. user=mdettweiler [2016-03-24 04:41:04] 663*2^1424099-1 is not prime. Res64: 785F1CB0F6EA19A2 Time : 0.0 sec. user=mdettweiler [2016-03-24 04:41:04] 829*2^1424099-1 is not prime. Res64: 080ADACA167A669D Time : 0.0 sec. user=mdettweiler [2016-03-24 04:57:57] 813*2^1424102-1 is not prime. Res64: 1118E37CD10F45AD Time : 0.0 sec. user=mdettweiler [2016-03-24 05:19:25] 973*2^1424099-1 is not prime. Res64: D3FC8AB74B1A9F8D Time : 0.0 sec. user=mdettweiler [2016-03-24 05:19:26] 993*2^1424099-1 is not prime. Res64: F7F1596F7261C28C Time : 0.0 sec. user=mdettweiler [2016-03-24 05:19:26] 689*2^1424100-1 is not prime. Res64: 7FA21CB5EA7B45A7 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:19:27] 797*2^1424100-1 is not prime. Res64: C0D185C087BB5B0F Time : 0.0 sec. user=mdettweiler [2016-03-24 05:19:27] 825*2^1424100-1 is not prime. Res64: 81989BA3BC7C8D4F Time : 0.0 sec. user=mdettweiler [2016-03-24 05:23:12] 879*2^1424100-1 is not prime. Res64: 21529D7F0BE344E4 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:23:12] 887*2^1424100-1 is not prime. Res64: 9FF07B67210C3784 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:23:13] 999*2^1424100-1 is not prime. Res64: E81F4DB30AC277F8 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:23:13] 639*2^1424101-1 is not prime. Res64: 7D0D4A1E33102A3F Time : 0.0 sec. user=mdettweiler [2016-03-24 05:23:14] 651*2^1424101-1 is not prime. Res64: CD1B4D32FF3A9186 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:24:32] 777*2^1424101-1 is not prime. Res64: D215CADAC4A6D18B Time : 0.0 sec. user=mdettweiler [2016-03-24 05:24:32] 799*2^1424101-1 is not prime. Res64: FA5A8617E77C779F Time : 0.0 sec. user=mdettweiler [2016-03-24 05:24:32] 817*2^1424101-1 is not prime. Res64: 7302E8F25F281E1C Time : 0.0 sec. user=mdettweiler [2016-03-24 05:24:33] 889*2^1424101-1 is not prime. Res64: CCE9C8BF3B4C2A85 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:24:33] 931*2^1424101-1 is not prime. Res64: 4656F92B087586BF Time : 0.0 sec. user=mdettweiler [2016-03-24 05:26:14] 939*2^1424101-1 is not prime. Res64: FB36420493FB6EF2 Time : 0.0 sec. user=mdettweiler [2016-03-24 05:26:15] 979*2^1424101-1 is not prime. Res64: C9ECF8D244CB91DF Time : 0.0 sec. user=mdettweiler [2016-03-24 05:26:15] 683*2^1424102-1 is not prime. Res64: C67E531F260FA61A Time : 0.0 sec. user=mdettweiler [2016-03-24 05:26:15] 705*2^1424102-1 is not prime. Res64: 78E6CB4C404142DD Time : 0.0 sec. user=mdettweiler [2016-03-24 05:26:16] 711*2^1424102-1 is not prime. Res64: EFB0FEADD478A806 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:05:39] 885*2^1424102-1 is not prime. Res64: 5CA5506F8DC55A63 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:05:41] 643*2^1424103-1 is not prime. Res64: 846CDB75AB351B69 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:05:42] 751*2^1424103-1 is not prime. Res64: 07D746F94C9BB206 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:05:43] 775*2^1424103-1 is not prime. Res64: A8D174AEC422E46B Time : 0.0 sec. user=mdettweiler [2016-03-24 06:05:44] 609*2^1424104-1 is not prime. Res64: C1558FB69D7DCA6E Time : 0.0 sec. user=mdettweiler [2016-03-24 06:08:35] 639*2^1424104-1 is not prime. Res64: 5C3A4E844F2594DD Time : 0.0 sec. user=mdettweiler [2016-03-24 06:08:36] 705*2^1424104-1 is not prime. Res64: 25353DBADBFF207B Time : 0.0 sec. user=mdettweiler [2016-03-24 06:08:36] 743*2^1424104-1 is not prime. Res64: 50D1132BFEE43AB4 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:08:37] 927*2^1424104-1 is not prime. Res64: E28B5FB36492C02C Time : 0.0 sec. user=mdettweiler [2016-03-24 06:08:37] 657*2^1424105-1 is not prime. Res64: 53A752D4C8C993E9 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:10:01] 789*2^1424105-1 is not prime. Res64: 16576F81618077B0 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:10:02] 861*2^1424105-1 is not prime. Res64: 2C405B0EDAD14AFE Time : 0.0 sec. user=mdettweiler [2016-03-24 06:10:02] 767*2^1424106-1 is not prime. Res64: 642D624AB65A58EF Time : 0.0 sec. user=mdettweiler [2016-03-24 06:10:03] 843*2^1424106-1 is not prime. Res64: DB4117D6D3171234 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:10:03] 963*2^1424106-1 is not prime. Res64: 227CDD6BE3E7FA5C Time : 0.0 sec. user=mdettweiler [2016-03-24 06:11:43] 649*2^1424107-1 is not prime. Res64: 1B869344BE7AA81B Time : 0.0 sec. user=mdettweiler [2016-03-24 06:11:44] 681*2^1424107-1 is not prime. Res64: 0C049E1679472F51 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:11:44] 685*2^1424107-1 is not prime. Res64: C1E5334C965FB52A Time : 0.0 sec. user=mdettweiler [2016-03-24 06:11:44] 741*2^1424107-1 is not prime. Res64: 822434DA67CF6BA6 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:11:45] 835*2^1424107-1 is not prime. Res64: 11FBF9B83C8FE4EC Time : 0.0 sec. user=mdettweiler [2016-03-24 06:22:18] 635*2^1424112-1 is not prime. Res64: DF340E77E8CDD5E7 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:51:02] 931*2^1424107-1 is not prime. Res64: E95A0EF2F83A9523 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:51:02] 939*2^1424107-1 is not prime. Res64: 69F45F48D7A0867A Time : 0.0 sec. user=mdettweiler [2016-03-24 06:51:02] 617*2^1424108-1 is not prime. Res64: C6057436E3A7A325 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:51:03] 649*2^1424109-1 is not prime. Res64: B464571BDABB8FD2 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:51:03] 895*2^1424109-1 is not prime. Res64: 31ACE8EE9FD6D368 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:54:05] 951*2^1424109-1 is not prime. Res64: 9484A11383D9DAD7 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:54:05] 611*2^1424110-1 is not prime. Res64: B27D4379F37DDAD6 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:54:06] 623*2^1424110-1 is not prime. Res64: 1E468A3685AF2214 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:54:06] 635*2^1424110-1 is not prime. Res64: A554BC4A2CD03928 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:54:06] 647*2^1424110-1 is not prime. Res64: 9656482B171647B0 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:55:12] 681*2^1424110-1 is not prime. Res64: C8099284AC62513A Time : 0.0 sec. user=mdettweiler [2016-03-24 06:55:12] 741*2^1424110-1 is not prime. Res64: 573CE2EA47CF8128 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:55:13] 941*2^1424110-1 is not prime. Res64: F5B32325D441016C Time : 0.0 sec. user=mdettweiler [2016-03-24 06:55:13] 669*2^1424111-1 is not prime. Res64: EF773F3D4F9EAC9E Time : 0.0 sec. user=mdettweiler [2016-03-24 06:55:13] 781*2^1424111-1 is not prime. Res64: EA0EC2F54D759B3F Time : 0.0 sec. user=mdettweiler [2016-03-24 06:57:17] 883*2^1424111-1 is not prime. Res64: 817195CBFED3A652 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:57:17] 921*2^1424111-1 is not prime. Res64: DE1CEE12D77CC403 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:57:17] 943*2^1424111-1 is not prime. Res64: 13A5CA2C30E20817 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:57:18] 979*2^1424111-1 is not prime. Res64: 7E1EE4C80CF62440 Time : 0.0 sec. user=mdettweiler [2016-03-24 06:57:18] 627*2^1424112-1 is not prime. Res64: 7C05046583920E7C Time : 0.0 sec. user=mdettweiler [2016-03-24 07:36:26] 689*2^1424112-1 is not prime. Res64: 1E28A166C9DA986B Time : 0.0 sec. user=mdettweiler [2016-03-24 07:36:26] 693*2^1424112-1 is not prime. Res64: 397DBB163C13170B Time : 0.0 sec. user=mdettweiler [2016-03-24 07:36:27] 713*2^1424112-1 is not prime. Res64: 7FCD7E9AC44CC0E4 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:36:27] 737*2^1424112-1 is not prime. Res64: 067EBEAF9B79C967 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:36:27] 779*2^1424112-1 is not prime. Res64: 16414EE9D97E69E1 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:37:52] 849*2^1424115-1 is not prime. Res64: 23E993349BA8DC73 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:39:08] 879*2^1424112-1 is not prime. Res64: E2E3890BB1D5307E Time : 0.0 sec. user=mdettweiler [2016-03-24 07:39:08] 929*2^1424112-1 is not prime. Res64: EEB2EC4FE9B50FE8 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:39:08] 933*2^1424112-1 is not prime. Res64: 049E054FD7E0D28F Time : 0.0 sec. user=mdettweiler [2016-03-24 07:39:09] 959*2^1424112-1 is not prime. Res64: 675FD057F834EB52 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:39:09] 983*2^1424112-1 is not prime. Res64: 348B38256AE799C1 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:40:27] 607*2^1424113-1 is not prime. Res64: 675DC77AF4ED18FC Time : 0.0 sec. user=mdettweiler [2016-03-24 07:40:28] 649*2^1424113-1 is not prime. Res64: 97594C451D09FAE2 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:40:28] 681*2^1424113-1 is not prime. Res64: 81048B60D08D4B36 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:40:28] 687*2^1424113-1 is not prime. Res64: 3D5DBE17A3A4F629 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:40:29] 657*2^1424114-1 is not prime. Res64: 63DFCEF32C0D252E Time : 0.0 sec. user=mdettweiler [2016-03-24 07:42:40] 687*2^1424114-1 is not prime. Res64: 3EAE47F3F62854C1 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:42:40] 767*2^1424114-1 is not prime. Res64: 0EB7F3732721884C Time : 0.0 sec. user=mdettweiler [2016-03-24 07:42:41] 917*2^1424114-1 is not prime. Res64: FE442D0012BD2E36 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:42:41] 781*2^1424115-1 is not prime. Res64: 96C8588E1A66E991 Time : 0.0 sec. user=mdettweiler [2016-03-24 07:42:42] 795*2^1424115-1 is not prime. Res64: BBCD1877EE16C64F Time : 0.0 sec. user=mdettweiler [2016-03-24 07:55:22] 859*2^1424119-1 is not prime. Res64: 022E70B37FD0EFDB Time : 0.0 sec. user=mdettweiler [2016-03-24 08:17:12] 871*2^1424107-1 is not prime. Res64: 5941E83439252925 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:21:42] 885*2^1424115-1 is not prime. Res64: BA602B101BB70EE0 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:21:43] 913*2^1424115-1 is not prime. Res64: 77BF5C5B8D092F85 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:21:43] 677*2^1424116-1 is not prime. Res64: 441430FD8433CCAC Time : 0.0 sec. user=mdettweiler [2016-03-24 08:21:44] 749*2^1424116-1 is not prime. Res64: CF67CC6A7E2CB1AF Time : 0.0 sec. user=mdettweiler [2016-03-24 08:21:44] 933*2^1424116-1 is not prime. Res64: 7E5E547081C8FD45 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:24:37] 649*2^1424117-1 is not prime. Res64: ACE7B3E7D1DDA5E4 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:24:38] 655*2^1424117-1 is not prime. Res64: 7E5F715F73335DC9 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:24:38] 769*2^1424117-1 is not prime. Res64: E9B7502F5CA49BBB Time : 0.0 sec. user=mdettweiler [2016-03-24 08:24:39] 795*2^1424117-1 is not prime. Res64: DF864F5DA7F0378F Time : 0.0 sec. user=mdettweiler [2016-03-24 08:24:39] 861*2^1424117-1 is not prime. Res64: 269961482CD8B5D3 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:25:38] 627*2^1424118-1 is not prime. Res64: 91B58508A0D11FB8 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:25:38] 665*2^1424118-1 is not prime. Res64: 35468AC6F03E7DAD Time : 0.0 sec. user=mdettweiler [2016-03-24 08:25:38] 791*2^1424118-1 is not prime. Res64: 214E8D211726697F Time : 0.0 sec. user=mdettweiler [2016-03-24 08:25:39] 609*2^1424119-1 is not prime. Res64: 1D733A8F6E87A195 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:25:39] 619*2^1424119-1 is not prime. Res64: EAD318D9C15D434C Time : 0.0 sec. user=mdettweiler [2016-03-24 08:27:50] 633*2^1424119-1 is not prime. Res64: 910B25B70647C98F Time : 0.0 sec. user=mdettweiler [2016-03-24 08:27:50] 639*2^1424119-1 is not prime. Res64: 0DF86B4752E08351 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:27:51] 745*2^1424119-1 is not prime. Res64: 775C5C2B9C5F7F86 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:27:51] 771*2^1424119-1 is not prime. Res64: EF0AAE3B105279C2 Time : 0.0 sec. user=mdettweiler [2016-03-24 08:27:51] 789*2^1424119-1 is not prime. Res64: 7CDB416E3DCDBAA6 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:07:05] 895*2^1424119-1 is not prime. Res64: 9D7ECBC234A17F36 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:07:06] 961*2^1424119-1 is not prime. Res64: 8D7500909161BCB0 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:07:06] 773*2^1424120-1 is not prime. Res64: 09357F0074E537DA Time : 0.0 sec. user=mdettweiler [2016-03-24 09:07:07] 789*2^1424120-1 is not prime. Res64: 1FAA57885CB4EF55 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:07:08] 747*2^1424121-1 is not prime. Res64: DCDF5A39E572B8DF Time : 0.0 sec. user=mdettweiler [2016-03-24 09:09:43] 777*2^1424121-1 is not prime. Res64: F1DDF16F218D2692 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:09:44] 795*2^1424121-1 is not prime. Res64: 70E90846F62C68DE Time : 0.0 sec. user=mdettweiler [2016-03-24 09:09:44] 867*2^1424121-1 is not prime. Res64: C0AF28AB53A44234 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:09:45] 895*2^1424121-1 is not prime. Res64: 2B6947B2B0D38C2F Time : 0.0 sec. user=mdettweiler [2016-03-24 09:09:45] 937*2^1424121-1 is not prime. Res64: 38C7B89B9044151D Time : 0.0 sec. user=mdettweiler [2016-03-24 09:11:03] 999*2^1424121-1 is not prime. Res64: B7F45A645ED8CD7F Time : 0.0 sec. user=mdettweiler [2016-03-24 09:11:03] 621*2^1424122-1 is not prime. Res64: 3418823A49BF8312 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:11:04] 713*2^1424122-1 is not prime. Res64: 6E570974F7D3D51A Time : 0.0 sec. user=mdettweiler [2016-03-24 09:11:04] 731*2^1424122-1 is not prime. Res64: 24842701D5844BBF Time : 0.0 sec. user=mdettweiler [2016-03-24 09:11:05] 803*2^1424122-1 is not prime. Res64: 71921BFDF630C731 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:13:03] 833*2^1424122-1 is not prime. Res64: D4FF5CB24EDC6E5D Time : 0.0 sec. user=mdettweiler [2016-03-24 09:13:03] 633*2^1424123-1 is not prime. Res64: 94FC44ADE01F7A05 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:13:04] 703*2^1424123-1 is not prime. Res64: B20EE6A8F8DF264C Time : 0.0 sec. user=mdettweiler [2016-03-24 09:13:04] 665*2^1424124-1 is not prime. Res64: EA1D9F530A2FAA36 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:13:04] 705*2^1424124-1 is not prime. Res64: 91B293769BC5C09E Time : 0.0 sec. user=mdettweiler [2016-03-24 09:42:41] 827*2^1424128-1 is not prime. Res64: F54014A622BDE8AE Time : 0.0 sec. user=mdettweiler [2016-03-24 09:52:30] 759*2^1424124-1 is not prime. Res64: 4BD32A4D9BAB4E54 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:52:31] 965*2^1424124-1 is not prime. Res64: D99BC8C085F6D4A4 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:52:31] 607*2^1424125-1 is not prime. Res64: E6009CDA51B21745 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:52:31] 645*2^1424125-1 is not prime. Res64: 31978ED1B64330A8 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:52:32] 661*2^1424125-1 is not prime. Res64: 778FBCABE9965958 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:55:03] 679*2^1424125-1 is not prime. Res64: FB13908340B72C25 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:55:03] 771*2^1424125-1 is not prime. Res64: AAD5CA2F5045FDC6 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:55:04] 817*2^1424125-1 is not prime. Res64: E039B6CDDFD28EAA Time : 0.0 sec. user=mdettweiler [2016-03-24 09:55:04] 951*2^1424125-1 is not prime. Res64: C4E67BCD60854BFE Time : 0.0 sec. user=mdettweiler [2016-03-24 09:55:04] 617*2^1424126-1 is not prime. Res64: B2CC100C3F535DBE Time : 0.0 sec. user=mdettweiler [2016-03-24 09:56:21] 717*2^1424126-1 is not prime. Res64: 7CCB87CB375BC23C Time : 0.0 sec. user=mdettweiler [2016-03-24 09:56:22] 741*2^1424126-1 is not prime. Res64: A3222849055963CF Time : 0.0 sec. user=mdettweiler [2016-03-24 09:56:22] 833*2^1424126-1 is not prime. Res64: 19290DE0529EABFB Time : 0.0 sec. user=mdettweiler [2016-03-24 09:56:22] 945*2^1424126-1 is not prime. Res64: 45FF5E4F680D4502 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:56:23] 669*2^1424127-1 is not prime. Res64: 39D417B241091B78 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:58:21] 775*2^1424127-1 is not prime. Res64: 126DF93D28D0515E Time : 0.0 sec. user=mdettweiler [2016-03-24 09:58:21] 825*2^1424127-1 is not prime. Res64: 719D5BF4A9925548 Time : 0.0 sec. user=mdettweiler [2016-03-24 09:58:22] 873*2^1424127-1 is not prime. Res64: 63B22161C57439EF Time : 0.0 sec. user=mdettweiler [2016-03-24 09:58:22] 933*2^1424127-1 is not prime. Res64: 9B1F0A8E9CF3E86C Time : 0.0 sec. user=mdettweiler [2016-03-24 09:58:22] 663*2^1424128-1 is not prime. Res64: 80A7F76F3F937127 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:17:12] 719*2^1424132-1 is not prime. Res64: DC5A9816DDD1EFE2 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:37:36] 833*2^1424128-1 is not prime. Res64: CD6E6DF79EDEB996 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:37:36] 915*2^1424128-1 is not prime. Res64: 718165C50C6EA154 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:37:37] 781*2^1424129-1 is not prime. Res64: EF1E8828240BA5C0 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:37:37] 861*2^1424129-1 is not prime. Res64: 839FF898A0A6B387 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:37:38] 979*2^1424129-1 is not prime. Res64: 3C1662329A9F0CCC Time : 0.0 sec. user=mdettweiler [2016-03-24 10:40:15] 985*2^1424129-1 is not prime. Res64: 71FA65D55BF3555C Time : 0.0 sec. user=mdettweiler [2016-03-24 10:40:15] 681*2^1424130-1 is not prime. Res64: 3BDEE5677281E792 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:40:15] 723*2^1424130-1 is not prime. Res64: CF08A2ADC666AB4F Time : 0.0 sec. user=mdettweiler [2016-03-24 10:40:16] 747*2^1424130-1 is not prime. Res64: B08213C531E5DB64 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:40:16] 767*2^1424130-1 is not prime. Res64: C6A33AE155A6B5BA Time : 0.0 sec. user=mdettweiler [2016-03-24 10:41:25] 783*2^1424130-1 is not prime. Res64: D27E482D3331A4AA Time : 0.0 sec. user=mdettweiler [2016-03-24 10:41:25] 715*2^1424131-1 is not prime. Res64: 1105BE54604D6791 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:41:25] 751*2^1424131-1 is not prime. Res64: 7122512A57F508DA Time : 0.0 sec. user=mdettweiler [2016-03-24 10:41:26] 771*2^1424131-1 is not prime. Res64: 64F4F718A6400CAA Time : 0.0 sec. user=mdettweiler [2016-03-24 10:41:26] 793*2^1424131-1 is not prime. Res64: 86E7507DA18378E8 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:43:34] 859*2^1424131-1 is not prime. Res64: 9D36BB86FF7BCF0F Time : 0.0 sec. user=mdettweiler [2016-03-24 10:43:34] 901*2^1424131-1 is not prime. Res64: FA2D740864968B86 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:43:34] 925*2^1424131-1 is not prime. Res64: 176506DCCD94FC80 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:43:35] 605*2^1424132-1 is not prime. Res64: BB9FA2844E12EDA9 Time : 0.0 sec. user=mdettweiler [2016-03-24 10:43:35] 617*2^1424132-1 is not prime. Res64: 8292B635D4B4B2E6 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:10:40] 721*2^1424135-1 is not prime. Res64: 0AB25AF6405A9D9A Time : 0.0 sec. user=mdettweiler [2016-03-24 11:22:45] 735*2^1424132-1 is not prime. Res64: 9A6CE731A6F4CD9E Time : 0.0 sec. user=mdettweiler [2016-03-24 11:22:46] 785*2^1424132-1 is not prime. Res64: 82DA0AE75BB6825A Time : 0.0 sec. user=mdettweiler [2016-03-24 11:22:46] 797*2^1424132-1 is not prime. Res64: C8C988CC0A4E8A41 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:22:47] 873*2^1424132-1 is not prime. Res64: 36800BEF1F6B6BCE Time : 0.0 sec. user=mdettweiler [2016-03-24 11:22:47] 897*2^1424132-1 is not prime. Res64: DDB719D073D47F9D Time : 0.0 sec. user=mdettweiler [2016-03-24 11:25:22] 781*2^1424133-1 is not prime. Res64: 4CDB1F8E8B6A7537 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:25:23] 847*2^1424133-1 is not prime. Res64: E2125BDD5B44F771 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:25:23] 919*2^1424133-1 is not prime. Res64: B767D62494CF909E Time : 0.0 sec. user=mdettweiler [2016-03-24 11:25:24] 623*2^1424134-1 is not prime. Res64: B1F0F24617330A62 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:25:24] 665*2^1424134-1 is not prime. Res64: 28C82659CCFF66DF Time : 0.0 sec. user=mdettweiler [2016-03-24 11:26:34] 681*2^1424134-1 is not prime. Res64: 7702F541321A8FE3 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:26:35] 687*2^1424134-1 is not prime. Res64: F587127E1DDD3467 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:26:35] 707*2^1424134-1 is not prime. Res64: E9C1E08125F81BF4 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:26:35] 741*2^1424134-1 is not prime. Res64: 93D3DEE5BF42D31A Time : 0.0 sec. user=mdettweiler [2016-03-24 11:26:36] 863*2^1424134-1 is not prime. Res64: 684C6D6CF7505ED2 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:28:41] 881*2^1424134-1 is not prime. Res64: 0B397E40BA0F0A39 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:28:42] 885*2^1424134-1 is not prime. Res64: 5C76ED466173E4EC Time : 0.0 sec. user=mdettweiler [2016-03-24 11:28:42] 601*2^1424135-1 is not prime. Res64: E3B114DC655D3119 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:28:43] 619*2^1424135-1 is not prime. Res64: 91FC0140F5993209 Time : 0.0 sec. user=mdettweiler [2016-03-24 11:28:43] 655*2^1424135-1 is not prime. Res64: 44DE494BBB4E4AF9 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:08:01] 753*2^1424135-1 is not prime. Res64: EF6181D78A35111B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:08:02] 799*2^1424135-1 is not prime. Res64: FD0E1D0EDF891DA8 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:08:02] 859*2^1424135-1 is not prime. Res64: 41A11D986FA785F7 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:08:03] 747*2^1424136-1 is not prime. Res64: E55030989E84030B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:08:03] 903*2^1424136-1 is not prime. Res64: 641C8B4000212486 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:10:41] 993*2^1424136-1 is not prime. Res64: 144727C8F4DB5BB5 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:10:42] 625*2^1424137-1 is not prime. Res64: 67481E2DED941B6B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:10:42] 649*2^1424137-1 is not prime. Res64: 40F984D7C7682A59 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:10:43] 651*2^1424137-1 is not prime. Res64: 49776DFE3FDE33D2 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:10:43] 661*2^1424137-1 is not prime. Res64: 3C78EA3455E8530A Time : 0.0 sec. user=mdettweiler [2016-03-24 12:11:49] 747*2^1424137-1 is not prime. Res64: 1DF3EDA76C68609B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:11:49] 751*2^1424137-1 is not prime. Res64: 3564E38B12536D86 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:11:50] 889*2^1424137-1 is not prime. Res64: AE76CFE69A470A47 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:11:50] 939*2^1424137-1 is not prime. Res64: 13C9303EB43B93C2 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:11:50] 945*2^1424137-1 is not prime. Res64: 0CB3E3405F4A18EF Time : 0.0 sec. user=mdettweiler [2016-03-24 12:14:14] 997*2^1424137-1 is not prime. Res64: E0A2FC33F9898530 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:14:14] 603*2^1424138-1 is not prime. Res64: 895C441037D3EB69 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:14:15] 623*2^1424138-1 is not prime. Res64: B640BDE83016B405 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:14:15] 755*2^1424138-1 is not prime. Res64: 7D4D3DD6A14858A8 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:14:16] 773*2^1424138-1 is not prime. Res64: AE60333FA9034EFF Time : 0.0 sec. user=mdettweiler [2016-03-24 12:53:15] 815*2^1424138-1 is not prime. Res64: F629BA7238D6D844 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:53:15] 825*2^1424138-1 is not prime. Res64: 01F79072C4DA4341 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:53:15] 945*2^1424138-1 is not prime. Res64: AB47FDC22C277D7C Time : 0.0 sec. user=mdettweiler [2016-03-24 12:53:16] 613*2^1424139-1 is not prime. Res64: 328BE2D6D402CF2B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:53:16] 873*2^1424139-1 is not prime. Res64: 9037F955DC3B9C56 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:55:58] 931*2^1424139-1 is not prime. Res64: 4C65980561A7F566 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:55:58] 665*2^1424140-1 is not prime. Res64: 504AB12D4C87F5B2 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:55:58] 675*2^1424140-1 is not prime. Res64: 171FC82B08427889 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:55:59] 857*2^1424140-1 is not prime. Res64: 4AD16778782A655F Time : 0.0 sec. user=mdettweiler [2016-03-24 12:55:59] 875*2^1424140-1 is not prime. Res64: 0CBBF2B9EE6694B3 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:57:12] 915*2^1424140-1 is not prime. Res64: 83274161A28D0B08 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:57:12] 927*2^1424140-1 is not prime. Res64: 2F24B655F0A56134 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:57:12] 829*2^1424141-1 is not prime. Res64: B1B60FCAE9A0894B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:57:13] 855*2^1424141-1 is not prime. Res64: A929F38D09CEC8A3 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:57:13] 861*2^1424141-1 is not prime. Res64: 7D35EDFBBF64B81B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:59:31] 885*2^1424141-1 is not prime. Res64: 19ED832B4DE209BE Time : 0.0 sec. user=mdettweiler [2016-03-24 12:59:32] 955*2^1424141-1 is not prime. Res64: BFD7B554623524B2 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:59:32] 981*2^1424141-1 is not prime. Res64: 588443D7D2EF881B Time : 0.0 sec. user=mdettweiler [2016-03-24 12:59:33] 657*2^1424142-1 is not prime. Res64: 8889A38D0E842207 Time : 0.0 sec. user=mdettweiler [2016-03-24 12:59:33] 705*2^1424142-1 is not prime. Res64: 0A46B856D29BDA79 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:14:51] 739*2^1424145-1 is not prime. Res64: 442D46D728248C31 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:32:16] 787*2^1424145-1 is not prime. Res64: 4AA52D929178DA04 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:38:25] 767*2^1424142-1 is not prime. Res64: F164365F704AA1CB Time : 0.0 sec. user=mdettweiler [2016-03-24 13:38:26] 873*2^1424142-1 is not prime. Res64: 3A74E3C5D346E8F7 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:38:26] 685*2^1424143-1 is not prime. Res64: C7B12EF69DB7703C Time : 0.0 sec. user=mdettweiler [2016-03-24 13:38:26] 709*2^1424143-1 is not prime. Res64: 73792C49373D3582 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:38:27] 775*2^1424143-1 is not prime. Res64: 7C0FF83C1B8E2B72 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:41:14] 793*2^1424143-1 is not prime. Res64: 6C162E3844688B54 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:41:14] 861*2^1424143-1 is not prime. Res64: 82AE4232EAE38448 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:41:15] 925*2^1424143-1 is not prime. Res64: C82EDFAE4B0ED4BD Time : 0.0 sec. user=mdettweiler [2016-03-24 13:41:15] 605*2^1424144-1 is not prime. Res64: A122EA691F47232A Time : 0.0 sec. user=mdettweiler [2016-03-24 13:41:15] 645*2^1424144-1 is not prime. Res64: 3C19F04897E22102 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:42:21] 725*2^1424144-1 is not prime. Res64: 67C3C92EDE7B991F Time : 0.0 sec. user=mdettweiler [2016-03-24 13:42:22] 747*2^1424144-1 is not prime. Res64: 147D3985A9796B25 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:42:22] 827*2^1424144-1 is not prime. Res64: 8C1D4161245FA36A Time : 0.0 sec. user=mdettweiler [2016-03-24 13:42:22] 833*2^1424144-1 is not prime. Res64: 9FB8B53AD0DE36CE Time : 0.0 sec. user=mdettweiler [2016-03-24 13:42:23] 607*2^1424145-1 is not prime. Res64: FE30025D3E12050F Time : 0.0 sec. user=mdettweiler [2016-03-24 13:44:46] 625*2^1424145-1 is not prime. Res64: 1E56D5D1C8DAAC5A Time : 0.0 sec. user=mdettweiler [2016-03-24 13:44:47] 627*2^1424145-1 is not prime. Res64: DBD00275BBC9062B Time : 0.0 sec. user=mdettweiler [2016-03-24 13:44:47] 651*2^1424145-1 is not prime. Res64: 80B3DE8FEB802144 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:44:47] 685*2^1424145-1 is not prime. Res64: 88EDF17C3AA9AA40 Time : 0.0 sec. user=mdettweiler [2016-03-24 13:44:48] 735*2^1424145-1 is not prime. Res64: 200DB856E4A7F627 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:23:47] 795*2^1424145-1 is not prime. Res64: D76427A033593B7C Time : 0.0 sec. user=mdettweiler [2016-03-24 14:23:47] 847*2^1424145-1 is not prime. Res64: 7BC4FF02E73A29EB Time : 0.0 sec. user=mdettweiler [2016-03-24 14:23:48] 885*2^1424145-1 is not prime. Res64: 1F03040771DA9DA4 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:23:48] 991*2^1424145-1 is not prime. Res64: 1E5B4BD9BB0FA30E Time : 0.0 sec. user=mdettweiler [2016-03-24 14:23:49] 999*2^1424145-1 is not prime. Res64: F63D17B8A785B298 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:26:33] 635*2^1424146-1 is not prime. Res64: FDB15CEAF4F98EE7 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:26:33] 713*2^1424146-1 is not prime. Res64: 93F55176582D8A13 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:26:33] 723*2^1424146-1 is not prime. Res64: 1D09E7C25039D143 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:26:34] 735*2^1424146-1 is not prime. Res64: 771AB68CC7AE306B Time : 0.0 sec. user=mdettweiler [2016-03-24 14:26:34] 755*2^1424146-1 is not prime. Res64: DD28A7A8E4100047 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:27:41] 821*2^1424146-1 is not prime. Res64: B9D3959927BCC4AB Time : 0.0 sec. user=mdettweiler [2016-03-24 14:27:41] 873*2^1424146-1 is not prime. Res64: B91F15ACEE686AF3 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:27:42] 917*2^1424146-1 is not prime. Res64: 4A3B82EF90673C60 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:27:42] 843*2^1424147-1 is not prime. Res64: 703D2FCC0B096A8E Time : 0.0 sec. user=mdettweiler [2016-03-24 14:27:43] 895*2^1424147-1 is not prime. Res64: F1708E99F37A3D58 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:30:10] 985*2^1424147-1 is not prime. Res64: 65983D1DEA3AB005 Time : 0.0 sec. user=mdettweiler [2016-03-24 14:30:10] 725*2^1424148-1 is not prime. Res64: 090526F6DBD5E8CC Time : 0.0 sec. user=mdettweiler [2016-03-24 14:30:10] 819*2^1424148-1 is not prime. Res64: BC404D10CADFC45D Time : 0.0 sec. user=mdettweiler [2016-03-24 14:30:11] 845*2^1424148-1 is not prime. Res64: 26C3B742698CAC2C Time : 0.0 sec. user=mdettweiler [2016-03-24 14:30:11] 929*2^1424148-1 is not prime. Res64: 921557076BBFA4A1 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:11:57] 945*2^1424148-1 is not prime. Res64: 9DCC16C38DC8ED3A Time : 0.0 sec. user=mdettweiler [2016-03-24 15:11:58] 975*2^1424148-1 is not prime. Res64: 2056D494CE0B3B0F Time : 0.0 sec. user=mdettweiler [2016-03-24 15:11:58] 977*2^1424148-1 is not prime. Res64: 5FE3E6F1F50FE320 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:11:59] 987*2^1424148-1 is not prime. Res64: C74446598DD50472 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:11:59] 609*2^1424149-1 is not prime. Res64: 205FCEC969F6B0BE Time : 0.0 sec. user=mdettweiler [2016-03-24 15:14:09] 681*2^1424149-1 is not prime. Res64: F0B6A55125B59FD4 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:14:09] 741*2^1424149-1 is not prime. Res64: 86DBBA325B0CB17A Time : 0.0 sec. user=mdettweiler [2016-03-24 15:14:10] 847*2^1424149-1 is not prime. Res64: 38C60A22EECE817C Time : 0.0 sec. user=mdettweiler [2016-03-24 15:14:10] 867*2^1424149-1 is not prime. Res64: A0F6DC1571CB4F14 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:14:11] 885*2^1424149-1 is not prime. Res64: D7F65CD447CC8B50 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:15:12] 957*2^1424149-1 is not prime. Res64: 3F0E9CD2DC643FBE Time : 0.0 sec. user=mdettweiler [2016-03-24 15:15:13] 717*2^1424150-1 is not prime. Res64: DB780FCAB75C215E Time : 0.0 sec. user=mdettweiler [2016-03-24 15:15:13] 613*2^1424151-1 is not prime. Res64: 4B9696AFB494A4A0 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:15:13] 691*2^1424151-1 is not prime. Res64: 1DE3A077BC190B3C Time : 0.0 sec. user=mdettweiler [2016-03-24 15:15:14] 711*2^1424151-1 is not prime. Res64: 570BA8351F800ABE Time : 0.0 sec. user=mdettweiler [2016-03-24 15:18:04] 763*2^1424151-1 is not prime. Res64: 2B63C4C9C3008BDF Time : 0.0 sec. user=mdettweiler [2016-03-24 15:18:05] 861*2^1424151-1 is not prime. Res64: E74C450D945B720C Time : 0.0 sec. user=mdettweiler [2016-03-24 15:18:05] 895*2^1424151-1 is not prime. Res64: F3C250CFD3DE5F21 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:18:06] 999*2^1424151-1 is not prime. Res64: F071ECCA16D29A3E Time : 0.0 sec. user=mdettweiler [2016-03-24 15:18:06] 653*2^1424152-1 is not prime. Res64: 7E55F2033D4F9FFE Time : 0.0 sec. user=mdettweiler [2016-03-24 15:53:44] 601*2^1424155-1 is not prime. Res64: 79F402FE385D385A Time : 0.0 sec. user=mdettweiler [2016-03-24 15:53:45] 619*2^1424155-1 is not prime. Res64: D1229065AFF021A9 Time : 0.0 sec. user=mdettweiler [2016-03-24 15:55:14] 685*2^1424155-1 is not prime. Res64: 43A19A1C8A870DC6 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:02:32] 665*2^1424152-1 is not prime. Res64: 646D660068300EE4 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:02:33] 743*2^1424152-1 is not prime. Res64: 7A75D994223F2E9A Time : 0.0 sec. user=mdettweiler [2016-03-24 16:02:34] 855*2^1424152-1 is not prime. Res64: C0D2477DAE894C7E Time : 0.0 sec. user=mdettweiler [2016-03-24 16:02:35] 909*2^1424152-1 is not prime. Res64: 20004D81E20F437C Time : 0.0 sec. user=mdettweiler [2016-03-24 16:02:35] 607*2^1424153-1 is not prime. Res64: D4E5A956764007FB Time : 0.0 sec. user=mdettweiler [2016-03-24 16:05:18] 745*2^1424153-1 is not prime. Res64: 97AF423B429CE9BF Time : 0.0 sec. user=mdettweiler [2016-03-24 16:05:19] 771*2^1424153-1 is not prime. Res64: 6BE449C30B61F678 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:05:20] 811*2^1424153-1 is not prime. Res64: B6E312634CCAC744 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:05:21] 837*2^1424153-1 is not prime. Res64: E68B0F25297D18FD Time : 0.0 sec. user=mdettweiler [2016-03-24 16:05:22] 879*2^1424153-1 is not prime. Res64: E3BC328606BE48E7 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:07:17] 951*2^1424153-1 is not prime. Res64: A5C504344E49CFC3 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:07:18] 605*2^1424154-1 is not prime. Res64: 185BC76D4FB9E0ED Time : 0.0 sec. user=mdettweiler [2016-03-24 16:07:18] 611*2^1424154-1 is not prime. Res64: 1E9F1A466E454F84 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:07:19] 627*2^1424154-1 is not prime. Res64: A1A440DAE9AF0A12 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:07:19] 633*2^1424154-1 is not prime. Res64: BDEB09DA229B4C4E Time : 0.0 sec. user=mdettweiler [2016-03-24 16:10:13] 717*2^1424154-1 is not prime. Res64: F1042230294649D0 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:10:14] 741*2^1424154-1 is not prime. Res64: A00C24B705760969 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:10:14] 861*2^1424154-1 is not prime. Res64: 60CEAFA926779151 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:10:15] 885*2^1424154-1 is not prime. Res64: 5A6BF94070B3C79D Time : 0.0 sec. user=mdettweiler [2016-03-24 16:10:15] 927*2^1424154-1 is not prime. Res64: 18EC4E2DEA685C8C Time : 0.0 sec. user=mdettweiler [2016-03-24 16:47:36] 617*2^1424158-1 is not prime. Res64: D772E0087786B8EA Time : 0.0 sec. user=mdettweiler [2016-03-24 16:53:57] 733*2^1424155-1 is not prime. Res64: B1AD2DBFCC216BEC Time : 0.0 sec. user=mdettweiler [2016-03-24 16:53:57] 793*2^1424155-1 is not prime. Res64: 313A201BE355D594 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:53:57] 873*2^1424155-1 is not prime. Res64: 0FCAE50F489E8DC7 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:53:58] 909*2^1424155-1 is not prime. Res64: 9BE401719D87E22A Time : 0.0 sec. user=mdettweiler [2016-03-24 16:53:58] 973*2^1424155-1 is not prime. Res64: EE98D57C35191ED3 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:55:58] 699*2^1424156-1 is not prime. Res64: A5A3E65427A54F09 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:55:59] 717*2^1424156-1 is not prime. Res64: D2A8792B50AE10D7 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:55:59] 759*2^1424156-1 is not prime. Res64: 7D542585159D471E Time : 0.0 sec. user=mdettweiler [2016-03-24 16:55:59] 777*2^1424156-1 is not prime. Res64: DD8D535B9DA9AA7F Time : 0.0 sec. user=mdettweiler [2016-03-24 16:55:59] 837*2^1424156-1 is not prime. Res64: B92B80436324269C Time : 0.0 sec. user=mdettweiler [2016-03-24 16:57:44] 903*2^1424156-1 is not prime. Res64: 8FC8E03791318C7F Time : 0.0 sec. user=mdettweiler [2016-03-24 16:57:44] 935*2^1424156-1 is not prime. Res64: C1713436418E5ADC Time : 0.0 sec. user=mdettweiler [2016-03-24 16:57:44] 999*2^1424156-1 is not prime. Res64: 57E440297709F48E Time : 0.0 sec. user=mdettweiler [2016-03-24 16:57:44] 615*2^1424157-1 is not prime. Res64: AE26CF361AC8EE15 Time : 0.0 sec. user=mdettweiler [2016-03-24 16:57:45] 649*2^1424157-1 is not prime. Res64: 9C05054BBE5783BB Time : 0.0 sec. user=mdettweiler [2016-03-24 17:00:18] 735*2^1424157-1 is not prime. Res64: AF3D0F1E86177B89 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:00:19] 849*2^1424157-1 is not prime. Res64: 4F1CE6E64CB3A95F Time : 0.0 sec. user=mdettweiler [2016-03-24 17:00:20] 885*2^1424157-1 is not prime. Res64: 46E2D3E4576DB3BF Time : 0.0 sec. user=mdettweiler [2016-03-24 17:00:20] 889*2^1424157-1 is not prime. Res64: E5EC25FEB0012818 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:00:21] 915*2^1424157-1 is not prime. Res64: 326E443DB540DCF7 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:04:55] 855*2^1424159-1 is not prime. Res64: D2B0661BD4D66E8F Time : 0.0 sec. user=mdettweiler [2016-03-24 17:40:25] 899*2^1424160-1 is not prime. Res64: 43AA4A54C62DE726 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:43:30] 621*2^1424158-1 is not prime. Res64: 37641836B10C2173 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:43:31] 723*2^1424158-1 is not prime. Res64: A183055EEDA4EFDF Time : 0.0 sec. user=mdettweiler [2016-03-24 17:43:31] 737*2^1424158-1 is not prime. Res64: 3903559537829085 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:43:31] 773*2^1424158-1 is not prime. Res64: 81E51DDA238291DF Time : 0.0 sec. user=mdettweiler [2016-03-24 17:43:32] 813*2^1424158-1 is not prime. Res64: B2316BDDA6E3A94D Time : 0.0 sec. user=mdettweiler [2016-03-24 17:45:12] 975*2^1424158-1 is not prime. Res64: F646E1385D8C8958 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:45:13] 993*2^1424158-1 is not prime. Res64: 1A096216F6FA4BCB Time : 0.0 sec. user=mdettweiler [2016-03-24 17:45:13] 649*2^1424159-1 is not prime. Res64: 158B3BA27DABA4F9 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:45:14] 655*2^1424159-1 is not prime. Res64: DFBFBD79717A7617 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:45:14] 771*2^1424159-1 is not prime. Res64: 6017570DEAD5995A Time : 0.0 sec. user=mdettweiler [2016-03-24 17:46:47] 859*2^1424159-1 is not prime. Res64: FA7F03EBD9503235 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:46:48] 909*2^1424159-1 is not prime. Res64: 85345C5472B2FBDB Time : 0.0 sec. user=mdettweiler [2016-03-24 17:46:48] 993*2^1424159-1 is not prime. Res64: 28AF15B65B3EFEEA Time : 0.0 sec. user=mdettweiler [2016-03-24 17:46:48] 629*2^1424160-1 is not prime. Res64: 89EACFB21F328BB4 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:46:49] 675*2^1424160-1 is not prime. Res64: 3FACC1D878B89FBF Time : 0.0 sec. user=mdettweiler [2016-03-24 17:49:08] 699*2^1424160-1 is not prime. Res64: FEBBECA328749687 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:49:09] 759*2^1424160-1 is not prime. Res64: 51DC05C59954FA29 Time : 0.0 sec. user=mdettweiler [2016-03-24 17:49:09] 795*2^1424160-1 is not prime. Res64: 603419A68885CC9D Time : 0.0 sec. user=mdettweiler [2016-03-24 17:49:09] 825*2^1424160-1 is not prime. Res64: 3BE160363A0E5A6B Time : 0.0 sec. user=mdettweiler [2016-03-24 17:49:10] 839*2^1424160-1 is not prime. Res64: 9C98DB7F9E580AFE Time : 0.0 sec. user=mdettweiler [2016-03-24 18:29:08] 639*2^1424161-1 is not prime. Res64: A637B0AA6BAC9B0A Time : 0.0 sec. user=mdettweiler [2016-03-24 18:29:09] 801*2^1424161-1 is not prime. Res64: 1F03F1D4896AA276 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:29:09] 805*2^1424161-1 is not prime. Res64: 64F34149FB480CE5 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:29:10] 855*2^1424161-1 is not prime. Res64: ADF1CF269A248591 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:29:10] 925*2^1424161-1 is not prime. Res64: 4E555C9B750BFC75 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:30:44] 999*2^1424161-1 is not prime. Res64: 6CDB814950FF933E Time : 0.0 sec. user=mdettweiler [2016-03-24 18:30:44] 665*2^1424162-1 is not prime. Res64: AB6D2CA152534D59 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:30:44] 875*2^1424162-1 is not prime. Res64: B8DBDFC5DF97EF26 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:30:45] 981*2^1424162-1 is not prime. Res64: 9EDF313077A6CC50 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:30:45] 849*2^1424163-1 is not prime. Res64: A4CE6F31F2466164 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:32:22] 853*2^1424163-1 is not prime. Res64: F2839A80C7130D8A Time : 0.0 sec. user=mdettweiler [2016-03-24 18:32:22] 969*2^1424163-1 is not prime. Res64: 9BCE49BB522CC2D4 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:32:23] 605*2^1424164-1 is not prime. Res64: F63F228DD79A41C8 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:32:23] 629*2^1424164-1 is not prime. Res64: 22C6BF1A1E4DD3EE Time : 0.0 sec. user=mdettweiler [2016-03-24 18:32:23] 657*2^1424164-1 is not prime. Res64: 08C44DEFFE41A944 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:34:45] 749*2^1424164-1 is not prime. Res64: 2BFC872B5664EF0C Time : 0.0 sec. user=mdettweiler [2016-03-24 18:34:46] 765*2^1424164-1 is not prime. Res64: 76AE2F1E1A39DB68 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:34:46] 773*2^1424164-1 is not prime. Res64: 4ACA4398F32969DE Time : 0.0 sec. user=mdettweiler [2016-03-24 18:34:47] 783*2^1424164-1 is not prime. Res64: 29469C5DB882CF21 Time : 0.0 sec. user=mdettweiler [2016-03-24 18:34:47] 827*2^1424164-1 is not prime. Res64: 49D25D60807E9DBC Time : 0.0 sec. user=mdettweiler [2016-03-24 19:08:43] 843*2^1424168-1 is not prime. Res64: F95584DA35EBAE03 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:14:47] 885*2^1424164-1 is not prime. Res64: 2D784C5BCB575194 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:14:47] 887*2^1424164-1 is not prime. Res64: 29D586D1980F0B1C Time : 0.0 sec. user=mdettweiler [2016-03-24 19:14:48] 983*2^1424164-1 is not prime. Res64: A97C870F4511294A Time : 0.0 sec. user=mdettweiler [2016-03-24 19:14:48] 669*2^1424165-1 is not prime. Res64: 5A33F40796E79D45 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:14:49] 717*2^1424165-1 is not prime. Res64: B7D2831FF3243434 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:16:26] 805*2^1424165-1 is not prime. Res64: 9398D88D605B70CC Time : 0.0 sec. user=mdettweiler [2016-03-24 19:16:26] 693*2^1424166-1 is not prime. Res64: F3BA32AA2FD7606E Time : 0.0 sec. user=mdettweiler [2016-03-24 19:16:26] 711*2^1424166-1 is not prime. Res64: 3CA6291E33909897 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:16:27] 795*2^1424166-1 is not prime. Res64: 97D128852A1507A1 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:16:27] 815*2^1424166-1 is not prime. Res64: 724C26A82C37B4BA Time : 0.0 sec. user=mdettweiler [2016-03-24 19:17:54] 851*2^1424166-1 is not prime. Res64: AE4EBB61669FD442 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:17:55] 639*2^1424167-1 is not prime. Res64: E58606DCD1458066 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:17:55] 705*2^1424167-1 is not prime. Res64: 500B37D43EDF5C56 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:17:55] 729*2^1424167-1 is not prime. Res64: CE3DEC313E5B10D1 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:17:56] 819*2^1424167-1 is not prime. Res64: F2272CA2099FCEA0 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:20:24] 829*2^1424167-1 is not prime. Res64: C527209065BACB56 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:20:24] 615*2^1424168-1 is not prime. Res64: 1CA54ABF2036112F Time : 0.0 sec. user=mdettweiler [2016-03-24 19:20:25] 633*2^1424168-1 is not prime. Res64: 0D4B3ADC000716AD Time : 0.0 sec. user=mdettweiler [2016-03-24 19:20:25] 767*2^1424168-1 is not prime. Res64: 73DA867CB9FA8861 Time : 0.0 sec. user=mdettweiler [2016-03-24 19:20:25] 797*2^1424168-1 is not prime. Res64: E1B7A3692C4AB34B Time : 0.0 sec. user=mdettweiler [2016-03-24 19:26:16] 915*2^1424170-1 is not prime. Res64: F97A9F7C7EC3252E Time : 0.0 sec. user=mdettweiler [2016-03-24 20:00:28] 875*2^1424168-1 is not prime. Res64: 52C4290065B2A5DD Time : 0.0 sec. user=mdettweiler [2016-03-24 20:00:29] 963*2^1424168-1 is not prime. Res64: A6228EB80BE14974 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:00:30] 657*2^1424169-1 is not prime. Res64: F8058389706C1867 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:00:31] 675*2^1424169-1 is not prime. Res64: 8977E7F60C032AD4 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:00:32] 681*2^1424169-1 is not prime. Res64: 9A170039D81091E2 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:01:55] 765*2^1424169-1 is not prime. Res64: 391539E49EF45051 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:01:56] 789*2^1424169-1 is not prime. Res64: 077C5AC74F96F2F2 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:01:56] 865*2^1424169-1 is not prime. Res64: 093FFE2EEF5059FB Time : 0.0 sec. user=mdettweiler [2016-03-24 20:01:57] 895*2^1424169-1 is not prime. Res64: 85CE51E15BF72356 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:01:57] 657*2^1424170-1 is not prime. Res64: D4B1C431A6C4FFCC Time : 0.0 sec. user=mdettweiler [2016-03-24 20:03:32] 687*2^1424170-1 is not prime. Res64: 381DDBF3F108EE69 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:03:33] 777*2^1424170-1 is not prime. Res64: B4C72B6589A8BF32 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:03:34] 827*2^1424170-1 is not prime. Res64: D905C0866753795C Time : 0.0 sec. user=mdettweiler [2016-03-24 20:03:35] 905*2^1424170-1 is not prime. Res64: EA4537523F890F56 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:03:36] 911*2^1424170-1 is not prime. Res64: 631D1D083805170A Time : 0.0 sec. user=mdettweiler [2016-03-24 20:06:05] 917*2^1424170-1 is not prime. Res64: BB6043480162EFB6 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:06:08] 941*2^1424170-1 is not prime. Res64: 1F2D2D0784251B41 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:06:09] 745*2^1424171-1 is not prime. Res64: ED88BD003D7C07B0 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:06:10] 879*2^1424171-1 is not prime. Res64: D2C8873222821310 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:06:11] 913*2^1424171-1 is not prime. Res64: 8DEA1AFF4186B5D2 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:46:13] 979*2^1424171-1 is not prime. Res64: A117E391D360AC9D Time : 0.0 sec. user=mdettweiler [2016-03-24 20:46:13] 999*2^1424171-1 is not prime. Res64: A81890B45790C139 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:46:14] 635*2^1424172-1 is not prime. Res64: 45BD61E78EA0EAB4 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:46:14] 665*2^1424172-1 is not prime. Res64: 6BAADF27B07B6165 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:46:15] 693*2^1424172-1 is not prime. Res64: F1FE61952E28DAEC Time : 0.0 sec. user=mdettweiler [2016-03-24 20:47:51] 687*2^1424173-1 is not prime. Res64: 26B3E79609A8063E Time : 0.0 sec. user=mdettweiler [2016-03-24 20:47:51] 715*2^1424173-1 is not prime. Res64: 616DCAD0620082BA Time : 0.0 sec. user=mdettweiler [2016-03-24 20:47:52] 817*2^1424173-1 is not prime. Res64: E65B4ADE9E4066CC Time : 0.0 sec. user=mdettweiler [2016-03-24 20:47:52] 939*2^1424173-1 is not prime. Res64: DE6863E6E00538BF Time : 0.0 sec. user=mdettweiler [2016-03-24 20:47:52] 623*2^1424174-1 is not prime. Res64: 34F3B871F0C6ACF0 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:49:12] 711*2^1424174-1 is not prime. Res64: 7599CD72E8C0CB06 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:49:12] 731*2^1424174-1 is not prime. Res64: EF7D231BA2E0E201 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:49:13] 753*2^1424174-1 is not prime. Res64: F2C6F7056C7A07A9 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:49:13] 827*2^1424174-1 is not prime. Res64: E23C3F62ADBE7CD8 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:49:14] 923*2^1424174-1 is not prime. Res64: 284D1599506F2832 Time : 0.0 sec. user=mdettweiler [2016-03-24 20:51:56] 765*2^1424175-1 is not prime. Res64: 58C52ADAD3C422CB Time : 0.0 sec. user=mdettweiler [2016-03-24 20:51:57] 895*2^1424175-1 is not prime. Res64: 5FFAB6F03C519ADE Time : 0.0 sec. user=mdettweiler [2016-03-24 20:51:57] 603*2^1424176-1 is not prime. Res64: 5C445D1E9A4CA82E Time : 0.0 sec. user=mdettweiler [2016-03-24 20:51:57] 609*2^1424176-1 is not prime. Res64: E3319D477DAC1A8A Time : 0.0 sec. user=mdettweiler [2016-03-24 20:51:58] 843*2^1424176-1 is not prime. Res64: CA70B9D50D67B6FD Time : 0.0 sec. user=mdettweiler [2016-03-24 21:31:47] 873*2^1424176-1 is not prime. Res64: FC361B9B9A5FB092 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:31:48] 965*2^1424176-1 is not prime. Res64: 433F7A4F2EBA179F Time : 0.0 sec. user=mdettweiler [2016-03-24 21:31:48] 649*2^1424177-1 is not prime. Res64: 31B56E241CB3EB87 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:31:48] 691*2^1424177-1 is not prime. Res64: 9C9BA6425AB2EBF5 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:31:49] 735*2^1424177-1 is not prime. Res64: F622D64B9CCDB4C6 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:33:29] 771*2^1424177-1 is not prime. Res64: 790A42389153D9E9 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:33:30] 795*2^1424177-1 is not prime. Res64: 318DBB3FCD476C45 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:33:30] 801*2^1424177-1 is not prime. Res64: 76283BB89EF4BDEA Time : 0.0 sec. user=mdettweiler [2016-03-24 21:33:31] 837*2^1424177-1 is not prime. Res64: E5915D0E4EFD861E Time : 0.0 sec. user=mdettweiler [2016-03-24 21:33:31] 865*2^1424177-1 is not prime. Res64: 2556E0DF332F28B3 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:34:48] 967*2^1424177-1 is not prime. Res64: 3525C5100BA418F3 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:34:49] 713*2^1424178-1 is not prime. Res64: 6B39BA11A8677B51 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:34:49] 725*2^1424178-1 is not prime. Res64: DB71FC2D1B9FED94 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:34:49] 755*2^1424178-1 is not prime. Res64: C804B253B538A3DE Time : 0.0 sec. user=mdettweiler [2016-03-24 21:34:50] 773*2^1424178-1 is not prime. Res64: 482DE49E2EFE392F Time : 0.0 sec. user=mdettweiler [2016-03-24 21:37:32] 815*2^1424178-1 is not prime. Res64: E0D62BC2AD37094F Time : 0.0 sec. user=mdettweiler [2016-03-24 21:37:32] 975*2^1424178-1 is not prime. Res64: 095D40C2C5351974 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:37:33] 619*2^1424179-1 is not prime. Res64: 9B48AEFC6E9C9932 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:37:33] 685*2^1424179-1 is not prime. Res64: 5827B48554274527 Time : 0.0 sec. user=mdettweiler [2016-03-24 21:37:33] 735*2^1424179-1 is not prime. Res64: FE058E96A97C384B Time : 0.0 sec. user=mdettweiler [2016-03-24 22:01:35] 969*2^1424179-1 is not prime. Res64: 3AF69D1E3316CBBB Time : 0.0 sec. user=mdettweiler [2016-03-24 22:17:20] 633*2^1424180-1 is not prime. Res64: 6B7D11D4B8CCE674 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:17:20] 635*2^1424180-1 is not prime. Res64: 189979FCE50B4C31 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:17:21] 659*2^1424180-1 is not prime. Res64: 146383B1E372230B Time : 0.0 sec. user=mdettweiler [2016-03-24 22:17:21] 687*2^1424180-1 is not prime. Res64: 4700F930E3778782 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:17:22] 839*2^1424180-1 is not prime. Res64: 61F98186786705B1 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:18:55] 875*2^1424180-1 is not prime. Res64: 062FF54B8B133AD1 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:18:55] 923*2^1424180-1 is not prime. Res64: 3DAECBA2ECDD91CD Time : 0.0 sec. user=mdettweiler [2016-03-24 22:18:55] 983*2^1424180-1 is not prime. Res64: 6A879E12210B6C33 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:18:56] 607*2^1424181-1 is not prime. Res64: 7DB31427BBDB832B Time : 0.0 sec. user=mdettweiler [2016-03-24 22:18:56] 661*2^1424181-1 is not prime. Res64: 9876944C1A0A31D9 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:20:37] 675*2^1424181-1 is not prime. Res64: 3BB38F8A301FC8A9 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:20:37] 679*2^1424181-1 is not prime. Res64: 21815DF7CC2D7100 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:20:37] 999*2^1424181-1 is not prime. Res64: E7DC7909CAE28B36 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:20:38] 623*2^1424182-1 is not prime. Res64: 0EA85593A2C299D3 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:20:38] 713*2^1424182-1 is not prime. Res64: 0B1374723458557F Time : 0.0 sec. user=mdettweiler [2016-03-24 22:23:02] 743*2^1424182-1 is not prime. Res64: A43526F8DF77C128 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:23:02] 827*2^1424182-1 is not prime. Res64: 098F007B198C5A62 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:23:02] 833*2^1424182-1 is not prime. Res64: 2D846A5436B126A9 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:23:03] 941*2^1424182-1 is not prime. Res64: A3EC395F43AAF509 Time : 0.0 sec. user=mdettweiler [2016-03-24 22:23:03] 965*2^1424182-1 is not prime. Res64: 514EBFAFAA177690 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:02:54] 721*2^1424183-1 is not prime. Res64: 572CAA08AE8CA7FC Time : 0.0 sec. user=mdettweiler [2016-03-24 23:02:55] 861*2^1424183-1 is not prime. Res64: 0FE05658E748C706 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:02:56] 879*2^1424183-1 is not prime. Res64: E34DBD9A30B8B137 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:02:57] 689*2^1424184-1 is not prime. Res64: 16D9794554A99894 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:02:58] 773*2^1424184-1 is not prime. Res64: B6DB26358E9E54D0 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:04:34] 825*2^1424184-1 is not prime. Res64: C068B02ACAA86E76 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:04:35] 893*2^1424184-1 is not prime. Res64: 3D68360886AC5C01 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:04:36] 927*2^1424184-1 is not prime. Res64: 5EE354BD73537D2C Time : 0.0 sec. user=mdettweiler [2016-03-24 23:04:37] 645*2^1424185-1 is not prime. Res64: 46AAB718D36402EF Time : 0.0 sec. user=mdettweiler [2016-03-24 23:04:37] 759*2^1424185-1 is not prime. Res64: A109844740F57C8F Time : 0.0 sec. user=mdettweiler [2016-03-24 23:06:10] 805*2^1424185-1 is not prime. Res64: 59BEA011B5E6B75A Time : 0.0 sec. user=mdettweiler [2016-03-24 23:06:12] 861*2^1424185-1 is not prime. Res64: 86731C4FE3A3533E Time : 0.0 sec. user=mdettweiler [2016-03-24 23:06:12] 925*2^1424185-1 is not prime. Res64: C797F2E9BB9DCB35 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:06:12] 957*2^1424185-1 is not prime. Res64: 62DC1ED1B0D34F53 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:06:13] 671*2^1424186-1 is not prime. Res64: 6C012FAD7B5EAD70 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:08:45] 713*2^1424186-1 is not prime. Res64: 3CDE5A5041615D59 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:08:46] 813*2^1424186-1 is not prime. Res64: 6E8D88192840484A Time : 0.0 sec. user=mdettweiler [2016-03-24 23:08:46] 857*2^1424186-1 is not prime. Res64: 50FB2BA7F56E07E2 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:08:46] 957*2^1424186-1 is not prime. Res64: 4E9C78C0CD84208C Time : 0.0 sec. user=mdettweiler [2016-03-24 23:08:47] 651*2^1424187-1 is not prime. Res64: C1473072331DB136 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:16:28] 645*2^1424189-1 is not prime. Res64: 3C416DD2C596D077 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:49:12] 801*2^1424187-1 is not prime. Res64: 373943BF51BA773F Time : 0.0 sec. user=mdettweiler [2016-03-24 23:49:12] 805*2^1424187-1 is not prime. Res64: 4DEE4BFC416BCB02 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:49:12] 963*2^1424187-1 is not prime. Res64: 7767E91703EFD771 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:49:13] 999*2^1424187-1 is not prime. Res64: 1C1DA5F3E24E3979 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:49:13] 603*2^1424188-1 is not prime. Res64: 0DEA9017E5C90EFF Time : 0.0 sec. user=mdettweiler [2016-03-24 23:50:49] 615*2^1424188-1 is not prime. Res64: BAF7803AAC35D63C Time : 0.0 sec. user=mdettweiler [2016-03-24 23:50:49] 689*2^1424188-1 is not prime. Res64: F8EAB29B1B7AF30C Time : 0.0 sec. user=mdettweiler [2016-03-24 23:50:49] 695*2^1424188-1 is not prime. Res64: A5E4A0B37F21EF58 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:50:50] 705*2^1424188-1 is not prime. Res64: FA9FF048AE0E5220 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:50:50] 819*2^1424188-1 is not prime. Res64: 060E8337F370F9ED Time : 0.0 sec. user=mdettweiler [2016-03-24 23:52:04] 665*2^1424190-1 is not prime. Res64: 2391C1A851C9E1D1 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:52:04] 827*2^1424188-1 is not prime. Res64: 08F3543959168838 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:52:04] 843*2^1424188-1 is not prime. Res64: 27DB391C9AA09520 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:52:05] 863*2^1424188-1 is not prime. Res64: 97A48C3818FD9E17 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:52:05] 869*2^1424188-1 is not prime. Res64: 555C5D2AFD69E542 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:52:05] 627*2^1424189-1 is not prime. Res64: 659E0B05074328C5 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:55:07] 657*2^1424189-1 is not prime. Res64: 62E9D4B30688037A Time : 0.0 sec. user=mdettweiler [2016-03-24 23:55:08] 771*2^1424189-1 is not prime. Res64: C2ADEC95B7373974 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:55:08] 855*2^1424189-1 is not prime. Res64: 12F1468B671D38C9 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:55:08] 925*2^1424189-1 is not prime. Res64: 2830C20B1D73E539 Time : 0.0 sec. user=mdettweiler [2016-03-24 23:55:09] 651*2^1424190-1 is not prime. Res64: 27B5C00477F34649 Time : 0.0 sec.