user=mdettweiler [2015-06-20 00:03:40] 833*2^1400876-1 is not prime. Res64: 4838860F33D4ABDA Time : 0.0 sec. user=mdettweiler [2015-06-20 00:03:41] 845*2^1400876-1 is not prime. Res64: C9E5A6D31E63DD1C Time : 0.0 sec. user=mdettweiler [2015-06-20 00:05:06] 923*2^1400876-1 is not prime. Res64: E45DE2728C602AE0 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:05:07] 993*2^1400876-1 is not prime. Res64: 6DEDAC98761B1C51 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:17:58] 999*2^1400876-1 is not prime. Res64: F6EAA8962833DEA8 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:17:58] 651*2^1400877-1 is not prime. Res64: CF94DED57FFF28B7 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:19:22] 747*2^1400877-1 is not prime. Res64: 0CE924843B6DED2E Time : 0.0 sec. user=mdettweiler [2015-06-20 00:19:22] 765*2^1400877-1 is not prime. Res64: 9F1774672936C331 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:22:19] 805*2^1400877-1 is not prime. Res64: CE1C01AED484BB94 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:22:19] 819*2^1400877-1 is not prime. Res64: 38A5A64B367DF5CD Time : 0.0 sec. user=mdettweiler [2015-06-20 00:23:59] 847*2^1400877-1 is not prime. Res64: F25078E6434A9F0B Time : 0.0 sec. user=mdettweiler [2015-06-20 00:24:00] 871*2^1400877-1 is not prime. Res64: 21C1A128F4272D38 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:38:05] 737*2^1400878-1 is not prime. Res64: 397AB722B67D4983 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:38:05] 761*2^1400878-1 is not prime. Res64: F4B392F5E756AB8D Time : 0.0 sec. user=mdettweiler [2015-06-20 00:40:51] 773*2^1400878-1 is not prime. Res64: 591FB1FDB05B7DE3 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:40:52] 887*2^1400878-1 is not prime. Res64: 9AC63CB3F329425E Time : 0.0 sec. user=mdettweiler [2015-06-20 00:43:15] 915*2^1400878-1 is not prime. Res64: BC365FB6BB8B6290 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:43:15] 993*2^1400878-1 is not prime. Res64: 4BBF350CD130B696 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:44:25] 655*2^1400879-1 is not prime. Res64: 704CCBC2C519DA73 Time : 0.0 sec. user=mdettweiler [2015-06-20 00:44:26] 789*2^1400879-1 is not prime. Res64: F1EC06D93EAC6ADA Time : 0.0 sec. user=mdettweiler [2015-06-20 00:59:52] 973*2^1400879-1 is not prime. Res64: 742B10AC5107CFEF Time : 0.0 sec. user=mdettweiler [2015-06-20 00:59:53] 759*2^1400880-1 is not prime. Res64: 18ABAE27379948C0 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:02:40] 765*2^1400880-1 is not prime. Res64: C0AACD556EBD1AB6 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:02:42] 873*2^1400880-1 is not prime. Res64: 9C71059FDAA2F33A Time : 0.0 sec. user=mdettweiler [2015-06-20 01:05:03] 879*2^1400880-1 is not prime. Res64: AF44A53F6C0EBE4F Time : 0.0 sec. user=mdettweiler [2015-06-20 01:05:05] 933*2^1400880-1 is not prime. Res64: B33ECA34AA9A2BDB Time : 0.0 sec. user=mdettweiler [2015-06-20 01:07:38] 945*2^1400880-1 is not prime. Res64: 6F6AA953399BCBC2 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:07:38] 645*2^1400881-1 is not prime. Res64: D53F1B6839A376A1 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:22:02] 685*2^1400881-1 is not prime. Res64: D23592C8D1D8328A Time : 0.0 sec. user=mdettweiler [2015-06-20 01:22:03] 747*2^1400881-1 is not prime. Res64: D45E42A07B03EC39 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:24:00] 895*2^1400881-1 is not prime. Res64: C1DAB1AC00EE19E3 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:24:01] 997*2^1400881-1 is not prime. Res64: C03C12EA4E89B33A Time : 0.0 sec. user=mdettweiler [2015-06-20 01:28:09] 767*2^1400882-1 is not prime. Res64: 727BFAC96E5130B0 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:28:10] 815*2^1400882-1 is not prime. Res64: C35EB272DD7FA5D5 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:29:29] 885*2^1400882-1 is not prime. Res64: 582714F40B989205 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:29:30] 935*2^1400882-1 is not prime. Res64: AAAB8A06360340C4 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:43:32] 953*2^1400882-1 is not prime. Res64: AE51A93AC903C332 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:43:33] 679*2^1400883-1 is not prime. Res64: 02B776BA7BCFEA58 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:46:10] 705*2^1400883-1 is not prime. Res64: 9DA9343BA30C770F Time : 0.0 sec. user=mdettweiler [2015-06-20 01:46:10] 853*2^1400883-1 is not prime. Res64: 137F99207B4A52AD Time : 0.0 sec. user=mdettweiler [2015-06-20 01:50:25] 969*2^1400883-1 is not prime. Res64: 3E223B8029EA839F Time : 0.0 sec. user=mdettweiler [2015-06-20 01:50:25] 639*2^1400884-1 is not prime. Res64: A27108A6BB3E6DA7 Time : 0.0 sec. user=mdettweiler [2015-06-20 01:52:05] 663*2^1400884-1 is not prime. Res64: 59B5C4DE7261621F Time : 0.0 sec. user=mdettweiler [2015-06-20 01:52:06] 743*2^1400884-1 is not prime. Res64: AAF15E9023D2420E Time : 0.0 sec. user=mdettweiler [2015-06-20 02:04:07] 803*2^1400884-1 is not prime. Res64: 300ABA280D5E5202 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:04:10] 869*2^1400884-1 is not prime. Res64: 2C1D597B734A3FD0 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:08:24] 975*2^1400884-1 is not prime. Res64: 07D8560A11C6AD85 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:08:24] 649*2^1400885-1 is not prime. Res64: 1A16AE0CB532FA85 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:13:00] 675*2^1400885-1 is not prime. Res64: 84B1F68181711949 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:13:00] 697*2^1400885-1 is not prime. Res64: ECE6FC8A750810D1 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:13:01] 699*2^1400885-1 is not prime. Res64: 6D1388D6F9F2421F Time : 0.0 sec. user=mdettweiler [2015-06-20 02:13:01] 847*2^1400885-1 is not prime. Res64: 20403B1165F34FDE Time : 0.0 sec. user=mdettweiler [2015-06-20 02:25:47] 925*2^1400885-1 is not prime. Res64: B5C21E7C47888C1D Time : 0.0 sec. user=mdettweiler [2015-06-20 02:25:47] 955*2^1400885-1 is not prime. Res64: C230F47670E6B72E Time : 0.0 sec. user=mdettweiler [2015-06-20 02:29:17] 969*2^1400885-1 is not prime. Res64: A55CA68D41A8B329 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:29:17] 711*2^1400886-1 is not prime. Res64: E668B7D5B67F4B8F Time : 0.0 sec. user=mdettweiler [2015-06-20 02:32:52] 873*2^1400886-1 is not prime. Res64: 937A346506EE010A Time : 0.0 sec. user=mdettweiler [2015-06-20 02:32:53] 941*2^1400886-1 is not prime. Res64: 5532D1146616E73E Time : 0.0 sec. user=mdettweiler [2015-06-20 02:35:48] 795*2^1400886-1 is not prime. Res64: 0E69A1D06CF0937A Time : 0.0 sec. user=mdettweiler [2015-06-20 02:35:48] 801*2^1400886-1 is not prime. Res64: 6749AB41719E1CA6 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:46:15] 945*2^1400886-1 is not prime. Res64: 5A538775834448E2 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:46:16] 693*2^1400887-1 is not prime. Res64: 0C71AB14B311C6F8 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:50:01] 895*2^1400887-1 is not prime. Res64: 0DF11C309E991A09 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:50:01] 901*2^1400887-1 is not prime. Res64: 1CB6F2380C08FBEC Time : 0.0 sec. user=mdettweiler [2015-06-20 02:53:00] 629*2^1400888-1 is not prime. Res64: C729356D871E49E7 Time : 0.0 sec. user=mdettweiler [2015-06-20 02:53:00] 699*2^1400888-1 is not prime. Res64: 135AA3DDDDDAEE7F Time : 0.0 sec. user=mdettweiler [2015-06-20 02:56:06] 795*2^1400888-1 is not prime. Res64: 900050E72A79544C Time : 0.0 sec. user=mdettweiler [2015-06-20 02:56:07] 813*2^1400888-1 is not prime. Res64: D5BAB8736E120BC4 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:06:35] 825*2^1400888-1 is not prime. Res64: 8DD9E1238A5A59D1 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:06:36] 893*2^1400888-1 is not prime. Res64: 78B36692656A9BF9 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:10:49] 609*2^1400889-1 is not prime. Res64: C4576D187A7F3FBD Time : 0.0 sec. user=mdettweiler [2015-06-20 03:10:49] 661*2^1400889-1 is not prime. Res64: D44D47A053512B79 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:13:58] 765*2^1400889-1 is not prime. Res64: 68D62D2CB7034F65 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:13:59] 781*2^1400889-1 is not prime. Res64: 2522FDE420D91E4F Time : 0.0 sec. user=mdettweiler [2015-06-20 03:16:53] 861*2^1400889-1 is not prime. Res64: F8377EECA8B77027 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:16:54] 885*2^1400889-1 is not prime. Res64: 764C16D543FB2C7C Time : 0.0 sec. user=mdettweiler [2015-06-20 03:28:13] 949*2^1400889-1 is not prime. Res64: D690EAA1B397D60B Time : 0.0 sec. user=mdettweiler [2015-06-20 03:28:14] 997*2^1400889-1 is not prime. Res64: AF1F3E475B885B09 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:32:40] 999*2^1400889-1 is not prime. Res64: B915B6068C1B9B10 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:32:41] 605*2^1400890-1 is not prime. Res64: 78947C32BF0BDF67 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:34:36] 651*2^1400890-1 is not prime. Res64: 9F09E5A3F2E58959 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:34:36] 657*2^1400890-1 is not prime. Res64: E37DF2C6B24E2C87 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:37:29] 677*2^1400890-1 is not prime. Res64: C92EFCAF91F0F348 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:37:30] 743*2^1400890-1 is not prime. Res64: 404DE9C0F87ACBF4 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:49:25] 765*2^1400890-1 is not prime. Res64: 726483596A18618B Time : 0.0 sec. user=mdettweiler [2015-06-20 03:49:26] 825*2^1400890-1 is not prime. Res64: 50A58EBB4D630230 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:53:16] 827*2^1400890-1 is not prime. Res64: A9E6BF8E1E01CB04 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:53:16] 831*2^1400890-1 is not prime. Res64: 3FB8FF2E6BA0B097 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:54:52] 911*2^1400890-1 is not prime. Res64: BF80F4409A2B743E Time : 0.0 sec. user=mdettweiler [2015-06-20 03:54:52] 945*2^1400890-1 is not prime. Res64: 44BBA950FBA1F7FA Time : 0.0 sec. user=mdettweiler [2015-06-20 03:58:23] 619*2^1400891-1 is not prime. Res64: 9E07D551F944EA87 Time : 0.0 sec. user=mdettweiler [2015-06-20 03:58:24] 693*2^1400891-1 is not prime. Res64: 2FA960E71FCC7553 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:11:24] 735*2^1400891-1 is not prime. Res64: AC9757AC34B44343 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:11:24] 745*2^1400891-1 is not prime. Res64: C9C9E4C6D3D69B88 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:13:26] 783*2^1400891-1 is not prime. Res64: 8512F12671CC4DA1 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:13:26] 825*2^1400891-1 is not prime. Res64: A3E1E671C2476C26 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:15:23] 913*2^1400891-1 is not prime. Res64: 38BC3E936A0AF3FD Time : 0.0 sec. user=mdettweiler [2015-06-20 04:15:23] 981*2^1400891-1 is not prime. Res64: E116E606AB67D0B8 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:19:16] 609*2^1400892-1 is not prime. Res64: E0342DD9EB7BE2FF Time : 0.0 sec. user=mdettweiler [2015-06-20 04:19:16] 669*2^1400892-1 is not prime. Res64: C3F194A9E97194EA Time : 0.0 sec. user=mdettweiler [2015-06-20 04:30:56] 699*2^1400892-1 is not prime. Res64: 8CF11822D1CC31F6 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:30:56] 863*2^1400892-1 is not prime. Res64: 3F7C867ABD4B50EC Time : 0.0 sec. user=mdettweiler [2015-06-20 04:34:37] 899*2^1400892-1 is not prime. Res64: 57FFED16FF326C07 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:34:38] 909*2^1400892-1 is not prime. Res64: 24B249CD4BFD8657 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:36:32] 609*2^1400893-1 is not prime. Res64: 4CA50925ACE79F09 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:36:33] 621*2^1400893-1 is not prime. Res64: F594DE91EF3D582F Time : 0.0 sec. user=mdettweiler [2015-06-20 04:41:08] 657*2^1400894-1 is not prime. Res64: 9BCE35441A4E9E0F Time : 0.0 sec. user=mdettweiler [2015-06-20 04:41:09] 687*2^1400894-1 is not prime. Res64: 69D6D2A0CD390584 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:51:14] 741*2^1400894-1 is not prime. Res64: 93E4F62149F66A16 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:51:15] 885*2^1400894-1 is not prime. Res64: 9F08634FAB5060A4 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:55:24] 917*2^1400894-1 is not prime. Res64: FEBDE4FAE43E2B7D Time : 0.0 sec. user=mdettweiler [2015-06-20 04:55:24] 685*2^1400895-1 is not prime. Res64: 28212F5F8BE240A2 Time : 0.0 sec. user=mdettweiler [2015-06-20 04:57:12] 693*2^1400895-1 is not prime. Res64: C90FE1D70ADAA96E Time : 0.0 sec. user=mdettweiler [2015-06-20 04:57:12] 775*2^1400895-1 is not prime. Res64: 8B25B3D8522EE32F Time : 0.0 sec. user=mdettweiler [2015-06-20 05:02:48] 913*2^1400895-1 is not prime. Res64: 4A340D9B34651415 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:02:49] 963*2^1400895-1 is not prime. Res64: B9FDF5C1097B9456 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:10:28] 969*2^1400895-1 is not prime. Res64: 2A8ECDDB7AC5CE51 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:10:28] 609*2^1400896-1 is not prime. Res64: CBA2861A3E586726 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:16:30] 623*2^1400896-1 is not prime. Res64: 1E353CF70EE371A9 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:16:30] 675*2^1400896-1 is not prime. Res64: 582065A593A38C05 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:18:14] 839*2^1400896-1 is not prime. Res64: 8CDDC46539AE6B3A Time : 0.0 sec. user=mdettweiler [2015-06-20 05:18:14] 849*2^1400896-1 is not prime. Res64: 7A712377BF469641 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:22:49] 923*2^1400896-1 is not prime. Res64: B49FD955464709A1 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:22:49] 637*2^1400897-1 is not prime. Res64: 5E7DF6C0C2D418F6 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:31:19] 771*2^1400897-1 is not prime. Res64: E9FE7CEBF541625D Time : 0.0 sec. user=mdettweiler [2015-06-20 05:31:20] 819*2^1400897-1 is not prime. Res64: 92DB69CCE687820E Time : 0.0 sec. user=mdettweiler [2015-06-20 05:38:50] 803*2^1400898-1 is not prime. Res64: 9608A37889F9107F Time : 0.0 sec. user=mdettweiler [2015-06-20 05:38:51] 861*2^1400898-1 is not prime. Res64: A1C39C50C107C325 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:39:03] 909*2^1400897-1 is not prime. Res64: 310552D6D9839E5C Time : 0.0 sec. user=mdettweiler [2015-06-20 05:39:04] 915*2^1400897-1 is not prime. Res64: 908671A580C0ADC3 Time : 0.0 sec. user=juhehe [2015-06-20 05:40:21] 651*2^1400897-1 is not prime. Res64: 518CA050C48CA816 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:43:47] 875*2^1400898-1 is not prime. Res64: 02338A2B3707E2BD Time : 0.0 sec. user=mdettweiler [2015-06-20 05:43:47] 945*2^1400898-1 is not prime. Res64: 0D215D3EA0B8E279 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:51:57] 615*2^1400899-1 is not prime. Res64: ADEE1C8232E3BD85 Time : 0.0 sec. user=mdettweiler [2015-06-20 05:51:57] 663*2^1400899-1 is not prime. Res64: 1B04D5E94304EC1A Time : 0.0 sec. user=mdettweiler [2015-06-20 05:59:45] 675*2^1400900-1 is not prime. Res64: B11ABDFB93C73F3F Time : 0.0 sec. user=mdettweiler [2015-06-20 05:59:46] 753*2^1400900-1 is not prime. Res64: 9C65D9A2FE1AD275 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:00:05] 855*2^1400899-1 is not prime. Res64: 5CD43BB7E3300196 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:00:06] 603*2^1400900-1 is not prime. Res64: E0FF096000059DDD Time : 0.0 sec. user=mdettweiler [2015-06-20 06:04:31] 777*2^1400900-1 is not prime. Res64: 0871275A1890192B Time : 0.0 sec. user=mdettweiler [2015-06-20 06:04:32] 885*2^1400900-1 is not prime. Res64: 448593669DAF2AFA Time : 0.0 sec. user=mdettweiler [2015-06-20 06:13:56] 923*2^1400900-1 is not prime. Res64: FD45659C52FC33D5 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:13:56] 709*2^1400901-1 is not prime. Res64: A65AA1EEA1EA5342 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:19:09] 777*2^1400901-1 is not prime. Res64: A954372F38E877EF Time : 0.0 sec. user=mdettweiler [2015-06-20 06:19:09] 781*2^1400901-1 is not prime. Res64: 2924DBD9A513584D Time : 0.0 sec. user=mdettweiler [2015-06-20 06:22:22] 829*2^1400901-1 is not prime. Res64: 2C37287FF0C4FA6F Time : 0.0 sec. user=mdettweiler [2015-06-20 06:22:23] 835*2^1400901-1 is not prime. Res64: D6F8E5A5F4BE39FA Time : 0.0 sec. user=mdettweiler [2015-06-20 06:24:37] 837*2^1400901-1 is not prime. Res64: 8D5F2DE4585329CF Time : 0.0 sec. user=mdettweiler [2015-06-20 06:24:38] 861*2^1400901-1 is not prime. Res64: 9C291F8389C63DD1 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:34:29] 871*2^1400901-1 is not prime. Res64: 92A7DF7BA563AD0E Time : 0.0 sec. user=mdettweiler [2015-06-20 06:34:29] 877*2^1400901-1 is not prime. Res64: 081FE70AB937AD75 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:40:52] 907*2^1400901-1 is not prime. Res64: 28AA6F4EDE8CD398 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:40:52] 645*2^1400902-1 is not prime. Res64: 8228961188DA1BC6 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:43:45] 651*2^1400902-1 is not prime. Res64: D6973E205BC31A52 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:43:45] 783*2^1400903-1 is not prime. Res64: 03F5DBA2E17734F8 Time : 0.0 sec. user=mdettweiler [2015-06-20 06:44:32] 879*2^1400903-1 is not prime. Res64: AE32056E681FA34F Time : 0.0 sec. user=mdettweiler [2015-06-20 06:44:32] 657*2^1400904-1 is not prime. Res64: 5706822A913377FA Time : 0.0 sec. user=mdettweiler [2015-06-20 06:55:16] 665*2^1400904-1 is not prime. Res64: AEDD0149614C1FDB Time : 0.0 sec. user=mdettweiler [2015-06-20 06:55:16] 705*2^1400904-1 is not prime. Res64: CAF23519F3A2B415 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:01:43] 747*2^1400904-1 is not prime. Res64: 25764AE2219CD4F2 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:01:44] 809*2^1400904-1 is not prime. Res64: B80A4D4E8CAE7354 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:04:17] 923*2^1400904-1 is not prime. Res64: 5F81AC09122DEB71 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:04:17] 927*2^1400904-1 is not prime. Res64: BF25BC54949D3048 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:04:46] 649*2^1400905-1 is not prime. Res64: 32455DA7D89AAF39 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:04:47] 777*2^1400905-1 is not prime. Res64: B8CF35F4AA3A4F69 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:15:21] 817*2^1400905-1 is not prime. Res64: 96AE5024B7CD07A6 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:15:21] 987*2^1400905-1 is not prime. Res64: 345B8ACFAE9DDCC8 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:24:17] 861*2^1400906-1 is not prime. Res64: 9BAD776CDDA83D7A Time : 0.0 sec. user=mdettweiler [2015-06-20 07:24:17] 873*2^1400906-1 is not prime. Res64: 2F34198C85695DEB Time : 0.0 sec. user=mdettweiler [2015-06-20 07:24:57] 923*2^1400906-1 is not prime. Res64: 627E986D84B31FF0 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:24:57] 981*2^1400906-1 is not prime. Res64: DF5AAF24542B234A Time : 0.0 sec. user=mdettweiler [2015-06-20 07:25:32] 669*2^1400907-1 is not prime. Res64: 6E1E8552BEB2D726 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:25:32] 685*2^1400907-1 is not prime. Res64: EB2D887B9FC0B1C4 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:35:39] 819*2^1400907-1 is not prime. Res64: 3349819D021A0739 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:35:39] 871*2^1400907-1 is not prime. Res64: BEAB12C7233E6C5C Time : 0.0 sec. user=mdettweiler [2015-06-20 07:44:28] 963*2^1400907-1 is not prime. Res64: 7361115FB00993D3 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:44:28] 677*2^1400908-1 is not prime. Res64: 6778A62CE61778C9 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:45:11] 827*2^1400908-1 is not prime. Res64: A8BBF31E554FEC89 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:45:11] 887*2^1400908-1 is not prime. Res64: 537108336D8EA6AA Time : 0.0 sec. user=mdettweiler [2015-06-20 07:48:17] 959*2^1400908-1 is not prime. Res64: 92415B75C389011D Time : 0.0 sec. user=mdettweiler [2015-06-20 07:48:18] 621*2^1400909-1 is not prime. Res64: B0A64C4D2C878CED Time : 0.0 sec. user=mdettweiler [2015-06-20 07:55:39] 655*2^1400909-1 is not prime. Res64: EC3B2A7FA578E216 Time : 0.0 sec. user=mdettweiler [2015-06-20 07:55:39] 927*2^1400909-1 is not prime. Res64: E5210FC77124C9C3 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:05:04] 967*2^1400909-1 is not prime. Res64: C0F0D1E0B597BD0D Time : 0.0 sec. user=mdettweiler [2015-06-20 08:05:05] 985*2^1400909-1 is not prime. Res64: 15A44C63AA400608 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:06:32] 611*2^1400910-1 is not prime. Res64: 7632C97C66CA95C3 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:06:32] 651*2^1400910-1 is not prime. Res64: C9C1ED2607BEFB29 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:09:02] 653*2^1400910-1 is not prime. Res64: CBD3FA37ACB92135 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:09:02] 681*2^1400910-1 is not prime. Res64: 2D2D198F90830266 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:15:40] 693*2^1400910-1 is not prime. Res64: 4CFDE9B70060D08B Time : 0.0 sec. user=mdettweiler [2015-06-20 08:15:40] 725*2^1400910-1 is not prime. Res64: 4A10BAF9E97C8D70 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:25:37] 755*2^1400910-1 is not prime. Res64: 1A08F32AAD144F1E Time : 0.0 sec. user=mdettweiler [2015-06-20 08:25:37] 843*2^1400910-1 is not prime. Res64: 00AF03FABB1461FD Time : 0.0 sec. user=mdettweiler [2015-06-20 08:27:48] 851*2^1400910-1 is not prime. Res64: 479E9B78809F907C Time : 0.0 sec. user=mdettweiler [2015-06-20 08:27:49] 867*2^1400910-1 is not prime. Res64: E66F9193C6B92DC8 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:29:31] 945*2^1400910-1 is not prime. Res64: 7796DAA11A5273F4 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:29:31] 963*2^1400910-1 is not prime. Res64: AAA257FE1C9DCF3B Time : 0.0 sec. user=mdettweiler [2015-06-20 08:36:14] 965*2^1400910-1 is not prime. Res64: 9FC1873E699AD897 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:36:14] 609*2^1400911-1 is not prime. Res64: C90C4593DC17F6DB Time : 0.0 sec. user=mdettweiler [2015-06-20 08:46:14] 615*2^1400911-1 is not prime. Res64: 74278962C481C9DC Time : 0.0 sec. user=mdettweiler [2015-06-20 08:46:14] 663*2^1400911-1 is not prime. Res64: 15B04D9F0F9CB438 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:48:41] 693*2^1400911-1 is not prime. Res64: 7727851D206BDC80 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:48:41] 751*2^1400911-1 is not prime. Res64: 47D4C6401214F01C Time : 0.0 sec. user=mdettweiler [2015-06-20 08:50:48] 759*2^1400911-1 is not prime. Res64: F9977980ABBF7C94 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:50:48] 871*2^1400911-1 is not prime. Res64: C23AA8ECE21036C9 Time : 0.0 sec. user=mdettweiler [2015-06-20 08:57:04] 873*2^1400911-1 is not prime. Res64: 8DAEBA9B43B3589E Time : 0.0 sec. user=mdettweiler [2015-06-20 08:57:04] 615*2^1400912-1 is not prime. Res64: 76B993CA53D9C159 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:06:44] 635*2^1400912-1 is not prime. Res64: 2898E8A32D6496C8 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:06:44] 687*2^1400912-1 is not prime. Res64: D7B317FF9BA1580B Time : 0.0 sec. user=mdettweiler [2015-06-20 09:09:27] 917*2^1400912-1 is not prime. Res64: 638DF2A8EFFC6ACD Time : 0.0 sec. user=mdettweiler [2015-06-20 09:09:27] 637*2^1400913-1 is not prime. Res64: E44FF5491A2E4D47 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:12:04] 657*2^1400913-1 is not prime. Res64: FE58C7C7F1134277 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:12:04] 681*2^1400913-1 is not prime. Res64: DEC4306FB1D45521 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:17:19] 699*2^1400913-1 is not prime. Res64: B1F2717252CDAD28 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:17:19] 891*2^1400913-1 is not prime. Res64: B66F47B932C2EBE3 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:28:14] 945*2^1400913-1 is not prime. Res64: 7E0F2BA907A444A3 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:28:14] 633*2^1400914-1 is not prime. Res64: F10FA6EFDFD0A177 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:29:43] 651*2^1400914-1 is not prime. Res64: 8093E6FB339922C1 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:29:43] 805*2^1400915-1 is not prime. Res64: 2852B45FAFBF9F5C Time : 0.0 sec. user=mdettweiler [2015-06-20 09:32:06] 829*2^1400915-1 is not prime. Res64: 8C950D03F7EB0AE2 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:32:06] 843*2^1400915-1 is not prime. Res64: DFBD321F974C1D0E Time : 0.0 sec. user=mdettweiler [2015-06-20 09:38:56] 973*2^1400915-1 is not prime. Res64: E08EA5B7255AFD95 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:38:57] 669*2^1400916-1 is not prime. Res64: E5C650F6EE982178 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:47:49] 765*2^1400916-1 is not prime. Res64: B3BD5F45CC80DCF7 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:47:50] 789*2^1400916-1 is not prime. Res64: 2DA92A19BC412737 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:51:03] 903*2^1400916-1 is not prime. Res64: 67D8437DACFF508E Time : 0.0 sec. user=mdettweiler [2015-06-20 09:51:03] 999*2^1400916-1 is not prime. Res64: F325410B45D300D9 Time : 0.0 sec. user=mdettweiler [2015-06-20 09:53:09] 649*2^1400917-1 is not prime. Res64: EFAC61AB78AB84AC Time : 0.0 sec. user=mdettweiler [2015-06-20 09:53:09] 751*2^1400917-1 is not prime. Res64: F5A75386B64234EE Time : 0.0 sec. user=mdettweiler [2015-06-20 10:00:20] 759*2^1400917-1 is not prime. Res64: D476F5D58ED7D63E Time : 0.0 sec. user=mdettweiler [2015-06-20 10:00:20] 765*2^1400917-1 is not prime. Res64: C99E568F6E02E580 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:08:59] 939*2^1400917-1 is not prime. Res64: 37260B9700E1A01E Time : 0.0 sec. user=mdettweiler [2015-06-20 10:08:59] 651*2^1400918-1 is not prime. Res64: EAD37FE0133E8279 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:11:17] 671*2^1400918-1 is not prime. Res64: 970EC61EC6BEABB9 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:11:18] 711*2^1400918-1 is not prime. Res64: 15E98E09E8B53C55 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:13:44] 791*2^1400918-1 is not prime. Res64: A251CA0D110D719D Time : 0.0 sec. user=mdettweiler [2015-06-20 10:13:44] 887*2^1400918-1 is not prime. Res64: 0270695A86E65033 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:21:07] 921*2^1400918-1 is not prime. Res64: A44F004A6AC29D4D Time : 0.0 sec. user=mdettweiler [2015-06-20 10:21:07] 861*2^1400919-1 is not prime. Res64: 8FA983CDB9CE25C8 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:30:37] 933*2^1400919-1 is not prime. Res64: CBF0DA7478A2FD69 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:30:37] 665*2^1400920-1 is not prime. Res64: 614A55AE1EAF2296 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:31:40] 677*2^1400920-1 is not prime. Res64: A72FFC0BDE15E23C Time : 0.0 sec. user=mdettweiler [2015-06-20 10:31:40] 765*2^1400920-1 is not prime. Res64: 88791544F64D30C5 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:34:04] 965*2^1400920-1 is not prime. Res64: 815498D8AB180C42 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:34:05] 989*2^1400920-1 is not prime. Res64: 100EF5ED64EF4D57 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:43:15] 999*2^1400920-1 is not prime. Res64: EEFE8480A0FF593D Time : 0.0 sec. user=mdettweiler [2015-06-20 10:43:16] 679*2^1400921-1 is not prime. Res64: 96419FC3C89BC951 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:51:14] 769*2^1400921-1 is not prime. Res64: 6D7EA2528742F7A5 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:51:14] 879*2^1400921-1 is not prime. Res64: E47FF74274602BA4 Time : 0.0 sec. user=mdettweiler [2015-06-20 10:51:38] 727*2^1400921-1 is not prime. Res64: 62E52DEB4E18504A Time : 0.0 sec. user=mdettweiler [2015-06-20 10:51:38] 741*2^1400921-1 is not prime. Res64: A159159098694F3E Time : 0.0 sec. user=mdettweiler [2015-06-20 10:55:43] 987*2^1400921-1 is not prime. Res64: AB4E2F4F869FB43A Time : 0.0 sec. user=mdettweiler [2015-06-20 10:55:43] 657*2^1400922-1 is not prime. Res64: 68F3D2BCBA498D12 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:04:11] 681*2^1400922-1 is not prime. Res64: 8FBCF9E7DA278F48 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:04:12] 777*2^1400922-1 is not prime. Res64: 381925654E6ADC06 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:11:47] 625*2^1400923-1 is not prime. Res64: 96BF078859178EB9 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:11:47] 633*2^1400923-1 is not prime. Res64: 35A18EE23A1752C0 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:12:10] 963*2^1400922-1 is not prime. Res64: 7730D239083C5C90 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:12:10] 1001*2^1400922-1 is not prime. Res64: F32851480E73C65C Time : 0.0 sec. user=mdettweiler [2015-06-20 11:17:14] 685*2^1400923-1 is not prime. Res64: 8E0E91B376CA98CB Time : 0.0 sec. user=mdettweiler [2015-06-20 11:17:14] 861*2^1400923-1 is not prime. Res64: C26DC1A76EAB8075 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:25:46] 889*2^1400923-1 is not prime. Res64: DABF21EB9571AF43 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:25:46] 605*2^1400924-1 is not prime. Res64: F038D55D0D50E42C Time : 0.0 sec. user=mdettweiler [2015-06-20 11:32:37] 617*2^1400924-1 is not prime. Res64: 80E903F08737442C Time : 0.0 sec. user=mdettweiler [2015-06-20 11:32:37] 683*2^1400924-1 is not prime. Res64: 1E8F621EF34A83FC Time : 0.0 sec. user=mdettweiler [2015-06-20 11:32:49] 717*2^1400924-1 is not prime. Res64: 35B3C9CF0AC42D77 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:32:49] 795*2^1400924-1 is not prime. Res64: 1F03A3CBC717B194 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:37:35] 923*2^1400924-1 is not prime. Res64: 40BEA8A9F3C859C9 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:37:35] 649*2^1400925-1 is not prime. Res64: F379536AF14831D1 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:47:18] 849*2^1400925-1 is not prime. Res64: 1279B4FEF15626FD Time : 0.0 sec. user=mdettweiler [2015-06-20 11:47:19] 871*2^1400925-1 is not prime. Res64: 7D8525A36E445AF2 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:53:21] 951*2^1400925-1 is not prime. Res64: D1564D4E9627B9E7 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:53:22] 979*2^1400925-1 is not prime. Res64: 3A12862D23052E99 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:53:27] 915*2^1400925-1 is not prime. Res64: 7F2B1999935A54FC Time : 0.0 sec. user=mdettweiler [2015-06-20 11:53:27] 949*2^1400925-1 is not prime. Res64: 800973420DFF2F36 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:59:14] 645*2^1400926-1 is not prime. Res64: 835C2E9748A267F9 Time : 0.0 sec. user=mdettweiler [2015-06-20 11:59:14] 867*2^1400926-1 is not prime. Res64: 183E739B59B436E0 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:07:37] 917*2^1400926-1 is not prime. Res64: D9BB31951F589488 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:07:37] 711*2^1400927-1 is not prime. Res64: 0B69C910B6D8C409 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:13:41] 825*2^1400927-1 is not prime. Res64: 74221AD45876C0A9 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:13:42] 861*2^1400927-1 is not prime. Res64: 3E8CC1A0766E9F36 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:13:44] 883*2^1400927-1 is not prime. Res64: ED55A4277214EDEF Time : 0.0 sec. user=mdettweiler [2015-06-20 12:13:44] 945*2^1400927-1 is not prime. Res64: D3F9A80B141F3E04 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:20:37] 949*2^1400927-1 is not prime. Res64: D95653AA89079406 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:20:37] 985*2^1400927-1 is not prime. Res64: 60BE5A5AA04BBC2B Time : 0.0 sec. user=mdettweiler [2015-06-20 12:29:25] 993*2^1400927-1 is not prime. Res64: 9A16FBA9CBB982E1 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:29:25] 999*2^1400927-1 is not prime. Res64: D61AFD057BEFE087 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:33:11] 759*2^1400928-1 is not prime. Res64: AD17B16936B7B9B7 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:33:11] 765*2^1400928-1 is not prime. Res64: D3EC046E7442716F Time : 0.0 sec. user=mdettweiler [2015-06-20 12:34:00] 639*2^1400928-1 is not prime. Res64: A5E0B4401F42FB15 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:34:00] 747*2^1400928-1 is not prime. Res64: 8CB56BCDB29EB864 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:42:35] 927*2^1400928-1 is not prime. Res64: 97FBE320227562CD Time : 0.0 sec. user=mdettweiler [2015-06-20 12:42:35] 947*2^1400928-1 is not prime. Res64: 033425ADD1FD49A3 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:48:38] 975*2^1400928-1 is not prime. Res64: 81C9CA083141B053 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:48:38] 649*2^1400929-1 is not prime. Res64: 58166CDF083DEE8C Time : 0.0 sec. user=mdettweiler [2015-06-20 12:52:31] 955*2^1400929-1 is not prime. Res64: 1001DE6BEB03D55B Time : 0.0 sec. user=mdettweiler [2015-06-20 12:52:31] 615*2^1400930-1 is not prime. Res64: F99588BC58DE2A58 Time : 0.0 sec. user=mdettweiler [2015-06-20 12:52:37] 919*2^1400929-1 is not prime. Res64: FA533E30EF43278C Time : 0.0 sec. user=mdettweiler [2015-06-20 12:52:37] 951*2^1400929-1 is not prime. Res64: 65400799B46B09E4 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:06:10] 887*2^1400930-1 is not prime. Res64: FCAF5DA45F0AFCBF Time : 0.0 sec. user=mdettweiler [2015-06-20 13:06:11] 649*2^1400931-1 is not prime. Res64: 21AF842FEAEC7CF2 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:10:05] 775*2^1400931-1 is not prime. Res64: C7061E31EC815BEB Time : 0.0 sec. user=mdettweiler [2015-06-20 13:10:05] 781*2^1400931-1 is not prime. Res64: 5D322F0368345C58 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:10:11] 783*2^1400931-1 is not prime. Res64: 7B48E6D6DD7FDEC5 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:10:11] 793*2^1400931-1 is not prime. Res64: 873E1F6040F4CF00 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:23:49] 609*2^1400932-1 is not prime. Res64: 1A3C86455ADED5F4 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:23:49] 635*2^1400932-1 is not prime. Res64: C425FC83A0DC83CB Time : 0.0 sec. user=mdettweiler [2015-06-20 13:27:39] 689*2^1400932-1 is not prime. Res64: B21DC2B5C251CA6B Time : 0.0 sec. user=mdettweiler [2015-06-20 13:27:39] 735*2^1400932-1 is not prime. Res64: DAF0C64798587DB3 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:27:44] 779*2^1400932-1 is not prime. Res64: 8C2A0F3972C66F59 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:27:45] 825*2^1400932-1 is not prime. Res64: 70C1E3C10A52B75D Time : 0.0 sec. user=mdettweiler [2015-06-20 13:41:22] 855*2^1400932-1 is not prime. Res64: 1BB678299F7244E9 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:41:23] 929*2^1400932-1 is not prime. Res64: 3C4ACE20FA3EE3ED Time : 0.0 sec. user=mdettweiler [2015-06-20 13:45:10] 669*2^1400933-1 is not prime. Res64: A73273325E006C02 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:45:11] 741*2^1400933-1 is not prime. Res64: AB95E1B043D1A9B4 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:45:19] 787*2^1400933-1 is not prime. Res64: 64DC81DD4B6A68BF Time : 0.0 sec. user=mdettweiler [2015-06-20 13:45:19] 829*2^1400933-1 is not prime. Res64: A2510D78D73B9C9F Time : 0.0 sec. user=mdettweiler [2015-06-20 13:58:59] 859*2^1400933-1 is not prime. Res64: 983F851A5A54C376 Time : 0.0 sec. user=mdettweiler [2015-06-20 13:58:59] 889*2^1400933-1 is not prime. Res64: B7FC17AFFC780F0C Time : 0.0 sec. user=mdettweiler [2015-06-20 14:02:51] 949*2^1400933-1 is not prime. Res64: E0ED330D266D4C35 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:02:51] 621*2^1400934-1 is not prime. Res64: CEC5382545CD512D Time : 0.0 sec. user=mdettweiler [2015-06-20 14:03:00] 635*2^1400934-1 is not prime. Res64: 084AFCB6E7BE3032 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:03:01] 663*2^1400934-1 is not prime. Res64: C2CD212756BCA363 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:16:44] 707*2^1400934-1 is not prime. Res64: 194468207D84F30F Time : 0.0 sec. user=mdettweiler [2015-06-20 14:16:44] 783*2^1400934-1 is not prime. Res64: 11119AA7E3A483D3 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:20:37] 795*2^1400934-1 is not prime. Res64: A89F40CD609E78B7 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:20:38] 863*2^1400934-1 is not prime. Res64: 135984466C92A725 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:20:47] 875*2^1400934-1 is not prime. Res64: 34EBD98DAF418FC5 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:20:47] 885*2^1400934-1 is not prime. Res64: A0976A1E11FF7B5C Time : 0.0 sec. user=mdettweiler [2015-06-20 14:34:19] 893*2^1400934-1 is not prime. Res64: 371BE8987D70D823 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:34:19] 927*2^1400934-1 is not prime. Res64: A977B9452718BFA4 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:38:06] 971*2^1400934-1 is not prime. Res64: 26F99AA63EC2C216 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:38:06] 975*2^1400934-1 is not prime. Res64: 039DF1C5A3E702A4 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:38:12] 673*2^1400935-1 is not prime. Res64: 384DD74F8E58C99A Time : 0.0 sec. user=mdettweiler [2015-06-20 14:38:13] 759*2^1400935-1 is not prime. Res64: EBD98C053732F3BA Time : 0.0 sec. user=mdettweiler [2015-06-20 14:51:51] 819*2^1400935-1 is not prime. Res64: F4A09CC0AB60C44C Time : 0.0 sec. user=mdettweiler [2015-06-20 14:51:51] 855*2^1400935-1 is not prime. Res64: ED51178DC58B3D06 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:55:41] 909*2^1400935-1 is not prime. Res64: 50EEBDB5CC7A22F6 Time : 0.0 sec. user=mdettweiler [2015-06-20 14:55:41] 913*2^1400935-1 is not prime. Res64: 5F027A5363D187CB Time : 0.0 sec. user=mdettweiler [2015-06-20 14:55:48] 657*2^1400936-1 is not prime. Res64: 03E11EB6424AB09C Time : 0.0 sec. user=mdettweiler [2015-06-20 14:55:48] 659*2^1400936-1 is not prime. Res64: E80236E2D1019C72 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:09:38] 693*2^1400936-1 is not prime. Res64: 3020DFA254655412 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:09:39] 743*2^1400936-1 is not prime. Res64: 9F630E3113955956 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:13:32] 755*2^1400936-1 is not prime. Res64: 7BD221BC2C384014 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:13:33] 927*2^1400936-1 is not prime. Res64: 641378F4B1F6BB22 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:13:41] 649*2^1400937-1 is not prime. Res64: 8E686B79DAB94601 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:13:41] 739*2^1400937-1 is not prime. Res64: 1C8A5C90A0FDC5D7 Time : 0.0 sec. user=juhehe [2015-06-20 15:17:52] 683*2^1400936-1 is not prime. Res64: EE990FB214E17EF5 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:27:32] 997*2^1400937-1 is not prime. Res64: A33F318616B67672 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:27:33] 617*2^1400938-1 is not prime. Res64: 8EB51E6A84329A8E Time : 0.0 sec. user=mdettweiler [2015-06-20 15:31:21] 731*2^1400938-1 is not prime. Res64: C254831831D905E1 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:31:22] 735*2^1400938-1 is not prime. Res64: 6EC476264902723F Time : 0.0 sec. user=mdettweiler [2015-06-20 15:31:28] 867*2^1400938-1 is not prime. Res64: 3025EEC3C1D2BB50 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:31:29] 881*2^1400938-1 is not prime. Res64: 684AD483F54E1A5F Time : 0.0 sec. user=mdettweiler [2015-06-20 15:45:17] 911*2^1400938-1 is not prime. Res64: 2F6C133BA564261B Time : 0.0 sec. user=mdettweiler [2015-06-20 15:45:18] 941*2^1400938-1 is not prime. Res64: 97F0554204304947 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:49:06] 981*2^1400938-1 is not prime. Res64: 2F6A598F0FB58811 Time : 0.0 sec. user=mdettweiler [2015-06-20 15:49:07] 603*2^1400939-1 is not prime. Res64: 0BE603D4EA12F06D Time : 0.0 sec. user=mdettweiler [2015-06-20 15:49:13] 619*2^1400939-1 is not prime. Res64: D6B4D98730CBB68F Time : 0.0 sec. user=mdettweiler [2015-06-20 15:49:14] 643*2^1400939-1 is not prime. Res64: E464E0EF06CD7161 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:02:54] 663*2^1400939-1 is not prime. Res64: 973BC416FCC9A19B Time : 0.0 sec. user=mdettweiler [2015-06-20 16:02:55] 859*2^1400939-1 is not prime. Res64: 44A405D7337725B3 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:06:42] 883*2^1400939-1 is not prime. Res64: E2806DFDCA0504CD Time : 0.0 sec. user=mdettweiler [2015-06-20 16:06:44] 931*2^1400939-1 is not prime. Res64: 9E7C7889837093A8 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:06:45] 939*2^1400939-1 is not prime. Res64: 620799121BC62164 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:06:46] 759*2^1400940-1 is not prime. Res64: 255EA4BB308AA5D3 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:21:01] 797*2^1400940-1 is not prime. Res64: 2D23C629661B41F0 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:21:02] 905*2^1400940-1 is not prime. Res64: AD2B5EDE537FCF92 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:24:51] 811*2^1400941-1 is not prime. Res64: 8A55AA4234E48C83 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:24:51] 817*2^1400941-1 is not prime. Res64: 90E6DF340A46C917 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:24:54] 855*2^1400941-1 is not prime. Res64: 3AE3C1466F10E485 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:24:54] 925*2^1400941-1 is not prime. Res64: 281B2525131ABFEC Time : 0.0 sec. user=mdettweiler [2015-06-20 16:38:32] 961*2^1400941-1 is not prime. Res64: 2968ADF1019F5583 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:38:33] 617*2^1400942-1 is not prime. Res64: DBD4FE3831DEBC81 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:42:23] 693*2^1400942-1 is not prime. Res64: 87B80C885CDC73E1 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:42:23] 747*2^1400942-1 is not prime. Res64: BD6D9440F5B97DB4 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:42:26] 791*2^1400942-1 is not prime. Res64: 5CBED102B23D7FD4 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:42:27] 827*2^1400942-1 is not prime. Res64: 88BC61A17D14F6F2 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:56:09] 867*2^1400942-1 is not prime. Res64: 89A9301069D9F9B8 Time : 0.0 sec. user=mdettweiler [2015-06-20 16:56:10] 885*2^1400942-1 is not prime. Res64: EDC6B17167E80635 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:00:00] 935*2^1400942-1 is not prime. Res64: 466C86C88B55179D Time : 0.0 sec. user=mdettweiler [2015-06-20 17:00:00] 963*2^1400942-1 is not prime. Res64: B4E7C7C40106D055 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:00:04] 621*2^1400943-1 is not prime. Res64: AE3DBAF9E6B29A90 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:00:04] 691*2^1400943-1 is not prime. Res64: B92779D877F2A30B Time : 0.0 sec. user=mdettweiler [2015-06-20 17:13:50] 703*2^1400943-1 is not prime. Res64: E16D71CB58A63240 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:13:51] 873*2^1400943-1 is not prime. Res64: 7FFF0D282A55D844 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:17:47] 605*2^1400944-1 is not prime. Res64: 29C48A2F7E3F0F6B Time : 0.0 sec. user=mdettweiler [2015-06-20 17:17:47] 609*2^1400944-1 is not prime. Res64: E004FB9158EC361F Time : 0.0 sec. user=mdettweiler [2015-06-20 17:17:49] 843*2^1400944-1 is not prime. Res64: 817510D3744215EF Time : 0.0 sec. user=mdettweiler [2015-06-20 17:17:49] 873*2^1400944-1 is not prime. Res64: 8FA66874850F715E Time : 0.0 sec. user=mdettweiler [2015-06-20 17:31:33] 959*2^1400944-1 is not prime. Res64: 59D94EB6D854104A Time : 0.0 sec. user=mdettweiler [2015-06-20 17:31:34] 619*2^1400945-1 is not prime. Res64: 824E61F166DA8568 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:35:24] 717*2^1400945-1 is not prime. Res64: C8858B784A60394A Time : 0.0 sec. user=mdettweiler [2015-06-20 17:35:25] 727*2^1400945-1 is not prime. Res64: 5B53AF29AC7D35D8 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:35:27] 669*2^1400945-1 is not prime. Res64: CD5E65150673127D Time : 0.0 sec. user=mdettweiler [2015-06-20 17:35:28] 715*2^1400945-1 is not prime. Res64: EC1F85E9B93497E1 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:49:03] 811*2^1400945-1 is not prime. Res64: CABB265C3D4DBD68 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:49:04] 831*2^1400945-1 is not prime. Res64: B769CD9DF5553D59 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:52:53] 837*2^1400945-1 is not prime. Res64: 742FF095102A37A0 Time : 0.0 sec. user=mdettweiler [2015-06-20 17:52:53] 889*2^1400945-1 is not prime. Res64: 3B142E8B282B102C Time : 0.0 sec. user=mdettweiler [2015-06-20 17:52:55] 981*2^1400945-1 is not prime. Res64: 480C1CDB9CE0CE3E Time : 0.0 sec. user=mdettweiler [2015-06-20 17:52:55] 627*2^1400946-1 is not prime. Res64: DC1677D2A95B28ED Time : 0.0 sec. user=mdettweiler [2015-06-20 18:06:26] 713*2^1400946-1 is not prime. Res64: 83B2D75AF7D4D1E9 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:06:27] 821*2^1400946-1 is not prime. Res64: E9116E71E3C4BF08 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:10:13] 873*2^1400946-1 is not prime. Res64: 5DCAADC3AC54DBBD Time : 0.0 sec. user=mdettweiler [2015-06-20 18:10:14] 903*2^1400946-1 is not prime. Res64: 4916B6A446FEC561 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:10:15] 673*2^1400947-1 is not prime. Res64: 7CD62EAA55C11A5E Time : 0.0 sec. user=mdettweiler [2015-06-20 18:10:16] 751*2^1400947-1 is not prime. Res64: 560B2EB44CD149BA Time : 0.0 sec. user=mdettweiler [2015-06-20 18:23:47] 819*2^1400947-1 is not prime. Res64: 066663A93785106F Time : 0.0 sec. user=mdettweiler [2015-06-20 18:23:48] 925*2^1400947-1 is not prime. Res64: 5684C3F036872F92 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:27:32] 961*2^1400947-1 is not prime. Res64: F013822CB0A887C9 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:27:32] 677*2^1400948-1 is not prime. Res64: 1DDCD234B02E9F7A Time : 0.0 sec. user=mdettweiler [2015-06-20 18:27:32] 743*2^1400948-1 is not prime. Res64: F581825956D340FC Time : 0.0 sec. user=mdettweiler [2015-06-20 18:27:33] 759*2^1400948-1 is not prime. Res64: 45D5383BA0635845 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:41:05] 795*2^1400948-1 is not prime. Res64: D02927F28FC09108 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:41:05] 797*2^1400948-1 is not prime. Res64: 377472EFC0C37300 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:44:50] 897*2^1400948-1 is not prime. Res64: 182CB81F78D51726 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:44:50] 909*2^1400948-1 is not prime. Res64: 3ECA65BCF91A19DE Time : 0.0 sec. user=mdettweiler [2015-06-20 18:44:51] 819*2^1400948-1 is not prime. Res64: 3D404F4F8266BB51 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:44:51] 885*2^1400948-1 is not prime. Res64: 2864C13D8934C35F Time : 0.0 sec. user=mdettweiler [2015-06-20 18:58:37] 661*2^1400949-1 is not prime. Res64: 97B6813B78C2A417 Time : 0.0 sec. user=mdettweiler [2015-06-20 18:58:37] 751*2^1400949-1 is not prime. Res64: 506CDD8930E1AE76 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:02:24] 789*2^1400949-1 is not prime. Res64: 60164EF6F16A82C3 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:02:25] 837*2^1400949-1 is not prime. Res64: 4B3A34ABF6E5C918 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:02:25] 847*2^1400949-1 is not prime. Res64: BF182D7AC0781AD5 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:02:26] 889*2^1400949-1 is not prime. Res64: 19703EB3038F826A Time : 0.0 sec. user=mdettweiler [2015-06-20 19:16:12] 657*2^1400950-1 is not prime. Res64: 76E70E40AF66089D Time : 0.0 sec. user=mdettweiler [2015-06-20 19:16:13] 723*2^1400950-1 is not prime. Res64: 7D72B7594CA8D6DB Time : 0.0 sec. user=mdettweiler [2015-06-20 19:19:57] 783*2^1400950-1 is not prime. Res64: 6787F841EDEE95EB Time : 0.0 sec. user=mdettweiler [2015-06-20 19:19:57] 827*2^1400950-1 is not prime. Res64: 91B08D7F91A9102B Time : 0.0 sec. user=mdettweiler [2015-06-20 19:19:59] 855*2^1400950-1 is not prime. Res64: 5C00447CAF600D76 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:20:00] 885*2^1400950-1 is not prime. Res64: E641FD3D9C369850 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:33:44] 911*2^1400950-1 is not prime. Res64: 101280E1C950F35D Time : 0.0 sec. user=mdettweiler [2015-06-20 19:33:44] 609*2^1400951-1 is not prime. Res64: 259D0B185706AC65 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:37:26] 781*2^1400951-1 is not prime. Res64: 374F7B2CEFD05287 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:37:26] 855*2^1400951-1 is not prime. Res64: 75D89D25D816C22C Time : 0.0 sec. user=mdettweiler [2015-06-20 19:37:28] 693*2^1400951-1 is not prime. Res64: 97E115A06C460542 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:37:28] 703*2^1400951-1 is not prime. Res64: 69452739399DEB87 Time : 0.0 sec. user=juhehe [2015-06-20 19:38:16] 991*2^1400949-1 is not prime. Res64: 5AEEFECF9C1AA162 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:51:15] 889*2^1400951-1 is not prime. Res64: 8A0CA82A908136C7 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:51:15] 939*2^1400951-1 is not prime. Res64: 8B8637F0EF2350C4 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:54:58] 943*2^1400951-1 is not prime. Res64: 0E3E6B2EC79161B8 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:54:59] 969*2^1400951-1 is not prime. Res64: 3680BB41BE8E6431 Time : 0.0 sec. user=mdettweiler [2015-06-20 19:54:59] 979*2^1400951-1 is not prime. Res64: 3BDB3E8FB8FF3ECA Time : 0.0 sec. user=mdettweiler [2015-06-20 19:54:59] 635*2^1400952-1 is not prime. Res64: 3E9C1763B81EF3C7 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:08:55] 819*2^1400952-1 is not prime. Res64: 2DE65BCF6633B33F Time : 0.0 sec. user=mdettweiler [2015-06-20 20:08:56] 945*2^1400952-1 is not prime. Res64: 7C0E22C18325611E Time : 0.0 sec. user=mdettweiler [2015-06-20 20:12:49] 959*2^1400952-1 is not prime. Res64: 7D04575CFB78B473 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:12:49] 651*2^1400953-1 is not prime. Res64: DFF322331F8C68F3 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:12:50] 681*2^1400953-1 is not prime. Res64: F9F9C2A310871618 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:12:50] 721*2^1400953-1 is not prime. Res64: 5CE0C0179625A1F7 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:26:39] 801*2^1400953-1 is not prime. Res64: 0E64DA61749670CE Time : 0.0 sec. user=mdettweiler [2015-06-20 20:26:40] 831*2^1400953-1 is not prime. Res64: E494993BB51604FB Time : 0.0 sec. user=mdettweiler [2015-06-20 20:30:17] 861*2^1400953-1 is not prime. Res64: 2C2FE2679779853E Time : 0.0 sec. user=mdettweiler [2015-06-20 20:30:18] 867*2^1400953-1 is not prime. Res64: 87E04F1E4C6BBA4A Time : 0.0 sec. user=mdettweiler [2015-06-20 20:30:18] 895*2^1400953-1 is not prime. Res64: 291D103DFE1EB548 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:30:19] 937*2^1400953-1 is not prime. Res64: 45954F456D43A697 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:44:08] 665*2^1400954-1 is not prime. Res64: BBDFB54A799C8284 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:44:08] 701*2^1400954-1 is not prime. Res64: 76207FF0C1D21A11 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:47:42] 995*2^1400954-1 is not prime. Res64: DBE6F9FE7A119A72 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:47:43] 791*2^1400954-1 is not prime. Res64: 0DC39714647CB85D Time : 0.0 sec. user=mdettweiler [2015-06-20 20:47:43] 619*2^1400955-1 is not prime. Res64: D9D924BF16709C59 Time : 0.0 sec. user=mdettweiler [2015-06-20 20:47:43] 935*2^1400954-1 is not prime. Res64: A8D45394469C6C9C Time : 0.0 sec. user=mdettweiler [2015-06-20 21:01:27] 643*2^1400955-1 is not prime. Res64: 2EA82604ADD3874C Time : 0.0 sec. user=mdettweiler [2015-06-20 21:01:28] 663*2^1400955-1 is not prime. Res64: 082D053782E782F6 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:05:00] 723*2^1400955-1 is not prime. Res64: BCE6132693C6E1F4 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:05:00] 675*2^1400955-1 is not prime. Res64: B3E31F99BA9E0C44 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:05:02] 739*2^1400955-1 is not prime. Res64: 0B1C8BF811C6C1FE Time : 0.0 sec. user=mdettweiler [2015-06-20 21:05:02] 685*2^1400955-1 is not prime. Res64: B4CC1FD871173579 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:18:53] 751*2^1400955-1 is not prime. Res64: 217170464A2D437A Time : 0.0 sec. user=mdettweiler [2015-06-20 21:18:54] 873*2^1400955-1 is not prime. Res64: C9A33056ACE34D33 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:22:20] 921*2^1400955-1 is not prime. Res64: F4E7D0BF2DE9887C Time : 0.0 sec. user=mdettweiler [2015-06-20 21:22:21] 961*2^1400955-1 is not prime. Res64: E4FCFEAD52FFFC39 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:22:24] 777*2^1400956-1 is not prime. Res64: 469F6AEC54011D2A Time : 0.0 sec. user=mdettweiler [2015-06-20 21:22:24] 875*2^1400956-1 is not prime. Res64: C0B226E35785724C Time : 0.0 sec. user=mdettweiler [2015-06-20 21:36:11] 607*2^1400957-1 is not prime. Res64: 1600F92D23EB6638 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:36:11] 621*2^1400957-1 is not prime. Res64: C2164B857399EBB9 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:39:37] 645*2^1400957-1 is not prime. Res64: B9FAA42736355444 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:39:37] 651*2^1400957-1 is not prime. Res64: DCF627A629FF1528 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:39:40] 711*2^1400957-1 is not prime. Res64: 819DB3A15EEE96A5 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:39:41] 799*2^1400957-1 is not prime. Res64: F8F9629C5E8E6988 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:53:30] 955*2^1400957-1 is not prime. Res64: A7A2A2FCF0FBAE9F Time : 0.0 sec. user=mdettweiler [2015-06-20 21:53:30] 677*2^1400958-1 is not prime. Res64: C53E54E340470143 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:56:53] 681*2^1400958-1 is not prime. Res64: 1F1E9810920605C9 Time : 0.0 sec. user=mdettweiler [2015-06-20 21:56:54] 755*2^1400958-1 is not prime. Res64: 4D14051EB95CF6AC Time : 0.0 sec. user=mdettweiler [2015-06-20 21:56:57] 773*2^1400958-1 is not prime. Res64: FD7D38AB44F20C1D Time : 0.0 sec. user=mdettweiler [2015-06-20 21:56:58] 797*2^1400958-1 is not prime. Res64: 08B0DBA34CBE6A1B Time : 0.0 sec. user=mdettweiler [2015-06-20 22:10:47] 833*2^1400958-1 is not prime. Res64: C0A9413729A479A7 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:10:47] 881*2^1400958-1 is not prime. Res64: A46DBE0AF9BFC183 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:14:10] 945*2^1400958-1 is not prime. Res64: D90ED770BE00AA4B Time : 0.0 sec. user=mdettweiler [2015-06-20 22:14:10] 723*2^1400959-1 is not prime. Res64: 2AA248ECC338CBAD Time : 0.0 sec. user=mdettweiler [2015-06-20 22:14:14] 745*2^1400959-1 is not prime. Res64: F8B0EF66A44B2D90 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:14:14] 843*2^1400959-1 is not prime. Res64: 850EE444B5320679 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:28:03] 895*2^1400959-1 is not prime. Res64: 13CCF6513F6492C2 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:28:04] 939*2^1400959-1 is not prime. Res64: 924D4047190E784F Time : 0.0 sec. user=mdettweiler [2015-06-20 22:31:26] 975*2^1400959-1 is not prime. Res64: 2A1B1F0AC7AEBEFE Time : 0.0 sec. user=mdettweiler [2015-06-20 22:31:26] 759*2^1400960-1 is not prime. Res64: A46AC3B8B6FC1B1D Time : 0.0 sec. user=mdettweiler [2015-06-20 22:31:30] 773*2^1400960-1 is not prime. Res64: 38C2AF37A1F9BC54 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:31:31] 789*2^1400960-1 is not prime. Res64: 8DE6C8ED235D1561 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:45:20] 813*2^1400960-1 is not prime. Res64: 84A9791BDD1243E4 Time : 0.0 sec. user=mdettweiler [2015-06-20 22:45:21] 843*2^1400960-1 is not prime. Res64: 171C59CB3B121DCF Time : 0.0 sec. user=mdettweiler [2015-06-20 22:48:43] 923*2^1400960-1 is not prime. Res64: 26C186353F891A9B Time : 0.0 sec. user=mdettweiler [2015-06-20 22:48:44] 963*2^1400960-1 is not prime. Res64: 03EB743A140D5C5E Time : 0.0 sec. user=mdettweiler [2015-06-20 22:48:48] 625*2^1400961-1 is not prime. Res64: C0B4E2C0A2DB82BB Time : 0.0 sec. user=mdettweiler [2015-06-20 22:48:48] 681*2^1400961-1 is not prime. Res64: 55556D7994B49EB4 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:02:39] 735*2^1400961-1 is not prime. Res64: 469DA0D0C627C0A9 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:02:40] 811*2^1400961-1 is not prime. Res64: F09987D23261ECE0 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:06:01] 835*2^1400961-1 is not prime. Res64: 1B57DF860FA8F558 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:06:01] 907*2^1400961-1 is not prime. Res64: 00B48368E6ED3FF6 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:06:06] 975*2^1400961-1 is not prime. Res64: B04504CA9610433A Time : 0.0 sec. user=mdettweiler [2015-06-20 23:06:06] 635*2^1400962-1 is not prime. Res64: DECAC721D2EE72E6 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:20:11] 821*2^1400962-1 is not prime. Res64: 1D83F61502812621 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:20:11] 831*2^1400962-1 is not prime. Res64: A8D0C552D370D514 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:23:17] 923*2^1400962-1 is not prime. Res64: C43B57E639200F39 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:23:17] 987*2^1400962-1 is not prime. Res64: 4017B90309BF60A5 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:23:22] 669*2^1400963-1 is not prime. Res64: 1C75A2AE74FB87B2 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:23:23] 735*2^1400963-1 is not prime. Res64: 3EEA03A2737A3B81 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:37:34] 853*2^1400963-1 is not prime. Res64: ACFC5C5350F7DB8B Time : 0.0 sec. user=mdettweiler [2015-06-20 23:37:34] 921*2^1400963-1 is not prime. Res64: 2F8C2EBEF719132A Time : 0.0 sec. user=mdettweiler [2015-06-20 23:40:34] 939*2^1400963-1 is not prime. Res64: 25AB1DB8542A7B94 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:40:35] 963*2^1400963-1 is not prime. Res64: 0AADE393434C49B0 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:40:38] 999*2^1400963-1 is not prime. Res64: 885BD7972BAC6BA8 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:40:39] 719*2^1400964-1 is not prime. Res64: EB7ECC8EF4B77044 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:54:52] 773*2^1400964-1 is not prime. Res64: 05A95211688F638D Time : 0.0 sec. user=mdettweiler [2015-06-20 23:54:52] 863*2^1400964-1 is not prime. Res64: E5416DEEB08A649B Time : 0.0 sec. user=mdettweiler [2015-06-20 23:57:50] 905*2^1400964-1 is not prime. Res64: FAC2F6F6ABAAFD76 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:57:50] 927*2^1400964-1 is not prime. Res64: D2053042D5D455BB Time : 0.0 sec. user=mdettweiler [2015-06-20 23:57:55] 945*2^1400964-1 is not prime. Res64: 4D5C368582B1F256 Time : 0.0 sec. user=mdettweiler [2015-06-20 23:57:55] 715*2^1400965-1 is not prime. Res64: C2EB3A30308F835B Time : 0.0 sec.