user=mdettweiler [2015-08-31 00:01:23] 947*2^1407886-1 is not prime. Res64: 67D27CDBBF9EF59D Time : 0.0 sec. user=mdettweiler [2015-08-31 00:01:24] 711*2^1407887-1 is not prime. Res64: BFBBD0C96C92FAFC Time : 0.0 sec. user=mdettweiler [2015-08-31 00:17:26] 775*2^1407887-1 is not prime. Res64: AB0EC40E081B6D04 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:17:27] 901*2^1407887-1 is not prime. Res64: 3F7CB9140D666859 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:18:20] 639*2^1407888-1 is not prime. Res64: 6FC0DFD74E006CE2 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:18:21] 767*2^1407888-1 is not prime. Res64: 3D887BDB0DFF9B09 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:18:47] 933*2^1407888-1 is not prime. Res64: 18D9EBE79A46C50E Time : 0.0 sec. user=mdettweiler [2015-08-31 00:18:48] 977*2^1407888-1 is not prime. Res64: DBD328DC88990F79 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:19:28] 861*2^1407889-1 is not prime. Res64: 205D924B91334329 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:19:28] 909*2^1407889-1 is not prime. Res64: C716006EB6C92B4D Time : 0.0 sec. user=mdettweiler [2015-08-31 00:36:22] 791*2^1407890-1 is not prime. Res64: 9DB6D59988665D08 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:36:22] 851*2^1407890-1 is not prime. Res64: 5206E1FA4D53B236 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:37:21] 911*2^1407890-1 is not prime. Res64: A0480009200C08CD Time : 0.0 sec. user=mdettweiler [2015-08-31 00:37:22] 941*2^1407890-1 is not prime. Res64: 5D8CBFD9E9AC9357 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:37:34] 625*2^1407891-1 is not prime. Res64: 09077C162B6E444A Time : 0.0 sec. user=mdettweiler [2015-08-31 00:37:35] 675*2^1407891-1 is not prime. Res64: 9DFD701B199BF13B Time : 0.0 sec. user=mdettweiler [2015-08-31 00:37:51] 711*2^1407891-1 is not prime. Res64: 7F61A3EB4A0DE5D0 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:37:51] 781*2^1407891-1 is not prime. Res64: 3D7E1B3274006F7D Time : 0.0 sec. user=mdettweiler [2015-08-31 00:54:29] 895*2^1407891-1 is not prime. Res64: 7AC47D4222010647 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:54:29] 979*2^1407891-1 is not prime. Res64: C5FA9D1D43148AA8 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:55:30] 665*2^1407892-1 is not prime. Res64: 38867E6652EB0092 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:55:30] 677*2^1407892-1 is not prime. Res64: E00540EB2739EFC7 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:55:41] 863*2^1407892-1 is not prime. Res64: 972CC8F5432A6EF5 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:55:42] 959*2^1407892-1 is not prime. Res64: F88E638101FF6173 Time : 0.0 sec. user=mdettweiler [2015-08-31 00:56:15] 983*2^1407892-1 is not prime. Res64: B52877CF058085DB Time : 0.0 sec. user=mdettweiler [2015-08-31 00:56:15] 987*2^1407892-1 is not prime. Res64: B9B1E1B9B22AC5E0 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:12:35] 615*2^1407893-1 is not prime. Res64: 14C41C9DED9D3520 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:12:36] 627*2^1407893-1 is not prime. Res64: 69F5CC0A6F891F6A Time : 0.0 sec. user=mdettweiler [2015-08-31 01:13:29] 657*2^1407893-1 is not prime. Res64: 7E5E56A9FCED16A8 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:13:30] 757*2^1407893-1 is not prime. Res64: 18D68D22DEDCF838 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:13:36] 885*2^1407893-1 is not prime. Res64: 44C68D6B1BA2C974 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:13:36] 683*2^1407894-1 is not prime. Res64: 8DE4534FD688DA3E Time : 0.0 sec. user=mdettweiler [2015-08-31 01:14:31] 755*2^1407894-1 is not prime. Res64: 068C88FC7646B9F0 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:14:32] 833*2^1407894-1 is not prime. Res64: 37C68452AE892D2E Time : 0.0 sec. user=mdettweiler [2015-08-31 01:30:38] 863*2^1407894-1 is not prime. Res64: EF53215D5D539253 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:30:39] 873*2^1407894-1 is not prime. Res64: 8CBCD535F62CDFEB Time : 0.0 sec. user=mdettweiler [2015-08-31 01:31:37] 945*2^1407894-1 is not prime. Res64: 1C94E7DB4B43EEF4 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:31:37] 625*2^1407895-1 is not prime. Res64: 604E7D749FB2D909 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:31:48] 649*2^1407895-1 is not prime. Res64: DB9430AE56648FBD Time : 0.0 sec. user=mdettweiler [2015-08-31 01:31:49] 651*2^1407895-1 is not prime. Res64: A1EADF0EE573E1B4 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:32:35] 831*2^1407895-1 is not prime. Res64: 471138DD1525D393 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:32:35] 841*2^1407895-1 is not prime. Res64: 5C8A6D749DE7EBAA Time : 0.0 sec. user=S_K_ [2015-08-31 01:45:15] 741*2^1407894-1 is not prime. Res64: 847CD1F4AFD8F92F Time : 0.0 sec. user=mdettweiler [2015-08-31 01:48:40] 855*2^1407895-1 is not prime. Res64: D4AAEA7D53FE80C7 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:48:41] 939*2^1407895-1 is not prime. Res64: 67952097099C5C3D Time : 0.0 sec. user=mdettweiler [2015-08-31 01:49:33] 951*2^1407895-1 is not prime. Res64: 3CF02F5B704D6795 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:49:33] 973*2^1407895-1 is not prime. Res64: CAE983FDB03B945E Time : 0.0 sec. user=mdettweiler [2015-08-31 01:49:49] 999*2^1407895-1 is not prime. Res64: 26AFE2C14676D698 Time : 0.0 sec. user=mdettweiler [2015-08-31 01:49:49] 623*2^1407896-1 is not prime. Res64: DA53212D521DED5D Time : 0.0 sec. user=mdettweiler [2015-08-31 01:50:30] 633*2^1407896-1 is not prime. Res64: 544C874F03C33F4B Time : 0.0 sec. user=mdettweiler [2015-08-31 01:50:30] 725*2^1407896-1 is not prime. Res64: C7115637B1ADF825 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:06:37] 759*2^1407896-1 is not prime. Res64: 8F535783FC384B33 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:06:39] 785*2^1407896-1 is not prime. Res64: 372E1E748656DB75 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:07:35] 827*2^1407896-1 is not prime. Res64: 411DAF310B3983AC Time : 0.0 sec. user=mdettweiler [2015-08-31 02:07:36] 875*2^1407896-1 is not prime. Res64: 608F43115FBAB16B Time : 0.0 sec. user=mdettweiler [2015-08-31 02:07:47] 927*2^1407896-1 is not prime. Res64: 98DB4D215E87FF6D Time : 0.0 sec. user=mdettweiler [2015-08-31 02:07:49] 957*2^1407896-1 is not prime. Res64: CB5548960C499EE9 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:08:35] 627*2^1407897-1 is not prime. Res64: 9A818ADA816D516F Time : 0.0 sec. user=mdettweiler [2015-08-31 02:08:37] 691*2^1407897-1 is not prime. Res64: 9B707148F16D5E5C Time : 0.0 sec. user=mdettweiler [2015-08-31 02:25:00] 781*2^1407897-1 is not prime. Res64: B28DF7BC5ACEFC46 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:25:00] 837*2^1407897-1 is not prime. Res64: 1E9F00C7B7D73D82 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:25:43] 645*2^1407898-1 is not prime. Res64: 32A0DC5BC7A045CE Time : 0.0 sec. user=mdettweiler [2015-08-31 02:25:43] 663*2^1407898-1 is not prime. Res64: 5EDA1D711D8CF811 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:25:48] 889*2^1407897-1 is not prime. Res64: 3AEA4F20C16DEDB1 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:25:49] 623*2^1407898-1 is not prime. Res64: 4DCF2E8D44482C87 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:26:57] 821*2^1407898-1 is not prime. Res64: 91CE839EA1C20C88 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:26:57] 825*2^1407898-1 is not prime. Res64: B104851648C6BB9E Time : 0.0 sec. user=mdettweiler [2015-08-31 02:42:54] 867*2^1407898-1 is not prime. Res64: 60B7ABD60CD36FB3 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:42:55] 759*2^1407899-1 is not prime. Res64: C9B274FD4447856C Time : 0.0 sec. user=mdettweiler [2015-08-31 02:43:40] 859*2^1407899-1 is not prime. Res64: 63A9D468225DDC7F Time : 0.0 sec. user=mdettweiler [2015-08-31 02:43:40] 879*2^1407899-1 is not prime. Res64: A86C222AB7ACE38F Time : 0.0 sec. user=mdettweiler [2015-08-31 02:43:49] 909*2^1407899-1 is not prime. Res64: 9A9958828B34FEDE Time : 0.0 sec. user=mdettweiler [2015-08-31 02:43:50] 913*2^1407899-1 is not prime. Res64: 802E9633AB1FD737 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:45:07] 609*2^1407900-1 is not prime. Res64: 21C5D2A86A05DF33 Time : 0.0 sec. user=mdettweiler [2015-08-31 02:45:08] 675*2^1407900-1 is not prime. Res64: B1405D0EB2B740FF Time : 0.0 sec. user=mdettweiler [2015-08-31 03:00:53] 797*2^1407900-1 is not prime. Res64: C0ECEAA9B53D4ACB Time : 0.0 sec. user=mdettweiler [2015-08-31 03:00:53] 863*2^1407900-1 is not prime. Res64: 3286C9D476FBCBFD Time : 0.0 sec. user=mdettweiler [2015-08-31 03:01:34] 873*2^1407900-1 is not prime. Res64: C1BF2C4BCA184EC6 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:01:34] 929*2^1407900-1 is not prime. Res64: BC9835F6A3BF051D Time : 0.0 sec. user=mdettweiler [2015-08-31 03:01:45] 933*2^1407900-1 is not prime. Res64: 4EC03BF937AE8443 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:01:46] 975*2^1407900-1 is not prime. Res64: 9DCA12280FFFE975 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:03:05] 649*2^1407901-1 is not prime. Res64: 7048EB30550BACBD Time : 0.0 sec. user=mdettweiler [2015-08-31 03:03:06] 679*2^1407901-1 is not prime. Res64: A8C37E88CBE56911 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:18:48] 801*2^1407901-1 is not prime. Res64: 1C63770CC570F8FF Time : 0.0 sec. user=mdettweiler [2015-08-31 03:18:49] 889*2^1407901-1 is not prime. Res64: FE06CB4A55B911F1 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:19:49] 961*2^1407901-1 is not prime. Res64: 714303C6E06DB92C Time : 0.0 sec. user=mdettweiler [2015-08-31 03:19:49] 931*2^1407901-1 is not prime. Res64: D5CB4DBE200EB5A7 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:19:50] 615*2^1407902-1 is not prime. Res64: 2E64DA33D9643EAF Time : 0.0 sec. user=mdettweiler [2015-08-31 03:19:50] 955*2^1407901-1 is not prime. Res64: 47BE921F5132022F Time : 0.0 sec. user=mdettweiler [2015-08-31 03:21:30] 651*2^1407902-1 is not prime. Res64: B79A4CF9A3F10C3E Time : 0.0 sec. user=mdettweiler [2015-08-31 03:21:31] 743*2^1407902-1 is not prime. Res64: 4F532A337DD28E3C Time : 0.0 sec. user=mdettweiler [2015-08-31 03:37:05] 767*2^1407902-1 is not prime. Res64: B905225E3A8614D3 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:37:06] 791*2^1407902-1 is not prime. Res64: F3BDA801D6B6EFC9 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:38:05] 857*2^1407902-1 is not prime. Res64: 9ECD878C1F9FEF6C Time : 0.0 sec. user=mdettweiler [2015-08-31 03:38:06] 897*2^1407902-1 is not prime. Res64: AE9A16F675828153 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:38:58] 923*2^1407902-1 is not prime. Res64: BEDBA06A6D780D7B Time : 0.0 sec. user=mdettweiler [2015-08-31 03:38:59] 723*2^1407903-1 is not prime. Res64: 5E7FEF0EB5C56936 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:39:41] 781*2^1407903-1 is not prime. Res64: 0A8D912B583DB081 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:39:42] 891*2^1407903-1 is not prime. Res64: 598179B0F208F521 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:55:02] 933*2^1407903-1 is not prime. Res64: 74B5E4F92BAED6A1 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:55:03] 963*2^1407903-1 is not prime. Res64: 06EC11AD521A5050 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:55:51] 639*2^1407904-1 is not prime. Res64: 8288D6E9A664910B Time : 0.0 sec. user=mdettweiler [2015-08-31 03:55:52] 723*2^1407904-1 is not prime. Res64: FC2ECEC390C35A18 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:57:20] 863*2^1407904-1 is not prime. Res64: 5B4678F1FE102B07 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:57:20] 869*2^1407904-1 is not prime. Res64: 76489634960505B7 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:57:33] 909*2^1407904-1 is not prime. Res64: 21E268857B7BB459 Time : 0.0 sec. user=mdettweiler [2015-08-31 03:57:34] 917*2^1407904-1 is not prime. Res64: E86A5EFDED7C6280 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:12:46] 847*2^1407905-1 is not prime. Res64: 178E82630EB83D1E Time : 0.0 sec. user=mdettweiler [2015-08-31 04:12:46] 987*2^1407905-1 is not prime. Res64: F846327376A7A4DA Time : 0.0 sec. user=mdettweiler [2015-08-31 04:13:37] 627*2^1407906-1 is not prime. Res64: B0CCC0B2D4AD5BE7 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:13:37] 671*2^1407906-1 is not prime. Res64: 8281DA8A0B633E38 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:15:09] 713*2^1407906-1 is not prime. Res64: 28FB1D534AF819F9 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:15:10] 807*2^1407906-1 is not prime. Res64: 83A1111D64B82F6F Time : 0.0 sec. user=mdettweiler [2015-08-31 04:15:24] 873*2^1407906-1 is not prime. Res64: B3D750652CE0DB43 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:15:24] 625*2^1407907-1 is not prime. Res64: 0629D7F89C0B4B84 Time : 0.0 sec. user=S_K_ [2015-08-31 04:18:29] 919*2^1407903-1 is not prime. Res64: 829D776C760961F6 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:30:32] 633*2^1407907-1 is not prime. Res64: 135765501235E72B Time : 0.0 sec. user=mdettweiler [2015-08-31 04:30:32] 693*2^1407907-1 is not prime. Res64: 844619964D3084B5 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:31:22] 741*2^1407907-1 is not prime. Res64: F6C8E0FB2BDCF7C4 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:31:22] 759*2^1407907-1 is not prime. Res64: 8BFAA8374F2B1FB6 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:32:54] 793*2^1407907-1 is not prime. Res64: E282B49C23A6CEA1 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:32:54] 801*2^1407907-1 is not prime. Res64: 445302161B61F031 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:33:01] 687*2^1407908-1 is not prime. Res64: EF257C0EFE2D0492 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:33:02] 707*2^1407908-1 is not prime. Res64: 324DA92B395117CF Time : 0.0 sec. user=mdettweiler [2015-08-31 04:48:12] 797*2^1407908-1 is not prime. Res64: 7089607407E89E5D Time : 0.0 sec. user=mdettweiler [2015-08-31 04:48:13] 885*2^1407908-1 is not prime. Res64: 0067DC9AA4900896 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:48:57] 929*2^1407908-1 is not prime. Res64: F0CBBA882D26F528 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:48:57] 667*2^1407909-1 is not prime. Res64: A24D2486A0C1F0A7 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:50:40] 885*2^1407909-1 is not prime. Res64: EF4015751A376446 Time : 0.0 sec. user=mdettweiler [2015-08-31 04:50:40] 657*2^1407910-1 is not prime. Res64: FE336961E421EF1A Time : 0.0 sec. user=mdettweiler [2015-08-31 04:50:44] 707*2^1407910-1 is not prime. Res64: 6EE3EB45EE220EDF Time : 0.0 sec. user=mdettweiler [2015-08-31 04:50:45] 821*2^1407910-1 is not prime. Res64: E66AB12E27B2E949 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:06:06] 609*2^1407911-1 is not prime. Res64: ED861CA4BED5329F Time : 0.0 sec. user=mdettweiler [2015-08-31 05:06:08] 615*2^1407911-1 is not prime. Res64: 6F67B840AE13C40A Time : 0.0 sec. user=mdettweiler [2015-08-31 05:06:49] 619*2^1407911-1 is not prime. Res64: FFA2D8735043C6C2 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:06:50] 693*2^1407911-1 is not prime. Res64: 16EBCD12205D39A4 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:08:30] 823*2^1407911-1 is not prime. Res64: 53C32E5D2ADF75B7 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:08:30] 843*2^1407911-1 is not prime. Res64: E3C581B05EA3F79F Time : 0.0 sec. user=mdettweiler [2015-08-31 05:08:38] 879*2^1407911-1 is not prime. Res64: 5DC2EF1A82527D53 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:08:39] 849*2^1407912-1 is not prime. Res64: 2919F4516927BD8E Time : 0.0 sec. user=mdettweiler [2015-08-31 05:24:13] 863*2^1407912-1 is not prime. Res64: 8B59FECE5918EB4B Time : 0.0 sec. user=mdettweiler [2015-08-31 05:24:13] 899*2^1407912-1 is not prime. Res64: 0B7FD687AA0DA33E Time : 0.0 sec. user=mdettweiler [2015-08-31 05:24:40] 903*2^1407912-1 is not prime. Res64: 4D19D36AC9967593 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:24:40] 909*2^1407912-1 is not prime. Res64: DEAAC016D52B62A7 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:26:18] 929*2^1407912-1 is not prime. Res64: CBF45682FD0A2F52 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:26:19] 615*2^1407913-1 is not prime. Res64: 74803AFD7231F3C3 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:26:38] 745*2^1407913-1 is not prime. Res64: C1A939C925CF3896 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:26:39] 867*2^1407913-1 is not prime. Res64: CB7ECBDFCE98C1B9 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:41:52] 895*2^1407913-1 is not prime. Res64: 610901B1413DB42D Time : 0.0 sec. user=mdettweiler [2015-08-31 05:41:53] 939*2^1407913-1 is not prime. Res64: 6C915646CA6C89B9 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:42:14] 957*2^1407913-1 is not prime. Res64: C1192A83E66A8653 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:42:14] 645*2^1407914-1 is not prime. Res64: BB8308B71416A5F2 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:43:55] 657*2^1407914-1 is not prime. Res64: 027786F33069FE61 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:43:55] 813*2^1407914-1 is not prime. Res64: 11D44CEBFB3A8AA0 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:44:14] 873*2^1407914-1 is not prime. Res64: 8493B83D2D41207C Time : 0.0 sec. user=mdettweiler [2015-08-31 05:44:15] 917*2^1407914-1 is not prime. Res64: 5BF7410BA5E7E91B Time : 0.0 sec. user=mdettweiler [2015-08-31 05:59:27] 643*2^1407915-1 is not prime. Res64: E7C303FBC7CA6050 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:59:27] 741*2^1407915-1 is not prime. Res64: DD49C5F11E731CAE Time : 0.0 sec. user=mdettweiler [2015-08-31 05:59:49] 753*2^1407915-1 is not prime. Res64: 181E35C80E48BB48 Time : 0.0 sec. user=mdettweiler [2015-08-31 05:59:49] 783*2^1407915-1 is not prime. Res64: 867CBF5708BD9B41 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:01:38] 793*2^1407915-1 is not prime. Res64: 4F97803C680076EF Time : 0.0 sec. user=mdettweiler [2015-08-31 06:01:38] 891*2^1407915-1 is not prime. Res64: 1B7603DAAEA14DCA Time : 0.0 sec. user=mdettweiler [2015-08-31 06:01:56] 707*2^1407916-1 is not prime. Res64: F64AEE6B0D4C8305 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:01:57] 777*2^1407916-1 is not prime. Res64: 6245B4FBA8CC58D7 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:17:07] 803*2^1407916-1 is not prime. Res64: FABD4F66BF223D7C Time : 0.0 sec. user=mdettweiler [2015-08-31 06:17:07] 855*2^1407916-1 is not prime. Res64: 841E334B21C18B3E Time : 0.0 sec. user=mdettweiler [2015-08-31 06:17:31] 857*2^1407916-1 is not prime. Res64: 42D837AC58D6ED1E Time : 0.0 sec. user=mdettweiler [2015-08-31 06:17:31] 869*2^1407916-1 is not prime. Res64: 34AEFB9976705E7C Time : 0.0 sec. user=mdettweiler [2015-08-31 06:19:16] 969*2^1407916-1 is not prime. Res64: ADB35248FB93F44F Time : 0.0 sec. user=mdettweiler [2015-08-31 06:19:17] 675*2^1407917-1 is not prime. Res64: 321B4AA4D91ED381 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:19:42] 759*2^1407917-1 is not prime. Res64: 2311D205E7977002 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:19:42] 771*2^1407917-1 is not prime. Res64: 58078A8C86E7F96C Time : 0.0 sec. user=mdettweiler [2015-08-31 06:34:48] 825*2^1407917-1 is not prime. Res64: 930F9133B70A4E0E Time : 0.0 sec. user=mdettweiler [2015-08-31 06:34:48] 647*2^1407918-1 is not prime. Res64: B4CDF729CD17C73A Time : 0.0 sec. user=mdettweiler [2015-08-31 06:35:14] 663*2^1407918-1 is not prime. Res64: 4B39349B9331C766 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:35:15] 683*2^1407918-1 is not prime. Res64: 6D1D7DA45677A7EB Time : 0.0 sec. user=mdettweiler [2015-08-31 06:36:57] 765*2^1407918-1 is not prime. Res64: B91C24C77A716BC0 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:36:58] 777*2^1407918-1 is not prime. Res64: C860E861C97DD019 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:37:28] 801*2^1407918-1 is not prime. Res64: 5286317662369713 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:37:28] 951*2^1407918-1 is not prime. Res64: E8731F79B9F55F95 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:52:36] 751*2^1407919-1 is not prime. Res64: 01CBD3C7D35CA7D6 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:52:36] 759*2^1407919-1 is not prime. Res64: 383CAE6BA7A15765 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:52:52] 765*2^1407919-1 is not prime. Res64: 8ABF827BFB33620D Time : 0.0 sec. user=mdettweiler [2015-08-31 06:52:52] 771*2^1407919-1 is not prime. Res64: 6421CD700F47E394 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:54:43] 889*2^1407919-1 is not prime. Res64: 005FB9A918294B13 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:54:43] 895*2^1407919-1 is not prime. Res64: 77EC8DF598E67583 Time : 0.0 sec. user=mdettweiler [2015-08-31 06:55:22] 909*2^1407919-1 is not prime. Res64: 68F192F1DA202E1B Time : 0.0 sec. user=mdettweiler [2015-08-31 06:55:22] 973*2^1407919-1 is not prime. Res64: 93DD9E04E09D5F06 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:10:25] 979*2^1407919-1 is not prime. Res64: EA97D0F13CF0E84A Time : 0.0 sec. user=mdettweiler [2015-08-31 07:10:25] 993*2^1407919-1 is not prime. Res64: 78A26DC7BF3E2576 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:10:30] 603*2^1407920-1 is not prime. Res64: 253498FCAEB60DE6 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:10:31] 635*2^1407920-1 is not prime. Res64: F91D3CD95909A95B Time : 0.0 sec. user=mdettweiler [2015-08-31 07:12:28] 729*2^1407920-1 is not prime. Res64: 3A44860A27EE3D71 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:12:28] 735*2^1407920-1 is not prime. Res64: 90CEB85CB41A01A7 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:12:58] 607*2^1407921-1 is not prime. Res64: 8151FE6D39242DFC Time : 0.0 sec. user=mdettweiler [2015-08-31 07:12:58] 639*2^1407921-1 is not prime. Res64: 2C074ACDD6DFD734 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:28:07] 669*2^1407921-1 is not prime. Res64: 9FBB183C65F6E9C7 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:28:07] 781*2^1407921-1 is not prime. Res64: 1FF1610054D7A439 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:28:08] 937*2^1407921-1 is not prime. Res64: 8198B2E1A6B0B942 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:28:09] 945*2^1407921-1 is not prime. Res64: 8CB290AE67F840B5 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:30:09] 617*2^1407922-1 is not prime. Res64: 18F0FD5DCFADEFB5 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:30:09] 695*2^1407922-1 is not prime. Res64: F5BD28BCC657C3D3 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:30:39] 731*2^1407922-1 is not prime. Res64: 8C1BAD81241F3C29 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:30:39] 765*2^1407922-1 is not prime. Res64: 85955DFE0397396C Time : 0.0 sec. user=mdettweiler [2015-08-31 07:45:50] 857*2^1407922-1 is not prime. Res64: F95EAF22F6A554EC Time : 0.0 sec. user=mdettweiler [2015-08-31 07:45:50] 891*2^1407922-1 is not prime. Res64: 1002AA6B143DA99D Time : 0.0 sec. user=mdettweiler [2015-08-31 07:45:53] 615*2^1407923-1 is not prime. Res64: 55906DC5E1985B18 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:45:53] 643*2^1407923-1 is not prime. Res64: BE4E986D4EF12F77 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:47:53] 703*2^1407923-1 is not prime. Res64: 3B5361CA3034B458 Time : 0.0 sec. user=mdettweiler [2015-08-31 07:47:53] 859*2^1407923-1 is not prime. Res64: CB5E67E0CB81ECEE Time : 0.0 sec. user=mdettweiler [2015-08-31 07:48:23] 861*2^1407923-1 is not prime. Res64: 1E3F0E12790710CE Time : 0.0 sec. user=mdettweiler [2015-08-31 07:48:23] 605*2^1407924-1 is not prime. Res64: 882F5B779A166BA1 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:03:26] 635*2^1407924-1 is not prime. Res64: F46B42AB591DB00C Time : 0.0 sec. user=mdettweiler [2015-08-31 08:03:27] 707*2^1407924-1 is not prime. Res64: F6B156DBF3CFE26E Time : 0.0 sec. user=mdettweiler [2015-08-31 08:03:41] 765*2^1407924-1 is not prime. Res64: D4E64A1B75F60806 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:03:42] 795*2^1407924-1 is not prime. Res64: 62D296550BB86CC6 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:05:30] 993*2^1407924-1 is not prime. Res64: 11C739D5AF8FEEED Time : 0.0 sec. user=mdettweiler [2015-08-31 08:05:31] 729*2^1407925-1 is not prime. Res64: AF79ED8B5F02C291 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:06:07] 741*2^1407925-1 is not prime. Res64: 3E7E2FA93C87FA3A Time : 0.0 sec. user=mdettweiler [2015-08-31 08:06:08] 771*2^1407925-1 is not prime. Res64: FFF761DC70F498F1 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:21:22] 777*2^1407925-1 is not prime. Res64: B85EFDFB4160D283 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:21:23] 817*2^1407925-1 is not prime. Res64: BAA0882681FD3CBD Time : 0.0 sec. user=mdettweiler [2015-08-31 08:21:31] 859*2^1407925-1 is not prime. Res64: 4A54DE3E2672A5A3 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:21:31] 871*2^1407925-1 is not prime. Res64: 9805DC897F859414 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:23:33] 683*2^1407926-1 is not prime. Res64: D43C6BBE68D69F31 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:23:34] 801*2^1407926-1 is not prime. Res64: 9CA4BBD42E358F3A Time : 0.0 sec. user=mdettweiler [2015-08-31 08:23:59] 893*2^1407926-1 is not prime. Res64: C36B789D8974F573 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:24:00] 963*2^1407926-1 is not prime. Res64: 610A381E2DD45880 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:39:04] 971*2^1407926-1 is not prime. Res64: 686B0990CC36ED7D Time : 0.0 sec. user=mdettweiler [2015-08-31 08:39:04] 981*2^1407926-1 is not prime. Res64: 0B98110091F2F44A Time : 0.0 sec. user=mdettweiler [2015-08-31 08:39:07] 621*2^1407927-1 is not prime. Res64: 4B159630C66CD76C Time : 0.0 sec. user=mdettweiler [2015-08-31 08:39:07] 691*2^1407927-1 is not prime. Res64: CDCB5208012740D0 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:41:11] 885*2^1407927-1 is not prime. Res64: 16607D75C10BE5F6 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:41:12] 901*2^1407927-1 is not prime. Res64: A5B79768F48FCD8C Time : 0.0 sec. user=mdettweiler [2015-08-31 08:41:55] 909*2^1407927-1 is not prime. Res64: 20013F44C8A8CE67 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:41:55] 765*2^1407928-1 is not prime. Res64: E7AEA45BB7751AA7 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:56:47] 833*2^1407928-1 is not prime. Res64: D5C5CC014D0C0CB9 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:56:48] 843*2^1407928-1 is not prime. Res64: 782B4DE39368CB2D Time : 0.0 sec. user=mdettweiler [2015-08-31 08:56:48] 887*2^1407928-1 is not prime. Res64: 00824D3617BC32C6 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:56:49] 627*2^1407929-1 is not prime. Res64: 3D62101EA388FC09 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:58:51] 685*2^1407929-1 is not prime. Res64: 132B44128B1788F1 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:58:51] 831*2^1407929-1 is not prime. Res64: 88CEAB4E024F7227 Time : 0.0 sec. user=mdettweiler [2015-08-31 08:59:39] 865*2^1407929-1 is not prime. Res64: C0C2F50709D2B93C Time : 0.0 sec. user=mdettweiler [2015-08-31 08:59:39] 885*2^1407929-1 is not prime. Res64: 6262EB713047A469 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:14:24] 777*2^1407930-1 is not prime. Res64: 7267AA6F692A0503 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:14:25] 803*2^1407930-1 is not prime. Res64: C07DB7C0F98980EF Time : 0.0 sec. user=mdettweiler [2015-08-31 09:14:30] 939*2^1407929-1 is not prime. Res64: 21680FA33FA2EDF2 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:14:31] 681*2^1407930-1 is not prime. Res64: 1F18C0701877AA92 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:16:34] 843*2^1407930-1 is not prime. Res64: 89D79BFE53627C40 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:16:35] 851*2^1407930-1 is not prime. Res64: A1548387A388DC82 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:17:25] 977*2^1407930-1 is not prime. Res64: 3E1279697522D16E Time : 0.0 sec. user=mdettweiler [2015-08-31 09:17:26] 625*2^1407931-1 is not prime. Res64: 022D1964552DB2A3 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:32:04] 645*2^1407931-1 is not prime. Res64: 2F130F313FB4445D Time : 0.0 sec. user=mdettweiler [2015-08-31 09:32:04] 685*2^1407931-1 is not prime. Res64: 9C44840C96548016 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:32:13] 769*2^1407931-1 is not prime. Res64: 8842FAA1BFE9EDF3 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:32:13] 871*2^1407931-1 is not prime. Res64: 63C86CDCDAA9BA6D Time : 0.0 sec. user=mdettweiler [2015-08-31 09:34:13] 669*2^1407932-1 is not prime. Res64: BF2D68A55FC3DD0A Time : 0.0 sec. user=mdettweiler [2015-08-31 09:34:13] 797*2^1407932-1 is not prime. Res64: 3CEDAACBA70A18EC Time : 0.0 sec. user=mdettweiler [2015-08-31 09:35:04] 867*2^1407932-1 is not prime. Res64: EEE2237D08E42604 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:35:05] 875*2^1407932-1 is not prime. Res64: 18D5A3B90619C029 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:49:49] 957*2^1407932-1 is not prime. Res64: B123D1128C970284 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:49:49] 995*2^1407932-1 is not prime. Res64: B5E373DE6D8EE50F Time : 0.0 sec. user=mdettweiler [2015-08-31 09:50:05] 651*2^1407933-1 is not prime. Res64: EE1EC06BF258ACB4 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:50:05] 817*2^1407933-1 is not prime. Res64: B3F2235656D1D6E5 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:51:59] 847*2^1407933-1 is not prime. Res64: 004FB7D7A539A5D9 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:52:00] 723*2^1407934-1 is not prime. Res64: 3E72B3A3AC11B394 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:52:49] 861*2^1407934-1 is not prime. Res64: BA17CBF5931C5F45 Time : 0.0 sec. user=mdettweiler [2015-08-31 09:52:49] 903*2^1407934-1 is not prime. Res64: C1C786C8EBA6BC70 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:07:26] 673*2^1407935-1 is not prime. Res64: 735DF2B75B768E6B Time : 0.0 sec. user=mdettweiler [2015-08-31 10:07:29] 861*2^1407935-1 is not prime. Res64: 24FE69C4D71856C9 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:07:44] 913*2^1407935-1 is not prime. Res64: 31557A6A2DFC70C7 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:07:46] 999*2^1407935-1 is not prime. Res64: 8BA95646DC7DC29D Time : 0.0 sec. user=mdettweiler [2015-08-31 10:09:43] 635*2^1407936-1 is not prime. Res64: 281BB934DA292D19 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:09:43] 789*2^1407936-1 is not prime. Res64: 440F5FD700CFF56F Time : 0.0 sec. user=mdettweiler [2015-08-31 10:10:34] 809*2^1407936-1 is not prime. Res64: 991D4F23E9EC51B6 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:10:34] 839*2^1407936-1 is not prime. Res64: 5877207CD4ECA7D0 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:25:26] 845*2^1407936-1 is not prime. Res64: E5C1BBBA13B57C19 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:25:26] 873*2^1407936-1 is not prime. Res64: 45AB7EC0D269B0AF Time : 0.0 sec. user=mdettweiler [2015-08-31 10:25:30] 727*2^1407937-1 is not prime. Res64: DDCF5A7CC19CEA22 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:25:31] 741*2^1407937-1 is not prime. Res64: 31FDA43D40312BE7 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:27:24] 759*2^1407937-1 is not prime. Res64: 1A5F2AD306CAD447 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:27:24] 771*2^1407937-1 is not prime. Res64: B356ECF7AE99CC12 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:28:13] 885*2^1407937-1 is not prime. Res64: A86C4298F8392DC9 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:28:13] 627*2^1407938-1 is not prime. Res64: E2B4F6682C10B003 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:43:06] 665*2^1407938-1 is not prime. Res64: 22AC83C293EF7301 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:43:07] 791*2^1407938-1 is not prime. Res64: A4525FD2918F2F79 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:43:09] 801*2^1407938-1 is not prime. Res64: 8A59E084816759B0 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:43:09] 625*2^1407939-1 is not prime. Res64: A28A70A6E7F59D72 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:45:07] 649*2^1407939-1 is not prime. Res64: 332DBD4616CBD933 Time : 0.0 sec. user=mdettweiler [2015-08-31 10:45:08] 741*2^1407939-1 is not prime. Res64: 64974C796E410B3B Time : 0.0 sec. user=mdettweiler [2015-08-31 10:45:53] 751*2^1407939-1 is not prime. Res64: 0B0FE1714F1CA4AA Time : 0.0 sec. user=mdettweiler [2015-08-31 10:45:54] 979*2^1407939-1 is not prime. Res64: DA842ECA44764223 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:00:49] 629*2^1407940-1 is not prime. Res64: 7756E27F06B23C3D Time : 0.0 sec. user=mdettweiler [2015-08-31 11:00:49] 647*2^1407940-1 is not prime. Res64: D8C5079DA14F2B60 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:00:50] 677*2^1407940-1 is not prime. Res64: 414644BF9256B253 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:00:51] 719*2^1407940-1 is not prime. Res64: 4E31228C2BC1AB2F Time : 0.0 sec. user=mdettweiler [2015-08-31 11:02:49] 735*2^1407940-1 is not prime. Res64: 9CB5320C8BF68E34 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:02:50] 803*2^1407940-1 is not prime. Res64: 3DEBC892F816DD25 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:03:35] 827*2^1407940-1 is not prime. Res64: 9F12ECEA696B15EA Time : 0.0 sec. user=mdettweiler [2015-08-31 11:03:36] 857*2^1407940-1 is not prime. Res64: 41E6E98624D08303 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:18:48] 825*2^1407941-1 is not prime. Res64: 4163B34D6118CC9B Time : 0.0 sec. user=mdettweiler [2015-08-31 11:18:48] 837*2^1407941-1 is not prime. Res64: 00E1152EE8D38605 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:18:58] 989*2^1407940-1 is not prime. Res64: 6DE4C9555F1BB7B9 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:18:59] 669*2^1407941-1 is not prime. Res64: CE3176B680858DEC Time : 0.0 sec. user=mdettweiler [2015-08-31 11:20:49] 885*2^1407941-1 is not prime. Res64: FD86A8AFC853D51A Time : 0.0 sec. user=mdettweiler [2015-08-31 11:20:49] 937*2^1407941-1 is not prime. Res64: 6CFC5C11B77E5A7C Time : 0.0 sec. user=mdettweiler [2015-08-31 11:21:32] 755*2^1407942-1 is not prime. Res64: 6CEEB70CD73E848A Time : 0.0 sec. user=mdettweiler [2015-08-31 11:21:33] 791*2^1407942-1 is not prime. Res64: 9C93FBF303BF12A5 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:36:54] 903*2^1407942-1 is not prime. Res64: 6F54693DF1F9A5F5 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:36:55] 1001*2^1407942-1 is not prime. Res64: B93AC979C7414FE4 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:37:03] 685*2^1407943-1 is not prime. Res64: 7C6878B9BBC430D5 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:37:04] 703*2^1407943-1 is not prime. Res64: 4241BC7C6734560A Time : 0.0 sec. user=mdettweiler [2015-08-31 11:39:36] 705*2^1407943-1 is not prime. Res64: EC271642FA1870B5 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:39:37] 973*2^1407943-1 is not prime. Res64: B43DED13EBE9D318 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:40:29] 683*2^1407944-1 is not prime. Res64: AF7C287EF97FE373 Time : 0.0 sec. user=mdettweiler [2015-08-31 11:40:29] 755*2^1407944-1 is not prime. Res64: 1C8DA21CDF6546BE Time : 0.0 sec. user=S_K_ [2015-08-31 11:44:30] 875*2^1407940-1 is not prime. Res64: B8932684BF2910D5 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:00:58] 827*2^1407944-1 is not prime. Res64: 9C4CFEA4DAB5D306 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:00:59] 833*2^1407944-1 is not prime. Res64: 91733B6FA9AE66A5 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:01:06] 893*2^1407944-1 is not prime. Res64: AFDFB4148C98AF74 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:01:07] 927*2^1407944-1 is not prime. Res64: 18BF3C4810A51D06 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:02:46] 849*2^1407945-1 is not prime. Res64: 749B3E70CD50E98D Time : 0.0 sec. user=mdettweiler [2015-08-31 12:02:47] 915*2^1407945-1 is not prime. Res64: 9306DFCE3D91D5DC Time : 0.0 sec. user=mdettweiler [2015-08-31 12:03:48] 949*2^1407945-1 is not prime. Res64: 76AC2ED55A6CFA08 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:03:49] 653*2^1407946-1 is not prime. Res64: F9A93045526F1252 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:23:17] 857*2^1407946-1 is not prime. Res64: 5FB72A5A3B75179F Time : 0.0 sec. user=mdettweiler [2015-08-31 12:23:17] 933*2^1407946-1 is not prime. Res64: 9DB2DF2C4CD02C3E Time : 0.0 sec. user=mdettweiler [2015-08-31 12:23:27] 621*2^1407947-1 is not prime. Res64: E316F2395F60B73F Time : 0.0 sec. user=mdettweiler [2015-08-31 12:23:27] 693*2^1407947-1 is not prime. Res64: 5932B3E7F689EA3B Time : 0.0 sec. user=mdettweiler [2015-08-31 12:24:54] 703*2^1407947-1 is not prime. Res64: 28982BF66F2D8ED6 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:24:54] 843*2^1407947-1 is not prime. Res64: AC95DBC9BE2A7414 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:26:42] 985*2^1407947-1 is not prime. Res64: 55252BEA3A09104D Time : 0.0 sec. user=mdettweiler [2015-08-31 12:26:43] 725*2^1407948-1 is not prime. Res64: 96FB866E79A858F0 Time : 0.0 sec. user=S_K_ [2015-08-31 12:28:46] 755*2^1407946-1 is not prime. Res64: D012F3536E78B860 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:45:12] 909*2^1407948-1 is not prime. Res64: B97E12DC66E79EB0 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:45:12] 687*2^1407949-1 is not prime. Res64: 846D65A8370CC143 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:45:15] 837*2^1407948-1 is not prime. Res64: 6DA86BDCE727517E Time : 0.0 sec. user=mdettweiler [2015-08-31 12:45:16] 867*2^1407948-1 is not prime. Res64: 7000C1D82E915D87 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:47:05] 885*2^1407949-1 is not prime. Res64: B1712D40F5ADE7B8 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:47:06] 957*2^1407949-1 is not prime. Res64: AFAE99A79E2280ED Time : 0.0 sec. user=mdettweiler [2015-08-31 12:48:26] 967*2^1407949-1 is not prime. Res64: 46ABB7EEBAA48761 Time : 0.0 sec. user=mdettweiler [2015-08-31 12:48:26] 665*2^1407950-1 is not prime. Res64: 746C4CC167AC46AA Time : 0.0 sec. user=mdettweiler [2015-08-31 13:05:37] 677*2^1407950-1 is not prime. Res64: DCE40446A94CC815 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:05:39] 773*2^1407950-1 is not prime. Res64: 15C079CCA29CA185 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:05:54] 887*2^1407950-1 is not prime. Res64: 2BA871F8D51B9617 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:05:55] 911*2^1407950-1 is not prime. Res64: 322178C1D5F1640D Time : 0.0 sec. user=mdettweiler [2015-08-31 13:07:27] 941*2^1407950-1 is not prime. Res64: C70D1354099AEECB Time : 0.0 sec. user=mdettweiler [2015-08-31 13:07:28] 1001*2^1407950-1 is not prime. Res64: 85D91D281BF5CB7A Time : 0.0 sec. user=mdettweiler [2015-08-31 13:08:40] 723*2^1407951-1 is not prime. Res64: F97CCA71BF09A285 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:08:41] 783*2^1407951-1 is not prime. Res64: 028D600EEFA933E3 Time : 0.0 sec. user=S_K_ [2015-08-31 13:14:30] 675*2^1407950-1 is not prime. Res64: 17642DD6E86307FF Time : 0.0 sec. user=mdettweiler [2015-08-31 13:24:38] 795*2^1407951-1 is not prime. Res64: 2E8D4B6BC7C4A250 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:24:38] 823*2^1407951-1 is not prime. Res64: 6046BB5284009F9B Time : 0.0 sec. user=mdettweiler [2015-08-31 13:25:05] 859*2^1407951-1 is not prime. Res64: DD9B34E8869161FB Time : 0.0 sec. user=mdettweiler [2015-08-31 13:25:05] 909*2^1407951-1 is not prime. Res64: FD4A2F339EEC7497 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:26:12] 615*2^1407952-1 is not prime. Res64: 8B3754C2BA48E471 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:26:12] 675*2^1407952-1 is not prime. Res64: F689E9B24352F972 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:27:50] 677*2^1407952-1 is not prime. Res64: 5199F4CEE5CA605E Time : 0.0 sec. user=mdettweiler [2015-08-31 13:27:50] 695*2^1407952-1 is not prime. Res64: C2580A72264BDE3F Time : 0.0 sec. user=mdettweiler [2015-08-31 13:43:49] 759*2^1407952-1 is not prime. Res64: A6AA1976B8B63A59 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:43:50] 785*2^1407952-1 is not prime. Res64: 71B649EF06B06BDB Time : 0.0 sec. user=mdettweiler [2015-08-31 13:44:23] 797*2^1407952-1 is not prime. Res64: 579523D193782334 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:44:24] 863*2^1407952-1 is not prime. Res64: D9E6028D9385D64C Time : 0.0 sec. user=mdettweiler [2015-08-31 13:45:42] 873*2^1407952-1 is not prime. Res64: 7C1A24D94A04E65F Time : 0.0 sec. user=mdettweiler [2015-08-31 13:45:43] 915*2^1407952-1 is not prime. Res64: 9B4C3C3AF20A0C00 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:46:38] 917*2^1407952-1 is not prime. Res64: 100B607E0B94EAC8 Time : 0.0 sec. user=mdettweiler [2015-08-31 13:46:38] 957*2^1407952-1 is not prime. Res64: 283BBE03B99CBF78 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:03:02] 975*2^1407952-1 is not prime. Res64: DCC3E897B6178EFB Time : 0.0 sec. user=mdettweiler [2015-08-31 14:03:03] 649*2^1407953-1 is not prime. Res64: 7B059FDCA4693905 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:03:56] 727*2^1407953-1 is not prime. Res64: 17D55EB9D0A16C21 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:03:58] 879*2^1407953-1 is not prime. Res64: 4D254BCB7D0384FF Time : 0.0 sec. user=mdettweiler [2015-08-31 14:04:59] 897*2^1407953-1 is not prime. Res64: E79AEDBF95E03D44 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:05:01] 901*2^1407953-1 is not prime. Res64: 919252FC8B587966 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:05:46] 937*2^1407953-1 is not prime. Res64: 6618A3FD6058EC60 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:05:47] 957*2^1407953-1 is not prime. Res64: FC5CE32D50E1BE06 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:21:06] 969*2^1407953-1 is not prime. Res64: C1DF4F77326AA2AB Time : 0.0 sec. user=mdettweiler [2015-08-31 14:21:06] 633*2^1407954-1 is not prime. Res64: 585A5F6C67C85FB8 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:21:50] 665*2^1407954-1 is not prime. Res64: A84D8743781043F5 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:21:50] 875*2^1407954-1 is not prime. Res64: D7DAC1BCB626E33A Time : 0.0 sec. user=mdettweiler [2015-08-31 14:22:41] 887*2^1407954-1 is not prime. Res64: A150E31969F05392 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:22:41] 905*2^1407954-1 is not prime. Res64: 78001756C3C31F99 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:23:36] 645*2^1407955-1 is not prime. Res64: 36366632B8A7EA3F Time : 0.0 sec. user=mdettweiler [2015-08-31 14:23:36] 693*2^1407955-1 is not prime. Res64: FAC631EF645FE996 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:38:47] 819*2^1407955-1 is not prime. Res64: BA84F61E695FAB84 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:38:48] 859*2^1407955-1 is not prime. Res64: CF97501D3D8B8B28 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:39:34] 961*2^1407955-1 is not prime. Res64: 6B043BC530FB9809 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:39:35] 825*2^1407956-1 is not prime. Res64: 74E4676EDF24B373 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:40:24] 855*2^1407956-1 is not prime. Res64: 16B2AD534CFB4C29 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:40:25] 873*2^1407956-1 is not prime. Res64: 58C4BC6C23FAE614 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:41:15] 899*2^1407956-1 is not prime. Res64: 5F2A992BCD653344 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:41:16] 923*2^1407956-1 is not prime. Res64: C68858AB195425A3 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:56:27] 999*2^1407956-1 is not prime. Res64: B85CC24E784E46FD Time : 0.0 sec. user=mdettweiler [2015-08-31 14:56:27] 669*2^1407957-1 is not prime. Res64: 40F34683AD42D84F Time : 0.0 sec. user=mdettweiler [2015-08-31 14:57:10] 777*2^1407957-1 is not prime. Res64: 9DFD75DD76B22B24 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:57:10] 781*2^1407957-1 is not prime. Res64: EEAB16FBF4BC5A29 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:58:02] 871*2^1407957-1 is not prime. Res64: 763EAAD414195716 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:58:02] 975*2^1407957-1 is not prime. Res64: 8DB3E22726E43FA4 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:59:00] 687*2^1407958-1 is not prime. Res64: 608C514726A3EB32 Time : 0.0 sec. user=mdettweiler [2015-08-31 14:59:00] 731*2^1407958-1 is not prime. Res64: A3F1207630823E91 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:14:16] 825*2^1407958-1 is not prime. Res64: 26A9028A77A91FD3 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:14:16] 827*2^1407958-1 is not prime. Res64: B6DDB7CFF1E760F4 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:14:58] 911*2^1407958-1 is not prime. Res64: 227F6BE924B27870 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:14:58] 993*2^1407958-1 is not prime. Res64: 4A6C841B62116E4F Time : 0.0 sec. user=mdettweiler [2015-08-31 15:15:57] 675*2^1407959-1 is not prime. Res64: 1A2852BA3965B3E0 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:15:57] 685*2^1407959-1 is not prime. Res64: C858B94DD3C8B007 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:16:57] 745*2^1407959-1 is not prime. Res64: 78332080DDA6AF0F Time : 0.0 sec. user=mdettweiler [2015-08-31 15:16:57] 799*2^1407959-1 is not prime. Res64: C60EFF79A79F64A5 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:32:12] 627*2^1407960-1 is not prime. Res64: C75CF4E1A17F6168 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:32:12] 675*2^1407960-1 is not prime. Res64: 8F9423726CC2A2E9 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:32:54] 779*2^1407960-1 is not prime. Res64: 5EA16EDCAF19FC37 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:32:55] 809*2^1407960-1 is not prime. Res64: 10C2A6C9541C6C09 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:33:53] 845*2^1407960-1 is not prime. Res64: E5F49311F864463F Time : 0.0 sec. user=mdettweiler [2015-08-31 15:33:53] 863*2^1407960-1 is not prime. Res64: 1AA7459600CE7DB4 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:34:55] 909*2^1407960-1 is not prime. Res64: 5B834A8FDCD9832F Time : 0.0 sec. user=mdettweiler [2015-08-31 15:34:55] 615*2^1407961-1 is not prime. Res64: AEB323D43CBE8302 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:49:46] 625*2^1407961-1 is not prime. Res64: 5522231A17C5F9EC Time : 0.0 sec. user=mdettweiler [2015-08-31 15:49:47] 895*2^1407961-1 is not prime. Res64: CD85AFC6C468DDC2 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:50:31] 957*2^1407961-1 is not prime. Res64: D7EAF9C9508AA00A Time : 0.0 sec. user=mdettweiler [2015-08-31 15:50:31] 635*2^1407962-1 is not prime. Res64: 578CC61BFD1A8A90 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:51:29] 645*2^1407962-1 is not prime. Res64: D5EFB8F13F7FF653 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:51:30] 701*2^1407962-1 is not prime. Res64: 0791AFA899969C02 Time : 0.0 sec. user=mdettweiler [2015-08-31 15:52:32] 713*2^1407962-1 is not prime. Res64: 7F0023E61839163E Time : 0.0 sec. user=mdettweiler [2015-08-31 15:52:32] 915*2^1407962-1 is not prime. Res64: 0AF7F27FC9B3088F Time : 0.0 sec. user=S_K_ [2015-08-31 15:56:46] 991*2^1407959-1 is not prime. Res64: B0DB93309CA4E612 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:08:28] 945*2^1407962-1 is not prime. Res64: B3962BC8621C7BDC Time : 0.0 sec. user=mdettweiler [2015-08-31 16:08:28] 625*2^1407963-1 is not prime. Res64: 559B0E02C3B710EC Time : 0.0 sec. user=mdettweiler [2015-08-31 16:09:03] 751*2^1407963-1 is not prime. Res64: 0D02342A6D6C6EE4 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:09:03] 793*2^1407963-1 is not prime. Res64: AB57601B471B91A9 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:10:07] 895*2^1407963-1 is not prime. Res64: 53F93A2E139CD0DB Time : 0.0 sec. user=mdettweiler [2015-08-31 16:10:08] 609*2^1407964-1 is not prime. Res64: 4C37EC6193E4EB9B Time : 0.0 sec. user=mdettweiler [2015-08-31 16:11:11] 657*2^1407964-1 is not prime. Res64: 41A2F3AD6C7FFE36 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:11:11] 755*2^1407964-1 is not prime. Res64: 19A9B262C167F523 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:26:32] 903*2^1407964-1 is not prime. Res64: 274F60921049D470 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:26:33] 601*2^1407965-1 is not prime. Res64: BA97DDA36252A9A8 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:27:08] 669*2^1407965-1 is not prime. Res64: 0AB7C0436240EA63 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:27:09] 711*2^1407965-1 is not prime. Res64: FAE1915CC1762233 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:28:14] 735*2^1407965-1 is not prime. Res64: 6F2F1B31E105072A Time : 0.0 sec. user=mdettweiler [2015-08-31 16:28:15] 775*2^1407965-1 is not prime. Res64: 74B148BCC80964F2 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:29:11] 653*2^1407966-1 is not prime. Res64: 1D7C59441DF09145 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:29:11] 711*2^1407966-1 is not prime. Res64: 5D7704AE95E5506E Time : 0.0 sec. user=S_K_ [2015-08-31 16:40:39] 885*2^1407964-1 is not prime. Res64: 1C99AD8A686CEF89 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:44:35] 723*2^1407966-1 is not prime. Res64: C3F8804B59A298F1 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:44:35] 993*2^1407966-1 is not prime. Res64: C610B0D431F73327 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:44:56] 619*2^1407967-1 is not prime. Res64: A3D02C14B3D3253F Time : 0.0 sec. user=mdettweiler [2015-08-31 16:44:57] 663*2^1407967-1 is not prime. Res64: 4F1D01CF20BD3637 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:46:10] 729*2^1407967-1 is not prime. Res64: D708953C76435D7B Time : 0.0 sec. user=mdettweiler [2015-08-31 16:46:10] 819*2^1407967-1 is not prime. Res64: B4514B9CB5B7CDE8 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:46:58] 859*2^1407967-1 is not prime. Res64: 48BE33E57E3A1CA2 Time : 0.0 sec. user=mdettweiler [2015-08-31 16:46:59] 871*2^1407967-1 is not prime. Res64: 7A1F4B8A78EC3C45 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:02:45] 979*2^1407967-1 is not prime. Res64: F38308F04EBA53E7 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:02:46] 635*2^1407968-1 is not prime. Res64: 392BFD3136C46A30 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:03:26] 773*2^1407968-1 is not prime. Res64: FE032C6B1C11B05B Time : 0.0 sec. user=mdettweiler [2015-08-31 17:03:27] 879*2^1407968-1 is not prime. Res64: 55E57ACE2098E331 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:04:35] 915*2^1407968-1 is not prime. Res64: 895336BE9F30E3D2 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:04:36] 959*2^1407968-1 is not prime. Res64: D4526A916BE8386B Time : 0.0 sec. user=mdettweiler [2015-08-31 17:05:04] 649*2^1407969-1 is not prime. Res64: A34A52D97BE3CFB1 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:05:06] 787*2^1407969-1 is not prime. Res64: DB42476B4951006A Time : 0.0 sec. user=mdettweiler [2015-08-31 17:21:03] 945*2^1407969-1 is not prime. Res64: F8A8628EC859F8E2 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:21:03] 635*2^1407970-1 is not prime. Res64: 47B17A6AC40F7E57 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:21:42] 671*2^1407970-1 is not prime. Res64: 7CD08DDCE0E4190D Time : 0.0 sec. user=mdettweiler [2015-08-31 17:21:43] 747*2^1407970-1 is not prime. Res64: 9463259C72871C6E Time : 0.0 sec. user=mdettweiler [2015-08-31 17:22:49] 813*2^1407970-1 is not prime. Res64: 67A24F058BA27180 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:22:50] 827*2^1407970-1 is not prime. Res64: F91B64D406709055 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:23:28] 601*2^1407971-1 is not prime. Res64: 65EC58863D7B430F Time : 0.0 sec. user=mdettweiler [2015-08-31 17:23:28] 829*2^1407971-1 is not prime. Res64: 6EC884BA36BC2077 Time : 0.0 sec. user=S_K_ [2015-08-31 17:24:46] 975*2^1407967-1 is not prime. Res64: F9A57480AFD584D6 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:39:11] 895*2^1407971-1 is not prime. Res64: 6796180E1678C7FE Time : 0.0 sec. user=mdettweiler [2015-08-31 17:39:12] 939*2^1407971-1 is not prime. Res64: 0E1B66205547FBC7 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:39:45] 949*2^1407971-1 is not prime. Res64: ACECEF2B72EDB6B9 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:39:45] 991*2^1407971-1 is not prime. Res64: C2E510C0BB9C0CB1 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:40:59] 675*2^1407972-1 is not prime. Res64: 40EDB6C991B5C7E1 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:41:00] 683*2^1407972-1 is not prime. Res64: 2112364337AC25BE Time : 0.0 sec. user=mdettweiler [2015-08-31 17:41:27] 719*2^1407972-1 is not prime. Res64: C2C0FDE23BC45220 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:41:28] 759*2^1407972-1 is not prime. Res64: 16D1A65760D9FAA6 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:57:06] 779*2^1407972-1 is not prime. Res64: 61353DDB7F89CEC4 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:57:06] 797*2^1407972-1 is not prime. Res64: B40AED6305CAC5D8 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:57:41] 819*2^1407972-1 is not prime. Res64: 2A8492417372418B Time : 0.0 sec. user=mdettweiler [2015-08-31 17:57:41] 873*2^1407972-1 is not prime. Res64: 7823272EAF31961E Time : 0.0 sec. user=mdettweiler [2015-08-31 17:58:53] 903*2^1407972-1 is not prime. Res64: FFA4BE6A86C0B163 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:58:54] 609*2^1407973-1 is not prime. Res64: 4AA58C38C78CAEA0 Time : 0.0 sec. user=mdettweiler [2015-08-31 17:59:31] 775*2^1407973-1 is not prime. Res64: 3C5DD119A30DDB5E Time : 0.0 sec. user=mdettweiler [2015-08-31 17:59:31] 855*2^1407973-1 is not prime. Res64: 0B0A98E27856AA09 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:15:05] 961*2^1407973-1 is not prime. Res64: 39689AF14C7A4B8F Time : 0.0 sec. user=mdettweiler [2015-08-31 18:15:06] 635*2^1407974-1 is not prime. Res64: D15C175DEA266CE9 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:15:36] 677*2^1407974-1 is not prime. Res64: E738D4F423B5EF64 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:15:36] 755*2^1407974-1 is not prime. Res64: 6E724D5F6DE10C1A Time : 0.0 sec. user=mdettweiler [2015-08-31 18:16:44] 827*2^1407974-1 is not prime. Res64: 73BEA2AC6310DC70 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:16:44] 851*2^1407974-1 is not prime. Res64: BABF2F0C4DE35D65 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:17:18] 873*2^1407974-1 is not prime. Res64: 4E933168809A4088 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:17:18] 897*2^1407974-1 is not prime. Res64: BB199AED66B0EA31 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:33:05] 601*2^1407975-1 is not prime. Res64: 8CF2ADE3484C872F Time : 0.0 sec. user=mdettweiler [2015-08-31 18:33:05] 619*2^1407975-1 is not prime. Res64: 1741CA3CDAE806FB Time : 0.0 sec. user=mdettweiler [2015-08-31 18:33:27] 669*2^1407975-1 is not prime. Res64: 637B390E6EA2A060 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:33:27] 679*2^1407975-1 is not prime. Res64: DE38C8C7D5139FC7 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:34:35] 623*2^1407976-1 is not prime. Res64: CA86B8594CC462DB Time : 0.0 sec. user=mdettweiler [2015-08-31 18:34:36] 639*2^1407976-1 is not prime. Res64: E41E6BDFF94130D9 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:35:14] 689*2^1407976-1 is not prime. Res64: 9E84FD11A5D81BBD Time : 0.0 sec. user=mdettweiler [2015-08-31 18:35:15] 785*2^1407976-1 is not prime. Res64: D83EBE244DB1C10F Time : 0.0 sec. user=mdettweiler [2015-08-31 18:50:59] 845*2^1407976-1 is not prime. Res64: 277EF643968D23E2 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:50:59] 849*2^1407976-1 is not prime. Res64: 2DB1B234B8CD2EC8 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:51:20] 965*2^1407976-1 is not prime. Res64: 416A7C33012A874C Time : 0.0 sec. user=mdettweiler [2015-08-31 18:51:21] 975*2^1407976-1 is not prime. Res64: 8963AC55AD9DB640 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:52:25] 697*2^1407977-1 is not prime. Res64: 8134A12C43FEB6AD Time : 0.0 sec. user=mdettweiler [2015-08-31 18:52:26] 711*2^1407977-1 is not prime. Res64: 78958940F16396A5 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:53:14] 735*2^1407977-1 is not prime. Res64: F0BBBDD3AC1030C1 Time : 0.0 sec. user=mdettweiler [2015-08-31 18:53:14] 777*2^1407977-1 is not prime. Res64: 724D487CAB4526AD Time : 0.0 sec. user=mdettweiler [2015-08-31 19:08:51] 925*2^1407977-1 is not prime. Res64: 530279135DA65910 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:08:52] 949*2^1407977-1 is not prime. Res64: BFEBB4BDD551AE95 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:09:17] 663*2^1407978-1 is not prime. Res64: AFAEB062691EF979 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:09:17] 773*2^1407978-1 is not prime. Res64: DA928B14EF9C469C Time : 0.0 sec. user=mdettweiler [2015-08-31 19:10:16] 777*2^1407978-1 is not prime. Res64: 15388FFC168EC0CA Time : 0.0 sec. user=mdettweiler [2015-08-31 19:10:16] 803*2^1407978-1 is not prime. Res64: B0DA16502A0DAFD8 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:11:11] 815*2^1407978-1 is not prime. Res64: A5A5863F54425584 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:11:11] 843*2^1407978-1 is not prime. Res64: D3C13B9D757BC130 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:26:59] 945*2^1407978-1 is not prime. Res64: 380E666744B01969 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:26:59] 625*2^1407979-1 is not prime. Res64: AD8FC51BD6BE86A2 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:27:30] 649*2^1407979-1 is not prime. Res64: A71CEDD5108A89F1 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:27:30] 801*2^1407979-1 is not prime. Res64: 2D648AB6122557EB Time : 0.0 sec. user=mdettweiler [2015-08-31 19:28:31] 663*2^1407980-1 is not prime. Res64: 1F2649462E1A470C Time : 0.0 sec. user=mdettweiler [2015-08-31 19:28:32] 669*2^1407980-1 is not prime. Res64: 8A55D63470896E6C Time : 0.0 sec. user=mdettweiler [2015-08-31 19:29:26] 725*2^1407980-1 is not prime. Res64: 42186FFE444E85E3 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:29:27] 753*2^1407980-1 is not prime. Res64: DC12904DDF636E0E Time : 0.0 sec. user=mdettweiler [2015-08-31 19:46:00] 999*2^1407980-1 is not prime. Res64: 175F2487524323C2 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:46:00] 657*2^1407981-1 is not prime. Res64: 86881BAA33872F57 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:46:34] 691*2^1407981-1 is not prime. Res64: A4C68B942CB54FDF Time : 0.0 sec. user=mdettweiler [2015-08-31 19:46:34] 847*2^1407981-1 is not prime. Res64: 9F604E552E60F260 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:47:29] 849*2^1407981-1 is not prime. Res64: 594901F0A93C6C6C Time : 0.0 sec. user=mdettweiler [2015-08-31 19:47:29] 901*2^1407981-1 is not prime. Res64: B3E8F1CB56244A48 Time : 0.0 sec. user=mdettweiler [2015-08-31 19:48:20] 975*2^1407981-1 is not prime. Res64: AAA6A3A95F3173CC Time : 0.0 sec. user=mdettweiler [2015-08-31 19:48:20] 997*2^1407981-1 is not prime. Res64: CC85AC1A0351E864 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:05:23] 777*2^1407982-1 is not prime. Res64: 1D45F8015181C188 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:05:25] 831*2^1407982-1 is not prime. Res64: 104185517ECED4D9 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:05:27] 621*2^1407982-1 is not prime. Res64: D205B35AB96FEE00 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:05:29] 765*2^1407982-1 is not prime. Res64: 506A28308B0BBAD4 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:06:44] 833*2^1407982-1 is not prime. Res64: 09F5CD9A048E1AC6 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:06:46] 995*2^1407982-1 is not prime. Res64: 44DBF620903CE028 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:07:35] 605*2^1407984-1 is not prime. Res64: 64F6FF9398BA9F17 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:07:36] 627*2^1407984-1 is not prime. Res64: 648320B8F446DA4D Time : 0.0 sec. user=mdettweiler [2015-08-31 20:25:47] 707*2^1407984-1 is not prime. Res64: 3FA5615E37D12863 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:25:47] 737*2^1407984-1 is not prime. Res64: CFA2C92957B2F777 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:25:48] 875*2^1407984-1 is not prime. Res64: B094646ED64B6E6D Time : 0.0 sec. user=mdettweiler [2015-08-31 20:25:48] 687*2^1407985-1 is not prime. Res64: 0A874B034160CF8D Time : 0.0 sec. user=mdettweiler [2015-08-31 20:26:43] 705*2^1407985-1 is not prime. Res64: 8E507471BE1583E9 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:26:43] 717*2^1407985-1 is not prime. Res64: CACB0A4319FF4EB6 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:27:29] 799*2^1407985-1 is not prime. Res64: 7D6DC5DDDD68BB80 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:27:29] 819*2^1407985-1 is not prime. Res64: 9DFB10C90C0C8E81 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:45:03] 987*2^1407985-1 is not prime. Res64: 53BCB231F5CF6361 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:45:04] 773*2^1407986-1 is not prime. Res64: F0110175723B5C0D Time : 0.0 sec. user=mdettweiler [2015-08-31 20:45:22] 937*2^1407985-1 is not prime. Res64: 3FAEDA8F4D3589E4 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:45:22] 951*2^1407985-1 is not prime. Res64: A3E1E160AF8FC6EB Time : 0.0 sec. user=mdettweiler [2015-08-31 20:46:12] 825*2^1407986-1 is not prime. Res64: 8B09C5030A3D5A70 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:46:12] 851*2^1407986-1 is not prime. Res64: A3FE5FB519B97EB3 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:47:00] 903*2^1407986-1 is not prime. Res64: BFAD22DFD2CE2A90 Time : 0.0 sec. user=mdettweiler [2015-08-31 20:47:00] 911*2^1407986-1 is not prime. Res64: 86B8493446983C18 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:04:13] 935*2^1407986-1 is not prime. Res64: 12DA2D0846C4ACE0 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:04:14] 685*2^1407987-1 is not prime. Res64: A8A96E5A310503B7 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:04:41] 741*2^1407987-1 is not prime. Res64: 242063AC357EF81F Time : 0.0 sec. user=mdettweiler [2015-08-31 21:04:42] 765*2^1407987-1 is not prime. Res64: 16C5CA10226278D9 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:05:22] 825*2^1407987-1 is not prime. Res64: C4F43CB66D631A45 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:05:24] 895*2^1407987-1 is not prime. Res64: 25B592774F542926 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:05:59] 951*2^1407987-1 is not prime. Res64: 07624ED4CEAA1BD9 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:06:00] 963*2^1407987-1 is not prime. Res64: 84FFAD2D3507B09A Time : 0.0 sec. user=S_K_ [2015-08-31 21:21:00] 945*2^1407980-1 is not prime. Res64: 9B1F5F0B54CDCAC6 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:23:53] 735*2^1407988-1 is not prime. Res64: 930AD71E07681A45 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:23:53] 979*2^1407987-1 is not prime. Res64: 339D506772CCF63E Time : 0.0 sec. user=mdettweiler [2015-08-31 21:23:54] 605*2^1407988-1 is not prime. Res64: 7A688F65788ECF54 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:23:54] 749*2^1407988-1 is not prime. Res64: 174881FFCA29118F Time : 0.0 sec. user=mdettweiler [2015-08-31 21:24:54] 765*2^1407988-1 is not prime. Res64: 3624C1F65B71A895 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:24:54] 657*2^1407989-1 is not prime. Res64: C0B18189FB40573F Time : 0.0 sec. user=mdettweiler [2015-08-31 21:25:23] 685*2^1407989-1 is not prime. Res64: 7B7227AF27C683E2 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:25:23] 721*2^1407989-1 is not prime. Res64: 5934681B6838D472 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:43:22] 745*2^1407989-1 is not prime. Res64: 5C83504FF05ED276 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:43:23] 795*2^1407989-1 is not prime. Res64: 9842B84BAD46BC76 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:43:25] 837*2^1407989-1 is not prime. Res64: 24334AE5DBEF4014 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:43:26] 647*2^1407990-1 is not prime. Res64: 29F6F2B9A496FCED Time : 0.0 sec. user=mdettweiler [2015-08-31 21:44:21] 625*2^1407991-1 is not prime. Res64: 11EE83A9AAFF1BB6 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:44:22] 649*2^1407991-1 is not prime. Res64: F5C8F20F80589330 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:44:44] 679*2^1407991-1 is not prime. Res64: C20D786C0D633E15 Time : 0.0 sec. user=mdettweiler [2015-08-31 21:44:44] 685*2^1407991-1 is not prime. Res64: 00A0CFB261BD798C Time : 0.0 sec. user=mdettweiler [2015-08-31 22:01:37] 789*2^1407991-1 is not prime. Res64: D3FDE53828080502 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:01:38] 855*2^1407991-1 is not prime. Res64: 8C79C8F5B30A48A6 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:01:55] 709*2^1407991-1 is not prime. Res64: 701A6B39A26378B5 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:01:55] 771*2^1407991-1 is not prime. Res64: 11CA093B09EDBBE1 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:02:35] 871*2^1407991-1 is not prime. Res64: 8E9265754D9BCF3A Time : 0.0 sec. user=mdettweiler [2015-08-31 22:02:36] 889*2^1407991-1 is not prime. Res64: A4CD09A10315A8EC Time : 0.0 sec. user=mdettweiler [2015-08-31 22:03:06] 939*2^1407991-1 is not prime. Res64: 21E410C73B6FF079 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:03:07] 943*2^1407991-1 is not prime. Res64: 76232D3A46A0B715 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:20:08] 951*2^1407991-1 is not prime. Res64: F17069FA60D5A01E Time : 0.0 sec. user=mdettweiler [2015-08-31 22:20:08] 975*2^1407991-1 is not prime. Res64: A7AE33C4D0646C82 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:20:23] 669*2^1407992-1 is not prime. Res64: D887964AD116C784 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:20:23] 687*2^1407992-1 is not prime. Res64: 36A122F42407A68F Time : 0.0 sec. user=mdettweiler [2015-08-31 22:20:59] 689*2^1407992-1 is not prime. Res64: A5C95FABFA59E8C2 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:20:59] 873*2^1407992-1 is not prime. Res64: 5932A7F61301E4AB Time : 0.0 sec. user=mdettweiler [2015-08-31 22:21:40] 915*2^1407992-1 is not prime. Res64: B6363AD24AB84350 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:21:40] 929*2^1407992-1 is not prime. Res64: 1489C5A10A8FFAAC Time : 0.0 sec. user=mdettweiler [2015-08-31 22:38:38] 945*2^1407992-1 is not prime. Res64: BD9FBF8EA69425DA Time : 0.0 sec. user=mdettweiler [2015-08-31 22:38:38] 609*2^1407993-1 is not prime. Res64: 9EFC5EA9DAB25163 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:39:02] 639*2^1407993-1 is not prime. Res64: 066A22CC6E15201F Time : 0.0 sec. user=mdettweiler [2015-08-31 22:39:03] 649*2^1407993-1 is not prime. Res64: 9B33B4C3C8D57494 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:39:37] 685*2^1407993-1 is not prime. Res64: 84D68DF21C8A8595 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:39:38] 817*2^1407993-1 is not prime. Res64: D2467B1ED249B9B4 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:40:10] 919*2^1407993-1 is not prime. Res64: A57625E5BD7343B7 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:40:10] 969*2^1407993-1 is not prime. Res64: F3FFF461983C8DBB Time : 0.0 sec. user=mdettweiler [2015-08-31 22:57:13] 987*2^1407993-1 is not prime. Res64: 54BEE12FC40EBCC0 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:57:14] 611*2^1407994-1 is not prime. Res64: 87D3EA85D40711D5 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:57:36] 701*2^1407994-1 is not prime. Res64: 2F2A3E9DB9DF418B Time : 0.0 sec. user=mdettweiler [2015-08-31 22:57:36] 803*2^1407994-1 is not prime. Res64: E5FBDED7FBAAA6F5 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:58:13] 905*2^1407994-1 is not prime. Res64: C2D3006138D4910E Time : 0.0 sec. user=mdettweiler [2015-08-31 22:58:14] 917*2^1407994-1 is not prime. Res64: 4158F4359B275089 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:58:54] 981*2^1407994-1 is not prime. Res64: C9AC07011107B048 Time : 0.0 sec. user=mdettweiler [2015-08-31 22:58:54] 733*2^1407995-1 is not prime. Res64: 91742F3A86341BC6 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:17:05] 771*2^1407995-1 is not prime. Res64: E004877CBBD71746 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:17:06] 789*2^1407995-1 is not prime. Res64: 6C3F03F0BAEDC3C2 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:18:03] 801*2^1407995-1 is not prime. Res64: 9104277E5E399032 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:18:03] 823*2^1407995-1 is not prime. Res64: 7A634A23DDDE4444 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:18:50] 973*2^1407995-1 is not prime. Res64: 4809BDD5A589FC4B Time : 0.0 sec. user=mdettweiler [2015-08-31 23:18:51] 991*2^1407995-1 is not prime. Res64: A01939DE84CC6C21 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:19:50] 623*2^1407996-1 is not prime. Res64: BD66D6471F0F7DD6 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:19:50] 633*2^1407996-1 is not prime. Res64: 971EC65C779766C7 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:38:44] 695*2^1407996-1 is not prime. Res64: 32C9813EC90DAC1C Time : 0.0 sec. user=mdettweiler [2015-08-31 23:38:45] 737*2^1407996-1 is not prime. Res64: 49A3E8D1B89659D1 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:39:12] 749*2^1407996-1 is not prime. Res64: A29B87BF8C44D77C Time : 0.0 sec. user=mdettweiler [2015-08-31 23:39:13] 783*2^1407996-1 is not prime. Res64: E9586B7AE6A2CF7A Time : 0.0 sec. user=mdettweiler [2015-08-31 23:39:34] 879*2^1407996-1 is not prime. Res64: 26166A42E06BA0A5 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:39:35] 899*2^1407996-1 is not prime. Res64: 9A8A6C5E3EC4C43B Time : 0.0 sec. user=mdettweiler [2015-08-31 23:40:34] 923*2^1407996-1 is not prime. Res64: FBC19B267D292A7B Time : 0.0 sec. user=mdettweiler [2015-08-31 23:40:34] 927*2^1407996-1 is not prime. Res64: CB02929DBBB93553 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:56:23] 639*2^1407997-1 is not prime. Res64: F72A4009EECC1C81 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:56:24] 661*2^1407997-1 is not prime. Res64: 2CD8D4EB93A3E835 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:56:57] 861*2^1407997-1 is not prime. Res64: 8F62DFAAD4920207 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:56:57] 985*2^1407997-1 is not prime. Res64: 1EA81137675B0957 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:57:25] 663*2^1407998-1 is not prime. Res64: 0573BDC0AAF2D4F0 Time : 0.0 sec. user=mdettweiler [2015-08-31 23:57:25] 743*2^1407998-1 is not prime. Res64: 5A076C128972727D Time : 0.0 sec. user=mdettweiler [2015-08-31 23:58:15] 773*2^1407998-1 is not prime. Res64: 1F08924E5F5E3B4F Time : 0.0 sec. user=mdettweiler [2015-08-31 23:58:15] 831*2^1407998-1 is not prime. Res64: 11EE2F5874A97332 Time : 0.0 sec.