user=mdettweiler [2016-07-30 00:10:27] 775*2^1436221-1 is not prime. Res64: 836687517940A80A Time : 0.0 sec. user=mdettweiler [2016-07-30 00:10:28] 819*2^1436221-1 is not prime. Res64: F48F00DB1887330F Time : 0.0 sec. user=mdettweiler [2016-07-30 00:10:28] 825*2^1436221-1 is not prime. Res64: 06F764BED87F192C Time : 0.0 sec. user=mdettweiler [2016-07-30 00:10:28] 855*2^1436221-1 is not prime. Res64: BF77F4152353435C Time : 0.0 sec. user=mdettweiler [2016-07-30 00:10:29] 937*2^1436221-1 is not prime. Res64: 1ACD45458D779DA4 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:24:34] 945*2^1436221-1 is not prime. Res64: 3FD0567FED2DD9F4 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:24:35] 955*2^1436221-1 is not prime. Res64: 94B0EE69ED6E7C57 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:24:35] 957*2^1436221-1 is not prime. Res64: 75443174676BAA0F Time : 0.0 sec. user=mdettweiler [2016-07-30 00:24:35] 997*2^1436221-1 is not prime. Res64: F96278396EFF9954 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:24:36] 999*2^1436221-1 is not prime. Res64: 81A982CAA72DF12E Time : 0.0 sec. user=mdettweiler [2016-07-30 00:27:51] 617*2^1436222-1 is not prime. Res64: 506A264A8EAF8306 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:27:53] 635*2^1436222-1 is not prime. Res64: 84B4DBD5281181F7 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:27:55] 711*2^1436222-1 is not prime. Res64: 117E40C53EF0FA05 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:27:57] 761*2^1436222-1 is not prime. Res64: A6FC9F67D81F5114 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:28:00] 767*2^1436222-1 is not prime. Res64: 8FD7B77ACC98FF09 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:54:38] 825*2^1436222-1 is not prime. Res64: 3B97A2936C27678B Time : 0.0 sec. user=mdettweiler [2016-07-30 00:54:39] 885*2^1436222-1 is not prime. Res64: 371683189773AD17 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:54:42] 893*2^1436222-1 is not prime. Res64: 1DB919ECC1FA3D03 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:54:44] 935*2^1436222-1 is not prime. Res64: 3CCBD7BED58F0B48 Time : 0.0 sec. user=mdettweiler [2016-07-30 00:54:46] 621*2^1436223-1 is not prime. Res64: 100199CAD83E533E Time : 0.0 sec. user=mdettweiler [2016-07-30 01:08:41] 739*2^1436223-1 is not prime. Res64: B27922E1A3F295D9 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:08:41] 775*2^1436223-1 is not prime. Res64: 082F629994C4AC01 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:08:42] 789*2^1436223-1 is not prime. Res64: 57F6209428023D99 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:08:42] 805*2^1436223-1 is not prime. Res64: D908DE739576FD76 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:08:43] 891*2^1436223-1 is not prime. Res64: 958DAFDE5B8B1E6F Time : 0.0 sec. user=mdettweiler [2016-07-30 01:12:03] 895*2^1436223-1 is not prime. Res64: 075144B67B9214AE Time : 0.0 sec. user=mdettweiler [2016-07-30 01:12:04] 635*2^1436224-1 is not prime. Res64: 226E1F8341F8558E Time : 0.0 sec. user=mdettweiler [2016-07-30 01:12:04] 699*2^1436224-1 is not prime. Res64: 448880B6035300BB Time : 0.0 sec. user=mdettweiler [2016-07-30 01:12:05] 759*2^1436224-1 is not prime. Res64: A09EE9FD4F4B1809 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:12:05] 995*2^1436224-1 is not prime. Res64: 2AB2FF05E3CF404B Time : 0.0 sec. user=mdettweiler [2016-07-30 01:38:50] 705*2^1436225-1 is not prime. Res64: A8214CF9E14CD5D7 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:38:51] 781*2^1436225-1 is not prime. Res64: 7E49EC443D504C24 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:38:51] 955*2^1436225-1 is not prime. Res64: 15F041E239AFDADA Time : 0.0 sec. user=mdettweiler [2016-07-30 01:38:52] 765*2^1436226-1 is not prime. Res64: 41BDEE8DAD437A47 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:38:52] 767*2^1436226-1 is not prime. Res64: 0E423522B68DA136 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:52:53] 821*2^1436226-1 is not prime. Res64: 519EC7834262D564 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:52:56] 887*2^1436226-1 is not prime. Res64: B3E462C65087611B Time : 0.0 sec. user=mdettweiler [2016-07-30 01:52:58] 903*2^1436226-1 is not prime. Res64: B5E79A5293734860 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:53:00] 947*2^1436226-1 is not prime. Res64: EC287545EB3727B4 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:53:02] 615*2^1436227-1 is not prime. Res64: 5D15EB16E17AF7C6 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:56:18] 619*2^1436227-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-07-30 01:56:21] 621*2^1436227-1 is not prime. Res64: C226F9A7B4A89C30 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:56:22] 631*2^1436227-1 is not prime. Res64: 8EC7F6AA6AAE7DD5 Time : 0.0 sec. user=mdettweiler [2016-07-30 01:56:22] 703*2^1436227-1 is not prime. Res64: 496BE0949AFFAEFA Time : 0.0 sec. user=mdettweiler [2016-07-30 01:56:22] 765*2^1436227-1 is not prime. Res64: 75CC1D80B1033C1E Time : 0.0 sec. user=mdettweiler [2016-07-30 02:23:05] 795*2^1436228-1 is not prime. Res64: BF7B83A10A2D1DAE Time : 0.0 sec. user=mdettweiler [2016-07-30 02:23:05] 843*2^1436228-1 is not prime. Res64: 0F0C4EB8DB46926F Time : 0.0 sec. user=mdettweiler [2016-07-30 02:23:06] 867*2^1436228-1 is not prime. Res64: 54A4ABCBAD1FC2E5 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:23:06] 897*2^1436228-1 is not prime. Res64: 3B993BC4DCF897B6 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:23:06] 953*2^1436228-1 is not prime. Res64: A17FB239E62B5809 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:37:30] 959*2^1436228-1 is not prime. Res64: CC42D5914C286222 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:37:30] 661*2^1436229-1 is not prime. Res64: D45D4C452A58E1F2 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:37:31] 711*2^1436229-1 is not prime. Res64: 9996BBCE93A4F2B4 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:37:31] 741*2^1436229-1 is not prime. Res64: D2FA558EBAA64BE1 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:37:31] 795*2^1436229-1 is not prime. Res64: 92301048A0B9B3C3 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:40:35] 867*2^1436229-1 is not prime. Res64: 395AAAAC28B29F3E Time : 0.0 sec. user=mdettweiler [2016-07-30 02:40:38] 927*2^1436229-1 is not prime. Res64: 288BBC09FF415F54 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:40:41] 945*2^1436229-1 is not prime. Res64: 5349A8AD82784F73 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:40:44] 975*2^1436229-1 is not prime. Res64: 67CDCDF7AE222319 Time : 0.0 sec. user=mdettweiler [2016-07-30 02:40:48] 717*2^1436230-1 is not prime. Res64: CC623D5E54685819 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:21:53] 857*2^1436230-1 is not prime. Res64: 0A615BB1A8231793 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:21:54] 863*2^1436230-1 is not prime. Res64: 399295D4FCF77CA4 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:21:54] 873*2^1436230-1 is not prime. Res64: A34D6BECC32B1D51 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:21:54] 885*2^1436230-1 is not prime. Res64: D45BD99BAA756015 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:21:55] 975*2^1436230-1 is not prime. Res64: 3B550A3DEECB10EF Time : 0.0 sec. user=mdettweiler [2016-07-30 03:25:14] 693*2^1436231-1 is not prime. Res64: 2A49CFA8C4473FDA Time : 0.0 sec. user=mdettweiler [2016-07-30 03:25:15] 703*2^1436231-1 is not prime. Res64: EE380AAC8DFD0896 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:25:16] 711*2^1436231-1 is not prime. Res64: 3CA4D42ACA70FA61 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:25:17] 715*2^1436231-1 is not prime. Res64: 763C05BDADA89AA2 Time : 0.0 sec. user=mdettweiler [2016-07-30 03:25:18] 895*2^1436231-1 is not prime. Res64: FE15CA428B21CC0C Time : 0.0 sec. user=mdettweiler [2016-07-30 04:06:37] 609*2^1436232-1 is not prime. Res64: 3AB78E863D67E244 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:06:37] 635*2^1436232-1 is not prime. Res64: 3FECB5603DB35933 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:06:38] 737*2^1436232-1 is not prime. Res64: 6CEDAD74C2F79CAA Time : 0.0 sec. user=mdettweiler [2016-07-30 04:06:38] 747*2^1436232-1 is not prime. Res64: E51D0D1F8416E7A2 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:06:38] 829*2^1436233-1 is not prime. Res64: 4A118D3061DC22EE Time : 0.0 sec. user=mdettweiler [2016-07-30 04:09:52] 861*2^1436233-1 is not prime. Res64: 7968C32E3C48962A Time : 0.0 sec. user=mdettweiler [2016-07-30 04:09:55] 945*2^1436233-1 is not prime. Res64: D40F2968E2191A3D Time : 0.0 sec. user=mdettweiler [2016-07-30 04:09:57] 951*2^1436233-1 is not prime. Res64: 99109AAA404439D1 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:09:59] 955*2^1436233-1 is not prime. Res64: 4EF5F19AB8FA9218 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:10:01] 671*2^1436234-1 is not prime. Res64: 860219E016D0E3C4 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:51:24] 711*2^1436234-1 is not prime. Res64: FC286CB3F8FCF630 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:51:25] 917*2^1436234-1 is not prime. Res64: DF7A97979098C9B8 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:51:25] 945*2^1436234-1 is not prime. Res64: 49B3D899430C80F6 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:51:25] 601*2^1436235-1 is not prime. Res64: 64509D3B7535BEDD Time : 0.0 sec. user=mdettweiler [2016-07-30 04:51:26] 633*2^1436235-1 is not prime. Res64: 26008AC1247E4EB4 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:54:43] 639*2^1436235-1 is not prime. Res64: 14CE462BAC00D2FC Time : 0.0 sec. user=mdettweiler [2016-07-30 04:54:43] 859*2^1436235-1 is not prime. Res64: C2A725E4FD9AB840 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:54:43] 871*2^1436235-1 is not prime. Res64: 84FA1928DDEB7A65 Time : 0.0 sec. user=mdettweiler [2016-07-30 04:54:44] 909*2^1436235-1 is not prime. Res64: B8B3904547A585EA Time : 0.0 sec. user=mdettweiler [2016-07-30 04:54:44] 943*2^1436235-1 is not prime. Res64: 88D0B72E30DF0BEF Time : 0.0 sec. user=mdettweiler [2016-07-30 05:36:08] 603*2^1436236-1 is not prime. Res64: 54F40F672BC7AF84 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:36:08] 609*2^1436236-1 is not prime. Res64: E3231B2D6E3982CB Time : 0.0 sec. user=mdettweiler [2016-07-30 05:36:09] 639*2^1436236-1 is not prime. Res64: 1E5ED361282D6C61 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:36:09] 717*2^1436236-1 is not prime. Res64: 0EC82D069E0EE9EB Time : 0.0 sec. user=mdettweiler [2016-07-30 05:36:09] 765*2^1436236-1 is not prime. Res64: 9800F3B35E2F400D Time : 0.0 sec. user=mdettweiler [2016-07-30 05:39:23] 785*2^1436236-1 is not prime. Res64: F152EE11FDDB087C Time : 0.0 sec. user=mdettweiler [2016-07-30 05:39:26] 875*2^1436236-1 is not prime. Res64: 5775404189A96957 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:39:29] 983*2^1436236-1 is not prime. Res64: 8104DA9299A2C339 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:39:33] 649*2^1436237-1 is not prime. Res64: 382E4C1EC36D1998 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:39:36] 759*2^1436237-1 is not prime. Res64: A4F50138EF5AA2C2 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:49:22] 761*2^1436230-1 is not prime. Res64: 16011922E13AB850 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:49:23] 765*2^1436230-1 is not prime. Res64: 373F4DFD83331F94 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:49:23] 777*2^1436230-1 is not prime. Res64: 7DA284B662EFB037 Time : 0.0 sec. user=mdettweiler [2016-07-30 05:49:23] 791*2^1436230-1 is not prime. Res64: 67D4D373676972EA Time : 0.0 sec. user=mdettweiler [2016-07-30 05:49:24] 843*2^1436230-1 is not prime. Res64: 126326252F2AD1EC Time : 0.0 sec. user=mdettweiler [2016-07-30 06:20:28] 777*2^1436237-1 is not prime. Res64: D0543D52540B9570 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:20:30] 889*2^1436237-1 is not prime. Res64: 2CBE0820FE8B0A5E Time : 0.0 sec. user=mdettweiler [2016-07-30 06:20:32] 945*2^1436237-1 is not prime. Res64: BF1A0847215EB60C Time : 0.0 sec. user=mdettweiler [2016-07-30 06:20:35] 611*2^1436238-1 is not prime. Res64: A5F83B54F4E9CD5D Time : 0.0 sec. user=mdettweiler [2016-07-30 06:20:37] 677*2^1436238-1 is not prime. Res64: D617EDA9E7F947BA Time : 0.0 sec. user=mdettweiler [2016-07-30 06:23:49] 625*2^1436239-1 is not prime. Res64: 3A32E752992F7E5F Time : 0.0 sec. user=mdettweiler [2016-07-30 06:23:49] 769*2^1436239-1 is not prime. Res64: 3A85027202528658 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:23:49] 813*2^1436239-1 is not prime. Res64: B9E3A01933F3AEB3 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:23:50] 843*2^1436239-1 is not prime. Res64: C263691CD16F9029 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:23:50] 853*2^1436239-1 is not prime. Res64: EBA7200A993DBD26 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:33:33] 873*2^1436239-1 is not prime. Res64: 3BC9805891EAE8B0 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:33:34] 891*2^1436239-1 is not prime. Res64: 1699AAB7504B599A Time : 0.0 sec. user=mdettweiler [2016-07-30 06:33:34] 925*2^1436239-1 is not prime. Res64: E5EDE107220312B4 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:33:34] 951*2^1436239-1 is not prime. Res64: 2498006A76F2DCB5 Time : 0.0 sec. user=mdettweiler [2016-07-30 06:33:35] 645*2^1436240-1 is not prime. Res64: 3670FC46CA50C0B6 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:04:45] 669*2^1436240-1 is not prime. Res64: 2C0897529F99EFDD Time : 0.0 sec. user=mdettweiler [2016-07-30 07:04:47] 813*2^1436240-1 is not prime. Res64: CF33AE97A9666E0D Time : 0.0 sec. user=mdettweiler [2016-07-30 07:04:48] 843*2^1436240-1 is not prime. Res64: A8A4F24DC79F5081 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:04:49] 875*2^1436240-1 is not prime. Res64: D62AD15054BC4A2C Time : 0.0 sec. user=mdettweiler [2016-07-30 07:04:51] 929*2^1436240-1 is not prime. Res64: 822020B2517FABA7 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:07:57] 935*2^1436240-1 is not prime. Res64: B666FFA33EB3A718 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:07:58] 679*2^1436241-1 is not prime. Res64: 20B0F38547EB57D0 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:08:00] 681*2^1436241-1 is not prime. Res64: 67858E58387ADDF9 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:08:01] 711*2^1436241-1 is not prime. Res64: 4D289DCBB787C538 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:08:02] 735*2^1436241-1 is not prime. Res64: DDBB3BB33302EBA1 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:17:43] 745*2^1436241-1 is not prime. Res64: C317A61132BEC3AF Time : 0.0 sec. user=mdettweiler [2016-07-30 07:17:43] 865*2^1436241-1 is not prime. Res64: A4EC91510C65691C Time : 0.0 sec. user=mdettweiler [2016-07-30 07:17:43] 877*2^1436241-1 is not prime. Res64: 1C44552A0CABE4B4 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:17:44] 901*2^1436241-1 is not prime. Res64: 011D932D87AA9DF1 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:17:44] 975*2^1436241-1 is not prime. Res64: 5809225CC04F7363 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:49:14] 665*2^1436242-1 is not prime. Res64: 107FAD0D99FFCD06 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:49:14] 735*2^1436242-1 is not prime. Res64: A25A37108DA88EA1 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:49:15] 803*2^1436242-1 is not prime. Res64: CD3DAC06E8621985 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:49:15] 815*2^1436242-1 is not prime. Res64: 763E386CA85DB665 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:49:16] 843*2^1436242-1 is not prime. Res64: 9A8B0FE6322109C6 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:52:27] 947*2^1436242-1 is not prime. Res64: C7D98767EE311D99 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:52:27] 679*2^1436243-1 is not prime. Res64: B2A4EAD1FDF67067 Time : 0.0 sec. user=mdettweiler [2016-07-30 07:52:27] 705*2^1436243-1 is not prime. Res64: AB6328CE8E35736D Time : 0.0 sec. user=mdettweiler [2016-07-30 07:52:28] 981*2^1436243-1 is not prime. Res64: B72D6F6CCD628E8A Time : 0.0 sec. user=mdettweiler [2016-07-30 07:52:28] 985*2^1436243-1 is not prime. Res64: 44D9C029BAD6B956 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:01:51] 993*2^1436243-1 is not prime. Res64: 51F767DB0246330B Time : 0.0 sec. user=mdettweiler [2016-07-30 08:01:52] 615*2^1436244-1 is not prime. Res64: 5F9CA3DD8BD61FA3 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:01:54] 693*2^1436244-1 is not prime. Res64: 225F80194C9D6B91 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:01:54] 705*2^1436244-1 is not prime. Res64: 9B1C58EAF0EE836B Time : 0.0 sec. user=mdettweiler [2016-07-30 08:01:55] 873*2^1436244-1 is not prime. Res64: 4DF778704D4065A7 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:33:20] 945*2^1436244-1 is not prime. Res64: 285D1A58C7989F95 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:33:21] 975*2^1436244-1 is not prime. Res64: E1C3BACE8BCDA451 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:33:21] 687*2^1436245-1 is not prime. Res64: 45583738D4E460EF Time : 0.0 sec. user=mdettweiler [2016-07-30 08:33:21] 825*2^1436245-1 is not prime. Res64: F0BB5DCC3EA66EAE Time : 0.0 sec. user=mdettweiler [2016-07-30 08:33:22] 847*2^1436245-1 is not prime. Res64: DDBC97EB7A7B791F Time : 0.0 sec. user=mdettweiler [2016-07-30 08:36:32] 683*2^1436246-1 is not prime. Res64: E964234AB8025319 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:36:32] 707*2^1436246-1 is not prime. Res64: 42884C4ACE8DF944 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:36:32] 741*2^1436246-1 is not prime. Res64: 9B32F02E64597B22 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:36:33] 843*2^1436246-1 is not prime. Res64: 78B5C224AC25F426 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:36:33] 867*2^1436246-1 is not prime. Res64: CC3F2D86EB39756D Time : 0.0 sec. user=mdettweiler [2016-07-30 08:46:10] 921*2^1436246-1 is not prime. Res64: F9E4CE8D49C6514F Time : 0.0 sec. user=mdettweiler [2016-07-30 08:46:10] 953*2^1436246-1 is not prime. Res64: 58324575AC276B68 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:46:10] 957*2^1436246-1 is not prime. Res64: 9AB5F37BC6CA4DB1 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:46:11] 963*2^1436246-1 is not prime. Res64: D496201BB0C443F0 Time : 0.0 sec. user=mdettweiler [2016-07-30 08:46:11] 687*2^1436248-1 is not prime. Res64: 6A98E5CDD71BB39D Time : 0.0 sec. user=mdettweiler [2016-07-30 09:17:32] 735*2^1436248-1 is not prime. Res64: DDB21B8D40A71FAE Time : 0.0 sec. user=mdettweiler [2016-07-30 09:17:32] 747*2^1436248-1 is not prime. Res64: 9573799012397173 Time : 0.0 sec. user=mdettweiler [2016-07-30 09:17:32] 887*2^1436248-1 is not prime. Res64: 03DD49F9D208781E Time : 0.0 sec. user=mdettweiler [2016-07-30 09:17:33] 899*2^1436248-1 is not prime. Res64: 791AC6DCC9EE1E7C Time : 0.0 sec. user=mdettweiler [2016-07-30 09:17:33] 741*2^1436249-1 is not prime. Res64: A459E88AF8E94A3A Time : 0.0 sec. user=mdettweiler [2016-07-30 09:20:40] 745*2^1436249-1 is not prime. Res64: 03E4A50D708D20A4 Time : 0.0 sec. user=mdettweiler [2016-07-30 09:20:40] 781*2^1436249-1 is not prime. Res64: FCD1AF9B08CE81A9 Time : 0.0 sec. user=mdettweiler [2016-07-30 09:20:40] 811*2^1436249-1 is not prime. Res64: 3526047DCC203307 Time : 0.0 sec. user=mdettweiler [2016-07-30 09:20:41] 819*2^1436249-1 is not prime. Res64: 8D2FD09B8041EAEB Time : 0.0 sec. user=mdettweiler [2016-07-30 09:20:41] 855*2^1436249-1 is not prime. Res64: B8CE0DDE9E6C574F Time : 0.0 sec. user=mdettweiler [2016-07-30 09:30:20] 925*2^1436249-1 is not prime. Res64: 5363DF9539CB228B Time : 0.0 sec. user=mdettweiler [2016-07-30 09:30:20] 949*2^1436249-1 is not prime. Res64: F234FA1B1847740D Time : 0.0 sec. user=mdettweiler [2016-07-30 09:30:20] 967*2^1436249-1 is not prime. Res64: F04A81ED4B5E3D60 Time : 0.0 sec. user=mdettweiler [2016-07-30 09:30:21] 651*2^1436250-1 is not prime. Res64: 09CD3894010CE6B3 Time : 0.0 sec. user=mdettweiler [2016-07-30 09:30:21] 735*2^1436250-1 is not prime. Res64: 6242565EBB5B3227 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:01:44] 951*2^1436250-1 is not prime. Res64: FCBA33787A8D4774 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:01:45] 1001*2^1436250-1 is not prime. Res64: BBF7F5E798612229 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:01:45] 759*2^1436251-1 is not prime. Res64: 8D3C231CC58C6A40 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:01:46] 841*2^1436251-1 is not prime. Res64: F5DAEA7A7AADB675 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:01:47] 861*2^1436251-1 is not prime. Res64: 28C701C3AD75F481 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:04:50] 913*2^1436251-1 is not prime. Res64: 8679908EE1CACE33 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:04:51] 647*2^1436252-1 is not prime. Res64: F589C02665EC8C51 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:04:52] 665*2^1436252-1 is not prime. Res64: DECFBD27325A075C Time : 0.0 sec. user=mdettweiler [2016-07-30 10:04:53] 755*2^1436252-1 is not prime. Res64: 2198ADF9F144C9E1 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:04:53] 825*2^1436252-1 is not prime. Res64: 402C3962ACAF24C3 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:14:26] 935*2^1436252-1 is not prime. Res64: 49B3B1B5AF153C9C Time : 0.0 sec. user=mdettweiler [2016-07-30 10:14:27] 609*2^1436253-1 is not prime. Res64: D238BF5EF3686B14 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:14:28] 759*2^1436253-1 is not prime. Res64: ED84ACC61F6E64C4 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:14:28] 847*2^1436253-1 is not prime. Res64: C70B0495F7BADA7C Time : 0.0 sec. user=mdettweiler [2016-07-30 10:14:29] 895*2^1436253-1 is not prime. Res64: 9F47752DE0AED5BD Time : 0.0 sec. user=mdettweiler [2016-07-30 10:45:58] 951*2^1436253-1 is not prime. Res64: 12080DB809BD1763 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:45:59] 741*2^1436254-1 is not prime. Res64: 85C7D8EB8044E66B Time : 0.0 sec. user=mdettweiler [2016-07-30 10:45:59] 857*2^1436254-1 is not prime. Res64: 5D3FD81877751EA1 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:46:00] 965*2^1436254-1 is not prime. Res64: 0D6B14097D58DDAE Time : 0.0 sec. user=mdettweiler [2016-07-30 10:46:00] 983*2^1436254-1 is not prime. Res64: DD0829C3436E884A Time : 0.0 sec. user=mdettweiler [2016-07-30 10:49:00] 645*2^1436255-1 is not prime. Res64: 454A0417BC1623FD Time : 0.0 sec. user=mdettweiler [2016-07-30 10:49:01] 735*2^1436255-1 is not prime. Res64: E3832B8A14190486 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:49:01] 909*2^1436255-1 is not prime. Res64: CC8FCE8420BE53D9 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:49:01] 949*2^1436255-1 is not prime. Res64: A030AB7442F303DE Time : 0.0 sec. user=mdettweiler [2016-07-30 10:49:02] 963*2^1436255-1 is not prime. Res64: FD5AEFB45321A8FB Time : 0.0 sec. user=mdettweiler [2016-07-30 10:58:42] 639*2^1436256-1 is not prime. Res64: 697C0A12E210E5D6 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:58:42] 689*2^1436256-1 is not prime. Res64: EFE9B39516F4AA01 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:58:43] 693*2^1436256-1 is not prime. Res64: C0F0717DB0766EE4 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:58:43] 707*2^1436256-1 is not prime. Res64: E4DE8660187F3551 Time : 0.0 sec. user=mdettweiler [2016-07-30 10:58:44] 735*2^1436256-1 is not prime. Res64: C2BDDDA2C0B8B570 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:30:26] 849*2^1436256-1 is not prime. Res64: 73F5113CD2B904F8 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:30:26] 893*2^1436256-1 is not prime. Res64: EB214E211E81BF19 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:30:27] 999*2^1436256-1 is not prime. Res64: 815C9F818DF3F45F Time : 0.0 sec. user=mdettweiler [2016-07-30 11:30:27] 727*2^1436257-1 is not prime. Res64: 10660A80DBF0B3A7 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:30:27] 817*2^1436257-1 is not prime. Res64: E73B3015DC8196FC Time : 0.0 sec. user=mdettweiler [2016-07-30 11:33:32] 889*2^1436257-1 is not prime. Res64: 63ADC517C56C2724 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:33:33] 937*2^1436257-1 is not prime. Res64: 5423ED7F1062B458 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:33:33] 957*2^1436257-1 is not prime. Res64: AA55D69BF6B1CD7C Time : 0.0 sec. user=mdettweiler [2016-07-30 11:33:33] 677*2^1436258-1 is not prime. Res64: DB58E0560AB3FAA9 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:33:33] 1001*2^1436258-1 is not prime. Res64: 948B86557B5EFE8A Time : 0.0 sec. user=mdettweiler [2016-07-30 11:44:34] 609*2^1436259-1 is not prime. Res64: 5BF9B293DDEAA056 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:44:35] 613*2^1436259-1 is not prime. Res64: A5D9555EE7007253 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:44:35] 615*2^1436259-1 is not prime. Res64: 0F9787C85E2B04E7 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:44:36] 621*2^1436259-1 is not prime. Res64: A08A9391A65B48B2 Time : 0.0 sec. user=mdettweiler [2016-07-30 11:44:36] 649*2^1436259-1 is not prime. Res64: FBF11DB4356DD0AB Time : 0.0 sec. user=mdettweiler [2016-07-30 12:17:45] 675*2^1436259-1 is not prime. Res64: 17E49DE7D0C837A0 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:17:46] 769*2^1436259-1 is not prime. Res64: BA57E85DA517EA51 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:17:46] 825*2^1436259-1 is not prime. Res64: 9EFF5C948262DD74 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:17:47] 919*2^1436259-1 is not prime. Res64: DB58D777FC2DD662 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:17:47] 949*2^1436259-1 is not prime. Res64: D018F4368140355A Time : 0.0 sec. user=mdettweiler [2016-07-30 12:20:38] 665*2^1436260-1 is not prime. Res64: E35EEFAB0D06F741 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:20:39] 677*2^1436260-1 is not prime. Res64: 83A3DBAB9FECB366 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:20:39] 687*2^1436260-1 is not prime. Res64: FA8B1FC721CBBB5C Time : 0.0 sec. user=mdettweiler [2016-07-30 12:20:40] 699*2^1436260-1 is not prime. Res64: 4AA4F4C992920A71 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:20:40] 773*2^1436260-1 is not prime. Res64: 91F7FACDD638B69F Time : 0.0 sec. user=mdettweiler [2016-07-30 12:30:25] 783*2^1436260-1 is not prime. Res64: FF5AC72DBA745BC7 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:30:26] 803*2^1436260-1 is not prime. Res64: B2F90EFCF5B3F131 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:30:26] 827*2^1436260-1 is not prime. Res64: 8A4739A39625E071 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:30:27] 927*2^1436260-1 is not prime. Res64: AA74AE18DC065CE4 Time : 0.0 sec. user=mdettweiler [2016-07-30 12:30:27] 965*2^1436260-1 is not prime. Res64: 9FDD5082EB173832 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:02:00] 669*2^1436261-1 is not prime. Res64: B66406928F9AF05B Time : 0.0 sec. user=mdettweiler [2016-07-30 13:02:01] 717*2^1436261-1 is not prime. Res64: 7C7A9256DF5AC8DF Time : 0.0 sec. user=mdettweiler [2016-07-30 13:02:02] 775*2^1436261-1 is not prime. Res64: 2C5DA0DBCE9E675A Time : 0.0 sec. user=mdettweiler [2016-07-30 13:02:03] 879*2^1436261-1 is not prime. Res64: 91CC64D9CB0C6010 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:02:04] 931*2^1436261-1 is not prime. Res64: 9E5E6E2522161075 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:05:00] 937*2^1436261-1 is not prime. Res64: 2259F2C6D096F3E5 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:05:01] 945*2^1436261-1 is not prime. Res64: 542FD7248744B4DF Time : 0.0 sec. user=mdettweiler [2016-07-30 13:05:02] 955*2^1436261-1 is not prime. Res64: 73D06CD7EC58DBE3 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:05:03] 987*2^1436261-1 is not prime. Res64: F60923A49A2D6240 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:05:07] 635*2^1436262-1 is not prime. Res64: 4E684DD20FE7DA7D Time : 0.0 sec. user=mdettweiler [2016-07-30 13:14:43] 681*2^1436262-1 is not prime. Res64: 2901EB5016874FC4 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:14:44] 683*2^1436262-1 is not prime. Res64: 4B558C66AE049391 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:14:45] 801*2^1436262-1 is not prime. Res64: 052D6A0DD72DF4D4 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:14:46] 833*2^1436262-1 is not prime. Res64: 970B9FEBFB045E7A Time : 0.0 sec. user=mdettweiler [2016-07-30 13:14:46] 873*2^1436262-1 is not prime. Res64: 462A5AEC5E4144EC Time : 0.0 sec. user=mdettweiler [2016-07-30 13:46:24] 887*2^1436262-1 is not prime. Res64: 1B7087AF80CBA0CC Time : 0.0 sec. user=mdettweiler [2016-07-30 13:46:24] 903*2^1436262-1 is not prime. Res64: 39CD696F42835E20 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:46:24] 705*2^1436263-1 is not prime. Res64: 23CC9948610ADB2D Time : 0.0 sec. user=mdettweiler [2016-07-30 13:46:25] 831*2^1436263-1 is not prime. Res64: 7B5C67DA01D68319 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:46:25] 859*2^1436263-1 is not prime. Res64: B60E44CA9F7DBFAB Time : 0.0 sec. user=juhehe [2016-07-30 13:49:00] 691*2^1436265-1 is not prime. Res64: 7E52B79B3855C21D Time : 0.0 sec. user=mdettweiler [2016-07-30 13:49:35] 657*2^1436264-1 is not prime. Res64: FC35970EECB56321 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:49:36] 665*2^1436264-1 is not prime. Res64: F07E69038052CB0E Time : 0.0 sec. user=mdettweiler [2016-07-30 13:49:36] 833*2^1436264-1 is not prime. Res64: 89B778A554780451 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:49:37] 959*2^1436264-1 is not prime. Res64: 233046B094B3845C Time : 0.0 sec. user=mdettweiler [2016-07-30 13:49:37] 667*2^1436265-1 is not prime. Res64: A516670BC5FCF8E3 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:58:59] 711*2^1436265-1 is not prime. Res64: 601B44DF82A5087E Time : 0.0 sec. user=mdettweiler [2016-07-30 13:59:00] 739*2^1436265-1 is not prime. Res64: 4482E0FE1C6AF048 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:59:00] 795*2^1436265-1 is not prime. Res64: 68762A5586C97552 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:59:00] 831*2^1436265-1 is not prime. Res64: 5A6CBBA59C4ADE37 Time : 0.0 sec. user=mdettweiler [2016-07-30 13:59:01] 921*2^1436265-1 is not prime. Res64: 670DEAFD0D73B57B Time : 0.0 sec. user=mdettweiler [2016-07-30 14:31:26] 611*2^1436266-1 is not prime. Res64: 77D6A09600A59C8C Time : 0.0 sec. user=mdettweiler [2016-07-30 14:31:26] 645*2^1436266-1 is not prime. Res64: E0BAB4EEDAA20575 Time : 0.0 sec. user=mdettweiler [2016-07-30 14:31:26] 647*2^1436266-1 is not prime. Res64: 34CDBDCECC9319DB Time : 0.0 sec. user=mdettweiler [2016-07-30 14:31:27] 677*2^1436266-1 is not prime. Res64: D789065009C71C5A Time : 0.0 sec. user=mdettweiler [2016-07-30 14:31:27] 717*2^1436266-1 is not prime. Res64: BB3745567D5BFDC1 Time : 0.0 sec. user=mdettweiler [2016-07-30 14:34:45] 833*2^1436266-1 is not prime. Res64: ADFB446AB95EDA1B Time : 0.0 sec. user=mdettweiler [2016-07-30 14:34:45] 857*2^1436266-1 is not prime. Res64: BE9F197900BE84D5 Time : 0.0 sec. user=mdettweiler [2016-07-30 14:34:46] 615*2^1436267-1 is not prime. Res64: 190F5879CB2B024C Time : 0.0 sec. user=mdettweiler [2016-07-30 14:34:46] 621*2^1436267-1 is not prime. Res64: FF00E002EECC9F04 Time : 0.0 sec. user=mdettweiler [2016-07-30 14:34:47] 651*2^1436267-1 is not prime. Res64: 315E9BD9139D348B Time : 0.0 sec. user=mdettweiler [2016-07-30 14:44:33] 673*2^1436267-1 is not prime. Res64: 154CA70E590EAE01 Time : 0.0 sec. user=mdettweiler [2016-07-30 14:44:33] 705*2^1436267-1 is not prime. Res64: 0F9B4FD3D889FD93 Time : 0.0 sec. user=mdettweiler [2016-07-30 14:44:34] 799*2^1436267-1 is not prime. Res64: FF7B58E3BAAF00ED Time : 0.0 sec. user=mdettweiler [2016-07-30 14:44:34] 825*2^1436267-1 is not prime. Res64: 1DD20295FD97480E Time : 0.0 sec. user=mdettweiler [2016-07-30 14:44:35] 883*2^1436267-1 is not prime. Res64: F497182F0A41501F Time : 0.0 sec. user=mdettweiler [2016-07-30 15:17:58] 915*2^1436267-1 is not prime. Res64: 62784485097361AE Time : 0.0 sec. user=mdettweiler [2016-07-30 15:17:59] 979*2^1436267-1 is not prime. Res64: 94137910F19C7FE2 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:17:59] 647*2^1436268-1 is not prime. Res64: 61C6C02A11614AA2 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:17:59] 797*2^1436268-1 is not prime. Res64: BF7BB4077B30AA72 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:18:00] 875*2^1436268-1 is not prime. Res64: 8C74D3E1B5943C04 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:21:02] 927*2^1436268-1 is not prime. Res64: 7CEC3DDC4646F4E2 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:21:03] 959*2^1436268-1 is not prime. Res64: 16F9EAA3999CB414 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:21:03] 639*2^1436269-1 is not prime. Res64: CEF8808375FB2F7C Time : 0.0 sec. user=mdettweiler [2016-07-30 15:21:04] 649*2^1436269-1 is not prime. Res64: 733575012EA5A808 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:21:04] 897*2^1436269-1 is not prime. Res64: 20573B21DACE049F Time : 0.0 sec. user=mdettweiler [2016-07-30 15:30:21] 931*2^1436269-1 is not prime. Res64: A2E27EE6844D0C62 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:30:22] 955*2^1436269-1 is not prime. Res64: 08C2D1BE2A6683A8 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:30:22] 979*2^1436269-1 is not prime. Res64: E5C300C10953F0A2 Time : 0.0 sec. user=mdettweiler [2016-07-30 15:30:23] 615*2^1436270-1 is not prime. Res64: AE58B1BC20813F3D Time : 0.0 sec. user=mdettweiler [2016-07-30 15:30:23] 641*2^1436270-1 is not prime. Res64: CBB5D9DA7497CDC4 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:02:11] 663*2^1436270-1 is not prime. Res64: 41DF4772CB33E306 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:02:13] 843*2^1436270-1 is not prime. Res64: 49E6E46FAA3D45A0 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:02:14] 845*2^1436270-1 is not prime. Res64: 7BF244EF9200746E Time : 0.0 sec. user=mdettweiler [2016-07-30 16:02:15] 857*2^1436270-1 is not prime. Res64: 6514211D85272248 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:02:16] 861*2^1436270-1 is not prime. Res64: 75B14179E7BE6182 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:05:14] 915*2^1436270-1 is not prime. Res64: 701A2283A0F67141 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:05:15] 613*2^1436271-1 is not prime. Res64: B22CDFB4A98FA3BA Time : 0.0 sec. user=mdettweiler [2016-07-30 16:05:17] 615*2^1436271-1 is not prime. Res64: A739C2D6EE8CFDEF Time : 0.0 sec. user=mdettweiler [2016-07-30 16:05:19] 661*2^1436271-1 is not prime. Res64: 6F9F909E7D065992 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:05:20] 693*2^1436271-1 is not prime. Res64: A211E78EDE35C6D4 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:14:34] 751*2^1436271-1 is not prime. Res64: 737CC463BC305651 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:14:35] 793*2^1436271-1 is not prime. Res64: B85B23D2E9F9AD65 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:14:36] 823*2^1436271-1 is not prime. Res64: 9AB89CB8B9F1F85B Time : 0.0 sec. user=mdettweiler [2016-07-30 16:14:37] 979*2^1436271-1 is not prime. Res64: A28A99F28135D245 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:14:38] 615*2^1436272-1 is not prime. Res64: 22B1BD69303FC924 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:46:38] 695*2^1436272-1 is not prime. Res64: 338D63F8EDAAD652 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:46:40] 777*2^1436272-1 is not prime. Res64: 22958F96E0126688 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:46:41] 797*2^1436272-1 is not prime. Res64: 8545BB53670CFF28 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:46:41] 825*2^1436272-1 is not prime. Res64: 32F474713D747C94 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:46:42] 855*2^1436272-1 is not prime. Res64: EDAE8FB48A63927E Time : 0.0 sec. user=mdettweiler [2016-07-30 16:49:34] 873*2^1436272-1 is not prime. Res64: 173B65EAA40A176E Time : 0.0 sec. user=mdettweiler [2016-07-30 16:49:35] 939*2^1436272-1 is not prime. Res64: 0FA2DEB31EAC20FD Time : 0.0 sec. user=mdettweiler [2016-07-30 16:49:35] 649*2^1436273-1 is not prime. Res64: EF3D9D58A707C330 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:49:36] 685*2^1436273-1 is not prime. Res64: EF6278A115339E90 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:49:36] 915*2^1436273-1 is not prime. Res64: AFCDECCFC99E84F3 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:58:53] 945*2^1436273-1 is not prime. Res64: 8F90D95D88456F7C Time : 0.0 sec. user=mdettweiler [2016-07-30 16:58:54] 737*2^1436274-1 is not prime. Res64: 4F045270E30182E9 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:58:54] 755*2^1436274-1 is not prime. Res64: D1BD03F72807DD8F Time : 0.0 sec. user=mdettweiler [2016-07-30 16:58:54] 905*2^1436274-1 is not prime. Res64: CBFB24A8DECE69A3 Time : 0.0 sec. user=mdettweiler [2016-07-30 16:58:55] 971*2^1436274-1 is not prime. Res64: F6EF72D6B2B642D9 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:30:58] 601*2^1436275-1 is not prime. Res64: 9D365E1F60012349 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:30:58] 609*2^1436275-1 is not prime. Res64: 171A1F205E29F938 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:30:59] 693*2^1436275-1 is not prime. Res64: BD4012D6C22A3022 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:30:59] 741*2^1436275-1 is not prime. Res64: 99E1AB78E09AEEE2 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:31:00] 819*2^1436275-1 is not prime. Res64: 923BB7F8694657E5 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:33:46] 603*2^1436276-1 is not prime. Res64: B022C846C0D079AB Time : 0.0 sec. user=mdettweiler [2016-07-30 17:33:47] 617*2^1436276-1 is not prime. Res64: F49BF69F93DD501F Time : 0.0 sec. user=mdettweiler [2016-07-30 17:33:47] 635*2^1436276-1 is not prime. Res64: CCBEA74F6C6B40B7 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:33:47] 839*2^1436276-1 is not prime. Res64: 4E1BD7C467415EE8 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:33:48] 999*2^1436276-1 is not prime. Res64: 08380C82A79FC114 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:43:03] 625*2^1436277-1 is not prime. Res64: 9E0B21A4FF221A77 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:43:04] 885*2^1436277-1 is not prime. Res64: 45E0D9E1AF47B49E Time : 0.0 sec. user=mdettweiler [2016-07-30 17:43:04] 895*2^1436277-1 is not prime. Res64: 9264B53944D385DB Time : 0.0 sec. user=mdettweiler [2016-07-30 17:43:05] 991*2^1436277-1 is not prime. Res64: 3E29DC6282E1BF88 Time : 0.0 sec. user=mdettweiler [2016-07-30 17:43:05] 657*2^1436278-1 is not prime. Res64: 831F43060F617C3C Time : 0.0 sec. user=mdettweiler [2016-07-30 18:15:14] 681*2^1436278-1 is not prime. Res64: DE5EA1C6FE7E5C8B Time : 0.0 sec. user=mdettweiler [2016-07-30 18:15:15] 777*2^1436278-1 is not prime. Res64: 0395D321F50CADA2 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:15:15] 833*2^1436278-1 is not prime. Res64: 7E81468891EADDDC Time : 0.0 sec. user=mdettweiler [2016-07-30 18:15:16] 891*2^1436278-1 is not prime. Res64: 4E9525E795651793 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:15:16] 609*2^1436279-1 is not prime. Res64: 4AFBAEAD91312781 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:18:06] 705*2^1436279-1 is not prime. Res64: 23E5C9EDA513572C Time : 0.0 sec. user=mdettweiler [2016-07-30 18:18:07] 799*2^1436279-1 is not prime. Res64: AB9D9F9588318F7B Time : 0.0 sec. user=mdettweiler [2016-07-30 18:18:07] 841*2^1436279-1 is not prime. Res64: 50795D8F6BDA8725 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:18:08] 853*2^1436279-1 is not prime. Res64: BA921AA65B57B190 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:18:08] 879*2^1436279-1 is not prime. Res64: 03DB802C33824180 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:27:16] 949*2^1436279-1 is not prime. Res64: 0D42A4CDEE9D5BA8 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:27:16] 849*2^1436280-1 is not prime. Res64: F4DF24B0D4E022F8 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:27:17] 915*2^1436280-1 is not prime. Res64: 3A6DE54C9BAE5318 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:27:17] 927*2^1436280-1 is not prime. Res64: BD5DD97E3BE35E80 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:27:18] 983*2^1436280-1 is not prime. Res64: 5C31CE1E0A7A58D5 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:59:28] 625*2^1436281-1 is not prime. Res64: AB65C61E1DF5724B Time : 0.0 sec. user=mdettweiler [2016-07-30 18:59:28] 685*2^1436281-1 is not prime. Res64: C683890EF4E2AE9A Time : 0.0 sec. user=mdettweiler [2016-07-30 18:59:29] 819*2^1436281-1 is not prime. Res64: CA21BD3BE40B6021 Time : 0.0 sec. user=mdettweiler [2016-07-30 18:59:29] 855*2^1436281-1 is not prime. Res64: 8B3AF19305DED5FF Time : 0.0 sec. user=mdettweiler [2016-07-30 18:59:30] 997*2^1436281-1 is not prime. Res64: E1364D17DA71304D Time : 0.0 sec. user=mdettweiler [2016-07-30 19:02:17] 657*2^1436282-1 is not prime. Res64: FBD017E83ED3455E Time : 0.0 sec. user=mdettweiler [2016-07-30 19:02:17] 665*2^1436282-1 is not prime. Res64: C9FA869FCE4D1123 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:02:18] 683*2^1436282-1 is not prime. Res64: 542D5F571A0D105E Time : 0.0 sec. user=mdettweiler [2016-07-30 19:02:19] 713*2^1436282-1 is not prime. Res64: 00C72AEBCF19566B Time : 0.0 sec. user=mdettweiler [2016-07-30 19:02:19] 753*2^1436282-1 is not prime. Res64: 1C59D44DB9E786DA Time : 0.0 sec. user=mdettweiler [2016-07-30 19:11:26] 767*2^1436282-1 is not prime. Res64: 2DE998BFE21ED4A6 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:11:27] 785*2^1436282-1 is not prime. Res64: 025B04E943F53C55 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:11:27] 831*2^1436282-1 is not prime. Res64: 36060E61F14D9EF5 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:11:27] 837*2^1436282-1 is not prime. Res64: 2C8EBF5FBBD6FBD0 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:11:28] 893*2^1436282-1 is not prime. Res64: 2A8E1BE281FE1ACA Time : 0.0 sec. user=mdettweiler [2016-07-30 19:43:40] 941*2^1436282-1 is not prime. Res64: F4D24866ECA55C6F Time : 0.0 sec. user=mdettweiler [2016-07-30 19:43:41] 735*2^1436283-1 is not prime. Res64: 189E91247BD17B2C Time : 0.0 sec. user=mdettweiler [2016-07-30 19:43:41] 789*2^1436283-1 is not prime. Res64: CBC936C31215E720 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:43:42] 805*2^1436283-1 is not prime. Res64: 53DFEA90C23C77DF Time : 0.0 sec. user=mdettweiler [2016-07-30 19:43:42] 961*2^1436283-1 is not prime. Res64: 709B5CF78AE5853D Time : 0.0 sec. user=mdettweiler [2016-07-30 19:46:31] 973*2^1436283-1 is not prime. Res64: E2DFE071D1687B14 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:46:31] 623*2^1436284-1 is not prime. Res64: E8DB9BFF30006F17 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:46:31] 707*2^1436284-1 is not prime. Res64: 3B7FB1913B0F8F33 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:46:32] 875*2^1436284-1 is not prime. Res64: AFDAD2FBE15B48F2 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:46:32] 607*2^1436285-1 is not prime. Res64: C9F1C8F54231296C Time : 0.0 sec. user=mdettweiler [2016-07-30 19:55:38] 645*2^1436285-1 is not prime. Res64: 425651902F56E6AE Time : 0.0 sec. user=mdettweiler [2016-07-30 19:55:39] 759*2^1436285-1 is not prime. Res64: 7F903BE30EE3C097 Time : 0.0 sec. user=mdettweiler [2016-07-30 19:55:39] 777*2^1436285-1 is not prime. Res64: 7296D4929A34C3AB Time : 0.0 sec. user=mdettweiler [2016-07-30 19:55:40] 927*2^1436285-1 is not prime. Res64: BD33E2A5CD3CA21D Time : 0.0 sec. user=mdettweiler [2016-07-30 19:55:41] 939*2^1436285-1 is not prime. Res64: F155BB5A48CF49DB Time : 0.0 sec. user=mdettweiler [2016-07-30 20:27:52] 765*2^1436286-1 is not prime. Res64: 3AE8EAF53CFB8D79 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:27:53] 851*2^1436286-1 is not prime. Res64: E4A99D17358150B8 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:27:54] 875*2^1436286-1 is not prime. Res64: 45505371B54DE8DA Time : 0.0 sec. user=mdettweiler [2016-07-30 20:27:55] 917*2^1436286-1 is not prime. Res64: 843497060A2DD000 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:27:56] 975*2^1436286-1 is not prime. Res64: A71000455E0C5BB9 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:30:40] 625*2^1436287-1 is not prime. Res64: E044B754F2164F66 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:30:41] 675*2^1436287-1 is not prime. Res64: 88673B3E35405ABD Time : 0.0 sec. user=mdettweiler [2016-07-30 20:30:42] 681*2^1436287-1 is not prime. Res64: F550190A16388660 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:30:43] 763*2^1436287-1 is not prime. Res64: E1486EC8C2271EE0 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:30:44] 775*2^1436287-1 is not prime. Res64: 80F4DB9C4336E76A Time : 0.0 sec. user=mdettweiler [2016-07-30 20:39:50] 831*2^1436287-1 is not prime. Res64: 277737704756646C Time : 0.0 sec. user=mdettweiler [2016-07-30 20:39:51] 841*2^1436287-1 is not prime. Res64: EBEAFD90D9F27F96 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:39:51] 889*2^1436287-1 is not prime. Res64: B68B7D9790B4B988 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:39:51] 999*2^1436287-1 is not prime. Res64: 0B691A3D0FCB5729 Time : 0.0 sec. user=mdettweiler [2016-07-30 20:39:52] 669*2^1436288-1 is not prime. Res64: 2D9AFC560FEDA7BE Time : 0.0 sec. user=mdettweiler [2016-07-30 21:12:11] 893*2^1436288-1 is not prime. Res64: F9EA68F586D10900 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:12:14] 923*2^1436288-1 is not prime. Res64: F95CAFA417BC1AB4 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:12:15] 957*2^1436288-1 is not prime. Res64: 89C8766A9DC20C83 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:12:16] 639*2^1436289-1 is not prime. Res64: 0032103E16FB8AB7 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:12:17] 741*2^1436289-1 is not prime. Res64: 225288336629009B Time : 0.0 sec. user=mdettweiler [2016-07-30 21:14:55] 765*2^1436289-1 is not prime. Res64: C9653CD3FD784932 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:14:55] 807*2^1436289-1 is not prime. Res64: 192EC81230303757 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:14:55] 891*2^1436289-1 is not prime. Res64: 14DB9E16C89FC5F2 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:14:56] 955*2^1436289-1 is not prime. Res64: D935BDF2E1775DE5 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:14:56] 605*2^1436290-1 is not prime. Res64: 80B80BEE7C5A1557 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:24:03] 663*2^1436290-1 is not prime. Res64: 6285A3B242D481B8 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:24:03] 695*2^1436290-1 is not prime. Res64: 571F55C266ABE5CE Time : 0.0 sec. user=mdettweiler [2016-07-30 21:24:04] 743*2^1436290-1 is not prime. Res64: 3261598B82E99E84 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:24:04] 765*2^1436290-1 is not prime. Res64: 93D93CC6F2DAD95E Time : 0.0 sec. user=mdettweiler [2016-07-30 21:24:05] 831*2^1436290-1 is not prime. Res64: 42983BE66A6647C4 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:56:38] 843*2^1436290-1 is not prime. Res64: ECD7E34A91890F74 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:56:39] 867*2^1436290-1 is not prime. Res64: 1B38C1022C13AAFF Time : 0.0 sec. user=mdettweiler [2016-07-30 21:56:39] 1001*2^1436290-1 is not prime. Res64: 12A0007BEA13494D Time : 0.0 sec. user=mdettweiler [2016-07-30 21:56:40] 601*2^1436291-1 is not prime. Res64: 6826096BDC72AE43 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:56:41] 703*2^1436291-1 is not prime. Res64: 603E5DCD1AA0C43B Time : 0.0 sec. user=mdettweiler [2016-07-30 21:59:05] 711*2^1436291-1 is not prime. Res64: 1658541DA828B05F Time : 0.0 sec. user=mdettweiler [2016-07-30 21:59:06] 909*2^1436291-1 is not prime. Res64: 6803E00040F56D46 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:59:07] 955*2^1436291-1 is not prime. Res64: 812925717A42FEC4 Time : 0.0 sec. user=mdettweiler [2016-07-30 21:59:08] 969*2^1436291-1 is not prime. Res64: 238696202BB2A7AF Time : 0.0 sec. user=mdettweiler [2016-07-30 21:59:08] 753*2^1436292-1 is not prime. Res64: 148047BF4479380C Time : 0.0 sec. user=mdettweiler [2016-07-30 22:08:16] 819*2^1436292-1 is not prime. Res64: 3A359EB7FC4C9984 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:08:17] 879*2^1436292-1 is not prime. Res64: 4CD19934FFC6B91E Time : 0.0 sec. user=mdettweiler [2016-07-30 22:08:17] 935*2^1436292-1 is not prime. Res64: 60214478AE33F450 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:08:18] 609*2^1436293-1 is not prime. Res64: B0A96DAD3F4EA7D8 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:08:18] 901*2^1436293-1 is not prime. Res64: 6F150E39C2470557 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:40:46] 925*2^1436293-1 is not prime. Res64: 35005DC372D0BB19 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:40:47] 937*2^1436293-1 is not prime. Res64: 9A6112A3A2D2CC16 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:40:47] 987*2^1436293-1 is not prime. Res64: 9F24F329EC4731BB Time : 0.0 sec. user=mdettweiler [2016-07-30 22:40:48] 999*2^1436293-1 is not prime. Res64: 1DF85941124E2EA2 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:40:48] 615*2^1436294-1 is not prime. Res64: BA520FE9D76B95ED Time : 0.0 sec. user=mdettweiler [2016-07-30 22:43:14] 935*2^1436294-1 is not prime. Res64: DC4BE6C16CC5C716 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:43:15] 983*2^1436294-1 is not prime. Res64: 4E6E41F6DFFBBA26 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:43:15] 625*2^1436295-1 is not prime. Res64: 90D53673B95C7B9A Time : 0.0 sec. user=mdettweiler [2016-07-30 22:43:15] 861*2^1436295-1 is not prime. Res64: 572C3693CC2AB572 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:43:16] 909*2^1436295-1 is not prime. Res64: 95C4AC03DC4B45BF Time : 0.0 sec. user=mdettweiler [2016-07-30 22:52:25] 735*2^1436296-1 is not prime. Res64: 7A7C53E75DA2629D Time : 0.0 sec. user=mdettweiler [2016-07-30 22:52:25] 803*2^1436296-1 is not prime. Res64: 74079738103457CF Time : 0.0 sec. user=mdettweiler [2016-07-30 22:52:26] 855*2^1436296-1 is not prime. Res64: 244C88170FBB5D06 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:52:26] 869*2^1436296-1 is not prime. Res64: 8607435B0BE3F714 Time : 0.0 sec. user=mdettweiler [2016-07-30 22:52:27] 875*2^1436296-1 is not prime. Res64: A45AB0D1D6764229 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:24:59] 903*2^1436296-1 is not prime. Res64: 9D9928EDED45D64D Time : 0.0 sec. user=mdettweiler [2016-07-30 23:24:59] 909*2^1436296-1 is not prime. Res64: 9B4A2DCCE1C86C85 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:25:00] 939*2^1436296-1 is not prime. Res64: 3BC182E75F3E237E Time : 0.0 sec. user=mdettweiler [2016-07-30 23:25:00] 601*2^1436297-1 is not prime. Res64: C02FC05D5CDF54D5 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:25:00] 729*2^1436297-1 is not prime. Res64: F41E4DE45886EF4C Time : 0.0 sec. user=mdettweiler [2016-07-30 23:27:23] 871*2^1436297-1 is not prime. Res64: C0A3E1D682BF95A6 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:27:23] 901*2^1436297-1 is not prime. Res64: A72AF9E11DF67192 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:27:23] 621*2^1436298-1 is not prime. Res64: B7ED630DE5779802 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:27:24] 681*2^1436298-1 is not prime. Res64: 3EF1D31E91504BCE Time : 0.0 sec. user=mdettweiler [2016-07-30 23:27:24] 713*2^1436298-1 is not prime. Res64: BBE48BD4CD838734 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:36:35] 765*2^1436298-1 is not prime. Res64: 7329A886CB515032 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:36:36] 875*2^1436298-1 is not prime. Res64: 331B7BD371C9679B Time : 0.0 sec. user=mdettweiler [2016-07-30 23:36:36] 933*2^1436298-1 is not prime. Res64: 3200FB58BD6F5D2C Time : 0.0 sec. user=mdettweiler [2016-07-30 23:36:37] 631*2^1436299-1 is not prime. Res64: 8F489F6E26DE8F11 Time : 0.0 sec. user=mdettweiler [2016-07-30 23:36:37] 675*2^1436299-1 is not prime. Res64: FAAD5C218956845A Time : 0.0 sec.