user=mdettweiler [2016-06-18 00:21:55] 873*2^1432722-1 is not prime. Res64: 1FE3D0F51772B77C Time : 0.0 sec. user=mdettweiler [2016-06-18 00:21:56] 615*2^1432723-1 is not prime. Res64: 13BE52F8137C2E91 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:21:56] 751*2^1432723-1 is not prime. Res64: E508B9B7013646F1 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:21:57] 895*2^1432723-1 is not prime. Res64: C537247B8AF0463C Time : 0.0 sec. user=mdettweiler [2016-06-18 00:21:57] 617*2^1432724-1 is not prime. Res64: 7698356A01819460 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:23] 769*2^1432721-1 is not prime. Res64: CC4F2BFA7AE429BC Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:24] 855*2^1432721-1 is not prime. Res64: 2102FE9E9AC8FDA9 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:25] 949*2^1432721-1 is not prime. Res64: C0C6ABA5ED743D8A Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:25] 955*2^1432721-1 is not prime. Res64: 5E64928DF544FCD8 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:26] 635*2^1432722-1 is not prime. Res64: B678B450101FA504 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:30] 659*2^1432724-1 is not prime. Res64: 7133390AF6858B5F Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:30] 675*2^1432724-1 is not prime. Res64: 5E56ECADAE1381DD Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:31] 785*2^1432724-1 is not prime. Res64: B7DD9F373E340B51 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:32] 803*2^1432724-1 is not prime. Res64: D7CCE4807292ABDB Time : 0.0 sec. user=mdettweiler [2016-06-18 00:22:32] 609*2^1432725-1 is not prime. Res64: BBA4DCA8CAF6F987 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:35:28] 685*2^1432725-1 is not prime. Res64: 9FE23AD3D6D90F94 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:35:28] 735*2^1432725-1 is not prime. Res64: 30634727F9F16CBE Time : 0.0 sec. user=mdettweiler [2016-06-18 00:35:29] 765*2^1432725-1 is not prime. Res64: 5AC96B6EDCCB2518 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:35:29] 789*2^1432725-1 is not prime. Res64: 03F5CB3515277832 Time : 0.0 sec. user=mdettweiler [2016-06-18 00:35:30] 885*2^1432725-1 is not prime. Res64: 54D3D8746C92E43C Time : 0.0 sec. user=mdettweiler [2016-06-18 01:06:59] 889*2^1432725-1 is not prime. Res64: B24ADA4BFC96E031 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:01] 937*2^1432725-1 is not prime. Res64: 2656228437C4EE55 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:05] 695*2^1432726-1 is not prime. Res64: 8CB2744A36435F4A Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:09] 755*2^1432726-1 is not prime. Res64: 9B793ED0B5C0D733 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:11] 923*2^1432726-1 is not prime. Res64: 25B6ACEE4590CD02 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:18] 965*2^1432726-1 is not prime. Res64: AD5C97F289CA16B3 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:23] 975*2^1432726-1 is not prime. Res64: 8E76DD651577388F Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:26] 649*2^1432727-1 is not prime. Res64: 173C57C7237ED1F6 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:29] 735*2^1432727-1 is not prime. Res64: BFA35AAF0DE4218D Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:31] 813*2^1432727-1 is not prime. Res64: 1306D1D9DB63A954 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:39] 825*2^1432727-1 is not prime. Res64: C3EABB5FBCAFB6E1 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:07:50] 843*2^1432727-1 is not prime. Res64: 29C5CD20FB306CE6 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:20:37] 639*2^1432728-1 is not prime. Res64: C7F9E542738D8C28 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:20:37] 765*2^1432728-1 is not prime. Res64: 161F084AA8C4ADD2 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:20:38] 777*2^1432728-1 is not prime. Res64: E7B757611749500C Time : 0.0 sec. user=mdettweiler [2016-06-18 01:20:38] 887*2^1432728-1 is not prime. Res64: D1040C46374C06C9 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:20:39] 929*2^1432728-1 is not prime. Res64: 5B53A20997CC42F4 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:32] 729*2^1432729-1 is not prime. Res64: E40CC69F84C3104E Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:33] 775*2^1432729-1 is not prime. Res64: 9F1F4BFD51937836 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:34] 665*2^1432730-1 is not prime. Res64: 39EAF8BAD729547B Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:35] 677*2^1432730-1 is not prime. Res64: 5AEA72398791A18A Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:36] 753*2^1432730-1 is not prime. Res64: A1B50969B68CBDC3 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:49] 957*2^1432728-1 is not prime. Res64: 991FADDCCA062D6D Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:50] 999*2^1432728-1 is not prime. Res64: 75661406378E7265 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:50] 807*2^1432729-1 is not prime. Res64: C81FC0C3236CBDA7 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:51] 829*2^1432729-1 is not prime. Res64: FEA7472DD6F795A6 Time : 0.0 sec. user=mdettweiler [2016-06-18 01:53:51] 999*2^1432729-1 is not prime. Res64: 1660CBA68CBD09C6 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:06:13] 773*2^1432730-1 is not prime. Res64: A3D85832980C4835 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:06:14] 833*2^1432730-1 is not prime. Res64: 5208360912624B5F Time : 0.0 sec. user=mdettweiler [2016-06-18 02:06:15] 843*2^1432730-1 is not prime. Res64: C5DB981DCC2F8772 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:06:17] 875*2^1432730-1 is not prime. Res64: 66505A68F2EEA14A Time : 0.0 sec. user=mdettweiler [2016-06-18 02:06:18] 615*2^1432731-1 is not prime. Res64: 51FCD8E653FD8EB5 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:15] 619*2^1432731-1 is not prime. Res64: 800DC70DF2B1C07E Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:16] 705*2^1432731-1 is not prime. Res64: D5A3543CFD395059 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:16] 711*2^1432731-1 is not prime. Res64: 3FF852B6F26CFE7A Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:17] 775*2^1432731-1 is not prime. Res64: 7844D4D7B916385B Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:17] 801*2^1432731-1 is not prime. Res64: 44C24D16B43DFD4C Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:38] 873*2^1432731-1 is not prime. Res64: E53250F2FCE354DA Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:42] 909*2^1432731-1 is not prime. Res64: E2EBF80E159F3A5F Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:42] 931*2^1432731-1 is not prime. Res64: 355C50C7BD0BE181 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:43] 623*2^1432732-1 is not prime. Res64: 33B66885D5B836A0 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:39:43] 653*2^1432732-1 is not prime. Res64: 4A232A9DA6199588 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:51:51] 897*2^1432732-1 is not prime. Res64: 6818802D22B6E499 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:51:52] 957*2^1432732-1 is not prime. Res64: 8892AD3AAA348A4D Time : 0.0 sec. user=mdettweiler [2016-06-18 02:51:52] 995*2^1432732-1 is not prime. Res64: 2021496C5DD0D494 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:51:53] 615*2^1432733-1 is not prime. Res64: E8F4B94ECF5236A5 Time : 0.0 sec. user=mdettweiler [2016-06-18 02:51:53] 757*2^1432733-1 is not prime. Res64: 24CA91798477FC4C Time : 0.0 sec. user=mdettweiler [2016-06-18 03:12:58] 861*2^1432727-1 is not prime. Res64: A48B6C667314939B Time : 0.0 sec. user=mdettweiler [2016-06-18 03:12:58] 889*2^1432727-1 is not prime. Res64: 4C84A40AB78AB06E Time : 0.0 sec. user=mdettweiler [2016-06-18 03:12:58] 963*2^1432727-1 is not prime. Res64: 628C65694C288C8B Time : 0.0 sec. user=mdettweiler [2016-06-18 03:24:58] 871*2^1432733-1 is not prime. Res64: 293856A344037C23 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:24:58] 901*2^1432733-1 is not prime. Res64: A118267E1BA49340 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:24:58] 605*2^1432734-1 is not prime. Res64: 7FCB8A5B05DF7E8B Time : 0.0 sec. user=mdettweiler [2016-06-18 03:24:59] 671*2^1432734-1 is not prime. Res64: 2868663ECC94C6A3 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:24:59] 755*2^1432734-1 is not prime. Res64: F394A815B053F1EE Time : 0.0 sec. user=mdettweiler [2016-06-18 03:25:20] 767*2^1432734-1 is not prime. Res64: 8D73AC7854FC7A88 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:25:21] 795*2^1432734-1 is not prime. Res64: CB8F38DB16828D4E Time : 0.0 sec. user=mdettweiler [2016-06-18 03:25:22] 797*2^1432734-1 is not prime. Res64: 2ADEA8DF5368486E Time : 0.0 sec. user=mdettweiler [2016-06-18 03:25:23] 851*2^1432734-1 is not prime. Res64: 7A65FE19CF71C7D1 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:25:24] 941*2^1432734-1 is not prime. Res64: 61F4B8F8E8A329B5 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:37:12] 1001*2^1432734-1 is not prime. Res64: EA890877C04C4D4D Time : 0.0 sec. user=mdettweiler [2016-06-18 03:37:13] 603*2^1432735-1 is not prime. Res64: 3E236B9E6F68BCCE Time : 0.0 sec. user=mdettweiler [2016-06-18 03:37:14] 735*2^1432735-1 is not prime. Res64: 16B8979A5170B160 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:37:15] 759*2^1432735-1 is not prime. Res64: B025EA75A57608FE Time : 0.0 sec. user=mdettweiler [2016-06-18 03:37:16] 763*2^1432735-1 is not prime. Res64: 6E7B053A38B0573D Time : 0.0 sec. user=mdettweiler [2016-06-18 03:58:47] 933*2^1432735-1 is not prime. Res64: 6974EB8EFF996959 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:58:48] 969*2^1432735-1 is not prime. Res64: F28129C89A15B393 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:58:48] 979*2^1432735-1 is not prime. Res64: 42E9190190E40C1F Time : 0.0 sec. user=mdettweiler [2016-06-18 03:58:49] 623*2^1432736-1 is not prime. Res64: 0B267884AE1F4142 Time : 0.0 sec. user=mdettweiler [2016-06-18 03:58:49] 717*2^1432736-1 is not prime. Res64: 9C3A233EF65AE9F5 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:10:56] 725*2^1432736-1 is not prime. Res64: 0F7A9B681259EBC6 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:10:57] 785*2^1432736-1 is not prime. Res64: 7C0E6545F1E5E273 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:10:57] 917*2^1432736-1 is not prime. Res64: 1803FE41EE774B88 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:10:58] 685*2^1432737-1 is not prime. Res64: F63AB22117E1196B Time : 0.0 sec. user=mdettweiler [2016-06-18 04:10:58] 691*2^1432737-1 is not prime. Res64: C0DF2DE74191C72E Time : 0.0 sec. user=mdettweiler [2016-06-18 04:12:04] 829*2^1432737-1 is not prime. Res64: 3A227BF557F31FD3 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:12:04] 979*2^1432737-1 is not prime. Res64: 6FF7E0CDF6C24D6B Time : 0.0 sec. user=mdettweiler [2016-06-18 04:12:05] 603*2^1432738-1 is not prime. Res64: 6A644238E6830F88 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:12:05] 657*2^1432738-1 is not prime. Res64: 83A410779C771DBB Time : 0.0 sec. user=mdettweiler [2016-06-18 04:12:06] 747*2^1432738-1 is not prime. Res64: D2457F4223CCB11E Time : 0.0 sec. user=mdettweiler [2016-06-18 04:23:20] 791*2^1432738-1 is not prime. Res64: B71B9BF78FB3C1C7 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:23:20] 825*2^1432738-1 is not prime. Res64: AEBC52780835AFF2 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:23:20] 861*2^1432738-1 is not prime. Res64: 1E3B3BD28C0D7DC9 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:23:21] 1001*2^1432738-1 is not prime. Res64: 2793C3640A6E15E3 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:23:21] 669*2^1432739-1 is not prime. Res64: B5C207440924B88B Time : 0.0 sec. user=mdettweiler [2016-06-18 04:44:08] 693*2^1432739-1 is not prime. Res64: 1E9022A66FA531B5 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:44:08] 759*2^1432739-1 is not prime. Res64: 3780888CBD1527F4 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:44:08] 819*2^1432739-1 is not prime. Res64: 71AC70684836A098 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:44:09] 985*2^1432739-1 is not prime. Res64: 7C018E83B68EF987 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:44:09] 609*2^1432740-1 is not prime. Res64: 4780DA059EE3B9B3 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:55:52] 723*2^1432740-1 is not prime. Res64: 9C7B14FCD545F1BE Time : 0.0 sec. user=mdettweiler [2016-06-18 04:55:53] 759*2^1432740-1 is not prime. Res64: 2203CB27B22DBD4A Time : 0.0 sec. user=mdettweiler [2016-06-18 04:55:53] 803*2^1432740-1 is not prime. Res64: D017FB248AF1C212 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:55:53] 825*2^1432740-1 is not prime. Res64: FEFD786353687DAD Time : 0.0 sec. user=mdettweiler [2016-06-18 04:55:54] 945*2^1432740-1 is not prime. Res64: B4D6221DF5AF3B15 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:57:04] 965*2^1432740-1 is not prime. Res64: 235F56602291B224 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:57:04] 987*2^1432740-1 is not prime. Res64: 90727237EBA0535D Time : 0.0 sec. user=mdettweiler [2016-06-18 04:57:05] 651*2^1432741-1 is not prime. Res64: 131493A2ED57A0E0 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:57:05] 799*2^1432741-1 is not prime. Res64: 3CC5CBD0C3D183F9 Time : 0.0 sec. user=mdettweiler [2016-06-18 04:57:05] 955*2^1432741-1 is not prime. Res64: D0553614E9FA68FC Time : 0.0 sec. user=mdettweiler [2016-06-18 05:08:19] 677*2^1432742-1 is not prime. Res64: E673DD970CE07784 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:08:20] 887*2^1432742-1 is not prime. Res64: 0F4AE27669956BEA Time : 0.0 sec. user=mdettweiler [2016-06-18 05:08:20] 951*2^1432742-1 is not prime. Res64: 352DA58EE9FB37CE Time : 0.0 sec. user=mdettweiler [2016-06-18 05:08:21] 679*2^1432743-1 is not prime. Res64: B85F71BE60894ED5 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:08:21] 693*2^1432743-1 is not prime. Res64: C48D75CE3C66B989 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:29:09] 721*2^1432743-1 is not prime. Res64: 562BAC0285D7C334 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:29:09] 879*2^1432743-1 is not prime. Res64: 387D6BDD81426763 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:29:10] 609*2^1432744-1 is not prime. Res64: 4552C28EADE7F933 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:29:10] 615*2^1432744-1 is not prime. Res64: 43034F56E66E9E58 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:29:10] 849*2^1432744-1 is not prime. Res64: DA1A589569F800C7 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:40:45] 887*2^1432744-1 is not prime. Res64: 5415EFCE63F0AABE Time : 0.0 sec. user=mdettweiler [2016-06-18 05:40:46] 905*2^1432744-1 is not prime. Res64: 994FB1AB68B88A5B Time : 0.0 sec. user=mdettweiler [2016-06-18 05:40:46] 947*2^1432744-1 is not prime. Res64: CCCE9D1B744F7E73 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:40:46] 619*2^1432745-1 is not prime. Res64: CA364247EC27A132 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:40:47] 759*2^1432745-1 is not prime. Res64: 0F2885AFF43ED367 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:42:02] 915*2^1432745-1 is not prime. Res64: D13D83EB08AE9FBF Time : 0.0 sec. user=mdettweiler [2016-06-18 05:42:02] 969*2^1432745-1 is not prime. Res64: 4534CC3BBCCA80C2 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:42:03] 987*2^1432745-1 is not prime. Res64: D25295BC41C674C3 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:42:03] 777*2^1432746-1 is not prime. Res64: 46DAABDBB5BAB289 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:42:03] 825*2^1432746-1 is not prime. Res64: 80E39E59B6C24A64 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:53:28] 891*2^1432746-1 is not prime. Res64: EE5CDB678270F48B Time : 0.0 sec. user=mdettweiler [2016-06-18 05:53:28] 921*2^1432746-1 is not prime. Res64: 1E28EB272A2BFE6F Time : 0.0 sec. user=mdettweiler [2016-06-18 05:53:29] 957*2^1432746-1 is not prime. Res64: 06130DABDCD71E8F Time : 0.0 sec. user=mdettweiler [2016-06-18 05:53:29] 639*2^1432747-1 is not prime. Res64: 880485FC8FCAE356 Time : 0.0 sec. user=mdettweiler [2016-06-18 05:53:29] 645*2^1432747-1 is not prime. Res64: A17AB0CF387B4066 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:14:16] 663*2^1432747-1 is not prime. Res64: 92A9C4EE12E77D2A Time : 0.0 sec. user=mdettweiler [2016-06-18 06:14:16] 629*2^1432748-1 is not prime. Res64: 96A0A91C175DEE69 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:14:17] 845*2^1432748-1 is not prime. Res64: 8D7FB8B8DDDCB902 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:14:17] 929*2^1432748-1 is not prime. Res64: 1CFEA963A07E9CE0 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:14:17] 609*2^1432749-1 is not prime. Res64: D57FB4CDA654AF7E Time : 0.0 sec. user=mdettweiler [2016-06-18 06:26:01] 655*2^1432749-1 is not prime. Res64: 6EA44723F0468B31 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:26:01] 667*2^1432749-1 is not prime. Res64: 5A78BA2D9BAF9DA3 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:26:02] 741*2^1432749-1 is not prime. Res64: B5BBE52232501F32 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:26:02] 681*2^1432750-1 is not prime. Res64: 394127736DC66C39 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:26:02] 825*2^1432750-1 is not prime. Res64: 6A314AE42537FC35 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:27:12] 933*2^1432750-1 is not prime. Res64: 3E3F40808B038A6D Time : 0.0 sec. user=mdettweiler [2016-06-18 06:27:12] 941*2^1432750-1 is not prime. Res64: 2D9771D405E5483A Time : 0.0 sec. user=mdettweiler [2016-06-18 06:27:12] 609*2^1432751-1 is not prime. Res64: 9E2503F3832E378E Time : 0.0 sec. user=mdettweiler [2016-06-18 06:27:13] 661*2^1432751-1 is not prime. Res64: 13DA6178F3526377 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:27:13] 693*2^1432751-1 is not prime. Res64: D983A605DA929905 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:38:30] 705*2^1432751-1 is not prime. Res64: 0095A42DD0F602DA Time : 0.0 sec. user=mdettweiler [2016-06-18 06:38:30] 775*2^1432751-1 is not prime. Res64: B99B8D34EBAF7933 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:38:30] 805*2^1432751-1 is not prime. Res64: 38FBC1A17990BDFF Time : 0.0 sec. user=mdettweiler [2016-06-18 06:38:31] 811*2^1432751-1 is not prime. Res64: BC0A1B380115461C Time : 0.0 sec. user=mdettweiler [2016-06-18 06:38:31] 855*2^1432751-1 is not prime. Res64: 17B8E60ECD15AE13 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:59:13] 913*2^1432751-1 is not prime. Res64: 59278E27C3A7F399 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:59:14] 931*2^1432751-1 is not prime. Res64: 17E86A935FF08424 Time : 0.0 sec. user=mdettweiler [2016-06-18 06:59:14] 939*2^1432751-1 is not prime. Res64: 5857C38F9A34F5CD Time : 0.0 sec. user=mdettweiler [2016-06-18 06:59:14] 759*2^1432752-1 is not prime. Res64: 13419F212EFDA5CB Time : 0.0 sec. user=mdettweiler [2016-06-18 06:59:15] 797*2^1432752-1 is not prime. Res64: 552D509B8AC22CC2 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:10:46] 819*2^1432752-1 is not prime. Res64: AF885BBFD6C0AC99 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:10:46] 867*2^1432752-1 is not prime. Res64: 00B83ED5362FB945 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:10:47] 959*2^1432752-1 is not prime. Res64: 6EE33DFE73CA6557 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:10:47] 691*2^1432753-1 is not prime. Res64: A62CB255BA354F03 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:10:47] 715*2^1432753-1 is not prime. Res64: 63B3B75EC58E96F2 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:12:06] 751*2^1432753-1 is not prime. Res64: ACD3E59E650CFD33 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:12:07] 801*2^1432753-1 is not prime. Res64: DB9083994FE8BC11 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:12:07] 705*2^1432754-1 is not prime. Res64: 60D16D7443247E8B Time : 0.0 sec. user=mdettweiler [2016-06-18 07:12:08] 747*2^1432754-1 is not prime. Res64: 9E5D2228A104A51A Time : 0.0 sec. user=mdettweiler [2016-06-18 07:12:08] 791*2^1432754-1 is not prime. Res64: F3CBEDC44941307A Time : 0.0 sec. user=mdettweiler [2016-06-18 07:23:11] 857*2^1432754-1 is not prime. Res64: D3E03F4995144022 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:23:12] 861*2^1432754-1 is not prime. Res64: D884B6B926EB9726 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:23:12] 927*2^1432754-1 is not prime. Res64: A86C91348C44C86D Time : 0.0 sec. user=mdettweiler [2016-06-18 07:23:12] 995*2^1432754-1 is not prime. Res64: 3B4490DF696DE4C2 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:23:13] 1001*2^1432754-1 is not prime. Res64: 5529495726E582AF Time : 0.0 sec. user=mdettweiler [2016-06-18 07:43:53] 643*2^1432755-1 is not prime. Res64: 9ED0BCEE2F832FD1 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:43:53] 675*2^1432755-1 is not prime. Res64: 4CBAE556DD321A76 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:43:54] 871*2^1432755-1 is not prime. Res64: 071DE08EB0DC1FBA Time : 0.0 sec. user=mdettweiler [2016-06-18 07:43:54] 717*2^1432756-1 is not prime. Res64: 94CF731E30B1F001 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:43:54] 869*2^1432756-1 is not prime. Res64: A665B945A81DD533 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:55:43] 933*2^1432756-1 is not prime. Res64: 61A3846F9448A551 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:55:43] 655*2^1432757-1 is not prime. Res64: 5828009247D86D08 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:55:43] 771*2^1432757-1 is not prime. Res64: ED7B1B76F66611B0 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:55:44] 801*2^1432757-1 is not prime. Res64: B3D87F8B0D47FAF0 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:55:44] 805*2^1432757-1 is not prime. Res64: 232315F412B7ADF0 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:56:47] 847*2^1432757-1 is not prime. Res64: A2A35D0A6E5B713A Time : 0.0 sec. user=mdettweiler [2016-06-18 07:56:47] 915*2^1432757-1 is not prime. Res64: E10C6B4ED362C580 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:56:47] 937*2^1432757-1 is not prime. Res64: EED6BB7E7E7F3EF0 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:56:48] 605*2^1432758-1 is not prime. Res64: 82F3F5D969643217 Time : 0.0 sec. user=mdettweiler [2016-06-18 07:56:48] 663*2^1432758-1 is not prime. Res64: BFE2F28907BB94CC Time : 0.0 sec. user=mdettweiler [2016-06-18 08:08:03] 677*2^1432758-1 is not prime. Res64: 9D10394A138D4AFD Time : 0.0 sec. user=mdettweiler [2016-06-18 08:08:03] 791*2^1432758-1 is not prime. Res64: D233DE6E985C3173 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:08:03] 797*2^1432758-1 is not prime. Res64: A8352A3235E095F8 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:08:04] 945*2^1432758-1 is not prime. Res64: 311266466024292B Time : 0.0 sec. user=mdettweiler [2016-06-18 08:08:04] 609*2^1432759-1 is not prime. Res64: 6FD45F0BC63F45C4 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:28:37] 639*2^1432759-1 is not prime. Res64: B6F9BA18DDFC5D38 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:28:37] 723*2^1432759-1 is not prime. Res64: E26C59787159443B Time : 0.0 sec. user=mdettweiler [2016-06-18 08:28:38] 943*2^1432759-1 is not prime. Res64: BAF8489CD6C6397C Time : 0.0 sec. user=mdettweiler [2016-06-18 08:28:38] 973*2^1432759-1 is not prime. Res64: 664FDA03B92CE6D9 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:28:39] 677*2^1432760-1 is not prime. Res64: 6A76F34C550752B0 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:40:56] 855*2^1432760-1 is not prime. Res64: 0017A117B349025E Time : 0.0 sec. user=mdettweiler [2016-06-18 08:40:56] 963*2^1432760-1 is not prime. Res64: AABDDA4E45C06D7C Time : 0.0 sec. user=mdettweiler [2016-06-18 08:40:57] 835*2^1432761-1 is not prime. Res64: FF072486DB03E99B Time : 0.0 sec. user=mdettweiler [2016-06-18 08:40:57] 867*2^1432761-1 is not prime. Res64: 845A34441ED26231 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:40:57] 949*2^1432761-1 is not prime. Res64: AD574022BA356ACD Time : 0.0 sec. user=mdettweiler [2016-06-18 08:41:44] 617*2^1432762-1 is not prime. Res64: F3395A9D704F007B Time : 0.0 sec. user=mdettweiler [2016-06-18 08:41:44] 695*2^1432762-1 is not prime. Res64: 631CB92F6F34EA34 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:41:45] 723*2^1432762-1 is not prime. Res64: 8214E7A819A7627D Time : 0.0 sec. user=mdettweiler [2016-06-18 08:41:45] 917*2^1432762-1 is not prime. Res64: C333BEEEA86EAA91 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:41:46] 923*2^1432762-1 is not prime. Res64: DB565B64E7CC3289 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:53:12] 981*2^1432762-1 is not prime. Res64: 68087393AC0C9267 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:53:12] 987*2^1432762-1 is not prime. Res64: 53E83F963D2305A5 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:53:12] 753*2^1432763-1 is not prime. Res64: 39094736E46BFD7E Time : 0.0 sec. user=mdettweiler [2016-06-18 08:53:13] 825*2^1432763-1 is not prime. Res64: 168202FFD65735E6 Time : 0.0 sec. user=mdettweiler [2016-06-18 08:53:13] 885*2^1432763-1 is not prime. Res64: 2627B221227D48B1 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:13:39] 943*2^1432763-1 is not prime. Res64: 4FA08D333097226E Time : 0.0 sec. user=mdettweiler [2016-06-18 09:13:40] 985*2^1432763-1 is not prime. Res64: A3B2360B3D42C11C Time : 0.0 sec. user=mdettweiler [2016-06-18 09:13:40] 635*2^1432764-1 is not prime. Res64: D0D2D358A081D332 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:13:40] 639*2^1432764-1 is not prime. Res64: F06D0B9411102F1C Time : 0.0 sec. user=mdettweiler [2016-06-18 09:13:41] 675*2^1432764-1 is not prime. Res64: 4B8A1B8D680583DD Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:00] 759*2^1432764-1 is not prime. Res64: FD94D53DB613311A Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:01] 843*2^1432764-1 is not prime. Res64: EBAD71A0EB67495C Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:01] 899*2^1432764-1 is not prime. Res64: 50225BDB36B13C48 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:01] 687*2^1432765-1 is not prime. Res64: 6331D1F4C74AED8E Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:02] 867*2^1432765-1 is not prime. Res64: A9692171EC2095F9 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:46] 937*2^1432765-1 is not prime. Res64: 606FC151F41F5C7F Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:46] 975*2^1432765-1 is not prime. Res64: C68FE56EF6461212 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:47] 999*2^1432765-1 is not prime. Res64: DFDAFB8A89F517D8 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:47] 615*2^1432766-1 is not prime. Res64: 38EB52E4EB631A9D Time : 0.0 sec. user=mdettweiler [2016-06-18 09:26:47] 683*2^1432766-1 is not prime. Res64: 3433D34581CF368E Time : 0.0 sec. user=mdettweiler [2016-06-18 09:38:07] 741*2^1432766-1 is not prime. Res64: 1822882DA2A8107D Time : 0.0 sec. user=mdettweiler [2016-06-18 09:38:07] 833*2^1432766-1 is not prime. Res64: 021F1FA0EABC2FD6 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:38:08] 861*2^1432766-1 is not prime. Res64: 669F1DA5B1CE0027 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:38:08] 893*2^1432766-1 is not prime. Res64: C2B166F5EC07F859 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:38:08] 897*2^1432766-1 is not prime. Res64: 75EB6A3458066B7A Time : 0.0 sec. user=mdettweiler [2016-06-18 09:59:23] 911*2^1432766-1 is not prime. Res64: 91A09325D2907F8F Time : 0.0 sec. user=mdettweiler [2016-06-18 09:59:24] 609*2^1432767-1 is not prime. Res64: 5CC54ABD6AA41B2B Time : 0.0 sec. user=mdettweiler [2016-06-18 09:59:24] 633*2^1432767-1 is not prime. Res64: 92563C0A2D613351 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:59:25] 831*2^1432767-1 is not prime. Res64: E7EBCAC747630E48 Time : 0.0 sec. user=mdettweiler [2016-06-18 09:59:25] 891*2^1432767-1 is not prime. Res64: 454B6B5F38CEFF3E Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:20] 909*2^1432767-1 is not prime. Res64: E55F3A1D61DA6B49 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:20] 985*2^1432767-1 is not prime. Res64: D6834EDBEC7886C2 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:21] 605*2^1432768-1 is not prime. Res64: 2940A5B4F03F64A9 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:21] 657*2^1432768-1 is not prime. Res64: FCE86AAB4EA20E21 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:22] 665*2^1432768-1 is not prime. Res64: 7E8DF9650C2653D7 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:47] 765*2^1432768-1 is not prime. Res64: 880851F5777609E0 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:48] 849*2^1432768-1 is not prime. Res64: 9733E3310CD91BBB Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:48] 855*2^1432768-1 is not prime. Res64: A3B9E721BE852E26 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:48] 875*2^1432768-1 is not prime. Res64: 11FD2386EA683A9A Time : 0.0 sec. user=mdettweiler [2016-06-18 10:12:49] 933*2^1432768-1 is not prime. Res64: F29EF12C45E3C36F Time : 0.0 sec. user=mdettweiler [2016-06-18 10:24:22] 993*2^1432768-1 is not prime. Res64: 7F818BC30FEC2904 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:24:23] 711*2^1432769-1 is not prime. Res64: E12E58E7F5558317 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:24:23] 735*2^1432769-1 is not prime. Res64: 2A2ABD63C7943BC5 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:24:24] 789*2^1432769-1 is not prime. Res64: 3520196B058D4FE3 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:24:24] 811*2^1432769-1 is not prime. Res64: 9678E20E80E18720 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:45:11] 829*2^1432769-1 is not prime. Res64: 160A1FC12E255DD3 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:45:11] 847*2^1432769-1 is not prime. Res64: FE4787A582420C52 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:45:12] 909*2^1432769-1 is not prime. Res64: 4CB772F06A3BA2FD Time : 0.0 sec. user=mdettweiler [2016-06-18 10:45:12] 931*2^1432769-1 is not prime. Res64: 067ACE2D424FAFA8 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:45:12] 611*2^1432770-1 is not prime. Res64: 7F7E236EE73A8F66 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:57:54] 777*2^1432770-1 is not prime. Res64: 523D11F6574522F9 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:57:54] 803*2^1432770-1 is not prime. Res64: 30EFB2B2497653C0 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:57:54] 861*2^1432770-1 is not prime. Res64: 0C21B94A25BCA455 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:57:55] 891*2^1432770-1 is not prime. Res64: 5727D0FE334FD949 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:57:55] 927*2^1432770-1 is not prime. Res64: 556660CD2938C4A7 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:58:11] 673*2^1432771-1 is not prime. Res64: 01BB9B3ACFDA7AAA Time : 0.0 sec. user=mdettweiler [2016-06-18 10:58:12] 751*2^1432771-1 is not prime. Res64: 41299984927D7640 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:58:12] 789*2^1432771-1 is not prime. Res64: 8EAC075A5555D7C7 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:58:12] 793*2^1432771-1 is not prime. Res64: 6B24FAF71F4A18E4 Time : 0.0 sec. user=mdettweiler [2016-06-18 10:58:13] 819*2^1432771-1 is not prime. Res64: 19650F7D40B9CD6C Time : 0.0 sec. user=mdettweiler [2016-06-18 11:09:35] 849*2^1432771-1 is not prime. Res64: 0C14467D77C9DDC1 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:09:36] 909*2^1432771-1 is not prime. Res64: 7F0F299087B770A5 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:09:37] 943*2^1432771-1 is not prime. Res64: 002D75CBE26E3943 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:09:37] 969*2^1432771-1 is not prime. Res64: E41037ACB782C630 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:09:38] 635*2^1432772-1 is not prime. Res64: 1D3B4C7183FE0FDB Time : 0.0 sec. user=mdettweiler [2016-06-18 11:30:28] 749*2^1432772-1 is not prime. Res64: BE163FF0EFCD2A72 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:30:29] 833*2^1432772-1 is not prime. Res64: ECD8579977BE484D Time : 0.0 sec. user=mdettweiler [2016-06-18 11:30:29] 957*2^1432772-1 is not prime. Res64: B3B66614F8965C17 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:30:30] 963*2^1432772-1 is not prime. Res64: 3468DF59187E8B9B Time : 0.0 sec. user=mdettweiler [2016-06-18 11:30:30] 625*2^1432773-1 is not prime. Res64: 1FFBF55171D7E385 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:42:42] 627*2^1432773-1 is not prime. Res64: 2764A99432F22F2C Time : 0.0 sec. user=mdettweiler [2016-06-18 11:42:43] 691*2^1432773-1 is not prime. Res64: 0BE7A926AE7C50F7 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:42:43] 787*2^1432773-1 is not prime. Res64: 59B6A42E687BA01B Time : 0.0 sec. user=mdettweiler [2016-06-18 11:42:43] 837*2^1432773-1 is not prime. Res64: 35A49CBFEE24D901 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:42:44] 849*2^1432773-1 is not prime. Res64: 5FDF436F76DCED17 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:43:07] 889*2^1432773-1 is not prime. Res64: B106DA929D6A4B65 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:43:08] 915*2^1432773-1 is not prime. Res64: 3C87CD6E026756F7 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:43:08] 969*2^1432773-1 is not prime. Res64: E44F6F2D500DA8C3 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:43:08] 611*2^1432774-1 is not prime. Res64: 6DCCE3878E132CD3 Time : 0.0 sec. user=mdettweiler [2016-06-18 11:43:09] 657*2^1432774-1 is not prime. Res64: 32FD39B78628AEDE Time : 0.0 sec. user=mdettweiler [2016-06-18 11:54:30] 723*2^1432774-1 is not prime. Res64: 0BAE90123AA5FD9F Time : 0.0 sec. user=mdettweiler [2016-06-18 11:54:30] 755*2^1432774-1 is not prime. Res64: 4184933FA91263CB Time : 0.0 sec. user=mdettweiler [2016-06-18 11:54:31] 815*2^1432774-1 is not prime. Res64: 881F9951854CFE1C Time : 0.0 sec. user=mdettweiler [2016-06-18 11:54:31] 915*2^1432774-1 is not prime. Res64: 9ACBDA77C092D6EB Time : 0.0 sec. user=mdettweiler [2016-06-18 11:54:32] 651*2^1432775-1 is not prime. Res64: FDBE44E68D68B352 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:15:16] 663*2^1432775-1 is not prime. Res64: 2C1F2933B4B83C97 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:15:17] 685*2^1432775-1 is not prime. Res64: 3C592503B6054C41 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:15:17] 781*2^1432775-1 is not prime. Res64: 4A0094AB306DFAED Time : 0.0 sec. user=mdettweiler [2016-06-18 12:15:18] 843*2^1432775-1 is not prime. Res64: CD6102AB19D389A3 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:15:18] 921*2^1432775-1 is not prime. Res64: 1B79FAF4B55E3C8D Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:13] 963*2^1432775-1 is not prime. Res64: 5FDC5B0177703370 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:13] 973*2^1432775-1 is not prime. Res64: 4AC18985E2128496 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:13] 683*2^1432776-1 is not prime. Res64: 894B1BFF56AC15B9 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:14] 689*2^1432776-1 is not prime. Res64: 7B95366FB82E0A4B Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:14] 735*2^1432776-1 is not prime. Res64: 92AB0763010A276F Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:46] 815*2^1432776-1 is not prime. Res64: 3DA3CF5347B4B2A3 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:47] 839*2^1432776-1 is not prime. Res64: 9A24F3DAC5B5587A Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:47] 927*2^1432776-1 is not prime. Res64: C2FF29D8FC4FBB46 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:48] 975*2^1432776-1 is not prime. Res64: 2A1700BB5768B5BE Time : 0.0 sec. user=mdettweiler [2016-06-18 12:27:48] 999*2^1432776-1 is not prime. Res64: B886ACD4BDD20500 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:39:09] 675*2^1432777-1 is not prime. Res64: 1287F6C55EE024E3 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:39:09] 919*2^1432777-1 is not prime. Res64: 2AD66A2627CD9618 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:39:10] 931*2^1432777-1 is not prime. Res64: 54C0C6D45E2EBC76 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:39:10] 937*2^1432777-1 is not prime. Res64: 3FC6F251210C1742 Time : 0.0 sec. user=mdettweiler [2016-06-18 12:39:10] 945*2^1432777-1 is not prime. Res64: B8EA0ACC0A22A69C Time : 0.0 sec. user=mdettweiler [2016-06-18 13:00:09] 771*2^1432778-1 is not prime. Res64: 18BAF4435E6346A5 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:00:10] 825*2^1432778-1 is not prime. Res64: D42B6226AA1CDC18 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:00:10] 609*2^1432779-1 is not prime. Res64: D22CCB53C2CE7E02 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:00:11] 663*2^1432779-1 is not prime. Res64: DB58B68BAA62724A Time : 0.0 sec. user=mdettweiler [2016-06-18 13:00:11] 753*2^1432779-1 is not prime. Res64: 1793AEE70C42941C Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:26] 873*2^1432779-1 is not prime. Res64: 1B8A9F59E5AB2F83 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:26] 895*2^1432779-1 is not prime. Res64: 42CADF8D7DC0E99E Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:27] 961*2^1432779-1 is not prime. Res64: 5B600D389E0A86C0 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:27] 719*2^1432780-1 is not prime. Res64: 67F487E6CDC912BE Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:28] 797*2^1432780-1 is not prime. Res64: 9CDA086D0C78FA1D Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:32] 819*2^1432780-1 is not prime. Res64: 96DF25CB3C48DC30 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:32] 857*2^1432780-1 is not prime. Res64: FEBB38C2E9D6FECA Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:33] 863*2^1432780-1 is not prime. Res64: E1DABA644E49CC38 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:33] 875*2^1432780-1 is not prime. Res64: B8F195A751DEBF65 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:12:33] 927*2^1432780-1 is not prime. Res64: 9AB37C0040275EDC Time : 0.0 sec. user=mdettweiler [2016-06-18 13:23:55] 959*2^1432780-1 is not prime. Res64: 9A0DFAC6F7FDA19A Time : 0.0 sec. user=mdettweiler [2016-06-18 13:23:55] 735*2^1432781-1 is not prime. Res64: D3A38A6CAFF1DAA4 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:23:56] 789*2^1432781-1 is not prime. Res64: 25E61634D6E39AA7 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:23:56] 829*2^1432781-1 is not prime. Res64: A1EF331C626505A6 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:23:57] 837*2^1432781-1 is not prime. Res64: 7A5F0F46D3707AE1 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:44:36] 885*2^1432781-1 is not prime. Res64: D2CA976F40EBBEF2 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:44:36] 955*2^1432781-1 is not prime. Res64: 0B58B482357AC452 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:44:37] 967*2^1432781-1 is not prime. Res64: F65CDDE82EBA3788 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:44:37] 717*2^1432782-1 is not prime. Res64: 47825970780FF144 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:44:38] 825*2^1432782-1 is not prime. Res64: A5E915C357BF992E Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:41] 871*2^1432783-1 is not prime. Res64: 6B3CB2CE9077D9CB Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:41] 617*2^1432784-1 is not prime. Res64: 6B2424CC89215D18 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:41] 759*2^1432784-1 is not prime. Res64: 8068DA1C7902B6B5 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:42] 813*2^1432784-1 is not prime. Res64: DB5E9AF5868A925C Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:42] 827*2^1432784-1 is not prime. Res64: 9974961FFA548A5B Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:49] 915*2^1432782-1 is not prime. Res64: 4F61FE99DC024AD5 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:49] 983*2^1432782-1 is not prime. Res64: 9D220CFA06503DCE Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:50] 639*2^1432783-1 is not prime. Res64: DE9AFEAD919EE31D Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:50] 705*2^1432783-1 is not prime. Res64: 9423CE9DEBFDC758 Time : 0.0 sec. user=mdettweiler [2016-06-18 13:56:50] 859*2^1432783-1 is not prime. Res64: 839D66E017F98967 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:08:08] 875*2^1432784-1 is not prime. Res64: 16600BFA1B08FD3E Time : 0.0 sec. user=mdettweiler [2016-06-18 14:08:09] 929*2^1432784-1 is not prime. Res64: 51E5AB23D015C2B9 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:08:09] 959*2^1432784-1 is not prime. Res64: 1EA644275B183DB9 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:08:10] 691*2^1432785-1 is not prime. Res64: C387C9A1969F90B6 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:08:10] 777*2^1432785-1 is not prime. Res64: B5F66F88002925C5 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:29:28] 861*2^1432785-1 is not prime. Res64: 37B8CB7311CDFBC3 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:29:29] 955*2^1432785-1 is not prime. Res64: 72B40378CBD7D86E Time : 0.0 sec. user=mdettweiler [2016-06-18 14:29:29] 663*2^1432786-1 is not prime. Res64: 511907BCE35E7896 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:29:29] 713*2^1432786-1 is not prime. Res64: 9DB759CEF1C2D963 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:29:30] 717*2^1432786-1 is not prime. Res64: 128099B9AF37A26B Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:18] 773*2^1432786-1 is not prime. Res64: 2C49C992E9FE09FC Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:18] 693*2^1432787-1 is not prime. Res64: 517845853906962B Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:19] 715*2^1432787-1 is not prime. Res64: 509588B6DEC639A4 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:19] 741*2^1432787-1 is not prime. Res64: 9145D967F3C36C62 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:19] 813*2^1432787-1 is not prime. Res64: E5E2D1098196D9AC Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:30] 663*2^1432788-1 is not prime. Res64: 6E001086EC02F9B3 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:30] 699*2^1432788-1 is not prime. Res64: 42E881034973DA0C Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:30] 837*2^1432788-1 is not prime. Res64: E2AD783FF37AF23A Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:31] 639*2^1432789-1 is not prime. Res64: A74235599A155A96 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:41:31] 649*2^1432789-1 is not prime. Res64: 0055C6B512EE5830 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:53:04] 751*2^1432789-1 is not prime. Res64: 2939359A0B34F13A Time : 0.0 sec. user=mdettweiler [2016-06-18 14:53:05] 765*2^1432789-1 is not prime. Res64: B36CC53783878587 Time : 0.0 sec. user=mdettweiler [2016-06-18 14:53:05] 789*2^1432789-1 is not prime. Res64: 2253303D8DB514AD Time : 0.0 sec. user=mdettweiler [2016-06-18 14:53:05] 817*2^1432789-1 is not prime. Res64: 2CEE45F91FFC8D6C Time : 0.0 sec. user=mdettweiler [2016-06-18 14:53:08] 819*2^1432789-1 is not prime. Res64: 79E2BDD8130FD9E9 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:14:10] 945*2^1432789-1 is not prime. Res64: 24359C36393A6E10 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:14:11] 967*2^1432789-1 is not prime. Res64: 0E69CA664BC7890C Time : 0.0 sec. user=mdettweiler [2016-06-18 15:14:11] 605*2^1432790-1 is not prime. Res64: 0C602FC8A79D03AE Time : 0.0 sec. user=mdettweiler [2016-06-18 15:14:12] 755*2^1432790-1 is not prime. Res64: 154D877C2FD3816F Time : 0.0 sec. user=mdettweiler [2016-06-18 15:14:12] 795*2^1432790-1 is not prime. Res64: 9D11572A63720D98 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:25:50] 825*2^1432790-1 is not prime. Res64: 68880DF8A0F4240D Time : 0.0 sec. user=mdettweiler [2016-06-18 15:25:51] 845*2^1432790-1 is not prime. Res64: 394B040415373388 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:25:51] 861*2^1432790-1 is not prime. Res64: 327614314F46B4E7 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:25:51] 911*2^1432790-1 is not prime. Res64: 5EE2E7995FDF08CD Time : 0.0 sec. user=mdettweiler [2016-06-18 15:25:52] 739*2^1432791-1 is not prime. Res64: FCCCED087163D9B2 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:26:07] 819*2^1432791-1 is not prime. Res64: 7FF5FA3241C48B81 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:26:07] 849*2^1432791-1 is not prime. Res64: 6520F84813142CE3 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:26:07] 861*2^1432791-1 is not prime. Res64: 3B4BB69DCC0F60F6 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:26:08] 895*2^1432791-1 is not prime. Res64: ACE05182B4B69C84 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:26:08] 699*2^1432792-1 is not prime. Res64: A35B7C3D271F8EEA Time : 0.0 sec. user=mdettweiler [2016-06-18 15:37:36] 759*2^1432792-1 is not prime. Res64: 1A1246665A7834F2 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:37:36] 819*2^1432792-1 is not prime. Res64: FD5F5E0C8BCB5C5A Time : 0.0 sec. user=mdettweiler [2016-06-18 15:37:36] 827*2^1432792-1 is not prime. Res64: 5B3F53BB6899C029 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:37:37] 873*2^1432792-1 is not prime. Res64: 009CDF1EDE9EC260 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:37:37] 923*2^1432792-1 is not prime. Res64: D1DAE90C80F3B223 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:59:17] 939*2^1432792-1 is not prime. Res64: CFA23BA23B9FB242 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:59:17] 955*2^1432793-1 is not prime. Res64: 95379379FB946405 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:59:17] 969*2^1432793-1 is not prime. Res64: 16F8B5100EB35357 Time : 0.0 sec. user=mdettweiler [2016-06-18 15:59:18] 765*2^1432794-1 is not prime. Res64: 631052DF06F7750C Time : 0.0 sec. user=mdettweiler [2016-06-18 15:59:18] 807*2^1432794-1 is not prime. Res64: 1FF75A5523FBE431 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:34] 917*2^1432794-1 is not prime. Res64: CDD406223EEC1B97 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:34] 975*2^1432794-1 is not prime. Res64: BE92A9929BD426AF Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:35] 983*2^1432794-1 is not prime. Res64: 1A6280E85664EE0D Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:35] 691*2^1432795-1 is not prime. Res64: C35EC7D31B621DEC Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:36] 751*2^1432795-1 is not prime. Res64: 2B45C1070D095DA6 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:49] 793*2^1432795-1 is not prime. Res64: D60EAE1952626316 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:49] 801*2^1432795-1 is not prime. Res64: C04394A48BF5DDBF Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:50] 843*2^1432795-1 is not prime. Res64: 56B96E7351DD8889 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:50] 895*2^1432795-1 is not prime. Res64: 6C82F9F4359A3134 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:10:50] 985*2^1432795-1 is not prime. Res64: 34150A1C9BDADE30 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:22:09] 999*2^1432795-1 is not prime. Res64: 32CA2DE370285666 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:22:09] 657*2^1432796-1 is not prime. Res64: FC818BF52AA5BCDF Time : 0.0 sec. user=mdettweiler [2016-06-18 16:22:10] 669*2^1432796-1 is not prime. Res64: 7EB929149B11FCB6 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:22:10] 803*2^1432796-1 is not prime. Res64: F325A11F51BDB1A2 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:22:10] 923*2^1432796-1 is not prime. Res64: B315B45D07DD4398 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:43:59] 945*2^1432796-1 is not prime. Res64: 60FF11788A31C8F1 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:44:00] 661*2^1432797-1 is not prime. Res64: 8BD9BADC7CBB440C Time : 0.0 sec. user=mdettweiler [2016-06-18 16:44:00] 919*2^1432797-1 is not prime. Res64: 8D289FC752DB7575 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:44:01] 645*2^1432798-1 is not prime. Res64: B6CB89F5D043A9CF Time : 0.0 sec. user=mdettweiler [2016-06-18 16:44:01] 705*2^1432798-1 is not prime. Res64: A03D96D6FF180162 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:18] 773*2^1432798-1 is not prime. Res64: 8E88DD6A428637A7 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:18] 791*2^1432798-1 is not prime. Res64: C73B61D1F92491DA Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:18] 827*2^1432798-1 is not prime. Res64: 750129A73D8DEF19 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:19] 845*2^1432798-1 is not prime. Res64: 50B199C30DECA0B7 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:19] 923*2^1432798-1 is not prime. Res64: F139EC905A9D24AB Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:33] 957*2^1432798-1 is not prime. Res64: 32F2C393D3971912 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:34] 981*2^1432798-1 is not prime. Res64: 97296D736FDF5A5B Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:34] 995*2^1432798-1 is not prime. Res64: B2E195377F7BB94D Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:34] 661*2^1432799-1 is not prime. Res64: B1F4A1844C938E64 Time : 0.0 sec. user=mdettweiler [2016-06-18 16:55:35] 703*2^1432799-1 is not prime. Res64: F76D2F1EF1BCCA79 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:07:04] 831*2^1432799-1 is not prime. Res64: 857A25C6CF551B73 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:07:05] 855*2^1432799-1 is not prime. Res64: 7DD333DB7B64A05D Time : 0.0 sec. user=mdettweiler [2016-06-18 17:07:06] 879*2^1432799-1 is not prime. Res64: F8EF7C2CB7D9AE87 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:07:07] 889*2^1432799-1 is not prime. Res64: 381508109F59E340 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:07:09] 921*2^1432799-1 is not prime. Res64: 82D9D37167DCFA1D Time : 0.0 sec. user=mdettweiler [2016-06-18 17:28:57] 931*2^1432799-1 is not prime. Res64: 994D5FAF56B5FF31 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:28:57] 955*2^1432799-1 is not prime. Res64: 146013BABF03F0B9 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:28:58] 623*2^1432800-1 is not prime. Res64: DFFECA18FD869CEC Time : 0.0 sec. user=mdettweiler [2016-06-18 17:28:58] 767*2^1432800-1 is not prime. Res64: 08C116EBB0C7A0CA Time : 0.0 sec. user=mdettweiler [2016-06-18 17:28:58] 843*2^1432800-1 is not prime. Res64: C8F7CD718588F663 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:07] 909*2^1432800-1 is not prime. Res64: 9EAE4575C1C527B7 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:08] 705*2^1432801-1 is not prime. Res64: 53950BD310746907 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:08] 829*2^1432801-1 is not prime. Res64: 1375814FA243FEC3 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:09] 987*2^1432801-1 is not prime. Res64: 6E04C27EA3A57C2C Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:09] 633*2^1432802-1 is not prime. Res64: 7AC053D39F6FF314 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:26] 827*2^1432802-1 is not prime. Res64: DBCD33D4F7599139 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:27] 833*2^1432802-1 is not prime. Res64: 0A9BB685FF6021B4 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:27] 875*2^1432802-1 is not prime. Res64: D15826D185BF7C36 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:28] 911*2^1432802-1 is not prime. Res64: 042AD7E7E01BCC27 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:40:28] 915*2^1432802-1 is not prime. Res64: 99A41818357CAD5A Time : 0.0 sec. user=mdettweiler [2016-06-18 17:52:13] 675*2^1432803-1 is not prime. Res64: E653C185C2F98178 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:52:13] 685*2^1432803-1 is not prime. Res64: C583D9926A5BBDAC Time : 0.0 sec. user=mdettweiler [2016-06-18 17:52:13] 691*2^1432803-1 is not prime. Res64: 76462357706F5452 Time : 0.0 sec. user=mdettweiler [2016-06-18 17:52:14] 703*2^1432803-1 is not prime. Res64: 9890DFBB129757CF Time : 0.0 sec. user=mdettweiler [2016-06-18 17:52:14] 741*2^1432803-1 is not prime. Res64: 43A387F1716E40FC Time : 0.0 sec. user=mdettweiler [2016-06-18 18:13:47] 769*2^1432803-1 is not prime. Res64: 13C346E54CD97241 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:13:47] 795*2^1432803-1 is not prime. Res64: 095AB8EDF55436B5 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:13:48] 801*2^1432803-1 is not prime. Res64: B143A9FA60776455 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:13:48] 871*2^1432803-1 is not prime. Res64: CA40A6759D080629 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:13:48] 717*2^1432804-1 is not prime. Res64: C030779236193206 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:24:56] 743*2^1432804-1 is not prime. Res64: BAD4CFC1D7E9F288 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:24:56] 833*2^1432804-1 is not prime. Res64: A6D2E7D29132A47B Time : 0.0 sec. user=mdettweiler [2016-06-18 18:24:57] 875*2^1432804-1 is not prime. Res64: 474530BBD628B43A Time : 0.0 sec. user=mdettweiler [2016-06-18 18:24:57] 915*2^1432804-1 is not prime. Res64: DA43CB2EAE2ED04E Time : 0.0 sec. user=mdettweiler [2016-06-18 18:24:57] 923*2^1432804-1 is not prime. Res64: 2F00413DED4A11EF Time : 0.0 sec. user=mdettweiler [2016-06-18 18:25:34] 757*2^1432805-1 is not prime. Res64: 0445535BF7AD4DA1 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:25:34] 775*2^1432805-1 is not prime. Res64: 645B3669B408D61D Time : 0.0 sec. user=mdettweiler [2016-06-18 18:25:34] 837*2^1432805-1 is not prime. Res64: E51ECEC90A0A639D Time : 0.0 sec. user=mdettweiler [2016-06-18 18:25:35] 985*2^1432805-1 is not prime. Res64: E386BD6FEBD39806 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:25:35] 635*2^1432806-1 is not prime. Res64: 44667AC5EFE48BA7 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:36:49] 713*2^1432806-1 is not prime. Res64: 241EA7021A53F67A Time : 0.0 sec. user=mdettweiler [2016-06-18 18:36:49] 867*2^1432806-1 is not prime. Res64: 8FEC2A0B789D90A6 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:36:50] 873*2^1432806-1 is not prime. Res64: 2E5FDC5734BBFD68 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:36:50] 891*2^1432806-1 is not prime. Res64: 1ECDF56B36F5904B Time : 0.0 sec. user=mdettweiler [2016-06-18 18:36:50] 917*2^1432806-1 is not prime. Res64: F0E05712E0E694A2 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:58:35] 921*2^1432806-1 is not prime. Res64: EA2C53D9C0A43803 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:58:35] 993*2^1432806-1 is not prime. Res64: 233179621CC0E5B4 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:58:35] 675*2^1432807-1 is not prime. Res64: 49AA0101D0B4FF05 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:58:36] 681*2^1432807-1 is not prime. Res64: 07DC18F69EA00DE2 Time : 0.0 sec. user=mdettweiler [2016-06-18 18:58:36] 645*2^1432808-1 is not prime. Res64: C8EE83F6357FE6A5 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:09:37] 839*2^1432808-1 is not prime. Res64: 41E1F9D20EB390A9 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:09:38] 855*2^1432808-1 is not prime. Res64: DCDB1488F2373E3C Time : 0.0 sec. user=mdettweiler [2016-06-18 19:09:38] 935*2^1432808-1 is not prime. Res64: 44215050D215F5EC Time : 0.0 sec. user=mdettweiler [2016-06-18 19:09:39] 993*2^1432808-1 is not prime. Res64: 7968EB9A3F5D28B1 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:09:39] 999*2^1432808-1 is not prime. Res64: 8A4111FC2995AF42 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:10:15] 627*2^1432809-1 is not prime. Res64: 05233B51DE987BDC Time : 0.0 sec. user=mdettweiler [2016-06-18 19:10:15] 787*2^1432809-1 is not prime. Res64: 02A231B2F0F260D7 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:10:16] 605*2^1432810-1 is not prime. Res64: EB730DD5BC2451D3 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:10:16] 633*2^1432810-1 is not prime. Res64: 317D0AB425E56BEE Time : 0.0 sec. user=mdettweiler [2016-06-18 19:10:17] 665*2^1432810-1 is not prime. Res64: 7AF9C040E0163C20 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:21:30] 783*2^1432810-1 is not prime. Res64: 40A9B4D4A7CE91E5 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:21:31] 791*2^1432810-1 is not prime. Res64: EA99BC69ED3FA5ED Time : 0.0 sec. user=mdettweiler [2016-06-18 19:21:31] 833*2^1432810-1 is not prime. Res64: 976A7F38B4A71264 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:21:32] 857*2^1432810-1 is not prime. Res64: B77A1C95EC180726 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:21:32] 867*2^1432810-1 is not prime. Res64: E613D8BAF438BF2D Time : 0.0 sec. user=mdettweiler [2016-06-18 19:43:13] 911*2^1432810-1 is not prime. Res64: 33F7B42BF6439556 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:43:13] 923*2^1432810-1 is not prime. Res64: 5FB8980BCF388564 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:43:13] 741*2^1432811-1 is not prime. Res64: 6DF028DD0CEF529F Time : 0.0 sec. user=mdettweiler [2016-06-18 19:43:14] 759*2^1432811-1 is not prime. Res64: 36447B7D9B7333CB Time : 0.0 sec. user=mdettweiler [2016-06-18 19:43:14] 627*2^1432812-1 is not prime. Res64: 809D8654B24F17E5 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:54:20] 629*2^1432812-1 is not prime. Res64: 699F57AFD0457C23 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:54:20] 737*2^1432812-1 is not prime. Res64: 033C28E4793E6671 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:54:21] 765*2^1432812-1 is not prime. Res64: D148845B3187F54E Time : 0.0 sec. user=mdettweiler [2016-06-18 19:54:21] 803*2^1432812-1 is not prime. Res64: CC871432E8AFCF93 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:54:21] 809*2^1432812-1 is not prime. Res64: 90377A3B49354709 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:55:09] 837*2^1432812-1 is not prime. Res64: 5FEC7EC5137D97EE Time : 0.0 sec. user=mdettweiler [2016-06-18 19:55:10] 899*2^1432812-1 is not prime. Res64: 436D2AE51E223237 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:55:10] 947*2^1432812-1 is not prime. Res64: DC9DFD9CD501D8E7 Time : 0.0 sec. user=mdettweiler [2016-06-18 19:55:11] 999*2^1432812-1 is not prime. Res64: 4D6CF8661B0D29AF Time : 0.0 sec. user=mdettweiler [2016-06-18 19:55:11] 609*2^1432813-1 is not prime. Res64: 45D0209784740547 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:06:39] 639*2^1432813-1 is not prime. Res64: EAF71401CA739933 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:06:40] 741*2^1432813-1 is not prime. Res64: ACCFF71710404067 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:06:40] 861*2^1432813-1 is not prime. Res64: AEA5819C206A7764 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:06:40] 999*2^1432813-1 is not prime. Res64: C7313B3F439B9AFC Time : 0.0 sec. user=mdettweiler [2016-06-18 20:06:41] 651*2^1432814-1 is not prime. Res64: B2AA20F3D40B251A Time : 0.0 sec. user=mdettweiler [2016-06-18 20:28:09] 677*2^1432814-1 is not prime. Res64: 79515F8E6E25C69E Time : 0.0 sec. user=mdettweiler [2016-06-18 20:28:10] 851*2^1432814-1 is not prime. Res64: E4DF9FBF3F62BDBE Time : 0.0 sec. user=mdettweiler [2016-06-18 20:28:10] 873*2^1432814-1 is not prime. Res64: B7EC255A5D69D685 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:28:10] 897*2^1432814-1 is not prime. Res64: 870407EE726F7AC6 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:28:11] 923*2^1432814-1 is not prime. Res64: 7848D156C5C0372B Time : 0.0 sec. user=mdettweiler [2016-06-18 20:39:09] 649*2^1432815-1 is not prime. Res64: 8AFA340852FE95EA Time : 0.0 sec. user=mdettweiler [2016-06-18 20:39:10] 663*2^1432815-1 is not prime. Res64: A0BA02D5BCF51C77 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:39:10] 765*2^1432815-1 is not prime. Res64: B6EC5F28B780448B Time : 0.0 sec. user=mdettweiler [2016-06-18 20:39:11] 829*2^1432815-1 is not prime. Res64: 00A848F8EE29096A Time : 0.0 sec. user=mdettweiler [2016-06-18 20:39:11] 861*2^1432815-1 is not prime. Res64: E8DF181128B17450 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:40:04] 895*2^1432815-1 is not prime. Res64: 7A0E627C5E355D19 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:40:04] 955*2^1432815-1 is not prime. Res64: 2913779DD77F1E62 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:40:04] 979*2^1432815-1 is not prime. Res64: 30436EFBD07011F6 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:40:05] 999*2^1432815-1 is not prime. Res64: 40A074CD1E930F29 Time : 0.0 sec. user=mdettweiler [2016-06-18 20:40:05] 609*2^1432816-1 is not prime. Res64: 254120A214DCAA7E Time : 0.0 sec. user=mdettweiler [2016-06-18 20:51:32] 615*2^1432816-1 is not prime. Res64: 2490A3619D9A2E0C Time : 0.0 sec. user=mdettweiler [2016-06-18 20:51:32] 653*2^1432816-1 is not prime. Res64: ED8EEC0D0652F8BF Time : 0.0 sec. user=mdettweiler [2016-06-18 20:51:33] 663*2^1432816-1 is not prime. Res64: 8417241C9A16FDED Time : 0.0 sec. user=mdettweiler [2016-06-18 20:51:33] 723*2^1432816-1 is not prime. Res64: 78F59B98FBC4460C Time : 0.0 sec. user=mdettweiler [2016-06-18 20:51:34] 845*2^1432816-1 is not prime. Res64: 23CADFFB8F63CF4C Time : 0.0 sec. user=mdettweiler [2016-06-18 21:13:06] 975*2^1432816-1 is not prime. Res64: 5A695948F1875762 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:13:07] 989*2^1432816-1 is not prime. Res64: 09DEFD6A7546F23E Time : 0.0 sec. user=mdettweiler [2016-06-18 21:13:07] 999*2^1432816-1 is not prime. Res64: 4879B92A3B992D8C Time : 0.0 sec. user=mdettweiler [2016-06-18 21:13:08] 675*2^1432817-1 is not prime. Res64: ED3595DF54EDDA4C Time : 0.0 sec. user=mdettweiler [2016-06-18 21:13:08] 715*2^1432817-1 is not prime. Res64: 66E9D67F3D4654ED Time : 0.0 sec. user=mdettweiler [2016-06-18 21:23:44] 837*2^1432817-1 is not prime. Res64: E1FEC7F5CFD72DB0 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:23:44] 861*2^1432817-1 is not prime. Res64: DB7DC1D86D24F099 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:23:44] 865*2^1432817-1 is not prime. Res64: F9054806EF5E433C Time : 0.0 sec. user=mdettweiler [2016-06-18 21:23:45] 871*2^1432817-1 is not prime. Res64: D81324634EBB362C Time : 0.0 sec. user=mdettweiler [2016-06-18 21:23:45] 901*2^1432817-1 is not prime. Res64: 07AA0DD292809C38 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:24:48] 937*2^1432817-1 is not prime. Res64: 76D90C26F1B64917 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:24:48] 657*2^1432818-1 is not prime. Res64: 6ACCAAC4D2CE5200 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:24:49] 671*2^1432818-1 is not prime. Res64: C4158295C0B92AC9 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:24:49] 705*2^1432818-1 is not prime. Res64: 3D4BF821AF34E425 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:24:50] 735*2^1432818-1 is not prime. Res64: 40C5963FD9C7BBEB Time : 0.0 sec. user=mdettweiler [2016-06-18 21:36:09] 821*2^1432818-1 is not prime. Res64: 841AAB62ED6835BB Time : 0.0 sec. user=mdettweiler [2016-06-18 21:36:10] 825*2^1432818-1 is not prime. Res64: A73D80A22FB20373 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:36:10] 893*2^1432818-1 is not prime. Res64: BF4127EE65061343 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:36:10] 993*2^1432818-1 is not prime. Res64: 1E70001E39EA29C7 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:36:11] 645*2^1432819-1 is not prime. Res64: 50C0A1634921DD73 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:57:54] 723*2^1432819-1 is not prime. Res64: A95635BA68831187 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:57:55] 859*2^1432819-1 is not prime. Res64: C6FF3772489976DF Time : 0.0 sec. user=mdettweiler [2016-06-18 21:57:55] 861*2^1432819-1 is not prime. Res64: 45350041F168A7CF Time : 0.0 sec. user=mdettweiler [2016-06-18 21:57:56] 891*2^1432819-1 is not prime. Res64: 22437798054170E6 Time : 0.0 sec. user=mdettweiler [2016-06-18 21:57:56] 925*2^1432819-1 is not prime. Res64: 833E44468136EA54 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:08:43] 605*2^1432820-1 is not prime. Res64: D2AAC387B68B0894 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:08:43] 753*2^1432820-1 is not prime. Res64: 938FF3DE1E7DC7F9 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:08:44] 767*2^1432820-1 is not prime. Res64: E6428453736BE452 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:08:44] 885*2^1432820-1 is not prime. Res64: 563FC5986F9A8A38 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:08:45] 957*2^1432820-1 is not prime. Res64: 3429D5C19B759DD9 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:10:16] 625*2^1432821-1 is not prime. Res64: F6FC693809EC1372 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:10:16] 741*2^1432821-1 is not prime. Res64: FF640D0987844BE5 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:10:16] 781*2^1432821-1 is not prime. Res64: BE4E123DF1C2C476 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:10:17] 889*2^1432821-1 is not prime. Res64: 7904055E6E36C9F8 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:10:17] 999*2^1432821-1 is not prime. Res64: FAD78D0AB1DF1073 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:21:17] 657*2^1432822-1 is not prime. Res64: E3306F72A81AC37E Time : 0.0 sec. user=mdettweiler [2016-06-18 22:21:17] 825*2^1432822-1 is not prime. Res64: D2B54D90C2C91087 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:21:18] 897*2^1432822-1 is not prime. Res64: FBD3C81FC46C264B Time : 0.0 sec. user=mdettweiler [2016-06-18 22:21:18] 917*2^1432822-1 is not prime. Res64: 0AEFCBC777FEB699 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:21:18] 1001*2^1432822-1 is not prime. Res64: 7E18A4436C7F9442 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:42:36] 823*2^1432823-1 is not prime. Res64: FEAF5FCCA8CDD8F7 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:42:37] 831*2^1432823-1 is not prime. Res64: 3266AEEBE959CABA Time : 0.0 sec. user=mdettweiler [2016-06-18 22:42:37] 895*2^1432823-1 is not prime. Res64: 52A8ACE727EADCA7 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:42:37] 969*2^1432823-1 is not prime. Res64: 2F9F7FB276A18384 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:42:38] 843*2^1432824-1 is not prime. Res64: 09CB7646BDFF44B5 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:53:16] 887*2^1432824-1 is not prime. Res64: 4CFF2ED9BAD78887 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:53:16] 945*2^1432824-1 is not prime. Res64: 75463AD0C42843E2 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:53:17] 607*2^1432825-1 is not prime. Res64: 9480F87CB75560ED Time : 0.0 sec. user=mdettweiler [2016-06-18 22:53:17] 619*2^1432825-1 is not prime. Res64: BB6EBAA770C3F458 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:53:18] 687*2^1432825-1 is not prime. Res64: E2ECD48AEC50DB53 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:55:06] 705*2^1432825-1 is not prime. Res64: 3A0D44283144BBEE Time : 0.0 sec. user=mdettweiler [2016-06-18 22:55:06] 729*2^1432825-1 is not prime. Res64: 03A9750A9F9784D8 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:55:06] 771*2^1432825-1 is not prime. Res64: 6C2C81C8100C6758 Time : 0.0 sec. user=mdettweiler [2016-06-18 22:55:07] 799*2^1432825-1 is not prime. Res64: 1987EC4A739645ED Time : 0.0 sec. user=mdettweiler [2016-06-18 22:55:07] 603*2^1432826-1 is not prime. Res64: 8B6D945BD5EAA728 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:06:02] 671*2^1432826-1 is not prime. Res64: 1F0B0F2630C16677 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:06:03] 683*2^1432826-1 is not prime. Res64: 0A039804ACBD879F Time : 0.0 sec. user=mdettweiler [2016-06-18 23:06:04] 873*2^1432826-1 is not prime. Res64: 97ADB4F4141A2861 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:06:05] 923*2^1432826-1 is not prime. Res64: CF0CAC0651EFAB6A Time : 0.0 sec. user=mdettweiler [2016-06-18 23:06:06] 639*2^1432827-1 is not prime. Res64: A1B6CBC5E102FE32 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:27:19] 675*2^1432827-1 is not prime. Res64: 6A27EFDD4176D639 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:27:19] 711*2^1432827-1 is not prime. Res64: 25A69A5F611942F0 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:27:20] 741*2^1432827-1 is not prime. Res64: 7C4EBAE7FDEEED13 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:27:20] 859*2^1432827-1 is not prime. Res64: A5D580190ABBCD12 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:27:20] 979*2^1432827-1 is not prime. Res64: 8F9CD2F6DA704FDA Time : 0.0 sec. user=mdettweiler [2016-06-18 23:38:12] 999*2^1432827-1 is not prime. Res64: 9F314830D533A9DE Time : 0.0 sec. user=mdettweiler [2016-06-18 23:38:13] 647*2^1432828-1 is not prime. Res64: 1852A323A0CA1C15 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:38:13] 695*2^1432828-1 is not prime. Res64: F8BD390C6BF18784 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:38:14] 699*2^1432828-1 is not prime. Res64: B3E283B35EDF37B7 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:38:14] 749*2^1432828-1 is not prime. Res64: EEF445419DEBC57D Time : 0.0 sec. user=mdettweiler [2016-06-18 23:39:56] 869*2^1432828-1 is not prime. Res64: 830C59CB005E390E Time : 0.0 sec. user=mdettweiler [2016-06-18 23:39:56] 887*2^1432828-1 is not prime. Res64: B52348FE30236B0B Time : 0.0 sec. user=mdettweiler [2016-06-18 23:39:56] 957*2^1432828-1 is not prime. Res64: FF766C46C8B8DC95 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:39:57] 619*2^1432829-1 is not prime. Res64: 4ECFC0D1D7810D00 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:39:57] 691*2^1432829-1 is not prime. Res64: 3660A12BFD281753 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:51:00] 745*2^1432829-1 is not prime. Res64: CBF9676B2D452C37 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:51:00] 769*2^1432829-1 is not prime. Res64: 86EB9F78DCB4572C Time : 0.0 sec. user=mdettweiler [2016-06-18 23:51:01] 829*2^1432829-1 is not prime. Res64: 678EDEE8CA83B564 Time : 0.0 sec. user=mdettweiler [2016-06-18 23:51:01] 837*2^1432829-1 is not prime. Res64: 280DD5F23F010FFE Time : 0.0 sec. user=mdettweiler [2016-06-18 23:51:01] 885*2^1432829-1 is not prime. Res64: D9474391CCAEEBEF Time : 0.0 sec.