user=mdettweiler [2018-05-10 00:08:57] 755*2^1509342-1 is not prime. Res64: 2DC2118C69B17397 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:08:58] 815*2^1509342-1 is not prime. Res64: C2CA11A8B191CD21 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:08:59] 741*2^1509343-1 is not prime. Res64: 2824AEEC3C5B332C Time : 0.0 sec. user=mdettweiler [2018-05-10 00:08:59] 831*2^1509343-1 is not prime. Res64: 1F92A5418AD0A0E9 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:09:00] 873*2^1509343-1 is not prime. Res64: D666E19ABB67C4A5 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:29:37] 945*2^1509343-1 is not prime. Res64: D893C5F743F50AFB Time : 0.0 sec. user=mdettweiler [2018-05-10 00:29:38] 961*2^1509343-1 is not prime. Res64: EE743535C3813C84 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:29:39] 999*2^1509343-1 is not prime. Res64: C1D3B7861766CC3B Time : 0.0 sec. user=mdettweiler [2018-05-10 00:29:39] 699*2^1509344-1 is not prime. Res64: 884C6CA10DBAF5B0 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:29:39] 843*2^1509344-1 is not prime. Res64: C63DDCEAA89F833C Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:12] 869*2^1509344-1 is not prime. Res64: 05F32EC74AB9ACBB Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:12] 875*2^1509344-1 is not prime. Res64: 07A695FD37A37475 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:13] 899*2^1509344-1 is not prime. Res64: 3047F98B9CC0063C Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:13] 915*2^1509344-1 is not prime. Res64: 3A8E649850A1481A Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:13] 923*2^1509344-1 is not prime. Res64: 79086BA3EE78DD3E Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:53] 969*2^1509344-1 is not prime. Res64: 65F218A88BB4660C Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:53] 983*2^1509344-1 is not prime. Res64: 30E624211B1340C8 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:53] 751*2^1509345-1 is not prime. Res64: 58A25195B0AED604 Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:54] 861*2^1509345-1 is not prime. Res64: 0E645537E92E4BDF Time : 0.0 sec. user=mdettweiler [2018-05-10 00:30:54] 895*2^1509345-1 is not prime. Res64: D51A358101352831 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:00:34] 915*2^1509345-1 is not prime. Res64: E14E11D75646DFFE Time : 0.0 sec. user=mdettweiler [2018-05-10 01:00:35] 979*2^1509345-1 is not prime. Res64: 624DB97657509C80 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:00:37] 735*2^1509346-1 is not prime. Res64: E7AD0FE0A0F1BA44 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:00:39] 747*2^1509346-1 is not prime. Res64: 7596A5F0B46CE2AE Time : 0.0 sec. user=mdettweiler [2018-05-10 01:00:40] 917*2^1509346-1 is not prime. Res64: 726B387FE80950A2 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:19:54] 971*2^1509346-1 is not prime. Res64: 9F804231AA57F8F8 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:19:55] 673*2^1509347-1 is not prime. Res64: 5780A8150B3341F8 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:19:55] 693*2^1509347-1 is not prime. Res64: 0AA360F8EE69EEA9 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:19:56] 705*2^1509347-1 is not prime. Res64: DCD4D265987AA010 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:19:56] 825*2^1509347-1 is not prime. Res64: 97CEF16B005BD44A Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:28] 695*2^1509348-1 is not prime. Res64: 2BBE66D39A238BDD Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:28] 723*2^1509348-1 is not prime. Res64: 54BE4D304B9AE4AD Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:29] 753*2^1509348-1 is not prime. Res64: AD54AA703B22FA27 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:29] 825*2^1509348-1 is not prime. Res64: 4457684FD44CFB98 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:29] 929*2^1509348-1 is not prime. Res64: 707D01211ACF16B1 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:36] 609*2^1509349-1 is not prime. Res64: 8D3CB2B5A336C0E1 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:37] 829*2^1509349-1 is not prime. Res64: 644848E604D1B8A9 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:37] 657*2^1509350-1 is not prime. Res64: 3CC681A00D65B6CF Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:38] 671*2^1509350-1 is not prime. Res64: 739575E3830FF72F Time : 0.0 sec. user=mdettweiler [2018-05-10 01:20:38] 731*2^1509350-1 is not prime. Res64: CCD78B3E3ECD1DC9 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:51:09] 773*2^1509350-1 is not prime. Res64: E418969748886EC8 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:51:10] 785*2^1509350-1 is not prime. Res64: 320D020C5DAD6973 Time : 0.0 sec. user=mdettweiler [2018-05-10 01:51:11] 797*2^1509350-1 is not prime. Res64: A986E32E068059EF Time : 0.0 sec. user=mdettweiler [2018-05-10 01:51:11] 813*2^1509350-1 is not prime. Res64: C07A94104B7624FD Time : 0.0 sec. user=mdettweiler [2018-05-10 01:51:12] 861*2^1509350-1 is not prime. Res64: 897DA32976AC7FE4 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:49] 971*2^1509350-1 is not prime. Res64: 03FB9561D0354EB6 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:49] 615*2^1509351-1 is not prime. Res64: 119F117DF6A4337E Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:50] 619*2^1509351-1 is not prime. Res64: B6FDC816E502C101 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:50] 685*2^1509351-1 is not prime. Res64: 9BD2D73F86931527 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:51] 793*2^1509351-1 is not prime. Res64: 4F8D52F304FAEB62 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:51] 945*2^1509351-1 is not prime. Res64: A618A0F0CC554D22 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:52] 609*2^1509352-1 is not prime. Res64: B3B77A49CD0F534E Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:52] 653*2^1509352-1 is not prime. Res64: 25695BDDD56A26A8 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:53] 665*2^1509352-1 is not prime. Res64: F06008BB159AC705 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:09:53] 705*2^1509352-1 is not prime. Res64: 08C96C30DA987C9C Time : 0.0 sec. user=mdettweiler [2018-05-10 02:10:46] 875*2^1509350-1 is not prime. Res64: 6A032BC8E4E771A4 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:10:47] 915*2^1509350-1 is not prime. Res64: 54311B1AFE5872BB Time : 0.0 sec. user=mdettweiler [2018-05-10 02:10:47] 917*2^1509350-1 is not prime. Res64: F8C0F491D8692AE8 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:10:47] 923*2^1509350-1 is not prime. Res64: 0962DCA2D567F9E2 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:10:48] 945*2^1509350-1 is not prime. Res64: 70EDD9AD71929D2D Time : 0.0 sec. user=mdettweiler [2018-05-10 02:41:29] 765*2^1509352-1 is not prime. Res64: C21A3355D23232EA Time : 0.0 sec. user=mdettweiler [2018-05-10 02:41:30] 933*2^1509352-1 is not prime. Res64: 0766730A8EC99F81 Time : 0.0 sec. user=mdettweiler [2018-05-10 02:41:30] 959*2^1509352-1 is not prime. Res64: 4D572FC0F54EA38E Time : 0.0 sec. user=mdettweiler [2018-05-10 02:41:31] 989*2^1509352-1 is not prime. Res64: 0046FABF4F09EC8E Time : 0.0 sec. user=mdettweiler [2018-05-10 02:41:31] 679*2^1509353-1 is not prime. Res64: 43B4704DB485C0EA Time : 0.0 sec. user=mdettweiler [2018-05-10 03:00:55] 691*2^1509353-1 is not prime. Res64: 005794BA8BC6C4AA Time : 0.0 sec. user=mdettweiler [2018-05-10 03:00:58] 795*2^1509353-1 is not prime. Res64: 802628DFDEEB9A0B Time : 0.0 sec. user=mdettweiler [2018-05-10 03:00:59] 969*2^1509353-1 is not prime. Res64: 239267F076CA49BB Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:00] 705*2^1509354-1 is not prime. Res64: 51A84740AAD1DF8E Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:01] 873*2^1509354-1 is not prime. Res64: CC8DAEEE491EC916 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:29] 971*2^1509354-1 is not prime. Res64: 7505A2E1347681B8 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:30] 631*2^1509355-1 is not prime. Res64: A2B1C7B2C81A53A0 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:30] 693*2^1509355-1 is not prime. Res64: ADE9C8BD48C66EFB Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:32] 871*2^1509355-1 is not prime. Res64: 3F45213B777F997E Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:33] 633*2^1509356-1 is not prime. Res64: BAA3A0B5F73B30B6 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:34] 697*2^1509353-1 is not prime. Res64: C39B1EBEC2461D6C Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:34] 747*2^1509353-1 is not prime. Res64: F8997AB5DF056B43 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:36] 741*2^1509354-1 is not prime. Res64: 52147D2F316F1914 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:38] 747*2^1509354-1 is not prime. Res64: 86F36EA6D1AFA86C Time : 0.0 sec. user=mdettweiler [2018-05-10 03:01:41] 815*2^1509354-1 is not prime. Res64: F994402E68E25245 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:32:07] 669*2^1509356-1 is not prime. Res64: AF810702002D8680 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:32:10] 945*2^1509356-1 is not prime. Res64: FDA70C255D3AA2DA Time : 0.0 sec. user=mdettweiler [2018-05-10 03:32:13] 969*2^1509356-1 is not prime. Res64: D0CC9D399D87B479 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:32:15] 607*2^1509357-1 is not prime. Res64: FE3D57AC32E3C7CA Time : 0.0 sec. user=mdettweiler [2018-05-10 03:32:16] 669*2^1509357-1 is not prime. Res64: EFC81E689263DCC2 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:30] 699*2^1509357-1 is not prime. Res64: D00C307FCA39665E Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:31] 711*2^1509357-1 is not prime. Res64: 3FD843B6DD2BA6EE Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:33] 759*2^1509357-1 is not prime. Res64: 3E4BB32FFD8AD832 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:35] 781*2^1509357-1 is not prime. Res64: 4797F230187B679F Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:36] 817*2^1509357-1 is not prime. Res64: CDE820CF3689A7C6 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:50] 945*2^1509357-1 is not prime. Res64: 8E1570D68176C6AE Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:52] 651*2^1509358-1 is not prime. Res64: F79D7B6007157A90 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:53] 755*2^1509358-1 is not prime. Res64: 817EC1CABCF88556 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:55] 845*2^1509358-1 is not prime. Res64: 22C8C690546FFCAD Time : 0.0 sec. user=mdettweiler [2018-05-10 03:51:58] 885*2^1509358-1 is not prime. Res64: A12A7C051702AF2F Time : 0.0 sec. user=mdettweiler [2018-05-10 03:52:09] 835*2^1509357-1 is not prime. Res64: 7510A2A39251CB04 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:52:12] 861*2^1509357-1 is not prime. Res64: 64D2B24791ABDEBF Time : 0.0 sec. user=mdettweiler [2018-05-10 03:52:15] 885*2^1509357-1 is not prime. Res64: 86B5A4A180D681B1 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:52:18] 889*2^1509357-1 is not prime. Res64: D2A37B3188631DA1 Time : 0.0 sec. user=mdettweiler [2018-05-10 03:52:21] 901*2^1509357-1 is not prime. Res64: 6C3FC876E661862B Time : 0.0 sec. user=mdettweiler [2018-05-10 04:22:41] 891*2^1509358-1 is not prime. Res64: C819C1A70D84E198 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:22:42] 915*2^1509358-1 is not prime. Res64: 09B892BC6641F21A Time : 0.0 sec. user=mdettweiler [2018-05-10 04:22:43] 1001*2^1509358-1 is not prime. Res64: CF0B533C8ED7B51B Time : 0.0 sec. user=mdettweiler [2018-05-10 04:22:44] 645*2^1509359-1 is not prime. Res64: 2D18CCE89C559CAA Time : 0.0 sec. user=mdettweiler [2018-05-10 04:22:45] 679*2^1509359-1 is not prime. Res64: 106D5255937AF9AC Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:03] 909*2^1509359-1 is not prime. Res64: E58784B096E132B3 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:03] 921*2^1509359-1 is not prime. Res64: EF5782D0568E40A7 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:04] 943*2^1509359-1 is not prime. Res64: C29C8B14BF804CF9 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:04] 609*2^1509360-1 is not prime. Res64: 970B4D1385995AEF Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:05] 629*2^1509360-1 is not prime. Res64: 9207E8DB48E3293E Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:15] 705*2^1509359-1 is not prime. Res64: FA8A3CA2E6B54144 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:15] 745*2^1509359-1 is not prime. Res64: 3D5AA919B28EF348 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:16] 775*2^1509359-1 is not prime. Res64: 4DC8D3BAF014ED54 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:16] 811*2^1509359-1 is not prime. Res64: 075D47ADF6AB4DBA Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:17] 885*2^1509359-1 is not prime. Res64: 40B8E86AF1C4F1E3 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:55] 713*2^1509360-1 is not prime. Res64: 98D76D9780B6B8AE Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:56] 779*2^1509360-1 is not prime. Res64: C838AED9A08157E2 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:56] 625*2^1509361-1 is not prime. Res64: DE35A3FD1140B9F1 Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:57] 717*2^1509361-1 is not prime. Res64: 8CB216F9AF951DFC Time : 0.0 sec. user=mdettweiler [2018-05-10 04:43:57] 727*2^1509361-1 is not prime. Res64: 1BCE3214F231F884 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:13:55] 811*2^1509361-1 is not prime. Res64: C8CAAC793ABFC1EE Time : 0.0 sec. user=mdettweiler [2018-05-10 05:13:59] 819*2^1509361-1 is not prime. Res64: D8176B6B45D63678 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:14:01] 937*2^1509361-1 is not prime. Res64: 6F1873844924797C Time : 0.0 sec. user=mdettweiler [2018-05-10 05:14:02] 939*2^1509361-1 is not prime. Res64: A5062489A4643B88 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:14:06] 967*2^1509361-1 is not prime. Res64: D6A5E6C1E83373E5 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:24] 997*2^1509361-1 is not prime. Res64: 79012D184498FAF9 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:24] 665*2^1509362-1 is not prime. Res64: 1AEEDB3CE2F94EA6 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:25] 671*2^1509362-1 is not prime. Res64: 353B991113F99132 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:25] 831*2^1509362-1 is not prime. Res64: F4B2C67EE8F65572 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:26] 613*2^1509363-1 is not prime. Res64: E24AF2872AF7FE57 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:55] 605*2^1509364-1 is not prime. Res64: 0EED11D9E1C86351 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:56] 639*2^1509364-1 is not prime. Res64: 89EE5440DB6614AC Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:56] 665*2^1509364-1 is not prime. Res64: 9EF6C38770EA05B0 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:57] 707*2^1509364-1 is not prime. Res64: 24E63918C52A98D2 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:32:57] 995*2^1509364-1 is not prime. Res64: 9D8E19EE151C4DCD Time : 0.0 sec. user=mdettweiler [2018-05-10 05:33:42] 789*2^1509363-1 is not prime. Res64: 714D036BAB013EC6 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:33:43] 801*2^1509363-1 is not prime. Res64: 14AB94DAA507F5A3 Time : 0.0 sec. user=mdettweiler [2018-05-10 05:33:44] 819*2^1509363-1 is not prime. Res64: D30736330E33C73E Time : 0.0 sec. user=mdettweiler [2018-05-10 05:33:44] 945*2^1509363-1 is not prime. Res64: 5744107C17A501BC Time : 0.0 sec. user=mdettweiler [2018-05-10 05:33:45] 985*2^1509363-1 is not prime. Res64: 3DE4DA30C21F87A9 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:04:08] 697*2^1509365-1 is not prime. Res64: 0E54D433A69CE279 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:04:09] 727*2^1509365-1 is not prime. Res64: 335376B946B7F8C0 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:04:09] 735*2^1509365-1 is not prime. Res64: B7C12BCA9604DF8D Time : 0.0 sec. user=mdettweiler [2018-05-10 06:04:10] 957*2^1509365-1 is not prime. Res64: E04B005113A906BD Time : 0.0 sec. user=mdettweiler [2018-05-10 06:04:10] 647*2^1509366-1 is not prime. Res64: EA20D904D17FAF87 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:22:41] 705*2^1509366-1 is not prime. Res64: 1FF45D640FFAD31F Time : 0.0 sec. user=mdettweiler [2018-05-10 06:22:41] 713*2^1509366-1 is not prime. Res64: 4E58771678C4AF0E Time : 0.0 sec. user=mdettweiler [2018-05-10 06:22:41] 737*2^1509366-1 is not prime. Res64: B75C0F89454F6EAB Time : 0.0 sec. user=mdettweiler [2018-05-10 06:22:42] 875*2^1509366-1 is not prime. Res64: 7FE0728EFB03841A Time : 0.0 sec. user=mdettweiler [2018-05-10 06:22:42] 609*2^1509367-1 is not prime. Res64: 02FEA0EB12F52D29 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:28] 729*2^1509367-1 is not prime. Res64: D94AB02400F3FF33 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:30] 805*2^1509367-1 is not prime. Res64: 9FA3E95206D59723 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:31] 889*2^1509367-1 is not prime. Res64: E25FF95AC2B991CB Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:31] 931*2^1509367-1 is not prime. Res64: 6971F615F253A6C1 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:31] 951*2^1509367-1 is not prime. Res64: CB59B704B1077E2F Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:52] 975*2^1509367-1 is not prime. Res64: D3BFED600DA8A1E6 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:52] 687*2^1509368-1 is not prime. Res64: 91523C0F470E8CD7 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:53] 797*2^1509368-1 is not prime. Res64: EBDE107FCE3CE39A Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:53] 869*2^1509368-1 is not prime. Res64: 6D18763148C1D9EC Time : 0.0 sec. user=mdettweiler [2018-05-10 06:23:54] 957*2^1509368-1 is not prime. Res64: FBC81A3081BD7491 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:53:43] 993*2^1509368-1 is not prime. Res64: 32CA29E9B3ACF1F7 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:53:43] 999*2^1509368-1 is not prime. Res64: F4C6D9C0B999193A Time : 0.0 sec. user=mdettweiler [2018-05-10 06:53:44] 649*2^1509369-1 is not prime. Res64: 84B71CFF3C0A8FEB Time : 0.0 sec. user=mdettweiler [2018-05-10 06:53:44] 669*2^1509369-1 is not prime. Res64: C53C6BCA8B190543 Time : 0.0 sec. user=mdettweiler [2018-05-10 06:53:45] 781*2^1509369-1 is not prime. Res64: EDF6DA3E9B54D297 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:12:53] 847*2^1509369-1 is not prime. Res64: CBE7FF3048314A84 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:12:54] 865*2^1509369-1 is not prime. Res64: 05E9E85C4CF96EFB Time : 0.0 sec. user=mdettweiler [2018-05-10 07:12:54] 921*2^1509369-1 is not prime. Res64: E089BB3760665BF6 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:12:55] 951*2^1509369-1 is not prime. Res64: C697023B56EE92D9 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:12:55] 657*2^1509370-1 is not prime. Res64: 202FB218CBBD78BF Time : 0.0 sec. user=mdettweiler [2018-05-10 07:13:37] 833*2^1509370-1 is not prime. Res64: E6C32A0BF9210BEF Time : 0.0 sec. user=mdettweiler [2018-05-10 07:13:38] 861*2^1509370-1 is not prime. Res64: 8A528BCAEB77EA88 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:13:38] 1001*2^1509370-1 is not prime. Res64: 3BBE596B240D2620 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:13:38] 645*2^1509371-1 is not prime. Res64: 6459542F6D1B1DBB Time : 0.0 sec. user=mdettweiler [2018-05-10 07:13:39] 759*2^1509371-1 is not prime. Res64: 3B2F53F88D1B588E Time : 0.0 sec. user=mdettweiler [2018-05-10 07:14:08] 783*2^1509371-1 is not prime. Res64: 367841524180B278 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:14:08] 855*2^1509371-1 is not prime. Res64: FE16E3963CF1444F Time : 0.0 sec. user=mdettweiler [2018-05-10 07:14:09] 859*2^1509371-1 is not prime. Res64: FAC93DD38549AFE8 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:14:09] 889*2^1509371-1 is not prime. Res64: 916E6103A0019DF7 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:14:09] 627*2^1509372-1 is not prime. Res64: 1BDF93F5CEF07E66 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:43:59] 669*2^1509372-1 is not prime. Res64: 64E52DD956AABF26 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:43:59] 767*2^1509372-1 is not prime. Res64: 01311797790F864F Time : 0.0 sec. user=mdettweiler [2018-05-10 07:43:59] 863*2^1509372-1 is not prime. Res64: 57EF94CC8B6ACA54 Time : 0.0 sec. user=mdettweiler [2018-05-10 07:44:00] 879*2^1509372-1 is not prime. Res64: F5125EA3EC2D638D Time : 0.0 sec. user=mdettweiler [2018-05-10 07:44:00] 899*2^1509372-1 is not prime. Res64: BA44C6D7734E8AFD Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:15] 929*2^1509372-1 is not prime. Res64: CDBC2E5EAFB708EB Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:17] 679*2^1509373-1 is not prime. Res64: 4B52CD3D99ADAF29 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:18] 757*2^1509373-1 is not prime. Res64: 28E5D0EA58F6184D Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:18] 769*2^1509373-1 is not prime. Res64: C1A7AFD514D77F52 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:19] 831*2^1509373-1 is not prime. Res64: A34E88B6D86D4B2C Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:45] 999*2^1509373-1 is not prime. Res64: 992DA12694E8FE2F Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:46] 617*2^1509374-1 is not prime. Res64: C8B4D0D80638CE23 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:48] 747*2^1509374-1 is not prime. Res64: A2CE3227C2C502E4 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:49] 825*2^1509374-1 is not prime. Res64: 48EDF6B469E25B8C Time : 0.0 sec. user=mdettweiler [2018-05-10 08:03:51] 945*2^1509374-1 is not prime. Res64: 7E8B172A015808C5 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:04:43] 1001*2^1509374-1 is not prime. Res64: 0DD42B0359236EDB Time : 0.0 sec. user=mdettweiler [2018-05-10 08:04:44] 831*2^1509375-1 is not prime. Res64: 93650603CF429717 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:04:46] 861*2^1509375-1 is not prime. Res64: 06DA488A0C6DA8EE Time : 0.0 sec. user=mdettweiler [2018-05-10 08:04:47] 909*2^1509375-1 is not prime. Res64: D3A583C025AABBCF Time : 0.0 sec. user=mdettweiler [2018-05-10 08:04:49] 961*2^1509375-1 is not prime. Res64: D238D9CD120D5145 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:34:20] 963*2^1509375-1 is not prime. Res64: 80E24AD8CCFA4453 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:34:20] 973*2^1509375-1 is not prime. Res64: 0C452B793148E28E Time : 0.0 sec. user=mdettweiler [2018-05-10 08:34:21] 717*2^1509376-1 is not prime. Res64: DA50E97B727B54A0 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:34:21] 803*2^1509376-1 is not prime. Res64: EFFDAEB0AD6BC262 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:34:22] 807*2^1509376-1 is not prime. Res64: ABDFD33DC9834AD6 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:53:34] 839*2^1509376-1 is not prime. Res64: 8B72A3B3661D5C02 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:53:34] 933*2^1509376-1 is not prime. Res64: B6025164D408DDEA Time : 0.0 sec. user=mdettweiler [2018-05-10 08:53:35] 601*2^1509377-1 is not prime. Res64: 27964108FE52166E Time : 0.0 sec. user=mdettweiler [2018-05-10 08:53:35] 711*2^1509377-1 is not prime. Res64: 6173E6F142DF1A30 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:53:35] 735*2^1509377-1 is not prime. Res64: 60A4A64198961C60 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:54:05] 879*2^1509377-1 is not prime. Res64: 4415D9005F696214 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:54:05] 997*2^1509377-1 is not prime. Res64: 10094807CFD2240D Time : 0.0 sec. user=mdettweiler [2018-05-10 08:54:06] 681*2^1509378-1 is not prime. Res64: DF6111F2DE7C3306 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:54:06] 731*2^1509378-1 is not prime. Res64: C04ABEF9AC067871 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:54:07] 843*2^1509378-1 is not prime. Res64: 902A2E8A050F6B4C Time : 0.0 sec. user=mdettweiler [2018-05-10 08:55:08] 881*2^1509378-1 is not prime. Res64: 01195CEB590735A3 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:55:09] 927*2^1509378-1 is not prime. Res64: BF12B0319226D07D Time : 0.0 sec. user=mdettweiler [2018-05-10 08:55:09] 933*2^1509378-1 is not prime. Res64: 316DBAC9D178D2B3 Time : 0.0 sec. user=mdettweiler [2018-05-10 08:55:10] 963*2^1509378-1 is not prime. Res64: AFC27EFBD295BDFB Time : 0.0 sec. user=mdettweiler [2018-05-10 08:55:10] 703*2^1509379-1 is not prime. Res64: 90795AA566B54EAA Time : 0.0 sec. user=mdettweiler [2018-05-10 09:24:56] 789*2^1509379-1 is not prime. Res64: 8066492A6516952C Time : 0.0 sec. user=mdettweiler [2018-05-10 09:24:57] 793*2^1509379-1 is not prime. Res64: E51AE4BE43489198 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:24:57] 835*2^1509379-1 is not prime. Res64: 16B148BE3867F032 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:24:58] 931*2^1509379-1 is not prime. Res64: 9F255DB7FFD4C35A Time : 0.0 sec. user=mdettweiler [2018-05-10 09:24:58] 985*2^1509379-1 is not prime. Res64: 3D9D3C081C8F9C63 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:43:52] 885*2^1509380-1 is not prime. Res64: C51DDF3D3D995A44 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:43:52] 897*2^1509380-1 is not prime. Res64: 73B1939A73CE9ED6 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:43:53] 899*2^1509380-1 is not prime. Res64: 227F7C138DC2C50C Time : 0.0 sec. user=mdettweiler [2018-05-10 09:43:53] 601*2^1509381-1 is not prime. Res64: 8B3CC5FF330BDA07 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:43:54] 609*2^1509381-1 is not prime. Res64: 13C5379DEE540309 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:44:03] 699*2^1509380-1 is not prime. Res64: BDDD1B4538D87C32 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:44:03] 717*2^1509380-1 is not prime. Res64: D972FE0FA9B96519 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:44:04] 797*2^1509380-1 is not prime. Res64: 42787A0FC1CBD981 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:44:04] 855*2^1509380-1 is not prime. Res64: 5762A7101E3C547A Time : 0.0 sec. user=mdettweiler [2018-05-10 09:44:05] 875*2^1509380-1 is not prime. Res64: 0CB2839352672110 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:45:28] 679*2^1509381-1 is not prime. Res64: A49D6714AB157A81 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:45:28] 745*2^1509381-1 is not prime. Res64: 0FD208546A6CD873 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:45:29] 747*2^1509381-1 is not prime. Res64: 61792CF86C3EBA6D Time : 0.0 sec. user=mdettweiler [2018-05-10 09:45:29] 825*2^1509381-1 is not prime. Res64: A635CFBD9B6609A2 Time : 0.0 sec. user=mdettweiler [2018-05-10 09:45:29] 861*2^1509381-1 is not prime. Res64: FB0C397441452FAD Time : 0.0 sec. user=mdettweiler [2018-05-10 10:15:04] 885*2^1509381-1 is not prime. Res64: C2676C8F510992D1 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:15:05] 951*2^1509381-1 is not prime. Res64: 4CF383DB8118CB6B Time : 0.0 sec. user=mdettweiler [2018-05-10 10:15:05] 681*2^1509382-1 is not prime. Res64: 828BBF11E321AC00 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:15:06] 813*2^1509382-1 is not prime. Res64: 6CD93D2B310DC92A Time : 0.0 sec. user=mdettweiler [2018-05-10 10:15:06] 881*2^1509382-1 is not prime. Res64: 945643FF9FBAA840 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:33:59] 693*2^1509383-1 is not prime. Res64: 60939CF8863AE9A6 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:33:59] 703*2^1509383-1 is not prime. Res64: 37820855B8517991 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:01] 741*2^1509383-1 is not prime. Res64: 2D1DF33CA4F5787E Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:02] 811*2^1509383-1 is not prime. Res64: F77AA69A7B8393C7 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:02] 901*2^1509383-1 is not prime. Res64: 0674CBDC867FDBE5 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:07] 915*2^1509382-1 is not prime. Res64: 70E57399C251F2EE Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:07] 923*2^1509382-1 is not prime. Res64: 1135D2796F24F7A3 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:08] 941*2^1509382-1 is not prime. Res64: D9CC2D15B571B37E Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:08] 995*2^1509382-1 is not prime. Res64: 83356524182E0496 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:34:08] 685*2^1509383-1 is not prime. Res64: 93C01CA6BEAA8696 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:35:44] 955*2^1509383-1 is not prime. Res64: F3CEF03B1DE7CB7D Time : 0.0 sec. user=mdettweiler [2018-05-10 10:35:44] 993*2^1509383-1 is not prime. Res64: E09C52D438FA8B61 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:35:45] 605*2^1509384-1 is not prime. Res64: 297A75736B13FAF3 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:35:45] 737*2^1509384-1 is not prime. Res64: A6C88B81724C42D5 Time : 0.0 sec. user=mdettweiler [2018-05-10 10:35:46] 875*2^1509384-1 is not prime. Res64: 08D256559D930711 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:05:09] 893*2^1509384-1 is not prime. Res64: 3CBD5B623CB308EF Time : 0.0 sec. user=mdettweiler [2018-05-10 11:05:11] 601*2^1509385-1 is not prime. Res64: 82CA66930A756278 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:05:11] 799*2^1509385-1 is not prime. Res64: 8956A0FBE30D38D2 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:05:15] 861*2^1509385-1 is not prime. Res64: 03873481C4A40121 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:05:16] 877*2^1509385-1 is not prime. Res64: 71BA59591FB29F83 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:23:50] 957*2^1509385-1 is not prime. Res64: 1F01AF400B662683 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:23:51] 979*2^1509385-1 is not prime. Res64: 846B41533352BADF Time : 0.0 sec. user=mdettweiler [2018-05-10 11:23:51] 627*2^1509386-1 is not prime. Res64: 85E195F7EE04CEE5 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:23:52] 633*2^1509386-1 is not prime. Res64: 535A86ADEC32AE0B Time : 0.0 sec. user=mdettweiler [2018-05-10 11:23:52] 743*2^1509386-1 is not prime. Res64: A8802F2794205296 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:24:30] 755*2^1509386-1 is not prime. Res64: FDB93EED36E097D3 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:24:31] 857*2^1509386-1 is not prime. Res64: A328A465B06A13FF Time : 0.0 sec. user=mdettweiler [2018-05-10 11:24:31] 917*2^1509386-1 is not prime. Res64: CBF25D8109837674 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:24:32] 735*2^1509387-1 is not prime. Res64: D96D0841118B8309 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:24:32] 931*2^1509387-1 is not prime. Res64: 2B3BE4FC701BDB1A Time : 0.0 sec. user=mdettweiler [2018-05-10 11:25:06] 963*2^1509387-1 is not prime. Res64: FA61DF0E24C77537 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:25:06] 663*2^1509388-1 is not prime. Res64: 90FD8970899F02BA Time : 0.0 sec. user=mdettweiler [2018-05-10 11:25:06] 677*2^1509388-1 is not prime. Res64: 46E932969F5D8A6B Time : 0.0 sec. user=mdettweiler [2018-05-10 11:25:07] 969*2^1509388-1 is not prime. Res64: E1E5A701261D1AE2 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:25:07] 631*2^1509389-1 is not prime. Res64: 9B7C902B796EB477 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:56:04] 729*2^1509389-1 is not prime. Res64: 47FE5D70CD66FBDA Time : 0.0 sec. user=mdettweiler [2018-05-10 11:56:04] 847*2^1509389-1 is not prime. Res64: C5C8C9349D4D9367 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:56:04] 925*2^1509389-1 is not prime. Res64: 635148CA83AD786D Time : 0.0 sec. user=mdettweiler [2018-05-10 11:56:05] 955*2^1509389-1 is not prime. Res64: B0A1695E7635A369 Time : 0.0 sec. user=mdettweiler [2018-05-10 11:56:05] 741*2^1509390-1 is not prime. Res64: EC450F31FB3289C5 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:13] 639*2^1509391-1 is not prime. Res64: 8A39BC565445964A Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:14] 685*2^1509391-1 is not prime. Res64: 97B054E84075751C Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:14] 771*2^1509391-1 is not prime. Res64: D84802A9B0E2EA81 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:15] 861*2^1509391-1 is not prime. Res64: 9A2BA8A9B1DC937A Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:15] 883*2^1509391-1 is not prime. Res64: 0AF865AC695525E7 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:26] 605*2^1509392-1 is not prime. Res64: 84D9B3A0E85E8FF9 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:26] 665*2^1509392-1 is not prime. Res64: 01EF3B43E1663254 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:27] 677*2^1509392-1 is not prime. Res64: 26C255210A34372D Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:27] 719*2^1509392-1 is not prime. Res64: B931249F851CAB13 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:29] 753*2^1509392-1 is not prime. Res64: 65311E5332032297 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:30] 791*2^1509390-1 is not prime. Res64: 0B18596AF87FBA7E Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:30] 797*2^1509390-1 is not prime. Res64: 9F94D9EC6F3B6218 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:31] 821*2^1509390-1 is not prime. Res64: 7F71A9739966DB62 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:31] 861*2^1509390-1 is not prime. Res64: 2F8A7BD6EF470564 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:15:32] 873*2^1509390-1 is not prime. Res64: 09796D141291C849 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:46:05] 657*2^1509393-1 is not prime. Res64: 75E52D9AFDE29C3B Time : 0.0 sec. user=mdettweiler [2018-05-10 12:46:07] 691*2^1509393-1 is not prime. Res64: 9D787ECC14E68823 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:46:08] 705*2^1509393-1 is not prime. Res64: EA980899BB03858C Time : 0.0 sec. user=mdettweiler [2018-05-10 12:46:08] 805*2^1509393-1 is not prime. Res64: 3F35A1D4091CB4E7 Time : 0.0 sec. user=mdettweiler [2018-05-10 12:46:08] 889*2^1509393-1 is not prime. Res64: FB209EF00CB9A1EE Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:13] 919*2^1509393-1 is not prime. Res64: F92FE04D2B3C7216 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:14] 951*2^1509393-1 is not prime. Res64: 5C5A893173FCFE9D Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:15] 675*2^1509394-1 is not prime. Res64: 147482B4D6A2BA8E Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:17] 701*2^1509394-1 is not prime. Res64: E8E507925E9CFEB6 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:20] 741*2^1509394-1 is not prime. Res64: 03B6338890F61B75 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:27] 651*2^1509395-1 is not prime. Res64: 46191F64ECBB2ECE Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:28] 663*2^1509395-1 is not prime. Res64: 5E70C0E21467A83F Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:29] 715*2^1509395-1 is not prime. Res64: A871CBD7AC51C512 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:34] 831*2^1509394-1 is not prime. Res64: 0142F23421CDCA80 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:34] 735*2^1509395-1 is not prime. Res64: 8577C2DDD61DB4A4 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:37] 833*2^1509394-1 is not prime. Res64: A22AD734890C0168 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:38] 891*2^1509394-1 is not prime. Res64: 3276C381834018A2 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:38] 781*2^1509395-1 is not prime. Res64: 05B5AAEB33CA26FD Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:41] 1001*2^1509394-1 is not prime. Res64: 2E8C84A8AEC33E63 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:05:42] 601*2^1509395-1 is not prime. Res64: 95C7608062E5C842 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:35:57] 895*2^1509395-1 is not prime. Res64: 1D9181B626179D3C Time : 0.0 sec. user=mdettweiler [2018-05-10 13:35:57] 949*2^1509395-1 is not prime. Res64: 042F5EF1FAACD3A1 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:35:58] 999*2^1509395-1 is not prime. Res64: F1B3418CDD143211 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:35:58] 669*2^1509396-1 is not prime. Res64: AE0D51A9B44EC54F Time : 0.0 sec. user=mdettweiler [2018-05-10 13:35:59] 705*2^1509396-1 is not prime. Res64: 58BDA69605CEEB00 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:34] 749*2^1509396-1 is not prime. Res64: AFF3E655EF7DFA4A Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:34] 767*2^1509396-1 is not prime. Res64: DA8A68DCC9D8FF69 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:35] 691*2^1509397-1 is not prime. Res64: BD1B05C50ECC6DAF Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:35] 835*2^1509397-1 is not prime. Res64: B93F69E88CB31B03 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:37] 847*2^1509397-1 is not prime. Res64: 26951FB176150EFF Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:38] 861*2^1509397-1 is not prime. Res64: 87C19C19DEDF98E9 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:39] 937*2^1509397-1 is not prime. Res64: F06EF2F0C4076D32 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:39] 997*2^1509397-1 is not prime. Res64: F204CC4DFAA1763E Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:39] 665*2^1509398-1 is not prime. Res64: 269642D7A8F6F3F5 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:40] 677*2^1509398-1 is not prime. Res64: C9AB80AB85A547A0 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:58] 693*2^1509398-1 is not prime. Res64: 94A5257387A18E7F Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:59] 731*2^1509398-1 is not prime. Res64: 1842CF32DAAE25D7 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:55:59] 761*2^1509398-1 is not prime. Res64: 7A86CD7E273D39B4 Time : 0.0 sec. user=mdettweiler [2018-05-10 13:56:00] 801*2^1509398-1 is not prime. Res64: EF75C7CA70F8E6FA Time : 0.0 sec. user=mdettweiler [2018-05-10 13:56:00] 813*2^1509398-1 is not prime. Res64: 588D60CFE963D666 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:26:03] 843*2^1509398-1 is not prime. Res64: C535D4427ABD94E5 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:26:03] 885*2^1509398-1 is not prime. Res64: 495FB2C0AA64DC1C Time : 0.0 sec. user=mdettweiler [2018-05-10 14:26:03] 911*2^1509398-1 is not prime. Res64: 72151B03724FE4DD Time : 0.0 sec. user=mdettweiler [2018-05-10 14:26:04] 963*2^1509398-1 is not prime. Res64: 2C7A05B279CEC116 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:26:04] 675*2^1509399-1 is not prime. Res64: 8E5327C21DA8576A Time : 0.0 sec. user=mdettweiler [2018-05-10 14:44:56] 943*2^1509399-1 is not prime. Res64: 34F069FC8C169A07 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:44:56] 985*2^1509399-1 is not prime. Res64: F83703AFCB829CF6 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:44:57] 603*2^1509400-1 is not prime. Res64: BB9E583A7397B9AB Time : 0.0 sec. user=mdettweiler [2018-05-10 14:44:57] 605*2^1509400-1 is not prime. Res64: 96CC37EF71E72320 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:44:58] 707*2^1509400-1 is not prime. Res64: FAE736C38896CDE0 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:45:29] 693*2^1509399-1 is not prime. Res64: 005C2164971C87CB Time : 0.0 sec. user=mdettweiler [2018-05-10 14:45:30] 703*2^1509399-1 is not prime. Res64: BBE2BC40EDAF738B Time : 0.0 sec. user=mdettweiler [2018-05-10 14:45:30] 745*2^1509399-1 is not prime. Res64: A335A22E93446D92 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:45:31] 853*2^1509399-1 is not prime. Res64: BF8E5FFDCB741F1B Time : 0.0 sec. user=mdettweiler [2018-05-10 14:45:31] 865*2^1509399-1 is not prime. Res64: B1D0E0B2F96A26BD Time : 0.0 sec. user=mdettweiler [2018-05-10 14:46:28] 759*2^1509400-1 is not prime. Res64: 139966A82287537F Time : 0.0 sec. user=mdettweiler [2018-05-10 14:46:29] 873*2^1509400-1 is not prime. Res64: 60FCF659886F3B77 Time : 0.0 sec. user=mdettweiler [2018-05-10 14:46:29] 909*2^1509400-1 is not prime. Res64: EB0D9E9F58905DEE Time : 0.0 sec. user=mdettweiler [2018-05-10 14:46:30] 747*2^1509401-1 is not prime. Res64: DAC16330ABBED07A Time : 0.0 sec. user=mdettweiler [2018-05-10 14:46:30] 777*2^1509401-1 is not prime. Res64: E05122D023871414 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:15:52] 781*2^1509401-1 is not prime. Res64: ECDAA0A28E6FC763 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:15:52] 819*2^1509401-1 is not prime. Res64: 57E9CD96DD30EC9A Time : 0.0 sec. user=mdettweiler [2018-05-10 15:15:53] 955*2^1509401-1 is not prime. Res64: DB2EA7567A041700 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:15:53] 665*2^1509402-1 is not prime. Res64: 602F378E55583CD6 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:15:53] 677*2^1509402-1 is not prime. Res64: F5032DA5B9567D8D Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:25] 695*2^1509402-1 is not prime. Res64: 16D966B9EF8F4CD3 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:25] 711*2^1509402-1 is not prime. Res64: 8E125559D95438D5 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:26] 801*2^1509402-1 is not prime. Res64: 2E1BEE076F5B60F0 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:26] 923*2^1509402-1 is not prime. Res64: 21F5B0AA3523ECE2 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:27] 951*2^1509402-1 is not prime. Res64: 4C35AADDFA44DA4C Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:39] 963*2^1509402-1 is not prime. Res64: 9948B96C17C119C8 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:40] 679*2^1509403-1 is not prime. Res64: 2282D4CED9ED0234 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:40] 783*2^1509403-1 is not prime. Res64: 8431238768F92F6B Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:41] 901*2^1509403-1 is not prime. Res64: 2EE448A5DDD5CC6E Time : 0.0 sec. user=mdettweiler [2018-05-10 15:35:41] 943*2^1509403-1 is not prime. Res64: CFCD95F6D1032DEC Time : 0.0 sec. user=mdettweiler [2018-05-10 15:36:49] 663*2^1509404-1 is not prime. Res64: A6C782EF59C51C56 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:36:50] 803*2^1509404-1 is not prime. Res64: 960D1C26FC0CEA37 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:36:50] 897*2^1509404-1 is not prime. Res64: 785924156EA6079C Time : 0.0 sec. user=mdettweiler [2018-05-10 15:36:51] 923*2^1509404-1 is not prime. Res64: 7AB394977A24C2C0 Time : 0.0 sec. user=mdettweiler [2018-05-10 15:36:51] 935*2^1509404-1 is not prime. Res64: EC706FC8594366B1 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:05:36] 969*2^1509404-1 is not prime. Res64: D3A741F759EBCF40 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:05:37] 655*2^1509405-1 is not prime. Res64: B872930C6E3FE035 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:05:37] 685*2^1509405-1 is not prime. Res64: C9E4019007FD6323 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:05:39] 789*2^1509405-1 is not prime. Res64: C748BD6EB5D3A3C7 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:05:41] 819*2^1509405-1 is not prime. Res64: 688DE33AA2127A24 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:22] 861*2^1509405-1 is not prime. Res64: 5B07A993D6E96C69 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:22] 919*2^1509405-1 is not prime. Res64: 035FE9D435A75125 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:23] 937*2^1509405-1 is not prime. Res64: 1ECD264A27439917 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:23] 979*2^1509405-1 is not prime. Res64: 8C5E1A06B46ECCAD Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:24] 653*2^1509406-1 is not prime. Res64: F9B0EE334239334B Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:30] 743*2^1509406-1 is not prime. Res64: 25A0A5770899D8A6 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:30] 785*2^1509406-1 is not prime. Res64: D16ED29FD7404FB3 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:30] 801*2^1509406-1 is not prime. Res64: 84E8272F1B6A3A66 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:31] 867*2^1509406-1 is not prime. Res64: 84526BC3473FF653 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:25:31] 619*2^1509407-1 is not prime. Res64: C7D939D63F6741DA Time : 0.0 sec. user=mdettweiler [2018-05-10 16:27:09] 735*2^1509407-1 is not prime. Res64: 33A8A0AAC51BE52C Time : 0.0 sec. user=mdettweiler [2018-05-10 16:27:09] 753*2^1509407-1 is not prime. Res64: 894C1EED89E5740C Time : 0.0 sec. user=mdettweiler [2018-05-10 16:27:09] 799*2^1509407-1 is not prime. Res64: 6300C2866DA7B2BF Time : 0.0 sec. user=mdettweiler [2018-05-10 16:27:10] 859*2^1509407-1 is not prime. Res64: 565C5953B6505EA0 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:27:10] 939*2^1509407-1 is not prime. Res64: 3B82B07FD48EC134 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:55:40] 963*2^1509407-1 is not prime. Res64: 2B8B5461A04EDBB6 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:55:40] 979*2^1509407-1 is not prime. Res64: FC3C883D145F7CB5 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:55:41] 629*2^1509408-1 is not prime. Res64: 1B5D8196A05494C1 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:55:41] 633*2^1509408-1 is not prime. Res64: 8E4B877563848425 Time : 0.0 sec. user=mdettweiler [2018-05-10 16:55:42] 635*2^1509408-1 is not prime. Res64: 291CEE078537EB30 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:38] 841*2^1509409-1 is not prime. Res64: CB6C710FB9D44957 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:38] 847*2^1509409-1 is not prime. Res64: D8CDF41CC922CCB0 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:39] 877*2^1509409-1 is not prime. Res64: 83B2F73409E8AB18 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:39] 939*2^1509409-1 is not prime. Res64: 6D08726E63FD9D51 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:40] 951*2^1509409-1 is not prime. Res64: FA99E86C6284014D Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:43] 657*2^1509408-1 is not prime. Res64: 89A314E781012A13 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:44] 825*2^1509408-1 is not prime. Res64: 5623BAD3BBE34C67 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:46] 879*2^1509408-1 is not prime. Res64: D728A2A80D5567E2 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:47] 999*2^1509408-1 is not prime. Res64: A40D247A4EBAEA73 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:16:48] 721*2^1509409-1 is not prime. Res64: 5EA4937D3A6C290D Time : 0.0 sec. user=mdettweiler [2018-05-10 17:17:44] 987*2^1509409-1 is not prime. Res64: 260CC973E6BDC720 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:17:44] 641*2^1509410-1 is not prime. Res64: 654D30A8B17D6C72 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:17:45] 833*2^1509410-1 is not prime. Res64: 2F44E634BEF33170 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:17:45] 923*2^1509410-1 is not prime. Res64: 742CF29F9C53368E Time : 0.0 sec. user=mdettweiler [2018-05-10 17:17:46] 951*2^1509410-1 is not prime. Res64: 87C6EE66E9B9B79B Time : 0.0 sec. user=mdettweiler [2018-05-10 17:45:14] 625*2^1509411-1 is not prime. Res64: 6927B8FD8807D47D Time : 0.0 sec. user=mdettweiler [2018-05-10 17:45:14] 651*2^1509411-1 is not prime. Res64: 07E17652FA4B8723 Time : 0.0 sec. user=mdettweiler [2018-05-10 17:45:14] 691*2^1509411-1 is not prime. Res64: 4A134C00925A278F Time : 0.0 sec. user=mdettweiler [2018-05-10 17:45:15] 741*2^1509411-1 is not prime. Res64: 60DC56F40A1D676E Time : 0.0 sec. user=mdettweiler [2018-05-10 17:45:15] 769*2^1509411-1 is not prime. Res64: 6E7242F12AA554AE Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:28] 871*2^1509411-1 is not prime. Res64: A022149B326157CD Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:29] 955*2^1509411-1 is not prime. Res64: C91548DE9C69142A Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:29] 603*2^1509412-1 is not prime. Res64: 64A3A26B769ADE64 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:30] 719*2^1509412-1 is not prime. Res64: 4F3BCDCFD18640F7 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:30] 855*2^1509412-1 is not prime. Res64: 2328DCA9FB890E93 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:53] 869*2^1509412-1 is not prime. Res64: 9D15919B04DECFA7 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:54] 933*2^1509412-1 is not prime. Res64: 1A6CF33C827B81FE Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:55] 775*2^1509413-1 is not prime. Res64: 0A49EA5A3FDC6750 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:55] 781*2^1509413-1 is not prime. Res64: B12C16EA63FC2A99 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:07:56] 969*2^1509413-1 is not prime. Res64: BEF44A2E6050ABDA Time : 0.0 sec. user=mdettweiler [2018-05-10 18:08:32] 615*2^1509414-1 is not prime. Res64: E51CAC5E528C103D Time : 0.0 sec. user=mdettweiler [2018-05-10 18:08:33] 707*2^1509414-1 is not prime. Res64: DD27F9832CFBF765 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:08:33] 755*2^1509414-1 is not prime. Res64: ED87A5F8C46F84CE Time : 0.0 sec. user=mdettweiler [2018-05-10 18:08:33] 765*2^1509414-1 is not prime. Res64: 243FF7166910F3A5 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:08:34] 917*2^1509414-1 is not prime. Res64: 76A0E939502584C7 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:35:40] 921*2^1509414-1 is not prime. Res64: D01FC605F1BAB8AD Time : 0.0 sec. user=mdettweiler [2018-05-10 18:35:40] 983*2^1509414-1 is not prime. Res64: 328031FC080DDCED Time : 0.0 sec. user=mdettweiler [2018-05-10 18:35:41] 601*2^1509415-1 is not prime. Res64: DBA0AA5B4455F895 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:35:41] 649*2^1509415-1 is not prime. Res64: B166B2C1D5D2ABF8 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:35:42] 723*2^1509415-1 is not prime. Res64: 0A8DB02BAB0D83D4 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:57:35] 609*2^1509416-1 is not prime. Res64: 73677B53101EDACD Time : 0.0 sec. user=mdettweiler [2018-05-10 18:57:36] 623*2^1509416-1 is not prime. Res64: 8F3377739AFE543F Time : 0.0 sec. user=mdettweiler [2018-05-10 18:57:36] 725*2^1509416-1 is not prime. Res64: 22392E267A8E2995 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:57:36] 825*2^1509416-1 is not prime. Res64: CF9BE2F98658BB88 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:57:37] 857*2^1509416-1 is not prime. Res64: FBE4916003B9DFC7 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:58:03] 735*2^1509415-1 is not prime. Res64: CE2A50F679A2ADD3 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:58:04] 759*2^1509415-1 is not prime. Res64: EA07BB75E22D6016 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:58:04] 765*2^1509415-1 is not prime. Res64: F05F387AD7CBFF2C Time : 0.0 sec. user=mdettweiler [2018-05-10 18:58:05] 783*2^1509415-1 is not prime. Res64: 137E30D55A1C2531 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:58:05] 805*2^1509415-1 is not prime. Res64: D7AB248FD88CC237 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:59:24] 935*2^1509416-1 is not prime. Res64: 6FCCCD9E4740F838 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:59:25] 945*2^1509416-1 is not prime. Res64: 3C28C402B27C587D Time : 0.0 sec. user=mdettweiler [2018-05-10 18:59:25] 993*2^1509416-1 is not prime. Res64: E849F06DA97BD503 Time : 0.0 sec. user=mdettweiler [2018-05-10 18:59:25] 999*2^1509416-1 is not prime. Res64: 15489EAC920F188B Time : 0.0 sec. user=mdettweiler [2018-05-10 18:59:26] 885*2^1509417-1 is not prime. Res64: C5A7AA4C23BCB769 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:26:27] 895*2^1509417-1 is not prime. Res64: 049A99B8BF73FA46 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:26:28] 991*2^1509417-1 is not prime. Res64: 467060EEE757C7CB Time : 0.0 sec. user=mdettweiler [2018-05-10 19:26:28] 887*2^1509418-1 is not prime. Res64: 44A4532B8243BAED Time : 0.0 sec. user=mdettweiler [2018-05-10 19:26:29] 951*2^1509418-1 is not prime. Res64: F7477ADD16832323 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:26:29] 981*2^1509418-1 is not prime. Res64: 4DA993221F44938F Time : 0.0 sec. user=mdettweiler [2018-05-10 19:47:43] 987*2^1509418-1 is not prime. Res64: A7E56BB2F0715BEF Time : 0.0 sec. user=mdettweiler [2018-05-10 19:47:46] 775*2^1509419-1 is not prime. Res64: 05A3868369BDB7F9 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:47:46] 789*2^1509419-1 is not prime. Res64: 47977DA47D3BA96A Time : 0.0 sec. user=mdettweiler [2018-05-10 19:47:47] 813*2^1509419-1 is not prime. Res64: 72B6F8BA9BA3DE8C Time : 0.0 sec. user=mdettweiler [2018-05-10 19:47:47] 623*2^1509420-1 is not prime. Res64: 90ABBD7E13870360 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:48:26] 803*2^1509420-1 is not prime. Res64: 3694CA9AD3DD3832 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:48:26] 929*2^1509420-1 is not prime. Res64: 2743FB9A629213E0 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:48:26] 681*2^1509421-1 is not prime. Res64: FD38B82123075671 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:48:27] 859*2^1509421-1 is not prime. Res64: 265E43A762854B49 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:48:27] 861*2^1509421-1 is not prime. Res64: CCB23A8DACA7EB3E Time : 0.0 sec. user=mdettweiler [2018-05-10 19:49:52] 867*2^1509421-1 is not prime. Res64: D0D56A9F1F65EE5D Time : 0.0 sec. user=mdettweiler [2018-05-10 19:49:55] 877*2^1509421-1 is not prime. Res64: DBE3DA047E55646F Time : 0.0 sec. user=mdettweiler [2018-05-10 19:49:55] 895*2^1509421-1 is not prime. Res64: BAE64F454157BFCD Time : 0.0 sec. user=mdettweiler [2018-05-10 19:49:56] 939*2^1509421-1 is not prime. Res64: C796D8E5D8E9A4C3 Time : 0.0 sec. user=mdettweiler [2018-05-10 19:49:56] 945*2^1509421-1 is not prime. Res64: 311EC7B516332C5C Time : 0.0 sec. user=mdettweiler [2018-05-10 20:16:09] 961*2^1509421-1 is not prime. Res64: F13B116ABC5AC9B2 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:16:10] 675*2^1509422-1 is not prime. Res64: FBAB36147335864C Time : 0.0 sec. user=mdettweiler [2018-05-10 20:16:11] 693*2^1509422-1 is not prime. Res64: D0CC0498B61906A0 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:16:12] 705*2^1509422-1 is not prime. Res64: FB3731751CE2038D Time : 0.0 sec. user=mdettweiler [2018-05-10 20:16:13] 711*2^1509422-1 is not prime. Res64: ED2D67F04FCDBDFE Time : 0.0 sec. user=mdettweiler [2018-05-10 20:37:57] 961*2^1509423-1 is not prime. Res64: 3080B69B3E3C124E Time : 0.0 sec. user=mdettweiler [2018-05-10 20:37:57] 609*2^1509424-1 is not prime. Res64: 53F72D272246CD45 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:37:58] 629*2^1509424-1 is not prime. Res64: A673A22172274889 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:37:58] 705*2^1509424-1 is not prime. Res64: 1C9175C071013698 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:37:58] 743*2^1509424-1 is not prime. Res64: 9DEF93464151FC89 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:38:18] 741*2^1509422-1 is not prime. Res64: 45433118BE1DB998 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:38:19] 781*2^1509423-1 is not prime. Res64: DBEB3EBF77C4D185 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:38:19] 823*2^1509423-1 is not prime. Res64: 3446F3E31FB9CD0F Time : 0.0 sec. user=mdettweiler [2018-05-10 20:38:19] 829*2^1509423-1 is not prime. Res64: 60760F3D86CC60E5 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:38:20] 945*2^1509423-1 is not prime. Res64: 403251DFB4901401 Time : 0.0 sec. user=mdettweiler [2018-05-10 20:40:36] 747*2^1509424-1 is not prime. Res64: 96594D8088BCFD9B Time : 0.0 sec. user=mdettweiler [2018-05-10 20:40:36] 827*2^1509424-1 is not prime. Res64: 84F01D4464AE9AFE Time : 0.0 sec. user=mdettweiler [2018-05-10 20:40:37] 855*2^1509424-1 is not prime. Res64: C913AFE6A4A79F3D Time : 0.0 sec. user=mdettweiler [2018-05-10 20:40:37] 863*2^1509424-1 is not prime. Res64: 15737A4AFE661ADC Time : 0.0 sec. user=mdettweiler [2018-05-10 20:40:37] 869*2^1509424-1 is not prime. Res64: 60060D58E022A6FB Time : 0.0 sec. user=mdettweiler [2018-05-10 21:07:12] 927*2^1509424-1 is not prime. Res64: 7A418F55FA987C40 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:07:12] 989*2^1509424-1 is not prime. Res64: 7727A5177C7A909C Time : 0.0 sec. user=mdettweiler [2018-05-10 21:07:13] 607*2^1509425-1 is not prime. Res64: 9775F9339A828814 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:07:13] 771*2^1509425-1 is not prime. Res64: 23374244BEB7B1F1 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:07:15] 841*2^1509425-1 is not prime. Res64: 289B43133B943489 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:27:37] 611*2^1509426-1 is not prime. Res64: 0FDEF0D769661BCD Time : 0.0 sec. user=mdettweiler [2018-05-10 21:27:38] 633*2^1509426-1 is not prime. Res64: 3C77E7EC1138D141 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:27:38] 641*2^1509426-1 is not prime. Res64: 510AF24347AF8FA0 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:27:38] 711*2^1509426-1 is not prime. Res64: ED40D21D95606EE8 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:27:39] 815*2^1509426-1 is not prime. Res64: AC72977CE4D2EDC5 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:28:32] 693*2^1509427-1 is not prime. Res64: F0E919BFE6AB5894 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:28:32] 735*2^1509427-1 is not prime. Res64: A5EDEF083E8AE129 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:28:33] 769*2^1509427-1 is not prime. Res64: F7536B20DF15FD53 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:28:33] 805*2^1509427-1 is not prime. Res64: C36F848FFAC72D4D Time : 0.0 sec. user=mdettweiler [2018-05-10 21:28:34] 883*2^1509427-1 is not prime. Res64: 144F2F4CAF717AD6 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:31:03] 647*2^1509428-1 is not prime. Res64: 6E47F4E30A3202C4 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:31:04] 707*2^1509428-1 is not prime. Res64: 82B974889AA39FC0 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:31:04] 795*2^1509428-1 is not prime. Res64: 078364C4BF3B1344 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:31:04] 797*2^1509428-1 is not prime. Res64: 25C2DCAB25BD9CB6 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:31:05] 825*2^1509428-1 is not prime. Res64: 2984C98B886F993F Time : 0.0 sec. user=mdettweiler [2018-05-10 21:58:01] 855*2^1509428-1 is not prime. Res64: D62AE77EF4FC9929 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:58:01] 875*2^1509428-1 is not prime. Res64: BFECD0BEA18AF3CF Time : 0.0 sec. user=mdettweiler [2018-05-10 21:58:01] 909*2^1509428-1 is not prime. Res64: 514ABE72EB36EC77 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:58:02] 927*2^1509428-1 is not prime. Res64: E0BD04F1E12F4938 Time : 0.0 sec. user=mdettweiler [2018-05-10 21:58:02] 741*2^1509429-1 is not prime. Res64: 8083FC3A563C55BD Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:08] 769*2^1509429-1 is not prime. Res64: FA895C16C35D06D3 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:09] 787*2^1509429-1 is not prime. Res64: F126CFAFA6EBA2EA Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:09] 811*2^1509429-1 is not prime. Res64: E1AE235970F88F1D Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:09] 825*2^1509429-1 is not prime. Res64: 0B8B3B4328D455E9 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:10] 889*2^1509429-1 is not prime. Res64: 86AFCC7B5AEA682C Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:21] 961*2^1509429-1 is not prime. Res64: B2F78D7BFBD0D07F Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:21] 603*2^1509430-1 is not prime. Res64: F357A0E636EE34F5 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:21] 825*2^1509430-1 is not prime. Res64: 2768777E9CB6717A Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:22] 923*2^1509430-1 is not prime. Res64: 643F55E56946862F Time : 0.0 sec. user=mdettweiler [2018-05-10 22:18:22] 951*2^1509430-1 is not prime. Res64: 99CB1BF92D25DEC2 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:20:45] 995*2^1509430-1 is not prime. Res64: D1C1DC6557727AF2 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:20:45] 621*2^1509431-1 is not prime. Res64: A094E6F872B08AAE Time : 0.0 sec. user=mdettweiler [2018-05-10 22:20:46] 679*2^1509431-1 is not prime. Res64: 020F29B03F8AF11D Time : 0.0 sec. user=mdettweiler [2018-05-10 22:20:46] 735*2^1509431-1 is not prime. Res64: C4B2C36D1E368B0D Time : 0.0 sec. user=mdettweiler [2018-05-10 22:20:47] 805*2^1509431-1 is not prime. Res64: D966165361DB5CB8 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:48:22] 879*2^1509431-1 is not prime. Res64: 204511D27C951A7E Time : 0.0 sec. user=mdettweiler [2018-05-10 22:48:22] 913*2^1509431-1 is not prime. Res64: 32E217389E5E37FD Time : 0.0 sec. user=mdettweiler [2018-05-10 22:48:23] 931*2^1509431-1 is not prime. Res64: 73CFE3450DD352F9 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:48:23] 979*2^1509431-1 is not prime. Res64: 5BD63DBDF8960755 Time : 0.0 sec. user=mdettweiler [2018-05-10 22:48:23] 693*2^1509432-1 is not prime. Res64: 37CC54DFA24FB8F0 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:22] 713*2^1509432-1 is not prime. Res64: 9F8EE4D41BDA3F10 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:23] 797*2^1509432-1 is not prime. Res64: 9C0EFDBB3B21DA97 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:23] 867*2^1509432-1 is not prime. Res64: 9E5E5C0D2D935679 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:24] 915*2^1509432-1 is not prime. Res64: B445689AD9368F99 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:24] 983*2^1509432-1 is not prime. Res64: DCE40DBDC26257A2 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:43] 745*2^1509433-1 is not prime. Res64: 9F4286B40AFB7526 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:44] 801*2^1509433-1 is not prime. Res64: C8581B02ED06CA14 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:44] 819*2^1509433-1 is not prime. Res64: 869699D89A956833 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:45] 861*2^1509433-1 is not prime. Res64: 71E6B0A530762BBC Time : 0.0 sec. user=mdettweiler [2018-05-10 23:08:45] 895*2^1509433-1 is not prime. Res64: C8B651DD45298831 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:10:31] 915*2^1509433-1 is not prime. Res64: FDE5621588F2B20A Time : 0.0 sec. user=mdettweiler [2018-05-10 23:10:32] 641*2^1509434-1 is not prime. Res64: 88BA12BFFCF44B18 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:10:33] 645*2^1509434-1 is not prime. Res64: 0C652822E447BE36 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:10:34] 743*2^1509434-1 is not prime. Res64: BD926F6150474A01 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:10:35] 783*2^1509434-1 is not prime. Res64: 76711A75EFC7BD2A Time : 0.0 sec. user=mdettweiler [2018-05-10 23:38:48] 861*2^1509434-1 is not prime. Res64: 5C836B1AD26EF0D8 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:38:49] 887*2^1509434-1 is not prime. Res64: D0214CDA7BE25297 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:38:49] 917*2^1509434-1 is not prime. Res64: 714AE08383BFA2B5 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:38:50] 945*2^1509434-1 is not prime. Res64: C7E488A122FAC915 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:38:50] 709*2^1509435-1 is not prime. Res64: AA7E2EFD0230A728 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:13] 927*2^1509436-1 is not prime. Res64: 662B0A1088028E94 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:14] 601*2^1509437-1 is not prime. Res64: 82001489E8199CDF Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:14] 619*2^1509437-1 is not prime. Res64: F0F9806879711193 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:14] 621*2^1509437-1 is not prime. Res64: F3E5A896E1D24F46 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:16] 685*2^1509437-1 is not prime. Res64: 26A5CF8A7B0F2339 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:45] 805*2^1509435-1 is not prime. Res64: 1BF65B34787DEE00 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:45] 829*2^1509435-1 is not prime. Res64: 6B8E86FFC829650B Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:46] 895*2^1509435-1 is not prime. Res64: B5925B58DDD07213 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:48] 675*2^1509436-1 is not prime. Res64: 2618EB58C0356B74 Time : 0.0 sec. user=mdettweiler [2018-05-10 23:58:48] 903*2^1509436-1 is not prime. Res64: 1DEB79DEC4CC51AA Time : 0.0 sec. user=mdettweiler [2018-05-11 00:01:02] 795*2^1509437-1 is not prime. Res64: A03ECE17792B85F3 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:01:02] 635*2^1509438-1 is not prime. Res64: 442DA57E88ED534F Time : 0.0 sec. user=mdettweiler [2018-05-11 00:01:02] 747*2^1509438-1 is not prime. Res64: 22D66F058BEABF2A Time : 0.0 sec.