user=mdettweiler [2015-11-16 00:02:46] 605*2^1415078-1 is not prime. Res64: BFB78236E994C2BC Time : 0.0 sec. user=mdettweiler [2015-11-16 00:02:47] 665*2^1415078-1 is not prime. Res64: 514034937DA68980 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:09:44] 705*2^1415078-1 is not prime. Res64: E0AA80E546F07F9E Time : 0.0 sec. user=mdettweiler [2015-11-16 00:09:45] 707*2^1415078-1 is not prime. Res64: 983A7B66F676863B Time : 0.0 sec. user=mdettweiler [2015-11-16 00:16:09] 797*2^1415078-1 is not prime. Res64: 44CE695AD386359C Time : 0.0 sec. user=mdettweiler [2015-11-16 00:16:09] 887*2^1415078-1 is not prime. Res64: 49FC1A292B2B1B70 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:17:50] 897*2^1415078-1 is not prime. Res64: 9805D8A4F64571BD Time : 0.0 sec. user=mdettweiler [2015-11-16 00:17:51] 953*2^1415078-1 is not prime. Res64: 7B4D9A8964573B6C Time : 0.0 sec. user=mdettweiler [2015-11-16 00:20:54] 669*2^1415079-1 is not prime. Res64: E7062E2007026A7D Time : 0.0 sec. user=mdettweiler [2015-11-16 00:20:55] 705*2^1415079-1 is not prime. Res64: 602534BE318967D9 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:27:57] 775*2^1415079-1 is not prime. Res64: E3768B4D3A952AC4 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:27:58] 831*2^1415079-1 is not prime. Res64: 85EADD81477D74EC Time : 0.0 sec. user=mdettweiler [2015-11-16 00:34:21] 609*2^1415080-1 is not prime. Res64: A5BFCD91D7FF0CF6 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:34:22] 615*2^1415080-1 is not prime. Res64: 6619F3F360A12BB9 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:36:12] 653*2^1415080-1 is not prime. Res64: 63964F0C78A65E25 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:36:12] 695*2^1415080-1 is not prime. Res64: 489CFE24FEEE8D0D Time : 0.0 sec. user=mdettweiler [2015-11-16 00:39:02] 747*2^1415080-1 is not prime. Res64: 1E202B461BDB4DA5 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:39:02] 759*2^1415080-1 is not prime. Res64: BDD26FD1674FC86F Time : 0.0 sec. user=mdettweiler [2015-11-16 00:46:08] 765*2^1415080-1 is not prime. Res64: 13972526172966A6 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:46:08] 607*2^1415081-1 is not prime. Res64: D0156059F1C2DCE5 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:52:24] 697*2^1415081-1 is not prime. Res64: 7D0AF48B295EFE37 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:52:25] 727*2^1415081-1 is not prime. Res64: 8EB96C50B534D5A7 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:54:13] 735*2^1415081-1 is not prime. Res64: 53854CB8E113215F Time : 0.0 sec. user=mdettweiler [2015-11-16 00:54:13] 745*2^1415081-1 is not prime. Res64: 8448702E45576322 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:57:02] 795*2^1415081-1 is not prime. Res64: 6B3BE95DE486DB71 Time : 0.0 sec. user=mdettweiler [2015-11-16 00:57:02] 819*2^1415081-1 is not prime. Res64: 573FFAC283D1FB5E Time : 0.0 sec. user=mdettweiler [2015-11-16 01:04:38] 829*2^1415081-1 is not prime. Res64: 51A382F180DD2E10 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:04:39] 855*2^1415081-1 is not prime. Res64: 3559D44EE755A41E Time : 0.0 sec. user=mdettweiler [2015-11-16 01:10:37] 861*2^1415081-1 is not prime. Res64: 266A54B50F42F19D Time : 0.0 sec. user=mdettweiler [2015-11-16 01:10:37] 871*2^1415081-1 is not prime. Res64: 694BDE8584DD1C8C Time : 0.0 sec. user=mdettweiler [2015-11-16 01:12:17] 879*2^1415081-1 is not prime. Res64: ADAFE04B9DF11238 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:12:17] 957*2^1415081-1 is not prime. Res64: 0F48C03258676658 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:15:01] 981*2^1415081-1 is not prime. Res64: 1354E38C40A0E9FE Time : 0.0 sec. user=mdettweiler [2015-11-16 01:15:01] 991*2^1415081-1 is not prime. Res64: 6FE287C6323CD9BB Time : 0.0 sec. user=mdettweiler [2015-11-16 01:22:48] 741*2^1415082-1 is not prime. Res64: BDCA7AAAE00F096C Time : 0.0 sec. user=mdettweiler [2015-11-16 01:22:48] 755*2^1415082-1 is not prime. Res64: 4E2784A8E8DC195E Time : 0.0 sec. user=mdettweiler [2015-11-16 01:28:45] 777*2^1415082-1 is not prime. Res64: E855AA5B95B36ABB Time : 0.0 sec. user=mdettweiler [2015-11-16 01:28:46] 797*2^1415082-1 is not prime. Res64: B614D5E958E71689 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:30:22] 891*2^1415082-1 is not prime. Res64: EC57DB35F94C92A3 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:30:24] 977*2^1415082-1 is not prime. Res64: 26DD6C3025C9A222 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:33:01] 619*2^1415083-1 is not prime. Res64: 5BAFA27C4045807D Time : 0.0 sec. user=mdettweiler [2015-11-16 01:33:02] 663*2^1415083-1 is not prime. Res64: D0A9B7B72AE23ACE Time : 0.0 sec. user=mdettweiler [2015-11-16 01:40:55] 703*2^1415083-1 is not prime. Res64: 564C61076A22C188 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:40:56] 745*2^1415083-1 is not prime. Res64: 36082A6C20A7F951 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:47:02] 915*2^1415083-1 is not prime. Res64: 0B25D8426FDB1D10 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:47:03] 753*2^1415084-1 is not prime. Res64: 5E0371E354ED2785 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:49:03] 813*2^1415084-1 is not prime. Res64: AB42ECD94CA47359 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:49:04] 825*2^1415084-1 is not prime. Res64: 5462934F22529CA8 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:51:13] 843*2^1415084-1 is not prime. Res64: E2E842AB1988E80D Time : 0.0 sec. user=mdettweiler [2015-11-16 01:51:14] 893*2^1415084-1 is not prime. Res64: BEA195A8CAD826A7 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:59:07] 929*2^1415084-1 is not prime. Res64: 254125953118DDC9 Time : 0.0 sec. user=mdettweiler [2015-11-16 01:59:08] 669*2^1415085-1 is not prime. Res64: 96514F7C894255C7 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:05:14] 709*2^1415085-1 is not prime. Res64: 291ACC1419C1534B Time : 0.0 sec. user=mdettweiler [2015-11-16 02:05:16] 717*2^1415085-1 is not prime. Res64: CF9EDBC0E9BF8A3D Time : 0.0 sec. user=mdettweiler [2015-11-16 02:07:14] 831*2^1415085-1 is not prime. Res64: 865FCEF7B9EB0176 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:07:20] 847*2^1415085-1 is not prime. Res64: 6701DE5D5456B97C Time : 0.0 sec. user=mdettweiler [2015-11-16 02:09:24] 849*2^1415085-1 is not prime. Res64: 9C50983B8A619900 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:09:25] 889*2^1415085-1 is not prime. Res64: FA23B01429F71E4F Time : 0.0 sec. user=mdettweiler [2015-11-16 02:17:20] 927*2^1415085-1 is not prime. Res64: 26A41D50692636DE Time : 0.0 sec. user=mdettweiler [2015-11-16 02:17:21] 979*2^1415085-1 is not prime. Res64: 45DBC198B74579B0 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:24:00] 603*2^1415086-1 is not prime. Res64: 83226511C1781763 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:24:01] 611*2^1415086-1 is not prime. Res64: 25B914526E161A17 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:25:57] 653*2^1415086-1 is not prime. Res64: 2CAFC69AF1253FAE Time : 0.0 sec. user=mdettweiler [2015-11-16 02:25:58] 657*2^1415086-1 is not prime. Res64: 64A55EEB2405ED8B Time : 0.0 sec. user=mdettweiler [2015-11-16 02:27:47] 713*2^1415086-1 is not prime. Res64: 35D6597BA59BB6B0 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:27:49] 743*2^1415086-1 is not prime. Res64: 28726F1F7770A194 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:35:32] 785*2^1415086-1 is not prime. Res64: 37B55FDCF5C7A804 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:35:34] 815*2^1415086-1 is not prime. Res64: F423E9DD45CD8515 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:42:20] 825*2^1415086-1 is not prime. Res64: 40462DDE699857C0 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:42:21] 933*2^1415086-1 is not prime. Res64: 89D6B474F01D0E6B Time : 0.0 sec. user=mdettweiler [2015-11-16 02:44:12] 975*2^1415086-1 is not prime. Res64: 8EF77CEA82B06912 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:44:12] 993*2^1415086-1 is not prime. Res64: 13C4C25B50BCDB01 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:46:06] 603*2^1415087-1 is not prime. Res64: A311C35BCA97C3DC Time : 0.0 sec. user=mdettweiler [2015-11-16 02:46:07] 661*2^1415087-1 is not prime. Res64: AAC05DC871CDF8BE Time : 0.0 sec. user=mdettweiler [2015-11-16 02:53:56] 841*2^1415087-1 is not prime. Res64: 7085D628A6CE2171 Time : 0.0 sec. user=mdettweiler [2015-11-16 02:53:57] 669*2^1415088-1 is not prime. Res64: 549B84C290CB36EC Time : 0.0 sec. user=mdettweiler [2015-11-16 03:00:37] 759*2^1415088-1 is not prime. Res64: E705036599F1CAB4 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:00:38] 767*2^1415088-1 is not prime. Res64: 677A8ABFB634694D Time : 0.0 sec. user=mdettweiler [2015-11-16 03:02:26] 773*2^1415088-1 is not prime. Res64: 67D69FDEC3E23489 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:02:28] 845*2^1415088-1 is not prime. Res64: BA3707B718B21175 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:04:19] 879*2^1415088-1 is not prime. Res64: 1F8FEF498A0E862B Time : 0.0 sec. user=mdettweiler [2015-11-16 03:04:20] 899*2^1415088-1 is not prime. Res64: 7BC34FEBC1F17815 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:12:14] 909*2^1415088-1 is not prime. Res64: AD1751C7FC62AC0A Time : 0.0 sec. user=mdettweiler [2015-11-16 03:12:16] 927*2^1415088-1 is not prime. Res64: 42BE7AA1326A0713 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:19:30] 945*2^1415088-1 is not prime. Res64: 6CEED1A714F3F04C Time : 0.0 sec. user=mdettweiler [2015-11-16 03:19:31] 601*2^1415089-1 is not prime. Res64: 039D68CAAABA4236 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:21:50] 625*2^1415089-1 is not prime. Res64: 8B26A413F7EE3FF2 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:21:51] 699*2^1415089-1 is not prime. Res64: D614346D15E5B33B Time : 0.0 sec. user=mdettweiler [2015-11-16 03:23:23] 831*2^1415089-1 is not prime. Res64: 31EE0D89D87D5536 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:23:24] 861*2^1415089-1 is not prime. Res64: 16131D1E06AA9FF2 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:31:18] 919*2^1415089-1 is not prime. Res64: 7F56E1C720A5E460 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:31:20] 957*2^1415089-1 is not prime. Res64: 498A4DF9F0B25655 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:37:47] 665*2^1415090-1 is not prime. Res64: 9AC63978EADB817E Time : 0.0 sec. user=mdettweiler [2015-11-16 03:37:49] 711*2^1415090-1 is not prime. Res64: 24C5E4B682B09A38 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:40:14] 755*2^1415090-1 is not prime. Res64: 1FDC4B2D90F06436 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:40:15] 843*2^1415090-1 is not prime. Res64: B529B353948039F4 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:41:39] 885*2^1415090-1 is not prime. Res64: B4B324344A9E1AA3 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:41:41] 945*2^1415090-1 is not prime. Res64: EA4CB15AB9E92896 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:49:46] 971*2^1415090-1 is not prime. Res64: 16F812EB0CF64292 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:49:47] 685*2^1415091-1 is not prime. Res64: 070879F93E3377C3 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:56:16] 711*2^1415091-1 is not prime. Res64: 368C4AF72782B2B1 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:56:18] 741*2^1415091-1 is not prime. Res64: 4A9A21E83A063030 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:59:03] 795*2^1415091-1 is not prime. Res64: 6F8688C7006D8888 Time : 0.0 sec. user=mdettweiler [2015-11-16 03:59:03] 895*2^1415091-1 is not prime. Res64: C9FCED70B80D2E8B Time : 0.0 sec. user=mdettweiler [2015-11-16 04:00:06] 903*2^1415091-1 is not prime. Res64: B55B733A5BC35781 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:00:07] 931*2^1415091-1 is not prime. Res64: D36EB7BB29E40C48 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:08:22] 975*2^1415091-1 is not prime. Res64: A59952125D89AB5E Time : 0.0 sec. user=mdettweiler [2015-11-16 04:08:24] 719*2^1415092-1 is not prime. Res64: 6A0B55D71ABA0400 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:14:53] 743*2^1415092-1 is not prime. Res64: 182ADA5EEDCAE142 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:14:54] 765*2^1415092-1 is not prime. Res64: 3F5B0379DD91B41F Time : 0.0 sec. user=mdettweiler [2015-11-16 04:17:25] 797*2^1415092-1 is not prime. Res64: C7F4ABF949A9976C Time : 0.0 sec. user=mdettweiler [2015-11-16 04:17:27] 843*2^1415092-1 is not prime. Res64: 4ADEF778F85B86D7 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:18:18] 875*2^1415092-1 is not prime. Res64: D3477654B0469339 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:18:20] 939*2^1415092-1 is not prime. Res64: C88D4BCD8744B925 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:26:35] 965*2^1415092-1 is not prime. Res64: 9F230B7334FD1D16 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:26:36] 995*2^1415092-1 is not prime. Res64: A1FB15D1336746F3 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:33:14] 631*2^1415093-1 is not prime. Res64: D3D86F4A4F267F1D Time : 0.0 sec. user=mdettweiler [2015-11-16 04:33:15] 837*2^1415093-1 is not prime. Res64: E0B68DFFDF97C795 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:35:51] 867*2^1415093-1 is not prime. Res64: 263238758C546196 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:35:52] 955*2^1415093-1 is not prime. Res64: D3596DDE312B8241 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:36:38] 605*2^1415094-1 is not prime. Res64: E83D9786F86188F2 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:36:39] 611*2^1415094-1 is not prime. Res64: 24734BB2AFC45BA4 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:44:50] 663*2^1415094-1 is not prime. Res64: 9ADAC235C4643F60 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:44:51] 671*2^1415094-1 is not prime. Res64: D539548982887135 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:51:30] 741*2^1415094-1 is not prime. Res64: 8188EA7656CF5D25 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:51:31] 765*2^1415094-1 is not prime. Res64: 1E8E75CA3DDD2279 Time : 0.0 sec. user=mdettweiler [2015-11-16 04:54:08] 663*2^1415095-1 is not prime. Res64: 48360D26C3BB471D Time : 0.0 sec. user=mdettweiler [2015-11-16 04:54:09] 705*2^1415095-1 is not prime. Res64: 3A6CAC066DD2FCCF Time : 0.0 sec. user=mdettweiler [2015-11-16 04:55:00] 723*2^1415095-1 is not prime. Res64: 1C9F4811D4E6C40F Time : 0.0 sec. user=mdettweiler [2015-11-16 04:55:01] 859*2^1415095-1 is not prime. Res64: 7F7A81AB5FE3B350 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:02:58] 913*2^1415095-1 is not prime. Res64: 1ECBBACBE21A0576 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:02:59] 925*2^1415095-1 is not prime. Res64: 6427C9A035C4C196 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:09:41] 979*2^1415095-1 is not prime. Res64: DA8FB271677308CE Time : 0.0 sec. user=mdettweiler [2015-11-16 05:09:42] 677*2^1415096-1 is not prime. Res64: D72A1EB2F08A30DF Time : 0.0 sec. user=mdettweiler [2015-11-16 05:12:22] 843*2^1415096-1 is not prime. Res64: 6C90C75C6690730F Time : 0.0 sec. user=mdettweiler [2015-11-16 05:12:25] 899*2^1415096-1 is not prime. Res64: A24BD5A9E224612D Time : 0.0 sec. user=mdettweiler [2015-11-16 05:13:12] 945*2^1415096-1 is not prime. Res64: 321E9D4972F77FA5 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:13:13] 649*2^1415097-1 is not prime. Res64: 60E603D09A64B4D7 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:21:17] 651*2^1415097-1 is not prime. Res64: 3C846269242A191D Time : 0.0 sec. user=mdettweiler [2015-11-16 05:21:18] 685*2^1415097-1 is not prime. Res64: 094D3ED6B9349EF5 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:27:55] 747*2^1415097-1 is not prime. Res64: AD8FC369BDCC20E2 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:27:56] 817*2^1415097-1 is not prime. Res64: 8AFF5C55552A8B92 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:30:45] 819*2^1415097-1 is not prime. Res64: DC2FC03F4B8A7FF6 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:30:46] 861*2^1415097-1 is not prime. Res64: A716778DE8B8F0A1 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:31:25] 901*2^1415097-1 is not prime. Res64: C6B433F784D6EB4F Time : 0.0 sec. user=mdettweiler [2015-11-16 05:31:26] 915*2^1415097-1 is not prime. Res64: F0633994B32FB4F4 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:39:34] 945*2^1415097-1 is not prime. Res64: 6EBF0C2689CE37F6 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:39:35] 955*2^1415097-1 is not prime. Res64: EE01B551F3750F98 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:46:08] 681*2^1415098-1 is not prime. Res64: 2B837B6B616DCED4 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:46:09] 687*2^1415098-1 is not prime. Res64: 550760CE809E1BC1 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:49:07] 713*2^1415098-1 is not prime. Res64: 64F8557BBE6E18C6 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:49:07] 821*2^1415098-1 is not prime. Res64: C0055F71D37722D5 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:49:42] 881*2^1415098-1 is not prime. Res64: 9912CEBCD806DBF6 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:49:43] 1001*2^1415098-1 is not prime. Res64: C2E115F075E1D3F3 Time : 0.0 sec. user=mdettweiler [2015-11-16 05:57:48] 733*2^1415099-1 is not prime. Res64: EBCDF5CC105C869F Time : 0.0 sec. user=mdettweiler [2015-11-16 05:57:49] 741*2^1415099-1 is not prime. Res64: 9A4548484702DB93 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:04:26] 843*2^1415099-1 is not prime. Res64: F46BDD707FBC5B09 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:04:27] 879*2^1415099-1 is not prime. Res64: 275EA336C8A1F002 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:07:21] 943*2^1415099-1 is not prime. Res64: 2E7BC3D2A721A411 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:07:23] 973*2^1415099-1 is not prime. Res64: D9ED69AA3B0FCB01 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:07:53] 669*2^1415100-1 is not prime. Res64: 28AA2A815B43C2A0 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:07:54] 735*2^1415100-1 is not prime. Res64: 89801223DCFD8377 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:16:03] 845*2^1415100-1 is not prime. Res64: AE5A0BA3588CA522 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:16:04] 875*2^1415100-1 is not prime. Res64: 3899B89EEA449E71 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:23:06] 929*2^1415100-1 is not prime. Res64: EC0448F613552461 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:23:07] 619*2^1415101-1 is not prime. Res64: 789A5CDE9DD2C948 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:25:52] 679*2^1415101-1 is not prime. Res64: 0B204B21A42C3034 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:25:52] 799*2^1415101-1 is not prime. Res64: D958EC0969DB05B6 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:26:05] 817*2^1415101-1 is not prime. Res64: 0CD780E2EB50E158 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:26:05] 847*2^1415101-1 is not prime. Res64: 6CED62EB7AC073FD Time : 0.0 sec. user=mdettweiler [2015-11-16 06:34:12] 855*2^1415101-1 is not prime. Res64: 1E77A39A562BBAD6 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:34:13] 861*2^1415101-1 is not prime. Res64: A5AAC2CBD5CD982D Time : 0.0 sec. user=mdettweiler [2015-11-16 06:41:20] 927*2^1415101-1 is not prime. Res64: E56601274B7652CB Time : 0.0 sec. user=mdettweiler [2015-11-16 06:41:21] 955*2^1415101-1 is not prime. Res64: 264F0E8B051C57F1 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:44:04] 603*2^1415102-1 is not prime. Res64: 0DDFF22B08771F51 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:44:05] 617*2^1415102-1 is not prime. Res64: D235E6542CC13951 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:44:17] 623*2^1415102-1 is not prime. Res64: 171F3774C8E59C94 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:44:18] 743*2^1415102-1 is not prime. Res64: 77E571CD0F6F6635 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:52:35] 785*2^1415102-1 is not prime. Res64: B8515599634AA9C9 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:52:36] 827*2^1415102-1 is not prime. Res64: 20266833A809B9D9 Time : 0.0 sec. user=mdettweiler [2015-11-16 06:59:35] 831*2^1415102-1 is not prime. Res64: 8C80635B431C85DF Time : 0.0 sec. user=mdettweiler [2015-11-16 06:59:36] 857*2^1415102-1 is not prime. Res64: 88E050F8B975F2CF Time : 0.0 sec. user=mdettweiler [2015-11-16 07:02:24] 963*2^1415102-1 is not prime. Res64: 88BE728F8B526A8C Time : 0.0 sec. user=mdettweiler [2015-11-16 07:02:25] 663*2^1415103-1 is not prime. Res64: A7DAF8BB3745CC1E Time : 0.0 sec. user=mdettweiler [2015-11-16 07:02:31] 669*2^1415103-1 is not prime. Res64: 0DDC6CAB2FE3D138 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:02:32] 679*2^1415103-1 is not prime. Res64: FCF7F48521311912 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:10:53] 735*2^1415103-1 is not prime. Res64: E78B0B94E5B3DE97 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:10:54] 919*2^1415103-1 is not prime. Res64: 1F48E458140579B8 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:17:53] 833*2^1415104-1 is not prime. Res64: 6BD7E20454AEDA48 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:17:54] 873*2^1415104-1 is not prime. Res64: 446E715E654DBA00 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:20:45] 601*2^1415105-1 is not prime. Res64: F420CF57F5ECEF8D Time : 0.0 sec. user=mdettweiler [2015-11-16 07:20:45] 645*2^1415105-1 is not prime. Res64: 366944E9C53A92D6 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:20:48] 699*2^1415105-1 is not prime. Res64: 5FBA85B3B011AC45 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:20:49] 985*2^1415105-1 is not prime. Res64: 5433D6A500EB4D04 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:29:25] 635*2^1415106-1 is not prime. Res64: C337883E8A7D4421 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:29:25] 801*2^1415106-1 is not prime. Res64: 669D008A593159B3 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:36:07] 873*2^1415106-1 is not prime. Res64: B7150B2CE6A6584B Time : 0.0 sec. user=mdettweiler [2015-11-16 07:36:08] 917*2^1415106-1 is not prime. Res64: FA079A0A5C49B1DF Time : 0.0 sec. user=mdettweiler [2015-11-16 07:39:00] 983*2^1415106-1 is not prime. Res64: C6F727A055D42936 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:39:01] 619*2^1415107-1 is not prime. Res64: 753B6F4217CF1178 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:39:08] 923*2^1415106-1 is not prime. Res64: 256969EF8ED640CE Time : 0.0 sec. user=mdettweiler [2015-11-16 07:39:09] 975*2^1415106-1 is not prime. Res64: F071ED462C8D70CA Time : 0.0 sec. user=mdettweiler [2015-11-16 07:47:42] 625*2^1415107-1 is not prime. Res64: A200DA6F1F7EBC70 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:47:43] 645*2^1415107-1 is not prime. Res64: 93CB641BF7DF8D81 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:54:37] 691*2^1415107-1 is not prime. Res64: B4738A76973CEBF0 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:54:38] 735*2^1415107-1 is not prime. Res64: AC838F2E9C626E0B Time : 0.0 sec. user=mdettweiler [2015-11-16 07:57:17] 741*2^1415107-1 is not prime. Res64: D5FC27006054F418 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:57:18] 759*2^1415107-1 is not prime. Res64: 378576D781B28B09 Time : 0.0 sec. user=mdettweiler [2015-11-16 07:57:42] 769*2^1415107-1 is not prime. Res64: 563A6CC98E9BB49D Time : 0.0 sec. user=mdettweiler [2015-11-16 07:57:44] 849*2^1415107-1 is not prime. Res64: C2BF1B04008064CC Time : 0.0 sec. user=mdettweiler [2015-11-16 08:06:30] 895*2^1415107-1 is not prime. Res64: 01552D4A86224386 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:06:31] 951*2^1415107-1 is not prime. Res64: 6F53D0CBDA17E5E8 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:12:47] 615*2^1415108-1 is not prime. Res64: 42C827C4413D7B23 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:12:51] 635*2^1415108-1 is not prime. Res64: 46148FEF05346397 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:15:31] 665*2^1415108-1 is not prime. Res64: 00E36D6D8F3CD19E Time : 0.0 sec. user=mdettweiler [2015-11-16 08:15:32] 797*2^1415108-1 is not prime. Res64: EE887106BD548E2B Time : 0.0 sec. user=mdettweiler [2015-11-16 08:15:57] 885*2^1415108-1 is not prime. Res64: 35FC42A11B6F2527 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:15:58] 923*2^1415108-1 is not prime. Res64: C159CC50D37D0E03 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:24:48] 999*2^1415108-1 is not prime. Res64: 3B1CA2711B31F556 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:24:49] 835*2^1415109-1 is not prime. Res64: 02BAA9F8AD38A331 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:31:23] 847*2^1415109-1 is not prime. Res64: F674586CFBC57DF1 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:31:24] 889*2^1415109-1 is not prime. Res64: F5C8DA2A41328CE3 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:33:49] 951*2^1415109-1 is not prime. Res64: 7DCEE2A76416A664 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:33:50] 997*2^1415109-1 is not prime. Res64: A94C98919743A69A Time : 0.0 sec. user=mdettweiler [2015-11-16 08:34:09] 603*2^1415110-1 is not prime. Res64: 69A3AB7D979FC0D3 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:34:10] 651*2^1415110-1 is not prime. Res64: 35C8170DA033EC2D Time : 0.0 sec. user=mdettweiler [2015-11-16 08:42:55] 761*2^1415110-1 is not prime. Res64: 323F5A6064B825A3 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:42:56] 813*2^1415110-1 is not prime. Res64: 87943A80BD157E95 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:49:47] 917*2^1415110-1 is not prime. Res64: 492398831553590F Time : 0.0 sec. user=mdettweiler [2015-11-16 08:49:48] 923*2^1415110-1 is not prime. Res64: A59B249E2B931C7D Time : 0.0 sec. user=mdettweiler [2015-11-16 08:52:00] 603*2^1415111-1 is not prime. Res64: 336151EE0E351F8C Time : 0.0 sec. user=mdettweiler [2015-11-16 08:52:01] 621*2^1415111-1 is not prime. Res64: 522CEB926932B227 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:52:23] 753*2^1415111-1 is not prime. Res64: D7A4EE43210AA433 Time : 0.0 sec. user=mdettweiler [2015-11-16 08:52:24] 855*2^1415111-1 is not prime. Res64: B4E810CBFE88B193 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:01:03] 879*2^1415111-1 is not prime. Res64: 0F638CD97173633B Time : 0.0 sec. user=mdettweiler [2015-11-16 09:01:05] 909*2^1415111-1 is not prime. Res64: 00C20432E7C4CDE4 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:08:12] 921*2^1415111-1 is not prime. Res64: 45987CD3B5C81DBD Time : 0.0 sec. user=mdettweiler [2015-11-16 09:08:14] 939*2^1415111-1 is not prime. Res64: C15A8D05D7AA32E9 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:10:17] 955*2^1415111-1 is not prime. Res64: 19FFA074117F7E2D Time : 0.0 sec. user=mdettweiler [2015-11-16 09:10:20] 979*2^1415111-1 is not prime. Res64: 6B91753F88A5C833 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:10:47] 623*2^1415112-1 is not prime. Res64: E11B7126C3401A5A Time : 0.0 sec. user=mdettweiler [2015-11-16 09:10:49] 627*2^1415112-1 is not prime. Res64: F42BB354348323ED Time : 0.0 sec. user=mdettweiler [2015-11-16 09:19:44] 629*2^1415112-1 is not prime. Res64: E47FC479BB9FB11B Time : 0.0 sec. user=mdettweiler [2015-11-16 09:19:45] 635*2^1415112-1 is not prime. Res64: AFE85363B2DC9792 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:26:41] 777*2^1415112-1 is not prime. Res64: 1489B0C2124F1C30 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:26:42] 867*2^1415112-1 is not prime. Res64: 740E4646FD77CD1F Time : 0.0 sec. user=mdettweiler [2015-11-16 09:28:39] 873*2^1415112-1 is not prime. Res64: 6607D6360B82115B Time : 0.0 sec. user=mdettweiler [2015-11-16 09:28:40] 879*2^1415112-1 is not prime. Res64: EE2B8427CE5098E3 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:29:08] 887*2^1415112-1 is not prime. Res64: B1B49A037563C412 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:29:09] 915*2^1415112-1 is not prime. Res64: B416818CF3BD0B1C Time : 0.0 sec. user=mdettweiler [2015-11-16 09:37:55] 947*2^1415112-1 is not prime. Res64: 104027F49C0D48EE Time : 0.0 sec. user=mdettweiler [2015-11-16 09:37:56] 751*2^1415113-1 is not prime. Res64: DC2B6C6062D1DE58 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:44:55] 769*2^1415113-1 is not prime. Res64: A868F5B476F13ABF Time : 0.0 sec. user=mdettweiler [2015-11-16 09:44:56] 789*2^1415113-1 is not prime. Res64: 8D315D7D76D5C6B8 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:46:53] 939*2^1415113-1 is not prime. Res64: EDC6F6047BD97EB7 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:46:53] 665*2^1415114-1 is not prime. Res64: 0996ADB03DB565ED Time : 0.0 sec. user=mdettweiler [2015-11-16 09:47:20] 677*2^1415114-1 is not prime. Res64: EA41B35990435FD1 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:47:20] 827*2^1415114-1 is not prime. Res64: 1AAF99AD6AEA23A8 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:56:13] 861*2^1415114-1 is not prime. Res64: 277640B5345B3B30 Time : 0.0 sec. user=mdettweiler [2015-11-16 09:56:14] 917*2^1415114-1 is not prime. Res64: 532F4B2876CAFF67 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:03:08] 981*2^1415114-1 is not prime. Res64: 034F17F7A76B8003 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:03:10] 995*2^1415114-1 is not prime. Res64: 66E4981B1FDAFACD Time : 0.0 sec. user=mdettweiler [2015-11-16 10:05:00] 643*2^1415115-1 is not prime. Res64: C8FA2F38A8944240 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:05:02] 735*2^1415115-1 is not prime. Res64: 1232332518447FB0 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:05:26] 739*2^1415115-1 is not prime. Res64: 2BFA9DC7786782A1 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:05:28] 781*2^1415115-1 is not prime. Res64: 40E133DFDDD8F89F Time : 0.0 sec. user=mdettweiler [2015-11-16 10:14:21] 871*2^1415115-1 is not prime. Res64: 45E17440AC3ACAD0 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:14:22] 903*2^1415115-1 is not prime. Res64: 9026C16E907AF71C Time : 0.0 sec. user=mdettweiler [2015-11-16 10:21:40] 913*2^1415115-1 is not prime. Res64: 4D5C5B1223B0EDE2 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:21:41] 973*2^1415115-1 is not prime. Res64: 6F015DB66CCD6EE9 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:23:13] 615*2^1415116-1 is not prime. Res64: 987690521BBA11A1 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:23:13] 785*2^1415116-1 is not prime. Res64: 177ADB0CB16C0F9E Time : 0.0 sec. user=mdettweiler [2015-11-16 10:23:42] 987*2^1415116-1 is not prime. Res64: ECD9515F3EDFB654 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:23:42] 697*2^1415117-1 is not prime. Res64: 6E86B4F3837F8349 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:32:38] 715*2^1415117-1 is not prime. Res64: 13823928D70C0DDA Time : 0.0 sec. user=mdettweiler [2015-11-16 10:32:39] 795*2^1415117-1 is not prime. Res64: 437C3249D1AFFFFF Time : 0.0 sec. user=mdettweiler [2015-11-16 10:39:53] 867*2^1415117-1 is not prime. Res64: D600B50BADAD22C1 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:39:54] 915*2^1415117-1 is not prime. Res64: D29989AA6A463FED Time : 0.0 sec. user=mdettweiler [2015-11-16 10:41:23] 939*2^1415117-1 is not prime. Res64: 31A3C16B1BF19AF1 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:41:23] 791*2^1415118-1 is not prime. Res64: 740FC360A4688683 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:41:52] 887*2^1415118-1 is not prime. Res64: FBE9A1B86D8597CE Time : 0.0 sec. user=mdettweiler [2015-11-16 10:41:53] 625*2^1415119-1 is not prime. Res64: 9251C5A46BFECD2A Time : 0.0 sec. user=mdettweiler [2015-11-16 10:50:44] 703*2^1415119-1 is not prime. Res64: 099D4CDEBFCE8D78 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:50:45] 723*2^1415119-1 is not prime. Res64: 92AE60CE9B4F4154 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:58:01] 771*2^1415119-1 is not prime. Res64: 1B3788E70BFFF366 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:58:01] 831*2^1415119-1 is not prime. Res64: 3ACAAB2DCE9DE411 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:59:36] 885*2^1415119-1 is not prime. Res64: CFCF362864E7D6C4 Time : 0.0 sec. user=mdettweiler [2015-11-16 10:59:37] 889*2^1415119-1 is not prime. Res64: 16B070D92A0096C4 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:00:13] 931*2^1415119-1 is not prime. Res64: 899A16FE017ABD03 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:00:14] 933*2^1415119-1 is not prime. Res64: 17E73B29438B7D36 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:08:49] 951*2^1415119-1 is not prime. Res64: B079F428C2AE55F0 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:08:50] 663*2^1415120-1 is not prime. Res64: D21E6D824CE4EA0F Time : 0.0 sec. user=mdettweiler [2015-11-16 11:16:02] 675*2^1415120-1 is not prime. Res64: E49C6462679FE0CE Time : 0.0 sec. user=mdettweiler [2015-11-16 11:16:03] 677*2^1415120-1 is not prime. Res64: A2803894284DB7C2 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:17:36] 827*2^1415120-1 is not prime. Res64: 4AE3F5B0F94AC9DC Time : 0.0 sec. user=mdettweiler [2015-11-16 11:17:37] 843*2^1415120-1 is not prime. Res64: A1DD8A2E1B7B6E7D Time : 0.0 sec. user=mdettweiler [2015-11-16 11:18:21] 601*2^1415121-1 is not prime. Res64: 451F38E1D23BDCEE Time : 0.0 sec. user=mdettweiler [2015-11-16 11:18:21] 835*2^1415121-1 is not prime. Res64: F6F39B2EEDDD18A6 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:27:01] 909*2^1415121-1 is not prime. Res64: 46F2CD6CA2544979 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:27:01] 937*2^1415121-1 is not prime. Res64: 1D35F0CC436F001A Time : 0.0 sec. user=mdettweiler [2015-11-16 11:34:17] 949*2^1415121-1 is not prime. Res64: D922AE1DA31319A9 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:34:17] 987*2^1415121-1 is not prime. Res64: 4BA4B1ABEFB039BF Time : 0.0 sec. user=mdettweiler [2015-11-16 11:35:41] 623*2^1415122-1 is not prime. Res64: B9799BC53AA09833 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:35:42] 651*2^1415122-1 is not prime. Res64: E9A82272B0EA2CF2 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:36:31] 701*2^1415122-1 is not prime. Res64: 410BC8555E864D63 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:36:32] 713*2^1415122-1 is not prime. Res64: 59D24CCA07ECEF0E Time : 0.0 sec. user=mdettweiler [2015-11-16 11:45:01] 735*2^1415122-1 is not prime. Res64: 01C3A1F33A467E47 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:45:02] 827*2^1415122-1 is not prime. Res64: CC11F1860BAFD6D7 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:52:29] 831*2^1415122-1 is not prime. Res64: C57ABC4911E23DA5 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:52:30] 873*2^1415122-1 is not prime. Res64: 74081E73FC17C20E Time : 0.0 sec. user=mdettweiler [2015-11-16 11:53:45] 911*2^1415122-1 is not prime. Res64: 9FF6FC4932A4D57B Time : 0.0 sec. user=mdettweiler [2015-11-16 11:53:46] 981*2^1415122-1 is not prime. Res64: 995455FE8AC0B990 Time : 0.0 sec. user=mdettweiler [2015-11-16 11:54:40] 703*2^1415123-1 is not prime. Res64: E5751DB8BFACDD2E Time : 0.0 sec. user=mdettweiler [2015-11-16 11:54:41] 759*2^1415123-1 is not prime. Res64: EC506338CF019C16 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:03:06] 783*2^1415123-1 is not prime. Res64: 7594A47CFD61772F Time : 0.0 sec. user=mdettweiler [2015-11-16 12:03:08] 813*2^1415123-1 is not prime. Res64: DE1AA5E3D7E8BBE9 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:10:36] 949*2^1415123-1 is not prime. Res64: 14AB7F67092AF545 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:10:37] 969*2^1415123-1 is not prime. Res64: 246BC91A21AB3CBA Time : 0.0 sec. user=mdettweiler [2015-11-16 12:11:55] 635*2^1415124-1 is not prime. Res64: 79B2EE1402D7E9E3 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:11:56] 663*2^1415124-1 is not prime. Res64: 8B3F8CDA23F18D58 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:12:50] 717*2^1415124-1 is not prime. Res64: 2FEFBCB97EA57DB3 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:12:50] 767*2^1415124-1 is not prime. Res64: 4E64720900D8B772 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:21:29] 795*2^1415124-1 is not prime. Res64: F6EF222F5A9E9E47 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:21:29] 857*2^1415124-1 is not prime. Res64: 3654DFCD3284963F Time : 0.0 sec. user=mdettweiler [2015-11-16 12:29:36] 903*2^1415124-1 is not prime. Res64: 4F9F0E31DFE0A87B Time : 0.0 sec. user=mdettweiler [2015-11-16 12:29:36] 905*2^1415124-1 is not prime. Res64: 7B95402EF4184BD3 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:30:49] 947*2^1415124-1 is not prime. Res64: B6857EFA4DF997E2 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:30:49] 983*2^1415124-1 is not prime. Res64: D242F8AED3A7A08F Time : 0.0 sec. user=mdettweiler [2015-11-16 12:32:05] 987*2^1415124-1 is not prime. Res64: 4E7DE2724C1613A0 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:32:06] 601*2^1415125-1 is not prime. Res64: C30A7291C6A6967A Time : 0.0 sec. user=mdettweiler [2015-11-16 12:40:27] 679*2^1415125-1 is not prime. Res64: 018330998186236E Time : 0.0 sec. user=mdettweiler [2015-11-16 12:40:27] 819*2^1415125-1 is not prime. Res64: B54BF0D06F6C7476 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:48:38] 831*2^1415125-1 is not prime. Res64: 1EEC7A7DFD09A376 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:48:39] 847*2^1415125-1 is not prime. Res64: 14A0758528C95C5A Time : 0.0 sec. user=mdettweiler [2015-11-16 12:49:42] 861*2^1415125-1 is not prime. Res64: F9843E04D209FE85 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:49:42] 939*2^1415125-1 is not prime. Res64: 5F3A11499A1B2257 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:50:58] 635*2^1415126-1 is not prime. Res64: E3ED707A910C51CC Time : 0.0 sec. user=mdettweiler [2015-11-16 12:50:59] 633*2^1415127-1 is not prime. Res64: E58CDD807912956A Time : 0.0 sec. user=mdettweiler [2015-11-16 12:59:31] 651*2^1415127-1 is not prime. Res64: 07D1C4762BF95758 Time : 0.0 sec. user=mdettweiler [2015-11-16 12:59:32] 709*2^1415127-1 is not prime. Res64: B807175D2DB35FFA Time : 0.0 sec. user=mdettweiler [2015-11-16 13:07:31] 775*2^1415127-1 is not prime. Res64: AABBBE565F582D49 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:07:32] 825*2^1415127-1 is not prime. Res64: E73C00086E1E2180 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:08:25] 873*2^1415127-1 is not prime. Res64: 2097CB739366E929 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:08:25] 885*2^1415127-1 is not prime. Res64: 86E22EA88D152A17 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:09:40] 891*2^1415127-1 is not prime. Res64: BB49BAD20E1A943E Time : 0.0 sec. user=mdettweiler [2015-11-16 13:09:41] 949*2^1415127-1 is not prime. Res64: 62DF63BFD125342E Time : 0.0 sec. user=mdettweiler [2015-11-16 13:18:25] 687*2^1415128-1 is not prime. Res64: 7585C185E8154F5C Time : 0.0 sec. user=mdettweiler [2015-11-16 13:18:25] 797*2^1415128-1 is not prime. Res64: 7D4FFAE1035621E7 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:27:01] 825*2^1415128-1 is not prime. Res64: 704999B0592637BD Time : 0.0 sec. user=mdettweiler [2015-11-16 13:27:01] 863*2^1415128-1 is not prime. Res64: FE9C433F141CD6BC Time : 0.0 sec. user=mdettweiler [2015-11-16 13:28:13] 915*2^1415128-1 is not prime. Res64: CBED4270354D1434 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:28:13] 957*2^1415128-1 is not prime. Res64: C07EF6BE37726913 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:29:15] 999*2^1415128-1 is not prime. Res64: 6A8BBFD55D89AD49 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:29:15] 601*2^1415129-1 is not prime. Res64: 378B614CF9F39B2B Time : 0.0 sec. user=mdettweiler [2015-11-16 13:38:26] 615*2^1415129-1 is not prime. Res64: 8870E1CA2E6A733F Time : 0.0 sec. user=mdettweiler [2015-11-16 13:38:26] 675*2^1415129-1 is not prime. Res64: 9B70CBE0B72A802B Time : 0.0 sec. user=mdettweiler [2015-11-16 13:46:14] 711*2^1415129-1 is not prime. Res64: 9D89DBD85A32F2E6 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:46:14] 745*2^1415129-1 is not prime. Res64: 30441429D1F7D5B8 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:47:34] 775*2^1415129-1 is not prime. Res64: 25ECAB4118FAE65B Time : 0.0 sec. user=mdettweiler [2015-11-16 13:47:35] 781*2^1415129-1 is not prime. Res64: 5B023C4E40A71529 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:48:06] 789*2^1415129-1 is not prime. Res64: 1DD8A857AC7128BD Time : 0.0 sec. user=mdettweiler [2015-11-16 13:48:07] 837*2^1415129-1 is not prime. Res64: B2EDCC93FE6BDD76 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:57:14] 847*2^1415129-1 is not prime. Res64: E716DA7C57FBB121 Time : 0.0 sec. user=mdettweiler [2015-11-16 13:57:15] 865*2^1415129-1 is not prime. Res64: 73B9D5DB1AE52690 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:05:05] 931*2^1415129-1 is not prime. Res64: 0CCF0B37016B7D57 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:05:06] 653*2^1415130-1 is not prime. Res64: CD86B79C197071E2 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:06:08] 671*2^1415130-1 is not prime. Res64: E0967487D45B5EF4 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:06:10] 711*2^1415130-1 is not prime. Res64: AD30FA94A42B47ED Time : 0.0 sec. user=mdettweiler [2015-11-16 14:06:30] 797*2^1415130-1 is not prime. Res64: 7DAE3CC9FBB189AB Time : 0.0 sec. user=mdettweiler [2015-11-16 14:06:31] 873*2^1415130-1 is not prime. Res64: 46B36065161CC442 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:15:16] 679*2^1415131-1 is not prime. Res64: 6C86A0614D08BDDC Time : 0.0 sec. user=mdettweiler [2015-11-16 14:15:16] 685*2^1415131-1 is not prime. Res64: 0620702B510FB57B Time : 0.0 sec. user=mdettweiler [2015-11-16 14:23:39] 715*2^1415131-1 is not prime. Res64: 414BCDC681A1D803 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:23:40] 759*2^1415131-1 is not prime. Res64: 26BFDED319F6F987 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:24:27] 835*2^1415131-1 is not prime. Res64: 1B2B4D54BD23ED96 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:24:27] 841*2^1415131-1 is not prime. Res64: 8FA4740AF09E5FB7 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:24:41] 901*2^1415131-1 is not prime. Res64: 8B1AA397FF75DA8B Time : 0.0 sec. user=mdettweiler [2015-11-16 14:24:42] 909*2^1415131-1 is not prime. Res64: 353EAFCC06B4E703 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:33:45] 913*2^1415131-1 is not prime. Res64: 849A005C35E07AF8 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:33:46] 931*2^1415131-1 is not prime. Res64: 51BDD2F40A005078 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:42:56] 939*2^1415131-1 is not prime. Res64: 232B8CB064CAA7BF Time : 0.0 sec. user=mdettweiler [2015-11-16 14:42:56] 629*2^1415132-1 is not prime. Res64: FCD941B73444377E Time : 0.0 sec. user=mdettweiler [2015-11-16 14:42:57] 687*2^1415132-1 is not prime. Res64: 6DED7EB52B7F528B Time : 0.0 sec. user=mdettweiler [2015-11-16 14:42:57] 875*2^1415132-1 is not prime. Res64: 280C511BE446690D Time : 0.0 sec. user=mdettweiler [2015-11-16 14:43:17] 899*2^1415132-1 is not prime. Res64: CCD1473EBFA11E63 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:43:17] 903*2^1415132-1 is not prime. Res64: 167EA711486F7AD6 Time : 0.0 sec. user=mdettweiler [2015-11-16 14:52:11] 945*2^1415132-1 is not prime. Res64: 654701D94AB8FCCD Time : 0.0 sec. user=mdettweiler [2015-11-16 14:52:12] 699*2^1415133-1 is not prime. Res64: D6E86E2781102DEC Time : 0.0 sec. user=mdettweiler [2015-11-16 15:01:00] 765*2^1415133-1 is not prime. Res64: E6DF86AD6F232A8C Time : 0.0 sec. user=mdettweiler [2015-11-16 15:01:01] 795*2^1415133-1 is not prime. Res64: 79B4B9E2455F2472 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:01:05] 727*2^1415133-1 is not prime. Res64: B32AFF911C7DC8A8 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:01:06] 751*2^1415133-1 is not prime. Res64: B3DCC12A499910F1 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:01:23] 871*2^1415133-1 is not prime. Res64: E0222B0F29ADDEC0 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:01:24] 889*2^1415133-1 is not prime. Res64: E291BC257DCF199B Time : 0.0 sec. user=mdettweiler [2015-11-16 15:10:13] 937*2^1415133-1 is not prime. Res64: 4B5A2CE22CB44D45 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:10:14] 605*2^1415134-1 is not prime. Res64: 1D3344AFE1F876EB Time : 0.0 sec. user=mdettweiler [2015-11-16 15:19:11] 687*2^1415134-1 is not prime. Res64: 5E05B46A3A782C46 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:19:11] 737*2^1415134-1 is not prime. Res64: 79B0A7C6CA84B95C Time : 0.0 sec. user=mdettweiler [2015-11-16 15:19:20] 813*2^1415134-1 is not prime. Res64: 98CF89D9DE9E4899 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:19:20] 881*2^1415134-1 is not prime. Res64: E09B078DD3CCDB49 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:19:26] 885*2^1415134-1 is not prime. Res64: C46E139A7DB4550B Time : 0.0 sec. user=mdettweiler [2015-11-16 15:19:26] 923*2^1415134-1 is not prime. Res64: DB76159638C42802 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:28:39] 945*2^1415134-1 is not prime. Res64: D98F9B8C77FA7E4A Time : 0.0 sec. user=mdettweiler [2015-11-16 15:28:40] 981*2^1415134-1 is not prime. Res64: F8B0C80DDA8E06BA Time : 0.0 sec. user=mdettweiler [2015-11-16 15:37:16] 609*2^1415135-1 is not prime. Res64: 23EA0DD389BDC037 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:37:16] 619*2^1415135-1 is not prime. Res64: 10030EE59F08E7FF Time : 0.0 sec. user=mdettweiler [2015-11-16 15:37:22] 633*2^1415135-1 is not prime. Res64: B492686F7EBBA5BC Time : 0.0 sec. user=mdettweiler [2015-11-16 15:37:23] 661*2^1415135-1 is not prime. Res64: D027B7E9F2B193FF Time : 0.0 sec. user=mdettweiler [2015-11-16 15:37:26] 763*2^1415135-1 is not prime. Res64: 7C425E4EB0B26376 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:37:26] 799*2^1415135-1 is not prime. Res64: D5741B69D1AEA809 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:46:52] 843*2^1415135-1 is not prime. Res64: 0C9CF9D3530B5282 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:46:53] 883*2^1415135-1 is not prime. Res64: EA00C6B7EDA0BEEA Time : 0.0 sec. user=mdettweiler [2015-11-16 15:55:26] 949*2^1415135-1 is not prime. Res64: EA369463A383284F Time : 0.0 sec. user=mdettweiler [2015-11-16 15:55:27] 999*2^1415135-1 is not prime. Res64: 9DE2D54B9057C65A Time : 0.0 sec. user=mdettweiler [2015-11-16 15:55:27] 705*2^1415136-1 is not prime. Res64: 5D2A6A73E1E5D28B Time : 0.0 sec. user=mdettweiler [2015-11-16 15:55:27] 825*2^1415136-1 is not prime. Res64: E7C17150D830A3AF Time : 0.0 sec. user=mdettweiler [2015-11-16 15:55:28] 635*2^1415136-1 is not prime. Res64: 0B7FB1F565DC9FC7 Time : 0.0 sec. user=mdettweiler [2015-11-16 15:55:28] 693*2^1415136-1 is not prime. Res64: 0FD795E0042BDDFC Time : 0.0 sec. user=mdettweiler [2015-11-16 16:04:53] 857*2^1415136-1 is not prime. Res64: 3050BC67A6A01C87 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:04:54] 879*2^1415136-1 is not prime. Res64: 5FA22C777CEBA3B6 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:13:36] 741*2^1415137-1 is not prime. Res64: BFBEDFE112FFA89F Time : 0.0 sec. user=mdettweiler [2015-11-16 16:13:37] 765*2^1415137-1 is not prime. Res64: 8664BBBF38316185 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:13:38] 831*2^1415137-1 is not prime. Res64: 9F3872B14CD1F04A Time : 0.0 sec. user=mdettweiler [2015-11-16 16:13:39] 909*2^1415137-1 is not prime. Res64: 51B8554C0921856E Time : 0.0 sec. user=mdettweiler [2015-11-16 16:13:41] 999*2^1415136-1 is not prime. Res64: E70E3ED75C75E391 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:13:42] 727*2^1415137-1 is not prime. Res64: A6CFFB97C22FF03B Time : 0.0 sec. user=mdettweiler [2015-11-16 16:23:04] 945*2^1415137-1 is not prime. Res64: BD49B06C262FFE4F Time : 0.0 sec. user=mdettweiler [2015-11-16 16:23:05] 711*2^1415138-1 is not prime. Res64: E00037BB73078B34 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:31:58] 771*2^1415138-1 is not prime. Res64: 4AB9CDA9CD5AEB27 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:31:58] 731*2^1415138-1 is not prime. Res64: 69CE114D076ADABC Time : 0.0 sec. user=mdettweiler [2015-11-16 16:31:58] 797*2^1415138-1 is not prime. Res64: 519D0FA4EDA05887 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:31:58] 743*2^1415138-1 is not prime. Res64: 11D830732205D08C Time : 0.0 sec. user=mdettweiler [2015-11-16 16:31:59] 977*2^1415138-1 is not prime. Res64: 5DF2754F503FD651 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:31:59] 601*2^1415139-1 is not prime. Res64: DE214320B66F68A7 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:41:17] 613*2^1415139-1 is not prime. Res64: ACB6D74CE1819BFA Time : 0.0 sec. user=mdettweiler [2015-11-16 16:41:17] 859*2^1415139-1 is not prime. Res64: AFBA4A4D787FDF92 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:50:00] 719*2^1415140-1 is not prime. Res64: E3460CFCB36B38D0 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:50:00] 785*2^1415140-1 is not prime. Res64: B07A5A2095D22E33 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:50:05] 975*2^1415139-1 is not prime. Res64: E7C0972CB65408C4 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:50:05] 603*2^1415140-1 is not prime. Res64: FDF64FDDF0F9F8B6 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:50:05] 951*2^1415139-1 is not prime. Res64: C868917440B0E5F5 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:50:05] 961*2^1415139-1 is not prime. Res64: 10EBE1C9A26DA0A2 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:59:26] 797*2^1415140-1 is not prime. Res64: C1E5D80A135B0F44 Time : 0.0 sec. user=mdettweiler [2015-11-16 16:59:26] 833*2^1415140-1 is not prime. Res64: EA3DBE58620E5756 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:08:07] 885*2^1415140-1 is not prime. Res64: 2F8DEC8567C67E1D Time : 0.0 sec. user=mdettweiler [2015-11-16 17:08:09] 899*2^1415140-1 is not prime. Res64: F531A842BFCDDCA2 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:08:12] 649*2^1415141-1 is not prime. Res64: BB04C7E995A11665 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:08:14] 657*2^1415141-1 is not prime. Res64: 44C087ABFE9A60A5 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:08:15] 989*2^1415140-1 is not prime. Res64: C25C00B7537472AF Time : 0.0 sec. user=mdettweiler [2015-11-16 17:08:18] 999*2^1415140-1 is not prime. Res64: 2533B969E4D5FD94 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:17:45] 829*2^1415141-1 is not prime. Res64: C775C28D67D8C9C3 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:17:45] 843*2^1415142-1 is not prime. Res64: 4E9923F75C657722 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:26:35] 603*2^1415143-1 is not prime. Res64: 42495B525C651E58 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:26:35] 685*2^1415143-1 is not prime. Res64: 4E0870ECEAA4AA06 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:26:50] 741*2^1415143-1 is not prime. Res64: 9FBCFE04A4438FF5 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:26:50] 771*2^1415143-1 is not prime. Res64: 9FE76D61A5DCA504 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:26:50] 745*2^1415143-1 is not prime. Res64: 05CA44A899A476B8 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:26:50] 819*2^1415143-1 is not prime. Res64: 27E31567E34A6FC7 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:36:23] 829*2^1415143-1 is not prime. Res64: 868899864663111E Time : 0.0 sec. user=mdettweiler [2015-11-16 17:36:23] 883*2^1415143-1 is not prime. Res64: 83375CCDC428075C Time : 0.0 sec. user=mdettweiler [2015-11-16 17:45:40] 939*2^1415143-1 is not prime. Res64: 9CF679ACD1E0CED5 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:45:40] 969*2^1415143-1 is not prime. Res64: 3A87FE24AFD4CE04 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:45:56] 999*2^1415143-1 is not prime. Res64: 5A4F76BFC9A3A6D1 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:45:56] 635*2^1415144-1 is not prime. Res64: BEE0858ED0F5A349 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:45:58] 795*2^1415144-1 is not prime. Res64: 3B412C3E77A9A036 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:45:58] 893*2^1415144-1 is not prime. Res64: 95D01BDCDD683F25 Time : 0.0 sec. user=mdettweiler [2015-11-16 17:56:05] 717*2^1415145-1 is not prime. Res64: 1252DF458DDB121F Time : 0.0 sec. user=mdettweiler [2015-11-16 17:56:06] 787*2^1415145-1 is not prime. Res64: 486C2D9ADAFB3FC1 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:04:42] 817*2^1415145-1 is not prime. Res64: 644E3F5B7212F4C1 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:04:43] 955*2^1415145-1 is not prime. Res64: 930BC3ACBF9A2F25 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:04:53] 603*2^1415146-1 is not prime. Res64: F54B4AF66DC78735 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:04:55] 723*2^1415146-1 is not prime. Res64: 5846EAFAA5192B90 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:05:11] 741*2^1415146-1 is not prime. Res64: 3745EC9DCAB82192 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:05:12] 923*2^1415146-1 is not prime. Res64: 0AAC193FDAC69FC0 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:14:08] 703*2^1415147-1 is not prime. Res64: 6CA810CA0F25C263 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:14:08] 715*2^1415147-1 is not prime. Res64: B39DE1AF842A5F09 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:23:02] 973*2^1415147-1 is not prime. Res64: DBCB3A0B45FBF09F Time : 0.0 sec. user=mdettweiler [2015-11-16 18:23:02] 981*2^1415147-1 is not prime. Res64: ECD4016E67916469 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:23:06] 741*2^1415147-1 is not prime. Res64: 7928AA5FB19DE429 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:23:07] 963*2^1415147-1 is not prime. Res64: D079485CC8991901 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:23:12] 999*2^1415147-1 is not prime. Res64: FBE132AB3955FE9C Time : 0.0 sec. user=mdettweiler [2015-11-16 18:23:13] 633*2^1415148-1 is not prime. Res64: 87AFF5C9AC13D93B Time : 0.0 sec. user=mdettweiler [2015-11-16 18:32:26] 707*2^1415148-1 is not prime. Res64: 8CEAFA3FE4B25EAC Time : 0.0 sec. user=mdettweiler [2015-11-16 18:32:26] 737*2^1415148-1 is not prime. Res64: 909F0FB180F73050 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:41:43] 893*2^1415148-1 is not prime. Res64: C14E04F3D72E97CC Time : 0.0 sec. user=mdettweiler [2015-11-16 18:41:43] 675*2^1415149-1 is not prime. Res64: DC253B7A95B303EF Time : 0.0 sec. user=mdettweiler [2015-11-16 18:41:46] 753*2^1415148-1 is not prime. Res64: 736D8F81A35839BB Time : 0.0 sec. user=mdettweiler [2015-11-16 18:41:47] 789*2^1415148-1 is not prime. Res64: A98C8E858E9735C3 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:41:58] 845*2^1415148-1 is not prime. Res64: 570DE472D393EFE7 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:41:58] 887*2^1415148-1 is not prime. Res64: F837BEE9195DE4F9 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:50:28] 831*2^1415149-1 is not prime. Res64: 280C86F9A019D4D2 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:50:29] 855*2^1415149-1 is not prime. Res64: D81FF5CE63CD8B88 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:59:49] 687*2^1415150-1 is not prime. Res64: 0FE4500BF4DFB028 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:59:50] 761*2^1415150-1 is not prime. Res64: 3F4248C50F7166FD Time : 0.0 sec. user=mdettweiler [2015-11-16 18:59:52] 831*2^1415150-1 is not prime. Res64: 3A23B4AF6A5B1BE4 Time : 0.0 sec. user=mdettweiler [2015-11-16 18:59:52] 867*2^1415150-1 is not prime. Res64: DE4E07E9F6A1D296 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:00:02] 685*2^1415151-1 is not prime. Res64: 2EBDB9F27D547B2C Time : 0.0 sec. user=mdettweiler [2015-11-16 19:00:03] 691*2^1415151-1 is not prime. Res64: DD5C1CA3C4FB752E Time : 0.0 sec. user=mdettweiler [2015-11-16 19:08:34] 711*2^1415151-1 is not prime. Res64: EE94A246EBBFD4E1 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:08:35] 751*2^1415151-1 is not prime. Res64: E2042825E4414998 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:17:52] 861*2^1415151-1 is not prime. Res64: D0C58C2B9A7C19AC Time : 0.0 sec. user=mdettweiler [2015-11-16 19:17:53] 699*2^1415152-1 is not prime. Res64: 5E0FA3E0374562A7 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:17:56] 829*2^1415151-1 is not prime. Res64: 1D7F23DBB61CF3CC Time : 0.0 sec. user=mdettweiler [2015-11-16 19:17:56] 849*2^1415151-1 is not prime. Res64: 9CDA891AE1CB1547 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:18:07] 705*2^1415152-1 is not prime. Res64: D41A5D461144599E Time : 0.0 sec. user=mdettweiler [2015-11-16 19:18:07] 843*2^1415152-1 is not prime. Res64: D679DF54B9742E7A Time : 0.0 sec. user=mdettweiler [2015-11-16 19:26:36] 899*2^1415152-1 is not prime. Res64: 18A5FA538C6B91BF Time : 0.0 sec. user=mdettweiler [2015-11-16 19:26:37] 923*2^1415152-1 is not prime. Res64: 5FBC58C4EE7015CC Time : 0.0 sec. user=mdettweiler [2015-11-16 19:35:52] 965*2^1415152-1 is not prime. Res64: F6F8F2D125419523 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:35:52] 607*2^1415153-1 is not prime. Res64: 2153DCCC3F86E535 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:36:02] 627*2^1415153-1 is not prime. Res64: BF3A81A8F6EF10A5 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:36:03] 631*2^1415153-1 is not prime. Res64: 1C743A5BE3DE348A Time : 0.0 sec. user=mdettweiler [2015-11-16 19:36:17] 691*2^1415153-1 is not prime. Res64: D6AA5A4BD73C3E88 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:36:17] 699*2^1415153-1 is not prime. Res64: 7B9D9233924522EF Time : 0.0 sec. user=mdettweiler [2015-11-16 19:44:39] 721*2^1415153-1 is not prime. Res64: E936666E797F9829 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:44:39] 769*2^1415153-1 is not prime. Res64: 61315951F4C3BA74 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:54:01] 787*2^1415153-1 is not prime. Res64: 55D12BB9B274E9BC Time : 0.0 sec. user=mdettweiler [2015-11-16 19:54:01] 789*2^1415153-1 is not prime. Res64: 070DD2C2094072D9 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:54:05] 795*2^1415153-1 is not prime. Res64: 53CDD029D298223D Time : 0.0 sec. user=mdettweiler [2015-11-16 19:54:05] 805*2^1415153-1 is not prime. Res64: 0F76C831E52192AF Time : 0.0 sec. user=mdettweiler [2015-11-16 19:54:19] 861*2^1415153-1 is not prime. Res64: AD5B0D9120E8F1B1 Time : 0.0 sec. user=mdettweiler [2015-11-16 19:54:20] 885*2^1415153-1 is not prime. Res64: 1DADC7432464A06E Time : 0.0 sec. user=mdettweiler [2015-11-16 20:02:36] 915*2^1415153-1 is not prime. Res64: 0C45DB7A74A3A340 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:02:36] 681*2^1415154-1 is not prime. Res64: 442724DE59C6478E Time : 0.0 sec. user=mdettweiler [2015-11-16 20:12:04] 683*2^1415154-1 is not prime. Res64: A05A0242E665A7E3 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:12:05] 833*2^1415154-1 is not prime. Res64: 12B4DBA5302AA7F5 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:12:08] 951*2^1415154-1 is not prime. Res64: 1D5D69E1313FE4C8 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:12:09] 971*2^1415154-1 is not prime. Res64: 1B8576922107FFEC Time : 0.0 sec. user=mdettweiler [2015-11-16 20:12:18] 723*2^1415155-1 is not prime. Res64: DC4383613DD2EEF5 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:12:19] 733*2^1415155-1 is not prime. Res64: E6476FE7435C365E Time : 0.0 sec. user=mdettweiler [2015-11-16 20:20:41] 819*2^1415155-1 is not prime. Res64: 3923DBEC141AA535 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:20:41] 913*2^1415155-1 is not prime. Res64: 18F2B9239A817327 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:30:25] 969*2^1415155-1 is not prime. Res64: A5138DE92E7C8E1F Time : 0.0 sec. user=mdettweiler [2015-11-16 20:30:25] 813*2^1415156-1 is not prime. Res64: A972771F7BFD4F64 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:30:28] 869*2^1415156-1 is not prime. Res64: 188E9400FEA1C1C8 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:30:28] 609*2^1415157-1 is not prime. Res64: 55BEC3DE21C14C59 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:30:40] 615*2^1415157-1 is not prime. Res64: 1B6861127E0C37BD Time : 0.0 sec. user=mdettweiler [2015-11-16 20:30:40] 625*2^1415157-1 is not prime. Res64: 079902AA8A293E7D Time : 0.0 sec. user=mdettweiler [2015-11-16 20:38:34] 717*2^1415157-1 is not prime. Res64: 44AB8CB508150123 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:38:34] 781*2^1415157-1 is not prime. Res64: 89DF445E1BC685DA Time : 0.0 sec. user=mdettweiler [2015-11-16 20:48:19] 891*2^1415157-1 is not prime. Res64: 7F39C705F7CEF645 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:48:20] 919*2^1415157-1 is not prime. Res64: DB0995D9157F52F4 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:48:21] 819*2^1415157-1 is not prime. Res64: 44A820B328AFC5A2 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:48:21] 885*2^1415157-1 is not prime. Res64: EB7C437316452392 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:48:37] 665*2^1415158-1 is not prime. Res64: 97EECBF4606F01C4 Time : 0.0 sec. user=mdettweiler [2015-11-16 20:48:37] 687*2^1415158-1 is not prime. Res64: BD269E65ED15275F Time : 0.0 sec. user=mdettweiler [2015-11-16 20:56:28] 609*2^1415159-1 is not prime. Res64: 88B522917653C6EE Time : 0.0 sec. user=mdettweiler [2015-11-16 20:56:28] 661*2^1415159-1 is not prime. Res64: 4EDD70ED7970E26F Time : 0.0 sec. user=mdettweiler [2015-11-16 21:06:28] 859*2^1415159-1 is not prime. Res64: 9923E775F13485C3 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:06:30] 931*2^1415159-1 is not prime. Res64: C957FD557A1B7984 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:06:31] 729*2^1415159-1 is not prime. Res64: F7FA8668E315D0BC Time : 0.0 sec. user=mdettweiler [2015-11-16 21:06:33] 829*2^1415159-1 is not prime. Res64: 8F05C5510E87EDDB Time : 0.0 sec. user=mdettweiler [2015-11-16 21:06:51] 939*2^1415159-1 is not prime. Res64: 8F21486063092186 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:06:52] 955*2^1415159-1 is not prime. Res64: 8A5BC3D3A25BB0A7 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:14:59] 665*2^1415160-1 is not prime. Res64: 2795F6D4EBC6E399 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:14:59] 717*2^1415160-1 is not prime. Res64: 532775D121C5A27C Time : 0.0 sec. user=mdettweiler [2015-11-16 21:25:06] 929*2^1415160-1 is not prime. Res64: 5258DB6C93A61425 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:25:06] 615*2^1415161-1 is not prime. Res64: C3FCDBE66D6A3AAD Time : 0.0 sec. user=mdettweiler [2015-11-16 21:25:09] 747*2^1415160-1 is not prime. Res64: 8631016ADBCF34F2 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:25:10] 839*2^1415160-1 is not prime. Res64: 26D44B4F845CA4FB Time : 0.0 sec. user=mdettweiler [2015-11-16 21:25:26] 747*2^1415161-1 is not prime. Res64: 139F6610DA1F6FB7 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:25:27] 771*2^1415161-1 is not prime. Res64: 8DE2E4380D3119E3 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:33:00] 811*2^1415161-1 is not prime. Res64: 14E443AE5F2F48DC Time : 0.0 sec. user=mdettweiler [2015-11-16 21:33:01] 847*2^1415161-1 is not prime. Res64: 415B7514763F639B Time : 0.0 sec. user=mdettweiler [2015-11-16 21:43:07] 861*2^1415161-1 is not prime. Res64: 507411A46BFBE363 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:43:07] 901*2^1415161-1 is not prime. Res64: 35AAB54CDCF8762C Time : 0.0 sec. user=mdettweiler [2015-11-16 21:43:08] 617*2^1415162-1 is not prime. Res64: 2CDE268002C5DDAB Time : 0.0 sec. user=mdettweiler [2015-11-16 21:43:08] 887*2^1415162-1 is not prime. Res64: 1C63C05AD7CFC5AB Time : 0.0 sec. user=mdettweiler [2015-11-16 21:43:32] 609*2^1415163-1 is not prime. Res64: 848E25B336A5D960 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:43:32] 709*2^1415163-1 is not prime. Res64: 7F611EB9FE907E7E Time : 0.0 sec. user=mdettweiler [2015-11-16 21:50:57] 769*2^1415163-1 is not prime. Res64: 01E042BBDFBA4E86 Time : 0.0 sec. user=mdettweiler [2015-11-16 21:50:57] 775*2^1415163-1 is not prime. Res64: 7D0EC853ADA049C4 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:00:58] 879*2^1415163-1 is not prime. Res64: 99B0779E11E591B4 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:00:59] 945*2^1415163-1 is not prime. Res64: 63AC716E5682513F Time : 0.0 sec. user=mdettweiler [2015-11-16 22:01:11] 823*2^1415163-1 is not prime. Res64: 183E52887ED75FBB Time : 0.0 sec. user=mdettweiler [2015-11-16 22:01:12] 871*2^1415163-1 is not prime. Res64: 96AED36682D1CF03 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:01:26] 617*2^1415164-1 is not prime. Res64: 54C721ED74AC81E4 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:01:27] 623*2^1415164-1 is not prime. Res64: C40754F7A623140D Time : 0.0 sec. user=mdettweiler [2015-11-16 22:08:57] 887*2^1415164-1 is not prime. Res64: 55466C32CF5271DB Time : 0.0 sec. user=mdettweiler [2015-11-16 22:08:58] 909*2^1415164-1 is not prime. Res64: 894050EA6055E360 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:18:55] 675*2^1415165-1 is not prime. Res64: ADB233A543BE4FE6 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:18:56] 735*2^1415165-1 is not prime. Res64: ACF1C4D208BFAE45 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:19:00] 757*2^1415165-1 is not prime. Res64: 96BC3645CB68263B Time : 0.0 sec. user=mdettweiler [2015-11-16 22:19:00] 955*2^1415165-1 is not prime. Res64: CAC4AA066E48B2F0 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:19:25] 969*2^1415165-1 is not prime. Res64: C9A2113BEBE12486 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:19:25] 985*2^1415165-1 is not prime. Res64: C4BD37FE890C5E32 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:27:11] 765*2^1415166-1 is not prime. Res64: C60C096F245A8D33 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:27:12] 815*2^1415166-1 is not prime. Res64: F68B00FDA3B7900F Time : 0.0 sec. user=mdettweiler [2015-11-16 22:36:59] 843*2^1415166-1 is not prime. Res64: 951E555A676773DB Time : 0.0 sec. user=mdettweiler [2015-11-16 22:36:59] 861*2^1415166-1 is not prime. Res64: D4AAE1DDBB130545 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:37:07] 963*2^1415166-1 is not prime. Res64: 3ED430CA9B47C293 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:37:08] 993*2^1415166-1 is not prime. Res64: CCE831F136425E6A Time : 0.0 sec. user=mdettweiler [2015-11-16 22:37:27] 645*2^1415167-1 is not prime. Res64: 666153CF9E627AC5 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:37:28] 649*2^1415167-1 is not prime. Res64: 3417DBC86D5FAF28 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:45:03] 685*2^1415167-1 is not prime. Res64: B93BE1DEE13EBC5B Time : 0.0 sec. user=mdettweiler [2015-11-16 22:45:04] 741*2^1415167-1 is not prime. Res64: 249CE9188B5DC6C1 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:55:00] 819*2^1415167-1 is not prime. Res64: 813AD6C1D3EE7808 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:55:00] 687*2^1415168-1 is not prime. Res64: 9F9B75D363AF6C42 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:55:21] 725*2^1415168-1 is not prime. Res64: 18C52B95802232BC Time : 0.0 sec. user=mdettweiler [2015-11-16 22:55:21] 755*2^1415168-1 is not prime. Res64: F11CFEA9C06ECE2C Time : 0.0 sec. user=mdettweiler [2015-11-16 22:55:38] 845*2^1415168-1 is not prime. Res64: 3CDB7156373A8A56 Time : 0.0 sec. user=mdettweiler [2015-11-16 22:55:39] 855*2^1415168-1 is not prime. Res64: 0DFA82B1EDEA4CEE Time : 0.0 sec. user=mdettweiler [2015-11-16 23:03:06] 895*2^1415169-1 is not prime. Res64: F8F72141C956C3CE Time : 0.0 sec. user=mdettweiler [2015-11-16 23:03:08] 921*2^1415169-1 is not prime. Res64: 3F5E20EC8603F280 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:13:04] 603*2^1415170-1 is not prime. Res64: F0F32F9D28980B3E Time : 0.0 sec. user=mdettweiler [2015-11-16 23:13:06] 665*2^1415170-1 is not prime. Res64: 0879C1B93F3920C1 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:13:20] 681*2^1415170-1 is not prime. Res64: 37D37E818AC5359B Time : 0.0 sec. user=mdettweiler [2015-11-16 23:13:21] 801*2^1415170-1 is not prime. Res64: D06127FF3DB3F2EA Time : 0.0 sec. user=mdettweiler [2015-11-16 23:13:51] 833*2^1415170-1 is not prime. Res64: D7C474E9743C185C Time : 0.0 sec. user=mdettweiler [2015-11-16 23:13:51] 887*2^1415170-1 is not prime. Res64: 5CACB02279A247F7 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:21:16] 615*2^1415171-1 is not prime. Res64: D7106279236152AC Time : 0.0 sec. user=mdettweiler [2015-11-16 23:21:17] 621*2^1415171-1 is not prime. Res64: 6D877918E49B13EE Time : 0.0 sec. user=mdettweiler [2015-11-16 23:31:23] 631*2^1415171-1 is not prime. Res64: D0F9D07A52C7D3B9 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:31:23] 651*2^1415171-1 is not prime. Res64: D5D04935E98458CF Time : 0.0 sec. user=mdettweiler [2015-11-16 23:31:25] 955*2^1415171-1 is not prime. Res64: B9379390EDCFBABD Time : 0.0 sec. user=mdettweiler [2015-11-16 23:31:26] 605*2^1415172-1 is not prime. Res64: 6FD5201DCDD60BF3 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:32:01] 623*2^1415172-1 is not prime. Res64: 7E6E66191F17FDEA Time : 0.0 sec. user=mdettweiler [2015-11-16 23:32:02] 629*2^1415172-1 is not prime. Res64: 92A525F10C0B3B13 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:39:14] 719*2^1415172-1 is not prime. Res64: F508BA8E953F2AF9 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:39:14] 753*2^1415172-1 is not prime. Res64: BAFCB4FE42B0CF8D Time : 0.0 sec. user=mdettweiler [2015-11-16 23:49:19] 819*2^1415172-1 is not prime. Res64: 43B9BB41143FE721 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:49:19] 933*2^1415172-1 is not prime. Res64: B4A04C65E458D281 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:49:34] 729*2^1415173-1 is not prime. Res64: BC62F7B1A95A917B Time : 0.0 sec. user=mdettweiler [2015-11-16 23:49:35] 801*2^1415173-1 is not prime. Res64: 903586A4813BFA57 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:49:57] 831*2^1415173-1 is not prime. Res64: B3C6F1FB25878BC7 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:49:58] 889*2^1415173-1 is not prime. Res64: ED3F1322352DC352 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:57:09] 915*2^1415173-1 is not prime. Res64: B9BB791A20733AD6 Time : 0.0 sec. user=mdettweiler [2015-11-16 23:57:10] 919*2^1415173-1 is not prime. Res64: 9B4F7EC704776159 Time : 0.0 sec.