user=vaughan [2012-10-03 00:04:05] 915*2^1229940-1 is not prime. Res64: 7F27BB7C7F5BA34E Time : 0.0 sec. user=odicin [2012-10-03 00:10:04] 871*2^1229945-1 is not prime. Res64: 5D39D4D64FC37F63 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:12:32] 669*2^1229945-1 is not prime. Res64: 7E9D2305663E1428 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:12:33] 861*2^1229945-1 is not prime. Res64: A12B53600D78EE26 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:21:34] 925*2^1229945-1 is not prime. Res64: 7EF6159799268A18 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:21:35] 937*2^1229945-1 is not prime. Res64: A3AF40E65E7DD78C Time : 0.0 sec. user=odicin [2012-10-03 00:22:22] 873*2^1229946-1 is not prime. Res64: 4462BF6D6BC475F1 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:33:11] 933*2^1229946-1 is not prime. Res64: 560D861760FE6C28 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:33:12] 945*2^1229946-1 is not prime. Res64: F0D4D0930924DC31 Time : 0.0 sec. user=odicin [2012-10-03 00:34:39] 693*2^1229947-1 is not prime. Res64: 39E23B48C763087D Time : 0.0 sec. user=vaughan [2012-10-03 00:42:02] 671*2^1229946-1 is not prime. Res64: 0C5C29D38CF7B2E6 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:42:14] 601*2^1229947-1 is not prime. Res64: ED9166A26F8584C4 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:42:14] 645*2^1229947-1 is not prime. Res64: 8B94A4CC6E6612BA Time : 0.0 sec. user=odicin [2012-10-03 00:46:51] 961*2^1229947-1 is not prime. Res64: 20C3DAF27003EE5B Time : 0.0 sec. user=mdettweiler [2012-10-03 00:53:48] 819*2^1229947-1 is not prime. Res64: B60F5A1C2ED2EB64 Time : 0.0 sec. user=mdettweiler [2012-10-03 00:53:49] 885*2^1229947-1 is not prime. Res64: 3EF829EECD9648DF Time : 0.0 sec. user=odicin [2012-10-03 00:59:06] 755*2^1229948-1 is not prime. Res64: F0FD19CEEF6A3477 Time : 0.0 sec. user=mdettweiler [2012-10-03 01:02:51] 629*2^1229948-1 is not prime. Res64: 98269C0CD58DBEC4 Time : 0.0 sec. user=mdettweiler [2012-10-03 01:02:53] 735*2^1229948-1 is not prime. Res64: 37853D3525A3515D Time : 0.0 sec. user=odicin [2012-10-03 01:11:24] 845*2^1229948-1 is not prime. Res64: E8A78C6D97601A4D Time : 0.0 sec. user=mdettweiler [2012-10-03 01:14:47] 759*2^1229948-1 is not prime. Res64: 9B8D189B69DD0CF0 Time : 0.0 sec. user=mdettweiler [2012-10-03 01:14:48] 825*2^1229948-1 is not prime. Res64: 1AFEA8088E35F7B2 Time : 0.0 sec. user=odicin [2012-10-03 01:23:44] 993*2^1229948-1 is not prime. Res64: 6E80BA337E15078F Time : 0.0 sec. user=mdettweiler [2012-10-03 01:23:53] 899*2^1229948-1 is not prime. Res64: 22C8D248BF9F188F Time : 0.0 sec. user=mdettweiler [2012-10-03 01:23:54] 959*2^1229948-1 is not prime. Res64: 4E10D200487CF681 Time : 0.0 sec. user=mdettweiler [2012-10-03 01:35:32] 995*2^1229948-1 is not prime. Res64: 80ABF2FEB39FF502 Time : 0.0 sec. user=mdettweiler [2012-10-03 01:35:33] 831*2^1229949-1 is not prime. Res64: FBC5BBA178ED9620 Time : 0.0 sec. user=odicin [2012-10-03 01:36:02] 861*2^1229949-1 is not prime. Res64: 0626D7B903957AD9 Time : 0.0 sec. user=mdettweiler [2012-10-03 01:44:29] 927*2^1229949-1 is not prime. Res64: 36670B365CC2774F Time : 0.0 sec. user=mdettweiler [2012-10-03 01:44:30] 991*2^1229949-1 is not prime. Res64: FB3CDF146113301F Time : 0.0 sec. user=odicin [2012-10-03 01:48:18] 741*2^1229950-1 is not prime. Res64: 5F7E60BCAF14CEE3 Time : 0.0 sec. user=vaughan [2012-10-03 01:53:57] 623*2^1229948-1 is not prime. Res64: 41177B091260DF4E Time : 0.0 sec. user=mdettweiler [2012-10-03 01:56:08] 671*2^1229950-1 is not prime. Res64: 463316EEA8E8658A Time : 0.0 sec. user=mdettweiler [2012-10-03 01:56:09] 713*2^1229950-1 is not prime. Res64: 78BD50B9EEC5A36D Time : 0.0 sec. user=odicin [2012-10-03 02:00:33] 601*2^1229951-1 is not prime. Res64: 3C993BB03F51701C Time : 0.0 sec. user=mdettweiler [2012-10-03 02:05:04] 885*2^1229950-1 is not prime. Res64: 81E2740795245D3F Time : 0.0 sec. user=mdettweiler [2012-10-03 02:05:06] 911*2^1229950-1 is not prime. Res64: 01848352841EA149 Time : 0.0 sec. user=odicin [2012-10-03 02:12:55] 825*2^1229951-1 is not prime. Res64: AB90931B39E76B99 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:16:46] 759*2^1229951-1 is not prime. Res64: EE8891B733C7B6BC Time : 0.0 sec. user=mdettweiler [2012-10-03 02:16:47] 819*2^1229951-1 is not prime. Res64: 5F14E7FD98557F53 Time : 0.0 sec. user=odicin [2012-10-03 02:25:11] 979*2^1229951-1 is not prime. Res64: 5A266B92545F5DE4 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:25:43] 865*2^1229951-1 is not prime. Res64: F6E1885454F52348 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:25:44] 885*2^1229951-1 is not prime. Res64: 2EF2ECC927FF4E1D Time : 0.0 sec. user=vaughan [2012-10-03 02:32:02] 673*2^1229951-1 is not prime. Res64: E780EA2A4D600734 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:37:23] 765*2^1229952-1 is not prime. Res64: 2F541A765AA8FA71 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:37:24] 825*2^1229952-1 is not prime. Res64: A74A69D926DA52FC Time : 0.0 sec. user=odicin [2012-10-03 02:37:37] 899*2^1229952-1 is not prime. Res64: BA8457E176598C98 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:46:20] 923*2^1229952-1 is not prime. Res64: 387188279D0E5009 Time : 0.0 sec. user=mdettweiler [2012-10-03 02:46:22] 705*2^1229953-1 is not prime. Res64: AD20B756F99364C4 Time : 0.0 sec. user=odicin [2012-10-03 02:49:53] 979*2^1229953-1 is not prime. Res64: 3BFFC569EDA7D75F Time : 0.0 sec. user=mdettweiler [2012-10-03 02:58:09] 771*2^1229953-1 is not prime. Res64: 6EA6431DEE3C154D Time : 0.0 sec. user=mdettweiler [2012-10-03 02:58:10] 805*2^1229953-1 is not prime. Res64: 0D5D005C61D7E17A Time : 0.0 sec. user=odicin [2012-10-03 03:02:19] 675*2^1229954-1 is not prime. Res64: CA5A341B214237E3 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:07:27] 641*2^1229954-1 is not prime. Res64: 8CD392D09DF4CD23 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:07:28] 657*2^1229954-1 is not prime. Res64: 1956F6C35867C7C4 Time : 0.0 sec. user=vaughan [2012-10-03 03:10:01] 729*2^1229953-1 is not prime. Res64: 575C400C888B23F9 Time : 0.0 sec. user=odicin [2012-10-03 03:14:48] 705*2^1229954-1 is not prime. Res64: 9BBEEEBBD5041215 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:18:51] 677*2^1229954-1 is not prime. Res64: DD608763985049C3 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:18:52] 701*2^1229954-1 is not prime. Res64: 52158460761FF99F Time : 0.0 sec. user=odicin [2012-10-03 03:27:08] 755*2^1229954-1 is not prime. Res64: 6B383F64A02A264D Time : 0.0 sec. user=mdettweiler [2012-10-03 03:28:08] 731*2^1229954-1 is not prime. Res64: 79DEFDD1E2416C8C Time : 0.0 sec. user=mdettweiler [2012-10-03 03:28:09] 743*2^1229954-1 is not prime. Res64: 33A73BEFF1052991 Time : 0.0 sec. user=odicin [2012-10-03 03:39:28] 601*2^1229955-1 is not prime. Res64: D7039E27DAE599C7 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:39:30] 825*2^1229954-1 is not prime. Res64: 0D10648AFEC23079 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:39:31] 953*2^1229954-1 is not prime. Res64: 1CCDF773AE490BDD Time : 0.0 sec. user=vaughan [2012-10-03 03:48:02] 753*2^1229954-1 is not prime. Res64: 8C1E52D85711D08B Time : 0.0 sec. user=mdettweiler [2012-10-03 03:48:44] 639*2^1229955-1 is not prime. Res64: FD9AC8C7222529B5 Time : 0.0 sec. user=mdettweiler [2012-10-03 03:48:44] 705*2^1229955-1 is not prime. Res64: 6A002E29D0276EBA Time : 0.0 sec. user=odicin [2012-10-03 03:52:05] 963*2^1229955-1 is not prime. Res64: 5DBD29A6FAE262A9 Time : 0.0 sec. user=mdettweiler [2012-10-03 04:00:22] 709*2^1229955-1 is not prime. Res64: 82B65FC3C66A4566 Time : 0.0 sec. user=mdettweiler [2012-10-03 04:00:24] 735*2^1229955-1 is not prime. Res64: B43899A386883B7C Time : 0.0 sec. user=odicin [2012-10-03 04:04:30] 983*2^1229956-1 is not prime. Res64: 33E015F1A2B8BF4F Time : 0.0 sec. user=mdettweiler [2012-10-03 04:09:19] 803*2^1229956-1 is not prime. Res64: 22408273DA089EAC Time : 0.0 sec. user=mdettweiler [2012-10-03 04:09:20] 887*2^1229956-1 is not prime. Res64: B84C9C99520DE8A0 Time : 0.0 sec. user=odicin [2012-10-03 04:16:52] 615*2^1229957-1 is not prime. Res64: EB7E6079E5966AD1 Time : 0.0 sec. user=mdettweiler [2012-10-03 04:21:01] 989*2^1229956-1 is not prime. Res64: 909943D7251740EC Time : 0.0 sec. user=mdettweiler [2012-10-03 04:21:02] 607*2^1229957-1 is not prime. Res64: 0F1806063F4B4930 Time : 0.0 sec. user=vaughan [2012-10-03 04:26:18] 609*2^1229956-1 is not prime. Res64: D11DB331A78EFAEE Time : 0.0 sec. user=odicin [2012-10-03 04:29:22] 799*2^1229957-1 is not prime. Res64: E66F2D11A123FECF Time : 0.0 sec. user=mdettweiler [2012-10-03 04:30:14] 619*2^1229957-1 is not prime. Res64: 40B749B8E3623EC8 Time : 0.0 sec. user=mdettweiler [2012-10-03 04:30:16] 729*2^1229957-1 is not prime. Res64: CEF802F61451F323 Time : 0.0 sec. user=mdettweiler [2012-10-03 04:41:37] 937*2^1229957-1 is not prime. Res64: 3781E98A1A7C4FC6 Time : 0.0 sec. user=mdettweiler [2012-10-03 04:41:38] 991*2^1229957-1 is not prime. Res64: A6AA5145586DDF20 Time : 0.0 sec. user=odicin [2012-10-03 04:41:49] 605*2^1229958-1 is not prime. Res64: 3531F9573199880B Time : 0.0 sec. user=mdettweiler [2012-10-03 04:50:59] 627*2^1229958-1 is not prime. Res64: F702F1A1671DE71C Time : 0.0 sec. user=mdettweiler [2012-10-03 04:50:59] 881*2^1229958-1 is not prime. Res64: E065A9C7A24186F4 Time : 0.0 sec. user=odicin [2012-10-03 04:54:21] 633*2^1229959-1 is not prime. Res64: 40AE8240BA3F997E Time : 0.0 sec. user=mdettweiler [2012-10-03 05:02:17] 891*2^1229958-1 is not prime. Res64: 5166FE7F3E4291D8 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:02:18] 609*2^1229959-1 is not prime. Res64: 6550BB04079B7846 Time : 0.0 sec. user=odicin [2012-10-03 05:06:44] 813*2^1229959-1 is not prime. Res64: C57E96653C3375F0 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:11:35] 661*2^1229959-1 is not prime. Res64: F3ADC147602161DE Time : 0.0 sec. user=mdettweiler [2012-10-03 05:11:37] 693*2^1229959-1 is not prime. Res64: 88B150B5A1C8F574 Time : 0.0 sec. user=odicin [2012-10-03 05:19:17] 603*2^1229960-1 is not prime. Res64: A3F87593CD40B3CE Time : 0.0 sec. user=mdettweiler [2012-10-03 05:22:54] 831*2^1229959-1 is not prime. Res64: 0564435736B97A6A Time : 0.0 sec. user=mdettweiler [2012-10-03 05:22:54] 931*2^1229959-1 is not prime. Res64: 87811E89242D0495 Time : 0.0 sec. user=odicin [2012-10-03 05:31:56] 827*2^1229960-1 is not prime. Res64: 2109E57F99B0AFD3 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:32:13] 795*2^1229960-1 is not prime. Res64: 023A1542478D71D0 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:32:13] 797*2^1229960-1 is not prime. Res64: DFD77F9EE584FC4A Time : 0.0 sec. user=mdettweiler [2012-10-03 05:43:31] 935*2^1229960-1 is not prime. Res64: FB9C662952D88853 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:43:32] 679*2^1229961-1 is not prime. Res64: 9231BFAA358DC294 Time : 0.0 sec. user=odicin [2012-10-03 05:44:33] 681*2^1229961-1 is not prime. Res64: 3C4290C05D1C3EB3 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:52:49] 745*2^1229961-1 is not prime. Res64: 537BA9EC37F9BB76 Time : 0.0 sec. user=mdettweiler [2012-10-03 05:52:50] 811*2^1229961-1 is not prime. Res64: D9D2AF5104F1124F Time : 0.0 sec. user=odicin [2012-10-03 05:56:51] 603*2^1229962-1 is not prime. Res64: 7F3C57FA2950EFF8 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:04:07] 861*2^1229961-1 is not prime. Res64: 35F9C09DE0954DE5 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:04:09] 997*2^1229961-1 is not prime. Res64: 95AA7CAF81827DC4 Time : 0.0 sec. user=odicin [2012-10-03 06:09:15] 821*2^1229962-1 is not prime. Res64: 6DD80E1278AAE568 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:13:25] 705*2^1229962-1 is not prime. Res64: 473477FCCB80EA5B Time : 0.0 sec. user=mdettweiler [2012-10-03 06:13:28] 737*2^1229962-1 is not prime. Res64: E0AAC8D34F3E3333 Time : 0.0 sec. user=odicin [2012-10-03 06:21:56] 811*2^1229963-1 is not prime. Res64: 87ED97948D2B19B2 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:24:47] 857*2^1229962-1 is not prime. Res64: 9E5E05F8B73F8861 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:24:47] 941*2^1229962-1 is not prime. Res64: 74B0964BF4DA111A Time : 0.0 sec. user=mdettweiler [2012-10-03 06:34:11] 825*2^1229963-1 is not prime. Res64: 8A493B78ECDC7E5B Time : 0.0 sec. user=mdettweiler [2012-10-03 06:34:11] 973*2^1229963-1 is not prime. Res64: A8BED46FF8EBCC84 Time : 0.0 sec. user=odicin [2012-10-03 06:34:12] 629*2^1229964-1 is not prime. Res64: E89B7A150AA6B7D3 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:45:22] 693*2^1229964-1 is not prime. Res64: 56685E001F34D1E7 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:45:22] 725*2^1229964-1 is not prime. Res64: 877E87BFD834DE6C Time : 0.0 sec. user=odicin [2012-10-03 06:46:37] 753*2^1229964-1 is not prime. Res64: B08DA0F5A96599D5 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:54:49] 773*2^1229964-1 is not prime. Res64: 82B35C1B75E9FD92 Time : 0.0 sec. user=mdettweiler [2012-10-03 06:54:49] 959*2^1229964-1 is not prime. Res64: 794A8C07A65CE101 Time : 0.0 sec. user=odicin [2012-10-03 06:58:56] 885*2^1229965-1 is not prime. Res64: 76C4DAFF8F0BC658 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:05:59] 729*2^1229965-1 is not prime. Res64: D494AD22A87940EC Time : 0.0 sec. user=mdettweiler [2012-10-03 07:06:00] 741*2^1229965-1 is not prime. Res64: E82FD93B2784492D Time : 0.0 sec. user=odicin [2012-10-03 07:11:14] 999*2^1229965-1 is not prime. Res64: AC435D08A5BE9D5C Time : 0.0 sec. user=mdettweiler [2012-10-03 07:15:25] 897*2^1229965-1 is not prime. Res64: F9256EC2D934C6C4 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:15:26] 937*2^1229965-1 is not prime. Res64: A8860ED17101B739 Time : 0.0 sec. user=odicin [2012-10-03 07:23:36] 649*2^1229967-1 is not prime. Res64: C32CD84868145A82 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:26:43] 801*2^1229966-1 is not prime. Res64: 1A7E9E1274754FBD Time : 0.0 sec. user=mdettweiler [2012-10-03 07:26:43] 963*2^1229966-1 is not prime. Res64: CBCCDF5D1F89DBDE Time : 0.0 sec. user=odicin [2012-10-03 07:35:58] 885*2^1229967-1 is not prime. Res64: C98A6C86BC411C87 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:36:01] 741*2^1229967-1 is not prime. Res64: 8566BD2FA92097F2 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:36:02] 871*2^1229967-1 is not prime. Res64: 529648F4CE1F7C7D Time : 0.0 sec. user=mdettweiler [2012-10-03 07:47:19] 913*2^1229967-1 is not prime. Res64: 481425E013E0D5E4 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:47:19] 979*2^1229967-1 is not prime. Res64: AF99E9B2603BBC07 Time : 0.0 sec. user=odicin [2012-10-03 07:48:18] 991*2^1229967-1 is not prime. Res64: 3E21070B21437CF4 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:56:37] 645*2^1229968-1 is not prime. Res64: 0F9D1C4123E415D3 Time : 0.0 sec. user=mdettweiler [2012-10-03 07:56:38] 687*2^1229968-1 is not prime. Res64: BAFA57DF8368C0E6 Time : 0.0 sec. user=odicin [2012-10-03 08:00:38] 813*2^1229968-1 is not prime. Res64: 8E183EDA8BD226BB Time : 0.0 sec. user=mdettweiler [2012-10-03 08:07:54] 797*2^1229968-1 is not prime. Res64: 79672E2E578F996D Time : 0.0 sec. user=mdettweiler [2012-10-03 08:07:57] 803*2^1229968-1 is not prime. Res64: A225BDA3BC68C662 Time : 0.0 sec. user=odicin [2012-10-03 08:13:16] 933*2^1229968-1 is not prime. Res64: EE1F5F051AEED6C7 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:17:13] 887*2^1229968-1 is not prime. Res64: 52D58815E1831D0A Time : 0.0 sec. user=mdettweiler [2012-10-03 08:17:14] 905*2^1229968-1 is not prime. Res64: 5E0C8B91EA606E72 Time : 0.0 sec. user=odicin [2012-10-03 08:25:39] 909*2^1229969-1 is not prime. Res64: 5AACE75ADF895A54 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:28:38] 685*2^1229969-1 is not prime. Res64: 702701CE13C5605D Time : 0.0 sec. user=mdettweiler [2012-10-03 08:28:39] 721*2^1229969-1 is not prime. Res64: 91C49FA0EA9E05A7 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:37:53] 987*2^1229969-1 is not prime. Res64: 8172EEB344A94F45 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:37:53] 851*2^1229970-1 is not prime. Res64: 01CD5ACE3A8209D5 Time : 0.0 sec. user=odicin [2012-10-03 08:38:01] 921*2^1229970-1 is not prime. Res64: 21C66BAF35DC38B0 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:49:14] 977*2^1229970-1 is not prime. Res64: 4BB1C358ABAC1BF4 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:49:15] 651*2^1229971-1 is not prime. Res64: 7A03C8A13B0C8F26 Time : 0.0 sec. user=odicin [2012-10-03 08:50:24] 801*2^1229971-1 is not prime. Res64: B47263DEC9B8A6FE Time : 0.0 sec. user=vaughan [2012-10-03 08:53:37] 743*2^1229968-1 is not prime. Res64: D079EAC29AA67045 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:58:30] 733*2^1229971-1 is not prime. Res64: 15C5AB40FF0C4A39 Time : 0.0 sec. user=mdettweiler [2012-10-03 08:58:30] 789*2^1229971-1 is not prime. Res64: E649960AFE470F97 Time : 0.0 sec. user=odicin [2012-10-03 09:02:44] 889*2^1229971-1 is not prime. Res64: 2F2B8DF6AD12FCE2 Time : 0.0 sec. user=mdettweiler [2012-10-03 09:09:51] 829*2^1229971-1 is not prime. Res64: 3BE321CDBB34E1AF Time : 0.0 sec. user=mdettweiler [2012-10-03 09:09:52] 873*2^1229971-1 is not prime. Res64: 11B4807117B232A3 Time : 0.0 sec. user=odicin [2012-10-03 09:15:00] 675*2^1229972-1 is not prime. Res64: DB036A2BAC4BCFAE Time : 0.0 sec. user=mdettweiler [2012-10-03 09:19:06] 665*2^1229972-1 is not prime. Res64: 64CB6D0AA2F2ACEC Time : 0.0 sec. user=mdettweiler [2012-10-03 09:19:09] 669*2^1229972-1 is not prime. Res64: BF439E6CB59D3537 Time : 0.0 sec. user=odicin [2012-10-03 09:27:17] 689*2^1229972-1 is not prime. Res64: 41F6270E62000A0C Time : 0.0 sec. user=mdettweiler [2012-10-03 09:30:31] 677*2^1229972-1 is not prime. Res64: B127ED2AC7A0D958 Time : 0.0 sec. user=mdettweiler [2012-10-03 09:30:31] 687*2^1229972-1 is not prime. Res64: 155494912C3FE8E6 Time : 0.0 sec. user=vaughan [2012-10-03 09:31:34] 969*2^1229971-1 is not prime. Res64: BC6F85CDCAB5702C Time : 0.0 sec. user=odicin [2012-10-03 09:39:32] 983*2^1229972-1 is not prime. Res64: 9701C5F1A144C46B Time : 0.0 sec. user=mdettweiler [2012-10-03 09:39:51] 837*2^1229972-1 is not prime. Res64: 71B28B7C9B5FE638 Time : 0.0 sec. user=mdettweiler [2012-10-03 09:39:51] 899*2^1229972-1 is not prime. Res64: 851BF5D3EA68EEAE Time : 0.0 sec. user=mdettweiler [2012-10-03 09:51:15] 649*2^1229973-1 is not prime. Res64: 99EC0BDBAB118522 Time : 0.0 sec. user=mdettweiler [2012-10-03 09:51:16] 657*2^1229973-1 is not prime. Res64: 2A2E16B4BB787EC0 Time : 0.0 sec. user=odicin [2012-10-03 09:51:50] 759*2^1229973-1 is not prime. Res64: A7E974A0B65EC681 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:00:35] 769*2^1229973-1 is not prime. Res64: C03AAAC3CA445023 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:00:36] 819*2^1229973-1 is not prime. Res64: 93237E9BC2256AEE Time : 0.0 sec. user=odicin [2012-10-03 10:04:04] 927*2^1229973-1 is not prime. Res64: 4334E395BFEB6094 Time : 0.0 sec. user=vaughan [2012-10-03 10:09:31] 727*2^1229973-1 is not prime. Res64: FFE2A914F89B5492 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:12:03] 847*2^1229973-1 is not prime. Res64: F21DE098DDC10A9A Time : 0.0 sec. user=mdettweiler [2012-10-03 10:12:04] 885*2^1229973-1 is not prime. Res64: C0317D82176277C2 Time : 0.0 sec. user=odicin [2012-10-03 10:16:16] 831*2^1229974-1 is not prime. Res64: F1D2537A27ABE47D Time : 0.0 sec. user=mdettweiler [2012-10-03 10:21:32] 623*2^1229974-1 is not prime. Res64: 1CDF8596F028E95F Time : 0.0 sec. user=mdettweiler [2012-10-03 10:21:32] 665*2^1229974-1 is not prime. Res64: E6A54F6175E6A0EA Time : 0.0 sec. user=odicin [2012-10-03 10:28:38] 941*2^1229974-1 is not prime. Res64: 812CE62992D18FA6 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:32:58] 885*2^1229974-1 is not prime. Res64: B1382746535D7B21 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:33:00] 923*2^1229974-1 is not prime. Res64: 6996BDFED3380F35 Time : 0.0 sec. user=odicin [2012-10-03 10:40:58] 823*2^1229975-1 is not prime. Res64: 55E6C42AD8032863 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:42:13] 679*2^1229975-1 is not prime. Res64: 55A8D70117710F29 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:42:13] 775*2^1229975-1 is not prime. Res64: D8142889D5E7A67B Time : 0.0 sec. user=odicin [2012-10-03 10:53:11] 979*2^1229975-1 is not prime. Res64: 2761A101B4F05E6E Time : 0.0 sec. user=mdettweiler [2012-10-03 10:53:37] 859*2^1229975-1 is not prime. Res64: 0F0B91B2A4372404 Time : 0.0 sec. user=mdettweiler [2012-10-03 10:53:38] 909*2^1229975-1 is not prime. Res64: B2D21E5F42B4B46D Time : 0.0 sec. user=mdettweiler [2012-10-03 11:02:50] 615*2^1229976-1 is not prime. Res64: 510D0957CF7FFD7E Time : 0.0 sec. user=mdettweiler [2012-10-03 11:02:50] 635*2^1229976-1 is not prime. Res64: FDB92D28B2BCED2C Time : 0.0 sec. user=odicin [2012-10-03 11:05:43] 689*2^1229976-1 is not prime. Res64: 61C72B109B963DAD Time : 0.0 sec. user=mdettweiler [2012-10-03 11:14:13] 699*2^1229976-1 is not prime. Res64: D3D71478A26021B5 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:14:14] 773*2^1229976-1 is not prime. Res64: A4772CC499AC15D4 Time : 0.0 sec. user=odicin [2012-10-03 11:18:08] 661*2^1229977-1 is not prime. Res64: D3F619EE28E4CDB3 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:23:35] 843*2^1229976-1 is not prime. Res64: 88ACB7BA8A5FD9D5 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:23:35] 615*2^1229977-1 is not prime. Res64: 349309306133F1D4 Time : 0.0 sec. user=odicin [2012-10-03 11:30:28] 847*2^1229977-1 is not prime. Res64: 4FDF889BF11428D6 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:34:54] 747*2^1229977-1 is not prime. Res64: 60D0F97C54BCA0B6 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:34:55] 765*2^1229977-1 is not prime. Res64: 0A979FB87E965509 Time : 0.0 sec. user=odicin [2012-10-03 11:42:44] 771*2^1229978-1 is not prime. Res64: 7AB1D171314D02FF Time : 0.0 sec. user=mdettweiler [2012-10-03 11:44:11] 915*2^1229977-1 is not prime. Res64: 548287A7C86BABC8 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:44:11] 645*2^1229978-1 is not prime. Res64: 4A621ECE5D7943C2 Time : 0.0 sec. user=odicin [2012-10-03 11:54:57] 861*2^1229978-1 is not prime. Res64: 4196F0FE0C5B8F1D Time : 0.0 sec. user=mdettweiler [2012-10-03 11:55:31] 773*2^1229978-1 is not prime. Res64: 77E3C9CD771714A8 Time : 0.0 sec. user=mdettweiler [2012-10-03 11:55:31] 825*2^1229978-1 is not prime. Res64: F7E0BB95E40A09F1 Time : 0.0 sec. user=mdettweiler [2012-10-03 12:04:47] 951*2^1229978-1 is not prime. Res64: C0B12A3878ABED00 Time : 0.0 sec. user=mdettweiler [2012-10-03 12:04:48] 675*2^1229979-1 is not prime. Res64: 08767189ED17FA22 Time : 0.0 sec. user=odicin [2012-10-03 12:07:12] 711*2^1229979-1 is not prime. Res64: E8EC8D9F3DC57878 Time : 0.0 sec. user=mdettweiler [2012-10-03 12:16:08] 793*2^1229979-1 is not prime. Res64: 390AA66CB662B97C Time : 0.0 sec. user=mdettweiler [2012-10-03 12:16:09] 973*2^1229979-1 is not prime. Res64: 71A94B8C5B12C8DB Time : 0.0 sec. user=odicin [2012-10-03 12:19:32] 687*2^1229980-1 is not prime. Res64: 20E02C4C02F32E6D Time : 0.0 sec. user=mdettweiler [2012-10-03 12:25:29] 979*2^1229979-1 is not prime. Res64: A4C157E1DBC84F5C Time : 0.0 sec. user=mdettweiler [2012-10-03 12:25:30] 653*2^1229980-1 is not prime. Res64: C3F849114ED51D8C Time : 0.0 sec. user=odicin [2012-10-03 12:31:46] 989*2^1229980-1 is not prime. Res64: D6C28DBFAB67B1FC Time : 0.0 sec. user=mdettweiler [2012-10-03 12:36:51] 693*2^1229980-1 is not prime. Res64: 27001D34914BA354 Time : 0.0 sec. user=mdettweiler [2012-10-03 12:36:51] 987*2^1229980-1 is not prime. Res64: 9B9B540449C2930E Time : 0.0 sec. user=odicin [2012-10-03 12:44:03] 717*2^1229981-1 is not prime. Res64: 4DD1343F4A6244CD Time : 0.0 sec. user=mdettweiler [2012-10-03 12:46:06] 669*2^1229981-1 is not prime. Res64: F81B04DDA6D06BD7 Time : 0.0 sec. user=mdettweiler [2012-10-03 12:46:06] 691*2^1229981-1 is not prime. Res64: 3A441A8AE829EC72 Time : 0.0 sec. user=odicin [2012-10-03 12:56:25] 987*2^1229981-1 is not prime. Res64: 715D727A30A2C8D3 Time : 0.0 sec. user=mdettweiler [2012-10-03 12:57:28] 931*2^1229981-1 is not prime. Res64: D21A5EE7E4EA338F Time : 0.0 sec. user=mdettweiler [2012-10-03 12:57:29] 945*2^1229981-1 is not prime. Res64: 04B1C5143539858F Time : 0.0 sec. user=mdettweiler [2012-10-03 13:06:42] 681*2^1229982-1 is not prime. Res64: F2682A0E2344146C Time : 0.0 sec. user=mdettweiler [2012-10-03 13:06:43] 713*2^1229982-1 is not prime. Res64: 799ED8E7BD812C91 Time : 0.0 sec. user=odicin [2012-10-03 13:08:44] 723*2^1229982-1 is not prime. Res64: F04701EC87290499 Time : 0.0 sec. user=mdettweiler [2012-10-03 13:18:05] 731*2^1229982-1 is not prime. Res64: D68AA4374CF7FFF1 Time : 0.0 sec. user=mdettweiler [2012-10-03 13:18:05] 755*2^1229982-1 is not prime. Res64: BC2296EFBE5013C8 Time : 0.0 sec. user=odicin [2012-10-03 13:21:12] 705*2^1229983-1 is not prime. Res64: 7882D2F465603735 Time : 0.0 sec. user=mdettweiler [2012-10-03 13:27:23] 801*2^1229982-1 is not prime. Res64: 9FDAED539DCE506C Time : 0.0 sec. user=mdettweiler [2012-10-03 13:27:24] 863*2^1229982-1 is not prime. Res64: 17A15F080EF6522A Time : 0.0 sec. user=odicin [2012-10-03 13:33:28] 771*2^1229983-1 is not prime. Res64: 0C703119BB7A230F Time : 0.0 sec. user=mdettweiler [2012-10-03 13:38:43] 741*2^1229983-1 is not prime. Res64: 52C529049567A1C4 Time : 0.0 sec. user=mdettweiler [2012-10-03 13:38:43] 763*2^1229983-1 is not prime. Res64: 6C0A148C02A63C60 Time : 0.0 sec. user=odicin [2012-10-03 13:45:46] 859*2^1229983-1 is not prime. Res64: 41A3339BE688A172 Time : 0.0 sec. user=mdettweiler [2012-10-03 13:48:02] 829*2^1229983-1 is not prime. Res64: 22B0F69C8382E07C Time : 0.0 sec. user=mdettweiler [2012-10-03 13:48:02] 849*2^1229983-1 is not prime. Res64: 4785E039C5BC7AEA Time : 0.0 sec. user=odicin [2012-10-03 13:58:20] 699*2^1229984-1 is not prime. Res64: 9823E4DCAAF2BEDC Time : 0.0 sec. user=mdettweiler [2012-10-03 13:59:20] 945*2^1229983-1 is not prime. Res64: 48EF534ABEE96EDE Time : 0.0 sec. user=mdettweiler [2012-10-03 13:59:21] 617*2^1229984-1 is not prime. Res64: DA9A461BE82F3F17 Time : 0.0 sec. user=mdettweiler [2012-10-03 14:08:38] 725*2^1229984-1 is not prime. Res64: E2E1420113A6CE7C Time : 0.0 sec. user=mdettweiler [2012-10-03 14:08:39] 753*2^1229984-1 is not prime. Res64: 6594D5A30B0D0799 Time : 0.0 sec. user=odicin [2012-10-03 14:10:33] 759*2^1229984-1 is not prime. Res64: E760F39B49288E9B Time : 0.0 sec. user=mdettweiler [2012-10-03 14:19:57] 833*2^1229984-1 is not prime. Res64: D015DD1C4599E566 Time : 0.0 sec. user=mdettweiler [2012-10-03 14:19:58] 639*2^1229985-1 is not prime. Res64: A9B7B126BD9B3AB2 Time : 0.0 sec. user=odicin [2012-10-03 14:22:51] 765*2^1229985-1 is not prime. Res64: E12E8A959D952906 Time : 0.0 sec. user=mdettweiler [2012-10-03 14:29:16] 657*2^1229985-1 is not prime. Res64: 5AC141297D9D9EEE Time : 0.0 sec. user=mdettweiler [2012-10-03 14:29:17] 727*2^1229985-1 is not prime. Res64: C5B70CF55792172B Time : 0.0 sec. user=odicin [2012-10-03 14:35:14] 889*2^1229985-1 is not prime. Res64: B1BECF7A7F3943AD Time : 0.0 sec. user=mdettweiler [2012-10-03 14:40:40] 777*2^1229985-1 is not prime. Res64: D97F1747F936F5B7 Time : 0.0 sec. user=mdettweiler [2012-10-03 14:40:40] 789*2^1229985-1 is not prime. Res64: 2A09A5056CCBA193 Time : 0.0 sec. user=odicin [2012-10-03 14:47:33] 675*2^1229986-1 is not prime. Res64: 04F444D60AE21A8A Time : 0.0 sec. user=mdettweiler [2012-10-03 14:50:19] 951*2^1229985-1 is not prime. Res64: B828CA8F02CF7454 Time : 0.0 sec. user=mdettweiler [2012-10-03 14:50:20] 603*2^1229986-1 is not prime. Res64: 6F26CF47DA7D2C65 Time : 0.0 sec. user=odicin [2012-10-03 14:59:51] 821*2^1229986-1 is not prime. Res64: 5E60A7B6C4616162 Time : 0.0 sec. user=mdettweiler [2012-10-03 15:01:50] 695*2^1229986-1 is not prime. Res64: 61651BF82FB49ECA Time : 0.0 sec. user=mdettweiler [2012-10-03 15:01:52] 783*2^1229986-1 is not prime. Res64: C491DDBBD4A90D81 Time : 0.0 sec. user=mdettweiler [2012-10-03 15:11:20] 833*2^1229986-1 is not prime. Res64: 94D8DF765DFA6B8F Time : 0.0 sec. user=mdettweiler [2012-10-03 15:11:20] 923*2^1229986-1 is not prime. Res64: D0BC442ACBA4657E Time : 0.0 sec. user=odicin [2012-10-03 15:12:08] 655*2^1229987-1 is not prime. Res64: 810FC56063BB10D0 Time : 0.0 sec. user=mdettweiler [2012-10-03 15:23:06] 675*2^1229987-1 is not prime. Res64: 1DF8A227F93F4340 Time : 0.0 sec. user=mdettweiler [2012-10-03 15:23:06] 733*2^1229987-1 is not prime. Res64: 6F63B1E94701B6CF Time : 0.0 sec. user=odicin [2012-10-03 15:24:29] 799*2^1229987-1 is not prime. Res64: 23104AC281B836BF Time : 0.0 sec. user=mdettweiler [2012-10-03 15:32:35] 735*2^1229987-1 is not prime. Res64: FE407E7A4A5F36AF Time : 0.0 sec. user=mdettweiler [2012-10-03 15:32:35] 775*2^1229987-1 is not prime. Res64: 82AAF08CF385B6AF Time : 0.0 sec. user=odicin [2012-10-03 15:36:46] 991*2^1229987-1 is not prime. Res64: A100D008410C3134 Time : 0.0 sec. user=mdettweiler [2012-10-03 15:44:17] 825*2^1229987-1 is not prime. Res64: EC2AD3B5EEEE593D Time : 0.0 sec. user=mdettweiler [2012-10-03 15:44:17] 895*2^1229987-1 is not prime. Res64: 843ACED73E7E1CEB Time : 0.0 sec. user=odicin [2012-10-03 15:49:13] 927*2^1229988-1 is not prime. Res64: AD6D41D4B31CEEA7 Time : 0.0 sec. user=mdettweiler [2012-10-03 15:53:45] 777*2^1229988-1 is not prime. Res64: 548E802DFFAF858B Time : 0.0 sec. user=mdettweiler [2012-10-03 15:53:45] 797*2^1229988-1 is not prime. Res64: A59F9381F78AFD66 Time : 0.0 sec. user=odicin [2012-10-03 16:01:38] 895*2^1229989-1 is not prime. Res64: 65C39AB821A1B0D8 Time : 0.0 sec. user=mdettweiler [2012-10-03 16:05:26] 691*2^1229989-1 is not prime. Res64: 2D2407EB996BD24A Time : 0.0 sec. user=mdettweiler [2012-10-03 16:05:26] 751*2^1229989-1 is not prime. Res64: 086B33D39552E5EB Time : 0.0 sec. user=odicin [2012-10-03 16:14:29] 677*2^1229990-1 is not prime. Res64: C0D1E43C4740CC4A Time : 0.0 sec. user=mdettweiler [2012-10-03 16:14:58] 955*2^1229989-1 is not prime. Res64: 21531D01CB8B71D1 Time : 0.0 sec. user=mdettweiler [2012-10-03 16:14:59] 615*2^1229990-1 is not prime. Res64: 08F9136F1FDFFAFC Time : 0.0 sec. user=mdettweiler [2012-10-03 16:26:32] 797*2^1229990-1 is not prime. Res64: BA703B2BEF4A88EA Time : 0.0 sec. user=mdettweiler [2012-10-03 16:26:32] 827*2^1229990-1 is not prime. Res64: 8549B7264CB3DC82 Time : 0.0 sec. user=odicin [2012-10-03 16:26:58] 917*2^1229990-1 is not prime. Res64: FC31F7A6238FB06C Time : 0.0 sec. user=mdettweiler [2012-10-03 16:35:47] 615*2^1229991-1 is not prime. Res64: 32E4F44C31BBBE6A Time : 0.0 sec. user=mdettweiler [2012-10-03 16:35:48] 805*2^1229991-1 is not prime. Res64: 5870E97A8A1A06C6 Time : 0.0 sec. user=odicin [2012-10-03 16:39:19] 909*2^1229991-1 is not prime. Res64: 4D661F81100D9469 Time : 0.0 sec. user=mdettweiler [2012-10-03 16:47:25] 865*2^1229991-1 is not prime. Res64: C035AEE8B21ED4F7 Time : 0.0 sec. user=mdettweiler [2012-10-03 16:47:25] 873*2^1229991-1 is not prime. Res64: F9B2DE3826D820DF Time : 0.0 sec. user=odicin [2012-10-03 16:51:45] 635*2^1229992-1 is not prime. Res64: 44F7B367B07BBB28 Time : 0.0 sec. user=mdettweiler [2012-10-03 16:56:46] 931*2^1229991-1 is not prime. Res64: E3C05F4F9604CFA2 Time : 0.0 sec. user=mdettweiler [2012-10-03 16:56:46] 629*2^1229992-1 is not prime. Res64: D58C30DAD65EC588 Time : 0.0 sec. user=odicin [2012-10-03 17:04:14] 939*2^1229992-1 is not prime. Res64: 28719A022B250490 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:08:29] 735*2^1229992-1 is not prime. Res64: C52E29CAE902B4B2 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:08:32] 863*2^1229992-1 is not prime. Res64: 4056929174280625 Time : 0.0 sec. user=odicin [2012-10-03 17:16:38] 657*2^1229993-1 is not prime. Res64: A7A9AE4273D1C075 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:17:45] 957*2^1229992-1 is not prime. Res64: 7BB1CA2E93FB5332 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:17:46] 615*2^1229993-1 is not prime. Res64: D104C69B1FDD2582 Time : 0.0 sec. user=odicin [2012-10-03 17:29:07] 987*2^1229993-1 is not prime. Res64: 54210EF460A8657E Time : 0.0 sec. user=mdettweiler [2012-10-03 17:29:31] 735*2^1229993-1 is not prime. Res64: AFA93D148779B3D7 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:29:32] 795*2^1229993-1 is not prime. Res64: 792B401E35D5666F Time : 0.0 sec. user=mdettweiler [2012-10-03 17:38:36] 695*2^1229994-1 is not prime. Res64: DB370585FAE6FF01 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:38:37] 711*2^1229994-1 is not prime. Res64: B5324C7738483338 Time : 0.0 sec. user=odicin [2012-10-03 17:41:28] 873*2^1229994-1 is not prime. Res64: 225084F4B7077534 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:50:17] 891*2^1229994-1 is not prime. Res64: CC38FC0F23F81C99 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:50:17] 619*2^1229995-1 is not prime. Res64: FFD3EAB6A140169E Time : 0.0 sec. user=odicin [2012-10-03 17:53:58] 915*2^1229995-1 is not prime. Res64: B1D723F0AAA78B63 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:59:36] 741*2^1229995-1 is not prime. Res64: 78B9377F0BFBA0A6 Time : 0.0 sec. user=mdettweiler [2012-10-03 17:59:36] 855*2^1229995-1 is not prime. Res64: 189948DF23BB619C Time : 0.0 sec. user=odicin [2012-10-03 18:06:19] 743*2^1229996-1 is not prime. Res64: 8851CFB7CD5F31B3 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:11:01] 629*2^1229996-1 is not prime. Res64: 13DF1E0070B0CA62 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:11:02] 707*2^1229996-1 is not prime. Res64: 0B6328E1CCBEDFE7 Time : 0.0 sec. user=odicin [2012-10-03 18:18:54] 691*2^1229997-1 is not prime. Res64: 9DAB439552F9F6D2 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:20:18] 909*2^1229996-1 is not prime. Res64: 9808115D518A3A47 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:20:19] 963*2^1229996-1 is not prime. Res64: 09E78E479D920982 Time : 0.0 sec. user=odicin [2012-10-03 18:31:15] 847*2^1229997-1 is not prime. Res64: 839EFFC0125C0AED Time : 0.0 sec. user=mdettweiler [2012-10-03 18:31:50] 699*2^1229997-1 is not prime. Res64: 6BC6CF0DEDB2BD17 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:31:51] 835*2^1229997-1 is not prime. Res64: AF26D17EA0696AEB Time : 0.0 sec. user=mdettweiler [2012-10-03 18:41:17] 865*2^1229997-1 is not prime. Res64: 795F4CF59074C477 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:41:17] 885*2^1229997-1 is not prime. Res64: 8D72A5594F107E1D Time : 0.0 sec. user=odicin [2012-10-03 18:43:39] 901*2^1229997-1 is not prime. Res64: 0B380A235147F237 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:53:01] 937*2^1229997-1 is not prime. Res64: 861B94892393ED90 Time : 0.0 sec. user=mdettweiler [2012-10-03 18:53:01] 961*2^1229997-1 is not prime. Res64: 2CF46886CD6CB5B3 Time : 0.0 sec. user=odicin [2012-10-03 18:55:59] 1001*2^1229998-1 is not prime. Res64: 3688DB5E908F2B16 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:02:33] 813*2^1229998-1 is not prime. Res64: BEAA9194897B617C Time : 0.0 sec. user=mdettweiler [2012-10-03 19:02:34] 897*2^1229998-1 is not prime. Res64: 454BF9626BDAD0CC Time : 0.0 sec. user=odicin [2012-10-03 19:08:15] 729*2^1229999-1 is not prime. Res64: 7A63EBB27243F0F0 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:14:23] 609*2^1229999-1 is not prime. Res64: 10E5580DB6F25812 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:14:25] 661*2^1229999-1 is not prime. Res64: E70AAA0F48136685 Time : 0.0 sec. user=odicin [2012-10-03 19:20:40] 775*2^1229999-1 is not prime. Res64: 1101E9A18063530E Time : 0.0 sec. user=mdettweiler [2012-10-03 19:23:55] 735*2^1229999-1 is not prime. Res64: 0680A2802F3C4FB8 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:23:55] 759*2^1229999-1 is not prime. Res64: 4ABF61FE631010D7 Time : 0.0 sec. user=odicin [2012-10-03 19:33:08] 969*2^1229999-1 is not prime. Res64: 2F80738FD67B0A7D Time : 0.0 sec. user=mdettweiler [2012-10-03 19:35:35] 843*2^1229999-1 is not prime. Res64: 4CF8966F1C6EB152 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:35:36] 859*2^1229999-1 is not prime. Res64: D4B608BD96C60454 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:44:49] 633*2^1230000-1 is not prime. Res64: E59F384469D490B1 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:44:49] 753*2^1230000-1 is not prime. Res64: 0D0B26EDB08F3CD9 Time : 0.0 sec. user=odicin [2012-10-03 19:45:34] 639*2^1230001-1 is not prime. Res64: 6AB55167F1746507 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:56:32] 649*2^1230001-1 is not prime. Res64: D726461FE7C8BA31 Time : 0.0 sec. user=mdettweiler [2012-10-03 19:56:32] 687*2^1230001-1 is not prime. Res64: 764191B05705B2BF Time : 0.0 sec. user=odicin [2012-10-03 19:57:54] 855*2^1230001-1 is not prime. Res64: 9C141CABEA654EB1 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:06:07] 705*2^1230001-1 is not prime. Res64: CE66C2E11850E8F3 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:06:10] 835*2^1230001-1 is not prime. Res64: C615D953ED74E89C Time : 0.0 sec. user=odicin [2012-10-03 20:10:19] 675*2^1230002-1 is not prime. Res64: 58ABF51AF97732CB Time : 0.0 sec. user=mdettweiler [2012-10-03 20:18:24] 931*2^1230001-1 is not prime. Res64: EDDD9E8074E16B8E Time : 0.0 sec. user=mdettweiler [2012-10-03 20:18:24] 997*2^1230001-1 is not prime. Res64: 01D03400A497FC70 Time : 0.0 sec. user=odicin [2012-10-03 20:22:46] 875*2^1230002-1 is not prime. Res64: D2A186EB7E7E56A7 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:27:54] 747*2^1230002-1 is not prime. Res64: 777B4E0C18A93CE2 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:27:55] 825*2^1230002-1 is not prime. Res64: 14BF3BEDC8BB3E26 Time : 0.0 sec. user=vaughan [2012-10-03 20:30:01] 649*2^1229995-1 is not prime. Res64: 1CE04BA2C202A694 Time : 0.0 sec. user=odicin [2012-10-03 20:35:04] 679*2^1230003-1 is not prime. Res64: 672A0AA83EF7FA1A Time : 0.0 sec. user=mdettweiler [2012-10-03 20:39:59] 917*2^1230002-1 is not prime. Res64: CAB1DF54BDC37D11 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:40:00] 663*2^1230003-1 is not prime. Res64: C09825D5C8FEE2F2 Time : 0.0 sec. user=odicin [2012-10-03 20:47:18] 963*2^1230003-1 is not prime. Res64: 14BEFD66641E7621 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:49:32] 781*2^1230003-1 is not prime. Res64: 1B29EA5313EA81E9 Time : 0.0 sec. user=mdettweiler [2012-10-03 20:49:33] 795*2^1230003-1 is not prime. Res64: 41D0BD1E71F6E8A9 Time : 0.0 sec. user=odicin [2012-10-03 20:59:43] 873*2^1230004-1 is not prime. Res64: 1E6E3D776801C190 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:01:25] 657*2^1230004-1 is not prime. Res64: 53E007ED18016F37 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:01:27] 723*2^1230004-1 is not prime. Res64: D72D5A3A1AD03ACA Time : 0.0 sec. user=vaughan [2012-10-03 21:08:03] 943*2^1230003-1 is not prime. Res64: 7C84C354B499FE8A Time : 0.0 sec. user=mdettweiler [2012-10-03 21:10:53] 983*2^1230004-1 is not prime. Res64: B0783476D792D632 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:10:54] 669*2^1230005-1 is not prime. Res64: 65582D0C6208CFD9 Time : 0.0 sec. user=odicin [2012-10-03 21:11:58] 675*2^1230005-1 is not prime. Res64: 77F4AD592C0D45B5 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:22:48] 699*2^1230005-1 is not prime. Res64: A90C19A5D9D0855D Time : 0.0 sec. user=mdettweiler [2012-10-03 21:22:48] 787*2^1230005-1 is not prime. Res64: 32CA6CAEC9B59098 Time : 0.0 sec. user=odicin [2012-10-03 21:24:17] 939*2^1230005-1 is not prime. Res64: 6CF19DE3DFA892B4 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:32:20] 789*2^1230005-1 is not prime. Res64: 2E14777F7E5E5123 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:32:21] 819*2^1230005-1 is not prime. Res64: 4A34B49CE09EA424 Time : 0.0 sec. user=odicin [2012-10-03 21:36:33] 627*2^1230006-1 is not prime. Res64: 58FC7FF534F2A331 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:44:03] 949*2^1230005-1 is not prime. Res64: 8C148267BFCD1A4B Time : 0.0 sec. user=mdettweiler [2012-10-03 21:44:03] 981*2^1230005-1 is not prime. Res64: 2470BC1F4ED2CEB5 Time : 0.0 sec. user=odicin [2012-10-03 21:48:53] 993*2^1230006-1 is not prime. Res64: D6A4AB9F3E0710B5 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:53:18] 717*2^1230006-1 is not prime. Res64: 0AF2E2435A1617D0 Time : 0.0 sec. user=mdettweiler [2012-10-03 21:53:18] 801*2^1230006-1 is not prime. Res64: 5F75ACCD640F073A Time : 0.0 sec. user=odicin [2012-10-03 22:01:06] 759*2^1230007-1 is not prime. Res64: 617CD97BF85FEB3C Time : 0.0 sec. user=mdettweiler [2012-10-03 22:04:57] 1001*2^1230006-1 is not prime. Res64: 43CC5AD1BF3A40D9 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:04:57] 673*2^1230007-1 is not prime. Res64: 5FD05249EEBFA9BD Time : 0.0 sec. user=odicin [2012-10-03 22:13:31] 617*2^1230008-1 is not prime. Res64: 1CE057E2A3BDDC3E Time : 0.0 sec. user=mdettweiler [2012-10-03 22:14:13] 861*2^1230007-1 is not prime. Res64: D32851F5218362D0 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:14:15] 889*2^1230007-1 is not prime. Res64: A91E21EBB98DF91A Time : 0.0 sec. user=odicin [2012-10-03 22:25:50] 657*2^1230009-1 is not prime. Res64: DBCD1DC0DEB49CCE Time : 0.0 sec. user=mdettweiler [2012-10-03 22:25:57] 665*2^1230008-1 is not prime. Res64: 219D93334E4919E2 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:25:58] 813*2^1230008-1 is not prime. Res64: 58B528C6843D4988 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:35:12] 661*2^1230009-1 is not prime. Res64: EE292E0A2E081911 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:35:12] 727*2^1230009-1 is not prime. Res64: 863AFBC2664C115A Time : 0.0 sec. user=odicin [2012-10-03 22:38:06] 731*2^1230010-1 is not prime. Res64: 65C294069577C07A Time : 0.0 sec. user=mdettweiler [2012-10-03 22:46:50] 755*2^1230010-1 is not prime. Res64: 4EBD80F4FE50D487 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:46:50] 791*2^1230010-1 is not prime. Res64: E6D51E47F3F2ED04 Time : 0.0 sec. user=odicin [2012-10-03 22:50:25] 975*2^1230010-1 is not prime. Res64: 729D426E45637E59 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:56:05] 857*2^1230010-1 is not prime. Res64: F59A7EB0F5CF9FB9 Time : 0.0 sec. user=mdettweiler [2012-10-03 22:56:05] 951*2^1230010-1 is not prime. Res64: 937A826666FEE50C Time : 0.0 sec. user=odicin [2012-10-03 23:02:42] 745*2^1230011-1 is not prime. Res64: 92CE7362CCD16082 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:07:42] 609*2^1230011-1 is not prime. Res64: 0C46D5307577D8ED Time : 0.0 sec. user=mdettweiler [2012-10-03 23:07:44] 711*2^1230011-1 is not prime. Res64: 33AE65BE56836667 Time : 0.0 sec. user=odicin [2012-10-03 23:14:57] 725*2^1230012-1 is not prime. Res64: 22C046E94C54387F Time : 0.0 sec. user=mdettweiler [2012-10-03 23:17:07] 889*2^1230011-1 is not prime. Res64: 0E24305B81A93B78 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:17:08] 939*2^1230011-1 is not prime. Res64: 10242BF921254CE6 Time : 0.0 sec. user=odicin [2012-10-03 23:27:24] 889*2^1230013-1 is not prime. Res64: AB93A3E952B03B18 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:29:06] 777*2^1230012-1 is not prime. Res64: 3744450A8AAC95B6 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:29:07] 855*2^1230013-1 is not prime. Res64: 0BF8FBF64163181A Time : 0.0 sec. user=mdettweiler [2012-10-03 23:38:28] 773*2^1230014-1 is not prime. Res64: 721B3BBAD5C4AAC7 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:38:28] 797*2^1230014-1 is not prime. Res64: A34D2F37A7CDDD2E Time : 0.0 sec. user=odicin [2012-10-03 23:39:44] 941*2^1230014-1 is not prime. Res64: 809B5EA9D53E0E28 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:50:05] 951*2^1230014-1 is not prime. Res64: 2DD1B8811F8A2661 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:50:05] 981*2^1230014-1 is not prime. Res64: 94741153E9F15B60 Time : 0.0 sec. user=odicin [2012-10-03 23:52:02] 789*2^1230015-1 is not prime. Res64: 2E085392000DF280 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:59:14] 1001*2^1230014-1 is not prime. Res64: 6C5450F448FF86E3 Time : 0.0 sec. user=mdettweiler [2012-10-03 23:59:15] 685*2^1230015-1 is not prime. Res64: ED3F76B4C7FD055F Time : 0.0 sec.