user=mdettweiler [2015-03-13 00:06:57] 713*2^1395270-1 is not prime. Res64: EA6A28EB53A1F7B1 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:06:59] 833*2^1395270-1 is not prime. Res64: E3CAD65F33ED633F Time : 0.0 sec. user=mdettweiler [2015-03-13 00:09:18] 851*2^1395270-1 is not prime. Res64: 38DB50824E41D869 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:09:18] 891*2^1395270-1 is not prime. Res64: F65E334E973412CF Time : 0.0 sec. user=mdettweiler [2015-03-13 00:12:08] 965*2^1395270-1 is not prime. Res64: 82766492CB2BBBEF Time : 0.0 sec. user=mdettweiler [2015-03-13 00:12:08] 601*2^1395271-1 is not prime. Res64: B384FCCAEFECB1C9 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:27:11] 685*2^1395271-1 is not prime. Res64: 967878B6FCE873E6 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:27:12] 705*2^1395271-1 is not prime. Res64: 97892160DE0E77D0 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:34:38] 811*2^1395271-1 is not prime. Res64: A4A88A818A715403 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:34:38] 813*2^1395271-1 is not prime. Res64: 6617A4E8F118C14D Time : 0.0 sec. user=mdettweiler [2015-03-13 00:36:42] 849*2^1395271-1 is not prime. Res64: AD2EF92F0D7E9BA0 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:36:43] 605*2^1395272-1 is not prime. Res64: BF4CFC0A36E41E23 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:39:34] 759*2^1395272-1 is not prime. Res64: 41F07A3585DFC79A Time : 0.0 sec. user=mdettweiler [2015-03-13 00:39:34] 857*2^1395272-1 is not prime. Res64: C56D723E5B9F4495 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:54:38] 903*2^1395272-1 is not prime. Res64: E48EA7243DAAF895 Time : 0.0 sec. user=mdettweiler [2015-03-13 00:54:38] 681*2^1395273-1 is not prime. Res64: ECD3E4020DADCC03 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:01:54] 789*2^1395273-1 is not prime. Res64: EC853659ED037528 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:01:55] 795*2^1395273-1 is not prime. Res64: 6F3E0C5B6AD549A2 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:03:59] 807*2^1395273-1 is not prime. Res64: 8DB48BC487A4D604 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:04:01] 889*2^1395273-1 is not prime. Res64: 7051EE3CF55230E9 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:07:08] 895*2^1395273-1 is not prime. Res64: C83C990A078C7FE9 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:07:08] 999*2^1395273-1 is not prime. Res64: C6658A50ADC34C11 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:22:04] 675*2^1395274-1 is not prime. Res64: BEE5CC0FA9920ED1 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:22:04] 677*2^1395274-1 is not prime. Res64: 1A1E898D7F59CA45 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:29:04] 681*2^1395274-1 is not prime. Res64: FB4E3A47A0ECB3F7 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:29:06] 773*2^1395274-1 is not prime. Res64: CFE1A34ACF8B872F Time : 0.0 sec. user=mdettweiler [2015-03-13 01:31:08] 803*2^1395274-1 is not prime. Res64: 2AEE02C972EE0B32 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:31:09] 941*2^1395274-1 is not prime. Res64: 5B766E213C20223C Time : 0.0 sec. user=mdettweiler [2015-03-13 01:34:29] 651*2^1395275-1 is not prime. Res64: B1B1F8141C93C3DB Time : 0.0 sec. user=mdettweiler [2015-03-13 01:34:29] 753*2^1395275-1 is not prime. Res64: 27CB34F4DF1DFFE0 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:48:56] 759*2^1395275-1 is not prime. Res64: F4DF437EDA998B43 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:48:56] 861*2^1395275-1 is not prime. Res64: 6623995223DC1E64 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:55:35] 963*2^1395275-1 is not prime. Res64: 9F4F6B7B0D15174E Time : 0.0 sec. user=mdettweiler [2015-03-13 01:55:35] 979*2^1395275-1 is not prime. Res64: 84C3AB706E128E24 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:57:39] 683*2^1395276-1 is not prime. Res64: FA9D59425FA67913 Time : 0.0 sec. user=mdettweiler [2015-03-13 01:57:39] 689*2^1395276-1 is not prime. Res64: 55C4488FDAD4E058 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:00:42] 759*2^1395276-1 is not prime. Res64: EDA6960AEFCB54EF Time : 0.0 sec. user=mdettweiler [2015-03-13 02:00:45] 767*2^1395276-1 is not prime. Res64: F231C86EDF0DD1CA Time : 0.0 sec. user=mdettweiler [2015-03-13 02:14:58] 783*2^1395276-1 is not prime. Res64: 792BF2F14F6D51ED Time : 0.0 sec. user=mdettweiler [2015-03-13 02:14:59] 933*2^1395276-1 is not prime. Res64: A44FB0B28EC3E59B Time : 0.0 sec. user=mdettweiler [2015-03-13 02:21:41] 993*2^1395276-1 is not prime. Res64: 80E1412511E1C283 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:21:42] 607*2^1395277-1 is not prime. Res64: C173AD14C11A422C Time : 0.0 sec. user=mdettweiler [2015-03-13 02:23:59] 817*2^1395277-1 is not prime. Res64: 823314967C3B4D1C Time : 0.0 sec. user=mdettweiler [2015-03-13 02:24:00] 829*2^1395277-1 is not prime. Res64: 709FDD8B821AFD9C Time : 0.0 sec. user=mdettweiler [2015-03-13 02:26:58] 895*2^1395277-1 is not prime. Res64: 9A9B28E4ABBF7DEE Time : 0.0 sec. user=mdettweiler [2015-03-13 02:26:59] 915*2^1395277-1 is not prime. Res64: 7056456AFAF3F3B3 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:41:19] 919*2^1395277-1 is not prime. Res64: 209E7047D7041C26 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:41:19] 605*2^1395278-1 is not prime. Res64: 164091470E50C1FC Time : 0.0 sec. user=mdettweiler [2015-03-13 02:48:33] 645*2^1395278-1 is not prime. Res64: A42003AA390266A4 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:48:33] 665*2^1395278-1 is not prime. Res64: 6574B3B6C660A054 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:50:53] 753*2^1395278-1 is not prime. Res64: B01AF381025D0FF7 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:50:54] 773*2^1395278-1 is not prime. Res64: 70BC29F8B32B233D Time : 0.0 sec. user=mdettweiler [2015-03-13 02:53:52] 843*2^1395278-1 is not prime. Res64: A2E5F27CA97AAB80 Time : 0.0 sec. user=mdettweiler [2015-03-13 02:53:52] 893*2^1395278-1 is not prime. Res64: BEE0F9DB5C64AFDD Time : 0.0 sec. user=mdettweiler [2015-03-13 03:08:22] 923*2^1395278-1 is not prime. Res64: F32CCF6EFF9A0111 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:08:22] 977*2^1395278-1 is not prime. Res64: 7345C37952F599B7 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:14:25] 663*2^1395279-1 is not prime. Res64: AC893EB76E571A47 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:14:25] 895*2^1395279-1 is not prime. Res64: 2354B0530862070D Time : 0.0 sec. user=mdettweiler [2015-03-13 03:16:45] 951*2^1395279-1 is not prime. Res64: C46F832912218417 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:16:45] 629*2^1395280-1 is not prime. Res64: C2E9D0FC5AD4C55F Time : 0.0 sec. user=mdettweiler [2015-03-13 03:19:44] 755*2^1395280-1 is not prime. Res64: EB5927AFA75F851E Time : 0.0 sec. user=mdettweiler [2015-03-13 03:19:44] 759*2^1395280-1 is not prime. Res64: C2E9C8719132B839 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:34:15] 773*2^1395280-1 is not prime. Res64: 6DF2B9C4ADAB9467 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:34:17] 873*2^1395280-1 is not prime. Res64: 23CDCDCB889AFCAC Time : 0.0 sec. user=mdettweiler [2015-03-13 03:40:12] 899*2^1395280-1 is not prime. Res64: 0F46616A849E6429 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:40:15] 615*2^1395281-1 is not prime. Res64: EE8F75B0CB5F5DE9 Time : 0.0 sec. user=mdettweiler [2015-03-13 03:42:26] 627*2^1395281-1 is not prime. Res64: D63F643877F8C03A Time : 0.0 sec. user=mdettweiler [2015-03-13 03:42:27] 685*2^1395281-1 is not prime. Res64: F24727E201F37ACF Time : 0.0 sec. user=mdettweiler [2015-03-13 03:45:33] 727*2^1395281-1 is not prime. Res64: EBF4B35E0AFE274E Time : 0.0 sec. user=mdettweiler [2015-03-13 03:45:34] 731*2^1395282-1 is not prime. Res64: 51342B4C5247013E Time : 0.0 sec. user=mdettweiler [2015-03-13 04:00:33] 765*2^1395282-1 is not prime. Res64: 3C434ED3713F33FB Time : 0.0 sec. user=mdettweiler [2015-03-13 04:00:34] 977*2^1395282-1 is not prime. Res64: E5A8FF067A2463DF Time : 0.0 sec. user=mdettweiler [2015-03-13 04:05:58] 609*2^1395283-1 is not prime. Res64: 1431337A67EADC55 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:05:59] 705*2^1395283-1 is not prime. Res64: 95C31B91C29390C9 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:08:19] 771*2^1395283-1 is not prime. Res64: 07E23792813FA3AA Time : 0.0 sec. user=mdettweiler [2015-03-13 04:08:19] 805*2^1395283-1 is not prime. Res64: C54D315B91647FD1 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:11:23] 885*2^1395283-1 is not prime. Res64: 0632F184A0673FE3 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:11:24] 973*2^1395283-1 is not prime. Res64: AB6B35DC8AEF6603 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:26:31] 993*2^1395283-1 is not prime. Res64: 6A474C08AF5912CC Time : 0.0 sec. user=mdettweiler [2015-03-13 04:26:31] 999*2^1395283-1 is not prime. Res64: F83D8DB5AD76D1A6 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:31:45] 635*2^1395284-1 is not prime. Res64: C083F2E0AF7E9B06 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:31:45] 687*2^1395284-1 is not prime. Res64: F68BE2E4E8DF2A5D Time : 0.0 sec. user=mdettweiler [2015-03-13 04:34:03] 789*2^1395284-1 is not prime. Res64: 9019B57310D62AE8 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:34:04] 987*2^1395284-1 is not prime. Res64: 30B72EDEA786493C Time : 0.0 sec. user=mdettweiler [2015-03-13 04:37:12] 607*2^1395285-1 is not prime. Res64: 8D551505D59388FE Time : 0.0 sec. user=mdettweiler [2015-03-13 04:37:12] 675*2^1395285-1 is not prime. Res64: 6180FBFBDF75A0AE Time : 0.0 sec. user=mdettweiler [2015-03-13 04:52:13] 691*2^1395285-1 is not prime. Res64: EB95D1FF28169D8E Time : 0.0 sec. user=mdettweiler [2015-03-13 04:52:14] 709*2^1395285-1 is not prime. Res64: E452013B5ED861CF Time : 0.0 sec. user=mdettweiler [2015-03-13 04:57:25] 727*2^1395285-1 is not prime. Res64: 45C72CC586EFF6F0 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:57:26] 819*2^1395285-1 is not prime. Res64: 21402238F79028D0 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:59:48] 979*2^1395285-1 is not prime. Res64: CC4B616CDD361AD7 Time : 0.0 sec. user=mdettweiler [2015-03-13 04:59:48] 611*2^1395286-1 is not prime. Res64: A78CF3D998C92DC2 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:02:58] 635*2^1395286-1 is not prime. Res64: 4369FD0C5E439B12 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:03:00] 843*2^1395286-1 is not prime. Res64: 5953E3D8CFBBD240 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:17:55] 873*2^1395286-1 is not prime. Res64: 13399146D08D2196 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:17:56] 887*2^1395286-1 is not prime. Res64: A32A2DB3D64F971A Time : 0.0 sec. user=mdettweiler [2015-03-13 05:23:16] 993*2^1395286-1 is not prime. Res64: 5C3A02FDA3E1F02E Time : 0.0 sec. user=mdettweiler [2015-03-13 05:23:16] 643*2^1395287-1 is not prime. Res64: BCB78FA999359A59 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:25:38] 703*2^1395287-1 is not prime. Res64: 9685692F6E6BBEFF Time : 0.0 sec. user=mdettweiler [2015-03-13 05:25:39] 759*2^1395287-1 is not prime. Res64: 48E13FFC2704599E Time : 0.0 sec. user=mdettweiler [2015-03-13 05:28:40] 775*2^1395287-1 is not prime. Res64: 2A1175CD094363EE Time : 0.0 sec. user=mdettweiler [2015-03-13 05:28:41] 843*2^1395287-1 is not prime. Res64: D7AB91274FA2DE23 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:43:51] 885*2^1395287-1 is not prime. Res64: 2FBA926BB0C465A1 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:43:51] 955*2^1395287-1 is not prime. Res64: 9AB52D80718AD779 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:49:08] 663*2^1395288-1 is not prime. Res64: 51A87C80A7869772 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:49:08] 819*2^1395288-1 is not prime. Res64: 8AFD19C17B1ADBDB Time : 0.0 sec. user=mdettweiler [2015-03-13 05:51:32] 839*2^1395288-1 is not prime. Res64: 641DC4E590485174 Time : 0.0 sec. user=mdettweiler [2015-03-13 05:51:33] 893*2^1395288-1 is not prime. Res64: 1D252C9A937823AA Time : 0.0 sec. user=mdettweiler [2015-03-13 05:54:31] 721*2^1395289-1 is not prime. Res64: 513DC1C321CFCB1D Time : 0.0 sec. user=mdettweiler [2015-03-13 05:54:31] 747*2^1395289-1 is not prime. Res64: 68B8D9BFB9E3FE42 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:09:37] 987*2^1395289-1 is not prime. Res64: 00D119BF89E859D9 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:09:37] 997*2^1395289-1 is not prime. Res64: 090511E3525ABD14 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:14:54] 713*2^1395290-1 is not prime. Res64: 1994ECEDABDB8CAF Time : 0.0 sec. user=mdettweiler [2015-03-13 06:14:54] 743*2^1395290-1 is not prime. Res64: E26F65ACB4BFB068 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:17:15] 843*2^1395290-1 is not prime. Res64: 9E58EC8ABCC05702 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:17:15] 893*2^1395290-1 is not prime. Res64: AFBBF46882A93549 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:20:11] 921*2^1395290-1 is not prime. Res64: C1CAD52AC89DC3B5 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:20:12] 977*2^1395290-1 is not prime. Res64: FB7E92026D77B56D Time : 0.0 sec. user=mdettweiler [2015-03-13 06:35:33] 795*2^1395291-1 is not prime. Res64: 36B9F28FCCD19DDD Time : 0.0 sec. user=mdettweiler [2015-03-13 06:35:34] 801*2^1395291-1 is not prime. Res64: 675E6BFB56096890 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:40:50] 859*2^1395291-1 is not prime. Res64: AFA40063F38BA6F3 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:40:51] 879*2^1395291-1 is not prime. Res64: 919022183D74B2A6 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:43:09] 945*2^1395291-1 is not prime. Res64: 044D1B5D476282E2 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:43:09] 605*2^1395292-1 is not prime. Res64: 79FB284E0A6F64D5 Time : 0.0 sec. user=mdettweiler [2015-03-13 06:46:09] 635*2^1395292-1 is not prime. Res64: D46EF8EBF990378F Time : 0.0 sec. user=mdettweiler [2015-03-13 06:46:09] 723*2^1395292-1 is not prime. Res64: C759B745B6425622 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:01:35] 803*2^1395292-1 is not prime. Res64: 35FC99A4F0B0776E Time : 0.0 sec. user=mdettweiler [2015-03-13 07:01:35] 827*2^1395292-1 is not prime. Res64: F704BE7AF2ED0523 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:06:51] 869*2^1395292-1 is not prime. Res64: CF4A5B87270AF483 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:06:52] 873*2^1395292-1 is not prime. Res64: 0E9869D8177AB908 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:09:02] 875*2^1395292-1 is not prime. Res64: F99EDFF38A255E6F Time : 0.0 sec. user=mdettweiler [2015-03-13 07:09:02] 957*2^1395292-1 is not prime. Res64: 4D52D5AEDBE95226 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:12:07] 631*2^1395293-1 is not prime. Res64: 293E7DE3382631BD Time : 0.0 sec. user=mdettweiler [2015-03-13 07:12:08] 721*2^1395293-1 is not prime. Res64: B00881809B50F57F Time : 0.0 sec. user=mdettweiler [2015-03-13 07:27:30] 789*2^1395293-1 is not prime. Res64: 2C09D7F74D512C23 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:27:30] 871*2^1395293-1 is not prime. Res64: 404BCA28461D1469 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:32:32] 957*2^1395293-1 is not prime. Res64: BE64C2441BA9B30E Time : 0.0 sec. user=mdettweiler [2015-03-13 07:32:32] 967*2^1395293-1 is not prime. Res64: 5F50FE448A58131E Time : 0.0 sec. user=mdettweiler [2015-03-13 07:34:41] 737*2^1395294-1 is not prime. Res64: BE22DE3FBD7304D6 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:34:41] 747*2^1395294-1 is not prime. Res64: 627CCE385D25CA5C Time : 0.0 sec. user=mdettweiler [2015-03-13 07:37:53] 773*2^1395294-1 is not prime. Res64: D5D5F5A99AE5EC8E Time : 0.0 sec. user=mdettweiler [2015-03-13 07:37:53] 875*2^1395294-1 is not prime. Res64: FFA6EEA2BBA3EF65 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:53:16] 887*2^1395294-1 is not prime. Res64: 6DFE4236400E5B11 Time : 0.0 sec. user=mdettweiler [2015-03-13 07:53:16] 975*2^1395294-1 is not prime. Res64: 5AAF646C4188FA4E Time : 0.0 sec. user=mdettweiler [2015-03-13 07:58:18] 601*2^1395295-1 is not prime. Res64: 969D5145813F220D Time : 0.0 sec. user=mdettweiler [2015-03-13 07:58:19] 649*2^1395295-1 is not prime. Res64: 2067AF7CDE790510 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:00:19] 859*2^1395295-1 is not prime. Res64: DE0F9AD57DC5D683 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:00:20] 885*2^1395295-1 is not prime. Res64: 5D7A10FC16B28166 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:03:37] 919*2^1395295-1 is not prime. Res64: 9845EE7B171AEBFB Time : 0.0 sec. user=mdettweiler [2015-03-13 08:03:38] 961*2^1395295-1 is not prime. Res64: AEAFB06046D3CF7D Time : 0.0 sec. user=mdettweiler [2015-03-13 08:19:00] 979*2^1395295-1 is not prime. Res64: E1FE2ACDED698E6F Time : 0.0 sec. user=mdettweiler [2015-03-13 08:19:01] 999*2^1395295-1 is not prime. Res64: 7839829D9D9367F8 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:23:58] 677*2^1395296-1 is not prime. Res64: EA6764B082C713AC Time : 0.0 sec. user=mdettweiler [2015-03-13 08:23:58] 717*2^1395296-1 is not prime. Res64: 923D2FEF5573E57E Time : 0.0 sec. user=mdettweiler [2015-03-13 08:26:02] 747*2^1395296-1 is not prime. Res64: 8692F56C4694D5EB Time : 0.0 sec. user=mdettweiler [2015-03-13 08:26:02] 767*2^1395296-1 is not prime. Res64: DD86559F40A510C6 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:29:24] 803*2^1395296-1 is not prime. Res64: 4B78A4F5BFCAD743 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:29:25] 893*2^1395296-1 is not prime. Res64: 17F5A8D4793DD7B2 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:44:44] 969*2^1395296-1 is not prime. Res64: 805A1FDF6A35C769 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:44:45] 639*2^1395297-1 is not prime. Res64: C403B9B5EC0ACB8A Time : 0.0 sec. user=mdettweiler [2015-03-13 08:49:44] 867*2^1395297-1 is not prime. Res64: 009BCB87CAC51C8E Time : 0.0 sec. user=mdettweiler [2015-03-13 08:49:45] 871*2^1395297-1 is not prime. Res64: 7BA72D7FB5AD5463 Time : 0.0 sec. user=mdettweiler [2015-03-13 08:51:45] 919*2^1395297-1 is not prime. Res64: 4EB636A01519218C Time : 0.0 sec. user=mdettweiler [2015-03-13 08:51:45] 937*2^1395297-1 is not prime. Res64: 15A5B5AB7CA4E22E Time : 0.0 sec. user=mdettweiler [2015-03-13 08:55:14] 997*2^1395297-1 is not prime. Res64: AFBC32435E01A14A Time : 0.0 sec. user=mdettweiler [2015-03-13 08:55:14] 651*2^1395298-1 is not prime. Res64: 265114561CA21B58 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:10:29] 833*2^1395298-1 is not prime. Res64: 2426AC81DB8ACAF2 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:10:30] 995*2^1395298-1 is not prime. Res64: 7AD68518A77833D9 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:15:28] 655*2^1395299-1 is not prime. Res64: 522A98EF66246F88 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:15:28] 663*2^1395299-1 is not prime. Res64: 27166CF5959DC738 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:17:24] 693*2^1395299-1 is not prime. Res64: 47E198C5BFC1124E Time : 0.0 sec. user=mdettweiler [2015-03-13 09:17:25] 733*2^1395299-1 is not prime. Res64: 2B0E8D72FC507182 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:21:00] 759*2^1395299-1 is not prime. Res64: 5E5E36DF15F46217 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:21:01] 843*2^1395299-1 is not prime. Res64: 2E6D886ABADBCFFA Time : 0.0 sec. user=mdettweiler [2015-03-13 09:36:32] 859*2^1395299-1 is not prime. Res64: D3675BDC9AFA74F6 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:36:32] 883*2^1395299-1 is not prime. Res64: 4E01756FF34F2B52 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:41:44] 737*2^1395300-1 is not prime. Res64: 0E7149D9EC521D8B Time : 0.0 sec. user=mdettweiler [2015-03-13 09:41:44] 759*2^1395300-1 is not prime. Res64: 8E52669B64B1DE60 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:43:54] 765*2^1395300-1 is not prime. Res64: DC9A05132E0C9B3E Time : 0.0 sec. user=mdettweiler [2015-03-13 09:43:54] 773*2^1395300-1 is not prime. Res64: E87839096C9DE4C8 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:47:55] 825*2^1395300-1 is not prime. Res64: 24BB2F494F463A08 Time : 0.0 sec. user=mdettweiler [2015-03-13 09:47:56] 645*2^1395301-1 is not prime. Res64: 9C8542E5C6D02891 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:03:35] 649*2^1395301-1 is not prime. Res64: 9A07A6E32BAFE416 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:03:37] 651*2^1395301-1 is not prime. Res64: EA999EB3C3AA9B54 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:09:03] 751*2^1395301-1 is not prime. Res64: 6CFF54F703E06C9E Time : 0.0 sec. user=mdettweiler [2015-03-13 10:09:04] 817*2^1395301-1 is not prime. Res64: AF2EEACFED6C54D4 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:10:48] 931*2^1395301-1 is not prime. Res64: 2B9F468037DD18E4 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:10:49] 997*2^1395301-1 is not prime. Res64: 1310AAB5865702B0 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:15:21] 677*2^1395302-1 is not prime. Res64: 6442ED73350C6AB5 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:15:22] 755*2^1395302-1 is not prime. Res64: AF9E93CB3310A71B Time : 0.0 sec. user=mdettweiler [2015-03-13 10:30:29] 785*2^1395302-1 is not prime. Res64: 1BED1904BBD436BB Time : 0.0 sec. user=mdettweiler [2015-03-13 10:30:29] 791*2^1395302-1 is not prime. Res64: 153290C8E4D950F5 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:34:58] 797*2^1395302-1 is not prime. Res64: 00038F57401EF65F Time : 0.0 sec. user=mdettweiler [2015-03-13 10:34:59] 843*2^1395302-1 is not prime. Res64: 5E70B2DBD5A21541 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:36:45] 903*2^1395302-1 is not prime. Res64: B9E8ACEF541460CA Time : 0.0 sec. user=mdettweiler [2015-03-13 10:36:45] 945*2^1395302-1 is not prime. Res64: 6E0EBA7D9FBB0938 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:41:07] 703*2^1395303-1 is not prime. Res64: 8F938B7153B19DE4 Time : 0.0 sec. user=mdettweiler [2015-03-13 10:41:08] 735*2^1395303-1 is not prime. Res64: 932DB47FC4B4C66F Time : 0.0 sec. user=mdettweiler [2015-03-13 10:56:16] 751*2^1395303-1 is not prime. Res64: 7AD7CB189082212C Time : 0.0 sec. user=mdettweiler [2015-03-13 10:56:16] 795*2^1395303-1 is not prime. Res64: 2FDE0E24689D3F9C Time : 0.0 sec. user=mdettweiler [2015-03-13 11:00:43] 871*2^1395303-1 is not prime. Res64: 0243BC121BDA7A90 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:00:44] 615*2^1395304-1 is not prime. Res64: 7948BA4A4786EB59 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:02:29] 675*2^1395304-1 is not prime. Res64: 2086762A983D3EA2 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:02:30] 743*2^1395304-1 is not prime. Res64: D7532DD0F74C1653 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:06:56] 747*2^1395304-1 is not prime. Res64: 458A0E5CE3224D6B Time : 0.0 sec. user=mdettweiler [2015-03-13 11:06:57] 755*2^1395304-1 is not prime. Res64: 211A164BB4B5E4F2 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:22:05] 849*2^1395304-1 is not prime. Res64: 1B4D7C89F2223DBF Time : 0.0 sec. user=mdettweiler [2015-03-13 11:22:05] 869*2^1395304-1 is not prime. Res64: 12BD124A23955F2F Time : 0.0 sec. user=mdettweiler [2015-03-13 11:26:51] 965*2^1395304-1 is not prime. Res64: 575726EF17DB01CA Time : 0.0 sec. user=mdettweiler [2015-03-13 11:26:51] 649*2^1395305-1 is not prime. Res64: 1752202E2218CC63 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:28:18] 697*2^1395305-1 is not prime. Res64: 5F2B828AC3917000 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:28:19] 721*2^1395305-1 is not prime. Res64: 71807860ADFDD070 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:32:48] 777*2^1395305-1 is not prime. Res64: 7CE187E90F1E61F7 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:32:48] 811*2^1395305-1 is not prime. Res64: 509DEB1A1891CB4B Time : 0.0 sec. user=mdettweiler [2015-03-13 11:47:46] 847*2^1395305-1 is not prime. Res64: FECBA7893D8C36F4 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:47:46] 871*2^1395305-1 is not prime. Res64: 66C7B582CDD2A78B Time : 0.0 sec. user=mdettweiler [2015-03-13 11:52:34] 897*2^1395305-1 is not prime. Res64: C902A7ADB8A15164 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:52:35] 755*2^1395306-1 is not prime. Res64: 33362D4BDBBC5FC7 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:54:03] 777*2^1395306-1 is not prime. Res64: C0D53D3403A7FC52 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:54:04] 821*2^1395306-1 is not prime. Res64: 69B4C3267F8BD200 Time : 0.0 sec. user=mdettweiler [2015-03-13 11:58:33] 759*2^1395307-1 is not prime. Res64: 23CDBCB50218ABCA Time : 0.0 sec. user=mdettweiler [2015-03-13 11:58:34] 843*2^1395307-1 is not prime. Res64: ECF636485EF87DA3 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:13:39] 849*2^1395307-1 is not prime. Res64: 82C3D0DE7A59B733 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:13:39] 939*2^1395307-1 is not prime. Res64: E2E11873A4295EB3 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:18:19] 725*2^1395308-1 is not prime. Res64: CFB392351FD13BE8 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:18:19] 845*2^1395308-1 is not prime. Res64: 5EB3E424A2D09FAF Time : 0.0 sec. user=mdettweiler [2015-03-13 12:19:48] 855*2^1395308-1 is not prime. Res64: 6B55342FFB2F635B Time : 0.0 sec. user=mdettweiler [2015-03-13 12:19:49] 667*2^1395309-1 is not prime. Res64: F3C02B787FB029C8 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:24:18] 675*2^1395309-1 is not prime. Res64: 06AA2AF3A3EF82BE Time : 0.0 sec. user=mdettweiler [2015-03-13 12:24:18] 679*2^1395309-1 is not prime. Res64: E013582F6C273143 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:39:28] 727*2^1395309-1 is not prime. Res64: 45E4FAD00BACE7FE Time : 0.0 sec. user=mdettweiler [2015-03-13 12:39:29] 765*2^1395309-1 is not prime. Res64: 421A9A75F925E99C Time : 0.0 sec. user=mdettweiler [2015-03-13 12:44:02] 861*2^1395309-1 is not prime. Res64: 8547ED7A21AED69E Time : 0.0 sec. user=mdettweiler [2015-03-13 12:44:02] 813*2^1395310-1 is not prime. Res64: C0200BDF11AE5E00 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:45:32] 941*2^1395310-1 is not prime. Res64: 1A4E973065FAC037 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:45:33] 651*2^1395311-1 is not prime. Res64: D577F50DBBA5EC05 Time : 0.0 sec. user=mdettweiler [2015-03-13 12:49:57] 715*2^1395311-1 is not prime. Res64: C9BD133ACD77A14E Time : 0.0 sec. user=mdettweiler [2015-03-13 12:49:58] 825*2^1395311-1 is not prime. Res64: 9EC0386D2344A7E8 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:05:18] 895*2^1395311-1 is not prime. Res64: 5592F10C181C3409 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:05:20] 931*2^1395311-1 is not prime. Res64: FE3DCD730767DC56 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:09:50] 689*2^1395312-1 is not prime. Res64: 533CF7B693B6A6B0 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:09:50] 765*2^1395312-1 is not prime. Res64: 3D241FDF963845A3 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:11:20] 857*2^1395312-1 is not prime. Res64: 9446C7D16C99BA09 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:11:21] 879*2^1395312-1 is not prime. Res64: 3ADE96CFFCED456A Time : 0.0 sec. user=mdettweiler [2015-03-13 13:15:44] 903*2^1395312-1 is not prime. Res64: 0B5FCF15247E91C4 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:15:45] 915*2^1395312-1 is not prime. Res64: D81CE56B230CF5B8 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:31:36] 933*2^1395312-1 is not prime. Res64: 9EFA6AFC9A6B245F Time : 0.0 sec. user=mdettweiler [2015-03-13 13:31:36] 691*2^1395313-1 is not prime. Res64: 2E81C96E2636307E Time : 0.0 sec. user=mdettweiler [2015-03-13 13:35:45] 819*2^1395313-1 is not prime. Res64: F095A52C46C769E0 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:35:46] 641*2^1395314-1 is not prime. Res64: F8ABA9F6C104911A Time : 0.0 sec. user=mdettweiler [2015-03-13 13:37:01] 671*2^1395314-1 is not prime. Res64: 194F6E02F0CD6838 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:37:02] 741*2^1395314-1 is not prime. Res64: D60D2C1649E56FF2 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:41:25] 783*2^1395314-1 is not prime. Res64: DBFB4BA7F7085CE6 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:41:25] 837*2^1395314-1 is not prime. Res64: 9B6A4285B9580018 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:57:29] 857*2^1395314-1 is not prime. Res64: 5447157FE010E054 Time : 0.0 sec. user=mdettweiler [2015-03-13 13:57:30] 957*2^1395314-1 is not prime. Res64: 54875E87AEE08D6A Time : 0.0 sec. user=mdettweiler [2015-03-13 14:01:29] 601*2^1395315-1 is not prime. Res64: 9905D2B8E085E286 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:01:30] 781*2^1395315-1 is not prime. Res64: 5C15C1BBE6324564 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:02:45] 793*2^1395315-1 is not prime. Res64: E49B52755BE1708D Time : 0.0 sec. user=mdettweiler [2015-03-13 14:02:46] 909*2^1395315-1 is not prime. Res64: 23B2F9B227F0EDDC Time : 0.0 sec. user=mdettweiler [2015-03-13 14:07:10] 921*2^1395315-1 is not prime. Res64: 880EDC3DDF3F138A Time : 0.0 sec. user=mdettweiler [2015-03-13 14:07:10] 963*2^1395315-1 is not prime. Res64: 626E7A58D8F66D89 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:23:18] 639*2^1395316-1 is not prime. Res64: C57AE8649BA1D088 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:23:19] 657*2^1395316-1 is not prime. Res64: 443AB19E09A0BE59 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:27:17] 759*2^1395316-1 is not prime. Res64: 8BEA980116F567ED Time : 0.0 sec. user=mdettweiler [2015-03-13 14:27:18] 825*2^1395316-1 is not prime. Res64: E0F633EE28637DA7 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:28:32] 833*2^1395316-1 is not prime. Res64: 69BB40D4169CF641 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:28:32] 999*2^1395316-1 is not prime. Res64: 8CB06F9DC7C56ED0 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:32:54] 607*2^1395317-1 is not prime. Res64: 1831DAB68BBAA732 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:32:54] 627*2^1395317-1 is not prime. Res64: F364F7C9F09A4D33 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:49:07] 741*2^1395317-1 is not prime. Res64: B84D911EDA133073 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:49:07] 865*2^1395317-1 is not prime. Res64: E451867E751AABA5 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:53:00] 647*2^1395318-1 is not prime. Res64: 0D956ED6F20D1234 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:53:00] 707*2^1395318-1 is not prime. Res64: B58FE9C8C2885A95 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:54:19] 711*2^1395318-1 is not prime. Res64: 4280F6E5EC1CCD93 Time : 0.0 sec. user=mdettweiler [2015-03-13 14:54:20] 737*2^1395318-1 is not prime. Res64: B9ACFF555B000C1F Time : 0.0 sec. user=mdettweiler [2015-03-13 14:58:44] 747*2^1395318-1 is not prime. Res64: 9C5DA4326DEC00CE Time : 0.0 sec. user=mdettweiler [2015-03-13 14:58:44] 773*2^1395318-1 is not prime. Res64: 604CC56B6C10C39B Time : 0.0 sec. user=mdettweiler [2015-03-13 15:14:54] 893*2^1395318-1 is not prime. Res64: FC4013291D4859D2 Time : 0.0 sec. user=mdettweiler [2015-03-13 15:14:54] 663*2^1395319-1 is not prime. Res64: 2D7E3B85EC76BC92 Time : 0.0 sec. user=mdettweiler [2015-03-13 15:18:54] 685*2^1395319-1 is not prime. Res64: 3E7E51C9F883FCCF Time : 0.0 sec. user=mdettweiler [2015-03-13 15:18:54] 759*2^1395319-1 is not prime. Res64: D38EDE61B5522D50 Time : 0.0 sec. user=mdettweiler [2015-03-13 15:20:13] 853*2^1395319-1 is not prime. Res64: EC59C1EC80739658 Time : 0.0 sec. user=mdettweiler [2015-03-13 15:20:13] 855*2^1395319-1 is not prime. Res64: CA9D39084CC019A8 Time : 0.0 sec. user=juhehe [2015-03-13 15:23:36] 801*2^1395318-1 is not prime. Res64: 098F4F94BBFB6E3B Time : 0.0 sec. user=mdettweiler [2015-03-13 15:24:42] 919*2^1395319-1 is not prime. Res64: 426830183FF624BF Time : 0.0 sec. user=mdettweiler [2015-03-13 15:24:43] 629*2^1395320-1 is not prime. Res64: C0E303C534E894B7 Time : 0.0 sec. user=mdettweiler [2015-03-13 15:40:45] 635*2^1395320-1 is not prime. Res64: 0988A93DAF284CBA Time : 0.0 sec. user=mdettweiler [2015-03-13 15:40:45] 725*2^1395320-1 is not prime. Res64: 64ABFC955C951C86 Time : 0.0 sec. user=mdettweiler [2015-03-13 15:44:51] 825*2^1395320-1 is not prime. Res64: 4697B61DD5AE412B Time : 0.0 sec. user=mdettweiler [2015-03-13 15:44:51] 639*2^1395321-1 is not prime. Res64: C65EA0DB758EF00C Time : 0.0 sec. user=mdettweiler [2015-03-13 15:46:11] 669*2^1395321-1 is not prime. Res64: 7DBA1C0D41CA4D0E Time : 0.0 sec. user=mdettweiler [2015-03-13 15:46:11] 741*2^1395321-1 is not prime. Res64: AC66CD3869140B3C Time : 0.0 sec. user=mdettweiler [2015-03-13 15:50:41] 745*2^1395321-1 is not prime. Res64: 991085558DF6154D Time : 0.0 sec. user=mdettweiler [2015-03-13 15:50:42] 829*2^1395321-1 is not prime. Res64: 4667D666F949CD9B Time : 0.0 sec. user=mdettweiler [2015-03-13 16:06:40] 865*2^1395321-1 is not prime. Res64: FA26F3BEB5471C7E Time : 0.0 sec. user=mdettweiler [2015-03-13 16:06:40] 889*2^1395321-1 is not prime. Res64: DE03E4728A8DCBEC Time : 0.0 sec. user=mdettweiler [2015-03-13 16:10:46] 937*2^1395321-1 is not prime. Res64: FB377F4C7987362D Time : 0.0 sec. user=mdettweiler [2015-03-13 16:10:47] 955*2^1395321-1 is not prime. Res64: BF92C7F1F033CC62 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:12:06] 653*2^1395322-1 is not prime. Res64: 2DCB062EE11233D4 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:12:07] 723*2^1395322-1 is not prime. Res64: 09EB77C1606777EC Time : 0.0 sec. user=mdettweiler [2015-03-13 16:16:38] 975*2^1395322-1 is not prime. Res64: 6DAA4882851879D9 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:16:39] 609*2^1395323-1 is not prime. Res64: 14A4FE38195DF3B4 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:32:42] 675*2^1395323-1 is not prime. Res64: 39312B059804DEDA Time : 0.0 sec. user=mdettweiler [2015-03-13 16:32:42] 813*2^1395323-1 is not prime. Res64: 68248D4846E41026 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:36:42] 859*2^1395323-1 is not prime. Res64: CF6A93A192F09600 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:36:43] 879*2^1395323-1 is not prime. Res64: 65B8A32469ECC6CF Time : 0.0 sec. user=mdettweiler [2015-03-13 16:38:06] 915*2^1395323-1 is not prime. Res64: 791AA4F098C1B538 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:38:06] 717*2^1395324-1 is not prime. Res64: 832B9A1F52692780 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:42:41] 825*2^1395324-1 is not prime. Res64: 019E3698C20F50E9 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:42:41] 887*2^1395324-1 is not prime. Res64: 84207751D1ECF6A3 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:58:28] 927*2^1395324-1 is not prime. Res64: FEED33E16DA48620 Time : 0.0 sec. user=mdettweiler [2015-03-13 16:58:28] 819*2^1395325-1 is not prime. Res64: 135ECE704A074F0A Time : 0.0 sec. user=mdettweiler [2015-03-13 17:03:51] 999*2^1395325-1 is not prime. Res64: 2E400763FD1207C7 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:03:54] 615*2^1395326-1 is not prime. Res64: 979A6D04E9054D4A Time : 0.0 sec. user=mdettweiler [2015-03-13 17:08:26] 857*2^1395326-1 is not prime. Res64: 1F75602A4D38C546 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:08:27] 861*2^1395326-1 is not prime. Res64: 876CAF0CC58FF32B Time : 0.0 sec. user=mdettweiler [2015-03-13 17:08:28] 861*2^1395325-1 is not prime. Res64: 28C8E107CEC5568B Time : 0.0 sec. user=mdettweiler [2015-03-13 17:08:28] 895*2^1395325-1 is not prime. Res64: BB2F6A04C14E2088 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:25:19] 935*2^1395326-1 is not prime. Res64: 65BF3413487D7932 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:25:20] 941*2^1395326-1 is not prime. Res64: 1181DCF9BB79EC9A Time : 0.0 sec. user=mdettweiler [2015-03-13 17:31:06] 945*2^1395326-1 is not prime. Res64: 755CAD05DC301800 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:31:07] 711*2^1395327-1 is not prime. Res64: ECE058A5A3BCD893 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:35:09] 963*2^1395327-1 is not prime. Res64: C6249B097495136D Time : 0.0 sec. user=mdettweiler [2015-03-13 17:35:09] 855*2^1395328-1 is not prime. Res64: 53A5F78BCA7522D2 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:35:09] 863*2^1395328-1 is not prime. Res64: EF85E14AD7F35D9E Time : 0.0 sec. user=mdettweiler [2015-03-13 17:35:10] 915*2^1395328-1 is not prime. Res64: 38C2F699AB16AC33 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:51:18] 923*2^1395328-1 is not prime. Res64: E924D47387C81E56 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:51:19] 957*2^1395328-1 is not prime. Res64: 2D7BC495BD5A610B Time : 0.0 sec. user=mdettweiler [2015-03-13 17:57:01] 697*2^1395329-1 is not prime. Res64: 87E1A68B4FC28D13 Time : 0.0 sec. user=mdettweiler [2015-03-13 17:57:02] 931*2^1395329-1 is not prime. Res64: D9F0F199277E45FF Time : 0.0 sec. user=mdettweiler [2015-03-13 18:01:09] 845*2^1395330-1 is not prime. Res64: D01855D61BBB2CBE Time : 0.0 sec. user=mdettweiler [2015-03-13 18:01:10] 725*2^1395330-1 is not prime. Res64: BBAA282AA42CC500 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:01:10] 921*2^1395330-1 is not prime. Res64: 5F289CA62144B00C Time : 0.0 sec. user=mdettweiler [2015-03-13 18:01:11] 821*2^1395330-1 is not prime. Res64: 3A19D74891A3DAE6 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:17:16] 927*2^1395330-1 is not prime. Res64: 27324E1C63A4E560 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:17:17] 651*2^1395331-1 is not prime. Res64: 8ED61714D2E398A7 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:22:48] 759*2^1395331-1 is not prime. Res64: B50E2F594DFB0848 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:22:49] 913*2^1395331-1 is not prime. Res64: 77F87164FEFAF0C9 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:27:11] 675*2^1395332-1 is not prime. Res64: 0DAF312308FB9806 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:27:11] 687*2^1395332-1 is not prime. Res64: CBB37CD396F14C9A Time : 0.0 sec. user=mdettweiler [2015-03-13 18:27:18] 665*2^1395332-1 is not prime. Res64: 89DD68AB0083FC79 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:27:19] 767*2^1395332-1 is not prime. Res64: BE064FD5491393C1 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:43:21] 819*2^1395332-1 is not prime. Res64: 9A4D0F9B98864ACD Time : 0.0 sec. user=mdettweiler [2015-03-13 18:43:21] 825*2^1395332-1 is not prime. Res64: 902A7DFFECC5E4A3 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:48:51] 867*2^1395332-1 is not prime. Res64: D46844F3CA2EA14D Time : 0.0 sec. user=mdettweiler [2015-03-13 18:48:51] 923*2^1395332-1 is not prime. Res64: 5F12E5A1732782D2 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:53:04] 699*2^1395333-1 is not prime. Res64: 40368604952482C2 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:53:05] 727*2^1395333-1 is not prime. Res64: 25A376E4F44A52D7 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:53:12] 781*2^1395333-1 is not prime. Res64: ACD0842E09232E53 Time : 0.0 sec. user=mdettweiler [2015-03-13 18:53:12] 795*2^1395333-1 is not prime. Res64: 3D418A921B459871 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:09:25] 665*2^1395334-1 is not prime. Res64: 90476F93D7BED397 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:09:25] 827*2^1395334-1 is not prime. Res64: E1D7ECBE675E7BDF Time : 0.0 sec. user=mdettweiler [2015-03-13 19:14:50] 915*2^1395334-1 is not prime. Res64: 420A0849316C29E4 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:14:51] 957*2^1395334-1 is not prime. Res64: 0412F1952B89EF4A Time : 0.0 sec. user=mdettweiler [2015-03-13 19:19:02] 763*2^1395335-1 is not prime. Res64: F356DCDDECDE6716 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:19:02] 781*2^1395335-1 is not prime. Res64: 460E3956CAB668CC Time : 0.0 sec. user=mdettweiler [2015-03-13 19:19:11] 895*2^1395335-1 is not prime. Res64: 51D07C8546D6733B Time : 0.0 sec. user=mdettweiler [2015-03-13 19:19:11] 623*2^1395336-1 is not prime. Res64: FBD5B65706A3BD14 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:35:27] 633*2^1395336-1 is not prime. Res64: 6AC531C596C4190F Time : 0.0 sec. user=mdettweiler [2015-03-13 19:35:28] 683*2^1395336-1 is not prime. Res64: F0082EAFAC7BF686 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:40:48] 693*2^1395336-1 is not prime. Res64: 6C7304793960C926 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:40:48] 789*2^1395336-1 is not prime. Res64: 7865F717E4BC1640 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:44:52] 839*2^1395336-1 is not prime. Res64: D0A62D8DE96712A7 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:44:53] 845*2^1395336-1 is not prime. Res64: 3304041C06DB7769 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:45:05] 927*2^1395336-1 is not prime. Res64: 5945C51EC4D9CC54 Time : 0.0 sec. user=mdettweiler [2015-03-13 19:45:06] 601*2^1395337-1 is not prime. Res64: 4307F07D9F643457 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:01:24] 649*2^1395337-1 is not prime. Res64: BCA4AA2D9D6F1540 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:01:25] 771*2^1395337-1 is not prime. Res64: 69E09EE4AD566D46 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:06:36] 777*2^1395337-1 is not prime. Res64: D457184881545156 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:06:37] 801*2^1395337-1 is not prime. Res64: A0410756CD24C2A9 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:10:45] 829*2^1395337-1 is not prime. Res64: 97984A29FDA1BF2E Time : 0.0 sec. user=mdettweiler [2015-03-13 20:10:45] 931*2^1395337-1 is not prime. Res64: BC9C34A919A03AB5 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:11:03] 945*2^1395337-1 is not prime. Res64: 20A9AE967247B8B3 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:11:03] 635*2^1395338-1 is not prime. Res64: 0025C33C73B72281 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:27:22] 711*2^1395338-1 is not prime. Res64: B40223DB9587A563 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:27:22] 743*2^1395338-1 is not prime. Res64: 95B437D2F546FF48 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:32:30] 857*2^1395338-1 is not prime. Res64: 2EE88C984BA7AFEB Time : 0.0 sec. user=mdettweiler [2015-03-13 20:32:31] 875*2^1395338-1 is not prime. Res64: 79CEFDFEBFDC5E70 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:36:34] 723*2^1395339-1 is not prime. Res64: E083826C8BF4209C Time : 0.0 sec. user=mdettweiler [2015-03-13 20:36:34] 795*2^1395339-1 is not prime. Res64: 4C7014E213FDE006 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:36:54] 853*2^1395339-1 is not prime. Res64: EC99DCD694062DA7 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:36:54] 919*2^1395339-1 is not prime. Res64: EB624F21A50374D9 Time : 0.0 sec. user=juhehe [2015-03-13 20:41:37] 613*2^1395339-1 is not prime. Res64: 2F4F1839CC450A89 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:53:13] 961*2^1395339-1 is not prime. Res64: 62B6702C32DA0B71 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:53:13] 635*2^1395340-1 is not prime. Res64: 4FF8F9992C7BD528 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:58:20] 665*2^1395340-1 is not prime. Res64: BDC0C37FE092EB34 Time : 0.0 sec. user=mdettweiler [2015-03-13 20:58:21] 677*2^1395340-1 is not prime. Res64: F68E5083F18B75A7 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:02:23] 797*2^1395340-1 is not prime. Res64: C16DCB04A94A1C31 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:02:24] 843*2^1395340-1 is not prime. Res64: 71F19F9962E09E43 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:02:48] 615*2^1395341-1 is not prime. Res64: F8380A48ADFC2713 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:02:49] 631*2^1395341-1 is not prime. Res64: FF629D415E1E33C9 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:19:01] 735*2^1395341-1 is not prime. Res64: DCEE15FD05066A17 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:19:01] 741*2^1395341-1 is not prime. Res64: D72F4B13837F7053 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:24:05] 927*2^1395341-1 is not prime. Res64: FF8724A32ADB4C70 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:24:06] 615*2^1395342-1 is not prime. Res64: 58A781230A23F4DE Time : 0.0 sec. user=mdettweiler [2015-03-13 21:28:40] 891*2^1395342-1 is not prime. Res64: 35BB16CB6EBEF3CE Time : 0.0 sec. user=mdettweiler [2015-03-13 21:28:40] 651*2^1395342-1 is not prime. Res64: BF4F6BB98D5391B5 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:28:40] 915*2^1395342-1 is not prime. Res64: 7E3E53D47F51224C Time : 0.0 sec. user=mdettweiler [2015-03-13 21:28:40] 671*2^1395342-1 is not prime. Res64: 9396CEDE0CA0F40F Time : 0.0 sec. user=mdettweiler [2015-03-13 21:44:55] 673*2^1395343-1 is not prime. Res64: 7BDA78C580B5D93A Time : 0.0 sec. user=mdettweiler [2015-03-13 21:44:55] 709*2^1395343-1 is not prime. Res64: AF304272B56FB8C1 Time : 0.0 sec. user=juhehe [2015-03-13 21:48:56] 603*2^1395343-1 is not prime. Res64: F72831433A70331D Time : 0.0 sec. user=mdettweiler [2015-03-13 21:49:56] 735*2^1395343-1 is not prime. Res64: 415DD4DAC31D149C Time : 0.0 sec. user=mdettweiler [2015-03-13 21:49:56] 775*2^1395343-1 is not prime. Res64: 95D2BC8951411FCC Time : 0.0 sec. user=mdettweiler [2015-03-13 21:54:25] 919*2^1395343-1 is not prime. Res64: 725E01204F496E76 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:54:26] 993*2^1395343-1 is not prime. Res64: A77710FB9B108436 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:54:26] 871*2^1395343-1 is not prime. Res64: 30A275C3F3D89155 Time : 0.0 sec. user=mdettweiler [2015-03-13 21:54:27] 873*2^1395343-1 is not prime. Res64: 4B0913FDD6600505 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:10:43] 929*2^1395344-1 is not prime. Res64: E8E5CD7DD0DF4808 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:10:43] 983*2^1395344-1 is not prime. Res64: C1A8697198910E6E Time : 0.0 sec. user=mdettweiler [2015-03-13 22:15:40] 727*2^1395345-1 is not prime. Res64: 4E804D95F93A987A Time : 0.0 sec. user=mdettweiler [2015-03-13 22:15:41] 895*2^1395345-1 is not prime. Res64: 7A65789EB45D23E6 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:20:09] 949*2^1395345-1 is not prime. Res64: 5A3161D24AF1D0DD Time : 0.0 sec. user=mdettweiler [2015-03-13 22:20:09] 955*2^1395345-1 is not prime. Res64: D8E164F1E943AD93 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:20:22] 717*2^1395346-1 is not prime. Res64: A3DB6E5552A6AC51 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:20:23] 813*2^1395346-1 is not prime. Res64: 91588AE999276A68 Time : 0.0 sec. user=juhehe [2015-03-13 22:22:25] 709*2^1395345-1 is not prime. Res64: 9DA7937DF8B8D3CA Time : 0.0 sec. user=mdettweiler [2015-03-13 22:36:41] 993*2^1395346-1 is not prime. Res64: D29FDF8514A18427 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:36:41] 693*2^1395347-1 is not prime. Res64: 635482DAFA1177F9 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:41:30] 705*2^1395347-1 is not prime. Res64: F9AA48DBDABB66B0 Time : 0.0 sec. user=mdettweiler [2015-03-13 22:41:31] 735*2^1395347-1 is not prime. Res64: 0F09AA36A68E2B2F Time : 0.0 sec. user=mdettweiler [2015-03-13 22:45:54] 753*2^1395348-1 is not prime. Res64: BDB893D87E565E7C Time : 0.0 sec. user=mdettweiler [2015-03-13 22:45:54] 615*2^1395349-1 is not prime. Res64: 82062E71BBA040FA Time : 0.0 sec. user=mdettweiler [2015-03-13 22:46:08] 729*2^1395349-1 is not prime. Res64: AB2206341C49CBCD Time : 0.0 sec. user=mdettweiler [2015-03-13 22:46:08] 741*2^1395349-1 is not prime. Res64: 850FDA80E17B970D Time : 0.0 sec. user=mdettweiler [2015-03-13 23:02:30] 771*2^1395349-1 is not prime. Res64: 5452364F5878DBAE Time : 0.0 sec. user=mdettweiler [2015-03-13 23:02:31] 829*2^1395349-1 is not prime. Res64: 8066BB869C05CA9F Time : 0.0 sec. user=mdettweiler [2015-03-13 23:07:19] 925*2^1395349-1 is not prime. Res64: BD2459028734EF46 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:07:20] 677*2^1395350-1 is not prime. Res64: CC6D6EFD57538B4D Time : 0.0 sec. user=mdettweiler [2015-03-13 23:11:36] 711*2^1395350-1 is not prime. Res64: 318928810357E54D Time : 0.0 sec. user=mdettweiler [2015-03-13 23:11:37] 785*2^1395350-1 is not prime. Res64: BE966BB451B7DF9C Time : 0.0 sec. user=mdettweiler [2015-03-13 23:11:51] 797*2^1395350-1 is not prime. Res64: F6E0386B024E14A3 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:11:52] 911*2^1395350-1 is not prime. Res64: 5EB018F0E79B1E49 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:28:44] 619*2^1395351-1 is not prime. Res64: D1646C52472A565F Time : 0.0 sec. user=mdettweiler [2015-03-13 23:28:44] 711*2^1395351-1 is not prime. Res64: CE07E1557C1B224F Time : 0.0 sec. user=mdettweiler [2015-03-13 23:33:06] 723*2^1395351-1 is not prime. Res64: C658616A0FA2A55A Time : 0.0 sec. user=mdettweiler [2015-03-13 23:33:07] 913*2^1395351-1 is not prime. Res64: A1944748C7C45BA0 Time : 0.0 sec. user=juhehe [2015-03-13 23:34:31] 995*2^1395350-1 is not prime. Res64: 4E12117BD56F4C8E Time : 0.0 sec. user=mdettweiler [2015-03-13 23:37:27] 999*2^1395351-1 is not prime. Res64: 072EBA6B53718178 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:37:27] 849*2^1395352-1 is not prime. Res64: 8EC1B1549C15D2E5 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:37:38] 917*2^1395352-1 is not prime. Res64: 31B2C75726D79C5E Time : 0.0 sec. user=mdettweiler [2015-03-13 23:37:39] 989*2^1395352-1 is not prime. Res64: A620B3D8714A87C7 Time : 0.0 sec. user=juhehe [2015-03-13 23:50:36] 619*2^1395353-1 is not prime. Res64: DE9545EB1E219092 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:54:41] 637*2^1395353-1 is not prime. Res64: B309A9A4D7815ACA Time : 0.0 sec. user=mdettweiler [2015-03-13 23:54:41] 649*2^1395353-1 is not prime. Res64: 1247A5E27F322B87 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:58:56] 721*2^1395353-1 is not prime. Res64: DE760E46BEE6D9B1 Time : 0.0 sec. user=mdettweiler [2015-03-13 23:58:57] 747*2^1395353-1 is not prime. Res64: 62379A8FA085785C Time : 0.0 sec.