user=mdettweiler [2012-02-12 00:01:24] 619*2^1005313-1 is not prime. Res64: 17EAB2E8A4230FB8 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:01:24] 789*2^1005313-1 is not prime. Res64: 6657D76808CA1882 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:03:34] 881*2^1005298-1 is not prime. Res64: 48AE364BAFCF33E6 Time : 0.0 sec. user=gd_barnes [2012-02-12 00:04:37] 991*2^1005309-1 is not prime. Res64: CB34D8C55202DAFC Time : 0.0 sec. user=gd_barnes [2012-02-12 00:04:38] 675*2^1005310-1 is not prime. Res64: 5F26F706BB6721BF Time : 0.0 sec. user=mdettweiler [2012-02-12 00:06:52] 987*2^1005313-1 is not prime. Res64: 6AFE64800609317A Time : 0.0 sec. user=mdettweiler [2012-02-12 00:06:53] 791*2^1005314-1 is not prime. Res64: 6B6463B71559CFE5 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:07:42] 705*2^1005315-1 is not prime. Res64: 59C93E30A2CB0787 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:07:43] 895*2^1005315-1 is not prime. Res64: 5AC068719C0699AD Time : 0.0 sec. user=mdettweiler [2012-02-12 00:09:55] 955*2^1005315-1 is not prime. Res64: 4F2EC424E843EAF4 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:09:56] 961*2^1005315-1 is not prime. Res64: 8AB01F13ECAEFA08 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:14:57] 645*2^1005317-1 is not prime. Res64: 8661FE67C7BA3AF7 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:14:58] 691*2^1005317-1 is not prime. Res64: FD4B26FAB1CBE14D Time : 0.0 sec. user=gd_barnes [2012-02-12 00:20:03] 719*2^1005312-1 is not prime. Res64: 3571229A214822B3 Time : 0.0 sec. user=gd_barnes [2012-02-12 00:20:03] 765*2^1005312-1 is not prime. Res64: 32B6FFF51D095B8D Time : 0.0 sec. user=mdettweiler [2012-02-12 00:20:27] 711*2^1005318-1 is not prime. Res64: 51B6BF7724F607D1 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:20:28] 821*2^1005318-1 is not prime. Res64: EDF1D886A37A9F38 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:21:15] 813*2^1005304-1 is not prime. Res64: 402BF7239E0B2829 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:22:52] 645*2^1005319-1 is not prime. Res64: 8F02E0E8AEE54CF0 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:22:52] 883*2^1005319-1 is not prime. Res64: F3F01FE6F594102C Time : 0.0 sec. user=mdettweiler [2012-02-12 00:26:31] 885*2^1005319-1 is not prime. Res64: E7813174757E6F89 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:26:32] 895*2^1005319-1 is not prime. Res64: 648D786B5A296766 Time : 0.0 sec. user=gd_barnes [2012-02-12 00:30:13] 863*2^1005312-1 is not prime. Res64: 9082A94637529899 Time : 0.0 sec. user=gd_barnes [2012-02-12 00:30:13] 887*2^1005312-1 is not prime. Res64: 8CFDE04C805317A6 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:31:31] 919*2^1005319-1 is not prime. Res64: 3720A1AA90AE3CC5 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:31:32] 951*2^1005319-1 is not prime. Res64: E095BC5851EADB43 Time : 0.0 sec. user=gd_barnes [2012-02-12 00:32:36] 815*2^1005314-1 is not prime. Res64: 876E7124B4B97C92 Time : 0.0 sec. user=gd_barnes [2012-02-12 00:32:36] 825*2^1005314-1 is not prime. Res64: CD604BA9051C7E82 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:34:01] 659*2^1005320-1 is not prime. Res64: 5B81DC6C86506854 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:34:01] 755*2^1005320-1 is not prime. Res64: 04DFA60C41E496BD Time : 0.0 sec. user=mdettweiler [2012-02-12 00:37:59] 855*2^1005320-1 is not prime. Res64: 3C798EA6C23E65E9 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:38:00] 875*2^1005320-1 is not prime. Res64: 5AD0D258F04BCB5F Time : 0.0 sec. user=mdettweiler [2012-02-12 00:41:37] 945*2^1005320-1 is not prime. Res64: DC12E722C99F00E8 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:41:37] 661*2^1005321-1 is not prime. Res64: F4B34630BE2A0676 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:47:29] 647*2^1005322-1 is not prime. Res64: 48B0B9BD8D85F7AA Time : 0.0 sec. user=mdettweiler [2012-02-12 00:47:29] 675*2^1005322-1 is not prime. Res64: 63ACBD766E9929B7 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:48:08] 885*2^1005321-1 is not prime. Res64: EF38003DEF68034F Time : 0.0 sec. user=mdettweiler [2012-02-12 00:48:09] 969*2^1005321-1 is not prime. Res64: F3B7ACC955630309 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:53:02] 813*2^1005322-1 is not prime. Res64: 40FBD16119CB8F8A Time : 0.0 sec. user=mdettweiler [2012-02-12 00:53:02] 987*2^1005322-1 is not prime. Res64: 7F3E44DC39E980C6 Time : 0.0 sec. user=mdettweiler [2012-02-12 00:55:06] 619*2^1005323-1 is not prime. Res64: 373C6E52C659D02F Time : 0.0 sec. user=mdettweiler [2012-02-12 00:55:06] 609*2^1005324-1 is not prime. Res64: D252C5E9AD64DAEB Time : 0.0 sec. user=gd_barnes [2012-02-12 01:00:08] 609*2^1005320-1 is not prime. Res64: A6644FCED4BD0365 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:00:09] 615*2^1005320-1 is not prime. Res64: F135D9E88107D98C Time : 0.0 sec. user=gd_barnes [2012-02-12 01:00:27] 871*2^1005317-1 is not prime. Res64: 1534413D8C40C1D1 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:00:28] 991*2^1005317-1 is not prime. Res64: C49D0B688BECAFB9 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:01:38] 683*2^1005326-1 is not prime. Res64: 75F3853DD790060B Time : 0.0 sec. user=mdettweiler [2012-02-12 01:01:40] 717*2^1005326-1 is not prime. Res64: 97999A3CE007F520 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:02:30] 623*2^1005324-1 is not prime. Res64: 104CE6A9AE8A719B Time : 0.0 sec. user=mdettweiler [2012-02-12 01:02:31] 899*2^1005324-1 is not prime. Res64: 3ECAC1E4BE7FC463 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:06:37] 851*2^1005326-1 is not prime. Res64: 671704653E2292C4 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:06:38] 857*2^1005326-1 is not prime. Res64: 4F42158F06F8F92D Time : 0.0 sec. user=mdettweiler [2012-02-12 01:11:42] 963*2^1005326-1 is not prime. Res64: 58C684BAB6DA44B2 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:11:43] 1001*2^1005326-1 is not prime. Res64: EBCA0C6718C928D0 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:15:15] 657*2^1005328-1 is not prime. Res64: 85838FE65694A5A7 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:15:16] 773*2^1005328-1 is not prime. Res64: 081BA0E945C0A316 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:16:07] 615*2^1005329-1 is not prime. Res64: F07FEA5C9BBEDB14 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:16:08] 721*2^1005329-1 is not prime. Res64: 2523AD4F78743AEB Time : 0.0 sec. user=gd_barnes [2012-02-12 01:18:11] 669*2^1005321-1 is not prime. Res64: 548E66BE4F4875C9 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:18:12] 865*2^1005321-1 is not prime. Res64: D0B8E027E70C9262 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:20:19] 729*2^1005329-1 is not prime. Res64: 140CA4270A731C36 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:20:19] 819*2^1005329-1 is not prime. Res64: 0FCBEA41CBFC7944 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:20:25] 975*2^1005321-1 is not prime. Res64: DAB07E4233644592 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:20:25] 611*2^1005322-1 is not prime. Res64: B6B8ECCF59C62532 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:22:38] 693*2^1005316-1 is not prime. Res64: 33C110DB6C6010A0 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:22:38] 989*2^1005316-1 is not prime. Res64: 7CAD852871281701 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:22:51] 757*2^1005317-1 is not prime. Res64: 4DC8061774B1A9A7 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:22:51] 837*2^1005317-1 is not prime. Res64: 1DEB242337B6D74A Time : 0.0 sec. user=mdettweiler [2012-02-12 01:28:22] 951*2^1005329-1 is not prime. Res64: E5B06779E77915F6 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:28:22] 997*2^1005329-1 is not prime. Res64: EFEA263E04B8B505 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:28:51] 627*2^1005330-1 is not prime. Res64: BF2039268A0766D2 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:28:51] 711*2^1005330-1 is not prime. Res64: E4B36BEEE6E05486 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:29:42] 725*2^1005330-1 is not prime. Res64: 43EFDD6F7B148A39 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:29:42] 735*2^1005330-1 is not prime. Res64: 12C40D018D4FA7B2 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:36:57] 927*2^1005330-1 is not prime. Res64: EA5BDEFB48F9CC65 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:36:57] 951*2^1005330-1 is not prime. Res64: 4463B55FC00BCE2F Time : 0.0 sec. user=gd_barnes [2012-02-12 01:39:57] 609*2^1005327-1 is not prime. Res64: 727807EC83EBC697 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:39:57] 661*2^1005327-1 is not prime. Res64: 67D3295949BD7317 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:40:19] 825*2^1005320-1 is not prime. Res64: 524C8A3982F401D6 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:40:29] 839*2^1005320-1 is not prime. Res64: 38B3B3B576452EA3 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:41:58] 735*2^1005332-1 is not prime. Res64: 12FFC18943E6298A Time : 0.0 sec. user=mdettweiler [2012-02-12 01:42:02] 803*2^1005332-1 is not prime. Res64: 6E4C79D02DC1A7DC Time : 0.0 sec. user=mdettweiler [2012-02-12 01:44:00] 825*2^1005332-1 is not prime. Res64: 3B440C99ED0F5A84 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:44:02] 885*2^1005332-1 is not prime. Res64: A1730A0A3B2B2545 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:44:50] 897*2^1005332-1 is not prime. Res64: 9DE6573E0EBC2EC8 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:45:00] 765*2^1005333-1 is not prime. Res64: A09AB0CDAFAD25B3 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:50:34] 817*2^1005333-1 is not prime. Res64: 8480E84DA0ECB299 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:50:34] 849*2^1005333-1 is not prime. Res64: 385F263C00DF9B7A Time : 0.0 sec. user=mdettweiler [2012-02-12 01:55:44] 681*2^1005334-1 is not prime. Res64: 43227ADB645B4BA4 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:55:44] 791*2^1005334-1 is not prime. Res64: A58D7BBC8ED27C61 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:55:47] 891*2^1005327-1 is not prime. Res64: 2651FEA728050693 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:55:48] 975*2^1005327-1 is not prime. Res64: B1A15AA002705B35 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:58:15] 755*2^1005330-1 is not prime. Res64: 590CAF7B8B7CA7B0 Time : 0.0 sec. user=gd_barnes [2012-02-12 01:58:18] 791*2^1005330-1 is not prime. Res64: 98968472AF47D556 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:59:20] 831*2^1005334-1 is not prime. Res64: 6AF829B3E3246430 Time : 0.0 sec. user=mdettweiler [2012-02-12 01:59:20] 887*2^1005334-1 is not prime. Res64: 774004C6B618F8BD Time : 0.0 sec. user=gd_barnes [2012-02-12 02:00:50] 649*2^1005331-1 is not prime. Res64: 81C9BB10E474350D Time : 0.0 sec. user=gd_barnes [2012-02-12 02:00:50] 651*2^1005331-1 is not prime. Res64: B0F4E2879CF99E52 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:07:23] 945*2^1005334-1 is not prime. Res64: 4D35A21D7145FF7C Time : 0.0 sec. user=mdettweiler [2012-02-12 02:07:24] 981*2^1005334-1 is not prime. Res64: 962C73E9BB1179BE Time : 0.0 sec. user=mdettweiler [2012-02-12 02:09:33] 685*2^1005335-1 is not prime. Res64: 881A3104894436CB Time : 0.0 sec. user=mdettweiler [2012-02-12 02:09:34] 789*2^1005335-1 is not prime. Res64: 3D34668F1EB073B5 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:13:01] 689*2^1005336-1 is not prime. Res64: 77B151E288359EE7 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:13:02] 735*2^1005336-1 is not prime. Res64: 6145A1CE393A37CB Time : 0.0 sec. user=mdettweiler [2012-02-12 02:21:06] 649*2^1005337-1 is not prime. Res64: C9F3ACB9B7D6D25C Time : 0.0 sec. user=mdettweiler [2012-02-12 02:21:07] 717*2^1005337-1 is not prime. Res64: 3ECD9D04DFE0B126 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:24:50] 765*2^1005337-1 is not prime. Res64: 8EC02742014BB1C1 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:24:51] 955*2^1005337-1 is not prime. Res64: 88B4BE6D9A49A5C0 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:25:00] 895*2^1005331-1 is not prime. Res64: 234C5B423AFA8866 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:25:02] 673*2^1005331-1 is not prime. Res64: 37B5FC0283D227E6 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:26:42] 623*2^1005338-1 is not prime. Res64: 934E4A4CCF1AEF50 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:26:42] 677*2^1005338-1 is not prime. Res64: E9A03EEE6B0AD4E6 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:27:19] 753*2^1005338-1 is not prime. Res64: 4F9FBDDFB2D62039 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:27:19] 755*2^1005338-1 is not prime. Res64: A2EDBEDC765E586D Time : 0.0 sec. user=gd_barnes [2012-02-12 02:27:33] 861*2^1005333-1 is not prime. Res64: F951D97229207DD6 Time : 0.0 sec. user=gd_barnes [2012-02-12 02:27:33] 937*2^1005333-1 is not prime. Res64: 24A4487CE5D12559 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:34:42] 813*2^1005338-1 is not prime. Res64: 34D8C8A2555333BB Time : 0.0 sec. user=mdettweiler [2012-02-12 02:34:43] 861*2^1005338-1 is not prime. Res64: DBEDBBA1569B9927 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:39:59] 945*2^1005338-1 is not prime. Res64: 16F8D23228E20E7C Time : 0.0 sec. user=mdettweiler [2012-02-12 02:40:00] 745*2^1005339-1 is not prime. Res64: B6FFE9E3EF09A2FA Time : 0.0 sec. user=mdettweiler [2012-02-12 02:40:17] 789*2^1005339-1 is not prime. Res64: D4435962E5DF4683 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:40:18] 859*2^1005339-1 is not prime. Res64: 3D81ED470E54A82A Time : 0.0 sec. user=gd_barnes [2012-02-12 02:41:01] 789*2^1005336-1 is not prime. Res64: 652459EBA5557CA6 Time : 0.0 sec. user=gd_barnes [2012-02-12 02:41:02] 607*2^1005337-1 is not prime. Res64: 798E082FA1C9B48C Time : 0.0 sec. user=mdettweiler [2012-02-12 02:42:28] 861*2^1005339-1 is not prime. Res64: E0E28537E97185DE Time : 0.0 sec. user=mdettweiler [2012-02-12 02:42:29] 979*2^1005339-1 is not prime. Res64: 196986B22E7D7325 Time : 0.0 sec. user=gd_barnes [2012-02-12 02:43:41] 843*2^1005335-1 is not prime. Res64: DDAEA04229B2A37E Time : 0.0 sec. user=gd_barnes [2012-02-12 02:43:42] 883*2^1005335-1 is not prime. Res64: 59FB0ACEEABB030C Time : 0.0 sec. user=mdettweiler [2012-02-12 02:48:23] 677*2^1005340-1 is not prime. Res64: 83AF7C66256F27C0 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:48:23] 855*2^1005340-1 is not prime. Res64: 4A66FD82A7EAA39D Time : 0.0 sec. user=mdettweiler [2012-02-12 02:48:52] 843*2^1005331-1 is not prime. Res64: CC43C3CA3A10C8CB Time : 0.0 sec. user=gd_barnes [2012-02-12 02:53:40] 943*2^1005335-1 is not prime. Res64: 723053035E4619CA Time : 0.0 sec. user=gd_barnes [2012-02-12 02:53:40] 969*2^1005335-1 is not prime. Res64: 3D5114FDB2E3A30D Time : 0.0 sec. user=mdettweiler [2012-02-12 02:53:58] 715*2^1005341-1 is not prime. Res64: 0C2189DF89B3F833 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:53:58] 745*2^1005341-1 is not prime. Res64: B7DE2E28C7F1447F Time : 0.0 sec. user=mdettweiler [2012-02-12 02:56:46] 953*2^1005340-1 is not prime. Res64: A774C900E29357E3 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:56:47] 999*2^1005340-1 is not prime. Res64: 54116DBF7ED5F455 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:57:38] 957*2^1005341-1 is not prime. Res64: 688A41D9A0464A4B Time : 0.0 sec. user=mdettweiler [2012-02-12 02:57:38] 603*2^1005343-1 is not prime. Res64: A27FB22BC34DA0C9 Time : 0.0 sec. user=mdettweiler [2012-02-12 02:58:00] 669*2^1005332-1 is not prime. Res64: A995339D0F22CC27 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:01:57] 831*2^1005343-1 is not prime. Res64: E1E01961825E19E5 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:01:58] 853*2^1005343-1 is not prime. Res64: 81CCBBA23ADEB38C Time : 0.0 sec. user=mdettweiler [2012-02-12 03:07:34] 785*2^1005344-1 is not prime. Res64: 6A3A7ADA07A25D84 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:07:36] 795*2^1005344-1 is not prime. Res64: C1A4BD1BFB943364 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:07:49] 609*2^1005340-1 is not prime. Res64: 5DB9F91E9FE986F2 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:07:49] 635*2^1005340-1 is not prime. Res64: 60C79830256F3EFD Time : 0.0 sec. user=mdettweiler [2012-02-12 03:11:14] 601*2^1005345-1 is not prime. Res64: CEFF51258C0CAF9A Time : 0.0 sec. user=mdettweiler [2012-02-12 03:11:14] 651*2^1005345-1 is not prime. Res64: 70F64343DCB5BF85 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:11:58] 825*2^1005344-1 is not prime. Res64: 0239DABC12E153B0 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:11:59] 909*2^1005344-1 is not prime. Res64: 8EE2FD45268ADC2B Time : 0.0 sec. user=mdettweiler [2012-02-12 03:15:33] 777*2^1005345-1 is not prime. Res64: 070C40B83773B11B Time : 0.0 sec. user=mdettweiler [2012-02-12 03:15:33] 831*2^1005345-1 is not prime. Res64: 815911BEF3773E04 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:15:44] 985*2^1005333-1 is not prime. Res64: C6CDBE951CB271C2 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:15:44] 611*2^1005334-1 is not prime. Res64: A349A7AB1747F131 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:24:19] 681*2^1005343-1 is not prime. Res64: C6774457F4F67973 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:24:19] 811*2^1005343-1 is not prime. Res64: 9D2424C1A961C89B Time : 0.0 sec. user=mdettweiler [2012-02-12 03:24:22] 969*2^1005345-1 is not prime. Res64: 78C4B58CB238EAEE Time : 0.0 sec. user=mdettweiler [2012-02-12 03:24:23] 999*2^1005345-1 is not prime. Res64: 87ABA465E0A7163A Time : 0.0 sec. user=mdettweiler [2012-02-12 03:24:51] 705*2^1005346-1 is not prime. Res64: 34F2E29D7AFFFD0D Time : 0.0 sec. user=mdettweiler [2012-02-12 03:24:51] 755*2^1005346-1 is not prime. Res64: 0F7A58610F9E7FC8 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:25:35] 855*2^1005346-1 is not prime. Res64: 7AD4AA4C09136047 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:25:35] 857*2^1005346-1 is not prime. Res64: CD6326D5E3F58E84 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:28:33] 805*2^1005341-1 is not prime. Res64: 02AAFA3B5D8E8638 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:28:33] 955*2^1005341-1 is not prime. Res64: 2AC7113E0FCA019A Time : 0.0 sec. user=mdettweiler [2012-02-12 03:30:43] 881*2^1005346-1 is not prime. Res64: 7294730C4E4A8CAF Time : 0.0 sec. user=mdettweiler [2012-02-12 03:30:43] 615*2^1005347-1 is not prime. Res64: CB323C5DE3448D6B Time : 0.0 sec. user=gd_barnes [2012-02-12 03:33:57] 605*2^1005344-1 is not prime. Res64: 46CB6B73A8FE2532 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:33:58] 725*2^1005344-1 is not prime. Res64: 873365BC39B66E47 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:39:12] 609*2^1005349-1 is not prime. Res64: 83C8FCB143D2788D Time : 0.0 sec. user=mdettweiler [2012-02-12 03:39:12] 685*2^1005349-1 is not prime. Res64: B9E643EB6B8072C9 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:39:29] 973*2^1005347-1 is not prime. Res64: 94DF71F31AFDC2E4 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:39:29] 753*2^1005348-1 is not prime. Res64: 33E0A062670E3BC3 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:41:36] 929*2^1005348-1 is not prime. Res64: 50ECD62AE6D46F44 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:41:36] 999*2^1005348-1 is not prime. Res64: 72B1EF019E9752E9 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:44:20] 765*2^1005349-1 is not prime. Res64: D574840EAD674C77 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:44:20] 771*2^1005349-1 is not prime. Res64: 7969DBD01DE6E584 Time : 0.0 sec. user=gd_barnes [2012-02-12 03:48:00] 603*2^1005346-1 is not prime. Res64: D65D1B65EF60451C Time : 0.0 sec. user=gd_barnes [2012-02-12 03:48:01] 611*2^1005346-1 is not prime. Res64: F2E2F5C83AC06C06 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:54:22] 951*2^1005349-1 is not prime. Res64: F351B5AEC11752F1 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:54:22] 615*2^1005350-1 is not prime. Res64: F21896D4E454DBA8 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:56:16] 867*2^1005350-1 is not prime. Res64: 6FCDB8766ED72878 Time : 0.0 sec. user=mdettweiler [2012-02-12 03:56:16] 911*2^1005350-1 is not prime. Res64: 01804A0D2047AB2C Time : 0.0 sec. user=mdettweiler [2012-02-12 03:56:46] 981*2^1005350-1 is not prime. Res64: 51D4C0CCBA5B0FBE Time : 0.0 sec. user=mdettweiler [2012-02-12 03:56:47] 613*2^1005351-1 is not prime. Res64: 22CE3EECF75C115D Time : 0.0 sec. user=mdettweiler [2012-02-12 03:57:55] 669*2^1005351-1 is not prime. Res64: 35BD22FDA2D5FDCC Time : 0.0 sec. user=mdettweiler [2012-02-12 03:57:55] 741*2^1005351-1 is not prime. Res64: 83C0AB04E80E5DF2 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:08:00] 645*2^1005352-1 is not prime. Res64: 1C296D8BCB630110 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:08:01] 705*2^1005352-1 is not prime. Res64: 9B5F667BF8287C6E Time : 0.0 sec. user=gd_barnes [2012-02-12 04:08:30] 691*2^1005349-1 is not prime. Res64: 981FAF69D58A2ADB Time : 0.0 sec. user=gd_barnes [2012-02-12 04:08:30] 747*2^1005349-1 is not prime. Res64: A6FCE99259479324 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:09:53] 803*2^1005352-1 is not prime. Res64: 296268A6A983B84D Time : 0.0 sec. user=mdettweiler [2012-02-12 04:09:53] 827*2^1005352-1 is not prime. Res64: B43C8BDC4FB74B9D Time : 0.0 sec. user=mdettweiler [2012-02-12 04:13:31] 873*2^1005352-1 is not prime. Res64: EF09D040AAEC57E1 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:13:31] 903*2^1005352-1 is not prime. Res64: 25359097A25BDDCF Time : 0.0 sec. user=mdettweiler [2012-02-12 04:14:41] 933*2^1005352-1 is not prime. Res64: 4492AB7C949D0E86 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:14:42] 983*2^1005352-1 is not prime. Res64: 1C3DC96E85139FF6 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:16:46] 859*2^1005343-1 is not prime. Res64: 3ECCAEF57F4811AA Time : 0.0 sec. user=mdettweiler [2012-02-12 04:16:46] 919*2^1005343-1 is not prime. Res64: 2E57F7F9579B4280 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:17:06] 667*2^1005345-1 is not prime. Res64: 68AFD3544590198E Time : 0.0 sec. user=mdettweiler [2012-02-12 04:17:07] 751*2^1005345-1 is not prime. Res64: 5F27996A8BFD5AE0 Time : 0.0 sec. user=gd_barnes [2012-02-12 04:19:22] 895*2^1005347-1 is not prime. Res64: 7EA830C230B17393 Time : 0.0 sec. user=gd_barnes [2012-02-12 04:19:22] 939*2^1005347-1 is not prime. Res64: 8145116DE3EA2FAB Time : 0.0 sec. user=mdettweiler [2012-02-12 04:23:28] 999*2^1005352-1 is not prime. Res64: 6A60DF60D565272E Time : 0.0 sec. user=mdettweiler [2012-02-12 04:23:28] 811*2^1005353-1 is not prime. Res64: F5B76CA835C9120F Time : 0.0 sec. user=mdettweiler [2012-02-12 04:26:49] 939*2^1005353-1 is not prime. Res64: B3D8AD890D1C3583 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:26:50] 945*2^1005353-1 is not prime. Res64: 2E581531EAE894B7 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:28:27] 641*2^1005354-1 is not prime. Res64: 2CEC72F57406D7FA Time : 0.0 sec. user=mdettweiler [2012-02-12 04:28:27] 663*2^1005354-1 is not prime. Res64: EF36C6DD244C21DE Time : 0.0 sec. user=gd_barnes [2012-02-12 04:28:50] 877*2^1005349-1 is not prime. Res64: 781F40D653ED49BB Time : 0.0 sec. user=gd_barnes [2012-02-12 04:28:50] 927*2^1005349-1 is not prime. Res64: 2FA632D47FD9847D Time : 0.0 sec. user=mdettweiler [2012-02-12 04:30:22] 957*2^1005353-1 is not prime. Res64: 168E11F50FFD122F Time : 0.0 sec. user=mdettweiler [2012-02-12 04:30:23] 985*2^1005353-1 is not prime. Res64: 127CD7438AE5984F Time : 0.0 sec. user=mdettweiler [2012-02-12 04:37:04] 651*2^1005355-1 is not prime. Res64: 747D0A1EB0CD2D79 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:37:05] 663*2^1005355-1 is not prime. Res64: 651A468948A26568 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:42:00] 709*2^1005355-1 is not prime. Res64: 4F81E588CD5A73B1 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:42:00] 883*2^1005355-1 is not prime. Res64: F22AE33867752B17 Time : 0.0 sec. user=gd_barnes [2012-02-12 04:43:22] 945*2^1005351-1 is not prime. Res64: 7739CB2097E1A492 Time : 0.0 sec. user=gd_barnes [2012-02-12 04:43:22] 961*2^1005351-1 is not prime. Res64: 85D5BB541D73C649 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:43:33] 841*2^1005347-1 is not prime. Res64: EC30B7AD175C0414 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:43:33] 885*2^1005347-1 is not prime. Res64: 795CF2BDB903308C Time : 0.0 sec. user=mdettweiler [2012-02-12 04:44:00] 743*2^1005356-1 is not prime. Res64: 367488E1860153A6 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:44:01] 843*2^1005356-1 is not prime. Res64: 04CBEEB14CE85B8E Time : 0.0 sec. user=mdettweiler [2012-02-12 04:45:13] 915*2^1005355-1 is not prime. Res64: 6887EE4E1A888BE3 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:45:13] 951*2^1005355-1 is not prime. Res64: FB3B10EE60A2EA8C Time : 0.0 sec. user=mdettweiler [2012-02-12 04:53:55] 903*2^1005356-1 is not prime. Res64: EE30CD97D712F804 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:53:56] 923*2^1005356-1 is not prime. Res64: 69A6F254E90CB9C9 Time : 0.0 sec. user=gd_barnes [2012-02-12 04:56:07] 861*2^1005353-1 is not prime. Res64: 5F7431BF3819F432 Time : 0.0 sec. user=gd_barnes [2012-02-12 04:56:07] 925*2^1005353-1 is not prime. Res64: 33C6EB0A2D9807C8 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:58:48] 945*2^1005356-1 is not prime. Res64: C38B7603D50085B1 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:58:48] 983*2^1005356-1 is not prime. Res64: 9BBECF1022D67B33 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:58:50] 681*2^1005358-1 is not prime. Res64: C228BBF72167A7F4 Time : 0.0 sec. user=mdettweiler [2012-02-12 04:58:50] 731*2^1005358-1 is not prime. Res64: 272BB3FAE41BDD1A Time : 0.0 sec. user=mdettweiler [2012-02-12 05:00:46] 895*2^1005357-1 is not prime. Res64: 3EBC5B6E908F7766 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:00:48] 997*2^1005357-1 is not prime. Res64: 9C6FF94325F4E4B7 Time : 0.0 sec. user=gd_barnes [2012-02-12 05:06:52] 825*2^1005354-1 is not prime. Res64: 6549FEDDC60D4BF8 Time : 0.0 sec. user=gd_barnes [2012-02-12 05:06:53] 905*2^1005354-1 is not prime. Res64: 571BABEBB5F6C803 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:07:33] 743*2^1005358-1 is not prime. Res64: F237A9AC8E34A911 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:07:35] 761*2^1005358-1 is not prime. Res64: 7B47A9669DCA948A Time : 0.0 sec. user=gd_barnes [2012-02-12 05:08:34] 609*2^1005356-1 is not prime. Res64: C0C5C5A5C3383EBF Time : 0.0 sec. user=gd_barnes [2012-02-12 05:08:35] 693*2^1005356-1 is not prime. Res64: 812840B9B44741C7 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:12:27] 655*2^1005359-1 is not prime. Res64: CDE3834A9BCAC067 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:12:33] 685*2^1005359-1 is not prime. Res64: 60D575869B86380F Time : 0.0 sec. user=mdettweiler [2012-02-12 05:14:00] 923*2^1005358-1 is not prime. Res64: 5528C74C59524184 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:14:01] 645*2^1005359-1 is not prime. Res64: EEBF3FB5D0708758 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:14:27] 729*2^1005359-1 is not prime. Res64: 53C7BAC3EB9CE668 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:14:28] 799*2^1005359-1 is not prime. Res64: A3D2DB1D813F4BD0 Time : 0.0 sec. user=gd_barnes [2012-02-12 05:23:27] 667*2^1005357-1 is not prime. Res64: 6DFD0C03EDEDF61D Time : 0.0 sec. user=gd_barnes [2012-02-12 05:23:27] 699*2^1005357-1 is not prime. Res64: 84B24FAF09AF5F89 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:24:27] 921*2^1005359-1 is not prime. Res64: 7D5E2A20752B443C Time : 0.0 sec. user=mdettweiler [2012-02-12 05:24:27] 931*2^1005359-1 is not prime. Res64: 87387DAFB5FB5F02 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:26:09] 759*2^1005360-1 is not prime. Res64: 85833988E2106D08 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:26:10] 765*2^1005360-1 is not prime. Res64: 47A11B0970FAAD9F Time : 0.0 sec. user=mdettweiler [2012-02-12 05:27:43] 819*2^1005360-1 is not prime. Res64: 17660449D2A03C5E Time : 0.0 sec. user=mdettweiler [2012-02-12 05:27:43] 857*2^1005360-1 is not prime. Res64: 69EBBCC615494F9A Time : 0.0 sec. user=mdettweiler [2012-02-12 05:31:16] 875*2^1005360-1 is not prime. Res64: A3C17870B7F28382 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:31:16] 893*2^1005360-1 is not prime. Res64: 9490284934270294 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:35:55] 681*2^1005354-1 is not prime. Res64: 16998CAE485E161B Time : 0.0 sec. user=mdettweiler [2012-02-12 05:35:56] 725*2^1005354-1 is not prime. Res64: B9E7CC892EC66ECE Time : 0.0 sec. user=mdettweiler [2012-02-12 05:36:20] 765*2^1005354-1 is not prime. Res64: 455E59D785A2E2DA Time : 0.0 sec. user=mdettweiler [2012-02-12 05:36:20] 807*2^1005354-1 is not prime. Res64: 2858DF862765CC6B Time : 0.0 sec. user=mdettweiler [2012-02-12 05:41:11] 871*2^1005361-1 is not prime. Res64: 7A253AAE55D6D92A Time : 0.0 sec. user=mdettweiler [2012-02-12 05:41:12] 939*2^1005361-1 is not prime. Res64: 00C66AF71EB658F3 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:41:20] 951*2^1005361-1 is not prime. Res64: 4D297A4D023F9175 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:41:20] 743*2^1005362-1 is not prime. Res64: F1867F35ADECF68F Time : 0.0 sec. user=mdettweiler [2012-02-12 05:44:30] 983*2^1005362-1 is not prime. Res64: 3E16A37E4069ECE6 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:44:30] 1001*2^1005362-1 is not prime. Res64: 5E32E8FD7E556E52 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:44:51] 649*2^1005363-1 is not prime. Res64: 74B048CA74887B1A Time : 0.0 sec. user=mdettweiler [2012-02-12 05:44:51] 685*2^1005363-1 is not prime. Res64: F985D12D7923D86A Time : 0.0 sec. user=gd_barnes [2012-02-12 05:51:38] 885*2^1005358-1 is not prime. Res64: 67F3A70E4E5F634B Time : 0.0 sec. user=gd_barnes [2012-02-12 05:51:38] 915*2^1005358-1 is not prime. Res64: 28BE6AFB4EEA8B63 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:54:47] 795*2^1005363-1 is not prime. Res64: 38DA86972CFF2616 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:54:47] 801*2^1005363-1 is not prime. Res64: B67CA95DF32B3031 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:56:30] 859*2^1005363-1 is not prime. Res64: B99188554348763F Time : 0.0 sec. user=mdettweiler [2012-02-12 05:56:31] 885*2^1005363-1 is not prime. Res64: A4C784330CEB2C8E Time : 0.0 sec. user=gd_barnes [2012-02-12 05:56:31] 973*2^1005359-1 is not prime. Res64: 5A0DB32DB70E5539 Time : 0.0 sec. user=gd_barnes [2012-02-12 05:56:31] 689*2^1005360-1 is not prime. Res64: A4480952C9985686 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:58:27] 843*2^1005364-1 is not prime. Res64: F2623AB56B78C24C Time : 0.0 sec. user=mdettweiler [2012-02-12 05:58:28] 855*2^1005364-1 is not prime. Res64: 302103D0B1658DB5 Time : 0.0 sec. user=mdettweiler [2012-02-12 05:59:40] 963*2^1005363-1 is not prime. Res64: A8441ED13FDA8AFC Time : 0.0 sec. user=mdettweiler [2012-02-12 05:59:41] 765*2^1005364-1 is not prime. Res64: 0250DDC4437CAC21 Time : 0.0 sec. user=gd_barnes [2012-02-12 06:01:55] 865*2^1005359-1 is not prime. Res64: A1D3A85B4C72F803 Time : 0.0 sec. user=gd_barnes [2012-02-12 06:01:56] 895*2^1005359-1 is not prime. Res64: 726773706BA431D6 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:02:35] 759*2^1005357-1 is not prime. Res64: B17382B6ED483906 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:02:36] 795*2^1005357-1 is not prime. Res64: A6F066478274E591 Time : 0.0 sec. user=gd_barnes [2012-02-12 06:03:31] 751*2^1005361-1 is not prime. Res64: 6233A7EBC981DE5E Time : 0.0 sec. user=gd_barnes [2012-02-12 06:03:31] 805*2^1005361-1 is not prime. Res64: D66E0F761DEBC55E Time : 0.0 sec. user=mdettweiler [2012-02-12 06:08:23] 607*2^1005365-1 is not prime. Res64: 9C4DD413940873FC Time : 0.0 sec. user=mdettweiler [2012-02-12 06:08:24] 649*2^1005365-1 is not prime. Res64: 088DB1AD588E9C05 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:12:06] 755*2^1005366-1 is not prime. Res64: 03E52E3FD50E1C90 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:12:07] 825*2^1005366-1 is not prime. Res64: 8970E77900DB9533 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:13:18] 619*2^1005367-1 is not prime. Res64: DEE49A8411BD62A7 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:13:19] 639*2^1005367-1 is not prime. Res64: 62BF737CB8914A10 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:13:19] 925*2^1005365-1 is not prime. Res64: C7E334B5B698129D Time : 0.0 sec. user=mdettweiler [2012-02-12 06:13:19] 981*2^1005365-1 is not prime. Res64: E469CF1E781172B8 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:22:03] 747*2^1005368-1 is not prime. Res64: E11DB2D2365DBD10 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:22:03] 753*2^1005368-1 is not prime. Res64: F603725E998CD699 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:26:55] 649*2^1005369-1 is not prime. Res64: 67D638969223D34B Time : 0.0 sec. user=mdettweiler [2012-02-12 06:26:55] 661*2^1005369-1 is not prime. Res64: 9972343EC9228EB3 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:27:22] 855*2^1005368-1 is not prime. Res64: FC62DC8D74C1CB4F Time : 0.0 sec. user=mdettweiler [2012-02-12 06:27:22] 915*2^1005368-1 is not prime. Res64: 04F27ACAB0F113D2 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:28:27] 995*2^1005368-1 is not prime. Res64: 60FD2DF99B967B4A Time : 0.0 sec. user=mdettweiler [2012-02-12 06:28:28] 609*2^1005369-1 is not prime. Res64: 1B97FC194F6BC765 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:35:40] 685*2^1005369-1 is not prime. Res64: DDB484AD70919C4B Time : 0.0 sec. user=mdettweiler [2012-02-12 06:35:40] 727*2^1005369-1 is not prime. Res64: 70D18E942527ECCE Time : 0.0 sec. user=gd_barnes [2012-02-12 06:37:01] 735*2^1005365-1 is not prime. Res64: 9D2B64A0C04D5B16 Time : 0.0 sec. user=gd_barnes [2012-02-12 06:37:01] 789*2^1005365-1 is not prime. Res64: 1A376CDB3D779B91 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:40:59] 657*2^1005370-1 is not prime. Res64: 6F52381A7091BB8C Time : 0.0 sec. user=mdettweiler [2012-02-12 06:40:59] 665*2^1005370-1 is not prime. Res64: 4DA1BDCE88E78C18 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:42:05] 687*2^1005370-1 is not prime. Res64: 429A30786C4FA7B6 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:42:05] 717*2^1005370-1 is not prime. Res64: 72D0FA6BE9205A1C Time : 0.0 sec. user=mdettweiler [2012-02-12 06:43:43] 951*2^1005369-1 is not prime. Res64: 719DBE5E8551EF16 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:43:43] 985*2^1005369-1 is not prime. Res64: BB21CF3DF1E0372A Time : 0.0 sec. user=gd_barnes [2012-02-12 06:43:59] 617*2^1005368-1 is not prime. Res64: 8A0C365D415799A3 Time : 0.0 sec. user=gd_barnes [2012-02-12 06:43:59] 623*2^1005368-1 is not prime. Res64: 2A6631B2BCFFE0ED Time : 0.0 sec. user=gd_barnes [2012-02-12 06:47:04] 909*2^1005364-1 is not prime. Res64: 6BCF0317843FBC5A Time : 0.0 sec. user=gd_barnes [2012-02-12 06:47:04] 995*2^1005364-1 is not prime. Res64: 2ADAFB0B23194576 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:49:17] 765*2^1005370-1 is not prime. Res64: 8B3209C62C950928 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:49:17] 773*2^1005370-1 is not prime. Res64: C971773BAC86B17F Time : 0.0 sec. user=gd_barnes [2012-02-12 06:49:40] 759*2^1005367-1 is not prime. Res64: 0EAD57630C97E9A1 Time : 0.0 sec. user=gd_barnes [2012-02-12 06:49:40] 885*2^1005367-1 is not prime. Res64: D30B7ED7153476B6 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:54:37] 663*2^1005371-1 is not prime. Res64: EE40E1A963C7D7F8 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:54:38] 733*2^1005371-1 is not prime. Res64: 3DE927B3422FCA51 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:54:57] 703*2^1005363-1 is not prime. Res64: FA61D76A6D8D7BF8 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:54:57] 765*2^1005363-1 is not prime. Res64: 7493F5097A0E6EF9 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:55:21] 781*2^1005363-1 is not prime. Res64: 5ABB453667985A16 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:55:22] 783*2^1005363-1 is not prime. Res64: 5CD581CE8B4E742E Time : 0.0 sec. user=mdettweiler [2012-02-12 06:55:41] 741*2^1005371-1 is not prime. Res64: BC638DBC4B92EDE6 Time : 0.0 sec. user=mdettweiler [2012-02-12 06:55:41] 745*2^1005371-1 is not prime. Res64: 3AC374275456163A Time : 0.0 sec. user=mdettweiler [2012-02-12 06:57:20] 825*2^1005371-1 is not prime. Res64: 2A88C3D42574DF7A Time : 0.0 sec. user=mdettweiler [2012-02-12 06:57:20] 633*2^1005372-1 is not prime. Res64: 25A0EDC8F60C5055 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:04:33] 955*2^1005373-1 is not prime. Res64: D0FA819B4107006D Time : 0.0 sec. user=mdettweiler [2012-02-12 07:04:35] 617*2^1005374-1 is not prime. Res64: 59B89D7FA27383EB Time : 0.0 sec. user=mdettweiler [2012-02-12 07:09:51] 861*2^1005374-1 is not prime. Res64: BC681130CB2925C3 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:09:52] 945*2^1005374-1 is not prime. Res64: EEDE1F406BD66904 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:11:00] 653*2^1005376-1 is not prime. Res64: 92EAFA19F96CB3A8 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:11:01] 657*2^1005376-1 is not prime. Res64: 511551EAA6D0C647 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:12:32] 973*2^1005375-1 is not prime. Res64: 442B0131F75B9787 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:12:36] 999*2^1005375-1 is not prime. Res64: 4EAA1353A0AD58FD Time : 0.0 sec. user=mdettweiler [2012-02-12 07:19:51] 849*2^1005376-1 is not prime. Res64: EEC09312B326B36C Time : 0.0 sec. user=mdettweiler [2012-02-12 07:19:52] 917*2^1005376-1 is not prime. Res64: 3A13F27ACA20420F Time : 0.0 sec. user=mdettweiler [2012-02-12 07:23:31] 697*2^1005377-1 is not prime. Res64: 9A08EC31E7CE3FEE Time : 0.0 sec. user=mdettweiler [2012-02-12 07:23:31] 735*2^1005377-1 is not prime. Res64: E6D8161C1CE664C4 Time : 0.0 sec. user=gd_barnes [2012-02-12 07:24:37] 737*2^1005372-1 is not prime. Res64: 33E87043FA29626F Time : 0.0 sec. user=gd_barnes [2012-02-12 07:24:37] 779*2^1005372-1 is not prime. Res64: ACE6E91A5859702F Time : 0.0 sec. user=mdettweiler [2012-02-12 07:24:43] 747*2^1005377-1 is not prime. Res64: 87767CBD1BE65AF7 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:24:43] 805*2^1005377-1 is not prime. Res64: BA4A3184E4429233 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:26:17] 831*2^1005377-1 is not prime. Res64: F94A2A049BA2AB00 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:26:18] 605*2^1005378-1 is not prime. Res64: A80BF209CFB1C904 Time : 0.0 sec. user=gd_barnes [2012-02-12 07:27:23] 729*2^1005373-1 is not prime. Res64: 6959C1E61350C8C3 Time : 0.0 sec. user=gd_barnes [2012-02-12 07:27:23] 817*2^1005373-1 is not prime. Res64: 5B99862E4B6DF852 Time : 0.0 sec. user=gd_barnes [2012-02-12 07:30:11] 755*2^1005374-1 is not prime. Res64: A71FC5DF731880FE Time : 0.0 sec. user=gd_barnes [2012-02-12 07:30:11] 857*2^1005374-1 is not prime. Res64: 2F5BDB3AB260D209 Time : 0.0 sec. user=gd_barnes [2012-02-12 07:31:49] 971*2^1005370-1 is not prime. Res64: 88D84DBA27040CF0 Time : 0.0 sec. user=gd_barnes [2012-02-12 07:31:49] 981*2^1005370-1 is not prime. Res64: CB69665CE7DD12D4 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:33:30] 705*2^1005378-1 is not prime. Res64: 79F2EE0B200BC0DD Time : 0.0 sec. user=mdettweiler [2012-02-12 07:33:30] 731*2^1005378-1 is not prime. Res64: F025B364C894376D Time : 0.0 sec. user=mdettweiler [2012-02-12 07:38:20] 663*2^1005379-1 is not prime. Res64: CF7351265509DA29 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:38:20] 705*2^1005379-1 is not prime. Res64: 0FC68E0498E6B483 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:38:44] 735*2^1005378-1 is not prime. Res64: B48A1C2F99496BAC Time : 0.0 sec. user=mdettweiler [2012-02-12 07:38:45] 951*2^1005378-1 is not prime. Res64: 359C1476940B0311 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:39:12] 915*2^1005367-1 is not prime. Res64: F7FCF1223E9989B5 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:39:12] 973*2^1005367-1 is not prime. Res64: 784F520C98008426 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:39:55] 751*2^1005379-1 is not prime. Res64: F4F398F3FC2AC1ED Time : 0.0 sec. user=mdettweiler [2012-02-12 07:39:56] 759*2^1005379-1 is not prime. Res64: 000387ECD2F6D75F Time : 0.0 sec. user=mdettweiler [2012-02-12 07:47:05] 615*2^1005381-1 is not prime. Res64: 1B8C8CDBE58BA6D1 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:47:05] 745*2^1005381-1 is not prime. Res64: DF76BC08BEFC1069 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:51:58] 811*2^1005381-1 is not prime. Res64: 033A15AD81A6F9CA Time : 0.0 sec. user=mdettweiler [2012-02-12 07:51:58] 861*2^1005381-1 is not prime. Res64: 0313C263EA7A38C7 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:53:32] 755*2^1005382-1 is not prime. Res64: 95A3560FB9E69D31 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:53:32] 813*2^1005382-1 is not prime. Res64: 0D5775575AFF6E7D Time : 0.0 sec. user=mdettweiler [2012-02-12 07:55:36] 951*2^1005381-1 is not prime. Res64: B02EACFF046AD7B4 Time : 0.0 sec. user=mdettweiler [2012-02-12 07:55:36] 997*2^1005381-1 is not prime. Res64: 5F628A8FF9827FE2 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:03:56] 897*2^1005382-1 is not prime. Res64: 78DA926972342BA1 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:03:56] 957*2^1005382-1 is not prime. Res64: FD0E340820635248 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:05:33] 771*2^1005383-1 is not prime. Res64: 29D88E12D1F19048 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:05:34] 789*2^1005383-1 is not prime. Res64: A216D2BC4A3554CC Time : 0.0 sec. user=mdettweiler [2012-02-12 08:07:11] 605*2^1005384-1 is not prime. Res64: C5CE9E7AF728C38F Time : 0.0 sec. user=mdettweiler [2012-02-12 08:07:14] 609*2^1005384-1 is not prime. Res64: 10FA64AE9F9E54CD Time : 0.0 sec. user=mdettweiler [2012-02-12 08:09:12] 737*2^1005384-1 is not prime. Res64: ACB7DE687657C4D7 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:09:12] 789*2^1005384-1 is not prime. Res64: 1DA3770DB11B96C1 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:10:18] 635*2^1005380-1 is not prime. Res64: 7859C0C1A1925B86 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:10:19] 665*2^1005380-1 is not prime. Res64: EB59B51058A95C3F Time : 0.0 sec. user=gd_barnes [2012-02-12 08:12:14] 971*2^1005378-1 is not prime. Res64: E418EB82F6F99F5E Time : 0.0 sec. user=gd_barnes [2012-02-12 08:12:14] 649*2^1005379-1 is not prime. Res64: A24853CF93C39B3F Time : 0.0 sec. user=mdettweiler [2012-02-12 08:14:06] 625*2^1005375-1 is not prime. Res64: C20602B945F8DF59 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:14:07] 781*2^1005375-1 is not prime. Res64: 597A44180E3F322E Time : 0.0 sec. user=gd_barnes [2012-02-12 08:15:07] 835*2^1005379-1 is not prime. Res64: AE65C67A0D0E19C4 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:15:09] 883*2^1005379-1 is not prime. Res64: 2234CE1A0A5B7DA7 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:17:33] 803*2^1005384-1 is not prime. Res64: 4DF7C93A0D021402 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:17:33] 809*2^1005384-1 is not prime. Res64: F646EE8771CF8EEA Time : 0.0 sec. user=gd_barnes [2012-02-12 08:19:45] 845*2^1005380-1 is not prime. Res64: 8B26CBBEFE92A22B Time : 0.0 sec. user=gd_barnes [2012-02-12 08:19:45] 963*2^1005380-1 is not prime. Res64: F02E782B95547262 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:20:48] 887*2^1005384-1 is not prime. Res64: A450DAF16715D063 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:20:48] 625*2^1005385-1 is not prime. Res64: D98411DF563021DA Time : 0.0 sec. user=mdettweiler [2012-02-12 08:20:51] 661*2^1005385-1 is not prime. Res64: B30356E327DC73CC Time : 0.0 sec. user=mdettweiler [2012-02-12 08:20:52] 675*2^1005385-1 is not prime. Res64: 766523A6EB7D6187 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:23:10] 789*2^1005375-1 is not prime. Res64: 7FAE40932F68406B Time : 0.0 sec. user=mdettweiler [2012-02-12 08:23:10] 963*2^1005375-1 is not prime. Res64: 0D8553847BB56186 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:24:25] 687*2^1005385-1 is not prime. Res64: 19ABA3BB3A4330B1 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:24:25] 877*2^1005385-1 is not prime. Res64: A4679FC7F8103A26 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:31:08] 751*2^1005387-1 is not prime. Res64: 0931AF6C059B8038 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:31:08] 617*2^1005388-1 is not prime. Res64: 8F629A5683ACBB5F Time : 0.0 sec. user=mdettweiler [2012-02-12 08:34:26] 729*2^1005389-1 is not prime. Res64: 63D6C37DA5F5255B Time : 0.0 sec. user=mdettweiler [2012-02-12 08:34:26] 855*2^1005389-1 is not prime. Res64: 21B31C5C7BF4F051 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:36:05] 915*2^1005388-1 is not prime. Res64: 42A392BB800876D4 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:36:06] 727*2^1005389-1 is not prime. Res64: 706B969A0C10404B Time : 0.0 sec. user=mdettweiler [2012-02-12 08:39:37] 991*2^1005389-1 is not prime. Res64: A3DD0B84F99AFD35 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:39:37] 611*2^1005390-1 is not prime. Res64: 2E3630C36B4A5562 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:44:45] 635*2^1005390-1 is not prime. Res64: C3B4AFB5F9559522 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:44:45] 677*2^1005390-1 is not prime. Res64: 79FDB67FCEA960C1 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:48:02] 767*2^1005390-1 is not prime. Res64: 953E4D619C995054 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:48:03] 821*2^1005390-1 is not prime. Res64: A7B7D0295A614F91 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:52:27] 615*2^1005386-1 is not prime. Res64: 7CEFC7FC4AF7B9D4 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:52:27] 677*2^1005386-1 is not prime. Res64: 004A63DB7A438A79 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:52:59] 873*2^1005390-1 is not prime. Res64: 99A7B964683814BB Time : 0.0 sec. user=mdettweiler [2012-02-12 08:53:00] 891*2^1005390-1 is not prime. Res64: CE5429104834A024 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:53:13] 603*2^1005391-1 is not prime. Res64: DD6855F7B923E693 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:53:13] 619*2^1005391-1 is not prime. Res64: 8D4C259D40292AF3 Time : 0.0 sec. user=mdettweiler [2012-02-12 08:58:20] 625*2^1005391-1 is not prime. Res64: D15B0049D087E6EA Time : 0.0 sec. user=mdettweiler [2012-02-12 08:58:20] 735*2^1005391-1 is not prime. Res64: FE923AD50EDB4D15 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:59:59] 665*2^1005388-1 is not prime. Res64: 6724927B6AA5C775 Time : 0.0 sec. user=gd_barnes [2012-02-12 08:59:59] 845*2^1005388-1 is not prime. Res64: 3555160841397E45 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:01:39] 745*2^1005391-1 is not prime. Res64: 5FB26C81F2F0F9DD Time : 0.0 sec. user=mdettweiler [2012-02-12 09:01:41] 859*2^1005391-1 is not prime. Res64: 1558E7FD3C3B9D2A Time : 0.0 sec. user=gd_barnes [2012-02-12 09:02:27] 971*2^1005386-1 is not prime. Res64: A44DF4B262DBAB35 Time : 0.0 sec. user=gd_barnes [2012-02-12 09:02:28] 675*2^1005387-1 is not prime. Res64: 395449EA6E652ECE Time : 0.0 sec. user=gd_barnes [2012-02-12 09:05:31] 895*2^1005385-1 is not prime. Res64: 70D4B8009FAC9373 Time : 0.0 sec. user=gd_barnes [2012-02-12 09:05:34] 909*2^1005385-1 is not prime. Res64: 11E9152E6D84F397 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:06:36] 753*2^1005392-1 is not prime. Res64: 9609115EA81FA519 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:06:37] 813*2^1005392-1 is not prime. Res64: F132CF836B7E0138 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:06:49] 819*2^1005392-1 is not prime. Res64: 7BA2B101FF70F059 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:06:50] 607*2^1005393-1 is not prime. Res64: F1D3F044C6BCA3F6 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:06:59] 999*2^1005381-1 is not prime. Res64: 0FFFB54F2F3E32C0 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:07:03] 671*2^1005382-1 is not prime. Res64: 9F88D5A4DC2B652C Time : 0.0 sec. user=mdettweiler [2012-02-12 09:11:57] 627*2^1005393-1 is not prime. Res64: 9D33B5D41DFD2B19 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:11:58] 847*2^1005393-1 is not prime. Res64: 06032E342C334BB7 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:15:18] 605*2^1005394-1 is not prime. Res64: 629EF428402780AC Time : 0.0 sec. user=mdettweiler [2012-02-12 09:15:18] 825*2^1005394-1 is not prime. Res64: 0282ED6A35A4AA1F Time : 0.0 sec. user=mdettweiler [2012-02-12 09:20:18] 753*2^1005395-1 is not prime. Res64: 19E1C39A46537FD2 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:20:18] 771*2^1005395-1 is not prime. Res64: 3768903AC9E8B0F0 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:20:34] 805*2^1005395-1 is not prime. Res64: 65F979EB65C664CC Time : 0.0 sec. user=mdettweiler [2012-02-12 09:20:34] 855*2^1005395-1 is not prime. Res64: C3FE0082A1B73FE0 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:25:39] 719*2^1005396-1 is not prime. Res64: B8FA29808BB8EDC9 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:25:40] 749*2^1005396-1 is not prime. Res64: EBC03BC243AA9DF9 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:32:09] 927*2^1005396-1 is not prime. Res64: 3C9A533CD82D9F2D Time : 0.0 sec. user=mdettweiler [2012-02-12 09:32:10] 945*2^1005396-1 is not prime. Res64: 46BCFEFEF999342C Time : 0.0 sec. user=gd_barnes [2012-02-12 09:32:36] 635*2^1005392-1 is not prime. Res64: 666BCF8F70322A8C Time : 0.0 sec. user=gd_barnes [2012-02-12 09:32:36] 687*2^1005392-1 is not prime. Res64: 3164D2FCA95435DB Time : 0.0 sec. user=mdettweiler [2012-02-12 09:35:31] 975*2^1005396-1 is not prime. Res64: B3E527C6B3AE189A Time : 0.0 sec. user=mdettweiler [2012-02-12 09:35:32] 727*2^1005397-1 is not prime. Res64: 630E6778E3133C02 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:35:47] 759*2^1005397-1 is not prime. Res64: 7A383BCD93F3A5A5 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:35:47] 919*2^1005397-1 is not prime. Res64: 97E353383DBDD9E7 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:41:56] 711*2^1005386-1 is not prime. Res64: 363064CC2193A8C4 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:41:56] 867*2^1005386-1 is not prime. Res64: F198E84A8D106A22 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:42:31] 939*2^1005397-1 is not prime. Res64: F2F3DB5C0F56859D Time : 0.0 sec. user=mdettweiler [2012-02-12 09:42:32] 999*2^1005397-1 is not prime. Res64: 53B8BCC90CEE1D69 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:45:44] 683*2^1005398-1 is not prime. Res64: 8457417D043D6152 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:45:45] 761*2^1005398-1 is not prime. Res64: 2BD31D409EAEAA24 Time : 0.0 sec. user=gd_barnes [2012-02-12 09:45:46] 619*2^1005395-1 is not prime. Res64: 232EEF2CE0388D96 Time : 0.0 sec. user=gd_barnes [2012-02-12 09:45:46] 645*2^1005395-1 is not prime. Res64: BCB560A1F6314AFA Time : 0.0 sec. user=gd_barnes [2012-02-12 09:50:12] 887*2^1005394-1 is not prime. Res64: 3D757D42BDD7205F Time : 0.0 sec. user=gd_barnes [2012-02-12 09:50:12] 603*2^1005395-1 is not prime. Res64: 92AAC37A0A235E5B Time : 0.0 sec. user=mdettweiler [2012-02-12 09:52:21] 893*2^1005398-1 is not prime. Res64: 6CBD4A8BCF8FA2DF Time : 0.0 sec. user=mdettweiler [2012-02-12 09:52:21] 897*2^1005398-1 is not prime. Res64: CABE4C32463D290C Time : 0.0 sec. user=mdettweiler [2012-02-12 09:52:37] 923*2^1005398-1 is not prime. Res64: BF33D671B8817E41 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:52:37] 935*2^1005398-1 is not prime. Res64: 51847FBE72D85E62 Time : 0.0 sec. user=gd_barnes [2012-02-12 09:54:57] 877*2^1005393-1 is not prime. Res64: 3028F11A4B539981 Time : 0.0 sec. user=gd_barnes [2012-02-12 09:54:58] 889*2^1005393-1 is not prime. Res64: DC8A7E3E4C7CAAFA Time : 0.0 sec. user=mdettweiler [2012-02-12 09:57:47] 1001*2^1005398-1 is not prime. Res64: 480BBB8691B32F6D Time : 0.0 sec. user=mdettweiler [2012-02-12 09:57:47] 601*2^1005399-1 is not prime. Res64: 74B19BBA2BC5334D Time : 0.0 sec. user=mdettweiler [2012-02-12 09:59:22] 615*2^1005399-1 is not prime. Res64: 73BA9AE6005D379F Time : 0.0 sec. user=mdettweiler [2012-02-12 09:59:22] 693*2^1005399-1 is not prime. Res64: CF587E86B0DD220C Time : 0.0 sec. user=mdettweiler [2012-02-12 09:59:36] 957*2^1005389-1 is not prime. Res64: 2507FABF868292A6 Time : 0.0 sec. user=mdettweiler [2012-02-12 09:59:36] 987*2^1005389-1 is not prime. Res64: 82647A717C632E57 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:06:15] 609*2^1005400-1 is not prime. Res64: 61755C3F69ACDC2F Time : 0.0 sec. user=mdettweiler [2012-02-12 10:06:16] 623*2^1005400-1 is not prime. Res64: 3BAB453B028237A8 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:07:38] 985*2^1005399-1 is not prime. Res64: FCC7C60171A7960D Time : 0.0 sec. user=mdettweiler [2012-02-12 10:07:38] 603*2^1005400-1 is not prime. Res64: 4C83A1B96A3697C7 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:11:22] 843*2^1005400-1 is not prime. Res64: A374B517248A6948 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:11:23] 855*2^1005400-1 is not prime. Res64: C8A08EFDED6A4061 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:14:39] 995*2^1005400-1 is not prime. Res64: 44384EF70622E434 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:14:40] 637*2^1005401-1 is not prime. Res64: 94BC6D1BAF9D5D9F Time : 0.0 sec. user=mdettweiler [2012-02-12 10:19:56] 697*2^1005401-1 is not prime. Res64: 322E8A9E1902EE94 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:19:56] 745*2^1005401-1 is not prime. Res64: 32B7B91F1E2188EC Time : 0.0 sec. user=gd_barnes [2012-02-12 10:20:20] 771*2^1005398-1 is not prime. Res64: A9902CD1E15D6D37 Time : 0.0 sec. user=gd_barnes [2012-02-12 10:20:20] 875*2^1005398-1 is not prime. Res64: D927F273AABCD53E Time : 0.0 sec. user=mdettweiler [2012-02-12 10:22:57] 777*2^1005401-1 is not prime. Res64: B3280CC2CFBB97CC Time : 0.0 sec. user=mdettweiler [2012-02-12 10:22:58] 865*2^1005401-1 is not prime. Res64: 6D91D1D79EAFA38E Time : 0.0 sec. user=gd_barnes [2012-02-12 10:26:07] 745*2^1005399-1 is not prime. Res64: 3EADC4C4CA4EF161 Time : 0.0 sec. user=gd_barnes [2012-02-12 10:26:07] 751*2^1005399-1 is not prime. Res64: C9721117C97523BF Time : 0.0 sec. user=mdettweiler [2012-02-12 10:26:42] 925*2^1005401-1 is not prime. Res64: C71D52D90BF59DCE Time : 0.0 sec. user=mdettweiler [2012-02-12 10:26:42] 705*2^1005402-1 is not prime. Res64: D394EF9D68806074 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:29:52] 755*2^1005402-1 is not prime. Res64: C4805D7CE4C0547A Time : 0.0 sec. user=mdettweiler [2012-02-12 10:29:52] 873*2^1005402-1 is not prime. Res64: 9CBDAF252DA9FB36 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:35:03] 921*2^1005395-1 is not prime. Res64: 8299D0E2CFFF5A9B Time : 0.0 sec. user=mdettweiler [2012-02-12 10:35:04] 705*2^1005396-1 is not prime. Res64: 69EABE737AA83724 Time : 0.0 sec. user=gd_barnes [2012-02-12 10:35:20] 717*2^1005400-1 is not prime. Res64: 897829C0C0219AF7 Time : 0.0 sec. user=gd_barnes [2012-02-12 10:35:20] 825*2^1005400-1 is not prime. Res64: 548BF1DC469AE736 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:36:35] 751*2^1005403-1 is not prime. Res64: 99A0A3056110DB4D Time : 0.0 sec. user=mdettweiler [2012-02-12 10:36:35] 765*2^1005403-1 is not prime. Res64: A0E24D307B841267 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:36:47] 885*2^1005402-1 is not prime. Res64: CC351358925BDC1C Time : 0.0 sec. user=mdettweiler [2012-02-12 10:36:48] 947*2^1005402-1 is not prime. Res64: 05214FD470CF20CC Time : 0.0 sec. user=gd_barnes [2012-02-12 10:37:41] 793*2^1005399-1 is not prime. Res64: C3B8BD8DF11565E6 Time : 0.0 sec. user=gd_barnes [2012-02-12 10:37:41] 885*2^1005399-1 is not prime. Res64: 9C99F3FECD6B93DE Time : 0.0 sec. user=mdettweiler [2012-02-12 10:41:56] 755*2^1005404-1 is not prime. Res64: B5662B380F36FC52 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:41:56] 899*2^1005404-1 is not prime. Res64: B9C25FF537974661 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:43:30] 609*2^1005405-1 is not prime. Res64: ED3DCFAF7D6AA17A Time : 0.0 sec. user=mdettweiler [2012-02-12 10:43:30] 651*2^1005405-1 is not prime. Res64: 44489E10E238B996 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:51:48] 859*2^1005407-1 is not prime. Res64: 708D288C93D7915B Time : 0.0 sec. user=mdettweiler [2012-02-12 10:51:49] 915*2^1005407-1 is not prime. Res64: 6059C144E12DECBE Time : 0.0 sec. user=mdettweiler [2012-02-12 10:51:57] 955*2^1005407-1 is not prime. Res64: 4B3458ABEA8F95D1 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:51:57] 689*2^1005408-1 is not prime. Res64: B5F65663D98FB83F Time : 0.0 sec. user=mdettweiler [2012-02-12 10:55:33] 803*2^1005408-1 is not prime. Res64: CB09428D1C470EE0 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:55:33] 845*2^1005408-1 is not prime. Res64: AD9F2F8A86D02C67 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:58:39] 915*2^1005408-1 is not prime. Res64: 615727933CE1D240 Time : 0.0 sec. user=mdettweiler [2012-02-12 10:58:39] 807*2^1005409-1 is not prime. Res64: 46E9664CC4D886AE Time : 0.0 sec. user=gd_barnes [2012-02-12 11:00:57] 631*2^1005403-1 is not prime. Res64: A65BAE2F8EBD6550 Time : 0.0 sec. user=gd_barnes [2012-02-12 11:00:58] 673*2^1005403-1 is not prime. Res64: E17F66567CA81A6D Time : 0.0 sec. user=gd_barnes [2012-02-12 11:06:39] 775*2^1005403-1 is not prime. Res64: 45E1F2F62FB88A56 Time : 0.0 sec. user=gd_barnes [2012-02-12 11:06:39] 819*2^1005403-1 is not prime. Res64: CAC556C940723A8E Time : 0.0 sec. user=mdettweiler [2012-02-12 11:07:01] 811*2^1005409-1 is not prime. Res64: 5810C74DF48E16DF Time : 0.0 sec. user=mdettweiler [2012-02-12 11:07:02] 945*2^1005409-1 is not prime. Res64: D92AEADDAB5B113E Time : 0.0 sec. user=mdettweiler [2012-02-12 11:07:08] 985*2^1005409-1 is not prime. Res64: 5FAFF494DA191370 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:07:09] 701*2^1005410-1 is not prime. Res64: 64B89029949A4BFF Time : 0.0 sec. user=mdettweiler [2012-02-12 11:09:06] 713*2^1005410-1 is not prime. Res64: 041C214C5F295B1C Time : 0.0 sec. user=mdettweiler [2012-02-12 11:09:08] 747*2^1005410-1 is not prime. Res64: DB676330BF87D009 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:13:50] 791*2^1005410-1 is not prime. Res64: EC0ED41615381F87 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:13:51] 887*2^1005410-1 is not prime. Res64: 0AF0F3D89CFEA2AF Time : 0.0 sec. user=gd_barnes [2012-02-12 11:18:15] 713*2^1005408-1 is not prime. Res64: D419BD5C6265442D Time : 0.0 sec. user=gd_barnes [2012-02-12 11:18:15] 737*2^1005408-1 is not prime. Res64: FAABD41C9BCFCA50 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:18:34] 941*2^1005398-1 is not prime. Res64: 8AFB75C5188B9581 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:18:34] 953*2^1005398-1 is not prime. Res64: B33A12DB27E67022 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:18:43] 645*2^1005401-1 is not prime. Res64: 42851A6D0BB25B6B Time : 0.0 sec. user=mdettweiler [2012-02-12 11:18:43] 669*2^1005401-1 is not prime. Res64: F2995D23DB03021E Time : 0.0 sec. user=mdettweiler [2012-02-12 11:20:37] 735*2^1005411-1 is not prime. Res64: A7774A6BD68B5A23 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:20:37] 823*2^1005411-1 is not prime. Res64: A681A96C45B7765C Time : 0.0 sec. user=mdettweiler [2012-02-12 11:20:47] 615*2^1005412-1 is not prime. Res64: 83628FACB0C8825D Time : 0.0 sec. user=mdettweiler [2012-02-12 11:20:47] 635*2^1005412-1 is not prime. Res64: 0E48DF5424AB901D Time : 0.0 sec. user=mdettweiler [2012-02-12 11:22:51] 665*2^1005412-1 is not prime. Res64: 653DB5853BEE83D9 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:22:51] 803*2^1005412-1 is not prime. Res64: CE6B61FAC9ABC27A Time : 0.0 sec. user=gd_barnes [2012-02-12 11:23:07] 933*2^1005406-1 is not prime. Res64: B8F366AFACED067C Time : 0.0 sec. user=gd_barnes [2012-02-12 11:23:08] 649*2^1005407-1 is not prime. Res64: 65202C44B1DDEB8F Time : 0.0 sec. user=mdettweiler [2012-02-12 11:29:04] 875*2^1005412-1 is not prime. Res64: 0C85E4CC6A69791C Time : 0.0 sec. user=mdettweiler [2012-02-12 11:29:05] 729*2^1005413-1 is not prime. Res64: 690A74E34615C63F Time : 0.0 sec. user=mdettweiler [2012-02-12 11:34:22] 679*2^1005415-1 is not prime. Res64: D7231703A94DA447 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:34:22] 693*2^1005415-1 is not prime. Res64: 0C5113647970EB4F Time : 0.0 sec. user=mdettweiler [2012-02-12 11:36:29] 855*2^1005415-1 is not prime. Res64: 4EB4EFF29D024D7E Time : 0.0 sec. user=mdettweiler [2012-02-12 11:36:29] 859*2^1005415-1 is not prime. Res64: C46AE4C7FC7D8D39 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:37:29] 915*2^1005414-1 is not prime. Res64: D5ADF23E7E1ED5C8 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:37:29] 945*2^1005414-1 is not prime. Res64: 634680CEA6479238 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:44:17] 925*2^1005415-1 is not prime. Res64: DB11CC09BA43C0A5 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:44:17] 669*2^1005416-1 is not prime. Res64: FC5F0D9AB47E7E22 Time : 0.0 sec. user=gd_barnes [2012-02-12 11:46:57] 619*2^1005411-1 is not prime. Res64: 12AAB38ADF333BC7 Time : 0.0 sec. user=gd_barnes [2012-02-12 11:46:58] 649*2^1005411-1 is not prime. Res64: 2F7E514E6F006876 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:47:58] 699*2^1005416-1 is not prime. Res64: D4E929EBA198FA86 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:47:58] 735*2^1005416-1 is not prime. Res64: FC897F14C7D572A5 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:50:05] 759*2^1005416-1 is not prime. Res64: 12B2321BBC34B2FD Time : 0.0 sec. user=mdettweiler [2012-02-12 11:50:05] 803*2^1005416-1 is not prime. Res64: 8A7C5D5329570D8A Time : 0.0 sec. user=mdettweiler [2012-02-12 11:51:04] 833*2^1005416-1 is not prime. Res64: 44A6DF61A4C5734F Time : 0.0 sec. user=mdettweiler [2012-02-12 11:51:05] 843*2^1005416-1 is not prime. Res64: 0044CB352D2B8594 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:54:14] 817*2^1005405-1 is not prime. Res64: A3B4F8069E791CA8 Time : 0.0 sec. user=mdettweiler [2012-02-12 11:54:14] 761*2^1005406-1 is not prime. Res64: 7FEB6F726B58E9DD Time : 0.0 sec. user=gd_barnes [2012-02-12 11:56:06] 941*2^1005410-1 is not prime. Res64: 6260CE207A29CBB2 Time : 0.0 sec. user=gd_barnes [2012-02-12 11:56:06] 957*2^1005410-1 is not prime. Res64: 3381D67774AA668E Time : 0.0 sec. user=gd_barnes [2012-02-12 11:58:13] 769*2^1005413-1 is not prime. Res64: 0F08615A235CE13D Time : 0.0 sec. user=gd_barnes [2012-02-12 11:58:13] 837*2^1005413-1 is not prime. Res64: 5DF40B1EF5483411 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:01:08] 903*2^1005416-1 is not prime. Res64: 07ECC71A0E207AA7 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:01:09] 927*2^1005416-1 is not prime. Res64: 2FF086768065E705 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:03:08] 963*2^1005416-1 is not prime. Res64: B492C56769FC9345 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:03:09] 609*2^1005417-1 is not prime. Res64: 4853569E705F7084 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:03:41] 669*2^1005417-1 is not prime. Res64: D82E317AF63BCF4D Time : 0.0 sec. user=mdettweiler [2012-02-12 12:03:43] 807*2^1005417-1 is not prime. Res64: 2FED27649146A8BA Time : 0.0 sec. user=mdettweiler [2012-02-12 12:06:19] 861*2^1005417-1 is not prime. Res64: B6669EDB47181281 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:06:21] 865*2^1005417-1 is not prime. Res64: AC4C0425346ACB6A Time : 0.0 sec. user=mdettweiler [2012-02-12 12:16:24] 857*2^1005418-1 is not prime. Res64: C807923C1D74DC1C Time : 0.0 sec. user=mdettweiler [2012-02-12 12:16:24] 887*2^1005418-1 is not prime. Res64: CDFD380CB3797D2D Time : 0.0 sec. user=mdettweiler [2012-02-12 12:17:21] 601*2^1005419-1 is not prime. Res64: 29234E5328AB419E Time : 0.0 sec. user=mdettweiler [2012-02-12 12:17:22] 711*2^1005419-1 is not prime. Res64: 6C1A29983B995FD1 Time : 0.0 sec. user=gd_barnes [2012-02-12 12:18:37] 883*2^1005415-1 is not prime. Res64: BAF29786D10F1D5E Time : 0.0 sec. user=gd_barnes [2012-02-12 12:18:37] 915*2^1005415-1 is not prime. Res64: 9EDE60645DF61084 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:19:57] 923*2^1005418-1 is not prime. Res64: 97B28032B02BD7F3 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:19:57] 933*2^1005418-1 is not prime. Res64: E31A7E54ABE3E27A Time : 0.0 sec. user=mdettweiler [2012-02-12 12:21:35] 801*2^1005419-1 is not prime. Res64: B485756458A99F91 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:21:36] 913*2^1005419-1 is not prime. Res64: 43C1207ECCBECD8E Time : 0.0 sec. user=mdettweiler [2012-02-12 12:30:55] 789*2^1005420-1 is not prime. Res64: 7DAE8397944CDFA8 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:30:55] 819*2^1005420-1 is not prime. Res64: 293C59AFC49228FC Time : 0.0 sec. user=mdettweiler [2012-02-12 12:31:38] 943*2^1005419-1 is not prime. Res64: 30921772637E0EFA Time : 0.0 sec. user=mdettweiler [2012-02-12 12:31:38] 623*2^1005420-1 is not prime. Res64: 0CED10297F236F08 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:35:09] 933*2^1005420-1 is not prime. Res64: 72B23DE2D5D77C3F Time : 0.0 sec. user=mdettweiler [2012-02-12 12:35:09] 601*2^1005421-1 is not prime. Res64: A940E5AC170ACB60 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:35:12] 607*2^1005421-1 is not prime. Res64: 7CCA0C773B48365B Time : 0.0 sec. user=mdettweiler [2012-02-12 12:35:12] 679*2^1005421-1 is not prime. Res64: F8793512FF104445 Time : 0.0 sec. user=gd_barnes [2012-02-12 12:36:43] 671*2^1005418-1 is not prime. Res64: 6CF3801A258031C9 Time : 0.0 sec. user=gd_barnes [2012-02-12 12:36:43] 765*2^1005418-1 is not prime. Res64: 7FAF30E2BD6A5BDD Time : 0.0 sec. user=gd_barnes [2012-02-12 12:38:48] 803*2^1005418-1 is not prime. Res64: C2DED43ED398B8DD Time : 0.0 sec. user=gd_barnes [2012-02-12 12:38:48] 825*2^1005418-1 is not prime. Res64: 83E1994A2DAD7CDC Time : 0.0 sec. user=gd_barnes [2012-02-12 12:42:42] 935*2^1005416-1 is not prime. Res64: 83A73FF2AAF8D31F Time : 0.0 sec. user=gd_barnes [2012-02-12 12:42:42] 945*2^1005416-1 is not prime. Res64: 488CC920E22831C3 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:45:19] 603*2^1005422-1 is not prime. Res64: A0817E7EE5C67B1B Time : 0.0 sec. user=mdettweiler [2012-02-12 12:45:20] 617*2^1005422-1 is not prime. Res64: 5BBA3B3EF9FF3DF8 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:46:34] 741*2^1005421-1 is not prime. Res64: 92C84F1707ED28EC Time : 0.0 sec. user=mdettweiler [2012-02-12 12:46:35] 937*2^1005421-1 is not prime. Res64: A682BD783F974814 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:48:54] 665*2^1005422-1 is not prime. Res64: 1352F6F798BD5970 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:48:55] 743*2^1005422-1 is not prime. Res64: 1FD1B998F4524110 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:48:56] 767*2^1005422-1 is not prime. Res64: E99FBF355D3CFB76 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:48:57] 785*2^1005422-1 is not prime. Res64: 48B3B5940AA49685 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:55:22] 889*2^1005413-1 is not prime. Res64: C0B69BD76C602BFC Time : 0.0 sec. user=mdettweiler [2012-02-12 12:55:23] 925*2^1005413-1 is not prime. Res64: 3BC4CD2F638FEA82 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:55:36] 987*2^1005413-1 is not prime. Res64: D7C508176C762C34 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:55:36] 891*2^1005414-1 is not prime. Res64: ECBBD6193E3EACC0 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:59:13] 763*2^1005423-1 is not prime. Res64: 6CF1EAFEC8A45406 Time : 0.0 sec. user=mdettweiler [2012-02-12 12:59:13] 853*2^1005423-1 is not prime. Res64: F0310E76CA3E3D8E Time : 0.0 sec. user=mdettweiler [2012-02-12 13:03:51] 873*2^1005423-1 is not prime. Res64: 72361B74996BD249 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:03:52] 885*2^1005423-1 is not prime. Res64: 9CCCA7803613D9C3 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:04:30] 951*2^1005423-1 is not prime. Res64: 28A1AA19AA0A7EB5 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:04:31] 677*2^1005424-1 is not prime. Res64: DCD1B00FF08D531B Time : 0.0 sec. user=mdettweiler [2012-02-12 13:06:26] 939*2^1005424-1 is not prime. Res64: 1EC17D583EF8332C Time : 0.0 sec. user=mdettweiler [2012-02-12 13:06:26] 969*2^1005424-1 is not prime. Res64: D98934D3CEDF6B81 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:13:33] 641*2^1005426-1 is not prime. Res64: 0D57751CBF9D95C2 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:13:34] 713*2^1005426-1 is not prime. Res64: 9F85936A6A1E1C1D Time : 0.0 sec. user=gd_barnes [2012-02-12 13:14:09] 879*2^1005420-1 is not prime. Res64: BAD37E6B3E09B640 Time : 0.0 sec. user=gd_barnes [2012-02-12 13:14:10] 893*2^1005420-1 is not prime. Res64: B7A7437C78E62802 Time : 0.0 sec. user=gd_barnes [2012-02-12 13:16:46] 827*2^1005422-1 is not prime. Res64: EAF0899C978681A5 Time : 0.0 sec. user=gd_barnes [2012-02-12 13:16:47] 831*2^1005422-1 is not prime. Res64: B07E52725B556A0A Time : 0.0 sec. user=mdettweiler [2012-02-12 13:18:51] 645*2^1005427-1 is not prime. Res64: 2E4104783840BC43 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:18:52] 663*2^1005427-1 is not prime. Res64: 54212004B1C80DDC Time : 0.0 sec. user=mdettweiler [2012-02-12 13:20:47] 673*2^1005427-1 is not prime. Res64: EDF9309D37A6A95F Time : 0.0 sec. user=mdettweiler [2012-02-12 13:20:47] 691*2^1005427-1 is not prime. Res64: 5A31F89D2305FBF9 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:21:33] 923*2^1005426-1 is not prime. Res64: 6107D0C61B2FDDD6 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:21:33] 975*2^1005426-1 is not prime. Res64: 1AE52DF1B107A1F1 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:22:33] 915*2^1005417-1 is not prime. Res64: 135A1CF8BEB2C396 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:22:33] 605*2^1005418-1 is not prime. Res64: 2D68DF1CCAEB9240 Time : 0.0 sec. user=gd_barnes [2012-02-12 13:22:48] 619*2^1005423-1 is not prime. Res64: A2B3B290512400C2 Time : 0.0 sec. user=gd_barnes [2012-02-12 13:22:48] 751*2^1005423-1 is not prime. Res64: 62A76F021C5176CA Time : 0.0 sec. user=gd_barnes [2012-02-12 13:26:24] 857*2^1005422-1 is not prime. Res64: 345806A0BCC05B3E Time : 0.0 sec. user=gd_barnes [2012-02-12 13:26:24] 1001*2^1005422-1 is not prime. Res64: 3848F49D62E1EF9D Time : 0.0 sec. user=mdettweiler [2012-02-12 13:28:17] 741*2^1005427-1 is not prime. Res64: D1615E32FA5324F9 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:28:17] 861*2^1005427-1 is not prime. Res64: 0C86FE16D7E6FBD8 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:33:34] 753*2^1005428-1 is not prime. Res64: 7863E29365093087 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:33:34] 767*2^1005428-1 is not prime. Res64: 9875EE10363892C0 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:35:39] 777*2^1005428-1 is not prime. Res64: 5776873E84F52AAB Time : 0.0 sec. user=mdettweiler [2012-02-12 13:35:39] 797*2^1005428-1 is not prime. Res64: 01F205DA8DC8ADAE Time : 0.0 sec. user=mdettweiler [2012-02-12 13:39:26] 875*2^1005428-1 is not prime. Res64: 60494DBDD6F89185 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:39:26] 885*2^1005428-1 is not prime. Res64: 1AD747715280E490 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:45:22] 889*2^1005429-1 is not prime. Res64: C3DC5FE53F4E468F Time : 0.0 sec. user=mdettweiler [2012-02-12 13:45:22] 927*2^1005429-1 is not prime. Res64: 3AB954DBEED995F8 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:47:20] 645*2^1005430-1 is not prime. Res64: 3D1D86965F9BBF45 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:47:20] 665*2^1005430-1 is not prime. Res64: 3DDFC21A156E34B0 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:49:22] 677*2^1005430-1 is not prime. Res64: 2AD71D7608CA1035 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:49:22] 731*2^1005430-1 is not prime. Res64: F0DED4FB92DB744A Time : 0.0 sec. user=mdettweiler [2012-02-12 13:54:45] 755*2^1005430-1 is not prime. Res64: 443367C2D046CDB0 Time : 0.0 sec. user=mdettweiler [2012-02-12 13:54:45] 965*2^1005430-1 is not prime. Res64: A0D50694721E05D9 Time : 0.0 sec. user=gd_barnes [2012-02-12 13:56:42] 617*2^1005428-1 is not prime. Res64: 2B9D50B28A8452EB Time : 0.0 sec. user=gd_barnes [2012-02-12 13:56:42] 659*2^1005428-1 is not prime. Res64: EB5B37984F922D34 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:01:01] 615*2^1005431-1 is not prime. Res64: B177A8A825ABF155 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:01:02] 643*2^1005431-1 is not prime. Res64: 99360A7B7045B62C Time : 0.0 sec. user=mdettweiler [2012-02-12 14:02:24] 971*2^1005430-1 is not prime. Res64: 97D6BA06D2AF2477 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:02:25] 995*2^1005430-1 is not prime. Res64: F8DE23AF462114C6 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:03:11] 705*2^1005431-1 is not prime. Res64: 5E750F116A4AA88A Time : 0.0 sec. user=mdettweiler [2012-02-12 14:03:12] 745*2^1005431-1 is not prime. Res64: 03A7465BF8268018 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:03:15] 745*2^1005429-1 is not prime. Res64: E2414BC38F50B960 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:03:15] 751*2^1005429-1 is not prime. Res64: 49D5799377DCF9E5 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:06:37] 787*2^1005429-1 is not prime. Res64: B1890760390EF60D Time : 0.0 sec. user=gd_barnes [2012-02-12 14:06:38] 825*2^1005429-1 is not prime. Res64: F0500B52703BD587 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:08:31] 775*2^1005431-1 is not prime. Res64: 16478154AFFB53E7 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:08:32] 783*2^1005431-1 is not prime. Res64: D638EE22C3224356 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:09:17] 885*2^1005427-1 is not prime. Res64: 7D5203628E31D2EF Time : 0.0 sec. user=gd_barnes [2012-02-12 14:09:17] 931*2^1005427-1 is not prime. Res64: 32A24B413D6545F7 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:16:11] 635*2^1005432-1 is not prime. Res64: 2600394D913EC852 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:16:11] 797*2^1005432-1 is not prime. Res64: 513E8A6DDBA9FA6B Time : 0.0 sec. user=mdettweiler [2012-02-12 14:16:56] 815*2^1005432-1 is not prime. Res64: EC2E86843F36DD3C Time : 0.0 sec. user=mdettweiler [2012-02-12 14:16:56] 843*2^1005432-1 is not prime. Res64: 24F0BB414C96891A Time : 0.0 sec. user=mdettweiler [2012-02-12 14:18:11] 981*2^1005431-1 is not prime. Res64: 379D3918D5F2AFA0 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:18:11] 999*2^1005431-1 is not prime. Res64: CF5C7CBBE3DC67DF Time : 0.0 sec. user=mdettweiler [2012-02-12 14:22:19] 747*2^1005433-1 is not prime. Res64: 0312A9953CDE50AE Time : 0.0 sec. user=mdettweiler [2012-02-12 14:22:20] 811*2^1005433-1 is not prime. Res64: FE95FB5786716D16 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:29:43] 989*2^1005424-1 is not prime. Res64: 4C258EADA0E3822A Time : 0.0 sec. user=mdettweiler [2012-02-12 14:29:43] 657*2^1005425-1 is not prime. Res64: E00B230EB1DF0753 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:29:51] 645*2^1005434-1 is not prime. Res64: ECD6A33520E9EBDE Time : 0.0 sec. user=mdettweiler [2012-02-12 14:29:51] 687*2^1005434-1 is not prime. Res64: 68591F03D22DDA29 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:30:01] 679*2^1005425-1 is not prime. Res64: 650AFFEB10872D65 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:30:02] 915*2^1005425-1 is not prime. Res64: 8BFAA0F721BF3AFB Time : 0.0 sec. user=mdettweiler [2012-02-12 14:30:34] 755*2^1005434-1 is not prime. Res64: 58C1875223CE4A82 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:30:35] 861*2^1005434-1 is not prime. Res64: 3DA4E9E29CEBE6C9 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:35:05] 953*2^1005434-1 is not prime. Res64: 1554B01536E115F1 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:35:05] 971*2^1005434-1 is not prime. Res64: 1A4C39DE1E8628C1 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:35:54] 613*2^1005435-1 is not prime. Res64: D30289779FE0DF3D Time : 0.0 sec. user=mdettweiler [2012-02-12 14:35:54] 675*2^1005435-1 is not prime. Res64: 8D4D1DDF76F855C1 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:44:09] 707*2^1005436-1 is not prime. Res64: 134C5DBCC8596602 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:44:09] 719*2^1005436-1 is not prime. Res64: EF450E2779892382 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:44:16] 823*2^1005431-1 is not prime. Res64: D2529B3E194CDF29 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:44:16] 943*2^1005431-1 is not prime. Res64: EB862FC0C46422AE Time : 0.0 sec. user=mdettweiler [2012-02-12 14:46:41] 871*2^1005435-1 is not prime. Res64: C87EFDFC59A01484 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:46:42] 895*2^1005435-1 is not prime. Res64: 7D2531F5AE7F4459 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:46:48] 675*2^1005433-1 is not prime. Res64: BF57C818703A908D Time : 0.0 sec. user=gd_barnes [2012-02-12 14:46:49] 705*2^1005433-1 is not prime. Res64: 6F2CE6D2DF2CF126 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:48:21] 685*2^1005429-1 is not prime. Res64: E297797A92F3F8FF Time : 0.0 sec. user=mdettweiler [2012-02-12 14:48:21] 691*2^1005429-1 is not prime. Res64: 9349BF325362F4E9 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:48:39] 759*2^1005436-1 is not prime. Res64: 2469BCDE7F8333AC Time : 0.0 sec. user=mdettweiler [2012-02-12 14:48:40] 857*2^1005436-1 is not prime. Res64: EE7FDEA8DA8CD46A Time : 0.0 sec. user=gd_barnes [2012-02-12 14:50:43] 887*2^1005432-1 is not prime. Res64: 7E8C67DB3A904302 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:50:43] 607*2^1005433-1 is not prime. Res64: 065BD396749541CE Time : 0.0 sec. user=mdettweiler [2012-02-12 14:52:46] 869*2^1005436-1 is not prime. Res64: EEA559CDD102CB16 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:52:46] 987*2^1005436-1 is not prime. Res64: 94237DCE33D003D1 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:56:56] 817*2^1005433-1 is not prime. Res64: 98B415BDF8693A83 Time : 0.0 sec. user=gd_barnes [2012-02-12 14:56:56] 999*2^1005433-1 is not prime. Res64: 6DD31EF938BD9F4E Time : 0.0 sec. user=mdettweiler [2012-02-12 14:57:44] 685*2^1005437-1 is not prime. Res64: 000867958BB787A1 Time : 0.0 sec. user=mdettweiler [2012-02-12 14:57:44] 699*2^1005437-1 is not prime. Res64: 3F85EC23C18472DE Time : 0.0 sec. user=mdettweiler [2012-02-12 15:02:01] 861*2^1005437-1 is not prime. Res64: 593C1F6AB575C4CD Time : 0.0 sec. user=mdettweiler [2012-02-12 15:02:02] 879*2^1005437-1 is not prime. Res64: 6FBDFA84A0833726 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:03:51] 885*2^1005438-1 is not prime. Res64: D983C1A4F626006E Time : 0.0 sec. user=mdettweiler [2012-02-12 15:03:52] 615*2^1005439-1 is not prime. Res64: 694CD69977BCB739 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:06:21] 743*2^1005440-1 is not prime. Res64: 18F325664A2DFF87 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:06:22] 747*2^1005440-1 is not prime. Res64: A287F79FE7B367EF Time : 0.0 sec. user=mdettweiler [2012-02-12 15:11:19] 705*2^1005441-1 is not prime. Res64: A829B916C46EEB1A Time : 0.0 sec. user=mdettweiler [2012-02-12 15:11:20] 741*2^1005441-1 is not prime. Res64: 5B88A154A4765A2B Time : 0.0 sec. user=mdettweiler [2012-02-12 15:15:43] 807*2^1005441-1 is not prime. Res64: 694C84312C2E5DFE Time : 0.0 sec. user=mdettweiler [2012-02-12 15:15:43] 829*2^1005441-1 is not prime. Res64: BBDC9ED27106CA43 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:17:29] 621*2^1005442-1 is not prime. Res64: 2B3762DB946346C3 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:17:30] 645*2^1005442-1 is not prime. Res64: 13978FEAAE01004D Time : 0.0 sec. user=mdettweiler [2012-02-12 15:19:57] 657*2^1005442-1 is not prime. Res64: 5EF91C471564F899 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:19:57] 695*2^1005442-1 is not prime. Res64: 73A6CD217C49449E Time : 0.0 sec. user=gd_barnes [2012-02-12 15:24:27] 727*2^1005437-1 is not prime. Res64: 7F3584C27D001DD3 Time : 0.0 sec. user=gd_barnes [2012-02-12 15:24:27] 777*2^1005437-1 is not prime. Res64: 31D54BD69DFF8ADC Time : 0.0 sec. user=mdettweiler [2012-02-12 15:24:58] 777*2^1005442-1 is not prime. Res64: 23D4A9D28168169A Time : 0.0 sec. user=mdettweiler [2012-02-12 15:24:58] 785*2^1005442-1 is not prime. Res64: 38CCD7BF82EA5F7F Time : 0.0 sec. user=mdettweiler [2012-02-12 15:30:58] 791*2^1005442-1 is not prime. Res64: 119C13BE50EDB3E7 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:30:58] 881*2^1005442-1 is not prime. Res64: 2434B3CC4841FDBA Time : 0.0 sec. user=gd_barnes [2012-02-12 15:31:13] 763*2^1005439-1 is not prime. Res64: A4113550120E3CBF Time : 0.0 sec. user=gd_barnes [2012-02-12 15:31:13] 841*2^1005439-1 is not prime. Res64: 466AE8B8DB531817 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:32:42] 1001*2^1005442-1 is not prime. Res64: 047ED6AC817EC7F9 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:32:42] 675*2^1005443-1 is not prime. Res64: C52DC9BC17A567DA Time : 0.0 sec. user=mdettweiler [2012-02-12 15:33:35] 703*2^1005443-1 is not prime. Res64: 3A3758D0533F3ED6 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:33:35] 735*2^1005443-1 is not prime. Res64: EE260387C7211F75 Time : 0.0 sec. user=gd_barnes [2012-02-12 15:34:39] 915*2^1005437-1 is not prime. Res64: 0825860E9AC5CD51 Time : 0.0 sec. user=gd_barnes [2012-02-12 15:34:39] 611*2^1005438-1 is not prime. Res64: 9D97FABC8EFBA6C8 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:40:30] 885*2^1005443-1 is not prime. Res64: 933276C79B413A2D Time : 0.0 sec. user=mdettweiler [2012-02-12 15:40:30] 639*2^1005444-1 is not prime. Res64: E87A59CDAF1BE4A1 Time : 0.0 sec. user=gd_barnes [2012-02-12 15:44:53] 963*2^1005440-1 is not prime. Res64: 79C89DB8262FD429 Time : 0.0 sec. user=gd_barnes [2012-02-12 15:44:53] 601*2^1005441-1 is not prime. Res64: 2D8161EB25FB1C59 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:45:04] 809*2^1005444-1 is not prime. Res64: 252527247B2A82D6 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:45:04] 825*2^1005444-1 is not prime. Res64: 54AA96F2AB797C0A Time : 0.0 sec. user=mdettweiler [2012-02-12 15:46:59] 801*2^1005445-1 is not prime. Res64: 646D05B734F4E858 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:47:00] 805*2^1005445-1 is not prime. Res64: DA59572ACFDB4A5D Time : 0.0 sec. user=mdettweiler [2012-02-12 15:49:27] 831*2^1005445-1 is not prime. Res64: 2049AAFDC9C610BA Time : 0.0 sec. user=mdettweiler [2012-02-12 15:49:27] 915*2^1005445-1 is not prime. Res64: 23C41212F4BF4A4C Time : 0.0 sec. user=mdettweiler [2012-02-12 15:51:46] 735*2^1005435-1 is not prime. Res64: 34AA0DC8139F177F Time : 0.0 sec. user=mdettweiler [2012-02-12 15:51:46] 781*2^1005435-1 is not prime. Res64: 6E2B5EF1100FDCF7 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:54:25] 773*2^1005446-1 is not prime. Res64: 3E826CA979684309 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:54:25] 833*2^1005446-1 is not prime. Res64: 87B6936DB414B86B Time : 0.0 sec. user=mdettweiler [2012-02-12 15:58:53] 805*2^1005447-1 is not prime. Res64: D66E1097A3351729 Time : 0.0 sec. user=mdettweiler [2012-02-12 15:58:53] 859*2^1005447-1 is not prime. Res64: F272DDE1882A3A36 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:02:21] 991*2^1005447-1 is not prime. Res64: 28C4964AED7682EA Time : 0.0 sec. user=mdettweiler [2012-02-12 16:02:23] 603*2^1005448-1 is not prime. Res64: 13A581A9F8BF67AB Time : 0.0 sec. user=mdettweiler [2012-02-12 16:03:11] 615*2^1005448-1 is not prime. Res64: DB3532C9EE960EA0 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:03:12] 695*2^1005448-1 is not prime. Res64: BEDB77C9C72BB76D Time : 0.0 sec. user=gd_barnes [2012-02-12 16:04:40] 745*2^1005443-1 is not prime. Res64: 9314A7676400CE03 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:04:41] 759*2^1005443-1 is not prime. Res64: DED6182E627ECE2E Time : 0.0 sec. user=mdettweiler [2012-02-12 16:08:00] 773*2^1005448-1 is not prime. Res64: 31568E61D4FBB1D3 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:08:02] 813*2^1005448-1 is not prime. Res64: 2B1F026AEF7CDCE6 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:09:44] 913*2^1005435-1 is not prime. Res64: 60DBC93660C4D700 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:09:45] 955*2^1005435-1 is not prime. Res64: 325C7F3FDB2C5CC8 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:10:13] 765*2^1005438-1 is not prime. Res64: DFBC00BE56A3374C Time : 0.0 sec. user=mdettweiler [2012-02-12 16:10:13] 825*2^1005438-1 is not prime. Res64: F4A299FCC482803B Time : 0.0 sec. user=mdettweiler [2012-02-12 16:15:45] 923*2^1005448-1 is not prime. Res64: BE3479B2AB9147BF Time : 0.0 sec. user=mdettweiler [2012-02-12 16:15:45] 995*2^1005448-1 is not prime. Res64: 7DBF25E96BA48CD0 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:16:02] 627*2^1005449-1 is not prime. Res64: 4D86CFFC64A2E072 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:16:03] 727*2^1005449-1 is not prime. Res64: 3BBD27B2EE26F8B7 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:16:48] 771*2^1005449-1 is not prime. Res64: 92B2EC65D7B71E1F Time : 0.0 sec. user=mdettweiler [2012-02-12 16:16:48] 789*2^1005449-1 is not prime. Res64: DB7F404A7443E788 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:18:56] 863*2^1005444-1 is not prime. Res64: D2B4E64654A1C33F Time : 0.0 sec. user=gd_barnes [2012-02-12 16:18:56] 607*2^1005445-1 is not prime. Res64: 762F628E0FB5E226 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:22:38] 937*2^1005445-1 is not prime. Res64: 4C6D0E17D0FE1AAA Time : 0.0 sec. user=gd_barnes [2012-02-12 16:22:38] 677*2^1005446-1 is not prime. Res64: 4232DC4D10BBDF10 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:23:17] 917*2^1005450-1 is not prime. Res64: 9914256F2F1F676A Time : 0.0 sec. user=mdettweiler [2012-02-12 16:23:17] 673*2^1005451-1 is not prime. Res64: 539282EAFCD33DDF Time : 0.0 sec. user=mdettweiler [2012-02-12 16:29:46] 719*2^1005452-1 is not prime. Res64: D1C627D5A5C6A6CB Time : 0.0 sec. user=mdettweiler [2012-02-12 16:29:47] 735*2^1005452-1 is not prime. Res64: F2A7ABE116C91571 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:31:08] 993*2^1005451-1 is not prime. Res64: 5B13F9C9E5752914 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:31:08] 647*2^1005452-1 is not prime. Res64: 4FE181D1505D4986 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:32:11] 923*2^1005452-1 is not prime. Res64: 96820A8F1745A739 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:32:11] 609*2^1005453-1 is not prime. Res64: B2CC76B4407D5B54 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:32:52] 923*2^1005446-1 is not prime. Res64: FA24096471816B52 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:32:52] 633*2^1005447-1 is not prime. Res64: 72B6733A962BB21D Time : 0.0 sec. user=mdettweiler [2012-02-12 16:38:44] 859*2^1005453-1 is not prime. Res64: 086837318AAD3D52 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:38:44] 945*2^1005453-1 is not prime. Res64: 2ADB5A05402D8B53 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:45:48] 723*2^1005454-1 is not prime. Res64: 73191AFED20D6553 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:45:49] 821*2^1005454-1 is not prime. Res64: 0AF4E872C6F48C89 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:46:25] 985*2^1005453-1 is not prime. Res64: CB276161C7E4D2CD Time : 0.0 sec. user=mdettweiler [2012-02-12 16:46:25] 671*2^1005454-1 is not prime. Res64: 2587A8512E992321 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:46:48] 955*2^1005453-1 is not prime. Res64: 9968F743B5E556A0 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:46:48] 969*2^1005453-1 is not prime. Res64: AF0C3803014E9507 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:48:22] 707*2^1005448-1 is not prime. Res64: 33B85FC92073F14F Time : 0.0 sec. user=mdettweiler [2012-02-12 16:52:22] 753*2^1005455-1 is not prime. Res64: 1CA2181EC15480A3 Time : 0.0 sec. user=mdettweiler [2012-02-12 16:52:22] 789*2^1005455-1 is not prime. Res64: 794FA9B4EE767934 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:52:28] 909*2^1005449-1 is not prime. Res64: A02C8029FEA28CCF Time : 0.0 sec. user=gd_barnes [2012-02-12 16:52:28] 633*2^1005450-1 is not prime. Res64: 81CC665276E4C380 Time : 0.0 sec. user=gd_barnes [2012-02-12 16:59:18] 621*2^1005453-1 is not prime. Res64: A54768EDDD38857D Time : 0.0 sec. user=gd_barnes [2012-02-12 16:59:18] 649*2^1005453-1 is not prime. Res64: BDD285C488EA71E8 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:00:35] 689*2^1005456-1 is not prime. Res64: D932A289B0D9A706 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:00:35] 845*2^1005456-1 is not prime. Res64: E1778051CA1FBC90 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:01:09] 861*2^1005455-1 is not prime. Res64: C70DDA6E7FBDE75F Time : 0.0 sec. user=mdettweiler [2012-02-12 17:01:10] 913*2^1005455-1 is not prime. Res64: 172912362D0D262B Time : 0.0 sec. user=mdettweiler [2012-02-12 17:01:55] 981*2^1005455-1 is not prime. Res64: 98A48B8DD40C62D7 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:01:56] 683*2^1005456-1 is not prime. Res64: 9D72BC63695BFB67 Time : 0.0 sec. user=gd_barnes [2012-02-12 17:02:52] 765*2^1005453-1 is not prime. Res64: 28CD0C4BC79F0F7F Time : 0.0 sec. user=gd_barnes [2012-02-12 17:03:01] 829*2^1005453-1 is not prime. Res64: 8A4FABD17C49FDCD Time : 0.0 sec. user=mdettweiler [2012-02-12 17:09:22] 875*2^1005456-1 is not prime. Res64: 761DC5507AC91BFA Time : 0.0 sec. user=mdettweiler [2012-02-12 17:09:23] 999*2^1005456-1 is not prime. Res64: BAA949F89316E783 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:14:51] 683*2^1005458-1 is not prime. Res64: E263A755432C9293 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:14:52] 743*2^1005458-1 is not prime. Res64: 22E3A5D06194519C Time : 0.0 sec. user=mdettweiler [2012-02-12 17:15:39] 753*2^1005458-1 is not prime. Res64: 3D044753BA81CA54 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:15:40] 773*2^1005458-1 is not prime. Res64: 8ABD170CD9FD5573 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:16:00] 901*2^1005457-1 is not prime. Res64: A7ACBFC5611820D0 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:16:01] 671*2^1005458-1 is not prime. Res64: 6E7E35EBE56D98CD Time : 0.0 sec. user=gd_barnes [2012-02-12 17:20:36] 855*2^1005454-1 is not prime. Res64: 37D0067308E4D234 Time : 0.0 sec. user=gd_barnes [2012-02-12 17:20:36] 941*2^1005454-1 is not prime. Res64: 3EFAB8A97D24D4C6 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:25:00] 861*2^1005458-1 is not prime. Res64: 2634561654239F96 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:25:01] 915*2^1005458-1 is not prime. Res64: B68FC460BEF11B4D Time : 0.0 sec. user=mdettweiler [2012-02-12 17:31:44] 995*2^1005458-1 is not prime. Res64: 673782B8BA790BB6 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:31:44] 619*2^1005459-1 is not prime. Res64: 02369E3CC7EA867F Time : 0.0 sec. user=mdettweiler [2012-02-12 17:32:16] 921*2^1005458-1 is not prime. Res64: E198BA02E2EB860C Time : 0.0 sec. user=mdettweiler [2012-02-12 17:32:16] 945*2^1005458-1 is not prime. Res64: 77D1C336558803A9 Time : 0.0 sec. user=gd_barnes [2012-02-12 17:32:23] 609*2^1005457-1 is not prime. Res64: 2341680B4E78F6D4 Time : 0.0 sec. user=gd_barnes [2012-02-12 17:32:23] 651*2^1005457-1 is not prime. Res64: 94FBE9A5DDCD0022 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:32:56] 963*2^1005458-1 is not prime. Res64: 01D6066B362A8758 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:32:56] 993*2^1005458-1 is not prime. Res64: 55A3137A3F1FA485 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:40:23] 609*2^1005460-1 is not prime. Res64: 02D7E76FEA595C1D Time : 0.0 sec. user=mdettweiler [2012-02-12 17:40:24] 873*2^1005460-1 is not prime. Res64: 0930112684EDF30D Time : 0.0 sec. user=gd_barnes [2012-02-12 17:43:04] 813*2^1005458-1 is not prime. Res64: 99B5F1B277C6BF05 Time : 0.0 sec. user=gd_barnes [2012-02-12 17:43:04] 843*2^1005458-1 is not prime. Res64: 460427334A2E70FC Time : 0.0 sec. user=gd_barnes [2012-02-12 17:46:41] 777*2^1005457-1 is not prime. Res64: 5D6B4318F1A49E94 Time : 0.0 sec. user=gd_barnes [2012-02-12 17:46:41] 885*2^1005457-1 is not prime. Res64: A946E1AF34ED0B32 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:46:42] 609*2^1005463-1 is not prime. Res64: 983B27869C1C4BB0 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:46:43] 639*2^1005463-1 is not prime. Res64: FD4168490C10FD60 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:47:04] 983*2^1005460-1 is not prime. Res64: 795F2018113F8CDA Time : 0.0 sec. user=mdettweiler [2012-02-12 17:47:04] 631*2^1005461-1 is not prime. Res64: E4B2F626DD179C22 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:47:40] 651*2^1005461-1 is not prime. Res64: B2ACE67B68B6FCBD Time : 0.0 sec. user=mdettweiler [2012-02-12 17:47:41] 907*2^1005461-1 is not prime. Res64: FFA8B1106190DF98 Time : 0.0 sec. user=mdettweiler [2012-02-12 17:54:06] 681*2^1005463-1 is not prime. Res64: 2FA6127FA08F9EBD Time : 0.0 sec. user=mdettweiler [2012-02-12 17:54:06] 793*2^1005463-1 is not prime. Res64: EE0C62F3353E4180 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:02:04] 833*2^1005464-1 is not prime. Res64: 4E390538F68BBA97 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:02:05] 959*2^1005464-1 is not prime. Res64: 68E229720E4240B5 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:02:25] 717*2^1005465-1 is not prime. Res64: 14D972182EAA40D4 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:02:25] 885*2^1005465-1 is not prime. Res64: 55371014DA0E61E9 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:03:00] 921*2^1005465-1 is not prime. Res64: 68683276FC6062F5 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:03:00] 623*2^1005466-1 is not prime. Res64: 951D59918F2EEDF3 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:07:49] 657*2^1005466-1 is not prime. Res64: 69D9BC97C329FD56 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:07:51] 765*2^1005466-1 is not prime. Res64: C2DF21C64FA2E168 Time : 0.0 sec. user=gd_barnes [2012-02-12 18:12:19] 657*2^1005462-1 is not prime. Res64: D2C6C6F7DA041E1E Time : 0.0 sec. user=gd_barnes [2012-02-12 18:12:20] 713*2^1005462-1 is not prime. Res64: EFBFE6D2DE637825 Time : 0.0 sec. user=gd_barnes [2012-02-12 18:15:52] 885*2^1005459-1 is not prime. Res64: FD46127165B720BA Time : 0.0 sec. user=gd_barnes [2012-02-12 18:15:52] 919*2^1005459-1 is not prime. Res64: 2DF26B394BBFB350 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:17:23] 815*2^1005466-1 is not prime. Res64: F4E5FDDADFD7ED01 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:17:23] 887*2^1005466-1 is not prime. Res64: C33108B041BF3B44 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:18:18] 825*2^1005467-1 is not prime. Res64: 13C3CA5C94F6F4DD Time : 0.0 sec. user=mdettweiler [2012-02-12 18:18:19] 949*2^1005467-1 is not prime. Res64: A8734123101B3DF2 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:19:22] 923*2^1005466-1 is not prime. Res64: 50CEAD49EDF54239 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:19:23] 957*2^1005466-1 is not prime. Res64: D690D591243AA695 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:23:19] 985*2^1005467-1 is not prime. Res64: 35E5B1EF0B385338 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:23:19] 639*2^1005468-1 is not prime. Res64: D316317E2BAA7DA7 Time : 0.0 sec. user=gd_barnes [2012-02-12 18:26:30] 645*2^1005464-1 is not prime. Res64: DFA52EBFC95B0B7D Time : 0.0 sec. user=gd_barnes [2012-02-12 18:26:31] 795*2^1005464-1 is not prime. Res64: 36F52483E476908E Time : 0.0 sec. user=gd_barnes [2012-02-12 18:30:47] 973*2^1005463-1 is not prime. Res64: 564FB07073855FC4 Time : 0.0 sec. user=gd_barnes [2012-02-12 18:30:47] 609*2^1005464-1 is not prime. Res64: 1BB8A72C05E235A7 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:32:10] 625*2^1005469-1 is not prime. Res64: 324882529358B695 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:32:10] 675*2^1005469-1 is not prime. Res64: 9DA1EA4B804596F4 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:33:10] 687*2^1005469-1 is not prime. Res64: EEF05680F8576540 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:33:10] 757*2^1005469-1 is not prime. Res64: BCC71DC0D6BD91EC Time : 0.0 sec. user=mdettweiler [2012-02-12 18:34:33] 947*2^1005468-1 is not prime. Res64: 3F525E3E31C18C39 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:34:33] 959*2^1005468-1 is not prime. Res64: 84F77BD2ABC883D2 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:40:27] 897*2^1005469-1 is not prime. Res64: 363C910E33D97B26 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:40:27] 919*2^1005469-1 is not prime. Res64: F56468E729D34802 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:42:37] 765*2^1005448-1 is not prime. Res64: 0CB74FD9B11AF070 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:46:01] 731*2^1005470-1 is not prime. Res64: 14BCE3AD3D7A0023 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:46:01] 741*2^1005470-1 is not prime. Res64: 27DB87CBB903CA02 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:47:00] 747*2^1005470-1 is not prime. Res64: 21FAA0D904211F02 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:47:00] 755*2^1005470-1 is not prime. Res64: 263BAE0D839DAA76 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:51:46] 867*2^1005470-1 is not prime. Res64: 0D7CA852C736369C Time : 0.0 sec. user=mdettweiler [2012-02-12 18:51:46] 921*2^1005470-1 is not prime. Res64: ABD70C5E31A1BD1A Time : 0.0 sec. user=gd_barnes [2012-02-12 18:52:49] 723*2^1005468-1 is not prime. Res64: B34B122134432525 Time : 0.0 sec. user=gd_barnes [2012-02-12 18:52:49] 749*2^1005468-1 is not prime. Res64: 2D878B7E1D898878 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:54:23] 601*2^1005471-1 is not prime. Res64: 8363283C807BD287 Time : 0.0 sec. user=mdettweiler [2012-02-12 18:54:23] 661*2^1005471-1 is not prime. Res64: 51C8DA9C324B9CFF Time : 0.0 sec. user=gd_barnes [2012-02-12 18:56:25] 789*2^1005468-1 is not prime. Res64: CA188A3AA397099F Time : 0.0 sec. user=gd_barnes [2012-02-12 18:56:26] 825*2^1005468-1 is not prime. Res64: 49F7CD8CB4E86F36 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:00:27] 715*2^1005451-1 is not prime. Res64: 13124A054791FC5F Time : 0.0 sec. user=mdettweiler [2012-02-12 19:00:28] 771*2^1005451-1 is not prime. Res64: CA5AA345F7346AC3 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:01:32] 895*2^1005471-1 is not prime. Res64: C8F2ADF1ED6FBE82 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:01:33] 639*2^1005472-1 is not prime. Res64: C37E13A313B11A5D Time : 0.0 sec. user=mdettweiler [2012-02-12 19:02:30] 999*2^1005472-1 is not prime. Res64: B1587C97B175293D Time : 0.0 sec. user=mdettweiler [2012-02-12 19:02:31] 631*2^1005473-1 is not prime. Res64: 851FB806FB3BB1AF Time : 0.0 sec. user=mdettweiler [2012-02-12 19:05:33] 705*2^1005473-1 is not prime. Res64: 7D5964B2F09F2244 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:05:34] 735*2^1005473-1 is not prime. Res64: 8348147FC11EF38A Time : 0.0 sec. user=mdettweiler [2012-02-12 19:09:57] 783*2^1005451-1 is not prime. Res64: A8EF67511DDA3510 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:09:58] 975*2^1005451-1 is not prime. Res64: CA92614D39031D1F Time : 0.0 sec. user=gd_barnes [2012-02-12 19:11:08] 605*2^1005470-1 is not prime. Res64: 300BFBFC7F98500A Time : 0.0 sec. user=gd_barnes [2012-02-12 19:11:09] 711*2^1005470-1 is not prime. Res64: BFE51F10D81277EC Time : 0.0 sec. user=mdettweiler [2012-02-12 19:11:33] 901*2^1005473-1 is not prime. Res64: 74D349FBF09734BD Time : 0.0 sec. user=mdettweiler [2012-02-12 19:11:35] 955*2^1005473-1 is not prime. Res64: A13C75F7749DB9E5 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:15:24] 797*2^1005474-1 is not prime. Res64: B7B4FA6F12D19309 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:15:24] 851*2^1005474-1 is not prime. Res64: BC0DFCF9D94F29A1 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:19:34] 885*2^1005474-1 is not prime. Res64: B9196A18BD05F985 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:19:34] 893*2^1005474-1 is not prime. Res64: EBE2A983634DACE0 Time : 0.0 sec. user=gd_barnes [2012-02-12 19:21:33] 961*2^1005469-1 is not prime. Res64: E5446A5FC011DF63 Time : 0.0 sec. user=gd_barnes [2012-02-12 19:21:33] 997*2^1005469-1 is not prime. Res64: 5405B390A5BE35E0 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:22:45] 917*2^1005474-1 is not prime. Res64: F320A2F03DF38CC1 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:22:45] 983*2^1005474-1 is not prime. Res64: F67626E3F8C92EA8 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:28:51] 939*2^1005475-1 is not prime. Res64: E8810392D7653748 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:28:52] 973*2^1005475-1 is not prime. Res64: 24ADE24B728A1673 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:29:24] 609*2^1005476-1 is not prime. Res64: 6571A97541B42EDD Time : 0.0 sec. user=mdettweiler [2012-02-12 19:29:24] 633*2^1005476-1 is not prime. Res64: 0E1743706F51CFD7 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:33:48] 659*2^1005476-1 is not prime. Res64: 01D6E77BDB4B097E Time : 0.0 sec. user=mdettweiler [2012-02-12 19:33:49] 677*2^1005476-1 is not prime. Res64: 7275B8D51BB56C7C Time : 0.0 sec. user=mdettweiler [2012-02-12 19:38:34] 873*2^1005476-1 is not prime. Res64: EFAC0EEEB58309E1 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:38:35] 627*2^1005477-1 is not prime. Res64: F6CCC391965FF97B Time : 0.0 sec. user=gd_barnes [2012-02-12 19:40:44] 801*2^1005473-1 is not prime. Res64: 4FDE8F7050295111 Time : 0.0 sec. user=gd_barnes [2012-02-12 19:40:44] 897*2^1005473-1 is not prime. Res64: 9C51043622926966 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:43:04] 741*2^1005477-1 is not prime. Res64: B649ADF670E25B97 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:43:04] 781*2^1005477-1 is not prime. Res64: 840B7888B6927162 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:43:41] 835*2^1005477-1 is not prime. Res64: FD854B51D1126DC0 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:43:41] 605*2^1005478-1 is not prime. Res64: E16AB084A6B41B63 Time : 0.0 sec. user=gd_barnes [2012-02-12 19:44:26] 957*2^1005473-1 is not prime. Res64: 440393C038400237 Time : 0.0 sec. user=gd_barnes [2012-02-12 19:44:26] 747*2^1005474-1 is not prime. Res64: 50E9F675612733EC Time : 0.0 sec. user=mdettweiler [2012-02-12 19:48:02] 681*2^1005478-1 is not prime. Res64: 0B7086D30E5669D4 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:48:03] 713*2^1005478-1 is not prime. Res64: 8A28CBA01E56D119 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:52:40] 747*2^1005478-1 is not prime. Res64: DC93907C4D09780E Time : 0.0 sec. user=mdettweiler [2012-02-12 19:52:40] 777*2^1005478-1 is not prime. Res64: F048204840E14E20 Time : 0.0 sec. user=mdettweiler [2012-02-12 19:57:31] 619*2^1005479-1 is not prime. Res64: EA60CA9DF2E3F07B Time : 0.0 sec. user=mdettweiler [2012-02-12 19:57:31] 621*2^1005479-1 is not prime. Res64: CF3DB2CA933E21FA Time : 0.0 sec. user=mdettweiler [2012-02-12 20:00:09] 941*2^1005478-1 is not prime. Res64: 73309CD5D06C32B5 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:00:11] 987*2^1005478-1 is not prime. Res64: 14C7C9E22BE815F1 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:01:31] 717*2^1005476-1 is not prime. Res64: 5FD4A3EFC8B6CA8D Time : 0.0 sec. user=gd_barnes [2012-02-12 20:01:38] 785*2^1005476-1 is not prime. Res64: BDCA36F0691A113B Time : 0.0 sec. user=mdettweiler [2012-02-12 20:04:54] 943*2^1005479-1 is not prime. Res64: 5DCFBF3C6D488CA5 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:04:55] 999*2^1005479-1 is not prime. Res64: 3D980773BC2C3D8C Time : 0.0 sec. user=mdettweiler [2012-02-12 20:06:18] 767*2^1005480-1 is not prime. Res64: 8A78B4B07918B1DC Time : 0.0 sec. user=mdettweiler [2012-02-12 20:06:21] 777*2^1005480-1 is not prime. Res64: 620CE2AF4931C120 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:06:25] 895*2^1005475-1 is not prime. Res64: 6F0813904CEAECF9 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:06:26] 909*2^1005475-1 is not prime. Res64: 8A0F97062708F55A Time : 0.0 sec. user=mdettweiler [2012-02-12 20:12:07] 861*2^1005471-1 is not prime. Res64: FBCCFEE1D9496271 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:12:08] 879*2^1005471-1 is not prime. Res64: 7E9E67C07599176D Time : 0.0 sec. user=mdettweiler [2012-02-12 20:12:57] 819*2^1005480-1 is not prime. Res64: 1503DB3EE54452DE Time : 0.0 sec. user=mdettweiler [2012-02-12 20:13:00] 887*2^1005480-1 is not prime. Res64: 103E7D0201A29579 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:17:12] 909*2^1005480-1 is not prime. Res64: 91F793B16F1768A4 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:17:12] 975*2^1005480-1 is not prime. Res64: 95C00BA133645D4D Time : 0.0 sec. user=mdettweiler [2012-02-12 20:18:37] 645*2^1005481-1 is not prime. Res64: 864CE45FDAC56497 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:18:37] 681*2^1005481-1 is not prime. Res64: 037D5A337A9062DB Time : 0.0 sec. user=mdettweiler [2012-02-12 20:20:08] 705*2^1005481-1 is not prime. Res64: 4360BB5A3D0D29CE Time : 0.0 sec. user=mdettweiler [2012-02-12 20:20:08] 771*2^1005481-1 is not prime. Res64: 22180A7E3EFFE870 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:21:07] 765*2^1005474-1 is not prime. Res64: 261DAE1FF7BB0AD5 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:21:07] 783*2^1005474-1 is not prime. Res64: 6E4EE9BF8C214F02 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:24:43] 649*2^1005479-1 is not prime. Res64: 2B8E51DF58A6D21A Time : 0.0 sec. user=gd_barnes [2012-02-12 20:24:43] 771*2^1005479-1 is not prime. Res64: A3D632767FD730EC Time : 0.0 sec. user=mdettweiler [2012-02-12 20:26:34] 645*2^1005482-1 is not prime. Res64: 23E49B5CA31CF840 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:26:34] 701*2^1005482-1 is not prime. Res64: 5BE3698486B629BE Time : 0.0 sec. user=gd_barnes [2012-02-12 20:28:16] 801*2^1005478-1 is not prime. Res64: 0F26269ACA84564D Time : 0.0 sec. user=gd_barnes [2012-02-12 20:28:16] 923*2^1005478-1 is not prime. Res64: FC069530BCA7979E Time : 0.0 sec. user=mdettweiler [2012-02-12 20:30:28] 601*2^1005475-1 is not prime. Res64: 371A780CDA5D6BFB Time : 0.0 sec. user=mdettweiler [2012-02-12 20:30:28] 673*2^1005475-1 is not prime. Res64: 50691B6E21A99E97 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:30:44] 791*2^1005482-1 is not prime. Res64: 781BAAA1FDDE252B Time : 0.0 sec. user=mdettweiler [2012-02-12 20:30:44] 825*2^1005482-1 is not prime. Res64: 81995D5088D3FB3B Time : 0.0 sec. user=mdettweiler [2012-02-12 20:35:20] 885*2^1005482-1 is not prime. Res64: D52EB225AAE0127A Time : 0.0 sec. user=mdettweiler [2012-02-12 20:35:20] 911*2^1005482-1 is not prime. Res64: 89A50A9890244CD5 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:36:51] 981*2^1005482-1 is not prime. Res64: ADA06A13D1A50F0D Time : 0.0 sec. user=mdettweiler [2012-02-12 20:36:51] 983*2^1005482-1 is not prime. Res64: 3200D756C0D6A663 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:41:43] 949*2^1005483-1 is not prime. Res64: 8502050CC44083C3 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:41:43] 705*2^1005484-1 is not prime. Res64: C2AA34AE16A37251 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:42:07] 619*2^1005481-1 is not prime. Res64: 0B73014E364EA713 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:42:07] 625*2^1005481-1 is not prime. Res64: 7F7054659CB659B6 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:45:53] 989*2^1005484-1 is not prime. Res64: 685C0B051348488A Time : 0.0 sec. user=mdettweiler [2012-02-12 20:45:53] 699*2^1005485-1 is not prime. Res64: 82F68A09769BFD09 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:48:56] 711*2^1005485-1 is not prime. Res64: 9EC2A9E6CF668A84 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:48:57] 781*2^1005485-1 is not prime. Res64: C3DA529B641AF953 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:50:28] 831*2^1005485-1 is not prime. Res64: 1F2DCE3C9A4BB295 Time : 0.0 sec. user=mdettweiler [2012-02-12 20:50:28] 861*2^1005485-1 is not prime. Res64: 554F5BF288C9B7F5 Time : 0.0 sec. user=gd_barnes [2012-02-12 20:54:03] 847*2^1005481-1 is not prime. Res64: D907BFCCED7EF13C Time : 0.0 sec. user=gd_barnes [2012-02-12 20:54:03] 937*2^1005481-1 is not prime. Res64: E11974E1F8EBC64E Time : 0.0 sec. user=mdettweiler [2012-02-12 20:55:31] 693*2^1005486-1 is not prime. Res64: 1B5D275056C4834F Time : 0.0 sec. user=mdettweiler [2012-02-12 20:55:32] 723*2^1005486-1 is not prime. Res64: 5017EE557F8D7895 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:03:11] 893*2^1005486-1 is not prime. Res64: 6653F2FC62872749 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:03:13] 963*2^1005486-1 is not prime. Res64: 3ED957168A5235C6 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:04:35] 609*2^1005487-1 is not prime. Res64: 0A86AB5B6A7DB0EA Time : 0.0 sec. user=mdettweiler [2012-02-12 21:04:37] 673*2^1005487-1 is not prime. Res64: 98407433AC719A48 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:04:55] 1001*2^1005486-1 is not prime. Res64: FC0648F74BC1C35A Time : 0.0 sec. user=mdettweiler [2012-02-12 21:04:55] 603*2^1005487-1 is not prime. Res64: 43F059F5AB305938 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:05:10] 805*2^1005483-1 is not prime. Res64: B5E3B7EC8CEC32CF Time : 0.0 sec. user=gd_barnes [2012-02-12 21:05:10] 853*2^1005483-1 is not prime. Res64: 8982CB13AB86E6D3 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:08:26] 749*2^1005484-1 is not prime. Res64: 0E2DA44DB9B0B93B Time : 0.0 sec. user=gd_barnes [2012-02-12 21:08:26] 819*2^1005484-1 is not prime. Res64: 85ED17BB5CE4BE9C Time : 0.0 sec. user=mdettweiler [2012-02-12 21:11:04] 805*2^1005487-1 is not prime. Res64: 66F71C4F099677DA Time : 0.0 sec. user=mdettweiler [2012-02-12 21:11:06] 871*2^1005487-1 is not prime. Res64: 539640F66C2AC9AB Time : 0.0 sec. user=mdettweiler [2012-02-12 21:18:33] 979*2^1005487-1 is not prime. Res64: D9A83EF740B63443 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:18:34] 755*2^1005488-1 is not prime. Res64: 92DA2E8E5EEE0AEF Time : 0.0 sec. user=mdettweiler [2012-02-12 21:19:50] 797*2^1005488-1 is not prime. Res64: 606CE4945A8D07AF Time : 0.0 sec. user=mdettweiler [2012-02-12 21:19:50] 869*2^1005488-1 is not prime. Res64: 74607E5C2140A5F8 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:21:45] 897*2^1005488-1 is not prime. Res64: 2A99C0DA5FC432A6 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:21:45] 899*2^1005488-1 is not prime. Res64: 37E7E8094225759F Time : 0.0 sec. user=gd_barnes [2012-02-12 21:22:17] 725*2^1005486-1 is not prime. Res64: 40C888E676D2F804 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:22:18] 765*2^1005486-1 is not prime. Res64: EB85B136D500EB48 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:24:50] 623*2^1005490-1 is not prime. Res64: A948DAF0FC61569E Time : 0.0 sec. user=mdettweiler [2012-02-12 21:24:50] 671*2^1005490-1 is not prime. Res64: DB5B40D0ABE10E03 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:32:10] 717*2^1005490-1 is not prime. Res64: 84C3A9F45A56F205 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:32:10] 741*2^1005490-1 is not prime. Res64: 19EB74EA554409B2 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:34:40] 729*2^1005487-1 is not prime. Res64: 90960F34FA82B0D0 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:34:40] 765*2^1005487-1 is not prime. Res64: 74B5312F13B4B7B7 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:35:25] 609*2^1005491-1 is not prime. Res64: DEA01D38561A2F5E Time : 0.0 sec. user=mdettweiler [2012-02-12 21:35:26] 621*2^1005491-1 is not prime. Res64: 91160F1284B8902C Time : 0.0 sec. user=mdettweiler [2012-02-12 21:36:38] 933*2^1005490-1 is not prime. Res64: 5360D7166D8C5210 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:36:38] 975*2^1005490-1 is not prime. Res64: A7A2459A71E12EDF Time : 0.0 sec. user=mdettweiler [2012-02-12 21:38:28] 705*2^1005491-1 is not prime. Res64: 54C58C9C79B87857 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:38:29] 781*2^1005491-1 is not prime. Res64: 0DB12F44D42F7579 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:39:18] 975*2^1005481-1 is not prime. Res64: 332F4F21C290EE54 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:39:18] 623*2^1005482-1 is not prime. Res64: 502F9CF59F736019 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:39:19] 619*2^1005483-1 is not prime. Res64: 4B5C0035C2A6BCA9 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:39:20] 741*2^1005483-1 is not prime. Res64: 95400622F736D08B Time : 0.0 sec. user=gd_barnes [2012-02-12 21:45:44] 669*2^1005489-1 is not prime. Res64: ED145F570D4EB2CB Time : 0.0 sec. user=gd_barnes [2012-02-12 21:45:44] 811*2^1005489-1 is not prime. Res64: 76D976742EAE31C7 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:45:47] 819*2^1005491-1 is not prime. Res64: 5C9EFBE4B9EA9FD4 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:45:48] 855*2^1005491-1 is not prime. Res64: 3941F223AFC40364 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:48:32] 829*2^1005489-1 is not prime. Res64: 929D843AC6055FC7 Time : 0.0 sec. user=gd_barnes [2012-02-12 21:48:32] 837*2^1005489-1 is not prime. Res64: 420A4B3D8A9D5FC4 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:49:03] 669*2^1005492-1 is not prime. Res64: 9EA2689666DCF673 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:49:04] 675*2^1005492-1 is not prime. Res64: F7884059F6AB0ED4 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:49:35] 857*2^1005484-1 is not prime. Res64: 76F6E6918AA532E6 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:50:19] 693*2^1005492-1 is not prime. Res64: 42479D4419D3EBFE Time : 0.0 sec. user=mdettweiler [2012-02-12 21:50:20] 723*2^1005492-1 is not prime. Res64: CD5B22036B114BAC Time : 0.0 sec. user=mdettweiler [2012-02-12 21:53:45] 825*2^1005492-1 is not prime. Res64: 494B242F6045EB1C Time : 0.0 sec. user=mdettweiler [2012-02-12 21:53:45] 873*2^1005492-1 is not prime. Res64: B9928DD85CF0C4FB Time : 0.0 sec. user=mdettweiler [2012-02-12 21:59:35] 731*2^1005494-1 is not prime. Res64: 1D32D8DD5AD257E2 Time : 0.0 sec. user=mdettweiler [2012-02-12 21:59:35] 743*2^1005494-1 is not prime. Res64: 13258F7DC191105E Time : 0.0 sec. user=mdettweiler [2012-02-12 22:00:28] 875*2^1005484-1 is not prime. Res64: 794009D78654F67A Time : 0.0 sec. user=gd_barnes [2012-02-12 22:02:32] 673*2^1005491-1 is not prime. Res64: FFA00E39937BDFCB Time : 0.0 sec. user=gd_barnes [2012-02-12 22:02:33] 703*2^1005491-1 is not prime. Res64: CC9594611FE973A9 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:04:18] 625*2^1005495-1 is not prime. Res64: 41B06CA75552C9F5 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:04:19] 709*2^1005495-1 is not prime. Res64: 150FE6562F66EC13 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:06:06] 875*2^1005494-1 is not prime. Res64: 4B7BFF32EBECBA8B Time : 0.0 sec. user=mdettweiler [2012-02-12 22:06:08] 915*2^1005494-1 is not prime. Res64: FA09898EA1D562AD Time : 0.0 sec. user=mdettweiler [2012-02-12 22:07:35] 723*2^1005495-1 is not prime. Res64: DEB61E83408C37EB Time : 0.0 sec. user=mdettweiler [2012-02-12 22:07:36] 819*2^1005495-1 is not prime. Res64: AF94BA1F0A702AB1 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:13:18] 615*2^1005496-1 is not prime. Res64: 22F0ADE78203F8F1 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:13:19] 653*2^1005496-1 is not prime. Res64: D581C4D90923BB48 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:17:54] 669*2^1005497-1 is not prime. Res64: 3F73342D9E531AC6 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:17:54] 699*2^1005497-1 is not prime. Res64: 6D6A29BC440ED800 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:19:41] 829*2^1005497-1 is not prime. Res64: E75421F9CCBD5859 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:19:41] 837*2^1005497-1 is not prime. Res64: 67C804EDB5F17203 Time : 0.0 sec. user=gd_barnes [2012-02-12 22:22:42] 859*2^1005491-1 is not prime. Res64: 485A4749FA7883E3 Time : 0.0 sec. user=gd_barnes [2012-02-12 22:22:42] 885*2^1005491-1 is not prime. Res64: E8C725F721920B99 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:24:20] 867*2^1005498-1 is not prime. Res64: 813897BCE5402884 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:24:21] 881*2^1005498-1 is not prime. Res64: CDAEAB8E520D81B0 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:26:52] 663*2^1005499-1 is not prime. Res64: BF651C6BC798B6F7 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:26:53] 859*2^1005499-1 is not prime. Res64: 297A253631ADECF9 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:31:25] 603*2^1005500-1 is not prime. Res64: C796DDDACB9C0F68 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:31:26] 629*2^1005500-1 is not prime. Res64: D10CEA1F0C50C825 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:34:50] 647*2^1005500-1 is not prime. Res64: B1A3F0C968B78D58 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:34:50] 893*2^1005500-1 is not prime. Res64: 4E4BA7D17434CB8A Time : 0.0 sec. user=gd_barnes [2012-02-12 22:36:19] 825*2^1005494-1 is not prime. Res64: F12889C0770F8129 Time : 0.0 sec. user=gd_barnes [2012-02-12 22:36:19] 873*2^1005494-1 is not prime. Res64: EC89855A49768EBE Time : 0.0 sec. user=mdettweiler [2012-02-12 22:37:50] 661*2^1005501-1 is not prime. Res64: 01B5E84599E8B114 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:37:51] 691*2^1005501-1 is not prime. Res64: 13C78CAF4F260599 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:40:24] 817*2^1005501-1 is not prime. Res64: 040D3BEDD94B8871 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:40:25] 849*2^1005501-1 is not prime. Res64: 903293B37F3570D3 Time : 0.0 sec. user=gd_barnes [2012-02-12 22:41:05] 945*2^1005493-1 is not prime. Res64: 3862430AB4DE18F6 Time : 0.0 sec. user=gd_barnes [2012-02-12 22:41:06] 979*2^1005493-1 is not prime. Res64: 6EA1C7AD8E03FF0D Time : 0.0 sec. user=mdettweiler [2012-02-12 22:48:06] 895*2^1005501-1 is not prime. Res64: 051A4DDA1E2F38A2 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:48:07] 991*2^1005501-1 is not prime. Res64: FD3E5053E2C5D38D Time : 0.0 sec. user=mdettweiler [2012-02-12 22:48:21] 653*2^1005502-1 is not prime. Res64: 74D1588428B61642 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:48:21] 813*2^1005502-1 is not prime. Res64: 3B28DD586FDBA6DC Time : 0.0 sec. user=gd_barnes [2012-02-12 22:50:16] 825*2^1005496-1 is not prime. Res64: FDF17AC8E4F6939E Time : 0.0 sec. user=gd_barnes [2012-02-12 22:50:16] 875*2^1005496-1 is not prime. Res64: C3DBFFA23062C901 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:51:20] 603*2^1005503-1 is not prime. Res64: 96E5B0FD7A39ED84 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:51:21] 621*2^1005503-1 is not prime. Res64: D1951726165ED219 Time : 0.0 sec. user=mdettweiler [2012-02-12 22:53:56] 679*2^1005503-1 is not prime. Res64: AA08186821AAE55C Time : 0.0 sec. user=mdettweiler [2012-02-12 22:53:57] 705*2^1005503-1 is not prime. Res64: 12B37F1A0A9208B3 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:01:37] 859*2^1005503-1 is not prime. Res64: E56CA9385D3D6CF4 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:03:27] 737*2^1005504-1 is not prime. Res64: FDAD493B656EEED7 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:03:28] 927*2^1005504-1 is not prime. Res64: 61416D2AAB0A787F Time : 0.0 sec. user=mdettweiler [2012-02-12 23:04:51] 771*2^1005505-1 is not prime. Res64: CE18C29E9DD28308 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:04:52] 819*2^1005505-1 is not prime. Res64: 7682E3E58AA2651B Time : 0.0 sec. user=mdettweiler [2012-02-12 23:09:02] 847*2^1005505-1 is not prime. Res64: D3612E7B1156F389 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:09:04] 885*2^1005505-1 is not prime. Res64: F17E55F6C2548BB8 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:18:14] 927*2^1005500-1 is not prime. Res64: 7C0659EAA5E30226 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:18:15] 999*2^1005500-1 is not prime. Res64: 6D641D2291BB9B22 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:20:02] 999*2^1005505-1 is not prime. Res64: E4052909327F88AB Time : 0.0 sec. user=mdettweiler [2012-02-12 23:20:03] 627*2^1005506-1 is not prime. Res64: B0548284B64CE41B Time : 0.0 sec. user=mdettweiler [2012-02-12 23:20:18] 937*2^1005505-1 is not prime. Res64: 8898224DCD9A5452 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:20:19] 955*2^1005505-1 is not prime. Res64: 90CFB8A894BEFA40 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:20:54] 729*2^1005503-1 is not prime. Res64: 58AA5740AF2F1569 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:20:54] 783*2^1005503-1 is not prime. Res64: A0BFF954B73F62F8 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:22:40] 675*2^1005506-1 is not prime. Res64: 40B4C2DD422BEE4B Time : 0.0 sec. user=mdettweiler [2012-02-12 23:22:40] 833*2^1005506-1 is not prime. Res64: 7667227A1D2CE8B9 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:30:00] 723*2^1005504-1 is not prime. Res64: B927C584E6024217 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:30:17] 687*2^1005505-1 is not prime. Res64: F8FDD913E05E3D76 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:30:17] 727*2^1005505-1 is not prime. Res64: 2CBE6455364EB570 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:31:26] 863*2^1005502-1 is not prime. Res64: A9DE3C8BDE4C8F71 Time : 0.0 sec. user=gd_barnes [2012-02-12 23:31:26] 911*2^1005502-1 is not prime. Res64: D408075D3F0FEB8A Time : 0.0 sec. user=mdettweiler [2012-02-12 23:35:11] 711*2^1005507-1 is not prime. Res64: 2BACD9EE81C5ADE7 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:35:12] 871*2^1005507-1 is not prime. Res64: 6C34A206E092E350 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:36:15] 743*2^1005508-1 is not prime. Res64: B6ADF311D0F14C0E Time : 0.0 sec. user=mdettweiler [2012-02-12 23:36:16] 749*2^1005508-1 is not prime. Res64: 9F4F5A955B70E3CE Time : 0.0 sec. user=mdettweiler [2012-02-12 23:37:03] 909*2^1005507-1 is not prime. Res64: 9991F142EBB1CD66 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:37:04] 913*2^1005507-1 is not prime. Res64: D2E83D3D61186A38 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:43:41] 773*2^1005508-1 is not prime. Res64: F409FF58ED05D6DA Time : 0.0 sec. user=mdettweiler [2012-02-12 23:43:41] 803*2^1005508-1 is not prime. Res64: E0AA6E59EE352573 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:48:53] 775*2^1005509-1 is not prime. Res64: 8F4998033899E1C8 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:48:54] 811*2^1005509-1 is not prime. Res64: 720D7EB326ACD4A9 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:49:58] 611*2^1005510-1 is not prime. Res64: C7BD734AFF7E1964 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:49:59] 647*2^1005510-1 is not prime. Res64: 880E740008E30E34 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:50:47] 777*2^1005510-1 is not prime. Res64: C00C6E9A5DABC43E Time : 0.0 sec. user=mdettweiler [2012-02-12 23:50:48] 845*2^1005510-1 is not prime. Res64: 2EDAA8B456466A9D Time : 0.0 sec. user=mdettweiler [2012-02-12 23:59:00] 851*2^1005510-1 is not prime. Res64: 22443F0BA61500C8 Time : 0.0 sec. user=mdettweiler [2012-02-12 23:59:00] 951*2^1005510-1 is not prime. Res64: 8DF8994947840B88 Time : 0.0 sec.