user=mdettweiler [2012-12-26 00:01:41] 631*2^1238051-1 is not prime. Res64: 0C74D165831D88C3 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:01:41] 805*2^1238051-1 is not prime. Res64: A375606241B50154 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:10:45] 813*2^1238051-1 is not prime. Res64: 29FACAC42EAD70C5 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:10:48] 819*2^1238051-1 is not prime. Res64: 7C7B3BED5C890B7E Time : 0.0 sec. user=mdettweiler [2012-12-26 00:19:01] 981*2^1238051-1 is not prime. Res64: 21BB66240A01C3B0 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:19:02] 669*2^1238052-1 is not prime. Res64: C3F97C062C5F94B2 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:28:24] 873*2^1238052-1 is not prime. Res64: 3F395EFB52116329 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:28:24] 879*2^1238052-1 is not prime. Res64: 00A0854FC50D06FF Time : 0.0 sec. user=vaughan [2012-12-26 00:36:05] 921*2^1238051-1 is not prime. Res64: 42C826B943C0C15F Time : 0.0 sec. user=mdettweiler [2012-12-26 00:36:25] 923*2^1238052-1 is not prime. Res64: 445870D76B6D8942 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:36:26] 987*2^1238052-1 is not prime. Res64: A7376573DE89A177 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:46:22] 625*2^1238053-1 is not prime. Res64: 9EA91E179E59F903 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:46:23] 649*2^1238053-1 is not prime. Res64: 3F256C878D9D614E Time : 0.0 sec. user=mdettweiler [2012-12-26 00:54:32] 757*2^1238053-1 is not prime. Res64: BA1F38A30B020E59 Time : 0.0 sec. user=mdettweiler [2012-12-26 00:54:33] 765*2^1238053-1 is not prime. Res64: 0C6CEB249496A8E2 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:03:54] 867*2^1238053-1 is not prime. Res64: 6D256DA7C701666B Time : 0.0 sec. user=mdettweiler [2012-12-26 01:03:55] 885*2^1238053-1 is not prime. Res64: 9ECB7C64DB56D242 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:11:53] 919*2^1238053-1 is not prime. Res64: 273483C34C3915A8 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:11:53] 937*2^1238053-1 is not prime. Res64: 5DD85418B47E73AF Time : 0.0 sec. user=vaughan [2012-12-26 01:13:52] 751*2^1238053-1 is not prime. Res64: E482CB6B2FD28754 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:21:20] 663*2^1238054-1 is not prime. Res64: BEABB2082782E5BD Time : 0.0 sec. user=mdettweiler [2012-12-26 01:21:21] 671*2^1238054-1 is not prime. Res64: 3E1E2B8655A36C28 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:29:22] 683*2^1238054-1 is not prime. Res64: F2A5DB9343E1D44D Time : 0.0 sec. user=mdettweiler [2012-12-26 01:29:23] 693*2^1238054-1 is not prime. Res64: 44956C7E072A915C Time : 0.0 sec. user=mdettweiler [2012-12-26 01:38:42] 885*2^1238054-1 is not prime. Res64: 6FBD9770FA48E0C6 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:38:42] 669*2^1238055-1 is not prime. Res64: 079D3281B1F8BBF2 Time : 0.0 sec. user=vaughan [2012-12-26 01:51:40] 707*2^1238054-1 is not prime. Res64: 49444DC04683F9A3 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:56:01] 741*2^1238055-1 is not prime. Res64: C1CA2EFFFA38A5B5 Time : 0.0 sec. user=mdettweiler [2012-12-26 01:56:02] 891*2^1238055-1 is not prime. Res64: 3D364B2D7F53EBA5 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:07:25] 705*2^1238055-1 is not prime. Res64: 009F2A8E5E955D75 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:07:26] 709*2^1238055-1 is not prime. Res64: 336F3EFCC40C36E9 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:13:21] 985*2^1238055-1 is not prime. Res64: 0B75C850B22734D3 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:13:22] 689*2^1238056-1 is not prime. Res64: 7436A4A10BEE3739 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:24:56] 857*2^1238056-1 is not prime. Res64: E95E0CEC126DA626 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:24:56] 957*2^1238056-1 is not prime. Res64: 46EA02E4029A2D5E Time : 0.0 sec. user=vaughan [2012-12-26 02:29:29] 919*2^1238055-1 is not prime. Res64: FCDA3BE6B09E8945 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:30:46] 631*2^1238057-1 is not prime. Res64: 47FC5B3BCAFFEE3E Time : 0.0 sec. user=mdettweiler [2012-12-26 02:30:51] 727*2^1238057-1 is not prime. Res64: 10A5277A739AE6AB Time : 0.0 sec. user=mdettweiler [2012-12-26 02:42:17] 741*2^1238057-1 is not prime. Res64: 1037B4C3DB7B9936 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:42:18] 795*2^1238057-1 is not prime. Res64: 8E886A0E6ACC8B06 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:48:18] 871*2^1238057-1 is not prime. Res64: 1739BAAC3A882134 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:48:20] 901*2^1238057-1 is not prime. Res64: DD68E0D84301E9BD Time : 0.0 sec. user=mdettweiler [2012-12-26 02:59:47] 909*2^1238057-1 is not prime. Res64: CD9911CE02737BB4 Time : 0.0 sec. user=mdettweiler [2012-12-26 02:59:48] 937*2^1238057-1 is not prime. Res64: 3A893122EFBB2A01 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:05:43] 991*2^1238057-1 is not prime. Res64: 1870D0D9074FE2B5 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:05:45] 605*2^1238058-1 is not prime. Res64: 242182460D53A9F1 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:17:09] 663*2^1238058-1 is not prime. Res64: F877710AF6AD1B5D Time : 0.0 sec. user=mdettweiler [2012-12-26 03:17:09] 777*2^1238058-1 is not prime. Res64: 4DF6781DF6788334 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:23:06] 881*2^1238058-1 is not prime. Res64: 6D264EEDFFFC039C Time : 0.0 sec. user=mdettweiler [2012-12-26 03:23:07] 615*2^1238059-1 is not prime. Res64: E5A79E8D88134E55 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:34:31] 709*2^1238059-1 is not prime. Res64: D36BF7253ACE5ED1 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:34:33] 735*2^1238059-1 is not prime. Res64: 15AB63AD74C4A608 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:40:26] 793*2^1238059-1 is not prime. Res64: 6D601FC47F365E2C Time : 0.0 sec. user=mdettweiler [2012-12-26 03:40:28] 909*2^1238059-1 is not prime. Res64: FB30D82A518DE3B6 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:52:07] 939*2^1238059-1 is not prime. Res64: 481D918F0BC49DDC Time : 0.0 sec. user=mdettweiler [2012-12-26 03:52:08] 985*2^1238059-1 is not prime. Res64: 8AA4FDF4CEA0B0A4 Time : 0.0 sec. user=mdettweiler [2012-12-26 03:58:12] 609*2^1238060-1 is not prime. Res64: 6C36FA36D6A50F8C Time : 0.0 sec. user=mdettweiler [2012-12-26 03:58:13] 677*2^1238060-1 is not prime. Res64: EF8245989D00A1AD Time : 0.0 sec. user=mdettweiler [2012-12-26 04:09:29] 795*2^1238060-1 is not prime. Res64: 684EBF66DCB7541E Time : 0.0 sec. user=mdettweiler [2012-12-26 04:09:30] 857*2^1238060-1 is not prime. Res64: AC4985B82133E1E3 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:15:37] 963*2^1238060-1 is not prime. Res64: AB30B1C77A5A0158 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:15:38] 987*2^1238060-1 is not prime. Res64: 1E4DFE21DA4C6958 Time : 0.0 sec. user=vaughan [2012-12-26 04:18:52] 865*2^1238057-1 is not prime. Res64: 524A821BA10E7B89 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:26:52] 625*2^1238061-1 is not prime. Res64: 19E0ADB235BF2867 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:26:53] 661*2^1238061-1 is not prime. Res64: E6C30AFED0BF4C3A Time : 0.0 sec. user=mdettweiler [2012-12-26 04:32:59] 741*2^1238061-1 is not prime. Res64: 78DA2909B330F54A Time : 0.0 sec. user=mdettweiler [2012-12-26 04:33:00] 751*2^1238061-1 is not prime. Res64: 965ED5F2EC17FB8C Time : 0.0 sec. user=mdettweiler [2012-12-26 04:44:17] 997*2^1238061-1 is not prime. Res64: 38DEF0FA8D825898 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:44:17] 623*2^1238062-1 is not prime. Res64: FDFCCF5C0B03FC08 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:50:21] 741*2^1238062-1 is not prime. Res64: C097CE8154EE9E99 Time : 0.0 sec. user=mdettweiler [2012-12-26 04:50:22] 791*2^1238062-1 is not prime. Res64: 12F16877E0AE5ABD Time : 0.0 sec. user=vaughan [2012-12-26 04:56:50] 979*2^1238061-1 is not prime. Res64: 026FE941009C5F27 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:01:41] 833*2^1238062-1 is not prime. Res64: 699A25B7909FD2B1 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:01:42] 843*2^1238062-1 is not prime. Res64: E248653859F95149 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:07:44] 891*2^1238062-1 is not prime. Res64: 29743C60B5EC55DD Time : 0.0 sec. user=mdettweiler [2012-12-26 05:07:47] 995*2^1238062-1 is not prime. Res64: D96F1EFA177E2919 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:19:02] 619*2^1238063-1 is not prime. Res64: 1ADD5E2E38FDB7A6 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:19:02] 663*2^1238063-1 is not prime. Res64: 3DB9349A494BE07E Time : 0.0 sec. user=mdettweiler [2012-12-26 05:25:11] 789*2^1238063-1 is not prime. Res64: 8E2F62B38E741ACA Time : 0.0 sec. user=mdettweiler [2012-12-26 05:25:12] 805*2^1238063-1 is not prime. Res64: 7219A707E97C386E Time : 0.0 sec. user=vaughan [2012-12-26 05:34:37] 609*2^1238063-1 is not prime. Res64: 9AA2FFB165E73078 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:36:24] 825*2^1238063-1 is not prime. Res64: 24110ED65B3ED035 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:36:24] 955*2^1238063-1 is not prime. Res64: DEE9B28643BCBB25 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:42:31] 683*2^1238064-1 is not prime. Res64: 3D7B64E43A5540A7 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:42:31] 707*2^1238064-1 is not prime. Res64: D1D446CC3C103F85 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:53:47] 875*2^1238064-1 is not prime. Res64: 3E1E5478FE5B6D54 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:53:48] 929*2^1238064-1 is not prime. Res64: 3FB31FA2C6CAADFA Time : 0.0 sec. user=mdettweiler [2012-12-26 05:59:51] 765*2^1238065-1 is not prime. Res64: 033ED752F5514D51 Time : 0.0 sec. user=mdettweiler [2012-12-26 05:59:52] 867*2^1238065-1 is not prime. Res64: A934A1040CDBF1CB Time : 0.0 sec. user=mdettweiler [2012-12-26 06:11:09] 741*2^1238066-1 is not prime. Res64: 7759886489E5598B Time : 0.0 sec. user=mdettweiler [2012-12-26 06:11:13] 875*2^1238066-1 is not prime. Res64: E3960CE4CC1628D1 Time : 0.0 sec. user=vaughan [2012-12-26 06:12:26] 723*2^1238064-1 is not prime. Res64: DCB988AC6BB06913 Time : 0.0 sec. user=mdettweiler [2012-12-26 06:17:12] 893*2^1238066-1 is not prime. Res64: ABBD1CD98998409E Time : 0.0 sec. user=mdettweiler [2012-12-26 06:17:13] 917*2^1238066-1 is not prime. Res64: 59883838890A539B Time : 0.0 sec. user=mdettweiler [2012-12-26 06:28:52] 963*2^1238066-1 is not prime. Res64: FAE216CDE35582C4 Time : 0.0 sec. user=mdettweiler [2012-12-26 06:28:52] 781*2^1238067-1 is not prime. Res64: D6C5DC5DD12C5C24 Time : 0.0 sec. user=mdettweiler [2012-12-26 06:34:32] 829*2^1238067-1 is not prime. Res64: 20634BCE9B8B0DCA Time : 0.0 sec. user=mdettweiler [2012-12-26 06:34:33] 909*2^1238067-1 is not prime. Res64: 84565AA571441962 Time : 0.0 sec. user=mdettweiler [2012-12-26 06:46:13] 945*2^1238067-1 is not prime. Res64: 4929F09D1647ED7B Time : 0.0 sec. user=mdettweiler [2012-12-26 06:46:14] 961*2^1238067-1 is not prime. Res64: 44BF88022967DBAC Time : 0.0 sec. user=vaughan [2012-12-26 06:50:16] 795*2^1238067-1 is not prime. Res64: F459EA681CA8DE50 Time : 0.0 sec. user=mdettweiler [2012-12-26 06:51:54] 839*2^1238068-1 is not prime. Res64: 6889A2B72DB33F6C Time : 0.0 sec. user=mdettweiler [2012-12-26 06:51:55] 843*2^1238068-1 is not prime. Res64: A1EAB3ACEC28C7A0 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:03:33] 969*2^1238068-1 is not prime. Res64: 6B19F697FED452DD Time : 0.0 sec. user=mdettweiler [2012-12-26 07:03:35] 615*2^1238069-1 is not prime. Res64: 950A8905BF176036 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:09:16] 645*2^1238069-1 is not prime. Res64: 1E3C85EDCABB8B53 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:09:19] 727*2^1238069-1 is not prime. Res64: 0B7C72FC66D9D321 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:20:56] 729*2^1238069-1 is not prime. Res64: C4569BFF1FA3228E Time : 0.0 sec. user=mdettweiler [2012-12-26 07:20:57] 775*2^1238069-1 is not prime. Res64: E2DFD919BF4DBF91 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:26:56] 865*2^1238069-1 is not prime. Res64: C42F5328FB60B500 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:26:56] 889*2^1238069-1 is not prime. Res64: D5ECF622CD2E3E66 Time : 0.0 sec. user=vaughan [2012-12-26 07:28:03] 619*2^1238069-1 is not prime. Res64: EA274F4AE460EFF2 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:38:17] 957*2^1238069-1 is not prime. Res64: DF2E6479D6684DBD Time : 0.0 sec. user=mdettweiler [2012-12-26 07:38:17] 991*2^1238069-1 is not prime. Res64: A365C33B95054B6D Time : 0.0 sec. user=mdettweiler [2012-12-26 07:44:17] 713*2^1238070-1 is not prime. Res64: 24EC380274636DE4 Time : 0.0 sec. user=mdettweiler [2012-12-26 07:44:17] 765*2^1238070-1 is not prime. Res64: 574023D74642D31D Time : 0.0 sec. user=mdettweiler [2012-12-26 07:55:36] 821*2^1238070-1 is not prime. Res64: AB1508A6DA10317E Time : 0.0 sec. user=mdettweiler [2012-12-26 07:55:37] 851*2^1238070-1 is not prime. Res64: D3D685D83B1C7647 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:01:36] 863*2^1238070-1 is not prime. Res64: CA814BAC158EF196 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:01:37] 927*2^1238070-1 is not prime. Res64: AE2AE4C3141E1323 Time : 0.0 sec. user=vaughan [2012-12-26 08:05:49] 797*2^1238070-1 is not prime. Res64: 0DD63DED2C9CC864 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:12:56] 741*2^1238071-1 is not prime. Res64: F0097538392615ED Time : 0.0 sec. user=mdettweiler [2012-12-26 08:12:57] 789*2^1238071-1 is not prime. Res64: C16242F094E05F4E Time : 0.0 sec. user=mdettweiler [2012-12-26 08:18:58] 725*2^1238072-1 is not prime. Res64: 9AB6EC34E67B8C92 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:18:58] 785*2^1238072-1 is not prime. Res64: BCFEB19785BA14C1 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:30:43] 825*2^1238072-1 is not prime. Res64: 5BD3C8ED0276A095 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:30:43] 929*2^1238072-1 is not prime. Res64: D460C3B27FCEA6BB Time : 0.0 sec. user=mdettweiler [2012-12-26 08:38:39] 963*2^1238072-1 is not prime. Res64: 2BDFB648F82AA138 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:38:40] 977*2^1238072-1 is not prime. Res64: C4DB889C54AAEDF5 Time : 0.0 sec. user=vaughan [2012-12-26 08:43:39] 803*2^1238072-1 is not prime. Res64: B3ADA9E94E39AB1E Time : 0.0 sec. user=mdettweiler [2012-12-26 08:48:45] 627*2^1238073-1 is not prime. Res64: 38ADF47AC166D0C3 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:48:45] 921*2^1238073-1 is not prime. Res64: 3D3443899956210F Time : 0.0 sec. user=mdettweiler [2012-12-26 08:57:29] 987*2^1238073-1 is not prime. Res64: FBFEC27644948861 Time : 0.0 sec. user=mdettweiler [2012-12-26 08:57:29] 611*2^1238074-1 is not prime. Res64: FF10AA792D91AD30 Time : 0.0 sec. user=mdettweiler [2012-12-26 09:06:08] 677*2^1238074-1 is not prime. Res64: 5FDC46B8B2A3EB63 Time : 0.0 sec. user=mdettweiler [2012-12-26 09:06:10] 773*2^1238074-1 is not prime. Res64: DA3AE554387D4763 Time : 0.0 sec. user=mdettweiler [2012-12-26 09:14:48] 827*2^1238074-1 is not prime. Res64: 942BD468D451DC2D Time : 0.0 sec. user=mdettweiler [2012-12-26 09:14:49] 861*2^1238074-1 is not prime. Res64: 67A46F36537731A1 Time : 0.0 sec. user=vaughan [2012-12-26 09:21:29] 623*2^1238074-1 is not prime. Res64: FDAE68900000450F Time : 0.0 sec. user=mdettweiler [2012-12-26 09:23:52] 885*2^1238074-1 is not prime. Res64: 72A0602EABF5E769 Time : 0.0 sec. user=mdettweiler [2012-12-26 09:23:53] 975*2^1238074-1 is not prime. Res64: E24B3445CAFF003C Time : 0.0 sec. user=mdettweiler [2012-12-26 09:32:10] 651*2^1238075-1 is not prime. Res64: BA076120BB12DA27 Time : 0.0 sec. user=mdettweiler [2012-12-26 09:32:11] 675*2^1238075-1 is not prime. Res64: 6ABE85135486D9CE Time : 0.0 sec. user=mdettweiler [2012-12-26 09:41:11] 825*2^1238075-1 is not prime. Res64: 9F4B0BC731B8856B Time : 0.0 sec. user=mdettweiler [2012-12-26 09:41:11] 859*2^1238075-1 is not prime. Res64: 9251D1BC4EB55D6A Time : 0.0 sec. user=mdettweiler [2012-12-26 09:49:30] 861*2^1238075-1 is not prime. Res64: 88082C831DEA907C Time : 0.0 sec. user=mdettweiler [2012-12-26 09:49:31] 871*2^1238075-1 is not prime. Res64: 9773CA7DFA08577F Time : 0.0 sec. user=mdettweiler [2012-12-26 09:58:31] 883*2^1238075-1 is not prime. Res64: C75649995BFEE7A2 Time : 0.0 sec. user=mdettweiler [2012-12-26 09:58:31] 999*2^1238075-1 is not prime. Res64: D98C843D8BB2E704 Time : 0.0 sec. user=vaughan [2012-12-26 09:59:20] 799*2^1238075-1 is not prime. Res64: 70D82BFD9C9EB106 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:06:50] 695*2^1238076-1 is not prime. Res64: 400A0B0303347A81 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:06:51] 707*2^1238076-1 is not prime. Res64: AFE8E77ABBE29286 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:15:50] 767*2^1238076-1 is not prime. Res64: 3ADFD5D31AC7643E Time : 0.0 sec. user=mdettweiler [2012-12-26 10:15:51] 803*2^1238076-1 is not prime. Res64: F739098B1C6B7AAF Time : 0.0 sec. user=mdettweiler [2012-12-26 10:24:25] 993*2^1238076-1 is not prime. Res64: E127A5664A8133F9 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:24:26] 717*2^1238077-1 is not prime. Res64: 4485570355119071 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:33:10] 799*2^1238077-1 is not prime. Res64: E354FC685BB6817C Time : 0.0 sec. user=mdettweiler [2012-12-26 10:33:11] 849*2^1238077-1 is not prime. Res64: 58B7EDD9EAE802D7 Time : 0.0 sec. user=vaughan [2012-12-26 10:37:12] 845*2^1238076-1 is not prime. Res64: 1609FE8BF8030E18 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:41:45] 919*2^1238077-1 is not prime. Res64: 9CC23306DD008BC6 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:41:46] 605*2^1238078-1 is not prime. Res64: 351E342519699809 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:50:30] 663*2^1238078-1 is not prime. Res64: C4650CCC98945260 Time : 0.0 sec. user=mdettweiler [2012-12-26 10:50:30] 693*2^1238078-1 is not prime. Res64: ED30A84D1AB1276B Time : 0.0 sec. user=mdettweiler [2012-12-26 10:59:07] 825*2^1238078-1 is not prime. Res64: 9FE520B4E5294E6D Time : 0.0 sec. user=mdettweiler [2012-12-26 10:59:07] 827*2^1238078-1 is not prime. Res64: E564D0097357BA27 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:07:52] 923*2^1238078-1 is not prime. Res64: F34021D6F01AD7C0 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:07:56] 945*2^1238078-1 is not prime. Res64: E24A137C6CB436C5 Time : 0.0 sec. user=vaughan [2012-12-26 11:14:58] 773*2^1238078-1 is not prime. Res64: D951132BBC8EFD94 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:16:32] 963*2^1238078-1 is not prime. Res64: F093F4B3B311CF3C Time : 0.0 sec. user=mdettweiler [2012-12-26 11:16:33] 977*2^1238078-1 is not prime. Res64: 1E267D18D0671FDB Time : 0.0 sec. user=mdettweiler [2012-12-26 11:25:40] 1001*2^1238078-1 is not prime. Res64: 6E0123B214E10EB9 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:25:41] 669*2^1238079-1 is not prime. Res64: B6C985297E5CAF40 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:34:05] 763*2^1238079-1 is not prime. Res64: 24B4F9CD73CE2F9C Time : 0.0 sec. user=mdettweiler [2012-12-26 11:34:06] 825*2^1238079-1 is not prime. Res64: 9886AA8A7904FAC6 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:43:06] 859*2^1238079-1 is not prime. Res64: 6790C7D943E26B70 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:43:07] 645*2^1238080-1 is not prime. Res64: 0E7E7EBC94C9DA59 Time : 0.0 sec. user=mdettweiler [2012-12-26 11:51:33] 665*2^1238080-1 is not prime. Res64: A91C343D8E05DE4D Time : 0.0 sec. user=mdettweiler [2012-12-26 11:51:33] 863*2^1238080-1 is not prime. Res64: 89399A73DE4A1488 Time : 0.0 sec. user=vaughan [2012-12-26 11:52:48] 745*2^1238079-1 is not prime. Res64: B3EBBE85047DC738 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:00:37] 957*2^1238080-1 is not prime. Res64: B618EA8B9524C851 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:00:38] 645*2^1238081-1 is not prime. Res64: 2DA35569B59E7943 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:09:08] 865*2^1238081-1 is not prime. Res64: 0CEBD05E89689090 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:09:10] 879*2^1238081-1 is not prime. Res64: 8AB9DD8C841DF843 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:18:07] 987*2^1238081-1 is not prime. Res64: 80C560E91CE51E34 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:18:09] 653*2^1238082-1 is not prime. Res64: 3016EB12C1E8520E Time : 0.0 sec. user=mdettweiler [2012-12-26 12:26:39] 717*2^1238082-1 is not prime. Res64: B82DA01458D8FE18 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:26:40] 737*2^1238082-1 is not prime. Res64: 87E7B0E5196FFBC1 Time : 0.0 sec. user=vaughan [2012-12-26 12:30:38] 945*2^1238081-1 is not prime. Res64: 0DE140D30211AD5E Time : 0.0 sec. user=mdettweiler [2012-12-26 12:35:41] 915*2^1238082-1 is not prime. Res64: B5A709DAD6D3D6A5 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:35:42] 977*2^1238082-1 is not prime. Res64: 94AD440AC23E9813 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:44:06] 603*2^1238083-1 is not prime. Res64: 8E295DC830CD9412 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:44:07] 615*2^1238083-1 is not prime. Res64: F3BCDEDFD7D95676 Time : 0.0 sec. user=mdettweiler [2012-12-26 12:53:04] 745*2^1238083-1 is not prime. Res64: 2DE95B372A0176FE Time : 0.0 sec. user=mdettweiler [2012-12-26 12:53:04] 853*2^1238083-1 is not prime. Res64: C5D14479F0B860B5 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:01:34] 919*2^1238083-1 is not prime. Res64: ED39E7FE48F41103 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:01:37] 683*2^1238084-1 is not prime. Res64: 604A73FF9D35F644 Time : 0.0 sec. user=vaughan [2012-12-26 13:08:25] 741*2^1238083-1 is not prime. Res64: 98557D70F4E8FFB4 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:10:36] 743*2^1238084-1 is not prime. Res64: 45A07D2B4F6D6F84 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:10:38] 749*2^1238084-1 is not prime. Res64: 3E2CE86762EB36BC Time : 0.0 sec. user=mdettweiler [2012-12-26 13:19:10] 837*2^1238084-1 is not prime. Res64: 6EAA2B2B77B5645B Time : 0.0 sec. user=mdettweiler [2012-12-26 13:19:10] 639*2^1238085-1 is not prime. Res64: A3AA0565E9ABFE0F Time : 0.0 sec. user=mdettweiler [2012-12-26 13:28:11] 699*2^1238085-1 is not prime. Res64: 7297C8587964AFAA Time : 0.0 sec. user=mdettweiler [2012-12-26 13:28:11] 717*2^1238085-1 is not prime. Res64: 5D5E2D1B1F1CE00A Time : 0.0 sec. user=mdettweiler [2012-12-26 13:36:40] 817*2^1238085-1 is not prime. Res64: DD48647BB10E9E61 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:36:41] 657*2^1238086-1 is not prime. Res64: A2D5973F34630C4E Time : 0.0 sec. user=mdettweiler [2012-12-26 13:45:36] 695*2^1238086-1 is not prime. Res64: DE132391EF67E5B7 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:45:37] 813*2^1238086-1 is not prime. Res64: 26EB0289544C7F90 Time : 0.0 sec. user=vaughan [2012-12-26 13:46:36] 669*2^1238085-1 is not prime. Res64: 6EFD2C58BBA4B008 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:54:06] 873*2^1238086-1 is not prime. Res64: A62CB83D67C34451 Time : 0.0 sec. user=mdettweiler [2012-12-26 13:54:07] 887*2^1238086-1 is not prime. Res64: B7BC1712546ECDD4 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:03:02] 987*2^1238086-1 is not prime. Res64: 06DFDF4B033E6498 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:03:03] 715*2^1238087-1 is not prime. Res64: B7DDCE03D3F2099E Time : 0.0 sec. user=mdettweiler [2012-12-26 14:11:32] 813*2^1238087-1 is not prime. Res64: E6FFA224B0CA41E7 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:11:35] 973*2^1238087-1 is not prime. Res64: A8F61C6CF1821DB3 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:20:30] 991*2^1238087-1 is not prime. Res64: 8BD0266F297A0A22 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:20:30] 627*2^1238088-1 is not prime. Res64: F8E8BF37A076DF02 Time : 0.0 sec. user=vaughan [2012-12-26 14:24:23] 759*2^1238087-1 is not prime. Res64: 0E44E2BF1B012DE9 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:29:15] 669*2^1238088-1 is not prime. Res64: FB6C98FF528FA295 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:29:16] 795*2^1238088-1 is not prime. Res64: 9CBE395CBB47DA5B Time : 0.0 sec. user=mdettweiler [2012-12-26 14:38:04] 815*2^1238088-1 is not prime. Res64: E52C8CD093339EED Time : 0.0 sec. user=mdettweiler [2012-12-26 14:38:05] 839*2^1238088-1 is not prime. Res64: A8D78D435A9F0C7A Time : 0.0 sec. user=mdettweiler [2012-12-26 14:46:59] 855*2^1238089-1 is not prime. Res64: 027BD4912F548D2B Time : 0.0 sec. user=mdettweiler [2012-12-26 14:47:00] 909*2^1238089-1 is not prime. Res64: D306A6750DD27F43 Time : 0.0 sec. user=mdettweiler [2012-12-26 14:55:54] 931*2^1238089-1 is not prime. Res64: 45BCDEDB4A6B6DFF Time : 0.0 sec. user=mdettweiler [2012-12-26 14:55:54] 985*2^1238089-1 is not prime. Res64: EA1AE1B9DF999A4D Time : 0.0 sec. user=vaughan [2012-12-26 15:02:14] 977*2^1238088-1 is not prime. Res64: 853B2A8FCB68C2D4 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:04:53] 633*2^1238090-1 is not prime. Res64: 218A99EA23CD9D46 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:04:54] 651*2^1238090-1 is not prime. Res64: A2B0ED2887DC4213 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:13:44] 713*2^1238090-1 is not prime. Res64: 3F0D36EB096EE298 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:13:44] 731*2^1238090-1 is not prime. Res64: B53BBCBA9FAA1ADE Time : 0.0 sec. user=mdettweiler [2012-12-26 15:22:45] 845*2^1238090-1 is not prime. Res64: 35F4E101F9EB36DB Time : 0.0 sec. user=mdettweiler [2012-12-26 15:22:45] 893*2^1238090-1 is not prime. Res64: 318D82405EE35443 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:31:36] 977*2^1238090-1 is not prime. Res64: 7BA9386C9FE47A9E Time : 0.0 sec. user=mdettweiler [2012-12-26 15:31:36] 1001*2^1238090-1 is not prime. Res64: 6AD7E25EAB7C00D8 Time : 0.0 sec. user=vaughan [2012-12-26 15:40:02] 831*2^1238090-1 is not prime. Res64: 1D1FC4A8B48E6E9F Time : 0.0 sec. user=mdettweiler [2012-12-26 15:40:34] 735*2^1238091-1 is not prime. Res64: 805DD6EC99E5B443 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:40:34] 741*2^1238091-1 is not prime. Res64: 04E3D97B7C10494A Time : 0.0 sec. user=mdettweiler [2012-12-26 15:49:31] 801*2^1238091-1 is not prime. Res64: 45463BBB0E509020 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:49:31] 861*2^1238091-1 is not prime. Res64: 3509EF01AB509E7D Time : 0.0 sec. user=mdettweiler [2012-12-26 15:58:24] 903*2^1238091-1 is not prime. Res64: 4A36EB917963DFB4 Time : 0.0 sec. user=mdettweiler [2012-12-26 15:58:24] 909*2^1238091-1 is not prime. Res64: ECE9DCE9B111D787 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:07:22] 921*2^1238091-1 is not prime. Res64: 25A6160D4222C9D2 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:07:23] 955*2^1238091-1 is not prime. Res64: 0EC11506C2BC5BE8 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:16:16] 603*2^1238092-1 is not prime. Res64: 0FF9E08A56D1AF62 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:16:16] 639*2^1238092-1 is not prime. Res64: 519681E595FBD7BF Time : 0.0 sec. user=vaughan [2012-12-26 16:17:50] 871*2^1238091-1 is not prime. Res64: 42C325F38B491EDE Time : 0.0 sec. user=mdettweiler [2012-12-26 16:25:31] 705*2^1238092-1 is not prime. Res64: 6C995554303CC4CC Time : 0.0 sec. user=mdettweiler [2012-12-26 16:25:31] 929*2^1238092-1 is not prime. Res64: C0FCE3F43300A7D4 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:34:20] 959*2^1238092-1 is not prime. Res64: 48F272DBF93F6AE3 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:34:20] 621*2^1238093-1 is not prime. Res64: C52648478C800F4C Time : 0.0 sec. user=mdettweiler [2012-12-26 16:43:29] 771*2^1238093-1 is not prime. Res64: 6D3C8F6C28889CD2 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:43:30] 879*2^1238093-1 is not prime. Res64: 997342CF7BDBF449 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:52:15] 889*2^1238093-1 is not prime. Res64: 048EDE4E5766ACE4 Time : 0.0 sec. user=mdettweiler [2012-12-26 16:52:15] 615*2^1238094-1 is not prime. Res64: B6394ED3E6B5E76B Time : 0.0 sec. user=vaughan [2012-12-26 16:55:36] 741*2^1238093-1 is not prime. Res64: 066D36295E92127C Time : 0.0 sec. user=mdettweiler [2012-12-26 17:01:19] 773*2^1238094-1 is not prime. Res64: 388796DD0913A5DD Time : 0.0 sec. user=mdettweiler [2012-12-26 17:01:20] 807*2^1238094-1 is not prime. Res64: B7BDA83BF5B48B60 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:10:05] 825*2^1238094-1 is not prime. Res64: CEB50096F3231C1E Time : 0.0 sec. user=mdettweiler [2012-12-26 17:10:08] 945*2^1238094-1 is not prime. Res64: BE2EB64F855A6408 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:19:11] 957*2^1238094-1 is not prime. Res64: 16F2108AE2E7B204 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:19:11] 709*2^1238095-1 is not prime. Res64: 09C75537D0E2F6A2 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:28:08] 933*2^1238095-1 is not prime. Res64: 966419CC8F84A27C Time : 0.0 sec. user=mdettweiler [2012-12-26 17:28:09] 603*2^1238096-1 is not prime. Res64: 3D6C8A6269FBC4CE Time : 0.0 sec. user=vaughan [2012-12-26 17:33:22] 947*2^1238094-1 is not prime. Res64: 2713042A831E9C63 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:36:59] 699*2^1238096-1 is not prime. Res64: 56DA1F306570B839 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:36:59] 945*2^1238096-1 is not prime. Res64: 6603F15123D02352 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:45:59] 999*2^1238096-1 is not prime. Res64: 15EB07F7C9439568 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:45:59] 649*2^1238097-1 is not prime. Res64: 4BDEB2B6F8A867C8 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:54:40] 835*2^1238097-1 is not prime. Res64: 91473D7AB1326D53 Time : 0.0 sec. user=mdettweiler [2012-12-26 17:54:40] 847*2^1238097-1 is not prime. Res64: D8CC28A358A2B0D0 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:03:30] 909*2^1238097-1 is not prime. Res64: 86850122F6CA7AE2 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:03:32] 937*2^1238097-1 is not prime. Res64: 769E6A75BBF9E30B Time : 0.0 sec. user=vaughan [2012-12-26 18:11:10] 727*2^1238097-1 is not prime. Res64: 8B52CF2D3101C76B Time : 0.0 sec. user=mdettweiler [2012-12-26 18:12:10] 949*2^1238097-1 is not prime. Res64: 18CA2F2D7EAA339E Time : 0.0 sec. user=mdettweiler [2012-12-26 18:12:10] 955*2^1238097-1 is not prime. Res64: 3565611FA0991F48 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:21:20] 813*2^1238098-1 is not prime. Res64: 6BF7685519966222 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:21:20] 831*2^1238098-1 is not prime. Res64: 11FCB7199CE40631 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:29:47] 987*2^1238098-1 is not prime. Res64: C25D468A4E5107A6 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:29:48] 615*2^1238099-1 is not prime. Res64: EB905514D23B7AB5 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:38:56] 655*2^1238099-1 is not prime. Res64: E2B8C4778A651D17 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:38:56] 711*2^1238099-1 is not prime. Res64: F69F408C9CCC937B Time : 0.0 sec. user=mdettweiler [2012-12-26 18:47:27] 735*2^1238099-1 is not prime. Res64: 564876A5B6FA4E18 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:47:27] 813*2^1238099-1 is not prime. Res64: A05906BC9D57DEFE Time : 0.0 sec. user=vaughan [2012-12-26 18:49:07] 885*2^1238098-1 is not prime. Res64: C40DA6AB471B8A70 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:56:27] 883*2^1238099-1 is not prime. Res64: F859AF443053B375 Time : 0.0 sec. user=mdettweiler [2012-12-26 18:56:27] 939*2^1238099-1 is not prime. Res64: 135221BD3996B8ED Time : 0.0 sec. user=mdettweiler [2012-12-26 19:04:53] 955*2^1238099-1 is not prime. Res64: 1D4DED880FAA64D9 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:04:55] 979*2^1238099-1 is not prime. Res64: 5479A0A29278D61A Time : 0.0 sec. user=mdettweiler [2012-12-26 19:13:48] 635*2^1238100-1 is not prime. Res64: 992F652308FA00A3 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:13:48] 723*2^1238100-1 is not prime. Res64: 6B472A2D534F7B8D Time : 0.0 sec. user=mdettweiler [2012-12-26 19:22:39] 725*2^1238100-1 is not prime. Res64: 02EF9C0BF7C3A79E Time : 0.0 sec. user=mdettweiler [2012-12-26 19:22:39] 765*2^1238100-1 is not prime. Res64: 059E1E71BBAB4795 Time : 0.0 sec. user=vaughan [2012-12-26 19:26:54] 615*2^1238100-1 is not prime. Res64: 48A42199EDD40264 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:31:31] 773*2^1238100-1 is not prime. Res64: E64E18956522A871 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:31:32] 909*2^1238100-1 is not prime. Res64: 406D0E96DF0137A4 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:40:19] 607*2^1238101-1 is not prime. Res64: B3AD04EEACE985AB Time : 0.0 sec. user=mdettweiler [2012-12-26 19:40:19] 621*2^1238101-1 is not prime. Res64: B5340E1DF65E63BA Time : 0.0 sec. user=mdettweiler [2012-12-26 19:49:05] 789*2^1238101-1 is not prime. Res64: 88E261FC9B896860 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:49:05] 861*2^1238101-1 is not prime. Res64: C69FAF245023A96A Time : 0.0 sec. user=mdettweiler [2012-12-26 19:58:06] 987*2^1238101-1 is not prime. Res64: 72C52CDC29424591 Time : 0.0 sec. user=mdettweiler [2012-12-26 19:58:07] 623*2^1238102-1 is not prime. Res64: AD72FE894293035E Time : 0.0 sec. user=vaughan [2012-12-26 20:04:43] 769*2^1238101-1 is not prime. Res64: 06BD4CBC34A7E544 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:06:52] 693*2^1238102-1 is not prime. Res64: 4CF435D4CB0E2459 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:06:53] 755*2^1238102-1 is not prime. Res64: 5B942BC75374CABA Time : 0.0 sec. user=mdettweiler [2012-12-26 20:15:40] 885*2^1238102-1 is not prime. Res64: BAC937B3D3CF690C Time : 0.0 sec. user=mdettweiler [2012-12-26 20:15:41] 897*2^1238102-1 is not prime. Res64: C7BFE9587602AC71 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:24:27] 981*2^1238102-1 is not prime. Res64: BE73684B80201CD7 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:24:28] 995*2^1238102-1 is not prime. Res64: 9D7A0122D2562AB4 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:33:11] 643*2^1238103-1 is not prime. Res64: 4B3C773B3D2E19E1 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:33:12] 661*2^1238103-1 is not prime. Res64: 4AE19A8A39A2D2C7 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:41:59] 685*2^1238103-1 is not prime. Res64: 587588939E622B25 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:41:59] 691*2^1238103-1 is not prime. Res64: 327BEAC6C07FEBAB Time : 0.0 sec. user=vaughan [2012-12-26 20:42:40] 941*2^1238102-1 is not prime. Res64: 88F337622BF9E50F Time : 0.0 sec. user=mdettweiler [2012-12-26 20:50:38] 765*2^1238103-1 is not prime. Res64: 90CB00465EBD321E Time : 0.0 sec. user=mdettweiler [2012-12-26 20:50:38] 853*2^1238103-1 is not prime. Res64: 649F4E204C720F88 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:59:27] 677*2^1238104-1 is not prime. Res64: E64A5F6DE5CF3955 Time : 0.0 sec. user=mdettweiler [2012-12-26 20:59:27] 773*2^1238104-1 is not prime. Res64: A0FB3897AF3A916E Time : 0.0 sec. user=mdettweiler [2012-12-26 21:08:14] 843*2^1238104-1 is not prime. Res64: 28486D9C49FB1333 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:08:15] 857*2^1238104-1 is not prime. Res64: 8543A53B44D2411A Time : 0.0 sec. user=mdettweiler [2012-12-26 21:16:54] 917*2^1238104-1 is not prime. Res64: EA5C9DE1591EFAE9 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:16:54] 697*2^1238105-1 is not prime. Res64: 70898EF78E0B7EF2 Time : 0.0 sec. user=vaughan [2012-12-26 21:20:25] 825*2^1238104-1 is not prime. Res64: 45344C7DB207DD1D Time : 0.0 sec. user=mdettweiler [2012-12-26 21:25:55] 715*2^1238105-1 is not prime. Res64: FD9B135B1C533EA4 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:25:55] 781*2^1238105-1 is not prime. Res64: 079744F470FC916D Time : 0.0 sec. user=mdettweiler [2012-12-26 21:34:18] 795*2^1238105-1 is not prime. Res64: EB78C6B26BE05F83 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:34:18] 799*2^1238105-1 is not prime. Res64: B4D78C5AD628062E Time : 0.0 sec. user=mdettweiler [2012-12-26 21:43:16] 861*2^1238105-1 is not prime. Res64: EC2219C394E7A757 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:43:17] 909*2^1238105-1 is not prime. Res64: 6CF05A7ABA98B423 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:51:40] 707*2^1238106-1 is not prime. Res64: 43B44F795EC2AB75 Time : 0.0 sec. user=mdettweiler [2012-12-26 21:51:41] 735*2^1238106-1 is not prime. Res64: 91908A4F6A21E869 Time : 0.0 sec. user=vaughan [2012-12-26 21:58:12] 841*2^1238105-1 is not prime. Res64: 7C1AF95D0E90D7CA Time : 0.0 sec. user=mdettweiler [2012-12-26 22:00:38] 821*2^1238106-1 is not prime. Res64: 7CCF9391D3EC0BB5 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:00:40] 851*2^1238106-1 is not prime. Res64: 63CF9256B635604B Time : 0.0 sec. user=mdettweiler [2012-12-26 22:09:03] 893*2^1238106-1 is not prime. Res64: 598A0E4FCBCF89C0 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:09:04] 917*2^1238106-1 is not prime. Res64: BD63DAE740B2A70C Time : 0.0 sec. user=mdettweiler [2012-12-26 22:18:10] 645*2^1238107-1 is not prime. Res64: DFF8D1DDD936BFC7 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:18:11] 681*2^1238107-1 is not prime. Res64: 5A95716F95E22E45 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:26:33] 759*2^1238107-1 is not prime. Res64: 0EB77F3DDCC78834 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:26:34] 843*2^1238107-1 is not prime. Res64: BCEBEB4CC1993698 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:35:32] 859*2^1238107-1 is not prime. Res64: B51FD9A29FF3E012 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:35:32] 895*2^1238107-1 is not prime. Res64: 4DFB4B4C889453CA Time : 0.0 sec. user=vaughan [2012-12-26 22:35:59] 945*2^1238106-1 is not prime. Res64: B708677E9DD66D74 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:43:55] 913*2^1238107-1 is not prime. Res64: B9F397A78D156B06 Time : 0.0 sec. user=mdettweiler [2012-12-26 22:43:55] 919*2^1238107-1 is not prime. Res64: 7179BC5F170F30FA Time : 0.0 sec. user=mdettweiler [2012-12-26 22:52:53] 961*2^1238107-1 is not prime. Res64: BCD18E61E9D7529D Time : 0.0 sec. user=mdettweiler [2012-12-26 22:52:54] 707*2^1238108-1 is not prime. Res64: AED05D2851F7773D Time : 0.0 sec. user=mdettweiler [2012-12-26 23:01:17] 753*2^1238108-1 is not prime. Res64: C9754E89246F86A9 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:01:18] 839*2^1238108-1 is not prime. Res64: D8CAE8F307AA623E Time : 0.0 sec. user=mdettweiler [2012-12-26 23:10:16] 885*2^1238108-1 is not prime. Res64: 751B2A2C7BD33A1B Time : 0.0 sec. user=mdettweiler [2012-12-26 23:10:17] 963*2^1238108-1 is not prime. Res64: B9351AE1DB7784A5 Time : 0.0 sec. user=vaughan [2012-12-26 23:13:45] 749*2^1238108-1 is not prime. Res64: 6FD2E417A3096DE7 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:18:41] 987*2^1238108-1 is not prime. Res64: FFD4872A23CDA6CC Time : 0.0 sec. user=mdettweiler [2012-12-26 23:18:42] 993*2^1238108-1 is not prime. Res64: 0030FB0A093BAB99 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:27:46] 615*2^1238109-1 is not prime. Res64: 5A1B9263F64C48A2 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:27:46] 655*2^1238109-1 is not prime. Res64: 607EA0B7C34464F8 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:36:03] 877*2^1238109-1 is not prime. Res64: 8F1BDDC016C8EED0 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:36:03] 603*2^1238110-1 is not prime. Res64: 80F29E8678533FEF Time : 0.0 sec. user=mdettweiler [2012-12-26 23:45:18] 645*2^1238110-1 is not prime. Res64: BBCA0DEECBC3A5F0 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:45:19] 651*2^1238110-1 is not prime. Res64: D29E03E26BD15DD1 Time : 0.0 sec. user=vaughan [2012-12-26 23:51:34] 765*2^1238109-1 is not prime. Res64: 0D42EB4D62CCE2D7 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:54:16] 791*2^1238110-1 is not prime. Res64: A19643E0AEE19B86 Time : 0.0 sec. user=mdettweiler [2012-12-26 23:54:16] 861*2^1238110-1 is not prime. Res64: B7CA56D3973CA0AF Time : 0.0 sec.