user=mdettweiler [2013-01-30 00:13:54] 787*2^1240193-1 is not prime. Res64: F81F5E2822D02958 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:13:57] 871*2^1240193-1 is not prime. Res64: 7BFE2DD8041EF23D Time : 0.0 sec. user=mdettweiler [2013-01-30 00:18:15] 915*2^1240193-1 is not prime. Res64: 3C65A53A5F2B487D Time : 0.0 sec. user=mdettweiler [2013-01-30 00:18:16] 969*2^1240193-1 is not prime. Res64: 25D0DD95EA3A29D0 Time : 0.0 sec. user=vaughan [2013-01-30 00:26:38] 727*2^1240193-1 is not prime. Res64: 61D9D181E83D03C2 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:31:33] 747*2^1240194-1 is not prime. Res64: 08FF2E5FF623889D Time : 0.0 sec. user=mdettweiler [2013-01-30 00:31:35] 755*2^1240194-1 is not prime. Res64: 7AD8221D5E37063A Time : 0.0 sec. user=mdettweiler [2013-01-30 00:35:42] 837*2^1240194-1 is not prime. Res64: D520E98D412169A1 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:35:42] 993*2^1240194-1 is not prime. Res64: 5A2FB08B4D9178FE Time : 0.0 sec. user=mdettweiler [2013-01-30 00:48:56] 705*2^1240195-1 is not prime. Res64: 53A56A604642D272 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:48:56] 723*2^1240195-1 is not prime. Res64: 7FF97133825FAE55 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:53:02] 789*2^1240195-1 is not prime. Res64: F155A302551C1AD1 Time : 0.0 sec. user=mdettweiler [2013-01-30 00:53:03] 793*2^1240195-1 is not prime. Res64: F27954C115AE54E1 Time : 0.0 sec. user=vaughan [2013-01-30 01:04:45] 649*2^1240195-1 is not prime. Res64: 9084EC2FBA51F5C9 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:06:18] 915*2^1240195-1 is not prime. Res64: 35299E054C8C3CFE Time : 0.0 sec. user=mdettweiler [2013-01-30 01:06:19] 979*2^1240195-1 is not prime. Res64: ABB764B86C47EDDF Time : 0.0 sec. user=mdettweiler [2013-01-30 01:10:23] 699*2^1240196-1 is not prime. Res64: B40C2EB26644F88E Time : 0.0 sec. user=mdettweiler [2013-01-30 01:10:24] 813*2^1240196-1 is not prime. Res64: 9A2B9268F3F34584 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:23:41] 845*2^1240196-1 is not prime. Res64: 9E33B1D8CA5B8616 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:23:41] 625*2^1240197-1 is not prime. Res64: 9378F4CB4C2EB2F9 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:27:47] 691*2^1240197-1 is not prime. Res64: 8A15BD8D99711938 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:27:48] 717*2^1240197-1 is not prime. Res64: 69758D6477C98985 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:41:03] 735*2^1240197-1 is not prime. Res64: C1C33643DA7FF889 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:41:03] 805*2^1240197-1 is not prime. Res64: 70DDA8D19497BB97 Time : 0.0 sec. user=vaughan [2013-01-30 01:42:54] 839*2^1240196-1 is not prime. Res64: 8D2ED42BF8D4E5D3 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:45:08] 837*2^1240197-1 is not prime. Res64: 745FFC432C66A0BE Time : 0.0 sec. user=mdettweiler [2013-01-30 01:45:08] 891*2^1240197-1 is not prime. Res64: 06F1035E5A553F78 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:58:24] 895*2^1240197-1 is not prime. Res64: A2FC2357AC7D3408 Time : 0.0 sec. user=mdettweiler [2013-01-30 01:58:24] 611*2^1240198-1 is not prime. Res64: 7071A04425AA15C4 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:02:28] 681*2^1240198-1 is not prime. Res64: 35B0913D184D26B8 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:02:29] 791*2^1240198-1 is not prime. Res64: 8645B33DEE2AB5D4 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:15:44] 815*2^1240198-1 is not prime. Res64: D2D9CED1D910B9E1 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:15:46] 861*2^1240198-1 is not prime. Res64: C85C4B40494F3F53 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:19:50] 891*2^1240198-1 is not prime. Res64: DE2FF5BB0C799DB5 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:19:50] 945*2^1240198-1 is not prime. Res64: 1306B4B82A138F10 Time : 0.0 sec. user=vaughan [2013-01-30 02:20:56] 645*2^1240198-1 is not prime. Res64: 8AF6BE159824A698 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:33:15] 987*2^1240198-1 is not prime. Res64: C66DD43AB15B5388 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:33:16] 661*2^1240199-1 is not prime. Res64: EA0CF3869F45FBA8 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:37:14] 771*2^1240199-1 is not prime. Res64: 0EC37C5E5E7D853D Time : 0.0 sec. user=mdettweiler [2013-01-30 02:37:16] 825*2^1240199-1 is not prime. Res64: 4C121A99031F0D48 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:50:39] 969*2^1240199-1 is not prime. Res64: 4F3F3D03F09754D0 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:50:40] 669*2^1240200-1 is not prime. Res64: 332A8A88023CB328 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:54:39] 707*2^1240200-1 is not prime. Res64: 93FFD77E45FE70F8 Time : 0.0 sec. user=mdettweiler [2013-01-30 02:54:40] 713*2^1240200-1 is not prime. Res64: ABD2835F342CB72C Time : 0.0 sec. user=vaughan [2013-01-30 02:58:59] 861*2^1240199-1 is not prime. Res64: 6CFF03D2BD268495 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:08:10] 753*2^1240200-1 is not prime. Res64: 5508109A2E145D40 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:08:11] 765*2^1240200-1 is not prime. Res64: 3265D4043D072D41 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:12:06] 839*2^1240200-1 is not prime. Res64: BF037F8240FFEEEE Time : 0.0 sec. user=mdettweiler [2013-01-30 03:12:07] 983*2^1240200-1 is not prime. Res64: 400790FAAC46D523 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:25:33] 717*2^1240201-1 is not prime. Res64: D5D879A1B737FDAB Time : 0.0 sec. user=mdettweiler [2013-01-30 03:25:33] 741*2^1240201-1 is not prime. Res64: 3CB70D8DF8D1F6B1 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:29:48] 801*2^1240201-1 is not prime. Res64: F393FE6833561995 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:29:48] 945*2^1240201-1 is not prime. Res64: C0A711650D486DA9 Time : 0.0 sec. user=vaughan [2013-01-30 03:37:13] 639*2^1240201-1 is not prime. Res64: E0F4E39F99C4CE31 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:42:55] 677*2^1240202-1 is not prime. Res64: 0DA1363C07E738E5 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:42:57] 771*2^1240202-1 is not prime. Res64: 8413DCA190C40945 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:47:10] 915*2^1240202-1 is not prime. Res64: C742502B9D47CCB9 Time : 0.0 sec. user=mdettweiler [2013-01-30 03:47:11] 921*2^1240202-1 is not prime. Res64: 3AF19874D7D52E02 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:00:35] 987*2^1240202-1 is not prime. Res64: 9CB132FF181C43A5 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:00:36] 1001*2^1240202-1 is not prime. Res64: F32F826D310E589C Time : 0.0 sec. user=mdettweiler [2013-01-30 04:04:32] 699*2^1240203-1 is not prime. Res64: 7CBF1955C12567E8 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:04:36] 723*2^1240203-1 is not prime. Res64: D8230610B482D895 Time : 0.0 sec. user=vaughan [2013-01-30 04:15:30] 945*2^1240202-1 is not prime. Res64: 9E2ECBDE980EAAE2 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:18:00] 739*2^1240203-1 is not prime. Res64: 7D38B46293391BDA Time : 0.0 sec. user=mdettweiler [2013-01-30 04:18:00] 781*2^1240203-1 is not prime. Res64: D482F7F8EAA5458F Time : 0.0 sec. user=mdettweiler [2013-01-30 04:22:21] 919*2^1240203-1 is not prime. Res64: A016179AEC5DB241 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:22:21] 985*2^1240203-1 is not prime. Res64: 7C160E6FA1E672E0 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:35:21] 617*2^1240204-1 is not prime. Res64: B5B2147E9BAAA1E5 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:35:24] 743*2^1240204-1 is not prime. Res64: 4F0FE2A65F43E83A Time : 0.0 sec. user=mdettweiler [2013-01-30 04:39:41] 807*2^1240204-1 is not prime. Res64: 7F9F1C9964119B28 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:39:42] 843*2^1240204-1 is not prime. Res64: AED2501FD88D7A15 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:53:01] 903*2^1240204-1 is not prime. Res64: 686635704D5EF20D Time : 0.0 sec. user=mdettweiler [2013-01-30 04:53:01] 655*2^1240205-1 is not prime. Res64: 256330B280C835BA Time : 0.0 sec. user=vaughan [2013-01-30 04:53:31] 605*2^1240204-1 is not prime. Res64: F8D550FF12B36360 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:57:13] 675*2^1240205-1 is not prime. Res64: 3B00B3F8EEAA4450 Time : 0.0 sec. user=mdettweiler [2013-01-30 04:57:14] 757*2^1240205-1 is not prime. Res64: D36B3FC1680A0744 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:10:26] 787*2^1240205-1 is not prime. Res64: 896F78E240274E9D Time : 0.0 sec. user=mdettweiler [2013-01-30 05:10:28] 825*2^1240205-1 is not prime. Res64: 13590393CBCC5FCE Time : 0.0 sec. user=mdettweiler [2013-01-30 05:14:34] 647*2^1240206-1 is not prime. Res64: F2F774B168AAD278 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:14:35] 767*2^1240206-1 is not prime. Res64: CD786D474D7F3D89 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:27:56] 777*2^1240206-1 is not prime. Res64: 0D450D8A09E2ED44 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:27:57] 807*2^1240206-1 is not prime. Res64: C02344ABEDBABBB1 Time : 0.0 sec. user=vaughan [2013-01-30 05:31:30] 847*2^1240205-1 is not prime. Res64: 3C1B06278B3B1060 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:31:57] 861*2^1240206-1 is not prime. Res64: 5D0ADDF027BA38AF Time : 0.0 sec. user=mdettweiler [2013-01-30 05:31:57] 873*2^1240206-1 is not prime. Res64: DC1CCE0B3ED18C25 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:45:17] 933*2^1240206-1 is not prime. Res64: 10C1307D9401C1B2 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:45:17] 1001*2^1240206-1 is not prime. Res64: 3726FF5ADB482F60 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:49:18] 979*2^1240207-1 is not prime. Res64: EC148907D50F1EB5 Time : 0.0 sec. user=mdettweiler [2013-01-30 05:49:18] 635*2^1240208-1 is not prime. Res64: 1F7360F2C0CE7C0D Time : 0.0 sec. user=mdettweiler [2013-01-30 06:02:41] 699*2^1240208-1 is not prime. Res64: 008AB91395523BBC Time : 0.0 sec. user=mdettweiler [2013-01-30 06:02:42] 753*2^1240208-1 is not prime. Res64: 1943FDF210DA3B8B Time : 0.0 sec. user=mdettweiler [2013-01-30 06:06:38] 797*2^1240208-1 is not prime. Res64: 0309AFB3312E1F1A Time : 0.0 sec. user=mdettweiler [2013-01-30 06:06:39] 813*2^1240208-1 is not prime. Res64: C33D258FFAE0C42F Time : 0.0 sec. user=vaughan [2013-01-30 06:09:29] 831*2^1240207-1 is not prime. Res64: 5F1B9987445F0C7A Time : 0.0 sec. user=mdettweiler [2013-01-30 06:20:09] 867*2^1240208-1 is not prime. Res64: 67E6A2CE3B82FCF1 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:20:09] 649*2^1240209-1 is not prime. Res64: C7DDA9EE0F02723A Time : 0.0 sec. user=mdettweiler [2013-01-30 06:24:01] 675*2^1240209-1 is not prime. Res64: 0BB2B54D18E770D0 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:24:02] 745*2^1240209-1 is not prime. Res64: 217B918923E5F531 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:37:30] 865*2^1240209-1 is not prime. Res64: 5E533E506A53F3B6 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:37:30] 895*2^1240209-1 is not prime. Res64: 73B382D9D63C2341 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:41:23] 945*2^1240209-1 is not prime. Res64: BBA5AB38ECB02AD6 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:41:23] 645*2^1240210-1 is not prime. Res64: 1518865395DEC318 Time : 0.0 sec. user=vaughan [2013-01-30 06:47:31] 847*2^1240209-1 is not prime. Res64: 49C0821100EE8C40 Time : 0.0 sec. user=mdettweiler [2013-01-30 06:54:51] 675*2^1240210-1 is not prime. Res64: 312140C36AE90D7C Time : 0.0 sec. user=mdettweiler [2013-01-30 06:54:52] 681*2^1240210-1 is not prime. Res64: 40B42CE0327E557A Time : 0.0 sec. user=mdettweiler [2013-01-30 07:12:11] 833*2^1240210-1 is not prime. Res64: 8DFF73925C65D1C9 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:12:15] 843*2^1240210-1 is not prime. Res64: 0FCA3CF4F67D9AF3 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:20:54] 741*2^1240210-1 is not prime. Res64: 8BC69F7A3E26B45F Time : 0.0 sec. user=mdettweiler [2013-01-30 07:20:55] 773*2^1240210-1 is not prime. Res64: 90725B4D4F23228F Time : 0.0 sec. user=vaughan [2013-01-30 07:25:25] 801*2^1240210-1 is not prime. Res64: 44F8D08CC49D86DF Time : 0.0 sec. user=mdettweiler [2013-01-30 07:29:59] 941*2^1240210-1 is not prime. Res64: 0B1F6A7C37589B16 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:30:00] 783*2^1240211-1 is not prime. Res64: FE1E33D7BC2242A2 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:38:18] 949*2^1240211-1 is not prime. Res64: 640DC67CECE8DB54 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:38:18] 973*2^1240211-1 is not prime. Res64: 2962B2D98EEB587E Time : 0.0 sec. user=mdettweiler [2013-01-30 07:47:21] 875*2^1240212-1 is not prime. Res64: 464F822BAD8AEF7A Time : 0.0 sec. user=mdettweiler [2013-01-30 07:47:21] 933*2^1240212-1 is not prime. Res64: F5D0BF1A603B6658 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:55:39] 987*2^1240212-1 is not prime. Res64: 89CA10761573E391 Time : 0.0 sec. user=mdettweiler [2013-01-30 07:55:39] 999*2^1240212-1 is not prime. Res64: C09A52BF1F33D44A Time : 0.0 sec. user=vaughan [2013-01-30 08:03:25] 863*2^1240212-1 is not prime. Res64: C334E868219DD0F5 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:04:42] 609*2^1240213-1 is not prime. Res64: EFE47D8FC451BA15 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:04:43] 619*2^1240213-1 is not prime. Res64: 5597ED00D0D8942B Time : 0.0 sec. user=mdettweiler [2013-01-30 08:13:00] 675*2^1240213-1 is not prime. Res64: 2229F19DF48B32A9 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:13:02] 685*2^1240213-1 is not prime. Res64: 5C8C5F026173D726 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:22:04] 805*2^1240213-1 is not prime. Res64: 6EC1DBBD38E0DEDC Time : 0.0 sec. user=mdettweiler [2013-01-30 08:22:04] 885*2^1240213-1 is not prime. Res64: 4CFE124629BE5198 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:30:30] 895*2^1240213-1 is not prime. Res64: BE0E68B335764375 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:30:30] 897*2^1240213-1 is not prime. Res64: 5821E50A69E37CBB Time : 0.0 sec. user=mdettweiler [2013-01-30 08:39:25] 623*2^1240214-1 is not prime. Res64: FCD72235E8808DD6 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:39:26] 663*2^1240214-1 is not prime. Res64: 11D223294B51BAFB Time : 0.0 sec. user=vaughan [2013-01-30 08:41:22] 789*2^1240213-1 is not prime. Res64: 011A86699F71E834 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:47:51] 861*2^1240214-1 is not prime. Res64: DEFCB3B09D232E87 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:47:51] 873*2^1240214-1 is not prime. Res64: A720A686DE844ACF Time : 0.0 sec. user=mdettweiler [2013-01-30 08:56:46] 619*2^1240215-1 is not prime. Res64: 34B59CBF1CF88717 Time : 0.0 sec. user=mdettweiler [2013-01-30 08:56:47] 651*2^1240215-1 is not prime. Res64: D2A9104E93D9DC9D Time : 0.0 sec. user=mdettweiler [2013-01-30 09:05:12] 849*2^1240215-1 is not prime. Res64: 14A9663DFEC8A83D Time : 0.0 sec. user=mdettweiler [2013-01-30 09:05:13] 861*2^1240215-1 is not prime. Res64: D3E60D1B87ED96B1 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:14:08] 909*2^1240215-1 is not prime. Res64: 306FBE981AD2C09C Time : 0.0 sec. user=mdettweiler [2013-01-30 09:14:09] 933*2^1240215-1 is not prime. Res64: E86325BAA55E7603 Time : 0.0 sec. user=vaughan [2013-01-30 09:19:25] 709*2^1240215-1 is not prime. Res64: 27FD798BF1CF7BA4 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:22:34] 693*2^1240216-1 is not prime. Res64: 4D3AFEB1A806D8BA Time : 0.0 sec. user=mdettweiler [2013-01-30 09:22:35] 717*2^1240216-1 is not prime. Res64: 75E99EB68DD481E2 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:31:30] 777*2^1240216-1 is not prime. Res64: 327D5352A050490F Time : 0.0 sec. user=mdettweiler [2013-01-30 09:31:30] 843*2^1240216-1 is not prime. Res64: 71E6BFADC2058468 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:39:58] 869*2^1240216-1 is not prime. Res64: C7297E24741BF368 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:39:59] 917*2^1240216-1 is not prime. Res64: 5B89FBB18B8ED663 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:48:51] 965*2^1240216-1 is not prime. Res64: CC3FF994ECC041F6 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:48:52] 983*2^1240216-1 is not prime. Res64: 58682BD84D88A03A Time : 0.0 sec. user=mdettweiler [2013-01-30 09:57:19] 675*2^1240217-1 is not prime. Res64: 0E37BDF2333947E4 Time : 0.0 sec. user=mdettweiler [2013-01-30 09:57:19] 799*2^1240217-1 is not prime. Res64: A8C233668D88F615 Time : 0.0 sec. user=vaughan [2013-01-30 09:57:24] 849*2^1240216-1 is not prime. Res64: 1322AFE0690D4E73 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:06:12] 837*2^1240217-1 is not prime. Res64: 037981E2097920D6 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:06:13] 867*2^1240217-1 is not prime. Res64: 94DFDFC4FBF38A24 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:14:41] 711*2^1240218-1 is not prime. Res64: 3AD01EE97DE3DE0A Time : 0.0 sec. user=mdettweiler [2013-01-30 10:14:42] 833*2^1240218-1 is not prime. Res64: 0EC9B6729FC626C8 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:23:36] 905*2^1240218-1 is not prime. Res64: 083FC390D7A62D6F Time : 0.0 sec. user=mdettweiler [2013-01-30 10:23:37] 735*2^1240219-1 is not prime. Res64: 3E9A7071ED79DADE Time : 0.0 sec. user=mdettweiler [2013-01-30 10:32:08] 841*2^1240219-1 is not prime. Res64: 41811031948BACE5 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:32:08] 853*2^1240219-1 is not prime. Res64: A5E9958B28CA74C1 Time : 0.0 sec. user=vaughan [2013-01-30 10:35:21] 881*2^1240218-1 is not prime. Res64: 3E09422094AB154F Time : 0.0 sec. user=mdettweiler [2013-01-30 10:40:57] 861*2^1240219-1 is not prime. Res64: 6A5DB6EED1DFA24C Time : 0.0 sec. user=mdettweiler [2013-01-30 10:40:58] 891*2^1240219-1 is not prime. Res64: 2A97780245C3D752 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:49:28] 931*2^1240219-1 is not prime. Res64: C248B72F337E7DBC Time : 0.0 sec. user=mdettweiler [2013-01-30 10:49:29] 951*2^1240219-1 is not prime. Res64: B37C81C2AE2CD019 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:58:19] 735*2^1240220-1 is not prime. Res64: 48BB6B3A7304C949 Time : 0.0 sec. user=mdettweiler [2013-01-30 10:58:19] 767*2^1240220-1 is not prime. Res64: 20184867ACA1B885 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:06:49] 773*2^1240220-1 is not prime. Res64: AB594A77FEF4C84F Time : 0.0 sec. user=mdettweiler [2013-01-30 11:06:50] 795*2^1240220-1 is not prime. Res64: 6D6C111B13D539B6 Time : 0.0 sec. user=vaughan [2013-01-30 11:14:38] 603*2^1240220-1 is not prime. Res64: DC6A65E1FFC753D6 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:15:40] 893*2^1240220-1 is not prime. Res64: 29DEEB5E0562C830 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:15:41] 929*2^1240220-1 is not prime. Res64: 1DD8FF6586F7F6F0 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:24:14] 963*2^1240220-1 is not prime. Res64: 719EA00E836FB9B0 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:24:14] 649*2^1240221-1 is not prime. Res64: CF9B7DA6A21F2DE6 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:33:04] 777*2^1240221-1 is not prime. Res64: 22B173FDEF0FBBFA Time : 0.0 sec. user=mdettweiler [2013-01-30 11:33:05] 885*2^1240221-1 is not prime. Res64: E6F1524FA7E20CCE Time : 0.0 sec. user=mdettweiler [2013-01-30 11:41:34] 921*2^1240221-1 is not prime. Res64: F94B1358907598FF Time : 0.0 sec. user=mdettweiler [2013-01-30 11:41:35] 611*2^1240222-1 is not prime. Res64: F131884D47E078FE Time : 0.0 sec. user=mdettweiler [2013-01-30 11:50:25] 827*2^1240222-1 is not prime. Res64: C67D228DB25A6862 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:50:26] 831*2^1240222-1 is not prime. Res64: 8A4B02531C42345E Time : 0.0 sec. user=mdettweiler [2013-01-30 11:58:55] 951*2^1240222-1 is not prime. Res64: A954CCA9BB81A702 Time : 0.0 sec. user=mdettweiler [2013-01-30 11:58:56] 965*2^1240222-1 is not prime. Res64: 06EA420E754A1283 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:07:46] 939*2^1240223-1 is not prime. Res64: 68121888806D1045 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:07:47] 943*2^1240223-1 is not prime. Res64: 9AD75E77F45F8559 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:16:16] 955*2^1240223-1 is not prime. Res64: CA3D67BCB8D4DA82 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:16:17] 725*2^1240224-1 is not prime. Res64: 8BF4474FB48E8E6C Time : 0.0 sec. user=mdettweiler [2013-01-30 12:25:09] 765*2^1240224-1 is not prime. Res64: 748FE27AB103F1E5 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:25:10] 863*2^1240224-1 is not prime. Res64: 004752740D95276C Time : 0.0 sec. user=vaughan [2013-01-30 12:27:16] 735*2^1240223-1 is not prime. Res64: 52499C9F6F84A954 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:33:39] 649*2^1240225-1 is not prime. Res64: 67FCD2C31BC43BE8 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:33:39] 789*2^1240225-1 is not prime. Res64: 871D06E2641FCAA4 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:42:33] 855*2^1240225-1 is not prime. Res64: 5D96E87849C31D0B Time : 0.0 sec. user=mdettweiler [2013-01-30 12:42:33] 861*2^1240225-1 is not prime. Res64: 4A93C19D600A6CF5 Time : 0.0 sec. user=mdettweiler [2013-01-30 12:59:48] 831*2^1240226-1 is not prime. Res64: C7021CCE988E4D1D Time : 0.0 sec. user=mdettweiler [2013-01-30 12:59:49] 957*2^1240226-1 is not prime. Res64: 227D9F78F2FBD951 Time : 0.0 sec. user=vaughan [2013-01-30 13:05:14] 641*2^1240226-1 is not prime. Res64: 6E74EBAFEE115916 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:13:35] 773*2^1240226-1 is not prime. Res64: F0D1BC24F4F80CB4 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:13:36] 783*2^1240226-1 is not prime. Res64: B736553B2B0528B8 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:17:09] 1001*2^1240226-1 is not prime. Res64: 7C9E3179197F5E45 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:17:09] 601*2^1240227-1 is not prime. Res64: 7275568A33F70BE2 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:31:01] 753*2^1240227-1 is not prime. Res64: 6EB3B40E14174ED1 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:31:02] 805*2^1240227-1 is not prime. Res64: BB740EA77CDC8319 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:34:30] 825*2^1240227-1 is not prime. Res64: 94DFC738BC2F24AE Time : 0.0 sec. user=mdettweiler [2013-01-30 13:34:30] 629*2^1240228-1 is not prime. Res64: 44AEC056CD8EED3D Time : 0.0 sec. user=vaughan [2013-01-30 13:43:16] 751*2^1240227-1 is not prime. Res64: 7BE114310B4FD188 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:48:22] 695*2^1240228-1 is not prime. Res64: 059F4913056D021F Time : 0.0 sec. user=mdettweiler [2013-01-30 13:48:22] 735*2^1240228-1 is not prime. Res64: 841E14A4A439F444 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:51:54] 685*2^1240229-1 is not prime. Res64: 7B1422105B48D6F2 Time : 0.0 sec. user=mdettweiler [2013-01-30 13:51:54] 691*2^1240229-1 is not prime. Res64: 1E472549B5C0CFA0 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:06:04] 855*2^1240229-1 is not prime. Res64: 86D05D341D802D91 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:06:05] 861*2^1240229-1 is not prime. Res64: C9DA66C9EDBACADC Time : 0.0 sec. user=mdettweiler [2013-01-30 14:09:43] 865*2^1240229-1 is not prime. Res64: EC09E6A132869A07 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:09:45] 951*2^1240229-1 is not prime. Res64: 3E014177C02F5D1A Time : 0.0 sec. user=vaughan [2013-01-30 14:21:13] 795*2^1240229-1 is not prime. Res64: DE808D3C087EDFEB Time : 0.0 sec. user=mdettweiler [2013-01-30 14:23:43] 657*2^1240230-1 is not prime. Res64: A630831EAFF39563 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:23:44] 797*2^1240230-1 is not prime. Res64: 3C8756DD3CA213F2 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:27:27] 861*2^1240230-1 is not prime. Res64: BA1291F3AF2332B9 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:27:27] 863*2^1240230-1 is not prime. Res64: 42A880EA882A5209 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:41:25] 951*2^1240230-1 is not prime. Res64: 0B6933E75630EC2D Time : 0.0 sec. user=mdettweiler [2013-01-30 14:41:26] 645*2^1240231-1 is not prime. Res64: 277D0426EA4B57FD Time : 0.0 sec. user=mdettweiler [2013-01-30 14:45:12] 745*2^1240231-1 is not prime. Res64: ACCA48277F919068 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:45:12] 783*2^1240231-1 is not prime. Res64: BCF54BE36EDA8595 Time : 0.0 sec. user=juhehe [2013-01-30 14:48:45] 623*2^1240178-1 is not prime. Res64: DCBC7F417757AB98 Time : 0.0 sec. user=mdettweiler [2013-01-30 14:59:17] 871*2^1240231-1 is not prime. Res64: A90935A98FA6E191 Time : 0.0 sec. user=vaughan [2013-01-30 14:59:17] 933*2^1240230-1 is not prime. Res64: FCDAC6957AFDC9AE Time : 0.0 sec. user=mdettweiler [2013-01-30 14:59:17] 873*2^1240231-1 is not prime. Res64: B5EC517E49DF952C Time : 0.0 sec. user=mdettweiler [2013-01-30 15:03:03] 629*2^1240232-1 is not prime. Res64: C2D69FA0CDF5A755 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:03:05] 693*2^1240232-1 is not prime. Res64: 060CD3A7F6F9E712 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:17:12] 983*2^1240232-1 is not prime. Res64: 224000EC5F2AD5AC Time : 0.0 sec. user=mdettweiler [2013-01-30 15:17:13] 615*2^1240233-1 is not prime. Res64: E16729AE80A913BF Time : 0.0 sec. user=mdettweiler [2013-01-30 15:21:04] 847*2^1240233-1 is not prime. Res64: 0308922355645443 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:21:04] 949*2^1240233-1 is not prime. Res64: D2462F6DBD79D3CC Time : 0.0 sec. user=mdettweiler [2013-01-30 15:35:13] 605*2^1240234-1 is not prime. Res64: 9C65011AEAF1CDB1 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:35:14] 617*2^1240234-1 is not prime. Res64: 48001F7288A42BCD Time : 0.0 sec. user=vaughan [2013-01-30 15:37:16] 741*2^1240233-1 is not prime. Res64: 7F96DE5C785081A1 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:39:01] 701*2^1240234-1 is not prime. Res64: FA78BBD6DDEFFF87 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:39:01] 717*2^1240234-1 is not prime. Res64: 6EC2549D7C23D112 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:53:32] 861*2^1240234-1 is not prime. Res64: 705B45846FBFD852 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:53:33] 881*2^1240234-1 is not prime. Res64: B4D036764A43048E Time : 0.0 sec. user=mdettweiler [2013-01-30 15:56:52] 971*2^1240234-1 is not prime. Res64: F08BBBFC444AA2F7 Time : 0.0 sec. user=mdettweiler [2013-01-30 15:56:52] 645*2^1240235-1 is not prime. Res64: 450DED83D1A4CCFD Time : 0.0 sec. user=mdettweiler [2013-01-30 16:11:17] 699*2^1240235-1 is not prime. Res64: A69C6AF5B2566B87 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:11:21] 739*2^1240235-1 is not prime. Res64: 09D305DBEFF60CB7 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:14:40] 889*2^1240235-1 is not prime. Res64: CEF687A30FC3B073 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:14:41] 627*2^1240236-1 is not prime. Res64: DD85DA3A1D73D17C Time : 0.0 sec. user=vaughan [2013-01-30 16:15:12] 887*2^1240234-1 is not prime. Res64: D5F572CEE993DA7B Time : 0.0 sec. user=mdettweiler [2013-01-30 16:29:48] 683*2^1240236-1 is not prime. Res64: 6780512A726054F0 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:29:48] 705*2^1240236-1 is not prime. Res64: 73C32C3D8ECA5CD4 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:32:39] 759*2^1240236-1 is not prime. Res64: F36702A8D08063A0 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:32:39] 773*2^1240236-1 is not prime. Res64: F54A00B6C3E54E29 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:47:36] 899*2^1240236-1 is not prime. Res64: C1AFE819C8AA7245 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:47:36] 945*2^1240236-1 is not prime. Res64: 40C881505EEE39D7 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:50:26] 651*2^1240237-1 is not prime. Res64: C393B07E2DEA1178 Time : 0.0 sec. user=mdettweiler [2013-01-30 16:50:26] 661*2^1240237-1 is not prime. Res64: C3E3861D2120546D Time : 0.0 sec. user=vaughan [2013-01-30 16:53:11] 879*2^1240236-1 is not prime. Res64: A1DC5D4398242925 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:05:32] 747*2^1240237-1 is not prime. Res64: 7AB741E21C861196 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:05:33] 831*2^1240237-1 is not prime. Res64: EBE6AEDB3A5BF6ED Time : 0.0 sec. user=mdettweiler [2013-01-30 17:08:21] 885*2^1240237-1 is not prime. Res64: 98F4ED9346DFD33A Time : 0.0 sec. user=mdettweiler [2013-01-30 17:08:21] 889*2^1240237-1 is not prime. Res64: F3B31FA1CF6D769A Time : 0.0 sec. user=mdettweiler [2013-01-30 17:23:24] 743*2^1240238-1 is not prime. Res64: BF4CEAABE5A051B8 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:23:24] 747*2^1240238-1 is not prime. Res64: 7DDDE8B3B3791D8A Time : 0.0 sec. user=mdettweiler [2013-01-30 17:26:13] 791*2^1240238-1 is not prime. Res64: C6B56F3E1D92B9A4 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:26:14] 795*2^1240238-1 is not prime. Res64: D775F96AF9601858 Time : 0.0 sec. user=vaughan [2013-01-30 17:31:07] 603*2^1240238-1 is not prime. Res64: CADDDD3A28FAD745 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:41:26] 813*2^1240238-1 is not prime. Res64: 9AD20AEB8FB14C20 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:41:26] 897*2^1240238-1 is not prime. Res64: 3BAA6AC668C6C806 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:44:19] 923*2^1240238-1 is not prime. Res64: 768224D90044FDB8 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:44:19] 935*2^1240238-1 is not prime. Res64: AD19BA7FDCA5D73E Time : 0.0 sec. user=mdettweiler [2013-01-30 17:59:27] 619*2^1240239-1 is not prime. Res64: F092108CB671FE14 Time : 0.0 sec. user=mdettweiler [2013-01-30 17:59:28] 709*2^1240239-1 is not prime. Res64: B4A5B3FAA91CF03C Time : 0.0 sec. user=mdettweiler [2013-01-30 18:02:21] 789*2^1240239-1 is not prime. Res64: D45806F7AD691537 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:02:22] 823*2^1240239-1 is not prime. Res64: C60F2253BA4C3BCD Time : 0.0 sec. user=vaughan [2013-01-30 18:09:07] 951*2^1240238-1 is not prime. Res64: 9262277024D64658 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:17:26] 853*2^1240239-1 is not prime. Res64: D28769C711D02312 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:17:26] 933*2^1240239-1 is not prime. Res64: 30AEF5FF72EF54E1 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:20:19] 973*2^1240239-1 is not prime. Res64: 2758BCEFC4D5F21E Time : 0.0 sec. user=mdettweiler [2013-01-30 18:20:20] 897*2^1240240-1 is not prime. Res64: 3FB5ADA65281951B Time : 0.0 sec. user=mdettweiler [2013-01-30 18:35:28] 927*2^1240240-1 is not prime. Res64: DE76CF273FE4AF3E Time : 0.0 sec. user=mdettweiler [2013-01-30 18:35:29] 615*2^1240241-1 is not prime. Res64: F572739E7AA9FB5A Time : 0.0 sec. user=mdettweiler [2013-01-30 18:38:25] 657*2^1240241-1 is not prime. Res64: 9C0E7888262532D6 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:38:25] 705*2^1240241-1 is not prime. Res64: 9B20CA8CCC0B0D40 Time : 0.0 sec. user=vaughan [2013-01-30 18:47:19] 905*2^1240240-1 is not prime. Res64: 6BACF951007AFC23 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:53:04] 775*2^1240241-1 is not prime. Res64: CCD67A31057DE763 Time : 0.0 sec. user=mdettweiler [2013-01-30 18:53:04] 861*2^1240241-1 is not prime. Res64: 241AC5E8C730ECFB Time : 0.0 sec. user=mdettweiler [2013-01-30 18:55:53] 909*2^1240241-1 is not prime. Res64: 5A330051D948080F Time : 0.0 sec. user=mdettweiler [2013-01-30 18:55:53] 711*2^1240242-1 is not prime. Res64: D07CD1A61EBAB2A1 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:10:25] 875*2^1240242-1 is not prime. Res64: 184CDE51FC1B1FCC Time : 0.0 sec. user=mdettweiler [2013-01-30 19:10:26] 921*2^1240242-1 is not prime. Res64: 5CCB364281106F23 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:13:14] 945*2^1240242-1 is not prime. Res64: 9EC12C4F92964DF2 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:13:15] 951*2^1240242-1 is not prime. Res64: 32334605039459D6 Time : 0.0 sec. user=vaughan [2013-01-30 19:25:16] 873*2^1240242-1 is not prime. Res64: E0568ECC5EE12D09 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:27:51] 639*2^1240243-1 is not prime. Res64: CFF9510DD36DBD38 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:27:51] 663*2^1240243-1 is not prime. Res64: AC3A951E050996D0 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:30:36] 675*2^1240243-1 is not prime. Res64: 09A8D04D0F8F3232 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:30:37] 691*2^1240243-1 is not prime. Res64: 1E769E20B7E69C9B Time : 0.0 sec. user=mdettweiler [2013-01-30 19:45:12] 723*2^1240243-1 is not prime. Res64: AC2C9EE2CF58B641 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:45:12] 771*2^1240243-1 is not prime. Res64: E1100A7C677361A7 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:47:56] 913*2^1240243-1 is not prime. Res64: 3E5C3A3663A303C5 Time : 0.0 sec. user=mdettweiler [2013-01-30 19:47:57] 629*2^1240244-1 is not prime. Res64: 50172A02539E7CBA Time : 0.0 sec. user=mdettweiler [2013-01-30 20:02:33] 689*2^1240244-1 is not prime. Res64: BC207FF6B5E32037 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:02:35] 707*2^1240244-1 is not prime. Res64: 957CC07E1404AE8E Time : 0.0 sec. user=vaughan [2013-01-30 20:03:13] 705*2^1240243-1 is not prime. Res64: C6A9DBC49AFCEF49 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:05:17] 785*2^1240244-1 is not prime. Res64: FF783EC260567CB1 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:05:19] 833*2^1240244-1 is not prime. Res64: 2BFDD60AFFA72D7D Time : 0.0 sec. user=mdettweiler [2013-01-30 20:20:03] 935*2^1240244-1 is not prime. Res64: 270463E8A77D107D Time : 0.0 sec. user=mdettweiler [2013-01-30 20:20:03] 983*2^1240244-1 is not prime. Res64: 4397FA69211A7D40 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:22:41] 741*2^1240245-1 is not prime. Res64: 3BE4DEF59881E9CA Time : 0.0 sec. user=mdettweiler [2013-01-30 20:22:42] 847*2^1240245-1 is not prime. Res64: 77D4E8BD556DA184 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:37:33] 867*2^1240245-1 is not prime. Res64: 2D8A8FBB3B98DE3F Time : 0.0 sec. user=mdettweiler [2013-01-30 20:37:34] 985*2^1240245-1 is not prime. Res64: DF4265769BC907DA Time : 0.0 sec. user=mdettweiler [2013-01-30 20:40:08] 611*2^1240246-1 is not prime. Res64: 1157E82AEC886A66 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:40:08] 653*2^1240246-1 is not prime. Res64: 51FEB425DDB5FB60 Time : 0.0 sec. user=vaughan [2013-01-30 20:41:11] 735*2^1240245-1 is not prime. Res64: 8D7AD55EEF5696E0 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:54:54] 713*2^1240246-1 is not prime. Res64: A974E1096E42AF16 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:54:55] 737*2^1240246-1 is not prime. Res64: 984A8AC2FC8BB9A2 Time : 0.0 sec. user=mdettweiler [2013-01-30 20:57:29] 755*2^1240246-1 is not prime. Res64: C3F6503FAA1587EB Time : 0.0 sec. user=mdettweiler [2013-01-30 20:57:29] 783*2^1240246-1 is not prime. Res64: 0FA597F25CCBC3B4 Time : 0.0 sec. user=mdettweiler [2013-01-30 21:12:17] 825*2^1240246-1 is not prime. Res64: 2BA9372511983956 Time : 0.0 sec. user=mdettweiler [2013-01-30 21:12:18] 857*2^1240246-1 is not prime. Res64: 22F65343665A81B6 Time : 0.0 sec. user=mdettweiler [2013-01-30 21:14:50] 941*2^1240246-1 is not prime. Res64: 9151108800D1DC8C Time : 0.0 sec. user=mdettweiler [2013-01-30 21:14:51] 983*2^1240246-1 is not prime. Res64: A8F6B2CC1B3658F8 Time : 0.0 sec. user=vaughan [2013-01-30 21:19:10] 801*2^1240246-1 is not prime. Res64: 29A14B69D429DCA8 Time : 0.0 sec. user=mdettweiler [2013-01-30 21:29:48] 1001*2^1240246-1 is not prime. Res64: 1B33991253A031E4 Time : 0.0 sec. user=mdettweiler [2013-01-30 21:29:49] 645*2^1240247-1 is not prime. Res64: 6AC516BE438D2422 Time : 0.0 sec. user=mdettweiler [2013-01-30 21:32:12] 673*2^1240247-1 is not prime. Res64: 4CD4F772321EDFBE Time : 0.0 sec. user=mdettweiler [2013-01-30 21:32:12] 693*2^1240247-1 is not prime. Res64: E932837342C55CAD Time : 0.0 sec. user=mdettweiler [2013-01-30 21:47:09] 707*2^1240248-1 is not prime. Res64: B2AA536D5A6A221A Time : 0.0 sec. user=mdettweiler [2013-01-30 21:47:10] 725*2^1240248-1 is not prime. Res64: 3417FDF0CEC0E95E Time : 0.0 sec. user=mdettweiler [2013-01-30 21:49:32] 789*2^1240248-1 is not prime. Res64: 3611B4DDFABB20CB Time : 0.0 sec. user=mdettweiler [2013-01-30 21:49:33] 929*2^1240248-1 is not prime. Res64: 95B51A9F22BD67A8 Time : 0.0 sec. user=vaughan [2013-01-30 21:57:08] 729*2^1240247-1 is not prime. Res64: 2C62AF4C6DD3C380 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:04:31] 609*2^1240249-1 is not prime. Res64: BDD1D6BA90BAA897 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:04:34] 639*2^1240249-1 is not prime. Res64: 7FAC895455D5E266 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:06:53] 661*2^1240249-1 is not prime. Res64: F33F996436FEDD85 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:06:54] 799*2^1240249-1 is not prime. Res64: BA2218D05C9173D2 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:21:58] 919*2^1240249-1 is not prime. Res64: 917796B56E48C4B7 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:21:58] 987*2^1240249-1 is not prime. Res64: E3F44AF8B87C459B Time : 0.0 sec. user=mdettweiler [2013-01-30 22:24:17] 651*2^1240250-1 is not prime. Res64: 86216E2936236503 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:24:17] 671*2^1240250-1 is not prime. Res64: 95B8B44A2C6FDE97 Time : 0.0 sec. user=vaughan [2013-01-30 22:35:03] 861*2^1240249-1 is not prime. Res64: A058EA7BA456D997 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:39:22] 701*2^1240250-1 is not prime. Res64: 6D5AC8B686918744 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:39:23] 731*2^1240250-1 is not prime. Res64: 6F16DF8B6225C5C5 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:41:38] 797*2^1240250-1 is not prime. Res64: 9D935F3B490F8547 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:41:39] 861*2^1240250-1 is not prime. Res64: B2632C7D51C9F3AE Time : 0.0 sec. user=mdettweiler [2013-01-30 22:56:43] 675*2^1240251-1 is not prime. Res64: AD50983CB14D629E Time : 0.0 sec. user=mdettweiler [2013-01-30 22:56:43] 703*2^1240251-1 is not prime. Res64: 57713F61DBBF49CE Time : 0.0 sec. user=mdettweiler [2013-01-30 22:59:00] 603*2^1240252-1 is not prime. Res64: 33D24ED27C24E311 Time : 0.0 sec. user=mdettweiler [2013-01-30 22:59:00] 617*2^1240252-1 is not prime. Res64: BE77E8F6BB72AFB3 Time : 0.0 sec. user=vaughan [2013-01-30 23:15:00] 651*2^1240251-1 is not prime. Res64: 15EF90898BF13FD7 Time : 0.0 sec. user=mdettweiler [2013-01-30 23:15:01] 623*2^1240252-1 is not prime. Res64: 9574EF34318050CB Time : 0.0 sec. user=mdettweiler [2013-01-30 23:16:22] 705*2^1240252-1 is not prime. Res64: 3A8409E4A80E3514 Time : 0.0 sec. user=mdettweiler [2013-01-30 23:16:24] 723*2^1240252-1 is not prime. Res64: FF5185BA5464F424 Time : 0.0 sec. user=mdettweiler [2013-01-30 23:33:56] 803*2^1240252-1 is not prime. Res64: 61DC23858784CF4B Time : 0.0 sec. user=mdettweiler [2013-01-30 23:33:56] 965*2^1240252-1 is not prime. Res64: 38D08B8DD3A6D927 Time : 0.0 sec. user=mdettweiler [2013-01-30 23:48:35] 647*2^1240252-1 is not prime. Res64: DC3A0A2DB2269F55 Time : 0.0 sec. user=mdettweiler [2013-01-30 23:51:17] 631*2^1240253-1 is not prime. Res64: BBB3BDBD05EEFF4C Time : 0.0 sec. user=mdettweiler [2013-01-30 23:51:18] 699*2^1240253-1 is not prime. Res64: 760F119A8289E9CA Time : 0.0 sec.