user=mdettweiler [2016-12-11 00:16:35] 707*2^1448268-1 is not prime. Res64: B5FACA6CE95C3FA6 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:16:36] 753*2^1448268-1 is not prime. Res64: 154A9C5051F73A6A Time : 0.0 sec. user=mdettweiler [2016-12-11 00:16:36] 777*2^1448268-1 is not prime. Res64: DE21A6A12C7FCA4F Time : 0.0 sec. user=mdettweiler [2016-12-11 00:16:37] 927*2^1448268-1 is not prime. Res64: 63947CF8D94B974C Time : 0.0 sec. user=mdettweiler [2016-12-11 00:16:37] 933*2^1448268-1 is not prime. Res64: E5EADD06AB8426F8 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:24:15] 945*2^1448268-1 is not prime. Res64: 39538243D2C97C0E Time : 0.0 sec. user=mdettweiler [2016-12-11 00:24:15] 639*2^1448269-1 is not prime. Res64: 4F6463DBD3469A37 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:24:16] 757*2^1448269-1 is not prime. Res64: 0869230969D2CB28 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:24:16] 769*2^1448269-1 is not prime. Res64: B035CA302DB81FE3 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:24:17] 801*2^1448269-1 is not prime. Res64: DC49C78260D90FF2 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:43:15] 675*2^1448270-1 is not prime. Res64: 47B0BF9C874C8408 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:43:15] 887*2^1448270-1 is not prime. Res64: FD2D8FB0FEBFB9FF Time : 0.0 sec. user=mdettweiler [2016-12-11 00:43:16] 953*2^1448270-1 is not prime. Res64: F24800BB8B54CD02 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:43:16] 745*2^1448271-1 is not prime. Res64: 7ED5F8092DCBBBA6 Time : 0.0 sec. user=mdettweiler [2016-12-11 00:43:17] 763*2^1448271-1 is not prime. Res64: 6B64CBC420233F4D Time : 0.0 sec. user=mdettweiler [2016-12-11 01:01:11] 795*2^1448271-1 is not prime. Res64: F08EE5ECEA2AC784 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:01:12] 849*2^1448271-1 is not prime. Res64: C81314C6F7802CA3 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:01:13] 961*2^1448271-1 is not prime. Res64: 79D54DFE5DCC08C7 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:01:15] 615*2^1448272-1 is not prime. Res64: 95D183B7D134D92A Time : 0.0 sec. user=mdettweiler [2016-12-11 01:01:17] 713*2^1448272-1 is not prime. Res64: 44586DB146AB01B7 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:08:45] 843*2^1448272-1 is not prime. Res64: 39BEAC11C701B2E3 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:08:46] 903*2^1448272-1 is not prime. Res64: 17F56CE336E04DE2 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:08:47] 923*2^1448272-1 is not prime. Res64: 163308F01E68CB90 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:08:48] 995*2^1448272-1 is not prime. Res64: F011FA59FC39E92A Time : 0.0 sec. user=mdettweiler [2016-12-11 01:08:49] 649*2^1448273-1 is not prime. Res64: C4BC7FB63CFD49F3 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:27:48] 697*2^1448273-1 is not prime. Res64: A8A6C66D90EAE66C Time : 0.0 sec. user=mdettweiler [2016-12-11 01:27:52] 741*2^1448273-1 is not prime. Res64: BD58F2DA7F3906F1 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:27:54] 789*2^1448273-1 is not prime. Res64: 4073A488A5E9446B Time : 0.0 sec. user=mdettweiler [2016-12-11 01:27:55] 671*2^1448274-1 is not prime. Res64: 0FAEECA00FCDD196 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:27:57] 677*2^1448274-1 is not prime. Res64: 28356D4AC533C328 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:45:49] 807*2^1448274-1 is not prime. Res64: AF86A5A491985082 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:45:49] 833*2^1448274-1 is not prime. Res64: D1B8FFC9B5411F3B Time : 0.0 sec. user=mdettweiler [2016-12-11 01:45:49] 861*2^1448274-1 is not prime. Res64: 05C8C88D9D6A5D0F Time : 0.0 sec. user=mdettweiler [2016-12-11 01:45:50] 891*2^1448274-1 is not prime. Res64: 372CABA5E8876711 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:45:50] 903*2^1448274-1 is not prime. Res64: 7AF37E6DF6B528C4 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:53:17] 917*2^1448274-1 is not prime. Res64: 14A65FDFD941D195 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:53:18] 927*2^1448274-1 is not prime. Res64: 3161FB12AD5A97A1 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:53:18] 951*2^1448274-1 is not prime. Res64: 9256AAC446C1A263 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:53:18] 971*2^1448274-1 is not prime. Res64: 1E55D4B3C237ACF8 Time : 0.0 sec. user=mdettweiler [2016-12-11 01:53:19] 603*2^1448275-1 is not prime. Res64: CE8A1EC8D4FF4938 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:12:31] 691*2^1448275-1 is not prime. Res64: C460EEDAFBC3689F Time : 0.0 sec. user=mdettweiler [2016-12-11 02:12:32] 889*2^1448275-1 is not prime. Res64: C2378541EC97E0E0 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:12:33] 603*2^1448276-1 is not prime. Res64: FDA5CD30F5D5A6DA Time : 0.0 sec. user=mdettweiler [2016-12-11 02:12:33] 749*2^1448276-1 is not prime. Res64: 41FE243DC8A2E093 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:12:34] 789*2^1448276-1 is not prime. Res64: 5A173B1A6DB546AE Time : 0.0 sec. user=mdettweiler [2016-12-11 02:30:18] 845*2^1448276-1 is not prime. Res64: 684E65A99D1548D9 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:30:22] 963*2^1448276-1 is not prime. Res64: 52BC32C6141B9C94 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:30:24] 615*2^1448277-1 is not prime. Res64: 7522BC376769D2F7 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:30:26] 651*2^1448277-1 is not prime. Res64: 07FC463749057E9E Time : 0.0 sec. user=mdettweiler [2016-12-11 02:30:27] 661*2^1448277-1 is not prime. Res64: F5F59BFECA8377C9 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:37:46] 769*2^1448277-1 is not prime. Res64: 80140DD122B644D0 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:37:47] 867*2^1448277-1 is not prime. Res64: 46DB62E57D95CCC7 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:37:48] 891*2^1448277-1 is not prime. Res64: B48B35032C609555 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:37:48] 617*2^1448278-1 is not prime. Res64: 75458CF48C350AEF Time : 0.0 sec. user=mdettweiler [2016-12-11 02:37:48] 621*2^1448278-1 is not prime. Res64: 7B5A85F874E6FB70 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:56:59] 671*2^1448278-1 is not prime. Res64: AA2B87E585FF1CA0 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:57:00] 765*2^1448278-1 is not prime. Res64: AD362406BA3CDB1A Time : 0.0 sec. user=mdettweiler [2016-12-11 02:57:00] 773*2^1448278-1 is not prime. Res64: 5C3C5A330DA5E2B1 Time : 0.0 sec. user=mdettweiler [2016-12-11 02:57:01] 791*2^1448278-1 is not prime. Res64: B2083A9C53FB9A0A Time : 0.0 sec. user=mdettweiler [2016-12-11 02:57:01] 615*2^1448279-1 is not prime. Res64: 9A98FDDADB667608 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:15:09] 619*2^1448279-1 is not prime. Res64: DC12135D7CEE7618 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:15:10] 661*2^1448279-1 is not prime. Res64: 0535A1A899DE8372 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:15:10] 669*2^1448279-1 is not prime. Res64: B05650361060DB02 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:15:11] 693*2^1448279-1 is not prime. Res64: 344E192127C928B0 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:15:11] 729*2^1448279-1 is not prime. Res64: 5856E3BD6784BAA6 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:22:15] 753*2^1448279-1 is not prime. Res64: 9D48F7BA0283C758 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:22:16] 775*2^1448279-1 is not prime. Res64: 6260EB76DAEC516E Time : 0.0 sec. user=mdettweiler [2016-12-11 03:22:16] 831*2^1448279-1 is not prime. Res64: 3F48F88124C537B6 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:22:16] 913*2^1448279-1 is not prime. Res64: BB720FC6B68B7076 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:22:17] 955*2^1448279-1 is not prime. Res64: 04265234D8137015 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:41:26] 979*2^1448279-1 is not prime. Res64: F490F08E18BA4599 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:41:27] 991*2^1448279-1 is not prime. Res64: 717B87FB43B35E30 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:41:28] 713*2^1448280-1 is not prime. Res64: F076633C63D084B5 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:41:29] 747*2^1448280-1 is not prime. Res64: DF52203A357CD8A9 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:41:30] 767*2^1448280-1 is not prime. Res64: FA58AF7347C71BCB Time : 0.0 sec. user=mdettweiler [2016-12-11 03:59:38] 857*2^1448280-1 is not prime. Res64: 3A44E10C9703FEB5 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:59:39] 905*2^1448280-1 is not prime. Res64: 8230A2F30577E081 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:59:40] 923*2^1448280-1 is not prime. Res64: 29D8A4347621E156 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:59:44] 717*2^1448281-1 is not prime. Res64: C93E52F693A00029 Time : 0.0 sec. user=mdettweiler [2016-12-11 03:59:46] 745*2^1448281-1 is not prime. Res64: D8A35A57D2E038E4 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:06:39] 799*2^1448281-1 is not prime. Res64: 50A6C61F696AE41F Time : 0.0 sec. user=mdettweiler [2016-12-11 04:06:45] 861*2^1448281-1 is not prime. Res64: CE2550E99358F6BE Time : 0.0 sec. user=mdettweiler [2016-12-11 04:06:49] 877*2^1448281-1 is not prime. Res64: 1A9DF2CAC135B9BE Time : 0.0 sec. user=mdettweiler [2016-12-11 04:06:52] 889*2^1448281-1 is not prime. Res64: 476D1C52E6A54794 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:06:58] 999*2^1448281-1 is not prime. Res64: 44C543E0FD8428BF Time : 0.0 sec. user=mdettweiler [2016-12-11 04:26:00] 743*2^1448282-1 is not prime. Res64: 9D07D67FC9FB6DF6 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:26:00] 753*2^1448282-1 is not prime. Res64: CB6CE9D829D9A356 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:26:01] 771*2^1448282-1 is not prime. Res64: 25920EACB1EE1CCC Time : 0.0 sec. user=mdettweiler [2016-12-11 04:26:01] 837*2^1448282-1 is not prime. Res64: 1DC760F6C5541FF9 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:26:01] 945*2^1448282-1 is not prime. Res64: 9A128ACA77CE4903 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:44:17] 983*2^1448282-1 is not prime. Res64: BB81C96CBB68AC39 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:44:18] 615*2^1448283-1 is not prime. Res64: C02F7480B00D7268 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:44:18] 769*2^1448283-1 is not prime. Res64: 4BCDB5EC6A4D7E2D Time : 0.0 sec. user=mdettweiler [2016-12-11 04:44:18] 849*2^1448283-1 is not prime. Res64: B55E8885FD51FC6C Time : 0.0 sec. user=mdettweiler [2016-12-11 04:44:19] 901*2^1448283-1 is not prime. Res64: DCC6446307F0BE1D Time : 0.0 sec. user=mdettweiler [2016-12-11 04:51:37] 921*2^1448283-1 is not prime. Res64: DA7A4B20B28066BE Time : 0.0 sec. user=mdettweiler [2016-12-11 04:51:37] 707*2^1448284-1 is not prime. Res64: CC5057D6E81C5692 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:51:38] 743*2^1448284-1 is not prime. Res64: 304D94A65EAF930F Time : 0.0 sec. user=mdettweiler [2016-12-11 04:51:38] 749*2^1448284-1 is not prime. Res64: 0A2F29F77E6EAB26 Time : 0.0 sec. user=mdettweiler [2016-12-11 04:51:38] 759*2^1448284-1 is not prime. Res64: CB6B4BA9F726D7D1 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:10:25] 863*2^1448284-1 is not prime. Res64: 537BC624A29D4444 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:10:26] 923*2^1448284-1 is not prime. Res64: 4DFCCC50F76AC703 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:10:26] 657*2^1448285-1 is not prime. Res64: CD1C35343D0D4341 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:10:27] 699*2^1448285-1 is not prime. Res64: 86BFE1782ECB692D Time : 0.0 sec. user=mdettweiler [2016-12-11 05:10:27] 787*2^1448285-1 is not prime. Res64: 7B56D2C5C0113DE5 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:28:39] 825*2^1448285-1 is not prime. Res64: 1C69E7DD386C5718 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:28:39] 837*2^1448285-1 is not prime. Res64: 218139A082F3FFDA Time : 0.0 sec. user=mdettweiler [2016-12-11 05:28:39] 683*2^1448286-1 is not prime. Res64: 89A162D1136DC6D0 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:28:40] 873*2^1448286-1 is not prime. Res64: C92E5AA03632B321 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:28:40] 963*2^1448286-1 is not prime. Res64: 4A388B7BA999D709 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:36:01] 1001*2^1448286-1 is not prime. Res64: 9E1C91A1F2AD7849 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:36:01] 603*2^1448287-1 is not prime. Res64: FEB6ABD4B74726A9 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:36:01] 715*2^1448287-1 is not prime. Res64: BCA5C1D1431C9EEB Time : 0.0 sec. user=mdettweiler [2016-12-11 05:36:02] 729*2^1448287-1 is not prime. Res64: EC821564A23841C5 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:36:02] 805*2^1448287-1 is not prime. Res64: E3A5AF6354B3B2A1 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:54:48] 861*2^1448287-1 is not prime. Res64: A6B3B5AE419D64C2 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:54:48] 871*2^1448287-1 is not prime. Res64: 229C3AB4177801FB Time : 0.0 sec. user=mdettweiler [2016-12-11 05:54:49] 713*2^1448288-1 is not prime. Res64: B608A8225AD690D0 Time : 0.0 sec. user=mdettweiler [2016-12-11 05:54:49] 767*2^1448288-1 is not prime. Res64: 7D17F088EF99451D Time : 0.0 sec. user=mdettweiler [2016-12-11 05:54:49] 879*2^1448288-1 is not prime. Res64: 6FB3913DE2C1951E Time : 0.0 sec. user=mdettweiler [2016-12-11 06:12:58] 897*2^1448288-1 is not prime. Res64: 45BDAFABA3784AE9 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:12:59] 909*2^1448288-1 is not prime. Res64: D961D8D73BB316C4 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:12:59] 679*2^1448289-1 is not prime. Res64: 35CC62D0CCCB9965 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:12:59] 781*2^1448289-1 is not prime. Res64: 8E388F2449C75823 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:13:00] 895*2^1448289-1 is not prime. Res64: 242FA08E33DC9B02 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:20:21] 921*2^1448289-1 is not prime. Res64: 66EFF13606FAF9C6 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:20:21] 955*2^1448289-1 is not prime. Res64: 8F1F5371F66D4B4E Time : 0.0 sec. user=mdettweiler [2016-12-11 06:20:22] 979*2^1448289-1 is not prime. Res64: 37F972DE8FF61FD9 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:20:22] 991*2^1448289-1 is not prime. Res64: 58D5BF1583144D10 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:20:22] 681*2^1448290-1 is not prime. Res64: AF395BFAC411D26D Time : 0.0 sec. user=mdettweiler [2016-12-11 06:39:11] 747*2^1448290-1 is not prime. Res64: D4CAA1702DBE5813 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:39:12] 831*2^1448290-1 is not prime. Res64: 5B3E07A3B82ECE19 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:39:12] 833*2^1448290-1 is not prime. Res64: 0B144311EE42FDE9 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:39:12] 857*2^1448290-1 is not prime. Res64: 93FD2F7659F99CD1 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:39:13] 867*2^1448290-1 is not prime. Res64: 7321D0E1CD430317 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:57:19] 945*2^1448290-1 is not prime. Res64: ED6DC1F3D763564F Time : 0.0 sec. user=mdettweiler [2016-12-11 06:57:19] 663*2^1448291-1 is not prime. Res64: 66FB9BECCD9BFB86 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:57:20] 669*2^1448291-1 is not prime. Res64: 2510A4050F63ED48 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:57:20] 711*2^1448291-1 is not prime. Res64: BEAE131477D43AE5 Time : 0.0 sec. user=mdettweiler [2016-12-11 06:57:21] 733*2^1448291-1 is not prime. Res64: 35C76BE145C5ED45 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:04:44] 801*2^1448291-1 is not prime. Res64: C951D1B5C5C8EB48 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:04:46] 605*2^1448292-1 is not prime. Res64: 2FCE08941EBA7953 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:04:47] 695*2^1448292-1 is not prime. Res64: 9894BADF679DFD54 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:04:48] 779*2^1448292-1 is not prime. Res64: 2663A8DA47933206 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:04:49] 825*2^1448292-1 is not prime. Res64: 15406270A08CA13E Time : 0.0 sec. user=mdettweiler [2016-12-11 07:23:36] 607*2^1448293-1 is not prime. Res64: 868AB11C1F7AA28A Time : 0.0 sec. user=mdettweiler [2016-12-11 07:23:37] 639*2^1448293-1 is not prime. Res64: E3A25F4745E8C38E Time : 0.0 sec. user=mdettweiler [2016-12-11 07:23:37] 675*2^1448293-1 is not prime. Res64: 9C68230E57B16353 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:23:37] 789*2^1448293-1 is not prime. Res64: 73CE596EB80FEBA5 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:23:38] 867*2^1448293-1 is not prime. Res64: B74457ECB1E65809 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:41:46] 961*2^1448293-1 is not prime. Res64: 68034A78B029C72B Time : 0.0 sec. user=mdettweiler [2016-12-11 07:41:46] 641*2^1448294-1 is not prime. Res64: BEF9274027B18BB4 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:41:47] 657*2^1448294-1 is not prime. Res64: D12B1F1EA965E500 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:41:47] 755*2^1448294-1 is not prime. Res64: A9B8AF1FAE83AFFA Time : 0.0 sec. user=mdettweiler [2016-12-11 07:41:47] 813*2^1448294-1 is not prime. Res64: 0789F6CF53ED4CE1 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:49:19] 827*2^1448294-1 is not prime. Res64: 4AE3084F26DD9CE6 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:49:20] 917*2^1448294-1 is not prime. Res64: 6F547D1FE2C2FF74 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:49:20] 921*2^1448294-1 is not prime. Res64: 36BDA48A687CEBF0 Time : 0.0 sec. user=mdettweiler [2016-12-11 07:49:21] 679*2^1448295-1 is not prime. Res64: 45B99E9B8C634CCC Time : 0.0 sec. user=mdettweiler [2016-12-11 07:49:21] 751*2^1448295-1 is not prime. Res64: E3DA79AB181FA01D Time : 0.0 sec. user=mdettweiler [2016-12-11 08:08:00] 859*2^1448295-1 is not prime. Res64: EB30097454C7760C Time : 0.0 sec. user=mdettweiler [2016-12-11 08:08:02] 861*2^1448295-1 is not prime. Res64: E06BAA9C98052D30 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:08:04] 943*2^1448295-1 is not prime. Res64: 0CBF19300F3C28DE Time : 0.0 sec. user=mdettweiler [2016-12-11 08:08:05] 963*2^1448295-1 is not prime. Res64: D00154FDF1B77914 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:08:07] 969*2^1448295-1 is not prime. Res64: 7BF35957DA4F66ED Time : 0.0 sec. user=mdettweiler [2016-12-11 08:26:11] 645*2^1448296-1 is not prime. Res64: B87EB27CA2A02609 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:26:11] 675*2^1448296-1 is not prime. Res64: 316CA1F13EFC92B0 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:26:12] 689*2^1448296-1 is not prime. Res64: 5C878E70C40453B2 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:26:12] 765*2^1448296-1 is not prime. Res64: CC52327C1C2DBEED Time : 0.0 sec. user=mdettweiler [2016-12-11 08:26:12] 777*2^1448296-1 is not prime. Res64: 834DBE4EC3B43130 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:33:41] 779*2^1448296-1 is not prime. Res64: 9509D40261563379 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:33:42] 875*2^1448296-1 is not prime. Res64: 1AB43A5144AFBACE Time : 0.0 sec. user=mdettweiler [2016-12-11 08:33:42] 917*2^1448296-1 is not prime. Res64: 1BCA136C22A46491 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:33:42] 619*2^1448297-1 is not prime. Res64: D84A69926DEA4495 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:33:43] 685*2^1448297-1 is not prime. Res64: 009BA60D85216EC4 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:52:45] 901*2^1448297-1 is not prime. Res64: BCC7DA8A3A78DCF1 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:52:45] 939*2^1448297-1 is not prime. Res64: 35848443C3D88625 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:52:46] 945*2^1448297-1 is not prime. Res64: 6DF6CF506D7697A3 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:52:46] 633*2^1448298-1 is not prime. Res64: 3767992057B23226 Time : 0.0 sec. user=mdettweiler [2016-12-11 08:52:46] 803*2^1448298-1 is not prime. Res64: C62C99965AA582FC Time : 0.0 sec. user=mdettweiler [2016-12-11 09:10:37] 941*2^1448298-1 is not prime. Res64: FF45AC4BCFFF14FC Time : 0.0 sec. user=mdettweiler [2016-12-11 09:10:40] 963*2^1448298-1 is not prime. Res64: 2A370C945193CB56 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:10:41] 601*2^1448299-1 is not prime. Res64: 3128E2BB85ED4516 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:10:45] 631*2^1448299-1 is not prime. Res64: D63282728CF8299C Time : 0.0 sec. user=mdettweiler [2016-12-11 09:10:47] 633*2^1448299-1 is not prime. Res64: 444C58BABBBF1EE0 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:18:07] 649*2^1448299-1 is not prime. Res64: A99CF3D1C0D8D017 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:18:07] 801*2^1448299-1 is not prime. Res64: 8867C6671AEC35C7 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:18:08] 835*2^1448299-1 is not prime. Res64: 937574483EEB6F4F Time : 0.0 sec. user=mdettweiler [2016-12-11 09:18:08] 985*2^1448299-1 is not prime. Res64: AAABC5A836C626B3 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:18:08] 759*2^1448300-1 is not prime. Res64: 0A0CC8B75380D6F4 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:37:10] 845*2^1448300-1 is not prime. Res64: ED4FE39D7F06C21F Time : 0.0 sec. user=mdettweiler [2016-12-11 09:37:10] 923*2^1448300-1 is not prime. Res64: C7864DFF27E9A4E2 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:37:11] 927*2^1448300-1 is not prime. Res64: FCC118F03BDCE3CA Time : 0.0 sec. user=mdettweiler [2016-12-11 09:37:11] 935*2^1448300-1 is not prime. Res64: E6F5C72FFF440C90 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:37:12] 957*2^1448300-1 is not prime. Res64: 19EDFDD1D3B1CDEB Time : 0.0 sec. user=mdettweiler [2016-12-11 09:55:20] 983*2^1448300-1 is not prime. Res64: 504C56A16D94528F Time : 0.0 sec. user=mdettweiler [2016-12-11 09:55:21] 607*2^1448301-1 is not prime. Res64: 06944B05703A4872 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:55:21] 621*2^1448301-1 is not prime. Res64: E29E09B404B61054 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:55:22] 661*2^1448301-1 is not prime. Res64: 5D82C3221414D4D3 Time : 0.0 sec. user=mdettweiler [2016-12-11 09:55:22] 751*2^1448301-1 is not prime. Res64: 49FC22685E6EDBBC Time : 0.0 sec. user=mdettweiler [2016-12-11 10:02:31] 861*2^1448301-1 is not prime. Res64: 5118833DFF9ED78B Time : 0.0 sec. user=mdettweiler [2016-12-11 10:02:33] 979*2^1448301-1 is not prime. Res64: C8FC2A5F83216BC2 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:02:34] 603*2^1448302-1 is not prime. Res64: D3601B554771B90A Time : 0.0 sec. user=mdettweiler [2016-12-11 10:02:36] 651*2^1448302-1 is not prime. Res64: 8CABEA8B441B3F36 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:02:37] 731*2^1448302-1 is not prime. Res64: E43FBC60253BDA20 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:21:35] 791*2^1448302-1 is not prime. Res64: 9159A69AF0EBFB10 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:21:36] 827*2^1448302-1 is not prime. Res64: 6822026E062D8746 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:21:36] 619*2^1448303-1 is not prime. Res64: C28F03ADFF0CEE16 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:21:37] 621*2^1448303-1 is not prime. Res64: 38B3F192F284F820 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:21:37] 663*2^1448303-1 is not prime. Res64: 42371168F44D5D2F Time : 0.0 sec. user=mdettweiler [2016-12-11 10:39:48] 693*2^1448303-1 is not prime. Res64: 62FDB984ED8BCDF9 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:39:49] 721*2^1448303-1 is not prime. Res64: 71308309D28BE706 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:39:49] 831*2^1448303-1 is not prime. Res64: B2D1791134C3C2D3 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:39:49] 663*2^1448304-1 is not prime. Res64: 818C09568DB362DC Time : 0.0 sec. user=mdettweiler [2016-12-11 10:39:50] 719*2^1448304-1 is not prime. Res64: 6876810E50E78803 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:47:06] 753*2^1448304-1 is not prime. Res64: DF2557FDD3B90CF5 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:47:06] 893*2^1448304-1 is not prime. Res64: DF1A773ABC38C66E Time : 0.0 sec. user=mdettweiler [2016-12-11 10:47:07] 899*2^1448304-1 is not prime. Res64: 3D33B87CAD9B5476 Time : 0.0 sec. user=mdettweiler [2016-12-11 10:47:07] 915*2^1448304-1 is not prime. Res64: 0E0383099FA1AC8F Time : 0.0 sec. user=mdettweiler [2016-12-11 10:47:07] 759*2^1448305-1 is not prime. Res64: A4AF7B432FC29817 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:06:05] 847*2^1448305-1 is not prime. Res64: 614B9B349261652A Time : 0.0 sec. user=mdettweiler [2016-12-11 11:06:06] 861*2^1448305-1 is not prime. Res64: 7A5CE0F2F89F64DB Time : 0.0 sec. user=mdettweiler [2016-12-11 11:06:07] 897*2^1448305-1 is not prime. Res64: B688CA215C7DBE10 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:06:09] 979*2^1448305-1 is not prime. Res64: 095EB154682447E5 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:06:10] 997*2^1448305-1 is not prime. Res64: 351F71CD1DB956F0 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:24:16] 999*2^1448305-1 is not prime. Res64: DC19AA521ED2ED24 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:24:16] 635*2^1448306-1 is not prime. Res64: DB114A23DBD0EA56 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:24:17] 671*2^1448306-1 is not prime. Res64: 4D5CA587C6BEEAA9 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:24:17] 801*2^1448306-1 is not prime. Res64: 7891A056AEA62D6E Time : 0.0 sec. user=mdettweiler [2016-12-11 11:24:18] 923*2^1448306-1 is not prime. Res64: 57B0A506C14B7357 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:31:36] 651*2^1448307-1 is not prime. Res64: FD2D5EEEF61DC079 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:31:37] 781*2^1448307-1 is not prime. Res64: 7C9C3292ADEEB75E Time : 0.0 sec. user=mdettweiler [2016-12-11 11:31:37] 805*2^1448307-1 is not prime. Res64: 6C313CDC22420BA3 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:31:37] 903*2^1448307-1 is not prime. Res64: D15CF9E3C49AF426 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:31:38] 951*2^1448307-1 is not prime. Res64: 04B5867D64DA6FFD Time : 0.0 sec. user=mdettweiler [2016-12-11 11:50:35] 991*2^1448307-1 is not prime. Res64: 1E2AE582B6307F70 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:50:36] 735*2^1448308-1 is not prime. Res64: A5A2BB0EEE93346D Time : 0.0 sec. user=mdettweiler [2016-12-11 11:50:36] 839*2^1448308-1 is not prime. Res64: 15A6538CD3640484 Time : 0.0 sec. user=mdettweiler [2016-12-11 11:50:37] 899*2^1448308-1 is not prime. Res64: 84D3C7F2AAA500DE Time : 0.0 sec. user=mdettweiler [2016-12-11 11:50:38] 969*2^1448308-1 is not prime. Res64: FC62835C19DF9B2F Time : 0.0 sec. user=mdettweiler [2016-12-11 12:08:40] 975*2^1448308-1 is not prime. Res64: A9690A3FCF71526E Time : 0.0 sec. user=mdettweiler [2016-12-11 12:08:42] 999*2^1448308-1 is not prime. Res64: 569ED1F459AFB00B Time : 0.0 sec. user=mdettweiler [2016-12-11 12:08:42] 621*2^1448309-1 is not prime. Res64: C214B7240A008699 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:08:43] 691*2^1448309-1 is not prime. Res64: 3F45071DF1C16F6E Time : 0.0 sec. user=mdettweiler [2016-12-11 12:08:44] 771*2^1448309-1 is not prime. Res64: FC8F93B7895CC8CB Time : 0.0 sec. user=mdettweiler [2016-12-11 12:16:00] 775*2^1448309-1 is not prime. Res64: E305C155C605C6CD Time : 0.0 sec. user=mdettweiler [2016-12-11 12:16:00] 799*2^1448309-1 is not prime. Res64: 10F940F27E5B4521 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:16:01] 647*2^1448310-1 is not prime. Res64: C5247C6D68380910 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:16:01] 773*2^1448310-1 is not prime. Res64: FD5D7EFD93245241 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:16:02] 861*2^1448310-1 is not prime. Res64: A3090D281D180825 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:35:02] 917*2^1448310-1 is not prime. Res64: F7145F565FE34276 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:35:03] 927*2^1448310-1 is not prime. Res64: 125F7AC413FD043C Time : 0.0 sec. user=mdettweiler [2016-12-11 12:35:04] 679*2^1448311-1 is not prime. Res64: ADC7546FC72470E3 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:35:04] 693*2^1448311-1 is not prime. Res64: 197791EB7EBC46BA Time : 0.0 sec. user=mdettweiler [2016-12-11 12:35:05] 819*2^1448311-1 is not prime. Res64: 3DB868169826819D Time : 0.0 sec. user=mdettweiler [2016-12-11 12:53:10] 871*2^1448311-1 is not prime. Res64: FCE6401E8ADFB10F Time : 0.0 sec. user=mdettweiler [2016-12-11 12:53:11] 939*2^1448311-1 is not prime. Res64: B4B2B22641550857 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:53:11] 993*2^1448311-1 is not prime. Res64: 20C233F23FDC7C86 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:53:11] 609*2^1448312-1 is not prime. Res64: 453116CE319C0765 Time : 0.0 sec. user=mdettweiler [2016-12-11 12:53:12] 755*2^1448312-1 is not prime. Res64: DEF8110A92EC9585 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:00:25] 797*2^1448312-1 is not prime. Res64: B028FEF14B555A07 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:00:26] 875*2^1448312-1 is not prime. Res64: 420267504420DFE1 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:00:27] 929*2^1448312-1 is not prime. Res64: 31F32651DAD1CEF5 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:00:29] 759*2^1448313-1 is not prime. Res64: 9963F8963C2E8C9D Time : 0.0 sec. user=mdettweiler [2016-12-11 13:00:30] 765*2^1448313-1 is not prime. Res64: CF3FF573CFE3FA42 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:19:27] 817*2^1448313-1 is not prime. Res64: 842F6C0B9DDC4BCA Time : 0.0 sec. user=mdettweiler [2016-12-11 13:19:28] 829*2^1448313-1 is not prime. Res64: 3DCFB5864383C02F Time : 0.0 sec. user=mdettweiler [2016-12-11 13:19:28] 895*2^1448313-1 is not prime. Res64: B9E7AA6685C978CC Time : 0.0 sec. user=mdettweiler [2016-12-11 13:19:28] 987*2^1448313-1 is not prime. Res64: 583CABE040AD3701 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:19:29] 675*2^1448314-1 is not prime. Res64: 58F11CED48D1AE44 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:37:40] 731*2^1448314-1 is not prime. Res64: 5F24D574932A39F3 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:37:40] 815*2^1448314-1 is not prime. Res64: DAD658FF4B88158F Time : 0.0 sec. user=mdettweiler [2016-12-11 13:37:40] 915*2^1448314-1 is not prime. Res64: 1EEA4B7DCC9AE0BC Time : 0.0 sec. user=mdettweiler [2016-12-11 13:37:41] 987*2^1448314-1 is not prime. Res64: 2C37B934EA779F02 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:37:41] 825*2^1448315-1 is not prime. Res64: CC9D1A64024D55EA Time : 0.0 sec. user=mdettweiler [2016-12-11 13:45:01] 915*2^1448315-1 is not prime. Res64: CB458EB95B76C8F7 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:45:02] 949*2^1448315-1 is not prime. Res64: 27179F720E7596EE Time : 0.0 sec. user=mdettweiler [2016-12-11 13:45:02] 979*2^1448315-1 is not prime. Res64: A7F9C3DF72549914 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:45:03] 991*2^1448315-1 is not prime. Res64: A4E4F061ABDEF654 Time : 0.0 sec. user=mdettweiler [2016-12-11 13:45:03] 749*2^1448316-1 is not prime. Res64: 896554C35207F94E Time : 0.0 sec. user=mdettweiler [2016-12-11 14:03:53] 903*2^1448316-1 is not prime. Res64: A902E1EA231FD592 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:03:55] 969*2^1448316-1 is not prime. Res64: A02B17A93A934645 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:03:56] 607*2^1448317-1 is not prime. Res64: 82BF7A5B7D4EF1E0 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:03:56] 645*2^1448317-1 is not prime. Res64: 2FFD298E9AF6A15B Time : 0.0 sec. user=mdettweiler [2016-12-11 14:03:57] 825*2^1448317-1 is not prime. Res64: 96CDF2390D6739C1 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:22:03] 861*2^1448317-1 is not prime. Res64: 1A6875D4A7823653 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:22:04] 867*2^1448317-1 is not prime. Res64: 662DA70E97645622 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:22:04] 915*2^1448317-1 is not prime. Res64: 229083A965C3BE6E Time : 0.0 sec. user=mdettweiler [2016-12-11 14:22:05] 939*2^1448317-1 is not prime. Res64: 3581165FFCF9913E Time : 0.0 sec. user=mdettweiler [2016-12-11 14:22:05] 961*2^1448317-1 is not prime. Res64: 82C4295300F745BD Time : 0.0 sec. user=mdettweiler [2016-12-11 14:29:23] 985*2^1448317-1 is not prime. Res64: C3F00DD2F567711F Time : 0.0 sec. user=mdettweiler [2016-12-11 14:29:23] 641*2^1448318-1 is not prime. Res64: 7FFC830DE407A2E5 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:29:24] 755*2^1448318-1 is not prime. Res64: 2A27E585E0351378 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:29:24] 795*2^1448318-1 is not prime. Res64: ED6B5E44C3E65D6F Time : 0.0 sec. user=mdettweiler [2016-12-11 14:29:24] 825*2^1448318-1 is not prime. Res64: 85927B1CABB45B5F Time : 0.0 sec. user=mdettweiler [2016-12-11 14:48:27] 867*2^1448318-1 is not prime. Res64: DEDC496547BB921C Time : 0.0 sec. user=mdettweiler [2016-12-11 14:48:27] 915*2^1448318-1 is not prime. Res64: D24BC12A7D7F1871 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:48:28] 971*2^1448318-1 is not prime. Res64: 6FB48F812CA61275 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:48:28] 609*2^1448319-1 is not prime. Res64: 79D3702A80B20771 Time : 0.0 sec. user=mdettweiler [2016-12-11 14:48:28] 669*2^1448319-1 is not prime. Res64: F2F5B142DADCDD37 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:06:26] 745*2^1448319-1 is not prime. Res64: 7C8BC0F791B06447 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:06:28] 873*2^1448319-1 is not prime. Res64: 93E8CF6E027B4D23 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:06:30] 629*2^1448320-1 is not prime. Res64: 28199D490986DC7C Time : 0.0 sec. user=mdettweiler [2016-12-11 15:06:31] 693*2^1448320-1 is not prime. Res64: 94C209DD7E4F4EA7 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:06:32] 833*2^1448320-1 is not prime. Res64: B850DCCD27114EA1 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:13:44] 863*2^1448320-1 is not prime. Res64: 92EE9560B2D01F4E Time : 0.0 sec. user=mdettweiler [2016-12-11 15:13:44] 875*2^1448320-1 is not prime. Res64: EE51C0C1FFBEDD13 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:13:44] 933*2^1448320-1 is not prime. Res64: B48C84F5AD1A4CE6 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:13:45] 989*2^1448320-1 is not prime. Res64: 1B351A7BC89512A0 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:13:45] 705*2^1448321-1 is not prime. Res64: 5BDCD97432A7961D Time : 0.0 sec. user=mdettweiler [2016-12-11 15:33:02] 717*2^1448321-1 is not prime. Res64: E48976C8FAA2B16E Time : 0.0 sec. user=mdettweiler [2016-12-11 15:33:02] 735*2^1448321-1 is not prime. Res64: 12F61C072970E18D Time : 0.0 sec. user=mdettweiler [2016-12-11 15:33:03] 769*2^1448321-1 is not prime. Res64: F4AC3D76E226898B Time : 0.0 sec. user=mdettweiler [2016-12-11 15:33:03] 777*2^1448321-1 is not prime. Res64: 652D327146C5E68D Time : 0.0 sec. user=mdettweiler [2016-12-11 15:33:03] 889*2^1448321-1 is not prime. Res64: 63F77F195CBE529F Time : 0.0 sec. user=mdettweiler [2016-12-11 15:51:12] 611*2^1448322-1 is not prime. Res64: 9EC177697B1FA7E7 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:51:12] 647*2^1448322-1 is not prime. Res64: 86FFAF95F829C673 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:51:12] 735*2^1448322-1 is not prime. Res64: 36ACB62A2B74F3F6 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:51:13] 747*2^1448322-1 is not prime. Res64: CBEEF306BADD4B8D Time : 0.0 sec. user=mdettweiler [2016-12-11 15:51:13] 833*2^1448322-1 is not prime. Res64: C014EC088970A9F0 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:58:20] 903*2^1448322-1 is not prime. Res64: 55FC694C9F43DA03 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:58:21] 765*2^1448323-1 is not prime. Res64: D21CFE205D44A7BD Time : 0.0 sec. user=mdettweiler [2016-12-11 15:58:21] 769*2^1448323-1 is not prime. Res64: 7575E56DCF1D8B95 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:58:21] 855*2^1448323-1 is not prime. Res64: 8087FCFFFDC928A7 Time : 0.0 sec. user=mdettweiler [2016-12-11 15:58:22] 871*2^1448323-1 is not prime. Res64: 3C744AEC0110B20D Time : 0.0 sec. user=mdettweiler [2016-12-11 16:17:44] 943*2^1448323-1 is not prime. Res64: BDCBD96621C9835C Time : 0.0 sec. user=mdettweiler [2016-12-11 16:17:44] 945*2^1448323-1 is not prime. Res64: 45942EA4D1DC74C0 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:17:45] 961*2^1448323-1 is not prime. Res64: 03381D6636106BA5 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:17:45] 993*2^1448323-1 is not prime. Res64: 55E1989EBB3F80AE Time : 0.0 sec. user=mdettweiler [2016-12-11 16:17:46] 899*2^1448324-1 is not prime. Res64: B890D5FD73B91C2F Time : 0.0 sec. user=mdettweiler [2016-12-11 16:36:04] 923*2^1448324-1 is not prime. Res64: 20BF130BC91496E6 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:36:04] 953*2^1448324-1 is not prime. Res64: 0A37CBBDA8A8BC3B Time : 0.0 sec. user=mdettweiler [2016-12-11 16:36:04] 609*2^1448325-1 is not prime. Res64: F4796ED8924434CA Time : 0.0 sec. user=mdettweiler [2016-12-11 16:36:05] 627*2^1448325-1 is not prime. Res64: 7DE95B49C801F1A9 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:36:05] 711*2^1448325-1 is not prime. Res64: 92FA8B273FF920F8 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:43:12] 787*2^1448325-1 is not prime. Res64: 1DD9CC1635FBCC64 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:43:13] 789*2^1448325-1 is not prime. Res64: FBE7CDE8D345E674 Time : 0.0 sec. user=mdettweiler [2016-12-11 16:43:13] 847*2^1448325-1 is not prime. Res64: 6719F0965854008F Time : 0.0 sec. user=mdettweiler [2016-12-11 16:43:13] 895*2^1448325-1 is not prime. Res64: FCCE6D7E384EDDCE Time : 0.0 sec. user=mdettweiler [2016-12-11 16:43:14] 927*2^1448325-1 is not prime. Res64: 077582672E7452C3 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:02:28] 657*2^1448326-1 is not prime. Res64: 5634D19A943F336C Time : 0.0 sec. user=mdettweiler [2016-12-11 17:02:29] 861*2^1448326-1 is not prime. Res64: 42B74E4D8E8DA4BD Time : 0.0 sec. user=mdettweiler [2016-12-11 17:02:31] 923*2^1448326-1 is not prime. Res64: CE159AF13CA8C494 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:02:31] 981*2^1448326-1 is not prime. Res64: 467E6C82C62BD468 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:02:32] 1001*2^1448326-1 is not prime. Res64: 31EBD672E18DF643 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:20:35] 601*2^1448327-1 is not prime. Res64: 90502FB0050E77F0 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:20:36] 645*2^1448327-1 is not prime. Res64: B8A9492645FDF4DE Time : 0.0 sec. user=mdettweiler [2016-12-11 17:20:36] 711*2^1448327-1 is not prime. Res64: 4FF02F38F2592232 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:20:36] 715*2^1448327-1 is not prime. Res64: 9D98ABF55556EB42 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:20:37] 729*2^1448327-1 is not prime. Res64: 2204CA3CC99B7101 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:27:35] 735*2^1448327-1 is not prime. Res64: D1BB575D0E025F7F Time : 0.0 sec. user=mdettweiler [2016-12-11 17:27:35] 885*2^1448327-1 is not prime. Res64: A30A1CD6509FA603 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:27:36] 963*2^1448327-1 is not prime. Res64: 40293C6CF26E1E3F Time : 0.0 sec. user=mdettweiler [2016-12-11 17:27:36] 605*2^1448328-1 is not prime. Res64: E9DAF99FF94B9544 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:27:36] 683*2^1448328-1 is not prime. Res64: 320267A1F04E83AE Time : 0.0 sec. user=mdettweiler [2016-12-11 17:46:55] 815*2^1448328-1 is not prime. Res64: 93E35FA80EB51BDB Time : 0.0 sec. user=mdettweiler [2016-12-11 17:46:55] 839*2^1448328-1 is not prime. Res64: 08D655824E1BA1A7 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:46:56] 993*2^1448328-1 is not prime. Res64: 5314AF4F12501C40 Time : 0.0 sec. user=mdettweiler [2016-12-11 17:46:56] 799*2^1448329-1 is not prime. Res64: 1C9298AEB10CCBEE Time : 0.0 sec. user=mdettweiler [2016-12-11 17:46:56] 829*2^1448329-1 is not prime. Res64: 897D47ABFD5E36A5 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:04:59] 867*2^1448329-1 is not prime. Res64: ED17E64E978EE02F Time : 0.0 sec. user=mdettweiler [2016-12-11 18:05:02] 897*2^1448329-1 is not prime. Res64: 5148FAB0A882AD17 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:05:03] 975*2^1448329-1 is not prime. Res64: A78ACC75BD087CA6 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:05:05] 603*2^1448330-1 is not prime. Res64: 71A87154AC04FF8D Time : 0.0 sec. user=mdettweiler [2016-12-11 18:05:06] 633*2^1448330-1 is not prime. Res64: 20EAF17F03C76D1A Time : 0.0 sec. user=mdettweiler [2016-12-11 18:11:58] 677*2^1448330-1 is not prime. Res64: D7C8E6972EC05BCF Time : 0.0 sec. user=mdettweiler [2016-12-11 18:11:58] 731*2^1448330-1 is not prime. Res64: 796B5C523CD5E4EF Time : 0.0 sec. user=mdettweiler [2016-12-11 18:11:59] 791*2^1448330-1 is not prime. Res64: C55D721C2E3ED2A3 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:11:59] 801*2^1448330-1 is not prime. Res64: 7F9E5835AAD68955 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:12:00] 851*2^1448330-1 is not prime. Res64: 9D542B9DC1A78152 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:31:17] 867*2^1448330-1 is not prime. Res64: F74328C6FD674D41 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:31:18] 977*2^1448330-1 is not prime. Res64: AFABE4DD200DECED Time : 0.0 sec. user=mdettweiler [2016-12-11 18:31:18] 675*2^1448331-1 is not prime. Res64: 59AB794FB0F6989B Time : 0.0 sec. user=mdettweiler [2016-12-11 18:31:18] 723*2^1448331-1 is not prime. Res64: 5B96B4EF2B2ED35D Time : 0.0 sec. user=mdettweiler [2016-12-11 18:31:19] 739*2^1448331-1 is not prime. Res64: 1E47A5DDBA298F40 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:49:35] 741*2^1448331-1 is not prime. Res64: 102827C61030423D Time : 0.0 sec. user=mdettweiler [2016-12-11 18:49:35] 819*2^1448331-1 is not prime. Res64: 2A688F6BF14565D1 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:49:36] 873*2^1448331-1 is not prime. Res64: C83775C641A332D5 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:49:36] 879*2^1448331-1 is not prime. Res64: 7E2BE4BE632F7EAC Time : 0.0 sec. user=mdettweiler [2016-12-11 18:49:36] 895*2^1448331-1 is not prime. Res64: A0750BA78519992B Time : 0.0 sec. user=mdettweiler [2016-12-11 18:56:19] 949*2^1448331-1 is not prime. Res64: 20E058643DE52E1D Time : 0.0 sec. user=mdettweiler [2016-12-11 18:56:20] 675*2^1448332-1 is not prime. Res64: 75E2F7508CA26317 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:56:20] 677*2^1448332-1 is not prime. Res64: FEA14A9FD78DFEAF Time : 0.0 sec. user=mdettweiler [2016-12-11 18:56:21] 857*2^1448332-1 is not prime. Res64: E066611350068C62 Time : 0.0 sec. user=mdettweiler [2016-12-11 18:56:21] 869*2^1448332-1 is not prime. Res64: A20DF03F4B135518 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:15:39] 885*2^1448332-1 is not prime. Res64: F537BB05953B61AB Time : 0.0 sec. user=mdettweiler [2016-12-11 19:15:40] 957*2^1448332-1 is not prime. Res64: 06343448EA0E1E3A Time : 0.0 sec. user=mdettweiler [2016-12-11 19:15:41] 959*2^1448332-1 is not prime. Res64: CD08C932E18A4587 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:15:43] 657*2^1448333-1 is not prime. Res64: B0C70F4CD7A2F8C8 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:15:44] 789*2^1448333-1 is not prime. Res64: 04E7AB871595C7C5 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:33:55] 611*2^1448334-1 is not prime. Res64: 9DA1F14018E36A2E Time : 0.0 sec. user=mdettweiler [2016-12-11 19:33:56] 627*2^1448334-1 is not prime. Res64: 6C26B733AD370881 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:33:56] 747*2^1448334-1 is not prime. Res64: C684EC5FE13208AD Time : 0.0 sec. user=mdettweiler [2016-12-11 19:33:56] 765*2^1448334-1 is not prime. Res64: 47683B7763970884 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:33:57] 791*2^1448334-1 is not prime. Res64: 7054FA03A2C30249 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:40:42] 861*2^1448334-1 is not prime. Res64: D61C963FC3E41429 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:40:42] 957*2^1448334-1 is not prime. Res64: B7B9F17E9F7D3CF1 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:40:43] 993*2^1448334-1 is not prime. Res64: A94D2CE97DB77D01 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:40:43] 645*2^1448335-1 is not prime. Res64: B6768841ACA88149 Time : 0.0 sec. user=mdettweiler [2016-12-11 19:40:44] 715*2^1448335-1 is not prime. Res64: C200AE8506625A1A Time : 0.0 sec. user=mdettweiler [2016-12-11 20:00:09] 793*2^1448335-1 is not prime. Res64: 9753996CDCED7D63 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:00:10] 883*2^1448335-1 is not prime. Res64: FA1CABBE25D16140 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:00:12] 885*2^1448335-1 is not prime. Res64: D9263C89DDA4D595 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:00:13] 615*2^1448336-1 is not prime. Res64: 40F6FF74E3DD5071 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:00:14] 767*2^1448336-1 is not prime. Res64: 48B8B60711D115FB Time : 0.0 sec. user=mdettweiler [2016-12-11 20:18:20] 789*2^1448336-1 is not prime. Res64: 03D73AD773682D6C Time : 0.0 sec. user=mdettweiler [2016-12-11 20:18:20] 813*2^1448336-1 is not prime. Res64: B2B15BB59EF33649 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:18:21] 935*2^1448336-1 is not prime. Res64: CCA8EFFD95806874 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:18:21] 709*2^1448337-1 is not prime. Res64: 20740FDA2B36F2F3 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:18:21] 835*2^1448337-1 is not prime. Res64: C73C02FFFFD87084 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:25:05] 865*2^1448337-1 is not prime. Res64: 530BA6EF363AEC9B Time : 0.0 sec. user=mdettweiler [2016-12-11 20:25:06] 991*2^1448337-1 is not prime. Res64: 7B8884C60955A0D2 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:25:06] 997*2^1448337-1 is not prime. Res64: C289CCB308C89ADF Time : 0.0 sec. user=mdettweiler [2016-12-11 20:25:06] 623*2^1448338-1 is not prime. Res64: 797CF618BD38334D Time : 0.0 sec. user=mdettweiler [2016-12-11 20:25:07] 705*2^1448338-1 is not prime. Res64: 581E2B34BFAB8929 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:44:38] 737*2^1448338-1 is not prime. Res64: 324494B5CD4BA24A Time : 0.0 sec. user=mdettweiler [2016-12-11 20:44:38] 885*2^1448338-1 is not prime. Res64: 74F793099F464999 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:44:39] 945*2^1448338-1 is not prime. Res64: F2C9E497D1B739C1 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:44:39] 615*2^1448339-1 is not prime. Res64: 9B52DDBB901F27E3 Time : 0.0 sec. user=mdettweiler [2016-12-11 20:44:40] 621*2^1448339-1 is not prime. Res64: C50C36969E48A0C7 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:02:39] 675*2^1448339-1 is not prime. Res64: F5DA631534ADA51B Time : 0.0 sec. user=mdettweiler [2016-12-11 21:02:41] 913*2^1448339-1 is not prime. Res64: 88D8417776D75877 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:02:43] 993*2^1448339-1 is not prime. Res64: 2666E156105F8FED Time : 0.0 sec. user=mdettweiler [2016-12-11 21:02:44] 699*2^1448340-1 is not prime. Res64: E735A135F7959345 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:02:45] 707*2^1448340-1 is not prime. Res64: 0FEA69C1F6659E6D Time : 0.0 sec. user=mdettweiler [2016-12-11 21:09:26] 765*2^1448340-1 is not prime. Res64: F6213981C4A72865 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:09:28] 783*2^1448340-1 is not prime. Res64: 80249FDBE441763E Time : 0.0 sec. user=mdettweiler [2016-12-11 21:09:29] 825*2^1448340-1 is not prime. Res64: 60752595D6F434FF Time : 0.0 sec. user=mdettweiler [2016-12-11 21:09:32] 843*2^1448340-1 is not prime. Res64: 4C13DE1115E644F0 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:09:35] 867*2^1448340-1 is not prime. Res64: 5216FF18ABE99796 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:28:57] 905*2^1448340-1 is not prime. Res64: F4F9D153C9F7699C Time : 0.0 sec. user=mdettweiler [2016-12-11 21:28:58] 621*2^1448341-1 is not prime. Res64: 85C4D18761F8BDF0 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:28:58] 645*2^1448341-1 is not prime. Res64: 6DBF3DB1884A3AFB Time : 0.0 sec. user=mdettweiler [2016-12-11 21:28:59] 691*2^1448341-1 is not prime. Res64: FBFE576A1FE8E6E7 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:28:59] 717*2^1448341-1 is not prime. Res64: 92F696687E049DFA Time : 0.0 sec. user=mdettweiler [2016-12-11 21:47:10] 741*2^1448341-1 is not prime. Res64: 23E9FFEB85D527FA Time : 0.0 sec. user=mdettweiler [2016-12-11 21:47:10] 925*2^1448341-1 is not prime. Res64: BBDE729BC4A606BA Time : 0.0 sec. user=mdettweiler [2016-12-11 21:47:11] 961*2^1448341-1 is not prime. Res64: CA58BE3ECCE7FE6E Time : 0.0 sec. user=mdettweiler [2016-12-11 21:47:11] 967*2^1448341-1 is not prime. Res64: 2A95D02E5457BC0A Time : 0.0 sec. user=mdettweiler [2016-12-11 21:47:12] 711*2^1448342-1 is not prime. Res64: CB1E649CE7254370 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:54:10] 761*2^1448342-1 is not prime. Res64: CE955BF4F9D180F6 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:54:11] 785*2^1448342-1 is not prime. Res64: 2131F3F40AB3D9BF Time : 0.0 sec. user=mdettweiler [2016-12-11 21:54:11] 911*2^1448342-1 is not prime. Res64: 948F84A87801A222 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:54:12] 963*2^1448342-1 is not prime. Res64: 5067FC7BCE9E7EC5 Time : 0.0 sec. user=mdettweiler [2016-12-11 21:54:12] 693*2^1448343-1 is not prime. Res64: 59C3387E980E2105 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:13:18] 829*2^1448343-1 is not prime. Res64: 04AEBB769E4DBFB8 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:13:19] 895*2^1448343-1 is not prime. Res64: 7425039B961B9D47 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:13:20] 943*2^1448343-1 is not prime. Res64: 24F817EC69B9290F Time : 0.0 sec. user=mdettweiler [2016-12-11 22:13:20] 951*2^1448343-1 is not prime. Res64: F8E2506B8D3C79DE Time : 0.0 sec. user=mdettweiler [2016-12-11 22:13:21] 629*2^1448344-1 is not prime. Res64: 43838EAC6A36417F Time : 0.0 sec. user=mdettweiler [2016-12-11 22:31:30] 675*2^1448344-1 is not prime. Res64: EFD2DB5B1774F487 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:31:30] 717*2^1448344-1 is not prime. Res64: 0A19D58087C9B158 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:31:30] 765*2^1448344-1 is not prime. Res64: C84FBEC080BF850F Time : 0.0 sec. user=mdettweiler [2016-12-11 22:31:31] 887*2^1448344-1 is not prime. Res64: F1CEFBC9529E8DF1 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:31:32] 983*2^1448344-1 is not prime. Res64: 717F13F15D8F883E Time : 0.0 sec. user=mdettweiler [2016-12-11 22:38:35] 741*2^1448345-1 is not prime. Res64: 7C561BB35631317E Time : 0.0 sec. user=mdettweiler [2016-12-11 22:38:35] 841*2^1448345-1 is not prime. Res64: 82F6AFDFC2A6014D Time : 0.0 sec. user=mdettweiler [2016-12-11 22:38:36] 855*2^1448345-1 is not prime. Res64: 7B3FD2AD22A7AAE3 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:38:36] 885*2^1448345-1 is not prime. Res64: 517AC0A7B5EF4688 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:38:37] 741*2^1448346-1 is not prime. Res64: 1908F4BFE1D4C37B Time : 0.0 sec. user=mdettweiler [2016-12-11 22:57:40] 945*2^1448346-1 is not prime. Res64: DED46AE99C6FD4B9 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:57:40] 633*2^1448347-1 is not prime. Res64: 0D1C3DFE6CAF9220 Time : 0.0 sec. user=mdettweiler [2016-12-11 22:57:41] 733*2^1448347-1 is not prime. Res64: BB2453F478808A1F Time : 0.0 sec. user=mdettweiler [2016-12-11 22:57:41] 829*2^1448347-1 is not prime. Res64: 11BC76E9D2DA96DD Time : 0.0 sec. user=mdettweiler [2016-12-11 22:57:42] 885*2^1448347-1 is not prime. Res64: 50396E41A5F57F6B Time : 0.0 sec. user=mdettweiler [2016-12-11 23:15:57] 915*2^1448347-1 is not prime. Res64: F11F5F1828697BD5 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:15:59] 803*2^1448348-1 is not prime. Res64: 31CB9D329A40DD85 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:16:01] 845*2^1448348-1 is not prime. Res64: 5E5BEFE91C0A59AE Time : 0.0 sec. user=mdettweiler [2016-12-11 23:16:02] 879*2^1448348-1 is not prime. Res64: F6C209882531A5C5 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:16:04] 885*2^1448348-1 is not prime. Res64: CDA1A6823D5954A4 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:22:55] 893*2^1448348-1 is not prime. Res64: 98023ED5C91A4F32 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:22:56] 957*2^1448348-1 is not prime. Res64: FF4E586591FEB50E Time : 0.0 sec. user=mdettweiler [2016-12-11 23:22:56] 969*2^1448348-1 is not prime. Res64: 82DF76E31E32EA7E Time : 0.0 sec. user=mdettweiler [2016-12-11 23:22:57] 977*2^1448348-1 is not prime. Res64: 6A76FF87F59A770B Time : 0.0 sec. user=mdettweiler [2016-12-11 23:22:57] 615*2^1448349-1 is not prime. Res64: 23286143AE80D361 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:42:04] 685*2^1448349-1 is not prime. Res64: 41AE9111EB673FAF Time : 0.0 sec. user=mdettweiler [2016-12-11 23:42:05] 765*2^1448349-1 is not prime. Res64: 919349670A24A64D Time : 0.0 sec. user=mdettweiler [2016-12-11 23:42:05] 847*2^1448349-1 is not prime. Res64: 19696D01EE76358F Time : 0.0 sec. user=mdettweiler [2016-12-11 23:42:06] 921*2^1448349-1 is not prime. Res64: 4E8F0F0A198991B9 Time : 0.0 sec. user=mdettweiler [2016-12-11 23:42:06] 997*2^1448349-1 is not prime. Res64: 8D0EF2CAD7F32E25 Time : 0.0 sec. user=mdettweiler [2016-12-12 00:00:31] 645*2^1448350-1 is not prime. Res64: A5EC244E9FB122B3 Time : 0.0 sec. user=mdettweiler [2016-12-12 00:00:31] 741*2^1448350-1 is not prime. Res64: 31B43B0FC077DA47 Time : 0.0 sec. user=mdettweiler [2016-12-12 00:00:32] 825*2^1448350-1 is not prime. Res64: F03BDDD825C0527D Time : 0.0 sec. user=mdettweiler [2016-12-12 00:00:32] 827*2^1448350-1 is not prime. Res64: 9ABDB925C9BE057A Time : 0.0 sec. user=mdettweiler [2016-12-12 00:00:33] 831*2^1448350-1 is not prime. Res64: 21FD2DA1D2226B93 Time : 0.0 sec.