user=mdettweiler [2016-11-20 12:26:24] 775*2^1446403-1 is not prime. Res64: 9E1C214469CCC67F Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:24] 943*2^1446403-1 is not prime. Res64: 828FBC172CE0DF72 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:25] 853*2^1446403-1 is not prime. Res64: 4A2255A4BE10999C Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:25] 861*2^1446403-1 is not prime. Res64: 72163FF0820D7A9C Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:26] 615*2^1446404-1 is not prime. Res64: 72613FC9FBECBF32 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:26] 913*2^1446403-1 is not prime. Res64: CE6353D5AFD2063F Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:26] 919*2^1446403-1 is not prime. Res64: 3478F6FFB39415CB Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:27] 659*2^1446404-1 is not prime. Res64: 51E9ED9615B29DD5 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:28] 675*2^1446404-1 is not prime. Res64: 55DAD9A239584E39 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:26:29] 707*2^1446404-1 is not prime. Res64: F76507D27C045580 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:36:32] 995*2^1446404-1 is not prime. Res64: 2C88A5618E24546F Time : 0.0 sec. user=mdettweiler [2016-11-20 12:36:33] 765*2^1446405-1 is not prime. Res64: A33E3131003C7C86 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:36:34] 805*2^1446405-1 is not prime. Res64: C440E15945508F78 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:36:35] 695*2^1446406-1 is not prime. Res64: 0D2A3ACCF0984E93 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:36:35] 773*2^1446406-1 is not prime. Res64: 748882285D6BC835 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:55:26] 785*2^1446406-1 is not prime. Res64: 4C020E83E3F74542 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:55:26] 861*2^1446406-1 is not prime. Res64: 1275AB2335349B81 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:55:27] 873*2^1446406-1 is not prime. Res64: 82E71197379F5311 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:55:27] 983*2^1446406-1 is not prime. Res64: 55756E0D03829256 Time : 0.0 sec. user=mdettweiler [2016-11-20 12:55:28] 645*2^1446407-1 is not prime. Res64: 1FAB6D6CF9884EA4 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:16] 973*2^1446407-1 is not prime. Res64: ABE0D3DA1F420E38 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:16] 707*2^1446408-1 is not prime. Res64: 82B404ADA4F1BA55 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:17] 747*2^1446408-1 is not prime. Res64: E2E46944D680648A Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:18] 929*2^1446408-1 is not prime. Res64: 0AE2C1D238A0A19F Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:18] 945*2^1446408-1 is not prime. Res64: 38720D9434BFB8C5 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:41] 649*2^1446407-1 is not prime. Res64: 60BA645A9F661F9F Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:42] 669*2^1446407-1 is not prime. Res64: 999AD64BE5B4439C Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:42] 703*2^1446407-1 is not prime. Res64: B793C36F5860D00A Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:43] 711*2^1446407-1 is not prime. Res64: BBB29EB2B296184C Time : 0.0 sec. user=mdettweiler [2016-11-20 13:13:43] 865*2^1446407-1 is not prime. Res64: C9A2794D10441B07 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:22:35] 957*2^1446408-1 is not prime. Res64: 09E073EC13BF54AF Time : 0.0 sec. user=mdettweiler [2016-11-20 13:22:36] 975*2^1446408-1 is not prime. Res64: 423D859410266D22 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:22:36] 679*2^1446409-1 is not prime. Res64: 3811E33B0F789CB0 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:22:36] 681*2^1446409-1 is not prime. Res64: D9790F820FEBAD66 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:22:37] 771*2^1446409-1 is not prime. Res64: D72B6F98F5E73F10 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:41:02] 799*2^1446409-1 is not prime. Res64: D53D60C11CDD11E5 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:41:03] 861*2^1446409-1 is not prime. Res64: 2A1EC8E1E244B004 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:41:03] 867*2^1446409-1 is not prime. Res64: 8B33D94668946C89 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:41:04] 895*2^1446409-1 is not prime. Res64: F74B66C5C9D80612 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:41:04] 939*2^1446409-1 is not prime. Res64: 08E4D4E7134504BA Time : 0.0 sec. user=mdettweiler [2016-11-20 13:58:57] 985*2^1446409-1 is not prime. Res64: 9161BFD615A05681 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:58:58] 605*2^1446410-1 is not prime. Res64: 8211AB690F28DF1A Time : 0.0 sec. user=mdettweiler [2016-11-20 13:58:58] 623*2^1446410-1 is not prime. Res64: 1E18C3DA1AF1AE51 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:58:58] 635*2^1446410-1 is not prime. Res64: 414F0C2B5EF13348 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:58:59] 645*2^1446410-1 is not prime. Res64: CE09EE9D3A38E2ED Time : 0.0 sec. user=mdettweiler [2016-11-20 13:59:08] 707*2^1446410-1 is not prime. Res64: 318B595F77AD3342 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:59:08] 713*2^1446410-1 is not prime. Res64: 03F44C10B00DF355 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:59:08] 851*2^1446410-1 is not prime. Res64: 25BC0C175ECE3B92 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:59:09] 857*2^1446410-1 is not prime. Res64: 7C4843D5CEA787C2 Time : 0.0 sec. user=mdettweiler [2016-11-20 13:59:09] 867*2^1446410-1 is not prime. Res64: 929EFD95BF4F432E Time : 0.0 sec. user=mdettweiler [2016-11-20 14:07:50] 981*2^1446410-1 is not prime. Res64: EABEA44ABCF60F15 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:07:51] 1001*2^1446410-1 is not prime. Res64: AA286DE4100453E7 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:07:51] 651*2^1446411-1 is not prime. Res64: ED6E8C0B914D82E8 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:07:52] 735*2^1446411-1 is not prime. Res64: F8CDC5D3B7584CB1 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:07:52] 871*2^1446411-1 is not prime. Res64: ADB42921A2E52BEE Time : 0.0 sec. user=mdettweiler [2016-11-20 14:25:36] 895*2^1446411-1 is not prime. Res64: F090A87C6729995F Time : 0.0 sec. user=mdettweiler [2016-11-20 14:25:36] 921*2^1446411-1 is not prime. Res64: 7A69752528E5EE36 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:25:36] 969*2^1446411-1 is not prime. Res64: F06049A736DE3983 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:25:37] 743*2^1446412-1 is not prime. Res64: C893C5C02D14C940 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:25:37] 807*2^1446412-1 is not prime. Res64: 884F67C1B67BBC54 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:43:41] 857*2^1446412-1 is not prime. Res64: 3EC4CD5246BA4BA1 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:43:41] 863*2^1446412-1 is not prime. Res64: 723B3A49BC06687F Time : 0.0 sec. user=mdettweiler [2016-11-20 14:43:41] 619*2^1446413-1 is not prime. Res64: BC52FA0ECFF612FA Time : 0.0 sec. user=mdettweiler [2016-11-20 14:43:42] 699*2^1446413-1 is not prime. Res64: 1263183250A3FC5F Time : 0.0 sec. user=mdettweiler [2016-11-20 14:43:42] 735*2^1446413-1 is not prime. Res64: 577461CAAE0DC679 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:44:00] 781*2^1446413-1 is not prime. Res64: 962308EFD5D54065 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:44:00] 787*2^1446413-1 is not prime. Res64: D23A6D64F03FC5B4 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:44:01] 871*2^1446413-1 is not prime. Res64: EF820036E4A0866A Time : 0.0 sec. user=mdettweiler [2016-11-20 14:44:01] 939*2^1446413-1 is not prime. Res64: D21990EED55BBF7E Time : 0.0 sec. user=mdettweiler [2016-11-20 14:44:02] 615*2^1446414-1 is not prime. Res64: DF2FE04ABE78683D Time : 0.0 sec. user=mdettweiler [2016-11-20 14:52:47] 711*2^1446414-1 is not prime. Res64: 2D025F888909CD07 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:52:47] 755*2^1446414-1 is not prime. Res64: 76EE37EE8B4FAB27 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:52:48] 767*2^1446414-1 is not prime. Res64: 06AEBBE1CF297761 Time : 0.0 sec. user=mdettweiler [2016-11-20 14:52:48] 795*2^1446414-1 is not prime. Res64: B6E96BD85AF9C3EE Time : 0.0 sec. user=mdettweiler [2016-11-20 14:52:49] 833*2^1446414-1 is not prime. Res64: 4A5856F378AB4E0D Time : 0.0 sec. user=mdettweiler [2016-11-20 15:10:32] 921*2^1446414-1 is not prime. Res64: 568C2E18B7692D70 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:10:34] 651*2^1446415-1 is not prime. Res64: 35A605530FC6E6EC Time : 0.0 sec. user=mdettweiler [2016-11-20 15:10:35] 741*2^1446415-1 is not prime. Res64: 5B20677483A6D5FD Time : 0.0 sec. user=mdettweiler [2016-11-20 15:10:35] 759*2^1446415-1 is not prime. Res64: 153D9EEBA5289AF3 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:10:35] 763*2^1446415-1 is not prime. Res64: 791A0E9ED782D962 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:06] 879*2^1446416-1 is not prime. Res64: 6DCCCB35BFF22A36 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:06] 893*2^1446416-1 is not prime. Res64: 1A3618134211C44D Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:06] 899*2^1446416-1 is not prime. Res64: 36A70E9D2C4DC39B Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:07] 917*2^1446416-1 is not prime. Res64: DC1E27F660CC0DF9 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:07] 829*2^1446417-1 is not prime. Res64: F8675BC8505F1641 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:27] 885*2^1446417-1 is not prime. Res64: A97325C201C260D7 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:27] 635*2^1446418-1 is not prime. Res64: A3F9B381F3495AA4 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:27] 645*2^1446418-1 is not prime. Res64: 9DF765E1E3B2D7AC Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:27] 665*2^1446418-1 is not prime. Res64: 3278DBF33DF6FE5F Time : 0.0 sec. user=mdettweiler [2016-11-20 15:29:28] 695*2^1446418-1 is not prime. Res64: 47A4C03424CDF988 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:38:53] 755*2^1446418-1 is not prime. Res64: 3D64067C0CB1FABA Time : 0.0 sec. user=mdettweiler [2016-11-20 15:38:53] 777*2^1446418-1 is not prime. Res64: 52B56B4EDBEC8A60 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:38:53] 815*2^1446418-1 is not prime. Res64: 5057010729677EC1 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:38:54] 827*2^1446418-1 is not prime. Res64: C228BE01CDC1855F Time : 0.0 sec. user=mdettweiler [2016-11-20 15:38:54] 911*2^1446418-1 is not prime. Res64: 691EBEC7AD16AA92 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:58:44] 941*2^1446418-1 is not prime. Res64: 820E9FCB2ACA9E52 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:58:45] 981*2^1446418-1 is not prime. Res64: DA27928C27F369CB Time : 0.0 sec. user=mdettweiler [2016-11-20 15:58:45] 619*2^1446419-1 is not prime. Res64: 40494233B891108E Time : 0.0 sec. user=mdettweiler [2016-11-20 15:58:45] 675*2^1446419-1 is not prime. Res64: C71179DADA45B841 Time : 0.0 sec. user=mdettweiler [2016-11-20 15:58:45] 753*2^1446419-1 is not prime. Res64: 015402A7B6EF268F Time : 0.0 sec. user=mdettweiler [2016-11-20 16:17:18] 829*2^1446419-1 is not prime. Res64: 0C2CA16FC753CEB0 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:17:18] 949*2^1446419-1 is not prime. Res64: 0A1B6E56C7197326 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:17:19] 955*2^1446419-1 is not prime. Res64: 77FD9B43995277DC Time : 0.0 sec. user=mdettweiler [2016-11-20 16:17:19] 609*2^1446420-1 is not prime. Res64: 2FA0BDFBEAC28D56 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:17:19] 695*2^1446420-1 is not prime. Res64: 71DE818E914711F9 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:18:18] 819*2^1446420-1 is not prime. Res64: 956B2A88A52B5C3E Time : 0.0 sec. user=mdettweiler [2016-11-20 16:18:18] 887*2^1446420-1 is not prime. Res64: BE615953C69A01E0 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:18:18] 893*2^1446420-1 is not prime. Res64: 3AFE933C42A19413 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:18:18] 933*2^1446420-1 is not prime. Res64: 9EB52B36436C9C5D Time : 0.0 sec. user=mdettweiler [2016-11-20 16:18:21] 685*2^1446421-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-11-20 16:27:18] 769*2^1446421-1 is not prime. Res64: 5072B821735BED24 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:27:19] 771*2^1446421-1 is not prime. Res64: F5C7C579866DA618 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:27:19] 789*2^1446421-1 is not prime. Res64: 40723415C28F0543 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:27:19] 957*2^1446421-1 is not prime. Res64: FE3E5B7FF8B864D0 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:27:19] 617*2^1446422-1 is not prime. Res64: 5BCD8F0B697229C0 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:46:46] 693*2^1446422-1 is not prime. Res64: 293C7B2210D7520E Time : 0.0 sec. user=mdettweiler [2016-11-20 16:46:46] 797*2^1446422-1 is not prime. Res64: A10E9F86CE1AF983 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:46:47] 801*2^1446422-1 is not prime. Res64: B5519C7822704CF0 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:46:47] 813*2^1446422-1 is not prime. Res64: 7C56FD8CFE5C0376 Time : 0.0 sec. user=mdettweiler [2016-11-20 16:46:48] 923*2^1446422-1 is not prime. Res64: 6A8BF10CA5E9106B Time : 0.0 sec. user=mdettweiler [2016-11-20 17:04:28] 941*2^1446422-1 is not prime. Res64: 2AAB5265022B0F6E Time : 0.0 sec. user=mdettweiler [2016-11-20 17:04:30] 951*2^1446422-1 is not prime. Res64: 9033164B854DFB44 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:04:31] 953*2^1446422-1 is not prime. Res64: 2F4E4F21F771450B Time : 0.0 sec. user=mdettweiler [2016-11-20 17:04:32] 1001*2^1446422-1 is not prime. Res64: 367F924CCA744924 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:04:33] 625*2^1446423-1 is not prime. Res64: 2C9117CDB692961D Time : 0.0 sec. user=mdettweiler [2016-11-20 17:05:35] 661*2^1446423-1 is not prime. Res64: 1B47E122F5C72CDD Time : 0.0 sec. user=mdettweiler [2016-11-20 17:05:36] 675*2^1446423-1 is not prime. Res64: C5EAC1B655F7BC9E Time : 0.0 sec. user=mdettweiler [2016-11-20 17:05:37] 765*2^1446423-1 is not prime. Res64: 91E42C8E5A71BE32 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:05:38] 823*2^1446423-1 is not prime. Res64: 179899A85B9B3629 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:05:39] 861*2^1446423-1 is not prime. Res64: 0779AB1D898C251A Time : 0.0 sec. user=mdettweiler [2016-11-20 17:14:28] 943*2^1446423-1 is not prime. Res64: EB817047D799F453 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:14:29] 657*2^1446424-1 is not prime. Res64: 380438611E14EE2A Time : 0.0 sec. user=mdettweiler [2016-11-20 17:14:29] 705*2^1446424-1 is not prime. Res64: 9BB5578C357B1402 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:14:29] 915*2^1446424-1 is not prime. Res64: 7652654309036D20 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:14:30] 917*2^1446424-1 is not prime. Res64: 0B961A8414A14D78 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:34:18] 691*2^1446425-1 is not prime. Res64: EBD61421509AA937 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:34:19] 717*2^1446425-1 is not prime. Res64: 8E68906D8AE00623 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:34:19] 741*2^1446425-1 is not prime. Res64: 1B6D54118E1F9330 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:34:19] 771*2^1446425-1 is not prime. Res64: A00041ADEF181694 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:34:20] 789*2^1446425-1 is not prime. Res64: 930FCFC41E1E7FB7 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:52:40] 837*2^1446425-1 is not prime. Res64: AA72FF947566173F Time : 0.0 sec. user=mdettweiler [2016-11-20 17:52:40] 867*2^1446425-1 is not prime. Res64: B10E4635B87F5B05 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:52:41] 969*2^1446425-1 is not prime. Res64: B664098AC03999AA Time : 0.0 sec. user=mdettweiler [2016-11-20 17:52:41] 677*2^1446426-1 is not prime. Res64: 5AAF6B321507C6DD Time : 0.0 sec. user=mdettweiler [2016-11-20 17:52:41] 683*2^1446426-1 is not prime. Res64: 276026BDEAFDD59C Time : 0.0 sec. user=mdettweiler [2016-11-20 17:54:31] 801*2^1446426-1 is not prime. Res64: 5F16C0515B3BD577 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:54:31] 815*2^1446426-1 is not prime. Res64: 9550B848FB83A2CA Time : 0.0 sec. user=mdettweiler [2016-11-20 17:54:32] 903*2^1446426-1 is not prime. Res64: 4BD4932BA16B2C1C Time : 0.0 sec. user=mdettweiler [2016-11-20 17:54:32] 733*2^1446427-1 is not prime. Res64: ADC233F6B7EF2095 Time : 0.0 sec. user=mdettweiler [2016-11-20 17:54:32] 829*2^1446427-1 is not prime. Res64: 2C10C5536CC34BBB Time : 0.0 sec. user=mdettweiler [2016-11-20 18:03:35] 843*2^1446427-1 is not prime. Res64: AE9A9F3FE2A68149 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:03:36] 859*2^1446427-1 is not prime. Res64: DD73218CF45B53AD Time : 0.0 sec. user=mdettweiler [2016-11-20 18:03:41] 861*2^1446427-1 is not prime. Res64: 4FF6B2754352B016 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:03:41] 871*2^1446427-1 is not prime. Res64: 4FE04ADF0B8E1CCA Time : 0.0 sec. user=mdettweiler [2016-11-20 18:03:43] 889*2^1446427-1 is not prime. Res64: 2B7901C3A01E7A30 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:23:22] 915*2^1446427-1 is not prime. Res64: 3876EA144786A6FE Time : 0.0 sec. user=mdettweiler [2016-11-20 18:23:23] 975*2^1446427-1 is not prime. Res64: F012553FD34DEF44 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:23:23] 999*2^1446427-1 is not prime. Res64: 94DAD0AC4A7291F8 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:23:23] 603*2^1446428-1 is not prime. Res64: D1C9833C1112902C Time : 0.0 sec. user=mdettweiler [2016-11-20 18:23:24] 699*2^1446428-1 is not prime. Res64: 90336EF9EEC2F8F6 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:41:50] 819*2^1446428-1 is not prime. Res64: 9BD9CBDF1F3FF483 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:41:50] 825*2^1446428-1 is not prime. Res64: 6EEF912542BCB798 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:41:51] 867*2^1446428-1 is not prime. Res64: 14A6F02EB1F7EAAA Time : 0.0 sec. user=mdettweiler [2016-11-20 18:41:51] 875*2^1446428-1 is not prime. Res64: 1C79D5ABCBF9DFC6 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:41:52] 893*2^1446428-1 is not prime. Res64: 2B30C5FD225137B4 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:42:25] 927*2^1446428-1 is not prime. Res64: 1624266633A1A6A2 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:42:25] 935*2^1446428-1 is not prime. Res64: 9D30BE74FE24B710 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:42:26] 953*2^1446428-1 is not prime. Res64: 5BE14D38A135D07A Time : 0.0 sec. user=mdettweiler [2016-11-20 18:42:26] 995*2^1446428-1 is not prime. Res64: 67FA4F34665DEF6D Time : 0.0 sec. user=mdettweiler [2016-11-20 18:42:26] 609*2^1446429-1 is not prime. Res64: FA46CDA9DF7CB978 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:50:55] 675*2^1446429-1 is not prime. Res64: 10A09689BDB05B04 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:50:55] 781*2^1446429-1 is not prime. Res64: 412D492AA2B107F8 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:50:55] 787*2^1446429-1 is not prime. Res64: A574C99A68B138E4 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:50:55] 817*2^1446429-1 is not prime. Res64: D79A058243AB75F1 Time : 0.0 sec. user=mdettweiler [2016-11-20 18:50:56] 835*2^1446429-1 is not prime. Res64: 8EBAA2F89972086A Time : 0.0 sec. user=mdettweiler [2016-11-20 19:09:07] 961*2^1446429-1 is not prime. Res64: 046D9939F1F7ED3C Time : 0.0 sec. user=mdettweiler [2016-11-20 19:09:08] 695*2^1446430-1 is not prime. Res64: 391D5438B98ECC55 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:09:08] 731*2^1446430-1 is not prime. Res64: 41E342C7674BB767 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:09:08] 755*2^1446430-1 is not prime. Res64: B7183D08144687C0 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:09:09] 783*2^1446430-1 is not prime. Res64: 210B96696781D534 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:26] 801*2^1446430-1 is not prime. Res64: 6787730B4E459E31 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:31] 857*2^1446430-1 is not prime. Res64: B1DB1739C15AC889 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:32] 923*2^1446430-1 is not prime. Res64: 5E1B9FC2A2931B92 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:33] 945*2^1446430-1 is not prime. Res64: 56E7F9E14A5000FC Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:34] 679*2^1446431-1 is not prime. Res64: E7064413594C2930 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:50] 711*2^1446431-1 is not prime. Res64: 5F9850AE050F58FF Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:50] 841*2^1446431-1 is not prime. Res64: E294F9F67E2E25F4 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:51] 855*2^1446431-1 is not prime. Res64: 407081DBA972AF6E Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:51] 885*2^1446431-1 is not prime. Res64: D449C763370CF0C8 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:27:51] 921*2^1446431-1 is not prime. Res64: CFEDE7F3CD2AE1A5 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:36:11] 605*2^1446432-1 is not prime. Res64: 74BBE9D1B135C82E Time : 0.0 sec. user=mdettweiler [2016-11-20 19:36:11] 635*2^1446432-1 is not prime. Res64: 25EA43CDD6F9A3AF Time : 0.0 sec. user=mdettweiler [2016-11-20 19:36:11] 653*2^1446432-1 is not prime. Res64: F866CD060B72082D Time : 0.0 sec. user=mdettweiler [2016-11-20 19:36:12] 675*2^1446432-1 is not prime. Res64: D41C171FB3F8DD48 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:36:12] 713*2^1446432-1 is not prime. Res64: C414DD0451FE696A Time : 0.0 sec. user=mdettweiler [2016-11-20 19:54:20] 857*2^1446432-1 is not prime. Res64: 4B96BC315604D799 Time : 0.0 sec. user=mdettweiler [2016-11-20 19:54:21] 619*2^1446433-1 is not prime. Res64: 55EFE1A37114EBBB Time : 0.0 sec. user=mdettweiler [2016-11-20 19:54:21] 705*2^1446433-1 is not prime. Res64: A5CA6FBDA04AA9CA Time : 0.0 sec. user=mdettweiler [2016-11-20 19:54:22] 741*2^1446433-1 is not prime. Res64: 7C6167C75730F28F Time : 0.0 sec. user=mdettweiler [2016-11-20 19:54:22] 747*2^1446433-1 is not prime. Res64: BE198B6F5B702C39 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:12:36] 765*2^1446433-1 is not prime. Res64: 2BBFDB852D6BA1C8 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:12:36] 831*2^1446433-1 is not prime. Res64: 280CDF20EA04BD66 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:12:37] 615*2^1446434-1 is not prime. Res64: 6C34B266AC2B9A9F Time : 0.0 sec. user=mdettweiler [2016-11-20 20:12:37] 675*2^1446434-1 is not prime. Res64: 5C1A41A499350FEE Time : 0.0 sec. user=mdettweiler [2016-11-20 20:12:37] 711*2^1446434-1 is not prime. Res64: 933FA2FFD63ADD0B Time : 0.0 sec. user=mdettweiler [2016-11-20 20:13:05] 791*2^1446434-1 is not prime. Res64: 00B7216783185F56 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:13:06] 851*2^1446434-1 is not prime. Res64: A987A1CEE849AD80 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:13:06] 885*2^1446434-1 is not prime. Res64: 964969ECB4306CAA Time : 0.0 sec. user=mdettweiler [2016-11-20 20:13:06] 887*2^1446434-1 is not prime. Res64: 7F082FCB457F3D3C Time : 0.0 sec. user=mdettweiler [2016-11-20 20:13:07] 993*2^1446434-1 is not prime. Res64: 8162EBF6924CD337 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:21:26] 619*2^1446435-1 is not prime. Res64: 0EDC0F18F04DBA4B Time : 0.0 sec. user=mdettweiler [2016-11-20 20:21:27] 711*2^1446435-1 is not prime. Res64: D36874B87BC0B9EE Time : 0.0 sec. user=mdettweiler [2016-11-20 20:21:27] 735*2^1446435-1 is not prime. Res64: F767BE497425A6AF Time : 0.0 sec. user=mdettweiler [2016-11-20 20:21:27] 765*2^1446435-1 is not prime. Res64: 3CBB071CE28DAA77 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:21:28] 781*2^1446435-1 is not prime. Res64: 2D7165B6498539C6 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:39:31] 805*2^1446435-1 is not prime. Res64: 3A2678FA066173D2 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:39:31] 623*2^1446436-1 is not prime. Res64: CB62FCBF021B4F11 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:39:32] 647*2^1446436-1 is not prime. Res64: 7DFDF27D36177C32 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:39:36] 653*2^1446436-1 is not prime. Res64: 20C5B8950B89A1D8 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:39:37] 717*2^1446436-1 is not prime. Res64: 0950B52FFCBDCA1B Time : 0.0 sec. user=mdettweiler [2016-11-20 20:57:43] 749*2^1446436-1 is not prime. Res64: E38000C88652ED6A Time : 0.0 sec. user=mdettweiler [2016-11-20 20:57:43] 785*2^1446436-1 is not prime. Res64: 45D4DFD14AE039B9 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:57:43] 899*2^1446436-1 is not prime. Res64: 23B6F5F867868FDD Time : 0.0 sec. user=mdettweiler [2016-11-20 20:57:44] 969*2^1446436-1 is not prime. Res64: 3ADB212494CA001C Time : 0.0 sec. user=mdettweiler [2016-11-20 20:57:48] 999*2^1446436-1 is not prime. Res64: E9C492281D649726 Time : 0.0 sec. user=mdettweiler [2016-11-20 20:58:11] 655*2^1446437-1 is not prime. Res64: 9D71C0EC4F544A7C Time : 0.0 sec. user=mdettweiler [2016-11-20 20:58:11] 805*2^1446437-1 is not prime. Res64: A3B5DE28AC4A647C Time : 0.0 sec. user=mdettweiler [2016-11-20 20:58:11] 861*2^1446437-1 is not prime. Res64: 122F20D97BD5BFFA Time : 0.0 sec. user=mdettweiler [2016-11-20 20:58:12] 885*2^1446437-1 is not prime. Res64: 5131624E8531AC4B Time : 0.0 sec. user=mdettweiler [2016-11-20 20:58:12] 889*2^1446437-1 is not prime. Res64: 691AA8D58F6B499A Time : 0.0 sec. user=mdettweiler [2016-11-20 21:06:37] 925*2^1446437-1 is not prime. Res64: 2C03639F0E103897 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:06:38] 939*2^1446437-1 is not prime. Res64: 617637DE95AE32F5 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:06:39] 957*2^1446437-1 is not prime. Res64: E1EFE0CF5772CF4D Time : 0.0 sec. user=mdettweiler [2016-11-20 21:06:41] 641*2^1446438-1 is not prime. Res64: 4B24318D8DAE276C Time : 0.0 sec. user=mdettweiler [2016-11-20 21:06:42] 647*2^1446438-1 is not prime. Res64: 0469AA4257D86ED1 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:24:41] 663*2^1446438-1 is not prime. Res64: C093A1F7FBD5B018 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:24:42] 765*2^1446438-1 is not prime. Res64: 3EA1BB4A514C1F97 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:24:42] 971*2^1446438-1 is not prime. Res64: 5D07E9F5670FD23F Time : 0.0 sec. user=mdettweiler [2016-11-20 21:24:43] 975*2^1446438-1 is not prime. Res64: 28BDFADF943EEC60 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:24:43] 633*2^1446439-1 is not prime. Res64: ACD78B889914ECDF Time : 0.0 sec. user=mdettweiler [2016-11-20 21:42:49] 709*2^1446439-1 is not prime. Res64: 86F3CF47BA642F5F Time : 0.0 sec. user=mdettweiler [2016-11-20 21:42:49] 723*2^1446439-1 is not prime. Res64: 51C74DF8DF8AC95F Time : 0.0 sec. user=mdettweiler [2016-11-20 21:42:50] 745*2^1446439-1 is not prime. Res64: 581DF59A4467DE5C Time : 0.0 sec. user=mdettweiler [2016-11-20 21:42:50] 759*2^1446439-1 is not prime. Res64: 813D18AA31AA17B9 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:42:51] 763*2^1446439-1 is not prime. Res64: 218993DEB3F87479 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:43:15] 633*2^1446440-1 is not prime. Res64: AD29911AB4A0A6DA Time : 0.0 sec. user=mdettweiler [2016-11-20 21:43:15] 669*2^1446440-1 is not prime. Res64: E509419D2E31E3CC Time : 0.0 sec. user=mdettweiler [2016-11-20 21:43:16] 689*2^1446440-1 is not prime. Res64: B8F21C961C4E4A86 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:43:16] 713*2^1446440-1 is not prime. Res64: 695F5112155D65E8 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:43:17] 767*2^1446440-1 is not prime. Res64: 1B427679C59DF2E2 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:51:34] 899*2^1446440-1 is not prime. Res64: 61BD9AEA32101159 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:51:34] 607*2^1446441-1 is not prime. Res64: 670AF098D9C60623 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:51:35] 741*2^1446441-1 is not prime. Res64: 19950A57D440D7CC Time : 0.0 sec. user=mdettweiler [2016-11-20 21:51:35] 829*2^1446441-1 is not prime. Res64: B00A36450BDEAA47 Time : 0.0 sec. user=mdettweiler [2016-11-20 21:51:36] 877*2^1446441-1 is not prime. Res64: 1B165AE629252AE6 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:09:44] 701*2^1446442-1 is not prime. Res64: 5B95640BECCC6ECA Time : 0.0 sec. user=mdettweiler [2016-11-20 22:09:46] 791*2^1446442-1 is not prime. Res64: 3875A05E4D389686 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:09:49] 803*2^1446442-1 is not prime. Res64: 623B5CF1213B9BC5 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:09:51] 917*2^1446442-1 is not prime. Res64: BFC7079170303943 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:09:53] 685*2^1446443-1 is not prime. Res64: 692F7668DA8A617E Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:05] 699*2^1446443-1 is not prime. Res64: 24D90A8399022D18 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:05] 759*2^1446443-1 is not prime. Res64: 8CD17D29688687D4 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:06] 783*2^1446443-1 is not prime. Res64: FA533F4D3CAD72A8 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:10] 871*2^1446443-1 is not prime. Res64: 53D5142D612E3F3C Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:11] 939*2^1446443-1 is not prime. Res64: 24C2D68732CAD84E Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:28] 943*2^1446443-1 is not prime. Res64: 56F01F41D60565CA Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:28] 969*2^1446443-1 is not prime. Res64: 0235E1B1EAEB4935 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:29] 663*2^1446444-1 is not prime. Res64: 252DB37F57FF1390 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:29] 699*2^1446444-1 is not prime. Res64: 9F59F042849BBF45 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:28:34] 765*2^1446444-1 is not prime. Res64: 165076B2A6941419 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:36:46] 935*2^1446444-1 is not prime. Res64: 07E519DDBB54A9E9 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:36:46] 721*2^1446445-1 is not prime. Res64: FC560BFA136AB54E Time : 0.0 sec. user=mdettweiler [2016-11-20 22:36:47] 729*2^1446445-1 is not prime. Res64: BAF8B9AB4F6DF73D Time : 0.0 sec. user=mdettweiler [2016-11-20 22:36:48] 801*2^1446445-1 is not prime. Res64: 6BFE8F36FEA62221 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:36:48] 805*2^1446445-1 is not prime. Res64: 3CDFB027ACC70E0F Time : 0.0 sec. user=mdettweiler [2016-11-20 22:55:25] 847*2^1446445-1 is not prime. Res64: 20EF655A0793AB4D Time : 0.0 sec. user=mdettweiler [2016-11-20 22:55:26] 937*2^1446445-1 is not prime. Res64: 9698E2296CBFAD5D Time : 0.0 sec. user=mdettweiler [2016-11-20 22:55:26] 987*2^1446445-1 is not prime. Res64: 92620956F79129A7 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:55:27] 999*2^1446445-1 is not prime. Res64: 0EBE873E58B56A69 Time : 0.0 sec. user=mdettweiler [2016-11-20 22:55:27] 711*2^1446446-1 is not prime. Res64: 022605D02C231795 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:13] 815*2^1446446-1 is not prime. Res64: 050CD75416DDBA2F Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:14] 825*2^1446446-1 is not prime. Res64: 468DEF1E45DD8333 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:15] 831*2^1446446-1 is not prime. Res64: A50698789954381B Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:16] 867*2^1446446-1 is not prime. Res64: B53EC917793FD0D0 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:17] 903*2^1446446-1 is not prime. Res64: 4DBFA92324FFDBD5 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:42] 911*2^1446446-1 is not prime. Res64: CAA8D232A61C2F4C Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:43] 923*2^1446446-1 is not prime. Res64: 2CA69BEDD261EEAF Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:44] 669*2^1446447-1 is not prime. Res64: 7FAA2511A89FC8EA Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:45] 703*2^1446447-1 is not prime. Res64: 07A0E7EAB279C620 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:13:46] 795*2^1446447-1 is not prime. Res64: 23D5501D74CD8C5F Time : 0.0 sec. user=mdettweiler [2016-11-20 23:21:42] 879*2^1446447-1 is not prime. Res64: 4DDB876FC654F868 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:21:43] 919*2^1446447-1 is not prime. Res64: BD2EE45A20D9B370 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:21:44] 985*2^1446447-1 is not prime. Res64: 74569BCA9AFBF84F Time : 0.0 sec. user=mdettweiler [2016-11-20 23:21:45] 999*2^1446447-1 is not prime. Res64: 665F9EE6DFD1A5CD Time : 0.0 sec. user=mdettweiler [2016-11-20 23:21:46] 603*2^1446448-1 is not prime. Res64: 5ED77C1208980C09 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:40:39] 663*2^1446448-1 is not prime. Res64: 753630876894140F Time : 0.0 sec. user=mdettweiler [2016-11-20 23:40:40] 705*2^1446448-1 is not prime. Res64: 3BE84EB661BBB14F Time : 0.0 sec. user=mdettweiler [2016-11-20 23:40:41] 755*2^1446448-1 is not prime. Res64: 04B70816CA5AA5FA Time : 0.0 sec. user=mdettweiler [2016-11-20 23:40:42] 765*2^1446448-1 is not prime. Res64: A4612A359DF8C750 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:40:48] 863*2^1446448-1 is not prime. Res64: FD3DB339494E1739 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:22] 645*2^1446449-1 is not prime. Res64: CDFD17D17E2B203D Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:22] 727*2^1446449-1 is not prime. Res64: A4DCE6549537AE0E Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:23] 781*2^1446449-1 is not prime. Res64: 9747781A001D6661 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:24] 949*2^1446449-1 is not prime. Res64: 1452D2F2B6776290 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:25] 955*2^1446449-1 is not prime. Res64: 943832F2BA896C4D Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:38] 627*2^1446450-1 is not prime. Res64: C57638E08AD54B62 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:39] 633*2^1446450-1 is not prime. Res64: 0AE64B37D8A2BE92 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:39] 647*2^1446450-1 is not prime. Res64: 74C6E1B81D0F3E77 Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:40] 765*2^1446450-1 is not prime. Res64: 7D631B20688A93EA Time : 0.0 sec. user=mdettweiler [2016-11-20 23:58:41] 791*2^1446450-1 is not prime. Res64: 46CA0111CD793C0C Time : 0.0 sec.