user=mdettweiler [2013-08-15 00:03:59] 767*2^1250772-1 is not prime. Res64: 48BC7A984B63658B Time : 0.0 sec. user=mdettweiler [2013-08-15 00:03:59] 819*2^1250772-1 is not prime. Res64: CE3C38D977C98412 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:04:33] 863*2^1250772-1 is not prime. Res64: D69E25C50538E0E4 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:04:34] 875*2^1250772-1 is not prime. Res64: F4A6E37228032481 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:20:27] 909*2^1250772-1 is not prime. Res64: BC2D805D507B235C Time : 0.0 sec. user=mdettweiler [2013-08-15 00:20:28] 977*2^1250772-1 is not prime. Res64: E187672EE92B4348 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:22:23] 983*2^1250772-1 is not prime. Res64: 70A47F5DF2FE0359 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:22:24] 609*2^1250773-1 is not prime. Res64: E27A6DE6CB341215 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:24:10] 619*2^1250773-1 is not prime. Res64: 773EFD11B94F79AF Time : 0.0 sec. user=mdettweiler [2013-08-15 00:24:10] 687*2^1250773-1 is not prime. Res64: 0EA610F0AC424C94 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:24:40] 715*2^1250773-1 is not prime. Res64: 1C8FC3E68374E9FE Time : 0.0 sec. user=mdettweiler [2013-08-15 00:24:41] 727*2^1250773-1 is not prime. Res64: 0CEAFD4E890788E2 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:41:38] 937*2^1250773-1 is not prime. Res64: 19FB74F8D8CA7DE1 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:41:38] 657*2^1250774-1 is not prime. Res64: 7394BCFFFBDFBD8F Time : 0.0 sec. user=mdettweiler [2013-08-15 00:42:36] 755*2^1250774-1 is not prime. Res64: 1DC9A1F813A66BF0 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:42:36] 797*2^1250774-1 is not prime. Res64: 8B430F96A2DEBF1F Time : 0.0 sec. user=mdettweiler [2013-08-15 00:45:27] 825*2^1250774-1 is not prime. Res64: 83977220F9F9A1A9 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:45:28] 923*2^1250774-1 is not prime. Res64: FA857DBCEA017D0C Time : 0.0 sec. user=mdettweiler [2013-08-15 00:46:03] 953*2^1250774-1 is not prime. Res64: 7C392B3581B4E6D9 Time : 0.0 sec. user=mdettweiler [2013-08-15 00:46:03] 601*2^1250775-1 is not prime. Res64: 055BD17CF1A57E44 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:01:49] 639*2^1250775-1 is not prime. Res64: 90614D7CC0A79776 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:01:50] 651*2^1250775-1 is not prime. Res64: 1EE75B257F49F0F3 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:02:29] 663*2^1250775-1 is not prime. Res64: 13EBCE43C1E3F2AB Time : 0.0 sec. user=mdettweiler [2013-08-15 01:02:30] 741*2^1250775-1 is not prime. Res64: 7DC9D260CB20B94B Time : 0.0 sec. user=mdettweiler [2013-08-15 01:05:10] 781*2^1250775-1 is not prime. Res64: 4E9D9264992F260D Time : 0.0 sec. user=mdettweiler [2013-08-15 01:05:12] 789*2^1250775-1 is not prime. Res64: F1696FB3FD787B45 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:05:43] 895*2^1250775-1 is not prime. Res64: 4EBEBCFBD61D365A Time : 0.0 sec. user=mdettweiler [2013-08-15 01:05:43] 675*2^1250776-1 is not prime. Res64: 597F96C83D6B40BC Time : 0.0 sec. user=mdettweiler [2013-08-15 01:21:43] 843*2^1250776-1 is not prime. Res64: 76B79ACB04C2A0AA Time : 0.0 sec. user=mdettweiler [2013-08-15 01:21:44] 873*2^1250776-1 is not prime. Res64: 5CE0A645FCECC637 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:23:26] 939*2^1250776-1 is not prime. Res64: 04F8AAD926130E29 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:23:27] 601*2^1250777-1 is not prime. Res64: 32BFB6A033EAFDA0 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:24:56] 607*2^1250777-1 is not prime. Res64: 563B5B9C0845E32A Time : 0.0 sec. user=mdettweiler [2013-08-15 01:24:57] 675*2^1250777-1 is not prime. Res64: 7091B513D31ACFFC Time : 0.0 sec. user=mdettweiler [2013-08-15 01:25:24] 865*2^1250777-1 is not prime. Res64: 629C1E4DA043B91D Time : 0.0 sec. user=mdettweiler [2013-08-15 01:25:26] 867*2^1250777-1 is not prime. Res64: C372EAE69320FB52 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:42:20] 871*2^1250777-1 is not prime. Res64: 667F96C77C2A2C3B Time : 0.0 sec. user=mdettweiler [2013-08-15 01:42:21] 909*2^1250777-1 is not prime. Res64: 4B7B97B817465337 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:43:03] 621*2^1250778-1 is not prime. Res64: 52C8700F73616084 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:43:04] 731*2^1250778-1 is not prime. Res64: 95489C86AF795927 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:44:32] 747*2^1250778-1 is not prime. Res64: 7155EA8D6C4121CA Time : 0.0 sec. user=mdettweiler [2013-08-15 01:44:33] 815*2^1250778-1 is not prime. Res64: 068D42636FB2BD52 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:45:53] 927*2^1250778-1 is not prime. Res64: AE5DA0F3A96A9210 Time : 0.0 sec. user=mdettweiler [2013-08-15 01:45:55] 631*2^1250779-1 is not prime. Res64: F0CE5FC61A5B7097 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:01:58] 633*2^1250779-1 is not prime. Res64: 73ED05C5DBB08534 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:02:00] 675*2^1250779-1 is not prime. Res64: 710A9A77197FD19C Time : 0.0 sec. user=mdettweiler [2013-08-15 02:03:25] 859*2^1250779-1 is not prime. Res64: 77602A760CBBFAA2 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:03:26] 961*2^1250779-1 is not prime. Res64: EF3082E26C4A2FB5 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:05:25] 609*2^1250781-1 is not prime. Res64: B8469903434DCD79 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:05:25] 847*2^1250781-1 is not prime. Res64: CECFF751AFDF7B40 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:05:47] 935*2^1250780-1 is not prime. Res64: 32E7777DAAD01FFF Time : 0.0 sec. user=mdettweiler [2013-08-15 02:05:48] 999*2^1250780-1 is not prime. Res64: C1D27EE8603D001D Time : 0.0 sec. user=mdettweiler [2013-08-15 02:22:48] 861*2^1250781-1 is not prime. Res64: 572A2313B69BB282 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:22:48] 991*2^1250781-1 is not prime. Res64: CEDFFDBCBBC0A532 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:22:56] 723*2^1250782-1 is not prime. Res64: BDD8BD86E8CD14AE Time : 0.0 sec. user=mdettweiler [2013-08-15 02:22:56] 755*2^1250782-1 is not prime. Res64: 057AB4DEA44BEE52 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:24:58] 831*2^1250782-1 is not prime. Res64: 16DFB591204C36FF Time : 0.0 sec. user=mdettweiler [2013-08-15 02:24:59] 863*2^1250782-1 is not prime. Res64: 8843F3FA5F915ECD Time : 0.0 sec. user=mdettweiler [2013-08-15 02:26:16] 1001*2^1250782-1 is not prime. Res64: 0D51FBF90224AE78 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:26:17] 615*2^1250783-1 is not prime. Res64: C849C950BE095092 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:42:18] 643*2^1250783-1 is not prime. Res64: 3C03C5E451BB514B Time : 0.0 sec. user=mdettweiler [2013-08-15 02:42:19] 753*2^1250783-1 is not prime. Res64: 7F564BED2B8AA15E Time : 0.0 sec. user=mdettweiler [2013-08-15 02:42:21] 855*2^1250783-1 is not prime. Res64: 2BD8852DF9663095 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:42:23] 885*2^1250783-1 is not prime. Res64: 51D58F55FD5093D7 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:45:13] 973*2^1250783-1 is not prime. Res64: 163952B8E88730D2 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:45:14] 719*2^1250784-1 is not prime. Res64: 1ABCC4DE2A4216B3 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:45:40] 737*2^1250784-1 is not prime. Res64: 45D5D89E1E0A8564 Time : 0.0 sec. user=mdettweiler [2013-08-15 02:45:40] 759*2^1250784-1 is not prime. Res64: 51CAF7D8EA8D3143 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:01:56] 601*2^1250785-1 is not prime. Res64: 8E2B2E6B8AE01D46 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:01:58] 619*2^1250785-1 is not prime. Res64: 71FA9E10497A3174 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:03:37] 945*2^1250784-1 is not prime. Res64: 28C8035EBA830B7D Time : 0.0 sec. user=mdettweiler [2013-08-15 03:03:38] 947*2^1250784-1 is not prime. Res64: E55B5A804CB5F5F8 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:04:27] 645*2^1250785-1 is not prime. Res64: 11EBB0AFFAAC3FF8 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:04:29] 661*2^1250785-1 is not prime. Res64: 66280F3359DD1E5B Time : 0.0 sec. user=mdettweiler [2013-08-15 03:04:56] 715*2^1250785-1 is not prime. Res64: CD4B7C7AA3FCCCA4 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:04:57] 741*2^1250785-1 is not prime. Res64: 04D7CA18C5BDD986 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:21:31] 777*2^1250785-1 is not prime. Res64: 4080B34370B86F72 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:21:32] 861*2^1250785-1 is not prime. Res64: DC09D043BD7CEE5F Time : 0.0 sec. user=mdettweiler [2013-08-15 03:22:56] 877*2^1250785-1 is not prime. Res64: DD33FFD1ADB5B58B Time : 0.0 sec. user=mdettweiler [2013-08-15 03:22:57] 615*2^1250786-1 is not prime. Res64: 4B01F99B355E193B Time : 0.0 sec. user=mdettweiler [2013-08-15 03:23:51] 633*2^1250786-1 is not prime. Res64: 7897C2EEE2DAA26B Time : 0.0 sec. user=mdettweiler [2013-08-15 03:23:52] 683*2^1250786-1 is not prime. Res64: 4316D3F808029DE0 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:24:21] 827*2^1250786-1 is not prime. Res64: 6F0BED3934D4E397 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:24:22] 837*2^1250786-1 is not prime. Res64: F7785A4AB5C12681 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:40:59] 843*2^1250786-1 is not prime. Res64: F7CB90620074D952 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:41:00] 851*2^1250786-1 is not prime. Res64: 4F4204B3979F573C Time : 0.0 sec. user=mdettweiler [2013-08-15 03:42:21] 857*2^1250786-1 is not prime. Res64: FB2A5E32AF658788 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:42:21] 873*2^1250786-1 is not prime. Res64: 50C536332BBE02CB Time : 0.0 sec. user=mdettweiler [2013-08-15 03:43:52] 711*2^1250787-1 is not prime. Res64: 0CA100CFEF7A23FD Time : 0.0 sec. user=mdettweiler [2013-08-15 03:43:53] 769*2^1250787-1 is not prime. Res64: BC2CDF6B5A20E5B1 Time : 0.0 sec. user=mdettweiler [2013-08-15 03:44:19] 1001*2^1250786-1 is not prime. Res64: 036AE84629B43C2D Time : 0.0 sec. user=mdettweiler [2013-08-15 03:44:20] 633*2^1250787-1 is not prime. Res64: 365DD666CF36055F Time : 0.0 sec. user=mdettweiler [2013-08-15 04:00:22] 873*2^1250787-1 is not prime. Res64: CA726503D4D7CB33 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:00:23] 677*2^1250788-1 is not prime. Res64: FDE9475B90A1C8E2 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:01:45] 687*2^1250788-1 is not prime. Res64: D7A2666ADB0F55F2 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:01:45] 749*2^1250788-1 is not prime. Res64: F7323B45EA611291 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:03:17] 797*2^1250788-1 is not prime. Res64: 900ADA80DAB409D2 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:03:19] 863*2^1250788-1 is not prime. Res64: 00CCC096358B2E11 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:03:44] 615*2^1250789-1 is not prime. Res64: 59CF06C64C0FC4F1 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:03:44] 729*2^1250789-1 is not prime. Res64: F4FB7CADC698B576 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:19:44] 745*2^1250789-1 is not prime. Res64: 1E18D24048EEC957 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:19:45] 693*2^1250790-1 is not prime. Res64: A789523BFE06AF3A Time : 0.0 sec. user=mdettweiler [2013-08-15 04:22:41] 675*2^1250791-1 is not prime. Res64: 6E88AF29E7ABE308 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:22:41] 841*2^1250791-1 is not prime. Res64: EC6B8153772C0A79 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:22:56] 915*2^1250790-1 is not prime. Res64: 39F0C4BD9AADAF97 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:22:57] 1001*2^1250790-1 is not prime. Res64: 2E9864CBE687B740 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:23:56] 891*2^1250791-1 is not prime. Res64: DF5D62EB375AA13C Time : 0.0 sec. user=mdettweiler [2013-08-15 04:23:57] 975*2^1250791-1 is not prime. Res64: F316C695BBACF04A Time : 0.0 sec. user=mdettweiler [2013-08-15 04:39:04] 605*2^1250792-1 is not prime. Res64: 0543EB725CEA78CD Time : 0.0 sec. user=mdettweiler [2013-08-15 04:39:05] 699*2^1250792-1 is not prime. Res64: 32BB109A09FFBA89 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:41:56] 819*2^1250792-1 is not prime. Res64: 03C8A9C3DE669559 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:41:57] 843*2^1250792-1 is not prime. Res64: 85665661D487F412 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:43:09] 873*2^1250792-1 is not prime. Res64: 8815CE7794D09E07 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:43:09] 917*2^1250792-1 is not prime. Res64: DD95EA6F26ECC074 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:43:13] 649*2^1250793-1 is not prime. Res64: EFE6938F0EAB3C90 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:43:13] 705*2^1250793-1 is not prime. Res64: 1838ED1F019DC317 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:58:33] 751*2^1250793-1 is not prime. Res64: 07BEE79C935186E0 Time : 0.0 sec. user=mdettweiler [2013-08-15 04:58:34] 795*2^1250793-1 is not prime. Res64: 5243DD0F7EC111C9 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:01:15] 805*2^1250793-1 is not prime. Res64: 843E4E70D4F1BA59 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:01:16] 901*2^1250793-1 is not prime. Res64: E87FFF9499FD6F8E Time : 0.0 sec. user=mdettweiler [2013-08-15 05:02:24] 623*2^1250794-1 is not prime. Res64: B0EB9E12055F8748 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:02:25] 677*2^1250794-1 is not prime. Res64: 1E4DA7FA89A18A0F Time : 0.0 sec. user=mdettweiler [2013-08-15 05:02:32] 707*2^1250794-1 is not prime. Res64: B32D0543AC0984F4 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:02:33] 857*2^1250794-1 is not prime. Res64: AE45D92335751B30 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:17:47] 885*2^1250794-1 is not prime. Res64: F7BA26AB72C52515 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:17:48] 903*2^1250794-1 is not prime. Res64: C7BC36AE5B2653F4 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:21:24] 917*2^1250794-1 is not prime. Res64: B5C01EC1A6FB0D78 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:21:25] 609*2^1250795-1 is not prime. Res64: 278327734364F015 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:21:40] 669*2^1250795-1 is not prime. Res64: 944BE2900A8D38D5 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:21:40] 673*2^1250795-1 is not prime. Res64: 865BE42652E933C9 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:21:53] 675*2^1250795-1 is not prime. Res64: D1F87138E859A27A Time : 0.0 sec. user=mdettweiler [2013-08-15 05:21:53] 685*2^1250795-1 is not prime. Res64: 3653AB2E3D196DA2 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:37:55] 799*2^1250795-1 is not prime. Res64: A05EB956C26C0495 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:37:55] 979*2^1250795-1 is not prime. Res64: 2CD6692E531233A2 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:40:54] 695*2^1250796-1 is not prime. Res64: DBA23E9ACEBCE307 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:40:55] 717*2^1250796-1 is not prime. Res64: 1815BD3EF6593CEC Time : 0.0 sec. user=mdettweiler [2013-08-15 05:41:12] 749*2^1250796-1 is not prime. Res64: 7C2F781089BB7B00 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:41:12] 825*2^1250796-1 is not prime. Res64: DBB5D0F18A7A3033 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:41:34] 991*2^1250795-1 is not prime. Res64: 9636A0D05AAC0725 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:41:35] 647*2^1250796-1 is not prime. Res64: B743706459465CF7 Time : 0.0 sec. user=mdettweiler [2013-08-15 05:57:13] 839*2^1250796-1 is not prime. Res64: 73F61C35A35E6E3F Time : 0.0 sec. user=mdettweiler [2013-08-15 05:57:13] 887*2^1250796-1 is not prime. Res64: 57D83BBEB9CB99B8 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:00:28] 699*2^1250797-1 is not prime. Res64: A01D2B9B9C7AAFD0 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:00:30] 729*2^1250797-1 is not prime. Res64: 5BBFE1ACEA79AAF5 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:01:06] 899*2^1250796-1 is not prime. Res64: 7D488D72A6BA2885 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:01:07] 999*2^1250796-1 is not prime. Res64: C69DF453F9E2DA8E Time : 0.0 sec. user=mdettweiler [2013-08-15 06:01:39] 771*2^1250797-1 is not prime. Res64: CD8CA3041616A9CF Time : 0.0 sec. user=mdettweiler [2013-08-15 06:01:40] 915*2^1250797-1 is not prime. Res64: D6A58CB4274CCC34 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:18:17] 927*2^1250797-1 is not prime. Res64: 898D7CF3D05F4AA9 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:18:17] 931*2^1250797-1 is not prime. Res64: C81AD2124C642CCF Time : 0.0 sec. user=mdettweiler [2013-08-15 06:20:23] 677*2^1250798-1 is not prime. Res64: 06AFEE55A6276256 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:20:24] 797*2^1250798-1 is not prime. Res64: 60C56A7A485465A2 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:20:39] 957*2^1250797-1 is not prime. Res64: 9AF0DB908BBC58F9 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:20:40] 665*2^1250798-1 is not prime. Res64: BB64AD758E519BB7 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:20:55] 815*2^1250798-1 is not prime. Res64: 94E48A42EE158517 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:20:55] 885*2^1250798-1 is not prime. Res64: 6392A6B9408E55F1 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:37:28] 893*2^1250798-1 is not prime. Res64: 5B7FCE6A494AE427 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:37:29] 897*2^1250798-1 is not prime. Res64: DCD61F3A232507E8 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:39:56] 613*2^1250799-1 is not prime. Res64: 99D95AD3A12B2C02 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:39:57] 649*2^1250799-1 is not prime. Res64: B9B3B41D2FB70DC2 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:40:11] 685*2^1250799-1 is not prime. Res64: DE6C94E78C223678 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:40:11] 721*2^1250799-1 is not prime. Res64: 3DDBA2399DB0AF1F Time : 0.0 sec. user=mdettweiler [2013-08-15 06:41:23] 921*2^1250798-1 is not prime. Res64: 78C397A4164A98B4 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:41:23] 993*2^1250798-1 is not prime. Res64: 5E425D836A104762 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:58:30] 913*2^1250799-1 is not prime. Res64: A5366562A7D17A9D Time : 0.0 sec. user=mdettweiler [2013-08-15 06:58:31] 919*2^1250799-1 is not prime. Res64: 8B4F121AA18B93FE Time : 0.0 sec. user=mdettweiler [2013-08-15 06:59:29] 677*2^1250800-1 is not prime. Res64: AA7B76EC89ECD2E3 Time : 0.0 sec. user=mdettweiler [2013-08-15 06:59:30] 717*2^1250800-1 is not prime. Res64: A209D607157786D3 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:01:00] 955*2^1250799-1 is not prime. Res64: C2232FD747FCF1A1 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:01:01] 985*2^1250799-1 is not prime. Res64: EBB9F20245648967 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:01:32] 743*2^1250800-1 is not prime. Res64: 17113B92006A64EC Time : 0.0 sec. user=mdettweiler [2013-08-15 07:01:33] 927*2^1250800-1 is not prime. Res64: F633D903702FC90E Time : 0.0 sec. user=mdettweiler [2013-08-15 07:17:42] 615*2^1250801-1 is not prime. Res64: 079EAD6BB9DB0C77 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:17:43] 631*2^1250801-1 is not prime. Res64: 9E20C8B40524AE01 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:18:45] 727*2^1250801-1 is not prime. Res64: C2F6864B6F89330F Time : 0.0 sec. user=mdettweiler [2013-08-15 07:18:46] 777*2^1250801-1 is not prime. Res64: FD3340C1C7371D9D Time : 0.0 sec. user=mdettweiler [2013-08-15 07:20:13] 705*2^1250802-1 is not prime. Res64: 2014CD0A5BFF2AD3 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:20:14] 711*2^1250802-1 is not prime. Res64: 57115DBF595C234F Time : 0.0 sec. user=mdettweiler [2013-08-15 07:20:48] 747*2^1250802-1 is not prime. Res64: EE1ED9E5CAB76BE4 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:20:48] 821*2^1250802-1 is not prime. Res64: 1A1DF2BD0431073C Time : 0.0 sec. user=mdettweiler [2013-08-15 07:38:52] 917*2^1250802-1 is not prime. Res64: 606702250F9B7BD0 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:38:52] 921*2^1250802-1 is not prime. Res64: 71807DAEEAD87956 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:38:56] 945*2^1250802-1 is not prime. Res64: 42399074715F4F1A Time : 0.0 sec. user=mdettweiler [2013-08-15 07:38:56] 685*2^1250803-1 is not prime. Res64: 5A9B96651F9BDE29 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:39:27] 775*2^1250803-1 is not prime. Res64: 16F54F407AAC3F60 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:39:27] 805*2^1250803-1 is not prime. Res64: 196636F55FAFA26E Time : 0.0 sec. user=mdettweiler [2013-08-15 07:40:00] 849*2^1250803-1 is not prime. Res64: 45D392B8DB12DD39 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:40:00] 853*2^1250803-1 is not prime. Res64: 3B00B453F0626C98 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:58:06] 883*2^1250803-1 is not prime. Res64: DDAC52EAE424FAC5 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:58:07] 617*2^1250804-1 is not prime. Res64: F0469B2A3551FB7F Time : 0.0 sec. user=mdettweiler [2013-08-15 07:58:15] 623*2^1250804-1 is not prime. Res64: A591CCE3C9036790 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:58:15] 635*2^1250804-1 is not prime. Res64: 3856A5D939DB7163 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:58:41] 753*2^1250804-1 is not prime. Res64: 08B2D73FB70409DE Time : 0.0 sec. user=mdettweiler [2013-08-15 07:58:41] 813*2^1250804-1 is not prime. Res64: E1BB00330DC4D059 Time : 0.0 sec. user=mdettweiler [2013-08-15 07:59:14] 855*2^1250804-1 is not prime. Res64: BB7FA16747F1328D Time : 0.0 sec. user=mdettweiler [2013-08-15 07:59:14] 893*2^1250804-1 is not prime. Res64: 0F921B58E744363A Time : 0.0 sec. user=mdettweiler [2013-08-15 08:17:31] 717*2^1250805-1 is not prime. Res64: 5CD8526033407BE6 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:17:32] 789*2^1250805-1 is not prime. Res64: B26C32AF31CE00ED Time : 0.0 sec. user=mdettweiler [2013-08-15 08:18:15] 995*2^1250804-1 is not prime. Res64: DC21D6A0DDB73424 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:18:15] 657*2^1250805-1 is not prime. Res64: 6E84F90E08C94F6C Time : 0.0 sec. user=mdettweiler [2013-08-15 08:18:45] 895*2^1250805-1 is not prime. Res64: 318093FF94C10BED Time : 0.0 sec. user=mdettweiler [2013-08-15 08:18:45] 921*2^1250805-1 is not prime. Res64: C0BA54573D53DD0A Time : 0.0 sec. user=mdettweiler [2013-08-15 08:19:23] 949*2^1250805-1 is not prime. Res64: 1007DA5106EB9702 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:19:23] 695*2^1250806-1 is not prime. Res64: 63D1AAD7ECA01D61 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:36:50] 755*2^1250806-1 is not prime. Res64: C05B9605BB3CE874 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:36:50] 815*2^1250806-1 is not prime. Res64: 847D531B2C808346 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:38:02] 601*2^1250807-1 is not prime. Res64: 5D1E6F1063B197D7 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:38:02] 685*2^1250807-1 is not prime. Res64: 63CB4EA65A3246B8 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:39:14] 933*2^1250806-1 is not prime. Res64: 10254371BE3AC723 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:39:14] 965*2^1250806-1 is not prime. Res64: C34A565FDE7F5DAF Time : 0.0 sec. user=mdettweiler [2013-08-15 08:39:32] 865*2^1250807-1 is not prime. Res64: E25971857AB6DC65 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:39:33] 909*2^1250807-1 is not prime. Res64: BF27D1E19333146E Time : 0.0 sec. user=mdettweiler [2013-08-15 08:57:00] 963*2^1250807-1 is not prime. Res64: 09804AC7BDF90E33 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:57:00] 639*2^1250808-1 is not prime. Res64: 5DEF949973C6B8FB Time : 0.0 sec. user=mdettweiler [2013-08-15 08:57:21] 773*2^1250808-1 is not prime. Res64: 04C1BD636ECA94AE Time : 0.0 sec. user=mdettweiler [2013-08-15 08:57:21] 797*2^1250808-1 is not prime. Res64: B664D553378B394F Time : 0.0 sec. user=mdettweiler [2013-08-15 08:58:51] 691*2^1250809-1 is not prime. Res64: 8A9975908A5144A8 Time : 0.0 sec. user=mdettweiler [2013-08-15 08:58:52] 835*2^1250809-1 is not prime. Res64: 82BA07DEDC26E22F Time : 0.0 sec. user=mdettweiler [2013-08-15 08:59:26] 875*2^1250808-1 is not prime. Res64: 38D15ABA561FC54C Time : 0.0 sec. user=mdettweiler [2013-08-15 08:59:26] 959*2^1250808-1 is not prime. Res64: 502E67613978543D Time : 0.0 sec. user=mdettweiler [2013-08-15 09:17:20] 841*2^1250809-1 is not prime. Res64: 94EF2C5DC18E0D1C Time : 0.0 sec. user=mdettweiler [2013-08-15 09:17:21] 939*2^1250809-1 is not prime. Res64: 087D32926CFD14B0 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:17:38] 997*2^1250809-1 is not prime. Res64: 4DF34265F8A79B37 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:17:39] 743*2^1250810-1 is not prime. Res64: 1A03B86BE6052F0E Time : 0.0 sec. user=mdettweiler [2013-08-15 09:18:12] 767*2^1250810-1 is not prime. Res64: 6627C29541CF9521 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:18:13] 845*2^1250810-1 is not prime. Res64: 690B7309D16D38D1 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:18:45] 885*2^1250810-1 is not prime. Res64: 6BFFA135ACF3958B Time : 0.0 sec. user=mdettweiler [2013-08-15 09:18:45] 893*2^1250810-1 is not prime. Res64: 74F4F200DDDC307D Time : 0.0 sec. user=mdettweiler [2013-08-15 09:36:58] 613*2^1250811-1 is not prime. Res64: 433D2422C0A96B5F Time : 0.0 sec. user=mdettweiler [2013-08-15 09:36:59] 625*2^1250811-1 is not prime. Res64: FCFEAB0C6606FFDB Time : 0.0 sec. user=mdettweiler [2013-08-15 09:37:27] 703*2^1250811-1 is not prime. Res64: 1C884A5418F60FA1 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:37:27] 739*2^1250811-1 is not prime. Res64: 6C0C3069A6DAB670 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:38:05] 801*2^1250811-1 is not prime. Res64: 64D088BE085AE1AC Time : 0.0 sec. user=mdettweiler [2013-08-15 09:38:05] 829*2^1250811-1 is not prime. Res64: 5B8E583FCA53B0D7 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:38:29] 945*2^1250810-1 is not prime. Res64: DF998882BB33650B Time : 0.0 sec. user=mdettweiler [2013-08-15 09:38:29] 1001*2^1250810-1 is not prime. Res64: B0420FC37FABE1F3 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:08] 895*2^1250811-1 is not prime. Res64: 912D7840A7E84293 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:08] 961*2^1250811-1 is not prime. Res64: 66C34006A9CF371D Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:20] 653*2^1250812-1 is not prime. Res64: 55640B9B4A8A998C Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:20] 677*2^1250812-1 is not prime. Res64: A44222819B695AD9 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:42] 969*2^1250811-1 is not prime. Res64: BD78F89368B67722 Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:42] 639*2^1250812-1 is not prime. Res64: 56406B58D10ED9CF Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:47] 705*2^1250812-1 is not prime. Res64: EA73F6E6727B0CDC Time : 0.0 sec. user=mdettweiler [2013-08-15 09:57:48] 749*2^1250812-1 is not prime. Res64: 9F97BA6170B99392 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:16:30] 759*2^1250812-1 is not prime. Res64: A193A74FE5319D64 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:16:30] 785*2^1250812-1 is not prime. Res64: 47422118FD6A2ACA Time : 0.0 sec. user=mdettweiler [2013-08-15 10:16:37] 869*2^1250812-1 is not prime. Res64: A7B207EE38F5BDD0 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:16:38] 875*2^1250812-1 is not prime. Res64: C061A138280EBC25 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:18:05] 965*2^1250812-1 is not prime. Res64: FCDAB57C9DB2782D Time : 0.0 sec. user=mdettweiler [2013-08-15 10:18:05] 651*2^1250813-1 is not prime. Res64: 464BD6A5E3394F5D Time : 0.0 sec. user=mdettweiler [2013-08-15 10:18:47] 923*2^1250812-1 is not prime. Res64: C60DDC2BB7C82FC0 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:18:47] 929*2^1250812-1 is not prime. Res64: 5AFF6A43DDB6CCDD Time : 0.0 sec. user=mdettweiler [2013-08-15 10:35:53] 685*2^1250813-1 is not prime. Res64: ACDAE17AD11080C2 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:35:53] 715*2^1250813-1 is not prime. Res64: 95B01C86A269E835 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:35:55] 819*2^1250813-1 is not prime. Res64: 57DD01B96F9AE314 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:35:55] 705*2^1250814-1 is not prime. Res64: 27898AAB10C35C0F Time : 0.0 sec. user=mdettweiler [2013-08-15 10:37:28] 717*2^1250814-1 is not prime. Res64: 1345DAA4DD9F5817 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:37:28] 873*2^1250814-1 is not prime. Res64: F5FDD76316E225CC Time : 0.0 sec. user=mdettweiler [2013-08-15 10:39:02] 875*2^1250814-1 is not prime. Res64: 6466ACA5FD1F0029 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:39:02] 917*2^1250814-1 is not prime. Res64: 44413F61380C645A Time : 0.0 sec. user=mdettweiler [2013-08-15 10:55:17] 675*2^1250815-1 is not prime. Res64: 5A767ED0A921EDDA Time : 0.0 sec. user=mdettweiler [2013-08-15 10:55:17] 679*2^1250815-1 is not prime. Res64: 6A391EE8FA164926 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:57:00] 927*2^1250814-1 is not prime. Res64: D7B04FA6BACC68CE Time : 0.0 sec. user=mdettweiler [2013-08-15 10:57:01] 1001*2^1250814-1 is not prime. Res64: DE398AE4DA628584 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:57:41] 831*2^1250815-1 is not prime. Res64: D60F65B98DA9B329 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:57:41] 913*2^1250815-1 is not prime. Res64: 788870CA9A6EE9C7 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:59:19] 951*2^1250815-1 is not prime. Res64: 07259F09C47B03E8 Time : 0.0 sec. user=mdettweiler [2013-08-15 10:59:19] 609*2^1250816-1 is not prime. Res64: 8190624566E5A2A7 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:14:39] 773*2^1250816-1 is not prime. Res64: 62BFE02CA1EF42AB Time : 0.0 sec. user=mdettweiler [2013-08-15 11:14:39] 893*2^1250816-1 is not prime. Res64: 5B28C15D22349221 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:17:02] 681*2^1250817-1 is not prime. Res64: 87E445945334405B Time : 0.0 sec. user=mdettweiler [2013-08-15 11:17:03] 751*2^1250817-1 is not prime. Res64: 7B159FE85E6D20BF Time : 0.0 sec. user=mdettweiler [2013-08-15 11:18:14] 945*2^1250816-1 is not prime. Res64: 93A5706EC1EB41CA Time : 0.0 sec. user=mdettweiler [2013-08-15 11:18:14] 993*2^1250816-1 is not prime. Res64: 9192935FFE5C9A36 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:18:38] 831*2^1250817-1 is not prime. Res64: 27B10AE1C75375B5 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:18:38] 891*2^1250817-1 is not prime. Res64: A00E0F9D101FACE1 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:35:56] 915*2^1250817-1 is not prime. Res64: 394876280308D1ED Time : 0.0 sec. user=mdettweiler [2013-08-15 11:35:56] 919*2^1250817-1 is not prime. Res64: 80DCB853411E4F8D Time : 0.0 sec. user=mdettweiler [2013-08-15 11:36:20] 605*2^1250818-1 is not prime. Res64: 1C67F5BB4BE83AC5 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:36:20] 647*2^1250818-1 is not prime. Res64: F1A79B6E81E7E791 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:37:43] 687*2^1250818-1 is not prime. Res64: E75863D282DA8BBD Time : 0.0 sec. user=mdettweiler [2013-08-15 11:37:43] 713*2^1250818-1 is not prime. Res64: AC06B4021555C428 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:37:55] 801*2^1250818-1 is not prime. Res64: 05D47F45BD110830 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:37:55] 815*2^1250818-1 is not prime. Res64: 8D298303732AEC60 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:56:07] 885*2^1250818-1 is not prime. Res64: 6D78CE96131EDA11 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:56:07] 911*2^1250818-1 is not prime. Res64: 17656B43C50E6304 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:56:27] 981*2^1250818-1 is not prime. Res64: AC6FB8F58A7E9673 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:56:27] 601*2^1250819-1 is not prime. Res64: B67A041CC576F71D Time : 0.0 sec. user=mdettweiler [2013-08-15 11:57:05] 619*2^1250819-1 is not prime. Res64: 29D4ED4E6A5E998C Time : 0.0 sec. user=mdettweiler [2013-08-15 11:57:05] 663*2^1250819-1 is not prime. Res64: 2C29A083F4CEF03D Time : 0.0 sec. user=mdettweiler [2013-08-15 11:57:13] 735*2^1250819-1 is not prime. Res64: 1E9FAD52AFB56AE6 Time : 0.0 sec. user=mdettweiler [2013-08-15 11:57:14] 859*2^1250819-1 is not prime. Res64: 4F38BCC99EA12C1C Time : 0.0 sec. user=mdettweiler [2013-08-15 12:15:52] 627*2^1250820-1 is not prime. Res64: A6F04A84963B10DF Time : 0.0 sec. user=mdettweiler [2013-08-15 12:15:52] 689*2^1250820-1 is not prime. Res64: 9CA39F60074E45E8 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:16:32] 699*2^1250820-1 is not prime. Res64: DE2B0A19A46E322B Time : 0.0 sec. user=mdettweiler [2013-08-15 12:16:32] 707*2^1250820-1 is not prime. Res64: 5A40CACE50B75A72 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:16:40] 845*2^1250820-1 is not prime. Res64: 77CF7AD2827ED265 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:16:40] 607*2^1250821-1 is not prime. Res64: 5DD57794218B0C79 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:17:25] 913*2^1250819-1 is not prime. Res64: 05BB9CF36BBCFCCD Time : 0.0 sec. user=mdettweiler [2013-08-15 12:17:25] 985*2^1250819-1 is not prime. Res64: B4DBC54A4E6EBB79 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:35:37] 681*2^1250821-1 is not prime. Res64: 12C0EF0AD8F38704 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:35:38] 717*2^1250821-1 is not prime. Res64: 57A40576A6A2C210 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:36:21] 747*2^1250821-1 is not prime. Res64: 01D4C15296BBBA78 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:36:21] 799*2^1250821-1 is not prime. Res64: C3FBE9C3D1E984A4 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:36:35] 825*2^1250821-1 is not prime. Res64: 182B2EB67EE54550 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:36:35] 855*2^1250821-1 is not prime. Res64: D1BC5DA7ABE373FD Time : 0.0 sec. user=mdettweiler [2013-08-15 12:39:18] 945*2^1250821-1 is not prime. Res64: A81F176EEEFA00DC Time : 0.0 sec. user=mdettweiler [2013-08-15 12:39:18] 961*2^1250821-1 is not prime. Res64: 7EF56F9D08D56288 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:58:15] 975*2^1250821-1 is not prime. Res64: 5EC4732C4562E94C Time : 0.0 sec. user=mdettweiler [2013-08-15 12:58:15] 617*2^1250822-1 is not prime. Res64: B8798E75A94503A7 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:58:20] 665*2^1250822-1 is not prime. Res64: 5FD35A9BA9950770 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:58:20] 693*2^1250822-1 is not prime. Res64: 0DC48865E92F7212 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:58:21] 649*2^1250823-1 is not prime. Res64: B0DC70487C75B190 Time : 0.0 sec. user=mdettweiler [2013-08-15 12:58:21] 685*2^1250823-1 is not prime. Res64: 71FEC05915FA3C90 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:01:47] 985*2^1250823-1 is not prime. Res64: B1D41A9532B45AC6 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:01:48] 677*2^1250824-1 is not prime. Res64: DB26DC8D360415D1 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:17:57] 825*2^1250824-1 is not prime. Res64: 9E3A59C9BE4BD540 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:17:58] 887*2^1250824-1 is not prime. Res64: 0773B13DC29999D7 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:18:10] 721*2^1250825-1 is not prime. Res64: 07658C91CB8F7E9E Time : 0.0 sec. user=mdettweiler [2013-08-15 13:18:10] 847*2^1250825-1 is not prime. Res64: 42A5AE8E4F55F81F Time : 0.0 sec. user=mdettweiler [2013-08-15 13:19:10] 909*2^1250824-1 is not prime. Res64: 272807E30ED6EC4A Time : 0.0 sec. user=mdettweiler [2013-08-15 13:19:10] 669*2^1250825-1 is not prime. Res64: B02329F7402DE45A Time : 0.0 sec. user=mdettweiler [2013-08-15 13:23:08] 907*2^1250825-1 is not prime. Res64: FC3FA1F2DAD87338 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:23:08] 903*2^1250826-1 is not prime. Res64: 08AA4079708AA184 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:37:21] 619*2^1250827-1 is not prime. Res64: 1E5460B0E6B27B07 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:37:21] 631*2^1250827-1 is not prime. Res64: 62E434FC621CCF3D Time : 0.0 sec. user=mdettweiler [2013-08-15 13:37:33] 663*2^1250827-1 is not prime. Res64: AD97041F0780E016 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:37:33] 829*2^1250827-1 is not prime. Res64: 9585A27B3850E643 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:39:20] 873*2^1250827-1 is not prime. Res64: 3EA3B0C9F41A34E4 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:39:21] 939*2^1250827-1 is not prime. Res64: 9BA2BD4B3DBF154B Time : 0.0 sec. user=mdettweiler [2013-08-15 13:42:33] 657*2^1250828-1 is not prime. Res64: 2F66881C9591B9F7 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:42:33] 795*2^1250828-1 is not prime. Res64: F26303A93C0B1203 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:56:48] 855*2^1250828-1 is not prime. Res64: 8AAF94696BE8EEC6 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:56:48] 897*2^1250828-1 is not prime. Res64: 4DD5A551BE4BCABB Time : 0.0 sec. user=mdettweiler [2013-08-15 13:56:56] 639*2^1250829-1 is not prime. Res64: DFBA1F3542D2CF3B Time : 0.0 sec. user=mdettweiler [2013-08-15 13:56:56] 727*2^1250829-1 is not prime. Res64: F1473C4D15ADACF3 Time : 0.0 sec. user=mdettweiler [2013-08-15 13:58:44] 735*2^1250829-1 is not prime. Res64: 9C992CD2348E838C Time : 0.0 sec. user=mdettweiler [2013-08-15 13:58:45] 751*2^1250829-1 is not prime. Res64: BDA130342E901F7C Time : 0.0 sec. user=mdettweiler [2013-08-15 14:01:57] 769*2^1250829-1 is not prime. Res64: 2745D4195B5D2D5B Time : 0.0 sec. user=mdettweiler [2013-08-15 14:01:57] 795*2^1250829-1 is not prime. Res64: 4916AC2EDC30D42B Time : 0.0 sec. user=mdettweiler [2013-08-15 14:16:18] 817*2^1250829-1 is not prime. Res64: 49E9E299075A1144 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:16:18] 825*2^1250829-1 is not prime. Res64: C49A4EE96C853D42 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:16:29] 847*2^1250829-1 is not prime. Res64: 902A2E2CBD3B1CB2 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:16:29] 867*2^1250829-1 is not prime. Res64: C6FE01EF8168667A Time : 0.0 sec. user=mdettweiler [2013-08-15 14:18:19] 657*2^1250830-1 is not prime. Res64: BEFB6C6F63AD97A6 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:18:19] 663*2^1250830-1 is not prime. Res64: 882C714CB948F928 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:21:28] 755*2^1250830-1 is not prime. Res64: AF63FDBC163AA399 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:21:29] 765*2^1250830-1 is not prime. Res64: E636CC46161319DD Time : 0.0 sec. user=mdettweiler [2013-08-15 14:37:03] 773*2^1250830-1 is not prime. Res64: 74B8AE193D425FDF Time : 0.0 sec. user=mdettweiler [2013-08-15 14:37:03] 923*2^1250830-1 is not prime. Res64: 387BBAF85C903C6D Time : 0.0 sec. user=mdettweiler [2013-08-15 14:37:07] 783*2^1250831-1 is not prime. Res64: 204ACA6536757F0D Time : 0.0 sec. user=mdettweiler [2013-08-15 14:37:07] 909*2^1250831-1 is not prime. Res64: EFF081F8EBAC3C2C Time : 0.0 sec. user=mdettweiler [2013-08-15 14:38:01] 623*2^1250832-1 is not prime. Res64: 3FD3E7DE23A1175E Time : 0.0 sec. user=mdettweiler [2013-08-15 14:38:01] 887*2^1250832-1 is not prime. Res64: 87F9D830DD458492 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:43:06] 903*2^1250832-1 is not prime. Res64: 19A0694699866B6C Time : 0.0 sec. user=mdettweiler [2013-08-15 14:43:06] 983*2^1250832-1 is not prime. Res64: 67EC8B9A4345DCB0 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:56:41] 649*2^1250833-1 is not prime. Res64: F3F7E925C72B6528 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:56:42] 741*2^1250833-1 is not prime. Res64: 59980C7AD4B66BB5 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:57:38] 657*2^1250834-1 is not prime. Res64: 44861351A2F1268F Time : 0.0 sec. user=mdettweiler [2013-08-15 14:57:39] 683*2^1250834-1 is not prime. Res64: 42EB792D640C532C Time : 0.0 sec. user=mdettweiler [2013-08-15 14:58:35] 957*2^1250833-1 is not prime. Res64: 5E0F4ADCF571D6D5 Time : 0.0 sec. user=mdettweiler [2013-08-15 14:58:35] 999*2^1250833-1 is not prime. Res64: A6883B577EADD50E Time : 0.0 sec. user=mdettweiler [2013-08-15 15:02:38] 815*2^1250834-1 is not prime. Res64: 9081057D3F6C6406 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:02:40] 825*2^1250834-1 is not prime. Res64: 2E7A925572DDC007 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:16:08] 851*2^1250834-1 is not prime. Res64: C222ECCC656885B8 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:16:09] 887*2^1250834-1 is not prime. Res64: ECE5867079A0704F Time : 0.0 sec. user=mdettweiler [2013-08-15 15:18:05] 675*2^1250835-1 is not prime. Res64: 20B68C7775042341 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:18:06] 873*2^1250835-1 is not prime. Res64: A5375F49A3D31FD0 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:18:56] 935*2^1250834-1 is not prime. Res64: 40AB70EEA967113B Time : 0.0 sec. user=mdettweiler [2013-08-15 15:18:56] 993*2^1250834-1 is not prime. Res64: 64E02D72213914A8 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:22:11] 885*2^1250835-1 is not prime. Res64: 6675D86367FDFC53 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:22:11] 629*2^1250836-1 is not prime. Res64: A6C3268479D3C098 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:35:35] 743*2^1250836-1 is not prime. Res64: 893B4C8EB8C29D3B Time : 0.0 sec. user=mdettweiler [2013-08-15 15:35:35] 765*2^1250836-1 is not prime. Res64: F835421B20B81AFA Time : 0.0 sec. user=mdettweiler [2013-08-15 15:37:29] 833*2^1250836-1 is not prime. Res64: 9838C2AA64AC4565 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:37:30] 845*2^1250836-1 is not prime. Res64: CCC97AE36C0A202C Time : 0.0 sec. user=mdettweiler [2013-08-15 15:39:16] 873*2^1250836-1 is not prime. Res64: 37057D24C497FA5F Time : 0.0 sec. user=mdettweiler [2013-08-15 15:39:16] 975*2^1250836-1 is not prime. Res64: 10C966DFC8A3681B Time : 0.0 sec. user=mdettweiler [2013-08-15 15:42:31] 691*2^1250837-1 is not prime. Res64: B673D91A3D0EE0E2 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:42:31] 985*2^1250837-1 is not prime. Res64: B9DFDF9840B22B90 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:55:54] 991*2^1250837-1 is not prime. Res64: 2635623810810E52 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:55:54] 605*2^1250838-1 is not prime. Res64: 350B1AF4D61296A4 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:56:53] 657*2^1250838-1 is not prime. Res64: A0E061D0F434D048 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:56:54] 671*2^1250838-1 is not prime. Res64: 63C0EC040CACCEE2 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:58:43] 705*2^1250838-1 is not prime. Res64: A3E6B23C09576834 Time : 0.0 sec. user=mdettweiler [2013-08-15 15:58:43] 713*2^1250838-1 is not prime. Res64: 5A63EF0F97F1181B Time : 0.0 sec. user=mdettweiler [2013-08-15 16:01:54] 773*2^1250838-1 is not prime. Res64: D519CD5028025CC3 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:01:55] 801*2^1250838-1 is not prime. Res64: D285081EEE6FB834 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:15:32] 815*2^1250838-1 is not prime. Res64: 46BAFFDDA97E7E4A Time : 0.0 sec. user=mdettweiler [2013-08-15 16:15:32] 843*2^1250838-1 is not prime. Res64: 166B932523E15B3A Time : 0.0 sec. user=mdettweiler [2013-08-15 16:17:14] 861*2^1250838-1 is not prime. Res64: 3429158E1E6D3414 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:17:14] 921*2^1250838-1 is not prime. Res64: 8BAD9576A9A06BD2 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:19:57] 927*2^1250838-1 is not prime. Res64: C9FD2718A6DF1873 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:19:58] 933*2^1250838-1 is not prime. Res64: D5ED21358A3141EB Time : 0.0 sec. user=mdettweiler [2013-08-15 16:23:23] 971*2^1250838-1 is not prime. Res64: 3EEDFB8D1ED1AAF9 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:23:23] 1001*2^1250838-1 is not prime. Res64: 8882279E8A25A5BC Time : 0.0 sec. user=mdettweiler [2013-08-15 16:35:05] 601*2^1250839-1 is not prime. Res64: FB7FE5769FF25955 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:35:06] 645*2^1250839-1 is not prime. Res64: E4F84F223837CE3E Time : 0.0 sec. user=mdettweiler [2013-08-15 16:36:46] 649*2^1250839-1 is not prime. Res64: 4F31CF0019185E89 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:36:46] 855*2^1250839-1 is not prime. Res64: 99A1B96B1ABDAB94 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:39:35] 859*2^1250839-1 is not prime. Res64: 159A7C77A7E9C8F1 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:39:36] 885*2^1250839-1 is not prime. Res64: 12FF30070D89B769 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:43:04] 889*2^1250839-1 is not prime. Res64: 97956776F2981A69 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:43:04] 891*2^1250839-1 is not prime. Res64: 6642318FF9E71CED Time : 0.0 sec. user=mdettweiler [2013-08-15 16:57:09] 919*2^1250839-1 is not prime. Res64: 5C77C3E40B599720 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:57:09] 933*2^1250839-1 is not prime. Res64: 688602A714F7331E Time : 0.0 sec. user=mdettweiler [2013-08-15 16:58:48] 939*2^1250839-1 is not prime. Res64: A80DA6042B38D029 Time : 0.0 sec. user=mdettweiler [2013-08-15 16:58:48] 999*2^1250839-1 is not prime. Res64: 4F49C6869E61DBB4 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:01:33] 963*2^1250840-1 is not prime. Res64: ACBA98C28D4A4405 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:01:34] 983*2^1250840-1 is not prime. Res64: 49C2CA0774D936AB Time : 0.0 sec. user=mdettweiler [2013-08-15 17:04:08] 711*2^1250841-1 is not prime. Res64: 5D10EDAA2355B51D Time : 0.0 sec. user=mdettweiler [2013-08-15 17:04:09] 987*2^1250841-1 is not prime. Res64: 9F55C6D70CA097FD Time : 0.0 sec. user=mdettweiler [2013-08-15 17:17:16] 603*2^1250842-1 is not prime. Res64: 3C0D4C619A08A24C Time : 0.0 sec. user=mdettweiler [2013-08-15 17:17:17] 737*2^1250842-1 is not prime. Res64: 7E8087A0298A91FA Time : 0.0 sec. user=mdettweiler [2013-08-15 17:19:58] 873*2^1250842-1 is not prime. Res64: 12D6466776E59BB0 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:19:58] 911*2^1250842-1 is not prime. Res64: 1F4C53C3BA209864 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:22:43] 987*2^1250842-1 is not prime. Res64: 6F1200C203D00476 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:22:43] 603*2^1250843-1 is not prime. Res64: B300A7866D2E901F Time : 0.0 sec. user=mdettweiler [2013-08-15 17:24:15] 739*2^1250843-1 is not prime. Res64: 76826EA286E53120 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:24:15] 775*2^1250843-1 is not prime. Res64: 9D1CDD9F2A1F80E8 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:37:26] 813*2^1250843-1 is not prime. Res64: 74A43E5BBA341DD5 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:37:26] 825*2^1250843-1 is not prime. Res64: AED80797E8861EB7 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:41:01] 859*2^1250843-1 is not prime. Res64: 9E59C28B91A57751 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:41:01] 949*2^1250843-1 is not prime. Res64: 6F3F6BFB968D00C1 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:44:23] 629*2^1250844-1 is not prime. Res64: 01A754B2B537F2B3 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:44:24] 693*2^1250844-1 is not prime. Res64: 43630AA52FEE0477 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:44:48] 955*2^1250843-1 is not prime. Res64: C6274B5C08C2ED5D Time : 0.0 sec. user=mdettweiler [2013-08-15 17:44:48] 963*2^1250843-1 is not prime. Res64: 110FFDC92AC0A807 Time : 0.0 sec. user=mdettweiler [2013-08-15 17:58:28] 749*2^1250844-1 is not prime. Res64: 05B7B2FF10123B2D Time : 0.0 sec. user=mdettweiler [2013-08-15 17:58:28] 993*2^1250844-1 is not prime. Res64: EB52955B47415C12 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:01:08] 741*2^1250845-1 is not prime. Res64: 0EAE38568B990AEB Time : 0.0 sec. user=mdettweiler [2013-08-15 18:01:09] 867*2^1250845-1 is not prime. Res64: EC8B1A9288A99B9E Time : 0.0 sec. user=mdettweiler [2013-08-15 18:04:55] 627*2^1250846-1 is not prime. Res64: 0FB586BD51B03E04 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:04:56] 651*2^1250846-1 is not prime. Res64: 6EC4656CE2AE6EBF Time : 0.0 sec. user=mdettweiler [2013-08-15 18:05:24] 895*2^1250845-1 is not prime. Res64: 7C6D497C7671D293 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:05:25] 955*2^1250845-1 is not prime. Res64: 7F90BD002FB793CB Time : 0.0 sec. user=mdettweiler [2013-08-15 18:18:38] 767*2^1250846-1 is not prime. Res64: 4FD7C588DE57119D Time : 0.0 sec. user=mdettweiler [2013-08-15 18:18:38] 735*2^1250847-1 is not prime. Res64: BBBB08FC7307154A Time : 0.0 sec. user=mdettweiler [2013-08-15 18:21:38] 741*2^1250847-1 is not prime. Res64: 6BABE6C5BAF7B55F Time : 0.0 sec. user=mdettweiler [2013-08-15 18:21:39] 775*2^1250847-1 is not prime. Res64: 51CCB01514AC1648 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:25:13] 829*2^1250847-1 is not prime. Res64: 6DFB87580679113F Time : 0.0 sec. user=mdettweiler [2013-08-15 18:25:14] 859*2^1250847-1 is not prime. Res64: 1B64BC960EFDDD71 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:26:40] 895*2^1250847-1 is not prime. Res64: BE8E3783B11ED28F Time : 0.0 sec. user=mdettweiler [2013-08-15 18:26:40] 963*2^1250847-1 is not prime. Res64: 617D72651018E23B Time : 0.0 sec. user=mdettweiler [2013-08-15 18:38:50] 697*2^1250849-1 is not prime. Res64: AB7B9B45E01766AB Time : 0.0 sec. user=mdettweiler [2013-08-15 18:38:50] 867*2^1250849-1 is not prime. Res64: BD969D74ED857653 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:41:47] 879*2^1250849-1 is not prime. Res64: D7AF923200EE2377 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:41:47] 627*2^1250850-1 is not prime. Res64: E84A45AD1C227B96 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:45:26] 651*2^1250850-1 is not prime. Res64: 5285EBB1909D952F Time : 0.0 sec. user=mdettweiler [2013-08-15 18:45:26] 695*2^1250850-1 is not prime. Res64: 973DDAC94B54F6F8 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:46:51] 861*2^1250850-1 is not prime. Res64: 9B95854B1CDB93B3 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:46:51] 619*2^1250851-1 is not prime. Res64: B85DCC909F9E19AA Time : 0.0 sec. user=mdettweiler [2013-08-15 18:59:13] 625*2^1250851-1 is not prime. Res64: 3D1EECACCE478D35 Time : 0.0 sec. user=mdettweiler [2013-08-15 18:59:13] 681*2^1250851-1 is not prime. Res64: F95B7F120D155C4E Time : 0.0 sec. user=mdettweiler [2013-08-15 19:02:01] 843*2^1250851-1 is not prime. Res64: C8D58C04AA63F77A Time : 0.0 sec. user=mdettweiler [2013-08-15 19:02:01] 855*2^1250851-1 is not prime. Res64: 0815ED975581BCDE Time : 0.0 sec. user=mdettweiler [2013-08-15 19:06:37] 975*2^1250851-1 is not prime. Res64: F897C3ED50DFCB3F Time : 0.0 sec. user=mdettweiler [2013-08-15 19:06:38] 609*2^1250852-1 is not prime. Res64: F9AB3A44EAC47ECE Time : 0.0 sec. user=mdettweiler [2013-08-15 19:07:01] 669*2^1250852-1 is not prime. Res64: E21E2CCB3F015A0C Time : 0.0 sec. user=mdettweiler [2013-08-15 19:07:01] 675*2^1250852-1 is not prime. Res64: AE934C4FB88E52EB Time : 0.0 sec. user=juhehe [2013-08-15 19:08:59] 645*2^1250849-1 is not prime. Res64: 7F76303F5B8B1475 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:20:25] 813*2^1250852-1 is not prime. Res64: D30190457238F817 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:20:25] 903*2^1250852-1 is not prime. Res64: 2C158CB4486F7221 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:22:12] 609*2^1250853-1 is not prime. Res64: 250FB77D2BB9561A Time : 0.0 sec. user=mdettweiler [2013-08-15 19:22:13] 831*2^1250854-1 is not prime. Res64: 48F49BB1BE26244A Time : 0.0 sec. user=mdettweiler [2013-08-15 19:26:54] 861*2^1250854-1 is not prime. Res64: FB9EA7DB6E96CE88 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:26:54] 603*2^1250855-1 is not prime. Res64: D5DB49EC846A55AC Time : 0.0 sec. user=mdettweiler [2013-08-15 19:27:13] 609*2^1250855-1 is not prime. Res64: 5767650239CE231E Time : 0.0 sec. user=mdettweiler [2013-08-15 19:27:13] 619*2^1250855-1 is not prime. Res64: 7A9917DAB10B9710 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:40:43] 831*2^1250855-1 is not prime. Res64: BA9F95209D9274F1 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:40:44] 889*2^1250855-1 is not prime. Res64: AE3FD903EDD74967 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:43:22] 939*2^1250855-1 is not prime. Res64: C9FF12C55A53D849 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:43:22] 683*2^1250856-1 is not prime. Res64: 17E088F28FA3EF03 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:47:07] 773*2^1250856-1 is not prime. Res64: A26414DB02621315 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:47:08] 803*2^1250856-1 is not prime. Res64: 46493BD901CCF5E0 Time : 0.0 sec. user=mdettweiler [2013-08-15 19:48:26] 825*2^1250856-1 is not prime. Res64: CEF47AD1B6DF583E Time : 0.0 sec. user=mdettweiler [2013-08-15 19:48:26] 947*2^1250856-1 is not prime. Res64: 5A267B06985A5E14 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:00:58] 651*2^1250857-1 is not prime. Res64: A7B7FF190662D7AE Time : 0.0 sec. user=mdettweiler [2013-08-15 20:00:59] 747*2^1250857-1 is not prime. Res64: 3BF627870080C916 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:03:34] 777*2^1250857-1 is not prime. Res64: BC7D8516CE89B03B Time : 0.0 sec. user=mdettweiler [2013-08-15 20:03:35] 687*2^1250858-1 is not prime. Res64: 654C9F43D5EEBF8F Time : 0.0 sec. user=mdettweiler [2013-08-15 20:08:24] 825*2^1250858-1 is not prime. Res64: 4B66E010E34BB8D2 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:08:25] 1001*2^1250858-1 is not prime. Res64: 0B23E014669EEB2A Time : 0.0 sec. user=mdettweiler [2013-08-15 20:08:40] 615*2^1250859-1 is not prime. Res64: 58810052819A70C4 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:08:42] 663*2^1250859-1 is not prime. Res64: 436CC8B85C105952 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:21:16] 705*2^1250859-1 is not prime. Res64: EA6E1222F35D1822 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:21:17] 709*2^1250859-1 is not prime. Res64: 9E3EB11FF74E8DC1 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:23:48] 735*2^1250859-1 is not prime. Res64: DFC7FD80AEFA4A25 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:23:49] 745*2^1250859-1 is not prime. Res64: A3A17C1E27817D27 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:28:55] 793*2^1250859-1 is not prime. Res64: 221FF3D811865A4E Time : 0.0 sec. user=mdettweiler [2013-08-15 20:28:55] 801*2^1250859-1 is not prime. Res64: F1ECD30D2C3C1E98 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:28:59] 843*2^1250859-1 is not prime. Res64: FE48EF3D0973DE13 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:28:59] 879*2^1250859-1 is not prime. Res64: B7DE15261C89393C Time : 0.0 sec. user=mdettweiler [2013-08-15 20:42:31] 969*2^1250859-1 is not prime. Res64: 6DAE322DB5FF3448 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:42:31] 647*2^1250860-1 is not prime. Res64: 46450DB35FCDD06C Time : 0.0 sec. user=mdettweiler [2013-08-15 20:44:03] 677*2^1250860-1 is not prime. Res64: 913CF5D1047BAC76 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:44:04] 707*2^1250860-1 is not prime. Res64: 9AD4945D34A93016 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:49:04] 717*2^1250860-1 is not prime. Res64: 3BE294F1E49EE40A Time : 0.0 sec. user=mdettweiler [2013-08-15 20:49:05] 755*2^1250860-1 is not prime. Res64: 188750BD87213158 Time : 0.0 sec. user=mdettweiler [2013-08-15 20:49:08] 797*2^1250860-1 is not prime. Res64: 374D3CA6393E916F Time : 0.0 sec. user=mdettweiler [2013-08-15 20:49:09] 827*2^1250860-1 is not prime. Res64: C8C0563626A76C9B Time : 0.0 sec. user=mdettweiler [2013-08-15 21:04:47] 927*2^1250860-1 is not prime. Res64: 4AD8AD544B3CD457 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:04:48] 953*2^1250860-1 is not prime. Res64: C66C4881533BC1DD Time : 0.0 sec. user=mdettweiler [2013-08-15 21:05:15] 989*2^1250860-1 is not prime. Res64: 137B0F40BAF4C23C Time : 0.0 sec. user=mdettweiler [2013-08-15 21:05:15] 747*2^1250861-1 is not prime. Res64: D116C476894507DB Time : 0.0 sec. user=mdettweiler [2013-08-15 21:09:16] 781*2^1250861-1 is not prime. Res64: E6920DF89B394514 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:09:17] 889*2^1250861-1 is not prime. Res64: 88BABF0ADE2A3337 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:11:19] 931*2^1250861-1 is not prime. Res64: 38C6F149C8B216D8 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:11:21] 951*2^1250861-1 is not prime. Res64: 89F21F3467874365 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:25:38] 671*2^1250862-1 is not prime. Res64: 32F07648D7A71C07 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:25:38] 711*2^1250862-1 is not prime. Res64: B506EE31D463D20E Time : 0.0 sec. user=mdettweiler [2013-08-15 21:26:03] 967*2^1250861-1 is not prime. Res64: BD6CFE29FFBCDB17 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:26:03] 653*2^1250862-1 is not prime. Res64: D1E15FEB7EB782C1 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:29:32] 731*2^1250862-1 is not prime. Res64: A0AA6141A3B1881D Time : 0.0 sec. user=mdettweiler [2013-08-15 21:29:32] 843*2^1250862-1 is not prime. Res64: 46E218D6E248A0C7 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:31:45] 685*2^1250863-1 is not prime. Res64: 52DD65887C12BEF9 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:31:45] 789*2^1250863-1 is not prime. Res64: DD99D40C5360A334 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:45:49] 819*2^1250863-1 is not prime. Res64: 16E12575F9EE1F61 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:45:49] 853*2^1250863-1 is not prime. Res64: 8C694B06930B9EAE Time : 0.0 sec. user=mdettweiler [2013-08-15 21:46:17] 871*2^1250863-1 is not prime. Res64: 624B340AA7BB70E6 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:46:17] 891*2^1250863-1 is not prime. Res64: 6D735C4F5BF34EEA Time : 0.0 sec. user=mdettweiler [2013-08-15 21:49:41] 605*2^1250864-1 is not prime. Res64: C240BDF8BB941259 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:49:41] 629*2^1250864-1 is not prime. Res64: 3983F507E601144B Time : 0.0 sec. user=mdettweiler [2013-08-15 21:51:51] 753*2^1250864-1 is not prime. Res64: ED6CBE022CD9B382 Time : 0.0 sec. user=mdettweiler [2013-08-15 21:51:52] 825*2^1250864-1 is not prime. Res64: AE98EA676C64F3FD Time : 0.0 sec. user=mdettweiler [2013-08-15 22:06:26] 639*2^1250865-1 is not prime. Res64: 049107498E8FD292 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:06:27] 657*2^1250865-1 is not prime. Res64: 61A7D6775E55C617 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:07:01] 833*2^1250864-1 is not prime. Res64: 2C909AA60D6A3B77 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:07:01] 935*2^1250864-1 is not prime. Res64: 694C5C47B933E64E Time : 0.0 sec. user=mdettweiler [2013-08-15 22:09:55] 699*2^1250865-1 is not prime. Res64: D5A4CDC407CFB222 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:09:55] 739*2^1250865-1 is not prime. Res64: D761DACD75D9D9A9 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:11:59] 817*2^1250865-1 is not prime. Res64: 35884306A220FFA1 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:11:59] 849*2^1250865-1 is not prime. Res64: 625BD2D3BAE3C96B Time : 0.0 sec. user=mdettweiler [2013-08-15 22:26:43] 867*2^1250865-1 is not prime. Res64: E6A8B7603F7CE520 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:26:43] 885*2^1250865-1 is not prime. Res64: 68AA00B02E95859C Time : 0.0 sec. user=mdettweiler [2013-08-15 22:29:04] 909*2^1250865-1 is not prime. Res64: B6BC948A120F83A5 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:29:05] 955*2^1250865-1 is not prime. Res64: A431221D0E02AD61 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:32:06] 991*2^1250865-1 is not prime. Res64: C37328328D1DA8C8 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:32:06] 999*2^1250865-1 is not prime. Res64: 3A64A5B52E3E5103 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:33:09] 653*2^1250866-1 is not prime. Res64: 045A35AB7D97AFF2 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:33:09] 945*2^1250866-1 is not prime. Res64: F6FE6353BD83A635 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:47:58] 631*2^1250867-1 is not prime. Res64: 7B71B552AE1110B3 Time : 0.0 sec. user=mdettweiler [2013-08-15 22:47:59] 651*2^1250867-1 is not prime. Res64: EEE15046FB3EE75A Time : 0.0 sec. user=mdettweiler [2013-08-15 22:50:18] 735*2^1250867-1 is not prime. Res64: 424BC7A4C147F5FA Time : 0.0 sec. user=mdettweiler [2013-08-15 22:50:19] 753*2^1250867-1 is not prime. Res64: 95E6FA9AA0A702CD Time : 0.0 sec. user=mdettweiler [2013-08-15 22:53:17] 759*2^1250867-1 is not prime. Res64: 83E9658E251ED4DB Time : 0.0 sec. user=mdettweiler [2013-08-15 22:53:17] 841*2^1250867-1 is not prime. Res64: A060AFC2BC156CAD Time : 0.0 sec. user=mdettweiler [2013-08-15 22:54:22] 859*2^1250867-1 is not prime. Res64: 8E1B82C27744AD0B Time : 0.0 sec. user=mdettweiler [2013-08-15 22:54:23] 861*2^1250867-1 is not prime. Res64: A9AF5CBDF466C763 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:09:59] 895*2^1250867-1 is not prime. Res64: 7A5AB3B3F00F5877 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:10:00] 963*2^1250867-1 is not prime. Res64: 1C6F0B8139D086EC Time : 0.0 sec. user=mdettweiler [2013-08-15 23:11:20] 627*2^1250868-1 is not prime. Res64: 1A3C53941A1199CE Time : 0.0 sec. user=mdettweiler [2013-08-15 23:11:21] 663*2^1250868-1 is not prime. Res64: 700D2E510EA7F9A3 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:14:22] 665*2^1250868-1 is not prime. Res64: C0D647E6DFE5E224 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:14:22] 795*2^1250868-1 is not prime. Res64: 9E8FFFEBA0851394 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:15:26] 819*2^1250868-1 is not prime. Res64: B40CE1E068AF00AA Time : 0.0 sec. user=mdettweiler [2013-08-15 23:15:26] 887*2^1250868-1 is not prime. Res64: C03B3DFB774756B4 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:32:07] 685*2^1250869-1 is not prime. Res64: A3FDE975C3EF96C1 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:32:07] 687*2^1250869-1 is not prime. Res64: 46C6341BEDE9A5C3 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:32:46] 909*2^1250868-1 is not prime. Res64: C0BCE4B0BDA83DF4 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:32:46] 929*2^1250868-1 is not prime. Res64: 7C7EC091875F534C Time : 0.0 sec. user=mdettweiler [2013-08-15 23:34:48] 789*2^1250869-1 is not prime. Res64: 565D807F83700160 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:34:48] 603*2^1250870-1 is not prime. Res64: 8B8B62E77C4E887B Time : 0.0 sec. user=mdettweiler [2013-08-15 23:35:51] 635*2^1250870-1 is not prime. Res64: E039667820026D3A Time : 0.0 sec. user=mdettweiler [2013-08-15 23:35:52] 651*2^1250870-1 is not prime. Res64: 52C1BDD719EC425C Time : 0.0 sec. user=mdettweiler [2013-08-15 23:52:12] 657*2^1250870-1 is not prime. Res64: CA749EEAC9BE3DFF Time : 0.0 sec. user=mdettweiler [2013-08-15 23:52:12] 711*2^1250870-1 is not prime. Res64: EA2B3F2A379D1F5B Time : 0.0 sec. user=mdettweiler [2013-08-15 23:52:51] 741*2^1250870-1 is not prime. Res64: CB7DAA59C167829E Time : 0.0 sec. user=mdettweiler [2013-08-15 23:52:51] 755*2^1250870-1 is not prime. Res64: 5AAA13628184D794 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:54:53] 861*2^1250870-1 is not prime. Res64: C7C48D989C410534 Time : 0.0 sec. user=mdettweiler [2013-08-15 23:54:53] 885*2^1250870-1 is not prime. Res64: 171394BB3D9F768B Time : 0.0 sec. user=mdettweiler [2013-08-15 23:56:56] 887*2^1250870-1 is not prime. Res64: 0FF82A1A727D811B Time : 0.0 sec. user=mdettweiler [2013-08-15 23:56:56] 911*2^1250870-1 is not prime. Res64: E33A597911F0169D Time : 0.0 sec.