user=mdettweiler [2013-03-23 00:06:08] 765*2^1243227-1 is not prime. Res64: 74E423E7AB8664D8 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:06:09] 973*2^1243227-1 is not prime. Res64: 1A5E9BC49BA908D0 Time : 0.0 sec. user=vaughan [2013-03-23 00:11:52] 975*2^1243225-1 is not prime. Res64: 369625FB2B12A177 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:15:05] 819*2^1243228-1 is not prime. Res64: AC3A236A17DEA589 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:15:06] 825*2^1243228-1 is not prime. Res64: 2A33F0C146F0C9F9 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:23:34] 875*2^1243228-1 is not prime. Res64: 10045C7D979A2557 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:23:34] 887*2^1243228-1 is not prime. Res64: 9DD075D559B9A1F9 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:32:30] 615*2^1243229-1 is not prime. Res64: B2ADD6C0FA23FC61 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:32:31] 691*2^1243229-1 is not prime. Res64: 74A7F8D9FC2CF3D5 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:40:59] 741*2^1243229-1 is not prime. Res64: 4A001CE99A10E720 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:40:59] 759*2^1243229-1 is not prime. Res64: F805CD5C6583EF83 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:49:56] 861*2^1243229-1 is not prime. Res64: 68FB16DEE6A9F596 Time : 0.0 sec. user=mdettweiler [2013-03-23 00:49:56] 879*2^1243229-1 is not prime. Res64: B93BE0E1AF158152 Time : 0.0 sec. user=vaughan [2013-03-23 00:50:03] 915*2^1243228-1 is not prime. Res64: BA62F7C9C313E35E Time : 0.0 sec. user=mdettweiler [2013-03-23 00:58:23] 979*2^1243229-1 is not prime. Res64: 85A84B1CEE79A12B Time : 0.0 sec. user=mdettweiler [2013-03-23 00:58:24] 615*2^1243230-1 is not prime. Res64: 8F2DE2D988757559 Time : 0.0 sec. user=juhehe [2013-03-23 00:59:09] 657*2^1243228-1 is not prime. Res64: 87EB6DABE05AB382 Time : 0.0 sec. user=mdettweiler [2013-03-23 01:07:21] 741*2^1243230-1 is not prime. Res64: 4B2D4044F3085AAC Time : 0.0 sec. user=mdettweiler [2013-03-23 01:07:22] 755*2^1243230-1 is not prime. Res64: 9332D77FEAE76F2A Time : 0.0 sec. user=mdettweiler [2013-03-23 01:15:48] 801*2^1243230-1 is not prime. Res64: F2B63D134854CB12 Time : 0.0 sec. user=mdettweiler [2013-03-23 01:15:48] 843*2^1243230-1 is not prime. Res64: 768FF2920E26481B Time : 0.0 sec. user=mdettweiler [2013-03-23 01:24:51] 951*2^1243230-1 is not prime. Res64: F7353DFA633BE799 Time : 0.0 sec. user=mdettweiler [2013-03-23 01:24:51] 615*2^1243231-1 is not prime. Res64: 584887E8F209F0D6 Time : 0.0 sec. user=vaughan [2013-03-23 01:28:15] 791*2^1243230-1 is not prime. Res64: 801F7E7B7077C4FC Time : 0.0 sec. user=mdettweiler [2013-03-23 01:33:13] 663*2^1243231-1 is not prime. Res64: D11F7A7890B2152D Time : 0.0 sec. user=mdettweiler [2013-03-23 01:33:14] 673*2^1243231-1 is not prime. Res64: A0F28555EDEBA64A Time : 0.0 sec. user=mdettweiler [2013-03-23 01:42:15] 741*2^1243231-1 is not prime. Res64: FAD34E8851D4E2BB Time : 0.0 sec. user=mdettweiler [2013-03-23 01:42:16] 933*2^1243231-1 is not prime. Res64: F43E12A923293BC4 Time : 0.0 sec. user=mdettweiler [2013-03-23 01:50:38] 755*2^1243232-1 is not prime. Res64: 6D447976AFD7A17A Time : 0.0 sec. user=mdettweiler [2013-03-23 01:50:38] 855*2^1243232-1 is not prime. Res64: 040BA75A3CD47781 Time : 0.0 sec. user=mdettweiler [2013-03-23 01:59:40] 829*2^1243233-1 is not prime. Res64: 17F6AAEFACE06168 Time : 0.0 sec. user=mdettweiler [2013-03-23 01:59:41] 605*2^1243234-1 is not prime. Res64: 20149099F323DF3E Time : 0.0 sec. user=juhehe [2013-03-23 02:05:43] 891*2^1243230-1 is not prime. Res64: 3CBCA1E83E59F316 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:08:05] 611*2^1243234-1 is not prime. Res64: A5D03A5A52E51326 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:08:05] 633*2^1243234-1 is not prime. Res64: 11D18DACC4D55416 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:17:05] 665*2^1243234-1 is not prime. Res64: EB65B5AC29CE0E98 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:17:06] 675*2^1243234-1 is not prime. Res64: 7475F97A368789EA Time : 0.0 sec. user=mdettweiler [2013-03-23 02:25:30] 983*2^1243234-1 is not prime. Res64: 116DF0BB132D67B3 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:25:31] 619*2^1243235-1 is not prime. Res64: 08D52F9526AA5C8A Time : 0.0 sec. user=mdettweiler [2013-03-23 02:34:30] 685*2^1243235-1 is not prime. Res64: 52FA382BB44BB775 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:34:32] 705*2^1243235-1 is not prime. Res64: 09EDD34DBC7715A1 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:42:57] 843*2^1243235-1 is not prime. Res64: 0AFDA1AB1A725E6A Time : 0.0 sec. user=mdettweiler [2013-03-23 02:42:58] 963*2^1243235-1 is not prime. Res64: 12C18D4FC3CB647C Time : 0.0 sec. user=mdettweiler [2013-03-23 02:51:57] 973*2^1243235-1 is not prime. Res64: 9D26FD77E7958D47 Time : 0.0 sec. user=mdettweiler [2013-03-23 02:51:58] 981*2^1243235-1 is not prime. Res64: C10896D995264E99 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:00:35] 647*2^1243236-1 is not prime. Res64: 257626C9D4AA8BB4 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:00:36] 695*2^1243236-1 is not prime. Res64: 649E05FDD030BCA5 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:09:22] 809*2^1243236-1 is not prime. Res64: 4CC348A7004679F8 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:09:23] 839*2^1243236-1 is not prime. Res64: 3DE1B29617F803C1 Time : 0.0 sec. user=juhehe [2013-03-23 03:12:55] 971*2^1243234-1 is not prime. Res64: 8E03AFF40D6EF7C8 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:18:14] 879*2^1243236-1 is not prime. Res64: 5EEEF7C5500F3FC7 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:18:15] 999*2^1243236-1 is not prime. Res64: 4C2751D66695CBAA Time : 0.0 sec. user=mdettweiler [2013-03-23 03:26:48] 625*2^1243237-1 is not prime. Res64: 81FEE7BC87E6367E Time : 0.0 sec. user=mdettweiler [2013-03-23 03:26:48] 897*2^1243237-1 is not prime. Res64: 240287782797A7BD Time : 0.0 sec. user=mdettweiler [2013-03-23 03:35:40] 707*2^1243238-1 is not prime. Res64: 76024B3C20D3E9D0 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:35:41] 773*2^1243238-1 is not prime. Res64: 4210A13CB17DF5F5 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:44:13] 791*2^1243238-1 is not prime. Res64: A7236872F2E85B3D Time : 0.0 sec. user=mdettweiler [2013-03-23 03:44:13] 945*2^1243238-1 is not prime. Res64: D1C5D6357E1805F4 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:53:12] 661*2^1243239-1 is not prime. Res64: 235D3E386A1DC660 Time : 0.0 sec. user=mdettweiler [2013-03-23 03:53:13] 663*2^1243239-1 is not prime. Res64: 9B7304EE05432315 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:01:38] 685*2^1243239-1 is not prime. Res64: 21E6FDFCE7EDE497 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:01:40] 705*2^1243239-1 is not prime. Res64: 911ED9A3B6A8C250 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:10:37] 795*2^1243239-1 is not prime. Res64: 45BCB2C4F3F63417 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:10:38] 861*2^1243239-1 is not prime. Res64: 93BD84CE1767BD27 Time : 0.0 sec. user=juhehe [2013-03-23 04:12:15] 619*2^1243237-1 is not prime. Res64: 91A61AE6CEE010F9 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:19:26] 913*2^1243239-1 is not prime. Res64: 1044C6938E16F181 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:19:27] 961*2^1243239-1 is not prime. Res64: A5C17F7BA37BBA0F Time : 0.0 sec. user=mdettweiler [2013-03-23 04:28:06] 665*2^1243240-1 is not prime. Res64: 5F13A7C498643E56 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:28:07] 689*2^1243240-1 is not prime. Res64: 581D652C220E63EC Time : 0.0 sec. user=mdettweiler [2013-03-23 04:36:52] 933*2^1243240-1 is not prime. Res64: DC6B9EFFC5B898D3 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:36:53] 727*2^1243241-1 is not prime. Res64: 112A10F51585CB45 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:45:32] 811*2^1243241-1 is not prime. Res64: 34BD235DB7B14B88 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:45:33] 865*2^1243241-1 is not prime. Res64: 3F0711C8E8130C18 Time : 0.0 sec. user=mdettweiler [2013-03-23 04:54:18] 879*2^1243241-1 is not prime. Res64: 27A56DF5612876EF Time : 0.0 sec. user=mdettweiler [2013-03-23 04:54:19] 885*2^1243241-1 is not prime. Res64: DD152366F6C5A4E7 Time : 0.0 sec. user=mdettweiler [2013-03-23 05:03:00] 657*2^1243242-1 is not prime. Res64: 606FE06E8586C76B Time : 0.0 sec. user=mdettweiler [2013-03-23 05:03:01] 717*2^1243242-1 is not prime. Res64: 34259B4DC27CF5FF Time : 0.0 sec. user=mdettweiler [2013-03-23 05:11:44] 673*2^1243243-1 is not prime. Res64: 3F912EEEF733CF5B Time : 0.0 sec. user=mdettweiler [2013-03-23 05:11:44] 745*2^1243243-1 is not prime. Res64: 8BEA002D0D543B2B Time : 0.0 sec. user=juhehe [2013-03-23 05:19:03] 845*2^1243240-1 is not prime. Res64: F6FAF53143E02B3A Time : 0.0 sec. user=mdettweiler [2013-03-23 05:20:30] 805*2^1243243-1 is not prime. Res64: 6D38253B46C28B9C Time : 0.0 sec. user=mdettweiler [2013-03-23 05:20:30] 849*2^1243243-1 is not prime. Res64: 79FF91274F1EF757 Time : 0.0 sec. user=mdettweiler [2013-03-23 05:29:09] 861*2^1243243-1 is not prime. Res64: 861042F60E559821 Time : 0.0 sec. user=mdettweiler [2013-03-23 05:29:09] 939*2^1243243-1 is not prime. Res64: 763DE6789324305E Time : 0.0 sec. user=mdettweiler [2013-03-23 05:37:55] 617*2^1243244-1 is not prime. Res64: D8ADE669EB9EA6EC Time : 0.0 sec. user=mdettweiler [2013-03-23 05:37:56] 635*2^1243244-1 is not prime. Res64: B3EE6E3F9232E834 Time : 0.0 sec. user=mdettweiler [2013-03-23 05:46:35] 743*2^1243244-1 is not prime. Res64: 0EF330C6878D120E Time : 0.0 sec. user=mdettweiler [2013-03-23 05:46:35] 827*2^1243244-1 is not prime. Res64: B3ABBBDE8434EBAC Time : 0.0 sec. user=mdettweiler [2013-03-23 05:55:21] 915*2^1243244-1 is not prime. Res64: A074E8AA10A50F9E Time : 0.0 sec. user=mdettweiler [2013-03-23 05:55:22] 923*2^1243244-1 is not prime. Res64: 8C2F6E19CB4D0A0C Time : 0.0 sec. user=mdettweiler [2013-03-23 06:04:01] 983*2^1243244-1 is not prime. Res64: 11AB230057A61FA0 Time : 0.0 sec. user=mdettweiler [2013-03-23 06:04:02] 607*2^1243245-1 is not prime. Res64: 48E751A272CE2D3F Time : 0.0 sec. user=mdettweiler [2013-03-23 06:12:47] 735*2^1243245-1 is not prime. Res64: 1DEE7E8A9B83D6A1 Time : 0.0 sec. user=mdettweiler [2013-03-23 06:12:48] 795*2^1243245-1 is not prime. Res64: 7B0E0CDFBEA73361 Time : 0.0 sec. user=mdettweiler [2013-03-23 06:21:27] 825*2^1243245-1 is not prime. Res64: 65E8CF72B9D55A88 Time : 0.0 sec. user=mdettweiler [2013-03-23 06:21:28] 895*2^1243245-1 is not prime. Res64: A22FF2E765A0E460 Time : 0.0 sec. user=juhehe [2013-03-23 06:26:14] 951*2^1243243-1 is not prime. Res64: FFC9EB501E23B607 Time : 0.0 sec. user=mdettweiler [2013-03-23 06:30:14] 737*2^1243246-1 is not prime. Res64: 64FDFD303985A78C Time : 0.0 sec. user=mdettweiler [2013-03-23 06:30:14] 741*2^1243246-1 is not prime. Res64: 71CD234794B10E5D Time : 0.0 sec. user=mdettweiler [2013-03-23 06:38:53] 815*2^1243246-1 is not prime. Res64: 2EB7674E9494B28B Time : 0.0 sec. user=mdettweiler [2013-03-23 06:38:54] 873*2^1243246-1 is not prime. Res64: D7CB5CFEB101B6CC Time : 0.0 sec. user=mdettweiler [2013-03-23 06:47:39] 917*2^1243246-1 is not prime. Res64: ABD4681E8CCDC93A Time : 0.0 sec. user=mdettweiler [2013-03-23 06:47:40] 941*2^1243246-1 is not prime. Res64: 068D6AC753DC09E7 Time : 0.0 sec. user=mdettweiler [2013-03-23 06:56:18] 643*2^1243247-1 is not prime. Res64: 98EE13C6F3B1EE5E Time : 0.0 sec. user=mdettweiler [2013-03-23 06:56:18] 651*2^1243247-1 is not prime. Res64: DECA3626F7FAFA4E Time : 0.0 sec. user=mdettweiler [2013-03-23 07:05:05] 735*2^1243247-1 is not prime. Res64: 9D9A451385262BD4 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:05:06] 841*2^1243247-1 is not prime. Res64: 747060A1948F5401 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:13:43] 883*2^1243247-1 is not prime. Res64: 0603B33308B1483F Time : 0.0 sec. user=mdettweiler [2013-03-23 07:13:43] 913*2^1243247-1 is not prime. Res64: 14F7F37AA52A5A8B Time : 0.0 sec. user=mdettweiler [2013-03-23 07:22:32] 973*2^1243247-1 is not prime. Res64: A75272BBCAC2D219 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:22:33] 635*2^1243248-1 is not prime. Res64: 70F7428F1330EAF6 Time : 0.0 sec. user=juhehe [2013-03-23 07:25:45] 777*2^1243246-1 is not prime. Res64: C7378A6975E223E1 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:31:08] 723*2^1243248-1 is not prime. Res64: CD7E334961A52B4E Time : 0.0 sec. user=mdettweiler [2013-03-23 07:31:09] 737*2^1243248-1 is not prime. Res64: 4BC1CA50FC575435 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:39:58] 799*2^1243249-1 is not prime. Res64: DD5F49ADBC274374 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:39:59] 835*2^1243249-1 is not prime. Res64: 53F30D0BA3F91D30 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:48:34] 925*2^1243249-1 is not prime. Res64: F713A51B9185B4AE Time : 0.0 sec. user=mdettweiler [2013-03-23 07:48:34] 713*2^1243250-1 is not prime. Res64: 6FBF24D6117249B0 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:57:23] 785*2^1243250-1 is not prime. Res64: 06D038AB70EB4419 Time : 0.0 sec. user=mdettweiler [2013-03-23 07:57:24] 887*2^1243250-1 is not prime. Res64: 2787AB09257DC71B Time : 0.0 sec. user=mdettweiler [2013-03-23 08:05:59] 893*2^1243250-1 is not prime. Res64: 743EEBD546B412E2 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:06:00] 911*2^1243250-1 is not prime. Res64: 85D7EBEAD4A4D786 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:14:49] 643*2^1243251-1 is not prime. Res64: F4EFD11DC6FD5F10 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:14:49] 669*2^1243251-1 is not prime. Res64: 033D2043ACF5DDA2 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:23:25] 769*2^1243251-1 is not prime. Res64: 83673097A5310E71 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:23:26] 789*2^1243251-1 is not prime. Res64: DA10EDEE1B414754 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:32:16] 951*2^1243251-1 is not prime. Res64: F73F9AF8AB62EF2E Time : 0.0 sec. user=mdettweiler [2013-03-23 08:32:17] 629*2^1243252-1 is not prime. Res64: BC4D24E4F9D82B55 Time : 0.0 sec. user=juhehe [2013-03-23 08:32:29] 841*2^1243249-1 is not prime. Res64: 22D9DDD9B7C1E876 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:40:50] 777*2^1243252-1 is not prime. Res64: 2FCE806BF3A152E2 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:40:51] 785*2^1243252-1 is not prime. Res64: 9A26110ADB024D3F Time : 0.0 sec. user=mdettweiler [2013-03-23 08:49:42] 989*2^1243252-1 is not prime. Res64: 86A06C319E7E09E8 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:49:43] 627*2^1243253-1 is not prime. Res64: 7E0CC1D3A614A72B Time : 0.0 sec. user=mdettweiler [2013-03-23 08:58:16] 721*2^1243253-1 is not prime. Res64: 19A03EB63B0B93C4 Time : 0.0 sec. user=mdettweiler [2013-03-23 08:58:16] 727*2^1243253-1 is not prime. Res64: 043E84F69D9C7FD1 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:07:07] 745*2^1243253-1 is not prime. Res64: 22D70BE02C5DC216 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:07:08] 781*2^1243253-1 is not prime. Res64: FC06123E1A624F7C Time : 0.0 sec. user=mdettweiler [2013-03-23 09:15:41] 951*2^1243253-1 is not prime. Res64: 11F3219A167F35B0 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:15:41] 991*2^1243253-1 is not prime. Res64: B91E74C8D3720673 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:24:36] 765*2^1243254-1 is not prime. Res64: 451E4EAA1E6AD0BC Time : 0.0 sec. user=mdettweiler [2013-03-23 09:24:36] 783*2^1243254-1 is not prime. Res64: 43ECAD3C2866E5FE Time : 0.0 sec. user=vaughan [2013-03-23 09:27:21] 951*2^1243231-1 is not prime. Res64: F280EBA97BC62FE2 Time : 0.0 sec. user=juhehe [2013-03-23 09:32:07] 933*2^1243252-1 is not prime. Res64: 65564D59E617ACF2 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:33:06] 791*2^1243254-1 is not prime. Res64: 03709D41E11F2DFD Time : 0.0 sec. user=mdettweiler [2013-03-23 09:33:07] 891*2^1243254-1 is not prime. Res64: B08C7E37B8507DED Time : 0.0 sec. user=mdettweiler [2013-03-23 09:42:02] 927*2^1243254-1 is not prime. Res64: 1B17B8C2AF1FC0F4 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:42:03] 619*2^1243255-1 is not prime. Res64: 1E3EFE16186938EE Time : 0.0 sec. user=mdettweiler [2013-03-23 09:50:31] 775*2^1243255-1 is not prime. Res64: 9417D0C426A92699 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:50:32] 805*2^1243255-1 is not prime. Res64: AD4ED34745F754F6 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:59:27] 961*2^1243255-1 is not prime. Res64: E4ED19EB64414A10 Time : 0.0 sec. user=mdettweiler [2013-03-23 09:59:28] 973*2^1243255-1 is not prime. Res64: DB976EE43B1F08A8 Time : 0.0 sec. user=vaughan [2013-03-23 10:05:33] 759*2^1243255-1 is not prime. Res64: D0B7B32B9733C72C Time : 0.0 sec. user=mdettweiler [2013-03-23 10:07:57] 615*2^1243256-1 is not prime. Res64: 742C706440550389 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:07:58] 629*2^1243256-1 is not prime. Res64: 8D0B321ACF9BFD21 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:16:53] 717*2^1243256-1 is not prime. Res64: 3A824557D13D6D97 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:16:54] 735*2^1243256-1 is not prime. Res64: 284D930371588CDE Time : 0.0 sec. user=mdettweiler [2013-03-23 10:25:24] 827*2^1243256-1 is not prime. Res64: 904DD07505A0DCCD Time : 0.0 sec. user=mdettweiler [2013-03-23 10:25:24] 661*2^1243257-1 is not prime. Res64: 5DEAD8FF96E22B43 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:34:19] 739*2^1243257-1 is not prime. Res64: F7CC90E5A115A823 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:34:20] 747*2^1243257-1 is not prime. Res64: 06CD8EFD746DADDA Time : 0.0 sec. user=juhehe [2013-03-23 10:39:14] 829*2^1243255-1 is not prime. Res64: FD4BE0381FC6AF14 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:42:50] 849*2^1243257-1 is not prime. Res64: 7E97434F646B14A4 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:42:51] 871*2^1243257-1 is not prime. Res64: 2FCD2D5E7BB73EE9 Time : 0.0 sec. user=vaughan [2013-03-23 10:43:47] 825*2^1243256-1 is not prime. Res64: 1DB3F84B1CCF73D3 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:51:45] 621*2^1243258-1 is not prime. Res64: 8823632ABD9E8A88 Time : 0.0 sec. user=mdettweiler [2013-03-23 10:51:46] 665*2^1243258-1 is not prime. Res64: 1AA2E3A36646A785 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:00:16] 695*2^1243258-1 is not prime. Res64: 19DE7C8718351A86 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:00:17] 737*2^1243258-1 is not prime. Res64: 5D52D96D8C0C62DA Time : 0.0 sec. user=mdettweiler [2013-03-23 11:09:11] 831*2^1243258-1 is not prime. Res64: 445E83B5147AFB50 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:09:12] 861*2^1243258-1 is not prime. Res64: B2A113F62ED125B2 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:17:43] 885*2^1243258-1 is not prime. Res64: BD316CACBC9D4B65 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:17:43] 887*2^1243258-1 is not prime. Res64: 29FCA09BB7E32E34 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:26:44] 923*2^1243258-1 is not prime. Res64: 2EF023150F09B775 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:26:45] 945*2^1243258-1 is not prime. Res64: AD70AED7D4CD51CE Time : 0.0 sec. user=mdettweiler [2013-03-23 11:35:08] 645*2^1243259-1 is not prime. Res64: AFE945DC6E8713FF Time : 0.0 sec. user=mdettweiler [2013-03-23 11:35:09] 733*2^1243259-1 is not prime. Res64: 8C273D5D77F78AD5 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:44:10] 843*2^1243259-1 is not prime. Res64: 7968B2EBC5CD9970 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:44:10] 653*2^1243260-1 is not prime. Res64: 7A04242541C0E4EB Time : 0.0 sec. user=juhehe [2013-03-23 11:45:42] 991*2^1243257-1 is not prime. Res64: 547953B1796DE5CF Time : 0.0 sec. user=mdettweiler [2013-03-23 11:52:34] 819*2^1243260-1 is not prime. Res64: 67E54DA64FB9FA84 Time : 0.0 sec. user=mdettweiler [2013-03-23 11:52:34] 909*2^1243260-1 is not prime. Res64: F675CC23EFEBB3E4 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:01:35] 687*2^1243261-1 is not prime. Res64: 24566E6910064474 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:01:37] 745*2^1243261-1 is not prime. Res64: 3DD3EF4DC2F79017 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:09:58] 805*2^1243261-1 is not prime. Res64: 0EAC102BC6711985 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:10:00] 855*2^1243261-1 is not prime. Res64: B05E94BB81F9C384 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:19:24] 871*2^1243261-1 is not prime. Res64: 72CCEFEE73BB9E91 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:19:24] 901*2^1243261-1 is not prime. Res64: 544C7CE2487A1B21 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:27:27] 617*2^1243262-1 is not prime. Res64: A8CDF41819DD80D9 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:27:27] 623*2^1243262-1 is not prime. Res64: 84C20DB61E0FC285 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:36:49] 711*2^1243262-1 is not prime. Res64: C68D84BCEFBF6473 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:36:50] 797*2^1243262-1 is not prime. Res64: 34C35B978944B91C Time : 0.0 sec. user=mdettweiler [2013-03-23 12:44:52] 813*2^1243262-1 is not prime. Res64: 00CEAE98A63901F8 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:44:52] 873*2^1243262-1 is not prime. Res64: F2987A91A1E46DA7 Time : 0.0 sec. user=juhehe [2013-03-23 12:46:02] 609*2^1243261-1 is not prime. Res64: 2D7AC815256D7DAD Time : 0.0 sec. user=mdettweiler [2013-03-23 12:54:16] 977*2^1243262-1 is not prime. Res64: 226819AF0AAD8130 Time : 0.0 sec. user=mdettweiler [2013-03-23 12:54:16] 981*2^1243262-1 is not prime. Res64: B7FA8D301F4FE946 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:02:17] 679*2^1243263-1 is not prime. Res64: 7560B6F89A8A7BB1 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:02:18] 781*2^1243263-1 is not prime. Res64: A3BE0FA141CA84BB Time : 0.0 sec. user=mdettweiler [2013-03-23 13:11:41] 825*2^1243263-1 is not prime. Res64: AB178FAF4F767F53 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:11:42] 919*2^1243263-1 is not prime. Res64: 78A7CB54FFE0F027 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:19:44] 635*2^1243264-1 is not prime. Res64: 56096657196E3269 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:19:45] 759*2^1243264-1 is not prime. Res64: B1BA993CCA784A5F Time : 0.0 sec. user=mdettweiler [2013-03-23 13:29:17] 803*2^1243264-1 is not prime. Res64: AD43B5927E044DE9 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:29:18] 819*2^1243264-1 is not prime. Res64: 19E1046F6AEA1F6C Time : 0.0 sec. user=mdettweiler [2013-03-23 13:37:22] 887*2^1243264-1 is not prime. Res64: 2147A175674FBCCC Time : 0.0 sec. user=mdettweiler [2013-03-23 13:37:23] 915*2^1243264-1 is not prime. Res64: 956BFCEBFED52A31 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:47:36] 627*2^1243265-1 is not prime. Res64: 4D7FB1D29192962E Time : 0.0 sec. user=mdettweiler [2013-03-23 13:47:37] 717*2^1243265-1 is not prime. Res64: 114C8628CF13546E Time : 0.0 sec. user=juhehe [2013-03-23 13:52:20] 793*2^1243263-1 is not prime. Res64: 743014A060195B4B Time : 0.0 sec. user=mdettweiler [2013-03-23 13:56:38] 775*2^1243265-1 is not prime. Res64: B92D59601B099347 Time : 0.0 sec. user=mdettweiler [2013-03-23 13:56:38] 781*2^1243265-1 is not prime. Res64: C1C642BE54C16BD9 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:06:22] 789*2^1243265-1 is not prime. Res64: BDF7C010808ED8E4 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:06:23] 811*2^1243265-1 is not prime. Res64: 1590A4AC4D424FC8 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:14:59] 837*2^1243265-1 is not prime. Res64: 3D8658F9F4EAF71D Time : 0.0 sec. user=mdettweiler [2013-03-23 14:14:59] 861*2^1243265-1 is not prime. Res64: 3063828E96483EEC Time : 0.0 sec. user=mdettweiler [2013-03-23 14:23:57] 865*2^1243265-1 is not prime. Res64: 372D98535C224378 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:23:57] 951*2^1243265-1 is not prime. Res64: 51CEE3970A13F8EB Time : 0.0 sec. user=mdettweiler [2013-03-23 14:32:34] 979*2^1243265-1 is not prime. Res64: E2EBDB25115A97EE Time : 0.0 sec. user=mdettweiler [2013-03-23 14:32:34] 981*2^1243265-1 is not prime. Res64: 609C779EF6A94108 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:41:27] 653*2^1243266-1 is not prime. Res64: BE7478AE02E7D2DA Time : 0.0 sec. user=mdettweiler [2013-03-23 14:41:28] 671*2^1243266-1 is not prime. Res64: 02E5828C45B5D63E Time : 0.0 sec. user=mdettweiler [2013-03-23 14:50:04] 735*2^1243266-1 is not prime. Res64: BBB2FFFC5543F887 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:50:04] 755*2^1243266-1 is not prime. Res64: 94B0F4CAA623A82C Time : 0.0 sec. user=juhehe [2013-03-23 14:53:09] 787*2^1243265-1 is not prime. Res64: 4E2D84F1512886D2 Time : 0.0 sec. user=mdettweiler [2013-03-23 14:58:56] 821*2^1243266-1 is not prime. Res64: 8DF3321A58D834FA Time : 0.0 sec. user=mdettweiler [2013-03-23 14:58:57] 881*2^1243266-1 is not prime. Res64: 68F36938883290D7 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:07:37] 609*2^1243267-1 is not prime. Res64: 804A210DBB07DB73 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:07:38] 645*2^1243267-1 is not prime. Res64: EFC6B90FED154D05 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:16:26] 919*2^1243267-1 is not prime. Res64: 423A69B1B5154BB7 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:16:26] 925*2^1243267-1 is not prime. Res64: C22E50A7D27CE27D Time : 0.0 sec. user=mdettweiler [2013-03-23 15:25:11] 615*2^1243268-1 is not prime. Res64: 23BF07BDC198E297 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:25:12] 647*2^1243268-1 is not prime. Res64: 054222A35086B777 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:33:55] 699*2^1243268-1 is not prime. Res64: 8F2BE1FCF8603BA9 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:33:56] 825*2^1243268-1 is not prime. Res64: 565359633FE262D8 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:42:41] 867*2^1243268-1 is not prime. Res64: EB84052ABA38A2CC Time : 0.0 sec. user=mdettweiler [2013-03-23 15:42:42] 875*2^1243268-1 is not prime. Res64: 1B1C64E9369E1313 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:51:25] 959*2^1243268-1 is not prime. Res64: 40188AB81E0BC944 Time : 0.0 sec. user=mdettweiler [2013-03-23 15:51:26] 963*2^1243268-1 is not prime. Res64: 2CBEA4E24AB794AE Time : 0.0 sec. user=juhehe [2013-03-23 15:59:03] 765*2^1243267-1 is not prime. Res64: 5B0609537DACB3F0 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:00:12] 655*2^1243269-1 is not prime. Res64: 38216898F1FA6834 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:00:13] 747*2^1243269-1 is not prime. Res64: D39E418A84BB31D3 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:08:55] 787*2^1243269-1 is not prime. Res64: CB05D018391EE70C Time : 0.0 sec. user=mdettweiler [2013-03-23 16:08:56] 831*2^1243269-1 is not prime. Res64: F8FBF37CC675AD0F Time : 0.0 sec. user=mdettweiler [2013-03-23 16:17:43] 985*2^1243269-1 is not prime. Res64: E8F0EBF22A597A17 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:17:44] 635*2^1243270-1 is not prime. Res64: 60B5FBABC8AA3A21 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:26:27] 761*2^1243270-1 is not prime. Res64: 9CFDB011E76478F8 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:26:28] 773*2^1243270-1 is not prime. Res64: 77417CB3A7791EB0 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:35:14] 785*2^1243270-1 is not prime. Res64: 4980B826C7F7D027 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:35:15] 827*2^1243270-1 is not prime. Res64: 6A93DC7CBDE0B263 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:43:56] 857*2^1243270-1 is not prime. Res64: 2ABBF26CBF72B4B5 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:43:57] 917*2^1243270-1 is not prime. Res64: 2E978BA3AD6ED088 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:52:44] 711*2^1243271-1 is not prime. Res64: 538321E902070890 Time : 0.0 sec. user=mdettweiler [2013-03-23 16:52:45] 811*2^1243271-1 is not prime. Res64: 004EDE8E2ABBBA5A Time : 0.0 sec. user=juhehe [2013-03-23 16:58:54] 867*2^1243269-1 is not prime. Res64: BECB1B2F377797B8 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:01:27] 819*2^1243271-1 is not prime. Res64: 81DA48F1FCF61559 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:01:28] 879*2^1243271-1 is not prime. Res64: C48FCE710A171267 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:10:13] 991*2^1243271-1 is not prime. Res64: 36E1BB4DD9980B56 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:10:14] 759*2^1243272-1 is not prime. Res64: BAE2936F53C16B62 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:18:59] 729*2^1243273-1 is not prime. Res64: 42E43D5C0ED67CB7 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:19:00] 817*2^1243273-1 is not prime. Res64: 7780141E3EAF708D Time : 0.0 sec. user=mdettweiler [2013-03-23 17:27:47] 831*2^1243273-1 is not prime. Res64: C2953B17835605A5 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:27:47] 987*2^1243273-1 is not prime. Res64: 9E4250D34E4A2155 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:36:29] 641*2^1243274-1 is not prime. Res64: 7122CBA70B518777 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:36:30] 675*2^1243274-1 is not prime. Res64: 81995119ECB463CA Time : 0.0 sec. user=mdettweiler [2013-03-23 17:45:17] 711*2^1243274-1 is not prime. Res64: 58D00BB5FADE3B70 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:45:17] 815*2^1243274-1 is not prime. Res64: 8EC270187AD41892 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:54:02] 917*2^1243274-1 is not prime. Res64: 9818ABCBB38FC6F7 Time : 0.0 sec. user=mdettweiler [2013-03-23 17:54:03] 951*2^1243274-1 is not prime. Res64: CEBBBC523624919A Time : 0.0 sec. user=mdettweiler [2013-03-23 18:02:55] 649*2^1243275-1 is not prime. Res64: A7C3E24A4EA81EDA Time : 0.0 sec. user=mdettweiler [2013-03-23 18:02:56] 709*2^1243275-1 is not prime. Res64: 8B84513C441D4952 Time : 0.0 sec. user=juhehe [2013-03-23 18:04:33] 915*2^1243272-1 is not prime. Res64: 8CD4542DF69988A7 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:11:40] 735*2^1243275-1 is not prime. Res64: 17C3CE1D8F4A6F7F Time : 0.0 sec. user=mdettweiler [2013-03-23 18:11:41] 739*2^1243275-1 is not prime. Res64: 84FAB8F0AC3ACD93 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:20:35] 861*2^1243275-1 is not prime. Res64: E48D3D421E774313 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:20:35] 603*2^1243276-1 is not prime. Res64: AA783ABBA3D11530 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:29:18] 705*2^1243276-1 is not prime. Res64: 31514B6AEDCFD218 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:29:18] 723*2^1243276-1 is not prime. Res64: 6195BFF3B0958229 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:38:13] 755*2^1243276-1 is not prime. Res64: 0A68A36B137C111C Time : 0.0 sec. user=mdettweiler [2013-03-23 18:38:14] 785*2^1243276-1 is not prime. Res64: FBE8D7B8A1211510 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:46:57] 825*2^1243276-1 is not prime. Res64: 9EA9F235A61F8E4D Time : 0.0 sec. user=mdettweiler [2013-03-23 18:46:57] 903*2^1243276-1 is not prime. Res64: F6A6625D98D613D0 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:55:52] 965*2^1243276-1 is not prime. Res64: E4828499407DD891 Time : 0.0 sec. user=mdettweiler [2013-03-23 18:55:53] 619*2^1243277-1 is not prime. Res64: 51AC3D376A3E4D37 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:04:35] 777*2^1243277-1 is not prime. Res64: 0BD870833E244C44 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:04:36] 829*2^1243277-1 is not prime. Res64: E7C386C93026B8E9 Time : 0.0 sec. user=juhehe [2013-03-23 19:05:32] 789*2^1243275-1 is not prime. Res64: 37E73C98E6211237 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:13:30] 865*2^1243277-1 is not prime. Res64: 289FD6F444B0086E Time : 0.0 sec. user=mdettweiler [2013-03-23 19:13:31] 651*2^1243278-1 is not prime. Res64: 21EA13EBAD954013 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:22:10] 681*2^1243278-1 is not prime. Res64: 2415C6AB776043B9 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:22:11] 711*2^1243278-1 is not prime. Res64: 81259AF13C914995 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:31:05] 833*2^1243278-1 is not prime. Res64: 84EE5C629DEFA66B Time : 0.0 sec. user=mdettweiler [2013-03-23 19:31:06] 893*2^1243278-1 is not prime. Res64: E25B11568A8017D7 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:39:43] 639*2^1243279-1 is not prime. Res64: EAB4E8FC37BEDF34 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:39:44] 883*2^1243279-1 is not prime. Res64: E66AF67506A7715C Time : 0.0 sec. user=mdettweiler [2013-03-23 19:48:39] 975*2^1243279-1 is not prime. Res64: 0A28EC8526F840B2 Time : 0.0 sec. user=mdettweiler [2013-03-23 19:48:39] 603*2^1243280-1 is not prime. Res64: 1DC76CDE19A756BB Time : 0.0 sec. user=mdettweiler [2013-03-23 19:57:17] 609*2^1243280-1 is not prime. Res64: 113D01097F1DF43A Time : 0.0 sec. user=mdettweiler [2013-03-23 19:57:17] 717*2^1243280-1 is not prime. Res64: 4E1A51AD4BFC39A3 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:06:12] 797*2^1243280-1 is not prime. Res64: F6CB50669BE4EE41 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:06:14] 875*2^1243280-1 is not prime. Res64: 765C09A525981DD0 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:14:50] 995*2^1243280-1 is not prime. Res64: 424ED2FE29BB062A Time : 0.0 sec. user=mdettweiler [2013-03-23 20:14:51] 625*2^1243281-1 is not prime. Res64: C478005365C7862C Time : 0.0 sec. user=mdettweiler [2013-03-23 20:23:49] 679*2^1243281-1 is not prime. Res64: 04E60C248A03FAE9 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:23:49] 781*2^1243281-1 is not prime. Res64: 688D9B7BE963E569 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:32:24] 979*2^1243281-1 is not prime. Res64: F377903D2862D057 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:32:25] 617*2^1243282-1 is not prime. Res64: C2A24177BF72D145 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:41:23] 777*2^1243282-1 is not prime. Res64: A3EDBBC52E596473 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:41:24] 801*2^1243282-1 is not prime. Res64: 80C11D15CA8ADA1F Time : 0.0 sec. user=mdettweiler [2013-03-23 20:49:58] 827*2^1243282-1 is not prime. Res64: 95E4C43D5C783A35 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:49:58] 609*2^1243283-1 is not prime. Res64: 23B368B57E9857F1 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:58:57] 705*2^1243283-1 is not prime. Res64: 543119ACC1358442 Time : 0.0 sec. user=mdettweiler [2013-03-23 20:58:57] 753*2^1243283-1 is not prime. Res64: B8A3571AD2CE84D7 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:07:31] 759*2^1243283-1 is not prime. Res64: 924B86E169867EF8 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:07:33] 805*2^1243283-1 is not prime. Res64: 5335C5840B439AB7 Time : 0.0 sec. user=juhehe [2013-03-23 21:12:30] 807*2^1243281-1 is not prime. Res64: C099C39B66B3D9FD Time : 0.0 sec. user=juhehe [2013-03-23 21:13:04] 861*2^1243281-1 is not prime. Res64: E3D45446E374CCA5 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:16:30] 939*2^1243283-1 is not prime. Res64: 0C6015869627D795 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:16:31] 683*2^1243284-1 is not prime. Res64: 2E2C1D26D0641013 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:25:06] 723*2^1243284-1 is not prime. Res64: EECEF59D0857AA56 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:25:07] 939*2^1243285-1 is not prime. Res64: DA9304E96D6A9AE7 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:34:00] 985*2^1243285-1 is not prime. Res64: B872E0003DD20181 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:34:00] 987*2^1243285-1 is not prime. Res64: 5A5AB110F6060A8B Time : 0.0 sec. user=mdettweiler [2013-03-23 21:42:31] 997*2^1243285-1 is not prime. Res64: 85F88DC1AA3C2202 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:42:32] 641*2^1243286-1 is not prime. Res64: 1B338CB598C200C5 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:51:25] 677*2^1243286-1 is not prime. Res64: 62D626F1604DDE6C Time : 0.0 sec. user=mdettweiler [2013-03-23 21:51:26] 711*2^1243286-1 is not prime. Res64: A21922D43F014A52 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:59:57] 833*2^1243286-1 is not prime. Res64: D6642A91F979A570 Time : 0.0 sec. user=mdettweiler [2013-03-23 21:59:57] 887*2^1243286-1 is not prime. Res64: 2916F7D0D613DFBF Time : 0.0 sec. user=mdettweiler [2013-03-23 22:08:51] 893*2^1243286-1 is not prime. Res64: BF1E4B67A9C7224C Time : 0.0 sec. user=mdettweiler [2013-03-23 22:08:51] 993*2^1243286-1 is not prime. Res64: 0065D8530B7E6851 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:17:21] 625*2^1243287-1 is not prime. Res64: 6158B47BB1BD9208 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:17:22] 675*2^1243287-1 is not prime. Res64: 00BAA6203B8EF2C1 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:26:17] 709*2^1243287-1 is not prime. Res64: A17E3C47A3690573 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:26:18] 843*2^1243287-1 is not prime. Res64: F46BF64764F33871 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:34:46] 677*2^1243288-1 is not prime. Res64: 03358CB97EA55543 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:34:47] 887*2^1243288-1 is not prime. Res64: 54A55922E6C1711C Time : 0.0 sec. user=mdettweiler [2013-03-23 22:43:42] 969*2^1243288-1 is not prime. Res64: 8F2FA47A5F2C8F7A Time : 0.0 sec. user=mdettweiler [2013-03-23 22:43:42] 975*2^1243288-1 is not prime. Res64: B20582AF2CD65EE1 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:52:12] 721*2^1243289-1 is not prime. Res64: 11C5D609F8E43CB1 Time : 0.0 sec. user=mdettweiler [2013-03-23 22:52:12] 741*2^1243289-1 is not prime. Res64: 765A4C5BAA8FFCEB Time : 0.0 sec. user=mdettweiler [2013-03-23 23:01:08] 747*2^1243289-1 is not prime. Res64: 881790E734CACAE4 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:01:09] 771*2^1243289-1 is not prime. Res64: 630BD7D9BD338BB1 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:09:37] 925*2^1243289-1 is not prime. Res64: AC22828C87B7EC59 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:09:38] 955*2^1243289-1 is not prime. Res64: 3660B295E8AA207E Time : 0.0 sec. user=mdettweiler [2013-03-23 23:18:37] 991*2^1243289-1 is not prime. Res64: B9A243F83BBD56CC Time : 0.0 sec. user=mdettweiler [2013-03-23 23:18:38] 681*2^1243290-1 is not prime. Res64: 57B5B9C636505391 Time : 0.0 sec. user=juhehe [2013-03-23 23:20:49] 605*2^1243288-1 is not prime. Res64: 885781F75F0D7BF6 Time : 0.0 sec. user=juhehe [2013-03-23 23:26:05] 999*2^1243287-1 is not prime. Res64: B909BCB2A6722624 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:27:03] 713*2^1243290-1 is not prime. Res64: 412E647FBF7BAB7E Time : 0.0 sec. user=mdettweiler [2013-03-23 23:27:04] 765*2^1243290-1 is not prime. Res64: A90DE9C44FF95C51 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:36:02] 783*2^1243290-1 is not prime. Res64: E29162A22E215E21 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:36:02] 803*2^1243290-1 is not prime. Res64: 873AF2C8C19C1017 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:44:28] 945*2^1243290-1 is not prime. Res64: F6DD830547339E80 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:44:28] 651*2^1243291-1 is not prime. Res64: 8D88C3279CAEB0E6 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:53:28] 715*2^1243291-1 is not prime. Res64: 1AB171B9921D1383 Time : 0.0 sec. user=mdettweiler [2013-03-23 23:53:28] 733*2^1243291-1 is not prime. Res64: F1F8B819E1067A33 Time : 0.0 sec.