user=juhehe [2012-08-31 00:03:06] 855*2^1227883-1 is not prime. Res64: DC5833B2D1278D57 Time : 0.0 sec. user=vaughan [2012-08-31 00:03:49] 873*2^1227883-1 is not prime. Res64: 8EF6B69C64D1F6D4 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:15:05] 727*2^1227885-1 is not prime. Res64: A8C335F8133216FD Time : 0.0 sec. user=mdettweiler [2012-08-31 00:15:08] 789*2^1227885-1 is not prime. Res64: 42A6B5A73CD1A6AE Time : 0.0 sec. user=mdettweiler [2012-08-31 00:15:21] 871*2^1227885-1 is not prime. Res64: 8E627A4BFE154087 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:15:24] 937*2^1227885-1 is not prime. Res64: BDB8F5E88460414B Time : 0.0 sec. user=mdettweiler [2012-08-31 00:16:44] 675*2^1227885-1 is not prime. Res64: A58F8F4674C802A4 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:27:36] 647*2^1227886-1 is not prime. Res64: BE97CC7DA2AF765F Time : 0.0 sec. user=mdettweiler [2012-08-31 00:35:46] 671*2^1227886-1 is not prime. Res64: 3477701A40C0A0B2 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:35:46] 777*2^1227886-1 is not prime. Res64: 52DC6AAF809995EC Time : 0.0 sec. user=mdettweiler [2012-08-31 00:36:00] 801*2^1227886-1 is not prime. Res64: 9BE3C0FABD751B0B Time : 0.0 sec. user=mdettweiler [2012-08-31 00:36:01] 813*2^1227886-1 is not prime. Res64: 29464EA96D39918F Time : 0.0 sec. user=vaughan [2012-08-31 00:41:44] 657*2^1227886-1 is not prime. Res64: 51934073E5BAA34E Time : 0.0 sec. user=mdettweiler [2012-08-31 00:46:21] 843*2^1227886-1 is not prime. Res64: DE6AEC1178772B3A Time : 0.0 sec. user=mdettweiler [2012-08-31 00:56:21] 603*2^1227887-1 is not prime. Res64: 92E1AC0E9CB75259 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:56:21] 663*2^1227887-1 is not prime. Res64: 38A36B3B55CD62E1 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:56:33] 693*2^1227887-1 is not prime. Res64: 435801DB9F9176A9 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:56:34] 729*2^1227887-1 is not prime. Res64: BCC8C4EDBAD5A719 Time : 0.0 sec. user=mdettweiler [2012-08-31 00:57:14] 981*2^1227886-1 is not prime. Res64: E6BAD7EC39D57052 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:15:54] 859*2^1227887-1 is not prime. Res64: 5C331BFDB7AECAC6 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:16:55] 883*2^1227887-1 is not prime. Res64: 8DC14455170E0998 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:16:55] 981*2^1227887-1 is not prime. Res64: 4078E2FAFC19EA79 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:17:07] 605*2^1227888-1 is not prime. Res64: 87F6D84413BD10A4 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:17:07] 699*2^1227888-1 is not prime. Res64: F0B5061323AE0310 Time : 0.0 sec. user=vaughan [2012-08-31 01:19:26] 831*2^1227887-1 is not prime. Res64: 6B60C30C04364DC3 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:26:48] 767*2^1227888-1 is not prime. Res64: 3B9B036CB55D350B Time : 0.0 sec. user=mdettweiler [2012-08-31 01:37:31] 843*2^1227888-1 is not prime. Res64: 27E24C9FEC23A877 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:37:31] 935*2^1227888-1 is not prime. Res64: CBE4C45D3146B21A Time : 0.0 sec. user=mdettweiler [2012-08-31 01:37:43] 993*2^1227888-1 is not prime. Res64: EA951CC2C3A04ECE Time : 0.0 sec. user=mdettweiler [2012-08-31 01:37:43] 841*2^1227889-1 is not prime. Res64: CC20E5EE30603B0A Time : 0.0 sec. user=mdettweiler [2012-08-31 01:45:42] 825*2^1227888-1 is not prime. Res64: 0725AD0422B8C4A4 Time : 0.0 sec. user=vaughan [2012-08-31 01:57:09] 885*2^1227889-1 is not prime. Res64: D790A221B3CAC57E Time : 0.0 sec. user=mdettweiler [2012-08-31 01:57:09] 675*2^1227890-1 is not prime. Res64: 93BF9BAE2B7FE85C Time : 0.0 sec. user=mdettweiler [2012-08-31 01:58:04] 893*2^1227890-1 is not prime. Res64: 086FD5A373AEA99C Time : 0.0 sec. user=mdettweiler [2012-08-31 01:58:05] 977*2^1227890-1 is not prime. Res64: 52984A9D3F28C8C8 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:58:16] 931*2^1227891-1 is not prime. Res64: CB9EA2D87AE3F9C6 Time : 0.0 sec. user=mdettweiler [2012-08-31 01:58:16] 605*2^1227892-1 is not prime. Res64: 5EB9C427C28D18B3 Time : 0.0 sec. user=juhehe [2012-08-31 02:08:35] 999*2^1227889-1 is not prime. Res64: AA2A5D3C530D1666 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:16:29] 609*2^1227892-1 is not prime. Res64: 5761D49A4F05BD77 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:18:37] 923*2^1227892-1 is not prime. Res64: 325FEB42B1D07C94 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:18:37] 983*2^1227892-1 is not prime. Res64: 9B506529199355F6 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:18:49] 995*2^1227892-1 is not prime. Res64: 42184B7E38EEA1A1 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:18:49] 999*2^1227892-1 is not prime. Res64: A06278081323673C Time : 0.0 sec. user=mdettweiler [2012-08-31 02:27:08] 647*2^1227892-1 is not prime. Res64: 22EBCD6A090606EF Time : 0.0 sec. user=vaughan [2012-08-31 02:34:53] 693*2^1227892-1 is not prime. Res64: 444419500F0293FE Time : 0.0 sec. user=mdettweiler [2012-08-31 02:39:11] 741*2^1227893-1 is not prime. Res64: EDEDFFA333E55ADA Time : 0.0 sec. user=mdettweiler [2012-08-31 02:39:12] 787*2^1227893-1 is not prime. Res64: 4F9F7E9656EEBDC3 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:39:22] 795*2^1227893-1 is not prime. Res64: 8255CF01019AF9F6 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:39:23] 889*2^1227893-1 is not prime. Res64: 130E92742A4A90C9 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:55:57] 897*2^1227893-1 is not prime. Res64: 78164DAFF075A5E2 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:59:45] 683*2^1227894-1 is not prime. Res64: D3D12D66A9A9323F Time : 0.0 sec. user=mdettweiler [2012-08-31 02:59:46] 707*2^1227894-1 is not prime. Res64: C0E1F7C859F15BD8 Time : 0.0 sec. user=mdettweiler [2012-08-31 02:59:55] 965*2^1227894-1 is not prime. Res64: BC1001250D99368A Time : 0.0 sec. user=mdettweiler [2012-08-31 02:59:56] 789*2^1227895-1 is not prime. Res64: 536A8A90BA25BAF4 Time : 0.0 sec. user=gd_barnes [2012-08-31 03:02:08] 615*2^1227894-1 is not prime. Res64: A1E268A995A0E29D Time : 0.0 sec. user=vaughan [2012-08-31 03:12:43] 621*2^1227894-1 is not prime. Res64: 7FA031E3889B178C Time : 0.0 sec. user=mdettweiler [2012-08-31 03:17:15] 793*2^1227895-1 is not prime. Res64: C85841557B5C7E4E Time : 0.0 sec. user=mdettweiler [2012-08-31 03:20:19] 909*2^1227895-1 is not prime. Res64: 956C8BFEFD3FDEA7 Time : 0.0 sec. user=mdettweiler [2012-08-31 03:20:19] 743*2^1227896-1 is not prime. Res64: 3FDBC68B6919ECE3 Time : 0.0 sec. user=mdettweiler [2012-08-31 03:20:27] 935*2^1227896-1 is not prime. Res64: E365BF32CF793BFE Time : 0.0 sec. user=mdettweiler [2012-08-31 03:20:28] 639*2^1227897-1 is not prime. Res64: 294E184A298A0147 Time : 0.0 sec. user=mdettweiler [2012-08-31 03:25:43] 843*2^1227895-1 is not prime. Res64: 07596473C51A619E Time : 0.0 sec. user=mdettweiler [2012-08-31 03:40:55] 735*2^1227897-1 is not prime. Res64: D7580D8BFB443A1E Time : 0.0 sec. user=mdettweiler [2012-08-31 03:40:57] 739*2^1227897-1 is not prime. Res64: F65B6ADF6C8AB219 Time : 0.0 sec. user=mdettweiler [2012-08-31 03:41:00] 847*2^1227897-1 is not prime. Res64: B9CC9F278E351FFB Time : 0.0 sec. user=mdettweiler [2012-08-31 03:41:02] 945*2^1227897-1 is not prime. Res64: 05548D89E05A5DCF Time : 0.0 sec. user=mdettweiler [2012-08-31 03:46:51] 717*2^1227897-1 is not prime. Res64: 25B92CEE13628002 Time : 0.0 sec. user=vaughan [2012-08-31 03:50:34] 667*2^1227897-1 is not prime. Res64: 79ED726ABD96D7AA Time : 0.0 sec. user=mdettweiler [2012-08-31 03:55:18] 773*2^1227898-1 is not prime. Res64: 195AAB3D73FCE430 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:01:48] 643*2^1227899-1 is not prime. Res64: 9AA4F938FCB52B0D Time : 0.0 sec. user=mdettweiler [2012-08-31 04:01:50] 969*2^1227899-1 is not prime. Res64: 919E88C7E554DA80 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:01:51] 799*2^1227899-1 is not prime. Res64: 68B9122C65E3A0FB Time : 0.0 sec. user=mdettweiler [2012-08-31 04:01:51] 675*2^1227900-1 is not prime. Res64: 86C3202EDB521F96 Time : 0.0 sec. user=juhehe [2012-08-31 04:13:56] 993*2^1227898-1 is not prime. Res64: 4EB8BAAEE74A4554 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:16:25] 719*2^1227900-1 is not prime. Res64: D2B6D199874AE7B5 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:22:58] 893*2^1227900-1 is not prime. Res64: EE2C45E200BCBC6B Time : 0.0 sec. user=mdettweiler [2012-08-31 04:22:59] 929*2^1227900-1 is not prime. Res64: 044E93169A70D4EE Time : 0.0 sec. user=mdettweiler [2012-08-31 04:22:59] 639*2^1227901-1 is not prime. Res64: A4E293CD6759C52E Time : 0.0 sec. user=mdettweiler [2012-08-31 04:23:01] 645*2^1227901-1 is not prime. Res64: 5C2DF8398B1DF5CB Time : 0.0 sec. user=mdettweiler [2012-08-31 04:24:54] 887*2^1227900-1 is not prime. Res64: 11D7B88ED8028BA3 Time : 0.0 sec. user=vaughan [2012-08-31 04:28:19] 737*2^1227900-1 is not prime. Res64: DBE23B13E0391E32 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:43:38] 727*2^1227901-1 is not prime. Res64: D2D6BE4E4BAA42FA Time : 0.0 sec. user=mdettweiler [2012-08-31 04:43:39] 927*2^1227901-1 is not prime. Res64: 9946333E989EAEB1 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:43:41] 603*2^1227902-1 is not prime. Res64: 8AF66E1C3189E190 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:43:42] 657*2^1227902-1 is not prime. Res64: A19947036DE64C13 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:46:11] 675*2^1227901-1 is not prime. Res64: BE0FBF55BCDB5BE4 Time : 0.0 sec. user=mdettweiler [2012-08-31 04:54:28] 683*2^1227902-1 is not prime. Res64: C9703F4A115B76B0 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:04:38] 903*2^1227902-1 is not prime. Res64: 6BE17FB93CD8F1DA Time : 0.0 sec. user=mdettweiler [2012-08-31 05:04:40] 921*2^1227902-1 is not prime. Res64: 76C2CEA31FEFF09E Time : 0.0 sec. user=mdettweiler [2012-08-31 05:04:41] 1001*2^1227902-1 is not prime. Res64: 49D2C87B275D730F Time : 0.0 sec. user=mdettweiler [2012-08-31 05:04:42] 709*2^1227903-1 is not prime. Res64: 6F6873BE1D213516 Time : 0.0 sec. user=vaughan [2012-08-31 05:06:02] 857*2^1227902-1 is not prime. Res64: 608C5AE69906829A Time : 0.0 sec. user=mdettweiler [2012-08-31 05:15:45] 723*2^1227903-1 is not prime. Res64: A970C95890584A46 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:24:05] 735*2^1227903-1 is not prime. Res64: 05E021526D9E696F Time : 0.0 sec. user=mdettweiler [2012-08-31 05:25:34] 775*2^1227903-1 is not prime. Res64: 44C241DD85AC5992 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:25:35] 805*2^1227903-1 is not prime. Res64: 255E3B26081BED5F Time : 0.0 sec. user=mdettweiler [2012-08-31 05:25:37] 829*2^1227903-1 is not prime. Res64: 1ACF8BC5945E6AE4 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:25:37] 891*2^1227903-1 is not prime. Res64: 30D96F44E05C636C Time : 0.0 sec. user=vaughan [2012-08-31 05:43:48] 933*2^1227903-1 is not prime. Res64: D5CDF9AAE6D24884 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:45:28] 629*2^1227904-1 is not prime. Res64: 568873C7BC0C4C5F Time : 0.0 sec. user=mdettweiler [2012-08-31 05:46:08] 723*2^1227904-1 is not prime. Res64: BD61887DE5187AA0 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:46:09] 855*2^1227904-1 is not prime. Res64: 90428CF5CC1D3E82 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:46:10] 915*2^1227904-1 is not prime. Res64: FFAF28C5E310CE78 Time : 0.0 sec. user=mdettweiler [2012-08-31 05:46:11] 939*2^1227904-1 is not prime. Res64: D8B46A5CD4B6B7CF Time : 0.0 sec. user=mdettweiler [2012-08-31 05:53:46] 657*2^1227904-1 is not prime. Res64: 8C68B54C68029A59 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:06:42] 909*2^1227905-1 is not prime. Res64: 096614268658C902 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:06:43] 957*2^1227905-1 is not prime. Res64: B009377A0F776866 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:06:44] 985*2^1227905-1 is not prime. Res64: 45619273E15A99A0 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:06:46] 991*2^1227905-1 is not prime. Res64: 569B731F2BE05557 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:15:05] 847*2^1227905-1 is not prime. Res64: A8EB73D395781BC7 Time : 0.0 sec. user=juhehe [2012-08-31 06:19:48] 777*2^1227905-1 is not prime. Res64: 2F29495813333036 Time : 0.0 sec. user=vaughan [2012-08-31 06:21:38] 841*2^1227905-1 is not prime. Res64: F08E414B0B679399 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:23:22] 633*2^1227906-1 is not prime. Res64: FEA0941F0619EC78 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:27:33] 713*2^1227906-1 is not prime. Res64: 411D54C4BB56BFB7 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:27:34] 725*2^1227906-1 is not prime. Res64: EC2098F261817685 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:27:36] 815*2^1227906-1 is not prime. Res64: 5D7759B6802B277A Time : 0.0 sec. user=mdettweiler [2012-08-31 06:27:37] 843*2^1227906-1 is not prime. Res64: 162F0D2E06839F22 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:44:45] 861*2^1227906-1 is not prime. Res64: F0262115F26D7799 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:48:07] 975*2^1227906-1 is not prime. Res64: CC4EE119D3D823A2 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:48:08] 645*2^1227907-1 is not prime. Res64: EF0C9AD9F0538759 Time : 0.0 sec. user=mdettweiler [2012-08-31 06:48:09] 693*2^1227907-1 is not prime. Res64: 0898D5E651E9E13B Time : 0.0 sec. user=mdettweiler [2012-08-31 06:48:10] 765*2^1227907-1 is not prime. Res64: 7A4BC92B9059D22B Time : 0.0 sec. user=mdettweiler [2012-08-31 06:52:59] 903*2^1227906-1 is not prime. Res64: F3E3B672B3599C03 Time : 0.0 sec. user=vaughan [2012-08-31 06:59:20] 873*2^1227906-1 is not prime. Res64: A833C69D3C6F3E2E Time : 0.0 sec. user=mdettweiler [2012-08-31 07:08:41] 889*2^1227907-1 is not prime. Res64: 181032352F88F8CC Time : 0.0 sec. user=mdettweiler [2012-08-31 07:08:43] 901*2^1227907-1 is not prime. Res64: 8F50A23C17F1E695 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:08:43] 961*2^1227907-1 is not prime. Res64: BCFFEF2493B82F2B Time : 0.0 sec. user=mdettweiler [2012-08-31 07:08:43] 973*2^1227907-1 is not prime. Res64: 85A2DBDB998E8160 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:14:19] 775*2^1227907-1 is not prime. Res64: 372A02B23A2538CC Time : 0.0 sec. user=mdettweiler [2012-08-31 07:22:31] 633*2^1227908-1 is not prime. Res64: 597F02A9BE0A2779 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:29:21] 753*2^1227908-1 is not prime. Res64: 230912EF60A6C877 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:29:21] 837*2^1227908-1 is not prime. Res64: 68D85AF50519CFA4 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:29:22] 885*2^1227908-1 is not prime. Res64: 4959EE3075AA10E0 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:29:23] 935*2^1227908-1 is not prime. Res64: CE90EF513A423097 Time : 0.0 sec. user=vaughan [2012-08-31 07:37:02] 669*2^1227908-1 is not prime. Res64: B995BFBB0BE1986B Time : 0.0 sec. user=mdettweiler [2012-08-31 07:43:54] 691*2^1227909-1 is not prime. Res64: C00080762B9CB07D Time : 0.0 sec. user=mdettweiler [2012-08-31 07:49:54] 787*2^1227909-1 is not prime. Res64: 94F0911FD7E67521 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:49:55] 927*2^1227909-1 is not prime. Res64: 8FA50B7EF58D5708 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:49:55] 969*2^1227909-1 is not prime. Res64: 8D123A607103B071 Time : 0.0 sec. user=mdettweiler [2012-08-31 07:49:56] 681*2^1227910-1 is not prime. Res64: AD9C5A31B90F2FEC Time : 0.0 sec. user=mdettweiler [2012-08-31 07:52:06] 709*2^1227909-1 is not prime. Res64: 11962C4D882EB2FA Time : 0.0 sec. user=mdettweiler [2012-08-31 08:10:27] 833*2^1227910-1 is not prime. Res64: 957693E905D3B038 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:10:28] 971*2^1227910-1 is not prime. Res64: A67A6FC1A2C30A89 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:10:28] 843*2^1227910-1 is not prime. Res64: C3AEEE0AE7906D31 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:10:29] 1001*2^1227910-1 is not prime. Res64: 69F8B5BF328D0A72 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:13:29] 813*2^1227910-1 is not prime. Res64: B581337124CDEFD3 Time : 0.0 sec. user=vaughan [2012-08-31 08:14:44] 761*2^1227910-1 is not prime. Res64: E6415D41D23C85FB Time : 0.0 sec. user=mdettweiler [2012-08-31 08:21:42] 609*2^1227911-1 is not prime. Res64: 6150DB18D970AEDF Time : 0.0 sec. user=mdettweiler [2012-08-31 08:31:05] 615*2^1227911-1 is not prime. Res64: F4D21361F15D825D Time : 0.0 sec. user=mdettweiler [2012-08-31 08:31:06] 781*2^1227911-1 is not prime. Res64: A90F22CE403050FC Time : 0.0 sec. user=mdettweiler [2012-08-31 08:31:08] 913*2^1227911-1 is not prime. Res64: 5BA9F23B92E047AD Time : 0.0 sec. user=mdettweiler [2012-08-31 08:31:09] 627*2^1227912-1 is not prime. Res64: 80AE61D43621C220 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:43:04] 629*2^1227912-1 is not prime. Res64: 9E2777DDADDA4719 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:51:14] 747*2^1227912-1 is not prime. Res64: DBB5480621A518C1 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:51:40] 975*2^1227912-1 is not prime. Res64: 67AF5FDC8B75E506 Time : 0.0 sec. user=mdettweiler [2012-08-31 08:51:41] 805*2^1227913-1 is not prime. Res64: 46AF7F3D9146D1BF Time : 0.0 sec. user=mdettweiler [2012-08-31 08:51:41] 847*2^1227913-1 is not prime. Res64: F7A08B575FD81F0D Time : 0.0 sec. user=mdettweiler [2012-08-31 08:51:42] 939*2^1227913-1 is not prime. Res64: A7B7B5351B183083 Time : 0.0 sec. user=vaughan [2012-08-31 08:52:27] 635*2^1227912-1 is not prime. Res64: ECFAB3BCE6AE4C32 Time : 0.0 sec. user=juhehe [2012-08-31 09:06:44] 893*2^1227912-1 is not prime. Res64: A629EF8BB80F5ABA Time : 0.0 sec. user=mdettweiler [2012-08-31 09:12:15] 671*2^1227914-1 is not prime. Res64: DDBE64600D20F3B4 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:12:16] 825*2^1227914-1 is not prime. Res64: 781F20021AADF40E Time : 0.0 sec. user=mdettweiler [2012-08-31 09:12:16] 971*2^1227914-1 is not prime. Res64: 3A1B67137F915A98 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:12:17] 1001*2^1227914-1 is not prime. Res64: 70BC1E3EC64991BC Time : 0.0 sec. user=mdettweiler [2012-08-31 09:12:38] 979*2^1227913-1 is not prime. Res64: ED9F96E3C2CAEBE7 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:20:47] 641*2^1227914-1 is not prime. Res64: ADAE9D01F4E40AC9 Time : 0.0 sec. user=vaughan [2012-08-31 09:30:10] 619*2^1227915-1 is not prime. Res64: 3E28CC7904A8258A Time : 0.0 sec. user=mdettweiler [2012-08-31 09:32:53] 709*2^1227915-1 is not prime. Res64: 532E0040E5383431 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:32:54] 751*2^1227915-1 is not prime. Res64: 9D3CBFB6D2F0A89B Time : 0.0 sec. user=mdettweiler [2012-08-31 09:32:56] 753*2^1227915-1 is not prime. Res64: 495D91DAA8BAB606 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:32:56] 819*2^1227915-1 is not prime. Res64: 8B7397CFE7F67A7F Time : 0.0 sec. user=mdettweiler [2012-08-31 09:42:15] 853*2^1227915-1 is not prime. Res64: 22AA8B857A38BF0F Time : 0.0 sec. user=mdettweiler [2012-08-31 09:50:26] 909*2^1227915-1 is not prime. Res64: C39767048E8EB6FA Time : 0.0 sec. user=juhehe [2012-08-31 09:51:38] 679*2^1227915-1 is not prime. Res64: 5B0FFBD7A99F4DF9 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:53:26] 695*2^1227916-1 is not prime. Res64: F40A48A07051F59B Time : 0.0 sec. user=mdettweiler [2012-08-31 09:53:27] 983*2^1227916-1 is not prime. Res64: E546F3B63ACD6095 Time : 0.0 sec. user=mdettweiler [2012-08-31 09:53:29] 607*2^1227917-1 is not prime. Res64: 1D0B68D649D7B3CD Time : 0.0 sec. user=mdettweiler [2012-08-31 09:53:29] 669*2^1227917-1 is not prime. Res64: 4D8CDAA696BAA7E7 Time : 0.0 sec. user=vaughan [2012-08-31 10:08:13] 615*2^1227916-1 is not prime. Res64: 8AAEFB72D35A0EC0 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:11:52] 685*2^1227917-1 is not prime. Res64: 8E30F5502D0F9D01 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:14:00] 781*2^1227917-1 is not prime. Res64: 7896FCF98C7F3399 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:14:00] 801*2^1227917-1 is not prime. Res64: B2B099BC72F2409C Time : 0.0 sec. user=mdettweiler [2012-08-31 10:14:02] 847*2^1227917-1 is not prime. Res64: 7B446D3EF43E4801 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:14:03] 859*2^1227917-1 is not prime. Res64: B67EDE7C129F960D Time : 0.0 sec. user=mdettweiler [2012-08-31 10:20:05] 711*2^1227917-1 is not prime. Res64: 1A6F490A53F1DD7E Time : 0.0 sec. user=mdettweiler [2012-08-31 10:34:33] 711*2^1227918-1 is not prime. Res64: E05A3450F9D795A8 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:34:33] 737*2^1227918-1 is not prime. Res64: A64E9BCE4E8B6C41 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:34:40] 885*2^1227918-1 is not prime. Res64: 6FC3A3F4137CC2E1 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:34:40] 1001*2^1227918-1 is not prime. Res64: E792F8625C4A39BA Time : 0.0 sec. user=mdettweiler [2012-08-31 10:41:32] 707*2^1227918-1 is not prime. Res64: 6744D3EB9C83587E Time : 0.0 sec. user=vaughan [2012-08-31 10:46:08] 915*2^1227917-1 is not prime. Res64: F76C695A27C428FA Time : 0.0 sec. user=mdettweiler [2012-08-31 10:49:41] 609*2^1227919-1 is not prime. Res64: 55121C07C0C340E4 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:56:13] 681*2^1227919-1 is not prime. Res64: C7F4B54EDEF4A9CA Time : 0.0 sec. user=mdettweiler [2012-08-31 10:56:14] 709*2^1227919-1 is not prime. Res64: 2D1ECF78A2DBEC39 Time : 0.0 sec. user=mdettweiler [2012-08-31 10:56:20] 843*2^1227919-1 is not prime. Res64: 6F48E557A4142FBB Time : 0.0 sec. user=mdettweiler [2012-08-31 10:56:20] 855*2^1227919-1 is not prime. Res64: E2BE306822A8EFFF Time : 0.0 sec. user=mdettweiler [2012-08-31 11:11:09] 973*2^1227919-1 is not prime. Res64: 1798E32039C2F07A Time : 0.0 sec. user=mdettweiler [2012-08-31 11:16:59] 717*2^1227920-1 is not prime. Res64: EC433DCD0180ECE5 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:17:00] 797*2^1227920-1 is not prime. Res64: 653E4C2DF5FA9DE9 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:17:07] 747*2^1227921-1 is not prime. Res64: F79DC11614E609FC Time : 0.0 sec. user=mdettweiler [2012-08-31 11:17:08] 789*2^1227921-1 is not prime. Res64: 342A1EBE3C540EE8 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:19:14] 713*2^1227920-1 is not prime. Res64: 86F7659D15DAD304 Time : 0.0 sec. user=vaughan [2012-08-31 11:23:49] 609*2^1227920-1 is not prime. Res64: 002ECDB15F3F16B6 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:37:48] 885*2^1227921-1 is not prime. Res64: C0BB58B95EE28D97 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:37:48] 975*2^1227921-1 is not prime. Res64: FBB40BD37BDFBA0F Time : 0.0 sec. user=mdettweiler [2012-08-31 11:37:52] 979*2^1227921-1 is not prime. Res64: E687C1387DC10983 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:37:52] 617*2^1227922-1 is not prime. Res64: 5F148BDFF5A900D8 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:40:56] 835*2^1227921-1 is not prime. Res64: 58CD17FF1C1F2AAE Time : 0.0 sec. user=mdettweiler [2012-08-31 11:48:47] 635*2^1227922-1 is not prime. Res64: 94C53908F9918BD2 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:58:33] 735*2^1227922-1 is not prime. Res64: 65A1C442CF055C5D Time : 0.0 sec. user=mdettweiler [2012-08-31 11:58:34] 867*2^1227922-1 is not prime. Res64: 37134EF4C08C4B96 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:58:36] 951*2^1227922-1 is not prime. Res64: 7510E54EF7317F51 Time : 0.0 sec. user=mdettweiler [2012-08-31 11:58:36] 621*2^1227923-1 is not prime. Res64: 0E4443AFC7D1BAF1 Time : 0.0 sec. user=vaughan [2012-08-31 12:01:32] 645*2^1227922-1 is not prime. Res64: 4827F7B88B585676 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:10:27] 685*2^1227923-1 is not prime. Res64: 955C3101CD8CCDF4 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:18:21] 715*2^1227923-1 is not prime. Res64: CC9D66528B9EEBB8 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:19:20] 753*2^1227923-1 is not prime. Res64: 0D9ECDCD11CB85DC Time : 0.0 sec. user=mdettweiler [2012-08-31 12:19:21] 813*2^1227923-1 is not prime. Res64: 1DE08B3B0B9869FA Time : 0.0 sec. user=mdettweiler [2012-08-31 12:19:22] 861*2^1227923-1 is not prime. Res64: 60DAA47210808DB8 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:19:23] 879*2^1227923-1 is not prime. Res64: 424C84EF7A1CC7B9 Time : 0.0 sec. user=vaughan [2012-08-31 12:39:15] 665*2^1227924-1 is not prime. Res64: A9A0576AE5EA82B8 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:40:08] 707*2^1227924-1 is not prime. Res64: AE60F2D674561EB3 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:40:35] 719*2^1227924-1 is not prime. Res64: 3F7D56083734F61A Time : 0.0 sec. user=mdettweiler [2012-08-31 12:40:35] 767*2^1227924-1 is not prime. Res64: C0EAB0C4379E57C5 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:40:36] 795*2^1227924-1 is not prime. Res64: 30870CC2F561B476 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:40:37] 843*2^1227924-1 is not prime. Res64: 12FDCF7E28BE9A62 Time : 0.0 sec. user=mdettweiler [2012-08-31 12:47:58] 717*2^1227924-1 is not prime. Res64: B0E9AAC523B17A11 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:01:41] 601*2^1227925-1 is not prime. Res64: 72DCC3294D64019C Time : 0.0 sec. user=mdettweiler [2012-08-31 13:01:42] 625*2^1227925-1 is not prime. Res64: 0C33DD05DFD8FEC4 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:01:42] 645*2^1227925-1 is not prime. Res64: D7888927DF8A73BD Time : 0.0 sec. user=mdettweiler [2012-08-31 13:01:43] 691*2^1227925-1 is not prime. Res64: E828732F105E6387 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:09:42] 959*2^1227924-1 is not prime. Res64: 31784FE058B48F94 Time : 0.0 sec. user=vaughan [2012-08-31 13:16:59] 887*2^1227924-1 is not prime. Res64: 42EA0F22E354365A Time : 0.0 sec. user=mdettweiler [2012-08-31 13:17:36] 777*2^1227925-1 is not prime. Res64: 8855B1E435CA1E42 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:22:49] 847*2^1227925-1 is not prime. Res64: FB91E6B81B352527 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:22:49] 747*2^1227926-1 is not prime. Res64: 9A653B7BA7F94DD1 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:22:50] 919*2^1227925-1 is not prime. Res64: A61C81CECDEC862C Time : 0.0 sec. user=mdettweiler [2012-08-31 13:22:50] 755*2^1227926-1 is not prime. Res64: 5C12898EB9984FBF Time : 0.0 sec. user=mdettweiler [2012-08-31 13:39:23] 923*2^1227926-1 is not prime. Res64: 5F1120C728433B3E Time : 0.0 sec. user=mdettweiler [2012-08-31 13:43:33] 919*2^1227927-1 is not prime. Res64: BC4B000237CAAD7D Time : 0.0 sec. user=mdettweiler [2012-08-31 13:43:33] 961*2^1227927-1 is not prime. Res64: 1F9BC347BED65C9B Time : 0.0 sec. user=mdettweiler [2012-08-31 13:43:34] 605*2^1227928-1 is not prime. Res64: E8EF11D8DA41A015 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:43:34] 663*2^1227928-1 is not prime. Res64: 79C63AF966EB0EF9 Time : 0.0 sec. user=mdettweiler [2012-08-31 13:47:12] 1001*2^1227926-1 is not prime. Res64: C64C860BF65E537F Time : 0.0 sec. user=vaughan [2012-08-31 13:54:45] 971*2^1227926-1 is not prime. Res64: C88C2161F71BB275 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:04:15] 695*2^1227928-1 is not prime. Res64: CB77828403C7D3DB Time : 0.0 sec. user=mdettweiler [2012-08-31 14:04:16] 927*2^1227928-1 is not prime. Res64: 4D9DA946E003157C Time : 0.0 sec. user=mdettweiler [2012-08-31 14:04:17] 887*2^1227928-1 is not prime. Res64: DC6D8CA3271D8425 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:04:18] 759*2^1227929-1 is not prime. Res64: E565583D3EE88A4B Time : 0.0 sec. user=mdettweiler [2012-08-31 14:08:58] 665*2^1227928-1 is not prime. Res64: 864A60F898815372 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:16:51] 781*2^1227929-1 is not prime. Res64: FD344031CA9CC04B Time : 0.0 sec. user=mdettweiler [2012-08-31 14:25:42] 831*2^1227929-1 is not prime. Res64: 223F8946B0BE7CFA Time : 0.0 sec. user=mdettweiler [2012-08-31 14:25:42] 615*2^1227930-1 is not prime. Res64: 3BE65017F929A700 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:25:44] 635*2^1227930-1 is not prime. Res64: B0D5FB205F8329EB Time : 0.0 sec. user=mdettweiler [2012-08-31 14:25:45] 717*2^1227930-1 is not prime. Res64: 6F2AA167B5668DE5 Time : 0.0 sec. user=vaughan [2012-08-31 14:32:31] 795*2^1227929-1 is not prime. Res64: 34D2FDEC0164C0F0 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:38:52] 767*2^1227930-1 is not prime. Res64: 6EF64C35A8730C3E Time : 0.0 sec. user=mdettweiler [2012-08-31 14:46:26] 797*2^1227930-1 is not prime. Res64: E111DB200EAD6C2E Time : 0.0 sec. user=mdettweiler [2012-08-31 14:47:03] 933*2^1227930-1 is not prime. Res64: D049AF76E14B0759 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:47:04] 601*2^1227931-1 is not prime. Res64: B033FD2E06B537E3 Time : 0.0 sec. user=mdettweiler [2012-08-31 14:47:05] 751*2^1227931-1 is not prime. Res64: 99ABB0C30BA0662B Time : 0.0 sec. user=mdettweiler [2012-08-31 14:47:05] 873*2^1227931-1 is not prime. Res64: FE5CBE436DCCB5DC Time : 0.0 sec. user=mdettweiler [2012-08-31 15:08:20] 665*2^1227932-1 is not prime. Res64: 1131187F2E4829EF Time : 0.0 sec. user=mdettweiler [2012-08-31 15:08:20] 669*2^1227932-1 is not prime. Res64: B52CC9AE7DE1F442 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:08:21] 693*2^1227932-1 is not prime. Res64: CE2ED69D502CD961 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:08:23] 717*2^1227932-1 is not prime. Res64: E7943577FD3635C4 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:08:25] 969*2^1227931-1 is not prime. Res64: 78CA22A436D45336 Time : 0.0 sec. user=vaughan [2012-08-31 15:10:15] 951*2^1227931-1 is not prime. Res64: 6986B3A253D1FAD4 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:15:59] 975*2^1227931-1 is not prime. Res64: 307A791B944E263B Time : 0.0 sec. user=mdettweiler [2012-08-31 15:29:39] 977*2^1227932-1 is not prime. Res64: 24C30FC0B53E2530 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:29:40] 685*2^1227933-1 is not prime. Res64: E54301195292E9B2 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:29:41] 725*2^1227932-1 is not prime. Res64: 1C79FF15A26F8850 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:29:41] 837*2^1227933-1 is not prime. Res64: 7D3828959670FDBF Time : 0.0 sec. user=mdettweiler [2012-08-31 15:38:14] 849*2^1227933-1 is not prime. Res64: 3B45F0277FD57AD3 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:45:32] 605*2^1227934-1 is not prime. Res64: F50E6CB050A9706B Time : 0.0 sec. user=vaughan [2012-08-31 15:47:58] 867*2^1227933-1 is not prime. Res64: 7165A255172A4DF2 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:50:57] 747*2^1227934-1 is not prime. Res64: 78F01D8022B8E471 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:50:57] 755*2^1227934-1 is not prime. Res64: AE235FDA694115CD Time : 0.0 sec. user=mdettweiler [2012-08-31 15:50:58] 993*2^1227934-1 is not prime. Res64: 9CD977EE169633B2 Time : 0.0 sec. user=mdettweiler [2012-08-31 15:50:59] 825*2^1227935-1 is not prime. Res64: 18609CD099C1F951 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:07:49] 855*2^1227935-1 is not prime. Res64: CD7F1983419659FE Time : 0.0 sec. user=mdettweiler [2012-08-31 16:12:15] 609*2^1227936-1 is not prime. Res64: 975BE141A18DFEA5 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:12:15] 693*2^1227936-1 is not prime. Res64: 464BE7FF3BF6EB0C Time : 0.0 sec. user=mdettweiler [2012-08-31 16:12:17] 717*2^1227936-1 is not prime. Res64: 64E5A45EAEE5D172 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:12:18] 815*2^1227936-1 is not prime. Res64: 3B24B5866C3BF1BA Time : 0.0 sec. user=mdettweiler [2012-08-31 16:15:06] 939*2^1227935-1 is not prime. Res64: 79E2C8AE2BFE74BE Time : 0.0 sec. user=vaughan [2012-08-31 16:25:41] 963*2^1227935-1 is not prime. Res64: 809DB69CE3C3EDE5 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:33:42] 903*2^1227936-1 is not prime. Res64: 13A64E7D37CB1EF5 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:33:42] 909*2^1227936-1 is not prime. Res64: CFB1C5757D385D5B Time : 0.0 sec. user=mdettweiler [2012-08-31 16:33:44] 615*2^1227937-1 is not prime. Res64: C9515CF5E086E641 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:33:44] 625*2^1227937-1 is not prime. Res64: 384900AC9D3B654A Time : 0.0 sec. user=mdettweiler [2012-08-31 16:37:40] 839*2^1227936-1 is not prime. Res64: A4A1AFA4B6455C34 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:44:46] 685*2^1227937-1 is not prime. Res64: AB2ED15EF92F87B5 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:54:37] 771*2^1227937-1 is not prime. Res64: 672AAE77BB22FA17 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:54:37] 945*2^1227937-1 is not prime. Res64: CBB77208BB54829E Time : 0.0 sec. user=mdettweiler [2012-08-31 16:54:39] 985*2^1227937-1 is not prime. Res64: 3747C291E1E331F6 Time : 0.0 sec. user=mdettweiler [2012-08-31 16:54:39] 705*2^1227938-1 is not prime. Res64: 4B2C9CCB4DBD7570 Time : 0.0 sec. user=vaughan [2012-08-31 17:03:26] 751*2^1227937-1 is not prime. Res64: 1BF15105726EED5E Time : 0.0 sec. user=mdettweiler [2012-08-31 17:07:16] 711*2^1227938-1 is not prime. Res64: D23AB77638980492 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:14:19] 887*2^1227938-1 is not prime. Res64: 1C443DBEF975A1BD Time : 0.0 sec. user=mdettweiler [2012-08-31 17:15:44] 915*2^1227938-1 is not prime. Res64: 96BD3719607245D2 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:15:44] 945*2^1227938-1 is not prime. Res64: 51F30135C7145495 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:15:48] 995*2^1227938-1 is not prime. Res64: F742B9B59B3F4FF8 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:15:49] 1001*2^1227938-1 is not prime. Res64: D20599BA39D2A651 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:36:56] 943*2^1227939-1 is not prime. Res64: 04FBD83F9A607BB7 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:36:57] 979*2^1227939-1 is not prime. Res64: CB4D8850A5B8E55B Time : 0.0 sec. user=mdettweiler [2012-08-31 17:36:57] 685*2^1227939-1 is not prime. Res64: B49F99C7448CFC97 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:37:00] 675*2^1227940-1 is not prime. Res64: 509D76A504E5AD37 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:37:00] 855*2^1227940-1 is not prime. Res64: 0B79C8AE7CF5645C Time : 0.0 sec. user=vaughan [2012-08-31 17:41:28] 613*2^1227939-1 is not prime. Res64: 64F36569000E54CB Time : 0.0 sec. user=mdettweiler [2012-08-31 17:43:55] 795*2^1227939-1 is not prime. Res64: 2B04A4F4BAB47019 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:58:05] 887*2^1227940-1 is not prime. Res64: 2BED7669AD818C51 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:58:05] 989*2^1227940-1 is not prime. Res64: 0F31D6CF87117DF4 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:58:08] 669*2^1227941-1 is not prime. Res64: 749EBEDD3BA644D0 Time : 0.0 sec. user=mdettweiler [2012-08-31 17:58:08] 811*2^1227941-1 is not prime. Res64: B6EBA759724940D2 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:06:37] 619*2^1227941-1 is not prime. Res64: FF42A6DAAC54F257 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:13:34] 717*2^1227942-1 is not prime. Res64: 83C861C2772BA405 Time : 0.0 sec. user=juhehe [2012-08-31 18:13:51] 885*2^1227940-1 is not prime. Res64: 360DE7795EC667F3 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:19:07] 765*2^1227942-1 is not prime. Res64: 0F341EA72B3695FD Time : 0.0 sec. user=mdettweiler [2012-08-31 18:19:08] 791*2^1227942-1 is not prime. Res64: 24902EC98280973E Time : 0.0 sec. user=mdettweiler [2012-08-31 18:19:09] 801*2^1227942-1 is not prime. Res64: BC5B2EBFA6A5B07A Time : 0.0 sec. user=mdettweiler [2012-08-31 18:19:10] 825*2^1227942-1 is not prime. Res64: 09F503F5E8084601 Time : 0.0 sec. user=vaughan [2012-08-31 18:19:10] 861*2^1227941-1 is not prime. Res64: 00F5C03CFC7FCA46 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:36:12] 615*2^1227943-1 is not prime. Res64: 0D114BA70438B0C7 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:40:03] 617*2^1227944-1 is not prime. Res64: AD2B768CF6CE4AD2 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:40:03] 729*2^1227944-1 is not prime. Res64: EEEF1018B3F3E36E Time : 0.0 sec. user=mdettweiler [2012-08-31 18:40:05] 855*2^1227944-1 is not prime. Res64: 176537B7C3462AE8 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:40:05] 869*2^1227944-1 is not prime. Res64: 7C36ABDA3DCEE188 Time : 0.0 sec. user=mdettweiler [2012-08-31 18:43:13] 849*2^1227943-1 is not prime. Res64: 87A73552D99A3A72 Time : 0.0 sec. user=vaughan [2012-08-31 18:56:53] 927*2^1227944-1 is not prime. Res64: B632D78D71E202C0 Time : 0.0 sec. user=juhehe [2012-08-31 18:57:58] 985*2^1227943-1 is not prime. Res64: B152E62FCCAA7B83 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:00:57] 679*2^1227945-1 is not prime. Res64: 8E311664062DA7A2 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:00:57] 685*2^1227945-1 is not prime. Res64: 604703D1EAFFB009 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:00:58] 739*2^1227945-1 is not prime. Res64: 2E6E583DCB037D99 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:00:59] 777*2^1227945-1 is not prime. Res64: 1540C6D8A704C96C Time : 0.0 sec. user=mdettweiler [2012-08-31 19:05:54] 983*2^1227944-1 is not prime. Res64: BF8B9A9BB71C8D64 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:12:58] 861*2^1227945-1 is not prime. Res64: 3BE00F8C250C01DC Time : 0.0 sec. user=mdettweiler [2012-08-31 19:21:57] 905*2^1227946-1 is not prime. Res64: EA5E8CB4BB4F75ED Time : 0.0 sec. user=mdettweiler [2012-08-31 19:21:57] 911*2^1227946-1 is not prime. Res64: 44A565743288103E Time : 0.0 sec. user=mdettweiler [2012-08-31 19:21:59] 947*2^1227946-1 is not prime. Res64: 3AF61A262D0B48C8 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:22:00] 983*2^1227946-1 is not prime. Res64: F86A5477DC0B5FCD Time : 0.0 sec. user=vaughan [2012-08-31 19:34:36] 635*2^1227946-1 is not prime. Res64: 49F69D69AF562634 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:35:41] 619*2^1227947-1 is not prime. Res64: 46FEE3B1120E2E5C Time : 0.0 sec. user=juhehe [2012-08-31 19:42:04] 723*2^1227946-1 is not prime. Res64: 4BE5761D15B130CD Time : 0.0 sec. user=mdettweiler [2012-08-31 19:42:31] 631*2^1227947-1 is not prime. Res64: AB422B158FBDABA3 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:42:54] 669*2^1227947-1 is not prime. Res64: C89A40C0591AB4A0 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:42:54] 711*2^1227947-1 is not prime. Res64: 00A7058D050491B1 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:42:56] 781*2^1227947-1 is not prime. Res64: 804AC5426882ADC1 Time : 0.0 sec. user=mdettweiler [2012-08-31 19:42:56] 871*2^1227947-1 is not prime. Res64: DE49E1CA13639B68 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:03:48] 663*2^1227948-1 is not prime. Res64: 93272A0A17823F35 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:03:51] 615*2^1227949-1 is not prime. Res64: 94996BAE0D5EA43E Time : 0.0 sec. user=mdettweiler [2012-08-31 20:03:51] 619*2^1227949-1 is not prime. Res64: ED9F17B77C6C021C Time : 0.0 sec. user=mdettweiler [2012-08-31 20:03:52] 687*2^1227949-1 is not prime. Res64: F2C9D10C468D1897 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:05:13] 979*2^1227947-1 is not prime. Res64: A22A02E2B164DE2B Time : 0.0 sec. user=mdettweiler [2012-08-31 20:12:02] 633*2^1227948-1 is not prime. Res64: EB2EB27887A9B0B4 Time : 0.0 sec. user=vaughan [2012-08-31 20:12:18] 913*2^1227947-1 is not prime. Res64: F31A16A90770052F Time : 0.0 sec. user=mdettweiler [2012-08-31 20:25:03] 799*2^1227949-1 is not prime. Res64: 5B93206635AB04BA Time : 0.0 sec. user=mdettweiler [2012-08-31 20:25:03] 829*2^1227949-1 is not prime. Res64: AAF9AC8CA84452D6 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:25:04] 855*2^1227949-1 is not prime. Res64: 2F3077200FCCC6E7 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:25:05] 603*2^1227950-1 is not prime. Res64: 005528E1EBB9160B Time : 0.0 sec. user=juhehe [2012-08-31 20:25:59] 993*2^1227947-1 is not prime. Res64: 54BD29FFC15F40DE Time : 0.0 sec. user=mdettweiler [2012-08-31 20:34:44] 635*2^1227950-1 is not prime. Res64: 569C88E4987ACA0B Time : 0.0 sec. user=mdettweiler [2012-08-31 20:41:38] 761*2^1227950-1 is not prime. Res64: AA1C1036766D8914 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:46:07] 791*2^1227950-1 is not prime. Res64: 9546434D695162D2 Time : 0.0 sec. user=mdettweiler [2012-08-31 20:46:07] 851*2^1227950-1 is not prime. Res64: 4E7DB56B3796553B Time : 0.0 sec. user=mdettweiler [2012-08-31 20:46:08] 945*2^1227950-1 is not prime. Res64: CEF93991F76AB69C Time : 0.0 sec. user=mdettweiler [2012-08-31 20:46:08] 965*2^1227950-1 is not prime. Res64: 762975D71022C06E Time : 0.0 sec. user=vaughan [2012-08-31 20:50:09] 773*2^1227950-1 is not prime. Res64: 44D3A42A2D7FFBDB Time : 0.0 sec. user=mdettweiler [2012-08-31 21:04:17] 691*2^1227951-1 is not prime. Res64: 98975F90D7272F72 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:07:03] 623*2^1227952-1 is not prime. Res64: 26C3E87F5C86AF6D Time : 0.0 sec. user=mdettweiler [2012-08-31 21:07:06] 785*2^1227952-1 is not prime. Res64: B9D43D25AF494C6B Time : 0.0 sec. user=mdettweiler [2012-08-31 21:07:08] 855*2^1227952-1 is not prime. Res64: EC1F4D9E1F54720A Time : 0.0 sec. user=mdettweiler [2012-08-31 21:07:08] 939*2^1227952-1 is not prime. Res64: C5BB20569759DD6E Time : 0.0 sec. user=mdettweiler [2012-08-31 21:11:10] 603*2^1227952-1 is not prime. Res64: EDEAF629ADE873EA Time : 0.0 sec. user=vaughan [2012-08-31 21:27:51] 947*2^1227952-1 is not prime. Res64: C0FEA4F452FC5159 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:28:11] 631*2^1227953-1 is not prime. Res64: 85AFC5CF9AC7E56C Time : 0.0 sec. user=mdettweiler [2012-08-31 21:28:12] 795*2^1227953-1 is not prime. Res64: 729F5D3335553825 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:28:16] 811*2^1227953-1 is not prime. Res64: 36EDF6EF90F980F2 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:28:17] 829*2^1227953-1 is not prime. Res64: 9E99FFBEE3F746DE Time : 0.0 sec. user=mdettweiler [2012-08-31 21:34:12] 995*2^1227952-1 is not prime. Res64: B4A4972A69C2E7DE Time : 0.0 sec. user=mdettweiler [2012-08-31 21:40:45] 847*2^1227953-1 is not prime. Res64: 76D67AB8228C301F Time : 0.0 sec. user=mdettweiler [2012-08-31 21:49:08] 611*2^1227954-1 is not prime. Res64: F345214A8CF69B87 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:49:08] 641*2^1227954-1 is not prime. Res64: A69BF2800B5FC586 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:49:11] 681*2^1227954-1 is not prime. Res64: F90B9BB85FF989F3 Time : 0.0 sec. user=mdettweiler [2012-08-31 21:49:12] 705*2^1227954-1 is not prime. Res64: 310ACCCFD880CE37 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:03:49] 803*2^1227954-1 is not prime. Res64: 8B73D05811468A68 Time : 0.0 sec. user=vaughan [2012-08-31 22:05:39] 915*2^1227953-1 is not prime. Res64: 8266A081952789D5 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:10:04] 983*2^1227954-1 is not prime. Res64: 01CA06300E357141 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:10:05] 993*2^1227954-1 is not prime. Res64: 4733B9F68A262AE3 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:10:07] 631*2^1227955-1 is not prime. Res64: DC4FFF3ED22C6737 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:10:08] 691*2^1227955-1 is not prime. Res64: 2528E47E67BDE53E Time : 0.0 sec. user=mdettweiler [2012-08-31 22:10:21] 807*2^1227954-1 is not prime. Res64: 0B3994850447BE3C Time : 0.0 sec. user=mdettweiler [2012-08-31 22:31:05] 689*2^1227956-1 is not prime. Res64: D0E6CD43C85D951F Time : 0.0 sec. user=mdettweiler [2012-08-31 22:31:05] 759*2^1227956-1 is not prime. Res64: AEFD40AFDAAF2BBF Time : 0.0 sec. user=mdettweiler [2012-08-31 22:31:10] 825*2^1227956-1 is not prime. Res64: D5F68BA69A24ED11 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:31:10] 843*2^1227956-1 is not prime. Res64: 307E1880C2584465 Time : 0.0 sec. user=juhehe [2012-08-31 22:31:35] 923*2^1227954-1 is not prime. Res64: 07D77B44DABEF14B Time : 0.0 sec. user=mdettweiler [2012-08-31 22:33:41] 775*2^1227955-1 is not prime. Res64: 952D8793194785D7 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:39:59] 987*2^1227956-1 is not prime. Res64: 703059A565815B41 Time : 0.0 sec. user=vaughan [2012-08-31 22:43:28] 615*2^1227956-1 is not prime. Res64: 3971AF07278F1B83 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:52:04] 661*2^1227957-1 is not prime. Res64: DB27AEEAA85F4119 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:52:04] 675*2^1227957-1 is not prime. Res64: F3A45ABB9D401AD3 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:52:06] 699*2^1227957-1 is not prime. Res64: 07D7935BCC1AB237 Time : 0.0 sec. user=mdettweiler [2012-08-31 22:52:07] 747*2^1227957-1 is not prime. Res64: 4B7031EA6E178129 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:03:15] 765*2^1227957-1 is not prime. Res64: D09F7FFFE5EDC61B Time : 0.0 sec. user=mdettweiler [2012-08-31 23:09:40] 817*2^1227957-1 is not prime. Res64: EF2BAAA529003BA1 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:12:59] 831*2^1227957-1 is not prime. Res64: B8012261F35299EE Time : 0.0 sec. user=mdettweiler [2012-08-31 23:13:00] 867*2^1227957-1 is not prime. Res64: CF923717BA34DF1D Time : 0.0 sec. user=mdettweiler [2012-08-31 23:13:01] 891*2^1227957-1 is not prime. Res64: 32955CB13EFF7314 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:13:06] 919*2^1227957-1 is not prime. Res64: 16C2134C9EC757AB Time : 0.0 sec. user=vaughan [2012-08-31 23:21:10] 829*2^1227957-1 is not prime. Res64: D0E0D6383FBCD8CE Time : 0.0 sec. user=mdettweiler [2012-08-31 23:33:14] 985*2^1227957-1 is not prime. Res64: A76BA1E9F094F0E1 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:34:02] 657*2^1227958-1 is not prime. Res64: 59FD11BCD23DFC12 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:34:02] 737*2^1227958-1 is not prime. Res64: 25D5F6FE57E3D160 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:34:03] 825*2^1227958-1 is not prime. Res64: E0E424D24AE3B63C Time : 0.0 sec. user=mdettweiler [2012-08-31 23:34:04] 843*2^1227958-1 is not prime. Res64: 9A96F44DD450B8C2 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:39:33] 603*2^1227958-1 is not prime. Res64: 770577B2A031BEC8 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:54:58] 971*2^1227958-1 is not prime. Res64: 2996C5590928B58D Time : 0.0 sec. user=mdettweiler [2012-08-31 23:54:58] 663*2^1227959-1 is not prime. Res64: C5AFD61D91ABC325 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:55:00] 679*2^1227959-1 is not prime. Res64: 50F1384AB1EB5865 Time : 0.0 sec. user=mdettweiler [2012-08-31 23:55:01] 703*2^1227959-1 is not prime. Res64: C74C5BA4FE776E42 Time : 0.0 sec. user=vaughan [2012-08-31 23:58:54] 845*2^1227958-1 is not prime. Res64: 560549646EA29001 Time : 0.0 sec.