user=mdettweiler [2018-08-08 00:02:50] 899*2^1520692-1 is not prime. Res64: 8B69C6A6FA8A2FCD Time : 0.0 sec. user=mdettweiler [2018-08-08 00:02:50] 909*2^1520692-1 is not prime. Res64: 9EC4DD6A83CDF7FC Time : 0.0 sec. user=mdettweiler [2018-08-08 00:02:51] 957*2^1520692-1 is not prime. Res64: 45433C11778F4D5E Time : 0.0 sec. user=mdettweiler [2018-08-08 00:02:52] 959*2^1520692-1 is not prime. Res64: 8152C4E3C0DB2A72 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:02:52] 983*2^1520692-1 is not prime. Res64: 8A7F44E108283E9C Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:49] 999*2^1520692-1 is not prime. Res64: 3D5FA0CD5E1A87C4 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:50] 735*2^1520693-1 is not prime. Res64: 2D2BE4762795436E Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:50] 861*2^1520693-1 is not prime. Res64: 4341FE0145F2C3ED Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:51] 615*2^1520694-1 is not prime. Res64: AF0EF396484A2239 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:51] 725*2^1520694-1 is not prime. Res64: EC3F1FD189FF9780 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:57] 917*2^1520694-1 is not prime. Res64: E999A1B6A68FB3A8 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:57] 941*2^1520694-1 is not prime. Res64: EDB74EAF294261EC Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:58] 619*2^1520695-1 is not prime. Res64: DF39FDBFA72F3791 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:58] 663*2^1520695-1 is not prime. Res64: 613D7F20C731973A Time : 0.0 sec. user=mdettweiler [2018-08-08 00:11:59] 709*2^1520695-1 is not prime. Res64: 01D65FEBB3762B78 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:22:32] 715*2^1520695-1 is not prime. Res64: 3CB521D60B8D524E Time : 0.0 sec. user=mdettweiler [2018-08-08 00:22:32] 735*2^1520695-1 is not prime. Res64: D7B5B440DD3B8B11 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:22:33] 841*2^1520695-1 is not prime. Res64: 9D2F6A824151A1A4 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:22:33] 885*2^1520695-1 is not prime. Res64: A7A46FE80CFD439C Time : 0.0 sec. user=mdettweiler [2018-08-08 00:22:33] 603*2^1520696-1 is not prime. Res64: 15EC238F61632A62 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:55:23] 623*2^1520696-1 is not prime. Res64: 7E8F92F400671A93 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:55:23] 759*2^1520696-1 is not prime. Res64: BBB21F94198EFD52 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:55:24] 813*2^1520696-1 is not prime. Res64: DE2AF193D7D2472D Time : 0.0 sec. user=mdettweiler [2018-08-08 00:55:24] 857*2^1520696-1 is not prime. Res64: 746AD1434A951FE9 Time : 0.0 sec. user=mdettweiler [2018-08-08 00:55:24] 873*2^1520696-1 is not prime. Res64: 6B8CFFB7366A7E39 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:04:28] 861*2^1520697-1 is not prime. Res64: 3D2AA1012A600906 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:04:30] 871*2^1520697-1 is not prime. Res64: EF30ADEEB985317B Time : 0.0 sec. user=mdettweiler [2018-08-08 01:04:30] 955*2^1520697-1 is not prime. Res64: 82C4A6EC9DF0D86E Time : 0.0 sec. user=mdettweiler [2018-08-08 01:04:31] 991*2^1520697-1 is not prime. Res64: 3CC2F8AFEA8175FD Time : 0.0 sec. user=mdettweiler [2018-08-08 01:04:32] 695*2^1520698-1 is not prime. Res64: D643B77DCBF6CB0F Time : 0.0 sec. user=mdettweiler [2018-08-08 01:05:32] 875*2^1520696-1 is not prime. Res64: 4FEC6E358E88963B Time : 0.0 sec. user=mdettweiler [2018-08-08 01:05:33] 903*2^1520696-1 is not prime. Res64: 81C8CFFFB654D3BB Time : 0.0 sec. user=mdettweiler [2018-08-08 01:05:34] 963*2^1520696-1 is not prime. Res64: 1B9D75E45C622F8E Time : 0.0 sec. user=mdettweiler [2018-08-08 01:05:35] 607*2^1520697-1 is not prime. Res64: AE2ADC1B5BA0029D Time : 0.0 sec. user=mdettweiler [2018-08-08 01:05:36] 667*2^1520697-1 is not prime. Res64: 2ED1A9ABD2B74851 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:15:58] 755*2^1520698-1 is not prime. Res64: AF8138ED68DB27E8 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:15:58] 773*2^1520698-1 is not prime. Res64: 6D40B25B53AD5D6B Time : 0.0 sec. user=mdettweiler [2018-08-08 01:15:59] 815*2^1520698-1 is not prime. Res64: A4BFEEC5EEB2A233 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:16:00] 843*2^1520698-1 is not prime. Res64: 3F5582C5570B16D2 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:16:00] 905*2^1520698-1 is not prime. Res64: B95BCA3F96C55293 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:48:45] 1001*2^1520698-1 is not prime. Res64: A09FA745C57B737C Time : 0.0 sec. user=mdettweiler [2018-08-08 01:48:45] 619*2^1520699-1 is not prime. Res64: 33B9D5AE2FC89F16 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:48:46] 631*2^1520699-1 is not prime. Res64: E62EAA5660D395ED Time : 0.0 sec. user=mdettweiler [2018-08-08 01:48:46] 789*2^1520699-1 is not prime. Res64: E2E7CBA9BC70DDD8 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:48:47] 799*2^1520699-1 is not prime. Res64: B590E39C6B9E739E Time : 0.0 sec. user=mdettweiler [2018-08-08 01:57:55] 909*2^1520700-1 is not prime. Res64: D44BF18C7D3D33E9 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:57:55] 945*2^1520700-1 is not prime. Res64: 6D43CCDB1D0C3AA1 Time : 0.0 sec. user=mdettweiler [2018-08-08 01:57:56] 727*2^1520701-1 is not prime. Res64: 934F2E14C5C2291D Time : 0.0 sec. user=mdettweiler [2018-08-08 01:57:56] 861*2^1520701-1 is not prime. Res64: E4931FE2B5430A7F Time : 0.0 sec. user=mdettweiler [2018-08-08 01:57:57] 877*2^1520701-1 is not prime. Res64: 619CF66717DFA280 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:00:12] 895*2^1520699-1 is not prime. Res64: 8CB403D6AC45A9FE Time : 0.0 sec. user=mdettweiler [2018-08-08 02:00:12] 623*2^1520700-1 is not prime. Res64: 5EB90DF8EB45B9C5 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:00:13] 669*2^1520700-1 is not prime. Res64: E7EF43C98CF145D3 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:00:14] 693*2^1520700-1 is not prime. Res64: 94DE7917B21A72DA Time : 0.0 sec. user=mdettweiler [2018-08-08 02:00:15] 795*2^1520700-1 is not prime. Res64: D422CA6A26C6DDD3 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:08:45] 895*2^1520701-1 is not prime. Res64: 7CBACDAB8B96AA2D Time : 0.0 sec. user=mdettweiler [2018-08-08 02:08:46] 951*2^1520701-1 is not prime. Res64: 5F181C899458FA16 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:08:47] 961*2^1520701-1 is not prime. Res64: BC2E150B2CF79E19 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:08:47] 979*2^1520701-1 is not prime. Res64: DF19052E0CA59ED1 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:08:47] 997*2^1520701-1 is not prime. Res64: C75E24CB4E48A2C7 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:40:05] 627*2^1520702-1 is not prime. Res64: E1D3BF2F8BA5D068 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:40:06] 747*2^1520702-1 is not prime. Res64: F2A8DC3B55ECD124 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:40:08] 785*2^1520702-1 is not prime. Res64: F2CEDE6B7925594F Time : 0.0 sec. user=mdettweiler [2018-08-08 02:40:09] 885*2^1520702-1 is not prime. Res64: AC9D434E9759E3EC Time : 0.0 sec. user=mdettweiler [2018-08-08 02:40:10] 911*2^1520702-1 is not prime. Res64: 03601E0380F28602 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:51:16] 639*2^1520703-1 is not prime. Res64: F8C9D4CE32442163 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:51:16] 693*2^1520703-1 is not prime. Res64: 509183DB7F9F2E12 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:51:17] 769*2^1520703-1 is not prime. Res64: DE31F52D26E46493 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:51:17] 861*2^1520703-1 is not prime. Res64: 8B287F0589916531 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:51:17] 871*2^1520703-1 is not prime. Res64: 8F8AFAFE5932A1D9 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:52:32] 955*2^1520703-1 is not prime. Res64: F352E9E24A90FF60 Time : 0.0 sec. user=mdettweiler [2018-08-08 02:52:32] 623*2^1520704-1 is not prime. Res64: E3D842B1706578FA Time : 0.0 sec. user=mdettweiler [2018-08-08 02:52:33] 705*2^1520704-1 is not prime. Res64: 1232DC0E091F991D Time : 0.0 sec. user=mdettweiler [2018-08-08 02:52:33] 917*2^1520704-1 is not prime. Res64: AB1FF08DA35A4DDE Time : 0.0 sec. user=mdettweiler [2018-08-08 02:52:34] 995*2^1520704-1 is not prime. Res64: DA60D8A777452B77 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:01:18] 711*2^1520705-1 is not prime. Res64: 220A394F4555030E Time : 0.0 sec. user=mdettweiler [2018-08-08 03:01:19] 771*2^1520705-1 is not prime. Res64: 5A4DD0B159930D9F Time : 0.0 sec. user=mdettweiler [2018-08-08 03:01:20] 789*2^1520705-1 is not prime. Res64: F06FF8125B16FA33 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:01:20] 915*2^1520705-1 is not prime. Res64: 49A2F3B71338B201 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:01:22] 657*2^1520706-1 is not prime. Res64: 0281EBD8CE42A1E3 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:33:58] 747*2^1520706-1 is not prime. Res64: E79A2A98594BD9B6 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:34:00] 833*2^1520706-1 is not prime. Res64: 916168E8440DBBE5 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:34:01] 609*2^1520707-1 is not prime. Res64: 5F210BA26ECAE2F0 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:34:02] 649*2^1520707-1 is not prime. Res64: 333125E89D469062 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:34:03] 675*2^1520707-1 is not prime. Res64: 8F2E4C743BDCCB44 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:43:05] 741*2^1520707-1 is not prime. Res64: 9D79D7461D57C9EF Time : 0.0 sec. user=mdettweiler [2018-08-08 03:43:06] 861*2^1520707-1 is not prime. Res64: 8909E6037EDE85A8 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:43:07] 913*2^1520707-1 is not prime. Res64: 82E21DE21AFAE1C9 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:43:08] 961*2^1520707-1 is not prime. Res64: 24A1D42B33A7CFF5 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:43:09] 975*2^1520707-1 is not prime. Res64: CA932970A85FF1BC Time : 0.0 sec. user=mdettweiler [2018-08-08 03:44:23] 623*2^1520708-1 is not prime. Res64: DA38E2CB7FF47443 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:44:24] 699*2^1520708-1 is not prime. Res64: FD555AA6EDAF8041 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:44:25] 825*2^1520708-1 is not prime. Res64: D00DB7E463B2E76B Time : 0.0 sec. user=mdettweiler [2018-08-08 03:44:25] 839*2^1520708-1 is not prime. Res64: 37FFB3D297CAF8DE Time : 0.0 sec. user=mdettweiler [2018-08-08 03:44:26] 843*2^1520708-1 is not prime. Res64: FB9F3AB0D18CEA39 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:53:47] 845*2^1520708-1 is not prime. Res64: 131398B6165601AB Time : 0.0 sec. user=mdettweiler [2018-08-08 03:53:49] 915*2^1520708-1 is not prime. Res64: 990F271AB8B3EB16 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:53:49] 999*2^1520708-1 is not prime. Res64: A73C15A1373F6E00 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:53:50] 675*2^1520709-1 is not prime. Res64: B0DCE5981A687D86 Time : 0.0 sec. user=mdettweiler [2018-08-08 03:53:50] 867*2^1520709-1 is not prime. Res64: 8C4ADB4DCFFC81A5 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:27:06] 955*2^1520709-1 is not prime. Res64: 568AA7CD7C4DF132 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:27:07] 605*2^1520710-1 is not prime. Res64: 762BF429A1B9CF10 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:27:07] 857*2^1520710-1 is not prime. Res64: E4D0584AA66EB777 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:27:08] 981*2^1520710-1 is not prime. Res64: 7C07E01E4463990C Time : 0.0 sec. user=mdettweiler [2018-08-08 04:27:08] 615*2^1520711-1 is not prime. Res64: 5F1A52AE6A221A50 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:37:16] 663*2^1520711-1 is not prime. Res64: ABA07CE5848A55BF Time : 0.0 sec. user=mdettweiler [2018-08-08 04:37:17] 675*2^1520711-1 is not prime. Res64: EF61128FB97CEAF1 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:37:17] 753*2^1520711-1 is not prime. Res64: 9079D3DE0C0DB3E5 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:37:17] 859*2^1520711-1 is not prime. Res64: 7D782672584CF7EA Time : 0.0 sec. user=mdettweiler [2018-08-08 04:37:18] 883*2^1520711-1 is not prime. Res64: 621C9E54D2612234 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:38:44] 909*2^1520711-1 is not prime. Res64: 3EDE78A0BF5A1C95 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:38:44] 931*2^1520711-1 is not prime. Res64: 69E84B2884670824 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:38:45] 713*2^1520712-1 is not prime. Res64: 986D53A9199E0F8A Time : 0.0 sec. user=mdettweiler [2018-08-08 04:38:45] 863*2^1520712-1 is not prime. Res64: AC09F654CE95921E Time : 0.0 sec. user=mdettweiler [2018-08-08 04:38:46] 899*2^1520712-1 is not prime. Res64: 6BB3594D4FC9CD45 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:46:55] 917*2^1520712-1 is not prime. Res64: C6FBB90A35692137 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:46:55] 923*2^1520712-1 is not prime. Res64: AB3DD4145F8E0BAE Time : 0.0 sec. user=mdettweiler [2018-08-08 04:46:56] 983*2^1520712-1 is not prime. Res64: A8743144C4E25640 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:46:56] 615*2^1520713-1 is not prime. Res64: 2160D9D33419F2C1 Time : 0.0 sec. user=mdettweiler [2018-08-08 04:46:57] 699*2^1520713-1 is not prime. Res64: FA23747CCBAD2E9B Time : 0.0 sec. user=mdettweiler [2018-08-08 05:18:23] 715*2^1520713-1 is not prime. Res64: E077BC570213A447 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:18:24] 765*2^1520713-1 is not prime. Res64: 96275F02F37DE34F Time : 0.0 sec. user=mdettweiler [2018-08-08 05:18:24] 915*2^1520713-1 is not prime. Res64: F6A63442A0C5D066 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:18:25] 617*2^1520714-1 is not prime. Res64: 4390ACAF5895BF6B Time : 0.0 sec. user=mdettweiler [2018-08-08 05:18:25] 671*2^1520714-1 is not prime. Res64: AE64E7E05EDB327D Time : 0.0 sec. user=mdettweiler [2018-08-08 05:28:46] 755*2^1520714-1 is not prime. Res64: 0516A1C6AB4B3275 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:28:46] 887*2^1520714-1 is not prime. Res64: 96ABDA16B33D7A68 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:28:47] 971*2^1520714-1 is not prime. Res64: 7CE342D7B61597AB Time : 0.0 sec. user=mdettweiler [2018-08-08 05:28:48] 685*2^1520715-1 is not prime. Res64: 9532F687DCFC8801 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:28:48] 739*2^1520715-1 is not prime. Res64: F24B374DC982D56C Time : 0.0 sec. user=mdettweiler [2018-08-08 05:30:19] 795*2^1520715-1 is not prime. Res64: 15517056908750EE Time : 0.0 sec. user=mdettweiler [2018-08-08 05:30:20] 825*2^1520715-1 is not prime. Res64: 04CE1D8C70610D90 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:30:20] 861*2^1520715-1 is not prime. Res64: 9377F337B887C4DC Time : 0.0 sec. user=mdettweiler [2018-08-08 05:30:21] 895*2^1520715-1 is not prime. Res64: CC5457C6ECFEDCD6 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:30:21] 903*2^1520715-1 is not prime. Res64: FB45089AF54E974B Time : 0.0 sec. user=mdettweiler [2018-08-08 05:38:09] 985*2^1520715-1 is not prime. Res64: 691102B5CA7E6B3F Time : 0.0 sec. user=mdettweiler [2018-08-08 05:38:09] 825*2^1520716-1 is not prime. Res64: 6E07DA62538F3865 Time : 0.0 sec. user=mdettweiler [2018-08-08 05:38:10] 887*2^1520716-1 is not prime. Res64: 3EE0BC590BB5993D Time : 0.0 sec. user=mdettweiler [2018-08-08 05:38:10] 927*2^1520716-1 is not prime. Res64: 42B461527940ACAA Time : 0.0 sec. user=mdettweiler [2018-08-08 05:38:11] 939*2^1520716-1 is not prime. Res64: ECFD5DF9D5E5F674 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:10:16] 965*2^1520716-1 is not prime. Res64: 4B88BB54F0139D4B Time : 0.0 sec. user=mdettweiler [2018-08-08 06:10:16] 993*2^1520716-1 is not prime. Res64: 0EB88504D96EBA51 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:10:17] 795*2^1520717-1 is not prime. Res64: BA1037C377FE3CB2 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:10:17] 825*2^1520717-1 is not prime. Res64: 36C966060C57FCC1 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:10:18] 831*2^1520717-1 is not prime. Res64: 541ADEBF74C3843C Time : 0.0 sec. user=mdettweiler [2018-08-08 06:20:29] 837*2^1520717-1 is not prime. Res64: C0C839F111B39A8A Time : 0.0 sec. user=mdettweiler [2018-08-08 06:20:30] 997*2^1520717-1 is not prime. Res64: 0D03BB390FE97823 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:20:30] 621*2^1520718-1 is not prime. Res64: 8A636CAAF0487E3A Time : 0.0 sec. user=mdettweiler [2018-08-08 06:20:31] 777*2^1520718-1 is not prime. Res64: BCB7F2D367267603 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:20:31] 867*2^1520718-1 is not prime. Res64: B4902A89D6EB16E7 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:24:13] 915*2^1520718-1 is not prime. Res64: 7BF3596300538E4A Time : 0.0 sec. user=mdettweiler [2018-08-08 06:24:13] 951*2^1520718-1 is not prime. Res64: BABA29E15854541A Time : 0.0 sec. user=mdettweiler [2018-08-08 06:24:14] 993*2^1520718-1 is not prime. Res64: 666135F0EBDC6A08 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:24:14] 619*2^1520719-1 is not prime. Res64: BABA3D66E53136DA Time : 0.0 sec. user=mdettweiler [2018-08-08 06:24:14] 625*2^1520719-1 is not prime. Res64: 31D9C9C66581FDF9 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:31:14] 639*2^1520719-1 is not prime. Res64: 63328A5DA7C76AC6 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:31:14] 649*2^1520719-1 is not prime. Res64: A218F4DA6124BC48 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:31:15] 703*2^1520719-1 is not prime. Res64: FEE7909B56A10C2D Time : 0.0 sec. user=mdettweiler [2018-08-08 06:31:15] 741*2^1520719-1 is not prime. Res64: 6357BFAD8BF6A847 Time : 0.0 sec. user=mdettweiler [2018-08-08 06:31:15] 859*2^1520719-1 is not prime. Res64: F15C40F44A40C4B9 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:02:29] 873*2^1520719-1 is not prime. Res64: A81B44DC8AF9090F Time : 0.0 sec. user=mdettweiler [2018-08-08 07:02:30] 925*2^1520719-1 is not prime. Res64: BDA2776303B6EDDF Time : 0.0 sec. user=mdettweiler [2018-08-08 07:02:31] 999*2^1520719-1 is not prime. Res64: 298C2328D9FC6119 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:02:31] 669*2^1520720-1 is not prime. Res64: EE501950AD15748A Time : 0.0 sec. user=mdettweiler [2018-08-08 07:02:32] 753*2^1520720-1 is not prime. Res64: 50942475F3E6AC53 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:12:18] 755*2^1520720-1 is not prime. Res64: 7AE42058D1A5F71A Time : 0.0 sec. user=mdettweiler [2018-08-08 07:12:19] 773*2^1520720-1 is not prime. Res64: EE775341C163ADE8 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:12:19] 803*2^1520720-1 is not prime. Res64: 57F2578FDDCD79C6 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:12:20] 825*2^1520720-1 is not prime. Res64: B20385A90CEF2DCA Time : 0.0 sec. user=mdettweiler [2018-08-08 07:12:20] 875*2^1520720-1 is not prime. Res64: 2FE258F6BFE2F73F Time : 0.0 sec. user=mdettweiler [2018-08-08 07:15:42] 897*2^1520720-1 is not prime. Res64: FF16B773A10E92A2 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:15:42] 917*2^1520720-1 is not prime. Res64: 6C6C93C2F1282C87 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:15:43] 959*2^1520720-1 is not prime. Res64: 9644B823D55EB867 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:15:43] 963*2^1520720-1 is not prime. Res64: A4D81757C47C3356 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:15:44] 639*2^1520721-1 is not prime. Res64: 70BA86677DEE8E40 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:22:37] 745*2^1520721-1 is not prime. Res64: 7DF8012420907708 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:22:37] 829*2^1520721-1 is not prime. Res64: 3D486F3C35FEF5C1 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:22:38] 975*2^1520721-1 is not prime. Res64: 3FCA437B5949F571 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:22:38] 653*2^1520722-1 is not prime. Res64: 505C5E739AA8AA6F Time : 0.0 sec. user=mdettweiler [2018-08-08 07:22:38] 657*2^1520722-1 is not prime. Res64: F2EFCD4C296ED528 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:54:08] 885*2^1520722-1 is not prime. Res64: 39DC5723EF52DC85 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:54:09] 917*2^1520722-1 is not prime. Res64: 20C3CF8ABFFEF931 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:54:09] 983*2^1520722-1 is not prime. Res64: 64F998F3C426B330 Time : 0.0 sec. user=mdettweiler [2018-08-08 07:54:10] 633*2^1520723-1 is not prime. Res64: 1B2CCB8C78A3FD9F Time : 0.0 sec. user=mdettweiler [2018-08-08 07:54:10] 643*2^1520723-1 is not prime. Res64: E7D8B453C20A9455 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:03:48] 669*2^1520723-1 is not prime. Res64: 3EDFD402712BDB51 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:03:49] 675*2^1520723-1 is not prime. Res64: 1A73C86CDF8BB479 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:03:50] 703*2^1520723-1 is not prime. Res64: 36C9C8CDBF72D14D Time : 0.0 sec. user=mdettweiler [2018-08-08 08:03:51] 775*2^1520723-1 is not prime. Res64: 7287C95D78599DB1 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:03:51] 879*2^1520723-1 is not prime. Res64: 1C8EDF9C84F84FDA Time : 0.0 sec. user=mdettweiler [2018-08-08 08:07:17] 889*2^1520723-1 is not prime. Res64: 743DE372F47DE587 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:07:20] 963*2^1520723-1 is not prime. Res64: AF848526C1FE5BE8 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:07:21] 605*2^1520724-1 is not prime. Res64: BA7C25EEC7CFC43E Time : 0.0 sec. user=mdettweiler [2018-08-08 08:07:22] 663*2^1520724-1 is not prime. Res64: EC93AAC8C7738550 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:07:24] 689*2^1520724-1 is not prime. Res64: 12B7564D384C3366 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:16:00] 723*2^1520724-1 is not prime. Res64: 1230322D9286DD07 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:16:00] 765*2^1520724-1 is not prime. Res64: 127BC47011E31361 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:16:00] 899*2^1520724-1 is not prime. Res64: C317B4FD8CA9F92A Time : 0.0 sec. user=mdettweiler [2018-08-08 08:16:01] 905*2^1520724-1 is not prime. Res64: 89FBB0FA4A2D8350 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:16:01] 687*2^1520725-1 is not prime. Res64: 069E8F85E55EE039 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:46:29] 957*2^1520725-1 is not prime. Res64: 5265F12BF096B4AF Time : 0.0 sec. user=mdettweiler [2018-08-08 08:46:29] 979*2^1520725-1 is not prime. Res64: B0FCAA0476C81912 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:46:30] 623*2^1520726-1 is not prime. Res64: 54E69EC379F81197 Time : 0.0 sec. user=mdettweiler [2018-08-08 08:46:30] 635*2^1520726-1 is not prime. Res64: 22F6E4DB5CC868FB Time : 0.0 sec. user=mdettweiler [2018-08-08 08:46:30] 683*2^1520726-1 is not prime. Res64: 534B867925CF53BF Time : 0.0 sec. user=mdettweiler [2018-08-08 09:00:48] 815*2^1520726-1 is not prime. Res64: 87880E1A858CF5D9 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:00:49] 923*2^1520726-1 is not prime. Res64: CCFD3EEFFFD0E323 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:00:49] 953*2^1520726-1 is not prime. Res64: 7B2A348C75607B80 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:00:50] 861*2^1520727-1 is not prime. Res64: 5DC811F7F1037E79 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:00:51] 743*2^1520728-1 is not prime. Res64: DB4D5651FE3C7C4C Time : 0.0 sec. user=mdettweiler [2018-08-08 09:04:54] 765*2^1520728-1 is not prime. Res64: 8C14622545397084 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:04:56] 797*2^1520728-1 is not prime. Res64: 38F70732D3DB9053 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:04:57] 813*2^1520728-1 is not prime. Res64: 690530BA5B3785F8 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:04:58] 819*2^1520728-1 is not prime. Res64: 2193D8DDE05EE5D2 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:05:00] 975*2^1520728-1 is not prime. Res64: 2C11262C2350B026 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:09:30] 619*2^1520729-1 is not prime. Res64: F3C575B738173058 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:09:30] 637*2^1520729-1 is not prime. Res64: DC6E2E16B8E067E5 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:09:31] 721*2^1520729-1 is not prime. Res64: 7F75ECA5383D035E Time : 0.0 sec. user=mdettweiler [2018-08-08 09:09:31] 879*2^1520729-1 is not prime. Res64: 1C3ADB5778B08299 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:09:32] 985*2^1520729-1 is not prime. Res64: F6FA95A9FB8FE076 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:37:59] 611*2^1520730-1 is not prime. Res64: 33E294FA9FBF4B01 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:37:59] 755*2^1520730-1 is not prime. Res64: B4668AAE40BA531F Time : 0.0 sec. user=mdettweiler [2018-08-08 09:38:00] 803*2^1520730-1 is not prime. Res64: 797D5A1DDAE87DF8 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:38:00] 845*2^1520730-1 is not prime. Res64: 8879D7D13FA67293 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:38:00] 933*2^1520730-1 is not prime. Res64: F6804A1AD1C55339 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:53:19] 709*2^1520731-1 is not prime. Res64: 26B357A137EE8018 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:53:20] 771*2^1520731-1 is not prime. Res64: D32BBB63FAA5DA62 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:53:20] 861*2^1520731-1 is not prime. Res64: 1B77C4F5BF8134E5 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:53:21] 885*2^1520731-1 is not prime. Res64: 8EC4D03AC27463D9 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:53:21] 889*2^1520731-1 is not prime. Res64: F9F0E5EF3EAADE2C Time : 0.0 sec. user=mdettweiler [2018-08-08 09:57:34] 999*2^1520731-1 is not prime. Res64: E59ECACDD9B71AC3 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:57:34] 647*2^1520732-1 is not prime. Res64: 8828AF8D951D7F63 Time : 0.0 sec. user=mdettweiler [2018-08-08 09:57:35] 693*2^1520732-1 is not prime. Res64: EF392CF4C03629AA Time : 0.0 sec. user=mdettweiler [2018-08-08 09:57:35] 719*2^1520732-1 is not prime. Res64: 9071EEB90A066A9C Time : 0.0 sec. user=mdettweiler [2018-08-08 09:57:36] 903*2^1520732-1 is not prime. Res64: 2F5F67B68F77A94A Time : 0.0 sec. user=mdettweiler [2018-08-08 10:02:44] 923*2^1520732-1 is not prime. Res64: 268EA4DF1E1FF6B2 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:02:45] 959*2^1520732-1 is not prime. Res64: 21BE2000ECC8416A Time : 0.0 sec. user=mdettweiler [2018-08-08 10:02:45] 977*2^1520732-1 is not prime. Res64: 7B488446B99727D9 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:02:46] 609*2^1520733-1 is not prime. Res64: 843EB70DA6DF941D Time : 0.0 sec. user=mdettweiler [2018-08-08 10:02:47] 625*2^1520733-1 is not prime. Res64: 5EA20B22B13031D6 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:30:36] 789*2^1520733-1 is not prime. Res64: C90AA63A24619287 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:30:37] 871*2^1520733-1 is not prime. Res64: BB3F7FC28518EB54 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:30:37] 877*2^1520733-1 is not prime. Res64: F7F3FFC3AFC5D518 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:30:37] 949*2^1520733-1 is not prime. Res64: A0478B8F8D052B8E Time : 0.0 sec. user=mdettweiler [2018-08-08 10:30:38] 999*2^1520733-1 is not prime. Res64: FE6A55AD7C0286BA Time : 0.0 sec. user=mdettweiler [2018-08-08 10:47:01] 723*2^1520734-1 is not prime. Res64: AD09E32984221B02 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:47:02] 945*2^1520734-1 is not prime. Res64: C462AAE15C5454D6 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:47:02] 983*2^1520734-1 is not prime. Res64: 8270A27BB7A2B199 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:47:02] 661*2^1520735-1 is not prime. Res64: 4EF48BEBDEE79369 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:47:03] 741*2^1520735-1 is not prime. Res64: C75239070E9FB905 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:50:17] 831*2^1520735-1 is not prime. Res64: 0A70CADFD14C5EAD Time : 0.0 sec. user=mdettweiler [2018-08-08 10:50:17] 841*2^1520735-1 is not prime. Res64: A8B6C99B6B232074 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:50:17] 853*2^1520735-1 is not prime. Res64: 1D0D9AFE624E64DA Time : 0.0 sec. user=mdettweiler [2018-08-08 10:50:18] 609*2^1520736-1 is not prime. Res64: 22359E9E6A7CFD5E Time : 0.0 sec. user=mdettweiler [2018-08-08 10:50:18] 815*2^1520736-1 is not prime. Res64: C4B2E26001BB2033 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:54:25] 843*2^1520736-1 is not prime. Res64: 06B96B85428FD175 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:54:25] 909*2^1520736-1 is not prime. Res64: B2FD44C54A8FD2D5 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:54:26] 969*2^1520736-1 is not prime. Res64: 364CF7A3FB05035A Time : 0.0 sec. user=mdettweiler [2018-08-08 10:54:26] 651*2^1520737-1 is not prime. Res64: 397AEEC886BE6865 Time : 0.0 sec. user=mdettweiler [2018-08-08 10:54:26] 861*2^1520737-1 is not prime. Res64: EBFE49889CB439C8 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:21:48] 937*2^1520737-1 is not prime. Res64: 939667203C1F9052 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:21:49] 955*2^1520737-1 is not prime. Res64: D59ABCFEF6D241EF Time : 0.0 sec. user=mdettweiler [2018-08-08 11:21:49] 981*2^1520737-1 is not prime. Res64: 2CC05FC28FCCE763 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:21:49] 997*2^1520737-1 is not prime. Res64: CAD1AC0CE9FD7C21 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:21:50] 605*2^1520738-1 is not prime. Res64: F4E785F00EF97857 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:38:54] 671*2^1520738-1 is not prime. Res64: 736F672C5474C237 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:38:55] 705*2^1520738-1 is not prime. Res64: 0DC35674A36B1E90 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:38:55] 713*2^1520738-1 is not prime. Res64: 7F18EF98040F58BF Time : 0.0 sec. user=mdettweiler [2018-08-08 11:38:55] 857*2^1520738-1 is not prime. Res64: 409716CCD675231C Time : 0.0 sec. user=mdettweiler [2018-08-08 11:38:56] 861*2^1520738-1 is not prime. Res64: 146B3DDEBD1FDE06 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:42:53] 953*2^1520738-1 is not prime. Res64: 7C96424ADAA76F98 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:42:53] 963*2^1520738-1 is not prime. Res64: 27DBF96B1881142C Time : 0.0 sec. user=mdettweiler [2018-08-08 11:42:54] 625*2^1520739-1 is not prime. Res64: C0B38200379E1032 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:42:54] 789*2^1520739-1 is not prime. Res64: 8BCAF4CCE53FB23D Time : 0.0 sec. user=mdettweiler [2018-08-08 11:42:54] 975*2^1520739-1 is not prime. Res64: 91F7EA2C811988EB Time : 0.0 sec. user=mdettweiler [2018-08-08 11:47:47] 605*2^1520740-1 is not prime. Res64: 1DB6A035DF07E41A Time : 0.0 sec. user=mdettweiler [2018-08-08 11:47:47] 615*2^1520740-1 is not prime. Res64: 70366C76845D188F Time : 0.0 sec. user=mdettweiler [2018-08-08 11:47:47] 635*2^1520740-1 is not prime. Res64: 705DC8F5EC381CA7 Time : 0.0 sec. user=mdettweiler [2018-08-08 11:47:48] 689*2^1520740-1 is not prime. Res64: 33CE39CCA858F21B Time : 0.0 sec. user=mdettweiler [2018-08-08 11:47:48] 707*2^1520740-1 is not prime. Res64: 8C6695250C27DD04 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:17:33] 995*2^1520740-1 is not prime. Res64: 961245D19D1DFAF8 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:17:34] 999*2^1520740-1 is not prime. Res64: D406AC7ECCBE9DAA Time : 0.0 sec. user=mdettweiler [2018-08-08 12:17:34] 631*2^1520741-1 is not prime. Res64: 1EDAD8CF6DAE6DD8 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:17:35] 649*2^1520741-1 is not prime. Res64: 11A534953F5C93B1 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:17:35] 685*2^1520741-1 is not prime. Res64: F64E5DCFA9BBC121 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:35:29] 925*2^1520741-1 is not prime. Res64: A6532B9E3FBEBA84 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:35:30] 937*2^1520741-1 is not prime. Res64: 55BE9740E479212B Time : 0.0 sec. user=mdettweiler [2018-08-08 12:35:30] 635*2^1520742-1 is not prime. Res64: D78C6DAB0AB18DCD Time : 0.0 sec. user=mdettweiler [2018-08-08 12:35:30] 711*2^1520742-1 is not prime. Res64: BF4CF07A0D5F9453 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:35:31] 791*2^1520742-1 is not prime. Res64: F750BD29524D4D23 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:42:06] 801*2^1520742-1 is not prime. Res64: A99F9F5D20F772EC Time : 0.0 sec. user=mdettweiler [2018-08-08 12:42:06] 947*2^1520742-1 is not prime. Res64: E891499B2306CDEB Time : 0.0 sec. user=mdettweiler [2018-08-08 12:42:07] 681*2^1520743-1 is not prime. Res64: 833D0A47E87EB517 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:42:07] 775*2^1520743-1 is not prime. Res64: E0DCAF2D01555565 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:42:08] 789*2^1520743-1 is not prime. Res64: A6DD8782F49F4340 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:45:32] 871*2^1520743-1 is not prime. Res64: AF7B34061001BBC5 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:45:32] 915*2^1520743-1 is not prime. Res64: BACEB5D67FF5F19F Time : 0.0 sec. user=mdettweiler [2018-08-08 12:45:33] 767*2^1520744-1 is not prime. Res64: 8908792ED4A7A33A Time : 0.0 sec. user=mdettweiler [2018-08-08 12:45:33] 803*2^1520744-1 is not prime. Res64: 973379A022F7CC45 Time : 0.0 sec. user=mdettweiler [2018-08-08 12:45:34] 837*2^1520744-1 is not prime. Res64: 8A9C2EDD9572ACD6 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:14:01] 857*2^1520744-1 is not prime. Res64: 124FA04FCEE664B7 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:14:01] 897*2^1520744-1 is not prime. Res64: 11CF2484A027B826 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:14:02] 917*2^1520744-1 is not prime. Res64: 8E49C9A2B7A99BAD Time : 0.0 sec. user=mdettweiler [2018-08-08 13:14:02] 959*2^1520744-1 is not prime. Res64: E0A336905C60D203 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:14:02] 601*2^1520745-1 is not prime. Res64: 0DF0C25F732A967D Time : 0.0 sec. user=mdettweiler [2018-08-08 13:30:59] 721*2^1520745-1 is not prime. Res64: 3F5BB7DB62A18494 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:30:59] 765*2^1520745-1 is not prime. Res64: 77D720478E8AFA9C Time : 0.0 sec. user=mdettweiler [2018-08-08 13:30:59] 789*2^1520745-1 is not prime. Res64: 39AF7670BF418D82 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:31:00] 795*2^1520745-1 is not prime. Res64: 68FE923528D45031 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:31:00] 603*2^1520746-1 is not prime. Res64: 1CFA6FB3F87BE691 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:36:54] 695*2^1520746-1 is not prime. Res64: 0BE563AA5B790A30 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:36:54] 741*2^1520746-1 is not prime. Res64: 4DB000E5C8C011D4 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:36:55] 903*2^1520746-1 is not prime. Res64: B56BDA02B8198E30 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:36:56] 945*2^1520746-1 is not prime. Res64: 5FFD00013F5C786B Time : 0.0 sec. user=mdettweiler [2018-08-08 13:36:56] 947*2^1520746-1 is not prime. Res64: D74801430DC9EACE Time : 0.0 sec. user=mdettweiler [2018-08-08 13:39:23] 971*2^1520746-1 is not prime. Res64: 65FA69A99FA2679F Time : 0.0 sec. user=mdettweiler [2018-08-08 13:39:23] 621*2^1520747-1 is not prime. Res64: F84DEEFAD0A2E3B3 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:39:24] 633*2^1520747-1 is not prime. Res64: 32889CCC702D1E73 Time : 0.0 sec. user=mdettweiler [2018-08-08 13:39:24] 649*2^1520747-1 is not prime. Res64: 40FB80F7150347DA Time : 0.0 sec. user=mdettweiler [2018-08-08 13:39:25] 843*2^1520747-1 is not prime. Res64: 01A0FA78CCCEFA8A Time : 0.0 sec. user=mdettweiler [2018-08-08 14:06:11] 883*2^1520747-1 is not prime. Res64: 7D3D511959E78E47 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:06:13] 885*2^1520747-1 is not prime. Res64: C9420AB7D2B298EC Time : 0.0 sec. user=mdettweiler [2018-08-08 14:06:14] 903*2^1520747-1 is not prime. Res64: B1AD3C2CD81B3222 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:06:16] 955*2^1520747-1 is not prime. Res64: D3B6FB21BD566458 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:06:17] 973*2^1520747-1 is not prime. Res64: 18C13BEF5C8704F0 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:23:17] 705*2^1520748-1 is not prime. Res64: 2DF685F21D84C02E Time : 0.0 sec. user=mdettweiler [2018-08-08 14:23:17] 737*2^1520748-1 is not prime. Res64: 1D932AE7B784ACFE Time : 0.0 sec. user=mdettweiler [2018-08-08 14:23:18] 957*2^1520748-1 is not prime. Res64: 3F57D6DCF6074D61 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:23:18] 957*2^1520749-1 is not prime. Res64: 01EDADC3080368BF Time : 0.0 sec. user=mdettweiler [2018-08-08 14:23:18] 975*2^1520749-1 is not prime. Res64: 9479039221CD84D4 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:29:06] 615*2^1520750-1 is not prime. Res64: 9BF094FCA2ECC27A Time : 0.0 sec. user=mdettweiler [2018-08-08 14:29:07] 797*2^1520750-1 is not prime. Res64: 0CE4A70EB47CA673 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:29:07] 801*2^1520750-1 is not prime. Res64: E567EA776918ED95 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:29:07] 843*2^1520750-1 is not prime. Res64: 157610C1F205E43A Time : 0.0 sec. user=mdettweiler [2018-08-08 14:29:08] 893*2^1520750-1 is not prime. Res64: C3D13222982382EC Time : 0.0 sec. user=mdettweiler [2018-08-08 14:33:12] 691*2^1520751-1 is not prime. Res64: 739ADCDA16A01008 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:33:12] 775*2^1520751-1 is not prime. Res64: E88E9D6141340B5E Time : 0.0 sec. user=mdettweiler [2018-08-08 14:33:12] 849*2^1520751-1 is not prime. Res64: 3AE1D75EF68A991F Time : 0.0 sec. user=mdettweiler [2018-08-08 14:33:13] 873*2^1520751-1 is not prime. Res64: 52276CBD6876B625 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:33:13] 895*2^1520751-1 is not prime. Res64: 53BA65534AF6EA0F Time : 0.0 sec. user=mdettweiler [2018-08-08 14:59:04] 945*2^1520751-1 is not prime. Res64: 03969ECBBD752ABD Time : 0.0 sec. user=mdettweiler [2018-08-08 14:59:05] 623*2^1520752-1 is not prime. Res64: 737B95A8BC0572C1 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:59:05] 695*2^1520752-1 is not prime. Res64: 0B83603BD1594796 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:59:06] 723*2^1520752-1 is not prime. Res64: AAF5A4BC84741A08 Time : 0.0 sec. user=mdettweiler [2018-08-08 14:59:06] 755*2^1520752-1 is not prime. Res64: 4E06BCC80CB6709B Time : 0.0 sec. user=mdettweiler [2018-08-08 15:15:32] 855*2^1520752-1 is not prime. Res64: 7F303B5A8DD10D13 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:15:32] 863*2^1520752-1 is not prime. Res64: 2B2F404F49EBC1D9 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:15:33] 929*2^1520752-1 is not prime. Res64: C0E5BEA377839502 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:15:33] 679*2^1520753-1 is not prime. Res64: 23E517F76CFCB12B Time : 0.0 sec. user=mdettweiler [2018-08-08 15:15:34] 985*2^1520753-1 is not prime. Res64: 438D43595498A233 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:21:23] 605*2^1520754-1 is not prime. Res64: 5526D3C212754F85 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:21:24] 683*2^1520754-1 is not prime. Res64: 7BCDAED32C978F93 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:21:24] 725*2^1520754-1 is not prime. Res64: 64001C7E03C21992 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:21:24] 875*2^1520754-1 is not prime. Res64: FF3D3216F5A38CCD Time : 0.0 sec. user=mdettweiler [2018-08-08 15:21:25] 927*2^1520754-1 is not prime. Res64: 023925B51BD9E599 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:27:43] 951*2^1520754-1 is not prime. Res64: ED34730FF730EC3B Time : 0.0 sec. user=mdettweiler [2018-08-08 15:27:43] 691*2^1520755-1 is not prime. Res64: A14FD19285644139 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:27:44] 853*2^1520755-1 is not prime. Res64: 6DFBA7250AB2D3A3 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:27:44] 883*2^1520755-1 is not prime. Res64: 1FAEDFE3A8270FB6 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:27:45] 603*2^1520756-1 is not prime. Res64: 100ED805AEAC1CEC Time : 0.0 sec. user=mdettweiler [2018-08-08 15:53:38] 675*2^1520756-1 is not prime. Res64: 894592431DC63543 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:53:39] 693*2^1520756-1 is not prime. Res64: 565F304F844D8B07 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:53:39] 767*2^1520756-1 is not prime. Res64: 857ADF217C61CC70 Time : 0.0 sec. user=mdettweiler [2018-08-08 15:53:39] 843*2^1520756-1 is not prime. Res64: 41D137E6B645946F Time : 0.0 sec. user=mdettweiler [2018-08-08 15:53:40] 899*2^1520756-1 is not prime. Res64: A04F2D59C19FF9B4 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:09:22] 999*2^1520756-1 is not prime. Res64: F9B298F651EC30A1 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:09:23] 651*2^1520757-1 is not prime. Res64: 0E3732599D2BB666 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:09:24] 735*2^1520757-1 is not prime. Res64: CB7EC6E6D3137DA0 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:09:25] 747*2^1520757-1 is not prime. Res64: 4DFF032E59A5DB3A Time : 0.0 sec. user=mdettweiler [2018-08-08 16:09:27] 819*2^1520757-1 is not prime. Res64: EF39B70DA65B8BD6 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:14:08] 889*2^1520757-1 is not prime. Res64: 63BFB4B7BCB0AC43 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:14:08] 605*2^1520758-1 is not prime. Res64: B655EE7C559B863C Time : 0.0 sec. user=mdettweiler [2018-08-08 16:14:09] 755*2^1520758-1 is not prime. Res64: EE2C79F569CD55C3 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:14:09] 825*2^1520758-1 is not prime. Res64: D9D815CCC610DE4C Time : 0.0 sec. user=mdettweiler [2018-08-08 16:14:10] 885*2^1520758-1 is not prime. Res64: 981C683A6C51580C Time : 0.0 sec. user=mdettweiler [2018-08-08 16:19:23] 887*2^1520758-1 is not prime. Res64: 2CA616F0086A88BF Time : 0.0 sec. user=mdettweiler [2018-08-08 16:19:24] 923*2^1520758-1 is not prime. Res64: A2D6741E5C8F17E7 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:19:24] 945*2^1520758-1 is not prime. Res64: 40B84C644843A096 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:19:25] 619*2^1520759-1 is not prime. Res64: 933AFB5375B6FEDB Time : 0.0 sec. user=mdettweiler [2018-08-08 16:19:25] 685*2^1520759-1 is not prime. Res64: 27D45E38F98E5973 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:45:12] 721*2^1520759-1 is not prime. Res64: FA3394850948D97E Time : 0.0 sec. user=mdettweiler [2018-08-08 16:45:12] 735*2^1520759-1 is not prime. Res64: 7707E5FCD1D19FDB Time : 0.0 sec. user=mdettweiler [2018-08-08 16:45:13] 789*2^1520759-1 is not prime. Res64: 0644F64F8F584041 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:45:13] 819*2^1520759-1 is not prime. Res64: 1A7581353F40B5D8 Time : 0.0 sec. user=mdettweiler [2018-08-08 16:45:13] 955*2^1520759-1 is not prime. Res64: 9BC902870494D5FE Time : 0.0 sec. user=mdettweiler [2018-08-08 17:01:09] 991*2^1520759-1 is not prime. Res64: 02462E5172CE1D2C Time : 0.0 sec. user=mdettweiler [2018-08-08 17:01:11] 735*2^1520760-1 is not prime. Res64: 078141C6337E7528 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:01:11] 759*2^1520760-1 is not prime. Res64: 6FF532218825216C Time : 0.0 sec. user=mdettweiler [2018-08-08 17:01:12] 839*2^1520760-1 is not prime. Res64: 99B35DC6E3457AFC Time : 0.0 sec. user=mdettweiler [2018-08-08 17:01:13] 975*2^1520760-1 is not prime. Res64: 07B9178729802D2F Time : 0.0 sec. user=mdettweiler [2018-08-08 17:05:56] 625*2^1520761-1 is not prime. Res64: DE29D8D18B4E444A Time : 0.0 sec. user=mdettweiler [2018-08-08 17:05:58] 717*2^1520761-1 is not prime. Res64: 5ABC4D5BA1B453F8 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:06:00] 751*2^1520761-1 is not prime. Res64: E8E38A328D567E25 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:06:01] 939*2^1520761-1 is not prime. Res64: 61FD579A9D3D8DFE Time : 0.0 sec. user=mdettweiler [2018-08-08 17:06:03] 945*2^1520761-1 is not prime. Res64: 3EEC107889401BD8 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:10:52] 955*2^1520761-1 is not prime. Res64: CB3829A9F51A1795 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:10:52] 635*2^1520762-1 is not prime. Res64: D9E48C32943735F7 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:10:53] 657*2^1520762-1 is not prime. Res64: 06AD83813969A74D Time : 0.0 sec. user=mdettweiler [2018-08-08 17:10:53] 677*2^1520762-1 is not prime. Res64: 76764C3A6C1160B7 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:10:54] 711*2^1520762-1 is not prime. Res64: 140DCEBFC8F18BF3 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:36:39] 843*2^1520762-1 is not prime. Res64: 35F9D6E48D426D39 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:36:40] 873*2^1520762-1 is not prime. Res64: 2C1E2C9342988A04 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:36:40] 995*2^1520762-1 is not prime. Res64: B1B29F58C4DB0D23 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:36:40] 675*2^1520763-1 is not prime. Res64: 622D058E1E4EAAFB Time : 0.0 sec. user=mdettweiler [2018-08-08 17:36:41] 789*2^1520763-1 is not prime. Res64: 6AA964437D4CA706 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:52:36] 913*2^1520763-1 is not prime. Res64: 7E0C9ED1ED58C61C Time : 0.0 sec. user=mdettweiler [2018-08-08 17:52:36] 605*2^1520764-1 is not prime. Res64: F9B413CDA9660E32 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:52:37] 623*2^1520764-1 is not prime. Res64: 36F29B39B250474C Time : 0.0 sec. user=mdettweiler [2018-08-08 17:52:37] 695*2^1520764-1 is not prime. Res64: 923B7C9689036AD6 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:52:37] 825*2^1520764-1 is not prime. Res64: EAA374573E00E01F Time : 0.0 sec. user=mdettweiler [2018-08-08 17:57:15] 857*2^1520764-1 is not prime. Res64: DD1A1940DC084BE5 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:57:15] 875*2^1520764-1 is not prime. Res64: 41DFCB597FE675A1 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:57:16] 965*2^1520764-1 is not prime. Res64: B9D99E353A937F01 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:57:16] 983*2^1520764-1 is not prime. Res64: 73BA394B44978011 Time : 0.0 sec. user=mdettweiler [2018-08-08 17:57:16] 697*2^1520765-1 is not prime. Res64: 84E0298FFBE3F076 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:02:10] 757*2^1520765-1 is not prime. Res64: 206B1961E505112F Time : 0.0 sec. user=mdettweiler [2018-08-08 18:02:11] 787*2^1520765-1 is not prime. Res64: B4AF35171AFC90CB Time : 0.0 sec. user=mdettweiler [2018-08-08 18:02:12] 789*2^1520765-1 is not prime. Res64: 628E15D9B17E5D46 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:02:12] 859*2^1520765-1 is not prime. Res64: 124FECE9DDA2E4D7 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:02:13] 889*2^1520765-1 is not prime. Res64: 2D62ECA8D4FE51B9 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:28:51] 987*2^1520765-1 is not prime. Res64: C10D2C5CC20B6E51 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:28:52] 611*2^1520766-1 is not prime. Res64: BA371677AA31EF26 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:28:52] 657*2^1520766-1 is not prime. Res64: 849A176EEBDA7025 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:28:52] 725*2^1520766-1 is not prime. Res64: 2C6539AE53C8CA03 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:28:53] 843*2^1520766-1 is not prime. Res64: 39BF1FE82783061F Time : 0.0 sec. user=mdettweiler [2018-08-08 18:44:20] 933*2^1520766-1 is not prime. Res64: 0785483043EAB6BC Time : 0.0 sec. user=mdettweiler [2018-08-08 18:44:20] 963*2^1520766-1 is not prime. Res64: C7C33FFAF47E5597 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:44:20] 971*2^1520766-1 is not prime. Res64: 62C4B0CF8F8A39AD Time : 0.0 sec. user=mdettweiler [2018-08-08 18:44:21] 983*2^1520766-1 is not prime. Res64: 8D632ACAA141C22C Time : 0.0 sec. user=mdettweiler [2018-08-08 18:44:21] 993*2^1520766-1 is not prime. Res64: 6DF5ED419691A158 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:49:40] 1001*2^1520766-1 is not prime. Res64: 9B2C04E164993C6D Time : 0.0 sec. user=mdettweiler [2018-08-08 18:49:40] 603*2^1520767-1 is not prime. Res64: 71E14189D16270A2 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:49:41] 619*2^1520767-1 is not prime. Res64: E0CB8CEA6869BE12 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:49:41] 735*2^1520767-1 is not prime. Res64: 120466ED9EA2BF82 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:49:41] 831*2^1520767-1 is not prime. Res64: F87D83DC15C95EC2 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:55:10] 993*2^1520767-1 is not prime. Res64: D760CEEE47115CE3 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:55:10] 615*2^1520768-1 is not prime. Res64: 3B6CAB8F2494F80E Time : 0.0 sec. user=mdettweiler [2018-08-08 18:55:11] 777*2^1520768-1 is not prime. Res64: D1C6A4DEAA7453E5 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:55:11] 609*2^1520769-1 is not prime. Res64: 6F3A5CB2E9579900 Time : 0.0 sec. user=mdettweiler [2018-08-08 18:55:11] 625*2^1520769-1 is not prime. Res64: 87E0DE9E7FDF27D9 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:20:46] 679*2^1520769-1 is not prime. Res64: 9042CAA39603DD00 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:20:47] 789*2^1520769-1 is not prime. Res64: EC8F401B19471A2D Time : 0.0 sec. user=mdettweiler [2018-08-08 19:20:47] 811*2^1520769-1 is not prime. Res64: EA6298A5BA62446C Time : 0.0 sec. user=mdettweiler [2018-08-08 19:20:48] 695*2^1520770-1 is not prime. Res64: BBEC05E1A98E9825 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:20:48] 791*2^1520770-1 is not prime. Res64: 3DADE4B3B88CC203 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:36:24] 803*2^1520770-1 is not prime. Res64: 0DC951CDD44273A2 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:36:24] 821*2^1520770-1 is not prime. Res64: 9604389F471F7C54 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:36:25] 843*2^1520770-1 is not prime. Res64: A5FC6AC74AF51187 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:36:25] 885*2^1520770-1 is not prime. Res64: 35AA60930F8AE178 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:36:25] 915*2^1520770-1 is not prime. Res64: 05E89ADC0AA37293 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:41:20] 941*2^1520770-1 is not prime. Res64: 0E8F1D48A445714B Time : 0.0 sec. user=mdettweiler [2018-08-08 19:41:20] 619*2^1520771-1 is not prime. Res64: 44E24415B83C5821 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:41:21] 781*2^1520771-1 is not prime. Res64: 1B47AD9D216E4D17 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:41:21] 805*2^1520771-1 is not prime. Res64: 5A2A9D4972092F15 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:41:21] 823*2^1520771-1 is not prime. Res64: 21F667C84C821BD3 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:46:54] 855*2^1520771-1 is not prime. Res64: 3CC39B63E5385052 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:46:55] 979*2^1520771-1 is not prime. Res64: D0B599E29BBE056F Time : 0.0 sec. user=mdettweiler [2018-08-08 19:46:55] 999*2^1520771-1 is not prime. Res64: 03EDD9F9A477C030 Time : 0.0 sec. user=mdettweiler [2018-08-08 19:46:56] 749*2^1520772-1 is not prime. Res64: A47C9A5F1CE0112A Time : 0.0 sec. user=mdettweiler [2018-08-08 19:46:56] 899*2^1520772-1 is not prime. Res64: 162BFCCB4A58ECF3 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:13:02] 903*2^1520772-1 is not prime. Res64: 2F5AEE6023CDBE9C Time : 0.0 sec. user=mdettweiler [2018-08-08 20:13:03] 607*2^1520773-1 is not prime. Res64: A12004319F795099 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:13:04] 675*2^1520773-1 is not prime. Res64: ABD0D91F2E3DBDED Time : 0.0 sec. user=mdettweiler [2018-08-08 20:13:05] 715*2^1520773-1 is not prime. Res64: E4BB0F51EDF04EE2 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:13:06] 769*2^1520773-1 is not prime. Res64: 2D331531A159435E Time : 0.0 sec. user=mdettweiler [2018-08-08 20:30:18] 895*2^1520773-1 is not prime. Res64: 08A6A2BD75AAF8FD Time : 0.0 sec. user=mdettweiler [2018-08-08 20:30:19] 999*2^1520773-1 is not prime. Res64: 6DC86EF60107F3AB Time : 0.0 sec. user=mdettweiler [2018-08-08 20:30:19] 797*2^1520774-1 is not prime. Res64: 9DD4709732D5CCC6 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:30:20] 887*2^1520774-1 is not prime. Res64: AF49C5F6F58E3079 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:30:20] 945*2^1520774-1 is not prime. Res64: FAF696F6D91ADF14 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:35:31] 619*2^1520775-1 is not prime. Res64: FE3DB2153FFFFD79 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:35:31] 675*2^1520775-1 is not prime. Res64: 845EE220D0F65CA0 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:35:31] 685*2^1520775-1 is not prime. Res64: 83DDD2F125C86723 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:35:32] 909*2^1520775-1 is not prime. Res64: A8BBBF4608CB4ED5 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:35:32] 979*2^1520775-1 is not prime. Res64: 36BBD6441ED1B81B Time : 0.0 sec. user=mdettweiler [2018-08-08 20:39:12] 999*2^1520775-1 is not prime. Res64: A368AA52A0A8D446 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:39:12] 623*2^1520776-1 is not prime. Res64: AB672C9DA01080F1 Time : 0.0 sec. user=mdettweiler [2018-08-08 20:39:13] 759*2^1520776-1 is not prime. Res64: 3689F5FC2FD7BFAD Time : 0.0 sec. user=mdettweiler [2018-08-08 20:39:13] 983*2^1520776-1 is not prime. Res64: 93051F03AA33FD9E Time : 0.0 sec. user=mdettweiler [2018-08-08 20:39:14] 669*2^1520777-1 is not prime. Res64: C3A96C851BE885C3 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:05:30] 711*2^1520777-1 is not prime. Res64: 41E71448A7BD6183 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:05:31] 727*2^1520777-1 is not prime. Res64: 69BF6ADEE5490D19 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:05:33] 729*2^1520777-1 is not prime. Res64: 473EF0E508868668 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:05:35] 871*2^1520777-1 is not prime. Res64: B7981D36A67402EE Time : 0.0 sec. user=mdettweiler [2018-08-08 21:05:36] 939*2^1520777-1 is not prime. Res64: 2B25FFF22EF511D1 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:22:11] 633*2^1520778-1 is not prime. Res64: FF25E25946915E44 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:22:12] 671*2^1520778-1 is not prime. Res64: 859999E15DA3E651 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:22:12] 801*2^1520778-1 is not prime. Res64: 8B2EB90CEFA921BA Time : 0.0 sec. user=mdettweiler [2018-08-08 21:22:13] 815*2^1520778-1 is not prime. Res64: 3DDBD5911D7B8F32 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:22:13] 887*2^1520778-1 is not prime. Res64: 9E5D7DC5E0DC9FCF Time : 0.0 sec. user=mdettweiler [2018-08-08 21:26:49] 923*2^1520778-1 is not prime. Res64: 5A80CF2E907159AB Time : 0.0 sec. user=mdettweiler [2018-08-08 21:26:49] 963*2^1520778-1 is not prime. Res64: 794BC9ED64AB5AE2 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:26:50] 615*2^1520779-1 is not prime. Res64: 2A3C9E1E19C2EE4A Time : 0.0 sec. user=mdettweiler [2018-08-08 21:26:50] 619*2^1520779-1 is not prime. Res64: B8F7A50F858A7D48 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:26:51] 885*2^1520779-1 is not prime. Res64: 6DE1CD8FD2121B5F Time : 0.0 sec. user=mdettweiler [2018-08-08 21:31:08] 889*2^1520779-1 is not prime. Res64: 672105C19D5DB4DD Time : 0.0 sec. user=mdettweiler [2018-08-08 21:31:09] 891*2^1520779-1 is not prime. Res64: F6D4619C9D5C1E47 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:31:09] 985*2^1520779-1 is not prime. Res64: 0F87F96541AF4177 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:31:09] 665*2^1520780-1 is not prime. Res64: 42B37D7300C18853 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:31:10] 677*2^1520780-1 is not prime. Res64: 4CAE0BC7D686AF8B Time : 0.0 sec. user=mdettweiler [2018-08-08 21:57:28] 743*2^1520780-1 is not prime. Res64: 9BE051B56E8F23C7 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:57:29] 797*2^1520780-1 is not prime. Res64: 5417231577020054 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:57:29] 857*2^1520780-1 is not prime. Res64: 30DE1CBB760D4E73 Time : 0.0 sec. user=mdettweiler [2018-08-08 21:57:30] 899*2^1520780-1 is not prime. Res64: 19DE4F80BFF530CA Time : 0.0 sec. user=mdettweiler [2018-08-08 21:57:30] 657*2^1520781-1 is not prime. Res64: DD7F73F663B3A366 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:13:51] 777*2^1520781-1 is not prime. Res64: 2EBE397C8A8D583F Time : 0.0 sec. user=mdettweiler [2018-08-08 22:13:52] 819*2^1520781-1 is not prime. Res64: 2DE123854FD2F032 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:13:52] 895*2^1520781-1 is not prime. Res64: 7FDD973919208A6B Time : 0.0 sec. user=mdettweiler [2018-08-08 22:13:52] 671*2^1520782-1 is not prime. Res64: 7E088468A01153DA Time : 0.0 sec. user=mdettweiler [2018-08-08 22:13:53] 741*2^1520782-1 is not prime. Res64: 90726D5E501714DB Time : 0.0 sec. user=mdettweiler [2018-08-08 22:18:16] 777*2^1520782-1 is not prime. Res64: 1E9AFD510497E4B9 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:18:17] 923*2^1520782-1 is not prime. Res64: C34BB1CAB3F6EBB7 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:18:17] 609*2^1520783-1 is not prime. Res64: 9DBDDF54B349F512 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:18:17] 615*2^1520783-1 is not prime. Res64: B6AEB98F0B1D4C92 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:18:18] 775*2^1520783-1 is not prime. Res64: F8B6EDEAB2BFC1BF Time : 0.0 sec. user=mdettweiler [2018-08-08 22:22:14] 915*2^1520783-1 is not prime. Res64: 1C7ECC904F231626 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:22:15] 991*2^1520783-1 is not prime. Res64: 8850F74C11E5D9F7 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:22:15] 657*2^1520784-1 is not prime. Res64: F8E8A8481BC62AF8 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:22:15] 717*2^1520784-1 is not prime. Res64: 137953023E892B13 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:22:16] 773*2^1520784-1 is not prime. Res64: FA6667C3918FF81B Time : 0.0 sec. user=mdettweiler [2018-08-08 22:54:01] 667*2^1520785-1 is not prime. Res64: D555BA76579C4C51 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:54:01] 699*2^1520785-1 is not prime. Res64: 6186554403116AA4 Time : 0.0 sec. user=mdettweiler [2018-08-08 22:54:01] 727*2^1520785-1 is not prime. Res64: 51AAACED9FAD0E4F Time : 0.0 sec. user=mdettweiler [2018-08-08 22:54:02] 775*2^1520785-1 is not prime. Res64: C8ACA50999892CAF Time : 0.0 sec. user=mdettweiler [2018-08-08 22:54:02] 975*2^1520785-1 is not prime. Res64: 5D59303664D8F952 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:08:00] 843*2^1520786-1 is not prime. Res64: 976FE5504CD54849 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:08:01] 887*2^1520786-1 is not prime. Res64: DB75AEB0FC4C5D9D Time : 0.0 sec. user=mdettweiler [2018-08-08 23:08:01] 781*2^1520787-1 is not prime. Res64: D323A5095F9DB160 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:08:02] 885*2^1520787-1 is not prime. Res64: 9A4B3FD3AD5E8547 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:08:02] 909*2^1520787-1 is not prime. Res64: 06729430A3CFB812 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:12:34] 665*2^1520788-1 is not prime. Res64: 496F1876176A6E15 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:12:34] 699*2^1520788-1 is not prime. Res64: 003FD2F81AE6B2A3 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:12:35] 707*2^1520788-1 is not prime. Res64: 11A2D5B0F15CC9EE Time : 0.0 sec. user=mdettweiler [2018-08-08 23:12:35] 819*2^1520788-1 is not prime. Res64: 8DAE58DD5ABA174C Time : 0.0 sec. user=mdettweiler [2018-08-08 23:12:35] 885*2^1520788-1 is not prime. Res64: 44801278F2FEA808 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:17:40] 933*2^1520788-1 is not prime. Res64: 584F6B9C7E6D6FC7 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:17:41] 999*2^1520788-1 is not prime. Res64: 6BCC1634FA7DF501 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:17:41] 747*2^1520789-1 is not prime. Res64: 891D1A2F464BE44D Time : 0.0 sec. user=mdettweiler [2018-08-08 23:17:41] 759*2^1520789-1 is not prime. Res64: 0F29B500E8D00B2B Time : 0.0 sec. user=mdettweiler [2018-08-08 23:17:42] 647*2^1520790-1 is not prime. Res64: DC1CE36F700DC7F7 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:49:08] 741*2^1520790-1 is not prime. Res64: 7E2CC82C10D552DB Time : 0.0 sec. user=mdettweiler [2018-08-08 23:49:08] 761*2^1520790-1 is not prime. Res64: E7808BED6C058C70 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:49:09] 861*2^1520790-1 is not prime. Res64: 9EADFC4F4CA36AF3 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:49:09] 941*2^1520790-1 is not prime. Res64: 67729B4B07CCE790 Time : 0.0 sec. user=mdettweiler [2018-08-08 23:49:09] 945*2^1520790-1 is not prime. Res64: 7DE65E07B74F9038 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:00:01] 619*2^1520791-1 is not prime. Res64: 43A329BC159F1219 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:00:02] 645*2^1520791-1 is not prime. Res64: 7A54FC5B7A4FBA79 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:00:02] 673*2^1520791-1 is not prime. Res64: C4BBF399E224DF70 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:00:02] 705*2^1520791-1 is not prime. Res64: 9EF84A5E1139B452 Time : 0.0 sec. user=mdettweiler [2018-08-09 00:00:03] 715*2^1520791-1 is not prime. Res64: F6725DC2A96EB53D Time : 0.0 sec.