user=mdettweiler [2016-06-19 00:12:02] 951*2^1432829-1 is not prime. Res64: 6B264D574AC51D60 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:12:03] 635*2^1432830-1 is not prime. Res64: 25F00B0B753F8BA6 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:12:03] 747*2^1432830-1 is not prime. Res64: AE0B7FD8E647598D Time : 0.0 sec. user=mdettweiler [2016-06-19 00:12:04] 795*2^1432830-1 is not prime. Res64: 2733E9D0B08C59A1 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:12:04] 977*2^1432830-1 is not prime. Res64: 8F516DD6B6CB16E9 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:22:51] 601*2^1432831-1 is not prime. Res64: DF925A3C9487A235 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:22:51] 639*2^1432831-1 is not prime. Res64: C7E677A5C1954334 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:22:51] 693*2^1432831-1 is not prime. Res64: 2E69BA52551C4C48 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:22:52] 771*2^1432831-1 is not prime. Res64: 1FF18638BA2A10B5 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:22:52] 789*2^1432831-1 is not prime. Res64: 32DB57D83C4B3A9B Time : 0.0 sec. user=mdettweiler [2016-06-19 00:24:37] 819*2^1432831-1 is not prime. Res64: E40CC024950F7241 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:24:37] 969*2^1432831-1 is not prime. Res64: 11384B78079C3490 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:24:38] 975*2^1432831-1 is not prime. Res64: 0FAC4938956C499A Time : 0.0 sec. user=mdettweiler [2016-06-19 00:24:38] 993*2^1432831-1 is not prime. Res64: DE466318E9456027 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:24:39] 665*2^1432832-1 is not prime. Res64: 63D7BEAD22509AA6 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:35:43] 675*2^1432832-1 is not prime. Res64: 7119AA537B8EEE56 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:35:43] 713*2^1432832-1 is not prime. Res64: A60D43F80CC9345B Time : 0.0 sec. user=mdettweiler [2016-06-19 00:35:44] 875*2^1432832-1 is not prime. Res64: 44B89B1BD6A82FF1 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:35:45] 963*2^1432832-1 is not prime. Res64: 3F755141331D85E6 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:35:45] 995*2^1432832-1 is not prime. Res64: B5BB57D9E306A9CE Time : 0.0 sec. user=mdettweiler [2016-06-19 00:56:36] 639*2^1432833-1 is not prime. Res64: 6C13DA3602BAA290 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:56:37] 649*2^1432833-1 is not prime. Res64: 67DEF9DC3ACEB483 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:56:37] 705*2^1432833-1 is not prime. Res64: 63716755C21A9959 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:56:37] 789*2^1432833-1 is not prime. Res64: 46F9440374829984 Time : 0.0 sec. user=mdettweiler [2016-06-19 00:56:38] 819*2^1432833-1 is not prime. Res64: C5670CED19184C13 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:07:22] 985*2^1432833-1 is not prime. Res64: BD2F78BE34352694 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:07:23] 623*2^1432834-1 is not prime. Res64: 381F1CFDF3402032 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:07:23] 665*2^1432834-1 is not prime. Res64: C203A17AD072609D Time : 0.0 sec. user=mdettweiler [2016-06-19 01:07:24] 857*2^1432834-1 is not prime. Res64: 880AD92E70912B15 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:07:24] 983*2^1432834-1 is not prime. Res64: 59A59D58D722EFA7 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:09:17] 645*2^1432835-1 is not prime. Res64: 0DD403E9C80A915E Time : 0.0 sec. user=mdettweiler [2016-06-19 01:09:18] 669*2^1432835-1 is not prime. Res64: 86E507C953C53077 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:09:18] 673*2^1432835-1 is not prime. Res64: A427AF0AC6ED1838 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:09:18] 733*2^1432835-1 is not prime. Res64: 6D7EC2420F11ACAD Time : 0.0 sec. user=mdettweiler [2016-06-19 01:09:19] 991*2^1432835-1 is not prime. Res64: 9A55F492273144F3 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:20:26] 629*2^1432836-1 is not prime. Res64: BBC101C72716385B Time : 0.0 sec. user=mdettweiler [2016-06-19 01:20:26] 735*2^1432836-1 is not prime. Res64: 6E509DA433DF3CE0 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:20:26] 957*2^1432836-1 is not prime. Res64: 86F9E7616E2D03DC Time : 0.0 sec. user=mdettweiler [2016-06-19 01:20:27] 645*2^1432837-1 is not prime. Res64: E64EADA979479DB9 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:20:28] 799*2^1432837-1 is not prime. Res64: A75454E61CEB52D8 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:41:21] 889*2^1432837-1 is not prime. Res64: C0434353D61AE61C Time : 0.0 sec. user=mdettweiler [2016-06-19 01:41:21] 967*2^1432837-1 is not prime. Res64: 8E73395D5225B03C Time : 0.0 sec. user=mdettweiler [2016-06-19 01:41:22] 641*2^1432838-1 is not prime. Res64: 42D76EA42A3777DB Time : 0.0 sec. user=mdettweiler [2016-06-19 01:41:22] 663*2^1432838-1 is not prime. Res64: 1480161B7BC290B7 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:41:22] 797*2^1432838-1 is not prime. Res64: D7D7977975640B25 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:52:03] 885*2^1432838-1 is not prime. Res64: A90B4EF63E0B3243 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:52:03] 945*2^1432838-1 is not prime. Res64: 5E0461CCF9EB378B Time : 0.0 sec. user=mdettweiler [2016-06-19 01:52:04] 951*2^1432838-1 is not prime. Res64: BBA8260EF35954A1 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:52:04] 957*2^1432838-1 is not prime. Res64: 4C0C1CD058F9D895 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:52:04] 649*2^1432839-1 is not prime. Res64: 206BF52F0F233757 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:54:05] 685*2^1432839-1 is not prime. Res64: 642694FA61CE3DFB Time : 0.0 sec. user=mdettweiler [2016-06-19 01:54:05] 709*2^1432839-1 is not prime. Res64: FD9673B76331097F Time : 0.0 sec. user=mdettweiler [2016-06-19 01:54:06] 735*2^1432839-1 is not prime. Res64: 19099D7CD50D9E29 Time : 0.0 sec. user=mdettweiler [2016-06-19 01:54:11] 825*2^1432839-1 is not prime. Res64: ACD254CBC6E82E7F Time : 0.0 sec. user=mdettweiler [2016-06-19 01:54:12] 985*2^1432839-1 is not prime. Res64: 26FA508441B7342D Time : 0.0 sec. user=mdettweiler [2016-06-19 02:05:10] 603*2^1432840-1 is not prime. Res64: 88548FD494E93DBC Time : 0.0 sec. user=mdettweiler [2016-06-19 02:05:11] 645*2^1432840-1 is not prime. Res64: 9572BD00B22B23BE Time : 0.0 sec. user=mdettweiler [2016-06-19 02:05:12] 653*2^1432840-1 is not prime. Res64: 110660B078F2B3EB Time : 0.0 sec. user=mdettweiler [2016-06-19 02:05:13] 699*2^1432840-1 is not prime. Res64: B9A34C85D06873E8 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:05:15] 717*2^1432840-1 is not prime. Res64: 0DA8636947AEF2C1 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:26:02] 813*2^1432840-1 is not prime. Res64: 8A87ACA11880DA81 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:26:03] 863*2^1432840-1 is not prime. Res64: 068F48BA2EA40EF7 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:26:04] 627*2^1432841-1 is not prime. Res64: BC0BA424EC47B93A Time : 0.0 sec. user=mdettweiler [2016-06-19 02:26:05] 691*2^1432841-1 is not prime. Res64: 88E5349E2C721A22 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:26:06] 727*2^1432841-1 is not prime. Res64: E5A1E8043DE02ABF Time : 0.0 sec. user=mdettweiler [2016-06-19 02:36:47] 909*2^1432841-1 is not prime. Res64: BAAF29FD70825735 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:36:47] 967*2^1432841-1 is not prime. Res64: 9DDB94F8A10DBEC2 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:36:48] 713*2^1432842-1 is not prime. Res64: E89D654DDE470978 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:36:48] 803*2^1432842-1 is not prime. Res64: 5878B97F0DA318AC Time : 0.0 sec. user=mdettweiler [2016-06-19 02:36:49] 615*2^1432843-1 is not prime. Res64: 4789F37C2D2DC156 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:38:46] 673*2^1432843-1 is not prime. Res64: 8453E7F0234DBFC9 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:38:46] 681*2^1432843-1 is not prime. Res64: 0A12383DEDC695EF Time : 0.0 sec. user=mdettweiler [2016-06-19 02:38:46] 691*2^1432843-1 is not prime. Res64: B9A4BA912A261A11 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:38:47] 723*2^1432843-1 is not prime. Res64: CDF8C2172100A5D9 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:38:47] 783*2^1432843-1 is not prime. Res64: E2FA0EE60CBFFBD6 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:50:19] 789*2^1432843-1 is not prime. Res64: 64C87A02E475B788 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:50:19] 805*2^1432843-1 is not prime. Res64: E4EC1BE7BDC69395 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:50:20] 945*2^1432843-1 is not prime. Res64: 791FDE8A7B2BCBD8 Time : 0.0 sec. user=mdettweiler [2016-06-19 02:50:20] 657*2^1432844-1 is not prime. Res64: 639A7F13C2E9123E Time : 0.0 sec. user=mdettweiler [2016-06-19 02:50:21] 707*2^1432844-1 is not prime. Res64: A45C3214D05BE8CD Time : 0.0 sec. user=mdettweiler [2016-06-19 03:10:44] 795*2^1432844-1 is not prime. Res64: 7DCD620393E19B66 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:10:45] 857*2^1432844-1 is not prime. Res64: 042A33C3162CAD8F Time : 0.0 sec. user=mdettweiler [2016-06-19 03:10:45] 927*2^1432844-1 is not prime. Res64: B697B7E640F39D8A Time : 0.0 sec. user=mdettweiler [2016-06-19 03:10:46] 945*2^1432844-1 is not prime. Res64: 0F426705C626E24E Time : 0.0 sec. user=mdettweiler [2016-06-19 03:10:46] 957*2^1432844-1 is not prime. Res64: BA2767F179B756F8 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:21:26] 787*2^1432845-1 is not prime. Res64: AF6900E820E0C0BF Time : 0.0 sec. user=mdettweiler [2016-06-19 03:21:27] 847*2^1432845-1 is not prime. Res64: 425B978B1067D9AB Time : 0.0 sec. user=mdettweiler [2016-06-19 03:21:27] 849*2^1432845-1 is not prime. Res64: 931A8126D2CAD887 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:21:27] 997*2^1432845-1 is not prime. Res64: 50BD7216EE289A37 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:21:28] 603*2^1432846-1 is not prime. Res64: 6764F713024246B5 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:23:32] 761*2^1432846-1 is not prime. Res64: 79FE5A0EA2C8E306 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:23:32] 815*2^1432846-1 is not prime. Res64: BD1FE6F874CA9038 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:23:32] 857*2^1432846-1 is not prime. Res64: 224F13A275540AD2 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:23:33] 881*2^1432846-1 is not prime. Res64: 9CB85DB30991CFF1 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:23:33] 975*2^1432846-1 is not prime. Res64: ACBB6C542A305E3A Time : 0.0 sec. user=mdettweiler [2016-06-19 03:35:14] 643*2^1432847-1 is not prime. Res64: C92C3FE19720BB50 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:35:17] 663*2^1432847-1 is not prime. Res64: B04EF75F8AEAF5CA Time : 0.0 sec. user=mdettweiler [2016-06-19 03:35:19] 753*2^1432847-1 is not prime. Res64: EAAB093772DD4E22 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:35:22] 635*2^1432848-1 is not prime. Res64: 8CF8EE410459ADF7 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:35:24] 695*2^1432848-1 is not prime. Res64: 42C415AF79DD05B5 Time : 0.0 sec. user=mdettweiler [2016-06-19 03:55:56] 707*2^1432848-1 is not prime. Res64: 5E3B86E7461C8563 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:07:48] 993*2^1432848-1 is not prime. Res64: 8989D1CEA0559281 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:07:50] 637*2^1432849-1 is not prime. Res64: 9600B9A3FB946214 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:07:51] 751*2^1432849-1 is not prime. Res64: 11A8F60EB4811F69 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:07:52] 769*2^1432849-1 is not prime. Res64: C877BFD7C7A1100B Time : 0.0 sec. user=mdettweiler [2016-06-19 04:07:53] 951*2^1432849-1 is not prime. Res64: D5BC3E3BC4B9F3F2 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:10:14] 975*2^1432849-1 is not prime. Res64: C74CB0A1BEFEBEF2 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:10:16] 657*2^1432850-1 is not prime. Res64: 9EF2C5E1C22F9770 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:10:16] 767*2^1432850-1 is not prime. Res64: 527C7D146D689686 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:10:17] 797*2^1432850-1 is not prime. Res64: D66802B780126B9A Time : 0.0 sec. user=mdettweiler [2016-06-19 04:10:17] 801*2^1432850-1 is not prime. Res64: BC68C80163999FDD Time : 0.0 sec. user=mdettweiler [2016-06-19 04:23:40] 825*2^1432850-1 is not prime. Res64: F5A55519399C9999 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:23:40] 857*2^1432850-1 is not prime. Res64: 62E682BFD6550F9C Time : 0.0 sec. user=mdettweiler [2016-06-19 04:23:40] 887*2^1432850-1 is not prime. Res64: 821414BD1E6C6F1A Time : 0.0 sec. user=mdettweiler [2016-06-19 04:23:41] 613*2^1432851-1 is not prime. Res64: E6849C63408B2CC1 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:23:41] 685*2^1432851-1 is not prime. Res64: 1FDD6E6CD886E5DB Time : 0.0 sec. user=mdettweiler [2016-06-19 04:54:58] 691*2^1432851-1 is not prime. Res64: BC35D73C7BE80B0C Time : 0.0 sec. user=mdettweiler [2016-06-19 04:54:58] 951*2^1432851-1 is not prime. Res64: C8484D919AA8958E Time : 0.0 sec. user=mdettweiler [2016-06-19 04:54:59] 961*2^1432851-1 is not prime. Res64: 074FDE1C34AFFC06 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:54:59] 969*2^1432851-1 is not prime. Res64: 7A86A6769435A291 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:54:59] 979*2^1432851-1 is not prime. Res64: 3E3A1EE132D1FF06 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:57:04] 629*2^1432852-1 is not prime. Res64: 35EDEF073DF250BE Time : 0.0 sec. user=mdettweiler [2016-06-19 04:57:05] 717*2^1432852-1 is not prime. Res64: 4E8F872E2304F8D3 Time : 0.0 sec. user=mdettweiler [2016-06-19 04:57:05] 749*2^1432852-1 is not prime. Res64: 6BBC0078449D674F Time : 0.0 sec. user=mdettweiler [2016-06-19 04:57:05] 779*2^1432852-1 is not prime. Res64: 02292B50C6D6282E Time : 0.0 sec. user=mdettweiler [2016-06-19 04:57:06] 819*2^1432852-1 is not prime. Res64: 3FF36571C6F66B92 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:10:06] 885*2^1432852-1 is not prime. Res64: EAFC3CA73C42BC39 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:10:06] 947*2^1432852-1 is not prime. Res64: 69B8EEF9D0D30E88 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:10:07] 975*2^1432852-1 is not prime. Res64: 496C8FE7C1AAF474 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:10:07] 989*2^1432852-1 is not prime. Res64: D584822498915276 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:10:08] 715*2^1432853-1 is not prime. Res64: 4A0860B0F3333DFC Time : 0.0 sec. user=mdettweiler [2016-06-19 05:40:28] 741*2^1432853-1 is not prime. Res64: 31E4AF6C1C602EBA Time : 0.0 sec. user=mdettweiler [2016-06-19 05:40:29] 757*2^1432853-1 is not prime. Res64: 3260561A871549D6 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:40:29] 879*2^1432853-1 is not prime. Res64: ACF2F661CB3253C9 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:40:30] 897*2^1432853-1 is not prime. Res64: 67F33EAE2077E579 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:40:30] 957*2^1432853-1 is not prime. Res64: 7A63DC024B25B242 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:42:29] 981*2^1432853-1 is not prime. Res64: E9B3EBFA8A48C84D Time : 0.0 sec. user=mdettweiler [2016-06-19 05:42:30] 657*2^1432854-1 is not prime. Res64: F4528B6F261AD5B4 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:42:30] 681*2^1432854-1 is not prime. Res64: ECBCB8CCD43CB406 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:42:31] 705*2^1432854-1 is not prime. Res64: 6E949B95243E8ADE Time : 0.0 sec. user=mdettweiler [2016-06-19 05:42:31] 821*2^1432854-1 is not prime. Res64: 6CBF780F73F96020 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:55:40] 893*2^1432854-1 is not prime. Res64: 50DC208127857B8B Time : 0.0 sec. user=mdettweiler [2016-06-19 05:55:40] 917*2^1432854-1 is not prime. Res64: 333AA5BBC3AC9416 Time : 0.0 sec. user=mdettweiler [2016-06-19 05:55:41] 921*2^1432854-1 is not prime. Res64: 68716F608240CA9F Time : 0.0 sec. user=mdettweiler [2016-06-19 05:55:41] 603*2^1432855-1 is not prime. Res64: 7BC4B0B49E095E2F Time : 0.0 sec. user=mdettweiler [2016-06-19 05:55:42] 609*2^1432855-1 is not prime. Res64: 5124EE26802E4E3D Time : 0.0 sec. user=mdettweiler [2016-06-19 06:12:59] 875*2^1432848-1 is not prime. Res64: F266FB0354D93FDE Time : 0.0 sec. user=mdettweiler [2016-06-19 06:12:59] 879*2^1432848-1 is not prime. Res64: C4417C3B40937415 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:13:00] 909*2^1432848-1 is not prime. Res64: C72224C692469ABF Time : 0.0 sec. user=mdettweiler [2016-06-19 06:13:01] 923*2^1432848-1 is not prime. Res64: FE6B3870881D546A Time : 0.0 sec. user=mdettweiler [2016-06-19 06:25:44] 649*2^1432855-1 is not prime. Res64: 5AD95C12E146C42F Time : 0.0 sec. user=mdettweiler [2016-06-19 06:25:45] 709*2^1432855-1 is not prime. Res64: 0C64ADCA5853F5F1 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:25:45] 735*2^1432855-1 is not prime. Res64: 51D9C5F59AF437A2 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:25:46] 759*2^1432855-1 is not prime. Res64: 9C0DE8C98010454C Time : 0.0 sec. user=mdettweiler [2016-06-19 06:25:46] 819*2^1432855-1 is not prime. Res64: 149F151F075D8073 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:27:40] 885*2^1432855-1 is not prime. Res64: F69387ABFC752732 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:27:40] 889*2^1432855-1 is not prime. Res64: 6571B4C0F6D64060 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:27:43] 635*2^1432856-1 is not prime. Res64: 68D4434523F1E43A Time : 0.0 sec. user=mdettweiler [2016-06-19 06:27:43] 659*2^1432856-1 is not prime. Res64: 7F354ACBEF95CDA6 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:27:43] 747*2^1432856-1 is not prime. Res64: 34A2319B75F64814 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:40:40] 777*2^1432856-1 is not prime. Res64: 96EF6EF57DFE69BE Time : 0.0 sec. user=mdettweiler [2016-06-19 06:40:46] 969*2^1432856-1 is not prime. Res64: F50CA3BEBF434960 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:40:46] 983*2^1432856-1 is not prime. Res64: BC093EB7B8ADE295 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:40:47] 661*2^1432857-1 is not prime. Res64: A709E14579FAFFE7 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:40:47] 681*2^1432857-1 is not prime. Res64: 4659881E2E177AA4 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:58:01] 717*2^1432857-1 is not prime. Res64: C4333A4D57C30509 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:58:01] 739*2^1432857-1 is not prime. Res64: B9D5B5B6C5CD5749 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:58:01] 865*2^1432857-1 is not prime. Res64: 26A192A9B05DA472 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:58:02] 919*2^1432857-1 is not prime. Res64: A8ADACF404B52FD4 Time : 0.0 sec. user=mdettweiler [2016-06-19 06:58:02] 611*2^1432858-1 is not prime. Res64: ED76D949D5D11193 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:10:20] 723*2^1432858-1 is not prime. Res64: 9100674DFD2138F0 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:10:20] 765*2^1432858-1 is not prime. Res64: 7985EA19185B5DB8 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:10:21] 801*2^1432858-1 is not prime. Res64: E1B4C11B3C883DA7 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:10:21] 815*2^1432858-1 is not prime. Res64: 8BD5CAAA6582C59E Time : 0.0 sec. user=mdettweiler [2016-06-19 07:10:22] 831*2^1432858-1 is not prime. Res64: 6A2BAC8F47A6E85E Time : 0.0 sec. user=mdettweiler [2016-06-19 07:12:23] 891*2^1432858-1 is not prime. Res64: 4EECC8624D657C4B Time : 0.0 sec. user=mdettweiler [2016-06-19 07:12:24] 957*2^1432858-1 is not prime. Res64: A69170A6E67F10DD Time : 0.0 sec. user=mdettweiler [2016-06-19 07:12:24] 987*2^1432858-1 is not prime. Res64: 4EF75B935FE5BB06 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:12:25] 631*2^1432859-1 is not prime. Res64: 490C27F5C8C30C30 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:12:25] 711*2^1432859-1 is not prime. Res64: 18C46705E29E2C1A Time : 0.0 sec. user=mdettweiler [2016-06-19 07:25:17] 973*2^1432859-1 is not prime. Res64: 7C53BD2680DACB9D Time : 0.0 sec. user=mdettweiler [2016-06-19 07:25:17] 653*2^1432860-1 is not prime. Res64: 4F702E7CD50EAF74 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:25:18] 767*2^1432860-1 is not prime. Res64: 07E5C80DD22074D8 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:25:18] 773*2^1432860-1 is not prime. Res64: E8CB506A1B6DC99A Time : 0.0 sec. user=mdettweiler [2016-06-19 07:25:19] 779*2^1432860-1 is not prime. Res64: 71822CC5710BEA0F Time : 0.0 sec. user=mdettweiler [2016-06-19 07:42:38] 789*2^1432860-1 is not prime. Res64: BE274F9D377F85EB Time : 0.0 sec. user=mdettweiler [2016-06-19 07:42:38] 839*2^1432860-1 is not prime. Res64: D1BB2B831CD0B53E Time : 0.0 sec. user=mdettweiler [2016-06-19 07:42:39] 867*2^1432860-1 is not prime. Res64: 2C189E3879EA2543 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:42:39] 927*2^1432860-1 is not prime. Res64: 186120850476A0A3 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:42:40] 975*2^1432860-1 is not prime. Res64: A3C9C84F55BA4A6E Time : 0.0 sec. user=mdettweiler [2016-06-19 07:55:06] 983*2^1432860-1 is not prime. Res64: 1C1EAFB40D94AA60 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:55:07] 649*2^1432861-1 is not prime. Res64: 9862C0EE646CAB1F Time : 0.0 sec. user=mdettweiler [2016-06-19 07:55:07] 687*2^1432861-1 is not prime. Res64: 998115EACA479395 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:55:07] 789*2^1432861-1 is not prime. Res64: E45687A4B55739AE Time : 0.0 sec. user=mdettweiler [2016-06-19 07:55:08] 835*2^1432861-1 is not prime. Res64: A33B2BCDC74AF24D Time : 0.0 sec. user=mdettweiler [2016-06-19 07:57:05] 937*2^1432861-1 is not prime. Res64: 0709F71FFCCC6D47 Time : 0.0 sec. user=mdettweiler [2016-06-19 07:57:05] 651*2^1432862-1 is not prime. Res64: 026959A476B37FCE Time : 0.0 sec. user=mdettweiler [2016-06-19 07:57:06] 657*2^1432862-1 is not prime. Res64: D4472D754213DEBA Time : 0.0 sec. user=mdettweiler [2016-06-19 07:57:06] 755*2^1432862-1 is not prime. Res64: C62D9CFF2F12D52F Time : 0.0 sec. user=mdettweiler [2016-06-19 07:57:06] 791*2^1432862-1 is not prime. Res64: 54B7392E21502F54 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:10:02] 801*2^1432862-1 is not prime. Res64: 29F57EB9BE4D8065 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:10:03] 917*2^1432862-1 is not prime. Res64: D44AC1396665C8A6 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:10:03] 705*2^1432863-1 is not prime. Res64: 8641AD2CB5D2369C Time : 0.0 sec. user=mdettweiler [2016-06-19 08:10:03] 723*2^1432863-1 is not prime. Res64: D855D7FFE0E3FAAA Time : 0.0 sec. user=mdettweiler [2016-06-19 08:10:04] 775*2^1432863-1 is not prime. Res64: 1B915E68A2728C62 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:27:18] 783*2^1432863-1 is not prime. Res64: DBF241F7EE507A2D Time : 0.0 sec. user=mdettweiler [2016-06-19 08:27:19] 793*2^1432863-1 is not prime. Res64: 04E14122C5D1E10C Time : 0.0 sec. user=mdettweiler [2016-06-19 08:27:19] 677*2^1432864-1 is not prime. Res64: 665998EE106C3233 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:27:19] 707*2^1432864-1 is not prime. Res64: 29417274D1AB68CD Time : 0.0 sec. user=mdettweiler [2016-06-19 08:27:20] 819*2^1432864-1 is not prime. Res64: C1C633DB5D309DC6 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:39:50] 843*2^1432864-1 is not prime. Res64: AA742533C1952DBF Time : 0.0 sec. user=mdettweiler [2016-06-19 08:39:51] 899*2^1432864-1 is not prime. Res64: E9B73D8750C15899 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:39:51] 947*2^1432864-1 is not prime. Res64: 3FFE80ABC722AE67 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:39:51] 627*2^1432865-1 is not prime. Res64: 35DB23FB691F56CB Time : 0.0 sec. user=mdettweiler [2016-06-19 08:39:52] 651*2^1432865-1 is not prime. Res64: 8F17F93BB3EE7119 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:41:44] 735*2^1432865-1 is not prime. Res64: 9C9F9A3C1F4E0837 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:41:45] 841*2^1432865-1 is not prime. Res64: 77AA0950F4212D70 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:41:45] 713*2^1432866-1 is not prime. Res64: 731ED766C741A5BE Time : 0.0 sec. user=mdettweiler [2016-06-19 08:41:45] 723*2^1432866-1 is not prime. Res64: 1E0E134A35BE79E3 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:41:46] 631*2^1432867-1 is not prime. Res64: 6AC23AC45B92233F Time : 0.0 sec. user=mdettweiler [2016-06-19 08:54:53] 675*2^1432867-1 is not prime. Res64: D39B9AD96DEDCB4B Time : 0.0 sec. user=mdettweiler [2016-06-19 08:54:53] 901*2^1432867-1 is not prime. Res64: 9366A16E80BD3321 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:54:54] 909*2^1432867-1 is not prime. Res64: 0ED505A8B4A00388 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:54:54] 973*2^1432867-1 is not prime. Res64: 504CBD2E086BB496 Time : 0.0 sec. user=mdettweiler [2016-06-19 08:54:54] 603*2^1432868-1 is not prime. Res64: 9C8A4F33D563E143 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:12:12] 617*2^1432868-1 is not prime. Res64: C790A348320ED2E2 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:12:12] 839*2^1432868-1 is not prime. Res64: E9C37B989BD19B20 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:12:13] 869*2^1432868-1 is not prime. Res64: 4DFC5C53E7AABE6F Time : 0.0 sec. user=mdettweiler [2016-06-19 09:12:13] 875*2^1432868-1 is not prime. Res64: 0D89B289905D98DA Time : 0.0 sec. user=mdettweiler [2016-06-19 09:12:14] 923*2^1432868-1 is not prime. Res64: 6F9E4A37EF9C2293 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:25:13] 639*2^1432869-1 is not prime. Res64: E479E3CA24C2E5DA Time : 0.0 sec. user=mdettweiler [2016-06-19 09:25:13] 691*2^1432869-1 is not prime. Res64: 456D246243B60D46 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:25:14] 745*2^1432869-1 is not prime. Res64: EF3C9E7363B990EC Time : 0.0 sec. user=mdettweiler [2016-06-19 09:25:14] 751*2^1432869-1 is not prime. Res64: 9A18AFC96E3C64B2 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:25:14] 885*2^1432869-1 is not prime. Res64: 98898AE86C387DCD Time : 0.0 sec. user=mdettweiler [2016-06-19 09:27:04] 605*2^1432870-1 is not prime. Res64: 323B85BC694F715A Time : 0.0 sec. user=mdettweiler [2016-06-19 09:27:04] 773*2^1432870-1 is not prime. Res64: B967DF9A602DEB78 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:27:05] 777*2^1432870-1 is not prime. Res64: 5C5867A8F20289BA Time : 0.0 sec. user=mdettweiler [2016-06-19 09:27:05] 827*2^1432870-1 is not prime. Res64: 164C2F63DC1F3C02 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:27:05] 987*2^1432870-1 is not prime. Res64: 844E5252E06813CE Time : 0.0 sec. user=mdettweiler [2016-06-19 09:39:58] 865*2^1432871-1 is not prime. Res64: 8AD30AFC104DBB18 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:39:59] 943*2^1432871-1 is not prime. Res64: 587441526D6DC813 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:39:59] 615*2^1432872-1 is not prime. Res64: 2DB9B3B54BDDB609 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:39:59] 627*2^1432872-1 is not prime. Res64: EDFB921FE20A5EDA Time : 0.0 sec. user=mdettweiler [2016-06-19 09:40:00] 665*2^1432872-1 is not prime. Res64: F86B47209B6026FE Time : 0.0 sec. user=mdettweiler [2016-06-19 09:57:21] 693*2^1432872-1 is not prime. Res64: D6BD3214901E2D66 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:57:21] 699*2^1432872-1 is not prime. Res64: 62B780163C014DF4 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:57:21] 777*2^1432872-1 is not prime. Res64: 2B3230457D6E65EE Time : 0.0 sec. user=mdettweiler [2016-06-19 09:57:22] 797*2^1432872-1 is not prime. Res64: 4AC240DE9710B401 Time : 0.0 sec. user=mdettweiler [2016-06-19 09:57:22] 879*2^1432872-1 is not prime. Res64: F7DC18A79DEEA2F1 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:10:42] 903*2^1432872-1 is not prime. Res64: 56EB0DEAE1B368CA Time : 0.0 sec. user=mdettweiler [2016-06-19 10:10:42] 923*2^1432872-1 is not prime. Res64: CAA43062CBBA1A16 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:10:43] 983*2^1432872-1 is not prime. Res64: 647F5005E779159F Time : 0.0 sec. user=mdettweiler [2016-06-19 10:10:43] 639*2^1432873-1 is not prime. Res64: C6573635873BCF65 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:10:43] 691*2^1432873-1 is not prime. Res64: 1C3C1A36F777388F Time : 0.0 sec. user=mdettweiler [2016-06-19 10:12:10] 829*2^1432873-1 is not prime. Res64: 64CB390C7D427D42 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:12:11] 897*2^1432873-1 is not prime. Res64: AE607ADF762488AC Time : 0.0 sec. user=mdettweiler [2016-06-19 10:12:11] 951*2^1432873-1 is not prime. Res64: 1BFFB8B0ECF5C9E5 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:12:11] 999*2^1432873-1 is not prime. Res64: 5D535B79B85E044F Time : 0.0 sec. user=mdettweiler [2016-06-19 10:12:12] 623*2^1432874-1 is not prime. Res64: 19D55A34BAEAB12B Time : 0.0 sec. user=mdettweiler [2016-06-19 10:25:17] 641*2^1432874-1 is not prime. Res64: E3E7D77F1C0D79E7 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:25:17] 665*2^1432874-1 is not prime. Res64: 8F087F21B644479D Time : 0.0 sec. user=mdettweiler [2016-06-19 10:25:18] 707*2^1432874-1 is not prime. Res64: D8F1B8F1A67561B4 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:25:18] 741*2^1432874-1 is not prime. Res64: 3D1E8B7CF52E6204 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:25:18] 773*2^1432874-1 is not prime. Res64: 3DB7CC6D27050596 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:43:15] 945*2^1432874-1 is not prime. Res64: CB1ABB8B83817AE6 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:43:15] 619*2^1432875-1 is not prime. Res64: 7EC2B257BE8C3F17 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:43:15] 663*2^1432875-1 is not prime. Res64: A57E31A7C894A93E Time : 0.0 sec. user=mdettweiler [2016-06-19 10:43:16] 669*2^1432875-1 is not prime. Res64: 1C5BAB89ABE78C29 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:43:16] 775*2^1432875-1 is not prime. Res64: 303D95EB56DD4537 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:57:42] 699*2^1432876-1 is not prime. Res64: C72FFD9F4E1874B7 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:57:42] 765*2^1432876-1 is not prime. Res64: 3D970381F48414D9 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:57:42] 857*2^1432876-1 is not prime. Res64: 13336E36FDFF84B7 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:57:43] 927*2^1432876-1 is not prime. Res64: D01F72DBD8BBC804 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:57:43] 939*2^1432876-1 is not prime. Res64: 725C8FF7948ECA12 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:59:27] 953*2^1432876-1 is not prime. Res64: BB383F219058A2D4 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:59:28] 711*2^1432877-1 is not prime. Res64: 92028E217D4BB0DC Time : 0.0 sec. user=mdettweiler [2016-06-19 10:59:28] 825*2^1432877-1 is not prime. Res64: 8515F13A37CA8102 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:59:28] 885*2^1432877-1 is not prime. Res64: BF20781FB45D1BD4 Time : 0.0 sec. user=mdettweiler [2016-06-19 10:59:29] 927*2^1432877-1 is not prime. Res64: BE208DA2151B1BFC Time : 0.0 sec. user=mdettweiler [2016-06-19 11:13:00] 937*2^1432877-1 is not prime. Res64: BA0E9E199A4745B1 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:13:00] 713*2^1432878-1 is not prime. Res64: 7D8F4A5C017B9653 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:13:01] 861*2^1432878-1 is not prime. Res64: FB5714E6CFF5E44A Time : 0.0 sec. user=mdettweiler [2016-06-19 11:13:01] 893*2^1432878-1 is not prime. Res64: EF802909B272E980 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:13:02] 951*2^1432878-1 is not prime. Res64: 8F4360672872A58E Time : 0.0 sec. user=mdettweiler [2016-06-19 11:32:38] 609*2^1432879-1 is not prime. Res64: 96756EF0B9F1B25D Time : 0.0 sec. user=mdettweiler [2016-06-19 11:32:38] 751*2^1432879-1 is not prime. Res64: E494C912BC70ADF7 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:32:39] 831*2^1432879-1 is not prime. Res64: 8483BE9C0736190A Time : 0.0 sec. user=mdettweiler [2016-06-19 11:32:39] 855*2^1432879-1 is not prime. Res64: 741BFC8A5E206CED Time : 0.0 sec. user=mdettweiler [2016-06-19 11:32:39] 861*2^1432879-1 is not prime. Res64: 036CEA06DC734793 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:46:09] 891*2^1432879-1 is not prime. Res64: B390AC0A344A89B4 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:46:09] 973*2^1432879-1 is not prime. Res64: 594FB561DA48F9E6 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:46:10] 629*2^1432880-1 is not prime. Res64: 71942CE4DBBE56AA Time : 0.0 sec. user=mdettweiler [2016-06-19 11:46:10] 635*2^1432880-1 is not prime. Res64: 9637B6FC87BB862A Time : 0.0 sec. user=mdettweiler [2016-06-19 11:46:10] 713*2^1432880-1 is not prime. Res64: 99F21E77674A9E56 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:47:35] 725*2^1432880-1 is not prime. Res64: 1527254213ABFCE3 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:47:35] 813*2^1432880-1 is not prime. Res64: 319DF4E64F3748BB Time : 0.0 sec. user=mdettweiler [2016-06-19 11:47:36] 819*2^1432880-1 is not prime. Res64: 75F5C5987AE8D7B3 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:47:36] 827*2^1432880-1 is not prime. Res64: 520E9517A3B8C3D2 Time : 0.0 sec. user=mdettweiler [2016-06-19 11:47:36] 977*2^1432880-1 is not prime. Res64: 279BBFC142D14FFA Time : 0.0 sec. user=mdettweiler [2016-06-19 12:00:39] 627*2^1432881-1 is not prime. Res64: FA512539BB4EB82E Time : 0.0 sec. user=mdettweiler [2016-06-19 12:00:40] 705*2^1432881-1 is not prime. Res64: 4B17043182734CAB Time : 0.0 sec. user=mdettweiler [2016-06-19 12:00:41] 741*2^1432881-1 is not prime. Res64: 12B48F1C58D991BB Time : 0.0 sec. user=mdettweiler [2016-06-19 12:00:42] 781*2^1432881-1 is not prime. Res64: 8656B540C96B3734 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:00:42] 829*2^1432881-1 is not prime. Res64: 4881D7E4273AEF85 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:18:16] 895*2^1432881-1 is not prime. Res64: DC513A28F1DFAD58 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:18:16] 909*2^1432881-1 is not prime. Res64: ED7B312C18F008C9 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:18:17] 969*2^1432881-1 is not prime. Res64: 520D2CDF3C31BE69 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:18:17] 997*2^1432881-1 is not prime. Res64: A57B52582CD4FD5F Time : 0.0 sec. user=mdettweiler [2016-06-19 12:18:17] 633*2^1432882-1 is not prime. Res64: B85A5069658B38C5 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:31:19] 677*2^1432882-1 is not prime. Res64: 8D8C8B236F17B473 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:31:19] 923*2^1432882-1 is not prime. Res64: 97D80158CC1F2AC1 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:31:20] 987*2^1432882-1 is not prime. Res64: 9577A6F71BE90E84 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:31:20] 995*2^1432882-1 is not prime. Res64: 772AFA70482D0C04 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:31:20] 675*2^1432883-1 is not prime. Res64: F8798EC156715F59 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:32:41] 705*2^1432883-1 is not prime. Res64: DFF7F14C3C214F19 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:32:42] 811*2^1432883-1 is not prime. Res64: AFEE639487A0FBDE Time : 0.0 sec. user=mdettweiler [2016-06-19 12:32:42] 819*2^1432883-1 is not prime. Res64: 5E068504D1F58F0D Time : 0.0 sec. user=mdettweiler [2016-06-19 12:32:43] 963*2^1432883-1 is not prime. Res64: 60149DA0E41CE37F Time : 0.0 sec. user=mdettweiler [2016-06-19 12:32:43] 665*2^1432884-1 is not prime. Res64: 13916C0FB0A4F6DB Time : 0.0 sec. user=mdettweiler [2016-06-19 12:45:27] 783*2^1432884-1 is not prime. Res64: 599C7821E520D273 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:45:28] 789*2^1432884-1 is not prime. Res64: 0E491B95CEFF990F Time : 0.0 sec. user=mdettweiler [2016-06-19 12:45:28] 923*2^1432884-1 is not prime. Res64: 444C63C238598408 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:45:28] 965*2^1432884-1 is not prime. Res64: F44AEC6B1C26AA82 Time : 0.0 sec. user=mdettweiler [2016-06-19 12:45:29] 619*2^1432885-1 is not prime. Res64: E9358ED5BB9B9FF9 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:16:36] 975*2^1432885-1 is not prime. Res64: 9B2503EF380575A3 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:16:37] 705*2^1432886-1 is not prime. Res64: A17C4F48BF6523B8 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:16:37] 711*2^1432886-1 is not prime. Res64: 52D293D7AB8AD252 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:16:38] 893*2^1432886-1 is not prime. Res64: 245D22E185A45869 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:16:38] 601*2^1432887-1 is not prime. Res64: 383253A18E1A28DC Time : 0.0 sec. user=mdettweiler [2016-06-19 13:17:40] 633*2^1432887-1 is not prime. Res64: 6E8E2A6CDDB56B76 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:17:40] 691*2^1432887-1 is not prime. Res64: 751D5D57FC9CC438 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:17:41] 849*2^1432887-1 is not prime. Res64: 7324D1A33161790C Time : 0.0 sec. user=mdettweiler [2016-06-19 13:17:42] 919*2^1432887-1 is not prime. Res64: AFD49DE68972F4E8 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:17:42] 945*2^1432887-1 is not prime. Res64: 9EBE1816F3373829 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:31:17] 949*2^1432887-1 is not prime. Res64: 1B39A9268E9E1FCD Time : 0.0 sec. user=mdettweiler [2016-06-19 13:31:17] 689*2^1432888-1 is not prime. Res64: F89677A1D1069171 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:31:17] 803*2^1432888-1 is not prime. Res64: B35501687937B832 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:31:18] 887*2^1432888-1 is not prime. Res64: CC80A249E6BE97C8 Time : 0.0 sec. user=mdettweiler [2016-06-19 13:31:18] 915*2^1432888-1 is not prime. Res64: 16BF1CB9738B9211 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:02:22] 959*2^1432888-1 is not prime. Res64: E99432C2B9162FE9 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:02:23] 631*2^1432889-1 is not prime. Res64: DAF2C4192DE31D54 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:02:24] 679*2^1432889-1 is not prime. Res64: 17902B5B104696D8 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:02:25] 697*2^1432889-1 is not prime. Res64: C2E935D141AAB511 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:02:25] 741*2^1432889-1 is not prime. Res64: 6AEF713515521D2E Time : 0.0 sec. user=mdettweiler [2016-06-19 14:03:22] 745*2^1432889-1 is not prime. Res64: FEC03F7A0259F4BA Time : 0.0 sec. user=mdettweiler [2016-06-19 14:03:23] 837*2^1432889-1 is not prime. Res64: 0A10746F08E8B480 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:03:24] 861*2^1432889-1 is not prime. Res64: 4E24880FE2C8564F Time : 0.0 sec. user=mdettweiler [2016-06-19 14:03:25] 889*2^1432889-1 is not prime. Res64: E6FFE69AF33E10AD Time : 0.0 sec. user=mdettweiler [2016-06-19 14:03:25] 909*2^1432889-1 is not prime. Res64: 6FBDB454915679E7 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:16:58] 611*2^1432890-1 is not prime. Res64: 6D6EEF0EF7CE982E Time : 0.0 sec. user=mdettweiler [2016-06-19 14:16:59] 671*2^1432890-1 is not prime. Res64: 60F6F584E5C11570 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:16:59] 713*2^1432890-1 is not prime. Res64: 9FECBCAC4A700416 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:17:00] 801*2^1432890-1 is not prime. Res64: 8C2482BCAAF69CC4 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:17:00] 803*2^1432890-1 is not prime. Res64: AD240D6DA7BCB268 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:48:12] 893*2^1432890-1 is not prime. Res64: 55DBF797D1788B8E Time : 0.0 sec. user=mdettweiler [2016-06-19 14:48:13] 619*2^1432891-1 is not prime. Res64: 4AAE0C169BE8E95A Time : 0.0 sec. user=mdettweiler [2016-06-19 14:48:13] 741*2^1432891-1 is not prime. Res64: 0E5081058384E740 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:48:13] 909*2^1432891-1 is not prime. Res64: 344E052317CD47B1 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:48:14] 969*2^1432891-1 is not prime. Res64: C9EDEC2D8CA88D4D Time : 0.0 sec. user=mdettweiler [2016-06-19 14:49:10] 843*2^1432892-1 is not prime. Res64: C088B726742E3F42 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:49:10] 873*2^1432892-1 is not prime. Res64: FBC0270ECEE93E93 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:49:11] 977*2^1432892-1 is not prime. Res64: FD467C4FE02329CD Time : 0.0 sec. user=mdettweiler [2016-06-19 14:49:11] 741*2^1432893-1 is not prime. Res64: 3707D7D03E6E3E16 Time : 0.0 sec. user=mdettweiler [2016-06-19 14:49:11] 787*2^1432893-1 is not prime. Res64: DAD7221A78FA1918 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:02:45] 895*2^1432893-1 is not prime. Res64: 8251486D3B2B16EC Time : 0.0 sec. user=mdettweiler [2016-06-19 15:02:46] 991*2^1432893-1 is not prime. Res64: 80E49D06E24BF137 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:02:48] 617*2^1432894-1 is not prime. Res64: 94A47BF0DB743DE2 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:02:49] 705*2^1432894-1 is not prime. Res64: F176FCDAA0DD35CD Time : 0.0 sec. user=mdettweiler [2016-06-19 15:02:49] 741*2^1432894-1 is not prime. Res64: 6CC35968473C08C9 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:33:58] 813*2^1432894-1 is not prime. Res64: 848F253BD55ECAD2 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:33:59] 825*2^1432894-1 is not prime. Res64: 677E42542A06EBA3 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:33:59] 831*2^1432894-1 is not prime. Res64: 2E707BB3BB9ACBAB Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:00] 885*2^1432894-1 is not prime. Res64: 80D8D8A4DD1588DB Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:00] 945*2^1432894-1 is not prime. Res64: 95B6737C9D1B5AD2 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:50] 655*2^1432895-1 is not prime. Res64: DFA8C686B120A97F Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:51] 679*2^1432895-1 is not prime. Res64: 1138720364CEC635 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:51] 705*2^1432895-1 is not prime. Res64: EAC68B770693AE71 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:51] 715*2^1432895-1 is not prime. Res64: 58D352E6E6CB7F72 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:34:52] 781*2^1432895-1 is not prime. Res64: 873D2CB176842CF6 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:48:44] 805*2^1432895-1 is not prime. Res64: E49D9C5FD017382E Time : 0.0 sec. user=mdettweiler [2016-06-19 15:48:44] 825*2^1432895-1 is not prime. Res64: FECE2889BE375E84 Time : 0.0 sec. user=mdettweiler [2016-06-19 15:48:44] 871*2^1432895-1 is not prime. Res64: 764C730551F4563C Time : 0.0 sec. user=mdettweiler [2016-06-19 15:48:45] 981*2^1432895-1 is not prime. Res64: 6BD215B10B3714BB Time : 0.0 sec. user=mdettweiler [2016-06-19 15:48:45] 635*2^1432896-1 is not prime. Res64: 21BC71EE41FB1C2B Time : 0.0 sec. user=mdettweiler [2016-06-19 16:19:35] 669*2^1432896-1 is not prime. Res64: D988674F6D22130A Time : 0.0 sec. user=mdettweiler [2016-06-19 16:19:35] 759*2^1432896-1 is not prime. Res64: 833D1D33CF49454D Time : 0.0 sec. user=mdettweiler [2016-06-19 16:19:36] 765*2^1432896-1 is not prime. Res64: A7F139F65F0E517A Time : 0.0 sec. user=mdettweiler [2016-06-19 16:19:36] 789*2^1432896-1 is not prime. Res64: 37507B27171D6B41 Time : 0.0 sec. user=mdettweiler [2016-06-19 16:19:36] 903*2^1432896-1 is not prime. Res64: 09618CB15ED2F8B2 Time : 0.0 sec. user=mdettweiler [2016-06-19 16:20:26] 917*2^1432896-1 is not prime. Res64: 7BEEC66F73042E6B Time : 0.0 sec. user=mdettweiler [2016-06-19 16:20:26] 615*2^1432897-1 is not prime. Res64: 99A6B0618055E097 Time : 0.0 sec. user=mdettweiler [2016-06-19 16:20:26] 639*2^1432897-1 is not prime. Res64: 57367C4EC03CC52E Time : 0.0 sec. user=mdettweiler [2016-06-19 16:20:27] 651*2^1432897-1 is not prime. Res64: CF4EC33CE62A8E0B Time : 0.0 sec. user=mdettweiler [2016-06-19 16:20:27] 945*2^1432897-1 is not prime. Res64: A5B6918C0D584AE5 Time : 0.0 sec. user=mdettweiler [2016-06-19 16:34:26] 623*2^1432898-1 is not prime. Res64: E122CD590F4B32CC Time : 0.0 sec. user=mdettweiler [2016-06-19 16:34:26] 767*2^1432898-1 is not prime. Res64: 02BD13314A5A9B18 Time : 0.0 sec. user=mdettweiler [2016-06-19 16:34:26] 791*2^1432898-1 is not prime. Res64: 473F099086DF50FA Time : 0.0 sec. user=mdettweiler [2016-06-19 16:34:27] 813*2^1432898-1 is not prime. Res64: 1E9BEEDE30A8D0B7 Time : 0.0 sec. user=mdettweiler [2016-06-19 16:34:27] 885*2^1432898-1 is not prime. Res64: 5F760AE3B8E2E335 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:08] 615*2^1432899-1 is not prime. Res64: 8253691518D9EF01 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:11] 625*2^1432899-1 is not prime. Res64: 08D155D129BBC065 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:12] 679*2^1432899-1 is not prime. Res64: 68454FB909FC29BA Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:13] 769*2^1432899-1 is not prime. Res64: FB7840DBBBAE42E9 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:14] 853*2^1432899-1 is not prime. Res64: CCB90B491C5D3C60 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:57] 921*2^1432899-1 is not prime. Res64: 55DBD4EDC0DF7C15 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:58] 677*2^1432900-1 is not prime. Res64: 199568F437D362DE Time : 0.0 sec. user=mdettweiler [2016-06-19 17:05:59] 687*2^1432900-1 is not prime. Res64: 94E62192CAB190A7 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:06:01] 719*2^1432900-1 is not prime. Res64: 9835A379338AC412 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:06:02] 759*2^1432900-1 is not prime. Res64: F280AE078657EA3C Time : 0.0 sec. user=mdettweiler [2016-06-19 17:16:02] 649*2^1432885-1 is not prime. Res64: 3101E529331F588C Time : 0.0 sec. user=mdettweiler [2016-06-19 17:16:03] 685*2^1432885-1 is not prime. Res64: 92D5C07588A89453 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:16:03] 717*2^1432885-1 is not prime. Res64: D066EDAA19D2FCFA Time : 0.0 sec. user=mdettweiler [2016-06-19 17:16:04] 861*2^1432885-1 is not prime. Res64: BD06AAAB2085650A Time : 0.0 sec. user=mdettweiler [2016-06-19 17:16:04] 961*2^1432885-1 is not prime. Res64: B483B0DD61DCCCF9 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:20:02] 773*2^1432900-1 is not prime. Res64: 7C79ABD76DEE1618 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:20:03] 803*2^1432900-1 is not prime. Res64: C22F515ED7B5B63D Time : 0.0 sec. user=mdettweiler [2016-06-19 17:20:03] 915*2^1432900-1 is not prime. Res64: 07D36445F84F7589 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:20:03] 939*2^1432900-1 is not prime. Res64: CF82780B9CF8B92B Time : 0.0 sec. user=mdettweiler [2016-06-19 17:20:04] 965*2^1432900-1 is not prime. Res64: 5ECC89DFB6AAC93A Time : 0.0 sec. user=mdettweiler [2016-06-19 17:50:26] 983*2^1432900-1 is not prime. Res64: F2DAF374050208A6 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:50:26] 615*2^1432901-1 is not prime. Res64: 81BB774D06F92814 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:50:27] 777*2^1432901-1 is not prime. Res64: 7060426C0ABE2A41 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:50:27] 825*2^1432901-1 is not prime. Res64: 8DE004E0C22629A5 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:50:28] 677*2^1432902-1 is not prime. Res64: 4DCE271002BA81D0 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:51:00] 695*2^1432902-1 is not prime. Res64: EB3CC86CFA616044 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:51:00] 711*2^1432902-1 is not prime. Res64: 518F22EEBAF640BB Time : 0.0 sec. user=mdettweiler [2016-06-19 17:51:01] 725*2^1432902-1 is not prime. Res64: 5D26867F2F472507 Time : 0.0 sec. user=mdettweiler [2016-06-19 17:51:01] 765*2^1432902-1 is not prime. Res64: 3C8438F7BAAC493B Time : 0.0 sec. user=mdettweiler [2016-06-19 17:51:01] 815*2^1432902-1 is not prime. Res64: B5B52A7353ACF57B Time : 0.0 sec. user=mdettweiler [2016-06-19 18:01:13] 821*2^1432902-1 is not prime. Res64: 029E921A6D11C0AE Time : 0.0 sec. user=mdettweiler [2016-06-19 18:01:14] 887*2^1432902-1 is not prime. Res64: AC46C4FBA09A2ECD Time : 0.0 sec. user=mdettweiler [2016-06-19 18:01:14] 891*2^1432902-1 is not prime. Res64: 6B4408E2DDE999AE Time : 0.0 sec. user=mdettweiler [2016-06-19 18:01:15] 893*2^1432902-1 is not prime. Res64: BE4CC61346A83E80 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:01:16] 703*2^1432903-1 is not prime. Res64: 1F155C601E797D85 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:05:02] 723*2^1432903-1 is not prime. Res64: 72EAEAA9C7522824 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:05:03] 859*2^1432903-1 is not prime. Res64: C0F4CD705F882C16 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:05:05] 895*2^1432903-1 is not prime. Res64: 73EBEE77E0AA4F0D Time : 0.0 sec. user=mdettweiler [2016-06-19 18:05:06] 901*2^1432903-1 is not prime. Res64: 0602BB601737EB94 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:05:07] 913*2^1432903-1 is not prime. Res64: B8F0FECAE5F3A681 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:23] 943*2^1432903-1 is not prime. Res64: 49B17773D5DEBEBF Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:23] 999*2^1432903-1 is not prime. Res64: 0E51CC845E31E485 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:24] 689*2^1432904-1 is not prime. Res64: 7894A9A239E8C9AA Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:24] 699*2^1432904-1 is not prime. Res64: CB36A01598208D32 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:25] 825*2^1432904-1 is not prime. Res64: B0D8B06B1E21E9D3 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:54] 805*2^1432905-1 is not prime. Res64: 83358AF0B5FC3772 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:55] 889*2^1432905-1 is not prime. Res64: 2929FCF6A4C900A5 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:55] 895*2^1432905-1 is not prime. Res64: F77CB672D2BC9EE8 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:55] 921*2^1432905-1 is not prime. Res64: C8CA26B6D29F4324 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:35:56] 979*2^1432905-1 is not prime. Res64: E46DA1CF67DA276A Time : 0.0 sec. user=mdettweiler [2016-06-19 18:46:09] 991*2^1432905-1 is not prime. Res64: CAE94F765B52F4F6 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:46:10] 645*2^1432906-1 is not prime. Res64: D56CC24A3A9937BA Time : 0.0 sec. user=mdettweiler [2016-06-19 18:46:10] 651*2^1432906-1 is not prime. Res64: 2E3CA6DAAB752A1F Time : 0.0 sec. user=mdettweiler [2016-06-19 18:46:10] 705*2^1432906-1 is not prime. Res64: 62559BE536279002 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:46:11] 723*2^1432906-1 is not prime. Res64: C16CA4C8264F21B5 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:50:17] 773*2^1432906-1 is not prime. Res64: BE4EED33BB1F3C3B Time : 0.0 sec. user=mdettweiler [2016-06-19 18:50:18] 801*2^1432906-1 is not prime. Res64: 2A9BE07DD7475E90 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:50:18] 833*2^1432906-1 is not prime. Res64: 9217254A9E3B2738 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:50:18] 861*2^1432906-1 is not prime. Res64: BC266DB21A6ABDB0 Time : 0.0 sec. user=mdettweiler [2016-06-19 18:50:19] 867*2^1432906-1 is not prime. Res64: A5CD94F0B10E4481 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:12] 945*2^1432906-1 is not prime. Res64: 3A403A96688B5450 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:12] 733*2^1432907-1 is not prime. Res64: C18AF3277BD30286 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:13] 813*2^1432907-1 is not prime. Res64: 70B99FFAE121F5EC Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:13] 963*2^1432907-1 is not prime. Res64: 934E6225556D0280 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:13] 635*2^1432908-1 is not prime. Res64: E10D6D4BCC790670 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:58] 665*2^1432908-1 is not prime. Res64: 53F98B6CE4716D84 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:58] 683*2^1432908-1 is not prime. Res64: 21AEE9D8E85803D2 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:59] 839*2^1432908-1 is not prime. Res64: C5E3FFA80AF31738 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:59] 899*2^1432908-1 is not prime. Res64: 140C01A3CE769ACE Time : 0.0 sec. user=mdettweiler [2016-06-19 19:20:59] 915*2^1432908-1 is not prime. Res64: 98C7FD43C7D99DD1 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:31:08] 923*2^1432908-1 is not prime. Res64: 02081F68AF817356 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:31:09] 935*2^1432908-1 is not prime. Res64: BDAD5F6A8F7F1281 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:31:09] 975*2^1432908-1 is not prime. Res64: EDC6ACF3CB374E78 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:31:10] 987*2^1432908-1 is not prime. Res64: 6D8107AC37E847ED Time : 0.0 sec. user=mdettweiler [2016-06-19 19:31:10] 609*2^1432909-1 is not prime. Res64: 2F749FFD414338B2 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:35:05] 771*2^1432909-1 is not prime. Res64: 66F57B901A051E2D Time : 0.0 sec. user=mdettweiler [2016-06-19 19:35:05] 799*2^1432909-1 is not prime. Res64: 859305B1610F6905 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:35:05] 801*2^1432909-1 is not prime. Res64: 8F9862B3F10619F7 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:35:06] 847*2^1432909-1 is not prime. Res64: 2980C29136AA7D80 Time : 0.0 sec. user=mdettweiler [2016-06-19 19:35:06] 955*2^1432909-1 is not prime. Res64: 3DA72896237238D2 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:04] 957*2^1432909-1 is not prime. Res64: 2528839C30979276 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:06] 665*2^1432910-1 is not prime. Res64: E682BB52153E508B Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:07] 761*2^1432910-1 is not prime. Res64: 00B7F6D76F6DBBFD Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:08] 831*2^1432910-1 is not prime. Res64: 4EB9B46E471D7C15 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:09] 875*2^1432910-1 is not prime. Res64: 3FAF1031A5DA21DB Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:48] 609*2^1432911-1 is not prime. Res64: 53B3691A752F8E40 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:49] 613*2^1432911-1 is not prime. Res64: 51068FBB50653A59 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:50] 619*2^1432911-1 is not prime. Res64: C3F933060BB31F3F Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:51] 795*2^1432911-1 is not prime. Res64: 4A2C43A9C7271342 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:05:52] 805*2^1432911-1 is not prime. Res64: 60520DD5EF4C0DDD Time : 0.0 sec. user=mdettweiler [2016-06-19 20:15:52] 901*2^1432911-1 is not prime. Res64: 4FA8CCD400328515 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:15:52] 635*2^1432912-1 is not prime. Res64: 05A105B8D52D60E3 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:15:53] 665*2^1432912-1 is not prime. Res64: C776456BCD490E76 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:15:53] 825*2^1432912-1 is not prime. Res64: BEBD0B0C15FDE07C Time : 0.0 sec. user=mdettweiler [2016-06-19 20:15:54] 863*2^1432912-1 is not prime. Res64: 686EAC6D2EB0901E Time : 0.0 sec. user=mdettweiler [2016-06-19 20:20:05] 615*2^1432913-1 is not prime. Res64: AA3D142C59E2F2A3 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:20:05] 657*2^1432913-1 is not prime. Res64: 81FD516ADA0A72B6 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:20:06] 669*2^1432913-1 is not prime. Res64: 3627D1B486E680D5 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:20:06] 697*2^1432913-1 is not prime. Res64: 2AEE95C77394AFB0 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:20:07] 747*2^1432913-1 is not prime. Res64: 883DCECF3A9FEBA1 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:04] 775*2^1432913-1 is not prime. Res64: B40F42C3AFDDC8B9 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:05] 811*2^1432913-1 is not prime. Res64: A08EA4CE8672006E Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:05] 945*2^1432913-1 is not prime. Res64: F495576E5DB1D610 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:05] 987*2^1432913-1 is not prime. Res64: C7367F670E2BAFCD Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:06] 773*2^1432914-1 is not prime. Res64: 5DB5ABC36C757393 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:43] 917*2^1432914-1 is not prime. Res64: 7FBC824CC61AD06A Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:44] 601*2^1432915-1 is not prime. Res64: 793EBCA6AC5E1F26 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:44] 609*2^1432915-1 is not prime. Res64: C22B46B8034C946D Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:44] 915*2^1432915-1 is not prime. Res64: 45149ECD1FA7F245 Time : 0.0 sec. user=mdettweiler [2016-06-19 20:50:45] 919*2^1432915-1 is not prime. Res64: CB7B9830DF4D0B94 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:00:48] 939*2^1432915-1 is not prime. Res64: 8A703F48AE2764FD Time : 0.0 sec. user=mdettweiler [2016-06-19 21:00:49] 951*2^1432915-1 is not prime. Res64: 2626473895953796 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:00:50] 767*2^1432916-1 is not prime. Res64: 60BD9D4A294D6C58 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:00:51] 875*2^1432916-1 is not prime. Res64: D7290EE2E2F0813C Time : 0.0 sec. user=mdettweiler [2016-06-19 21:00:51] 897*2^1432916-1 is not prime. Res64: E4471F413737A06C Time : 0.0 sec. user=mdettweiler [2016-06-19 21:04:59] 923*2^1432916-1 is not prime. Res64: 845FC77C6038AEC1 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:05:01] 999*2^1432916-1 is not prime. Res64: D54846C230C2A0B5 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:05:02] 615*2^1432917-1 is not prime. Res64: 3DF391CE0287C52D Time : 0.0 sec. user=mdettweiler [2016-06-19 21:05:03] 625*2^1432917-1 is not prime. Res64: CE4274475F9D9851 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:05:05] 979*2^1432917-1 is not prime. Res64: 5688F34CD0002F27 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:34:56] 671*2^1432918-1 is not prime. Res64: 89EA070F45230019 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:34:56] 801*2^1432918-1 is not prime. Res64: B0A7C2048F81CA4B Time : 0.0 sec. user=mdettweiler [2016-06-19 21:34:57] 813*2^1432918-1 is not prime. Res64: 37EDE989F2E1FF05 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:34:57] 855*2^1432918-1 is not prime. Res64: 1A60A839A656C13E Time : 0.0 sec. user=mdettweiler [2016-06-19 21:34:57] 857*2^1432918-1 is not prime. Res64: 93AE9A72A0288AA8 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:35:28] 885*2^1432918-1 is not prime. Res64: 5600C52327A22087 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:35:29] 619*2^1432919-1 is not prime. Res64: 755FC332F5547BF0 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:35:29] 775*2^1432919-1 is not prime. Res64: F4D4A615EDD991D7 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:35:30] 883*2^1432919-1 is not prime. Res64: 2121B5BC27272299 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:35:30] 921*2^1432919-1 is not prime. Res64: 5ECA2D97BCD3BBD2 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:45:37] 629*2^1432920-1 is not prime. Res64: 1D900613B529EBA0 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:45:37] 707*2^1432920-1 is not prime. Res64: 2CD945051CD95271 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:45:37] 765*2^1432920-1 is not prime. Res64: DF0A0B35D643FAC1 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:45:38] 845*2^1432920-1 is not prime. Res64: 462C3FC8932BD99C Time : 0.0 sec. user=mdettweiler [2016-06-19 21:45:38] 857*2^1432920-1 is not prime. Res64: 379FE2F94D9EA94B Time : 0.0 sec. user=mdettweiler [2016-06-19 21:50:06] 905*2^1432920-1 is not prime. Res64: 2C6487BA842526EE Time : 0.0 sec. user=mdettweiler [2016-06-19 21:50:06] 945*2^1432920-1 is not prime. Res64: 16543236B886FFC7 Time : 0.0 sec. user=mdettweiler [2016-06-19 21:50:06] 645*2^1432921-1 is not prime. Res64: 3ADCBFC1414085EC Time : 0.0 sec. user=mdettweiler [2016-06-19 21:50:07] 775*2^1432921-1 is not prime. Res64: 2927B77ED163FBEC Time : 0.0 sec. user=mdettweiler [2016-06-19 21:50:07] 777*2^1432921-1 is not prime. Res64: 7545F8C46F189EE1 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:01] 889*2^1432921-1 is not prime. Res64: F25450D074138BF4 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:01] 713*2^1432922-1 is not prime. Res64: 853C3B7EE0977180 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:02] 741*2^1432922-1 is not prime. Res64: 4DAAE4D1980BC1AF Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:02] 857*2^1432922-1 is not prime. Res64: 5D744C0335FAA21B Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:03] 921*2^1432922-1 is not prime. Res64: E4BD455E94AFAEC8 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:30] 987*2^1432922-1 is not prime. Res64: D73B66D0A02FC177 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:30] 643*2^1432923-1 is not prime. Res64: B1060C303B5825E0 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:31] 919*2^1432923-1 is not prime. Res64: DFACAF3221911D74 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:31] 945*2^1432923-1 is not prime. Res64: 9C7526046BE64855 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:20:32] 609*2^1432924-1 is not prime. Res64: 5C5359C440C2F735 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:30:39] 615*2^1432924-1 is not prime. Res64: 35BDD829DF43EDED Time : 0.0 sec. user=mdettweiler [2016-06-19 22:30:39] 665*2^1432924-1 is not prime. Res64: 667880B8B3F43035 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:30:40] 723*2^1432924-1 is not prime. Res64: 4345FD72771B7AC2 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:30:40] 927*2^1432924-1 is not prime. Res64: B20AEA716D2768D7 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:30:40] 619*2^1432925-1 is not prime. Res64: 29B82383476806BC Time : 0.0 sec. user=mdettweiler [2016-06-19 22:35:03] 831*2^1432925-1 is not prime. Res64: D507ADEE2D0708A7 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:35:03] 859*2^1432925-1 is not prime. Res64: 049AB9709E4A1041 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:35:04] 955*2^1432925-1 is not prime. Res64: E8B6F13D7D02A53D Time : 0.0 sec. user=mdettweiler [2016-06-19 22:35:04] 611*2^1432926-1 is not prime. Res64: E4FE21686DB731B0 Time : 0.0 sec. user=mdettweiler [2016-06-19 22:35:05] 693*2^1432926-1 is not prime. Res64: 6F5EFF8C17BE08F2 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:04:52] 807*2^1432926-1 is not prime. Res64: 45D292B99966DF28 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:04:54] 815*2^1432926-1 is not prime. Res64: 2561AE782D6976F4 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:04:55] 881*2^1432926-1 is not prime. Res64: C1C522B4907CAF63 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:04:56] 963*2^1432926-1 is not prime. Res64: A7029D8DB7723672 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:04:57] 971*2^1432926-1 is not prime. Res64: 9FDC9CD98F5C77FE Time : 0.0 sec. user=mdettweiler [2016-06-19 23:05:09] 625*2^1432927-1 is not prime. Res64: 7AC834FBB41D498E Time : 0.0 sec. user=mdettweiler [2016-06-19 23:05:10] 645*2^1432927-1 is not prime. Res64: E9B49025798EDB2A Time : 0.0 sec. user=mdettweiler [2016-06-19 23:05:11] 765*2^1432927-1 is not prime. Res64: 8CF7A9AA3BAC8483 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:05:12] 841*2^1432927-1 is not prime. Res64: 4495E0F99ED9736C Time : 0.0 sec. user=mdettweiler [2016-06-19 23:05:13] 859*2^1432927-1 is not prime. Res64: 890BB974E10F77A8 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:15:51] 861*2^1432927-1 is not prime. Res64: 8CC0B86F758E3E03 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:15:52] 925*2^1432927-1 is not prime. Res64: EABDF35AB96FA300 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:15:52] 939*2^1432927-1 is not prime. Res64: A6C0B09BEDF53CF5 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:15:53] 985*2^1432927-1 is not prime. Res64: D945575922405161 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:15:53] 623*2^1432928-1 is not prime. Res64: 0C9A5022A1045F1E Time : 0.0 sec. user=mdettweiler [2016-06-19 23:19:58] 635*2^1432928-1 is not prime. Res64: 398121D6B5EA89D6 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:19:58] 665*2^1432928-1 is not prime. Res64: 739319C2AC9AB5BD Time : 0.0 sec. user=mdettweiler [2016-06-19 23:19:59] 827*2^1432928-1 is not prime. Res64: 0CD23A7882044CD7 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:19:59] 833*2^1432928-1 is not prime. Res64: CD82E6D9C03389B8 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:20:00] 843*2^1432928-1 is not prime. Res64: 9EE1C52A0D9D1A2E Time : 0.0 sec. user=mdettweiler [2016-06-19 23:49:54] 855*2^1432928-1 is not prime. Res64: A977C0E84DAC5BE1 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:49:55] 963*2^1432928-1 is not prime. Res64: 62364B853018D0CD Time : 0.0 sec. user=mdettweiler [2016-06-19 23:49:55] 637*2^1432929-1 is not prime. Res64: 12CA9E1821DA39ED Time : 0.0 sec. user=mdettweiler [2016-06-19 23:49:55] 685*2^1432929-1 is not prime. Res64: FDF491C272376650 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:49:56] 747*2^1432929-1 is not prime. Res64: 12BCD89C57F2555E Time : 0.0 sec. user=mdettweiler [2016-06-19 23:50:10] 787*2^1432929-1 is not prime. Res64: CE62B09CCDD46413 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:50:11] 807*2^1432929-1 is not prime. Res64: 3A6D3F4D7068A379 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:50:11] 895*2^1432929-1 is not prime. Res64: 988B523B164434D0 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:50:11] 997*2^1432929-1 is not prime. Res64: 60C36E826E112298 Time : 0.0 sec. user=mdettweiler [2016-06-19 23:50:12] 999*2^1432929-1 is not prime. Res64: 6EDA4EC81870BB55 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:00:48] 603*2^1432930-1 is not prime. Res64: E2D65B16EB6E520F Time : 0.0 sec. user=mdettweiler [2016-06-20 00:00:49] 635*2^1432930-1 is not prime. Res64: 27D92816AEAC02B6 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:00:49] 653*2^1432930-1 is not prime. Res64: C12519240383D05A Time : 0.0 sec. user=mdettweiler [2016-06-20 00:00:49] 675*2^1432930-1 is not prime. Res64: 94D70717FD88B77D Time : 0.0 sec. user=mdettweiler [2016-06-20 00:00:50] 687*2^1432930-1 is not prime. Res64: EE2CB27A90F4C899 Time : 0.0 sec.