user=mdettweiler [2016-10-07 00:04:20] 817*2^1441929-1 is not prime. Res64: C862B2E9C6906B66 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:04:21] 907*2^1441929-1 is not prime. Res64: 227EA02943282E3D Time : 0.0 sec. user=mdettweiler [2016-10-07 00:04:22] 919*2^1441929-1 is not prime. Res64: 4514CDE6D46F751E Time : 0.0 sec. user=mdettweiler [2016-10-07 00:04:22] 999*2^1441929-1 is not prime. Res64: 5101F5C7EEE46779 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:04:23] 611*2^1441930-1 is not prime. Res64: A304698039874D21 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:06:33] 645*2^1441930-1 is not prime. Res64: 112AE98C6F9FB946 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:06:34] 681*2^1441930-1 is not prime. Res64: 0DDE3E1BD7F602B4 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:06:35] 731*2^1441930-1 is not prime. Res64: 8267FE1468F3DE8D Time : 0.0 sec. user=mdettweiler [2016-10-07 00:06:36] 783*2^1441930-1 is not prime. Res64: A679C6B9F0150B5D Time : 0.0 sec. user=mdettweiler [2016-10-07 00:06:37] 923*2^1441930-1 is not prime. Res64: C3069257C9E5989E Time : 0.0 sec. user=mdettweiler [2016-10-07 00:42:17] 951*2^1441930-1 is not prime. Res64: DE1CCF8A057E7233 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:42:18] 957*2^1441930-1 is not prime. Res64: 2DA8F9BE000EAC3D Time : 0.0 sec. user=mdettweiler [2016-10-07 00:42:18] 663*2^1441931-1 is not prime. Res64: 34CFD6A9EE557A0E Time : 0.0 sec. user=mdettweiler [2016-10-07 00:42:18] 715*2^1441931-1 is not prime. Res64: 579383BF2654417D Time : 0.0 sec. user=mdettweiler [2016-10-07 00:42:19] 741*2^1441931-1 is not prime. Res64: B8F8CD9526C61AA5 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:43:50] 901*2^1441931-1 is not prime. Res64: B660C125D7DF12B4 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:43:50] 939*2^1441931-1 is not prime. Res64: 74B634701BEDEEB7 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:43:51] 887*2^1441932-1 is not prime. Res64: 83EA35BBF04FDED3 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:43:52] 915*2^1441932-1 is not prime. Res64: 599BB93A191BCC67 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:43:52] 929*2^1441932-1 is not prime. Res64: 4EBD87B7BDEB3930 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:52:37] 947*2^1441932-1 is not prime. Res64: 565D43FB093810C8 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:52:38] 975*2^1441932-1 is not prime. Res64: E7135CACE7D2B59F Time : 0.0 sec. user=mdettweiler [2016-10-07 00:52:38] 977*2^1441932-1 is not prime. Res64: 4D257461665FED0F Time : 0.0 sec. user=mdettweiler [2016-10-07 00:52:39] 751*2^1441933-1 is not prime. Res64: 38F3E6E1CEEA2AE5 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:52:39] 967*2^1441933-1 is not prime. Res64: 5A0AD1CEA2416B01 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:54:55] 987*2^1441933-1 is not prime. Res64: 2248754615F74174 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:54:55] 641*2^1441934-1 is not prime. Res64: F2650660E6B6775C Time : 0.0 sec. user=mdettweiler [2016-10-07 00:54:56] 675*2^1441934-1 is not prime. Res64: F3C9084E1615122A Time : 0.0 sec. user=mdettweiler [2016-10-07 00:54:56] 743*2^1441934-1 is not prime. Res64: 574B2E5460875D59 Time : 0.0 sec. user=mdettweiler [2016-10-07 00:54:56] 833*2^1441934-1 is not prime. Res64: 7C84D4C5933F91F3 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:27:41] 861*2^1441934-1 is not prime. Res64: AC830310A501152E Time : 0.0 sec. user=mdettweiler [2016-10-07 01:27:43] 885*2^1441934-1 is not prime. Res64: 71C7FEB7D6667CD2 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:27:45] 1001*2^1441934-1 is not prime. Res64: E2C14B89DDA5B732 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:27:46] 633*2^1441935-1 is not prime. Res64: B47D2E51799380E9 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:27:47] 685*2^1441935-1 is not prime. Res64: 8AB5177EE1AD7BE6 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:29:01] 795*2^1441935-1 is not prime. Res64: A69F002D9E084B6D Time : 0.0 sec. user=mdettweiler [2016-10-07 01:29:05] 819*2^1441935-1 is not prime. Res64: 4AAF46AF83253C4F Time : 0.0 sec. user=mdettweiler [2016-10-07 01:29:07] 895*2^1441935-1 is not prime. Res64: 74EB449DFD7185E5 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:29:09] 963*2^1441935-1 is not prime. Res64: F603F340200F5B8F Time : 0.0 sec. user=mdettweiler [2016-10-07 01:29:11] 979*2^1441935-1 is not prime. Res64: 9A675E5B542C6AB4 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:37:48] 615*2^1441936-1 is not prime. Res64: 02F7EDE4B4A72E28 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:37:48] 717*2^1441936-1 is not prime. Res64: 80C01FF0D27797FB Time : 0.0 sec. user=mdettweiler [2016-10-07 01:37:49] 719*2^1441936-1 is not prime. Res64: 5C0ACAB35E033E0D Time : 0.0 sec. user=mdettweiler [2016-10-07 01:37:50] 779*2^1441936-1 is not prime. Res64: 240A9981A3A6D679 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:37:50] 833*2^1441936-1 is not prime. Res64: ABED60012746731D Time : 0.0 sec. user=mdettweiler [2016-10-07 01:40:11] 903*2^1441936-1 is not prime. Res64: B0614CD525102A1C Time : 0.0 sec. user=mdettweiler [2016-10-07 01:40:13] 685*2^1441937-1 is not prime. Res64: 3C6C6129726B79A0 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:40:13] 841*2^1441937-1 is not prime. Res64: D6A3C27B9A892294 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:40:13] 861*2^1441937-1 is not prime. Res64: 54ACDEFA218B0270 Time : 0.0 sec. user=mdettweiler [2016-10-07 01:40:14] 871*2^1441937-1 is not prime. Res64: E78E546BD55F6050 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:13:16] 879*2^1441937-1 is not prime. Res64: FF2E6C125EFEE83C Time : 0.0 sec. user=mdettweiler [2016-10-07 02:13:17] 925*2^1441937-1 is not prime. Res64: D905C79F3759B1EC Time : 0.0 sec. user=mdettweiler [2016-10-07 02:13:17] 937*2^1441937-1 is not prime. Res64: F6DECC341FC668CA Time : 0.0 sec. user=mdettweiler [2016-10-07 02:13:17] 665*2^1441938-1 is not prime. Res64: 0AC7C894FB7B0B89 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:13:18] 671*2^1441938-1 is not prime. Res64: E02056AFBAC27002 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:14:25] 683*2^1441938-1 is not prime. Res64: DBA4BE79D1A03F45 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:14:26] 725*2^1441938-1 is not prime. Res64: 2CBA32421D82A4A5 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:14:26] 737*2^1441938-1 is not prime. Res64: 51E5F263A8313DDE Time : 0.0 sec. user=mdettweiler [2016-10-07 02:14:26] 773*2^1441938-1 is not prime. Res64: 7AB422B3F281B4C0 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:14:27] 875*2^1441938-1 is not prime. Res64: 29863D162E7035D2 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:23:02] 921*2^1441938-1 is not prime. Res64: DD943CADDA748059 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:23:03] 927*2^1441938-1 is not prime. Res64: 844EA34A06D72C7C Time : 0.0 sec. user=mdettweiler [2016-10-07 02:23:03] 941*2^1441938-1 is not prime. Res64: DEE78CDE1B14B3A7 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:23:03] 977*2^1441938-1 is not prime. Res64: D518C7E00EDD60E7 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:23:03] 603*2^1441939-1 is not prime. Res64: 2568022E9EEF7619 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:25:31] 619*2^1441939-1 is not prime. Res64: 91E382D11568C5FB Time : 0.0 sec. user=mdettweiler [2016-10-07 02:25:32] 645*2^1441939-1 is not prime. Res64: 56AA2408638EA554 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:25:32] 691*2^1441939-1 is not prime. Res64: 1C6C362E86BB9C82 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:25:33] 859*2^1441939-1 is not prime. Res64: D6DFDD94EEC7795F Time : 0.0 sec. user=mdettweiler [2016-10-07 02:25:33] 889*2^1441939-1 is not prime. Res64: 5F1336CE479EC752 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:58:55] 999*2^1441939-1 is not prime. Res64: 991DD6A4F5C6BF96 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:58:55] 603*2^1441940-1 is not prime. Res64: B9932DC5B2FF52D1 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:58:55] 647*2^1441940-1 is not prime. Res64: EF436700E4619BC9 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:58:56] 689*2^1441940-1 is not prime. Res64: BED4B502A14203E4 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:58:56] 963*2^1441940-1 is not prime. Res64: EBDF68545D9807EF Time : 0.0 sec. user=mdettweiler [2016-10-07 02:59:48] 977*2^1441940-1 is not prime. Res64: CD7EB5CDDDB0EE8D Time : 0.0 sec. user=mdettweiler [2016-10-07 02:59:48] 983*2^1441940-1 is not prime. Res64: 321424BD93189811 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:59:48] 995*2^1441940-1 is not prime. Res64: 0355508316E8D782 Time : 0.0 sec. user=mdettweiler [2016-10-07 02:59:49] 609*2^1441941-1 is not prime. Res64: E385DECF151AB8EF Time : 0.0 sec. user=mdettweiler [2016-10-07 02:59:49] 651*2^1441941-1 is not prime. Res64: 91EDAFAC57801DE9 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:08:12] 679*2^1441941-1 is not prime. Res64: 0C43AE18791AD76C Time : 0.0 sec. user=mdettweiler [2016-10-07 03:08:13] 685*2^1441941-1 is not prime. Res64: FBE639375EF294B7 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:08:13] 751*2^1441941-1 is not prime. Res64: C6D8C365720BAC59 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:08:13] 777*2^1441941-1 is not prime. Res64: D7C4BDB0B75C6104 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:08:14] 817*2^1441941-1 is not prime. Res64: 5E8022A518BD742B Time : 0.0 sec. user=mdettweiler [2016-10-07 03:10:46] 927*2^1441941-1 is not prime. Res64: 3339B19BA2BDB6E3 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:10:47] 623*2^1441942-1 is not prime. Res64: 73FF9C78EFBE1A1D Time : 0.0 sec. user=mdettweiler [2016-10-07 03:10:47] 635*2^1441942-1 is not prime. Res64: E5D02785EBEC8290 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:10:47] 713*2^1441942-1 is not prime. Res64: 22506C7AC9C614A0 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:10:47] 813*2^1441942-1 is not prime. Res64: A4A32FD4BB3BD6A3 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:03] 831*2^1441942-1 is not prime. Res64: 67C4AAD59BFD81CE Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:04] 679*2^1441943-1 is not prime. Res64: FE80B274E6240EC6 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:04] 685*2^1441943-1 is not prime. Res64: ACEF4DC14B9DD539 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:05] 915*2^1441943-1 is not prime. Res64: 9122CF51FA068750 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:07] 629*2^1441944-1 is not prime. Res64: 230879B4F86EF0C3 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:48] 635*2^1441944-1 is not prime. Res64: 9BD95051CA0E69AB Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:49] 725*2^1441944-1 is not prime. Res64: C93C042CED4F0AB6 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:50] 737*2^1441944-1 is not prime. Res64: A984F3C8D3CA0A99 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:51] 765*2^1441944-1 is not prime. Res64: 51E5A0B081195115 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:44:52] 767*2^1441944-1 is not prime. Res64: 79245807249D0B55 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:53:22] 857*2^1441944-1 is not prime. Res64: F26BCD8AEEB95CFA Time : 0.0 sec. user=mdettweiler [2016-10-07 03:53:23] 975*2^1441944-1 is not prime. Res64: 24CF33D8AB391D53 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:53:24] 601*2^1441945-1 is not prime. Res64: AB8130A4BD3B505E Time : 0.0 sec. user=mdettweiler [2016-10-07 03:53:25] 771*2^1441945-1 is not prime. Res64: ECCCFCB7006C5211 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:53:29] 801*2^1441945-1 is not prime. Res64: 5FBB6A8BD4C11073 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:55:49] 855*2^1441945-1 is not prime. Res64: 166A2309174C49A5 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:55:50] 861*2^1441945-1 is not prime. Res64: 36318CB807BE830D Time : 0.0 sec. user=mdettweiler [2016-10-07 03:55:50] 997*2^1441945-1 is not prime. Res64: 11E70D18EF35D2C0 Time : 0.0 sec. user=mdettweiler [2016-10-07 03:55:51] 671*2^1441946-1 is not prime. Res64: F880A58037133B7E Time : 0.0 sec. user=mdettweiler [2016-10-07 03:55:51] 867*2^1441946-1 is not prime. Res64: 6DDDDDC051099038 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:29:45] 963*2^1441946-1 is not prime. Res64: 11A3AEE53D3DDF30 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:29:46] 675*2^1441947-1 is not prime. Res64: 1423E2E1572B89E5 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:29:46] 603*2^1441948-1 is not prime. Res64: 15C1A98BB2AEEECA Time : 0.0 sec. user=mdettweiler [2016-10-07 04:29:46] 755*2^1441948-1 is not prime. Res64: 081840DAF7B1141C Time : 0.0 sec. user=mdettweiler [2016-10-07 04:29:46] 777*2^1441948-1 is not prime. Res64: 7DFCD91C6427E070 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:30:13] 855*2^1441948-1 is not prime. Res64: 1EA143C7AB3D3B6E Time : 0.0 sec. user=mdettweiler [2016-10-07 04:30:13] 999*2^1441948-1 is not prime. Res64: CA4F3F67ED6D23F7 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:30:14] 699*2^1441949-1 is not prime. Res64: 604245717DCF6323 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:30:14] 775*2^1441949-1 is not prime. Res64: CDE495DFCE05D078 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:30:14] 847*2^1441949-1 is not prime. Res64: A0B7BCB92F58242F Time : 0.0 sec. user=mdettweiler [2016-10-07 04:38:51] 635*2^1441950-1 is not prime. Res64: CEF8DCAFB19A1C01 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:38:52] 717*2^1441950-1 is not prime. Res64: 1B159617F5264B33 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:38:52] 851*2^1441950-1 is not prime. Res64: 912EC75141E7B0BF Time : 0.0 sec. user=mdettweiler [2016-10-07 04:38:52] 861*2^1441950-1 is not prime. Res64: B89ECCFA55AD95CC Time : 0.0 sec. user=mdettweiler [2016-10-07 04:38:52] 909*2^1441951-1 is not prime. Res64: 685B363B9B94AF18 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:41:09] 913*2^1441951-1 is not prime. Res64: B89499C22FB898D4 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:41:09] 925*2^1441951-1 is not prime. Res64: 57A039D53EF87CE0 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:41:09] 943*2^1441951-1 is not prime. Res64: E06FEBA43046318F Time : 0.0 sec. user=mdettweiler [2016-10-07 04:41:10] 645*2^1441952-1 is not prime. Res64: 1C4A4981DAA1C535 Time : 0.0 sec. user=mdettweiler [2016-10-07 04:41:10] 665*2^1441952-1 is not prime. Res64: 82D3A6D36AFC013C Time : 0.0 sec. user=mdettweiler [2016-10-07 05:14:59] 785*2^1441952-1 is not prime. Res64: F8ECB009A6390520 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:14:59] 855*2^1441952-1 is not prime. Res64: 30DB590B156FDFF8 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:14:59] 765*2^1441953-1 is not prime. Res64: 80B0387F1CE55428 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:14:59] 789*2^1441953-1 is not prime. Res64: 7563F07065E07756 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:15:00] 847*2^1441953-1 is not prime. Res64: 2F01F9A4DA1F3FF2 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:15:25] 951*2^1441953-1 is not prime. Res64: 9B786C14DD6FDE9F Time : 0.0 sec. user=mdettweiler [2016-10-07 05:15:26] 635*2^1441954-1 is not prime. Res64: 921816C8DDBA24FA Time : 0.0 sec. user=mdettweiler [2016-10-07 05:15:26] 671*2^1441954-1 is not prime. Res64: F3D806C927302E27 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:15:26] 723*2^1441954-1 is not prime. Res64: FFFF6F1DAA8F02FE Time : 0.0 sec. user=mdettweiler [2016-10-07 05:15:26] 887*2^1441954-1 is not prime. Res64: 8C4E9999933C0755 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:23:52] 685*2^1441955-1 is not prime. Res64: 0A3E932C20875E44 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:23:52] 861*2^1441955-1 is not prime. Res64: 49A705C68C07E8C6 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:23:52] 633*2^1441956-1 is not prime. Res64: B2426CAF936C3E0F Time : 0.0 sec. user=mdettweiler [2016-10-07 05:23:53] 635*2^1441956-1 is not prime. Res64: 6B255963F20DA3D7 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:23:53] 647*2^1441956-1 is not prime. Res64: 74D8FEB081AA1450 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:26:30] 683*2^1441956-1 is not prime. Res64: 1CFC24EF69AEE36D Time : 0.0 sec. user=mdettweiler [2016-10-07 05:26:31] 689*2^1441956-1 is not prime. Res64: EF9490C840B1F941 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:26:31] 825*2^1441956-1 is not prime. Res64: 8101B8BEDC3AD9A9 Time : 0.0 sec. user=mdettweiler [2016-10-07 05:26:31] 845*2^1441956-1 is not prime. Res64: 69A9DFFC18A556EF Time : 0.0 sec. user=mdettweiler [2016-10-07 05:26:31] 873*2^1441956-1 is not prime. Res64: DFF212A2F94C10AF Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:01] 875*2^1441956-1 is not prime. Res64: 206CCEDAABB01113 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:02] 905*2^1441956-1 is not prime. Res64: C4B1636DEFC9D77A Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:02] 615*2^1441957-1 is not prime. Res64: 9861DE0277D5B1D5 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:03] 675*2^1441957-1 is not prime. Res64: 16DE113BFA28B828 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:03] 751*2^1441957-1 is not prime. Res64: B4A7440787BC1454 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:35] 867*2^1441957-1 is not prime. Res64: DB6A6AEC6604902E Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:35] 919*2^1441957-1 is not prime. Res64: 16DA4EFF6CF6346C Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:36] 931*2^1441957-1 is not prime. Res64: 4A9AE354A965F92F Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:36] 979*2^1441957-1 is not prime. Res64: FB67D4EE60FEE822 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:00:37] 985*2^1441957-1 is not prime. Res64: 3A9B1CBE96FD25B3 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:09:00] 623*2^1441958-1 is not prime. Res64: A673840CA3D87834 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:09:01] 827*2^1441958-1 is not prime. Res64: AD14CD9617F5F17A Time : 0.0 sec. user=mdettweiler [2016-10-07 06:09:01] 843*2^1441958-1 is not prime. Res64: 0763A744FC8756B0 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:09:02] 857*2^1441958-1 is not prime. Res64: 0AACE6E242489A9C Time : 0.0 sec. user=mdettweiler [2016-10-07 06:09:03] 897*2^1441958-1 is not prime. Res64: 7DD8F872DBBE3F1F Time : 0.0 sec. user=mdettweiler [2016-10-07 06:11:53] 951*2^1441958-1 is not prime. Res64: 54D1CFCEE572D46C Time : 0.0 sec. user=mdettweiler [2016-10-07 06:11:53] 987*2^1441958-1 is not prime. Res64: 20CFC7F3B1660243 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:11:53] 993*2^1441958-1 is not prime. Res64: 3E305D058CAC1EF9 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:11:54] 613*2^1441959-1 is not prime. Res64: 6D82951DE74DDD8E Time : 0.0 sec. user=mdettweiler [2016-10-07 06:11:54] 615*2^1441959-1 is not prime. Res64: 3E010B1611DFAAEF Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:00] 649*2^1441959-1 is not prime. Res64: 2B92B57D8BDA8E3D Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:01] 661*2^1441959-1 is not prime. Res64: CE219BF5068B1EF2 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:01] 675*2^1441959-1 is not prime. Res64: C56AFD5279D2ACD1 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:01] 705*2^1441959-1 is not prime. Res64: 6817F912BC7C5775 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:01] 709*2^1441959-1 is not prime. Res64: DF0B85BBEA6B82BA Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:50] 723*2^1441959-1 is not prime. Res64: F0BF431794AB5BBD Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:50] 861*2^1441959-1 is not prime. Res64: 84B157341AC41FEA Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:51] 985*2^1441959-1 is not prime. Res64: B2E5F18AA65757E7 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:51] 623*2^1441960-1 is not prime. Res64: C8E6E93AC11AA6BD Time : 0.0 sec. user=mdettweiler [2016-10-07 06:45:51] 635*2^1441960-1 is not prime. Res64: D85813880A0960DA Time : 0.0 sec. user=mdettweiler [2016-10-07 06:54:13] 663*2^1441960-1 is not prime. Res64: AB30C4C2EC593579 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:54:13] 755*2^1441960-1 is not prime. Res64: 35D473F7C6696352 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:54:14] 797*2^1441960-1 is not prime. Res64: 7871C5CFD7EB8997 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:54:14] 839*2^1441960-1 is not prime. Res64: 47722E77928D7D33 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:54:14] 843*2^1441960-1 is not prime. Res64: A07330CD62FBCC46 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:56:58] 857*2^1441960-1 is not prime. Res64: C1AE8FF6881916BE Time : 0.0 sec. user=mdettweiler [2016-10-07 06:56:58] 905*2^1441960-1 is not prime. Res64: 8D826E67673652AE Time : 0.0 sec. user=mdettweiler [2016-10-07 06:56:59] 917*2^1441960-1 is not prime. Res64: A0A1B9154DF78BAF Time : 0.0 sec. user=mdettweiler [2016-10-07 06:56:59] 927*2^1441960-1 is not prime. Res64: 673105D94B6C2171 Time : 0.0 sec. user=mdettweiler [2016-10-07 06:56:59] 727*2^1441961-1 is not prime. Res64: 8F31D6EBEC8B0170 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:30:09] 855*2^1441961-1 is not prime. Res64: 6CD55C88D119DB98 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:30:10] 867*2^1441961-1 is not prime. Res64: B9EB370EF6D4D80E Time : 0.0 sec. user=mdettweiler [2016-10-07 07:30:10] 909*2^1441961-1 is not prime. Res64: 5E49C8906647BC95 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:30:10] 925*2^1441961-1 is not prime. Res64: 2BD9F456AB1DD3D9 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:30:10] 931*2^1441961-1 is not prime. Res64: F53D91213A05F3E2 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:31:01] 957*2^1441961-1 is not prime. Res64: 9D7A37320BB0A465 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:31:02] 627*2^1441962-1 is not prime. Res64: C90AAC6CC420AFAD Time : 0.0 sec. user=mdettweiler [2016-10-07 07:31:02] 635*2^1441962-1 is not prime. Res64: 7F945B6B7712239E Time : 0.0 sec. user=mdettweiler [2016-10-07 07:31:02] 657*2^1441962-1 is not prime. Res64: 5B84E34EF22030A7 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:31:02] 867*2^1441962-1 is not prime. Res64: 7906AC4A383444D6 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:39:11] 631*2^1441963-1 is not prime. Res64: 35044985A35EC36C Time : 0.0 sec. user=mdettweiler [2016-10-07 07:39:11] 723*2^1441963-1 is not prime. Res64: 4DC078C249E75C17 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:39:11] 735*2^1441963-1 is not prime. Res64: FF04B184833E706B Time : 0.0 sec. user=mdettweiler [2016-10-07 07:39:11] 849*2^1441963-1 is not prime. Res64: C7023D02D3A73D54 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:39:11] 855*2^1441963-1 is not prime. Res64: 4C2E13B94C54F14D Time : 0.0 sec. user=mdettweiler [2016-10-07 07:42:20] 873*2^1441963-1 is not prime. Res64: 381C8AB73E93C0A1 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:42:20] 605*2^1441964-1 is not prime. Res64: B44F525CD96F2EC8 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:42:20] 657*2^1441964-1 is not prime. Res64: 1C204307FE42E2F1 Time : 0.0 sec. user=mdettweiler [2016-10-07 07:42:21] 665*2^1441964-1 is not prime. Res64: 52D2624164DD456E Time : 0.0 sec. user=mdettweiler [2016-10-07 07:42:21] 677*2^1441964-1 is not prime. Res64: 38C7F585B890A42E Time : 0.0 sec. user=mdettweiler [2016-10-07 08:15:21] 725*2^1441964-1 is not prime. Res64: F6F3A7AC592E0152 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:15:21] 813*2^1441964-1 is not prime. Res64: 5CB46C56DB6142B8 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:15:21] 609*2^1441965-1 is not prime. Res64: 51E5BFFAA98E2616 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:15:22] 625*2^1441965-1 is not prime. Res64: 9B945498B1440F73 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:15:22] 657*2^1441965-1 is not prime. Res64: 2954D23C85904B72 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:16:12] 735*2^1441965-1 is not prime. Res64: E5840983021B00F7 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:16:12] 811*2^1441965-1 is not prime. Res64: E88E6D349ADB92C6 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:16:12] 877*2^1441965-1 is not prime. Res64: F935BCAB67493674 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:16:12] 991*2^1441965-1 is not prime. Res64: E333A088C7917A34 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:16:13] 645*2^1441966-1 is not prime. Res64: E3BB9C17192F5032 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:24:29] 663*2^1441966-1 is not prime. Res64: 724CB9CC48211004 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:24:29] 773*2^1441966-1 is not prime. Res64: 51DD042C8CBAAC67 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:24:30] 821*2^1441966-1 is not prime. Res64: FEA24B218FA99296 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:24:30] 825*2^1441966-1 is not prime. Res64: 9237D3AE953C2AFC Time : 0.0 sec. user=mdettweiler [2016-10-07 08:24:31] 891*2^1441966-1 is not prime. Res64: 3D5F740F7067B7FB Time : 0.0 sec. user=mdettweiler [2016-10-07 08:27:34] 917*2^1441966-1 is not prime. Res64: 5C77B84D84363370 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:27:34] 933*2^1441966-1 is not prime. Res64: B36F5A96BCC1FAF4 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:27:34] 987*2^1441966-1 is not prime. Res64: 1876B4042485345A Time : 0.0 sec. user=mdettweiler [2016-10-07 08:27:34] 655*2^1441967-1 is not prime. Res64: 1F08DF4634F081A0 Time : 0.0 sec. user=mdettweiler [2016-10-07 08:27:34] 711*2^1441967-1 is not prime. Res64: 94C9CDFD35804B27 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:00:31] 775*2^1441967-1 is not prime. Res64: 1DCB25AD1A227457 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:00:32] 865*2^1441967-1 is not prime. Res64: 89D5A9D9AF45B6F4 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:00:33] 973*2^1441967-1 is not prime. Res64: EC9FDC063FBDBF6E Time : 0.0 sec. user=mdettweiler [2016-10-07 09:00:33] 993*2^1441967-1 is not prime. Res64: 8CD2EB6A13994D97 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:00:34] 605*2^1441968-1 is not prime. Res64: 16AC0E7529846C0C Time : 0.0 sec. user=mdettweiler [2016-10-07 09:01:34] 639*2^1441968-1 is not prime. Res64: 4CF0944456B33354 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:01:35] 663*2^1441968-1 is not prime. Res64: 6CC11DE0BD6E128D Time : 0.0 sec. user=mdettweiler [2016-10-07 09:01:36] 735*2^1441968-1 is not prime. Res64: 03A7E809EDD95B02 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:01:37] 759*2^1441968-1 is not prime. Res64: 55BE0C4DE7D0C700 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:01:37] 945*2^1441968-1 is not prime. Res64: B29836CA4E6B8F6A Time : 0.0 sec. user=mdettweiler [2016-10-07 09:09:33] 993*2^1441968-1 is not prime. Res64: 888589FA2B26C094 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:09:34] 619*2^1441969-1 is not prime. Res64: F4EA7BDA5D28D0EB Time : 0.0 sec. user=mdettweiler [2016-10-07 09:09:34] 639*2^1441969-1 is not prime. Res64: C40F4D8502D09D2A Time : 0.0 sec. user=mdettweiler [2016-10-07 09:09:34] 705*2^1441969-1 is not prime. Res64: D0B79B5957C7ECAE Time : 0.0 sec. user=mdettweiler [2016-10-07 09:09:35] 831*2^1441969-1 is not prime. Res64: FF01D556EEFA196A Time : 0.0 sec. user=mdettweiler [2016-10-07 09:12:47] 841*2^1441969-1 is not prime. Res64: 94CA7C048C644D9D Time : 0.0 sec. user=mdettweiler [2016-10-07 09:12:47] 855*2^1441969-1 is not prime. Res64: E32C45205D0A51A4 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:12:47] 867*2^1441969-1 is not prime. Res64: 7CA1DAF021C78258 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:12:48] 999*2^1441969-1 is not prime. Res64: F3C2B3B0972BBB02 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:12:48] 605*2^1441970-1 is not prime. Res64: 981BD86068EA61D0 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:45:42] 657*2^1441970-1 is not prime. Res64: E56ED04311B3837D Time : 0.0 sec. user=mdettweiler [2016-10-07 09:45:42] 713*2^1441970-1 is not prime. Res64: E13C768F08373046 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:45:43] 731*2^1441970-1 is not prime. Res64: 98E5C7F1219C0FB7 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:45:43] 743*2^1441970-1 is not prime. Res64: 353C3731638975FE Time : 0.0 sec. user=mdettweiler [2016-10-07 09:45:43] 861*2^1441970-1 is not prime. Res64: F64123C25F2BD35D Time : 0.0 sec. user=mdettweiler [2016-10-07 09:46:51] 911*2^1441970-1 is not prime. Res64: B86C9B4F71505EEA Time : 0.0 sec. user=mdettweiler [2016-10-07 09:46:51] 953*2^1441970-1 is not prime. Res64: 05C8130579C2F880 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:46:51] 625*2^1441971-1 is not prime. Res64: 9AF654C14C5566A4 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:46:52] 679*2^1441971-1 is not prime. Res64: 2DC99D6291769513 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:46:52] 735*2^1441971-1 is not prime. Res64: FA3377A65725AE2D Time : 0.0 sec. user=mdettweiler [2016-10-07 09:54:53] 745*2^1441971-1 is not prime. Res64: 56E13B73C8AC06B6 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:54:53] 775*2^1441971-1 is not prime. Res64: 87F549304B29AF19 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:54:53] 783*2^1441971-1 is not prime. Res64: 095212A56ECC9A1C Time : 0.0 sec. user=mdettweiler [2016-10-07 09:54:54] 795*2^1441971-1 is not prime. Res64: 238FAED6FE90B45E Time : 0.0 sec. user=mdettweiler [2016-10-07 09:54:54] 961*2^1441971-1 is not prime. Res64: B04D24ECF4FB2B6C Time : 0.0 sec. user=mdettweiler [2016-10-07 09:57:59] 975*2^1441971-1 is not prime. Res64: 3115B98311BAF33C Time : 0.0 sec. user=mdettweiler [2016-10-07 09:58:00] 777*2^1441972-1 is not prime. Res64: 73431946224D715E Time : 0.0 sec. user=mdettweiler [2016-10-07 09:58:00] 785*2^1441972-1 is not prime. Res64: 1A233705B261E477 Time : 0.0 sec. user=mdettweiler [2016-10-07 09:58:00] 863*2^1441972-1 is not prime. Res64: B04E12B07DEF591F Time : 0.0 sec. user=mdettweiler [2016-10-07 09:58:00] 869*2^1441972-1 is not prime. Res64: DF5046634691FAE4 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:31:11] 903*2^1441972-1 is not prime. Res64: D4EE365B3CACE284 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:31:12] 651*2^1441973-1 is not prime. Res64: F1C35D65F0AF7641 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:31:12] 801*2^1441973-1 is not prime. Res64: 49A96C373E4596DC Time : 0.0 sec. user=mdettweiler [2016-10-07 10:31:12] 879*2^1441973-1 is not prime. Res64: F26BDF91334A3510 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:31:13] 889*2^1441973-1 is not prime. Res64: 1606F5A6B39F4F55 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:32:11] 985*2^1441973-1 is not prime. Res64: B78C9A33EBD2F0AF Time : 0.0 sec. user=mdettweiler [2016-10-07 10:32:11] 605*2^1441974-1 is not prime. Res64: 10F22AC846A54CD5 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:32:12] 671*2^1441974-1 is not prime. Res64: 5F72F00DDCCB15C0 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:32:12] 737*2^1441974-1 is not prime. Res64: A43C9B4D3785F59A Time : 0.0 sec. user=mdettweiler [2016-10-07 10:32:12] 783*2^1441974-1 is not prime. Res64: 9EF9727644BA0B93 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:39:58] 795*2^1441974-1 is not prime. Res64: 34BF793E64FE4774 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:39:58] 891*2^1441974-1 is not prime. Res64: 4B8B90132C1C16E5 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:39:59] 903*2^1441974-1 is not prime. Res64: 1988054B2369B477 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:39:59] 625*2^1441975-1 is not prime. Res64: E16AE0EEF8AC91DB Time : 0.0 sec. user=mdettweiler [2016-10-07 10:39:59] 841*2^1441975-1 is not prime. Res64: E1F427DC640E48AC Time : 0.0 sec. user=mdettweiler [2016-10-07 10:43:04] 859*2^1441975-1 is not prime. Res64: 858FA0FDA11C9933 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:43:04] 861*2^1441975-1 is not prime. Res64: 52FA60A1A79BA741 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:43:04] 889*2^1441975-1 is not prime. Res64: EDB891D628957E6C Time : 0.0 sec. user=mdettweiler [2016-10-07 10:43:04] 891*2^1441975-1 is not prime. Res64: 20F20E41CA231A28 Time : 0.0 sec. user=mdettweiler [2016-10-07 10:43:05] 635*2^1441976-1 is not prime. Res64: CF98B13BECC97132 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:17:45] 717*2^1441976-1 is not prime. Res64: 466D337241F1F390 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:17:46] 789*2^1441976-1 is not prime. Res64: 39F44AE598F321A4 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:17:46] 855*2^1441976-1 is not prime. Res64: 76FCFB8E7DAC1588 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:17:46] 917*2^1441976-1 is not prime. Res64: 9F9F2C1E6E954D4F Time : 0.0 sec. user=mdettweiler [2016-10-07 11:17:47] 923*2^1441976-1 is not prime. Res64: 69637E770776B552 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:18:35] 999*2^1441976-1 is not prime. Res64: 0528FAA92B8A8D54 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:18:35] 615*2^1441977-1 is not prime. Res64: 72A4D057CC6563F6 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:18:35] 669*2^1441977-1 is not prime. Res64: 22A5EDCA1C8E5D47 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:18:36] 865*2^1441977-1 is not prime. Res64: 273F354BEDD3480C Time : 0.0 sec. user=mdettweiler [2016-10-07 11:18:36] 915*2^1441977-1 is not prime. Res64: 1BD34C0CE895E146 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:27:17] 603*2^1441978-1 is not prime. Res64: 39EA0FFA3C17DCF7 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:27:17] 605*2^1441978-1 is not prime. Res64: 46879BA35B4BD1BA Time : 0.0 sec. user=mdettweiler [2016-10-07 11:27:18] 657*2^1441978-1 is not prime. Res64: 18D15928CC9C3993 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:27:18] 723*2^1441978-1 is not prime. Res64: 4A792B9E7EFB716D Time : 0.0 sec. user=mdettweiler [2016-10-07 11:27:18] 813*2^1441978-1 is not prime. Res64: 5C5FB6E5DC0D2C25 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:30:18] 975*2^1441978-1 is not prime. Res64: 3574B39774089D14 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:30:19] 685*2^1441979-1 is not prime. Res64: A009CE7A4547D2F9 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:30:19] 693*2^1441979-1 is not prime. Res64: 50DDB05A5019F22F Time : 0.0 sec. user=mdettweiler [2016-10-07 11:30:19] 703*2^1441979-1 is not prime. Res64: D465AA449942A368 Time : 0.0 sec. user=mdettweiler [2016-10-07 11:30:19] 861*2^1441979-1 is not prime. Res64: 54DD2BF4BA2498E8 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:06:50] 885*2^1441979-1 is not prime. Res64: DE143DBE8A6E30C6 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:06:52] 903*2^1441979-1 is not prime. Res64: 6AB87D075BDEE1AC Time : 0.0 sec. user=mdettweiler [2016-10-07 12:06:52] 629*2^1441980-1 is not prime. Res64: 3E90E4E31ED96F54 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:06:53] 767*2^1441980-1 is not prime. Res64: 0033A1A8329D29C4 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:06:54] 803*2^1441980-1 is not prime. Res64: 195DF68C66FC2F63 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:07:37] 857*2^1441980-1 is not prime. Res64: 4A709A5899EDC3CC Time : 0.0 sec. user=mdettweiler [2016-10-07 12:07:38] 899*2^1441980-1 is not prime. Res64: 26AECF686D1922A1 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:07:38] 905*2^1441980-1 is not prime. Res64: 3BE18A76939011D9 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:07:38] 927*2^1441980-1 is not prime. Res64: 86C9C3E0D4C285F6 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:07:39] 929*2^1441980-1 is not prime. Res64: 7123AEE5C7FCF6BF Time : 0.0 sec. user=mdettweiler [2016-10-07 12:15:55] 819*2^1441981-1 is not prime. Res64: 91BF57F1795DC121 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:15:55] 961*2^1441981-1 is not prime. Res64: DD225DC244868537 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:15:56] 603*2^1441982-1 is not prime. Res64: C7183A48FD375F3D Time : 0.0 sec. user=mdettweiler [2016-10-07 12:15:56] 675*2^1441982-1 is not prime. Res64: C0C4077D5C5F087D Time : 0.0 sec. user=mdettweiler [2016-10-07 12:15:56] 743*2^1441982-1 is not prime. Res64: 6FA5B6126873FAC4 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:18:39] 753*2^1441982-1 is not prime. Res64: 4E24B74CAA12F7A4 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:18:39] 897*2^1441982-1 is not prime. Res64: 66FFC0F77E9C06DB Time : 0.0 sec. user=mdettweiler [2016-10-07 12:18:40] 915*2^1441982-1 is not prime. Res64: 3ABBCF322880B9EF Time : 0.0 sec. user=mdettweiler [2016-10-07 12:18:40] 945*2^1441982-1 is not prime. Res64: BC6684B7628395F0 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:18:40] 963*2^1441982-1 is not prime. Res64: 4EFD53944E7A8793 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:22] 965*2^1441982-1 is not prime. Res64: 691B6822628819D2 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:23] 977*2^1441982-1 is not prime. Res64: A1D062ED4E2B99F4 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:23] 661*2^1441983-1 is not prime. Res64: E8FA32DBAA5AED8A Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:23] 735*2^1441983-1 is not prime. Res64: 2B913DA98E461A43 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:23] 741*2^1441983-1 is not prime. Res64: DCCBD7637FA7E6C2 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:53] 805*2^1441983-1 is not prime. Res64: B2E11DF5071726C7 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:53] 859*2^1441983-1 is not prime. Res64: D401D7827612B948 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:53] 861*2^1441983-1 is not prime. Res64: CBEB6942D379D3C7 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:53] 885*2^1441983-1 is not prime. Res64: 26A73F23F29D63F3 Time : 0.0 sec. user=mdettweiler [2016-10-07 12:52:54] 901*2^1441983-1 is not prime. Res64: 6F33509143F98640 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:01:05] 609*2^1441984-1 is not prime. Res64: FE2F5FF528E604B2 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:01:06] 759*2^1441984-1 is not prime. Res64: 867F48B61760D7DE Time : 0.0 sec. user=mdettweiler [2016-10-07 13:01:07] 803*2^1441984-1 is not prime. Res64: 714F7683AACA4EB5 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:01:08] 807*2^1441984-1 is not prime. Res64: D094C18AFBAB65F1 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:01:08] 833*2^1441984-1 is not prime. Res64: 92414907F1EE0985 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:03:58] 875*2^1441984-1 is not prime. Res64: D70802D807738A4F Time : 0.0 sec. user=mdettweiler [2016-10-07 13:04:00] 657*2^1441985-1 is not prime. Res64: 8E6403568A39B263 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:04:01] 711*2^1441985-1 is not prime. Res64: 4A10BCD2A8F3BBC7 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:04:02] 735*2^1441985-1 is not prime. Res64: BF9406FCA8511114 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:04:02] 775*2^1441985-1 is not prime. Res64: C7F326870D57AACA Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:41] 867*2^1441985-1 is not prime. Res64: 2E2A1744C12D09A7 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:42] 985*2^1441985-1 is not prime. Res64: 412D734F2E7A33E9 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:42] 671*2^1441986-1 is not prime. Res64: 2F3962935D2BF74A Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:42] 711*2^1441986-1 is not prime. Res64: CA39B29FFE172275 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:42] 777*2^1441986-1 is not prime. Res64: B0675F390DF808D3 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:54] 783*2^1441986-1 is not prime. Res64: 950674A3D82A26B3 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:54] 851*2^1441986-1 is not prime. Res64: D0A06EE1F60DD7BD Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:54] 921*2^1441986-1 is not prime. Res64: 71538EA164088561 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:55] 625*2^1441987-1 is not prime. Res64: 5BC5C43A32B31D79 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:37:55] 639*2^1441987-1 is not prime. Res64: 3AF148039A477882 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:46:13] 649*2^1441987-1 is not prime. Res64: B31C007693A3300C Time : 0.0 sec. user=mdettweiler [2016-10-07 13:46:13] 703*2^1441987-1 is not prime. Res64: 980EAA6E3478486F Time : 0.0 sec. user=mdettweiler [2016-10-07 13:46:13] 871*2^1441987-1 is not prime. Res64: 7F0E516D6134A879 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:46:14] 883*2^1441987-1 is not prime. Res64: 59BA07EC3FAEAE39 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:46:14] 623*2^1441988-1 is not prime. Res64: 2DD4AE8A743B9782 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:49:16] 707*2^1441988-1 is not prime. Res64: 8DAA5873E8F499DD Time : 0.0 sec. user=mdettweiler [2016-10-07 13:49:16] 837*2^1441988-1 is not prime. Res64: 4A1D0B7021F0FB42 Time : 0.0 sec. user=mdettweiler [2016-10-07 13:49:16] 915*2^1441988-1 is not prime. Res64: 12AE38E9EE6CCFAC Time : 0.0 sec. user=mdettweiler [2016-10-07 13:49:16] 953*2^1441988-1 is not prime. Res64: 6088E6E48E9DD8CA Time : 0.0 sec. user=mdettweiler [2016-10-07 13:49:17] 615*2^1441989-1 is not prime. Res64: 5B241D86D419BC09 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:22:55] 657*2^1441989-1 is not prime. Res64: 7759757DA5685A1F Time : 0.0 sec. user=mdettweiler [2016-10-07 14:22:55] 745*2^1441989-1 is not prime. Res64: DE41833A1E368FC5 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:22:55] 769*2^1441989-1 is not prime. Res64: 8D2012DCA2E124D5 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:22:55] 829*2^1441989-1 is not prime. Res64: 6F3C4AE83D14E300 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:22:56] 979*2^1441989-1 is not prime. Res64: 542FFC6A2BCCD05F Time : 0.0 sec. user=mdettweiler [2016-10-07 14:23:13] 999*2^1441989-1 is not prime. Res64: 85F646A66AB9BCFE Time : 0.0 sec. user=mdettweiler [2016-10-07 14:23:13] 657*2^1441990-1 is not prime. Res64: D2BBAACB4FB3936A Time : 0.0 sec. user=mdettweiler [2016-10-07 14:23:14] 687*2^1441990-1 is not prime. Res64: 6A9A43407C2667E8 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:23:14] 747*2^1441990-1 is not prime. Res64: 5C49DE99805A5C69 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:23:14] 801*2^1441990-1 is not prime. Res64: 3133EED5BD0FF832 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:31:16] 857*2^1441990-1 is not prime. Res64: 4832EA2D1DCC4D8E Time : 0.0 sec. user=mdettweiler [2016-10-07 14:31:16] 735*2^1441991-1 is not prime. Res64: 4B6C2B0B6928BA4B Time : 0.0 sec. user=mdettweiler [2016-10-07 14:31:16] 805*2^1441991-1 is not prime. Res64: B963A06E4B362F46 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:31:17] 811*2^1441991-1 is not prime. Res64: C48F5A9A1625B26D Time : 0.0 sec. user=mdettweiler [2016-10-07 14:31:17] 605*2^1441992-1 is not prime. Res64: D2D6ED7AB28ED6F2 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:34:29] 717*2^1441992-1 is not prime. Res64: 7BBCABD6ECC6DAB5 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:34:30] 777*2^1441992-1 is not prime. Res64: 200B2D1DD44D809F Time : 0.0 sec. user=mdettweiler [2016-10-07 14:34:30] 825*2^1441992-1 is not prime. Res64: 728F3EB815544EC6 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:34:30] 947*2^1441992-1 is not prime. Res64: 7AD84C14EF87C532 Time : 0.0 sec. user=mdettweiler [2016-10-07 14:34:30] 999*2^1441992-1 is not prime. Res64: 46722CE02828195C Time : 0.0 sec. user=mdettweiler [2016-10-07 15:09:49] 987*2^1441993-1 is not prime. Res64: AEF6A154FBDEB776 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:09:49] 633*2^1441994-1 is not prime. Res64: E9DA54BC5137A090 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:09:49] 651*2^1441994-1 is not prime. Res64: B4ADF2BDA86AF732 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:09:50] 675*2^1441994-1 is not prime. Res64: 3C19C0B5428AC2A4 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:09:50] 741*2^1441994-1 is not prime. Res64: 55D260D0B7B5CA47 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:10:08] 607*2^1441993-1 is not prime. Res64: B5AA093309DDEDC0 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:10:08] 619*2^1441993-1 is not prime. Res64: 0F0E66D3371B97E5 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:10:08] 861*2^1441993-1 is not prime. Res64: 3A46121BB2A2F1BE Time : 0.0 sec. user=mdettweiler [2016-10-07 15:10:08] 885*2^1441993-1 is not prime. Res64: 07B9074FCCE96553 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:10:08] 895*2^1441993-1 is not prime. Res64: 4BDB4464EB5F6FA7 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:18:40] 753*2^1441994-1 is not prime. Res64: 09B3A961D68D6A4D Time : 0.0 sec. user=mdettweiler [2016-10-07 15:18:40] 767*2^1441994-1 is not prime. Res64: 30997B8AC50A8D3C Time : 0.0 sec. user=mdettweiler [2016-10-07 15:18:41] 813*2^1441994-1 is not prime. Res64: 86E411F2A91955D6 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:18:41] 851*2^1441994-1 is not prime. Res64: 61BBD175DD8CB5D2 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:18:41] 663*2^1441995-1 is not prime. Res64: 9EF22EC650CBFC22 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:22:07] 741*2^1441995-1 is not prime. Res64: AD17CA9EFD4E86FD Time : 0.0 sec. user=mdettweiler [2016-10-07 15:22:07] 951*2^1441995-1 is not prime. Res64: 6C0D1F0E42565397 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:22:07] 963*2^1441995-1 is not prime. Res64: 4AA3EF8F5352D51A Time : 0.0 sec. user=mdettweiler [2016-10-07 15:22:07] 749*2^1441996-1 is not prime. Res64: 90BDC6B73E75BE3C Time : 0.0 sec. user=mdettweiler [2016-10-07 15:22:07] 765*2^1441996-1 is not prime. Res64: F7725C5437DE9D63 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:56:57] 803*2^1441996-1 is not prime. Res64: 43FC4E1F03625807 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:56:57] 845*2^1441996-1 is not prime. Res64: 5997989627A9AEB6 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:56:57] 899*2^1441996-1 is not prime. Res64: FBB0484AD521BD62 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:56:57] 903*2^1441996-1 is not prime. Res64: 9B95E41F5A7A1061 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:56:57] 927*2^1441996-1 is not prime. Res64: 864F2828D99C4D9B Time : 0.0 sec. user=mdettweiler [2016-10-07 15:57:04] 957*2^1441996-1 is not prime. Res64: 12402B0844339B9E Time : 0.0 sec. user=mdettweiler [2016-10-07 15:57:04] 987*2^1441996-1 is not prime. Res64: 58547C3BE8091964 Time : 0.0 sec. user=mdettweiler [2016-10-07 15:57:04] 649*2^1441997-1 is not prime. Res64: 9454EF26DF63B7AF Time : 0.0 sec. user=mdettweiler [2016-10-07 15:57:04] 651*2^1441997-1 is not prime. Res64: 2EA49BF4D043279A Time : 0.0 sec. user=mdettweiler [2016-10-07 15:57:05] 747*2^1441997-1 is not prime. Res64: 29B7BEA52447744F Time : 0.0 sec. user=mdettweiler [2016-10-07 16:05:12] 757*2^1441997-1 is not prime. Res64: FF5175F00B507859 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:05:13] 777*2^1441997-1 is not prime. Res64: 67902E6C727AA955 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:05:13] 901*2^1441997-1 is not prime. Res64: 1FB893443B96E2D7 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:05:14] 657*2^1441998-1 is not prime. Res64: B100AE47AD0036D8 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:05:15] 737*2^1441998-1 is not prime. Res64: 8ABCFBE617A22BF4 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:08:39] 941*2^1441998-1 is not prime. Res64: F9D5066420DF3AA0 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:08:39] 645*2^1441999-1 is not prime. Res64: ED4E0875B644ADA3 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:08:40] 705*2^1441999-1 is not prime. Res64: 53690F99B5E851DD Time : 0.0 sec. user=mdettweiler [2016-10-07 16:08:40] 765*2^1441999-1 is not prime. Res64: 6387A0B861CDA4C9 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:08:40] 771*2^1441999-1 is not prime. Res64: 10A75A1862E66A3D Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:01] 885*2^1441999-1 is not prime. Res64: 5C4151C536C02240 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:01] 951*2^1441999-1 is not prime. Res64: 265DB9AE9C52D762 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:02] 663*2^1442000-1 is not prime. Res64: A1BE3E1CAC2F8B5C Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:02] 839*2^1442000-1 is not prime. Res64: 7B9BA18909D6DA14 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:02] 777*2^1442000-1 is not prime. Res64: EE4F2D5A6CA894ED Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:02] 789*2^1442000-1 is not prime. Res64: 78FA23667A7EB73F Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:02] 845*2^1442000-1 is not prime. Res64: F7CA7F78883BE65C Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:03] 957*2^1442000-1 is not prime. Res64: 6B5DA91B2C7F240C Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:03] 625*2^1442001-1 is not prime. Res64: F99E2F912C34A00B Time : 0.0 sec. user=mdettweiler [2016-10-07 16:43:04] 741*2^1442001-1 is not prime. Res64: CFE9CA206CD543FC Time : 0.0 sec. user=mdettweiler [2016-10-07 16:51:34] 889*2^1442001-1 is not prime. Res64: 40F2E341BD7C135F Time : 0.0 sec. user=mdettweiler [2016-10-07 16:51:34] 907*2^1442001-1 is not prime. Res64: 00A2082872933E46 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:51:34] 975*2^1442001-1 is not prime. Res64: 54E9250C2663D43A Time : 0.0 sec. user=mdettweiler [2016-10-07 16:51:34] 611*2^1442002-1 is not prime. Res64: 6A2B979FAA6DC875 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:51:35] 665*2^1442002-1 is not prime. Res64: 47C848DAB7D73B63 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:54:33] 681*2^1442002-1 is not prime. Res64: 9BEA816BD75A5361 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:54:33] 701*2^1442002-1 is not prime. Res64: B46CE4195CEFE01D Time : 0.0 sec. user=mdettweiler [2016-10-07 16:54:33] 815*2^1442002-1 is not prime. Res64: AA3D135DFB6FA710 Time : 0.0 sec. user=mdettweiler [2016-10-07 16:54:33] 873*2^1442002-1 is not prime. Res64: C14E48917DD3CBDA Time : 0.0 sec. user=mdettweiler [2016-10-07 16:54:34] 891*2^1442002-1 is not prime. Res64: 6FE917CF44DC32B0 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:28:52] 945*2^1442002-1 is not prime. Res64: E38BD5CE1C1D5DDE Time : 0.0 sec. user=mdettweiler [2016-10-07 17:28:52] 995*2^1442002-1 is not prime. Res64: 76F8CEF37F01D1DB Time : 0.0 sec. user=mdettweiler [2016-10-07 17:28:53] 633*2^1442003-1 is not prime. Res64: BE4D8F9CF2FE6793 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:28:53] 913*2^1442003-1 is not prime. Res64: 964B70A93E363038 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:28:53] 945*2^1442003-1 is not prime. Res64: C2605F3F2AE75141 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:29:03] 963*2^1442003-1 is not prime. Res64: E7DE4A3DE261CE8F Time : 0.0 sec. user=mdettweiler [2016-10-07 17:29:03] 605*2^1442004-1 is not prime. Res64: BA5A07DCCB5E80FA Time : 0.0 sec. user=mdettweiler [2016-10-07 17:29:03] 623*2^1442004-1 is not prime. Res64: FE1E34FAF4E1F14E Time : 0.0 sec. user=mdettweiler [2016-10-07 17:29:03] 899*2^1442004-1 is not prime. Res64: 258F793711D57826 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:29:04] 903*2^1442004-1 is not prime. Res64: BE5031B8D28DDB72 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:37:26] 983*2^1442004-1 is not prime. Res64: 763D09844DCEECEB Time : 0.0 sec. user=mdettweiler [2016-10-07 17:37:27] 601*2^1442005-1 is not prime. Res64: 1F4E646DDBB91CE7 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:37:27] 645*2^1442005-1 is not prime. Res64: 85C7F9D0E4B9C3F6 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:37:27] 651*2^1442005-1 is not prime. Res64: DE24885834F8933F Time : 0.0 sec. user=mdettweiler [2016-10-07 17:37:27] 831*2^1442005-1 is not prime. Res64: 981D434A58B3EFC1 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:40:15] 867*2^1442005-1 is not prime. Res64: C6904412F8ABBAA7 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:40:15] 871*2^1442005-1 is not prime. Res64: CD8948F11F8018D4 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:40:15] 937*2^1442005-1 is not prime. Res64: C06A0572C866F9A0 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:40:16] 999*2^1442005-1 is not prime. Res64: 48E13BA31D21A112 Time : 0.0 sec. user=mdettweiler [2016-10-07 17:40:16] 623*2^1442006-1 is not prime. Res64: AA8744FB7E06F3F0 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:14:42] 801*2^1442006-1 is not prime. Res64: A39AF243F70C0287 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:14:42] 825*2^1442006-1 is not prime. Res64: AD68723F564648E8 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:14:42] 873*2^1442006-1 is not prime. Res64: C387B5B7A7859DE7 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:14:43] 911*2^1442006-1 is not prime. Res64: 0EFAA9C3237DB6FF Time : 0.0 sec. user=mdettweiler [2016-10-07 18:14:43] 923*2^1442006-1 is not prime. Res64: 6BFD7539B7BBD708 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:15:01] 941*2^1442006-1 is not prime. Res64: A50C9D86509D920D Time : 0.0 sec. user=mdettweiler [2016-10-07 18:15:02] 971*2^1442006-1 is not prime. Res64: 73E630B2EEED770D Time : 0.0 sec. user=mdettweiler [2016-10-07 18:15:02] 619*2^1442007-1 is not prime. Res64: 368339F0C75F6101 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:15:03] 643*2^1442007-1 is not prime. Res64: 87DE419660ED27D5 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:15:03] 685*2^1442007-1 is not prime. Res64: E4083CE329B4E856 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:23:27] 751*2^1442007-1 is not prime. Res64: 7BEEB81899DD684D Time : 0.0 sec. user=mdettweiler [2016-10-07 18:23:27] 775*2^1442007-1 is not prime. Res64: EF8DD194F71C4E8F Time : 0.0 sec. user=mdettweiler [2016-10-07 18:23:27] 861*2^1442007-1 is not prime. Res64: 474E62EB6EB47E84 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:23:27] 695*2^1442008-1 is not prime. Res64: 49713BA2C7D9DFCA Time : 0.0 sec. user=mdettweiler [2016-10-07 18:23:27] 755*2^1442008-1 is not prime. Res64: 8A24CB7DB939369E Time : 0.0 sec. user=mdettweiler [2016-10-07 18:26:24] 839*2^1442008-1 is not prime. Res64: 022EE1391FD596CA Time : 0.0 sec. user=mdettweiler [2016-10-07 18:26:24] 897*2^1442008-1 is not prime. Res64: BAE38BAE55442CE4 Time : 0.0 sec. user=mdettweiler [2016-10-07 18:26:24] 989*2^1442008-1 is not prime. Res64: 95749E2B9257A48A Time : 0.0 sec. user=mdettweiler [2016-10-07 18:26:25] 601*2^1442009-1 is not prime. Res64: 10E5264532CE4EFD Time : 0.0 sec. user=mdettweiler [2016-10-07 18:26:25] 637*2^1442009-1 is not prime. Res64: 8C9B649B926A2BAF Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:16] 657*2^1442009-1 is not prime. Res64: 46898066BA06E30C Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:17] 699*2^1442009-1 is not prime. Res64: 2D9FFD8742F657FA Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:18] 745*2^1442009-1 is not prime. Res64: B6A505C2F751E29C Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:18] 789*2^1442009-1 is not prime. Res64: 4BD262D85E9D380B Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:19] 723*2^1442010-1 is not prime. Res64: 38DCE34A590B306C Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:50] 791*2^1442010-1 is not prime. Res64: 0020A53BA09EBB2E Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:51] 797*2^1442010-1 is not prime. Res64: 993A0298E944D210 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:52] 801*2^1442010-1 is not prime. Res64: BEBD76C78ECC96A5 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:53] 927*2^1442010-1 is not prime. Res64: 6D21CE640E901BFA Time : 0.0 sec. user=mdettweiler [2016-10-07 19:00:54] 963*2^1442010-1 is not prime. Res64: EE2987E794E439A4 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:09:02] 639*2^1442011-1 is not prime. Res64: FFDD197E557B8B8E Time : 0.0 sec. user=mdettweiler [2016-10-07 19:09:04] 679*2^1442011-1 is not prime. Res64: 8F2564D08782384A Time : 0.0 sec. user=mdettweiler [2016-10-07 19:09:04] 681*2^1442011-1 is not prime. Res64: C7C3EBAE38E409A0 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:09:05] 733*2^1442011-1 is not prime. Res64: 1A8662C6DA0023F2 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:09:06] 741*2^1442011-1 is not prime. Res64: 2DBD15D095F7FA7A Time : 0.0 sec. user=mdettweiler [2016-10-07 19:12:11] 759*2^1442011-1 is not prime. Res64: EA56B13A75DE6B2B Time : 0.0 sec. user=mdettweiler [2016-10-07 19:12:12] 873*2^1442011-1 is not prime. Res64: F4FDD0BF3BCE73D7 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:12:12] 889*2^1442011-1 is not prime. Res64: 6B1B693DEC6F6035 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:12:12] 961*2^1442011-1 is not prime. Res64: 1EA765B536FBF18B Time : 0.0 sec. user=mdettweiler [2016-10-07 19:12:12] 973*2^1442011-1 is not prime. Res64: 2154C5D15E798FBD Time : 0.0 sec. user=mdettweiler [2016-10-07 19:45:32] 999*2^1442011-1 is not prime. Res64: 10BFE22308D13EA5 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:45:32] 827*2^1442012-1 is not prime. Res64: BEE3A6B6890CF9E4 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:45:32] 959*2^1442012-1 is not prime. Res64: DFF70E4D991C4745 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:45:33] 977*2^1442012-1 is not prime. Res64: B96ABF2E5D576A28 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:45:33] 721*2^1442013-1 is not prime. Res64: FEF2166A074B2A48 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:46:18] 735*2^1442013-1 is not prime. Res64: 1BF242A64F604844 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:46:19] 847*2^1442013-1 is not prime. Res64: 8D8B8BA8B1DA63A8 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:46:19] 885*2^1442013-1 is not prime. Res64: A9E10041241696D3 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:46:19] 921*2^1442013-1 is not prime. Res64: 7C49F023BD67D83B Time : 0.0 sec. user=mdettweiler [2016-10-07 19:46:19] 657*2^1442014-1 is not prime. Res64: BA8F0DE8E962350E Time : 0.0 sec. user=mdettweiler [2016-10-07 19:54:32] 785*2^1442014-1 is not prime. Res64: 4AEAD34B9F132D45 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:54:32] 827*2^1442014-1 is not prime. Res64: 177A63A7AD46B0BD Time : 0.0 sec. user=mdettweiler [2016-10-07 19:54:32] 645*2^1442015-1 is not prime. Res64: C0FCB19B1E2B6A3F Time : 0.0 sec. user=mdettweiler [2016-10-07 19:54:33] 669*2^1442015-1 is not prime. Res64: B3AB741B01595AD5 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:54:33] 963*2^1442015-1 is not prime. Res64: FBBE0235FFF787D0 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:57:42] 639*2^1442016-1 is not prime. Res64: 25A0F32D51B54F75 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:57:42] 669*2^1442016-1 is not prime. Res64: 586F71411D9C0EA5 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:57:42] 707*2^1442016-1 is not prime. Res64: 2F63642D1E04C8B5 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:57:42] 725*2^1442016-1 is not prime. Res64: B30BB8AF00BA09D6 Time : 0.0 sec. user=mdettweiler [2016-10-07 19:57:43] 927*2^1442016-1 is not prime. Res64: 47905B99383BFF95 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:30:53] 667*2^1442017-1 is not prime. Res64: 18C6B2FEAAB54D7F Time : 0.0 sec. user=mdettweiler [2016-10-07 20:30:54] 775*2^1442017-1 is not prime. Res64: EC3BDA5AC1FD2D33 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:30:54] 799*2^1442017-1 is not prime. Res64: 4DBB392ED9B13437 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:30:54] 909*2^1442017-1 is not prime. Res64: 6C822CC513690861 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:30:54] 937*2^1442017-1 is not prime. Res64: 0F1CDD1587899EC1 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:31:46] 985*2^1442017-1 is not prime. Res64: 7B443E9FDCEE2565 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:31:46] 605*2^1442018-1 is not prime. Res64: 59458239119EE1EE Time : 0.0 sec. user=mdettweiler [2016-10-07 20:31:46] 635*2^1442018-1 is not prime. Res64: B771A1166330397A Time : 0.0 sec. user=mdettweiler [2016-10-07 20:31:46] 641*2^1442018-1 is not prime. Res64: 6F85604E456ADA58 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:31:47] 711*2^1442018-1 is not prime. Res64: E7832CE0BACFDBD7 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:40:01] 713*2^1442018-1 is not prime. Res64: DFE2F162153DF70F Time : 0.0 sec. user=mdettweiler [2016-10-07 20:40:01] 935*2^1442018-1 is not prime. Res64: E075318138C7017F Time : 0.0 sec. user=mdettweiler [2016-10-07 20:40:01] 945*2^1442018-1 is not prime. Res64: 6AA67EDC7E82B98A Time : 0.0 sec. user=mdettweiler [2016-10-07 20:40:02] 987*2^1442018-1 is not prime. Res64: B801F54B6F16A0BE Time : 0.0 sec. user=mdettweiler [2016-10-07 20:40:02] 669*2^1442019-1 is not prime. Res64: 4FFFC037AD9E340E Time : 0.0 sec. user=mdettweiler [2016-10-07 20:43:07] 685*2^1442019-1 is not prime. Res64: 7D76B58B18ED4D8F Time : 0.0 sec. user=mdettweiler [2016-10-07 20:43:08] 909*2^1442019-1 is not prime. Res64: 8EF23B0EBD253D08 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:43:08] 961*2^1442019-1 is not prime. Res64: 0CA356C5E1FE37A0 Time : 0.0 sec. user=mdettweiler [2016-10-07 20:43:08] 999*2^1442019-1 is not prime. Res64: B9F30D538158318C Time : 0.0 sec. user=mdettweiler [2016-10-07 20:43:08] 653*2^1442020-1 is not prime. Res64: E450A88A73BB0866 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:17:52] 707*2^1442020-1 is not prime. Res64: 1B50A31DBAAC1F32 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:17:53] 783*2^1442020-1 is not prime. Res64: 79A2A335934B707E Time : 0.0 sec. user=mdettweiler [2016-10-07 21:17:53] 863*2^1442020-1 is not prime. Res64: 2CF32A03957024A7 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:17:54] 933*2^1442020-1 is not prime. Res64: 47EA40EDB5E56B10 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:17:54] 989*2^1442020-1 is not prime. Res64: 287E8A93D9672126 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:18:23] 607*2^1442021-1 is not prime. Res64: 1813E238E26FB4F7 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:18:23] 669*2^1442021-1 is not prime. Res64: 18044B16DDF42C03 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:18:24] 691*2^1442021-1 is not prime. Res64: C2393DC72E70598F Time : 0.0 sec. user=mdettweiler [2016-10-07 21:18:24] 871*2^1442021-1 is not prime. Res64: EBE1716D3074FDEA Time : 0.0 sec. user=mdettweiler [2016-10-07 21:18:24] 949*2^1442021-1 is not prime. Res64: 54164EFAFB01109B Time : 0.0 sec. user=mdettweiler [2016-10-07 21:28:11] 635*2^1442022-1 is not prime. Res64: 33BBD4598841144D Time : 0.0 sec. user=mdettweiler [2016-10-07 21:28:11] 671*2^1442022-1 is not prime. Res64: 638250DD90987CD5 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:28:11] 705*2^1442022-1 is not prime. Res64: C8B535E1BEC3459D Time : 0.0 sec. user=mdettweiler [2016-10-07 21:28:12] 725*2^1442022-1 is not prime. Res64: DD5DC2585C6AB6EA Time : 0.0 sec. user=mdettweiler [2016-10-07 21:28:12] 765*2^1442022-1 is not prime. Res64: 268F4ADD624E50C5 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:31:33] 791*2^1442022-1 is not prime. Res64: 42094D1D3EC42191 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:31:33] 833*2^1442022-1 is not prime. Res64: 6ABA9793C46DFDA0 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:31:33] 977*2^1442022-1 is not prime. Res64: 1A0A2ED48D5842B6 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:31:33] 603*2^1442023-1 is not prime. Res64: A2026099D5435A37 Time : 0.0 sec. user=mdettweiler [2016-10-07 21:31:34] 729*2^1442023-1 is not prime. Res64: 7E7411F86B0BF72E Time : 0.0 sec. user=mdettweiler [2016-10-07 22:04:44] 741*2^1442023-1 is not prime. Res64: 8116FF00619049E0 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:04:46] 853*2^1442023-1 is not prime. Res64: E78C8D6F9726ECA4 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:04:47] 885*2^1442023-1 is not prime. Res64: B511922BED05A2AD Time : 0.0 sec. user=mdettweiler [2016-10-07 22:04:48] 969*2^1442023-1 is not prime. Res64: FC917BD4E619CAEA Time : 0.0 sec. user=mdettweiler [2016-10-07 22:04:49] 743*2^1442024-1 is not prime. Res64: EA094A22C3A95993 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:05:31] 893*2^1442024-1 is not prime. Res64: 317DC2AE1F909D31 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:05:31] 899*2^1442024-1 is not prime. Res64: 20F8B455D24FFDBE Time : 0.0 sec. user=mdettweiler [2016-10-07 22:05:32] 795*2^1442025-1 is not prime. Res64: 4AAB42FE6E30C368 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:05:33] 999*2^1442025-1 is not prime. Res64: 23AE6BB992596804 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:05:34] 633*2^1442026-1 is not prime. Res64: 11C0E641879260BF Time : 0.0 sec. user=mdettweiler [2016-10-07 22:13:43] 783*2^1442026-1 is not prime. Res64: 699DF627DDA200F2 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:13:43] 825*2^1442026-1 is not prime. Res64: 7B3AA618BFB27F74 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:13:43] 933*2^1442026-1 is not prime. Res64: 1005CB80F0C0DBF6 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:13:44] 983*2^1442026-1 is not prime. Res64: 67E431E8C9908920 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:13:44] 651*2^1442027-1 is not prime. Res64: A88A6700DA964CE5 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:17:14] 741*2^1442027-1 is not prime. Res64: FD81EC8E8D9BF5F1 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:17:14] 963*2^1442027-1 is not prime. Res64: F837E9BBD0B7C1C0 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:17:15] 723*2^1442028-1 is not prime. Res64: 0EF0FDC3E6DBA8F3 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:17:15] 795*2^1442028-1 is not prime. Res64: 60CBB50F4209055D Time : 0.0 sec. user=mdettweiler [2016-10-07 22:17:15] 809*2^1442028-1 is not prime. Res64: DEE519EB7EECA7AD Time : 0.0 sec. user=mdettweiler [2016-10-07 22:50:44] 825*2^1442028-1 is not prime. Res64: 79ECDDAE35068CD5 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:50:44] 969*2^1442028-1 is not prime. Res64: 09A3ED330ACE22FB Time : 0.0 sec. user=mdettweiler [2016-10-07 22:50:44] 609*2^1442029-1 is not prime. Res64: 198BD902D7334433 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:50:45] 679*2^1442029-1 is not prime. Res64: B22718C8C0EE5228 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:50:45] 721*2^1442029-1 is not prime. Res64: 41703D9606A4DB89 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:51:05] 861*2^1442029-1 is not prime. Res64: CB8D118AE29ED97F Time : 0.0 sec. user=mdettweiler [2016-10-07 22:51:06] 979*2^1442029-1 is not prime. Res64: 587B0133D01C526E Time : 0.0 sec. user=mdettweiler [2016-10-07 22:51:06] 999*2^1442029-1 is not prime. Res64: 7D5ED50DF246C569 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:51:06] 623*2^1442030-1 is not prime. Res64: B97C7A79320F3636 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:51:07] 635*2^1442030-1 is not prime. Res64: A9F99A31321719FE Time : 0.0 sec. user=mdettweiler [2016-10-07 22:59:09] 663*2^1442030-1 is not prime. Res64: D7D245DE20D8D38B Time : 0.0 sec. user=mdettweiler [2016-10-07 22:59:10] 711*2^1442030-1 is not prime. Res64: CA5295A277BB6FB3 Time : 0.0 sec. user=mdettweiler [2016-10-07 22:59:10] 717*2^1442030-1 is not prime. Res64: AEDBD27AD70CF00C Time : 0.0 sec. user=mdettweiler [2016-10-07 22:59:10] 945*2^1442030-1 is not prime. Res64: 059EBE6C0B2C14EF Time : 0.0 sec. user=mdettweiler [2016-10-07 22:59:11] 953*2^1442030-1 is not prime. Res64: E8CF8CB0E0EBADCB Time : 0.0 sec. user=mdettweiler [2016-10-07 23:02:50] 977*2^1442030-1 is not prime. Res64: 548ED50A5148AFEA Time : 0.0 sec. user=mdettweiler [2016-10-07 23:02:51] 793*2^1442031-1 is not prime. Res64: AF9A2800118D91CA Time : 0.0 sec. user=mdettweiler [2016-10-07 23:02:52] 921*2^1442031-1 is not prime. Res64: BE0980E0B0625C63 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:02:52] 945*2^1442031-1 is not prime. Res64: B12E2FB60F807CEE Time : 0.0 sec. user=mdettweiler [2016-10-07 23:02:53] 975*2^1442031-1 is not prime. Res64: E2B1458888042ED2 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:11] 609*2^1442032-1 is not prime. Res64: 7BCE338828C219C7 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:11] 689*2^1442032-1 is not prime. Res64: 13D36F3CC8E1E04B Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:12] 735*2^1442032-1 is not prime. Res64: D51B1BEE3087C1CC Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:12] 631*2^1442033-1 is not prime. Res64: 1EE565C985E54E3D Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:12] 691*2^1442033-1 is not prime. Res64: 324D319E08D7583C Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:25] 741*2^1442033-1 is not prime. Res64: 9458DF8420DE848B Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:25] 801*2^1442033-1 is not prime. Res64: 2259F2E37392999A Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:26] 829*2^1442033-1 is not prime. Res64: CA8FDE42E9359518 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:26] 855*2^1442033-1 is not prime. Res64: 0107B4DE2C0A2848 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:36:27] 901*2^1442033-1 is not prime. Res64: A4B9836EF779FB55 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:44:48] 937*2^1442033-1 is not prime. Res64: E2846DDAE4BA883C Time : 0.0 sec. user=mdettweiler [2016-10-07 23:44:48] 663*2^1442034-1 is not prime. Res64: B65DCA3893724C94 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:44:49] 767*2^1442034-1 is not prime. Res64: 8878520E815E3ECD Time : 0.0 sec. user=mdettweiler [2016-10-07 23:44:49] 957*2^1442034-1 is not prime. Res64: 23F2DC99C4863BCB Time : 0.0 sec. user=mdettweiler [2016-10-07 23:44:49] 971*2^1442034-1 is not prime. Res64: 6D560807AA14B12F Time : 0.0 sec. user=mdettweiler [2016-10-07 23:48:29] 609*2^1442035-1 is not prime. Res64: 8E32DA26FD764660 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:48:29] 631*2^1442035-1 is not prime. Res64: ABB230210EB2F540 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:48:29] 645*2^1442035-1 is not prime. Res64: EB78ED61845022B3 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:48:29] 673*2^1442035-1 is not prime. Res64: 7FEF5DD9170606B2 Time : 0.0 sec. user=mdettweiler [2016-10-07 23:48:30] 693*2^1442035-1 is not prime. Res64: 77F46085D665BCC2 Time : 0.0 sec.