user=mdettweiler [2015-01-01 00:06:21] 731*2^1388354-1 is not prime. Res64: 7DCE365B0C768568 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:06:22] 753*2^1388354-1 is not prime. Res64: D0902CBBB9629F65 Time : 0.0 sec. user=odicin [2015-01-01 00:08:48] 981*2^1388354-1 is not prime. Res64: 494405586D6B788F Time : 0.0 sec. user=odicin [2015-01-01 00:14:41] 609*2^1388355-1 is not prime. Res64: E07939001677C28A Time : 0.0 sec. user=mdettweiler [2015-01-01 00:15:57] 903*2^1388354-1 is not prime. Res64: 84C2BE7D234C1581 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:15:58] 971*2^1388354-1 is not prime. Res64: 3375A6F179C36394 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:16:44] 825*2^1388352-1 is not prime. Res64: B18355916B99B6C4 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:16:44] 849*2^1388352-1 is not prime. Res64: D5FF7A3F68FBB4E4 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:21:20] 943*2^1388351-1 is not prime. Res64: 55D745C97C220433 Time : 0.0 sec. user=odicin [2015-01-01 00:23:33] 949*2^1388355-1 is not prime. Res64: 45B92EB655F9C9CF Time : 0.0 sec. user=odicin [2015-01-01 00:29:10] 717*2^1388356-1 is not prime. Res64: FCDE6DCED9D5995D Time : 0.0 sec. user=mdettweiler [2015-01-01 00:34:33] 871*2^1388355-1 is not prime. Res64: 6E172BE15FF96886 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:34:33] 943*2^1388355-1 is not prime. Res64: 519B858BE7195E4F Time : 0.0 sec. user=odicin [2015-01-01 00:37:59] 711*2^1388357-1 is not prime. Res64: DC34BB6FC04B00B7 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:43:00] 843*2^1388356-1 is not prime. Res64: 140AC4F180E4F96F Time : 0.0 sec. user=mdettweiler [2015-01-01 00:43:01] 875*2^1388356-1 is not prime. Res64: 90B9F9DE481B90D8 Time : 0.0 sec. user=odicin [2015-01-01 00:43:10] 865*2^1388357-1 is not prime. Res64: 803D9436A48E5807 Time : 0.0 sec. user=mdettweiler [2015-01-01 00:43:55] 965*2^1388356-1 is not prime. Res64: EE81FA638C49070D Time : 0.0 sec. user=mdettweiler [2015-01-01 00:43:56] 649*2^1388357-1 is not prime. Res64: D596C3939C385F0F Time : 0.0 sec. user=mdettweiler [2015-01-01 00:47:57] 685*2^1388357-1 is not prime. Res64: 5297ADCD1C03399D Time : 0.0 sec. user=mdettweiler [2015-01-01 00:47:58] 697*2^1388357-1 is not prime. Res64: 4BFA9804FA63B516 Time : 0.0 sec. user=odicin [2015-01-01 00:52:18] 971*2^1388358-1 is not prime. Res64: 895AEC3EA98C0FD2 Time : 0.0 sec. user=odicin [2015-01-01 00:57:19] 755*2^1388360-1 is not prime. Res64: CD599D83C8D04D41 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:01:09] 663*2^1388358-1 is not prime. Res64: 772E935B89B8C8A8 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:01:10] 923*2^1388358-1 is not prime. Res64: 642999B1777E60A7 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:09:46] 1001*2^1388358-1 is not prime. Res64: BAE7A3C21E657663 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:09:47] 885*2^1388359-1 is not prime. Res64: 050B0A2602611BC8 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:10:41] 935*2^1388360-1 is not prime. Res64: 18C3C3C2F51259D7 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:10:42] 983*2^1388360-1 is not prime. Res64: E34A525088E3D01C Time : 0.0 sec. user=odicin [2015-01-01 01:11:13] 807*2^1388361-1 is not prime. Res64: A7C47457CFD5654F Time : 0.0 sec. user=mdettweiler [2015-01-01 01:14:46] 781*2^1388361-1 is not prime. Res64: 69DC1F1509BB50FF Time : 0.0 sec. user=mdettweiler [2015-01-01 01:14:46] 795*2^1388361-1 is not prime. Res64: 104FF51FF47652E3 Time : 0.0 sec. user=odicin [2015-01-01 01:25:30] 923*2^1388362-1 is not prime. Res64: 3F4E1B444A8ED7D8 Time : 0.0 sec. user=odicin [2015-01-01 01:27:45] 699*2^1388363-1 is not prime. Res64: 8E27EBE5ECA8E399 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:28:03] 811*2^1388361-1 is not prime. Res64: 5E090DFE8CED85D4 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:28:05] 847*2^1388361-1 is not prime. Res64: C6BA2DF7D855EAEB Time : 0.0 sec. user=mdettweiler [2015-01-01 01:36:11] 975*2^1388361-1 is not prime. Res64: 3D267785B82320D9 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:36:12] 603*2^1388362-1 is not prime. Res64: 693D5F8AF87DD399 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:37:08] 765*2^1388362-1 is not prime. Res64: 7557AACBD61A5191 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:37:09] 917*2^1388362-1 is not prime. Res64: 9C721E91AE8B7A99 Time : 0.0 sec. user=odicin [2015-01-01 01:39:51] 859*2^1388363-1 is not prime. Res64: A813F45B4A738092 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:41:09] 735*2^1388363-1 is not prime. Res64: 44A9E7BFFA0950D6 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:41:09] 823*2^1388363-1 is not prime. Res64: 72A58EAB1A133741 Time : 0.0 sec. user=odicin [2015-01-01 01:42:09] 861*2^1388363-1 is not prime. Res64: 272ABB63F42D8F12 Time : 0.0 sec. user=odicin [2015-01-01 01:53:57] 999*2^1388365-1 is not prime. Res64: D179822A8B5731E2 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:54:26] 719*2^1388364-1 is not prime. Res64: ACD35E708B14D464 Time : 0.0 sec. user=mdettweiler [2015-01-01 01:54:27] 905*2^1388364-1 is not prime. Res64: 68C515E3E9830F07 Time : 0.0 sec. user=odicin [2015-01-01 01:56:14] 827*2^1388366-1 is not prime. Res64: DBDB23375847C859 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:02:37] 959*2^1388364-1 is not prime. Res64: 433F938AC9AC0339 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:02:38] 715*2^1388365-1 is not prime. Res64: BC6B093B4589A3BE Time : 0.0 sec. user=mdettweiler [2015-01-01 02:03:21] 861*2^1388365-1 is not prime. Res64: E8A3B9D5CC2B656D Time : 0.0 sec. user=mdettweiler [2015-01-01 02:03:22] 987*2^1388365-1 is not prime. Res64: 56A095882CAB668F Time : 0.0 sec. user=mdettweiler [2015-01-01 02:20:40] 923*2^1388366-1 is not prime. Res64: F347B24266033AE8 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:20:40] 971*2^1388366-1 is not prime. Res64: 471EAE2195366600 Time : 0.0 sec. user=odicin [2015-01-01 02:28:48] 897*2^1388366-1 is not prime. Res64: 63FED41225BFFDD5 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:29:34] 625*2^1388367-1 is not prime. Res64: DAA63675F2388C25 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:29:34] 703*2^1388367-1 is not prime. Res64: 55DF8B7859DF3888 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:29:49] 735*2^1388367-1 is not prime. Res64: DC2349D661C1E1A0 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:29:50] 891*2^1388367-1 is not prime. Res64: FF2AB5257000E0C6 Time : 0.0 sec. user=odicin [2015-01-01 02:31:06] 609*2^1388367-1 is not prime. Res64: 27D54E3BB6B8F4F6 Time : 0.0 sec. user=odicin [2015-01-01 02:42:51] 723*2^1388368-1 is not prime. Res64: F25F9F9FCF843FE5 Time : 0.0 sec. user=odicin [2015-01-01 02:45:22] 909*2^1388369-1 is not prime. Res64: 66A2B716BC58885E Time : 0.0 sec. user=mdettweiler [2015-01-01 02:47:19] 979*2^1388367-1 is not prime. Res64: 29CA064FD2C6C672 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:47:19] 615*2^1388368-1 is not prime. Res64: 82DFFF2BDA6EBAC0 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:56:01] 747*2^1388368-1 is not prime. Res64: 82AF1240F4F115B0 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:56:01] 869*2^1388368-1 is not prime. Res64: DE60AEA0DE56F214 Time : 0.0 sec. user=mdettweiler [2015-01-01 02:56:23] 947*2^1388368-1 is not prime. Res64: F651ADE7BF7951F7 Time : 0.0 sec. user=odicin [2015-01-01 02:59:36] 967*2^1388369-1 is not prime. Res64: CBC00C97BFF7EF4F Time : 0.0 sec. user=odicin [2015-01-01 03:13:35] 845*2^1388370-1 is not prime. Res64: 19FCD4199F126CF5 Time : 0.0 sec. user=mdettweiler [2015-01-01 03:14:17] 635*2^1388366-1 is not prime. Res64: 275E6E050E63F1FA Time : 0.0 sec. user=mdettweiler [2015-01-01 03:14:26] 801*2^1388366-1 is not prime. Res64: D2850A862E9BE2EA Time : 0.0 sec. user=mdettweiler [2015-01-01 03:15:15] 695*2^1388370-1 is not prime. Res64: 98199BA5F1DA40CB Time : 0.0 sec. user=mdettweiler [2015-01-01 03:15:15] 713*2^1388370-1 is not prime. Res64: EBF8977BCF2172F9 Time : 0.0 sec. user=odicin [2015-01-01 03:18:40] 891*2^1388370-1 is not prime. Res64: 4BEFE03730801B2B Time : 0.0 sec. user=mdettweiler [2015-01-01 03:23:27] 765*2^1388370-1 is not prime. Res64: CBAC90E5DE6CB1F3 Time : 0.0 sec. user=mdettweiler [2015-01-01 03:23:28] 783*2^1388370-1 is not prime. Res64: F4BD166ED8310B22 Time : 0.0 sec. user=odicin [2015-01-01 03:27:45] 951*2^1388370-1 is not prime. Res64: 8758BD03DB1672D9 Time : 0.0 sec. user=odicin [2015-01-01 03:32:42] 891*2^1388371-1 is not prime. Res64: 47E71F45A8E8C02C Time : 0.0 sec. user=mdettweiler [2015-01-01 03:40:43] 601*2^1388371-1 is not prime. Res64: A083782A3CA0F73A Time : 0.0 sec. user=mdettweiler [2015-01-01 03:40:44] 619*2^1388371-1 is not prime. Res64: FE8D9CD27902C055 Time : 0.0 sec. user=odicin [2015-01-01 03:41:48] 735*2^1388372-1 is not prime. Res64: CB94BE8CD8CAD60F Time : 0.0 sec. user=mdettweiler [2015-01-01 03:41:50] 691*2^1388371-1 is not prime. Res64: C5FC3A4041D4E9CB Time : 0.0 sec. user=mdettweiler [2015-01-01 03:41:51] 843*2^1388371-1 is not prime. Res64: 26503AD0FCFA0C61 Time : 0.0 sec. user=odicin [2015-01-01 03:48:06] 785*2^1388372-1 is not prime. Res64: 77EAC2020E8684B7 Time : 0.0 sec. user=mdettweiler [2015-01-01 03:49:47] 617*2^1388372-1 is not prime. Res64: E4BEE594D76E6D3D Time : 0.0 sec. user=mdettweiler [2015-01-01 03:49:49] 665*2^1388372-1 is not prime. Res64: A5A68CC6273B1CDB Time : 0.0 sec. user=odicin [2015-01-01 03:56:12] 615*2^1388373-1 is not prime. Res64: 24B549D98793A413 Time : 0.0 sec. user=mdettweiler [2015-01-01 04:17:00] 835*2^1388373-1 is not prime. Res64: 8E2E553D93A3BE03 Time : 0.0 sec. user=mdettweiler [2015-01-01 04:17:01] 847*2^1388373-1 is not prime. Res64: 5EE6A836329E697F Time : 0.0 sec. user=odicin [2015-01-01 04:23:25] 621*2^1388374-1 is not prime. Res64: 76D133D0F0F765F5 Time : 0.0 sec. user=odicin [2015-01-01 04:31:03] 677*2^1388374-1 is not prime. Res64: 9A8D375054577C0C Time : 0.0 sec. user=odicin [2015-01-01 04:37:40] 681*2^1388374-1 is not prime. Res64: C59E7DC41BC632B4 Time : 0.0 sec. user=mdettweiler [2015-01-01 04:45:18] 657*2^1388374-1 is not prime. Res64: E6F7B3F8867B5887 Time : 0.0 sec. user=odicin [2015-01-01 04:45:18] 705*2^1388374-1 is not prime. Res64: 4B07985EA39ED253 Time : 0.0 sec. user=mdettweiler [2015-01-01 04:45:18] 665*2^1388374-1 is not prime. Res64: BC43EB8268306B2F Time : 0.0 sec. user=odicin [2015-01-01 04:53:52] 737*2^1388374-1 is not prime. Res64: 04B7029201C877E0 Time : 0.0 sec. user=odicin [2015-01-01 05:03:38] 785*2^1388374-1 is not prime. Res64: 084B21825F5BCD2D Time : 0.0 sec. user=mdettweiler [2015-01-01 05:14:01] 815*2^1388374-1 is not prime. Res64: E48FAB4DE05AAEC8 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:14:02] 831*2^1388374-1 is not prime. Res64: 5C006AE6551172AB Time : 0.0 sec. user=mdettweiler [2015-01-01 05:33:47] 711*2^1388369-1 is not prime. Res64: 829AFA7075AE8569 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:37:53] 885*2^1388372-1 is not prime. Res64: C02A5BE71FDF669D Time : 0.0 sec. user=mdettweiler [2015-01-01 05:37:53] 945*2^1388372-1 is not prime. Res64: E0EBAA990318AB28 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:42:01] 915*2^1388374-1 is not prime. Res64: 1C5592C6991F32A9 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:42:01] 923*2^1388374-1 is not prime. Res64: 8406267C554EA8F7 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:42:11] 649*2^1388373-1 is not prime. Res64: B7580502FDD51966 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:42:11] 817*2^1388373-1 is not prime. Res64: 245F1E44A7309F88 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:59:58] 975*2^1388374-1 is not prime. Res64: 564FDF85207C4EE6 Time : 0.0 sec. user=mdettweiler [2015-01-01 05:59:58] 663*2^1388375-1 is not prime. Res64: D6C511C54FD325B7 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:03:58] 673*2^1388375-1 is not prime. Res64: 5A09B9A2E5589711 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:04:00] 693*2^1388375-1 is not prime. Res64: 07F2296D0060CD3F Time : 0.0 sec. user=mdettweiler [2015-01-01 06:08:06] 775*2^1388375-1 is not prime. Res64: 74C3CF88A2DF1C85 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:08:09] 829*2^1388375-1 is not prime. Res64: 85A8A9EC1CB27EDF Time : 0.0 sec. user=mdettweiler [2015-01-01 06:08:10] 859*2^1388375-1 is not prime. Res64: 40F77D2C8EE193AA Time : 0.0 sec. user=mdettweiler [2015-01-01 06:08:11] 969*2^1388375-1 is not prime. Res64: 6BB325F1518FF166 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:25:58] 629*2^1388376-1 is not prime. Res64: 66E1417B6D495727 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:25:58] 693*2^1388376-1 is not prime. Res64: AD643B10BC45F04A Time : 0.0 sec. user=mdettweiler [2015-01-01 06:30:33] 759*2^1388376-1 is not prime. Res64: 47F6087ADF3E51FC Time : 0.0 sec. user=mdettweiler [2015-01-01 06:34:10] 889*2^1388377-1 is not prime. Res64: 429279ADE1840562 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:34:10] 895*2^1388377-1 is not prime. Res64: 6A930B79F77634A7 Time : 0.0 sec. user=mdettweiler [2015-01-01 06:34:38] 975*2^1388376-1 is not prime. Res64: A9BCA62E5104A6CE Time : 0.0 sec. user=mdettweiler [2015-01-01 06:52:43] 967*2^1388377-1 is not prime. Res64: 760642EEB60953DA Time : 0.0 sec. user=mdettweiler [2015-01-01 06:52:44] 633*2^1388378-1 is not prime. Res64: BF7B0F895F2CC989 Time : 0.0 sec. user=mdettweiler [2015-01-01 07:01:09] 641*2^1388378-1 is not prime. Res64: 417898ECF55AA173 Time : 0.0 sec. user=mdettweiler [2015-01-01 07:01:09] 705*2^1388378-1 is not prime. Res64: 679C6C863485B57B Time : 0.0 sec. user=mdettweiler [2015-01-01 07:19:50] 767*2^1388378-1 is not prime. Res64: F9896FEC26035EF1 Time : 0.0 sec. user=mdettweiler [2015-01-01 07:19:50] 675*2^1388379-1 is not prime. Res64: A9D81FC8136D972A Time : 0.0 sec. user=mdettweiler [2015-01-01 07:28:13] 685*2^1388379-1 is not prime. Res64: BD152B309B88D00B Time : 0.0 sec. user=mdettweiler [2015-01-01 07:28:14] 709*2^1388379-1 is not prime. Res64: C6CF474E19946839 Time : 0.0 sec. user=mdettweiler [2015-01-01 07:43:04] 879*2^1388376-1 is not prime. Res64: E19734B7467AAB33 Time : 0.0 sec. user=mdettweiler [2015-01-01 07:46:57] 769*2^1388379-1 is not prime. Res64: 5A2185CC3020475F Time : 0.0 sec. user=mdettweiler [2015-01-01 07:46:57] 795*2^1388379-1 is not prime. Res64: 60FE2DA130776DCF Time : 0.0 sec. user=mdettweiler [2015-01-01 07:47:17] 619*2^1388377-1 is not prime. Res64: 8BDA8CEBF929DE27 Time : 0.0 sec. user=mdettweiler [2015-01-01 07:54:47] 623*2^1388380-1 is not prime. Res64: 435FEDAEB311733F Time : 0.0 sec. user=mdettweiler [2015-01-01 07:54:47] 635*2^1388380-1 is not prime. Res64: B2C52A4F0D6DA69F Time : 0.0 sec. user=mdettweiler [2015-01-01 08:09:15] 695*2^1388380-1 is not prime. Res64: 60DBA76B07105B9D Time : 0.0 sec. user=mdettweiler [2015-01-01 08:09:17] 773*2^1388380-1 is not prime. Res64: D3BDD5C879C1B893 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:13:07] 863*2^1388380-1 is not prime. Res64: CA3E00521FCB00E5 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:13:08] 939*2^1388380-1 is not prime. Res64: 6605C6D26AC48E37 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:13:33] 999*2^1388380-1 is not prime. Res64: 48D86C32F9B79ECB Time : 0.0 sec. user=mdettweiler [2015-01-01 08:21:00] 631*2^1388381-1 is not prime. Res64: D02DAFF33EAD6933 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:21:00] 657*2^1388381-1 is not prime. Res64: 575B44A0518CD3B9 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:35:43] 715*2^1388381-1 is not prime. Res64: 0EFC178AAA99FF72 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:35:44] 825*2^1388381-1 is not prime. Res64: 48D60668A25CDA61 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:39:34] 871*2^1388381-1 is not prime. Res64: D27A61339BE2F27F Time : 0.0 sec. user=mdettweiler [2015-01-01 08:39:35] 907*2^1388381-1 is not prime. Res64: 106A0E137EB74785 Time : 0.0 sec. user=mdettweiler [2015-01-01 08:47:30] 931*2^1388381-1 is not prime. Res64: 5B1BD826B9438F8D Time : 0.0 sec. user=mdettweiler [2015-01-01 08:47:38] 967*2^1388381-1 is not prime. Res64: 3089DA5E7B1897A4 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:02:12] 615*2^1388382-1 is not prime. Res64: DBAECD8BB72F93E7 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:02:13] 635*2^1388382-1 is not prime. Res64: 2CD8E5D5B5E8D4F2 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:14:13] 713*2^1388382-1 is not prime. Res64: 97859B2760E5BF6D Time : 0.0 sec. user=mdettweiler [2015-01-01 09:14:22] 633*2^1388383-1 is not prime. Res64: 064AEEECD9128A85 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:28:17] 627*2^1388381-1 is not prime. Res64: A7EF73CD66871741 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:29:17] 783*2^1388383-1 is not prime. Res64: 66BB6F468225F88C Time : 0.0 sec. user=mdettweiler [2015-01-01 09:29:18] 901*2^1388383-1 is not prime. Res64: F7F7769A0045EFA1 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:41:06] 915*2^1388383-1 is not prime. Res64: EEF03DCE362CB0C5 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:41:06] 945*2^1388383-1 is not prime. Res64: 69E7DA9865341AB6 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:54:43] 683*2^1388384-1 is not prime. Res64: 5A9D7B0B850DEB8C Time : 0.0 sec. user=mdettweiler [2015-01-01 09:54:44] 699*2^1388384-1 is not prime. Res64: 95AC2A7A576A4CE8 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:55:30] 743*2^1388384-1 is not prime. Res64: 7BA8F5D39F934636 Time : 0.0 sec. user=mdettweiler [2015-01-01 09:55:31] 785*2^1388384-1 is not prime. Res64: 0BD11FD064FCE3DE Time : 0.0 sec. user=mdettweiler [2015-01-01 10:07:24] 909*2^1388384-1 is not prime. Res64: A10D685974B00FE6 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:07:24] 935*2^1388384-1 is not prime. Res64: F3D9E598506998F5 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:13:38] 705*2^1388382-1 is not prime. Res64: 6B1D21C0F68C946C Time : 0.0 sec. user=mdettweiler [2015-01-01 10:13:38] 711*2^1388382-1 is not prime. Res64: F75E623910C574B8 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:21:00] 945*2^1388384-1 is not prime. Res64: 69E8A1C415B127D4 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:21:01] 969*2^1388384-1 is not prime. Res64: E7A437E9AEEBB9E7 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:21:46] 609*2^1388385-1 is not prime. Res64: 3BC695D44026604C Time : 0.0 sec. user=mdettweiler [2015-01-01 10:21:46] 651*2^1388385-1 is not prime. Res64: 514D8A6C27E842B2 Time : 0.0 sec. user=juhehe [2015-01-01 10:23:05] 669*2^1388385-1 is not prime. Res64: 01DB6C048086E329 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:33:40] 837*2^1388385-1 is not prime. Res64: BA078AE7FAF1B0C4 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:33:41] 889*2^1388385-1 is not prime. Res64: 628FCC37CB9F9358 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:39:44] 919*2^1388385-1 is not prime. Res64: 731A9C483DE863CF Time : 0.0 sec. user=mdettweiler [2015-01-01 10:39:45] 979*2^1388385-1 is not prime. Res64: 287A4D334D4BD277 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:47:11] 755*2^1388386-1 is not prime. Res64: 19E7A8FD1D7CB5D9 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:47:11] 773*2^1388386-1 is not prime. Res64: 1AD164AC25702A62 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:47:53] 777*2^1388386-1 is not prime. Res64: DD1778C721DC202C Time : 0.0 sec. user=mdettweiler [2015-01-01 10:47:54] 867*2^1388386-1 is not prime. Res64: 29D6F13481810D38 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:59:41] 911*2^1388386-1 is not prime. Res64: 0B25C6381D8336B7 Time : 0.0 sec. user=mdettweiler [2015-01-01 10:59:42] 917*2^1388386-1 is not prime. Res64: C346BF0F0D162163 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:06:23] 923*2^1388386-1 is not prime. Res64: 463A7627DE65C945 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:13:19] 651*2^1388387-1 is not prime. Res64: F88A812528572D3E Time : 0.0 sec. user=mdettweiler [2015-01-01 11:13:19] 843*2^1388387-1 is not prime. Res64: AACD7219BA62A385 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:14:01] 861*2^1388387-1 is not prime. Res64: F2244BB19EFFAFE6 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:14:02] 885*2^1388387-1 is not prime. Res64: C453125DE9743E24 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:25:55] 909*2^1388387-1 is not prime. Res64: C5AEAE397D5FBAFA Time : 0.0 sec. user=mdettweiler [2015-01-01 11:25:55] 629*2^1388388-1 is not prime. Res64: 4CBE4433BD143EEF Time : 0.0 sec. user=mdettweiler [2015-01-01 11:39:39] 665*2^1388388-1 is not prime. Res64: 9210945570147442 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:39:39] 773*2^1388388-1 is not prime. Res64: A28E45A6C9705B85 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:40:17] 797*2^1388388-1 is not prime. Res64: 2C889EB7095574CE Time : 0.0 sec. user=mdettweiler [2015-01-01 11:40:18] 809*2^1388388-1 is not prime. Res64: 994A139DEB65D7C8 Time : 0.0 sec. user=mdettweiler [2015-01-01 11:52:25] 825*2^1388388-1 is not prime. Res64: 748A45B0F8575C6C Time : 0.0 sec. user=mdettweiler [2015-01-01 11:52:26] 887*2^1388388-1 is not prime. Res64: 3C743982BFDD7011 Time : 0.0 sec. user=mdettweiler [2015-01-01 12:19:41] 997*2^1388389-1 is not prime. Res64: 476645C92865C25D Time : 0.0 sec. user=mdettweiler [2015-01-01 12:19:41] 641*2^1388390-1 is not prime. Res64: 0FD926B596E64B71 Time : 0.0 sec. user=mdettweiler [2015-01-01 12:25:20] 621*2^1388387-1 is not prime. Res64: 049047DA9B9BEFA0 Time : 0.0 sec. user=mdettweiler [2015-01-01 12:47:13] 861*2^1388390-1 is not prime. Res64: 75D23617BA9B0339 Time : 0.0 sec. user=mdettweiler [2015-01-01 12:47:13] 987*2^1388390-1 is not prime. Res64: 7745E98DC6F772CD Time : 0.0 sec. user=mdettweiler [2015-01-01 12:52:13] 649*2^1388391-1 is not prime. Res64: 25CA4F656F0BC9A8 Time : 0.0 sec. user=mdettweiler [2015-01-01 12:52:14] 651*2^1388391-1 is not prime. Res64: 8C7A8CEFCBE7025C Time : 0.0 sec. user=mdettweiler [2015-01-01 13:14:22] 685*2^1388391-1 is not prime. Res64: A5721BE9B3C40425 Time : 0.0 sec. user=mdettweiler [2015-01-01 13:14:23] 781*2^1388391-1 is not prime. Res64: 07AC2C06648AD545 Time : 0.0 sec. user=mdettweiler [2015-01-01 13:15:48] 959*2^1388388-1 is not prime. Res64: 416482CC16514E3C Time : 0.0 sec. user=mdettweiler [2015-01-01 13:19:01] 921*2^1388391-1 is not prime. Res64: 43314F9F551F2097 Time : 0.0 sec. user=mdettweiler [2015-01-01 13:19:01] 951*2^1388391-1 is not prime. Res64: C0BFFBAFD7E9028D Time : 0.0 sec. user=mdettweiler [2015-01-01 13:28:29] 639*2^1388389-1 is not prime. Res64: DA63BC21969FA0DD Time : 0.0 sec. user=mdettweiler [2015-01-01 13:28:29] 861*2^1388389-1 is not prime. Res64: 9500278D66486D26 Time : 0.0 sec. user=mdettweiler [2015-01-01 13:42:15] 961*2^1388391-1 is not prime. Res64: CED5304A9EAE0C3E Time : 0.0 sec. user=mdettweiler [2015-01-01 13:42:16] 609*2^1388392-1 is not prime. Res64: 939DD90C8FA7097B Time : 0.0 sec. user=mdettweiler [2015-01-01 13:47:17] 965*2^1388392-1 is not prime. Res64: 9F00F50C6FC6CA05 Time : 0.0 sec. user=mdettweiler [2015-01-01 13:47:18] 989*2^1388392-1 is not prime. Res64: D62823955EDA0416 Time : 0.0 sec. user=mdettweiler [2015-01-01 13:57:06] 619*2^1388393-1 is not prime. Res64: 59C106D2A4EA5B2D Time : 0.0 sec. user=mdettweiler [2015-01-01 14:14:45] 735*2^1388393-1 is not prime. Res64: 3EEAD54968110B58 Time : 0.0 sec. user=mdettweiler [2015-01-01 14:14:46] 855*2^1388393-1 is not prime. Res64: 57FBB63ACD643ABA Time : 0.0 sec. user=mdettweiler [2015-01-01 14:20:19] 901*2^1388393-1 is not prime. Res64: A8F073EEED6F9525 Time : 0.0 sec. user=mdettweiler [2015-01-01 14:20:19] 915*2^1388393-1 is not prime. Res64: 9830A678F1F3D1B6 Time : 0.0 sec. user=mdettweiler [2015-01-01 14:40:11] 999*2^1388388-1 is not prime. Res64: 53F1D4977386BB4F Time : 0.0 sec. user=mdettweiler [2015-01-01 14:43:38] 615*2^1388394-1 is not prime. Res64: F2B1A20A88C9E6A7 Time : 0.0 sec. user=mdettweiler [2015-01-01 14:43:38] 663*2^1388394-1 is not prime. Res64: 295C677927C564A6 Time : 0.0 sec. user=mdettweiler [2015-01-01 14:48:31] 681*2^1388394-1 is not prime. Res64: 053974A2C56515F6 Time : 0.0 sec. user=mdettweiler [2015-01-01 14:48:31] 765*2^1388394-1 is not prime. Res64: B5AF4E12F39164D6 Time : 0.0 sec. user=mdettweiler [2015-01-01 15:12:02] 893*2^1388394-1 is not prime. Res64: 146C4973E92D61A4 Time : 0.0 sec. user=mdettweiler [2015-01-01 15:17:09] 657*2^1388393-1 is not prime. Res64: 735BE1B740E9112D Time : 0.0 sec. user=mdettweiler [2015-01-01 15:17:10] 993*2^1388394-1 is not prime. Res64: 50B03EDB28403ED5 Time : 0.0 sec. user=mdettweiler [2015-01-01 15:17:10] 649*2^1388395-1 is not prime. Res64: 3317E125F1597923 Time : 0.0 sec. user=mdettweiler [2015-01-01 15:45:35] 663*2^1388395-1 is not prime. Res64: 4C6B97FB8261E2CE Time : 0.0 sec. user=mdettweiler [2015-01-01 15:45:35] 685*2^1388395-1 is not prime. Res64: 410767A58CE55FD2 Time : 0.0 sec. user=mdettweiler [2015-01-01 15:45:35] 849*2^1388395-1 is not prime. Res64: 89D9F6CBAB11B089 Time : 0.0 sec. user=mdettweiler [2015-01-01 15:45:36] 985*2^1388395-1 is not prime. Res64: 6369C66803042E61 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:12:53] 609*2^1388396-1 is not prime. Res64: FFAD66408C38B4DA Time : 0.0 sec. user=mdettweiler [2015-01-01 16:12:54] 837*2^1388396-1 is not prime. Res64: DE90B647AEF15E7C Time : 0.0 sec. user=mdettweiler [2015-01-01 16:13:08] 839*2^1388396-1 is not prime. Res64: BDA5562AB78DC442 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:13:10] 869*2^1388396-1 is not prime. Res64: FAC605E019417102 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:19:35] 797*2^1388394-1 is not prime. Res64: 74721D5DD7167B53 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:19:36] 815*2^1388394-1 is not prime. Res64: CB9268AF12C5109B Time : 0.0 sec. user=mdettweiler [2015-01-01 16:26:31] 957*2^1388394-1 is not prime. Res64: 94BBCF3CA5067904 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:40:24] 875*2^1388396-1 is not prime. Res64: EAD7B642AF6C95D6 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:40:24] 621*2^1388397-1 is not prime. Res64: A21032E3C7314EB8 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:40:25] 727*2^1388397-1 is not prime. Res64: 873C6467A817F005 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:46:04] 759*2^1388397-1 is not prime. Res64: F9DDF59D5A015210 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:46:04] 769*2^1388397-1 is not prime. Res64: BE2427E99A477A4A Time : 0.0 sec. user=mdettweiler [2015-01-01 16:52:49] 825*2^1388397-1 is not prime. Res64: 7E349CFA5328F251 Time : 0.0 sec. user=mdettweiler [2015-01-01 16:52:50] 849*2^1388397-1 is not prime. Res64: 08F53DBEB5222366 Time : 0.0 sec. user=mdettweiler [2015-01-01 17:06:51] 891*2^1388397-1 is not prime. Res64: E8E77311CB81A6E9 Time : 0.0 sec. user=mdettweiler [2015-01-01 17:06:53] 901*2^1388397-1 is not prime. Res64: 1910E902C3ED7600 Time : 0.0 sec. user=mdettweiler [2015-01-01 17:12:47] 919*2^1388397-1 is not prime. Res64: 55DE57B533ABB7DA Time : 0.0 sec. user=mdettweiler [2015-01-01 17:12:48] 937*2^1388397-1 is not prime. Res64: F6031AD2BDA40B9F Time : 0.0 sec. user=mdettweiler [2015-01-01 17:19:28] 663*2^1388398-1 is not prime. Res64: 9AA9C23FDE62E3BC Time : 0.0 sec. user=mdettweiler [2015-01-01 17:19:28] 681*2^1388398-1 is not prime. Res64: 7EEFC7A5B2896709 Time : 0.0 sec. user=mdettweiler [2015-01-01 17:35:49] 755*2^1388398-1 is not prime. Res64: BA2184E78247DA8A Time : 0.0 sec. user=mdettweiler [2015-01-01 17:35:50] 825*2^1388398-1 is not prime. Res64: 79320185B308D842 Time : 0.0 sec. user=mdettweiler [2015-01-01 17:41:15] 867*2^1388398-1 is not prime. Res64: 434203D999938DFB Time : 0.0 sec. user=mdettweiler [2015-01-01 17:41:16] 923*2^1388398-1 is not prime. Res64: 627D4B609206098F Time : 0.0 sec. user=mdettweiler [2015-01-01 17:47:50] 615*2^1388399-1 is not prime. Res64: 50686255B9FA056D Time : 0.0 sec. user=mdettweiler [2015-01-01 17:47:51] 645*2^1388399-1 is not prime. Res64: 950A0C5A31E5BE34 Time : 0.0 sec. user=mdettweiler [2015-01-01 17:57:55] 909*2^1388396-1 is not prime. Res64: 82741C52051FA74B Time : 0.0 sec. user=mdettweiler [2015-01-01 18:04:29] 711*2^1388399-1 is not prime. Res64: 06AC4280B5735D99 Time : 0.0 sec. user=mdettweiler [2015-01-01 18:04:32] 741*2^1388399-1 is not prime. Res64: 63A80194FF2A3CCA Time : 0.0 sec. user=mdettweiler [2015-01-01 18:09:12] 745*2^1388399-1 is not prime. Res64: B8F995C88B4D9E5C Time : 0.0 sec. user=mdettweiler [2015-01-01 18:09:15] 859*2^1388399-1 is not prime. Res64: F38EBBA416B08760 Time : 0.0 sec. user=mdettweiler [2015-01-01 18:15:22] 879*2^1388399-1 is not prime. Res64: 64C372E0646313F6 Time : 0.0 sec. user=mdettweiler [2015-01-01 18:15:22] 939*2^1388399-1 is not prime. Res64: F90145E88C6D835A Time : 0.0 sec. user=mdettweiler [2015-01-01 18:25:11] 993*2^1388399-1 is not prime. Res64: 8BE380C1B88305A2 Time : 0.0 sec. user=mdettweiler [2015-01-01 18:33:00] 669*2^1388400-1 is not prime. Res64: 673C8BEA2E88C2E9 Time : 0.0 sec. user=mdettweiler [2015-01-01 18:33:00] 707*2^1388400-1 is not prime. Res64: 78796A47E107065C Time : 0.0 sec. user=mdettweiler [2015-01-01 18:38:12] 723*2^1388400-1 is not prime. Res64: BCD3344F38FD1C20 Time : 0.0 sec. user=mdettweiler [2015-01-01 18:38:12] 735*2^1388400-1 is not prime. Res64: F1244073F10AFC0E Time : 0.0 sec. user=mdettweiler [2015-01-01 18:42:23] 845*2^1388400-1 is not prime. Res64: 7056C15CD85765DF Time : 0.0 sec. user=mdettweiler [2015-01-01 18:42:24] 705*2^1388401-1 is not prime. Res64: 4C599B287B1FDCFE Time : 0.0 sec. user=mdettweiler [2015-01-01 19:00:43] 819*2^1388401-1 is not prime. Res64: 660583FEE02540B8 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:00:45] 937*2^1388401-1 is not prime. Res64: 14621A4CF32C8051 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:06:29] 951*2^1388401-1 is not prime. Res64: 5BC1DDC1C2C8E188 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:10:00] 967*2^1388401-1 is not prime. Res64: DCA611255605BED7 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:10:04] 999*2^1388401-1 is not prime. Res64: 07433965CEAD5184 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:28:34] 665*2^1388402-1 is not prime. Res64: 64F345CDE2F262B1 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:28:34] 711*2^1388402-1 is not prime. Res64: F10CD052CDB1E028 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:34:53] 609*2^1388400-1 is not prime. Res64: C7BF491F4A86BEF1 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:39:07] 741*2^1388402-1 is not prime. Res64: D85C2C121403B8F5 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:39:08] 785*2^1388402-1 is not prime. Res64: 766A88C0B195EB22 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:55:47] 791*2^1388402-1 is not prime. Res64: 84D5D2DA79F88B77 Time : 0.0 sec. user=mdettweiler [2015-01-01 19:55:47] 875*2^1388402-1 is not prime. Res64: FB5FBE66816A79FB Time : 0.0 sec. user=mdettweiler [2015-01-01 20:01:49] 921*2^1388402-1 is not prime. Res64: 33E7FE3D94AACE2F Time : 0.0 sec. user=mdettweiler [2015-01-01 20:01:58] 741*2^1388403-1 is not prime. Res64: 3244C04F231AC9E1 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:06:19] 795*2^1388403-1 is not prime. Res64: 13B38B9DAB269B48 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:19:28] 957*2^1388401-1 is not prime. Res64: F12C3593105A4376 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:22:52] 859*2^1388403-1 is not prime. Res64: 8D5A0AFCF477350A Time : 0.0 sec. user=mdettweiler [2015-01-01 20:22:52] 885*2^1388403-1 is not prime. Res64: 60CEB950746F090B Time : 0.0 sec. user=mdettweiler [2015-01-01 20:29:25] 945*2^1388403-1 is not prime. Res64: 1D20A4A89A96E733 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:29:25] 969*2^1388403-1 is not prime. Res64: ABBDCD51F9CF574C Time : 0.0 sec. user=mdettweiler [2015-01-01 20:46:16] 985*2^1388403-1 is not prime. Res64: F1218CBBACF78AFA Time : 0.0 sec. user=mdettweiler [2015-01-01 20:46:16] 665*2^1388404-1 is not prime. Res64: 07F0BED1449F00C1 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:49:44] 717*2^1388404-1 is not prime. Res64: A8CFB1F597191132 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:49:44] 819*2^1388404-1 is not prime. Res64: 02439A353ABCFA36 Time : 0.0 sec. user=juhehe [2015-01-01 20:52:12] 855*2^1388404-1 is not prime. Res64: F1B97492B044259D Time : 0.0 sec. user=mdettweiler [2015-01-01 20:56:23] 897*2^1388404-1 is not prime. Res64: 3F9BEB904E3B5107 Time : 0.0 sec. user=mdettweiler [2015-01-01 20:56:23] 601*2^1388405-1 is not prime. Res64: DFAB331F0E1255D4 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:12:59] 697*2^1388405-1 is not prime. Res64: 876BFB3B04D8CC6F Time : 0.0 sec. user=mdettweiler [2015-01-01 21:12:59] 727*2^1388405-1 is not prime. Res64: 691B3CDFD3287963 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:16:29] 781*2^1388405-1 is not prime. Res64: D967125ABBDE6860 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:16:30] 795*2^1388405-1 is not prime. Res64: E9823F9989CBF2A4 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:23:06] 865*2^1388405-1 is not prime. Res64: A15DDCDC0C2C0927 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:23:06] 889*2^1388405-1 is not prime. Res64: C66D74F994C904CB Time : 0.0 sec. user=mdettweiler [2015-01-01 21:24:26] 829*2^1388403-1 is not prime. Res64: E4FA140E8AFA6536 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:39:46] 937*2^1388405-1 is not prime. Res64: 1CE841DDD18973FD Time : 0.0 sec. user=mdettweiler [2015-01-01 21:39:47] 635*2^1388406-1 is not prime. Res64: 7F2EADAF0BDCDF4B Time : 0.0 sec. user=mdettweiler [2015-01-01 21:43:29] 713*2^1388406-1 is not prime. Res64: BDEF4D8CBDBEF8EE Time : 0.0 sec. user=mdettweiler [2015-01-01 21:49:56] 807*2^1388406-1 is not prime. Res64: 9338A18F5CDDB328 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:49:56] 815*2^1388406-1 is not prime. Res64: EADC7F409BF85159 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:51:22] 891*2^1388406-1 is not prime. Res64: 3E178C55CF77C762 Time : 0.0 sec. user=mdettweiler [2015-01-01 21:51:23] 673*2^1388407-1 is not prime. Res64: E0A525A2E387FDA5 Time : 0.0 sec. user=mdettweiler [2015-01-01 22:16:58] 743*2^1388408-1 is not prime. Res64: 208089026EBB773B Time : 0.0 sec. user=mdettweiler [2015-01-01 22:16:59] 747*2^1388408-1 is not prime. Res64: E2E3B0E4D1E47FAB Time : 0.0 sec. user=mdettweiler [2015-01-01 22:18:12] 993*2^1388408-1 is not prime. Res64: F61035E8A8F2C4E1 Time : 0.0 sec. user=mdettweiler [2015-01-01 22:18:13] 995*2^1388408-1 is not prime. Res64: 624F44536AC8D6CC Time : 0.0 sec. user=mdettweiler [2015-01-01 22:43:53] 615*2^1388409-1 is not prime. Res64: 09CE37120009A5BD Time : 0.0 sec. user=mdettweiler [2015-01-01 22:43:54] 649*2^1388409-1 is not prime. Res64: F9929AB703E2DC11 Time : 0.0 sec. user=mdettweiler [2015-01-01 22:44:59] 705*2^1388409-1 is not prime. Res64: 9A454D241187BAA9 Time : 0.0 sec. user=mdettweiler [2015-01-01 22:45:00] 721*2^1388409-1 is not prime. Res64: 9D12A9033D76C2DB Time : 0.0 sec. user=mdettweiler [2015-01-01 23:03:19] 761*2^1388406-1 is not prime. Res64: 7E9529936924822B Time : 0.0 sec. user=mdettweiler [2015-01-01 23:11:11] 759*2^1388409-1 is not prime. Res64: C4B5E1298DAEC361 Time : 0.0 sec. user=mdettweiler [2015-01-01 23:11:11] 831*2^1388409-1 is not prime. Res64: B539FB22F7491EBE Time : 0.0 sec. user=mdettweiler [2015-01-01 23:12:02] 835*2^1388409-1 is not prime. Res64: AA6C457B2643CF6D Time : 0.0 sec. user=mdettweiler [2015-01-01 23:12:03] 861*2^1388409-1 is not prime. Res64: 19C6B5FA9849C071 Time : 0.0 sec. user=mdettweiler [2015-01-01 23:26:07] 861*2^1388407-1 is not prime. Res64: 9CBDAC27F2C1AF42 Time : 0.0 sec. user=mdettweiler [2015-01-01 23:26:07] 909*2^1388407-1 is not prime. Res64: B6AAE07380AEDFBF Time : 0.0 sec. user=mdettweiler [2015-01-01 23:30:22] 919*2^1388409-1 is not prime. Res64: B2F7DE8DA082E343 Time : 0.0 sec. user=mdettweiler [2015-01-01 23:38:00] 969*2^1388409-1 is not prime. Res64: 178931D6D0227D1E Time : 0.0 sec. user=mdettweiler [2015-01-01 23:38:00] 985*2^1388409-1 is not prime. Res64: 4C4437B119C24BFF Time : 0.0 sec. user=mdettweiler [2015-01-01 23:38:31] 611*2^1388410-1 is not prime. Res64: F1E2D86FDF48896D Time : 0.0 sec. user=mdettweiler [2015-01-01 23:38:31] 713*2^1388410-1 is not prime. Res64: 5B354F6F29F064B1 Time : 0.0 sec. user=mdettweiler [2015-01-01 23:52:46] 825*2^1388410-1 is not prime. Res64: 4DCEA618E285E9B3 Time : 0.0 sec. user=mdettweiler [2015-01-01 23:52:47] 845*2^1388410-1 is not prime. Res64: CEAC1C6359EC8D8C Time : 0.0 sec.