user=mdettweiler [2016-04-05 00:32:23] 717*2^1425292-1 is not prime. Res64: F63D45EE392AD07C Time : 0.0 sec. user=mdettweiler [2016-04-05 00:32:23] 723*2^1425292-1 is not prime. Res64: DFFABC6132CBED83 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:32:24] 797*2^1425292-1 is not prime. Res64: 32372C8065B6DB3D Time : 0.0 sec. user=mdettweiler [2016-04-05 00:32:24] 803*2^1425292-1 is not prime. Res64: B4AEDBFDC2D350A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:32:24] 885*2^1425292-1 is not prime. Res64: 43D30FB8E0024CBE Time : 0.0 sec. user=mdettweiler [2016-04-05 00:34:09] 939*2^1425292-1 is not prime. Res64: A25EBCE87EA3BD04 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:34:09] 983*2^1425292-1 is not prime. Res64: 5BAF4C80C58C0082 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:34:09] 685*2^1425293-1 is not prime. Res64: 88ED3B1DA5128E13 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:34:10] 715*2^1425293-1 is not prime. Res64: 9D11F3C256AD2A20 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:34:10] 795*2^1425293-1 is not prime. Res64: 5D39717DC3F5052F Time : 0.0 sec. user=mdettweiler [2016-04-05 00:39:02] 897*2^1425293-1 is not prime. Res64: A5248CF3CBB8F254 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:39:03] 987*2^1425293-1 is not prime. Res64: 0B74A60B34829771 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:39:03] 717*2^1425294-1 is not prime. Res64: 4D05D87A03DE01A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:39:03] 815*2^1425294-1 is not prime. Res64: BF918473BFE02760 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:39:03] 971*2^1425294-1 is not prime. Res64: 292EC7F5986C360F Time : 0.0 sec. user=mdettweiler [2016-04-05 00:46:03] 649*2^1425295-1 is not prime. Res64: 05E01E3C64730B6F Time : 0.0 sec. user=mdettweiler [2016-04-05 00:46:03] 841*2^1425295-1 is not prime. Res64: F0948ECDEAE38033 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:46:03] 889*2^1425295-1 is not prime. Res64: 6CD64092A261CB30 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:46:03] 629*2^1425296-1 is not prime. Res64: 8EB0E0AAB4043372 Time : 0.0 sec. user=mdettweiler [2016-04-05 00:46:04] 677*2^1425296-1 is not prime. Res64: 05C6390854DF073A Time : 0.0 sec. user=mdettweiler [2016-04-05 01:17:29] 719*2^1425296-1 is not prime. Res64: 9DAF6B85F599C9C6 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:17:30] 747*2^1425296-1 is not prime. Res64: FEF15D7EB51A7DD0 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:17:30] 767*2^1425296-1 is not prime. Res64: AE015D0897D39F8E Time : 0.0 sec. user=mdettweiler [2016-04-05 01:17:30] 777*2^1425296-1 is not prime. Res64: 6763B813AB81ABD0 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:17:31] 903*2^1425296-1 is not prime. Res64: 0CCAD2556D25C61F Time : 0.0 sec. user=mdettweiler [2016-04-05 01:19:31] 927*2^1425296-1 is not prime. Res64: 90B74092A9633BEF Time : 0.0 sec. user=mdettweiler [2016-04-05 01:19:31] 935*2^1425296-1 is not prime. Res64: 8D73CA3E0BD84E11 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:19:31] 945*2^1425296-1 is not prime. Res64: D86AA41245C4C459 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:19:31] 969*2^1425296-1 is not prime. Res64: 86255FF9D3F64D40 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:19:32] 983*2^1425296-1 is not prime. Res64: B1990019453B10A7 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:24:18] 741*2^1425297-1 is not prime. Res64: 1E13C6B0D2AD15BD Time : 0.0 sec. user=mdettweiler [2016-04-05 01:24:19] 747*2^1425297-1 is not prime. Res64: DFA067895766128D Time : 0.0 sec. user=mdettweiler [2016-04-05 01:24:19] 765*2^1425297-1 is not prime. Res64: 00B0FB6A246121E9 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:24:19] 805*2^1425297-1 is not prime. Res64: 786AC87E5B06B9B7 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:24:19] 847*2^1425297-1 is not prime. Res64: C1E0A6C322B7FF54 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:31:15] 871*2^1425297-1 is not prime. Res64: 636E28B4FDD5B6CD Time : 0.0 sec. user=mdettweiler [2016-04-05 01:31:16] 901*2^1425297-1 is not prime. Res64: 5AC216C2A0A2102C Time : 0.0 sec. user=mdettweiler [2016-04-05 01:31:16] 663*2^1425298-1 is not prime. Res64: BF82C9E0D19E040C Time : 0.0 sec. user=mdettweiler [2016-04-05 01:31:17] 687*2^1425298-1 is not prime. Res64: C4324767B10D8A05 Time : 0.0 sec. user=mdettweiler [2016-04-05 01:31:18] 731*2^1425298-1 is not prime. Res64: 9A124171EE471810 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:02:35] 737*2^1425298-1 is not prime. Res64: 8346BC5D4E9EDCBF Time : 0.0 sec. user=mdettweiler [2016-04-05 02:02:37] 843*2^1425298-1 is not prime. Res64: 06F23869B3256FCF Time : 0.0 sec. user=mdettweiler [2016-04-05 02:02:37] 857*2^1425298-1 is not prime. Res64: D944D4282AC582ED Time : 0.0 sec. user=mdettweiler [2016-04-05 02:02:38] 995*2^1425298-1 is not prime. Res64: FF580EE8A5CAB077 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:02:39] 601*2^1425299-1 is not prime. Res64: F6491A85CDBDD87C Time : 0.0 sec. user=mdettweiler [2016-04-05 02:04:42] 711*2^1425299-1 is not prime. Res64: 8D5CCE48BFA42DE0 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:04:43] 955*2^1425299-1 is not prime. Res64: 12502BE154BC9E7A Time : 0.0 sec. user=mdettweiler [2016-04-05 02:04:44] 993*2^1425299-1 is not prime. Res64: 47DA5C84B06C7018 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:04:45] 773*2^1425300-1 is not prime. Res64: 229350AEADCF269C Time : 0.0 sec. user=mdettweiler [2016-04-05 02:04:46] 797*2^1425300-1 is not prime. Res64: 56525275209252DB Time : 0.0 sec. user=mdettweiler [2016-04-05 02:09:33] 825*2^1425300-1 is not prime. Res64: D8E526CF65BFAE43 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:09:33] 843*2^1425300-1 is not prime. Res64: 7F9F176589628341 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:09:34] 867*2^1425300-1 is not prime. Res64: A49C73969305D8DB Time : 0.0 sec. user=mdettweiler [2016-04-05 02:09:34] 873*2^1425300-1 is not prime. Res64: 4C3F50043BA44B08 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:09:34] 875*2^1425300-1 is not prime. Res64: F3EAAF050697375F Time : 0.0 sec. user=mdettweiler [2016-04-05 02:16:27] 607*2^1425301-1 is not prime. Res64: 330D35445F2556BA Time : 0.0 sec. user=mdettweiler [2016-04-05 02:16:27] 639*2^1425301-1 is not prime. Res64: C3D151DE30733520 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:16:28] 649*2^1425301-1 is not prime. Res64: 4CA24A8F9EE516B9 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:16:28] 691*2^1425301-1 is not prime. Res64: E95E676EDA78B624 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:16:28] 937*2^1425301-1 is not prime. Res64: E3DDE56FC6073E48 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:47:58] 665*2^1425302-1 is not prime. Res64: 17B8420FC915E5E9 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:47:59] 671*2^1425302-1 is not prime. Res64: 6528A989F79A0C2F Time : 0.0 sec. user=mdettweiler [2016-04-05 02:47:59] 683*2^1425302-1 is not prime. Res64: C00C22B31623F3EA Time : 0.0 sec. user=mdettweiler [2016-04-05 02:47:59] 843*2^1425302-1 is not prime. Res64: 1F05C1512B023201 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:48:00] 885*2^1425302-1 is not prime. Res64: 0AA1BCE4839B60BC Time : 0.0 sec. user=mdettweiler [2016-04-05 02:49:59] 953*2^1425302-1 is not prime. Res64: FCA0759BF4BCA311 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:49:59] 965*2^1425302-1 is not prime. Res64: 97132881D5FEF44F Time : 0.0 sec. user=mdettweiler [2016-04-05 02:49:59] 661*2^1425303-1 is not prime. Res64: AEAA3ED30F427A94 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:49:59] 723*2^1425303-1 is not prime. Res64: 23E14FDB71501FDB Time : 0.0 sec. user=mdettweiler [2016-04-05 02:50:00] 775*2^1425303-1 is not prime. Res64: A10939F5ED797223 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:54:51] 635*2^1425304-1 is not prime. Res64: 78C164A0251D4919 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:54:51] 639*2^1425304-1 is not prime. Res64: C3E5B6C436D1DA60 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:54:51] 677*2^1425304-1 is not prime. Res64: 7F6BDCEA4BB79FF3 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:54:51] 723*2^1425304-1 is not prime. Res64: 5C4437B1632B9473 Time : 0.0 sec. user=mdettweiler [2016-04-05 02:54:52] 905*2^1425304-1 is not prime. Res64: 0FC56B54E24EFBCE Time : 0.0 sec. user=mdettweiler [2016-04-05 03:01:39] 619*2^1425305-1 is not prime. Res64: 62B17D41FDA13A7D Time : 0.0 sec. user=mdettweiler [2016-04-05 03:01:40] 657*2^1425305-1 is not prime. Res64: A1A3B79F5D45D5E5 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:01:41] 699*2^1425305-1 is not prime. Res64: 125472FA43838634 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:01:41] 729*2^1425305-1 is not prime. Res64: 6DDC186831DEE5F1 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:01:41] 861*2^1425305-1 is not prime. Res64: 4A2EB3454954A9CE Time : 0.0 sec. user=mdettweiler [2016-04-05 03:33:13] 683*2^1425306-1 is not prime. Res64: 64067B50EABB9E03 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:33:14] 801*2^1425306-1 is not prime. Res64: 8F48467B64C9A502 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:33:15] 833*2^1425306-1 is not prime. Res64: 3C2F7B980C43A4CA Time : 0.0 sec. user=mdettweiler [2016-04-05 03:33:16] 861*2^1425306-1 is not prime. Res64: B7624B9FBAA2C863 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:33:16] 891*2^1425306-1 is not prime. Res64: AECE82CDE1B62A89 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:35:12] 993*2^1425306-1 is not prime. Res64: 7DAAB97966015125 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:35:12] 861*2^1425307-1 is not prime. Res64: 6A22C8CEC90108CC Time : 0.0 sec. user=mdettweiler [2016-04-05 03:35:13] 985*2^1425307-1 is not prime. Res64: 6AC37473A7A05D20 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:35:13] 603*2^1425308-1 is not prime. Res64: 18FA844302877CCF Time : 0.0 sec. user=mdettweiler [2016-04-05 03:35:14] 663*2^1425308-1 is not prime. Res64: D8CED37EAA3FAD5C Time : 0.0 sec. user=mdettweiler [2016-04-05 03:39:56] 789*2^1425308-1 is not prime. Res64: 01B4D76CC4FCBAE6 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:39:57] 995*2^1425308-1 is not prime. Res64: E6405850D2E21895 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:39:57] 691*2^1425309-1 is not prime. Res64: 9B532578C1FA5689 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:39:57] 789*2^1425309-1 is not prime. Res64: 05124B6D6548A842 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:39:58] 867*2^1425309-1 is not prime. Res64: 7CECBB901E375A6A Time : 0.0 sec. user=mdettweiler [2016-04-05 03:46:57] 635*2^1425310-1 is not prime. Res64: 146A2747BA02A96F Time : 0.0 sec. user=mdettweiler [2016-04-05 03:46:58] 675*2^1425310-1 is not prime. Res64: B9DD7A28B87A50B6 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:46:59] 785*2^1425310-1 is not prime. Res64: 7A624B338CCE5AA7 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:47:00] 831*2^1425310-1 is not prime. Res64: 6154338B36B4A964 Time : 0.0 sec. user=mdettweiler [2016-04-05 03:47:01] 891*2^1425310-1 is not prime. Res64: D48EB1FE581F307F Time : 0.0 sec. user=mdettweiler [2016-04-05 04:18:22] 933*2^1425310-1 is not prime. Res64: 334298DF65E807E7 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:18:22] 957*2^1425310-1 is not prime. Res64: D8D12E50C6485F72 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:18:23] 661*2^1425311-1 is not prime. Res64: 1EF69C5B5FA423CA Time : 0.0 sec. user=mdettweiler [2016-04-05 04:18:23] 735*2^1425311-1 is not prime. Res64: 348C09D04E13664E Time : 0.0 sec. user=mdettweiler [2016-04-05 04:18:24] 789*2^1425311-1 is not prime. Res64: 6E8845E58C06B23C Time : 0.0 sec. user=mdettweiler [2016-04-05 04:20:40] 921*2^1425311-1 is not prime. Res64: 01690345F4B0B86F Time : 0.0 sec. user=mdettweiler [2016-04-05 04:20:40] 931*2^1425311-1 is not prime. Res64: E331BA56D4C100CD Time : 0.0 sec. user=mdettweiler [2016-04-05 04:20:40] 943*2^1425311-1 is not prime. Res64: 91AD90B4F4492A5C Time : 0.0 sec. user=mdettweiler [2016-04-05 04:20:41] 949*2^1425311-1 is not prime. Res64: FEAC99B598D3D005 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:20:41] 955*2^1425311-1 is not prime. Res64: 0887E94308B8F470 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:25:12] 973*2^1425311-1 is not prime. Res64: 9BD4D9129798A214 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:25:12] 979*2^1425311-1 is not prime. Res64: FCE25EBC528B3FFC Time : 0.0 sec. user=mdettweiler [2016-04-05 04:25:13] 669*2^1425312-1 is not prime. Res64: 2B71774971C21BC6 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:25:13] 713*2^1425312-1 is not prime. Res64: 0A1CBB92C932F5AF Time : 0.0 sec. user=mdettweiler [2016-04-05 04:25:13] 725*2^1425312-1 is not prime. Res64: C9A79E57412D096B Time : 0.0 sec. user=mdettweiler [2016-04-05 04:32:15] 819*2^1425312-1 is not prime. Res64: 00163C6BF900F0C7 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:32:15] 917*2^1425312-1 is not prime. Res64: DF0ECE5EF52CF529 Time : 0.0 sec. user=mdettweiler [2016-04-05 04:32:16] 639*2^1425313-1 is not prime. Res64: EE1CC9CD69EF895A Time : 0.0 sec. user=mdettweiler [2016-04-05 04:32:16] 681*2^1425313-1 is not prime. Res64: 81099D347561EE6A Time : 0.0 sec. user=mdettweiler [2016-04-05 04:32:16] 691*2^1425313-1 is not prime. Res64: 66CBAFC986EE60E9 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:03:34] 741*2^1425313-1 is not prime. Res64: BD59B0D7698D72F9 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:03:36] 867*2^1425313-1 is not prime. Res64: 8F0EF24BA4703C61 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:03:37] 889*2^1425313-1 is not prime. Res64: 5550FBC5BA0D96C0 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:03:37] 895*2^1425313-1 is not prime. Res64: 3547DD50E1CEB0F5 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:03:38] 999*2^1425313-1 is not prime. Res64: 32428E761AF12AA2 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:06:15] 617*2^1425314-1 is not prime. Res64: D3DB8CF382A55995 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:06:16] 635*2^1425314-1 is not prime. Res64: 901BDD3E7D32B552 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:06:16] 701*2^1425314-1 is not prime. Res64: DFBF7EC9C786A33C Time : 0.0 sec. user=mdettweiler [2016-04-05 05:06:16] 705*2^1425314-1 is not prime. Res64: BDC2176789CCABDB Time : 0.0 sec. user=mdettweiler [2016-04-05 05:06:17] 791*2^1425314-1 is not prime. Res64: D1353DB9C641ECDB Time : 0.0 sec. user=mdettweiler [2016-04-05 05:11:14] 815*2^1425314-1 is not prime. Res64: F929930F49AB6A38 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:11:14] 885*2^1425314-1 is not prime. Res64: 914B0572AD96CDE0 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:11:15] 709*2^1425315-1 is not prime. Res64: 0056E5581C79CF51 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:11:15] 859*2^1425315-1 is not prime. Res64: 22753DB182F7B7DB Time : 0.0 sec. user=mdettweiler [2016-04-05 05:11:15] 873*2^1425315-1 is not prime. Res64: 5E50A4F50F9920D3 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:18:21] 885*2^1425315-1 is not prime. Res64: 866F174F03D2B694 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:18:21] 919*2^1425315-1 is not prime. Res64: A29681DB0A5D4629 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:18:21] 951*2^1425315-1 is not prime. Res64: 2EC268BC7ECF3354 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:18:21] 663*2^1425316-1 is not prime. Res64: E454D070FAFB8949 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:18:22] 773*2^1425316-1 is not prime. Res64: B16F573684F5976E Time : 0.0 sec. user=mdettweiler [2016-04-05 05:49:45] 905*2^1425316-1 is not prime. Res64: 4680022AC14D29EF Time : 0.0 sec. user=mdettweiler [2016-04-05 05:49:45] 923*2^1425316-1 is not prime. Res64: 56C3C20EF4C370F6 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:49:46] 927*2^1425316-1 is not prime. Res64: 72ABE6EB1A29323F Time : 0.0 sec. user=mdettweiler [2016-04-05 05:49:46] 939*2^1425316-1 is not prime. Res64: 33E0078090FBA25B Time : 0.0 sec. user=mdettweiler [2016-04-05 05:49:46] 983*2^1425316-1 is not prime. Res64: 86A8C58D1402DED1 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:53:09] 631*2^1425317-1 is not prime. Res64: 59EF9E46E7F9A1C2 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:53:09] 699*2^1425317-1 is not prime. Res64: 5C550E73186B87DA Time : 0.0 sec. user=mdettweiler [2016-04-05 05:53:09] 717*2^1425317-1 is not prime. Res64: DF68DB84E3703DDF Time : 0.0 sec. user=mdettweiler [2016-04-05 05:53:10] 757*2^1425317-1 is not prime. Res64: A35C469486756E74 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:53:10] 771*2^1425317-1 is not prime. Res64: 96BA34AD6ADBDE73 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:56:35] 937*2^1425317-1 is not prime. Res64: 0B1461AAF715A979 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:56:36] 939*2^1425317-1 is not prime. Res64: 243CADE6A897F8F9 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:56:36] 979*2^1425317-1 is not prime. Res64: 5DBDE4A6B45330BB Time : 0.0 sec. user=mdettweiler [2016-04-05 05:56:36] 981*2^1425317-1 is not prime. Res64: E47CE0EE10EC6F27 Time : 0.0 sec. user=mdettweiler [2016-04-05 05:56:36] 605*2^1425318-1 is not prime. Res64: 4B5EF67CAA0B8DF6 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:03:36] 647*2^1425318-1 is not prime. Res64: 1327CC0FEBB1F5AD Time : 0.0 sec. user=mdettweiler [2016-04-05 06:03:36] 681*2^1425318-1 is not prime. Res64: 4F94CB12D4258A32 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:03:37] 713*2^1425318-1 is not prime. Res64: 59479F7DD62D48E4 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:03:37] 737*2^1425318-1 is not prime. Res64: 1DBBC71B71FD2748 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:03:38] 747*2^1425318-1 is not prime. Res64: 37AA8F88AE8DCD07 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:35:02] 765*2^1425318-1 is not prime. Res64: 709351315C05684A Time : 0.0 sec. user=mdettweiler [2016-04-05 06:35:03] 861*2^1425318-1 is not prime. Res64: 84F77DEA027468D7 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:35:03] 625*2^1425319-1 is not prime. Res64: 90F53FD1C2F0E9D3 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:35:03] 675*2^1425319-1 is not prime. Res64: 198CCF6AB5C0697F Time : 0.0 sec. user=mdettweiler [2016-04-05 06:35:04] 759*2^1425319-1 is not prime. Res64: D812870790B5C189 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:38:25] 765*2^1425319-1 is not prime. Res64: 7202BCD2D47EF63D Time : 0.0 sec. user=mdettweiler [2016-04-05 06:38:26] 793*2^1425319-1 is not prime. Res64: 2EA36DC9B15719AD Time : 0.0 sec. user=mdettweiler [2016-04-05 06:38:26] 913*2^1425319-1 is not prime. Res64: AA48616622C14AB9 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:38:26] 933*2^1425319-1 is not prime. Res64: 84D8295F281A8549 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:38:26] 973*2^1425319-1 is not prime. Res64: 79975B5FCB5A7F96 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:42:00] 615*2^1425320-1 is not prime. Res64: 47CA7DC5534ADA7C Time : 0.0 sec. user=mdettweiler [2016-04-05 06:42:00] 645*2^1425320-1 is not prime. Res64: DFE521CC60651B16 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:42:00] 735*2^1425320-1 is not prime. Res64: 79D0677EA8BC29C6 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:42:00] 923*2^1425320-1 is not prime. Res64: 063BF0D1FB9D4554 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:42:01] 927*2^1425320-1 is not prime. Res64: 905ACC4D344BCF61 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:48:47] 963*2^1425320-1 is not prime. Res64: E923AEE85F9AA7E3 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:48:47] 983*2^1425320-1 is not prime. Res64: E147B8153A72DA5E Time : 0.0 sec. user=mdettweiler [2016-04-05 06:48:47] 601*2^1425321-1 is not prime. Res64: 2D3A3FAEC3F7D1FB Time : 0.0 sec. user=mdettweiler [2016-04-05 06:48:47] 649*2^1425321-1 is not prime. Res64: 0593800B6DF707D9 Time : 0.0 sec. user=mdettweiler [2016-04-05 06:48:48] 657*2^1425321-1 is not prime. Res64: 6FF1D5B19396E999 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:20:04] 777*2^1425321-1 is not prime. Res64: 2F4F7B7FE54D754C Time : 0.0 sec. user=mdettweiler [2016-04-05 07:20:05] 789*2^1425321-1 is not prime. Res64: 27F3C360557AE837 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:20:05] 865*2^1425321-1 is not prime. Res64: 960A1813DE388B64 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:20:05] 955*2^1425321-1 is not prime. Res64: E37CAB7FEA30E386 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:20:05] 677*2^1425322-1 is not prime. Res64: 92406FF44FC39147 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:23:28] 723*2^1425322-1 is not prime. Res64: 0F8EA2DD106587E0 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:23:29] 777*2^1425322-1 is not prime. Res64: D37BE3D00E5813BC Time : 0.0 sec. user=mdettweiler [2016-04-05 07:23:29] 831*2^1425322-1 is not prime. Res64: 816FB3ADEAC970D8 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:23:29] 857*2^1425322-1 is not prime. Res64: F620A3C128E083C4 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:23:30] 881*2^1425322-1 is not prime. Res64: FB39B817866F2DBA Time : 0.0 sec. user=mdettweiler [2016-04-05 07:27:05] 911*2^1425322-1 is not prime. Res64: C35D933A72C9FF37 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:27:06] 957*2^1425322-1 is not prime. Res64: 97FE8816CCF1CE22 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:27:06] 975*2^1425322-1 is not prime. Res64: EF5E598CBE6C2CC8 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:27:06] 983*2^1425322-1 is not prime. Res64: F51ECDB20CBE9F41 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:27:06] 995*2^1425322-1 is not prime. Res64: E65CE8D1A618F278 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:33:50] 615*2^1425323-1 is not prime. Res64: A20D4C60F807A52A Time : 0.0 sec. user=mdettweiler [2016-04-05 07:33:50] 745*2^1425323-1 is not prime. Res64: 1528272CE71CCED4 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:33:51] 895*2^1425323-1 is not prime. Res64: 0B8850822CD807C5 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:33:51] 985*2^1425323-1 is not prime. Res64: 5A630153D0978462 Time : 0.0 sec. user=mdettweiler [2016-04-05 07:33:52] 705*2^1425324-1 is not prime. Res64: 1CD7D8EEB5D3AD97 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:05:10] 909*2^1425324-1 is not prime. Res64: E8492385EC202221 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:05:11] 969*2^1425324-1 is not prime. Res64: 46DD487BB0DC9D26 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:05:12] 975*2^1425324-1 is not prime. Res64: 02DB35866BA51530 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:05:13] 649*2^1425325-1 is not prime. Res64: 995707DB6E7D6B6D Time : 0.0 sec. user=mdettweiler [2016-04-05 08:05:13] 847*2^1425325-1 is not prime. Res64: 85F61B8BA0F27BBA Time : 0.0 sec. user=mdettweiler [2016-04-05 08:08:31] 859*2^1425325-1 is not prime. Res64: 11CA97C505732729 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:08:31] 975*2^1425325-1 is not prime. Res64: D4DE094F0AD47DFF Time : 0.0 sec. user=mdettweiler [2016-04-05 08:08:32] 617*2^1425326-1 is not prime. Res64: 51A2DA72ADF3E629 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:08:32] 623*2^1425326-1 is not prime. Res64: FB00FB534C2C7138 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:08:32] 641*2^1425326-1 is not prime. Res64: 0805D1CAC0CEDFE6 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:12:34] 843*2^1425326-1 is not prime. Res64: 5DA84E067BCB4D6C Time : 0.0 sec. user=mdettweiler [2016-04-05 08:12:35] 857*2^1425326-1 is not prime. Res64: 5CD94F87E7028DED Time : 0.0 sec. user=mdettweiler [2016-04-05 08:12:36] 897*2^1425326-1 is not prime. Res64: C1BD460E65B6C8FC Time : 0.0 sec. user=mdettweiler [2016-04-05 08:12:37] 911*2^1425326-1 is not prime. Res64: 11B503DCDFB1C4BA Time : 0.0 sec. user=mdettweiler [2016-04-05 08:12:38] 993*2^1425326-1 is not prime. Res64: 5249A98A862005F9 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:19:08] 609*2^1425327-1 is not prime. Res64: 087233C63E5BD0DD Time : 0.0 sec. user=mdettweiler [2016-04-05 08:19:08] 625*2^1425327-1 is not prime. Res64: 4C47CEA4EF03C681 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:19:09] 643*2^1425327-1 is not prime. Res64: 0BD6B6ACB92D1841 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:19:09] 685*2^1425327-1 is not prime. Res64: 6C4813E6F87BB108 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:19:09] 751*2^1425327-1 is not prime. Res64: FF3E1B0798727041 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:50:38] 861*2^1425327-1 is not prime. Res64: 1A26F82CFF3F46E9 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:50:38] 885*2^1425327-1 is not prime. Res64: D9B0D8DB90D60A15 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:50:38] 919*2^1425327-1 is not prime. Res64: 4AB0E626F7BB8096 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:50:39] 931*2^1425327-1 is not prime. Res64: BBAC1874ADED7752 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:50:39] 695*2^1425328-1 is not prime. Res64: 8A62F78CDB11D0AB Time : 0.0 sec. user=mdettweiler [2016-04-05 08:53:55] 735*2^1425328-1 is not prime. Res64: 6AC42F4C93E5C84F Time : 0.0 sec. user=mdettweiler [2016-04-05 08:53:55] 845*2^1425328-1 is not prime. Res64: 222DCC8CC5055F21 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:53:55] 855*2^1425328-1 is not prime. Res64: 2DBA1676FA1AEA5B Time : 0.0 sec. user=mdettweiler [2016-04-05 08:53:55] 863*2^1425328-1 is not prime. Res64: B5196CAA3077C57B Time : 0.0 sec. user=mdettweiler [2016-04-05 08:53:56] 927*2^1425328-1 is not prime. Res64: 1B5C204021FC8869 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:58:06] 637*2^1425329-1 is not prime. Res64: 1C1B000B5A6A3406 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:58:06] 645*2^1425329-1 is not prime. Res64: 03D346479AFE4A82 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:58:06] 697*2^1425329-1 is not prime. Res64: C79B4AB086A68C68 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:58:06] 735*2^1425329-1 is not prime. Res64: 43A7C15FC4A83E10 Time : 0.0 sec. user=mdettweiler [2016-04-05 08:58:06] 925*2^1425329-1 is not prime. Res64: 6638D3FBDAF468E1 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:04:31] 657*2^1425330-1 is not prime. Res64: C18CC2E72B3BB3C7 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:04:32] 735*2^1425330-1 is not prime. Res64: B436425A5757C378 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:04:32] 755*2^1425330-1 is not prime. Res64: C6F0D9FF721516FC Time : 0.0 sec. user=mdettweiler [2016-04-05 09:04:33] 843*2^1425330-1 is not prime. Res64: 830FAB7043D4653F Time : 0.0 sec. user=mdettweiler [2016-04-05 09:04:33] 891*2^1425330-1 is not prime. Res64: 0B56596E71504ACD Time : 0.0 sec. user=mdettweiler [2016-04-05 09:35:55] 927*2^1425330-1 is not prime. Res64: 37CAC20A25BCCEEA Time : 0.0 sec. user=mdettweiler [2016-04-05 09:35:56] 933*2^1425330-1 is not prime. Res64: 659881CA8E9145D3 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:35:56] 1001*2^1425330-1 is not prime. Res64: 9A10A29F2FE36681 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:35:56] 649*2^1425331-1 is not prime. Res64: 572D40D94462F41E Time : 0.0 sec. user=mdettweiler [2016-04-05 09:35:56] 861*2^1425331-1 is not prime. Res64: EABDB0651E519299 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:39:21] 605*2^1425332-1 is not prime. Res64: 0D669ED810CFFD92 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:39:22] 623*2^1425332-1 is not prime. Res64: 3279B8A96B39A8DB Time : 0.0 sec. user=mdettweiler [2016-04-05 09:39:22] 647*2^1425332-1 is not prime. Res64: 6D34CF97DAB04FD5 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:39:22] 677*2^1425332-1 is not prime. Res64: 0D64870515F98819 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:39:22] 873*2^1425332-1 is not prime. Res64: 75209FEAF6DCAFE4 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:43:23] 977*2^1425332-1 is not prime. Res64: 49C99718DA6132C8 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:43:24] 983*2^1425332-1 is not prime. Res64: 5BCCE9ED1913E72F Time : 0.0 sec. user=mdettweiler [2016-04-05 09:43:24] 669*2^1425333-1 is not prime. Res64: F1345CF961823F2F Time : 0.0 sec. user=mdettweiler [2016-04-05 09:43:24] 787*2^1425333-1 is not prime. Res64: 9C026DE678D3B437 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:43:24] 789*2^1425333-1 is not prime. Res64: 0B216678F448EA19 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:49:48] 895*2^1425333-1 is not prime. Res64: 911E026F64AF5E0E Time : 0.0 sec. user=mdettweiler [2016-04-05 09:49:49] 921*2^1425333-1 is not prime. Res64: ED6E08BF287D2A54 Time : 0.0 sec. user=mdettweiler [2016-04-05 09:49:49] 605*2^1425334-1 is not prime. Res64: C2C8A6418AFF972B Time : 0.0 sec. user=mdettweiler [2016-04-05 09:49:49] 663*2^1425334-1 is not prime. Res64: C734E94839ABB3EA Time : 0.0 sec. user=mdettweiler [2016-04-05 09:49:49] 705*2^1425334-1 is not prime. Res64: BAD40D1A8C25FC02 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:21:09] 737*2^1425334-1 is not prime. Res64: E8A72A745DA03177 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:21:10] 825*2^1425334-1 is not prime. Res64: 590FC47112424782 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:21:10] 857*2^1425334-1 is not prime. Res64: 24C56E5FA0CB176C Time : 0.0 sec. user=mdettweiler [2016-04-05 10:21:10] 885*2^1425334-1 is not prime. Res64: 95C169D0836B1D53 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:21:10] 887*2^1425334-1 is not prime. Res64: FE9914540C637392 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:24:47] 897*2^1425334-1 is not prime. Res64: A720A22B11891AFC Time : 0.0 sec. user=mdettweiler [2016-04-05 10:24:48] 601*2^1425335-1 is not prime. Res64: 0CA36D3A662913BA Time : 0.0 sec. user=mdettweiler [2016-04-05 10:24:48] 645*2^1425335-1 is not prime. Res64: 941DFDA9DA3D90B6 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:24:48] 775*2^1425335-1 is not prime. Res64: F4F85F57B7B6738C Time : 0.0 sec. user=mdettweiler [2016-04-05 10:24:48] 789*2^1425335-1 is not prime. Res64: 7A4F8854F6608744 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:28:55] 841*2^1425335-1 is not prime. Res64: 3333CAA607D914DF Time : 0.0 sec. user=mdettweiler [2016-04-05 10:28:55] 843*2^1425335-1 is not prime. Res64: 2EC69990047BB53E Time : 0.0 sec. user=mdettweiler [2016-04-05 10:28:55] 885*2^1425335-1 is not prime. Res64: 860CD12035C6FB40 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:28:56] 963*2^1425335-1 is not prime. Res64: 39F9F2CB32004862 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:28:56] 969*2^1425335-1 is not prime. Res64: E50116F403A3F218 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:35:07] 985*2^1425335-1 is not prime. Res64: CCEE273D11C4578A Time : 0.0 sec. user=mdettweiler [2016-04-05 10:35:08] 693*2^1425336-1 is not prime. Res64: C0AB9A8B83BD75DF Time : 0.0 sec. user=mdettweiler [2016-04-05 10:35:08] 759*2^1425336-1 is not prime. Res64: DA0162481962E0EF Time : 0.0 sec. user=mdettweiler [2016-04-05 10:35:09] 765*2^1425336-1 is not prime. Res64: 312026713D8201F5 Time : 0.0 sec. user=mdettweiler [2016-04-05 10:35:09] 815*2^1425336-1 is not prime. Res64: 02AA8D8FEEAC6E44 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:06:24] 839*2^1425336-1 is not prime. Res64: F7F397FF7DF94042 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:06:25] 983*2^1425336-1 is not prime. Res64: D11B057670D0BB18 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:06:26] 685*2^1425337-1 is not prime. Res64: BAAA457AAC48652D Time : 0.0 sec. user=mdettweiler [2016-04-05 11:06:27] 717*2^1425337-1 is not prime. Res64: 8FBE37E0C55D528D Time : 0.0 sec. user=mdettweiler [2016-04-05 11:06:28] 829*2^1425337-1 is not prime. Res64: 15AE8C9EADC717FE Time : 0.0 sec. user=mdettweiler [2016-04-05 11:09:52] 861*2^1425337-1 is not prime. Res64: 981EB5FE87F3F846 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:09:52] 871*2^1425337-1 is not prime. Res64: 31A0BA60EAB5AAD8 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:09:52] 635*2^1425338-1 is not prime. Res64: BEC7D0B0CA6311D7 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:09:52] 665*2^1425338-1 is not prime. Res64: 5C851598DFE8D4A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:09:53] 791*2^1425338-1 is not prime. Res64: DDFD7902772AA7A6 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:13:52] 941*2^1425338-1 is not prime. Res64: 926CE7A943384022 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:13:53] 609*2^1425339-1 is not prime. Res64: 962981135E828070 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:13:53] 619*2^1425339-1 is not prime. Res64: C9E9011C304C8DD1 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:13:54] 633*2^1425339-1 is not prime. Res64: BA7231BE0D3B2283 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:13:54] 801*2^1425339-1 is not prime. Res64: F8D776683B5EAF1F Time : 0.0 sec. user=mdettweiler [2016-04-05 11:20:16] 829*2^1425339-1 is not prime. Res64: 20C13F0E26F332A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:20:16] 973*2^1425339-1 is not prime. Res64: 7E81D5971ED4A21C Time : 0.0 sec. user=mdettweiler [2016-04-05 11:20:17] 687*2^1425340-1 is not prime. Res64: 0583A08E3627E33B Time : 0.0 sec. user=mdettweiler [2016-04-05 11:20:17] 783*2^1425340-1 is not prime. Res64: 74A200B72EE36E84 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:20:17] 839*2^1425340-1 is not prime. Res64: C7BD4812BD9A21E9 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:51:57] 855*2^1425340-1 is not prime. Res64: 30E651B067AE62B9 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:51:57] 939*2^1425340-1 is not prime. Res64: 661E97492AC0F0A6 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:51:58] 975*2^1425340-1 is not prime. Res64: 95FA2BAE5DAD18A8 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:51:58] 651*2^1425341-1 is not prime. Res64: D85996327136EF58 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:51:58] 811*2^1425341-1 is not prime. Res64: 028F9904378A50D1 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:55:29] 867*2^1425341-1 is not prime. Res64: D9B65AF5FFFC2949 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:55:30] 981*2^1425341-1 is not prime. Res64: 3E67DDAC4CF26BAB Time : 0.0 sec. user=mdettweiler [2016-04-05 11:55:30] 991*2^1425341-1 is not prime. Res64: D611010C64157D69 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:55:30] 681*2^1425342-1 is not prime. Res64: 69DDC0472A2ED046 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:55:30] 705*2^1425342-1 is not prime. Res64: 0164CD7254F82689 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:59:18] 731*2^1425342-1 is not prime. Res64: 6004F73F197E96D4 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:59:18] 741*2^1425342-1 is not prime. Res64: 16CEB325328FA762 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:59:18] 825*2^1425342-1 is not prime. Res64: B1CB4E74CA13DB9D Time : 0.0 sec. user=mdettweiler [2016-04-05 11:59:18] 891*2^1425342-1 is not prime. Res64: 56AD991DA0466EE6 Time : 0.0 sec. user=mdettweiler [2016-04-05 11:59:19] 903*2^1425342-1 is not prime. Res64: 5C28498AE3A07172 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:05:45] 1001*2^1425342-1 is not prime. Res64: 1413E06211108966 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:05:46] 663*2^1425343-1 is not prime. Res64: BB7AA534D3258A64 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:05:47] 675*2^1425343-1 is not prime. Res64: 3BBA59078F3120D6 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:05:47] 703*2^1425343-1 is not prime. Res64: 344D23938E3BCA45 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:05:48] 709*2^1425343-1 is not prime. Res64: 689AB97BF6A1507E Time : 0.0 sec. user=mdettweiler [2016-04-05 12:38:07] 751*2^1425343-1 is not prime. Res64: FF08E9BE483566CE Time : 0.0 sec. user=mdettweiler [2016-04-05 12:38:07] 771*2^1425343-1 is not prime. Res64: E890625F88FC30C1 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:38:07] 919*2^1425343-1 is not prime. Res64: 791CC6A105BB922E Time : 0.0 sec. user=mdettweiler [2016-04-05 12:38:08] 945*2^1425343-1 is not prime. Res64: C2C49847DDE3F164 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:38:08] 969*2^1425343-1 is not prime. Res64: CDE448FE1A2C2A32 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:42:34] 993*2^1425343-1 is not prime. Res64: E368F9A53496341A Time : 0.0 sec. user=mdettweiler [2016-04-05 12:42:34] 699*2^1425344-1 is not prime. Res64: 2498FCD01FAFDEF2 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:42:35] 873*2^1425344-1 is not prime. Res64: AA66DECF3A9C95DF Time : 0.0 sec. user=mdettweiler [2016-04-05 12:42:35] 945*2^1425344-1 is not prime. Res64: 02352970B0F34CC3 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:42:35] 667*2^1425345-1 is not prime. Res64: 991CAB8FBBA15026 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:46:17] 691*2^1425345-1 is not prime. Res64: C5EE6D58E884357C Time : 0.0 sec. user=mdettweiler [2016-04-05 12:46:18] 721*2^1425345-1 is not prime. Res64: 1D22067F59D88166 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:46:18] 739*2^1425345-1 is not prime. Res64: 08D262C5ED308A44 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:46:18] 861*2^1425345-1 is not prime. Res64: 1ADFF0E5D696BA4E Time : 0.0 sec. user=mdettweiler [2016-04-05 12:46:18] 867*2^1425345-1 is not prime. Res64: F7245B72264DC8FE Time : 0.0 sec. user=mdettweiler [2016-04-05 12:54:24] 895*2^1425345-1 is not prime. Res64: 3C5FFCC037220C8C Time : 0.0 sec. user=mdettweiler [2016-04-05 12:54:25] 937*2^1425345-1 is not prime. Res64: 434D7E662A79BD3A Time : 0.0 sec. user=mdettweiler [2016-04-05 12:54:25] 955*2^1425345-1 is not prime. Res64: 30E11740DBA70A07 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:54:25] 969*2^1425345-1 is not prime. Res64: 38F60742A930E7D5 Time : 0.0 sec. user=mdettweiler [2016-04-05 12:54:25] 997*2^1425345-1 is not prime. Res64: 68CD8CE45B931FDA Time : 0.0 sec. user=mdettweiler [2016-04-05 13:31:01] 705*2^1425346-1 is not prime. Res64: A4742FBD624DC4C9 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:31:01] 777*2^1425346-1 is not prime. Res64: 12CB41F8111F2D55 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:31:02] 801*2^1425346-1 is not prime. Res64: D3D839F7214BBCF5 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:31:02] 881*2^1425346-1 is not prime. Res64: 2E599CF93A6B0570 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:31:02] 887*2^1425346-1 is not prime. Res64: 0B8BB2CA1FA5AA4E Time : 0.0 sec. user=mdettweiler [2016-04-05 13:35:08] 903*2^1425346-1 is not prime. Res64: 5C3EAF1317D395D2 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:35:09] 619*2^1425347-1 is not prime. Res64: D39554A327F01A84 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:35:09] 621*2^1425347-1 is not prime. Res64: A982BDA68CC4241B Time : 0.0 sec. user=mdettweiler [2016-04-05 13:35:09] 703*2^1425347-1 is not prime. Res64: F457E7F0E73D61A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:35:09] 799*2^1425347-1 is not prime. Res64: 035DF08484518F9F Time : 0.0 sec. user=mdettweiler [2016-04-05 13:37:29] 871*2^1425347-1 is not prime. Res64: CE429E8FB710F30C Time : 0.0 sec. user=mdettweiler [2016-04-05 13:37:29] 913*2^1425347-1 is not prime. Res64: 77A31D0C37176707 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:37:29] 915*2^1425347-1 is not prime. Res64: A9DD1F1D10B72911 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:37:29] 979*2^1425347-1 is not prime. Res64: CD70FDF92937FC05 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:37:30] 663*2^1425348-1 is not prime. Res64: 1FA76CC3D4DC2A67 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:44:17] 789*2^1425348-1 is not prime. Res64: 1315BBD83411DC6A Time : 0.0 sec. user=mdettweiler [2016-04-05 13:44:17] 959*2^1425348-1 is not prime. Res64: 4A71F285918EF157 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:44:17] 999*2^1425348-1 is not prime. Res64: FE248FDA7B195695 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:44:18] 619*2^1425349-1 is not prime. Res64: 240EEA08B2BF4418 Time : 0.0 sec. user=mdettweiler [2016-04-05 13:44:18] 681*2^1425349-1 is not prime. Res64: 4CAF36EC9C1DEE1C Time : 0.0 sec. user=mdettweiler [2016-04-05 14:19:44] 861*2^1425349-1 is not prime. Res64: 3F2AD11AD28F2F55 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:19:45] 967*2^1425349-1 is not prime. Res64: 5C3AD2A71D4AC62A Time : 0.0 sec. user=mdettweiler [2016-04-05 14:19:45] 975*2^1425349-1 is not prime. Res64: 8F0337A4078AFA55 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:19:45] 711*2^1425350-1 is not prime. Res64: 4CB3F25B04FE7C6D Time : 0.0 sec. user=mdettweiler [2016-04-05 14:19:45] 741*2^1425350-1 is not prime. Res64: 47FEC17A8E9EDD4B Time : 0.0 sec. user=mdettweiler [2016-04-05 14:24:22] 743*2^1425350-1 is not prime. Res64: 7C1C609018F68910 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:24:22] 761*2^1425350-1 is not prime. Res64: 1A92070F7F9080B4 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:24:22] 887*2^1425350-1 is not prime. Res64: E24009F33B60CB4E Time : 0.0 sec. user=mdettweiler [2016-04-05 14:24:23] 977*2^1425350-1 is not prime. Res64: 1B6E1C0ED78F17FB Time : 0.0 sec. user=mdettweiler [2016-04-05 14:24:23] 621*2^1425351-1 is not prime. Res64: 2AB5066F02D3C09D Time : 0.0 sec. user=mdettweiler [2016-04-05 14:26:26] 685*2^1425351-1 is not prime. Res64: 0481582600816864 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:26:26] 691*2^1425351-1 is not prime. Res64: 16AB0F0AF1158D73 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:26:26] 849*2^1425351-1 is not prime. Res64: 06279E8A4AFA260E Time : 0.0 sec. user=mdettweiler [2016-04-05 14:26:27] 961*2^1425351-1 is not prime. Res64: CAFAECBFDEB30D82 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:26:27] 759*2^1425352-1 is not prime. Res64: D7C93C6B7E463FB3 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:32:56] 797*2^1425352-1 is not prime. Res64: 22960BB7FA14160C Time : 0.0 sec. user=mdettweiler [2016-04-05 14:32:56] 887*2^1425352-1 is not prime. Res64: 4CFF8264DBADC69E Time : 0.0 sec. user=mdettweiler [2016-04-05 14:32:56] 903*2^1425352-1 is not prime. Res64: D19CEC612F6D033C Time : 0.0 sec. user=mdettweiler [2016-04-05 14:32:57] 917*2^1425352-1 is not prime. Res64: 059D5F564C266DE7 Time : 0.0 sec. user=mdettweiler [2016-04-05 14:32:57] 933*2^1425352-1 is not prime. Res64: 139016A69A33B4A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:06:01] 705*2^1425353-1 is not prime. Res64: 9F8AD3A0DD4BF4EF Time : 0.0 sec. user=mdettweiler [2016-04-05 15:06:03] 721*2^1425353-1 is not prime. Res64: 4A533B6EDE364F36 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:06:03] 805*2^1425353-1 is not prime. Res64: 99E6C94B1C42679E Time : 0.0 sec. user=mdettweiler [2016-04-05 15:06:03] 811*2^1425353-1 is not prime. Res64: B90AC1938E358CC4 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:06:04] 937*2^1425353-1 is not prime. Res64: 61B465B567B6811B Time : 0.0 sec. user=mdettweiler [2016-04-05 15:10:45] 605*2^1425354-1 is not prime. Res64: D1AE259EE683C03C Time : 0.0 sec. user=mdettweiler [2016-04-05 15:10:46] 627*2^1425354-1 is not prime. Res64: 35C7921BD9D694A3 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:10:47] 635*2^1425354-1 is not prime. Res64: 4E79A838126F3DD6 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:10:47] 641*2^1425354-1 is not prime. Res64: AF8A5D77019F576A Time : 0.0 sec. user=mdettweiler [2016-04-05 15:10:48] 705*2^1425354-1 is not prime. Res64: 4914C36BAE85BABE Time : 0.0 sec. user=mdettweiler [2016-04-05 15:12:45] 707*2^1425354-1 is not prime. Res64: B355A23DA2DB4DDA Time : 0.0 sec. user=mdettweiler [2016-04-05 15:12:46] 765*2^1425354-1 is not prime. Res64: 8281C6155B1AA9D4 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:12:47] 881*2^1425354-1 is not prime. Res64: 492CC87BA3DB7C9D Time : 0.0 sec. user=mdettweiler [2016-04-05 15:12:47] 887*2^1425354-1 is not prime. Res64: 987BE1B1A138B748 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:12:48] 905*2^1425354-1 is not prime. Res64: 5DEEEA9FEF9CCDA2 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:18:50] 951*2^1425354-1 is not prime. Res64: 6B4732E19257DAB8 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:18:50] 625*2^1425355-1 is not prime. Res64: DF677C8DFEE7B1F2 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:18:51] 709*2^1425355-1 is not prime. Res64: 8FDBCD01C3DDBC3D Time : 0.0 sec. user=mdettweiler [2016-04-05 15:18:51] 715*2^1425355-1 is not prime. Res64: B4170C1DAA46077E Time : 0.0 sec. user=mdettweiler [2016-04-05 15:18:51] 723*2^1425355-1 is not prime. Res64: 98E06940848333F3 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:51:32] 735*2^1425355-1 is not prime. Res64: 9E9488A91DC42324 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:51:32] 861*2^1425355-1 is not prime. Res64: 9575EAEEDCB2FE71 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:51:32] 603*2^1425356-1 is not prime. Res64: F86CAB0DFFFFB311 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:51:32] 617*2^1425356-1 is not prime. Res64: BCF3703E68C6A7CB Time : 0.0 sec. user=mdettweiler [2016-04-05 15:51:33] 629*2^1425356-1 is not prime. Res64: A585DEB142EB34A6 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:56:28] 735*2^1425356-1 is not prime. Res64: 575B8C2E8AEEB8A0 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:56:28] 767*2^1425356-1 is not prime. Res64: DCB4B7F3DFC9D6A4 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:56:29] 923*2^1425356-1 is not prime. Res64: 008FC90AE4FA3A1D Time : 0.0 sec. user=mdettweiler [2016-04-05 15:56:29] 953*2^1425356-1 is not prime. Res64: D64420E0D4BDF7B0 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:56:29] 969*2^1425356-1 is not prime. Res64: 8CE944E621CA75B5 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:58:16] 601*2^1425357-1 is not prime. Res64: 865958E9BD0FD8F1 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:58:16] 621*2^1425357-1 is not prime. Res64: 190FF11D307D4775 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:58:16] 649*2^1425357-1 is not prime. Res64: 7C4296F4E8A2CBD5 Time : 0.0 sec. user=mdettweiler [2016-04-05 15:58:17] 667*2^1425357-1 is not prime. Res64: 787DBFC0A25D6F6B Time : 0.0 sec. user=mdettweiler [2016-04-05 15:58:17] 781*2^1425357-1 is not prime. Res64: 33A0672779527F0B Time : 0.0 sec. user=mdettweiler [2016-04-05 16:04:05] 861*2^1425357-1 is not prime. Res64: 1EB64E4FFFFAADAC Time : 0.0 sec. user=mdettweiler [2016-04-05 16:04:06] 867*2^1425357-1 is not prime. Res64: BE1848463FF310DB Time : 0.0 sec. user=mdettweiler [2016-04-05 16:04:07] 889*2^1425357-1 is not prime. Res64: 6544EF9449065A81 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:04:08] 955*2^1425357-1 is not prime. Res64: 45B0A042418A224A Time : 0.0 sec. user=mdettweiler [2016-04-05 16:04:09] 603*2^1425358-1 is not prime. Res64: 88549AE5763815FE Time : 0.0 sec. user=mdettweiler [2016-04-05 16:37:47] 815*2^1425358-1 is not prime. Res64: DE69C29C171761BC Time : 0.0 sec. user=mdettweiler [2016-04-05 16:37:47] 923*2^1425358-1 is not prime. Res64: 8F6996A0065E2AC5 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:37:47] 933*2^1425358-1 is not prime. Res64: 7183687A43375C3B Time : 0.0 sec. user=mdettweiler [2016-04-05 16:37:47] 601*2^1425359-1 is not prime. Res64: ADD89524B2737C5E Time : 0.0 sec. user=mdettweiler [2016-04-05 16:37:48] 703*2^1425359-1 is not prime. Res64: 1D1B47B22FD2AD75 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:43:35] 729*2^1425359-1 is not prime. Res64: FBEC4C3E6C5AD037 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:43:36] 759*2^1425359-1 is not prime. Res64: FEF470DC5E6B8981 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:43:36] 799*2^1425359-1 is not prime. Res64: 39863D5FF18CC6CC Time : 0.0 sec. user=mdettweiler [2016-04-05 16:43:36] 707*2^1425360-1 is not prime. Res64: 2A0CD4EAF7D95020 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:43:36] 717*2^1425360-1 is not prime. Res64: 01A70F51131F8FC6 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:45:39] 789*2^1425360-1 is not prime. Res64: 3F20895BCD222BF8 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:45:39] 879*2^1425360-1 is not prime. Res64: D99C67BBF16B4627 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:45:39] 899*2^1425360-1 is not prime. Res64: BA3FE161C37A4B98 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:45:40] 983*2^1425360-1 is not prime. Res64: F29D5732478C9B89 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:45:40] 607*2^1425361-1 is not prime. Res64: C891E9D5604B33CC Time : 0.0 sec. user=mdettweiler [2016-04-05 16:51:45] 861*2^1425361-1 is not prime. Res64: FB037EFE0AD4F6B3 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:51:46] 901*2^1425361-1 is not prime. Res64: D2D8965F58B10C15 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:51:46] 603*2^1425362-1 is not prime. Res64: 257FC5C19ECDE103 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:51:46] 635*2^1425362-1 is not prime. Res64: 68CF520CC2468107 Time : 0.0 sec. user=mdettweiler [2016-04-05 16:51:46] 645*2^1425362-1 is not prime. Res64: BE30AF2E825A8CFF Time : 0.0 sec. user=mdettweiler [2016-04-05 17:25:36] 701*2^1425362-1 is not prime. Res64: 0BC0EF29730067C9 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:25:36] 767*2^1425362-1 is not prime. Res64: 8E2F60E3EFBC1168 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:25:36] 785*2^1425362-1 is not prime. Res64: 1FA087242E654D76 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:25:36] 837*2^1425362-1 is not prime. Res64: 617044F4F84526AF Time : 0.0 sec. user=mdettweiler [2016-04-05 17:25:37] 935*2^1425362-1 is not prime. Res64: 8C6FA3706B98E391 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:30:36] 643*2^1425363-1 is not prime. Res64: 35ADD26695CE147A Time : 0.0 sec. user=mdettweiler [2016-04-05 17:30:36] 829*2^1425363-1 is not prime. Res64: 99CCF6A696E78DC9 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:30:37] 859*2^1425363-1 is not prime. Res64: D50C533895805CFC Time : 0.0 sec. user=mdettweiler [2016-04-05 17:30:37] 657*2^1425364-1 is not prime. Res64: 8A3F650161F8E4AB Time : 0.0 sec. user=mdettweiler [2016-04-05 17:30:37] 723*2^1425364-1 is not prime. Res64: 48B72B17F2AF4944 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:32:11] 819*2^1425364-1 is not prime. Res64: EF511383059EFA0C Time : 0.0 sec. user=mdettweiler [2016-04-05 17:32:11] 899*2^1425364-1 is not prime. Res64: AEE9CD3BB7A1ED4B Time : 0.0 sec. user=mdettweiler [2016-04-05 17:32:12] 903*2^1425364-1 is not prime. Res64: FAE40929C29E87F9 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:32:12] 923*2^1425364-1 is not prime. Res64: 356FA3E389B7034C Time : 0.0 sec. user=mdettweiler [2016-04-05 17:32:12] 927*2^1425364-1 is not prime. Res64: 67537A1D0D1CEC72 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:38:31] 651*2^1425365-1 is not prime. Res64: 33D34519440B2BC8 Time : 0.0 sec. user=mdettweiler [2016-04-05 17:38:31] 685*2^1425365-1 is not prime. Res64: AB1DED26B4ACECDA Time : 0.0 sec. user=mdettweiler [2016-04-05 17:38:31] 741*2^1425365-1 is not prime. Res64: AC089E78E315D0FC Time : 0.0 sec. user=mdettweiler [2016-04-05 17:38:32] 795*2^1425365-1 is not prime. Res64: E5FDD3EC9AC44CAA Time : 0.0 sec. user=mdettweiler [2016-04-05 17:38:32] 957*2^1425365-1 is not prime. Res64: 1B436F783A75B200 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:10:37] 987*2^1425365-1 is not prime. Res64: 0776679AC8656794 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:10:37] 991*2^1425365-1 is not prime. Res64: 658B4BD1F10F218E Time : 0.0 sec. user=mdettweiler [2016-04-05 18:10:37] 711*2^1425366-1 is not prime. Res64: 8D66FB6007F0C991 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:10:38] 747*2^1425366-1 is not prime. Res64: ECBC7E11D8F06FA3 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:10:38] 843*2^1425366-1 is not prime. Res64: FD934C71ADDB5539 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:15:39] 963*2^1425366-1 is not prime. Res64: 65EB6612C16AAE11 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:15:39] 673*2^1425367-1 is not prime. Res64: C03190B187D3F743 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:15:40] 685*2^1425367-1 is not prime. Res64: A766F7D7AEE84C80 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:15:40] 883*2^1425367-1 is not prime. Res64: DAB0BC326EEA3A96 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:15:40] 777*2^1425368-1 is not prime. Res64: 0A684DE363AE249C Time : 0.0 sec. user=mdettweiler [2016-04-05 18:17:29] 963*2^1425368-1 is not prime. Res64: 8144FCEC75D26979 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:17:29] 969*2^1425368-1 is not prime. Res64: DEF7D8E4FAED3A51 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:17:30] 609*2^1425369-1 is not prime. Res64: 60AB204F9036B3D0 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:17:30] 685*2^1425369-1 is not prime. Res64: B6BF2549B34EDCD8 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:17:30] 781*2^1425369-1 is not prime. Res64: 600C63F851A6D4B9 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:23:34] 811*2^1425369-1 is not prime. Res64: 55D84E6FCD82082B Time : 0.0 sec. user=mdettweiler [2016-04-05 18:23:34] 817*2^1425369-1 is not prime. Res64: DD6007991FA28059 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:23:34] 861*2^1425369-1 is not prime. Res64: 8B199635FC54773D Time : 0.0 sec. user=mdettweiler [2016-04-05 18:23:34] 895*2^1425369-1 is not prime. Res64: B2A860776039A5DC Time : 0.0 sec. user=mdettweiler [2016-04-05 18:23:35] 951*2^1425369-1 is not prime. Res64: 77B0461AD220309B Time : 0.0 sec. user=mdettweiler [2016-04-05 18:55:34] 955*2^1425369-1 is not prime. Res64: 5B118B568C6359DD Time : 0.0 sec. user=mdettweiler [2016-04-05 18:55:34] 975*2^1425369-1 is not prime. Res64: 09170229D69118DC Time : 0.0 sec. user=mdettweiler [2016-04-05 18:55:34] 603*2^1425370-1 is not prime. Res64: 17FD0C302DDC8529 Time : 0.0 sec. user=mdettweiler [2016-04-05 18:55:34] 665*2^1425370-1 is not prime. Res64: E13041FD6041BAEB Time : 0.0 sec. user=mdettweiler [2016-04-05 18:55:35] 773*2^1425370-1 is not prime. Res64: 2C9D6EDB1E5CEBC0 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:00:56] 801*2^1425370-1 is not prime. Res64: 08BF0042812C5FC5 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:00:57] 831*2^1425370-1 is not prime. Res64: 3E8B8EC424F81C18 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:00:57] 887*2^1425370-1 is not prime. Res64: CC5EAFD1C15B0874 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:00:58] 945*2^1425370-1 is not prime. Res64: 149E99F219769A77 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:00:58] 693*2^1425371-1 is not prime. Res64: 08FEF9AF1ABDE887 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:02:44] 783*2^1425371-1 is not prime. Res64: 43524BFFE48238BA Time : 0.0 sec. user=mdettweiler [2016-04-05 19:02:45] 789*2^1425371-1 is not prime. Res64: 81E07E8FD280B91C Time : 0.0 sec. user=mdettweiler [2016-04-05 19:02:46] 805*2^1425371-1 is not prime. Res64: C806888435706B49 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:02:47] 879*2^1425371-1 is not prime. Res64: 1EA82EBBCC8988D9 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:02:47] 883*2^1425371-1 is not prime. Res64: 5756EDB847F62174 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:08:39] 901*2^1425371-1 is not prime. Res64: AC5B419675AC6685 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:08:39] 981*2^1425371-1 is not prime. Res64: 3D4DCAD5AACACE46 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:08:39] 623*2^1425372-1 is not prime. Res64: A6E1019C1E760A27 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:08:40] 689*2^1425372-1 is not prime. Res64: 86566CD793286F74 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:08:40] 825*2^1425372-1 is not prime. Res64: EAD428918E0C29C3 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:40:44] 857*2^1425372-1 is not prime. Res64: 5AC646FEC2089AC1 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:40:44] 903*2^1425372-1 is not prime. Res64: CD6E85E09ED4EFAC Time : 0.0 sec. user=mdettweiler [2016-04-05 19:40:45] 607*2^1425373-1 is not prime. Res64: 7126F110D6C946E2 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:40:45] 609*2^1425373-1 is not prime. Res64: 8F46676D5E674AA4 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:40:45] 859*2^1425373-1 is not prime. Res64: 62571B979AAC2CE2 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:46:18] 877*2^1425373-1 is not prime. Res64: 75E080CF048EC05B Time : 0.0 sec. user=mdettweiler [2016-04-05 19:46:18] 895*2^1425373-1 is not prime. Res64: 22E2019B0B4CEFD0 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:46:18] 919*2^1425373-1 is not prime. Res64: F1957E5313F5A8A2 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:46:19] 785*2^1425374-1 is not prime. Res64: 50CA3AEA4A2326E7 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:46:19] 917*2^1425374-1 is not prime. Res64: 3BFA79A4DD06DB59 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:48:00] 993*2^1425374-1 is not prime. Res64: DB34538ED591651C Time : 0.0 sec. user=mdettweiler [2016-04-05 19:48:00] 669*2^1425375-1 is not prime. Res64: DA09D272B1A04A24 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:48:00] 693*2^1425375-1 is not prime. Res64: EB3ED5611758EC49 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:48:00] 735*2^1425375-1 is not prime. Res64: 0EFF218F83BD1AED Time : 0.0 sec. user=mdettweiler [2016-04-05 19:48:01] 781*2^1425375-1 is not prime. Res64: 64F2E0F68B11F7DC Time : 0.0 sec. user=mdettweiler [2016-04-05 19:53:52] 783*2^1425375-1 is not prime. Res64: 3F1547D40FAD006F Time : 0.0 sec. user=mdettweiler [2016-04-05 19:53:52] 973*2^1425375-1 is not prime. Res64: F413C5CCDB1225E1 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:53:52] 717*2^1425376-1 is not prime. Res64: AF81E5F39E46ADCB Time : 0.0 sec. user=mdettweiler [2016-04-05 19:53:52] 723*2^1425376-1 is not prime. Res64: BAED6CE609F35C54 Time : 0.0 sec. user=mdettweiler [2016-04-05 19:53:53] 747*2^1425376-1 is not prime. Res64: 2206F85D5E6F52CC Time : 0.0 sec. user=mdettweiler [2016-04-05 20:25:54] 903*2^1425376-1 is not prime. Res64: CC5C6675A65CDBE3 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:25:55] 909*2^1425376-1 is not prime. Res64: 70FB010B3FE7F645 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:25:56] 651*2^1425377-1 is not prime. Res64: 8B9493C2EB55BF56 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:25:56] 771*2^1425377-1 is not prime. Res64: 094544DE65F8DEBC Time : 0.0 sec. user=mdettweiler [2016-04-05 20:25:57] 777*2^1425377-1 is not prime. Res64: 219B8FAB05C9F9FF Time : 0.0 sec. user=mdettweiler [2016-04-05 20:31:33] 837*2^1425377-1 is not prime. Res64: C3DBEE976DF4FF9D Time : 0.0 sec. user=mdettweiler [2016-04-05 20:31:33] 915*2^1425377-1 is not prime. Res64: 2B59E52EA4DA8704 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:31:33] 967*2^1425377-1 is not prime. Res64: 8A5C04E165AD8B2D Time : 0.0 sec. user=mdettweiler [2016-04-05 20:31:34] 621*2^1425378-1 is not prime. Res64: 8F5C1D705601B0DA Time : 0.0 sec. user=mdettweiler [2016-04-05 20:31:34] 633*2^1425378-1 is not prime. Res64: 9CFF6C8D99E66FE4 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:33:11] 635*2^1425378-1 is not prime. Res64: 86794CE8B7E751CE Time : 0.0 sec. user=mdettweiler [2016-04-05 20:33:11] 663*2^1425378-1 is not prime. Res64: 86C41E970A167E83 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:33:12] 737*2^1425378-1 is not prime. Res64: F8DCBAFB830A554E Time : 0.0 sec. user=mdettweiler [2016-04-05 20:33:12] 887*2^1425378-1 is not prime. Res64: B4FB7BADF550E420 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:33:12] 893*2^1425378-1 is not prime. Res64: F0EF44DBD5E7229F Time : 0.0 sec. user=mdettweiler [2016-04-05 20:39:08] 975*2^1425378-1 is not prime. Res64: 56111CB467FDD1D3 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:39:09] 619*2^1425379-1 is not prime. Res64: 72E99E458958498D Time : 0.0 sec. user=mdettweiler [2016-04-05 20:39:09] 681*2^1425379-1 is not prime. Res64: B2EBF4E57C8B4DD8 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:39:09] 691*2^1425379-1 is not prime. Res64: 6E8C9C5DB2DD5A19 Time : 0.0 sec. user=mdettweiler [2016-04-05 20:39:10] 703*2^1425379-1 is not prime. Res64: 415BD5B7E1EAC125 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:11:06] 705*2^1425379-1 is not prime. Res64: 2E1E9D078EE71085 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:11:07] 769*2^1425379-1 is not prime. Res64: F424A1E16D099B6B Time : 0.0 sec. user=mdettweiler [2016-04-05 21:11:07] 909*2^1425379-1 is not prime. Res64: 7F218E5BD95B19EA Time : 0.0 sec. user=mdettweiler [2016-04-05 21:11:07] 803*2^1425380-1 is not prime. Res64: 4A8C14836D8E5F57 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:11:08] 843*2^1425380-1 is not prime. Res64: CBA71A1389A2D4C4 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:17:00] 879*2^1425380-1 is not prime. Res64: CE8F2B078C8630BF Time : 0.0 sec. user=mdettweiler [2016-04-05 21:17:00] 897*2^1425380-1 is not prime. Res64: 890329981CDA79EF Time : 0.0 sec. user=mdettweiler [2016-04-05 21:17:01] 927*2^1425380-1 is not prime. Res64: A78DDCDEA33F0367 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:17:01] 681*2^1425381-1 is not prime. Res64: 3ECEAD2EF60037A8 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:17:01] 837*2^1425381-1 is not prime. Res64: D77F9BAB99C03491 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:18:41] 945*2^1425381-1 is not prime. Res64: 0318A198A4253534 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:18:42] 969*2^1425381-1 is not prime. Res64: 7193F06EB0FCCF08 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:18:42] 979*2^1425381-1 is not prime. Res64: 399661AB3B6DB58E Time : 0.0 sec. user=mdettweiler [2016-04-05 21:18:42] 987*2^1425381-1 is not prime. Res64: 6D923AB996DAA5B5 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:18:42] 611*2^1425382-1 is not prime. Res64: 5981DFB35A747B63 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:24:14] 761*2^1425382-1 is not prime. Res64: 639A3A4DA8D1EA1E Time : 0.0 sec. user=mdettweiler [2016-04-05 21:24:14] 603*2^1425383-1 is not prime. Res64: 29A95369446F21A0 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:24:15] 735*2^1425383-1 is not prime. Res64: AFCA0A98EB83B86C Time : 0.0 sec. user=mdettweiler [2016-04-05 21:24:15] 861*2^1425383-1 is not prime. Res64: 1C676440EB760DD5 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:24:15] 945*2^1425383-1 is not prime. Res64: A34E5C0966642DBD Time : 0.0 sec. user=mdettweiler [2016-04-05 21:56:15] 973*2^1425383-1 is not prime. Res64: D11BA5C6894DB9C2 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:56:15] 991*2^1425383-1 is not prime. Res64: E0A8157C0035452E Time : 0.0 sec. user=mdettweiler [2016-04-05 21:56:15] 639*2^1425384-1 is not prime. Res64: 9CC41DC28F2B2497 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:56:15] 803*2^1425384-1 is not prime. Res64: 3E74E4D3EDD431C0 Time : 0.0 sec. user=mdettweiler [2016-04-05 21:56:16] 893*2^1425384-1 is not prime. Res64: 39F3D25E8790754D Time : 0.0 sec. user=mdettweiler [2016-04-05 22:02:08] 909*2^1425384-1 is not prime. Res64: 9CB96B9E15607181 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:02:08] 607*2^1425385-1 is not prime. Res64: 292CEF1FF71C15E1 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:02:09] 649*2^1425385-1 is not prime. Res64: E37321BCCFEAF3AF Time : 0.0 sec. user=mdettweiler [2016-04-05 22:02:09] 811*2^1425385-1 is not prime. Res64: BA26A5AD1FE9E92D Time : 0.0 sec. user=mdettweiler [2016-04-05 22:02:10] 817*2^1425385-1 is not prime. Res64: C8C3E23839C2078E Time : 0.0 sec. user=mdettweiler [2016-04-05 22:04:00] 713*2^1425386-1 is not prime. Res64: 9EE319AF471A55B6 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:04:01] 873*2^1425386-1 is not prime. Res64: A57FEF6B953ECDF6 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:04:01] 893*2^1425386-1 is not prime. Res64: 9ABF1FD2E56CDC8A Time : 0.0 sec. user=mdettweiler [2016-04-05 22:04:02] 941*2^1425386-1 is not prime. Res64: EF59A5DF1BA4FFC7 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:04:03] 609*2^1425387-1 is not prime. Res64: CB349512050969F2 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:09:36] 669*2^1425387-1 is not prime. Res64: 93A746D294E24A38 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:09:37] 901*2^1425387-1 is not prime. Res64: 5009819BE2999A26 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:09:37] 919*2^1425387-1 is not prime. Res64: 5E98092D70FA240A Time : 0.0 sec. user=mdettweiler [2016-04-05 22:09:38] 931*2^1425387-1 is not prime. Res64: E5471E929309D396 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:09:39] 961*2^1425387-1 is not prime. Res64: B9061296AD3E99F7 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:41:13] 999*2^1425387-1 is not prime. Res64: F5B0993E06AB1216 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:41:14] 603*2^1425388-1 is not prime. Res64: 4B489AF66D0348AA Time : 0.0 sec. user=mdettweiler [2016-04-05 22:41:14] 615*2^1425388-1 is not prime. Res64: 5F85B25AE573FFD1 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:41:14] 723*2^1425388-1 is not prime. Res64: AF830FEC9D29E3EE Time : 0.0 sec. user=mdettweiler [2016-04-05 22:41:15] 765*2^1425388-1 is not prime. Res64: B07AF0A6BEAA8E94 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:47:12] 953*2^1425388-1 is not prime. Res64: 17BA4AD5BE1749A4 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:47:12] 631*2^1425389-1 is not prime. Res64: F20A6B2E2DC2FF60 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:47:13] 691*2^1425389-1 is not prime. Res64: A81EAD5C6F47C9F5 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:47:13] 955*2^1425389-1 is not prime. Res64: 1409C121ED509CC4 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:47:13] 987*2^1425389-1 is not prime. Res64: 23B8AC685CD266FB Time : 0.0 sec. user=mdettweiler [2016-04-05 22:49:06] 767*2^1425390-1 is not prime. Res64: 3DADCE134B532508 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:49:06] 801*2^1425390-1 is not prime. Res64: 9C8128B52309CC78 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:49:06] 845*2^1425390-1 is not prime. Res64: 02CC834E95FAD421 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:49:06] 851*2^1425390-1 is not prime. Res64: 96EB39BF10711F34 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:49:07] 873*2^1425390-1 is not prime. Res64: 0BAB3AB76A950FC5 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:54:58] 603*2^1425391-1 is not prime. Res64: 0AC4FB2D9A272A1F Time : 0.0 sec. user=mdettweiler [2016-04-05 22:54:58] 621*2^1425391-1 is not prime. Res64: 03E5D849AE73CC9D Time : 0.0 sec. user=mdettweiler [2016-04-05 22:54:59] 811*2^1425391-1 is not prime. Res64: 33B941BD7FD10A11 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:54:59] 819*2^1425391-1 is not prime. Res64: 6ADFBF466F957657 Time : 0.0 sec. user=mdettweiler [2016-04-05 22:54:59] 841*2^1425391-1 is not prime. Res64: 4FCE73CD27928B42 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:26:32] 855*2^1425391-1 is not prime. Res64: 86815516CE54625D Time : 0.0 sec. user=mdettweiler [2016-04-05 23:26:33] 861*2^1425391-1 is not prime. Res64: BEFE28E52FA31886 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:26:33] 969*2^1425391-1 is not prime. Res64: 7C08280DBD83B667 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:26:33] 975*2^1425391-1 is not prime. Res64: 9113D3B52B819B68 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:26:33] 623*2^1425392-1 is not prime. Res64: E8838562A0755A54 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:32:18] 645*2^1425392-1 is not prime. Res64: 9623309DF6E5CAE0 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:32:18] 677*2^1425392-1 is not prime. Res64: B2C9E781F93D953F Time : 0.0 sec. user=mdettweiler [2016-04-05 23:32:19] 719*2^1425392-1 is not prime. Res64: D6007693BDB6F353 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:32:19] 759*2^1425392-1 is not prime. Res64: 2E643F51FBF3C4E0 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:32:19] 819*2^1425392-1 is not prime. Res64: D23CE4D83D64455C Time : 0.0 sec. user=mdettweiler [2016-04-05 23:34:18] 875*2^1425392-1 is not prime. Res64: 9B5AC8485F8A1743 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:34:18] 899*2^1425392-1 is not prime. Res64: 608C2998E2BA6BB9 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:34:19] 751*2^1425393-1 is not prime. Res64: 1200A4F0393847DE Time : 0.0 sec. user=mdettweiler [2016-04-05 23:34:19] 895*2^1425393-1 is not prime. Res64: D7C1F1A923B09D58 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:34:19] 747*2^1425394-1 is not prime. Res64: 83D156466B050AF4 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:40:05] 791*2^1425394-1 is not prime. Res64: F1AC3D4283828B64 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:40:05] 917*2^1425394-1 is not prime. Res64: 29BE70A7EBC36016 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:40:05] 981*2^1425394-1 is not prime. Res64: A625F974C71FBE8D Time : 0.0 sec. user=mdettweiler [2016-04-05 23:40:06] 609*2^1425395-1 is not prime. Res64: D2ECB3CCB1302328 Time : 0.0 sec. user=mdettweiler [2016-04-05 23:40:06] 861*2^1425395-1 is not prime. Res64: 480114DDC430D5EE Time : 0.0 sec.