user=mdettweiler [2018-06-17 00:08:56] 963*2^1513556-1 is not prime. Res64: CEEEAC58A9D2EA72 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:08:59] 669*2^1513557-1 is not prime. Res64: E3F9E8000BD5B366 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:09:04] 747*2^1513557-1 is not prime. Res64: FF0F0AB52C34E834 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:09:08] 825*2^1513557-1 is not prime. Res64: CA698A15FCDC99B6 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:09:11] 831*2^1513557-1 is not prime. Res64: CFFC309D288FB776 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:16:18] 919*2^1513557-1 is not prime. Res64: 6130CBD292529AB3 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:16:19] 997*2^1513557-1 is not prime. Res64: ECBBD86667841462 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:16:19] 635*2^1513558-1 is not prime. Res64: D930647F361B5C13 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:16:20] 651*2^1513558-1 is not prime. Res64: 5F21C9B0E3F0F19A Time : 0.0 sec. user=mdettweiler [2018-06-17 00:16:21] 681*2^1513558-1 is not prime. Res64: 549B1AE41A0FD7A9 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:32:17] 687*2^1513558-1 is not prime. Res64: 3C669967411F07E5 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:32:17] 747*2^1513558-1 is not prime. Res64: E9D10E944A64680B Time : 0.0 sec. user=mdettweiler [2018-06-17 00:32:17] 755*2^1513558-1 is not prime. Res64: 165064C658B2E703 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:32:18] 773*2^1513558-1 is not prime. Res64: 91A768A7BAF97996 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:32:18] 813*2^1513558-1 is not prime. Res64: E7832AF19A83C724 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:39:14] 815*2^1513558-1 is not prime. Res64: 75848C4E9FD3F9C9 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:39:14] 825*2^1513558-1 is not prime. Res64: 481221BC5723C789 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:39:14] 827*2^1513558-1 is not prime. Res64: 66096440D608B0C0 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:39:15] 833*2^1513558-1 is not prime. Res64: F4B962BA52543C47 Time : 0.0 sec. user=mdettweiler [2018-06-17 00:39:15] 885*2^1513558-1 is not prime. Res64: 5F3727F8E0D1615D Time : 0.0 sec. user=mdettweiler [2018-06-17 01:03:45] 951*2^1513558-1 is not prime. Res64: A7D99723BBA36471 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:03:46] 1001*2^1513558-1 is not prime. Res64: EE5867E02647721F Time : 0.0 sec. user=mdettweiler [2018-06-17 01:03:48] 619*2^1513559-1 is not prime. Res64: 742DF43486F072AE Time : 0.0 sec. user=mdettweiler [2018-06-17 01:03:51] 621*2^1513559-1 is not prime. Res64: 6F9187F3FAC71BBE Time : 0.0 sec. user=mdettweiler [2018-06-17 01:03:52] 703*2^1513559-1 is not prime. Res64: EDAFF8CB86A9F8F0 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:08:53] 729*2^1513559-1 is not prime. Res64: F91EB5C0D8F0EC83 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:08:53] 843*2^1513559-1 is not prime. Res64: B0CA7134889D32E8 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:08:53] 909*2^1513559-1 is not prime. Res64: C42ED9C63E16488F Time : 0.0 sec. user=mdettweiler [2018-06-17 01:08:54] 913*2^1513559-1 is not prime. Res64: B6636E1405376475 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:08:54] 629*2^1513560-1 is not prime. Res64: 4483DDF0142F0DC6 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:24:37] 737*2^1513560-1 is not prime. Res64: 35B14434710C0A66 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:24:37] 765*2^1513560-1 is not prime. Res64: 94E8AFCD20A3194E Time : 0.0 sec. user=mdettweiler [2018-06-17 01:24:38] 789*2^1513560-1 is not prime. Res64: 35A3E65D954A74E8 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:24:38] 927*2^1513560-1 is not prime. Res64: 7B4A75B1506B0AA8 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:24:39] 625*2^1513561-1 is not prime. Res64: B25420E9F5552C7C Time : 0.0 sec. user=mdettweiler [2018-06-17 01:31:14] 645*2^1513561-1 is not prime. Res64: D450E5D97FFD29C7 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:54:59] 979*2^1513561-1 is not prime. Res64: B641E7D2BC8D80C0 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:55:00] 633*2^1513562-1 is not prime. Res64: F8FBA6F127B64730 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:55:01] 741*2^1513562-1 is not prime. Res64: BC221C54A669CD36 Time : 0.0 sec. user=mdettweiler [2018-06-17 01:55:01] 743*2^1513562-1 is not prime. Res64: 2ECD88AE9E3E682E Time : 0.0 sec. user=mdettweiler [2018-06-17 01:55:02] 753*2^1513562-1 is not prime. Res64: BB8EB45E36978F8D Time : 0.0 sec. user=mdettweiler [2018-06-17 02:00:00] 797*2^1513562-1 is not prime. Res64: 7C6A655C9D52D5F2 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:00:01] 935*2^1513562-1 is not prime. Res64: 0690483BDE47E391 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:00:01] 945*2^1513562-1 is not prime. Res64: 1FD91122B831853E Time : 0.0 sec. user=mdettweiler [2018-06-17 02:00:10] 739*2^1513563-1 is not prime. Res64: FCD50D295B0EB89E Time : 0.0 sec. user=mdettweiler [2018-06-17 02:00:19] 859*2^1513563-1 is not prime. Res64: 539BFBE86D82111B Time : 0.0 sec. user=juhehe [2018-06-17 02:01:51] 945*2^1513563-1 is not prime. Res64: B6671E4782C39722 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:14:52] 969*2^1513563-1 is not prime. Res64: 369D46215BCDB25F Time : 0.0 sec. user=mdettweiler [2018-06-17 02:14:53] 605*2^1513564-1 is not prime. Res64: 88994C6CE44587BF Time : 0.0 sec. user=mdettweiler [2018-06-17 02:14:56] 615*2^1513564-1 is not prime. Res64: 5E726FA22286A238 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:15:00] 635*2^1513564-1 is not prime. Res64: 96911264ACCD1B5B Time : 0.0 sec. user=mdettweiler [2018-06-17 02:15:09] 803*2^1513564-1 is not prime. Res64: 187E73D209CD4C19 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:47:20] 855*2^1513564-1 is not prime. Res64: 85C331ABF02E46D1 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:47:20] 959*2^1513564-1 is not prime. Res64: 17B2562DAE53E198 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:47:21] 965*2^1513564-1 is not prime. Res64: AABBDCBCCC9D56D1 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:47:22] 697*2^1513565-1 is not prime. Res64: DABD3626ADFBA5E7 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:47:22] 801*2^1513565-1 is not prime. Res64: 1805913E7DAA9E18 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:53:14] 871*2^1513565-1 is not prime. Res64: 813B2F3C8C782DB8 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:53:16] 885*2^1513565-1 is not prime. Res64: 7A95A283E12C4DA9 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:53:18] 915*2^1513565-1 is not prime. Res64: D35545BB774D4DC8 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:53:20] 925*2^1513565-1 is not prime. Res64: CED1E2E4AC584E71 Time : 0.0 sec. user=mdettweiler [2018-06-17 02:53:25] 891*2^1513566-1 is not prime. Res64: D83657F0C493024E Time : 0.0 sec. user=mdettweiler [2018-06-17 03:08:12] 957*2^1513566-1 is not prime. Res64: 078EE364B21ABD6E Time : 0.0 sec. user=mdettweiler [2018-06-17 03:08:18] 681*2^1513567-1 is not prime. Res64: 7B4100FD20FF3C59 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:08:21] 813*2^1513567-1 is not prime. Res64: 1150EF740CF4F624 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:08:25] 985*2^1513567-1 is not prime. Res64: 12BFF891EB1C3F1C Time : 0.0 sec. user=mdettweiler [2018-06-17 03:08:29] 735*2^1513568-1 is not prime. Res64: CAFA2A070B6D9DFC Time : 0.0 sec. user=mdettweiler [2018-06-17 03:38:08] 773*2^1513568-1 is not prime. Res64: A8E147B500CAECE2 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:38:13] 839*2^1513568-1 is not prime. Res64: DCA343D901117091 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:38:16] 855*2^1513568-1 is not prime. Res64: 14FA2FE10441BA16 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:38:21] 969*2^1513568-1 is not prime. Res64: 0FECA12C477BA8E3 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:38:24] 649*2^1513569-1 is not prime. Res64: A18E652E167E665C Time : 0.0 sec. user=mdettweiler [2018-06-17 03:44:43] 705*2^1513569-1 is not prime. Res64: 90E94A0D3C9CA8B5 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:44:46] 807*2^1513569-1 is not prime. Res64: 5F424B82270D9473 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:44:50] 955*2^1513569-1 is not prime. Res64: CE9C4233D70D32D6 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:44:53] 611*2^1513570-1 is not prime. Res64: 089D8F50CA8BE651 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:44:56] 635*2^1513570-1 is not prime. Res64: 69EF103E5D6EE049 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:59:29] 645*2^1513570-1 is not prime. Res64: 6E473473845911C5 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:59:31] 657*2^1513570-1 is not prime. Res64: 74C0E2F2EFCCCEAF Time : 0.0 sec. user=mdettweiler [2018-06-17 03:59:32] 741*2^1513570-1 is not prime. Res64: F2FB737877368AE5 Time : 0.0 sec. user=mdettweiler [2018-06-17 03:59:34] 743*2^1513570-1 is not prime. Res64: A5C47DB0E2D674CB Time : 0.0 sec. user=mdettweiler [2018-06-17 03:59:35] 791*2^1513570-1 is not prime. Res64: 94D408380655DC7C Time : 0.0 sec. user=juhehe [2018-06-17 04:25:24] 855*2^1513570-1 is not prime. Res64: CCC3E4EAD45F7168 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:34:24] 603*2^1513571-1 is not prime. Res64: C6E5F4300E4DBC16 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:41:41] 901*2^1513571-1 is not prime. Res64: E487091CCE3BD066 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:41:44] 909*2^1513571-1 is not prime. Res64: 4592FAF0F4B562F8 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:41:47] 921*2^1513571-1 is not prime. Res64: FEC9A6C142AD85FA Time : 0.0 sec. user=mdettweiler [2018-06-17 04:41:50] 689*2^1513572-1 is not prime. Res64: A276E7D82772A893 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:41:52] 693*2^1513572-1 is not prime. Res64: 43B331F364C7A40C Time : 0.0 sec. user=mdettweiler [2018-06-17 04:55:37] 699*2^1513572-1 is not prime. Res64: 73F2A1A854F0FF98 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:55:38] 767*2^1513572-1 is not prime. Res64: B0ECE23048AD5549 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:55:38] 863*2^1513572-1 is not prime. Res64: B8C2FA64ACF7837C Time : 0.0 sec. user=mdettweiler [2018-06-17 04:55:39] 965*2^1513572-1 is not prime. Res64: 9E6735EB16C9D0E0 Time : 0.0 sec. user=mdettweiler [2018-06-17 04:55:39] 987*2^1513572-1 is not prime. Res64: C347861C655AD3AE Time : 0.0 sec. user=mdettweiler [2018-06-17 05:16:21] 675*2^1513561-1 is not prime. Res64: 51CEFED4440924BE Time : 0.0 sec. user=mdettweiler [2018-06-17 05:16:22] 799*2^1513561-1 is not prime. Res64: CB2CA70EE52FF51B Time : 0.0 sec. user=mdettweiler [2018-06-17 05:16:22] 807*2^1513561-1 is not prime. Res64: 2D0BC0662ECF5E21 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:16:23] 861*2^1513561-1 is not prime. Res64: FF9B9EF954F1821A Time : 0.0 sec. user=mdettweiler [2018-06-17 05:35:14] 885*2^1513279-1 is not prime. Res64: 7E23E91E6C13A29C Time : 0.0 sec. user=mdettweiler [2018-06-17 05:35:14] 939*2^1513279-1 is not prime. Res64: B17CA5E14D4538DD Time : 0.0 sec. user=mdettweiler [2018-06-17 05:35:16] 951*2^1513279-1 is not prime. Res64: B21D0DE8771CD0FD Time : 0.0 sec. user=mdettweiler [2018-06-17 05:35:16] 973*2^1513279-1 is not prime. Res64: F513EA031C3038A2 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:35:16] 999*2^1513279-1 is not prime. Res64: EBD0B15642F1C134 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:48:05] 687*2^1513573-1 is not prime. Res64: 7D2353F4115D6937 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:48:05] 757*2^1513573-1 is not prime. Res64: C9F6B732C827AB65 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:48:06] 877*2^1513573-1 is not prime. Res64: DF006AAB39D071A0 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:48:06] 915*2^1513573-1 is not prime. Res64: 75B0FABC3B710628 Time : 0.0 sec. user=mdettweiler [2018-06-17 05:48:07] 919*2^1513573-1 is not prime. Res64: DF74904565E413E7 Time : 0.0 sec. user=juhehe [2018-06-17 05:59:37] 987*2^1513573-1 is not prime. Res64: 420E46C3EC33A210 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:07:55] 657*2^1513574-1 is not prime. Res64: BF941F59F044DAD9 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:07:57] 693*2^1513574-1 is not prime. Res64: 1EDBAE00D1A17EA2 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:08:00] 795*2^1513574-1 is not prime. Res64: 5AF88B1F55A8C6B7 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:08:04] 827*2^1513574-1 is not prime. Res64: 1CB05BAEFB76847D Time : 0.0 sec. user=mdettweiler [2018-06-17 06:08:06] 903*2^1513574-1 is not prime. Res64: 229D62D3D0BC54A5 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:26:25] 965*2^1513574-1 is not prime. Res64: 6544C74C3DD3ED90 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:26:26] 825*2^1513575-1 is not prime. Res64: D3C260A2FA406C6D Time : 0.0 sec. user=mdettweiler [2018-06-17 06:26:26] 963*2^1513575-1 is not prime. Res64: 4C320079D028F512 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:26:27] 985*2^1513575-1 is not prime. Res64: 6B809DC5AD9E2059 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:26:27] 645*2^1513576-1 is not prime. Res64: 302EC4B444988576 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:38:49] 653*2^1513576-1 is not prime. Res64: 5F1357FD74E016C7 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:38:49] 779*2^1513576-1 is not prime. Res64: B323CDB26BA7C753 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:38:50] 927*2^1513576-1 is not prime. Res64: D2A73F7EE4430647 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:38:50] 989*2^1513576-1 is not prime. Res64: 114F1E440993DB72 Time : 0.0 sec. user=mdettweiler [2018-06-17 06:38:50] 637*2^1513577-1 is not prime. Res64: 45F317F2BEBA2EFD Time : 0.0 sec. user=mdettweiler [2018-06-17 07:02:49] 711*2^1513577-1 is not prime. Res64: 0A411975DA877797 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:02:51] 769*2^1513577-1 is not prime. Res64: C9739937D992B639 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:02:52] 829*2^1513577-1 is not prime. Res64: 4EE506A12BBD1C19 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:02:52] 889*2^1513577-1 is not prime. Res64: 88B890851FB2185C Time : 0.0 sec. user=mdettweiler [2018-06-17 07:02:54] 937*2^1513577-1 is not prime. Res64: 6A162EDBF168CE36 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:18:10] 955*2^1513577-1 is not prime. Res64: 01AE7122C815E9D9 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:18:14] 711*2^1513578-1 is not prime. Res64: CB36F68D314E3928 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:18:18] 791*2^1513578-1 is not prime. Res64: B025D6AF1086B59B Time : 0.0 sec. user=mdettweiler [2018-06-17 07:18:21] 837*2^1513578-1 is not prime. Res64: C77F8F5EF4E704A2 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:18:24] 927*2^1513578-1 is not prime. Res64: D8DB11B97646733D Time : 0.0 sec. user=mdettweiler [2018-06-17 07:29:57] 963*2^1513578-1 is not prime. Res64: 9AD36F406A39CB77 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:29:58] 977*2^1513578-1 is not prime. Res64: E6BEAC635982CF07 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:29:58] 631*2^1513579-1 is not prime. Res64: 5EC52ED44706D43D Time : 0.0 sec. user=mdettweiler [2018-06-17 07:29:59] 691*2^1513579-1 is not prime. Res64: 30EE4BBB2546CC08 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:29:59] 703*2^1513579-1 is not prime. Res64: 12B2BCA32677B090 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:55:17] 759*2^1513579-1 is not prime. Res64: 18882C46FD0091CF Time : 0.0 sec. user=mdettweiler [2018-06-17 07:55:18] 829*2^1513579-1 is not prime. Res64: 5152241FD25604CB Time : 0.0 sec. user=mdettweiler [2018-06-17 07:55:18] 843*2^1513579-1 is not prime. Res64: 623DAE90D0EAE622 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:55:19] 855*2^1513579-1 is not prime. Res64: 6DAB9E8A5F740F02 Time : 0.0 sec. user=mdettweiler [2018-06-17 07:55:19] 931*2^1513579-1 is not prime. Res64: 3CE3161F6EFEFCE8 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:04:00] 619*2^1513571-1 is not prime. Res64: 05DAB02474DD6AC2 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:04:06] 693*2^1513571-1 is not prime. Res64: B2771D9CAFECC11B Time : 0.0 sec. user=mdettweiler [2018-06-17 08:04:10] 733*2^1513571-1 is not prime. Res64: C4139166BBA3D38F Time : 0.0 sec. user=mdettweiler [2018-06-17 08:04:13] 805*2^1513571-1 is not prime. Res64: 14177109900E207D Time : 0.0 sec. user=mdettweiler [2018-06-17 08:09:44] 943*2^1513579-1 is not prime. Res64: 7210C60E528D7FB4 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:09:49] 993*2^1513579-1 is not prime. Res64: 5572F4A746E63B4A Time : 0.0 sec. user=mdettweiler [2018-06-17 08:09:52] 603*2^1513580-1 is not prime. Res64: 6DF0D220BD8F7253 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:09:56] 669*2^1513580-1 is not prime. Res64: 3F4DE03DD272F086 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:09:59] 699*2^1513580-1 is not prime. Res64: BC02A3A0316ADCC0 Time : 0.0 sec. user=juhehe [2018-06-17 08:18:36] 609*2^1513581-1 is not prime. Res64: DCAFE6FF64E323C3 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:21:03] 717*2^1513580-1 is not prime. Res64: 21DB5B701B04D592 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:21:04] 885*2^1513580-1 is not prime. Res64: A0385547DCE92CA3 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:21:04] 923*2^1513580-1 is not prime. Res64: B9484E73D24B16F0 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:21:05] 959*2^1513580-1 is not prime. Res64: 0D23745DBA7544EB Time : 0.0 sec. user=mdettweiler [2018-06-17 08:21:06] 987*2^1513580-1 is not prime. Res64: F7C6C46DEF79E7D3 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:45:08] 625*2^1513581-1 is not prime. Res64: 44AE0395E72D4D73 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:45:09] 639*2^1513581-1 is not prime. Res64: CCCF4FABC41F89B4 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:45:09] 675*2^1513581-1 is not prime. Res64: A52357B4ADCB111D Time : 0.0 sec. user=mdettweiler [2018-06-17 08:45:09] 685*2^1513581-1 is not prime. Res64: D0ECEC2C4D3DE48A Time : 0.0 sec. user=mdettweiler [2018-06-17 08:45:10] 691*2^1513581-1 is not prime. Res64: 9DB4DFC32535D9FA Time : 0.0 sec. user=mdettweiler [2018-06-17 08:55:53] 835*2^1513581-1 is not prime. Res64: 4B9357060EC0F0FC Time : 0.0 sec. user=mdettweiler [2018-06-17 08:55:54] 849*2^1513581-1 is not prime. Res64: 672034D1512387FD Time : 0.0 sec. user=mdettweiler [2018-06-17 08:55:54] 867*2^1513581-1 is not prime. Res64: F1B0366ABA687E7D Time : 0.0 sec. user=mdettweiler [2018-06-17 08:55:55] 949*2^1513581-1 is not prime. Res64: E5C273BC9F483496 Time : 0.0 sec. user=mdettweiler [2018-06-17 08:55:55] 999*2^1513581-1 is not prime. Res64: AE81C5A97823F7B0 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:01:43] 617*2^1513582-1 is not prime. Res64: 6FDFED52AB555C53 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:01:45] 623*2^1513582-1 is not prime. Res64: 73497F404BDAF9CA Time : 0.0 sec. user=mdettweiler [2018-06-17 09:01:46] 647*2^1513582-1 is not prime. Res64: 88DACDC2823A8FDB Time : 0.0 sec. user=mdettweiler [2018-06-17 09:01:47] 827*2^1513582-1 is not prime. Res64: 639C64C138197251 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:01:48] 863*2^1513582-1 is not prime. Res64: 5328D1EB942AD76B Time : 0.0 sec. user=mdettweiler [2018-06-17 09:11:43] 891*2^1513582-1 is not prime. Res64: F4B2152C62552393 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:11:44] 703*2^1513583-1 is not prime. Res64: 030C0A68D64C1BD5 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:11:45] 715*2^1513583-1 is not prime. Res64: 46C92C96A00DFF44 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:11:46] 759*2^1513583-1 is not prime. Res64: CC0CFA29E8E1B805 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:11:47] 763*2^1513583-1 is not prime. Res64: 652E3BC23C87C2D4 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:34:59] 605*2^1513584-1 is not prime. Res64: 5BF42A2311080F18 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:34:59] 629*2^1513584-1 is not prime. Res64: DBF9FDCE74817B3C Time : 0.0 sec. user=mdettweiler [2018-06-17 09:35:00] 675*2^1513584-1 is not prime. Res64: 5A54CA98721DEED6 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:35:01] 695*2^1513584-1 is not prime. Res64: 3BFC6787329C5F32 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:35:02] 773*2^1513584-1 is not prime. Res64: 0B3FCE10E184B43F Time : 0.0 sec. user=mdettweiler [2018-06-17 09:46:31] 899*2^1513584-1 is not prime. Res64: 59A94C7B63DED5B4 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:46:31] 905*2^1513584-1 is not prime. Res64: 9D1F1DEA077CD342 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:46:32] 819*2^1513585-1 is not prime. Res64: 49E5550AFF48300E Time : 0.0 sec. user=mdettweiler [2018-06-17 09:46:32] 861*2^1513585-1 is not prime. Res64: 2424AEBEB8E8F4C3 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:46:33] 885*2^1513585-1 is not prime. Res64: 897E795EFDFA9E34 Time : 0.0 sec. user=juhehe [2018-06-17 09:51:32] 941*2^1513586-1 is not prime. Res64: D14D2A801132BC71 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:52:38] 925*2^1513585-1 is not prime. Res64: 2321EA8FA392CC27 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:52:38] 987*2^1513585-1 is not prime. Res64: 5243C938EE506A3A Time : 0.0 sec. user=mdettweiler [2018-06-17 09:52:39] 783*2^1513586-1 is not prime. Res64: 663967176A0A0A27 Time : 0.0 sec. user=mdettweiler [2018-06-17 09:52:39] 851*2^1513586-1 is not prime. Res64: 6A87C19DDFB91A6A Time : 0.0 sec. user=mdettweiler [2018-06-17 09:52:40] 903*2^1513586-1 is not prime. Res64: 23ADE04BE6AD58F7 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:01:37] 963*2^1513586-1 is not prime. Res64: E83C91BCFC439CDF Time : 0.0 sec. user=mdettweiler [2018-06-17 10:01:42] 615*2^1513587-1 is not prime. Res64: 0EE088758A3BB248 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:01:45] 619*2^1513587-1 is not prime. Res64: CD7BE199131E5666 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:01:49] 621*2^1513587-1 is not prime. Res64: 939A5DA40F5C16B1 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:01:52] 691*2^1513587-1 is not prime. Res64: AE52BEB34E6C71E1 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:25:08] 741*2^1513587-1 is not prime. Res64: B729BBD2C515948B Time : 0.0 sec. user=mdettweiler [2018-06-17 10:25:08] 775*2^1513587-1 is not prime. Res64: D894D52806F748F2 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:25:09] 825*2^1513587-1 is not prime. Res64: AA64EFAFB60D5816 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:25:09] 949*2^1513587-1 is not prime. Res64: C594A7BDF29A7480 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:25:10] 605*2^1513588-1 is not prime. Res64: F36A38FBA19F35A7 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:36:52] 677*2^1513588-1 is not prime. Res64: B7E70FAC11023A9C Time : 0.0 sec. user=mdettweiler [2018-06-17 10:36:52] 687*2^1513588-1 is not prime. Res64: F3E9160002E0B763 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:36:53] 695*2^1513588-1 is not prime. Res64: D33EF1B51EE2491A Time : 0.0 sec. user=mdettweiler [2018-06-17 10:36:53] 699*2^1513588-1 is not prime. Res64: 6ECFD936D850A364 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:36:53] 723*2^1513588-1 is not prime. Res64: 6150C63D335B2BA7 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:43:09] 743*2^1513588-1 is not prime. Res64: F0FBADBC36887879 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:43:09] 765*2^1513588-1 is not prime. Res64: 7DD17CEE9244B957 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:43:10] 825*2^1513588-1 is not prime. Res64: 653686BFA77D098D Time : 0.0 sec. user=mdettweiler [2018-06-17 10:43:10] 887*2^1513588-1 is not prime. Res64: 805A11B842905E01 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:43:11] 959*2^1513588-1 is not prime. Res64: A892151B6AE541C7 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:52:28] 993*2^1513588-1 is not prime. Res64: CA746A21985C1FA0 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:52:29] 615*2^1513589-1 is not prime. Res64: A8147E8B8F23DE3C Time : 0.0 sec. user=mdettweiler [2018-06-17 10:52:29] 631*2^1513589-1 is not prime. Res64: 92659D91FFD8B4E7 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:52:29] 729*2^1513589-1 is not prime. Res64: 672F877D88AC1404 Time : 0.0 sec. user=mdettweiler [2018-06-17 10:52:30] 759*2^1513589-1 is not prime. Res64: EBF4817B299969DE Time : 0.0 sec. user=mdettweiler [2018-06-17 11:15:19] 831*2^1513589-1 is not prime. Res64: DE0B8FC585B2C9D0 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:15:20] 925*2^1513589-1 is not prime. Res64: 69F943EDDC517AD9 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:15:21] 927*2^1513589-1 is not prime. Res64: ABB87954252C39DF Time : 0.0 sec. user=mdettweiler [2018-06-17 11:15:21] 939*2^1513589-1 is not prime. Res64: FDB882E74D7854A7 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:15:22] 653*2^1513590-1 is not prime. Res64: 5E5DBF45F3E262A8 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:26:39] 765*2^1513590-1 is not prime. Res64: 92180AE337457379 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:26:39] 833*2^1513590-1 is not prime. Res64: 1254D2AA65D1AC26 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:26:39] 917*2^1513590-1 is not prime. Res64: 088DAD10FDE895AF Time : 0.0 sec. user=mdettweiler [2018-06-17 11:26:40] 619*2^1513591-1 is not prime. Res64: FF8E00AA22ED929A Time : 0.0 sec. user=mdettweiler [2018-06-17 11:26:40] 621*2^1513591-1 is not prime. Res64: 53B27D9DBCD5A4D9 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:33:17] 651*2^1513591-1 is not prime. Res64: 88CCE3D2CEDB329D Time : 0.0 sec. user=mdettweiler [2018-06-17 11:33:17] 741*2^1513591-1 is not prime. Res64: D10470CF4D5CC8A7 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:33:18] 891*2^1513591-1 is not prime. Res64: 9185D724D6E41565 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:33:19] 951*2^1513591-1 is not prime. Res64: 5CBDE4CC84AAB9A2 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:33:19] 973*2^1513591-1 is not prime. Res64: A052EDF7EAB70E54 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:42:51] 993*2^1513591-1 is not prime. Res64: 8826CC15EBE89678 Time : 0.0 sec. user=mdettweiler [2018-06-17 11:42:52] 623*2^1513592-1 is not prime. Res64: 139AAA546F2E7A9A Time : 0.0 sec. user=mdettweiler [2018-06-17 11:42:53] 917*2^1513592-1 is not prime. Res64: EB39F4DBF526949F Time : 0.0 sec. user=mdettweiler [2018-06-17 11:42:53] 705*2^1513593-1 is not prime. Res64: 583EE9D554C98ADE Time : 0.0 sec. user=mdettweiler [2018-06-17 11:42:54] 727*2^1513593-1 is not prime. Res64: FA67EC4A84EDD962 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:05:20] 889*2^1513593-1 is not prime. Res64: 96055B6DA5343EB6 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:05:21] 895*2^1513593-1 is not prime. Res64: E5BB98C641EDDEFF Time : 0.0 sec. user=mdettweiler [2018-06-17 12:05:22] 915*2^1513593-1 is not prime. Res64: C8D8049BDDBB958F Time : 0.0 sec. user=mdettweiler [2018-06-17 12:05:24] 623*2^1513594-1 is not prime. Res64: F423CAD9DAFFF97E Time : 0.0 sec. user=mdettweiler [2018-06-17 12:05:25] 645*2^1513594-1 is not prime. Res64: 236DA9243B4494FF Time : 0.0 sec. user=juhehe [2018-06-17 12:11:50] 755*2^1513594-1 is not prime. Res64: 176D6EF93F4A47EA Time : 0.0 sec. user=mdettweiler [2018-06-17 12:16:47] 773*2^1513594-1 is not prime. Res64: 9BE2709E2623CB48 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:16:48] 783*2^1513594-1 is not prime. Res64: EBF75EF599DF0311 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:16:51] 861*2^1513594-1 is not prime. Res64: 619DD726C3E88D86 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:24:04] 695*2^1513596-1 is not prime. Res64: 486DE07CD086F444 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:24:05] 783*2^1513596-1 is not prime. Res64: 023D09F523FFED1B Time : 0.0 sec. user=mdettweiler [2018-06-17 12:24:05] 839*2^1513596-1 is not prime. Res64: A04B13736AA0B945 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:24:06] 845*2^1513596-1 is not prime. Res64: D01B6A93472B17E4 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:24:06] 875*2^1513596-1 is not prime. Res64: 4F008C5DD75382D3 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:33:17] 615*2^1513597-1 is not prime. Res64: 913E20A4BD03FDE0 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:33:18] 799*2^1513597-1 is not prime. Res64: 5A34BFD975D9F146 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:33:18] 805*2^1513597-1 is not prime. Res64: 4368B5037B9BAFD8 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:33:19] 817*2^1513597-1 is not prime. Res64: 466A715CDE6EE3BA Time : 0.0 sec. user=mdettweiler [2018-06-17 12:33:19] 871*2^1513597-1 is not prime. Res64: 11E04DE6BD6CA624 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:56:19] 947*2^1513326-1 is not prime. Res64: CE7755B4321BF6F9 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:56:19] 971*2^1513326-1 is not prime. Res64: C0A69E34B9AD04FE Time : 0.0 sec. user=mdettweiler [2018-06-17 12:56:19] 619*2^1513327-1 is not prime. Res64: 64BEF26D22BD977E Time : 0.0 sec. user=mdettweiler [2018-06-17 12:56:20] 633*2^1513327-1 is not prime. Res64: BF7B1F55E5129670 Time : 0.0 sec. user=mdettweiler [2018-06-17 12:56:20] 741*2^1513327-1 is not prime. Res64: D4FC50FF5D4F1CBF Time : 0.0 sec. user=mdettweiler [2018-06-17 13:15:39] 931*2^1513597-1 is not prime. Res64: 2D5AE12A4D93856B Time : 0.0 sec. user=mdettweiler [2018-06-17 13:15:40] 999*2^1513597-1 is not prime. Res64: 003F457289AAF3FF Time : 0.0 sec. user=mdettweiler [2018-06-17 13:15:40] 713*2^1513598-1 is not prime. Res64: FCD8E6D3483F12C5 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:15:41] 731*2^1513598-1 is not prime. Res64: 89F8D1E835FE2676 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:15:42] 887*2^1513598-1 is not prime. Res64: 59532DA5D057F12A Time : 0.0 sec. user=mdettweiler [2018-06-17 13:24:00] 953*2^1513598-1 is not prime. Res64: 16D69497BE74895F Time : 0.0 sec. user=mdettweiler [2018-06-17 13:24:00] 619*2^1513599-1 is not prime. Res64: 11867B3C55ECE086 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:24:00] 873*2^1513599-1 is not prime. Res64: 9043DCA3D2050B8C Time : 0.0 sec. user=mdettweiler [2018-06-17 13:24:01] 879*2^1513599-1 is not prime. Res64: C1B65E066609A1F6 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:24:01] 609*2^1513600-1 is not prime. Res64: FDCEBACC6CDF58AF Time : 0.0 sec. user=mdettweiler [2018-06-17 13:47:24] 719*2^1513600-1 is not prime. Res64: 446ABE7E33A4FAD6 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:47:24] 813*2^1513600-1 is not prime. Res64: 912B385EE6D2C278 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:47:25] 855*2^1513600-1 is not prime. Res64: 1ADDA414740A4CD3 Time : 0.0 sec. user=mdettweiler [2018-06-17 13:47:25] 975*2^1513600-1 is not prime. Res64: DE3B8BB9ED5C0B1A Time : 0.0 sec. user=mdettweiler [2018-06-17 13:47:26] 649*2^1513601-1 is not prime. Res64: A2BA679DCCE5AF54 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:06:42] 715*2^1513601-1 is not prime. Res64: 9CDCE3B035828D23 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:06:49] 855*2^1513601-1 is not prime. Res64: 48F24303996DDBC7 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:06:52] 907*2^1513601-1 is not prime. Res64: 3B7B0FADFE1DDDDD Time : 0.0 sec. user=mdettweiler [2018-06-17 14:06:55] 925*2^1513601-1 is not prime. Res64: 78C7E60AAA1390DB Time : 0.0 sec. user=mdettweiler [2018-06-17 14:06:59] 633*2^1513602-1 is not prime. Res64: B9286B48B42CF8ED Time : 0.0 sec. user=mdettweiler [2018-06-17 14:15:07] 671*2^1513602-1 is not prime. Res64: 958D05717C205C37 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:15:08] 713*2^1513602-1 is not prime. Res64: F3D388EA3F498B00 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:15:10] 791*2^1513602-1 is not prime. Res64: 7665651E176ACD6A Time : 0.0 sec. user=mdettweiler [2018-06-17 14:15:11] 803*2^1513602-1 is not prime. Res64: 0ABEDFF7D15B81A0 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:15:12] 873*2^1513602-1 is not prime. Res64: 6921684072326919 Time : 0.0 sec. user=juhehe [2018-06-17 14:32:10] 917*2^1513602-1 is not prime. Res64: A735B0890212CF41 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:39:12] 963*2^1513602-1 is not prime. Res64: 6ED1AF992FF1EDA0 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:39:13] 603*2^1513603-1 is not prime. Res64: C07808232C51C404 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:39:13] 679*2^1513603-1 is not prime. Res64: 99B30D9D267726B2 Time : 0.0 sec. user=mdettweiler [2018-06-17 14:39:14] 793*2^1513603-1 is not prime. Res64: 997BA2E1440FB6FC Time : 0.0 sec. user=mdettweiler [2018-06-17 14:39:14] 849*2^1513603-1 is not prime. Res64: D73AE935C0B5EE6D Time : 0.0 sec. user=mdettweiler [2018-06-17 15:03:53] 617*2^1513604-1 is not prime. Res64: B44BC950B81B2E84 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:03:57] 629*2^1513604-1 is not prime. Res64: 61B911AB05EB6224 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:03:59] 677*2^1513604-1 is not prime. Res64: 87B3BFE9BE2E116A Time : 0.0 sec. user=mdettweiler [2018-06-17 15:04:02] 707*2^1513604-1 is not prime. Res64: 115884994EBFF521 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:04:04] 873*2^1513604-1 is not prime. Res64: 94AEA0229F50DA6B Time : 0.0 sec. user=mdettweiler [2018-06-17 15:10:49] 627*2^1513605-1 is not prime. Res64: 49DDA291340D547A Time : 0.0 sec. user=mdettweiler [2018-06-17 15:10:50] 651*2^1513605-1 is not prime. Res64: 53F07C8DC10A335F Time : 0.0 sec. user=mdettweiler [2018-06-17 15:10:51] 741*2^1513605-1 is not prime. Res64: 6931B9650AF9B42A Time : 0.0 sec. user=mdettweiler [2018-06-17 15:10:51] 927*2^1513605-1 is not prime. Res64: AB069FB2BA070DB6 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:10:52] 951*2^1513605-1 is not prime. Res64: 27405FD1294AD963 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:37:33] 645*2^1513606-1 is not prime. Res64: FF0A4598CBE2AA42 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:37:34] 957*2^1513606-1 is not prime. Res64: 210120FE8D4B90AB Time : 0.0 sec. user=mdettweiler [2018-06-17 15:37:35] 651*2^1513607-1 is not prime. Res64: 852E2DB405CE5BE5 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:37:35] 705*2^1513607-1 is not prime. Res64: 346DADA98CFDBF74 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:37:36] 735*2^1513607-1 is not prime. Res64: 9FD27920E44D16E1 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:56:41] 619*2^1513595-1 is not prime. Res64: 8E4375C22BA3D5E5 Time : 0.0 sec. user=mdettweiler [2018-06-17 15:56:42] 627*2^1513596-1 is not prime. Res64: 5371BBC6451A908D Time : 0.0 sec. user=mdettweiler [2018-06-17 16:01:38] 861*2^1513607-1 is not prime. Res64: 7AA41D7D4C9B3CBA Time : 0.0 sec. user=mdettweiler [2018-06-17 16:01:39] 885*2^1513607-1 is not prime. Res64: 451CA705814648D0 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:01:41] 777*2^1513608-1 is not prime. Res64: 756317F8223CB797 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:01:42] 843*2^1513608-1 is not prime. Res64: 4894C8BE51108065 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:01:43] 639*2^1513609-1 is not prime. Res64: E515CAB2E2B9AEA1 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:06:59] 765*2^1513609-1 is not prime. Res64: E0185F9439F9D214 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:07:00] 829*2^1513609-1 is not prime. Res64: 9EA032DC4455A0E6 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:07:00] 831*2^1513609-1 is not prime. Res64: 81883DDCAF7F71A2 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:07:00] 861*2^1513609-1 is not prime. Res64: 09AAAE30F4816EFA Time : 0.0 sec. user=mdettweiler [2018-06-17 16:07:01] 909*2^1513609-1 is not prime. Res64: 03F9BCF85C1C9B14 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:29:47] 951*2^1513609-1 is not prime. Res64: 5FCF8BDDF63AC24C Time : 0.0 sec. user=mdettweiler [2018-06-17 16:29:48] 641*2^1513610-1 is not prime. Res64: 61411A8D7346FC9B Time : 0.0 sec. user=mdettweiler [2018-06-17 16:29:48] 717*2^1513610-1 is not prime. Res64: 2DC6ED0B21C4E83C Time : 0.0 sec. user=mdettweiler [2018-06-17 16:29:49] 743*2^1513610-1 is not prime. Res64: E5BBE748BE48955B Time : 0.0 sec. user=mdettweiler [2018-06-17 16:29:49] 747*2^1513610-1 is not prime. Res64: 23B932DAD740B91C Time : 0.0 sec. user=juhehe [2018-06-17 16:42:40] 619*2^1513613-1 is not prime. Res64: 38B1945FE4CAC5E9 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:48:20] 845*2^1513610-1 is not prime. Res64: C6D1ACA02B6810E9 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:48:20] 851*2^1513610-1 is not prime. Res64: C2FC3FDAC9855B69 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:48:21] 857*2^1513610-1 is not prime. Res64: 79C5BAEB6043CC33 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:48:21] 601*2^1513611-1 is not prime. Res64: F07785EBEE3A3E87 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:48:22] 823*2^1513611-1 is not prime. Res64: 9106D27D5F5F1A15 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:52:58] 871*2^1513611-1 is not prime. Res64: 42B12788467C9516 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:52:59] 879*2^1513611-1 is not prime. Res64: B1C1FD01F0957D8A Time : 0.0 sec. user=mdettweiler [2018-06-17 16:52:59] 973*2^1513611-1 is not prime. Res64: 095F1059CF27310A Time : 0.0 sec. user=mdettweiler [2018-06-17 16:53:00] 647*2^1513612-1 is not prime. Res64: B08669F7D9A46A45 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:53:00] 665*2^1513612-1 is not prime. Res64: 399C9D61BDB53CD6 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:59:05] 677*2^1513612-1 is not prime. Res64: 78516CEFA29DD24D Time : 0.0 sec. user=mdettweiler [2018-06-17 16:59:05] 687*2^1513612-1 is not prime. Res64: 8B4D3E1DA48827B2 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:59:06] 743*2^1513612-1 is not prime. Res64: E2D3C9B4AC345B01 Time : 0.0 sec. user=mdettweiler [2018-06-17 16:59:06] 869*2^1513612-1 is not prime. Res64: E5F36A53CA0DE83E Time : 0.0 sec. user=mdettweiler [2018-06-17 16:59:07] 929*2^1513612-1 is not prime. Res64: 94D95543EDAC83B3 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:21:09] 721*2^1513613-1 is not prime. Res64: 200D11FBDC1F297F Time : 0.0 sec. user=mdettweiler [2018-06-17 17:21:10] 729*2^1513613-1 is not prime. Res64: 5D63F9BCDFAFA19E Time : 0.0 sec. user=mdettweiler [2018-06-17 17:21:10] 771*2^1513613-1 is not prime. Res64: EE6F61C39211C122 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:21:11] 855*2^1513613-1 is not prime. Res64: 473FC69E7AAC198B Time : 0.0 sec. user=mdettweiler [2018-06-17 17:21:11] 927*2^1513613-1 is not prime. Res64: 4D7150DE0FBC5655 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:39:16] 987*2^1513613-1 is not prime. Res64: 3C91D43954BF828D Time : 0.0 sec. user=mdettweiler [2018-06-17 17:39:17] 627*2^1513614-1 is not prime. Res64: 40A458C2E6831D33 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:39:17] 725*2^1513614-1 is not prime. Res64: DB53B2A598ED34B7 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:39:18] 951*2^1513614-1 is not prime. Res64: 8EAC63C0F13E086D Time : 0.0 sec. user=mdettweiler [2018-06-17 17:39:18] 965*2^1513614-1 is not prime. Res64: FC247F2DD21BAB18 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:44:06] 971*2^1513614-1 is not prime. Res64: 8830C9024A3F18C1 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:44:07] 983*2^1513614-1 is not prime. Res64: 83535B70A4593553 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:44:07] 789*2^1513615-1 is not prime. Res64: ED21212F14A6511B Time : 0.0 sec. user=mdettweiler [2018-06-17 17:44:07] 915*2^1513615-1 is not prime. Res64: 9C50C928687E1394 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:44:08] 669*2^1513616-1 is not prime. Res64: 54F744F8643FD95E Time : 0.0 sec. user=mdettweiler [2018-06-17 17:50:16] 675*2^1513616-1 is not prime. Res64: FDD48A231226976F Time : 0.0 sec. user=mdettweiler [2018-06-17 17:50:17] 683*2^1513616-1 is not prime. Res64: C75B9DA2ACD783D6 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:50:18] 717*2^1513616-1 is not prime. Res64: 87094C8CBB4C32DF Time : 0.0 sec. user=mdettweiler [2018-06-17 17:50:18] 803*2^1513616-1 is not prime. Res64: 212CCC422B687F12 Time : 0.0 sec. user=mdettweiler [2018-06-17 17:50:19] 825*2^1513616-1 is not prime. Res64: 5ECFA836D1B21465 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:13:14] 903*2^1513616-1 is not prime. Res64: 53F833C371001DE0 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:13:15] 615*2^1513617-1 is not prime. Res64: F71299536143E5A9 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:13:16] 735*2^1513617-1 is not prime. Res64: 24D53360B58B9AC5 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:13:16] 741*2^1513617-1 is not prime. Res64: 5F87977C277EFCAA Time : 0.0 sec. user=mdettweiler [2018-06-17 18:13:16] 847*2^1513617-1 is not prime. Res64: 8CA919E4B76F809A Time : 0.0 sec. user=juhehe [2018-06-17 18:15:36] 867*2^1513617-1 is not prime. Res64: 14A242CB1DE3F8F5 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:31:09] 889*2^1513617-1 is not prime. Res64: F7E4368AB78A4607 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:31:10] 895*2^1513617-1 is not prime. Res64: 20549EDD1F755F8C Time : 0.0 sec. user=mdettweiler [2018-06-17 18:31:10] 915*2^1513617-1 is not prime. Res64: 11362CAB43B32A5A Time : 0.0 sec. user=mdettweiler [2018-06-17 18:31:11] 937*2^1513617-1 is not prime. Res64: 91FBCE73FB7A68A6 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:31:11] 955*2^1513617-1 is not prime. Res64: 4068E27523F98E77 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:35:38] 617*2^1513618-1 is not prime. Res64: 761D5E73A9CEB27A Time : 0.0 sec. user=mdettweiler [2018-06-17 18:35:39] 663*2^1513618-1 is not prime. Res64: A3336D77D7A6DF57 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:35:39] 695*2^1513618-1 is not prime. Res64: B166ADB15AC8C718 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:35:40] 713*2^1513618-1 is not prime. Res64: B1675C851B22C0FA Time : 0.0 sec. user=mdettweiler [2018-06-17 18:35:40] 747*2^1513618-1 is not prime. Res64: A373E65461CA92EF Time : 0.0 sec. user=mdettweiler [2018-06-17 18:42:07] 755*2^1513618-1 is not prime. Res64: F2A0ED817B9ADB01 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:42:07] 773*2^1513618-1 is not prime. Res64: 13DA31EEB65031BB Time : 0.0 sec. user=mdettweiler [2018-06-17 18:42:07] 933*2^1513618-1 is not prime. Res64: 17131050C1CAF231 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:42:08] 993*2^1513618-1 is not prime. Res64: ABE51E8D8B923E00 Time : 0.0 sec. user=mdettweiler [2018-06-17 18:42:08] 609*2^1513619-1 is not prime. Res64: 8BAFFDC66D8AB5E7 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:03:59] 745*2^1513619-1 is not prime. Res64: 66415E59EE0BBBEC Time : 0.0 sec. user=mdettweiler [2018-06-17 19:04:04] 811*2^1513619-1 is not prime. Res64: 4ABA1D164DFE604D Time : 0.0 sec. user=mdettweiler [2018-06-17 19:04:06] 825*2^1513619-1 is not prime. Res64: C2AB90F53EE035C4 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:04:09] 889*2^1513619-1 is not prime. Res64: DD81FACB828F725E Time : 0.0 sec. user=mdettweiler [2018-06-17 19:04:11] 753*2^1513620-1 is not prime. Res64: 1E243BE4166BA532 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:21:37] 867*2^1513620-1 is not prime. Res64: E29428BD97A1F3F2 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:21:38] 879*2^1513620-1 is not prime. Res64: B5AD8E24DB1CDA04 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:21:38] 933*2^1513620-1 is not prime. Res64: E61111B9CC474B32 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:21:38] 945*2^1513620-1 is not prime. Res64: 42CB05D6DF9BD873 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:21:39] 957*2^1513620-1 is not prime. Res64: CB2F84A6314F4A75 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:26:08] 727*2^1513621-1 is not prime. Res64: F0392D7458AD0AC8 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:26:08] 819*2^1513621-1 is not prime. Res64: D1E46446793E50B0 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:26:08] 835*2^1513621-1 is not prime. Res64: AD3B41A00739A91C Time : 0.0 sec. user=mdettweiler [2018-06-17 19:26:09] 975*2^1513621-1 is not prime. Res64: A1B6801BEDEA7E95 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:26:09] 677*2^1513622-1 is not prime. Res64: DDE00721946F319E Time : 0.0 sec. user=mdettweiler [2018-06-17 19:32:39] 705*2^1513622-1 is not prime. Res64: F777EA8621EC4A87 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:32:40] 801*2^1513622-1 is not prime. Res64: 52CDF15E3E47FEE7 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:32:40] 825*2^1513622-1 is not prime. Res64: B986DDF6500BB06A Time : 0.0 sec. user=mdettweiler [2018-06-17 19:32:40] 827*2^1513622-1 is not prime. Res64: AE11347B84AF4486 Time : 0.0 sec. user=mdettweiler [2018-06-17 19:32:41] 833*2^1513622-1 is not prime. Res64: DEE8A3445CD0AB0F Time : 0.0 sec. user=mdettweiler [2018-06-17 20:00:30] 887*2^1513622-1 is not prime. Res64: DB2275433657BD1F Time : 0.0 sec. user=mdettweiler [2018-06-17 20:00:31] 957*2^1513622-1 is not prime. Res64: E1CE90780A3F904C Time : 0.0 sec. user=mdettweiler [2018-06-17 20:00:33] 977*2^1513622-1 is not prime. Res64: 6E45236F106E0A96 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:00:34] 995*2^1513622-1 is not prime. Res64: 45708952E6574FB8 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:00:35] 613*2^1513623-1 is not prime. Res64: 4BF071C347124C40 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:12:04] 691*2^1513623-1 is not prime. Res64: 9E8EFF8162F3003F Time : 0.0 sec. user=mdettweiler [2018-06-17 20:12:05] 735*2^1513623-1 is not prime. Res64: 18A728EFEDEC10B9 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:12:05] 921*2^1513623-1 is not prime. Res64: 4120970FE275D8F7 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:12:06] 945*2^1513623-1 is not prime. Res64: D80AF43BB3A21E34 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:12:06] 969*2^1513623-1 is not prime. Res64: 02A8F5C663104C60 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:16:00] 617*2^1513624-1 is not prime. Res64: 2A85D107A548A69A Time : 0.0 sec. user=mdettweiler [2018-06-17 20:16:00] 663*2^1513624-1 is not prime. Res64: 522C018CD644054A Time : 0.0 sec. user=mdettweiler [2018-06-17 20:16:01] 723*2^1513624-1 is not prime. Res64: DA4192FC0151FB9F Time : 0.0 sec. user=mdettweiler [2018-06-17 20:16:01] 869*2^1513624-1 is not prime. Res64: C6702615ED2607A5 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:16:02] 915*2^1513624-1 is not prime. Res64: B0697EFBD71A9B71 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:23:02] 917*2^1513624-1 is not prime. Res64: F32F5FB9FF507655 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:23:03] 993*2^1513624-1 is not prime. Res64: B1554A65592067DB Time : 0.0 sec. user=mdettweiler [2018-06-17 20:23:03] 691*2^1513625-1 is not prime. Res64: B78BE5FDC406F120 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:23:03] 721*2^1513625-1 is not prime. Res64: 0583C142F1249FE0 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:23:04] 787*2^1513625-1 is not prime. Res64: D664722BC6E5EA5B Time : 0.0 sec. user=juhehe [2018-06-17 20:36:53] 937*2^1513625-1 is not prime. Res64: 67761AE082F9C5C8 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:51:20] 985*2^1513625-1 is not prime. Res64: 9702AF7418D53560 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:51:20] 683*2^1513626-1 is not prime. Res64: E6DA41DAA9D50446 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:51:21] 713*2^1513626-1 is not prime. Res64: F9AE8B567731291C Time : 0.0 sec. user=mdettweiler [2018-06-17 20:51:21] 723*2^1513626-1 is not prime. Res64: B7CD50156A3911A0 Time : 0.0 sec. user=mdettweiler [2018-06-17 20:51:22] 807*2^1513626-1 is not prime. Res64: D8CC5DDFECDF13C0 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:02:54] 833*2^1513626-1 is not prime. Res64: 2CB8F92C8E7FF000 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:02:55] 881*2^1513626-1 is not prime. Res64: D3F7835DCABB8EDB Time : 0.0 sec. user=mdettweiler [2018-06-17 21:02:55] 941*2^1513626-1 is not prime. Res64: 4BA7503E359222A8 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:02:56] 993*2^1513626-1 is not prime. Res64: 9AF4C31B7F6250DA Time : 0.0 sec. user=mdettweiler [2018-06-17 21:02:57] 601*2^1513627-1 is not prime. Res64: 1FE80B980D7825D2 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:06:39] 691*2^1513627-1 is not prime. Res64: F4B6797DC7BB5A9D Time : 0.0 sec. user=mdettweiler [2018-06-17 21:06:41] 759*2^1513627-1 is not prime. Res64: C31B1DDE13CF18A2 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:06:42] 805*2^1513627-1 is not prime. Res64: 6D57544204E1EAAB Time : 0.0 sec. user=mdettweiler [2018-06-17 21:06:43] 871*2^1513627-1 is not prime. Res64: 7F517B8FABE2623B Time : 0.0 sec. user=mdettweiler [2018-06-17 21:06:44] 885*2^1513627-1 is not prime. Res64: 04CA2EA4A04F61C2 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:13:57] 951*2^1513627-1 is not prime. Res64: 40683FAE2C7031BB Time : 0.0 sec. user=mdettweiler [2018-06-17 21:13:57] 755*2^1513628-1 is not prime. Res64: A1ADFF3D61B91131 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:13:58] 767*2^1513628-1 is not prime. Res64: 6416AE63B28D07F7 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:13:58] 813*2^1513628-1 is not prime. Res64: 0E966E42EAF9FCFC Time : 0.0 sec. user=mdettweiler [2018-06-17 21:13:59] 819*2^1513628-1 is not prime. Res64: B05440ADABEB3B6E Time : 0.0 sec. user=mdettweiler [2018-06-17 21:41:05] 843*2^1513628-1 is not prime. Res64: 01A3B6B74C28FAD5 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:41:05] 893*2^1513628-1 is not prime. Res64: 0B82A9D1EDCEA78C Time : 0.0 sec. user=mdettweiler [2018-06-17 21:41:06] 621*2^1513629-1 is not prime. Res64: 32AA8A1245704F2F Time : 0.0 sec. user=mdettweiler [2018-06-17 21:41:06] 669*2^1513629-1 is not prime. Res64: E2445B6FE4A82FA1 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:41:06] 711*2^1513629-1 is not prime. Res64: C1EC2FF06D72A4EF Time : 0.0 sec. user=mdettweiler [2018-06-17 21:53:54] 751*2^1513629-1 is not prime. Res64: 0D7F9A488FE24110 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:53:55] 795*2^1513629-1 is not prime. Res64: B168D59965F44EBE Time : 0.0 sec. user=mdettweiler [2018-06-17 21:53:55] 847*2^1513629-1 is not prime. Res64: 19B504D2BD8C5472 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:53:55] 907*2^1513629-1 is not prime. Res64: 81C091A3C2F512D1 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:53:56] 955*2^1513629-1 is not prime. Res64: D087580DC78816CA Time : 0.0 sec. user=mdettweiler [2018-06-17 21:56:38] 623*2^1513630-1 is not prime. Res64: DEE9886EFDFFEADB Time : 0.0 sec. user=mdettweiler [2018-06-17 21:56:38] 657*2^1513630-1 is not prime. Res64: A31FA5C2E2149810 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:56:39] 687*2^1513630-1 is not prime. Res64: E8687474C1F281A1 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:56:39] 867*2^1513630-1 is not prime. Res64: DB39390F99EC6EE1 Time : 0.0 sec. user=mdettweiler [2018-06-17 21:56:39] 911*2^1513630-1 is not prime. Res64: 7BDDA7184E8E4974 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:04:41] 957*2^1513630-1 is not prime. Res64: F362464A3BFC7A04 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:04:42] 981*2^1513630-1 is not prime. Res64: AF51FD25A03BE4FF Time : 0.0 sec. user=mdettweiler [2018-06-17 22:04:43] 1001*2^1513630-1 is not prime. Res64: A3C058ABD3C4B1BA Time : 0.0 sec. user=mdettweiler [2018-06-17 22:04:44] 781*2^1513631-1 is not prime. Res64: FACB4D1E1D5B20D9 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:04:45] 813*2^1513631-1 is not prime. Res64: A5EF050CCE1CB70B Time : 0.0 sec. user=mdettweiler [2018-06-17 22:31:17] 975*2^1513381-1 is not prime. Res64: 7476D6EFA6BC0DCE Time : 0.0 sec. user=mdettweiler [2018-06-17 22:31:17] 645*2^1513382-1 is not prime. Res64: 89146C36F84DE9D1 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:31:18] 711*2^1513382-1 is not prime. Res64: 5332202F6EEABC6F Time : 0.0 sec. user=mdettweiler [2018-06-17 22:31:19] 831*2^1513382-1 is not prime. Res64: 329F2FFA4E7D54D9 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:31:19] 875*2^1513382-1 is not prime. Res64: 3DD43643A67F6D11 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:44:33] 819*2^1513631-1 is not prime. Res64: FAD89C2D9253C653 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:44:33] 879*2^1513631-1 is not prime. Res64: A17D617D183E76B1 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:44:33] 913*2^1513631-1 is not prime. Res64: 6C06D52410304C69 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:44:34] 675*2^1513632-1 is not prime. Res64: E572B57701E0CEAF Time : 0.0 sec. user=mdettweiler [2018-06-17 22:44:34] 693*2^1513632-1 is not prime. Res64: 6E566D72D40C81E5 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:46:20] 815*2^1513632-1 is not prime. Res64: 59278B24F2E9BCB0 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:46:20] 923*2^1513632-1 is not prime. Res64: B90820D1464CC295 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:46:21] 609*2^1513633-1 is not prime. Res64: F4FD9EE02CC7D1F9 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:46:21] 649*2^1513633-1 is not prime. Res64: DAAA033947AB6434 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:46:21] 651*2^1513633-1 is not prime. Res64: 56B52563F14749FD Time : 0.0 sec. user=mdettweiler [2018-06-17 22:55:33] 685*2^1513633-1 is not prime. Res64: BAD35749C20A87EB Time : 0.0 sec. user=mdettweiler [2018-06-17 22:55:33] 715*2^1513633-1 is not prime. Res64: 869AA08F08680374 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:55:34] 807*2^1513633-1 is not prime. Res64: 0D82ACA859FD527A Time : 0.0 sec. user=mdettweiler [2018-06-17 22:55:34] 847*2^1513633-1 is not prime. Res64: 3FD8A4929E41D172 Time : 0.0 sec. user=mdettweiler [2018-06-17 22:55:34] 937*2^1513633-1 is not prime. Res64: 0802AA1C8FFD1858 Time : 0.0 sec. user=juhehe [2018-06-17 22:57:51] 955*2^1513633-1 is not prime. Res64: 0A38D88A181EB9BF Time : 0.0 sec. user=mdettweiler [2018-06-17 23:22:02] 731*2^1513634-1 is not prime. Res64: 45F3A07BC8DE2B45 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:22:02] 791*2^1513634-1 is not prime. Res64: 10339D4F8E555119 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:22:03] 875*2^1513634-1 is not prime. Res64: BF055BA1D7B678EF Time : 0.0 sec. user=mdettweiler [2018-06-17 23:22:03] 915*2^1513634-1 is not prime. Res64: E10936C396498C12 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:22:04] 923*2^1513634-1 is not prime. Res64: 2FD60989BB8ED736 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:34:44] 995*2^1513634-1 is not prime. Res64: 47351D34D65AA0A2 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:34:44] 649*2^1513635-1 is not prime. Res64: 5F4736B2C15B5838 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:34:44] 685*2^1513635-1 is not prime. Res64: 44F56310BC5C7DD6 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:34:45] 751*2^1513635-1 is not prime. Res64: D76C60F4BA28752A Time : 0.0 sec. user=mdettweiler [2018-06-17 23:34:45] 801*2^1513635-1 is not prime. Res64: 573D44452D25CEF9 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:36:58] 749*2^1513636-1 is not prime. Res64: 4D6DF87EDA5D302A Time : 0.0 sec. user=mdettweiler [2018-06-17 23:36:58] 813*2^1513636-1 is not prime. Res64: 9602E0E32553C48A Time : 0.0 sec. user=mdettweiler [2018-06-17 23:36:59] 947*2^1513636-1 is not prime. Res64: 5F972ECF264877D0 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:36:59] 957*2^1513636-1 is not prime. Res64: 4390B44B4882CE53 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:36:59] 975*2^1513636-1 is not prime. Res64: E1A55B8BFA54D9DA Time : 0.0 sec. user=mdettweiler [2018-06-17 23:45:23] 615*2^1513637-1 is not prime. Res64: 9D914BFCB6679AD3 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:45:23] 645*2^1513637-1 is not prime. Res64: FEBF363A47DC8015 Time : 0.0 sec. user=mdettweiler [2018-06-17 23:45:24] 729*2^1513637-1 is not prime. Res64: 9472D958BAAEB8FB Time : 0.0 sec. user=mdettweiler [2018-06-17 23:45:24] 825*2^1513637-1 is not prime. Res64: DD3F02649892C61C Time : 0.0 sec. user=mdettweiler [2018-06-17 23:45:25] 901*2^1513637-1 is not prime. Res64: 71E8D5B6B59DA20C Time : 0.0 sec.