user=mdettweiler [2017-05-30 00:01:38] 639*2^1455421-1 is not prime. Res64: 06346A3E20A7C7C8 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:01:38] 717*2^1455421-1 is not prime. Res64: DC3BCFA02D16D9C8 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:01:38] 801*2^1455421-1 is not prime. Res64: 9A975E1AE395007A Time : 0.0 sec. user=mdettweiler [2017-05-30 00:01:39] 847*2^1455421-1 is not prime. Res64: 21539592353A0DEB Time : 0.0 sec. user=mdettweiler [2017-05-30 00:01:39] 939*2^1455421-1 is not prime. Res64: 769F4E635EA00AB2 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:07:07] 975*2^1455421-1 is not prime. Res64: 7D263619C6D5D7EE Time : 0.0 sec. user=mdettweiler [2017-05-30 00:07:08] 987*2^1455421-1 is not prime. Res64: 0FCA4238679BED12 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:07:08] 675*2^1455422-1 is not prime. Res64: 07456DF410D29F6D Time : 0.0 sec. user=mdettweiler [2017-05-30 00:07:09] 731*2^1455422-1 is not prime. Res64: 5FD7A31205247991 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:07:09] 743*2^1455422-1 is not prime. Res64: 01B1BCF310EFAD40 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:21:33] 785*2^1455422-1 is not prime. Res64: 915A68013FA8F7DB Time : 0.0 sec. user=mdettweiler [2017-05-30 00:21:33] 887*2^1455422-1 is not prime. Res64: 122FE0C7D683BA51 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:21:34] 921*2^1455422-1 is not prime. Res64: 2BE4984CEC2E65EC Time : 0.0 sec. user=mdettweiler [2017-05-30 00:21:34] 945*2^1455422-1 is not prime. Res64: F87776F30E882CC9 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:21:34] 953*2^1455422-1 is not prime. Res64: B7C2C5EA7A15F693 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:39:12] 639*2^1455423-1 is not prime. Res64: D01F135F78FA5AEC Time : 0.0 sec. user=mdettweiler [2017-05-30 00:39:12] 693*2^1455423-1 is not prime. Res64: 43F9F20826A7C2AC Time : 0.0 sec. user=mdettweiler [2017-05-30 00:39:12] 763*2^1455423-1 is not prime. Res64: EE89DB18304C430C Time : 0.0 sec. user=mdettweiler [2017-05-30 00:39:12] 781*2^1455423-1 is not prime. Res64: B25C0EE714899857 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:39:13] 805*2^1455423-1 is not prime. Res64: 9313A6892E225ADA Time : 0.0 sec. user=mdettweiler [2017-05-30 00:47:04] 823*2^1455423-1 is not prime. Res64: D874A9FDFEC4B4F9 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:47:05] 871*2^1455423-1 is not prime. Res64: A806E59EEAA8C693 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:47:05] 645*2^1455424-1 is not prime. Res64: 5D4688833855F81F Time : 0.0 sec. user=mdettweiler [2017-05-30 00:47:05] 677*2^1455424-1 is not prime. Res64: 6F6581314D07F54A Time : 0.0 sec. user=mdettweiler [2017-05-30 00:47:05] 813*2^1455424-1 is not prime. Res64: A7D3FD500416D745 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:52:58] 819*2^1455424-1 is not prime. Res64: C5DF4021D9D43CB5 Time : 0.0 sec. user=mdettweiler [2017-05-30 00:52:58] 833*2^1455424-1 is not prime. Res64: 6812C1877609F0CA Time : 0.0 sec. user=mdettweiler [2017-05-30 00:52:59] 873*2^1455424-1 is not prime. Res64: C84E7D64CAF16DAA Time : 0.0 sec. user=mdettweiler [2017-05-30 00:52:59] 909*2^1455424-1 is not prime. Res64: DBC5D4431D0CF1CD Time : 0.0 sec. user=mdettweiler [2017-05-30 00:52:59] 965*2^1455424-1 is not prime. Res64: 3545895ECB558AE1 Time : 0.0 sec. user=juhehe [2017-05-30 00:55:34] 861*2^1455425-1 is not prime. Res64: 476B6AE355415AE7 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:07:14] 915*2^1455425-1 is not prime. Res64: DC83863B93B2CD55 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:07:14] 711*2^1455426-1 is not prime. Res64: F99A41D75CE6FFE4 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:07:15] 737*2^1455426-1 is not prime. Res64: 488FC1E9A146B281 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:07:15] 741*2^1455426-1 is not prime. Res64: ADABEA35822DD4A4 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:07:15] 917*2^1455426-1 is not prime. Res64: 29266C011EC41EE0 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:25:00] 923*2^1455426-1 is not prime. Res64: FD4D4A05361C27E6 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:25:00] 945*2^1455426-1 is not prime. Res64: 7735C1DF80F4907D Time : 0.0 sec. user=mdettweiler [2017-05-30 01:25:00] 1001*2^1455426-1 is not prime. Res64: 9018F2A98779AD2D Time : 0.0 sec. user=mdettweiler [2017-05-30 01:25:01] 631*2^1455427-1 is not prime. Res64: 194D80B70B5012B3 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:25:01] 703*2^1455427-1 is not prime. Res64: 9765D613F40F45FF Time : 0.0 sec. user=mdettweiler [2017-05-30 01:32:37] 733*2^1455427-1 is not prime. Res64: 5AC823099615F387 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:32:38] 793*2^1455427-1 is not prime. Res64: 5A3D55A9E184E761 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:32:38] 603*2^1455428-1 is not prime. Res64: 9B4EB2E7F7B84077 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:32:39] 659*2^1455428-1 is not prime. Res64: B7693EF3C9127B67 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:32:39] 669*2^1455428-1 is not prime. Res64: 047F4DC95423999D Time : 0.0 sec. user=mdettweiler [2017-05-30 01:38:40] 777*2^1455428-1 is not prime. Res64: 08B95971EFBB8E76 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:38:41] 893*2^1455428-1 is not prime. Res64: 64C464DE068CCCF9 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:38:41] 963*2^1455428-1 is not prime. Res64: CBD992D3155251DF Time : 0.0 sec. user=mdettweiler [2017-05-30 01:38:41] 969*2^1455428-1 is not prime. Res64: 3A188840FC885D55 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:38:41] 987*2^1455428-1 is not prime. Res64: 0370461E5CB4F8A7 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:52:56] 885*2^1455429-1 is not prime. Res64: 02D5967B1F2876FD Time : 0.0 sec. user=mdettweiler [2017-05-30 01:52:56] 889*2^1455429-1 is not prime. Res64: 4A59786D33A0E4D8 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:52:56] 891*2^1455429-1 is not prime. Res64: 15A15E8716360748 Time : 0.0 sec. user=mdettweiler [2017-05-30 01:52:56] 773*2^1455430-1 is not prime. Res64: E618CE338BC8C1FF Time : 0.0 sec. user=mdettweiler [2017-05-30 01:52:57] 777*2^1455430-1 is not prime. Res64: D644583AB06EE823 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:10:43] 813*2^1455430-1 is not prime. Res64: A46743E922AB8B32 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:10:44] 891*2^1455430-1 is not prime. Res64: 2DD91D5C5BEA88C5 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:10:44] 923*2^1455430-1 is not prime. Res64: 68B4B5EAE94988A2 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:10:44] 619*2^1455431-1 is not prime. Res64: 02406AE06AF0D643 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:10:45] 645*2^1455431-1 is not prime. Res64: B15F6FF000CA9DCC Time : 0.0 sec. user=juhehe [2017-05-30 02:14:56] 979*2^1455431-1 is not prime. Res64: 782CB2FB8A0DF63C Time : 0.0 sec. user=mdettweiler [2017-05-30 02:18:09] 753*2^1455431-1 is not prime. Res64: 424A68CE71C9ABBA Time : 0.0 sec. user=mdettweiler [2017-05-30 02:18:10] 805*2^1455431-1 is not prime. Res64: B0CA6BDDA4E780EE Time : 0.0 sec. user=mdettweiler [2017-05-30 02:18:10] 885*2^1455431-1 is not prime. Res64: 2175AA86B04D1B11 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:18:10] 913*2^1455431-1 is not prime. Res64: C9513274D6ABE950 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:18:10] 949*2^1455431-1 is not prime. Res64: 0392050011B8D74C Time : 0.0 sec. user=mdettweiler [2017-05-30 02:24:05] 999*2^1455431-1 is not prime. Res64: 9C4C5B829038EE08 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:24:05] 629*2^1455432-1 is not prime. Res64: FA8BD55637770B61 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:24:05] 689*2^1455432-1 is not prime. Res64: DC8D6942DF1895BB Time : 0.0 sec. user=mdettweiler [2017-05-30 02:24:06] 723*2^1455432-1 is not prime. Res64: 4DF9897BBC62D8F2 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:24:06] 843*2^1455432-1 is not prime. Res64: 74B2C8D7769D6E65 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:38:29] 857*2^1455432-1 is not prime. Res64: 28C52FEAD75F11B2 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:38:29] 983*2^1455432-1 is not prime. Res64: B793B89F7601AB89 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:38:30] 619*2^1455433-1 is not prime. Res64: AB54B23E65EF9976 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:38:30] 801*2^1455433-1 is not prime. Res64: 81C8F25EF8ED9059 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:38:30] 897*2^1455433-1 is not prime. Res64: 45B831620B80A21E Time : 0.0 sec. user=juhehe [2017-05-30 02:54:26] 837*2^1455434-1 is not prime. Res64: 56AE190D55AE20BC Time : 0.0 sec. user=mdettweiler [2017-05-30 02:57:07] 937*2^1455433-1 is not prime. Res64: AFE3A63A43504629 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:57:07] 741*2^1455434-1 is not prime. Res64: 5DA1ED004E7D055F Time : 0.0 sec. user=mdettweiler [2017-05-30 02:57:08] 753*2^1455434-1 is not prime. Res64: FBB1846698BA324D Time : 0.0 sec. user=mdettweiler [2017-05-30 02:57:08] 797*2^1455434-1 is not prime. Res64: F2E2EFEC5374A974 Time : 0.0 sec. user=mdettweiler [2017-05-30 02:57:08] 831*2^1455434-1 is not prime. Res64: B3CD9492BA01647E Time : 0.0 sec. user=mdettweiler [2017-05-30 03:04:34] 873*2^1455434-1 is not prime. Res64: 09132C7691B6092C Time : 0.0 sec. user=mdettweiler [2017-05-30 03:04:35] 921*2^1455434-1 is not prime. Res64: D95727CD1F05B7EA Time : 0.0 sec. user=mdettweiler [2017-05-30 03:04:35] 981*2^1455434-1 is not prime. Res64: A6D0ED75BB0D7516 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:04:36] 639*2^1455435-1 is not prime. Res64: 785D66455CAC3571 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:04:37] 675*2^1455435-1 is not prime. Res64: 00B017AA05D01775 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:10:33] 789*2^1455435-1 is not prime. Res64: B80B715718882AD8 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:10:33] 615*2^1455436-1 is not prime. Res64: FD974B8C50CA4838 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:10:34] 629*2^1455436-1 is not prime. Res64: 4E52E35E87224EF8 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:10:34] 677*2^1455436-1 is not prime. Res64: A325BD0173DBD83E Time : 0.0 sec. user=mdettweiler [2017-05-30 03:10:34] 699*2^1455436-1 is not prime. Res64: D93617D18ACC7A67 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:24:48] 785*2^1455436-1 is not prime. Res64: F9ECAA01B94FC63A Time : 0.0 sec. user=mdettweiler [2017-05-30 03:24:49] 843*2^1455436-1 is not prime. Res64: 14B2CE8F175592FD Time : 0.0 sec. user=mdettweiler [2017-05-30 03:24:49] 903*2^1455436-1 is not prime. Res64: 2146C4E94EF2DA7F Time : 0.0 sec. user=mdettweiler [2017-05-30 03:24:49] 953*2^1455436-1 is not prime. Res64: 8FA2DB4A9DC47B9F Time : 0.0 sec. user=mdettweiler [2017-05-30 03:24:49] 983*2^1455436-1 is not prime. Res64: 9365D01881869212 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:42:35] 989*2^1455436-1 is not prime. Res64: D50CAC02EA01CC1A Time : 0.0 sec. user=mdettweiler [2017-05-30 03:42:36] 697*2^1455437-1 is not prime. Res64: 5469797C27D02689 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:42:37] 829*2^1455437-1 is not prime. Res64: 0EA889CB49AF2FE6 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:42:37] 939*2^1455437-1 is not prime. Res64: 47888E9F4235380A Time : 0.0 sec. user=mdettweiler [2017-05-30 03:42:38] 955*2^1455437-1 is not prime. Res64: 80A8ECC013232390 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:50:08] 627*2^1455438-1 is not prime. Res64: 18FCF376C0799351 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:50:09] 755*2^1455438-1 is not prime. Res64: 3AFE6F7244F17633 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:50:10] 765*2^1455438-1 is not prime. Res64: D88BDFDF2EB50AF9 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:50:12] 891*2^1455438-1 is not prime. Res64: B3AEB8C60BE0115D Time : 0.0 sec. user=mdettweiler [2017-05-30 03:50:13] 945*2^1455438-1 is not prime. Res64: 610DD3BC6A510859 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:56:19] 633*2^1455439-1 is not prime. Res64: 54681D1904C43802 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:56:19] 765*2^1455439-1 is not prime. Res64: B2E79A42A2EE2C2F Time : 0.0 sec. user=mdettweiler [2017-05-30 03:56:20] 769*2^1455439-1 is not prime. Res64: 0CBF1DBA222252AA Time : 0.0 sec. user=mdettweiler [2017-05-30 03:56:20] 919*2^1455439-1 is not prime. Res64: 75EEB89319B26858 Time : 0.0 sec. user=mdettweiler [2017-05-30 03:56:20] 985*2^1455439-1 is not prime. Res64: F8A61C55E9115FB2 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:10:31] 699*2^1455440-1 is not prime. Res64: 1D55476555A672B9 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:10:32] 839*2^1455440-1 is not prime. Res64: C524E8CAE4B838E7 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:10:32] 857*2^1455440-1 is not prime. Res64: E18DFF155DF9EBA9 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:10:32] 875*2^1455440-1 is not prime. Res64: 6FB63916C1186944 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:10:33] 935*2^1455440-1 is not prime. Res64: 5A0B521152F5E94F Time : 0.0 sec. user=juhehe [2017-05-30 04:14:05] 963*2^1455440-1 is not prime. Res64: 9C5EC11724D8FC17 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:28:20] 609*2^1455441-1 is not prime. Res64: 0DA09473DE93BAC5 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:28:20] 747*2^1455441-1 is not prime. Res64: DC89E4779C81A7A9 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:28:20] 975*2^1455441-1 is not prime. Res64: 34E5EB1773B5C1EA Time : 0.0 sec. user=mdettweiler [2017-05-30 04:28:20] 997*2^1455441-1 is not prime. Res64: 9594AB7375198DA4 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:28:21] 999*2^1455441-1 is not prime. Res64: B925B8077F0936E2 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:35:51] 647*2^1455442-1 is not prime. Res64: A000D99313588408 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:35:51] 701*2^1455442-1 is not prime. Res64: 7076A125C06A2485 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:35:52] 813*2^1455442-1 is not prime. Res64: 7A1D3E06A5D5B1F7 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:35:52] 825*2^1455442-1 is not prime. Res64: 47F2DE0488BA25C2 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:35:52] 831*2^1455442-1 is not prime. Res64: AE7C5B7EAEFBFE50 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:42:03] 1001*2^1455442-1 is not prime. Res64: F6BE1FFA800C27E6 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:42:03] 609*2^1455443-1 is not prime. Res64: 9ED2FF960CBD96E2 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:42:03] 885*2^1455443-1 is not prime. Res64: CA886DBA8FF87A07 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:42:03] 915*2^1455443-1 is not prime. Res64: 909E7296948186D8 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:42:04] 623*2^1455444-1 is not prime. Res64: 740C8BE2233A169E Time : 0.0 sec. user=juhehe [2017-05-30 04:53:38] 983*2^1455444-1 is not prime. Res64: 513C8ED0B7A64F2B Time : 0.0 sec. user=mdettweiler [2017-05-30 04:55:52] 695*2^1455444-1 is not prime. Res64: 03BB35F39476CC4C Time : 0.0 sec. user=mdettweiler [2017-05-30 04:55:53] 717*2^1455444-1 is not prime. Res64: 83C6DA6687D035F8 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:55:53] 749*2^1455444-1 is not prime. Res64: 164949E296BCE0C5 Time : 0.0 sec. user=mdettweiler [2017-05-30 04:55:53] 825*2^1455444-1 is not prime. Res64: 90FD859A5D9F61BF Time : 0.0 sec. user=mdettweiler [2017-05-30 04:55:53] 887*2^1455444-1 is not prime. Res64: 6BEA9883A61C97A8 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:13:49] 687*2^1455445-1 is not prime. Res64: 4925151915E87652 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:13:50] 717*2^1455446-1 is not prime. Res64: F947E5678E819B7D Time : 0.0 sec. user=mdettweiler [2017-05-30 05:13:50] 795*2^1455446-1 is not prime. Res64: 8DCABFC02F45C139 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:13:50] 971*2^1455446-1 is not prime. Res64: FF0CDEFD71EA9600 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:13:51] 691*2^1455447-1 is not prime. Res64: 9545FE5623D66283 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:21:28] 711*2^1455447-1 is not prime. Res64: 2ECDD3612BE6D0C1 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:21:29] 739*2^1455447-1 is not prime. Res64: CDA70020C1BE0415 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:21:29] 741*2^1455447-1 is not prime. Res64: 6EF01BD58D060F73 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:21:29] 781*2^1455447-1 is not prime. Res64: A65E77A5D5743F5B Time : 0.0 sec. user=mdettweiler [2017-05-30 05:21:29] 849*2^1455447-1 is not prime. Res64: AAD5F85A4A01C0AC Time : 0.0 sec. user=mdettweiler [2017-05-30 05:27:44] 909*2^1455447-1 is not prime. Res64: 15E9399416D85A97 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:27:44] 827*2^1455448-1 is not prime. Res64: 053A095D10884432 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:27:45] 863*2^1455448-1 is not prime. Res64: 865634FB1EDA2D0D Time : 0.0 sec. user=mdettweiler [2017-05-30 05:27:45] 909*2^1455448-1 is not prime. Res64: 7273E2E8BA2D5D2B Time : 0.0 sec. user=mdettweiler [2017-05-30 05:27:45] 959*2^1455448-1 is not prime. Res64: FB07C5D56E02BE3B Time : 0.0 sec. user=mdettweiler [2017-05-30 05:41:32] 993*2^1455448-1 is not prime. Res64: F12AED5E70FCB666 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:41:32] 721*2^1455449-1 is not prime. Res64: D4EFF236016524F5 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:41:32] 735*2^1455449-1 is not prime. Res64: 0CC426F378B67CD5 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:41:32] 789*2^1455449-1 is not prime. Res64: 1872BB9EEA8D1C29 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:41:32] 841*2^1455449-1 is not prime. Res64: CE5EF24889C5E75B Time : 0.0 sec. user=mdettweiler [2017-05-30 05:59:31] 847*2^1455449-1 is not prime. Res64: D33FA651A5D34764 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:59:31] 889*2^1455449-1 is not prime. Res64: 9C5E4A63A078B453 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:59:31] 711*2^1455450-1 is not prime. Res64: 7748B21ADA842A47 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:59:31] 713*2^1455450-1 is not prime. Res64: 3BE344E57390C105 Time : 0.0 sec. user=mdettweiler [2017-05-30 05:59:31] 735*2^1455450-1 is not prime. Res64: 88FBB31DA46B0586 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:06:54] 917*2^1455450-1 is not prime. Res64: 00B090ED151A7F10 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:06:55] 945*2^1455450-1 is not prime. Res64: 5FF0388416EDC45D Time : 0.0 sec. user=mdettweiler [2017-05-30 06:06:55] 621*2^1455451-1 is not prime. Res64: 78F2B41DD0D88326 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:06:55] 703*2^1455451-1 is not prime. Res64: A59E6BA491CBCEFC Time : 0.0 sec. user=mdettweiler [2017-05-30 06:06:55] 733*2^1455451-1 is not prime. Res64: 57917EC3B4726E70 Time : 0.0 sec. user=juhehe [2017-05-30 06:12:53] 693*2^1455452-1 is not prime. Res64: A02CC0218F58E1A6 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:13:16] 805*2^1455451-1 is not prime. Res64: B90A788E51C9ADFE Time : 0.0 sec. user=mdettweiler [2017-05-30 06:13:17] 819*2^1455451-1 is not prime. Res64: 9A20C7C8ADE057A9 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:13:17] 883*2^1455451-1 is not prime. Res64: B6F80430943A8EF9 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:13:18] 961*2^1455451-1 is not prime. Res64: D927D0F9A8752B85 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:13:18] 633*2^1455452-1 is not prime. Res64: 504B993CC303A9E3 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:26:56] 819*2^1455452-1 is not prime. Res64: CAA20EE6AE642AD9 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:26:56] 903*2^1455452-1 is not prime. Res64: F619EA97282E337D Time : 0.0 sec. user=mdettweiler [2017-05-30 06:26:56] 963*2^1455452-1 is not prime. Res64: 6953EE12DF4D5DE0 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:26:56] 999*2^1455452-1 is not prime. Res64: B51EE15A5957DBE6 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:26:57] 621*2^1455453-1 is not prime. Res64: E8C386B536D04BEF Time : 0.0 sec. user=mdettweiler [2017-05-30 06:45:12] 651*2^1455453-1 is not prime. Res64: 1C67EA426D80D84B Time : 0.0 sec. user=mdettweiler [2017-05-30 06:45:12] 727*2^1455453-1 is not prime. Res64: 33665EB196DEC9C4 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:45:12] 747*2^1455453-1 is not prime. Res64: A5472AB3FF7615D8 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:45:12] 895*2^1455453-1 is not prime. Res64: ECC991CD4059E904 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:45:12] 919*2^1455453-1 is not prime. Res64: C7CF41CB3B2EE484 Time : 0.0 sec. user=juhehe [2017-05-30 06:52:28] 755*2^1455454-1 is not prime. Res64: 82B6E735FDEEAC96 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:52:34] 961*2^1455453-1 is not prime. Res64: 3677C02A86D0D550 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:52:34] 985*2^1455453-1 is not prime. Res64: 134B2643682DB8B2 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:52:35] 999*2^1455453-1 is not prime. Res64: 75C47326AD8C860A Time : 0.0 sec. user=mdettweiler [2017-05-30 06:52:35] 663*2^1455454-1 is not prime. Res64: 7CAF289407319F30 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:52:35] 675*2^1455454-1 is not prime. Res64: 3605644D496782BF Time : 0.0 sec. user=mdettweiler [2017-05-30 06:58:44] 765*2^1455454-1 is not prime. Res64: 78D9F69D6EB5D27F Time : 0.0 sec. user=mdettweiler [2017-05-30 06:58:44] 791*2^1455454-1 is not prime. Res64: 14F7066D81E8B8B4 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:58:44] 815*2^1455454-1 is not prime. Res64: D9C8DFC1C3BD32C2 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:58:45] 825*2^1455454-1 is not prime. Res64: E1546C2B5BC7AF21 Time : 0.0 sec. user=mdettweiler [2017-05-30 06:58:45] 915*2^1455454-1 is not prime. Res64: 67DE03F0F060A0B4 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:12:42] 975*2^1455454-1 is not prime. Res64: 09288D18185A51CE Time : 0.0 sec. user=mdettweiler [2017-05-30 07:12:42] 601*2^1455455-1 is not prime. Res64: 5E63A3DD398E951E Time : 0.0 sec. user=mdettweiler [2017-05-30 07:12:43] 661*2^1455455-1 is not prime. Res64: 7227521701CBEB0B Time : 0.0 sec. user=mdettweiler [2017-05-30 07:12:43] 663*2^1455455-1 is not prime. Res64: 50927E5AD59DB048 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:12:43] 669*2^1455455-1 is not prime. Res64: 1FC027EB0DFA23C0 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:30:38] 783*2^1455455-1 is not prime. Res64: F8B57AC720BC2F69 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:30:38] 789*2^1455455-1 is not prime. Res64: 9C30424DD949F8F4 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:30:38] 969*2^1455455-1 is not prime. Res64: 14BEADD766939A6A Time : 0.0 sec. user=mdettweiler [2017-05-30 07:30:39] 609*2^1455456-1 is not prime. Res64: 7A252885DFBA8692 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:30:39] 669*2^1455456-1 is not prime. Res64: 5CC4733A595AA9B9 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:38:02] 759*2^1455456-1 is not prime. Res64: 03BFED4022DA4C32 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:38:03] 803*2^1455456-1 is not prime. Res64: A22F421983DBE5F5 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:38:03] 975*2^1455456-1 is not prime. Res64: D37CD1EA12461780 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:38:03] 637*2^1455457-1 is not prime. Res64: FD2647332CF2C6B3 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:38:03] 817*2^1455457-1 is not prime. Res64: 610B7F1AD4CDCA0E Time : 0.0 sec. user=mdettweiler [2017-05-30 07:44:25] 889*2^1455457-1 is not prime. Res64: 1EC983732CDBFD81 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:44:25] 901*2^1455457-1 is not prime. Res64: BF89D092CA19DA40 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:44:26] 915*2^1455457-1 is not prime. Res64: 1EE9D22F00197921 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:44:26] 919*2^1455457-1 is not prime. Res64: 84CDC1F78F4A9637 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:44:26] 937*2^1455457-1 is not prime. Res64: 53F8A7E3AC4D7141 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:58:16] 603*2^1455458-1 is not prime. Res64: 0D6FB0890DBB7FC2 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:58:17] 711*2^1455458-1 is not prime. Res64: CCE2A1EEA35E1DF1 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:58:17] 735*2^1455458-1 is not prime. Res64: E251673687DAB511 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:58:17] 753*2^1455458-1 is not prime. Res64: A9BBEC508AFB2148 Time : 0.0 sec. user=mdettweiler [2017-05-30 07:58:17] 797*2^1455458-1 is not prime. Res64: 1B7138CFCDA5EB26 Time : 0.0 sec. user=juhehe [2017-05-30 08:11:39] 615*2^1455459-1 is not prime. Res64: B68486631A0382D4 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:16:23] 815*2^1455458-1 is not prime. Res64: 6858FE779F13CFF8 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:16:23] 885*2^1455458-1 is not prime. Res64: 2F1DF5F6AF710C2F Time : 0.0 sec. user=mdettweiler [2017-05-30 08:16:23] 893*2^1455458-1 is not prime. Res64: 56093824B6272CDD Time : 0.0 sec. user=mdettweiler [2017-05-30 08:16:23] 957*2^1455458-1 is not prime. Res64: 75FF9779D82456F4 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:16:24] 963*2^1455458-1 is not prime. Res64: 9E3DE90D2E533C5C Time : 0.0 sec. user=mdettweiler [2017-05-30 08:23:53] 669*2^1455459-1 is not prime. Res64: 5412536335990C9B Time : 0.0 sec. user=mdettweiler [2017-05-30 08:23:53] 691*2^1455459-1 is not prime. Res64: ACF4E199D497783B Time : 0.0 sec. user=mdettweiler [2017-05-30 08:23:53] 795*2^1455459-1 is not prime. Res64: 48F3AE3AA9553F8C Time : 0.0 sec. user=mdettweiler [2017-05-30 08:23:53] 879*2^1455459-1 is not prime. Res64: 86D0985204E67FCB Time : 0.0 sec. user=mdettweiler [2017-05-30 08:23:53] 895*2^1455459-1 is not prime. Res64: 521954B15E4C07F9 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:29:56] 635*2^1455460-1 is not prime. Res64: F6A367FEB8083854 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:29:57] 689*2^1455460-1 is not prime. Res64: 78757AF163B8F9D7 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:29:57] 695*2^1455460-1 is not prime. Res64: 68413F9FE1598DE0 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:29:57] 843*2^1455460-1 is not prime. Res64: 6E4529F7F57A3615 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:29:57] 855*2^1455460-1 is not prime. Res64: 9BC21D9CE92EA9BA Time : 0.0 sec. user=mdettweiler [2017-05-30 08:44:07] 857*2^1455460-1 is not prime. Res64: EEF889F86DB14BC4 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:44:07] 697*2^1455461-1 is not prime. Res64: 751394C4B56C860A Time : 0.0 sec. user=mdettweiler [2017-05-30 08:44:08] 715*2^1455461-1 is not prime. Res64: 9367976B2E04C1A3 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:44:08] 717*2^1455461-1 is not prime. Res64: ABCF90145E8F90F1 Time : 0.0 sec. user=mdettweiler [2017-05-30 08:44:08] 865*2^1455461-1 is not prime. Res64: 46D529C9740C019E Time : 0.0 sec. user=juhehe [2017-05-30 08:51:12] 871*2^1455461-1 is not prime. Res64: 9826C6C7BEB025FF Time : 0.0 sec. user=mdettweiler [2017-05-30 09:01:55] 939*2^1455461-1 is not prime. Res64: D5A970C8D5DAD18A Time : 0.0 sec. user=mdettweiler [2017-05-30 09:01:56] 677*2^1455462-1 is not prime. Res64: B1F6112F5C4B1FD8 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:01:57] 815*2^1455462-1 is not prime. Res64: 4BB6A9D4C79EBAF6 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:01:57] 833*2^1455462-1 is not prime. Res64: CB076209B1E1F9BA Time : 0.0 sec. user=mdettweiler [2017-05-30 09:01:57] 917*2^1455462-1 is not prime. Res64: F7A98BEDE718911A Time : 0.0 sec. user=mdettweiler [2017-05-30 09:09:29] 709*2^1455463-1 is not prime. Res64: 35719719A0B7B6DC Time : 0.0 sec. user=mdettweiler [2017-05-30 09:09:30] 729*2^1455463-1 is not prime. Res64: 5D25047FCFB34C22 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:09:30] 741*2^1455463-1 is not prime. Res64: B39FD2D856495C9C Time : 0.0 sec. user=mdettweiler [2017-05-30 09:09:30] 775*2^1455463-1 is not prime. Res64: F3C80ECBC0F691AF Time : 0.0 sec. user=mdettweiler [2017-05-30 09:09:31] 813*2^1455463-1 is not prime. Res64: B82083558606F573 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:15:27] 831*2^1455463-1 is not prime. Res64: 4E12085DDD2F25E2 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:15:28] 853*2^1455463-1 is not prime. Res64: 58E6255AF6F504A3 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:15:28] 961*2^1455463-1 is not prime. Res64: 68FFCE1C0C65EFF4 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:15:28] 617*2^1455464-1 is not prime. Res64: 77E99727D70768F2 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:15:28] 629*2^1455464-1 is not prime. Res64: 11979721C91FF2F0 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:29:42] 687*2^1455464-1 is not prime. Res64: E78BAE8C5493B3C9 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:29:42] 725*2^1455464-1 is not prime. Res64: 5A85812103ACFDB6 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:29:43] 759*2^1455464-1 is not prime. Res64: 027B26C51262DF13 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:29:43] 789*2^1455464-1 is not prime. Res64: 38BAD16F8AA40CA1 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:29:43] 827*2^1455464-1 is not prime. Res64: 4671FC0854E8FAD8 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:47:45] 875*2^1455464-1 is not prime. Res64: 5DA8991F3419036C Time : 0.0 sec. user=mdettweiler [2017-05-30 09:47:45] 877*2^1455465-1 is not prime. Res64: A2E3B711B7608993 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:47:45] 647*2^1455466-1 is not prime. Res64: 963597F80FC000CA Time : 0.0 sec. user=mdettweiler [2017-05-30 09:47:45] 705*2^1455466-1 is not prime. Res64: D2F101F2C86C5604 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:47:46] 755*2^1455466-1 is not prime. Res64: 459726D4B19D6050 Time : 0.0 sec. user=juhehe [2017-05-30 09:49:12] 605*2^1455468-1 is not prime. Res64: 0BDA113BF8934845 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:54:54] 711*2^1455467-1 is not prime. Res64: DF15E56EA1070F43 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:54:55] 879*2^1455467-1 is not prime. Res64: 13E56E16D871BDBD Time : 0.0 sec. user=mdettweiler [2017-05-30 09:54:55] 883*2^1455467-1 is not prime. Res64: 36D5F538D6672039 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:54:55] 885*2^1455467-1 is not prime. Res64: A63F9373FCBE6C85 Time : 0.0 sec. user=mdettweiler [2017-05-30 09:54:55] 979*2^1455467-1 is not prime. Res64: C293F3518AFBD212 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:01:08] 735*2^1455468-1 is not prime. Res64: 1DBB4563D7C30CB0 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:01:09] 843*2^1455468-1 is not prime. Res64: EB2A34EDECF555E2 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:01:10] 845*2^1455468-1 is not prime. Res64: B0A3F72AF3A8BFDA Time : 0.0 sec. user=mdettweiler [2017-05-30 10:01:11] 945*2^1455468-1 is not prime. Res64: 286AE19FCF5D8D16 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:01:11] 621*2^1455469-1 is not prime. Res64: A2B2D32CF2707E76 Time : 0.0 sec. user=juhehe [2017-05-30 10:10:37] 743*2^1455470-1 is not prime. Res64: 8C355681B6C5E3AC Time : 0.0 sec. user=mdettweiler [2017-05-30 10:15:05] 721*2^1455469-1 is not prime. Res64: DF5AA47E8BAAC4AC Time : 0.0 sec. user=mdettweiler [2017-05-30 10:15:05] 819*2^1455469-1 is not prime. Res64: 4787CAECC909082A Time : 0.0 sec. user=mdettweiler [2017-05-30 10:15:05] 831*2^1455469-1 is not prime. Res64: 8AB4F97B3B08A63D Time : 0.0 sec. user=mdettweiler [2017-05-30 10:15:06] 895*2^1455469-1 is not prime. Res64: 38CA1579AD75CDFA Time : 0.0 sec. user=mdettweiler [2017-05-30 10:15:06] 665*2^1455470-1 is not prime. Res64: 24AF4C39E292A4D6 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:33:13] 773*2^1455470-1 is not prime. Res64: 3CA8581BB9FDCF91 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:33:13] 935*2^1455470-1 is not prime. Res64: 3C79166DE1DEB352 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:33:13] 691*2^1455471-1 is not prime. Res64: 2A7AC4511D462ECC Time : 0.0 sec. user=mdettweiler [2017-05-30 10:33:13] 709*2^1455471-1 is not prime. Res64: CBD1925583B5DE1E Time : 0.0 sec. user=mdettweiler [2017-05-30 10:33:14] 711*2^1455471-1 is not prime. Res64: 3D3A92C4C4E85925 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:40:27] 735*2^1455471-1 is not prime. Res64: B01BFEC0282766F2 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:40:27] 741*2^1455471-1 is not prime. Res64: D48C46C1B2105EDA Time : 0.0 sec. user=mdettweiler [2017-05-30 10:40:27] 793*2^1455471-1 is not prime. Res64: 0EF8B144438C5C0A Time : 0.0 sec. user=mdettweiler [2017-05-30 10:40:27] 861*2^1455471-1 is not prime. Res64: DE5110C2C4D65D30 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:40:28] 895*2^1455471-1 is not prime. Res64: DBBE34382D2B9E24 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:47:10] 913*2^1455471-1 is not prime. Res64: 20BC73FEE88479D6 Time : 0.0 sec. user=mdettweiler [2017-05-30 10:47:10] 991*2^1455471-1 is not prime. Res64: E18A1FBF0F4791AA Time : 0.0 sec. user=mdettweiler [2017-05-30 10:47:10] 999*2^1455471-1 is not prime. Res64: 631F722F62EDEC3F Time : 0.0 sec. user=mdettweiler [2017-05-30 10:47:10] 657*2^1455472-1 is not prime. Res64: 296361A8956C0DCF Time : 0.0 sec. user=mdettweiler [2017-05-30 10:47:11] 909*2^1455472-1 is not prime. Res64: F74A5E782E7D7C82 Time : 0.0 sec. user=juhehe [2017-05-30 10:50:04] 999*2^1455472-1 is not prime. Res64: 71F5EF68F321936A Time : 0.0 sec. user=mdettweiler [2017-05-30 11:00:30] 627*2^1455473-1 is not prime. Res64: 4A810BB61AEC5B4C Time : 0.0 sec. user=mdettweiler [2017-05-30 11:00:31] 657*2^1455473-1 is not prime. Res64: 39DFEE5DF01652CF Time : 0.0 sec. user=mdettweiler [2017-05-30 11:00:31] 741*2^1455473-1 is not prime. Res64: D6C7B5AFCFC25FB9 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:00:31] 787*2^1455473-1 is not prime. Res64: B66F4D324FD0E82C Time : 0.0 sec. user=mdettweiler [2017-05-30 11:00:32] 611*2^1455474-1 is not prime. Res64: 38FC8A42D6524860 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:18:56] 657*2^1455474-1 is not prime. Res64: 651E9E2EDE4172E8 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:18:56] 741*2^1455474-1 is not prime. Res64: 77AFB43CAFBEA9EC Time : 0.0 sec. user=mdettweiler [2017-05-30 11:18:56] 747*2^1455474-1 is not prime. Res64: 3F0DD58D1EC32C2C Time : 0.0 sec. user=mdettweiler [2017-05-30 11:18:57] 833*2^1455474-1 is not prime. Res64: EDE4E031417D38DF Time : 0.0 sec. user=mdettweiler [2017-05-30 11:18:57] 861*2^1455474-1 is not prime. Res64: C1196560E7E78F3F Time : 0.0 sec. user=mdettweiler [2017-05-30 11:25:58] 917*2^1455474-1 is not prime. Res64: 9D5943ACAB235952 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:25:59] 945*2^1455474-1 is not prime. Res64: 20ED8B18E696341A Time : 0.0 sec. user=mdettweiler [2017-05-30 11:25:59] 609*2^1455475-1 is not prime. Res64: 927662A9C5A2EE83 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:25:59] 699*2^1455475-1 is not prime. Res64: 8F90434E37624FFE Time : 0.0 sec. user=mdettweiler [2017-05-30 11:25:59] 705*2^1455475-1 is not prime. Res64: 69CE619CD3813E41 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:32:43] 741*2^1455475-1 is not prime. Res64: 85517F831277D15B Time : 0.0 sec. user=mdettweiler [2017-05-30 11:32:43] 759*2^1455475-1 is not prime. Res64: FBB7CD105DE0DC84 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:32:43] 775*2^1455475-1 is not prime. Res64: 15A3E8F2CE840545 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:32:44] 843*2^1455475-1 is not prime. Res64: 4AD21016E86022AA Time : 0.0 sec. user=mdettweiler [2017-05-30 11:32:44] 895*2^1455475-1 is not prime. Res64: 91C96811864BAA34 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:46:16] 951*2^1455475-1 is not prime. Res64: 0DE2151EE3E8D3AA Time : 0.0 sec. user=mdettweiler [2017-05-30 11:46:16] 635*2^1455476-1 is not prime. Res64: D153727C7525E5BF Time : 0.0 sec. user=mdettweiler [2017-05-30 11:46:16] 803*2^1455476-1 is not prime. Res64: E46A4F38CCA8AF53 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:46:16] 827*2^1455476-1 is not prime. Res64: 3CF523998BC782C3 Time : 0.0 sec. user=mdettweiler [2017-05-30 11:46:17] 957*2^1455476-1 is not prime. Res64: BD4CF1D0E5520F4E Time : 0.0 sec. user=mdettweiler [2017-05-30 12:04:37] 615*2^1455477-1 is not prime. Res64: 54B7536AA84B5AE1 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:04:38] 627*2^1455477-1 is not prime. Res64: 23E70311BD368592 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:04:39] 649*2^1455477-1 is not prime. Res64: DE6EB08B92FD5C56 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:04:40] 669*2^1455477-1 is not prime. Res64: 6E27E969036B834D Time : 0.0 sec. user=mdettweiler [2017-05-30 12:04:40] 781*2^1455477-1 is not prime. Res64: 6966675B0D0EEED6 Time : 0.0 sec. user=juhehe [2017-05-30 12:09:22] 647*2^1455478-1 is not prime. Res64: 6C11852915CC23EB Time : 0.0 sec. user=mdettweiler [2017-05-30 12:11:33] 835*2^1455477-1 is not prime. Res64: 88E0D07777D7BD6D Time : 0.0 sec. user=mdettweiler [2017-05-30 12:11:33] 891*2^1455477-1 is not prime. Res64: 186FA17FF73BC435 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:11:33] 919*2^1455477-1 is not prime. Res64: DB53EEC70EDF7B0F Time : 0.0 sec. user=mdettweiler [2017-05-30 12:11:33] 999*2^1455477-1 is not prime. Res64: 71AE3B5511DB8D63 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:11:34] 603*2^1455478-1 is not prime. Res64: 4338A88C03B6FB2B Time : 0.0 sec. user=mdettweiler [2017-05-30 12:18:17] 687*2^1455478-1 is not prime. Res64: FD0ED45FFCF571BD Time : 0.0 sec. user=mdettweiler [2017-05-30 12:18:17] 713*2^1455478-1 is not prime. Res64: 2135EDE823F59B75 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:18:18] 911*2^1455478-1 is not prime. Res64: B908A791110854F8 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:18:18] 603*2^1455479-1 is not prime. Res64: 4DE0B2C2A1AF83EB Time : 0.0 sec. user=mdettweiler [2017-05-30 12:18:18] 619*2^1455479-1 is not prime. Res64: C0E22FA6ADDA8EED Time : 0.0 sec. user=mdettweiler [2017-05-30 12:32:02] 661*2^1455479-1 is not prime. Res64: 459218E483CF3D0E Time : 0.0 sec. user=mdettweiler [2017-05-30 12:32:03] 711*2^1455479-1 is not prime. Res64: E579F9D6857DA3CC Time : 0.0 sec. user=mdettweiler [2017-05-30 12:32:03] 753*2^1455479-1 is not prime. Res64: B655EAF320BCADF4 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:32:03] 829*2^1455479-1 is not prime. Res64: 375CC448381E385C Time : 0.0 sec. user=mdettweiler [2017-05-30 12:32:03] 913*2^1455479-1 is not prime. Res64: 31C41011E4AF26E9 Time : 0.0 sec. user=juhehe [2017-05-30 12:48:59] 645*2^1455481-1 is not prime. Res64: 6D20B394A66F7046 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:50:44] 635*2^1455480-1 is not prime. Res64: 034FE3D3B57CEFE7 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:50:44] 699*2^1455480-1 is not prime. Res64: 71B7B19911805CD8 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:50:45] 879*2^1455480-1 is not prime. Res64: FD789B88A28D24AF Time : 0.0 sec. user=mdettweiler [2017-05-30 12:50:45] 905*2^1455480-1 is not prime. Res64: 4C694B5A05F5E8C2 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:50:45] 609*2^1455481-1 is not prime. Res64: 8FB65429856AF8AC Time : 0.0 sec. user=mdettweiler [2017-05-30 12:56:57] 679*2^1455481-1 is not prime. Res64: 947F4CA10E77A46D Time : 0.0 sec. user=mdettweiler [2017-05-30 12:56:57] 691*2^1455481-1 is not prime. Res64: 181DA88D9E5D7EBE Time : 0.0 sec. user=mdettweiler [2017-05-30 12:56:58] 849*2^1455481-1 is not prime. Res64: 7CE86717795B00F1 Time : 0.0 sec. user=mdettweiler [2017-05-30 12:56:58] 855*2^1455481-1 is not prime. Res64: 97472E5B49DB390E Time : 0.0 sec. user=mdettweiler [2017-05-30 12:56:58] 867*2^1455481-1 is not prime. Res64: 92310745520912A6 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:03:44] 939*2^1455481-1 is not prime. Res64: 5A764FF760938D59 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:03:46] 615*2^1455482-1 is not prime. Res64: 7AC500CC6DB02B32 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:03:47] 635*2^1455482-1 is not prime. Res64: 6815D744E3C2D852 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:03:48] 665*2^1455482-1 is not prime. Res64: 7FE05EF0CC57BD96 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:03:49] 831*2^1455482-1 is not prime. Res64: 486091FE2C46029C Time : 0.0 sec. user=mdettweiler [2017-05-30 13:17:51] 921*2^1455482-1 is not prime. Res64: 80B3E8146E40E10F Time : 0.0 sec. user=mdettweiler [2017-05-30 13:17:52] 995*2^1455482-1 is not prime. Res64: F317494F534363E6 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:17:52] 723*2^1455483-1 is not prime. Res64: 5CE59D3BB4FD1C29 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:17:52] 859*2^1455483-1 is not prime. Res64: 3109437F20C37A1E Time : 0.0 sec. user=mdettweiler [2017-05-30 13:17:52] 963*2^1455483-1 is not prime. Res64: C9DFA05F2C1CB8D8 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:36:10] 969*2^1455483-1 is not prime. Res64: 34832C818A7E727D Time : 0.0 sec. user=mdettweiler [2017-05-30 13:36:10] 985*2^1455483-1 is not prime. Res64: 18EBBD7E32AA22F2 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:36:11] 693*2^1455484-1 is not prime. Res64: 83AC463CFFD1E12C Time : 0.0 sec. user=mdettweiler [2017-05-30 13:36:11] 843*2^1455484-1 is not prime. Res64: FF78926E22617DCE Time : 0.0 sec. user=mdettweiler [2017-05-30 13:36:11] 927*2^1455484-1 is not prime. Res64: DE05C8415F02254A Time : 0.0 sec. user=mdettweiler [2017-05-30 13:42:25] 607*2^1455485-1 is not prime. Res64: 6B80EDC6CD9EE634 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:42:25] 711*2^1455485-1 is not prime. Res64: 0454463BBFB84555 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:42:25] 781*2^1455485-1 is not prime. Res64: 61F189B86794C43D Time : 0.0 sec. user=mdettweiler [2017-05-30 13:42:25] 969*2^1455485-1 is not prime. Res64: ACE0414FB1F2A5C5 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:42:25] 683*2^1455486-1 is not prime. Res64: 232C66DD0E060E17 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:49:28] 717*2^1455486-1 is not prime. Res64: E638AFB2A4C22E6C Time : 0.0 sec. user=mdettweiler [2017-05-30 13:49:28] 747*2^1455486-1 is not prime. Res64: 251A2A2901451210 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:49:28] 755*2^1455486-1 is not prime. Res64: D4A7E48B00A7A40B Time : 0.0 sec. user=mdettweiler [2017-05-30 13:49:28] 795*2^1455486-1 is not prime. Res64: 351D4FF42BEA89A2 Time : 0.0 sec. user=mdettweiler [2017-05-30 13:49:29] 867*2^1455486-1 is not prime. Res64: 174C4E5A4DBFE6F8 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:03:30] 873*2^1455486-1 is not prime. Res64: 65243BB7927CF555 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:03:31] 601*2^1455487-1 is not prime. Res64: 72CFC0C5C809629C Time : 0.0 sec. user=mdettweiler [2017-05-30 14:03:32] 619*2^1455487-1 is not prime. Res64: 173A626A52CD01E0 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:03:32] 649*2^1455487-1 is not prime. Res64: 9ACDF7B5F6D37F5A Time : 0.0 sec. user=mdettweiler [2017-05-30 14:03:33] 651*2^1455487-1 is not prime. Res64: A425A9AA4FABF639 Time : 0.0 sec. user=juhehe [2017-05-30 14:08:30] 663*2^1455487-1 is not prime. Res64: 74D4844CED4CA547 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:21:44] 681*2^1455487-1 is not prime. Res64: 6F3D015F8B7CACF5 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:21:44] 693*2^1455487-1 is not prime. Res64: 40AFF8D1F79944BE Time : 0.0 sec. user=mdettweiler [2017-05-30 14:21:45] 763*2^1455487-1 is not prime. Res64: 8D3083ABDCDBF24E Time : 0.0 sec. user=mdettweiler [2017-05-30 14:21:45] 769*2^1455487-1 is not prime. Res64: 114051384BE27D38 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:21:45] 793*2^1455487-1 is not prime. Res64: C066C7CC2EE5B252 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:27:53] 859*2^1455487-1 is not prime. Res64: 4577099248A57F4F Time : 0.0 sec. user=mdettweiler [2017-05-30 14:27:53] 861*2^1455487-1 is not prime. Res64: F442A0A02B86164D Time : 0.0 sec. user=mdettweiler [2017-05-30 14:27:54] 871*2^1455487-1 is not prime. Res64: F174D33A4D89E337 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:27:54] 885*2^1455487-1 is not prime. Res64: B4B0357B246B4013 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:27:54] 687*2^1455488-1 is not prime. Res64: 32DEA8C94B9F2D18 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:35:00] 753*2^1455488-1 is not prime. Res64: BECA6E00082CB63B Time : 0.0 sec. user=mdettweiler [2017-05-30 14:35:01] 795*2^1455488-1 is not prime. Res64: B562F536FF8BA449 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:35:01] 843*2^1455488-1 is not prime. Res64: 272DE91459D6C1E0 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:35:01] 875*2^1455488-1 is not prime. Res64: 5148300DD7FB102B Time : 0.0 sec. user=mdettweiler [2017-05-30 14:35:01] 897*2^1455488-1 is not prime. Res64: E22010EA389942BC Time : 0.0 sec. user=mdettweiler [2017-05-30 14:49:16] 615*2^1455489-1 is not prime. Res64: 899D553B091E9D13 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:49:16] 649*2^1455489-1 is not prime. Res64: 13746EB38790FED7 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:49:16] 891*2^1455489-1 is not prime. Res64: B8955F251D78F05E Time : 0.0 sec. user=mdettweiler [2017-05-30 14:49:17] 979*2^1455489-1 is not prime. Res64: 95A728961EC5E413 Time : 0.0 sec. user=mdettweiler [2017-05-30 14:49:17] 985*2^1455489-1 is not prime. Res64: F5521C140BA43C1D Time : 0.0 sec. user=mdettweiler [2017-05-30 15:07:14] 645*2^1455490-1 is not prime. Res64: 9DB187C1DDB8D9D3 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:07:15] 735*2^1455490-1 is not prime. Res64: EF8500CC153BEA99 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:07:15] 747*2^1455490-1 is not prime. Res64: E5F8A67CDA3BB43A Time : 0.0 sec. user=mdettweiler [2017-05-30 15:07:16] 813*2^1455490-1 is not prime. Res64: EE7BE130EEFAD907 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:07:17] 821*2^1455490-1 is not prime. Res64: A2292171306AA27E Time : 0.0 sec. user=mdettweiler [2017-05-30 15:13:23] 861*2^1455490-1 is not prime. Res64: 9C09EFD3C9C38177 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:13:24] 911*2^1455490-1 is not prime. Res64: FD8A41402E958E16 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:13:24] 995*2^1455490-1 is not prime. Res64: 99088D73C7BE761A Time : 0.0 sec. user=mdettweiler [2017-05-30 15:13:24] 1001*2^1455490-1 is not prime. Res64: 3E95FEF16237E7B5 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:13:25] 801*2^1455491-1 is not prime. Res64: B12CE0CA31A89532 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:20:38] 939*2^1455491-1 is not prime. Res64: 549D0D2A62AB0BE6 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:20:39] 943*2^1455491-1 is not prime. Res64: 26E3433EC526C96F Time : 0.0 sec. user=mdettweiler [2017-05-30 15:20:39] 609*2^1455492-1 is not prime. Res64: 84F7E63D5076E0B5 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:20:39] 669*2^1455492-1 is not prime. Res64: 98E1B6A0E2C64E88 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:20:40] 693*2^1455492-1 is not prime. Res64: BEAC5EA736148EAB Time : 0.0 sec. user=juhehe [2017-05-30 15:28:16] 765*2^1455492-1 is not prime. Res64: 50EC1684C89484B1 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:34:40] 983*2^1455492-1 is not prime. Res64: 0A1C797034608F7B Time : 0.0 sec. user=mdettweiler [2017-05-30 15:34:40] 651*2^1455493-1 is not prime. Res64: 2AD57E5149AF677F Time : 0.0 sec. user=mdettweiler [2017-05-30 15:34:40] 691*2^1455493-1 is not prime. Res64: 08014C3381C03D8A Time : 0.0 sec. user=mdettweiler [2017-05-30 15:34:41] 751*2^1455493-1 is not prime. Res64: 205FC587005E456A Time : 0.0 sec. user=mdettweiler [2017-05-30 15:34:42] 831*2^1455493-1 is not prime. Res64: 4510616573D4E95F Time : 0.0 sec. user=mdettweiler [2017-05-30 15:52:55] 979*2^1455493-1 is not prime. Res64: 9D735C35AC61C1EA Time : 0.0 sec. user=mdettweiler [2017-05-30 15:52:55] 657*2^1455494-1 is not prime. Res64: F17DB1D3C9E86422 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:52:56] 791*2^1455494-1 is not prime. Res64: AE8564E6F00B8BFE Time : 0.0 sec. user=mdettweiler [2017-05-30 15:52:56] 827*2^1455494-1 is not prime. Res64: 6DC4FD674361A541 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:52:56] 923*2^1455494-1 is not prime. Res64: 6E80891619168EB4 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:59:02] 953*2^1455494-1 is not prime. Res64: D496F01D745C223B Time : 0.0 sec. user=mdettweiler [2017-05-30 15:59:03] 643*2^1455495-1 is not prime. Res64: AB80BCBB94472D22 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:59:03] 763*2^1455495-1 is not prime. Res64: E79C45B6A2DEA624 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:59:03] 861*2^1455495-1 is not prime. Res64: 671300F05F3306E0 Time : 0.0 sec. user=mdettweiler [2017-05-30 15:59:03] 919*2^1455495-1 is not prime. Res64: 9FB8F13CD5605656 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:06:22] 979*2^1455495-1 is not prime. Res64: 8DFB5431D44BC40D Time : 0.0 sec. user=mdettweiler [2017-05-30 16:06:22] 645*2^1455496-1 is not prime. Res64: EE331965BB2C138A Time : 0.0 sec. user=mdettweiler [2017-05-30 16:06:23] 663*2^1455496-1 is not prime. Res64: FE47C015BB73ED55 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:06:23] 695*2^1455496-1 is not prime. Res64: E193CA2E51C11127 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:06:24] 705*2^1455496-1 is not prime. Res64: 428244411A2C68C0 Time : 0.0 sec. user=juhehe [2017-05-30 16:07:59] 833*2^1455496-1 is not prime. Res64: 1B4152FC740CBB3C Time : 0.0 sec. user=mdettweiler [2017-05-30 16:20:53] 923*2^1455496-1 is not prime. Res64: 4C9F47A66827B9C6 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:20:53] 615*2^1455497-1 is not prime. Res64: 31836085071AFBCA Time : 0.0 sec. user=mdettweiler [2017-05-30 16:20:54] 777*2^1455497-1 is not prime. Res64: C6A9E247BC854945 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:20:54] 867*2^1455497-1 is not prime. Res64: 7259956E6B7D087B Time : 0.0 sec. user=mdettweiler [2017-05-30 16:20:54] 871*2^1455497-1 is not prime. Res64: 75DED4410CD2B197 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:39:05] 937*2^1455497-1 is not prime. Res64: BEE129DA226F2C32 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:39:06] 641*2^1455498-1 is not prime. Res64: 27BD044426A58950 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:39:06] 657*2^1455498-1 is not prime. Res64: 6AF3E4B2EDA19F27 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:39:06] 677*2^1455498-1 is not prime. Res64: 0A9D56C483691DCC Time : 0.0 sec. user=mdettweiler [2017-05-30 16:39:07] 705*2^1455498-1 is not prime. Res64: E80C7C9D588279DD Time : 0.0 sec. user=juhehe [2017-05-30 16:45:16] 891*2^1455499-1 is not prime. Res64: 4DC3627FCE34C455 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:45:21] 707*2^1455498-1 is not prime. Res64: BA96C8D96DCBCFA8 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:45:22] 777*2^1455498-1 is not prime. Res64: BD6C17CCFEA85752 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:45:22] 915*2^1455498-1 is not prime. Res64: 635AF257C2213C5F Time : 0.0 sec. user=mdettweiler [2017-05-30 16:45:22] 971*2^1455498-1 is not prime. Res64: 12DEEC5F80813CF4 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:45:23] 619*2^1455499-1 is not prime. Res64: C048E097A1920406 Time : 0.0 sec. user=juhehe [2017-05-30 16:46:17] 833*2^1455500-1 is not prime. Res64: A5BE2836C42120B5 Time : 0.0 sec. user=juhehe [2017-05-30 16:48:07] 945*2^1455500-1 is not prime. Res64: B1C64364F251EE9D Time : 0.0 sec. user=mdettweiler [2017-05-30 16:52:43] 723*2^1455499-1 is not prime. Res64: 17F89892CD8FA5A3 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:52:43] 813*2^1455499-1 is not prime. Res64: 0ACCD39B09DBC938 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:52:43] 829*2^1455499-1 is not prime. Res64: E4118DDEE514FB16 Time : 0.0 sec. user=mdettweiler [2017-05-30 16:52:44] 843*2^1455499-1 is not prime. Res64: 488E11644E81A76A Time : 0.0 sec. user=mdettweiler [2017-05-30 16:52:44] 853*2^1455499-1 is not prime. Res64: 1C331484AA49D02C Time : 0.0 sec. user=mdettweiler [2017-05-30 17:06:25] 969*2^1455499-1 is not prime. Res64: 6CAAD2A59D404276 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:06:25] 603*2^1455500-1 is not prime. Res64: 9BA261BFE88CA803 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:06:25] 699*2^1455500-1 is not prime. Res64: FA23B72862953107 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:06:26] 725*2^1455500-1 is not prime. Res64: FDC441E760BFCC2A Time : 0.0 sec. user=mdettweiler [2017-05-30 17:06:26] 753*2^1455500-1 is not prime. Res64: 97A177D92A1B066E Time : 0.0 sec. user=mdettweiler [2017-05-30 17:24:49] 983*2^1455500-1 is not prime. Res64: DA9B0F5DFB6302FD Time : 0.0 sec. user=mdettweiler [2017-05-30 17:24:49] 625*2^1455501-1 is not prime. Res64: CE5AF48A3230BD41 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:24:49] 651*2^1455501-1 is not prime. Res64: 15849780085CB1ED Time : 0.0 sec. user=mdettweiler [2017-05-30 17:24:50] 865*2^1455501-1 is not prime. Res64: 7F70C4ECF96F6AEB Time : 0.0 sec. user=mdettweiler [2017-05-30 17:24:50] 885*2^1455501-1 is not prime. Res64: 3B98767589709F13 Time : 0.0 sec. user=juhehe [2017-05-30 17:28:04] 609*2^1455503-1 is not prime. Res64: 811CD54FFD50A9DD Time : 0.0 sec. user=mdettweiler [2017-05-30 17:31:08] 907*2^1455501-1 is not prime. Res64: 476F85C8A70F5BBC Time : 0.0 sec. user=mdettweiler [2017-05-30 17:31:08] 987*2^1455501-1 is not prime. Res64: 329E00DA09F406D1 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:31:09] 831*2^1455502-1 is not prime. Res64: FDFC00B5D6A48334 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:31:09] 965*2^1455502-1 is not prime. Res64: D37A5BA73AAC30E9 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:31:09] 603*2^1455503-1 is not prime. Res64: 3C47325124C17CE9 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:38:23] 705*2^1455503-1 is not prime. Res64: C53B1B1E70E3B8AD Time : 0.0 sec. user=mdettweiler [2017-05-30 17:38:23] 721*2^1455503-1 is not prime. Res64: EDB9F409E107B92D Time : 0.0 sec. user=mdettweiler [2017-05-30 17:38:23] 775*2^1455503-1 is not prime. Res64: 7571DDB8C2BDD4AE Time : 0.0 sec. user=mdettweiler [2017-05-30 17:38:24] 783*2^1455503-1 is not prime. Res64: 0260AC58CC025EDD Time : 0.0 sec. user=mdettweiler [2017-05-30 17:38:24] 939*2^1455503-1 is not prime. Res64: 9D956A4FEED00580 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:52:06] 943*2^1455503-1 is not prime. Res64: DA85C453394A3BC9 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:52:06] 635*2^1455504-1 is not prime. Res64: 82FA9648300A3F7E Time : 0.0 sec. user=mdettweiler [2017-05-30 17:52:07] 675*2^1455504-1 is not prime. Res64: E941A2353438AC59 Time : 0.0 sec. user=mdettweiler [2017-05-30 17:52:07] 689*2^1455504-1 is not prime. Res64: E172B272BABBAFDA Time : 0.0 sec. user=mdettweiler [2017-05-30 17:52:07] 863*2^1455504-1 is not prime. Res64: C31155D016C63A94 Time : 0.0 sec. user=juhehe [2017-05-30 18:08:04] 657*2^1455506-1 is not prime. Res64: 4D629F46D041D40E Time : 0.0 sec. user=mdettweiler [2017-05-30 18:10:15] 873*2^1455504-1 is not prime. Res64: 082A5B54B44FFB24 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:10:16] 685*2^1455505-1 is not prime. Res64: 7F9255602BCAE104 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:10:16] 715*2^1455505-1 is not prime. Res64: 7D050E9DA5F088FD Time : 0.0 sec. user=mdettweiler [2017-05-30 18:10:17] 811*2^1455505-1 is not prime. Res64: 06626082854A772A Time : 0.0 sec. user=mdettweiler [2017-05-30 18:10:17] 939*2^1455505-1 is not prime. Res64: 9F3CDAD4227856A9 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:16:33] 677*2^1455506-1 is not prime. Res64: AF855658A8CEF7ED Time : 0.0 sec. user=mdettweiler [2017-05-30 18:16:33] 785*2^1455506-1 is not prime. Res64: E7A7209CFBCC1E1C Time : 0.0 sec. user=mdettweiler [2017-05-30 18:16:33] 831*2^1455506-1 is not prime. Res64: 7CCB6A9BC09EE886 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:16:34] 911*2^1455506-1 is not prime. Res64: A0EEAA40FE444EF9 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:16:34] 917*2^1455506-1 is not prime. Res64: 62CF19FBCC435369 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:23:49] 651*2^1455507-1 is not prime. Res64: 0D913B39206588D0 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:23:50] 669*2^1455507-1 is not prime. Res64: FEB9571510122C7E Time : 0.0 sec. user=mdettweiler [2017-05-30 18:23:50] 705*2^1455507-1 is not prime. Res64: 746537B77F1518E3 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:23:50] 751*2^1455507-1 is not prime. Res64: 09BC910784849EF9 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:23:51] 793*2^1455507-1 is not prime. Res64: 425EA44508143BC8 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:37:31] 829*2^1455507-1 is not prime. Res64: DC3E1EE398C4FB05 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:37:31] 677*2^1455508-1 is not prime. Res64: FFC57887064B3996 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:37:31] 749*2^1455508-1 is not prime. Res64: AB77B50C434F45A8 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:37:31] 915*2^1455508-1 is not prime. Res64: 470E13CE48EAB09B Time : 0.0 sec. user=mdettweiler [2017-05-30 18:37:32] 933*2^1455508-1 is not prime. Res64: 33D5B4FF6182A0B8 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:55:57] 969*2^1455508-1 is not prime. Res64: E2B7944E86287931 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:55:57] 615*2^1455509-1 is not prime. Res64: DC24417631E42089 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:55:58] 619*2^1455509-1 is not prime. Res64: D84D57D4ACD17867 Time : 0.0 sec. user=mdettweiler [2017-05-30 18:55:58] 741*2^1455509-1 is not prime. Res64: 79D6292477E3F80D Time : 0.0 sec. user=mdettweiler [2017-05-30 18:55:58] 745*2^1455509-1 is not prime. Res64: 9B19D9D50446122A Time : 0.0 sec. user=mdettweiler [2017-05-30 19:02:13] 713*2^1455510-1 is not prime. Res64: 5437878FA8130EE5 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:02:14] 741*2^1455510-1 is not prime. Res64: 61D3FD7A1CA618C8 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:02:15] 755*2^1455510-1 is not prime. Res64: F9846A784F1CD8FB Time : 0.0 sec. user=mdettweiler [2017-05-30 19:02:15] 921*2^1455510-1 is not prime. Res64: A51303ADE964A52E Time : 0.0 sec. user=mdettweiler [2017-05-30 19:02:16] 971*2^1455510-1 is not prime. Res64: 13A2E4AC78076DFC Time : 0.0 sec. user=mdettweiler [2017-05-30 19:09:25] 977*2^1455510-1 is not prime. Res64: 1CBB8FDE02C91F5D Time : 0.0 sec. user=mdettweiler [2017-05-30 19:09:26] 715*2^1455511-1 is not prime. Res64: AC1492E953C5E88B Time : 0.0 sec. user=mdettweiler [2017-05-30 19:09:26] 813*2^1455511-1 is not prime. Res64: EE29435B8F279E13 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:09:27] 829*2^1455511-1 is not prime. Res64: 88D4E499BEA524A0 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:09:27] 933*2^1455511-1 is not prime. Res64: 11497CD6D2D9D6BD Time : 0.0 sec. user=mdettweiler [2017-05-30 19:23:20] 951*2^1455511-1 is not prime. Res64: 701F80A5E941A428 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:23:20] 615*2^1455512-1 is not prime. Res64: E03559D250976DF1 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:23:21] 623*2^1455512-1 is not prime. Res64: 92B7D699F8D33C27 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:23:21] 629*2^1455512-1 is not prime. Res64: A36C23A6DD4A94FF Time : 0.0 sec. user=mdettweiler [2017-05-30 19:23:21] 689*2^1455512-1 is not prime. Res64: 19FEF4EEF53C9E2E Time : 0.0 sec. user=juhehe [2017-05-30 19:29:05] 755*2^1455512-1 is not prime. Res64: 0ACB6E464603A03C Time : 0.0 sec. user=mdettweiler [2017-05-30 19:41:52] 797*2^1455512-1 is not prime. Res64: 9AD920A5CA553AB1 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:41:52] 827*2^1455512-1 is not prime. Res64: 4670F5BDDFE871D2 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:41:52] 995*2^1455512-1 is not prime. Res64: E696437DB5317799 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:41:53] 721*2^1455513-1 is not prime. Res64: 764CA217D2432373 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:41:53] 735*2^1455513-1 is not prime. Res64: B576A13AAD245929 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:47:56] 739*2^1455513-1 is not prime. Res64: 43BECCC3E3B42640 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:47:56] 741*2^1455513-1 is not prime. Res64: 75F2E9627CB8C764 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:47:56] 837*2^1455513-1 is not prime. Res64: B550A558CAE7AA18 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:47:57] 915*2^1455513-1 is not prime. Res64: 5DBFC7004E4E514B Time : 0.0 sec. user=mdettweiler [2017-05-30 19:47:57] 919*2^1455513-1 is not prime. Res64: 25A848E62CB2840C Time : 0.0 sec. user=mdettweiler [2017-05-30 19:55:04] 605*2^1455514-1 is not prime. Res64: F77E27A441A1DBDC Time : 0.0 sec. user=mdettweiler [2017-05-30 19:55:05] 623*2^1455514-1 is not prime. Res64: 74186E4678BEB88A Time : 0.0 sec. user=mdettweiler [2017-05-30 19:55:05] 665*2^1455514-1 is not prime. Res64: 80C02D51A1BF9C72 Time : 0.0 sec. user=mdettweiler [2017-05-30 19:55:06] 741*2^1455514-1 is not prime. Res64: 01149BBFFB158A0B Time : 0.0 sec. user=mdettweiler [2017-05-30 19:55:06] 755*2^1455514-1 is not prime. Res64: 65DE8C53175B3E05 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:08:56] 881*2^1455514-1 is not prime. Res64: F8963A4871051312 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:08:57] 885*2^1455514-1 is not prime. Res64: 85935F13A492B629 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:08:57] 971*2^1455514-1 is not prime. Res64: 9E98CFEACE1B2524 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:08:57] 679*2^1455515-1 is not prime. Res64: 7B8229C4354A6911 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:08:58] 799*2^1455515-1 is not prime. Res64: 6AB85EC3939E483D Time : 0.0 sec. user=juhehe [2017-05-30 20:09:11] 963*2^1455515-1 is not prime. Res64: 2C1A119743BE9022 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:27:19] 981*2^1455515-1 is not prime. Res64: 004A3BB0680AF485 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:27:19] 737*2^1455516-1 is not prime. Res64: 7655AE3AD52243C6 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:27:19] 765*2^1455516-1 is not prime. Res64: 8A6F30D71FDBBE65 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:27:20] 777*2^1455516-1 is not prime. Res64: DCDBBA7D9A7E114A Time : 0.0 sec. user=mdettweiler [2017-05-30 20:27:20] 809*2^1455516-1 is not prime. Res64: 1C9AACB915237A3B Time : 0.0 sec. user=mdettweiler [2017-05-30 20:33:33] 905*2^1455516-1 is not prime. Res64: 6338ACFB5B16236B Time : 0.0 sec. user=mdettweiler [2017-05-30 20:33:34] 975*2^1455516-1 is not prime. Res64: 2B0EB35FFBA1A461 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:33:34] 625*2^1455517-1 is not prime. Res64: 891BE119630FCA25 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:33:34] 717*2^1455517-1 is not prime. Res64: CC83A5808081D942 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:33:34] 747*2^1455517-1 is not prime. Res64: 72563ADCFB887168 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:40:39] 801*2^1455517-1 is not prime. Res64: 9F77ACD9472D7578 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:40:39] 847*2^1455517-1 is not prime. Res64: 61F8B89158A89306 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:40:40] 849*2^1455517-1 is not prime. Res64: A7210038616EBD83 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:40:40] 901*2^1455517-1 is not prime. Res64: E16A876F99E649E3 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:40:41] 931*2^1455517-1 is not prime. Res64: 64E5FDC5695BF4A1 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:54:32] 939*2^1455517-1 is not prime. Res64: C6E52F947B94AE4B Time : 0.0 sec. user=mdettweiler [2017-05-30 20:54:32] 707*2^1455518-1 is not prime. Res64: 44DBD4743C3D1785 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:54:33] 755*2^1455518-1 is not prime. Res64: AB896B56980DE13D Time : 0.0 sec. user=mdettweiler [2017-05-30 20:54:33] 791*2^1455518-1 is not prime. Res64: D77CAD4A9093CB28 Time : 0.0 sec. user=mdettweiler [2017-05-30 20:54:33] 801*2^1455518-1 is not prime. Res64: 35FFDC2B528CF7D7 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:12:39] 857*2^1455518-1 is not prime. Res64: 99420BB34FE4A688 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:12:40] 875*2^1455518-1 is not prime. Res64: 743D404123B48C60 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:12:40] 887*2^1455518-1 is not prime. Res64: 25BB1B3AD3252F80 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:12:40] 893*2^1455518-1 is not prime. Res64: EB318D760EB11B64 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:12:40] 977*2^1455518-1 is not prime. Res64: CB1F32426D7AA625 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:19:21] 751*2^1455519-1 is not prime. Res64: F3BE4BECBA0BE0C6 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:19:21] 891*2^1455519-1 is not prime. Res64: 4F2A25F7BA8A0921 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:19:22] 919*2^1455519-1 is not prime. Res64: A7AA9E271AF037DC Time : 0.0 sec. user=mdettweiler [2017-05-30 21:19:22] 985*2^1455519-1 is not prime. Res64: 26DA702489A9A1A9 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:19:22] 605*2^1455520-1 is not prime. Res64: 524F022093427E6A Time : 0.0 sec. user=mdettweiler [2017-05-30 21:26:32] 623*2^1455520-1 is not prime. Res64: 3D53E54C062F7E08 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:26:33] 629*2^1455520-1 is not prime. Res64: F8289C8CD603FE79 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:26:33] 675*2^1455520-1 is not prime. Res64: AC0E7C8DFC25B481 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:26:33] 693*2^1455520-1 is not prime. Res64: 5374F99D50F4EBAB Time : 0.0 sec. user=mdettweiler [2017-05-30 21:26:34] 777*2^1455520-1 is not prime. Res64: 2AE1DFC6CE9AFC96 Time : 0.0 sec. user=juhehe [2017-05-30 21:29:29] 803*2^1455520-1 is not prime. Res64: 2AE634CAA53F4376 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:40:01] 843*2^1455520-1 is not prime. Res64: 6ADEBE161F1541F8 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:40:01] 845*2^1455520-1 is not prime. Res64: F7F80C5BC7B90BDA Time : 0.0 sec. user=mdettweiler [2017-05-30 21:40:01] 983*2^1455520-1 is not prime. Res64: 8680361C4A4E01AD Time : 0.0 sec. user=mdettweiler [2017-05-30 21:40:01] 995*2^1455520-1 is not prime. Res64: 3440F8A4213D4AC1 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:40:01] 619*2^1455521-1 is not prime. Res64: BAA34EDEB32D6FFD Time : 0.0 sec. user=mdettweiler [2017-05-30 21:58:36] 631*2^1455521-1 is not prime. Res64: 20DF098EC669F39C Time : 0.0 sec. user=mdettweiler [2017-05-30 21:58:36] 705*2^1455521-1 is not prime. Res64: 4FDA07281C2D81CF Time : 0.0 sec. user=mdettweiler [2017-05-30 21:58:36] 769*2^1455521-1 is not prime. Res64: 7BBAFFE742216505 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:58:37] 777*2^1455521-1 is not prime. Res64: 3CCA833697E4CF77 Time : 0.0 sec. user=mdettweiler [2017-05-30 21:58:37] 781*2^1455521-1 is not prime. Res64: 538940D40198D89F Time : 0.0 sec. user=mdettweiler [2017-05-30 22:07:51] 867*2^1455521-1 is not prime. Res64: D726B93E3B8A8543 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:07:51] 931*2^1455521-1 is not prime. Res64: D17D89E15E34CA4E Time : 0.0 sec. user=mdettweiler [2017-05-30 22:07:52] 725*2^1455522-1 is not prime. Res64: 3F39726EAAF8E272 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:07:52] 791*2^1455522-1 is not prime. Res64: 11FD4B394A0EB9A3 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:07:52] 873*2^1455522-1 is not prime. Res64: 17BC0F1C917D5F18 Time : 0.0 sec. user=juhehe [2017-05-30 22:09:42] 741*2^1455523-1 is not prime. Res64: D1F3C23248D8506E Time : 0.0 sec. user=mdettweiler [2017-05-30 22:15:15] 945*2^1455522-1 is not prime. Res64: 339794B1F32C48AF Time : 0.0 sec. user=mdettweiler [2017-05-30 22:15:15] 963*2^1455522-1 is not prime. Res64: F07CFBF3EBFAC3F6 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:15:15] 983*2^1455522-1 is not prime. Res64: 00F712CFF326E41A Time : 0.0 sec. user=mdettweiler [2017-05-30 22:15:16] 625*2^1455523-1 is not prime. Res64: 84E9AC3E2DCE4A29 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:15:16] 723*2^1455523-1 is not prime. Res64: D733E992B5D25339 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:28:22] 783*2^1455523-1 is not prime. Res64: 31E3E82C421D01FC Time : 0.0 sec. user=mdettweiler [2017-05-30 22:28:23] 829*2^1455523-1 is not prime. Res64: 718F84B3E95BC46D Time : 0.0 sec. user=mdettweiler [2017-05-30 22:28:23] 835*2^1455523-1 is not prime. Res64: 0A5DBFB273690F2F Time : 0.0 sec. user=mdettweiler [2017-05-30 22:28:23] 885*2^1455523-1 is not prime. Res64: F11158C6B98D1551 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:28:23] 919*2^1455523-1 is not prime. Res64: AC105DE6A031ABFB Time : 0.0 sec. user=juhehe [2017-05-30 22:37:58] 939*2^1455523-1 is not prime. Res64: 502710B0C77C7538 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:46:03] 923*2^1455524-1 is not prime. Res64: 1CFAC52F7812F04E Time : 0.0 sec. user=mdettweiler [2017-05-30 22:46:03] 765*2^1455525-1 is not prime. Res64: A984CAB89F8B5816 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:46:03] 795*2^1455525-1 is not prime. Res64: DBD5E7FAAB560925 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:46:04] 871*2^1455525-1 is not prime. Res64: 840CC14934BB4878 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:46:04] 895*2^1455525-1 is not prime. Res64: 2A12EB47DE27C6FC Time : 0.0 sec. user=mdettweiler [2017-05-30 22:53:43] 991*2^1455525-1 is not prime. Res64: 119A304DA807A75F Time : 0.0 sec. user=mdettweiler [2017-05-30 22:53:43] 897*2^1455526-1 is not prime. Res64: F275235C5C8D52E5 Time : 0.0 sec. user=mdettweiler [2017-05-30 22:53:44] 917*2^1455526-1 is not prime. Res64: 614E86356D58F8AC Time : 0.0 sec. user=mdettweiler [2017-05-30 22:53:44] 993*2^1455526-1 is not prime. Res64: 85AB6336FF46346D Time : 0.0 sec. user=mdettweiler [2017-05-30 22:53:44] 663*2^1455527-1 is not prime. Res64: 3DA898488E3B7289 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:00:48] 711*2^1455527-1 is not prime. Res64: 56BBE8B2504891AE Time : 0.0 sec. user=mdettweiler [2017-05-30 23:00:49] 819*2^1455527-1 is not prime. Res64: B066F29F22B5AB75 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:00:49] 859*2^1455527-1 is not prime. Res64: 1C9F4B73CCF82F5E Time : 0.0 sec. user=mdettweiler [2017-05-30 23:00:50] 885*2^1455527-1 is not prime. Res64: 92205F744F14CE05 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:00:50] 695*2^1455528-1 is not prime. Res64: F59817BA6338A2A4 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:14:13] 825*2^1455528-1 is not prime. Res64: DCB228AF806DDA84 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:14:13] 875*2^1455528-1 is not prime. Res64: 0B05E682273EA175 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:14:13] 999*2^1455528-1 is not prime. Res64: 046019E476063351 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:14:14] 691*2^1455529-1 is not prime. Res64: D1EEBEC540564CDE Time : 0.0 sec. user=mdettweiler [2017-05-30 23:14:14] 769*2^1455529-1 is not prime. Res64: 213FE6451BF3B3D9 Time : 0.0 sec. user=juhehe [2017-05-30 23:30:14] 797*2^1455530-1 is not prime. Res64: 2977A3A4F6D9C77C Time : 0.0 sec. user=mdettweiler [2017-05-30 23:31:36] 775*2^1455529-1 is not prime. Res64: 0CAE388098A84CAE Time : 0.0 sec. user=mdettweiler [2017-05-30 23:31:36] 799*2^1455529-1 is not prime. Res64: 6717C2CEC1C74F50 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:31:37] 987*2^1455529-1 is not prime. Res64: B195DCBCBCE77321 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:31:37] 675*2^1455530-1 is not prime. Res64: 7E444571A527ED26 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:31:37] 707*2^1455530-1 is not prime. Res64: A70A0A71224B8353 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:39:34] 927*2^1455530-1 is not prime. Res64: 87646CCA6CD1F4AD Time : 0.0 sec. user=mdettweiler [2017-05-30 23:39:34] 951*2^1455530-1 is not prime. Res64: 7CFA9D15C8747954 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:39:34] 957*2^1455530-1 is not prime. Res64: 82BABDC00CB3FF62 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:39:34] 971*2^1455530-1 is not prime. Res64: 70085CADE2F3B04A Time : 0.0 sec. user=mdettweiler [2017-05-30 23:39:35] 1001*2^1455530-1 is not prime. Res64: C3F39D42EEAC0887 Time : 0.0 sec. user=mdettweiler [2017-05-30 23:47:01] 639*2^1455531-1 is not prime. Res64: F46CABDEC4ADD8DA Time : 0.0 sec. user=mdettweiler [2017-05-30 23:47:02] 679*2^1455531-1 is not prime. Res64: 2820E3418EA96A2E Time : 0.0 sec. user=mdettweiler [2017-05-30 23:47:02] 705*2^1455531-1 is not prime. Res64: F30157C56C021BBA Time : 0.0 sec. user=mdettweiler [2017-05-30 23:47:02] 723*2^1455531-1 is not prime. Res64: 53C768BF45DB801E Time : 0.0 sec. user=mdettweiler [2017-05-30 23:47:02] 735*2^1455531-1 is not prime. Res64: 939343876A6CA0BD Time : 0.0 sec. user=mdettweiler [2017-05-31 00:00:19] 793*2^1455531-1 is not prime. Res64: 14EE17B1A3A06085 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:00:20] 861*2^1455531-1 is not prime. Res64: 2D37F972EE71592B Time : 0.0 sec. user=mdettweiler [2017-05-31 00:00:20] 657*2^1455532-1 is not prime. Res64: A1138C8A8EB0064A Time : 0.0 sec. user=mdettweiler [2017-05-31 00:00:20] 677*2^1455532-1 is not prime. Res64: 18E6BE1A2D276CF6 Time : 0.0 sec. user=mdettweiler [2017-05-31 00:00:20] 705*2^1455532-1 is not prime. Res64: 17E3BAA738449520 Time : 0.0 sec.