user=mdettweiler [2019-12-28 00:52:27] 735*2^1551857-1 is not prime. Res64: D103C4FCE90FF49C Time : 0.0 sec. user=mdettweiler [2019-12-28 00:52:27] 885*2^1551857-1 is not prime. Res64: C978BEC77E2A3B4D Time : 0.0 sec. user=mdettweiler [2019-12-28 00:52:28] 901*2^1551857-1 is not prime. Res64: 90311005762FEEDD Time : 0.0 sec. user=mdettweiler [2019-12-28 00:52:28] 887*2^1551858-1 is not prime. Res64: DA650408B22A1C9A Time : 0.0 sec. user=mdettweiler [2019-12-28 01:45:35] 885*2^1551859-1 is not prime. Res64: 5CA814F17C7E1699 Time : 0.0 sec. user=mdettweiler [2019-12-28 01:45:35] 635*2^1551860-1 is not prime. Res64: 056C69A92296A24F Time : 0.0 sec. user=mdettweiler [2019-12-28 01:45:36] 647*2^1551860-1 is not prime. Res64: 7FC53ECEF3DE0B65 Time : 0.0 sec. user=mdettweiler [2019-12-28 01:45:36] 689*2^1551860-1 is not prime. Res64: 46D44ADF9CCC8C07 Time : 0.0 sec. user=mdettweiler [2019-12-28 01:45:37] 987*2^1551860-1 is not prime. Res64: 14084273BAB5CA42 Time : 0.0 sec. user=mdettweiler [2019-12-28 01:53:28] 663*2^1551859-1 is not prime. Res64: C84D84CA60824D49 Time : 0.0 sec. user=mdettweiler [2019-12-28 03:41:17] 861*2^1551855-1 is not prime. Res64: 59F2FEB9946C9A03 Time : 0.0 sec. user=mdettweiler [2019-12-28 03:41:39] 955*2^1551855-1 is not prime. Res64: 1FE4345EA5464863 Time : 0.0 sec. user=mdettweiler [2019-12-28 07:38:59] 883*2^1551859-1 is not prime. Res64: E166CA7E019078D9 Time : 0.0 sec. user=mdettweiler [2019-12-28 08:26:48] 727*2^1551861-1 is not prime. Res64: F254F1FAA9D8EF4E Time : 0.0 sec. user=mdettweiler [2019-12-28 08:32:42] 717*2^1551862-1 is not prime. Res64: BAFF24283CE96895 Time : 0.0 sec. user=mdettweiler [2019-12-28 10:02:07] 991*2^1551855-1 is not prime. Res64: 30AB24F594545C0E Time : 0.0 sec. user=mdettweiler [2019-12-28 11:16:35] 887*2^1551866-1 is not prime. Res64: 6BA80DC922762DB8 Time : 0.0 sec. user=mdettweiler [2019-12-28 14:08:30] 827*2^1551862-1 is not prime. Res64: 1E405ADC87D0DE41 Time : 0.0 sec. user=mdettweiler [2019-12-28 14:08:30] 831*2^1551862-1 is not prime. Res64: CE2B008B4951D348 Time : 0.0 sec. user=mdettweiler [2019-12-28 14:08:31] 945*2^1551862-1 is not prime. Res64: 584BD193C893817D Time : 0.0 sec. user=mdettweiler [2019-12-28 14:08:31] 663*2^1551863-1 is not prime. Res64: 58B98783D3E161CD Time : 0.0 sec. user=mdettweiler [2019-12-28 14:30:53] 847*2^1551861-1 is not prime. Res64: 14A58E669C28BE76 Time : 0.0 sec. user=mdettweiler [2019-12-28 14:30:53] 901*2^1551861-1 is not prime. Res64: 5002D6814FB0D516 Time : 0.0 sec. user=mdettweiler [2019-12-28 14:30:54] 961*2^1551861-1 is not prime. Res64: 0486E71E57DF3F7D Time : 0.0 sec. user=mdettweiler [2019-12-28 14:30:54] 997*2^1551861-1 is not prime. Res64: EA3668B091C2C963 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:00:56] 739*2^1551863-1 is not prime. Res64: 5D583DE183F69EE9 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:00:56] 859*2^1551863-1 is not prime. Res64: A0AA7A86862BF99C Time : 0.0 sec. user=mdettweiler [2019-12-28 15:00:57] 879*2^1551863-1 is not prime. Res64: A93EA85578203A07 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:00:57] 885*2^1551863-1 is not prime. Res64: B0ED39329865ED03 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:00:57] 913*2^1551863-1 is not prime. Res64: BB752CBA104DD269 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:22:41] 675*2^1551864-1 is not prime. Res64: 380D32608C306579 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:22:41] 689*2^1551864-1 is not prime. Res64: 21985D7D9EC313DE Time : 0.0 sec. user=mdettweiler [2019-12-28 15:22:42] 773*2^1551864-1 is not prime. Res64: 991D6EB625984C58 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:22:42] 795*2^1551864-1 is not prime. Res64: F35EBDEA7FF794F0 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:22:42] 809*2^1551864-1 is not prime. Res64: E1EDCCD460C0AE03 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:34:15] 911*2^1551866-1 is not prime. Res64: BA16B510A81C6232 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:34:16] 643*2^1551867-1 is not prime. Res64: F2EA69DE881BC0E1 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:34:16] 765*2^1551867-1 is not prime. Res64: AF4D116A9C8F4A28 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:34:17] 793*2^1551867-1 is not prime. Res64: 951904B37FB7ABBB Time : 0.0 sec. user=mdettweiler [2019-12-28 15:52:20] 915*2^1551864-1 is not prime. Res64: 369415F0AE9200F8 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:52:21] 607*2^1551865-1 is not prime. Res64: F39135C0C7BFCACA Time : 0.0 sec. user=mdettweiler [2019-12-28 15:52:21] 699*2^1551865-1 is not prime. Res64: CD708A3AB426A3CE Time : 0.0 sec. user=mdettweiler [2019-12-28 15:52:21] 751*2^1551865-1 is not prime. Res64: 09C66442F36F0F89 Time : 0.0 sec. user=mdettweiler [2019-12-28 15:52:22] 777*2^1551865-1 is not prime. Res64: DD8BDDEE12276B14 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:17:23] 841*2^1551865-1 is not prime. Res64: 1CB5FEFABA2E371C Time : 0.0 sec. user=mdettweiler [2019-12-28 16:17:23] 861*2^1551865-1 is not prime. Res64: B846D5842FB62061 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:17:24] 889*2^1551865-1 is not prime. Res64: 612B0F3906E1F7EE Time : 0.0 sec. user=mdettweiler [2019-12-28 16:17:24] 951*2^1551865-1 is not prime. Res64: 783B9D6FF3921EF8 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:17:24] 957*2^1551865-1 is not prime. Res64: 236ED49D06AB5AFB Time : 0.0 sec. user=mdettweiler [2019-12-28 16:28:26] 975*2^1551865-1 is not prime. Res64: BADF89920EA59AC7 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:28:26] 997*2^1551865-1 is not prime. Res64: E0D314E7AFD32410 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:28:27] 633*2^1551866-1 is not prime. Res64: EEFBD57F900E26BA Time : 0.0 sec. user=mdettweiler [2019-12-28 16:28:27] 717*2^1551866-1 is not prime. Res64: 34D24597C101AD97 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:28:27] 857*2^1551866-1 is not prime. Res64: B8BA381B8A183679 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:43:44] 879*2^1551867-1 is not prime. Res64: 757DC95C273E253F Time : 0.0 sec. user=mdettweiler [2019-12-28 16:43:45] 647*2^1551868-1 is not prime. Res64: F622F6E41845F5F4 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:43:45] 687*2^1551868-1 is not prime. Res64: E6D04C5185F92893 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:43:45] 689*2^1551868-1 is not prime. Res64: F181177DB7D9F604 Time : 0.0 sec. user=mdettweiler [2019-12-28 16:43:46] 755*2^1551868-1 is not prime. Res64: D3D98E39C7A87606 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:09:42] 777*2^1551868-1 is not prime. Res64: 8987F24440816202 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:09:43] 813*2^1551868-1 is not prime. Res64: 87FFAE4951DB3CDE Time : 0.0 sec. user=mdettweiler [2019-12-28 17:09:44] 839*2^1551868-1 is not prime. Res64: A9D4AD8B08B93DEF Time : 0.0 sec. user=mdettweiler [2019-12-28 17:09:45] 885*2^1551868-1 is not prime. Res64: 3DA43A6D46563DDA Time : 0.0 sec. user=mdettweiler [2019-12-28 17:09:46] 887*2^1551868-1 is not prime. Res64: 68DBC9FCFBF4CC92 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:23:50] 923*2^1551868-1 is not prime. Res64: 3D2DB7292E0A9513 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:23:50] 975*2^1551868-1 is not prime. Res64: D46AC7205F6C8C8B Time : 0.0 sec. user=mdettweiler [2019-12-28 17:23:51] 993*2^1551868-1 is not prime. Res64: 86B5A4729F0C25C2 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:23:51] 999*2^1551868-1 is not prime. Res64: 7667FFD4F667CB2E Time : 0.0 sec. user=mdettweiler [2019-12-28 17:23:52] 621*2^1551869-1 is not prime. Res64: B5EE96A58A1CFD47 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:36:42] 735*2^1551869-1 is not prime. Res64: 886225CCBEF0B5D9 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:36:42] 837*2^1551869-1 is not prime. Res64: C0A41E52C119090B Time : 0.0 sec. user=mdettweiler [2019-12-28 17:36:42] 867*2^1551869-1 is not prime. Res64: 09C5CF0EB8800EB3 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:36:43] 945*2^1551869-1 is not prime. Res64: 322F8402D0B70914 Time : 0.0 sec. user=mdettweiler [2019-12-28 17:36:43] 677*2^1551870-1 is not prime. Res64: 15A79AD61C024207 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:04:14] 861*2^1551870-1 is not prime. Res64: 5C3DE6F3676502AB Time : 0.0 sec. user=mdettweiler [2019-12-28 18:04:16] 957*2^1551870-1 is not prime. Res64: EEC8C784890257D5 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:04:17] 963*2^1551870-1 is not prime. Res64: E20EC99DBD2F5195 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:04:18] 615*2^1551871-1 is not prime. Res64: 601A626F72A7FD5B Time : 0.0 sec. user=mdettweiler [2019-12-28 18:04:18] 693*2^1551871-1 is not prime. Res64: F90DE40B6500DA2F Time : 0.0 sec. user=mdettweiler [2019-12-28 18:18:12] 855*2^1551871-1 is not prime. Res64: 3481EECA8619DE44 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:18:13] 931*2^1551871-1 is not prime. Res64: 7B6701DEB205E12A Time : 0.0 sec. user=mdettweiler [2019-12-28 18:18:13] 969*2^1551871-1 is not prime. Res64: 310212C4523C011A Time : 0.0 sec. user=mdettweiler [2019-12-28 18:18:13] 993*2^1551871-1 is not prime. Res64: C56B569EE32BCFFC Time : 0.0 sec. user=mdettweiler [2019-12-28 18:18:14] 605*2^1551872-1 is not prime. Res64: 6D74A62F0ED3C2A1 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:28:15] 633*2^1551872-1 is not prime. Res64: 4D6D0717C4A8F50C Time : 0.0 sec. user=mdettweiler [2019-12-28 18:28:15] 855*2^1551872-1 is not prime. Res64: BB81EFEBF9AC40FB Time : 0.0 sec. user=mdettweiler [2019-12-28 18:28:15] 625*2^1551873-1 is not prime. Res64: 7B4BBD3C96965A11 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:28:16] 649*2^1551873-1 is not prime. Res64: 124BA21AC8110004 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:28:16] 849*2^1551873-1 is not prime. Res64: 045F1A299C176640 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:58:35] 891*2^1551873-1 is not prime. Res64: 870729D3FEFE2C68 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:58:35] 951*2^1551873-1 is not prime. Res64: 7BEB10BBE1F22320 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:58:36] 955*2^1551873-1 is not prime. Res64: F7BF3D3696D65129 Time : 0.0 sec. user=mdettweiler [2019-12-28 18:58:36] 605*2^1551874-1 is not prime. Res64: D4FB29E82F06F6DE Time : 0.0 sec. user=mdettweiler [2019-12-28 18:58:36] 645*2^1551874-1 is not prime. Res64: 0774D2BDA2B13675 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:10:35] 723*2^1551874-1 is not prime. Res64: B36A1A54D01F016F Time : 0.0 sec. user=mdettweiler [2019-12-28 19:10:42] 813*2^1551874-1 is not prime. Res64: D2FB09E1A8CB8B87 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:10:47] 887*2^1551874-1 is not prime. Res64: F567288CC7C6B8D0 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:10:53] 917*2^1551874-1 is not prime. Res64: 4B22AC0CD3A576A3 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:10:58] 923*2^1551874-1 is not prime. Res64: 68AE85B3CBDF38FF Time : 0.0 sec. user=mdettweiler [2019-12-28 19:19:14] 619*2^1551875-1 is not prime. Res64: B29BE043621B5317 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:19:16] 735*2^1551875-1 is not prime. Res64: BD44EF6EC8E2300C Time : 0.0 sec. user=mdettweiler [2019-12-28 19:19:18] 771*2^1551875-1 is not prime. Res64: BD8D31D6874247F1 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:19:22] 775*2^1551875-1 is not prime. Res64: 69A5A988FA37870A Time : 0.0 sec. user=mdettweiler [2019-12-28 19:19:25] 783*2^1551875-1 is not prime. Res64: 316970CE5AA10B48 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:50:54] 979*2^1551875-1 is not prime. Res64: E5DF5D908C419995 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:50:55] 609*2^1551876-1 is not prime. Res64: 5E0FE9A2590B990B Time : 0.0 sec. user=mdettweiler [2019-12-28 19:50:55] 633*2^1551876-1 is not prime. Res64: 3823D416E223279B Time : 0.0 sec. user=mdettweiler [2019-12-28 19:50:55] 783*2^1551876-1 is not prime. Res64: 4002D10CCF72FA77 Time : 0.0 sec. user=mdettweiler [2019-12-28 19:50:56] 645*2^1551877-1 is not prime. Res64: E2060ABB66622964 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:05:20] 771*2^1551877-1 is not prime. Res64: C2D18F774CA3EA17 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:05:22] 801*2^1551877-1 is not prime. Res64: 3D1D52584E68304E Time : 0.0 sec. user=mdettweiler [2019-12-28 20:05:23] 919*2^1551877-1 is not prime. Res64: DE434D7B183B4CC1 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:05:24] 979*2^1551877-1 is not prime. Res64: 28591E5764D3001C Time : 0.0 sec. user=mdettweiler [2019-12-28 20:05:25] 603*2^1551878-1 is not prime. Res64: 5F4B920DBAE85E26 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:11:16] 623*2^1551878-1 is not prime. Res64: A7BF56ACFE5FCF1A Time : 0.0 sec. user=mdettweiler [2019-12-28 20:11:16] 677*2^1551878-1 is not prime. Res64: BD7FFB58ED358B91 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:11:17] 747*2^1551878-1 is not prime. Res64: AB585B3F5C27D277 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:11:17] 773*2^1551878-1 is not prime. Res64: 6AA6251E6D6A9A1E Time : 0.0 sec. user=mdettweiler [2019-12-28 20:11:18] 827*2^1551878-1 is not prime. Res64: 374BD3280B18FA91 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:43:50] 843*2^1551878-1 is not prime. Res64: 5256F988EF7BAD95 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:43:51] 887*2^1551878-1 is not prime. Res64: CA3C5A3A12C187C9 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:43:51] 953*2^1551878-1 is not prime. Res64: 76FED1C383BDFD05 Time : 0.0 sec. user=mdettweiler [2019-12-28 20:43:51] 649*2^1551879-1 is not prime. Res64: 3DFF061DF2E7808C Time : 0.0 sec. user=mdettweiler [2019-12-28 20:43:52] 703*2^1551879-1 is not prime. Res64: 08B1A905CDCAE313 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:00:03] 895*2^1551879-1 is not prime. Res64: 6BB20FD8FE00403B Time : 0.0 sec. user=mdettweiler [2019-12-28 21:00:04] 961*2^1551879-1 is not prime. Res64: DE223B3CB2CEBDFB Time : 0.0 sec. user=mdettweiler [2019-12-28 21:00:04] 985*2^1551879-1 is not prime. Res64: C8F2CAC09D99A9DC Time : 0.0 sec. user=mdettweiler [2019-12-28 21:00:04] 605*2^1551880-1 is not prime. Res64: 13186491771F67A0 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:00:05] 785*2^1551880-1 is not prime. Res64: 250EB137F15D3979 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:04:58] 965*2^1551880-1 is not prime. Res64: 17D34CA56851B10E Time : 0.0 sec. user=mdettweiler [2019-12-28 21:05:00] 627*2^1551881-1 is not prime. Res64: F382DA06AB4EAE40 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:05:04] 675*2^1551881-1 is not prime. Res64: C10971F6C53D2952 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:05:07] 741*2^1551881-1 is not prime. Res64: 4025CA67A83BE6E0 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:05:09] 939*2^1551881-1 is not prime. Res64: E93B54202A7FA123 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:38:07] 917*2^1551882-1 is not prime. Res64: 8F2D4AD37486FC9D Time : 0.0 sec. user=mdettweiler [2019-12-28 21:38:08] 923*2^1551882-1 is not prime. Res64: 8E3C45D4870C8F08 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:38:08] 947*2^1551882-1 is not prime. Res64: 7CD40D8840F21C45 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:38:09] 963*2^1551882-1 is not prime. Res64: D868069CD108F5BB Time : 0.0 sec. user=mdettweiler [2019-12-28 21:38:09] 625*2^1551883-1 is not prime. Res64: C99D7A1B436FAE5A Time : 0.0 sec. user=mdettweiler [2019-12-28 21:52:48] 663*2^1551883-1 is not prime. Res64: F426E6ED930342C4 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:52:48] 769*2^1551883-1 is not prime. Res64: 71C95586D6B5EA5C Time : 0.0 sec. user=mdettweiler [2019-12-28 21:52:49] 789*2^1551883-1 is not prime. Res64: 76481DF1297DBF95 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:52:49] 973*2^1551883-1 is not prime. Res64: 4480E3CAB18EF2EC Time : 0.0 sec. user=mdettweiler [2019-12-28 21:52:49] 623*2^1551884-1 is not prime. Res64: 74BFB23FEA081440 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:59:22] 659*2^1551884-1 is not prime. Res64: CFB590A018EB6379 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:59:23] 825*2^1551884-1 is not prime. Res64: 46C8D85EFD5A736D Time : 0.0 sec. user=mdettweiler [2019-12-28 21:59:23] 869*2^1551884-1 is not prime. Res64: 5C8F06DBE5DCEB1F Time : 0.0 sec. user=mdettweiler [2019-12-28 21:59:24] 969*2^1551884-1 is not prime. Res64: B540CA76EBAF6864 Time : 0.0 sec. user=mdettweiler [2019-12-28 21:59:24] 627*2^1551885-1 is not prime. Res64: 3DD21634A0B6E18A Time : 0.0 sec. user=mdettweiler [2019-12-28 22:29:22] 649*2^1551885-1 is not prime. Res64: 0C0EE94F130B9841 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:29:22] 655*2^1551885-1 is not prime. Res64: 4F3FCA27BC06C68E Time : 0.0 sec. user=mdettweiler [2019-12-28 22:29:23] 657*2^1551885-1 is not prime. Res64: C00ECC3DE8CC54B1 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:29:23] 699*2^1551885-1 is not prime. Res64: BF46E9BE6B20926A Time : 0.0 sec. user=mdettweiler [2019-12-28 22:29:23] 847*2^1551885-1 is not prime. Res64: 2296013F0EC097FB Time : 0.0 sec. user=mdettweiler [2019-12-28 22:44:03] 895*2^1551885-1 is not prime. Res64: 786A40119A405529 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:44:04] 635*2^1551886-1 is not prime. Res64: 7769FC4EA3713D6F Time : 0.0 sec. user=mdettweiler [2019-12-28 22:44:04] 663*2^1551886-1 is not prime. Res64: CE30BEB8C166588A Time : 0.0 sec. user=mdettweiler [2019-12-28 22:44:05] 713*2^1551886-1 is not prime. Res64: 25E9B8F97F19A1E2 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:44:05] 773*2^1551886-1 is not prime. Res64: 95ECADF58DFB5E83 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:51:44] 1001*2^1551886-1 is not prime. Res64: 2E22236FAC90578E Time : 0.0 sec. user=mdettweiler [2019-12-28 22:51:45] 669*2^1551887-1 is not prime. Res64: 5E4C99124EB00030 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:51:45] 673*2^1551887-1 is not prime. Res64: 1936B045335B4343 Time : 0.0 sec. user=mdettweiler [2019-12-28 22:51:45] 693*2^1551887-1 is not prime. Res64: 7CF9BF40B74A294C Time : 0.0 sec. user=mdettweiler [2019-12-28 22:51:46] 715*2^1551887-1 is not prime. Res64: AB64176702FEE96A Time : 0.0 sec. user=mdettweiler [2019-12-28 23:21:33] 763*2^1551887-1 is not prime. Res64: C9CFC226DCBF7CB6 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:21:34] 825*2^1551887-1 is not prime. Res64: 5170CF031DEA7916 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:21:34] 859*2^1551887-1 is not prime. Res64: 47561975E0579B1A Time : 0.0 sec. user=mdettweiler [2019-12-28 23:21:35] 865*2^1551887-1 is not prime. Res64: D033F19397C9AD92 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:21:35] 883*2^1551887-1 is not prime. Res64: 7E0070D1FBE790B7 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:37:25] 885*2^1551887-1 is not prime. Res64: CA367AAD142674E5 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:37:25] 889*2^1551887-1 is not prime. Res64: D88FFB5EB58D6EC3 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:37:25] 945*2^1551887-1 is not prime. Res64: 680B080F7BF693E8 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:37:26] 695*2^1551888-1 is not prime. Res64: 0A5797D134C78977 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:37:26] 789*2^1551888-1 is not prime. Res64: 6DF6FBCD11878B68 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:46:09] 825*2^1551888-1 is not prime. Res64: 34B4F977394857CF Time : 0.0 sec. user=mdettweiler [2019-12-28 23:46:09] 839*2^1551888-1 is not prime. Res64: 003097D39ED9D047 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:46:10] 959*2^1551888-1 is not prime. Res64: 67D965934A9B84AA Time : 0.0 sec. user=mdettweiler [2019-12-28 23:46:10] 999*2^1551888-1 is not prime. Res64: D52E2E24114B3675 Time : 0.0 sec. user=mdettweiler [2019-12-28 23:46:10] 601*2^1551889-1 is not prime. Res64: 6D9B2949D0FFF456 Time : 0.0 sec.