user=mdettweiler [2015-11-15 00:09:25] 791*2^1414974-1 is not prime. Res64: F4A33E0DB9B1D48D Time : 0.0 sec. user=mdettweiler [2015-11-15 00:09:26] 807*2^1414974-1 is not prime. Res64: 1A4E5FEDA2AF440A Time : 0.0 sec. user=mdettweiler [2015-11-15 00:16:15] 983*2^1414974-1 is not prime. Res64: 0A92B0673388CC9B Time : 0.0 sec. user=mdettweiler [2015-11-15 00:16:15] 619*2^1414975-1 is not prime. Res64: 9FAFBC8885E53858 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:16:47] 675*2^1414975-1 is not prime. Res64: E9563940C3A2295E Time : 0.0 sec. user=mdettweiler [2015-11-15 00:16:47] 765*2^1414975-1 is not prime. Res64: C02C72EE0879E35D Time : 0.0 sec. user=mdettweiler [2015-11-15 00:17:40] 775*2^1414975-1 is not prime. Res64: 093A218FF47CF5B2 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:17:40] 859*2^1414975-1 is not prime. Res64: 7573EB41B111378D Time : 0.0 sec. user=mdettweiler [2015-11-15 00:27:22] 933*2^1414975-1 is not prime. Res64: A65C3A9572C51361 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:27:23] 629*2^1414976-1 is not prime. Res64: 7D5DA54EDE054F4D Time : 0.0 sec. user=mdettweiler [2015-11-15 00:34:12] 633*2^1414976-1 is not prime. Res64: 3099FC2B00C6BB52 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:34:13] 659*2^1414976-1 is not prime. Res64: B93DA4A60A31F8FB Time : 0.0 sec. user=mdettweiler [2015-11-15 00:34:50] 759*2^1414976-1 is not prime. Res64: 9FEA0E543898C33E Time : 0.0 sec. user=mdettweiler [2015-11-15 00:34:50] 803*2^1414976-1 is not prime. Res64: 02071479C0DDB791 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:35:36] 815*2^1414976-1 is not prime. Res64: EC6D73C58DC5EA5E Time : 0.0 sec. user=mdettweiler [2015-11-15 00:35:36] 897*2^1414976-1 is not prime. Res64: 8891B331138B88A0 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:45:29] 917*2^1414976-1 is not prime. Res64: 91649A69538D762E Time : 0.0 sec. user=mdettweiler [2015-11-15 00:45:29] 935*2^1414976-1 is not prime. Res64: 69C0C0B2A4DA29F0 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:52:14] 999*2^1414976-1 is not prime. Res64: A981E28782DD390C Time : 0.0 sec. user=mdettweiler [2015-11-15 00:52:14] 717*2^1414977-1 is not prime. Res64: 7084DDA9210018D4 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:52:48] 741*2^1414977-1 is not prime. Res64: 891BB9EB24EAF4C4 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:52:49] 805*2^1414977-1 is not prime. Res64: 78B525ACC5DB3270 Time : 0.0 sec. user=mdettweiler [2015-11-15 00:53:39] 865*2^1414977-1 is not prime. Res64: CB6072247C4A40DA Time : 0.0 sec. user=mdettweiler [2015-11-15 00:53:39] 985*2^1414977-1 is not prime. Res64: E5F05DA2E0DC32A9 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:03:31] 603*2^1414978-1 is not prime. Res64: B1848BCB629FB295 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:03:32] 651*2^1414978-1 is not prime. Res64: 5EA978FD2D217465 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:10:10] 695*2^1414978-1 is not prime. Res64: 8A059CFCA3B285D2 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:10:11] 843*2^1414978-1 is not prime. Res64: 252575713FE84416 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:10:45] 861*2^1414979-1 is not prime. Res64: 9C163A52D2E4C733 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:10:45] 883*2^1414979-1 is not prime. Res64: 014E500EB231C3B5 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:11:36] 903*2^1414979-1 is not prime. Res64: 1A8137D9BCE335A7 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:11:37] 939*2^1414979-1 is not prime. Res64: 6EE45710E425F9BF Time : 0.0 sec. user=mdettweiler [2015-11-15 01:21:50] 979*2^1414979-1 is not prime. Res64: AE2AFF241EAF28F4 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:21:51] 627*2^1414980-1 is not prime. Res64: B068DE44C32B164D Time : 0.0 sec. user=mdettweiler [2015-11-15 01:28:09] 669*2^1414980-1 is not prime. Res64: 4EA98D0719FBAF13 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:28:10] 957*2^1414980-1 is not prime. Res64: F1EC12F567F7FD23 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:28:43] 861*2^1414981-1 is not prime. Res64: 410E7EA91459F0AD Time : 0.0 sec. user=mdettweiler [2015-11-15 01:28:45] 877*2^1414981-1 is not prime. Res64: 180292CFACC08D1F Time : 0.0 sec. user=mdettweiler [2015-11-15 01:29:35] 997*2^1414981-1 is not prime. Res64: 66EC18521613D9DA Time : 0.0 sec. user=mdettweiler [2015-11-15 01:29:36] 617*2^1414982-1 is not prime. Res64: 97534CB499274364 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:39:48] 665*2^1414982-1 is not prime. Res64: EFA4C37D977C97CA Time : 0.0 sec. user=mdettweiler [2015-11-15 01:39:48] 743*2^1414982-1 is not prime. Res64: B663016D344FE6A8 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:46:12] 831*2^1414982-1 is not prime. Res64: 610E5BEBF98D27A6 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:46:12] 911*2^1414982-1 is not prime. Res64: 6D51B2CD36F933D4 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:46:46] 691*2^1414983-1 is not prime. Res64: 70F3C63C323668FB Time : 0.0 sec. user=mdettweiler [2015-11-15 01:46:46] 693*2^1414983-1 is not prime. Res64: CEA266194E21175C Time : 0.0 sec. user=mdettweiler [2015-11-15 01:47:39] 739*2^1414983-1 is not prime. Res64: BF6477330085A1F8 Time : 0.0 sec. user=mdettweiler [2015-11-15 01:47:39] 789*2^1414983-1 is not prime. Res64: 19B6E88ED133C43B Time : 0.0 sec. user=mdettweiler [2015-11-15 01:57:49] 933*2^1414983-1 is not prime. Res64: 5CC900EE65E8BC2D Time : 0.0 sec. user=mdettweiler [2015-11-15 01:57:49] 951*2^1414983-1 is not prime. Res64: 064E648B8F3EC21F Time : 0.0 sec. user=mdettweiler [2015-11-15 02:04:16] 963*2^1414983-1 is not prime. Res64: BE83EC246ED464D8 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:04:18] 985*2^1414983-1 is not prime. Res64: BC202CD1BB7BF39B Time : 0.0 sec. user=mdettweiler [2015-11-15 02:04:53] 605*2^1414984-1 is not prime. Res64: E16EACD5E83FEAB5 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:04:55] 705*2^1414984-1 is not prime. Res64: 8BDDB484044C9F08 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:05:54] 707*2^1414984-1 is not prime. Res64: 24405F39F8150045 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:05:55] 849*2^1414984-1 is not prime. Res64: FBB8B7C4081664D9 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:15:48] 669*2^1414985-1 is not prime. Res64: 0049C78CF61D28E1 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:15:49] 675*2^1414985-1 is not prime. Res64: 5769F35D6E854DD2 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:22:25] 699*2^1414985-1 is not prime. Res64: 7A6F7A775CBD17B3 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:22:25] 789*2^1414985-1 is not prime. Res64: 958B8643D69A8F1A Time : 0.0 sec. user=mdettweiler [2015-11-15 02:23:03] 861*2^1414985-1 is not prime. Res64: 4FBA32854D0F7D4B Time : 0.0 sec. user=mdettweiler [2015-11-15 02:23:03] 955*2^1414985-1 is not prime. Res64: 3CBB3DE3C2468F24 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:24:02] 979*2^1414985-1 is not prime. Res64: 79FAC92CA8AA2E29 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:24:03] 723*2^1414986-1 is not prime. Res64: 747A528542A63486 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:33:54] 905*2^1414986-1 is not prime. Res64: 990692F48458D2B9 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:33:55] 941*2^1414986-1 is not prime. Res64: 2314444B3BE1A512 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:40:34] 609*2^1414987-1 is not prime. Res64: 562FE0274616D8DC Time : 0.0 sec. user=mdettweiler [2015-11-15 02:40:34] 619*2^1414987-1 is not prime. Res64: F999721E56D32BEA Time : 0.0 sec. user=mdettweiler [2015-11-15 02:41:10] 651*2^1414987-1 is not prime. Res64: BD8BC4733E63F3BC Time : 0.0 sec. user=mdettweiler [2015-11-15 02:41:11] 843*2^1414987-1 is not prime. Res64: 81F2A0CE8632E018 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:42:16] 861*2^1414987-1 is not prime. Res64: AB239FFC8B4D4FDC Time : 0.0 sec. user=mdettweiler [2015-11-15 02:42:16] 919*2^1414987-1 is not prime. Res64: 5484933C8812BC19 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:51:56] 773*2^1414988-1 is not prime. Res64: 432785F67948751F Time : 0.0 sec. user=mdettweiler [2015-11-15 02:51:57] 839*2^1414988-1 is not prime. Res64: 5E71349430F9DFAF Time : 0.0 sec. user=mdettweiler [2015-11-15 02:58:32] 995*2^1414988-1 is not prime. Res64: 9D2ED7C3BDC1BD79 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:58:32] 621*2^1414989-1 is not prime. Res64: E4B49493D8D0E983 Time : 0.0 sec. user=mdettweiler [2015-11-15 02:59:09] 685*2^1414989-1 is not prime. Res64: 2BAB920F3D50E3CA Time : 0.0 sec. user=mdettweiler [2015-11-15 02:59:09] 765*2^1414989-1 is not prime. Res64: 12DCD71D9A1F8759 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:00:22] 787*2^1414989-1 is not prime. Res64: 5E7FCEBD7D8C3F02 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:00:23] 817*2^1414989-1 is not prime. Res64: 4F0E073651A1192E Time : 0.0 sec. user=mdettweiler [2015-11-15 03:09:53] 891*2^1414989-1 is not prime. Res64: C554D36AA359642D Time : 0.0 sec. user=mdettweiler [2015-11-15 03:09:53] 927*2^1414989-1 is not prime. Res64: 69EF943DFD5E90BD Time : 0.0 sec. user=mdettweiler [2015-11-15 03:17:16] 999*2^1414989-1 is not prime. Res64: 474008E4333108CC Time : 0.0 sec. user=mdettweiler [2015-11-15 03:17:16] 605*2^1414990-1 is not prime. Res64: 2A204C543017523C Time : 0.0 sec. user=mdettweiler [2015-11-15 03:18:08] 675*2^1414990-1 is not prime. Res64: F2446D84773CE8DF Time : 0.0 sec. user=mdettweiler [2015-11-15 03:18:09] 813*2^1414990-1 is not prime. Res64: 87FC69C47A717DB3 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:19:15] 945*2^1414990-1 is not prime. Res64: A9731589131F05FF Time : 0.0 sec. user=mdettweiler [2015-11-15 03:19:16] 951*2^1414990-1 is not prime. Res64: 17A2874DD3F36F32 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:28:53] 619*2^1414991-1 is not prime. Res64: 110F7BD51A534122 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:28:55] 663*2^1414991-1 is not prime. Res64: DB2FEE7BD9C92219 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:35:31] 735*2^1414991-1 is not prime. Res64: D64D723821E79194 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:35:33] 885*2^1414991-1 is not prime. Res64: 1EEE35EAE3ED836E Time : 0.0 sec. user=mdettweiler [2015-11-15 03:36:23] 909*2^1414991-1 is not prime. Res64: 05466F8B030EC3EE Time : 0.0 sec. user=mdettweiler [2015-11-15 03:36:25] 969*2^1414991-1 is not prime. Res64: 7D8AE797E21286CE Time : 0.0 sec. user=mdettweiler [2015-11-15 03:37:29] 979*2^1414991-1 is not prime. Res64: BA8BD2FEE5ECF4C6 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:37:31] 993*2^1414991-1 is not prime. Res64: AF4A9ACF31641C05 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:47:22] 627*2^1414992-1 is not prime. Res64: 1AFF852EFF8ABEB6 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:47:23] 689*2^1414992-1 is not prime. Res64: 3D09B68622C5B1C6 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:53:55] 725*2^1414992-1 is not prime. Res64: EE7C736D28AA08BB Time : 0.0 sec. user=mdettweiler [2015-11-15 03:54:02] 879*2^1414992-1 is not prime. Res64: 034AEFAAFA0CFB00 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:54:37] 615*2^1414993-1 is not prime. Res64: 095E5149FEE4C115 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:54:39] 619*2^1414993-1 is not prime. Res64: 6ECC2AAE28B7776D Time : 0.0 sec. user=mdettweiler [2015-11-15 03:55:37] 639*2^1414993-1 is not prime. Res64: 5B6A64963AAE08B3 Time : 0.0 sec. user=mdettweiler [2015-11-15 03:55:38] 765*2^1414993-1 is not prime. Res64: 324C92A31B34AEDA Time : 0.0 sec. user=mdettweiler [2015-11-15 04:05:54] 771*2^1414993-1 is not prime. Res64: 4F691E7FB5A478A4 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:05:56] 861*2^1414993-1 is not prime. Res64: 679E97ADF8D824EA Time : 0.0 sec. user=mdettweiler [2015-11-15 04:14:17] 867*2^1414993-1 is not prime. Res64: 27A94B519168AED0 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:14:18] 919*2^1414993-1 is not prime. Res64: 28AF4F89FDAF50F2 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:14:45] 985*2^1414993-1 is not prime. Res64: AB767AB203DEF61B Time : 0.0 sec. user=mdettweiler [2015-11-15 04:14:47] 683*2^1414994-1 is not prime. Res64: 410A270CE80580EC Time : 0.0 sec. user=mdettweiler [2015-11-15 04:25:46] 825*2^1414994-1 is not prime. Res64: 81DBC7D6F3F52F1A Time : 0.0 sec. user=mdettweiler [2015-11-15 04:25:46] 971*2^1414994-1 is not prime. Res64: 98E30C0B8FE80897 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:33:11] 1001*2^1414994-1 is not prime. Res64: F76E93832EEC2EC8 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:33:12] 639*2^1414995-1 is not prime. Res64: EC01D79B6E65ED4F Time : 0.0 sec. user=mdettweiler [2015-11-15 04:34:11] 651*2^1414995-1 is not prime. Res64: 64328055D6FB145A Time : 0.0 sec. user=mdettweiler [2015-11-15 04:34:12] 723*2^1414995-1 is not prime. Res64: 56CA978AE80D89D4 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:44:47] 751*2^1414995-1 is not prime. Res64: ED145695E653FA2F Time : 0.0 sec. user=mdettweiler [2015-11-15 04:44:48] 783*2^1414995-1 is not prime. Res64: 524F9F1F8D5E5ABB Time : 0.0 sec. user=mdettweiler [2015-11-15 04:51:59] 871*2^1414995-1 is not prime. Res64: 931ABC26EC584646 Time : 0.0 sec. user=mdettweiler [2015-11-15 04:52:00] 903*2^1414995-1 is not prime. Res64: 4340D7AD20B7C61A Time : 0.0 sec. user=mdettweiler [2015-11-15 04:53:08] 909*2^1414995-1 is not prime. Res64: BAC0AAAEEBAAB34D Time : 0.0 sec. user=mdettweiler [2015-11-15 04:53:09] 955*2^1414995-1 is not prime. Res64: 368CC9ED5C160020 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:03:41] 961*2^1414995-1 is not prime. Res64: B08FF39F672E6121 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:03:43] 603*2^1414996-1 is not prime. Res64: EDF995ABC09E4738 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:10:13] 609*2^1414996-1 is not prime. Res64: 1A9A76F7746365D2 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:10:14] 743*2^1414996-1 is not prime. Res64: 2D4E9211C20075F6 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:11:25] 777*2^1414996-1 is not prime. Res64: 90B73CDC0063A5B1 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:11:26] 691*2^1414997-1 is not prime. Res64: 7CFBCF00A5F1D60A Time : 0.0 sec. user=mdettweiler [2015-11-15 05:15:59] 699*2^1414997-1 is not prime. Res64: 376679B31F52404F Time : 0.0 sec. user=mdettweiler [2015-11-15 05:16:00] 741*2^1414997-1 is not prime. Res64: E854015B9EC90E5D Time : 0.0 sec. user=mdettweiler [2015-11-15 05:22:04] 777*2^1414997-1 is not prime. Res64: 4725C853BF98CA93 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:22:05] 901*2^1414997-1 is not prime. Res64: 0A4FE19DBD50FF47 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:28:22] 707*2^1414998-1 is not prime. Res64: 3D3B0FEDF4DC9BDE Time : 0.0 sec. user=mdettweiler [2015-11-15 05:28:22] 801*2^1414998-1 is not prime. Res64: CFFBB949AFC6F985 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:29:33] 915*2^1414998-1 is not prime. Res64: DDAED93F0EC59CAB Time : 0.0 sec. user=mdettweiler [2015-11-15 05:29:33] 649*2^1414999-1 is not prime. Res64: 40DC5CF8B36C944D Time : 0.0 sec. user=mdettweiler [2015-11-15 05:34:05] 681*2^1414999-1 is not prime. Res64: BFF2E94B1D9B6840 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:34:06] 705*2^1414999-1 is not prime. Res64: 868E83CF1EF98263 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:40:10] 793*2^1414999-1 is not prime. Res64: 1FD2B37402328740 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:40:11] 859*2^1414999-1 is not prime. Res64: 05E4D82A36687836 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:46:31] 973*2^1414999-1 is not prime. Res64: B30698E98F98C56E Time : 0.0 sec. user=mdettweiler [2015-11-15 05:46:32] 603*2^1415000-1 is not prime. Res64: 0D4B033F9571E6FB Time : 0.0 sec. user=mdettweiler [2015-11-15 05:47:35] 659*2^1415000-1 is not prime. Res64: 095BDBB22AFBDFB6 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:47:36] 665*2^1415000-1 is not prime. Res64: 45B6F207E81D0046 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:52:09] 713*2^1415000-1 is not prime. Res64: 308E30B535224F13 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:52:10] 855*2^1415000-1 is not prime. Res64: E85D0F3BC3A3AD17 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:58:03] 649*2^1415001-1 is not prime. Res64: 15E4C4D2971A6732 Time : 0.0 sec. user=mdettweiler [2015-11-15 05:58:04] 651*2^1415001-1 is not prime. Res64: C11DCA0AD37AF72A Time : 0.0 sec. user=mdettweiler [2015-11-15 06:04:34] 705*2^1415001-1 is not prime. Res64: E2A5FDA12B6CEF7C Time : 0.0 sec. user=mdettweiler [2015-11-15 06:04:36] 849*2^1415001-1 is not prime. Res64: F25409CD195CCF03 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:05:36] 877*2^1415001-1 is not prime. Res64: 8728236A7E7CD815 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:05:38] 889*2^1415001-1 is not prime. Res64: 2DF69E9F7E36777D Time : 0.0 sec. user=mdettweiler [2015-11-15 06:10:18] 979*2^1415001-1 is not prime. Res64: BCA902B2C99D54F1 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:10:19] 645*2^1415002-1 is not prime. Res64: B408E95AE56A5E28 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:16:11] 723*2^1415002-1 is not prime. Res64: 2157D2548C04F992 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:16:12] 777*2^1415002-1 is not prime. Res64: 682AA5909AD28BF5 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:22:42] 813*2^1415002-1 is not prime. Res64: 3BF8197EFDC5B20F Time : 0.0 sec. user=mdettweiler [2015-11-15 06:22:43] 917*2^1415002-1 is not prime. Res64: 9C1AE254EC58F8BC Time : 0.0 sec. user=mdettweiler [2015-11-15 06:23:44] 603*2^1415003-1 is not prime. Res64: DDB48E0B6A907597 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:23:44] 615*2^1415003-1 is not prime. Res64: D3810D655009426A Time : 0.0 sec. user=mdettweiler [2015-11-15 06:28:29] 621*2^1415003-1 is not prime. Res64: 6BBA76E409FA15F4 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:28:30] 633*2^1415003-1 is not prime. Res64: 18E958C2708F2416 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:34:17] 669*2^1415003-1 is not prime. Res64: F3840D8240AA4BE7 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:34:18] 871*2^1415003-1 is not prime. Res64: D6542307A84FC8E3 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:40:48] 963*2^1415003-1 is not prime. Res64: 9A39711239AC8B5A Time : 0.0 sec. user=mdettweiler [2015-11-15 06:40:49] 981*2^1415003-1 is not prime. Res64: E4B699F5D1BF1FF6 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:42:00] 723*2^1415004-1 is not prime. Res64: 68CF8030E1B79B28 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:42:00] 783*2^1415004-1 is not prime. Res64: 29AAB28C78E13FB8 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:46:44] 795*2^1415004-1 is not prime. Res64: 0814D14ADEB18251 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:46:44] 947*2^1415004-1 is not prime. Res64: 27D84412E2CFF4C2 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:52:21] 965*2^1415004-1 is not prime. Res64: 8F60D4272F58484E Time : 0.0 sec. user=mdettweiler [2015-11-15 06:52:22] 607*2^1415005-1 is not prime. Res64: B5C2F528BE59A93A Time : 0.0 sec. user=mdettweiler [2015-11-15 06:59:02] 957*2^1415005-1 is not prime. Res64: 467B6825B0D1B460 Time : 0.0 sec. user=mdettweiler [2015-11-15 06:59:03] 641*2^1415006-1 is not prime. Res64: F41CD5F01A5DB9E5 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:00:04] 645*2^1415006-1 is not prime. Res64: D248DB7020C41220 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:00:05] 693*2^1415006-1 is not prime. Res64: B03AB126B07D8D35 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:04:36] 917*2^1415006-1 is not prime. Res64: F8B734B80BE89785 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:04:37] 625*2^1415007-1 is not prime. Res64: 2F920392457D79B7 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:10:19] 711*2^1415007-1 is not prime. Res64: 81D4952FB8E59885 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:10:20] 739*2^1415007-1 is not prime. Res64: D04DCE30846601E4 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:17:06] 831*2^1415007-1 is not prime. Res64: 7F5FEF3D041CAE98 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:17:07] 819*2^1415008-1 is not prime. Res64: 80E48B60FB5443D0 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:18:18] 995*2^1415008-1 is not prime. Res64: B8D419AB517B07C8 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:18:19] 697*2^1415009-1 is not prime. Res64: AA28FB35B09D649D Time : 0.0 sec. user=mdettweiler [2015-11-15 07:22:40] 775*2^1415009-1 is not prime. Res64: 4C634CC9B02131AA Time : 0.0 sec. user=mdettweiler [2015-11-15 07:22:41] 801*2^1415009-1 is not prime. Res64: 526C799F5B9D8019 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:28:20] 861*2^1415009-1 is not prime. Res64: 5CDC5922E0AB6153 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:28:21] 955*2^1415009-1 is not prime. Res64: 137040916C55E65B Time : 0.0 sec. user=mdettweiler [2015-11-15 07:35:14] 969*2^1415009-1 is not prime. Res64: 5FF1E64663F4FD1D Time : 0.0 sec. user=mdettweiler [2015-11-15 07:35:15] 665*2^1415010-1 is not prime. Res64: A85AB520E3D2FEA1 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:36:29] 681*2^1415010-1 is not prime. Res64: 68FCD5250EA83D12 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:36:30] 713*2^1415010-1 is not prime. Res64: B98EF62776EE45E6 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:40:43] 717*2^1415010-1 is not prime. Res64: BBD90E636A85AC87 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:40:44] 735*2^1415010-1 is not prime. Res64: F9DFD24F8DA59F5D Time : 0.0 sec. user=mdettweiler [2015-11-15 07:46:14] 803*2^1415010-1 is not prime. Res64: 558FD39A6DEC93F4 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:46:15] 885*2^1415010-1 is not prime. Res64: 1DF62C84DF75D491 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:53:17] 971*2^1415010-1 is not prime. Res64: 9B18F99471721E00 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:53:17] 673*2^1415011-1 is not prime. Res64: 4F7FE19204D0F1E5 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:54:30] 741*2^1415011-1 is not prime. Res64: 91467049AE67B3C2 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:54:31] 745*2^1415011-1 is not prime. Res64: A7B4DD1853397635 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:58:46] 901*2^1415011-1 is not prime. Res64: A976A44C368114B1 Time : 0.0 sec. user=mdettweiler [2015-11-15 07:58:47] 699*2^1415012-1 is not prime. Res64: 1DD074685AC7D4C1 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:04:25] 843*2^1415012-1 is not prime. Res64: 342CD785F8AB7651 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:04:28] 875*2^1415012-1 is not prime. Res64: 786CD859DA772404 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:11:34] 959*2^1415012-1 is not prime. Res64: 29D74B3202704E14 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:11:35] 621*2^1415013-1 is not prime. Res64: 850EF921CAD3156E Time : 0.0 sec. user=mdettweiler [2015-11-15 08:12:34] 765*2^1415013-1 is not prime. Res64: 84D48E7CCE976AEB Time : 0.0 sec. user=mdettweiler [2015-11-15 08:12:35] 781*2^1415013-1 is not prime. Res64: 34CB12EE72C78C80 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:16:51] 951*2^1415013-1 is not prime. Res64: 64BA89B7AF854E85 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:16:52] 979*2^1415013-1 is not prime. Res64: D510954EC2B8BD58 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:22:53] 623*2^1415014-1 is not prime. Res64: 5F538D810FA69F5E Time : 0.0 sec. user=mdettweiler [2015-11-15 08:22:54] 657*2^1415014-1 is not prime. Res64: 7703BFD0A784D4C2 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:29:56] 723*2^1415014-1 is not prime. Res64: 01BB02AF7B78DEA1 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:29:57] 731*2^1415014-1 is not prime. Res64: 84962044C4E5487E Time : 0.0 sec. user=mdettweiler [2015-11-15 08:30:45] 741*2^1415014-1 is not prime. Res64: 7E546B382964A831 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:30:46] 747*2^1415014-1 is not prime. Res64: 33673D1A1EA0661F Time : 0.0 sec. user=mdettweiler [2015-11-15 08:34:55] 881*2^1415014-1 is not prime. Res64: 4FB03C4BF7A47937 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:34:56] 945*2^1415014-1 is not prime. Res64: 4FFF4BD042F5898C Time : 0.0 sec. user=mdettweiler [2015-11-15 08:40:50] 603*2^1415015-1 is not prime. Res64: CBA9FBA700633BF3 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:40:52] 673*2^1415015-1 is not prime. Res64: FF9413E21642DEEA Time : 0.0 sec. user=mdettweiler [2015-11-15 08:47:57] 715*2^1415015-1 is not prime. Res64: 052F0B3508B035B2 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:47:58] 823*2^1415015-1 is not prime. Res64: 4287F3F955866CF7 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:48:50] 825*2^1415015-1 is not prime. Res64: 3F8615AC83B3164F Time : 0.0 sec. user=mdettweiler [2015-11-15 08:48:51] 841*2^1415015-1 is not prime. Res64: C951EC74A1EC08C3 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:52:52] 885*2^1415015-1 is not prime. Res64: 3B0954C4A53C2899 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:52:53] 991*2^1415015-1 is not prime. Res64: 40B4709CF2A11E43 Time : 0.0 sec. user=mdettweiler [2015-11-15 08:58:55] 999*2^1415015-1 is not prime. Res64: 9DE77C852E35A41F Time : 0.0 sec. user=mdettweiler [2015-11-15 08:58:56] 639*2^1415016-1 is not prime. Res64: 1516C6F623FC20C7 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:06:07] 653*2^1415016-1 is not prime. Res64: 39EAA5A7848FFF45 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:06:08] 695*2^1415016-1 is not prime. Res64: 56DD16E4E58FD731 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:06:49] 707*2^1415016-1 is not prime. Res64: F26827901D3BD09B Time : 0.0 sec. user=mdettweiler [2015-11-15 09:06:50] 735*2^1415016-1 is not prime. Res64: 3A984E93D836A08A Time : 0.0 sec. user=mdettweiler [2015-11-15 09:10:55] 909*2^1415016-1 is not prime. Res64: 95A370BD3BA51F82 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:10:55] 975*2^1415016-1 is not prime. Res64: AA3A86FC5FF99D8B Time : 0.0 sec. user=mdettweiler [2015-11-15 09:16:59] 609*2^1415017-1 is not prime. Res64: 880FF18E9DC4F6EA Time : 0.0 sec. user=mdettweiler [2015-11-15 09:17:00] 691*2^1415017-1 is not prime. Res64: 6FB8170EC64572CD Time : 0.0 sec. user=mdettweiler [2015-11-15 09:24:10] 717*2^1415017-1 is not prime. Res64: CD3FF0B4F3CE1660 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:24:11] 729*2^1415017-1 is not prime. Res64: DAB96905F9413758 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:24:50] 771*2^1415017-1 is not prime. Res64: F8EC32C7BBE77DB8 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:24:51] 801*2^1415017-1 is not prime. Res64: 00B72CA5197D75A6 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:28:55] 885*2^1415017-1 is not prime. Res64: AAAA6090C9F95421 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:28:56] 931*2^1415017-1 is not prime. Res64: 26CDBA1952E98260 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:34:50] 711*2^1415018-1 is not prime. Res64: 48B0227F5361F904 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:34:51] 735*2^1415018-1 is not prime. Res64: 41AE81DEA0DCA4AE Time : 0.0 sec. user=mdettweiler [2015-11-15 09:42:19] 867*2^1415018-1 is not prime. Res64: 47B48C1E01B8B454 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:42:20] 887*2^1415018-1 is not prime. Res64: 8A9B2129B233D3C9 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:42:51] 893*2^1415018-1 is not prime. Res64: 451D0890E98907E1 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:42:51] 911*2^1415018-1 is not prime. Res64: 7CDE10B7E39C0AFD Time : 0.0 sec. user=mdettweiler [2015-11-15 09:47:23] 669*2^1415019-1 is not prime. Res64: 0F5C3523F478B597 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:47:24] 675*2^1415019-1 is not prime. Res64: 63857D3B970C97AA Time : 0.0 sec. user=mdettweiler [2015-11-15 09:53:12] 745*2^1415019-1 is not prime. Res64: B670F3F76B6EB170 Time : 0.0 sec. user=mdettweiler [2015-11-15 09:53:12] 793*2^1415019-1 is not prime. Res64: 5017F124D1B9263F Time : 0.0 sec. user=mdettweiler [2015-11-15 10:00:36] 853*2^1415019-1 is not prime. Res64: 817990E444A91B8F Time : 0.0 sec. user=mdettweiler [2015-11-15 10:00:37] 879*2^1415019-1 is not prime. Res64: 88F989F2EF522933 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:00:56] 999*2^1415019-1 is not prime. Res64: F92327894D7EF9D6 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:00:57] 927*2^1415020-1 is not prime. Res64: 6D4A2F01174541EA Time : 0.0 sec. user=mdettweiler [2015-11-15 10:05:18] 691*2^1415021-1 is not prime. Res64: 49C0292083CE4D9C Time : 0.0 sec. user=mdettweiler [2015-11-15 10:05:19] 715*2^1415021-1 is not prime. Res64: 1D2D15712B66525B Time : 0.0 sec. user=mdettweiler [2015-11-15 10:11:07] 745*2^1415021-1 is not prime. Res64: 2155E1485FA48A9B Time : 0.0 sec. user=mdettweiler [2015-11-15 10:11:09] 747*2^1415021-1 is not prime. Res64: 3A490BF9AE799DCF Time : 0.0 sec. user=mdettweiler [2015-11-15 10:18:26] 805*2^1415021-1 is not prime. Res64: CFB4612385F5F9A4 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:18:26] 885*2^1415021-1 is not prime. Res64: 8DFD36402B8BB978 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:18:49] 927*2^1415021-1 is not prime. Res64: E7F70B3FDBF97843 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:18:49] 937*2^1415021-1 is not prime. Res64: A15822806A18394E Time : 0.0 sec. user=mdettweiler [2015-11-15 10:23:08] 653*2^1415022-1 is not prime. Res64: 121C7AA0F3F22EE0 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:23:09] 683*2^1415022-1 is not prime. Res64: D168A84EE7ECEEB7 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:29:09] 713*2^1415022-1 is not prime. Res64: CC4689E0059957A0 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:29:09] 717*2^1415022-1 is not prime. Res64: A79013711A90BF32 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:36:12] 725*2^1415022-1 is not prime. Res64: 95C8CD9CFBF97E5D Time : 0.0 sec. user=mdettweiler [2015-11-15 10:36:12] 747*2^1415022-1 is not prime. Res64: 51C46A13CED151D6 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:36:41] 767*2^1415022-1 is not prime. Res64: 39E62DCA3CE4CD15 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:36:41] 891*2^1415022-1 is not prime. Res64: 6DEFC6626955DCA2 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:40:56] 983*2^1415022-1 is not prime. Res64: 8E372BE2D0774FC3 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:40:56] 603*2^1415023-1 is not prime. Res64: B56AA11EABD44863 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:47:10] 735*2^1415023-1 is not prime. Res64: 3AE90C1E2CD1AFD9 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:47:10] 751*2^1415023-1 is not prime. Res64: B67A38101EEA48C7 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:54:19] 789*2^1415023-1 is not prime. Res64: 4ED6D13C8CFF3466 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:54:19] 853*2^1415023-1 is not prime. Res64: 26065DBEF92F9AA6 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:54:39] 665*2^1415024-1 is not prime. Res64: E83CB384EB2665C1 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:54:39] 689*2^1415024-1 is not prime. Res64: D5BD374FC7AF9401 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:59:22] 717*2^1415024-1 is not prime. Res64: 93B6E3493F3FB158 Time : 0.0 sec. user=mdettweiler [2015-11-15 10:59:23] 813*2^1415024-1 is not prime. Res64: 950076A50CE6B6F5 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:05:21] 827*2^1415024-1 is not prime. Res64: 31C2B33B2EA5C615 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:05:22] 855*2^1415024-1 is not prime. Res64: 3B625D899429615D Time : 0.0 sec. user=mdettweiler [2015-11-15 11:12:13] 945*2^1415024-1 is not prime. Res64: 981EC4797A32EDAB Time : 0.0 sec. user=mdettweiler [2015-11-15 11:12:13] 691*2^1415025-1 is not prime. Res64: C49D09735C2A29D4 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:12:37] 717*2^1415025-1 is not prime. Res64: 5D1770AED60FAE38 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:12:37] 751*2^1415025-1 is not prime. Res64: 0BA00406C6E85A5C Time : 0.0 sec. user=mdettweiler [2015-11-15 11:17:22] 795*2^1415025-1 is not prime. Res64: 6D6E95BF21C8BB3E Time : 0.0 sec. user=mdettweiler [2015-11-15 11:17:23] 837*2^1415025-1 is not prime. Res64: E07F00AC112C19C3 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:23:22] 885*2^1415025-1 is not prime. Res64: 1A5F7815E7EE44F6 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:23:23] 895*2^1415025-1 is not prime. Res64: 3AEC1A1F2FC54476 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:30:14] 991*2^1415025-1 is not prime. Res64: 322CB5BC1B60EA98 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:30:15] 997*2^1415025-1 is not prime. Res64: F787B2DFFB8D81EC Time : 0.0 sec. user=mdettweiler [2015-11-15 11:30:26] 645*2^1415026-1 is not prime. Res64: 9D55E1B42EF81065 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:30:27] 657*2^1415026-1 is not prime. Res64: 99A82096CB6F78BB Time : 0.0 sec. user=mdettweiler [2015-11-15 11:35:16] 747*2^1415026-1 is not prime. Res64: 6DA1B5D718B3421C Time : 0.0 sec. user=mdettweiler [2015-11-15 11:35:16] 815*2^1415026-1 is not prime. Res64: 856E744D503CDA3B Time : 0.0 sec. user=mdettweiler [2015-11-15 11:41:18] 971*2^1415026-1 is not prime. Res64: 6ECCC6A0C436CA78 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:41:18] 601*2^1415027-1 is not prime. Res64: 44FF41F99C754081 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:48:09] 651*2^1415027-1 is not prime. Res64: 64B60D0A3245713C Time : 0.0 sec. user=mdettweiler [2015-11-15 11:48:09] 663*2^1415027-1 is not prime. Res64: C94F56F073B79FB0 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:48:17] 673*2^1415027-1 is not prime. Res64: 3421A1A70EB9B48E Time : 0.0 sec. user=mdettweiler [2015-11-15 11:48:17] 735*2^1415027-1 is not prime. Res64: 756170D2B0F45A9A Time : 0.0 sec. user=mdettweiler [2015-11-15 11:53:05] 819*2^1415027-1 is not prime. Res64: 3CD5474A5E7B2017 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:53:06] 823*2^1415027-1 is not prime. Res64: DEAC4BC9AECD75B3 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:59:07] 861*2^1415027-1 is not prime. Res64: 014CFE615C15BD92 Time : 0.0 sec. user=mdettweiler [2015-11-15 11:59:07] 895*2^1415027-1 is not prime. Res64: DEE04B925F02F0E6 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:06:04] 695*2^1415028-1 is not prime. Res64: D39D0DD5D0439ACC Time : 0.0 sec. user=mdettweiler [2015-11-15 12:06:04] 773*2^1415028-1 is not prime. Res64: 7030C34022650835 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:06:08] 949*2^1415027-1 is not prime. Res64: A7BC515CD5F4AEBB Time : 0.0 sec. user=mdettweiler [2015-11-15 12:06:09] 647*2^1415028-1 is not prime. Res64: 85080ACAB44A86D1 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:10:56] 915*2^1415028-1 is not prime. Res64: B9C7606AE0053666 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:10:57] 993*2^1415028-1 is not prime. Res64: 3E05B969B330361C Time : 0.0 sec. user=mdettweiler [2015-11-15 12:16:59] 625*2^1415029-1 is not prime. Res64: 9B9ADB53D0B1B35A Time : 0.0 sec. user=mdettweiler [2015-11-15 12:16:59] 661*2^1415029-1 is not prime. Res64: D1B75A75EC21EEEE Time : 0.0 sec. user=mdettweiler [2015-11-15 12:24:01] 685*2^1415029-1 is not prime. Res64: E71E5230CFAF7B20 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:24:01] 789*2^1415029-1 is not prime. Res64: 1F643A95515F1E5F Time : 0.0 sec. user=mdettweiler [2015-11-15 12:24:02] 861*2^1415029-1 is not prime. Res64: 65C7DE99F1EAAA66 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:24:02] 885*2^1415029-1 is not prime. Res64: D4C1F69A172B3667 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:28:54] 951*2^1415029-1 is not prime. Res64: D406A9D98D4A5D1C Time : 0.0 sec. user=mdettweiler [2015-11-15 12:28:54] 999*2^1415029-1 is not prime. Res64: 27A57FA76C79D48E Time : 0.0 sec. user=mdettweiler [2015-11-15 12:34:51] 785*2^1415030-1 is not prime. Res64: 9DC24658B80359A6 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:34:51] 825*2^1415030-1 is not prime. Res64: F34E6B04B52FB142 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:41:51] 845*2^1415030-1 is not prime. Res64: 9B01B05CEF506D40 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:41:52] 851*2^1415030-1 is not prime. Res64: 3AA4EE184CBA6F3F Time : 0.0 sec. user=mdettweiler [2015-11-15 12:41:55] 649*2^1415031-1 is not prime. Res64: 7CC52306A2DA5C3B Time : 0.0 sec. user=mdettweiler [2015-11-15 12:41:55] 669*2^1415031-1 is not prime. Res64: B3B1A51AB6490BE1 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:46:41] 675*2^1415031-1 is not prime. Res64: 7D2457B10A7FB5EB Time : 0.0 sec. user=mdettweiler [2015-11-15 12:46:41] 691*2^1415031-1 is not prime. Res64: A7619C888B75E6B4 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:52:45] 703*2^1415031-1 is not prime. Res64: E5A7CE4C4728492D Time : 0.0 sec. user=mdettweiler [2015-11-15 12:52:45] 723*2^1415031-1 is not prime. Res64: 7DAD0E81AEF6B1BF Time : 0.0 sec. user=mdettweiler [2015-11-15 12:59:39] 751*2^1415031-1 is not prime. Res64: 88EA15C08E461FAF Time : 0.0 sec. user=mdettweiler [2015-11-15 12:59:40] 859*2^1415031-1 is not prime. Res64: 788E2C71FCC77749 Time : 0.0 sec. user=mdettweiler [2015-11-15 12:59:50] 913*2^1415031-1 is not prime. Res64: E62555B4E3574C5A Time : 0.0 sec. user=mdettweiler [2015-11-15 12:59:50] 717*2^1415032-1 is not prime. Res64: 909151C899784E51 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:04:34] 813*2^1415032-1 is not prime. Res64: 1891D14FBAF8D88C Time : 0.0 sec. user=mdettweiler [2015-11-15 13:04:37] 819*2^1415032-1 is not prime. Res64: 6DD6B5210AE36388 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:10:33] 827*2^1415032-1 is not prime. Res64: DD6708BE57FC5D8B Time : 0.0 sec. user=mdettweiler [2015-11-15 13:10:34] 903*2^1415032-1 is not prime. Res64: 736FDE8D41E3A660 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:17:41] 983*2^1415032-1 is not prime. Res64: BB0FBCB3A78CBD8F Time : 0.0 sec. user=mdettweiler [2015-11-15 13:17:42] 631*2^1415033-1 is not prime. Res64: 27D8C6A1F790EAFD Time : 0.0 sec. user=mdettweiler [2015-11-15 13:17:45] 715*2^1415033-1 is not prime. Res64: C0D70F9B5564FDBC Time : 0.0 sec. user=mdettweiler [2015-11-15 13:17:45] 745*2^1415033-1 is not prime. Res64: 00BC118079EE7216 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:22:42] 901*2^1415033-1 is not prime. Res64: D0A351A28783D536 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:22:42] 981*2^1415033-1 is not prime. Res64: C570D4E4B1736273 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:28:37] 707*2^1415034-1 is not prime. Res64: A5D550F4BBCE6B7D Time : 0.0 sec. user=mdettweiler [2015-11-15 13:28:37] 773*2^1415034-1 is not prime. Res64: 4EFF0ACD337D52D6 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:35:36] 849*2^1415035-1 is not prime. Res64: 157AC17AEF91BC14 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:35:37] 853*2^1415035-1 is not prime. Res64: 08E0584937C4C0A1 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:35:46] 861*2^1415034-1 is not prime. Res64: E19FDCA41E7889A6 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:35:46] 639*2^1415035-1 is not prime. Res64: 1BFC736D695DA084 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:40:36] 861*2^1415035-1 is not prime. Res64: 336E841AE8892A0A Time : 0.0 sec. user=mdettweiler [2015-11-15 13:40:36] 839*2^1415036-1 is not prime. Res64: 8CFBA6441A69F657 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:46:37] 855*2^1415036-1 is not prime. Res64: 99AA6848546E187A Time : 0.0 sec. user=mdettweiler [2015-11-15 13:46:38] 893*2^1415036-1 is not prime. Res64: BB775ABBC9EC7D49 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:53:26] 927*2^1415036-1 is not prime. Res64: E22654F5295828AA Time : 0.0 sec. user=mdettweiler [2015-11-15 13:53:27] 661*2^1415037-1 is not prime. Res64: E534A53B95C7D54D Time : 0.0 sec. user=mdettweiler [2015-11-15 13:53:38] 747*2^1415037-1 is not prime. Res64: 6A233F9E13B6B79E Time : 0.0 sec. user=mdettweiler [2015-11-15 13:53:39] 751*2^1415037-1 is not prime. Res64: 568A0DFF6B73D239 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:58:25] 805*2^1415037-1 is not prime. Res64: 71038F4BD2DBB771 Time : 0.0 sec. user=mdettweiler [2015-11-15 13:58:25] 657*2^1415038-1 is not prime. Res64: 236DD72575081ED4 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:04:26] 791*2^1415038-1 is not prime. Res64: 4F2FDAC9E4C78CF7 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:04:28] 995*2^1415038-1 is not prime. Res64: 84392BC84791B25B Time : 0.0 sec. user=mdettweiler [2015-11-15 14:11:22] 745*2^1415039-1 is not prime. Res64: F8916EF2944CC749 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:11:23] 799*2^1415039-1 is not prime. Res64: D0EFB66188F0136C Time : 0.0 sec. user=mdettweiler [2015-11-15 14:11:30] 985*2^1415039-1 is not prime. Res64: 03FDCA8D5FF1AC38 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:11:31] 633*2^1415040-1 is not prime. Res64: BE1CDAB9E5F87F52 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:16:16] 719*2^1415040-1 is not prime. Res64: 18A2A87426BEFDF0 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:16:16] 779*2^1415040-1 is not prime. Res64: FA7C28EAA3418CE7 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:22:33] 839*2^1415040-1 is not prime. Res64: A38A39812A69182A Time : 0.0 sec. user=mdettweiler [2015-11-15 14:22:34] 849*2^1415040-1 is not prime. Res64: AA61F0273F705AA9 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:29:24] 873*2^1415040-1 is not prime. Res64: 517F7C4996862724 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:29:24] 741*2^1415041-1 is not prime. Res64: 05984CEA441ECFAE Time : 0.0 sec. user=mdettweiler [2015-11-15 14:29:34] 769*2^1415041-1 is not prime. Res64: 0AF05C08F8489CE5 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:29:34] 835*2^1415041-1 is not prime. Res64: 9E1B5CCE7D45656F Time : 0.0 sec. user=mdettweiler [2015-11-15 14:34:10] 951*2^1415041-1 is not prime. Res64: 6533BBE11E50023D Time : 0.0 sec. user=mdettweiler [2015-11-15 14:34:10] 615*2^1415042-1 is not prime. Res64: 3C5386B9BEA4A3D0 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:40:23] 633*2^1415042-1 is not prime. Res64: 1F371A58425EB127 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:40:23] 665*2^1415042-1 is not prime. Res64: B5B245F8AB592B46 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:47:19] 671*2^1415042-1 is not prime. Res64: 6CB0C644E0BE44FD Time : 0.0 sec. user=mdettweiler [2015-11-15 14:47:20] 677*2^1415042-1 is not prime. Res64: 995A5191CEED3FAD Time : 0.0 sec. user=mdettweiler [2015-11-15 14:47:24] 755*2^1415042-1 is not prime. Res64: A356ED580862CE58 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:47:25] 613*2^1415043-1 is not prime. Res64: 9706863002FC7CEF Time : 0.0 sec. user=mdettweiler [2015-11-15 14:52:02] 615*2^1415043-1 is not prime. Res64: 97A6B5986C60DEC0 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:52:02] 723*2^1415043-1 is not prime. Res64: AD275CF0200605F9 Time : 0.0 sec. user=mdettweiler [2015-11-15 14:58:16] 775*2^1415043-1 is not prime. Res64: CA94B139AA3ACADC Time : 0.0 sec. user=mdettweiler [2015-11-15 14:58:17] 823*2^1415043-1 is not prime. Res64: E5B21297C3E7C43E Time : 0.0 sec. user=mdettweiler [2015-11-15 15:05:25] 853*2^1415043-1 is not prime. Res64: 410E291B66C6D52F Time : 0.0 sec. user=mdettweiler [2015-11-15 15:05:30] 885*2^1415043-1 is not prime. Res64: 92C4ECCA5D12E99A Time : 0.0 sec. user=mdettweiler [2015-11-15 15:05:33] 895*2^1415043-1 is not prime. Res64: E6DF1913CF483728 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:10:21] 921*2^1415043-1 is not prime. Res64: 63492122B08D30C1 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:10:23] 609*2^1415044-1 is not prime. Res64: E30C6D8231BB21D1 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:16:35] 639*2^1415044-1 is not prime. Res64: 50D1930CC88BF94E Time : 0.0 sec. user=mdettweiler [2015-11-15 15:16:35] 705*2^1415044-1 is not prime. Res64: C31D59784C3CD5FF Time : 0.0 sec. user=mdettweiler [2015-11-15 15:25:07] 813*2^1415044-1 is not prime. Res64: 6DBB9EDE44966834 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:25:08] 869*2^1415044-1 is not prime. Res64: 02C327C26854E584 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:29:40] 899*2^1415044-1 is not prime. Res64: 8C5677D0BCFA6E39 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:29:40] 655*2^1415045-1 is not prime. Res64: 8091949933677867 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:35:59] 729*2^1415045-1 is not prime. Res64: F7B0B8E5A6C0C967 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:35:59] 811*2^1415045-1 is not prime. Res64: FC24C2F8C51EF8FD Time : 0.0 sec. user=mdettweiler [2015-11-15 15:44:10] 861*2^1415045-1 is not prime. Res64: 1E7CF5620B45C522 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:44:10] 889*2^1415045-1 is not prime. Res64: 33B7E6104329BDE1 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:48:28] 897*2^1415045-1 is not prime. Res64: E1D70219EED58BEF Time : 0.0 sec. user=mdettweiler [2015-11-15 15:48:29] 987*2^1415045-1 is not prime. Res64: 5FB0B993D9546476 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:55:08] 627*2^1415046-1 is not prime. Res64: 9B3D4AC919114C84 Time : 0.0 sec. user=mdettweiler [2015-11-15 15:55:09] 711*2^1415046-1 is not prime. Res64: 71C77648C28D1DC2 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:02:51] 723*2^1415046-1 is not prime. Res64: 62619427B5B9F0F9 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:02:52] 765*2^1415046-1 is not prime. Res64: 4BE3833E8642C55C Time : 0.0 sec. user=mdettweiler [2015-11-15 16:07:47] 783*2^1415046-1 is not prime. Res64: 1BB4BAE8BD144DA4 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:07:48] 807*2^1415046-1 is not prime. Res64: 58D1AE7849A66252 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:15:09] 887*2^1415046-1 is not prime. Res64: 7FF18005810225E7 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:15:09] 891*2^1415046-1 is not prime. Res64: 4CC49041247CFB32 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:24:29] 625*2^1415047-1 is not prime. Res64: 918DA4558FEE3202 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:24:30] 649*2^1415047-1 is not prime. Res64: 91B94F3E0F09ED97 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:24:32] 901*2^1415043-1 is not prime. Res64: EB7FAC34F198C2DA Time : 0.0 sec. user=mdettweiler [2015-11-15 16:28:25] 705*2^1415047-1 is not prime. Res64: 80DFE6A6D2F8BABB Time : 0.0 sec. user=mdettweiler [2015-11-15 16:28:26] 715*2^1415047-1 is not prime. Res64: 5667C35CB92A6F1A Time : 0.0 sec. user=mdettweiler [2015-11-15 16:35:36] 759*2^1415047-1 is not prime. Res64: D167A8FAAD5EDAEC Time : 0.0 sec. user=mdettweiler [2015-11-15 16:35:37] 793*2^1415047-1 is not prime. Res64: 5B438B10EE81F79E Time : 0.0 sec. user=mdettweiler [2015-11-15 16:43:25] 885*2^1415047-1 is not prime. Res64: 99ED30A317032582 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:43:25] 603*2^1415048-1 is not prime. Res64: 362AE09A1D8E16DE Time : 0.0 sec. user=mdettweiler [2015-11-15 16:43:26] 813*2^1415047-1 is not prime. Res64: 1955058E529F3D24 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:43:26] 873*2^1415047-1 is not prime. Res64: 04B299421E68FC96 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:47:29] 615*2^1415048-1 is not prime. Res64: 0EE1EEC0685648A0 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:47:30] 665*2^1415048-1 is not prime. Res64: F9BB3D1D885DE5A6 Time : 0.0 sec. user=mdettweiler [2015-11-15 16:57:03] 713*2^1415048-1 is not prime. Res64: 1FF1BED70F7343CC Time : 0.0 sec. user=mdettweiler [2015-11-15 16:57:03] 759*2^1415048-1 is not prime. Res64: A3C032EDB0F9310C Time : 0.0 sec. user=mdettweiler [2015-11-15 17:03:10] 963*2^1415048-1 is not prime. Res64: 1C844A5E4F5E65E2 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:03:11] 721*2^1415049-1 is not prime. Res64: 82AEC9F6393DBBE2 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:03:21] 861*2^1415049-1 is not prime. Res64: F444FB72E8DB00DE Time : 0.0 sec. user=mdettweiler [2015-11-15 17:03:22] 877*2^1415049-1 is not prime. Res64: CC7467847EA71E09 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:06:45] 909*2^1415049-1 is not prime. Res64: B102A16104B3FF86 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:06:45] 975*2^1415049-1 is not prime. Res64: BA5B0F20B1D4A6DD Time : 0.0 sec. user=mdettweiler [2015-11-15 17:15:07] 979*2^1415049-1 is not prime. Res64: D84B7D2109A761E7 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:15:07] 997*2^1415049-1 is not prime. Res64: CC27BA805E015DCA Time : 0.0 sec. user=mdettweiler [2015-11-15 17:21:22] 987*2^1415050-1 is not prime. Res64: D52205EFD9FF93DA Time : 0.0 sec. user=mdettweiler [2015-11-15 17:21:23] 673*2^1415051-1 is not prime. Res64: 896488A7694FC55A Time : 0.0 sec. user=mdettweiler [2015-11-15 17:21:24] 887*2^1415050-1 is not prime. Res64: C7C15F87E087BD16 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:21:25] 917*2^1415050-1 is not prime. Res64: BCCFC3320EA5C4F9 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:24:41] 679*2^1415051-1 is not prime. Res64: F03E914B43A95948 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:24:42] 859*2^1415051-1 is not prime. Res64: 5E2FCD8760231E78 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:33:14] 885*2^1415051-1 is not prime. Res64: 12F301370301D763 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:33:14] 627*2^1415052-1 is not prime. Res64: 8781959F967FC909 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:39:12] 639*2^1415052-1 is not prime. Res64: F03F6C45C7B26D8C Time : 0.0 sec. user=mdettweiler [2015-11-15 17:39:12] 749*2^1415052-1 is not prime. Res64: C55D43F18BDD8482 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:39:32] 975*2^1415052-1 is not prime. Res64: B5D6E0FBBCDE9AE2 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:39:33] 983*2^1415052-1 is not prime. Res64: B6BCBAA962EE7444 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:42:32] 639*2^1415053-1 is not prime. Res64: F220CFEEF6166DE9 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:42:33] 951*2^1415053-1 is not prime. Res64: 3E6828B9AC384D3A Time : 0.0 sec. user=mdettweiler [2015-11-15 17:51:42] 961*2^1415053-1 is not prime. Res64: 76719D47C4449192 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:51:43] 641*2^1415054-1 is not prime. Res64: 880C483586259A97 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:58:30] 665*2^1415054-1 is not prime. Res64: CF817D0E9FCDC493 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:58:31] 741*2^1415054-1 is not prime. Res64: E0940E8036A76CE9 Time : 0.0 sec. user=mdettweiler [2015-11-15 17:58:49] 813*2^1415054-1 is not prime. Res64: 80CDA0B3F098482F Time : 0.0 sec. user=mdettweiler [2015-11-15 17:58:49] 885*2^1415054-1 is not prime. Res64: EC8FBC156631E960 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:01:51] 971*2^1415054-1 is not prime. Res64: 40166079502A3244 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:01:52] 609*2^1415055-1 is not prime. Res64: A0098B34D0F27480 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:10:14] 783*2^1415055-1 is not prime. Res64: 49D023595700AB77 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:10:14] 853*2^1415055-1 is not prime. Res64: 21A3E32D071BB274 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:16:19] 859*2^1415055-1 is not prime. Res64: CCF1A688BD132338 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:16:20] 885*2^1415055-1 is not prime. Res64: 99151DD317692587 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:16:44] 657*2^1415056-1 is not prime. Res64: 8B8472B35E71525E Time : 0.0 sec. user=mdettweiler [2015-11-15 18:16:44] 707*2^1415056-1 is not prime. Res64: 121F31ECCF58C18B Time : 0.0 sec. user=mdettweiler [2015-11-15 18:19:55] 759*2^1415056-1 is not prime. Res64: 58838982796E98D9 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:19:55] 779*2^1415056-1 is not prime. Res64: FEB29EC52591191B Time : 0.0 sec. user=mdettweiler [2015-11-15 18:28:08] 989*2^1415056-1 is not prime. Res64: D148F620DF86C555 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:28:09] 631*2^1415057-1 is not prime. Res64: C9CD8837A34A53B5 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:34:15] 645*2^1415057-1 is not prime. Res64: 410D2A6F81809245 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:34:15] 691*2^1415057-1 is not prime. Res64: 79570CE1A5712FF3 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:34:38] 717*2^1415057-1 is not prime. Res64: 99D909576A5651FA Time : 0.0 sec. user=mdettweiler [2015-11-15 18:34:38] 747*2^1415057-1 is not prime. Res64: 042C52C563A4B17B Time : 0.0 sec. user=mdettweiler [2015-11-15 18:37:48] 805*2^1415057-1 is not prime. Res64: 54B80E5056C423AA Time : 0.0 sec. user=mdettweiler [2015-11-15 18:37:49] 829*2^1415057-1 is not prime. Res64: EAE96F689E694842 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:45:57] 841*2^1415057-1 is not prime. Res64: 50C06627D9B5EA55 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:45:58] 847*2^1415057-1 is not prime. Res64: E3C36B51B5E5DCD0 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:52:11] 889*2^1415057-1 is not prime. Res64: AAC4743C3B1AB52B Time : 0.0 sec. user=mdettweiler [2015-11-15 18:52:11] 955*2^1415057-1 is not prime. Res64: 2A28390F26B67488 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:52:38] 979*2^1415057-1 is not prime. Res64: CF4ECD58369D4287 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:52:39] 663*2^1415058-1 is not prime. Res64: B4F7AF9392F8CB0C Time : 0.0 sec. user=mdettweiler [2015-11-15 18:55:48] 725*2^1415058-1 is not prime. Res64: 217376640597A736 Time : 0.0 sec. user=mdettweiler [2015-11-15 18:55:48] 747*2^1415058-1 is not prime. Res64: 974CE4BA6920FDC5 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:04:22] 815*2^1415058-1 is not prime. Res64: 6187BB23E02FB393 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:04:23] 837*2^1415058-1 is not prime. Res64: F4296D684903B495 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:11:26] 921*2^1415058-1 is not prime. Res64: ECD2DFC177969883 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:11:27] 1001*2^1415058-1 is not prime. Res64: F471816404FCDA59 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:11:40] 603*2^1415059-1 is not prime. Res64: E6376F2516B6607A Time : 0.0 sec. user=mdettweiler [2015-11-15 19:11:40] 625*2^1415059-1 is not prime. Res64: B0D8FEF12AAF49F3 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:15:15] 681*2^1415059-1 is not prime. Res64: 12FD8E8306EE873D Time : 0.0 sec. user=mdettweiler [2015-11-15 19:15:16] 811*2^1415059-1 is not prime. Res64: D5F39F426CBCA395 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:24:53] 883*2^1415059-1 is not prime. Res64: 8DEAEAB657FA31FA Time : 0.0 sec. user=mdettweiler [2015-11-15 19:24:53] 939*2^1415059-1 is not prime. Res64: 72343ED40583F09D Time : 0.0 sec. user=mdettweiler [2015-11-15 19:33:27] 973*2^1415059-1 is not prime. Res64: 8398BB262CAF9F2F Time : 0.0 sec. user=mdettweiler [2015-11-15 19:33:27] 647*2^1415060-1 is not prime. Res64: 813CDEFC6E72E3CD Time : 0.0 sec. user=mdettweiler [2015-11-15 19:34:50] 669*2^1415060-1 is not prime. Res64: F4FFE2C33124CDE9 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:34:50] 699*2^1415060-1 is not prime. Res64: BC808E33C348BDC8 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:37:41] 725*2^1415060-1 is not prime. Res64: 550DAF0608A90EDC Time : 0.0 sec. user=mdettweiler [2015-11-15 19:37:41] 797*2^1415060-1 is not prime. Res64: CFAC8F82ACFD82F7 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:45:24] 827*2^1415060-1 is not prime. Res64: 6AF7FBAD3A0DFD39 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:45:25] 839*2^1415060-1 is not prime. Res64: 009B9A7280E77378 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:52:38] 893*2^1415060-1 is not prime. Res64: 42A5E283C9A8987F Time : 0.0 sec. user=mdettweiler [2015-11-15 19:52:38] 909*2^1415060-1 is not prime. Res64: 3FA99928438CF1B9 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:53:56] 999*2^1415060-1 is not prime. Res64: 05961ED91564E992 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:53:56] 621*2^1415061-1 is not prime. Res64: 14B3893A5B904FA1 Time : 0.0 sec. user=mdettweiler [2015-11-15 19:56:50] 657*2^1415061-1 is not prime. Res64: C31194C97E317D9F Time : 0.0 sec. user=mdettweiler [2015-11-15 19:56:50] 727*2^1415061-1 is not prime. Res64: 9AAD86E00EEE5531 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:04:19] 817*2^1415061-1 is not prime. Res64: EE6CC73715E999CE Time : 0.0 sec. user=mdettweiler [2015-11-15 20:04:20] 969*2^1415061-1 is not prime. Res64: DB5D799C4AE71DE5 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:11:42] 975*2^1415061-1 is not prime. Res64: 8E1D85951C572936 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:11:42] 681*2^1415062-1 is not prime. Res64: 42B3563896B37CFB Time : 0.0 sec. user=mdettweiler [2015-11-15 20:13:16] 723*2^1415062-1 is not prime. Res64: 548C07817641FF85 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:13:16] 755*2^1415062-1 is not prime. Res64: 8A9186DD210C57EA Time : 0.0 sec. user=mdettweiler [2015-11-15 20:16:37] 911*2^1415062-1 is not prime. Res64: 84748A4E2780689C Time : 0.0 sec. user=mdettweiler [2015-11-15 20:16:37] 987*2^1415062-1 is not prime. Res64: 7383F83C3BCA1A50 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:24:14] 995*2^1415062-1 is not prime. Res64: 316A2AAD6043202F Time : 0.0 sec. user=mdettweiler [2015-11-15 20:24:14] 693*2^1415063-1 is not prime. Res64: 9EF15BB54947639C Time : 0.0 sec. user=mdettweiler [2015-11-15 20:31:20] 735*2^1415063-1 is not prime. Res64: AB01E79B55B5728A Time : 0.0 sec. user=mdettweiler [2015-11-15 20:31:20] 855*2^1415063-1 is not prime. Res64: 246F680FEA54D261 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:32:36] 895*2^1415063-1 is not prime. Res64: 110F512727788429 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:32:37] 949*2^1415063-1 is not prime. Res64: 416FAF32CB5E519B Time : 0.0 sec. user=mdettweiler [2015-11-15 20:35:54] 605*2^1415064-1 is not prime. Res64: 36C59B54B4507B58 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:35:54] 707*2^1415064-1 is not prime. Res64: 4D787C2E21AE7EE3 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:43:42] 773*2^1415064-1 is not prime. Res64: F194CB31597B080D Time : 0.0 sec. user=mdettweiler [2015-11-15 20:43:42] 825*2^1415064-1 is not prime. Res64: 0C64A5B80608204B Time : 0.0 sec. user=mdettweiler [2015-11-15 20:50:34] 923*2^1415064-1 is not prime. Res64: C533C9994B4226A5 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:50:35] 625*2^1415065-1 is not prime. Res64: AF573BBD69CB2546 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:52:11] 685*2^1415065-1 is not prime. Res64: 579C005FDF9D4B57 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:52:11] 817*2^1415065-1 is not prime. Res64: 3714AA9070FFB8D5 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:55:48] 871*2^1415065-1 is not prime. Res64: D3767D5EC0FF2AA0 Time : 0.0 sec. user=mdettweiler [2015-11-15 20:55:48] 955*2^1415065-1 is not prime. Res64: 839AB77033A4B1CF Time : 0.0 sec. user=mdettweiler [2015-11-15 21:03:20] 985*2^1415065-1 is not prime. Res64: AE772D18CDC06FEE Time : 0.0 sec. user=mdettweiler [2015-11-15 21:03:22] 999*2^1415065-1 is not prime. Res64: EC764CBF5160D465 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:09:59] 617*2^1415066-1 is not prime. Res64: 282BE3E14857ECC4 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:09:59] 627*2^1415066-1 is not prime. Res64: 5A886409C630BAFA Time : 0.0 sec. user=mdettweiler [2015-11-15 21:11:30] 707*2^1415066-1 is not prime. Res64: 2826C6E0F72BDA1E Time : 0.0 sec. user=mdettweiler [2015-11-15 21:11:30] 717*2^1415066-1 is not prime. Res64: 218DE0464A5212BE Time : 0.0 sec. user=mdettweiler [2015-11-15 21:15:39] 755*2^1415066-1 is not prime. Res64: BA091E0358D1692F Time : 0.0 sec. user=mdettweiler [2015-11-15 21:15:39] 825*2^1415066-1 is not prime. Res64: CB8FD5E26519A676 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:22:25] 851*2^1415066-1 is not prime. Res64: 1B1CE34FF40DA1D4 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:22:25] 857*2^1415066-1 is not prime. Res64: F1183A805C97ACFF Time : 0.0 sec. user=mdettweiler [2015-11-15 21:28:50] 911*2^1415066-1 is not prime. Res64: A948C18C9FB05CCE Time : 0.0 sec. user=mdettweiler [2015-11-15 21:28:50] 1001*2^1415066-1 is not prime. Res64: 540F1EDD24BD0C72 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:30:10] 735*2^1415067-1 is not prime. Res64: 77E20AE48F6916AE Time : 0.0 sec. user=mdettweiler [2015-11-15 21:30:10] 873*2^1415067-1 is not prime. Res64: 055ED80E5BB95E32 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:34:30] 919*2^1415067-1 is not prime. Res64: 8E4E2825B572E83D Time : 0.0 sec. user=mdettweiler [2015-11-15 21:34:30] 617*2^1415068-1 is not prime. Res64: CFFBF6881A25CE7E Time : 0.0 sec. user=mdettweiler [2015-11-15 21:41:11] 689*2^1415068-1 is not prime. Res64: AD8A4C21D4C276DC Time : 0.0 sec. user=mdettweiler [2015-11-15 21:41:11] 735*2^1415068-1 is not prime. Res64: 84A8F5EDD47EAE7B Time : 0.0 sec. user=mdettweiler [2015-11-15 21:47:56] 843*2^1415068-1 is not prime. Res64: 60620C9AFD31348B Time : 0.0 sec. user=mdettweiler [2015-11-15 21:47:56] 933*2^1415068-1 is not prime. Res64: C5DF132888DA398B Time : 0.0 sec. user=mdettweiler [2015-11-15 21:49:31] 999*2^1415068-1 is not prime. Res64: E891C102736611B5 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:49:31] 615*2^1415069-1 is not prime. Res64: A8BE4DECEEF42CF9 Time : 0.0 sec. user=mdettweiler [2015-11-15 21:53:10] 657*2^1415069-1 is not prime. Res64: B8320E337CE4E4FB Time : 0.0 sec. user=mdettweiler [2015-11-15 21:53:11] 747*2^1415069-1 is not prime. Res64: 2E7F666E49E7A440 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:00:24] 861*2^1415069-1 is not prime. Res64: DE169FDBA68ED2F1 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:00:25] 879*2^1415069-1 is not prime. Res64: 4919DA39F71BDCD6 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:07:01] 885*2^1415069-1 is not prime. Res64: 37D89FC9D24CA4CA Time : 0.0 sec. user=mdettweiler [2015-11-15 22:07:01] 897*2^1415069-1 is not prime. Res64: 6BBFA414907AB5A3 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:08:37] 711*2^1415070-1 is not prime. Res64: 4F862DA0E8DDA3FC Time : 0.0 sec. user=mdettweiler [2015-11-15 22:08:37] 795*2^1415070-1 is not prime. Res64: 6A8552FF3280A499 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:12:30] 917*2^1415070-1 is not prime. Res64: 84A72F9B1E11AB13 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:12:30] 927*2^1415070-1 is not prime. Res64: 85E83731ACDB8977 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:19:25] 963*2^1415070-1 is not prime. Res64: E9F93E5ACE8D3786 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:19:25] 645*2^1415071-1 is not prime. Res64: 260BA59E0D553BD5 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:25:38] 709*2^1415071-1 is not prime. Res64: 3D018A1540C93874 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:25:39] 843*2^1415071-1 is not prime. Res64: 1BD651E27C9C2E24 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:27:07] 885*2^1415071-1 is not prime. Res64: 110E0B5F0426C62A Time : 0.0 sec. user=mdettweiler [2015-11-15 22:27:08] 975*2^1415071-1 is not prime. Res64: CD0EF5FF478685D4 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:30:54] 687*2^1415072-1 is not prime. Res64: 96999962C0B76428 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:30:54] 755*2^1415072-1 is not prime. Res64: A0D6179F42ACD9B6 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:38:01] 759*2^1415072-1 is not prime. Res64: 238F181F55212B9B Time : 0.0 sec. user=mdettweiler [2015-11-15 22:38:01] 767*2^1415072-1 is not prime. Res64: C0CA05DCC78C62C7 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:44:22] 819*2^1415072-1 is not prime. Res64: 8618737193BCF82C Time : 0.0 sec. user=mdettweiler [2015-11-15 22:44:22] 833*2^1415072-1 is not prime. Res64: 3642FE0D3AE89095 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:46:00] 857*2^1415072-1 is not prime. Res64: 61ED6C3536CB7B80 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:46:00] 977*2^1415072-1 is not prime. Res64: 5DFD532774BD1449 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:49:35] 609*2^1415073-1 is not prime. Res64: 0F9B71E687273279 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:49:35] 627*2^1415073-1 is not prime. Res64: 1FE9C318C2711749 Time : 0.0 sec. user=mdettweiler [2015-11-15 22:56:56] 657*2^1415073-1 is not prime. Res64: AC78AC94D33C376B Time : 0.0 sec. user=mdettweiler [2015-11-15 22:56:56] 787*2^1415073-1 is not prime. Res64: A752A569F00155FB Time : 0.0 sec. user=mdettweiler [2015-11-15 23:03:11] 819*2^1415073-1 is not prime. Res64: F15A8DDCFCA1448D Time : 0.0 sec. user=mdettweiler [2015-11-15 23:03:12] 835*2^1415073-1 is not prime. Res64: 40011F0036CB11CF Time : 0.0 sec. user=mdettweiler [2015-11-15 23:04:59] 895*2^1415073-1 is not prime. Res64: 42CE952C48E98A07 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:05:01] 955*2^1415073-1 is not prime. Res64: A3BA228156F47CA2 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:08:28] 987*2^1415073-1 is not prime. Res64: B80A5C6AAF797EE2 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:08:28] 681*2^1415074-1 is not prime. Res64: A8151CDE17BCF187 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:15:36] 701*2^1415074-1 is not prime. Res64: BC938AC4AACE9F96 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:15:36] 821*2^1415074-1 is not prime. Res64: 5ECBBB45CFF97FF3 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:21:46] 857*2^1415074-1 is not prime. Res64: A1394B430FC4068B Time : 0.0 sec. user=mdettweiler [2015-11-15 23:21:46] 885*2^1415074-1 is not prime. Res64: 1C6AB946B5AA06AB Time : 0.0 sec. user=mdettweiler [2015-11-15 23:23:17] 993*2^1415074-1 is not prime. Res64: B2669FED97C60EEC Time : 0.0 sec. user=mdettweiler [2015-11-15 23:23:17] 609*2^1415075-1 is not prime. Res64: 38C7EC8E6EF7B451 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:26:39] 619*2^1415075-1 is not prime. Res64: 5C5CD77EB7B8FDBB Time : 0.0 sec. user=mdettweiler [2015-11-15 23:26:40] 633*2^1415075-1 is not prime. Res64: E58754160E2104E6 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:33:45] 651*2^1415075-1 is not prime. Res64: 45BA243206DC9047 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:33:45] 771*2^1415075-1 is not prime. Res64: EBE7E3457EA32B83 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:40:04] 981*2^1415075-1 is not prime. Res64: F32D6DD4D31933BE Time : 0.0 sec. user=mdettweiler [2015-11-15 23:40:04] 999*2^1415075-1 is not prime. Res64: C2DB6EE0957DAE3E Time : 0.0 sec. user=mdettweiler [2015-11-15 23:41:35] 675*2^1415076-1 is not prime. Res64: 1354ECEB4F6EF77A Time : 0.0 sec. user=mdettweiler [2015-11-15 23:41:35] 765*2^1415076-1 is not prime. Res64: 705ABA903E6A7775 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:44:46] 903*2^1415076-1 is not prime. Res64: C007E6BCEE36D45F Time : 0.0 sec. user=mdettweiler [2015-11-15 23:44:46] 909*2^1415076-1 is not prime. Res64: 6EDF28FE1CF9C009 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:51:44] 947*2^1415076-1 is not prime. Res64: 06E7D9285E9FCC67 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:51:45] 983*2^1415076-1 is not prime. Res64: 126A9642A983EA69 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:58:09] 685*2^1415077-1 is not prime. Res64: 39E1E32202720F01 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:58:09] 729*2^1415077-1 is not prime. Res64: 5C64C5D4E16C8231 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:59:41] 817*2^1415077-1 is not prime. Res64: 1F9621237960B673 Time : 0.0 sec. user=mdettweiler [2015-11-15 23:59:41] 859*2^1415077-1 is not prime. Res64: 5862EA7E2A1068C7 Time : 0.0 sec.