user=mdettweiler [2013-02-27 00:13:50] 793*2^1241683-1 is not prime. Res64: 5D0758A7082DADA3 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:13:51] 819*2^1241683-1 is not prime. Res64: FFD8354E19B35B95 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:15:18] 835*2^1241683-1 is not prime. Res64: CA036B8F277CFE52 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:15:19] 939*2^1241683-1 is not prime. Res64: DCC774BDC8903B5B Time : 0.0 sec. user=juhehe [2013-02-27 00:28:32] 977*2^1241682-1 is not prime. Res64: E079637EB24212BD Time : 0.0 sec. user=vaughan [2013-02-27 00:28:42] 745*2^1241683-1 is not prime. Res64: 3522F75D439D6375 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:31:19] 665*2^1241684-1 is not prime. Res64: 334C27913D173F25 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:31:20] 707*2^1241684-1 is not prime. Res64: 44AB80099125CD38 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:32:44] 729*2^1241684-1 is not prime. Res64: 927423DD4D0215D0 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:32:45] 819*2^1241684-1 is not prime. Res64: 7FA7AF81126B484E Time : 0.0 sec. user=juhehe [2013-02-27 00:35:11] 951*2^1241683-1 is not prime. Res64: 1245C3D30E15660E Time : 0.0 sec. user=mdettweiler [2013-02-27 00:48:44] 667*2^1241685-1 is not prime. Res64: 897442EAB252B887 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:48:44] 699*2^1241685-1 is not prime. Res64: F1E097002AA4CB42 Time : 0.0 sec. user=mdettweiler [2013-02-27 00:50:09] 927*2^1241685-1 is not prime. Res64: 30A323470BC7588A Time : 0.0 sec. user=mdettweiler [2013-02-27 00:50:10] 969*2^1241685-1 is not prime. Res64: AB71738F2BDC1EC6 Time : 0.0 sec. user=juhehe [2013-02-27 01:05:26] 893*2^1241684-1 is not prime. Res64: 0F909B035EB606E0 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:06:10] 623*2^1241686-1 is not prime. Res64: EC9A53377AAA8E65 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:06:11] 723*2^1241686-1 is not prime. Res64: F9776BAE0AD2F475 Time : 0.0 sec. user=vaughan [2013-02-27 01:06:44] 649*2^1241685-1 is not prime. Res64: 89E8A737DD678B24 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:07:35] 741*2^1241686-1 is not prime. Res64: FF9EB0AB9C5A5986 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:07:36] 755*2^1241686-1 is not prime. Res64: 93A656FD1723D3F2 Time : 0.0 sec. user=juhehe [2013-02-27 01:12:24] 615*2^1241684-1 is not prime. Res64: C611F5AC52E8442D Time : 0.0 sec. user=juhehe [2013-02-27 01:18:01] 885*2^1241684-1 is not prime. Res64: 01891C489885F713 Time : 0.0 sec. user=juhehe [2013-02-27 01:19:41] 999*2^1241685-1 is not prime. Res64: 6AADEDE7FCC142F2 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:23:37] 655*2^1241687-1 is not prime. Res64: 3B220A06C821C4D9 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:23:37] 675*2^1241687-1 is not prime. Res64: 3A6B504C71B06FAA Time : 0.0 sec. user=mdettweiler [2013-02-27 01:25:01] 781*2^1241687-1 is not prime. Res64: 720B6EF66822F3AA Time : 0.0 sec. user=mdettweiler [2013-02-27 01:25:01] 889*2^1241687-1 is not prime. Res64: 1A6F7456695EF6F1 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:41:35] 605*2^1241688-1 is not prime. Res64: BE8BA540ACAEA837 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:41:35] 663*2^1241688-1 is not prime. Res64: 42BBDF397EAFFBE1 Time : 0.0 sec. user=juhehe [2013-02-27 01:42:30] 815*2^1241686-1 is not prime. Res64: A7CE6D6373B9D2C2 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:43:00] 707*2^1241688-1 is not prime. Res64: 44BC13609DCB0A74 Time : 0.0 sec. user=mdettweiler [2013-02-27 01:43:01] 759*2^1241688-1 is not prime. Res64: 977765E54557A8E2 Time : 0.0 sec. user=vaughan [2013-02-27 01:44:42] 693*2^1241687-1 is not prime. Res64: 309125FB1D21BDAC Time : 0.0 sec. user=juhehe [2013-02-27 02:04:08] 999*2^1241687-1 is not prime. Res64: 6CB6E43B80A700BC Time : 0.0 sec. user=juhehe [2013-02-27 02:19:31] 685*2^1241689-1 is not prime. Res64: 7B9C18001EDD56BB Time : 0.0 sec. user=vaughan [2013-02-27 02:22:44] 877*2^1241689-1 is not prime. Res64: 4712FDB1F0CAA55A Time : 0.0 sec. user=juhehe [2013-02-27 02:49:42] 979*2^1241689-1 is not prime. Res64: EC1B50D902D1E9B6 Time : 0.0 sec. user=mdettweiler [2013-02-27 02:55:41] 923*2^1241688-1 is not prime. Res64: 0A8C0F860D0F3F92 Time : 0.0 sec. user=mdettweiler [2013-02-27 02:55:42] 601*2^1241689-1 is not prime. Res64: 7E2E9C95057B1D50 Time : 0.0 sec. user=juhehe [2013-02-27 03:05:04] 997*2^1241689-1 is not prime. Res64: 30E6FB47A9E20AEE Time : 0.0 sec. user=vaughan [2013-02-27 03:05:47] 999*2^1241689-1 is not prime. Res64: 1CD50BB3DEE85A70 Time : 0.0 sec. user=juhehe [2013-02-27 03:25:06] 985*2^1241689-1 is not prime. Res64: 08E0A8D11048002F Time : 0.0 sec. user=juhehe [2013-02-27 03:26:21] 633*2^1241690-1 is not prime. Res64: 871BED2B5E732235 Time : 0.0 sec. user=juhehe [2013-02-27 03:41:09] 625*2^1241691-1 is not prime. Res64: AC1EBB9592A75368 Time : 0.0 sec. user=vaughan [2013-02-27 03:43:48] 685*2^1241691-1 is not prime. Res64: 6F07856179EF3DB0 Time : 0.0 sec. user=juhehe [2013-02-27 04:02:28] 961*2^1241691-1 is not prime. Res64: E1CA607D65ED4926 Time : 0.0 sec. user=juhehe [2013-02-27 04:12:49] 913*2^1241691-1 is not prime. Res64: AC780E7546687D92 Time : 0.0 sec. user=vaughan [2013-02-27 04:26:53] 975*2^1241691-1 is not prime. Res64: 77982D11D1896394 Time : 0.0 sec. user=juhehe [2013-02-27 04:38:47] 603*2^1241692-1 is not prime. Res64: 5F2AB90BE72FC2D8 Time : 0.0 sec. user=vaughan [2013-02-27 05:05:00] 605*2^1241692-1 is not prime. Res64: 461545383042DEEC Time : 0.0 sec. user=juhehe [2013-02-27 05:14:51] 639*2^1241692-1 is not prime. Res64: 49D3A13F50390C07 Time : 0.0 sec. user=juhehe [2013-02-27 05:25:43] 719*2^1241692-1 is not prime. Res64: 6CB4D01450B5DEAD Time : 0.0 sec. user=vaughan [2013-02-27 05:43:03] 869*2^1241692-1 is not prime. Res64: 467C75FD97C4C7D8 Time : 0.0 sec. user=juhehe [2013-02-27 05:59:20] 999*2^1241692-1 is not prime. Res64: F2728CAA805127B3 Time : 0.0 sec. user=juhehe [2013-02-27 06:13:44] 957*2^1241692-1 is not prime. Res64: 4EF33D5F0EB3DC6E Time : 0.0 sec. user=vaughan [2013-02-27 06:21:09] 747*2^1241693-1 is not prime. Res64: F95221C100C11EEF Time : 0.0 sec. user=juhehe [2013-02-27 06:24:53] 669*2^1241693-1 is not prime. Res64: 24C14CC834ED141B Time : 0.0 sec. user=juhehe [2013-02-27 06:35:24] 925*2^1241693-1 is not prime. Res64: 679567E17E415F61 Time : 0.0 sec. user=vaughan [2013-02-27 06:59:10] 939*2^1241693-1 is not prime. Res64: 346366604010D00F Time : 0.0 sec. user=juhehe [2013-02-27 07:19:17] 987*2^1241693-1 is not prime. Res64: 9D70A2732F44860C Time : 0.0 sec. user=vaughan [2013-02-27 07:37:16] 657*2^1241694-1 is not prime. Res64: DE1C47F78993A16A Time : 0.0 sec. user=juhehe [2013-02-27 07:41:12] 957*2^1241694-1 is not prime. Res64: 969911C8EB2629F0 Time : 0.0 sec. user=juhehe [2013-02-27 07:46:44] 671*2^1241694-1 is not prime. Res64: 29F64BD89858AA13 Time : 0.0 sec. user=juhehe [2013-02-27 08:14:08] 705*2^1241694-1 is not prime. Res64: A00FF7C9EDC0E94F Time : 0.0 sec. user=vaughan [2013-02-27 08:15:17] 685*2^1241695-1 is not prime. Res64: 1905D391CC29A1FC Time : 0.0 sec. user=juhehe [2013-02-27 08:25:32] 679*2^1241695-1 is not prime. Res64: 4B87F88E6E05865A Time : 0.0 sec. user=vaughan [2013-02-27 08:53:21] 709*2^1241695-1 is not prime. Res64: D36A7D48B18C927A Time : 0.0 sec. user=juhehe [2013-02-27 09:09:23] 723*2^1241695-1 is not prime. Res64: E0CEEBAC6A7F9CF0 Time : 0.0 sec. user=vaughan [2013-02-27 09:31:23] 735*2^1241695-1 is not prime. Res64: FDA61DF10FC80CFA Time : 0.0 sec. user=juhehe [2013-02-27 09:37:07] 741*2^1241695-1 is not prime. Res64: 5CBBFA4C06A3DA4D Time : 0.0 sec. user=juhehe [2013-02-27 10:04:30] 805*2^1241695-1 is not prime. Res64: 77FE977FD32D7111 Time : 0.0 sec. user=vaughan [2013-02-27 10:09:34] 843*2^1241695-1 is not prime. Res64: BA2FADB03CAE4DD5 Time : 0.0 sec. user=juhehe [2013-02-27 10:14:33] 759*2^1241695-1 is not prime. Res64: D90962D6E2281D16 Time : 0.0 sec. user=juhehe [2013-02-27 10:26:12] 765*2^1241695-1 is not prime. Res64: 3E082AA150752926 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:31:16] 687*2^1241689-1 is not prime. Res64: 32443DBF6AC3C885 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:31:17] 817*2^1241689-1 is not prime. Res64: DFBF1C1D42C75AAE Time : 0.0 sec. user=juhehe [2013-02-27 10:37:27] 915*2^1241695-1 is not prime. Res64: BDC7C09B45D5BBA1 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:40:14] 999*2^1241695-1 is not prime. Res64: 234EC9ACC80A0120 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:40:15] 629*2^1241696-1 is not prime. Res64: 5E6AE704D18CB346 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:48:51] 755*2^1241696-1 is not prime. Res64: 2A79C5A9D30B1F69 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:48:52] 815*2^1241696-1 is not prime. Res64: 45AE5C929AF1FE42 Time : 0.0 sec. user=juhehe [2013-02-27 10:57:44] 855*2^1241696-1 is not prime. Res64: 6C0589CA40CDF60A Time : 0.0 sec. user=mdettweiler [2013-02-27 10:57:45] 927*2^1241696-1 is not prime. Res64: 09AA06C373B7D7C1 Time : 0.0 sec. user=mdettweiler [2013-02-27 10:57:46] 935*2^1241696-1 is not prime. Res64: 14CEA1FB051C7086 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:06:20] 777*2^1241697-1 is not prime. Res64: CAD44CCE75244E09 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:06:21] 885*2^1241697-1 is not prime. Res64: 0FF2C790E6693C20 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:15:14] 901*2^1241697-1 is not prime. Res64: FD9855F9D3934CF5 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:15:15] 915*2^1241697-1 is not prime. Res64: C8086F0195D162EA Time : 0.0 sec. user=mdettweiler [2013-02-27 11:23:53] 919*2^1241697-1 is not prime. Res64: AC7F28BA0B999ADF Time : 0.0 sec. user=mdettweiler [2013-02-27 11:23:53] 617*2^1241698-1 is not prime. Res64: E3788421CB15996E Time : 0.0 sec. user=mdettweiler [2013-02-27 11:32:42] 677*2^1241698-1 is not prime. Res64: BE916B343296D20D Time : 0.0 sec. user=mdettweiler [2013-02-27 11:32:43] 695*2^1241698-1 is not prime. Res64: 924C7CA48BED3125 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:41:23] 813*2^1241698-1 is not prime. Res64: 6FCCC0A743AED3B3 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:41:23] 827*2^1241698-1 is not prime. Res64: EFF5C63A18B9690C Time : 0.0 sec. user=juhehe [2013-02-27 11:48:40] 623*2^1241698-1 is not prime. Res64: 4C1892ACD1B421FD Time : 0.0 sec. user=mdettweiler [2013-02-27 11:50:16] 951*2^1241698-1 is not prime. Res64: 55877CB30C6F9D48 Time : 0.0 sec. user=mdettweiler [2013-02-27 11:50:16] 987*2^1241698-1 is not prime. Res64: 806D75D8D36D4F9D Time : 0.0 sec. user=juhehe [2013-02-27 11:55:12] 723*2^1241698-1 is not prime. Res64: 8B5BD5F30558C3EB Time : 0.0 sec. user=mdettweiler [2013-02-27 11:58:55] 655*2^1241699-1 is not prime. Res64: B2AE78509F3E9E9A Time : 0.0 sec. user=mdettweiler [2013-02-27 11:58:56] 693*2^1241699-1 is not prime. Res64: 06D1EE23C3944B5A Time : 0.0 sec. user=mdettweiler [2013-02-27 12:07:47] 811*2^1241699-1 is not prime. Res64: EA0C7C97B2E76BEA Time : 0.0 sec. user=mdettweiler [2013-02-27 12:07:47] 943*2^1241699-1 is not prime. Res64: E9889434D37D4884 Time : 0.0 sec. user=juhehe [2013-02-27 12:15:02] 663*2^1241698-1 is not prime. Res64: 59DDFDCF3C8CCF95 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:16:24] 999*2^1241699-1 is not prime. Res64: 9099CF687D5B88D9 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:16:25] 623*2^1241700-1 is not prime. Res64: 2ECD89C48546C336 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:25:20] 647*2^1241700-1 is not prime. Res64: 90CBBD52978E61A6 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:25:20] 723*2^1241700-1 is not prime. Res64: 07C5C3D3CDEFDF97 Time : 0.0 sec. user=juhehe [2013-02-27 12:27:32] 635*2^1241700-1 is not prime. Res64: 19260403FFB29599 Time : 0.0 sec. user=juhehe [2013-02-27 12:28:03] 845*2^1241698-1 is not prime. Res64: 0705C6859A393ED3 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:33:54] 759*2^1241700-1 is not prime. Res64: 608642A7B14272B7 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:33:54] 773*2^1241700-1 is not prime. Res64: 6FB205208E03B802 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:42:53] 797*2^1241700-1 is not prime. Res64: 1A5EDA4F135C78ED Time : 0.0 sec. user=mdettweiler [2013-02-27 12:42:53] 825*2^1241700-1 is not prime. Res64: 54C89DD4AEBD9DB1 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:51:26] 863*2^1241700-1 is not prime. Res64: 054FC12F8AFA4F23 Time : 0.0 sec. user=mdettweiler [2013-02-27 12:51:26] 899*2^1241700-1 is not prime. Res64: 0979C15C0CEA8861 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:00:25] 915*2^1241700-1 is not prime. Res64: 2BB10A969FEA22CF Time : 0.0 sec. user=mdettweiler [2013-02-27 13:00:26] 927*2^1241700-1 is not prime. Res64: 315B63FF66AA2BAA Time : 0.0 sec. user=mdettweiler [2013-02-27 13:08:54] 929*2^1241700-1 is not prime. Res64: 29FCA281B07A382E Time : 0.0 sec. user=mdettweiler [2013-02-27 13:08:57] 645*2^1241701-1 is not prime. Res64: DDF6E6F5B5B10075 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:17:58] 757*2^1241701-1 is not prime. Res64: F21DF105F042C517 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:17:58] 801*2^1241701-1 is not prime. Res64: E5E67060EF3E522E Time : 0.0 sec. user=mdettweiler [2013-02-27 13:26:27] 861*2^1241701-1 is not prime. Res64: 9AB07322958C054F Time : 0.0 sec. user=mdettweiler [2013-02-27 13:26:28] 871*2^1241701-1 is not prime. Res64: F101C9D7E718D5D1 Time : 0.0 sec. user=juhehe [2013-02-27 13:32:36] 751*2^1241701-1 is not prime. Res64: 47921D6DE7E04E19 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:35:26] 951*2^1241701-1 is not prime. Res64: 52E3FCEF474F1942 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:35:26] 657*2^1241702-1 is not prime. Res64: 5E7E369483F837EC Time : 0.0 sec. user=juhehe [2013-02-27 13:39:09] 835*2^1241701-1 is not prime. Res64: 39243704BA51EB4A Time : 0.0 sec. user=mdettweiler [2013-02-27 13:43:56] 671*2^1241702-1 is not prime. Res64: C719C733BCBBFFF0 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:43:56] 683*2^1241702-1 is not prime. Res64: 9EC3657F59CCAD47 Time : 0.0 sec. user=mdettweiler [2013-02-27 13:52:56] 743*2^1241702-1 is not prime. Res64: 87F13FD7817626CC Time : 0.0 sec. user=mdettweiler [2013-02-27 13:52:57] 887*2^1241702-1 is not prime. Res64: 35DF71557F7BE0A6 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:01:27] 793*2^1241703-1 is not prime. Res64: 49AFCA24DDD14474 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:01:28] 805*2^1241703-1 is not prime. Res64: BAE0BFB878A128F8 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:10:26] 825*2^1241703-1 is not prime. Res64: A09B60E3243B30B0 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:10:27] 921*2^1241703-1 is not prime. Res64: CA12C7E9957210B2 Time : 0.0 sec. user=juhehe [2013-02-27 14:15:57] 895*2^1241701-1 is not prime. Res64: 72CB97053D0F1C52 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:18:59] 635*2^1241704-1 is not prime. Res64: 7A50BD6696129876 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:19:00] 677*2^1241704-1 is not prime. Res64: 3F0369DFBECBF7A1 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:28:01] 939*2^1241704-1 is not prime. Res64: EA35893E1870F49C Time : 0.0 sec. user=mdettweiler [2013-02-27 14:28:02] 989*2^1241704-1 is not prime. Res64: 052F12B0C35B32FC Time : 0.0 sec. user=juhehe [2013-02-27 14:29:35] 741*2^1241702-1 is not prime. Res64: CC23B02AB5E9E68F Time : 0.0 sec. user=mdettweiler [2013-02-27 14:36:28] 777*2^1241705-1 is not prime. Res64: A5936FCA8A5420FA Time : 0.0 sec. user=mdettweiler [2013-02-27 14:36:29] 707*2^1241706-1 is not prime. Res64: 85E8B3E9509BC51F Time : 0.0 sec. user=mdettweiler [2013-02-27 14:45:31] 713*2^1241706-1 is not prime. Res64: 6024FD1D7B609242 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:45:32] 747*2^1241706-1 is not prime. Res64: 57D4FFC502E70F80 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:54:00] 765*2^1241706-1 is not prime. Res64: DDEC8455DE3D37D4 Time : 0.0 sec. user=mdettweiler [2013-02-27 14:54:01] 893*2^1241706-1 is not prime. Res64: 9897FBB0571CF32D Time : 0.0 sec. user=mdettweiler [2013-02-27 15:03:02] 945*2^1241706-1 is not prime. Res64: 033F4B63D6797F20 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:03:03] 947*2^1241706-1 is not prime. Res64: 9F7F5937CF8167CB Time : 0.0 sec. user=mdettweiler [2013-02-27 15:11:36] 975*2^1241706-1 is not prime. Res64: 301249ED832CAC6C Time : 0.0 sec. user=mdettweiler [2013-02-27 15:11:37] 759*2^1241707-1 is not prime. Res64: 066F9ED0EEEC7DAC Time : 0.0 sec. user=juhehe [2013-02-27 15:16:44] 917*2^1241706-1 is not prime. Res64: 4B35EF6C7C87E15E Time : 0.0 sec. user=mdettweiler [2013-02-27 15:20:45] 775*2^1241707-1 is not prime. Res64: D79CE38CB66F9F72 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:20:45] 819*2^1241707-1 is not prime. Res64: 8169C2DF64944E98 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:29:20] 885*2^1241707-1 is not prime. Res64: B9916318B6824C85 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:29:21] 931*2^1241707-1 is not prime. Res64: 3B1EDB11D72D01C1 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:38:21] 603*2^1241708-1 is not prime. Res64: 82C058E764F5D887 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:38:22] 663*2^1241708-1 is not prime. Res64: 45287BC27DFA57DA Time : 0.0 sec. user=mdettweiler [2013-02-27 15:46:53] 609*2^1241709-1 is not prime. Res64: 9448C0DD605C84FC Time : 0.0 sec. user=mdettweiler [2013-02-27 15:46:53] 649*2^1241709-1 is not prime. Res64: FD9142A51367CD50 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:55:55] 721*2^1241709-1 is not prime. Res64: D1D0A7AB267CEF16 Time : 0.0 sec. user=mdettweiler [2013-02-27 15:55:55] 741*2^1241709-1 is not prime. Res64: 43EB1C9907C643F7 Time : 0.0 sec. user=juhehe [2013-02-27 15:56:56] 797*2^1241708-1 is not prime. Res64: 06DD1393A0EFBBC3 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:04:26] 747*2^1241709-1 is not prime. Res64: 0CB457EB487918F7 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:04:28] 831*2^1241709-1 is not prime. Res64: AA303B754CF46D90 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:13:25] 889*2^1241709-1 is not prime. Res64: E97C299072B6E683 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:13:26] 951*2^1241709-1 is not prime. Res64: C432C6A150117CF4 Time : 0.0 sec. user=juhehe [2013-02-27 16:16:59] 951*2^1241707-1 is not prime. Res64: 03A079F9060CAD93 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:22:03] 997*2^1241709-1 is not prime. Res64: 4DFD6266A74321B9 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:22:03] 647*2^1241710-1 is not prime. Res64: B3B3027D28AE1DFF Time : 0.0 sec. user=juhehe [2013-02-27 16:30:35] 893*2^1241708-1 is not prime. Res64: CBF5E4F4D62079D3 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:30:57] 651*2^1241710-1 is not prime. Res64: 85526638519AE985 Time : 0.0 sec. user=mdettweiler [2013-02-27 16:30:57] 755*2^1241710-1 is not prime. Res64: 2F71FFE606FF6C5A Time : 0.0 sec. user=mdettweiler [2013-02-27 16:39:35] 761*2^1241710-1 is not prime. Res64: 7DAEC3658C26665E Time : 0.0 sec. user=mdettweiler [2013-02-27 16:39:36] 765*2^1241710-1 is not prime. Res64: 25F9E18DE9D80DFA Time : 0.0 sec. user=mdettweiler [2013-02-27 16:48:27] 885*2^1241710-1 is not prime. Res64: 2258A18D917594DA Time : 0.0 sec. user=mdettweiler [2013-02-27 16:48:28] 965*2^1241710-1 is not prime. Res64: BB4F6444E76F5C1D Time : 0.0 sec. user=mdettweiler [2013-02-27 16:57:07] 715*2^1241711-1 is not prime. Res64: 903DE7C3340586BF Time : 0.0 sec. user=mdettweiler [2013-02-27 16:57:08] 759*2^1241711-1 is not prime. Res64: D8706980E9261028 Time : 0.0 sec. user=mdettweiler [2013-02-27 17:05:58] 775*2^1241711-1 is not prime. Res64: 04E03E1B199B2ABC Time : 0.0 sec. user=mdettweiler [2013-02-27 17:05:59] 879*2^1241711-1 is not prime. Res64: 3E8BC714EE8E6832 Time : 0.0 sec. user=juhehe [2013-02-27 17:07:58] 785*2^1241710-1 is not prime. Res64: 56E36F865F61932B Time : 0.0 sec. user=mdettweiler [2013-02-27 17:14:40] 913*2^1241711-1 is not prime. Res64: F6826AF0FF72D742 Time : 0.0 sec. user=mdettweiler [2013-02-27 17:14:41] 981*2^1241711-1 is not prime. Res64: 8D18ADF1AFB2BDEC Time : 0.0 sec. user=mdettweiler [2013-02-27 17:23:30] 657*2^1241712-1 is not prime. Res64: F9956FE79E1DBDBE Time : 0.0 sec. user=mdettweiler [2013-02-27 17:23:30] 719*2^1241712-1 is not prime. Res64: B66C6370547535E0 Time : 0.0 sec. user=mdettweiler [2013-02-27 17:32:17] 725*2^1241712-1 is not prime. Res64: 341850675148E36F Time : 0.0 sec. user=mdettweiler [2013-02-27 17:32:17] 887*2^1241712-1 is not prime. Res64: AF5DA7FC8C8653BB Time : 0.0 sec. user=mdettweiler [2013-02-27 17:41:27] 895*2^1241713-1 is not prime. Res64: 7C5A162E42E967FC Time : 0.0 sec. user=mdettweiler [2013-02-27 17:41:27] 901*2^1241713-1 is not prime. Res64: 4E63977502E8F5BB Time : 0.0 sec. user=mdettweiler [2013-02-27 17:50:35] 687*2^1241714-1 is not prime. Res64: 45D5156B9A5E1C2F Time : 0.0 sec. user=mdettweiler [2013-02-27 17:50:35] 921*2^1241714-1 is not prime. Res64: 64875E6249C6C178 Time : 0.0 sec. user=mdettweiler [2013-02-27 17:59:52] 825*2^1241715-1 is not prime. Res64: 3B18340ADA9D2FD3 Time : 0.0 sec. user=mdettweiler [2013-02-27 17:59:52] 963*2^1241715-1 is not prime. Res64: CB8D6C67FEA08798 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:08:53] 973*2^1241715-1 is not prime. Res64: 337E0559C08F9E11 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:08:54] 617*2^1241716-1 is not prime. Res64: 8872BC3740FC0FD0 Time : 0.0 sec. user=juhehe [2013-02-27 18:17:17] 625*2^1241713-1 is not prime. Res64: 9A3D7F0167BBF2E3 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:18:07] 749*2^1241716-1 is not prime. Res64: FBE8FE7E91A83387 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:18:07] 765*2^1241716-1 is not prime. Res64: 6CD8C432D60FADA6 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:27:11] 779*2^1241716-1 is not prime. Res64: 8CBD44937C304498 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:27:11] 855*2^1241716-1 is not prime. Res64: 4E06FEDA61FE7026 Time : 0.0 sec. user=juhehe [2013-02-27 18:31:59] 623*2^1241714-1 is not prime. Res64: CD02338777DD8AB6 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:36:17] 909*2^1241716-1 is not prime. Res64: 478B21FB133BD4FE Time : 0.0 sec. user=mdettweiler [2013-02-27 18:36:17] 953*2^1241716-1 is not prime. Res64: 1639D60C6ECA1364 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:45:03] 655*2^1241717-1 is not prime. Res64: C8C978A6FDFEB8B7 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:45:03] 669*2^1241717-1 is not prime. Res64: B56FC31C79E674A7 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:53:52] 717*2^1241717-1 is not prime. Res64: D45456CF48F6D0E3 Time : 0.0 sec. user=mdettweiler [2013-02-27 18:53:53] 747*2^1241717-1 is not prime. Res64: 9BB22368CEA67D70 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:02:39] 759*2^1241717-1 is not prime. Res64: 4B31238754205089 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:02:40] 777*2^1241717-1 is not prime. Res64: 47EEC1AA8CAC451F Time : 0.0 sec. user=mdettweiler [2013-02-27 19:11:30] 871*2^1241717-1 is not prime. Res64: F2A3918E898090CB Time : 0.0 sec. user=mdettweiler [2013-02-27 19:11:30] 937*2^1241717-1 is not prime. Res64: 05B688E46304F57C Time : 0.0 sec. user=mdettweiler [2013-02-27 19:20:24] 945*2^1241717-1 is not prime. Res64: 8B1C73E94376494F Time : 0.0 sec. user=mdettweiler [2013-02-27 19:20:25] 843*2^1241718-1 is not prime. Res64: 4B8B191C16E9E2D3 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:29:05] 933*2^1241718-1 is not prime. Res64: 7F3631C86B2F5491 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:29:06] 1001*2^1241718-1 is not prime. Res64: 283B7E1BF6B54195 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:38:01] 621*2^1241719-1 is not prime. Res64: 8B7FCC19BD07C759 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:38:01] 633*2^1241719-1 is not prime. Res64: B50ED9A07C98DC86 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:46:43] 735*2^1241719-1 is not prime. Res64: AB9F03BCE7672497 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:46:43] 759*2^1241719-1 is not prime. Res64: D1E666D73C73218C Time : 0.0 sec. user=mdettweiler [2013-02-27 19:55:39] 829*2^1241719-1 is not prime. Res64: 442E53B5136AAD17 Time : 0.0 sec. user=mdettweiler [2013-02-27 19:55:39] 759*2^1241720-1 is not prime. Res64: 2CF9E1010F990048 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:04:15] 767*2^1241720-1 is not prime. Res64: 4F521BBB88A3AE88 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:04:16] 785*2^1241720-1 is not prime. Res64: 17A5C702EBCBA55B Time : 0.0 sec. user=mdettweiler [2013-02-27 20:13:11] 879*2^1241720-1 is not prime. Res64: 4CF48CCEE67E3901 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:13:12] 923*2^1241720-1 is not prime. Res64: 91107C0C1C697932 Time : 0.0 sec. user=juhehe [2013-02-27 20:18:02] 619*2^1241719-1 is not prime. Res64: 0F696A2C81451EC3 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:21:48] 685*2^1241721-1 is not prime. Res64: 3D0B9279239EF788 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:21:48] 861*2^1241721-1 is not prime. Res64: 3D89C298CF9A1766 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:30:42] 865*2^1241721-1 is not prime. Res64: 69AFB10D496BD536 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:30:43] 921*2^1241721-1 is not prime. Res64: 9CBC0C077F765388 Time : 0.0 sec. user=juhehe [2013-02-27 20:32:27] 763*2^1241719-1 is not prime. Res64: F46FAB1EBF289EE7 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:39:18] 645*2^1241722-1 is not prime. Res64: A1B9D882F6F26C7E Time : 0.0 sec. user=mdettweiler [2013-02-27 20:39:18] 653*2^1241722-1 is not prime. Res64: CCCB51EDE51887D2 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:48:16] 735*2^1241722-1 is not prime. Res64: 11E98BACD0FBC704 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:48:16] 737*2^1241722-1 is not prime. Res64: 6B5D1CF127AEE9F2 Time : 0.0 sec. user=mdettweiler [2013-02-27 20:56:48] 923*2^1241722-1 is not prime. Res64: 60CACA1E9CE078FB Time : 0.0 sec. user=mdettweiler [2013-02-27 20:56:49] 957*2^1241722-1 is not prime. Res64: 57AA927367AD2185 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:05:49] 981*2^1241722-1 is not prime. Res64: 95DAC34B36D00293 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:05:50] 1001*2^1241722-1 is not prime. Res64: 9C57F0CACD8A23C8 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:14:20] 699*2^1241723-1 is not prime. Res64: 15DBF4CBE6DB4E63 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:14:20] 775*2^1241723-1 is not prime. Res64: 35460315AF802B5A Time : 0.0 sec. user=mdettweiler [2013-02-27 21:23:22] 783*2^1241723-1 is not prime. Res64: 469580483F083744 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:23:23] 803*2^1241724-1 is not prime. Res64: 206CB4223C6D1304 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:31:51] 965*2^1241724-1 is not prime. Res64: CA04C53E36531D14 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:31:51] 983*2^1241724-1 is not prime. Res64: 4AFD2472131EE77E Time : 0.0 sec. user=mdettweiler [2013-02-27 21:40:55] 717*2^1241725-1 is not prime. Res64: 0D3E5779312FBA8E Time : 0.0 sec. user=mdettweiler [2013-02-27 21:40:55] 721*2^1241725-1 is not prime. Res64: ED720F4893F38DB8 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:49:22] 705*2^1241726-1 is not prime. Res64: 3F89282FEC4E8E36 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:49:22] 773*2^1241726-1 is not prime. Res64: 12A320A86D9096E2 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:58:26] 785*2^1241726-1 is not prime. Res64: D2C2FF8D7D88F918 Time : 0.0 sec. user=mdettweiler [2013-02-27 21:58:27] 893*2^1241726-1 is not prime. Res64: 10BC754488665140 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:06:53] 945*2^1241726-1 is not prime. Res64: 5D756C4FB09712FE Time : 0.0 sec. user=mdettweiler [2013-02-27 22:06:54] 981*2^1241726-1 is not prime. Res64: 53685260A2B41D00 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:15:58] 691*2^1241727-1 is not prime. Res64: 5F3E58F55FCB8282 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:15:58] 829*2^1241727-1 is not prime. Res64: E9BF77CD64A44C8D Time : 0.0 sec. user=mdettweiler [2013-02-27 22:24:25] 895*2^1241727-1 is not prime. Res64: 413BC526BFCDE626 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:24:26] 945*2^1241727-1 is not prime. Res64: 4E7CCAE5FEB7D242 Time : 0.0 sec. user=juhehe [2013-02-27 22:25:21] 993*2^1241724-1 is not prime. Res64: 1226B63C96AABC16 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:33:28] 677*2^1241728-1 is not prime. Res64: E8AD3EF725BE2307 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:33:29] 803*2^1241728-1 is not prime. Res64: 83BF59648B6A3A93 Time : 0.0 sec. user=juhehe [2013-02-27 22:33:59] 777*2^1241725-1 is not prime. Res64: 38ADB6EE63F8BBA3 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:41:56] 863*2^1241728-1 is not prime. Res64: 923619202C9EAB7F Time : 0.0 sec. user=mdettweiler [2013-02-27 22:41:56] 905*2^1241728-1 is not prime. Res64: C48A3FCF0C038032 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:50:59] 989*2^1241728-1 is not prime. Res64: 619E60FB55EDAA6C Time : 0.0 sec. user=mdettweiler [2013-02-27 22:51:00] 675*2^1241729-1 is not prime. Res64: 1CA85A83F019145D Time : 0.0 sec. user=mdettweiler [2013-02-27 22:59:26] 691*2^1241729-1 is not prime. Res64: B7398AAFDE36BA36 Time : 0.0 sec. user=mdettweiler [2013-02-27 22:59:26] 721*2^1241729-1 is not prime. Res64: 71195F50DCE3E344 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:08:30] 769*2^1241729-1 is not prime. Res64: CF6D14E7307AA365 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:08:31] 841*2^1241729-1 is not prime. Res64: 5055F278942929E3 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:17:01] 847*2^1241729-1 is not prime. Res64: 4952F1BCE16A20BF Time : 0.0 sec. user=mdettweiler [2013-02-27 23:17:01] 969*2^1241729-1 is not prime. Res64: F561109BECCF88A2 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:26:24] 987*2^1241729-1 is not prime. Res64: 6358B584DF88C3A6 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:26:24] 797*2^1241730-1 is not prime. Res64: 3EB25C80C564347B Time : 0.0 sec. user=mdettweiler [2013-02-27 23:34:47] 905*2^1241730-1 is not prime. Res64: 15E8481CCB0DEE65 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:34:48] 923*2^1241730-1 is not prime. Res64: E232434D56A7B2BA Time : 0.0 sec. user=mdettweiler [2013-02-27 23:43:53] 901*2^1241731-1 is not prime. Res64: 462C1EDE5D58EF59 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:43:53] 669*2^1241732-1 is not prime. Res64: 50FD6961ADD723E6 Time : 0.0 sec. user=mdettweiler [2013-02-27 23:52:15] 875*2^1241732-1 is not prime. Res64: AAD869429872FC8C Time : 0.0 sec. user=mdettweiler [2013-02-27 23:52:16] 903*2^1241732-1 is not prime. Res64: A4DF5EA3550F7FBB Time : 0.0 sec.