user=mdettweiler [2016-02-01 00:01:21] 981*2^1421075-1 is not prime. Res64: 21B57876AB00DDE5 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:01:21] 647*2^1421076-1 is not prime. Res64: C79EAB2047D31401 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:03:54] 789*2^1421076-1 is not prime. Res64: 61D4BC579F56FAC7 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:03:55] 839*2^1421076-1 is not prime. Res64: 45D7704729D49B33 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:05:37] 857*2^1421076-1 is not prime. Res64: 64EFDA710FCB46B4 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:05:39] 887*2^1421076-1 is not prime. Res64: F9C9E4C66B08E421 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:19:16] 899*2^1421076-1 is not prime. Res64: 61B35CC438ECE6C0 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:19:16] 909*2^1421076-1 is not prime. Res64: 7F252BC06DA7EAE2 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:19:57] 619*2^1421077-1 is not prime. Res64: 948955E7366920A1 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:19:58] 741*2^1421077-1 is not prime. Res64: D527F478C2DA8B9E Time : 0.0 sec. user=mdettweiler [2016-02-01 00:22:12] 769*2^1421077-1 is not prime. Res64: 1111B6DCB95D7F7C Time : 0.0 sec. user=mdettweiler [2016-02-01 00:22:13] 775*2^1421077-1 is not prime. Res64: 9CD2FB41F695AD70 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:24:07] 831*2^1421077-1 is not prime. Res64: 05AEEF61824B252A Time : 0.0 sec. user=mdettweiler [2016-02-01 00:24:07] 931*2^1421077-1 is not prime. Res64: 20A52590892DB76A Time : 0.0 sec. user=mdettweiler [2016-02-01 00:37:36] 955*2^1421077-1 is not prime. Res64: 9336419A1FCE4E67 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:37:36] 645*2^1421078-1 is not prime. Res64: 328BDAB89D5581BD Time : 0.0 sec. user=mdettweiler [2016-02-01 00:38:36] 663*2^1421078-1 is not prime. Res64: 313067356B204658 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:38:36] 867*2^1421078-1 is not prime. Res64: 1CB4F1FFBA683A88 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:40:26] 911*2^1421078-1 is not prime. Res64: DC8FAF002906D996 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:40:26] 951*2^1421078-1 is not prime. Res64: 8F3C7D480DD1A03D Time : 0.0 sec. user=mdettweiler [2016-02-01 00:42:32] 957*2^1421078-1 is not prime. Res64: EFF2AFB7D900E547 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:42:32] 663*2^1421079-1 is not prime. Res64: 81FEAB1F1D50EC9A Time : 0.0 sec. user=mdettweiler [2016-02-01 00:56:00] 741*2^1421079-1 is not prime. Res64: 14BB538588911BC5 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:56:01] 751*2^1421079-1 is not prime. Res64: F4CDC3FD7A6FA61E Time : 0.0 sec. user=mdettweiler [2016-02-01 00:57:23] 919*2^1421079-1 is not prime. Res64: E55D669311568AD9 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:57:24] 951*2^1421079-1 is not prime. Res64: E091F51D910D48CB Time : 0.0 sec. user=mdettweiler [2016-02-01 00:58:43] 603*2^1421080-1 is not prime. Res64: 2CA614E6B77AF899 Time : 0.0 sec. user=mdettweiler [2016-02-01 00:58:44] 677*2^1421080-1 is not prime. Res64: 55FE257A9318A7A9 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:01:13] 689*2^1421080-1 is not prime. Res64: B7DD2A859E3D8C05 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:01:14] 723*2^1421080-1 is not prime. Res64: B02BAFFDED86DF24 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:14:22] 735*2^1421080-1 is not prime. Res64: 945925923CDBDD32 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:14:22] 825*2^1421080-1 is not prime. Res64: 57415E5225419552 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:16:03] 843*2^1421080-1 is not prime. Res64: FC5504A76C1D2C67 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:16:03] 845*2^1421080-1 is not prime. Res64: BE83A51F74F49359 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:17:02] 939*2^1421080-1 is not prime. Res64: 5FFBEEEBAD87367F Time : 0.0 sec. user=mdettweiler [2016-02-01 01:17:03] 615*2^1421081-1 is not prime. Res64: 32359C67B271B7C9 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:20:10] 649*2^1421081-1 is not prime. Res64: 9925D67B7B7D2DAC Time : 0.0 sec. user=mdettweiler [2016-02-01 01:20:11] 747*2^1421081-1 is not prime. Res64: DE8C3A0CECB21207 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:32:47] 837*2^1421081-1 is not prime. Res64: 7B74B87B96DC9217 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:32:48] 945*2^1421081-1 is not prime. Res64: 3B05EA940FEEFB51 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:34:34] 681*2^1421082-1 is not prime. Res64: 3BDF77EC7C91CFBC Time : 0.0 sec. user=mdettweiler [2016-02-01 01:34:34] 765*2^1421082-1 is not prime. Res64: AD15E521A1949341 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:35:23] 815*2^1421082-1 is not prime. Res64: 2490B33ADA1E7D52 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:35:23] 833*2^1421082-1 is not prime. Res64: 295E9D1160502C6C Time : 0.0 sec. user=mdettweiler [2016-02-01 01:39:01] 891*2^1421082-1 is not prime. Res64: BAD64A5BD010EFF3 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:39:01] 631*2^1421083-1 is not prime. Res64: 90F0B617B5B612DF Time : 0.0 sec. user=mdettweiler [2016-02-01 01:51:13] 723*2^1421083-1 is not prime. Res64: A4B096F45CD930C6 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:51:14] 801*2^1421083-1 is not prime. Res64: 202AC956796A7DFA Time : 0.0 sec. user=mdettweiler [2016-02-01 01:53:16] 853*2^1421083-1 is not prime. Res64: CF62E368457596E2 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:53:17] 945*2^1421083-1 is not prime. Res64: 80F01A8AAFA4BB8F Time : 0.0 sec. user=mdettweiler [2016-02-01 01:53:33] 951*2^1421083-1 is not prime. Res64: 8C4EE4A96EBD0213 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:53:33] 665*2^1421084-1 is not prime. Res64: C81B1C47E01EB875 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:57:43] 725*2^1421084-1 is not prime. Res64: 211407ABCBFAC566 Time : 0.0 sec. user=mdettweiler [2016-02-01 01:57:44] 743*2^1421084-1 is not prime. Res64: 27D01AD0EC81E1EE Time : 0.0 sec. user=mdettweiler [2016-02-01 02:09:37] 819*2^1421084-1 is not prime. Res64: 0E1ED6188492EDC2 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:09:38] 825*2^1421084-1 is not prime. Res64: 186C9B4104CE20C7 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:11:52] 847*2^1421085-1 is not prime. Res64: BB1E539C26B85C2A Time : 0.0 sec. user=mdettweiler [2016-02-01 02:11:53] 895*2^1421085-1 is not prime. Res64: 48ABF5A6EFA6CB85 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:11:59] 855*2^1421084-1 is not prime. Res64: A06894EE12FF2425 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:12:00] 983*2^1421084-1 is not prime. Res64: 16C947E338499C3E Time : 0.0 sec. user=mdettweiler [2016-02-01 02:16:30] 937*2^1421085-1 is not prime. Res64: E607BA502B4F5168 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:16:30] 949*2^1421085-1 is not prime. Res64: 3EBD59AAB98617EB Time : 0.0 sec. user=mdettweiler [2016-02-01 02:28:21] 737*2^1421086-1 is not prime. Res64: 3A87964B1C18577A Time : 0.0 sec. user=mdettweiler [2016-02-01 02:28:22] 743*2^1421086-1 is not prime. Res64: B249EE8455101FE0 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:30:12] 773*2^1421086-1 is not prime. Res64: 3EA0CEB98CFA3A8A Time : 0.0 sec. user=mdettweiler [2016-02-01 02:30:15] 813*2^1421086-1 is not prime. Res64: 9D2383DAC5CC4BEC Time : 0.0 sec. user=mdettweiler [2016-02-01 02:30:41] 911*2^1421086-1 is not prime. Res64: 045B4B5D2C598E23 Time : 0.0 sec. user=mdettweiler [2016-02-01 02:30:42] 917*2^1421086-1 is not prime. Res64: FD4157AFAB8C899D Time : 0.0 sec. user=mdettweiler [2016-02-01 02:35:15] 993*2^1421086-1 is not prime. Res64: D1598FD6042739CF Time : 0.0 sec. user=mdettweiler [2016-02-01 02:46:51] 775*2^1421087-1 is not prime. Res64: 50053BE487A51F5B Time : 0.0 sec. user=mdettweiler [2016-02-01 02:46:51] 865*2^1421087-1 is not prime. Res64: 847D861F2037869C Time : 0.0 sec. user=mdettweiler [2016-02-01 02:48:34] 883*2^1421087-1 is not prime. Res64: 87CA1B435CB74ACF Time : 0.0 sec. user=mdettweiler [2016-02-01 02:48:34] 945*2^1421087-1 is not prime. Res64: 3671252C8E14AEFA Time : 0.0 sec. user=mdettweiler [2016-02-01 02:49:17] 955*2^1421087-1 is not prime. Res64: D6C2FBF36F3B300C Time : 0.0 sec. user=mdettweiler [2016-02-01 02:49:18] 985*2^1421087-1 is not prime. Res64: 1E3D3F7F53E20336 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:05:44] 639*2^1421088-1 is not prime. Res64: 85AC7A0C63D79F6E Time : 0.0 sec. user=mdettweiler [2016-02-01 03:05:45] 669*2^1421088-1 is not prime. Res64: DA3465FEE4130F72 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:07:10] 699*2^1421088-1 is not prime. Res64: 6C28FF0DDFC37357 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:07:10] 725*2^1421088-1 is not prime. Res64: 17146BB1BD376A26 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:07:51] 759*2^1421088-1 is not prime. Res64: 36B410A46A298117 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:07:51] 843*2^1421088-1 is not prime. Res64: 4900B21A586ADBBE Time : 0.0 sec. user=mdettweiler [2016-02-01 03:24:28] 867*2^1421088-1 is not prime. Res64: 83480619389E3FAE Time : 0.0 sec. user=mdettweiler [2016-02-01 03:24:28] 899*2^1421088-1 is not prime. Res64: CE77CF6C93A24307 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:25:31] 649*2^1421089-1 is not prime. Res64: B7C9FAB9EBA936FC Time : 0.0 sec. user=mdettweiler [2016-02-01 03:25:32] 771*2^1421089-1 is not prime. Res64: 74C359F97EC09992 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:26:31] 829*2^1421089-1 is not prime. Res64: C17ABCD9B81F288A Time : 0.0 sec. user=mdettweiler [2016-02-01 03:26:32] 841*2^1421089-1 is not prime. Res64: 3A7E3C393084C8D0 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:42:58] 885*2^1421089-1 is not prime. Res64: 6E024A3C9C8A77FC Time : 0.0 sec. user=mdettweiler [2016-02-01 03:43:01] 925*2^1421089-1 is not prime. Res64: 11C5F93E6D14E59E Time : 0.0 sec. user=mdettweiler [2016-02-01 03:43:46] 951*2^1421089-1 is not prime. Res64: 1F8C276143B14E10 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:43:48] 755*2^1421090-1 is not prime. Res64: F8CBE02985EE93E6 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:45:05] 785*2^1421090-1 is not prime. Res64: A3841DFF3B25FFA4 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:45:10] 813*2^1421090-1 is not prime. Res64: ECFED71EB41B4AE6 Time : 0.0 sec. user=mdettweiler [2016-02-01 03:55:41] 619*2^1421087-1 is not prime. Res64: 3AD9234842199FD2 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:01:51] 827*2^1421090-1 is not prime. Res64: 539D595D5B39E07D Time : 0.0 sec. user=mdettweiler [2016-02-01 04:01:53] 845*2^1421090-1 is not prime. Res64: 95A4F7C42F089431 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:02:10] 861*2^1421090-1 is not prime. Res64: 47D38AE5E5571ABD Time : 0.0 sec. user=mdettweiler [2016-02-01 04:02:11] 935*2^1421090-1 is not prime. Res64: F0084F4CF37EDD58 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:04:09] 941*2^1421090-1 is not prime. Res64: 56D5D0FC268D2501 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:04:11] 995*2^1421090-1 is not prime. Res64: 6CCB750A0DFD9553 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:14:40] 1001*2^1421090-1 is not prime. Res64: 73216CB6F7D3C7F4 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:14:41] 669*2^1421091-1 is not prime. Res64: BBC1C67821847073 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:20:22] 895*2^1421091-1 is not prime. Res64: DFD523629A6CB9DC Time : 0.0 sec. user=mdettweiler [2016-02-01 04:20:22] 969*2^1421091-1 is not prime. Res64: 5C065E5C72BF1F24 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:20:27] 753*2^1421091-1 is not prime. Res64: A11A120293BA81B2 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:20:27] 769*2^1421091-1 is not prime. Res64: B398CCCB4A74AE46 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:22:54] 973*2^1421091-1 is not prime. Res64: 70946783FE52E994 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:22:55] 999*2^1421091-1 is not prime. Res64: 8A7BD0291EB941AD Time : 0.0 sec. user=mdettweiler [2016-02-01 04:33:09] 833*2^1421092-1 is not prime. Res64: 6D879F7E7D5510AA Time : 0.0 sec. user=mdettweiler [2016-02-01 04:33:09] 939*2^1421092-1 is not prime. Res64: FAF2ACDA6DD0A2F3 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:38:27] 975*2^1421092-1 is not prime. Res64: 05D4431BF5B01CBF Time : 0.0 sec. user=mdettweiler [2016-02-01 04:38:28] 607*2^1421093-1 is not prime. Res64: 845C028A6E4AC430 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:39:01] 649*2^1421093-1 is not prime. Res64: 88E340E5C0FB458B Time : 0.0 sec. user=mdettweiler [2016-02-01 04:39:02] 715*2^1421093-1 is not prime. Res64: 8AA9C06DA3235B64 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:41:31] 727*2^1421093-1 is not prime. Res64: 6BFD7ED1735C1832 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:41:32] 735*2^1421093-1 is not prime. Res64: 0ADE357C73DBA320 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:52:15] 745*2^1421093-1 is not prime. Res64: 30D786E71D997037 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:52:16] 811*2^1421093-1 is not prime. Res64: D139C32C334A77BE Time : 0.0 sec. user=mdettweiler [2016-02-01 04:58:01] 837*2^1421093-1 is not prime. Res64: D76D81D52451991C Time : 0.0 sec. user=mdettweiler [2016-02-01 04:58:02] 855*2^1421093-1 is not prime. Res64: 0159E0E9FDC830A9 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:58:27] 981*2^1421093-1 is not prime. Res64: D068047586607F87 Time : 0.0 sec. user=mdettweiler [2016-02-01 04:58:28] 677*2^1421094-1 is not prime. Res64: 010F2D41CE9629A1 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:00:52] 903*2^1421094-1 is not prime. Res64: 795849F82F78B115 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:00:53] 673*2^1421095-1 is not prime. Res64: B116EB6EF4A49B66 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:11:33] 889*2^1421095-1 is not prime. Res64: EF29DDB2B0535F5D Time : 0.0 sec. user=mdettweiler [2016-02-01 05:11:34] 979*2^1421095-1 is not prime. Res64: BEE9B92E02451D9C Time : 0.0 sec. user=mdettweiler [2016-02-01 05:16:19] 985*2^1421095-1 is not prime. Res64: 8D640BEFD854CEA7 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:16:20] 623*2^1421096-1 is not prime. Res64: 838E48A70A2670D3 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:16:51] 629*2^1421096-1 is not prime. Res64: 068CC104636FB551 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:16:52] 669*2^1421096-1 is not prime. Res64: 92A4447343C555E9 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:19:30] 693*2^1421096-1 is not prime. Res64: 13201FEC5ED59BE6 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:19:31] 743*2^1421096-1 is not prime. Res64: B4F144A40C1950EE Time : 0.0 sec. user=mdettweiler [2016-02-01 05:30:17] 767*2^1421096-1 is not prime. Res64: 80C61DDA69255530 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:30:18] 843*2^1421096-1 is not prime. Res64: FF049143E4B0FA2B Time : 0.0 sec. user=mdettweiler [2016-02-01 05:34:36] 855*2^1421096-1 is not prime. Res64: CA8818527B9E1C38 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:34:37] 899*2^1421096-1 is not prime. Res64: F13BEF9109108565 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:35:07] 923*2^1421096-1 is not prime. Res64: DE50C895F5F50C20 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:35:08] 957*2^1421096-1 is not prime. Res64: 015B9F53B0CDE038 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:38:20] 661*2^1421097-1 is not prime. Res64: D9FC4CE28291DFBA Time : 0.0 sec. user=mdettweiler [2016-02-01 05:38:20] 669*2^1421097-1 is not prime. Res64: 56DA9AC804AC1BDF Time : 0.0 sec. user=mdettweiler [2016-02-01 05:48:51] 717*2^1421097-1 is not prime. Res64: 9D0F2E6148EAF998 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:48:51] 751*2^1421097-1 is not prime. Res64: CB472D63613E1899 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:52:50] 769*2^1421097-1 is not prime. Res64: 7668D1540676724E Time : 0.0 sec. user=mdettweiler [2016-02-01 05:52:50] 807*2^1421097-1 is not prime. Res64: A5974461BF024F22 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:53:29] 885*2^1421097-1 is not prime. Res64: 86575723774F6DA2 Time : 0.0 sec. user=mdettweiler [2016-02-01 05:53:30] 985*2^1421097-1 is not prime. Res64: 926033C494FBE3DA Time : 0.0 sec. user=mdettweiler [2016-02-01 05:56:59] 997*2^1421097-1 is not prime. Res64: 2DD495501677E33D Time : 0.0 sec. user=mdettweiler [2016-02-01 05:57:00] 647*2^1421098-1 is not prime. Res64: 909FB4782EF3D456 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:07:41] 657*2^1421098-1 is not prime. Res64: E1C4525C0EA8F17F Time : 0.0 sec. user=mdettweiler [2016-02-01 06:07:44] 671*2^1421098-1 is not prime. Res64: 936F0EF93ABD6B16 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:11:05] 705*2^1421098-1 is not prime. Res64: 2ABE15BA712309CD Time : 0.0 sec. user=mdettweiler [2016-02-01 06:11:07] 737*2^1421098-1 is not prime. Res64: F29EED18861406A1 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:11:56] 803*2^1421098-1 is not prime. Res64: BF82DE88EFF43E68 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:11:57] 831*2^1421098-1 is not prime. Res64: 22E2FA4CB1BD4EDF Time : 0.0 sec. user=mdettweiler [2016-02-01 06:15:27] 903*2^1421099-1 is not prime. Res64: 1A65ACE640C0598E Time : 0.0 sec. user=mdettweiler [2016-02-01 06:15:27] 969*2^1421099-1 is not prime. Res64: 5F25D964EB6E750E Time : 0.0 sec. user=mdettweiler [2016-02-01 06:26:52] 985*2^1421099-1 is not prime. Res64: C48320EEA5826B4F Time : 0.0 sec. user=mdettweiler [2016-02-01 06:26:52] 693*2^1421100-1 is not prime. Res64: A8E7FBD715AC4873 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:29:22] 759*2^1421100-1 is not prime. Res64: 6979B8BE201BD84C Time : 0.0 sec. user=mdettweiler [2016-02-01 06:29:22] 779*2^1421100-1 is not prime. Res64: FF94E10C7FEBAB6B Time : 0.0 sec. user=mdettweiler [2016-02-01 06:30:25] 863*2^1421100-1 is not prime. Res64: 4853268026CA5679 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:30:26] 879*2^1421100-1 is not prime. Res64: DC0B173AC8211CD5 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:34:10] 727*2^1421101-1 is not prime. Res64: 4F33FDE49886ABBB Time : 0.0 sec. user=mdettweiler [2016-02-01 06:34:11] 811*2^1421101-1 is not prime. Res64: 22C044E5382B17DA Time : 0.0 sec. user=mdettweiler [2016-02-01 06:45:23] 825*2^1421101-1 is not prime. Res64: 40FA39A49E9C1E08 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:45:23] 895*2^1421101-1 is not prime. Res64: 63AD05D33EE11F03 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:47:38] 937*2^1421101-1 is not prime. Res64: F11FB2DF2515F1C0 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:47:38] 693*2^1421102-1 is not prime. Res64: 0C90A54D39F56FD6 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:48:58] 893*2^1421102-1 is not prime. Res64: F573092785B7437C Time : 0.0 sec. user=mdettweiler [2016-02-01 06:48:58] 613*2^1421103-1 is not prime. Res64: A4EDCE53BF9724E7 Time : 0.0 sec. user=mdettweiler [2016-02-01 06:53:18] 621*2^1421103-1 is not prime. Res64: FBB129151C46291F Time : 0.0 sec. user=mdettweiler [2016-02-01 06:53:18] 675*2^1421103-1 is not prime. Res64: 492D9832FD2B1F18 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:04:54] 703*2^1421103-1 is not prime. Res64: 207F58C1336C5BBA Time : 0.0 sec. user=mdettweiler [2016-02-01 07:04:56] 709*2^1421103-1 is not prime. Res64: D4054D33F7A95495 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:06:14] 741*2^1421103-1 is not prime. Res64: D5D0572BA9247FB1 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:06:18] 769*2^1421103-1 is not prime. Res64: 5AF078388DC2BB84 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:08:10] 795*2^1421103-1 is not prime. Res64: 9F35457FD678A5E9 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:08:11] 859*2^1421103-1 is not prime. Res64: 35F8F278F813A4BE Time : 0.0 sec. user=mdettweiler [2016-02-01 07:12:01] 623*2^1421104-1 is not prime. Res64: E5C41C95DA1918D7 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:12:02] 665*2^1421104-1 is not prime. Res64: 43F36F2A68507DBE Time : 0.0 sec. user=mdettweiler [2016-02-01 07:23:49] 755*2^1421104-1 is not prime. Res64: EB07413425D7E7BC Time : 0.0 sec. user=mdettweiler [2016-02-01 07:23:50] 773*2^1421104-1 is not prime. Res64: BC40503965A66BA1 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:24:32] 909*2^1421104-1 is not prime. Res64: 04C8FFE26244CCFB Time : 0.0 sec. user=mdettweiler [2016-02-01 07:24:33] 989*2^1421104-1 is not prime. Res64: 0F9A62EFEEF56D6F Time : 0.0 sec. user=mdettweiler [2016-02-01 07:26:43] 717*2^1421105-1 is not prime. Res64: B1CA75FE1963BA14 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:26:44] 781*2^1421105-1 is not prime. Res64: 9A538E87016CEC22 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:30:41] 641*2^1421106-1 is not prime. Res64: 34D157AD7ED67D20 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:30:41] 671*2^1421106-1 is not prime. Res64: 8EAE46504BAAE92E Time : 0.0 sec. user=mdettweiler [2016-02-01 07:42:26] 711*2^1421106-1 is not prime. Res64: 9638B93BC2B5CA8C Time : 0.0 sec. user=mdettweiler [2016-02-01 07:42:26] 723*2^1421106-1 is not prime. Res64: 3331F3DE371B32D0 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:42:39] 807*2^1421106-1 is not prime. Res64: 5513BEB17447AA56 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:42:40] 815*2^1421106-1 is not prime. Res64: 14BFAA2257AA6982 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:45:06] 833*2^1421106-1 is not prime. Res64: FDE51CE0D16C8E89 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:45:07] 843*2^1421106-1 is not prime. Res64: 417E6A0B969F43F0 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:49:25] 873*2^1421106-1 is not prime. Res64: 5B1ACB7652B6EA85 Time : 0.0 sec. user=mdettweiler [2016-02-01 07:49:26] 875*2^1421106-1 is not prime. Res64: 5A67D37008DBDB45 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:00:44] 603*2^1421107-1 is not prime. Res64: 9C40F6F722B26911 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:00:45] 625*2^1421107-1 is not prime. Res64: 1F77C3A3362A2856 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:01:12] 893*2^1421106-1 is not prime. Res64: 217D8F4971AE6C0B Time : 0.0 sec. user=mdettweiler [2016-02-01 08:01:13] 993*2^1421106-1 is not prime. Res64: E15008B23B8B3616 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:03:34] 633*2^1421107-1 is not prime. Res64: A89F7BB787151660 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:03:36] 651*2^1421107-1 is not prime. Res64: 6A450D85CA32CBFD Time : 0.0 sec. user=mdettweiler [2016-02-01 08:08:11] 703*2^1421107-1 is not prime. Res64: 4E33A6BF514578A0 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:08:11] 819*2^1421107-1 is not prime. Res64: FBB22FB25C01F348 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:18:58] 901*2^1421107-1 is not prime. Res64: 1E300C2000A03991 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:18:58] 939*2^1421107-1 is not prime. Res64: B8378668B69E6968 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:19:40] 617*2^1421108-1 is not prime. Res64: 34C3DA348BB10A8E Time : 0.0 sec. user=mdettweiler [2016-02-01 08:19:41] 677*2^1421108-1 is not prime. Res64: 30B549661EFD4C0F Time : 0.0 sec. user=mdettweiler [2016-02-01 08:22:02] 767*2^1421108-1 is not prime. Res64: 9B804BE2BC9169CD Time : 0.0 sec. user=mdettweiler [2016-02-01 08:22:02] 795*2^1421108-1 is not prime. Res64: 87B0A3CE693B4F26 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:26:53] 819*2^1421108-1 is not prime. Res64: 23E8AC85B997AC13 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:26:54] 899*2^1421108-1 is not prime. Res64: 6E88E0DA2C270802 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:37:14] 935*2^1421108-1 is not prime. Res64: 51D6CDD5710E0614 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:37:15] 977*2^1421108-1 is not prime. Res64: 6B2C2F309BB5F7DF Time : 0.0 sec. user=mdettweiler [2016-02-01 08:38:22] 621*2^1421109-1 is not prime. Res64: AD054E835FBF5B1F Time : 0.0 sec. user=mdettweiler [2016-02-01 08:38:22] 627*2^1421109-1 is not prime. Res64: 49015EFF14CAE4E0 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:40:29] 639*2^1421109-1 is not prime. Res64: 9A7F26918F708906 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:40:30] 787*2^1421109-1 is not prime. Res64: 6C9E69766BB6DBFD Time : 0.0 sec. user=mdettweiler [2016-02-01 08:45:33] 885*2^1421109-1 is not prime. Res64: 987410CBDD6CB698 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:45:34] 657*2^1421110-1 is not prime. Res64: 205C8FB050C8F9BA Time : 0.0 sec. user=mdettweiler [2016-02-01 08:55:28] 707*2^1421110-1 is not prime. Res64: D37DD650DFCDCC3C Time : 0.0 sec. user=mdettweiler [2016-02-01 08:55:29] 783*2^1421110-1 is not prime. Res64: 1ADE529835D8B2E6 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:57:01] 813*2^1421110-1 is not prime. Res64: 83C34CFEF6F38D0A Time : 0.0 sec. user=mdettweiler [2016-02-01 08:57:01] 855*2^1421111-1 is not prime. Res64: 661408FFE5975F7C Time : 0.0 sec. user=mdettweiler [2016-02-01 08:58:54] 865*2^1421111-1 is not prime. Res64: 9D6BFE111DEC5132 Time : 0.0 sec. user=mdettweiler [2016-02-01 08:58:54] 879*2^1421111-1 is not prime. Res64: 089E0D84FD22E633 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:04:13] 885*2^1421111-1 is not prime. Res64: F1E210CC1D017A64 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:04:14] 895*2^1421111-1 is not prime. Res64: A668EE364753EBE3 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:13:35] 979*2^1421111-1 is not prime. Res64: 75A0EC6D9FFDC22E Time : 0.0 sec. user=mdettweiler [2016-02-01 09:13:35] 999*2^1421111-1 is not prime. Res64: 915E65F7A6C126CC Time : 0.0 sec. user=mdettweiler [2016-02-01 09:15:44] 683*2^1421112-1 is not prime. Res64: A4C3538DA3621A66 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:15:45] 825*2^1421112-1 is not prime. Res64: B2F26270693A0BF1 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:17:14] 863*2^1421112-1 is not prime. Res64: D227049F10CAC5FB Time : 0.0 sec. user=mdettweiler [2016-02-01 09:17:15] 649*2^1421113-1 is not prime. Res64: 856F6830C4F829BB Time : 0.0 sec. user=mdettweiler [2016-02-01 09:22:59] 681*2^1421113-1 is not prime. Res64: 29EA183AC27745A0 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:23:00] 691*2^1421113-1 is not prime. Res64: B95A9719BECEDFA6 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:31:48] 729*2^1421113-1 is not prime. Res64: 90668EB02328F16A Time : 0.0 sec. user=mdettweiler [2016-02-01 09:31:49] 751*2^1421113-1 is not prime. Res64: E216AD17644CD1E4 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:34:37] 765*2^1421113-1 is not prime. Res64: F37FC57AEA3AAC3D Time : 0.0 sec. user=mdettweiler [2016-02-01 09:34:37] 801*2^1421113-1 is not prime. Res64: 48CE6CE010B686C4 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:35:34] 957*2^1421113-1 is not prime. Res64: 7FFC6B153BECE9BF Time : 0.0 sec. user=mdettweiler [2016-02-01 09:35:34] 683*2^1421114-1 is not prime. Res64: 8877D23DB70796F9 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:41:46] 887*2^1421114-1 is not prime. Res64: 6AF17B35B2AB599E Time : 0.0 sec. user=mdettweiler [2016-02-01 09:41:47] 915*2^1421114-1 is not prime. Res64: AC7A3997D74E94E3 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:49:53] 981*2^1421114-1 is not prime. Res64: F9B24769C69DB7EB Time : 0.0 sec. user=mdettweiler [2016-02-01 09:49:53] 625*2^1421115-1 is not prime. Res64: 3A6B3CB66851A2A1 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:53:17] 679*2^1421115-1 is not prime. Res64: 5896C7893C0B196A Time : 0.0 sec. user=mdettweiler [2016-02-01 09:53:18] 795*2^1421115-1 is not prime. Res64: C2E541E1B0DFAEAD Time : 0.0 sec. user=mdettweiler [2016-02-01 09:53:47] 891*2^1421115-1 is not prime. Res64: 01A0E239908B8522 Time : 0.0 sec. user=mdettweiler [2016-02-01 09:53:48] 693*2^1421116-1 is not prime. Res64: 1F758BA95B1889CD Time : 0.0 sec. user=mdettweiler [2016-02-01 10:00:26] 705*2^1421116-1 is not prime. Res64: 9E8A55FD10C17729 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:00:27] 833*2^1421116-1 is not prime. Res64: CAD08801E8AAD563 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:08:13] 843*2^1421116-1 is not prime. Res64: CD7259533122177D Time : 0.0 sec. user=mdettweiler [2016-02-01 10:08:14] 905*2^1421116-1 is not prime. Res64: E010C20D1F9DCCA8 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:11:52] 947*2^1421116-1 is not prime. Res64: B235FFF55F8582DE Time : 0.0 sec. user=mdettweiler [2016-02-01 10:11:52] 631*2^1421117-1 is not prime. Res64: 79B8FC32159E2BFA Time : 0.0 sec. user=mdettweiler [2016-02-01 10:12:07] 771*2^1421117-1 is not prime. Res64: CA89734752D55CD7 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:12:07] 799*2^1421117-1 is not prime. Res64: 839E2C9B82D8E465 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:19:05] 925*2^1421117-1 is not prime. Res64: C706CE59CF3676D7 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:19:06] 621*2^1421118-1 is not prime. Res64: 3F168BD1E057C7AB Time : 0.0 sec. user=mdettweiler [2016-02-01 10:26:31] 627*2^1421118-1 is not prime. Res64: 40EBDF15AC79E9A6 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:26:32] 705*2^1421118-1 is not prime. Res64: 7423E39E6EF37106 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:30:21] 777*2^1421118-1 is not prime. Res64: 52597AC3A7D3C956 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:30:22] 821*2^1421118-1 is not prime. Res64: 808AD92D0E827672 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:30:27] 713*2^1421118-1 is not prime. Res64: 37ACCF629BB2CF86 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:30:28] 737*2^1421118-1 is not prime. Res64: 2644CAE2BCB1D58F Time : 0.0 sec. user=mdettweiler [2016-02-01 10:37:44] 861*2^1421118-1 is not prime. Res64: 777DC17808D53628 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:37:45] 881*2^1421118-1 is not prime. Res64: 055C0199BDA12989 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:44:42] 977*2^1421118-1 is not prime. Res64: 8D77E66FC06B3325 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:44:42] 723*2^1421119-1 is not prime. Res64: B25A4F5BB821111D Time : 0.0 sec. user=mdettweiler [2016-02-01 10:48:40] 793*2^1421119-1 is not prime. Res64: 0C2D05D70D90D126 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:48:40] 933*2^1421119-1 is not prime. Res64: 03DC0F5937890F43 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:49:00] 939*2^1421119-1 is not prime. Res64: A3B0C9EBBF043232 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:49:00] 605*2^1421120-1 is not prime. Res64: F62A868719ECDB08 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:56:33] 659*2^1421120-1 is not prime. Res64: 51FF9D3DD8FB6DB9 Time : 0.0 sec. user=mdettweiler [2016-02-01 10:56:34] 755*2^1421120-1 is not prime. Res64: 033A487E47A49896 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:02:57] 797*2^1421120-1 is not prime. Res64: 22FCA64675743E7B Time : 0.0 sec. user=mdettweiler [2016-02-01 11:02:59] 927*2^1421120-1 is not prime. Res64: 4B06D0FCA0A833AB Time : 0.0 sec. user=mdettweiler [2016-02-01 11:07:03] 935*2^1421120-1 is not prime. Res64: 883667D9E98BD1A1 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:07:03] 957*2^1421120-1 is not prime. Res64: 54E41F507CC0C3B0 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:07:45] 607*2^1421121-1 is not prime. Res64: A67AD8F456BEB35D Time : 0.0 sec. user=mdettweiler [2016-02-01 11:07:45] 747*2^1421121-1 is not prime. Res64: F1607DC0A6B51027 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:15:20] 777*2^1421121-1 is not prime. Res64: 1B69388B26F5ABD7 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:15:21] 781*2^1421121-1 is not prime. Res64: 28B9428533B56BD2 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:21:33] 847*2^1421121-1 is not prime. Res64: 4ADF9A1A69AF5889 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:21:34] 885*2^1421121-1 is not prime. Res64: B40E57E46C5F87A9 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:25:25] 999*2^1421121-1 is not prime. Res64: D5BD228CED3DE3C4 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:25:25] 611*2^1421122-1 is not prime. Res64: 2046506D895297CB Time : 0.0 sec. user=mdettweiler [2016-02-01 11:26:37] 731*2^1421122-1 is not prime. Res64: A030B4BF10CA97B2 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:26:38] 885*2^1421122-1 is not prime. Res64: 8E107C885442F502 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:33:55] 947*2^1421122-1 is not prime. Res64: 54B1805ECD9B3F7C Time : 0.0 sec. user=mdettweiler [2016-02-01 11:33:55] 995*2^1421122-1 is not prime. Res64: D549230CBA68F8C6 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:39:55] 663*2^1421123-1 is not prime. Res64: 8292D0EAAF4EF937 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:39:55] 669*2^1421123-1 is not prime. Res64: 1CC670F7BA114909 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:43:50] 735*2^1421123-1 is not prime. Res64: A87392D7763CCA03 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:43:50] 741*2^1421123-1 is not prime. Res64: 328ECCDAE8E08B7F Time : 0.0 sec. user=mdettweiler [2016-02-01 11:45:10] 855*2^1421123-1 is not prime. Res64: 8E20796F68481A58 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:45:10] 861*2^1421123-1 is not prime. Res64: 2E0D55B68A4EFB56 Time : 0.0 sec. user=mdettweiler [2016-02-01 11:52:35] 871*2^1421123-1 is not prime. Res64: 10ABC92088CE4FCD Time : 0.0 sec. user=mdettweiler [2016-02-01 11:52:35] 945*2^1421123-1 is not prime. Res64: BE1C48DA258BD27E Time : 0.0 sec. user=mdettweiler [2016-02-01 11:58:05] 955*2^1421123-1 is not prime. Res64: 364028960152C7FD Time : 0.0 sec. user=mdettweiler [2016-02-01 11:58:05] 985*2^1421123-1 is not prime. Res64: D813F8B4702F348D Time : 0.0 sec. user=mdettweiler [2016-02-01 12:02:03] 609*2^1421124-1 is not prime. Res64: E519B6A4D7100F5A Time : 0.0 sec. user=mdettweiler [2016-02-01 12:02:04] 719*2^1421124-1 is not prime. Res64: 4AE2C193E07898B1 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:03:51] 857*2^1421124-1 is not prime. Res64: D97B150D7874FCDE Time : 0.0 sec. user=mdettweiler [2016-02-01 12:03:52] 887*2^1421124-1 is not prime. Res64: 8E1C711AE0008CC6 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:11:10] 899*2^1421124-1 is not prime. Res64: 03EEBD3D2049007E Time : 0.0 sec. user=mdettweiler [2016-02-01 12:11:11] 649*2^1421125-1 is not prime. Res64: 3A1D3090F993D842 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:16:15] 691*2^1421125-1 is not prime. Res64: 8AEA7E9D9651A893 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:16:16] 771*2^1421125-1 is not prime. Res64: 6C039772ABFEFB7F Time : 0.0 sec. user=mdettweiler [2016-02-01 12:20:26] 831*2^1421125-1 is not prime. Res64: 4E0A207266B6152F Time : 0.0 sec. user=mdettweiler [2016-02-01 12:20:27] 877*2^1421125-1 is not prime. Res64: D33A3C05AE18FF1A Time : 0.0 sec. user=mdettweiler [2016-02-01 12:22:39] 937*2^1421125-1 is not prime. Res64: 19B46926354A175E Time : 0.0 sec. user=mdettweiler [2016-02-01 12:22:40] 939*2^1421125-1 is not prime. Res64: 8A1883518D3D6E0C Time : 0.0 sec. user=mdettweiler [2016-02-01 12:30:09] 755*2^1421126-1 is not prime. Res64: BF212A39EACCF0C7 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:30:09] 825*2^1421126-1 is not prime. Res64: C9B64E0F1BF2C3AF Time : 0.0 sec. user=mdettweiler [2016-02-01 12:34:38] 873*2^1421126-1 is not prime. Res64: 5B4E277F9AFE0517 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:34:39] 639*2^1421127-1 is not prime. Res64: A36E488F9130FFFD Time : 0.0 sec. user=mdettweiler [2016-02-01 12:38:56] 661*2^1421127-1 is not prime. Res64: A78A17E7D8D59C54 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:38:57] 709*2^1421127-1 is not prime. Res64: 1B7E63ED93E630F5 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:41:30] 735*2^1421127-1 is not prime. Res64: CDF9F57976C5A923 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:41:31] 765*2^1421127-1 is not prime. Res64: 21713C049C73A32B Time : 0.0 sec. user=mdettweiler [2016-02-01 12:48:47] 825*2^1421127-1 is not prime. Res64: 49D0CCD842B777C3 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:48:47] 829*2^1421127-1 is not prime. Res64: 39F55F54DA932707 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:52:51] 849*2^1421127-1 is not prime. Res64: 099F86A51755CA8E Time : 0.0 sec. user=mdettweiler [2016-02-01 12:52:52] 865*2^1421127-1 is not prime. Res64: 9409CE1099F6FE2C Time : 0.0 sec. user=mdettweiler [2016-02-01 12:57:18] 885*2^1421127-1 is not prime. Res64: FB075911A941D967 Time : 0.0 sec. user=mdettweiler [2016-02-01 12:57:18] 973*2^1421127-1 is not prime. Res64: C73E1A584F47682E Time : 0.0 sec. user=mdettweiler [2016-02-01 13:00:15] 615*2^1421128-1 is not prime. Res64: CB91E39A117221C4 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:00:16] 707*2^1421128-1 is not prime. Res64: E0BECF98F94D8FD1 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:07:17] 803*2^1421128-1 is not prime. Res64: 6EE2FF389A0000D4 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:07:18] 905*2^1421128-1 is not prime. Res64: 473ECE491CEDAF0C Time : 0.0 sec. user=mdettweiler [2016-02-01 13:11:08] 995*2^1421128-1 is not prime. Res64: F9992EBE2CFFF20F Time : 0.0 sec. user=mdettweiler [2016-02-01 13:11:08] 615*2^1421129-1 is not prime. Res64: 490C16E034827A29 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:15:56] 631*2^1421129-1 is not prime. Res64: 013A24B4E2AEED0D Time : 0.0 sec. user=mdettweiler [2016-02-01 13:15:56] 649*2^1421129-1 is not prime. Res64: 9036DA13FCA9AAC7 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:19:04] 735*2^1421129-1 is not prime. Res64: F169C261A28074FB Time : 0.0 sec. user=mdettweiler [2016-02-01 13:19:04] 747*2^1421129-1 is not prime. Res64: 63E03195C9683819 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:25:58] 759*2^1421129-1 is not prime. Res64: 9432110D010559C5 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:25:59] 855*2^1421129-1 is not prime. Res64: E59BCB32C6B53B9A Time : 0.0 sec. user=mdettweiler [2016-02-01 13:29:27] 635*2^1421130-1 is not prime. Res64: 24FFDCBD1F7B91E6 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:29:28] 657*2^1421130-1 is not prime. Res64: 30BE4C2056C25F16 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:34:25] 747*2^1421130-1 is not prime. Res64: F7DA41F729087E06 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:34:26] 773*2^1421130-1 is not prime. Res64: F311CE9E59ED85BB Time : 0.0 sec. user=mdettweiler [2016-02-01 13:37:50] 777*2^1421130-1 is not prime. Res64: FA440AF0E4E75067 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:37:51] 783*2^1421130-1 is not prime. Res64: 425603AF69DD8513 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:44:38] 887*2^1421130-1 is not prime. Res64: D5CE8A325B4F5360 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:44:38] 923*2^1421130-1 is not prime. Res64: DB8138ACC7B2C87B Time : 0.0 sec. user=mdettweiler [2016-02-01 13:47:45] 971*2^1421130-1 is not prime. Res64: 5DF2B2ECB33BFFD6 Time : 0.0 sec. user=mdettweiler [2016-02-01 13:47:46] 603*2^1421131-1 is not prime. Res64: 2D3647414662552D Time : 0.0 sec. user=mdettweiler [2016-02-01 13:52:49] 709*2^1421131-1 is not prime. Res64: 150E4EFEFC36A7EA Time : 0.0 sec. user=mdettweiler [2016-02-01 13:52:50] 751*2^1421131-1 is not prime. Res64: 8E5F12B4CB559A3F Time : 0.0 sec. user=mdettweiler [2016-02-01 13:56:22] 759*2^1421131-1 is not prime. Res64: 7E71195ED661882B Time : 0.0 sec. user=mdettweiler [2016-02-01 13:56:22] 769*2^1421131-1 is not prime. Res64: 8C736442C430BFD0 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:03:22] 775*2^1421131-1 is not prime. Res64: 7E32F8EC3B910AAE Time : 0.0 sec. user=mdettweiler [2016-02-01 14:03:24] 819*2^1421131-1 is not prime. Res64: 98184E5014AFDBE6 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:05:58] 993*2^1421131-1 is not prime. Res64: 180004AF01019CB7 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:05:59] 827*2^1421132-1 is not prime. Res64: D1B1AE7729DDD4FF Time : 0.0 sec. user=mdettweiler [2016-02-01 14:11:14] 857*2^1421132-1 is not prime. Res64: 32A5A26BB0585930 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:11:15] 929*2^1421132-1 is not prime. Res64: 84303439CBCC8596 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:14:52] 957*2^1421132-1 is not prime. Res64: BCA3648F8AFBCA3D Time : 0.0 sec. user=mdettweiler [2016-02-01 14:14:53] 609*2^1421133-1 is not prime. Res64: FD16A329C78B9EC3 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:22:08] 649*2^1421133-1 is not prime. Res64: E3ECA7905E8E5226 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:22:09] 721*2^1421133-1 is not prime. Res64: 76E97C9650D97A37 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:24:03] 765*2^1421133-1 is not prime. Res64: 9AEB917A43379B1C Time : 0.0 sec. user=mdettweiler [2016-02-01 14:24:03] 885*2^1421133-1 is not prime. Res64: 177B0E74E7B196B7 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:29:28] 949*2^1421133-1 is not prime. Res64: B4B75BE4108A16A9 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:29:29] 951*2^1421133-1 is not prime. Res64: 54FD5A163826AC62 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:33:40] 961*2^1421133-1 is not prime. Res64: 24C9AF2D043E15A2 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:33:40] 605*2^1421134-1 is not prime. Res64: 9A3879E3850C65B2 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:40:42] 665*2^1421134-1 is not prime. Res64: 3D622D9184CFB066 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:40:43] 903*2^1421134-1 is not prime. Res64: 13BAF700D8452261 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:42:12] 721*2^1421135-1 is not prime. Res64: 9E1A3DDFC18CB618 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:42:12] 789*2^1421135-1 is not prime. Res64: 405A5B87C3356F1B Time : 0.0 sec. user=mdettweiler [2016-02-01 14:47:48] 871*2^1421135-1 is not prime. Res64: 626D4BB7D1AEF8DE Time : 0.0 sec. user=mdettweiler [2016-02-01 14:47:48] 949*2^1421135-1 is not prime. Res64: 005AC47E955F0ABC Time : 0.0 sec. user=mdettweiler [2016-02-01 14:52:14] 991*2^1421135-1 is not prime. Res64: C27CF6EBA7CE54CD Time : 0.0 sec. user=mdettweiler [2016-02-01 14:52:15] 639*2^1421136-1 is not prime. Res64: F5C7E95C640ABDA6 Time : 0.0 sec. user=mdettweiler [2016-02-01 14:59:26] 653*2^1421136-1 is not prime. Res64: DA55F245C331082B Time : 0.0 sec. user=mdettweiler [2016-02-01 14:59:26] 735*2^1421136-1 is not prime. Res64: 8061CDD629249C02 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:00:34] 737*2^1421136-1 is not prime. Res64: 72E7106AC14F4BD6 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:00:35] 839*2^1421136-1 is not prime. Res64: 763F3BC9B24C8089 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:06:17] 933*2^1421136-1 is not prime. Res64: 7E43B2B54B162FEE Time : 0.0 sec. user=mdettweiler [2016-02-01 15:06:17] 609*2^1421137-1 is not prime. Res64: 5AD3B394D8B65BFE Time : 0.0 sec. user=mdettweiler [2016-02-01 15:10:52] 639*2^1421137-1 is not prime. Res64: 2C36AE555B01F9D7 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:10:53] 667*2^1421137-1 is not prime. Res64: 2761C2571C578CCB Time : 0.0 sec. user=mdettweiler [2016-02-01 15:18:20] 691*2^1421137-1 is not prime. Res64: 4816349A1DE579A8 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:18:21] 765*2^1421137-1 is not prime. Res64: E9F491C737229741 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:18:58] 801*2^1421137-1 is not prime. Res64: F0036ACC5AE1C89B Time : 0.0 sec. user=mdettweiler [2016-02-01 15:18:58] 871*2^1421137-1 is not prime. Res64: CC58CD9E2EF5622A Time : 0.0 sec. user=mdettweiler [2016-02-01 15:24:41] 937*2^1421137-1 is not prime. Res64: 5DDD673D496D1AF3 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:24:42] 957*2^1421137-1 is not prime. Res64: DBEB28E23FB3CAEE Time : 0.0 sec. user=mdettweiler [2016-02-01 15:29:50] 975*2^1421137-1 is not prime. Res64: 62793A45E1874759 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:29:51] 603*2^1421138-1 is not prime. Res64: 66EFDE58FD1A344C Time : 0.0 sec. user=mdettweiler [2016-02-01 15:36:51] 617*2^1421138-1 is not prime. Res64: 4539AA5BAB03725B Time : 0.0 sec. user=mdettweiler [2016-02-01 15:36:51] 641*2^1421138-1 is not prime. Res64: 028B951EBE6A2287 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:37:07] 771*2^1421138-1 is not prime. Res64: 2F527F8AC95BA7F4 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:37:08] 867*2^1421138-1 is not prime. Res64: DED5827089378C5F Time : 0.0 sec. user=mdettweiler [2016-02-01 15:43:09] 885*2^1421138-1 is not prime. Res64: B129902419166C9C Time : 0.0 sec. user=mdettweiler [2016-02-01 15:43:09] 675*2^1421139-1 is not prime. Res64: ECC14C535F10BD79 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:48:34] 711*2^1421139-1 is not prime. Res64: FAE520FA3BFD573B Time : 0.0 sec. user=mdettweiler [2016-02-01 15:48:34] 775*2^1421139-1 is not prime. Res64: E95A472F75BF2894 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:55:25] 801*2^1421139-1 is not prime. Res64: F9492A33CBFA1D92 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:55:25] 885*2^1421139-1 is not prime. Res64: B1FC3CB9E1F963B1 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:55:32] 789*2^1421139-1 is not prime. Res64: 86AF8677993594E3 Time : 0.0 sec. user=mdettweiler [2016-02-01 15:55:33] 795*2^1421139-1 is not prime. Res64: A553C540B70EF0E4 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:01:44] 955*2^1421139-1 is not prime. Res64: 5835BE40C056FF18 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:01:44] 999*2^1421139-1 is not prime. Res64: 4B8B19B7BB51C9A2 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:07:03] 675*2^1421140-1 is not prime. Res64: 27EBBB9576B40711 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:07:03] 717*2^1421140-1 is not prime. Res64: 1157399ACF9CC302 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:13:40] 765*2^1421140-1 is not prime. Res64: 2E054696247B2895 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:13:41] 803*2^1421140-1 is not prime. Res64: EC030EAD9EF423E6 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:14:11] 827*2^1421140-1 is not prime. Res64: AA3715812924E95F Time : 0.0 sec. user=mdettweiler [2016-02-01 16:14:11] 855*2^1421140-1 is not prime. Res64: 4C05F35759667D18 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:20:16] 983*2^1421140-1 is not prime. Res64: 9C92CE77B83B0E3A Time : 0.0 sec. user=mdettweiler [2016-02-01 16:20:17] 631*2^1421141-1 is not prime. Res64: C329FE8B754E1FBF Time : 0.0 sec. user=mdettweiler [2016-02-01 16:25:35] 685*2^1421141-1 is not prime. Res64: E8F67442478EA148 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:25:35] 805*2^1421141-1 is not prime. Res64: 52E791AF5EDF4F6B Time : 0.0 sec. user=mdettweiler [2016-02-01 16:32:02] 859*2^1421141-1 is not prime. Res64: 25C3BF0B71301144 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:32:03] 955*2^1421141-1 is not prime. Res64: B2728247ADE81162 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:32:52] 981*2^1421141-1 is not prime. Res64: 5D19A5665139A621 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:32:52] 635*2^1421142-1 is not prime. Res64: AB07148C5A68434E Time : 0.0 sec. user=mdettweiler [2016-02-01 16:38:46] 683*2^1421142-1 is not prime. Res64: F1F272117199709F Time : 0.0 sec. user=mdettweiler [2016-02-01 16:38:47] 717*2^1421142-1 is not prime. Res64: 641D68F55BCBE23A Time : 0.0 sec. user=mdettweiler [2016-02-01 16:44:07] 903*2^1421142-1 is not prime. Res64: 06435139DEF32E06 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:44:07] 945*2^1421142-1 is not prime. Res64: 827B84B7F5893155 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:50:15] 963*2^1421142-1 is not prime. Res64: 60F03A5FBDBC47E7 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:50:15] 819*2^1421143-1 is not prime. Res64: 0CB63D35934FB34F Time : 0.0 sec. user=mdettweiler [2016-02-01 16:51:30] 831*2^1421143-1 is not prime. Res64: 7CAC588052265E30 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:51:30] 849*2^1421143-1 is not prime. Res64: 014A673FAF90AEFF Time : 0.0 sec. user=mdettweiler [2016-02-01 16:57:11] 605*2^1421144-1 is not prime. Res64: 5BFBD694E2246259 Time : 0.0 sec. user=mdettweiler [2016-02-01 16:57:12] 657*2^1421144-1 is not prime. Res64: 3E467DA5D45AC02C Time : 0.0 sec. user=mdettweiler [2016-02-01 17:02:44] 675*2^1421144-1 is not prime. Res64: 0C4450143E728E70 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:02:45] 699*2^1421144-1 is not prime. Res64: 0AADE7248FFDF022 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:08:29] 747*2^1421144-1 is not prime. Res64: 2CE4545ADDC19AD4 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:08:29] 753*2^1421144-1 is not prime. Res64: CE9BFDA489A4C051 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:10:01] 843*2^1421144-1 is not prime. Res64: 8C681E7B03CABBE7 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:10:01] 855*2^1421144-1 is not prime. Res64: 4BBB09DB344F05C3 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:15:41] 957*2^1421144-1 is not prime. Res64: 81D1A7962776C88C Time : 0.0 sec. user=mdettweiler [2016-02-01 17:15:42] 969*2^1421144-1 is not prime. Res64: E7928BAA7AA38D74 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:21:28] 983*2^1421144-1 is not prime. Res64: 5843784EBC49D04F Time : 0.0 sec. user=mdettweiler [2016-02-01 17:21:29] 657*2^1421145-1 is not prime. Res64: 663FE30471F799A9 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:26:43] 685*2^1421145-1 is not prime. Res64: 0992F1824931EB35 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:26:43] 699*2^1421145-1 is not prime. Res64: B76470015AF928C6 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:28:32] 741*2^1421145-1 is not prime. Res64: 2745A7D8D46AADB1 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:28:32] 781*2^1421145-1 is not prime. Res64: EB7457C7479C92D2 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:34:00] 817*2^1421145-1 is not prime. Res64: 52505E0657CE1FE0 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:34:00] 919*2^1421145-1 is not prime. Res64: BC9D846D39579652 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:40:19] 635*2^1421146-1 is not prime. Res64: 310A184D09E84CDB Time : 0.0 sec. user=mdettweiler [2016-02-01 17:40:19] 647*2^1421146-1 is not prime. Res64: AF39985BC70B6F8C Time : 0.0 sec. user=mdettweiler [2016-02-01 17:44:54] 651*2^1421146-1 is not prime. Res64: 68DD59E67149D4CA Time : 0.0 sec. user=mdettweiler [2016-02-01 17:44:54] 765*2^1421146-1 is not prime. Res64: 09E212B7BC2E1E43 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:47:04] 861*2^1421146-1 is not prime. Res64: C634160EEA76D07D Time : 0.0 sec. user=mdettweiler [2016-02-01 17:47:04] 867*2^1421146-1 is not prime. Res64: D3DB1CDDD597838C Time : 0.0 sec. user=mdettweiler [2016-02-01 17:52:19] 781*2^1421147-1 is not prime. Res64: 8B938DD4E8BA17D2 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:52:19] 913*2^1421147-1 is not prime. Res64: F9F719243C01F93A Time : 0.0 sec. user=mdettweiler [2016-02-01 17:58:58] 985*2^1421147-1 is not prime. Res64: 10C9B65AE1A150E3 Time : 0.0 sec. user=mdettweiler [2016-02-01 17:58:59] 991*2^1421147-1 is not prime. Res64: EB2A9ED0B1CF9501 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:03:07] 669*2^1421148-1 is not prime. Res64: C6CA7FFAAF28A3C9 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:03:08] 689*2^1421148-1 is not prime. Res64: 2E58006121E43BDB Time : 0.0 sec. user=mdettweiler [2016-02-01 18:05:42] 845*2^1421148-1 is not prime. Res64: DF1805A91C66DB21 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:05:44] 933*2^1421148-1 is not prime. Res64: 0295191A714B09E8 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:10:44] 609*2^1421149-1 is not prime. Res64: B7E0FDF54818E1CC Time : 0.0 sec. user=mdettweiler [2016-02-01 18:10:45] 615*2^1421149-1 is not prime. Res64: E659BEF4EDE22B62 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:17:53] 661*2^1421149-1 is not prime. Res64: CC53E7534CCAB22D Time : 0.0 sec. user=mdettweiler [2016-02-01 18:17:53] 699*2^1421149-1 is not prime. Res64: 3741F7D02EDB8549 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:21:28] 757*2^1421149-1 is not prime. Res64: E5B4C90B7AD84B01 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:21:28] 769*2^1421149-1 is not prime. Res64: C11154F7C93BEE44 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:24:20] 825*2^1421149-1 is not prime. Res64: 108FF616D041D202 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:24:21] 657*2^1421150-1 is not prime. Res64: EE573EE5C10C8205 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:29:08] 665*2^1421150-1 is not prime. Res64: E98EDEF02C5668D2 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:29:08] 813*2^1421150-1 is not prime. Res64: 1C354E0BCBD13A13 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:36:47] 843*2^1421150-1 is not prime. Res64: D4F040291F5EEAEE Time : 0.0 sec. user=mdettweiler [2016-02-01 18:36:48] 851*2^1421150-1 is not prime. Res64: DBFFC04A0C8CC387 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:39:39] 875*2^1421150-1 is not prime. Res64: 6657904773091ADC Time : 0.0 sec. user=mdettweiler [2016-02-01 18:39:39] 951*2^1421150-1 is not prime. Res64: 19BAAE1D83249513 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:43:07] 723*2^1421151-1 is not prime. Res64: 9CA2CADC71A09808 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:43:08] 741*2^1421151-1 is not prime. Res64: 868301D17B6448F6 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:47:29] 763*2^1421151-1 is not prime. Res64: 4C8436BB62ED2324 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:47:29] 921*2^1421151-1 is not prime. Res64: AF7A4A9BB6962B78 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:55:15] 969*2^1421151-1 is not prime. Res64: 1D86941779F17FDF Time : 0.0 sec. user=mdettweiler [2016-02-01 18:55:15] 653*2^1421152-1 is not prime. Res64: 5C01FB38C2BB9B78 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:57:54] 677*2^1421152-1 is not prime. Res64: 6A2BC3012D203D11 Time : 0.0 sec. user=mdettweiler [2016-02-01 18:57:54] 693*2^1421152-1 is not prime. Res64: 734B80735FAF2E0C Time : 0.0 sec. user=mdettweiler [2016-02-01 19:01:52] 619*2^1421153-1 is not prime. Res64: 5260770113F7D9B2 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:01:53] 735*2^1421153-1 is not prime. Res64: D2ADD523227073C3 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:05:46] 847*2^1421153-1 is not prime. Res64: 2D07C9D8B3083CF4 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:05:47] 937*2^1421153-1 is not prime. Res64: 2BD922E09AA1D169 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:13:55] 605*2^1421154-1 is not prime. Res64: 30BB02443439A59C Time : 0.0 sec. user=mdettweiler [2016-02-01 19:13:55] 641*2^1421154-1 is not prime. Res64: 1B7B426BE43D5155 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:16:01] 683*2^1421154-1 is not prime. Res64: 6CA0BA67E3C94F2C Time : 0.0 sec. user=mdettweiler [2016-02-01 19:16:02] 773*2^1421154-1 is not prime. Res64: 93E9C2D5A5360E0C Time : 0.0 sec. user=mdettweiler [2016-02-01 19:20:41] 791*2^1421154-1 is not prime. Res64: 0A68F95D108C3C32 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:20:41] 645*2^1421155-1 is not prime. Res64: FCD80322CC47245F Time : 0.0 sec. user=mdettweiler [2016-02-01 19:24:10] 651*2^1421155-1 is not prime. Res64: 9B99EE67221D78F8 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:24:11] 889*2^1421155-1 is not prime. Res64: 5744A8DC1EFF08DF Time : 0.0 sec. user=mdettweiler [2016-02-01 19:32:34] 909*2^1421156-1 is not prime. Res64: 0C9B29EF215FEF08 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:32:35] 667*2^1421157-1 is not prime. Res64: 4A89D5B3191ADA35 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:34:11] 669*2^1421157-1 is not prime. Res64: B24264A12284975A Time : 0.0 sec. user=mdettweiler [2016-02-01 19:34:12] 681*2^1421157-1 is not prime. Res64: 012C6C45DDFC8AC4 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:39:18] 919*2^1421157-1 is not prime. Res64: EE8A22C306BA8EB5 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:39:21] 605*2^1421158-1 is not prime. Res64: EFE22EAD785DC45A Time : 0.0 sec. user=mdettweiler [2016-02-01 19:42:36] 623*2^1421158-1 is not prime. Res64: AB720F4E22CE93D7 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:42:36] 681*2^1421158-1 is not prime. Res64: 4A372346E14B1B68 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:51:28] 833*2^1421158-1 is not prime. Res64: 040727791BC1CE36 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:51:28] 887*2^1421158-1 is not prime. Res64: E59FD91749ED1965 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:52:28] 933*2^1421158-1 is not prime. Res64: 069DC9403EEBF190 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:52:29] 661*2^1421159-1 is not prime. Res64: 5A209FB36E93181A Time : 0.0 sec. user=mdettweiler [2016-02-01 19:58:02] 703*2^1421159-1 is not prime. Res64: 6F863BB7C02900D5 Time : 0.0 sec. user=mdettweiler [2016-02-01 19:58:02] 775*2^1421159-1 is not prime. Res64: 55554775AFB84D0D Time : 0.0 sec. user=mdettweiler [2016-02-01 20:00:54] 853*2^1421159-1 is not prime. Res64: A43CA667589B48AA Time : 0.0 sec. user=mdettweiler [2016-02-01 20:00:54] 859*2^1421159-1 is not prime. Res64: EAF8465DDB3D5CD3 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:10:14] 861*2^1421159-1 is not prime. Res64: 7CE8660C458BB1AA Time : 0.0 sec. user=mdettweiler [2016-02-01 20:10:14] 939*2^1421159-1 is not prime. Res64: 6885FEA1590E238C Time : 0.0 sec. user=mdettweiler [2016-02-01 20:10:39] 949*2^1421159-1 is not prime. Res64: 6F9EC8940FC0006C Time : 0.0 sec. user=mdettweiler [2016-02-01 20:10:39] 955*2^1421159-1 is not prime. Res64: D9C85A9A9954BD87 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:16:48] 623*2^1421160-1 is not prime. Res64: A22E72AD5594647A Time : 0.0 sec. user=mdettweiler [2016-02-01 20:16:49] 689*2^1421160-1 is not prime. Res64: 346AF376539A7F4A Time : 0.0 sec. user=mdettweiler [2016-02-01 20:19:27] 699*2^1421160-1 is not prime. Res64: 3F3C2FE4CC639CAE Time : 0.0 sec. user=mdettweiler [2016-02-01 20:19:27] 725*2^1421160-1 is not prime. Res64: DC429AF841BB76B8 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:29:04] 737*2^1421160-1 is not prime. Res64: F027B6EF1B29A03E Time : 0.0 sec. user=mdettweiler [2016-02-01 20:29:05] 845*2^1421160-1 is not prime. Res64: A89C2E9562F9A706 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:29:07] 607*2^1421161-1 is not prime. Res64: 497BE4EFC210C9B9 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:29:07] 645*2^1421161-1 is not prime. Res64: EF44C4DD8E78EE9F Time : 0.0 sec. user=mdettweiler [2016-02-01 20:35:20] 799*2^1421161-1 is not prime. Res64: 8092F1D97CFED6B7 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:35:20] 855*2^1421161-1 is not prime. Res64: 6422A22C9F6081F8 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:37:44] 951*2^1421161-1 is not prime. Res64: 368F2220A51FACF7 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:37:44] 603*2^1421162-1 is not prime. Res64: 13E50B34E7D600EA Time : 0.0 sec. user=mdettweiler [2016-02-01 20:47:13] 857*2^1421162-1 is not prime. Res64: C89915EDBEA5BCB8 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:47:14] 873*2^1421162-1 is not prime. Res64: FF2FADD58AB9C836 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:47:45] 711*2^1421162-1 is not prime. Res64: 531F0B6035CBD509 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:47:45] 831*2^1421162-1 is not prime. Res64: 94643A299F56CD91 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:53:53] 885*2^1421162-1 is not prime. Res64: 6272A5039176FC8A Time : 0.0 sec. user=mdettweiler [2016-02-01 20:53:53] 911*2^1421162-1 is not prime. Res64: 51B9B39AA655EF11 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:56:16] 609*2^1421163-1 is not prime. Res64: 0B75BE2ADC2B1C32 Time : 0.0 sec. user=mdettweiler [2016-02-01 20:56:16] 615*2^1421163-1 is not prime. Res64: 0771DA7FAD3A4E73 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:05:28] 663*2^1421163-1 is not prime. Res64: 56FA1B517A1F00C0 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:05:29] 679*2^1421163-1 is not prime. Res64: D0AE65D9993F16E6 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:06:30] 705*2^1421163-1 is not prime. Res64: 9DCFB5056A3EE2BC Time : 0.0 sec. user=mdettweiler [2016-02-01 21:06:31] 895*2^1421163-1 is not prime. Res64: 7E00E6127BDFB9AA Time : 0.0 sec. user=mdettweiler [2016-02-01 21:12:29] 955*2^1421163-1 is not prime. Res64: 52E55DFD1A989F34 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:12:30] 657*2^1421164-1 is not prime. Res64: 4C78D3E119DA9935 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:14:32] 855*2^1421164-1 is not prime. Res64: E17D4F0BAC971BAF Time : 0.0 sec. user=mdettweiler [2016-02-01 21:14:33] 869*2^1421164-1 is not prime. Res64: D90B0F3E05E2149C Time : 0.0 sec. user=mdettweiler [2016-02-01 21:23:50] 947*2^1421164-1 is not prime. Res64: FE411B129593A0CB Time : 0.0 sec. user=mdettweiler [2016-02-01 21:23:50] 995*2^1421164-1 is not prime. Res64: 5D76E532478C3C43 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:25:19] 607*2^1421165-1 is not prime. Res64: 8D276DC1D1F03EBA Time : 0.0 sec. user=mdettweiler [2016-02-01 21:25:19] 697*2^1421165-1 is not prime. Res64: 1E9A2B31833464CF Time : 0.0 sec. user=mdettweiler [2016-02-01 21:31:14] 729*2^1421165-1 is not prime. Res64: DE55AB3072F379C6 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:31:14] 735*2^1421165-1 is not prime. Res64: D9DBC4E4AEFA5F40 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:32:52] 787*2^1421165-1 is not prime. Res64: 556EDEE368B33702 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:32:52] 885*2^1421165-1 is not prime. Res64: 9A3D1809884188B6 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:41:56] 657*2^1421166-1 is not prime. Res64: DBE637130CDE3B0C Time : 0.0 sec. user=mdettweiler [2016-02-01 21:41:56] 677*2^1421166-1 is not prime. Res64: F3A2EE77FDB9D2EE Time : 0.0 sec. user=mdettweiler [2016-02-01 21:43:54] 683*2^1421166-1 is not prime. Res64: 72B60657C3ED103A Time : 0.0 sec. user=mdettweiler [2016-02-01 21:43:55] 723*2^1421166-1 is not prime. Res64: B1B917DA44B54BC2 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:49:52] 737*2^1421166-1 is not prime. Res64: 94D6DDD7F7E2DB87 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:49:53] 755*2^1421166-1 is not prime. Res64: 44D68BAE20A2940F Time : 0.0 sec. user=mdettweiler [2016-02-01 21:51:28] 861*2^1421166-1 is not prime. Res64: 3D5664499BB01B91 Time : 0.0 sec. user=mdettweiler [2016-02-01 21:51:28] 917*2^1421166-1 is not prime. Res64: 91A649CBF107A4C3 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:00:00] 933*2^1421166-1 is not prime. Res64: 564D4466154BF32D Time : 0.0 sec. user=mdettweiler [2016-02-01 22:00:00] 685*2^1421167-1 is not prime. Res64: FF5F37239FA40BB9 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:02:35] 831*2^1421167-1 is not prime. Res64: 70CEB6E474934C38 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:02:37] 915*2^1421167-1 is not prime. Res64: 023C328796373E58 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:08:30] 961*2^1421167-1 is not prime. Res64: 5FAC6FE498E639D6 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:08:30] 973*2^1421167-1 is not prime. Res64: 20A328B00E119B61 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:09:50] 629*2^1421168-1 is not prime. Res64: AA4D4374D005C23B Time : 0.0 sec. user=mdettweiler [2016-02-01 22:09:50] 735*2^1421168-1 is not prime. Res64: F512F89F63662D14 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:18:13] 753*2^1421168-1 is not prime. Res64: 7055693D8B61AA39 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:18:13] 869*2^1421168-1 is not prime. Res64: 101F4D9238CB9EEA Time : 0.0 sec. user=mdettweiler [2016-02-01 22:21:13] 959*2^1421168-1 is not prime. Res64: 6F1C2E931B3DA478 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:21:13] 969*2^1421168-1 is not prime. Res64: 1E722F58E38131A7 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:27:05] 789*2^1421169-1 is not prime. Res64: E11D80A59CEDF1A8 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:27:05] 687*2^1421170-1 is not prime. Res64: C566758EAB315897 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:28:09] 713*2^1421170-1 is not prime. Res64: BC302A22FA65E90A Time : 0.0 sec. user=mdettweiler [2016-02-01 22:28:09] 731*2^1421170-1 is not prime. Res64: 50671616835AD56B Time : 0.0 sec. user=mdettweiler [2016-02-01 22:36:26] 743*2^1421170-1 is not prime. Res64: FADB5E4C1DD96562 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:36:27] 773*2^1421170-1 is not prime. Res64: 3447D49FCE0DE920 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:39:58] 887*2^1421170-1 is not prime. Res64: 3B600AB3F7C47C01 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:39:59] 911*2^1421170-1 is not prime. Res64: C75666080D39990F Time : 0.0 sec. user=mdettweiler [2016-02-01 22:45:39] 981*2^1421170-1 is not prime. Res64: 1502A9A3FA50A433 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:45:39] 745*2^1421171-1 is not prime. Res64: 7D71E7B2093B8112 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:46:48] 695*2^1421172-1 is not prime. Res64: FE233D0FBE53E3E3 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:46:48] 867*2^1421172-1 is not prime. Res64: 115600440C8D40C2 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:54:43] 929*2^1421172-1 is not prime. Res64: 36ABF9088C315A98 Time : 0.0 sec. user=mdettweiler [2016-02-01 22:54:43] 959*2^1421172-1 is not prime. Res64: E070829092E6D9CD Time : 0.0 sec. user=mdettweiler [2016-02-01 22:58:53] 625*2^1421173-1 is not prime. Res64: 01AC080296BF872F Time : 0.0 sec. user=mdettweiler [2016-02-01 22:58:53] 687*2^1421173-1 is not prime. Res64: 3C57AE3FBFC62E93 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:04:24] 721*2^1421173-1 is not prime. Res64: 837A44E637B5EE14 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:04:25] 775*2^1421173-1 is not prime. Res64: 0CBFBFBE9D675A15 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:05:05] 819*2^1421173-1 is not prime. Res64: FFB2258256A7F8F2 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:05:07] 945*2^1421173-1 is not prime. Res64: F6B3DE16A98CA904 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:13:02] 671*2^1421174-1 is not prime. Res64: 600B73414354DBDD Time : 0.0 sec. user=mdettweiler [2016-02-01 23:13:03] 707*2^1421174-1 is not prime. Res64: CF0BFBB3EFDACC49 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:17:33] 791*2^1421174-1 is not prime. Res64: 445B7EB04573562D Time : 0.0 sec. user=mdettweiler [2016-02-01 23:17:34] 851*2^1421174-1 is not prime. Res64: 68B9971BC0C5CE33 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:23:09] 885*2^1421174-1 is not prime. Res64: 08A785B0295CC774 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:23:10] 935*2^1421174-1 is not prime. Res64: B84D27EBE741D034 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:23:38] 941*2^1421174-1 is not prime. Res64: 5AFBE70E9B2EAE58 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:23:39] 951*2^1421174-1 is not prime. Res64: 38E5164B89E9E519 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:31:28] 613*2^1421175-1 is not prime. Res64: 0B42363575EE3E07 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:31:28] 669*2^1421175-1 is not prime. Res64: 18FCEB122FB990B1 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:36:18] 693*2^1421175-1 is not prime. Res64: F45BFD7C1CFAEB72 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:36:19] 741*2^1421175-1 is not prime. Res64: 20200BB6D0A9EBAB Time : 0.0 sec. user=mdettweiler [2016-02-01 23:41:47] 861*2^1421175-1 is not prime. Res64: CE8895A25E322F26 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:41:47] 873*2^1421175-1 is not prime. Res64: 2DC973CA3ACAD20C Time : 0.0 sec. user=mdettweiler [2016-02-01 23:42:03] 891*2^1421175-1 is not prime. Res64: 5C198E8D5822D2C4 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:42:04] 695*2^1421176-1 is not prime. Res64: 545168AC136D9335 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:49:40] 773*2^1421176-1 is not prime. Res64: 45A8987D5856ABD3 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:49:41] 779*2^1421176-1 is not prime. Res64: 5DB6FEFAA73F4410 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:55:10] 927*2^1421176-1 is not prime. Res64: C20CB0415260ECA4 Time : 0.0 sec. user=mdettweiler [2016-02-01 23:55:10] 939*2^1421176-1 is not prime. Res64: A4001C0B27DC599B Time : 0.0 sec. user=mdettweiler [2016-02-02 00:00:31] 957*2^1421176-1 is not prime. Res64: DAB53E670FDD219C Time : 0.0 sec. user=mdettweiler [2016-02-02 00:00:31] 711*2^1421177-1 is not prime. Res64: 9DEEC2AA5640EFC0 Time : 0.0 sec. user=mdettweiler [2016-02-02 00:00:32] 735*2^1421177-1 is not prime. Res64: C86CBAF7C9C8DF1A Time : 0.0 sec. user=mdettweiler [2016-02-02 00:00:33] 605*2^1421178-1 is not prime. Res64: 1471B321F434E3DE Time : 0.0 sec.