user=mdettweiler [2012-08-17 00:03:31] 887*2^1226582-1 is not prime. Res64: 5963705A92B852B8 Time : 0.0 sec. user=mdettweiler [2012-08-17 00:12:35] 635*2^1226584-1 is not prime. Res64: 5B80EDFF84641D60 Time : 0.0 sec. user=mdettweiler [2012-08-17 00:17:24] 695*2^1226584-1 is not prime. Res64: 8F95E85DCF840790 Time : 0.0 sec. user=mdettweiler [2012-08-17 00:17:25] 765*2^1226584-1 is not prime. Res64: EFB6111C9BAB4F63 Time : 0.0 sec. user=mdettweiler [2012-08-17 00:17:26] 843*2^1226584-1 is not prime. Res64: 2FEA29F2AA2EDCCD Time : 0.0 sec. user=mdettweiler [2012-08-17 00:17:28] 905*2^1226584-1 is not prime. Res64: 67A7650B4F71954C Time : 0.0 sec. user=mdettweiler [2012-08-17 00:33:56] 969*2^1226584-1 is not prime. Res64: A06D537A8FD9BFBC Time : 0.0 sec. user=mdettweiler [2012-08-17 00:38:30] 729*2^1226585-1 is not prime. Res64: 40475837D01C442B Time : 0.0 sec. user=mdettweiler [2012-08-17 00:38:30] 759*2^1226585-1 is not prime. Res64: CB01A5063C207D1F Time : 0.0 sec. user=mdettweiler [2012-08-17 00:38:34] 795*2^1226585-1 is not prime. Res64: 946BBBF096B7135D Time : 0.0 sec. user=mdettweiler [2012-08-17 00:38:34] 889*2^1226585-1 is not prime. Res64: C89951324CBA9F13 Time : 0.0 sec. user=mdettweiler [2012-08-17 00:42:53] 711*2^1226585-1 is not prime. Res64: 331879A861BEE64B Time : 0.0 sec. user=mdettweiler [2012-08-17 00:59:37] 683*2^1226586-1 is not prime. Res64: 3C541E63FF2453DD Time : 0.0 sec. user=mdettweiler [2012-08-17 00:59:38] 765*2^1226586-1 is not prime. Res64: F70938A3ED97BE32 Time : 0.0 sec. user=mdettweiler [2012-08-17 00:59:41] 851*2^1226586-1 is not prime. Res64: A99143FDF790538B Time : 0.0 sec. user=mdettweiler [2012-08-17 00:59:41] 905*2^1226586-1 is not prime. Res64: 3DB33CF5020CD37F Time : 0.0 sec. user=mdettweiler [2012-08-17 01:04:15] 991*2^1226585-1 is not prime. Res64: 107C452C493C82EC Time : 0.0 sec. user=mdettweiler [2012-08-17 01:13:03] 971*2^1226586-1 is not prime. Res64: 6A2AF2EDDE114998 Time : 0.0 sec. user=mdettweiler [2012-08-17 01:20:49] 975*2^1226586-1 is not prime. Res64: AA5ECDB477355910 Time : 0.0 sec. user=mdettweiler [2012-08-17 01:20:49] 1001*2^1226586-1 is not prime. Res64: C6555F1F9662E55F Time : 0.0 sec. user=mdettweiler [2012-08-17 01:20:52] 603*2^1226587-1 is not prime. Res64: 39B5F35325151B6A Time : 0.0 sec. user=mdettweiler [2012-08-17 01:20:52] 633*2^1226587-1 is not prime. Res64: 01DC848DA4C9EB18 Time : 0.0 sec. user=mdettweiler [2012-08-17 01:38:13] 651*2^1226587-1 is not prime. Res64: 3CA3AE9522B8E6AD Time : 0.0 sec. user=mdettweiler [2012-08-17 01:41:52] 681*2^1226587-1 is not prime. Res64: 936B5EFA2651B275 Time : 0.0 sec. user=mdettweiler [2012-08-17 01:41:52] 693*2^1226587-1 is not prime. Res64: 66B459D8827F76F7 Time : 0.0 sec. user=mdettweiler [2012-08-17 01:41:55] 793*2^1226587-1 is not prime. Res64: ECB4B693C9204A9F Time : 0.0 sec. user=mdettweiler [2012-08-17 01:41:55] 841*2^1226587-1 is not prime. Res64: 46EC7AC447F9318A Time : 0.0 sec. user=mdettweiler [2012-08-17 01:47:08] 663*2^1226587-1 is not prime. Res64: 67FED48749B1A100 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:02:56] 861*2^1226587-1 is not prime. Res64: 97136B5280343A94 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:02:57] 635*2^1226588-1 is not prime. Res64: 8B456FB59B11F28D Time : 0.0 sec. user=mdettweiler [2012-08-17 02:03:02] 773*2^1226588-1 is not prime. Res64: 40EDBBCA65718F44 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:03:03] 855*2^1226588-1 is not prime. Res64: FDCA991326156525 Time : 0.0 sec. user=vaughan [2012-08-17 02:04:49] 627*2^1226514-1 is not prime. Res64: A06568465DE7BDA1 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:13:29] 859*2^1226587-1 is not prime. Res64: 0D4E1B3484A54EBA Time : 0.0 sec. user=mdettweiler [2012-08-17 02:21:38] 885*2^1226588-1 is not prime. Res64: 3C123CB1A3971D36 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:24:20] 963*2^1226588-1 is not prime. Res64: 4D963837A2BC271E Time : 0.0 sec. user=mdettweiler [2012-08-17 02:24:21] 667*2^1226589-1 is not prime. Res64: 09A07717E0C86FDD Time : 0.0 sec. user=mdettweiler [2012-08-17 02:24:23] 615*2^1226589-1 is not prime. Res64: 45850AB64974A350 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:24:24] 625*2^1226589-1 is not prime. Res64: ED141635612C6207 Time : 0.0 sec. user=vaughan [2012-08-17 02:42:07] 709*2^1226589-1 is not prime. Res64: 4A764C6119BB80E0 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:45:39] 741*2^1226590-1 is not prime. Res64: 9A582DA314DB7A50 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:45:40] 991*2^1226589-1 is not prime. Res64: 5DC447A7DF2FC945 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:45:41] 747*2^1226590-1 is not prime. Res64: 67068CDD0E4F3C51 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:45:47] 611*2^1226590-1 is not prime. Res64: 7E22477E1964DBE5 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:46:18] 745*2^1226589-1 is not prime. Res64: 8C8997D86C8596D5 Time : 0.0 sec. user=mdettweiler [2012-08-17 02:54:55] 861*2^1226589-1 is not prime. Res64: A596A87375BE49A3 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:07:01] 975*2^1226590-1 is not prime. Res64: 402B28096CD8A617 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:07:03] 987*2^1226590-1 is not prime. Res64: C4B3EBD7EEFC7EA5 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:07:08] 887*2^1226590-1 is not prime. Res64: 9A3438ACDB96856D Time : 0.0 sec. user=mdettweiler [2012-08-17 03:07:09] 911*2^1226590-1 is not prime. Res64: 68B6D0042FCEA2D0 Time : 0.0 sec. user=vaughan [2012-08-17 03:19:32] 861*2^1226590-1 is not prime. Res64: BD0F9F316605FAC0 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:22:19] 619*2^1226591-1 is not prime. Res64: 8A9CC106B7F9BD79 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:28:23] 735*2^1226591-1 is not prime. Res64: 5AFA6E2F49DB9527 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:28:23] 783*2^1226591-1 is not prime. Res64: CFCA694A1C669495 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:28:29] 813*2^1226591-1 is not prime. Res64: 3094F25D07A822E0 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:28:29] 859*2^1226591-1 is not prime. Res64: 3D93E350D26CD7BA Time : 0.0 sec. user=mdettweiler [2012-08-17 03:38:59] 669*2^1226591-1 is not prime. Res64: 811E471CF35D3858 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:49:28] 665*2^1226592-1 is not prime. Res64: 8850C10D553D6583 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:49:28] 779*2^1226592-1 is not prime. Res64: AA8FD6173052C61F Time : 0.0 sec. user=mdettweiler [2012-08-17 03:49:33] 607*2^1226593-1 is not prime. Res64: AEA405A07DBAE5B1 Time : 0.0 sec. user=mdettweiler [2012-08-17 03:49:34] 625*2^1226593-1 is not prime. Res64: C539D608D0605ECE Time : 0.0 sec. user=vaughan [2012-08-17 03:56:59] 981*2^1226591-1 is not prime. Res64: CD20F5052348DD9F Time : 0.0 sec. user=mdettweiler [2012-08-17 04:10:32] 683*2^1226594-1 is not prime. Res64: 48E0E14A19499663 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:10:32] 711*2^1226594-1 is not prime. Res64: 6573F3F556DE3243 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:10:37] 827*2^1226594-1 is not prime. Res64: 9A001A6798D3E7BA Time : 0.0 sec. user=mdettweiler [2012-08-17 04:10:39] 957*2^1226594-1 is not prime. Res64: 1315BB994CEC4ACB Time : 0.0 sec. user=mdettweiler [2012-08-17 04:24:05] 627*2^1226592-1 is not prime. Res64: B299531AD958A17D Time : 0.0 sec. user=mdettweiler [2012-08-17 04:30:55] 747*2^1226593-1 is not prime. Res64: E0396DE0ED0298E1 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:31:45] 619*2^1226595-1 is not prime. Res64: 14492AC32A3B9B9A Time : 0.0 sec. user=mdettweiler [2012-08-17 04:31:46] 783*2^1226595-1 is not prime. Res64: EFF98E717DA09573 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:31:46] 741*2^1226595-1 is not prime. Res64: 3075E1F2E0D51A1D Time : 0.0 sec. user=mdettweiler [2012-08-17 04:31:47] 789*2^1226595-1 is not prime. Res64: B6407D3C202BE4E4 Time : 0.0 sec. user=vaughan [2012-08-17 04:34:20] 995*2^1226594-1 is not prime. Res64: FB9FD6621F7104FC Time : 0.0 sec. user=mdettweiler [2012-08-17 04:52:50] 949*2^1226595-1 is not prime. Res64: 047778D5510349E4 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:52:50] 961*2^1226595-1 is not prime. Res64: 06D10427A349ED18 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:52:51] 717*2^1226596-1 is not prime. Res64: B3216A9BA0EFEFD5 Time : 0.0 sec. user=mdettweiler [2012-08-17 04:52:51] 765*2^1226596-1 is not prime. Res64: 29E2DA338E377505 Time : 0.0 sec. user=vaughan [2012-08-17 05:11:36] 777*2^1226596-1 is not prime. Res64: 82EB118C346FF7AA Time : 0.0 sec. user=mdettweiler [2012-08-17 05:13:58] 783*2^1226596-1 is not prime. Res64: 4347B4CB08DDC7AB Time : 0.0 sec. user=mdettweiler [2012-08-17 05:13:59] 897*2^1226596-1 is not prime. Res64: 246A65FBE566FB9B Time : 0.0 sec. user=mdettweiler [2012-08-17 05:13:59] 903*2^1226596-1 is not prime. Res64: ABB77DF1D99F01C1 Time : 0.0 sec. user=mdettweiler [2012-08-17 05:13:59] 993*2^1226596-1 is not prime. Res64: 1024686B54DEDFB1 Time : 0.0 sec. user=mdettweiler [2012-08-17 05:21:14] 801*2^1226595-1 is not prime. Res64: 8DF4F1AA5EFD426D Time : 0.0 sec. user=mdettweiler [2012-08-17 05:27:53] 921*2^1226595-1 is not prime. Res64: 3806EBE8525E668B Time : 0.0 sec. user=mdettweiler [2012-08-17 05:35:03] 691*2^1226597-1 is not prime. Res64: AB6E74BA59D1143E Time : 0.0 sec. user=mdettweiler [2012-08-17 05:35:04] 831*2^1226597-1 is not prime. Res64: 22A914D13FC6D4B8 Time : 0.0 sec. user=mdettweiler [2012-08-17 05:35:04] 757*2^1226597-1 is not prime. Res64: 72620AE80AFE814F Time : 0.0 sec. user=mdettweiler [2012-08-17 05:35:04] 611*2^1226598-1 is not prime. Res64: 4C4302607C13DD95 Time : 0.0 sec. user=vaughan [2012-08-17 05:49:06] 601*2^1226597-1 is not prime. Res64: 660CC356CDE68840 Time : 0.0 sec. user=mdettweiler [2012-08-17 05:56:06] 915*2^1226598-1 is not prime. Res64: EAAB51F70EC32EF3 Time : 0.0 sec. user=mdettweiler [2012-08-17 05:56:07] 663*2^1226599-1 is not prime. Res64: 28A8EA06C47E8FAC Time : 0.0 sec. user=mdettweiler [2012-08-17 05:56:07] 789*2^1226599-1 is not prime. Res64: 3DC147584D19716D Time : 0.0 sec. user=mdettweiler [2012-08-17 05:56:07] 843*2^1226599-1 is not prime. Res64: 5375A5C21BE9B2EF Time : 0.0 sec. user=mdettweiler [2012-08-17 06:17:10] 925*2^1226599-1 is not prime. Res64: 1AC502244CA86E7B Time : 0.0 sec. user=mdettweiler [2012-08-17 06:17:10] 979*2^1226599-1 is not prime. Res64: 0A9D99CD32025C84 Time : 0.0 sec. user=mdettweiler [2012-08-17 06:17:11] 933*2^1226599-1 is not prime. Res64: 3ED5F266F5FF94B7 Time : 0.0 sec. user=mdettweiler [2012-08-17 06:17:11] 603*2^1226600-1 is not prime. Res64: F8588548A8807BAF Time : 0.0 sec. user=mdettweiler [2012-08-17 06:18:52] 647*2^1226598-1 is not prime. Res64: FDC587E5BD6C4AAB Time : 0.0 sec. user=mdettweiler [2012-08-17 06:21:36] 693*2^1226598-1 is not prime. Res64: B37637EFE8AEEBFC Time : 0.0 sec. user=vaughan [2012-08-17 06:26:20] 859*2^1226599-1 is not prime. Res64: 0A4E27A40E0A987E Time : 0.0 sec. user=mdettweiler [2012-08-17 06:38:20] 807*2^1226601-1 is not prime. Res64: 288A591C822D11B8 Time : 0.0 sec. user=mdettweiler [2012-08-17 06:38:20] 819*2^1226601-1 is not prime. Res64: B59F6969A0F209A2 Time : 0.0 sec. user=mdettweiler [2012-08-17 06:38:20] 963*2^1226600-1 is not prime. Res64: E2EFE865A157B1EE Time : 0.0 sec. user=mdettweiler [2012-08-17 06:38:21] 795*2^1226601-1 is not prime. Res64: 192EEB0D3CC8547C Time : 0.0 sec. user=mdettweiler [2012-08-17 06:53:03] 999*2^1226601-1 is not prime. Res64: E5FDEB2D903A5D37 Time : 0.0 sec. user=mdettweiler [2012-08-17 06:59:24] 645*2^1226602-1 is not prime. Res64: 9712E2A8D6565F46 Time : 0.0 sec. user=mdettweiler [2012-08-17 06:59:24] 665*2^1226602-1 is not prime. Res64: 9C2D56749D6C4CAE Time : 0.0 sec. user=mdettweiler [2012-08-17 06:59:24] 675*2^1226602-1 is not prime. Res64: 0C88B2C563C723AB Time : 0.0 sec. user=mdettweiler [2012-08-17 06:59:24] 713*2^1226602-1 is not prime. Res64: 1E17EE98D32528DC Time : 0.0 sec. user=vaughan [2012-08-17 07:03:35] 623*2^1226602-1 is not prime. Res64: BD1C3A8040AC4B21 Time : 0.0 sec. user=mdettweiler [2012-08-17 07:20:26] 803*2^1226602-1 is not prime. Res64: 483466DD01D12DF7 Time : 0.0 sec. user=mdettweiler [2012-08-17 07:20:26] 911*2^1226602-1 is not prime. Res64: F4BD0D61A5CEE8DA Time : 0.0 sec. user=mdettweiler [2012-08-17 07:20:27] 975*2^1226602-1 is not prime. Res64: 7573E50A85698926 Time : 0.0 sec. user=mdettweiler [2012-08-17 07:20:27] 619*2^1226603-1 is not prime. Res64: 0DAB370E8545F835 Time : 0.0 sec. user=mdettweiler [2012-08-17 07:26:39] 755*2^1226602-1 is not prime. Res64: 28D73E68C8B68393 Time : 0.0 sec. user=vaughan [2012-08-17 07:40:51] 633*2^1226603-1 is not prime. Res64: 6C727E316DC7DC3F Time : 0.0 sec. user=mdettweiler [2012-08-17 07:41:32] 673*2^1226603-1 is not prime. Res64: 864D17798CB824BD Time : 0.0 sec. user=mdettweiler [2012-08-17 07:41:33] 753*2^1226603-1 is not prime. Res64: CA6D4F9CA7626434 Time : 0.0 sec. user=mdettweiler [2012-08-17 07:41:33] 819*2^1226603-1 is not prime. Res64: 13D8CFE76F8AFB8D Time : 0.0 sec. user=mdettweiler [2012-08-17 07:41:34] 963*2^1226603-1 is not prime. Res64: C35816C78212ED56 Time : 0.0 sec. user=mdettweiler [2012-08-17 07:56:28] 969*2^1226603-1 is not prime. Res64: C7D8FA0C25A28E1A Time : 0.0 sec. user=mdettweiler [2012-08-17 08:02:36] 985*2^1226603-1 is not prime. Res64: E588A0AA18BD8B7A Time : 0.0 sec. user=mdettweiler [2012-08-17 08:02:38] 789*2^1226604-1 is not prime. Res64: 4BD51019BD792E86 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:02:39] 825*2^1226604-1 is not prime. Res64: BE1E99E9ECBDC1CE Time : 0.0 sec. user=mdettweiler [2012-08-17 08:02:39] 969*2^1226604-1 is not prime. Res64: 5807AD2EB78BE9F4 Time : 0.0 sec. user=vaughan [2012-08-17 08:18:06] 973*2^1226603-1 is not prime. Res64: 47E10F8ECFEF3A8C Time : 0.0 sec. user=mdettweiler [2012-08-17 08:23:42] 861*2^1226605-1 is not prime. Res64: 06BCCF718770A819 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:23:42] 885*2^1226605-1 is not prime. Res64: EF941BA04FE1A781 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:23:45] 603*2^1226606-1 is not prime. Res64: C2469D373173D560 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:23:45] 615*2^1226606-1 is not prime. Res64: 6D7FE159E0E7C75C Time : 0.0 sec. user=mdettweiler [2012-08-17 08:27:39] 685*2^1226605-1 is not prime. Res64: C802813B1EBF2179 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:44:44] 713*2^1226606-1 is not prime. Res64: BC7C30C5BA762A3B Time : 0.0 sec. user=mdettweiler [2012-08-17 08:44:44] 903*2^1226606-1 is not prime. Res64: 0F8DBF350EC5E585 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:44:47] 971*2^1226606-1 is not prime. Res64: D78774D84C939CBD Time : 0.0 sec. user=mdettweiler [2012-08-17 08:44:47] 685*2^1226607-1 is not prime. Res64: 0EC7AD4612CE0914 Time : 0.0 sec. user=vaughan [2012-08-17 08:55:24] 627*2^1226606-1 is not prime. Res64: A3E34CE3B363C876 Time : 0.0 sec. user=mdettweiler [2012-08-17 08:59:18] 765*2^1226607-1 is not prime. Res64: FDE52648AD722B77 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:05:46] 793*2^1226607-1 is not prime. Res64: D585123898BE7962 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:05:48] 945*2^1226607-1 is not prime. Res64: B51995976C41A9F5 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:05:49] 777*2^1226608-1 is not prime. Res64: 21E18687CC29B57F Time : 0.0 sec. user=mdettweiler [2012-08-17 09:05:51] 887*2^1226608-1 is not prime. Res64: 3EBB389D0EB9FBBE Time : 0.0 sec. user=mdettweiler [2012-08-17 09:26:59] 747*2^1226610-1 is not prime. Res64: 844152AE47F3503C Time : 0.0 sec. user=mdettweiler [2012-08-17 09:27:00] 843*2^1226610-1 is not prime. Res64: B2C027D2E2C019A8 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:27:01] 917*2^1226610-1 is not prime. Res64: ADE1454B1C7B437C Time : 0.0 sec. user=mdettweiler [2012-08-17 09:27:01] 933*2^1226610-1 is not prime. Res64: 046843F559CBCB89 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:29:32] 651*2^1226610-1 is not prime. Res64: 14920C2C4043B807 Time : 0.0 sec. user=vaughan [2012-08-17 09:32:40] 885*2^1226609-1 is not prime. Res64: 2D5308A1216376EC Time : 0.0 sec. user=mdettweiler [2012-08-17 09:48:03] 783*2^1226611-1 is not prime. Res64: B5F666D19D8C123D Time : 0.0 sec. user=mdettweiler [2012-08-17 09:48:03] 849*2^1226611-1 is not prime. Res64: 5F7E9D7D41A9F059 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:48:04] 859*2^1226611-1 is not prime. Res64: CF2300280E7C1D89 Time : 0.0 sec. user=mdettweiler [2012-08-17 09:48:04] 871*2^1226611-1 is not prime. Res64: DDE7BC24FD9432AD Time : 0.0 sec. user=mdettweiler [2012-08-17 09:59:19] 931*2^1226611-1 is not prime. Res64: C26F7BB83C6992C1 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:09:07] 635*2^1226612-1 is not prime. Res64: 297C4269141C607A Time : 0.0 sec. user=mdettweiler [2012-08-17 10:09:08] 867*2^1226612-1 is not prime. Res64: 4B37059370A9D9F3 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:09:08] 945*2^1226612-1 is not prime. Res64: 888C719870B7B7F0 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:09:08] 977*2^1226612-1 is not prime. Res64: 91856CCBED250931 Time : 0.0 sec. user=vaughan [2012-08-17 10:10:00] 939*2^1226611-1 is not prime. Res64: 81B22F734FC0359A Time : 0.0 sec. user=mdettweiler [2012-08-17 10:29:34] 983*2^1226612-1 is not prime. Res64: F7C0338C4E523454 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:30:14] 607*2^1226613-1 is not prime. Res64: F8847B48FF48EB0A Time : 0.0 sec. user=mdettweiler [2012-08-17 10:30:15] 681*2^1226613-1 is not prime. Res64: 60A887D443405693 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:30:15] 699*2^1226613-1 is not prime. Res64: 79A64B19732E45B4 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:30:16] 891*2^1226613-1 is not prime. Res64: 2510657924D0C4B8 Time : 0.0 sec. user=vaughan [2012-08-17 10:47:15] 895*2^1226613-1 is not prime. Res64: A0C94BF2B2785F19 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:51:17] 979*2^1226613-1 is not prime. Res64: B893EEC04D90ED07 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:51:17] 999*2^1226613-1 is not prime. Res64: 323BCA11F4731967 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:51:18] 617*2^1226614-1 is not prime. Res64: 783DF71E7DE3DB45 Time : 0.0 sec. user=mdettweiler [2012-08-17 10:51:18] 621*2^1226614-1 is not prime. Res64: DE050A3785018C9E Time : 0.0 sec. user=mdettweiler [2012-08-17 10:59:50] 961*2^1226613-1 is not prime. Res64: 8AAD8009FDCAC3E3 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:12:20] 755*2^1226614-1 is not prime. Res64: 4F9AF7A2BCA5A44C Time : 0.0 sec. user=mdettweiler [2012-08-17 11:12:21] 827*2^1226614-1 is not prime. Res64: 9FA4BC6207255797 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:12:23] 765*2^1226614-1 is not prime. Res64: 34700C70E4A8E224 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:12:26] 945*2^1226614-1 is not prime. Res64: BB11DFCD8E92BD5A Time : 0.0 sec. user=vaughan [2012-08-17 11:24:30] 623*2^1226614-1 is not prime. Res64: 6C85F1552F83F6E0 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:31:03] 951*2^1226614-1 is not prime. Res64: C0842AD24EA12427 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:33:04] 861*2^1226601-1 is not prime. Res64: A1C3026FB4C9BCC1 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:33:39] 1001*2^1226614-1 is not prime. Res64: F55732137DE37E69 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:33:40] 601*2^1226615-1 is not prime. Res64: 0B24676E35CD987A Time : 0.0 sec. user=mdettweiler [2012-08-17 11:33:43] 609*2^1226615-1 is not prime. Res64: 3269AAD3B09D865C Time : 0.0 sec. user=mdettweiler [2012-08-17 11:33:44] 663*2^1226615-1 is not prime. Res64: 2A41E75F46D8BB48 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:54:46] 909*2^1226615-1 is not prime. Res64: D74D992AC81D7EFD Time : 0.0 sec. user=mdettweiler [2012-08-17 11:54:46] 921*2^1226615-1 is not prime. Res64: 46C8C6717CCB7CA9 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:54:49] 949*2^1226615-1 is not prime. Res64: 4F8286E462A36D40 Time : 0.0 sec. user=mdettweiler [2012-08-17 11:54:50] 973*2^1226615-1 is not prime. Res64: 6465AF70A95AB18C Time : 0.0 sec. user=vaughan [2012-08-17 12:01:56] 675*2^1226615-1 is not prime. Res64: 735492FD5796C751 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:04:41] 739*2^1226615-1 is not prime. Res64: 6ACC48A25458BC6D Time : 0.0 sec. user=mdettweiler [2012-08-17 12:07:42] 789*2^1226615-1 is not prime. Res64: 2E661F54C90B8BE1 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:15:37] 623*2^1226616-1 is not prime. Res64: 2843D3C1625BFC84 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:15:37] 693*2^1226616-1 is not prime. Res64: 7F1760FC088BB042 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:15:40] 879*2^1226616-1 is not prime. Res64: BDF7E39C4AECD58C Time : 0.0 sec. user=mdettweiler [2012-08-17 12:15:40] 675*2^1226617-1 is not prime. Res64: 9A5FFDCD0AE62FA0 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:36:32] 979*2^1226617-1 is not prime. Res64: 3B70041EA76F2B95 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:36:33] 985*2^1226617-1 is not prime. Res64: EF6BA41DB9478B24 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:36:33] 997*2^1226617-1 is not prime. Res64: B1C7260EC90FE9D4 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:36:33] 633*2^1226618-1 is not prime. Res64: 8463BDD9C571DA30 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:37:43] 847*2^1226617-1 is not prime. Res64: 8E4CB4157C4958C2 Time : 0.0 sec. user=vaughan [2012-08-17 12:39:19] 741*2^1226617-1 is not prime. Res64: 5806469E3D0BE9D0 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:40:42] 937*2^1226617-1 is not prime. Res64: AD01BD5BEF32028F Time : 0.0 sec. user=mdettweiler [2012-08-17 12:57:26] 651*2^1226618-1 is not prime. Res64: C28B33D0D20539AA Time : 0.0 sec. user=mdettweiler [2012-08-17 12:57:26] 875*2^1226618-1 is not prime. Res64: 1299BB03DF918400 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:57:26] 885*2^1226618-1 is not prime. Res64: D3FEC30E6523ACC3 Time : 0.0 sec. user=mdettweiler [2012-08-17 12:57:27] 923*2^1226618-1 is not prime. Res64: E96BE92ABF545A6F Time : 0.0 sec. user=mdettweiler [2012-08-17 13:11:39] 941*2^1226618-1 is not prime. Res64: 9C8D089BBD73975B Time : 0.0 sec. user=mdettweiler [2012-08-17 13:14:13] 711*2^1226619-1 is not prime. Res64: 4C5D97EB80E42F26 Time : 0.0 sec. user=vaughan [2012-08-17 13:16:34] 703*2^1226619-1 is not prime. Res64: 60E2D9D7DEA2EB0C Time : 0.0 sec. user=mdettweiler [2012-08-17 13:18:20] 769*2^1226619-1 is not prime. Res64: 60BD742718BBF840 Time : 0.0 sec. user=mdettweiler [2012-08-17 13:18:21] 895*2^1226619-1 is not prime. Res64: C8329DD3190F0F75 Time : 0.0 sec. user=mdettweiler [2012-08-17 13:18:21] 853*2^1226619-1 is not prime. Res64: F9E0A4DACF4A8D9D Time : 0.0 sec. user=mdettweiler [2012-08-17 13:18:22] 903*2^1226619-1 is not prime. Res64: 6FB76B8962238AF3 Time : 0.0 sec. user=mdettweiler [2012-08-17 13:39:15] 665*2^1226620-1 is not prime. Res64: 824345077F39120F Time : 0.0 sec. user=mdettweiler [2012-08-17 13:39:16] 729*2^1226620-1 is not prime. Res64: 2AD29D5CC48D4394 Time : 0.0 sec. user=mdettweiler [2012-08-17 13:39:19] 813*2^1226620-1 is not prime. Res64: 303D051980A3F8CB Time : 0.0 sec. user=mdettweiler [2012-08-17 13:39:20] 863*2^1226620-1 is not prime. Res64: 760A47F7FAA35A98 Time : 0.0 sec. user=mdettweiler [2012-08-17 13:46:18] 955*2^1226619-1 is not prime. Res64: CB86E81DF31E503A Time : 0.0 sec. user=mdettweiler [2012-08-17 13:48:21] 943*2^1226619-1 is not prime. Res64: 2643CC2A8394AFFA Time : 0.0 sec. user=vaughan [2012-08-17 13:53:59] 999*2^1226619-1 is not prime. Res64: 261F9CF0F73ADCCC Time : 0.0 sec. user=mdettweiler [2012-08-17 14:00:11] 923*2^1226620-1 is not prime. Res64: CCD15D16EBE6BDE5 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:00:12] 939*2^1226620-1 is not prime. Res64: 5A40BC63810A21D2 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:00:13] 745*2^1226621-1 is not prime. Res64: C444AEA855415DE3 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:00:13] 775*2^1226621-1 is not prime. Res64: 633D4DB82A1684CC Time : 0.0 sec. user=mdettweiler [2012-08-17 14:20:43] 777*2^1226621-1 is not prime. Res64: 04DB08B00AC0EB88 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:21:07] 683*2^1226622-1 is not prime. Res64: 0B35DC07AC533F89 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:21:08] 755*2^1226622-1 is not prime. Res64: 8BF7456A7AE9C039 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:21:11] 937*2^1226621-1 is not prime. Res64: 2E8885E5A8D0171E Time : 0.0 sec. user=mdettweiler [2012-08-17 14:21:11] 987*2^1226621-1 is not prime. Res64: 8A92FDC3F7CA347C Time : 0.0 sec. user=mdettweiler [2012-08-17 14:22:53] 819*2^1226621-1 is not prime. Res64: 6948ED597043B4A7 Time : 0.0 sec. user=vaughan [2012-08-17 14:31:13] 889*2^1226621-1 is not prime. Res64: 8DF074E4632652F4 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:42:08] 801*2^1226622-1 is not prime. Res64: 18559ADE4B5F8607 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:42:09] 807*2^1226622-1 is not prime. Res64: 2F438DBD8145471D Time : 0.0 sec. user=mdettweiler [2012-08-17 14:42:13] 609*2^1226623-1 is not prime. Res64: 98B5764A9125CC9A Time : 0.0 sec. user=mdettweiler [2012-08-17 14:42:13] 685*2^1226623-1 is not prime. Res64: 5B6BE0A36E8BB7A5 Time : 0.0 sec. user=mdettweiler [2012-08-17 14:54:00] 797*2^1226622-1 is not prime. Res64: 88493C7B8B86D9AE Time : 0.0 sec. user=mdettweiler [2012-08-17 14:56:08] 703*2^1226623-1 is not prime. Res64: 75BC6391F208FF4D Time : 0.0 sec. user=mdettweiler [2012-08-17 15:03:02] 729*2^1226623-1 is not prime. Res64: 2882FB6E6816F230 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:03:03] 751*2^1226623-1 is not prime. Res64: 2828497DD9581C3F Time : 0.0 sec. user=mdettweiler [2012-08-17 15:03:07] 895*2^1226623-1 is not prime. Res64: 4851B0A492AF4A2F Time : 0.0 sec. user=mdettweiler [2012-08-17 15:03:07] 913*2^1226623-1 is not prime. Res64: 210081D21070887D Time : 0.0 sec. user=vaughan [2012-08-17 15:08:28] 709*2^1226623-1 is not prime. Res64: 080F4816BE373727 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:24:02] 683*2^1226624-1 is not prime. Res64: 7FC2075EF6DDCFC1 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:24:02] 773*2^1226624-1 is not prime. Res64: F61668A1E9AD283B Time : 0.0 sec. user=mdettweiler [2012-08-17 15:24:07] 825*2^1226624-1 is not prime. Res64: 58F5F922AAD79EC4 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:24:07] 945*2^1226624-1 is not prime. Res64: 5EA66D6063A97B14 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:27:12] 993*2^1226623-1 is not prime. Res64: F6E6B2915D63BBBD Time : 0.0 sec. user=mdettweiler [2012-08-17 15:29:20] 623*2^1226624-1 is not prime. Res64: 2CBEBF5CF8B97040 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:44:58] 709*2^1226625-1 is not prime. Res64: CFDC5F6B988B8DAD Time : 0.0 sec. user=mdettweiler [2012-08-17 15:44:58] 789*2^1226625-1 is not prime. Res64: 874E4A66D6B8D519 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:45:00] 819*2^1226625-1 is not prime. Res64: 6A694AF5A6DE5607 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:45:01] 837*2^1226625-1 is not prime. Res64: C739D835EF7906C2 Time : 0.0 sec. user=vaughan [2012-08-17 15:45:45] 669*2^1226625-1 is not prime. Res64: 3DE16D28B894AF61 Time : 0.0 sec. user=mdettweiler [2012-08-17 15:59:02] 921*2^1226625-1 is not prime. Res64: DBAE19F6A579352C Time : 0.0 sec. user=mdettweiler [2012-08-17 16:04:28] 975*2^1226625-1 is not prime. Res64: 99AEDE86A18AA48F Time : 0.0 sec. user=mdettweiler [2012-08-17 16:05:52] 999*2^1226625-1 is not prime. Res64: 7BF2C5E8071AB611 Time : 0.0 sec. user=mdettweiler [2012-08-17 16:05:52] 651*2^1226626-1 is not prime. Res64: 060B9D8CE0044339 Time : 0.0 sec. user=mdettweiler [2012-08-17 16:05:54] 701*2^1226626-1 is not prime. Res64: B8AEA72589194EE1 Time : 0.0 sec. user=mdettweiler [2012-08-17 16:05:58] 735*2^1226626-1 is not prime. Res64: A648DAAAD58831AE Time : 0.0 sec. user=vaughan [2012-08-17 16:23:04] 729*2^1226437-1 is not prime. Res64: 5C1136DF6B8C3158 Time : 0.0 sec. user=mdettweiler [2012-08-17 16:26:50] 801*2^1226626-1 is not prime. Res64: 4C4C379EB43CAAAB Time : 0.0 sec. user=mdettweiler [2012-08-17 16:26:51] 825*2^1226626-1 is not prime. Res64: E755333095F6E09D Time : 0.0 sec. user=mdettweiler [2012-08-17 16:26:54] 917*2^1226626-1 is not prime. Res64: 091443BBEC1A084E Time : 0.0 sec. user=mdettweiler [2012-08-17 16:26:54] 1001*2^1226626-1 is not prime. Res64: 6F8AF2A8944E5EEE Time : 0.0 sec. user=mdettweiler [2012-08-17 16:31:54] 741*2^1226626-1 is not prime. Res64: C6421E5656C9B550 Time : 0.0 sec. user=mdettweiler [2012-08-17 16:37:39] 765*2^1226626-1 is not prime. Res64: 178AA34EDC1CB27B Time : 0.0 sec. user=mdettweiler [2012-08-17 16:47:43] 711*2^1226627-1 is not prime. Res64: 64F681A450716842 Time : 0.0 sec. user=mdettweiler [2012-08-17 16:47:43] 825*2^1226627-1 is not prime. Res64: 27D6A541BD641CFC Time : 0.0 sec. user=mdettweiler [2012-08-17 16:47:46] 829*2^1226627-1 is not prime. Res64: 1970BC50D0CDEA1C Time : 0.0 sec. user=mdettweiler [2012-08-17 16:47:46] 901*2^1226627-1 is not prime. Res64: 824B541A07EB6808 Time : 0.0 sec. user=vaughan [2012-08-17 17:00:30] 685*2^1226627-1 is not prime. Res64: 7AFEDBD843F1FA0E Time : 0.0 sec. user=mdettweiler [2012-08-17 17:03:49] 955*2^1226627-1 is not prime. Res64: 999289E2E02BEEB7 Time : 0.0 sec. user=mdettweiler [2012-08-17 17:08:35] 991*2^1226439-1 is not prime. Res64: 6C986A9D87A6BA12 Time : 0.0 sec. user=mdettweiler [2012-08-17 17:08:37] 819*2^1226628-1 is not prime. Res64: 1C0D0792692C4A9F Time : 0.0 sec. user=mdettweiler [2012-08-17 17:08:38] 825*2^1226628-1 is not prime. Res64: 85EB8D53D167C904 Time : 0.0 sec. user=mdettweiler [2012-08-17 17:08:40] 905*2^1226628-1 is not prime. Res64: 2F6EEEB8B3AFEBA1 Time : 0.0 sec. user=mdettweiler [2012-08-17 17:12:35] 985*2^1226627-1 is not prime. Res64: B0A7BD43A4DE021D Time : 0.0 sec. user=mdettweiler [2012-08-17 17:29:34] 741*2^1226629-1 is not prime. Res64: DD1D282E75F6891E Time : 0.0 sec. user=mdettweiler [2012-08-17 17:29:34] 765*2^1226629-1 is not prime. Res64: 9C2DA874032419AF Time : 0.0 sec. user=mdettweiler [2012-08-17 17:29:35] 771*2^1226629-1 is not prime. Res64: C0959EFFD9E6AFA1 Time : 0.0 sec. user=mdettweiler [2012-08-17 17:29:36] 857*2^1226630-1 is not prime. Res64: 4D44B43B625EE88F Time : 0.0 sec. user=mdettweiler [2012-08-17 17:36:42] 681*2^1226629-1 is not prime. Res64: 02C21798DA9EC5B1 Time : 0.0 sec. user=vaughan [2012-08-17 17:37:54] 993*2^1226628-1 is not prime. Res64: 80C3EA5168D7C99B Time : 0.0 sec. user=mdettweiler [2012-08-17 17:46:01] 935*2^1226630-1 is not prime. Res64: 323EB3414BE9AAED Time : 0.0 sec. user=mdettweiler [2012-08-17 17:50:29] 995*2^1226630-1 is not prime. Res64: 7D723F781C893E5B Time : 0.0 sec. user=mdettweiler [2012-08-17 17:50:30] 723*2^1226631-1 is not prime. Res64: CCE5424989A81B62 Time : 0.0 sec. user=mdettweiler [2012-08-17 17:50:30] 873*2^1226631-1 is not prime. Res64: A6501B6B2893C89D Time : 0.0 sec. user=mdettweiler [2012-08-17 17:50:31] 909*2^1226631-1 is not prime. Res64: 456953D3975466B1 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:11:21] 605*2^1226632-1 is not prime. Res64: 9DB17607278C762E Time : 0.0 sec. user=mdettweiler [2012-08-17 18:11:22] 779*2^1226632-1 is not prime. Res64: 48025D1C46F71670 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:11:22] 849*2^1226632-1 is not prime. Res64: 4E3B2F047E5CAB42 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:11:23] 807*2^1226632-1 is not prime. Res64: F36F332763206F04 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:11:23] 873*2^1226632-1 is not prime. Res64: D4B6F5D5B5ABDBC1 Time : 0.0 sec. user=vaughan [2012-08-17 18:15:10] 657*2^1226632-1 is not prime. Res64: 5550CFA88C797451 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:21:53] 695*2^1226632-1 is not prime. Res64: DDC891592182345A Time : 0.0 sec. user=mdettweiler [2012-08-17 18:32:24] 657*2^1226633-1 is not prime. Res64: DBDE5719DA4736E0 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:32:25] 675*2^1226633-1 is not prime. Res64: 9EDB0558DAAD6033 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:32:31] 735*2^1226633-1 is not prime. Res64: C7A0792571531241 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:32:32] 741*2^1226633-1 is not prime. Res64: 5B4B32619ECB7E06 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:48:06] 957*2^1226632-1 is not prime. Res64: F0FB4A29670DAE44 Time : 0.0 sec. user=vaughan [2012-08-17 18:52:33] 831*2^1226633-1 is not prime. Res64: 20255AE28E398356 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:53:17] 621*2^1226634-1 is not prime. Res64: B508AB2B459713D7 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:53:18] 633*2^1226634-1 is not prime. Res64: D5C1F8A986525CEB Time : 0.0 sec. user=mdettweiler [2012-08-17 18:53:24] 725*2^1226634-1 is not prime. Res64: E13BD64BF05934C6 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:53:24] 783*2^1226634-1 is not prime. Res64: A995ED495C5F7681 Time : 0.0 sec. user=mdettweiler [2012-08-17 18:57:23] 937*2^1226633-1 is not prime. Res64: EF5F3ABE84CA6DA1 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:14:11] 633*2^1226635-1 is not prime. Res64: 21933E6258888C0E Time : 0.0 sec. user=mdettweiler [2012-08-17 19:14:12] 741*2^1226635-1 is not prime. Res64: 0171115FF40CFCCF Time : 0.0 sec. user=mdettweiler [2012-08-17 19:14:16] 849*2^1226635-1 is not prime. Res64: 901AFEA3114BC2B0 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:14:18] 617*2^1226636-1 is not prime. Res64: BE8E3EB6F6C8EC3C Time : 0.0 sec. user=mdettweiler [2012-08-17 19:23:03] 807*2^1226634-1 is not prime. Res64: 641CC2E2350B3B4D Time : 0.0 sec. user=vaughan [2012-08-17 19:29:50] 891*2^1226634-1 is not prime. Res64: 9CFCBA992D8C80EE Time : 0.0 sec. user=mdettweiler [2012-08-17 19:32:28] 623*2^1226636-1 is not prime. Res64: B887B91D2D526638 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:35:26] 647*2^1226636-1 is not prime. Res64: 6F5DBF5351B01651 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:35:27] 719*2^1226636-1 is not prime. Res64: 900E301E3E36901C Time : 0.0 sec. user=mdettweiler [2012-08-17 19:35:27] 813*2^1226636-1 is not prime. Res64: 36CBDCE62E7DBD6F Time : 0.0 sec. user=mdettweiler [2012-08-17 19:35:28] 855*2^1226636-1 is not prime. Res64: B5693D98F5D046DF Time : 0.0 sec. user=mdettweiler [2012-08-17 19:56:20] 927*2^1226636-1 is not prime. Res64: 9DBDD4A9C69FF47A Time : 0.0 sec. user=mdettweiler [2012-08-17 19:56:20] 935*2^1226636-1 is not prime. Res64: AAC515F8A7C3F0E9 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:56:21] 667*2^1226637-1 is not prime. Res64: 9BA2EA8BD41FE529 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:56:22] 751*2^1226637-1 is not prime. Res64: 665A4482B2CE0825 Time : 0.0 sec. user=mdettweiler [2012-08-17 19:58:29] 899*2^1226636-1 is not prime. Res64: CB659AEDDA51226E Time : 0.0 sec. user=vaughan [2012-08-17 20:07:37] 903*2^1226636-1 is not prime. Res64: 006BE221A4C9BA0F Time : 0.0 sec. user=mdettweiler [2012-08-17 20:11:35] 923*2^1226636-1 is not prime. Res64: BC4D866AE35DD92E Time : 0.0 sec. user=mdettweiler [2012-08-17 20:17:15] 817*2^1226637-1 is not prime. Res64: 2EFC372D45D99570 Time : 0.0 sec. user=mdettweiler [2012-08-17 20:17:16] 831*2^1226637-1 is not prime. Res64: B1B6198E808B3513 Time : 0.0 sec. user=mdettweiler [2012-08-17 20:17:16] 919*2^1226637-1 is not prime. Res64: 470611CEDF2C8FAF Time : 0.0 sec. user=mdettweiler [2012-08-17 20:17:16] 645*2^1226638-1 is not prime. Res64: 83DBA2B3EC0821AC Time : 0.0 sec. user=mdettweiler [2012-08-17 20:34:13] 687*2^1226638-1 is not prime. Res64: A6239021BDA7380B Time : 0.0 sec. user=mdettweiler [2012-08-17 20:38:09] 813*2^1226638-1 is not prime. Res64: 64538634B53A30AA Time : 0.0 sec. user=mdettweiler [2012-08-17 20:38:10] 885*2^1226638-1 is not prime. Res64: 96F78DC6A15B88F7 Time : 0.0 sec. user=mdettweiler [2012-08-17 20:38:10] 933*2^1226638-1 is not prime. Res64: 3AC877D6C0C3B78E Time : 0.0 sec. user=mdettweiler [2012-08-17 20:38:11] 993*2^1226638-1 is not prime. Res64: 23F0B35B33B9E480 Time : 0.0 sec. user=vaughan [2012-08-17 20:45:22] 747*2^1226638-1 is not prime. Res64: D98BDBA6E4FDAF0D Time : 0.0 sec. user=mdettweiler [2012-08-17 20:49:29] 773*2^1226638-1 is not prime. Res64: 069C75B8AA639F21 Time : 0.0 sec. user=mdettweiler [2012-08-17 20:59:01] 771*2^1226639-1 is not prime. Res64: F5A63B9BFEE15026 Time : 0.0 sec. user=mdettweiler [2012-08-17 20:59:02] 861*2^1226639-1 is not prime. Res64: 7B5DA33F8E47C53E Time : 0.0 sec. user=mdettweiler [2012-08-17 20:59:03] 883*2^1226639-1 is not prime. Res64: D6EE62652CB35ACB Time : 0.0 sec. user=mdettweiler [2012-08-17 20:59:03] 909*2^1226639-1 is not prime. Res64: 94FCD92EB7844DB8 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:14:04] 601*2^1226639-1 is not prime. Res64: 2A772E3628744E62 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:19:55] 825*2^1226640-1 is not prime. Res64: 962FC6F684FDA048 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:19:55] 637*2^1226641-1 is not prime. Res64: 68144CBF95527633 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:19:56] 649*2^1226641-1 is not prime. Res64: 23F0CE1D69229D06 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:19:56] 691*2^1226641-1 is not prime. Res64: 237A05EC46D2A5D9 Time : 0.0 sec. user=vaughan [2012-08-17 21:23:00] 939*2^1226639-1 is not prime. Res64: 232F32DB12B43F29 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:25:04] 623*2^1226640-1 is not prime. Res64: C5784C608F1E8C5F Time : 0.0 sec. user=mdettweiler [2012-08-17 21:40:53] 957*2^1226641-1 is not prime. Res64: 82962D015C9D5D1B Time : 0.0 sec. user=mdettweiler [2012-08-17 21:40:54] 997*2^1226641-1 is not prime. Res64: 56ABFB910E4D4806 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:40:54] 671*2^1226642-1 is not prime. Res64: 8BB23448D1483EE7 Time : 0.0 sec. user=mdettweiler [2012-08-17 21:40:54] 675*2^1226642-1 is not prime. Res64: 669DFEF06CB774AC Time : 0.0 sec. user=mdettweiler [2012-08-17 21:50:34] 877*2^1226641-1 is not prime. Res64: 8ED9EF4970D9637B Time : 0.0 sec. user=mdettweiler [2012-08-17 21:57:52] 903*2^1226642-1 is not prime. Res64: 3E83F96755265CAA Time : 0.0 sec. user=vaughan [2012-08-17 22:00:37] 825*2^1226642-1 is not prime. Res64: 28AB5E417C67EFC5 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:01:51] 957*2^1226642-1 is not prime. Res64: 42AC40F6F45000E3 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:01:51] 685*2^1226643-1 is not prime. Res64: C01EC1750E3829F8 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:01:52] 609*2^1226643-1 is not prime. Res64: F47B36F1B4836371 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:01:52] 795*2^1226643-1 is not prime. Res64: 49A859F51833BD8E Time : 0.0 sec. user=mdettweiler [2012-08-17 22:22:48] 743*2^1226644-1 is not prime. Res64: 72D123776DAA7656 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:22:49] 803*2^1226644-1 is not prime. Res64: 9C66BB60BB38D6C3 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:22:49] 899*2^1226644-1 is not prime. Res64: 5988F9729312CDFE Time : 0.0 sec. user=mdettweiler [2012-08-17 22:22:49] 905*2^1226644-1 is not prime. Res64: 9A1AB606E6061097 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:23:55] 955*2^1226643-1 is not prime. Res64: 3617C7B05AEE7EE4 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:31:13] 609*2^1226644-1 is not prime. Res64: 18AE1EAB0C3B13E4 Time : 0.0 sec. user=vaughan [2012-08-17 22:38:15] 717*2^1226644-1 is not prime. Res64: 7E33FBD284DA5B32 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:43:51] 915*2^1226644-1 is not prime. Res64: 613380198F587029 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:43:52] 927*2^1226644-1 is not prime. Res64: 6D04A9FF61388C13 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:43:52] 929*2^1226644-1 is not prime. Res64: 9AFA98E67EA9F941 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:43:52] 907*2^1226645-1 is not prime. Res64: 04CAA090E2DBED71 Time : 0.0 sec. user=mdettweiler [2012-08-17 22:58:39] 985*2^1226645-1 is not prime. Res64: 074B4AFEFC8DF117 Time : 0.0 sec. user=gd_barnes [2012-08-17 23:01:29] 641*2^1226646-1 is not prime. Res64: 6BDFF031C6DC694A Time : 0.0 sec. user=mdettweiler [2012-08-17 23:04:54] 867*2^1226646-1 is not prime. Res64: 899D782C2D1228B4 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:04:55] 741*2^1226647-1 is not prime. Res64: 70F005B858DA2AF7 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:04:56] 971*2^1226646-1 is not prime. Res64: B37F214182A9EDF6 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:04:57] 829*2^1226647-1 is not prime. Res64: DC36EC224FA6AD9E Time : 0.0 sec. user=mdettweiler [2012-08-17 23:06:14] 713*2^1226646-1 is not prime. Res64: 3552077AAEAEF5CB Time : 0.0 sec. user=vaughan [2012-08-17 23:15:53] 833*2^1226646-1 is not prime. Res64: 7AE535FAB19F7B0F Time : 0.0 sec. user=mdettweiler [2012-08-17 23:26:07] 623*2^1226648-1 is not prime. Res64: 3D2DD04E838492B0 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:26:07] 657*2^1226648-1 is not prime. Res64: 9F2B578634A0E7F5 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:26:07] 713*2^1226648-1 is not prime. Res64: F9CF27493F57F0C5 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:26:08] 735*2^1226648-1 is not prime. Res64: 0A1E3B6D7E0DC320 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:33:14] 891*2^1226647-1 is not prime. Res64: 85404D7274E55E01 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:40:38] 767*2^1226648-1 is not prime. Res64: 50FB8F94029702F6 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:47:15] 661*2^1226649-1 is not prime. Res64: B18B485520E7DF69 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:47:15] 867*2^1226648-1 is not prime. Res64: 81D64F46C0244C49 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:47:15] 945*2^1226649-1 is not prime. Res64: 91E44BD86FA34F32 Time : 0.0 sec. user=mdettweiler [2012-08-17 23:47:15] 959*2^1226648-1 is not prime. Res64: DBCD435E6AEE0B16 Time : 0.0 sec. user=vaughan [2012-08-17 23:53:44] 815*2^1226648-1 is not prime. Res64: 9BC4241A4464AE87 Time : 0.0 sec.