user=mdettweiler [2013-03-19 00:08:23] 713*2^1242962-1 is not prime. Res64: 5AE20C79C00D3B89 Time : 0.0 sec. user=mdettweiler [2013-03-19 00:08:24] 963*2^1242962-1 is not prime. Res64: 67115D7B6E647AC9 Time : 0.0 sec. user=vaughan [2013-03-19 00:13:20] 811*2^1242961-1 is not prime. Res64: 70472CB9E356BF24 Time : 0.0 sec. user=mdettweiler [2013-03-19 00:18:02] 977*2^1242962-1 is not prime. Res64: A4EE738300B61D5B Time : 0.0 sec. user=mdettweiler [2013-03-19 00:18:03] 679*2^1242963-1 is not prime. Res64: F87972F4B1B3E592 Time : 0.0 sec. user=mdettweiler [2013-03-19 00:25:50] 769*2^1242963-1 is not prime. Res64: 975F9BB243048528 Time : 0.0 sec. user=mdettweiler [2013-03-19 00:25:50] 973*2^1242963-1 is not prime. Res64: 6D2185908066C20C Time : 0.0 sec. user=juhehe [2013-03-19 00:28:10] 959*2^1242960-1 is not prime. Res64: 675E4EC9FC626B0B Time : 0.0 sec. user=mdettweiler [2013-03-19 00:35:26] 609*2^1242964-1 is not prime. Res64: FF50253DE3249CCA Time : 0.0 sec. user=mdettweiler [2013-03-19 00:35:27] 695*2^1242964-1 is not prime. Res64: F4121107D9DC758F Time : 0.0 sec. user=mdettweiler [2013-03-19 00:43:16] 705*2^1242964-1 is not prime. Res64: 986C9488ADCAB50C Time : 0.0 sec. user=mdettweiler [2013-03-19 00:43:16] 717*2^1242964-1 is not prime. Res64: E35D5229A31AFC3B Time : 0.0 sec. user=mdettweiler [2013-03-19 00:52:51] 887*2^1242964-1 is not prime. Res64: 43269997443CDA39 Time : 0.0 sec. user=mdettweiler [2013-03-19 00:52:52] 699*2^1242965-1 is not prime. Res64: 1B1F818D76188090 Time : 0.0 sec. user=vaughan [2013-03-19 00:56:37] 985*2^1242963-1 is not prime. Res64: 2E6E16B19BA36047 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:00:42] 819*2^1242965-1 is not prime. Res64: C6D60E9ACD233EE9 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:00:43] 825*2^1242965-1 is not prime. Res64: 3757DAB5334C730C Time : 0.0 sec. user=mdettweiler [2013-03-19 01:10:16] 957*2^1242965-1 is not prime. Res64: 51C89D866EE94C5B Time : 0.0 sec. user=mdettweiler [2013-03-19 01:10:17] 611*2^1242966-1 is not prime. Res64: 80C4BDED23D768B5 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:18:09] 903*2^1242966-1 is not prime. Res64: EC4CAA99593263D7 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:18:09] 917*2^1242966-1 is not prime. Res64: 90F3A1CE3787E6C8 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:27:41] 971*2^1242966-1 is not prime. Res64: 2921412C2E50180A Time : 0.0 sec. user=mdettweiler [2013-03-19 01:27:41] 609*2^1242967-1 is not prime. Res64: 28568FB06DAD29C4 Time : 0.0 sec. user=juhehe [2013-03-19 01:32:21] 843*2^1242964-1 is not prime. Res64: C4BF4EEE933F2BE4 Time : 0.0 sec. user=vaughan [2013-03-19 01:34:45] 627*2^1242966-1 is not prime. Res64: C2044ADC0033459E Time : 0.0 sec. user=mdettweiler [2013-03-19 01:35:33] 663*2^1242967-1 is not prime. Res64: CC92115805CCE2B6 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:35:33] 693*2^1242967-1 is not prime. Res64: B0BD9B095AD05328 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:45:05] 841*2^1242967-1 is not prime. Res64: 93BF3DD23E18CCC4 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:45:06] 931*2^1242967-1 is not prime. Res64: CAE74C6C49BDCCF2 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:52:57] 845*2^1242968-1 is not prime. Res64: D7D4AB08E47FA928 Time : 0.0 sec. user=mdettweiler [2013-03-19 01:52:57] 995*2^1242968-1 is not prime. Res64: 7C6B710F6C8A3C1B Time : 0.0 sec. user=mdettweiler [2013-03-19 02:02:31] 625*2^1242969-1 is not prime. Res64: 02C82FBD486D8925 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:02:31] 705*2^1242969-1 is not prime. Res64: D5EB76B452891B38 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:10:21] 781*2^1242969-1 is not prime. Res64: 15470E32924B48DD Time : 0.0 sec. user=mdettweiler [2013-03-19 02:10:22] 865*2^1242969-1 is not prime. Res64: 4EFFD4B08DE0A21E Time : 0.0 sec. user=vaughan [2013-03-19 02:12:56] 617*2^1242968-1 is not prime. Res64: EE90B1D2CF230129 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:19:59] 651*2^1242970-1 is not prime. Res64: 1D6B3FCB4845931B Time : 0.0 sec. user=mdettweiler [2013-03-19 02:19:59] 713*2^1242970-1 is not prime. Res64: 241A02FC508B4072 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:27:46] 723*2^1242970-1 is not prime. Res64: 306DE7F3E742D07E Time : 0.0 sec. user=mdettweiler [2013-03-19 02:27:47] 813*2^1242970-1 is not prime. Res64: 14AABBB79EC7AEFD Time : 0.0 sec. user=juhehe [2013-03-19 02:34:58] 603*2^1242968-1 is not prime. Res64: 996C9FB194DDAB54 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:37:26] 945*2^1242970-1 is not prime. Res64: 49263EBA9AA87CF9 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:37:28] 1001*2^1242970-1 is not prime. Res64: 91559C08DBC62756 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:45:20] 603*2^1242971-1 is not prime. Res64: 4467704814F9D73D Time : 0.0 sec. user=mdettweiler [2013-03-19 02:45:21] 753*2^1242971-1 is not prime. Res64: 331B95BD5A9ECF31 Time : 0.0 sec. user=vaughan [2013-03-19 02:51:06] 845*2^1242970-1 is not prime. Res64: 485EF9838386C075 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:54:55] 843*2^1242971-1 is not prime. Res64: 03332E8797FD7342 Time : 0.0 sec. user=mdettweiler [2013-03-19 02:54:55] 883*2^1242971-1 is not prime. Res64: 59E7D770BA73F1E9 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:02:46] 719*2^1242972-1 is not prime. Res64: 900245E66E8A29B2 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:02:47] 779*2^1242972-1 is not prime. Res64: 91210FA9172D2527 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:12:20] 945*2^1242972-1 is not prime. Res64: 4AF52A7E43D9D296 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:12:20] 977*2^1242972-1 is not prime. Res64: 028E5828D59D0C7F Time : 0.0 sec. user=mdettweiler [2013-03-19 03:20:11] 609*2^1242973-1 is not prime. Res64: 24BBE11881A8D680 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:20:12] 687*2^1242973-1 is not prime. Res64: 5E15C0A7095F3059 Time : 0.0 sec. user=vaughan [2013-03-19 03:29:20] 933*2^1242972-1 is not prime. Res64: AA9AFC082AC86375 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:29:46] 847*2^1242973-1 is not prime. Res64: EA41E2D6DA055D0C Time : 0.0 sec. user=mdettweiler [2013-03-19 03:29:47] 937*2^1242973-1 is not prime. Res64: BB7DCC5173492A85 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:37:36] 981*2^1242974-1 is not prime. Res64: 08292072844D04F0 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:37:36] 609*2^1242975-1 is not prime. Res64: 70014BCB20422043 Time : 0.0 sec. user=juhehe [2013-03-19 03:38:55] 813*2^1242971-1 is not prime. Res64: 43D312B87FDC46F6 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:47:11] 823*2^1242975-1 is not prime. Res64: 572D44AF715EA91A Time : 0.0 sec. user=mdettweiler [2013-03-19 03:47:11] 895*2^1242975-1 is not prime. Res64: 92762275288FB7BC Time : 0.0 sec. user=mdettweiler [2013-03-19 03:55:00] 735*2^1242976-1 is not prime. Res64: 0A8CF310DA4F9F47 Time : 0.0 sec. user=mdettweiler [2013-03-19 03:55:00] 843*2^1242976-1 is not prime. Res64: FE465BA12252DC17 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:04:35] 909*2^1242976-1 is not prime. Res64: 554129E80FFE31A9 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:04:36] 927*2^1242976-1 is not prime. Res64: 9FFEFC7D2EDA9CD0 Time : 0.0 sec. user=vaughan [2013-03-19 04:07:33] 679*2^1242975-1 is not prime. Res64: CCA6BD9E08DDBD34 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:12:25] 933*2^1242976-1 is not prime. Res64: 6E409EA411599489 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:12:26] 729*2^1242977-1 is not prime. Res64: EDA07F4182882763 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:22:00] 805*2^1242977-1 is not prime. Res64: 6A1503CC959C4BF7 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:22:01] 837*2^1242977-1 is not prime. Res64: 5E092B2C164D8CD8 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:29:50] 871*2^1242977-1 is not prime. Res64: 27E60A8F1AD3E9C1 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:29:50] 937*2^1242977-1 is not prime. Res64: 3D5377887A1045A6 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:39:26] 955*2^1242977-1 is not prime. Res64: F71280F3E81B892A Time : 0.0 sec. user=mdettweiler [2013-03-19 04:39:26] 731*2^1242978-1 is not prime. Res64: 87CB8052BD4E2BA4 Time : 0.0 sec. user=vaughan [2013-03-19 04:45:46] 847*2^1242977-1 is not prime. Res64: 9DDDE253FA0003DE Time : 0.0 sec. user=mdettweiler [2013-03-19 04:47:16] 797*2^1242978-1 is not prime. Res64: 547DCC1948436F6E Time : 0.0 sec. user=mdettweiler [2013-03-19 04:47:17] 815*2^1242978-1 is not prime. Res64: 1ADEE381ECA7785E Time : 0.0 sec. user=juhehe [2013-03-19 04:48:02] 999*2^1242975-1 is not prime. Res64: 135A9288CE9664CD Time : 0.0 sec. user=mdettweiler [2013-03-19 04:56:53] 833*2^1242978-1 is not prime. Res64: FBC407968CA88A08 Time : 0.0 sec. user=mdettweiler [2013-03-19 04:56:54] 867*2^1242978-1 is not prime. Res64: A4B3944DF4A4BDF5 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:04:40] 705*2^1242979-1 is not prime. Res64: 4E638DA39EA2E8EA Time : 0.0 sec. user=mdettweiler [2013-03-19 05:04:41] 723*2^1242979-1 is not prime. Res64: 0E96BA944DAAE93D Time : 0.0 sec. user=mdettweiler [2013-03-19 05:14:18] 735*2^1242979-1 is not prime. Res64: 6EB3B61BF041A628 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:14:18] 769*2^1242979-1 is not prime. Res64: 1D02659D4199FA72 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:22:07] 853*2^1242979-1 is not prime. Res64: 691DDF960432AC2B Time : 0.0 sec. user=mdettweiler [2013-03-19 05:22:07] 861*2^1242979-1 is not prime. Res64: 752F9B0AF92925A8 Time : 0.0 sec. user=vaughan [2013-03-19 05:23:57] 691*2^1242979-1 is not prime. Res64: 776C7F03207735CC Time : 0.0 sec. user=mdettweiler [2013-03-19 05:31:42] 931*2^1242979-1 is not prime. Res64: 4D7F2102C19D2078 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:31:43] 951*2^1242979-1 is not prime. Res64: 2B42A8388C98ACCD Time : 0.0 sec. user=mdettweiler [2013-03-19 05:39:31] 699*2^1242980-1 is not prime. Res64: 45AF2FBD0F5E33AC Time : 0.0 sec. user=mdettweiler [2013-03-19 05:39:31] 797*2^1242980-1 is not prime. Res64: DE565FAE8B648C90 Time : 0.0 sec. user=juhehe [2013-03-19 05:45:26] 905*2^1242978-1 is not prime. Res64: 30E4921DB8B570D9 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:49:07] 945*2^1242980-1 is not prime. Res64: 02A5F73728E4F487 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:49:07] 681*2^1242981-1 is not prime. Res64: F7DDD27BA811B8A0 Time : 0.0 sec. user=mdettweiler [2013-03-19 05:56:56] 847*2^1242981-1 is not prime. Res64: BB0997CC9F016C0B Time : 0.0 sec. user=mdettweiler [2013-03-19 05:56:57] 927*2^1242981-1 is not prime. Res64: C3513778BAB60A1C Time : 0.0 sec. user=vaughan [2013-03-19 06:02:10] 855*2^1242980-1 is not prime. Res64: 1E17264DB1E902A4 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:06:32] 999*2^1242981-1 is not prime. Res64: 6B2CA22FA5A4B763 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:06:33] 653*2^1242982-1 is not prime. Res64: 9C64417436B23371 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:14:21] 785*2^1242982-1 is not prime. Res64: FD3D7913EDC83452 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:14:21] 821*2^1242982-1 is not prime. Res64: 913550CE79227A49 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:23:58] 863*2^1242982-1 is not prime. Res64: E97E086918132C00 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:23:58] 897*2^1242982-1 is not prime. Res64: DE978A6B34A9468A Time : 0.0 sec. user=mdettweiler [2013-03-19 06:31:45] 729*2^1242983-1 is not prime. Res64: A07D04E102EFF20B Time : 0.0 sec. user=mdettweiler [2013-03-19 06:31:46] 753*2^1242983-1 is not prime. Res64: D53FA643283E0129 Time : 0.0 sec. user=vaughan [2013-03-19 06:40:23] 855*2^1242982-1 is not prime. Res64: 50F28CEF4FF0F50F Time : 0.0 sec. user=mdettweiler [2013-03-19 06:41:22] 783*2^1242983-1 is not prime. Res64: E2EFC7911AC27599 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:41:23] 855*2^1242983-1 is not prime. Res64: E070A8ECAF5EBCB0 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:49:09] 921*2^1242983-1 is not prime. Res64: EEA8790C284E15A5 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:49:10] 985*2^1242983-1 is not prime. Res64: 3CBBA731923F6766 Time : 0.0 sec. user=juhehe [2013-03-19 06:55:10] 705*2^1242982-1 is not prime. Res64: 6DDD685467DFEBD9 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:58:47] 905*2^1242984-1 is not prime. Res64: 67277663CDBC6317 Time : 0.0 sec. user=mdettweiler [2013-03-19 06:58:47] 983*2^1242984-1 is not prime. Res64: 58B812C914B2E435 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:06:34] 619*2^1242985-1 is not prime. Res64: E3EB8533CAA7BDD2 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:06:35] 741*2^1242985-1 is not prime. Res64: 8229142A7D8DE0BA Time : 0.0 sec. user=mdettweiler [2013-03-19 07:16:11] 871*2^1242985-1 is not prime. Res64: 42F3F978A0866E8F Time : 0.0 sec. user=mdettweiler [2013-03-19 07:16:12] 885*2^1242985-1 is not prime. Res64: 42E1EE768A688F89 Time : 0.0 sec. user=vaughan [2013-03-19 07:18:36] 725*2^1242984-1 is not prime. Res64: 1807111C9BE60D4A Time : 0.0 sec. user=mdettweiler [2013-03-19 07:23:59] 937*2^1242985-1 is not prime. Res64: 15C893A3534F6EA9 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:24:00] 773*2^1242986-1 is not prime. Res64: E4A3686510E4E370 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:33:36] 957*2^1242986-1 is not prime. Res64: E67B55646D8A8606 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:33:37] 609*2^1242987-1 is not prime. Res64: BA008C270A01C630 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:41:24] 705*2^1242987-1 is not prime. Res64: 7ADA63CA967A81A8 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:41:24] 741*2^1242987-1 is not prime. Res64: 83063CE83FEC9C8E Time : 0.0 sec. user=mdettweiler [2013-03-19 07:51:00] 751*2^1242987-1 is not prime. Res64: B412650753289313 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:51:01] 795*2^1242987-1 is not prime. Res64: B53E5DADDE3A46FF Time : 0.0 sec. user=vaughan [2013-03-19 07:56:49] 669*2^1242987-1 is not prime. Res64: 8583778BEDFA4CDF Time : 0.0 sec. user=mdettweiler [2013-03-19 07:58:48] 615*2^1242988-1 is not prime. Res64: C5139D78FF0FF138 Time : 0.0 sec. user=mdettweiler [2013-03-19 07:58:49] 929*2^1242988-1 is not prime. Res64: E9E13428FF6AE28B Time : 0.0 sec. user=juhehe [2013-03-19 07:58:53] 993*2^1242984-1 is not prime. Res64: 33ADD64F0115ADD4 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:08:26] 999*2^1242988-1 is not prime. Res64: 611264FECDE23D8E Time : 0.0 sec. user=mdettweiler [2013-03-19 08:08:27] 711*2^1242989-1 is not prime. Res64: 128183EF37AC6497 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:16:13] 747*2^1242989-1 is not prime. Res64: 235CEAF547B716F6 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:16:14] 769*2^1242989-1 is not prime. Res64: D7D6258E2A7D55DB Time : 0.0 sec. user=mdettweiler [2013-03-19 08:25:52] 787*2^1242989-1 is not prime. Res64: 1B156DB7A253316D Time : 0.0 sec. user=mdettweiler [2013-03-19 08:25:53] 811*2^1242989-1 is not prime. Res64: 0638823CA41F5981 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:33:39] 825*2^1242989-1 is not prime. Res64: ABB5C02BFA91E2B7 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:33:39] 861*2^1242989-1 is not prime. Res64: 109451C25C87F330 Time : 0.0 sec. user=vaughan [2013-03-19 08:35:06] 727*2^1242989-1 is not prime. Res64: 0C485C85BD30DCF9 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:43:18] 865*2^1242989-1 is not prime. Res64: 379B18F250793881 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:43:18] 907*2^1242989-1 is not prime. Res64: 01ED73BEA951FAD1 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:51:03] 985*2^1242989-1 is not prime. Res64: B4D691E798B186D8 Time : 0.0 sec. user=mdettweiler [2013-03-19 08:51:04] 651*2^1242990-1 is not prime. Res64: 7B7456B7E2DD7ABA Time : 0.0 sec. user=mdettweiler [2013-03-19 09:00:43] 821*2^1242990-1 is not prime. Res64: 0B7E29B43304488E Time : 0.0 sec. user=mdettweiler [2013-03-19 09:00:44] 843*2^1242990-1 is not prime. Res64: 31FBF0E7319D7916 Time : 0.0 sec. user=juhehe [2013-03-19 09:02:05] 729*2^1242989-1 is not prime. Res64: 18F736EFE470D835 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:08:28] 915*2^1242990-1 is not prime. Res64: 859FE730811AACB0 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:08:30] 963*2^1242990-1 is not prime. Res64: 5F347BB1C7AF60E2 Time : 0.0 sec. user=vaughan [2013-03-19 09:13:21] 783*2^1242990-1 is not prime. Res64: C894EE9F4F053A5E Time : 0.0 sec. user=mdettweiler [2013-03-19 09:18:09] 685*2^1242991-1 is not prime. Res64: 44AA326844117F96 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:18:09] 769*2^1242991-1 is not prime. Res64: 7AE2DCF37A6532D3 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:25:57] 771*2^1242991-1 is not prime. Res64: 10C443FF76B21ABF Time : 0.0 sec. user=mdettweiler [2013-03-19 09:25:57] 873*2^1242991-1 is not prime. Res64: 6F34E616D400ADA8 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:35:37] 753*2^1242992-1 is not prime. Res64: 5641AC38BB215C1C Time : 0.0 sec. user=mdettweiler [2013-03-19 09:35:37] 755*2^1242992-1 is not prime. Res64: 00C43B6D1C534C34 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:43:22] 843*2^1242992-1 is not prime. Res64: 58D4322426B1014F Time : 0.0 sec. user=mdettweiler [2013-03-19 09:43:22] 903*2^1242992-1 is not prime. Res64: 8A7C403E94F2817C Time : 0.0 sec. user=vaughan [2013-03-19 09:51:34] 623*2^1242992-1 is not prime. Res64: C46946880DBF378A Time : 0.0 sec. user=mdettweiler [2013-03-19 09:53:03] 945*2^1242992-1 is not prime. Res64: 715804D89F483B13 Time : 0.0 sec. user=mdettweiler [2013-03-19 09:53:03] 995*2^1242992-1 is not prime. Res64: 0BB49DC640B9A6C2 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:00:47] 609*2^1242993-1 is not prime. Res64: 981C29E5735EBCC4 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:00:48] 739*2^1242993-1 is not prime. Res64: 5EF1A5FEB6E84E57 Time : 0.0 sec. user=juhehe [2013-03-19 10:05:54] 625*2^1242991-1 is not prime. Res64: C2CC05B6A350F883 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:10:28] 847*2^1242993-1 is not prime. Res64: 52FD26144EA1EEC6 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:10:28] 877*2^1242993-1 is not prime. Res64: 81EBE9629A90148A Time : 0.0 sec. user=mdettweiler [2013-03-19 10:18:20] 919*2^1242993-1 is not prime. Res64: 0557DE8626486F5B Time : 0.0 sec. user=mdettweiler [2013-03-19 10:18:20] 921*2^1242993-1 is not prime. Res64: 07FD9869F4093C88 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:27:53] 657*2^1242994-1 is not prime. Res64: 294464E0B5F397CE Time : 0.0 sec. user=mdettweiler [2013-03-19 10:27:53] 773*2^1242994-1 is not prime. Res64: 3857FA1E7EFDE463 Time : 0.0 sec. user=vaughan [2013-03-19 10:29:51] 819*2^1242993-1 is not prime. Res64: 2776FEAAFEDAB03E Time : 0.0 sec. user=mdettweiler [2013-03-19 10:35:52] 803*2^1242994-1 is not prime. Res64: C76B7D7C40857FBD Time : 0.0 sec. user=mdettweiler [2013-03-19 10:35:53] 825*2^1242994-1 is not prime. Res64: 631AEC5D10CBE6A1 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:45:30] 887*2^1242994-1 is not prime. Res64: EB02C80745FDF5FF Time : 0.0 sec. user=mdettweiler [2013-03-19 10:45:31] 603*2^1242995-1 is not prime. Res64: 8E5A6D711519EB1B Time : 0.0 sec. user=mdettweiler [2013-03-19 10:53:39] 645*2^1242995-1 is not prime. Res64: 8F1BAF930D0E12A3 Time : 0.0 sec. user=mdettweiler [2013-03-19 10:53:39] 651*2^1242995-1 is not prime. Res64: 9FCA55246B4A143C Time : 0.0 sec. user=mdettweiler [2013-03-19 11:04:14] 733*2^1242995-1 is not prime. Res64: DFAD22FB6CB48840 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:04:16] 885*2^1242995-1 is not prime. Res64: 1927AC33791DBF95 Time : 0.0 sec. user=vaughan [2013-03-19 11:08:03] 619*2^1242995-1 is not prime. Res64: 721DD8C3876353C4 Time : 0.0 sec. user=juhehe [2013-03-19 11:09:19] 635*2^1242994-1 is not prime. Res64: 32E855E2D3EE0AAB Time : 0.0 sec. user=mdettweiler [2013-03-19 11:12:38] 969*2^1242995-1 is not prime. Res64: B7C7D4ED43113740 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:12:39] 979*2^1242995-1 is not prime. Res64: 5C3D3F79E39A3CAF Time : 0.0 sec. user=mdettweiler [2013-03-19 11:22:13] 609*2^1242996-1 is not prime. Res64: A2B0187F48314AE9 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:22:14] 623*2^1242996-1 is not prime. Res64: BA29EA0F1952CC7E Time : 0.0 sec. user=mdettweiler [2013-03-19 11:30:17] 765*2^1242996-1 is not prime. Res64: 9F3431188663299E Time : 0.0 sec. user=mdettweiler [2013-03-19 11:30:17] 773*2^1242996-1 is not prime. Res64: EBA4095335DEAF89 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:39:53] 777*2^1242996-1 is not prime. Res64: 61C7377FE17718F8 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:39:53] 837*2^1242996-1 is not prime. Res64: 3A78F0C883CA4058 Time : 0.0 sec. user=vaughan [2013-03-19 11:46:18] 693*2^1242996-1 is not prime. Res64: 6F2E0511E7C67396 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:47:55] 839*2^1242996-1 is not prime. Res64: AB9A29269E196836 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:47:55] 845*2^1242996-1 is not prime. Res64: BC2EA7EE31D26B89 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:57:31] 993*2^1242996-1 is not prime. Res64: BED0C67DE7C4DDC4 Time : 0.0 sec. user=mdettweiler [2013-03-19 11:57:31] 861*2^1242997-1 is not prime. Res64: 57E7B5C0E9D62B41 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:05:32] 665*2^1242998-1 is not prime. Res64: 647857CE07AC5B3C Time : 0.0 sec. user=mdettweiler [2013-03-19 12:05:33] 683*2^1242998-1 is not prime. Res64: 0B89A68317FECE90 Time : 0.0 sec. user=juhehe [2013-03-19 12:12:18] 627*2^1242996-1 is not prime. Res64: BF40F9E5BD7D700F Time : 0.0 sec. user=mdettweiler [2013-03-19 12:15:09] 713*2^1242998-1 is not prime. Res64: 6727542569A58052 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:15:10] 995*2^1242998-1 is not prime. Res64: 9A7085890ADBB724 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:23:11] 693*2^1242999-1 is not prime. Res64: BC60FBDB74C45533 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:23:12] 909*2^1242999-1 is not prime. Res64: A6C9903FDB685ECE Time : 0.0 sec. user=vaughan [2013-03-19 12:29:38] 957*2^1242997-1 is not prime. Res64: 8F58F06EA87179FC Time : 0.0 sec. user=mdettweiler [2013-03-19 12:32:48] 615*2^1243000-1 is not prime. Res64: 35852D1458CB4B12 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:32:49] 629*2^1243000-1 is not prime. Res64: A73053047E7753BB Time : 0.0 sec. user=mdettweiler [2013-03-19 12:40:50] 635*2^1243000-1 is not prime. Res64: 474F09B6A9A22524 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:40:50] 687*2^1243000-1 is not prime. Res64: 25CC1F7561720392 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:50:27] 719*2^1243000-1 is not prime. Res64: 065005A895D36068 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:50:28] 827*2^1243000-1 is not prime. Res64: A46A85C5C1D4051F Time : 0.0 sec. user=mdettweiler [2013-03-19 12:58:27] 855*2^1243000-1 is not prime. Res64: 9675E496CEACC633 Time : 0.0 sec. user=mdettweiler [2013-03-19 12:58:28] 863*2^1243000-1 is not prime. Res64: 39AA0708CFDB1E60 Time : 0.0 sec. user=vaughan [2013-03-19 13:07:52] 717*2^1243000-1 is not prime. Res64: B8366183491FDEB6 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:08:02] 887*2^1243000-1 is not prime. Res64: F7FF1839F563E2B7 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:08:03] 917*2^1243000-1 is not prime. Res64: FEFD7D9314A35987 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:16:09] 939*2^1243000-1 is not prime. Res64: C4206ABE639797C3 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:16:09] 983*2^1243000-1 is not prime. Res64: 586B0E34CFA4EE3A Time : 0.0 sec. user=juhehe [2013-03-19 13:22:41] 985*2^1242999-1 is not prime. Res64: D39F40D3100C9E9C Time : 0.0 sec. user=mdettweiler [2013-03-19 13:25:41] 619*2^1243001-1 is not prime. Res64: 7A1B0FE377C68D86 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:25:42] 669*2^1243001-1 is not prime. Res64: 6906460C1819ABDA Time : 0.0 sec. user=mdettweiler [2013-03-19 13:33:53] 805*2^1243001-1 is not prime. Res64: 28F43E7184E0880B Time : 0.0 sec. user=mdettweiler [2013-03-19 13:33:54] 711*2^1243002-1 is not prime. Res64: 8A6F75F1C40F9964 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:43:20] 717*2^1243002-1 is not prime. Res64: 3975B3CA39932AD3 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:43:21] 723*2^1243002-1 is not prime. Res64: BF3008CA902CB332 Time : 0.0 sec. user=vaughan [2013-03-19 13:46:06] 607*2^1243001-1 is not prime. Res64: C054437F65728F28 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:51:37] 875*2^1243002-1 is not prime. Res64: CB5111D985B14FB9 Time : 0.0 sec. user=mdettweiler [2013-03-19 13:51:37] 923*2^1243002-1 is not prime. Res64: 4DA579BF8C3C90CD Time : 0.0 sec. user=mdettweiler [2013-03-19 14:00:59] 941*2^1243002-1 is not prime. Res64: FF63DA438BA19E69 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:01:01] 945*2^1243002-1 is not prime. Res64: 5D3B4E7E6BDB88D4 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:09:13] 679*2^1243003-1 is not prime. Res64: 1E7B4AE8BCF639CC Time : 0.0 sec. user=mdettweiler [2013-03-19 14:09:14] 681*2^1243003-1 is not prime. Res64: 26F974E2452EE261 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:18:53] 709*2^1243003-1 is not prime. Res64: 7EF5985DDFEB51D0 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:18:53] 741*2^1243003-1 is not prime. Res64: 012FF6A397E4B942 Time : 0.0 sec. user=juhehe [2013-03-19 14:19:07] 775*2^1243001-1 is not prime. Res64: 4E21F4E65B5DDEF0 Time : 0.0 sec. user=vaughan [2013-03-19 14:24:16] 663*2^1243003-1 is not prime. Res64: C009D6C6C8F9E3FB Time : 0.0 sec. user=mdettweiler [2013-03-19 14:27:39] 783*2^1243003-1 is not prime. Res64: 1D4C1DA53B77AC0A Time : 0.0 sec. user=mdettweiler [2013-03-19 14:27:39] 829*2^1243003-1 is not prime. Res64: AF049B76C286DE27 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:36:54] 919*2^1243003-1 is not prime. Res64: F8A74B9B52565DAE Time : 0.0 sec. user=mdettweiler [2013-03-19 14:36:55] 993*2^1243003-1 is not prime. Res64: 31EEAE8588085DC2 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:45:11] 699*2^1243004-1 is not prime. Res64: 855EBD0F6D21FE82 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:45:12] 843*2^1243004-1 is not prime. Res64: 71F25E4EE26D4CD3 Time : 0.0 sec. user=mdettweiler [2013-03-19 14:54:25] 857*2^1243004-1 is not prime. Res64: 83BEAD126585BE6F Time : 0.0 sec. user=mdettweiler [2013-03-19 14:54:26] 983*2^1243004-1 is not prime. Res64: 51AB239F8E90CFB8 Time : 0.0 sec. user=vaughan [2013-03-19 15:02:31] 615*2^1243004-1 is not prime. Res64: 7B94FED17D90B49F Time : 0.0 sec. user=mdettweiler [2013-03-19 15:02:45] 609*2^1243005-1 is not prime. Res64: BAE2E1A523708EDA Time : 0.0 sec. user=mdettweiler [2013-03-19 15:02:46] 657*2^1243005-1 is not prime. Res64: B27324EFA0005724 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:11:58] 675*2^1243005-1 is not prime. Res64: 8EF169B415F7C641 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:11:58] 691*2^1243005-1 is not prime. Res64: 4164E8AD35D059DA Time : 0.0 sec. user=mdettweiler [2013-03-19 15:20:26] 781*2^1243005-1 is not prime. Res64: 6D3D55A52227AC8C Time : 0.0 sec. user=mdettweiler [2013-03-19 15:20:26] 819*2^1243005-1 is not prime. Res64: 63A71C082DDD7E6F Time : 0.0 sec. user=juhehe [2013-03-19 15:29:02] 665*2^1243004-1 is not prime. Res64: AC747B760C01B311 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:29:49] 831*2^1243005-1 is not prime. Res64: AB78FD187824F8B6 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:29:50] 979*2^1243005-1 is not prime. Res64: 7458C0A0278130AD Time : 0.0 sec. user=mdettweiler [2013-03-19 15:38:08] 999*2^1243005-1 is not prime. Res64: 167CB78AC70F5EF6 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:38:08] 611*2^1243006-1 is not prime. Res64: 7013B1604BBC46B2 Time : 0.0 sec. user=vaughan [2013-03-19 15:40:47] 751*2^1243005-1 is not prime. Res64: C5E1B3EAB5EFED6E Time : 0.0 sec. user=mdettweiler [2013-03-19 15:47:22] 923*2^1243006-1 is not prime. Res64: E0CDFCC379B7F3BD Time : 0.0 sec. user=mdettweiler [2013-03-19 15:47:22] 933*2^1243006-1 is not prime. Res64: FBDECCF285E525D7 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:55:40] 799*2^1243007-1 is not prime. Res64: BF287B5BC528A452 Time : 0.0 sec. user=mdettweiler [2013-03-19 15:55:41] 889*2^1243007-1 is not prime. Res64: 1434C76E882BBB07 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:04:56] 949*2^1243007-1 is not prime. Res64: 9D2040A0CEE8DC28 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:04:56] 963*2^1243007-1 is not prime. Res64: C0D54632E2894315 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:13:13] 657*2^1243008-1 is not prime. Res64: AD674FF8E01F2338 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:13:13] 683*2^1243008-1 is not prime. Res64: FDB8894657CB8E01 Time : 0.0 sec. user=vaughan [2013-03-19 16:18:58] 915*2^1243007-1 is not prime. Res64: B4EDCC4BEADE215D Time : 0.0 sec. user=mdettweiler [2013-03-19 16:22:28] 699*2^1243008-1 is not prime. Res64: 338B721E3F0D10C3 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:22:28] 725*2^1243008-1 is not prime. Res64: AE45E8B8494C9D81 Time : 0.0 sec. user=juhehe [2013-03-19 16:25:00] 843*2^1243006-1 is not prime. Res64: 4F03CB4B67FD61D9 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:30:45] 899*2^1243008-1 is not prime. Res64: BE8DC9E5879701E1 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:30:45] 915*2^1243008-1 is not prime. Res64: FE503C4CB9344C78 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:40:00] 609*2^1243009-1 is not prime. Res64: 8FFEF4740B6BCF27 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:40:00] 747*2^1243009-1 is not prime. Res64: A6C8E1F7808087C0 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:48:15] 861*2^1243009-1 is not prime. Res64: 430D54FA6790F99C Time : 0.0 sec. user=mdettweiler [2013-03-19 16:48:16] 885*2^1243009-1 is not prime. Res64: 41147ADC50BFCE98 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:57:28] 931*2^1243009-1 is not prime. Res64: 9755906C814455C6 Time : 0.0 sec. user=mdettweiler [2013-03-19 16:57:29] 945*2^1243009-1 is not prime. Res64: CB54E0239599F3FF Time : 0.0 sec. user=vaughan [2013-03-19 17:02:15] 957*2^1243008-1 is not prime. Res64: 97EB5097537E40B0 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:05:44] 645*2^1243010-1 is not prime. Res64: DEEAF16FFE58FCF7 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:05:44] 665*2^1243010-1 is not prime. Res64: 443A0034D7D52982 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:14:56] 713*2^1243010-1 is not prime. Res64: 21D501DC023CE600 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:14:57] 767*2^1243010-1 is not prime. Res64: 322A579C9AA12D0E Time : 0.0 sec. user=mdettweiler [2013-03-19 17:23:13] 893*2^1243010-1 is not prime. Res64: 04181DDB6A8E927D Time : 0.0 sec. user=mdettweiler [2013-03-19 17:23:13] 935*2^1243010-1 is not prime. Res64: 9DBBB840AC26A811 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:32:25] 703*2^1243011-1 is not prime. Res64: CF2F33249F72D836 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:32:25] 769*2^1243011-1 is not prime. Res64: 58D3B31D66A4F33F Time : 0.0 sec. user=vaughan [2013-03-19 17:40:27] 797*2^1243010-1 is not prime. Res64: 9EA501A67A2F73BB Time : 0.0 sec. user=mdettweiler [2013-03-19 17:40:44] 805*2^1243011-1 is not prime. Res64: E69845459C2FD8EA Time : 0.0 sec. user=mdettweiler [2013-03-19 17:40:44] 849*2^1243011-1 is not prime. Res64: B6AF1EED1FE64886 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:49:56] 951*2^1243011-1 is not prime. Res64: AE263D8F299C2E34 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:49:57] 665*2^1243012-1 is not prime. Res64: 4196BE33B0545139 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:58:14] 743*2^1243012-1 is not prime. Res64: 2777F9BEE7C13A30 Time : 0.0 sec. user=mdettweiler [2013-03-19 17:58:14] 765*2^1243012-1 is not prime. Res64: F109F77BE374B125 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:07:25] 987*2^1243012-1 is not prime. Res64: 7D0CC8662AC96942 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:07:26] 615*2^1243013-1 is not prime. Res64: 18E31C74E10A0409 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:15:51] 631*2^1243013-1 is not prime. Res64: 05C5CDEB3BC5DD75 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:15:52] 699*2^1243013-1 is not prime. Res64: DEC6F3AC201D8903 Time : 0.0 sec. user=vaughan [2013-03-19 18:18:38] 687*2^1243012-1 is not prime. Res64: B85CF949F57DA9FF Time : 0.0 sec. user=mdettweiler [2013-03-19 18:25:22] 741*2^1243013-1 is not prime. Res64: 5ACB43609B4CCFAC Time : 0.0 sec. user=mdettweiler [2013-03-19 18:25:23] 847*2^1243013-1 is not prime. Res64: BFE77CA3FABED0EF Time : 0.0 sec. user=juhehe [2013-03-19 18:31:20] 885*2^1243011-1 is not prime. Res64: 99EAB64740416EDD Time : 0.0 sec. user=mdettweiler [2013-03-19 18:33:46] 889*2^1243013-1 is not prime. Res64: EF82997161E0137D Time : 0.0 sec. user=mdettweiler [2013-03-19 18:33:46] 621*2^1243014-1 is not prime. Res64: E6D80E4D7A9093E2 Time : 0.0 sec. user=juhehe [2013-03-19 18:36:30] 909*2^1243011-1 is not prime. Res64: 75A7D7F51EB732EF Time : 0.0 sec. user=mdettweiler [2013-03-19 18:43:17] 705*2^1243014-1 is not prime. Res64: E2E1FA3A225793C7 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:43:17] 851*2^1243014-1 is not prime. Res64: 17018ECFF02ECA01 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:51:43] 875*2^1243014-1 is not prime. Res64: AFE0E451EFC2C467 Time : 0.0 sec. user=mdettweiler [2013-03-19 18:51:43] 927*2^1243014-1 is not prime. Res64: 2EFF4A093E3043D6 Time : 0.0 sec. user=vaughan [2013-03-19 18:56:50] 663*2^1243014-1 is not prime. Res64: F30A74A9AED09343 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:00:53] 951*2^1243014-1 is not prime. Res64: ACC48CD82BED8B59 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:00:54] 975*2^1243014-1 is not prime. Res64: 3F1698B9D5F6AE2D Time : 0.0 sec. user=mdettweiler [2013-03-19 19:09:11] 645*2^1243015-1 is not prime. Res64: C2E68AE9E07CEDD5 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:09:13] 675*2^1243015-1 is not prime. Res64: 2F15FD2302F4E098 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:18:28] 829*2^1243015-1 is not prime. Res64: 06EE1F423AC23ED5 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:18:28] 831*2^1243015-1 is not prime. Res64: A7414744A5835B70 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:26:52] 633*2^1243016-1 is not prime. Res64: A3503C1B408236D0 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:26:53] 773*2^1243016-1 is not prime. Res64: FC5DE0D058C7CE8F Time : 0.0 sec. user=vaughan [2013-03-19 19:35:02] 759*2^1243015-1 is not prime. Res64: 7BB7DF7486B98DFF Time : 0.0 sec. user=mdettweiler [2013-03-19 19:36:04] 785*2^1243016-1 is not prime. Res64: FC3FA23906007964 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:36:04] 833*2^1243016-1 is not prime. Res64: 43710B30C611D409 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:44:28] 857*2^1243016-1 is not prime. Res64: 0DE78A9600FD379C Time : 0.0 sec. user=mdettweiler [2013-03-19 19:44:29] 957*2^1243016-1 is not prime. Res64: 3EF5657679FEC19C Time : 0.0 sec. user=mdettweiler [2013-03-19 19:53:39] 605*2^1243018-1 is not prime. Res64: 6893B6F6D633CE67 Time : 0.0 sec. user=mdettweiler [2013-03-19 19:53:39] 651*2^1243018-1 is not prime. Res64: AB0FE37570A6EB76 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:02:01] 687*2^1243018-1 is not prime. Res64: 161FE0477264C4B6 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:02:02] 765*2^1243018-1 is not prime. Res64: 126A323BFE065F7D Time : 0.0 sec. user=mdettweiler [2013-03-19 20:11:08] 843*2^1243018-1 is not prime. Res64: 6A48F1C63BA1F364 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:11:08] 971*2^1243018-1 is not prime. Res64: 4C9EAAD0B1A0FCB7 Time : 0.0 sec. user=vaughan [2013-03-19 20:13:14] 909*2^1243017-1 is not prime. Res64: 91C60C48E1EA4E20 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:19:31] 883*2^1243019-1 is not prime. Res64: 51056FE44074D80A Time : 0.0 sec. user=mdettweiler [2013-03-19 20:19:32] 885*2^1243019-1 is not prime. Res64: 9EF9DF07EB431D13 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:28:39] 689*2^1243020-1 is not prime. Res64: F3927C2E2485A151 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:28:40] 719*2^1243020-1 is not prime. Res64: 21C5B7951BBAD812 Time : 0.0 sec. user=juhehe [2013-03-19 20:37:26] 711*2^1243017-1 is not prime. Res64: 1A4C2647D645C83E Time : 0.0 sec. user=mdettweiler [2013-03-19 20:37:28] 803*2^1243020-1 is not prime. Res64: 8380BABCBCAAEDAD Time : 0.0 sec. user=mdettweiler [2013-03-19 20:37:28] 825*2^1243020-1 is not prime. Res64: 915F656950415A62 Time : 0.0 sec. user=juhehe [2013-03-19 20:43:08] 681*2^1243018-1 is not prime. Res64: C2E1C13B29F744A9 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:47:04] 839*2^1243020-1 is not prime. Res64: AC2623C2DCD772A8 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:47:05] 999*2^1243020-1 is not prime. Res64: 65AE9A884CA0150A Time : 0.0 sec. user=vaughan [2013-03-19 20:51:28] 779*2^1243020-1 is not prime. Res64: 74EEE0DC2FC1D5E8 Time : 0.0 sec. user=mdettweiler [2013-03-19 20:56:04] 615*2^1243021-1 is not prime. Res64: C59F8ADE626C0D6B Time : 0.0 sec. user=mdettweiler [2013-03-19 20:56:05] 681*2^1243021-1 is not prime. Res64: 93B049CDA40E34AA Time : 0.0 sec. user=mdettweiler [2013-03-19 21:05:09] 687*2^1243021-1 is not prime. Res64: 23935C0A3844660E Time : 0.0 sec. user=mdettweiler [2013-03-19 21:05:10] 769*2^1243021-1 is not prime. Res64: 554F108E42A0DBBE Time : 0.0 sec. user=mdettweiler [2013-03-19 21:13:40] 987*2^1243021-1 is not prime. Res64: AABE7D186B03281F Time : 0.0 sec. user=mdettweiler [2013-03-19 21:13:40] 997*2^1243021-1 is not prime. Res64: 7688E338D16FE50C Time : 0.0 sec. user=mdettweiler [2013-03-19 21:22:40] 623*2^1243022-1 is not prime. Res64: E81682AF0D172C49 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:22:41] 675*2^1243022-1 is not prime. Res64: DE5DFE6C5722FA9D Time : 0.0 sec. user=vaughan [2013-03-19 21:29:42] 895*2^1243021-1 is not prime. Res64: 188C01F2A22791A9 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:31:10] 741*2^1243022-1 is not prime. Res64: ED7BFA1F45A7CE74 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:31:11] 801*2^1243022-1 is not prime. Res64: 1C616E228AED0041 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:40:10] 857*2^1243022-1 is not prime. Res64: 50955341F8AE1DB5 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:40:11] 903*2^1243022-1 is not prime. Res64: 88A8F39B01D0B1E9 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:48:40] 663*2^1243023-1 is not prime. Res64: F1A6F50226802049 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:48:40] 691*2^1243023-1 is not prime. Res64: 0830DFC12BEA1639 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:57:40] 765*2^1243023-1 is not prime. Res64: 9612BFDE16731CB0 Time : 0.0 sec. user=mdettweiler [2013-03-19 21:57:41] 795*2^1243023-1 is not prime. Res64: CB49E93B72FCA21F Time : 0.0 sec. user=mdettweiler [2013-03-19 22:06:09] 949*2^1243023-1 is not prime. Res64: E9C2CDAD78E36E22 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:06:10] 961*2^1243023-1 is not prime. Res64: 4FA5727103503219 Time : 0.0 sec. user=vaughan [2013-03-19 22:12:55] 951*2^1243022-1 is not prime. Res64: 95A8C1FE15350EE7 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:15:11] 639*2^1243024-1 is not prime. Res64: 6B4ACBE8E7387D5B Time : 0.0 sec. user=mdettweiler [2013-03-19 22:15:11] 825*2^1243024-1 is not prime. Res64: A19347197115A8E3 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:23:40] 929*2^1243024-1 is not prime. Res64: 56610D11219AF5BD Time : 0.0 sec. user=mdettweiler [2013-03-19 22:23:41] 947*2^1243024-1 is not prime. Res64: 6225D80021692F39 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:32:41] 699*2^1243025-1 is not prime. Res64: 180F7791C9C77A7C Time : 0.0 sec. user=mdettweiler [2013-03-19 22:32:41] 771*2^1243025-1 is not prime. Res64: 370236A528A0C997 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:41:09] 787*2^1243025-1 is not prime. Res64: CC4D3C7F631F62FD Time : 0.0 sec. user=mdettweiler [2013-03-19 22:41:10] 885*2^1243025-1 is not prime. Res64: 6C5E8750C129C8FF Time : 0.0 sec. user=juhehe [2013-03-19 22:44:13] 703*2^1243023-1 is not prime. Res64: 40836734E9BD2680 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:50:10] 907*2^1243025-1 is not prime. Res64: 6694FCEEADB8E1EE Time : 0.0 sec. user=mdettweiler [2013-03-19 22:50:11] 955*2^1243025-1 is not prime. Res64: 98C08472C5740B1C Time : 0.0 sec. user=juhehe [2013-03-19 22:50:21] 885*2^1243023-1 is not prime. Res64: 5C3FE473007BCC56 Time : 0.0 sec. user=vaughan [2013-03-19 22:56:14] 965*2^1243024-1 is not prime. Res64: 4E0CCD0E08BAE239 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:58:39] 987*2^1243025-1 is not prime. Res64: 5F5998885A3C4A79 Time : 0.0 sec. user=mdettweiler [2013-03-19 22:58:40] 633*2^1243026-1 is not prime. Res64: 0108CC0DC800357E Time : 0.0 sec. user=mdettweiler [2013-03-19 23:07:38] 641*2^1243026-1 is not prime. Res64: B65E08D28D1ABC8D Time : 0.0 sec. user=mdettweiler [2013-03-19 23:07:39] 677*2^1243026-1 is not prime. Res64: E8888809DB7D5D47 Time : 0.0 sec. user=mdettweiler [2013-03-19 23:16:04] 815*2^1243026-1 is not prime. Res64: 35294D90A20FD2CA Time : 0.0 sec. user=mdettweiler [2013-03-19 23:16:04] 945*2^1243026-1 is not prime. Res64: 214E0DBF465A419E Time : 0.0 sec. user=mdettweiler [2013-03-19 23:25:03] 673*2^1243027-1 is not prime. Res64: BB4558C6E8E79F8E Time : 0.0 sec. user=mdettweiler [2013-03-19 23:25:04] 693*2^1243027-1 is not prime. Res64: CA78C5BA91D449F5 Time : 0.0 sec. user=mdettweiler [2013-03-19 23:33:31] 765*2^1243027-1 is not prime. Res64: DD92264A665DF2F7 Time : 0.0 sec. user=mdettweiler [2013-03-19 23:33:31] 819*2^1243027-1 is not prime. Res64: F46051218A662A3F Time : 0.0 sec. user=vaughan [2013-03-19 23:34:26] 683*2^1243026-1 is not prime. Res64: 3260EB881877F1D4 Time : 0.0 sec. user=mdettweiler [2013-03-19 23:42:29] 925*2^1243027-1 is not prime. Res64: 657E66766FA9F6BF Time : 0.0 sec. user=mdettweiler [2013-03-19 23:42:30] 975*2^1243027-1 is not prime. Res64: 5B3A8B7452A6757B Time : 0.0 sec. user=mdettweiler [2013-03-19 23:50:54] 629*2^1243028-1 is not prime. Res64: F1B586E8759ABB21 Time : 0.0 sec. user=mdettweiler [2013-03-19 23:50:55] 707*2^1243028-1 is not prime. Res64: 9FB8F482B6788C6E Time : 0.0 sec. user=mdettweiler [2013-03-19 23:59:53] 839*2^1243028-1 is not prime. Res64: 4C17B2CEB72C49B0 Time : 0.0 sec. user=mdettweiler [2013-03-19 23:59:53] 885*2^1243028-1 is not prime. Res64: 0777FEE4842DB732 Time : 0.0 sec.