user=vaughan [2013-02-08 00:09:18] 635*2^1240752-1 is not prime. Res64: 45155EDF6F0B9C93 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:12:47] 947*2^1240752-1 is not prime. Res64: FA4278ADD7A22C03 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:12:48] 639*2^1240753-1 is not prime. Res64: AE13A371C8A18AEB Time : 0.0 sec. user=mdettweiler [2013-02-08 00:15:00] 829*2^1240753-1 is not prime. Res64: 2A94AEDED2CA10F8 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:15:01] 889*2^1240753-1 is not prime. Res64: 73C18D5CFF30AB97 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:30:15] 955*2^1240753-1 is not prime. Res64: 7EBEBD881B1AF79D Time : 0.0 sec. user=mdettweiler [2013-02-08 00:30:16] 665*2^1240754-1 is not prime. Res64: B01D0B36B10C18A1 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:32:26] 743*2^1240754-1 is not prime. Res64: C6A2DBDD416EA389 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:32:27] 753*2^1240754-1 is not prime. Res64: 49706C7368DEB29D Time : 0.0 sec. user=vaughan [2013-02-08 00:47:11] 937*2^1240753-1 is not prime. Res64: D23666C14E8B8E1E Time : 0.0 sec. user=mdettweiler [2013-02-08 00:47:43] 857*2^1240754-1 is not prime. Res64: A1A22304BCCED8EA Time : 0.0 sec. user=mdettweiler [2013-02-08 00:47:44] 875*2^1240754-1 is not prime. Res64: 31390C58958E5029 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:49:51] 923*2^1240754-1 is not prime. Res64: 509AB41523243FB7 Time : 0.0 sec. user=mdettweiler [2013-02-08 00:49:52] 951*2^1240754-1 is not prime. Res64: 42AEAE9BEBE2EA2F Time : 0.0 sec. user=mdettweiler [2013-02-08 01:05:08] 969*2^1240755-1 is not prime. Res64: 5C84D27F3E60108E Time : 0.0 sec. user=mdettweiler [2013-02-08 01:05:09] 719*2^1240756-1 is not prime. Res64: D5DF7C1D731E1875 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:07:16] 813*2^1240756-1 is not prime. Res64: D96FC317D0ED6DA8 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:07:17] 869*2^1240756-1 is not prime. Res64: A8F279283D29E851 Time : 0.0 sec. user=juhehe [2013-02-08 01:18:51] 613*2^1240755-1 is not prime. Res64: 7CF2E851865D37A3 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:22:38] 691*2^1240757-1 is not prime. Res64: B794C78A75EAEC4F Time : 0.0 sec. user=mdettweiler [2013-02-08 01:22:39] 729*2^1240757-1 is not prime. Res64: 529080C14CD4569F Time : 0.0 sec. user=mdettweiler [2013-02-08 01:24:45] 735*2^1240757-1 is not prime. Res64: AD12147E26DC30E8 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:24:46] 847*2^1240757-1 is not prime. Res64: 45556130DCBA61E2 Time : 0.0 sec. user=vaughan [2013-02-08 01:24:59] 651*2^1240755-1 is not prime. Res64: DCFF0A18BEEB61A0 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:40:13] 657*2^1240758-1 is not prime. Res64: C8EBEB3F4EE87293 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:40:14] 885*2^1240758-1 is not prime. Res64: A9080226A9D7611D Time : 0.0 sec. user=mdettweiler [2013-02-08 01:42:19] 933*2^1240758-1 is not prime. Res64: 87509612CBADB4A5 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:42:20] 945*2^1240758-1 is not prime. Res64: 067BB2A6E483BC80 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:57:43] 661*2^1240759-1 is not prime. Res64: DF4842FDFB27EA93 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:57:44] 723*2^1240759-1 is not prime. Res64: 220742CF858B328C Time : 0.0 sec. user=mdettweiler [2013-02-08 01:59:47] 735*2^1240759-1 is not prime. Res64: 116DD5EB5D6D9ED4 Time : 0.0 sec. user=mdettweiler [2013-02-08 01:59:47] 759*2^1240759-1 is not prime. Res64: 42A22FB8DA0F23E4 Time : 0.0 sec. user=juhehe [2013-02-08 02:02:22] 957*2^1240757-1 is not prime. Res64: F6453BE4ED1F73F1 Time : 0.0 sec. user=vaughan [2013-02-08 02:02:44] 977*2^1240758-1 is not prime. Res64: A905ADB630197EF5 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:15:07] 811*2^1240759-1 is not prime. Res64: A10DE7B408E9A5F1 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:15:07] 859*2^1240759-1 is not prime. Res64: CCCA0B3E3545EE28 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:17:13] 885*2^1240759-1 is not prime. Res64: 0E199FF2197B6571 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:17:13] 973*2^1240759-1 is not prime. Res64: AB34EFA5F3F24650 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:32:30] 767*2^1240760-1 is not prime. Res64: EB30859B1F2FBBFD Time : 0.0 sec. user=mdettweiler [2013-02-08 02:32:32] 773*2^1240760-1 is not prime. Res64: 02018D0CEBBA2B92 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:34:34] 959*2^1240760-1 is not prime. Res64: D8FE2DC164214D21 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:34:35] 995*2^1240760-1 is not prime. Res64: 6977D51D936999E8 Time : 0.0 sec. user=vaughan [2013-02-08 02:40:36] 665*2^1240760-1 is not prime. Res64: 0245D71F90F83874 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:50:01] 657*2^1240761-1 is not prime. Res64: 7E984FAC41D151C1 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:50:04] 705*2^1240761-1 is not prime. Res64: 9E50ECDBDC5E9E67 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:51:58] 709*2^1240761-1 is not prime. Res64: 34F67FF5BDBAA348 Time : 0.0 sec. user=mdettweiler [2013-02-08 02:52:00] 789*2^1240761-1 is not prime. Res64: DE898F41B8A0F42C Time : 0.0 sec. user=juhehe [2013-02-08 03:05:30] 801*2^1240723-1 is not prime. Res64: 9DD39A9F41257B4C Time : 0.0 sec. user=mdettweiler [2013-02-08 03:07:31] 901*2^1240761-1 is not prime. Res64: 3519F9AA373875A6 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:07:32] 999*2^1240761-1 is not prime. Res64: CD7C352EFF00C7D8 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:09:22] 611*2^1240762-1 is not prime. Res64: F460FA73B6AE89E0 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:09:24] 617*2^1240762-1 is not prime. Res64: 05DF32F996DEF3DA Time : 0.0 sec. user=vaughan [2013-02-08 03:18:26] 795*2^1240761-1 is not prime. Res64: AD8248896E70E34B Time : 0.0 sec. user=mdettweiler [2013-02-08 03:24:53] 665*2^1240762-1 is not prime. Res64: A4CD5C534897FD65 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:24:54] 987*2^1240762-1 is not prime. Res64: 9CB8C641E92B1695 Time : 0.0 sec. user=juhehe [2013-02-08 03:25:12] 861*2^1240761-1 is not prime. Res64: 3013D0E35410696B Time : 0.0 sec. user=juhehe [2013-02-08 03:26:08] 635*2^1240762-1 is not prime. Res64: E305BC758D3B3F82 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:26:50] 603*2^1240763-1 is not prime. Res64: 8EB5EB7005389F70 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:26:51] 615*2^1240763-1 is not prime. Res64: 8158B841D33B239A Time : 0.0 sec. user=mdettweiler [2013-02-08 03:42:15] 705*2^1240763-1 is not prime. Res64: F2739925A7EF8D40 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:42:16] 741*2^1240763-1 is not prime. Res64: 6A2397BAE97BA903 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:44:11] 949*2^1240763-1 is not prime. Res64: 9FDAEDE7C552C190 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:44:12] 993*2^1240763-1 is not prime. Res64: 117540C05EFEDB23 Time : 0.0 sec. user=juhehe [2013-02-08 03:46:35] 895*2^1240763-1 is not prime. Res64: 70DE07A11E1434A0 Time : 0.0 sec. user=vaughan [2013-02-08 03:56:16] 679*2^1240763-1 is not prime. Res64: 96B73DB05BC574BC Time : 0.0 sec. user=mdettweiler [2013-02-08 03:59:42] 753*2^1240764-1 is not prime. Res64: F09C01B9A6FA4230 Time : 0.0 sec. user=mdettweiler [2013-02-08 03:59:42] 837*2^1240764-1 is not prime. Res64: DA0218EF9B63BDE2 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:01:34] 965*2^1240764-1 is not prime. Res64: 47A047A8A51108C9 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:01:36] 741*2^1240765-1 is not prime. Res64: F51439417B9D5A0F Time : 0.0 sec. user=juhehe [2013-02-08 04:01:44] 783*2^1240763-1 is not prime. Res64: A763389292243020 Time : 0.0 sec. user=juhehe [2013-02-08 04:06:36] 777*2^1240765-1 is not prime. Res64: 128347D3D1FC852F Time : 0.0 sec. user=mdettweiler [2013-02-08 04:17:07] 937*2^1240765-1 is not prime. Res64: 6D1D5CD05BE70F2F Time : 0.0 sec. user=mdettweiler [2013-02-08 04:17:08] 671*2^1240766-1 is not prime. Res64: 5DA6EF277EBD8430 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:19:05] 833*2^1240766-1 is not prime. Res64: 38F69F4A521D552B Time : 0.0 sec. user=mdettweiler [2013-02-08 04:19:05] 887*2^1240766-1 is not prime. Res64: 293B549492BEFAF6 Time : 0.0 sec. user=juhehe [2013-02-08 04:26:46] 619*2^1240767-1 is not prime. Res64: 5095E4D9BCA5C3EC Time : 0.0 sec. user=vaughan [2013-02-08 04:34:04] 861*2^1240765-1 is not prime. Res64: DCA9490B0A6F82D0 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:34:31] 735*2^1240767-1 is not prime. Res64: 05E8405A222DAFFB Time : 0.0 sec. user=mdettweiler [2013-02-08 04:34:32] 825*2^1240767-1 is not prime. Res64: 5A696D78C9380527 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:36:26] 871*2^1240767-1 is not prime. Res64: 761D0B108887785D Time : 0.0 sec. user=mdettweiler [2013-02-08 04:36:27] 901*2^1240767-1 is not prime. Res64: FCA5848CF4A0A5E1 Time : 0.0 sec. user=juhehe [2013-02-08 04:46:47] 913*2^1240767-1 is not prime. Res64: 89403607F9429245 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:51:58] 975*2^1240767-1 is not prime. Res64: 2EBD4FE1E07BB60A Time : 0.0 sec. user=mdettweiler [2013-02-08 04:51:58] 603*2^1240768-1 is not prime. Res64: FED1E0DDC40D6FA9 Time : 0.0 sec. user=mdettweiler [2013-02-08 04:53:48] 699*2^1240768-1 is not prime. Res64: 281AAB3BF62EE8CC Time : 0.0 sec. user=mdettweiler [2013-02-08 04:53:49] 735*2^1240768-1 is not prime. Res64: 1A0F04C336394E9E Time : 0.0 sec. user=juhehe [2013-02-08 05:06:51] 923*2^1240768-1 is not prime. Res64: 94A22AC436BB1120 Time : 0.0 sec. user=mdettweiler [2013-02-08 05:09:19] 933*2^1240768-1 is not prime. Res64: 8AD54572D048C579 Time : 0.0 sec. user=mdettweiler [2013-02-08 05:09:20] 947*2^1240768-1 is not prime. Res64: BCADF8D83A85191D Time : 0.0 sec. user=mdettweiler [2013-02-08 05:11:09] 781*2^1240769-1 is not prime. Res64: 9BE2677F6358521B Time : 0.0 sec. user=mdettweiler [2013-02-08 05:11:10] 951*2^1240769-1 is not prime. Res64: 08F643209C80C0E7 Time : 0.0 sec. user=vaughan [2013-02-08 05:12:03] 951*2^1240767-1 is not prime. Res64: 0CFE01C3A29951DB Time : 0.0 sec. user=juhehe [2013-02-08 05:12:31] 665*2^1240768-1 is not prime. Res64: 964EF2A180D238FA Time : 0.0 sec. user=mdettweiler [2013-02-08 05:26:45] 651*2^1240770-1 is not prime. Res64: 14EC588ED352A7DA Time : 0.0 sec. user=mdettweiler [2013-02-08 05:26:45] 681*2^1240770-1 is not prime. Res64: 04522767D1E27C86 Time : 0.0 sec. user=mdettweiler [2013-02-08 05:28:33] 717*2^1240770-1 is not prime. Res64: 3D6821E54BC10D6C Time : 0.0 sec. user=mdettweiler [2013-02-08 05:28:34] 735*2^1240770-1 is not prime. Res64: 679A9F7642747D41 Time : 0.0 sec. user=juhehe [2013-02-08 05:29:53] 987*2^1240769-1 is not prime. Res64: 7C9C0E0531A15D40 Time : 0.0 sec. user=mdettweiler [2013-02-08 05:44:06] 887*2^1240770-1 is not prime. Res64: E47C4E82AD86729C Time : 0.0 sec. user=mdettweiler [2013-02-08 05:44:07] 619*2^1240771-1 is not prime. Res64: 25584C411B4E3814 Time : 0.0 sec. user=mdettweiler [2013-02-08 05:45:55] 805*2^1240771-1 is not prime. Res64: 44BD9E67405BE0C7 Time : 0.0 sec. user=mdettweiler [2013-02-08 05:45:55] 819*2^1240771-1 is not prime. Res64: E7A1A372A26DC19D Time : 0.0 sec. user=juhehe [2013-02-08 05:49:12] 851*2^1240770-1 is not prime. Res64: 0F47C8336E41913E Time : 0.0 sec. user=vaughan [2013-02-08 05:49:49] 765*2^1240770-1 is not prime. Res64: 4359C07C8B279AF9 Time : 0.0 sec. user=juhehe [2013-02-08 05:49:50] 895*2^1240771-1 is not prime. Res64: 6ED714713655AD34 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:01:28] 901*2^1240771-1 is not prime. Res64: 6C712F9D2DBD3C41 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:01:31] 909*2^1240771-1 is not prime. Res64: FEB6EEF581BB0F42 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:03:16] 939*2^1240771-1 is not prime. Res64: 3FCA27ECB8EC37BC Time : 0.0 sec. user=mdettweiler [2013-02-08 06:03:17] 993*2^1240771-1 is not prime. Res64: 6B2CA48195E56A3E Time : 0.0 sec. user=juhehe [2013-02-08 06:09:51] 669*2^1240772-1 is not prime. Res64: BF05F9D89C87A411 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:19:04] 683*2^1240772-1 is not prime. Res64: D1C4669CDABEC6AE Time : 0.0 sec. user=mdettweiler [2013-02-08 06:19:05] 759*2^1240772-1 is not prime. Res64: 9D13ECBA44524B5F Time : 0.0 sec. user=mdettweiler [2013-02-08 06:20:40] 767*2^1240772-1 is not prime. Res64: 81CD95CE3BE0678D Time : 0.0 sec. user=mdettweiler [2013-02-08 06:20:41] 825*2^1240772-1 is not prime. Res64: 85DB83811834DCEA Time : 0.0 sec. user=vaughan [2013-02-08 06:27:36] 677*2^1240772-1 is not prime. Res64: 3FB3CD4CFF99DDCF Time : 0.0 sec. user=juhehe [2013-02-08 06:29:58] 873*2^1240772-1 is not prime. Res64: F18793AB26342984 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:36:26] 903*2^1240772-1 is not prime. Res64: 8867B25060F8A1A3 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:36:27] 627*2^1240773-1 is not prime. Res64: 525DD0D377178D77 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:38:02] 781*2^1240773-1 is not prime. Res64: 86994D2CDAA82CE9 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:38:03] 817*2^1240773-1 is not prime. Res64: 8273FE05519D937D Time : 0.0 sec. user=juhehe [2013-02-08 06:52:51] 999*2^1240773-1 is not prime. Res64: 02B9CEFD0FAECEF0 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:53:48] 717*2^1240774-1 is not prime. Res64: 3C327221ADCF0C9E Time : 0.0 sec. user=mdettweiler [2013-02-08 06:53:49] 723*2^1240774-1 is not prime. Res64: 94EECF51C785FA9E Time : 0.0 sec. user=mdettweiler [2013-02-08 06:55:23] 737*2^1240774-1 is not prime. Res64: 7D90E98A65019F72 Time : 0.0 sec. user=mdettweiler [2013-02-08 06:55:24] 773*2^1240774-1 is not prime. Res64: 487901DC8E1D1636 Time : 0.0 sec. user=vaughan [2013-02-08 07:05:25] 969*2^1240773-1 is not prime. Res64: 86ECA80387D7045D Time : 0.0 sec. user=juhehe [2013-02-08 07:07:25] 945*2^1240773-1 is not prime. Res64: AF6FA8CBECE2E14A Time : 0.0 sec. user=mdettweiler [2013-02-08 07:11:11] 861*2^1240774-1 is not prime. Res64: 74468D4389126860 Time : 0.0 sec. user=mdettweiler [2013-02-08 07:11:11] 981*2^1240774-1 is not prime. Res64: 23EF1399B56AD2B1 Time : 0.0 sec. user=mdettweiler [2013-02-08 07:12:46] 645*2^1240775-1 is not prime. Res64: D14E5E74FFC0427E Time : 0.0 sec. user=mdettweiler [2013-02-08 07:12:47] 829*2^1240775-1 is not prime. Res64: 20FCAF2BAA6CB42F Time : 0.0 sec. user=juhehe [2013-02-08 07:12:52] 813*2^1240774-1 is not prime. Res64: A699CA36D2FF522C Time : 0.0 sec. user=mdettweiler [2013-02-08 07:28:35] 963*2^1240775-1 is not prime. Res64: A5C8D58A8C948344 Time : 0.0 sec. user=mdettweiler [2013-02-08 07:28:35] 969*2^1240775-1 is not prime. Res64: C1B217ADE02DA34F Time : 0.0 sec. user=mdettweiler [2013-02-08 07:30:10] 979*2^1240775-1 is not prime. Res64: 903E6BD0EC8EA5ED Time : 0.0 sec. user=mdettweiler [2013-02-08 07:30:10] 985*2^1240775-1 is not prime. Res64: 50A2EC6A56312A7F Time : 0.0 sec. user=juhehe [2013-02-08 07:35:48] 999*2^1240775-1 is not prime. Res64: BBEEE25AB04F5372 Time : 0.0 sec. user=vaughan [2013-02-08 07:43:26] 843*2^1240775-1 is not prime. Res64: C1AE0DF5D7408D0F Time : 0.0 sec. user=mdettweiler [2013-02-08 07:45:58] 657*2^1240776-1 is not prime. Res64: D511AFBF95FA1C03 Time : 0.0 sec. user=mdettweiler [2013-02-08 07:45:59] 777*2^1240776-1 is not prime. Res64: E57D14FBC5DC51BB Time : 0.0 sec. user=mdettweiler [2013-02-08 07:47:32] 843*2^1240776-1 is not prime. Res64: 340D94866178EBD7 Time : 0.0 sec. user=mdettweiler [2013-02-08 07:47:32] 975*2^1240776-1 is not prime. Res64: 0D188D958982A8CB Time : 0.0 sec. user=juhehe [2013-02-08 07:49:50] 909*2^1240775-1 is not prime. Res64: 3B8408C4B16D98F6 Time : 0.0 sec. user=juhehe [2013-02-08 07:55:48] 801*2^1240777-1 is not prime. Res64: FE9BC347B3033F91 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:03:20] 957*2^1240777-1 is not prime. Res64: 08D67A8DD6C67700 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:03:22] 985*2^1240777-1 is not prime. Res64: 25B6473B45ABFA04 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:04:52] 633*2^1240778-1 is not prime. Res64: 4FD3718850C5ECF0 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:04:54] 747*2^1240778-1 is not prime. Res64: 194E9605042D4C0C Time : 0.0 sec. user=juhehe [2013-02-08 08:15:47] 825*2^1240778-1 is not prime. Res64: 89AA4A9961165656 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:20:56] 843*2^1240778-1 is not prime. Res64: 8AE09738685C5E03 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:20:57] 935*2^1240778-1 is not prime. Res64: 0C1914C117955348 Time : 0.0 sec. user=vaughan [2013-02-08 08:21:11] 841*2^1240777-1 is not prime. Res64: E29FF2E81337CD51 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:22:19] 945*2^1240778-1 is not prime. Res64: 34707F8E53716892 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:22:19] 625*2^1240779-1 is not prime. Res64: 30031A96710B0189 Time : 0.0 sec. user=juhehe [2013-02-08 08:35:49] 711*2^1240779-1 is not prime. Res64: 50BB40D8DBB25EE7 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:38:20] 745*2^1240779-1 is not prime. Res64: 87B7CCD17F9E3CCB Time : 0.0 sec. user=mdettweiler [2013-02-08 08:38:20] 835*2^1240779-1 is not prime. Res64: 4399DC6DA200603E Time : 0.0 sec. user=mdettweiler [2013-02-08 08:39:40] 919*2^1240779-1 is not prime. Res64: A90E4F0D30C48163 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:39:40] 635*2^1240780-1 is not prime. Res64: D289A56041B0A461 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:55:42] 759*2^1240780-1 is not prime. Res64: 146D8B5A388BF162 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:55:42] 797*2^1240780-1 is not prime. Res64: 30E6C0DBE57A4B9D Time : 0.0 sec. user=juhehe [2013-02-08 08:55:50] 695*2^1240780-1 is not prime. Res64: 83DA8AFB4A5A3F65 Time : 0.0 sec. user=mdettweiler [2013-02-08 08:57:00] 833*2^1240780-1 is not prime. Res64: D0057544B95A422F Time : 0.0 sec. user=mdettweiler [2013-02-08 08:57:01] 843*2^1240780-1 is not prime. Res64: CCF369D3134AC2B8 Time : 0.0 sec. user=vaughan [2013-02-08 08:58:55] 859*2^1240779-1 is not prime. Res64: 8FD99AE62BD6A228 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:13:04] 887*2^1240780-1 is not prime. Res64: A49716912A260CFB Time : 0.0 sec. user=mdettweiler [2013-02-08 09:13:05] 915*2^1240780-1 is not prime. Res64: 1E25E8B2A6205D29 Time : 0.0 sec. user=juhehe [2013-02-08 09:13:25] 693*2^1240780-1 is not prime. Res64: 4E8C1EBEE39584F9 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:14:22] 865*2^1240781-1 is not prime. Res64: D15EA301AB8C7A73 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:14:23] 931*2^1240781-1 is not prime. Res64: 724E4C1ADAB4CC34 Time : 0.0 sec. user=juhehe [2013-02-08 09:15:52] 615*2^1240781-1 is not prime. Res64: 88E4CDE493118885 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:30:33] 731*2^1240782-1 is not prime. Res64: 4FE94ED28F81A490 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:30:33] 765*2^1240782-1 is not prime. Res64: E1292E1E2AD9D742 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:31:49] 797*2^1240782-1 is not prime. Res64: 4F684182F8847FFD Time : 0.0 sec. user=mdettweiler [2013-02-08 09:31:50] 941*2^1240782-1 is not prime. Res64: B344480EB6E7AF24 Time : 0.0 sec. user=juhehe [2013-02-08 09:35:52] 633*2^1240783-1 is not prime. Res64: FE51FF7A0F2BB5B4 Time : 0.0 sec. user=vaughan [2013-02-08 09:36:41] 937*2^1240781-1 is not prime. Res64: 68AF604EB4C918F0 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:48:00] 723*2^1240783-1 is not prime. Res64: 6EAAB1C7AA059215 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:48:00] 729*2^1240783-1 is not prime. Res64: 7CED50DB9617A2A5 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:49:14] 771*2^1240783-1 is not prime. Res64: 3EA2A8F4F81B3C04 Time : 0.0 sec. user=mdettweiler [2013-02-08 09:49:14] 919*2^1240783-1 is not prime. Res64: 8337E565576D1DD8 Time : 0.0 sec. user=juhehe [2013-02-08 09:55:42] 791*2^1240782-1 is not prime. Res64: 0EA72214ED17576E Time : 0.0 sec. user=juhehe [2013-02-08 09:55:53] 925*2^1240783-1 is not prime. Res64: E90A769018D12A89 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:05:26] 973*2^1240783-1 is not prime. Res64: A322371E5E269D7E Time : 0.0 sec. user=mdettweiler [2013-02-08 10:05:29] 665*2^1240784-1 is not prime. Res64: 4909247A0337F0B1 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:06:39] 717*2^1240784-1 is not prime. Res64: 740B16D40FEEE66F Time : 0.0 sec. user=mdettweiler [2013-02-08 10:06:41] 857*2^1240784-1 is not prime. Res64: 29EC05D67F57E710 Time : 0.0 sec. user=vaughan [2013-02-08 10:14:28] 943*2^1240783-1 is not prime. Res64: 42105D3AA82D701F Time : 0.0 sec. user=juhehe [2013-02-08 10:15:55] 869*2^1240784-1 is not prime. Res64: 77F5634DF51F0D54 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:23:06] 875*2^1240784-1 is not prime. Res64: CB536A5B3BCAB5C1 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:23:07] 893*2^1240784-1 is not prime. Res64: 65A5AEC9ED60C657 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:24:09] 957*2^1240784-1 is not prime. Res64: 2A243FDBE1D3967C Time : 0.0 sec. user=mdettweiler [2013-02-08 10:24:09] 959*2^1240784-1 is not prime. Res64: 55DB9DC3177393A4 Time : 0.0 sec. user=juhehe [2013-02-08 10:35:55] 847*2^1240785-1 is not prime. Res64: D7A8C8E487671E62 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:40:31] 885*2^1240785-1 is not prime. Res64: C803B4D118C5C7FE Time : 0.0 sec. user=mdettweiler [2013-02-08 10:40:32] 895*2^1240785-1 is not prime. Res64: 192535C2248DEA34 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:41:34] 997*2^1240785-1 is not prime. Res64: F56E861497030FFB Time : 0.0 sec. user=mdettweiler [2013-02-08 10:41:35] 657*2^1240786-1 is not prime. Res64: DF6050F6C150027D Time : 0.0 sec. user=vaughan [2013-02-08 10:52:18] 627*2^1240785-1 is not prime. Res64: 4579DFE6D13CAC51 Time : 0.0 sec. user=juhehe [2013-02-08 10:55:54] 975*2^1240786-1 is not prime. Res64: CE2060B8DB5E7E35 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:57:57] 669*2^1240787-1 is not prime. Res64: 558505E39F0C0384 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:57:57] 673*2^1240787-1 is not prime. Res64: 1101616425DD3DA0 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:59:01] 693*2^1240787-1 is not prime. Res64: D1EEE236F84B56F8 Time : 0.0 sec. user=mdettweiler [2013-02-08 10:59:01] 813*2^1240787-1 is not prime. Res64: 5489AEBD0F457760 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:15:22] 939*2^1240787-1 is not prime. Res64: EB4F742CD8E4DBD8 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:15:22] 963*2^1240787-1 is not prime. Res64: 60C550A89CF62E97 Time : 0.0 sec. user=juhehe [2013-02-08 11:15:54] 879*2^1240787-1 is not prime. Res64: 75603A3C2C93BB7B Time : 0.0 sec. user=mdettweiler [2013-02-08 11:16:29] 605*2^1240788-1 is not prime. Res64: D3A6B897C7947BB8 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:16:30] 635*2^1240788-1 is not prime. Res64: 2A15D5A01C4FE62C Time : 0.0 sec. user=juhehe [2013-02-08 11:19:25] 723*2^1240786-1 is not prime. Res64: 78945DFA47E18442 Time : 0.0 sec. user=vaughan [2013-02-08 11:30:13] 841*2^1240787-1 is not prime. Res64: 9C1258429AFC1275 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:32:49] 695*2^1240788-1 is not prime. Res64: 742D2D435D134D6C Time : 0.0 sec. user=mdettweiler [2013-02-08 11:32:49] 753*2^1240788-1 is not prime. Res64: 635655DEBC244467 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:33:54] 609*2^1240789-1 is not prime. Res64: CFF3AF8287657B4E Time : 0.0 sec. user=mdettweiler [2013-02-08 11:33:55] 619*2^1240789-1 is not prime. Res64: 19AE24964C702AA4 Time : 0.0 sec. user=juhehe [2013-02-08 11:35:53] 765*2^1240788-1 is not prime. Res64: 2708F8F7787EF1DF Time : 0.0 sec. user=mdettweiler [2013-02-08 11:50:15] 757*2^1240789-1 is not prime. Res64: D44AD51B1D88ED2C Time : 0.0 sec. user=mdettweiler [2013-02-08 11:50:15] 769*2^1240789-1 is not prime. Res64: 2F22934A765E69B0 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:51:20] 931*2^1240789-1 is not prime. Res64: EEBDA00895D77C60 Time : 0.0 sec. user=mdettweiler [2013-02-08 11:51:20] 939*2^1240789-1 is not prime. Res64: D84DF02A4552E44E Time : 0.0 sec. user=juhehe [2013-02-08 11:55:53] 957*2^1240789-1 is not prime. Res64: B30B70CCE7684219 Time : 0.0 sec. user=juhehe [2013-02-08 12:03:26] 649*2^1240789-1 is not prime. Res64: DD6826A594B5455E Time : 0.0 sec. user=mdettweiler [2013-02-08 12:07:38] 675*2^1240790-1 is not prime. Res64: 0A237B9966AD8E7F Time : 0.0 sec. user=mdettweiler [2013-02-08 12:07:40] 713*2^1240790-1 is not prime. Res64: 7ADB0E1E07C2601B Time : 0.0 sec. user=vaughan [2013-02-08 12:08:04] 687*2^1240789-1 is not prime. Res64: EEFB0CD0FB792E0A Time : 0.0 sec. user=mdettweiler [2013-02-08 12:08:48] 813*2^1240790-1 is not prime. Res64: 47F92B190B1B7DEE Time : 0.0 sec. user=mdettweiler [2013-02-08 12:08:49] 851*2^1240790-1 is not prime. Res64: 9AC3E4F9016F4FFC Time : 0.0 sec. user=juhehe [2013-02-08 12:15:53] 945*2^1240790-1 is not prime. Res64: 7B785D19CFA75AD8 Time : 0.0 sec. user=mdettweiler [2013-02-08 12:25:11] 951*2^1240790-1 is not prime. Res64: 8AD52417A2EDB9C0 Time : 0.0 sec. user=mdettweiler [2013-02-08 12:25:11] 995*2^1240790-1 is not prime. Res64: 08DC33B653762B7D Time : 0.0 sec. user=mdettweiler [2013-02-08 12:26:16] 661*2^1240791-1 is not prime. Res64: E1984000A99391EF Time : 0.0 sec. user=mdettweiler [2013-02-08 12:26:17] 723*2^1240791-1 is not prime. Res64: C9FC3B514910E102 Time : 0.0 sec. user=juhehe [2013-02-08 12:35:54] 783*2^1240791-1 is not prime. Res64: 06544EBAD720F7ED Time : 0.0 sec. user=mdettweiler [2013-02-08 12:42:36] 871*2^1240791-1 is not prime. Res64: 8F2154009B166EAD Time : 0.0 sec. user=mdettweiler [2013-02-08 12:42:36] 895*2^1240791-1 is not prime. Res64: DB69667EBBF962E2 Time : 0.0 sec. user=mdettweiler [2013-02-08 12:43:41] 931*2^1240791-1 is not prime. Res64: D20C2A05E9DC5031 Time : 0.0 sec. user=mdettweiler [2013-02-08 12:43:41] 943*2^1240791-1 is not prime. Res64: 0FE2D416B1B79EEB Time : 0.0 sec. user=vaughan [2013-02-08 12:45:54] 615*2^1240791-1 is not prime. Res64: A176DA6F652743EF Time : 0.0 sec. user=juhehe [2013-02-08 12:55:54] 617*2^1240792-1 is not prime. Res64: BD9677FEF037FEB5 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:00:00] 629*2^1240792-1 is not prime. Res64: E6D2F8A80FA860DF Time : 0.0 sec. user=mdettweiler [2013-02-08 13:00:00] 635*2^1240792-1 is not prime. Res64: 8AC56346631CDD65 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:01:06] 719*2^1240792-1 is not prime. Res64: EA3A9FBB28B79A5D Time : 0.0 sec. user=mdettweiler [2013-02-08 13:01:08] 899*2^1240792-1 is not prime. Res64: CCE3BFE430290843 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:17:28] 669*2^1240793-1 is not prime. Res64: C173C21132F5C43D Time : 0.0 sec. user=mdettweiler [2013-02-08 13:17:28] 861*2^1240793-1 is not prime. Res64: 796D88A6F584118D Time : 0.0 sec. user=mdettweiler [2013-02-08 13:18:37] 969*2^1240793-1 is not prime. Res64: 9C7606C612CBA2B1 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:18:37] 683*2^1240794-1 is not prime. Res64: 228B2A1E273AEFD9 Time : 0.0 sec. user=juhehe [2013-02-08 13:19:42] 903*2^1240792-1 is not prime. Res64: 4EB584279712BA75 Time : 0.0 sec. user=vaughan [2013-02-08 13:23:42] 915*2^1240792-1 is not prime. Res64: 71E5EDF005A6210C Time : 0.0 sec. user=mdettweiler [2013-02-08 13:35:46] 705*2^1240794-1 is not prime. Res64: 2F1D4EE9D7D9A4AB Time : 0.0 sec. user=mdettweiler [2013-02-08 13:35:46] 707*2^1240794-1 is not prime. Res64: BA4841E0051DBE70 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:36:56] 765*2^1240794-1 is not prime. Res64: 9439610066E8CA51 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:36:56] 791*2^1240794-1 is not prime. Res64: 4E789DBA8039B108 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:53:33] 603*2^1240795-1 is not prime. Res64: 95EBAE89EA4B2BE8 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:53:33] 723*2^1240795-1 is not prime. Res64: 630ECCA687BCC651 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:54:41] 853*2^1240795-1 is not prime. Res64: 4AD383EEBD507999 Time : 0.0 sec. user=mdettweiler [2013-02-08 13:54:41] 855*2^1240795-1 is not prime. Res64: 38396A2885B9FFF7 Time : 0.0 sec. user=juhehe [2013-02-08 13:56:17] 893*2^1240794-1 is not prime. Res64: D2F2516CB6FF7F03 Time : 0.0 sec. user=vaughan [2013-02-08 14:01:28] 971*2^1240794-1 is not prime. Res64: 3A26E72D66FE64D8 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:11:22] 951*2^1240795-1 is not prime. Res64: 362C6BABA0045D04 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:11:23] 603*2^1240796-1 is not prime. Res64: 84430D0C34E030A4 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:12:32] 623*2^1240796-1 is not prime. Res64: DC56271490778847 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:12:33] 657*2^1240796-1 is not prime. Res64: 688E68BD100870EE Time : 0.0 sec. user=mdettweiler [2013-02-08 14:29:41] 707*2^1240796-1 is not prime. Res64: F874D5F2A65520BA Time : 0.0 sec. user=mdettweiler [2013-02-08 14:29:41] 719*2^1240796-1 is not prime. Res64: B022FDC8874F8A64 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:30:51] 759*2^1240796-1 is not prime. Res64: 9B53328D214FDFCB Time : 0.0 sec. user=mdettweiler [2013-02-08 14:30:51] 825*2^1240796-1 is not prime. Res64: 2D73A4A93E109B0E Time : 0.0 sec. user=vaughan [2013-02-08 14:39:35] 663*2^1240796-1 is not prime. Res64: B518FAD0EE753BD4 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:47:36] 833*2^1240796-1 is not prime. Res64: FF58364C29177294 Time : 0.0 sec. user=mdettweiler [2013-02-08 14:47:36] 685*2^1240797-1 is not prime. Res64: 19C146810A957EEF Time : 0.0 sec. user=mdettweiler [2013-02-08 14:48:43] 741*2^1240797-1 is not prime. Res64: 3B2A21DCB9DBA62C Time : 0.0 sec. user=mdettweiler [2013-02-08 14:48:43] 765*2^1240797-1 is not prime. Res64: 4AA853D05DC41A20 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:05:23] 901*2^1240797-1 is not prime. Res64: 8007D38B93E0345A Time : 0.0 sec. user=mdettweiler [2013-02-08 15:05:25] 945*2^1240797-1 is not prime. Res64: 6314EEEA585052E0 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:06:28] 991*2^1240797-1 is not prime. Res64: 4517150C69140520 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:06:29] 731*2^1240798-1 is not prime. Res64: 7EC24B31BCB6E952 Time : 0.0 sec. user=juhehe [2013-02-08 15:07:05] 711*2^1240797-1 is not prime. Res64: 81DD177A80305519 Time : 0.0 sec. user=vaughan [2013-02-08 15:17:24] 861*2^1240797-1 is not prime. Res64: C09465C65368FF81 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:23:21] 773*2^1240798-1 is not prime. Res64: 25848B7EB72BE724 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:23:21] 825*2^1240798-1 is not prime. Res64: 43AB7031B69805B9 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:24:20] 911*2^1240798-1 is not prime. Res64: 23CCA6F5AA763B8B Time : 0.0 sec. user=mdettweiler [2013-02-08 15:24:22] 915*2^1240798-1 is not prime. Res64: 98E58173B043AE5B Time : 0.0 sec. user=mdettweiler [2013-02-08 15:41:06] 745*2^1240799-1 is not prime. Res64: 8CDE54C09A143019 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:41:06] 759*2^1240799-1 is not prime. Res64: 77F94C81C957545A Time : 0.0 sec. user=mdettweiler [2013-02-08 15:42:11] 861*2^1240799-1 is not prime. Res64: FCE88261C7AB92BF Time : 0.0 sec. user=mdettweiler [2013-02-08 15:42:12] 939*2^1240799-1 is not prime. Res64: F7A1C9A005918D00 Time : 0.0 sec. user=juhehe [2013-02-08 15:46:09] 923*2^1240798-1 is not prime. Res64: 8AA5F3AF6F393E1E Time : 0.0 sec. user=vaughan [2013-02-08 15:55:10] 951*2^1240798-1 is not prime. Res64: 599C6709866324BC Time : 0.0 sec. user=mdettweiler [2013-02-08 15:58:52] 955*2^1240799-1 is not prime. Res64: F10A18127D40D4F2 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:58:52] 609*2^1240800-1 is not prime. Res64: 2E5505E21E228C17 Time : 0.0 sec. user=mdettweiler [2013-02-08 15:59:57] 693*2^1240800-1 is not prime. Res64: F8196D3C6F41C97B Time : 0.0 sec. user=mdettweiler [2013-02-08 15:59:57] 797*2^1240800-1 is not prime. Res64: 85F300D95E376BFD Time : 0.0 sec. user=mdettweiler [2013-02-08 16:16:28] 879*2^1240800-1 is not prime. Res64: 00FEEEE2B479C5E9 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:16:28] 905*2^1240800-1 is not prime. Res64: 425AA3AFF82125A7 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:17:31] 927*2^1240800-1 is not prime. Res64: 569665B19E858D02 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:17:32] 675*2^1240801-1 is not prime. Res64: 73825793939272C0 Time : 0.0 sec. user=vaughan [2013-02-08 16:32:57] 857*2^1240800-1 is not prime. Res64: B35DA21DAE34D164 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:35:14] 777*2^1240801-1 is not prime. Res64: AA6162665F2BD288 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:35:14] 789*2^1240801-1 is not prime. Res64: 2D49B1F3937CFB2F Time : 0.0 sec. user=mdettweiler [2013-02-08 16:36:15] 931*2^1240801-1 is not prime. Res64: 0B27BA613693CAE1 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:36:15] 937*2^1240801-1 is not prime. Res64: CCAE38581C6C255B Time : 0.0 sec. user=mdettweiler [2013-02-08 16:53:18] 953*2^1240802-1 is not prime. Res64: EF4B65079309BE25 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:53:18] 983*2^1240802-1 is not prime. Res64: 4A644213FFEF1958 Time : 0.0 sec. user=mdettweiler [2013-02-08 16:54:12] 615*2^1240803-1 is not prime. Res64: E966F92DFEB355BA Time : 0.0 sec. user=mdettweiler [2013-02-08 16:54:13] 625*2^1240803-1 is not prime. Res64: 175DA693D5562512 Time : 0.0 sec. user=vaughan [2013-02-08 17:10:46] 813*2^1240802-1 is not prime. Res64: CE1852BB0F27159A Time : 0.0 sec. user=mdettweiler [2013-02-08 17:10:51] 649*2^1240803-1 is not prime. Res64: BA8B6B59DC316284 Time : 0.0 sec. user=mdettweiler [2013-02-08 17:10:53] 691*2^1240803-1 is not prime. Res64: BE31B95DBA4A925A Time : 0.0 sec. user=mdettweiler [2013-02-08 17:11:45] 723*2^1240803-1 is not prime. Res64: 4DBA3D401AC02F3B Time : 0.0 sec. user=mdettweiler [2013-02-08 17:11:46] 741*2^1240803-1 is not prime. Res64: 4A92D64085E9A04E Time : 0.0 sec. user=juhehe [2013-02-08 17:18:31] 999*2^1240801-1 is not prime. Res64: 81992E89F1E3D6D1 Time : 0.0 sec. user=mdettweiler [2013-02-08 17:29:51] 951*2^1240803-1 is not prime. Res64: FCE2CC3DEFAC73AE Time : 0.0 sec. user=mdettweiler [2013-02-08 17:29:51] 961*2^1240803-1 is not prime. Res64: 35899C780AA13F69 Time : 0.0 sec. user=mdettweiler [2013-02-08 17:30:49] 623*2^1240804-1 is not prime. Res64: F02E7429D3FBCC39 Time : 0.0 sec. user=mdettweiler [2013-02-08 17:30:50] 629*2^1240804-1 is not prime. Res64: A95BD0E81CF1B68F Time : 0.0 sec. user=mdettweiler [2013-02-08 17:48:28] 947*2^1240804-1 is not prime. Res64: 0DDD7354DA38CC6D Time : 0.0 sec. user=mdettweiler [2013-02-08 17:48:28] 995*2^1240804-1 is not prime. Res64: E60DE7E59FD79219 Time : 0.0 sec. user=vaughan [2013-02-08 17:48:37] 765*2^1240803-1 is not prime. Res64: 146F71A6B3446AE7 Time : 0.0 sec. user=mdettweiler [2013-02-08 17:49:27] 601*2^1240805-1 is not prime. Res64: 1770F2D9DE2C0EEF Time : 0.0 sec. user=mdettweiler [2013-02-08 17:49:27] 627*2^1240805-1 is not prime. Res64: 682BC1449BD060B3 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:07:14] 715*2^1240805-1 is not prime. Res64: 5A7539D9124D1868 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:07:16] 795*2^1240805-1 is not prime. Res64: 8C8A73C2F2C4320F Time : 0.0 sec. user=mdettweiler [2013-02-08 18:08:07] 981*2^1240805-1 is not prime. Res64: 2724A59A9036F141 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:08:09] 671*2^1240806-1 is not prime. Res64: 35F80E16FA7F1084 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:24:53] 711*2^1240806-1 is not prime. Res64: E6BD9F07FD698D7D Time : 0.0 sec. user=mdettweiler [2013-02-08 18:24:53] 815*2^1240806-1 is not prime. Res64: 6A0C0FEA752F5669 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:25:42] 887*2^1240806-1 is not prime. Res64: FE81D62B1AC08278 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:25:42] 917*2^1240806-1 is not prime. Res64: 97D2880352520005 Time : 0.0 sec. user=vaughan [2013-02-08 18:26:23] 837*2^1240805-1 is not prime. Res64: 78CA960251DE3BF0 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:42:23] 923*2^1240806-1 is not prime. Res64: 1047686A589D617C Time : 0.0 sec. user=mdettweiler [2013-02-08 18:42:24] 971*2^1240806-1 is not prime. Res64: 37EE6B0C3A492804 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:43:11] 993*2^1240806-1 is not prime. Res64: 217EB7EFC0A2B72D Time : 0.0 sec. user=mdettweiler [2013-02-08 18:43:12] 1001*2^1240806-1 is not prime. Res64: EA33F69E2BC4FDCE Time : 0.0 sec. user=juhehe [2013-02-08 18:43:21] 705*2^1240806-1 is not prime. Res64: F6E652E075E6F652 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:59:53] 685*2^1240807-1 is not prime. Res64: 3D76A263CBF8A6D1 Time : 0.0 sec. user=mdettweiler [2013-02-08 18:59:53] 763*2^1240807-1 is not prime. Res64: 6D994CF5B3526952 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:00:40] 819*2^1240807-1 is not prime. Res64: 163F389BB43868C5 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:00:41] 909*2^1240807-1 is not prime. Res64: FA2B883915B42932 Time : 0.0 sec. user=vaughan [2013-02-08 19:04:11] 645*2^1240807-1 is not prime. Res64: 29D72390CCE0FD18 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:17:22] 939*2^1240807-1 is not prime. Res64: D6FC815AFBFB2792 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:17:22] 961*2^1240807-1 is not prime. Res64: 5171FE7D5104AB12 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:18:12] 615*2^1240808-1 is not prime. Res64: 31420FABBB56B484 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:18:12] 815*2^1240808-1 is not prime. Res64: 8C6030C8A42A4C54 Time : 0.0 sec. user=juhehe [2013-02-08 19:25:06] 931*2^1240807-1 is not prime. Res64: 44CA8C36A7CF2C71 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:35:34] 657*2^1240809-1 is not prime. Res64: 75E4D3F218F5B878 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:35:35] 741*2^1240809-1 is not prime. Res64: 10AD345D5F4FF28F Time : 0.0 sec. user=mdettweiler [2013-02-08 19:36:23] 781*2^1240809-1 is not prime. Res64: F6040C2594767556 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:36:23] 807*2^1240809-1 is not prime. Res64: 7773F1E62659AC48 Time : 0.0 sec. user=vaughan [2013-02-08 19:42:11] 855*2^1240808-1 is not prime. Res64: 36DBBE3BE1602AFF Time : 0.0 sec. user=mdettweiler [2013-02-08 19:53:00] 831*2^1240809-1 is not prime. Res64: D1E7587E948D42F6 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:53:00] 835*2^1240809-1 is not prime. Res64: 9FBC14ED1F635DB4 Time : 0.0 sec. user=mdettweiler [2013-02-08 19:53:48] 895*2^1240809-1 is not prime. Res64: 8151B3DB9727C96A Time : 0.0 sec. user=mdettweiler [2013-02-08 19:53:48] 955*2^1240809-1 is not prime. Res64: 73B50860571BE7F7 Time : 0.0 sec. user=mdettweiler [2013-02-08 20:10:26] 665*2^1240810-1 is not prime. Res64: E6F184F8210FFD0B Time : 0.0 sec. user=mdettweiler [2013-02-08 20:10:27] 747*2^1240810-1 is not prime. Res64: C99C08D31AC0E64F Time : 0.0 sec. user=mdettweiler [2013-02-08 20:11:13] 755*2^1240810-1 is not prime. Res64: 6C7D03EA2F448374 Time : 0.0 sec. user=mdettweiler [2013-02-08 20:11:15] 813*2^1240810-1 is not prime. Res64: 59E30E9B79EA2908 Time : 0.0 sec. user=vaughan [2013-02-08 20:19:55] 635*2^1240810-1 is not prime. Res64: 73642B2E70B1FBA5 Time : 0.0 sec. user=mdettweiler [2013-02-08 20:27:56] 891*2^1240810-1 is not prime. Res64: 519D4664F2B1FDDB Time : 0.0 sec. user=mdettweiler [2013-02-08 20:27:56] 971*2^1240810-1 is not prime. Res64: 4F70FC343505AF45 Time : 0.0 sec. user=mdettweiler [2013-02-08 20:28:42] 603*2^1240811-1 is not prime. Res64: B09A9A904FA4CFCF Time : 0.0 sec. user=mdettweiler [2013-02-08 20:28:42] 703*2^1240811-1 is not prime. Res64: 877210A13A2F29E3 Time : 0.0 sec. user=mdettweiler [2013-02-08 20:45:37] 823*2^1240811-1 is not prime. Res64: 7A00E02DF82F6709 Time : 0.0 sec. user=mdettweiler [2013-02-08 20:45:38] 955*2^1240811-1 is not prime. Res64: AD0101BBB6C7B9BB Time : 0.0 sec. user=mdettweiler [2013-02-08 20:46:24] 999*2^1240811-1 is not prime. Res64: D66589C6FF6E51FA Time : 0.0 sec. user=mdettweiler [2013-02-08 20:46:25] 669*2^1240812-1 is not prime. Res64: 30B64021E4DFE220 Time : 0.0 sec. user=juhehe [2013-02-08 20:49:43] 861*2^1240810-1 is not prime. Res64: 7961BD5AD0137DAB Time : 0.0 sec. user=vaughan [2013-02-08 20:57:42] 735*2^1240811-1 is not prime. Res64: D26B0DB157AB2F49 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:03:25] 607*2^1240813-1 is not prime. Res64: 18732A639707EBE1 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:03:27] 615*2^1240813-1 is not prime. Res64: F8DE390B261801DC Time : 0.0 sec. user=mdettweiler [2013-02-08 21:04:11] 721*2^1240813-1 is not prime. Res64: 21990D2B1A82F3B6 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:04:13] 775*2^1240813-1 is not prime. Res64: EC5394A1F98929C7 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:21:07] 773*2^1240814-1 is not prime. Res64: 91A18D69FA6BF3BA Time : 0.0 sec. user=mdettweiler [2013-02-08 21:21:08] 833*2^1240814-1 is not prime. Res64: 99D60E7BF67FF118 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:21:48] 897*2^1240814-1 is not prime. Res64: 8B23D7FF922737EB Time : 0.0 sec. user=mdettweiler [2013-02-08 21:21:48] 709*2^1240815-1 is not prime. Res64: B4443DA243106540 Time : 0.0 sec. user=juhehe [2013-02-08 21:31:47] 855*2^1240813-1 is not prime. Res64: 123ADF2AFEC6EFDB Time : 0.0 sec. user=vaughan [2013-02-08 21:35:27] 687*2^1240814-1 is not prime. Res64: 3EFBC21C75F6F77C Time : 0.0 sec. user=mdettweiler [2013-02-08 21:38:38] 985*2^1240815-1 is not prime. Res64: 6B600A330379C614 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:38:38] 675*2^1240816-1 is not prime. Res64: 8F8232629BD86154 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:39:17] 699*2^1240816-1 is not prime. Res64: E6DE49C9FD67859E Time : 0.0 sec. user=mdettweiler [2013-02-08 21:39:17] 735*2^1240816-1 is not prime. Res64: DC2DC7FFF6E52986 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:56:08] 717*2^1240817-1 is not prime. Res64: 3428B7F31B298F62 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:56:08] 781*2^1240817-1 is not prime. Res64: 90E9F3F1B4450A7D Time : 0.0 sec. user=mdettweiler [2013-02-08 21:56:46] 885*2^1240817-1 is not prime. Res64: 224355BF2BEAABC4 Time : 0.0 sec. user=mdettweiler [2013-02-08 21:56:46] 981*2^1240817-1 is not prime. Res64: 150D44DE8FBB2FD9 Time : 0.0 sec. user=vaughan [2013-02-08 22:13:13] 631*2^1240817-1 is not prime. Res64: A0096BC56E62C9E0 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:13:42] 651*2^1240818-1 is not prime. Res64: F1B75E65BC109F3F Time : 0.0 sec. user=mdettweiler [2013-02-08 22:13:43] 681*2^1240818-1 is not prime. Res64: 90F34F4B950EC3A9 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:14:20] 711*2^1240818-1 is not prime. Res64: B49B37A246E82BA0 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:14:22] 773*2^1240818-1 is not prime. Res64: A0D52C91885128B2 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:31:50] 887*2^1240818-1 is not prime. Res64: 23B78F34353326A8 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:31:51] 963*2^1240818-1 is not prime. Res64: B25D4F42A17CB18D Time : 0.0 sec. user=mdettweiler [2013-02-08 22:32:31] 735*2^1240819-1 is not prime. Res64: 7B9484061D45B5BE Time : 0.0 sec. user=mdettweiler [2013-02-08 22:32:31] 883*2^1240819-1 is not prime. Res64: 42974CE04A8C76EE Time : 0.0 sec. user=juhehe [2013-02-08 22:44:48] 777*2^1240818-1 is not prime. Res64: 19D712EC0E6FAB35 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:49:44] 979*2^1240819-1 is not prime. Res64: CAE45A247DC1F64C Time : 0.0 sec. user=mdettweiler [2013-02-08 22:49:44] 999*2^1240819-1 is not prime. Res64: DFC80399E996B803 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:50:23] 977*2^1240820-1 is not prime. Res64: F05A746ECE784DF4 Time : 0.0 sec. user=mdettweiler [2013-02-08 22:50:23] 999*2^1240820-1 is not prime. Res64: 90F383CF0F3D75E1 Time : 0.0 sec. user=vaughan [2013-02-08 22:50:59] 815*2^1240818-1 is not prime. Res64: F7A7203561C851A1 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:07:44] 681*2^1240821-1 is not prime. Res64: D47541084E95422D Time : 0.0 sec. user=mdettweiler [2013-02-08 23:07:46] 717*2^1240821-1 is not prime. Res64: 63E0328EA2A66B18 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:08:24] 671*2^1240822-1 is not prime. Res64: D5D96DBE41394097 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:08:25] 677*2^1240822-1 is not prime. Res64: 4278832BFF09AAD8 Time : 0.0 sec. user=juhehe [2013-02-08 23:21:59] 601*2^1240821-1 is not prime. Res64: 72A50595E6DDE4DF Time : 0.0 sec. user=mdettweiler [2013-02-08 23:26:23] 741*2^1240822-1 is not prime. Res64: EE9CB6FD495427A8 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:26:24] 843*2^1240822-1 is not prime. Res64: D1CFA4B5DF384562 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:26:34] 897*2^1240822-1 is not prime. Res64: 1808C14A832AA014 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:26:34] 981*2^1240822-1 is not prime. Res64: 72B614841782A866 Time : 0.0 sec. user=vaughan [2013-02-08 23:28:50] 717*2^1240822-1 is not prime. Res64: 65079BCEEF839495 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:44:14] 703*2^1240823-1 is not prime. Res64: 4B42865221FE2B9E Time : 0.0 sec. user=mdettweiler [2013-02-08 23:44:15] 813*2^1240823-1 is not prime. Res64: 32296FFBE52104B0 Time : 0.0 sec. user=mdettweiler [2013-02-08 23:44:24] 855*2^1240823-1 is not prime. Res64: 1359A7843E0E94CE Time : 0.0 sec. user=mdettweiler [2013-02-08 23:44:24] 885*2^1240823-1 is not prime. Res64: C3C46FD37FBF6AB8 Time : 0.0 sec.