user=mdettweiler [2016-01-15 00:11:45] 711*2^1419345-1 is not prime. Res64: 54B9B590E3C7717D Time : 0.0 sec. user=mdettweiler [2016-01-15 00:11:45] 717*2^1419345-1 is not prime. Res64: C9812BF71F640FDC Time : 0.0 sec. user=mdettweiler [2016-01-15 00:17:03] 885*2^1419345-1 is not prime. Res64: 7A5DB814017CB6BE Time : 0.0 sec. user=mdettweiler [2016-01-15 00:17:03] 895*2^1419345-1 is not prime. Res64: 7271D6D27486F0E1 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:18:57] 975*2^1419345-1 is not prime. Res64: 2C33A8F010CAB8FE Time : 0.0 sec. user=mdettweiler [2016-01-15 00:18:57] 633*2^1419346-1 is not prime. Res64: 1189BA410C7BF409 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:19:21] 677*2^1419346-1 is not prime. Res64: E95F7A9EB774AA53 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:19:22] 695*2^1419346-1 is not prime. Res64: 6F111FAB34B9D339 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:30:25] 971*2^1419346-1 is not prime. Res64: AF852442A281D160 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:30:25] 813*2^1419347-1 is not prime. Res64: E81D58FDA2216607 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:35:29] 885*2^1419347-1 is not prime. Res64: 9544E71607322AA8 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:35:29] 981*2^1419347-1 is not prime. Res64: 4714E16A0EB5BDF2 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:37:15] 663*2^1419348-1 is not prime. Res64: 5EC249B73044619D Time : 0.0 sec. user=mdettweiler [2016-01-15 00:37:16] 705*2^1419348-1 is not prime. Res64: F4CB4A5C4C8BB6CF Time : 0.0 sec. user=mdettweiler [2016-01-15 00:38:07] 795*2^1419348-1 is not prime. Res64: 7C775B48EE551F0D Time : 0.0 sec. user=mdettweiler [2016-01-15 00:38:08] 837*2^1419348-1 is not prime. Res64: 046B18BD9F35D8CF Time : 0.0 sec. user=mdettweiler [2016-01-15 00:49:07] 839*2^1419348-1 is not prime. Res64: 3E3C8446A78FF1E6 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:49:07] 945*2^1419348-1 is not prime. Res64: F0768E31D4F9528A Time : 0.0 sec. user=mdettweiler [2016-01-15 00:53:58] 609*2^1419349-1 is not prime. Res64: 194B1D1A435770CE Time : 0.0 sec. user=mdettweiler [2016-01-15 00:53:58] 619*2^1419349-1 is not prime. Res64: 1E1BED99DC53D700 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:55:30] 625*2^1419349-1 is not prime. Res64: 728E792FE2B980BC Time : 0.0 sec. user=mdettweiler [2016-01-15 00:55:31] 729*2^1419349-1 is not prime. Res64: F4F942AA4C9AED70 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:56:59] 741*2^1419349-1 is not prime. Res64: ADC36D4B76DE5AA7 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:56:59] 751*2^1419349-1 is not prime. Res64: 57DAA9CF1B5E33C4 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:07:39] 789*2^1419349-1 is not prime. Res64: B75025690F09D484 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:07:39] 831*2^1419349-1 is not prime. Res64: 95C8367EFDD93E28 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:12:23] 877*2^1419349-1 is not prime. Res64: 79FB5D9246EC3F8A Time : 0.0 sec. user=mdettweiler [2016-01-15 01:12:24] 743*2^1419350-1 is not prime. Res64: 842B6D89D101ACB7 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:13:50] 953*2^1419350-1 is not prime. Res64: D91E1AAE01846089 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:13:50] 619*2^1419351-1 is not prime. Res64: DB5FB597072772C8 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:15:29] 783*2^1419351-1 is not prime. Res64: 17917A032DA9F278 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:15:30] 865*2^1419351-1 is not prime. Res64: F26331D4441C3E14 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:26:16] 873*2^1419351-1 is not prime. Res64: 9344D1C44144474C Time : 0.0 sec. user=mdettweiler [2016-01-15 01:26:18] 885*2^1419351-1 is not prime. Res64: EB22C34F0CE77CF0 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:30:45] 921*2^1419351-1 is not prime. Res64: CC38B6ED311CBFCC Time : 0.0 sec. user=mdettweiler [2016-01-15 01:30:46] 605*2^1419352-1 is not prime. Res64: 20CA813FE50CD08D Time : 0.0 sec. user=mdettweiler [2016-01-15 01:32:03] 609*2^1419352-1 is not prime. Res64: 29FA773E61C36669 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:32:03] 617*2^1419352-1 is not prime. Res64: 3BA58EE441972057 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:34:00] 695*2^1419352-1 is not prime. Res64: A61EF94DD2D0358D Time : 0.0 sec. user=mdettweiler [2016-01-15 01:34:00] 717*2^1419352-1 is not prime. Res64: 060D868982B0D71A Time : 0.0 sec. user=mdettweiler [2016-01-15 01:44:48] 719*2^1419352-1 is not prime. Res64: BB29F949F4D19EAB Time : 0.0 sec. user=mdettweiler [2016-01-15 01:44:48] 797*2^1419352-1 is not prime. Res64: FCD0648EDF95C02A Time : 0.0 sec. user=mdettweiler [2016-01-15 01:49:17] 873*2^1419352-1 is not prime. Res64: F7425498C2671B21 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:49:17] 899*2^1419352-1 is not prime. Res64: BA633B48785ACB2F Time : 0.0 sec. user=mdettweiler [2016-01-15 01:50:09] 917*2^1419352-1 is not prime. Res64: AEC208C47B256099 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:50:10] 939*2^1419352-1 is not prime. Res64: 15CDEF482E01E6D6 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:52:32] 615*2^1419353-1 is not prime. Res64: 85BC2936F372F597 Time : 0.0 sec. user=mdettweiler [2016-01-15 01:52:32] 649*2^1419353-1 is not prime. Res64: 503DBCB0D98B9DF0 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:03:33] 759*2^1419353-1 is not prime. Res64: 11973ABBE0E77B8E Time : 0.0 sec. user=mdettweiler [2016-01-15 02:03:34] 897*2^1419353-1 is not prime. Res64: 534C12C06ED31111 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:07:45] 981*2^1419353-1 is not prime. Res64: 44A23CA839FF6949 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:07:47] 681*2^1419354-1 is not prime. Res64: 20E9892231C42605 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:08:27] 717*2^1419354-1 is not prime. Res64: 1ED022551B2703B1 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:08:28] 791*2^1419354-1 is not prime. Res64: C29240EB37A6C891 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:11:20] 803*2^1419354-1 is not prime. Res64: 0B83B4A6E898CFEE Time : 0.0 sec. user=mdettweiler [2016-01-15 02:11:21] 685*2^1419355-1 is not prime. Res64: CA7F45569E8D645A Time : 0.0 sec. user=mdettweiler [2016-01-15 02:22:22] 909*2^1419355-1 is not prime. Res64: 89682692338D0296 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:22:22] 633*2^1419356-1 is not prime. Res64: EFCC06988DACD1C5 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:26:33] 789*2^1419356-1 is not prime. Res64: A4259CECF8A79FE3 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:26:34] 923*2^1419356-1 is not prime. Res64: B14C1039DEA478B4 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:26:43] 999*2^1419356-1 is not prime. Res64: 0616C62DFBF33754 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:26:44] 741*2^1419357-1 is not prime. Res64: 219C9D00E2DB8C09 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:30:05] 805*2^1419357-1 is not prime. Res64: B206B2D9C0B086FA Time : 0.0 sec. user=mdettweiler [2016-01-15 02:30:09] 945*2^1419357-1 is not prime. Res64: 0CFF7055BD6E2223 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:41:06] 991*2^1419357-1 is not prime. Res64: 857F4B8F0A55281D Time : 0.0 sec. user=mdettweiler [2016-01-15 02:41:08] 621*2^1419358-1 is not prime. Res64: 54062EF61B42E99C Time : 0.0 sec. user=mdettweiler [2016-01-15 02:44:55] 723*2^1419358-1 is not prime. Res64: DD3E096406C45C08 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:44:56] 737*2^1419358-1 is not prime. Res64: 0B5E27A0153FC815 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:45:04] 971*2^1419358-1 is not prime. Res64: C6F1B888430D6D3F Time : 0.0 sec. user=mdettweiler [2016-01-15 02:45:05] 669*2^1419359-1 is not prime. Res64: BD4F4AFF424A452D Time : 0.0 sec. user=mdettweiler [2016-01-15 02:49:16] 703*2^1419359-1 is not prime. Res64: 91B5CB2A27CCD53E Time : 0.0 sec. user=mdettweiler [2016-01-15 02:49:17] 711*2^1419359-1 is not prime. Res64: 4FAC927FA6C214CE Time : 0.0 sec. user=mdettweiler [2016-01-15 02:59:48] 759*2^1419359-1 is not prime. Res64: EA0D4FE79312ABB2 Time : 0.0 sec. user=mdettweiler [2016-01-15 02:59:49] 841*2^1419359-1 is not prime. Res64: ED32B3A8671A75FD Time : 0.0 sec. user=mdettweiler [2016-01-15 03:03:22] 993*2^1419359-1 is not prime. Res64: 7C0743ECEAA2E904 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:03:24] 609*2^1419360-1 is not prime. Res64: E5E82338726905E7 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:03:27] 909*2^1419359-1 is not prime. Res64: 6A20FFE008F0AB71 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:03:28] 943*2^1419359-1 is not prime. Res64: 50A3317981900148 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:08:13] 627*2^1419360-1 is not prime. Res64: 67B9487D687535E6 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:08:15] 689*2^1419360-1 is not prime. Res64: B6BF545772063152 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:18:14] 693*2^1419360-1 is not prime. Res64: A607940FC1B8B37D Time : 0.0 sec. user=mdettweiler [2016-01-15 03:18:15] 753*2^1419360-1 is not prime. Res64: 8E2CE93BA5DE5830 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:21:43] 759*2^1419360-1 is not prime. Res64: EAA7A0585300B9D0 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:21:45] 795*2^1419360-1 is not prime. Res64: E01457441604F80C Time : 0.0 sec. user=mdettweiler [2016-01-15 03:21:47] 819*2^1419360-1 is not prime. Res64: CE15FB75AD178E78 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:21:48] 839*2^1419360-1 is not prime. Res64: 442D45BB1D115070 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:26:48] 899*2^1419360-1 is not prime. Res64: FFA9B73D698BAC6C Time : 0.0 sec. user=mdettweiler [2016-01-15 03:26:50] 615*2^1419361-1 is not prime. Res64: 6FE3E1FF6CAAF5E2 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:36:40] 715*2^1419361-1 is not prime. Res64: E4D688346B7CDC05 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:36:42] 741*2^1419361-1 is not prime. Res64: 831B01A09D48AD66 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:40:00] 635*2^1419362-1 is not prime. Res64: 3FBB871597A6BC55 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:40:03] 705*2^1419362-1 is not prime. Res64: B087479A9D9893ED Time : 0.0 sec. user=mdettweiler [2016-01-15 03:40:10] 909*2^1419361-1 is not prime. Res64: B0186F5C8FB28CC1 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:40:21] 931*2^1419361-1 is not prime. Res64: ECEE56B7A039CA13 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:45:29] 711*2^1419362-1 is not prime. Res64: 9BF20015960929E8 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:45:36] 771*2^1419362-1 is not prime. Res64: B8E994C16D656504 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:55:23] 825*2^1419362-1 is not prime. Res64: FA4D0DB3692D3BCA Time : 0.0 sec. user=mdettweiler [2016-01-15 03:55:25] 893*2^1419362-1 is not prime. Res64: 59ACAED07D127D63 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:58:34] 735*2^1419363-1 is not prime. Res64: 3AE6AD83E0557688 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:58:35] 823*2^1419363-1 is not prime. Res64: 5A56EAE2916CB02D Time : 0.0 sec. user=mdettweiler [2016-01-15 03:58:38] 639*2^1419363-1 is not prime. Res64: 78F7651060F63977 Time : 0.0 sec. user=mdettweiler [2016-01-15 03:58:39] 703*2^1419363-1 is not prime. Res64: FA1E0AFF32353CBF Time : 0.0 sec. user=mdettweiler [2016-01-15 04:04:34] 871*2^1419363-1 is not prime. Res64: 2BB9A59284DF1C03 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:04:36] 623*2^1419364-1 is not prime. Res64: 09ED03F7B3B50502 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:14:09] 803*2^1419364-1 is not prime. Res64: 69066B8CF2248DD4 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:14:11] 825*2^1419364-1 is not prime. Res64: AF7D3715D38A9272 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:16:46] 857*2^1419364-1 is not prime. Res64: 30C738942B77BAED Time : 0.0 sec. user=mdettweiler [2016-01-15 04:16:48] 915*2^1419364-1 is not prime. Res64: C4CEB8D50D32F2E1 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:16:52] 697*2^1419365-1 is not prime. Res64: CDD6300033BD50A4 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:16:54] 775*2^1419365-1 is not prime. Res64: 9921902BE8760304 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:23:16] 951*2^1419365-1 is not prime. Res64: 259CAA81B1C21BC0 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:23:17] 981*2^1419365-1 is not prime. Res64: 1E84E07BDF53A0B7 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:32:42] 987*2^1419365-1 is not prime. Res64: AA37DE2F1A9CC5EE Time : 0.0 sec. user=mdettweiler [2016-01-15 04:32:43] 761*2^1419366-1 is not prime. Res64: 7480484A388F430F Time : 0.0 sec. user=mdettweiler [2016-01-15 04:35:02] 975*2^1419366-1 is not prime. Res64: 6B2F3B3E1C0760CC Time : 0.0 sec. user=mdettweiler [2016-01-15 04:35:02] 765*2^1419366-1 is not prime. Res64: 54DC4DF02996F2EC Time : 0.0 sec. user=mdettweiler [2016-01-15 04:35:03] 1001*2^1419366-1 is not prime. Res64: 018200EEBC93E3E3 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:35:03] 833*2^1419366-1 is not prime. Res64: 58714FAFA35035F9 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:42:01] 645*2^1419367-1 is not prime. Res64: 541E2654D1F44064 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:42:02] 651*2^1419367-1 is not prime. Res64: 533C480971FCC83E Time : 0.0 sec. user=mdettweiler [2016-01-15 04:51:31] 673*2^1419367-1 is not prime. Res64: D166EA180D6B3E5C Time : 0.0 sec. user=mdettweiler [2016-01-15 04:51:32] 763*2^1419367-1 is not prime. Res64: C60389D9B93BFEBF Time : 0.0 sec. user=mdettweiler [2016-01-15 04:53:54] 629*2^1419368-1 is not prime. Res64: 22843D4AC9F305BD Time : 0.0 sec. user=mdettweiler [2016-01-15 04:53:55] 699*2^1419368-1 is not prime. Res64: E0BFF69B36A462CE Time : 0.0 sec. user=mdettweiler [2016-01-15 04:53:57] 993*2^1419367-1 is not prime. Res64: A3D5E5338EE354C9 Time : 0.0 sec. user=mdettweiler [2016-01-15 04:53:58] 603*2^1419368-1 is not prime. Res64: F68B2CF8B428EBDA Time : 0.0 sec. user=mdettweiler [2016-01-15 05:01:37] 725*2^1419368-1 is not prime. Res64: 13843C537C8468AB Time : 0.0 sec. user=mdettweiler [2016-01-15 05:01:38] 789*2^1419368-1 is not prime. Res64: 23AB95DBACCD8967 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:10:50] 845*2^1419368-1 is not prime. Res64: B40E7D80916C8474 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:10:51] 855*2^1419368-1 is not prime. Res64: 98819DEDA216643A Time : 0.0 sec. user=mdettweiler [2016-01-15 05:12:21] 657*2^1419369-1 is not prime. Res64: 6850B918301B7AF3 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:12:22] 747*2^1419369-1 is not prime. Res64: 1ED5E7C6C78B815F Time : 0.0 sec. user=mdettweiler [2016-01-15 05:12:33] 829*2^1419369-1 is not prime. Res64: CDFAF76804F44D1A Time : 0.0 sec. user=mdettweiler [2016-01-15 05:12:34] 909*2^1419369-1 is not prime. Res64: 7262B7ED6BED316C Time : 0.0 sec. user=mdettweiler [2016-01-15 05:20:20] 921*2^1419369-1 is not prime. Res64: 4648BC4F78AF6E8E Time : 0.0 sec. user=mdettweiler [2016-01-15 05:20:21] 605*2^1419370-1 is not prime. Res64: 988F8943A5504E00 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:29:25] 653*2^1419370-1 is not prime. Res64: 6E5449A160768BDF Time : 0.0 sec. user=mdettweiler [2016-01-15 05:29:26] 671*2^1419370-1 is not prime. Res64: D695ACBF38FB2298 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:30:46] 723*2^1419370-1 is not prime. Res64: DFBB081896144B9D Time : 0.0 sec. user=mdettweiler [2016-01-15 05:30:47] 743*2^1419370-1 is not prime. Res64: 7B04611A832C73AC Time : 0.0 sec. user=mdettweiler [2016-01-15 05:31:03] 885*2^1419370-1 is not prime. Res64: 2185EE47E0BBEA05 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:31:04] 933*2^1419370-1 is not prime. Res64: 5871B5B76698BF02 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:39:05] 619*2^1419371-1 is not prime. Res64: B448A153D58EF1F4 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:39:06] 645*2^1419371-1 is not prime. Res64: 898E9BB3ED7F64BE Time : 0.0 sec. user=mdettweiler [2016-01-15 05:47:59] 651*2^1419371-1 is not prime. Res64: 83084A8DE6AC8C50 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:48:00] 735*2^1419371-1 is not prime. Res64: 9D657DE4C18E08A5 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:48:58] 741*2^1419371-1 is not prime. Res64: 121BC667A5B06B04 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:48:59] 885*2^1419371-1 is not prime. Res64: 921FE7B0E024958D Time : 0.0 sec. user=mdettweiler [2016-01-15 05:49:22] 901*2^1419371-1 is not prime. Res64: 44DA93688B221CDC Time : 0.0 sec. user=mdettweiler [2016-01-15 05:49:24] 913*2^1419371-1 is not prime. Res64: 34893DA2ABBDAAC1 Time : 0.0 sec. user=mdettweiler [2016-01-15 05:57:34] 623*2^1419372-1 is not prime. Res64: 1FE17073B21E7E4D Time : 0.0 sec. user=mdettweiler [2016-01-15 05:57:35] 675*2^1419372-1 is not prime. Res64: E74AA98142D92651 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:06:30] 689*2^1419372-1 is not prime. Res64: 02BD19F035909B22 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:06:31] 765*2^1419372-1 is not prime. Res64: 847D9D2D2BA29A0D Time : 0.0 sec. user=mdettweiler [2016-01-15 06:07:06] 803*2^1419372-1 is not prime. Res64: F4475345BC4D40C7 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:07:07] 867*2^1419372-1 is not prime. Res64: AFC1CA34E858F726 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:07:42] 957*2^1419372-1 is not prime. Res64: 76914A5EFC043212 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:07:44] 965*2^1419372-1 is not prime. Res64: E2EEB7D3CE685F83 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:16:07] 745*2^1419373-1 is not prime. Res64: FE91AD8876150CFE Time : 0.0 sec. user=mdettweiler [2016-01-15 06:16:10] 951*2^1419373-1 is not prime. Res64: C65A4597A4851055 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:25:04] 683*2^1419374-1 is not prime. Res64: 1C53410ACFB2EE39 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:25:05] 693*2^1419374-1 is not prime. Res64: 0CE6F7F1B7BEE930 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:25:06] 797*2^1419374-1 is not prime. Res64: 603A2395383C3A9E Time : 0.0 sec. user=mdettweiler [2016-01-15 06:25:06] 813*2^1419374-1 is not prime. Res64: 2E4B7EB55834F7E8 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:26:02] 825*2^1419374-1 is not prime. Res64: 3E6A486837EB8B7D Time : 0.0 sec. user=mdettweiler [2016-01-15 06:26:03] 873*2^1419374-1 is not prime. Res64: EF27EE4ABABF4279 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:35:07] 885*2^1419374-1 is not prime. Res64: 2198C0AE3A4F7FF0 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:35:07] 887*2^1419374-1 is not prime. Res64: 1E177B4866B44348 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:43:15] 981*2^1419374-1 is not prime. Res64: 0B19FFF110FF9A9C Time : 0.0 sec. user=mdettweiler [2016-01-15 06:43:16] 741*2^1419375-1 is not prime. Res64: CE5C1EC404BF2D76 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:43:38] 941*2^1419374-1 is not prime. Res64: 4DDD7E6FA0B62BEB Time : 0.0 sec. user=mdettweiler [2016-01-15 06:43:39] 945*2^1419374-1 is not prime. Res64: EE14EBDCE6D977C1 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:44:27] 751*2^1419375-1 is not prime. Res64: A819192AA002FC2D Time : 0.0 sec. user=mdettweiler [2016-01-15 06:44:28] 775*2^1419375-1 is not prime. Res64: 64FD0E9FE7DFD61F Time : 0.0 sec. user=mdettweiler [2016-01-15 06:53:43] 871*2^1419375-1 is not prime. Res64: 22ADCBC00480C277 Time : 0.0 sec. user=mdettweiler [2016-01-15 06:53:44] 885*2^1419375-1 is not prime. Res64: 4567C6418E4373E2 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:01:31] 961*2^1419375-1 is not prime. Res64: 02E3A62912B81231 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:01:32] 623*2^1419376-1 is not prime. Res64: B6D656FA7680118C Time : 0.0 sec. user=mdettweiler [2016-01-15 07:02:25] 723*2^1419376-1 is not prime. Res64: B2E5F2CA5323101E Time : 0.0 sec. user=mdettweiler [2016-01-15 07:02:28] 849*2^1419376-1 is not prime. Res64: E6AF833998B0695D Time : 0.0 sec. user=mdettweiler [2016-01-15 07:02:46] 873*2^1419376-1 is not prime. Res64: 3AA82334DFCEEED1 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:02:47] 887*2^1419376-1 is not prime. Res64: B4E3ED099C7E7139 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:12:31] 927*2^1419376-1 is not prime. Res64: 4E3443163EDC1D66 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:12:33] 939*2^1419376-1 is not prime. Res64: 333AEDE2D1877818 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:20:07] 607*2^1419377-1 is not prime. Res64: 9826F4429BF4528A Time : 0.0 sec. user=mdettweiler [2016-01-15 07:20:08] 805*2^1419377-1 is not prime. Res64: 7BC6E7A0FDDEC167 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:21:19] 847*2^1419377-1 is not prime. Res64: EDBC0F25CFB17835 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:21:22] 949*2^1419377-1 is not prime. Res64: 8FCE7E1F67239784 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:21:24] 985*2^1419377-1 is not prime. Res64: 869BDCDCAAE0E3C1 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:21:25] 663*2^1419378-1 is not prime. Res64: BD57EF4D197CF090 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:31:31] 671*2^1419378-1 is not prime. Res64: B9ACD613693AA56D Time : 0.0 sec. user=mdettweiler [2016-01-15 07:31:32] 681*2^1419378-1 is not prime. Res64: 5FDADDB3C554BA48 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:38:19] 713*2^1419378-1 is not prime. Res64: A6F4ECB75A7C56AF Time : 0.0 sec. user=mdettweiler [2016-01-15 07:38:21] 725*2^1419378-1 is not prime. Res64: B7E914E73913835E Time : 0.0 sec. user=mdettweiler [2016-01-15 07:39:50] 875*2^1419378-1 is not prime. Res64: CBAD152633C2D812 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:39:51] 615*2^1419379-1 is not prime. Res64: 9AD604537A07D18F Time : 0.0 sec. user=mdettweiler [2016-01-15 07:39:57] 737*2^1419378-1 is not prime. Res64: F64EDB86241E7173 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:39:58] 843*2^1419378-1 is not prime. Res64: 851512349D990D6B Time : 0.0 sec. user=mdettweiler [2016-01-15 07:50:11] 679*2^1419379-1 is not prime. Res64: 0F7D8B5568971400 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:50:12] 691*2^1419379-1 is not prime. Res64: 2DD9D37AD3EFC2BD Time : 0.0 sec. user=mdettweiler [2016-01-15 07:56:38] 793*2^1419379-1 is not prime. Res64: F35B0A4F49F488F9 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:56:39] 909*2^1419379-1 is not prime. Res64: 523638FAE58BFF01 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:58:30] 913*2^1419379-1 is not prime. Res64: 25D2AA8D28C5EC30 Time : 0.0 sec. user=mdettweiler [2016-01-15 07:58:30] 875*2^1419380-1 is not prime. Res64: 1871C2701E7AB6BC Time : 0.0 sec. user=mdettweiler [2016-01-15 07:58:31] 979*2^1419379-1 is not prime. Res64: A6A777F85659E24E Time : 0.0 sec. user=mdettweiler [2016-01-15 07:58:31] 885*2^1419380-1 is not prime. Res64: F02A77948EEFE0CA Time : 0.0 sec. user=mdettweiler [2016-01-15 08:08:58] 983*2^1419380-1 is not prime. Res64: 7C7399E190814DED Time : 0.0 sec. user=mdettweiler [2016-01-15 08:09:00] 615*2^1419381-1 is not prime. Res64: 47E5944150DECB94 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:14:50] 669*2^1419381-1 is not prime. Res64: 10ECD8BA0AB19EF8 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:14:51] 685*2^1419381-1 is not prime. Res64: D8960D1C66B6DBED Time : 0.0 sec. user=mdettweiler [2016-01-15 08:16:52] 781*2^1419381-1 is not prime. Res64: D0CD9DDE9CB5A326 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:16:54] 951*2^1419381-1 is not prime. Res64: 326464558E7714F1 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:17:00] 997*2^1419381-1 is not prime. Res64: 5FA233967897286F Time : 0.0 sec. user=mdettweiler [2016-01-15 08:17:01] 651*2^1419382-1 is not prime. Res64: 34EBE3475766B71E Time : 0.0 sec. user=mdettweiler [2016-01-15 08:27:57] 765*2^1419382-1 is not prime. Res64: 77FDF3CE0E65199A Time : 0.0 sec. user=mdettweiler [2016-01-15 08:27:58] 785*2^1419382-1 is not prime. Res64: 77C2CBCDABF3C491 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:33:06] 801*2^1419382-1 is not prime. Res64: BE4759E4A256CC11 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:33:07] 825*2^1419382-1 is not prime. Res64: 0A85BFCD488A5197 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:35:27] 855*2^1419382-1 is not prime. Res64: 53296E0F8474ED68 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:35:28] 945*2^1419382-1 is not prime. Res64: B61FBAB3DD884AA4 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:35:37] 693*2^1419383-1 is not prime. Res64: 6EE0F197682ECFBB Time : 0.0 sec. user=mdettweiler [2016-01-15 08:35:38] 739*2^1419383-1 is not prime. Res64: 6CC5EADCE936A92C Time : 0.0 sec. user=mdettweiler [2016-01-15 08:46:37] 811*2^1419383-1 is not prime. Res64: E06999C1B034AC20 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:46:39] 861*2^1419383-1 is not prime. Res64: 3755B036E3900893 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:51:15] 895*2^1419383-1 is not prime. Res64: 8E195C68CEE4D93F Time : 0.0 sec. user=mdettweiler [2016-01-15 08:51:17] 915*2^1419383-1 is not prime. Res64: 02D0B7B30D950754 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:53:48] 629*2^1419384-1 is not prime. Res64: 0756AB3191B6216E Time : 0.0 sec. user=mdettweiler [2016-01-15 08:53:49] 689*2^1419384-1 is not prime. Res64: 187EC2A3A160E360 Time : 0.0 sec. user=mdettweiler [2016-01-15 08:54:10] 705*2^1419384-1 is not prime. Res64: EBEE75B9B2673ECE Time : 0.0 sec. user=mdettweiler [2016-01-15 08:54:11] 753*2^1419384-1 is not prime. Res64: DF460091741BC582 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:05:20] 809*2^1419384-1 is not prime. Res64: 526541765CB9B93C Time : 0.0 sec. user=mdettweiler [2016-01-15 09:05:22] 815*2^1419384-1 is not prime. Res64: 67B1EB57170F9526 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:09:28] 863*2^1419384-1 is not prime. Res64: 9F38C075CACDB382 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:09:30] 873*2^1419384-1 is not prime. Res64: 8C3CCA71458000CD Time : 0.0 sec. user=mdettweiler [2016-01-15 09:12:07] 909*2^1419384-1 is not prime. Res64: 73AA80F54CD10E11 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:12:08] 601*2^1419385-1 is not prime. Res64: 5DBAD5F59002F598 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:12:45] 609*2^1419385-1 is not prime. Res64: F93517296D2F5A9B Time : 0.0 sec. user=mdettweiler [2016-01-15 09:12:46] 661*2^1419385-1 is not prime. Res64: AE3F85EEC5F84CB9 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:24:02] 675*2^1419385-1 is not prime. Res64: A773C88DB59375B3 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:24:03] 679*2^1419385-1 is not prime. Res64: BC0F771623114C4D Time : 0.0 sec. user=mdettweiler [2016-01-15 09:27:43] 715*2^1419385-1 is not prime. Res64: C0F63A3EA4E4AD44 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:27:44] 729*2^1419385-1 is not prime. Res64: 68E1132C20BB5F68 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:30:22] 771*2^1419385-1 is not prime. Res64: 6554F7892BDCC85F Time : 0.0 sec. user=mdettweiler [2016-01-15 09:30:23] 831*2^1419385-1 is not prime. Res64: BB6D8A6062A07040 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:31:20] 889*2^1419385-1 is not prime. Res64: CE08F89EE638F38A Time : 0.0 sec. user=mdettweiler [2016-01-15 09:31:21] 897*2^1419385-1 is not prime. Res64: 24123134B86BFEA8 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:42:42] 999*2^1419385-1 is not prime. Res64: FC70594F558A45B7 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:42:43] 623*2^1419386-1 is not prime. Res64: BA03EF94C9748FE2 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:45:47] 683*2^1419386-1 is not prime. Res64: F603BBDFF625AC11 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:45:48] 713*2^1419386-1 is not prime. Res64: 3BF412FC9DE532BF Time : 0.0 sec. user=mdettweiler [2016-01-15 09:48:41] 773*2^1419386-1 is not prime. Res64: 86DB15617CCE1DA9 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:48:42] 837*2^1419386-1 is not prime. Res64: FC0A4CEE4F5C7EF0 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:49:57] 851*2^1419386-1 is not prime. Res64: 2E4DF38E4881B319 Time : 0.0 sec. user=mdettweiler [2016-01-15 09:49:58] 923*2^1419386-1 is not prime. Res64: 6A12F6B9EC105BDA Time : 0.0 sec. user=mdettweiler [2016-01-15 10:01:19] 971*2^1419386-1 is not prime. Res64: 04ECB5434711D6D2 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:01:21] 981*2^1419386-1 is not prime. Res64: 20B03550D81BA887 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:04:00] 649*2^1419387-1 is not prime. Res64: BA2DD9CAC228F696 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:04:01] 703*2^1419387-1 is not prime. Res64: A703ED262F51F8B4 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:06:58] 705*2^1419387-1 is not prime. Res64: B2020B7CA9473A40 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:07:01] 895*2^1419387-1 is not prime. Res64: E47E115761A6C798 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:08:32] 975*2^1419387-1 is not prime. Res64: D97B55C33237E974 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:08:33] 665*2^1419388-1 is not prime. Res64: 691687E40EA2DE3E Time : 0.0 sec. user=mdettweiler [2016-01-15 10:20:06] 743*2^1419388-1 is not prime. Res64: 98FDA0797B4770C5 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:20:06] 777*2^1419388-1 is not prime. Res64: 2C950B90E6308EE7 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:22:10] 839*2^1419388-1 is not prime. Res64: 11D65547A8EB6C46 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:22:10] 869*2^1419388-1 is not prime. Res64: 5BD83086B61A4C98 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:25:45] 929*2^1419388-1 is not prime. Res64: 899EA1BDCB5FF749 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:25:46] 933*2^1419388-1 is not prime. Res64: A67E254F57303ED3 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:27:01] 615*2^1419389-1 is not prime. Res64: 47640E1840A6DA64 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:27:01] 679*2^1419389-1 is not prime. Res64: A518A92B4B8662E7 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:38:41] 685*2^1419389-1 is not prime. Res64: B9B75E90626FCB0B Time : 0.0 sec. user=mdettweiler [2016-01-15 10:38:41] 699*2^1419389-1 is not prime. Res64: A5E833EEBD09F5B3 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:40:18] 825*2^1419389-1 is not prime. Res64: 13070208D506343D Time : 0.0 sec. user=mdettweiler [2016-01-15 10:40:18] 829*2^1419389-1 is not prime. Res64: A19EE60CC5B9C86F Time : 0.0 sec. user=mdettweiler [2016-01-15 10:44:09] 641*2^1419390-1 is not prime. Res64: 525EF8D317DB5DE3 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:44:09] 707*2^1419390-1 is not prime. Res64: 888A6419FB1CEF3E Time : 0.0 sec. user=mdettweiler [2016-01-15 10:45:29] 713*2^1419390-1 is not prime. Res64: 03820C0011A4F1CE Time : 0.0 sec. user=mdettweiler [2016-01-15 10:45:29] 725*2^1419390-1 is not prime. Res64: 29048C33752699F0 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:57:22] 797*2^1419390-1 is not prime. Res64: 8CB3B50A19B298AC Time : 0.0 sec. user=mdettweiler [2016-01-15 10:57:22] 963*2^1419390-1 is not prime. Res64: DDBADA94F277395E Time : 0.0 sec. user=mdettweiler [2016-01-15 10:58:20] 965*2^1419390-1 is not prime. Res64: B18BE6AA9238BC76 Time : 0.0 sec. user=mdettweiler [2016-01-15 10:58:21] 971*2^1419390-1 is not prime. Res64: 84F2AD9E47D42AA6 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:02:26] 705*2^1419391-1 is not prime. Res64: 6872AD6F9EA1473C Time : 0.0 sec. user=mdettweiler [2016-01-15 11:02:27] 723*2^1419391-1 is not prime. Res64: 32AEDBACF248C80A Time : 0.0 sec. user=mdettweiler [2016-01-15 11:04:05] 759*2^1419391-1 is not prime. Res64: AD439BB14AB44021 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:04:07] 819*2^1419391-1 is not prime. Res64: 33F1066F8C3189DD Time : 0.0 sec. user=mdettweiler [2016-01-15 11:16:05] 861*2^1419391-1 is not prime. Res64: 44F9790D715D691A Time : 0.0 sec. user=mdettweiler [2016-01-15 11:16:05] 895*2^1419391-1 is not prime. Res64: 7728B327391F625F Time : 0.0 sec. user=mdettweiler [2016-01-15 11:16:21] 973*2^1419391-1 is not prime. Res64: 5000D447BCFC0ED0 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:16:21] 993*2^1419391-1 is not prime. Res64: 14298DCFD986A1AB Time : 0.0 sec. user=mdettweiler [2016-01-15 11:20:40] 615*2^1419392-1 is not prime. Res64: 99CC84941AB11EA5 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:20:40] 623*2^1419392-1 is not prime. Res64: F9BF76D1685A8115 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:22:38] 735*2^1419392-1 is not prime. Res64: 4DF56EB710A779E8 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:22:39] 825*2^1419392-1 is not prime. Res64: 284FF5F088A48081 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:34:20] 735*2^1419393-1 is not prime. Res64: 6CC61B397957D638 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:34:20] 811*2^1419393-1 is not prime. Res64: BFFFDFD2E7D8E437 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:34:26] 855*2^1419392-1 is not prime. Res64: 00646D804D1A31B0 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:34:27] 875*2^1419392-1 is not prime. Res64: 232FD3F3E4553A82 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:38:47] 889*2^1419393-1 is not prime. Res64: B1831CE40396186C Time : 0.0 sec. user=mdettweiler [2016-01-15 11:38:48] 901*2^1419393-1 is not prime. Res64: 852F4FE60549D55A Time : 0.0 sec. user=mdettweiler [2016-01-15 11:41:04] 611*2^1419394-1 is not prime. Res64: D362235812E6F0C7 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:41:04] 635*2^1419394-1 is not prime. Res64: 29FBCA0DD3D3F4CA Time : 0.0 sec. user=mdettweiler [2016-01-15 11:52:22] 657*2^1419394-1 is not prime. Res64: A55868AB725A83BA Time : 0.0 sec. user=mdettweiler [2016-01-15 11:52:23] 701*2^1419394-1 is not prime. Res64: B3AE201DABF52570 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:53:07] 803*2^1419394-1 is not prime. Res64: 5992621D06487FD2 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:53:07] 987*2^1419394-1 is not prime. Res64: 0EF287428AEFF3B6 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:57:07] 609*2^1419395-1 is not prime. Res64: 0E6EAE08884D8204 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:57:07] 675*2^1419395-1 is not prime. Res64: 74D88929F178742F Time : 0.0 sec. user=mdettweiler [2016-01-15 11:59:32] 733*2^1419395-1 is not prime. Res64: A53C470ECDD1B403 Time : 0.0 sec. user=mdettweiler [2016-01-15 11:59:33] 771*2^1419395-1 is not prime. Res64: 53138384E1EAC96A Time : 0.0 sec. user=mdettweiler [2016-01-15 12:10:32] 913*2^1419395-1 is not prime. Res64: 427FAFCCCC11C40D Time : 0.0 sec. user=mdettweiler [2016-01-15 12:10:33] 707*2^1419396-1 is not prime. Res64: 4F21C290C08F90C6 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:11:39] 735*2^1419396-1 is not prime. Res64: 575887E843FBD863 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:11:40] 759*2^1419396-1 is not prime. Res64: EF0FD572E4C49B55 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:15:16] 825*2^1419396-1 is not prime. Res64: 5A7DF7E8D9049521 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:15:17] 843*2^1419396-1 is not prime. Res64: D2F2D9FC64E1D410 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:18:02] 927*2^1419396-1 is not prime. Res64: B21949C464D066CD Time : 0.0 sec. user=mdettweiler [2016-01-15 12:18:02] 649*2^1419397-1 is not prime. Res64: C1B1F81AF605557A Time : 0.0 sec. user=mdettweiler [2016-01-15 12:28:46] 717*2^1419397-1 is not prime. Res64: 5AA6A81C1479ED92 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:28:47] 801*2^1419397-1 is not prime. Res64: CC768C0F92C29DE6 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:30:11] 829*2^1419397-1 is not prime. Res64: BF33E8F894FCC14E Time : 0.0 sec. user=mdettweiler [2016-01-15 12:30:12] 753*2^1419398-1 is not prime. Res64: 536DB4D6DF2FAA91 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:33:34] 797*2^1419398-1 is not prime. Res64: 920000A76C6FCF2E Time : 0.0 sec. user=mdettweiler [2016-01-15 12:33:34] 887*2^1419398-1 is not prime. Res64: 680420D3671E798F Time : 0.0 sec. user=mdettweiler [2016-01-15 12:36:45] 921*2^1419398-1 is not prime. Res64: C50A2E2484E0DF90 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:36:45] 923*2^1419398-1 is not prime. Res64: 5342F0F6A8CCC4EB Time : 0.0 sec. user=mdettweiler [2016-01-15 12:47:28] 1001*2^1419398-1 is not prime. Res64: 8735D7AE9CED546C Time : 0.0 sec. user=mdettweiler [2016-01-15 12:47:28] 625*2^1419399-1 is not prime. Res64: 7F469BC52FA7C1D3 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:49:38] 705*2^1419399-1 is not prime. Res64: 81128A46E9237AEF Time : 0.0 sec. user=mdettweiler [2016-01-15 12:49:38] 745*2^1419399-1 is not prime. Res64: 89A8FDC661E4E787 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:52:32] 825*2^1419399-1 is not prime. Res64: 15DF98FBD6D14B2D Time : 0.0 sec. user=mdettweiler [2016-01-15 12:52:32] 829*2^1419399-1 is not prime. Res64: DBDEC1A3A2237C57 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:55:59] 865*2^1419399-1 is not prime. Res64: C79F5DBBDB12D244 Time : 0.0 sec. user=mdettweiler [2016-01-15 12:55:59] 985*2^1419399-1 is not prime. Res64: 33B731E02F691A55 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:06:00] 999*2^1419399-1 is not prime. Res64: AA376D73DA88E342 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:06:03] 645*2^1419400-1 is not prime. Res64: 28B826E92D129C7A Time : 0.0 sec. user=mdettweiler [2016-01-15 13:08:50] 765*2^1419400-1 is not prime. Res64: E3A88F4741488A75 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:08:51] 777*2^1419400-1 is not prime. Res64: B1358DCDC5440A6E Time : 0.0 sec. user=mdettweiler [2016-01-15 13:11:31] 785*2^1419400-1 is not prime. Res64: 061BB65D537A809B Time : 0.0 sec. user=mdettweiler [2016-01-15 13:11:32] 843*2^1419400-1 is not prime. Res64: 69134BDB934C0CE3 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:15:21] 899*2^1419400-1 is not prime. Res64: 040D7F51300D23AD Time : 0.0 sec. user=mdettweiler [2016-01-15 13:15:21] 957*2^1419400-1 is not prime. Res64: 293F617D0AF42B34 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:24:53] 607*2^1419401-1 is not prime. Res64: CDED311F028732E6 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:24:54] 819*2^1419401-1 is not prime. Res64: CCDADBF80E63D4F4 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:28:00] 955*2^1419401-1 is not prime. Res64: E707B3FE1CA46AE6 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:28:00] 627*2^1419402-1 is not prime. Res64: 11673EEEDC464E46 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:30:16] 635*2^1419402-1 is not prime. Res64: 36DEAADD854C90A0 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:30:16] 665*2^1419402-1 is not prime. Res64: 897B932FC1A62F40 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:34:16] 887*2^1419402-1 is not prime. Res64: C35BA6B8CDCD830D Time : 0.0 sec. user=mdettweiler [2016-01-15 13:34:16] 891*2^1419402-1 is not prime. Res64: 6BF736CF85A519DC Time : 0.0 sec. user=mdettweiler [2016-01-15 13:43:23] 963*2^1419402-1 is not prime. Res64: B7625FCA32967280 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:43:23] 619*2^1419403-1 is not prime. Res64: 98F53E5F06F4184C Time : 0.0 sec. user=mdettweiler [2016-01-15 13:46:56] 693*2^1419403-1 is not prime. Res64: 2B4D8374CDEEBB28 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:46:57] 699*2^1419403-1 is not prime. Res64: 71419E907972560B Time : 0.0 sec. user=mdettweiler [2016-01-15 13:48:50] 855*2^1419403-1 is not prime. Res64: 7EF5BA91EB2F2FBA Time : 0.0 sec. user=mdettweiler [2016-01-15 13:48:51] 663*2^1419404-1 is not prime. Res64: 9FF27084928C36E3 Time : 0.0 sec. user=mdettweiler [2016-01-15 13:53:04] 753*2^1419404-1 is not prime. Res64: E47B912A13BF465B Time : 0.0 sec. user=mdettweiler [2016-01-15 13:53:04] 759*2^1419404-1 is not prime. Res64: 8FDD18105F0768FC Time : 0.0 sec. user=mdettweiler [2016-01-15 14:02:25] 803*2^1419404-1 is not prime. Res64: E9561F5844A3CE9D Time : 0.0 sec. user=mdettweiler [2016-01-15 14:02:29] 869*2^1419404-1 is not prime. Res64: B22742B27525C330 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:06:44] 893*2^1419404-1 is not prime. Res64: 032827A6E379119E Time : 0.0 sec. user=mdettweiler [2016-01-15 14:06:45] 969*2^1419404-1 is not prime. Res64: 9926F89793B90271 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:08:35] 983*2^1419404-1 is not prime. Res64: F49A1714846E8C15 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:08:37] 607*2^1419405-1 is not prime. Res64: 19C21601D59966E8 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:13:14] 657*2^1419405-1 is not prime. Res64: 8B8E10976D8FA8EE Time : 0.0 sec. user=mdettweiler [2016-01-15 14:13:15] 781*2^1419405-1 is not prime. Res64: 736C211ABA509199 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:21:42] 795*2^1419405-1 is not prime. Res64: B3D5A0ECFB438BE4 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:21:43] 867*2^1419405-1 is not prime. Res64: 2A3F0AA6A6D339B0 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:26:07] 921*2^1419405-1 is not prime. Res64: FCA762162AEE50A6 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:26:07] 997*2^1419405-1 is not prime. Res64: 1ABC6AF00B4EDEDD Time : 0.0 sec. user=mdettweiler [2016-01-15 14:27:48] 611*2^1419406-1 is not prime. Res64: 547D2A519B0B5A10 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:27:48] 653*2^1419406-1 is not prime. Res64: D0D9D9B05B11D5F8 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:32:29] 705*2^1419406-1 is not prime. Res64: 93EFDFD014009E9B Time : 0.0 sec. user=mdettweiler [2016-01-15 14:32:29] 861*2^1419406-1 is not prime. Res64: 9A6CB78DF505F196 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:40:27] 887*2^1419406-1 is not prime. Res64: 31F0EE13D298A78F Time : 0.0 sec. user=mdettweiler [2016-01-15 14:40:28] 903*2^1419406-1 is not prime. Res64: 99018DA5150AA9F8 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:44:49] 923*2^1419406-1 is not prime. Res64: 9D2C6BBAF194805B Time : 0.0 sec. user=mdettweiler [2016-01-15 14:44:50] 603*2^1419407-1 is not prime. Res64: FEBD0FA8455A71CC Time : 0.0 sec. user=mdettweiler [2016-01-15 14:46:11] 735*2^1419407-1 is not prime. Res64: C216CADB97A7B873 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:46:11] 883*2^1419407-1 is not prime. Res64: 8D11521F6438AAD3 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:51:01] 909*2^1419407-1 is not prime. Res64: 739C02E7AC83E9E0 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:51:02] 985*2^1419407-1 is not prime. Res64: B1C760D2CDCE8814 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:58:33] 699*2^1419408-1 is not prime. Res64: B6B4FF4E50A315B7 Time : 0.0 sec. user=mdettweiler [2016-01-15 14:58:33] 705*2^1419408-1 is not prime. Res64: 0C20C13208BA3C98 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:03:09] 795*2^1419408-1 is not prime. Res64: 862D4A2EE1A1098D Time : 0.0 sec. user=mdettweiler [2016-01-15 15:03:11] 843*2^1419408-1 is not prime. Res64: 53EFFC45FF90F10A Time : 0.0 sec. user=mdettweiler [2016-01-15 15:04:29] 845*2^1419408-1 is not prime. Res64: F7EE2C75AB872DE9 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:04:30] 887*2^1419408-1 is not prime. Res64: 3230BA23A32EF44E Time : 0.0 sec. user=mdettweiler [2016-01-15 15:09:33] 923*2^1419408-1 is not prime. Res64: 5199385ABA207C87 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:09:34] 927*2^1419408-1 is not prime. Res64: 0C4515F98E9166B9 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:16:45] 959*2^1419408-1 is not prime. Res64: FDC7A1D19E799D60 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:16:45] 969*2^1419408-1 is not prime. Res64: CBADBA0FEE85E498 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:21:49] 993*2^1419408-1 is not prime. Res64: 18E50198A24AC98C Time : 0.0 sec. user=mdettweiler [2016-01-15 15:21:49] 721*2^1419409-1 is not prime. Res64: 8FC33F31B4999D10 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:22:50] 635*2^1419410-1 is not prime. Res64: A27039F1C4612254 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:22:51] 781*2^1419411-1 is not prime. Res64: 2E328E764A19E6FD Time : 0.0 sec. user=mdettweiler [2016-01-15 15:28:08] 931*2^1419411-1 is not prime. Res64: 88FA903ED11D7B30 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:28:09] 961*2^1419411-1 is not prime. Res64: 36B7DF6EE11CEB78 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:34:50] 975*2^1419411-1 is not prime. Res64: 25BDC117FDC7DD02 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:34:50] 647*2^1419412-1 is not prime. Res64: 73FFBFE32351C1CA Time : 0.0 sec. user=mdettweiler [2016-01-15 15:40:24] 677*2^1419412-1 is not prime. Res64: 00EE43EE5B72765C Time : 0.0 sec. user=mdettweiler [2016-01-15 15:40:24] 705*2^1419412-1 is not prime. Res64: D09A7EBA1220D3EA Time : 0.0 sec. user=mdettweiler [2016-01-15 15:41:12] 743*2^1419412-1 is not prime. Res64: 9A83114E6AD11825 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:41:13] 779*2^1419412-1 is not prime. Res64: 8548E170C6423DAB Time : 0.0 sec. user=mdettweiler [2016-01-15 15:46:34] 827*2^1419412-1 is not prime. Res64: 8C49222C89CC7CEE Time : 0.0 sec. user=mdettweiler [2016-01-15 15:46:35] 857*2^1419412-1 is not prime. Res64: BC5E25B35D4A3B3F Time : 0.0 sec. user=mdettweiler [2016-01-15 15:52:51] 933*2^1419412-1 is not prime. Res64: 325BED44C3A4AD13 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:52:51] 965*2^1419412-1 is not prime. Res64: E30439DAFD772A0F Time : 0.0 sec. user=mdettweiler [2016-01-15 15:58:40] 619*2^1419413-1 is not prime. Res64: 6B094088F9F86B0A Time : 0.0 sec. user=mdettweiler [2016-01-15 15:58:41] 621*2^1419413-1 is not prime. Res64: 12286E116537A893 Time : 0.0 sec. user=mdettweiler [2016-01-15 15:59:24] 691*2^1419413-1 is not prime. Res64: ED717970267D5A4D Time : 0.0 sec. user=mdettweiler [2016-01-15 15:59:25] 775*2^1419413-1 is not prime. Res64: 5010FD87528D19A8 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:04:45] 829*2^1419413-1 is not prime. Res64: 9052CB00472DE9B6 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:04:48] 937*2^1419413-1 is not prime. Res64: 97A04E7B4AFECD9D Time : 0.0 sec. user=mdettweiler [2016-01-15 16:10:48] 979*2^1419413-1 is not prime. Res64: B5C2B4F62A7D90BA Time : 0.0 sec. user=mdettweiler [2016-01-15 16:10:49] 705*2^1419414-1 is not prime. Res64: 96F5CDCFE638CC49 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:16:55] 711*2^1419414-1 is not prime. Res64: A2A2DEE272C2A8DE Time : 0.0 sec. user=mdettweiler [2016-01-15 16:16:56] 755*2^1419414-1 is not prime. Res64: C3132CD8680D724A Time : 0.0 sec. user=mdettweiler [2016-01-15 16:17:26] 881*2^1419414-1 is not prime. Res64: 21D6E7C641CE2E9C Time : 0.0 sec. user=mdettweiler [2016-01-15 16:17:26] 971*2^1419414-1 is not prime. Res64: C77B7BEF89C51768 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:23:00] 619*2^1419415-1 is not prime. Res64: 0882BAB5DEDD57EA Time : 0.0 sec. user=mdettweiler [2016-01-15 16:23:01] 651*2^1419415-1 is not prime. Res64: 780A83974081EA35 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:29:05] 793*2^1419415-1 is not prime. Res64: D50C91B206399271 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:29:05] 925*2^1419415-1 is not prime. Res64: 819CCA72A9F61AB8 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:35:12] 899*2^1419416-1 is not prime. Res64: 2C74318FE6056ED7 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:35:13] 699*2^1419417-1 is not prime. Res64: 4653EF52C9C79C4E Time : 0.0 sec. user=mdettweiler [2016-01-15 16:35:45] 727*2^1419417-1 is not prime. Res64: 93ED932DBFD668CB Time : 0.0 sec. user=mdettweiler [2016-01-15 16:35:46] 777*2^1419417-1 is not prime. Res64: 28E88DDA84DEC1FE Time : 0.0 sec. user=mdettweiler [2016-01-15 16:41:15] 837*2^1419417-1 is not prime. Res64: EFDAA37E746F6868 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:41:16] 861*2^1419417-1 is not prime. Res64: 0894FC98124031F2 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:47:05] 885*2^1419417-1 is not prime. Res64: 30E2AFE7C62F47D3 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:47:05] 909*2^1419417-1 is not prime. Res64: EC1FD6CF7CFB3849 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:53:39] 979*2^1419417-1 is not prime. Res64: 1A37A3356E52B7E8 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:53:40] 605*2^1419418-1 is not prime. Res64: 2B4A973AD05015AE Time : 0.0 sec. user=mdettweiler [2016-01-15 16:53:48] 651*2^1419418-1 is not prime. Res64: ED1C6A49D45D7A5B Time : 0.0 sec. user=mdettweiler [2016-01-15 16:53:48] 723*2^1419418-1 is not prime. Res64: A71D5B2A7AAE3A52 Time : 0.0 sec. user=mdettweiler [2016-01-15 16:59:32] 957*2^1419418-1 is not prime. Res64: 46D232887FEF2CBA Time : 0.0 sec. user=mdettweiler [2016-01-15 16:59:33] 981*2^1419418-1 is not prime. Res64: FD70EEFEBC2F7040 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:05:36] 643*2^1419419-1 is not prime. Res64: 56F08B2D575896BE Time : 0.0 sec. user=mdettweiler [2016-01-15 17:05:37] 663*2^1419419-1 is not prime. Res64: C7987839AD33ABC7 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:12:31] 819*2^1419419-1 is not prime. Res64: 6FC4F537EFC8B4A9 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:12:32] 861*2^1419419-1 is not prime. Res64: 6A6F1B30E5317EEB Time : 0.0 sec. user=mdettweiler [2016-01-15 17:12:56] 733*2^1419419-1 is not prime. Res64: 7FB0A762DC9B32E2 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:12:57] 735*2^1419419-1 is not prime. Res64: 8A5D164ADF62359D Time : 0.0 sec. user=mdettweiler [2016-01-15 17:18:58] 991*2^1419419-1 is not prime. Res64: 814F8CF43311D57E Time : 0.0 sec. user=mdettweiler [2016-01-15 17:18:58] 609*2^1419420-1 is not prime. Res64: E53F051705ECEE44 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:24:56] 753*2^1419420-1 is not prime. Res64: 1801DF0A5CAAF8FD Time : 0.0 sec. user=mdettweiler [2016-01-15 17:24:57] 777*2^1419420-1 is not prime. Res64: 793B6B2458246360 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:32:06] 797*2^1419420-1 is not prime. Res64: 2367F2AD2111CEA2 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:32:06] 825*2^1419420-1 is not prime. Res64: 9705A2C4B3495124 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:32:33] 863*2^1419420-1 is not prime. Res64: 5C7075210550DE61 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:32:33] 905*2^1419420-1 is not prime. Res64: A74EE96AE7FB1F85 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:38:38] 923*2^1419420-1 is not prime. Res64: 52F41B9A4F626029 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:38:38] 929*2^1419420-1 is not prime. Res64: CF0E610EBFAE58E4 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:44:23] 741*2^1419421-1 is not prime. Res64: 627830FF8EC2863B Time : 0.0 sec. user=mdettweiler [2016-01-15 17:44:23] 769*2^1419421-1 is not prime. Res64: 4FC117C7C7633A1E Time : 0.0 sec. user=mdettweiler [2016-01-15 17:51:34] 931*2^1419421-1 is not prime. Res64: E33ECC1A642E1493 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:51:35] 937*2^1419421-1 is not prime. Res64: 0955C3834AE90854 Time : 0.0 sec. user=mdettweiler [2016-01-15 17:52:17] 999*2^1419421-1 is not prime. Res64: 475C5EB2282D851D Time : 0.0 sec. user=mdettweiler [2016-01-15 17:52:17] 635*2^1419422-1 is not prime. Res64: A330D9E0C98CEEBB Time : 0.0 sec. user=mdettweiler [2016-01-15 17:58:40] 665*2^1419422-1 is not prime. Res64: BF0B2045E6DEC92B Time : 0.0 sec. user=mdettweiler [2016-01-15 17:58:40] 671*2^1419422-1 is not prime. Res64: A8F1CCA32DAF1522 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:03:33] 711*2^1419422-1 is not prime. Res64: ED35B03A5050C2AE Time : 0.0 sec. user=mdettweiler [2016-01-15 18:03:35] 813*2^1419422-1 is not prime. Res64: F6074D47D9E58FA8 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:10:37] 843*2^1419422-1 is not prime. Res64: 7713FFD3FA999768 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:10:38] 945*2^1419422-1 is not prime. Res64: 90F6753A6FA6729E Time : 0.0 sec. user=mdettweiler [2016-01-15 18:11:27] 609*2^1419423-1 is not prime. Res64: 52F46361B5BABD55 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:11:27] 723*2^1419423-1 is not prime. Res64: 5C65EE47123D9AF4 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:17:26] 763*2^1419423-1 is not prime. Res64: 8AE950C605028268 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:17:27] 829*2^1419423-1 is not prime. Res64: C5D8A2F259B3D112 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:21:57] 609*2^1419424-1 is not prime. Res64: C0BDC25413C3070E Time : 0.0 sec. user=mdettweiler [2016-01-15 18:21:57] 855*2^1419424-1 is not prime. Res64: E8656DB0967563A3 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:29:05] 869*2^1419424-1 is not prime. Res64: B7EF07B543947494 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:29:05] 607*2^1419425-1 is not prime. Res64: 40C7E92DB36976B2 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:30:16] 759*2^1419425-1 is not prime. Res64: F5E7A97F9955180B Time : 0.0 sec. user=mdettweiler [2016-01-15 18:30:16] 865*2^1419425-1 is not prime. Res64: 38990DB165EF3EC3 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:36:01] 871*2^1419425-1 is not prime. Res64: BA027065280DC99D Time : 0.0 sec. user=mdettweiler [2016-01-15 18:36:01] 657*2^1419426-1 is not prime. Res64: 48A081A466C79398 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:40:17] 671*2^1419426-1 is not prime. Res64: 2BF415551443ABB5 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:40:17] 677*2^1419426-1 is not prime. Res64: C1E7DDF87BAC1ADD Time : 0.0 sec. user=mdettweiler [2016-01-15 18:47:22] 683*2^1419426-1 is not prime. Res64: E744111A66868046 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:47:22] 735*2^1419426-1 is not prime. Res64: C1C6902D6A072FF0 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:48:59] 873*2^1419426-1 is not prime. Res64: 17B338BF7677705F Time : 0.0 sec. user=mdettweiler [2016-01-15 18:48:59] 921*2^1419426-1 is not prime. Res64: 6C31C6EF8B019160 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:54:27] 971*2^1419426-1 is not prime. Res64: EC175B086986C533 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:54:27] 609*2^1419427-1 is not prime. Res64: 7FEA4A4A388CF0FB Time : 0.0 sec. user=mdettweiler [2016-01-15 18:58:36] 633*2^1419427-1 is not prime. Res64: 4CD336D137723BA5 Time : 0.0 sec. user=mdettweiler [2016-01-15 18:58:36] 663*2^1419427-1 is not prime. Res64: 994D624B7B3201FA Time : 0.0 sec. user=mdettweiler [2016-01-15 19:05:32] 673*2^1419427-1 is not prime. Res64: 02DC262C197F9911 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:05:34] 691*2^1419427-1 is not prime. Res64: 4A83AC6243FAB144 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:07:27] 793*2^1419427-1 is not prime. Res64: 1F0213A07BB5B26D Time : 0.0 sec. user=mdettweiler [2016-01-15 19:07:27] 813*2^1419427-1 is not prime. Res64: 281B0CD1AB34BE8A Time : 0.0 sec. user=mdettweiler [2016-01-15 19:12:54] 861*2^1419427-1 is not prime. Res64: 1A149AE2346E830F Time : 0.0 sec. user=mdettweiler [2016-01-15 19:12:56] 603*2^1419428-1 is not prime. Res64: 3CEF1EBBD47BF68E Time : 0.0 sec. user=mdettweiler [2016-01-15 19:16:40] 633*2^1419428-1 is not prime. Res64: 9FCD63D742862E8B Time : 0.0 sec. user=mdettweiler [2016-01-15 19:16:40] 725*2^1419428-1 is not prime. Res64: ABFD42D8DC8E15C8 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:24:10] 767*2^1419428-1 is not prime. Res64: 01E17EA38D514DA2 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:24:10] 797*2^1419428-1 is not prime. Res64: CDDD1776BC48D3E0 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:26:02] 843*2^1419428-1 is not prime. Res64: 5F638F2C03EA0AC1 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:26:02] 953*2^1419428-1 is not prime. Res64: D4083FBE7019BF44 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:31:43] 995*2^1419428-1 is not prime. Res64: D24C4ADD0F6EA5DE Time : 0.0 sec. user=mdettweiler [2016-01-15 19:31:43] 609*2^1419429-1 is not prime. Res64: C3E1D600190B219E Time : 0.0 sec. user=mdettweiler [2016-01-15 19:35:40] 621*2^1419429-1 is not prime. Res64: 992FD9D819B5507C Time : 0.0 sec. user=mdettweiler [2016-01-15 19:35:40] 627*2^1419429-1 is not prime. Res64: 4BE660D6B035E4B8 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:42:26] 747*2^1419429-1 is not prime. Res64: 9DD78173FD5412E8 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:42:26] 955*2^1419429-1 is not prime. Res64: 2BA935E5B49E7D72 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:44:28] 603*2^1419430-1 is not prime. Res64: 6D7EAA2C7F4FF5F2 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:44:29] 773*2^1419430-1 is not prime. Res64: 7B26FD2340BFBE74 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:50:13] 831*2^1419430-1 is not prime. Res64: 81911F94171624D8 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:50:13] 843*2^1419430-1 is not prime. Res64: 12AD286D23A62EF3 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:54:02] 923*2^1419430-1 is not prime. Res64: 422A51E7D7440074 Time : 0.0 sec. user=mdettweiler [2016-01-15 19:54:02] 951*2^1419430-1 is not prime. Res64: 6EC98B977459ECB5 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:00:58] 643*2^1419431-1 is not prime. Res64: B72079391A9A90AE Time : 0.0 sec. user=mdettweiler [2016-01-15 20:00:59] 645*2^1419431-1 is not prime. Res64: A0E51BDC50844D1B Time : 0.0 sec. user=mdettweiler [2016-01-15 20:03:04] 661*2^1419431-1 is not prime. Res64: AD7A3DFCB44DBA62 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:03:05] 675*2^1419431-1 is not prime. Res64: 4CC09E465AD1A4DC Time : 0.0 sec. user=mdettweiler [2016-01-15 20:09:11] 745*2^1419431-1 is not prime. Res64: EB89B0E31055DB93 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:09:13] 753*2^1419431-1 is not prime. Res64: 3394352867CC81FB Time : 0.0 sec. user=mdettweiler [2016-01-15 20:12:27] 805*2^1419431-1 is not prime. Res64: 06DAECF91D572E21 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:12:28] 879*2^1419431-1 is not prime. Res64: BD56AB535032C8DF Time : 0.0 sec. user=mdettweiler [2016-01-15 20:19:19] 939*2^1419431-1 is not prime. Res64: 5BFF90C26806EFEE Time : 0.0 sec. user=mdettweiler [2016-01-15 20:19:19] 605*2^1419432-1 is not prime. Res64: 34840B1BB6F7C327 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:21:30] 627*2^1419432-1 is not prime. Res64: F428401642E1D0B5 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:21:31] 633*2^1419432-1 is not prime. Res64: 4A0D9588EBCE8FB6 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:28:05] 777*2^1419432-1 is not prime. Res64: C6D41612BB1989BE Time : 0.0 sec. user=mdettweiler [2016-01-15 20:28:06] 977*2^1419432-1 is not prime. Res64: E86AAF0DFAC06235 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:31:06] 983*2^1419432-1 is not prime. Res64: 233AB561F1F12946 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:31:06] 619*2^1419433-1 is not prime. Res64: F1C3F8845203FE9D Time : 0.0 sec. user=mdettweiler [2016-01-15 20:37:45] 691*2^1419433-1 is not prime. Res64: F6EF45AF0D787A4A Time : 0.0 sec. user=mdettweiler [2016-01-15 20:37:46] 721*2^1419433-1 is not prime. Res64: BBC63475FA3D3DD8 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:40:01] 801*2^1419433-1 is not prime. Res64: 2CD5524F5E5A1BE4 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:40:02] 855*2^1419433-1 is not prime. Res64: 49E5C8A93CB965BD Time : 0.0 sec. user=mdettweiler [2016-01-15 20:47:09] 867*2^1419433-1 is not prime. Res64: B2926456277B7C37 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:47:09] 981*2^1419433-1 is not prime. Res64: 49B155A7EB030424 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:49:42] 635*2^1419434-1 is not prime. Res64: 7170724DCF4CA172 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:49:42] 717*2^1419434-1 is not prime. Res64: 66CA46A2B1E50C67 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:56:22] 791*2^1419434-1 is not prime. Res64: 052B3F447958CA06 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:56:22] 709*2^1419435-1 is not prime. Res64: 4C027C813C19793C Time : 0.0 sec. user=mdettweiler [2016-01-15 20:58:44] 711*2^1419435-1 is not prime. Res64: D3910F97EB822AE6 Time : 0.0 sec. user=mdettweiler [2016-01-15 20:58:45] 853*2^1419435-1 is not prime. Res64: 4E9F257F5DC83C6E Time : 0.0 sec. user=mdettweiler [2016-01-15 21:05:51] 861*2^1419435-1 is not prime. Res64: BA5D36583E54215B Time : 0.0 sec. user=mdettweiler [2016-01-15 21:05:52] 895*2^1419435-1 is not prime. Res64: B2B56F5134686CBF Time : 0.0 sec. user=mdettweiler [2016-01-15 21:07:50] 961*2^1419435-1 is not prime. Res64: FEB3897693722C16 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:07:52] 657*2^1419436-1 is not prime. Res64: D97198122B26CDE0 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:14:49] 689*2^1419436-1 is not prime. Res64: 141E8D8A554AC11D Time : 0.0 sec. user=mdettweiler [2016-01-15 21:14:50] 707*2^1419436-1 is not prime. Res64: F819E6F829A52D21 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:17:11] 717*2^1419436-1 is not prime. Res64: A4A0CDC55CBDDABF Time : 0.0 sec. user=mdettweiler [2016-01-15 21:17:11] 765*2^1419436-1 is not prime. Res64: 648BBE08ED7C1CD7 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:24:21] 905*2^1419436-1 is not prime. Res64: 5EDD74AA40E314EB Time : 0.0 sec. user=mdettweiler [2016-01-15 21:24:22] 923*2^1419436-1 is not prime. Res64: D669DDFD1587D597 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:26:11] 969*2^1419436-1 is not prime. Res64: A09370969922C498 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:26:11] 993*2^1419436-1 is not prime. Res64: DCCC6C4766542CFC Time : 0.0 sec. user=mdettweiler [2016-01-15 21:33:04] 607*2^1419437-1 is not prime. Res64: CF02F790FCE46A23 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:33:05] 649*2^1419437-1 is not prime. Res64: EDCC53D903693278 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:35:47] 699*2^1419437-1 is not prime. Res64: 9767C9D761FDF669 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:35:48] 801*2^1419437-1 is not prime. Res64: 67EB1AFFCC211074 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:42:55] 837*2^1419437-1 is not prime. Res64: 7FE5513FB2C3C431 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:42:56] 879*2^1419437-1 is not prime. Res64: 6E197976FC8705C6 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:44:09] 927*2^1419437-1 is not prime. Res64: 6CA9E9B440F6E339 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:44:10] 621*2^1419438-1 is not prime. Res64: 1B87C399DE0EE474 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:51:21] 665*2^1419438-1 is not prime. Res64: A059B8669F1B2D3F Time : 0.0 sec. user=mdettweiler [2016-01-15 21:51:22] 695*2^1419438-1 is not prime. Res64: A1799C5C4E6D5542 Time : 0.0 sec. user=mdettweiler [2016-01-15 21:54:08] 705*2^1419438-1 is not prime. Res64: 9958F1652D13DAEF Time : 0.0 sec. user=mdettweiler [2016-01-15 21:54:09] 713*2^1419438-1 is not prime. Res64: DCC30C9C30A96F71 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:01:35] 821*2^1419438-1 is not prime. Res64: FECD73C1FB1F0985 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:01:36] 921*2^1419438-1 is not prime. Res64: 5B4F66EBE01457F8 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:02:26] 633*2^1419439-1 is not prime. Res64: 9219682CE6ACBE98 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:02:27] 681*2^1419439-1 is not prime. Res64: E1696833A7B4E29F Time : 0.0 sec. user=mdettweiler [2016-01-15 22:09:41] 745*2^1419439-1 is not prime. Res64: F35055B5734C1C4C Time : 0.0 sec. user=mdettweiler [2016-01-15 22:09:43] 979*2^1419439-1 is not prime. Res64: 7CDD414F316E4D19 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:12:32] 985*2^1419439-1 is not prime. Res64: 0D757321176FCB40 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:12:33] 993*2^1419439-1 is not prime. Res64: 66ACF70330789131 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:20:44] 633*2^1419440-1 is not prime. Res64: 7482F5AC6C424F7C Time : 0.0 sec. user=mdettweiler [2016-01-15 22:20:44] 725*2^1419440-1 is not prime. Res64: 07A9EFE5D1BC2AA7 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:21:00] 825*2^1419440-1 is not prime. Res64: 244A0711EB61FB79 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:21:01] 827*2^1419440-1 is not prime. Res64: 70350A1D67148A03 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:29:40] 857*2^1419440-1 is not prime. Res64: 2797D186852BC3A8 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:29:41] 963*2^1419440-1 is not prime. Res64: 354C955A8A5087DC Time : 0.0 sec. user=mdettweiler [2016-01-15 22:32:29] 601*2^1419441-1 is not prime. Res64: 65610B4CFACDBE7F Time : 0.0 sec. user=mdettweiler [2016-01-15 22:32:29] 607*2^1419441-1 is not prime. Res64: 23179DACB81B3168 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:39:52] 657*2^1419441-1 is not prime. Res64: 7A6B425B902DC880 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:39:52] 727*2^1419441-1 is not prime. Res64: BD6EBF641FB25E07 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:39:56] 741*2^1419441-1 is not prime. Res64: C658C85C34A6A81D Time : 0.0 sec. user=mdettweiler [2016-01-15 22:39:57] 937*2^1419441-1 is not prime. Res64: 1D7FB168C4C9689D Time : 0.0 sec. user=mdettweiler [2016-01-15 22:48:09] 717*2^1419442-1 is not prime. Res64: 73EFE7F696987465 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:48:10] 827*2^1419442-1 is not prime. Res64: 1DFE2C88D88F37E5 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:51:07] 843*2^1419442-1 is not prime. Res64: E4781CD9F28E9089 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:51:07] 891*2^1419442-1 is not prime. Res64: 4E290876A6A668A4 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:58:15] 811*2^1419443-1 is not prime. Res64: 32EB23BF724B3A82 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:58:15] 859*2^1419443-1 is not prime. Res64: 9507BFDDD36FFF27 Time : 0.0 sec. user=mdettweiler [2016-01-15 22:58:24] 983*2^1419442-1 is not prime. Res64: A52D31596EBBE14C Time : 0.0 sec. user=mdettweiler [2016-01-15 22:58:24] 735*2^1419443-1 is not prime. Res64: 17007FFD1F6D6644 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:06:31] 981*2^1419443-1 is not prime. Res64: 9637919F5AA7C502 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:06:32] 999*2^1419443-1 is not prime. Res64: E216C3D055C51D23 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:09:59] 803*2^1419444-1 is not prime. Res64: BC82D380DC702CE1 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:10:00] 903*2^1419444-1 is not prime. Res64: F8D432F3C31F252F Time : 0.0 sec. user=mdettweiler [2016-01-15 23:16:27] 909*2^1419444-1 is not prime. Res64: EF6C2AD8D4C10F82 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:16:27] 927*2^1419444-1 is not prime. Res64: CC230BC4EFECFD27 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:16:54] 959*2^1419444-1 is not prime. Res64: ED9546B746C65E02 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:16:55] 975*2^1419444-1 is not prime. Res64: 7A1E10CDA6692D16 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:24:50] 983*2^1419444-1 is not prime. Res64: 842B177739C68B10 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:24:51] 699*2^1419445-1 is not prime. Res64: F3C236585D628340 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:28:35] 715*2^1419445-1 is not prime. Res64: EA538437D538F114 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:28:35] 925*2^1419445-1 is not prime. Res64: CF1EA649FF008FC9 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:34:39] 985*2^1419445-1 is not prime. Res64: 952294A6DB2F85B0 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:34:39] 663*2^1419446-1 is not prime. Res64: C77E766FF44496F2 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:35:19] 671*2^1419446-1 is not prime. Res64: 1D6A77A388370D0C Time : 0.0 sec. user=mdettweiler [2016-01-15 23:35:20] 711*2^1419446-1 is not prime. Res64: 5B9FF6A17654BB06 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:43:02] 773*2^1419446-1 is not prime. Res64: 1E991CED56730181 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:43:03] 923*2^1419446-1 is not prime. Res64: 592E7FC179EC80C3 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:47:05] 945*2^1419446-1 is not prime. Res64: C7314CCFB17793B6 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:47:05] 625*2^1419447-1 is not prime. Res64: 0A82E07D3D3EB5FB Time : 0.0 sec. user=mdettweiler [2016-01-15 23:52:51] 711*2^1419447-1 is not prime. Res64: E4D02E43CAA5B84B Time : 0.0 sec. user=mdettweiler [2016-01-15 23:52:52] 849*2^1419447-1 is not prime. Res64: ADB14FA200312C00 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:53:48] 861*2^1419447-1 is not prime. Res64: CDD6F2CEAE817F94 Time : 0.0 sec. user=mdettweiler [2016-01-15 23:53:48] 635*2^1419448-1 is not prime. Res64: A2BDFC13728596B5 Time : 0.0 sec.