user=mdettweiler [2015-01-03 00:01:51] 629*2^1388460-1 is not prime. Res64: D8ED3306B5ED2D62 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:01:51] 669*2^1388460-1 is not prime. Res64: 76A2ACE59BB79002 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:13:42] 689*2^1388460-1 is not prime. Res64: 1E536BD97BF3511F Time : 0.0 sec. user=mdettweiler [2015-01-03 00:13:43] 795*2^1388460-1 is not prime. Res64: E32971C3967C7B6B Time : 0.0 sec. user=mdettweiler [2015-01-03 00:13:52] 839*2^1388460-1 is not prime. Res64: C00AC214CE40672B Time : 0.0 sec. user=mdettweiler [2015-01-03 00:13:53] 873*2^1388460-1 is not prime. Res64: ADB21A0BC040B628 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:17:58] 975*2^1388460-1 is not prime. Res64: BAEB10BD89037953 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:17:58] 895*2^1388461-1 is not prime. Res64: B5FDDDEA19900F30 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:28:23] 979*2^1388461-1 is not prime. Res64: 3CDB950E16FB841F Time : 0.0 sec. user=mdettweiler [2015-01-03 00:28:23] 623*2^1388462-1 is not prime. Res64: F7C1676742AD22CB Time : 0.0 sec. user=mdettweiler [2015-01-03 00:41:17] 791*2^1388462-1 is not prime. Res64: 4B9A212B39BD8440 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:41:17] 743*2^1388462-1 is not prime. Res64: 66E60526E16B3652 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:41:17] 797*2^1388462-1 is not prime. Res64: 6E5C8A07D8E8ED07 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:41:17] 785*2^1388462-1 is not prime. Res64: D9EF8C5ABD7C2013 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:44:48] 813*2^1388462-1 is not prime. Res64: D3D63AFF52907722 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:44:48] 963*2^1388462-1 is not prime. Res64: 52A419174A358A08 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:55:08] 639*2^1388463-1 is not prime. Res64: 4ED4AB766BDF2ED8 Time : 0.0 sec. user=mdettweiler [2015-01-03 00:55:09] 705*2^1388463-1 is not prime. Res64: 258F242C57736468 Time : 0.0 sec. user=mdettweiler [2015-01-03 01:11:25] 969*2^1388463-1 is not prime. Res64: 33F538568BBCFCA6 Time : 0.0 sec. user=mdettweiler [2015-01-03 01:11:29] 677*2^1388464-1 is not prime. Res64: 8B1C3CBC3706DBFD Time : 0.0 sec. user=mdettweiler [2015-01-03 01:22:15] 719*2^1388464-1 is not prime. Res64: 30F392E7AE841711 Time : 0.0 sec. user=mdettweiler [2015-01-03 01:22:15] 869*2^1388464-1 is not prime. Res64: 89E9CAD548E7051F Time : 0.0 sec. user=mdettweiler [2015-01-03 01:40:07] 887*2^1388464-1 is not prime. Res64: 7B07021494EC0152 Time : 0.0 sec. user=mdettweiler [2015-01-03 01:40:07] 939*2^1388464-1 is not prime. Res64: 7AC044DDA6354167 Time : 0.0 sec. user=mdettweiler [2015-01-03 01:50:31] 975*2^1388464-1 is not prime. Res64: 14F79CBCC0C958FE Time : 0.0 sec. user=mdettweiler [2015-01-03 02:08:51] 717*2^1388465-1 is not prime. Res64: BEDF2494735ED107 Time : 0.0 sec. user=mdettweiler [2015-01-03 02:08:54] 949*2^1388465-1 is not prime. Res64: 580E833C124399EF Time : 0.0 sec. user=mdettweiler [2015-01-03 02:25:17] 879*2^1388463-1 is not prime. Res64: E675DAF2B9827BF5 Time : 0.0 sec. user=mdettweiler [2015-01-03 02:36:07] 849*2^1388463-1 is not prime. Res64: 75516EB58398E117 Time : 0.0 sec. user=mdettweiler [2015-01-03 02:36:07] 861*2^1388463-1 is not prime. Res64: 39C74848B87D6D58 Time : 0.0 sec. user=mdettweiler [2015-01-03 02:40:06] 969*2^1388465-1 is not prime. Res64: EB2E6D9B83EAC642 Time : 0.0 sec. user=mdettweiler [2015-01-03 02:40:06] 725*2^1388466-1 is not prime. Res64: 2A19BC511411498E Time : 0.0 sec. user=mdettweiler [2015-01-03 03:08:17] 849*2^1388467-1 is not prime. Res64: 341238AEEF17EA57 Time : 0.0 sec. user=mdettweiler [2015-01-03 03:08:19] 861*2^1388467-1 is not prime. Res64: D0BD786DF9532622 Time : 0.0 sec. user=mdettweiler [2015-01-03 03:22:52] 685*2^1388465-1 is not prime. Res64: 20032B84D17000C2 Time : 0.0 sec. user=mdettweiler [2015-01-03 03:37:57] 885*2^1388467-1 is not prime. Res64: 741544DC8590B425 Time : 0.0 sec. user=mdettweiler [2015-01-03 03:37:59] 889*2^1388467-1 is not prime. Res64: 60223D33898352B0 Time : 0.0 sec. user=juhehe [2015-01-03 03:44:50] 901*2^1388467-1 is not prime. Res64: 64832BA48BDCEED6 Time : 0.0 sec. user=mdettweiler [2015-01-03 03:50:42] 951*2^1388467-1 is not prime. Res64: 0907888D79146AFE Time : 0.0 sec. user=mdettweiler [2015-01-03 03:50:43] 635*2^1388468-1 is not prime. Res64: 4318FD2AC395D6C5 Time : 0.0 sec. user=mdettweiler [2015-01-03 03:51:44] 919*2^1388463-1 is not prime. Res64: 5623246F146A92BF Time : 0.0 sec. user=odicin [2015-01-03 04:12:41] 959*2^1388468-1 is not prime. Res64: 2F304724CCE3DD86 Time : 0.0 sec. user=odicin [2015-01-03 04:12:45] 999*2^1388468-1 is not prime. Res64: 71BF4065836CCA2B Time : 0.0 sec. user=mdettweiler [2015-01-03 04:17:43] 837*2^1388468-1 is not prime. Res64: 09624E62847B22A8 Time : 0.0 sec. user=mdettweiler [2015-01-03 04:17:43] 845*2^1388468-1 is not prime. Res64: 75B127AFF97E535A Time : 0.0 sec. user=mdettweiler [2015-01-03 04:18:43] 909*2^1388468-1 is not prime. Res64: EA0CD74B9447D497 Time : 0.0 sec. user=mdettweiler [2015-01-03 04:18:44] 957*2^1388468-1 is not prime. Res64: C19BE8E7F64F65E9 Time : 0.0 sec. user=odicin [2015-01-03 04:27:03] 669*2^1388469-1 is not prime. Res64: 3BC9FD300C58A63D Time : 0.0 sec. user=odicin [2015-01-03 04:27:03] 759*2^1388469-1 is not prime. Res64: CF34148711643D13 Time : 0.0 sec. user=mdettweiler [2015-01-03 04:30:06] 867*2^1388466-1 is not prime. Res64: 504C32E15472308E Time : 0.0 sec. user=odicin [2015-01-03 04:41:23] 951*2^1388469-1 is not prime. Res64: 53ED6CDE6517AD82 Time : 0.0 sec. user=odicin [2015-01-03 04:41:23] 717*2^1388470-1 is not prime. Res64: 0DC4B83905528295 Time : 0.0 sec. user=mdettweiler [2015-01-03 04:46:08] 781*2^1388469-1 is not prime. Res64: D78710BFDF9CE8FF Time : 0.0 sec. user=mdettweiler [2015-01-03 04:46:08] 835*2^1388469-1 is not prime. Res64: 8C916C824E1CACF7 Time : 0.0 sec. user=mdettweiler [2015-01-03 04:47:39] 847*2^1388469-1 is not prime. Res64: 7511A98AFF436591 Time : 0.0 sec. user=mdettweiler [2015-01-03 04:47:40] 927*2^1388469-1 is not prime. Res64: DBA7BEEEAFABDAA7 Time : 0.0 sec. user=odicin [2015-01-03 04:55:36] 755*2^1388470-1 is not prime. Res64: D4812A6DEB424A58 Time : 0.0 sec. user=odicin [2015-01-03 04:55:36] 743*2^1388470-1 is not prime. Res64: 54F3EB42AF42779E Time : 0.0 sec. user=odicin [2015-01-03 05:09:52] 735*2^1388471-1 is not prime. Res64: 3CC54422DC45EDAA Time : 0.0 sec. user=odicin [2015-01-03 05:09:55] 789*2^1388471-1 is not prime. Res64: 70A0F3D1E0EF8AED Time : 0.0 sec. user=mdettweiler [2015-01-03 05:12:46] 923*2^1388470-1 is not prime. Res64: ABCD3A7B2039D4F0 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:12:47] 619*2^1388471-1 is not prime. Res64: D5AA5D7767D3FCCB Time : 0.0 sec. user=mdettweiler [2015-01-03 05:14:41] 661*2^1388471-1 is not prime. Res64: 3CC034A03F701A46 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:14:42] 711*2^1388471-1 is not prime. Res64: 16AA5013AC4BED3C Time : 0.0 sec. user=odicin [2015-01-03 05:24:19] 819*2^1388472-1 is not prime. Res64: B1FC3EA94A83EC5C Time : 0.0 sec. user=odicin [2015-01-03 05:24:19] 885*2^1388471-1 is not prime. Res64: 94B182E16A7E6D68 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:26:47] 789*2^1388468-1 is not prime. Res64: 7E751B27C90B8098 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:26:47] 833*2^1388468-1 is not prime. Res64: B920A8DE7CB113B5 Time : 0.0 sec. user=odicin [2015-01-03 05:38:38] 687*2^1388473-1 is not prime. Res64: 409CABFDF740D6CB Time : 0.0 sec. user=odicin [2015-01-03 05:38:38] 715*2^1388473-1 is not prime. Res64: A2AF07983E631F62 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:39:09] 849*2^1388472-1 is not prime. Res64: DC698C1631931F73 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:39:09] 929*2^1388472-1 is not prime. Res64: 7E25D157F9ACEC26 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:41:07] 619*2^1388473-1 is not prime. Res64: 00932150B890B5CD Time : 0.0 sec. user=mdettweiler [2015-01-03 05:41:08] 685*2^1388473-1 is not prime. Res64: F8C00EE1C08D5865 Time : 0.0 sec. user=mdettweiler [2015-01-03 05:47:09] 639*2^1388467-1 is not prime. Res64: BEC8BE49AFEC4F19 Time : 0.0 sec. user=odicin [2015-01-03 05:53:07] 897*2^1388473-1 is not prime. Res64: F8E5C75E29F389CA Time : 0.0 sec. user=odicin [2015-01-03 05:53:07] 635*2^1388474-1 is not prime. Res64: 0CE315CFA5B6A92F Time : 0.0 sec. user=mdettweiler [2015-01-03 05:53:07] 741*2^1388473-1 is not prime. Res64: 492A06323B20CB2B Time : 0.0 sec. user=mdettweiler [2015-01-03 06:05:14] 665*2^1388474-1 is not prime. Res64: 2915C24DDC15517C Time : 0.0 sec. user=mdettweiler [2015-01-03 06:05:19] 783*2^1388474-1 is not prime. Res64: 7284E7155E5047AD Time : 0.0 sec. user=mdettweiler [2015-01-03 06:07:08] 791*2^1388474-1 is not prime. Res64: C6C326D384BA1E69 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:07:09] 875*2^1388474-1 is not prime. Res64: 1E77D709CA36D026 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:13:10] 887*2^1388474-1 is not prime. Res64: 8B4C10318E9CF60F Time : 0.0 sec. user=mdettweiler [2015-01-03 06:13:11] 609*2^1388475-1 is not prime. Res64: 1486628383282399 Time : 0.0 sec. user=odicin [2015-01-03 06:28:23] 843*2^1388476-1 is not prime. Res64: 7D6E5C2C63F3E207 Time : 0.0 sec. user=odicin [2015-01-03 06:28:42] 899*2^1388476-1 is not prime. Res64: 8E9C96D2E3BFCCA1 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:31:56] 685*2^1388475-1 is not prime. Res64: 35C184CF9D71F4BE Time : 0.0 sec. user=mdettweiler [2015-01-03 06:31:58] 805*2^1388475-1 is not prime. Res64: F6610120C7C9970D Time : 0.0 sec. user=mdettweiler [2015-01-03 06:33:34] 895*2^1388475-1 is not prime. Res64: 0B212FD261948908 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:33:35] 603*2^1388476-1 is not prime. Res64: D8EE9C5603A0FF49 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:39:20] 777*2^1388476-1 is not prime. Res64: DDBE9BFFC4C8C91F Time : 0.0 sec. user=mdettweiler [2015-01-03 06:39:20] 783*2^1388476-1 is not prime. Res64: 349A5BC129CE63BD Time : 0.0 sec. user=odicin [2015-01-03 06:42:42] 987*2^1388476-1 is not prime. Res64: 111F90EBE0613A56 Time : 0.0 sec. user=odicin [2015-01-03 06:42:55] 989*2^1388476-1 is not prime. Res64: 7A33900867B39C11 Time : 0.0 sec. user=odicin [2015-01-03 06:57:06] 651*2^1388478-1 is not prime. Res64: 6372473D1B7A4089 Time : 0.0 sec. user=odicin [2015-01-03 06:57:10] 731*2^1388478-1 is not prime. Res64: 792740FB5324977F Time : 0.0 sec. user=mdettweiler [2015-01-03 06:57:56] 645*2^1388477-1 is not prime. Res64: 9EBEDC1724E5D8D2 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:57:57] 651*2^1388477-1 is not prime. Res64: C0A42787C4659EDB Time : 0.0 sec. user=mdettweiler [2015-01-03 06:58:13] 765*2^1388473-1 is not prime. Res64: EC399C51D1E0C012 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:59:40] 697*2^1388477-1 is not prime. Res64: C2EB74F6768D50D9 Time : 0.0 sec. user=mdettweiler [2015-01-03 06:59:41] 699*2^1388477-1 is not prime. Res64: 239EE0E2EB415BB5 Time : 0.0 sec. user=odicin [2015-01-03 07:11:18] 773*2^1388478-1 is not prime. Res64: B4FE6B102F30F388 Time : 0.0 sec. user=odicin [2015-01-03 07:11:25] 933*2^1388478-1 is not prime. Res64: 16B9966BB73BD7E2 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:24:04] 971*2^1388478-1 is not prime. Res64: A5F294A8D0B59857 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:24:04] 619*2^1388479-1 is not prime. Res64: B675F67F0E23AC87 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:24:11] 729*2^1388479-1 is not prime. Res64: E2C26155F7FFA1FB Time : 0.0 sec. user=mdettweiler [2015-01-03 07:24:19] 769*2^1388479-1 is not prime. Res64: AE6DB764F384D6F4 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:26:03] 829*2^1388479-1 is not prime. Res64: 58307A33134EC46C Time : 0.0 sec. user=mdettweiler [2015-01-03 07:26:04] 831*2^1388479-1 is not prime. Res64: E1A19B984F02B15C Time : 0.0 sec. user=odicin [2015-01-03 07:28:17] 861*2^1388479-1 is not prime. Res64: 6E1125BDB961FED5 Time : 0.0 sec. user=odicin [2015-01-03 07:28:17] 665*2^1388480-1 is not prime. Res64: BDB80C307C36165C Time : 0.0 sec. user=odicin [2015-01-03 07:42:33] 879*2^1388480-1 is not prime. Res64: 5A2AA06E4721D396 Time : 0.0 sec. user=odicin [2015-01-03 07:42:36] 917*2^1388480-1 is not prime. Res64: 7FE4793901917B36 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:50:30] 759*2^1388480-1 is not prime. Res64: 6A3715A0FA73A762 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:50:30] 669*2^1388480-1 is not prime. Res64: 9F689FBCD0201245 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:51:56] 855*2^1388480-1 is not prime. Res64: 3C814253258FAFE9 Time : 0.0 sec. user=mdettweiler [2015-01-03 07:51:57] 875*2^1388480-1 is not prime. Res64: 18F69F6301F5835B Time : 0.0 sec. user=odicin [2015-01-03 07:57:06] 615*2^1388481-1 is not prime. Res64: 1E527D9844B99207 Time : 0.0 sec. user=odicin [2015-01-03 07:57:08] 995*2^1388480-1 is not prime. Res64: CC8AD3D4B2E866E7 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:12:40] 805*2^1388477-1 is not prime. Res64: FDCCE1397E1C4662 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:12:41] 825*2^1388477-1 is not prime. Res64: E8014DB8F9CFC379 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:19:35] 657*2^1388481-1 is not prime. Res64: BC8FC2E601C9C159 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:19:36] 679*2^1388481-1 is not prime. Res64: 6685989089A28B85 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:39:34] 621*2^1388482-1 is not prime. Res64: C4974FF48B64642D Time : 0.0 sec. user=mdettweiler [2015-01-03 08:39:35] 701*2^1388482-1 is not prime. Res64: F5997F34D376DB70 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:46:26] 713*2^1388482-1 is not prime. Res64: 4B33EC66AE3426A5 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:46:27] 833*2^1388482-1 is not prime. Res64: 5AA62B2DB6848AAD Time : 0.0 sec. user=mdettweiler [2015-01-03 08:59:11] 689*2^1388480-1 is not prime. Res64: DD12D8606E6A4AB6 Time : 0.0 sec. user=mdettweiler [2015-01-03 08:59:51] 767*2^1388480-1 is not prime. Res64: 829070076049DFE6 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:06:04] 881*2^1388482-1 is not prime. Res64: 274F5D4F8D75EA1D Time : 0.0 sec. user=mdettweiler [2015-01-03 09:06:14] 663*2^1388483-1 is not prime. Res64: B8B97FF9FCC79C69 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:12:49] 823*2^1388483-1 is not prime. Res64: 831C09762EB72FDB Time : 0.0 sec. user=mdettweiler [2015-01-03 09:12:49] 945*2^1388483-1 is not prime. Res64: 64D55621E8085DDA Time : 0.0 sec. user=mdettweiler [2015-01-03 09:25:58] 973*2^1388483-1 is not prime. Res64: E3046CCCC8594082 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:25:58] 623*2^1388484-1 is not prime. Res64: 606163B5C256A804 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:32:47] 657*2^1388484-1 is not prime. Res64: 992D00D016A3E5DA Time : 0.0 sec. user=mdettweiler [2015-01-03 09:32:48] 675*2^1388484-1 is not prime. Res64: 0248EA14364E5A5F Time : 0.0 sec. user=mdettweiler [2015-01-03 09:39:02] 683*2^1388484-1 is not prime. Res64: 1C3B88C50529788B Time : 0.0 sec. user=mdettweiler [2015-01-03 09:39:02] 705*2^1388484-1 is not prime. Res64: 44E1AE0FD5144E90 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:52:01] 737*2^1388484-1 is not prime. Res64: FAD02354AA886055 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:52:02] 767*2^1388484-1 is not prime. Res64: 8D4B2E5B7292FB03 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:58:58] 789*2^1388484-1 is not prime. Res64: 4AE6FD28E0B096C4 Time : 0.0 sec. user=mdettweiler [2015-01-03 09:58:59] 887*2^1388484-1 is not prime. Res64: 573FFA995B4425AE Time : 0.0 sec. user=mdettweiler [2015-01-03 10:05:00] 661*2^1388485-1 is not prime. Res64: BC0D20B3B87B6FC9 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:05:02] 799*2^1388485-1 is not prime. Res64: BE3995D6996C2196 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:18:27] 867*2^1388485-1 is not prime. Res64: 18CC7B6415A787BC Time : 0.0 sec. user=mdettweiler [2015-01-03 10:18:27] 885*2^1388485-1 is not prime. Res64: 28DB466DB9A53B31 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:24:54] 635*2^1388486-1 is not prime. Res64: 0BA0F95F9C3CFEEC Time : 0.0 sec. user=mdettweiler [2015-01-03 10:24:54] 641*2^1388486-1 is not prime. Res64: 2BA68EF395FD3E47 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:30:47] 663*2^1388486-1 is not prime. Res64: F27CD63F40E003EF Time : 0.0 sec. user=mdettweiler [2015-01-03 10:30:48] 705*2^1388486-1 is not prime. Res64: E5B1010071B34FC2 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:40:48] 827*2^1388486-1 is not prime. Res64: BFC5F6F19BA5D0E8 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:40:49] 843*2^1388486-1 is not prime. Res64: BDD78C10FC13E274 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:44:15] 857*2^1388486-1 is not prime. Res64: 641BC7D47A376AF1 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:44:16] 893*2^1388486-1 is not prime. Res64: 67336E8CE71E66B2 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:50:46] 897*2^1388486-1 is not prime. Res64: 3C87CE6A1ABAE07A Time : 0.0 sec. user=mdettweiler [2015-01-03 10:50:46] 903*2^1388486-1 is not prime. Res64: 1659EC66DA5B0037 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:56:30] 615*2^1388487-1 is not prime. Res64: C48574FA70A604A3 Time : 0.0 sec. user=mdettweiler [2015-01-03 10:56:31] 621*2^1388487-1 is not prime. Res64: 7D7AC3C4D0CB3F2B Time : 0.0 sec. user=mdettweiler [2015-01-03 11:06:39] 775*2^1388487-1 is not prime. Res64: B04B963C3286BB4C Time : 0.0 sec. user=mdettweiler [2015-01-03 11:06:40] 825*2^1388487-1 is not prime. Res64: AEEC52B02BDE1F64 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:10:01] 859*2^1388487-1 is not prime. Res64: 5EBCE20177DA9399 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:10:02] 879*2^1388487-1 is not prime. Res64: 1FEFDC09791EBDA7 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:16:39] 901*2^1388487-1 is not prime. Res64: 2A012ADCDC8A7A92 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:16:40] 945*2^1388487-1 is not prime. Res64: BFC0F81A8E633883 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:22:31] 961*2^1388487-1 is not prime. Res64: D0D76BA5249DB05F Time : 0.0 sec. user=mdettweiler [2015-01-03 11:22:32] 605*2^1388488-1 is not prime. Res64: BDFCAA7736FA0F3E Time : 0.0 sec. user=mdettweiler [2015-01-03 11:32:26] 657*2^1388488-1 is not prime. Res64: 2ADB39619B0B6E5B Time : 0.0 sec. user=mdettweiler [2015-01-03 11:32:27] 735*2^1388488-1 is not prime. Res64: 2F845CB91A60E26D Time : 0.0 sec. user=mdettweiler [2015-01-03 11:35:58] 849*2^1388488-1 is not prime. Res64: 1F45D27EE694F1A3 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:35:59] 855*2^1388488-1 is not prime. Res64: 86CC7C18CB300141 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:42:40] 909*2^1388488-1 is not prime. Res64: 5E831CD011F499A8 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:42:41] 923*2^1388488-1 is not prime. Res64: 89AB162609DA7A8B Time : 0.0 sec. user=mdettweiler [2015-01-03 11:48:30] 775*2^1388489-1 is not prime. Res64: 5BB0689EEF47F0E0 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:48:31] 909*2^1388489-1 is not prime. Res64: 61E65A134B28C987 Time : 0.0 sec. user=mdettweiler [2015-01-03 11:58:34] 651*2^1388490-1 is not prime. Res64: CA120AC2BAA13B62 Time : 0.0 sec. user=mdettweiler [2015-01-03 12:01:55] 783*2^1388490-1 is not prime. Res64: E148FD6347E98705 Time : 0.0 sec. user=mdettweiler [2015-01-03 12:01:58] 833*2^1388490-1 is not prime. Res64: 8FA8C9EAE8D4B86F Time : 0.0 sec. user=mdettweiler [2015-01-03 12:08:25] 843*2^1388490-1 is not prime. Res64: 4E18FC7CB54F68CD Time : 0.0 sec. user=mdettweiler [2015-01-03 12:08:27] 927*2^1388490-1 is not prime. Res64: E083AF4CC8C304E4 Time : 0.0 sec. user=mdettweiler [2015-01-03 12:14:26] 621*2^1388491-1 is not prime. Res64: 3E22DA8199CFB7F0 Time : 0.0 sec. user=mdettweiler [2015-01-03 12:31:29] 751*2^1388491-1 is not prime. Res64: 95223BF916546D36 Time : 0.0 sec. user=mdettweiler [2015-01-03 12:36:34] 681*2^1388491-1 is not prime. Res64: 71B3FB638A25CF81 Time : 0.0 sec. user=mdettweiler [2015-01-03 12:36:35] 693*2^1388491-1 is not prime. Res64: 29C80682BEF2E79C Time : 0.0 sec. user=mdettweiler [2015-01-03 13:04:34] 973*2^1388491-1 is not prime. Res64: C255F5E652B68AA2 Time : 0.0 sec. user=mdettweiler [2015-01-03 13:04:37] 993*2^1388491-1 is not prime. Res64: 2D2F1881EA654119 Time : 0.0 sec. user=mdettweiler [2015-01-03 13:33:43] 759*2^1388492-1 is not prime. Res64: 39282697C6B2391F Time : 0.0 sec. user=mdettweiler [2015-01-03 13:33:43] 923*2^1388492-1 is not prime. Res64: 3062C944B20935E5 Time : 0.0 sec. user=mdettweiler [2015-01-03 13:41:24] 673*2^1388491-1 is not prime. Res64: 1FEE923BC83F1F9F Time : 0.0 sec. user=mdettweiler [2015-01-03 13:50:43] 829*2^1388491-1 is not prime. Res64: 70ACB8B8108A0439 Time : 0.0 sec. user=mdettweiler [2015-01-03 14:02:17] 983*2^1388492-1 is not prime. Res64: 344D816B57CAFD62 Time : 0.0 sec. user=mdettweiler [2015-01-03 14:02:20] 781*2^1388493-1 is not prime. Res64: 99FF6F5560EB029F Time : 0.0 sec. user=mdettweiler [2015-01-03 14:08:22] 849*2^1388493-1 is not prime. Res64: CAE86F3DC7B77401 Time : 0.0 sec. user=juhehe [2015-01-03 14:22:17] 657*2^1388494-1 is not prime. Res64: 34E22D40B1196A0D Time : 0.0 sec. user=mdettweiler [2015-01-03 14:37:02] 693*2^1388495-1 is not prime. Res64: 076920D0A6AFBD08 Time : 0.0 sec. user=mdettweiler [2015-01-03 14:37:02] 799*2^1388495-1 is not prime. Res64: 296019D86EE2CA00 Time : 0.0 sec. user=mdettweiler [2015-01-03 14:42:46] 681*2^1388490-1 is not prime. Res64: 14C3FEDE5F28CE65 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:05:17] 815*2^1388494-1 is not prime. Res64: 35DF8063B1B1A9F6 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:05:18] 825*2^1388494-1 is not prime. Res64: 748675E805D7C332 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:10:15] 861*2^1388494-1 is not prime. Res64: DA86A69A36995A4B Time : 0.0 sec. user=mdettweiler [2015-01-03 15:10:16] 881*2^1388494-1 is not prime. Res64: 02C95127CC1F4972 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:25:41] 927*2^1388493-1 is not prime. Res64: 529B01E994D4C972 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:37:34] 737*2^1388496-1 is not prime. Res64: D1B3765087D7AA19 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:37:34] 815*2^1388496-1 is not prime. Res64: 1C35A6989D8DA425 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:37:47] 663*2^1388495-1 is not prime. Res64: DD5950D94E1D1276 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:37:48] 683*2^1388496-1 is not prime. Res64: 3665AAAB3699A905 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:37:53] 897*2^1388494-1 is not prime. Res64: 0EAEE564DA1511B9 Time : 0.0 sec. user=mdettweiler [2015-01-03 15:37:54] 873*2^1388496-1 is not prime. Res64: 846A2978028EA06D Time : 0.0 sec. user=mdettweiler [2015-01-03 15:52:54] 999*2^1388496-1 is not prime. Res64: B04065E5B9A9B59D Time : 0.0 sec. user=mdettweiler [2015-01-03 15:52:54] 601*2^1388497-1 is not prime. Res64: 623C1685BE300773 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:04:44] 901*2^1388497-1 is not prime. Res64: 623AECD661B06FAF Time : 0.0 sec. user=mdettweiler [2015-01-03 16:04:45] 955*2^1388497-1 is not prime. Res64: B2493ED1044169AF Time : 0.0 sec. user=mdettweiler [2015-01-03 16:04:48] 651*2^1388497-1 is not prime. Res64: 6593176D502C0BB5 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:04:50] 741*2^1388497-1 is not prime. Res64: C95508F0791E6E58 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:04:59] 645*2^1388498-1 is not prime. Res64: 69F7A6CAEA73AFED Time : 0.0 sec. user=mdettweiler [2015-01-03 16:05:00] 857*2^1388498-1 is not prime. Res64: 1FDE32B7E4001B75 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:19:55] 887*2^1388498-1 is not prime. Res64: 5B39B43D6B4CF425 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:19:56] 963*2^1388498-1 is not prime. Res64: D4A7657B6FBA0B14 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:31:52] 669*2^1388499-1 is not prime. Res64: FB2FB1F9963765FD Time : 0.0 sec. user=mdettweiler [2015-01-03 16:31:52] 691*2^1388499-1 is not prime. Res64: 7AA843A6D6125CC7 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:31:53] 977*2^1388498-1 is not prime. Res64: C850F3506E6774E0 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:31:54] 633*2^1388499-1 is not prime. Res64: 6E23B1EE979ECE0A Time : 0.0 sec. user=mdettweiler [2015-01-03 16:32:18] 703*2^1388499-1 is not prime. Res64: B1BF9C7A256787C6 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:47:41] 789*2^1388499-1 is not prime. Res64: 13936B4F39E51653 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:59:25] 605*2^1388500-1 is not prime. Res64: F281F024477750B7 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:59:25] 615*2^1388500-1 is not prime. Res64: 3B266BF750DBE4BB Time : 0.0 sec. user=mdettweiler [2015-01-03 16:59:48] 919*2^1388499-1 is not prime. Res64: F74217307ADB5D56 Time : 0.0 sec. user=mdettweiler [2015-01-03 16:59:48] 943*2^1388499-1 is not prime. Res64: 26802E5F63BD993C Time : 0.0 sec. user=mdettweiler [2015-01-03 17:27:27] 735*2^1388500-1 is not prime. Res64: 463D605A5E0C23D5 Time : 0.0 sec. user=mdettweiler [2015-01-03 17:27:27] 927*2^1388500-1 is not prime. Res64: 6F4D9AC2D9D46522 Time : 0.0 sec. user=mdettweiler [2015-01-03 17:27:50] 651*2^1388501-1 is not prime. Res64: F02F6F55CF14C9D0 Time : 0.0 sec. user=mdettweiler [2015-01-03 17:27:50] 725*2^1388502-1 is not prime. Res64: 7F9D4480ED692C0E Time : 0.0 sec. user=mdettweiler [2015-01-03 17:52:47] 775*2^1388499-1 is not prime. Res64: AA21C82F49246823 Time : 0.0 sec. user=mdettweiler [2015-01-03 17:55:45] 917*2^1388502-1 is not prime. Res64: 569BFEAE3108887B Time : 0.0 sec. user=mdettweiler [2015-01-03 17:56:20] 673*2^1388503-1 is not prime. Res64: 60B075FE5FE97807 Time : 0.0 sec. user=mdettweiler [2015-01-03 17:56:20] 681*2^1388503-1 is not prime. Res64: 9E781A71530679CF Time : 0.0 sec. user=mdettweiler [2015-01-03 18:12:20] 879*2^1388499-1 is not prime. Res64: F8B5AC9C853EBDC5 Time : 0.0 sec. user=mdettweiler [2015-01-03 18:20:31] 693*2^1388503-1 is not prime. Res64: 02BF9794CAEDB4D7 Time : 0.0 sec. user=mdettweiler [2015-01-03 18:20:32] 723*2^1388503-1 is not prime. Res64: 4C89FD523AB95453 Time : 0.0 sec. user=mdettweiler [2015-01-03 18:23:44] 811*2^1388503-1 is not prime. Res64: E17C1B6FEBDC30AC Time : 0.0 sec. user=mdettweiler [2015-01-03 18:23:45] 951*2^1388503-1 is not prime. Res64: 0C7BC234668939FF Time : 0.0 sec. user=mdettweiler [2015-01-03 18:39:15] 645*2^1388504-1 is not prime. Res64: FB5EC984D9707AB3 Time : 0.0 sec. user=mdettweiler [2015-01-03 18:39:15] 719*2^1388504-1 is not prime. Res64: 142B8D302CA485C4 Time : 0.0 sec. user=mdettweiler [2015-01-03 18:47:25] 747*2^1388504-1 is not prime. Res64: FA9227FBE6844BF4 Time : 0.0 sec. user=mdettweiler [2015-01-03 18:47:25] 873*2^1388504-1 is not prime. Res64: 9B78F594016FF48D Time : 0.0 sec. user=mdettweiler [2015-01-03 18:50:35] 927*2^1388504-1 is not prime. Res64: 857EA29DC53758E7 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:06:20] 945*2^1388504-1 is not prime. Res64: F9392A012452239B Time : 0.0 sec. user=mdettweiler [2015-01-03 19:06:21] 739*2^1388505-1 is not prime. Res64: AD89B79DBB1EA788 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:12:06] 957*2^1388502-1 is not prime. Res64: B7814F11E3B4F630 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:15:06] 741*2^1388505-1 is not prime. Res64: 83184E617678D958 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:15:07] 895*2^1388505-1 is not prime. Res64: E6FD1A1FFB14F790 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:33:21] 611*2^1388506-1 is not prime. Res64: 7F298035CEBBEC6E Time : 0.0 sec. user=mdettweiler [2015-01-03 19:33:22] 645*2^1388506-1 is not prime. Res64: A0A39A8619281DFB Time : 0.0 sec. user=mdettweiler [2015-01-03 19:38:54] 657*2^1388506-1 is not prime. Res64: 91EF6575F32F6A92 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:38:54] 713*2^1388506-1 is not prime. Res64: 294F0EF241BC3D8B Time : 0.0 sec. user=mdettweiler [2015-01-03 19:41:52] 801*2^1388506-1 is not prime. Res64: 5DC0BBA56FD18948 Time : 0.0 sec. user=mdettweiler [2015-01-03 19:41:53] 833*2^1388506-1 is not prime. Res64: 63D807C990AC4D3D Time : 0.0 sec. user=mdettweiler [2015-01-03 19:58:09] 929*2^1388504-1 is not prime. Res64: 409A15C3D0C7D3A6 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:00:00] 917*2^1388506-1 is not prime. Res64: 6CCE1A1F19357763 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:00:01] 957*2^1388506-1 is not prime. Res64: AD145942BB7DBDBC Time : 0.0 sec. user=mdettweiler [2015-01-03 20:05:31] 633*2^1388507-1 is not prime. Res64: DB6F7DD1DCAF9A56 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:05:33] 741*2^1388507-1 is not prime. Res64: AE9D2727F74196CB Time : 0.0 sec. user=mdettweiler [2015-01-03 20:08:59] 861*2^1388507-1 is not prime. Res64: 2BC6FA539795FC81 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:24:56] 647*2^1388508-1 is not prime. Res64: E6DACA066043F698 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:24:57] 663*2^1388508-1 is not prime. Res64: 54AEEB923CE9D781 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:26:40] 683*2^1388508-1 is not prime. Res64: 78FB97E6D3D6955F Time : 0.0 sec. user=mdettweiler [2015-01-03 20:26:40] 707*2^1388508-1 is not prime. Res64: ED44775B250738DB Time : 0.0 sec. user=mdettweiler [2015-01-03 20:32:27] 723*2^1388508-1 is not prime. Res64: 5FC67818FEF43EF3 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:32:28] 725*2^1388508-1 is not prime. Res64: CC720C7C1229E3DD Time : 0.0 sec. user=mdettweiler [2015-01-03 20:52:04] 845*2^1388508-1 is not prime. Res64: 5924C0CCC4D31F27 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:52:04] 899*2^1388508-1 is not prime. Res64: 66777128B2D8496B Time : 0.0 sec. user=mdettweiler [2015-01-03 20:53:44] 929*2^1388508-1 is not prime. Res64: 9966C40D6CB48E5C Time : 0.0 sec. user=mdettweiler [2015-01-03 20:53:45] 639*2^1388509-1 is not prime. Res64: 562D179AEA12FBE3 Time : 0.0 sec. user=mdettweiler [2015-01-03 20:59:25] 649*2^1388509-1 is not prime. Res64: AB11DDEA22DFF18A Time : 0.0 sec. user=mdettweiler [2015-01-03 20:59:26] 721*2^1388509-1 is not prime. Res64: 5EF96675DC6DA69B Time : 0.0 sec. user=mdettweiler [2015-01-03 21:19:09] 961*2^1388509-1 is not prime. Res64: 767EF3F30B43740F Time : 0.0 sec. user=mdettweiler [2015-01-03 21:19:09] 985*2^1388509-1 is not prime. Res64: ADE0ACB401FDC4B9 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:20:47] 651*2^1388510-1 is not prime. Res64: A2C4F195668FE855 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:20:48] 755*2^1388510-1 is not prime. Res64: 0025BEFAFFC1432D Time : 0.0 sec. user=mdettweiler [2015-01-03 21:24:35] 871*2^1388507-1 is not prime. Res64: B0CC89F136DA8AFA Time : 0.0 sec. user=mdettweiler [2015-01-03 21:26:25] 761*2^1388510-1 is not prime. Res64: FC75AA2D88D96AD4 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:26:26] 767*2^1388510-1 is not prime. Res64: 11AF0557F942656D Time : 0.0 sec. user=mdettweiler [2015-01-03 21:45:56] 615*2^1388511-1 is not prime. Res64: CBAE962C4B163695 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:45:56] 705*2^1388511-1 is not prime. Res64: 6E58867235D7E48E Time : 0.0 sec. user=mdettweiler [2015-01-03 21:47:33] 769*2^1388511-1 is not prime. Res64: 07AC128BC05AF4AF Time : 0.0 sec. user=mdettweiler [2015-01-03 21:47:34] 805*2^1388511-1 is not prime. Res64: 918FD9D9233253D7 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:51:24] 885*2^1388511-1 is not prime. Res64: D14CD71CADDA14A2 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:51:25] 921*2^1388511-1 is not prime. Res64: BC8F436189242CB9 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:53:03] 999*2^1388511-1 is not prime. Res64: C47B8C17EE6D1996 Time : 0.0 sec. user=mdettweiler [2015-01-03 21:53:04] 603*2^1388512-1 is not prime. Res64: 91CBDF94EB37D120 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:12:57] 645*2^1388512-1 is not prime. Res64: CC612C5004930D21 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:12:58] 705*2^1388512-1 is not prime. Res64: 3B4458314EDC1C8D Time : 0.0 sec. user=mdettweiler [2015-01-03 22:14:38] 765*2^1388512-1 is not prime. Res64: AB46C8FC984DA981 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:14:39] 939*2^1388512-1 is not prime. Res64: 96EEE567F54327CE Time : 0.0 sec. user=mdettweiler [2015-01-03 22:18:35] 615*2^1388513-1 is not prime. Res64: 30F34A557DFBDF87 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:18:35] 675*2^1388513-1 is not prime. Res64: 487F1D1E87E3F909 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:20:04] 705*2^1388513-1 is not prime. Res64: 4DF29702BED7CB63 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:20:04] 735*2^1388513-1 is not prime. Res64: 0815B9D5AFA1B4CD Time : 0.0 sec. user=mdettweiler [2015-01-03 22:40:48] 789*2^1388513-1 is not prime. Res64: 19B76883966C46D1 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:40:48] 981*2^1388513-1 is not prime. Res64: 6659046210F5C9C4 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:42:02] 717*2^1388514-1 is not prime. Res64: 8A006E9EB7E2F9B1 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:42:03] 741*2^1388514-1 is not prime. Res64: 667C407D870F6F8A Time : 0.0 sec. user=mdettweiler [2015-01-03 22:45:44] 917*2^1388514-1 is not prime. Res64: AB95261004FCB0FF Time : 0.0 sec. user=mdettweiler [2015-01-03 22:45:45] 923*2^1388514-1 is not prime. Res64: F8BC32A46353189C Time : 0.0 sec. user=mdettweiler [2015-01-03 22:47:01] 993*2^1388514-1 is not prime. Res64: 5EDA37ABC0A664B9 Time : 0.0 sec. user=mdettweiler [2015-01-03 22:47:02] 609*2^1388515-1 is not prime. Res64: C6F3CEC88EECE036 Time : 0.0 sec. user=juhehe [2015-01-03 23:03:34] 625*2^1388515-1 is not prime. Res64: E653BEE80311C8DB Time : 0.0 sec. user=mdettweiler [2015-01-03 23:07:21] 651*2^1388515-1 is not prime. Res64: 3A9E2FEACCE49019 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:07:22] 691*2^1388515-1 is not prime. Res64: D67DCC54209F022D Time : 0.0 sec. user=mdettweiler [2015-01-03 23:08:34] 705*2^1388515-1 is not prime. Res64: 70DE3F2237FC9CA8 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:08:39] 789*2^1388515-1 is not prime. Res64: 128BD5779F19F754 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:12:15] 895*2^1388515-1 is not prime. Res64: AE8467838637FA1B Time : 0.0 sec. user=mdettweiler [2015-01-03 23:12:15] 623*2^1388516-1 is not prime. Res64: 5D0D4085480FB379 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:13:38] 635*2^1388516-1 is not prime. Res64: DA7079372CFD95BC Time : 0.0 sec. user=mdettweiler [2015-01-03 23:13:39] 693*2^1388516-1 is not prime. Res64: EF491218DBCAB6B0 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:35:24] 773*2^1388516-1 is not prime. Res64: 788E8A5A9BF27E78 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:35:24] 789*2^1388516-1 is not prime. Res64: E5FBC46C5E2E1F9B Time : 0.0 sec. user=mdettweiler [2015-01-03 23:35:54] 825*2^1388516-1 is not prime. Res64: 2F5BE51051F89571 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:35:55] 855*2^1388516-1 is not prime. Res64: ED00178BFCB2FE54 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:39:15] 879*2^1388516-1 is not prime. Res64: B737CC3515094439 Time : 0.0 sec. user=mdettweiler [2015-01-03 23:39:16] 945*2^1388516-1 is not prime. Res64: 286402421B76EBAD Time : 0.0 sec. user=mdettweiler [2015-01-03 23:40:36] 747*2^1388517-1 is not prime. Res64: 1CB9F0C9A9120BFE Time : 0.0 sec. user=mdettweiler [2015-01-03 23:40:37] 837*2^1388517-1 is not prime. Res64: 80138838129A5587 Time : 0.0 sec.