user=mdettweiler [2017-05-20 00:12:33] 781*2^1454433-1 is not prime. Res64: C311780A102254C3 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:12:33] 937*2^1454433-1 is not prime. Res64: 5FC6D769BD45799F Time : 0.0 sec. user=mdettweiler [2017-05-20 00:12:33] 985*2^1454433-1 is not prime. Res64: 13DDFD5A53B8FB9B Time : 0.0 sec. user=mdettweiler [2017-05-20 00:12:34] 635*2^1454434-1 is not prime. Res64: 54A0CE715C74E8E9 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:12:34] 731*2^1454434-1 is not prime. Res64: 90F606F98E038CD3 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:28:12] 765*2^1454434-1 is not prime. Res64: BFC941054192C03E Time : 0.0 sec. user=mdettweiler [2017-05-20 00:28:13] 815*2^1454434-1 is not prime. Res64: 5F3CB544B2353ADA Time : 0.0 sec. user=mdettweiler [2017-05-20 00:28:13] 857*2^1454434-1 is not prime. Res64: 2BEAC32C6DC36276 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:28:13] 861*2^1454434-1 is not prime. Res64: 15621C47F41CCF7E Time : 0.0 sec. user=mdettweiler [2017-05-20 00:28:14] 903*2^1454434-1 is not prime. Res64: 1F0C03C97AE69C00 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:37:46] 971*2^1454434-1 is not prime. Res64: D5C2DAD842EDBF75 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:37:46] 983*2^1454434-1 is not prime. Res64: 47FD2E27FB26761E Time : 0.0 sec. user=mdettweiler [2017-05-20 00:37:46] 685*2^1454435-1 is not prime. Res64: 7B699FED60216330 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:37:47] 883*2^1454435-1 is not prime. Res64: EF61A875245C1D74 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:37:47] 985*2^1454435-1 is not prime. Res64: 21988F424A3263A7 Time : 0.0 sec. user=juhehe [2017-05-20 00:39:14] 651*2^1454437-1 is not prime. Res64: F0B2D4581F818C44 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:40:23] 699*2^1454436-1 is not prime. Res64: 7A030F1D2EB67149 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:40:24] 737*2^1454436-1 is not prime. Res64: 0C3957D9838E190E Time : 0.0 sec. user=mdettweiler [2017-05-20 00:40:24] 759*2^1454436-1 is not prime. Res64: 4332E0649085E311 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:40:24] 845*2^1454436-1 is not prime. Res64: D6A906434D167DC9 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:40:24] 975*2^1454436-1 is not prime. Res64: 8D601371639C6E63 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:58:14] 667*2^1454437-1 is not prime. Res64: F5434605D3E0B5B7 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:58:15] 757*2^1454437-1 is not prime. Res64: 18ECE760A235A341 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:58:15] 765*2^1454437-1 is not prime. Res64: D6E239147729A0AE Time : 0.0 sec. user=mdettweiler [2017-05-20 00:58:15] 777*2^1454437-1 is not prime. Res64: 6F4C3362A4BB0143 Time : 0.0 sec. user=mdettweiler [2017-05-20 00:58:16] 819*2^1454437-1 is not prime. Res64: 50720634A0545A8D Time : 0.0 sec. user=mdettweiler [2017-05-20 01:13:53] 915*2^1454437-1 is not prime. Res64: F140DD1C30D9E77A Time : 0.0 sec. user=mdettweiler [2017-05-20 01:13:54] 931*2^1454437-1 is not prime. Res64: 7C2D0F21564DBAA4 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:13:55] 939*2^1454437-1 is not prime. Res64: C75DA525DB32AA1B Time : 0.0 sec. user=mdettweiler [2017-05-20 01:13:55] 743*2^1454438-1 is not prime. Res64: 608C0522D5D4A83F Time : 0.0 sec. user=mdettweiler [2017-05-20 01:13:56] 795*2^1454438-1 is not prime. Res64: D5746F0B448349D8 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:23:20] 857*2^1454438-1 is not prime. Res64: BABE452436B8CFA2 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:23:20] 945*2^1454438-1 is not prime. Res64: D84AF2F73F3049CD Time : 0.0 sec. user=mdettweiler [2017-05-20 01:23:20] 613*2^1454439-1 is not prime. Res64: 4CFC22C487835515 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:23:20] 621*2^1454439-1 is not prime. Res64: 2E465387277C8EEF Time : 0.0 sec. user=mdettweiler [2017-05-20 01:23:21] 669*2^1454439-1 is not prime. Res64: 1FF5DC0A53EBD904 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:25:54] 973*2^1454439-1 is not prime. Res64: 2CF4394F4DC39E9D Time : 0.0 sec. user=mdettweiler [2017-05-20 01:25:55] 605*2^1454440-1 is not prime. Res64: 16B219D995BBA563 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:25:56] 609*2^1454440-1 is not prime. Res64: 9DB70645855694C2 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:25:57] 635*2^1454440-1 is not prime. Res64: FAEDDC8D48324F25 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:25:58] 653*2^1454440-1 is not prime. Res64: A9D085E2D5F4EB17 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:43:44] 713*2^1454440-1 is not prime. Res64: 97E8028DED21295D Time : 0.0 sec. user=mdettweiler [2017-05-20 01:43:44] 765*2^1454440-1 is not prime. Res64: 4F84E0305F8D2F35 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:43:45] 827*2^1454440-1 is not prime. Res64: BBDFDE13F19EB5DA Time : 0.0 sec. user=mdettweiler [2017-05-20 01:43:45] 845*2^1454440-1 is not prime. Res64: DC834541111DB931 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:43:45] 915*2^1454440-1 is not prime. Res64: 36936219E0F078AD Time : 0.0 sec. user=mdettweiler [2017-05-20 01:59:30] 923*2^1454440-1 is not prime. Res64: 4D2B53B71C42099D Time : 0.0 sec. user=mdettweiler [2017-05-20 01:59:30] 959*2^1454440-1 is not prime. Res64: 3372F3ECB55B5A7A Time : 0.0 sec. user=mdettweiler [2017-05-20 01:59:31] 631*2^1454441-1 is not prime. Res64: FAE320C38EF9BA01 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:59:31] 711*2^1454441-1 is not prime. Res64: 4B2B08A950DB3E24 Time : 0.0 sec. user=mdettweiler [2017-05-20 01:59:31] 735*2^1454441-1 is not prime. Res64: C3C1D82095544F59 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:09:05] 741*2^1454441-1 is not prime. Res64: C292C9CC632E6925 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:09:06] 885*2^1454441-1 is not prime. Res64: 0AB28550E64637B5 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:09:06] 957*2^1454441-1 is not prime. Res64: 86D585DA0FAB1D46 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:09:06] 997*2^1454441-1 is not prime. Res64: 145D36BF9AD8FCF0 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:09:06] 705*2^1454442-1 is not prime. Res64: B49E24618DA4FF05 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:11:28] 741*2^1454442-1 is not prime. Res64: 4C18637978EA74D6 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:11:28] 791*2^1454442-1 is not prime. Res64: 2EC4E9D62DD37664 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:11:28] 963*2^1454442-1 is not prime. Res64: 5723B98B0D7B6EF6 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:11:29] 977*2^1454442-1 is not prime. Res64: 41A85C59544A5E75 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:11:29] 681*2^1454443-1 is not prime. Res64: D487733AFB2F0F95 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:29:20] 741*2^1454443-1 is not prime. Res64: 72BC2A0BD37D1B8E Time : 0.0 sec. user=mdettweiler [2017-05-20 02:29:20] 789*2^1454443-1 is not prime. Res64: 26EB9B7F3DAECBA0 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:29:21] 677*2^1454444-1 is not prime. Res64: A2AF968BAECE819F Time : 0.0 sec. user=mdettweiler [2017-05-20 02:29:21] 767*2^1454444-1 is not prime. Res64: AE514BD4B97B77A8 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:29:21] 785*2^1454444-1 is not prime. Res64: 899F2B008F920CB1 Time : 0.0 sec. user=juhehe [2017-05-20 02:37:52] 959*2^1454444-1 is not prime. Res64: 4DFC1D5EBB92D695 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:46:20] 727*2^1454445-1 is not prime. Res64: 7726882611909941 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:46:20] 735*2^1454445-1 is not prime. Res64: F30F0223AC1A91BA Time : 0.0 sec. user=mdettweiler [2017-05-20 02:46:21] 787*2^1454445-1 is not prime. Res64: EA0512C1AC0BAD91 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:46:21] 817*2^1454445-1 is not prime. Res64: BC5DD559ECBD058B Time : 0.0 sec. user=mdettweiler [2017-05-20 02:46:21] 825*2^1454445-1 is not prime. Res64: C03AC33634C8A502 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:56:01] 861*2^1454445-1 is not prime. Res64: 9E49E3816C4C22B8 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:56:02] 921*2^1454445-1 is not prime. Res64: 85DD5019B76EE601 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:56:02] 653*2^1454446-1 is not prime. Res64: 03E997358AA95CAB Time : 0.0 sec. user=mdettweiler [2017-05-20 02:56:02] 713*2^1454446-1 is not prime. Res64: 2594BD085C4FB36C Time : 0.0 sec. user=mdettweiler [2017-05-20 02:56:02] 813*2^1454446-1 is not prime. Res64: 34082C356C7DB355 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:58:24] 843*2^1454446-1 is not prime. Res64: F2A1F19649B8A2A1 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:58:24] 857*2^1454446-1 is not prime. Res64: AC8AB4F1A9157A2E Time : 0.0 sec. user=mdettweiler [2017-05-20 02:58:24] 923*2^1454446-1 is not prime. Res64: C790E2D6DE0E9B99 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:58:25] 987*2^1454446-1 is not prime. Res64: 6ED9477040C60C05 Time : 0.0 sec. user=mdettweiler [2017-05-20 02:58:25] 615*2^1454447-1 is not prime. Res64: 7AF3FA2CA29DE114 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:16:04] 735*2^1454447-1 is not prime. Res64: EC473988AABD582D Time : 0.0 sec. user=mdettweiler [2017-05-20 03:16:05] 759*2^1454447-1 is not prime. Res64: E522783EC42A535E Time : 0.0 sec. user=mdettweiler [2017-05-20 03:16:05] 805*2^1454447-1 is not prime. Res64: 2026AC030BFABF81 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:16:05] 813*2^1454447-1 is not prime. Res64: E37A6C7EC22F5A18 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:16:06] 843*2^1454447-1 is not prime. Res64: 66F8CD2559827245 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:32:19] 861*2^1454447-1 is not prime. Res64: FFA840B9FF66E629 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:32:20] 973*2^1454447-1 is not prime. Res64: F8084F9EBBAD74B0 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:32:22] 629*2^1454448-1 is not prime. Res64: DDDD5225193F83A3 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:32:24] 725*2^1454448-1 is not prime. Res64: E0761FC6CD898903 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:32:25] 737*2^1454448-1 is not prime. Res64: F95E37FEE3813679 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:41:53] 849*2^1454448-1 is not prime. Res64: 09B1993C9041207F Time : 0.0 sec. user=mdettweiler [2017-05-20 03:41:54] 875*2^1454448-1 is not prime. Res64: D933083B3F16FF7E Time : 0.0 sec. user=mdettweiler [2017-05-20 03:41:56] 887*2^1454448-1 is not prime. Res64: 11A353817FE7129C Time : 0.0 sec. user=mdettweiler [2017-05-20 03:41:56] 687*2^1454449-1 is not prime. Res64: 6406653EEFBAEB35 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:41:57] 909*2^1454449-1 is not prime. Res64: 799D67959415E7C7 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:44:09] 931*2^1454449-1 is not prime. Res64: 284FC7801C921A37 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:44:09] 955*2^1454449-1 is not prime. Res64: 798EE2F37A056599 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:44:10] 755*2^1454450-1 is not prime. Res64: F88DA8E23D5AFF57 Time : 0.0 sec. user=mdettweiler [2017-05-20 03:44:10] 825*2^1454450-1 is not prime. Res64: 17B02EF0235DD89F Time : 0.0 sec. user=mdettweiler [2017-05-20 03:44:11] 857*2^1454450-1 is not prime. Res64: 4804F198059CCD32 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:01:45] 917*2^1454450-1 is not prime. Res64: ED284AC26B51753A Time : 0.0 sec. user=mdettweiler [2017-05-20 04:01:46] 651*2^1454451-1 is not prime. Res64: D1190AD15B33D100 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:01:47] 789*2^1454451-1 is not prime. Res64: 0405987665A7DFDB Time : 0.0 sec. user=mdettweiler [2017-05-20 04:01:48] 943*2^1454451-1 is not prime. Res64: 42B73D8CA414C72B Time : 0.0 sec. user=mdettweiler [2017-05-20 04:01:48] 603*2^1454452-1 is not prime. Res64: AB6C516AF0D28418 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:18:25] 609*2^1454452-1 is not prime. Res64: 4A464E04919D3D04 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:18:25] 639*2^1454452-1 is not prime. Res64: FE7BAB100E5D3698 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:18:25] 675*2^1454452-1 is not prime. Res64: C0BB5C0B12F6BE7F Time : 0.0 sec. user=mdettweiler [2017-05-20 04:18:25] 705*2^1454452-1 is not prime. Res64: 23DEFFE3C2DAD2B4 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:18:26] 827*2^1454452-1 is not prime. Res64: 996DFB52F4579074 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:27:47] 863*2^1454452-1 is not prime. Res64: A05D96F20328FFA9 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:27:47] 929*2^1454452-1 is not prime. Res64: D3FEC09F0925D1D2 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:27:47] 619*2^1454453-1 is not prime. Res64: BCB92D43124B293A Time : 0.0 sec. user=mdettweiler [2017-05-20 04:27:48] 657*2^1454453-1 is not prime. Res64: 8D7E1B7AD6D0A60A Time : 0.0 sec. user=mdettweiler [2017-05-20 04:27:48] 721*2^1454453-1 is not prime. Res64: E7B513F32EB55481 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:29:51] 759*2^1454453-1 is not prime. Res64: 2CBBF3F4F490F1D6 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:29:51] 789*2^1454453-1 is not prime. Res64: E8D7F81C093DCEF5 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:29:51] 879*2^1454453-1 is not prime. Res64: 27974EDABF18EFDF Time : 0.0 sec. user=mdettweiler [2017-05-20 04:29:52] 981*2^1454453-1 is not prime. Res64: D8C6CF77C27FBBBD Time : 0.0 sec. user=mdettweiler [2017-05-20 04:29:52] 985*2^1454453-1 is not prime. Res64: F94D6B4658E04724 Time : 0.0 sec. user=juhehe [2017-05-20 04:37:33] 987*2^1454453-1 is not prime. Res64: 43A82D941E738FC3 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:47:10] 693*2^1454454-1 is not prime. Res64: 43F7D8EB0E3ECEC0 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:47:11] 765*2^1454454-1 is not prime. Res64: 97EAE0CD8F7A5E45 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:47:11] 885*2^1454454-1 is not prime. Res64: B66764BA872B10C7 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:47:11] 965*2^1454454-1 is not prime. Res64: 96A6CCB253089458 Time : 0.0 sec. user=mdettweiler [2017-05-20 04:47:11] 649*2^1454455-1 is not prime. Res64: AD3C49765B828749 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:03:56] 859*2^1454455-1 is not prime. Res64: 5B58F1F7A8FDCBF5 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:03:57] 915*2^1454455-1 is not prime. Res64: 15CB383D0CC6F363 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:03:58] 633*2^1454456-1 is not prime. Res64: B15AEA6853B4AE3C Time : 0.0 sec. user=mdettweiler [2017-05-20 05:03:59] 789*2^1454456-1 is not prime. Res64: C055531349522F07 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:04:02] 837*2^1454456-1 is not prime. Res64: 75D061AE0BB801AD Time : 0.0 sec. user=mdettweiler [2017-05-20 05:13:21] 999*2^1454456-1 is not prime. Res64: B69ACDC6797484EB Time : 0.0 sec. user=mdettweiler [2017-05-20 05:13:22] 607*2^1454457-1 is not prime. Res64: 9AE2E8075E98F249 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:13:22] 649*2^1454457-1 is not prime. Res64: 77C0E99A99DD5188 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:13:22] 667*2^1454457-1 is not prime. Res64: 182A3C2E4A96FC24 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:13:22] 765*2^1454457-1 is not prime. Res64: DD94FE0D64953EE8 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:15:17] 817*2^1454457-1 is not prime. Res64: 897B54A01BD4A685 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:15:18] 871*2^1454457-1 is not prime. Res64: E6BD232F6190A4CF Time : 0.0 sec. user=mdettweiler [2017-05-20 05:15:18] 895*2^1454457-1 is not prime. Res64: CD92DAB9361BBE48 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:15:18] 681*2^1454458-1 is not prime. Res64: 027B55299B52D30D Time : 0.0 sec. user=mdettweiler [2017-05-20 05:15:18] 695*2^1454458-1 is not prime. Res64: 1CF6C91A8144E703 Time : 0.0 sec. user=juhehe [2017-05-20 05:20:39] 765*2^1454458-1 is not prime. Res64: B4DEA974D6C6C303 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:32:46] 773*2^1454458-1 is not prime. Res64: BA5ECC31EA203AA9 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:32:46] 855*2^1454458-1 is not prime. Res64: ACBC710704E23C63 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:32:46] 885*2^1454458-1 is not prime. Res64: 5F573D9C11DDE968 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:32:46] 891*2^1454458-1 is not prime. Res64: FC2CE0038670C2B5 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:32:47] 957*2^1454458-1 is not prime. Res64: 7D020A79ED46EF4C Time : 0.0 sec. user=mdettweiler [2017-05-20 05:49:58] 995*2^1454458-1 is not prime. Res64: 454BEE4A65468FA8 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:49:58] 621*2^1454459-1 is not prime. Res64: 10EB3D8206D42B49 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:49:59] 753*2^1454459-1 is not prime. Res64: 2221541D80461B93 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:49:59] 813*2^1454459-1 is not prime. Res64: BBB6779C661FACAF Time : 0.0 sec. user=mdettweiler [2017-05-20 05:49:59] 823*2^1454459-1 is not prime. Res64: 3DF8D01FA23F67FC Time : 0.0 sec. user=mdettweiler [2017-05-20 05:59:13] 629*2^1454460-1 is not prime. Res64: 0D2E9B9259C21D95 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:59:13] 633*2^1454460-1 is not prime. Res64: F84ADFF314ACAF5B Time : 0.0 sec. user=mdettweiler [2017-05-20 05:59:14] 647*2^1454460-1 is not prime. Res64: C6D56022B941BC24 Time : 0.0 sec. user=mdettweiler [2017-05-20 05:59:14] 789*2^1454460-1 is not prime. Res64: F69C15F7CE92C59F Time : 0.0 sec. user=mdettweiler [2017-05-20 05:59:14] 795*2^1454460-1 is not prime. Res64: 50586826887DC437 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:01:05] 639*2^1454461-1 is not prime. Res64: ADD5B02D016788B0 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:01:05] 777*2^1454461-1 is not prime. Res64: 990C690056A5E954 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:01:06] 957*2^1454461-1 is not prime. Res64: E42F464C2FDBDF63 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:01:06] 635*2^1454462-1 is not prime. Res64: B0A9A3FDEA585975 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:01:06] 711*2^1454462-1 is not prime. Res64: 184B0B488AF5B908 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:18:18] 791*2^1454462-1 is not prime. Res64: 16E540A8995E3D1F Time : 0.0 sec. user=mdettweiler [2017-05-20 06:18:18] 953*2^1454462-1 is not prime. Res64: 512D348B0369DF33 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:18:19] 663*2^1454463-1 is not prime. Res64: C3A24A95752B476C Time : 0.0 sec. user=mdettweiler [2017-05-20 06:18:19] 859*2^1454463-1 is not prime. Res64: 4397E4DB524958DA Time : 0.0 sec. user=mdettweiler [2017-05-20 06:18:19] 961*2^1454463-1 is not prime. Res64: D847B35EDFE1B270 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:35:32] 963*2^1454463-1 is not prime. Res64: E95D5F073FDE0A7A Time : 0.0 sec. user=mdettweiler [2017-05-20 06:35:32] 747*2^1454464-1 is not prime. Res64: 4E1F98F0C6FCF55C Time : 0.0 sec. user=mdettweiler [2017-05-20 06:35:32] 827*2^1454464-1 is not prime. Res64: 18D5D4E0BB5D2D63 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:35:33] 899*2^1454464-1 is not prime. Res64: C98DC22EDF7C0992 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:35:33] 939*2^1454464-1 is not prime. Res64: F40B5B25CBFCB735 Time : 0.0 sec. user=juhehe [2017-05-20 06:37:02] 721*2^1454465-1 is not prime. Res64: D4805B90195249C0 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:44:37] 759*2^1454465-1 is not prime. Res64: A29A5FBD22B4DF8E Time : 0.0 sec. user=mdettweiler [2017-05-20 06:44:37] 819*2^1454465-1 is not prime. Res64: E842647533641FE6 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:44:37] 855*2^1454465-1 is not prime. Res64: 4D3325E15B50FB3B Time : 0.0 sec. user=mdettweiler [2017-05-20 06:44:38] 861*2^1454465-1 is not prime. Res64: 0DA0186AEC76C794 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:44:38] 915*2^1454465-1 is not prime. Res64: D8FBCA6BA2FF3729 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:46:42] 671*2^1454466-1 is not prime. Res64: C44F090F371C4CE3 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:46:42] 723*2^1454466-1 is not prime. Res64: CE5862A91CF3906B Time : 0.0 sec. user=mdettweiler [2017-05-20 06:46:43] 725*2^1454466-1 is not prime. Res64: 0FDFC1DE5BC357B9 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:46:43] 833*2^1454466-1 is not prime. Res64: 21825068C3397092 Time : 0.0 sec. user=mdettweiler [2017-05-20 06:46:43] 873*2^1454466-1 is not prime. Res64: E312BA40F38D7CF9 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:03:59] 905*2^1454466-1 is not prime. Res64: EE12CE702D6D1AEC Time : 0.0 sec. user=mdettweiler [2017-05-20 07:04:00] 619*2^1454467-1 is not prime. Res64: 5D2E078526347E68 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:04:01] 769*2^1454467-1 is not prime. Res64: 7F30CAFDF8BB05B7 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:04:02] 913*2^1454467-1 is not prime. Res64: F839B97DC666EA86 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:04:03] 919*2^1454467-1 is not prime. Res64: 17F113177CF74B8B Time : 0.0 sec. user=mdettweiler [2017-05-20 07:21:20] 669*2^1454468-1 is not prime. Res64: F969FE73EF74B217 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:21:20] 789*2^1454468-1 is not prime. Res64: 78C9A104782E552A Time : 0.0 sec. user=mdettweiler [2017-05-20 07:21:20] 875*2^1454468-1 is not prime. Res64: F12B6FC0A99EFA89 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:21:20] 935*2^1454468-1 is not prime. Res64: B86570D4EE2DECF2 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:21:21] 993*2^1454468-1 is not prime. Res64: 5CDAAC5B3D1A25DD Time : 0.0 sec. user=mdettweiler [2017-05-20 07:30:09] 995*2^1454468-1 is not prime. Res64: 701F50C0FF0043B3 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:30:09] 609*2^1454469-1 is not prime. Res64: E43F231CAB74B1A8 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:30:09] 655*2^1454469-1 is not prime. Res64: 007F3AEBAB7AD34C Time : 0.0 sec. user=mdettweiler [2017-05-20 07:30:10] 747*2^1454469-1 is not prime. Res64: 991F586AAD4812D6 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:30:10] 877*2^1454469-1 is not prime. Res64: 7FE005E2BBC110E7 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:32:22] 611*2^1454470-1 is not prime. Res64: 1B04AB944FDE7621 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:32:23] 671*2^1454470-1 is not prime. Res64: 9E9DF2FDA4483FF8 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:32:23] 777*2^1454470-1 is not prime. Res64: 16911A7EF2CDE2BE Time : 0.0 sec. user=mdettweiler [2017-05-20 07:32:23] 827*2^1454470-1 is not prime. Res64: A4EB9F93A0B51BED Time : 0.0 sec. user=mdettweiler [2017-05-20 07:32:23] 945*2^1454470-1 is not prime. Res64: 08BA0F6682E9A6FB Time : 0.0 sec. user=mdettweiler [2017-05-20 07:49:53] 951*2^1454470-1 is not prime. Res64: E864146E144B8B2F Time : 0.0 sec. user=mdettweiler [2017-05-20 07:49:53] 995*2^1454470-1 is not prime. Res64: 0A34E0BFD35C282D Time : 0.0 sec. user=mdettweiler [2017-05-20 07:49:53] 649*2^1454471-1 is not prime. Res64: 681E7D7EB0263D1F Time : 0.0 sec. user=mdettweiler [2017-05-20 07:49:54] 651*2^1454471-1 is not prime. Res64: F1DD498F0A8DB854 Time : 0.0 sec. user=mdettweiler [2017-05-20 07:49:54] 661*2^1454471-1 is not prime. Res64: 255CF7137C275122 Time : 0.0 sec. user=juhehe [2017-05-20 07:56:18] 703*2^1454471-1 is not prime. Res64: 1BE51661470F3C04 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:07:05] 623*2^1454472-1 is not prime. Res64: CD4C6B935502A1F9 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:07:06] 627*2^1454472-1 is not prime. Res64: C8EBE98EB1952E0E Time : 0.0 sec. user=mdettweiler [2017-05-20 08:07:06] 693*2^1454472-1 is not prime. Res64: 8E71849EEA32DEA1 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:07:06] 929*2^1454472-1 is not prime. Res64: EE20E31B3685DAD1 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:07:06] 977*2^1454472-1 is not prime. Res64: 230818D7172046DD Time : 0.0 sec. user=mdettweiler [2017-05-20 08:15:56] 639*2^1454473-1 is not prime. Res64: 3A399CBD48E0046B Time : 0.0 sec. user=mdettweiler [2017-05-20 08:15:56] 687*2^1454473-1 is not prime. Res64: B3BE2A598C389E4B Time : 0.0 sec. user=mdettweiler [2017-05-20 08:15:56] 741*2^1454473-1 is not prime. Res64: 334A8149A0D15852 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:15:57] 847*2^1454473-1 is not prime. Res64: AD90650E26AAFD28 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:15:57] 889*2^1454473-1 is not prime. Res64: 537A60D25D213CCD Time : 0.0 sec. user=mdettweiler [2017-05-20 08:18:01] 951*2^1454473-1 is not prime. Res64: 33341A0D9AF0DC8C Time : 0.0 sec. user=mdettweiler [2017-05-20 08:18:01] 645*2^1454474-1 is not prime. Res64: C569F7571483C0E3 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:18:02] 675*2^1454474-1 is not prime. Res64: E7A0706E4376B526 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:18:02] 741*2^1454474-1 is not prime. Res64: 463DA0D7AC02A153 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:18:02] 773*2^1454474-1 is not prime. Res64: 42B1247DFFC7C81A Time : 0.0 sec. user=mdettweiler [2017-05-20 08:35:43] 825*2^1454474-1 is not prime. Res64: 9D86E196294ECF6E Time : 0.0 sec. user=mdettweiler [2017-05-20 08:35:43] 887*2^1454474-1 is not prime. Res64: E63C54E14CF53BF5 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:35:43] 923*2^1454474-1 is not prime. Res64: 0A6E3053C14C2972 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:35:44] 971*2^1454474-1 is not prime. Res64: 9AC07A03F3F4BFF5 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:35:44] 613*2^1454475-1 is not prime. Res64: 1D154771D39FD721 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:52:31] 793*2^1454475-1 is not prime. Res64: 4F000AC2D878EFAD Time : 0.0 sec. user=mdettweiler [2017-05-20 08:52:32] 949*2^1454475-1 is not prime. Res64: 4AAA45A88B22324C Time : 0.0 sec. user=mdettweiler [2017-05-20 08:52:32] 617*2^1454476-1 is not prime. Res64: 363E15A354A5C5D1 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:52:32] 677*2^1454476-1 is not prime. Res64: C2E44BA7D4E5CF01 Time : 0.0 sec. user=mdettweiler [2017-05-20 08:52:32] 723*2^1454476-1 is not prime. Res64: F8AF4084FFCD82DB Time : 0.0 sec. user=mdettweiler [2017-05-20 09:01:35] 873*2^1454476-1 is not prime. Res64: 8C5A38AC57943856 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:01:36] 903*2^1454476-1 is not prime. Res64: 2BCACB565DBA3664 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:01:36] 619*2^1454477-1 is not prime. Res64: FC780FB3116089E4 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:01:37] 631*2^1454477-1 is not prime. Res64: 4BEF6C8B95BE2E67 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:01:37] 759*2^1454477-1 is not prime. Res64: 6CB7E04426491E19 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:03:34] 901*2^1454477-1 is not prime. Res64: C315C9964BFB603F Time : 0.0 sec. user=mdettweiler [2017-05-20 09:03:35] 931*2^1454477-1 is not prime. Res64: F435692EE864EA53 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:03:37] 939*2^1454477-1 is not prime. Res64: 2BB5A54716E0F326 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:03:37] 955*2^1454477-1 is not prime. Res64: 011EFCDD2EA257A3 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:03:38] 981*2^1454477-1 is not prime. Res64: 89299088DD730A9F Time : 0.0 sec. user=mdettweiler [2017-05-20 09:21:07] 627*2^1454478-1 is not prime. Res64: 1CCEC22874D8D6CC Time : 0.0 sec. user=mdettweiler [2017-05-20 09:21:08] 651*2^1454478-1 is not prime. Res64: 0CF66195088EB512 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:21:08] 863*2^1454478-1 is not prime. Res64: B47D932DD6F9B99F Time : 0.0 sec. user=mdettweiler [2017-05-20 09:21:08] 971*2^1454478-1 is not prime. Res64: EB41B407FAA0E89A Time : 0.0 sec. user=mdettweiler [2017-05-20 09:21:08] 601*2^1454479-1 is not prime. Res64: 50317743101A79B0 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:43:07] 633*2^1454479-1 is not prime. Res64: D14D0914A2379076 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:43:07] 759*2^1454479-1 is not prime. Res64: 6C743F61F87696C8 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:43:07] 853*2^1454479-1 is not prime. Res64: 70C3FEAB1348279B Time : 0.0 sec. user=mdettweiler [2017-05-20 09:43:08] 909*2^1454479-1 is not prime. Res64: 212FAAC980C7D6A3 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:43:08] 635*2^1454480-1 is not prime. Res64: ACAE82C2EDAC89F2 Time : 0.0 sec. user=juhehe [2017-05-20 09:55:31] 785*2^1454482-1 is not prime. Res64: 53CF40D218C89CB4 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:57:57] 725*2^1454480-1 is not prime. Res64: BD99D5CF9D89A7A9 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:57:58] 879*2^1454480-1 is not prime. Res64: 6050E8B1C7917F84 Time : 0.0 sec. user=mdettweiler [2017-05-20 09:57:58] 977*2^1454480-1 is not prime. Res64: 542A2B1C4CE9BF8D Time : 0.0 sec. user=mdettweiler [2017-05-20 09:57:58] 637*2^1454481-1 is not prime. Res64: 261DC171073DAF5A Time : 0.0 sec. user=mdettweiler [2017-05-20 09:57:58] 651*2^1454481-1 is not prime. Res64: 3370E7663A5832DA Time : 0.0 sec. user=mdettweiler [2017-05-20 10:02:54] 705*2^1454481-1 is not prime. Res64: FA7FE5410C3D87D5 Time : 0.0 sec. user=mdettweiler [2017-05-20 10:02:57] 747*2^1454481-1 is not prime. Res64: 6D4AB8BAA7C0D67C Time : 0.0 sec. user=mdettweiler [2017-05-20 10:02:58] 807*2^1454481-1 is not prime. Res64: E8A15BFB82CFC10F Time : 0.0 sec. user=mdettweiler [2017-05-20 10:02:58] 657*2^1454482-1 is not prime. Res64: 9B746075ABE9F6DB Time : 0.0 sec. user=mdettweiler [2017-05-20 10:02:59] 705*2^1454482-1 is not prime. Res64: 07FFAE3E0948FE7A Time : 0.0 sec. user=mdettweiler [2017-05-20 10:39:15] 791*2^1454482-1 is not prime. Res64: 53B6E6214BDC2B26 Time : 0.0 sec. user=mdettweiler [2017-05-20 10:39:15] 801*2^1454482-1 is not prime. Res64: 4DEFCF80123254CC Time : 0.0 sec. user=mdettweiler [2017-05-20 10:39:16] 827*2^1454482-1 is not prime. Res64: 70FA820EC95D2C8E Time : 0.0 sec. user=mdettweiler [2017-05-20 10:39:16] 693*2^1454483-1 is not prime. Res64: A88B8F12A1A021A1 Time : 0.0 sec. user=mdettweiler [2017-05-20 10:39:16] 771*2^1454483-1 is not prime. Res64: 9582F5BB32E40FB1 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:14:28] 949*2^1454483-1 is not prime. Res64: 9CF3C77277C1CC89 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:14:28] 963*2^1454483-1 is not prime. Res64: 97B82B45288D11B1 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:14:28] 991*2^1454483-1 is not prime. Res64: A3AD1C135D6EFB0B Time : 0.0 sec. user=mdettweiler [2017-05-20 11:14:29] 657*2^1454484-1 is not prime. Res64: 98D28201FD49852E Time : 0.0 sec. user=mdettweiler [2017-05-20 11:14:29] 689*2^1454484-1 is not prime. Res64: 960C6CB49B13D8F9 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:20:31] 693*2^1454484-1 is not prime. Res64: 27D9064A4648E29C Time : 0.0 sec. user=mdettweiler [2017-05-20 11:20:32] 723*2^1454484-1 is not prime. Res64: E21CC2F02C69DB5E Time : 0.0 sec. user=mdettweiler [2017-05-20 11:20:32] 737*2^1454484-1 is not prime. Res64: BEEEB96A371758D0 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:20:32] 975*2^1454484-1 is not prime. Res64: F150B3029E268BFE Time : 0.0 sec. user=mdettweiler [2017-05-20 11:20:33] 667*2^1454485-1 is not prime. Res64: 9AEE6E3D02CC52E3 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:23:10] 771*2^1454485-1 is not prime. Res64: DDB6C112CB18FD81 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:23:11] 877*2^1454485-1 is not prime. Res64: D8BE17E29514DD40 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:23:11] 961*2^1454485-1 is not prime. Res64: 5D831CFDD2D14ED0 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:23:11] 615*2^1454486-1 is not prime. Res64: 52A58B87395A167D Time : 0.0 sec. user=mdettweiler [2017-05-20 11:23:11] 677*2^1454486-1 is not prime. Res64: 5B1E9B1D57D22D29 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:44:28] 711*2^1454486-1 is not prime. Res64: AF143886CA7E82F6 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:44:29] 813*2^1454486-1 is not prime. Res64: 8A556998EF6138BC Time : 0.0 sec. user=mdettweiler [2017-05-20 11:44:29] 815*2^1454486-1 is not prime. Res64: BC71D4D39F9727EB Time : 0.0 sec. user=mdettweiler [2017-05-20 11:44:29] 851*2^1454486-1 is not prime. Res64: 0107CA95047FE109 Time : 0.0 sec. user=mdettweiler [2017-05-20 11:44:29] 897*2^1454486-1 is not prime. Res64: 805AEC6E21D41B46 Time : 0.0 sec. user=juhehe [2017-05-20 11:56:39] 979*2^1454487-1 is not prime. Res64: C963BCE75AF3B7B6 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:02:27] 661*2^1454487-1 is not prime. Res64: C5A19C0FD85DC14C Time : 0.0 sec. user=mdettweiler [2017-05-20 12:02:28] 685*2^1454487-1 is not prime. Res64: 1ED27925251036D8 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:02:29] 879*2^1454487-1 is not prime. Res64: FDC3C2868D59F9DC Time : 0.0 sec. user=mdettweiler [2017-05-20 12:02:30] 949*2^1454487-1 is not prime. Res64: E78F254A3FC9758B Time : 0.0 sec. user=mdettweiler [2017-05-20 12:02:31] 963*2^1454487-1 is not prime. Res64: 3EE6FDE75C469DD1 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:07:52] 797*2^1454488-1 is not prime. Res64: B735388E259B8E72 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:07:53] 869*2^1454488-1 is not prime. Res64: 1331F51A1CE2A5E9 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:07:53] 927*2^1454488-1 is not prime. Res64: AC9CE6F6C3C817CB Time : 0.0 sec. user=mdettweiler [2017-05-20 12:07:53] 933*2^1454488-1 is not prime. Res64: 8092E36AB7A1F424 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:07:54] 969*2^1454488-1 is not prime. Res64: F8B6DD70BCD228C0 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:10:48] 745*2^1454489-1 is not prime. Res64: 9D74291FBAA4DC18 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:10:49] 949*2^1454489-1 is not prime. Res64: C44E760F85679921 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:10:49] 955*2^1454489-1 is not prime. Res64: 8397EB3045D1FCD1 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:10:49] 641*2^1454490-1 is not prime. Res64: A55207856349A94C Time : 0.0 sec. user=mdettweiler [2017-05-20 12:10:49] 821*2^1454490-1 is not prime. Res64: 14FF40B48CDD3439 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:32:32] 845*2^1454490-1 is not prime. Res64: D65167CF1CECE74C Time : 0.0 sec. user=mdettweiler [2017-05-20 12:32:32] 851*2^1454490-1 is not prime. Res64: 7D4528C0ADD36C39 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:32:33] 861*2^1454490-1 is not prime. Res64: CDD67EF96426FAFA Time : 0.0 sec. user=mdettweiler [2017-05-20 12:32:33] 941*2^1454490-1 is not prime. Res64: 3E201A86832B5169 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:32:33] 977*2^1454490-1 is not prime. Res64: 822A1035921E5F3C Time : 0.0 sec. user=mdettweiler [2017-05-20 12:54:13] 679*2^1454491-1 is not prime. Res64: C6467EEA52087ABD Time : 0.0 sec. user=mdettweiler [2017-05-20 12:54:14] 813*2^1454491-1 is not prime. Res64: ED7F1E2A4D2F4B5C Time : 0.0 sec. user=mdettweiler [2017-05-20 12:54:14] 829*2^1454491-1 is not prime. Res64: 41EA49D41B614837 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:54:14] 841*2^1454491-1 is not prime. Res64: A71B222F1C5D7A6F Time : 0.0 sec. user=mdettweiler [2017-05-20 12:54:15] 889*2^1454491-1 is not prime. Res64: 4B872EBD6F1172F4 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:59:19] 735*2^1454492-1 is not prime. Res64: FD74EEC9AFFE4DD2 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:59:19] 813*2^1454492-1 is not prime. Res64: 6708F517A43334B1 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:59:19] 903*2^1454492-1 is not prime. Res64: 6558B7D33E6CD4D0 Time : 0.0 sec. user=mdettweiler [2017-05-20 12:59:19] 759*2^1454493-1 is not prime. Res64: D0A83896645A978F Time : 0.0 sec. user=mdettweiler [2017-05-20 12:59:20] 885*2^1454493-1 is not prime. Res64: CAF3E3B85A656FCD Time : 0.0 sec. user=mdettweiler [2017-05-20 13:02:24] 961*2^1454493-1 is not prime. Res64: 9C15760E167C7B85 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:02:25] 605*2^1454494-1 is not prime. Res64: 41B0B471EFA1FB23 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:02:26] 617*2^1454494-1 is not prime. Res64: 8AA58A1B35BD7BDC Time : 0.0 sec. user=mdettweiler [2017-05-20 13:02:27] 621*2^1454494-1 is not prime. Res64: 69E66100AC4450DB Time : 0.0 sec. user=mdettweiler [2017-05-20 13:02:28] 651*2^1454494-1 is not prime. Res64: 26D273AC2028BC04 Time : 0.0 sec. user=FritzsHero [2017-05-20 13:06:59] 983*2^1454364-1 is not prime. Res64: 11F188A8CEAAF465 Time : 0.0 sec. user=FritzsHero [2017-05-20 13:07:23] 687*2^1454365-1 is not prime. Res64: EDD61BC7DA2BBE2A Time : 0.0 sec. user=FritzsHero [2017-05-20 13:12:13] 615*2^1454369-1 is not prime. Res64: 97BA35800C19B51A Time : 0.0 sec. user=FritzsHero [2017-05-20 13:13:00] 699*2^1454369-1 is not prime. Res64: 83F4E12942C85094 Time : 0.0 sec. user=FritzsHero [2017-05-20 13:23:05] 797*2^1454394-1 is not prime. Res64: D8643858239502AF Time : 0.0 sec. user=mdettweiler [2017-05-20 13:23:53] 723*2^1454494-1 is not prime. Res64: 63A4B5ADE6B946B9 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:23:53] 737*2^1454494-1 is not prime. Res64: 0BB570D6B92DA358 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:23:54] 741*2^1454494-1 is not prime. Res64: BC1D293FAC85271E Time : 0.0 sec. user=mdettweiler [2017-05-20 13:23:54] 821*2^1454494-1 is not prime. Res64: 4ADDF06C65AE7F34 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:23:54] 957*2^1454494-1 is not prime. Res64: AE7A0F68FBEB111C Time : 0.0 sec. user=FritzsHero [2017-05-20 13:25:01] 733*2^1454395-1 is not prime. Res64: 78526154CC30B2F1 Time : 0.0 sec. user=FritzsHero [2017-05-20 13:38:41] 813*2^1454366-1 is not prime. Res64: 61054A2FA8130872 Time : 0.0 sec. user=FritzsHero [2017-05-20 13:42:46] 679*2^1454395-1 is not prime. Res64: A104B54D517B7CE7 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:43:04] 643*2^1454495-1 is not prime. Res64: C11B305CFD469A62 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:43:04] 759*2^1454495-1 is not prime. Res64: 2E16C674518F40D5 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:43:04] 775*2^1454495-1 is not prime. Res64: E48F91C7537EB234 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:43:05] 871*2^1454495-1 is not prime. Res64: 2D08050BDB3DD98C Time : 0.0 sec. user=mdettweiler [2017-05-20 13:43:05] 985*2^1454495-1 is not prime. Res64: E0FF28D34838693E Time : 0.0 sec. user=mdettweiler [2017-05-20 13:48:26] 609*2^1454496-1 is not prime. Res64: 5362DD7E191CD7F6 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:48:27] 639*2^1454496-1 is not prime. Res64: 2DFE41F6ABF5BF0B Time : 0.0 sec. user=mdettweiler [2017-05-20 13:48:27] 693*2^1454496-1 is not prime. Res64: C3B81374F5638BFF Time : 0.0 sec. user=mdettweiler [2017-05-20 13:48:27] 735*2^1454496-1 is not prime. Res64: 216B8AC40A233D7F Time : 0.0 sec. user=mdettweiler [2017-05-20 13:48:27] 765*2^1454496-1 is not prime. Res64: 9824906C889EB1FE Time : 0.0 sec. user=mdettweiler [2017-05-20 13:51:20] 779*2^1454496-1 is not prime. Res64: 3B9CFB99DC19CC39 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:51:20] 873*2^1454496-1 is not prime. Res64: 38AFF6713F181FF5 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:51:21] 879*2^1454496-1 is not prime. Res64: B11E38C1153190AC Time : 0.0 sec. user=mdettweiler [2017-05-20 13:51:21] 909*2^1454496-1 is not prime. Res64: 11C02EC41F63E094 Time : 0.0 sec. user=mdettweiler [2017-05-20 13:51:21] 615*2^1454497-1 is not prime. Res64: C216DDF701EEAF45 Time : 0.0 sec. user=juhehe [2017-05-20 13:56:30] 657*2^1454498-1 is not prime. Res64: EAEAAFEA7D417925 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:15:07] 731*2^1454498-1 is not prime. Res64: AAF76C6C2416D978 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:15:08] 755*2^1454498-1 is not prime. Res64: 3F7AD4265160588D Time : 0.0 sec. user=mdettweiler [2017-05-20 14:15:08] 773*2^1454498-1 is not prime. Res64: 7C2A79D7D38C06CB Time : 0.0 sec. user=mdettweiler [2017-05-20 14:15:08] 791*2^1454498-1 is not prime. Res64: CBE7B70F7ED2133A Time : 0.0 sec. user=mdettweiler [2017-05-20 14:15:09] 837*2^1454498-1 is not prime. Res64: 3EA124742587F35F Time : 0.0 sec. user=mdettweiler [2017-05-20 14:34:54] 685*2^1454499-1 is not prime. Res64: DC9C7BF36DD2DF00 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:34:54] 961*2^1454499-1 is not prime. Res64: 135A5388D1E56499 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:34:55] 975*2^1454499-1 is not prime. Res64: 5A2870DE02CB4CF0 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:34:55] 615*2^1454500-1 is not prime. Res64: 3B01031E5432027A Time : 0.0 sec. user=mdettweiler [2017-05-20 14:34:55] 687*2^1454500-1 is not prime. Res64: 6312F3C4F8345D25 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:40:55] 765*2^1454500-1 is not prime. Res64: 73AA89483D0681C5 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:40:55] 827*2^1454500-1 is not prime. Res64: 0B1E39ED8E16A25A Time : 0.0 sec. user=mdettweiler [2017-05-20 14:40:55] 843*2^1454500-1 is not prime. Res64: F9D2C64C31C67885 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:40:55] 863*2^1454500-1 is not prime. Res64: F809340AD95DE0DB Time : 0.0 sec. user=mdettweiler [2017-05-20 14:40:56] 887*2^1454500-1 is not prime. Res64: 915FCC2D57833C5B Time : 0.0 sec. user=mdettweiler [2017-05-20 14:43:59] 965*2^1454500-1 is not prime. Res64: D510D4BAFAA1C33D Time : 0.0 sec. user=mdettweiler [2017-05-20 14:43:59] 669*2^1454501-1 is not prime. Res64: 60C63EBF0BD6A3A4 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:43:59] 685*2^1454501-1 is not prime. Res64: 429FD18AEA5D5A95 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:43:59] 825*2^1454501-1 is not prime. Res64: 1EE731EB5C1FA1F8 Time : 0.0 sec. user=mdettweiler [2017-05-20 14:44:00] 657*2^1454502-1 is not prime. Res64: 59C381FC6D88DD8D Time : 0.0 sec. user=mdettweiler [2017-05-20 15:05:43] 681*2^1454502-1 is not prime. Res64: 4BE0A8A3B3D256FF Time : 0.0 sec. user=mdettweiler [2017-05-20 15:05:44] 717*2^1454502-1 is not prime. Res64: CFB4CD146E0C4313 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:05:44] 807*2^1454502-1 is not prime. Res64: E92422D2ABB68C8B Time : 0.0 sec. user=mdettweiler [2017-05-20 15:05:45] 815*2^1454502-1 is not prime. Res64: 35CACD02053A3ED7 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:05:45] 603*2^1454503-1 is not prime. Res64: 6EF94692FD3DBD77 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:24:07] 853*2^1454503-1 is not prime. Res64: B4664AC1FB7BD055 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:24:07] 901*2^1454503-1 is not prime. Res64: 5A49D0F800C2063A Time : 0.0 sec. user=mdettweiler [2017-05-20 15:24:07] 939*2^1454503-1 is not prime. Res64: 33983F750D0BB827 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:24:08] 969*2^1454503-1 is not prime. Res64: 1A1C983AA6AB634B Time : 0.0 sec. user=mdettweiler [2017-05-20 15:24:08] 659*2^1454504-1 is not prime. Res64: B8E912FCCF1B0ADD Time : 0.0 sec. user=mdettweiler [2017-05-20 15:30:35] 813*2^1454504-1 is not prime. Res64: 7FD7C5179EA72696 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:30:35] 929*2^1454504-1 is not prime. Res64: 5651628A8472C0D9 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:30:35] 945*2^1454504-1 is not prime. Res64: A1B530C43C8D8D5B Time : 0.0 sec. user=mdettweiler [2017-05-20 15:30:36] 679*2^1454505-1 is not prime. Res64: 844703FE8F07904A Time : 0.0 sec. user=mdettweiler [2017-05-20 15:30:36] 709*2^1454505-1 is not prime. Res64: 0EC30AA6789FD9AE Time : 0.0 sec. user=mdettweiler [2017-05-20 15:34:28] 727*2^1454505-1 is not prime. Res64: A48E54F11FDBA585 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:34:29] 831*2^1454505-1 is not prime. Res64: FD62427DD5CCA05C Time : 0.0 sec. user=mdettweiler [2017-05-20 15:34:29] 861*2^1454505-1 is not prime. Res64: 6F7B7178D95FA74D Time : 0.0 sec. user=mdettweiler [2017-05-20 15:34:29] 885*2^1454505-1 is not prime. Res64: F03E09F2EF5CEE84 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:34:29] 955*2^1454505-1 is not prime. Res64: 750AD61B9B5C4A43 Time : 0.0 sec. user=juhehe [2017-05-20 15:56:15] 881*2^1454506-1 is not prime. Res64: A32338FA809353F3 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:57:29] 979*2^1454505-1 is not prime. Res64: 94E6D88B14A0C3F6 Time : 0.0 sec. user=mdettweiler [2017-05-20 15:57:30] 635*2^1454506-1 is not prime. Res64: BAEA2188122908CA Time : 0.0 sec. user=mdettweiler [2017-05-20 15:57:30] 663*2^1454506-1 is not prime. Res64: 2984FFBEFD43418B Time : 0.0 sec. user=mdettweiler [2017-05-20 15:57:30] 803*2^1454506-1 is not prime. Res64: 5BD154A2D45E235A Time : 0.0 sec. user=mdettweiler [2017-05-20 15:57:30] 815*2^1454506-1 is not prime. Res64: C67F009BD5B2C050 Time : 0.0 sec. user=FritzsHero [2017-05-20 16:13:32] 713*2^1454498-1 is not prime. Res64: 83F127784110EC6B Time : 0.0 sec. user=FritzsHero [2017-05-20 16:15:07] 875*2^1454498-1 is not prime. Res64: 49696A0577B65ACA Time : 0.0 sec. user=mdettweiler [2017-05-20 16:15:36] 887*2^1454506-1 is not prime. Res64: CC670C90F8B31C5C Time : 0.0 sec. user=mdettweiler [2017-05-20 16:15:37] 891*2^1454506-1 is not prime. Res64: 3865BC7D239454DC Time : 0.0 sec. user=mdettweiler [2017-05-20 16:15:37] 633*2^1454507-1 is not prime. Res64: 77AC0A676ABBE307 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:15:37] 693*2^1454507-1 is not prime. Res64: 961C295F621C6F5C Time : 0.0 sec. user=mdettweiler [2017-05-20 16:15:38] 759*2^1454507-1 is not prime. Res64: CA29605E881659ED Time : 0.0 sec. user=mdettweiler [2017-05-20 16:20:29] 885*2^1454507-1 is not prime. Res64: 4ACE77682D439F19 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:20:30] 903*2^1454507-1 is not prime. Res64: 4AA05EDD21F04612 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:20:30] 949*2^1454507-1 is not prime. Res64: DD18876ACAC73A07 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:20:30] 993*2^1454507-1 is not prime. Res64: ABF014CDF12ADFFD Time : 0.0 sec. user=mdettweiler [2017-05-20 16:20:30] 627*2^1454508-1 is not prime. Res64: 9F875EA00718D497 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:23:42] 735*2^1454508-1 is not prime. Res64: 2DD2657ED484EA69 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:23:43] 767*2^1454508-1 is not prime. Res64: 092302391E2FBA66 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:23:44] 803*2^1454508-1 is not prime. Res64: 8DA731F58054091A Time : 0.0 sec. user=mdettweiler [2017-05-20 16:23:45] 825*2^1454508-1 is not prime. Res64: D91D607D913D5B7D Time : 0.0 sec. user=mdettweiler [2017-05-20 16:23:45] 839*2^1454508-1 is not prime. Res64: 23E2E1EE28A0F88F Time : 0.0 sec. user=mdettweiler [2017-05-20 16:44:02] 845*2^1454508-1 is not prime. Res64: 21153EF55AD3B8E7 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:44:02] 867*2^1454508-1 is not prime. Res64: A8E38519585D4799 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:44:02] 887*2^1454508-1 is not prime. Res64: 9278224F229AB740 Time : 0.0 sec. user=mdettweiler [2017-05-20 16:44:03] 929*2^1454508-1 is not prime. Res64: 63ECCCF367E3811E Time : 0.0 sec. user=mdettweiler [2017-05-20 16:44:03] 935*2^1454508-1 is not prime. Res64: EA7691720FDCB64C Time : 0.0 sec. user=mdettweiler [2017-05-20 17:01:48] 605*2^1454510-1 is not prime. Res64: A048BDB7A1A9877D Time : 0.0 sec. user=mdettweiler [2017-05-20 17:01:50] 791*2^1454510-1 is not prime. Res64: DAC0A9F015DF88D5 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:01:51] 827*2^1454510-1 is not prime. Res64: E94884D03031A0EC Time : 0.0 sec. user=mdettweiler [2017-05-20 17:01:52] 833*2^1454510-1 is not prime. Res64: D898290E4C5D0CC0 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:01:52] 923*2^1454510-1 is not prime. Res64: B31E62FE0D22E8D1 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:07:06] 981*2^1454510-1 is not prime. Res64: 64910506C82E1AF6 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:07:07] 691*2^1454511-1 is not prime. Res64: DFC96E9347AE1096 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:07:07] 723*2^1454511-1 is not prime. Res64: F546B6B3EFA019DA Time : 0.0 sec. user=mdettweiler [2017-05-20 17:07:08] 741*2^1454511-1 is not prime. Res64: 2341CBFD51D66837 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:07:08] 781*2^1454511-1 is not prime. Res64: FAAE60FB355F5668 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:10:16] 795*2^1454511-1 is not prime. Res64: 3C4DA6561B494184 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:10:17] 859*2^1454511-1 is not prime. Res64: C20193CA49B090F6 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:10:17] 933*2^1454511-1 is not prime. Res64: 580E800CDA1609CA Time : 0.0 sec. user=mdettweiler [2017-05-20 17:10:17] 951*2^1454511-1 is not prime. Res64: 6B619314139FEC1F Time : 0.0 sec. user=mdettweiler [2017-05-20 17:10:18] 991*2^1454511-1 is not prime. Res64: 9E8EFEA5ACAC9651 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:29:56] 635*2^1454512-1 is not prime. Res64: 4D3A29D39F69C09B Time : 0.0 sec. user=mdettweiler [2017-05-20 17:29:57] 639*2^1454512-1 is not prime. Res64: EE4751A5C866CE89 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:29:57] 687*2^1454512-1 is not prime. Res64: 7AE7C4E3D0F44C04 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:29:57] 693*2^1454512-1 is not prime. Res64: 57C01C4D9C4B154F Time : 0.0 sec. user=mdettweiler [2017-05-20 17:29:57] 827*2^1454512-1 is not prime. Res64: 92DF395219704ABA Time : 0.0 sec. user=mdettweiler [2017-05-20 17:47:47] 863*2^1454512-1 is not prime. Res64: 61BCB4BFA4955D42 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:47:47] 897*2^1454512-1 is not prime. Res64: 36E9BE28616600FA Time : 0.0 sec. user=mdettweiler [2017-05-20 17:47:48] 957*2^1454512-1 is not prime. Res64: 73EF0D3DEE909C5E Time : 0.0 sec. user=mdettweiler [2017-05-20 17:47:48] 607*2^1454513-1 is not prime. Res64: CB65061E9164DDE4 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:47:49] 627*2^1454513-1 is not prime. Res64: 091294F337076BA4 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:53:05] 669*2^1454513-1 is not prime. Res64: 5084DADF5F11C49C Time : 0.0 sec. user=mdettweiler [2017-05-20 17:53:05] 715*2^1454513-1 is not prime. Res64: C9763637C3EC2D40 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:53:05] 721*2^1454513-1 is not prime. Res64: E7A8FF30652BEF93 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:53:05] 729*2^1454513-1 is not prime. Res64: 4C0C9C8B8D8B4FC9 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:53:06] 741*2^1454513-1 is not prime. Res64: 3DE3C3DD9AAEDDC0 Time : 0.0 sec. user=juhehe [2017-05-20 17:55:37] 747*2^1454514-1 is not prime. Res64: 65F090751C1D47D5 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:56:07] 771*2^1454513-1 is not prime. Res64: AE5FFB30FC5CC424 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:56:07] 811*2^1454513-1 is not prime. Res64: 07530589A395A898 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:56:07] 867*2^1454513-1 is not prime. Res64: 1356C75346162586 Time : 0.0 sec. user=mdettweiler [2017-05-20 17:56:07] 627*2^1454514-1 is not prime. Res64: 3E3A1BE2D5FC3BBB Time : 0.0 sec. user=mdettweiler [2017-05-20 17:56:08] 705*2^1454514-1 is not prime. Res64: 86D8EF9CFA11E038 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:15:59] 891*2^1454514-1 is not prime. Res64: 0F23279C9713450E Time : 0.0 sec. user=mdettweiler [2017-05-20 18:15:59] 915*2^1454514-1 is not prime. Res64: D283EDE7D80B002E Time : 0.0 sec. user=mdettweiler [2017-05-20 18:16:00] 651*2^1454515-1 is not prime. Res64: 9084866B5C47A212 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:16:00] 673*2^1454515-1 is not prime. Res64: 5BF0A217BDA3B420 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:16:00] 679*2^1454515-1 is not prime. Res64: 9BE1BBCF57FD9DBA Time : 0.0 sec. user=mdettweiler [2017-05-20 18:33:33] 715*2^1454515-1 is not prime. Res64: 7655C7DA74D215A3 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:33:34] 771*2^1454515-1 is not prime. Res64: 8194699226420271 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:33:34] 789*2^1454515-1 is not prime. Res64: 3E2B48A08DD0D80A Time : 0.0 sec. user=mdettweiler [2017-05-20 18:33:34] 861*2^1454515-1 is not prime. Res64: BEFB0F2EC0CA5F5C Time : 0.0 sec. user=mdettweiler [2017-05-20 18:33:34] 871*2^1454515-1 is not prime. Res64: 0D434FC4826F5639 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:38:57] 919*2^1454515-1 is not prime. Res64: 9942115305194C2C Time : 0.0 sec. user=mdettweiler [2017-05-20 18:38:58] 609*2^1454516-1 is not prime. Res64: 165193BB7083A2A6 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:38:58] 615*2^1454516-1 is not prime. Res64: 9DA6A4201ED2C9EF Time : 0.0 sec. user=mdettweiler [2017-05-20 18:38:58] 855*2^1454516-1 is not prime. Res64: 4FC6C222D33929A5 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:38:58] 873*2^1454516-1 is not prime. Res64: 58EAE92881DE55C9 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:41:52] 893*2^1454516-1 is not prime. Res64: 0349FF9BD630590F Time : 0.0 sec. user=mdettweiler [2017-05-20 18:41:52] 963*2^1454516-1 is not prime. Res64: B696C8F9E1A42B66 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:41:52] 615*2^1454517-1 is not prime. Res64: 8EE37FC97A09063A Time : 0.0 sec. user=mdettweiler [2017-05-20 18:41:53] 661*2^1454517-1 is not prime. Res64: EF649E2CA4940931 Time : 0.0 sec. user=mdettweiler [2017-05-20 18:41:53] 669*2^1454517-1 is not prime. Res64: 705C7523914F59AC Time : 0.0 sec. user=juhehe [2017-05-20 18:43:33] 831*2^1454517-1 is not prime. Res64: 4A7694753883A88D Time : 0.0 sec. user=mdettweiler [2017-05-20 19:01:50] 861*2^1454517-1 is not prime. Res64: 700447E5009544E8 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:01:50] 889*2^1454517-1 is not prime. Res64: 154D5FA777A1EFCA Time : 0.0 sec. user=mdettweiler [2017-05-20 19:01:51] 651*2^1454518-1 is not prime. Res64: 1462DB636F1E9490 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:01:52] 815*2^1454518-1 is not prime. Res64: 41948215D95F0575 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:01:53] 825*2^1454518-1 is not prime. Res64: 20FD6C42F79FBE9A Time : 0.0 sec. user=mdettweiler [2017-05-20 19:19:03] 843*2^1454518-1 is not prime. Res64: 7E0C1D86C0FD91F0 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:19:03] 887*2^1454518-1 is not prime. Res64: 929D119741644082 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:19:03] 915*2^1454518-1 is not prime. Res64: 9EC9021FF63EE166 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:19:04] 703*2^1454519-1 is not prime. Res64: 63ED8894A54FC4B8 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:19:04] 721*2^1454519-1 is not prime. Res64: D26D315029E2F611 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:25:01] 771*2^1454519-1 is not prime. Res64: F03C1F05793D9963 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:25:01] 675*2^1454520-1 is not prime. Res64: 09B65457433A2163 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:25:01] 765*2^1454520-1 is not prime. Res64: 073C004904956990 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:25:02] 789*2^1454520-1 is not prime. Res64: 230F9C273EFC0DAD Time : 0.0 sec. user=mdettweiler [2017-05-20 19:25:02] 873*2^1454520-1 is not prime. Res64: 0C9B9413202256EF Time : 0.0 sec. user=mdettweiler [2017-05-20 19:27:52] 927*2^1454520-1 is not prime. Res64: 57F440357580F4EE Time : 0.0 sec. user=mdettweiler [2017-05-20 19:27:53] 645*2^1454521-1 is not prime. Res64: 71C26A37284AEF00 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:27:53] 741*2^1454521-1 is not prime. Res64: 9358D6344AB2B642 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:27:53] 805*2^1454521-1 is not prime. Res64: 73B83E8E73CF4762 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:27:53] 847*2^1454521-1 is not prime. Res64: 3D9F35CA86189FC3 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:47:44] 877*2^1454521-1 is not prime. Res64: D2F8C46FBB5D3F6D Time : 0.0 sec. user=mdettweiler [2017-05-20 19:47:44] 889*2^1454521-1 is not prime. Res64: 2245231C4060E802 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:47:44] 975*2^1454521-1 is not prime. Res64: 56851C4FBB27F298 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:47:45] 615*2^1454522-1 is not prime. Res64: A12BE53596099EF1 Time : 0.0 sec. user=mdettweiler [2017-05-20 19:47:45] 713*2^1454522-1 is not prime. Res64: A68D70658CE4D639 Time : 0.0 sec. user=juhehe [2017-05-20 19:55:54] 741*2^1454522-1 is not prime. Res64: F42B27D216FF6005 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:04:41] 801*2^1454522-1 is not prime. Res64: 4E49D62EA989BB64 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:04:42] 813*2^1454522-1 is not prime. Res64: B9202F91CD9A2B0D Time : 0.0 sec. user=mdettweiler [2017-05-20 20:04:43] 837*2^1454522-1 is not prime. Res64: EE1218194C65A1C9 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:04:44] 903*2^1454522-1 is not prime. Res64: 26AB864F9A162756 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:04:45] 609*2^1454523-1 is not prime. Res64: 353E46B1378FF675 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:10:43] 943*2^1454523-1 is not prime. Res64: 4416674319F57FEA Time : 0.0 sec. user=mdettweiler [2017-05-20 20:10:44] 955*2^1454523-1 is not prime. Res64: C4737B25869D6A54 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:10:44] 629*2^1454524-1 is not prime. Res64: 769B5C82306BC8CE Time : 0.0 sec. user=mdettweiler [2017-05-20 20:10:44] 635*2^1454524-1 is not prime. Res64: 43D7BC080A894AB8 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:10:44] 693*2^1454524-1 is not prime. Res64: 35DFD88C27E8C972 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:13:49] 833*2^1454524-1 is not prime. Res64: FECF77EC94E43BF7 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:13:49] 857*2^1454524-1 is not prime. Res64: 5B53E1AACB6AC95F Time : 0.0 sec. user=mdettweiler [2017-05-20 20:13:50] 909*2^1454524-1 is not prime. Res64: E5E7471DC611DE35 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:13:50] 969*2^1454524-1 is not prime. Res64: 71692D6412FD8838 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:13:50] 651*2^1454525-1 is not prime. Res64: AC55B8E74F50FEFA Time : 0.0 sec. user=mdettweiler [2017-05-20 20:33:44] 757*2^1454525-1 is not prime. Res64: 71E89BCE5F346312 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:33:44] 789*2^1454525-1 is not prime. Res64: 1F0973F5BD9449D5 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:33:44] 885*2^1454525-1 is not prime. Res64: 9D708F79B561577C Time : 0.0 sec. user=mdettweiler [2017-05-20 20:33:44] 615*2^1454526-1 is not prime. Res64: 1920711D4339291D Time : 0.0 sec. user=mdettweiler [2017-05-20 20:33:44] 975*2^1454526-1 is not prime. Res64: 86C4D0DADA9D1871 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:51:09] 609*2^1454527-1 is not prime. Res64: AC0F5C631BE36BCD Time : 0.0 sec. user=mdettweiler [2017-05-20 20:51:09] 645*2^1454527-1 is not prime. Res64: 352D6B7C6F83BDEF Time : 0.0 sec. user=mdettweiler [2017-05-20 20:51:10] 703*2^1454527-1 is not prime. Res64: 429FD61F02C3D07F Time : 0.0 sec. user=mdettweiler [2017-05-20 20:51:10] 741*2^1454527-1 is not prime. Res64: BD9E2722D1926133 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:51:10] 759*2^1454527-1 is not prime. Res64: 430400D004673FFF Time : 0.0 sec. user=mdettweiler [2017-05-20 20:56:44] 763*2^1454527-1 is not prime. Res64: DEA041AF007F7A62 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:56:44] 819*2^1454527-1 is not prime. Res64: 0F30B33BB5F9C81E Time : 0.0 sec. user=mdettweiler [2017-05-20 20:56:45] 843*2^1454527-1 is not prime. Res64: 8FD90D0EF6C14F6B Time : 0.0 sec. user=mdettweiler [2017-05-20 20:56:45] 885*2^1454527-1 is not prime. Res64: C7D794234AEC51D4 Time : 0.0 sec. user=mdettweiler [2017-05-20 20:56:45] 945*2^1454527-1 is not prime. Res64: EBAB201F82D9776F Time : 0.0 sec. user=mdettweiler [2017-05-20 20:59:51] 999*2^1454527-1 is not prime. Res64: 59DAAE7BF2EF50BE Time : 0.0 sec. user=mdettweiler [2017-05-20 20:59:52] 683*2^1454528-1 is not prime. Res64: AE1471DEC3042CBF Time : 0.0 sec. user=mdettweiler [2017-05-20 20:59:52] 747*2^1454528-1 is not prime. Res64: 5022FC3E52FC346D Time : 0.0 sec. user=mdettweiler [2017-05-20 20:59:52] 909*2^1454528-1 is not prime. Res64: 52B399E048AD78AB Time : 0.0 sec. user=mdettweiler [2017-05-20 20:59:53] 915*2^1454528-1 is not prime. Res64: 78FC415F3DCF845D Time : 0.0 sec. user=juhehe [2017-05-20 21:15:10] 735*2^1454529-1 is not prime. Res64: B42281A220AF0AE9 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:19:38] 959*2^1454528-1 is not prime. Res64: 8E36EC74003349A4 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:19:38] 609*2^1454529-1 is not prime. Res64: F5DC31094B13CF93 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:19:38] 679*2^1454529-1 is not prime. Res64: 1EAF1125E341B752 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:19:38] 691*2^1454529-1 is not prime. Res64: D4C59746A67D194D Time : 0.0 sec. user=mdettweiler [2017-05-20 21:19:39] 709*2^1454529-1 is not prime. Res64: 3E88C07767714C99 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:36:44] 759*2^1454529-1 is not prime. Res64: 142143CEDC2A58DA Time : 0.0 sec. user=mdettweiler [2017-05-20 21:36:44] 949*2^1454529-1 is not prime. Res64: 9E7E1CA20F2E0234 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:36:44] 653*2^1454530-1 is not prime. Res64: C258CFC9BCCC18FF Time : 0.0 sec. user=mdettweiler [2017-05-20 21:36:45] 741*2^1454530-1 is not prime. Res64: C9333F8E785A9534 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:36:45] 755*2^1454530-1 is not prime. Res64: 5F5D6AD1D1BF61CE Time : 0.0 sec. user=mdettweiler [2017-05-20 21:42:42] 773*2^1454530-1 is not prime. Res64: 9802FFB53BC0B1A4 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:42:42] 917*2^1454530-1 is not prime. Res64: B75E976358D896F7 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:42:42] 957*2^1454530-1 is not prime. Res64: 2DE2EA0D6884027F Time : 0.0 sec. user=mdettweiler [2017-05-20 21:42:43] 645*2^1454531-1 is not prime. Res64: 01E4A15117F6E457 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:42:43] 711*2^1454531-1 is not prime. Res64: 3BC856578E229874 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:45:53] 823*2^1454531-1 is not prime. Res64: 9160F70FBE827A86 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:45:53] 871*2^1454531-1 is not prime. Res64: 4D93174D803270E6 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:45:54] 999*2^1454531-1 is not prime. Res64: B98BC18A1FC56094 Time : 0.0 sec. user=mdettweiler [2017-05-20 21:45:54] 605*2^1454532-1 is not prime. Res64: 582A59B95123051A Time : 0.0 sec. user=mdettweiler [2017-05-20 21:45:54] 635*2^1454532-1 is not prime. Res64: 3EDA20ED73F4C041 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:05:33] 675*2^1454532-1 is not prime. Res64: FA1E56D09898612E Time : 0.0 sec. user=mdettweiler [2017-05-20 22:05:34] 767*2^1454532-1 is not prime. Res64: C2BB1BBF77B27BC1 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:05:35] 929*2^1454532-1 is not prime. Res64: A2ACD166BFD79B14 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:05:37] 607*2^1454533-1 is not prime. Res64: 77ABEDB4B67C809D Time : 0.0 sec. user=mdettweiler [2017-05-20 22:05:38] 609*2^1454533-1 is not prime. Res64: F27DB5799EE55C86 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:22:26] 625*2^1454533-1 is not prime. Res64: EDD6514CBDDC3C26 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:22:26] 639*2^1454533-1 is not prime. Res64: B557A945BDF681F3 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:22:26] 741*2^1454533-1 is not prime. Res64: ACE37F488C3EEB41 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:22:27] 769*2^1454533-1 is not prime. Res64: AA7B6C624708D199 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:22:27] 895*2^1454533-1 is not prime. Res64: 9B77ECFF640DCFCF Time : 0.0 sec. user=mdettweiler [2017-05-20 22:28:37] 915*2^1454533-1 is not prime. Res64: BDD37B29A63018EC Time : 0.0 sec. user=mdettweiler [2017-05-20 22:28:37] 641*2^1454534-1 is not prime. Res64: 58898B68C325DE7C Time : 0.0 sec. user=mdettweiler [2017-05-20 22:28:37] 665*2^1454534-1 is not prime. Res64: E38637B208C121EF Time : 0.0 sec. user=mdettweiler [2017-05-20 22:28:37] 797*2^1454534-1 is not prime. Res64: CDC4A0B028864647 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:28:38] 861*2^1454534-1 is not prime. Res64: 1EF34BC305EA4AB8 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:31:26] 873*2^1454534-1 is not prime. Res64: 43D93F068A5DA34B Time : 0.0 sec. user=mdettweiler [2017-05-20 22:31:27] 1001*2^1454534-1 is not prime. Res64: 2A6C4C87BEB83DCB Time : 0.0 sec. user=mdettweiler [2017-05-20 22:31:27] 601*2^1454535-1 is not prime. Res64: E854C11DAA623279 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:31:27] 633*2^1454535-1 is not prime. Res64: A0A4CE2C2B9A42FF Time : 0.0 sec. user=mdettweiler [2017-05-20 22:31:27] 691*2^1454535-1 is not prime. Res64: A546CA005B3F1E0F Time : 0.0 sec. user=mdettweiler [2017-05-20 22:51:40] 739*2^1454535-1 is not prime. Res64: 74C4E738CAFBE8C8 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:51:40] 933*2^1454535-1 is not prime. Res64: E9BA1BF901A09AAA Time : 0.0 sec. user=mdettweiler [2017-05-20 22:51:40] 955*2^1454535-1 is not prime. Res64: D35E3BAE1A515446 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:51:41] 973*2^1454535-1 is not prime. Res64: C575AD032F167A71 Time : 0.0 sec. user=mdettweiler [2017-05-20 22:51:41] 979*2^1454535-1 is not prime. Res64: B0C816FD50231F5E Time : 0.0 sec. user=mdettweiler [2017-05-20 23:08:00] 991*2^1454535-1 is not prime. Res64: BF1152713493E428 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:08:00] 603*2^1454536-1 is not prime. Res64: 020E5F5505FDD3B9 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:08:01] 615*2^1454536-1 is not prime. Res64: 4B2503D0DB1D14CE Time : 0.0 sec. user=mdettweiler [2017-05-20 23:08:01] 989*2^1454536-1 is not prime. Res64: 36E98BBC4B24A5F7 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:08:01] 727*2^1454537-1 is not prime. Res64: A54A922EBF6DC383 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:14:34] 771*2^1454537-1 is not prime. Res64: 016FE76D36BFFA6F Time : 0.0 sec. user=mdettweiler [2017-05-20 23:14:34] 841*2^1454537-1 is not prime. Res64: 0F6B5F180474FBDA Time : 0.0 sec. user=mdettweiler [2017-05-20 23:14:34] 847*2^1454537-1 is not prime. Res64: 2D7D4E2C45CD1BDC Time : 0.0 sec. user=mdettweiler [2017-05-20 23:14:34] 879*2^1454537-1 is not prime. Res64: DF583EC272A1E00A Time : 0.0 sec. user=mdettweiler [2017-05-20 23:14:35] 683*2^1454538-1 is not prime. Res64: C10DDDEF19094CC3 Time : 0.0 sec. user=juhehe [2017-05-20 23:14:46] 645*2^1454539-1 is not prime. Res64: 6954B93DF61BCB77 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:17:13] 747*2^1454538-1 is not prime. Res64: 7E91BB7AE3195408 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:17:14] 765*2^1454538-1 is not prime. Res64: 256EAF353CD37AC0 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:17:15] 923*2^1454538-1 is not prime. Res64: 5ABA30853AAC810B Time : 0.0 sec. user=mdettweiler [2017-05-20 23:17:16] 927*2^1454538-1 is not prime. Res64: 2C5E4DE839B29244 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:17:16] 971*2^1454538-1 is not prime. Res64: 86D93C1F7440C47B Time : 0.0 sec. user=mdettweiler [2017-05-20 23:37:21] 663*2^1454539-1 is not prime. Res64: 900A8EC0C367878A Time : 0.0 sec. user=mdettweiler [2017-05-20 23:37:22] 759*2^1454539-1 is not prime. Res64: 5AFD4E9CCDDA92E1 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:37:22] 771*2^1454539-1 is not prime. Res64: 9C0DBEE5B11BDE19 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:37:22] 889*2^1454539-1 is not prime. Res64: 8E93C58FE21A9275 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:37:22] 985*2^1454539-1 is not prime. Res64: 8CB288B610CEB8AA Time : 0.0 sec. user=mdettweiler [2017-05-20 23:53:44] 603*2^1454540-1 is not prime. Res64: 78729ECC8A95E48A Time : 0.0 sec. user=mdettweiler [2017-05-20 23:53:44] 813*2^1454540-1 is not prime. Res64: 2C356EA8070F0CFE Time : 0.0 sec. user=mdettweiler [2017-05-20 23:53:44] 839*2^1454540-1 is not prime. Res64: 2B10BC4043F9EFF8 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:53:45] 929*2^1454540-1 is not prime. Res64: 1BE9C35A3D08F783 Time : 0.0 sec. user=mdettweiler [2017-05-20 23:53:45] 957*2^1454540-1 is not prime. Res64: CBD7B007F1BC502E Time : 0.0 sec. user=mdettweiler [2017-05-21 00:00:29] 607*2^1454541-1 is not prime. Res64: 9DEDAF0DD20240A6 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:00:29] 627*2^1454541-1 is not prime. Res64: AE3F045E6422114F Time : 0.0 sec. user=mdettweiler [2017-05-21 00:00:30] 651*2^1454541-1 is not prime. Res64: EDE316FAA75968A0 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:00:30] 727*2^1454541-1 is not prime. Res64: 01284B0248CA5165 Time : 0.0 sec. user=mdettweiler [2017-05-21 00:00:30] 747*2^1454541-1 is not prime. Res64: 03AD2C56EE5AAE1A Time : 0.0 sec.