user=vaughan [2013-06-20 00:01:40] 619*2^1247077-1 is not prime. Res64: 0F6B28CE6C16A000 Time : 0.0 sec. user=mdettweiler [2013-06-20 00:16:30] 941*2^1247078-1 is not prime. Res64: 7956EE5797974955 Time : 0.0 sec. user=mdettweiler [2013-06-20 00:34:20] 663*2^1247078-1 is not prime. Res64: 264F786FC813D3A3 Time : 0.0 sec. user=mdettweiler [2013-06-20 00:40:17] 957*2^1247078-1 is not prime. Res64: 3EF501B5F639C5DE Time : 0.0 sec. user=mdettweiler [2013-06-20 01:12:22] 665*2^1247078-1 is not prime. Res64: 2B1152F2AF1F1A3E Time : 0.0 sec. user=vaughan [2013-06-20 01:19:29] 669*2^1247079-1 is not prime. Res64: BF6ACA550DF4467C Time : 0.0 sec. user=mdettweiler [2013-06-20 01:30:19] 823*2^1247079-1 is not prime. Res64: 9BABDFE236031743 Time : 0.0 sec. user=mdettweiler [2013-06-20 01:30:20] 693*2^1247079-1 is not prime. Res64: 9FBEF70CEDADEEED Time : 0.0 sec. user=mdettweiler [2013-06-20 01:30:20] 861*2^1247079-1 is not prime. Res64: 1D93A04E8B54552F Time : 0.0 sec. user=mdettweiler [2013-06-20 01:30:20] 709*2^1247079-1 is not prime. Res64: CC36D981EF8B683C Time : 0.0 sec. user=mdettweiler [2013-06-20 01:48:07] 773*2^1247080-1 is not prime. Res64: F7AA4F9898A5F768 Time : 0.0 sec. user=mdettweiler [2013-06-20 01:48:07] 677*2^1247080-1 is not prime. Res64: 8CECBC4EAFD498CD Time : 0.0 sec. user=vaughan [2013-06-20 01:58:51] 635*2^1247080-1 is not prime. Res64: B22519EB6189DB69 Time : 0.0 sec. user=mdettweiler [2013-06-20 02:24:34] 743*2^1247080-1 is not prime. Res64: 81E61FB97A33B1B2 Time : 0.0 sec. user=mdettweiler [2013-06-20 02:25:59] 705*2^1247081-1 is not prime. Res64: 9B7BA2510F5B394B Time : 0.0 sec. user=vaughan [2013-06-20 02:38:00] 711*2^1247081-1 is not prime. Res64: 447D9A9DCCB745B6 Time : 0.0 sec. user=mdettweiler [2013-06-20 02:42:06] 717*2^1247081-1 is not prime. Res64: E3711AF81D37B82C Time : 0.0 sec. user=mdettweiler [2013-06-20 02:42:07] 795*2^1247081-1 is not prime. Res64: DFEBAE689FB7E09F Time : 0.0 sec. user=mdettweiler [2013-06-20 02:59:42] 945*2^1247081-1 is not prime. Res64: C1252E2883A88A29 Time : 0.0 sec. user=mdettweiler [2013-06-20 02:59:43] 957*2^1247081-1 is not prime. Res64: 5F10F978CAF27D87 Time : 0.0 sec. user=vaughan [2013-06-20 03:16:57] 867*2^1247081-1 is not prime. Res64: 121D6D4E0B364B27 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:17:39] 755*2^1247082-1 is not prime. Res64: C501FE5C3D6C8C1E Time : 0.0 sec. user=mdettweiler [2013-06-20 03:17:39] 767*2^1247082-1 is not prime. Res64: CF761E88B854C866 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:19:45] 797*2^1247082-1 is not prime. Res64: 099FF07EF1A015FD Time : 0.0 sec. user=mdettweiler [2013-06-20 03:19:46] 837*2^1247082-1 is not prime. Res64: 7368A070EFE8D055 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:35:27] 675*2^1247083-1 is not prime. Res64: 7CBA3CF2D49CDBF9 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:35:28] 693*2^1247083-1 is not prime. Res64: 4E1F80F8C690F908 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:37:40] 849*2^1247083-1 is not prime. Res64: 6D56C6CCBE6C2F0C Time : 0.0 sec. user=mdettweiler [2013-06-20 03:37:40] 853*2^1247083-1 is not prime. Res64: 26DD554DA955B102 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:53:27] 943*2^1247083-1 is not prime. Res64: 2DC02F3403DB3308 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:53:28] 609*2^1247084-1 is not prime. Res64: 98F0B1EA02B86150 Time : 0.0 sec. user=mdettweiler [2013-06-20 03:55:38] 675*2^1247084-1 is not prime. Res64: 72A76D732F1A4979 Time : 0.0 sec. user=vaughan [2013-06-20 04:01:19] 977*2^1247082-1 is not prime. Res64: 122D126690EFC7F6 Time : 0.0 sec. user=mdettweiler [2013-06-20 04:11:18] 639*2^1247085-1 is not prime. Res64: A2554BB16532922D Time : 0.0 sec. user=mdettweiler [2013-06-20 04:11:37] 651*2^1247085-1 is not prime. Res64: 7FF9D9FC1D51572A Time : 0.0 sec. user=mdettweiler [2013-06-20 04:14:12] 897*2^1247084-1 is not prime. Res64: 646481D6002E3056 Time : 0.0 sec. user=mdettweiler [2013-06-20 04:31:44] 741*2^1247085-1 is not prime. Res64: 117BCD7B92734F33 Time : 0.0 sec. user=mdettweiler [2013-06-20 04:31:46] 765*2^1247085-1 is not prime. Res64: 0668E76DDFCD9D16 Time : 0.0 sec. user=vaughan [2013-06-20 04:40:40] 699*2^1247085-1 is not prime. Res64: EDD8C12C63CC2AC2 Time : 0.0 sec. user=mdettweiler [2013-06-20 04:49:35] 819*2^1247085-1 is not prime. Res64: 8E6894A1E5568629 Time : 0.0 sec. user=mdettweiler [2013-06-20 05:07:13] 921*2^1247085-1 is not prime. Res64: 9233CADAFCE344CA Time : 0.0 sec. user=mdettweiler [2013-06-20 05:07:14] 603*2^1247086-1 is not prime. Res64: 7E6BBDF6C5D5712A Time : 0.0 sec. user=mdettweiler [2013-06-20 05:14:54] 867*2^1247085-1 is not prime. Res64: 3B05E63259C5A39B Time : 0.0 sec. user=mdettweiler [2013-06-20 05:25:03] 657*2^1247086-1 is not prime. Res64: 4536729AECA88122 Time : 0.0 sec. user=mdettweiler [2013-06-20 05:25:03] 813*2^1247086-1 is not prime. Res64: 8C7457C05B13C767 Time : 0.0 sec. user=mdettweiler [2013-06-20 05:32:26] 873*2^1247086-1 is not prime. Res64: C30F54546DEC7142 Time : 0.0 sec. user=mdettweiler [2013-06-20 05:32:26] 739*2^1247087-1 is not prime. Res64: 77666782606B7CC9 Time : 0.0 sec. user=mdettweiler [2013-06-20 05:43:10] 805*2^1247087-1 is not prime. Res64: D9CDE1D440743F78 Time : 0.0 sec. user=mdettweiler [2013-06-20 05:51:05] 915*2^1247087-1 is not prime. Res64: 2AAD992019A8217E Time : 0.0 sec. user=mdettweiler [2013-06-20 05:51:06] 985*2^1247087-1 is not prime. Res64: 332234BC92E603A8 Time : 0.0 sec. user=vaughan [2013-06-20 05:58:43] 759*2^1247087-1 is not prime. Res64: 814DF8EFC18B59C5 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:08:04] 859*2^1247087-1 is not prime. Res64: 0E7D1BF74D876988 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:08:38] 669*2^1247088-1 is not prime. Res64: B303A6943089F574 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:08:39] 789*2^1247088-1 is not prime. Res64: CD57DDD9177F4739 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:25:37] 837*2^1247088-1 is not prime. Res64: 9A1D55AC7BECED79 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:25:37] 849*2^1247088-1 is not prime. Res64: 47A66A0056F8E042 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:27:02] 909*2^1247088-1 is not prime. Res64: 1410A27966A65D5C Time : 0.0 sec. user=mdettweiler [2013-06-20 06:27:03] 975*2^1247088-1 is not prime. Res64: 1374EA44D06E673F Time : 0.0 sec. user=vaughan [2013-06-20 06:37:47] 815*2^1247088-1 is not prime. Res64: C936C12EF2B2D8EB Time : 0.0 sec. user=mdettweiler [2013-06-20 06:44:40] 619*2^1247089-1 is not prime. Res64: 436A2226BF428E67 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:44:40] 699*2^1247089-1 is not prime. Res64: 97AAB8F1FE7C64F1 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:45:04] 977*2^1247088-1 is not prime. Res64: 7ED9DDEE586452C6 Time : 0.0 sec. user=mdettweiler [2013-06-20 06:45:04] 999*2^1247088-1 is not prime. Res64: A625C740DABF4DAE Time : 0.0 sec. user=mdettweiler [2013-06-20 07:02:29] 885*2^1247089-1 is not prime. Res64: B0070FEDB7044332 Time : 0.0 sec. user=mdettweiler [2013-06-20 07:02:31] 731*2^1247090-1 is not prime. Res64: EAA6FC27B3763F72 Time : 0.0 sec. user=mdettweiler [2013-06-20 07:02:52] 791*2^1247090-1 is not prime. Res64: 15B19D69F41FE623 Time : 0.0 sec. user=mdettweiler [2013-06-20 07:02:53] 851*2^1247090-1 is not prime. Res64: 7E870DF9B52F9631 Time : 0.0 sec. user=vaughan [2013-06-20 07:16:56] 729*2^1247089-1 is not prime. Res64: 24D1D609C6C1EB27 Time : 0.0 sec. user=mdettweiler [2013-06-20 07:20:29] 885*2^1247090-1 is not prime. Res64: F0F42C663B9B11DE Time : 0.0 sec. user=mdettweiler [2013-06-20 07:21:32] 917*2^1247090-1 is not prime. Res64: 108BA852AA1BE769 Time : 0.0 sec. user=mdettweiler [2013-06-20 07:43:08] 887*2^1247090-1 is not prime. Res64: B75D99F9C484F5D0 Time : 0.0 sec. user=mdettweiler [2013-06-20 07:54:23] 1001*2^1247090-1 is not prime. Res64: 7D21A3CDFFD23118 Time : 0.0 sec. user=mdettweiler [2013-06-20 08:00:54] 639*2^1247091-1 is not prime. Res64: 37FC03D2A372BD3E Time : 0.0 sec. user=mdettweiler [2013-06-20 08:12:05] 741*2^1247091-1 is not prime. Res64: C2A30CFDB7F70CF3 Time : 0.0 sec. user=mdettweiler [2013-06-20 08:25:06] 735*2^1247091-1 is not prime. Res64: 8BC1B3663B929A10 Time : 0.0 sec. user=vaughan [2013-06-20 08:34:39] 871*2^1247091-1 is not prime. Res64: 4ED256731E11344A Time : 0.0 sec. user=mdettweiler [2013-06-20 08:42:59] 629*2^1247092-1 is not prime. Res64: CA3AF873DA940127 Time : 0.0 sec. user=mdettweiler [2013-06-20 08:44:32] 775*2^1247091-1 is not prime. Res64: D1612E0CE0C1D60E Time : 0.0 sec. user=mdettweiler [2013-06-20 09:02:26] 803*2^1247092-1 is not prime. Res64: 96E80D9F0B74B1FA Time : 0.0 sec. user=mdettweiler [2013-06-20 09:09:54] 777*2^1247092-1 is not prime. Res64: CB5145CC73883353 Time : 0.0 sec. user=vaughan [2013-06-20 09:13:32] 779*2^1247092-1 is not prime. Res64: 429A3C5474A283FA Time : 0.0 sec. user=mdettweiler [2013-06-20 09:31:01] 619*2^1247093-1 is not prime. Res64: 976AC0F563B2B4FA Time : 0.0 sec. user=mdettweiler [2013-06-20 09:48:35] 789*2^1247093-1 is not prime. Res64: E6D14CCACD8D2CA0 Time : 0.0 sec. user=mdettweiler [2013-06-20 09:48:35] 855*2^1247093-1 is not prime. Res64: D51DE7394AC585B1 Time : 0.0 sec. user=vaughan [2013-06-20 09:52:31] 691*2^1247093-1 is not prime. Res64: 4473DFCF8DC8D24A Time : 0.0 sec. user=mdettweiler [2013-06-20 10:06:44] 741*2^1247094-1 is not prime. Res64: B8D6EDB52C7F62BA Time : 0.0 sec. user=mdettweiler [2013-06-20 10:32:39] 981*2^1247093-1 is not prime. Res64: C25ED3008359E77E Time : 0.0 sec. user=mdettweiler [2013-06-20 10:32:40] 681*2^1247094-1 is not prime. Res64: 89074028DA7BC866 Time : 0.0 sec. user=vaughan [2013-06-20 10:36:37] 893*2^1247094-1 is not prime. Res64: 445E8F751CEF5721 Time : 0.0 sec. user=mdettweiler [2013-06-20 10:42:45] 873*2^1247094-1 is not prime. Res64: 4623F627D70BA233 Time : 0.0 sec. user=mdettweiler [2013-06-20 10:51:18] 927*2^1247094-1 is not prime. Res64: 11337C5B6FAA5141 Time : 0.0 sec. user=mdettweiler [2013-06-20 10:51:18] 983*2^1247094-1 is not prime. Res64: 88BB382A59C55AA1 Time : 0.0 sec. user=mdettweiler [2013-06-20 11:00:17] 861*2^1247095-1 is not prime. Res64: F86B78B1C82DDEC7 Time : 0.0 sec. user=mdettweiler [2013-06-20 11:00:18] 891*2^1247095-1 is not prime. Res64: 443B5A8BD21E3F99 Time : 0.0 sec. user=mdettweiler [2013-06-20 11:08:56] 933*2^1247095-1 is not prime. Res64: 190A92D4184F03DD Time : 0.0 sec. user=mdettweiler [2013-06-20 11:08:57] 615*2^1247096-1 is not prime. Res64: 2F0B678347F41100 Time : 0.0 sec. user=mdettweiler [2013-06-20 11:17:52] 645*2^1247096-1 is not prime. Res64: 56505CFB12941EAC Time : 0.0 sec. user=mdettweiler [2013-06-20 11:17:52] 719*2^1247096-1 is not prime. Res64: D862C5F277A2EBA4 Time : 0.0 sec. user=vaughan [2013-06-20 11:21:03] 1001*2^1247094-1 is not prime. Res64: 74399D77CD40C23C Time : 0.0 sec. user=mdettweiler [2013-06-20 11:27:01] 747*2^1247096-1 is not prime. Res64: 5C20AE98D4DF04AB Time : 0.0 sec. user=mdettweiler [2013-06-20 11:36:10] 777*2^1247096-1 is not prime. Res64: 424D0E9DD7F8D2F3 Time : 0.0 sec. user=mdettweiler [2013-06-20 11:54:29] 773*2^1247096-1 is not prime. Res64: 43385344FA01C162 Time : 0.0 sec. user=mdettweiler [2013-06-20 11:59:43] 813*2^1247096-1 is not prime. Res64: 9E91C32BFE2E63C8 Time : 0.0 sec. user=vaughan [2013-06-20 12:00:25] 815*2^1247096-1 is not prime. Res64: 6DFE58167F6CCAFE Time : 0.0 sec. user=mdettweiler [2013-06-20 12:17:55] 825*2^1247096-1 is not prime. Res64: ED28CF294B9810D7 Time : 0.0 sec. user=mdettweiler [2013-06-20 12:17:55] 857*2^1247096-1 is not prime. Res64: 9C213DDF6B99D37C Time : 0.0 sec. user=mdettweiler [2013-06-20 12:35:39] 681*2^1247097-1 is not prime. Res64: 9DED87A548EB8284 Time : 0.0 sec. user=mdettweiler [2013-06-20 12:35:40] 805*2^1247097-1 is not prime. Res64: 7FF9C41AE2CBEF4D Time : 0.0 sec. user=mdettweiler [2013-06-20 12:37:44] 885*2^1247097-1 is not prime. Res64: 26C1894EDB4E0596 Time : 0.0 sec. user=mdettweiler [2013-06-20 12:37:45] 889*2^1247097-1 is not prime. Res64: E5B3ECE6EADF3FFE Time : 0.0 sec. user=vaughan [2013-06-20 12:39:20] 875*2^1247096-1 is not prime. Res64: 6A08E233F5F5AE02 Time : 0.0 sec. user=mdettweiler [2013-06-20 12:53:35] 901*2^1247097-1 is not prime. Res64: 2AECCB0994066AF2 Time : 0.0 sec. user=mdettweiler [2013-06-20 12:53:35] 617*2^1247098-1 is not prime. Res64: 3BB6554CA0B3E6FD Time : 0.0 sec. user=mdettweiler [2013-06-20 12:55:44] 777*2^1247098-1 is not prime. Res64: 54469A21639AA186 Time : 0.0 sec. user=mdettweiler [2013-06-20 13:11:45] 855*2^1247098-1 is not prime. Res64: 7BA85F2288F7AD72 Time : 0.0 sec. user=mdettweiler [2013-06-20 13:11:46] 669*2^1247099-1 is not prime. Res64: F4FB00BDCD38D5A0 Time : 0.0 sec. user=vaughan [2013-06-20 13:18:27] 843*2^1247098-1 is not prime. Res64: 17657D0A69C23DE5 Time : 0.0 sec. user=mdettweiler [2013-06-20 13:22:45] 821*2^1247098-1 is not prime. Res64: 001ABA9FB969013C Time : 0.0 sec. user=mdettweiler [2013-06-20 13:30:52] 693*2^1247099-1 is not prime. Res64: 574CBF67819B5926 Time : 0.0 sec. user=mdettweiler [2013-06-20 13:41:37] 813*2^1247099-1 is not prime. Res64: 152364CADD800408 Time : 0.0 sec. user=mdettweiler [2013-06-20 13:41:37] 647*2^1247100-1 is not prime. Res64: 8778A0DD95E8C7DD Time : 0.0 sec. user=mdettweiler [2013-06-20 13:59:20] 669*2^1247100-1 is not prime. Res64: 59ABFF75E9B0F917 Time : 0.0 sec. user=mdettweiler [2013-06-20 13:59:21] 689*2^1247100-1 is not prime. Res64: 57538A28FF2A3E27 Time : 0.0 sec. user=mdettweiler [2013-06-20 14:01:19] 799*2^1247099-1 is not prime. Res64: 4A7431DC2F5F17C1 Time : 0.0 sec. user=mdettweiler [2013-06-20 14:17:12] 725*2^1247100-1 is not prime. Res64: 50F2F2CECB49A9AB Time : 0.0 sec. user=mdettweiler [2013-06-20 14:17:12] 783*2^1247100-1 is not prime. Res64: 79C64C0288C8E46C Time : 0.0 sec. user=mdettweiler [2013-06-20 14:34:51] 843*2^1247100-1 is not prime. Res64: 14A64592D4B5D407 Time : 0.0 sec. user=mdettweiler [2013-06-20 14:34:52] 857*2^1247100-1 is not prime. Res64: 477907FE237614F7 Time : 0.0 sec. user=vaughan [2013-06-20 14:36:25] 723*2^1247100-1 is not prime. Res64: 4D7FF387D47C0438 Time : 0.0 sec. user=mdettweiler [2013-06-20 14:52:38] 867*2^1247100-1 is not prime. Res64: 358626D6EE4524E3 Time : 0.0 sec. user=mdettweiler [2013-06-20 14:52:39] 873*2^1247100-1 is not prime. Res64: EB603B5A3A9E568F Time : 0.0 sec. user=mdettweiler [2013-06-20 14:57:29] 621*2^1247101-1 is not prime. Res64: 2C878DEBB702F940 Time : 0.0 sec. user=mdettweiler [2013-06-20 15:10:31] 747*2^1247101-1 is not prime. Res64: EF3D49410BDDF268 Time : 0.0 sec. user=mdettweiler [2013-06-20 15:10:32] 769*2^1247101-1 is not prime. Res64: F14450E26DA487B3 Time : 0.0 sec. user=vaughan [2013-06-20 15:15:29] 607*2^1247101-1 is not prime. Res64: 0C2A1DEA8FBC7A05 Time : 0.0 sec. user=mdettweiler [2013-06-20 15:16:23] 691*2^1247101-1 is not prime. Res64: 29459BA63C068838 Time : 0.0 sec. user=mdettweiler [2013-06-20 15:28:26] 665*2^1247102-1 is not prime. Res64: 6FDB6AB574CE7A4B Time : 0.0 sec. user=mdettweiler [2013-06-20 15:34:25] 785*2^1247102-1 is not prime. Res64: F3294176DC9F21FB Time : 0.0 sec. user=mdettweiler [2013-06-20 16:02:05] 743*2^1247102-1 is not prime. Res64: 6D56CBA438A23A21 Time : 0.0 sec. user=mdettweiler [2013-06-20 16:14:46] 957*2^1247102-1 is not prime. Res64: AF429E037B0CAA31 Time : 0.0 sec. user=vaughan [2013-06-20 16:33:20] 685*2^1247103-1 is not prime. Res64: CB5353656E82A3EA Time : 0.0 sec. user=mdettweiler [2013-06-20 16:49:53] 705*2^1247103-1 is not prime. Res64: FDA9E05910669BDA Time : 0.0 sec. user=mdettweiler [2013-06-20 16:49:53] 723*2^1247103-1 is not prime. Res64: 9FB2A73FF2C7F6F3 Time : 0.0 sec. user=mdettweiler [2013-06-20 17:07:52] 751*2^1247103-1 is not prime. Res64: 8E002171F116DE17 Time : 0.0 sec. user=mdettweiler [2013-06-20 17:07:53] 765*2^1247103-1 is not prime. Res64: 3E5C89262E1B5061 Time : 0.0 sec. user=vaughan [2013-06-20 17:13:04] 735*2^1247103-1 is not prime. Res64: EA5AECA0DC8521A6 Time : 0.0 sec. user=mdettweiler [2013-06-20 17:13:36] 789*2^1247103-1 is not prime. Res64: F041A098203B5C60 Time : 0.0 sec. user=mdettweiler [2013-06-20 17:25:51] 819*2^1247103-1 is not prime. Res64: 6135CC8B0AA3104F Time : 0.0 sec. user=mdettweiler [2013-06-20 17:25:51] 895*2^1247103-1 is not prime. Res64: 32D4EBE4B3850158 Time : 0.0 sec. user=mdettweiler [2013-06-20 17:43:54] 933*2^1247103-1 is not prime. Res64: 3AFFAF17CBDA9FAC Time : 0.0 sec. user=mdettweiler [2013-06-20 17:48:57] 793*2^1247103-1 is not prime. Res64: C01B60727C44A749 Time : 0.0 sec. user=mdettweiler [2013-06-20 18:07:02] 695*2^1247104-1 is not prime. Res64: 79E6FEEF3086DA3C Time : 0.0 sec. user=mdettweiler [2013-06-20 18:07:04] 717*2^1247104-1 is not prime. Res64: CC7FDCDE64E483FB Time : 0.0 sec. user=mdettweiler [2013-06-20 18:25:17] 813*2^1247104-1 is not prime. Res64: 6B4A2B760A861B31 Time : 0.0 sec. user=mdettweiler [2013-06-20 18:25:17] 873*2^1247104-1 is not prime. Res64: 1B5C5E1D2DF35704 Time : 0.0 sec. user=vaughan [2013-06-20 18:30:49] 743*2^1247104-1 is not prime. Res64: 50C53FDC00977F46 Time : 0.0 sec. user=mdettweiler [2013-06-20 18:33:51] 951*2^1247103-1 is not prime. Res64: D3C715157AEC4FC8 Time : 0.0 sec. user=mdettweiler [2013-06-20 18:43:08] 905*2^1247104-1 is not prime. Res64: 8071D5F48350A33B Time : 0.0 sec. user=mdettweiler [2013-06-20 18:43:09] 619*2^1247105-1 is not prime. Res64: EB05EBAC096B8A24 Time : 0.0 sec. user=mdettweiler [2013-06-20 18:51:46] 657*2^1247105-1 is not prime. Res64: BBDCFB8AAB02C33E Time : 0.0 sec. user=mdettweiler [2013-06-20 18:51:46] 669*2^1247105-1 is not prime. Res64: C41322F406C73686 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:01:10] 675*2^1247105-1 is not prime. Res64: D49C3AED2ABBA93B Time : 0.0 sec. user=mdettweiler [2013-06-20 19:01:11] 711*2^1247105-1 is not prime. Res64: 9A108CACC91C5CCC Time : 0.0 sec. user=vaughan [2013-06-20 19:09:45] 651*2^1247105-1 is not prime. Res64: 8F4BED92BEC79925 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:10:23] 867*2^1247105-1 is not prime. Res64: 976ACB1FB69FBFE1 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:10:23] 627*2^1247106-1 is not prime. Res64: AA71B5D3C9AAA2EF Time : 0.0 sec. user=mdettweiler [2013-06-20 19:19:12] 705*2^1247106-1 is not prime. Res64: F78A58497A6B21AE Time : 0.0 sec. user=mdettweiler [2013-06-20 19:28:12] 777*2^1247106-1 is not prime. Res64: 5F190C3505B94F17 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:28:12] 803*2^1247106-1 is not prime. Res64: D46CC3C6B20ECAF5 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:46:10] 833*2^1247106-1 is not prime. Res64: CF42850835A3F399 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:46:10] 851*2^1247106-1 is not prime. Res64: 82B509304C340486 Time : 0.0 sec. user=vaughan [2013-06-20 19:48:39] 723*2^1247106-1 is not prime. Res64: D93E30673A219BC0 Time : 0.0 sec. user=mdettweiler [2013-06-20 19:58:54] 713*2^1247106-1 is not prime. Res64: 77A014DCFC38A213 Time : 0.0 sec. user=mdettweiler [2013-06-20 20:04:40] 887*2^1247106-1 is not prime. Res64: 15AC6A3F21289945 Time : 0.0 sec. user=mdettweiler [2013-06-20 20:17:06] 805*2^1247107-1 is not prime. Res64: 4DAC9C1A4A4656DF Time : 0.0 sec. user=mdettweiler [2013-06-20 20:17:06] 829*2^1247107-1 is not prime. Res64: BCB2AC809A94646B Time : 0.0 sec. user=mdettweiler [2013-06-20 20:27:38] 601*2^1247107-1 is not prime. Res64: 4E353BB2772199E2 Time : 0.0 sec. user=vaughan [2013-06-20 20:28:01] 685*2^1247107-1 is not prime. Res64: 89A8648595968BB2 Time : 0.0 sec. user=mdettweiler [2013-06-20 20:34:56] 901*2^1247107-1 is not prime. Res64: 75E4C3ECE77B0ACB Time : 0.0 sec. user=mdettweiler [2013-06-20 20:34:56] 915*2^1247107-1 is not prime. Res64: 0AEA0A70475862EB Time : 0.0 sec. user=mdettweiler [2013-06-20 20:45:26] 945*2^1247107-1 is not prime. Res64: 4A965B3E35349FC8 Time : 0.0 sec. user=mdettweiler [2013-06-20 20:45:26] 615*2^1247108-1 is not prime. Res64: 8DA4C11039757B1F Time : 0.0 sec. user=mdettweiler [2013-06-20 20:52:45] 683*2^1247108-1 is not prime. Res64: 9ACBCAA328F6B593 Time : 0.0 sec. user=mdettweiler [2013-06-20 21:02:59] 743*2^1247108-1 is not prime. Res64: 10A56D91C6883F76 Time : 0.0 sec. user=mdettweiler [2013-06-20 21:03:02] 803*2^1247108-1 is not prime. Res64: 0F9EFAB478DF2AFF Time : 0.0 sec. user=mdettweiler [2013-06-20 21:21:08] 825*2^1247108-1 is not prime. Res64: BC4B6CDEBF45270A Time : 0.0 sec. user=mdettweiler [2013-06-20 21:31:19] 707*2^1247108-1 is not prime. Res64: 18F7ADC1EED16EDE Time : 0.0 sec. user=vaughan [2013-06-20 21:45:57] 615*2^1247109-1 is not prime. Res64: E0F49FD03E406209 Time : 0.0 sec. user=mdettweiler [2013-06-20 21:49:09] 657*2^1247109-1 is not prime. Res64: AB732EE11F0A9A6A Time : 0.0 sec. user=mdettweiler [2013-06-20 21:49:10] 747*2^1247109-1 is not prime. Res64: AEE43D5E0E07E11C Time : 0.0 sec. user=mdettweiler [2013-06-20 21:58:43] 885*2^1247108-1 is not prime. Res64: 7EED982875724CB9 Time : 0.0 sec. user=mdettweiler [2013-06-20 22:07:10] 829*2^1247109-1 is not prime. Res64: 06A4FF2B761556E2 Time : 0.0 sec. user=vaughan [2013-06-20 22:24:55] 769*2^1247109-1 is not prime. Res64: 7381155459CD5F9B Time : 0.0 sec. user=mdettweiler [2013-06-20 22:37:49] 605*2^1247110-1 is not prime. Res64: 05E0452C878DB70D Time : 0.0 sec. user=mdettweiler [2013-06-20 22:46:18] 835*2^1247109-1 is not prime. Res64: 4FCCAC8D700089DF Time : 0.0 sec. user=mdettweiler [2013-06-20 23:00:15] 825*2^1247110-1 is not prime. Res64: 841E6A24176DC547 Time : 0.0 sec. user=vaughan [2013-06-20 23:03:50] 833*2^1247110-1 is not prime. Res64: 6891BE6A626059BE Time : 0.0 sec. user=mdettweiler [2013-06-20 23:18:22] 861*2^1247110-1 is not prime. Res64: 747E9F5DDF7B084E Time : 0.0 sec. user=mdettweiler [2013-06-20 23:18:22] 885*2^1247110-1 is not prime. Res64: D33B625038CAC430 Time : 0.0 sec. user=mdettweiler [2013-06-20 23:26:32] 603*2^1247111-1 is not prime. Res64: 64FB20AC64D2241F Time : 0.0 sec. user=mdettweiler [2013-06-20 23:36:13] 673*2^1247111-1 is not prime. Res64: 362B59BF0E795C05 Time : 0.0 sec. user=mdettweiler [2013-06-20 23:36:14] 711*2^1247111-1 is not prime. Res64: 12C8D772B4262C5B Time : 0.0 sec. user=vaughan [2013-06-20 23:47:56] 917*2^1247110-1 is not prime. Res64: 95397830B2582CF8 Time : 0.0 sec. user=mdettweiler [2013-06-20 23:51:51] 663*2^1247111-1 is not prime. Res64: ECA85BB4211DE34E Time : 0.0 sec. user=mdettweiler [2013-06-20 23:54:00] 909*2^1247111-1 is not prime. Res64: E0C4376EE413A00B Time : 0.0 sec. user=mdettweiler [2013-06-20 23:54:01] 945*2^1247111-1 is not prime. Res64: E55266F34AC986AB Time : 0.0 sec.