user=mdettweiler [2012-09-12 00:06:28] 715*2^1228535-1 is not prime. Res64: 2AB38E727AEE47AE Time : 0.0 sec. user=mdettweiler [2012-09-12 00:06:32] 735*2^1228535-1 is not prime. Res64: 7693633A1D2667A4 Time : 0.0 sec. user=mdettweiler [2012-09-12 00:18:13] 753*2^1228535-1 is not prime. Res64: 515FD08DCFABCCC6 Time : 0.0 sec. user=mdettweiler [2012-09-12 00:18:23] 799*2^1228535-1 is not prime. Res64: CFD92A7240C21E61 Time : 0.0 sec. user=mdettweiler [2012-09-12 00:39:20] 969*2^1228535-1 is not prime. Res64: 8A24A1AFBA40813C Time : 0.0 sec. user=mdettweiler [2012-09-12 00:39:21] 759*2^1228536-1 is not prime. Res64: 8235AD82886142AA Time : 0.0 sec. user=mdettweiler [2012-09-12 01:00:00] 843*2^1228536-1 is not prime. Res64: D889E517720C7905 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:00:01] 849*2^1228536-1 is not prime. Res64: 5149161CA5F81BC0 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:10:00] 825*2^1228535-1 is not prime. Res64: BC3E2305F03AC24A Time : 0.0 sec. user=mdettweiler [2012-09-12 01:10:02] 913*2^1228535-1 is not prime. Res64: 6118E1731FCC2D76 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:21:11] 923*2^1228536-1 is not prime. Res64: CC561F34CFCF21D4 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:21:12] 993*2^1228536-1 is not prime. Res64: 549B6A5FC400F1E2 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:30:52] 999*2^1228536-1 is not prime. Res64: 41AEDFDD45D504BB Time : 0.0 sec. user=mdettweiler [2012-09-12 01:30:53] 645*2^1228537-1 is not prime. Res64: E85CF091C41CEE83 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:41:51] 747*2^1228537-1 is not prime. Res64: 0D9F6BA8F5CB5A39 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:41:53] 805*2^1228537-1 is not prime. Res64: 56C7315CC047BB7A Time : 0.0 sec. user=mdettweiler [2012-09-12 01:51:30] 743*2^1228538-1 is not prime. Res64: 1DEF2812E7B8D1A1 Time : 0.0 sec. user=mdettweiler [2012-09-12 01:51:31] 813*2^1228538-1 is not prime. Res64: A920DF8149F7D9C1 Time : 0.0 sec. user=gd_barnes [2012-09-12 01:55:34] 641*2^1228538-1 is not prime. Res64: 79DFAD73BEAE1113 Time : 0.0 sec. user=gd_barnes [2012-09-12 02:01:16] 861*2^1228537-1 is not prime. Res64: AEE2012B8E0AC103 Time : 0.0 sec. user=mdettweiler [2012-09-12 02:02:30] 669*2^1228539-1 is not prime. Res64: 344A5DBC4DCA05FA Time : 0.0 sec. user=mdettweiler [2012-09-12 02:02:31] 705*2^1228539-1 is not prime. Res64: F1543D240C4D7E1D Time : 0.0 sec. user=mdettweiler [2012-09-12 02:12:06] 853*2^1228539-1 is not prime. Res64: E3FB78AD01492402 Time : 0.0 sec. user=mdettweiler [2012-09-12 02:12:07] 895*2^1228539-1 is not prime. Res64: 898240A8E9CA6CDE Time : 0.0 sec. user=mdettweiler [2012-09-12 02:23:14] 919*2^1228539-1 is not prime. Res64: 20DB789675F6FA6E Time : 0.0 sec. user=mdettweiler [2012-09-12 02:23:15] 623*2^1228540-1 is not prime. Res64: 10EC20DBAF10AC9B Time : 0.0 sec. user=mdettweiler [2012-09-12 02:32:47] 629*2^1228540-1 is not prime. Res64: 242E518CAB88C299 Time : 0.0 sec. user=mdettweiler [2012-09-12 02:32:50] 653*2^1228540-1 is not prime. Res64: 8E5CAB3F19D2453B Time : 0.0 sec. user=mdettweiler [2012-09-12 02:43:54] 675*2^1228540-1 is not prime. Res64: 3EE2A5A43DAA2536 Time : 0.0 sec. user=mdettweiler [2012-09-12 02:43:55] 707*2^1228540-1 is not prime. Res64: B984FB62198A0294 Time : 0.0 sec. user=mdettweiler [2012-09-12 02:53:37] 845*2^1228540-1 is not prime. Res64: A625C5D3AB1DFE88 Time : 0.0 sec. user=mdettweiler [2012-09-12 02:53:37] 855*2^1228540-1 is not prime. Res64: E353A81749A45914 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:04:27] 933*2^1228540-1 is not prime. Res64: 475AE9D3E357A90E Time : 0.0 sec. user=mdettweiler [2012-09-12 03:04:29] 957*2^1228540-1 is not prime. Res64: 45B02C34681500B4 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:14:13] 987*2^1228540-1 is not prime. Res64: 581065A635463CD1 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:14:15] 989*2^1228540-1 is not prime. Res64: 98C2B66541076339 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:25:09] 885*2^1228541-1 is not prime. Res64: F2250D1A0AD2A8EC Time : 0.0 sec. user=mdettweiler [2012-09-12 03:25:09] 747*2^1228542-1 is not prime. Res64: 05093B82EECBB0E1 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:34:53] 767*2^1228542-1 is not prime. Res64: A98DAFF15D2F8E9E Time : 0.0 sec. user=mdettweiler [2012-09-12 03:34:55] 791*2^1228542-1 is not prime. Res64: 9567770AFC8877EE Time : 0.0 sec. user=mdettweiler [2012-09-12 03:45:41] 875*2^1228542-1 is not prime. Res64: 198A53CA62315246 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:45:42] 887*2^1228542-1 is not prime. Res64: 36965277BE905BE1 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:55:26] 891*2^1228542-1 is not prime. Res64: CBAE24AD0BD13801 Time : 0.0 sec. user=mdettweiler [2012-09-12 03:55:27] 633*2^1228543-1 is not prime. Res64: C191CFF7F1F8586D Time : 0.0 sec. user=gd_barnes [2012-09-12 04:05:59] 663*2^1228543-1 is not prime. Res64: ECB8FD949F359F9D Time : 0.0 sec. user=mdettweiler [2012-09-12 04:06:12] 693*2^1228543-1 is not prime. Res64: 142E4E1AC7631D8A Time : 0.0 sec. user=mdettweiler [2012-09-12 04:06:13] 861*2^1228543-1 is not prime. Res64: 10C23B8815723429 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:15:55] 871*2^1228543-1 is not prime. Res64: C99AB590AC3FF8CE Time : 0.0 sec. user=mdettweiler [2012-09-12 04:15:57] 891*2^1228543-1 is not prime. Res64: 17557714E763DC38 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:26:48] 919*2^1228543-1 is not prime. Res64: 1A031D4337C7265A Time : 0.0 sec. user=mdettweiler [2012-09-12 04:26:49] 833*2^1228544-1 is not prime. Res64: 2F1BE2B4D764DCD6 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:36:44] 857*2^1228544-1 is not prime. Res64: C06734AAD1962B98 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:36:45] 897*2^1228544-1 is not prime. Res64: 5FBC51DBA993D716 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:47:19] 915*2^1228544-1 is not prime. Res64: B5289091A8B9B982 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:47:20] 639*2^1228545-1 is not prime. Res64: CEEA0E799D5C41F1 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:57:16] 781*2^1228545-1 is not prime. Res64: B8AC1C9DE22F12E7 Time : 0.0 sec. user=mdettweiler [2012-09-12 04:57:16] 819*2^1228545-1 is not prime. Res64: E3416C94F5BA6AB7 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:07:49] 915*2^1228545-1 is not prime. Res64: 1D8A8070B9AFAD30 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:07:50] 701*2^1228546-1 is not prime. Res64: 2575F7785635EB8A Time : 0.0 sec. user=mdettweiler [2012-09-12 05:17:45] 777*2^1228546-1 is not prime. Res64: 08D6E4C4B052A682 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:17:46] 975*2^1228546-1 is not prime. Res64: 7FE424625A8D4616 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:28:33] 621*2^1228547-1 is not prime. Res64: 9C9C00BF3D6E3BF7 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:28:33] 675*2^1228547-1 is not prime. Res64: B4D672726C415C90 Time : 0.0 sec. user=vaughan [2012-09-12 05:32:54] 643*2^1228443-1 is not prime. Res64: 1D7E2E818A600D4F Time : 0.0 sec. user=mdettweiler [2012-09-12 05:38:23] 753*2^1228547-1 is not prime. Res64: 2DA447FC85D395DD Time : 0.0 sec. user=mdettweiler [2012-09-12 05:38:23] 759*2^1228547-1 is not prime. Res64: 7A7EE2F9779FAD68 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:49:07] 963*2^1228547-1 is not prime. Res64: 917304E80D89BBCE Time : 0.0 sec. user=mdettweiler [2012-09-12 05:49:07] 695*2^1228548-1 is not prime. Res64: 3905096901406384 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:58:51] 625*2^1228549-1 is not prime. Res64: 80D922E872786BE5 Time : 0.0 sec. user=mdettweiler [2012-09-12 05:58:52] 861*2^1228549-1 is not prime. Res64: DF19FA6F13098096 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:09:36] 897*2^1228549-1 is not prime. Res64: C6E98ABBE346D124 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:09:37] 957*2^1228549-1 is not prime. Res64: 3E74F98ACA838D95 Time : 0.0 sec. user=vaughan [2012-09-12 06:10:14] 707*2^1228548-1 is not prime. Res64: CED8262119CC4C97 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:19:20] 665*2^1228550-1 is not prime. Res64: 47BBEC3CF4CB3AD5 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:19:20] 741*2^1228550-1 is not prime. Res64: 2458C5B1E1676F1C Time : 0.0 sec. user=mdettweiler [2012-09-12 06:30:16] 753*2^1228550-1 is not prime. Res64: C69196269B5C06A8 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:30:16] 797*2^1228550-1 is not prime. Res64: B939F3C0C25E7DD1 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:39:49] 851*2^1228550-1 is not prime. Res64: C92011CFC33D9DBD Time : 0.0 sec. user=mdettweiler [2012-09-12 06:39:50] 911*2^1228550-1 is not prime. Res64: F6986B5B3281212C Time : 0.0 sec. user=vaughan [2012-09-12 06:47:34] 801*2^1228550-1 is not prime. Res64: 5DF2A826C340742E Time : 0.0 sec. user=mdettweiler [2012-09-12 06:50:48] 921*2^1228550-1 is not prime. Res64: 37B72A0D0E2A8DA5 Time : 0.0 sec. user=mdettweiler [2012-09-12 06:50:48] 935*2^1228550-1 is not prime. Res64: 4D16F085C732E26F Time : 0.0 sec. user=mdettweiler [2012-09-12 07:00:17] 995*2^1228550-1 is not prime. Res64: D8D58963D6D347C8 Time : 0.0 sec. user=mdettweiler [2012-09-12 07:00:19] 625*2^1228551-1 is not prime. Res64: 76392C0DB5EC1FAA Time : 0.0 sec. user=mdettweiler [2012-09-12 07:11:16] 649*2^1228551-1 is not prime. Res64: 01524D2E9457868A Time : 0.0 sec. user=mdettweiler [2012-09-12 07:11:19] 745*2^1228551-1 is not prime. Res64: A390446468E407B7 Time : 0.0 sec. user=mdettweiler [2012-09-12 07:20:49] 783*2^1228551-1 is not prime. Res64: C34D1A06D2BD8EF8 Time : 0.0 sec. user=mdettweiler [2012-09-12 07:20:50] 793*2^1228551-1 is not prime. Res64: 5C27F56C6A25B0AF Time : 0.0 sec. user=vaughan [2012-09-12 07:24:58] 643*2^1228551-1 is not prime. Res64: 0F81E95A38AD997B Time : 0.0 sec. user=mdettweiler [2012-09-12 07:31:59] 909*2^1228551-1 is not prime. Res64: 32B678F5FCA8235B Time : 0.0 sec. user=mdettweiler [2012-09-12 07:31:59] 969*2^1228551-1 is not prime. Res64: E50B8D1F929DB9BC Time : 0.0 sec. user=mdettweiler [2012-09-12 07:41:19] 609*2^1228552-1 is not prime. Res64: BA98472B676A7FAA Time : 0.0 sec. user=mdettweiler [2012-09-12 07:41:20] 623*2^1228552-1 is not prime. Res64: B6092A948C05026C Time : 0.0 sec. user=mdettweiler [2012-09-12 07:52:28] 657*2^1228552-1 is not prime. Res64: 55A6C901E772413A Time : 0.0 sec. user=mdettweiler [2012-09-12 07:52:28] 939*2^1228552-1 is not prime. Res64: 2A40DDA4FACD6968 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:01:50] 607*2^1228553-1 is not prime. Res64: C78A4C30E39EBBBD Time : 0.0 sec. user=mdettweiler [2012-09-12 08:01:50] 619*2^1228553-1 is not prime. Res64: D9C044235E8863A9 Time : 0.0 sec. user=vaughan [2012-09-12 08:02:23] 635*2^1228552-1 is not prime. Res64: EA841113FBF9A4C0 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:12:56] 631*2^1228553-1 is not prime. Res64: 764AC8C7CB982376 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:12:57] 651*2^1228553-1 is not prime. Res64: 7A83C2BA8C37B893 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:22:27] 735*2^1228553-1 is not prime. Res64: 3E999098FE784897 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:22:27] 747*2^1228553-1 is not prime. Res64: 451E5CAD3389A5C9 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:33:30] 889*2^1228553-1 is not prime. Res64: CB79F856DBFDD2C0 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:33:30] 915*2^1228553-1 is not prime. Res64: B9DDCA1F5845DEFE Time : 0.0 sec. user=vaughan [2012-09-12 08:39:43] 885*2^1228553-1 is not prime. Res64: 21F36438453D95A0 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:42:55] 985*2^1228553-1 is not prime. Res64: 713C5339AB36C6DF Time : 0.0 sec. user=mdettweiler [2012-09-12 08:42:56] 621*2^1228554-1 is not prime. Res64: E6B950D5C3B0B4FB Time : 0.0 sec. user=mdettweiler [2012-09-12 08:54:00] 657*2^1228554-1 is not prime. Res64: 0441E0F970362FF6 Time : 0.0 sec. user=mdettweiler [2012-09-12 08:54:00] 677*2^1228554-1 is not prime. Res64: EC1C7B53545AAB8F Time : 0.0 sec. user=mdettweiler [2012-09-12 09:03:24] 711*2^1228554-1 is not prime. Res64: 7B8CD82B0B18950E Time : 0.0 sec. user=mdettweiler [2012-09-12 09:03:24] 741*2^1228554-1 is not prime. Res64: 4F349C4F0CA491C7 Time : 0.0 sec. user=mdettweiler [2012-09-12 09:14:29] 755*2^1228554-1 is not prime. Res64: F95E4DD983BA07A8 Time : 0.0 sec. user=mdettweiler [2012-09-12 09:14:31] 783*2^1228554-1 is not prime. Res64: 0CE8730503996DFC Time : 0.0 sec. user=vaughan [2012-09-12 09:17:05] 695*2^1228554-1 is not prime. Res64: 8184CDF9E64C70FD Time : 0.0 sec. user=mdettweiler [2012-09-12 09:23:56] 861*2^1228554-1 is not prime. Res64: 6F54774FCFB08273 Time : 0.0 sec. user=mdettweiler [2012-09-12 09:23:57] 685*2^1228555-1 is not prime. Res64: F076D57452EB5DEE Time : 0.0 sec. user=mdettweiler [2012-09-12 09:35:12] 699*2^1228555-1 is not prime. Res64: D1FBD49C38004436 Time : 0.0 sec. user=mdettweiler [2012-09-12 09:35:12] 735*2^1228555-1 is not prime. Res64: 3116BA4E98392348 Time : 0.0 sec. user=mdettweiler [2012-09-12 09:44:25] 915*2^1228555-1 is not prime. Res64: BBB91A7CB52681EB Time : 0.0 sec. user=mdettweiler [2012-09-12 09:44:25] 919*2^1228555-1 is not prime. Res64: 5FFDDFA43CB83817 Time : 0.0 sec. user=vaughan [2012-09-12 09:54:29] 801*2^1228555-1 is not prime. Res64: 26BE2694F966D208 Time : 0.0 sec. user=mdettweiler [2012-09-12 09:55:44] 609*2^1228556-1 is not prime. Res64: 41EF012C8A57262E Time : 0.0 sec. user=mdettweiler [2012-09-12 09:55:45] 683*2^1228556-1 is not prime. Res64: 2BE4626A1AA85AC7 Time : 0.0 sec. user=mdettweiler [2012-09-12 10:05:03] 867*2^1228556-1 is not prime. Res64: 33F2A063447780AD Time : 0.0 sec. user=mdettweiler [2012-09-12 10:05:06] 651*2^1228557-1 is not prime. Res64: 2AEE86D1C2942FFE Time : 0.0 sec. user=mdettweiler [2012-09-12 10:16:29] 865*2^1228557-1 is not prime. Res64: 60763B35F5831884 Time : 0.0 sec. user=mdettweiler [2012-09-12 10:16:30] 997*2^1228557-1 is not prime. Res64: C88C16500B07844A Time : 0.0 sec. user=mdettweiler [2012-09-12 10:26:12] 611*2^1228558-1 is not prime. Res64: ED65172F4C61BE22 Time : 0.0 sec. user=mdettweiler [2012-09-12 10:26:12] 705*2^1228558-1 is not prime. Res64: E9E4A0104D94D968 Time : 0.0 sec. user=vaughan [2012-09-12 10:31:48] 777*2^1228557-1 is not prime. Res64: F24153C38A8E637C Time : 0.0 sec. user=mdettweiler [2012-09-12 10:37:27] 707*2^1228558-1 is not prime. Res64: 968F33B431361C0F Time : 0.0 sec. user=mdettweiler [2012-09-12 10:37:27] 801*2^1228558-1 is not prime. Res64: EEC1C519C4F60F4B Time : 0.0 sec. user=mdettweiler [2012-09-12 10:47:02] 815*2^1228558-1 is not prime. Res64: 0DC9535017FD554D Time : 0.0 sec. user=mdettweiler [2012-09-12 10:47:03] 825*2^1228558-1 is not prime. Res64: F19F4BF87D0338EE Time : 0.0 sec. user=mdettweiler [2012-09-12 10:58:16] 933*2^1228558-1 is not prime. Res64: FC2125FBA166523B Time : 0.0 sec. user=mdettweiler [2012-09-12 10:58:16] 995*2^1228558-1 is not prime. Res64: F9383050A28C5BE0 Time : 0.0 sec. user=mdettweiler [2012-09-12 11:07:54] 615*2^1228559-1 is not prime. Res64: DEC358C545F9D589 Time : 0.0 sec. user=mdettweiler [2012-09-12 11:07:55] 663*2^1228559-1 is not prime. Res64: A4CCEE04BA433227 Time : 0.0 sec. user=vaughan [2012-09-12 11:09:09] 831*2^1228558-1 is not prime. Res64: 89FEF46B865DA24A Time : 0.0 sec. user=mdettweiler [2012-09-12 11:18:57] 669*2^1228559-1 is not prime. Res64: 07DE0CF4C18FCCAF Time : 0.0 sec. user=mdettweiler [2012-09-12 11:18:58] 721*2^1228559-1 is not prime. Res64: 49BBEF8B2342D6D4 Time : 0.0 sec. user=mdettweiler [2012-09-12 11:28:40] 855*2^1228559-1 is not prime. Res64: 8A8F6B4624251FBF Time : 0.0 sec. user=mdettweiler [2012-09-12 11:28:40] 985*2^1228559-1 is not prime. Res64: 69235771486F8993 Time : 0.0 sec. user=mdettweiler [2012-09-12 11:39:37] 759*2^1228560-1 is not prime. Res64: 29E252FCFC6D5227 Time : 0.0 sec. user=mdettweiler [2012-09-12 11:39:38] 857*2^1228560-1 is not prime. Res64: 0F1422FBAE32D962 Time : 0.0 sec. user=vaughan [2012-09-12 11:46:30] 633*2^1228560-1 is not prime. Res64: FB2F2F969061868F Time : 0.0 sec. user=mdettweiler [2012-09-12 11:49:14] 601*2^1228561-1 is not prime. Res64: F0769FF5CCAA8906 Time : 0.0 sec. user=mdettweiler [2012-09-12 11:49:14] 607*2^1228561-1 is not prime. Res64: A7A3A74E6A847030 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:00:14] 805*2^1228561-1 is not prime. Res64: 78E22A2C3A7CC201 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:00:15] 931*2^1228561-1 is not prime. Res64: 2A67CBD889AA0032 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:09:51] 785*2^1228562-1 is not prime. Res64: 6DD0D4718EC89091 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:09:51] 885*2^1228562-1 is not prime. Res64: 871B5D00A54CA78A Time : 0.0 sec. user=mdettweiler [2012-09-12 12:20:54] 887*2^1228562-1 is not prime. Res64: F434BCC24C166621 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:20:54] 995*2^1228562-1 is not prime. Res64: EEEB80CAF5451947 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:30:40] 679*2^1228563-1 is not prime. Res64: 25E8E1CCCE445E21 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:30:41] 685*2^1228563-1 is not prime. Res64: F09E2816327D7D8A Time : 0.0 sec. user=mdettweiler [2012-09-12 12:41:34] 741*2^1228563-1 is not prime. Res64: BAED2E666DD357F4 Time : 0.0 sec. user=mdettweiler [2012-09-12 12:41:34] 769*2^1228563-1 is not prime. Res64: 5A85C617285B98FF Time : 0.0 sec. user=mdettweiler [2012-09-12 12:51:19] 825*2^1228563-1 is not prime. Res64: E21911A5880678FC Time : 0.0 sec. user=mdettweiler [2012-09-12 12:51:19] 963*2^1228563-1 is not prime. Res64: 9638E7B1C7A8284E Time : 0.0 sec. user=mdettweiler [2012-09-12 13:02:13] 985*2^1228563-1 is not prime. Res64: D4E511246D711D61 Time : 0.0 sec. user=mdettweiler [2012-09-12 13:02:14] 675*2^1228564-1 is not prime. Res64: BBAF296D4704A948 Time : 0.0 sec. user=mdettweiler [2012-09-12 13:11:58] 707*2^1228564-1 is not prime. Res64: 7C16FB4025CE6528 Time : 0.0 sec. user=mdettweiler [2012-09-12 13:11:59] 717*2^1228564-1 is not prime. Res64: 9DFC5B3F168A8783 Time : 0.0 sec. user=mdettweiler [2012-09-12 13:23:04] 855*2^1228564-1 is not prime. Res64: 2977EFD5A839D4BC Time : 0.0 sec. user=mdettweiler [2012-09-12 13:23:04] 655*2^1228565-1 is not prime. Res64: DEAAE0F6F2A33D6B Time : 0.0 sec. user=mdettweiler [2012-09-12 13:32:48] 727*2^1228565-1 is not prime. Res64: B370E5BAEE3FDB8D Time : 0.0 sec. user=mdettweiler [2012-09-12 13:32:48] 729*2^1228565-1 is not prime. Res64: 8C6B7E3292453554 Time : 0.0 sec. user=mdettweiler [2012-09-12 13:43:51] 889*2^1228565-1 is not prime. Res64: E8EC9F064CA42E0C Time : 0.0 sec. user=mdettweiler [2012-09-12 13:43:52] 937*2^1228565-1 is not prime. Res64: 396AC8D233C7CDCC Time : 0.0 sec. user=mdettweiler [2012-09-12 13:53:33] 807*2^1228566-1 is not prime. Res64: A12C80E7F477AB2A Time : 0.0 sec. user=mdettweiler [2012-09-12 13:53:34] 891*2^1228566-1 is not prime. Res64: 7D2341EDED71C68A Time : 0.0 sec. user=mdettweiler [2012-09-12 14:04:35] 765*2^1228567-1 is not prime. Res64: 9D800225A0828C0A Time : 0.0 sec. user=mdettweiler [2012-09-12 14:04:36] 793*2^1228567-1 is not prime. Res64: AC3558980CFFECBA Time : 0.0 sec. user=mdettweiler [2012-09-12 14:14:16] 831*2^1228567-1 is not prime. Res64: AC0DE08641421D39 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:14:17] 841*2^1228567-1 is not prime. Res64: 53D0202A7FABE09B Time : 0.0 sec. user=mdettweiler [2012-09-12 14:25:36] 961*2^1228567-1 is not prime. Res64: 2F0667A1F4309C66 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:25:37] 979*2^1228567-1 is not prime. Res64: 14B90A494E04D6C5 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:35:52] 603*2^1228568-1 is not prime. Res64: 7801F09C01342291 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:35:53] 683*2^1228568-1 is not prime. Res64: F135D95970D72F24 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:47:30] 743*2^1228568-1 is not prime. Res64: 94F166579AE2A7E9 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:47:30] 797*2^1228568-1 is not prime. Res64: AE277351CCD0F97C Time : 0.0 sec. user=mdettweiler [2012-09-12 14:57:48] 845*2^1228568-1 is not prime. Res64: 627E1BD796380879 Time : 0.0 sec. user=mdettweiler [2012-09-12 14:57:49] 963*2^1228568-1 is not prime. Res64: 2FCD52207572CCEC Time : 0.0 sec. user=mdettweiler [2012-09-12 15:08:54] 627*2^1228569-1 is not prime. Res64: F320F14B23C31C93 Time : 0.0 sec. user=mdettweiler [2012-09-12 15:08:55] 669*2^1228569-1 is not prime. Res64: 4BCCBAA4CC237FFB Time : 0.0 sec. user=mdettweiler [2012-09-12 15:18:36] 685*2^1228569-1 is not prime. Res64: 116F17EEDF562FB0 Time : 0.0 sec. user=mdettweiler [2012-09-12 15:18:37] 759*2^1228569-1 is not prime. Res64: 485D8C805497402D Time : 0.0 sec. user=mdettweiler [2012-09-12 15:29:59] 835*2^1228569-1 is not prime. Res64: 5F7DC944155BC0B6 Time : 0.0 sec. user=mdettweiler [2012-09-12 15:29:59] 865*2^1228569-1 is not prime. Res64: 9D3337AF521BD3DB Time : 0.0 sec. user=mdettweiler [2012-09-12 15:39:47] 867*2^1228569-1 is not prime. Res64: 358628552BBD4EAE Time : 0.0 sec. user=mdettweiler [2012-09-12 15:39:48] 921*2^1228569-1 is not prime. Res64: 377FCF55E9C31D02 Time : 0.0 sec. user=mdettweiler [2012-09-12 15:51:00] 949*2^1228569-1 is not prime. Res64: BEC776FA0B24A850 Time : 0.0 sec. user=mdettweiler [2012-09-12 15:51:01] 969*2^1228569-1 is not prime. Res64: D299643284CB7430 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:00:50] 985*2^1228569-1 is not prime. Res64: 78CD2F41CFDDC217 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:00:51] 997*2^1228569-1 is not prime. Res64: 922A8F02B915B237 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:12:02] 635*2^1228570-1 is not prime. Res64: A100AA740D6C8DA9 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:12:02] 687*2^1228570-1 is not prime. Res64: B1B54D3A7631E11E Time : 0.0 sec. user=mdettweiler [2012-09-12 16:22:01] 723*2^1228570-1 is not prime. Res64: 2CF8EB2DC4FBB1B5 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:22:01] 747*2^1228570-1 is not prime. Res64: 2FE114EE83CA7726 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:33:06] 773*2^1228570-1 is not prime. Res64: DFF3AF2516208249 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:33:06] 887*2^1228570-1 is not prime. Res64: 39BE0912516D7DD6 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:43:02] 615*2^1228571-1 is not prime. Res64: DF369FDE8AE86B9A Time : 0.0 sec. user=mdettweiler [2012-09-12 16:43:02] 669*2^1228571-1 is not prime. Res64: 05A16365CAC39CB8 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:54:05] 733*2^1228571-1 is not prime. Res64: 68CFBE0DB3D54A68 Time : 0.0 sec. user=mdettweiler [2012-09-12 16:54:05] 901*2^1228571-1 is not prime. Res64: A395AC1399EDA7DF Time : 0.0 sec. user=mdettweiler [2012-09-12 17:04:05] 949*2^1228571-1 is not prime. Res64: CE1770FBA0928473 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:04:06] 629*2^1228572-1 is not prime. Res64: 00C63815F70B5842 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:15:10] 737*2^1228572-1 is not prime. Res64: C5A3E3F2D7D000A0 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:15:10] 765*2^1228572-1 is not prime. Res64: 3F2BB35A0DCE065A Time : 0.0 sec. user=mdettweiler [2012-09-12 17:25:33] 863*2^1228572-1 is not prime. Res64: 5EB5B104B25F0B29 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:25:34] 847*2^1228573-1 is not prime. Res64: 2AB0B19FFAB29CB7 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:36:33] 885*2^1228573-1 is not prime. Res64: DBEC7B0C8249B0C8 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:36:34] 897*2^1228573-1 is not prime. Res64: 4050425653E6C77E Time : 0.0 sec. user=mdettweiler [2012-09-12 17:46:55] 967*2^1228573-1 is not prime. Res64: 9D2ABCBBA7BA638B Time : 0.0 sec. user=mdettweiler [2012-09-12 17:46:56] 999*2^1228573-1 is not prime. Res64: C31252E90837BD45 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:57:52] 623*2^1228574-1 is not prime. Res64: 3721B6A20580CD64 Time : 0.0 sec. user=mdettweiler [2012-09-12 17:57:52] 773*2^1228574-1 is not prime. Res64: 3CE9D307E7FDC290 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:07:50] 827*2^1228574-1 is not prime. Res64: B5DA375518CF57CB Time : 0.0 sec. user=mdettweiler [2012-09-12 18:07:50] 887*2^1228574-1 is not prime. Res64: 0AE424777D81DD26 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:18:21] 971*2^1228574-1 is not prime. Res64: 8439E79111F5B802 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:18:21] 685*2^1228575-1 is not prime. Res64: BEFA5B62C5BF3AFE Time : 0.0 sec. user=mdettweiler [2012-09-12 18:28:29] 709*2^1228575-1 is not prime. Res64: 94D05EA0D5B0FCB8 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:28:29] 739*2^1228575-1 is not prime. Res64: 7C538CCA2057D058 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:39:00] 741*2^1228575-1 is not prime. Res64: 4D780D53A5CFFCC0 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:39:01] 891*2^1228575-1 is not prime. Res64: B487CAEA71F9A1B7 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:49:07] 717*2^1228576-1 is not prime. Res64: 215239BBC71880B0 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:49:08] 723*2^1228576-1 is not prime. Res64: BD65FB2FB24CA691 Time : 0.0 sec. user=mdettweiler [2012-09-12 18:59:38] 909*2^1228576-1 is not prime. Res64: BEA19D9A1528949E Time : 0.0 sec. user=mdettweiler [2012-09-12 18:59:39] 631*2^1228577-1 is not prime. Res64: 4DCA4B0ABF3A33D2 Time : 0.0 sec. user=mdettweiler [2012-09-12 19:09:47] 645*2^1228577-1 is not prime. Res64: 89D3514CFFE26C07 Time : 0.0 sec. user=mdettweiler [2012-09-12 19:09:48] 675*2^1228577-1 is not prime. Res64: 4C0189083144434A Time : 0.0 sec. user=mdettweiler [2012-09-12 19:20:20] 837*2^1228577-1 is not prime. Res64: 8C8DF73FC572FC98 Time : 0.0 sec. user=mdettweiler [2012-09-12 19:20:20] 841*2^1228577-1 is not prime. Res64: A381AFA72ABBB4CB Time : 0.0 sec. user=mdettweiler [2012-09-12 19:30:43] 979*2^1228577-1 is not prime. Res64: CFF31C9A00A6AB63 Time : 0.0 sec. user=mdettweiler [2012-09-12 19:30:43] 621*2^1228578-1 is not prime. Res64: 35F66B75EE9F193B Time : 0.0 sec. user=mdettweiler [2012-09-12 19:41:14] 647*2^1228578-1 is not prime. Res64: 3E5D06128A681F72 Time : 0.0 sec. user=mdettweiler [2012-09-12 19:41:14] 755*2^1228578-1 is not prime. Res64: FDAF408D21E04FAF Time : 0.0 sec. user=mdettweiler [2012-09-12 19:51:37] 773*2^1228578-1 is not prime. Res64: E85CF558450EC9E0 Time : 0.0 sec. user=mdettweiler [2012-09-12 19:51:37] 821*2^1228578-1 is not prime. Res64: AECE72F566E2C059 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:01:54] 833*2^1228578-1 is not prime. Res64: 4F832107BFFCF7EA Time : 0.0 sec. user=mdettweiler [2012-09-12 20:01:55] 603*2^1228579-1 is not prime. Res64: B1B26DD19657404C Time : 0.0 sec. user=mdettweiler [2012-09-12 20:12:05] 633*2^1228579-1 is not prime. Res64: 9A9D9B54F8DE75F1 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:12:07] 975*2^1228579-1 is not prime. Res64: 6F2164D74B9EF0D9 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:22:31] 985*2^1228579-1 is not prime. Res64: 6CB2484582543C9D Time : 0.0 sec. user=mdettweiler [2012-09-12 20:22:32] 609*2^1228580-1 is not prime. Res64: A532A9AEC26B4896 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:32:42] 813*2^1228580-1 is not prime. Res64: 47ED977862D7DB0E Time : 0.0 sec. user=mdettweiler [2012-09-12 20:32:43] 879*2^1228580-1 is not prime. Res64: DB6B09FACD2A7DBF Time : 0.0 sec. user=mdettweiler [2012-09-12 20:42:59] 995*2^1228580-1 is not prime. Res64: 8630079E70B1DF04 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:43:00] 999*2^1228580-1 is not prime. Res64: 89D37F6E08C24F30 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:53:20] 621*2^1228581-1 is not prime. Res64: EA73C68C1BF937B9 Time : 0.0 sec. user=mdettweiler [2012-09-12 20:53:20] 625*2^1228581-1 is not prime. Res64: 842288BED1882189 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:03:28] 691*2^1228581-1 is not prime. Res64: B727EEDB25E68673 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:03:30] 717*2^1228581-1 is not prime. Res64: EBAAA8E4CF4042D2 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:13:48] 889*2^1228581-1 is not prime. Res64: A5D975B95EA8E7B6 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:13:50] 921*2^1228581-1 is not prime. Res64: ADFE3AFEBC570A51 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:24:08] 955*2^1228581-1 is not prime. Res64: 5E4CEDD2758133D4 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:24:09] 705*2^1228582-1 is not prime. Res64: 3550E662856DD707 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:34:21] 791*2^1228582-1 is not prime. Res64: D80003E9FA40594C Time : 0.0 sec. user=mdettweiler [2012-09-12 21:34:22] 863*2^1228582-1 is not prime. Res64: 91374BB6D0C70571 Time : 0.0 sec. user=mdettweiler [2012-09-12 21:44:40] 911*2^1228582-1 is not prime. Res64: 9F918C7F3E356B5D Time : 0.0 sec. user=mdettweiler [2012-09-12 21:44:41] 945*2^1228582-1 is not prime. Res64: 23FD382E2C2B53BF Time : 0.0 sec. user=mdettweiler [2012-09-12 21:54:55] 983*2^1228582-1 is not prime. Res64: 4D72DA0C8E9ABECC Time : 0.0 sec. user=mdettweiler [2012-09-12 21:54:56] 609*2^1228583-1 is not prime. Res64: 004E04D487B7FBAF Time : 0.0 sec. user=mdettweiler [2012-09-12 22:05:16] 661*2^1228583-1 is not prime. Res64: 98FECA1E738740E5 Time : 0.0 sec. user=mdettweiler [2012-09-12 22:05:17] 675*2^1228583-1 is not prime. Res64: 8B9A1AF86D97CECB Time : 0.0 sec. user=mdettweiler [2012-09-12 22:15:26] 693*2^1228583-1 is not prime. Res64: ED4C6BE13C87FF6C Time : 0.0 sec. user=mdettweiler [2012-09-12 22:15:27] 705*2^1228583-1 is not prime. Res64: 4B2ECCC1F7541EC0 Time : 0.0 sec. user=mdettweiler [2012-09-12 22:25:51] 741*2^1228583-1 is not prime. Res64: 1603E1CCBD2FA4BB Time : 0.0 sec. user=mdettweiler [2012-09-12 22:25:52] 823*2^1228583-1 is not prime. Res64: 765621D9BEAEEC6A Time : 0.0 sec. user=mdettweiler [2012-09-12 22:35:59] 885*2^1228583-1 is not prime. Res64: 460E4262E815F235 Time : 0.0 sec. user=mdettweiler [2012-09-12 22:36:00] 963*2^1228583-1 is not prime. Res64: 74007F1A6150C725 Time : 0.0 sec. user=mdettweiler [2012-09-12 22:46:23] 693*2^1228584-1 is not prime. Res64: 7AFD548B8BFEE76B Time : 0.0 sec. user=mdettweiler [2012-09-12 22:46:23] 707*2^1228584-1 is not prime. Res64: A093D76EFCBC0621 Time : 0.0 sec. user=mdettweiler [2012-09-12 22:56:31] 719*2^1228584-1 is not prime. Res64: CFCE88E97FF1DF3E Time : 0.0 sec. user=mdettweiler [2012-09-12 22:56:32] 737*2^1228584-1 is not prime. Res64: 73C0A4141DE9E163 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:07:00] 837*2^1228584-1 is not prime. Res64: AB47A564F6D47DBB Time : 0.0 sec. user=mdettweiler [2012-09-12 23:07:01] 875*2^1228584-1 is not prime. Res64: CF588EB2AA65D33A Time : 0.0 sec. user=mdettweiler [2012-09-12 23:17:28] 679*2^1228585-1 is not prime. Res64: 53486651CDCC03FC Time : 0.0 sec. user=mdettweiler [2012-09-12 23:17:29] 705*2^1228585-1 is not prime. Res64: 94F9693413B41BC1 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:28:10] 765*2^1228585-1 is not prime. Res64: E09BF12FB5EFA35C Time : 0.0 sec. user=mdettweiler [2012-09-12 23:28:10] 801*2^1228585-1 is not prime. Res64: 47909808A1E1FD52 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:38:02] 855*2^1228585-1 is not prime. Res64: 4790EBCD56070734 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:38:02] 861*2^1228585-1 is not prime. Res64: 9931B68E4BBAE006 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:48:42] 897*2^1228585-1 is not prime. Res64: 57E9A1DA4696F5F9 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:48:42] 937*2^1228585-1 is not prime. Res64: 3E2D5A37A8C4F779 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:58:32] 997*2^1228585-1 is not prime. Res64: 4DEBF918F42FEFF3 Time : 0.0 sec. user=mdettweiler [2012-09-12 23:58:33] 999*2^1228585-1 is not prime. Res64: A9872590E94E3F0B Time : 0.0 sec.