user=mdettweiler [2017-04-12 00:06:12] 867*2^1451317-1 is not prime. Res64: 8976DB2BEBB36361 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:06:13] 871*2^1451317-1 is not prime. Res64: BD42CDBA94FAAA68 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:06:15] 927*2^1451317-1 is not prime. Res64: A39B3CD919ACA575 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:06:16] 931*2^1451317-1 is not prime. Res64: E6F20D79EBDA7ED2 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:06:17] 939*2^1451317-1 is not prime. Res64: EED82BD09B7DA41A Time : 0.0 sec. user=mdettweiler [2017-04-12 00:15:18] 627*2^1451318-1 is not prime. Res64: 0005CA290C2E3D60 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:15:18] 635*2^1451318-1 is not prime. Res64: 2C86A7A383779675 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:15:19] 755*2^1451318-1 is not prime. Res64: 6CAC6D5633BF8581 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:15:19] 791*2^1451318-1 is not prime. Res64: 4E2C4E123C514F42 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:15:20] 857*2^1451318-1 is not prime. Res64: A6BEAE726A436A16 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:01] 867*2^1451318-1 is not prime. Res64: BEA1C0F82BBCF77F Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:01] 911*2^1451318-1 is not prime. Res64: 7002874533ED46B6 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:01] 945*2^1451318-1 is not prime. Res64: B6E584231A59482B Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:02] 977*2^1451318-1 is not prime. Res64: EC20386D11F4718E Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:02] 625*2^1451319-1 is not prime. Res64: 86A74D08E3E41168 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:09] 663*2^1451319-1 is not prime. Res64: C10E2955824B42ED Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:09] 745*2^1451319-1 is not prime. Res64: DEB6BE5C1A001187 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:09] 913*2^1451319-1 is not prime. Res64: CAAC392DFE7FDC72 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:10] 943*2^1451319-1 is not prime. Res64: 4610EBE48549FE1F Time : 0.0 sec. user=mdettweiler [2017-04-12 00:26:10] 999*2^1451319-1 is not prime. Res64: E9F6CC2025AD7345 Time : 0.0 sec. user=juhehe [2017-04-12 00:31:31] 623*2^1451320-1 is not prime. Res64: E1AA91BB8B67BD84 Time : 0.0 sec. user=mdettweiler [2017-04-12 00:51:46] 665*2^1451320-1 is not prime. Res64: 89AEBC0D5BC5425A Time : 0.0 sec. user=mdettweiler [2017-04-12 00:51:47] 677*2^1451320-1 is not prime. Res64: 731785CD48A3BA8C Time : 0.0 sec. user=mdettweiler [2017-04-12 00:51:47] 863*2^1451320-1 is not prime. Res64: 93861DE61FBB6CBB Time : 0.0 sec. user=mdettweiler [2017-04-12 00:51:48] 909*2^1451320-1 is not prime. Res64: 99F974596252560F Time : 0.0 sec. user=mdettweiler [2017-04-12 00:51:48] 965*2^1451320-1 is not prime. Res64: ADD7D438DEA84F08 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:00:27] 637*2^1451321-1 is not prime. Res64: 6CCB186C93FBD5A1 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:00:28] 741*2^1451321-1 is not prime. Res64: 98519BAA6B5F7A04 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:00:29] 939*2^1451321-1 is not prime. Res64: 0E550A368CEDE6EA Time : 0.0 sec. user=mdettweiler [2017-04-12 01:00:30] 949*2^1451321-1 is not prime. Res64: 9ECAADF02F0378CA Time : 0.0 sec. user=mdettweiler [2017-04-12 01:00:30] 987*2^1451321-1 is not prime. Res64: 9FC2CC198F398E34 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:26] 621*2^1451322-1 is not prime. Res64: 2D4B67AE495F1EE2 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:27] 651*2^1451322-1 is not prime. Res64: 258470D64367DEB1 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:27] 755*2^1451322-1 is not prime. Res64: 47FDE065F0C27467 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:28] 923*2^1451322-1 is not prime. Res64: 93C361007B9FCDB9 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:28] 703*2^1451323-1 is not prime. Res64: 6BA070649B23EA87 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:56] 741*2^1451323-1 is not prime. Res64: B9BAED7E6BDC759B Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:56] 861*2^1451323-1 is not prime. Res64: 5F5BD33B9B622995 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:57] 951*2^1451323-1 is not prime. Res64: 9A6E6228BE281609 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:57] 743*2^1451324-1 is not prime. Res64: 596CCE971F6ED5C1 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:11:57] 857*2^1451324-1 is not prime. Res64: B37188A0108E0339 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:38:10] 625*2^1451325-1 is not prime. Res64: 04EC32709B97A05C Time : 0.0 sec. user=mdettweiler [2017-04-12 01:38:11] 685*2^1451325-1 is not prime. Res64: 37AA100BA35681DE Time : 0.0 sec. user=mdettweiler [2017-04-12 01:38:11] 765*2^1451325-1 is not prime. Res64: 8A98FB3DB36B1DC3 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:38:12] 795*2^1451325-1 is not prime. Res64: ABE5F0B399ACBF71 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:38:12] 997*2^1451325-1 is not prime. Res64: 15A5F491C7D69DF6 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:46:43] 815*2^1451326-1 is not prime. Res64: 6372E1DD771CF0D2 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:46:43] 833*2^1451326-1 is not prime. Res64: E5D0DB2889697838 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:46:44] 891*2^1451326-1 is not prime. Res64: D072D0CA4A66A67B Time : 0.0 sec. user=mdettweiler [2017-04-12 01:46:44] 897*2^1451326-1 is not prime. Res64: E0112B87224C2404 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:46:44] 601*2^1451327-1 is not prime. Res64: C5A595E514B26745 Time : 0.0 sec. user=juhehe [2017-04-12 01:51:18] 887*2^1451328-1 is not prime. Res64: 295AA1A8009F1877 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:15] 655*2^1451327-1 is not prime. Res64: C2CFB58DD27FE20A Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:15] 663*2^1451327-1 is not prime. Res64: B774F2FF64D7DD8F Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:15] 741*2^1451327-1 is not prime. Res64: C913E6552121F8F3 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:16] 813*2^1451327-1 is not prime. Res64: E8D617F08BA3CE6C Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:16] 909*2^1451327-1 is not prime. Res64: A10A5F8A967DEF83 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:40] 949*2^1451327-1 is not prime. Res64: CADAAE0D440B861A Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:40] 627*2^1451328-1 is not prime. Res64: 04667635968334AB Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:41] 689*2^1451328-1 is not prime. Res64: 52118B30F0DCE036 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:41] 797*2^1451328-1 is not prime. Res64: 44D872C985E37719 Time : 0.0 sec. user=mdettweiler [2017-04-12 01:57:41] 815*2^1451328-1 is not prime. Res64: EE2C9573C32806C4 Time : 0.0 sec. user=mdettweiler [2017-04-12 02:42:48] 721*2^1451329-1 is not prime. Res64: CC4B81525A8EE46A Time : 0.0 sec. user=mdettweiler [2017-04-12 02:42:49] 751*2^1451329-1 is not prime. Res64: E1877188DDD984F8 Time : 0.0 sec. user=mdettweiler [2017-04-12 02:42:49] 765*2^1451329-1 is not prime. Res64: 217BECB7E120B3FB Time : 0.0 sec. user=mdettweiler [2017-04-12 02:42:50] 955*2^1451329-1 is not prime. Res64: 3918F91CDE0FFECE Time : 0.0 sec. user=mdettweiler [2017-04-12 02:42:50] 615*2^1451330-1 is not prime. Res64: E7546CE210EA3749 Time : 0.0 sec. user=mdettweiler [2017-04-12 02:51:30] 657*2^1451330-1 is not prime. Res64: 560FF62EEC35D1FD Time : 0.0 sec. user=mdettweiler [2017-04-12 02:51:30] 711*2^1451330-1 is not prime. Res64: 6EBD10FB35E59414 Time : 0.0 sec. user=mdettweiler [2017-04-12 02:51:31] 743*2^1451330-1 is not prime. Res64: 4326A9E08F665152 Time : 0.0 sec. user=mdettweiler [2017-04-12 02:51:31] 797*2^1451330-1 is not prime. Res64: B0A8E254FB1AE7C5 Time : 0.0 sec. user=mdettweiler [2017-04-12 02:51:32] 831*2^1451330-1 is not prime. Res64: 0300B160BFEC5CD8 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:00:57] 823*2^1451331-1 is not prime. Res64: B6AD56C200C9AF44 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:00:58] 849*2^1451331-1 is not prime. Res64: 641F2F01E04C8301 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:01] 879*2^1451331-1 is not prime. Res64: 883202026CA2D426 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:02] 913*2^1451331-1 is not prime. Res64: BAB2CEE2B76FB336 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:02] 857*2^1451330-1 is not prime. Res64: 7F15B1D6BDA7EFE9 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:03] 961*2^1451331-1 is not prime. Res64: 1E004ACD6C5460C2 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:03] 885*2^1451330-1 is not prime. Res64: 7BB28636526987EC Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:04] 995*2^1451330-1 is not prime. Res64: 2D3D24BD23F0C9E3 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:05] 613*2^1451331-1 is not prime. Res64: 330FC4EB41C56D04 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:01:09] 619*2^1451331-1 is not prime. Res64: 5F56FEE5059B9CDB Time : 0.0 sec. user=mdettweiler [2017-04-12 03:29:02] 687*2^1451332-1 is not prime. Res64: C836C32603CBFB23 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:29:03] 717*2^1451332-1 is not prime. Res64: 2788EEA2A933C94A Time : 0.0 sec. user=mdettweiler [2017-04-12 03:29:04] 995*2^1451332-1 is not prime. Res64: FF4E3F54A4A0BC5D Time : 0.0 sec. user=mdettweiler [2017-04-12 03:29:05] 771*2^1451333-1 is not prime. Res64: 843035B5C180EF4C Time : 0.0 sec. user=mdettweiler [2017-04-12 03:29:06] 819*2^1451333-1 is not prime. Res64: EFA67967250B1FC9 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:37:54] 879*2^1451333-1 is not prime. Res64: C1E0BF2F7522F1E2 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:37:56] 915*2^1451333-1 is not prime. Res64: 7A06BCF61A002EA1 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:37:57] 605*2^1451334-1 is not prime. Res64: AF40A7D83FF8E7C2 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:37:58] 723*2^1451334-1 is not prime. Res64: C1036B30BDFAEDD3 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:37:59] 783*2^1451334-1 is not prime. Res64: A5E32A8E22E126C8 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:37] 969*2^1451335-1 is not prime. Res64: DBBA17BE297B95B5 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:39] 609*2^1451336-1 is not prime. Res64: ABAFD1C8BFA2371C Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:39] 657*2^1451336-1 is not prime. Res64: 31B3FAD65776CD60 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:40] 743*2^1451336-1 is not prime. Res64: 60278C96A9D73F61 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:41] 759*2^1451336-1 is not prime. Res64: 525F86896C97403C Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:43] 921*2^1451334-1 is not prime. Res64: CBEA6617F16C823A Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:44] 927*2^1451334-1 is not prime. Res64: E696C27C13D53D20 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:46] 673*2^1451335-1 is not prime. Res64: 6AB0D53CA5816FAA Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:48] 859*2^1451335-1 is not prime. Res64: DC7839B0FF7DBE96 Time : 0.0 sec. user=mdettweiler [2017-04-12 03:47:49] 919*2^1451335-1 is not prime. Res64: BB918548B7A74730 Time : 0.0 sec. user=juhehe [2017-04-12 03:49:31] 903*2^1451336-1 is not prime. Res64: 4AFB5A85C21C5D9B Time : 0.0 sec. user=mdettweiler [2017-04-12 04:14:33] 957*2^1451336-1 is not prime. Res64: C7BF73A11B30F96D Time : 0.0 sec. user=mdettweiler [2017-04-12 04:14:34] 625*2^1451337-1 is not prime. Res64: 70E344C98D756F73 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:14:34] 685*2^1451337-1 is not prime. Res64: 85637B6F338B5659 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:14:35] 699*2^1451337-1 is not prime. Res64: C0196DB1309922F0 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:14:35] 741*2^1451337-1 is not prime. Res64: 6AA1C94B2CA6B205 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:22:52] 769*2^1451337-1 is not prime. Res64: F8AAAAF3DCEE5640 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:22:52] 805*2^1451337-1 is not prime. Res64: A5C57DD525CD5638 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:22:53] 831*2^1451337-1 is not prime. Res64: 0DFFF13F91A44261 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:22:53] 835*2^1451337-1 is not prime. Res64: 5BFED5B4C0FFD6A8 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:22:54] 847*2^1451337-1 is not prime. Res64: 8324E0F481083667 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:32:40] 849*2^1451337-1 is not prime. Res64: 6DCC126214BEC77F Time : 0.0 sec. user=mdettweiler [2017-04-12 04:32:41] 885*2^1451337-1 is not prime. Res64: 60C86185D028CA7A Time : 0.0 sec. user=mdettweiler [2017-04-12 04:32:41] 909*2^1451337-1 is not prime. Res64: 5BC304F0FE748581 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:32:42] 611*2^1451338-1 is not prime. Res64: C63B7A921B785EA4 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:32:42] 621*2^1451338-1 is not prime. Res64: 672B40D2ED421E5A Time : 0.0 sec. user=mdettweiler [2017-04-12 04:33:06] 647*2^1451338-1 is not prime. Res64: 50DBE69C9F6102EB Time : 0.0 sec. user=mdettweiler [2017-04-12 04:33:06] 881*2^1451338-1 is not prime. Res64: F5A4FDA3DA2B3524 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:33:07] 887*2^1451338-1 is not prime. Res64: 43F48AB943905F1C Time : 0.0 sec. user=mdettweiler [2017-04-12 04:33:07] 911*2^1451338-1 is not prime. Res64: F7DF0BE1D7A02DB2 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:33:08] 923*2^1451338-1 is not prime. Res64: 3184CC22DB4D0E37 Time : 0.0 sec. user=juhehe [2017-04-12 04:53:04] 735*2^1451339-1 is not prime. Res64: 28929B4EE14EE069 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:59:22] 759*2^1451339-1 is not prime. Res64: 093ACA90C1F7AB48 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:59:23] 771*2^1451339-1 is not prime. Res64: 7F13192FECD9BD67 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:59:23] 789*2^1451339-1 is not prime. Res64: B93206666381E6FA Time : 0.0 sec. user=mdettweiler [2017-04-12 04:59:24] 859*2^1451339-1 is not prime. Res64: 0CEE95F4CF7A0DE1 Time : 0.0 sec. user=mdettweiler [2017-04-12 04:59:24] 931*2^1451339-1 is not prime. Res64: 123A6E58568F7844 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:07:40] 955*2^1451339-1 is not prime. Res64: 02F7C7BCDE713A3D Time : 0.0 sec. user=mdettweiler [2017-04-12 05:07:41] 999*2^1451339-1 is not prime. Res64: 4AE402BD853E8556 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:07:42] 633*2^1451340-1 is not prime. Res64: 5716E5146938949E Time : 0.0 sec. user=mdettweiler [2017-04-12 05:07:42] 635*2^1451340-1 is not prime. Res64: 3868A19B4649C7F0 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:07:43] 653*2^1451340-1 is not prime. Res64: B21BD9BF93D57A7A Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:21] 867*2^1451340-1 is not prime. Res64: 8D174749A1204908 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:21] 959*2^1451340-1 is not prime. Res64: F67698C58AB938D6 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:22] 983*2^1451340-1 is not prime. Res64: CE0ACF63C40E244C Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:22] 601*2^1451341-1 is not prime. Res64: 5725791DB3889A11 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:23] 745*2^1451341-1 is not prime. Res64: B7DCBA86D1E2C31D Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:52] 855*2^1451341-1 is not prime. Res64: 224DF5DC26BE0B26 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:53] 861*2^1451341-1 is not prime. Res64: 2443C77A2E653904 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:53] 963*2^1451342-1 is not prime. Res64: 4CE0DBF7E71070E9 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:54] 679*2^1451343-1 is not prime. Res64: 276D898F4806439F Time : 0.0 sec. user=mdettweiler [2017-04-12 05:17:54] 745*2^1451343-1 is not prime. Res64: 989916E8B13BBC3E Time : 0.0 sec. user=mdettweiler [2017-04-12 05:44:07] 873*2^1451343-1 is not prime. Res64: 7428C95D92C7E677 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:44:08] 921*2^1451343-1 is not prime. Res64: 3BC3138196236EC0 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:44:08] 991*2^1451343-1 is not prime. Res64: AD93F418907E2AD8 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:44:09] 693*2^1451344-1 is not prime. Res64: 0EC37EBF5837D64E Time : 0.0 sec. user=mdettweiler [2017-04-12 05:44:09] 723*2^1451344-1 is not prime. Res64: B7CB4CBDF3BC315E Time : 0.0 sec. user=juhehe [2017-04-12 05:48:29] 645*2^1451345-1 is not prime. Res64: A6D62E6B2BC06FA9 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:52:29] 819*2^1451344-1 is not prime. Res64: 0B26F31BA3BD89B9 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:52:29] 855*2^1451344-1 is not prime. Res64: 0CE5B400C9FE9EC1 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:52:29] 903*2^1451344-1 is not prime. Res64: D507C69451DD1215 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:52:30] 995*2^1451344-1 is not prime. Res64: 3C1957547AF25FC7 Time : 0.0 sec. user=mdettweiler [2017-04-12 05:52:30] 607*2^1451345-1 is not prime. Res64: CD16C1E24949B736 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:10] 691*2^1451345-1 is not prime. Res64: 018184B9680C1900 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:12] 723*2^1451346-1 is not prime. Res64: A2353EC87F85069C Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:13] 767*2^1451346-1 is not prime. Res64: C03BA7EA4D25316B Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:13] 783*2^1451346-1 is not prime. Res64: 84B8B0DD996B22A4 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:14] 945*2^1451346-1 is not prime. Res64: F6BF78D393AC7CF5 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:48] 1001*2^1451346-1 is not prime. Res64: 554029B7DCE4A558 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:49] 615*2^1451347-1 is not prime. Res64: 90149B03B5A6DF65 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:51] 625*2^1451347-1 is not prime. Res64: 3D7A3D342F713B38 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:52] 835*2^1451347-1 is not prime. Res64: 210FB34357BC73FE Time : 0.0 sec. user=mdettweiler [2017-04-12 06:02:54] 885*2^1451347-1 is not prime. Res64: 7A62579DBB6CCB66 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:29:02] 951*2^1451347-1 is not prime. Res64: 3270777EAFF3F5FE Time : 0.0 sec. user=mdettweiler [2017-04-12 06:29:03] 735*2^1451348-1 is not prime. Res64: DAF595A7AE280A00 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:29:03] 753*2^1451348-1 is not prime. Res64: 21D0024CF46FBF1C Time : 0.0 sec. user=mdettweiler [2017-04-12 06:29:04] 825*2^1451348-1 is not prime. Res64: 18D9648957BD8C9D Time : 0.0 sec. user=mdettweiler [2017-04-12 06:29:04] 827*2^1451348-1 is not prime. Res64: 21980C348F482945 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:37:25] 945*2^1451348-1 is not prime. Res64: CEC067B5214E9292 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:37:26] 649*2^1451349-1 is not prime. Res64: 8E8543CB94D3B3F2 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:37:26] 655*2^1451349-1 is not prime. Res64: 37A9C0DEA13EA9AC Time : 0.0 sec. user=mdettweiler [2017-04-12 06:37:27] 685*2^1451349-1 is not prime. Res64: 774E68B01AD71932 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:37:27] 741*2^1451349-1 is not prime. Res64: 3F11F2F2F5449902 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:04] 837*2^1451349-1 is not prime. Res64: 988F861065E60375 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:04] 867*2^1451349-1 is not prime. Res64: 660D8C589884EDD4 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:05] 961*2^1451349-1 is not prime. Res64: 2D641146814F4F3F Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:05] 975*2^1451349-1 is not prime. Res64: 40D400191EB6F6BE Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:06] 723*2^1451350-1 is not prime. Res64: CE0D462ADDAF5BFF Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:39] 765*2^1451350-1 is not prime. Res64: 67EB01B783059485 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:40] 827*2^1451350-1 is not prime. Res64: 608FBB7C9E729074 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:40] 651*2^1451351-1 is not prime. Res64: D6039EDB13F86E53 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:41] 789*2^1451351-1 is not prime. Res64: 6592AD7A0862CCC4 Time : 0.0 sec. user=mdettweiler [2017-04-12 06:47:41] 813*2^1451351-1 is not prime. Res64: 01C61BDC86878CE6 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:13:58] 865*2^1451351-1 is not prime. Res64: 72BCD3BD9E43315E Time : 0.0 sec. user=mdettweiler [2017-04-12 07:13:59] 885*2^1451351-1 is not prime. Res64: 386215B5B5AA14F0 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:13:59] 979*2^1451351-1 is not prime. Res64: 9892B5DC132BF3BB Time : 0.0 sec. user=mdettweiler [2017-04-12 07:14:00] 609*2^1451352-1 is not prime. Res64: 5A9E315455ED9FA1 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:14:00] 635*2^1451352-1 is not prime. Res64: 9942E45D209A17DC Time : 0.0 sec. user=mdettweiler [2017-04-12 07:22:17] 779*2^1451352-1 is not prime. Res64: 7A2FF9C0224A2BB6 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:22:17] 809*2^1451352-1 is not prime. Res64: 090AFA48227807AF Time : 0.0 sec. user=mdettweiler [2017-04-12 07:22:18] 959*2^1451352-1 is not prime. Res64: CD2772E15463E549 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:22:19] 651*2^1451353-1 is not prime. Res64: 0E46481869E9E6E7 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:22:19] 675*2^1451353-1 is not prime. Res64: 522FA1BAB6D4FF80 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:31:51] 831*2^1451353-1 is not prime. Res64: F5A1D235F4252C5E Time : 0.0 sec. user=mdettweiler [2017-04-12 07:31:52] 855*2^1451353-1 is not prime. Res64: DB46D8F4D4DBB850 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:31:52] 895*2^1451353-1 is not prime. Res64: D355B90C6EB9CBEF Time : 0.0 sec. user=mdettweiler [2017-04-12 07:31:53] 897*2^1451353-1 is not prime. Res64: 24E2D1295BEC5A35 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:31:53] 915*2^1451353-1 is not prime. Res64: C4C1B149F7070647 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:32:39] 627*2^1451354-1 is not prime. Res64: 7A06653120BD455C Time : 0.0 sec. user=mdettweiler [2017-04-12 07:32:39] 633*2^1451354-1 is not prime. Res64: 73ABE3F09A6C5EE2 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:32:39] 671*2^1451354-1 is not prime. Res64: E13B95906EDDE853 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:32:40] 797*2^1451354-1 is not prime. Res64: B62765C3C9D3D0B6 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:32:40] 915*2^1451354-1 is not prime. Res64: 46ED3FEBD62B0F0A Time : 0.0 sec. user=juhehe [2017-04-12 07:49:11] 971*2^1451354-1 is not prime. Res64: B3BEB0CCCE458BB6 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:58:39] 1001*2^1451354-1 is not prime. Res64: 6310BBE908B03268 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:58:40] 601*2^1451355-1 is not prime. Res64: D50210B375C0DD60 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:58:40] 669*2^1451355-1 is not prime. Res64: E2E2D1F9C709066B Time : 0.0 sec. user=mdettweiler [2017-04-12 07:58:41] 675*2^1451355-1 is not prime. Res64: 89B88F0560970EC9 Time : 0.0 sec. user=mdettweiler [2017-04-12 07:58:41] 871*2^1451355-1 is not prime. Res64: 13ED83CD17C53904 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:07:10] 873*2^1451355-1 is not prime. Res64: 26C9A674C7D2C140 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:07:11] 943*2^1451355-1 is not prime. Res64: 120B36A4970A8C9F Time : 0.0 sec. user=mdettweiler [2017-04-12 08:07:11] 985*2^1451355-1 is not prime. Res64: 9D9CA54067F2C109 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:07:12] 647*2^1451356-1 is not prime. Res64: 43C1C36E56D13B6F Time : 0.0 sec. user=mdettweiler [2017-04-12 08:07:12] 657*2^1451356-1 is not prime. Res64: 88B898E524131293 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:16:37] 785*2^1451356-1 is not prime. Res64: 91442C8F83CCCD8D Time : 0.0 sec. user=mdettweiler [2017-04-12 08:16:37] 825*2^1451356-1 is not prime. Res64: A9B51E5D55CE5CA3 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:16:38] 909*2^1451356-1 is not prime. Res64: D6CFD4D5FB91FEE0 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:16:38] 965*2^1451356-1 is not prime. Res64: 92622653653D7254 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:16:39] 649*2^1451357-1 is not prime. Res64: B6376994696057B4 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:17:34] 669*2^1451357-1 is not prime. Res64: B81008052F492A8D Time : 0.0 sec. user=mdettweiler [2017-04-12 08:17:35] 799*2^1451357-1 is not prime. Res64: 342F80F21F1BE30A Time : 0.0 sec. user=mdettweiler [2017-04-12 08:17:36] 889*2^1451357-1 is not prime. Res64: 296C71E8B2E44476 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:17:37] 927*2^1451357-1 is not prime. Res64: 3F01B8B027E27B00 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:17:37] 641*2^1451358-1 is not prime. Res64: 4E2E37B1A2A532E3 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:43:25] 671*2^1451358-1 is not prime. Res64: 3B5FB7422EC1E3A7 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:43:25] 677*2^1451358-1 is not prime. Res64: C5E368138AC3DCEF Time : 0.0 sec. user=mdettweiler [2017-04-12 08:43:26] 725*2^1451358-1 is not prime. Res64: C3EEA09B2F13879A Time : 0.0 sec. user=mdettweiler [2017-04-12 08:43:26] 861*2^1451358-1 is not prime. Res64: D7A2FF48CF8CEF8A Time : 0.0 sec. user=mdettweiler [2017-04-12 08:43:27] 885*2^1451358-1 is not prime. Res64: C95BD0D6EDED7EB3 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:52:17] 893*2^1451358-1 is not prime. Res64: D3187F65ABF65D8F Time : 0.0 sec. user=mdettweiler [2017-04-12 08:52:18] 649*2^1451359-1 is not prime. Res64: A4A1B69859ABA19B Time : 0.0 sec. user=mdettweiler [2017-04-12 08:52:18] 661*2^1451359-1 is not prime. Res64: 99B13CD33F7CA008 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:52:19] 831*2^1451359-1 is not prime. Res64: 4903338959857762 Time : 0.0 sec. user=mdettweiler [2017-04-12 08:52:19] 891*2^1451359-1 is not prime. Res64: 123A841199E542A9 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:01:36] 925*2^1451359-1 is not prime. Res64: F2CD2E413E829C66 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:01:37] 933*2^1451359-1 is not prime. Res64: BA489DABE464AA3A Time : 0.0 sec. user=mdettweiler [2017-04-12 09:01:38] 961*2^1451359-1 is not prime. Res64: 2863B3A24F471DCA Time : 0.0 sec. user=mdettweiler [2017-04-12 09:01:39] 973*2^1451359-1 is not prime. Res64: 14B2145DB3BBD66D Time : 0.0 sec. user=mdettweiler [2017-04-12 09:01:39] 975*2^1451359-1 is not prime. Res64: D988B88DA2A804E1 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:02:26] 993*2^1451359-1 is not prime. Res64: A8941F5687EF0310 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:02:27] 609*2^1451360-1 is not prime. Res64: A5A622236EDF7941 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:02:29] 713*2^1451360-1 is not prime. Res64: 52B86CD9CCA9A4BE Time : 0.0 sec. user=mdettweiler [2017-04-12 09:02:30] 927*2^1451360-1 is not prime. Res64: EEEFBEBD019E9FAD Time : 0.0 sec. user=mdettweiler [2017-04-12 09:02:32] 627*2^1451361-1 is not prime. Res64: F8BB8F524CE947E5 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:28:11] 651*2^1451361-1 is not prime. Res64: A2B163210AAE959A Time : 0.0 sec. user=mdettweiler [2017-04-12 09:28:11] 681*2^1451361-1 is not prime. Res64: E06692D93A7B3737 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:28:12] 691*2^1451361-1 is not prime. Res64: C7A607DB3024C9F6 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:28:12] 717*2^1451361-1 is not prime. Res64: 65D5457BDA6D1527 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:28:13] 739*2^1451361-1 is not prime. Res64: 7F7888172872D382 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:37:04] 901*2^1451361-1 is not prime. Res64: 10BB4E9D7425395B Time : 0.0 sec. user=mdettweiler [2017-04-12 09:37:05] 617*2^1451362-1 is not prime. Res64: 585F73164C52CD49 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:37:05] 677*2^1451362-1 is not prime. Res64: 911FD8E237B178F0 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:37:06] 731*2^1451362-1 is not prime. Res64: 650026E21660FEB3 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:37:06] 741*2^1451362-1 is not prime. Res64: 548E25A4018E7347 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:46:53] 755*2^1451362-1 is not prime. Res64: 77E85B4044DF5CC7 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:46:54] 803*2^1451362-1 is not prime. Res64: 7DD48D3AC313C738 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:46:54] 855*2^1451362-1 is not prime. Res64: 19F3E4A0A928D4DF Time : 0.0 sec. user=mdettweiler [2017-04-12 09:46:55] 873*2^1451362-1 is not prime. Res64: 7FEF0828BDAD0D7E Time : 0.0 sec. user=mdettweiler [2017-04-12 09:46:55] 995*2^1451362-1 is not prime. Res64: 0DDD5EEE520B181E Time : 0.0 sec. user=mdettweiler [2017-04-12 09:47:35] 663*2^1451363-1 is not prime. Res64: 99F696A8CCC38919 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:47:36] 699*2^1451363-1 is not prime. Res64: C63240F932F1ECE6 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:47:36] 753*2^1451363-1 is not prime. Res64: 041BFEFA3F4132DA Time : 0.0 sec. user=mdettweiler [2017-04-12 09:47:37] 895*2^1451363-1 is not prime. Res64: 55B329746113A669 Time : 0.0 sec. user=mdettweiler [2017-04-12 09:47:37] 629*2^1451364-1 is not prime. Res64: F4FEDC1252125C1F Time : 0.0 sec. user=juhehe [2017-04-12 09:49:15] 693*2^1451364-1 is not prime. Res64: 970C80C647EA16F1 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:13:09] 753*2^1451364-1 is not prime. Res64: C99BCBE4C49995D5 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:13:09] 767*2^1451364-1 is not prime. Res64: 09E241A0234E1DED Time : 0.0 sec. user=mdettweiler [2017-04-12 10:13:10] 717*2^1451365-1 is not prime. Res64: F66CFD18B7E88F59 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:13:10] 861*2^1451365-1 is not prime. Res64: 383FDF481D19DB2F Time : 0.0 sec. user=mdettweiler [2017-04-12 10:13:11] 885*2^1451365-1 is not prime. Res64: 0F96B61B1AE9F406 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:21:57] 939*2^1451365-1 is not prime. Res64: 0D80B09269DEA0CF Time : 0.0 sec. user=mdettweiler [2017-04-12 10:21:57] 705*2^1451366-1 is not prime. Res64: 2FD708CB98F10E01 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:21:58] 747*2^1451366-1 is not prime. Res64: 8A6E58F902CFF61A Time : 0.0 sec. user=mdettweiler [2017-04-12 10:21:58] 773*2^1451366-1 is not prime. Res64: C1F0C74CC007EAD7 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:21:59] 661*2^1451367-1 is not prime. Res64: AECCC89C030CAF9A Time : 0.0 sec. user=mdettweiler [2017-04-12 10:31:38] 829*2^1451367-1 is not prime. Res64: D591EEE6EE68F03D Time : 0.0 sec. user=mdettweiler [2017-04-12 10:31:38] 861*2^1451367-1 is not prime. Res64: DFF4ACA2E046C4CE Time : 0.0 sec. user=mdettweiler [2017-04-12 10:31:39] 871*2^1451367-1 is not prime. Res64: 9554ED4493CA3E2A Time : 0.0 sec. user=mdettweiler [2017-04-12 10:31:39] 963*2^1451367-1 is not prime. Res64: 84973A9B96D49BE4 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:31:40] 827*2^1451368-1 is not prime. Res64: AB436041ED97851D Time : 0.0 sec. user=mdettweiler [2017-04-12 10:32:23] 915*2^1451368-1 is not prime. Res64: 4AF971F8A1B21657 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:32:23] 787*2^1451369-1 is not prime. Res64: 0DF341E1EEFAE0D8 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:32:24] 789*2^1451369-1 is not prime. Res64: 6AA07345D59B26E3 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:32:24] 695*2^1451370-1 is not prime. Res64: 694535F7156D0BCC Time : 0.0 sec. user=mdettweiler [2017-04-12 10:32:25] 713*2^1451370-1 is not prime. Res64: F61D7396F24CF761 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:58:45] 747*2^1451370-1 is not prime. Res64: F8EFC31F80FA1A43 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:58:45] 755*2^1451370-1 is not prime. Res64: 034E22E5258DAE98 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:58:46] 851*2^1451370-1 is not prime. Res64: 5F15B88A63776E62 Time : 0.0 sec. user=mdettweiler [2017-04-12 10:58:46] 771*2^1451371-1 is not prime. Res64: EE954C692A7FFBAC Time : 0.0 sec. user=mdettweiler [2017-04-12 10:58:46] 861*2^1451371-1 is not prime. Res64: ADD6DCE58FC48561 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:08:42] 909*2^1451371-1 is not prime. Res64: 6B81B73703D05FC9 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:08:42] 943*2^1451371-1 is not prime. Res64: A835E677810F8F80 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:08:43] 969*2^1451371-1 is not prime. Res64: 4ED4119999456279 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:08:43] 603*2^1451372-1 is not prime. Res64: 7037F30B58BCC880 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:08:43] 675*2^1451372-1 is not prime. Res64: 0CF7D341020AE38D Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:31] 693*2^1451372-1 is not prime. Res64: 1CF5BEB1E42AF0C6 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:32] 717*2^1451372-1 is not prime. Res64: 9B3DAD38D97C9996 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:32] 755*2^1451372-1 is not prime. Res64: BDCE2799AE9BF2FD Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:33] 825*2^1451372-1 is not prime. Res64: 4078828CC081E62B Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:33] 963*2^1451372-1 is not prime. Res64: 9B77E9972604E00F Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:35] 995*2^1451372-1 is not prime. Res64: F4790E1A221A1125 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:36] 999*2^1451372-1 is not prime. Res64: 041970898BB7ACFE Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:36] 649*2^1451373-1 is not prime. Res64: D8E58B6D7CB74DA4 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:36] 651*2^1451373-1 is not prime. Res64: F83CDA3891D155CD Time : 0.0 sec. user=mdettweiler [2017-04-12 11:19:37] 685*2^1451373-1 is not prime. Res64: EB8EB88599823095 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:46:19] 745*2^1451373-1 is not prime. Res64: 196297D2FD7C7C4C Time : 0.0 sec. user=mdettweiler [2017-04-12 11:46:20] 759*2^1451373-1 is not prime. Res64: 1AF81CEDE7A703A6 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:46:20] 817*2^1451373-1 is not prime. Res64: F73E51D3A74B9270 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:46:21] 819*2^1451373-1 is not prime. Res64: 39076D475076A025 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:46:21] 951*2^1451373-1 is not prime. Res64: 7E88B9FBD2884824 Time : 0.0 sec. user=juhehe [2017-04-12 11:47:46] 887*2^1451374-1 is not prime. Res64: 78FB5506B7F92BC7 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:54:38] 991*2^1451373-1 is not prime. Res64: 141B1DBA4375E78F Time : 0.0 sec. user=mdettweiler [2017-04-12 11:54:39] 617*2^1451374-1 is not prime. Res64: E3316AEA56FF9968 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:54:39] 675*2^1451374-1 is not prime. Res64: 0601226A80D2EC7F Time : 0.0 sec. user=mdettweiler [2017-04-12 11:54:39] 827*2^1451374-1 is not prime. Res64: EBC0FFCF7D30FB75 Time : 0.0 sec. user=mdettweiler [2017-04-12 11:54:40] 861*2^1451374-1 is not prime. Res64: BD51C95D140BB9C9 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:28] 947*2^1451374-1 is not prime. Res64: 6C86D77285EF7BAC Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:29] 983*2^1451374-1 is not prime. Res64: 1DAD4157AE539971 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:30] 993*2^1451374-1 is not prime. Res64: 3A6752A0726339AD Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:31] 633*2^1451375-1 is not prime. Res64: 4A9B6644CADA431A Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:32] 645*2^1451375-1 is not prime. Res64: 52B6CCBECAB5F4E5 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:36] 783*2^1451375-1 is not prime. Res64: 1D202DBD4F7020D6 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:37] 789*2^1451375-1 is not prime. Res64: 61AD926E3878EACB Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:38] 829*2^1451375-1 is not prime. Res64: DC1180EE3D13AEF7 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:39] 831*2^1451375-1 is not prime. Res64: 3014097959E3C12D Time : 0.0 sec. user=mdettweiler [2017-04-12 12:04:40] 871*2^1451375-1 is not prime. Res64: E7DDA655718E5E1F Time : 0.0 sec. user=mdettweiler [2017-04-12 12:31:12] 669*2^1451376-1 is not prime. Res64: F6F403BC3269CE7B Time : 0.0 sec. user=mdettweiler [2017-04-12 12:31:13] 707*2^1451376-1 is not prime. Res64: 75AED5DE2839AEEA Time : 0.0 sec. user=mdettweiler [2017-04-12 12:31:13] 719*2^1451376-1 is not prime. Res64: 15C10F8505D03915 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:31:13] 737*2^1451376-1 is not prime. Res64: 6F68B1BA5639E1A6 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:31:14] 803*2^1451376-1 is not prime. Res64: 05900E40148DA6DB Time : 0.0 sec. user=mdettweiler [2017-04-12 12:39:31] 825*2^1451376-1 is not prime. Res64: C6A536E8BDEB7F22 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:39:31] 887*2^1451376-1 is not prime. Res64: 91D78EA4F1765768 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:39:31] 899*2^1451376-1 is not prime. Res64: 63AD0C12F9702C54 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:39:32] 993*2^1451376-1 is not prime. Res64: 766DD6FF16BA29C5 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:39:32] 727*2^1451377-1 is not prime. Res64: 6EBC923A7BF62372 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:38] 939*2^1451377-1 is not prime. Res64: 1554D8A4A6CDE85C Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:38] 945*2^1451377-1 is not prime. Res64: 590D41AA7FA474DA Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:39] 603*2^1451378-1 is not prime. Res64: 456E960E44A3A153 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:39] 791*2^1451378-1 is not prime. Res64: EEE655803C1F451D Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:39] 801*2^1451378-1 is not prime. Res64: 3C1D46A6040DE360 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:44] 801*2^1451377-1 is not prime. Res64: C0A08F0369305832 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:44] 885*2^1451377-1 is not prime. Res64: 98DA94615A8C1824 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:44] 889*2^1451377-1 is not prime. Res64: 9543BFA6C619F59F Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:45] 895*2^1451377-1 is not prime. Res64: DBC65DC896D1E6F3 Time : 0.0 sec. user=mdettweiler [2017-04-12 12:49:45] 937*2^1451377-1 is not prime. Res64: DFA12D307AD74AF4 Time : 0.0 sec. user=juhehe [2017-04-12 13:07:46] 815*2^1451378-1 is not prime. Res64: 1AD0D4ED98FCE4BF Time : 0.0 sec. user=mdettweiler [2017-04-12 13:16:05] 831*2^1451378-1 is not prime. Res64: 70CF85A39732C44C Time : 0.0 sec. user=mdettweiler [2017-04-12 13:16:06] 875*2^1451378-1 is not prime. Res64: F8BAE6CA91AE897B Time : 0.0 sec. user=mdettweiler [2017-04-12 13:16:06] 887*2^1451378-1 is not prime. Res64: 7FA0D2E98A979C0E Time : 0.0 sec. user=mdettweiler [2017-04-12 13:16:07] 951*2^1451378-1 is not prime. Res64: EE251A1C12A2507B Time : 0.0 sec. user=mdettweiler [2017-04-12 13:16:08] 619*2^1451379-1 is not prime. Res64: E6E4218ED984FDC5 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:24:25] 705*2^1451379-1 is not prime. Res64: 9561FAE02E4D886A Time : 0.0 sec. user=mdettweiler [2017-04-12 13:24:26] 709*2^1451379-1 is not prime. Res64: 6CDEF9DD089D15BF Time : 0.0 sec. user=mdettweiler [2017-04-12 13:24:26] 801*2^1451379-1 is not prime. Res64: 1172B72ABF4220D1 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:24:27] 903*2^1451379-1 is not prime. Res64: 518DEF054A460D18 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:24:27] 955*2^1451379-1 is not prime. Res64: BFA0301B11ABD082 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:39] 827*2^1451380-1 is not prime. Res64: 40350944C1C1B90E Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:39] 855*2^1451380-1 is not prime. Res64: 4CFEBC96F66F59FA Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:40] 999*2^1451379-1 is not prime. Res64: F3D7CD94B0156AB0 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:40] 897*2^1451380-1 is not prime. Res64: 2CD1B9815A854652 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:40] 629*2^1451380-1 is not prime. Res64: 0F17E556650B62BD Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:40] 957*2^1451380-1 is not prime. Res64: D64491F3858FB8EE Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:40] 715*2^1451381-1 is not prime. Res64: 923420113131D434 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:40] 693*2^1451380-1 is not prime. Res64: 56FC379B6054AA75 Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:41] 765*2^1451380-1 is not prime. Res64: 3CA278B11463969D Time : 0.0 sec. user=mdettweiler [2017-04-12 13:34:41] 773*2^1451380-1 is not prime. Res64: CF78815DAF15AA20 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:01:11] 717*2^1451381-1 is not prime. Res64: B8BF5A3ECB4F159F Time : 0.0 sec. user=mdettweiler [2017-04-12 14:01:11] 747*2^1451381-1 is not prime. Res64: ED75323A5AC67671 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:01:12] 775*2^1451381-1 is not prime. Res64: BCAAB2C3FD119963 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:01:13] 837*2^1451381-1 is not prime. Res64: D178308BDB8FD72F Time : 0.0 sec. user=mdettweiler [2017-04-12 14:01:13] 865*2^1451381-1 is not prime. Res64: 9D773B36517E66BC Time : 0.0 sec. user=mdettweiler [2017-04-12 14:09:15] 867*2^1451381-1 is not prime. Res64: 875AB36F9477E8FE Time : 0.0 sec. user=mdettweiler [2017-04-12 14:09:16] 889*2^1451381-1 is not prime. Res64: 3A5AF3900FEDFEBE Time : 0.0 sec. user=mdettweiler [2017-04-12 14:09:16] 937*2^1451381-1 is not prime. Res64: 60B8671091A4F94C Time : 0.0 sec. user=mdettweiler [2017-04-12 14:09:17] 621*2^1451382-1 is not prime. Res64: 41383ECEA0BE9C85 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:09:17] 843*2^1451382-1 is not prime. Res64: F26E912D44F2EC4F Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:37] 1001*2^1451382-1 is not prime. Res64: 2B39E338B722DA8F Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:37] 621*2^1451383-1 is not prime. Res64: 34C88E711D1EAA5D Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:38] 633*2^1451383-1 is not prime. Res64: BB3C0BD7CA53E2FF Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:38] 805*2^1451383-1 is not prime. Res64: 0C7255783449B08A Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:39] 831*2^1451383-1 is not prime. Res64: 0EA07C3719B8A5A2 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:44] 885*2^1451383-1 is not prime. Res64: F5CACB6995C04B1A Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:45] 985*2^1451383-1 is not prime. Res64: 451BD79033CD537F Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:45] 609*2^1451384-1 is not prime. Res64: 5F5FE758D2D88DCB Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:46] 657*2^1451384-1 is not prime. Res64: 29FCBCBD1E2442A2 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:19:46] 675*2^1451384-1 is not prime. Res64: 4E4CF54665F95096 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:46:16] 743*2^1451384-1 is not prime. Res64: B22C8131869C4D20 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:46:16] 767*2^1451384-1 is not prime. Res64: DF3ACB0CD2B5503E Time : 0.0 sec. user=mdettweiler [2017-04-12 14:46:17] 785*2^1451384-1 is not prime. Res64: F6073D1F91A54A54 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:46:17] 857*2^1451384-1 is not prime. Res64: 96E28EDDAFBB08EF Time : 0.0 sec. user=mdettweiler [2017-04-12 14:46:18] 869*2^1451384-1 is not prime. Res64: B7474322DEAD08F4 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:54:18] 893*2^1451384-1 is not prime. Res64: E9AFD3691198EADE Time : 0.0 sec. user=mdettweiler [2017-04-12 14:54:18] 609*2^1451385-1 is not prime. Res64: 3C4C8A6BBD24E67F Time : 0.0 sec. user=mdettweiler [2017-04-12 14:54:19] 669*2^1451385-1 is not prime. Res64: 2D581E97FE8612C1 Time : 0.0 sec. user=mdettweiler [2017-04-12 14:54:19] 675*2^1451385-1 is not prime. Res64: A4544C3A76862B9D Time : 0.0 sec. user=mdettweiler [2017-04-12 14:54:20] 685*2^1451385-1 is not prime. Res64: 41A2F4E827E502F9 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:30] 691*2^1451385-1 is not prime. Res64: B043F9ED91DAE1BC Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:31] 937*2^1451385-1 is not prime. Res64: E59181EA15C609AD Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:32] 999*2^1451385-1 is not prime. Res64: 0D35B096B1C4FE67 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:33] 657*2^1451386-1 is not prime. Res64: D92339E49F462E6F Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:34] 737*2^1451386-1 is not prime. Res64: 326A75254F1EAD9C Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:51] 741*2^1451386-1 is not prime. Res64: BE4F9CBBB54C24C6 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:52] 747*2^1451386-1 is not prime. Res64: 130644EC6D5158DE Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:53] 861*2^1451386-1 is not prime. Res64: 7E46D1BCEBEDA24E Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:54] 631*2^1451387-1 is not prime. Res64: FCC734F5F80DC28A Time : 0.0 sec. user=mdettweiler [2017-04-12 15:04:55] 645*2^1451387-1 is not prime. Res64: DACC507EAE6CE2E2 Time : 0.0 sec. user=juhehe [2017-04-12 15:08:45] 675*2^1451387-1 is not prime. Res64: C78F16D541797A45 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:31:08] 699*2^1451387-1 is not prime. Res64: ED9E0E2A4F8A431F Time : 0.0 sec. user=mdettweiler [2017-04-12 15:31:08] 801*2^1451387-1 is not prime. Res64: 25CF6028A4AF237D Time : 0.0 sec. user=mdettweiler [2017-04-12 15:31:09] 823*2^1451387-1 is not prime. Res64: D2BFED5F51E1AD92 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:31:09] 689*2^1451388-1 is not prime. Res64: FB6B192ED93B5843 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:31:10] 753*2^1451388-1 is not prime. Res64: 975086AF4CD6DC93 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:39:12] 803*2^1451388-1 is not prime. Res64: 3E50C4804AB82B80 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:39:13] 837*2^1451388-1 is not prime. Res64: 83BF0BCEC0BD375F Time : 0.0 sec. user=mdettweiler [2017-04-12 15:39:13] 977*2^1451388-1 is not prime. Res64: 2F109CA244732D4E Time : 0.0 sec. user=mdettweiler [2017-04-12 15:39:13] 987*2^1451388-1 is not prime. Res64: 6B3BDBACBCA9CBE1 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:39:14] 661*2^1451389-1 is not prime. Res64: 12133719B0172F9D Time : 0.0 sec. user=mdettweiler [2017-04-12 15:49:49] 691*2^1451389-1 is not prime. Res64: 0FB32F7BE137F5F0 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:49:49] 877*2^1451389-1 is not prime. Res64: 4FC047084DC2AECB Time : 0.0 sec. user=mdettweiler [2017-04-12 15:49:50] 885*2^1451389-1 is not prime. Res64: F9BC2FCCCAE02643 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:49:50] 957*2^1451389-1 is not prime. Res64: DB6689378F7D5DFA Time : 0.0 sec. user=mdettweiler [2017-04-12 15:49:51] 999*2^1451389-1 is not prime. Res64: 2A1F03CDA3335D30 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:50:11] 675*2^1451390-1 is not prime. Res64: DCB72E44961B8B1D Time : 0.0 sec. user=mdettweiler [2017-04-12 15:50:11] 677*2^1451390-1 is not prime. Res64: 3362B286F68E4BC1 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:50:12] 743*2^1451390-1 is not prime. Res64: 486BBD8A5E307151 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:50:12] 785*2^1451390-1 is not prime. Res64: 1A25A2D16F85E734 Time : 0.0 sec. user=mdettweiler [2017-04-12 15:50:13] 861*2^1451390-1 is not prime. Res64: 0E80C92596A4EC7F Time : 0.0 sec. user=mdettweiler [2017-04-12 16:16:06] 915*2^1451390-1 is not prime. Res64: B863A5D80387DF00 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:16:07] 921*2^1451390-1 is not prime. Res64: 6AC00BFFB4B53D75 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:16:07] 619*2^1451391-1 is not prime. Res64: 24E335F32B3CB550 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:16:08] 625*2^1451391-1 is not prime. Res64: AB684639A4190792 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:16:08] 685*2^1451391-1 is not prime. Res64: 1D20C042F1F3E4A7 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:23:59] 693*2^1451391-1 is not prime. Res64: 8A0CC7A6DFF44EAE Time : 0.0 sec. user=mdettweiler [2017-04-12 16:24:00] 745*2^1451391-1 is not prime. Res64: AA92E0F8ED07EB29 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:24:00] 865*2^1451391-1 is not prime. Res64: 5D89DA9554CDECBB Time : 0.0 sec. user=mdettweiler [2017-04-12 16:24:01] 979*2^1451391-1 is not prime. Res64: 134469C3CCEE900D Time : 0.0 sec. user=mdettweiler [2017-04-12 16:24:01] 999*2^1451391-1 is not prime. Res64: 7734DBB3B0E49E0F Time : 0.0 sec. user=mdettweiler [2017-04-12 16:34:38] 677*2^1451392-1 is not prime. Res64: 749A6D1A3A5A4F60 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:34:38] 923*2^1451392-1 is not prime. Res64: 2229DCDC0EC5DBA9 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:34:38] 939*2^1451392-1 is not prime. Res64: 9E55518B9F48AF00 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:34:39] 669*2^1451393-1 is not prime. Res64: 72B1E7781E7C5483 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:34:39] 735*2^1451393-1 is not prime. Res64: B6482CFE943CE54A Time : 0.0 sec. user=mdettweiler [2017-04-12 16:35:03] 769*2^1451393-1 is not prime. Res64: 39E86905626F84A2 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:35:04] 925*2^1451393-1 is not prime. Res64: 69029FDCA1E6A00C Time : 0.0 sec. user=mdettweiler [2017-04-12 16:35:04] 937*2^1451393-1 is not prime. Res64: C21EFA36FCF26C81 Time : 0.0 sec. user=mdettweiler [2017-04-12 16:35:05] 791*2^1451394-1 is not prime. Res64: ACE3E304339A14FB Time : 0.0 sec. user=mdettweiler [2017-04-12 16:35:05] 815*2^1451394-1 is not prime. Res64: B89A5B59F165E486 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:00:54] 923*2^1451394-1 is not prime. Res64: 1C660C1A40378DD5 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:00:55] 1001*2^1451394-1 is not prime. Res64: FCA7A4B5C4551079 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:00:56] 723*2^1451395-1 is not prime. Res64: 87C68F58DA11E82C Time : 0.0 sec. user=mdettweiler [2017-04-12 17:00:57] 819*2^1451395-1 is not prime. Res64: 371568EE08DE3EF0 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:00:58] 973*2^1451395-1 is not prime. Res64: 6E7725CC9D7AC023 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:08:53] 615*2^1451396-1 is not prime. Res64: 814E8188D2D6B06B Time : 0.0 sec. user=mdettweiler [2017-04-12 17:08:54] 629*2^1451396-1 is not prime. Res64: 10339272A7DB65C8 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:08:54] 647*2^1451396-1 is not prime. Res64: 295C4C7D783A892B Time : 0.0 sec. user=mdettweiler [2017-04-12 17:08:55] 735*2^1451396-1 is not prime. Res64: 63A15799CFEE3EE8 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:08:55] 669*2^1451397-1 is not prime. Res64: 1741E0CEB7E684B7 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:33] 709*2^1451397-1 is not prime. Res64: BD22A5B8D2D3B2B8 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:33] 835*2^1451397-1 is not prime. Res64: 211D11136AE95B43 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:34] 889*2^1451397-1 is not prime. Res64: 225EC538DC741E40 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:34] 961*2^1451397-1 is not prime. Res64: 9A85239048426D7B Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:35] 623*2^1451398-1 is not prime. Res64: 5072BCFCDA3CF0B0 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:58] 681*2^1451398-1 is not prime. Res64: 6E8D9DC800810E5A Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:59] 801*2^1451398-1 is not prime. Res64: 799E8FB936120A4A Time : 0.0 sec. user=mdettweiler [2017-04-12 17:19:59] 827*2^1451398-1 is not prime. Res64: 85C5B2DCC5A4E1AE Time : 0.0 sec. user=mdettweiler [2017-04-12 17:20:00] 933*2^1451398-1 is not prime. Res64: C53C540E754777C6 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:20:00] 1001*2^1451398-1 is not prime. Res64: ECFD4DF5FBD09C53 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:46:09] 615*2^1451399-1 is not prime. Res64: 8F3D0874AEB93DF5 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:46:09] 771*2^1451399-1 is not prime. Res64: 91850C61F6F78F9C Time : 0.0 sec. user=mdettweiler [2017-04-12 17:46:10] 775*2^1451399-1 is not prime. Res64: 9DB9C9EC8DCD6ED7 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:46:10] 825*2^1451399-1 is not prime. Res64: 6D1DBCCD4CB0CEF0 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:46:11] 883*2^1451399-1 is not prime. Res64: 31384F3A0232EB0D Time : 0.0 sec. user=mdettweiler [2017-04-12 17:53:51] 895*2^1451399-1 is not prime. Res64: 50770DA951244F4C Time : 0.0 sec. user=mdettweiler [2017-04-12 17:53:51] 949*2^1451399-1 is not prime. Res64: 6E8BA51838BB593D Time : 0.0 sec. user=mdettweiler [2017-04-12 17:53:51] 993*2^1451399-1 is not prime. Res64: D7D3213A2DA3DEC4 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:53:52] 693*2^1451400-1 is not prime. Res64: 621E72E2AFCA4228 Time : 0.0 sec. user=mdettweiler [2017-04-12 17:53:52] 839*2^1451400-1 is not prime. Res64: A26C5685E70ABB95 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:24] 909*2^1451400-1 is not prime. Res64: D0830BFB36B30A44 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:25] 615*2^1451401-1 is not prime. Res64: 361958EA59FE0322 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:26] 847*2^1451401-1 is not prime. Res64: A100E229B0FB34F9 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:26] 909*2^1451401-1 is not prime. Res64: 82AA0AA78A242663 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:27] 645*2^1451402-1 is not prime. Res64: 3F949347675E78D5 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:58] 797*2^1451402-1 is not prime. Res64: 9ABA96861907092A Time : 0.0 sec. user=mdettweiler [2017-04-12 18:04:59] 873*2^1451402-1 is not prime. Res64: 418113D034FEA5AB Time : 0.0 sec. user=mdettweiler [2017-04-12 18:05:00] 903*2^1451402-1 is not prime. Res64: 0ADFD78D6BCD5D9C Time : 0.0 sec. user=mdettweiler [2017-04-12 18:05:01] 917*2^1451402-1 is not prime. Res64: 1E624CEB74B2A7F7 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:05:02] 981*2^1451402-1 is not prime. Res64: 15DD7AABB8B8FEFD Time : 0.0 sec. user=juhehe [2017-04-12 18:27:15] 657*2^1451404-1 is not prime. Res64: 4338F9D1042219E3 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:31:12] 685*2^1451403-1 is not prime. Res64: 3FF61A66687ED8C2 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:31:12] 709*2^1451403-1 is not prime. Res64: F6E025BAB88FE31D Time : 0.0 sec. user=mdettweiler [2017-04-12 18:31:13] 891*2^1451403-1 is not prime. Res64: D46824193868DF85 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:31:13] 629*2^1451404-1 is not prime. Res64: 56514E03046BC6E3 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:31:13] 635*2^1451404-1 is not prime. Res64: 321E6551046EADE8 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:38:49] 803*2^1451404-1 is not prime. Res64: 7BD12C7D97A49542 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:38:50] 869*2^1451404-1 is not prime. Res64: 0E4B4575A525E4D1 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:38:50] 887*2^1451404-1 is not prime. Res64: 8D234943EF4FAF44 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:38:50] 897*2^1451404-1 is not prime. Res64: 68106B1D27936E84 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:38:51] 995*2^1451404-1 is not prime. Res64: 1988AEBE4FCED707 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:14] 619*2^1451405-1 is not prime. Res64: 47FFECBB5A094833 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:15] 651*2^1451405-1 is not prime. Res64: CC485573CD0102F2 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:15] 711*2^1451405-1 is not prime. Res64: 531CA4166FBCFC54 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:15] 819*2^1451405-1 is not prime. Res64: 65F31AF976A64815 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:16] 867*2^1451405-1 is not prime. Res64: 84E0D6237EE3B574 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:46] 871*2^1451405-1 is not prime. Res64: E2FBA7972A8902E0 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:47] 949*2^1451405-1 is not prime. Res64: 271CBE4885FC32F5 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:47] 951*2^1451405-1 is not prime. Res64: 1DB1CF5E063F2800 Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:48] 611*2^1451406-1 is not prime. Res64: 2535320CE2D86E2C Time : 0.0 sec. user=mdettweiler [2017-04-12 18:49:48] 647*2^1451406-1 is not prime. Res64: 7335868F211D6DEC Time : 0.0 sec. user=juhehe [2017-04-12 19:06:28] 711*2^1451406-1 is not prime. Res64: 343E85A1DECF2D16 Time : 0.0 sec. user=juhehe [2017-04-12 19:11:36] 873*2^1451406-1 is not prime. Res64: 16CCB117D4E4D93A Time : 0.0 sec. user=mdettweiler [2017-04-12 19:16:39] 717*2^1451406-1 is not prime. Res64: 1AD234807F7E39EC Time : 0.0 sec. user=mdettweiler [2017-04-12 19:16:40] 741*2^1451406-1 is not prime. Res64: F42448A7C95F928A Time : 0.0 sec. user=mdettweiler [2017-04-12 19:16:40] 755*2^1451406-1 is not prime. Res64: 4ADC39D9D97DD4AA Time : 0.0 sec. user=mdettweiler [2017-04-12 19:16:40] 815*2^1451406-1 is not prime. Res64: AAD585AFBDB4F5C2 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:16:41] 851*2^1451406-1 is not prime. Res64: 55E61A781C74536B Time : 0.0 sec. user=mdettweiler [2017-04-12 19:24:37] 983*2^1451406-1 is not prime. Res64: 7F1D8CEC37A19C33 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:24:37] 1001*2^1451406-1 is not prime. Res64: DE206383EAE2B86F Time : 0.0 sec. user=mdettweiler [2017-04-12 19:24:37] 625*2^1451407-1 is not prime. Res64: F8E19A74ECA748F7 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:24:38] 681*2^1451407-1 is not prime. Res64: C13212FD6BB94A64 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:24:38] 703*2^1451407-1 is not prime. Res64: 1100F246EDAFC271 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:24] 741*2^1451407-1 is not prime. Res64: FBE892620A91EB18 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:25] 859*2^1451407-1 is not prime. Res64: 51F6DE7FC96162C0 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:25] 871*2^1451407-1 is not prime. Res64: 73D83DC01B7C6000 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:26] 913*2^1451407-1 is not prime. Res64: BF28C97E9C0FC243 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:26] 915*2^1451407-1 is not prime. Res64: 1F99FCC101D9A36D Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:41] 933*2^1451407-1 is not prime. Res64: 3D6DEB79AA58F48D Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:41] 713*2^1451408-1 is not prime. Res64: C0B1E9D879EBB9DE Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:42] 725*2^1451408-1 is not prime. Res64: 11C025C851B10551 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:42] 827*2^1451408-1 is not prime. Res64: 413FFFFD02A4B076 Time : 0.0 sec. user=mdettweiler [2017-04-12 19:36:43] 915*2^1451408-1 is not prime. Res64: 9FC64CA80E8FAB80 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:04:09] 681*2^1451409-1 is not prime. Res64: C31D8F1F8CB364CA Time : 0.0 sec. user=mdettweiler [2017-04-12 20:04:10] 727*2^1451409-1 is not prime. Res64: 0853426C46A4376D Time : 0.0 sec. user=mdettweiler [2017-04-12 20:04:11] 807*2^1451409-1 is not prime. Res64: 9C1AF6B917571655 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:04:12] 889*2^1451409-1 is not prime. Res64: FAA53F8E80E8D549 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:04:13] 921*2^1451409-1 is not prime. Res64: 805E0FAF7DDCD406 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:11:34] 949*2^1451409-1 is not prime. Res64: 547BFB747A5C37CC Time : 0.0 sec. user=mdettweiler [2017-04-12 20:11:34] 975*2^1451409-1 is not prime. Res64: 03FAB32FD9A9203D Time : 0.0 sec. user=mdettweiler [2017-04-12 20:11:35] 647*2^1451410-1 is not prime. Res64: CCCD402F32B6F32E Time : 0.0 sec. user=mdettweiler [2017-04-12 20:11:35] 653*2^1451410-1 is not prime. Res64: FB2F09937FEB83E6 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:11:36] 675*2^1451410-1 is not prime. Res64: 164AAF7DFD683D6E Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:38] 717*2^1451410-1 is not prime. Res64: 36A8AD6017514937 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:38] 735*2^1451410-1 is not prime. Res64: F2CB26EA1C1E4A6F Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:39] 861*2^1451410-1 is not prime. Res64: 31C4587620CC4767 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:39] 917*2^1451410-1 is not prime. Res64: B897C2D24385F854 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:40] 987*2^1451410-1 is not prime. Res64: D8A3086F52EACD0F Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:48] 601*2^1451411-1 is not prime. Res64: 8F97AF6E26944B3C Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:49] 609*2^1451411-1 is not prime. Res64: 7D4DCD4BDC60991F Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:49] 693*2^1451411-1 is not prime. Res64: 2EC35C3891C1107E Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:50] 753*2^1451411-1 is not prime. Res64: 92CD8E17ABEADBAA Time : 0.0 sec. user=mdettweiler [2017-04-12 20:22:50] 759*2^1451411-1 is not prime. Res64: EC7176DD5EAD4701 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:49:23] 811*2^1451411-1 is not prime. Res64: 80BC2BCD3C07C3E6 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:49:24] 859*2^1451411-1 is not prime. Res64: 5DAFBD5699B549DD Time : 0.0 sec. user=mdettweiler [2017-04-12 20:49:24] 903*2^1451411-1 is not prime. Res64: EAA52A4B2A5103D2 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:49:25] 921*2^1451411-1 is not prime. Res64: 7BA815E5E9F540A5 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:49:25] 945*2^1451411-1 is not prime. Res64: 06FDED43DD20A1C9 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:56:33] 627*2^1451412-1 is not prime. Res64: D30EB608585405E2 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:56:33] 639*2^1451412-1 is not prime. Res64: 259985630C5C4A18 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:56:34] 665*2^1451412-1 is not prime. Res64: 8CD655AF02DA2060 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:56:34] 689*2^1451412-1 is not prime. Res64: CD37D69ADFF034D7 Time : 0.0 sec. user=mdettweiler [2017-04-12 20:56:35] 767*2^1451412-1 is not prime. Res64: 975EC22F494A9FEB Time : 0.0 sec. user=juhehe [2017-04-12 21:05:56] 739*2^1451415-1 is not prime. Res64: F9E6FE1091D0B9B5 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:35] 797*2^1451412-1 is not prime. Res64: 444416C4E84B947F Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:36] 909*2^1451412-1 is not prime. Res64: 4C05D50A3786BA5D Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:36] 933*2^1451412-1 is not prime. Res64: C3FCD709A9AC7435 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:37] 677*2^1451414-1 is not prime. Res64: 5CF15D2F305664E2 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:37] 747*2^1451414-1 is not prime. Res64: B4D17B26E07CE745 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:51] 887*2^1451414-1 is not prime. Res64: CED2C1498372A6CD Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:52] 921*2^1451414-1 is not prime. Res64: 7316A3C25B1B0F3B Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:52] 957*2^1451414-1 is not prime. Res64: 484F0B45C7B3EF82 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:52] 965*2^1451414-1 is not prime. Res64: C9B4DE9CBFB7AD47 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:07:53] 651*2^1451415-1 is not prime. Res64: 83483A1804479DF9 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:34:23] 781*2^1451415-1 is not prime. Res64: 1D526B8D1A9AC7CF Time : 0.0 sec. user=mdettweiler [2017-04-12 21:34:30] 793*2^1451415-1 is not prime. Res64: 938E4904AAD14240 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:34:30] 819*2^1451415-1 is not prime. Res64: 3CDFCF6131F2FA00 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:34:31] 885*2^1451415-1 is not prime. Res64: 9774C7710F44A461 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:34:31] 895*2^1451415-1 is not prime. Res64: 72D27A31D46F8F18 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:41:36] 951*2^1451415-1 is not prime. Res64: 9EAED4DA6D4187DA Time : 0.0 sec. user=mdettweiler [2017-04-12 21:41:37] 773*2^1451416-1 is not prime. Res64: 4E11EB3BAC73B6AE Time : 0.0 sec. user=mdettweiler [2017-04-12 21:41:37] 779*2^1451416-1 is not prime. Res64: 684B972F76ABD3F4 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:41:37] 845*2^1451416-1 is not prime. Res64: 70DBC8267E2840FF Time : 0.0 sec. user=mdettweiler [2017-04-12 21:41:38] 905*2^1451416-1 is not prime. Res64: C769411A9C889BB1 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:43] 923*2^1451416-1 is not prime. Res64: DA419A4A8F16045E Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:44] 865*2^1451417-1 is not prime. Res64: D1E29FA673A263CC Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:44] 885*2^1451417-1 is not prime. Res64: 65002A5A6253C270 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:45] 621*2^1451418-1 is not prime. Res64: C5E3F00C385C08DA Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:45] 635*2^1451418-1 is not prime. Res64: C7B10F89EA4D61F8 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:49] 765*2^1451418-1 is not prime. Res64: 373E4B2243204C60 Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:49] 777*2^1451418-1 is not prime. Res64: 0F87F0A7A555501C Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:50] 797*2^1451418-1 is not prime. Res64: F0FD6A4B708762CA Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:50] 875*2^1451418-1 is not prime. Res64: 4ED0D022CA9F47FD Time : 0.0 sec. user=mdettweiler [2017-04-12 21:52:50] 893*2^1451418-1 is not prime. Res64: 2FA225F46F5B6345 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:19:32] 971*2^1451418-1 is not prime. Res64: 39B6BAAAB851EF5F Time : 0.0 sec. user=mdettweiler [2017-04-12 22:19:33] 603*2^1451419-1 is not prime. Res64: B2D78E1DB3DC1EDA Time : 0.0 sec. user=mdettweiler [2017-04-12 22:19:34] 633*2^1451419-1 is not prime. Res64: CC7B6558D7831350 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:19:34] 685*2^1451419-1 is not prime. Res64: B24AA2DED895E56B Time : 0.0 sec. user=mdettweiler [2017-04-12 22:19:35] 771*2^1451419-1 is not prime. Res64: A6408023C450C16B Time : 0.0 sec. user=mdettweiler [2017-04-12 22:26:35] 789*2^1451419-1 is not prime. Res64: 801C7B83321FC1FF Time : 0.0 sec. user=mdettweiler [2017-04-12 22:26:35] 835*2^1451419-1 is not prime. Res64: A7EDE9DFAB314BE0 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:26:36] 873*2^1451419-1 is not prime. Res64: 13A7B8DD8C008377 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:26:36] 951*2^1451419-1 is not prime. Res64: F2A6CE676777DCAA Time : 0.0 sec. user=mdettweiler [2017-04-12 22:26:37] 993*2^1451419-1 is not prime. Res64: 2652028D10FE5286 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:42] 603*2^1451420-1 is not prime. Res64: B4A9C78BC8EACC5B Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:43] 629*2^1451420-1 is not prime. Res64: B67F287FBBF1B1BB Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:43] 665*2^1451420-1 is not prime. Res64: 3846D3F9A6742A55 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:44] 687*2^1451420-1 is not prime. Res64: 7391C41668A4664B Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:44] 819*2^1451420-1 is not prime. Res64: C38E748C6087AEF8 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:46] 833*2^1451420-1 is not prime. Res64: 963610E4F9B6131F Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:46] 829*2^1451421-1 is not prime. Res64: 367DF5D3EB5CCAB2 Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:47] 895*2^1451421-1 is not prime. Res64: DBB1A3CCB3383F7C Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:47] 999*2^1451421-1 is not prime. Res64: 4A31727ABB7948CF Time : 0.0 sec. user=mdettweiler [2017-04-12 22:37:48] 623*2^1451422-1 is not prime. Res64: 4885058DBD3840C4 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:04:38] 765*2^1451422-1 is not prime. Res64: 763B14E3958857E7 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:04:40] 821*2^1451422-1 is not prime. Res64: CD4E613B40681F42 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:04:41] 917*2^1451422-1 is not prime. Res64: 68FA0A96888DED12 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:04:43] 763*2^1451423-1 is not prime. Res64: 376F3CD3C8457849 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:04:43] 783*2^1451423-1 is not prime. Res64: 19C3760EDF9AB576 Time : 0.0 sec. user=juhehe [2017-04-12 23:05:11] 859*2^1451423-1 is not prime. Res64: E84A1839B5257092 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:11:35] 879*2^1451423-1 is not prime. Res64: E7D7AD4F906EEE2E Time : 0.0 sec. user=mdettweiler [2017-04-12 23:11:35] 973*2^1451423-1 is not prime. Res64: 76FA0CA4E5AC4490 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:11:36] 609*2^1451424-1 is not prime. Res64: D4FC344B95616D30 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:11:37] 657*2^1451424-1 is not prime. Res64: 267D789D43E2A044 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:11:37] 663*2^1451424-1 is not prime. Res64: 9107B9A243E7A366 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:39] 675*2^1451424-1 is not prime. Res64: 1D608F1AC98CE1D1 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:39] 803*2^1451424-1 is not prime. Res64: EC23CA15AC28C12C Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:39] 887*2^1451424-1 is not prime. Res64: 218FE0132BCF6DCC Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:40] 975*2^1451424-1 is not prime. Res64: C78BAB41CA0138F5 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:40] 729*2^1451425-1 is not prime. Res64: 83FA5FCC879755E7 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:43] 841*2^1451425-1 is not prime. Res64: 828DFB0E14D9BDED Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:44] 877*2^1451425-1 is not prime. Res64: 98424EACDFE8C45D Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:44] 675*2^1451426-1 is not prime. Res64: 74496E2A9EE397FD Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:45] 783*2^1451426-1 is not prime. Res64: D27664D86C9536B8 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:22:45] 813*2^1451426-1 is not prime. Res64: B8F5B338CC0F00F1 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:50:00] 837*2^1451426-1 is not prime. Res64: 56A152B2F9B05E52 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:50:00] 857*2^1451426-1 is not prime. Res64: 294156D4A583448C Time : 0.0 sec. user=mdettweiler [2017-04-12 23:50:01] 893*2^1451426-1 is not prime. Res64: 45322B9D344FB9F7 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:50:01] 921*2^1451426-1 is not prime. Res64: 560FC7119874C543 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:50:02] 923*2^1451426-1 is not prime. Res64: 2A30AF64CB62637C Time : 0.0 sec. user=mdettweiler [2017-04-12 23:56:37] 945*2^1451426-1 is not prime. Res64: D6AFD5B0955A423E Time : 0.0 sec. user=mdettweiler [2017-04-12 23:56:37] 643*2^1451427-1 is not prime. Res64: 3C38CA437E3C6564 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:56:38] 675*2^1451427-1 is not prime. Res64: 8522A90D6878BB82 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:56:38] 765*2^1451427-1 is not prime. Res64: 026C842ABC99F888 Time : 0.0 sec. user=mdettweiler [2017-04-12 23:56:38] 793*2^1451427-1 is not prime. Res64: 162A938E3DC5DA8C Time : 0.0 sec.