user=mdettweiler [2016-03-29 00:18:03] 851*2^1424630-1 is not prime. Res64: 8BBF57517D3D037E Time : 0.0 sec. user=mdettweiler [2016-03-29 00:18:03] 867*2^1424630-1 is not prime. Res64: FE38504FA8F944F8 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:18:04] 923*2^1424630-1 is not prime. Res64: FB3DB182CA666A88 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:18:04] 751*2^1424631-1 is not prime. Res64: CB31A44390E3EE3A Time : 0.0 sec. user=mdettweiler [2016-03-29 00:18:05] 823*2^1424631-1 is not prime. Res64: E8C9789A7175C629 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:21:35] 921*2^1424631-1 is not prime. Res64: B7585DD99CB8740F Time : 0.0 sec. user=mdettweiler [2016-03-29 00:21:35] 975*2^1424631-1 is not prime. Res64: 8920ECA78EED17FD Time : 0.0 sec. user=mdettweiler [2016-03-29 00:21:36] 999*2^1424631-1 is not prime. Res64: 0D58DCEBA4723081 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:21:36] 629*2^1424632-1 is not prime. Res64: 1A78DE4F4633457B Time : 0.0 sec. user=mdettweiler [2016-03-29 00:21:37] 665*2^1424632-1 is not prime. Res64: 231C6E6E27020252 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:30:30] 693*2^1424632-1 is not prime. Res64: 886745F7C4CF62DC Time : 0.0 sec. user=mdettweiler [2016-03-29 00:30:30] 915*2^1424632-1 is not prime. Res64: BC98D02BA9259729 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:30:30] 627*2^1424633-1 is not prime. Res64: AE327686A0B7264A Time : 0.0 sec. user=mdettweiler [2016-03-29 00:30:31] 685*2^1424633-1 is not prime. Res64: 40F5BA2688A484DA Time : 0.0 sec. user=mdettweiler [2016-03-29 00:30:31] 697*2^1424633-1 is not prime. Res64: BEC8342F25165E25 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:43:07] 721*2^1424633-1 is not prime. Res64: 7D0D6DAFFCDFA3F1 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:43:07] 781*2^1424633-1 is not prime. Res64: 7DEEB1E9C12E2C94 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:43:08] 787*2^1424633-1 is not prime. Res64: C285227DB05AF114 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:43:08] 831*2^1424633-1 is not prime. Res64: 50039BB70A8699A8 Time : 0.0 sec. user=mdettweiler [2016-03-29 00:43:09] 611*2^1424634-1 is not prime. Res64: E70C10D68B7F1BA7 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:02:47] 651*2^1424634-1 is not prime. Res64: 3B73095A26BD06DE Time : 0.0 sec. user=mdettweiler [2016-03-29 01:02:48] 717*2^1424634-1 is not prime. Res64: 4CC55D515243A8E1 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:02:49] 873*2^1424634-1 is not prime. Res64: 83D56CC7808063A4 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:02:50] 891*2^1424634-1 is not prime. Res64: 01A6B451F1EF7A4A Time : 0.0 sec. user=mdettweiler [2016-03-29 01:02:51] 625*2^1424635-1 is not prime. Res64: 3F9AF2682F01CAC3 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:06:33] 999*2^1424635-1 is not prime. Res64: A4D8B1613C0B29C4 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:06:35] 725*2^1424636-1 is not prime. Res64: 95C0D0C34391DDAC Time : 0.0 sec. user=mdettweiler [2016-03-29 01:06:37] 735*2^1424636-1 is not prime. Res64: DF00A5CAF71BC86C Time : 0.0 sec. user=mdettweiler [2016-03-29 01:06:39] 837*2^1424636-1 is not prime. Res64: B82C108D2B39D95C Time : 0.0 sec. user=mdettweiler [2016-03-29 01:06:40] 867*2^1424636-1 is not prime. Res64: 263999697B258292 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:14:32] 705*2^1424639-1 is not prime. Res64: 4AED7F25FE172D81 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:15:26] 869*2^1424636-1 is not prime. Res64: 7DE16BAC326F2302 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:15:26] 879*2^1424636-1 is not prime. Res64: CC1718BD428AE98B Time : 0.0 sec. user=mdettweiler [2016-03-29 01:15:27] 957*2^1424636-1 is not prime. Res64: 79BBD6238AF3C476 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:15:27] 969*2^1424636-1 is not prime. Res64: 25EFAF70A44348ED Time : 0.0 sec. user=mdettweiler [2016-03-29 01:15:27] 651*2^1424637-1 is not prime. Res64: 6ABA892343BB96A5 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:28:07] 747*2^1424637-1 is not prime. Res64: FD0C7EFCCCAC84EF Time : 0.0 sec. user=mdettweiler [2016-03-29 01:28:09] 819*2^1424637-1 is not prime. Res64: 39C256158530B40B Time : 0.0 sec. user=mdettweiler [2016-03-29 01:28:10] 611*2^1424638-1 is not prime. Res64: 22DB8601710998A0 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:28:11] 657*2^1424638-1 is not prime. Res64: 6B26C03F18707617 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:28:12] 687*2^1424638-1 is not prime. Res64: D7ACDCC9F8240307 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:47:47] 707*2^1424638-1 is not prime. Res64: FE698E5E250A1C20 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:47:47] 755*2^1424638-1 is not prime. Res64: 2C745ADB25DC45B7 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:47:48] 857*2^1424638-1 is not prime. Res64: ED3B14FA7A9B5561 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:47:48] 645*2^1424639-1 is not prime. Res64: FD4523DB01BDB7E2 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:47:49] 693*2^1424639-1 is not prime. Res64: 195235BD03C44882 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:51:52] 711*2^1424639-1 is not prime. Res64: 45A5C9F375957B40 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:51:53] 759*2^1424639-1 is not prime. Res64: D8058288FD911FB7 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:51:53] 841*2^1424639-1 is not prime. Res64: EE3D9B690D6A15B8 Time : 0.0 sec. user=mdettweiler [2016-03-29 01:51:53] 885*2^1424639-1 is not prime. Res64: 669B9B138337661D Time : 0.0 sec. user=mdettweiler [2016-03-29 01:51:54] 895*2^1424639-1 is not prime. Res64: 5190D98005D02FA4 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:00:23] 707*2^1424640-1 is not prime. Res64: 21F306FD99DC15DB Time : 0.0 sec. user=mdettweiler [2016-03-29 02:00:24] 719*2^1424640-1 is not prime. Res64: 9770E78D99F88EE2 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:00:25] 747*2^1424640-1 is not prime. Res64: B5413FAB65281864 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:00:26] 819*2^1424640-1 is not prime. Res64: 6A50E7BBE1B17848 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:00:27] 875*2^1424640-1 is not prime. Res64: D5802CD7E0497773 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:06:59] 843*2^1424644-1 is not prime. Res64: 436F5DEAC93D9E2C Time : 0.0 sec. user=mdettweiler [2016-03-29 02:13:31] 927*2^1424640-1 is not prime. Res64: 453B5F6368DD7B5E Time : 0.0 sec. user=mdettweiler [2016-03-29 02:13:31] 975*2^1424640-1 is not prime. Res64: 94691AF681C401BF Time : 0.0 sec. user=mdettweiler [2016-03-29 02:13:32] 789*2^1424641-1 is not prime. Res64: 87506F46F1ECE7CA Time : 0.0 sec. user=mdettweiler [2016-03-29 02:13:32] 955*2^1424641-1 is not prime. Res64: 3C92716720485694 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:13:33] 617*2^1424642-1 is not prime. Res64: 371C6BF96B44F269 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:24:57] 737*2^1424646-1 is not prime. Res64: A2D5EDD092242F50 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:32:50] 665*2^1424642-1 is not prime. Res64: 43A99B535C5B8C58 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:32:51] 683*2^1424642-1 is not prime. Res64: ECBED4808E3C31F7 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:32:51] 755*2^1424642-1 is not prime. Res64: F85AB1DC9B0A8957 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:32:52] 831*2^1424642-1 is not prime. Res64: 0FFDEFE784C6845C Time : 0.0 sec. user=mdettweiler [2016-03-29 02:32:53] 935*2^1424642-1 is not prime. Res64: C1FAEEB30CFC7B33 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:36:56] 685*2^1424643-1 is not prime. Res64: C2E113541FC23655 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:36:57] 623*2^1424644-1 is not prime. Res64: 5A3D0C158A6D68CD Time : 0.0 sec. user=mdettweiler [2016-03-29 02:36:57] 695*2^1424644-1 is not prime. Res64: BB983EDB551E8F3A Time : 0.0 sec. user=mdettweiler [2016-03-29 02:36:57] 749*2^1424644-1 is not prime. Res64: 4728CCD525435DDC Time : 0.0 sec. user=mdettweiler [2016-03-29 02:36:58] 819*2^1424644-1 is not prime. Res64: AE18D44F0261F376 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:45:32] 855*2^1424644-1 is not prime. Res64: 7202367A34B36D82 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:45:32] 927*2^1424644-1 is not prime. Res64: 81CC7CC8EEC80984 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:45:33] 655*2^1424645-1 is not prime. Res64: 9198B2DFE3824EBB Time : 0.0 sec. user=mdettweiler [2016-03-29 02:45:33] 721*2^1424645-1 is not prime. Res64: C206AA53F4285B55 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:45:34] 757*2^1424645-1 is not prime. Res64: B164488C80AA4F27 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:58:39] 795*2^1424645-1 is not prime. Res64: B84F389972858340 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:58:40] 865*2^1424645-1 is not prime. Res64: C6A94AB62A873D93 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:58:40] 867*2^1424645-1 is not prime. Res64: 6B94ED9B5600FFEA Time : 0.0 sec. user=mdettweiler [2016-03-29 02:58:41] 955*2^1424645-1 is not prime. Res64: AEE816D9CDF0B1A0 Time : 0.0 sec. user=mdettweiler [2016-03-29 02:58:41] 657*2^1424646-1 is not prime. Res64: 5D4C555362453B5D Time : 0.0 sec. user=mdettweiler [2016-03-29 03:17:49] 801*2^1424646-1 is not prime. Res64: 2C4825990D5D2D86 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:17:49] 821*2^1424646-1 is not prime. Res64: A072C5C5474480C3 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:17:49] 833*2^1424646-1 is not prime. Res64: 4166CD40894BDB8B Time : 0.0 sec. user=mdettweiler [2016-03-29 03:17:50] 917*2^1424646-1 is not prime. Res64: 6B24C2EB1F447C9D Time : 0.0 sec. user=mdettweiler [2016-03-29 03:17:50] 945*2^1424646-1 is not prime. Res64: 3C9FE8C505FBFD78 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:21:40] 1001*2^1424646-1 is not prime. Res64: CBC6B8AF3115A0D5 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:21:40] 639*2^1424647-1 is not prime. Res64: 971E516B2B65817F Time : 0.0 sec. user=mdettweiler [2016-03-29 03:21:41] 681*2^1424647-1 is not prime. Res64: 8F151AD10D670778 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:21:41] 729*2^1424647-1 is not prime. Res64: 8722D2B6E3E962ED Time : 0.0 sec. user=mdettweiler [2016-03-29 03:21:41] 741*2^1424647-1 is not prime. Res64: 13E4E625E86BBE42 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:30:20] 793*2^1424647-1 is not prime. Res64: 78AE57513AFAEAA6 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:30:27] 871*2^1424647-1 is not prime. Res64: B4E03EB8B721717E Time : 0.0 sec. user=mdettweiler [2016-03-29 03:30:28] 961*2^1424647-1 is not prime. Res64: A157D038CAD09127 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:30:30] 665*2^1424648-1 is not prime. Res64: 7714D8D77A139AC4 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:30:31] 789*2^1424648-1 is not prime. Res64: DE634DEEEE4CEAA5 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:43:28] 797*2^1424648-1 is not prime. Res64: 3B463554D616C599 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:43:29] 833*2^1424648-1 is not prime. Res64: C85B106930C99D91 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:43:30] 843*2^1424648-1 is not prime. Res64: AE8A7017D5C1D526 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:43:31] 929*2^1424648-1 is not prime. Res64: BCD51B09073AEB93 Time : 0.0 sec. user=mdettweiler [2016-03-29 03:43:32] 957*2^1424648-1 is not prime. Res64: EB97284AD6F0D0DF Time : 0.0 sec. user=mdettweiler [2016-03-29 04:02:37] 995*2^1424648-1 is not prime. Res64: A9D8C575066C9596 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:02:38] 637*2^1424649-1 is not prime. Res64: 45EA176EA144ACBF Time : 0.0 sec. user=mdettweiler [2016-03-29 04:02:39] 691*2^1424649-1 is not prime. Res64: 7ADB0FAACA75DF75 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:02:40] 817*2^1424649-1 is not prime. Res64: 9375FAE89FE04650 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:02:40] 847*2^1424649-1 is not prime. Res64: 2AA6283F9BDD983A Time : 0.0 sec. user=mdettweiler [2016-03-29 04:06:39] 909*2^1424649-1 is not prime. Res64: AA94F641B1C7DD52 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:06:40] 987*2^1424649-1 is not prime. Res64: 047AE9DDB76443D8 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:06:41] 653*2^1424650-1 is not prime. Res64: B6DBE7E9596A5862 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:06:42] 657*2^1424650-1 is not prime. Res64: CA080C59F4478A25 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:06:43] 677*2^1424650-1 is not prime. Res64: 9F7C06A967DDD5C0 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:15:48] 681*2^1424650-1 is not prime. Res64: C8E5F222ED008CF1 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:15:48] 831*2^1424650-1 is not prime. Res64: BD9C0387A4E2FD23 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:15:48] 855*2^1424650-1 is not prime. Res64: 81509BAF2032CED6 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:15:49] 891*2^1424650-1 is not prime. Res64: 3DC3470B36E4D706 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:15:49] 987*2^1424650-1 is not prime. Res64: F564F70BD164B5BF Time : 0.0 sec. user=mdettweiler [2016-03-29 04:28:32] 621*2^1424651-1 is not prime. Res64: D667E09ECE3AF4DF Time : 0.0 sec. user=mdettweiler [2016-03-29 04:28:32] 711*2^1424651-1 is not prime. Res64: E07F9EB246A70075 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:28:33] 753*2^1424651-1 is not prime. Res64: F5EFBF58EB80C420 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:28:33] 945*2^1424651-1 is not prime. Res64: 0F5D54E070675663 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:28:33] 629*2^1424652-1 is not prime. Res64: 1FBFC8AB8B1320B4 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:47:42] 669*2^1424652-1 is not prime. Res64: 96F69D60B120FEA0 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:47:42] 725*2^1424652-1 is not prime. Res64: 066AE4E53AF7A91C Time : 0.0 sec. user=mdettweiler [2016-03-29 04:47:43] 737*2^1424652-1 is not prime. Res64: 6CE43B7A8FDD939D Time : 0.0 sec. user=mdettweiler [2016-03-29 04:47:43] 749*2^1424652-1 is not prime. Res64: 76936014229CC67E Time : 0.0 sec. user=mdettweiler [2016-03-29 04:47:44] 863*2^1424652-1 is not prime. Res64: 1BAE57C1F59E38A2 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:51:55] 899*2^1424652-1 is not prime. Res64: FD9E63F89DB5ECBB Time : 0.0 sec. user=mdettweiler [2016-03-29 04:51:55] 929*2^1424652-1 is not prime. Res64: 0E61174F6A0C4102 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:51:55] 945*2^1424652-1 is not prime. Res64: 421B0276C8D7855E Time : 0.0 sec. user=mdettweiler [2016-03-29 04:51:56] 975*2^1424652-1 is not prime. Res64: ADA7FABC1892DA39 Time : 0.0 sec. user=mdettweiler [2016-03-29 04:51:56] 977*2^1424652-1 is not prime. Res64: 6695E403CD605C6D Time : 0.0 sec. user=mdettweiler [2016-03-29 05:00:56] 987*2^1424652-1 is not prime. Res64: 7714D0BDC2783E83 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:00:57] 609*2^1424653-1 is not prime. Res64: D674B3009B45B31F Time : 0.0 sec. user=mdettweiler [2016-03-29 05:00:57] 621*2^1424653-1 is not prime. Res64: 4B0337D48C1D630E Time : 0.0 sec. user=mdettweiler [2016-03-29 05:00:58] 771*2^1424653-1 is not prime. Res64: 0F79C476FF6BE65A Time : 0.0 sec. user=mdettweiler [2016-03-29 05:00:59] 861*2^1424653-1 is not prime. Res64: FFE26B735F6EA37E Time : 0.0 sec. user=mdettweiler [2016-03-29 05:03:24] 623*2^1424656-1 is not prime. Res64: 054CF0E1438AFE0B Time : 0.0 sec. user=mdettweiler [2016-03-29 05:14:59] 605*2^1424654-1 is not prime. Res64: 4FEC070C9120ED7A Time : 0.0 sec. user=mdettweiler [2016-03-29 05:15:00] 635*2^1424654-1 is not prime. Res64: 726218B55308565E Time : 0.0 sec. user=mdettweiler [2016-03-29 05:15:00] 717*2^1424654-1 is not prime. Res64: 35A52119C947134C Time : 0.0 sec. user=mdettweiler [2016-03-29 05:15:01] 785*2^1424654-1 is not prime. Res64: E5644F55530E4F89 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:15:02] 825*2^1424654-1 is not prime. Res64: DEEA59E2DC5CA931 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:33:24] 885*2^1424654-1 is not prime. Res64: 93FC9620F701F3BF Time : 0.0 sec. user=mdettweiler [2016-03-29 05:33:25] 935*2^1424654-1 is not prime. Res64: 9F6D257C5A6CD0F6 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:33:25] 983*2^1424654-1 is not prime. Res64: 36DDCEA7C2EC8E7F Time : 0.0 sec. user=mdettweiler [2016-03-29 05:33:25] 853*2^1424655-1 is not prime. Res64: D8AF2B062B4D0634 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:33:26] 921*2^1424655-1 is not prime. Res64: 42FE29EDD331D2C3 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:37:53] 933*2^1424655-1 is not prime. Res64: 7D6C584C814710D8 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:37:53] 951*2^1424655-1 is not prime. Res64: 253DA4BAB3E0CBE6 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:37:53] 961*2^1424655-1 is not prime. Res64: 2F93695502BEBD93 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:37:54] 979*2^1424655-1 is not prime. Res64: 9818391BD892E1C5 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:37:54] 609*2^1424656-1 is not prime. Res64: 779BABD4EBD39A44 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:47:47] 639*2^1424656-1 is not prime. Res64: 53D8BAA4683037F0 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:47:47] 803*2^1424656-1 is not prime. Res64: 222BF713746CBB5E Time : 0.0 sec. user=mdettweiler [2016-03-29 05:47:47] 939*2^1424656-1 is not prime. Res64: 687FDC716E49F806 Time : 0.0 sec. user=mdettweiler [2016-03-29 05:47:48] 697*2^1424657-1 is not prime. Res64: 5B32DFE1E4069AAB Time : 0.0 sec. user=mdettweiler [2016-03-29 05:47:48] 771*2^1424657-1 is not prime. Res64: 18452E6E61A2FB17 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:00:09] 777*2^1424657-1 is not prime. Res64: EC32CBBBAC499C1A Time : 0.0 sec. user=mdettweiler [2016-03-29 06:00:10] 915*2^1424657-1 is not prime. Res64: C75706F8FAC0CD2E Time : 0.0 sec. user=mdettweiler [2016-03-29 06:00:11] 641*2^1424658-1 is not prime. Res64: B43C781EC17AB259 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:00:12] 671*2^1424658-1 is not prime. Res64: A3FFA362BCA620DC Time : 0.0 sec. user=mdettweiler [2016-03-29 06:00:12] 875*2^1424658-1 is not prime. Res64: 39CEA9D84FEA8F0A Time : 0.0 sec. user=mdettweiler [2016-03-29 06:18:04] 885*2^1424658-1 is not prime. Res64: C8256ADEE7476BD0 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:18:04] 891*2^1424658-1 is not prime. Res64: 56DF61AB60136675 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:18:05] 921*2^1424658-1 is not prime. Res64: 4FF7AAE68BA2FCEB Time : 0.0 sec. user=mdettweiler [2016-03-29 06:18:05] 615*2^1424659-1 is not prime. Res64: B064E6E38A690445 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:18:06] 675*2^1424659-1 is not prime. Res64: 5DCC15C81DF59C90 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:22:51] 789*2^1424659-1 is not prime. Res64: AB749DBBCEC65E99 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:22:52] 931*2^1424659-1 is not prime. Res64: E5BC4D5FF69E39B5 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:22:52] 939*2^1424659-1 is not prime. Res64: DC889A594AB99AB9 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:22:52] 603*2^1424660-1 is not prime. Res64: 6AFC0D96C71CF338 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:22:53] 689*2^1424660-1 is not prime. Res64: 9C2CECC550C86243 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:32:37] 959*2^1424660-1 is not prime. Res64: E39D44ED5583F50B Time : 0.0 sec. user=mdettweiler [2016-03-29 06:32:37] 963*2^1424660-1 is not prime. Res64: 96D0D3D5F6944550 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:32:37] 615*2^1424661-1 is not prime. Res64: A0B510639D89896E Time : 0.0 sec. user=mdettweiler [2016-03-29 06:32:38] 727*2^1424661-1 is not prime. Res64: EED92B410B5B0675 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:32:38] 751*2^1424661-1 is not prime. Res64: CC4A645C7D29D64D Time : 0.0 sec. user=mdettweiler [2016-03-29 06:45:04] 847*2^1424661-1 is not prime. Res64: 927768E827D16587 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:45:05] 955*2^1424661-1 is not prime. Res64: C9B28C917DB7B922 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:45:05] 997*2^1424661-1 is not prime. Res64: 35C762915419122C Time : 0.0 sec. user=mdettweiler [2016-03-29 06:45:05] 665*2^1424662-1 is not prime. Res64: FE4F3F44F3EC49D3 Time : 0.0 sec. user=mdettweiler [2016-03-29 06:45:06] 765*2^1424662-1 is not prime. Res64: DB4A54A39A5B9D92 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:02:56] 801*2^1424662-1 is not prime. Res64: 0BCD87961E8E8B76 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:02:58] 945*2^1424662-1 is not prime. Res64: 8457BA46A35DF7AD Time : 0.0 sec. user=mdettweiler [2016-03-29 07:02:59] 957*2^1424662-1 is not prime. Res64: E7F2223992EB9E2F Time : 0.0 sec. user=mdettweiler [2016-03-29 07:03:00] 965*2^1424662-1 is not prime. Res64: 309747A9A5DABA88 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:03:01] 983*2^1424662-1 is not prime. Res64: 1D5F1C116F6A2E6A Time : 0.0 sec. user=mdettweiler [2016-03-29 07:07:55] 643*2^1424663-1 is not prime. Res64: 0CE757E78818F6E2 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:07:58] 685*2^1424663-1 is not prime. Res64: 5D216A2042B3346F Time : 0.0 sec. user=mdettweiler [2016-03-29 07:08:01] 703*2^1424663-1 is not prime. Res64: 6A5DD4168DBFE000 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:08:03] 939*2^1424663-1 is not prime. Res64: 17D0350684CEA311 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:08:06] 999*2^1424663-1 is not prime. Res64: 8DE1E7F9A12CA9F5 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:17:23] 657*2^1424664-1 is not prime. Res64: 49DC5A38B2844C05 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:17:23] 689*2^1424664-1 is not prime. Res64: DF6D4677FD5F9546 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:17:23] 935*2^1424664-1 is not prime. Res64: A99CCEFF6D54C3FA Time : 0.0 sec. user=mdettweiler [2016-03-29 07:17:24] 993*2^1424664-1 is not prime. Res64: D8D744D4CA798548 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:17:24] 667*2^1424665-1 is not prime. Res64: 3173C7B35ABCC075 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:29:57] 721*2^1424665-1 is not prime. Res64: DA53511A11155232 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:29:57] 765*2^1424665-1 is not prime. Res64: F3B2576BBE5BDB5B Time : 0.0 sec. user=mdettweiler [2016-03-29 07:29:58] 771*2^1424665-1 is not prime. Res64: 154AC6828B279881 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:29:58] 841*2^1424665-1 is not prime. Res64: 1C37251CE1BF2188 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:29:58] 885*2^1424665-1 is not prime. Res64: CEECF1E9BDE614D7 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:47:51] 955*2^1424665-1 is not prime. Res64: 1E5703A7FBBF1F34 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:47:52] 987*2^1424665-1 is not prime. Res64: A4219ADFB51911FC Time : 0.0 sec. user=mdettweiler [2016-03-29 07:47:52] 623*2^1424666-1 is not prime. Res64: F4082CAEF9CA6C64 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:47:52] 645*2^1424666-1 is not prime. Res64: D0CADF4606A96FFD Time : 0.0 sec. user=mdettweiler [2016-03-29 07:47:53] 707*2^1424666-1 is not prime. Res64: 8266228653C31B19 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:53:21] 801*2^1424666-1 is not prime. Res64: A0B33671129D2447 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:53:21] 831*2^1424666-1 is not prime. Res64: F021C2EADB836556 Time : 0.0 sec. user=mdettweiler [2016-03-29 07:53:21] 861*2^1424666-1 is not prime. Res64: 1C53199786696F1F Time : 0.0 sec. user=mdettweiler [2016-03-29 07:53:22] 621*2^1424667-1 is not prime. Res64: CA0066A0A936B17D Time : 0.0 sec. user=mdettweiler [2016-03-29 07:53:22] 739*2^1424667-1 is not prime. Res64: 231E302AC3F2B1F0 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:02:26] 769*2^1424667-1 is not prime. Res64: 90030D625918AD0A Time : 0.0 sec. user=mdettweiler [2016-03-29 08:02:27] 945*2^1424667-1 is not prime. Res64: 513CBA213791BD5B Time : 0.0 sec. user=mdettweiler [2016-03-29 08:02:28] 605*2^1424668-1 is not prime. Res64: 66F1720C57ACBB7A Time : 0.0 sec. user=mdettweiler [2016-03-29 08:02:28] 629*2^1424668-1 is not prime. Res64: B4A4C1143F17E19F Time : 0.0 sec. user=mdettweiler [2016-03-29 08:02:29] 635*2^1424668-1 is not prime. Res64: A56F153C20CAC17C Time : 0.0 sec. user=mdettweiler [2016-03-29 08:15:05] 677*2^1424668-1 is not prime. Res64: 0AEE233FFAB61FAB Time : 0.0 sec. user=mdettweiler [2016-03-29 08:15:05] 699*2^1424668-1 is not prime. Res64: 6672A79694ACCAFE Time : 0.0 sec. user=mdettweiler [2016-03-29 08:15:05] 927*2^1424668-1 is not prime. Res64: 602DF68B28D1A244 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:15:06] 933*2^1424668-1 is not prime. Res64: 774B0AD202988AD8 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:15:06] 621*2^1424669-1 is not prime. Res64: 9773E0CE3521E4F7 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:32:55] 691*2^1424669-1 is not prime. Res64: 70F4AFA8C8B557ED Time : 0.0 sec. user=mdettweiler [2016-03-29 08:32:56] 721*2^1424669-1 is not prime. Res64: 39D21A508A52D5E4 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:32:56] 861*2^1424669-1 is not prime. Res64: 9A87EE57C7B4F8A5 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:32:56] 939*2^1424669-1 is not prime. Res64: 155A8795FA4FD711 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:32:57] 945*2^1424669-1 is not prime. Res64: A6BFD8E8B7D9E2EF Time : 0.0 sec. user=mdettweiler [2016-03-29 08:38:26] 967*2^1424669-1 is not prime. Res64: A1BFC8D5A36E6057 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:38:26] 647*2^1424670-1 is not prime. Res64: 7222FDA38E92DAF3 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:38:27] 723*2^1424670-1 is not prime. Res64: 12641D7503539CAB Time : 0.0 sec. user=mdettweiler [2016-03-29 08:38:27] 725*2^1424670-1 is not prime. Res64: 01A5402D03BCA2F6 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:38:27] 927*2^1424670-1 is not prime. Res64: E155DC556C3E7216 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:44:43] 717*2^1424672-1 is not prime. Res64: 4DA2A865EA095A4F Time : 0.0 sec. user=mdettweiler [2016-03-29 08:47:31] 829*2^1424671-1 is not prime. Res64: 3806DFAB05859421 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:47:31] 855*2^1424671-1 is not prime. Res64: B5D19E01018B928E Time : 0.0 sec. user=mdettweiler [2016-03-29 08:47:31] 859*2^1424671-1 is not prime. Res64: 8182D3B6D5DE3DC2 Time : 0.0 sec. user=mdettweiler [2016-03-29 08:47:32] 913*2^1424671-1 is not prime. Res64: 9CE403D41A6E70AA Time : 0.0 sec. user=mdettweiler [2016-03-29 08:47:32] 943*2^1424671-1 is not prime. Res64: D4EC33C05984EC29 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:00:03] 961*2^1424671-1 is not prime. Res64: 935BDC8F922A0920 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:00:04] 969*2^1424671-1 is not prime. Res64: D92A2F42E1BF3582 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:00:04] 617*2^1424672-1 is not prime. Res64: C35A0CF35A857704 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:00:05] 623*2^1424672-1 is not prime. Res64: 4E7C9DA133DA9ECF Time : 0.0 sec. user=mdettweiler [2016-03-29 09:00:05] 675*2^1424672-1 is not prime. Res64: F469847EF39FFE89 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:17:48] 855*2^1424672-1 is not prime. Res64: A7FD7F18B7ADDFBD Time : 0.0 sec. user=mdettweiler [2016-03-29 09:17:49] 957*2^1424672-1 is not prime. Res64: AA9F39810BC09FA2 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:17:49] 999*2^1424672-1 is not prime. Res64: 9C69B1F28ED6B4FB Time : 0.0 sec. user=mdettweiler [2016-03-29 09:17:50] 699*2^1424673-1 is not prime. Res64: 24DB8C5B1315E6EA Time : 0.0 sec. user=mdettweiler [2016-03-29 09:17:50] 787*2^1424673-1 is not prime. Res64: 47D1657001958039 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:23:32] 807*2^1424673-1 is not prime. Res64: 5DF3F77538DB5682 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:23:33] 861*2^1424673-1 is not prime. Res64: 84C0B36BDD877504 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:23:33] 919*2^1424673-1 is not prime. Res64: 30752A5857239833 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:23:34] 991*2^1424673-1 is not prime. Res64: FA22A5A0F44CA24A Time : 0.0 sec. user=mdettweiler [2016-03-29 09:23:34] 645*2^1424674-1 is not prime. Res64: F64AA82967F2E61C Time : 0.0 sec. user=mdettweiler [2016-03-29 09:32:37] 675*2^1424674-1 is not prime. Res64: 9C20890F60E385AC Time : 0.0 sec. user=mdettweiler [2016-03-29 09:32:37] 681*2^1424674-1 is not prime. Res64: FF1534FDF54853CB Time : 0.0 sec. user=mdettweiler [2016-03-29 09:32:38] 695*2^1424674-1 is not prime. Res64: FDD42F1DC344C4A1 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:32:38] 737*2^1424674-1 is not prime. Res64: 26C31A7D95896475 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:32:39] 885*2^1424674-1 is not prime. Res64: FFC1783141EE0300 Time : 0.0 sec. user=mdettweiler [2016-03-29 09:45:18] 903*2^1424674-1 is not prime. Res64: E0B4216790829A5A Time : 0.0 sec. user=mdettweiler [2016-03-29 09:45:18] 941*2^1424674-1 is not prime. Res64: BAD17E4EE8E3F7CE Time : 0.0 sec. user=mdettweiler [2016-03-29 09:45:18] 619*2^1424675-1 is not prime. Res64: 7D92B66E820932BC Time : 0.0 sec. user=mdettweiler [2016-03-29 09:45:19] 783*2^1424675-1 is not prime. Res64: 233C4E756B594F8E Time : 0.0 sec. user=mdettweiler [2016-03-29 09:45:19] 943*2^1424675-1 is not prime. Res64: A2F1067001FDFAB0 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:02:33] 963*2^1424675-1 is not prime. Res64: 943D9B80675E006A Time : 0.0 sec. user=mdettweiler [2016-03-29 10:02:34] 979*2^1424675-1 is not prime. Res64: FE77A717A02C811D Time : 0.0 sec. user=mdettweiler [2016-03-29 10:02:35] 999*2^1424675-1 is not prime. Res64: 20ADB3515CE2EF1E Time : 0.0 sec. user=mdettweiler [2016-03-29 10:02:36] 635*2^1424676-1 is not prime. Res64: C23605D46382AAB1 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:02:37] 669*2^1424676-1 is not prime. Res64: 3775D27BD4E96701 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:08:22] 725*2^1424676-1 is not prime. Res64: 36893CF5BDE53011 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:08:22] 779*2^1424676-1 is not prime. Res64: 464679BAEC09A78E Time : 0.0 sec. user=mdettweiler [2016-03-29 10:08:23] 809*2^1424676-1 is not prime. Res64: 78F3C7D43A68E86B Time : 0.0 sec. user=mdettweiler [2016-03-29 10:08:23] 905*2^1424676-1 is not prime. Res64: 2CE49CF5064A1B59 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:08:24] 933*2^1424676-1 is not prime. Res64: A70A4A60B263926A Time : 0.0 sec. user=mdettweiler [2016-03-29 10:17:35] 975*2^1424676-1 is not prime. Res64: AB3F0CF5630DC8D6 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:17:36] 601*2^1424677-1 is not prime. Res64: B48130245594E795 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:17:36] 625*2^1424677-1 is not prime. Res64: D5B819C7AD462BEE Time : 0.0 sec. user=mdettweiler [2016-03-29 10:17:37] 639*2^1424677-1 is not prime. Res64: C3587D50A25C02AC Time : 0.0 sec. user=mdettweiler [2016-03-29 10:17:37] 675*2^1424677-1 is not prime. Res64: CAA43AC2F2022C51 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:30:22] 747*2^1424677-1 is not prime. Res64: F7CACC90BDB0E846 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:30:22] 775*2^1424677-1 is not prime. Res64: C362BCE01DB024AC Time : 0.0 sec. user=mdettweiler [2016-03-29 10:30:22] 831*2^1424677-1 is not prime. Res64: 7EFCD984AFB794C5 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:30:23] 931*2^1424677-1 is not prime. Res64: C0317BB6E0E0B304 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:30:23] 945*2^1424677-1 is not prime. Res64: 4D443553B4433045 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:47:23] 999*2^1424677-1 is not prime. Res64: 299995E6C4A4FC75 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:47:23] 641*2^1424678-1 is not prime. Res64: 1C01FD6804E8E99E Time : 0.0 sec. user=mdettweiler [2016-03-29 10:47:23] 743*2^1424678-1 is not prime. Res64: F28991CE1C7CCA0E Time : 0.0 sec. user=mdettweiler [2016-03-29 10:47:24] 867*2^1424678-1 is not prime. Res64: 635B28F0386F11E7 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:47:24] 887*2^1424678-1 is not prime. Res64: F967CA8AC1D32B98 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:51:07] 997*2^1424677-1 is not prime. Res64: 4D2DBD9EE00995DB Time : 0.0 sec. user=mdettweiler [2016-03-29 10:53:12] 893*2^1424678-1 is not prime. Res64: 26AA3E42337C4BC8 Time : 0.0 sec. user=mdettweiler [2016-03-29 10:53:13] 685*2^1424679-1 is not prime. Res64: 5142DA539056FF4F Time : 0.0 sec. user=mdettweiler [2016-03-29 10:53:13] 721*2^1424679-1 is not prime. Res64: 58F9F4416148861E Time : 0.0 sec. user=mdettweiler [2016-03-29 10:53:13] 859*2^1424679-1 is not prime. Res64: B1032866CB29003F Time : 0.0 sec. user=mdettweiler [2016-03-29 10:53:14] 865*2^1424679-1 is not prime. Res64: D83F187E7C36E118 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:02:31] 909*2^1424679-1 is not prime. Res64: BDBF6A3D2B3A80E5 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:02:32] 933*2^1424679-1 is not prime. Res64: F332E5CC0A01FA2D Time : 0.0 sec. user=mdettweiler [2016-03-29 11:02:33] 979*2^1424679-1 is not prime. Res64: E020A5AECB08C877 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:02:34] 609*2^1424680-1 is not prime. Res64: C8821971B1B46E0B Time : 0.0 sec. user=mdettweiler [2016-03-29 11:02:34] 687*2^1424680-1 is not prime. Res64: 0471B1F560AC4AE6 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:15:17] 843*2^1424680-1 is not prime. Res64: 4AD6EA72BA9BBD48 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:15:18] 873*2^1424680-1 is not prime. Res64: 0FD7980DBD93F66D Time : 0.0 sec. user=mdettweiler [2016-03-29 11:15:18] 965*2^1424680-1 is not prime. Res64: E4A2E7020C66F351 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:15:19] 983*2^1424680-1 is not prime. Res64: 25FD08AF3AD58DCC Time : 0.0 sec. user=mdettweiler [2016-03-29 11:15:19] 675*2^1424681-1 is not prime. Res64: 2440489D0842B838 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:32:10] 741*2^1424681-1 is not prime. Res64: 68BAB854C8FFBDE6 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:32:10] 855*2^1424681-1 is not prime. Res64: 0B07C2859E56CE99 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:32:11] 861*2^1424681-1 is not prime. Res64: 8E98D8166F3B8F97 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:32:11] 871*2^1424681-1 is not prime. Res64: 34D73757E2670F56 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:32:11] 939*2^1424681-1 is not prime. Res64: 3C2FF24B7975070C Time : 0.0 sec. user=mdettweiler [2016-03-29 11:38:17] 621*2^1424682-1 is not prime. Res64: 15A9AF89D9E5AD94 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:38:17] 767*2^1424682-1 is not prime. Res64: 2C158A548A210059 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:38:18] 945*2^1424682-1 is not prime. Res64: A88EB4667CA41122 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:38:18] 983*2^1424682-1 is not prime. Res64: 3B640986713E177B Time : 0.0 sec. user=mdettweiler [2016-03-29 11:38:18] 615*2^1424683-1 is not prime. Res64: D89A87ACBDEA6B70 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:47:42] 801*2^1424683-1 is not prime. Res64: E69C2D550F18CB14 Time : 0.0 sec. user=mdettweiler [2016-03-29 11:47:42] 717*2^1424684-1 is not prime. Res64: F04DD1B6B022D67D Time : 0.0 sec. user=mdettweiler [2016-03-29 11:47:43] 773*2^1424684-1 is not prime. Res64: 9F00204E2E9E0CFB Time : 0.0 sec. user=mdettweiler [2016-03-29 11:47:43] 893*2^1424684-1 is not prime. Res64: E18CD1AF58F5B82E Time : 0.0 sec. user=mdettweiler [2016-03-29 11:47:43] 915*2^1424684-1 is not prime. Res64: 747C77B59CD1CAAE Time : 0.0 sec. user=mdettweiler [2016-03-29 11:48:02] 993*2^1424687-1 is not prime. Res64: BBCFB4239D08DB02 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:00:20] 923*2^1424684-1 is not prime. Res64: 73CDCF09BE5F8FF9 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:00:22] 657*2^1424685-1 is not prime. Res64: FFE2D634D73A6394 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:00:23] 711*2^1424685-1 is not prime. Res64: 529FF72CBD2A4417 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:00:23] 777*2^1424685-1 is not prime. Res64: 300AE322D21864C1 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:00:24] 781*2^1424685-1 is not prime. Res64: 7C99E0B7E66F4D34 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:17:06] 877*2^1424685-1 is not prime. Res64: F9FF5790A5E55A7B Time : 0.0 sec. user=mdettweiler [2016-03-29 12:17:07] 675*2^1424686-1 is not prime. Res64: EE7D74413DF834A2 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:17:07] 743*2^1424686-1 is not prime. Res64: 20B425DF1B3DA090 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:17:07] 801*2^1424686-1 is not prime. Res64: ED3154D8095AF1D8 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:17:08] 857*2^1424686-1 is not prime. Res64: 3012778CB9ADD4C4 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:23:00] 615*2^1424689-1 is not prime. Res64: 0CC48CD34B98BD2F Time : 0.0 sec. user=mdettweiler [2016-03-29 12:23:10] 873*2^1424686-1 is not prime. Res64: 01E6C4A7A0D01649 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:23:10] 887*2^1424686-1 is not prime. Res64: 528AFD933DCDABC0 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:23:11] 923*2^1424686-1 is not prime. Res64: AA2CBD16E6E6C6F3 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:23:11] 619*2^1424687-1 is not prime. Res64: F8EBB055EB148CAF Time : 0.0 sec. user=mdettweiler [2016-03-29 12:23:12] 859*2^1424687-1 is not prime. Res64: 68CD49EE750CEB62 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:32:32] 615*2^1424688-1 is not prime. Res64: 42E80C5BD4C05DC1 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:32:33] 635*2^1424688-1 is not prime. Res64: 846953E902172250 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:32:33] 669*2^1424688-1 is not prime. Res64: EED2755EAA7D42F7 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:32:33] 705*2^1424688-1 is not prime. Res64: A98784A4B9B22951 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:32:34] 747*2^1424688-1 is not prime. Res64: 3BB0240DDBB1CABF Time : 0.0 sec. user=mdettweiler [2016-03-29 12:40:42] 825*2^1424690-1 is not prime. Res64: D10E2CEF04CEB515 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:45:10] 765*2^1424688-1 is not prime. Res64: 039C123D2C6C6A7F Time : 0.0 sec. user=mdettweiler [2016-03-29 12:45:11] 767*2^1424688-1 is not prime. Res64: DB2E358AB26217E6 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:45:11] 849*2^1424688-1 is not prime. Res64: 2723CD5B461626DC Time : 0.0 sec. user=mdettweiler [2016-03-29 12:45:12] 905*2^1424688-1 is not prime. Res64: 6B348816D869AF5C Time : 0.0 sec. user=mdettweiler [2016-03-29 12:45:12] 975*2^1424688-1 is not prime. Res64: 1FC9FD60D03393C4 Time : 0.0 sec. user=mdettweiler [2016-03-29 12:58:12] 913*2^1424691-1 is not prime. Res64: 7212618368EEBE1E Time : 0.0 sec. user=mdettweiler [2016-03-29 13:02:01] 619*2^1424689-1 is not prime. Res64: 0410F85D50AC6E59 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:02:02] 639*2^1424689-1 is not prime. Res64: 1C5C4248E49CBD1E Time : 0.0 sec. user=mdettweiler [2016-03-29 13:02:03] 667*2^1424689-1 is not prime. Res64: 37B483995131806C Time : 0.0 sec. user=mdettweiler [2016-03-29 13:02:04] 705*2^1424689-1 is not prime. Res64: 2FFD0D1C9860D0BB Time : 0.0 sec. user=mdettweiler [2016-03-29 13:02:05] 789*2^1424689-1 is not prime. Res64: CFECA7A8D3F8B8AC Time : 0.0 sec. user=mdettweiler [2016-03-29 13:08:03] 861*2^1424689-1 is not prime. Res64: A16B5FF04F1CEB4B Time : 0.0 sec. user=mdettweiler [2016-03-29 13:08:04] 909*2^1424689-1 is not prime. Res64: BB212324B6CA7956 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:08:04] 925*2^1424689-1 is not prime. Res64: FD2616A041367ED7 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:08:05] 641*2^1424690-1 is not prime. Res64: 2924509670B18167 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:08:05] 675*2^1424690-1 is not prime. Res64: DAFF7B76FB5CC9D9 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:17:22] 827*2^1424690-1 is not prime. Res64: BEBF6F94A3B40FC1 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:17:23] 857*2^1424690-1 is not prime. Res64: 9D515C0266DFC8FB Time : 0.0 sec. user=mdettweiler [2016-03-29 13:17:23] 921*2^1424690-1 is not prime. Res64: D9E57DF4C9C8C8C0 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:17:23] 945*2^1424690-1 is not prime. Res64: 479C70072066AC5D Time : 0.0 sec. user=mdettweiler [2016-03-29 13:17:24] 995*2^1424690-1 is not prime. Res64: A5F62226139E3965 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:30:18] 781*2^1424691-1 is not prime. Res64: 4AB3A8F89B8835F8 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:30:18] 783*2^1424691-1 is not prime. Res64: 962175F70017ADB4 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:30:19] 859*2^1424691-1 is not prime. Res64: 3EF722DD1DFDFDE9 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:30:19] 895*2^1424691-1 is not prime. Res64: BA6F0382933C630B Time : 0.0 sec. user=mdettweiler [2016-03-29 13:30:19] 909*2^1424691-1 is not prime. Res64: B8751305388D06DB Time : 0.0 sec. user=mdettweiler [2016-03-29 13:47:15] 955*2^1424691-1 is not prime. Res64: 0C906EA7E534B1A6 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:47:16] 603*2^1424692-1 is not prime. Res64: FFAE3B925AA28719 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:47:16] 689*2^1424692-1 is not prime. Res64: 0270B630659EC9F5 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:47:17] 749*2^1424692-1 is not prime. Res64: AAA0E9C460DB0769 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:47:17] 759*2^1424692-1 is not prime. Res64: F0BEB60FFD7B382D Time : 0.0 sec. user=mdettweiler [2016-03-29 13:53:01] 855*2^1424692-1 is not prime. Res64: 62EED71241A51996 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:53:01] 987*2^1424692-1 is not prime. Res64: A2BF0C7CD4DDA999 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:53:02] 989*2^1424692-1 is not prime. Res64: D253035B7C5B7A24 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:53:02] 619*2^1424693-1 is not prime. Res64: 208320AB141B9043 Time : 0.0 sec. user=mdettweiler [2016-03-29 13:53:02] 621*2^1424693-1 is not prime. Res64: E3DAE7F22EB16EF5 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:02:21] 627*2^1424693-1 is not prime. Res64: 3CF41D2E680CBA4E Time : 0.0 sec. user=mdettweiler [2016-03-29 14:02:22] 735*2^1424693-1 is not prime. Res64: 73B855F088BD42F7 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:02:23] 939*2^1424693-1 is not prime. Res64: 054832FAADFEA4CD Time : 0.0 sec. user=mdettweiler [2016-03-29 14:02:24] 635*2^1424694-1 is not prime. Res64: EF36BB81F0E020B5 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:02:25] 657*2^1424694-1 is not prime. Res64: 8163C41C6E4602C2 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:15:15] 791*2^1424694-1 is not prime. Res64: EDB0D722F3E0440F Time : 0.0 sec. user=mdettweiler [2016-03-29 14:15:16] 917*2^1424694-1 is not prime. Res64: A3AA3F774E4644C0 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:15:16] 923*2^1424694-1 is not prime. Res64: ECE880D2E1AE2A5D Time : 0.0 sec. user=mdettweiler [2016-03-29 14:15:17] 947*2^1424694-1 is not prime. Res64: 270E730921046114 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:15:17] 975*2^1424694-1 is not prime. Res64: 71E531F381FBE9AF Time : 0.0 sec. user=mdettweiler [2016-03-29 14:32:07] 639*2^1424695-1 is not prime. Res64: 727452DEA8583143 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:32:08] 673*2^1424695-1 is not prime. Res64: 025DEDCCE9E539B4 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:32:08] 679*2^1424695-1 is not prime. Res64: 0E300CDCE3E36034 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:32:09] 705*2^1424695-1 is not prime. Res64: 1E44304045C82A4A Time : 0.0 sec. user=mdettweiler [2016-03-29 14:32:09] 771*2^1424695-1 is not prime. Res64: 1C483B676C0C278D Time : 0.0 sec. user=mdettweiler [2016-03-29 14:37:51] 615*2^1424696-1 is not prime. Res64: 694ECBA1EC1C9598 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:37:52] 635*2^1424696-1 is not prime. Res64: A2E8950BA8FEB800 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:37:52] 725*2^1424696-1 is not prime. Res64: 3346CC9BE0476B46 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:37:52] 839*2^1424696-1 is not prime. Res64: 472534D55AE4E16A Time : 0.0 sec. user=mdettweiler [2016-03-29 14:37:53] 999*2^1424696-1 is not prime. Res64: 1CA0310FD0E84A24 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:47:25] 601*2^1424697-1 is not prime. Res64: 1F9A166AAE2D7286 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:47:25] 627*2^1424697-1 is not prime. Res64: A9688594C0F20727 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:47:25] 717*2^1424697-1 is not prime. Res64: 2EF336CE0C32C7A7 Time : 0.0 sec. user=mdettweiler [2016-03-29 14:47:26] 865*2^1424697-1 is not prime. Res64: 372B3B33898D77FD Time : 0.0 sec. user=mdettweiler [2016-03-29 14:47:26] 871*2^1424697-1 is not prime. Res64: D7E7CE534D46FDAA Time : 0.0 sec. user=mdettweiler [2016-03-29 15:00:20] 889*2^1424697-1 is not prime. Res64: 3EFAE854E75F2178 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:00:22] 621*2^1424698-1 is not prime. Res64: 85B9C6BE398B4525 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:00:23] 681*2^1424698-1 is not prime. Res64: BF3D8CA5D19E3F45 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:00:23] 695*2^1424698-1 is not prime. Res64: FF43EB0579FD8D62 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:00:24] 755*2^1424698-1 is not prime. Res64: 81E2A8FFAC3C0E67 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:01:46] 987*2^1424701-1 is not prime. Res64: 4B4A07DE0CC0BB62 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:17:09] 825*2^1424698-1 is not prime. Res64: 5648276876AAB23B Time : 0.0 sec. user=mdettweiler [2016-03-29 15:17:09] 881*2^1424698-1 is not prime. Res64: 9C73814BE3DFD309 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:17:09] 915*2^1424698-1 is not prime. Res64: FDF012784E458863 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:17:10] 975*2^1424698-1 is not prime. Res64: EAC3C25287D2035D Time : 0.0 sec. user=mdettweiler [2016-03-29 15:17:10] 995*2^1424698-1 is not prime. Res64: 3225E2286B7796C5 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:22:54] 621*2^1424699-1 is not prime. Res64: 789F8D0BF6DCBF51 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:22:54] 663*2^1424699-1 is not prime. Res64: 3C4A62A0487E2CBA Time : 0.0 sec. user=mdettweiler [2016-03-29 15:22:55] 703*2^1424699-1 is not prime. Res64: EA60662E1449180D Time : 0.0 sec. user=mdettweiler [2016-03-29 15:22:55] 759*2^1424699-1 is not prime. Res64: 99BBA8BDBC77FDFC Time : 0.0 sec. user=mdettweiler [2016-03-29 15:22:56] 913*2^1424699-1 is not prime. Res64: 30994D27CCEC6353 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:32:26] 993*2^1424699-1 is not prime. Res64: 65CADD6537319211 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:32:26] 999*2^1424699-1 is not prime. Res64: C73BE7D827BB0084 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:32:26] 795*2^1424700-1 is not prime. Res64: EF5F3639169E4592 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:32:27] 933*2^1424700-1 is not prime. Res64: A73A5CA6C9FC2F61 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:32:27] 771*2^1424701-1 is not prime. Res64: 3C4327303877B6F3 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:45:32] 693*2^1424702-1 is not prime. Res64: 40387AE55833F413 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:45:32] 741*2^1424702-1 is not prime. Res64: 39B0286083DA6D40 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:45:33] 797*2^1424702-1 is not prime. Res64: D270917CB702C0A2 Time : 0.0 sec. user=mdettweiler [2016-03-29 15:45:33] 843*2^1424702-1 is not prime. Res64: E2DEF2FCFBB4CF8F Time : 0.0 sec. user=mdettweiler [2016-03-29 15:45:33] 893*2^1424702-1 is not prime. Res64: 1DF9BBBBFDDBECFC Time : 0.0 sec. user=mdettweiler [2016-03-29 16:01:59] 941*2^1424702-1 is not prime. Res64: 79434726D0C44E97 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:02:00] 693*2^1424703-1 is not prime. Res64: A7A95AC7B4DAF46B Time : 0.0 sec. user=mdettweiler [2016-03-29 16:02:01] 703*2^1424703-1 is not prime. Res64: 929C8687A51A1310 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:02:02] 709*2^1424703-1 is not prime. Res64: EEE2D7936F8913C6 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:02:03] 741*2^1424703-1 is not prime. Res64: 22840E3980C4901E Time : 0.0 sec. user=mdettweiler [2016-03-29 16:07:45] 793*2^1424703-1 is not prime. Res64: DC7AD4D2948B0124 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:07:46] 949*2^1424703-1 is not prime. Res64: ABB9D48C060723D7 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:07:46] 985*2^1424703-1 is not prime. Res64: 1712D29A0FC0F085 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:07:47] 663*2^1424704-1 is not prime. Res64: 347359044DFF5BAE Time : 0.0 sec. user=mdettweiler [2016-03-29 16:07:47] 665*2^1424704-1 is not prime. Res64: 67CAF56DB4E8A75C Time : 0.0 sec. user=mdettweiler [2016-03-29 16:17:30] 675*2^1424704-1 is not prime. Res64: AB98B7325BFFF12B Time : 0.0 sec. user=mdettweiler [2016-03-29 16:17:30] 677*2^1424704-1 is not prime. Res64: 1349B0B72E0DCA1C Time : 0.0 sec. user=mdettweiler [2016-03-29 16:17:31] 717*2^1424704-1 is not prime. Res64: 62E57AB52B881E0D Time : 0.0 sec. user=mdettweiler [2016-03-29 16:17:31] 819*2^1424704-1 is not prime. Res64: CDFD7F88AE0F91E6 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:17:31] 915*2^1424704-1 is not prime. Res64: 1C8B614C2579EF2F Time : 0.0 sec. user=mdettweiler [2016-03-29 16:31:26] 959*2^1424704-1 is not prime. Res64: 307BCBDD0EB378CD Time : 0.0 sec. user=mdettweiler [2016-03-29 16:31:27] 965*2^1424704-1 is not prime. Res64: EDEFC4C1FD3B7B1A Time : 0.0 sec. user=mdettweiler [2016-03-29 16:31:27] 627*2^1424705-1 is not prime. Res64: 4C82A7613F3A0A37 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:31:28] 675*2^1424705-1 is not prime. Res64: 33112A4778741069 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:31:28] 679*2^1424705-1 is not prime. Res64: A883F7CA15D8213E Time : 0.0 sec. user=mdettweiler [2016-03-29 16:48:26] 699*2^1424705-1 is not prime. Res64: 0FC4AD5471918A74 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:48:26] 715*2^1424705-1 is not prime. Res64: F1AED0382E787C3F Time : 0.0 sec. user=mdettweiler [2016-03-29 16:48:26] 841*2^1424705-1 is not prime. Res64: DF30AE0FA7AFB9FE Time : 0.0 sec. user=mdettweiler [2016-03-29 16:48:27] 861*2^1424705-1 is not prime. Res64: 889D1F0ACDF9903C Time : 0.0 sec. user=mdettweiler [2016-03-29 16:48:27] 865*2^1424705-1 is not prime. Res64: 22595CF5C6D3F9F9 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:54:25] 937*2^1424705-1 is not prime. Res64: FABEAD61414C2932 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:54:25] 981*2^1424705-1 is not prime. Res64: 9E97F4DD4E3591C9 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:54:25] 635*2^1424706-1 is not prime. Res64: 239BC1BD2E56343A Time : 0.0 sec. user=mdettweiler [2016-03-29 16:54:26] 723*2^1424706-1 is not prime. Res64: C6BAF34D6E5108A2 Time : 0.0 sec. user=mdettweiler [2016-03-29 16:54:26] 735*2^1424706-1 is not prime. Res64: 76DC010E3DB83821 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:05:38] 843*2^1424706-1 is not prime. Res64: 3C6988A641C97866 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:05:40] 861*2^1424706-1 is not prime. Res64: BF8D1C70EED0BA51 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:05:41] 971*2^1424706-1 is not prime. Res64: 23EA08337EC4FFB6 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:05:42] 631*2^1424707-1 is not prime. Res64: CCF25178870271D0 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:05:43] 633*2^1424707-1 is not prime. Res64: BC37BF409F8E636E Time : 0.0 sec. user=mdettweiler [2016-03-29 17:19:19] 639*2^1424707-1 is not prime. Res64: 41B3834942FF2E12 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:19:19] 693*2^1424707-1 is not prime. Res64: 4E0049D7AC03E9EB Time : 0.0 sec. user=mdettweiler [2016-03-29 17:19:20] 751*2^1424707-1 is not prime. Res64: 27C815530A01E14F Time : 0.0 sec. user=mdettweiler [2016-03-29 17:19:20] 859*2^1424707-1 is not prime. Res64: C53AC845038D313F Time : 0.0 sec. user=mdettweiler [2016-03-29 17:19:21] 979*2^1424707-1 is not prime. Res64: 1E91BFF24A11D17E Time : 0.0 sec. user=mdettweiler [2016-03-29 17:36:21] 647*2^1424708-1 is not prime. Res64: C5DB7980DB0AF4D3 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:36:22] 773*2^1424708-1 is not prime. Res64: 10F49D6720FFBD13 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:36:22] 897*2^1424708-1 is not prime. Res64: 432BB5EEF469DCAB Time : 0.0 sec. user=mdettweiler [2016-03-29 17:36:22] 977*2^1424708-1 is not prime. Res64: D486D9A8C2B406D8 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:36:22] 987*2^1424708-1 is not prime. Res64: 7852C55667C6BFEA Time : 0.0 sec. user=mdettweiler [2016-03-29 17:39:28] 957*2^1424710-1 is not prime. Res64: C94AB55308F68EA4 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:42:25] 675*2^1424709-1 is not prime. Res64: 0999A683156BA08E Time : 0.0 sec. user=mdettweiler [2016-03-29 17:42:26] 711*2^1424709-1 is not prime. Res64: 6EAE41EFDA6C7FEC Time : 0.0 sec. user=mdettweiler [2016-03-29 17:42:26] 745*2^1424709-1 is not prime. Res64: 36329E6437425F96 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:42:26] 747*2^1424709-1 is not prime. Res64: 1C3366CCDEB108C0 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:42:26] 769*2^1424709-1 is not prime. Res64: 4B72B986D27E42EE Time : 0.0 sec. user=mdettweiler [2016-03-29 17:52:52] 787*2^1424709-1 is not prime. Res64: 90D3936C2BA281DA Time : 0.0 sec. user=mdettweiler [2016-03-29 17:52:52] 847*2^1424709-1 is not prime. Res64: EA993055A815E8C1 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:52:53] 945*2^1424709-1 is not prime. Res64: 89B209E6BB16484F Time : 0.0 sec. user=mdettweiler [2016-03-29 17:52:53] 951*2^1424709-1 is not prime. Res64: 16137BC0AF5CADE9 Time : 0.0 sec. user=mdettweiler [2016-03-29 17:52:53] 997*2^1424709-1 is not prime. Res64: 91C36B2874B30675 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:05:46] 611*2^1424710-1 is not prime. Res64: 31F62A27AFBFDA9E Time : 0.0 sec. user=mdettweiler [2016-03-29 18:05:47] 623*2^1424710-1 is not prime. Res64: AD7DEE654D514340 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:05:48] 773*2^1424710-1 is not prime. Res64: 3AA4A15F500A1816 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:05:49] 857*2^1424710-1 is not prime. Res64: 573B6D2B866A63C1 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:05:50] 911*2^1424710-1 is not prime. Res64: 923348F4EADE7EBF Time : 0.0 sec. user=mdettweiler [2016-03-29 18:21:59] 693*2^1424711-1 is not prime. Res64: EFF8AAACCB1C3DD9 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:22:00] 705*2^1424711-1 is not prime. Res64: 9CEDED1E7B1F9159 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:22:00] 789*2^1424711-1 is not prime. Res64: FCB01BF444213649 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:22:00] 859*2^1424711-1 is not prime. Res64: C33D5700DF394A00 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:22:01] 879*2^1424711-1 is not prime. Res64: 437C704C826F70E6 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:27:56] 993*2^1424711-1 is not prime. Res64: 65F973C1605C489D Time : 0.0 sec. user=mdettweiler [2016-03-29 18:27:56] 765*2^1424712-1 is not prime. Res64: 7381F45D43199B52 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:27:57] 803*2^1424712-1 is not prime. Res64: 467C71DA0A1E6308 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:27:57] 863*2^1424712-1 is not prime. Res64: 1073D52B0E77E05E Time : 0.0 sec. user=mdettweiler [2016-03-29 18:27:57] 873*2^1424712-1 is not prime. Res64: 2FF9D45B1F74CBF1 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:37:43] 983*2^1424712-1 is not prime. Res64: 36DEE886A731BF6B Time : 0.0 sec. user=mdettweiler [2016-03-29 18:37:43] 615*2^1424713-1 is not prime. Res64: CDCC2DDBA9A66557 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:37:44] 675*2^1424713-1 is not prime. Res64: B7462E6B5A4D9DD5 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:37:44] 775*2^1424713-1 is not prime. Res64: 0E3086BBC4DDDAA9 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:37:44] 789*2^1424713-1 is not prime. Res64: B756EDD857C8F82F Time : 0.0 sec. user=mdettweiler [2016-03-29 18:49:49] 655*2^1424717-1 is not prime. Res64: 769CF8EFDFF55910 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:51:02] 885*2^1424713-1 is not prime. Res64: CD40D81C2AC22E02 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:51:02] 999*2^1424713-1 is not prime. Res64: BB6B4526A6DFB73C Time : 0.0 sec. user=mdettweiler [2016-03-29 18:51:03] 755*2^1424714-1 is not prime. Res64: 04D894BE6A16C8A4 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:51:03] 773*2^1424714-1 is not prime. Res64: BAF4ED57A2840C96 Time : 0.0 sec. user=mdettweiler [2016-03-29 18:51:04] 783*2^1424714-1 is not prime. Res64: 17F522052837C37B Time : 0.0 sec. user=mdettweiler [2016-03-29 19:06:55] 797*2^1424714-1 is not prime. Res64: E231AB012188B931 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:06:55] 953*2^1424714-1 is not prime. Res64: ABFCD8FFE236666E Time : 0.0 sec. user=mdettweiler [2016-03-29 19:06:56] 651*2^1424715-1 is not prime. Res64: 93B088F8F20624F4 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:06:56] 679*2^1424715-1 is not prime. Res64: 7CDDFFAE4847DC22 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:06:56] 705*2^1424715-1 is not prime. Res64: 0A4BFD69E5362298 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:13:09] 723*2^1424715-1 is not prime. Res64: 177ED3B4879B6953 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:13:09] 783*2^1424715-1 is not prime. Res64: 40C37D2FC08F3708 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:13:09] 789*2^1424715-1 is not prime. Res64: F7E36994C34BFB2F Time : 0.0 sec. user=mdettweiler [2016-03-29 19:13:10] 871*2^1424715-1 is not prime. Res64: A7ED4DB778408C10 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:13:10] 615*2^1424716-1 is not prime. Res64: 8C3AC88FE87382B4 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:22:49] 695*2^1424716-1 is not prime. Res64: 35C58FD470BF4DBF Time : 0.0 sec. user=mdettweiler [2016-03-29 19:22:50] 719*2^1424716-1 is not prime. Res64: B0B209845A7E014A Time : 0.0 sec. user=mdettweiler [2016-03-29 19:22:50] 803*2^1424716-1 is not prime. Res64: 4F9BACD11E6AFCE8 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:22:51] 975*2^1424716-1 is not prime. Res64: C2800A494483FFBA Time : 0.0 sec. user=mdettweiler [2016-03-29 19:22:51] 993*2^1424716-1 is not prime. Res64: F0EA6F13BAD8B3A0 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:36:16] 669*2^1424717-1 is not prime. Res64: 7F9CDA85A88DA8A6 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:36:16] 771*2^1424717-1 is not prime. Res64: BC5A692A9031D433 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:36:17] 837*2^1424717-1 is not prime. Res64: 7EF2E05E6FD728BD Time : 0.0 sec. user=mdettweiler [2016-03-29 19:36:17] 847*2^1424717-1 is not prime. Res64: AC54D828926BBD7B Time : 0.0 sec. user=mdettweiler [2016-03-29 19:36:17] 937*2^1424717-1 is not prime. Res64: DC5CA5B3ED6BC5BF Time : 0.0 sec. user=mdettweiler [2016-03-29 19:51:46] 621*2^1424718-1 is not prime. Res64: 1B8C8BB92C5446BB Time : 0.0 sec. user=mdettweiler [2016-03-29 19:51:47] 707*2^1424718-1 is not prime. Res64: 46DAD99A78A8457C Time : 0.0 sec. user=mdettweiler [2016-03-29 19:51:47] 725*2^1424718-1 is not prime. Res64: 0251D719B8988039 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:51:48] 777*2^1424718-1 is not prime. Res64: E81D41EC6219A7BB Time : 0.0 sec. user=mdettweiler [2016-03-29 19:51:48] 843*2^1424718-1 is not prime. Res64: 31C85A652650C81B Time : 0.0 sec. user=mdettweiler [2016-03-29 19:58:11] 927*2^1424718-1 is not prime. Res64: 6E9CF4AB7551D0AB Time : 0.0 sec. user=mdettweiler [2016-03-29 19:58:12] 1001*2^1424718-1 is not prime. Res64: 74859219CB4E231C Time : 0.0 sec. user=mdettweiler [2016-03-29 19:58:12] 843*2^1424719-1 is not prime. Res64: B2374FB5B020CF89 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:58:13] 859*2^1424719-1 is not prime. Res64: C7E64D35C62EF3B2 Time : 0.0 sec. user=mdettweiler [2016-03-29 19:58:13] 975*2^1424719-1 is not prime. Res64: 4BAB694BE919C2E1 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:07:50] 789*2^1424720-1 is not prime. Res64: E47F93968730F77E Time : 0.0 sec. user=mdettweiler [2016-03-29 20:07:55] 843*2^1424720-1 is not prime. Res64: 371CC20372B23895 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:08:00] 909*2^1424720-1 is not prime. Res64: 0AC2E9625A172004 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:08:04] 963*2^1424720-1 is not prime. Res64: CAC15916A3DDED39 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:08:07] 625*2^1424721-1 is not prime. Res64: D54D0FD5117CF6BF Time : 0.0 sec. user=mdettweiler [2016-03-29 20:21:08] 637*2^1424721-1 is not prime. Res64: 43C1CD62BE7D9E84 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:21:09] 865*2^1424721-1 is not prime. Res64: 1D4FF53475D1CABC Time : 0.0 sec. user=mdettweiler [2016-03-29 20:21:09] 987*2^1424721-1 is not prime. Res64: CEA840B65AF89187 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:21:09] 617*2^1424722-1 is not prime. Res64: DD0BAC1C76CF8927 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:21:10] 723*2^1424722-1 is not prime. Res64: 30375308DFE62F43 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:37:02] 873*2^1424722-1 is not prime. Res64: DBB2C53A6E3DCFC0 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:37:03] 947*2^1424722-1 is not prime. Res64: 3B7FD4DE12B76348 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:37:04] 987*2^1424722-1 is not prime. Res64: 7EF9EDAB5BA68280 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:37:05] 621*2^1424723-1 is not prime. Res64: EF0EB3E174BE08F8 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:37:06] 643*2^1424723-1 is not prime. Res64: 902CAF2377DE5C81 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:43:10] 783*2^1424723-1 is not prime. Res64: F1185C7F8F02F3EA Time : 0.0 sec. user=mdettweiler [2016-03-29 20:43:10] 825*2^1424723-1 is not prime. Res64: 7DAEDB949379BEDE Time : 0.0 sec. user=mdettweiler [2016-03-29 20:43:10] 609*2^1424724-1 is not prime. Res64: 4F8A2C738D443AAC Time : 0.0 sec. user=mdettweiler [2016-03-29 20:43:11] 629*2^1424724-1 is not prime. Res64: 9DFB45EBF3D58658 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:43:11] 765*2^1424724-1 is not prime. Res64: 76B21973EDA83C0D Time : 0.0 sec. user=mdettweiler [2016-03-29 20:53:34] 783*2^1424724-1 is not prime. Res64: EEFFF1FACDA84B9B Time : 0.0 sec. user=mdettweiler [2016-03-29 20:53:35] 959*2^1424724-1 is not prime. Res64: D94D31D4E6491121 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:53:35] 983*2^1424724-1 is not prime. Res64: B3AB78BBAB817072 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:53:36] 729*2^1424725-1 is not prime. Res64: 7635E42CA477FDD3 Time : 0.0 sec. user=mdettweiler [2016-03-29 20:53:36] 765*2^1424725-1 is not prime. Res64: DC9E4F6D7453F40E Time : 0.0 sec. user=mdettweiler [2016-03-29 21:05:49] 819*2^1424725-1 is not prime. Res64: 04C9D32E3E9CB53F Time : 0.0 sec. user=mdettweiler [2016-03-29 21:05:51] 711*2^1424726-1 is not prime. Res64: 8F895C0B66119F25 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:05:52] 873*2^1424726-1 is not prime. Res64: 14E192495DD69E38 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:05:53] 917*2^1424726-1 is not prime. Res64: EB83B1F3D28FDA15 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:05:55] 945*2^1424726-1 is not prime. Res64: 0019B3E830738C10 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:21:43] 741*2^1424727-1 is not prime. Res64: BE0405A5B46D24A2 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:21:44] 829*2^1424727-1 is not prime. Res64: 77EB0FBAB863E064 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:21:44] 955*2^1424727-1 is not prime. Res64: 08D3AB4B05612078 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:21:45] 979*2^1424727-1 is not prime. Res64: 406BDF0230C90A15 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:21:45] 985*2^1424727-1 is not prime. Res64: 12574FFCED16453E Time : 0.0 sec. user=mdettweiler [2016-03-29 21:27:58] 989*2^1424728-1 is not prime. Res64: 7B142EE13E6E91F7 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:27:58] 631*2^1424729-1 is not prime. Res64: 298DCBFA968CF468 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:27:59] 697*2^1424729-1 is not prime. Res64: 89944128044C0562 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:27:59] 775*2^1424729-1 is not prime. Res64: 4A6DB08B6037040E Time : 0.0 sec. user=mdettweiler [2016-03-29 21:28:00] 795*2^1424729-1 is not prime. Res64: A0B1F4D70B40B1B7 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:38:42] 861*2^1424729-1 is not prime. Res64: ED0426E2DF1C331E Time : 0.0 sec. user=mdettweiler [2016-03-29 21:38:43] 925*2^1424729-1 is not prime. Res64: F263603F9D0386F8 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:38:43] 647*2^1424730-1 is not prime. Res64: 4C5789F78AFEBE7E Time : 0.0 sec. user=mdettweiler [2016-03-29 21:38:44] 741*2^1424730-1 is not prime. Res64: 58294F640B5B4412 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:38:44] 791*2^1424730-1 is not prime. Res64: 384718F3994D6770 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:45:56] 829*2^1424733-1 is not prime. Res64: 2ACF2800C883DA6D Time : 0.0 sec. user=mdettweiler [2016-03-29 21:51:14] 851*2^1424730-1 is not prime. Res64: 77032C50A7C99BFD Time : 0.0 sec. user=mdettweiler [2016-03-29 21:51:15] 905*2^1424730-1 is not prime. Res64: 20307D13175A58D1 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:51:15] 927*2^1424730-1 is not prime. Res64: A6060183BAC63622 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:51:16] 603*2^1424731-1 is not prime. Res64: B496AB840A058EF9 Time : 0.0 sec. user=mdettweiler [2016-03-29 21:51:16] 709*2^1424731-1 is not prime. Res64: 188253AF264D3176 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:06:32] 769*2^1424731-1 is not prime. Res64: 62FB58A424DD686D Time : 0.0 sec. user=mdettweiler [2016-03-29 22:06:33] 789*2^1424731-1 is not prime. Res64: AA5C8AEE5B0B400C Time : 0.0 sec. user=mdettweiler [2016-03-29 22:06:34] 975*2^1424731-1 is not prime. Res64: 2482F5C4C6C38DBD Time : 0.0 sec. user=mdettweiler [2016-03-29 22:06:35] 669*2^1424732-1 is not prime. Res64: FCA9041B1929013F Time : 0.0 sec. user=mdettweiler [2016-03-29 22:06:35] 825*2^1424732-1 is not prime. Res64: AF5286B588FACD37 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:13:11] 873*2^1424732-1 is not prime. Res64: 7801DD50D0BBB316 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:13:11] 899*2^1424732-1 is not prime. Res64: 791E11B24D241A55 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:13:12] 649*2^1424733-1 is not prime. Res64: F99E852CE3F20E56 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:13:12] 657*2^1424733-1 is not prime. Res64: 1096650282CD7DBD Time : 0.0 sec. user=mdettweiler [2016-03-29 22:13:12] 769*2^1424733-1 is not prime. Res64: 335A40AF9276DE02 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:23:49] 835*2^1424733-1 is not prime. Res64: 9038CD18E3674AEE Time : 0.0 sec. user=mdettweiler [2016-03-29 22:23:50] 999*2^1424733-1 is not prime. Res64: D0DEEFF94B9A3442 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:23:50] 611*2^1424734-1 is not prime. Res64: D67E739345296798 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:23:51] 621*2^1424734-1 is not prime. Res64: 410C1E0A003548CC Time : 0.0 sec. user=mdettweiler [2016-03-29 22:23:51] 741*2^1424734-1 is not prime. Res64: AE039D69BA1BE8E0 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:36:14] 885*2^1424734-1 is not prime. Res64: 179AF654CA08D7E0 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:36:14] 981*2^1424734-1 is not prime. Res64: C416AD83F0212FB3 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:36:15] 987*2^1424734-1 is not prime. Res64: 6C902E66231983A8 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:36:15] 645*2^1424735-1 is not prime. Res64: 9CDE7D8EE6F2B487 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:36:16] 649*2^1424735-1 is not prime. Res64: 392BC1CFD9F8221E Time : 0.0 sec. user=mdettweiler [2016-03-29 22:51:23] 855*2^1424735-1 is not prime. Res64: 99C1FEDB2DA9D946 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:51:23] 883*2^1424735-1 is not prime. Res64: C96567EC60CBE579 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:51:24] 909*2^1424735-1 is not prime. Res64: FA7C050D2E0BFBD0 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:51:24] 981*2^1424735-1 is not prime. Res64: 3DB4E28DDE150DBD Time : 0.0 sec. user=mdettweiler [2016-03-29 22:51:24] 985*2^1424735-1 is not prime. Res64: AD17C6FC657CA64A Time : 0.0 sec. user=mdettweiler [2016-03-29 22:58:09] 629*2^1424736-1 is not prime. Res64: 63A84C7592540D6B Time : 0.0 sec. user=mdettweiler [2016-03-29 22:58:09] 767*2^1424736-1 is not prime. Res64: ECB1FA4E020119BE Time : 0.0 sec. user=mdettweiler [2016-03-29 22:58:09] 803*2^1424736-1 is not prime. Res64: C3E9E8F1816E9A96 Time : 0.0 sec. user=mdettweiler [2016-03-29 22:58:10] 809*2^1424736-1 is not prime. Res64: CC95C1043FEF13AA Time : 0.0 sec. user=mdettweiler [2016-03-29 22:58:10] 741*2^1424737-1 is not prime. Res64: 6CEB056AD2ED644D Time : 0.0 sec. user=mdettweiler [2016-03-29 23:08:52] 807*2^1424737-1 is not prime. Res64: 0C369EA44E543BC7 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:08:52] 939*2^1424737-1 is not prime. Res64: 8A77FE65C733F56E Time : 0.0 sec. user=mdettweiler [2016-03-29 23:08:53] 985*2^1424737-1 is not prime. Res64: DB6A6874BCB28E49 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:08:53] 713*2^1424738-1 is not prime. Res64: 667EBA624BC14F23 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:08:54] 773*2^1424738-1 is not prime. Res64: 48CC0D13A8BC6EB4 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:21:18] 831*2^1424738-1 is not prime. Res64: 960AB6C0AA5D264B Time : 0.0 sec. user=mdettweiler [2016-03-29 23:21:18] 857*2^1424738-1 is not prime. Res64: E69E90B3941442C2 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:21:18] 875*2^1424738-1 is not prime. Res64: E2DE69FE40632104 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:21:19] 885*2^1424738-1 is not prime. Res64: 96C681CED58C6D60 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:21:19] 935*2^1424738-1 is not prime. Res64: 34E5792233A7F99F Time : 0.0 sec. user=mdettweiler [2016-03-29 23:31:47] 999*2^1424743-1 is not prime. Res64: 40805254E44605A0 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:36:11] 633*2^1424739-1 is not prime. Res64: 7A3143BDFE9F3A18 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:36:12] 789*2^1424739-1 is not prime. Res64: 8071AA85F4304527 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:36:12] 949*2^1424739-1 is not prime. Res64: EE714B3515E50771 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:36:13] 845*2^1424740-1 is not prime. Res64: 92765D327ADF6A0F Time : 0.0 sec. user=mdettweiler [2016-03-29 23:36:13] 905*2^1424740-1 is not prime. Res64: 22CC5A7F671BC52E Time : 0.0 sec. user=mdettweiler [2016-03-29 23:43:02] 923*2^1424740-1 is not prime. Res64: 2105166A75CE5C58 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:43:02] 601*2^1424741-1 is not prime. Res64: 3CF2E1F2900DE16B Time : 0.0 sec. user=mdettweiler [2016-03-29 23:43:03] 757*2^1424741-1 is not prime. Res64: B5B5A404E9DDD791 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:43:03] 837*2^1424741-1 is not prime. Res64: 2C1465D05C14AB7C Time : 0.0 sec. user=mdettweiler [2016-03-29 23:43:04] 741*2^1424742-1 is not prime. Res64: DDC87344D12601DF Time : 0.0 sec. user=mdettweiler [2016-03-29 23:53:51] 755*2^1424742-1 is not prime. Res64: 17D128228E6DBA23 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:53:52] 797*2^1424742-1 is not prime. Res64: DC5DB5BB130162BF Time : 0.0 sec. user=mdettweiler [2016-03-29 23:53:52] 843*2^1424742-1 is not prime. Res64: 7E7EAFA8CD7876B8 Time : 0.0 sec. user=mdettweiler [2016-03-29 23:53:52] 863*2^1424742-1 is not prime. Res64: 01E22E431C3022AD Time : 0.0 sec. user=mdettweiler [2016-03-29 23:53:53] 917*2^1424742-1 is not prime. Res64: 57235D25A3D6FF1D Time : 0.0 sec.