user=mdettweiler [2016-06-12 00:15:16] 987*2^1432121-1 is not prime. Res64: 870289DC14F6F988 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:15:16] 621*2^1432122-1 is not prime. Res64: 0B40B0F3A5F30FE2 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:15:17] 731*2^1432122-1 is not prime. Res64: 161487DD973E6213 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:15:17] 735*2^1432122-1 is not prime. Res64: 435F38F353A2B75B Time : 0.0 sec. user=mdettweiler [2016-06-12 00:15:17] 843*2^1432122-1 is not prime. Res64: 8280EAA1CB54D8F9 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:33:15] 887*2^1432122-1 is not prime. Res64: 59DF81908814E499 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:33:15] 615*2^1432123-1 is not prime. Res64: 6228AD03268D839A Time : 0.0 sec. user=mdettweiler [2016-06-12 00:33:16] 621*2^1432123-1 is not prime. Res64: B2FB21763C60523F Time : 0.0 sec. user=mdettweiler [2016-06-12 00:33:16] 679*2^1432123-1 is not prime. Res64: 68E4A3408B63331E Time : 0.0 sec. user=mdettweiler [2016-06-12 00:33:16] 735*2^1432123-1 is not prime. Res64: F4FD3DC1357AE6F5 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:34:02] 751*2^1432123-1 is not prime. Res64: 3ECACE17A9CEA117 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:34:03] 855*2^1432123-1 is not prime. Res64: 9D7FB3AB4D3F962D Time : 0.0 sec. user=mdettweiler [2016-06-12 00:34:03] 925*2^1432123-1 is not prime. Res64: 3387B2C1A471E371 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:34:04] 973*2^1432123-1 is not prime. Res64: 7E3210F9B87832F2 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:34:04] 993*2^1432123-1 is not prime. Res64: 506D8B41A1FA84F3 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:40:17] 999*2^1432123-1 is not prime. Res64: 7E0268B56F87DB6C Time : 0.0 sec. user=mdettweiler [2016-06-12 00:40:18] 629*2^1432124-1 is not prime. Res64: 80CC237A3FF5541D Time : 0.0 sec. user=mdettweiler [2016-06-12 00:40:18] 897*2^1432124-1 is not prime. Res64: 9030C43117C7E7E4 Time : 0.0 sec. user=mdettweiler [2016-06-12 00:40:18] 927*2^1432124-1 is not prime. Res64: A4FE10742AC4883E Time : 0.0 sec. user=mdettweiler [2016-06-12 00:40:19] 993*2^1432124-1 is not prime. Res64: 2DA99FDCBCDACB27 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:00:07] 651*2^1432125-1 is not prime. Res64: 9565957155616EC4 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:00:07] 961*2^1432125-1 is not prime. Res64: 810F0C5215F8BBE4 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:00:07] 675*2^1432126-1 is not prime. Res64: ADA972FC03215FDD Time : 0.0 sec. user=mdettweiler [2016-06-12 01:00:08] 975*2^1432126-1 is not prime. Res64: FEBCDF040454B825 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:00:08] 819*2^1432127-1 is not prime. Res64: 1353EEE08AB52076 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:13] 993*2^1432127-1 is not prime. Res64: 4EA79C176DA098FD Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:13] 629*2^1432128-1 is not prime. Res64: 71099885AF84CB4B Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:14] 737*2^1432128-1 is not prime. Res64: 5243E5108429C672 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:14] 929*2^1432128-1 is not prime. Res64: 6001E5C2F4724571 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:14] 959*2^1432128-1 is not prime. Res64: 0E70EEEA9C00C62F Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:59] 977*2^1432128-1 is not prime. Res64: EE9FDC013F938AB9 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:59] 685*2^1432129-1 is not prime. Res64: DA160EF4D2F4B167 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:18:59] 691*2^1432129-1 is not prime. Res64: CC9661CB0F4740C4 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:19:00] 817*2^1432129-1 is not prime. Res64: 5B3ACB42ACFB0B96 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:19:00] 877*2^1432129-1 is not prime. Res64: 026C957457A88CF0 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:25:14] 987*2^1432129-1 is not prime. Res64: CCE94D259A46F707 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:25:15] 997*2^1432129-1 is not prime. Res64: 17B787544233D180 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:25:16] 623*2^1432130-1 is not prime. Res64: B9F6134DB1BE7038 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:25:16] 627*2^1432130-1 is not prime. Res64: D9877788B248B171 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:25:17] 633*2^1432130-1 is not prime. Res64: 9D5E12219B9E5C88 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:45:10] 657*2^1432130-1 is not prime. Res64: F1D4C767EE213F10 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:45:10] 797*2^1432130-1 is not prime. Res64: 98220E136E2C8BD7 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:45:11] 911*2^1432130-1 is not prime. Res64: FA56FCCE20F96051 Time : 0.0 sec. user=mdettweiler [2016-06-12 01:45:11] 977*2^1432130-1 is not prime. Res64: 80703745CB0A3BCC Time : 0.0 sec. user=mdettweiler [2016-06-12 01:45:12] 1001*2^1432130-1 is not prime. Res64: 6431295B8B4483A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:40] 775*2^1432131-1 is not prime. Res64: C0272842E3D16636 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:41] 801*2^1432131-1 is not prime. Res64: 1A6019DCDC1001C3 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:42] 849*2^1432131-1 is not prime. Res64: CBFCD8CF5A26B05A Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:43] 975*2^1432131-1 is not prime. Res64: 37039E620B1E7009 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:44] 617*2^1432132-1 is not prime. Res64: C934B618B918AFF6 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:54] 635*2^1432132-1 is not prime. Res64: 79583681F7FDF3B3 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:56] 705*2^1432132-1 is not prime. Res64: 64E12C8798528473 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:58] 929*2^1432132-1 is not prime. Res64: B45239064CEF3990 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:03:59] 965*2^1432132-1 is not prime. Res64: 0697A1D2A85C40A2 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:04:00] 721*2^1432133-1 is not prime. Res64: 18460648DD1F6CC9 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:10:21] 795*2^1432133-1 is not prime. Res64: A700378C99B43954 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:10:22] 855*2^1432133-1 is not prime. Res64: CE5D7442E893C0F2 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:10:22] 901*2^1432133-1 is not prime. Res64: A145E043E68ADAEE Time : 0.0 sec. user=mdettweiler [2016-06-12 02:10:23] 925*2^1432133-1 is not prime. Res64: 7FDB7368E2A773CC Time : 0.0 sec. user=mdettweiler [2016-06-12 02:10:23] 605*2^1432134-1 is not prime. Res64: 4CE2150DF5BA1541 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:30:26] 627*2^1432134-1 is not prime. Res64: 7BDDF460B1B2785E Time : 0.0 sec. user=mdettweiler [2016-06-12 02:30:27] 641*2^1432134-1 is not prime. Res64: C277AC0996D2BA15 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:30:29] 663*2^1432134-1 is not prime. Res64: 2A6F365CFE9F1017 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:30:31] 677*2^1432134-1 is not prime. Res64: 9A6DFBD13DF7C152 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:30:33] 681*2^1432134-1 is not prime. Res64: C86593F8A5CFF1DC Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:12] 601*2^1432135-1 is not prime. Res64: 888BB5529A2F5357 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:12] 661*2^1432135-1 is not prime. Res64: E56A5D1181543EBB Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:13] 765*2^1432134-1 is not prime. Res64: FC414EC1476BDF53 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:13] 793*2^1432135-1 is not prime. Res64: A5C2E7491C49F543 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:13] 791*2^1432134-1 is not prime. Res64: 22BCA094BAF405D9 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:13] 853*2^1432135-1 is not prime. Res64: FB234003E0C21AE8 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:14] 851*2^1432134-1 is not prime. Res64: B1878F8D727BA45D Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:14] 883*2^1432135-1 is not prime. Res64: 678CB6A20869009E Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:14] 863*2^1432134-1 is not prime. Res64: B075A1593648E6E2 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:49:14] 945*2^1432134-1 is not prime. Res64: 08900A75AB840B8F Time : 0.0 sec. user=mdettweiler [2016-06-12 02:55:38] 895*2^1432135-1 is not prime. Res64: 79290D2AD179B071 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:55:38] 933*2^1432135-1 is not prime. Res64: 574AEF308FAF2865 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:55:39] 683*2^1432136-1 is not prime. Res64: 3D31717027B8DBEA Time : 0.0 sec. user=mdettweiler [2016-06-12 02:55:39] 743*2^1432136-1 is not prime. Res64: 651578ED071CFB98 Time : 0.0 sec. user=mdettweiler [2016-06-12 02:55:39] 833*2^1432136-1 is not prime. Res64: 594A8E99B8E75BC9 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:16:33] 843*2^1432136-1 is not prime. Res64: 3FD458443A59CE1E Time : 0.0 sec. user=mdettweiler [2016-06-12 03:16:33] 935*2^1432136-1 is not prime. Res64: 96E6D081B6FD030C Time : 0.0 sec. user=mdettweiler [2016-06-12 03:16:34] 983*2^1432136-1 is not prime. Res64: 4DC4B209175F47B1 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:16:34] 667*2^1432137-1 is not prime. Res64: AC712A6B3BE335AE Time : 0.0 sec. user=mdettweiler [2016-06-12 03:16:35] 669*2^1432137-1 is not prime. Res64: 8E9B4534A533DE0C Time : 0.0 sec. user=mdettweiler [2016-06-12 03:35:56] 861*2^1432137-1 is not prime. Res64: 6E5AFB194A90BCF0 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:35:57] 895*2^1432137-1 is not prime. Res64: CAB67323520E2046 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:35:58] 991*2^1432137-1 is not prime. Res64: C70884F09AE6F87F Time : 0.0 sec. user=mdettweiler [2016-06-12 03:35:59] 681*2^1432137-1 is not prime. Res64: C6953397661C814B Time : 0.0 sec. user=mdettweiler [2016-06-12 03:36:00] 717*2^1432137-1 is not prime. Res64: 7F226955C1A44858 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:36:01] 727*2^1432137-1 is not prime. Res64: 55492D21AFD7D6B3 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:36:01] 621*2^1432138-1 is not prime. Res64: ABC4693D9C814DCF Time : 0.0 sec. user=mdettweiler [2016-06-12 03:36:02] 735*2^1432137-1 is not prime. Res64: 16A220FEA44BEA8D Time : 0.0 sec. user=mdettweiler [2016-06-12 03:36:02] 635*2^1432138-1 is not prime. Res64: C9D80994D2399AFF Time : 0.0 sec. user=mdettweiler [2016-06-12 03:36:03] 769*2^1432137-1 is not prime. Res64: 1AD6537D52592D6C Time : 0.0 sec. user=mdettweiler [2016-06-12 03:41:25] 705*2^1432138-1 is not prime. Res64: 04690088C8FAC9D0 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:41:26] 735*2^1432138-1 is not prime. Res64: 6933E67158715EFF Time : 0.0 sec. user=mdettweiler [2016-06-12 03:41:27] 845*2^1432138-1 is not prime. Res64: 40A6E67899224391 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:41:30] 941*2^1432138-1 is not prime. Res64: E4D90DBBC72084B2 Time : 0.0 sec. user=mdettweiler [2016-06-12 03:41:31] 971*2^1432138-1 is not prime. Res64: E88A918CEFC841DF Time : 0.0 sec. user=mdettweiler [2016-06-12 04:02:09] 645*2^1432139-1 is not prime. Res64: E8925F3A61731172 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:02:11] 705*2^1432139-1 is not prime. Res64: DE4CDFA27B5E1703 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:02:12] 955*2^1432139-1 is not prime. Res64: 53E0BF1FBB9164FA Time : 0.0 sec. user=mdettweiler [2016-06-12 04:02:15] 993*2^1432139-1 is not prime. Res64: 4E4F17E86E3DA16D Time : 0.0 sec. user=mdettweiler [2016-06-12 04:02:19] 765*2^1432140-1 is not prime. Res64: 02854CAA37B66C8A Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:01] 909*2^1432140-1 is not prime. Res64: D3C040D2F77A4B97 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:02] 649*2^1432141-1 is not prime. Res64: 5D77F6A9E22788CB Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:02] 789*2^1432141-1 is not prime. Res64: 8C6D86A2B4E435FE Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:03] 819*2^1432141-1 is not prime. Res64: 494A10BD05570EB8 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:03] 895*2^1432141-1 is not prime. Res64: A9E81556627BDB92 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:15] 779*2^1432140-1 is not prime. Res64: 694F93914744E5DD Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:16] 875*2^1432140-1 is not prime. Res64: 1B8E53B686D631DD Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:17] 899*2^1432140-1 is not prime. Res64: 622A23BC00333A27 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:17] 925*2^1432141-1 is not prime. Res64: 0C3B5F8392F68331 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:22:18] 999*2^1432141-1 is not prime. Res64: 9F36F99C1AA21A04 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:27:28] 651*2^1432142-1 is not prime. Res64: 678B1F115AADEA18 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:27:28] 683*2^1432142-1 is not prime. Res64: 1C5DDF24BF28824A Time : 0.0 sec. user=mdettweiler [2016-06-12 04:27:29] 711*2^1432142-1 is not prime. Res64: B03A1EAC09A552DB Time : 0.0 sec. user=mdettweiler [2016-06-12 04:27:29] 761*2^1432142-1 is not prime. Res64: ED2C7BB03E9F9425 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:27:30] 791*2^1432142-1 is not prime. Res64: D925D040804877B0 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:49:19] 827*2^1432142-1 is not prime. Res64: CC7AF011FE0810A4 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:49:19] 831*2^1432142-1 is not prime. Res64: 37CA68F97CE33CA7 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:49:19] 911*2^1432142-1 is not prime. Res64: CF05AD59FD3B62AC Time : 0.0 sec. user=mdettweiler [2016-06-12 04:49:20] 953*2^1432142-1 is not prime. Res64: 393725FD8356BB18 Time : 0.0 sec. user=mdettweiler [2016-06-12 04:49:20] 619*2^1432143-1 is not prime. Res64: 28A9D283721A59D3 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:07:44] 639*2^1432143-1 is not prime. Res64: 33C1590F823714E7 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:07:45] 705*2^1432143-1 is not prime. Res64: 16B4A5FB28F9C396 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:07:46] 739*2^1432143-1 is not prime. Res64: 6E7284D501A2BFE4 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:07:46] 765*2^1432143-1 is not prime. Res64: 1AA6AA05EC998319 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:07:47] 849*2^1432143-1 is not prime. Res64: F10DE740055C92AE Time : 0.0 sec. user=mdettweiler [2016-06-12 05:08:04] 921*2^1432143-1 is not prime. Res64: D91984FAC78A005A Time : 0.0 sec. user=mdettweiler [2016-06-12 05:08:05] 969*2^1432143-1 is not prime. Res64: 52AD5991D47F6A14 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:08:06] 719*2^1432144-1 is not prime. Res64: E42B7E50ED2B9938 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:08:06] 849*2^1432144-1 is not prime. Res64: 53F4FB8C3ADC789F Time : 0.0 sec. user=mdettweiler [2016-06-12 05:08:07] 855*2^1432144-1 is not prime. Res64: D2D9F77AC95CDE17 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:13:01] 869*2^1432144-1 is not prime. Res64: 00675A044B37E12F Time : 0.0 sec. user=mdettweiler [2016-06-12 05:13:02] 887*2^1432144-1 is not prime. Res64: 5010157F094BB28E Time : 0.0 sec. user=mdettweiler [2016-06-12 05:13:03] 705*2^1432145-1 is not prime. Res64: 80D4C8F1D1A05D72 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:13:03] 715*2^1432145-1 is not prime. Res64: 41D08B56A2DCC826 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:13:04] 771*2^1432145-1 is not prime. Res64: 4002BC6CE90A2846 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:34:29] 897*2^1432145-1 is not prime. Res64: 0194C1F3FFEA8931 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:34:30] 909*2^1432145-1 is not prime. Res64: 491D47220DBFFD7C Time : 0.0 sec. user=mdettweiler [2016-06-12 05:34:30] 981*2^1432145-1 is not prime. Res64: 9BAD17D141762783 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:34:30] 671*2^1432146-1 is not prime. Res64: 8FA611A4303FB51A Time : 0.0 sec. user=mdettweiler [2016-06-12 05:34:31] 677*2^1432146-1 is not prime. Res64: 97B9A281F96C670E Time : 0.0 sec. user=mdettweiler [2016-06-12 05:52:52] 765*2^1432146-1 is not prime. Res64: 2900FB9273F41813 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:52:52] 861*2^1432146-1 is not prime. Res64: F7CF9B2EC4F72D03 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:52:53] 993*2^1432146-1 is not prime. Res64: 438A77275A91DB78 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:52:53] 631*2^1432147-1 is not prime. Res64: 49D0231E47E11A7B Time : 0.0 sec. user=mdettweiler [2016-06-12 05:52:54] 633*2^1432147-1 is not prime. Res64: 9716FCB2D99A360F Time : 0.0 sec. user=mdettweiler [2016-06-12 05:53:14] 703*2^1432147-1 is not prime. Res64: B5CBE02D24574484 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:53:14] 775*2^1432147-1 is not prime. Res64: 4019CC8D6795E021 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:53:15] 859*2^1432147-1 is not prime. Res64: 722816641760A32A Time : 0.0 sec. user=mdettweiler [2016-06-12 05:53:15] 871*2^1432147-1 is not prime. Res64: F920C70BB4DB4D2A Time : 0.0 sec. user=mdettweiler [2016-06-12 05:53:15] 915*2^1432147-1 is not prime. Res64: 42F19ED41631082E Time : 0.0 sec. user=mdettweiler [2016-06-12 05:58:11] 689*2^1432148-1 is not prime. Res64: E29ED3CC17F7FE68 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:58:11] 843*2^1432148-1 is not prime. Res64: 4F2AE2F2FA062AD8 Time : 0.0 sec. user=mdettweiler [2016-06-12 05:58:11] 649*2^1432149-1 is not prime. Res64: E4938DDFF54D024E Time : 0.0 sec. user=mdettweiler [2016-06-12 05:58:12] 741*2^1432149-1 is not prime. Res64: DA2D47C6D0D21C7A Time : 0.0 sec. user=mdettweiler [2016-06-12 05:58:12] 759*2^1432149-1 is not prime. Res64: F2322A66A69A4347 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:19:28] 885*2^1432149-1 is not prime. Res64: 206BEE35746447CF Time : 0.0 sec. user=mdettweiler [2016-06-12 06:19:28] 951*2^1432149-1 is not prime. Res64: 43C559B800F5DEEA Time : 0.0 sec. user=mdettweiler [2016-06-12 06:19:29] 975*2^1432149-1 is not prime. Res64: 5322C9A28FA40B69 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:19:29] 987*2^1432149-1 is not prime. Res64: 8AD6F2BA534C22A4 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:19:29] 663*2^1432150-1 is not prime. Res64: 710E0D9A5F95F077 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:37:51] 713*2^1432150-1 is not prime. Res64: 9B31FD348BE95ADD Time : 0.0 sec. user=mdettweiler [2016-06-12 06:37:51] 741*2^1432150-1 is not prime. Res64: 3A1E7E8FA937C366 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:37:52] 825*2^1432150-1 is not prime. Res64: C5BC99D34A80EFAA Time : 0.0 sec. user=mdettweiler [2016-06-12 06:37:52] 833*2^1432150-1 is not prime. Res64: DBC8481DA7D1D2E8 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:37:52] 863*2^1432150-1 is not prime. Res64: 2684240D84955E04 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:38:27] 885*2^1432150-1 is not prime. Res64: E9F28AE4C00AF5A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:38:27] 941*2^1432150-1 is not prime. Res64: 9177F9B944457BAA Time : 0.0 sec. user=mdettweiler [2016-06-12 06:38:27] 609*2^1432151-1 is not prime. Res64: E36A99B3C49A8107 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:38:28] 619*2^1432151-1 is not prime. Res64: DF5BA5F3C4CC3EDC Time : 0.0 sec. user=mdettweiler [2016-06-12 06:38:28] 865*2^1432151-1 is not prime. Res64: 0AFABAE6FBD494A5 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:43:42] 885*2^1432151-1 is not prime. Res64: 9E65763399D934AF Time : 0.0 sec. user=mdettweiler [2016-06-12 06:43:42] 981*2^1432151-1 is not prime. Res64: 5F6B6CE9C66E58DB Time : 0.0 sec. user=mdettweiler [2016-06-12 06:43:43] 615*2^1432152-1 is not prime. Res64: B7B1C6411F1FF079 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:43:43] 675*2^1432152-1 is not prime. Res64: 0B854C47044EAD11 Time : 0.0 sec. user=mdettweiler [2016-06-12 06:43:43] 747*2^1432152-1 is not prime. Res64: 99BA009BB323B683 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:04:49] 767*2^1432152-1 is not prime. Res64: A94577D70B595060 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:04:51] 769*2^1432153-1 is not prime. Res64: 9164F238C3C70A59 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:04:52] 805*2^1432153-1 is not prime. Res64: 451132A8E28BDA26 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:04:54] 831*2^1432153-1 is not prime. Res64: 30FBE66D65F8B762 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:04:55] 937*2^1432153-1 is not prime. Res64: 89823437B72DA71A Time : 0.0 sec. user=mdettweiler [2016-06-12 07:22:58] 633*2^1432154-1 is not prime. Res64: 68EE5ECE0706DE85 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:22:59] 645*2^1432154-1 is not prime. Res64: 9A981CB86603C95D Time : 0.0 sec. user=mdettweiler [2016-06-12 07:22:59] 665*2^1432154-1 is not prime. Res64: 931081A884BC74D9 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:22:59] 915*2^1432154-1 is not prime. Res64: 34801AE1BA2883C8 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:23:00] 935*2^1432154-1 is not prime. Res64: E69BC04893E76DC1 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:23:28] 971*2^1432154-1 is not prime. Res64: 85E719AB164A8899 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:23:28] 675*2^1432155-1 is not prime. Res64: 1E2816D665730F77 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:23:29] 741*2^1432155-1 is not prime. Res64: D57BCA63FBCD4197 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:23:29] 859*2^1432155-1 is not prime. Res64: FDAEE80626D5D613 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:23:29] 921*2^1432155-1 is not prime. Res64: B1AEAC53B2381A40 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:28:46] 979*2^1432155-1 is not prime. Res64: 3E9B56932BA09F82 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:28:47] 623*2^1432156-1 is not prime. Res64: B87681411DF1BF18 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:28:47] 629*2^1432156-1 is not prime. Res64: EB41D12769E09075 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:28:47] 657*2^1432156-1 is not prime. Res64: C226D6EF817E7DC0 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:28:48] 695*2^1432156-1 is not prime. Res64: 55264AA15CFFCC84 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:50:11] 719*2^1432156-1 is not prime. Res64: 0B9350728C8ADD68 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:50:12] 807*2^1432156-1 is not prime. Res64: 29235F613C46B7DB Time : 0.0 sec. user=mdettweiler [2016-06-12 07:50:12] 855*2^1432156-1 is not prime. Res64: D4A07A89DB3BF3B5 Time : 0.0 sec. user=mdettweiler [2016-06-12 07:50:12] 903*2^1432156-1 is not prime. Res64: A2326E2AE5C9E90F Time : 0.0 sec. user=mdettweiler [2016-06-12 07:50:13] 905*2^1432156-1 is not prime. Res64: 1C793E1A269E43DD Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:10] 927*2^1432156-1 is not prime. Res64: 28F02567C37D4F28 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:10] 699*2^1432157-1 is not prime. Res64: 2F7F204D449BA7D1 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:11] 925*2^1432157-1 is not prime. Res64: 75AB495A5B2DAE69 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:11] 957*2^1432157-1 is not prime. Res64: C91569FD8A2473AD Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:11] 605*2^1432158-1 is not prime. Res64: 349EEB4D514ED8F4 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:41] 611*2^1432158-1 is not prime. Res64: 3363F75FDAB4C2D2 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:41] 663*2^1432158-1 is not prime. Res64: 5DB1C946F97278B6 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:42] 681*2^1432158-1 is not prime. Res64: D828A9C69EB7E724 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:42] 843*2^1432158-1 is not prime. Res64: 61BA5BBBA3A99C5B Time : 0.0 sec. user=mdettweiler [2016-06-12 08:08:42] 893*2^1432158-1 is not prime. Res64: 8E9C54F3EE61213D Time : 0.0 sec. user=mdettweiler [2016-06-12 08:13:46] 921*2^1432158-1 is not prime. Res64: 82A7A36CA792CBCC Time : 0.0 sec. user=mdettweiler [2016-06-12 08:13:47] 625*2^1432159-1 is not prime. Res64: 4FB7ABE6457B847C Time : 0.0 sec. user=mdettweiler [2016-06-12 08:13:47] 679*2^1432159-1 is not prime. Res64: 73C75AE09563C2D8 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:13:47] 735*2^1432159-1 is not prime. Res64: A9126FE84BB269BA Time : 0.0 sec. user=mdettweiler [2016-06-12 08:13:48] 769*2^1432159-1 is not prime. Res64: 69DDC20FAE096671 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:35:20] 859*2^1432159-1 is not prime. Res64: 0AE75823527D3C24 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:35:20] 629*2^1432160-1 is not prime. Res64: E842738240A53CF5 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:35:21] 635*2^1432160-1 is not prime. Res64: 079252D40BD6AE9C Time : 0.0 sec. user=mdettweiler [2016-06-12 08:35:21] 675*2^1432160-1 is not prime. Res64: 192503DF739F2D66 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:35:21] 677*2^1432160-1 is not prime. Res64: 82590D02C7B08DAC Time : 0.0 sec. user=mdettweiler [2016-06-12 08:53:40] 767*2^1432160-1 is not prime. Res64: A0E32023FE9DB2CB Time : 0.0 sec. user=mdettweiler [2016-06-12 08:53:41] 803*2^1432160-1 is not prime. Res64: 0AEE0C32E9F335A3 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:53:41] 825*2^1432160-1 is not prime. Res64: C30097FD8E3AB669 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:53:42] 843*2^1432160-1 is not prime. Res64: FD7E96D1D91426BE Time : 0.0 sec. user=mdettweiler [2016-06-12 08:53:42] 855*2^1432160-1 is not prime. Res64: D81E9D69E40ACF35 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:54:00] 999*2^1432160-1 is not prime. Res64: 9BB16B38599ECF43 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:54:00] 601*2^1432161-1 is not prime. Res64: A575463061D8BBF6 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:54:01] 637*2^1432161-1 is not prime. Res64: 02C6FCD22A3B1CB0 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:54:01] 739*2^1432161-1 is not prime. Res64: D3E878EAE4BE6625 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:54:02] 837*2^1432161-1 is not prime. Res64: 1D8B16D9DCE2F3C2 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:59:03] 861*2^1432161-1 is not prime. Res64: 9313815E33F18853 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:59:03] 867*2^1432161-1 is not prime. Res64: C6385B5520F84621 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:59:03] 871*2^1432161-1 is not prime. Res64: D46F925E2CD6C484 Time : 0.0 sec. user=mdettweiler [2016-06-12 08:59:04] 921*2^1432161-1 is not prime. Res64: 40BF8698AC594DDF Time : 0.0 sec. user=mdettweiler [2016-06-12 08:59:04] 937*2^1432161-1 is not prime. Res64: CC76B7B7E53D458D Time : 0.0 sec. user=mdettweiler [2016-06-12 09:20:47] 955*2^1432161-1 is not prime. Res64: 121F70B9E18F2006 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:20:47] 991*2^1432161-1 is not prime. Res64: 80620F4931FBD336 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:20:48] 657*2^1432162-1 is not prime. Res64: 375E675421EAA9A0 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:20:48] 701*2^1432162-1 is not prime. Res64: 5325F44F64AC2D99 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:20:48] 881*2^1432162-1 is not prime. Res64: 1F1FE997BAF52D32 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:02] 957*2^1432162-1 is not prime. Res64: C0F4A8C0812F2902 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:02] 669*2^1432163-1 is not prime. Res64: F8CB5AE63E9D6788 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:02] 685*2^1432163-1 is not prime. Res64: EDE1E4F4A1E72C8C Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:03] 741*2^1432163-1 is not prime. Res64: 41F732F7E5C6C820 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:03] 771*2^1432163-1 is not prime. Res64: 30159BF72D71514C Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:19] 859*2^1432163-1 is not prime. Res64: B0B95935E7A0B8B0 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:20] 939*2^1432163-1 is not prime. Res64: FCABBE3D1C6EE4CD Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:20] 943*2^1432163-1 is not prime. Res64: 80960ACFD44CEDE7 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:20] 963*2^1432163-1 is not prime. Res64: BCBEAA97A399A7A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:39:21] 973*2^1432163-1 is not prime. Res64: 608FE1A3E19C32B5 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:44:08] 609*2^1432164-1 is not prime. Res64: E0EBCC3016D3B7C0 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:44:09] 683*2^1432164-1 is not prime. Res64: C5FB16CBD3224475 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:44:09] 705*2^1432164-1 is not prime. Res64: 0A49F001BABB7F63 Time : 0.0 sec. user=mdettweiler [2016-06-12 09:44:10] 773*2^1432164-1 is not prime. Res64: 368493B2A5CD2D6D Time : 0.0 sec. user=mdettweiler [2016-06-12 09:44:10] 795*2^1432164-1 is not prime. Res64: 19CCE68CEF47F6B9 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:05:48] 803*2^1432164-1 is not prime. Res64: 48090AAA85796739 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:05:49] 825*2^1432164-1 is not prime. Res64: 9A815D9D5F9E3DDD Time : 0.0 sec. user=mdettweiler [2016-06-12 10:05:50] 875*2^1432164-1 is not prime. Res64: 1A1761C36F972E54 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:05:52] 607*2^1432165-1 is not prime. Res64: F9DBB72E5CC9E8FA Time : 0.0 sec. user=mdettweiler [2016-06-12 10:05:53] 685*2^1432165-1 is not prime. Res64: 6A24794AE8913391 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:03] 771*2^1432165-1 is not prime. Res64: 266C18AF5DA0BAC3 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:04] 775*2^1432165-1 is not prime. Res64: FD32B44B76335E88 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:05] 877*2^1432165-1 is not prime. Res64: 5AB61B6FA5338307 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:06] 975*2^1432165-1 is not prime. Res64: A485EAA58F160590 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:06] 707*2^1432166-1 is not prime. Res64: BCC4C9D66C3AACAE Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:13] 861*2^1432166-1 is not prime. Res64: B6B1D129D04125E0 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:14] 893*2^1432166-1 is not prime. Res64: 089389BC200A7144 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:14] 911*2^1432166-1 is not prime. Res64: B4C3C7846F12258F Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:15] 625*2^1432167-1 is not prime. Res64: 2D1A74282C922B59 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:24:16] 633*2^1432167-1 is not prime. Res64: B2E04CFDAC6C13A3 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:29:10] 819*2^1432167-1 is not prime. Res64: 2D903A5881DA3194 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:29:10] 945*2^1432167-1 is not prime. Res64: 74C967D9A9BBE58A Time : 0.0 sec. user=mdettweiler [2016-06-12 10:29:11] 955*2^1432167-1 is not prime. Res64: EB3F5E35BA0F931A Time : 0.0 sec. user=mdettweiler [2016-06-12 10:29:12] 605*2^1432168-1 is not prime. Res64: 77AC2ACBCF36D95C Time : 0.0 sec. user=mdettweiler [2016-06-12 10:29:12] 617*2^1432168-1 is not prime. Res64: CDD2FF6DBC233F4E Time : 0.0 sec. user=mdettweiler [2016-06-12 10:51:16] 677*2^1432168-1 is not prime. Res64: A580F92BDA79B81F Time : 0.0 sec. user=mdettweiler [2016-06-12 10:51:16] 713*2^1432168-1 is not prime. Res64: C15EE671592B37DC Time : 0.0 sec. user=mdettweiler [2016-06-12 10:51:17] 777*2^1432168-1 is not prime. Res64: 32FED0C326F87ACF Time : 0.0 sec. user=mdettweiler [2016-06-12 10:51:17] 827*2^1432168-1 is not prime. Res64: 4283E0FBD9344605 Time : 0.0 sec. user=mdettweiler [2016-06-12 10:51:18] 899*2^1432168-1 is not prime. Res64: C755DB77408828F0 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:20] 993*2^1432168-1 is not prime. Res64: 2F1D66B9655B1C6A Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:21] 999*2^1432168-1 is not prime. Res64: 248C1B6AECADF19A Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:22] 721*2^1432169-1 is not prime. Res64: 6E036D9072573617 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:23] 727*2^1432169-1 is not prime. Res64: A366BC0473337A71 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:24] 747*2^1432169-1 is not prime. Res64: 2A9D1060FB2A64C0 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:30] 759*2^1432169-1 is not prime. Res64: 361C9C60C470321D Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:31] 771*2^1432169-1 is not prime. Res64: 9904F0E9B0D61766 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:32] 831*2^1432169-1 is not prime. Res64: A3AF7AD870C1E96B Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:34] 707*2^1432170-1 is not prime. Res64: FA7129C13061AD03 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:09:35] 747*2^1432170-1 is not prime. Res64: 43E1CE9B2BC13E41 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:14:18] 783*2^1432170-1 is not prime. Res64: 7089DC85A063637A Time : 0.0 sec. user=mdettweiler [2016-06-12 11:14:18] 803*2^1432170-1 is not prime. Res64: E1F5686B1E0533E6 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:14:19] 885*2^1432170-1 is not prime. Res64: 4F94E5F2BACB81CF Time : 0.0 sec. user=mdettweiler [2016-06-12 11:14:19] 891*2^1432170-1 is not prime. Res64: F6625DC64E3C8F64 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:14:20] 639*2^1432171-1 is not prime. Res64: EE35CC9ECD7E1688 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:36:34] 771*2^1432171-1 is not prime. Res64: 14B319C0A39F8253 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:36:35] 883*2^1432171-1 is not prime. Res64: 865AB5B15F7D4F4A Time : 0.0 sec. user=mdettweiler [2016-06-12 11:36:35] 889*2^1432171-1 is not prime. Res64: AC57696F0039F312 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:36:35] 961*2^1432171-1 is not prime. Res64: B1B720F9D8486649 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:36:36] 605*2^1432172-1 is not prime. Res64: 42179CA6ED15C903 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:44] 633*2^1432172-1 is not prime. Res64: D324F32F164E834C Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:44] 725*2^1432172-1 is not prime. Res64: 4FE7CE218D960BC7 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:44] 797*2^1432172-1 is not prime. Res64: 7B89D08B68BC5859 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:45] 837*2^1432172-1 is not prime. Res64: 202DFB428C917EB5 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:45] 781*2^1432173-1 is not prime. Res64: 86FEAAEAE416F03F Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:45] 995*2^1432172-1 is not prime. Res64: BA1976D5BA7A61F7 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:45] 817*2^1432173-1 is not prime. Res64: 6BB8DC18CC4EEFDF Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:46] 623*2^1432174-1 is not prime. Res64: 7AA2AE07AAC8C09A Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:46] 681*2^1432174-1 is not prime. Res64: A5479DB07CA81604 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:54:46] 723*2^1432174-1 is not prime. Res64: 3376B0C8B12BB9B9 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:59:21] 987*2^1432174-1 is not prime. Res64: 4C5B62A525AE09CA Time : 0.0 sec. user=mdettweiler [2016-06-12 11:59:22] 645*2^1432175-1 is not prime. Res64: C4A6A9DD25D57C41 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:59:22] 655*2^1432175-1 is not prime. Res64: D69FA11E2F9631F1 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:59:22] 685*2^1432175-1 is not prime. Res64: FAA7138AA8BCD554 Time : 0.0 sec. user=mdettweiler [2016-06-12 11:59:23] 771*2^1432175-1 is not prime. Res64: 2119051917360750 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:21:50] 615*2^1432176-1 is not prime. Res64: 9785A0BE6F57C539 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:21:51] 719*2^1432176-1 is not prime. Res64: 406F2DF312D9A0B0 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:21:51] 759*2^1432176-1 is not prime. Res64: 2B2C6F142B4577B3 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:21:51] 789*2^1432176-1 is not prime. Res64: EBC73F22C3C273D4 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:21:52] 879*2^1432176-1 is not prime. Res64: D69F68C8C4D34111 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:39:51] 919*2^1432177-1 is not prime. Res64: 2140F73325297E04 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:39:51] 939*2^1432177-1 is not prime. Res64: 11CA18263E77B3D2 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:39:52] 955*2^1432177-1 is not prime. Res64: 02BF9BF5D840A120 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:39:52] 635*2^1432178-1 is not prime. Res64: A0935AA7AD8755CC Time : 0.0 sec. user=mdettweiler [2016-06-12 12:39:53] 705*2^1432178-1 is not prime. Res64: 91F727412057A106 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:40:01] 899*2^1432176-1 is not prime. Res64: 07DFA6B27780A97E Time : 0.0 sec. user=mdettweiler [2016-06-12 12:40:01] 905*2^1432176-1 is not prime. Res64: 04A9E7920D41941D Time : 0.0 sec. user=mdettweiler [2016-06-12 12:40:02] 933*2^1432176-1 is not prime. Res64: E5D016C7AEA8254F Time : 0.0 sec. user=mdettweiler [2016-06-12 12:40:02] 609*2^1432177-1 is not prime. Res64: 1C7C8162FA689198 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:40:02] 637*2^1432177-1 is not prime. Res64: 6927350374946694 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:44:29] 801*2^1432178-1 is not prime. Res64: 3E7B61175C64C321 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:44:29] 861*2^1432178-1 is not prime. Res64: 408B4BB11AD315B0 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:44:30] 893*2^1432178-1 is not prime. Res64: A792BA9CF1C22544 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:44:30] 927*2^1432178-1 is not prime. Res64: A449CF0130793934 Time : 0.0 sec. user=mdettweiler [2016-06-12 12:44:30] 993*2^1432178-1 is not prime. Res64: 5AB8996A7F0B0456 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:07:02] 669*2^1432179-1 is not prime. Res64: BD27AF346647E086 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:07:04] 753*2^1432179-1 is not prime. Res64: AEDD043F55B84D32 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:07:06] 793*2^1432179-1 is not prime. Res64: 89C802B4D7B79ACC Time : 0.0 sec. user=mdettweiler [2016-06-12 13:07:08] 969*2^1432179-1 is not prime. Res64: 43694AD48022E82E Time : 0.0 sec. user=mdettweiler [2016-06-12 13:07:09] 999*2^1432179-1 is not prime. Res64: 4A73A368346400D8 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:53] 635*2^1432180-1 is not prime. Res64: E902B496F8FD609D Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:54] 647*2^1432180-1 is not prime. Res64: D0296DEDB50ED976 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:54] 665*2^1432180-1 is not prime. Res64: 7DA8EB3E06D4B382 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:54] 743*2^1432180-1 is not prime. Res64: A95C37E035F4E30D Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:55] 915*2^1432180-1 is not prime. Res64: BED4183995171372 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:59] 619*2^1432181-1 is not prime. Res64: 06B2C016CF8DA98A Time : 0.0 sec. user=mdettweiler [2016-06-12 13:24:59] 621*2^1432181-1 is not prime. Res64: ED4B65EAE26A633F Time : 0.0 sec. user=mdettweiler [2016-06-12 13:25:00] 631*2^1432181-1 is not prime. Res64: 70B7E6F2077C35AC Time : 0.0 sec. user=mdettweiler [2016-06-12 13:25:00] 691*2^1432181-1 is not prime. Res64: 8FDA59B103361A9D Time : 0.0 sec. user=mdettweiler [2016-06-12 13:25:00] 711*2^1432181-1 is not prime. Res64: F19BF3855750DDFE Time : 0.0 sec. user=mdettweiler [2016-06-12 13:29:38] 741*2^1432181-1 is not prime. Res64: 387A3E3FCA20A4B0 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:29:39] 837*2^1432181-1 is not prime. Res64: 8FD93238CD551D61 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:29:39] 937*2^1432181-1 is not prime. Res64: 5C8CF6B3AC51EB82 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:29:39] 987*2^1432181-1 is not prime. Res64: 0D9C00170389B0DC Time : 0.0 sec. user=mdettweiler [2016-06-12 13:29:40] 711*2^1432182-1 is not prime. Res64: A9AD0CA16F6A05C3 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:52:42] 875*2^1432182-1 is not prime. Res64: FAA21548CBCE528F Time : 0.0 sec. user=mdettweiler [2016-06-12 13:52:42] 921*2^1432182-1 is not prime. Res64: 8D0C3B3240C4BD44 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:52:43] 923*2^1432182-1 is not prime. Res64: 941BC5507DCBBDC9 Time : 0.0 sec. user=mdettweiler [2016-06-12 13:52:43] 947*2^1432182-1 is not prime. Res64: 902F9A3EF2F4938A Time : 0.0 sec. user=mdettweiler [2016-06-12 13:52:43] 603*2^1432183-1 is not prime. Res64: 6DE91997337E935E Time : 0.0 sec. user=mdettweiler [2016-06-12 14:09:59] 609*2^1432183-1 is not prime. Res64: D78C256937955FC0 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:09:59] 649*2^1432183-1 is not prime. Res64: BFDC40DD893F5D76 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:00] 675*2^1432183-1 is not prime. Res64: DA8957887FE42880 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:00] 745*2^1432183-1 is not prime. Res64: A4A51DF549359132 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:01] 861*2^1432183-1 is not prime. Res64: 6444B98E0C2A462F Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:15] 659*2^1432184-1 is not prime. Res64: A3FE802C23B22C86 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:15] 665*2^1432184-1 is not prime. Res64: 4E9C20BD60AAFF5D Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:15] 677*2^1432184-1 is not prime. Res64: 59B1ED0CCBDFF804 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:16] 773*2^1432184-1 is not prime. Res64: 045FE55D80E1AE10 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:10:16] 789*2^1432184-1 is not prime. Res64: DB014A60B8741D31 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:14:55] 899*2^1432184-1 is not prime. Res64: 5FC49B6C36529C35 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:14:56] 915*2^1432184-1 is not prime. Res64: 46E34A90746E6819 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:14:56] 651*2^1432185-1 is not prime. Res64: 7761FC2FC28085E8 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:14:57] 805*2^1432185-1 is not prime. Res64: D9ABEB07B79D3467 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:14:57] 909*2^1432185-1 is not prime. Res64: 990AF6DCC1965774 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:37:54] 937*2^1432185-1 is not prime. Res64: 06F8995B7983A278 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:37:54] 611*2^1432186-1 is not prime. Res64: 67505C9AC9265B76 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:37:55] 735*2^1432186-1 is not prime. Res64: 98DBF7F2F57EA544 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:37:55] 755*2^1432186-1 is not prime. Res64: AE3D6FF4803403BD Time : 0.0 sec. user=mdettweiler [2016-06-12 14:37:56] 891*2^1432186-1 is not prime. Res64: 32579A3E70F7889F Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:08] 911*2^1432186-1 is not prime. Res64: DA3B1044BFEE8DB1 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:08] 685*2^1432187-1 is not prime. Res64: 8B3BDDD5E9598C82 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:08] 733*2^1432187-1 is not prime. Res64: 1352FAC897E3E2E9 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:09] 759*2^1432187-1 is not prime. Res64: 8F3B69FD7B79573A Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:09] 813*2^1432187-1 is not prime. Res64: DA7C7DAF35E51E83 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:21] 859*2^1432187-1 is not prime. Res64: 34E8A84D10AF092D Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:21] 985*2^1432187-1 is not prime. Res64: 5B6150686CE92787 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:22] 991*2^1432187-1 is not prime. Res64: F328DFC225676949 Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:22] 627*2^1432188-1 is not prime. Res64: 0345B61C4B12C73B Time : 0.0 sec. user=mdettweiler [2016-06-12 14:55:22] 683*2^1432188-1 is not prime. Res64: 699C21DB22C0FF51 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:00:13] 695*2^1432188-1 is not prime. Res64: FF9F824C538BC7A6 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:00:14] 789*2^1432188-1 is not prime. Res64: DA30B733DDF86EA5 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:00:15] 679*2^1432189-1 is not prime. Res64: 4DE9E7970E3521D4 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:00:16] 741*2^1432189-1 is not prime. Res64: 4D22435693C817FC Time : 0.0 sec. user=mdettweiler [2016-06-12 15:00:17] 831*2^1432189-1 is not prime. Res64: EDA9D87F9D4058C3 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:23:06] 939*2^1432189-1 is not prime. Res64: BBD7DCA9417B4FB4 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:23:07] 951*2^1432189-1 is not prime. Res64: 3FF302B53CE24F0A Time : 0.0 sec. user=mdettweiler [2016-06-12 15:23:07] 987*2^1432189-1 is not prime. Res64: 4101F3831F396C17 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:23:08] 875*2^1432190-1 is not prime. Res64: 7D8A0563739C6707 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:23:08] 703*2^1432191-1 is not prime. Res64: 20AEF5480F37C7F7 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:19] 805*2^1432191-1 is not prime. Res64: 10D10B2D6B724A29 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:20] 825*2^1432191-1 is not prime. Res64: EEB4CC78672D45D5 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:20] 973*2^1432191-1 is not prime. Res64: FCF8054088B5B8CB Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:20] 979*2^1432191-1 is not prime. Res64: 8D76FEC3FF588D1F Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:21] 999*2^1432191-1 is not prime. Res64: 912710D6B87A8178 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:24] 645*2^1432192-1 is not prime. Res64: A859FA04A2D02E73 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:24] 713*2^1432192-1 is not prime. Res64: 1A76229730DD83A4 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:24] 723*2^1432192-1 is not prime. Res64: 422B902521849556 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:25] 819*2^1432192-1 is not prime. Res64: 7E8E6FC890249411 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:40:25] 929*2^1432192-1 is not prime. Res64: BA93A2D889EE612A Time : 0.0 sec. user=mdettweiler [2016-06-12 15:45:25] 995*2^1432192-1 is not prime. Res64: 04DE109FD41875E8 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:45:25] 619*2^1432193-1 is not prime. Res64: 3E93F0C0765B60C5 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:45:26] 685*2^1432193-1 is not prime. Res64: DA3C9F27F3ECCC99 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:45:26] 867*2^1432193-1 is not prime. Res64: E0A15C2777EC4854 Time : 0.0 sec. user=mdettweiler [2016-06-12 15:45:26] 635*2^1432194-1 is not prime. Res64: 6CF10624165373AE Time : 0.0 sec. user=mdettweiler [2016-06-12 16:08:28] 791*2^1432194-1 is not prime. Res64: FD0072836D556593 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:08:28] 815*2^1432194-1 is not prime. Res64: 62381167C892CDD4 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:08:29] 833*2^1432194-1 is not prime. Res64: 42BC92F44ABEBCB8 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:08:29] 921*2^1432194-1 is not prime. Res64: 32C82D0433DBED33 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:08:30] 603*2^1432195-1 is not prime. Res64: E9940F9C41F4D57B Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:24] 707*2^1432196-1 is not prime. Res64: DFDA778BAD597FCD Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:25] 825*2^1432196-1 is not prime. Res64: E92D9D85F252A350 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:25] 855*2^1432196-1 is not prime. Res64: 519459AEFABD8127 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:26] 869*2^1432196-1 is not prime. Res64: 44C1CFF8E1AE8259 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:26] 983*2^1432196-1 is not prime. Res64: 356B5052670FD786 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:36] 691*2^1432195-1 is not prime. Res64: DC1D3F8EE00A66EE Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:36] 741*2^1432195-1 is not prime. Res64: D3D81EA70699D4B5 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:37] 853*2^1432195-1 is not prime. Res64: 86A4F1AFB711AC50 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:37] 985*2^1432195-1 is not prime. Res64: EE29F68E64B2981C Time : 0.0 sec. user=mdettweiler [2016-06-12 16:25:38] 669*2^1432196-1 is not prime. Res64: 1D090632831602A2 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:30:36] 735*2^1432197-1 is not prime. Res64: 6092E4992D8A16F0 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:30:37] 751*2^1432197-1 is not prime. Res64: CE742940459F5443 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:30:38] 805*2^1432197-1 is not prime. Res64: 562E640CD31605A0 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:30:38] 829*2^1432197-1 is not prime. Res64: EED779BB839D0E33 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:30:39] 837*2^1432197-1 is not prime. Res64: 376972581C70515B Time : 0.0 sec. user=mdettweiler [2016-06-12 16:53:36] 919*2^1432197-1 is not prime. Res64: 48FA0F2287333908 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:53:36] 961*2^1432197-1 is not prime. Res64: 2013731EE99B16C7 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:53:37] 999*2^1432197-1 is not prime. Res64: B56A883F3F7C172C Time : 0.0 sec. user=mdettweiler [2016-06-12 16:53:37] 603*2^1432198-1 is not prime. Res64: C9EE057D5FB096B1 Time : 0.0 sec. user=mdettweiler [2016-06-12 16:53:37] 713*2^1432198-1 is not prime. Res64: 425CDD957E3CA70A Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:33] 747*2^1432198-1 is not prime. Res64: 35A8DF730FEEE01F Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:34] 761*2^1432198-1 is not prime. Res64: C5CDCB52628926F0 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:36] 827*2^1432198-1 is not prime. Res64: C680B714C667071C Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:37] 867*2^1432198-1 is not prime. Res64: 5C255B6C364D74EC Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:38] 941*2^1432198-1 is not prime. Res64: 4B7E870B7093E43E Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:45] 945*2^1432198-1 is not prime. Res64: 0E5C0052D3BD6B9F Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:47] 643*2^1432199-1 is not prime. Res64: 3F230049798F443E Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:48] 645*2^1432199-1 is not prime. Res64: F1FD74144620A834 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:49] 705*2^1432199-1 is not prime. Res64: 27C4AC8B5883AC47 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:10:49] 745*2^1432199-1 is not prime. Res64: 7D22114456B7B3DB Time : 0.0 sec. user=mdettweiler [2016-06-12 17:15:46] 753*2^1432199-1 is not prime. Res64: F73040BF15E7D9C7 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:15:47] 775*2^1432199-1 is not prime. Res64: 7380DEF6763DB40F Time : 0.0 sec. user=mdettweiler [2016-06-12 17:15:47] 861*2^1432199-1 is not prime. Res64: E6C4A185AB7A5E9B Time : 0.0 sec. user=mdettweiler [2016-06-12 17:15:48] 949*2^1432199-1 is not prime. Res64: AA5E277FFF8960AA Time : 0.0 sec. user=mdettweiler [2016-06-12 17:15:48] 719*2^1432200-1 is not prime. Res64: 6C9705AE4CF4FF65 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:38:40] 753*2^1432200-1 is not prime. Res64: 858F7F23BDFAF456 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:38:40] 825*2^1432200-1 is not prime. Res64: B7799F1BACEF4683 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:38:41] 857*2^1432200-1 is not prime. Res64: 040325F90EFA0F55 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:38:41] 625*2^1432201-1 is not prime. Res64: C6CB341E702032E5 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:38:41] 777*2^1432201-1 is not prime. Res64: 07DD14A63CEF3459 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:56:56] 801*2^1432201-1 is not prime. Res64: C8424454723E6D5C Time : 0.0 sec. user=mdettweiler [2016-06-12 17:56:57] 889*2^1432201-1 is not prime. Res64: B6C2D627BC2DD69B Time : 0.0 sec. user=mdettweiler [2016-06-12 17:56:57] 979*2^1432201-1 is not prime. Res64: 376DAF3E636611D1 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:56:57] 671*2^1432202-1 is not prime. Res64: 63EF5F3EA31AD846 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:56:57] 741*2^1432202-1 is not prime. Res64: 79ED6C06256BF92B Time : 0.0 sec. user=mdettweiler [2016-06-12 17:57:12] 767*2^1432202-1 is not prime. Res64: D56532E537ED9E0E Time : 0.0 sec. user=mdettweiler [2016-06-12 17:57:12] 791*2^1432202-1 is not prime. Res64: D70E3A6926D939A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:57:12] 827*2^1432202-1 is not prime. Res64: 3240F7C1891B9E99 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:57:12] 837*2^1432202-1 is not prime. Res64: 8B260BAA93374B10 Time : 0.0 sec. user=mdettweiler [2016-06-12 17:57:12] 873*2^1432202-1 is not prime. Res64: C6819003E2CC2054 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:02:14] 663*2^1432203-1 is not prime. Res64: 6432741B4EB17C80 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:02:15] 721*2^1432203-1 is not prime. Res64: 31996304088AD4CF Time : 0.0 sec. user=mdettweiler [2016-06-12 18:02:16] 781*2^1432203-1 is not prime. Res64: 47BD99E96C66C254 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:02:17] 793*2^1432203-1 is not prime. Res64: 406D5300451813E8 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:02:17] 795*2^1432203-1 is not prime. Res64: E029DB682494E7B1 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:25:57] 805*2^1432203-1 is not prime. Res64: 0CA3E6E84677F541 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:25:58] 873*2^1432203-1 is not prime. Res64: A9771889E043A67A Time : 0.0 sec. user=mdettweiler [2016-06-12 18:25:59] 921*2^1432203-1 is not prime. Res64: 50986A8ADD31033F Time : 0.0 sec. user=mdettweiler [2016-06-12 18:25:59] 961*2^1432203-1 is not prime. Res64: F44F1B495D9DE5C2 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:26:00] 615*2^1432204-1 is not prime. Res64: 2DDBB62ADD3F5005 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:26] 993*2^1432204-1 is not prime. Res64: 3FF058957AEF1FF2 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:26] 859*2^1432205-1 is not prime. Res64: A2738A55561567D0 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:26] 861*2^1432205-1 is not prime. Res64: CC33A33860A2E927 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:26] 987*2^1432205-1 is not prime. Res64: EC0D0635207ED1DC Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:27] 717*2^1432206-1 is not prime. Res64: 1FDAD7CB8C7A56D0 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:36] 623*2^1432204-1 is not prime. Res64: 397443C6D938AEE8 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:37] 677*2^1432204-1 is not prime. Res64: 09AE5FFF957C98B2 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:37] 869*2^1432204-1 is not prime. Res64: FB72E65CD58DC19F Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:37] 923*2^1432204-1 is not prime. Res64: A1D231CA04E9F5A7 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:43:37] 947*2^1432204-1 is not prime. Res64: 0A6168955224FF64 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:48:47] 777*2^1432206-1 is not prime. Res64: D8A48A716209B900 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:48:47] 867*2^1432206-1 is not prime. Res64: C5ADDD5ECDA1A743 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:48:47] 873*2^1432206-1 is not prime. Res64: 9569EA9DFB276C21 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:48:47] 983*2^1432206-1 is not prime. Res64: 2984E5C1465C3530 Time : 0.0 sec. user=mdettweiler [2016-06-12 18:48:48] 693*2^1432207-1 is not prime. Res64: 1A56F331463D35EB Time : 0.0 sec. user=mdettweiler [2016-06-12 19:11:48] 871*2^1432207-1 is not prime. Res64: 701D253E8AD6F9EB Time : 0.0 sec. user=mdettweiler [2016-06-12 19:11:49] 883*2^1432207-1 is not prime. Res64: 3E4BDC705BF4A747 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:11:50] 891*2^1432207-1 is not prime. Res64: 7F8A80FA6DA16DCA Time : 0.0 sec. user=mdettweiler [2016-06-12 19:11:50] 931*2^1432207-1 is not prime. Res64: 3413AC5569788168 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:11:51] 713*2^1432208-1 is not prime. Res64: 7CC8480626163FA4 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:17] 999*2^1432208-1 is not prime. Res64: 44D1A12E75907F58 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:18] 637*2^1432209-1 is not prime. Res64: C7FA557EB519AB67 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:18] 745*2^1432209-1 is not prime. Res64: 95B2E9B3C4196184 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:18] 747*2^1432208-1 is not prime. Res64: C6743EB778635FC6 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:18] 817*2^1432209-1 is not prime. Res64: 9C4289FE002CD151 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:18] 839*2^1432208-1 is not prime. Res64: 02CE36E75AFC1402 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:19] 835*2^1432209-1 is not prime. Res64: C884DB9DD895B09A Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:19] 923*2^1432208-1 is not prime. Res64: 5574C58D8A8130CD Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:19] 935*2^1432208-1 is not prime. Res64: 9A6FA6EEE87FEA22 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:31:19] 995*2^1432208-1 is not prime. Res64: A53D0C73569AFBB7 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:37:05] 949*2^1432209-1 is not prime. Res64: 6AFAEA6F43652FB8 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:37:05] 969*2^1432209-1 is not prime. Res64: 712CF85B1236AFB9 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:37:05] 701*2^1432210-1 is not prime. Res64: 98045AA6B7D7F191 Time : 0.0 sec. user=mdettweiler [2016-06-12 19:37:06] 735*2^1432210-1 is not prime. Res64: 9ECBE2F247A1F68B Time : 0.0 sec. user=mdettweiler [2016-06-12 19:37:06] 765*2^1432210-1 is not prime. Res64: 8D3FF37684A3F685 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:02:51] 777*2^1432210-1 is not prime. Res64: 55681A30F67E66C5 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:02:52] 801*2^1432210-1 is not prime. Res64: 57C3DE4AD9AB789A Time : 0.0 sec. user=mdettweiler [2016-06-12 20:02:53] 885*2^1432210-1 is not prime. Res64: A0A089B6733B0800 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:02:53] 887*2^1432210-1 is not prime. Res64: C71B961D4D3F0C33 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:02:54] 973*2^1432211-1 is not prime. Res64: 8A8EA0510619CB5C Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:09] 993*2^1432211-1 is not prime. Res64: B611B61D3A8144F8 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:10] 609*2^1432212-1 is not prime. Res64: C623FCC0C99EFC1B Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:10] 867*2^1432212-1 is not prime. Res64: 3871E27AA5CA8AA6 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:11] 873*2^1432212-1 is not prime. Res64: 5D48C5972A50ED69 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:11] 915*2^1432212-1 is not prime. Res64: B79C31A05E13C1A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:25] 977*2^1432212-1 is not prime. Res64: DC823718FD5B7D99 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:25] 609*2^1432213-1 is not prime. Res64: 1F72035F33205F0E Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:26] 715*2^1432213-1 is not prime. Res64: EFACA17AFB4E9E50 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:26] 729*2^1432213-1 is not prime. Res64: 1F25ECFF897C1AC8 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:21:27] 741*2^1432213-1 is not prime. Res64: EFF439992B62897E Time : 0.0 sec. user=mdettweiler [2016-06-12 20:27:58] 751*2^1432213-1 is not prime. Res64: C5AF60DC8BB28B74 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:27:59] 847*2^1432213-1 is not prime. Res64: 9903AB3F76343190 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:27:59] 945*2^1432213-1 is not prime. Res64: F2A2434970B3FB49 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:28:00] 985*2^1432213-1 is not prime. Res64: A07B808F38D16A87 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:28:00] 623*2^1432214-1 is not prime. Res64: 6A8C1C78BFC0B872 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:53:39] 683*2^1432214-1 is not prime. Res64: 19862937FCC5D978 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:53:39] 795*2^1432214-1 is not prime. Res64: 13981BB6C562DACE Time : 0.0 sec. user=mdettweiler [2016-06-12 20:53:39] 885*2^1432214-1 is not prime. Res64: 064E4F65071FCCB3 Time : 0.0 sec. user=mdettweiler [2016-06-12 20:53:39] 941*2^1432214-1 is not prime. Res64: D6E1A31FF104EF3C Time : 0.0 sec. user=mdettweiler [2016-06-12 20:53:40] 601*2^1432215-1 is not prime. Res64: 9E419D60A1230085 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:38] 819*2^1432215-1 is not prime. Res64: 1D0E99A8B4B19F03 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:39] 675*2^1432215-1 is not prime. Res64: 25D610CE45C50D40 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:40] 909*2^1432215-1 is not prime. Res64: 4316FD9DAE1BCE14 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:43] 657*2^1432216-1 is not prime. Res64: 79FF09526AA08D85 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:43] 723*2^1432216-1 is not prime. Res64: A77D0757FA28DA89 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:44] 755*2^1432216-1 is not prime. Res64: 769D5CD8CB19CE45 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:46] 711*2^1432215-1 is not prime. Res64: 9A3A871B80EB6E92 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:10:54] 723*2^1432215-1 is not prime. Res64: 386F561C33EAE694 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:16:28] 813*2^1432216-1 is not prime. Res64: F6277DE4EFC3CD52 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:16:29] 843*2^1432216-1 is not prime. Res64: 0AD817244A2F0228 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:16:29] 927*2^1432216-1 is not prime. Res64: 50639B347D3A580C Time : 0.0 sec. user=mdettweiler [2016-06-12 21:16:29] 975*2^1432216-1 is not prime. Res64: 561405389F16D27A Time : 0.0 sec. user=mdettweiler [2016-06-12 21:16:30] 601*2^1432217-1 is not prime. Res64: 519FBC96BBB56140 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:40:25] 649*2^1432217-1 is not prime. Res64: AF03D74B8980CF8A Time : 0.0 sec. user=mdettweiler [2016-06-12 21:40:26] 747*2^1432217-1 is not prime. Res64: 1607CFDEFC81983C Time : 0.0 sec. user=mdettweiler [2016-06-12 21:40:26] 871*2^1432217-1 is not prime. Res64: BB4459EA9A818989 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:40:26] 949*2^1432217-1 is not prime. Res64: AC8D8C9009DBA65F Time : 0.0 sec. user=mdettweiler [2016-06-12 21:40:27] 967*2^1432217-1 is not prime. Res64: 1A72E4BDFE2BBA79 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:57:21] 981*2^1432217-1 is not prime. Res64: 77DECC0521BC5485 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:57:21] 663*2^1432218-1 is not prime. Res64: 560FC5A91861C41C Time : 0.0 sec. user=mdettweiler [2016-06-12 21:57:22] 755*2^1432218-1 is not prime. Res64: 6E772E92E0AEC23E Time : 0.0 sec. user=mdettweiler [2016-06-12 21:57:22] 777*2^1432218-1 is not prime. Res64: CC4CB3B64FF07075 Time : 0.0 sec. user=mdettweiler [2016-06-12 21:57:22] 921*2^1432218-1 is not prime. Res64: 9D912AC380D680DB Time : 0.0 sec. user=mdettweiler [2016-06-12 22:03:14] 927*2^1432218-1 is not prime. Res64: 96CB355066C9E795 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:03:15] 945*2^1432218-1 is not prime. Res64: 6DEA0804105E010D Time : 0.0 sec. user=mdettweiler [2016-06-12 22:03:16] 963*2^1432218-1 is not prime. Res64: 3422517ACF8BCFA3 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:03:16] 603*2^1432219-1 is not prime. Res64: 2C1A941D02C8DAB3 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:03:17] 759*2^1432219-1 is not prime. Res64: 99544E370BDA8F78 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:26:59] 829*2^1432219-1 is not prime. Res64: 99BB52DFDD81ED30 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:27:00] 843*2^1432219-1 is not prime. Res64: 3DD49FC15E2FB635 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:27:00] 861*2^1432219-1 is not prime. Res64: 4823311D69390A52 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:27:01] 635*2^1432220-1 is not prime. Res64: C048A05C36F9754A Time : 0.0 sec. user=mdettweiler [2016-06-12 22:27:01] 647*2^1432220-1 is not prime. Res64: CF5F7FF9A930AD2A Time : 0.0 sec. user=mdettweiler [2016-06-12 22:43:49] 659*2^1432220-1 is not prime. Res64: 8D1992D4C73D33B4 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:43:50] 935*2^1432220-1 is not prime. Res64: E787CBF822318A00 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:43:50] 999*2^1432220-1 is not prime. Res64: E3FD2295081F789B Time : 0.0 sec. user=mdettweiler [2016-06-12 22:43:50] 607*2^1432221-1 is not prime. Res64: 78F475314AA07DFD Time : 0.0 sec. user=mdettweiler [2016-06-12 22:43:51] 609*2^1432221-1 is not prime. Res64: 11D2DDE3C8FF50A3 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:50:03] 639*2^1432221-1 is not prime. Res64: 7A6505311846D8F9 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:50:04] 651*2^1432221-1 is not prime. Res64: 0B2FF0CFBFE77D61 Time : 0.0 sec. user=mdettweiler [2016-06-12 22:50:04] 709*2^1432221-1 is not prime. Res64: B8ABAD1B7E54F04A Time : 0.0 sec. user=mdettweiler [2016-06-12 22:50:04] 777*2^1432221-1 is not prime. Res64: A9D8C4FAAD3E788E Time : 0.0 sec. user=mdettweiler [2016-06-12 22:50:05] 955*2^1432221-1 is not prime. Res64: E5089689BCB36EC3 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:13:41] 651*2^1432222-1 is not prime. Res64: A5C64013E8A520A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:13:41] 665*2^1432222-1 is not prime. Res64: F4E1DF40D9277FE6 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:13:42] 681*2^1432222-1 is not prime. Res64: 293857C5EF000634 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:13:42] 723*2^1432222-1 is not prime. Res64: 6BB49F737A91FAD2 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:13:43] 743*2^1432222-1 is not prime. Res64: 203242E86CFB1C1B Time : 0.0 sec. user=mdettweiler [2016-06-12 23:30:17] 777*2^1432222-1 is not prime. Res64: F66D2353435E76A1 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:30:18] 887*2^1432222-1 is not prime. Res64: A88885B5A4C09541 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:30:18] 917*2^1432222-1 is not prime. Res64: A62C384767934577 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:30:18] 981*2^1432222-1 is not prime. Res64: 87EDBEC4C4B217C4 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:30:19] 995*2^1432222-1 is not prime. Res64: 7C8A0D4D73DA398D Time : 0.0 sec. user=mdettweiler [2016-06-12 23:36:39] 603*2^1432223-1 is not prime. Res64: 1E97C88C7ACF3EF7 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:36:40] 621*2^1432223-1 is not prime. Res64: 816AEC5F69EAD8AD Time : 0.0 sec. user=mdettweiler [2016-06-12 23:36:40] 649*2^1432223-1 is not prime. Res64: 5A136527F998308B Time : 0.0 sec. user=mdettweiler [2016-06-12 23:36:41] 855*2^1432223-1 is not prime. Res64: DFBB99DE7181A154 Time : 0.0 sec. user=mdettweiler [2016-06-12 23:36:41] 861*2^1432223-1 is not prime. Res64: AA64DA8BC1A3879A Time : 0.0 sec. user=mdettweiler [2016-06-13 00:00:25] 999*2^1432223-1 is not prime. Res64: E4C13E267244BBD8 Time : 0.0 sec. user=mdettweiler [2016-06-13 00:00:25] 629*2^1432224-1 is not prime. Res64: 6055F096170A296C Time : 0.0 sec. user=mdettweiler [2016-06-13 00:00:26] 705*2^1432224-1 is not prime. Res64: D10787720CB6295B Time : 0.0 sec. user=mdettweiler [2016-06-13 00:00:26] 717*2^1432224-1 is not prime. Res64: 97CB42D92C36E58E Time : 0.0 sec. user=mdettweiler [2016-06-13 00:00:26] 849*2^1432224-1 is not prime. Res64: 607F0913114406DD Time : 0.0 sec.