user=juhehe [2013-02-15 00:39:50] 885*2^1241105-1 is not prime. Res64: 73FEDE15A7A3FD3A Time : 0.0 sec. user=mdettweiler [2013-02-15 01:07:18] 697*2^1241105-1 is not prime. Res64: 4A439A221998F1A9 Time : 0.0 sec. user=mdettweiler [2013-02-15 01:07:19] 805*2^1241105-1 is not prime. Res64: E3313885A698AE46 Time : 0.0 sec. user=juhehe [2013-02-15 02:01:44] 615*2^1241102-1 is not prime. Res64: E9A537B6EB9E1293 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:15:17] 937*2^1241105-1 is not prime. Res64: F9D2714B8A590027 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:15:18] 979*2^1241105-1 is not prime. Res64: DFF81D27C9716ABE Time : 0.0 sec. user=mdettweiler [2013-02-15 02:16:54] 831*2^1241105-1 is not prime. Res64: B75E07A27B9257C1 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:16:55] 861*2^1241105-1 is not prime. Res64: F8576102F73FC694 Time : 0.0 sec. user=juhehe [2013-02-15 02:24:27] 777*2^1241106-1 is not prime. Res64: 8F5A42389AEB9A66 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:32:52] 833*2^1241106-1 is not prime. Res64: F5BBBD1CC323EA13 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:32:53] 873*2^1241106-1 is not prime. Res64: 4C18756473C08433 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:34:24] 945*2^1241106-1 is not prime. Res64: B161EDBCE72DC9EF Time : 0.0 sec. user=mdettweiler [2013-02-15 02:34:25] 615*2^1241107-1 is not prime. Res64: B800366E00A3F206 Time : 0.0 sec. user=juhehe [2013-02-15 02:45:30] 645*2^1241107-1 is not prime. Res64: 69F2D2FA1639ABAA Time : 0.0 sec. user=mdettweiler [2013-02-15 02:50:19] 675*2^1241107-1 is not prime. Res64: 9BE28EF889E19663 Time : 0.0 sec. user=mdettweiler [2013-02-15 02:50:21] 735*2^1241107-1 is not prime. Res64: A3C25A9197E121EF Time : 0.0 sec. user=mdettweiler [2013-02-15 02:51:49] 843*2^1241107-1 is not prime. Res64: E7A0494311E4DC8F Time : 0.0 sec. user=mdettweiler [2013-02-15 02:51:52] 873*2^1241107-1 is not prime. Res64: 2D9EE22AF7F76955 Time : 0.0 sec. user=juhehe [2013-02-15 02:55:18] 765*2^1241106-1 is not prime. Res64: FB00B795B7F976F5 Time : 0.0 sec. user=juhehe [2013-02-15 03:06:05] 885*2^1241107-1 is not prime. Res64: 05860380EFE06A91 Time : 0.0 sec. user=mdettweiler [2013-02-15 03:08:05] 891*2^1241107-1 is not prime. Res64: D18174B69FBB64EF Time : 0.0 sec. user=mdettweiler [2013-02-15 03:08:06] 973*2^1241107-1 is not prime. Res64: 682A4D638FA69A91 Time : 0.0 sec. user=mdettweiler [2013-02-15 03:09:29] 993*2^1241107-1 is not prime. Res64: B22DEDEC278CA25B Time : 0.0 sec. user=mdettweiler [2013-02-15 03:09:30] 689*2^1241108-1 is not prime. Res64: 59EEBF28EC7A642D Time : 0.0 sec. user=mdettweiler [2013-02-15 03:25:31] 879*2^1241108-1 is not prime. Res64: 617D37CEAEAE35B9 Time : 0.0 sec. user=mdettweiler [2013-02-15 03:25:31] 899*2^1241108-1 is not prime. Res64: 87A71FD335331653 Time : 0.0 sec. user=mdettweiler [2013-02-15 03:26:51] 915*2^1241108-1 is not prime. Res64: DD3532D64972DBB8 Time : 0.0 sec. user=juhehe [2013-02-15 03:26:52] 867*2^1241108-1 is not prime. Res64: 35BF851B18FB1876 Time : 0.0 sec. user=mdettweiler [2013-02-15 03:26:52] 959*2^1241108-1 is not prime. Res64: 2BBFBB16436C08FD Time : 0.0 sec. user=mdettweiler [2013-02-15 03:42:51] 987*2^1241108-1 is not prime. Res64: 56D9B19931DC111F Time : 0.0 sec. user=mdettweiler [2013-02-15 03:42:53] 995*2^1241108-1 is not prime. Res64: 1198BCD351F9EA99 Time : 0.0 sec. user=mdettweiler [2013-02-15 03:44:13] 627*2^1241109-1 is not prime. Res64: 0D74063F77A87DFB Time : 0.0 sec. user=mdettweiler [2013-02-15 03:44:13] 727*2^1241109-1 is not prime. Res64: DFD8D5BDFAC83161 Time : 0.0 sec. user=juhehe [2013-02-15 03:47:09] 615*2^1241109-1 is not prime. Res64: CF8AC120166924A8 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:00:16] 745*2^1241109-1 is not prime. Res64: 86FB31104E642716 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:00:17] 781*2^1241109-1 is not prime. Res64: 4F005D6A2945BB07 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:01:38] 831*2^1241109-1 is not prime. Res64: 38BACADF81427BC5 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:01:39] 999*2^1241109-1 is not prime. Res64: B6F8ECB42471294A Time : 0.0 sec. user=juhehe [2013-02-15 04:07:14] 605*2^1241110-1 is not prime. Res64: 5B1ACC5B6D7A641E Time : 0.0 sec. user=mdettweiler [2013-02-15 04:17:40] 773*2^1241110-1 is not prime. Res64: E9FF0CE2E4D333B0 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:17:40] 831*2^1241110-1 is not prime. Res64: 762A130C9FC3C82D Time : 0.0 sec. user=mdettweiler [2013-02-15 04:19:00] 917*2^1241110-1 is not prime. Res64: 5EE1AE31F222AA9D Time : 0.0 sec. user=mdettweiler [2013-02-15 04:19:01] 933*2^1241110-1 is not prime. Res64: A5AD0F2476D77494 Time : 0.0 sec. user=juhehe [2013-02-15 04:27:12] 615*2^1241111-1 is not prime. Res64: 4044D3EB3DD7D880 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:35:04] 991*2^1241111-1 is not prime. Res64: 06CFC37E24441002 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:35:06] 717*2^1241112-1 is not prime. Res64: 22AC1BE3CFD12316 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:36:24] 879*2^1241112-1 is not prime. Res64: 6330EEC3534810BC Time : 0.0 sec. user=mdettweiler [2013-02-15 04:36:26] 909*2^1241112-1 is not prime. Res64: 02C3C8F7A64D789B Time : 0.0 sec. user=juhehe [2013-02-15 04:47:25] 959*2^1241112-1 is not prime. Res64: D281AEC8FB804DF7 Time : 0.0 sec. user=juhehe [2013-02-15 04:49:08] 645*2^1241110-1 is not prime. Res64: 787EF3EC3B202F11 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:52:35] 649*2^1241113-1 is not prime. Res64: 910C9FFE9C71F935 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:52:36] 705*2^1241113-1 is not prime. Res64: 21D97D739BEACC0A Time : 0.0 sec. user=mdettweiler [2013-02-15 04:53:54] 721*2^1241113-1 is not prime. Res64: 7517DB8DA1086FD2 Time : 0.0 sec. user=mdettweiler [2013-02-15 04:53:54] 769*2^1241113-1 is not prime. Res64: 21FDDBA79CCC5383 Time : 0.0 sec. user=juhehe [2013-02-15 05:07:19] 937*2^1241113-1 is not prime. Res64: 19071F8ABBCE82F3 Time : 0.0 sec. user=mdettweiler [2013-02-15 05:09:56] 623*2^1241114-1 is not prime. Res64: C93446F79F5EE81E Time : 0.0 sec. user=mdettweiler [2013-02-15 05:09:57] 711*2^1241114-1 is not prime. Res64: DBECFA534266909D Time : 0.0 sec. user=mdettweiler [2013-02-15 05:11:15] 773*2^1241114-1 is not prime. Res64: 9A5395B334D1B51D Time : 0.0 sec. user=mdettweiler [2013-02-15 05:11:16] 857*2^1241114-1 is not prime. Res64: 4C34815635FB0884 Time : 0.0 sec. user=juhehe [2013-02-15 05:27:16] 917*2^1241114-1 is not prime. Res64: 991A7D6A3BD96605 Time : 0.0 sec. user=mdettweiler [2013-02-15 05:27:24] 981*2^1241114-1 is not prime. Res64: D5F24DC09535CA4A Time : 0.0 sec. user=mdettweiler [2013-02-15 05:27:25] 1001*2^1241114-1 is not prime. Res64: 55AE6903004000B7 Time : 0.0 sec. user=mdettweiler [2013-02-15 05:28:38] 613*2^1241115-1 is not prime. Res64: EC04BA5E92306D8B Time : 0.0 sec. user=mdettweiler [2013-02-15 05:28:39] 625*2^1241115-1 is not prime. Res64: 8C7CE62590162918 Time : 0.0 sec. user=mdettweiler [2013-02-15 05:39:07] 885*2^1241114-1 is not prime. Res64: BEC3FD96F1F5606F Time : 0.0 sec. user=mdettweiler [2013-02-15 05:44:46] 765*2^1241115-1 is not prime. Res64: FDACB8D6FC933B0D Time : 0.0 sec. user=mdettweiler [2013-02-15 05:44:46] 819*2^1241115-1 is not prime. Res64: 1ABC257B51B9756F Time : 0.0 sec. user=mdettweiler [2013-02-15 05:46:02] 849*2^1241115-1 is not prime. Res64: 0E808B2902F85DEF Time : 0.0 sec. user=mdettweiler [2013-02-15 05:46:02] 859*2^1241115-1 is not prime. Res64: FF23954C8BB5BD9B Time : 0.0 sec. user=juhehe [2013-02-15 05:47:10] 651*2^1241115-1 is not prime. Res64: BD87D9E770510DB9 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:02:07] 923*2^1241116-1 is not prime. Res64: 7D126B1CCB2CABCA Time : 0.0 sec. user=mdettweiler [2013-02-15 06:02:08] 927*2^1241116-1 is not prime. Res64: 79E764D91F21728C Time : 0.0 sec. user=mdettweiler [2013-02-15 06:03:22] 711*2^1241117-1 is not prime. Res64: CD7D75E50227F71C Time : 0.0 sec. user=mdettweiler [2013-02-15 06:03:25] 741*2^1241117-1 is not prime. Res64: 3997305959C91AF2 Time : 0.0 sec. user=juhehe [2013-02-15 06:07:02] 759*2^1241117-1 is not prime. Res64: A70E45EF14BBF5A9 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:19:38] 769*2^1241117-1 is not prime. Res64: FCF39F33F42F5F4F Time : 0.0 sec. user=mdettweiler [2013-02-15 06:19:39] 795*2^1241117-1 is not prime. Res64: AC03520F10AEB191 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:20:49] 925*2^1241117-1 is not prime. Res64: B1B483DBF2D18C6C Time : 0.0 sec. user=mdettweiler [2013-02-15 06:20:50] 981*2^1241117-1 is not prime. Res64: A2844BC1F8669306 Time : 0.0 sec. user=juhehe [2013-02-15 06:26:59] 605*2^1241118-1 is not prime. Res64: EFDB0B7C06B2837B Time : 0.0 sec. user=mdettweiler [2013-02-15 06:37:03] 641*2^1241118-1 is not prime. Res64: 9086F8D8BE7162CE Time : 0.0 sec. user=mdettweiler [2013-02-15 06:37:04] 693*2^1241118-1 is not prime. Res64: 65B135384AD45F94 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:38:12] 737*2^1241118-1 is not prime. Res64: F8C4D04AF5582BD4 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:38:13] 927*2^1241118-1 is not prime. Res64: 45A20D7C10C87D91 Time : 0.0 sec. user=juhehe [2013-02-15 06:42:34] 969*2^1241115-1 is not prime. Res64: 3475F6FAA068901D Time : 0.0 sec. user=juhehe [2013-02-15 06:46:51] 619*2^1241119-1 is not prime. Res64: 74EA759518ACE4B8 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:54:38] 679*2^1241119-1 is not prime. Res64: 3FB6238259BDECC9 Time : 0.0 sec. user=mdettweiler [2013-02-15 06:54:38] 709*2^1241119-1 is not prime. Res64: 7C79EFC97384BB9F Time : 0.0 sec. user=mdettweiler [2013-02-15 06:55:48] 765*2^1241119-1 is not prime. Res64: 4A816F6445C8923E Time : 0.0 sec. user=mdettweiler [2013-02-15 06:55:49] 861*2^1241119-1 is not prime. Res64: 1AAAC3C94BAE7A3C Time : 0.0 sec. user=juhehe [2013-02-15 07:06:52] 925*2^1241119-1 is not prime. Res64: 1037F431E8315391 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:12:13] 969*2^1241119-1 is not prime. Res64: A70C640D9E73835B Time : 0.0 sec. user=mdettweiler [2013-02-15 07:12:14] 999*2^1241119-1 is not prime. Res64: 7072A38D7F158080 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:13:23] 669*2^1241120-1 is not prime. Res64: C2741FDA8C63CB8D Time : 0.0 sec. user=mdettweiler [2013-02-15 07:13:24] 827*2^1241120-1 is not prime. Res64: 84024CD046FEEA07 Time : 0.0 sec. user=juhehe [2013-02-15 07:27:19] 839*2^1241120-1 is not prime. Res64: 7298637C43E65B3A Time : 0.0 sec. user=mdettweiler [2013-02-15 07:30:12] 983*2^1241120-1 is not prime. Res64: EAE96554D12276D4 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:30:12] 995*2^1241120-1 is not prime. Res64: 6D9A37CFC48F2E3F Time : 0.0 sec. user=mdettweiler [2013-02-15 07:31:20] 609*2^1241121-1 is not prime. Res64: 0EF50C06737817F4 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:31:20] 649*2^1241121-1 is not prime. Res64: 2A74FFA3D78FF36F Time : 0.0 sec. user=juhehe [2013-02-15 07:47:28] 747*2^1241121-1 is not prime. Res64: 2D19A04F2E1C206C Time : 0.0 sec. user=mdettweiler [2013-02-15 07:47:51] 907*2^1241121-1 is not prime. Res64: D9CC2EE0ADC925D9 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:47:52] 909*2^1241121-1 is not prime. Res64: 24587E10802B9BF8 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:48:57] 937*2^1241121-1 is not prime. Res64: ADDAEFFB672E7F49 Time : 0.0 sec. user=mdettweiler [2013-02-15 07:48:57] 675*2^1241122-1 is not prime. Res64: 0FA116B1F2A7D10E Time : 0.0 sec. user=mdettweiler [2013-02-15 08:05:23] 825*2^1241122-1 is not prime. Res64: 143F484246858407 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:05:24] 827*2^1241122-1 is not prime. Res64: 77A6B6C639C8A5BB Time : 0.0 sec. user=mdettweiler [2013-02-15 08:06:27] 891*2^1241122-1 is not prime. Res64: 57430D98FAF38E20 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:06:28] 947*2^1241122-1 is not prime. Res64: 95FC7438459AE763 Time : 0.0 sec. user=juhehe [2013-02-15 08:07:16] 741*2^1241122-1 is not prime. Res64: 2DF709732B889B93 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:22:55] 621*2^1241123-1 is not prime. Res64: D753FA0D033FCFE5 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:22:55] 775*2^1241123-1 is not prime. Res64: 1B6F1AA712EDE08A Time : 0.0 sec. user=mdettweiler [2013-02-15 08:23:52] 949*2^1241123-1 is not prime. Res64: 2110CDDCB01747AD Time : 0.0 sec. user=mdettweiler [2013-02-15 08:23:52] 675*2^1241124-1 is not prime. Res64: 31841621E731AD85 Time : 0.0 sec. user=juhehe [2013-02-15 08:27:05] 705*2^1241124-1 is not prime. Res64: 54626FD354388040 Time : 0.0 sec. user=juhehe [2013-02-15 08:36:01] 723*2^1241122-1 is not prime. Res64: 4B2AA7416EE30316 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:40:19] 737*2^1241124-1 is not prime. Res64: 282744ADE4A614FA Time : 0.0 sec. user=mdettweiler [2013-02-15 08:40:20] 765*2^1241124-1 is not prime. Res64: 4CB20DE1603544C5 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:41:15] 843*2^1241124-1 is not prime. Res64: E86A27B9C50C7BE1 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:41:16] 887*2^1241124-1 is not prime. Res64: CC04C002120D7C29 Time : 0.0 sec. user=juhehe [2013-02-15 08:46:53] 759*2^1241125-1 is not prime. Res64: 317A27F86870E1CD Time : 0.0 sec. user=mdettweiler [2013-02-15 08:57:46] 771*2^1241125-1 is not prime. Res64: BD93637BA5FBA006 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:57:46] 805*2^1241125-1 is not prime. Res64: EC46F4C93FC8DD0B Time : 0.0 sec. user=mdettweiler [2013-02-15 08:58:39] 819*2^1241125-1 is not prime. Res64: ABA503FDC78E55C7 Time : 0.0 sec. user=mdettweiler [2013-02-15 08:58:40] 831*2^1241125-1 is not prime. Res64: F70EA24CDE2BC51F Time : 0.0 sec. user=juhehe [2013-02-15 10:36:22] 855*2^1241125-1 is not prime. Res64: 4BA22ED4FF5081B0 Time : 0.0 sec. user=mdettweiler [2013-02-15 10:53:03] 861*2^1241125-1 is not prime. Res64: 5338E4CD1C8E38A3 Time : 0.0 sec. user=mdettweiler [2013-02-15 10:53:03] 919*2^1241125-1 is not prime. Res64: 9BC7A6A0FC202E1C Time : 0.0 sec. user=mdettweiler [2013-02-15 10:53:28] 961*2^1241125-1 is not prime. Res64: F63CFB1300DCB0B3 Time : 0.0 sec. user=mdettweiler [2013-02-15 10:53:28] 985*2^1241125-1 is not prime. Res64: A007B6D8198F4E87 Time : 0.0 sec. user=juhehe [2013-02-15 11:57:32] 741*2^1241126-1 is not prime. Res64: 17CF31FB48E41909 Time : 0.0 sec. user=juhehe [2013-02-15 18:37:32] 831*2^1241127-1 is not prime. Res64: 6A0795D3BC99A676 Time : 0.0 sec. user=mdettweiler [2013-02-15 18:50:35] 661*2^1241127-1 is not prime. Res64: 73670146D1B526B4 Time : 0.0 sec. user=mdettweiler [2013-02-15 18:50:35] 805*2^1241127-1 is not prime. Res64: 4B9397979C64EBE9 Time : 0.0 sec. user=mdettweiler [2013-02-15 18:50:45] 965*2^1241126-1 is not prime. Res64: B18F4D48E426B663 Time : 0.0 sec. user=mdettweiler [2013-02-15 18:50:46] 619*2^1241127-1 is not prime. Res64: D3DE0C59208397B2 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:08:08] 963*2^1241127-1 is not prime. Res64: 45BA1078D34905F7 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:08:09] 979*2^1241127-1 is not prime. Res64: A78C9715FF4F04D6 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:08:17] 985*2^1241127-1 is not prime. Res64: 8813864DBD3BE699 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:08:19] 743*2^1241128-1 is not prime. Res64: 826D430A8255B95B Time : 0.0 sec. user=mdettweiler [2013-02-15 19:25:40] 747*2^1241128-1 is not prime. Res64: C70F1DF2410EA43E Time : 0.0 sec. user=mdettweiler [2013-02-15 19:25:40] 777*2^1241128-1 is not prime. Res64: 95AD5ADC136F9E85 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:25:52] 787*2^1241129-1 is not prime. Res64: 2E4CE7B6A29C0353 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:25:53] 861*2^1241129-1 is not prime. Res64: B3F98C6EC06351E8 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:43:08] 909*2^1241129-1 is not prime. Res64: 69441316B69FBBDF Time : 0.0 sec. user=mdettweiler [2013-02-15 19:43:09] 635*2^1241130-1 is not prime. Res64: ADCA32AD9828AC7E Time : 0.0 sec. user=mdettweiler [2013-02-15 19:43:20] 695*2^1241130-1 is not prime. Res64: FBCC6F45DFF6A925 Time : 0.0 sec. user=mdettweiler [2013-02-15 19:43:21] 773*2^1241130-1 is not prime. Res64: A4C7B67047659064 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:00:34] 885*2^1241130-1 is not prime. Res64: 927B97A10804C3FC Time : 0.0 sec. user=mdettweiler [2013-02-15 20:00:36] 917*2^1241130-1 is not prime. Res64: 7F4158CD01C56C93 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:00:46] 601*2^1241131-1 is not prime. Res64: 3AFE81365C471CBC Time : 0.0 sec. user=mdettweiler [2013-02-15 20:00:47] 603*2^1241131-1 is not prime. Res64: DCBD660F8C9CDB99 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:18:07] 639*2^1241131-1 is not prime. Res64: B3A4F33AC0C7EAF3 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:18:07] 723*2^1241131-1 is not prime. Res64: 5CFD8FDFEBE5CBB7 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:18:15] 751*2^1241131-1 is not prime. Res64: 4E1BC0BFFB78D296 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:18:15] 789*2^1241131-1 is not prime. Res64: F0048C48A49C4FE7 Time : 0.0 sec. user=juhehe [2013-02-15 20:31:25] 797*2^1241130-1 is not prime. Res64: CF375FFCCE20B732 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:35:33] 855*2^1241131-1 is not prime. Res64: 23BF43297AD81471 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:35:36] 895*2^1241131-1 is not prime. Res64: 177734505FB05763 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:35:40] 979*2^1241131-1 is not prime. Res64: 1E03ED29A137015A Time : 0.0 sec. user=mdettweiler [2013-02-15 20:35:40] 615*2^1241132-1 is not prime. Res64: EE7D6A23468BDF8B Time : 0.0 sec. user=mdettweiler [2013-02-15 20:53:04] 617*2^1241132-1 is not prime. Res64: F571EF128828B379 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:53:05] 945*2^1241132-1 is not prime. Res64: 95D4D255E977372D Time : 0.0 sec. user=mdettweiler [2013-02-15 20:53:05] 915*2^1241132-1 is not prime. Res64: CEE5FD5859743E49 Time : 0.0 sec. user=mdettweiler [2013-02-15 20:53:06] 649*2^1241133-1 is not prime. Res64: 6F723E6D7473FD3B Time : 0.0 sec. user=mdettweiler [2013-02-15 21:10:31] 795*2^1241133-1 is not prime. Res64: 9632002A6FCECCF2 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:10:32] 837*2^1241133-1 is not prime. Res64: 992CAC94751C0166 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:10:34] 861*2^1241133-1 is not prime. Res64: E693F07A4C17FA0C Time : 0.0 sec. user=mdettweiler [2013-02-15 21:10:35] 895*2^1241133-1 is not prime. Res64: 867E8B9035BCC2D8 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:28:22] 937*2^1241133-1 is not prime. Res64: ED5A3B8B0577BAA7 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:28:23] 635*2^1241134-1 is not prime. Res64: BC739A3A3A2D3251 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:28:31] 645*2^1241134-1 is not prime. Res64: 47B5E6931FD3E960 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:28:31] 717*2^1241134-1 is not prime. Res64: 962E0028752AACDD Time : 0.0 sec. user=mdettweiler [2013-02-15 21:46:24] 831*2^1241134-1 is not prime. Res64: 7F93D1A6258C1F72 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:46:25] 903*2^1241134-1 is not prime. Res64: 16960909DB911F7F Time : 0.0 sec. user=mdettweiler [2013-02-15 21:46:36] 633*2^1241135-1 is not prime. Res64: 368B3DFE12DD5AA7 Time : 0.0 sec. user=mdettweiler [2013-02-15 21:46:36] 651*2^1241135-1 is not prime. Res64: 8B2727A8BB89FF96 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:04:29] 693*2^1241135-1 is not prime. Res64: 9E44BBD1247C7EFE Time : 0.0 sec. user=mdettweiler [2013-02-15 22:04:31] 715*2^1241135-1 is not prime. Res64: 85F9D15A616EE9ED Time : 0.0 sec. user=mdettweiler [2013-02-15 22:04:39] 841*2^1241135-1 is not prime. Res64: 4EA5C5982453DB39 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:04:42] 885*2^1241135-1 is not prime. Res64: 062F4D6E278263FD Time : 0.0 sec. user=mdettweiler [2013-02-15 22:22:43] 999*2^1241135-1 is not prime. Res64: 981629770CEE24D1 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:22:44] 639*2^1241136-1 is not prime. Res64: 0249D7DA441A82D2 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:22:50] 839*2^1241136-1 is not prime. Res64: 0FA9078852FDD67C Time : 0.0 sec. user=mdettweiler [2013-02-15 22:22:50] 857*2^1241136-1 is not prime. Res64: 87990867547C19EF Time : 0.0 sec. user=juhehe [2013-02-15 22:25:43] 785*2^1241134-1 is not prime. Res64: C08A912EF521C38A Time : 0.0 sec. user=mdettweiler [2013-02-15 22:40:46] 899*2^1241136-1 is not prime. Res64: ABC5479611E07D35 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:40:46] 905*2^1241136-1 is not prime. Res64: 7E7EEB909E1F9BD5 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:40:51] 993*2^1241136-1 is not prime. Res64: C8D537E51DD4A245 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:40:52] 601*2^1241137-1 is not prime. Res64: A89DEF1732BA4681 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:58:26] 801*2^1241137-1 is not prime. Res64: 1BA59A0B2CCA67F1 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:58:26] 861*2^1241137-1 is not prime. Res64: 80AA6D05D42D950A Time : 0.0 sec. user=mdettweiler [2013-02-15 22:58:30] 901*2^1241137-1 is not prime. Res64: C980929EEB0AF3B4 Time : 0.0 sec. user=mdettweiler [2013-02-15 22:58:31] 931*2^1241137-1 is not prime. Res64: D76C5E23216E50D5 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:15:55] 705*2^1241138-1 is not prime. Res64: B2AD4E96677EE429 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:15:56] 743*2^1241138-1 is not prime. Res64: C270C8D04F55D53E Time : 0.0 sec. user=mdettweiler [2013-02-15 23:16:00] 815*2^1241138-1 is not prime. Res64: E47747402AC97FEB Time : 0.0 sec. user=mdettweiler [2013-02-15 23:16:00] 669*2^1241139-1 is not prime. Res64: 94D30FAC5152CD72 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:33:31] 853*2^1241139-1 is not prime. Res64: 245D6D758F3EEA08 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:33:32] 903*2^1241139-1 is not prime. Res64: 6F3B98F4F26037A9 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:33:36] 909*2^1241139-1 is not prime. Res64: 06E1F080382091D2 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:33:36] 961*2^1241139-1 is not prime. Res64: 399498B0EA7B1E28 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:51:04] 609*2^1241140-1 is not prime. Res64: 97E9281A020AEC63 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:51:05] 665*2^1241140-1 is not prime. Res64: DCBF2233D9990048 Time : 0.0 sec. user=mdettweiler [2013-02-15 23:51:11] 687*2^1241140-1 is not prime. Res64: 258201124B5802CF Time : 0.0 sec. user=mdettweiler [2013-02-15 23:51:11] 707*2^1241140-1 is not prime. Res64: 08948D700B10C814 Time : 0.0 sec.