user=mdettweiler [2013-06-22 00:07:57] 885*2^1247142-1 is not prime. Res64: 2EA1289C21E2A95D Time : 0.0 sec. user=vaughan [2013-06-22 00:08:58] 625*2^1247143-1 is not prime. Res64: B526C71E97C14B56 Time : 0.0 sec. user=mdettweiler [2013-06-22 00:10:02] 673*2^1247143-1 is not prime. Res64: C473E02261B8D78C Time : 0.0 sec. user=mdettweiler [2013-06-22 00:47:21] 741*2^1247143-1 is not prime. Res64: 235D253F5755BB74 Time : 0.0 sec. user=mdettweiler [2013-06-22 00:53:48] 805*2^1247143-1 is not prime. Res64: 38759CFCFB49C266 Time : 0.0 sec. user=mdettweiler [2013-06-22 01:17:45] 819*2^1247143-1 is not prime. Res64: 8CE723CCF0325DB9 Time : 0.0 sec. user=vaughan [2013-06-22 01:25:34] 861*2^1247143-1 is not prime. Res64: 841E62A59FBC7994 Time : 0.0 sec. user=mdettweiler [2013-06-22 01:44:28] 939*2^1247143-1 is not prime. Res64: 995C046F8A2A81F3 Time : 0.0 sec. user=mdettweiler [2013-06-22 01:44:28] 689*2^1247144-1 is not prime. Res64: D2FC050E6BDDCE0D Time : 0.0 sec. user=mdettweiler [2013-06-22 02:02:30] 785*2^1247144-1 is not prime. Res64: 8FEFEE4C08DA1145 Time : 0.0 sec. user=mdettweiler [2013-06-22 02:02:31] 869*2^1247144-1 is not prime. Res64: DA069563AC02C9BE Time : 0.0 sec. user=mdettweiler [2013-06-22 02:02:56] 893*2^1247144-1 is not prime. Res64: 64818E34950E2473 Time : 0.0 sec. user=mdettweiler [2013-06-22 02:20:53] 699*2^1247145-1 is not prime. Res64: 696F69E83334F21C Time : 0.0 sec. user=mdettweiler [2013-06-22 02:28:44] 657*2^1247145-1 is not prime. Res64: 8925E2622C0CECE4 Time : 0.0 sec. user=mdettweiler [2013-06-22 02:45:26] 777*2^1247145-1 is not prime. Res64: D05BCBDC01D79B74 Time : 0.0 sec. user=mdettweiler [2013-06-22 02:47:38] 955*2^1247145-1 is not prime. Res64: BF1D5DC549CE5AA0 Time : 0.0 sec. user=vaughan [2013-06-22 02:49:05] 975*2^1247145-1 is not prime. Res64: B79239D64436749D Time : 0.0 sec. user=mdettweiler [2013-06-22 03:03:37] 701*2^1247146-1 is not prime. Res64: 81DA5728681EF391 Time : 0.0 sec. user=mdettweiler [2013-06-22 03:03:38] 843*2^1247146-1 is not prime. Res64: 159240BB89D013C8 Time : 0.0 sec. user=mdettweiler [2013-06-22 03:21:41] 933*2^1247146-1 is not prime. Res64: 483C0C0BBC90C057 Time : 0.0 sec. user=mdettweiler [2013-06-22 03:24:34] 969*2^1247145-1 is not prime. Res64: 1DF6CA286A15D0B1 Time : 0.0 sec. user=vaughan [2013-06-22 03:27:30] 857*2^1247146-1 is not prime. Res64: 1AFC41AD73D2519C Time : 0.0 sec. user=mdettweiler [2013-06-22 03:42:43] 615*2^1247147-1 is not prime. Res64: 31D5971DAC8EC6BE Time : 0.0 sec. user=mdettweiler [2013-06-22 04:00:31] 947*2^1247146-1 is not prime. Res64: 92725B7433E23505 Time : 0.0 sec. user=mdettweiler [2013-06-22 04:02:28] 655*2^1247147-1 is not prime. Res64: D1F67E4EB95185B9 Time : 0.0 sec. user=vaughan [2013-06-22 04:05:45] 685*2^1247147-1 is not prime. Res64: BA9F8AC460BE4F39 Time : 0.0 sec. user=mdettweiler [2013-06-22 04:19:25] 841*2^1247147-1 is not prime. Res64: D9AE0C48461B5FD0 Time : 0.0 sec. user=mdettweiler [2013-06-22 04:19:25] 993*2^1247147-1 is not prime. Res64: 59FC69907D4B197E Time : 0.0 sec. user=mdettweiler [2013-06-22 04:37:28] 737*2^1247148-1 is not prime. Res64: F8BB1FD7C3C97879 Time : 0.0 sec. user=mdettweiler [2013-06-22 04:41:39] 803*2^1247148-1 is not prime. Res64: 924D1FADD768C526 Time : 0.0 sec. user=mdettweiler [2013-06-22 05:05:00] 795*2^1247148-1 is not prime. Res64: 249FEFFFD10474FB Time : 0.0 sec. user=mdettweiler [2013-06-22 05:09:23] 843*2^1247148-1 is not prime. Res64: D6D213F2575F2B2B Time : 0.0 sec. user=mdettweiler [2013-06-22 05:22:59] 877*2^1247149-1 is not prime. Res64: A2F9D168EDBB5C12 Time : 0.0 sec. user=vaughan [2013-06-22 05:27:27] 945*2^1247148-1 is not prime. Res64: 69125A5CAA4E353A Time : 0.0 sec. user=mdettweiler [2013-06-22 05:27:28] 945*2^1247149-1 is not prime. Res64: 637318D4F73408FF Time : 0.0 sec. user=mdettweiler [2013-06-22 05:27:28] 645*2^1247150-1 is not prime. Res64: 537E072EA3E29994 Time : 0.0 sec. user=mdettweiler [2013-06-22 05:45:15] 663*2^1247150-1 is not prime. Res64: 980C3AB3634B6421 Time : 0.0 sec. user=mdettweiler [2013-06-22 05:45:16] 857*2^1247150-1 is not prime. Res64: 31CFA99B203F2C6B Time : 0.0 sec. user=mdettweiler [2013-06-22 05:56:43] 897*2^1247149-1 is not prime. Res64: DDFDF47B8F9DAE03 Time : 0.0 sec. user=mdettweiler [2013-06-22 06:26:51] 693*2^1247151-1 is not prime. Res64: C779E1A3D876CE67 Time : 0.0 sec. user=mdettweiler [2013-06-22 06:26:51] 891*2^1247151-1 is not prime. Res64: 94B215B3FD50B79F Time : 0.0 sec. user=mdettweiler [2013-06-22 06:39:08] 915*2^1247150-1 is not prime. Res64: 9BE457064809A0E4 Time : 0.0 sec. user=mdettweiler [2013-06-22 06:45:29] 999*2^1247151-1 is not prime. Res64: DA617EBC1F3D332B Time : 0.0 sec. user=mdettweiler [2013-06-22 06:45:29] 605*2^1247152-1 is not prime. Res64: C6A38AC0C495D05E Time : 0.0 sec. user=vaughan [2013-06-22 06:50:04] 1001*2^1247150-1 is not prime. Res64: 17E5D8E7909CE131 Time : 0.0 sec. user=mdettweiler [2013-06-22 07:03:24] 657*2^1247152-1 is not prime. Res64: 14DCBC6B0D1ACDC5 Time : 0.0 sec. user=mdettweiler [2013-06-22 07:03:26] 665*2^1247152-1 is not prime. Res64: 7B29E339E87B2C9C Time : 0.0 sec. user=mdettweiler [2013-06-22 07:05:03] 965*2^1247150-1 is not prime. Res64: 0C83EE5BCB2309B5 Time : 0.0 sec. user=mdettweiler [2013-06-22 07:21:47] 699*2^1247152-1 is not prime. Res64: 329F69523FAE952D Time : 0.0 sec. user=mdettweiler [2013-06-22 07:50:19] 705*2^1247152-1 is not prime. Res64: 4591FA99C5270C06 Time : 0.0 sec. user=mdettweiler [2013-06-22 07:55:26] 903*2^1247152-1 is not prime. Res64: 68EFDF7CD947D197 Time : 0.0 sec. user=mdettweiler [2013-06-22 07:55:26] 917*2^1247152-1 is not prime. Res64: 7E793A4C3E960DEE Time : 0.0 sec. user=vaughan [2013-06-22 08:06:31] 843*2^1247152-1 is not prime. Res64: 417810B7AD786283 Time : 0.0 sec. user=mdettweiler [2013-06-22 08:14:09] 959*2^1247152-1 is not prime. Res64: E4C8E445E320AE4F Time : 0.0 sec. user=mdettweiler [2013-06-22 08:14:09] 965*2^1247152-1 is not prime. Res64: 474E755C5D67C3F4 Time : 0.0 sec. user=mdettweiler [2013-06-22 08:27:31] 615*2^1247153-1 is not prime. Res64: C7241AE53BD57A1F Time : 0.0 sec. user=mdettweiler [2013-06-22 08:33:03] 795*2^1247153-1 is not prime. Res64: 7720B36D05139E40 Time : 0.0 sec. user=mdettweiler [2013-06-22 08:48:38] 627*2^1247153-1 is not prime. Res64: 598C29B8C3DEC319 Time : 0.0 sec. user=mdettweiler [2013-06-22 09:12:12] 969*2^1247153-1 is not prime. Res64: 3C60F567088A943B Time : 0.0 sec. user=vaughan [2013-06-22 09:22:52] 611*2^1247154-1 is not prime. Res64: F9626806A3CDE1FB Time : 0.0 sec. user=mdettweiler [2013-06-22 09:25:37] 621*2^1247154-1 is not prime. Res64: 31974D89218FEF09 Time : 0.0 sec. user=mdettweiler [2013-06-22 09:30:09] 873*2^1247154-1 is not prime. Res64: 0F51BABA976F262E Time : 0.0 sec. user=mdettweiler [2013-06-22 09:30:09] 789*2^1247155-1 is not prime. Res64: EF60E66F6798A7F8 Time : 0.0 sec. user=mdettweiler [2013-06-22 09:48:16] 885*2^1247155-1 is not prime. Res64: CD3D1E51A37F19B0 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:00:32] 803*2^1247154-1 is not prime. Res64: 71B424DD7AB8A9D2 Time : 0.0 sec. user=vaughan [2013-06-22 10:00:57] 873*2^1247155-1 is not prime. Res64: 2AABE6BCEDE0C40F Time : 0.0 sec. user=mdettweiler [2013-06-22 10:19:13] 939*2^1247155-1 is not prime. Res64: 45798658213D7527 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:19:13] 961*2^1247155-1 is not prime. Res64: 7266946337332737 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:25:30] 909*2^1247155-1 is not prime. Res64: 8F49FBA39E9F30F7 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:37:19] 693*2^1247156-1 is not prime. Res64: 81D71AB3807D0626 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:37:19] 743*2^1247156-1 is not prime. Res64: 2E594B8DB997C8AE Time : 0.0 sec. user=vaughan [2013-06-22 10:39:01] 609*2^1247156-1 is not prime. Res64: 10DC8A1CC710B289 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:44:17] 899*2^1247156-1 is not prime. Res64: 6FB547858B95E4F6 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:44:17] 963*2^1247156-1 is not prime. Res64: EE60C395D8150932 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:55:12] 615*2^1247157-1 is not prime. Res64: 6FB051D9DC901BB4 Time : 0.0 sec. user=mdettweiler [2013-06-22 10:55:13] 649*2^1247157-1 is not prime. Res64: 985AC6E23C2F5452 Time : 0.0 sec. user=mdettweiler [2013-06-22 11:03:04] 901*2^1247157-1 is not prime. Res64: 353C243E2427CBF3 Time : 0.0 sec. user=mdettweiler [2013-06-22 11:03:06] 975*2^1247157-1 is not prime. Res64: B17A1BC4F66B74E6 Time : 0.0 sec. user=mdettweiler [2013-06-22 11:14:40] 979*2^1247157-1 is not prime. Res64: 501F796F2A7FD8AC Time : 0.0 sec. user=mdettweiler [2013-06-22 11:14:41] 997*2^1247157-1 is not prime. Res64: DBE1BA0B6CEC0A81 Time : 0.0 sec. user=vaughan [2013-06-22 11:17:33] 847*2^1247157-1 is not prime. Res64: 7613145A95C57B63 Time : 0.0 sec. user=mdettweiler [2013-06-22 11:21:32] 623*2^1247158-1 is not prime. Res64: EB2A88AB5A2A918A Time : 0.0 sec. user=mdettweiler [2013-06-22 11:32:32] 773*2^1247158-1 is not prime. Res64: 74ADAA072606FC83 Time : 0.0 sec. user=mdettweiler [2013-06-22 11:32:32] 945*2^1247158-1 is not prime. Res64: 5D10417510F01BCA Time : 0.0 sec. user=mdettweiler [2013-06-22 11:50:22] 661*2^1247159-1 is not prime. Res64: ADA2D8C4A28BCAB5 Time : 0.0 sec. user=mdettweiler [2013-06-22 11:50:22] 711*2^1247159-1 is not prime. Res64: 47B527BC1FB3B5EF Time : 0.0 sec. user=vaughan [2013-06-22 11:55:38] 621*2^1247159-1 is not prime. Res64: 3285428DC1803366 Time : 0.0 sec. user=mdettweiler [2013-06-22 12:03:51] 681*2^1247158-1 is not prime. Res64: 29DADE25CC09C996 Time : 0.0 sec. user=mdettweiler [2013-06-22 12:08:19] 735*2^1247159-1 is not prime. Res64: 94FC22146576814D Time : 0.0 sec. user=mdettweiler [2013-06-22 12:08:20] 861*2^1247159-1 is not prime. Res64: 1398E87B4D8EDA31 Time : 0.0 sec. user=mdettweiler [2013-06-22 12:26:59] 895*2^1247159-1 is not prime. Res64: 68B15BD8285CA98D Time : 0.0 sec. user=mdettweiler [2013-06-22 12:27:28] 973*2^1247159-1 is not prime. Res64: 3DE0F43D3D2F6873 Time : 0.0 sec. user=vaughan [2013-06-22 12:38:49] 889*2^1247159-1 is not prime. Res64: 47BB073DC7115E7C Time : 0.0 sec. user=mdettweiler [2013-06-22 12:54:23] 985*2^1247159-1 is not prime. Res64: 384A9D2277B1DA6D Time : 0.0 sec. user=mdettweiler [2013-06-22 12:54:25] 993*2^1247159-1 is not prime. Res64: A2FA42F832D98208 Time : 0.0 sec. user=mdettweiler [2013-06-22 13:12:57] 803*2^1247160-1 is not prime. Res64: 56E4664F87A0CAD6 Time : 0.0 sec. user=mdettweiler [2013-06-22 13:17:29] 875*2^1247160-1 is not prime. Res64: A7553EF29FD3BB9E Time : 0.0 sec. user=mdettweiler [2013-06-22 13:37:40] 819*2^1247160-1 is not prime. Res64: 5EF92B2B66E7D9C5 Time : 0.0 sec. user=mdettweiler [2013-06-22 13:44:41] 927*2^1247160-1 is not prime. Res64: D1CA6103CB64BEAB Time : 0.0 sec. user=mdettweiler [2013-06-22 13:55:29] 625*2^1247161-1 is not prime. Res64: A87ED9B939C5C329 Time : 0.0 sec. user=mdettweiler [2013-06-22 13:55:30] 775*2^1247161-1 is not prime. Res64: D1FF589E03070441 Time : 0.0 sec. user=vaughan [2013-06-22 14:00:42] 959*2^1247160-1 is not prime. Res64: D9C6984F6B3D4749 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:02:29] 801*2^1247161-1 is not prime. Res64: CAAF57102C5EE815 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:02:30] 931*2^1247161-1 is not prime. Res64: DAEE68F27C3E7970 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:14:07] 999*2^1247161-1 is not prime. Res64: 210F53C310AFB49C Time : 0.0 sec. user=mdettweiler [2013-06-22 14:14:07] 627*2^1247162-1 is not prime. Res64: 70F41350296AA915 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:21:00] 635*2^1247162-1 is not prime. Res64: 85FE5D443E92A4B5 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:32:24] 771*2^1247162-1 is not prime. Res64: 3F67D9CB7E6D7E80 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:32:24] 797*2^1247162-1 is not prime. Res64: D5890419A34CC80F Time : 0.0 sec. user=mdettweiler [2013-06-22 14:46:36] 767*2^1247162-1 is not prime. Res64: 540B90912340EA52 Time : 0.0 sec. user=mdettweiler [2013-06-22 14:51:19] 977*2^1247162-1 is not prime. Res64: 3A0FFE90E23932CF Time : 0.0 sec. user=mdettweiler [2013-06-22 14:51:19] 745*2^1247163-1 is not prime. Res64: 28CE7C53C7D2980F Time : 0.0 sec. user=mdettweiler [2013-06-22 15:09:19] 829*2^1247163-1 is not prime. Res64: B382C3EB16685212 Time : 0.0 sec. user=vaughan [2013-06-22 15:17:00] 805*2^1247163-1 is not prime. Res64: 6712F3D79BB73968 Time : 0.0 sec. user=mdettweiler [2013-06-22 15:27:47] 663*2^1247164-1 is not prime. Res64: D15C0B88F9624A29 Time : 0.0 sec. user=mdettweiler [2013-06-22 15:48:36] 919*2^1247163-1 is not prime. Res64: 50B46361D58FFB9F Time : 0.0 sec. user=vaughan [2013-06-22 15:55:35] 695*2^1247164-1 is not prime. Res64: 7B47B2C7539475A8 Time : 0.0 sec. user=mdettweiler [2013-06-22 15:59:03] 677*2^1247164-1 is not prime. Res64: 83D117FED77916C7 Time : 0.0 sec. user=mdettweiler [2013-06-22 16:06:27] 803*2^1247164-1 is not prime. Res64: 1588DCC6A043DF43 Time : 0.0 sec. user=mdettweiler [2013-06-22 16:06:57] 827*2^1247164-1 is not prime. Res64: BF2C0C86E0745BF3 Time : 0.0 sec. user=vaughan [2013-06-22 16:38:32] 887*2^1247164-1 is not prime. Res64: D79C5255E92F4FD6 Time : 0.0 sec. user=mdettweiler [2013-06-22 16:46:27] 905*2^1247164-1 is not prime. Res64: A109B3BCC994DA90 Time : 0.0 sec. user=mdettweiler [2013-06-22 16:46:27] 915*2^1247164-1 is not prime. Res64: D55368C1216CFD50 Time : 0.0 sec. user=mdettweiler [2013-06-22 16:57:49] 989*2^1247164-1 is not prime. Res64: F0E05DBF5B04370C Time : 0.0 sec. user=mdettweiler [2013-06-22 17:04:51] 759*2^1247165-1 is not prime. Res64: E8B6F0E9C3008E2B Time : 0.0 sec. user=mdettweiler [2013-06-22 17:16:36] 655*2^1247165-1 is not prime. Res64: 999854B17909AFA2 Time : 0.0 sec. user=vaughan [2013-06-22 17:21:49] 939*2^1247164-1 is not prime. Res64: 75876DFDB50C3B06 Time : 0.0 sec. user=mdettweiler [2013-06-22 17:32:20] 831*2^1247165-1 is not prime. Res64: 342B19E38B2D4121 Time : 0.0 sec. user=mdettweiler [2013-06-22 17:34:27] 861*2^1247165-1 is not prime. Res64: 966845FB59B244BA Time : 0.0 sec. user=mdettweiler [2013-06-22 17:34:27] 885*2^1247165-1 is not prime. Res64: 0551762054107E68 Time : 0.0 sec. user=mdettweiler [2013-06-22 17:50:18] 657*2^1247166-1 is not prime. Res64: 5E1DC3111BE77AED Time : 0.0 sec. user=mdettweiler [2013-06-22 17:50:18] 683*2^1247166-1 is not prime. Res64: AD6CF667DA82B8EC Time : 0.0 sec. user=mdettweiler [2013-06-22 17:52:26] 711*2^1247166-1 is not prime. Res64: 993EF4F1181D1B5F Time : 0.0 sec. user=mdettweiler [2013-06-22 18:08:33] 807*2^1247166-1 is not prime. Res64: 437288785BC9BD02 Time : 0.0 sec. user=mdettweiler [2013-06-22 18:15:24] 741*2^1247166-1 is not prime. Res64: 118317C70552A25D Time : 0.0 sec. user=mdettweiler [2013-06-22 18:34:45] 851*2^1247166-1 is not prime. Res64: F8E47D1DD34ED1C4 Time : 0.0 sec. user=vaughan [2013-06-22 18:43:16] 991*2^1247165-1 is not prime. Res64: CB4B414B2341C605 Time : 0.0 sec. user=mdettweiler [2013-06-22 19:11:25] 921*2^1247166-1 is not prime. Res64: 2D0AEC5DB4B406C5 Time : 0.0 sec. user=vaughan [2013-06-22 19:26:37] 917*2^1247166-1 is not prime. Res64: CC0EF07ABC2191D1 Time : 0.0 sec. user=mdettweiler [2013-06-22 19:32:46] 645*2^1247167-1 is not prime. Res64: 850CE16F069BC56F Time : 0.0 sec. user=mdettweiler [2013-06-22 19:32:46] 651*2^1247167-1 is not prime. Res64: AAF5BA32CCAED203 Time : 0.0 sec. user=mdettweiler [2013-06-22 19:42:41] 945*2^1247166-1 is not prime. Res64: 3E297878679B6A88 Time : 0.0 sec. user=mdettweiler [2013-06-22 19:50:42] 919*2^1247167-1 is not prime. Res64: CAF06C092023DD2B Time : 0.0 sec. user=mdettweiler [2013-06-22 19:50:43] 659*2^1247168-1 is not prime. Res64: DB8F164DD51D7821 Time : 0.0 sec. user=mdettweiler [2013-06-22 20:00:42] 725*2^1247168-1 is not prime. Res64: D6BC45741D31C44A Time : 0.0 sec. user=mdettweiler [2013-06-22 20:00:43] 819*2^1247168-1 is not prime. Res64: 96AE55BF0164453E Time : 0.0 sec. user=vaughan [2013-06-22 20:04:41] 693*2^1247167-1 is not prime. Res64: 79306648D63F96EF Time : 0.0 sec. user=mdettweiler [2013-06-22 20:09:10] 825*2^1247168-1 is not prime. Res64: E3D6E8F436643FDF Time : 0.0 sec. user=mdettweiler [2013-06-22 20:09:11] 843*2^1247168-1 is not prime. Res64: FD36C346C8ECD6A8 Time : 0.0 sec. user=mdettweiler [2013-06-22 20:19:01] 855*2^1247168-1 is not prime. Res64: 83D8B055CA3625A2 Time : 0.0 sec. user=mdettweiler [2013-06-22 20:19:01] 959*2^1247168-1 is not prime. Res64: 8BAE9C590C3DAFB2 Time : 0.0 sec. user=mdettweiler [2013-06-22 20:27:28] 609*2^1247169-1 is not prime. Res64: B7097356AD7CA997 Time : 0.0 sec. user=mdettweiler [2013-06-22 20:27:28] 625*2^1247169-1 is not prime. Res64: 86FD513E70BA9A7F Time : 0.0 sec. user=mdettweiler [2013-06-22 20:36:56] 747*2^1247169-1 is not prime. Res64: F38EBD27B1B6C67A Time : 0.0 sec. user=mdettweiler [2013-06-22 20:36:56] 889*2^1247169-1 is not prime. Res64: 1AD4782588D5AC23 Time : 0.0 sec. user=mdettweiler [2013-06-22 20:46:28] 975*2^1247169-1 is not prime. Res64: 6DFCFB1E44680AFE Time : 0.0 sec. user=vaughan [2013-06-22 20:47:52] 963*2^1247168-1 is not prime. Res64: 9EA40DD6082C6DDB Time : 0.0 sec. user=mdettweiler [2013-06-22 20:55:08] 923*2^1247170-1 is not prime. Res64: 014FC16F1274794B Time : 0.0 sec. user=mdettweiler [2013-06-22 21:10:30] 675*2^1247170-1 is not prime. Res64: 9DD3E61F66BF11A5 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:28:02] 621*2^1247171-1 is not prime. Res64: CFBE88F8FBEEEA97 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:28:03] 643*2^1247171-1 is not prime. Res64: 6EEB20BE7161BD88 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:34:09] 933*2^1247170-1 is not prime. Res64: E74232A67A911EE3 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:45:51] 703*2^1247171-1 is not prime. Res64: 8C8C371E7D77DD34 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:45:51] 733*2^1247171-1 is not prime. Res64: 9CD1ABB211B96225 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:51:59] 813*2^1247171-1 is not prime. Res64: 77DB02A478A19860 Time : 0.0 sec. user=mdettweiler [2013-06-22 21:51:59] 855*2^1247171-1 is not prime. Res64: CADC0E8360CD0E2C Time : 0.0 sec. user=mdettweiler [2013-06-22 22:03:55] 895*2^1247171-1 is not prime. Res64: 6801F4541713775F Time : 0.0 sec. user=mdettweiler [2013-06-22 22:03:57] 901*2^1247171-1 is not prime. Res64: B6B8B0AE803F2F44 Time : 0.0 sec. user=vaughan [2013-06-22 22:04:41] 669*2^1247171-1 is not prime. Res64: 965FBC83BC0191D7 Time : 0.0 sec. user=mdettweiler [2013-06-22 22:09:48] 635*2^1247172-1 is not prime. Res64: D2D17CEFCCC8743B Time : 0.0 sec. user=mdettweiler [2013-06-22 22:22:12] 765*2^1247172-1 is not prime. Res64: AFA1A3DD15D4AE4D Time : 0.0 sec. user=mdettweiler [2013-06-22 22:44:57] 669*2^1247172-1 is not prime. Res64: 1BF3D354DC76B56B Time : 0.0 sec. user=mdettweiler [2013-06-22 22:47:12] 779*2^1247172-1 is not prime. Res64: F50E6489C5417AEC Time : 0.0 sec. user=mdettweiler [2013-06-22 23:02:27] 867*2^1247172-1 is not prime. Res64: 3F6AB71FC43BBCEF Time : 0.0 sec. user=mdettweiler [2013-06-22 23:02:28] 903*2^1247172-1 is not prime. Res64: AC70E977CC2A80FE Time : 0.0 sec. user=mdettweiler [2013-06-22 23:04:39] 909*2^1247172-1 is not prime. Res64: 774A4793B66C2AF2 Time : 0.0 sec. user=mdettweiler [2013-06-22 23:04:40] 933*2^1247172-1 is not prime. Res64: B5AA2F1219195710 Time : 0.0 sec. user=mdettweiler [2013-06-22 23:20:32] 609*2^1247173-1 is not prime. Res64: AC78E620F814BC2F Time : 0.0 sec. user=vaughan [2013-06-22 23:21:15] 819*2^1247172-1 is not prime. Res64: 86B4A71E2A5796CE Time : 0.0 sec. user=mdettweiler [2013-06-22 23:22:40] 741*2^1247173-1 is not prime. Res64: 500641193E5E9E8A Time : 0.0 sec. user=mdettweiler [2013-06-22 23:57:43] 727*2^1247173-1 is not prime. Res64: 8C79456D6C4C7734 Time : 0.0 sec. user=vaughan [2013-06-22 23:59:47] 835*2^1247173-1 is not prime. Res64: DC0F8209DAF92AB4 Time : 0.0 sec.