user=mdettweiler [2016-03-14 00:03:36] 839*2^1422976-1 is not prime. Res64: 49B3A607E1B25CB9 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:03:37] 887*2^1422976-1 is not prime. Res64: 1FD2004798AF7B49 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:03:37] 905*2^1422976-1 is not prime. Res64: 86CC76F428862CAA Time : 0.0 sec. user=mdettweiler [2016-03-14 00:03:38] 615*2^1422977-1 is not prime. Res64: 0EC9032C56CFA6E4 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:03:38] 957*2^1422977-1 is not prime. Res64: FB1AE11DA7FF14CD Time : 0.0 sec. user=mdettweiler [2016-03-14 00:04:18] 797*2^1422978-1 is not prime. Res64: 65644AEED48C92AC Time : 0.0 sec. user=mdettweiler [2016-03-14 00:04:18] 833*2^1422978-1 is not prime. Res64: 602ABF9B6C52675C Time : 0.0 sec. user=mdettweiler [2016-03-14 00:04:19] 893*2^1422978-1 is not prime. Res64: 818AFF32698B34D6 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:04:20] 649*2^1422979-1 is not prime. Res64: D60D8D9E4AF8DAAD Time : 0.0 sec. user=mdettweiler [2016-03-14 00:04:20] 745*2^1422979-1 is not prime. Res64: 149D383FD7DBBE4C Time : 0.0 sec. user=mdettweiler [2016-03-14 00:05:07] 967*2^1422977-1 is not prime. Res64: 8BCA48024EF1AC63 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:05:08] 711*2^1422978-1 is not prime. Res64: 4C55DA0D5CB34B86 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:05:09] 713*2^1422978-1 is not prime. Res64: 9D15092B9C8BBADA Time : 0.0 sec. user=mdettweiler [2016-03-14 00:05:10] 725*2^1422978-1 is not prime. Res64: 21299717ADA4A42E Time : 0.0 sec. user=mdettweiler [2016-03-14 00:05:10] 735*2^1422978-1 is not prime. Res64: B54BC8D4EB4AD1C8 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:42:33] 789*2^1422979-1 is not prime. Res64: C5DF1870AC7ED533 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:42:34] 883*2^1422979-1 is not prime. Res64: D3676A8BDCF51782 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:42:34] 999*2^1422979-1 is not prime. Res64: 86EF08100F254AE5 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:42:34] 803*2^1422980-1 is not prime. Res64: F66452876C46E332 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:42:35] 875*2^1422980-1 is not prime. Res64: EA2665714193DF4F Time : 0.0 sec. user=mdettweiler [2016-03-14 00:48:39] 909*2^1422980-1 is not prime. Res64: 43C7F46F0C7F6F83 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:48:40] 957*2^1422980-1 is not prime. Res64: E1BCE1EFFA1AFD04 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:48:40] 627*2^1422981-1 is not prime. Res64: 8BC812B7F2D913B0 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:48:41] 825*2^1422981-1 is not prime. Res64: F4DA2DF0D022AE6E Time : 0.0 sec. user=mdettweiler [2016-03-14 00:48:41] 761*2^1422982-1 is not prime. Res64: EBCBDCE15D834D49 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:49:19] 791*2^1422982-1 is not prime. Res64: A4072042555CAA0A Time : 0.0 sec. user=mdettweiler [2016-03-14 00:49:19] 815*2^1422982-1 is not prime. Res64: 8CAB0A46763CD2C3 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:49:20] 825*2^1422982-1 is not prime. Res64: 85A3FF4436577853 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:49:20] 873*2^1422982-1 is not prime. Res64: 60D5D24A591A0537 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:49:21] 897*2^1422982-1 is not prime. Res64: E18C6BCDA056D75F Time : 0.0 sec. user=mdettweiler [2016-03-14 00:50:13] 987*2^1422982-1 is not prime. Res64: 1692E7D4861FC81C Time : 0.0 sec. user=mdettweiler [2016-03-14 00:50:13] 661*2^1422983-1 is not prime. Res64: 950D79F7F5BEE98A Time : 0.0 sec. user=mdettweiler [2016-03-14 00:50:14] 729*2^1422983-1 is not prime. Res64: 1EBAF77903EAB3B4 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:50:14] 775*2^1422983-1 is not prime. Res64: A7DA3314557B53B8 Time : 0.0 sec. user=mdettweiler [2016-03-14 00:50:14] 859*2^1422983-1 is not prime. Res64: 5795F401DB8227C7 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:27:47] 889*2^1422983-1 is not prime. Res64: EEA7BA6489B579D0 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:27:48] 973*2^1422983-1 is not prime. Res64: AF1DE1021A5FA2A0 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:27:49] 605*2^1422984-1 is not prime. Res64: B84E15D14F9C1BB9 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:27:50] 707*2^1422984-1 is not prime. Res64: B9AA2434B7BC653B Time : 0.0 sec. user=mdettweiler [2016-03-14 01:27:51] 717*2^1422984-1 is not prime. Res64: 9002D5395D78DBF9 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:33:35] 789*2^1422984-1 is not prime. Res64: C5CA65D2AA36D867 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:33:36] 945*2^1422984-1 is not prime. Res64: 7D7FFD3CB4C03AB1 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:33:36] 993*2^1422984-1 is not prime. Res64: B1DFB89A1C0FFF2C Time : 0.0 sec. user=mdettweiler [2016-03-14 01:33:36] 661*2^1422985-1 is not prime. Res64: 927E38F14E2D4998 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:33:37] 717*2^1422985-1 is not prime. Res64: EFFA05528F30965C Time : 0.0 sec. user=mdettweiler [2016-03-14 01:34:18] 841*2^1422985-1 is not prime. Res64: D1F8573F1D793C98 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:34:18] 867*2^1422985-1 is not prime. Res64: 6C9CCDCEE24C1CD9 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:34:18] 623*2^1422986-1 is not prime. Res64: CE8EE4255A4C61A5 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:34:19] 645*2^1422986-1 is not prime. Res64: 9A2506667A406812 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:34:19] 651*2^1422986-1 is not prime. Res64: A9B5D9B0F17FAFF9 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:35:19] 677*2^1422986-1 is not prime. Res64: 99072840292D16BC Time : 0.0 sec. user=mdettweiler [2016-03-14 01:35:19] 773*2^1422986-1 is not prime. Res64: E4863F9DA6889F9C Time : 0.0 sec. user=mdettweiler [2016-03-14 01:35:20] 785*2^1422986-1 is not prime. Res64: DB2053CE6B8C4B44 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:35:20] 941*2^1422986-1 is not prime. Res64: 2896E0B2EAA3FB10 Time : 0.0 sec. user=mdettweiler [2016-03-14 01:35:21] 953*2^1422986-1 is not prime. Res64: 354B2A70BA97648E Time : 0.0 sec. user=mdettweiler [2016-03-14 01:48:01] 825*2^1422990-1 is not prime. Res64: FC4F82FA0CBBE79B Time : 0.0 sec. user=mdettweiler [2016-03-14 02:12:51] 1001*2^1422986-1 is not prime. Res64: D23209A7F737AAE5 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:12:52] 601*2^1422987-1 is not prime. Res64: 2542E80A68CB987C Time : 0.0 sec. user=mdettweiler [2016-03-14 02:12:52] 615*2^1422987-1 is not prime. Res64: 623EC978D8E1F209 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:12:52] 643*2^1422987-1 is not prime. Res64: 8E6E50E92A161F56 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:12:53] 651*2^1422987-1 is not prime. Res64: E5F455CE76462740 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:18:25] 703*2^1422987-1 is not prime. Res64: 4F38A023D10D3E83 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:18:26] 751*2^1422987-1 is not prime. Res64: 49506672572824DB Time : 0.0 sec. user=mdettweiler [2016-03-14 02:18:26] 949*2^1422987-1 is not prime. Res64: 22B16A989BDF9923 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:18:27] 963*2^1422987-1 is not prime. Res64: E8935CB2EAB1B81D Time : 0.0 sec. user=mdettweiler [2016-03-14 02:18:27] 605*2^1422988-1 is not prime. Res64: EF871ADDAD0A6098 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:19:11] 623*2^1422988-1 is not prime. Res64: 134E109CF526DB83 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:19:11] 657*2^1422988-1 is not prime. Res64: 934C7A21AACDF912 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:19:12] 677*2^1422988-1 is not prime. Res64: A67E9D2EE3597B35 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:19:12] 723*2^1422988-1 is not prime. Res64: AE7CD6F34503C699 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:19:12] 847*2^1422989-1 is not prime. Res64: 0FDD9D324EC9FD68 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:20:22] 939*2^1422989-1 is not prime. Res64: 745B211372205874 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:20:23] 641*2^1422990-1 is not prime. Res64: AC1334B51E540F94 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:20:23] 707*2^1422990-1 is not prime. Res64: 4C22C8011A1F7B21 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:20:23] 791*2^1422990-1 is not prime. Res64: 85E63A9616BA38F1 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:20:24] 801*2^1422990-1 is not prime. Res64: 34F7223D3052F429 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:23:48] 605*2^1422992-1 is not prime. Res64: B0F873562B487671 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:36:19] 985*2^1422995-1 is not prime. Res64: F58A9E0361E4CDE5 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:58:44] 963*2^1422990-1 is not prime. Res64: 6B7CF06365EA9E7F Time : 0.0 sec. user=mdettweiler [2016-03-14 02:58:45] 601*2^1422991-1 is not prime. Res64: 46ACFC8027F4848A Time : 0.0 sec. user=mdettweiler [2016-03-14 02:58:45] 841*2^1422991-1 is not prime. Res64: 24E5654208CA7C44 Time : 0.0 sec. user=mdettweiler [2016-03-14 02:58:46] 885*2^1422991-1 is not prime. Res64: FB097B070CAB741E Time : 0.0 sec. user=mdettweiler [2016-03-14 02:58:46] 895*2^1422991-1 is not prime. Res64: 4073F37F40B1A3A9 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:04:31] 665*2^1422992-1 is not prime. Res64: 7307D18453E19EA1 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:04:33] 693*2^1422992-1 is not prime. Res64: 2622FF4329837055 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:04:34] 699*2^1422992-1 is not prime. Res64: B2590968C9BA7703 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:04:35] 759*2^1422992-1 is not prime. Res64: D676E7684773972A Time : 0.0 sec. user=mdettweiler [2016-03-14 03:04:36] 995*2^1422992-1 is not prime. Res64: 43EFA818DB615694 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:05:02] 625*2^1422993-1 is not prime. Res64: 285C1C1C3E4FDC41 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:05:03] 627*2^1422993-1 is not prime. Res64: 807C43FA3AEDC023 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:05:04] 769*2^1422993-1 is not prime. Res64: D6AEE36A59DA12BB Time : 0.0 sec. user=mdettweiler [2016-03-14 03:05:05] 805*2^1422993-1 is not prime. Res64: A1DD364AF9A74DCB Time : 0.0 sec. user=mdettweiler [2016-03-14 03:05:05] 877*2^1422993-1 is not prime. Res64: 8119ACB3F93BD1A6 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:06:48] 895*2^1422993-1 is not prime. Res64: FE5D10EDD19089BA Time : 0.0 sec. user=mdettweiler [2016-03-14 03:06:50] 623*2^1422994-1 is not prime. Res64: D1E26C5642C63EA6 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:06:51] 765*2^1422994-1 is not prime. Res64: 18E53BE2264E15D5 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:06:53] 609*2^1422995-1 is not prime. Res64: BF4842487A394096 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:06:54] 781*2^1422995-1 is not prime. Res64: 56C5E80FFE755BBA Time : 0.0 sec. user=mdettweiler [2016-03-14 03:16:52] 979*2^1422999-1 is not prime. Res64: BC6222241E993789 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:43:30] 669*2^1422996-1 is not prime. Res64: 5C14F7B6DFDB6DC6 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:43:31] 839*2^1422996-1 is not prime. Res64: 4B52FB6D590409B0 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:43:32] 843*2^1422996-1 is not prime. Res64: C2D822FD2B081706 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:43:32] 899*2^1422996-1 is not prime. Res64: 694AE06B9E35F1EF Time : 0.0 sec. user=mdettweiler [2016-03-14 03:43:33] 947*2^1422996-1 is not prime. Res64: E74845A0356B1298 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:53] 993*2^1422996-1 is not prime. Res64: 3D92BF54601A7CF1 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:55] 639*2^1422997-1 is not prime. Res64: 372FC8F4A5A8CEAD Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:55] 687*2^1422997-1 is not prime. Res64: A21191A2DA79715B Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:56] 727*2^1422997-1 is not prime. Res64: 8B378D98EA0BF049 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:57] 801*2^1422997-1 is not prime. Res64: 62EAD105E13A9690 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:58] 819*2^1422997-1 is not prime. Res64: 45A6D4EE0C550F21 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:49:59] 859*2^1422997-1 is not prime. Res64: 7419770BC57E1A5A Time : 0.0 sec. user=mdettweiler [2016-03-14 03:50:01] 961*2^1422997-1 is not prime. Res64: 3915831F41BEF632 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:50:03] 623*2^1422998-1 is not prime. Res64: 8DE08DC5705281E2 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:50:05] 671*2^1422998-1 is not prime. Res64: 272254257C07915D Time : 0.0 sec. user=mdettweiler [2016-03-14 03:51:53] 761*2^1422998-1 is not prime. Res64: 71522CC41A2554D9 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:51:54] 639*2^1422999-1 is not prime. Res64: 120CEF73717D1F0D Time : 0.0 sec. user=mdettweiler [2016-03-14 03:51:55] 693*2^1422999-1 is not prime. Res64: D09B9FA4FC1875C6 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:51:56] 789*2^1422999-1 is not prime. Res64: 107287935274B704 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:51:56] 955*2^1422999-1 is not prime. Res64: 6DF9236BF2AC2027 Time : 0.0 sec. user=mdettweiler [2016-03-14 03:53:14] 811*2^1423001-1 is not prime. Res64: 81AF07F6C5897E26 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:28:29] 675*2^1423000-1 is not prime. Res64: 9CB47DC816CF8586 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:28:30] 873*2^1423000-1 is not prime. Res64: 4BFA8D9A413B4817 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:28:30] 965*2^1423000-1 is not prime. Res64: 764A35D1C3C1983F Time : 0.0 sec. user=mdettweiler [2016-03-14 04:28:30] 999*2^1423000-1 is not prime. Res64: 979A3E4E4ACCFE91 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:28:31] 697*2^1423001-1 is not prime. Res64: FA7167AA732F677A Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:04] 755*2^1423002-1 is not prime. Res64: 7FB42B3D7B772101 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:05] 917*2^1423002-1 is not prime. Res64: 15B6F6429F42A551 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:05] 633*2^1423003-1 is not prime. Res64: C524743AC8C0BECE Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:06] 741*2^1423003-1 is not prime. Res64: E3C14EE56B245BA0 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:06] 829*2^1423003-1 is not prime. Res64: 07E4E67DAAAEB2EE Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:18] 967*2^1423001-1 is not prime. Res64: 81F97A24C9EEED48 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:19] 621*2^1423002-1 is not prime. Res64: 7C41B5C72D9D7629 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:19] 647*2^1423002-1 is not prime. Res64: B2DE14F529AAB8EC Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:20] 665*2^1423002-1 is not prime. Res64: 3BB88BA48E1E6DAC Time : 0.0 sec. user=mdettweiler [2016-03-14 04:35:20] 741*2^1423002-1 is not prime. Res64: 937C3A04B6A2D1C6 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:36:50] 873*2^1423003-1 is not prime. Res64: B08E1047D49CF5B9 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:36:51] 915*2^1423003-1 is not prime. Res64: 10189D7B323C9803 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:36:51] 939*2^1423003-1 is not prime. Res64: F03DB1EECEA8D675 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:36:52] 615*2^1423004-1 is not prime. Res64: 1A2DAA472BBE2DF5 Time : 0.0 sec. user=mdettweiler [2016-03-14 04:36:52] 657*2^1423004-1 is not prime. Res64: C608661DFD2A9FBB Time : 0.0 sec. user=mdettweiler [2016-03-14 05:13:15] 813*2^1423004-1 is not prime. Res64: E92C54B01F74EA6D Time : 0.0 sec. user=mdettweiler [2016-03-14 05:13:15] 843*2^1423004-1 is not prime. Res64: 2DC2864FA0705578 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:13:16] 869*2^1423004-1 is not prime. Res64: 1CAE1CAF72A8213F Time : 0.0 sec. user=mdettweiler [2016-03-14 05:13:16] 609*2^1423005-1 is not prime. Res64: 6BBFE7DA6A5E337D Time : 0.0 sec. user=mdettweiler [2016-03-14 05:13:17] 649*2^1423005-1 is not prime. Res64: 638A4004936BAFE9 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:48] 657*2^1423005-1 is not prime. Res64: 084E12E6CEC46EC1 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:49] 735*2^1423005-1 is not prime. Res64: 82AEDB43E77BFCBB Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:49] 921*2^1423005-1 is not prime. Res64: D8FB57B0F00EE2CF Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:50] 937*2^1423005-1 is not prime. Res64: 1402DE202AB3A4B9 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:50] 717*2^1423006-1 is not prime. Res64: 764F047F4E32FB22 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:58] 755*2^1423006-1 is not prime. Res64: 72C4E7FCDE52D8FA Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:59] 867*2^1423006-1 is not prime. Res64: F782BEA7375B0367 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:19:59] 873*2^1423006-1 is not prime. Res64: 090F141B4EDAEFB5 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:20:00] 887*2^1423006-1 is not prime. Res64: 3BC36D4FC882435B Time : 0.0 sec. user=mdettweiler [2016-03-14 05:20:00] 891*2^1423006-1 is not prime. Res64: 014DC777DFB9A3B1 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:21:33] 677*2^1422714-1 is not prime. Res64: BDB1F0E9A19A3D0D Time : 0.0 sec. user=mdettweiler [2016-03-14 05:21:33] 837*2^1422714-1 is not prime. Res64: A408EF1A381171BD Time : 0.0 sec. user=mdettweiler [2016-03-14 05:21:33] 1001*2^1423006-1 is not prime. Res64: 8B8FC61B9D968793 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:21:34] 615*2^1423007-1 is not prime. Res64: 5D050FC865CF75DD Time : 0.0 sec. user=mdettweiler [2016-03-14 05:21:34] 669*2^1423007-1 is not prime. Res64: F7199FD0F22FD11B Time : 0.0 sec. user=mdettweiler [2016-03-14 05:58:02] 753*2^1423007-1 is not prime. Res64: 8B552B846D69E910 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:58:02] 763*2^1423007-1 is not prime. Res64: 55447CDE77976B9C Time : 0.0 sec. user=mdettweiler [2016-03-14 05:58:03] 799*2^1423007-1 is not prime. Res64: EDE77DE52F9AD4A6 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:58:03] 931*2^1423007-1 is not prime. Res64: A38DD0F8DA47AD22 Time : 0.0 sec. user=mdettweiler [2016-03-14 05:58:04] 993*2^1423007-1 is not prime. Res64: A0FAF58E497BD9BD Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:42] 605*2^1423008-1 is not prime. Res64: E16BFA55352E796C Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:44] 737*2^1423008-1 is not prime. Res64: 7C0DACDD117D61EA Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:45] 809*2^1423008-1 is not prime. Res64: DEE54B6921042EBF Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:46] 845*2^1423008-1 is not prime. Res64: B3EE2B8689648069 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:47] 849*2^1423008-1 is not prime. Res64: 7CAE720034D1AAEA Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:49] 915*2^1423008-1 is not prime. Res64: 0D1E74FA1E194259 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:51] 747*2^1423009-1 is not prime. Res64: 33383F76BF689D3B Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:53] 769*2^1423009-1 is not prime. Res64: D1BC95B03EF9068B Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:55] 771*2^1423009-1 is not prime. Res64: 84D01C57CB7386B2 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:04:58] 847*2^1423009-1 is not prime. Res64: 0C71FDA978771DD1 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:06:23] 605*2^1423010-1 is not prime. Res64: E0638250C1CFD8B9 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:06:25] 635*2^1423010-1 is not prime. Res64: A1D3BD438DC6ED14 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:06:28] 735*2^1423010-1 is not prime. Res64: 7065CC5BF3E087E5 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:06:29] 797*2^1423010-1 is not prime. Res64: 7D34618510B1D619 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:06:31] 831*2^1423010-1 is not prime. Res64: 0D105F2A30FD5E3E Time : 0.0 sec. user=mdettweiler [2016-03-14 06:32:40] 717*2^1423014-1 is not prime. Res64: CCA1E818ECC404AE Time : 0.0 sec. user=mdettweiler [2016-03-14 06:43:07] 887*2^1423010-1 is not prime. Res64: 04BF7359E3BDF3F9 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:43:08] 951*2^1423010-1 is not prime. Res64: E11F445AB7D2A80B Time : 0.0 sec. user=mdettweiler [2016-03-14 06:43:08] 957*2^1423010-1 is not prime. Res64: 1CC6B4A49F2E1505 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:43:09] 613*2^1423011-1 is not prime. Res64: DF4E0234E52ABD43 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:43:09] 625*2^1423011-1 is not prime. Res64: 45F8DEB087286C58 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:03] 669*2^1423011-1 is not prime. Res64: 44B68019548723E2 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:03] 783*2^1423011-1 is not prime. Res64: 0631A4860010FD70 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:04] 825*2^1423011-1 is not prime. Res64: 39C1A8571DAD77EC Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:04] 951*2^1423011-1 is not prime. Res64: 9BF4C17F7E3244CD Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:05] 975*2^1423011-1 is not prime. Res64: 0283CF60F028F9FB Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:22] 605*2^1423012-1 is not prime. Res64: 984CBBAB052EEB3E Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:22] 743*2^1423012-1 is not prime. Res64: 1E6C71CF3A12BCFA Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:23] 759*2^1423012-1 is not prime. Res64: E708788F44AD89DF Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:23] 777*2^1423012-1 is not prime. Res64: E40821DCCC48B59E Time : 0.0 sec. user=mdettweiler [2016-03-14 06:50:23] 863*2^1423012-1 is not prime. Res64: 9C7D2909385662B2 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:51:57] 923*2^1423012-1 is not prime. Res64: C2A056895F9569D8 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:51:57] 995*2^1423012-1 is not prime. Res64: AAA6E7EE73AB9A51 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:51:58] 927*2^1423013-1 is not prime. Res64: 194FCEEF7D02A4BC Time : 0.0 sec. user=mdettweiler [2016-03-14 06:51:58] 951*2^1423013-1 is not prime. Res64: F402C4EB38DDE042 Time : 0.0 sec. user=mdettweiler [2016-03-14 06:51:58] 663*2^1423014-1 is not prime. Res64: F7739B5F7699E0F6 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:07:49] 777*2^1423017-1 is not prime. Res64: 538E9A1A8F1A94E2 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:28:07] 765*2^1423014-1 is not prime. Res64: 001ACD870C2A1CBE Time : 0.0 sec. user=mdettweiler [2016-03-14 07:28:08] 783*2^1423014-1 is not prime. Res64: 89432FF8F4CD5D90 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:28:09] 851*2^1423014-1 is not prime. Res64: AEC47173DFD12374 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:28:10] 915*2^1423014-1 is not prime. Res64: 80986E0E0A825513 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:28:11] 917*2^1423014-1 is not prime. Res64: 80090E71154B2BCC Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:16] 951*2^1423014-1 is not prime. Res64: 5F9B616DB9215FCA Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:16] 1001*2^1423014-1 is not prime. Res64: DF22733657F7AA0B Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:17] 649*2^1423015-1 is not prime. Res64: 049B074A2AC1CA25 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:18] 675*2^1423015-1 is not prime. Res64: FF526C5B2E597744 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:19] 759*2^1423015-1 is not prime. Res64: F035908AFEACF374 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:33] 961*2^1423015-1 is not prime. Res64: B53B19568C451884 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:34] 623*2^1423016-1 is not prime. Res64: 6C49FC33593CFD4A Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:35] 675*2^1423016-1 is not prime. Res64: C75DA707636B8D3B Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:36] 785*2^1423016-1 is not prime. Res64: 0FEF135B17145D7B Time : 0.0 sec. user=mdettweiler [2016-03-14 07:35:37] 837*2^1423016-1 is not prime. Res64: 2805C1E8182F5717 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:37:09] 843*2^1423016-1 is not prime. Res64: F288C5D3ECCA437F Time : 0.0 sec. user=mdettweiler [2016-03-14 07:37:10] 857*2^1423016-1 is not prime. Res64: 7F8DF7F8B7BE6F61 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:37:11] 917*2^1423016-1 is not prime. Res64: 9487682AB0C2A14E Time : 0.0 sec. user=mdettweiler [2016-03-14 07:37:12] 625*2^1423017-1 is not prime. Res64: 6BEADF5B62334FA9 Time : 0.0 sec. user=mdettweiler [2016-03-14 07:37:13] 727*2^1423017-1 is not prime. Res64: C02C2B57F3E51721 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:13:26] 837*2^1423017-1 is not prime. Res64: 330AF600F09F3E29 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:13:27] 997*2^1423017-1 is not prime. Res64: 72A162E5268A127B Time : 0.0 sec. user=mdettweiler [2016-03-14 08:13:31] 801*2^1423018-1 is not prime. Res64: CE0F0B9058AEC1EB Time : 0.0 sec. user=mdettweiler [2016-03-14 08:13:32] 971*2^1423018-1 is not prime. Res64: D21E78B6C0DC3A83 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:13:33] 975*2^1423018-1 is not prime. Res64: B255196907284DE3 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:20:22] 981*2^1423018-1 is not prime. Res64: 8A573156548A78CF Time : 0.0 sec. user=mdettweiler [2016-03-14 08:20:23] 615*2^1423019-1 is not prime. Res64: B7CA28BF970D1EF2 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:20:23] 621*2^1423019-1 is not prime. Res64: 0A21961191386DCC Time : 0.0 sec. user=mdettweiler [2016-03-14 08:20:24] 693*2^1423019-1 is not prime. Res64: E8C2D4853797BDEE Time : 0.0 sec. user=mdettweiler [2016-03-14 08:20:25] 705*2^1423019-1 is not prime. Res64: C3DFD446AB4D44FB Time : 0.0 sec. user=mdettweiler [2016-03-14 08:21:03] 711*2^1423019-1 is not prime. Res64: 000BFC2DB0AB3235 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:21:04] 735*2^1423019-1 is not prime. Res64: C41043411DD43FFF Time : 0.0 sec. user=mdettweiler [2016-03-14 08:21:05] 909*2^1423019-1 is not prime. Res64: ACE5819C9CF46B28 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:21:06] 913*2^1423019-1 is not prime. Res64: 8DD12F517003909E Time : 0.0 sec. user=mdettweiler [2016-03-14 08:21:07] 949*2^1423019-1 is not prime. Res64: 1EEB0AC2BF923DF1 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:22:24] 609*2^1423020-1 is not prime. Res64: 31E98F1F6F6E878D Time : 0.0 sec. user=mdettweiler [2016-03-14 08:22:25] 635*2^1423020-1 is not prime. Res64: 04E01A62136D53B8 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:22:26] 765*2^1423020-1 is not prime. Res64: A96A6DC45DBC8FF9 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:22:27] 819*2^1423020-1 is not prime. Res64: CD6270C3CEE6F446 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:22:28] 845*2^1423020-1 is not prime. Res64: 66EB06BE9E82884A Time : 0.0 sec. user=mdettweiler [2016-03-14 08:58:46] 615*2^1423021-1 is not prime. Res64: A27119EEC4D162FA Time : 0.0 sec. user=mdettweiler [2016-03-14 08:58:47] 625*2^1423021-1 is not prime. Res64: 7317AC931FCD5F59 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:58:47] 645*2^1423021-1 is not prime. Res64: BFD472990D5729C7 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:58:48] 651*2^1423021-1 is not prime. Res64: 7459945CED207F11 Time : 0.0 sec. user=mdettweiler [2016-03-14 08:58:49] 685*2^1423021-1 is not prime. Res64: 94754AF76E65D73D Time : 0.0 sec. user=mdettweiler [2016-03-14 09:05:36] 825*2^1423021-1 is not prime. Res64: 805B3A12EA5CC06B Time : 0.0 sec. user=mdettweiler [2016-03-14 09:05:39] 617*2^1423022-1 is not prime. Res64: 9CA8C7231A94D5E4 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:05:41] 767*2^1423022-1 is not prime. Res64: FA308F391431484C Time : 0.0 sec. user=mdettweiler [2016-03-14 09:05:42] 771*2^1423022-1 is not prime. Res64: AE765F2A472B8455 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:05:44] 897*2^1423022-1 is not prime. Res64: 641D16A3C2A3A832 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:06:33] 915*2^1423022-1 is not prime. Res64: 32395E008B28F924 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:06:35] 957*2^1423022-1 is not prime. Res64: D8AFF97234F691AF Time : 0.0 sec. user=mdettweiler [2016-03-14 09:06:37] 981*2^1423022-1 is not prime. Res64: 3F11E4F400F94287 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:06:39] 639*2^1423023-1 is not prime. Res64: 0F21C58724B6D480 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:06:40] 649*2^1423023-1 is not prime. Res64: 407E40F150407581 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:07:27] 693*2^1423023-1 is not prime. Res64: 3F164E3F2A9FBC79 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:07:28] 751*2^1423023-1 is not prime. Res64: 95CA09FAB920419C Time : 0.0 sec. user=mdettweiler [2016-03-14 09:07:29] 819*2^1423023-1 is not prime. Res64: 080C3C5BAE699709 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:07:31] 831*2^1423023-1 is not prime. Res64: 9B56201464B09C8C Time : 0.0 sec. user=mdettweiler [2016-03-14 09:07:32] 961*2^1423023-1 is not prime. Res64: FB15371B4FC2E91C Time : 0.0 sec. user=mdettweiler [2016-03-14 09:12:04] 619*2^1423025-1 is not prime. Res64: 90D54180ED28902E Time : 0.0 sec. user=mdettweiler [2016-03-14 09:44:13] 629*2^1423024-1 is not prime. Res64: DD76A1F1D9EF3857 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:44:14] 765*2^1423024-1 is not prime. Res64: B274A45151F51F14 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:44:16] 827*2^1423024-1 is not prime. Res64: F78A2FCBC82FDE9F Time : 0.0 sec. user=mdettweiler [2016-03-14 09:44:17] 863*2^1423024-1 is not prime. Res64: 887317A5DD1030C3 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:44:18] 869*2^1423024-1 is not prime. Res64: AB775499CE6610B6 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:50:51] 645*2^1423025-1 is not prime. Res64: 74BBE832533984BE Time : 0.0 sec. user=mdettweiler [2016-03-14 09:50:52] 787*2^1423025-1 is not prime. Res64: 75CA6ECF6A8B5E9C Time : 0.0 sec. user=mdettweiler [2016-03-14 09:50:52] 889*2^1423025-1 is not prime. Res64: 40D5633341D84865 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:50:53] 937*2^1423025-1 is not prime. Res64: DAB3A2E418A604F2 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:50:54] 717*2^1423026-1 is not prime. Res64: 2D7ED5162AE351AC Time : 0.0 sec. user=mdettweiler [2016-03-14 09:51:42] 993*2^1423026-1 is not prime. Res64: C5156B2CCF49491A Time : 0.0 sec. user=mdettweiler [2016-03-14 09:51:43] 765*2^1423027-1 is not prime. Res64: A97175E21F4E6361 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:51:44] 883*2^1423027-1 is not prime. Res64: A03965755097F040 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:51:45] 945*2^1423027-1 is not prime. Res64: F73F1B6FDA1D69A7 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:51:46] 603*2^1423028-1 is not prime. Res64: A2253CFC23A0AEEF Time : 0.0 sec. user=mdettweiler [2016-03-14 09:52:31] 767*2^1423028-1 is not prime. Res64: 57E222B1F8F3764E Time : 0.0 sec. user=mdettweiler [2016-03-14 09:52:32] 833*2^1423028-1 is not prime. Res64: 93283AC3761E6945 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:52:33] 875*2^1423028-1 is not prime. Res64: FAE593E466FCA578 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:52:34] 969*2^1423028-1 is not prime. Res64: D3827A9B26DFF665 Time : 0.0 sec. user=mdettweiler [2016-03-14 09:52:35] 977*2^1423028-1 is not prime. Res64: 03141B36AD17AA0F Time : 0.0 sec. user=mdettweiler [2016-03-14 10:29:20] 751*2^1423029-1 is not prime. Res64: 947F8E1478277A0C Time : 0.0 sec. user=mdettweiler [2016-03-14 10:29:20] 787*2^1423029-1 is not prime. Res64: EEAEBE6B13259B05 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:29:21] 835*2^1423029-1 is not prime. Res64: E0ACC9C3B423D6F8 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:29:21] 907*2^1423029-1 is not prime. Res64: 162F7F0F42A4D9A1 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:29:22] 997*2^1423029-1 is not prime. Res64: 5CF3639E905E6A8D Time : 0.0 sec. user=mdettweiler [2016-03-14 10:35:54] 999*2^1423029-1 is not prime. Res64: 075E0A7299F0B73D Time : 0.0 sec. user=mdettweiler [2016-03-14 10:35:55] 681*2^1423030-1 is not prime. Res64: 3487F2BEB7E8FD31 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:35:55] 707*2^1423030-1 is not prime. Res64: FE5513C18AED9E7A Time : 0.0 sec. user=mdettweiler [2016-03-14 10:35:56] 773*2^1423030-1 is not prime. Res64: 2FC7B31E7985B635 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:35:56] 897*2^1423030-1 is not prime. Res64: 4B4B489D11B5DF20 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:36:33] 603*2^1423031-1 is not prime. Res64: B4B49A30DC321D9E Time : 0.0 sec. user=mdettweiler [2016-03-14 10:36:33] 661*2^1423031-1 is not prime. Res64: B783DF2D1ED853C2 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:36:34] 711*2^1423031-1 is not prime. Res64: 7E5F9744C30EA049 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:36:34] 759*2^1423031-1 is not prime. Res64: 549318233797C1A7 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:36:35] 895*2^1423031-1 is not prime. Res64: 301EE670A71A5C9B Time : 0.0 sec. user=mdettweiler [2016-03-14 10:37:46] 909*2^1423031-1 is not prime. Res64: 5E96A39AA4986844 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:37:46] 931*2^1423031-1 is not prime. Res64: 43BF7E0A43E9E7DB Time : 0.0 sec. user=mdettweiler [2016-03-14 10:37:47] 999*2^1423031-1 is not prime. Res64: A75515B2621298DC Time : 0.0 sec. user=mdettweiler [2016-03-14 10:37:47] 713*2^1423032-1 is not prime. Res64: 90A23F8AB03F1EC2 Time : 0.0 sec. user=mdettweiler [2016-03-14 10:37:47] 915*2^1423032-1 is not prime. Res64: BFA98739883C2D71 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:05:13] 999*2^1423036-1 is not prime. Res64: 28140568960E1B5E Time : 0.0 sec. user=mdettweiler [2016-03-14 11:14:34] 917*2^1423032-1 is not prime. Res64: B4FA2E7159AFD1A3 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:14:35] 977*2^1423032-1 is not prime. Res64: 17C757825945DD41 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:14:35] 687*2^1423033-1 is not prime. Res64: FA2BEA28C9FD5023 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:14:36] 705*2^1423033-1 is not prime. Res64: 1D72A1F598D5A62E Time : 0.0 sec. user=mdettweiler [2016-03-14 11:14:36] 855*2^1423033-1 is not prime. Res64: C8BDA718A3FA34DE Time : 0.0 sec. user=mdettweiler [2016-03-14 11:20:45] 717*2^1423034-1 is not prime. Res64: BF5D7203C6C8EBA9 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:20:46] 755*2^1423034-1 is not prime. Res64: CB3B7BBB39B3551C Time : 0.0 sec. user=mdettweiler [2016-03-14 11:20:46] 825*2^1423034-1 is not prime. Res64: 6D5857B47A11BD09 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:20:47] 873*2^1423034-1 is not prime. Res64: AEEA3CB9ADC29C3E Time : 0.0 sec. user=mdettweiler [2016-03-14 11:20:47] 971*2^1423034-1 is not prime. Res64: BD9021243D82929D Time : 0.0 sec. user=mdettweiler [2016-03-14 11:21:29] 699*2^1423035-1 is not prime. Res64: 2493CF1A5E30A2F3 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:21:29] 781*2^1423035-1 is not prime. Res64: E0E814411F674A5C Time : 0.0 sec. user=mdettweiler [2016-03-14 11:21:29] 783*2^1423035-1 is not prime. Res64: 14529B56A28028BB Time : 0.0 sec. user=mdettweiler [2016-03-14 11:21:30] 825*2^1423035-1 is not prime. Res64: 0E7C0E7016AC2A72 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:21:30] 969*2^1423035-1 is not prime. Res64: 45259478BE973607 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:22:37] 675*2^1423036-1 is not prime. Res64: 6B4ABD5822E63ABE Time : 0.0 sec. user=mdettweiler [2016-03-14 11:22:38] 689*2^1423036-1 is not prime. Res64: 6A9D58CE71C82B26 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:22:39] 743*2^1423036-1 is not prime. Res64: 5276BF31A5193AAA Time : 0.0 sec. user=mdettweiler [2016-03-14 11:22:39] 969*2^1423036-1 is not prime. Res64: 12F797064EE062DB Time : 0.0 sec. user=mdettweiler [2016-03-14 11:22:40] 975*2^1423036-1 is not prime. Res64: F89935CB83FE8DE9 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:59:45] 615*2^1423037-1 is not prime. Res64: EDEE7E97972FD557 Time : 0.0 sec. user=mdettweiler [2016-03-14 11:59:45] 697*2^1423037-1 is not prime. Res64: AABACD5A33F1E9DC Time : 0.0 sec. user=mdettweiler [2016-03-14 11:59:46] 711*2^1423037-1 is not prime. Res64: D7A74ABEB48B7C8C Time : 0.0 sec. user=mdettweiler [2016-03-14 11:59:46] 819*2^1423037-1 is not prime. Res64: 86E34788D897055B Time : 0.0 sec. user=mdettweiler [2016-03-14 11:59:47] 997*2^1423037-1 is not prime. Res64: 29B72647E0B0607C Time : 0.0 sec. user=mdettweiler [2016-03-14 12:05:47] 707*2^1423038-1 is not prime. Res64: 49E0C095484BF865 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:05:49] 755*2^1423038-1 is not prime. Res64: E1B5AD852FDC59BE Time : 0.0 sec. user=mdettweiler [2016-03-14 12:05:49] 791*2^1423038-1 is not prime. Res64: 93DAD259BFEE6BC3 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:05:50] 797*2^1423038-1 is not prime. Res64: 5599CEAF81D92FD4 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:05:51] 977*2^1423038-1 is not prime. Res64: 2A1719E71767622A Time : 0.0 sec. user=mdettweiler [2016-03-14 12:06:23] 633*2^1423039-1 is not prime. Res64: 59F65AE1FEA5864D Time : 0.0 sec. user=mdettweiler [2016-03-14 12:06:24] 675*2^1423039-1 is not prime. Res64: FB64B755DCA292C6 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:06:24] 685*2^1423039-1 is not prime. Res64: 6C76BE293EB4170D Time : 0.0 sec. user=mdettweiler [2016-03-14 12:06:25] 689*2^1423040-1 is not prime. Res64: 38B43C0ED5AD84CB Time : 0.0 sec. user=mdettweiler [2016-03-14 12:06:25] 767*2^1423040-1 is not prime. Res64: 716837950C9A552B Time : 0.0 sec. user=mdettweiler [2016-03-14 12:07:40] 601*2^1423041-1 is not prime. Res64: 231AC79538EE8185 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:07:40] 747*2^1423041-1 is not prime. Res64: 4298D621A8DFF958 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:07:41] 789*2^1423041-1 is not prime. Res64: 6732BFC15C0DB630 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:07:41] 817*2^1423041-1 is not prime. Res64: 1606D86085E5B975 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:07:42] 895*2^1423041-1 is not prime. Res64: E89983561102B5A9 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:44:42] 611*2^1423042-1 is not prime. Res64: 46E98B520EC08640 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:44:43] 623*2^1423042-1 is not prime. Res64: 2F2F993D9F7F8118 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:44:43] 665*2^1423042-1 is not prime. Res64: A699C60E15089C8E Time : 0.0 sec. user=mdettweiler [2016-03-14 12:44:43] 885*2^1423042-1 is not prime. Res64: 1679E7D55448343C Time : 0.0 sec. user=mdettweiler [2016-03-14 12:44:44] 947*2^1423042-1 is not prime. Res64: 27FC23D6F2F59BCF Time : 0.0 sec. user=mdettweiler [2016-03-14 12:50:50] 1001*2^1423042-1 is not prime. Res64: 434A176AA4914051 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:50:50] 633*2^1423043-1 is not prime. Res64: 4C227AE0BB4E1F6D Time : 0.0 sec. user=mdettweiler [2016-03-14 12:50:51] 649*2^1423043-1 is not prime. Res64: CE78E9F74C717F5D Time : 0.0 sec. user=mdettweiler [2016-03-14 12:50:51] 759*2^1423043-1 is not prime. Res64: 08599A4256D7BF35 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:50:52] 963*2^1423043-1 is not prime. Res64: B490285AC958830A Time : 0.0 sec. user=mdettweiler [2016-03-14 12:51:16] 969*2^1423043-1 is not prime. Res64: 2235706369EE627A Time : 0.0 sec. user=mdettweiler [2016-03-14 12:51:16] 981*2^1423043-1 is not prime. Res64: D48D5CF0093D1F91 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:51:16] 623*2^1423044-1 is not prime. Res64: 8D7A9E3A4679C6E1 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:51:17] 663*2^1423044-1 is not prime. Res64: F0431176FF9950FD Time : 0.0 sec. user=mdettweiler [2016-03-14 12:51:17] 753*2^1423044-1 is not prime. Res64: B914BF203C8494A0 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:52:52] 863*2^1423044-1 is not prime. Res64: 2555D37758A3E9D0 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:52:52] 887*2^1423044-1 is not prime. Res64: 82EF899158313E3B Time : 0.0 sec. user=mdettweiler [2016-03-14 12:52:52] 893*2^1423044-1 is not prime. Res64: 4B4AED895579C18F Time : 0.0 sec. user=mdettweiler [2016-03-14 12:52:53] 969*2^1423044-1 is not prime. Res64: FF2F270001C823F8 Time : 0.0 sec. user=mdettweiler [2016-03-14 12:52:53] 609*2^1423045-1 is not prime. Res64: 991DB726621FB26F Time : 0.0 sec. user=mdettweiler [2016-03-14 13:29:35] 661*2^1423045-1 is not prime. Res64: C6E4FCE74DC62E2C Time : 0.0 sec. user=mdettweiler [2016-03-14 13:29:36] 717*2^1423045-1 is not prime. Res64: 931355FB4E0D5449 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:29:36] 775*2^1423045-1 is not prime. Res64: 76E6CEC2F093B0F9 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:29:36] 919*2^1423045-1 is not prime. Res64: 943996EE3041055F Time : 0.0 sec. user=mdettweiler [2016-03-14 13:29:37] 937*2^1423045-1 is not prime. Res64: 92B1E34C4616C0D6 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:35:34] 711*2^1423046-1 is not prime. Res64: 70A569E7C7A15F2B Time : 0.0 sec. user=mdettweiler [2016-03-14 13:35:34] 773*2^1423046-1 is not prime. Res64: 97538D599C8C57CB Time : 0.0 sec. user=mdettweiler [2016-03-14 13:35:35] 903*2^1423046-1 is not prime. Res64: A7C451ECEAF70A5A Time : 0.0 sec. user=mdettweiler [2016-03-14 13:35:35] 945*2^1423046-1 is not prime. Res64: B6CEFEDC1E5D6740 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:35:35] 619*2^1423047-1 is not prime. Res64: 07B41889C8EB58EF Time : 0.0 sec. user=mdettweiler [2016-03-14 13:36:07] 693*2^1423047-1 is not prime. Res64: A922C85D274B9ECA Time : 0.0 sec. user=mdettweiler [2016-03-14 13:36:07] 705*2^1423047-1 is not prime. Res64: D58185BA8C7EB89C Time : 0.0 sec. user=mdettweiler [2016-03-14 13:36:07] 781*2^1423047-1 is not prime. Res64: A491A04D09C9F076 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:36:08] 885*2^1423047-1 is not prime. Res64: AD88C45398EF387B Time : 0.0 sec. user=mdettweiler [2016-03-14 13:36:08] 891*2^1423047-1 is not prime. Res64: 55718953465F81E9 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:37:40] 603*2^1423048-1 is not prime. Res64: 1FD00F495F79C240 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:37:40] 657*2^1423048-1 is not prime. Res64: F560783B8A6F8760 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:37:41] 705*2^1423048-1 is not prime. Res64: 6E1381DFC1E519D8 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:37:41] 849*2^1423048-1 is not prime. Res64: F5AE3FDFBA4C8665 Time : 0.0 sec. user=mdettweiler [2016-03-14 13:37:41] 887*2^1423048-1 is not prime. Res64: 6AF49AB35D591F86 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:14:39] 927*2^1423048-1 is not prime. Res64: 3C97DB2D071E37BF Time : 0.0 sec. user=mdettweiler [2016-03-14 14:14:40] 993*2^1423048-1 is not prime. Res64: BFBD506078EACA28 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:14:40] 675*2^1423049-1 is not prime. Res64: 5A2C6A6FC8D0D9C9 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:14:41] 789*2^1423049-1 is not prime. Res64: FFD76855B69B872B Time : 0.0 sec. user=mdettweiler [2016-03-14 14:14:41] 865*2^1423049-1 is not prime. Res64: 3A937E9ECECE4892 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:20:32] 879*2^1423049-1 is not prime. Res64: 107527F43373549F Time : 0.0 sec. user=mdettweiler [2016-03-14 14:20:32] 931*2^1423049-1 is not prime. Res64: 01498477619A0E6E Time : 0.0 sec. user=mdettweiler [2016-03-14 14:20:33] 945*2^1423049-1 is not prime. Res64: BBCF28A7016B0DE3 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:20:33] 641*2^1423050-1 is not prime. Res64: B6DF15A22A375823 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:20:34] 653*2^1423050-1 is not prime. Res64: 245BDD674CACF6D5 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:21:06] 725*2^1423050-1 is not prime. Res64: 84EF5CA7B2382654 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:21:06] 803*2^1423050-1 is not prime. Res64: F120632934DCB9B3 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:21:06] 905*2^1423050-1 is not prime. Res64: F9B3529C8769F078 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:21:07] 941*2^1423050-1 is not prime. Res64: 577851E8B2C3D810 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:21:07] 621*2^1423051-1 is not prime. Res64: 6F28FF7C293E9BD6 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:22:28] 625*2^1423051-1 is not prime. Res64: 6EFA215C08A22B11 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:22:28] 649*2^1423051-1 is not prime. Res64: 9FA793A68456B9A9 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:22:29] 675*2^1423051-1 is not prime. Res64: 7E5E5A9C660C550B Time : 0.0 sec. user=mdettweiler [2016-03-14 14:22:29] 681*2^1423051-1 is not prime. Res64: 0118879FB5C73846 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:22:30] 715*2^1423051-1 is not prime. Res64: 243C7B8A19B22E63 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:48:33] 875*2^1423056-1 is not prime. Res64: A9B6FD5F9EB2E0DB Time : 0.0 sec. user=mdettweiler [2016-03-14 14:59:22] 885*2^1423051-1 is not prime. Res64: B0FF51B022306053 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:59:22] 635*2^1423052-1 is not prime. Res64: 79C74E1D1D79A4A2 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:59:23] 675*2^1423052-1 is not prime. Res64: EE243A1A50D61E6A Time : 0.0 sec. user=mdettweiler [2016-03-14 14:59:23] 693*2^1423052-1 is not prime. Res64: B1611F36E0B7F4A1 Time : 0.0 sec. user=mdettweiler [2016-03-14 14:59:23] 725*2^1423052-1 is not prime. Res64: 79E6A16FFBA2D921 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:05:18] 735*2^1423052-1 is not prime. Res64: DBAD95C9FE282AFE Time : 0.0 sec. user=mdettweiler [2016-03-14 15:05:19] 987*2^1423052-1 is not prime. Res64: 543E2A165599B63D Time : 0.0 sec. user=mdettweiler [2016-03-14 15:05:20] 847*2^1423053-1 is not prime. Res64: 7C8B8C3D88AE8015 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:05:22] 889*2^1423053-1 is not prime. Res64: BC12B8727D48E05E Time : 0.0 sec. user=mdettweiler [2016-03-14 15:05:23] 663*2^1423054-1 is not prime. Res64: A466A5D2C497C203 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:06:07] 783*2^1423054-1 is not prime. Res64: 59439221AFF3D33A Time : 0.0 sec. user=mdettweiler [2016-03-14 15:06:08] 887*2^1423054-1 is not prime. Res64: 2B558DFBF81E9C46 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:06:09] 951*2^1423054-1 is not prime. Res64: D6C17C30F1A38A8A Time : 0.0 sec. user=mdettweiler [2016-03-14 15:06:10] 789*2^1423055-1 is not prime. Res64: EAE539581B364E47 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:06:10] 823*2^1423055-1 is not prime. Res64: A9F27577DF638FA8 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:06:32] 903*2^1423056-1 is not prime. Res64: D9B783C28A79EB61 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:07:34] 991*2^1423055-1 is not prime. Res64: AB2EB7BBBBB6FA43 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:07:35] 669*2^1423056-1 is not prime. Res64: 72C007ADED1CA0EE Time : 0.0 sec. user=mdettweiler [2016-03-14 15:07:35] 705*2^1423056-1 is not prime. Res64: 0987E13E9563467C Time : 0.0 sec. user=mdettweiler [2016-03-14 15:07:36] 737*2^1423056-1 is not prime. Res64: B1524E19292C16BF Time : 0.0 sec. user=mdettweiler [2016-03-14 15:07:36] 803*2^1423056-1 is not prime. Res64: 4D28CCDEAEB6BE3A Time : 0.0 sec. user=mdettweiler [2016-03-14 15:42:12] 961*2^1423059-1 is not prime. Res64: 05EDF1A70C109B2C Time : 0.0 sec. user=mdettweiler [2016-03-14 15:44:38] 691*2^1423057-1 is not prime. Res64: CD8CD0AF80CFE3B2 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:44:38] 699*2^1423057-1 is not prime. Res64: C997F800808031BA Time : 0.0 sec. user=mdettweiler [2016-03-14 15:44:39] 741*2^1423057-1 is not prime. Res64: 38663BAD305C6035 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:44:39] 751*2^1423057-1 is not prime. Res64: 192A603E03A92680 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:44:39] 817*2^1423057-1 is not prime. Res64: 1DB99D23C3A1AA78 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:51:43] 831*2^1423057-1 is not prime. Res64: 6F204ABD420C4898 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:51:43] 975*2^1423057-1 is not prime. Res64: 6D8242023F76B9D7 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:51:43] 711*2^1423058-1 is not prime. Res64: D62100DF673A5E8D Time : 0.0 sec. user=mdettweiler [2016-03-14 15:51:44] 815*2^1423058-1 is not prime. Res64: 011E08D2F488A3A8 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:51:44] 843*2^1423058-1 is not prime. Res64: 803481570D03FA19 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:52:06] 911*2^1423058-1 is not prime. Res64: B8939845079DE44D Time : 0.0 sec. user=mdettweiler [2016-03-14 15:52:07] 915*2^1423058-1 is not prime. Res64: 7D703E502139A013 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:52:07] 977*2^1423058-1 is not prime. Res64: AC6E5220367DD9B5 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:52:08] 995*2^1423058-1 is not prime. Res64: 02814669EB5DFB58 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:52:08] 649*2^1423059-1 is not prime. Res64: 18B2478FEFF45F92 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:53:13] 663*2^1423059-1 is not prime. Res64: C71A6C77A5167247 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:53:13] 801*2^1423059-1 is not prime. Res64: 8EEC412F07879E85 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:53:14] 823*2^1423059-1 is not prime. Res64: D8B74C897F18CCD5 Time : 0.0 sec. user=mdettweiler [2016-03-14 15:53:14] 879*2^1423059-1 is not prime. Res64: 151730ADFEA171CC Time : 0.0 sec. user=mdettweiler [2016-03-14 15:53:14] 903*2^1423059-1 is not prime. Res64: D7886508274F30C7 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:32:49] 975*2^1423059-1 is not prime. Res64: 82446A9E93CA2135 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:32:49] 609*2^1423060-1 is not prime. Res64: B60A67129633C9B2 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:32:49] 647*2^1423060-1 is not prime. Res64: 6D07FE9212B889CA Time : 0.0 sec. user=mdettweiler [2016-03-14 16:32:50] 675*2^1423060-1 is not prime. Res64: BADFE8A97D1E0730 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:32:50] 719*2^1423060-1 is not prime. Res64: 820C9B68F65E3191 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:48] 927*2^1423060-1 is not prime. Res64: C2FFEAD0278BD44A Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:49] 929*2^1423060-1 is not prime. Res64: BF1075357C9D0D8F Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:49] 621*2^1423061-1 is not prime. Res64: 8DDAEE78FD30F1F7 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:50] 717*2^1423061-1 is not prime. Res64: 89F5017E648EFC2D Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:50] 741*2^1423061-1 is not prime. Res64: 46ECE88403F42E75 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:50] 825*2^1423061-1 is not prime. Res64: 1C58F01B7CEA792D Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:51] 837*2^1423061-1 is not prime. Res64: 170979810915B359 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:51] 907*2^1423061-1 is not prime. Res64: 3FA0A7A48F00DEEC Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:52] 981*2^1423061-1 is not prime. Res64: D87A9954035C5E16 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:39:52] 657*2^1423062-1 is not prime. Res64: 1C5A261C2CFEBE32 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:41:21] 807*2^1423062-1 is not prime. Res64: F317909E5D7D07C8 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:41:21] 833*2^1423062-1 is not prime. Res64: 9227D7253176DD0C Time : 0.0 sec. user=mdettweiler [2016-03-14 16:41:21] 957*2^1423062-1 is not prime. Res64: 9DCE04A7C27D156E Time : 0.0 sec. user=mdettweiler [2016-03-14 16:41:22] 609*2^1423063-1 is not prime. Res64: B49BC35519EFAA07 Time : 0.0 sec. user=mdettweiler [2016-03-14 16:41:22] 615*2^1423063-1 is not prime. Res64: 4C1DEF420B543D14 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:17:51] 709*2^1423063-1 is not prime. Res64: 79AA16F99D58533C Time : 0.0 sec. user=mdettweiler [2016-03-14 17:17:52] 793*2^1423063-1 is not prime. Res64: F7AEF0E33EFBE54A Time : 0.0 sec. user=mdettweiler [2016-03-14 17:17:52] 819*2^1423063-1 is not prime. Res64: BF76CA99D1BFD6D2 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:17:53] 883*2^1423063-1 is not prime. Res64: 3A04D6949E6E7F95 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:17:53] 951*2^1423063-1 is not prime. Res64: D9D7F740CAA32814 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:33] 993*2^1423063-1 is not prime. Res64: DA61DA79D6BEEA41 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:34] 683*2^1423064-1 is not prime. Res64: 9CF2C142F89311FC Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:34] 759*2^1423064-1 is not prime. Res64: 8446B52C4084E53D Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:35] 789*2^1423064-1 is not prime. Res64: 0D8B24830A7AC964 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:35] 959*2^1423064-1 is not prime. Res64: 682422A3704241EE Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:40] 651*2^1423065-1 is not prime. Res64: FC4B82AB179D6410 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:40] 669*2^1423065-1 is not prime. Res64: 840DE91B16048EA8 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:40] 691*2^1423065-1 is not prime. Res64: 1D946AEE01774C9F Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:41] 727*2^1423065-1 is not prime. Res64: 421C0D67B4417024 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:24:41] 735*2^1423065-1 is not prime. Res64: DBFAB8B891D90B10 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:26:15] 739*2^1423065-1 is not prime. Res64: 80349BFBE0F01FC3 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:26:16] 759*2^1423065-1 is not prime. Res64: D9AFA7E3BC3034E3 Time : 0.0 sec. user=mdettweiler [2016-03-14 17:26:16] 787*2^1423065-1 is not prime. Res64: 059E294F4481589E Time : 0.0 sec. user=mdettweiler [2016-03-14 17:26:17] 789*2^1423065-1 is not prime. Res64: EA072F0244FE211D Time : 0.0 sec. user=mdettweiler [2016-03-14 17:26:17] 999*2^1423065-1 is not prime. Res64: E1AA709856A0C62A Time : 0.0 sec. user=mdettweiler [2016-03-14 18:02:53] 645*2^1423066-1 is not prime. Res64: 5A8A4C1D2F57F506 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:02:55] 647*2^1423066-1 is not prime. Res64: D93FF8BA66F0F0C5 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:02:56] 825*2^1423066-1 is not prime. Res64: A66C42150AC46BAA Time : 0.0 sec. user=mdettweiler [2016-03-14 18:02:57] 833*2^1423066-1 is not prime. Res64: 787E88A7C67F9B3A Time : 0.0 sec. user=mdettweiler [2016-03-14 18:02:58] 911*2^1423066-1 is not prime. Res64: 8DB7A74B320C880C Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:34] 947*2^1423066-1 is not prime. Res64: 0421CCADF958F34D Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:34] 971*2^1423066-1 is not prime. Res64: 742B5FC1452D5011 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:35] 987*2^1423066-1 is not prime. Res64: 6DDE0A3DACE8314C Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:35] 685*2^1423067-1 is not prime. Res64: 4D92C711870D9BBF Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:36] 735*2^1423067-1 is not prime. Res64: 11D911B3D6486D88 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:40] 741*2^1423067-1 is not prime. Res64: 331F2CE3659C1FB6 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:40] 805*2^1423067-1 is not prime. Res64: 0C9D52E7F4CCBEAE Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:41] 861*2^1423067-1 is not prime. Res64: 58D2046FF9154E25 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:41] 973*2^1423067-1 is not prime. Res64: 142E88EC28CC7E4C Time : 0.0 sec. user=mdettweiler [2016-03-14 18:09:42] 635*2^1423068-1 is not prime. Res64: 53AA001B95F42556 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:11:30] 735*2^1423068-1 is not prime. Res64: 3F067F9A1935D9B6 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:11:30] 777*2^1423068-1 is not prime. Res64: 4BDAD20E3E18ADC9 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:11:31] 789*2^1423068-1 is not prime. Res64: 826C84697E0890F0 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:11:31] 797*2^1423068-1 is not prime. Res64: 29DAEF9A7417B692 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:11:31] 825*2^1423068-1 is not prime. Res64: 4177F134CFF26D1E Time : 0.0 sec. user=mdettweiler [2016-03-14 18:38:48] 921*2^1423071-1 is not prime. Res64: 836D3E223B9775B3 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:48:26] 875*2^1423068-1 is not prime. Res64: 9F08009819A89187 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:48:26] 959*2^1423068-1 is not prime. Res64: A0EC58FCCAB6E18D Time : 0.0 sec. user=mdettweiler [2016-03-14 18:48:26] 619*2^1423069-1 is not prime. Res64: 813EA7C8ACD8CBFE Time : 0.0 sec. user=mdettweiler [2016-03-14 18:48:27] 759*2^1423069-1 is not prime. Res64: 0A1EC6F0C6300EA8 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:48:27] 819*2^1423069-1 is not prime. Res64: 61B2378D80BA206B Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:38] 855*2^1423069-1 is not prime. Res64: 4583576ADDB660A7 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:39] 955*2^1423069-1 is not prime. Res64: 9443E7E71968CB65 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:39] 603*2^1423070-1 is not prime. Res64: 0AB83A545E8AA581 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:39] 651*2^1423070-1 is not prime. Res64: 47543577DF76008B Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:40] 657*2^1423070-1 is not prime. Res64: 0D63BD35AC21AD28 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:47] 677*2^1423070-1 is not prime. Res64: D031C575DDACAACF Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:47] 711*2^1423070-1 is not prime. Res64: F8F9746B4DB6803F Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:47] 773*2^1423070-1 is not prime. Res64: 1A483C4DFAA5CA5B Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:48] 797*2^1423070-1 is not prime. Res64: C4B4C1D444573DE9 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:54:48] 867*2^1423070-1 is not prime. Res64: A5EE7FE1D912E986 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:56:30] 911*2^1423070-1 is not prime. Res64: F209BBA6FAC17E2F Time : 0.0 sec. user=mdettweiler [2016-03-14 18:56:30] 619*2^1423071-1 is not prime. Res64: 205E40527E0B4303 Time : 0.0 sec. user=mdettweiler [2016-03-14 18:56:31] 709*2^1423071-1 is not prime. Res64: 93013458BFA6F74A Time : 0.0 sec. user=mdettweiler [2016-03-14 18:56:31] 783*2^1423071-1 is not prime. Res64: 84496B986A45B30F Time : 0.0 sec. user=mdettweiler [2016-03-14 18:56:32] 805*2^1423071-1 is not prime. Res64: FD1F04E775B48551 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:32:43] 733*2^1423075-1 is not prime. Res64: F72DE565DC16CD49 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:33:27] 605*2^1423072-1 is not prime. Res64: 27E9D62A1724BD13 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:33:27] 623*2^1423072-1 is not prime. Res64: 96A671BD52C3A1E9 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:33:28] 649*2^1423073-1 is not prime. Res64: A1C9442B1DD5B579 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:33:28] 651*2^1423073-1 is not prime. Res64: A959EDDA6B1DD523 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:33:29] 685*2^1423073-1 is not prime. Res64: 4941E630CD44FB46 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:24] 855*2^1423073-1 is not prime. Res64: 31460CBBA9F923CB Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:25] 901*2^1423073-1 is not prime. Res64: 9B2E1000EB1BE0DD Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:25] 627*2^1423074-1 is not prime. Res64: 9DAA4381E06DC54F Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:26] 665*2^1423074-1 is not prime. Res64: D1B9FE5EB89031B4 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:26] 717*2^1423074-1 is not prime. Res64: 0111C821F2E23FBF Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:32] 765*2^1423074-1 is not prime. Res64: 13DDFD234BCE6BFE Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:32] 791*2^1423074-1 is not prime. Res64: 83D7FF9F5078A04C Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:33] 815*2^1423074-1 is not prime. Res64: 4723B1F5AB2E3E29 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:33] 851*2^1423074-1 is not prime. Res64: A4B00A8A611E8EEE Time : 0.0 sec. user=mdettweiler [2016-03-14 19:39:33] 893*2^1423074-1 is not prime. Res64: 2DC892E6DB03E5BB Time : 0.0 sec. user=mdettweiler [2016-03-14 19:41:07] 903*2^1423074-1 is not prime. Res64: 8C576F4F61C593D0 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:41:07] 601*2^1423075-1 is not prime. Res64: 6F4E022DFDD0346A Time : 0.0 sec. user=mdettweiler [2016-03-14 19:41:08] 609*2^1423075-1 is not prime. Res64: 28563B40CB871075 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:41:08] 645*2^1423075-1 is not prime. Res64: EE0414165C512699 Time : 0.0 sec. user=mdettweiler [2016-03-14 19:41:09] 675*2^1423075-1 is not prime. Res64: E46C2E851960FEB3 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:07:31] 975*2^1423078-1 is not prime. Res64: 1B3D00B57BCBE571 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:18:27] 853*2^1423075-1 is not prime. Res64: C15998D2742298F4 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:18:28] 871*2^1423075-1 is not prime. Res64: 4578D77D96C6EAB3 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:18:28] 885*2^1423075-1 is not prime. Res64: F7BE6B2A6CC4A901 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:18:29] 603*2^1423076-1 is not prime. Res64: 02E3868A6D7C8322 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:18:29] 677*2^1423076-1 is not prime. Res64: 3EBF2942E9B31495 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:12] 717*2^1423076-1 is not prime. Res64: 3FA434F2E7FDF745 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:12] 735*2^1423076-1 is not prime. Res64: 958F58678C074D0B Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:13] 785*2^1423076-1 is not prime. Res64: F03ED08AF51A4B75 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:13] 845*2^1423076-1 is not prime. Res64: EDD9A4D2B22156AE Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:13] 879*2^1423076-1 is not prime. Res64: 7616EA22924C96E8 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:24] 927*2^1423076-1 is not prime. Res64: 8345A9C94D963D4A Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:24] 655*2^1423077-1 is not prime. Res64: 4E478B6A3CD9BA74 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:24] 751*2^1423077-1 is not prime. Res64: 9CFF53A584F2F55D Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:25] 777*2^1423077-1 is not prime. Res64: 8DF43988CFE9EA13 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:24:25] 657*2^1423078-1 is not prime. Res64: 04EEFB67B4E64308 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:26:00] 687*2^1423078-1 is not prime. Res64: 57FAAC765D4AC427 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:26:00] 705*2^1423078-1 is not prime. Res64: D28DC7BE25A718C8 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:26:01] 825*2^1423078-1 is not prime. Res64: 8120F790429F6DA4 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:26:01] 833*2^1423078-1 is not prime. Res64: 9FEB3D2F54E50FE5 Time : 0.0 sec. user=mdettweiler [2016-03-14 20:26:01] 971*2^1423078-1 is not prime. Res64: DBAEC7E353B6449C Time : 0.0 sec. user=mdettweiler [2016-03-14 21:03:17] 995*2^1423078-1 is not prime. Res64: 9E0130A1A096B080 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:03:18] 609*2^1423079-1 is not prime. Res64: 1C8C37CC92CDDB6A Time : 0.0 sec. user=mdettweiler [2016-03-14 21:03:19] 643*2^1423079-1 is not prime. Res64: 489451540882AAEC Time : 0.0 sec. user=mdettweiler [2016-03-14 21:03:20] 645*2^1423079-1 is not prime. Res64: F32C5823D00F95BC Time : 0.0 sec. user=mdettweiler [2016-03-14 21:03:21] 669*2^1423079-1 is not prime. Res64: F8743DFC3B393344 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:10] 741*2^1423079-1 is not prime. Res64: 9FD22296A5F2FEB2 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:10] 861*2^1423079-1 is not prime. Res64: 52775BCE486BF08B Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:10] 775*2^1423079-1 is not prime. Res64: 36282A437883889F Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:10] 939*2^1423079-1 is not prime. Res64: F20C97BFC9E38B66 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:11] 799*2^1423079-1 is not prime. Res64: F76C650A1A0563C2 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:11] 955*2^1423079-1 is not prime. Res64: D3440A5E7AB9DC63 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:11] 811*2^1423079-1 is not prime. Res64: 673F57298ACFE7DC Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:11] 857*2^1423080-1 is not prime. Res64: 2837C7C6928BD76B Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:11] 823*2^1423079-1 is not prime. Res64: 7A6BE719D1CDB8F0 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:09:12] 879*2^1423080-1 is not prime. Res64: 08E2E23D80F4DAC5 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:10:45] 959*2^1423080-1 is not prime. Res64: AF17CD5B205DAC44 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:10:45] 639*2^1423081-1 is not prime. Res64: C09BEE8A9CFC8120 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:10:45] 715*2^1423081-1 is not prime. Res64: FC8674EDFC5A70AD Time : 0.0 sec. user=mdettweiler [2016-03-14 21:10:46] 745*2^1423081-1 is not prime. Res64: 7F9E21E0BB4B3F5E Time : 0.0 sec. user=mdettweiler [2016-03-14 21:10:46] 951*2^1423081-1 is not prime. Res64: F948D9C5FF742786 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:18:32] 655*2^1423085-1 is not prime. Res64: CDEEEB83BA234B09 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:18:41] 669*2^1423085-1 is not prime. Res64: 859E01445A6A03D5 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:49:37] 957*2^1423081-1 is not prime. Res64: 9ADED863C907551A Time : 0.0 sec. user=mdettweiler [2016-03-14 21:49:38] 623*2^1423082-1 is not prime. Res64: 0735A769852B04BB Time : 0.0 sec. user=mdettweiler [2016-03-14 21:49:38] 801*2^1423082-1 is not prime. Res64: 2F23221DCC70F45B Time : 0.0 sec. user=mdettweiler [2016-03-14 21:49:38] 981*2^1423082-1 is not prime. Res64: 2693B7042FA6CFC3 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:49:39] 699*2^1423083-1 is not prime. Res64: E315E4CE5E0AD53E Time : 0.0 sec. user=mdettweiler [2016-03-14 21:56:49] 819*2^1423083-1 is not prime. Res64: 2116C9FFEB466AC1 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:56:50] 951*2^1423083-1 is not prime. Res64: 187F8F0674F76FCC Time : 0.0 sec. user=mdettweiler [2016-03-14 21:56:50] 719*2^1423084-1 is not prime. Res64: 8EE9CFE1EFB83B45 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:56:50] 857*2^1423084-1 is not prime. Res64: 0B2F96C2D21EC6D1 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:56:50] 897*2^1423084-1 is not prime. Res64: 6CE28D575D47ED5E Time : 0.0 sec. user=mdettweiler [2016-03-14 21:57:14] 705*2^1423083-1 is not prime. Res64: BEBF90CE66107975 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:57:14] 709*2^1423083-1 is not prime. Res64: 60707CF3939A10B0 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:57:15] 769*2^1423083-1 is not prime. Res64: 54184FF6D17D04E2 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:57:15] 789*2^1423083-1 is not prime. Res64: B5C8049F4114DB56 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:57:15] 801*2^1423083-1 is not prime. Res64: C97DDCF6F7D6401D Time : 0.0 sec. user=mdettweiler [2016-03-14 21:58:45] 675*2^1423085-1 is not prime. Res64: A476462879D24145 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:58:45] 697*2^1423085-1 is not prime. Res64: 7F701025027F633D Time : 0.0 sec. user=mdettweiler [2016-03-14 21:58:46] 717*2^1423085-1 is not prime. Res64: 92C248AA7A7DEA71 Time : 0.0 sec. user=mdettweiler [2016-03-14 21:58:46] 787*2^1423085-1 is not prime. Res64: 9E7FD0B9156D152B Time : 0.0 sec. user=mdettweiler [2016-03-14 21:58:46] 859*2^1423085-1 is not prime. Res64: 5999EE9207A7FA2F Time : 0.0 sec. user=mdettweiler [2016-03-14 22:46:43] 803*2^1423088-1 is not prime. Res64: B286AC5ADE89CA8A Time : 0.0 sec. user=mdettweiler [2016-03-14 22:47:09] 861*2^1423085-1 is not prime. Res64: 5DDA3D9ED0EA4A64 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:47:09] 615*2^1423086-1 is not prime. Res64: B1AE9781D4621044 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:47:09] 741*2^1423086-1 is not prime. Res64: BF15F862911980AE Time : 0.0 sec. user=mdettweiler [2016-03-14 22:47:10] 765*2^1423086-1 is not prime. Res64: 4D2655C18EEC282A Time : 0.0 sec. user=mdettweiler [2016-03-14 22:47:10] 843*2^1423086-1 is not prime. Res64: 1EAB58767B159E6C Time : 0.0 sec. user=mdettweiler [2016-03-14 22:52:58] 859*2^1423087-1 is not prime. Res64: 84FF2F3502B660DF Time : 0.0 sec. user=mdettweiler [2016-03-14 22:52:58] 871*2^1423087-1 is not prime. Res64: 8BE22FF35BE01A50 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:52:58] 909*2^1423087-1 is not prime. Res64: 33F7D74DB7AA4571 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:52:59] 919*2^1423087-1 is not prime. Res64: 22C444F74CD4A33A Time : 0.0 sec. user=mdettweiler [2016-03-14 22:52:59] 985*2^1423087-1 is not prime. Res64: B5273AE13600D44E Time : 0.0 sec. user=mdettweiler [2016-03-14 22:53:11] 917*2^1423086-1 is not prime. Res64: 8E0EE6202036966C Time : 0.0 sec. user=mdettweiler [2016-03-14 22:53:12] 1001*2^1423086-1 is not prime. Res64: E7C4529EF540B06E Time : 0.0 sec. user=mdettweiler [2016-03-14 22:53:12] 609*2^1423087-1 is not prime. Res64: 99AEDCF45ADF686F Time : 0.0 sec. user=mdettweiler [2016-03-14 22:53:12] 763*2^1423087-1 is not prime. Res64: 7416B13C7C5A74CC Time : 0.0 sec. user=mdettweiler [2016-03-14 22:53:13] 793*2^1423087-1 is not prime. Res64: 9875DADA85EFCC12 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:54:35] 603*2^1423088-1 is not prime. Res64: 1A85BECD50EBF4F4 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:54:35] 623*2^1423088-1 is not prime. Res64: FEDCB66D699A3709 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:54:35] 669*2^1423088-1 is not prime. Res64: 8C25695564A34441 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:54:35] 687*2^1423088-1 is not prime. Res64: 6C9E4E2C0E26AB22 Time : 0.0 sec. user=mdettweiler [2016-03-14 22:54:36] 713*2^1423088-1 is not prime. Res64: 115A5C66E2AA38C0 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:35:20] 845*2^1423088-1 is not prime. Res64: 962FBDBB537FC516 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:35:21] 657*2^1423089-1 is not prime. Res64: 3AF9C1C9BA77B3AB Time : 0.0 sec. user=mdettweiler [2016-03-14 23:35:21] 705*2^1423089-1 is not prime. Res64: 61005B85AD1A3078 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:35:22] 727*2^1423089-1 is not prime. Res64: BA97EA8584F31780 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:35:22] 751*2^1423089-1 is not prime. Res64: A2C4AB4470747DB7 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:10] 623*2^1423090-1 is not prime. Res64: DB9D479200C8BC90 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:10] 657*2^1423090-1 is not prime. Res64: 35875F2B89DC53AA Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:10] 713*2^1423090-1 is not prime. Res64: B7C93AE8DB94AE77 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:11] 735*2^1423090-1 is not prime. Res64: 2A92EBB69AB7C5F0 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:11] 873*2^1423090-1 is not prime. Res64: 258015053C3E10B8 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:16] 831*2^1423089-1 is not prime. Res64: 5D22B1C2DF3030ED Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:17] 867*2^1423089-1 is not prime. Res64: 438690F7476AB810 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:17] 909*2^1423089-1 is not prime. Res64: 5AC949FF926F2021 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:18] 985*2^1423089-1 is not prime. Res64: A338837A494A8572 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:41:18] 999*2^1423089-1 is not prime. Res64: F6AF88BE14B0F69B Time : 0.0 sec. user=mdettweiler [2016-03-14 23:42:39] 933*2^1423090-1 is not prime. Res64: CDE0A00E75003681 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:42:40] 941*2^1423090-1 is not prime. Res64: 182D987270BDDEA8 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:42:40] 975*2^1423090-1 is not prime. Res64: 359BD07ABBAE3BC0 Time : 0.0 sec. user=mdettweiler [2016-03-14 23:42:41] 629*2^1423092-1 is not prime. Res64: 4ECA83155475627D Time : 0.0 sec. user=mdettweiler [2016-03-14 23:42:41] 693*2^1423092-1 is not prime. Res64: E80F8CB50EA8310A Time : 0.0 sec.