user=mdettweiler [2015-06-17 00:12:36] 991*2^1400555-1 is not prime. Res64: 328416A1E908E7B8 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:12:36] 623*2^1400556-1 is not prime. Res64: 46924C05B939673B Time : 0.0 sec. user=mdettweiler [2015-06-17 00:13:52] 669*2^1400556-1 is not prime. Res64: 5D43FE8D528D6197 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:13:53] 717*2^1400556-1 is not prime. Res64: E5C9A5C57589ACE4 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:14:29] 735*2^1400556-1 is not prime. Res64: 6FB366A563654332 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:14:30] 809*2^1400556-1 is not prime. Res64: 0EE696883C18BA37 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:16:42] 839*2^1400556-1 is not prime. Res64: AA2DE61AC0FF9286 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:16:43] 845*2^1400556-1 is not prime. Res64: 58088351D4747CE4 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:31:32] 899*2^1400556-1 is not prime. Res64: B5DF05A161C15859 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:31:32] 945*2^1400556-1 is not prime. Res64: B7D1360ED4E80D55 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:32:46] 895*2^1400557-1 is not prime. Res64: EBE3D909272182AF Time : 0.0 sec. user=mdettweiler [2015-06-17 00:32:46] 937*2^1400557-1 is not prime. Res64: 406510E5A34017DA Time : 0.0 sec. user=mdettweiler [2015-06-17 00:33:05] 617*2^1400558-1 is not prime. Res64: 055A8B4FC36F60F0 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:33:06] 663*2^1400558-1 is not prime. Res64: 1E508B4711F0250E Time : 0.0 sec. user=mdettweiler [2015-06-17 00:35:03] 705*2^1400558-1 is not prime. Res64: 443473C5CACEA416 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:35:03] 831*2^1400558-1 is not prime. Res64: 0182FA1733B91580 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:49:16] 843*2^1400558-1 is not prime. Res64: D8E038FB8A974162 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:49:17] 923*2^1400558-1 is not prime. Res64: D654364E685F16EE Time : 0.0 sec. user=mdettweiler [2015-06-17 00:50:38] 963*2^1400558-1 is not prime. Res64: 02AF9FE955AE1BD4 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:50:39] 613*2^1400559-1 is not prime. Res64: B2AEFD255CEC3417 Time : 0.0 sec. user=mdettweiler [2015-06-17 00:50:59] 649*2^1400559-1 is not prime. Res64: 956C37AE985AC5CB Time : 0.0 sec. user=mdettweiler [2015-06-17 00:50:59] 663*2^1400559-1 is not prime. Res64: C6AC3535445B256A Time : 0.0 sec. user=mdettweiler [2015-06-17 00:53:50] 775*2^1400559-1 is not prime. Res64: 283BE3A22535E17F Time : 0.0 sec. user=mdettweiler [2015-06-17 00:53:50] 879*2^1400559-1 is not prime. Res64: EF4CC8EDA8F7726F Time : 0.0 sec. user=juhehe [2015-06-17 01:07:33] 691*2^1400559-1 is not prime. Res64: 2D331FF1C020843D Time : 0.0 sec. user=mdettweiler [2015-06-17 01:08:38] 885*2^1400559-1 is not prime. Res64: 0DA303C18B9FCA39 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:08:39] 999*2^1400559-1 is not prime. Res64: DD30366082CEB6E7 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:09:20] 605*2^1400560-1 is not prime. Res64: EFFF4554D6648484 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:09:22] 735*2^1400560-1 is not prime. Res64: E3EB44E9B4276A45 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:09:37] 855*2^1400560-1 is not prime. Res64: B03138A0FD59FEDF Time : 0.0 sec. user=mdettweiler [2015-06-17 01:09:38] 899*2^1400560-1 is not prime. Res64: E5A469204F108E93 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:12:04] 909*2^1400560-1 is not prime. Res64: 404EB7151CD43921 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:12:05] 989*2^1400560-1 is not prime. Res64: 41CF2CDE51C0EAF0 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:27:07] 601*2^1400561-1 is not prime. Res64: E872A4F680AD6724 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:27:09] 619*2^1400561-1 is not prime. Res64: 4F4433D9886E4DEB Time : 0.0 sec. user=mdettweiler [2015-06-17 01:27:54] 679*2^1400561-1 is not prime. Res64: E7D8884DB0D74846 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:27:54] 837*2^1400561-1 is not prime. Res64: 712FF15A56FF7056 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:28:11] 705*2^1400562-1 is not prime. Res64: C57E9649C60FEDDB Time : 0.0 sec. user=mdettweiler [2015-06-17 01:28:12] 797*2^1400562-1 is not prime. Res64: 5A28DC4F0033C256 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:30:34] 893*2^1400562-1 is not prime. Res64: 95DEF977B07303C0 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:30:35] 619*2^1400563-1 is not prime. Res64: F1D649CCD1DE150C Time : 0.0 sec. user=mdettweiler [2015-06-17 01:45:11] 639*2^1400563-1 is not prime. Res64: 85FDBE994A12FD61 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:45:11] 691*2^1400563-1 is not prime. Res64: 857BAB981DB432AD Time : 0.0 sec. user=mdettweiler [2015-06-17 01:45:46] 693*2^1400563-1 is not prime. Res64: 4A94D762F05407A5 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:45:46] 735*2^1400563-1 is not prime. Res64: A9B12F96EEC638DE Time : 0.0 sec. user=mdettweiler [2015-06-17 01:45:54] 783*2^1400563-1 is not prime. Res64: 8DD1B217C2FA1D86 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:45:54] 805*2^1400563-1 is not prime. Res64: BB0B759B74D5A7FF Time : 0.0 sec. user=mdettweiler [2015-06-17 01:48:30] 635*2^1400564-1 is not prime. Res64: 12E89C1B360EEC00 Time : 0.0 sec. user=mdettweiler [2015-06-17 01:48:31] 753*2^1400564-1 is not prime. Res64: 22886C4824A2F136 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:02:59] 929*2^1400564-1 is not prime. Res64: 5EB9D846F4859E8A Time : 0.0 sec. user=mdettweiler [2015-06-17 02:03:01] 935*2^1400564-1 is not prime. Res64: 7B820527FA6630A5 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:03:21] 741*2^1400565-1 is not prime. Res64: 620E7B9CD20F6BA5 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:03:24] 777*2^1400565-1 is not prime. Res64: 3E8F77F4848D2C55 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:03:43] 919*2^1400565-1 is not prime. Res64: E5EACACB02827D63 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:03:44] 961*2^1400565-1 is not prime. Res64: 2A23F636B32C53AD Time : 0.0 sec. user=mdettweiler [2015-06-17 02:06:23] 991*2^1400565-1 is not prime. Res64: 3EA97E11C0609028 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:06:24] 611*2^1400566-1 is not prime. Res64: 2B14BE8589039A7A Time : 0.0 sec. user=mdettweiler [2015-06-17 02:20:55] 821*2^1400566-1 is not prime. Res64: 4DED02609EE80CEC Time : 0.0 sec. user=mdettweiler [2015-06-17 02:20:55] 911*2^1400566-1 is not prime. Res64: 908C3D4B6E6370E3 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:21:22] 923*2^1400566-1 is not prime. Res64: C0459FF24DD3B544 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:21:23] 609*2^1400567-1 is not prime. Res64: 83A981C4327587AE Time : 0.0 sec. user=mdettweiler [2015-06-17 02:21:31] 615*2^1400567-1 is not prime. Res64: 16EC5B09806B8602 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:21:32] 651*2^1400567-1 is not prime. Res64: 5924EC41D9B24A39 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:24:43] 661*2^1400567-1 is not prime. Res64: 23C9A793B841D889 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:24:43] 725*2^1400568-1 is not prime. Res64: C4D81F7510DBF725 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:38:48] 737*2^1400568-1 is not prime. Res64: A4D89F78083429BD Time : 0.0 sec. user=mdettweiler [2015-06-17 02:38:48] 815*2^1400568-1 is not prime. Res64: 0A41C684FEBC01CD Time : 0.0 sec. user=mdettweiler [2015-06-17 02:39:19] 861*2^1400569-1 is not prime. Res64: AA026672D74ED061 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:39:19] 997*2^1400569-1 is not prime. Res64: 80BB635CD9528BD3 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:39:26] 615*2^1400569-1 is not prime. Res64: 8410B07ADEE164D0 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:39:27] 841*2^1400569-1 is not prime. Res64: A4FAD79A8091565F Time : 0.0 sec. user=mdettweiler [2015-06-17 02:42:39] 645*2^1400570-1 is not prime. Res64: 4A999D4FFDCDAAB2 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:42:40] 783*2^1400570-1 is not prime. Res64: A17A40C25D1E753E Time : 0.0 sec. user=mdettweiler [2015-06-17 02:57:30] 911*2^1400570-1 is not prime. Res64: DFF4E68846F18EA7 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:57:30] 957*2^1400570-1 is not prime. Res64: 9F312ED994EDBEB6 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:57:41] 785*2^1400570-1 is not prime. Res64: A3F1C2C35049AA18 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:57:41] 857*2^1400570-1 is not prime. Res64: BF8D6FA2D4416FD3 Time : 0.0 sec. user=mdettweiler [2015-06-17 02:57:59] 977*2^1400570-1 is not prime. Res64: FE82F28BEE4C7C9F Time : 0.0 sec. user=mdettweiler [2015-06-17 02:57:59] 981*2^1400570-1 is not prime. Res64: 8B7B1F73EA378F44 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:00:25] 613*2^1400571-1 is not prime. Res64: 6D4A0306B2589447 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:00:26] 679*2^1400571-1 is not prime. Res64: A7694AE54C578DEE Time : 0.0 sec. user=mdettweiler [2015-06-17 03:15:13] 753*2^1400571-1 is not prime. Res64: E08B827413E0AD39 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:15:14] 781*2^1400571-1 is not prime. Res64: 2B1824D1E48AF758 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:15:31] 945*2^1400571-1 is not prime. Res64: 62BE7A54ACF3942C Time : 0.0 sec. user=mdettweiler [2015-06-17 03:15:31] 603*2^1400572-1 is not prime. Res64: A2D4CBD25B870231 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:15:50] 695*2^1400572-1 is not prime. Res64: 02D961552BBA92FD Time : 0.0 sec. user=mdettweiler [2015-06-17 03:15:50] 785*2^1400572-1 is not prime. Res64: 3AD0815E831152C5 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:18:09] 803*2^1400572-1 is not prime. Res64: B5CC610B4D2859B3 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:18:09] 875*2^1400572-1 is not prime. Res64: 88D0DE55FBBE8DB7 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:32:58] 899*2^1400572-1 is not prime. Res64: 4763AF69D6A813E7 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:32:59] 915*2^1400572-1 is not prime. Res64: 6C53DA5ACEBB205C Time : 0.0 sec. user=mdettweiler [2015-06-17 03:33:29] 965*2^1400572-1 is not prime. Res64: 9970775EE8734F5E Time : 0.0 sec. user=mdettweiler [2015-06-17 03:33:29] 657*2^1400573-1 is not prime. Res64: 81CBF3DB85DC68EF Time : 0.0 sec. user=mdettweiler [2015-06-17 03:33:32] 675*2^1400573-1 is not prime. Res64: AC88592FE42FD4C9 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:33:33] 715*2^1400573-1 is not prime. Res64: 902D15CA0DF993AF Time : 0.0 sec. user=mdettweiler [2015-06-17 03:35:51] 641*2^1400574-1 is not prime. Res64: 0096F780028A3DC6 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:35:52] 723*2^1400574-1 is not prime. Res64: 90EDEEDF0206D93A Time : 0.0 sec. user=mdettweiler [2015-06-17 03:51:00] 783*2^1400574-1 is not prime. Res64: 941420431A547236 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:51:00] 797*2^1400574-1 is not prime. Res64: 03AE6D7987B903FB Time : 0.0 sec. user=mdettweiler [2015-06-17 03:51:16] 675*2^1400575-1 is not prime. Res64: B135128FF5E97599 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:51:17] 685*2^1400575-1 is not prime. Res64: A9FD76817CAAE9AE Time : 0.0 sec. user=mdettweiler [2015-06-17 03:51:31] 875*2^1400574-1 is not prime. Res64: F7FF18458430495A Time : 0.0 sec. user=mdettweiler [2015-06-17 03:51:31] 1001*2^1400574-1 is not prime. Res64: 8E0B41B2B5247AD1 Time : 0.0 sec. user=mdettweiler [2015-06-17 03:53:34] 873*2^1400575-1 is not prime. Res64: 9C9FC35EA453341D Time : 0.0 sec. user=mdettweiler [2015-06-17 03:53:34] 979*2^1400575-1 is not prime. Res64: 98F30771A1E31635 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:08:57] 623*2^1400576-1 is not prime. Res64: 4BA39BA9781D8119 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:08:58] 675*2^1400576-1 is not prime. Res64: 644943AE79609F5F Time : 0.0 sec. user=mdettweiler [2015-06-17 04:09:02] 777*2^1400576-1 is not prime. Res64: D5650018688D977F Time : 0.0 sec. user=mdettweiler [2015-06-17 04:09:02] 827*2^1400576-1 is not prime. Res64: 097E948288E8A814 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:09:23] 607*2^1400577-1 is not prime. Res64: A26B7AE930B93832 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:09:24] 667*2^1400577-1 is not prime. Res64: 44718A4565611602 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:11:29] 691*2^1400577-1 is not prime. Res64: 0F8DCA334A7E5161 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:11:29] 817*2^1400577-1 is not prime. Res64: 2D4A9DF13DD88547 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:26:42] 831*2^1400577-1 is not prime. Res64: 78FA7ACBA3521AB3 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:26:43] 871*2^1400577-1 is not prime. Res64: D3EEA4FF212C82AE Time : 0.0 sec. user=mdettweiler [2015-06-17 04:27:02] 919*2^1400577-1 is not prime. Res64: D9D0D75057C89323 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:27:02] 991*2^1400577-1 is not prime. Res64: DD851B75380AA641 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:27:09] 605*2^1400578-1 is not prime. Res64: 9CA12F1DDCC4B00F Time : 0.0 sec. user=mdettweiler [2015-06-17 04:27:09] 623*2^1400578-1 is not prime. Res64: 1FC7B09107C75648 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:29:19] 747*2^1400578-1 is not prime. Res64: 3BDC853F10C62733 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:29:19] 615*2^1400579-1 is not prime. Res64: 28EE0112E0B793AA Time : 0.0 sec. user=mdettweiler [2015-06-17 04:44:30] 711*2^1400579-1 is not prime. Res64: 4CA98B0371D4084E Time : 0.0 sec. user=mdettweiler [2015-06-17 04:44:30] 745*2^1400579-1 is not prime. Res64: B3350D7B581AC71C Time : 0.0 sec. user=mdettweiler [2015-06-17 04:44:42] 913*2^1400579-1 is not prime. Res64: D585AF6CC24070E5 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:44:42] 921*2^1400579-1 is not prime. Res64: BD0387C75EC7AEDD Time : 0.0 sec. user=mdettweiler [2015-06-17 04:44:58] 975*2^1400580-1 is not prime. Res64: E7F78200497FB358 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:44:58] 609*2^1400581-1 is not prime. Res64: BC104D66C0C32E5B Time : 0.0 sec. user=mdettweiler [2015-06-17 04:47:06] 855*2^1400581-1 is not prime. Res64: 495A7495E4969E04 Time : 0.0 sec. user=mdettweiler [2015-06-17 04:47:07] 877*2^1400581-1 is not prime. Res64: DBCD5BA683B2D703 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:02:20] 889*2^1400581-1 is not prime. Res64: D3B01754DB69D97A Time : 0.0 sec. user=mdettweiler [2015-06-17 05:02:21] 937*2^1400581-1 is not prime. Res64: 6A7409ADB60EBE99 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:02:28] 955*2^1400581-1 is not prime. Res64: 3A10FFA2313DE56D Time : 0.0 sec. user=mdettweiler [2015-06-17 05:02:30] 957*2^1400581-1 is not prime. Res64: 7729DD993EF04660 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:02:46] 747*2^1400582-1 is not prime. Res64: FF8869F69BDD539A Time : 0.0 sec. user=mdettweiler [2015-06-17 05:02:46] 755*2^1400582-1 is not prime. Res64: E888B24C08002008 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:04:55] 825*2^1400582-1 is not prime. Res64: 6FACB45F0C5DAB24 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:04:56] 843*2^1400582-1 is not prime. Res64: 9DAFBAE564A3322D Time : 0.0 sec. user=mdettweiler [2015-06-17 05:20:48] 875*2^1400582-1 is not prime. Res64: 168DC83AA053EDD1 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:20:48] 911*2^1400582-1 is not prime. Res64: EE6BF0B4CAF7FF17 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:20:54] 893*2^1400582-1 is not prime. Res64: 10114D7F29F9AC30 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:20:55] 983*2^1400582-1 is not prime. Res64: 4B32646141669310 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:21:06] 613*2^1400583-1 is not prime. Res64: A0EA16223EA61017 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:21:06] 703*2^1400583-1 is not prime. Res64: 9F61E928C43409E7 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:22:53] 751*2^1400583-1 is not prime. Res64: 3F771B2083244450 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:22:54] 885*2^1400583-1 is not prime. Res64: 8AD3B4AF9D4F840F Time : 0.0 sec. user=mdettweiler [2015-06-17 05:38:45] 895*2^1400583-1 is not prime. Res64: DBFD516681B8969C Time : 0.0 sec. user=mdettweiler [2015-06-17 05:38:45] 933*2^1400583-1 is not prime. Res64: 08317F86D3CC6F78 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:38:48] 609*2^1400584-1 is not prime. Res64: 8B02A36B4A2EF7BF Time : 0.0 sec. user=mdettweiler [2015-06-17 05:38:48] 639*2^1400584-1 is not prime. Res64: 7A796017C8B0311F Time : 0.0 sec. user=mdettweiler [2015-06-17 05:39:18] 657*2^1400584-1 is not prime. Res64: B0596EBA91A737B8 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:39:19] 665*2^1400584-1 is not prime. Res64: 37C8025666907B19 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:40:58] 723*2^1400584-1 is not prime. Res64: 174C3C7DBF31E0C7 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:40:59] 777*2^1400585-1 is not prime. Res64: FED62FE0D72E7135 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:56:30] 831*2^1400585-1 is not prime. Res64: F198DFC2580E1E47 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:56:30] 841*2^1400585-1 is not prime. Res64: D72CDF5F440030FD Time : 0.0 sec. user=mdettweiler [2015-06-17 05:56:33] 861*2^1400585-1 is not prime. Res64: 728134EBA68F1D6C Time : 0.0 sec. user=mdettweiler [2015-06-17 05:56:33] 867*2^1400585-1 is not prime. Res64: 034E873BC2EDB084 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:57:18] 937*2^1400585-1 is not prime. Res64: 58527BA8722E50BC Time : 0.0 sec. user=mdettweiler [2015-06-17 05:57:19] 949*2^1400585-1 is not prime. Res64: 39DBC8C6E6D21933 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:58:41] 987*2^1400585-1 is not prime. Res64: 4EE287FCB323E5C5 Time : 0.0 sec. user=mdettweiler [2015-06-17 05:58:41] 707*2^1400586-1 is not prime. Res64: BF8E8DA658758545 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:14:29] 873*2^1400586-1 is not prime. Res64: 0E1CF10295B3B8E7 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:14:30] 941*2^1400586-1 is not prime. Res64: CECCFE3197C4B193 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:14:31] 663*2^1400587-1 is not prime. Res64: 8FF9AF8A7E186C99 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:14:31] 675*2^1400587-1 is not prime. Res64: 916E37449F835573 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:15:18] 691*2^1400587-1 is not prime. Res64: 2784CB44173FD3F0 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:15:18] 919*2^1400587-1 is not prime. Res64: 05B81AD2181C7C9B Time : 0.0 sec. user=mdettweiler [2015-06-17 06:16:29] 931*2^1400587-1 is not prime. Res64: B5C8AA0BD7AFCB88 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:16:30] 975*2^1400587-1 is not prime. Res64: 55DBD0FD4C481DEF Time : 0.0 sec. user=mdettweiler [2015-06-17 06:32:17] 845*2^1400588-1 is not prime. Res64: DC10B516367046BA Time : 0.0 sec. user=mdettweiler [2015-06-17 06:32:17] 935*2^1400588-1 is not prime. Res64: AAC9F21F0E3F556D Time : 0.0 sec. user=mdettweiler [2015-06-17 06:32:33] 795*2^1400588-1 is not prime. Res64: 7279D7E3A318A3E4 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:32:33] 803*2^1400588-1 is not prime. Res64: BCCAABCA79D68FCB Time : 0.0 sec. user=mdettweiler [2015-06-17 06:33:19] 615*2^1400589-1 is not prime. Res64: E8AAF685EECA8B18 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:33:19] 621*2^1400589-1 is not prime. Res64: 851152FB7629E327 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:34:27] 675*2^1400589-1 is not prime. Res64: 303BEB2A138E8F4F Time : 0.0 sec. user=mdettweiler [2015-06-17 06:34:27] 741*2^1400589-1 is not prime. Res64: 75B96110245B447C Time : 0.0 sec. user=mdettweiler [2015-06-17 06:50:15] 645*2^1400590-1 is not prime. Res64: 91F714B71B7C66CA Time : 0.0 sec. user=mdettweiler [2015-06-17 06:50:15] 681*2^1400590-1 is not prime. Res64: C7A5C61D7F16F8C2 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:50:22] 921*2^1400589-1 is not prime. Res64: C0641E8C6D614636 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:50:22] 999*2^1400589-1 is not prime. Res64: 21838990CB773616 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:51:24] 713*2^1400590-1 is not prime. Res64: 9324261D4E8DB8EE Time : 0.0 sec. user=mdettweiler [2015-06-17 06:51:24] 755*2^1400590-1 is not prime. Res64: A58F62A3F4CF305E Time : 0.0 sec. user=mdettweiler [2015-06-17 06:52:07] 821*2^1400590-1 is not prime. Res64: 46252D9BF1AA2304 Time : 0.0 sec. user=mdettweiler [2015-06-17 06:52:07] 621*2^1400591-1 is not prime. Res64: 72298C68721BF770 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:08:09] 783*2^1400591-1 is not prime. Res64: FF633BD90C485C21 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:08:09] 805*2^1400591-1 is not prime. Res64: 2089F366B2A9291E Time : 0.0 sec. user=mdettweiler [2015-06-17 07:08:25] 635*2^1400592-1 is not prime. Res64: 3A6CC7211311FD8E Time : 0.0 sec. user=mdettweiler [2015-06-17 07:08:25] 665*2^1400592-1 is not prime. Res64: C18FC569F9EC97E4 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:09:13] 669*2^1400592-1 is not prime. Res64: 8666F9CAC75CD272 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:09:13] 695*2^1400592-1 is not prime. Res64: 9F990F21989C0F7A Time : 0.0 sec. user=mdettweiler [2015-06-17 07:10:25] 625*2^1400593-1 is not prime. Res64: 598229C6441AB881 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:10:25] 679*2^1400593-1 is not prime. Res64: D36A34DC86318FEC Time : 0.0 sec. user=mdettweiler [2015-06-17 07:26:02] 691*2^1400593-1 is not prime. Res64: 556C105D4C6DE823 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:26:03] 721*2^1400593-1 is not prime. Res64: 9891F3547B27C9BD Time : 0.0 sec. user=mdettweiler [2015-06-17 07:26:26] 741*2^1400593-1 is not prime. Res64: 6F916570F61CD889 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:26:27] 747*2^1400593-1 is not prime. Res64: 66179F7F81B1C6DB Time : 0.0 sec. user=mdettweiler [2015-06-17 07:26:55] 751*2^1400593-1 is not prime. Res64: F956695DD157136E Time : 0.0 sec. user=mdettweiler [2015-06-17 07:26:55] 769*2^1400593-1 is not prime. Res64: 5ABF37FA48BA10F5 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:28:25] 829*2^1400593-1 is not prime. Res64: 00C1768C3C5F6932 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:28:25] 831*2^1400593-1 is not prime. Res64: 77F781FE6F1DC5AF Time : 0.0 sec. user=mdettweiler [2015-06-17 07:43:58] 861*2^1400593-1 is not prime. Res64: 50A38C347ABE5F27 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:43:58] 895*2^1400593-1 is not prime. Res64: 7E4C1AFB0C022FFE Time : 0.0 sec. user=mdettweiler [2015-06-17 07:44:08] 937*2^1400593-1 is not prime. Res64: 2E46BBBA9913D67B Time : 0.0 sec. user=mdettweiler [2015-06-17 07:44:08] 987*2^1400593-1 is not prime. Res64: 9633F19C5A9023CF Time : 0.0 sec. user=mdettweiler [2015-06-17 07:44:47] 623*2^1400594-1 is not prime. Res64: BF97AFEE51FA4689 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:44:47] 683*2^1400594-1 is not prime. Res64: 243CC5F8CD1BFE23 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:46:19] 705*2^1400594-1 is not prime. Res64: F57681B847AEBE78 Time : 0.0 sec. user=mdettweiler [2015-06-17 07:46:19] 851*2^1400594-1 is not prime. Res64: BD01F2644D74C5B9 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:01:57] 887*2^1400594-1 is not prime. Res64: 6953B7D249DDEA49 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:01:57] 903*2^1400594-1 is not prime. Res64: D2A90059E0959FF0 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:02:00] 861*2^1400594-1 is not prime. Res64: 5FF02F01FD9CC94F Time : 0.0 sec. user=mdettweiler [2015-06-17 08:02:01] 885*2^1400594-1 is not prime. Res64: 65603D66C445028C Time : 0.0 sec. user=mdettweiler [2015-06-17 08:02:46] 995*2^1400594-1 is not prime. Res64: 787DACF70836DB36 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:02:47] 735*2^1400595-1 is not prime. Res64: 1FD6ED04B21A3F78 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:04:21] 753*2^1400595-1 is not prime. Res64: 167725A2107F51C5 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:04:22] 781*2^1400595-1 is not prime. Res64: 640EBC1BACDBA7C7 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:20:04] 919*2^1400595-1 is not prime. Res64: 0B539C6F10AE281A Time : 0.0 sec. user=mdettweiler [2015-06-17 08:20:04] 949*2^1400595-1 is not prime. Res64: F8B877149C7A18A1 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:20:12] 895*2^1400595-1 is not prime. Res64: 4B0C4C84DED49E6E Time : 0.0 sec. user=mdettweiler [2015-06-17 08:20:12] 909*2^1400595-1 is not prime. Res64: 82B57760C462F4AD Time : 0.0 sec. user=mdettweiler [2015-06-17 08:20:50] 979*2^1400595-1 is not prime. Res64: 18A79AC5F2028515 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:20:51] 629*2^1400596-1 is not prime. Res64: 0471BE277B1B7FCD Time : 0.0 sec. user=mdettweiler [2015-06-17 08:22:27] 873*2^1400596-1 is not prime. Res64: 02A61E0A9CB13870 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:22:27] 771*2^1400597-1 is not prime. Res64: 249FEBC6210FB98E Time : 0.0 sec. user=mdettweiler [2015-06-17 08:38:03] 801*2^1400597-1 is not prime. Res64: 4C0F0A64E64EF9F0 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:38:03] 831*2^1400597-1 is not prime. Res64: CD5B66418E2FA196 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:38:12] 865*2^1400597-1 is not prime. Res64: BBA48AA5CD272A5A Time : 0.0 sec. user=mdettweiler [2015-06-17 08:38:12] 879*2^1400597-1 is not prime. Res64: 68B3AF07BF002B7F Time : 0.0 sec. user=mdettweiler [2015-06-17 08:38:41] 991*2^1400597-1 is not prime. Res64: 4B44A6655D491227 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:38:41] 683*2^1400598-1 is not prime. Res64: 4EBB749CD774D466 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:40:19] 795*2^1400598-1 is not prime. Res64: F3FA54F49CD925D5 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:40:19] 881*2^1400598-1 is not prime. Res64: 402F279D3D8048EA Time : 0.0 sec. user=mdettweiler [2015-06-17 08:55:55] 927*2^1400598-1 is not prime. Res64: 7DF39FBC8897C1C1 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:55:56] 963*2^1400598-1 is not prime. Res64: 8F1BA4AD012847A3 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:56:03] 993*2^1400598-1 is not prime. Res64: D4BA6C38C671DDEC Time : 0.0 sec. user=mdettweiler [2015-06-17 08:56:03] 619*2^1400599-1 is not prime. Res64: F00268AB195D42D5 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:56:30] 661*2^1400599-1 is not prime. Res64: 316C9DF7B58ACDEA Time : 0.0 sec. user=mdettweiler [2015-06-17 08:56:30] 681*2^1400599-1 is not prime. Res64: 616FAB325B1416D9 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:58:08] 729*2^1400599-1 is not prime. Res64: 643EC54BE5FDA458 Time : 0.0 sec. user=mdettweiler [2015-06-17 08:58:08] 829*2^1400599-1 is not prime. Res64: 7DECCD9D1931CE8E Time : 0.0 sec. user=mdettweiler [2015-06-17 09:13:52] 951*2^1400599-1 is not prime. Res64: 6AB6957CD23FBC6F Time : 0.0 sec. user=mdettweiler [2015-06-17 09:13:52] 969*2^1400599-1 is not prime. Res64: 9A2A99F74D3A6609 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:13:52] 873*2^1400599-1 is not prime. Res64: 09552D27AD1AFB63 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:13:53] 939*2^1400599-1 is not prime. Res64: 0986D32AD7F10A5D Time : 0.0 sec. user=mdettweiler [2015-06-17 09:14:23] 743*2^1400600-1 is not prime. Res64: 40B1DB5561889892 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:14:23] 875*2^1400600-1 is not prime. Res64: 524662F003E1D4FB Time : 0.0 sec. user=mdettweiler [2015-06-17 09:16:03] 945*2^1400600-1 is not prime. Res64: 035E76089278AF7B Time : 0.0 sec. user=mdettweiler [2015-06-17 09:16:03] 957*2^1400600-1 is not prime. Res64: 6C21DE45E350FACC Time : 0.0 sec. user=mdettweiler [2015-06-17 09:31:46] 977*2^1400600-1 is not prime. Res64: FC0811580DDDEF64 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:31:46] 741*2^1400601-1 is not prime. Res64: 27F8BF03498E329D Time : 0.0 sec. user=mdettweiler [2015-06-17 09:31:56] 747*2^1400601-1 is not prime. Res64: 6B8903D5D54AA9B4 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:31:56] 777*2^1400601-1 is not prime. Res64: EC028CBFD70DA20A Time : 0.0 sec. user=mdettweiler [2015-06-17 09:32:12] 817*2^1400601-1 is not prime. Res64: 883DE8D83E9B8ED4 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:32:12] 969*2^1400601-1 is not prime. Res64: 5F332C7D76DC8D02 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:34:07] 997*2^1400601-1 is not prime. Res64: EC42FBAA1965BFE3 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:34:07] 645*2^1400602-1 is not prime. Res64: 2F26E30776864A05 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:49:34] 911*2^1400602-1 is not prime. Res64: 726FFCF0CC45CC6A Time : 0.0 sec. user=mdettweiler [2015-06-17 09:49:34] 917*2^1400602-1 is not prime. Res64: 0610E64113B3EDD1 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:49:36] 735*2^1400602-1 is not prime. Res64: 3794DEBAB97F57E4 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:49:36] 803*2^1400602-1 is not prime. Res64: 237EFF50B0C98A7C Time : 0.0 sec. user=mdettweiler [2015-06-17 09:50:07] 603*2^1400603-1 is not prime. Res64: 709E83561BA00D04 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:50:07] 679*2^1400603-1 is not prime. Res64: 90BF3C3099FDEC52 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:52:01] 853*2^1400603-1 is not prime. Res64: 406254B7FB699E07 Time : 0.0 sec. user=mdettweiler [2015-06-17 09:52:01] 981*2^1400603-1 is not prime. Res64: 444A66626632E57D Time : 0.0 sec. user=mdettweiler [2015-06-17 10:07:32] 759*2^1400604-1 is not prime. Res64: F218F615413C3E45 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:07:33] 857*2^1400604-1 is not prime. Res64: 4E98C535F344B253 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:07:52] 623*2^1400604-1 is not prime. Res64: CDFECF49EAEB649E Time : 0.0 sec. user=mdettweiler [2015-06-17 10:07:52] 635*2^1400604-1 is not prime. Res64: 0571AD2BEE81BD8A Time : 0.0 sec. user=mdettweiler [2015-06-17 10:08:25] 893*2^1400604-1 is not prime. Res64: 328CEA38E08C8624 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:08:26] 625*2^1400605-1 is not prime. Res64: 0DC7B0025032B719 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:09:57] 729*2^1400605-1 is not prime. Res64: 3E7532D586C60BD9 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:09:57] 759*2^1400605-1 is not prime. Res64: 8AEBE579BF9F2421 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:25:30] 887*2^1400606-1 is not prime. Res64: CC8D315D4386620D Time : 0.0 sec. user=mdettweiler [2015-06-17 10:25:30] 921*2^1400606-1 is not prime. Res64: 30B25F00EE7D6196 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:25:44] 755*2^1400606-1 is not prime. Res64: 59850B8E1B154F18 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:25:44] 831*2^1400606-1 is not prime. Res64: 14E327E405CED01F Time : 0.0 sec. user=mdettweiler [2015-06-17 10:26:30] 923*2^1400606-1 is not prime. Res64: 37433D0E87BC09DD Time : 0.0 sec. user=mdettweiler [2015-06-17 10:26:31] 965*2^1400606-1 is not prime. Res64: A6E2702465A26D7A Time : 0.0 sec. user=mdettweiler [2015-06-17 10:28:03] 971*2^1400606-1 is not prime. Res64: 67592BA481EDE51B Time : 0.0 sec. user=mdettweiler [2015-06-17 10:28:03] 769*2^1400607-1 is not prime. Res64: 6E37575644AA4111 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:43:19] 781*2^1400607-1 is not prime. Res64: 83B74B958D6B0A4A Time : 0.0 sec. user=mdettweiler [2015-06-17 10:43:19] 793*2^1400607-1 is not prime. Res64: DAA399195B32E748 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:43:53] 805*2^1400607-1 is not prime. Res64: 74EAF2D56AB3815F Time : 0.0 sec. user=mdettweiler [2015-06-17 10:43:54] 909*2^1400607-1 is not prime. Res64: 20B80AB6BDA705C6 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:44:17] 933*2^1400607-1 is not prime. Res64: E4A9E127FE0A0C96 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:44:17] 979*2^1400607-1 is not prime. Res64: E278A6C9A25BE27E Time : 0.0 sec. user=mdettweiler [2015-06-17 10:45:54] 603*2^1400608-1 is not prime. Res64: CC2972A07B13C421 Time : 0.0 sec. user=mdettweiler [2015-06-17 10:45:54] 605*2^1400608-1 is not prime. Res64: A763F1143B0C58AF Time : 0.0 sec. user=mdettweiler [2015-06-17 11:01:22] 665*2^1400608-1 is not prime. Res64: 3B1D244E552749EA Time : 0.0 sec. user=mdettweiler [2015-06-17 11:01:23] 743*2^1400608-1 is not prime. Res64: 13ABF60835A556BC Time : 0.0 sec. user=mdettweiler [2015-06-17 11:01:40] 747*2^1400608-1 is not prime. Res64: 52874ADECC3531F1 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:01:41] 819*2^1400608-1 is not prime. Res64: FDC82F86DD6039EE Time : 0.0 sec. user=mdettweiler [2015-06-17 11:02:13] 827*2^1400608-1 is not prime. Res64: 46EE64B7E0758526 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:02:14] 915*2^1400608-1 is not prime. Res64: 2BEDE148342170E9 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:04:01] 929*2^1400608-1 is not prime. Res64: 1CAEB329B70FC33E Time : 0.0 sec. user=mdettweiler [2015-06-17 11:04:02] 947*2^1400608-1 is not prime. Res64: 187189C3DCB08199 Time : 0.0 sec. user=juhehe [2015-06-17 11:11:49] 623*2^1400608-1 is not prime. Res64: F50607BC581A55D3 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:19:29] 989*2^1400608-1 is not prime. Res64: E5158EFF041EE0AE Time : 0.0 sec. user=mdettweiler [2015-06-17 11:19:29] 995*2^1400608-1 is not prime. Res64: B5B69A74D9F1CAEC Time : 0.0 sec. user=mdettweiler [2015-06-17 11:19:57] 999*2^1400608-1 is not prime. Res64: F3777DD498501154 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:19:57] 657*2^1400609-1 is not prime. Res64: 5DC4A72F4FC5464D Time : 0.0 sec. user=mdettweiler [2015-06-17 11:20:17] 691*2^1400609-1 is not prime. Res64: 5740E38868FD895D Time : 0.0 sec. user=mdettweiler [2015-06-17 11:20:17] 741*2^1400609-1 is not prime. Res64: 90021B1A03287C05 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:22:07] 759*2^1400609-1 is not prime. Res64: 3DBA6FED129B582A Time : 0.0 sec. user=mdettweiler [2015-06-17 11:22:07] 775*2^1400609-1 is not prime. Res64: 2D84F93AE97B65DF Time : 0.0 sec. user=mdettweiler [2015-06-17 11:37:36] 925*2^1400609-1 is not prime. Res64: 2DAA655F8ED8CFC0 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:37:36] 633*2^1400610-1 is not prime. Res64: B993877190B0F619 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:38:01] 803*2^1400610-1 is not prime. Res64: 78F78CB19F6F805E Time : 0.0 sec. user=mdettweiler [2015-06-17 11:38:01] 833*2^1400610-1 is not prime. Res64: 9FD601BDFEB43146 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:38:21] 875*2^1400610-1 is not prime. Res64: E84A25FA5CBC1813 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:38:22] 885*2^1400610-1 is not prime. Res64: EED2D66C6961D4C8 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:40:03] 941*2^1400610-1 is not prime. Res64: 3E9A819C3EB71197 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:40:03] 951*2^1400610-1 is not prime. Res64: 5F10FE69D45CB9F4 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:55:32] 1001*2^1400610-1 is not prime. Res64: B13E369B9EDAEEF7 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:55:32] 651*2^1400611-1 is not prime. Res64: 5B40B3C369B195E1 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:56:14] 913*2^1400611-1 is not prime. Res64: 6CC3D55502828B6A Time : 0.0 sec. user=mdettweiler [2015-06-17 11:56:14] 717*2^1400612-1 is not prime. Res64: 674832DC93E0D6E0 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:56:17] 685*2^1400611-1 is not prime. Res64: 303B2ECC77861595 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:56:17] 819*2^1400611-1 is not prime. Res64: 1431547A1DFCB47D Time : 0.0 sec. user=mdettweiler [2015-06-17 11:58:01] 735*2^1400612-1 is not prime. Res64: 48443BDB507CE150 Time : 0.0 sec. user=mdettweiler [2015-06-17 11:58:01] 767*2^1400612-1 is not prime. Res64: 2F82FDFE4E2D47D4 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:13:38] 837*2^1400612-1 is not prime. Res64: C8B13BDFCC1AF883 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:13:38] 843*2^1400612-1 is not prime. Res64: 7883682126967CAF Time : 0.0 sec. user=mdettweiler [2015-06-17 12:14:24] 669*2^1400613-1 is not prime. Res64: C5CA87E3FC018573 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:14:24] 747*2^1400613-1 is not prime. Res64: F144673E964308F3 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:14:28] 873*2^1400612-1 is not prime. Res64: A0CCBD686247A482 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:14:29] 957*2^1400612-1 is not prime. Res64: D87659AED8908B6D Time : 0.0 sec. user=mdettweiler [2015-06-17 12:15:54] 819*2^1400613-1 is not prime. Res64: 3B5ABBE1A9FD84F7 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:15:54] 837*2^1400613-1 is not prime. Res64: C750E75114CFF756 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:31:48] 847*2^1400613-1 is not prime. Res64: CF3800E7E0A61867 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:31:48] 747*2^1400614-1 is not prime. Res64: A57E9101A424ABEC Time : 0.0 sec. user=mdettweiler [2015-06-17 12:32:18] 813*2^1400614-1 is not prime. Res64: 9A893F893ECDEE8E Time : 0.0 sec. user=mdettweiler [2015-06-17 12:32:19] 987*2^1400614-1 is not prime. Res64: 99A399E1EEC2812C Time : 0.0 sec. user=mdettweiler [2015-06-17 12:32:37] 603*2^1400615-1 is not prime. Res64: 3E534502A510FC97 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:32:37] 633*2^1400615-1 is not prime. Res64: ED955B15612C29D6 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:33:55] 789*2^1400615-1 is not prime. Res64: 4894A5AE5AF84E29 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:33:55] 831*2^1400615-1 is not prime. Res64: D8E51246A042B206 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:49:48] 859*2^1400615-1 is not prime. Res64: 4EEA529D0A232C1E Time : 0.0 sec. user=mdettweiler [2015-06-17 12:49:48] 861*2^1400615-1 is not prime. Res64: 50A217678A50C474 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:50:10] 909*2^1400615-1 is not prime. Res64: D3598E673AC2B86D Time : 0.0 sec. user=mdettweiler [2015-06-17 12:50:10] 985*2^1400615-1 is not prime. Res64: CDAA60C8722D4314 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:50:36] 615*2^1400616-1 is not prime. Res64: 1BB3975A5C86B9EF Time : 0.0 sec. user=mdettweiler [2015-06-17 12:50:36] 627*2^1400616-1 is not prime. Res64: 5ECF93D546590D53 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:51:58] 635*2^1400616-1 is not prime. Res64: DD867C8A4B2CCA90 Time : 0.0 sec. user=mdettweiler [2015-06-17 12:51:58] 707*2^1400616-1 is not prime. Res64: 7BF00317AA7BC127 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:07:53] 719*2^1400616-1 is not prime. Res64: D1994E5C5E8901AB Time : 0.0 sec. user=mdettweiler [2015-06-17 13:07:54] 747*2^1400616-1 is not prime. Res64: 25D6867251590558 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:08:20] 893*2^1400616-1 is not prime. Res64: A7044A267ACE6F97 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:08:20] 923*2^1400616-1 is not prime. Res64: 3A1F40F529C5C904 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:09:06] 993*2^1400616-1 is not prime. Res64: A274C287F5A30770 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:09:06] 729*2^1400617-1 is not prime. Res64: BD1E87FC424FE3F5 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:10:18] 819*2^1400617-1 is not prime. Res64: 28667600EB2E2419 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:10:18] 849*2^1400617-1 is not prime. Res64: FD2C45621E43D2AB Time : 0.0 sec. user=mdettweiler [2015-06-17 13:26:13] 897*2^1400617-1 is not prime. Res64: E29D0F751660A4CC Time : 0.0 sec. user=mdettweiler [2015-06-17 13:26:13] 931*2^1400617-1 is not prime. Res64: A3A32924D1B97CF9 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:26:19] 957*2^1400617-1 is not prime. Res64: E9D2EBE9CBA4C46E Time : 0.0 sec. user=mdettweiler [2015-06-17 13:26:20] 791*2^1400618-1 is not prime. Res64: 072C474B9B5338A3 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:27:13] 831*2^1400618-1 is not prime. Res64: F0843BF1DC9BC5D5 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:27:13] 951*2^1400618-1 is not prime. Res64: 579B7722273BE356 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:28:41] 685*2^1400619-1 is not prime. Res64: F237D5C76E363904 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:28:41] 775*2^1400619-1 is not prime. Res64: 14222C046B0675DC Time : 0.0 sec. user=mdettweiler [2015-06-17 13:44:29] 879*2^1400619-1 is not prime. Res64: 9A3679A9E3A857E3 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:44:30] 895*2^1400619-1 is not prime. Res64: EA3954AE88EE51DC Time : 0.0 sec. user=mdettweiler [2015-06-17 13:44:44] 951*2^1400619-1 is not prime. Res64: D315F9D9B6B88D69 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:44:44] 603*2^1400620-1 is not prime. Res64: 0A9C08110BDF7E27 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:45:28] 765*2^1400620-1 is not prime. Res64: 899D389D3A33B4CC Time : 0.0 sec. user=mdettweiler [2015-06-17 13:45:28] 827*2^1400620-1 is not prime. Res64: 455A2358AB5C604E Time : 0.0 sec. user=mdettweiler [2015-06-17 13:46:58] 855*2^1400620-1 is not prime. Res64: 9DE67AC20DFC74A0 Time : 0.0 sec. user=mdettweiler [2015-06-17 13:46:59] 657*2^1400621-1 is not prime. Res64: 7DEE1B7644DDD391 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:02:50] 675*2^1400621-1 is not prime. Res64: 21726AC1D79F01C3 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:02:51] 741*2^1400621-1 is not prime. Res64: E2DE69B6844312C5 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:03:00] 837*2^1400621-1 is not prime. Res64: 4644A4EA1EE0EF9F Time : 0.0 sec. user=mdettweiler [2015-06-17 14:03:00] 859*2^1400621-1 is not prime. Res64: 8D722C97861A8D69 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:03:33] 861*2^1400621-1 is not prime. Res64: 6676DCD2FD652951 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:03:34] 979*2^1400621-1 is not prime. Res64: F217CF2126D3DAE3 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:05:10] 717*2^1400622-1 is not prime. Res64: B21B195EA281A657 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:05:11] 801*2^1400622-1 is not prime. Res64: 7D1AC07C683089F2 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:21:08] 917*2^1400622-1 is not prime. Res64: 22A860737B12A324 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:21:08] 673*2^1400623-1 is not prime. Res64: B76D7D722B824005 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:21:49] 681*2^1400623-1 is not prime. Res64: CA879F12314C0FA0 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:21:50] 735*2^1400623-1 is not prime. Res64: 8C52680AEDC904B7 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:21:51] 807*2^1400622-1 is not prime. Res64: 36CCE126D9B33331 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:21:51] 893*2^1400622-1 is not prime. Res64: 3A0B2F0179CA7EE7 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:23:17] 789*2^1400623-1 is not prime. Res64: 907ABDECF28C4782 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:23:17] 885*2^1400623-1 is not prime. Res64: 8BA57437CBF4FBE0 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:39:55] 767*2^1400624-1 is not prime. Res64: CF22AFA46FFC8272 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:39:55] 897*2^1400624-1 is not prime. Res64: 516AF773072D7779 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:40:09] 777*2^1400625-1 is not prime. Res64: 920A493FC275C4D5 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:40:09] 789*2^1400625-1 is not prime. Res64: FE523B151F0DA393 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:41:00] 995*2^1400624-1 is not prime. Res64: 1F86204ECDE39E5D Time : 0.0 sec. user=mdettweiler [2015-06-17 14:41:00] 627*2^1400625-1 is not prime. Res64: 35B9574435EA5F82 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:41:44] 817*2^1400625-1 is not prime. Res64: A7C9D796B911D64D Time : 0.0 sec. user=mdettweiler [2015-06-17 14:41:45] 937*2^1400625-1 is not prime. Res64: E57FB2DE95548B0B Time : 0.0 sec. user=mdettweiler [2015-06-17 14:58:52] 647*2^1400626-1 is not prime. Res64: 9AA6E8AD97982162 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:58:52] 671*2^1400626-1 is not prime. Res64: 5614A22DA61AB4B4 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:59:23] 701*2^1400626-1 is not prime. Res64: 027AFB10A2A25B26 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:59:24] 903*2^1400626-1 is not prime. Res64: E928ABCF90FE6499 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:59:51] 975*2^1400626-1 is not prime. Res64: A7AB8B6B7CE56D98 Time : 0.0 sec. user=mdettweiler [2015-06-17 14:59:51] 609*2^1400627-1 is not prime. Res64: 5C5ACEC7AE0F7CFF Time : 0.0 sec. user=mdettweiler [2015-06-17 15:00:10] 655*2^1400627-1 is not prime. Res64: 3D21900BE9B3E01B Time : 0.0 sec. user=mdettweiler [2015-06-17 15:00:11] 693*2^1400627-1 is not prime. Res64: C0E35FBDF03379CD Time : 0.0 sec. user=mdettweiler [2015-06-17 15:17:08] 705*2^1400627-1 is not prime. Res64: 126BDD567B35FC48 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:17:08] 801*2^1400627-1 is not prime. Res64: AF09028EEDB475CF Time : 0.0 sec. user=mdettweiler [2015-06-17 15:17:37] 819*2^1400627-1 is not prime. Res64: BECEB6AA742FF198 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:17:37] 861*2^1400627-1 is not prime. Res64: C97F1931EC5865FA Time : 0.0 sec. user=mdettweiler [2015-06-17 15:18:11] 885*2^1400627-1 is not prime. Res64: 7B09B8C21AD77A00 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:18:12] 981*2^1400627-1 is not prime. Res64: 32EE994152E612CC Time : 0.0 sec. user=mdettweiler [2015-06-17 15:18:28] 723*2^1400628-1 is not prime. Res64: 538884B38C80BD8A Time : 0.0 sec. user=mdettweiler [2015-06-17 15:18:28] 759*2^1400628-1 is not prime. Res64: 69689AFCE68BB971 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:35:46] 777*2^1400628-1 is not prime. Res64: 7E62808ED6B086B8 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:35:47] 783*2^1400628-1 is not prime. Res64: 66CF90D7B4B33A2E Time : 0.0 sec. user=mdettweiler [2015-06-17 15:35:52] 899*2^1400628-1 is not prime. Res64: 569969ED6285AB4B Time : 0.0 sec. user=mdettweiler [2015-06-17 15:35:53] 945*2^1400628-1 is not prime. Res64: EE075A562FB3218B Time : 0.0 sec. user=mdettweiler [2015-06-17 15:36:51] 741*2^1400629-1 is not prime. Res64: 9F2CD176FB02716D Time : 0.0 sec. user=mdettweiler [2015-06-17 15:36:51] 747*2^1400629-1 is not prime. Res64: 41513A1A81759507 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:36:54] 975*2^1400628-1 is not prime. Res64: B9DD33CB3B23F82F Time : 0.0 sec. user=mdettweiler [2015-06-17 15:36:55] 679*2^1400629-1 is not prime. Res64: E23855788AFAF316 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:54:05] 635*2^1400630-1 is not prime. Res64: C2902CDCB2F3089D Time : 0.0 sec. user=mdettweiler [2015-06-17 15:54:05] 931*2^1400629-1 is not prime. Res64: 91E57F9F907EA052 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:54:05] 773*2^1400630-1 is not prime. Res64: FE16C20518270799 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:54:05] 627*2^1400630-1 is not prime. Res64: 9A1F8818F757E62E Time : 0.0 sec. user=mdettweiler [2015-06-17 15:55:02] 867*2^1400630-1 is not prime. Res64: 5B6DE4E4673D39A7 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:55:03] 893*2^1400630-1 is not prime. Res64: C412426FC35DA31A Time : 0.0 sec. user=mdettweiler [2015-06-17 15:55:13] 825*2^1400630-1 is not prime. Res64: 319C82A4AC5AA9B0 Time : 0.0 sec. user=mdettweiler [2015-06-17 15:55:14] 857*2^1400630-1 is not prime. Res64: 6ECE7C829975679E Time : 0.0 sec. user=mdettweiler [2015-06-17 16:12:12] 981*2^1400630-1 is not prime. Res64: CE3104532F50B1E8 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:12:12] 601*2^1400631-1 is not prime. Res64: 363D2507AF21A51D Time : 0.0 sec. user=mdettweiler [2015-06-17 16:12:14] 625*2^1400631-1 is not prime. Res64: F2D573CB9FCA13EB Time : 0.0 sec. user=mdettweiler [2015-06-17 16:12:14] 693*2^1400631-1 is not prime. Res64: 085D1BD3471B30DC Time : 0.0 sec. user=mdettweiler [2015-06-17 16:13:11] 805*2^1400631-1 is not prime. Res64: 14E2DD4077A60742 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:13:12] 865*2^1400631-1 is not prime. Res64: 8FE06AC9CF6398ED Time : 0.0 sec. user=mdettweiler [2015-06-17 16:13:15] 871*2^1400631-1 is not prime. Res64: 68A6C4303350D84D Time : 0.0 sec. user=mdettweiler [2015-06-17 16:13:15] 933*2^1400631-1 is not prime. Res64: A034E0D978B1A471 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:30:31] 653*2^1400632-1 is not prime. Res64: BCDC7D0A95927052 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:30:32] 665*2^1400632-1 is not prime. Res64: 9038F46EDF431773 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:30:43] 943*2^1400631-1 is not prime. Res64: 5EF39C675746E129 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:30:44] 949*2^1400631-1 is not prime. Res64: 0DB37365EAAF5430 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:31:23] 983*2^1400632-1 is not prime. Res64: D7786B59D35D4AFC Time : 0.0 sec. user=mdettweiler [2015-06-17 16:31:24] 637*2^1400633-1 is not prime. Res64: 8B2C59DB8AC73CAE Time : 0.0 sec. user=mdettweiler [2015-06-17 16:31:47] 693*2^1400632-1 is not prime. Res64: 5E5DE967EC5A7918 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:31:47] 825*2^1400632-1 is not prime. Res64: 483330B7A4045248 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:49:08] 679*2^1400633-1 is not prime. Res64: 6A21A42F3DACF464 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:49:08] 759*2^1400633-1 is not prime. Res64: 7E80F4770F5E5CC8 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:49:28] 847*2^1400633-1 is not prime. Res64: E13C57C2D641E274 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:49:28] 633*2^1400634-1 is not prime. Res64: B31B2B65E2E53B50 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:49:55] 635*2^1400634-1 is not prime. Res64: 2644F9AFA31B0614 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:49:56] 695*2^1400634-1 is not prime. Res64: E4D7F3274537CAB9 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:50:19] 783*2^1400634-1 is not prime. Res64: 87BD3826DA39C9C7 Time : 0.0 sec. user=mdettweiler [2015-06-17 16:50:19] 927*2^1400634-1 is not prime. Res64: AC64C2FB6C72EE93 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:07:41] 759*2^1400635-1 is not prime. Res64: F95535A8D67C7700 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:07:42] 841*2^1400635-1 is not prime. Res64: 5DABFE66E7D58A9A Time : 0.0 sec. user=mdettweiler [2015-06-17 17:07:43] 1001*2^1400634-1 is not prime. Res64: 7C0E4AF7AA3DA53B Time : 0.0 sec. user=mdettweiler [2015-06-17 17:07:43] 601*2^1400635-1 is not prime. Res64: 7BA28F8F9B487C2D Time : 0.0 sec. user=mdettweiler [2015-06-17 17:08:14] 885*2^1400635-1 is not prime. Res64: 6EABCC707A4A659F Time : 0.0 sec. user=mdettweiler [2015-06-17 17:08:14] 659*2^1400636-1 is not prime. Res64: 02818E77EFE02143 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:08:40] 767*2^1400636-1 is not prime. Res64: D882E7F9C594E6EA Time : 0.0 sec. user=mdettweiler [2015-06-17 17:08:41] 827*2^1400636-1 is not prime. Res64: 011EBB5C9C112391 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:26:51] 963*2^1400636-1 is not prime. Res64: A4FB3D294874343B Time : 0.0 sec. user=mdettweiler [2015-06-17 17:26:51] 607*2^1400637-1 is not prime. Res64: A3D58EDC77FDA124 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:27:04] 839*2^1400636-1 is not prime. Res64: 8767A1F48F367ED2 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:27:05] 855*2^1400636-1 is not prime. Res64: DBF015364041626B Time : 0.0 sec. user=mdettweiler [2015-06-17 17:27:36] 651*2^1400637-1 is not prime. Res64: 67BF6CBFE81AB762 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:27:37] 759*2^1400637-1 is not prime. Res64: 0DD7C337FA5EEE2F Time : 0.0 sec. user=mdettweiler [2015-06-17 17:27:37] 765*2^1400637-1 is not prime. Res64: A5E1E75FFD5A0EB4 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:27:37] 847*2^1400637-1 is not prime. Res64: C7FAEF80152060F3 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:45:55] 605*2^1400638-1 is not prime. Res64: E2C7129B49763AD1 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:45:56] 635*2^1400638-1 is not prime. Res64: 803BAB6FBBE81935 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:46:05] 871*2^1400637-1 is not prime. Res64: 106E9B59B0BB0348 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:46:06] 889*2^1400637-1 is not prime. Res64: D9C3E2B7452E3DD5 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:46:32] 821*2^1400638-1 is not prime. Res64: 33B3BE41B5616908 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:46:33] 831*2^1400638-1 is not prime. Res64: 83188C08680FE159 Time : 0.0 sec. user=mdettweiler [2015-06-17 17:46:36] 915*2^1400638-1 is not prime. Res64: 433BF9F938CE430D Time : 0.0 sec. user=mdettweiler [2015-06-17 17:46:37] 601*2^1400639-1 is not prime. Res64: 5A7934A195A52BDB Time : 0.0 sec. user=mdettweiler [2015-06-17 18:04:05] 771*2^1400639-1 is not prime. Res64: BAAD26828ADAC364 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:04:06] 813*2^1400639-1 is not prime. Res64: 427D70E48A552C03 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:04:35] 789*2^1400640-1 is not prime. Res64: F513998F313EAFB8 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:04:36] 795*2^1400640-1 is not prime. Res64: D4DDF53BDE732D09 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:04:43] 609*2^1400640-1 is not prime. Res64: 5DF723AFC5DE6A7B Time : 0.0 sec. user=mdettweiler [2015-06-17 18:04:44] 615*2^1400640-1 is not prime. Res64: 4EBD9A133C5DF8A8 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:05:09] 839*2^1400640-1 is not prime. Res64: 4A6732676605EBD3 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:05:10] 845*2^1400640-1 is not prime. Res64: 4496D15F3C3CBCD8 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:22:47] 909*2^1400640-1 is not prime. Res64: 55162F989C49F339 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:22:47] 927*2^1400640-1 is not prime. Res64: 3E21E988E7A0F387 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:23:06] 717*2^1400641-1 is not prime. Res64: F7FC26134CD6B651 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:23:07] 751*2^1400641-1 is not prime. Res64: 2595FE09612A052C Time : 0.0 sec. user=mdettweiler [2015-06-17 18:23:13] 959*2^1400640-1 is not prime. Res64: A21403E1C5E8D626 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:23:13] 715*2^1400641-1 is not prime. Res64: B61C69C372DF3C8A Time : 0.0 sec. user=mdettweiler [2015-06-17 18:23:35] 789*2^1400641-1 is not prime. Res64: 15CE6DC8AF4F5345 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:23:35] 817*2^1400641-1 is not prime. Res64: 90694EC05473E2E0 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:40:40] 877*2^1400641-1 is not prime. Res64: CDEC466D3FFA5681 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:40:40] 979*2^1400641-1 is not prime. Res64: F7FFBE2C81BE92C1 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:40:54] 987*2^1400641-1 is not prime. Res64: B6346EF34DAF2304 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:40:54] 603*2^1400642-1 is not prime. Res64: 855FB7C44FC47691 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:41:13] 731*2^1400642-1 is not prime. Res64: B3A960E3A8ACA30A Time : 0.0 sec. user=mdettweiler [2015-06-17 18:41:14] 747*2^1400642-1 is not prime. Res64: C3E64581C26133F9 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:41:18] 873*2^1400642-1 is not prime. Res64: 96FD855CC98B8DF3 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:41:19] 963*2^1400642-1 is not prime. Res64: 58AE01C50B878776 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:58:38] 705*2^1400643-1 is not prime. Res64: 9D20653BDDAB9F2A Time : 0.0 sec. user=mdettweiler [2015-06-17 18:58:38] 723*2^1400643-1 is not prime. Res64: 80FE1E5A25259440 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:58:51] 657*2^1400644-1 is not prime. Res64: 7BEB9B19ED4F4350 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:58:52] 773*2^1400644-1 is not prime. Res64: B2494A8BF74DD2A5 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:59:03] 995*2^1400644-1 is not prime. Res64: 62886ADE2B364845 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:59:03] 721*2^1400645-1 is not prime. Res64: 408F1A8589D5FA35 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:59:11] 827*2^1400644-1 is not prime. Res64: 7C9883E31AB972B2 Time : 0.0 sec. user=mdettweiler [2015-06-17 18:59:11] 903*2^1400644-1 is not prime. Res64: C73DB22C3F85CD7A Time : 0.0 sec. user=mdettweiler [2015-06-17 19:16:28] 727*2^1400645-1 is not prime. Res64: 9B2FC76DA2E8E888 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:16:29] 861*2^1400645-1 is not prime. Res64: 1D285AE7F2C9CFBB Time : 0.0 sec. user=mdettweiler [2015-06-17 19:16:43] 987*2^1400645-1 is not prime. Res64: 8B64E0F9FC6E475C Time : 0.0 sec. user=mdettweiler [2015-06-17 19:16:43] 657*2^1400646-1 is not prime. Res64: B11307B31D003769 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:16:50] 927*2^1400645-1 is not prime. Res64: 004DF81CF571FBA5 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:16:51] 949*2^1400645-1 is not prime. Res64: 69F0515AFA7CB4FA Time : 0.0 sec. user=mdettweiler [2015-06-17 19:17:03] 861*2^1400646-1 is not prime. Res64: 9BCF4F520F933E09 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:17:03] 891*2^1400646-1 is not prime. Res64: 97A5CE4845C9EE76 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:19] 923*2^1400646-1 is not prime. Res64: 91C36EECFF32D079 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:20] 963*2^1400646-1 is not prime. Res64: F4F94AF80086A115 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:39] 639*2^1400647-1 is not prime. Res64: 894EAD8240EE1656 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:39] 759*2^1400647-1 is not prime. Res64: 32CDFE5E5993FB5E Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:41] 1001*2^1400646-1 is not prime. Res64: 21ADD094BF6221A1 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:42] 619*2^1400647-1 is not prime. Res64: C430EE9B1AC20E73 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:54] 615*2^1400648-1 is not prime. Res64: EA8C9A5D98A9A511 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:34:54] 633*2^1400648-1 is not prime. Res64: 1A5FFE844D1FA523 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:52:46] 665*2^1400648-1 is not prime. Res64: DEC7F80634E8BD77 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:52:46] 689*2^1400648-1 is not prime. Res64: 2224CEE5D25638C3 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:53:06] 713*2^1400648-1 is not prime. Res64: 2EC1267A01123DA8 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:53:06] 725*2^1400648-1 is not prime. Res64: 073BD192741F554B Time : 0.0 sec. user=mdettweiler [2015-06-17 19:53:06] 843*2^1400648-1 is not prime. Res64: E6C87C5B44BC7881 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:53:06] 845*2^1400648-1 is not prime. Res64: 77A27B0E525A2CB7 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:53:28] 855*2^1400648-1 is not prime. Res64: 381A8DB926FF8B76 Time : 0.0 sec. user=mdettweiler [2015-06-17 19:53:29] 923*2^1400648-1 is not prime. Res64: EA40B95673DE9605 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:11:50] 935*2^1400648-1 is not prime. Res64: 84EA3F8DA7BD5F6A Time : 0.0 sec. user=mdettweiler [2015-06-17 20:11:51] 759*2^1400649-1 is not prime. Res64: D43C41669C7DD785 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:12:18] 623*2^1400650-1 is not prime. Res64: C00239088AFCA030 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:12:18] 695*2^1400650-1 is not prime. Res64: 4BA9CB30A91C8B3B Time : 0.0 sec. user=mdettweiler [2015-06-17 20:12:28] 807*2^1400649-1 is not prime. Res64: E3D71EF66CA6B65C Time : 0.0 sec. user=mdettweiler [2015-06-17 20:12:28] 919*2^1400649-1 is not prime. Res64: CA901D3881B07A64 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:13:12] 731*2^1400650-1 is not prime. Res64: 12F97F83A4358542 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:13:13] 825*2^1400650-1 is not prime. Res64: ABD01E4A1682125A Time : 0.0 sec. user=mdettweiler [2015-06-17 20:31:20] 833*2^1400650-1 is not prime. Res64: 374196CE7FDC177F Time : 0.0 sec. user=mdettweiler [2015-06-17 20:31:21] 843*2^1400650-1 is not prime. Res64: 61CE94AEA86A71F5 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:31:50] 911*2^1400650-1 is not prime. Res64: F94C26188458E315 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:31:51] 995*2^1400650-1 is not prime. Res64: 61ACE95DF489F84D Time : 0.0 sec. user=mdettweiler [2015-06-17 20:31:54] 861*2^1400650-1 is not prime. Res64: EFCCDBCA77E5C77A Time : 0.0 sec. user=mdettweiler [2015-06-17 20:31:54] 887*2^1400650-1 is not prime. Res64: 3E2AF2819DE3E7FD Time : 0.0 sec. user=mdettweiler [2015-06-17 20:32:54] 675*2^1400651-1 is not prime. Res64: 3423A34EEA3A4EBA Time : 0.0 sec. user=mdettweiler [2015-06-17 20:32:55] 745*2^1400651-1 is not prime. Res64: 4E3EB0D6F78F9B16 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:52:06] 993*2^1400651-1 is not prime. Res64: F4425BA4C4638335 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:52:06] 629*2^1400652-1 is not prime. Res64: 77DAE9BC4D9FBD86 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:52:10] 759*2^1400651-1 is not prime. Res64: 258770E3ACEFC8D5 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:52:10] 811*2^1400651-1 is not prime. Res64: E1BB32FAC1BFBDA5 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:52:35] 943*2^1400651-1 is not prime. Res64: D9A6CBEA830D5BDF Time : 0.0 sec. user=mdettweiler [2015-06-17 20:52:36] 955*2^1400651-1 is not prime. Res64: 480272F683F2363D Time : 0.0 sec. user=mdettweiler [2015-06-17 20:53:27] 717*2^1400652-1 is not prime. Res64: EAB446817715EC30 Time : 0.0 sec. user=mdettweiler [2015-06-17 20:53:28] 767*2^1400652-1 is not prime. Res64: EFD3EB7815A16FDC Time : 0.0 sec. user=mdettweiler [2015-06-17 21:10:35] 857*2^1400652-1 is not prime. Res64: 393EB5EEA41B5BA5 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:10:36] 899*2^1400652-1 is not prime. Res64: 2FF1FB21D1982000 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:10:41] 987*2^1400652-1 is not prime. Res64: 5F85F566FAC322A8 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:10:41] 615*2^1400653-1 is not prime. Res64: 0DE287C8A673739D Time : 0.0 sec. user=mdettweiler [2015-06-17 21:11:09] 639*2^1400653-1 is not prime. Res64: 80FA8A7E2B7DB39D Time : 0.0 sec. user=mdettweiler [2015-06-17 21:11:09] 727*2^1400653-1 is not prime. Res64: 6AFE9E262928E72D Time : 0.0 sec. user=mdettweiler [2015-06-17 21:12:02] 729*2^1400653-1 is not prime. Res64: 4DCEA6839A757599 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:12:03] 775*2^1400653-1 is not prime. Res64: D9AB995C89ADC6DD Time : 0.0 sec. user=mdettweiler [2015-06-17 21:29:15] 671*2^1400654-1 is not prime. Res64: 7996DC1A9F9AAD38 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:29:15] 677*2^1400654-1 is not prime. Res64: 1B1F0337B9B9617E Time : 0.0 sec. user=mdettweiler [2015-06-17 21:29:21] 707*2^1400654-1 is not prime. Res64: 1E150C199C38B646 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:29:21] 741*2^1400654-1 is not prime. Res64: 9AECCD38FB8E1D53 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:29:46] 755*2^1400654-1 is not prime. Res64: 7D5A491028E61840 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:29:46] 795*2^1400654-1 is not prime. Res64: 124181BD54F71F32 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:30:53] 851*2^1400654-1 is not prime. Res64: 38D49137F3B8E96B Time : 0.0 sec. user=mdettweiler [2015-06-17 21:30:53] 927*2^1400654-1 is not prime. Res64: 30EC29805C2CE7E0 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:50:04] 935*2^1400654-1 is not prime. Res64: E69C2FEDCCF9C55E Time : 0.0 sec. user=mdettweiler [2015-06-17 21:50:05] 765*2^1400655-1 is not prime. Res64: DA1E99EACA01A4E4 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:50:08] 805*2^1400655-1 is not prime. Res64: 328E1D4A2BC3724B Time : 0.0 sec. user=mdettweiler [2015-06-17 21:50:08] 961*2^1400655-1 is not prime. Res64: 8FB0D06B0455FD3B Time : 0.0 sec. user=mdettweiler [2015-06-17 21:50:47] 615*2^1400656-1 is not prime. Res64: 6E2FCA18C21F8BB7 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:50:47] 705*2^1400656-1 is not prime. Res64: 7F83307B4C9A790A Time : 0.0 sec. user=mdettweiler [2015-06-17 21:51:39] 773*2^1400656-1 is not prime. Res64: A7869ED7B548EC73 Time : 0.0 sec. user=mdettweiler [2015-06-17 21:51:39] 845*2^1400656-1 is not prime. Res64: CE69BF43F4B67593 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:10:22] 923*2^1400656-1 is not prime. Res64: 07422CB189156BF7 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:10:22] 747*2^1400657-1 is not prime. Res64: 310640C36F671109 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:10:30] 903*2^1400656-1 is not prime. Res64: 22BB880684F90AD2 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:10:30] 909*2^1400656-1 is not prime. Res64: 7400011D652AC599 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:11:09] 841*2^1400657-1 is not prime. Res64: 021C0C0892DECF63 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:11:09] 909*2^1400657-1 is not prime. Res64: 187CA8801FF0DABC Time : 0.0 sec. user=mdettweiler [2015-06-17 22:12:24] 957*2^1400657-1 is not prime. Res64: 44B7FACC1DA6106E Time : 0.0 sec. user=mdettweiler [2015-06-17 22:12:24] 997*2^1400657-1 is not prime. Res64: 4A4AAA5673989AA5 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:29:36] 605*2^1400658-1 is not prime. Res64: 5D1F0DEA6A0D5070 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:29:37] 611*2^1400658-1 is not prime. Res64: CE5BF4D76C10B6DE Time : 0.0 sec. user=mdettweiler [2015-06-17 22:29:39] 705*2^1400658-1 is not prime. Res64: 02BA5398D8A219FB Time : 0.0 sec. user=mdettweiler [2015-06-17 22:29:39] 731*2^1400658-1 is not prime. Res64: EBE0DCC52B0B0145 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:30:42] 773*2^1400658-1 is not prime. Res64: 0048A6BD9213C799 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:30:42] 797*2^1400658-1 is not prime. Res64: 74E05639952432CC Time : 0.0 sec. user=mdettweiler [2015-06-17 22:31:36] 821*2^1400658-1 is not prime. Res64: 2B55683286831697 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:31:36] 921*2^1400658-1 is not prime. Res64: D97566BB164BDCA8 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:48:21] 751*2^1400659-1 is not prime. Res64: 44A8213115DA660C Time : 0.0 sec. user=mdettweiler [2015-06-17 22:48:22] 793*2^1400659-1 is not prime. Res64: 6D47571D839C8110 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:48:40] 663*2^1400659-1 is not prime. Res64: E1333FEBE65AE823 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:48:40] 741*2^1400659-1 is not prime. Res64: 1286151507964642 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:50:10] 835*2^1400659-1 is not prime. Res64: E1635492068707CD Time : 0.0 sec. user=mdettweiler [2015-06-17 22:50:10] 909*2^1400659-1 is not prime. Res64: 9BE475E6D1E8FE52 Time : 0.0 sec. user=mdettweiler [2015-06-17 22:50:38] 633*2^1400660-1 is not prime. Res64: A8855D532EED790C Time : 0.0 sec. user=mdettweiler [2015-06-17 22:50:39] 665*2^1400660-1 is not prime. Res64: 133EB01C0186275E Time : 0.0 sec. user=juhehe [2015-06-17 22:56:22] 971*2^1400658-1 is not prime. Res64: 38772C690882D2DC Time : 0.0 sec. user=mdettweiler [2015-06-17 23:06:49] 827*2^1400660-1 is not prime. Res64: A2645182F0F19468 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:06:49] 845*2^1400660-1 is not prime. Res64: 745059DE8728547E Time : 0.0 sec. user=mdettweiler [2015-06-17 23:08:00] 855*2^1400660-1 is not prime. Res64: 43E725C9AA6B8A96 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:08:01] 983*2^1400660-1 is not prime. Res64: A26D39380E13C326 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:08:31] 727*2^1400661-1 is not prime. Res64: 4B1B5777EBFA5176 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:08:31] 745*2^1400661-1 is not prime. Res64: 9740AC000BBB3BBA Time : 0.0 sec. user=mdettweiler [2015-06-17 23:08:55] 811*2^1400661-1 is not prime. Res64: C4822AC64E454C81 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:08:56] 837*2^1400661-1 is not prime. Res64: 857118DC31150AD7 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:25:19] 861*2^1400661-1 is not prime. Res64: A46E36AA46ADC393 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:25:20] 921*2^1400661-1 is not prime. Res64: F1566BFE00BCF126 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:26:41] 671*2^1400662-1 is not prime. Res64: 147B5BD7D24B75E1 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:26:42] 717*2^1400662-1 is not prime. Res64: 560BF0DB212C973C Time : 0.0 sec. user=mdettweiler [2015-06-17 23:26:53] 741*2^1400662-1 is not prime. Res64: 7A01AC114D9A949E Time : 0.0 sec. user=mdettweiler [2015-06-17 23:26:54] 827*2^1400662-1 is not prime. Res64: FB4E48692D538F88 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:27:50] 951*2^1400662-1 is not prime. Res64: 292746AE0B1299F5 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:27:50] 1001*2^1400662-1 is not prime. Res64: D970A1BC5D7FD36A Time : 0.0 sec. user=mdettweiler [2015-06-17 23:43:26] 615*2^1400663-1 is not prime. Res64: A1F7F28781597778 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:43:27] 675*2^1400663-1 is not prime. Res64: A89CE1C11CACF171 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:44:52] 693*2^1400663-1 is not prime. Res64: E18598ED77A92057 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:44:53] 705*2^1400663-1 is not prime. Res64: A805C95EFA2D8BDD Time : 0.0 sec. user=mdettweiler [2015-06-17 23:45:23] 825*2^1400663-1 is not prime. Res64: 5F9629D96942A96F Time : 0.0 sec. user=mdettweiler [2015-06-17 23:45:23] 973*2^1400663-1 is not prime. Res64: C8C7361F91510D01 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:45:58] 663*2^1400664-1 is not prime. Res64: EE3C82C39CDB5582 Time : 0.0 sec. user=mdettweiler [2015-06-17 23:45:59] 675*2^1400664-1 is not prime. Res64: 5CB55BF23AAF42A0 Time : 0.0 sec.