user=mdettweiler [2012-12-03 00:01:36] 857*2^1236736-1 is not prime. Res64: 8637F830FF914C48 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:01:37] 903*2^1236736-1 is not prime. Res64: A00B93A2755014E6 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:09:26] 909*2^1236736-1 is not prime. Res64: 68DCACCA39AF9D38 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:09:29] 965*2^1236736-1 is not prime. Res64: BCEEFC41DA39FEA0 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:18:54] 969*2^1236736-1 is not prime. Res64: BB623464FC9997C7 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:18:57] 741*2^1236737-1 is not prime. Res64: B62C68F21953E83A Time : 0.0 sec. user=mdettweiler [2012-12-03 00:26:53] 801*2^1236737-1 is not prime. Res64: 0C220BFEB8086ED4 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:26:53] 847*2^1236737-1 is not prime. Res64: C90C17BD49308034 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:36:44] 889*2^1236737-1 is not prime. Res64: 4BF1825AD577F855 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:36:44] 893*2^1236738-1 is not prime. Res64: 4F70EFBFABCC7B02 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:44:10] 977*2^1236738-1 is not prime. Res64: 9584C4D43DCA4693 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:44:10] 603*2^1236739-1 is not prime. Res64: 58EFE8FAC22CD7A7 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:54:03] 645*2^1236739-1 is not prime. Res64: 900EE50F9847AD12 Time : 0.0 sec. user=mdettweiler [2012-12-03 00:54:03] 885*2^1236739-1 is not prime. Res64: C78D871414BA1999 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:01:29] 891*2^1236739-1 is not prime. Res64: 3D94528F58F56F06 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:01:32] 961*2^1236739-1 is not prime. Res64: 7CE6DC671385A999 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:11:21] 635*2^1236740-1 is not prime. Res64: 80DFF89E7DBF3024 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:11:24] 659*2^1236740-1 is not prime. Res64: 5A3A52981E6111D6 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:19:04] 843*2^1236740-1 is not prime. Res64: 1315204B57B3C53C Time : 0.0 sec. user=mdettweiler [2012-12-03 01:19:06] 875*2^1236740-1 is not prime. Res64: 8AA201D96B48069C Time : 0.0 sec. user=mdettweiler [2012-12-03 01:29:17] 983*2^1236740-1 is not prime. Res64: 07CAFD80161A43BF Time : 0.0 sec. user=mdettweiler [2012-12-03 01:29:17] 795*2^1236741-1 is not prime. Res64: BF4C59963188A9DA Time : 0.0 sec. user=mdettweiler [2012-12-03 01:36:31] 817*2^1236741-1 is not prime. Res64: 739F712F371B344A Time : 0.0 sec. user=mdettweiler [2012-12-03 01:36:32] 927*2^1236741-1 is not prime. Res64: E76CA0ECBFFAE054 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:46:35] 979*2^1236741-1 is not prime. Res64: 96C6A30EE5D5E2A7 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:46:35] 997*2^1236741-1 is not prime. Res64: 01F8390F130689AE Time : 0.0 sec. user=mdettweiler [2012-12-03 01:53:48] 645*2^1236742-1 is not prime. Res64: 3D6C842D0103DCE8 Time : 0.0 sec. user=mdettweiler [2012-12-03 01:53:48] 665*2^1236742-1 is not prime. Res64: 2A8917570EBB073A Time : 0.0 sec. user=mdettweiler [2012-12-03 02:03:52] 891*2^1236742-1 is not prime. Res64: 899489DC21173A26 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:03:55] 915*2^1236742-1 is not prime. Res64: 11FB042CFC0D9C28 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:11:06] 685*2^1236743-1 is not prime. Res64: C53B9AA5D7FEFAAF Time : 0.0 sec. user=mdettweiler [2012-12-03 02:11:10] 745*2^1236743-1 is not prime. Res64: FC9FFFD815AC94AA Time : 0.0 sec. user=mdettweiler [2012-12-03 02:21:17] 939*2^1236743-1 is not prime. Res64: B8BD36E4824C729B Time : 0.0 sec. user=mdettweiler [2012-12-03 02:21:18] 943*2^1236743-1 is not prime. Res64: 894BC761C18FB514 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:28:42] 991*2^1236743-1 is not prime. Res64: 81611EB1708073EB Time : 0.0 sec. user=mdettweiler [2012-12-03 02:28:42] 657*2^1236744-1 is not prime. Res64: 480EF51802D3663A Time : 0.0 sec. user=mdettweiler [2012-12-03 02:38:40] 909*2^1236744-1 is not prime. Res64: 69E26F41E0225806 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:38:43] 601*2^1236745-1 is not prime. Res64: D0D497AA011DE3B3 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:45:59] 619*2^1236745-1 is not prime. Res64: 1A6CC1F4DD3404B6 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:46:01] 771*2^1236745-1 is not prime. Res64: 1BC309C81E7BF895 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:56:32] 799*2^1236745-1 is not prime. Res64: BB849B6763237556 Time : 0.0 sec. user=mdettweiler [2012-12-03 02:56:35] 855*2^1236745-1 is not prime. Res64: 4BFADBDCF1F54EB2 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:03:29] 957*2^1236745-1 is not prime. Res64: 0BECD909E18D6F9A Time : 0.0 sec. user=mdettweiler [2012-12-03 03:03:34] 623*2^1236746-1 is not prime. Res64: DD6157BD653F223D Time : 0.0 sec. user=mdettweiler [2012-12-03 03:14:12] 645*2^1236746-1 is not prime. Res64: EC5E2DD560B5D1DC Time : 0.0 sec. user=mdettweiler [2012-12-03 03:14:13] 717*2^1236746-1 is not prime. Res64: F40BCA8D82F5E0C4 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:21:24] 813*2^1236746-1 is not prime. Res64: B6F4E37C575CA79E Time : 0.0 sec. user=mdettweiler [2012-12-03 03:21:25] 831*2^1236746-1 is not prime. Res64: F24C1C897DBD9256 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:31:37] 941*2^1236746-1 is not prime. Res64: DC4A44BA5E043ED7 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:31:43] 945*2^1236746-1 is not prime. Res64: 6C1B264CB9DCEA51 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:38:47] 971*2^1236746-1 is not prime. Res64: 7654A7EEB8768039 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:38:50] 615*2^1236747-1 is not prime. Res64: 3909A15825742034 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:49:23] 685*2^1236747-1 is not prime. Res64: 03A5536AE8AFA549 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:49:25] 825*2^1236747-1 is not prime. Res64: 0301A9949491F0D2 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:56:17] 985*2^1236747-1 is not prime. Res64: BE4F68EB8828DD99 Time : 0.0 sec. user=mdettweiler [2012-12-03 03:56:18] 705*2^1236748-1 is not prime. Res64: 37810C420880061B Time : 0.0 sec. user=mdettweiler [2012-12-03 04:06:52] 765*2^1236748-1 is not prime. Res64: 70AC38F65C0B650A Time : 0.0 sec. user=mdettweiler [2012-12-03 04:06:54] 827*2^1236748-1 is not prime. Res64: 7C2D6C5A111DAB03 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:13:36] 929*2^1236748-1 is not prime. Res64: B20219392133C129 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:13:39] 601*2^1236749-1 is not prime. Res64: E03BA129B1B12766 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:24:28] 657*2^1236749-1 is not prime. Res64: C7581229F7B53CA1 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:24:29] 741*2^1236749-1 is not prime. Res64: 906B00FA1C6CBEFE Time : 0.0 sec. user=mdettweiler [2012-12-03 04:31:09] 847*2^1236749-1 is not prime. Res64: D93B2E338B3216B1 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:31:11] 955*2^1236749-1 is not prime. Res64: 2E52E4D8547E2BFC Time : 0.0 sec. user=mdettweiler [2012-12-03 04:41:49] 979*2^1236749-1 is not prime. Res64: 4FB00BCD0B826A22 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:41:50] 693*2^1236750-1 is not prime. Res64: 92890AB0433E9B2D Time : 0.0 sec. user=mdettweiler [2012-12-03 04:48:29] 767*2^1236750-1 is not prime. Res64: EDDE7CA853E41259 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:48:30] 797*2^1236750-1 is not prime. Res64: 7CCBF1785AA6075D Time : 0.0 sec. user=mdettweiler [2012-12-03 04:59:17] 915*2^1236750-1 is not prime. Res64: 1FEBD3BF0D9E4627 Time : 0.0 sec. user=mdettweiler [2012-12-03 04:59:17] 645*2^1236751-1 is not prime. Res64: DD1B999D567E5FEF Time : 0.0 sec. user=mdettweiler [2012-12-03 05:05:48] 651*2^1236751-1 is not prime. Res64: A78C7F88DAD5F7A9 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:05:51] 673*2^1236751-1 is not prime. Res64: A50C8A274847D0D1 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:16:34] 843*2^1236751-1 is not prime. Res64: 579D8F03880B298C Time : 0.0 sec. user=mdettweiler [2012-12-03 05:16:35] 871*2^1236751-1 is not prime. Res64: A0A20D293573442E Time : 0.0 sec. user=mdettweiler [2012-12-03 05:23:43] 883*2^1236751-1 is not prime. Res64: 10FAEF311046B95B Time : 0.0 sec. user=mdettweiler [2012-12-03 05:23:44] 913*2^1236751-1 is not prime. Res64: 3ACD4ABF2FF78EBB Time : 0.0 sec. user=mdettweiler [2012-12-03 05:33:53] 635*2^1236752-1 is not prime. Res64: 5EA082E8A8F9B3D8 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:33:55] 857*2^1236752-1 is not prime. Res64: 9C808713D196A900 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:41:00] 995*2^1236752-1 is not prime. Res64: C3AD472FA9481A33 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:41:01] 819*2^1236753-1 is not prime. Res64: B6DD7B320C7CEE48 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:51:26] 665*2^1236754-1 is not prime. Res64: DBBA76FEFE402553 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:51:27] 827*2^1236754-1 is not prime. Res64: 22A5EB8756C13A35 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:58:18] 861*2^1236754-1 is not prime. Res64: B6370150F8EF07F6 Time : 0.0 sec. user=mdettweiler [2012-12-03 05:58:18] 947*2^1236754-1 is not prime. Res64: 57D1A6568BBB002B Time : 0.0 sec. user=mdettweiler [2012-12-03 06:08:44] 975*2^1236754-1 is not prime. Res64: A9851A73F227D887 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:08:45] 619*2^1236755-1 is not prime. Res64: 1F83F5219304829D Time : 0.0 sec. user=mdettweiler [2012-12-03 06:15:37] 799*2^1236755-1 is not prime. Res64: E99841248114C917 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:15:42] 805*2^1236755-1 is not prime. Res64: D1CFC23AA2E52041 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:26:05] 949*2^1236755-1 is not prime. Res64: 0F83F8EE7D5BC18C Time : 0.0 sec. user=mdettweiler [2012-12-03 06:26:05] 999*2^1236755-1 is not prime. Res64: CFDE2725C328F7A7 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:33:37] 635*2^1236756-1 is not prime. Res64: 80ED63FEC9F395F2 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:33:38] 689*2^1236756-1 is not prime. Res64: 090B26F9F296C822 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:43:24] 707*2^1236756-1 is not prime. Res64: EC8547F1DE9E5A0D Time : 0.0 sec. user=mdettweiler [2012-12-03 06:43:24] 717*2^1236756-1 is not prime. Res64: 477BF16CE6919A7A Time : 0.0 sec. user=mdettweiler [2012-12-03 06:50:55] 779*2^1236756-1 is not prime. Res64: CA95F64DE7313A27 Time : 0.0 sec. user=mdettweiler [2012-12-03 06:50:55] 837*2^1236756-1 is not prime. Res64: B7F8476954F1132B Time : 0.0 sec. user=mdettweiler [2012-12-03 07:00:43] 661*2^1236757-1 is not prime. Res64: 2CE7642971B0EEA2 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:00:44] 741*2^1236757-1 is not prime. Res64: E121B323A7AFA3B4 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:08:12] 751*2^1236757-1 is not prime. Res64: 1E300E1D104F85CE Time : 0.0 sec. user=mdettweiler [2012-12-03 07:08:13] 901*2^1236757-1 is not prime. Res64: FAE35DA696DF212C Time : 0.0 sec. user=mdettweiler [2012-12-03 07:18:12] 603*2^1236758-1 is not prime. Res64: 1589C6C8ED663305 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:18:14] 627*2^1236758-1 is not prime. Res64: AB12231A322B854C Time : 0.0 sec. user=mdettweiler [2012-12-03 07:25:30] 645*2^1236758-1 is not prime. Res64: BED24A2630E84CE2 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:25:31] 665*2^1236758-1 is not prime. Res64: 418E651EF85ABCEE Time : 0.0 sec. user=mdettweiler [2012-12-03 07:35:44] 677*2^1236758-1 is not prime. Res64: 7231ADC9CE9FC742 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:35:45] 705*2^1236758-1 is not prime. Res64: BF91A681B3E63979 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:42:48] 887*2^1236758-1 is not prime. Res64: F3C9137CEAE20BEF Time : 0.0 sec. user=mdettweiler [2012-12-03 07:42:49] 977*2^1236758-1 is not prime. Res64: EFCFE3B451A3D73C Time : 0.0 sec. user=mdettweiler [2012-12-03 07:53:02] 829*2^1236759-1 is not prime. Res64: D4C6AC9F9DA11811 Time : 0.0 sec. user=mdettweiler [2012-12-03 07:53:02] 831*2^1236759-1 is not prime. Res64: D0D0E31AA0F95065 Time : 0.0 sec. user=mdettweiler [2012-12-03 08:00:07] 895*2^1236759-1 is not prime. Res64: 24D053F4A4BB8B2B Time : 0.0 sec. user=mdettweiler [2012-12-03 08:00:08] 969*2^1236759-1 is not prime. Res64: E8EA474F25DC9CDC Time : 0.0 sec. user=mdettweiler [2012-12-03 08:10:20] 645*2^1236760-1 is not prime. Res64: B015B9116AE2420E Time : 0.0 sec. user=mdettweiler [2012-12-03 08:10:21] 665*2^1236760-1 is not prime. Res64: 25EA014A32F3A7B4 Time : 0.0 sec. user=mdettweiler [2012-12-03 08:18:53] 713*2^1236760-1 is not prime. Res64: 6CA294E64DC6CF41 Time : 0.0 sec. user=mdettweiler [2012-12-03 08:27:43] 999*2^1236760-1 is not prime. Res64: E6DDE68A6DA85B6C Time : 0.0 sec. user=mdettweiler [2012-12-03 08:27:43] 631*2^1236761-1 is not prime. Res64: 12736DB92D2EE333 Time : 0.0 sec. user=mdettweiler [2012-12-03 08:45:02] 657*2^1236761-1 is not prime. Res64: 136E30440ED708BB Time : 0.0 sec. user=mdettweiler [2012-12-03 08:45:02] 715*2^1236761-1 is not prime. Res64: 03E3F0A1B3F57238 Time : 0.0 sec. user=mdettweiler [2012-12-03 08:45:12] 855*2^1236760-1 is not prime. Res64: D3E9F6EFBF0D4183 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:02:20] 795*2^1236761-1 is not prime. Res64: FA9405065A8C4186 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:02:22] 799*2^1236761-1 is not prime. Res64: 387290C73523E0AC Time : 0.0 sec. user=mdettweiler [2012-12-03 09:02:31] 879*2^1236761-1 is not prime. Res64: F33B70235939AB87 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:02:33] 937*2^1236761-1 is not prime. Res64: 08B4003B320678F2 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:20:16] 981*2^1236761-1 is not prime. Res64: 034E826CA9023D77 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:20:21] 633*2^1236762-1 is not prime. Res64: 2F93550EB2562E31 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:20:21] 651*2^1236762-1 is not prime. Res64: 55C0501B5436C258 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:20:24] 711*2^1236762-1 is not prime. Res64: 56396E85AE2409E6 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:37:53] 725*2^1236762-1 is not prime. Res64: 251B2C5644DAAC47 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:37:53] 735*2^1236762-1 is not prime. Res64: CC6CDA09EE155DF7 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:37:55] 755*2^1236762-1 is not prime. Res64: A2B429E6002BD908 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:37:56] 767*2^1236762-1 is not prime. Res64: 1FD46B74EBBE4121 Time : 0.0 sec. user=mdettweiler [2012-12-03 09:55:10] 821*2^1236762-1 is not prime. Res64: E86CD5A01BC9B68E Time : 0.0 sec. user=mdettweiler [2012-12-03 09:55:11] 833*2^1236762-1 is not prime. Res64: 8FB927903A9C887D Time : 0.0 sec. user=mdettweiler [2012-12-03 09:55:13] 885*2^1236762-1 is not prime. Res64: B9A3C9CD0A3BA12D Time : 0.0 sec. user=mdettweiler [2012-12-03 09:55:14] 975*2^1236762-1 is not prime. Res64: 292FFCA301AF8373 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:12:29] 679*2^1236763-1 is not prime. Res64: A811E4BE664C85C1 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:12:31] 685*2^1236763-1 is not prime. Res64: AEC2ACF195D3615A Time : 0.0 sec. user=mdettweiler [2012-12-03 10:12:33] 745*2^1236763-1 is not prime. Res64: 24C79E0E225635E2 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:12:35] 811*2^1236763-1 is not prime. Res64: D12BF8840FF736C4 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:29:55] 855*2^1236763-1 is not prime. Res64: EBEF7B82FC0B9574 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:29:56] 969*2^1236763-1 is not prime. Res64: AB6532A22CC46A8A Time : 0.0 sec. user=mdettweiler [2012-12-03 10:29:58] 635*2^1236764-1 is not prime. Res64: CA508368F6F24669 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:29:58] 683*2^1236764-1 is not prime. Res64: D5541E9E22B9E574 Time : 0.0 sec. user=mdettweiler [2012-12-03 10:47:15] 755*2^1236764-1 is not prime. Res64: 67180E0A480B46FB Time : 0.0 sec. user=mdettweiler [2012-12-03 10:47:15] 773*2^1236764-1 is not prime. Res64: 8A62B79DEA85473F Time : 0.0 sec. user=mdettweiler [2012-12-03 10:47:17] 813*2^1236764-1 is not prime. Res64: 0EA948E496C9EAED Time : 0.0 sec. user=mdettweiler [2012-12-03 10:47:17] 819*2^1236764-1 is not prime. Res64: 56EF36233CFBB736 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:04:33] 857*2^1236764-1 is not prime. Res64: 62D05D18FF7FAFCF Time : 0.0 sec. user=mdettweiler [2012-12-03 11:04:35] 609*2^1236765-1 is not prime. Res64: AB84A0CA19252C48 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:04:36] 669*2^1236765-1 is not prime. Res64: 94A918E6C6E670DC Time : 0.0 sec. user=mdettweiler [2012-12-03 11:04:38] 675*2^1236765-1 is not prime. Res64: 90C46C24E65520D4 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:22:06] 711*2^1236765-1 is not prime. Res64: 91C3384B9EFAD13B Time : 0.0 sec. user=mdettweiler [2012-12-03 11:22:08] 805*2^1236765-1 is not prime. Res64: 6637861E39DD20D8 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:22:08] 885*2^1236765-1 is not prime. Res64: 54F417A897178AF4 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:22:09] 961*2^1236765-1 is not prime. Res64: C40472B8EF4A3B90 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:39:32] 991*2^1236765-1 is not prime. Res64: 682A3080030806F8 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:39:33] 999*2^1236765-1 is not prime. Res64: B20B61F9D4C6C0D2 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:39:34] 675*2^1236766-1 is not prime. Res64: BCF25F7334C98B70 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:39:34] 713*2^1236766-1 is not prime. Res64: DA7910B291EAA840 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:56:51] 965*2^1236766-1 is not prime. Res64: A3A054AC271F8AB0 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:56:51] 971*2^1236766-1 is not prime. Res64: A11DC7213282C0F6 Time : 0.0 sec. user=mdettweiler [2012-12-03 11:56:54] 661*2^1236767-1 is not prime. Res64: A2C6B03AC2C2DE7C Time : 0.0 sec. user=mdettweiler [2012-12-03 11:56:54] 693*2^1236767-1 is not prime. Res64: 5706FA095F979362 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:14:09] 705*2^1236767-1 is not prime. Res64: 24736C8702A9A0FC Time : 0.0 sec. user=mdettweiler [2012-12-03 12:14:10] 913*2^1236767-1 is not prime. Res64: 67CB13102E1C8268 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:14:11] 931*2^1236767-1 is not prime. Res64: D03E01FC0429C94F Time : 0.0 sec. user=mdettweiler [2012-12-03 12:14:12] 993*2^1236767-1 is not prime. Res64: 0398EBD68CCB290C Time : 0.0 sec. user=mdettweiler [2012-12-03 12:31:46] 867*2^1236768-1 is not prime. Res64: 54D6471A5AD61EA7 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:31:46] 969*2^1236768-1 is not prime. Res64: 73BC236E53241F6B Time : 0.0 sec. user=mdettweiler [2012-12-03 12:31:49] 993*2^1236768-1 is not prime. Res64: 2261098000DC1332 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:31:50] 705*2^1236769-1 is not prime. Res64: E638382743E96066 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:49:06] 801*2^1236769-1 is not prime. Res64: E56055DDEA99E45A Time : 0.0 sec. user=mdettweiler [2012-12-03 12:49:07] 835*2^1236769-1 is not prime. Res64: A7F8377914868779 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:49:10] 861*2^1236769-1 is not prime. Res64: 5DA10DFBD8283BE9 Time : 0.0 sec. user=mdettweiler [2012-12-03 12:49:10] 939*2^1236769-1 is not prime. Res64: 13E6906E00E59CEA Time : 0.0 sec. user=mdettweiler [2012-12-03 13:06:36] 945*2^1236769-1 is not prime. Res64: BFA164F2BF9A8F53 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:06:38] 951*2^1236769-1 is not prime. Res64: 67F5BBE04E6F9C07 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:06:39] 967*2^1236769-1 is not prime. Res64: E2BD55B46A55D104 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:06:40] 713*2^1236770-1 is not prime. Res64: 8F8D5C47B4DC75D2 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:24:22] 717*2^1236770-1 is not prime. Res64: BC805A68A0755908 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:24:23] 773*2^1236770-1 is not prime. Res64: 80493AE0B0DBD57B Time : 0.0 sec. user=mdettweiler [2012-12-03 13:24:25] 783*2^1236770-1 is not prime. Res64: 79A49D9C9B46D7CB Time : 0.0 sec. user=mdettweiler [2012-12-03 13:24:26] 945*2^1236770-1 is not prime. Res64: 8A269D7853647FBF Time : 0.0 sec. user=mdettweiler [2012-12-03 13:42:10] 609*2^1236771-1 is not prime. Res64: AA2F54B4B8C7D056 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:42:10] 619*2^1236771-1 is not prime. Res64: 326D67A7181B522E Time : 0.0 sec. user=mdettweiler [2012-12-03 13:42:11] 819*2^1236771-1 is not prime. Res64: F7CD257763E4BA48 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:42:11] 909*2^1236771-1 is not prime. Res64: 4A6A80B15AFAACE5 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:59:44] 943*2^1236771-1 is not prime. Res64: C5C069FBFC34CD7D Time : 0.0 sec. user=mdettweiler [2012-12-03 13:59:45] 973*2^1236771-1 is not prime. Res64: C833EDA7F278D7CA Time : 0.0 sec. user=mdettweiler [2012-12-03 13:59:46] 991*2^1236771-1 is not prime. Res64: 82F0A20A8832F4B1 Time : 0.0 sec. user=mdettweiler [2012-12-03 13:59:46] 603*2^1236772-1 is not prime. Res64: 8C04C88D0CA11A88 Time : 0.0 sec. user=mdettweiler [2012-12-03 14:17:09] 689*2^1236772-1 is not prime. Res64: 7483D37EC610342F Time : 0.0 sec. user=mdettweiler [2012-12-03 14:17:10] 635*2^1236772-1 is not prime. Res64: E448832F34E11E07 Time : 0.0 sec. user=mdettweiler [2012-12-03 14:17:11] 749*2^1236772-1 is not prime. Res64: F3988746574ADD9A Time : 0.0 sec. user=mdettweiler [2012-12-03 14:17:12] 653*2^1236772-1 is not prime. Res64: 17D096B1460D7970 Time : 0.0 sec. user=mdettweiler [2012-12-03 14:34:46] 759*2^1236772-1 is not prime. Res64: 9B7DB4715747788D Time : 0.0 sec. user=mdettweiler [2012-12-03 14:34:46] 903*2^1236772-1 is not prime. Res64: BE143847CD82DCDE Time : 0.0 sec. user=mdettweiler [2012-12-03 14:34:51] 909*2^1236772-1 is not prime. Res64: D3FDBFAE2FAE065C Time : 0.0 sec. user=mdettweiler [2012-12-03 14:34:51] 929*2^1236772-1 is not prime. Res64: C9E9AA16025B62F8 Time : 0.0 sec. user=mdettweiler [2012-12-03 14:52:11] 933*2^1236772-1 is not prime. Res64: D529D2EE66D8F51F Time : 0.0 sec. user=mdettweiler [2012-12-03 14:52:12] 995*2^1236772-1 is not prime. Res64: 33736B5901F0BDBD Time : 0.0 sec. user=mdettweiler [2012-12-03 14:52:16] 627*2^1236773-1 is not prime. Res64: 5DA7C0D32441E954 Time : 0.0 sec. user=mdettweiler [2012-12-03 14:52:16] 631*2^1236773-1 is not prime. Res64: 4D08DAB391702C6C Time : 0.0 sec. user=mdettweiler [2012-12-03 15:09:53] 651*2^1236773-1 is not prime. Res64: 812D3FD28AD068D0 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:09:56] 657*2^1236773-1 is not prime. Res64: 11A3243E3BC8A312 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:09:57] 697*2^1236773-1 is not prime. Res64: 273DF627F55AF836 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:09:59] 721*2^1236773-1 is not prime. Res64: FD4085D9A70E4F38 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:27:44] 771*2^1236773-1 is not prime. Res64: 895FC7470EC9F6EC Time : 0.0 sec. user=mdettweiler [2012-12-03 15:27:44] 775*2^1236773-1 is not prime. Res64: 191F73AD5A72370A Time : 0.0 sec. user=mdettweiler [2012-12-03 15:27:48] 801*2^1236773-1 is not prime. Res64: B2784A8610CC8958 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:27:48] 837*2^1236773-1 is not prime. Res64: 1D5F56CE36733A14 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:45:22] 925*2^1236773-1 is not prime. Res64: 00D534A908FCBA15 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:45:22] 985*2^1236773-1 is not prime. Res64: 1A62A79DA9063B21 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:45:26] 987*2^1236773-1 is not prime. Res64: 952CA73A6D74ABA6 Time : 0.0 sec. user=mdettweiler [2012-12-03 15:45:26] 621*2^1236774-1 is not prime. Res64: D617F37CC730F319 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:02:51] 635*2^1236774-1 is not prime. Res64: 90F388244F55F951 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:02:52] 683*2^1236774-1 is not prime. Res64: BA916432DAFD5E49 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:02:55] 705*2^1236774-1 is not prime. Res64: F4A134441D3E5947 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:02:56] 807*2^1236774-1 is not prime. Res64: 98F807F7E18B0B54 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:20:23] 815*2^1236774-1 is not prime. Res64: 2C14F355300293D1 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:20:23] 863*2^1236774-1 is not prime. Res64: 49765AAFD0169CAE Time : 0.0 sec. user=mdettweiler [2012-12-03 16:20:24] 885*2^1236774-1 is not prime. Res64: 8C6D2B0F51A60300 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:20:24] 945*2^1236774-1 is not prime. Res64: 03987A134B185E77 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:37:51] 639*2^1236775-1 is not prime. Res64: 4DE94A80277DD875 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:37:52] 673*2^1236775-1 is not prime. Res64: FBBF4B81069F87F6 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:37:52] 675*2^1236775-1 is not prime. Res64: 6E73921CAF867AF9 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:37:53] 861*2^1236775-1 is not prime. Res64: DA3940971D43C1D2 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:55:19] 915*2^1236775-1 is not prime. Res64: 23B31F1F24CAC174 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:55:19] 979*2^1236775-1 is not prime. Res64: A30BDD2EAEEAAF72 Time : 0.0 sec. user=mdettweiler [2012-12-03 16:55:21] 677*2^1236776-1 is not prime. Res64: 3301C0900442E24C Time : 0.0 sec. user=mdettweiler [2012-12-03 16:55:22] 767*2^1236776-1 is not prime. Res64: D18B5153E170E9EE Time : 0.0 sec. user=mdettweiler [2012-12-03 17:12:47] 897*2^1236776-1 is not prime. Res64: 12B01A5A3EBB589A Time : 0.0 sec. user=mdettweiler [2012-12-03 17:12:52] 741*2^1236777-1 is not prime. Res64: 0E2E19AF79D1C3B0 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:12:54] 899*2^1236776-1 is not prime. Res64: D8C49812FAAF8B2D Time : 0.0 sec. user=mdettweiler [2012-12-03 17:12:57] 765*2^1236777-1 is not prime. Res64: 8E0DC429F30F47B7 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:30:56] 829*2^1236777-1 is not prime. Res64: D712A26CF54876BC Time : 0.0 sec. user=mdettweiler [2012-12-03 17:30:56] 889*2^1236777-1 is not prime. Res64: 4138073199826864 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:30:59] 603*2^1236778-1 is not prime. Res64: D2440EB20EB2EDC0 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:30:59] 621*2^1236778-1 is not prime. Res64: 75C920439658C980 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:48:47] 651*2^1236778-1 is not prime. Res64: 5EC9DD69D601F332 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:48:47] 665*2^1236778-1 is not prime. Res64: 653314089F469146 Time : 0.0 sec. user=mdettweiler [2012-12-03 17:48:49] 677*2^1236778-1 is not prime. Res64: 05A7B0C15DEFBFEE Time : 0.0 sec. user=mdettweiler [2012-12-03 17:48:49] 681*2^1236778-1 is not prime. Res64: C95B854004636D95 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:06:39] 731*2^1236778-1 is not prime. Res64: D2D71C97B965822B Time : 0.0 sec. user=mdettweiler [2012-12-03 18:06:43] 957*2^1236778-1 is not prime. Res64: 4FBEA7ECACAB3016 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:06:45] 993*2^1236778-1 is not prime. Res64: 212B28E32E4D16A9 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:06:48] 615*2^1236779-1 is not prime. Res64: 7523EB7A94EE1178 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:24:58] 693*2^1236779-1 is not prime. Res64: 7BE8D3BA9064F8B1 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:24:59] 703*2^1236779-1 is not prime. Res64: F0F95BC1FA11DA4F Time : 0.0 sec. user=mdettweiler [2012-12-03 18:25:22] 735*2^1236779-1 is not prime. Res64: 3058EAA6A4013E2D Time : 0.0 sec. user=mdettweiler [2012-12-03 18:25:23] 745*2^1236779-1 is not prime. Res64: 35D181A4F7C5FD31 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:42:36] 825*2^1236779-1 is not prime. Res64: 515435439FB51914 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:42:36] 879*2^1236779-1 is not prime. Res64: 22D2164BEB9CF866 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:42:52] 903*2^1236779-1 is not prime. Res64: C7DAC1E989E62A45 Time : 0.0 sec. user=mdettweiler [2012-12-03 18:42:52] 943*2^1236779-1 is not prime. Res64: DE3012E3752C3B62 Time : 0.0 sec. user=mdettweiler [2012-12-03 19:00:02] 665*2^1236780-1 is not prime. Res64: 07D2C2A1497CED6D Time : 0.0 sec. user=mdettweiler [2012-12-03 19:00:03] 689*2^1236780-1 is not prime. Res64: B90F13DFDC5636AC Time : 0.0 sec. user=mdettweiler [2012-12-03 19:00:16] 719*2^1236780-1 is not prime. Res64: 157DBDAD9AE8872E Time : 0.0 sec. user=mdettweiler [2012-12-03 19:00:17] 737*2^1236780-1 is not prime. Res64: 9A1839F625FF1602 Time : 0.0 sec. user=mdettweiler [2012-12-03 19:17:54] 789*2^1236780-1 is not prime. Res64: C9637B0A757A368A Time : 0.0 sec. user=mdettweiler [2012-12-03 19:17:54] 927*2^1236780-1 is not prime. Res64: 1B5C3562EE7A95C9 Time : 0.0 sec. user=mdettweiler [2012-12-03 19:34:37] 809*2^1236780-1 is not prime. Res64: A57878ADBD47991E Time : 0.0 sec. user=mdettweiler [2012-12-03 19:36:11] 651*2^1236781-1 is not prime. Res64: FE5658BDC296D59D Time : 0.0 sec. user=mdettweiler [2012-12-03 19:51:59] 819*2^1236781-1 is not prime. Res64: 97072F5287361481 Time : 0.0 sec. user=mdettweiler [2012-12-03 19:51:59] 825*2^1236781-1 is not prime. Res64: FC5631E2C80223B7 Time : 0.0 sec. user=mdettweiler [2012-12-03 19:53:30] 889*2^1236781-1 is not prime. Res64: 7BFC99C93F31E12C Time : 0.0 sec. user=mdettweiler [2012-12-03 19:53:31] 895*2^1236781-1 is not prime. Res64: 2815E64DA2496AE1 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:09:27] 951*2^1236781-1 is not prime. Res64: A95379E7BD4687A1 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:09:28] 645*2^1236782-1 is not prime. Res64: 40098C697ED78F15 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:10:58] 705*2^1236782-1 is not prime. Res64: 3BA7D199EB032FC8 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:11:00] 815*2^1236782-1 is not prime. Res64: 73134C4D4F0590F6 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:27:00] 827*2^1236782-1 is not prime. Res64: DE1D5ED0DE5B206D Time : 0.0 sec. user=mdettweiler [2012-12-03 20:27:00] 885*2^1236782-1 is not prime. Res64: ED2E1F382B19B878 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:28:30] 709*2^1236783-1 is not prime. Res64: 4275A2F29385986E Time : 0.0 sec. user=mdettweiler [2012-12-03 20:28:30] 739*2^1236783-1 is not prime. Res64: BE983BF4AB9D8DBB Time : 0.0 sec. user=mdettweiler [2012-12-03 20:44:23] 781*2^1236783-1 is not prime. Res64: 83DEFB6FF2A2749D Time : 0.0 sec. user=mdettweiler [2012-12-03 20:44:24] 783*2^1236783-1 is not prime. Res64: 39185175A81C6D73 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:45:52] 789*2^1236783-1 is not prime. Res64: D5497A3771D5F0C9 Time : 0.0 sec. user=mdettweiler [2012-12-03 20:45:52] 819*2^1236783-1 is not prime. Res64: 0DDE8F5215F8F9BF Time : 0.0 sec. user=mdettweiler [2012-12-03 21:01:45] 831*2^1236783-1 is not prime. Res64: E2AB4BBC4F847D12 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:01:46] 665*2^1236784-1 is not prime. Res64: 63640AA3971B2A97 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:03:12] 705*2^1236784-1 is not prime. Res64: 6C704600BCB7CC4F Time : 0.0 sec. user=mdettweiler [2012-12-03 21:03:14] 825*2^1236784-1 is not prime. Res64: 7780EEAF86131B2A Time : 0.0 sec. user=mdettweiler [2012-12-03 21:19:23] 849*2^1236784-1 is not prime. Res64: A0451C96D185D9C4 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:19:23] 897*2^1236784-1 is not prime. Res64: 7B51EA37D144305C Time : 0.0 sec. user=mdettweiler [2012-12-03 21:20:41] 959*2^1236784-1 is not prime. Res64: 6814EECE0D08BAD1 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:20:42] 989*2^1236784-1 is not prime. Res64: 07D00A616D34D9A8 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:37:06] 627*2^1236785-1 is not prime. Res64: BF4DCC14C06EB75F Time : 0.0 sec. user=mdettweiler [2012-12-03 21:37:07] 697*2^1236785-1 is not prime. Res64: 220FBCC8C543C21F Time : 0.0 sec. user=mdettweiler [2012-12-03 21:38:21] 715*2^1236785-1 is not prime. Res64: F5DCF03972AF1C8E Time : 0.0 sec. user=mdettweiler [2012-12-03 21:38:21] 717*2^1236785-1 is not prime. Res64: F3C2ED6B5D50218E Time : 0.0 sec. user=mdettweiler [2012-12-03 21:54:59] 727*2^1236785-1 is not prime. Res64: 058144CD03B9E6C7 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:55:00] 847*2^1236785-1 is not prime. Res64: 49B9F456C258FF1E Time : 0.0 sec. user=mdettweiler [2012-12-03 21:56:18] 951*2^1236785-1 is not prime. Res64: 8040C5F57CA94EA0 Time : 0.0 sec. user=mdettweiler [2012-12-03 21:56:18] 767*2^1236786-1 is not prime. Res64: D5E58D29F8D4A118 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:12:55] 881*2^1236786-1 is not prime. Res64: D504E052A95336C4 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:12:57] 975*2^1236786-1 is not prime. Res64: 5DE6B4E3488F19E5 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:14:12] 615*2^1236787-1 is not prime. Res64: 4FC140FA91321D05 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:14:14] 639*2^1236787-1 is not prime. Res64: 17375CD0FACE8743 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:30:43] 759*2^1236787-1 is not prime. Res64: 9320C0609C37B02C Time : 0.0 sec. user=mdettweiler [2012-12-03 22:30:43] 835*2^1236787-1 is not prime. Res64: 584B6F3B9017F960 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:31:50] 871*2^1236787-1 is not prime. Res64: F2A59AD7EB7115EC Time : 0.0 sec. user=mdettweiler [2012-12-03 22:31:50] 885*2^1236787-1 is not prime. Res64: 96AE835960DBD566 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:48:11] 919*2^1236787-1 is not prime. Res64: 4286847A01F228C1 Time : 0.0 sec. user=mdettweiler [2012-12-03 22:48:12] 845*2^1236788-1 is not prime. Res64: 8A9D86F5E2D557CD Time : 0.0 sec. user=mdettweiler [2012-12-03 22:49:15] 875*2^1236788-1 is not prime. Res64: 094AEB8FA40996FC Time : 0.0 sec. user=mdettweiler [2012-12-03 22:49:16] 953*2^1236788-1 is not prime. Res64: D491AE948B9C0A2E Time : 0.0 sec. user=mdettweiler [2012-12-03 23:05:47] 999*2^1236788-1 is not prime. Res64: 3D9A614AEC2D1602 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:05:48] 655*2^1236789-1 is not prime. Res64: 891411297224FB00 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:06:46] 727*2^1236789-1 is not prime. Res64: 890B2ACFDA720469 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:06:47] 817*2^1236789-1 is not prime. Res64: 9713B2632C70A6B4 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:23:22] 657*2^1236790-1 is not prime. Res64: BC29D8BA416D5DBB Time : 0.0 sec. user=mdettweiler [2012-12-03 23:23:23] 695*2^1236790-1 is not prime. Res64: BD8BBEA9A49A1E82 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:24:14] 855*2^1236790-1 is not prime. Res64: 1C3FBB958755E421 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:24:15] 867*2^1236790-1 is not prime. Res64: DD5E2E3B38FAF2BF Time : 0.0 sec. user=mdettweiler [2012-12-03 23:40:52] 945*2^1236790-1 is not prime. Res64: 0950549C3912FA62 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:40:53] 675*2^1236791-1 is not prime. Res64: E99637E372A7E370 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:41:42] 693*2^1236791-1 is not prime. Res64: E33E532E04C861C0 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:41:42] 855*2^1236791-1 is not prime. Res64: 27993BD19D6969CB Time : 0.0 sec. user=mdettweiler [2012-12-03 23:58:20] 859*2^1236791-1 is not prime. Res64: 5DC37CC01651106C Time : 0.0 sec. user=mdettweiler [2012-12-03 23:58:21] 943*2^1236791-1 is not prime. Res64: 2CC6E5E1811C0823 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:59:08] 955*2^1236791-1 is not prime. Res64: CE51E4E1FC2EC4F8 Time : 0.0 sec. user=mdettweiler [2012-12-03 23:59:09] 623*2^1236792-1 is not prime. Res64: D1A3745554981E2B Time : 0.0 sec.