user=mdettweiler [2016-05-18 00:08:47] 631*2^1429517-1 is not prime. Res64: FC632C326884E543 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:08:48] 799*2^1429517-1 is not prime. Res64: F34A370FC31B7AA6 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:08:49] 861*2^1429517-1 is not prime. Res64: 43A7DD4C8C5F21ED Time : 0.0 sec. user=mdettweiler [2016-05-18 00:08:50] 949*2^1429517-1 is not prime. Res64: 5B861F3F79AB85CE Time : 0.0 sec. user=mdettweiler [2016-05-18 00:08:51] 711*2^1429518-1 is not prime. Res64: A0BA71A13C1AB079 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:29:34] 713*2^1429518-1 is not prime. Res64: FB4534E91FBFD245 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:29:35] 755*2^1429518-1 is not prime. Res64: 3D99F96C0CFDE83B Time : 0.0 sec. user=mdettweiler [2016-05-18 00:29:36] 777*2^1429518-1 is not prime. Res64: F8E5A3F547DF841D Time : 0.0 sec. user=mdettweiler [2016-05-18 00:29:36] 825*2^1429518-1 is not prime. Res64: 98F71F0E4ED7E889 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:29:37] 887*2^1429518-1 is not prime. Res64: 5300B16F97B879A1 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:35:12] 1001*2^1429518-1 is not prime. Res64: 1A49C41327D18AF7 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:35:13] 625*2^1429519-1 is not prime. Res64: BE85F9FCA5AA360C Time : 0.0 sec. user=mdettweiler [2016-05-18 00:35:13] 633*2^1429519-1 is not prime. Res64: 24B687296A828DCF Time : 0.0 sec. user=mdettweiler [2016-05-18 00:35:13] 649*2^1429519-1 is not prime. Res64: 1E304B3DBD7A6731 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:35:14] 681*2^1429519-1 is not prime. Res64: F12A27C813E3F5B0 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:44:02] 745*2^1429519-1 is not prime. Res64: 6799F17B1BA70FB4 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:44:02] 789*2^1429519-1 is not prime. Res64: 7D36DF31BD4DB374 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:44:03] 855*2^1429519-1 is not prime. Res64: 62A9E58113ADF5A5 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:44:03] 999*2^1429519-1 is not prime. Res64: E82B5FA90FFE167E Time : 0.0 sec. user=mdettweiler [2016-05-18 00:44:03] 665*2^1429520-1 is not prime. Res64: 9A7EDBB148D4C9D6 Time : 0.0 sec. user=mdettweiler [2016-05-18 00:55:30] 675*2^1429520-1 is not prime. Res64: 9B1FC63AE889768D Time : 0.0 sec. user=mdettweiler [2016-05-18 00:55:30] 725*2^1429520-1 is not prime. Res64: BCD03F70082DC22D Time : 0.0 sec. user=mdettweiler [2016-05-18 00:55:31] 747*2^1429520-1 is not prime. Res64: 4B9E7BBD5E478F7D Time : 0.0 sec. user=mdettweiler [2016-05-18 00:55:31] 789*2^1429520-1 is not prime. Res64: 6414FB9C0EA870CF Time : 0.0 sec. user=mdettweiler [2016-05-18 00:55:31] 803*2^1429520-1 is not prime. Res64: 5D07051C7612327B Time : 0.0 sec. user=mdettweiler [2016-05-18 01:15:33] 827*2^1429520-1 is not prime. Res64: 911385F8AEF8B0CA Time : 0.0 sec. user=mdettweiler [2016-05-18 01:15:34] 857*2^1429520-1 is not prime. Res64: C76CFB7DF6ABB993 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:15:34] 959*2^1429520-1 is not prime. Res64: 1E45A9A6C9AFE2EF Time : 0.0 sec. user=mdettweiler [2016-05-18 01:15:35] 745*2^1429521-1 is not prime. Res64: 36442605F7326BFD Time : 0.0 sec. user=mdettweiler [2016-05-18 01:15:35] 747*2^1429521-1 is not prime. Res64: AF40B9B589E4ADAF Time : 0.0 sec. user=mdettweiler [2016-05-18 01:21:05] 781*2^1429521-1 is not prime. Res64: 6EC8777DD8073F0A Time : 0.0 sec. user=mdettweiler [2016-05-18 01:21:05] 835*2^1429521-1 is not prime. Res64: 9CDCC1C496953CDC Time : 0.0 sec. user=mdettweiler [2016-05-18 01:21:05] 837*2^1429521-1 is not prime. Res64: C721F80B07F4B777 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:21:06] 987*2^1429521-1 is not prime. Res64: C5EA18B68A1C95DD Time : 0.0 sec. user=mdettweiler [2016-05-18 01:21:06] 695*2^1429522-1 is not prime. Res64: F9264EF6BBBD0976 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:29:05] 731*2^1429522-1 is not prime. Res64: BC0EDD69DEE05456 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:29:08] 737*2^1429522-1 is not prime. Res64: A0D860646ECF3CF4 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:29:09] 831*2^1429522-1 is not prime. Res64: ACDB196651D9D92D Time : 0.0 sec. user=mdettweiler [2016-05-18 01:29:10] 603*2^1429523-1 is not prime. Res64: E342FCFE92841F0E Time : 0.0 sec. user=mdettweiler [2016-05-18 01:29:10] 615*2^1429523-1 is not prime. Res64: 57657FEA36134E90 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:40:36] 621*2^1429523-1 is not prime. Res64: 362601C42C8F961F Time : 0.0 sec. user=mdettweiler [2016-05-18 01:40:36] 649*2^1429523-1 is not prime. Res64: 9F7F89412FC7AF12 Time : 0.0 sec. user=mdettweiler [2016-05-18 01:40:37] 829*2^1429523-1 is not prime. Res64: ADCEE682AD8D1D1A Time : 0.0 sec. user=mdettweiler [2016-05-18 01:40:37] 859*2^1429523-1 is not prime. Res64: 7F22ECDE4E9CCC0F Time : 0.0 sec. user=mdettweiler [2016-05-18 01:40:37] 871*2^1429523-1 is not prime. Res64: C9773501139C5C17 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:00:45] 889*2^1429523-1 is not prime. Res64: 63B19439736D639C Time : 0.0 sec. user=mdettweiler [2016-05-18 02:00:46] 973*2^1429523-1 is not prime. Res64: AB33B5EB366E2C37 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:00:46] 991*2^1429523-1 is not prime. Res64: D77B747401467D33 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:00:47] 623*2^1429524-1 is not prime. Res64: 152C03F487D02CEE Time : 0.0 sec. user=mdettweiler [2016-05-18 02:00:48] 657*2^1429524-1 is not prime. Res64: 2D52549456213D1C Time : 0.0 sec. user=mdettweiler [2016-05-18 02:07:12] 665*2^1429524-1 is not prime. Res64: 5FF9E5AD8CFA25CE Time : 0.0 sec. user=mdettweiler [2016-05-18 02:07:12] 695*2^1429524-1 is not prime. Res64: 4BDB54E035504346 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:07:13] 803*2^1429524-1 is not prime. Res64: F3CCCFA04AA14C68 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:07:13] 825*2^1429524-1 is not prime. Res64: 81BE326A7D1876BB Time : 0.0 sec. user=mdettweiler [2016-05-18 02:07:14] 959*2^1429524-1 is not prime. Res64: BDA13C32717F464E Time : 0.0 sec. user=mdettweiler [2016-05-18 02:14:53] 687*2^1429525-1 is not prime. Res64: 30A0B18B78EBF950 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:14:54] 757*2^1429525-1 is not prime. Res64: 2ADF35386781A4F0 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:14:54] 831*2^1429525-1 is not prime. Res64: 97C16556F1A7CB8D Time : 0.0 sec. user=mdettweiler [2016-05-18 02:14:55] 663*2^1429526-1 is not prime. Res64: A007D9B356E5D303 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:14:55] 671*2^1429526-1 is not prime. Res64: C537A7473EF5E6FB Time : 0.0 sec. user=mdettweiler [2016-05-18 02:26:57] 773*2^1429526-1 is not prime. Res64: B9A92F2AB2811B3A Time : 0.0 sec. user=mdettweiler [2016-05-18 02:26:58] 833*2^1429526-1 is not prime. Res64: 16B2962C2CF143B5 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:26:59] 897*2^1429526-1 is not prime. Res64: 89449F9DFB5E52C1 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:27:01] 633*2^1429527-1 is not prime. Res64: 24C34D69F27DCED8 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:27:02] 675*2^1429527-1 is not prime. Res64: 4E366593D0E05AA2 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:46:38] 709*2^1429527-1 is not prime. Res64: 27CDD43DDF251C41 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:46:39] 711*2^1429527-1 is not prime. Res64: 45DB77E59A8A1A2E Time : 0.0 sec. user=mdettweiler [2016-05-18 02:46:39] 741*2^1429527-1 is not prime. Res64: 37E79CD763113475 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:46:40] 861*2^1429527-1 is not prime. Res64: 21F3091015B28A64 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:46:40] 871*2^1429527-1 is not prime. Res64: 10F7F17C85CC983E Time : 0.0 sec. user=mdettweiler [2016-05-18 02:52:13] 901*2^1429527-1 is not prime. Res64: 343340CD13D47C52 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:52:14] 909*2^1429527-1 is not prime. Res64: 3C52EDE2BF4E5FE3 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:52:15] 919*2^1429527-1 is not prime. Res64: 31249FBBC4A258B4 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:52:15] 615*2^1429528-1 is not prime. Res64: 75E94E8282372BD3 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:52:16] 663*2^1429528-1 is not prime. Res64: BA59D897C858A454 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:59:59] 773*2^1429528-1 is not prime. Res64: 782AD4B08944C6E7 Time : 0.0 sec. user=mdettweiler [2016-05-18 02:59:59] 855*2^1429528-1 is not prime. Res64: 759DF0DED19FF10D Time : 0.0 sec. user=mdettweiler [2016-05-18 03:00:00] 657*2^1429529-1 is not prime. Res64: 731D92CF5F19DD6F Time : 0.0 sec. user=mdettweiler [2016-05-18 03:00:00] 675*2^1429529-1 is not prime. Res64: 136DABF1F2AE6891 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:00:01] 759*2^1429529-1 is not prime. Res64: 90DCC4AD704BEBD1 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:12:16] 837*2^1429529-1 is not prime. Res64: E064AD2DC7AF4E0D Time : 0.0 sec. user=mdettweiler [2016-05-18 03:12:16] 707*2^1429530-1 is not prime. Res64: 3071A451AB06CBA5 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:12:17] 717*2^1429530-1 is not prime. Res64: 319A67779401E16E Time : 0.0 sec. user=mdettweiler [2016-05-18 03:12:17] 791*2^1429530-1 is not prime. Res64: E8DA7B0DBD929FAF Time : 0.0 sec. user=mdettweiler [2016-05-18 03:12:18] 645*2^1429531-1 is not prime. Res64: 4E19872C28DACF3C Time : 0.0 sec. user=mdettweiler [2016-05-18 03:32:07] 675*2^1429531-1 is not prime. Res64: 6BD9674AD2711A01 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:32:08] 679*2^1429531-1 is not prime. Res64: 0CAA8D25E5513804 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:32:09] 693*2^1429531-1 is not prime. Res64: CC1DD117A86308A9 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:32:10] 733*2^1429531-1 is not prime. Res64: AED6D9FC28BEBC63 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:32:11] 835*2^1429531-1 is not prime. Res64: 442857CBC0C4F1D4 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:37:41] 605*2^1429532-1 is not prime. Res64: 6E1167D0682B67FC Time : 0.0 sec. user=mdettweiler [2016-05-18 03:37:42] 843*2^1429532-1 is not prime. Res64: 00F0A3330C9A3E4C Time : 0.0 sec. user=mdettweiler [2016-05-18 03:37:44] 903*2^1429532-1 is not prime. Res64: 1386AE2C10E9E5C3 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:37:45] 935*2^1429532-1 is not prime. Res64: 5B06E94C9D144BB9 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:37:46] 669*2^1429533-1 is not prime. Res64: A9406B894266A9FA Time : 0.0 sec. user=mdettweiler [2016-05-18 03:45:29] 685*2^1429533-1 is not prime. Res64: E3DCC4163CD495E0 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:45:33] 787*2^1429533-1 is not prime. Res64: 88420439E17C897B Time : 0.0 sec. user=mdettweiler [2016-05-18 03:45:36] 829*2^1429533-1 is not prime. Res64: 121AC91DA18D7E35 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:45:37] 861*2^1429533-1 is not prime. Res64: B86F25C117C5B763 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:45:39] 895*2^1429533-1 is not prime. Res64: 2E4620362A57C26D Time : 0.0 sec. user=mdettweiler [2016-05-18 03:57:28] 915*2^1429533-1 is not prime. Res64: 6C438D3ACEC1F23B Time : 0.0 sec. user=mdettweiler [2016-05-18 03:57:29] 605*2^1429534-1 is not prime. Res64: E2E3224A880E9EDD Time : 0.0 sec. user=mdettweiler [2016-05-18 03:57:30] 635*2^1429534-1 is not prime. Res64: 15A3EBB17AC47728 Time : 0.0 sec. user=mdettweiler [2016-05-18 03:57:30] 645*2^1429534-1 is not prime. Res64: B7779692EAB5DE8A Time : 0.0 sec. user=mdettweiler [2016-05-18 03:57:31] 657*2^1429534-1 is not prime. Res64: 675667EB8C840927 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:17:20] 665*2^1429534-1 is not prime. Res64: BC2915BC4AE97CB0 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:17:21] 671*2^1429534-1 is not prime. Res64: 9875ADED8D64672C Time : 0.0 sec. user=mdettweiler [2016-05-18 04:17:21] 717*2^1429534-1 is not prime. Res64: 2218F350398BA10F Time : 0.0 sec. user=mdettweiler [2016-05-18 04:17:22] 785*2^1429534-1 is not prime. Res64: CFE27C5DEDD35093 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:17:22] 791*2^1429534-1 is not prime. Res64: 13E545117BC786F8 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:22:50] 971*2^1429534-1 is not prime. Res64: 660F2BE5555039C9 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:22:50] 975*2^1429534-1 is not prime. Res64: 0DF3E1AAE4500A79 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:22:51] 981*2^1429534-1 is not prime. Res64: 482602F060D44F3C Time : 0.0 sec. user=mdettweiler [2016-05-18 04:22:51] 685*2^1429535-1 is not prime. Res64: 99A513567D3F6861 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:22:52] 819*2^1429535-1 is not prime. Res64: 0419CF8A24514A4D Time : 0.0 sec. user=mdettweiler [2016-05-18 04:30:53] 963*2^1429535-1 is not prime. Res64: 3F8AE4C65DF562BE Time : 0.0 sec. user=mdettweiler [2016-05-18 04:30:54] 633*2^1429536-1 is not prime. Res64: 76CD5163ED1BB9C3 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:30:54] 657*2^1429536-1 is not prime. Res64: 5F6B79E8DC3A17B6 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:30:54] 669*2^1429536-1 is not prime. Res64: F7E9EE5A180B60BD Time : 0.0 sec. user=mdettweiler [2016-05-18 04:30:55] 689*2^1429536-1 is not prime. Res64: 70D1273C7E12629B Time : 0.0 sec. user=mdettweiler [2016-05-18 04:42:36] 779*2^1429536-1 is not prime. Res64: 32522DE402F8F492 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:42:37] 815*2^1429536-1 is not prime. Res64: D186E895C7DD1F2D Time : 0.0 sec. user=mdettweiler [2016-05-18 04:42:37] 839*2^1429536-1 is not prime. Res64: E09E2BDCE58BD87A Time : 0.0 sec. user=mdettweiler [2016-05-18 04:42:38] 765*2^1429537-1 is not prime. Res64: F10269F00DFCB4A8 Time : 0.0 sec. user=mdettweiler [2016-05-18 04:42:38] 801*2^1429537-1 is not prime. Res64: BADA810CC03D6EC5 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:02:20] 861*2^1429537-1 is not prime. Res64: 1A2310EC270C831D Time : 0.0 sec. user=mdettweiler [2016-05-18 05:02:21] 915*2^1429537-1 is not prime. Res64: DD724F5E50C10483 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:02:22] 985*2^1429537-1 is not prime. Res64: 580B3352E5E7B822 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:02:23] 617*2^1429538-1 is not prime. Res64: 212521142F02CF91 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:02:24] 623*2^1429538-1 is not prime. Res64: 4E9053EAB59ACD5A Time : 0.0 sec. user=mdettweiler [2016-05-18 05:07:46] 633*2^1429538-1 is not prime. Res64: 783BAE8B824145DC Time : 0.0 sec. user=mdettweiler [2016-05-18 05:07:47] 743*2^1429538-1 is not prime. Res64: F08E95E092194261 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:07:47] 867*2^1429538-1 is not prime. Res64: 9D3A7060EF59EDCD Time : 0.0 sec. user=mdettweiler [2016-05-18 05:07:47] 953*2^1429538-1 is not prime. Res64: E19E8C900D7607F4 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:07:48] 977*2^1429538-1 is not prime. Res64: 3149E8F10F5AE241 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:15:55] 609*2^1429539-1 is not prime. Res64: C7A2B0D193936C9A Time : 0.0 sec. user=mdettweiler [2016-05-18 05:15:55] 639*2^1429539-1 is not prime. Res64: 91E27F28CFFEF92E Time : 0.0 sec. user=mdettweiler [2016-05-18 05:15:55] 705*2^1429539-1 is not prime. Res64: 9B053811BDF47FCB Time : 0.0 sec. user=mdettweiler [2016-05-18 05:15:56] 723*2^1429539-1 is not prime. Res64: A6E6A1E18D06ED64 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:15:56] 801*2^1429539-1 is not prime. Res64: 61AFB66293CD5E9B Time : 0.0 sec. user=mdettweiler [2016-05-18 05:27:31] 885*2^1429539-1 is not prime. Res64: FC539E732DAE087F Time : 0.0 sec. user=mdettweiler [2016-05-18 05:27:31] 951*2^1429539-1 is not prime. Res64: D4C398B0EF75CACF Time : 0.0 sec. user=mdettweiler [2016-05-18 05:27:32] 677*2^1429540-1 is not prime. Res64: 7CE3332972C567BF Time : 0.0 sec. user=mdettweiler [2016-05-18 05:27:32] 797*2^1429540-1 is not prime. Res64: 8AE0A58232861DE2 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:27:32] 875*2^1429540-1 is not prime. Res64: 010EDC7A6CE2DFB7 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:47:26] 619*2^1429541-1 is not prime. Res64: B2160837C32F7A41 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:47:26] 657*2^1429541-1 is not prime. Res64: 703ABBDB793C05F7 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:47:27] 795*2^1429541-1 is not prime. Res64: 3E4553830A4DDEAA Time : 0.0 sec. user=mdettweiler [2016-05-18 05:47:27] 799*2^1429541-1 is not prime. Res64: B0993D0013D28052 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:47:28] 825*2^1429541-1 is not prime. Res64: 073D5538A7544E8B Time : 0.0 sec. user=mdettweiler [2016-05-18 05:52:37] 621*2^1429542-1 is not prime. Res64: C543C82305CAAD2E Time : 0.0 sec. user=mdettweiler [2016-05-18 05:52:38] 903*2^1429542-1 is not prime. Res64: DB1DF0D15C3CCED7 Time : 0.0 sec. user=mdettweiler [2016-05-18 05:52:38] 1001*2^1429542-1 is not prime. Res64: 4AD34349D239D64D Time : 0.0 sec. user=mdettweiler [2016-05-18 05:52:39] 679*2^1429543-1 is not prime. Res64: E83BEEFF7BBF442B Time : 0.0 sec. user=mdettweiler [2016-05-18 05:52:39] 745*2^1429543-1 is not prime. Res64: F3B937D00DE659D2 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:00:44] 831*2^1429543-1 is not prime. Res64: 4CC01AE1C3448DB8 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:00:45] 859*2^1429543-1 is not prime. Res64: 99018DBFD3A0C919 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:00:46] 883*2^1429543-1 is not prime. Res64: 28A44ECCB78109E3 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:00:47] 901*2^1429543-1 is not prime. Res64: A9E7D95563CC6359 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:00:48] 617*2^1429544-1 is not prime. Res64: 96014C6FAA8D8979 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:12:25] 767*2^1429544-1 is not prime. Res64: 996AF8FB486EE013 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:12:25] 935*2^1429544-1 is not prime. Res64: 842F0C7091983EB0 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:12:26] 959*2^1429544-1 is not prime. Res64: 0CC0DC67A1C4A9D6 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:12:26] 983*2^1429544-1 is not prime. Res64: 57E335DA503061F0 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:12:27] 995*2^1429544-1 is not prime. Res64: 32B9FC13CA493D0A Time : 0.0 sec. user=mdettweiler [2016-05-18 06:32:19] 691*2^1429545-1 is not prime. Res64: 33215A0D175E8E7D Time : 0.0 sec. user=mdettweiler [2016-05-18 06:32:19] 709*2^1429545-1 is not prime. Res64: C12BAE3EC272D504 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:32:19] 741*2^1429545-1 is not prime. Res64: 2675992DC9002FFE Time : 0.0 sec. user=mdettweiler [2016-05-18 06:32:20] 975*2^1429545-1 is not prime. Res64: 11BEFDF63A358F1D Time : 0.0 sec. user=mdettweiler [2016-05-18 06:32:20] 979*2^1429545-1 is not prime. Res64: 81F450CF7D6DABAC Time : 0.0 sec. user=mdettweiler [2016-05-18 06:37:43] 737*2^1429546-1 is not prime. Res64: C178A630D29820C2 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:37:43] 783*2^1429546-1 is not prime. Res64: A90EC9C25320514E Time : 0.0 sec. user=mdettweiler [2016-05-18 06:37:44] 867*2^1429546-1 is not prime. Res64: 93B48BE18D94AF51 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:37:44] 923*2^1429546-1 is not prime. Res64: 03FDCC6097289782 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:37:45] 633*2^1429547-1 is not prime. Res64: 99087B247A8C03B1 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:45:39] 651*2^1429547-1 is not prime. Res64: C2F3162B5F8E1C9D Time : 0.0 sec. user=mdettweiler [2016-05-18 06:45:39] 669*2^1429547-1 is not prime. Res64: 0072BB13E3C24A0B Time : 0.0 sec. user=mdettweiler [2016-05-18 06:45:39] 685*2^1429547-1 is not prime. Res64: 39A0EE8E2BC741EC Time : 0.0 sec. user=mdettweiler [2016-05-18 06:45:40] 705*2^1429547-1 is not prime. Res64: D94B689B8335D78B Time : 0.0 sec. user=mdettweiler [2016-05-18 06:45:40] 823*2^1429547-1 is not prime. Res64: 9720BFE7AC3D70DE Time : 0.0 sec. user=mdettweiler [2016-05-18 06:57:24] 841*2^1429547-1 is not prime. Res64: E1C96786DC8B90CD Time : 0.0 sec. user=mdettweiler [2016-05-18 06:57:24] 843*2^1429547-1 is not prime. Res64: CB67E8042DCBEF80 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:57:24] 883*2^1429547-1 is not prime. Res64: 5BD2765D088C029C Time : 0.0 sec. user=mdettweiler [2016-05-18 06:57:25] 683*2^1429548-1 is not prime. Res64: 6486ED2A3A051128 Time : 0.0 sec. user=mdettweiler [2016-05-18 06:57:25] 749*2^1429548-1 is not prime. Res64: 96D97BD808B1475B Time : 0.0 sec. user=mdettweiler [2016-05-18 07:17:10] 753*2^1429548-1 is not prime. Res64: 2691D6C8EE56AFD2 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:17:10] 759*2^1429548-1 is not prime. Res64: 12E917F834535E4A Time : 0.0 sec. user=mdettweiler [2016-05-18 07:17:11] 867*2^1429548-1 is not prime. Res64: DACD640879FB9DD5 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:17:11] 977*2^1429548-1 is not prime. Res64: 32456E05CB2C1A53 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:17:11] 609*2^1429549-1 is not prime. Res64: E48FA7C1B01F1F9B Time : 0.0 sec. user=mdettweiler [2016-05-18 07:22:43] 649*2^1429549-1 is not prime. Res64: BA55527E02D47A5B Time : 0.0 sec. user=mdettweiler [2016-05-18 07:22:44] 687*2^1429549-1 is not prime. Res64: 59C6600F19898778 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:22:45] 747*2^1429549-1 is not prime. Res64: 333A6C4630D8A950 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:22:45] 811*2^1429549-1 is not prime. Res64: 58504B85486EC46A Time : 0.0 sec. user=mdettweiler [2016-05-18 07:22:46] 861*2^1429549-1 is not prime. Res64: AE8AC022E7A7D43D Time : 0.0 sec. user=mdettweiler [2016-05-18 07:30:24] 897*2^1429549-1 is not prime. Res64: 5B9F67493592CFCE Time : 0.0 sec. user=mdettweiler [2016-05-18 07:30:24] 955*2^1429549-1 is not prime. Res64: 2CB43FA6F6570915 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:30:24] 999*2^1429549-1 is not prime. Res64: 212C4957D84B9954 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:30:25] 657*2^1429550-1 is not prime. Res64: 32E54EC6769F3215 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:30:25] 773*2^1429550-1 is not prime. Res64: B1D627B88951413F Time : 0.0 sec. user=mdettweiler [2016-05-18 07:42:09] 785*2^1429550-1 is not prime. Res64: BD7D40FD0867C0E4 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:42:10] 813*2^1429550-1 is not prime. Res64: D1A2FB68BDBE962F Time : 0.0 sec. user=mdettweiler [2016-05-18 07:42:10] 867*2^1429550-1 is not prime. Res64: 030766A92C7D537C Time : 0.0 sec. user=mdettweiler [2016-05-18 07:42:11] 887*2^1429550-1 is not prime. Res64: 3F2F42E4BB7EDCF7 Time : 0.0 sec. user=mdettweiler [2016-05-18 07:42:11] 921*2^1429550-1 is not prime. Res64: 7F48FFA9C4B4F789 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:02:09] 945*2^1429550-1 is not prime. Res64: 3F2E4CAFF319D8ED Time : 0.0 sec. user=mdettweiler [2016-05-18 08:02:11] 885*2^1429551-1 is not prime. Res64: C88AE4CE7D919958 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:02:12] 933*2^1429551-1 is not prime. Res64: 5FEC843DA74CF944 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:02:13] 951*2^1429551-1 is not prime. Res64: 86F2C4C9D8AC3A72 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:02:13] 723*2^1429552-1 is not prime. Res64: E92B36A2B3570DE3 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:07:36] 743*2^1429552-1 is not prime. Res64: 910BBD16533D66CD Time : 0.0 sec. user=mdettweiler [2016-05-18 08:07:36] 915*2^1429552-1 is not prime. Res64: C45F20F94F80D92A Time : 0.0 sec. user=mdettweiler [2016-05-18 08:07:37] 947*2^1429552-1 is not prime. Res64: 63546756F0974E20 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:07:37] 619*2^1429553-1 is not prime. Res64: 3C1B0B6C19FA0306 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:07:37] 727*2^1429553-1 is not prime. Res64: 00FBCC227AA675BC Time : 0.0 sec. user=mdettweiler [2016-05-18 08:15:25] 771*2^1429553-1 is not prime. Res64: DC58FE8EA7450870 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:15:25] 775*2^1429553-1 is not prime. Res64: 214230C5EE3EF45A Time : 0.0 sec. user=mdettweiler [2016-05-18 08:15:26] 801*2^1429553-1 is not prime. Res64: 1529E5EE71EB7490 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:15:26] 867*2^1429553-1 is not prime. Res64: 26F11DCAF62E4D74 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:15:27] 885*2^1429553-1 is not prime. Res64: F9BE24EFBB3C50A9 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:27:11] 901*2^1429553-1 is not prime. Res64: D968B56ECE005079 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:27:12] 925*2^1429553-1 is not prime. Res64: 6C85F8444655A88E Time : 0.0 sec. user=mdettweiler [2016-05-18 08:27:12] 967*2^1429553-1 is not prime. Res64: E90BB0BA91782A39 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:27:13] 969*2^1429553-1 is not prime. Res64: F56D8982963553C9 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:27:13] 611*2^1429554-1 is not prime. Res64: F4DE0AF41F1E18F7 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:47:14] 803*2^1429554-1 is not prime. Res64: BC01CC204F4CFA41 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:47:14] 851*2^1429554-1 is not prime. Res64: 5F51F1DA3A410E9B Time : 0.0 sec. user=mdettweiler [2016-05-18 08:47:15] 893*2^1429554-1 is not prime. Res64: 744599EBF551A969 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:47:15] 923*2^1429554-1 is not prime. Res64: E111A66E40A6A5F6 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:47:15] 705*2^1429555-1 is not prime. Res64: D2FF066F61B1C372 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:52:25] 859*2^1429555-1 is not prime. Res64: 9D91E0585F7FC5D7 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:52:25] 909*2^1429555-1 is not prime. Res64: 58EAF62D9E8D4F72 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:52:25] 939*2^1429555-1 is not prime. Res64: FF9465FD39F6E3BA Time : 0.0 sec. user=mdettweiler [2016-05-18 08:52:26] 633*2^1429556-1 is not prime. Res64: 4560250F4EF5DCD9 Time : 0.0 sec. user=mdettweiler [2016-05-18 08:52:26] 635*2^1429556-1 is not prime. Res64: CA51DFA710937B0A Time : 0.0 sec. user=mdettweiler [2016-05-18 09:00:35] 735*2^1429556-1 is not prime. Res64: 2B25A3513ADEE1C0 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:00:36] 789*2^1429556-1 is not prime. Res64: 1DF3C53ED59682A9 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:00:37] 813*2^1429556-1 is not prime. Res64: 632F9FA609B0A05D Time : 0.0 sec. user=mdettweiler [2016-05-18 09:00:38] 839*2^1429556-1 is not prime. Res64: 98AFD749B718ADD4 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:00:39] 869*2^1429556-1 is not prime. Res64: 9437FA065E2CDDFA Time : 0.0 sec. user=mdettweiler [2016-05-18 09:12:39] 899*2^1429556-1 is not prime. Res64: 7A11D98EE111937B Time : 0.0 sec. user=mdettweiler [2016-05-18 09:12:40] 945*2^1429556-1 is not prime. Res64: 283295AE2F7E2897 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:12:40] 969*2^1429556-1 is not prime. Res64: 05924ED353BD8B81 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:12:41] 609*2^1429557-1 is not prime. Res64: E625D808B3614CC6 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:12:41] 625*2^1429557-1 is not prime. Res64: 8B4C215EAC1EA0EF Time : 0.0 sec. user=mdettweiler [2016-05-18 09:33:05] 777*2^1429557-1 is not prime. Res64: 1605B10717F920F4 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:33:06] 835*2^1429557-1 is not prime. Res64: F645474DDC460DBB Time : 0.0 sec. user=mdettweiler [2016-05-18 09:33:06] 919*2^1429557-1 is not prime. Res64: BB5E50C3ADD72BA9 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:33:06] 991*2^1429557-1 is not prime. Res64: A080483DF0345687 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:33:07] 603*2^1429558-1 is not prime. Res64: 239CF7AEB3EB96B9 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:38:21] 605*2^1429558-1 is not prime. Res64: 9EC3F63416C379B0 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:38:21] 611*2^1429558-1 is not prime. Res64: F66A3177EA8E90FE Time : 0.0 sec. user=mdettweiler [2016-05-18 09:38:21] 623*2^1429558-1 is not prime. Res64: 68049269747BC9C1 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:38:22] 731*2^1429558-1 is not prime. Res64: 418F75B06475C63A Time : 0.0 sec. user=mdettweiler [2016-05-18 09:38:22] 743*2^1429558-1 is not prime. Res64: B91A034688596091 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:46:28] 831*2^1429558-1 is not prime. Res64: BDE1D72C6753033C Time : 0.0 sec. user=mdettweiler [2016-05-18 09:46:28] 887*2^1429558-1 is not prime. Res64: 0DCB7497E5948D28 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:46:29] 891*2^1429558-1 is not prime. Res64: D9CA1BEF2E68CF3C Time : 0.0 sec. user=mdettweiler [2016-05-18 09:46:29] 619*2^1429559-1 is not prime. Res64: ECC8FF2D16B7BB70 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:46:30] 649*2^1429559-1 is not prime. Res64: 4151687F037C1E3F Time : 0.0 sec. user=mdettweiler [2016-05-18 09:58:41] 679*2^1429559-1 is not prime. Res64: 90C38978957F8149 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:58:41] 829*2^1429559-1 is not prime. Res64: 4C71DF5CA678C631 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:58:41] 939*2^1429559-1 is not prime. Res64: 8428603641C006EB Time : 0.0 sec. user=mdettweiler [2016-05-18 09:58:42] 949*2^1429559-1 is not prime. Res64: 58DB5DA4D4132227 Time : 0.0 sec. user=mdettweiler [2016-05-18 09:58:42] 699*2^1429560-1 is not prime. Res64: 107DBE82D3E0E277 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:19:24] 863*2^1429560-1 is not prime. Res64: F7E2BFA2DA02D173 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:19:25] 899*2^1429560-1 is not prime. Res64: 2D8A4F822F053E50 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:19:25] 927*2^1429560-1 is not prime. Res64: 8C1F55A3AF60A6F7 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:19:26] 607*2^1429561-1 is not prime. Res64: 5C1AAF3FE766484D Time : 0.0 sec. user=mdettweiler [2016-05-18 10:19:26] 615*2^1429561-1 is not prime. Res64: 8F0F8F795F2AAE23 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:24:16] 619*2^1429561-1 is not prime. Res64: B81A16422F46D8E2 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:24:16] 705*2^1429561-1 is not prime. Res64: 9AB739E5064BA653 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:24:17] 777*2^1429561-1 is not prime. Res64: DD36ABC806FE5A37 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:24:17] 811*2^1429561-1 is not prime. Res64: 6AFBF00725A59411 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:24:18] 849*2^1429561-1 is not prime. Res64: D14B6A8A037F1603 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:32:30] 951*2^1429561-1 is not prime. Res64: 88220D7B27334447 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:32:31] 975*2^1429561-1 is not prime. Res64: 303FE71F94EEF6F9 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:32:31] 617*2^1429562-1 is not prime. Res64: E95C4594626C39B2 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:32:31] 665*2^1429562-1 is not prime. Res64: 813986D442D3FA4F Time : 0.0 sec. user=mdettweiler [2016-05-18 10:32:32] 767*2^1429562-1 is not prime. Res64: ADE2189066030DEB Time : 0.0 sec. user=mdettweiler [2016-05-18 10:44:31] 981*2^1429562-1 is not prime. Res64: CD510C784B76D7E0 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:44:31] 983*2^1429562-1 is not prime. Res64: 09928DFE3BA6E9BF Time : 0.0 sec. user=mdettweiler [2016-05-18 10:44:32] 619*2^1429563-1 is not prime. Res64: 1A0D74D14D4E85E9 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:44:32] 669*2^1429563-1 is not prime. Res64: D66ED72BF5A25549 Time : 0.0 sec. user=mdettweiler [2016-05-18 10:44:33] 675*2^1429563-1 is not prime. Res64: A9C82FD916F0371C Time : 0.0 sec. user=mdettweiler [2016-05-18 11:05:17] 679*2^1429563-1 is not prime. Res64: 8D8E0728E841A46C Time : 0.0 sec. user=mdettweiler [2016-05-18 11:05:19] 735*2^1429563-1 is not prime. Res64: 7C4CC48292DC750D Time : 0.0 sec. user=mdettweiler [2016-05-18 11:05:20] 765*2^1429563-1 is not prime. Res64: 5DCDEFF1A70A1487 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:05:22] 919*2^1429563-1 is not prime. Res64: B3FB86284E4D0A2B Time : 0.0 sec. user=mdettweiler [2016-05-18 11:05:24] 605*2^1429564-1 is not prime. Res64: 33ED8BF9885657DE Time : 0.0 sec. user=mdettweiler [2016-05-18 11:10:09] 609*2^1429564-1 is not prime. Res64: DD57BE38B33B29D6 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:10:09] 773*2^1429564-1 is not prime. Res64: 0465562A0E9282BD Time : 0.0 sec. user=mdettweiler [2016-05-18 11:10:10] 843*2^1429564-1 is not prime. Res64: 03E3BC9D4C60FA54 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:10:10] 885*2^1429564-1 is not prime. Res64: 29710361E95FC79F Time : 0.0 sec. user=mdettweiler [2016-05-18 11:10:10] 717*2^1429565-1 is not prime. Res64: 709C732023593FC8 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:19:47] 721*2^1429565-1 is not prime. Res64: 00AD331F5BF4BED8 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:19:48] 789*2^1429565-1 is not prime. Res64: 263FC79A85FEE582 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:19:48] 831*2^1429565-1 is not prime. Res64: 061D83F71E0C283D Time : 0.0 sec. user=mdettweiler [2016-05-18 11:19:48] 615*2^1429566-1 is not prime. Res64: E1FEF09AC28F5D6C Time : 0.0 sec. user=mdettweiler [2016-05-18 11:19:49] 705*2^1429566-1 is not prime. Res64: 304385BE1F479494 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:31:45] 711*2^1429566-1 is not prime. Res64: 5231A548AB62FB84 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:31:45] 747*2^1429566-1 is not prime. Res64: C372802646BA4BE8 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:31:45] 761*2^1429566-1 is not prime. Res64: 59991601935E1148 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:31:46] 875*2^1429566-1 is not prime. Res64: 0569654F1857848B Time : 0.0 sec. user=mdettweiler [2016-05-18 11:31:46] 971*2^1429566-1 is not prime. Res64: A0A552758AB015D2 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:52:46] 983*2^1429566-1 is not prime. Res64: 22A62074374CE0CA Time : 0.0 sec. user=mdettweiler [2016-05-18 11:52:46] 621*2^1429567-1 is not prime. Res64: 0025E029E5EF76EB Time : 0.0 sec. user=mdettweiler [2016-05-18 11:52:47] 651*2^1429567-1 is not prime. Res64: 2FF60EB38DC6B12D Time : 0.0 sec. user=mdettweiler [2016-05-18 11:52:47] 885*2^1429567-1 is not prime. Res64: 5BB118D1C7E6E382 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:52:48] 945*2^1429567-1 is not prime. Res64: FE06A9AF2FB8B369 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:57:21] 645*2^1429568-1 is not prime. Res64: BD7CFC6662BE46FA Time : 0.0 sec. user=mdettweiler [2016-05-18 11:57:22] 795*2^1429568-1 is not prime. Res64: D91E1FA7021B805F Time : 0.0 sec. user=mdettweiler [2016-05-18 11:57:22] 819*2^1429568-1 is not prime. Res64: F82C76A3F56E0438 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:57:23] 839*2^1429568-1 is not prime. Res64: 2387E2D678958571 Time : 0.0 sec. user=mdettweiler [2016-05-18 11:57:23] 609*2^1429569-1 is not prime. Res64: 83BA647B38C29FDD Time : 0.0 sec. user=mdettweiler [2016-05-18 12:05:45] 649*2^1429569-1 is not prime. Res64: A9CCBC0CFC2E3D96 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:05:47] 691*2^1429569-1 is not prime. Res64: 5BB52E711118A163 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:05:48] 747*2^1429569-1 is not prime. Res64: 843ECC77C261FD86 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:05:49] 811*2^1429569-1 is not prime. Res64: 9F173760AD226AD9 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:05:50] 889*2^1429569-1 is not prime. Res64: 14254FA693CF6C53 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:17:07] 997*2^1429569-1 is not prime. Res64: EC72E06E78B076F3 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:17:08] 665*2^1429570-1 is not prime. Res64: 33B380F6BCA9A113 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:17:08] 675*2^1429570-1 is not prime. Res64: 7A38835445470D5D Time : 0.0 sec. user=mdettweiler [2016-05-18 12:17:09] 741*2^1429570-1 is not prime. Res64: A01F19F10B5076CB Time : 0.0 sec. user=mdettweiler [2016-05-18 12:17:09] 917*2^1429570-1 is not prime. Res64: C37A594D2730BDD4 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:38:03] 621*2^1429571-1 is not prime. Res64: 68801524C7385823 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:38:03] 663*2^1429571-1 is not prime. Res64: 406DA2D794502CFF Time : 0.0 sec. user=mdettweiler [2016-05-18 12:38:03] 745*2^1429571-1 is not prime. Res64: 14A6FF663360C1E4 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:38:04] 855*2^1429571-1 is not prime. Res64: 9FA666BA565FBFA0 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:38:04] 859*2^1429571-1 is not prime. Res64: 181DB660191D1D1A Time : 0.0 sec. user=mdettweiler [2016-05-18 12:42:36] 913*2^1429571-1 is not prime. Res64: 7E1442CD5D54AAF7 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:42:36] 657*2^1429572-1 is not prime. Res64: C36A1D2FBF190F0A Time : 0.0 sec. user=mdettweiler [2016-05-18 12:42:37] 669*2^1429572-1 is not prime. Res64: 91013DE2685E32E7 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:42:37] 737*2^1429572-1 is not prime. Res64: 676AA31A96A21E0E Time : 0.0 sec. user=mdettweiler [2016-05-18 12:42:37] 759*2^1429572-1 is not prime. Res64: 00CE10064B33695A Time : 0.0 sec. user=mdettweiler [2016-05-18 12:51:12] 875*2^1429572-1 is not prime. Res64: 345DBDEAD50572B6 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:51:12] 887*2^1429572-1 is not prime. Res64: 7CF8E561B6564BAC Time : 0.0 sec. user=mdettweiler [2016-05-18 12:51:13] 903*2^1429572-1 is not prime. Res64: 0EF21C4233B51A04 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:51:13] 947*2^1429572-1 is not prime. Res64: 35D4519D396306D9 Time : 0.0 sec. user=mdettweiler [2016-05-18 12:51:14] 987*2^1429572-1 is not prime. Res64: A139CD42233F6B8D Time : 0.0 sec. user=mdettweiler [2016-05-18 13:02:09] 615*2^1429573-1 is not prime. Res64: 85F489F7738BEFA0 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:02:09] 757*2^1429573-1 is not prime. Res64: F37769961217298B Time : 0.0 sec. user=mdettweiler [2016-05-18 13:02:10] 877*2^1429573-1 is not prime. Res64: 302F42AC70741BEA Time : 0.0 sec. user=mdettweiler [2016-05-18 13:02:10] 895*2^1429573-1 is not prime. Res64: 332699A1617E5442 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:02:11] 897*2^1429573-1 is not prime. Res64: F6BE28D85A8B1334 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:23:03] 901*2^1429573-1 is not prime. Res64: DDF496C0C4024468 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:23:04] 955*2^1429573-1 is not prime. Res64: B1D719237267038F Time : 0.0 sec. user=mdettweiler [2016-05-18 13:23:04] 617*2^1429574-1 is not prime. Res64: A8B54FD0D1819A5E Time : 0.0 sec. user=mdettweiler [2016-05-18 13:23:05] 663*2^1429574-1 is not prime. Res64: BE2481F0DA04A86D Time : 0.0 sec. user=mdettweiler [2016-05-18 13:23:05] 705*2^1429574-1 is not prime. Res64: 986A6DF0F19AA73B Time : 0.0 sec. user=mdettweiler [2016-05-18 13:27:37] 755*2^1429574-1 is not prime. Res64: B138895F9163FA2E Time : 0.0 sec. user=mdettweiler [2016-05-18 13:27:37] 813*2^1429574-1 is not prime. Res64: BB8811B3A15B8574 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:27:38] 915*2^1429574-1 is not prime. Res64: 9D5B9EA36ADBFED0 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:27:38] 993*2^1429574-1 is not prime. Res64: C9DB15C6EEB0AE7F Time : 0.0 sec. user=mdettweiler [2016-05-18 13:27:38] 995*2^1429574-1 is not prime. Res64: 2C7E3F224BF7C579 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:36:15] 619*2^1429575-1 is not prime. Res64: F7E4C01FBEEE1DC2 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:36:15] 633*2^1429575-1 is not prime. Res64: 784561209E67E580 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:36:16] 609*2^1429576-1 is not prime. Res64: D451F144D3E7EE3E Time : 0.0 sec. user=mdettweiler [2016-05-18 13:36:16] 629*2^1429576-1 is not prime. Res64: 5D9C48C453DF8705 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:36:17] 857*2^1429576-1 is not prime. Res64: 2F0A13005D8FBC21 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:47:33] 875*2^1429576-1 is not prime. Res64: F869B5B9704278A3 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:47:33] 909*2^1429576-1 is not prime. Res64: D969467ADDC18986 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:47:33] 957*2^1429576-1 is not prime. Res64: 21C6F770B8355265 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:47:34] 993*2^1429576-1 is not prime. Res64: 3C4E3567A57AB979 Time : 0.0 sec. user=mdettweiler [2016-05-18 13:47:34] 999*2^1429576-1 is not prime. Res64: 40D8643DD99D277F Time : 0.0 sec. user=mdettweiler [2016-05-18 14:08:20] 645*2^1429577-1 is not prime. Res64: 99C7C373E1DD12AD Time : 0.0 sec. user=mdettweiler [2016-05-18 14:08:20] 651*2^1429577-1 is not prime. Res64: 5AB53CB1F626EB86 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:08:21] 949*2^1429577-1 is not prime. Res64: C5D743DB260F8F43 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:08:21] 955*2^1429577-1 is not prime. Res64: 28709430A99B43C2 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:08:22] 605*2^1429578-1 is not prime. Res64: 1FDC9D51B4BB6187 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:12:46] 663*2^1429578-1 is not prime. Res64: A69EFC5333D43DBA Time : 0.0 sec. user=mdettweiler [2016-05-18 14:12:47] 755*2^1429578-1 is not prime. Res64: 245AB3849A5557EA Time : 0.0 sec. user=mdettweiler [2016-05-18 14:12:47] 765*2^1429578-1 is not prime. Res64: 466D81095EF3765F Time : 0.0 sec. user=mdettweiler [2016-05-18 14:12:48] 893*2^1429578-1 is not prime. Res64: C107E9498BB678F8 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:12:48] 963*2^1429578-1 is not prime. Res64: 700D5E2C2E970466 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:21:29] 639*2^1429579-1 is not prime. Res64: C9DDEF7B51DE70FC Time : 0.0 sec. user=mdettweiler [2016-05-18 14:21:30] 733*2^1429579-1 is not prime. Res64: 854AA0EAEA88122D Time : 0.0 sec. user=mdettweiler [2016-05-18 14:21:30] 769*2^1429579-1 is not prime. Res64: 10324E52FCDB5E1D Time : 0.0 sec. user=mdettweiler [2016-05-18 14:21:30] 829*2^1429579-1 is not prime. Res64: F04EB3F8A42FB905 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:21:31] 883*2^1429579-1 is not prime. Res64: 282BA16FE07F57C6 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:32:51] 925*2^1429579-1 is not prime. Res64: B1A957A46048CE83 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:32:51] 975*2^1429579-1 is not prime. Res64: 06362179F885C865 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:32:51] 857*2^1429580-1 is not prime. Res64: 1DDAA5D1DA7ACC7F Time : 0.0 sec. user=mdettweiler [2016-05-18 14:32:52] 875*2^1429580-1 is not prime. Res64: 7D46D4EB4A20A795 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:32:52] 957*2^1429580-1 is not prime. Res64: 3A886ADAB480ED81 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:54:01] 675*2^1429581-1 is not prime. Res64: 1FDD060B94FB81EC Time : 0.0 sec. user=mdettweiler [2016-05-18 14:54:02] 747*2^1429581-1 is not prime. Res64: 9BB850135A342387 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:54:02] 751*2^1429581-1 is not prime. Res64: FEFC73661703B7E8 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:54:03] 743*2^1429582-1 is not prime. Res64: D02F50F9218C534B Time : 0.0 sec. user=mdettweiler [2016-05-18 14:54:03] 761*2^1429582-1 is not prime. Res64: C72D09817ED335EA Time : 0.0 sec. user=mdettweiler [2016-05-18 14:58:19] 791*2^1429582-1 is not prime. Res64: 03876BC7E8F5BF36 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:58:19] 923*2^1429582-1 is not prime. Res64: 17D82E1F4F60BF4C Time : 0.0 sec. user=mdettweiler [2016-05-18 14:58:20] 983*2^1429582-1 is not prime. Res64: 64EF0ECC3505CAF3 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:58:20] 661*2^1429583-1 is not prime. Res64: 8922787FC8CD5223 Time : 0.0 sec. user=mdettweiler [2016-05-18 14:58:21] 663*2^1429583-1 is not prime. Res64: DBCCC59DECD9DB16 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:07:00] 745*2^1429583-1 is not prime. Res64: 25D9384B661BA25F Time : 0.0 sec. user=mdettweiler [2016-05-18 15:07:04] 789*2^1429583-1 is not prime. Res64: 0AE1A14742F2A2FC Time : 0.0 sec. user=mdettweiler [2016-05-18 15:07:05] 805*2^1429583-1 is not prime. Res64: 6E388A249EE80E5D Time : 0.0 sec. user=mdettweiler [2016-05-18 15:07:06] 811*2^1429583-1 is not prime. Res64: A578CA964AFC9B42 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:07:08] 861*2^1429583-1 is not prime. Res64: 2FAAD15E66545E12 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:18:12] 943*2^1429583-1 is not prime. Res64: 547CDFE8F7E174B5 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:18:13] 973*2^1429583-1 is not prime. Res64: 6DF8C906C9A1B259 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:18:13] 993*2^1429583-1 is not prime. Res64: 5CA039430FF8F79D Time : 0.0 sec. user=mdettweiler [2016-05-18 15:18:14] 605*2^1429584-1 is not prime. Res64: 5B79418833A3E633 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:18:14] 639*2^1429584-1 is not prime. Res64: DC11677392395552 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:39:28] 675*2^1429584-1 is not prime. Res64: 4CA24DF9A763821E Time : 0.0 sec. user=mdettweiler [2016-05-18 15:39:28] 737*2^1429584-1 is not prime. Res64: F93BC42F5EE16AE6 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:39:29] 759*2^1429584-1 is not prime. Res64: BAD3B926D61AC754 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:39:29] 863*2^1429584-1 is not prime. Res64: DF2C9A5098E2DD07 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:39:30] 875*2^1429584-1 is not prime. Res64: F093E87EAA22B5DC Time : 0.0 sec. user=mdettweiler [2016-05-18 15:43:37] 927*2^1429584-1 is not prime. Res64: 2E59CCFFCBD5A844 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:43:37] 609*2^1429585-1 is not prime. Res64: 2133833E87B0B29A Time : 0.0 sec. user=mdettweiler [2016-05-18 15:43:37] 687*2^1429585-1 is not prime. Res64: 4CF57B20A040963A Time : 0.0 sec. user=mdettweiler [2016-05-18 15:43:38] 705*2^1429585-1 is not prime. Res64: E9706BBE662764E4 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:43:38] 765*2^1429585-1 is not prime. Res64: BD3B2BFB8971A1C7 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:52:25] 671*2^1429586-1 is not prime. Res64: 23E2C4CF2A0602BF Time : 0.0 sec. user=mdettweiler [2016-05-18 15:52:26] 747*2^1429586-1 is not prime. Res64: 75DAED752457E26B Time : 0.0 sec. user=mdettweiler [2016-05-18 15:52:26] 773*2^1429586-1 is not prime. Res64: F9615C94DC240537 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:52:27] 783*2^1429586-1 is not prime. Res64: ECB695ABA4E2CE92 Time : 0.0 sec. user=mdettweiler [2016-05-18 15:52:27] 833*2^1429586-1 is not prime. Res64: 47EAA33CB8F4C7DC Time : 0.0 sec. user=mdettweiler [2016-05-18 16:03:23] 875*2^1429586-1 is not prime. Res64: 26C36C0A5BE52716 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:03:24] 935*2^1429586-1 is not prime. Res64: 7CB3E5FD014A46F8 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:03:25] 971*2^1429586-1 is not prime. Res64: EF61BA09FC5B3533 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:03:26] 741*2^1429587-1 is not prime. Res64: E829426AC1160917 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:03:27] 793*2^1429587-1 is not prime. Res64: 39F0F04FD16E2B88 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:24:49] 909*2^1429587-1 is not prime. Res64: 989A58189A57CDCA Time : 0.0 sec. user=mdettweiler [2016-05-18 16:24:49] 603*2^1429588-1 is not prime. Res64: 52EA15C671D998A4 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:24:50] 687*2^1429588-1 is not prime. Res64: 8B38DD563126EA00 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:24:50] 773*2^1429588-1 is not prime. Res64: 3C4FDD525B0CC58F Time : 0.0 sec. user=mdettweiler [2016-05-18 16:24:50] 783*2^1429588-1 is not prime. Res64: D15BF11ECD6CC166 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:28:49] 797*2^1429588-1 is not prime. Res64: 5C982D10CC9D0662 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:28:49] 803*2^1429588-1 is not prime. Res64: 84A98DFA0FF12A74 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:28:50] 843*2^1429588-1 is not prime. Res64: 765A71C0F1A7C2F7 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:28:50] 615*2^1429589-1 is not prime. Res64: B7D7677A9E6F6AB3 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:28:51] 675*2^1429589-1 is not prime. Res64: 22D92BF50039E3FC Time : 0.0 sec. user=mdettweiler [2016-05-18 16:37:51] 685*2^1429589-1 is not prime. Res64: A469F1F2FE21F8B7 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:37:51] 801*2^1429589-1 is not prime. Res64: 25C4DA4675C80B65 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:37:52] 889*2^1429589-1 is not prime. Res64: 9BCF95BE07640724 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:37:52] 997*2^1429589-1 is not prime. Res64: 7D4CFD240BFE86FD Time : 0.0 sec. user=mdettweiler [2016-05-18 16:37:52] 651*2^1429590-1 is not prime. Res64: DDD091A3C2C0AFE4 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:49:02] 681*2^1429590-1 is not prime. Res64: 526CFAEF6E256504 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:49:03] 695*2^1429590-1 is not prime. Res64: 81B00223614AD696 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:49:03] 761*2^1429590-1 is not prime. Res64: 02915A3D91A83A44 Time : 0.0 sec. user=mdettweiler [2016-05-18 16:49:04] 783*2^1429590-1 is not prime. Res64: 181FA8698499D0BA Time : 0.0 sec. user=mdettweiler [2016-05-18 16:49:04] 833*2^1429590-1 is not prime. Res64: D8853100F974B920 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:10:13] 741*2^1429591-1 is not prime. Res64: ACBFEC53A06BC787 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:10:14] 861*2^1429591-1 is not prime. Res64: 4DC311E0AAC2A1A3 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:10:14] 939*2^1429591-1 is not prime. Res64: A3B5EE77D638D713 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:10:15] 961*2^1429591-1 is not prime. Res64: E10CE9F482F6EE9D Time : 0.0 sec. user=mdettweiler [2016-05-18 17:10:15] 693*2^1429592-1 is not prime. Res64: 6FBF954C7618A8CB Time : 0.0 sec. user=mdettweiler [2016-05-18 17:13:53] 657*2^1429593-1 is not prime. Res64: 802E2910DF2FD8A9 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:13:53] 781*2^1429593-1 is not prime. Res64: 9432B7AF93DBACB4 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:13:54] 847*2^1429593-1 is not prime. Res64: DB5C5A331D14AD1C Time : 0.0 sec. user=mdettweiler [2016-05-18 17:13:54] 861*2^1429593-1 is not prime. Res64: E0B4139667E0A785 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:13:54] 885*2^1429593-1 is not prime. Res64: 9FE449F12AF41501 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:22:52] 895*2^1429593-1 is not prime. Res64: 07F8023F67F5D893 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:22:53] 987*2^1429593-1 is not prime. Res64: 24527F9401AC8734 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:22:53] 605*2^1429594-1 is not prime. Res64: 71378A48ECA1E6A6 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:22:54] 645*2^1429594-1 is not prime. Res64: 0FCB96E3C37CA962 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:22:55] 651*2^1429594-1 is not prime. Res64: C17DB54F025FA6DD Time : 0.0 sec. user=mdettweiler [2016-05-18 17:34:06] 723*2^1429594-1 is not prime. Res64: 0FC983CE76360ADB Time : 0.0 sec. user=mdettweiler [2016-05-18 17:34:06] 731*2^1429594-1 is not prime. Res64: AB9C984BFBB13D1A Time : 0.0 sec. user=mdettweiler [2016-05-18 17:34:07] 825*2^1429594-1 is not prime. Res64: 7FED792E06D63F5B Time : 0.0 sec. user=mdettweiler [2016-05-18 17:34:07] 857*2^1429594-1 is not prime. Res64: D87E83251FF79353 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:34:07] 915*2^1429594-1 is not prime. Res64: ACA8C17AFCFF989B Time : 0.0 sec. user=mdettweiler [2016-05-18 17:55:20] 951*2^1429594-1 is not prime. Res64: C28367A959021B00 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:55:20] 823*2^1429595-1 is not prime. Res64: A102537AB3CACCAE Time : 0.0 sec. user=mdettweiler [2016-05-18 17:55:21] 737*2^1429596-1 is not prime. Res64: D189F9C6669FAE9A Time : 0.0 sec. user=mdettweiler [2016-05-18 17:55:21] 843*2^1429596-1 is not prime. Res64: 2D8122FF61480A36 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:55:21] 893*2^1429596-1 is not prime. Res64: 5D21C2E0B72E38EF Time : 0.0 sec. user=mdettweiler [2016-05-18 17:58:53] 975*2^1429596-1 is not prime. Res64: 62B65C1690C4D3F4 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:58:53] 983*2^1429596-1 is not prime. Res64: 5F78D40BA996DCBD Time : 0.0 sec. user=mdettweiler [2016-05-18 17:58:54] 999*2^1429596-1 is not prime. Res64: 54E834CCA6A29E94 Time : 0.0 sec. user=mdettweiler [2016-05-18 17:58:54] 619*2^1429597-1 is not prime. Res64: A485E6813A92B5DD Time : 0.0 sec. user=mdettweiler [2016-05-18 17:58:54] 741*2^1429597-1 is not prime. Res64: D1799F13065D60B1 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:08:02] 747*2^1429597-1 is not prime. Res64: 6C02F88EFBB3C414 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:08:03] 859*2^1429597-1 is not prime. Res64: B19652A7BCC20D80 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:08:03] 889*2^1429597-1 is not prime. Res64: AB2F1D6E10229446 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:08:03] 897*2^1429597-1 is not prime. Res64: 1B1D9715C27F0F6E Time : 0.0 sec. user=mdettweiler [2016-05-18 18:08:04] 645*2^1429598-1 is not prime. Res64: 42012A8D3F30478F Time : 0.0 sec. user=mdettweiler [2016-05-18 18:19:02] 705*2^1429598-1 is not prime. Res64: 8D44AD756C3ED3BF Time : 0.0 sec. user=mdettweiler [2016-05-18 18:19:03] 713*2^1429598-1 is not prime. Res64: 8D88EB9320735EAF Time : 0.0 sec. user=mdettweiler [2016-05-18 18:19:03] 791*2^1429598-1 is not prime. Res64: E3901B3B1902DAF1 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:19:03] 887*2^1429598-1 is not prime. Res64: 177CEDE63B4BA62B Time : 0.0 sec. user=mdettweiler [2016-05-18 18:19:04] 941*2^1429598-1 is not prime. Res64: C3E45C070E98C35B Time : 0.0 sec. user=mdettweiler [2016-05-18 18:40:27] 619*2^1429599-1 is not prime. Res64: A894CC79F00E8E5F Time : 0.0 sec. user=mdettweiler [2016-05-18 18:40:28] 693*2^1429599-1 is not prime. Res64: 846C111A82EB3C33 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:40:28] 703*2^1429599-1 is not prime. Res64: F497AF987EF93031 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:40:29] 741*2^1429599-1 is not prime. Res64: C2173213545B6B95 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:40:29] 825*2^1429599-1 is not prime. Res64: F3A2B4A42FC2572F Time : 0.0 sec. user=mdettweiler [2016-05-18 18:44:00] 891*2^1429599-1 is not prime. Res64: 3BAC908C835478AA Time : 0.0 sec. user=mdettweiler [2016-05-18 18:44:01] 909*2^1429599-1 is not prime. Res64: 0E845BA144C9193D Time : 0.0 sec. user=mdettweiler [2016-05-18 18:44:01] 921*2^1429599-1 is not prime. Res64: 7F065CF13256CEDB Time : 0.0 sec. user=mdettweiler [2016-05-18 18:44:01] 931*2^1429599-1 is not prime. Res64: 2A4A643FDD8B305C Time : 0.0 sec. user=mdettweiler [2016-05-18 18:44:02] 933*2^1429599-1 is not prime. Res64: 751A66657116424A Time : 0.0 sec. user=mdettweiler [2016-05-18 18:53:17] 675*2^1429600-1 is not prime. Res64: 5FCCB47807DBFE1C Time : 0.0 sec. user=mdettweiler [2016-05-18 18:53:18] 833*2^1429600-1 is not prime. Res64: 8E4AB3D88C61C194 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:53:18] 845*2^1429600-1 is not prime. Res64: D056A4771DBA26BD Time : 0.0 sec. user=mdettweiler [2016-05-18 18:53:18] 909*2^1429600-1 is not prime. Res64: 712E1E10860A20A4 Time : 0.0 sec. user=mdettweiler [2016-05-18 18:53:19] 929*2^1429600-1 is not prime. Res64: 766EE705D1479582 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:04:26] 965*2^1429600-1 is not prime. Res64: 78349D002ECD3B07 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:04:27] 983*2^1429600-1 is not prime. Res64: A75B36CC60651211 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:04:28] 989*2^1429600-1 is not prime. Res64: EE8C83DEA2499B63 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:04:30] 607*2^1429601-1 is not prime. Res64: F6E1106C62340FA0 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:04:31] 627*2^1429601-1 is not prime. Res64: ACCB4774F20EAA68 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:25:42] 715*2^1429601-1 is not prime. Res64: 63BFBD4A9D763566 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:25:43] 837*2^1429601-1 is not prime. Res64: 68266149B23B8086 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:25:43] 937*2^1429601-1 is not prime. Res64: F1DA095F20D02EAC Time : 0.0 sec. user=mdettweiler [2016-05-18 19:25:44] 955*2^1429601-1 is not prime. Res64: C60751E80FA06F43 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:25:44] 979*2^1429601-1 is not prime. Res64: 815D8750AD6CD313 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:29:05] 713*2^1429602-1 is not prime. Res64: A1BDA4301A7945A8 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:29:05] 723*2^1429602-1 is not prime. Res64: F6EF8A83720B77D6 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:29:06] 737*2^1429602-1 is not prime. Res64: B78F7132E0E0E26F Time : 0.0 sec. user=mdettweiler [2016-05-18 19:29:06] 755*2^1429602-1 is not prime. Res64: 79797D6FC95F5C66 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:29:06] 797*2^1429602-1 is not prime. Res64: 87AAB03AAAAA6DB1 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:38:31] 807*2^1429602-1 is not prime. Res64: 8C2120AD67F0060F Time : 0.0 sec. user=mdettweiler [2016-05-18 19:38:31] 893*2^1429602-1 is not prime. Res64: C95BA7321FCF6947 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:38:31] 855*2^1429603-1 is not prime. Res64: 2967725FCF41B021 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:38:32] 871*2^1429603-1 is not prime. Res64: 0C69959234B0C45D Time : 0.0 sec. user=mdettweiler [2016-05-18 19:38:32] 901*2^1429603-1 is not prime. Res64: 13360311D6F79690 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:49:55] 617*2^1429604-1 is not prime. Res64: E2062133885C3F11 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:49:56] 717*2^1429604-1 is not prime. Res64: C458D0836403721E Time : 0.0 sec. user=mdettweiler [2016-05-18 19:49:56] 899*2^1429604-1 is not prime. Res64: 17F42721FE21D120 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:49:57] 735*2^1429605-1 is not prime. Res64: E6BBB118E49EEEA7 Time : 0.0 sec. user=mdettweiler [2016-05-18 19:49:57] 787*2^1429605-1 is not prime. Res64: D63E2187B0E24F77 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:11:12] 999*2^1429605-1 is not prime. Res64: A7E51AB5E7533C21 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:11:13] 635*2^1429606-1 is not prime. Res64: C90B5A1E5A7E434E Time : 0.0 sec. user=mdettweiler [2016-05-18 20:11:13] 741*2^1429606-1 is not prime. Res64: 17ACFBCD932FA4B5 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:11:14] 755*2^1429606-1 is not prime. Res64: 8031C5619F9294A6 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:11:14] 777*2^1429606-1 is not prime. Res64: BEB09244AAA8C4F5 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:14:08] 843*2^1429606-1 is not prime. Res64: 29C5F6FC2E9919D7 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:14:08] 983*2^1429606-1 is not prime. Res64: 66A15AA7AE9DD5BB Time : 0.0 sec. user=mdettweiler [2016-05-18 20:14:09] 619*2^1429607-1 is not prime. Res64: B9C88A131C518040 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:14:10] 705*2^1429607-1 is not prime. Res64: AB80C13FA850505D Time : 0.0 sec. user=mdettweiler [2016-05-18 20:14:10] 735*2^1429607-1 is not prime. Res64: 55B16846BB2CD351 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:23:35] 759*2^1429607-1 is not prime. Res64: 4B71BDFEF5CD9E4C Time : 0.0 sec. user=mdettweiler [2016-05-18 20:23:35] 627*2^1429608-1 is not prime. Res64: 66411E76343F3FC6 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:23:35] 695*2^1429608-1 is not prime. Res64: AFE2C768EA6CEC4B Time : 0.0 sec. user=mdettweiler [2016-05-18 20:23:36] 705*2^1429608-1 is not prime. Res64: C867E4B6C096861D Time : 0.0 sec. user=mdettweiler [2016-05-18 20:23:36] 819*2^1429608-1 is not prime. Res64: 32A2F9AAC2F51E0F Time : 0.0 sec. user=mdettweiler [2016-05-18 20:35:03] 845*2^1429608-1 is not prime. Res64: 63A42CBD9DEFD7F6 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:35:03] 879*2^1429608-1 is not prime. Res64: 977F22907EFF570C Time : 0.0 sec. user=mdettweiler [2016-05-18 20:35:04] 899*2^1429608-1 is not prime. Res64: 4334D8E0288E4E46 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:35:04] 923*2^1429608-1 is not prime. Res64: 3C359C1B12C9B2D0 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:35:05] 775*2^1429609-1 is not prime. Res64: 9510080B078EDF36 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:56:24] 831*2^1429609-1 is not prime. Res64: DA7646C68978A256 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:56:25] 909*2^1429609-1 is not prime. Res64: 8E8DFBF5A9D3C07D Time : 0.0 sec. user=mdettweiler [2016-05-18 20:56:25] 957*2^1429609-1 is not prime. Res64: 3AB04F0F18422B5D Time : 0.0 sec. user=mdettweiler [2016-05-18 20:56:26] 999*2^1429609-1 is not prime. Res64: 3A20B3B1A3C9C39F Time : 0.0 sec. user=mdettweiler [2016-05-18 20:56:26] 785*2^1429610-1 is not prime. Res64: 647FF8A3CC836983 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:59:05] 885*2^1429610-1 is not prime. Res64: 295FDC556BB60FD9 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:59:05] 911*2^1429610-1 is not prime. Res64: 58E563B6E50FFE44 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:59:06] 977*2^1429610-1 is not prime. Res64: 55CB754F462865E6 Time : 0.0 sec. user=mdettweiler [2016-05-18 20:59:06] 619*2^1429611-1 is not prime. Res64: 51C763A28C3CBCAB Time : 0.0 sec. user=mdettweiler [2016-05-18 20:59:06] 625*2^1429611-1 is not prime. Res64: CD2E8DCE7620AA84 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:08:52] 705*2^1429611-1 is not prime. Res64: AB5264F01EC69E9D Time : 0.0 sec. user=mdettweiler [2016-05-18 21:08:53] 805*2^1429611-1 is not prime. Res64: 62CCB5A64BDCE396 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:08:53] 823*2^1429611-1 is not prime. Res64: 13C0F5D704A43174 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:08:53] 835*2^1429611-1 is not prime. Res64: FDE7586759A8EAC3 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:08:54] 849*2^1429611-1 is not prime. Res64: 5E357D4B89A47165 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:20:20] 879*2^1429611-1 is not prime. Res64: 730382B3EF5A9269 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:20:20] 949*2^1429611-1 is not prime. Res64: 2EE508007E490D93 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:20:21] 955*2^1429611-1 is not prime. Res64: 010F0C212EF880DE Time : 0.0 sec. user=mdettweiler [2016-05-18 21:20:21] 975*2^1429611-1 is not prime. Res64: 6FAD24B890D2A5A8 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:20:22] 777*2^1429612-1 is not prime. Res64: 07A0E206CBEF05C7 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:41:36] 843*2^1429612-1 is not prime. Res64: 9CE56536DA34ED2D Time : 0.0 sec. user=mdettweiler [2016-05-18 21:41:36] 855*2^1429612-1 is not prime. Res64: 396BEBB75C49BA33 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:41:37] 929*2^1429612-1 is not prime. Res64: 436B1A28DDCB73F7 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:41:37] 649*2^1429613-1 is not prime. Res64: 85EC0289680E2C6D Time : 0.0 sec. user=mdettweiler [2016-05-18 21:41:37] 759*2^1429613-1 is not prime. Res64: 9AFFF7991E7AEFC8 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:44:09] 789*2^1429613-1 is not prime. Res64: 937787AC8031C7CB Time : 0.0 sec. user=mdettweiler [2016-05-18 21:44:09] 795*2^1429613-1 is not prime. Res64: 08338C7E1B06E616 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:44:10] 615*2^1429614-1 is not prime. Res64: 35491E954BDB1931 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:44:10] 635*2^1429614-1 is not prime. Res64: 9995E016669D0CF5 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:44:10] 641*2^1429614-1 is not prime. Res64: BD8C4B6B8DF4431A Time : 0.0 sec. user=mdettweiler [2016-05-18 21:53:55] 671*2^1429614-1 is not prime. Res64: C685E61CA5C6AC5F Time : 0.0 sec. user=mdettweiler [2016-05-18 21:53:56] 795*2^1429614-1 is not prime. Res64: C992B0C4782B650B Time : 0.0 sec. user=mdettweiler [2016-05-18 21:53:56] 679*2^1429615-1 is not prime. Res64: 7E8F41601FCDF2C4 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:53:56] 841*2^1429615-1 is not prime. Res64: F6B3E71717768FA3 Time : 0.0 sec. user=mdettweiler [2016-05-18 21:53:57] 883*2^1429615-1 is not prime. Res64: 54275279DC60B58E Time : 0.0 sec. user=mdettweiler [2016-05-18 22:05:26] 933*2^1429615-1 is not prime. Res64: 278E0B1623206A37 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:05:29] 717*2^1429616-1 is not prime. Res64: 6291BE70CDAAFB05 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:05:30] 773*2^1429616-1 is not prime. Res64: 57A7F3C1A94046B7 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:05:31] 927*2^1429616-1 is not prime. Res64: 17EF23CFA79B46BD Time : 0.0 sec. user=mdettweiler [2016-05-18 22:05:34] 963*2^1429616-1 is not prime. Res64: A8092AC228723D76 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:26:48] 983*2^1429616-1 is not prime. Res64: 5987EBA4BE984EC6 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:26:48] 999*2^1429616-1 is not prime. Res64: 6F9E2862A652D958 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:26:49] 717*2^1429617-1 is not prime. Res64: BEA8A38C1842B117 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:26:49] 747*2^1429617-1 is not prime. Res64: C735B1AC666660FF Time : 0.0 sec. user=mdettweiler [2016-05-18 22:26:50] 849*2^1429617-1 is not prime. Res64: 2D0E488560AF3DEC Time : 0.0 sec. user=mdettweiler [2016-05-18 22:29:13] 979*2^1429617-1 is not prime. Res64: 05DB06BE764BABD9 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:29:14] 991*2^1429617-1 is not prime. Res64: 8B26067828D65246 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:29:14] 645*2^1429618-1 is not prime. Res64: D82DA9D712A00D5A Time : 0.0 sec. user=mdettweiler [2016-05-18 22:29:15] 651*2^1429618-1 is not prime. Res64: C461CCECDA71A98D Time : 0.0 sec. user=mdettweiler [2016-05-18 22:29:15] 827*2^1429618-1 is not prime. Res64: 2C5B456189D8012D Time : 0.0 sec. user=mdettweiler [2016-05-18 22:39:08] 945*2^1429618-1 is not prime. Res64: 58A8FE4B95421668 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:39:08] 987*2^1429618-1 is not prime. Res64: 4A93C59F15F1ACC1 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:39:09] 645*2^1429619-1 is not prime. Res64: 798DF85E54326F59 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:39:09] 939*2^1429619-1 is not prime. Res64: 7499F6B881A6EA6B Time : 0.0 sec. user=mdettweiler [2016-05-18 22:39:10] 943*2^1429619-1 is not prime. Res64: D66A3CF18754F244 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:51:04] 973*2^1429619-1 is not prime. Res64: A5B23603912FADB0 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:51:04] 669*2^1429620-1 is not prime. Res64: 4CDD7C9B7A18CC49 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:51:05] 723*2^1429620-1 is not prime. Res64: 9344A765FEAF3216 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:51:05] 735*2^1429620-1 is not prime. Res64: E7D82AA22946EBE3 Time : 0.0 sec. user=mdettweiler [2016-05-18 22:51:06] 759*2^1429620-1 is not prime. Res64: A840D5216713FB95 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:12:03] 825*2^1429620-1 is not prime. Res64: CAFA585F6EEEC9DF Time : 0.0 sec. user=mdettweiler [2016-05-18 23:12:04] 845*2^1429620-1 is not prime. Res64: 6215C721DDBAAD92 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:12:04] 975*2^1429620-1 is not prime. Res64: D0DFC7C188AAA8CF Time : 0.0 sec. user=mdettweiler [2016-05-18 23:12:05] 983*2^1429620-1 is not prime. Res64: C700A46CBCE9FE3C Time : 0.0 sec. user=mdettweiler [2016-05-18 23:12:05] 645*2^1429621-1 is not prime. Res64: 15C2176B5A782D91 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:14:27] 649*2^1429621-1 is not prime. Res64: F41C92805266A7C6 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:14:27] 651*2^1429621-1 is not prime. Res64: 8FCC738A308E4378 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:14:28] 691*2^1429621-1 is not prime. Res64: 94F143E4E75742D0 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:14:28] 747*2^1429621-1 is not prime. Res64: 2A85840700D247D4 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:14:28] 877*2^1429621-1 is not prime. Res64: B3E05C7EC1741F8E Time : 0.0 sec. user=mdettweiler [2016-05-18 23:24:13] 939*2^1429621-1 is not prime. Res64: 14AD46F9FCB20397 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:24:13] 645*2^1429622-1 is not prime. Res64: A2721C75BA406056 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:24:14] 771*2^1429622-1 is not prime. Res64: C6ADE697B2A0748F Time : 0.0 sec. user=mdettweiler [2016-05-18 23:24:14] 797*2^1429622-1 is not prime. Res64: 4CFE9F84B5848091 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:24:15] 833*2^1429622-1 is not prime. Res64: A5706431EE58FDA4 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:36:18] 843*2^1429622-1 is not prime. Res64: 7BDD34AE30D129C8 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:36:18] 885*2^1429622-1 is not prime. Res64: C49F00FBAD09B572 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:36:19] 911*2^1429622-1 is not prime. Res64: 43C9BAB9C2015330 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:36:19] 923*2^1429622-1 is not prime. Res64: A09DBA490E5989C7 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:36:20] 953*2^1429622-1 is not prime. Res64: 3FBF05E4A0AD292F Time : 0.0 sec. user=mdettweiler [2016-05-18 23:57:19] 957*2^1429622-1 is not prime. Res64: F4C1292098AFFCBC Time : 0.0 sec. user=mdettweiler [2016-05-18 23:57:20] 983*2^1429622-1 is not prime. Res64: 49210031BD186D36 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:57:20] 661*2^1429623-1 is not prime. Res64: 8D932BAFF940DA14 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:57:21] 765*2^1429623-1 is not prime. Res64: 44706304A2C2E126 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:57:21] 789*2^1429623-1 is not prime. Res64: 44180A4C5281D64B Time : 0.0 sec. user=mdettweiler [2016-05-18 23:59:26] 853*2^1429623-1 is not prime. Res64: 7A50AE04EA4ADDED Time : 0.0 sec. user=mdettweiler [2016-05-18 23:59:26] 605*2^1429624-1 is not prime. Res64: 031E064C70293DE0 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:59:27] 785*2^1429624-1 is not prime. Res64: 3E25200E43CE797B Time : 0.0 sec. user=mdettweiler [2016-05-18 23:59:27] 939*2^1429624-1 is not prime. Res64: B6DCE6BFC8517A75 Time : 0.0 sec. user=mdettweiler [2016-05-18 23:59:27] 989*2^1429624-1 is not prime. Res64: B73ACEEB71B10863 Time : 0.0 sec.