user=mdettweiler [2013-01-26 00:04:14] 951*2^1239954-1 is not prime. Res64: 79E8AD9B5438E8EA Time : 0.0 sec. user=mdettweiler [2013-01-26 00:04:16] 603*2^1239955-1 is not prime. Res64: 64F8361F3D49F552 Time : 0.0 sec. user=mdettweiler [2013-01-26 00:12:44] 639*2^1239955-1 is not prime. Res64: 693C486DA3A0B21E Time : 0.0 sec. user=mdettweiler [2013-01-26 00:12:45] 675*2^1239955-1 is not prime. Res64: EB95272E7F1F46BA Time : 0.0 sec. user=mdettweiler [2013-01-26 00:21:57] 913*2^1239955-1 is not prime. Res64: D5557511E26DF7CA Time : 0.0 sec. user=mdettweiler [2013-01-26 00:21:58] 915*2^1239955-1 is not prime. Res64: DC749A9C8D0EC96D Time : 0.0 sec. user=mdettweiler [2013-01-26 00:30:07] 875*2^1239956-1 is not prime. Res64: 8C4ABEAA59F15B01 Time : 0.0 sec. user=mdettweiler [2013-01-26 00:30:11] 927*2^1239956-1 is not prime. Res64: 776717F1DA67E390 Time : 0.0 sec. user=vaughan [2013-01-26 00:35:03] 885*2^1239955-1 is not prime. Res64: 53692D8B014E660A Time : 0.0 sec. user=mdettweiler [2013-01-26 00:39:22] 957*2^1239956-1 is not prime. Res64: 0FDEFC87BAE348C0 Time : 0.0 sec. user=mdettweiler [2013-01-26 00:39:22] 667*2^1239957-1 is not prime. Res64: 72769381A5A072A5 Time : 0.0 sec. user=mdettweiler [2013-01-26 00:47:36] 669*2^1239957-1 is not prime. Res64: DF71E9CEDABCF648 Time : 0.0 sec. user=mdettweiler [2013-01-26 00:47:37] 681*2^1239957-1 is not prime. Res64: FBDDD3DEB9BD47AA Time : 0.0 sec. user=mdettweiler [2013-01-26 00:56:43] 777*2^1239957-1 is not prime. Res64: 27F2F8A2D16A023A Time : 0.0 sec. user=mdettweiler [2013-01-26 00:56:43] 915*2^1239957-1 is not prime. Res64: 7EFCF294A05DBE56 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:04:57] 937*2^1239957-1 is not prime. Res64: A2C8044E8FD8F37B Time : 0.0 sec. user=mdettweiler [2013-01-26 01:04:59] 623*2^1239958-1 is not prime. Res64: 8CEB09177BE972B2 Time : 0.0 sec. user=vaughan [2013-01-26 01:12:57] 711*2^1239957-1 is not prime. Res64: AC0A409C8A52AC27 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:14:03] 647*2^1239958-1 is not prime. Res64: 00E736821C14A0C0 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:14:04] 671*2^1239958-1 is not prime. Res64: CA3364E476597B0D Time : 0.0 sec. user=mdettweiler [2013-01-26 01:22:23] 813*2^1239958-1 is not prime. Res64: 87C459727A1DFCC3 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:22:24] 945*2^1239958-1 is not prime. Res64: ADF128A47646C372 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:31:25] 685*2^1239959-1 is not prime. Res64: 37E5523341B6F957 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:31:25] 711*2^1239959-1 is not prime. Res64: 2611F0D32A823B2D Time : 0.0 sec. user=mdettweiler [2013-01-26 01:39:45] 759*2^1239959-1 is not prime. Res64: 47ED7E173A278019 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:39:46] 813*2^1239959-1 is not prime. Res64: B91A3E8F9416BDC8 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:48:46] 823*2^1239959-1 is not prime. Res64: 04670A53F2AE01CE Time : 0.0 sec. user=mdettweiler [2013-01-26 01:48:46] 855*2^1239959-1 is not prime. Res64: 0622950C641BB29A Time : 0.0 sec. user=vaughan [2013-01-26 01:50:54] 661*2^1239959-1 is not prime. Res64: C116D0F658E6F844 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:57:08] 885*2^1239959-1 is not prime. Res64: C33B8E3D5E6A9384 Time : 0.0 sec. user=mdettweiler [2013-01-26 01:57:09] 735*2^1239960-1 is not prime. Res64: 84481F2FC7056F7A Time : 0.0 sec. user=mdettweiler [2013-01-26 02:06:09] 789*2^1239960-1 is not prime. Res64: 2572DF1F133C97D7 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:06:11] 809*2^1239960-1 is not prime. Res64: CE89304FE85EE344 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:14:29] 887*2^1239960-1 is not prime. Res64: 01F4240FDC4B46DB Time : 0.0 sec. user=mdettweiler [2013-01-26 02:14:29] 927*2^1239960-1 is not prime. Res64: BE53E72B70573538 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:23:51] 607*2^1239961-1 is not prime. Res64: 832F79A052A52075 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:23:52] 637*2^1239961-1 is not prime. Res64: B9D916CF69A72EA2 Time : 0.0 sec. user=vaughan [2013-01-26 02:28:47] 825*2^1239960-1 is not prime. Res64: 4A6FEF58E245B797 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:31:54] 645*2^1239961-1 is not prime. Res64: E4D1DF6018E0B107 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:31:56] 651*2^1239961-1 is not prime. Res64: 73A96BCB4D86815E Time : 0.0 sec. user=mdettweiler [2013-01-26 02:41:12] 829*2^1239961-1 is not prime. Res64: 9EAF619E71691A5E Time : 0.0 sec. user=mdettweiler [2013-01-26 02:41:13] 939*2^1239961-1 is not prime. Res64: 093ABEBD4CB604F2 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:49:21] 617*2^1239962-1 is not prime. Res64: 3C557916D6128633 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:49:25] 633*2^1239962-1 is not prime. Res64: D0CFAE35D0A5E1E5 Time : 0.0 sec. user=juhehe [2013-01-26 02:56:42] 815*2^1239942-1 is not prime. Res64: F35F345A8D809CF9 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:58:39] 665*2^1239962-1 is not prime. Res64: EEA021B110346739 Time : 0.0 sec. user=mdettweiler [2013-01-26 02:58:39] 741*2^1239962-1 is not prime. Res64: 0EEFDC371D7A33A1 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:06:59] 755*2^1239962-1 is not prime. Res64: C19D5532D20BA505 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:07:00] 771*2^1239962-1 is not prime. Res64: 5918DDB0743A658E Time : 0.0 sec. user=vaughan [2013-01-26 03:11:44] 999*2^1239961-1 is not prime. Res64: 21308BCECDD5DC26 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:16:02] 797*2^1239962-1 is not prime. Res64: 15EE5ECA83EE5814 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:16:02] 977*2^1239962-1 is not prime. Res64: 13F1C616AF14C265 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:24:30] 639*2^1239963-1 is not prime. Res64: 3D24CFA51D2464E4 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:24:31] 849*2^1239963-1 is not prime. Res64: 380E175C9B282382 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:33:23] 623*2^1239964-1 is not prime. Res64: B5ED57D11218DFFD Time : 0.0 sec. user=mdettweiler [2013-01-26 03:33:24] 717*2^1239964-1 is not prime. Res64: 4ADB1FFD850A66B8 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:41:50] 743*2^1239964-1 is not prime. Res64: A7904697AFC9788C Time : 0.0 sec. user=mdettweiler [2013-01-26 03:41:51] 819*2^1239964-1 is not prime. Res64: 2B4646FEE0472006 Time : 0.0 sec. user=vaughan [2013-01-26 03:49:41] 943*2^1239963-1 is not prime. Res64: 62B5A761542C662F Time : 0.0 sec. user=mdettweiler [2013-01-26 03:50:56] 857*2^1239964-1 is not prime. Res64: A7EE8C36C8DA39D4 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:50:56] 869*2^1239964-1 is not prime. Res64: 2DB043DE307F23D9 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:59:16] 905*2^1239964-1 is not prime. Res64: 4E07E484D47B1887 Time : 0.0 sec. user=mdettweiler [2013-01-26 03:59:16] 929*2^1239964-1 is not prime. Res64: EEB64A389FE32616 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:08:17] 697*2^1239965-1 is not prime. Res64: C96F7C7049F0B333 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:08:18] 711*2^1239965-1 is not prime. Res64: BEE2342F5B3687C1 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:16:36] 727*2^1239965-1 is not prime. Res64: EA4FB095CD4EEE19 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:16:37] 831*2^1239965-1 is not prime. Res64: FF26A6C63EB7C3A9 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:25:51] 867*2^1239965-1 is not prime. Res64: F68BB883CB9DECB5 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:25:52] 915*2^1239965-1 is not prime. Res64: 32B21FA2A3E0BE7A Time : 0.0 sec. user=vaughan [2013-01-26 04:27:36] 619*2^1239965-1 is not prime. Res64: 5C8A156E3E7E1C79 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:33:58] 611*2^1239966-1 is not prime. Res64: 9210842E767B5C95 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:34:00] 717*2^1239966-1 is not prime. Res64: 4FA29EA36C771E9B Time : 0.0 sec. user=mdettweiler [2013-01-26 04:43:18] 933*2^1239966-1 is not prime. Res64: 69DF0A1824EA0EA0 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:43:19] 983*2^1239966-1 is not prime. Res64: F3A2E4B8A014D02E Time : 0.0 sec. user=mdettweiler [2013-01-26 04:51:30] 735*2^1239967-1 is not prime. Res64: CA09D227D6FC75A6 Time : 0.0 sec. user=mdettweiler [2013-01-26 04:51:31] 775*2^1239967-1 is not prime. Res64: 9815998DBECE092D Time : 0.0 sec. user=mdettweiler [2013-01-26 05:00:44] 805*2^1239967-1 is not prime. Res64: 0530AD28AAB53B39 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:00:46] 871*2^1239967-1 is not prime. Res64: A292DCE478B78C7C Time : 0.0 sec. user=vaughan [2013-01-26 05:05:34] 625*2^1239967-1 is not prime. Res64: 11A2BE309AC9257A Time : 0.0 sec. user=mdettweiler [2013-01-26 05:08:50] 939*2^1239967-1 is not prime. Res64: 9FC055174A9CDDD3 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:08:51] 629*2^1239968-1 is not prime. Res64: 332E39AD6FD0C8D9 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:18:16] 665*2^1239968-1 is not prime. Res64: 36495762F79B76E6 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:18:17] 855*2^1239968-1 is not prime. Res64: 9602CE4149E89BDE Time : 0.0 sec. user=mdettweiler [2013-01-26 05:26:15] 657*2^1239969-1 is not prime. Res64: A176EBBFE4BBBA63 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:26:16] 759*2^1239969-1 is not prime. Res64: 5FB0BDA4519C5E12 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:35:37] 781*2^1239969-1 is not prime. Res64: AB858186ACB47D97 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:35:37] 795*2^1239969-1 is not prime. Res64: C395E68ACB84CACE Time : 0.0 sec. user=vaughan [2013-01-26 05:43:32] 649*2^1239969-1 is not prime. Res64: F387A270AA70EEA4 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:43:36] 811*2^1239969-1 is not prime. Res64: 19E59B6A53100D81 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:43:36] 907*2^1239969-1 is not prime. Res64: 884086E042F67C92 Time : 0.0 sec. user=mdettweiler [2013-01-26 05:52:57] 949*2^1239969-1 is not prime. Res64: F0DDB278055C002E Time : 0.0 sec. user=mdettweiler [2013-01-26 05:52:57] 605*2^1239970-1 is not prime. Res64: 91AE5C4C2FB8704A Time : 0.0 sec. user=mdettweiler [2013-01-26 06:00:57] 701*2^1239970-1 is not prime. Res64: AEF78F92B79A8C5F Time : 0.0 sec. user=mdettweiler [2013-01-26 06:00:58] 867*2^1239970-1 is not prime. Res64: 263B94947BA33C1B Time : 0.0 sec. user=mdettweiler [2013-01-26 06:10:18] 885*2^1239970-1 is not prime. Res64: D100F3CAA333966D Time : 0.0 sec. user=mdettweiler [2013-01-26 06:10:19] 971*2^1239970-1 is not prime. Res64: BD18D8C68CE2B52E Time : 0.0 sec. user=mdettweiler [2013-01-26 06:18:31] 603*2^1239971-1 is not prime. Res64: 0B882724ED95C742 Time : 0.0 sec. user=mdettweiler [2013-01-26 06:18:31] 651*2^1239971-1 is not prime. Res64: B6B58DE67AC4691E Time : 0.0 sec. user=vaughan [2013-01-26 06:21:25] 611*2^1239970-1 is not prime. Res64: 850D58631E16B994 Time : 0.0 sec. user=mdettweiler [2013-01-26 06:27:47] 693*2^1239971-1 is not prime. Res64: 41565AB2A28BDA68 Time : 0.0 sec. user=mdettweiler [2013-01-26 06:27:48] 733*2^1239971-1 is not prime. Res64: E936CFA4550CBE76 Time : 0.0 sec. user=mdettweiler [2013-01-26 06:44:47] 871*2^1239971-1 is not prime. Res64: 35DB4F8946A44AF0 Time : 0.0 sec. user=mdettweiler [2013-01-26 06:44:48] 893*2^1239972-1 is not prime. Res64: 56C3AF675311BC6B Time : 0.0 sec. user=mdettweiler [2013-01-26 06:45:06] 933*2^1239972-1 is not prime. Res64: 24EF77F3690D9A3A Time : 0.0 sec. user=mdettweiler [2013-01-26 06:45:06] 609*2^1239973-1 is not prime. Res64: 6F6BA1BB571F93A3 Time : 0.0 sec. user=vaughan [2013-01-26 06:59:16] 929*2^1239972-1 is not prime. Res64: F79EB433FB489182 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:02:08] 727*2^1239973-1 is not prime. Res64: ED386496AEB55534 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:02:10] 819*2^1239973-1 is not prime. Res64: 517ECC319978A392 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:02:27] 955*2^1239973-1 is not prime. Res64: FEDC5372BBCA988C Time : 0.0 sec. user=mdettweiler [2013-01-26 07:02:28] 985*2^1239973-1 is not prime. Res64: 67513A5C82C887D4 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:19:44] 687*2^1239974-1 is not prime. Res64: ECA06EC4BC18AB2A Time : 0.0 sec. user=mdettweiler [2013-01-26 07:19:45] 693*2^1239974-1 is not prime. Res64: 4AB6C5125B4C2AD4 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:19:49] 717*2^1239974-1 is not prime. Res64: F50818433138BF34 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:19:49] 747*2^1239974-1 is not prime. Res64: 62E1F787DB653F18 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:37:06] 917*2^1239974-1 is not prime. Res64: 1F1012499BCD0F40 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:37:07] 995*2^1239974-1 is not prime. Res64: 44709AA773FDB557 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:37:10] 663*2^1239975-1 is not prime. Res64: 823032BA5644BF05 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:37:11] 735*2^1239975-1 is not prime. Res64: B5D6545C6617CC31 Time : 0.0 sec. user=vaughan [2013-01-26 07:37:15] 605*2^1239974-1 is not prime. Res64: 5FDB312C472AA894 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:54:28] 781*2^1239975-1 is not prime. Res64: 20BE30CB71FCF9DC Time : 0.0 sec. user=mdettweiler [2013-01-26 07:54:28] 825*2^1239975-1 is not prime. Res64: 6997D6ECF87E8995 Time : 0.0 sec. user=mdettweiler [2013-01-26 07:54:30] 865*2^1239975-1 is not prime. Res64: 5E458211391252FD Time : 0.0 sec. user=mdettweiler [2013-01-26 07:54:31] 969*2^1239975-1 is not prime. Res64: 23912D33EB23CB0C Time : 0.0 sec. user=mdettweiler [2013-01-26 08:11:47] 765*2^1239976-1 is not prime. Res64: 0E00A883DAA6132F Time : 0.0 sec. user=mdettweiler [2013-01-26 08:11:48] 825*2^1239976-1 is not prime. Res64: B180E954BF6CFD43 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:11:51] 887*2^1239976-1 is not prime. Res64: 37899FBD0940F076 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:11:54] 957*2^1239976-1 is not prime. Res64: 799161E82B14FE33 Time : 0.0 sec. user=vaughan [2013-01-26 08:15:08] 705*2^1239976-1 is not prime. Res64: A97B4FE00907E59D Time : 0.0 sec. user=mdettweiler [2013-01-26 08:29:11] 699*2^1239977-1 is not prime. Res64: 4D6D9D5DFBC40CF5 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:29:12] 711*2^1239977-1 is not prime. Res64: 4A095948E0895110 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:29:15] 769*2^1239977-1 is not prime. Res64: F050D3F4C68D5C48 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:29:15] 841*2^1239977-1 is not prime. Res64: C1597FADB2C2A872 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:46:31] 981*2^1239977-1 is not prime. Res64: C9D90D0815E7AE22 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:46:32] 621*2^1239978-1 is not prime. Res64: 86E9176BE9927AC1 Time : 0.0 sec. user=mdettweiler [2013-01-26 08:46:35] 713*2^1239978-1 is not prime. Res64: 11F8C2732839FABD Time : 0.0 sec. user=mdettweiler [2013-01-26 08:46:36] 977*2^1239978-1 is not prime. Res64: F75D4093188838A0 Time : 0.0 sec. user=vaughan [2013-01-26 08:53:02] 885*2^1239977-1 is not prime. Res64: 675D241791A6CC2C Time : 0.0 sec. user=mdettweiler [2013-01-26 09:03:53] 1001*2^1239978-1 is not prime. Res64: 9DA4C534503697A0 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:03:54] 633*2^1239979-1 is not prime. Res64: ABFA6A6E84CE4C5A Time : 0.0 sec. user=mdettweiler [2013-01-26 09:04:00] 639*2^1239979-1 is not prime. Res64: D670FFB1C6B440A3 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:04:02] 679*2^1239979-1 is not prime. Res64: 3947C5B7A57B475B Time : 0.0 sec. user=mdettweiler [2013-01-26 09:21:33] 759*2^1239979-1 is not prime. Res64: 72F61CF0049AE89B Time : 0.0 sec. user=mdettweiler [2013-01-26 09:21:33] 853*2^1239979-1 is not prime. Res64: 1D5EC36414657AA6 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:21:36] 741*2^1239979-1 is not prime. Res64: 4BD904D331056710 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:21:36] 859*2^1239979-1 is not prime. Res64: 8F61EF99827D2495 Time : 0.0 sec. user=vaughan [2013-01-26 09:30:57] 681*2^1239979-1 is not prime. Res64: 035183580DE8EAA3 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:38:56] 913*2^1239979-1 is not prime. Res64: 5AE582FB9CC1CDEE Time : 0.0 sec. user=mdettweiler [2013-01-26 09:38:56] 969*2^1239979-1 is not prime. Res64: A62E2F5B891B250F Time : 0.0 sec. user=mdettweiler [2013-01-26 09:39:02] 975*2^1239979-1 is not prime. Res64: 2D432E45232123A6 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:39:03] 789*2^1239980-1 is not prime. Res64: CC8014CA39424514 Time : 0.0 sec. user=juhehe [2013-01-26 09:44:14] 889*2^1239979-1 is not prime. Res64: E231467D10599163 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:56:16] 857*2^1239980-1 is not prime. Res64: 43372EF10C971854 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:56:16] 875*2^1239980-1 is not prime. Res64: 8FC2F95667628E95 Time : 0.0 sec. user=mdettweiler [2013-01-26 09:56:24] 953*2^1239980-1 is not prime. Res64: 12089B219E70D5DE Time : 0.0 sec. user=mdettweiler [2013-01-26 09:56:25] 615*2^1239981-1 is not prime. Res64: 54320E1A3681EC68 Time : 0.0 sec. user=vaughan [2013-01-26 10:08:49] 797*2^1239980-1 is not prime. Res64: 4AA89E6C0F7BCDDA Time : 0.0 sec. user=mdettweiler [2013-01-26 10:13:38] 781*2^1239981-1 is not prime. Res64: 6ACC63149A98C4D0 Time : 0.0 sec. user=mdettweiler [2013-01-26 10:13:39] 795*2^1239981-1 is not prime. Res64: 01561D720E82C3D8 Time : 0.0 sec. user=mdettweiler [2013-01-26 10:13:57] 835*2^1239981-1 is not prime. Res64: 550D92D243AEBAFD Time : 0.0 sec. user=mdettweiler [2013-01-26 10:13:57] 865*2^1239981-1 is not prime. Res64: 94538648DC63A8F9 Time : 0.0 sec. user=juhehe [2013-01-26 10:17:20] 657*2^1239981-1 is not prime. Res64: 2946894674CB530D Time : 0.0 sec. user=mdettweiler [2013-01-26 10:30:59] 937*2^1239981-1 is not prime. Res64: 536D6596D90D75CD Time : 0.0 sec. user=mdettweiler [2013-01-26 10:31:00] 969*2^1239981-1 is not prime. Res64: D9C78B4C5D88E7FA Time : 0.0 sec. user=mdettweiler [2013-01-26 10:31:17] 603*2^1239982-1 is not prime. Res64: 1166DE281F0CD8E4 Time : 0.0 sec. user=mdettweiler [2013-01-26 10:31:18] 621*2^1239982-1 is not prime. Res64: A126F19D170C408D Time : 0.0 sec. user=vaughan [2013-01-26 10:46:47] 889*2^1239981-1 is not prime. Res64: 8C38FC1E7E62046E Time : 0.0 sec. user=mdettweiler [2013-01-26 10:48:22] 675*2^1239982-1 is not prime. Res64: 72BA2E3BAC5A0037 Time : 0.0 sec. user=mdettweiler [2013-01-26 10:48:22] 755*2^1239982-1 is not prime. Res64: 6FE68B890C04C2A6 Time : 0.0 sec. user=mdettweiler [2013-01-26 10:48:43] 765*2^1239982-1 is not prime. Res64: A31E4A19129F23F9 Time : 0.0 sec. user=mdettweiler [2013-01-26 10:48:43] 801*2^1239982-1 is not prime. Res64: 2B4431CCFEBE0595 Time : 0.0 sec. user=juhehe [2013-01-26 10:50:28] 635*2^1239982-1 is not prime. Res64: A37B206CC5F35BBA Time : 0.0 sec. user=mdettweiler [2013-01-26 11:05:43] 983*2^1239982-1 is not prime. Res64: ACDDA48E14F8F59B Time : 0.0 sec. user=mdettweiler [2013-01-26 11:05:45] 615*2^1239983-1 is not prime. Res64: 2D331E394AFDFA0C Time : 0.0 sec. user=mdettweiler [2013-01-26 11:06:04] 619*2^1239983-1 is not prime. Res64: 8862BF5BCFFABC78 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:06:06] 621*2^1239983-1 is not prime. Res64: A6323451BE5735DA Time : 0.0 sec. user=mdettweiler [2013-01-26 11:23:18] 703*2^1239983-1 is not prime. Res64: BAFE2E9AF1BC485F Time : 0.0 sec. user=mdettweiler [2013-01-26 11:23:19] 789*2^1239983-1 is not prime. Res64: 0C93769EFBA7418D Time : 0.0 sec. user=mdettweiler [2013-01-26 11:23:32] 889*2^1239983-1 is not prime. Res64: 02F50ACD2007C568 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:23:32] 999*2^1239983-1 is not prime. Res64: D9DF66BA7AC25CC9 Time : 0.0 sec. user=juhehe [2013-01-26 11:23:39] 693*2^1239983-1 is not prime. Res64: 89D5FDB8CFC66B44 Time : 0.0 sec. user=vaughan [2013-01-26 11:24:42] 825*2^1239982-1 is not prime. Res64: 980D8F6AB8CE58A8 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:40:38] 663*2^1239984-1 is not prime. Res64: C75A6929578FEFCC Time : 0.0 sec. user=mdettweiler [2013-01-26 11:40:39] 689*2^1239984-1 is not prime. Res64: 5A5AFA807522ABCE Time : 0.0 sec. user=mdettweiler [2013-01-26 11:40:58] 699*2^1239984-1 is not prime. Res64: D407D83628AD47C8 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:40:59] 707*2^1239984-1 is not prime. Res64: 9160149EA9D4AD8B Time : 0.0 sec. user=juhehe [2013-01-26 11:57:29] 737*2^1239984-1 is not prime. Res64: 75FB74D8D7F03DF5 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:57:59] 849*2^1239984-1 is not prime. Res64: B15F53698726C259 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:57:59] 893*2^1239984-1 is not prime. Res64: 46360342DD9212B0 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:58:19] 915*2^1239984-1 is not prime. Res64: 2F750A72F44056A4 Time : 0.0 sec. user=mdettweiler [2013-01-26 11:58:20] 929*2^1239984-1 is not prime. Res64: 7A4F2179EE6EBFE2 Time : 0.0 sec. user=vaughan [2013-01-26 12:02:38] 759*2^1239984-1 is not prime. Res64: 8E5FF53320936726 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:15:18] 969*2^1239984-1 is not prime. Res64: 91B10998B44F0332 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:15:19] 645*2^1239985-1 is not prime. Res64: 555CA3294F3142A2 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:15:40] 777*2^1239985-1 is not prime. Res64: 59703E626E5E8198 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:15:41] 831*2^1239985-1 is not prime. Res64: B0B28DA99DA73FF3 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:32:44] 937*2^1239985-1 is not prime. Res64: A3A20DBC315DE218 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:32:45] 641*2^1239986-1 is not prime. Res64: E3B4642FFAFE4FE7 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:33:03] 683*2^1239986-1 is not prime. Res64: 91FBFE29C63181FA Time : 0.0 sec. user=mdettweiler [2013-01-26 12:33:04] 711*2^1239986-1 is not prime. Res64: ACA1C2C14DB44842 Time : 0.0 sec. user=vaughan [2013-01-26 12:41:04] 897*2^1239985-1 is not prime. Res64: 2B288DFB4EF3F92E Time : 0.0 sec. user=mdettweiler [2013-01-26 12:50:08] 735*2^1239986-1 is not prime. Res64: 1A14CB3A4E69913F Time : 0.0 sec. user=mdettweiler [2013-01-26 12:50:08] 747*2^1239986-1 is not prime. Res64: D02E4CBFFD7EF24F Time : 0.0 sec. user=mdettweiler [2013-01-26 12:50:32] 851*2^1239986-1 is not prime. Res64: 4D22234A35E70025 Time : 0.0 sec. user=mdettweiler [2013-01-26 12:50:32] 609*2^1239987-1 is not prime. Res64: 36766FFC90988AD1 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:07:47] 895*2^1239987-1 is not prime. Res64: 4A21343237056783 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:07:49] 991*2^1239987-1 is not prime. Res64: 8096148E57E59D46 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:08:10] 647*2^1239988-1 is not prime. Res64: 1F762D7B5D68E14F Time : 0.0 sec. user=mdettweiler [2013-01-26 13:08:11] 707*2^1239988-1 is not prime. Res64: 682ECC9E29DA08B0 Time : 0.0 sec. user=vaughan [2013-01-26 13:18:59] 651*2^1239987-1 is not prime. Res64: 9603BA26CE5379F3 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:25:24] 783*2^1239988-1 is not prime. Res64: 302089CC4B19E70B Time : 0.0 sec. user=mdettweiler [2013-01-26 13:25:25] 863*2^1239988-1 is not prime. Res64: F168D32837C99CD3 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:25:36] 929*2^1239988-1 is not prime. Res64: 880F4214571A3B42 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:25:37] 987*2^1239988-1 is not prime. Res64: FE07D3C8F17A651B Time : 0.0 sec. user=juhehe [2013-01-26 13:33:46] 743*2^1239988-1 is not prime. Res64: C27A6512233E1CDB Time : 0.0 sec. user=mdettweiler [2013-01-26 13:42:58] 825*2^1239989-1 is not prime. Res64: EDD7386253068B5E Time : 0.0 sec. user=mdettweiler [2013-01-26 13:42:59] 829*2^1239989-1 is not prime. Res64: F9EC96E06E000636 Time : 0.0 sec. user=mdettweiler [2013-01-26 13:43:08] 837*2^1239989-1 is not prime. Res64: 0FB046FCFCB9586B Time : 0.0 sec. user=mdettweiler [2013-01-26 13:43:09] 861*2^1239989-1 is not prime. Res64: 1B4B4D80BFB60F9F Time : 0.0 sec. user=mdettweiler [2013-01-26 14:00:41] 907*2^1239989-1 is not prime. Res64: 762812B36D43029A Time : 0.0 sec. user=mdettweiler [2013-01-26 14:00:42] 945*2^1239989-1 is not prime. Res64: 0557DD7A91EC94EA Time : 0.0 sec. user=mdettweiler [2013-01-26 14:00:51] 671*2^1239990-1 is not prime. Res64: 09091973DF93CAEC Time : 0.0 sec. user=mdettweiler [2013-01-26 14:00:53] 801*2^1239990-1 is not prime. Res64: E0A74155920DE8E1 Time : 0.0 sec. user=vaughan [2013-01-26 14:01:55] 999*2^1239988-1 is not prime. Res64: E661D9AEC5607108 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:18:29] 845*2^1239990-1 is not prime. Res64: 7BA049EC0F74DEC9 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:18:29] 861*2^1239990-1 is not prime. Res64: 3EF819DB7BFBDBC7 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:18:31] 915*2^1239990-1 is not prime. Res64: 16CBF67BF28C3D5F Time : 0.0 sec. user=mdettweiler [2013-01-26 14:18:32] 917*2^1239990-1 is not prime. Res64: 8150B705403498DF Time : 0.0 sec. user=mdettweiler [2013-01-26 14:36:11] 675*2^1239991-1 is not prime. Res64: 39072971C8DA8170 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:36:12] 789*2^1239991-1 is not prime. Res64: 54183836DD673A16 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:36:14] 859*2^1239991-1 is not prime. Res64: E5588D6778037805 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:36:14] 603*2^1239992-1 is not prime. Res64: 5A780CEA65CD5653 Time : 0.0 sec. user=vaughan [2013-01-26 14:39:50] 963*2^1239990-1 is not prime. Res64: 5D9362A740CC6EBB Time : 0.0 sec. user=mdettweiler [2013-01-26 14:54:11] 725*2^1239992-1 is not prime. Res64: E32AC1709779BBB8 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:54:12] 767*2^1239992-1 is not prime. Res64: F99D4CA6FFBCFCB4 Time : 0.0 sec. user=mdettweiler [2013-01-26 14:54:14] 843*2^1239992-1 is not prime. Res64: E1EE08DDFBCC499A Time : 0.0 sec. user=mdettweiler [2013-01-26 14:54:14] 873*2^1239992-1 is not prime. Res64: 87C8A0A3F6B568C3 Time : 0.0 sec. user=juhehe [2013-01-26 15:10:02] 917*2^1239992-1 is not prime. Res64: 24C92D4E08751CF8 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:12:11] 999*2^1239992-1 is not prime. Res64: B0CE2B73E2748E32 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:12:12] 681*2^1239993-1 is not prime. Res64: 4ED619FD09003826 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:12:12] 691*2^1239993-1 is not prime. Res64: D8BDA14D0ACA6EE2 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:12:13] 837*2^1239993-1 is not prime. Res64: C3BA8BB3E401A116 Time : 0.0 sec. user=vaughan [2013-01-26 15:17:43] 977*2^1239992-1 is not prime. Res64: 47EC2D5A0E3806D2 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:30:07] 741*2^1239994-1 is not prime. Res64: CEAA4EF71FC7082A Time : 0.0 sec. user=mdettweiler [2013-01-26 15:30:08] 765*2^1239994-1 is not prime. Res64: A85DB71B04126E50 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:30:08] 645*2^1239994-1 is not prime. Res64: C18378BED07D3E66 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:30:09] 723*2^1239994-1 is not prime. Res64: C0A04907FF5420F4 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:48:01] 1001*2^1239994-1 is not prime. Res64: F30E2C832169FEAB Time : 0.0 sec. user=mdettweiler [2013-01-26 15:48:02] 601*2^1239995-1 is not prime. Res64: CC5998B60E40BD48 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:48:02] 669*2^1239995-1 is not prime. Res64: 338239AF84F4A4E0 Time : 0.0 sec. user=mdettweiler [2013-01-26 15:48:02] 685*2^1239995-1 is not prime. Res64: 79AAA2320EC2B3AD Time : 0.0 sec. user=vaughan [2013-01-26 15:55:35] 887*2^1239994-1 is not prime. Res64: 65CB9F57E75E9788 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:05:53] 705*2^1239995-1 is not prime. Res64: 7737C9820678C039 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:05:55] 715*2^1239995-1 is not prime. Res64: F4B51B5D7186253A Time : 0.0 sec. user=mdettweiler [2013-01-26 16:05:55] 759*2^1239995-1 is not prime. Res64: 0C2774851570C009 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:05:56] 781*2^1239995-1 is not prime. Res64: 68A9632B45869D00 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:24:04] 843*2^1239995-1 is not prime. Res64: D3FBFC47A5163C52 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:24:05] 861*2^1239995-1 is not prime. Res64: 66C333A470B1BF65 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:24:08] 883*2^1239995-1 is not prime. Res64: 946DCBCCF374523C Time : 0.0 sec. user=mdettweiler [2013-01-26 16:24:08] 915*2^1239995-1 is not prime. Res64: 10D97CDC98F30CFF Time : 0.0 sec. user=vaughan [2013-01-26 16:33:29] 823*2^1239995-1 is not prime. Res64: A4506220081D6588 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:42:05] 695*2^1239996-1 is not prime. Res64: 1A7480F4F17C3BBA Time : 0.0 sec. user=mdettweiler [2013-01-26 16:42:05] 737*2^1239996-1 is not prime. Res64: 2DA3AE70206855CC Time : 0.0 sec. user=mdettweiler [2013-01-26 16:42:20] 999*2^1239995-1 is not prime. Res64: 263BD7B42B6C37D1 Time : 0.0 sec. user=mdettweiler [2013-01-26 16:42:20] 647*2^1239996-1 is not prime. Res64: 94E94D60E9369D43 Time : 0.0 sec. user=juhehe [2013-01-26 16:46:23] 985*2^1239995-1 is not prime. Res64: 7030D106B64C8A5F Time : 0.0 sec. user=mdettweiler [2013-01-26 17:00:14] 927*2^1239996-1 is not prime. Res64: 688219903F8B9B7B Time : 0.0 sec. user=mdettweiler [2013-01-26 17:00:15] 975*2^1239996-1 is not prime. Res64: 2AD3D6BA69042EF2 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:00:32] 875*2^1239996-1 is not prime. Res64: DC8058E839D84BAA Time : 0.0 sec. user=mdettweiler [2013-01-26 17:00:33] 905*2^1239996-1 is not prime. Res64: 085BC5B4FED6BB1F Time : 0.0 sec. user=vaughan [2013-01-26 17:11:27] 777*2^1239996-1 is not prime. Res64: F6E32F68EB869922 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:17:46] 625*2^1239997-1 is not prime. Res64: 206892EDD2CD9701 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:17:46] 639*2^1239997-1 is not prime. Res64: BBE66D11251DC01A Time : 0.0 sec. user=mdettweiler [2013-01-26 17:18:01] 727*2^1239997-1 is not prime. Res64: 8893F66BC347AE80 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:18:01] 759*2^1239997-1 is not prime. Res64: 9C9153AA24CF3916 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:35:10] 931*2^1239997-1 is not prime. Res64: D439A4611BE1AC77 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:35:11] 957*2^1239997-1 is not prime. Res64: A6364BBB5CBD2C0A Time : 0.0 sec. user=mdettweiler [2013-01-26 17:35:25] 961*2^1239997-1 is not prime. Res64: CB23EC2BC6575A24 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:35:26] 641*2^1239998-1 is not prime. Res64: BF4851581F42E140 Time : 0.0 sec. user=vaughan [2013-01-26 17:49:24] 867*2^1239997-1 is not prime. Res64: 1E43A91BD511DBCB Time : 0.0 sec. user=mdettweiler [2013-01-26 17:52:35] 663*2^1239998-1 is not prime. Res64: BF24325187BDBFFF Time : 0.0 sec. user=mdettweiler [2013-01-26 17:52:36] 683*2^1239998-1 is not prime. Res64: C694FA371E728F7A Time : 0.0 sec. user=mdettweiler [2013-01-26 17:52:51] 773*2^1239998-1 is not prime. Res64: 1601433FF25ACA29 Time : 0.0 sec. user=mdettweiler [2013-01-26 17:52:51] 797*2^1239998-1 is not prime. Res64: D3DED2EFA914858F Time : 0.0 sec. user=mdettweiler [2013-01-26 18:10:05] 921*2^1239999-1 is not prime. Res64: 3BFEE6C19C328DD8 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:10:06] 961*2^1239999-1 is not prime. Res64: 38D2B4659EF4D583 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:10:16] 629*2^1240000-1 is not prime. Res64: CC6C3EF61B11BD9D Time : 0.0 sec. user=mdettweiler [2013-01-26 18:10:18] 645*2^1240000-1 is not prime. Res64: 6C1671FF5ECADAFA Time : 0.0 sec. user=juhehe [2013-01-26 18:22:37] 875*2^1239998-1 is not prime. Res64: 1B0106869CD7841A Time : 0.0 sec. user=vaughan [2013-01-26 18:27:16] 921*2^1239998-1 is not prime. Res64: 64BEAD4CC42755F2 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:27:46] 905*2^1240000-1 is not prime. Res64: DFFDD8B49D0B52E9 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:27:46] 677*2^1240000-1 is not prime. Res64: DA3F4D015D9D0A8D Time : 0.0 sec. user=mdettweiler [2013-01-26 18:27:47] 909*2^1240000-1 is not prime. Res64: 5713B65CD703E431 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:27:47] 825*2^1240000-1 is not prime. Res64: 741F98FFC7FE0421 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:45:11] 685*2^1240001-1 is not prime. Res64: ED50DFC56BEA8EA5 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:45:12] 741*2^1240001-1 is not prime. Res64: 4A09A12600E38B00 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:45:14] 925*2^1240001-1 is not prime. Res64: 5197CFD8EA3AC324 Time : 0.0 sec. user=mdettweiler [2013-01-26 18:45:14] 955*2^1240001-1 is not prime. Res64: 267A84478D0D9544 Time : 0.0 sec. user=mdettweiler [2013-01-26 19:02:43] 981*2^1240001-1 is not prime. Res64: 0492DB5614825850 Time : 0.0 sec. user=mdettweiler [2013-01-26 19:02:45] 765*2^1240002-1 is not prime. Res64: F69DF6FABFE9FC9D Time : 0.0 sec. user=mdettweiler [2013-01-26 19:02:46] 807*2^1240002-1 is not prime. Res64: CAFFA2C57705628B Time : 0.0 sec. user=mdettweiler [2013-01-26 19:02:51] 821*2^1240002-1 is not prime. Res64: 6510659001960810 Time : 0.0 sec. user=vaughan [2013-01-26 19:05:13] 649*2^1240001-1 is not prime. Res64: 9B748A11D3708E5F Time : 0.0 sec. user=mdettweiler [2013-01-26 19:20:57] 891*2^1240002-1 is not prime. Res64: 1ACD76FA26BB0712 Time : 0.0 sec. user=mdettweiler [2013-01-26 19:20:57] 603*2^1240003-1 is not prime. Res64: 9CBFBAA133EFFF4F Time : 0.0 sec. user=mdettweiler [2013-01-26 19:21:01] 615*2^1240003-1 is not prime. Res64: EEEB8334D5B6614B Time : 0.0 sec. user=mdettweiler [2013-01-26 19:21:01] 625*2^1240003-1 is not prime. Res64: 8D2B958F5822D9D2 Time : 0.0 sec. user=mdettweiler [2013-01-26 19:38:28] 919*2^1240003-1 is not prime. Res64: 12DE3926623B1113 Time : 0.0 sec. user=mdettweiler [2013-01-26 19:38:29] 969*2^1240003-1 is not prime. Res64: ACAC96D0E55D5B2A Time : 0.0 sec. user=mdettweiler [2013-01-26 19:38:31] 615*2^1240004-1 is not prime. Res64: 9D1C57814244258B Time : 0.0 sec. user=mdettweiler [2013-01-26 19:38:32] 623*2^1240004-1 is not prime. Res64: 6428BC7F12BFAD0E Time : 0.0 sec. user=vaughan [2013-01-26 19:43:08] 861*2^1240003-1 is not prime. Res64: 8CFB2132862B5D22 Time : 0.0 sec. user=juhehe [2013-01-26 19:58:52] 819*2^1240004-1 is not prime. Res64: 2996203CE464EE0A Time : 0.0 sec. user=mdettweiler [2013-01-26 20:07:35] 855*2^1240004-1 is not prime. Res64: 50BE15DF94AA238B Time : 0.0 sec. user=mdettweiler [2013-01-26 20:07:36] 923*2^1240004-1 is not prime. Res64: 099BFD5778F72376 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:07:38] 935*2^1240004-1 is not prime. Res64: C275147512479A1F Time : 0.0 sec. user=mdettweiler [2013-01-26 20:07:40] 953*2^1240004-1 is not prime. Res64: 9D06C76006106A20 Time : 0.0 sec. user=vaughan [2013-01-26 20:21:05] 987*2^1240004-1 is not prime. Res64: E2685B3145DDB623 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:25:30] 609*2^1240005-1 is not prime. Res64: 5755EC5F1C1BD3A7 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:25:30] 627*2^1240005-1 is not prime. Res64: 9284620610C9114C Time : 0.0 sec. user=mdettweiler [2013-01-26 20:25:31] 685*2^1240005-1 is not prime. Res64: 577754B9E7947074 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:25:31] 699*2^1240005-1 is not prime. Res64: F7DB1E45DF64FD6F Time : 0.0 sec. user=mdettweiler [2013-01-26 20:43:12] 651*2^1240006-1 is not prime. Res64: 40FC16F61AE21C04 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:43:12] 877*2^1240005-1 is not prime. Res64: BC8BD339E4CD2DC5 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:43:12] 773*2^1240006-1 is not prime. Res64: 0BF9C645C2DE9181 Time : 0.0 sec. user=mdettweiler [2013-01-26 20:43:12] 891*2^1240005-1 is not prime. Res64: 244D5E0340BE4994 Time : 0.0 sec. user=vaughan [2013-01-26 20:59:08] 817*2^1240005-1 is not prime. Res64: C660FEFAB73B124C Time : 0.0 sec. user=mdettweiler [2013-01-26 21:00:56] 777*2^1240006-1 is not prime. Res64: AB8655499020E6DC Time : 0.0 sec. user=mdettweiler [2013-01-26 21:00:56] 1001*2^1240006-1 is not prime. Res64: 0BC9D1E87ECAA96A Time : 0.0 sec. user=mdettweiler [2013-01-26 21:00:57] 933*2^1240006-1 is not prime. Res64: 2E010003466C6E06 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:00:58] 675*2^1240007-1 is not prime. Res64: 37B634ABA4E7E2A1 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:19:04] 683*2^1240008-1 is not prime. Res64: 45E3B98E5D9854E1 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:19:05] 627*2^1240008-1 is not prime. Res64: 64F69112C837B99B Time : 0.0 sec. user=mdettweiler [2013-01-26 21:19:05] 825*2^1240008-1 is not prime. Res64: BB0A1F8BD73E1CB6 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:19:06] 849*2^1240008-1 is not prime. Res64: 79E8659FE11C9E88 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:36:37] 993*2^1240008-1 is not prime. Res64: DBC1355433677303 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:36:38] 609*2^1240009-1 is not prime. Res64: B4CD1342594F8F15 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:36:38] 615*2^1240009-1 is not prime. Res64: 9B57207DB482CAD3 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:36:39] 681*2^1240009-1 is not prime. Res64: D6A4DE05A25FFDF9 Time : 0.0 sec. user=vaughan [2013-01-26 21:37:01] 859*2^1240007-1 is not prime. Res64: 71FC4E03773763BE Time : 0.0 sec. user=mdettweiler [2013-01-26 21:54:08] 721*2^1240009-1 is not prime. Res64: 27C5FA85AB81B117 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:54:09] 765*2^1240009-1 is not prime. Res64: 97943D7B38A91363 Time : 0.0 sec. user=mdettweiler [2013-01-26 21:54:09] 861*2^1240009-1 is not prime. Res64: 826A9C273DF3E93C Time : 0.0 sec. user=mdettweiler [2013-01-26 21:54:10] 635*2^1240010-1 is not prime. Res64: 22EE7F8E09C9A042 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:11:31] 861*2^1240010-1 is not prime. Res64: 5C6BE9085D19CB06 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:11:31] 945*2^1240010-1 is not prime. Res64: 1BA196FFDB4BCC03 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:11:32] 887*2^1240010-1 is not prime. Res64: 05D562234BF76A14 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:11:32] 977*2^1240010-1 is not prime. Res64: E74D46F5E27E49DB Time : 0.0 sec. user=vaughan [2013-01-26 22:14:56] 641*2^1240010-1 is not prime. Res64: 22CC2789143594D0 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:28:53] 643*2^1240011-1 is not prime. Res64: 6AC9898912D886B4 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:28:53] 709*2^1240011-1 is not prime. Res64: 0158D2371A77A1F9 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:28:55] 789*2^1240011-1 is not prime. Res64: D7B4948E73933350 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:28:55] 849*2^1240011-1 is not prime. Res64: 3BFB096633F78E20 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:46:14] 765*2^1240012-1 is not prime. Res64: B2B12C7ED7A7D31C Time : 0.0 sec. user=mdettweiler [2013-01-26 22:46:14] 797*2^1240012-1 is not prime. Res64: 0C62366DB9898378 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:46:15] 819*2^1240012-1 is not prime. Res64: 93AA0EC1272C4C93 Time : 0.0 sec. user=mdettweiler [2013-01-26 22:46:16] 833*2^1240012-1 is not prime. Res64: 8BDCD87E9CC969F9 Time : 0.0 sec. user=vaughan [2013-01-26 22:52:51] 639*2^1240012-1 is not prime. Res64: B138B5BE39B58951 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:03:37] 787*2^1240013-1 is not prime. Res64: 8784D17D37D4DE7F Time : 0.0 sec. user=mdettweiler [2013-01-26 23:03:38] 873*2^1240012-1 is not prime. Res64: 41AFFE5F5ACF8D8A Time : 0.0 sec. user=mdettweiler [2013-01-26 23:03:44] 871*2^1240013-1 is not prime. Res64: 12539D50B827D1E5 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:03:45] 675*2^1240013-1 is not prime. Res64: DC45D2624CDCBD2C Time : 0.0 sec. user=mdettweiler [2013-01-26 23:21:50] 861*2^1240014-1 is not prime. Res64: 642E26050067E45E Time : 0.0 sec. user=mdettweiler [2013-01-26 23:21:51] 873*2^1240014-1 is not prime. Res64: 4ACAC5C9FCBD85C0 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:21:55] 941*2^1240014-1 is not prime. Res64: 850ADCAF5513F165 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:21:55] 951*2^1240014-1 is not prime. Res64: 85C15C98F036C5BC Time : 0.0 sec. user=vaughan [2013-01-26 23:30:44] 851*2^1240014-1 is not prime. Res64: 2608CFCF98EB20DD Time : 0.0 sec. user=mdettweiler [2013-01-26 23:39:13] 1001*2^1240014-1 is not prime. Res64: 2C34E79707B76BC4 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:39:14] 789*2^1240015-1 is not prime. Res64: 16AB10309414EF07 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:39:15] 891*2^1240015-1 is not prime. Res64: 08DAF108C04D59D1 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:39:15] 909*2^1240015-1 is not prime. Res64: BC36896EF19FE87B Time : 0.0 sec. user=mdettweiler [2013-01-26 23:56:34] 609*2^1240016-1 is not prime. Res64: 608D09DA7FDB3EEF Time : 0.0 sec. user=mdettweiler [2013-01-26 23:56:35] 845*2^1240016-1 is not prime. Res64: 40EE57304AB27530 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:56:35] 899*2^1240016-1 is not prime. Res64: 77013FA6F3D20F02 Time : 0.0 sec. user=mdettweiler [2013-01-26 23:56:35] 615*2^1240017-1 is not prime. Res64: FE46C351CD3CC444 Time : 0.0 sec.