user=mdettweiler [2013-05-28 00:11:54] 615*2^1246317-1 is not prime. Res64: BB1E24D10A9D35CA Time : 0.0 sec. user=mdettweiler [2013-05-28 00:11:55] 747*2^1246317-1 is not prime. Res64: 9ABED9E14C679329 Time : 0.0 sec. user=mdettweiler [2013-05-28 00:29:57] 937*2^1246317-1 is not prime. Res64: 52DA859D4F1D393B Time : 0.0 sec. user=mdettweiler [2013-05-28 00:29:57] 945*2^1246317-1 is not prime. Res64: E9697A340CF94C45 Time : 0.0 sec. user=mdettweiler [2013-05-28 00:35:05] 999*2^1246316-1 is not prime. Res64: 375AE6A19B8249C4 Time : 0.0 sec. user=mdettweiler [2013-05-28 00:47:41] 961*2^1246317-1 is not prime. Res64: 45A3C1F59AEDFA4F Time : 0.0 sec. user=mdettweiler [2013-05-28 00:47:41] 605*2^1246318-1 is not prime. Res64: 0EA7454DE4430260 Time : 0.0 sec. user=mdettweiler [2013-05-28 01:28:51] 845*2^1246318-1 is not prime. Res64: 23EF9B9A3C1ACDD8 Time : 0.0 sec. user=mdettweiler [2013-05-28 01:28:52] 621*2^1246319-1 is not prime. Res64: B76BE6114A125E2D Time : 0.0 sec. user=mdettweiler [2013-05-28 01:30:39] 669*2^1246319-1 is not prime. Res64: A6606FC05632F187 Time : 0.0 sec. user=mdettweiler [2013-05-28 01:46:51] 973*2^1246319-1 is not prime. Res64: 25E8D7A443F15963 Time : 0.0 sec. user=mdettweiler [2013-05-28 02:08:04] 829*2^1246319-1 is not prime. Res64: AF485CDA2291F72B Time : 0.0 sec. user=mdettweiler [2013-05-28 02:18:43] 665*2^1246320-1 is not prime. Res64: 9FCF77F2B853D8AA Time : 0.0 sec. user=mdettweiler [2013-05-28 02:25:49] 669*2^1246320-1 is not prime. Res64: E549F54FEF33343E Time : 0.0 sec. user=mdettweiler [2013-05-28 02:25:49] 803*2^1246320-1 is not prime. Res64: 9DDA551C77436C4C Time : 0.0 sec. user=juhehe [2013-05-28 02:29:54] 863*2^1246320-1 is not prime. Res64: 1DFF0686EE6B2535 Time : 0.0 sec. user=mdettweiler [2013-05-28 02:37:20] 975*2^1246320-1 is not prime. Res64: 99926C6ABFA0A1F6 Time : 0.0 sec. user=mdettweiler [2013-05-28 02:37:20] 639*2^1246321-1 is not prime. Res64: CDBBEF4028AFB27F Time : 0.0 sec. user=mdettweiler [2013-05-28 02:43:38] 705*2^1246321-1 is not prime. Res64: 067496621ADA4787 Time : 0.0 sec. user=mdettweiler [2013-05-28 02:43:39] 775*2^1246321-1 is not prime. Res64: F1C015B8167CE028 Time : 0.0 sec. user=mdettweiler [2013-05-28 02:55:27] 855*2^1246321-1 is not prime. Res64: C0EFF8EACBF820BE Time : 0.0 sec. user=mdettweiler [2013-05-28 02:55:27] 877*2^1246321-1 is not prime. Res64: B87B0DD1B58686D5 Time : 0.0 sec. user=mdettweiler [2013-05-28 03:01:53] 895*2^1246321-1 is not prime. Res64: 92C2C456AFDF0872 Time : 0.0 sec. user=mdettweiler [2013-05-28 03:13:22] 617*2^1246322-1 is not prime. Res64: 0BCC0C32E47B513C Time : 0.0 sec. user=mdettweiler [2013-05-28 03:30:49] 931*2^1246321-1 is not prime. Res64: 80E8425819F8975C Time : 0.0 sec. user=mdettweiler [2013-05-28 03:31:52] 675*2^1246322-1 is not prime. Res64: ECD08F5EE7165EDC Time : 0.0 sec. user=mdettweiler [2013-05-28 03:49:15] 735*2^1246322-1 is not prime. Res64: B83FF3D5F05A976C Time : 0.0 sec. user=mdettweiler [2013-05-28 03:50:19] 771*2^1246322-1 is not prime. Res64: 057EA186421E034D Time : 0.0 sec. user=juhehe [2013-05-28 04:03:45] 915*2^1246322-1 is not prime. Res64: 35503C0203BCC4AD Time : 0.0 sec. user=mdettweiler [2013-05-28 04:10:05] 767*2^1246322-1 is not prime. Res64: 3B49FD78D27F554F Time : 0.0 sec. user=mdettweiler [2013-05-28 04:17:24] 827*2^1246322-1 is not prime. Res64: DF14A9014AE62BCE Time : 0.0 sec. user=juhehe [2013-05-28 04:24:09] 669*2^1246323-1 is not prime. Res64: 3B4677310D61FB8B Time : 0.0 sec. user=mdettweiler [2013-05-28 04:28:01] 751*2^1246323-1 is not prime. Res64: 072C89A439FFC985 Time : 0.0 sec. user=mdettweiler [2013-05-28 04:51:24] 781*2^1246323-1 is not prime. Res64: 4655E264F8073032 Time : 0.0 sec. user=mdettweiler [2013-05-28 05:12:01] 835*2^1246323-1 is not prime. Res64: F20165EC1781E46F Time : 0.0 sec. user=mdettweiler [2013-05-28 05:35:05] 991*2^1246323-1 is not prime. Res64: AF6CA1379BE852CC Time : 0.0 sec. user=mdettweiler [2013-05-28 05:35:05] 615*2^1246324-1 is not prime. Res64: 114B3C7661DFFC42 Time : 0.0 sec. user=mdettweiler [2013-05-28 05:37:00] 885*2^1246323-1 is not prime. Res64: 4CFB2EB891D3A545 Time : 0.0 sec. user=mdettweiler [2013-05-28 05:53:06] 695*2^1246324-1 is not prime. Res64: 66661BC8DA44C969 Time : 0.0 sec. user=juhehe [2013-05-28 05:53:39] 639*2^1246324-1 is not prime. Res64: 9E028100F6AD195E Time : 0.0 sec. user=mdettweiler [2013-05-28 05:54:45] 743*2^1246324-1 is not prime. Res64: 3A3935CE19090B4C Time : 0.0 sec. user=mdettweiler [2013-05-28 05:54:45] 749*2^1246324-1 is not prime. Res64: 79D091A79134110D Time : 0.0 sec. user=mdettweiler [2013-05-28 06:12:30] 807*2^1246324-1 is not prime. Res64: E92DE4A66E379BB5 Time : 0.0 sec. user=mdettweiler [2013-05-28 06:12:31] 833*2^1246324-1 is not prime. Res64: E2476CE5E37B510E Time : 0.0 sec. user=juhehe [2013-05-28 06:15:31] 843*2^1246324-1 is not prime. Res64: AA5FC83F3B25E8BB Time : 0.0 sec. user=mdettweiler [2013-05-28 06:28:59] 717*2^1246324-1 is not prime. Res64: 0B1C3738FD1DE721 Time : 0.0 sec. user=mdettweiler [2013-05-28 06:30:45] 869*2^1246324-1 is not prime. Res64: BE07C8C6E7F1029E Time : 0.0 sec. user=mdettweiler [2013-05-28 06:30:45] 885*2^1246324-1 is not prime. Res64: 094E19E1069B8CED Time : 0.0 sec. user=mdettweiler [2013-05-28 06:46:51] 905*2^1246324-1 is not prime. Res64: 5149DC916F52842C Time : 0.0 sec. user=mdettweiler [2013-05-28 06:46:52] 923*2^1246324-1 is not prime. Res64: 6D0736884C96F130 Time : 0.0 sec. user=mdettweiler [2013-05-28 06:49:22] 965*2^1246324-1 is not prime. Res64: C01005FDD2E5C772 Time : 0.0 sec. user=mdettweiler [2013-05-28 06:49:22] 983*2^1246324-1 is not prime. Res64: E815BBE704421F56 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:04:48] 847*2^1246325-1 is not prime. Res64: 0B77373ECACF9F0F Time : 0.0 sec. user=mdettweiler [2013-05-28 07:04:49] 927*2^1246325-1 is not prime. Res64: 3C531579867222EA Time : 0.0 sec. user=mdettweiler [2013-05-28 07:07:29] 807*2^1246326-1 is not prime. Res64: 81F7F0B2B0F9BB53 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:07:30] 881*2^1246326-1 is not prime. Res64: C98353C746240E3D Time : 0.0 sec. user=mdettweiler [2013-05-28 07:23:09] 921*2^1246326-1 is not prime. Res64: B7B3921530F6C599 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:23:09] 609*2^1246327-1 is not prime. Res64: C1A4FA1F21E07F0E Time : 0.0 sec. user=mdettweiler [2013-05-28 07:25:37] 615*2^1246327-1 is not prime. Res64: 6E954F7DA729BE98 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:25:38] 651*2^1246327-1 is not prime. Res64: BF95A7F7D8E464C3 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:40:58] 673*2^1246327-1 is not prime. Res64: 8D40773DF8CD33B8 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:40:59] 765*2^1246327-1 is not prime. Res64: 837855FD257C5C7A Time : 0.0 sec. user=mdettweiler [2013-05-28 07:43:26] 885*2^1246327-1 is not prime. Res64: DC162B49385D6036 Time : 0.0 sec. user=mdettweiler [2013-05-28 07:43:26] 973*2^1246327-1 is not prime. Res64: 9391B6383E92829F Time : 0.0 sec. user=juhehe [2013-05-28 07:45:30] 841*2^1246327-1 is not prime. Res64: CE9166A6AF489CDA Time : 0.0 sec. user=mdettweiler [2013-05-28 07:59:28] 623*2^1246328-1 is not prime. Res64: CA097157066C0FE5 Time : 0.0 sec. user=juhehe [2013-05-28 08:07:16] 869*2^1246328-1 is not prime. Res64: 2931BDD3B88D7664 Time : 0.0 sec. user=mdettweiler [2013-05-28 08:31:42] 803*2^1246328-1 is not prime. Res64: 62DE5A194E433C03 Time : 0.0 sec. user=mdettweiler [2013-05-28 08:31:42] 827*2^1246328-1 is not prime. Res64: B51EBE5EED6E0E8E Time : 0.0 sec. user=juhehe [2013-05-28 08:33:24] 657*2^1246329-1 is not prime. Res64: 124EFA257BB73A40 Time : 0.0 sec. user=mdettweiler [2013-05-28 08:37:20] 683*2^1246328-1 is not prime. Res64: E52E8F8184348774 Time : 0.0 sec. user=mdettweiler [2013-05-28 08:49:50] 885*2^1246329-1 is not prime. Res64: 9DDADACD65B1C7F2 Time : 0.0 sec. user=mdettweiler [2013-05-28 08:50:07] 909*2^1246329-1 is not prime. Res64: 0FF7319E1F63D87A Time : 0.0 sec. user=juhehe [2013-05-28 08:59:19] 611*2^1246330-1 is not prime. Res64: 081BEBF97BBC63D3 Time : 0.0 sec. user=mdettweiler [2013-05-28 09:18:34] 657*2^1246330-1 is not prime. Res64: 972CEE7C62BD2AAE Time : 0.0 sec. user=mdettweiler [2013-05-28 09:28:39] 601*2^1246331-1 is not prime. Res64: 624A9230D4C9BF4E Time : 0.0 sec. user=mdettweiler [2013-05-28 09:46:47] 677*2^1246330-1 is not prime. Res64: 72B8AB044B7E6551 Time : 0.0 sec. user=mdettweiler [2013-05-28 10:00:45] 619*2^1246331-1 is not prime. Res64: 399DA311C0D23410 Time : 0.0 sec. user=mdettweiler [2013-05-28 10:04:45] 651*2^1246331-1 is not prime. Res64: 52D8BDD86C287ED7 Time : 0.0 sec. user=mdettweiler [2013-05-28 10:04:46] 801*2^1246331-1 is not prime. Res64: B6E7776B33DFD18A Time : 0.0 sec. user=mdettweiler [2013-05-28 10:18:52] 819*2^1246331-1 is not prime. Res64: 645C0BB11F0F4CC5 Time : 0.0 sec. user=mdettweiler [2013-05-28 10:18:52] 843*2^1246331-1 is not prime. Res64: 067421B5EB997943 Time : 0.0 sec. user=mdettweiler [2013-05-28 10:23:56] 859*2^1246331-1 is not prime. Res64: 04229BAFA012E47D Time : 0.0 sec. user=mdettweiler [2013-05-28 10:36:42] 895*2^1246331-1 is not prime. Res64: 6A28A9257D729582 Time : 0.0 sec. user=mdettweiler [2013-05-28 10:36:42] 863*2^1246332-1 is not prime. Res64: AF96C1B41EBD75BB Time : 0.0 sec. user=mdettweiler [2013-05-28 10:54:37] 687*2^1246333-1 is not prime. Res64: E2CE1660CD77C3AA Time : 0.0 sec. user=mdettweiler [2013-05-28 10:54:37] 741*2^1246333-1 is not prime. Res64: 87FB4A94D62E1C76 Time : 0.0 sec. user=mdettweiler [2013-05-28 11:02:35] 913*2^1246331-1 is not prime. Res64: BE86B9B51500E2E8 Time : 0.0 sec. user=mdettweiler [2013-05-28 11:12:28] 817*2^1246333-1 is not prime. Res64: 92A001E51A6A8D52 Time : 0.0 sec. user=mdettweiler [2013-05-28 11:12:29] 861*2^1246333-1 is not prime. Res64: 0576213ADC400B31 Time : 0.0 sec. user=mdettweiler [2013-05-28 11:20:58] 877*2^1246333-1 is not prime. Res64: B2D9AE1FA9335B4C Time : 0.0 sec. user=mdettweiler [2013-05-28 11:31:28] 979*2^1246333-1 is not prime. Res64: 057F0DC2D4CBC104 Time : 0.0 sec. user=mdettweiler [2013-05-28 11:46:53] 945*2^1246333-1 is not prime. Res64: 361382BDC45B8FA5 Time : 0.0 sec. user=mdettweiler [2013-05-28 11:50:07] 615*2^1246334-1 is not prime. Res64: 7664BE8C403C6BCF Time : 0.0 sec. user=mdettweiler [2013-05-28 12:04:44] 711*2^1246334-1 is not prime. Res64: 64A8821B2F148031 Time : 0.0 sec. user=mdettweiler [2013-05-28 12:04:45] 951*2^1246334-1 is not prime. Res64: B5C3BF56DB84E761 Time : 0.0 sec. user=mdettweiler [2013-05-28 12:07:58] 679*2^1246335-1 is not prime. Res64: 92F70EA29B1836C1 Time : 0.0 sec. user=mdettweiler [2013-05-28 12:07:59] 739*2^1246335-1 is not prime. Res64: 86303A53F3366783 Time : 0.0 sec. user=mdettweiler [2013-05-28 12:22:49] 781*2^1246335-1 is not prime. Res64: C85C97BD34AB5427 Time : 0.0 sec. user=juhehe [2013-05-28 12:25:04] 723*2^1246330-1 is not prime. Res64: 8263E379DBC925BB Time : 0.0 sec. user=mdettweiler [2013-05-28 12:25:49] 933*2^1246335-1 is not prime. Res64: B3E0B3CF170AB95C Time : 0.0 sec. user=mdettweiler [2013-05-28 12:26:07] 717*2^1246336-1 is not prime. Res64: 708227BFFE2FBB36 Time : 0.0 sec. user=juhehe [2013-05-28 12:47:02] 869*2^1246336-1 is not prime. Res64: E6748612BBE6B227 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:02:25] 829*2^1246335-1 is not prime. Res64: 9FFD4CE4F5C52B49 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:03:09] 917*2^1246336-1 is not prime. Res64: 826BBE81CE2A6F8B Time : 0.0 sec. user=mdettweiler [2013-05-28 13:03:09] 957*2^1246336-1 is not prime. Res64: 748C7688BBAFB8F6 Time : 0.0 sec. user=juhehe [2013-05-28 13:09:22] 619*2^1246337-1 is not prime. Res64: DEC45F3B0C2B44FA Time : 0.0 sec. user=mdettweiler [2013-05-28 13:20:50] 829*2^1246337-1 is not prime. Res64: B51F9392698C0604 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:21:21] 633*2^1246338-1 is not prime. Res64: 88DD77A0D2BB8A1B Time : 0.0 sec. user=mdettweiler [2013-05-28 13:21:21] 677*2^1246338-1 is not prime. Res64: F549923F4D741237 Time : 0.0 sec. user=juhehe [2013-05-28 13:31:55] 713*2^1246338-1 is not prime. Res64: 2637776B3301B6F5 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:39:11] 765*2^1246338-1 is not prime. Res64: 081221D8D681BF51 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:39:11] 893*2^1246338-1 is not prime. Res64: 47B10217FDE8C993 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:39:49] 831*2^1246337-1 is not prime. Res64: 641DE215F2E5B528 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:57:00] 735*2^1246339-1 is not prime. Res64: F3574881EEC91AB6 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:57:00] 741*2^1246339-1 is not prime. Res64: BAF9C1DD45E2EAAB Time : 0.0 sec. user=mdettweiler [2013-05-28 13:57:36] 771*2^1246339-1 is not prime. Res64: 95CC6AB2E6D2F542 Time : 0.0 sec. user=mdettweiler [2013-05-28 13:57:37] 889*2^1246339-1 is not prime. Res64: BD69354C79735928 Time : 0.0 sec. user=mdettweiler [2013-05-28 14:15:01] 951*2^1246339-1 is not prime. Res64: 2F0ADA68B95D8DE1 Time : 0.0 sec. user=mdettweiler [2013-05-28 14:16:04] 759*2^1246340-1 is not prime. Res64: 278033691F5E5C3E Time : 0.0 sec. user=mdettweiler [2013-05-28 14:33:57] 717*2^1246340-1 is not prime. Res64: 25B16C8963E234AD Time : 0.0 sec. user=mdettweiler [2013-05-28 14:55:03] 795*2^1246340-1 is not prime. Res64: B8697AB6309FA16E Time : 0.0 sec. user=mdettweiler [2013-05-28 15:16:17] 909*2^1246340-1 is not prime. Res64: 78E7D096C7185BA8 Time : 0.0 sec. user=mdettweiler [2013-05-28 15:16:17] 923*2^1246340-1 is not prime. Res64: 75F18822560EAAED Time : 0.0 sec. user=mdettweiler [2013-05-28 15:35:17] 957*2^1246340-1 is not prime. Res64: 7AF9D8B574430171 Time : 0.0 sec. user=mdettweiler [2013-05-28 15:35:36] 999*2^1246340-1 is not prime. Res64: 8D7C3FF497230EA7 Time : 0.0 sec. user=mdettweiler [2013-05-28 15:51:36] 657*2^1246341-1 is not prime. Res64: EA3DBE7AFFDFA057 Time : 0.0 sec. user=mdettweiler [2013-05-28 15:51:37] 789*2^1246341-1 is not prime. Res64: E8C0965166243F8A Time : 0.0 sec. user=mdettweiler [2013-05-28 16:10:27] 795*2^1246341-1 is not prime. Res64: 88E4AF04A18EB9B7 Time : 0.0 sec. user=mdettweiler [2013-05-28 16:27:00] 921*2^1246341-1 is not prime. Res64: 4DA2821055326C09 Time : 0.0 sec. user=mdettweiler [2013-05-28 16:27:01] 979*2^1246341-1 is not prime. Res64: 00F203DD9CE71DBF Time : 0.0 sec. user=mdettweiler [2013-05-28 16:33:54] 901*2^1246341-1 is not prime. Res64: D83A8D5A08D63629 Time : 0.0 sec. user=mdettweiler [2013-05-28 16:45:04] 635*2^1246342-1 is not prime. Res64: 63E635994C7A23F3 Time : 0.0 sec. user=mdettweiler [2013-05-28 17:21:10] 801*2^1246342-1 is not prime. Res64: A658737E531DF6A5 Time : 0.0 sec. user=mdettweiler [2013-05-28 17:22:41] 827*2^1246342-1 is not prime. Res64: CCACF57220DA01A7 Time : 0.0 sec. user=mdettweiler [2013-05-28 17:22:41] 843*2^1246342-1 is not prime. Res64: F8BC652ADF6EDDC5 Time : 0.0 sec. user=mdettweiler [2013-05-28 17:41:18] 915*2^1246342-1 is not prime. Res64: 84D8EEAE800C94CF Time : 0.0 sec. user=mdettweiler [2013-05-28 18:05:02] 995*2^1246342-1 is not prime. Res64: 1DAE196E0795280B Time : 0.0 sec. user=mdettweiler [2013-05-28 18:06:05] 1001*2^1246342-1 is not prime. Res64: 92F69940E2B1EE9A Time : 0.0 sec. user=mdettweiler [2013-05-28 18:23:13] 753*2^1246343-1 is not prime. Res64: 2B74119A94C5AA2D Time : 0.0 sec. user=mdettweiler [2013-05-28 18:28:07] 661*2^1246343-1 is not prime. Res64: 4976F859BFCEF8FE Time : 0.0 sec. user=mdettweiler [2013-05-28 18:45:39] 627*2^1246344-1 is not prime. Res64: E8BC6EE6312C3875 Time : 0.0 sec. user=mdettweiler [2013-05-28 18:45:39] 705*2^1246344-1 is not prime. Res64: 78BBEB7D2AD4D49B Time : 0.0 sec. user=mdettweiler [2013-05-28 18:52:06] 615*2^1246344-1 is not prime. Res64: C14D058D5413F9B7 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:29:58] 767*2^1246344-1 is not prime. Res64: 722A66315F2A1A33 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:29:58] 857*2^1246344-1 is not prime. Res64: 38706771F796A5A8 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:37:40] 917*2^1246344-1 is not prime. Res64: F0601A9C19C58354 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:37:40] 685*2^1246345-1 is not prime. Res64: 83C2307A95B29984 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:48:26] 805*2^1246345-1 is not prime. Res64: C4B8D95F5EA41BD6 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:48:26] 831*2^1246345-1 is not prime. Res64: 0D63FD00B22E7A29 Time : 0.0 sec. user=mdettweiler [2013-05-28 19:56:39] 937*2^1246345-1 is not prime. Res64: 116362CC30BC2695 Time : 0.0 sec. user=mdettweiler [2013-05-28 20:06:11] 615*2^1246346-1 is not prime. Res64: 4D27BFF23EF193D3 Time : 0.0 sec. user=mdettweiler [2013-05-28 20:06:12] 711*2^1246346-1 is not prime. Res64: 568D929AF237751D Time : 0.0 sec. user=mdettweiler [2013-05-28 20:17:53] 603*2^1246346-1 is not prime. Res64: F61A01DFEE1BA918 Time : 0.0 sec. user=mdettweiler [2013-05-28 20:24:11] 923*2^1246346-1 is not prime. Res64: 072418F2705B2A11 Time : 0.0 sec. user=mdettweiler [2013-05-28 20:24:11] 935*2^1246346-1 is not prime. Res64: FCA615110163E19D Time : 0.0 sec. user=mdettweiler [2013-05-28 20:37:52] 981*2^1246346-1 is not prime. Res64: B47D3F9F6B564EEC Time : 0.0 sec. user=mdettweiler [2013-05-28 20:37:53] 983*2^1246346-1 is not prime. Res64: 61896F71744A77CD Time : 0.0 sec. user=mdettweiler [2013-05-28 20:42:34] 793*2^1246347-1 is not prime. Res64: 6764963DFF03C5C3 Time : 0.0 sec. user=mdettweiler [2013-05-28 20:42:34] 695*2^1246348-1 is not prime. Res64: 43EFEA7146CFE6F7 Time : 0.0 sec. user=mdettweiler [2013-05-28 20:55:36] 777*2^1246348-1 is not prime. Res64: 9619F2E3F8263B34 Time : 0.0 sec. user=mdettweiler [2013-05-28 21:00:37] 863*2^1246348-1 is not prime. Res64: 51AA5793E33B24CC Time : 0.0 sec. user=mdettweiler [2013-05-28 21:31:21] 843*2^1246348-1 is not prime. Res64: 738D3A68EE035B65 Time : 0.0 sec. user=mdettweiler [2013-05-28 21:33:50] 869*2^1246348-1 is not prime. Res64: FF08AB0475CC69F1 Time : 0.0 sec. user=mdettweiler [2013-05-28 21:52:27] 875*2^1246348-1 is not prime. Res64: 03C20ED7B4886519 Time : 0.0 sec. user=mdettweiler [2013-05-28 21:52:27] 989*2^1246348-1 is not prime. Res64: DD8E45F9749B1F5F Time : 0.0 sec. user=mdettweiler [2013-05-28 22:10:02] 675*2^1246349-1 is not prime. Res64: E9553DC4F8BED16E Time : 0.0 sec. user=mdettweiler [2013-05-28 22:10:03] 787*2^1246349-1 is not prime. Res64: EEFBC9AB5572EBB8 Time : 0.0 sec. user=mdettweiler [2013-05-28 22:10:46] 995*2^1246348-1 is not prime. Res64: B775BA81E43BDC04 Time : 0.0 sec. user=mdettweiler [2013-05-28 22:10:47] 649*2^1246349-1 is not prime. Res64: 1260D12B9A0DDD5E Time : 0.0 sec. user=mdettweiler [2013-05-28 22:28:02] 795*2^1246349-1 is not prime. Res64: FBA06CD4FA30EB3C Time : 0.0 sec. user=mdettweiler [2013-05-28 22:28:35] 847*2^1246349-1 is not prime. Res64: 7497A007B79F8727 Time : 0.0 sec. user=mdettweiler [2013-05-28 22:28:36] 867*2^1246349-1 is not prime. Res64: F1683B2E48894BBE Time : 0.0 sec. user=mdettweiler [2013-05-28 22:46:38] 957*2^1246349-1 is not prime. Res64: 304277F9E246F540 Time : 0.0 sec. user=mdettweiler [2013-05-28 22:58:30] 801*2^1246349-1 is not prime. Res64: 97C25E8EE79D7859 Time : 0.0 sec. user=mdettweiler [2013-05-28 23:24:54] 717*2^1246350-1 is not prime. Res64: DD40A5142BAA4E39 Time : 0.0 sec. user=mdettweiler [2013-05-28 23:42:34] 725*2^1246350-1 is not prime. Res64: C5946054DFBEE6C4 Time : 0.0 sec. user=mdettweiler [2013-05-28 23:42:35] 773*2^1246350-1 is not prime. Res64: 02E9965C65EB214B Time : 0.0 sec. user=mdettweiler [2013-05-28 23:44:00] 797*2^1246350-1 is not prime. Res64: A1BF6392A8CD9BF7 Time : 0.0 sec. user=mdettweiler [2013-05-28 23:44:00] 921*2^1246350-1 is not prime. Res64: A0C6D39B016C8F2D Time : 0.0 sec.