user=vaughan [2013-04-03 00:06:47] 753*2^1243827-1 is not prime. Res64: 9243E43726D1D8F1 Time : 0.0 sec. user=mdettweiler [2013-04-03 00:14:24] 603*2^1243828-1 is not prime. Res64: 35A1F0A66B1CC0E6 Time : 0.0 sec. user=mdettweiler [2013-04-03 00:14:25] 979*2^1243827-1 is not prime. Res64: 57DEB017F2E9D458 Time : 0.0 sec. user=mdettweiler [2013-04-03 00:14:25] 687*2^1243828-1 is not prime. Res64: 1C1D62ACCB922609 Time : 0.0 sec. user=mdettweiler [2013-04-03 00:14:25] 999*2^1243827-1 is not prime. Res64: 9EDB877DDBEF2B4A Time : 0.0 sec. user=mdettweiler [2013-04-03 00:32:12] 783*2^1243828-1 is not prime. Res64: 9D217897C334FB2C Time : 0.0 sec. user=mdettweiler [2013-04-03 00:32:12] 957*2^1243828-1 is not prime. Res64: 2E0C6CF4DC97FD4C Time : 0.0 sec. user=mdettweiler [2013-04-03 00:32:12] 987*2^1243828-1 is not prime. Res64: 39302333BDB9A01C Time : 0.0 sec. user=mdettweiler [2013-04-03 00:32:13] 989*2^1243828-1 is not prime. Res64: 6069E503DD1E9BD4 Time : 0.0 sec. user=juhehe [2013-04-03 00:34:08] 699*2^1243828-1 is not prime. Res64: 53E306B5F605072F Time : 0.0 sec. user=juhehe [2013-04-03 00:41:11] 793*2^1243827-1 is not prime. Res64: 1A5A87F5815E321D Time : 0.0 sec. user=vaughan [2013-04-03 00:45:09] 695*2^1243828-1 is not prime. Res64: 57FCFE03785AAB64 Time : 0.0 sec. user=mdettweiler [2013-04-03 00:50:09] 995*2^1243828-1 is not prime. Res64: 53E07190EB6D35BF Time : 0.0 sec. user=mdettweiler [2013-04-03 00:50:09] 999*2^1243828-1 is not prime. Res64: B24A0327F12F1D2A Time : 0.0 sec. user=mdettweiler [2013-04-03 00:50:09] 691*2^1243829-1 is not prime. Res64: 778ECDB1EBD568B7 Time : 0.0 sec. user=mdettweiler [2013-04-03 00:50:09] 721*2^1243829-1 is not prime. Res64: 93D3DC189EE1B4BE Time : 0.0 sec. user=juhehe [2013-04-03 00:55:45] 741*2^1243829-1 is not prime. Res64: 20D2BB2AAA60E847 Time : 0.0 sec. user=juhehe [2013-04-03 01:06:09] 801*2^1243829-1 is not prime. Res64: 298B751278128436 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:08:05] 927*2^1243829-1 is not prime. Res64: 1AF1CD6FF4CB094E Time : 0.0 sec. user=mdettweiler [2013-04-03 01:08:06] 969*2^1243829-1 is not prime. Res64: 880E6682388EDDC2 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:08:07] 635*2^1243830-1 is not prime. Res64: 8B9E96354F0A1F18 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:08:08] 681*2^1243830-1 is not prime. Res64: 27CE925927ADF8B8 Time : 0.0 sec. user=vaughan [2013-04-03 01:23:25] 885*2^1243829-1 is not prime. Res64: 6A5935E211ABAD98 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:26:03] 783*2^1243830-1 is not prime. Res64: 205B7F0E7D2728E9 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:26:03] 851*2^1243830-1 is not prime. Res64: 7AC697BDB47E3710 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:26:06] 875*2^1243830-1 is not prime. Res64: FF22DEC25D83A1A8 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:26:06] 885*2^1243830-1 is not prime. Res64: 56109308C3151104 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:44:00] 673*2^1243831-1 is not prime. Res64: 3E801167F5537B6C Time : 0.0 sec. user=mdettweiler [2013-04-03 01:44:00] 783*2^1243831-1 is not prime. Res64: 6563E8B768612E4D Time : 0.0 sec. user=mdettweiler [2013-04-03 01:44:02] 885*2^1243831-1 is not prime. Res64: 56177286F4C28C64 Time : 0.0 sec. user=mdettweiler [2013-04-03 01:44:02] 931*2^1243831-1 is not prime. Res64: AC7BC9C0A36DD5D9 Time : 0.0 sec. user=juhehe [2013-04-03 01:56:01] 773*2^1243830-1 is not prime. Res64: EB6038D721FC6C7C Time : 0.0 sec. user=vaughan [2013-04-03 02:01:40] 619*2^1243831-1 is not prime. Res64: 37850F5C8C5F1AD3 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:01:56] 629*2^1243832-1 is not prime. Res64: DBA0A6670546C07C Time : 0.0 sec. user=mdettweiler [2013-04-03 02:01:57] 633*2^1243832-1 is not prime. Res64: FF1A13174F370F04 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:01:58] 675*2^1243832-1 is not prime. Res64: 915DC16695AE6570 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:01:59] 767*2^1243832-1 is not prime. Res64: F1B35E8911C32878 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:19:53] 815*2^1243832-1 is not prime. Res64: E59903ABF80B055D Time : 0.0 sec. user=mdettweiler [2013-04-03 02:19:53] 681*2^1243833-1 is not prime. Res64: F252114610AF6E42 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:19:55] 751*2^1243833-1 is not prime. Res64: F817029EE093B953 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:19:55] 955*2^1243833-1 is not prime. Res64: 6E225B8EC3CDA928 Time : 0.0 sec. user=juhehe [2013-04-03 02:30:48] 605*2^1243834-1 is not prime. Res64: 7956CEB87491425A Time : 0.0 sec. user=mdettweiler [2013-04-03 02:37:48] 623*2^1243834-1 is not prime. Res64: 8AD572A0659E6CF4 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:37:50] 635*2^1243834-1 is not prime. Res64: 1E3AC43F7CA9A390 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:37:50] 773*2^1243834-1 is not prime. Res64: F32A20B625B39D00 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:37:51] 857*2^1243834-1 is not prime. Res64: D5FBC14C73653C3E Time : 0.0 sec. user=vaughan [2013-04-03 02:39:55] 803*2^1243832-1 is not prime. Res64: 7B44701FAF58D2C6 Time : 0.0 sec. user=juhehe [2013-04-03 02:42:31] 609*2^1243832-1 is not prime. Res64: D9B66C62FC3B5F08 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:55:52] 603*2^1243835-1 is not prime. Res64: D960983B8FE9DB9E Time : 0.0 sec. user=mdettweiler [2013-04-03 02:55:52] 699*2^1243835-1 is not prime. Res64: AADF7B320115DEC9 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:55:52] 915*2^1243834-1 is not prime. Res64: F80928A15C60E930 Time : 0.0 sec. user=mdettweiler [2013-04-03 02:55:53] 1001*2^1243834-1 is not prime. Res64: 7F0F1B0FBAC8569B Time : 0.0 sec. user=mdettweiler [2013-04-03 03:13:31] 799*2^1243835-1 is not prime. Res64: 20CD27F749BE6CBB Time : 0.0 sec. user=mdettweiler [2013-04-03 03:13:32] 913*2^1243835-1 is not prime. Res64: 6E50DC64BE43E636 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:13:32] 765*2^1243836-1 is not prime. Res64: C66F895866F17B63 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:13:32] 767*2^1243836-1 is not prime. Res64: 5C96A2C64EB66AA8 Time : 0.0 sec. user=vaughan [2013-04-03 03:18:12] 735*2^1243835-1 is not prime. Res64: E575D33BDCA05237 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:31:09] 831*2^1243837-1 is not prime. Res64: 41F779271D1C42DD Time : 0.0 sec. user=mdettweiler [2013-04-03 03:31:10] 861*2^1243837-1 is not prime. Res64: 05FE2FE35DD51237 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:31:11] 969*2^1243836-1 is not prime. Res64: 8F40F066612E5CB5 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:31:12] 805*2^1243837-1 is not prime. Res64: EF247AA270906DAC Time : 0.0 sec. user=mdettweiler [2013-04-03 03:49:04] 617*2^1243838-1 is not prime. Res64: B6EC7C9C848B7341 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:49:04] 937*2^1243837-1 is not prime. Res64: 3B40689CD99E99C8 Time : 0.0 sec. user=mdettweiler [2013-04-03 03:49:04] 713*2^1243838-1 is not prime. Res64: 73B1718FD87A630A Time : 0.0 sec. user=mdettweiler [2013-04-03 03:49:04] 605*2^1243838-1 is not prime. Res64: C46432225A64522C Time : 0.0 sec. user=vaughan [2013-04-03 03:56:28] 867*2^1243837-1 is not prime. Res64: 92DDDE04221C925D Time : 0.0 sec. user=juhehe [2013-04-03 03:58:51] 773*2^1243836-1 is not prime. Res64: F41CD1C779019F39 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:06:39] 685*2^1243839-1 is not prime. Res64: 1B8A7492A0E091AC Time : 0.0 sec. user=mdettweiler [2013-04-03 04:06:40] 745*2^1243839-1 is not prime. Res64: DABFF97FD0546FA0 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:06:40] 891*2^1243839-1 is not prime. Res64: 219F44185427E329 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:06:41] 605*2^1243840-1 is not prime. Res64: 39043F308AD4921E Time : 0.0 sec. user=juhehe [2013-04-03 04:06:41] 669*2^1243839-1 is not prime. Res64: B0C9FA5D25A15DD3 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:24:18] 675*2^1243840-1 is not prime. Res64: 993D3C87381A6099 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:24:18] 989*2^1243840-1 is not prime. Res64: 051B600379275F1C Time : 0.0 sec. user=mdettweiler [2013-04-03 04:24:18] 819*2^1243840-1 is not prime. Res64: 87B2D0D30727710F Time : 0.0 sec. user=mdettweiler [2013-04-03 04:24:19] 715*2^1243841-1 is not prime. Res64: FDE60814C4AEAA9E Time : 0.0 sec. user=vaughan [2013-04-03 04:34:44] 623*2^1243840-1 is not prime. Res64: A48269F950273A68 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:41:54] 735*2^1243841-1 is not prime. Res64: 613313D8846BB7E7 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:41:55] 795*2^1243841-1 is not prime. Res64: 738214C25BDB1080 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:41:55] 901*2^1243841-1 is not prime. Res64: 5EC7A65FBA5C92E6 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:41:55] 635*2^1243842-1 is not prime. Res64: FB4B59998C9C9EC9 Time : 0.0 sec. user=juhehe [2013-04-03 04:51:16] 945*2^1243838-1 is not prime. Res64: 2905368733ABEA8E Time : 0.0 sec. user=mdettweiler [2013-04-03 04:59:32] 873*2^1243842-1 is not prime. Res64: 72336F4C66AE1FB8 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:59:33] 983*2^1243842-1 is not prime. Res64: 91E505C0FF00B650 Time : 0.0 sec. user=mdettweiler [2013-04-03 04:59:33] 679*2^1243843-1 is not prime. Res64: AAD60E69AB6D339A Time : 0.0 sec. user=mdettweiler [2013-04-03 04:59:33] 723*2^1243843-1 is not prime. Res64: 764FBF0BD07B48A3 Time : 0.0 sec. user=juhehe [2013-04-03 05:08:56] 811*2^1243843-1 is not prime. Res64: CC97FD307B84BBD4 Time : 0.0 sec. user=vaughan [2013-04-03 05:13:00] 731*2^1243842-1 is not prime. Res64: 427CE4F573DD81ED Time : 0.0 sec. user=mdettweiler [2013-04-03 05:17:09] 855*2^1243843-1 is not prime. Res64: B608B3B490AED293 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:17:10] 859*2^1243843-1 is not prime. Res64: A58C9C04E03090E6 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:17:11] 915*2^1243843-1 is not prime. Res64: 5C2B374F3F09968D Time : 0.0 sec. user=mdettweiler [2013-04-03 05:17:12] 939*2^1243843-1 is not prime. Res64: 8291F0ACB51AD585 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:34:45] 773*2^1243844-1 is not prime. Res64: E9439EE251724896 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:34:45] 837*2^1243844-1 is not prime. Res64: 1240D7CCAA159309 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:34:46] 855*2^1243844-1 is not prime. Res64: 4AB096AC35B22C26 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:34:47] 909*2^1243844-1 is not prime. Res64: 0B1C3707FFA08E2F Time : 0.0 sec. user=juhehe [2013-04-03 05:45:16] 935*2^1243844-1 is not prime. Res64: 03DAAE7DA6472799 Time : 0.0 sec. user=vaughan [2013-04-03 05:51:34] 683*2^1243844-1 is not prime. Res64: D80EDE6EB0E3990A Time : 0.0 sec. user=mdettweiler [2013-04-03 05:52:18] 957*2^1243844-1 is not prime. Res64: 74ECADB3B4D61B5D Time : 0.0 sec. user=mdettweiler [2013-04-03 05:52:18] 601*2^1243845-1 is not prime. Res64: B9D151C5AE20DF67 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:52:18] 649*2^1243845-1 is not prime. Res64: BF6FC0F7D307F791 Time : 0.0 sec. user=mdettweiler [2013-04-03 05:52:19] 727*2^1243845-1 is not prime. Res64: 48EE9458579943C2 Time : 0.0 sec. user=juhehe [2013-04-03 06:01:04] 829*2^1243843-1 is not prime. Res64: 2F7E01FF333CCB72 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:09:50] 765*2^1243846-1 is not prime. Res64: 4F01CEE4F6C8E63F Time : 0.0 sec. user=mdettweiler [2013-04-03 06:09:51] 821*2^1243846-1 is not prime. Res64: 56AA005D929B352B Time : 0.0 sec. user=mdettweiler [2013-04-03 06:09:52] 855*2^1243846-1 is not prime. Res64: 4A7F66F6EACD0112 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:09:53] 897*2^1243846-1 is not prime. Res64: D22950D7DCF3F019 Time : 0.0 sec. user=juhehe [2013-04-03 06:11:30] 955*2^1243845-1 is not prime. Res64: 6246EEA39D9C096F Time : 0.0 sec. user=mdettweiler [2013-04-03 06:27:25] 911*2^1243846-1 is not prime. Res64: FA4DC628BF79FED8 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:27:26] 941*2^1243846-1 is not prime. Res64: 914AA19AE26BFF3A Time : 0.0 sec. user=mdettweiler [2013-04-03 06:27:27] 655*2^1243847-1 is not prime. Res64: A0711DD3569ABF98 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:27:28] 669*2^1243847-1 is not prime. Res64: A77867E028A942DC Time : 0.0 sec. user=vaughan [2013-04-03 06:29:49] 717*2^1243846-1 is not prime. Res64: 4CD81BD8EF6A5DC7 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:45:02] 915*2^1243848-1 is not prime. Res64: D7DE10F3011469E4 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:45:02] 799*2^1243847-1 is not prime. Res64: 773FEDD988D7EC32 Time : 0.0 sec. user=mdettweiler [2013-04-03 06:45:02] 923*2^1243848-1 is not prime. Res64: 4D35AABBD87F547C Time : 0.0 sec. user=mdettweiler [2013-04-03 06:45:02] 875*2^1243848-1 is not prime. Res64: CC0C5C17135D648F Time : 0.0 sec. user=juhehe [2013-04-03 06:59:58] 969*2^1243845-1 is not prime. Res64: 86EE8239EEAAB080 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:02:34] 649*2^1243849-1 is not prime. Res64: 0EEBA037D17785C6 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:02:36] 931*2^1243849-1 is not prime. Res64: C8D676130F3AABDD Time : 0.0 sec. user=mdettweiler [2013-04-03 07:02:36] 699*2^1243849-1 is not prime. Res64: A18E3CCD6C19B473 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:02:37] 939*2^1243849-1 is not prime. Res64: 6CE2B80F6D00DD9D Time : 0.0 sec. user=vaughan [2013-04-03 07:13:05] 945*2^1243848-1 is not prime. Res64: 07B60426D8EE477C Time : 0.0 sec. user=mdettweiler [2013-04-03 07:20:11] 675*2^1243850-1 is not prime. Res64: F6A2F28C55554C4F Time : 0.0 sec. user=mdettweiler [2013-04-03 07:20:12] 713*2^1243850-1 is not prime. Res64: F2B53E47723BE843 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:20:12] 717*2^1243850-1 is not prime. Res64: F3A0AA6195F858A4 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:20:13] 743*2^1243850-1 is not prime. Res64: 593925D2487CDB24 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:37:43] 887*2^1243850-1 is not prime. Res64: 7536A290312EDCA2 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:37:44] 893*2^1243850-1 is not prime. Res64: 210C47392257FDE0 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:37:45] 917*2^1243850-1 is not prime. Res64: 927986AC6F89C836 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:37:46] 805*2^1243851-1 is not prime. Res64: 55E49C3FF31F8E99 Time : 0.0 sec. user=juhehe [2013-04-03 07:46:03] 921*2^1243851-1 is not prime. Res64: 2243BEE6DF09A7AA Time : 0.0 sec. user=vaughan [2013-04-03 07:51:00] 797*2^1243850-1 is not prime. Res64: EBA1CC80EC4F5992 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:55:18] 617*2^1243852-1 is not prime. Res64: 710AD0FE8E92E4DD Time : 0.0 sec. user=mdettweiler [2013-04-03 07:55:19] 653*2^1243852-1 is not prime. Res64: A69253C346F9DBD6 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:55:19] 665*2^1243852-1 is not prime. Res64: B45478B64CF84A18 Time : 0.0 sec. user=mdettweiler [2013-04-03 07:55:19] 803*2^1243852-1 is not prime. Res64: AB1BFCA4E775BA6D Time : 0.0 sec. user=juhehe [2013-04-03 08:04:11] 633*2^1243850-1 is not prime. Res64: 79B652ABCF163D83 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:12:52] 621*2^1243853-1 is not prime. Res64: 5B88E21570F04706 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:12:52] 959*2^1243852-1 is not prime. Res64: 4B83A70A94D9C5AD Time : 0.0 sec. user=mdettweiler [2013-04-03 08:12:52] 697*2^1243853-1 is not prime. Res64: 5FCAB226B68E8013 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:12:52] 999*2^1243852-1 is not prime. Res64: 4B5043BB3DED2922 Time : 0.0 sec. user=vaughan [2013-04-03 08:28:51] 929*2^1243852-1 is not prime. Res64: 27DA1519AED1EB32 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:30:30] 831*2^1243853-1 is not prime. Res64: AED044BB8FF574CD Time : 0.0 sec. user=mdettweiler [2013-04-03 08:30:30] 955*2^1243853-1 is not prime. Res64: 5D6C6D5530E79460 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:30:32] 605*2^1243854-1 is not prime. Res64: E7D80AC9B16A7789 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:30:32] 641*2^1243854-1 is not prime. Res64: 84A601419D687BB1 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:48:02] 851*2^1243854-1 is not prime. Res64: 1F88B3F5804C11A7 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:48:02] 861*2^1243854-1 is not prime. Res64: E11085989CD713AD Time : 0.0 sec. user=mdettweiler [2013-04-03 08:48:03] 927*2^1243854-1 is not prime. Res64: 61088FE54E853D53 Time : 0.0 sec. user=mdettweiler [2013-04-03 08:48:04] 603*2^1243855-1 is not prime. Res64: 43E126ABBD149A1B Time : 0.0 sec. user=juhehe [2013-04-03 09:02:33] 769*2^1243853-1 is not prime. Res64: A5F91EE61AE90A36 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:05:35] 645*2^1243855-1 is not prime. Res64: 03C6F2AA1B3A1F2E Time : 0.0 sec. user=mdettweiler [2013-04-03 09:05:35] 909*2^1243855-1 is not prime. Res64: 87B4795290148E2A Time : 0.0 sec. user=mdettweiler [2013-04-03 09:05:36] 895*2^1243855-1 is not prime. Res64: 841ACBEAF4202102 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:05:36] 623*2^1243856-1 is not prime. Res64: BF5571E7137BEF23 Time : 0.0 sec. user=vaughan [2013-04-03 09:06:50] 807*2^1243854-1 is not prime. Res64: 3EFC78D2D1513933 Time : 0.0 sec. user=juhehe [2013-04-03 09:12:09] 711*2^1243857-1 is not prime. Res64: 07F5E3F2BFB526D6 Time : 0.0 sec. user=juhehe [2013-04-03 09:21:10] 741*2^1243857-1 is not prime. Res64: 05656923711AA1E8 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:23:09] 849*2^1243857-1 is not prime. Res64: 26E8EB434768C5D5 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:23:09] 949*2^1243857-1 is not prime. Res64: 92BB67D500ACBA5A Time : 0.0 sec. user=mdettweiler [2013-04-03 09:23:09] 865*2^1243857-1 is not prime. Res64: 9521F9566B9B30B2 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:23:09] 801*2^1243858-1 is not prime. Res64: 32AA3462AEB6679E Time : 0.0 sec. user=mdettweiler [2013-04-03 09:40:46] 705*2^1243859-1 is not prime. Res64: 1D28B4E24BEEF85C Time : 0.0 sec. user=mdettweiler [2013-04-03 09:40:46] 733*2^1243859-1 is not prime. Res64: 2E1009482EE3E458 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:40:46] 841*2^1243859-1 is not prime. Res64: F394DE77C268651E Time : 0.0 sec. user=mdettweiler [2013-04-03 09:40:47] 853*2^1243859-1 is not prime. Res64: 3259FDC8D2CD614F Time : 0.0 sec. user=vaughan [2013-04-03 09:44:43] 885*2^1243858-1 is not prime. Res64: 36C535FE66D0F21B Time : 0.0 sec. user=mdettweiler [2013-04-03 09:58:20] 859*2^1243859-1 is not prime. Res64: CA852EEF0B4CB422 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:58:20] 973*2^1243859-1 is not prime. Res64: 5B2CEB2A5ED5CA81 Time : 0.0 sec. user=mdettweiler [2013-04-03 09:58:20] 895*2^1243859-1 is not prime. Res64: 49D19D65C25C7E3E Time : 0.0 sec. user=mdettweiler [2013-04-03 09:58:21] 993*2^1243859-1 is not prime. Res64: 1174D7DB9D988904 Time : 0.0 sec. user=juhehe [2013-04-03 10:06:30] 817*2^1243857-1 is not prime. Res64: F67F04EBCA20E22E Time : 0.0 sec. user=mdettweiler [2013-04-03 10:15:51] 723*2^1243860-1 is not prime. Res64: A64DE61E65F40DB8 Time : 0.0 sec. user=mdettweiler [2013-04-03 10:15:51] 737*2^1243860-1 is not prime. Res64: 9107229BBCA647DD Time : 0.0 sec. user=mdettweiler [2013-04-03 10:15:53] 825*2^1243860-1 is not prime. Res64: A3841DA108F58DE1 Time : 0.0 sec. user=mdettweiler [2013-04-03 10:15:54] 839*2^1243860-1 is not prime. Res64: D71551ADA71DD1B8 Time : 0.0 sec. user=vaughan [2013-04-03 10:22:35] 693*2^1243860-1 is not prime. Res64: F9971613F872C6D9 Time : 0.0 sec. user=mdettweiler [2013-04-03 10:33:27] 987*2^1243860-1 is not prime. Res64: 1E0C98A094B4D1BE Time : 0.0 sec. user=mdettweiler [2013-04-03 10:33:27] 959*2^1243860-1 is not prime. Res64: 33BACFEC94673385 Time : 0.0 sec. user=mdettweiler [2013-04-03 10:33:27] 607*2^1243861-1 is not prime. Res64: 3AD7EDF4CD2B414E Time : 0.0 sec. user=mdettweiler [2013-04-03 10:33:28] 983*2^1243860-1 is not prime. Res64: A4B1757911FB6BF9 Time : 0.0 sec. user=mdettweiler [2013-04-03 10:50:59] 811*2^1243861-1 is not prime. Res64: B1581BBFEA19BF5E Time : 0.0 sec. user=mdettweiler [2013-04-03 10:51:00] 847*2^1243861-1 is not prime. Res64: 7212FB2B9E63010D Time : 0.0 sec. user=mdettweiler [2013-04-03 10:51:00] 855*2^1243861-1 is not prime. Res64: D4D143C36F9D8718 Time : 0.0 sec. user=mdettweiler [2013-04-03 10:51:01] 925*2^1243861-1 is not prime. Res64: 965967E9152C393F Time : 0.0 sec. user=juhehe [2013-04-03 10:59:57] 957*2^1243861-1 is not prime. Res64: 41C882F9D458ECFC Time : 0.0 sec. user=vaughan [2013-04-03 11:00:26] 751*2^1243861-1 is not prime. Res64: D5E45DA606D99C07 Time : 0.0 sec. user=juhehe [2013-04-03 11:04:54] 929*2^1243860-1 is not prime. Res64: C6A36C4533D60D5A Time : 0.0 sec. user=mdettweiler [2013-04-03 11:08:31] 987*2^1243861-1 is not prime. Res64: E4948523111C62CC Time : 0.0 sec. user=mdettweiler [2013-04-03 11:08:31] 623*2^1243862-1 is not prime. Res64: E24772140872F5B6 Time : 0.0 sec. user=mdettweiler [2013-04-03 11:08:31] 665*2^1243862-1 is not prime. Res64: 3854D55CE21907B3 Time : 0.0 sec. user=mdettweiler [2013-04-03 11:08:32] 675*2^1243862-1 is not prime. Res64: C815C1343D388D19 Time : 0.0 sec. user=juhehe [2013-04-03 11:21:28] 683*2^1243862-1 is not prime. Res64: 9731F8598128099A Time : 0.0 sec. user=mdettweiler [2013-04-03 11:26:02] 941*2^1243862-1 is not prime. Res64: A1419267F4782CFB Time : 0.0 sec. user=mdettweiler [2013-04-03 11:26:02] 963*2^1243862-1 is not prime. Res64: F853641A7103F7EF Time : 0.0 sec. user=mdettweiler [2013-04-03 11:26:03] 649*2^1243863-1 is not prime. Res64: 956294A342B1D467 Time : 0.0 sec. user=mdettweiler [2013-04-03 11:26:04] 703*2^1243863-1 is not prime. Res64: 569D1B6547EE0445 Time : 0.0 sec. user=vaughan [2013-04-03 11:38:19] 813*2^1243862-1 is not prime. Res64: AC2F83CD09338F1B Time : 0.0 sec. user=mdettweiler [2013-04-03 11:43:36] 709*2^1243863-1 is not prime. Res64: D556DBCA25B4BA18 Time : 0.0 sec. user=mdettweiler [2013-04-03 11:43:37] 751*2^1243863-1 is not prime. Res64: 9E384714BBAE81F1 Time : 0.0 sec. user=mdettweiler [2013-04-03 11:43:37] 933*2^1243863-1 is not prime. Res64: 62121BDA7174CCBA Time : 0.0 sec. user=mdettweiler [2013-04-03 11:43:38] 623*2^1243864-1 is not prime. Res64: 5620278F7517A68E Time : 0.0 sec. user=mdettweiler [2013-04-03 12:01:07] 843*2^1243864-1 is not prime. Res64: 73B191B7AE97D0E4 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:01:08] 899*2^1243864-1 is not prime. Res64: 75307CD9E78BBCC1 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:01:09] 915*2^1243864-1 is not prime. Res64: 7A15D27943C79F38 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:01:10] 619*2^1243865-1 is not prime. Res64: A94913347C2A41AE Time : 0.0 sec. user=juhehe [2013-04-03 12:08:40] 921*2^1243862-1 is not prime. Res64: 222AB4FFF31F789A Time : 0.0 sec. user=vaughan [2013-04-03 12:16:12] 639*2^1243864-1 is not prime. Res64: 3FD53A26073EF725 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:18:53] 685*2^1243865-1 is not prime. Res64: 7704B8A087BBAD62 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:18:54] 885*2^1243865-1 is not prime. Res64: 2BADC944A9555DC2 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:18:54] 951*2^1243865-1 is not prime. Res64: E228451E5C0B7461 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:18:55] 987*2^1243865-1 is not prime. Res64: 2D49C4BBBBF2DE2C Time : 0.0 sec. user=mdettweiler [2013-04-03 12:36:25] 717*2^1243866-1 is not prime. Res64: 8E20ADC2E661445E Time : 0.0 sec. user=mdettweiler [2013-04-03 12:36:26] 735*2^1243866-1 is not prime. Res64: F8CE6B132D803513 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:36:26] 821*2^1243866-1 is not prime. Res64: B5CA40FEF9F56A6F Time : 0.0 sec. user=mdettweiler [2013-04-03 12:36:27] 603*2^1243867-1 is not prime. Res64: B89AB4409B56B679 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:53:56] 961*2^1243867-1 is not prime. Res64: F5B7EFE62D74C778 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:53:57] 973*2^1243867-1 is not prime. Res64: 95F305BCD4D00C71 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:53:57] 629*2^1243868-1 is not prime. Res64: FB486A66A2B68866 Time : 0.0 sec. user=mdettweiler [2013-04-03 12:53:57] 743*2^1243868-1 is not prime. Res64: 69E304D8E4A93BBA Time : 0.0 sec. user=vaughan [2013-04-03 12:54:09] 677*2^1243866-1 is not prime. Res64: FD7F124999B4300F Time : 0.0 sec. user=juhehe [2013-04-03 12:56:17] 639*2^1243867-1 is not prime. Res64: EF110FF578FB0FCD Time : 0.0 sec. user=juhehe [2013-04-03 13:06:48] 647*2^1243866-1 is not prime. Res64: 475DD6311F4555D9 Time : 0.0 sec. user=mdettweiler [2013-04-03 13:11:27] 813*2^1243868-1 is not prime. Res64: 2F439F7F8B82A63D Time : 0.0 sec. user=mdettweiler [2013-04-03 13:11:28] 923*2^1243868-1 is not prime. Res64: BE26D429B08EE69D Time : 0.0 sec. user=mdettweiler [2013-04-03 13:11:29] 885*2^1243868-1 is not prime. Res64: FC4C671D0E7B954E Time : 0.0 sec. user=mdettweiler [2013-04-03 13:11:29] 959*2^1243868-1 is not prime. Res64: FC47A4F3019B5F8C Time : 0.0 sec. user=juhehe [2013-04-03 13:15:05] 749*2^1243868-1 is not prime. Res64: 5F2260BF5388EBB8 Time : 0.0 sec. user=mdettweiler [2013-04-03 13:29:00] 661*2^1243869-1 is not prime. Res64: 0ABD61DA9340B55F Time : 0.0 sec. user=mdettweiler [2013-04-03 13:29:01] 751*2^1243869-1 is not prime. Res64: FD18E557EC90FEDB Time : 0.0 sec. user=mdettweiler [2013-04-03 13:29:01] 795*2^1243869-1 is not prime. Res64: 2259F82D44439C9D Time : 0.0 sec. user=mdettweiler [2013-04-03 13:29:02] 885*2^1243869-1 is not prime. Res64: A537AA608661EB1E Time : 0.0 sec. user=vaughan [2013-04-03 13:32:02] 601*2^1243869-1 is not prime. Res64: EC7B5C5388CA6101 Time : 0.0 sec. user=mdettweiler [2013-04-03 13:46:32] 945*2^1243869-1 is not prime. Res64: 10799A4712D071A9 Time : 0.0 sec. user=mdettweiler [2013-04-03 13:46:32] 647*2^1243870-1 is not prime. Res64: 69B74B9EFBE147CB Time : 0.0 sec. user=mdettweiler [2013-04-03 13:46:33] 603*2^1243870-1 is not prime. Res64: 8E73DCC6C279FFF2 Time : 0.0 sec. user=mdettweiler [2013-04-03 13:46:33] 777*2^1243870-1 is not prime. Res64: 49C83DEFA23A8B0B Time : 0.0 sec. user=mdettweiler [2013-04-03 14:04:04] 831*2^1243870-1 is not prime. Res64: 8F48D5DB42551009 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:04:05] 957*2^1243870-1 is not prime. Res64: A179A8B5BBF0CFF5 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:04:05] 941*2^1243870-1 is not prime. Res64: 4D48930EB2D79315 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:04:06] 615*2^1243871-1 is not prime. Res64: 8A891D6A99B6DBAA Time : 0.0 sec. user=vaughan [2013-04-03 14:09:55] 791*2^1243870-1 is not prime. Res64: 6D937A0AC4A12ECA Time : 0.0 sec. user=juhehe [2013-04-03 14:11:29] 639*2^1243869-1 is not prime. Res64: A45CA4A28F9D8960 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:21:47] 619*2^1243871-1 is not prime. Res64: EF9C7A41C4430721 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:21:47] 645*2^1243871-1 is not prime. Res64: F1943575A69DDCC0 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:21:48] 813*2^1243871-1 is not prime. Res64: FB6B5131AB1601CC Time : 0.0 sec. user=mdettweiler [2013-04-03 14:21:49] 841*2^1243871-1 is not prime. Res64: 81C43AD1DCD8BCC6 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:39:20] 889*2^1243871-1 is not prime. Res64: A1AD208529A8BB23 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:39:20] 979*2^1243871-1 is not prime. Res64: 72D414B48E93A2A9 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:39:21] 725*2^1243872-1 is not prime. Res64: 5881114BEBA32AE6 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:39:22] 737*2^1243872-1 is not prime. Res64: CDE5B54A48DA8874 Time : 0.0 sec. user=vaughan [2013-04-03 14:47:47] 859*2^1243871-1 is not prime. Res64: 0C3B7B710B5BF736 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:57:19] 959*2^1243872-1 is not prime. Res64: 2C0B579A71E0E481 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:57:19] 609*2^1243873-1 is not prime. Res64: 7E4ECDF329510355 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:57:20] 681*2^1243873-1 is not prime. Res64: 5D8A3C0002A9CF02 Time : 0.0 sec. user=mdettweiler [2013-04-03 14:57:21] 801*2^1243873-1 is not prime. Res64: EEBEFD38980FBE5E Time : 0.0 sec. user=mdettweiler [2013-04-03 15:15:34] 945*2^1243873-1 is not prime. Res64: D62F0067BE11CEE9 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:15:34] 957*2^1243873-1 is not prime. Res64: 9A71A2C128887648 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:15:35] 623*2^1243874-1 is not prime. Res64: 692626599EAB3B5C Time : 0.0 sec. user=mdettweiler [2013-04-03 15:15:36] 633*2^1243874-1 is not prime. Res64: 3F320664DB0140AA Time : 0.0 sec. user=vaughan [2013-04-03 15:25:40] 867*2^1243873-1 is not prime. Res64: C3E1CAF2B43D9CE4 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:33:49] 741*2^1243875-1 is not prime. Res64: A49C3A2CBA192505 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:33:49] 781*2^1243875-1 is not prime. Res64: 74CB09E657245DEE Time : 0.0 sec. user=mdettweiler [2013-04-03 15:33:50] 783*2^1243875-1 is not prime. Res64: 154C71FE8EC9B2DC Time : 0.0 sec. user=mdettweiler [2013-04-03 15:33:50] 805*2^1243875-1 is not prime. Res64: B3B8CE01D261CCF5 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:51:31] 885*2^1243875-1 is not prime. Res64: 25D29890529B8336 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:51:31] 909*2^1243875-1 is not prime. Res64: C9DEDC623C036ABA Time : 0.0 sec. user=mdettweiler [2013-04-03 15:51:32] 623*2^1243876-1 is not prime. Res64: DC2A1F2A50323C89 Time : 0.0 sec. user=mdettweiler [2013-04-03 15:51:32] 843*2^1243876-1 is not prime. Res64: CEDA83DF4CDADC0F Time : 0.0 sec. user=vaughan [2013-04-03 16:03:34] 853*2^1243875-1 is not prime. Res64: BF8C9739F4B9B3D6 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:09:06] 933*2^1243876-1 is not prime. Res64: B4FFFD99CA03E3A5 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:09:07] 939*2^1243876-1 is not prime. Res64: FD3F8E37F39ACF30 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:09:10] 987*2^1243876-1 is not prime. Res64: C21B1430E704A760 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:09:11] 697*2^1243877-1 is not prime. Res64: 2298EFCCBFF68137 Time : 0.0 sec. user=juhehe [2013-04-03 16:14:04] 711*2^1243875-1 is not prime. Res64: 5E1334BFBDB11497 Time : 0.0 sec. user=juhehe [2013-04-03 16:14:51] 951*2^1243874-1 is not prime. Res64: 2AC176DDE0002CB1 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:26:46] 771*2^1243877-1 is not prime. Res64: 4F95E997192A2F08 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:26:47] 867*2^1243877-1 is not prime. Res64: CF5528EEAEA51DD9 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:26:49] 871*2^1243877-1 is not prime. Res64: 6938ED1311D3F112 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:26:50] 705*2^1243878-1 is not prime. Res64: F0AFE99F1707B9A6 Time : 0.0 sec. user=vaughan [2013-04-03 16:41:44] 711*2^1243877-1 is not prime. Res64: D318E2E3DB0CC2C3 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:44:21] 713*2^1243878-1 is not prime. Res64: AE40715F8FB59B05 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:44:22] 861*2^1243878-1 is not prime. Res64: 7CD138314851A384 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:44:22] 893*2^1243878-1 is not prime. Res64: A4FFD86AAAA54974 Time : 0.0 sec. user=mdettweiler [2013-04-03 16:44:23] 921*2^1243878-1 is not prime. Res64: CE7EA1EE2793BF83 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:02:00] 681*2^1243879-1 is not prime. Res64: 921E13A9CBA6AA38 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:02:01] 639*2^1243879-1 is not prime. Res64: 540BD2609703C9A6 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:02:01] 919*2^1243879-1 is not prime. Res64: 49444D7F63AB67FC Time : 0.0 sec. user=mdettweiler [2013-04-03 17:02:02] 943*2^1243879-1 is not prime. Res64: F0E7329A4166315D Time : 0.0 sec. user=vaughan [2013-04-03 17:19:39] 615*2^1243879-1 is not prime. Res64: 487D4648744E6975 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:20:17] 961*2^1243879-1 is not prime. Res64: 417374027B01D512 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:20:18] 973*2^1243879-1 is not prime. Res64: E9052189302613C3 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:20:19] 975*2^1243879-1 is not prime. Res64: C1553B70D191DE9B Time : 0.0 sec. user=mdettweiler [2013-04-03 17:20:19] 677*2^1243880-1 is not prime. Res64: 4B95B41731ABA202 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:37:48] 819*2^1243880-1 is not prime. Res64: BD49C969925E1902 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:37:49] 843*2^1243880-1 is not prime. Res64: 2221913D014F79B4 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:37:50] 879*2^1243880-1 is not prime. Res64: B53DB03B1660BFD1 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:37:50] 917*2^1243880-1 is not prime. Res64: D30082221CB58CE0 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:55:23] 927*2^1243880-1 is not prime. Res64: 152CBF3FCFEF8C62 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:55:24] 959*2^1243880-1 is not prime. Res64: 8133A78D27774B07 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:55:24] 637*2^1243881-1 is not prime. Res64: 6FEBA4B7F2AE47C7 Time : 0.0 sec. user=mdettweiler [2013-04-03 17:55:24] 681*2^1243881-1 is not prime. Res64: 7DBB22F732CE9AF9 Time : 0.0 sec. user=vaughan [2013-04-03 17:57:35] 813*2^1243880-1 is not prime. Res64: 646AC0751BAA8B6B Time : 0.0 sec. user=mdettweiler [2013-04-03 18:12:59] 727*2^1243881-1 is not prime. Res64: B91F4AE6EC2DC866 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:12:59] 685*2^1243881-1 is not prime. Res64: EE46DB08F07B7BEC Time : 0.0 sec. user=mdettweiler [2013-04-03 18:13:00] 847*2^1243881-1 is not prime. Res64: 96F08FB851F5B98C Time : 0.0 sec. user=mdettweiler [2013-04-03 18:13:00] 705*2^1243881-1 is not prime. Res64: 0CE44F9B71C4066C Time : 0.0 sec. user=juhehe [2013-04-03 18:15:20] 735*2^1243880-1 is not prime. Res64: 5557202DEFCBE146 Time : 0.0 sec. user=juhehe [2013-04-03 18:17:29] 747*2^1243880-1 is not prime. Res64: D1AF20A5E076EB22 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:30:37] 997*2^1243881-1 is not prime. Res64: 867609357A9310B4 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:30:37] 633*2^1243882-1 is not prime. Res64: 3F7C867704F66A36 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:30:38] 623*2^1243882-1 is not prime. Res64: EE149977764EE647 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:30:38] 713*2^1243882-1 is not prime. Res64: EC434546AF6903B5 Time : 0.0 sec. user=vaughan [2013-04-03 18:35:27] 907*2^1243881-1 is not prime. Res64: 862748B289CE43FD Time : 0.0 sec. user=mdettweiler [2013-04-03 18:48:09] 791*2^1243882-1 is not prime. Res64: E547C9FC48C939B7 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:48:09] 633*2^1243883-1 is not prime. Res64: F2F3572647B380B8 Time : 0.0 sec. user=mdettweiler [2013-04-03 18:48:09] 881*2^1243882-1 is not prime. Res64: D18BE3309229BB4D Time : 0.0 sec. user=mdettweiler [2013-04-03 18:48:10] 789*2^1243883-1 is not prime. Res64: A07F022211208670 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:05:39] 885*2^1243883-1 is not prime. Res64: ED6F20A333F26638 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:05:40] 985*2^1243883-1 is not prime. Res64: FE90DE34DD9EB29B Time : 0.0 sec. user=mdettweiler [2013-04-03 19:05:41] 675*2^1243884-1 is not prime. Res64: 6F95613B134B20A0 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:05:42] 689*2^1243884-1 is not prime. Res64: 7BCB725B7D5CDEA6 Time : 0.0 sec. user=vaughan [2013-04-03 19:13:17] 855*2^1243883-1 is not prime. Res64: A891B70A579A1167 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:23:19] 723*2^1243884-1 is not prime. Res64: 6D2181D14C101B97 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:23:19] 873*2^1243884-1 is not prime. Res64: C09D9D83A52400DB Time : 0.0 sec. user=mdettweiler [2013-04-03 19:23:21] 923*2^1243884-1 is not prime. Res64: 8279A45DC80F4155 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:23:21] 651*2^1243885-1 is not prime. Res64: 5418A2B08EFA5226 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:40:53] 867*2^1243885-1 is not prime. Res64: 335061F3540115EA Time : 0.0 sec. user=mdettweiler [2013-04-03 19:40:53] 937*2^1243885-1 is not prime. Res64: FA1DFDA6443FA2A5 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:40:54] 999*2^1243885-1 is not prime. Res64: 33203DA75C087866 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:40:54] 923*2^1243886-1 is not prime. Res64: 7BE10D31C7600590 Time : 0.0 sec. user=vaughan [2013-04-03 19:51:09] 661*2^1243885-1 is not prime. Res64: 23CF9288A9E4BC4A Time : 0.0 sec. user=mdettweiler [2013-04-03 19:58:46] 957*2^1243886-1 is not prime. Res64: 4838572C94FE1000 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:58:47] 693*2^1243887-1 is not prime. Res64: 50073D8CABAA4516 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:58:48] 703*2^1243887-1 is not prime. Res64: A387ADB3A92420B0 Time : 0.0 sec. user=mdettweiler [2013-04-03 19:58:48] 859*2^1243887-1 is not prime. Res64: E640ABFC1D476F46 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:16:39] 839*2^1243888-1 is not prime. Res64: B14F4C926FF87BF8 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:16:39] 663*2^1243888-1 is not prime. Res64: 4CC29718FCE4F034 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:16:41] 869*2^1243888-1 is not prime. Res64: 3A30E4148070EBD5 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:16:41] 743*2^1243888-1 is not prime. Res64: 7AA5BBB93F55717C Time : 0.0 sec. user=juhehe [2013-04-03 20:17:38] 759*2^1243885-1 is not prime. Res64: BEBB894651BCCE0B Time : 0.0 sec. user=juhehe [2013-04-03 20:19:22] 805*2^1243885-1 is not prime. Res64: 1FE4A58F5355514A Time : 0.0 sec. user=vaughan [2013-04-03 20:29:01] 919*2^1243887-1 is not prime. Res64: A0C513E7A5264F1C Time : 0.0 sec. user=mdettweiler [2013-04-03 20:34:22] 947*2^1243888-1 is not prime. Res64: AF6AEF83C6F26827 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:34:23] 691*2^1243889-1 is not prime. Res64: 5091F860F3047DA6 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:34:26] 729*2^1243889-1 is not prime. Res64: 9ACFA8E376112CC5 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:34:27] 741*2^1243889-1 is not prime. Res64: E3593184E09A9361 Time : 0.0 sec. user=mdettweiler [2013-04-03 20:51:56] 789*2^1243889-1 is not prime. Res64: 58DC08F33FD1F87C Time : 0.0 sec. user=mdettweiler [2013-04-03 20:51:57] 811*2^1243889-1 is not prime. Res64: 0BCEEB576D5D741A Time : 0.0 sec. user=mdettweiler [2013-04-03 20:52:00] 867*2^1243889-1 is not prime. Res64: 4C3ED76147BB758C Time : 0.0 sec. user=mdettweiler [2013-04-03 20:52:01] 991*2^1243889-1 is not prime. Res64: 9AB17101563D82EF Time : 0.0 sec. user=vaughan [2013-04-03 21:06:54] 787*2^1243889-1 is not prime. Res64: 838EB033F833C8C0 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:09:29] 651*2^1243890-1 is not prime. Res64: 4C0F845D4E7A9D6D Time : 0.0 sec. user=mdettweiler [2013-04-03 21:09:30] 671*2^1243890-1 is not prime. Res64: 2902DA5C26E058C8 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:09:31] 677*2^1243890-1 is not prime. Res64: FAE6EF53E8DB8776 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:09:32] 713*2^1243890-1 is not prime. Res64: 1B6305D9A3E176AA Time : 0.0 sec. user=mdettweiler [2013-04-03 21:27:06] 845*2^1243890-1 is not prime. Res64: 13B764F36A3751B4 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:27:06] 851*2^1243890-1 is not prime. Res64: 3A41CE73E7A4596E Time : 0.0 sec. user=mdettweiler [2013-04-03 21:27:07] 893*2^1243890-1 is not prime. Res64: 54CBC7AD0E765AAC Time : 0.0 sec. user=mdettweiler [2013-04-03 21:27:08] 941*2^1243890-1 is not prime. Res64: 1433ACDB95DC1786 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:44:42] 769*2^1243891-1 is not prime. Res64: A693DAB2D79D140D Time : 0.0 sec. user=mdettweiler [2013-04-03 21:44:43] 609*2^1243892-1 is not prime. Res64: C861A619A087BF60 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:44:43] 843*2^1243891-1 is not prime. Res64: C10B6F6AC85F2729 Time : 0.0 sec. user=mdettweiler [2013-04-03 21:44:44] 669*2^1243892-1 is not prime. Res64: 1F860CD27B47986E Time : 0.0 sec. user=vaughan [2013-04-03 21:44:52] 765*2^1243890-1 is not prime. Res64: 4C6953E275EBF3E3 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:02:19] 677*2^1243892-1 is not prime. Res64: E821BB1C80A6208D Time : 0.0 sec. user=mdettweiler [2013-04-03 22:02:21] 759*2^1243892-1 is not prime. Res64: BC6F9B617DBEB9C2 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:02:22] 767*2^1243892-1 is not prime. Res64: E801671C42EB1727 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:02:23] 837*2^1243892-1 is not prime. Res64: 69F4AEC8B4FF985F Time : 0.0 sec. user=mdettweiler [2013-04-03 22:20:38] 609*2^1243893-1 is not prime. Res64: 0143D2D91FB3F5D6 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:20:39] 759*2^1243893-1 is not prime. Res64: D8B3E1B10C4379B1 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:20:40] 787*2^1243893-1 is not prime. Res64: 0477657DFC98E229 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:20:40] 891*2^1243893-1 is not prime. Res64: AD00E62B8CAA17D9 Time : 0.0 sec. user=juhehe [2013-04-03 22:21:41] 735*2^1243891-1 is not prime. Res64: 53F7D7A5F7D23C9C Time : 0.0 sec. user=vaughan [2013-04-03 22:22:43] 867*2^1243892-1 is not prime. Res64: C88255570E00FC03 Time : 0.0 sec. user=juhehe [2013-04-03 22:26:08] 971*2^1243890-1 is not prime. Res64: C623A473E85587DA Time : 0.0 sec. user=mdettweiler [2013-04-03 22:38:13] 915*2^1243893-1 is not prime. Res64: BD01C7DB933ED91D Time : 0.0 sec. user=mdettweiler [2013-04-03 22:38:14] 833*2^1243894-1 is not prime. Res64: 0402039E14DEC190 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:38:14] 681*2^1243894-1 is not prime. Res64: 181FAFFB297658F3 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:38:14] 887*2^1243894-1 is not prime. Res64: AB8512614930A445 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:56:05] 947*2^1243894-1 is not prime. Res64: 5FD5D685E99D1E90 Time : 0.0 sec. user=mdettweiler [2013-04-03 22:56:06] 619*2^1243895-1 is not prime. Res64: 92A9E417B214563D Time : 0.0 sec. user=mdettweiler [2013-04-03 22:56:07] 651*2^1243895-1 is not prime. Res64: 86BCD08B0817974F Time : 0.0 sec. user=mdettweiler [2013-04-03 22:56:08] 715*2^1243895-1 is not prime. Res64: FC6D6104D4EA817A Time : 0.0 sec. user=vaughan [2013-04-03 23:05:30] 945*2^1243894-1 is not prime. Res64: 99DDB3FBA8DBD40B Time : 0.0 sec. user=mdettweiler [2013-04-03 23:14:20] 771*2^1243895-1 is not prime. Res64: 6FA5E742D6FF233B Time : 0.0 sec. user=mdettweiler [2013-04-03 23:14:21] 909*2^1243895-1 is not prime. Res64: BF6290FD22BEC6D1 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:14:21] 913*2^1243895-1 is not prime. Res64: E286ABCCE4039281 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:14:21] 669*2^1243896-1 is not prime. Res64: DB741F4BEA8B08D9 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:32:01] 839*2^1243896-1 is not prime. Res64: 38D07B8C117B76D2 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:32:02] 879*2^1243896-1 is not prime. Res64: D0D6BC69C67A9000 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:32:02] 777*2^1243897-1 is not prime. Res64: 045B746D182E94B5 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:32:03] 985*2^1243897-1 is not prime. Res64: 1B3B6FF742352A67 Time : 0.0 sec. user=vaughan [2013-04-03 23:43:25] 693*2^1243896-1 is not prime. Res64: 2F743F0318F42A4B Time : 0.0 sec. user=mdettweiler [2013-04-03 23:49:38] 641*2^1243898-1 is not prime. Res64: F3106E6C2D2F26D9 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:49:38] 731*2^1243898-1 is not prime. Res64: 5130497BEE0DC970 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:49:39] 743*2^1243898-1 is not prime. Res64: 926E45DAAD167857 Time : 0.0 sec. user=mdettweiler [2013-04-03 23:49:39] 747*2^1243898-1 is not prime. Res64: 56D802355A9D18BA Time : 0.0 sec.