user=mdettweiler [2016-09-12 00:09:29] 961*2^1439527-1 is not prime. Res64: DBF103511E583C80 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:09:30] 999*2^1439527-1 is not prime. Res64: FC2C58336D628C43 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:09:30] 657*2^1439528-1 is not prime. Res64: BA5460F02036DAF7 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:09:31] 663*2^1439528-1 is not prime. Res64: ABF14E35E21FEDBB Time : 0.0 sec. user=mdettweiler [2016-09-12 00:09:31] 665*2^1439528-1 is not prime. Res64: 5DFD7AF24DB803E3 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:10:01] 669*2^1439528-1 is not prime. Res64: AA4DC5363EE59975 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:10:02] 827*2^1439528-1 is not prime. Res64: 0D059C9B67507526 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:10:02] 845*2^1439528-1 is not prime. Res64: DCC15AB1DA6F5D7C Time : 0.0 sec. user=mdettweiler [2016-09-12 00:10:03] 959*2^1439528-1 is not prime. Res64: 6011EE2369FA260D Time : 0.0 sec. user=mdettweiler [2016-09-12 00:10:03] 639*2^1439529-1 is not prime. Res64: 40A45A1D24014A1C Time : 0.0 sec. user=mdettweiler [2016-09-12 00:20:33] 727*2^1439529-1 is not prime. Res64: A0E3C317E0415CA0 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:20:33] 747*2^1439529-1 is not prime. Res64: B5DE6C683311B75E Time : 0.0 sec. user=mdettweiler [2016-09-12 00:20:34] 829*2^1439529-1 is not prime. Res64: 111B8767888169A9 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:20:35] 979*2^1439529-1 is not prime. Res64: 9D356EFFC57D102F Time : 0.0 sec. user=mdettweiler [2016-09-12 00:20:36] 997*2^1439529-1 is not prime. Res64: 7D3C09E2D32599A8 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:53:55] 603*2^1439530-1 is not prime. Res64: AE553F578758C9B6 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:53:56] 717*2^1439530-1 is not prime. Res64: 1A9C94A88363DDFB Time : 0.0 sec. user=mdettweiler [2016-09-12 00:53:57] 747*2^1439530-1 is not prime. Res64: B6453059907BE9D2 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:53:58] 803*2^1439530-1 is not prime. Res64: 65FEF2B9212817F6 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:53:58] 827*2^1439530-1 is not prime. Res64: CCC94876C8A276F9 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:54:24] 861*2^1439530-1 is not prime. Res64: B7CA4663406C341F Time : 0.0 sec. user=mdettweiler [2016-09-12 00:54:25] 917*2^1439530-1 is not prime. Res64: C8512941C2FE8207 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:54:26] 923*2^1439530-1 is not prime. Res64: 0D401AA66C028021 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:54:27] 945*2^1439530-1 is not prime. Res64: 661484B613C53F28 Time : 0.0 sec. user=mdettweiler [2016-09-12 00:54:28] 981*2^1439530-1 is not prime. Res64: 3BF098FD78AA111E Time : 0.0 sec. user=mdettweiler [2016-09-12 01:04:56] 615*2^1439531-1 is not prime. Res64: C34D722D9F79EFF3 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:04:58] 733*2^1439531-1 is not prime. Res64: 5F8804440633BB4B Time : 0.0 sec. user=mdettweiler [2016-09-12 01:05:00] 775*2^1439531-1 is not prime. Res64: F15FFBB404908482 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:05:01] 789*2^1439531-1 is not prime. Res64: 7DCF0CE21051B61E Time : 0.0 sec. user=mdettweiler [2016-09-12 01:05:02] 843*2^1439531-1 is not prime. Res64: 4D5F8442C8BA10EB Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:22] 855*2^1439531-1 is not prime. Res64: DC9E3F9010054155 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:22] 885*2^1439531-1 is not prime. Res64: 17013BED928538D1 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:23] 945*2^1439531-1 is not prime. Res64: DFCDEFC7EF37BA34 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:24] 981*2^1439531-1 is not prime. Res64: 83D85CBF1D287684 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:24] 623*2^1439532-1 is not prime. Res64: AAC44E4269CF3964 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:51] 779*2^1439532-1 is not prime. Res64: C4D02D37D09AE9E3 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:52] 909*2^1439532-1 is not prime. Res64: 3607AF17F3E3C83A Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:52] 933*2^1439532-1 is not prime. Res64: 8691EA87E88A9726 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:53] 947*2^1439532-1 is not prime. Res64: 4D78D0A05F8D69FD Time : 0.0 sec. user=mdettweiler [2016-09-12 01:38:54] 957*2^1439532-1 is not prime. Res64: 7015D5DE48A7B89D Time : 0.0 sec. user=mdettweiler [2016-09-12 01:49:30] 615*2^1439533-1 is not prime. Res64: 35D6E99587A75B1F Time : 0.0 sec. user=mdettweiler [2016-09-12 01:49:30] 939*2^1439533-1 is not prime. Res64: 852BDD483A8FB49A Time : 0.0 sec. user=mdettweiler [2016-09-12 01:49:31] 605*2^1439534-1 is not prime. Res64: 78478670664ECEA0 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:49:31] 665*2^1439534-1 is not prime. Res64: 3CF9F081C290AF70 Time : 0.0 sec. user=mdettweiler [2016-09-12 01:49:32] 825*2^1439534-1 is not prime. Res64: 460C4F196F282DF8 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:11] 827*2^1439534-1 is not prime. Res64: 399FCC9EB6744C46 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:12] 851*2^1439534-1 is not prime. Res64: E2AAB9A8722C3248 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:12] 945*2^1439534-1 is not prime. Res64: CCD0EC1F5EC2C364 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:13] 609*2^1439535-1 is not prime. Res64: 6AFF422E5EE1F2BF Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:14] 651*2^1439535-1 is not prime. Res64: E0FFFB19887EE565 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:33] 693*2^1439535-1 is not prime. Res64: 497B44BC68269569 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:34] 735*2^1439535-1 is not prime. Res64: 0E3F7273B5EAF7B4 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:34] 741*2^1439535-1 is not prime. Res64: 6EC1632573877953 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:35] 775*2^1439535-1 is not prime. Res64: D7BFA93CC3C71250 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:23:35] 735*2^1439536-1 is not prime. Res64: 2D9EC38A2D08353A Time : 0.0 sec. user=mdettweiler [2016-09-12 02:34:06] 825*2^1439536-1 is not prime. Res64: 384BD3BA52D9F215 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:34:06] 833*2^1439536-1 is not prime. Res64: D16F83460D000FCD Time : 0.0 sec. user=mdettweiler [2016-09-12 02:34:07] 917*2^1439536-1 is not prime. Res64: B1B7C7892762A9B7 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:34:07] 933*2^1439536-1 is not prime. Res64: 1B3787D9643E7C11 Time : 0.0 sec. user=mdettweiler [2016-09-12 02:34:08] 939*2^1439536-1 is not prime. Res64: 9309E7120728C1E5 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:33] 627*2^1439537-1 is not prime. Res64: A722A3AA9F698FE4 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:34] 747*2^1439537-1 is not prime. Res64: 5D09A41055A35460 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:34] 805*2^1439537-1 is not prime. Res64: E393A0F02EEFDC31 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:35] 985*2^1439537-1 is not prime. Res64: 39CF7B1B0BFF59A3 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:35] 681*2^1439538-1 is not prime. Res64: 79C69ADAD9CB6D3A Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:51] 683*2^1439538-1 is not prime. Res64: C1970963B516BF0B Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:52] 755*2^1439538-1 is not prime. Res64: 6D8E52880B3D9A97 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:52] 821*2^1439538-1 is not prime. Res64: CF3DD007424E3C74 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:53] 837*2^1439538-1 is not prime. Res64: 886E47F1ED811AF3 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:07:53] 875*2^1439538-1 is not prime. Res64: 5FF00F5062285E91 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:18:26] 631*2^1439539-1 is not prime. Res64: 40D83DB269694D01 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:18:26] 645*2^1439539-1 is not prime. Res64: CE10BF2CDA37CBF1 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:18:26] 835*2^1439539-1 is not prime. Res64: CE55DEFD2C119D39 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:18:27] 843*2^1439539-1 is not prime. Res64: 98BC8F78B6846E08 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:18:27] 859*2^1439539-1 is not prime. Res64: C276F227C8A0FCF0 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:51:56] 699*2^1439540-1 is not prime. Res64: 9698C3F23B8DF969 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:51:58] 707*2^1439540-1 is not prime. Res64: 9DDC488B3CC833BC Time : 0.0 sec. user=mdettweiler [2016-09-12 03:51:58] 759*2^1439540-1 is not prime. Res64: A27BBEF8D3609D93 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:51:59] 957*2^1439540-1 is not prime. Res64: 1CE90911DD12CF0E Time : 0.0 sec. user=mdettweiler [2016-09-12 03:52:00] 983*2^1439540-1 is not prime. Res64: B31997CA211957B2 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:52:08] 999*2^1439540-1 is not prime. Res64: E61990B7DD1EF942 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:52:09] 685*2^1439541-1 is not prime. Res64: 1ECA8E0241EF9A5E Time : 0.0 sec. user=mdettweiler [2016-09-12 03:52:09] 741*2^1439541-1 is not prime. Res64: 5F344717767CB72D Time : 0.0 sec. user=mdettweiler [2016-09-12 03:52:10] 859*2^1439541-1 is not prime. Res64: 8EDF9CC316BDF6E9 Time : 0.0 sec. user=mdettweiler [2016-09-12 03:52:11] 901*2^1439541-1 is not prime. Res64: 0E8AA323E00EDE65 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:02:47] 945*2^1439541-1 is not prime. Res64: 96568D4C814C6F8E Time : 0.0 sec. user=mdettweiler [2016-09-12 04:02:48] 603*2^1439542-1 is not prime. Res64: 5CE4E1998E2AAC95 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:02:48] 785*2^1439542-1 is not prime. Res64: 5DB7B281206CA717 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:02:49] 843*2^1439542-1 is not prime. Res64: B2DF1965E4396A37 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:02:50] 863*2^1439542-1 is not prime. Res64: 11C0905DACF4FB79 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:19] 975*2^1439542-1 is not prime. Res64: 746164F4BB3BBF28 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:20] 983*2^1439542-1 is not prime. Res64: 2B7E888E48AE21BE Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:20] 703*2^1439543-1 is not prime. Res64: A45E87A1E1DC60AD Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:20] 811*2^1439543-1 is not prime. Res64: 400C76A01949711A Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:21] 879*2^1439543-1 is not prime. Res64: 908B7CD69AE5E1DC Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:38] 921*2^1439543-1 is not prime. Res64: 15835457763E7DEF Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:38] 657*2^1439544-1 is not prime. Res64: 17B17DC577D79BE4 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:39] 663*2^1439544-1 is not prime. Res64: 01CE751F108A90F3 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:39] 737*2^1439544-1 is not prime. Res64: 96A9E74B68CE5AA7 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:36:39] 789*2^1439544-1 is not prime. Res64: 90DE8FB7358157D7 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:47:19] 993*2^1439544-1 is not prime. Res64: B56B364467C80979 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:47:19] 645*2^1439545-1 is not prime. Res64: 61EF64D95E512054 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:47:19] 687*2^1439545-1 is not prime. Res64: C86574B148112C35 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:47:20] 717*2^1439545-1 is not prime. Res64: 3DF66C518353D347 Time : 0.0 sec. user=mdettweiler [2016-09-12 04:47:20] 741*2^1439545-1 is not prime. Res64: C5C4AB6B6B52B9A1 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:37] 805*2^1439545-1 is not prime. Res64: 71FEC15008632C77 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:37] 817*2^1439545-1 is not prime. Res64: 3A5F67215CC03D48 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:37] 999*2^1439545-1 is not prime. Res64: FB5276BC85432140 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:38] 615*2^1439546-1 is not prime. Res64: 34E4798BB86F56C2 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:38] 743*2^1439546-1 is not prime. Res64: EF6550A4E53B38C1 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:55] 783*2^1439546-1 is not prime. Res64: DAEED1670B028B56 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:56] 857*2^1439546-1 is not prime. Res64: 499995BCE8441C05 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:56] 861*2^1439546-1 is not prime. Res64: 68A55132F0F873FF Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:56] 873*2^1439546-1 is not prime. Res64: ADC6B9EF1D462AF2 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:20:57] 981*2^1439546-1 is not prime. Res64: 5B6FC4370A6FB1B8 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:31:36] 741*2^1439547-1 is not prime. Res64: 24974BB8AB758EC5 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:31:36] 903*2^1439547-1 is not prime. Res64: ED4C7C5ABD65C276 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:31:36] 961*2^1439547-1 is not prime. Res64: 68A436914FA80579 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:31:37] 647*2^1439548-1 is not prime. Res64: C3231DA1456CCCB4 Time : 0.0 sec. user=mdettweiler [2016-09-12 05:31:37] 899*2^1439548-1 is not prime. Res64: 2FD557E3687B3FB3 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:01] 923*2^1439548-1 is not prime. Res64: AF4266F09FA5577E Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:02] 929*2^1439548-1 is not prime. Res64: 726AEE788B77DF19 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:04] 975*2^1439548-1 is not prime. Res64: 6C9D9FBDB4EF2FA8 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:05] 987*2^1439548-1 is not prime. Res64: 561648251357FDE7 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:06] 999*2^1439548-1 is not prime. Res64: 7B95ADB795B7733B Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:16] 601*2^1439549-1 is not prime. Res64: 8D7731BB6D140C78 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:18] 631*2^1439549-1 is not prime. Res64: 3D10E7C2C192A452 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:19] 675*2^1439549-1 is not prime. Res64: C434BBE3335F3FEC Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:20] 741*2^1439549-1 is not prime. Res64: BCC6A328C1DE11BF Time : 0.0 sec. user=mdettweiler [2016-09-12 06:05:21] 831*2^1439549-1 is not prime. Res64: 526AB24A2D7CFCBF Time : 0.0 sec. user=mdettweiler [2016-09-12 06:15:57] 837*2^1439549-1 is not prime. Res64: F3182D4FCE1F4B90 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:15:58] 885*2^1439549-1 is not prime. Res64: 126BC3B9BE5F6218 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:15:58] 889*2^1439549-1 is not prime. Res64: DD58CDB4030FFD72 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:15:58] 931*2^1439549-1 is not prime. Res64: 611C1FAB00DA79BB Time : 0.0 sec. user=mdettweiler [2016-09-12 06:15:59] 651*2^1439550-1 is not prime. Res64: 1A876F58BB1E9A74 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:26] 657*2^1439550-1 is not prime. Res64: C5B1660D933E03B6 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:26] 971*2^1439550-1 is not prime. Res64: 13B9CFBA7BB0DB3C Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:26] 603*2^1439551-1 is not prime. Res64: B36B7D7563F01FD1 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:27] 645*2^1439551-1 is not prime. Res64: B63290461D2367B7 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:27] 673*2^1439551-1 is not prime. Res64: 6EBA6E89485A855B Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:42] 775*2^1439551-1 is not prime. Res64: 9B93B98D3601928D Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:43] 859*2^1439551-1 is not prime. Res64: C3D046354A8DCAF2 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:43] 931*2^1439551-1 is not prime. Res64: 5DECF272AC7D24A5 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:44] 605*2^1439552-1 is not prime. Res64: 2B1BC27E237BEA76 Time : 0.0 sec. user=mdettweiler [2016-09-12 06:49:44] 615*2^1439552-1 is not prime. Res64: 9431D806DCEC65B8 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:00:17] 629*2^1439552-1 is not prime. Res64: EAA30D36B92ED734 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:00:18] 687*2^1439552-1 is not prime. Res64: C972201A952C0144 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:00:19] 713*2^1439552-1 is not prime. Res64: 40C0F287E148F6B0 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:00:19] 719*2^1439552-1 is not prime. Res64: D1EB4D1D93D9FC3A Time : 0.0 sec. user=mdettweiler [2016-09-12 07:00:20] 825*2^1439552-1 is not prime. Res64: 765B9AE163A93D7B Time : 0.0 sec. user=mdettweiler [2016-09-12 07:33:46] 609*2^1439553-1 is not prime. Res64: 28727D26AC945826 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:33:46] 691*2^1439553-1 is not prime. Res64: 2BB11C3F9C3D3BEE Time : 0.0 sec. user=mdettweiler [2016-09-12 07:33:46] 699*2^1439553-1 is not prime. Res64: ABB9B158FE68D2AA Time : 0.0 sec. user=mdettweiler [2016-09-12 07:33:47] 727*2^1439553-1 is not prime. Res64: A35FB10BC48F08B8 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:33:47] 751*2^1439553-1 is not prime. Res64: 5BC74716642C5356 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:34:01] 819*2^1439553-1 is not prime. Res64: B4CA6241E2F74DF1 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:34:01] 849*2^1439553-1 is not prime. Res64: ADD7C8CD473C6A95 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:34:01] 891*2^1439553-1 is not prime. Res64: BD09ED0DA8DCB8FC Time : 0.0 sec. user=mdettweiler [2016-09-12 07:34:02] 949*2^1439553-1 is not prime. Res64: 78A07270AB2A46C5 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:34:02] 999*2^1439553-1 is not prime. Res64: 3AB8B8E8219E1491 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:44:39] 611*2^1439554-1 is not prime. Res64: AC60B54BD909D0B1 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:44:39] 623*2^1439554-1 is not prime. Res64: C317DC0BB6232C17 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:44:39] 677*2^1439554-1 is not prime. Res64: 8F5C998970A2200B Time : 0.0 sec. user=mdettweiler [2016-09-12 07:44:40] 687*2^1439554-1 is not prime. Res64: AD6DB03E00DD5784 Time : 0.0 sec. user=mdettweiler [2016-09-12 07:44:40] 773*2^1439554-1 is not prime. Res64: 42BB19ECDDE5BF8E Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:05] 783*2^1439554-1 is not prime. Res64: 31B1FB500E31730F Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:05] 951*2^1439554-1 is not prime. Res64: FA41B83576F0F42D Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:05] 693*2^1439555-1 is not prime. Res64: 6D3A748F84F4F00B Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:06] 705*2^1439555-1 is not prime. Res64: 4198078446406182 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:06] 843*2^1439555-1 is not prime. Res64: A124154482CB6A93 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:18] 859*2^1439555-1 is not prime. Res64: 51762A8839232BA5 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:19] 883*2^1439555-1 is not prime. Res64: C67E2ED4D9BCF19F Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:19] 963*2^1439555-1 is not prime. Res64: 9E7F248B0C138ACD Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:20] 979*2^1439555-1 is not prime. Res64: 63B3ED7F150F30EA Time : 0.0 sec. user=mdettweiler [2016-09-12 08:18:20] 609*2^1439556-1 is not prime. Res64: DB5113C626CF0058 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:28:55] 615*2^1439556-1 is not prime. Res64: 858D1D0B92C6B478 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:28:56] 873*2^1439556-1 is not prime. Res64: E624CD63075C5C38 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:28:56] 875*2^1439556-1 is not prime. Res64: AD87695184FF34F4 Time : 0.0 sec. user=mdettweiler [2016-09-12 08:28:57] 927*2^1439556-1 is not prime. Res64: A12ED7E80FD68AEE Time : 0.0 sec. user=mdettweiler [2016-09-12 08:28:57] 615*2^1439557-1 is not prime. Res64: CC3071E4A83F6D92 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:24] 747*2^1439557-1 is not prime. Res64: 5F1D6EC7BACA8300 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:26] 759*2^1439557-1 is not prime. Res64: 020AA98D2683C90C Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:26] 771*2^1439557-1 is not prime. Res64: 9726F1CDF9249334 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:27] 825*2^1439557-1 is not prime. Res64: 8B35DE9C2FFED493 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:28] 871*2^1439557-1 is not prime. Res64: D34382246CFE530E Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:37] 937*2^1439557-1 is not prime. Res64: F9F49B394762B06F Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:37] 683*2^1439558-1 is not prime. Res64: 34DDD7755FCC8CC7 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:38] 831*2^1439558-1 is not prime. Res64: 4499C020671BCCD2 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:38] 857*2^1439558-1 is not prime. Res64: C2B1ECD1282834DA Time : 0.0 sec. user=mdettweiler [2016-09-12 09:02:39] 935*2^1439558-1 is not prime. Res64: 4F4A8DCB6F90F6C0 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:13:18] 619*2^1439559-1 is not prime. Res64: 9CF90705DDF655D2 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:13:18] 663*2^1439559-1 is not prime. Res64: 0859C5A3E6E8B8DD Time : 0.0 sec. user=mdettweiler [2016-09-12 09:13:19] 679*2^1439559-1 is not prime. Res64: 876B9815794BA4C4 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:13:19] 775*2^1439559-1 is not prime. Res64: 2E67216C6CCA05F7 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:13:20] 973*2^1439559-1 is not prime. Res64: DDC8EF7194262BDA Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:45] 713*2^1439560-1 is not prime. Res64: BF1E6E854E5677E4 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:45] 785*2^1439560-1 is not prime. Res64: 9CF2A56174E96EBB Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:46] 917*2^1439560-1 is not prime. Res64: C3CC9A9421CDFC73 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:46] 615*2^1439561-1 is not prime. Res64: 0F4112430E3C760D Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:46] 645*2^1439561-1 is not prime. Res64: C3D03296E0583A99 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:56] 651*2^1439561-1 is not prime. Res64: 67645930911AF75D Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:57] 685*2^1439561-1 is not prime. Res64: 535148AD7FDDADB8 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:57] 683*2^1439562-1 is not prime. Res64: 24ACC4F10B1D6C44 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:57] 777*2^1439562-1 is not prime. Res64: 02B7BDDC4872F735 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:46:58] 891*2^1439562-1 is not prime. Res64: F0EDC2011F6A9B17 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:57:39] 951*2^1439562-1 is not prime. Res64: 7D98E0E39ED23945 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:57:39] 691*2^1439563-1 is not prime. Res64: B8C07379F455691B Time : 0.0 sec. user=mdettweiler [2016-09-12 09:57:40] 853*2^1439563-1 is not prime. Res64: 9DAB2C6DA76E0D38 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:57:40] 665*2^1439564-1 is not prime. Res64: 3B5C8D6AE73FB1C4 Time : 0.0 sec. user=mdettweiler [2016-09-12 09:57:41] 683*2^1439564-1 is not prime. Res64: 0E720E8AC29E5C71 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:03] 657*2^1439565-1 is not prime. Res64: 574A9E5EF0EA4D4B Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:03] 679*2^1439565-1 is not prime. Res64: 0F71A723733AD851 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:04] 717*2^1439565-1 is not prime. Res64: 78457428E361F1ED Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:04] 777*2^1439565-1 is not prime. Res64: F804BC85459C7248 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:04] 867*2^1439565-1 is not prime. Res64: E3B10B431B4BE530 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:13] 635*2^1439566-1 is not prime. Res64: A8B6B3A5F73F1400 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:14] 651*2^1439566-1 is not prime. Res64: B06B42F942838D39 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:14] 657*2^1439566-1 is not prime. Res64: 35D0A568AEE8FF83 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:14] 675*2^1439566-1 is not prime. Res64: D0322BA0BCE28D47 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:31:15] 911*2^1439566-1 is not prime. Res64: 78A2005BD22E0A0A Time : 0.0 sec. user=mdettweiler [2016-09-12 10:41:56] 711*2^1439567-1 is not prime. Res64: 39F67DE636649CF0 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:41:57] 735*2^1439567-1 is not prime. Res64: C058F90F8D8A0D06 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:41:57] 909*2^1439567-1 is not prime. Res64: E8398A16ACA28A78 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:41:57] 663*2^1439568-1 is not prime. Res64: 85908C178A768383 Time : 0.0 sec. user=mdettweiler [2016-09-12 10:41:58] 705*2^1439568-1 is not prime. Res64: 6695C88342D00847 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:20] 725*2^1439568-1 is not prime. Res64: E7464E4DF1D28028 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:20] 773*2^1439568-1 is not prime. Res64: C63F6E4AC2BB2D38 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:20] 933*2^1439568-1 is not prime. Res64: D1E4EA5A9C400171 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:21] 601*2^1439569-1 is not prime. Res64: B77394FD1C266973 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:21] 679*2^1439569-1 is not prime. Res64: A31348F6C2C29968 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:31] 687*2^1439569-1 is not prime. Res64: 7B524D81C7F14964 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:32] 705*2^1439569-1 is not prime. Res64: 6BDDA15D2A3FA7AF Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:32] 765*2^1439569-1 is not prime. Res64: 143C85DCE128155F Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:32] 867*2^1439569-1 is not prime. Res64: 655A1883E6A80064 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:15:33] 897*2^1439569-1 is not prime. Res64: 3D12F43223FFFEE1 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:26:15] 919*2^1439569-1 is not prime. Res64: BE08E16CF8E28D87 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:26:16] 955*2^1439569-1 is not prime. Res64: A9599A49876E9612 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:26:16] 641*2^1439570-1 is not prime. Res64: 2D1813518FDD1010 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:26:16] 675*2^1439570-1 is not prime. Res64: 0ACC05917A84727D Time : 0.0 sec. user=mdettweiler [2016-09-12 11:26:17] 797*2^1439570-1 is not prime. Res64: BAD02774020ED102 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:38] 915*2^1439570-1 is not prime. Res64: BC520376EA5F13EE Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:38] 769*2^1439571-1 is not prime. Res64: 8A4C2A4621B6D4E8 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:38] 795*2^1439571-1 is not prime. Res64: E0E154EFDB82FEBE Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:39] 873*2^1439571-1 is not prime. Res64: 2F692480A0F07DB8 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:39] 615*2^1439572-1 is not prime. Res64: A96DFC12C257FC05 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:47] 705*2^1439572-1 is not prime. Res64: DBA843BC5B061E63 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:47] 723*2^1439572-1 is not prime. Res64: 0994CB163DA3A3FE Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:48] 735*2^1439572-1 is not prime. Res64: 6A9D558A03E7FD67 Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:48] 875*2^1439572-1 is not prime. Res64: 8D3E7A58B3F8AF8D Time : 0.0 sec. user=mdettweiler [2016-09-12 11:59:48] 909*2^1439572-1 is not prime. Res64: FDCAD544338F8853 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:10:33] 715*2^1439573-1 is not prime. Res64: 2D5E698ABDA6B88A Time : 0.0 sec. user=mdettweiler [2016-09-12 12:10:37] 781*2^1439573-1 is not prime. Res64: 02D3338B55BE673B Time : 0.0 sec. user=mdettweiler [2016-09-12 12:10:39] 787*2^1439573-1 is not prime. Res64: 60FB4202AF486D45 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:10:41] 945*2^1439573-1 is not prime. Res64: EAD39FDFEFBBFA14 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:10:44] 683*2^1439574-1 is not prime. Res64: 01714CC2787716ED Time : 0.0 sec. user=mdettweiler [2016-09-12 12:43:56] 725*2^1439574-1 is not prime. Res64: 94480F9354A99E9A Time : 0.0 sec. user=mdettweiler [2016-09-12 12:43:56] 821*2^1439574-1 is not prime. Res64: BC70F9F3B379ECC1 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:43:56] 945*2^1439574-1 is not prime. Res64: A0614C81DDFFC072 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:43:57] 947*2^1439574-1 is not prime. Res64: D8CC968AAA28B019 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:43:57] 971*2^1439574-1 is not prime. Res64: 859CBCCFEAC3401F Time : 0.0 sec. user=mdettweiler [2016-09-12 12:44:09] 693*2^1439575-1 is not prime. Res64: 18864C5D2B88C7DD Time : 0.0 sec. user=mdettweiler [2016-09-12 12:44:09] 709*2^1439575-1 is not prime. Res64: 3F7E2B4785E37297 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:44:10] 735*2^1439575-1 is not prime. Res64: EB280A7663796836 Time : 0.0 sec. user=mdettweiler [2016-09-12 12:44:10] 759*2^1439575-1 is not prime. Res64: 4CCA09C7FDD5E77B Time : 0.0 sec. user=mdettweiler [2016-09-12 12:44:10] 843*2^1439575-1 is not prime. Res64: DC4184283F5AAF1A Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:39] 699*2^1439577-1 is not prime. Res64: EE70E77DB36EF3BC Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:40] 717*2^1439577-1 is not prime. Res64: CC51198D139DE0CC Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:40] 807*2^1439577-1 is not prime. Res64: 679E1C9455011ACC Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:40] 837*2^1439577-1 is not prime. Res64: BCE20B4B134B9D95 Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:41] 611*2^1439578-1 is not prime. Res64: D05405DEC89ECDE0 Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:57] 633*2^1439578-1 is not prime. Res64: F1E6FA8A474462BB Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:58] 663*2^1439578-1 is not prime. Res64: C5F629984FC5CB73 Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:58] 671*2^1439578-1 is not prime. Res64: 4B669F6A0847ED9A Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:58] 707*2^1439578-1 is not prime. Res64: 7F85C5D402BF4EFC Time : 0.0 sec. user=mdettweiler [2016-09-12 13:28:59] 831*2^1439578-1 is not prime. Res64: 55FD50AAD249BDB9 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:13:38] 857*2^1439578-1 is not prime. Res64: 0B4DF4000999DB9A Time : 0.0 sec. user=mdettweiler [2016-09-12 14:13:38] 933*2^1439578-1 is not prime. Res64: E4249B13699752FA Time : 0.0 sec. user=mdettweiler [2016-09-12 14:13:39] 957*2^1439578-1 is not prime. Res64: 172FF8D220291C7D Time : 0.0 sec. user=mdettweiler [2016-09-12 14:13:39] 655*2^1439579-1 is not prime. Res64: 4B70A587559B60D4 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:13:39] 669*2^1439579-1 is not prime. Res64: A9DF76363FA8D9FB Time : 0.0 sec. user=mdettweiler [2016-09-12 14:14:01] 735*2^1439579-1 is not prime. Res64: 082E481315D85CA3 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:14:01] 801*2^1439579-1 is not prime. Res64: D428F43173FF2EE6 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:14:02] 819*2^1439579-1 is not prime. Res64: 06CE71F079144B89 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:14:02] 859*2^1439579-1 is not prime. Res64: 35E68500EB6B6546 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:14:03] 861*2^1439579-1 is not prime. Res64: FF656E3DC95E6BEA Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:38] 939*2^1439579-1 is not prime. Res64: 532913471D0971E3 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:39] 633*2^1439580-1 is not prime. Res64: 0A183943D19C3B27 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:39] 665*2^1439580-1 is not prime. Res64: B46EF38E0145D216 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:40] 675*2^1439580-1 is not prime. Res64: 3BF1AA78B7A0C82B Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:40] 759*2^1439580-1 is not prime. Res64: 12543D530E8AC470 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:58] 965*2^1439580-1 is not prime. Res64: 3CE0AC07CBA80368 Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:58] 975*2^1439580-1 is not prime. Res64: 52D4352D5987D59E Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:59] 987*2^1439580-1 is not prime. Res64: F1CC7FF05B5015DA Time : 0.0 sec. user=mdettweiler [2016-09-12 14:58:59] 607*2^1439581-1 is not prime. Res64: 567107D834BE5F4A Time : 0.0 sec. user=mdettweiler [2016-09-12 14:59:00] 625*2^1439581-1 is not prime. Res64: FCBFACBF47DAFD81 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:37] 811*2^1439353-1 is not prime. Res64: 791A65DA9061772B Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:38] 847*2^1439353-1 is not prime. Res64: FC5D6E9176B74BF6 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:38] 861*2^1439353-1 is not prime. Res64: 85D82D877E81D4A7 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:39] 925*2^1439353-1 is not prime. Res64: 124CA207923A57D1 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:39] 951*2^1439353-1 is not prime. Res64: 1D4D7105734B1F47 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:58] 649*2^1439581-1 is not prime. Res64: 553ADBED6FD4A42E Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:58] 741*2^1439581-1 is not prime. Res64: F4FD2B4A36B4779F Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:59] 751*2^1439581-1 is not prime. Res64: FDCD422CA4EB38A2 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:59] 867*2^1439581-1 is not prime. Res64: 007EF54788BB2998 Time : 0.0 sec. user=mdettweiler [2016-09-12 15:43:59] 889*2^1439581-1 is not prime. Res64: F17F5F574AB73CF9 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:35] 945*2^1439581-1 is not prime. Res64: 001E084CB8AA0F03 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:36] 979*2^1439581-1 is not prime. Res64: C85D8D440B780D54 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:36] 623*2^1439582-1 is not prime. Res64: C936EF831A68382D Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:37] 635*2^1439582-1 is not prime. Res64: BB4906AE34FF3A06 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:37] 651*2^1439582-1 is not prime. Res64: 0FCCF9995EB77FF5 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:52] 801*2^1439582-1 is not prime. Res64: 3B12D10FAC329114 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:52] 951*2^1439582-1 is not prime. Res64: BADDF2B22F2F4969 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:52] 977*2^1439582-1 is not prime. Res64: 200C0DB48783D1B7 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:53] 669*2^1439583-1 is not prime. Res64: 15C8EEB869257FB9 Time : 0.0 sec. user=mdettweiler [2016-09-12 16:28:53] 705*2^1439583-1 is not prime. Res64: DE118B279960A162 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:39] 751*2^1439583-1 is not prime. Res64: 773E89E265C2E522 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:40] 783*2^1439583-1 is not prime. Res64: 8CAC0CDB36D6AC15 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:40] 951*2^1439583-1 is not prime. Res64: F7A40C9A97E9C73F Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:41] 963*2^1439583-1 is not prime. Res64: A9B547AB0A609B06 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:41] 819*2^1439584-1 is not prime. Res64: 557371E7AFB3617A Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:50] 849*2^1439584-1 is not prime. Res64: 72F91BED810CD526 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:50] 929*2^1439584-1 is not prime. Res64: F6E50C7B3D669D95 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:51] 983*2^1439584-1 is not prime. Res64: BEE69387FBE2DCB3 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:51] 989*2^1439584-1 is not prime. Res64: 67174458AC6994ED Time : 0.0 sec. user=mdettweiler [2016-09-12 17:13:52] 607*2^1439585-1 is not prime. Res64: 341FB75576A2CF3E Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:39] 649*2^1439585-1 is not prime. Res64: 6268422C19E2D7BF Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:39] 669*2^1439585-1 is not prime. Res64: 79455544B51BDB23 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:40] 735*2^1439585-1 is not prime. Res64: 486EC9AFB61E68D4 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:40] 897*2^1439585-1 is not prime. Res64: 52BCF8F0799EB1A8 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:40] 907*2^1439585-1 is not prime. Res64: D1BEA4C8571765D7 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:45] 937*2^1439585-1 is not prime. Res64: CDC4F4907F8E5406 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:46] 991*2^1439585-1 is not prime. Res64: 61A8B0FD37F32DE7 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:46] 627*2^1439586-1 is not prime. Res64: 9312F7BCB3CD5991 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:47] 633*2^1439586-1 is not prime. Res64: 909770BF0237D768 Time : 0.0 sec. user=mdettweiler [2016-09-12 17:58:47] 737*2^1439586-1 is not prime. Res64: CC874269E5D6BB54 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:45] 741*2^1439586-1 is not prime. Res64: 906BFE10CADC0222 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:46] 765*2^1439586-1 is not prime. Res64: E2541506C39D1F46 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:46] 807*2^1439586-1 is not prime. Res64: 23D1088C98DE4BCE Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:47] 921*2^1439586-1 is not prime. Res64: C691361E4BF272E9 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:47] 993*2^1439586-1 is not prime. Res64: 62A433316C8FDEF6 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:48] 663*2^1439587-1 is not prime. Res64: B40B80009845EA7A Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:49] 691*2^1439587-1 is not prime. Res64: F0DF0E905B59AC83 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:49] 693*2^1439587-1 is not prime. Res64: F3465049B87DD30F Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:49] 733*2^1439587-1 is not prime. Res64: 5D50269D45B813C2 Time : 0.0 sec. user=mdettweiler [2016-09-12 18:43:50] 793*2^1439587-1 is not prime. Res64: 249AD85ABF4CA010 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:48] 659*2^1439588-1 is not prime. Res64: EC5A41ABCB361184 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:49] 725*2^1439588-1 is not prime. Res64: 10F9B539ACBDBB8C Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:49] 839*2^1439588-1 is not prime. Res64: 0D48A4B308EF5B52 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:49] 875*2^1439588-1 is not prime. Res64: 093FB515B621591E Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:50] 893*2^1439588-1 is not prime. Res64: 8AEB11F91A59A78A Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:50] 813*2^1439587-1 is not prime. Res64: D3E25AC934B6FC7B Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:50] 861*2^1439587-1 is not prime. Res64: D7F4A5565226A72A Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:51] 951*2^1439587-1 is not prime. Res64: 30144D678A370927 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:51] 615*2^1439588-1 is not prime. Res64: 6D46C6088AEBB621 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:28:52] 623*2^1439588-1 is not prime. Res64: A6F95DB24D28C819 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:36:18] 909*2^1439575-1 is not prime. Res64: C2C2535393558DED Time : 0.0 sec. user=mdettweiler [2016-09-12 19:36:18] 629*2^1439576-1 is not prime. Res64: 6DCECCCEE6BD57AE Time : 0.0 sec. user=mdettweiler [2016-09-12 19:36:18] 935*2^1439576-1 is not prime. Res64: 7F579421008F5870 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:36:19] 999*2^1439576-1 is not prime. Res64: BC3E8DC302718BD4 Time : 0.0 sec. user=mdettweiler [2016-09-12 19:36:19] 627*2^1439577-1 is not prime. Res64: 4637D31BC76B9E56 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:15] 969*2^1439588-1 is not prime. Res64: 2D083601236DC43A Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:16] 621*2^1439589-1 is not prime. Res64: B99525EF9986169C Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:16] 711*2^1439589-1 is not prime. Res64: AFD264BFD914611A Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:16] 847*2^1439589-1 is not prime. Res64: 522A2F038D219F8D Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:17] 885*2^1439589-1 is not prime. Res64: AA2FC6E0ABBBB211 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:18] 945*2^1439589-1 is not prime. Res64: 1BDC7B9AB272C20C Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:18] 635*2^1439590-1 is not prime. Res64: FA55111AEC180BC4 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:18] 665*2^1439590-1 is not prime. Res64: 8958258AAA35211F Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:19] 723*2^1439590-1 is not prime. Res64: DE80E5FC7A01A3FA Time : 0.0 sec. user=mdettweiler [2016-09-12 20:13:19] 791*2^1439590-1 is not prime. Res64: E963363147E73C2E Time : 0.0 sec. user=mdettweiler [2016-09-12 20:20:39] 827*2^1439590-1 is not prime. Res64: 6C50486BF80271D3 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:20:40] 831*2^1439590-1 is not prime. Res64: 6480494CCF5DE282 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:20:40] 833*2^1439590-1 is not prime. Res64: D7F51B1C5B632DCE Time : 0.0 sec. user=mdettweiler [2016-09-12 20:20:40] 951*2^1439590-1 is not prime. Res64: 23F84483AC826FEE Time : 0.0 sec. user=mdettweiler [2016-09-12 20:20:41] 987*2^1439590-1 is not prime. Res64: 7829DB9DF0AC5912 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:35] 603*2^1439591-1 is not prime. Res64: 7C84066B05B7DD51 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:35] 609*2^1439591-1 is not prime. Res64: 438999EDF427FBE4 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:36] 621*2^1439591-1 is not prime. Res64: 5C75A66A09352C17 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:36] 663*2^1439591-1 is not prime. Res64: BCC9AD3CDD92F825 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:36] 679*2^1439591-1 is not prime. Res64: FB3F70C5A5F811CF Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:40] 753*2^1439591-1 is not prime. Res64: 3D0BF6E9FD26226D Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:40] 789*2^1439591-1 is not prime. Res64: 1626B1EDD3DA5622 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:41] 813*2^1439591-1 is not prime. Res64: 4660D3F1EE732942 Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:41] 825*2^1439591-1 is not prime. Res64: B2E49D79EF0D931D Time : 0.0 sec. user=mdettweiler [2016-09-12 20:57:41] 855*2^1439591-1 is not prime. Res64: B235D980816FD38C Time : 0.0 sec. user=mdettweiler [2016-09-12 21:05:01] 969*2^1439591-1 is not prime. Res64: 7A047420C91BF6D0 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:05:04] 635*2^1439592-1 is not prime. Res64: EF4EC9A67EF3172D Time : 0.0 sec. user=mdettweiler [2016-09-12 21:05:06] 653*2^1439592-1 is not prime. Res64: 25AEBFCF97AAEE75 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:05:08] 719*2^1439592-1 is not prime. Res64: E031A378B916EF9E Time : 0.0 sec. user=mdettweiler [2016-09-12 21:05:10] 797*2^1439592-1 is not prime. Res64: 29C2AE1016BB5943 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:41:52] 825*2^1439592-1 is not prime. Res64: FCC050F784B8ECC6 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:41:53] 837*2^1439592-1 is not prime. Res64: C9B9263EAD0FD276 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:41:53] 863*2^1439592-1 is not prime. Res64: FD31562FFAC793A4 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:41:53] 879*2^1439592-1 is not prime. Res64: CF49C686B005081D Time : 0.0 sec. user=mdettweiler [2016-09-12 21:41:54] 887*2^1439592-1 is not prime. Res64: 5F92213AD587F94C Time : 0.0 sec. user=mdettweiler [2016-09-12 21:42:00] 893*2^1439592-1 is not prime. Res64: 7EB231AC9B48B090 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:42:01] 983*2^1439592-1 is not prime. Res64: 762111960F57DB7E Time : 0.0 sec. user=mdettweiler [2016-09-12 21:42:01] 615*2^1439593-1 is not prime. Res64: E00E404E95E00698 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:42:02] 741*2^1439593-1 is not prime. Res64: 963ABFCFA5D88108 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:42:02] 651*2^1439594-1 is not prime. Res64: D89B33F99312E7F5 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:49:51] 657*2^1439594-1 is not prime. Res64: 42223186BC2B8749 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:49:52] 671*2^1439594-1 is not prime. Res64: 7845ECC1FE3F744F Time : 0.0 sec. user=mdettweiler [2016-09-12 21:49:52] 683*2^1439594-1 is not prime. Res64: FC8395F7468A51F1 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:49:53] 755*2^1439594-1 is not prime. Res64: AA4884B738A634D1 Time : 0.0 sec. user=mdettweiler [2016-09-12 21:49:53] 773*2^1439594-1 is not prime. Res64: 81EF47FA22FE2643 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:11] 1001*2^1439594-1 is not prime. Res64: 70678B2307AC9C0A Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:11] 639*2^1439595-1 is not prime. Res64: B30240DA84545971 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:12] 679*2^1439595-1 is not prime. Res64: 79D4A55FD022B1F2 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:12] 751*2^1439595-1 is not prime. Res64: 9CA93B47FBEB6464 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:12] 825*2^1439595-1 is not prime. Res64: B8BCA9945E5A365D Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:24] 891*2^1439595-1 is not prime. Res64: E5F3DD23A6883C5B Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:24] 921*2^1439595-1 is not prime. Res64: DD797DF95A996A2F Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:24] 609*2^1439596-1 is not prime. Res64: 72BB16B06B41A142 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:25] 623*2^1439596-1 is not prime. Res64: C84AC58B6DFFEDF2 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:26:25] 639*2^1439596-1 is not prime. Res64: 0B571D95E9D768D3 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:34:09] 689*2^1439596-1 is not prime. Res64: 880DDC2A70EA68E2 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:34:09] 855*2^1439596-1 is not prime. Res64: B3AB32EAAE10D508 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:34:10] 873*2^1439596-1 is not prime. Res64: 1E08CBDD8D3B255D Time : 0.0 sec. user=mdettweiler [2016-09-12 22:34:10] 903*2^1439596-1 is not prime. Res64: 5394791F71CFFD30 Time : 0.0 sec. user=mdettweiler [2016-09-12 22:34:11] 909*2^1439596-1 is not prime. Res64: 50C8EE3123751F0E Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:31] 975*2^1439596-1 is not prime. Res64: C641AF8C8FE7F216 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:31] 999*2^1439596-1 is not prime. Res64: 0BACF1EAD66D0711 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:32] 607*2^1439597-1 is not prime. Res64: AFBD3DD290F31B2B Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:32] 795*2^1439597-1 is not prime. Res64: 702201657C6B4623 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:33] 819*2^1439597-1 is not prime. Res64: AD26F829B41ED48D Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:41] 879*2^1439597-1 is not prime. Res64: C7A22FFCA3567ADB Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:42] 981*2^1439597-1 is not prime. Res64: 49E51B0C936452FA Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:42] 621*2^1439598-1 is not prime. Res64: C64B999030AC371A Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:43] 635*2^1439598-1 is not prime. Res64: DEEA0C43E22FDF97 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:10:43] 641*2^1439598-1 is not prime. Res64: 54E577D8619277F8 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:18:29] 671*2^1439598-1 is not prime. Res64: 6844E6958E999B8C Time : 0.0 sec. user=mdettweiler [2016-09-12 23:18:29] 695*2^1439598-1 is not prime. Res64: 8049F4638524AD15 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:18:30] 707*2^1439598-1 is not prime. Res64: 751916DC9AEF39FA Time : 0.0 sec. user=mdettweiler [2016-09-12 23:18:30] 797*2^1439598-1 is not prime. Res64: 0AAB8501C8719394 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:18:31] 821*2^1439598-1 is not prime. Res64: DC3E37260611BB05 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:54:51] 921*2^1439598-1 is not prime. Res64: 53D76E83B484CED8 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:54:52] 685*2^1439599-1 is not prime. Res64: E33E9A293CA198EF Time : 0.0 sec. user=mdettweiler [2016-09-12 23:54:52] 745*2^1439599-1 is not prime. Res64: FE4109170B272351 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:54:52] 831*2^1439599-1 is not prime. Res64: 7B6FCE604083B574 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:54:53] 909*2^1439599-1 is not prime. Res64: 973FF02E7D0AFF2E Time : 0.0 sec. user=mdettweiler [2016-09-12 23:55:01] 975*2^1439599-1 is not prime. Res64: D639C553F6ECE8EB Time : 0.0 sec. user=mdettweiler [2016-09-12 23:55:01] 993*2^1439599-1 is not prime. Res64: DD6F4892736371B3 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:55:02] 659*2^1439600-1 is not prime. Res64: 80008889A29CAD61 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:55:02] 899*2^1439600-1 is not prime. Res64: 9B74509FEA4F23E5 Time : 0.0 sec. user=mdettweiler [2016-09-12 23:55:02] 935*2^1439600-1 is not prime. Res64: B236AABAA337C966 Time : 0.0 sec.