user=mdettweiler [2012-11-12 00:01:45] 995*2^1234264-1 is not prime. Res64: 4450A9CC3FE7EA1E Time : 0.0 sec. user=mdettweiler [2012-11-12 00:01:46] 601*2^1234265-1 is not prime. Res64: 1437664705480545 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:01:56] 619*2^1234265-1 is not prime. Res64: 9C066B736B0E77D6 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:01:56] 717*2^1234265-1 is not prime. Res64: 4E27E79495B201EB Time : 0.0 sec. user=mdettweiler [2012-11-12 00:22:51] 969*2^1234265-1 is not prime. Res64: F316F299A022DB1E Time : 0.0 sec. user=mdettweiler [2012-11-12 00:22:55] 985*2^1234265-1 is not prime. Res64: FF4FD38B55880838 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:23:05] 723*2^1234266-1 is not prime. Res64: 609E692161D9F902 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:23:10] 755*2^1234266-1 is not prime. Res64: AA526B2F478E56F0 Time : 0.0 sec. user=juhehe [2012-11-12 00:29:02] 909*2^1234265-1 is not prime. Res64: 3B71AAB008293316 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:44:33] 815*2^1234266-1 is not prime. Res64: FE93D36F53C65240 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:44:33] 843*2^1234266-1 is not prime. Res64: F2BB5D280E2B0EAB Time : 0.0 sec. user=mdettweiler [2012-11-12 00:44:36] 767*2^1234266-1 is not prime. Res64: 2A02BE2D7E41F6B3 Time : 0.0 sec. user=mdettweiler [2012-11-12 00:44:37] 861*2^1234266-1 is not prime. Res64: 505F44C129431909 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:05:36] 673*2^1234267-1 is not prime. Res64: 184B3319A1D236A1 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:05:40] 873*2^1234267-1 is not prime. Res64: 2105547F59C10A76 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:05:41] 871*2^1234267-1 is not prime. Res64: 3D72D704E3B4F794 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:05:42] 931*2^1234267-1 is not prime. Res64: 21562E667085F89C Time : 0.0 sec. user=juhehe [2012-11-12 01:06:06] 873*2^1234266-1 is not prime. Res64: D5E5CE859D7A01E6 Time : 0.0 sec. user=juhehe [2012-11-12 01:13:35] 619*2^1234267-1 is not prime. Res64: 35CBA1B871CD71E4 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:27:18] 843*2^1234268-1 is not prime. Res64: 32FE1D3FDDA4AA8A Time : 0.0 sec. user=mdettweiler [2012-11-12 01:27:19] 869*2^1234268-1 is not prime. Res64: 1664C70288C8D6FE Time : 0.0 sec. user=mdettweiler [2012-11-12 01:27:21] 875*2^1234268-1 is not prime. Res64: 971B8D2A4340D8E6 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:27:22] 615*2^1234269-1 is not prime. Res64: A79691AFADA06212 Time : 0.0 sec. user=juhehe [2012-11-12 01:43:19] 649*2^1234269-1 is not prime. Res64: A607041FF468614D Time : 0.0 sec. user=mdettweiler [2012-11-12 01:48:22] 747*2^1234269-1 is not prime. Res64: C3311E02B828699D Time : 0.0 sec. user=mdettweiler [2012-11-12 01:48:23] 795*2^1234269-1 is not prime. Res64: E064E0F717183CE4 Time : 0.0 sec. user=mdettweiler [2012-11-12 01:48:23] 895*2^1234269-1 is not prime. Res64: 05A4BF30CE9FA52B Time : 0.0 sec. user=mdettweiler [2012-11-12 01:48:23] 951*2^1234269-1 is not prime. Res64: A97F17369807CA06 Time : 0.0 sec. user=juhehe [2012-11-12 01:50:55] 685*2^1234269-1 is not prime. Res64: AAF893231B1D00C9 Time : 0.0 sec. user=mdettweiler [2012-11-12 02:09:25] 675*2^1234270-1 is not prime. Res64: 9FF216C4DF02A3C8 Time : 0.0 sec. user=mdettweiler [2012-11-12 02:09:25] 723*2^1234270-1 is not prime. Res64: EB74B55755B71CD6 Time : 0.0 sec. user=mdettweiler [2012-11-12 02:09:28] 687*2^1234270-1 is not prime. Res64: 8017ABD374C53552 Time : 0.0 sec. user=mdettweiler [2012-11-12 02:09:29] 741*2^1234270-1 is not prime. Res64: A5EEAA3B9DB00132 Time : 0.0 sec. user=juhehe [2012-11-12 02:20:20] 645*2^1234270-1 is not prime. Res64: F15334442B302A82 Time : 0.0 sec. user=mdettweiler [2012-11-12 02:30:39] 885*2^1234270-1 is not prime. Res64: 9E77864372F2666A Time : 0.0 sec. user=mdettweiler [2012-11-12 02:53:10] 911*2^1234270-1 is not prime. Res64: 53EBFAFA72953A78 Time : 0.0 sec. user=juhehe [2012-11-12 02:57:44] 1001*2^1234270-1 is not prime. Res64: BAF98F826DB44C83 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:14:29] 669*2^1234271-1 is not prime. Res64: 71D45962F8402EA9 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:14:30] 705*2^1234271-1 is not prime. Res64: 10C7FDBCE66EACFE Time : 0.0 sec. user=mdettweiler [2012-11-12 03:25:15] 951*2^1234270-1 is not prime. Res64: 400BE99173D6697B Time : 0.0 sec. user=mdettweiler [2012-11-12 03:25:15] 995*2^1234270-1 is not prime. Res64: 0E0E366EFB095BD8 Time : 0.0 sec. user=juhehe [2012-11-12 03:34:30] 735*2^1234271-1 is not prime. Res64: 2A583873CD29B325 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:35:41] 813*2^1234271-1 is not prime. Res64: 168C6EA202A41964 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:35:45] 883*2^1234271-1 is not prime. Res64: C184431706D68E78 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:46:19] 901*2^1234271-1 is not prime. Res64: 2AE3F9F6C10F11B1 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:46:21] 909*2^1234271-1 is not prime. Res64: 6D964A00B9015CF2 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:56:57] 679*2^1234273-1 is not prime. Res64: 2BD0B47E6CB9D928 Time : 0.0 sec. user=mdettweiler [2012-11-12 03:56:57] 721*2^1234273-1 is not prime. Res64: 9C821707A8568E4C Time : 0.0 sec. user=mdettweiler [2012-11-12 04:08:05] 855*2^1234273-1 is not prime. Res64: 931DC176C88E6E5C Time : 0.0 sec. user=mdettweiler [2012-11-12 04:08:06] 951*2^1234273-1 is not prime. Res64: 1AFF62D627017203 Time : 0.0 sec. user=juhehe [2012-11-12 04:11:44] 909*2^1234272-1 is not prime. Res64: CB8B88440AE8EDB4 Time : 0.0 sec. user=juhehe [2012-11-12 04:14:28] 831*2^1234273-1 is not prime. Res64: C857C35AFC0ED212 Time : 0.0 sec. user=mdettweiler [2012-11-12 04:17:58] 987*2^1234273-1 is not prime. Res64: B985150FFB956F72 Time : 0.0 sec. user=mdettweiler [2012-11-12 04:17:59] 615*2^1234274-1 is not prime. Res64: C0C39B515F6941E1 Time : 0.0 sec. user=mdettweiler [2012-11-12 04:29:20] 617*2^1234274-1 is not prime. Res64: 6287AD8E6CB454FE Time : 0.0 sec. user=mdettweiler [2012-11-12 04:29:20] 753*2^1234274-1 is not prime. Res64: C1C2B2237606397D Time : 0.0 sec. user=mdettweiler [2012-11-12 04:39:03] 923*2^1234274-1 is not prime. Res64: 3AD42FD78332A4BE Time : 0.0 sec. user=mdettweiler [2012-11-12 04:39:06] 1001*2^1234274-1 is not prime. Res64: 05945FCE368F2CDE Time : 0.0 sec. user=juhehe [2012-11-12 04:48:31] 885*2^1234274-1 is not prime. Res64: F6963B083E2DAFDC Time : 0.0 sec. user=mdettweiler [2012-11-12 04:50:21] 751*2^1234275-1 is not prime. Res64: 68F69D4147A4BEFF Time : 0.0 sec. user=mdettweiler [2012-11-12 04:50:21] 765*2^1234275-1 is not prime. Res64: 374F95C6ED003F1D Time : 0.0 sec. user=mdettweiler [2012-11-12 05:00:36] 783*2^1234275-1 is not prime. Res64: 02D8A5D4C956AC45 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:00:37] 795*2^1234275-1 is not prime. Res64: 82D7E0A9C07CFB99 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:11:21] 609*2^1234276-1 is not prime. Res64: 691A4FDC82F5EBE4 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:11:21] 639*2^1234276-1 is not prime. Res64: E6FC96E92E3A3D67 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:21:38] 693*2^1234276-1 is not prime. Res64: 44D165396CF20DA0 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:21:38] 839*2^1234276-1 is not prime. Res64: DE6971583D56AE8F Time : 0.0 sec. user=juhehe [2012-11-12 05:25:30] 895*2^1234275-1 is not prime. Res64: 9BFBCA4C0B397E2F Time : 0.0 sec. user=mdettweiler [2012-11-12 05:32:31] 873*2^1234276-1 is not prime. Res64: 60613CAC5B97A9C4 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:32:32] 887*2^1234276-1 is not prime. Res64: CD8C2D3A9FECBADF Time : 0.0 sec. user=mdettweiler [2012-11-12 05:42:40] 905*2^1234276-1 is not prime. Res64: 388426AEDB469814 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:42:40] 923*2^1234276-1 is not prime. Res64: E30C0DB4EEE93AE5 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:53:34] 699*2^1234277-1 is not prime. Res64: F805587405949C54 Time : 0.0 sec. user=mdettweiler [2012-11-12 05:53:35] 735*2^1234277-1 is not prime. Res64: B084A5761AE484F1 Time : 0.0 sec. user=juhehe [2012-11-12 06:00:38] 927*2^1234276-1 is not prime. Res64: 88A506BD597462D1 Time : 0.0 sec. user=juhehe [2012-11-12 06:02:24] 957*2^1234276-1 is not prime. Res64: 6C531F516C6057D7 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:03:41] 757*2^1234277-1 is not prime. Res64: 5B04373AEA31E881 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:03:42] 825*2^1234277-1 is not prime. Res64: 45115A578D2C20DC Time : 0.0 sec. user=mdettweiler [2012-11-12 06:14:38] 865*2^1234277-1 is not prime. Res64: 6C4A5ABE0B1D37D6 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:14:39] 879*2^1234277-1 is not prime. Res64: EF6D2DF3D150C9EE Time : 0.0 sec. user=mdettweiler [2012-11-12 06:24:47] 991*2^1234277-1 is not prime. Res64: 7459583D9F4BB545 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:24:48] 657*2^1234278-1 is not prime. Res64: B713E1071A68EC04 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:36:32] 713*2^1234278-1 is not prime. Res64: 91E7FF5E9BE3A38A Time : 0.0 sec. user=mdettweiler [2012-11-12 06:36:32] 843*2^1234278-1 is not prime. Res64: AAD306FD91E7B40A Time : 0.0 sec. user=juhehe [2012-11-12 06:45:16] 955*2^1234277-1 is not prime. Res64: B146146423B94F5D Time : 0.0 sec. user=mdettweiler [2012-11-12 06:45:50] 993*2^1234278-1 is not prime. Res64: 3C73314B4A277A90 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:45:50] 609*2^1234279-1 is not prime. Res64: 4ED7A4CEC59B87B3 Time : 0.0 sec. user=mdettweiler [2012-11-12 06:57:33] 693*2^1234279-1 is not prime. Res64: 3DB7EECB34A6198F Time : 0.0 sec. user=mdettweiler [2012-11-12 06:57:33] 729*2^1234279-1 is not prime. Res64: C6B6BD74CE7FCC12 Time : 0.0 sec. user=mdettweiler [2012-11-12 07:06:50] 975*2^1234279-1 is not prime. Res64: C2A0211FABAE1BB4 Time : 0.0 sec. user=mdettweiler [2012-11-12 07:06:51] 713*2^1234280-1 is not prime. Res64: 5CFD4051B7373651 Time : 0.0 sec. user=mdettweiler [2012-11-12 07:19:25] 767*2^1234280-1 is not prime. Res64: 7C60B7F7C1AEE546 Time : 0.0 sec. user=juhehe [2012-11-12 07:27:53] 745*2^1234279-1 is not prime. Res64: 558FD9C1DA5359C3 Time : 0.0 sec. user=mdettweiler [2012-11-12 07:27:59] 977*2^1234280-1 is not prime. Res64: 0334A82192172DAF Time : 0.0 sec. user=mdettweiler [2012-11-12 07:27:59] 627*2^1234281-1 is not prime. Res64: CC359E5ABBC9845D Time : 0.0 sec. user=mdettweiler [2012-11-12 07:49:04] 717*2^1234281-1 is not prime. Res64: 966E8A222FBA3E62 Time : 0.0 sec. user=mdettweiler [2012-11-12 07:49:04] 865*2^1234281-1 is not prime. Res64: 76C7527FB02145EA Time : 0.0 sec. user=mdettweiler [2012-11-12 07:49:42] 839*2^1234280-1 is not prime. Res64: EBCB86A39740BA98 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:10:09] 907*2^1234281-1 is not prime. Res64: 0CDF06FDFC26DDBC Time : 0.0 sec. user=mdettweiler [2012-11-12 08:10:12] 909*2^1234281-1 is not prime. Res64: 470F0F92EDFFDEF4 Time : 0.0 sec. user=juhehe [2012-11-12 08:10:32] 747*2^1234281-1 is not prime. Res64: A80F842B79908692 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:10:46] 743*2^1234282-1 is not prime. Res64: B0C9D85F1A3C30D0 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:10:49] 755*2^1234282-1 is not prime. Res64: F9E00BF60B608573 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:31:37] 803*2^1234282-1 is not prime. Res64: 7C0FEAB19AFEB0DB Time : 0.0 sec. user=mdettweiler [2012-11-12 08:31:39] 843*2^1234282-1 is not prime. Res64: 689D03DC1052228F Time : 0.0 sec. user=mdettweiler [2012-11-12 08:42:53] 813*2^1234283-1 is not prime. Res64: 6EB59642F07C1F30 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:42:55] 963*2^1234283-1 is not prime. Res64: BB664547AA7C52F0 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:52:52] 969*2^1234283-1 is not prime. Res64: ED4F8865B14DD818 Time : 0.0 sec. user=mdettweiler [2012-11-12 08:52:52] 663*2^1234284-1 is not prime. Res64: 8A3D036E915B8B03 Time : 0.0 sec. user=juhehe [2012-11-12 08:53:09] 735*2^1234283-1 is not prime. Res64: A645C7F55B091E0E Time : 0.0 sec. user=mdettweiler [2012-11-12 09:13:54] 705*2^1234284-1 is not prime. Res64: D08876698214352E Time : 0.0 sec. user=mdettweiler [2012-11-12 09:13:55] 753*2^1234284-1 is not prime. Res64: C99BE8B827F1B135 Time : 0.0 sec. user=mdettweiler [2012-11-12 09:14:40] 893*2^1234284-1 is not prime. Res64: 9061551B85092746 Time : 0.0 sec. user=mdettweiler [2012-11-12 09:14:42] 899*2^1234284-1 is not prime. Res64: 9233D5309A2F1DC2 Time : 0.0 sec. user=mdettweiler [2012-11-12 09:35:08] 969*2^1234284-1 is not prime. Res64: 0226BF6F7F2F658C Time : 0.0 sec. user=mdettweiler [2012-11-12 09:35:08] 975*2^1234284-1 is not prime. Res64: F2FBB56623A11A14 Time : 0.0 sec. user=juhehe [2012-11-12 09:35:33] 789*2^1234284-1 is not prime. Res64: 6E64DB9C13FC9DBB Time : 0.0 sec. user=mdettweiler [2012-11-12 09:35:51] 867*2^1234285-1 is not prime. Res64: 797FDDDAB100C283 Time : 0.0 sec. user=mdettweiler [2012-11-12 09:35:51] 957*2^1234285-1 is not prime. Res64: C5CC01A57A6CFAF6 Time : 0.0 sec. user=mdettweiler [2012-11-12 09:56:10] 741*2^1234286-1 is not prime. Res64: 55A6C23ACE984E5C Time : 0.0 sec. user=mdettweiler [2012-11-12 09:56:10] 801*2^1234286-1 is not prime. Res64: ED46A2382706091F Time : 0.0 sec. user=mdettweiler [2012-11-12 09:56:53] 867*2^1234286-1 is not prime. Res64: 0BF6E98A0B91CF07 Time : 0.0 sec. user=mdettweiler [2012-11-12 09:56:53] 893*2^1234286-1 is not prime. Res64: F891CF06D29590E5 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:17:13] 917*2^1234286-1 is not prime. Res64: 2F839EEDEA336AF6 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:17:17] 703*2^1234287-1 is not prime. Res64: 860CB37C89DE3BCD Time : 0.0 sec. user=mdettweiler [2012-11-12 10:17:55] 711*2^1234287-1 is not prime. Res64: 4F10FDF89E31BAC2 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:17:57] 805*2^1234287-1 is not prime. Res64: 7C4057D23F3A725A Time : 0.0 sec. user=juhehe [2012-11-12 10:18:28] 843*2^1234286-1 is not prime. Res64: 11A56853FECE8889 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:38:52] 879*2^1234287-1 is not prime. Res64: DE357CD18241313B Time : 0.0 sec. user=mdettweiler [2012-11-12 10:38:53] 901*2^1234287-1 is not prime. Res64: EB6266B2A678A703 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:39:07] 975*2^1234287-1 is not prime. Res64: 2BD047DB6459C7E5 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:39:07] 979*2^1234287-1 is not prime. Res64: 34B30B86CE7A6CF3 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:59:55] 677*2^1234288-1 is not prime. Res64: 64AC61999AFC6A59 Time : 0.0 sec. user=mdettweiler [2012-11-12 10:59:56] 765*2^1234288-1 is not prime. Res64: 6AF7DD963DF2320C Time : 0.0 sec. user=mdettweiler [2012-11-12 11:00:09] 777*2^1234288-1 is not prime. Res64: 83F5CDE898C58FD7 Time : 0.0 sec. user=mdettweiler [2012-11-12 11:00:10] 797*2^1234288-1 is not prime. Res64: 82E6D10D018418F0 Time : 0.0 sec. user=juhehe [2012-11-12 11:01:29] 605*2^1234288-1 is not prime. Res64: B964DCC04A69669D Time : 0.0 sec. user=mdettweiler [2012-11-12 11:21:01] 827*2^1234288-1 is not prime. Res64: CE0E0BFDB07CE548 Time : 0.0 sec. user=mdettweiler [2012-11-12 11:21:02] 843*2^1234288-1 is not prime. Res64: 8ECFA3AF03BD631F Time : 0.0 sec. user=mdettweiler [2012-11-12 11:21:12] 933*2^1234288-1 is not prime. Res64: 0EAE1CC17C3C46FB Time : 0.0 sec. user=mdettweiler [2012-11-12 11:21:12] 947*2^1234288-1 is not prime. Res64: 8CC6F0B7C97D9419 Time : 0.0 sec. user=mdettweiler [2012-11-12 11:42:12] 631*2^1234289-1 is not prime. Res64: 236EE2BC0FAD990D Time : 0.0 sec. user=mdettweiler [2012-11-12 11:42:12] 685*2^1234289-1 is not prime. Res64: FE4722D3A8FF68A0 Time : 0.0 sec. user=mdettweiler [2012-11-12 11:42:22] 699*2^1234289-1 is not prime. Res64: 107DE50615A7DACB Time : 0.0 sec. user=mdettweiler [2012-11-12 11:42:22] 949*2^1234289-1 is not prime. Res64: CD93E4BC231F94D8 Time : 0.0 sec. user=juhehe [2012-11-12 11:45:12] 999*2^1234288-1 is not prime. Res64: 8AA74F996777C156 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:03:20] 981*2^1233941-1 is not prime. Res64: 83AF35B7E522E102 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:03:20] 951*2^1234289-1 is not prime. Res64: D652E77ADF9B289D Time : 0.0 sec. user=mdettweiler [2012-11-12 12:03:30] 967*2^1234289-1 is not prime. Res64: 5F3B8AF99A8B8419 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:03:30] 997*2^1234289-1 is not prime. Res64: 04CD97C52EC63F46 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:24:36] 755*2^1234290-1 is not prime. Res64: 22FCE9A66F04A5B9 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:24:36] 821*2^1234290-1 is not prime. Res64: A6546B135CD9E20C Time : 0.0 sec. user=mdettweiler [2012-11-12 12:24:42] 917*2^1234290-1 is not prime. Res64: 138D64642D4D63E9 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:24:42] 921*2^1234290-1 is not prime. Res64: F660528943CA3357 Time : 0.0 sec. user=juhehe [2012-11-12 12:28:29] 641*2^1234290-1 is not prime. Res64: 109486090575F4E2 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:45:55] 619*2^1234291-1 is not prime. Res64: 4D03DC842C1BF86C Time : 0.0 sec. user=mdettweiler [2012-11-12 12:45:55] 649*2^1234291-1 is not prime. Res64: 6BBBB13CD5325B4F Time : 0.0 sec. user=mdettweiler [2012-11-12 12:45:58] 733*2^1234291-1 is not prime. Res64: 9509F9FB5E25C9E5 Time : 0.0 sec. user=mdettweiler [2012-11-12 12:45:58] 775*2^1234291-1 is not prime. Res64: 072E9C7A21D32878 Time : 0.0 sec. user=juhehe [2012-11-12 13:03:46] 951*2^1234290-1 is not prime. Res64: 843641F0A36FB5C2 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:06:58] 859*2^1234291-1 is not prime. Res64: 4642B0C551ADA662 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:06:59] 979*2^1234291-1 is not prime. Res64: 43A19BB663E05CE8 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:07:02] 633*2^1234292-1 is not prime. Res64: 3BDDB256964E05EA Time : 0.0 sec. user=mdettweiler [2012-11-12 13:07:02] 635*2^1234292-1 is not prime. Res64: 2F07B03CCBBBAF76 Time : 0.0 sec. user=juhehe [2012-11-12 13:10:31] 819*2^1234291-1 is not prime. Res64: 258F3D0BECA1B42A Time : 0.0 sec. user=mdettweiler [2012-11-12 13:28:02] 727*2^1234293-1 is not prime. Res64: 59B31D4E720CDFC7 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:28:03] 747*2^1234293-1 is not prime. Res64: CBDDD97EB1218BCF Time : 0.0 sec. user=mdettweiler [2012-11-12 13:28:07] 847*2^1234293-1 is not prime. Res64: FA806C593A40E7D3 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:28:07] 861*2^1234293-1 is not prime. Res64: 139B4DC26400174B Time : 0.0 sec. user=juhehe [2012-11-12 13:43:26] 759*2^1234292-1 is not prime. Res64: 107489F436152C27 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:49:06] 877*2^1234293-1 is not prime. Res64: A768748DDF2A2C1D Time : 0.0 sec. user=mdettweiler [2012-11-12 13:49:06] 889*2^1234293-1 is not prime. Res64: 93438BD7ACC7302E Time : 0.0 sec. user=mdettweiler [2012-11-12 13:49:10] 927*2^1234293-1 is not prime. Res64: 6112D7B021A81677 Time : 0.0 sec. user=mdettweiler [2012-11-12 13:49:11] 949*2^1234293-1 is not prime. Res64: 8EECB99198AE912B Time : 0.0 sec. user=juhehe [2012-11-12 13:49:46] 871*2^1234293-1 is not prime. Res64: F071E6DAD59E60FF Time : 0.0 sec. user=mdettweiler [2012-11-12 14:10:36] 731*2^1234294-1 is not prime. Res64: 5AADF72C4A40F819 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:10:37] 773*2^1234294-1 is not prime. Res64: C736AEE371959F4F Time : 0.0 sec. user=mdettweiler [2012-11-12 14:10:43] 813*2^1234294-1 is not prime. Res64: 8B49BC35E52EAC63 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:10:44] 887*2^1234294-1 is not prime. Res64: 315ADC9D86621758 Time : 0.0 sec. user=juhehe [2012-11-12 14:20:36] 951*2^1234293-1 is not prime. Res64: 25EE7AA724D59C62 Time : 0.0 sec. user=juhehe [2012-11-12 14:26:45] 945*2^1234294-1 is not prime. Res64: E3572FD88278C647 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:31:57] 651*2^1234295-1 is not prime. Res64: 225DBBA4CE251741 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:31:58] 789*2^1234295-1 is not prime. Res64: E8C4E59EF7D9C104 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:32:00] 829*2^1234295-1 is not prime. Res64: CA2397767C05CD8E Time : 0.0 sec. user=mdettweiler [2012-11-12 14:32:01] 909*2^1234295-1 is not prime. Res64: 6D19F2D59BA6C5B9 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:53:13] 741*2^1234297-1 is not prime. Res64: 9EC80044E673DD82 Time : 0.0 sec. user=mdettweiler [2012-11-12 14:53:13] 747*2^1234297-1 is not prime. Res64: D4B60E9B80A56C2E Time : 0.0 sec. user=mdettweiler [2012-11-12 14:53:15] 775*2^1234297-1 is not prime. Res64: 06552AC0CAD5706C Time : 0.0 sec. user=mdettweiler [2012-11-12 14:53:15] 931*2^1234297-1 is not prime. Res64: 1D59B52DD54E0602 Time : 0.0 sec. user=juhehe [2012-11-12 14:57:35] 949*2^1234295-1 is not prime. Res64: 34435284C97D42B7 Time : 0.0 sec. user=juhehe [2012-11-12 15:03:20] 735*2^1234296-1 is not prime. Res64: 5F201AE1FA488167 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:14:42] 837*2^1234298-1 is not prime. Res64: 44610AC253F0F1E5 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:14:42] 955*2^1234297-1 is not prime. Res64: 449B8858209D9B4A Time : 0.0 sec. user=mdettweiler [2012-11-12 15:14:47] 843*2^1234298-1 is not prime. Res64: 65C56707D0835293 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:14:49] 833*2^1234298-1 is not prime. Res64: CB95D52CD223DBEE Time : 0.0 sec. user=mdettweiler [2012-11-12 15:36:39] 893*2^1234298-1 is not prime. Res64: 3FAE6AA075A58559 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:36:40] 619*2^1234299-1 is not prime. Res64: 8F5AC8A21DACE31E Time : 0.0 sec. user=mdettweiler [2012-11-12 15:36:45] 705*2^1234299-1 is not prime. Res64: EB553771615DE18B Time : 0.0 sec. user=mdettweiler [2012-11-12 15:36:46] 793*2^1234299-1 is not prime. Res64: 0BAFBAE699E46B0E Time : 0.0 sec. user=juhehe [2012-11-12 15:42:26] 857*2^1234298-1 is not prime. Res64: B74B44861BEB84C2 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:58:06] 903*2^1234299-1 is not prime. Res64: D0AB55AC6A83DADA Time : 0.0 sec. user=mdettweiler [2012-11-12 15:58:07] 949*2^1234299-1 is not prime. Res64: 85F83A341C182D04 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:58:11] 979*2^1234299-1 is not prime. Res64: B51E5EC41F0559E4 Time : 0.0 sec. user=mdettweiler [2012-11-12 15:58:11] 985*2^1234299-1 is not prime. Res64: 379D8B28E9F868F7 Time : 0.0 sec. user=juhehe [2012-11-12 16:16:10] 873*2^1234299-1 is not prime. Res64: F2C2CA0A3D36BE89 Time : 0.0 sec. user=mdettweiler [2012-11-12 16:19:32] 717*2^1234300-1 is not prime. Res64: 7EA4A3B1DAED5BB1 Time : 0.0 sec. user=mdettweiler [2012-11-12 16:19:35] 719*2^1234300-1 is not prime. Res64: 90BAEB3FA62F47BA Time : 0.0 sec. user=mdettweiler [2012-11-12 16:19:40] 813*2^1234300-1 is not prime. Res64: AC037421F0A33C4D Time : 0.0 sec. user=mdettweiler [2012-11-12 16:19:44] 833*2^1234300-1 is not prime. Res64: 2EBA23BC4FF11C3A Time : 0.0 sec. user=juhehe [2012-11-12 16:24:33] 693*2^1234300-1 is not prime. Res64: 1C62B101B289F95E Time : 0.0 sec. user=mdettweiler [2012-11-12 16:41:41] 855*2^1234300-1 is not prime. Res64: CB69607579EAD76D Time : 0.0 sec. user=mdettweiler [2012-11-12 16:41:41] 885*2^1234300-1 is not prime. Res64: 8F0A40DC5BA2AAC5 Time : 0.0 sec. user=mdettweiler [2012-11-12 16:41:44] 923*2^1234300-1 is not prime. Res64: C7A4617FAF704D36 Time : 0.0 sec. user=mdettweiler [2012-11-12 16:41:45] 929*2^1234300-1 is not prime. Res64: 5534006C9490865E Time : 0.0 sec. user=mdettweiler [2012-11-12 17:03:00] 885*2^1234301-1 is not prime. Res64: 2F8F1962B7FE65A6 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:03:01] 653*2^1234302-1 is not prime. Res64: 8143C9E3524958C2 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:03:03] 681*2^1234302-1 is not prime. Res64: F76596FFB771670F Time : 0.0 sec. user=mdettweiler [2012-11-12 17:03:05] 683*2^1234302-1 is not prime. Res64: 19CE2E997A933B6B Time : 0.0 sec. user=juhehe [2012-11-12 17:05:01] 645*2^1234301-1 is not prime. Res64: 3DFFD670A4F73468 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:24:25] 755*2^1234302-1 is not prime. Res64: FCC0C141BDFE5953 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:24:25] 615*2^1234303-1 is not prime. Res64: F93483CA4C4C641E Time : 0.0 sec. user=mdettweiler [2012-11-12 17:24:26] 791*2^1234302-1 is not prime. Res64: EB9D1C1B5DD09E89 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:24:27] 639*2^1234303-1 is not prime. Res64: 524AEB3D9834ACBB Time : 0.0 sec. user=juhehe [2012-11-12 17:43:18] 675*2^1234303-1 is not prime. Res64: 8741B59A6D5C438A Time : 0.0 sec. user=mdettweiler [2012-11-12 17:46:16] 679*2^1234303-1 is not prime. Res64: 8B9753AA4DD8DAAE Time : 0.0 sec. user=mdettweiler [2012-11-12 17:46:16] 789*2^1234303-1 is not prime. Res64: 76826F762DE22E57 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:46:17] 705*2^1234303-1 is not prime. Res64: C01C42A8D79C5F20 Time : 0.0 sec. user=mdettweiler [2012-11-12 17:46:17] 831*2^1234303-1 is not prime. Res64: 0CDCD7145738EE44 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:07:57] 803*2^1234304-1 is not prime. Res64: 2FC8A434AFD81E55 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:07:58] 901*2^1234303-1 is not prime. Res64: B26298DD8801F89E Time : 0.0 sec. user=mdettweiler [2012-11-12 18:07:59] 915*2^1234303-1 is not prime. Res64: 88DB82F7426F6380 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:07:59] 875*2^1234304-1 is not prime. Res64: 69437114C3734B49 Time : 0.0 sec. user=juhehe [2012-11-12 18:19:42] 883*2^1234303-1 is not prime. Res64: 427F7CFC17F7213F Time : 0.0 sec. user=mdettweiler [2012-11-12 18:29:20] 959*2^1234304-1 is not prime. Res64: 38A13E1B72530537 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:29:20] 639*2^1234305-1 is not prime. Res64: D847EADF5AEC9C83 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:29:22] 735*2^1234305-1 is not prime. Res64: 557520F33CE8D820 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:29:22] 765*2^1234305-1 is not prime. Res64: FC2EFE7725EC5684 Time : 0.0 sec. user=juhehe [2012-11-12 18:43:57] 935*2^1234304-1 is not prime. Res64: 678D0DB538642CF8 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:50:25] 979*2^1234305-1 is not prime. Res64: 3E7249F2CB4BDE22 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:50:25] 653*2^1234306-1 is not prime. Res64: D1BA792115252B6E Time : 0.0 sec. user=mdettweiler [2012-11-12 18:50:28] 701*2^1234306-1 is not prime. Res64: FDBDDD0978983C32 Time : 0.0 sec. user=mdettweiler [2012-11-12 18:50:28] 945*2^1234306-1 is not prime. Res64: 938A3D815C646597 Time : 0.0 sec. user=juhehe [2012-11-12 18:56:16] 871*2^1234305-1 is not prime. Res64: 2441DA807ECFA911 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:11:33] 971*2^1234306-1 is not prime. Res64: 077178F42B4BD44C Time : 0.0 sec. user=mdettweiler [2012-11-12 19:11:34] 975*2^1234306-1 is not prime. Res64: 17D14AB6F37CBFF1 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:11:34] 663*2^1234307-1 is not prime. Res64: 83A0F8F764567D47 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:11:35] 673*2^1234307-1 is not prime. Res64: 2EC047F1BE50533A Time : 0.0 sec. user=juhehe [2012-11-12 19:32:34] 703*2^1234307-1 is not prime. Res64: A78213C4B1A05763 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:32:43] 781*2^1234307-1 is not prime. Res64: 9CD6F69C81631239 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:32:44] 829*2^1234307-1 is not prime. Res64: DD2C2940E41075CE Time : 0.0 sec. user=mdettweiler [2012-11-12 19:32:45] 963*2^1234307-1 is not prime. Res64: 2612D85D854591FD Time : 0.0 sec. user=mdettweiler [2012-11-12 19:32:45] 985*2^1234307-1 is not prime. Res64: 29A73B2457C2EF39 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:53:49] 839*2^1234308-1 is not prime. Res64: 20FA14082028C711 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:53:49] 707*2^1234308-1 is not prime. Res64: AC0D32A7C955F213 Time : 0.0 sec. user=mdettweiler [2012-11-12 19:53:49] 875*2^1234308-1 is not prime. Res64: C00EA238250A0B6F Time : 0.0 sec. user=mdettweiler [2012-11-12 19:53:49] 797*2^1234308-1 is not prime. Res64: C8C2173BEC575042 Time : 0.0 sec. user=juhehe [2012-11-12 20:08:48] 629*2^1234308-1 is not prime. Res64: 510CDE629EFFAC7B Time : 0.0 sec. user=mdettweiler [2012-11-12 20:15:02] 649*2^1234309-1 is not prime. Res64: 53AD5726B57677D3 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:15:04] 667*2^1234309-1 is not prime. Res64: 19D1810AD525C5C9 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:15:08] 679*2^1234309-1 is not prime. Res64: 08FF45075569C981 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:15:09] 765*2^1234309-1 is not prime. Res64: F6013D2CF38E59D5 Time : 0.0 sec. user=juhehe [2012-11-12 20:29:03] 969*2^1234308-1 is not prime. Res64: 431D6C20B3269D84 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:36:46] 797*2^1234310-1 is not prime. Res64: 3887BE6B92057AD6 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:36:46] 831*2^1234310-1 is not prime. Res64: B2BCD156A85DA281 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:36:49] 953*2^1234310-1 is not prime. Res64: 790532A50F3A7961 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:36:49] 977*2^1234310-1 is not prime. Res64: DF52E233E0A08D15 Time : 0.0 sec. user=juhehe [2012-11-12 20:45:43] 927*2^1234309-1 is not prime. Res64: 9240DC38E33AAF39 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:57:53] 709*2^1234311-1 is not prime. Res64: D2657BC7FC19DAC3 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:57:53] 763*2^1234311-1 is not prime. Res64: 15544A88F40FE435 Time : 0.0 sec. user=mdettweiler [2012-11-12 20:57:55] 781*2^1234311-1 is not prime. Res64: 6ABE0DB0A583F41D Time : 0.0 sec. user=mdettweiler [2012-11-12 20:57:55] 805*2^1234311-1 is not prime. Res64: 5331934AE3791F8E Time : 0.0 sec. user=mdettweiler [2012-11-12 21:18:59] 879*2^1234311-1 is not prime. Res64: 1E6435F836BE2326 Time : 0.0 sec. user=mdettweiler [2012-11-12 21:19:00] 605*2^1234312-1 is not prime. Res64: ED7AEFED70FDECF5 Time : 0.0 sec. user=mdettweiler [2012-11-12 21:19:01] 975*2^1234311-1 is not prime. Res64: 21C76372F7EB1C3E Time : 0.0 sec. user=mdettweiler [2012-11-12 21:19:02] 609*2^1234312-1 is not prime. Res64: 69603C504C996F9A Time : 0.0 sec. user=juhehe [2012-11-12 21:22:17] 859*2^1234311-1 is not prime. Res64: 5BBB9126FA32228B Time : 0.0 sec. user=juhehe [2012-11-12 21:39:49] 693*2^1234312-1 is not prime. Res64: 942FA577B7D6C5E8 Time : 0.0 sec. user=mdettweiler [2012-11-12 21:40:57] 695*2^1234312-1 is not prime. Res64: 6394DDDBB3751480 Time : 0.0 sec. user=mdettweiler [2012-11-12 21:40:57] 827*2^1234312-1 is not prime. Res64: C18C60E2414AF595 Time : 0.0 sec. user=mdettweiler [2012-11-12 21:40:59] 855*2^1234312-1 is not prime. Res64: C0FBBF3F116D1487 Time : 0.0 sec. user=mdettweiler [2012-11-12 21:40:59] 631*2^1234313-1 is not prime. Res64: 54153A636B18E937 Time : 0.0 sec. user=juhehe [2012-11-12 21:58:35] 657*2^1234313-1 is not prime. Res64: 00FECE158E45F3AD Time : 0.0 sec. user=mdettweiler [2012-11-12 22:02:06] 691*2^1234313-1 is not prime. Res64: DAFD487BDA9D5ED4 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:02:07] 937*2^1234313-1 is not prime. Res64: A1E3E4B794B71160 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:02:07] 871*2^1234313-1 is not prime. Res64: 5F68479876CCB526 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:02:07] 939*2^1234313-1 is not prime. Res64: 1D79C8932CCC7D93 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:23:23] 635*2^1234314-1 is not prime. Res64: 42EA8FA88755D942 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:23:24] 641*2^1234314-1 is not prime. Res64: 08FDB2FBC6777E82 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:23:24] 767*2^1234314-1 is not prime. Res64: 737AEFDA691CC99F Time : 0.0 sec. user=mdettweiler [2012-11-12 22:23:24] 905*2^1234314-1 is not prime. Res64: 1A91F66F22051D68 Time : 0.0 sec. user=juhehe [2012-11-12 22:35:01] 957*2^1234313-1 is not prime. Res64: 04FAB1E449AE129E Time : 0.0 sec. user=mdettweiler [2012-11-12 22:44:38] 921*2^1234314-1 is not prime. Res64: 12731199568B23B6 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:44:38] 923*2^1234314-1 is not prime. Res64: C58EEAC0715A80A9 Time : 0.0 sec. user=mdettweiler [2012-11-12 22:44:40] 983*2^1234314-1 is not prime. Res64: D0F8B7B381CB54EF Time : 0.0 sec. user=mdettweiler [2012-11-12 22:44:40] 691*2^1234315-1 is not prime. Res64: 1E432CDD68BE2DA5 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:05:41] 873*2^1234315-1 is not prime. Res64: C95AD349BA9A27DC Time : 0.0 sec. user=mdettweiler [2012-11-12 23:05:43] 951*2^1234315-1 is not prime. Res64: A6215CA3BA8D7C3E Time : 0.0 sec. user=mdettweiler [2012-11-12 23:05:45] 629*2^1234316-1 is not prime. Res64: CB21640FADBF91C2 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:05:46] 669*2^1234316-1 is not prime. Res64: 8118DBF913EEA2B4 Time : 0.0 sec. user=juhehe [2012-11-12 23:11:19] 855*2^1234315-1 is not prime. Res64: C9FE20E8EF2E9155 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:26:52] 893*2^1234316-1 is not prime. Res64: 64C8F884D1FFC4D9 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:26:52] 607*2^1234317-1 is not prime. Res64: 9E812D4D1F157CC0 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:26:53] 683*2^1234316-1 is not prime. Res64: 54F43E1F11484D89 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:26:53] 773*2^1234316-1 is not prime. Res64: 565157D25267530B Time : 0.0 sec. user=juhehe [2012-11-12 23:47:35] 625*2^1234317-1 is not prime. Res64: 5D5DA270F1603EAF Time : 0.0 sec. user=mdettweiler [2012-11-12 23:47:55] 819*2^1234317-1 is not prime. Res64: 0EEBF0BC2E8BA0E7 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:47:55] 871*2^1234317-1 is not prime. Res64: 38C13857D662CCB4 Time : 0.0 sec. user=mdettweiler [2012-11-12 23:47:55] 651*2^1234317-1 is not prime. Res64: AD41963FB4C85FDB Time : 0.0 sec. user=mdettweiler [2012-11-12 23:47:55] 709*2^1234317-1 is not prime. Res64: DEE7A5B48861CA00 Time : 0.0 sec. user=juhehe [2012-11-12 23:59:46] 649*2^1234317-1 is not prime. Res64: 4B2B67C4549324AD Time : 0.0 sec.