user=mdettweiler [2016-07-31 00:09:13] 873*2^1436299-1 is not prime. Res64: 2EC94858407DE969 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:09:14] 885*2^1436299-1 is not prime. Res64: C22A0E03DF476211 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:09:14] 939*2^1436299-1 is not prime. Res64: 3C29504F0E6F7AB3 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:09:15] 647*2^1436300-1 is not prime. Res64: 355CC01AE5849D90 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:09:15] 875*2^1436300-1 is not prime. Res64: 4C3B8F8988BD5B0C Time : 0.0 sec. user=mdettweiler [2016-07-31 00:11:33] 897*2^1436300-1 is not prime. Res64: F52377A82A2E2020 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:11:34] 983*2^1436300-1 is not prime. Res64: 0FC8FA8FDD670282 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:11:34] 669*2^1436301-1 is not prime. Res64: FCA9E6BC668C24E5 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:11:35] 711*2^1436301-1 is not prime. Res64: D25ECA1EF57AE720 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:11:36] 847*2^1436301-1 is not prime. Res64: 0E4735EB8B60CD2E Time : 0.0 sec. user=mdettweiler [2016-07-31 00:20:46] 895*2^1436301-1 is not prime. Res64: 862DAD25043FC16C Time : 0.0 sec. user=mdettweiler [2016-07-31 00:20:46] 961*2^1436301-1 is not prime. Res64: 04F45A1B838F69C6 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:20:46] 979*2^1436301-1 is not prime. Res64: 6E77F0BA9E9F805E Time : 0.0 sec. user=mdettweiler [2016-07-31 00:20:47] 675*2^1436302-1 is not prime. Res64: FF6C2CDEC062EA1B Time : 0.0 sec. user=mdettweiler [2016-07-31 00:20:47] 765*2^1436302-1 is not prime. Res64: 7BD2C34BB8B897E7 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:53:27] 885*2^1436302-1 is not prime. Res64: E15FF3A46DAF8B88 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:53:27] 923*2^1436302-1 is not prime. Res64: A5079420F57B52A0 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:53:28] 957*2^1436302-1 is not prime. Res64: 5FA5F920BD62AC4E Time : 0.0 sec. user=mdettweiler [2016-07-31 00:53:28] 975*2^1436302-1 is not prime. Res64: BC36B41036DF9AF9 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:53:28] 663*2^1436303-1 is not prime. Res64: EB4E0EDAD928545D Time : 0.0 sec. user=mdettweiler [2016-07-31 00:55:50] 669*2^1436303-1 is not prime. Res64: BDF33F7B91E47DB4 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:55:50] 693*2^1436303-1 is not prime. Res64: 08EF38E6875C2BA1 Time : 0.0 sec. user=mdettweiler [2016-07-31 00:55:51] 729*2^1436303-1 is not prime. Res64: 4F093454BD53BDEA Time : 0.0 sec. user=mdettweiler [2016-07-31 00:55:51] 775*2^1436303-1 is not prime. Res64: DE8E5E554446B25B Time : 0.0 sec. user=mdettweiler [2016-07-31 00:55:51] 879*2^1436303-1 is not prime. Res64: 0D811F9C95F07921 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:04:54] 943*2^1436303-1 is not prime. Res64: 385BAC1C962267AF Time : 0.0 sec. user=mdettweiler [2016-07-31 01:04:56] 949*2^1436303-1 is not prime. Res64: 7399AC20B83E7272 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:04:57] 969*2^1436303-1 is not prime. Res64: 97DA00CD0467371B Time : 0.0 sec. user=mdettweiler [2016-07-31 01:04:58] 605*2^1436304-1 is not prime. Res64: 095CCE2FC093D479 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:04:59] 635*2^1436304-1 is not prime. Res64: C01CDCF16A591DA3 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:37:38] 705*2^1436304-1 is not prime. Res64: 4E4673635017EED2 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:37:38] 707*2^1436304-1 is not prime. Res64: F65B6CA35E1E41E1 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:37:39] 719*2^1436304-1 is not prime. Res64: 23F69D261C76FA9F Time : 0.0 sec. user=mdettweiler [2016-07-31 01:37:39] 747*2^1436304-1 is not prime. Res64: 62ED80866936F749 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:37:40] 803*2^1436304-1 is not prime. Res64: D2854CA5CD01BA7A Time : 0.0 sec. user=mdettweiler [2016-07-31 01:40:04] 849*2^1436304-1 is not prime. Res64: 7A0BBE6A7277A62A Time : 0.0 sec. user=mdettweiler [2016-07-31 01:40:05] 875*2^1436304-1 is not prime. Res64: A1BCC6A9F13E1CE9 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:40:05] 927*2^1436304-1 is not prime. Res64: A9C4ABDBA06CA21E Time : 0.0 sec. user=mdettweiler [2016-07-31 01:40:05] 969*2^1436304-1 is not prime. Res64: 27C264B4703E8C44 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:40:06] 667*2^1436305-1 is not prime. Res64: 781B54D60BC1070F Time : 0.0 sec. user=mdettweiler [2016-07-31 01:49:09] 721*2^1436305-1 is not prime. Res64: 52A87E6AA3753F37 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:49:10] 759*2^1436305-1 is not prime. Res64: 07C8026B5F2E4F4B Time : 0.0 sec. user=mdettweiler [2016-07-31 01:49:10] 817*2^1436305-1 is not prime. Res64: 16EA1BAEB6AB3A59 Time : 0.0 sec. user=mdettweiler [2016-07-31 01:49:11] 861*2^1436305-1 is not prime. Res64: 79CE116CFDDA8B1E Time : 0.0 sec. user=mdettweiler [2016-07-31 01:49:11] 889*2^1436305-1 is not prime. Res64: 83F5A298C5A8B2B8 Time : 0.0 sec. user=mdettweiler [2016-07-31 02:21:59] 617*2^1436306-1 is not prime. Res64: 529414134EA272F9 Time : 0.0 sec. user=mdettweiler [2016-07-31 02:21:59] 641*2^1436306-1 is not prime. Res64: 012F4FE44FF983CB Time : 0.0 sec. user=mdettweiler [2016-07-31 02:21:59] 675*2^1436306-1 is not prime. Res64: 0E8F3F462DB476B9 Time : 0.0 sec. user=mdettweiler [2016-07-31 02:22:00] 767*2^1436306-1 is not prime. Res64: E2196FB94A32B511 Time : 0.0 sec. user=mdettweiler [2016-07-31 02:22:00] 837*2^1436306-1 is not prime. Res64: FBAE727C3F84F5CD Time : 0.0 sec. user=mdettweiler [2016-07-31 02:24:19] 873*2^1436306-1 is not prime. Res64: 12908D87405B887A Time : 0.0 sec. user=mdettweiler [2016-07-31 02:24:19] 957*2^1436306-1 is not prime. Res64: 871F4EB6466584A8 Time : 0.0 sec. user=mdettweiler [2016-07-31 02:24:19] 609*2^1436307-1 is not prime. Res64: 21C17FE314CCFE0F Time : 0.0 sec. user=mdettweiler [2016-07-31 02:24:20] 801*2^1436307-1 is not prime. Res64: 40E14CEDE642273B Time : 0.0 sec. user=mdettweiler [2016-07-31 02:24:20] 829*2^1436307-1 is not prime. Res64: 5810D680F8983990 Time : 0.0 sec. user=mdettweiler [2016-07-31 02:33:31] 885*2^1436307-1 is not prime. Res64: EA4F25BFD7FD8661 Time : 0.0 sec. user=juhehe [2016-07-31 02:57:39] 813*2^1436308-1 is not prime. Res64: 1DFBAC0DC6BD973C Time : 0.0 sec. user=mdettweiler [2016-07-31 03:06:33] 855*2^1436308-1 is not prime. Res64: 1D3809E6A8BFC924 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:06:35] 969*2^1436308-1 is not prime. Res64: 8A34C815C0BDADEA Time : 0.0 sec. user=mdettweiler [2016-07-31 03:06:36] 645*2^1436309-1 is not prime. Res64: BBC6AA06FE08AD0F Time : 0.0 sec. user=mdettweiler [2016-07-31 03:06:38] 831*2^1436309-1 is not prime. Res64: B9640D38CDAD411F Time : 0.0 sec. user=mdettweiler [2016-07-31 03:06:39] 855*2^1436309-1 is not prime. Res64: F5145BEFE56DD1CB Time : 0.0 sec. user=mdettweiler [2016-07-31 03:08:52] 897*2^1436309-1 is not prime. Res64: A95F098135E50E5C Time : 0.0 sec. user=mdettweiler [2016-07-31 03:08:52] 927*2^1436309-1 is not prime. Res64: AEFFF854CBCE429E Time : 0.0 sec. user=mdettweiler [2016-07-31 03:08:53] 651*2^1436310-1 is not prime. Res64: 43676A5F159AD1E0 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:08:53] 755*2^1436310-1 is not prime. Res64: 5831E67A523B713B Time : 0.0 sec. user=mdettweiler [2016-07-31 03:08:54] 791*2^1436310-1 is not prime. Res64: 699F31EFB69FBD5A Time : 0.0 sec. user=mdettweiler [2016-07-31 03:51:30] 797*2^1436310-1 is not prime. Res64: C1A83F40659D09EA Time : 0.0 sec. user=mdettweiler [2016-07-31 03:51:31] 825*2^1436310-1 is not prime. Res64: 6BAE9E31D252EBC8 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:51:32] 923*2^1436310-1 is not prime. Res64: EE553626C8E6DE74 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:51:33] 1001*2^1436310-1 is not prime. Res64: F028080E4F8F3131 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:51:33] 609*2^1436311-1 is not prime. Res64: 79C67FBC53CAF662 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:53:26] 615*2^1436311-1 is not prime. Res64: 92BF45947D46A833 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:53:27] 619*2^1436311-1 is not prime. Res64: C01805D2992B4E40 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:53:28] 661*2^1436311-1 is not prime. Res64: C2F3B91591D86C1D Time : 0.0 sec. user=mdettweiler [2016-07-31 03:53:28] 681*2^1436311-1 is not prime. Res64: 842DB8FDB1F45467 Time : 0.0 sec. user=mdettweiler [2016-07-31 03:53:31] 703*2^1436311-1 is not prime. Res64: F013452815312916 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:36:41] 735*2^1436311-1 is not prime. Res64: 5A4BA2D5FA059BE5 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:36:41] 745*2^1436311-1 is not prime. Res64: B6542600D3E60349 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:36:42] 843*2^1436311-1 is not prime. Res64: A8516D8EF8D1FC48 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:36:42] 713*2^1436312-1 is not prime. Res64: 0F9BA885E033699E Time : 0.0 sec. user=mdettweiler [2016-07-31 04:36:42] 735*2^1436312-1 is not prime. Res64: 2E994EDAE8FEB7BC Time : 0.0 sec. user=mdettweiler [2016-07-31 04:40:11] 995*2^1436312-1 is not prime. Res64: E4F27B1130E606B7 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:40:12] 699*2^1436313-1 is not prime. Res64: 80F09A3279FA193E Time : 0.0 sec. user=mdettweiler [2016-07-31 04:40:12] 741*2^1436313-1 is not prime. Res64: A073EC672F392010 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:40:13] 861*2^1436313-1 is not prime. Res64: BE222CEC970CA111 Time : 0.0 sec. user=mdettweiler [2016-07-31 04:40:13] 889*2^1436313-1 is not prime. Res64: EF454D8D9D560E3C Time : 0.0 sec. user=mdettweiler [2016-07-31 05:16:56] 891*2^1436307-1 is not prime. Res64: 757E6C5BAB199E4D Time : 0.0 sec. user=mdettweiler [2016-07-31 05:16:57] 909*2^1436307-1 is not prime. Res64: BCAC6D5A1387967D Time : 0.0 sec. user=mdettweiler [2016-07-31 05:16:57] 963*2^1436307-1 is not prime. Res64: 1561D16510E546C2 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:16:58] 617*2^1436308-1 is not prime. Res64: A4DC234DA055E709 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:21:29] 937*2^1436313-1 is not prime. Res64: 581F18A217260F3F Time : 0.0 sec. user=mdettweiler [2016-07-31 05:21:30] 979*2^1436313-1 is not prime. Res64: A4CF27E3BCB19012 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:21:30] 987*2^1436313-1 is not prime. Res64: E4B3023E220B34FD Time : 0.0 sec. user=mdettweiler [2016-07-31 05:21:31] 665*2^1436314-1 is not prime. Res64: 612C6909102AAED8 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:21:31] 677*2^1436314-1 is not prime. Res64: F29244128C677E35 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:24:54] 857*2^1436314-1 is not prime. Res64: 5A98CB1D480F95E7 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:24:55] 947*2^1436314-1 is not prime. Res64: 5846AF1B795C84A4 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:24:55] 783*2^1436315-1 is not prime. Res64: 649D053BA69E1D93 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:24:55] 805*2^1436315-1 is not prime. Res64: 58EB8459D98574F0 Time : 0.0 sec. user=mdettweiler [2016-07-31 05:24:56] 825*2^1436315-1 is not prime. Res64: EF74C262B1DFBEB4 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:01:01] 647*2^1436316-1 is not prime. Res64: 4E8BFAC39DB9D033 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:01:02] 735*2^1436316-1 is not prime. Res64: ACD561D18959CE13 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:01:03] 767*2^1436316-1 is not prime. Res64: 172BA1A7177E7753 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:01:03] 649*2^1436317-1 is not prime. Res64: 04C08648C73978F6 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:01:04] 757*2^1436317-1 is not prime. Res64: 8863D9ED3204F569 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:05:34] 759*2^1436317-1 is not prime. Res64: 8BB1E72F1A6A50D2 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:05:35] 847*2^1436317-1 is not prime. Res64: 95BFA3E38AD38BF9 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:05:36] 897*2^1436317-1 is not prime. Res64: 561A14012AB3A0AE Time : 0.0 sec. user=mdettweiler [2016-07-31 06:05:37] 931*2^1436317-1 is not prime. Res64: 93A3A573BAD0947A Time : 0.0 sec. user=mdettweiler [2016-07-31 06:05:39] 937*2^1436317-1 is not prime. Res64: 8AB4DEFF257EBD7B Time : 0.0 sec. user=mdettweiler [2016-07-31 06:08:56] 955*2^1436317-1 is not prime. Res64: A3F07CF00D287679 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:08:56] 967*2^1436317-1 is not prime. Res64: 55C24E17D7205164 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:08:57] 605*2^1436318-1 is not prime. Res64: 3191F7838D84433A Time : 0.0 sec. user=mdettweiler [2016-07-31 06:08:57] 645*2^1436318-1 is not prime. Res64: 4396807A6CA2F0F5 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:08:58] 671*2^1436318-1 is not prime. Res64: D32E6D8E508DEDA8 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:45:09] 773*2^1436318-1 is not prime. Res64: 2EF903F83AB72F1C Time : 0.0 sec. user=mdettweiler [2016-07-31 06:45:10] 861*2^1436318-1 is not prime. Res64: 46EB1645942F5A32 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:45:10] 923*2^1436318-1 is not prime. Res64: F36BD08DCAE07D0F Time : 0.0 sec. user=mdettweiler [2016-07-31 06:45:10] 661*2^1436319-1 is not prime. Res64: DDDB63B9346D7275 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:45:11] 735*2^1436319-1 is not prime. Res64: 6D6A95CF795C05C0 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:49:42] 745*2^1436319-1 is not prime. Res64: F6899BFB2DBDE398 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:49:42] 775*2^1436319-1 is not prime. Res64: 2A8141BF42B5C27B Time : 0.0 sec. user=mdettweiler [2016-07-31 06:49:46] 793*2^1436319-1 is not prime. Res64: 571458095E28E2BB Time : 0.0 sec. user=mdettweiler [2016-07-31 06:49:46] 843*2^1436319-1 is not prime. Res64: C61D7AFCBA610575 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:49:47] 879*2^1436319-1 is not prime. Res64: 661503F55F2F0544 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:52:59] 931*2^1436319-1 is not prime. Res64: A7E2858BE7BEFAED Time : 0.0 sec. user=mdettweiler [2016-07-31 06:53:01] 933*2^1436319-1 is not prime. Res64: 85BCD2862872F8BD Time : 0.0 sec. user=mdettweiler [2016-07-31 06:53:02] 955*2^1436319-1 is not prime. Res64: 900FDA20585ED761 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:53:02] 707*2^1436320-1 is not prime. Res64: FDB4C1699CBF61C3 Time : 0.0 sec. user=mdettweiler [2016-07-31 06:53:02] 819*2^1436320-1 is not prime. Res64: F0E150F854216A13 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:29:10] 965*2^1436320-1 is not prime. Res64: 1378431AD01D5F36 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:29:11] 999*2^1436320-1 is not prime. Res64: FEFD7F9FFA072707 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:29:11] 601*2^1436321-1 is not prime. Res64: 8285B096665E17D4 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:29:12] 615*2^1436321-1 is not prime. Res64: 5CEA5F87AE36350C Time : 0.0 sec. user=mdettweiler [2016-07-31 07:29:12] 631*2^1436321-1 is not prime. Res64: 67F9D09DA76C9F5E Time : 0.0 sec. user=mdettweiler [2016-07-31 07:33:48] 747*2^1436321-1 is not prime. Res64: F7613EE540EF4049 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:33:51] 795*2^1436321-1 is not prime. Res64: D5E06233F582E830 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:33:52] 829*2^1436321-1 is not prime. Res64: 7743053F065B85C4 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:33:52] 837*2^1436321-1 is not prime. Res64: 20458AF9A04AF4EB Time : 0.0 sec. user=mdettweiler [2016-07-31 07:33:53] 865*2^1436321-1 is not prime. Res64: D47E2602FDC81511 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:37:06] 871*2^1436321-1 is not prime. Res64: 1DFBC9C062459F3A Time : 0.0 sec. user=mdettweiler [2016-07-31 07:37:07] 949*2^1436321-1 is not prime. Res64: E69A65FBBE034C48 Time : 0.0 sec. user=mdettweiler [2016-07-31 07:37:07] 997*2^1436321-1 is not prime. Res64: DB1E6EF2236A31FC Time : 0.0 sec. user=mdettweiler [2016-07-31 07:37:08] 633*2^1436322-1 is not prime. Res64: 017F91DE1C14D34F Time : 0.0 sec. user=mdettweiler [2016-07-31 07:37:08] 647*2^1436322-1 is not prime. Res64: D716896C903D380D Time : 0.0 sec. user=mdettweiler [2016-07-31 08:13:12] 671*2^1436322-1 is not prime. Res64: B5D2658F5EB3A5C7 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:13:12] 741*2^1436322-1 is not prime. Res64: 574B111ADBF16408 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:13:13] 747*2^1436322-1 is not prime. Res64: EA31B0C45FB36781 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:13:13] 893*2^1436322-1 is not prime. Res64: 479298B992F02027 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:13:13] 945*2^1436322-1 is not prime. Res64: C3F58A1C15C9BFB6 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:17:51] 983*2^1436322-1 is not prime. Res64: E57CD3C8AC134BE4 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:17:52] 1001*2^1436322-1 is not prime. Res64: D947CA2268B2D3AD Time : 0.0 sec. user=mdettweiler [2016-07-31 08:17:52] 681*2^1436323-1 is not prime. Res64: F464996AF23DAEA0 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:17:53] 699*2^1436323-1 is not prime. Res64: 3F211DECCCD7A3DB Time : 0.0 sec. user=mdettweiler [2016-07-31 08:17:53] 709*2^1436323-1 is not prime. Res64: C4CD3FC1B6FE28B1 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:21:07] 741*2^1436323-1 is not prime. Res64: D543566042B67086 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:21:07] 765*2^1436323-1 is not prime. Res64: 25E151775F7D898F Time : 0.0 sec. user=mdettweiler [2016-07-31 08:21:08] 707*2^1436324-1 is not prime. Res64: 9A64EB9A1E5BD079 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:21:08] 725*2^1436324-1 is not prime. Res64: 5835767CDA11ED19 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:21:09] 789*2^1436324-1 is not prime. Res64: 281829EACD2534F9 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:57:13] 855*2^1436324-1 is not prime. Res64: 1CAE268CB66BE326 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:57:13] 903*2^1436324-1 is not prime. Res64: AC0B7758011E36FF Time : 0.0 sec. user=mdettweiler [2016-07-31 08:57:14] 607*2^1436325-1 is not prime. Res64: B31166F43D674C1A Time : 0.0 sec. user=mdettweiler [2016-07-31 08:57:14] 685*2^1436325-1 is not prime. Res64: BCB0F50B9F558631 Time : 0.0 sec. user=mdettweiler [2016-07-31 08:57:14] 735*2^1436325-1 is not prime. Res64: B4ABA1EC25A3AA5F Time : 0.0 sec. user=mdettweiler [2016-07-31 09:01:54] 795*2^1436325-1 is not prime. Res64: 5953902118EA6714 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:01:54] 817*2^1436325-1 is not prime. Res64: 0482C4608717028C Time : 0.0 sec. user=mdettweiler [2016-07-31 09:01:55] 871*2^1436325-1 is not prime. Res64: 139F97C11837205D Time : 0.0 sec. user=mdettweiler [2016-07-31 09:01:56] 979*2^1436325-1 is not prime. Res64: C79EFBC3CB6B0ABE Time : 0.0 sec. user=mdettweiler [2016-07-31 09:01:56] 603*2^1436326-1 is not prime. Res64: D30C5F8F3C67D67C Time : 0.0 sec. user=mdettweiler [2016-07-31 09:05:12] 737*2^1436326-1 is not prime. Res64: B5B1081D40711404 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:05:15] 741*2^1436326-1 is not prime. Res64: EB6BA2643EEA6C56 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:05:17] 755*2^1436326-1 is not prime. Res64: 367EFF9AC0F44910 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:05:20] 777*2^1436326-1 is not prime. Res64: 2E9AA9DD8937FE7F Time : 0.0 sec. user=mdettweiler [2016-07-31 09:05:22] 965*2^1436326-1 is not prime. Res64: 4DD31932D5CB268B Time : 0.0 sec. user=mdettweiler [2016-07-31 09:41:14] 975*2^1436326-1 is not prime. Res64: BA89AF0FD1AB19A2 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:41:15] 987*2^1436326-1 is not prime. Res64: 5901BCDBB74FDE5D Time : 0.0 sec. user=mdettweiler [2016-07-31 09:41:15] 603*2^1436327-1 is not prime. Res64: 66FF63C6B4704AC4 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:41:16] 711*2^1436327-1 is not prime. Res64: 4807467C9AE9E356 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:41:16] 729*2^1436327-1 is not prime. Res64: 314CAE8F809B6EA5 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:46:06] 763*2^1436327-1 is not prime. Res64: 02D7A9AD597D6842 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:46:06] 861*2^1436327-1 is not prime. Res64: CC0B46660FF345E1 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:46:07] 633*2^1436328-1 is not prime. Res64: 4CC5D3E4A6D593C9 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:46:07] 713*2^1436328-1 is not prime. Res64: 10AC2C7AB965F410 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:46:07] 767*2^1436328-1 is not prime. Res64: 9CA4D6C050FBC7B8 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:49:47] 957*2^1436328-1 is not prime. Res64: F090D74C8B08F5A4 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:49:48] 667*2^1436329-1 is not prime. Res64: 18360544367091B3 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:49:48] 679*2^1436329-1 is not prime. Res64: 88820AD7C4BC3BF6 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:49:48] 817*2^1436329-1 is not prime. Res64: 961E35E1103E21A9 Time : 0.0 sec. user=mdettweiler [2016-07-31 09:49:49] 855*2^1436329-1 is not prime. Res64: 67BB4A51630E8CF9 Time : 0.0 sec. user=mdettweiler [2016-07-31 10:25:21] 791*2^1436330-1 is not prime. Res64: 550A0F766967E13E Time : 0.0 sec. user=mdettweiler [2016-07-31 10:25:22] 887*2^1436330-1 is not prime. Res64: 5BC45EAACD86A12B Time : 0.0 sec. user=mdettweiler [2016-07-31 10:25:22] 893*2^1436330-1 is not prime. Res64: 370909ECAB076B47 Time : 0.0 sec. user=mdettweiler [2016-07-31 10:25:23] 923*2^1436330-1 is not prime. Res64: F98E28911E2C074B Time : 0.0 sec. user=mdettweiler [2016-07-31 10:25:23] 619*2^1436331-1 is not prime. Res64: 36E4B966B34DD352 Time : 0.0 sec. user=mdettweiler [2016-07-31 10:30:12] 709*2^1436331-1 is not prime. Res64: D1E6B07807BCD811 Time : 0.0 sec. user=mdettweiler [2016-07-31 10:30:13] 751*2^1436331-1 is not prime. Res64: DB25585208849C7D Time : 0.0 sec. user=mdettweiler [2016-07-31 10:30:13] 775*2^1436331-1 is not prime. Res64: 64D9DA9E558297FF Time : 0.0 sec. user=mdettweiler [2016-07-31 10:30:13] 781*2^1436331-1 is not prime. Res64: 55586C197B2C4945 Time : 0.0 sec. user=mdettweiler [2016-07-31 10:30:17] 783*2^1436331-1 is not prime. Res64: A4C7148BE09D48BB Time : 0.0 sec. user=mdettweiler [2016-07-31 10:33:51] 793*2^1436331-1 is not prime. Res64: A651261A4880548B Time : 0.0 sec. user=mdettweiler [2016-07-31 10:33:51] 873*2^1436331-1 is not prime. Res64: DEEF7AD240B77B10 Time : 0.0 sec. user=mdettweiler [2016-07-31 10:33:52] 723*2^1436332-1 is not prime. Res64: 4FA19454821B50FB Time : 0.0 sec. user=mdettweiler [2016-07-31 10:33:52] 735*2^1436332-1 is not prime. Res64: 058B5F4EAA32953A Time : 0.0 sec. user=mdettweiler [2016-07-31 10:33:52] 743*2^1436332-1 is not prime. Res64: 7706E0F9D5EE1F1F Time : 0.0 sec. user=mdettweiler [2016-07-31 11:09:27] 803*2^1436332-1 is not prime. Res64: 020EDD074B5B97B4 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:09:28] 915*2^1436332-1 is not prime. Res64: 306FFD27945B7E00 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:09:28] 939*2^1436332-1 is not prime. Res64: 42790E54746FFE48 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:09:29] 615*2^1436333-1 is not prime. Res64: 71326DAEEAC1F5DA Time : 0.0 sec. user=mdettweiler [2016-07-31 11:09:29] 735*2^1436333-1 is not prime. Res64: ABA94D83E819FA8E Time : 0.0 sec. user=mdettweiler [2016-07-31 11:14:22] 757*2^1436333-1 is not prime. Res64: 3EC102BCDF11D829 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:14:22] 885*2^1436333-1 is not prime. Res64: 6750CBC6B0E6A3F9 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:14:22] 967*2^1436333-1 is not prime. Res64: B8FCF498991C1127 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:14:23] 985*2^1436333-1 is not prime. Res64: 6CC18CFEACBC62C7 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:14:23] 663*2^1436334-1 is not prime. Res64: 4BB424BFA742DCBF Time : 0.0 sec. user=mdettweiler [2016-07-31 11:17:58] 747*2^1436334-1 is not prime. Res64: D1416DBBBD2AE29D Time : 0.0 sec. user=mdettweiler [2016-07-31 11:17:58] 797*2^1436334-1 is not prime. Res64: 90AD0D5663B24957 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:17:58] 927*2^1436334-1 is not prime. Res64: FB5DC3D7DC105470 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:17:59] 759*2^1436335-1 is not prime. Res64: 388DAB3B7E07FE5C Time : 0.0 sec. user=mdettweiler [2016-07-31 11:17:59] 783*2^1436335-1 is not prime. Res64: EE9938C374BF4505 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:53:29] 777*2^1436106-1 is not prime. Res64: F0B560C3C6557109 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:53:30] 807*2^1436106-1 is not prime. Res64: 8E2EE5D70AC9288C Time : 0.0 sec. user=mdettweiler [2016-07-31 11:53:30] 851*2^1436106-1 is not prime. Res64: 6DAF60CCF125DA02 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:53:30] 923*2^1436106-1 is not prime. Res64: CE53102681FF6FE4 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:53:31] 993*2^1436106-1 is not prime. Res64: CBFD39D8F0C8ACDC Time : 0.0 sec. user=mdettweiler [2016-07-31 11:58:23] 843*2^1436335-1 is not prime. Res64: 0AFC9ECE60EC9D61 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:58:24] 909*2^1436335-1 is not prime. Res64: 3957B6C9FC8F4ACB Time : 0.0 sec. user=mdettweiler [2016-07-31 11:58:24] 717*2^1436336-1 is not prime. Res64: 64A4C2D662B17123 Time : 0.0 sec. user=mdettweiler [2016-07-31 11:58:24] 747*2^1436336-1 is not prime. Res64: 39D147B961FB57FB Time : 0.0 sec. user=mdettweiler [2016-07-31 11:58:25] 755*2^1436336-1 is not prime. Res64: 47012B67CD891F78 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:02:02] 767*2^1436336-1 is not prime. Res64: 86961B185E2045EA Time : 0.0 sec. user=mdettweiler [2016-07-31 12:02:04] 963*2^1436336-1 is not prime. Res64: 731A900B953E1972 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:02:04] 649*2^1436337-1 is not prime. Res64: 6A8D7E21BFED6616 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:02:05] 667*2^1436337-1 is not prime. Res64: 747087774B8BD3BE Time : 0.0 sec. user=mdettweiler [2016-07-31 12:02:06] 735*2^1436337-1 is not prime. Res64: 1D91590EB1A66163 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:37:37] 849*2^1436337-1 is not prime. Res64: 60E79FC2497DF5AB Time : 0.0 sec. user=mdettweiler [2016-07-31 12:37:38] 895*2^1436337-1 is not prime. Res64: CF07DD63649C7A8B Time : 0.0 sec. user=mdettweiler [2016-07-31 12:37:38] 985*2^1436337-1 is not prime. Res64: 3BDC23990645B9A5 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:37:39] 997*2^1436337-1 is not prime. Res64: DFD96C7E570F1F76 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:37:39] 635*2^1436338-1 is not prime. Res64: DCF1A65E7868A808 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:42:37] 867*2^1436338-1 is not prime. Res64: 14DBD8233990B45A Time : 0.0 sec. user=mdettweiler [2016-07-31 12:42:37] 621*2^1436339-1 is not prime. Res64: CAF4AC67763E6D82 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:42:38] 771*2^1436339-1 is not prime. Res64: 82EBEC116ED8239E Time : 0.0 sec. user=mdettweiler [2016-07-31 12:42:38] 883*2^1436339-1 is not prime. Res64: A23F459B39601080 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:42:39] 979*2^1436339-1 is not prime. Res64: AC21018F03736EB6 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:46:35] 609*2^1436340-1 is not prime. Res64: 4B1E1D2618576640 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:46:35] 669*2^1436340-1 is not prime. Res64: 64C4844FA2E77D59 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:46:36] 719*2^1436340-1 is not prime. Res64: 14B1B37BD8A365EA Time : 0.0 sec. user=mdettweiler [2016-07-31 12:46:36] 909*2^1436340-1 is not prime. Res64: 6FA91C81A3C1ED70 Time : 0.0 sec. user=mdettweiler [2016-07-31 12:46:36] 983*2^1436340-1 is not prime. Res64: B762E5A624901C17 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:22:12] 681*2^1436341-1 is not prime. Res64: CC5F2E42C888BB6B Time : 0.0 sec. user=mdettweiler [2016-07-31 13:22:13] 901*2^1436341-1 is not prime. Res64: BE4A75AAC6CD6E65 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:22:13] 931*2^1436341-1 is not prime. Res64: DBC81E090718A273 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:22:14] 937*2^1436341-1 is not prime. Res64: E51CFAD17F519883 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:22:14] 979*2^1436341-1 is not prime. Res64: 34A11081A8C9D688 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:27:07] 743*2^1436342-1 is not prime. Res64: 0066C5FF80A68BE0 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:27:08] 825*2^1436342-1 is not prime. Res64: CD836EDDCEE321F7 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:27:08] 875*2^1436342-1 is not prime. Res64: 945C7AE5BF8663CC Time : 0.0 sec. user=mdettweiler [2016-07-31 13:27:08] 995*2^1436342-1 is not prime. Res64: FC8130F60523E8EC Time : 0.0 sec. user=mdettweiler [2016-07-31 13:27:09] 625*2^1436343-1 is not prime. Res64: 42DCDC0A00822215 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:31:03] 679*2^1436343-1 is not prime. Res64: 2806DD2E3D024356 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:31:04] 723*2^1436343-1 is not prime. Res64: 4B4E3A17258C2BF4 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:31:04] 735*2^1436343-1 is not prime. Res64: F368353EE3A4D473 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:31:04] 823*2^1436343-1 is not prime. Res64: F83FB45E785B9B03 Time : 0.0 sec. user=mdettweiler [2016-07-31 13:31:05] 861*2^1436343-1 is not prime. Res64: 10FCFB66054AB4C0 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:06:58] 871*2^1436343-1 is not prime. Res64: 2CA4E6150924A186 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:07:01] 873*2^1436343-1 is not prime. Res64: E800FCA969CAD7DD Time : 0.0 sec. user=mdettweiler [2016-07-31 14:07:03] 879*2^1436343-1 is not prime. Res64: 74A3C713A83BEEFA Time : 0.0 sec. user=mdettweiler [2016-07-31 14:07:03] 969*2^1436343-1 is not prime. Res64: 79DC992819188909 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:07:04] 719*2^1436344-1 is not prime. Res64: 3B35C194AA8B57E1 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:11:47] 857*2^1436344-1 is not prime. Res64: 0595BFFB55926CD5 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:11:48] 939*2^1436344-1 is not prime. Res64: EC01874977028D35 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:11:48] 685*2^1436345-1 is not prime. Res64: BBC6E4F88FE5C7EB Time : 0.0 sec. user=mdettweiler [2016-07-31 14:11:48] 727*2^1436345-1 is not prime. Res64: 289A36B7812CC7C0 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:11:48] 987*2^1436345-1 is not prime. Res64: D38D0B9C6CF5EC63 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:15:42] 735*2^1436346-1 is not prime. Res64: 1E5B6ADF88CE2363 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:15:42] 825*2^1436346-1 is not prime. Res64: DB59FCF26B33EE1E Time : 0.0 sec. user=mdettweiler [2016-07-31 14:15:42] 867*2^1436346-1 is not prime. Res64: A871D5CE33EE0091 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:15:43] 1001*2^1436346-1 is not prime. Res64: 43F1B6BEE62B5439 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:15:43] 813*2^1436347-1 is not prime. Res64: 593B03E4F38152A5 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:51:27] 883*2^1436347-1 is not prime. Res64: F5C55EB9366E29EC Time : 0.0 sec. user=mdettweiler [2016-07-31 14:51:27] 885*2^1436347-1 is not prime. Res64: 66EFD9492C55B588 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:51:27] 889*2^1436347-1 is not prime. Res64: 3464602FECB75641 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:51:27] 623*2^1436348-1 is not prime. Res64: C69349370741DC2A Time : 0.0 sec. user=mdettweiler [2016-07-31 14:51:28] 669*2^1436348-1 is not prime. Res64: B6793F9209D9D6BC Time : 0.0 sec. user=mdettweiler [2016-07-31 14:56:04] 755*2^1436348-1 is not prime. Res64: 147FD4B0C123AF6C Time : 0.0 sec. user=mdettweiler [2016-07-31 14:56:04] 845*2^1436348-1 is not prime. Res64: 171CAE120FBA4FB1 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:56:04] 709*2^1436349-1 is not prime. Res64: 24F2E702B04DC498 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:56:04] 835*2^1436349-1 is not prime. Res64: 77A3DFE1AB92DA35 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:56:05] 921*2^1436349-1 is not prime. Res64: 584D5AE4F3F37C6D Time : 0.0 sec. user=mdettweiler [2016-07-31 14:59:57] 991*2^1436349-1 is not prime. Res64: 17BD6FDA2DA54F2D Time : 0.0 sec. user=mdettweiler [2016-07-31 14:59:57] 603*2^1436350-1 is not prime. Res64: 8907AB99FD21ABC2 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:59:57] 635*2^1436350-1 is not prime. Res64: 8FF6DB99F304CDC8 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:59:57] 687*2^1436350-1 is not prime. Res64: 97460B236CAB9312 Time : 0.0 sec. user=mdettweiler [2016-07-31 14:59:58] 755*2^1436350-1 is not prime. Res64: 2BC0C683449C939F Time : 0.0 sec. user=mdettweiler [2016-07-31 15:35:39] 773*2^1436350-1 is not prime. Res64: 2FEAA75F67500E19 Time : 0.0 sec. user=mdettweiler [2016-07-31 15:35:40] 813*2^1436350-1 is not prime. Res64: D3A0EE5A0E93D27E Time : 0.0 sec. user=mdettweiler [2016-07-31 15:35:40] 609*2^1436351-1 is not prime. Res64: CE67F88AB704FA9B Time : 0.0 sec. user=mdettweiler [2016-07-31 15:35:40] 619*2^1436351-1 is not prime. Res64: 636A1FC80ADC7B2B Time : 0.0 sec. user=mdettweiler [2016-07-31 15:35:40] 715*2^1436351-1 is not prime. Res64: 4345FE49D191259B Time : 0.0 sec. user=juhehe [2016-07-31 15:38:54] 609*2^1436353-1 is not prime. Res64: 1D88FBFD0808DAAA Time : 0.0 sec. user=mdettweiler [2016-07-31 15:40:14] 921*2^1436351-1 is not prime. Res64: AFB7BEC8D031F71D Time : 0.0 sec. user=mdettweiler [2016-07-31 15:40:14] 939*2^1436351-1 is not prime. Res64: 466851A1BA70E63B Time : 0.0 sec. user=mdettweiler [2016-07-31 15:40:14] 949*2^1436351-1 is not prime. Res64: 635EF24B4B88C229 Time : 0.0 sec. user=mdettweiler [2016-07-31 15:40:14] 981*2^1436351-1 is not prime. Res64: 205E19DB9504656C Time : 0.0 sec. user=mdettweiler [2016-07-31 15:40:15] 629*2^1436352-1 is not prime. Res64: 5B99E7E14715C946 Time : 0.0 sec. user=mdettweiler [2016-07-31 15:44:08] 843*2^1436352-1 is not prime. Res64: 82C23821B276CF0B Time : 0.0 sec. user=mdettweiler [2016-07-31 15:44:08] 849*2^1436352-1 is not prime. Res64: 19C5F4E728A7C870 Time : 0.0 sec. user=mdettweiler [2016-07-31 15:44:08] 867*2^1436352-1 is not prime. Res64: 597B9D6D1627EA85 Time : 0.0 sec. user=mdettweiler [2016-07-31 15:44:09] 873*2^1436352-1 is not prime. Res64: 9AC736A1C699A263 Time : 0.0 sec. user=mdettweiler [2016-07-31 15:44:09] 875*2^1436352-1 is not prime. Res64: 3F608E06868F6F7E Time : 0.0 sec. user=mdettweiler [2016-07-31 16:20:28] 675*2^1436353-1 is not prime. Res64: A4E5BAAF5DB1E1AF Time : 0.0 sec. user=mdettweiler [2016-07-31 16:20:28] 721*2^1436353-1 is not prime. Res64: D253BC627043121C Time : 0.0 sec. user=mdettweiler [2016-07-31 16:20:29] 765*2^1436353-1 is not prime. Res64: 4DD015E5AB3AF33F Time : 0.0 sec. user=mdettweiler [2016-07-31 16:20:29] 847*2^1436353-1 is not prime. Res64: 19F59BD2E1D86404 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:20:30] 877*2^1436353-1 is not prime. Res64: 822992EFAD72C0F9 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:25:22] 895*2^1436353-1 is not prime. Res64: 30221042B8BA00F4 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:25:22] 645*2^1436354-1 is not prime. Res64: 27F78DFAD389F514 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:25:23] 671*2^1436354-1 is not prime. Res64: 7ED36CFFA7BED52E Time : 0.0 sec. user=mdettweiler [2016-07-31 16:25:23] 831*2^1436354-1 is not prime. Res64: 2952202D71A44FDA Time : 0.0 sec. user=mdettweiler [2016-07-31 16:25:23] 857*2^1436354-1 is not prime. Res64: E7CB15D0321590A6 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:29:35] 885*2^1436354-1 is not prime. Res64: BB1A38B97D3669C5 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:29:36] 903*2^1436354-1 is not prime. Res64: 296590D71AB3EAA4 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:29:36] 923*2^1436354-1 is not prime. Res64: 11B61B2F945C2AD3 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:29:37] 935*2^1436354-1 is not prime. Res64: 1B8D52789FAA71C1 Time : 0.0 sec. user=mdettweiler [2016-07-31 16:29:37] 913*2^1436355-1 is not prime. Res64: 368CC212D8AC9261 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:07:59] 963*2^1436355-1 is not prime. Res64: FEE847B797B70E06 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:08:00] 615*2^1436356-1 is not prime. Res64: 35827A822D30B17C Time : 0.0 sec. user=mdettweiler [2016-07-31 17:08:00] 697*2^1436357-1 is not prime. Res64: 4C17D59A3D32EE87 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:08:00] 727*2^1436357-1 is not prime. Res64: 7E6CCF5258DC026C Time : 0.0 sec. user=mdettweiler [2016-07-31 17:08:01] 759*2^1436357-1 is not prime. Res64: CE4227A473F0A2DD Time : 0.0 sec. user=mdettweiler [2016-07-31 17:12:40] 859*2^1436357-1 is not prime. Res64: 969FF3729D04AA15 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:12:40] 657*2^1436358-1 is not prime. Res64: F01AFCFD21910094 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:12:40] 885*2^1436358-1 is not prime. Res64: 9DC7ADB60A133CDC Time : 0.0 sec. user=mdettweiler [2016-07-31 17:12:40] 887*2^1436358-1 is not prime. Res64: FFC8B440A8A31C1E Time : 0.0 sec. user=mdettweiler [2016-07-31 17:12:41] 963*2^1436358-1 is not prime. Res64: 615253D509672DF0 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:16:42] 685*2^1436359-1 is not prime. Res64: 3E66AE44326BD673 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:16:43] 659*2^1436360-1 is not prime. Res64: 41B5A729C334094E Time : 0.0 sec. user=mdettweiler [2016-07-31 17:16:43] 665*2^1436360-1 is not prime. Res64: 733B0E554D469EE8 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:16:43] 689*2^1436360-1 is not prime. Res64: 82D4AD6453CDAEEC Time : 0.0 sec. user=mdettweiler [2016-07-31 17:16:43] 713*2^1436360-1 is not prime. Res64: A08B70B108ABB75D Time : 0.0 sec. user=mdettweiler [2016-07-31 17:52:29] 755*2^1436360-1 is not prime. Res64: 3D2FACF9BA5A90FF Time : 0.0 sec. user=mdettweiler [2016-07-31 17:52:29] 789*2^1436360-1 is not prime. Res64: 73D2CD231682A8A3 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:52:30] 675*2^1436361-1 is not prime. Res64: E07EAC59AB190E3C Time : 0.0 sec. user=mdettweiler [2016-07-31 17:52:30] 679*2^1436361-1 is not prime. Res64: 03D45304E55B229B Time : 0.0 sec. user=mdettweiler [2016-07-31 17:52:31] 691*2^1436361-1 is not prime. Res64: DAB1FCA868B8CBDD Time : 0.0 sec. user=mdettweiler [2016-07-31 17:57:02] 817*2^1436361-1 is not prime. Res64: 04F91873328C6D94 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:57:03] 867*2^1436361-1 is not prime. Res64: E0B0579E7290F053 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:57:03] 871*2^1436361-1 is not prime. Res64: 6699D9986D9F8A48 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:57:03] 979*2^1436361-1 is not prime. Res64: E334938AE2F59B95 Time : 0.0 sec. user=mdettweiler [2016-07-31 17:57:04] 675*2^1436362-1 is not prime. Res64: 4CD90842F64ADD18 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:01:06] 743*2^1436362-1 is not prime. Res64: DA0DA831612DBC76 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:01:07] 765*2^1436362-1 is not prime. Res64: 3B99B4C0964CE29D Time : 0.0 sec. user=mdettweiler [2016-07-31 18:01:08] 827*2^1436362-1 is not prime. Res64: 605750070D3015F8 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:01:09] 881*2^1436362-1 is not prime. Res64: 300360B961402CDB Time : 0.0 sec. user=mdettweiler [2016-07-31 18:01:10] 885*2^1436362-1 is not prime. Res64: BD67DE193E9A53DF Time : 0.0 sec. user=mdettweiler [2016-07-31 18:36:40] 609*2^1436363-1 is not prime. Res64: D60689AD03493402 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:36:40] 739*2^1436363-1 is not prime. Res64: 9548B75EF43813F0 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:36:40] 745*2^1436363-1 is not prime. Res64: B7DF312A6755B3CA Time : 0.0 sec. user=mdettweiler [2016-07-31 18:36:41] 623*2^1436364-1 is not prime. Res64: 2BABBC5BE2822FDE Time : 0.0 sec. user=mdettweiler [2016-07-31 18:36:41] 857*2^1436364-1 is not prime. Res64: AC8CDD6ED1E2C91E Time : 0.0 sec. user=mdettweiler [2016-07-31 18:41:07] 905*2^1436364-1 is not prime. Res64: 893E276BF595CA71 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:41:08] 915*2^1436364-1 is not prime. Res64: F476BBC860F3FE3E Time : 0.0 sec. user=mdettweiler [2016-07-31 18:41:08] 945*2^1436364-1 is not prime. Res64: F58EB84EC43A4683 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:41:09] 727*2^1436365-1 is not prime. Res64: BDFDCD9F68FDD5E5 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:41:11] 777*2^1436365-1 is not prime. Res64: E3F1730D3F4612FB Time : 0.0 sec. user=mdettweiler [2016-07-31 18:45:18] 801*2^1436365-1 is not prime. Res64: 7AE2F3C690B96CB6 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:45:18] 897*2^1436365-1 is not prime. Res64: 2CF84B275D68E38A Time : 0.0 sec. user=mdettweiler [2016-07-31 18:45:19] 951*2^1436365-1 is not prime. Res64: AE4D5294B1D15412 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:45:21] 955*2^1436365-1 is not prime. Res64: 2EB14995846FDD70 Time : 0.0 sec. user=mdettweiler [2016-07-31 18:45:21] 641*2^1436366-1 is not prime. Res64: B8EB13A0C0DCCF4A Time : 0.0 sec. user=mdettweiler [2016-07-31 19:20:46] 713*2^1436366-1 is not prime. Res64: CC3D5F15B4484617 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:20:46] 755*2^1436366-1 is not prime. Res64: 62FEDEDC40E10EA6 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:20:47] 831*2^1436366-1 is not prime. Res64: 790816E8392D28C1 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:20:47] 857*2^1436366-1 is not prime. Res64: 3BE7CA425C22D1B9 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:20:48] 935*2^1436366-1 is not prime. Res64: 79BF9BEED73F5E7C Time : 0.0 sec. user=mdettweiler [2016-07-31 19:25:12] 957*2^1436366-1 is not prime. Res64: 192596E694761063 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:25:12] 971*2^1436366-1 is not prime. Res64: FC5C673EEB3CFAFE Time : 0.0 sec. user=mdettweiler [2016-07-31 19:25:12] 691*2^1436367-1 is not prime. Res64: CF0ECA3389245202 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:25:13] 765*2^1436367-1 is not prime. Res64: 678A5CF41806CE51 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:25:16] 825*2^1436367-1 is not prime. Res64: BBE2C8F9C961FE95 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:29:23] 861*2^1436367-1 is not prime. Res64: C608A2E08CBB2D73 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:29:23] 951*2^1436367-1 is not prime. Res64: 13713344D5215958 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:29:24] 603*2^1436368-1 is not prime. Res64: 627A99D36DA22C50 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:29:24] 699*2^1436368-1 is not prime. Res64: 0BC33A0BA90E0B52 Time : 0.0 sec. user=mdettweiler [2016-07-31 19:29:25] 705*2^1436368-1 is not prime. Res64: 0A56D2F9DF2077A2 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:04:56] 713*2^1436368-1 is not prime. Res64: ACD6DFF1B61A84AB Time : 0.0 sec. user=mdettweiler [2016-07-31 20:04:57] 743*2^1436368-1 is not prime. Res64: 5515DE93E26124C1 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:04:58] 827*2^1436368-1 is not prime. Res64: 2F77560AC68BF519 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:04:59] 839*2^1436368-1 is not prime. Res64: 97727E1EE2F2F2B7 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:05:00] 959*2^1436368-1 is not prime. Res64: C7D3AFE2A65A7768 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:09:16] 993*2^1436368-1 is not prime. Res64: 3C143CE56E3B2DB0 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:09:16] 999*2^1436368-1 is not prime. Res64: E1C754CBF0D28754 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:09:16] 601*2^1436369-1 is not prime. Res64: 38204738CE41D32F Time : 0.0 sec. user=mdettweiler [2016-07-31 20:09:17] 615*2^1436369-1 is not prime. Res64: E5C033FEDCC3CCAB Time : 0.0 sec. user=mdettweiler [2016-07-31 20:09:17] 699*2^1436369-1 is not prime. Res64: 4242A4C9FC5DDDCB Time : 0.0 sec. user=mdettweiler [2016-07-31 20:13:26] 727*2^1436369-1 is not prime. Res64: E48687553097B77F Time : 0.0 sec. user=mdettweiler [2016-07-31 20:13:27] 647*2^1436370-1 is not prime. Res64: 4208CC09C59C17F6 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:13:27] 651*2^1436370-1 is not prime. Res64: C5B916418CD0FEEF Time : 0.0 sec. user=mdettweiler [2016-07-31 20:13:28] 765*2^1436370-1 is not prime. Res64: 650AC553D0F1CC3B Time : 0.0 sec. user=mdettweiler [2016-07-31 20:13:29] 861*2^1436370-1 is not prime. Res64: 6A838BA70C58A903 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:49:04] 867*2^1436370-1 is not prime. Res64: BD7BB5561CE79A51 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:49:04] 873*2^1436370-1 is not prime. Res64: 163679F67FA1A5A5 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:49:05] 927*2^1436370-1 is not prime. Res64: 2B00F4090C16D378 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:49:05] 951*2^1436370-1 is not prime. Res64: E6B3BF4D504D37DE Time : 0.0 sec. user=mdettweiler [2016-07-31 20:49:06] 645*2^1436371-1 is not prime. Res64: C969387484B426A7 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:53:21] 789*2^1436371-1 is not prime. Res64: 628B13F2809F8180 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:53:21] 885*2^1436371-1 is not prime. Res64: 28EA466E1FA7B46E Time : 0.0 sec. user=mdettweiler [2016-07-31 20:53:22] 943*2^1436371-1 is not prime. Res64: CBA6B90C40E6BBD1 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:53:22] 975*2^1436371-1 is not prime. Res64: F623900D52FF6A0D Time : 0.0 sec. user=mdettweiler [2016-07-31 20:53:23] 629*2^1436372-1 is not prime. Res64: 68A7FA191A88C0F9 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:57:30] 677*2^1436372-1 is not prime. Res64: 389004E768469587 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:57:31] 735*2^1436372-1 is not prime. Res64: A64C2AFA2BD52A9D Time : 0.0 sec. user=mdettweiler [2016-07-31 20:57:31] 915*2^1436372-1 is not prime. Res64: EAD22B732BCA089B Time : 0.0 sec. user=mdettweiler [2016-07-31 20:57:32] 935*2^1436372-1 is not prime. Res64: F6CCF82D12A64D78 Time : 0.0 sec. user=mdettweiler [2016-07-31 20:57:32] 963*2^1436372-1 is not prime. Res64: 21AFACE9C6F8D8CA Time : 0.0 sec. user=mdettweiler [2016-07-31 21:33:09] 679*2^1436373-1 is not prime. Res64: 084E51C0BA8AC60B Time : 0.0 sec. user=mdettweiler [2016-07-31 21:33:09] 681*2^1436373-1 is not prime. Res64: 6058DF1843BAD72A Time : 0.0 sec. user=mdettweiler [2016-07-31 21:33:10] 727*2^1436373-1 is not prime. Res64: 0DE475B8309E25E1 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:33:10] 921*2^1436373-1 is not prime. Res64: 3E3BFF89F4A6C121 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:33:12] 665*2^1436374-1 is not prime. Res64: C6524BE9640CD1CD Time : 0.0 sec. user=mdettweiler [2016-07-31 21:37:27] 681*2^1436374-1 is not prime. Res64: 178FEE6661FABC13 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:37:27] 773*2^1436374-1 is not prime. Res64: 40795F69A3D7B166 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:37:28] 881*2^1436374-1 is not prime. Res64: 9CCF58D2F49C6376 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:37:28] 951*2^1436374-1 is not prime. Res64: 9364CE2B8B3ABFF3 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:37:28] 971*2^1436374-1 is not prime. Res64: EC6D37384C895F90 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:41:34] 601*2^1436375-1 is not prime. Res64: 5426A06C7757D906 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:41:34] 661*2^1436375-1 is not prime. Res64: 8058020CE25C4616 Time : 0.0 sec. user=mdettweiler [2016-07-31 21:41:35] 721*2^1436375-1 is not prime. Res64: B09F73502D5DA71C Time : 0.0 sec. user=mdettweiler [2016-07-31 21:41:35] 841*2^1436375-1 is not prime. Res64: 83D37AE8D268413E Time : 0.0 sec. user=mdettweiler [2016-07-31 21:41:36] 859*2^1436375-1 is not prime. Res64: 9C9521D39235ADF1 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:17:16] 979*2^1436375-1 is not prime. Res64: 09C94C619BC99776 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:17:17] 981*2^1436375-1 is not prime. Res64: 7259183F19DF2D3C Time : 0.0 sec. user=mdettweiler [2016-07-31 22:17:17] 669*2^1436376-1 is not prime. Res64: 6DD3E4A130F2C3C5 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:17:18] 689*2^1436376-1 is not prime. Res64: D071A84FC6038B34 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:17:18] 735*2^1436376-1 is not prime. Res64: 8BEAA0562E61BE91 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:21:29] 789*2^1436376-1 is not prime. Res64: A24343F9FEF7E56F Time : 0.0 sec. user=mdettweiler [2016-07-31 22:21:30] 825*2^1436376-1 is not prime. Res64: D70FA89B893AA168 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:21:32] 645*2^1436377-1 is not prime. Res64: 3CCDEEBD1764BDF2 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:21:33] 649*2^1436377-1 is not prime. Res64: FD96C2525C430FC4 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:21:33] 685*2^1436377-1 is not prime. Res64: 6B137E5B6BED59A1 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:25:38] 699*2^1436377-1 is not prime. Res64: 94F467F7CC68968A Time : 0.0 sec. user=mdettweiler [2016-07-31 22:25:38] 775*2^1436377-1 is not prime. Res64: C7E24D9B9852923D Time : 0.0 sec. user=mdettweiler [2016-07-31 22:25:38] 871*2^1436377-1 is not prime. Res64: 04810E98AD0A5442 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:25:39] 915*2^1436377-1 is not prime. Res64: E70627F303FCE6A2 Time : 0.0 sec. user=mdettweiler [2016-07-31 22:25:39] 955*2^1436377-1 is not prime. Res64: B3850B492AAFFE7D Time : 0.0 sec. user=mdettweiler [2016-07-31 23:01:21] 645*2^1436378-1 is not prime. Res64: 5023D891497E9BCC Time : 0.0 sec. user=mdettweiler [2016-07-31 23:01:21] 867*2^1436378-1 is not prime. Res64: 4A78DD83D2066B55 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:01:22] 893*2^1436378-1 is not prime. Res64: 9C7B8D77DCED4289 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:01:23] 935*2^1436378-1 is not prime. Res64: 0E0493F5B33E8CE0 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:01:24] 953*2^1436378-1 is not prime. Res64: 80309F5CFFA38B77 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:05:37] 957*2^1436378-1 is not prime. Res64: 5F7585AF7D5ADA9B Time : 0.0 sec. user=mdettweiler [2016-07-31 23:05:38] 1001*2^1436378-1 is not prime. Res64: 5DB15B4575779E13 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:05:40] 861*2^1436379-1 is not prime. Res64: C48AC90B60868DD7 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:05:41] 873*2^1436379-1 is not prime. Res64: B11389BFC1FDE443 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:05:43] 909*2^1436379-1 is not prime. Res64: 1DCD891688C991DA Time : 0.0 sec. user=mdettweiler [2016-07-31 23:09:39] 931*2^1436379-1 is not prime. Res64: B945675BB4D032C9 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:09:40] 605*2^1436380-1 is not prime. Res64: 289D60EC3756EAAE Time : 0.0 sec. user=mdettweiler [2016-07-31 23:09:40] 609*2^1436380-1 is not prime. Res64: 29C372B3B409708E Time : 0.0 sec. user=mdettweiler [2016-07-31 23:09:41] 647*2^1436380-1 is not prime. Res64: 25680CBC79CEB0A6 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:09:41] 665*2^1436380-1 is not prime. Res64: 6D540C7EA1821926 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:45:28] 689*2^1436380-1 is not prime. Res64: 2A430D7E997F5CA4 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:45:28] 735*2^1436380-1 is not prime. Res64: D1CB2C8432F5D3EE Time : 0.0 sec. user=mdettweiler [2016-07-31 23:45:28] 785*2^1436380-1 is not prime. Res64: AEC865F993051BBA Time : 0.0 sec. user=mdettweiler [2016-07-31 23:45:29] 615*2^1436381-1 is not prime. Res64: AEFF2A0D2E5C4695 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:45:29] 621*2^1436381-1 is not prime. Res64: 0704B587854CF984 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:49:47] 735*2^1436381-1 is not prime. Res64: ADAD1329804B26C3 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:49:48] 811*2^1436381-1 is not prime. Res64: 50ED98F04C213FAF Time : 0.0 sec. user=mdettweiler [2016-07-31 23:49:48] 861*2^1436381-1 is not prime. Res64: BD2358B2E82E0F86 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:49:48] 907*2^1436381-1 is not prime. Res64: 544F2BF58359F6F9 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:49:49] 967*2^1436381-1 is not prime. Res64: 95FFD5E1CAD71017 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:53:45] 981*2^1436381-1 is not prime. Res64: B61F8EEE19566829 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:53:45] 657*2^1436382-1 is not prime. Res64: A4FDAD2ADE1D4727 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:53:46] 677*2^1436382-1 is not prime. Res64: 579D294BB569FB78 Time : 0.0 sec. user=mdettweiler [2016-07-31 23:53:46] 725*2^1436382-1 is not prime. Res64: 17794B45B923180E Time : 0.0 sec. user=mdettweiler [2016-07-31 23:53:47] 777*2^1436382-1 is not prime. Res64: EB547A8D0199CA70 Time : 0.0 sec.