user=mdettweiler [2013-03-24 00:01:53] 751*2^1243291-1 is not prime. Res64: EFE3A0506460DE73 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:01:53] 789*2^1243291-1 is not prime. Res64: 2447F8FA0A867CB4 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:10:53] 819*2^1243291-1 is not prime. Res64: D88451BF3831A4FC Time : 0.0 sec. user=mdettweiler [2013-03-24 00:10:53] 861*2^1243291-1 is not prime. Res64: 14CA3C3772716154 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:19:19] 871*2^1243291-1 is not prime. Res64: 95E47D9012119B03 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:19:19] 873*2^1243291-1 is not prime. Res64: 913945899CF40F2B Time : 0.0 sec. user=mdettweiler [2013-03-24 00:28:18] 885*2^1243291-1 is not prime. Res64: C01C0A6EEFD142E6 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:28:19] 909*2^1243291-1 is not prime. Res64: 3C51499E8B5CE126 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:36:47] 617*2^1243292-1 is not prime. Res64: B76DD4B5C29CA7A7 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:36:47] 749*2^1243292-1 is not prime. Res64: 915151F652FCA2B2 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:45:43] 977*2^1243292-1 is not prime. Res64: CF60E87DA5B5286B Time : 0.0 sec. user=mdettweiler [2013-03-24 00:45:44] 607*2^1243293-1 is not prime. Res64: DFEB69B8DE762D2E Time : 0.0 sec. user=mdettweiler [2013-03-24 00:54:12] 621*2^1243293-1 is not prime. Res64: 916263CFA5327711 Time : 0.0 sec. user=mdettweiler [2013-03-24 00:54:13] 625*2^1243293-1 is not prime. Res64: DD19FEFDA92ED464 Time : 0.0 sec. user=mdettweiler [2013-03-24 01:03:08] 627*2^1243293-1 is not prime. Res64: BF09242E293D96A5 Time : 0.0 sec. user=mdettweiler [2013-03-24 01:03:09] 679*2^1243293-1 is not prime. Res64: E95E6BEDB78FE31B Time : 0.0 sec. user=mdettweiler [2013-03-24 01:11:37] 769*2^1243293-1 is not prime. Res64: 61780C26B076AABB Time : 0.0 sec. user=mdettweiler [2013-03-24 01:11:38] 819*2^1243293-1 is not prime. Res64: 78C62DD0F0864A7C Time : 0.0 sec. user=mdettweiler [2013-03-24 01:20:34] 891*2^1243293-1 is not prime. Res64: 94EF7BB6403A3605 Time : 0.0 sec. user=mdettweiler [2013-03-24 01:20:34] 955*2^1243293-1 is not prime. Res64: 21A0A289911F0291 Time : 0.0 sec. user=juhehe [2013-03-24 01:28:02] 753*2^1243292-1 is not prime. Res64: D33B3D0E832599BF Time : 0.0 sec. user=mdettweiler [2013-03-24 01:29:06] 987*2^1243293-1 is not prime. Res64: 190F3146019A9FBD Time : 0.0 sec. user=mdettweiler [2013-03-24 01:29:06] 621*2^1243294-1 is not prime. Res64: B420315A0108AC42 Time : 0.0 sec. user=mdettweiler [2013-03-24 01:37:58] 657*2^1243294-1 is not prime. Res64: 61A27B32114E545B Time : 0.0 sec. user=mdettweiler [2013-03-24 01:37:59] 831*2^1243294-1 is not prime. Res64: F147C64530B1AF00 Time : 0.0 sec. user=juhehe [2013-03-24 01:41:12] 957*2^1243292-1 is not prime. Res64: F5D507DA4D5AD81A Time : 0.0 sec. user=mdettweiler [2013-03-24 01:46:32] 965*2^1243294-1 is not prime. Res64: 67E308CA742E85F0 Time : 0.0 sec. user=mdettweiler [2013-03-24 01:46:32] 663*2^1243295-1 is not prime. Res64: 460EDF8C52FDECA9 Time : 0.0 sec. user=mdettweiler [2013-03-24 01:55:23] 885*2^1243295-1 is not prime. Res64: CC97507D392E132D Time : 0.0 sec. user=mdettweiler [2013-03-24 01:55:23] 913*2^1243295-1 is not prime. Res64: F3C88312B9949FB7 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:03:57] 653*2^1243296-1 is not prime. Res64: E4E57D4365320B54 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:03:58] 719*2^1243296-1 is not prime. Res64: 730F724E12091BCB Time : 0.0 sec. user=mdettweiler [2013-03-24 02:12:47] 747*2^1243296-1 is not prime. Res64: E9461636C4BAA31E Time : 0.0 sec. user=mdettweiler [2013-03-24 02:12:48] 759*2^1243296-1 is not prime. Res64: 3E372EFED5FCC780 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:21:26] 839*2^1243296-1 is not prime. Res64: B61E7E767E358357 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:21:26] 857*2^1243296-1 is not prime. Res64: 6145D3A29FB43487 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:30:11] 903*2^1243296-1 is not prime. Res64: 76AB7EF0091F6119 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:30:12] 905*2^1243296-1 is not prime. Res64: 07BEA1E9C2759202 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:38:52] 957*2^1243296-1 is not prime. Res64: D085C1EDABD2288A Time : 0.0 sec. user=mdettweiler [2013-03-24 02:38:54] 651*2^1243297-1 is not prime. Res64: 9F1E534800C1EF51 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:47:39] 729*2^1243297-1 is not prime. Res64: 9B9776B3A6CE9839 Time : 0.0 sec. user=mdettweiler [2013-03-24 02:56:26] 801*2^1243297-1 is not prime. Res64: CB1DBB72446B7B8B Time : 0.0 sec. user=mdettweiler [2013-03-24 02:56:26] 841*2^1243297-1 is not prime. Res64: 464AA6B1F1E79007 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:11:16] 741*2^1243297-1 is not prime. Res64: E5DD45FB45EC83B2 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:13:51] 999*2^1243297-1 is not prime. Res64: 10F047D7806E46CD Time : 0.0 sec. user=mdettweiler [2013-03-24 03:13:51] 687*2^1243298-1 is not prime. Res64: 01A7E6F49F484C43 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:28:41] 755*2^1243298-1 is not prime. Res64: DE315AEEE4AE1CC2 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:28:41] 815*2^1243298-1 is not prime. Res64: 47F56D20096BF523 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:31:16] 837*2^1243298-1 is not prime. Res64: 71345B83E1E4D5CA Time : 0.0 sec. user=mdettweiler [2013-03-24 03:31:17] 857*2^1243298-1 is not prime. Res64: 38EB3A0A6F25068C Time : 0.0 sec. user=juhehe [2013-03-24 03:34:56] 747*2^1243297-1 is not prime. Res64: 39ED3AEBF17AF984 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:46:06] 867*2^1243298-1 is not prime. Res64: 44EC81ABEE573256 Time : 0.0 sec. user=mdettweiler [2013-03-24 03:46:07] 977*2^1243298-1 is not prime. Res64: 985EA2F895CC4361 Time : 0.0 sec. user=juhehe [2013-03-24 03:47:46] 861*2^1243297-1 is not prime. Res64: 9250B3B5D3E5B63E Time : 0.0 sec. user=mdettweiler [2013-03-24 03:48:44] 685*2^1243299-1 is not prime. Res64: 6E7DFD30ACC6167D Time : 0.0 sec. user=mdettweiler [2013-03-24 03:48:44] 605*2^1243300-1 is not prime. Res64: 0389D0B0744013EA Time : 0.0 sec. user=mdettweiler [2013-03-24 04:03:34] 615*2^1243300-1 is not prime. Res64: BFE5FBB1E3036DBD Time : 0.0 sec. user=mdettweiler [2013-03-24 04:03:35] 677*2^1243300-1 is not prime. Res64: 4C5CD127C31E9A7B Time : 0.0 sec. user=mdettweiler [2013-03-24 04:06:13] 717*2^1243300-1 is not prime. Res64: B4A93CE1685BC198 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:06:14] 887*2^1243300-1 is not prime. Res64: 4301A266C8A104D5 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:21:23] 897*2^1243300-1 is not prime. Res64: 10328C7A3CF6D4EE Time : 0.0 sec. user=mdettweiler [2013-03-24 04:21:23] 909*2^1243300-1 is not prime. Res64: A48827F2759A9752 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:23:58] 983*2^1243300-1 is not prime. Res64: F1A6829728A51D94 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:23:59] 615*2^1243301-1 is not prime. Res64: E7667FAA92BC7771 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:38:48] 757*2^1243301-1 is not prime. Res64: FA801059F156519B Time : 0.0 sec. user=mdettweiler [2013-03-24 04:38:49] 867*2^1243301-1 is not prime. Res64: EC8D92E367553D30 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:41:23] 927*2^1243301-1 is not prime. Res64: A726958BD51964A4 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:41:24] 937*2^1243301-1 is not prime. Res64: 5473599257FDA244 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:56:16] 997*2^1243301-1 is not prime. Res64: 30B9B7E756A3C869 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:56:16] 681*2^1243302-1 is not prime. Res64: 5193AC6C74BDE324 Time : 0.0 sec. user=mdettweiler [2013-03-24 04:58:48] 717*2^1243302-1 is not prime. Res64: 030146891CCB93ED Time : 0.0 sec. user=mdettweiler [2013-03-24 04:58:49] 725*2^1243302-1 is not prime. Res64: 4430222B706D6A10 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:13:41] 761*2^1243302-1 is not prime. Res64: 78E274F815B4C157 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:13:42] 765*2^1243302-1 is not prime. Res64: B9E08C0A0CC90137 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:16:13] 977*2^1243302-1 is not prime. Res64: F6C5F0679BB77B83 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:16:13] 983*2^1243302-1 is not prime. Res64: 96D1B7AA3C4E6620 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:31:10] 1001*2^1243302-1 is not prime. Res64: 2180455B8FECC7E0 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:31:11] 789*2^1243303-1 is not prime. Res64: 6079FFF3A6A82C77 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:33:38] 849*2^1243303-1 is not prime. Res64: 4196912C8620309C Time : 0.0 sec. user=mdettweiler [2013-03-24 05:33:38] 855*2^1243303-1 is not prime. Res64: 62119DA422E21EC2 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:48:36] 871*2^1243303-1 is not prime. Res64: 84F60152CC69FB47 Time : 0.0 sec. user=mdettweiler [2013-03-24 05:48:36] 873*2^1243303-1 is not prime. Res64: 3130C9CDD0B456EC Time : 0.0 sec. user=juhehe [2013-03-24 05:49:27] 955*2^1243301-1 is not prime. Res64: 5E145F72AC97FC6A Time : 0.0 sec. user=mdettweiler [2013-03-24 05:51:02] 891*2^1243303-1 is not prime. Res64: B863F952145CCB9D Time : 0.0 sec. user=mdettweiler [2013-03-24 05:51:03] 657*2^1243304-1 is not prime. Res64: CEBB5E9F00AD9BED Time : 0.0 sec. user=juhehe [2013-03-24 05:54:41] 741*2^1243302-1 is not prime. Res64: 9597BB8E17CD3F78 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:06:01] 665*2^1243304-1 is not prime. Res64: EA14A206DD7B496F Time : 0.0 sec. user=mdettweiler [2013-03-24 06:06:02] 675*2^1243304-1 is not prime. Res64: 1D8967402CC22A28 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:08:27] 743*2^1243304-1 is not prime. Res64: FBB3A66768D79DE8 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:08:28] 747*2^1243304-1 is not prime. Res64: 5146F4B8AF15DC67 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:23:29] 767*2^1243304-1 is not prime. Res64: DE1D99E6774319FB Time : 0.0 sec. user=mdettweiler [2013-03-24 06:23:30] 825*2^1243304-1 is not prime. Res64: ABB7DB35A301B98C Time : 0.0 sec. user=mdettweiler [2013-03-24 06:25:54] 893*2^1243304-1 is not prime. Res64: EE8C49691FB29111 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:25:55] 897*2^1243304-1 is not prime. Res64: EE7171AB6FDE8259 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:40:54] 739*2^1243305-1 is not prime. Res64: 8D48FBBDD639F21A Time : 0.0 sec. user=mdettweiler [2013-03-24 06:40:55] 789*2^1243305-1 is not prime. Res64: F1847A37BD3FF49A Time : 0.0 sec. user=mdettweiler [2013-03-24 06:43:19] 837*2^1243305-1 is not prime. Res64: CC88AA7756EAFBB4 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:43:20] 861*2^1243305-1 is not prime. Res64: 3C64A83701E1E779 Time : 0.0 sec. user=mdettweiler [2013-03-24 06:58:20] 867*2^1243305-1 is not prime. Res64: 1C6B20162F4735EB Time : 0.0 sec. user=mdettweiler [2013-03-24 06:58:20] 921*2^1243305-1 is not prime. Res64: 842617E154F4BA0D Time : 0.0 sec. user=mdettweiler [2013-03-24 07:00:44] 955*2^1243305-1 is not prime. Res64: 6965B824F0B7C9E1 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:00:46] 979*2^1243305-1 is not prime. Res64: 97AC6CEA0D163FE9 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:15:45] 999*2^1243305-1 is not prime. Res64: 8CA1676359CFAB56 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:15:46] 611*2^1243306-1 is not prime. Res64: E35EED87E382B070 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:18:15] 723*2^1243306-1 is not prime. Res64: CB7A4C6D9E326609 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:18:16] 747*2^1243306-1 is not prime. Res64: 8E680FD6FF1EA588 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:33:14] 777*2^1243306-1 is not prime. Res64: 97CB1FC3E22C515D Time : 0.0 sec. user=mdettweiler [2013-03-24 07:33:14] 975*2^1243306-1 is not prime. Res64: 0BFE48FEC6A08D56 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:35:41] 645*2^1243307-1 is not prime. Res64: 254CBFFFC54DFC8A Time : 0.0 sec. user=mdettweiler [2013-03-24 07:35:41] 705*2^1243307-1 is not prime. Res64: FB4296EB68BC7DDA Time : 0.0 sec. user=mdettweiler [2013-03-24 07:50:40] 733*2^1243307-1 is not prime. Res64: FA0461A9D6ACAA73 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:50:40] 753*2^1243307-1 is not prime. Res64: A39A659F808232DC Time : 0.0 sec. user=mdettweiler [2013-03-24 07:53:06] 843*2^1243307-1 is not prime. Res64: 4288F8661D3417B6 Time : 0.0 sec. user=mdettweiler [2013-03-24 07:53:06] 879*2^1243307-1 is not prime. Res64: 1829AEAFE31DE26F Time : 0.0 sec. user=juhehe [2013-03-24 08:04:13] 991*2^1243305-1 is not prime. Res64: 8B03C6C998C4496D Time : 0.0 sec. user=mdettweiler [2013-03-24 08:08:05] 885*2^1243307-1 is not prime. Res64: 543A1568175516B0 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:08:06] 949*2^1243307-1 is not prime. Res64: E34126CA3B54D8F0 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:10:31] 605*2^1243308-1 is not prime. Res64: E619EA440F9C7EDF Time : 0.0 sec. user=mdettweiler [2013-03-24 08:10:31] 633*2^1243308-1 is not prime. Res64: 45A7F0743D51D9E0 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:25:36] 773*2^1243308-1 is not prime. Res64: 1BBA68A7BEF6665D Time : 0.0 sec. user=mdettweiler [2013-03-24 08:25:37] 809*2^1243308-1 is not prime. Res64: 8364412768DA9D05 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:27:56] 619*2^1243309-1 is not prime. Res64: 75F7E418D251A4F9 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:27:56] 639*2^1243309-1 is not prime. Res64: 5AB585C92EE290C1 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:43:02] 681*2^1243309-1 is not prime. Res64: 1E7807929DEEA82E Time : 0.0 sec. user=mdettweiler [2013-03-24 08:43:03] 741*2^1243309-1 is not prime. Res64: 9720FDDC1B9C28F0 Time : 0.0 sec. user=mdettweiler [2013-03-24 08:45:20] 861*2^1243309-1 is not prime. Res64: E78A9B02DDDA6EEA Time : 0.0 sec. user=mdettweiler [2013-03-24 08:45:21] 877*2^1243309-1 is not prime. Res64: F809AA7892D95202 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:00:28] 927*2^1243309-1 is not prime. Res64: B201932433805221 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:00:29] 931*2^1243309-1 is not prime. Res64: 7213F4D5D8FDF7C2 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:02:45] 945*2^1243309-1 is not prime. Res64: E6B4898455CC7414 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:02:46] 985*2^1243309-1 is not prime. Res64: 64A41B202AC5376E Time : 0.0 sec. user=juhehe [2013-03-24 09:03:26] 695*2^1243308-1 is not prime. Res64: AE5BC73064127AB5 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:18:05] 987*2^1243309-1 is not prime. Res64: 72AA721D3809F029 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:18:06] 651*2^1243310-1 is not prime. Res64: 2EC96769D19B04D5 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:20:11] 663*2^1243310-1 is not prime. Res64: 124870505DFC17F4 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:20:12] 753*2^1243310-1 is not prime. Res64: 3248A4D867882BC1 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:35:34] 921*2^1243310-1 is not prime. Res64: 80924877B89AB6C2 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:35:34] 923*2^1243310-1 is not prime. Res64: 1576F799229C07DB Time : 0.0 sec. user=mdettweiler [2013-03-24 09:37:37] 679*2^1243311-1 is not prime. Res64: 73ABBB43A654CBC4 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:37:37] 709*2^1243311-1 is not prime. Res64: 11BE8B2D9BDDF465 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:53:00] 751*2^1243311-1 is not prime. Res64: C3BE8C70B35FA101 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:53:01] 861*2^1243311-1 is not prime. Res64: 48AA595E4ED3037B Time : 0.0 sec. user=mdettweiler [2013-03-24 09:55:02] 931*2^1243311-1 is not prime. Res64: 21C68021DE8A1361 Time : 0.0 sec. user=mdettweiler [2013-03-24 09:55:02] 665*2^1243312-1 is not prime. Res64: C724BAB58DC5FF24 Time : 0.0 sec. user=mdettweiler [2013-03-24 10:10:26] 677*2^1243312-1 is not prime. Res64: C3B325E9701BD677 Time : 0.0 sec. user=mdettweiler [2013-03-24 10:10:26] 713*2^1243312-1 is not prime. Res64: FBD1E1F3896BDB4E Time : 0.0 sec. user=juhehe [2013-03-24 10:11:48] 791*2^1243310-1 is not prime. Res64: 62532DFB0275C73B Time : 0.0 sec. user=mdettweiler [2013-03-24 10:12:27] 743*2^1243312-1 is not prime. Res64: 31C50FB64EF313CD Time : 0.0 sec. user=mdettweiler [2013-03-24 10:12:28] 785*2^1243312-1 is not prime. Res64: 239277380FCD6EA1 Time : 0.0 sec. user=mdettweiler [2013-03-24 10:27:51] 875*2^1243312-1 is not prime. Res64: 5A6192CB6418ACD1 Time : 0.0 sec. user=mdettweiler [2013-03-24 10:27:52] 679*2^1243313-1 is not prime. Res64: 3753D719621D40CC Time : 0.0 sec. user=mdettweiler [2013-03-24 10:29:52] 691*2^1243313-1 is not prime. Res64: 7FAAFBF1A7BB2C1C Time : 0.0 sec. user=mdettweiler [2013-03-24 10:29:53] 697*2^1243313-1 is not prime. Res64: 143AD154D62C944A Time : 0.0 sec. user=mdettweiler [2013-03-24 10:45:19] 747*2^1243313-1 is not prime. Res64: ABE1C312C0927EB9 Time : 0.0 sec. user=mdettweiler [2013-03-24 10:45:19] 829*2^1243313-1 is not prime. Res64: E59F2465953BBD6E Time : 0.0 sec. user=mdettweiler [2013-03-24 10:47:18] 635*2^1243314-1 is not prime. Res64: 0D92AA91D43B1681 Time : 0.0 sec. user=mdettweiler [2013-03-24 10:47:18] 671*2^1243314-1 is not prime. Res64: 6925B11A60ACCDF5 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:02:45] 677*2^1243314-1 is not prime. Res64: 3C49A87F80A0AF8C Time : 0.0 sec. user=mdettweiler [2013-03-24 11:02:46] 755*2^1243314-1 is not prime. Res64: BB597C9FFA7EF864 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:04:43] 923*2^1243314-1 is not prime. Res64: 5D5BCCB356F66FC2 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:04:44] 971*2^1243314-1 is not prime. Res64: BDD618F3536135B3 Time : 0.0 sec. user=juhehe [2013-03-24 11:10:57] 863*2^1243312-1 is not prime. Res64: 9E66F0BBCFA7B5ED Time : 0.0 sec. user=mdettweiler [2013-03-24 11:20:16] 1001*2^1243314-1 is not prime. Res64: 75B2F0CBCA36EE35 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:20:17] 685*2^1243315-1 is not prime. Res64: D389945C117A7B4A Time : 0.0 sec. user=mdettweiler [2013-03-24 11:22:11] 741*2^1243315-1 is not prime. Res64: DCAAD18F53FBA91A Time : 0.0 sec. user=mdettweiler [2013-03-24 11:22:11] 819*2^1243315-1 is not prime. Res64: B4E214D58D3A143C Time : 0.0 sec. user=mdettweiler [2013-03-24 11:37:52] 951*2^1243315-1 is not prime. Res64: 4FD9B33A5AF81CAA Time : 0.0 sec. user=mdettweiler [2013-03-24 11:37:53] 617*2^1243316-1 is not prime. Res64: 551194D39BF8F56A Time : 0.0 sec. user=mdettweiler [2013-03-24 11:39:45] 659*2^1243316-1 is not prime. Res64: 15B963D809E1A7DB Time : 0.0 sec. user=mdettweiler [2013-03-24 11:39:46] 707*2^1243316-1 is not prime. Res64: 03200E2EFD556EB8 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:55:39] 759*2^1243316-1 is not prime. Res64: 4E4556417E5B9CAF Time : 0.0 sec. user=mdettweiler [2013-03-24 11:55:39] 869*2^1243316-1 is not prime. Res64: BC7384B78E956714 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:57:31] 893*2^1243316-1 is not prime. Res64: 258533A99D57A800 Time : 0.0 sec. user=mdettweiler [2013-03-24 11:57:32] 675*2^1243317-1 is not prime. Res64: E85BF16A98FD490C Time : 0.0 sec. user=mdettweiler [2013-03-24 12:13:17] 691*2^1243317-1 is not prime. Res64: EE32A24FF34D582E Time : 0.0 sec. user=mdettweiler [2013-03-24 12:13:17] 769*2^1243317-1 is not prime. Res64: 8FBF138F3DA60D16 Time : 0.0 sec. user=mdettweiler [2013-03-24 12:15:07] 859*2^1243317-1 is not prime. Res64: 163205278B58B690 Time : 0.0 sec. user=mdettweiler [2013-03-24 12:15:07] 891*2^1243317-1 is not prime. Res64: 5DAF8B8581352C64 Time : 0.0 sec. user=juhehe [2013-03-24 12:20:52] 909*2^1243315-1 is not prime. Res64: 1A39A8DA9A9B718F Time : 0.0 sec. user=mdettweiler [2013-03-24 12:30:51] 937*2^1243317-1 is not prime. Res64: 3615E6E0553378BD Time : 0.0 sec. user=mdettweiler [2013-03-24 12:30:52] 647*2^1243318-1 is not prime. Res64: 7443029A5E8FA91E Time : 0.0 sec. user=mdettweiler [2013-03-24 12:32:37] 833*2^1243318-1 is not prime. Res64: 04B4BF02F1B755D7 Time : 0.0 sec. user=mdettweiler [2013-03-24 12:32:38] 857*2^1243318-1 is not prime. Res64: D9A06E76B0797923 Time : 0.0 sec. user=mdettweiler [2013-03-24 12:48:22] 923*2^1243318-1 is not prime. Res64: 4E65C74A8625F82D Time : 0.0 sec. user=mdettweiler [2013-03-24 12:48:22] 609*2^1243319-1 is not prime. Res64: 4B6CE671ABE5DABC Time : 0.0 sec. user=mdettweiler [2013-03-24 12:50:07] 675*2^1243319-1 is not prime. Res64: 77025AE244F82B79 Time : 0.0 sec. user=mdettweiler [2013-03-24 12:50:08] 955*2^1243319-1 is not prime. Res64: 6CFFF9AAF0E81D67 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:05:54] 993*2^1243319-1 is not prime. Res64: D064720B4C5425AC Time : 0.0 sec. user=mdettweiler [2013-03-24 13:05:55] 759*2^1243320-1 is not prime. Res64: E0B095920ABD4A69 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:07:38] 615*2^1243321-1 is not prime. Res64: 4A1288A08271EBCB Time : 0.0 sec. user=mdettweiler [2013-03-24 13:07:39] 747*2^1243321-1 is not prime. Res64: 34B3282815F82AAB Time : 0.0 sec. user=juhehe [2013-03-24 13:19:03] 801*2^1243318-1 is not prime. Res64: 885521889742B7C1 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:23:33] 819*2^1243321-1 is not prime. Res64: 6A3954E1CAE53B25 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:23:34] 829*2^1243321-1 is not prime. Res64: EF19937050E26B61 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:25:15] 939*2^1243321-1 is not prime. Res64: 2362F01971C2D321 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:25:16] 945*2^1243321-1 is not prime. Res64: BD7164C45ADBE29B Time : 0.0 sec. user=mdettweiler [2013-03-24 13:41:16] 603*2^1243322-1 is not prime. Res64: 71C674605EB729D8 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:41:17] 771*2^1243322-1 is not prime. Res64: 2EB76B8F8682F6B2 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:42:55] 837*2^1243322-1 is not prime. Res64: 24EC1949833B2039 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:42:55] 945*2^1243322-1 is not prime. Res64: EE4DE5EF4467138D Time : 0.0 sec. user=mdettweiler [2013-03-24 13:58:49] 629*2^1243324-1 is not prime. Res64: 8969A424A308CF29 Time : 0.0 sec. user=mdettweiler [2013-03-24 13:58:50] 635*2^1243324-1 is not prime. Res64: 9DE1CCCB8C2697AB Time : 0.0 sec. user=mdettweiler [2013-03-24 14:04:12] 755*2^1243324-1 is not prime. Res64: 430B9410C259EF9B Time : 0.0 sec. user=mdettweiler [2013-03-24 14:04:13] 783*2^1243324-1 is not prime. Res64: 2DE835C6555B1B2D Time : 0.0 sec. user=mdettweiler [2013-03-24 14:16:36] 785*2^1243324-1 is not prime. Res64: C8556081C8B0E644 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:16:36] 903*2^1243324-1 is not prime. Res64: 6E13881CA443187E Time : 0.0 sec. user=mdettweiler [2013-03-24 14:22:07] 909*2^1243324-1 is not prime. Res64: 6CD66C726826A674 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:22:07] 927*2^1243324-1 is not prime. Res64: E3D61B0F22A21DD8 Time : 0.0 sec. user=juhehe [2013-03-24 14:31:19] 827*2^1243322-1 is not prime. Res64: EC26598F29A454FB Time : 0.0 sec. user=mdettweiler [2013-03-24 14:34:17] 929*2^1243324-1 is not prime. Res64: 0B97A2597A1A6F81 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:34:17] 969*2^1243324-1 is not prime. Res64: 20499C0F1791A992 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:39:39] 777*2^1243325-1 is not prime. Res64: F0AFE40B1A0E42C1 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:39:39] 795*2^1243325-1 is not prime. Res64: 02F46B32762D16CA Time : 0.0 sec. user=mdettweiler [2013-03-24 14:51:46] 825*2^1243325-1 is not prime. Res64: 784B7AB9405DA74C Time : 0.0 sec. user=mdettweiler [2013-03-24 14:51:47] 867*2^1243325-1 is not prime. Res64: A7F49EE476B68441 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:57:07] 915*2^1243325-1 is not prime. Res64: 61252473AD439599 Time : 0.0 sec. user=mdettweiler [2013-03-24 14:57:08] 949*2^1243325-1 is not prime. Res64: 1A68A3BAAA60DC6A Time : 0.0 sec. user=mdettweiler [2013-03-24 15:09:16] 957*2^1243325-1 is not prime. Res64: 6E4A2F14AA9335C3 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:09:17] 987*2^1243325-1 is not prime. Res64: E025CB9E326AFDE5 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:14:37] 641*2^1243326-1 is not prime. Res64: F12D34A5B77FF0A2 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:14:38] 713*2^1243326-1 is not prime. Res64: 6B9BCE9B7708B787 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:26:53] 737*2^1243326-1 is not prime. Res64: 7916A41AA7AE6875 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:26:53] 741*2^1243326-1 is not prime. Res64: 30A363A0934D378B Time : 0.0 sec. user=juhehe [2013-03-24 15:27:54] 799*2^1243325-1 is not prime. Res64: 9B269DF982EFEC27 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:32:06] 917*2^1243326-1 is not prime. Res64: 1F82BBDEE6AAE060 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:32:06] 963*2^1243326-1 is not prime. Res64: 9D96C905093BF497 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:44:27] 975*2^1243326-1 is not prime. Res64: 27CB4956BC195A05 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:44:28] 609*2^1243327-1 is not prime. Res64: 69BA7B6E52ED9C15 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:49:43] 685*2^1243327-1 is not prime. Res64: 712C6ED6AC1A7BC1 Time : 0.0 sec. user=mdettweiler [2013-03-24 15:49:43] 765*2^1243327-1 is not prime. Res64: 20F28D2A294F0AE2 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:02:13] 819*2^1243327-1 is not prime. Res64: 16B4F2DA00126C78 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:02:13] 973*2^1243327-1 is not prime. Res64: 43C8B01151352A4C Time : 0.0 sec. user=mdettweiler [2013-03-24 16:07:29] 689*2^1243328-1 is not prime. Res64: 19CDD5961F18DF02 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:07:29] 773*2^1243328-1 is not prime. Res64: 80F9615C3322F8AD Time : 0.0 sec. user=mdettweiler [2013-03-24 16:19:49] 839*2^1243328-1 is not prime. Res64: B8190A776C8FDC61 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:19:50] 843*2^1243328-1 is not prime. Res64: 595211D8F1E06F77 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:24:57] 869*2^1243328-1 is not prime. Res64: F6ED67C1CD1C6AE1 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:24:58] 639*2^1243329-1 is not prime. Res64: A346DF8843E0D2F7 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:37:32] 657*2^1243329-1 is not prime. Res64: A91A08843C601C23 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:37:32] 679*2^1243329-1 is not prime. Res64: 9FCC4492ACA77F99 Time : 0.0 sec. user=juhehe [2013-03-24 16:40:35] 793*2^1243327-1 is not prime. Res64: D45998D7FA73B592 Time : 0.0 sec. user=mdettweiler [2013-03-24 16:42:45] 691*2^1243329-1 is not prime. Res64: 618FA01867D1094E Time : 0.0 sec. user=mdettweiler [2013-03-24 16:42:45] 747*2^1243329-1 is not prime. Res64: 839BF83AF90B790E Time : 0.0 sec. user=mdettweiler [2013-03-24 16:55:03] 835*2^1243329-1 is not prime. Res64: 60DE57951DE7B58F Time : 0.0 sec. user=mdettweiler [2013-03-24 16:55:04] 837*2^1243329-1 is not prime. Res64: DAB264DD72C60165 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:00:11] 919*2^1243329-1 is not prime. Res64: 5D059BE29870BFF1 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:00:12] 605*2^1243330-1 is not prime. Res64: 70A98AE71E7270BC Time : 0.0 sec. user=mdettweiler [2013-03-24 17:12:28] 731*2^1243330-1 is not prime. Res64: 30D62207EAABDA65 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:12:29] 803*2^1243330-1 is not prime. Res64: FE88D8050DEE0F99 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:17:39] 843*2^1243330-1 is not prime. Res64: 37F6A7E168AD1178 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:17:39] 861*2^1243330-1 is not prime. Res64: 669E89965D7ED715 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:29:55] 951*2^1243330-1 is not prime. Res64: 2EA1FF0A9EF064AC Time : 0.0 sec. user=mdettweiler [2013-03-24 17:29:55] 971*2^1243330-1 is not prime. Res64: EA87510D4AD6E8F5 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:35:05] 1001*2^1243330-1 is not prime. Res64: 52E8609FAEA97D6B Time : 0.0 sec. user=mdettweiler [2013-03-24 17:35:06] 783*2^1243331-1 is not prime. Res64: 83D135F8215B23DB Time : 0.0 sec. user=juhehe [2013-03-24 17:37:13] 789*2^1243329-1 is not prime. Res64: A67AE8ED0E202599 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:47:21] 829*2^1243331-1 is not prime. Res64: DFFF1BCDE1232170 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:47:21] 859*2^1243331-1 is not prime. Res64: F3F4AD029672D297 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:52:31] 973*2^1243331-1 is not prime. Res64: 5458B2BAB78BFD13 Time : 0.0 sec. user=mdettweiler [2013-03-24 17:52:32] 979*2^1243331-1 is not prime. Res64: 941C9007977D7F8E Time : 0.0 sec. user=mdettweiler [2013-03-24 18:04:51] 669*2^1243332-1 is not prime. Res64: 2457A6DADD8FE438 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:04:52] 693*2^1243332-1 is not prime. Res64: 339D366C70EB789B Time : 0.0 sec. user=mdettweiler [2013-03-24 18:10:05] 695*2^1243332-1 is not prime. Res64: 88D5040059053E69 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:10:06] 737*2^1243332-1 is not prime. Res64: D63F8A13D8F8D221 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:22:30] 767*2^1243332-1 is not prime. Res64: 3B133416774E090D Time : 0.0 sec. user=mdettweiler [2013-03-24 18:22:31] 727*2^1243333-1 is not prime. Res64: 07F739172918EA8A Time : 0.0 sec. user=mdettweiler [2013-03-24 18:27:38] 775*2^1243333-1 is not prime. Res64: 4506A27AF0768552 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:27:38] 885*2^1243333-1 is not prime. Res64: 0F1B3753A4F69A26 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:39:55] 635*2^1243334-1 is not prime. Res64: E18FB4EB594538CF Time : 0.0 sec. user=mdettweiler [2013-03-24 18:39:56] 693*2^1243334-1 is not prime. Res64: A9D31A7A2016B58F Time : 0.0 sec. user=mdettweiler [2013-03-24 18:45:04] 815*2^1243334-1 is not prime. Res64: 93FC66A3F49FFAB0 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:45:05] 897*2^1243334-1 is not prime. Res64: 1E2B37FF97860B0F Time : 0.0 sec. user=juhehe [2013-03-24 18:55:19] 981*2^1243331-1 is not prime. Res64: 3DDFEE90FCB8AA98 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:57:21] 957*2^1243334-1 is not prime. Res64: F00E682D07C19470 Time : 0.0 sec. user=mdettweiler [2013-03-24 18:57:21] 965*2^1243334-1 is not prime. Res64: 4EBDCBFC3362CE6A Time : 0.0 sec. user=mdettweiler [2013-03-24 19:02:30] 751*2^1243335-1 is not prime. Res64: 2356FF53BDC2A6FE Time : 0.0 sec. user=mdettweiler [2013-03-24 19:02:31] 825*2^1243335-1 is not prime. Res64: 8F7EED4F35137B58 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:14:46] 859*2^1243335-1 is not prime. Res64: 664A672796470FF8 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:14:47] 871*2^1243335-1 is not prime. Res64: 0D575C35642A8BDE Time : 0.0 sec. user=mdettweiler [2013-03-24 19:19:56] 675*2^1243336-1 is not prime. Res64: 803D92618B1699B6 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:19:56] 723*2^1243336-1 is not prime. Res64: C610507E5A04C7A1 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:32:12] 759*2^1243336-1 is not prime. Res64: A0D499B63E95FC6A Time : 0.0 sec. user=mdettweiler [2013-03-24 19:32:12] 773*2^1243336-1 is not prime. Res64: 85210632800E837C Time : 0.0 sec. user=mdettweiler [2013-03-24 19:37:21] 903*2^1243336-1 is not prime. Res64: 120B4D380FD909F1 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:37:22] 615*2^1243337-1 is not prime. Res64: 5A6479B70EE46DE9 Time : 0.0 sec. user=juhehe [2013-03-24 19:45:45] 649*2^1243335-1 is not prime. Res64: D7D2F5793D833D41 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:49:37] 759*2^1243337-1 is not prime. Res64: DBAE21056B9E05D1 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:49:37] 777*2^1243337-1 is not prime. Res64: FFD96131AB277782 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:54:46] 781*2^1243337-1 is not prime. Res64: 688B9735D5DBB236 Time : 0.0 sec. user=mdettweiler [2013-03-24 19:54:47] 831*2^1243337-1 is not prime. Res64: D17D8BC98F7E3B38 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:07:02] 949*2^1243337-1 is not prime. Res64: F8DCFC0854F56A51 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:07:03] 641*2^1243338-1 is not prime. Res64: 93DF3387F285B0A0 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:12:13] 663*2^1243338-1 is not prime. Res64: 34D2CD5508219731 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:12:14] 747*2^1243338-1 is not prime. Res64: CD8024B4FC826B29 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:24:28] 867*2^1243338-1 is not prime. Res64: EDBDE4A9A86CD569 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:24:29] 663*2^1243339-1 is not prime. Res64: 8D2D94191AE06F78 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:29:39] 691*2^1243339-1 is not prime. Res64: 0435B21356B0A5A0 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:29:40] 723*2^1243339-1 is not prime. Res64: 94618AEE65829A22 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:41:53] 745*2^1243339-1 is not prime. Res64: C596E89DB325C7B0 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:41:54] 759*2^1243339-1 is not prime. Res64: CBD57F5FC5014B57 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:47:06] 931*2^1243339-1 is not prime. Res64: 7838BF843C1269D3 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:47:06] 635*2^1243340-1 is not prime. Res64: 9862184D1CD63C43 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:59:18] 687*2^1243340-1 is not prime. Res64: 085BEA174BC37DE0 Time : 0.0 sec. user=mdettweiler [2013-03-24 20:59:19] 719*2^1243340-1 is not prime. Res64: F9A797D746CCEEE9 Time : 0.0 sec. user=juhehe [2013-03-24 21:02:21] 815*2^1243338-1 is not prime. Res64: 817AF57BF3D73F69 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:04:31] 839*2^1243340-1 is not prime. Res64: DCEA13900C29DB19 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:04:33] 879*2^1243340-1 is not prime. Res64: AAB482C94A1A91EE Time : 0.0 sec. user=mdettweiler [2013-03-24 21:16:44] 959*2^1243340-1 is not prime. Res64: 8F18CE34A26A217B Time : 0.0 sec. user=mdettweiler [2013-03-24 21:16:44] 983*2^1243340-1 is not prime. Res64: 83EB85182A2A3545 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:21:58] 627*2^1243341-1 is not prime. Res64: EEC1C2AC206300B0 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:21:59] 745*2^1243341-1 is not prime. Res64: BF3D59C274E694D6 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:34:25] 789*2^1243341-1 is not prime. Res64: EA265A895213E609 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:34:25] 795*2^1243341-1 is not prime. Res64: 91D426EAC955627D Time : 0.0 sec. user=mdettweiler [2013-03-24 21:39:40] 811*2^1243341-1 is not prime. Res64: 9DC597489103DA91 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:39:40] 849*2^1243341-1 is not prime. Res64: 86BF9900AD0C7FE1 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:51:53] 861*2^1243341-1 is not prime. Res64: 9DE5762571B6EF01 Time : 0.0 sec. user=mdettweiler [2013-03-24 21:51:53] 907*2^1243341-1 is not prime. Res64: F0474AFC286A2054 Time : 0.0 sec. user=juhehe [2013-03-24 21:52:55] 893*2^1243340-1 is not prime. Res64: 85C992C0255B194B Time : 0.0 sec. user=mdettweiler [2013-03-24 21:57:07] 705*2^1243342-1 is not prime. Res64: BC6C41528072F16B Time : 0.0 sec. user=mdettweiler [2013-03-24 21:57:08] 777*2^1243342-1 is not prime. Res64: 6A619B76D8185192 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:09:21] 831*2^1243342-1 is not prime. Res64: 13AF2B0B0FC6A3C6 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:09:22] 867*2^1243342-1 is not prime. Res64: C59958D5BA69DA07 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:14:35] 873*2^1243342-1 is not prime. Res64: 9CC915D3C50C3B99 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:14:36] 911*2^1243342-1 is not prime. Res64: 913BAB9A7FE33600 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:26:51] 981*2^1243342-1 is not prime. Res64: CBB74539924B8A1C Time : 0.0 sec. user=mdettweiler [2013-03-24 22:26:52] 995*2^1243342-1 is not prime. Res64: 7D2B4B8789998714 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:32:02] 745*2^1243343-1 is not prime. Res64: 27B801C3FEAF9713 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:32:03] 789*2^1243343-1 is not prime. Res64: 43D9FF8B9CED222C Time : 0.0 sec. user=mdettweiler [2013-03-24 22:44:18] 985*2^1243343-1 is not prime. Res64: 1FB833E0170900A7 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:44:18] 675*2^1243344-1 is not prime. Res64: 1BE5244DDBA6C94F Time : 0.0 sec. user=mdettweiler [2013-03-24 22:49:29] 789*2^1243344-1 is not prime. Res64: 91184A2529B06CA5 Time : 0.0 sec. user=mdettweiler [2013-03-24 22:49:29] 863*2^1243344-1 is not prime. Res64: 4071724A3B74ABA5 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:01:45] 993*2^1243344-1 is not prime. Res64: 42D6013FB11E42A4 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:01:46] 667*2^1243345-1 is not prime. Res64: 4BFDCDC3D6F96E75 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:06:55] 721*2^1243345-1 is not prime. Res64: D7DE901FAA2472B3 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:06:55] 897*2^1243345-1 is not prime. Res64: 703335CC04318692 Time : 0.0 sec. user=juhehe [2013-03-24 23:09:13] 923*2^1243342-1 is not prime. Res64: C8661B9345B2AC1C Time : 0.0 sec. user=mdettweiler [2013-03-24 23:19:16] 675*2^1243346-1 is not prime. Res64: 47DF8455C92147DC Time : 0.0 sec. user=mdettweiler [2013-03-24 23:19:17] 783*2^1243346-1 is not prime. Res64: 2CE18DC7161C5F22 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:24:22] 825*2^1243346-1 is not prime. Res64: 2E814C8DDF733BC9 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:24:22] 857*2^1243346-1 is not prime. Res64: B544935D5D922588 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:36:46] 993*2^1243346-1 is not prime. Res64: 62979CEEE5857FB2 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:36:47] 795*2^1243347-1 is not prime. Res64: 7357428873584E45 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:41:51] 835*2^1243347-1 is not prime. Res64: DA1A79D849503BD9 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:41:52] 871*2^1243347-1 is not prime. Res64: 709431992075BDED Time : 0.0 sec. user=mdettweiler [2013-03-24 23:54:14] 979*2^1243347-1 is not prime. Res64: E031F68BCF3F6029 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:54:15] 615*2^1243348-1 is not prime. Res64: AB126E31C5158D08 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:59:18] 695*2^1243348-1 is not prime. Res64: 5536AB37EBF525A7 Time : 0.0 sec. user=mdettweiler [2013-03-24 23:59:19] 765*2^1243348-1 is not prime. Res64: 407603F3879CA8B8 Time : 0.0 sec. user=juhehe [2013-03-24 23:59:47] 641*2^1243346-1 is not prime. Res64: 76DBBD6E3CB0D538 Time : 0.0 sec.