user=mdettweiler [2015-10-23 00:05:13] 663*2^1412987-1 is not prime. Res64: 24204154717E5643 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:05:14] 601*2^1412987-1 is not prime. Res64: 9E5660BC612006B1 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:05:15] 685*2^1412987-1 is not prime. Res64: 4283367E2FD84D76 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:05:16] 609*2^1412987-1 is not prime. Res64: 1BA16BE3AA0AF888 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:05:29] 715*2^1412987-1 is not prime. Res64: DAEAD73BB59B1912 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:05:31] 735*2^1412987-1 is not prime. Res64: CEE8D751AD89D834 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:23:09] 861*2^1412987-1 is not prime. Res64: 486D3DA482BB9500 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:23:10] 689*2^1412988-1 is not prime. Res64: 1CEA37158ED6DF76 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:23:15] 735*2^1412988-1 is not prime. Res64: 20B6E4E3D68DD954 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:23:15] 927*2^1412988-1 is not prime. Res64: 2D875C8EF988CAF5 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:23:17] 947*2^1412988-1 is not prime. Res64: D9EB3E67AB2BCC3C Time : 0.0 sec. user=mdettweiler [2015-10-23 00:23:17] 867*2^1412988-1 is not prime. Res64: 0EC93A85F708A53D Time : 0.0 sec. user=mdettweiler [2015-10-23 00:40:46] 993*2^1412988-1 is not prime. Res64: 9D44BC0B0A2EFC70 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:40:48] 621*2^1412989-1 is not prime. Res64: 0E05DB30CCBE6D88 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:40:48] 757*2^1412989-1 is not prime. Res64: 0AB2DFBFD60CC31B Time : 0.0 sec. user=mdettweiler [2015-10-23 00:40:49] 831*2^1412989-1 is not prime. Res64: E19C16B33B661984 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:40:51] 667*2^1412989-1 is not prime. Res64: 50080916FF17E328 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:40:52] 721*2^1412989-1 is not prime. Res64: 8168359A65F2B5D5 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:58:19] 979*2^1412989-1 is not prime. Res64: 50E9460C61486AF2 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:58:19] 855*2^1412989-1 is not prime. Res64: 1B0323475C5AF0BE Time : 0.0 sec. user=mdettweiler [2015-10-23 00:58:20] 987*2^1412989-1 is not prime. Res64: 436C61F83758BD63 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:58:20] 955*2^1412989-1 is not prime. Res64: E308DE1BA25BA8D4 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:58:20] 999*2^1412989-1 is not prime. Res64: D6E27920A0418E62 Time : 0.0 sec. user=mdettweiler [2015-10-23 00:58:21] 675*2^1412990-1 is not prime. Res64: 7279DC4FF5AB7757 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:15:49] 785*2^1412990-1 is not prime. Res64: 76863F1A027E3EE4 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:15:49] 827*2^1412990-1 is not prime. Res64: 0F401F94D3969ADD Time : 0.0 sec. user=mdettweiler [2015-10-23 01:15:50] 825*2^1412990-1 is not prime. Res64: 40EFA3CA491D9076 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:15:50] 851*2^1412990-1 is not prime. Res64: 99A16AFBF283F3D7 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:15:50] 945*2^1412990-1 is not prime. Res64: 7E3A51C2441412A4 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:15:51] 957*2^1412990-1 is not prime. Res64: D06947EB023345B8 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:33:23] 741*2^1412991-1 is not prime. Res64: C5F7D2C53CA67CFC Time : 0.0 sec. user=mdettweiler [2015-10-23 01:33:23] 981*2^1412990-1 is not prime. Res64: 2B3F0450D225A258 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:33:28] 751*2^1412991-1 is not prime. Res64: 2E8E9C736DE83124 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:33:30] 769*2^1412991-1 is not prime. Res64: 8E5E6CBD6FEF20B0 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:33:33] 661*2^1412991-1 is not prime. Res64: BBED92424B768E11 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:33:36] 783*2^1412991-1 is not prime. Res64: 98CD744112EB42BB Time : 0.0 sec. user=mdettweiler [2015-10-23 01:51:50] 861*2^1412991-1 is not prime. Res64: 7B74AEFCDE614DA3 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:51:50] 615*2^1412992-1 is not prime. Res64: 5309AC1AF1CB4534 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:51:51] 931*2^1412991-1 is not prime. Res64: 0047BEB20F1EDFDB Time : 0.0 sec. user=mdettweiler [2015-10-23 01:51:51] 645*2^1412992-1 is not prime. Res64: 466CB1374F8EFC49 Time : 0.0 sec. user=mdettweiler [2015-10-23 01:51:53] 677*2^1412992-1 is not prime. Res64: F65CE0C0743D0C0C Time : 0.0 sec. user=mdettweiler [2015-10-23 01:51:54] 695*2^1412992-1 is not prime. Res64: 9422BE6894E8F65D Time : 0.0 sec. user=mdettweiler [2015-10-23 02:09:25] 797*2^1412992-1 is not prime. Res64: FE523BD66C6CCBEE Time : 0.0 sec. user=mdettweiler [2015-10-23 02:09:25] 869*2^1412992-1 is not prime. Res64: AB0C73ABACAF7C2D Time : 0.0 sec. user=mdettweiler [2015-10-23 02:09:26] 989*2^1412992-1 is not prime. Res64: 45BA5482C6251B19 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:09:26] 803*2^1412992-1 is not prime. Res64: 39163B441AD8195F Time : 0.0 sec. user=mdettweiler [2015-10-23 02:09:26] 923*2^1412992-1 is not prime. Res64: F19911420723040F Time : 0.0 sec. user=mdettweiler [2015-10-23 02:09:27] 615*2^1412993-1 is not prime. Res64: EF7128878674AF83 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:27:02] 657*2^1412994-1 is not prime. Res64: 12085B8A2A9A3ECF Time : 0.0 sec. user=mdettweiler [2015-10-23 02:27:02] 805*2^1412993-1 is not prime. Res64: A441EAE47D2EACD3 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:27:03] 755*2^1412994-1 is not prime. Res64: 83BC60216EDAB813 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:27:03] 611*2^1412994-1 is not prime. Res64: 570C41CFC123CAE8 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:27:06] 637*2^1412993-1 is not prime. Res64: 6BC6EF7E3BC1E342 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:27:07] 721*2^1412993-1 is not prime. Res64: 74F75786965D3A11 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:44:36] 947*2^1412994-1 is not prime. Res64: E9FCEFBA8053A78B Time : 0.0 sec. user=mdettweiler [2015-10-23 02:44:36] 833*2^1412994-1 is not prime. Res64: 541088EF9F33D455 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:44:36] 873*2^1412995-1 is not prime. Res64: 3E957BEDDC318B5C Time : 0.0 sec. user=mdettweiler [2015-10-23 02:44:37] 917*2^1412994-1 is not prime. Res64: 9C3699A3AD74B639 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:44:37] 699*2^1412995-1 is not prime. Res64: 196359F4E8870D20 Time : 0.0 sec. user=mdettweiler [2015-10-23 02:44:37] 623*2^1412996-1 is not prime. Res64: 9CD28AB0F34DF247 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:02:09] 735*2^1412996-1 is not prime. Res64: 3E38FA3E6563A777 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:02:09] 741*2^1412997-1 is not prime. Res64: 5BC29F48DFBC4473 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:02:10] 953*2^1412996-1 is not prime. Res64: 2217D3A4442EB0B0 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:02:11] 817*2^1412997-1 is not prime. Res64: 04E9A2EC008BB42A Time : 0.0 sec. user=mdettweiler [2015-10-23 03:02:12] 843*2^1412996-1 is not prime. Res64: 05180BA4B1BD6A88 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:02:12] 993*2^1412996-1 is not prime. Res64: 6AB91AF3E312001E Time : 0.0 sec. user=mdettweiler [2015-10-23 03:20:05] 829*2^1412997-1 is not prime. Res64: 8EE10B1D09246223 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:20:06] 891*2^1412997-1 is not prime. Res64: 64DF8832A8DEF3BA Time : 0.0 sec. user=mdettweiler [2015-10-23 03:20:06] 949*2^1412997-1 is not prime. Res64: A890CFA849F33435 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:20:07] 945*2^1412997-1 is not prime. Res64: AB9200D9492811C7 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:20:07] 975*2^1412997-1 is not prime. Res64: 6308E298E6FF017E Time : 0.0 sec. user=mdettweiler [2015-10-23 03:20:08] 991*2^1412997-1 is not prime. Res64: 1DD4510863280F28 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:37:36] 617*2^1412998-1 is not prime. Res64: E8CB4ED411FA2F49 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:37:38] 669*2^1412999-1 is not prime. Res64: 0ED1170FC6C2AAE3 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:37:39] 923*2^1412998-1 is not prime. Res64: D48B294A075CDAAC Time : 0.0 sec. user=mdettweiler [2015-10-23 03:37:39] 955*2^1412999-1 is not prime. Res64: 0B2AD6D558DD6EE9 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:37:40] 789*2^1412999-1 is not prime. Res64: 72E2AE76D13CAEF4 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:37:41] 633*2^1413000-1 is not prime. Res64: A31632C2F8DEEAE6 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:55:30] 735*2^1413000-1 is not prime. Res64: 72C34BF62458DA5D Time : 0.0 sec. user=mdettweiler [2015-10-23 03:55:30] 915*2^1413000-1 is not prime. Res64: B39141FF8BCF0F0A Time : 0.0 sec. user=mdettweiler [2015-10-23 03:55:31] 857*2^1413000-1 is not prime. Res64: 0B8C8F7EFC167045 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:55:31] 935*2^1413000-1 is not prime. Res64: 91417EC7449D3AF3 Time : 0.0 sec. user=mdettweiler [2015-10-23 03:55:33] 773*2^1413000-1 is not prime. Res64: B354E192416E122A Time : 0.0 sec. user=mdettweiler [2015-10-23 03:55:33] 863*2^1413000-1 is not prime. Res64: AF9618AC357B6645 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:13:18] 687*2^1413001-1 is not prime. Res64: 055243B1619943DB Time : 0.0 sec. user=mdettweiler [2015-10-23 04:13:19] 745*2^1413001-1 is not prime. Res64: B6496A7D1784696A Time : 0.0 sec. user=mdettweiler [2015-10-23 04:13:22] 811*2^1413001-1 is not prime. Res64: 85CCF82A554DFC6B Time : 0.0 sec. user=mdettweiler [2015-10-23 04:13:23] 957*2^1413001-1 is not prime. Res64: 044B44219600E3B4 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:13:25] 615*2^1413002-1 is not prime. Res64: DA8A8823EA40E1AE Time : 0.0 sec. user=mdettweiler [2015-10-23 04:13:26] 633*2^1413002-1 is not prime. Res64: 0B50EA8557A84870 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:30:54] 635*2^1413002-1 is not prime. Res64: 28B98ECADC1BB480 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:30:55] 867*2^1413002-1 is not prime. Res64: 8C1C12EF415E5A5B Time : 0.0 sec. user=mdettweiler [2015-10-23 04:30:55] 677*2^1413002-1 is not prime. Res64: D6FB7AF6181C6B34 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:30:56] 875*2^1413002-1 is not prime. Res64: D65E43F301D1EB60 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:31:02] 885*2^1413002-1 is not prime. Res64: 0FB537AB2A7E6B5D Time : 0.0 sec. user=mdettweiler [2015-10-23 04:31:03] 613*2^1413003-1 is not prime. Res64: 09E754F0549CE164 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:48:27] 703*2^1413003-1 is not prime. Res64: 12C5D6623B4D77D9 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:48:27] 619*2^1413003-1 is not prime. Res64: 194DBFDB349D61E5 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:48:28] 705*2^1413003-1 is not prime. Res64: 78C698627EF8FC98 Time : 0.0 sec. user=mdettweiler [2015-10-23 04:48:28] 685*2^1413003-1 is not prime. Res64: BB9293B8748232BB Time : 0.0 sec. user=mdettweiler [2015-10-23 04:48:38] 859*2^1413003-1 is not prime. Res64: 23706C4860841B2C Time : 0.0 sec. user=mdettweiler [2015-10-23 04:48:39] 861*2^1413003-1 is not prime. Res64: 08C0BFCC540EEC86 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:05:59] 873*2^1413003-1 is not prime. Res64: 623383C5BB4E9088 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:06:01] 921*2^1413003-1 is not prime. Res64: 3776BA87B27049BD Time : 0.0 sec. user=mdettweiler [2015-10-23 05:06:03] 629*2^1413004-1 is not prime. Res64: A0238F58365CDB16 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:06:04] 813*2^1413004-1 is not prime. Res64: 5943715CFAC41312 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:06:09] 819*2^1413004-1 is not prime. Res64: E0270D3B901EB025 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:06:12] 869*2^1413004-1 is not prime. Res64: BBFBC16BDADE34D5 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:23:55] 873*2^1413004-1 is not prime. Res64: A7A74B19C4B701F8 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:23:57] 875*2^1413004-1 is not prime. Res64: DDF181FA18887B29 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:24:00] 657*2^1413005-1 is not prime. Res64: 39CFE30770CD18C6 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:24:01] 675*2^1413005-1 is not prime. Res64: DB5C04FEBD9AE9E4 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:24:01] 995*2^1413004-1 is not prime. Res64: 997F344D54022F4D Time : 0.0 sec. user=mdettweiler [2015-10-23 05:24:02] 627*2^1413005-1 is not prime. Res64: E4C35B228D8CDEB8 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:41:30] 757*2^1413005-1 is not prime. Res64: 6E71977490DA08A2 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:41:31] 837*2^1413005-1 is not prime. Res64: 2144F9BEEEC9D2DB Time : 0.0 sec. user=mdettweiler [2015-10-23 05:41:33] 985*2^1413005-1 is not prime. Res64: B6767E916A6DD3C9 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:41:34] 711*2^1413006-1 is not prime. Res64: 7B946CC55B1900DA Time : 0.0 sec. user=mdettweiler [2015-10-23 05:41:37] 867*2^1413006-1 is not prime. Res64: E38E9D11F70FFC9F Time : 0.0 sec. user=mdettweiler [2015-10-23 05:41:39] 881*2^1413006-1 is not prime. Res64: 034D152BDB044D02 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:59:02] 933*2^1413006-1 is not prime. Res64: F9F18FB63FECCC6C Time : 0.0 sec. user=mdettweiler [2015-10-23 05:59:03] 645*2^1413007-1 is not prime. Res64: 60EC391377E67DE9 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:59:07] 729*2^1413007-1 is not prime. Res64: 69F719BD4C4C1D44 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:59:08] 975*2^1413007-1 is not prime. Res64: B212FCA426E68889 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:59:08] 939*2^1413007-1 is not prime. Res64: 8EBE2A353596C4A6 Time : 0.0 sec. user=mdettweiler [2015-10-23 05:59:09] 603*2^1413008-1 is not prime. Res64: E52389172837F9C9 Time : 0.0 sec. user=mdettweiler [2015-10-23 06:16:36] 767*2^1413008-1 is not prime. Res64: B6A4736751B58C6D Time : 0.0 sec. user=mdettweiler [2015-10-23 06:16:37] 915*2^1413008-1 is not prime. Res64: 2D813D20CC2E865A Time : 0.0 sec. user=mdettweiler [2015-10-23 06:16:37] 773*2^1413008-1 is not prime. Res64: 646CFB06EBDB833B Time : 0.0 sec. user=mdettweiler [2015-10-23 06:16:38] 813*2^1413008-1 is not prime. Res64: 744CDF35C92F642D Time : 0.0 sec. user=mdettweiler [2015-10-23 06:16:38] 959*2^1413008-1 is not prime. Res64: EC0C7D136EAA854E Time : 0.0 sec. user=mdettweiler [2015-10-23 06:16:39] 909*2^1413008-1 is not prime. Res64: C5C924AE00C4332E Time : 0.0 sec. user=mdettweiler [2015-10-23 06:34:10] 789*2^1413009-1 is not prime. Res64: E06B342425E0026A Time : 0.0 sec. user=mdettweiler [2015-10-23 06:34:11] 861*2^1413009-1 is not prime. Res64: 4FCE154243A9C162 Time : 0.0 sec. user=mdettweiler [2015-10-23 06:34:12] 691*2^1413009-1 is not prime. Res64: A5F58BD2BDB1130D Time : 0.0 sec. user=mdettweiler [2015-10-23 06:34:13] 711*2^1413009-1 is not prime. Res64: 1C8E393C9ADBC5D7 Time : 0.0 sec. user=mdettweiler [2015-10-23 06:34:15] 999*2^1413008-1 is not prime. Res64: A719A39A73BCA2A6 Time : 0.0 sec. user=mdettweiler [2015-10-23 06:34:16] 667*2^1413009-1 is not prime. Res64: 1A66B89114C2E0AC Time : 0.0 sec. user=mdettweiler [2015-10-23 06:51:43] 889*2^1413009-1 is not prime. Res64: 90A9920D5D3DD98D Time : 0.0 sec. user=mdettweiler [2015-10-23 06:51:43] 645*2^1413010-1 is not prime. Res64: DDF0237D6A241786 Time : 0.0 sec. user=mdettweiler [2015-10-23 06:51:44] 999*2^1413009-1 is not prime. Res64: 6E47DC514DF64BDA Time : 0.0 sec. user=mdettweiler [2015-10-23 06:51:44] 677*2^1413010-1 is not prime. Res64: F9F84EE89F64234A Time : 0.0 sec. user=mdettweiler [2015-10-23 06:51:45] 701*2^1413010-1 is not prime. Res64: AE49BD8DA1CB234D Time : 0.0 sec. user=mdettweiler [2015-10-23 06:51:46] 755*2^1413010-1 is not prime. Res64: 0C11BFB09B4510D9 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:09:15] 643*2^1413011-1 is not prime. Res64: 66B276265145AFDF Time : 0.0 sec. user=mdettweiler [2015-10-23 07:09:15] 685*2^1413011-1 is not prime. Res64: 67D5D2063C17808A Time : 0.0 sec. user=mdettweiler [2015-10-23 07:09:16] 867*2^1413010-1 is not prime. Res64: 7B876CDB7A76AE9C Time : 0.0 sec. user=mdettweiler [2015-10-23 07:09:17] 711*2^1413011-1 is not prime. Res64: 6C238A57A2F33495 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:09:17] 669*2^1413011-1 is not prime. Res64: 5166A7E30BCC6435 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:09:17] 619*2^1413011-1 is not prime. Res64: 32661086E631F8A4 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:26:48] 895*2^1413011-1 is not prime. Res64: A5A05819FD6B6E63 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:26:49] 999*2^1413011-1 is not prime. Res64: 5591342EAD4D6D8C Time : 0.0 sec. user=mdettweiler [2015-10-23 07:26:51] 775*2^1413011-1 is not prime. Res64: 387D3934D5BBCB08 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:26:52] 885*2^1413011-1 is not prime. Res64: 605F0BC92751B143 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:26:54] 819*2^1413012-1 is not prime. Res64: F4460B124C9A51DE Time : 0.0 sec. user=mdettweiler [2015-10-23 07:26:56] 837*2^1413012-1 is not prime. Res64: C432A63A97529EFC Time : 0.0 sec. user=mdettweiler [2015-10-23 07:44:21] 929*2^1413012-1 is not prime. Res64: 4FDFEFC16E66FCE5 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:44:23] 965*2^1413012-1 is not prime. Res64: 3C9882741266375B Time : 0.0 sec. user=mdettweiler [2015-10-23 07:44:25] 639*2^1413013-1 is not prime. Res64: DE9B3E6B63271DA6 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:44:26] 685*2^1413013-1 is not prime. Res64: 5BF59B744D26D7A7 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:44:32] 699*2^1413013-1 is not prime. Res64: 10659575C468DD36 Time : 0.0 sec. user=mdettweiler [2015-10-23 07:44:33] 789*2^1413013-1 is not prime. Res64: 5526A3CDC828D5F6 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:01:56] 829*2^1413013-1 is not prime. Res64: E3DA9162ABD2F331 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:01:57] 985*2^1413013-1 is not prime. Res64: 4C10884519CC891D Time : 0.0 sec. user=mdettweiler [2015-10-23 08:01:58] 961*2^1413013-1 is not prime. Res64: 3CD5C5A71561E805 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:01:58] 657*2^1413014-1 is not prime. Res64: 8E3E4D4EEDDFB5AB Time : 0.0 sec. user=mdettweiler [2015-10-23 08:02:04] 705*2^1413014-1 is not prime. Res64: 0303E3438C75009C Time : 0.0 sec. user=mdettweiler [2015-10-23 08:02:06] 785*2^1413014-1 is not prime. Res64: 2860472556FECF52 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:19:54] 873*2^1413014-1 is not prime. Res64: C22B97C195990386 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:19:55] 981*2^1413014-1 is not prime. Res64: 5D7EB783CF11FCD3 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:19:55] 935*2^1413014-1 is not prime. Res64: 4BA067438B846301 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:19:56] 897*2^1413014-1 is not prime. Res64: C02EED65701F0863 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:19:57] 651*2^1413015-1 is not prime. Res64: C8B88A0EC8ED5E95 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:19:57] 601*2^1413015-1 is not prime. Res64: 8A6B2F9ED296773C Time : 0.0 sec. user=mdettweiler [2015-10-23 08:37:30] 751*2^1413015-1 is not prime. Res64: 9BAC583B85C92C1F Time : 0.0 sec. user=mdettweiler [2015-10-23 08:37:31] 859*2^1413015-1 is not prime. Res64: 64B299B43B8C8A6E Time : 0.0 sec. user=mdettweiler [2015-10-23 08:37:31] 709*2^1413015-1 is not prime. Res64: 5523BD3B355E89CC Time : 0.0 sec. user=mdettweiler [2015-10-23 08:37:31] 781*2^1413015-1 is not prime. Res64: 1AB714FCE3088ACB Time : 0.0 sec. user=mdettweiler [2015-10-23 08:37:32] 919*2^1413015-1 is not prime. Res64: B432216F82529346 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:37:32] 891*2^1413015-1 is not prime. Res64: DB7607C5E180C39D Time : 0.0 sec. user=mdettweiler [2015-10-23 08:55:03] 623*2^1413016-1 is not prime. Res64: 58C0C2C2FA4A42A7 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:55:03] 903*2^1413016-1 is not prime. Res64: 124BB75655E6C4AD Time : 0.0 sec. user=mdettweiler [2015-10-23 08:55:04] 649*2^1413017-1 is not prime. Res64: A5D05E0EA7725D7D Time : 0.0 sec. user=mdettweiler [2015-10-23 08:55:04] 849*2^1413016-1 is not prime. Res64: 0DB50DE7677ABC27 Time : 0.0 sec. user=mdettweiler [2015-10-23 08:55:04] 999*2^1413016-1 is not prime. Res64: 2D61DD1DEDE073DC Time : 0.0 sec. user=mdettweiler [2015-10-23 08:55:04] 729*2^1413017-1 is not prime. Res64: 409C3166AA85E5E3 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:12:36] 861*2^1413017-1 is not prime. Res64: AF702A49D489E76D Time : 0.0 sec. user=mdettweiler [2015-10-23 09:12:37] 735*2^1413017-1 is not prime. Res64: 77BD43B0DDCAB236 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:12:37] 885*2^1413017-1 is not prime. Res64: C612322F1EEFCB41 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:12:38] 837*2^1413017-1 is not prime. Res64: 9C82322A8A43AF28 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:12:39] 889*2^1413017-1 is not prime. Res64: 374E1841333105E0 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:12:40] 633*2^1413018-1 is not prime. Res64: 0E3004DF7B94DA06 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:30:12] 641*2^1413018-1 is not prime. Res64: B96217DAFB55EC8F Time : 0.0 sec. user=mdettweiler [2015-10-23 09:30:13] 685*2^1413019-1 is not prime. Res64: 46E6D14B0B0C956C Time : 0.0 sec. user=mdettweiler [2015-10-23 09:30:13] 873*2^1413019-1 is not prime. Res64: 2D24E224045728BC Time : 0.0 sec. user=mdettweiler [2015-10-23 09:30:14] 843*2^1413018-1 is not prime. Res64: 19FA948BA1F90B61 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:30:14] 861*2^1413018-1 is not prime. Res64: 46F6220E25FBCA4D Time : 0.0 sec. user=mdettweiler [2015-10-23 09:30:15] 663*2^1413019-1 is not prime. Res64: D813923FBF861784 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:47:46] 961*2^1413019-1 is not prime. Res64: 7A6981E864856622 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:47:47] 629*2^1413020-1 is not prime. Res64: 78A2E57F4B624BF2 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:47:47] 973*2^1413019-1 is not prime. Res64: E1FD9684C5ABFD27 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:47:47] 777*2^1413020-1 is not prime. Res64: 292F8B715DB81346 Time : 0.0 sec. user=mdettweiler [2015-10-23 09:47:48] 669*2^1413020-1 is not prime. Res64: 2EFBC6C5FEE12F6B Time : 0.0 sec. user=mdettweiler [2015-10-23 09:47:48] 797*2^1413020-1 is not prime. Res64: 04E51555B1031EB6 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:05:19] 935*2^1413020-1 is not prime. Res64: BB373932E4D472D4 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:05:20] 893*2^1413020-1 is not prime. Res64: 58912926ED7DC1A1 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:05:22] 819*2^1413020-1 is not prime. Res64: BFEB2639A990102C Time : 0.0 sec. user=mdettweiler [2015-10-23 10:05:24] 915*2^1413020-1 is not prime. Res64: 74BCC10E8BE95B43 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:05:24] 845*2^1413020-1 is not prime. Res64: 171BDE6E088534F3 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:05:24] 999*2^1413020-1 is not prime. Res64: DF190C0D108D5B8A Time : 0.0 sec. user=mdettweiler [2015-10-23 10:23:36] 679*2^1413021-1 is not prime. Res64: B071A6E0A0EBB8E8 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:23:37] 849*2^1413021-1 is not prime. Res64: F625A6DF371C518A Time : 0.0 sec. user=mdettweiler [2015-10-23 10:23:41] 937*2^1413021-1 is not prime. Res64: 9DC6715CFFE7A539 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:23:42] 975*2^1413021-1 is not prime. Res64: 25D664D36090DAB8 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:23:45] 625*2^1413021-1 is not prime. Res64: 2A8EEBCD2808C9D8 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:23:45] 627*2^1413021-1 is not prime. Res64: 68AB24C3E5BF8543 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:41:08] 991*2^1413021-1 is not prime. Res64: 80225FA6F27C17DF Time : 0.0 sec. user=mdettweiler [2015-10-23 10:41:09] 999*2^1413021-1 is not prime. Res64: 2AEEEE108FBF8CCF Time : 0.0 sec. user=mdettweiler [2015-10-23 10:41:14] 647*2^1413022-1 is not prime. Res64: 838433A4F569E5E5 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:41:15] 695*2^1413022-1 is not prime. Res64: 0ADF3784A533FF02 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:41:15] 867*2^1413022-1 is not prime. Res64: 9708C1BF0369F523 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:41:16] 965*2^1413022-1 is not prime. Res64: D0064C60A596F138 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:58:44] 699*2^1413024-1 is not prime. Res64: 1FDB412D9880A630 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:58:45] 747*2^1413024-1 is not prime. Res64: 6B773494938EB837 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:58:45] 781*2^1413023-1 is not prime. Res64: 5FCB7CE23D497230 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:58:46] 825*2^1413023-1 is not prime. Res64: 8E2F8AA0487F88A0 Time : 0.0 sec. user=mdettweiler [2015-10-23 10:58:47] 885*2^1413023-1 is not prime. Res64: 2CA995E3B9CD346D Time : 0.0 sec. user=mdettweiler [2015-10-23 10:58:48] 895*2^1413023-1 is not prime. Res64: 8498CFC84ACC65DE Time : 0.0 sec. user=mdettweiler [2015-10-23 11:16:16] 893*2^1413024-1 is not prime. Res64: 6A8A08DB6315D6F9 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:16:18] 993*2^1413024-1 is not prime. Res64: 21FDDC8055D7D501 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:16:19] 831*2^1413025-1 is not prime. Res64: 27FC34985142F8C8 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:16:20] 649*2^1413025-1 is not prime. Res64: 8254B689B4875A6E Time : 0.0 sec. user=mdettweiler [2015-10-23 11:16:20] 635*2^1413026-1 is not prime. Res64: 512389EA2C479087 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:16:21] 667*2^1413025-1 is not prime. Res64: 82339ED2ECB48E4D Time : 0.0 sec. user=mdettweiler [2015-10-23 11:33:49] 717*2^1413026-1 is not prime. Res64: E022967E840C3B29 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:33:49] 867*2^1413026-1 is not prime. Res64: 5B1BE4296F7FC8C0 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:33:50] 741*2^1413026-1 is not prime. Res64: 6C58CF1BD012B5A7 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:33:50] 953*2^1413026-1 is not prime. Res64: D9A8359E5BD7B0BA Time : 0.0 sec. user=mdettweiler [2015-10-23 11:33:51] 993*2^1413026-1 is not prime. Res64: 174625DBD2C703C4 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:33:52] 705*2^1413027-1 is not prime. Res64: 046DE174C6B26927 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:51:20] 793*2^1413027-1 is not prime. Res64: 1BA52654B10A873C Time : 0.0 sec. user=mdettweiler [2015-10-23 11:51:21] 849*2^1413027-1 is not prime. Res64: E67151E4B538AFE0 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:51:21] 741*2^1413027-1 is not prime. Res64: D0C7BFFCA88D9886 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:51:21] 871*2^1413027-1 is not prime. Res64: 897E0798BF034BC5 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:51:22] 765*2^1413027-1 is not prime. Res64: B3F1CE7433BDF0A6 Time : 0.0 sec. user=mdettweiler [2015-10-23 11:51:22] 903*2^1413027-1 is not prime. Res64: 6C3B30DE149ED4A6 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:08:53] 647*2^1413028-1 is not prime. Res64: DBFF9E0A90AB834A Time : 0.0 sec. user=mdettweiler [2015-10-23 12:08:54] 621*2^1413029-1 is not prime. Res64: 09B9D364918C7CAC Time : 0.0 sec. user=mdettweiler [2015-10-23 12:08:54] 657*2^1413028-1 is not prime. Res64: 5FB31CBF86F0660A Time : 0.0 sec. user=mdettweiler [2015-10-23 12:08:54] 631*2^1413029-1 is not prime. Res64: 16AACA498DC008E4 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:08:55] 833*2^1413028-1 is not prime. Res64: 965C29E154B9726A Time : 0.0 sec. user=mdettweiler [2015-10-23 12:08:56] 899*2^1413028-1 is not prime. Res64: E3687B0698AA329B Time : 0.0 sec. user=mdettweiler [2015-10-23 12:26:25] 697*2^1413029-1 is not prime. Res64: FABC2A0A5659D12C Time : 0.0 sec. user=mdettweiler [2015-10-23 12:26:26] 745*2^1413029-1 is not prime. Res64: 5123799992BBF582 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:26:30] 847*2^1413029-1 is not prime. Res64: DEC1177C5B88752A Time : 0.0 sec. user=mdettweiler [2015-10-23 12:26:31] 747*2^1413029-1 is not prime. Res64: 21C173C5826D0AEF Time : 0.0 sec. user=mdettweiler [2015-10-23 12:26:31] 897*2^1413029-1 is not prime. Res64: EAD978634E820DE4 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:26:32] 789*2^1413029-1 is not prime. Res64: 4716E80C1D221FFC Time : 0.0 sec. user=mdettweiler [2015-10-23 12:44:00] 939*2^1413029-1 is not prime. Res64: 099A31FBB60798E5 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:44:01] 987*2^1413029-1 is not prime. Res64: 4C395693E7CEA873 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:44:05] 671*2^1413030-1 is not prime. Res64: 8B705454F74D797D Time : 0.0 sec. user=mdettweiler [2015-10-23 12:44:05] 725*2^1413030-1 is not prime. Res64: 0767D6A6141174E3 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:44:06] 723*2^1413030-1 is not prime. Res64: A3C6C6EC3EE93120 Time : 0.0 sec. user=mdettweiler [2015-10-23 12:44:06] 875*2^1413030-1 is not prime. Res64: 073543DC74EB5B76 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:01:36] 913*2^1413031-1 is not prime. Res64: 80B326BF0BEEB203 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:01:36] 927*2^1413030-1 is not prime. Res64: A34BA1D8234A1B56 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:01:38] 829*2^1413031-1 is not prime. Res64: 16C87AC0AC7FF459 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:01:40] 895*2^1413031-1 is not prime. Res64: AF0EDAB3ACE46431 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:01:40] 999*2^1413031-1 is not prime. Res64: 67A5A6E681E36A9A Time : 0.0 sec. user=mdettweiler [2015-10-23 13:01:41] 625*2^1413031-1 is not prime. Res64: 362BF9709A8720E2 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:19:12] 797*2^1413032-1 is not prime. Res64: AABDEBA8AD99F17D Time : 0.0 sec. user=mdettweiler [2015-10-23 13:19:12] 629*2^1413032-1 is not prime. Res64: CE33B6DC07DE83F7 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:19:13] 769*2^1413033-1 is not prime. Res64: C599DA0A3489C419 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:19:13] 877*2^1413033-1 is not prime. Res64: 1251E07AFF9BB465 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:19:13] 743*2^1413032-1 is not prime. Res64: 1BE08AC430E44D2B Time : 0.0 sec. user=mdettweiler [2015-10-23 13:19:14] 949*2^1413033-1 is not prime. Res64: 0A267144EAA1E043 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:36:44] 657*2^1413034-1 is not prime. Res64: A1EA52E2DE7C591E Time : 0.0 sec. user=mdettweiler [2015-10-23 13:36:45] 705*2^1413034-1 is not prime. Res64: E89C0079F4662F70 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:36:45] 969*2^1413033-1 is not prime. Res64: 29795C497B5C3F5D Time : 0.0 sec. user=mdettweiler [2015-10-23 13:36:46] 815*2^1413034-1 is not prime. Res64: 29889AB0CB9B6B14 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:36:46] 617*2^1413034-1 is not prime. Res64: EEC81A09B05D0CA6 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:36:47] 905*2^1413034-1 is not prime. Res64: 7AEA212E0E633D74 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:54:15] 609*2^1413035-1 is not prime. Res64: 043306E106C0A752 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:54:16] 619*2^1413035-1 is not prime. Res64: 2E51E9E0D1AAE51A Time : 0.0 sec. user=mdettweiler [2015-10-23 13:54:17] 963*2^1413035-1 is not prime. Res64: 571A13407F1E7F88 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:54:17] 969*2^1413035-1 is not prime. Res64: C9D85431EF544F68 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:54:18] 799*2^1413035-1 is not prime. Res64: 91CE2EFD9F5FE5B5 Time : 0.0 sec. user=mdettweiler [2015-10-23 13:54:19] 949*2^1413035-1 is not prime. Res64: 32314096FEC05DBD Time : 0.0 sec. user=mdettweiler [2015-10-23 14:11:45] 675*2^1413036-1 is not prime. Res64: 90642A568958AC8E Time : 0.0 sec. user=mdettweiler [2015-10-23 14:11:46] 725*2^1413036-1 is not prime. Res64: AA347F589D59C5FA Time : 0.0 sec. user=mdettweiler [2015-10-23 14:11:48] 839*2^1413036-1 is not prime. Res64: C2F6D8BEF633B954 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:11:48] 737*2^1413036-1 is not prime. Res64: A76344901B484F48 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:11:49] 825*2^1413036-1 is not prime. Res64: 4DF8501C4532D54D Time : 0.0 sec. user=mdettweiler [2015-10-23 14:11:49] 879*2^1413036-1 is not prime. Res64: 6332774E41D3503E Time : 0.0 sec. user=mdettweiler [2015-10-23 14:29:17] 927*2^1413036-1 is not prime. Res64: 5941693E5FE2E4C8 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:29:18] 603*2^1413038-1 is not prime. Res64: 04F6899190785FC1 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:29:18] 601*2^1413037-1 is not prime. Res64: 6492B093DEF58DBE Time : 0.0 sec. user=mdettweiler [2015-10-23 14:29:19] 605*2^1413038-1 is not prime. Res64: 837DC42770CA1A7B Time : 0.0 sec. user=mdettweiler [2015-10-23 14:29:26] 727*2^1413037-1 is not prime. Res64: 0FB96E538B9761BD Time : 0.0 sec. user=mdettweiler [2015-10-23 14:29:27] 939*2^1413037-1 is not prime. Res64: 078C3241DB92FA8C Time : 0.0 sec. user=mdettweiler [2015-10-23 14:47:05] 795*2^1413038-1 is not prime. Res64: 0985B18361BB12FA Time : 0.0 sec. user=mdettweiler [2015-10-23 14:47:06] 815*2^1413038-1 is not prime. Res64: 0ED86CB784EA99C9 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:47:06] 671*2^1413038-1 is not prime. Res64: F66D96B894BD47F2 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:47:08] 791*2^1413038-1 is not prime. Res64: ED36867F2D0345A8 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:47:10] 861*2^1413038-1 is not prime. Res64: C68771856CE07279 Time : 0.0 sec. user=mdettweiler [2015-10-23 14:47:10] 987*2^1413038-1 is not prime. Res64: 34452D4AD014A33F Time : 0.0 sec. user=mdettweiler [2015-10-23 15:04:56] 921*2^1413039-1 is not prime. Res64: 8D39AAE49F9D73E8 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:04:57] 653*2^1413040-1 is not prime. Res64: B0F958CCEA7936FA Time : 0.0 sec. user=mdettweiler [2015-10-23 15:04:59] 649*2^1413039-1 is not prime. Res64: BFBFA6932FB99A45 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:05:00] 795*2^1413039-1 is not prime. Res64: 40B2B79C9A01D9A7 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:05:02] 661*2^1413039-1 is not prime. Res64: DA517C9ADA4B5BE4 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:05:03] 859*2^1413039-1 is not prime. Res64: FB93D65773DE18E0 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:22:56] 699*2^1413040-1 is not prime. Res64: AE61228A4393D954 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:22:57] 755*2^1413040-1 is not prime. Res64: 4AC59C16D20167DF Time : 0.0 sec. user=mdettweiler [2015-10-23 15:22:57] 735*2^1413040-1 is not prime. Res64: 73C55D690DA5891F Time : 0.0 sec. user=mdettweiler [2015-10-23 15:22:57] 819*2^1413040-1 is not prime. Res64: 12A69FE04927576B Time : 0.0 sec. user=mdettweiler [2015-10-23 15:23:01] 827*2^1413040-1 is not prime. Res64: BEA221CE65AC7830 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:23:02] 685*2^1413041-1 is not prime. Res64: BE2E199AD1105A02 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:40:35] 907*2^1413041-1 is not prime. Res64: 2C73C13AE6F22293 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:40:36] 987*2^1413041-1 is not prime. Res64: E7B09976BF09E472 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:40:36] 633*2^1413042-1 is not prime. Res64: 1B69A3F98E009D55 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:40:36] 681*2^1413042-1 is not prime. Res64: 7013C338CB31D8B8 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:40:42] 705*2^1413042-1 is not prime. Res64: 54E07B24FC743958 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:40:43] 713*2^1413042-1 is not prime. Res64: 8D9C46F4096D8638 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:58:28] 723*2^1413043-1 is not prime. Res64: 81A95BC4622CAC92 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:58:28] 921*2^1413042-1 is not prime. Res64: 7E1E5EEBD00614D9 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:58:29] 745*2^1413043-1 is not prime. Res64: FB0F1B3E7960D0A0 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:58:29] 705*2^1413043-1 is not prime. Res64: CCA1F2D0E82D0210 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:58:31] 769*2^1413043-1 is not prime. Res64: B82C8DC5EDCCFBD1 Time : 0.0 sec. user=mdettweiler [2015-10-23 15:58:32] 913*2^1413043-1 is not prime. Res64: D3F45296B900C35D Time : 0.0 sec. user=mdettweiler [2015-10-23 16:16:58] 827*2^1413044-1 is not prime. Res64: C246452C2BB2C4C1 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:16:59] 903*2^1413044-1 is not prime. Res64: BA3892E3300F5C51 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:17:00] 919*2^1413043-1 is not prime. Res64: CD85027FB0D03E7D Time : 0.0 sec. user=mdettweiler [2015-10-23 16:17:00] 999*2^1413043-1 is not prime. Res64: 0B1C87CEF0E789A4 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:17:01] 969*2^1413043-1 is not prime. Res64: 4C7CF8B10DB6CA8A Time : 0.0 sec. user=mdettweiler [2015-10-23 16:17:01] 759*2^1413044-1 is not prime. Res64: 11830883496E0623 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:36:26] 959*2^1413044-1 is not prime. Res64: 4B327562EE41C7CE Time : 0.0 sec. user=mdettweiler [2015-10-23 16:36:27] 993*2^1413044-1 is not prime. Res64: 6575109CD911F483 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:36:29] 995*2^1413044-1 is not prime. Res64: 47C073EDEA504986 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:36:30] 601*2^1413045-1 is not prime. Res64: 1F9E64CC4ABF6B2F Time : 0.0 sec. user=mdettweiler [2015-10-23 16:36:33] 609*2^1413045-1 is not prime. Res64: 6C7FFB5A70A5F4EF Time : 0.0 sec. user=mdettweiler [2015-10-23 16:36:34] 741*2^1413045-1 is not prime. Res64: BEA72817E1CDAC07 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:56:22] 861*2^1413045-1 is not prime. Res64: DD5B0C2736979555 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:56:23] 895*2^1413045-1 is not prime. Res64: 6D6AD8B6A69B10D6 Time : 0.0 sec. user=mdettweiler [2015-10-23 16:56:26] 969*2^1413045-1 is not prime. Res64: F699574C2468724B Time : 0.0 sec. user=mdettweiler [2015-10-23 16:56:28] 991*2^1413045-1 is not prime. Res64: 2C145FD748F6B17F Time : 0.0 sec. user=mdettweiler [2015-10-23 16:56:30] 647*2^1413046-1 is not prime. Res64: E3500CBADFA28AAE Time : 0.0 sec. user=mdettweiler [2015-10-23 16:56:31] 723*2^1413046-1 is not prime. Res64: 7FDE571EEA3D740C Time : 0.0 sec. user=mdettweiler [2015-10-23 17:16:35] 933*2^1413046-1 is not prime. Res64: 80043D1A18070F1C Time : 0.0 sec. user=mdettweiler [2015-10-23 17:16:36] 945*2^1413046-1 is not prime. Res64: E1B8A0F9379B9E69 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:16:41] 957*2^1413046-1 is not prime. Res64: D10B3A7FC2488EAB Time : 0.0 sec. user=mdettweiler [2015-10-23 17:16:42] 971*2^1413046-1 is not prime. Res64: 44DF10C6408610AF Time : 0.0 sec. user=mdettweiler [2015-10-23 17:16:42] 983*2^1413046-1 is not prime. Res64: 14942641C9E71188 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:16:43] 601*2^1413047-1 is not prime. Res64: A96BC4BBEE2D7295 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:37:27] 663*2^1413047-1 is not prime. Res64: DEBCA6E0D12887C0 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:37:28] 781*2^1413047-1 is not prime. Res64: 109706D757523C5C Time : 0.0 sec. user=mdettweiler [2015-10-23 17:37:41] 915*2^1413047-1 is not prime. Res64: B6D09A5C4E9DA729 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:37:41] 841*2^1413047-1 is not prime. Res64: 0888314C413BA56E Time : 0.0 sec. user=mdettweiler [2015-10-23 17:37:42] 939*2^1413047-1 is not prime. Res64: 2720EEA90D5F4386 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:37:42] 885*2^1413047-1 is not prime. Res64: A2040939B45AA704 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:55:32] 695*2^1413048-1 is not prime. Res64: 7CD3B1AF60ADA98A Time : 0.0 sec. user=mdettweiler [2015-10-23 17:55:33] 705*2^1413048-1 is not prime. Res64: 1B87D800A36D8132 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:55:44] 707*2^1413048-1 is not prime. Res64: D31B776AE42407D5 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:55:45] 809*2^1413048-1 is not prime. Res64: C59962C3C2A6CF28 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:55:45] 735*2^1413048-1 is not prime. Res64: 8E23ECD302CEFDC3 Time : 0.0 sec. user=mdettweiler [2015-10-23 17:55:46] 637*2^1413049-1 is not prime. Res64: 8BFDBBC64B29A889 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:13:07] 661*2^1413049-1 is not prime. Res64: 7A277E4C7B75A75A Time : 0.0 sec. user=mdettweiler [2015-10-23 18:13:08] 741*2^1413049-1 is not prime. Res64: C30BE420813D4710 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:13:15] 789*2^1413049-1 is not prime. Res64: 22D8D462FF136922 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:13:16] 939*2^1413049-1 is not prime. Res64: 4C5D4F8E37B87E87 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:13:17] 867*2^1413049-1 is not prime. Res64: E76D6A8932A07996 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:13:18] 955*2^1413049-1 is not prime. Res64: DC01D53F912A9A00 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:31:17] 773*2^1413050-1 is not prime. Res64: 05387335E9CE05B8 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:31:18] 797*2^1413050-1 is not prime. Res64: 1DE657F2A86A79BF Time : 0.0 sec. user=mdettweiler [2015-10-23 18:31:21] 825*2^1413050-1 is not prime. Res64: 90B555DD3B3E1813 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:31:21] 867*2^1413050-1 is not prime. Res64: 1C754F228E7DE436 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:31:30] 915*2^1413050-1 is not prime. Res64: E2AF30C5FA736CC0 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:31:30] 945*2^1413050-1 is not prime. Res64: 97BD839C584361E2 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:49:26] 625*2^1413051-1 is not prime. Res64: 6D2B08F0097B24AC Time : 0.0 sec. user=mdettweiler [2015-10-23 18:49:28] 931*2^1413051-1 is not prime. Res64: 7993AA29CE19CD98 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:49:32] 945*2^1413051-1 is not prime. Res64: 427E3289109201F4 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:49:33] 979*2^1413051-1 is not prime. Res64: 92E389D5C2DB27CF Time : 0.0 sec. user=mdettweiler [2015-10-23 18:49:41] 609*2^1413052-1 is not prime. Res64: C1D9E9919EF9C9F6 Time : 0.0 sec. user=mdettweiler [2015-10-23 18:49:42] 639*2^1413052-1 is not prime. Res64: BA27BFAB4F7A8EAF Time : 0.0 sec. user=mdettweiler [2015-10-23 19:07:37] 719*2^1413052-1 is not prime. Res64: 10930B00B186FF9B Time : 0.0 sec. user=mdettweiler [2015-10-23 19:07:38] 857*2^1413052-1 is not prime. Res64: 5DCA423F0EE15893 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:07:38] 863*2^1413052-1 is not prime. Res64: 7AE4BBEB447EB429 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:07:39] 679*2^1413053-1 is not prime. Res64: D9456324D93010D4 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:07:45] 757*2^1413053-1 is not prime. Res64: AC2E24758DF52D48 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:07:45] 847*2^1413053-1 is not prime. Res64: 89EEAC4ADF6ADBC9 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:25:43] 855*2^1413053-1 is not prime. Res64: A808A9DD12992491 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:25:44] 621*2^1413054-1 is not prime. Res64: 595E653789E3FC3F Time : 0.0 sec. user=mdettweiler [2015-10-23 19:25:48] 927*2^1413054-1 is not prime. Res64: 5DC742265231520E Time : 0.0 sec. user=mdettweiler [2015-10-23 19:25:49] 645*2^1413055-1 is not prime. Res64: 3CE428B33C4448F2 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:25:57] 973*2^1413055-1 is not prime. Res64: 1BB3527E71C19932 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:25:58] 669*2^1413056-1 is not prime. Res64: 316DDA535D557281 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:43:55] 693*2^1413056-1 is not prime. Res64: A963BF4B6E7532F7 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:43:56] 825*2^1413056-1 is not prime. Res64: 8E0B63BB219905B7 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:43:59] 869*2^1413056-1 is not prime. Res64: F1A6ABA66B23B372 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:44:00] 875*2^1413056-1 is not prime. Res64: 923172C3A1465469 Time : 0.0 sec. user=mdettweiler [2015-10-23 19:44:08] 963*2^1413056-1 is not prime. Res64: AE53F181B38E8C9F Time : 0.0 sec. user=mdettweiler [2015-10-23 19:44:10] 717*2^1413057-1 is not prime. Res64: 8E149F0D2000BD35 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:01:47] 805*2^1413057-1 is not prime. Res64: 65F01610AA2FB2E4 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:01:49] 807*2^1413057-1 is not prime. Res64: 2AAB848CC485CF0C Time : 0.0 sec. user=mdettweiler [2015-10-23 20:01:52] 865*2^1413057-1 is not prime. Res64: 0784C74C4985C410 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:01:54] 909*2^1413057-1 is not prime. Res64: 4B3F090807E31EDB Time : 0.0 sec. user=mdettweiler [2015-10-23 20:02:03] 945*2^1413057-1 is not prime. Res64: 4BAA49DC8CEF6246 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:02:05] 617*2^1413058-1 is not prime. Res64: 49B4C3BC546B1A03 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:20:20] 663*2^1413058-1 is not prime. Res64: 01EB58EA39170414 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:20:21] 681*2^1413058-1 is not prime. Res64: 75E4A5989D14E4A0 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:20:25] 813*2^1413058-1 is not prime. Res64: 4340F3418B573A9F Time : 0.0 sec. user=mdettweiler [2015-10-23 20:20:25] 843*2^1413058-1 is not prime. Res64: 0B24FB241507A90A Time : 0.0 sec. user=mdettweiler [2015-10-23 20:20:26] 857*2^1413058-1 is not prime. Res64: 8967A462A7E59646 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:20:26] 887*2^1413058-1 is not prime. Res64: A8C4EB86178FD3D6 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:38:07] 615*2^1413059-1 is not prime. Res64: 223FC9DCC662854E Time : 0.0 sec. user=mdettweiler [2015-10-23 20:38:08] 703*2^1413059-1 is not prime. Res64: 68233DF662D9CEF1 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:38:11] 719*2^1413060-1 is not prime. Res64: 1DCE9533932CB76F Time : 0.0 sec. user=mdettweiler [2015-10-23 20:38:11] 725*2^1413060-1 is not prime. Res64: A3290BEB0B0B861E Time : 0.0 sec. user=mdettweiler [2015-10-23 20:38:14] 955*2^1413059-1 is not prime. Res64: FB68606458028BB1 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:38:14] 973*2^1413059-1 is not prime. Res64: 8D96272411AECD91 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:55:44] 867*2^1413060-1 is not prime. Res64: 74AD31199B0BC636 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:55:44] 873*2^1413060-1 is not prime. Res64: ADB7448F9265C1C2 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:55:45] 767*2^1413060-1 is not prime. Res64: 743793015B1D1554 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:55:46] 777*2^1413060-1 is not prime. Res64: 330245863077E83C Time : 0.0 sec. user=mdettweiler [2015-10-23 20:55:48] 899*2^1413060-1 is not prime. Res64: 25810BF582EC9149 Time : 0.0 sec. user=mdettweiler [2015-10-23 20:55:48] 929*2^1413060-1 is not prime. Res64: 901FABC8E3D83C99 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:13:14] 645*2^1413061-1 is not prime. Res64: 47C219CD171322C8 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:13:15] 687*2^1413061-1 is not prime. Res64: B5A9679E3A026CE2 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:13:16] 717*2^1413061-1 is not prime. Res64: 19713B5D2F28CF72 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:13:16] 799*2^1413061-1 is not prime. Res64: 711A0084AB9D0362 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:13:17] 801*2^1413061-1 is not prime. Res64: 05B32162BBD5FC9E Time : 0.0 sec. user=mdettweiler [2015-10-23 21:13:18] 895*2^1413061-1 is not prime. Res64: 31BCBDCAC5282898 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:30:54] 635*2^1413062-1 is not prime. Res64: 4DB27CF53C0E6B50 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:30:54] 741*2^1413062-1 is not prime. Res64: 0442F8ADB6BCDD06 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:30:55] 693*2^1413062-1 is not prime. Res64: B0B9BA3A251E2226 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:30:55] 747*2^1413062-1 is not prime. Res64: 9DDC2986A9280035 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:30:55] 785*2^1413062-1 is not prime. Res64: 782FF63D10264BF6 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:30:56] 813*2^1413062-1 is not prime. Res64: DC919CE86C60C328 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:48:33] 945*2^1413062-1 is not prime. Res64: FE4712B436CFA62B Time : 0.0 sec. user=mdettweiler [2015-10-23 21:48:33] 965*2^1413062-1 is not prime. Res64: E4A5C22C6B9D8E56 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:48:33] 953*2^1413062-1 is not prime. Res64: D53D3BB2CFFD0716 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:48:34] 663*2^1413063-1 is not prime. Res64: 4975A01611F48A6C Time : 0.0 sec. user=mdettweiler [2015-10-23 21:48:34] 649*2^1413063-1 is not prime. Res64: CD269BB4C51F43E9 Time : 0.0 sec. user=mdettweiler [2015-10-23 21:48:35] 703*2^1413063-1 is not prime. Res64: 766337B39F19847B Time : 0.0 sec. user=mdettweiler [2015-10-23 22:06:03] 741*2^1413063-1 is not prime. Res64: 22CE113B2FC045F1 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:06:04] 795*2^1413063-1 is not prime. Res64: CFA1F406D583E9AE Time : 0.0 sec. user=mdettweiler [2015-10-23 22:06:08] 805*2^1413063-1 is not prime. Res64: F113F16D8CD8AB17 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:06:09] 901*2^1413063-1 is not prime. Res64: 4152E85B10B099FF Time : 0.0 sec. user=mdettweiler [2015-10-23 22:06:11] 891*2^1413063-1 is not prime. Res64: A2C3F922F8033704 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:06:11] 933*2^1413063-1 is not prime. Res64: A5EEE4FA29A8A521 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:23:33] 955*2^1413063-1 is not prime. Res64: 19E7629B8371D2BD Time : 0.0 sec. user=mdettweiler [2015-10-23 22:23:33] 623*2^1413064-1 is not prime. Res64: 8FB0DCFAF96DAD29 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:23:35] 675*2^1413064-1 is not prime. Res64: DBDE801CABD8E398 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:23:35] 719*2^1413064-1 is not prime. Res64: 590D13D98CFC7A4E Time : 0.0 sec. user=mdettweiler [2015-10-23 22:23:37] 875*2^1413064-1 is not prime. Res64: DEC3DC9D4215D259 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:23:37] 903*2^1413064-1 is not prime. Res64: 014A0098BF59F7B3 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:41:00] 795*2^1413065-1 is not prime. Res64: 365C50CB39EE7F40 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:41:00] 909*2^1413065-1 is not prime. Res64: 2B6C651258163E20 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:41:03] 735*2^1413066-1 is not prime. Res64: 7E0B93EC4586BB61 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:41:04] 741*2^1413066-1 is not prime. Res64: 6F9FA030437D260D Time : 0.0 sec. user=mdettweiler [2015-10-23 22:41:04] 801*2^1413066-1 is not prime. Res64: ADD2820F7464094B Time : 0.0 sec. user=mdettweiler [2015-10-23 22:41:05] 803*2^1413066-1 is not prime. Res64: EB288AC6609D82A8 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:58:24] 917*2^1413066-1 is not prime. Res64: 6D9CC282F8EF29CF Time : 0.0 sec. user=mdettweiler [2015-10-23 22:58:24] 933*2^1413066-1 is not prime. Res64: 9A1506D1FFA3F91A Time : 0.0 sec. user=mdettweiler [2015-10-23 22:58:26] 615*2^1413067-1 is not prime. Res64: DC687734CD97C9B3 Time : 0.0 sec. user=mdettweiler [2015-10-23 22:58:27] 631*2^1413067-1 is not prime. Res64: 012F42A80F4E622C Time : 0.0 sec. user=mdettweiler [2015-10-23 22:58:28] 793*2^1413067-1 is not prime. Res64: C7B84BE608BA1BFC Time : 0.0 sec. user=mdettweiler [2015-10-23 22:58:29] 829*2^1413067-1 is not prime. Res64: 12FBB644C3724B1B Time : 0.0 sec. user=mdettweiler [2015-10-23 23:15:51] 647*2^1413068-1 is not prime. Res64: FA1B05DCF4EBFCE6 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:15:51] 861*2^1413067-1 is not prime. Res64: 54F08C406CC86440 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:15:51] 665*2^1413068-1 is not prime. Res64: 65B21ABA869ABEEA Time : 0.0 sec. user=mdettweiler [2015-10-23 23:15:51] 635*2^1413068-1 is not prime. Res64: B7EA1CA6014F41AE Time : 0.0 sec. user=mdettweiler [2015-10-23 23:15:52] 677*2^1413068-1 is not prime. Res64: 64FC1F6C62E15D46 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:15:53] 855*2^1413068-1 is not prime. Res64: 00312B18CA966538 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:33:16] 649*2^1413069-1 is not prime. Res64: C243F0FCB040D20A Time : 0.0 sec. user=mdettweiler [2015-10-23 23:33:16] 781*2^1413069-1 is not prime. Res64: 5694A694991E3C23 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:33:16] 685*2^1413069-1 is not prime. Res64: 60D0DDEAC20E5A93 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:33:16] 949*2^1413069-1 is not prime. Res64: 995860142C7C702A Time : 0.0 sec. user=mdettweiler [2015-10-23 23:33:19] 869*2^1413068-1 is not prime. Res64: 7EDBE01088491BEC Time : 0.0 sec. user=mdettweiler [2015-10-23 23:33:20] 899*2^1413068-1 is not prime. Res64: 09BA7CB07BF03413 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:50:39] 955*2^1413069-1 is not prime. Res64: 30493C4009510BCA Time : 0.0 sec. user=mdettweiler [2015-10-23 23:50:39] 605*2^1413070-1 is not prime. Res64: 906B078E40DC123C Time : 0.0 sec. user=mdettweiler [2015-10-23 23:50:39] 635*2^1413070-1 is not prime. Res64: B207FA5796656BD1 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:50:40] 671*2^1413070-1 is not prime. Res64: 02AFE93C193091B8 Time : 0.0 sec. user=mdettweiler [2015-10-23 23:50:43] 833*2^1413070-1 is not prime. Res64: AA417295D992EBFB Time : 0.0 sec. user=mdettweiler [2015-10-23 23:50:43] 933*2^1413070-1 is not prime. Res64: 53792D505DB65842 Time : 0.0 sec.