user=mdettweiler [2016-08-02 00:03:51] 685*2^1436469-1 is not prime. Res64: 6B811784048A7993 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:03:53] 751*2^1436469-1 is not prime. Res64: EBF2C3076073556C Time : 0.0 sec. user=mdettweiler [2016-08-02 00:03:55] 847*2^1436469-1 is not prime. Res64: 887F1AC786F534B8 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:03:57] 867*2^1436469-1 is not prime. Res64: 9A0B9495F57CCF76 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:03:59] 921*2^1436469-1 is not prime. Res64: 89CC12D792C09BC6 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:07:11] 949*2^1436469-1 is not prime. Res64: AE1E9DF8055EBFB2 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:07:12] 969*2^1436469-1 is not prime. Res64: 7F45F35994C07DFA Time : 0.0 sec. user=mdettweiler [2016-08-02 00:07:13] 827*2^1436470-1 is not prime. Res64: AE19105D6441DC08 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:07:14] 923*2^1436470-1 is not prime. Res64: 7F5A451C19E65869 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:07:15] 649*2^1436471-1 is not prime. Res64: 86DD8E2238DE5464 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:11:33] 651*2^1436471-1 is not prime. Res64: 04CA4499AFF9A233 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:11:34] 759*2^1436471-1 is not prime. Res64: DC94C1E9ED4230F9 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:11:34] 841*2^1436471-1 is not prime. Res64: 6891C81A446F160E Time : 0.0 sec. user=mdettweiler [2016-08-02 00:11:34] 843*2^1436471-1 is not prime. Res64: 9DA26D5C1DF2C6D9 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:11:35] 665*2^1436472-1 is not prime. Res64: 55ECFB7F4A29AD05 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:48:33] 675*2^1436472-1 is not prime. Res64: B9C8831C49AFE9BF Time : 0.0 sec. user=mdettweiler [2016-08-02 00:48:33] 689*2^1436472-1 is not prime. Res64: CFAB95CDD8A96F64 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:48:33] 695*2^1436472-1 is not prime. Res64: 6FED02058B3315F0 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:48:34] 719*2^1436472-1 is not prime. Res64: EDECA41F69632891 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:48:34] 797*2^1436472-1 is not prime. Res64: 691E0D215BC85CEC Time : 0.0 sec. user=mdettweiler [2016-08-02 00:51:43] 879*2^1436472-1 is not prime. Res64: 4D7251B99FD71CC6 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:51:44] 917*2^1436472-1 is not prime. Res64: C62110470A3CC4D2 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:51:44] 607*2^1436473-1 is not prime. Res64: C32F9735EB3E4D0A Time : 0.0 sec. user=mdettweiler [2016-08-02 00:51:44] 649*2^1436473-1 is not prime. Res64: 4906F3171242407B Time : 0.0 sec. user=mdettweiler [2016-08-02 00:51:45] 745*2^1436473-1 is not prime. Res64: 8D916FE094D406A4 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:55:46] 775*2^1436473-1 is not prime. Res64: C27F3FB280A3543E Time : 0.0 sec. user=mdettweiler [2016-08-02 00:55:46] 831*2^1436473-1 is not prime. Res64: 1BB2A7FCA6A52644 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:55:46] 835*2^1436473-1 is not prime. Res64: B75B83D1980C511F Time : 0.0 sec. user=mdettweiler [2016-08-02 00:55:46] 885*2^1436473-1 is not prime. Res64: 2464441E36C78130 Time : 0.0 sec. user=mdettweiler [2016-08-02 00:55:47] 987*2^1436473-1 is not prime. Res64: 9557A7CF99A94462 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:32:48] 605*2^1436474-1 is not prime. Res64: DA71E071B9F25B48 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:32:48] 825*2^1436474-1 is not prime. Res64: 4DE0BBF032E00018 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:32:49] 873*2^1436474-1 is not prime. Res64: 6AA85940E224AE31 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:32:53] 945*2^1436474-1 is not prime. Res64: 57AB3E55FC43D2D9 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:32:54] 957*2^1436474-1 is not prime. Res64: 42ECF5549018BA63 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:35:59] 983*2^1436474-1 is not prime. Res64: 9F3AA662D1D9B63C Time : 0.0 sec. user=mdettweiler [2016-08-02 01:35:59] 669*2^1436475-1 is not prime. Res64: D74752A09015D083 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:35:59] 739*2^1436475-1 is not prime. Res64: D674846ABB354F1E Time : 0.0 sec. user=mdettweiler [2016-08-02 01:35:59] 805*2^1436475-1 is not prime. Res64: 5096B4D081824298 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:36:00] 823*2^1436475-1 is not prime. Res64: 5C488B6D2D324BB4 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:40:00] 909*2^1436475-1 is not prime. Res64: DE4734A5E4DABC29 Time : 0.0 sec. user=mdettweiler [2016-08-02 01:40:00] 973*2^1436475-1 is not prime. Res64: F541C8D8C116653F Time : 0.0 sec. user=mdettweiler [2016-08-02 01:40:00] 693*2^1436476-1 is not prime. Res64: 9384F3F6280D642A Time : 0.0 sec. user=mdettweiler [2016-08-02 01:40:00] 875*2^1436476-1 is not prime. Res64: C76C010FC3A0D0AE Time : 0.0 sec. user=mdettweiler [2016-08-02 01:40:01] 887*2^1436476-1 is not prime. Res64: 21CC995AD8FAE854 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:17:25] 903*2^1436476-1 is not prime. Res64: 16A55214A1BA9930 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:17:25] 927*2^1436476-1 is not prime. Res64: 01B6C8D4AD52664B Time : 0.0 sec. user=mdettweiler [2016-08-02 02:17:26] 957*2^1436476-1 is not prime. Res64: 1E174D1750C0E38D Time : 0.0 sec. user=mdettweiler [2016-08-02 02:17:26] 989*2^1436476-1 is not prime. Res64: 44787D5C6E3DB937 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:17:26] 619*2^1436477-1 is not prime. Res64: FC7C2D5833FE806C Time : 0.0 sec. user=mdettweiler [2016-08-02 02:20:43] 697*2^1436477-1 is not prime. Res64: EE9C6801848984AB Time : 0.0 sec. user=mdettweiler [2016-08-02 02:20:43] 735*2^1436477-1 is not prime. Res64: 13F6C0DC15532507 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:20:43] 871*2^1436477-1 is not prime. Res64: C2D3509C5A8CE3C2 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:20:43] 937*2^1436477-1 is not prime. Res64: FBBBF66EEBC90D24 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:20:44] 641*2^1436478-1 is not prime. Res64: 8F1E526B9600422F Time : 0.0 sec. user=mdettweiler [2016-08-02 02:24:24] 725*2^1436478-1 is not prime. Res64: B087B01935379BA0 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:24:25] 767*2^1436478-1 is not prime. Res64: F022CB82585A6659 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:24:25] 815*2^1436478-1 is not prime. Res64: 096FB7DFBFD09DF0 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:24:25] 833*2^1436478-1 is not prime. Res64: 3C2202BD051F11C4 Time : 0.0 sec. user=mdettweiler [2016-08-02 02:24:25] 927*2^1436478-1 is not prime. Res64: 17702311EF81B0BA Time : 0.0 sec. user=mdettweiler [2016-08-02 03:01:30] 971*2^1436478-1 is not prime. Res64: 58E0D4831AA8D823 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:01:35] 603*2^1436479-1 is not prime. Res64: 24065F8A6ABC6CC8 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:01:36] 771*2^1436479-1 is not prime. Res64: D6951207DBC8C97F Time : 0.0 sec. user=mdettweiler [2016-08-02 03:01:36] 925*2^1436479-1 is not prime. Res64: 80BE649744CF2F7F Time : 0.0 sec. user=mdettweiler [2016-08-02 03:01:37] 979*2^1436479-1 is not prime. Res64: 50C85AA8CA30964F Time : 0.0 sec. user=mdettweiler [2016-08-02 03:04:49] 645*2^1436480-1 is not prime. Res64: 34763702E307DAF5 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:04:51] 717*2^1436480-1 is not prime. Res64: 53EF0B381CA4D4D5 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:04:54] 753*2^1436480-1 is not prime. Res64: 0E93D39207CED413 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:04:56] 813*2^1436480-1 is not prime. Res64: DD4AA170E25D449D Time : 0.0 sec. user=mdettweiler [2016-08-02 03:04:58] 995*2^1436480-1 is not prime. Res64: 30C21CA9090B5F56 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:08:32] 639*2^1436481-1 is not prime. Res64: F00966C55E3FC7C0 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:08:32] 651*2^1436481-1 is not prime. Res64: 0850CCBB3E1E09B1 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:08:32] 777*2^1436481-1 is not prime. Res64: 91CFD026882333FE Time : 0.0 sec. user=mdettweiler [2016-08-02 03:08:33] 837*2^1436481-1 is not prime. Res64: 92DDE580BD0BE8FC Time : 0.0 sec. user=mdettweiler [2016-08-02 03:08:33] 937*2^1436481-1 is not prime. Res64: 1566A4194505918D Time : 0.0 sec. user=mdettweiler [2016-08-02 03:45:48] 705*2^1436482-1 is not prime. Res64: 6DC1A2B548B9E4DB Time : 0.0 sec. user=mdettweiler [2016-08-02 03:45:48] 713*2^1436482-1 is not prime. Res64: 9DE4DDD5094D49BA Time : 0.0 sec. user=mdettweiler [2016-08-02 03:45:49] 951*2^1436482-1 is not prime. Res64: E7ABBBB1691FE058 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:45:50] 987*2^1436482-1 is not prime. Res64: B332419EA50CE433 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:45:50] 615*2^1436483-1 is not prime. Res64: 37956FE3C8D49711 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:49:11] 663*2^1436483-1 is not prime. Res64: E850648C818C8A68 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:49:12] 715*2^1436483-1 is not prime. Res64: 03C4B3C22C61B2AB Time : 0.0 sec. user=mdettweiler [2016-08-02 03:49:13] 813*2^1436483-1 is not prime. Res64: 3F0F153B01F8C48E Time : 0.0 sec. user=mdettweiler [2016-08-02 03:49:14] 861*2^1436483-1 is not prime. Res64: 56F28928B0CC25F5 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:49:14] 635*2^1436484-1 is not prime. Res64: D8537BBA5D28A095 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:52:37] 725*2^1436484-1 is not prime. Res64: 6C12E2A45A1BC25F Time : 0.0 sec. user=mdettweiler [2016-08-02 03:52:37] 837*2^1436484-1 is not prime. Res64: 89913685387AA0B2 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:52:38] 875*2^1436484-1 is not prime. Res64: 93B625B4F282186B Time : 0.0 sec. user=mdettweiler [2016-08-02 03:52:39] 675*2^1436485-1 is not prime. Res64: 07E465A962711957 Time : 0.0 sec. user=mdettweiler [2016-08-02 03:52:40] 717*2^1436485-1 is not prime. Res64: 8DE4E3477D32C5C5 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:30:16] 721*2^1436485-1 is not prime. Res64: 26BCD31B2404BE2D Time : 0.0 sec. user=mdettweiler [2016-08-02 04:30:16] 729*2^1436485-1 is not prime. Res64: 8EE37A7B3F21D693 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:30:16] 801*2^1436485-1 is not prime. Res64: 8B9A45F579814B81 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:30:17] 889*2^1436485-1 is not prime. Res64: 166287DEC2317512 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:30:17] 927*2^1436485-1 is not prime. Res64: FB43C529AFE3CD97 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:33:29] 937*2^1436485-1 is not prime. Res64: ED1B62D3C237B1A0 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:33:29] 979*2^1436485-1 is not prime. Res64: 64EDEB7747FD64C2 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:33:30] 985*2^1436485-1 is not prime. Res64: A3F555B838954B7A Time : 0.0 sec. user=mdettweiler [2016-08-02 04:33:30] 997*2^1436485-1 is not prime. Res64: 30383E20C1B81581 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:33:30] 999*2^1436485-1 is not prime. Res64: ADA709D7219CFAE3 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:37:00] 627*2^1436486-1 is not prime. Res64: DAE06C8DE93C2F96 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:37:00] 635*2^1436486-1 is not prime. Res64: 3AB0381DB1181876 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:37:00] 671*2^1436486-1 is not prime. Res64: EE36AC5F917F5157 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:37:00] 705*2^1436486-1 is not prime. Res64: 2C961E9E3EB4D525 Time : 0.0 sec. user=mdettweiler [2016-08-02 04:37:01] 801*2^1436486-1 is not prime. Res64: ACC3CC4AE5BA6B5C Time : 0.0 sec. user=mdettweiler [2016-08-02 05:14:26] 1001*2^1436486-1 is not prime. Res64: 00FFDAB21498BCBF Time : 0.0 sec. user=mdettweiler [2016-08-02 05:14:28] 735*2^1436487-1 is not prime. Res64: 31F402333D86951F Time : 0.0 sec. user=mdettweiler [2016-08-02 05:14:28] 781*2^1436487-1 is not prime. Res64: 8791CA73D9BEE6E6 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:14:31] 891*2^1436487-1 is not prime. Res64: 9A6B6767E5D6A761 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:14:33] 705*2^1436488-1 is not prime. Res64: 669FBD94BE48D2D8 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:17:38] 743*2^1436488-1 is not prime. Res64: C12FB6C94F31FC04 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:17:41] 887*2^1436488-1 is not prime. Res64: 739B9D0BCD30A329 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:17:41] 691*2^1436489-1 is not prime. Res64: 64E265C15267A527 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:17:44] 787*2^1436489-1 is not prime. Res64: EC4E81C018A8DF16 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:17:48] 789*2^1436489-1 is not prime. Res64: 04109042078395DB Time : 0.0 sec. user=mdettweiler [2016-08-02 05:21:05] 795*2^1436489-1 is not prime. Res64: B93ED126802F48C9 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:21:05] 907*2^1436489-1 is not prime. Res64: 21952C18272EC9DA Time : 0.0 sec. user=mdettweiler [2016-08-02 05:21:05] 931*2^1436489-1 is not prime. Res64: A4B120FBF5816D84 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:21:05] 641*2^1436490-1 is not prime. Res64: F25CE535A725D2C3 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:21:06] 677*2^1436490-1 is not prime. Res64: 02C5CF300425F303 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:58:39] 681*2^1436490-1 is not prime. Res64: B538AB221C4F4924 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:58:39] 833*2^1436490-1 is not prime. Res64: 92C1D00BF00F9C2F Time : 0.0 sec. user=mdettweiler [2016-08-02 05:58:39] 861*2^1436490-1 is not prime. Res64: 1CF1320163D3CC29 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:58:39] 885*2^1436490-1 is not prime. Res64: 1BCD29FB86023115 Time : 0.0 sec. user=mdettweiler [2016-08-02 05:58:40] 615*2^1436491-1 is not prime. Res64: 9014B9D1CDB2CE80 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:01:55] 639*2^1436491-1 is not prime. Res64: 57AE5B6B39ACAC64 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:01:55] 645*2^1436491-1 is not prime. Res64: 8DD7B2C6CA144656 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:01:56] 681*2^1436491-1 is not prime. Res64: 611C823CD538E4D9 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:01:56] 715*2^1436491-1 is not prime. Res64: 8BDB24EDB9436A0A Time : 0.0 sec. user=mdettweiler [2016-08-02 06:01:57] 775*2^1436491-1 is not prime. Res64: E5051CB23AD4E322 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:05:10] 793*2^1436491-1 is not prime. Res64: 9266BA29B4572DF7 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:05:13] 895*2^1436491-1 is not prime. Res64: 959BE1E839BE06C3 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:05:14] 901*2^1436491-1 is not prime. Res64: 3C56642B0FC8F544 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:05:15] 951*2^1436491-1 is not prime. Res64: 4110E08F9010310D Time : 0.0 sec. user=mdettweiler [2016-08-02 06:05:15] 885*2^1436492-1 is not prime. Res64: 3F9CAFDF98D946E1 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:42:44] 959*2^1436492-1 is not prime. Res64: 722E480A5E2EC436 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:42:44] 625*2^1436493-1 is not prime. Res64: 846DB55CF1F08C99 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:42:44] 651*2^1436493-1 is not prime. Res64: C3172257AA41CC57 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:42:44] 699*2^1436493-1 is not prime. Res64: 575E57BD27B4DF99 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:42:45] 747*2^1436493-1 is not prime. Res64: 578C169F3A6818B5 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:46:10] 765*2^1436493-1 is not prime. Res64: 1C4CA5EA9FFB1A7E Time : 0.0 sec. user=mdettweiler [2016-08-02 06:46:11] 889*2^1436493-1 is not prime. Res64: BDD86AB7269BB0E8 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:46:11] 979*2^1436493-1 is not prime. Res64: 807E4911AA22C54A Time : 0.0 sec. user=mdettweiler [2016-08-02 06:46:11] 675*2^1436494-1 is not prime. Res64: 91AD64FA5B44878D Time : 0.0 sec. user=mdettweiler [2016-08-02 06:46:11] 717*2^1436494-1 is not prime. Res64: 22A56793ED180501 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:49:22] 815*2^1436494-1 is not prime. Res64: 02BEBA380AF4D490 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:49:22] 855*2^1436494-1 is not prime. Res64: 220CA0B842C29834 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:49:22] 891*2^1436494-1 is not prime. Res64: 5619C51CDFB75A3B Time : 0.0 sec. user=mdettweiler [2016-08-02 06:49:22] 897*2^1436494-1 is not prime. Res64: F91B7F30407DBFF1 Time : 0.0 sec. user=mdettweiler [2016-08-02 06:49:23] 945*2^1436494-1 is not prime. Res64: 494AE26DCBF0FE1D Time : 0.0 sec. user=mdettweiler [2016-08-02 07:26:49] 651*2^1436495-1 is not prime. Res64: EBCA009ADFB62F06 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:26:51] 979*2^1436495-1 is not prime. Res64: CA62508F0E100B36 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:26:54] 623*2^1436496-1 is not prime. Res64: BC7E6F909DEF8E32 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:26:56] 633*2^1436496-1 is not prime. Res64: 84ECE21F6DC1C786 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:26:58] 707*2^1436496-1 is not prime. Res64: 75FF42FDD119DB43 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:30:16] 625*2^1436497-1 is not prime. Res64: D8A398EF435F4B6F Time : 0.0 sec. user=mdettweiler [2016-08-02 07:30:19] 831*2^1436497-1 is not prime. Res64: F53449B598053C9A Time : 0.0 sec. user=mdettweiler [2016-08-02 07:30:19] 861*2^1436497-1 is not prime. Res64: 4678B87BC337608A Time : 0.0 sec. user=mdettweiler [2016-08-02 07:30:23] 957*2^1436497-1 is not prime. Res64: B5CA44468342C948 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:30:23] 979*2^1436497-1 is not prime. Res64: 3BC99A8BA20B0E82 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:33:26] 705*2^1436498-1 is not prime. Res64: 0AC3DD5CD8F9C04D Time : 0.0 sec. user=mdettweiler [2016-08-02 07:33:30] 735*2^1436498-1 is not prime. Res64: 81DD2FA4171F4598 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:33:34] 773*2^1436498-1 is not prime. Res64: E1F07149F3F4477B Time : 0.0 sec. user=mdettweiler [2016-08-02 07:33:38] 867*2^1436498-1 is not prime. Res64: C53C325031FA7403 Time : 0.0 sec. user=mdettweiler [2016-08-02 07:33:41] 887*2^1436498-1 is not prime. Res64: 39DBC64B09BC43BE Time : 0.0 sec. user=mdettweiler [2016-08-02 08:11:04] 639*2^1436499-1 is not prime. Res64: 5432D6D73AB03F75 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:11:04] 669*2^1436499-1 is not prime. Res64: 79E0D97FBFDEA612 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:11:04] 711*2^1436499-1 is not prime. Res64: 45A38DE89B3F9BE5 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:11:04] 745*2^1436499-1 is not prime. Res64: 5CB6CFE478D066BC Time : 0.0 sec. user=mdettweiler [2016-08-02 08:11:05] 879*2^1436499-1 is not prime. Res64: EC0BE9BFEE0FAEDB Time : 0.0 sec. user=mdettweiler [2016-08-02 08:14:29] 921*2^1436499-1 is not prime. Res64: 816D062926EDC412 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:14:29] 975*2^1436499-1 is not prime. Res64: F0F5248F4B9A4E31 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:14:29] 979*2^1436499-1 is not prime. Res64: E6551415C91C124A Time : 0.0 sec. user=mdettweiler [2016-08-02 08:14:30] 653*2^1436500-1 is not prime. Res64: A60C7A5CF1F3D5C0 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:14:30] 689*2^1436500-1 is not prime. Res64: 346F0830898A398C Time : 0.0 sec. user=mdettweiler [2016-08-02 08:17:51] 759*2^1436500-1 is not prime. Res64: 3484B08BB8234D6E Time : 0.0 sec. user=mdettweiler [2016-08-02 08:17:51] 825*2^1436500-1 is not prime. Res64: BE3E697B63061135 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:17:52] 827*2^1436500-1 is not prime. Res64: A4B0CA3646351E45 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:17:52] 857*2^1436500-1 is not prime. Res64: 3914A4ADF3E6F7E7 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:17:52] 987*2^1436500-1 is not prime. Res64: E61143C69D482960 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:55:08] 607*2^1436501-1 is not prime. Res64: F7A6D3E1BEC02AFF Time : 0.0 sec. user=mdettweiler [2016-08-02 08:55:11] 619*2^1436501-1 is not prime. Res64: FF80ECCF81F95726 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:55:14] 747*2^1436501-1 is not prime. Res64: 1A51BAC132B747E9 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:55:15] 855*2^1436501-1 is not prime. Res64: A7729050DC2CD893 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:55:18] 865*2^1436501-1 is not prime. Res64: A312F5EB22C7B073 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:58:34] 621*2^1436502-1 is not prime. Res64: F36B29B37A00F59A Time : 0.0 sec. user=mdettweiler [2016-08-02 08:58:34] 635*2^1436502-1 is not prime. Res64: D0EF1263D5FFDF16 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:58:34] 885*2^1436502-1 is not prime. Res64: 640CBC2FC0065A64 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:58:35] 945*2^1436502-1 is not prime. Res64: 2376C915F636F9A9 Time : 0.0 sec. user=mdettweiler [2016-08-02 08:58:35] 977*2^1436502-1 is not prime. Res64: A7B0C20A506EF9E8 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:01:58] 741*2^1436503-1 is not prime. Res64: 36B869A9E1C804BB Time : 0.0 sec. user=mdettweiler [2016-08-02 09:01:59] 819*2^1436503-1 is not prime. Res64: 7CA68D111BC1E6FE Time : 0.0 sec. user=mdettweiler [2016-08-02 09:01:59] 859*2^1436503-1 is not prime. Res64: EA9055B431DDB09E Time : 0.0 sec. user=mdettweiler [2016-08-02 09:02:00] 913*2^1436503-1 is not prime. Res64: B402C8BF58CC0262 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:02:01] 915*2^1436503-1 is not prime. Res64: DE43504B3D6C2C66 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:39:27] 993*2^1436503-1 is not prime. Res64: 68CFC7E7D0967AF9 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:39:27] 659*2^1436504-1 is not prime. Res64: D324E948520C220F Time : 0.0 sec. user=mdettweiler [2016-08-02 09:39:27] 743*2^1436504-1 is not prime. Res64: 81087D0F09516701 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:39:28] 753*2^1436504-1 is not prime. Res64: 71CC1828186A2E73 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:39:28] 773*2^1436504-1 is not prime. Res64: 7DB0C98C255737CD Time : 0.0 sec. user=mdettweiler [2016-08-02 09:42:42] 837*2^1436504-1 is not prime. Res64: 797DAAF277F07D7E Time : 0.0 sec. user=mdettweiler [2016-08-02 09:42:44] 897*2^1436504-1 is not prime. Res64: 0765288C0C67686E Time : 0.0 sec. user=mdettweiler [2016-08-02 09:42:45] 929*2^1436504-1 is not prime. Res64: 256127CB08CCA5C1 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:42:47] 959*2^1436504-1 is not prime. Res64: 6343C94ABA65B24F Time : 0.0 sec. user=mdettweiler [2016-08-02 09:42:49] 625*2^1436505-1 is not prime. Res64: 2EBF49D1C371C770 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:46:13] 639*2^1436505-1 is not prime. Res64: 9631DAFA0AC2F4A3 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:46:13] 759*2^1436505-1 is not prime. Res64: A4B71F74FB7B1196 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:46:16] 849*2^1436505-1 is not prime. Res64: 6D762C7BB8AE350F Time : 0.0 sec. user=mdettweiler [2016-08-02 09:46:17] 915*2^1436505-1 is not prime. Res64: 48F1F76F9EC4FA90 Time : 0.0 sec. user=mdettweiler [2016-08-02 09:46:20] 999*2^1436505-1 is not prime. Res64: 0A272A4A269950CA Time : 0.0 sec. user=mdettweiler [2016-08-02 10:23:33] 603*2^1436506-1 is not prime. Res64: 80EA6FD79D86545F Time : 0.0 sec. user=mdettweiler [2016-08-02 10:23:34] 611*2^1436506-1 is not prime. Res64: 12F534BF827084B1 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:23:34] 645*2^1436506-1 is not prime. Res64: 89F6062A5F269E83 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:23:34] 695*2^1436506-1 is not prime. Res64: 5241871977560132 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:23:34] 735*2^1436506-1 is not prime. Res64: FE2DBE0EF2BE7FC4 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:26:54] 743*2^1436506-1 is not prime. Res64: 678C300BABE9A7E0 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:26:54] 803*2^1436506-1 is not prime. Res64: 4D8016E7620194B1 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:26:54] 815*2^1436506-1 is not prime. Res64: 6EF310F8D496A49F Time : 0.0 sec. user=mdettweiler [2016-08-02 10:26:54] 825*2^1436506-1 is not prime. Res64: 54B1027077B758A0 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:26:54] 867*2^1436506-1 is not prime. Res64: 7778133009D3D9FC Time : 0.0 sec. user=mdettweiler [2016-08-02 10:30:36] 887*2^1436506-1 is not prime. Res64: D0A092EFE09FC531 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:30:36] 933*2^1436506-1 is not prime. Res64: 5F040FF7EA8FA0DE Time : 0.0 sec. user=mdettweiler [2016-08-02 10:30:37] 975*2^1436506-1 is not prime. Res64: 2E3591BAB2D19647 Time : 0.0 sec. user=mdettweiler [2016-08-02 10:30:37] 993*2^1436506-1 is not prime. Res64: D3F3DAC3D9F16D2A Time : 0.0 sec. user=mdettweiler [2016-08-02 10:30:37] 645*2^1436507-1 is not prime. Res64: D1339DDE92F67D4A Time : 0.0 sec. user=mdettweiler [2016-08-02 11:07:55] 703*2^1436507-1 is not prime. Res64: 71396A05FE58760E Time : 0.0 sec. user=mdettweiler [2016-08-02 11:07:59] 841*2^1436507-1 is not prime. Res64: 408FE66ADD6C34CD Time : 0.0 sec. user=mdettweiler [2016-08-02 11:08:02] 859*2^1436507-1 is not prime. Res64: FF1759D06BD37A30 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:08:04] 903*2^1436507-1 is not prime. Res64: 38114235EF57B788 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:08:07] 669*2^1436508-1 is not prime. Res64: 48E211FA10B1AFAF Time : 0.0 sec. user=mdettweiler [2016-08-02 11:11:14] 783*2^1436508-1 is not prime. Res64: 3B2CB79E26F73014 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:11:18] 839*2^1436508-1 is not prime. Res64: 86FE87D6EAC77FF9 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:11:22] 977*2^1436508-1 is not prime. Res64: 9C90DFF4B2040C90 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:11:26] 601*2^1436509-1 is not prime. Res64: 20F99866B9291369 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:11:29] 831*2^1436509-1 is not prime. Res64: F3B22E7D0D6A3CBD Time : 0.0 sec. user=mdettweiler [2016-08-02 11:15:04] 867*2^1436509-1 is not prime. Res64: EFCDCF2038A72103 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:15:08] 975*2^1436509-1 is not prime. Res64: 0246EB8DFDBA4C73 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:15:08] 603*2^1436510-1 is not prime. Res64: 52A3F647F2C67777 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:15:12] 645*2^1436510-1 is not prime. Res64: 9B724FD0C9E50C1C Time : 0.0 sec. user=mdettweiler [2016-08-02 11:15:16] 711*2^1436510-1 is not prime. Res64: 95FEB8A2AAA40BFC Time : 0.0 sec. user=mdettweiler [2016-08-02 11:52:14] 791*2^1436510-1 is not prime. Res64: AB6CF73E03FBABD1 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:52:14] 857*2^1436510-1 is not prime. Res64: 7415D20CE6AB11E0 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:52:15] 923*2^1436510-1 is not prime. Res64: 186A35D1E5A32696 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:52:15] 927*2^1436510-1 is not prime. Res64: C4AFCCDB0086D9E8 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:52:15] 957*2^1436510-1 is not prime. Res64: 0BF9084AF2ED02D8 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:55:34] 1001*2^1436510-1 is not prime. Res64: D1EE976E460EF430 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:55:35] 613*2^1436511-1 is not prime. Res64: E1704D5594D34C19 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:55:35] 741*2^1436511-1 is not prime. Res64: 27115BF16C2D6D6F Time : 0.0 sec. user=mdettweiler [2016-08-02 11:55:35] 775*2^1436511-1 is not prime. Res64: C34117CD6A36D7D9 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:55:36] 859*2^1436511-1 is not prime. Res64: 05920302C31AC173 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:59:22] 909*2^1436511-1 is not prime. Res64: 0B732FD493D793CF Time : 0.0 sec. user=mdettweiler [2016-08-02 11:59:23] 973*2^1436511-1 is not prime. Res64: C40187683C4CD8FC Time : 0.0 sec. user=mdettweiler [2016-08-02 11:59:23] 975*2^1436511-1 is not prime. Res64: A01B0BE035DF051E Time : 0.0 sec. user=mdettweiler [2016-08-02 11:59:23] 719*2^1436512-1 is not prime. Res64: 631CCB59DD377564 Time : 0.0 sec. user=mdettweiler [2016-08-02 11:59:24] 723*2^1436512-1 is not prime. Res64: 3A97FD9F634D4BBC Time : 0.0 sec. user=mdettweiler [2016-08-02 12:36:17] 743*2^1436512-1 is not prime. Res64: CB949AC391B3E51B Time : 0.0 sec. user=mdettweiler [2016-08-02 12:36:21] 777*2^1436512-1 is not prime. Res64: 014C12EA9AEE387F Time : 0.0 sec. user=mdettweiler [2016-08-02 12:36:24] 819*2^1436512-1 is not prime. Res64: E204693F884479E7 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:36:27] 855*2^1436512-1 is not prime. Res64: 6C8B77270ECC6B94 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:36:30] 989*2^1436512-1 is not prime. Res64: D296626AF61BE6F0 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:39:43] 657*2^1436513-1 is not prime. Res64: 0502F4DC03C8496A Time : 0.0 sec. user=mdettweiler [2016-08-02 12:39:46] 727*2^1436513-1 is not prime. Res64: FEECFBECA6B30364 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:39:50] 879*2^1436513-1 is not prime. Res64: 9BC1D4BC7A616658 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:39:54] 937*2^1436513-1 is not prime. Res64: DCA744C18043B60C Time : 0.0 sec. user=mdettweiler [2016-08-02 12:39:58] 981*2^1436513-1 is not prime. Res64: 914888F28DCFDD92 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:43:24] 633*2^1436514-1 is not prime. Res64: 4CBB9EA3EE6391CE Time : 0.0 sec. user=mdettweiler [2016-08-02 12:43:28] 705*2^1436514-1 is not prime. Res64: 792FC16786F1FEE0 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:43:31] 723*2^1436514-1 is not prime. Res64: 305621FC1043D35A Time : 0.0 sec. user=mdettweiler [2016-08-02 12:43:35] 815*2^1436514-1 is not prime. Res64: 0227826F1D388E27 Time : 0.0 sec. user=mdettweiler [2016-08-02 12:43:38] 875*2^1436514-1 is not prime. Res64: 582B695123733DFD Time : 0.0 sec. user=mdettweiler [2016-08-02 13:20:32] 941*2^1436514-1 is not prime. Res64: 0ADF7410D4056807 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:20:33] 945*2^1436514-1 is not prime. Res64: CF699944CF1860B7 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:20:33] 751*2^1436515-1 is not prime. Res64: B8B25CE5C3EBD7F9 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:20:34] 793*2^1436515-1 is not prime. Res64: 47CDC03381F82377 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:20:34] 819*2^1436515-1 is not prime. Res64: 41F8E493C1C74DF9 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:24:00] 979*2^1436515-1 is not prime. Res64: B4EAFADDEC65E941 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:24:00] 717*2^1436516-1 is not prime. Res64: 852A06128D3B2B7A Time : 0.0 sec. user=mdettweiler [2016-08-02 13:24:01] 813*2^1436516-1 is not prime. Res64: 1B135F93B3A0C136 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:24:01] 843*2^1436516-1 is not prime. Res64: A8BC156445BFBD54 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:24:02] 983*2^1436516-1 is not prime. Res64: 91B4E06A9CEBD071 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:27:46] 675*2^1436517-1 is not prime. Res64: E193C909C2F61647 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:27:47] 717*2^1436517-1 is not prime. Res64: 5554B797E1CA7695 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:27:47] 751*2^1436517-1 is not prime. Res64: 3EBFEF8988A63BEA Time : 0.0 sec. user=mdettweiler [2016-08-02 13:27:48] 817*2^1436517-1 is not prime. Res64: 177B3FACE6E3D125 Time : 0.0 sec. user=mdettweiler [2016-08-02 13:27:48] 861*2^1436517-1 is not prime. Res64: 897102C78D140A84 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:04:39] 885*2^1436517-1 is not prime. Res64: 09E8DEBD5CBDA409 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:04:42] 895*2^1436517-1 is not prime. Res64: 329101CA88C94A88 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:04:46] 827*2^1436518-1 is not prime. Res64: 1203F6044CA9CD5D Time : 0.0 sec. user=mdettweiler [2016-08-02 14:04:48] 897*2^1436518-1 is not prime. Res64: AB28211B24547F6F Time : 0.0 sec. user=mdettweiler [2016-08-02 14:04:51] 813*2^1436519-1 is not prime. Res64: 4BFED67A35F91F84 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:08:06] 825*2^1436519-1 is not prime. Res64: 46FAD7C562416793 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:08:09] 841*2^1436519-1 is not prime. Res64: F8B324337ACF43E4 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:08:13] 861*2^1436519-1 is not prime. Res64: C841325E3699DF69 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:08:16] 723*2^1436520-1 is not prime. Res64: 7666D2ADDCC4E397 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:08:20] 759*2^1436520-1 is not prime. Res64: 5B0C1608B9028C3A Time : 0.0 sec. user=mdettweiler [2016-08-02 14:12:13] 789*2^1436520-1 is not prime. Res64: C9655D403D2E3F77 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:12:16] 819*2^1436520-1 is not prime. Res64: 20399D1EE9C8BEB2 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:12:19] 857*2^1436520-1 is not prime. Res64: 8AC9CF8834040B3C Time : 0.0 sec. user=mdettweiler [2016-08-02 14:12:23] 879*2^1436520-1 is not prime. Res64: 3A99E74F1EA8784A Time : 0.0 sec. user=mdettweiler [2016-08-02 14:12:27] 899*2^1436520-1 is not prime. Res64: 0D470ADE0102E7E7 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:49:05] 915*2^1436520-1 is not prime. Res64: 9F48B8A8B9F0F803 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:49:06] 649*2^1436521-1 is not prime. Res64: CF48507550DF2A00 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:49:06] 691*2^1436521-1 is not prime. Res64: 07230A57E849E7B4 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:49:07] 747*2^1436521-1 is not prime. Res64: C87EDCFDCBDC727A Time : 0.0 sec. user=mdettweiler [2016-08-02 14:49:07] 769*2^1436521-1 is not prime. Res64: 0B1737490D5854E7 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:52:32] 829*2^1436521-1 is not prime. Res64: 48DF6963D7001AEB Time : 0.0 sec. user=mdettweiler [2016-08-02 14:52:32] 847*2^1436521-1 is not prime. Res64: 904AB63BBFA69883 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:52:33] 945*2^1436521-1 is not prime. Res64: 5A582C2FCF63F9FE Time : 0.0 sec. user=mdettweiler [2016-08-02 14:52:33] 957*2^1436521-1 is not prime. Res64: E4B83DAA1EF92887 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:52:34] 997*2^1436521-1 is not prime. Res64: 0BABAF3324D41B95 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:56:33] 701*2^1436522-1 is not prime. Res64: F511E11E71BB11AE Time : 0.0 sec. user=mdettweiler [2016-08-02 14:56:34] 711*2^1436522-1 is not prime. Res64: B2E29A6E421AB5B5 Time : 0.0 sec. user=mdettweiler [2016-08-02 14:56:34] 753*2^1436522-1 is not prime. Res64: BE13D40F6C07ACCA Time : 0.0 sec. user=mdettweiler [2016-08-02 14:56:35] 911*2^1436522-1 is not prime. Res64: 4493EEDAD27CA84F Time : 0.0 sec. user=mdettweiler [2016-08-02 14:56:35] 995*2^1436522-1 is not prime. Res64: 097C858FD9DA4988 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:33:08] 619*2^1436523-1 is not prime. Res64: 71CD200BEC2FB349 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:33:09] 663*2^1436523-1 is not prime. Res64: CAEC3580A06FF18C Time : 0.0 sec. user=mdettweiler [2016-08-02 15:33:09] 675*2^1436523-1 is not prime. Res64: 4AFD896D4021225D Time : 0.0 sec. user=mdettweiler [2016-08-02 15:33:10] 721*2^1436523-1 is not prime. Res64: A1D9F09D57FD2798 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:33:10] 819*2^1436523-1 is not prime. Res64: E340FB71E4D1D22E Time : 0.0 sec. user=mdettweiler [2016-08-02 15:36:34] 859*2^1436523-1 is not prime. Res64: 500468552CE0FEA2 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:36:34] 879*2^1436523-1 is not prime. Res64: 7F7C6EB3A062D040 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:36:34] 675*2^1436524-1 is not prime. Res64: 5FD3F8BE57B67EF8 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:36:35] 885*2^1436524-1 is not prime. Res64: 5BCC81B0B95DF5EA Time : 0.0 sec. user=mdettweiler [2016-08-02 15:36:35] 657*2^1436525-1 is not prime. Res64: D486EF429FBA7EE5 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:40:36] 711*2^1436525-1 is not prime. Res64: B12CDC937CA80B80 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:40:37] 715*2^1436525-1 is not prime. Res64: 61D91407BB821FE0 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:40:37] 717*2^1436525-1 is not prime. Res64: DBF0776E191BF22B Time : 0.0 sec. user=mdettweiler [2016-08-02 15:40:37] 777*2^1436525-1 is not prime. Res64: FF3C7038B7BA46E8 Time : 0.0 sec. user=mdettweiler [2016-08-02 15:40:38] 847*2^1436525-1 is not prime. Res64: EC1CB68403E92E93 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:17:20] 981*2^1436525-1 is not prime. Res64: 1492620AF346378A Time : 0.0 sec. user=mdettweiler [2016-08-02 16:17:23] 717*2^1436526-1 is not prime. Res64: 5A16B5A84BBBA1D0 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:17:25] 891*2^1436526-1 is not prime. Res64: B5B89C943220EBFF Time : 0.0 sec. user=mdettweiler [2016-08-02 16:17:27] 945*2^1436526-1 is not prime. Res64: B74CE1DBDF16A05D Time : 0.0 sec. user=mdettweiler [2016-08-02 16:17:29] 603*2^1436527-1 is not prime. Res64: 4F0F075F2223E059 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:20:47] 685*2^1436527-1 is not prime. Res64: 5BD5CA9955612FBD Time : 0.0 sec. user=mdettweiler [2016-08-02 16:20:50] 693*2^1436527-1 is not prime. Res64: 0434698AB01CD380 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:20:54] 763*2^1436527-1 is not prime. Res64: FF6D88A892610435 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:20:57] 775*2^1436527-1 is not prime. Res64: 9A2BF5CE2C08F207 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:21:01] 813*2^1436527-1 is not prime. Res64: 9793EA6F0E981F5A Time : 0.0 sec. user=mdettweiler [2016-08-02 16:24:45] 889*2^1436527-1 is not prime. Res64: 01274F707C0306A7 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:24:45] 891*2^1436527-1 is not prime. Res64: 9BA59C22042617F8 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:24:46] 999*2^1436527-1 is not prime. Res64: C2E96A4F8D05AAB5 Time : 0.0 sec. user=mdettweiler [2016-08-02 16:24:46] 633*2^1436528-1 is not prime. Res64: 1352CFD494F093FC Time : 0.0 sec. user=mdettweiler [2016-08-02 16:24:46] 663*2^1436528-1 is not prime. Res64: 7265020D50BDA65D Time : 0.0 sec. user=mdettweiler [2016-08-02 17:01:57] 669*2^1436528-1 is not prime. Res64: C270E7AB50C4C5F5 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:01:57] 713*2^1436528-1 is not prime. Res64: 530013DB493D77AA Time : 0.0 sec. user=mdettweiler [2016-08-02 17:01:58] 773*2^1436528-1 is not prime. Res64: 2C7F92456F805116 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:01:59] 833*2^1436528-1 is not prime. Res64: 4A07CF83D31CF645 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:01:59] 845*2^1436528-1 is not prime. Res64: CD143D3D8416FFBF Time : 0.0 sec. user=mdettweiler [2016-08-02 17:05:42] 963*2^1436528-1 is not prime. Res64: D8062D28CBB33CC3 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:05:43] 969*2^1436528-1 is not prime. Res64: 661C5A5B456A0414 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:05:44] 625*2^1436529-1 is not prime. Res64: 1BBCD6649F14E531 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:05:44] 691*2^1436529-1 is not prime. Res64: 45DEF7F50ACBBE97 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:05:45] 909*2^1436529-1 is not prime. Res64: 6220B02C53D449D6 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:09:34] 701*2^1436530-1 is not prime. Res64: 6124B4A52FD45FCE Time : 0.0 sec. user=mdettweiler [2016-08-02 17:09:37] 717*2^1436530-1 is not prime. Res64: E112279578014058 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:09:40] 741*2^1436530-1 is not prime. Res64: 893FD19BD7481318 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:09:40] 803*2^1436530-1 is not prime. Res64: 2642D7121F675A49 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:09:44] 827*2^1436530-1 is not prime. Res64: F850C6BA3BA60F3C Time : 0.0 sec. user=mdettweiler [2016-08-02 17:46:54] 843*2^1436530-1 is not prime. Res64: 14970E5F5974C367 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:46:54] 957*2^1436530-1 is not prime. Res64: 3D27C5BFEA6609DB Time : 0.0 sec. user=mdettweiler [2016-08-02 17:46:55] 735*2^1436531-1 is not prime. Res64: E2679EBBBB2FA81A Time : 0.0 sec. user=mdettweiler [2016-08-02 17:46:55] 745*2^1436531-1 is not prime. Res64: 5624993B4AD371CA Time : 0.0 sec. user=mdettweiler [2016-08-02 17:46:55] 781*2^1436531-1 is not prime. Res64: 92E6D04434486B94 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:50:46] 805*2^1436531-1 is not prime. Res64: BA3EC49A844DDF82 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:50:46] 955*2^1436531-1 is not prime. Res64: AFCC0BBBF9D494DF Time : 0.0 sec. user=mdettweiler [2016-08-02 17:50:47] 609*2^1436532-1 is not prime. Res64: ED006B409063CEB8 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:50:47] 623*2^1436532-1 is not prime. Res64: FD0AEEE604F25AB9 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:50:47] 647*2^1436532-1 is not prime. Res64: F964D8E1D74A5ABB Time : 0.0 sec. user=mdettweiler [2016-08-02 17:54:31] 719*2^1436532-1 is not prime. Res64: B4256E0140754352 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:54:32] 723*2^1436532-1 is not prime. Res64: BB09618841772C97 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:54:32] 903*2^1436532-1 is not prime. Res64: 2EF072D2EE7C28BC Time : 0.0 sec. user=mdettweiler [2016-08-02 17:54:32] 933*2^1436532-1 is not prime. Res64: 3EE625FF258966F0 Time : 0.0 sec. user=mdettweiler [2016-08-02 17:54:33] 959*2^1436532-1 is not prime. Res64: C845DE1BD8E67749 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:31:42] 639*2^1436533-1 is not prime. Res64: C5BDF309C2F6DFD1 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:31:42] 771*2^1436533-1 is not prime. Res64: 548DF863922B9990 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:31:43] 789*2^1436533-1 is not prime. Res64: 1281FC7000F67825 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:31:43] 939*2^1436533-1 is not prime. Res64: 45A78C7A2090E522 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:31:43] 955*2^1436533-1 is not prime. Res64: 5021516B887CFB6A Time : 0.0 sec. user=mdettweiler [2016-08-02 18:35:30] 967*2^1436533-1 is not prime. Res64: F7B9FB8A3301EEC7 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:35:31] 979*2^1436533-1 is not prime. Res64: 3D816FF95B9D2E93 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:35:31] 985*2^1436533-1 is not prime. Res64: 6AAF90D7914290DE Time : 0.0 sec. user=mdettweiler [2016-08-02 18:35:32] 665*2^1436534-1 is not prime. Res64: CB7784DF4EBDF4D0 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:35:32] 917*2^1436534-1 is not prime. Res64: A0E1FE005BF621E9 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:39:10] 993*2^1436534-1 is not prime. Res64: 1D20AB5BB0A2FA34 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:39:11] 601*2^1436535-1 is not prime. Res64: 83F582F5A76679BE Time : 0.0 sec. user=mdettweiler [2016-08-02 18:39:11] 613*2^1436535-1 is not prime. Res64: 854227C14547F3B3 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:39:12] 643*2^1436535-1 is not prime. Res64: C15C69097DC954E4 Time : 0.0 sec. user=mdettweiler [2016-08-02 18:39:12] 735*2^1436535-1 is not prime. Res64: 81C5DB104ADD5AAE Time : 0.0 sec. user=mdettweiler [2016-08-02 19:15:47] 783*2^1436535-1 is not prime. Res64: F358006A24C08A4F Time : 0.0 sec. user=mdettweiler [2016-08-02 19:15:50] 793*2^1436535-1 is not prime. Res64: 5A9DBBDB513DE261 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:15:52] 819*2^1436535-1 is not prime. Res64: 026453564B290EA7 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:15:54] 825*2^1436535-1 is not prime. Res64: 12425FF3A3BC9D10 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:15:56] 859*2^1436535-1 is not prime. Res64: DF58821D7C4FD343 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:19:41] 961*2^1436535-1 is not prime. Res64: 2ACA126D12D57A49 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:19:44] 645*2^1436536-1 is not prime. Res64: FC809FE48B701B0F Time : 0.0 sec. user=mdettweiler [2016-08-02 19:19:48] 743*2^1436536-1 is not prime. Res64: F614C2BE677C1579 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:19:51] 759*2^1436536-1 is not prime. Res64: C0B64FB19B298A99 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:19:54] 875*2^1436536-1 is not prime. Res64: CED4E5108BEA088D Time : 0.0 sec. user=mdettweiler [2016-08-02 19:23:22] 969*2^1436536-1 is not prime. Res64: 2789A189D2DF51D4 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:23:24] 747*2^1436537-1 is not prime. Res64: 43EC3E51117C47E8 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:23:26] 829*2^1436537-1 is not prime. Res64: CBD99E27F2966429 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:23:27] 837*2^1436537-1 is not prime. Res64: 9EFD0831936DE8B2 Time : 0.0 sec. user=mdettweiler [2016-08-02 19:23:29] 841*2^1436537-1 is not prime. Res64: 705E9E557FA0720D Time : 0.0 sec. user=mdettweiler [2016-08-02 20:00:53] 605*2^1436538-1 is not prime. Res64: 050BABA8C3FB51F5 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:00:54] 621*2^1436538-1 is not prime. Res64: FB937FD3C3D4C388 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:00:55] 633*2^1436538-1 is not prime. Res64: 0462DD7060E37E4C Time : 0.0 sec. user=mdettweiler [2016-08-02 20:00:55] 647*2^1436538-1 is not prime. Res64: D8239F4350486BD1 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:00:56] 681*2^1436538-1 is not prime. Res64: E201674C16D7B461 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:05:01] 747*2^1436538-1 is not prime. Res64: 6F752203C3263A00 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:05:04] 791*2^1436538-1 is not prime. Res64: ABE3273D367593B7 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:05:05] 801*2^1436538-1 is not prime. Res64: 92A56C41674C8880 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:05:05] 923*2^1436538-1 is not prime. Res64: B4FDE4BC2F9C8BAC Time : 0.0 sec. user=mdettweiler [2016-08-02 20:05:06] 945*2^1436538-1 is not prime. Res64: 6DE2271430D78223 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:08:50] 663*2^1436539-1 is not prime. Res64: 5288BA247F700EB8 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:45:49] 873*2^1436539-1 is not prime. Res64: 9FDAFDFED7009F8E Time : 0.0 sec. user=mdettweiler [2016-08-02 20:45:49] 913*2^1436539-1 is not prime. Res64: E2FCF2BFB6E7CE61 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:45:50] 629*2^1436540-1 is not prime. Res64: 3462D067449F8083 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:45:50] 633*2^1436540-1 is not prime. Res64: 570AE75E820C7441 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:45:50] 687*2^1436540-1 is not prime. Res64: F59730A73FB49840 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:50:09] 743*2^1436540-1 is not prime. Res64: C094981EE233459C Time : 0.0 sec. user=mdettweiler [2016-08-02 20:50:09] 753*2^1436540-1 is not prime. Res64: F79D8B13273C9C57 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:50:10] 797*2^1436540-1 is not prime. Res64: F1CE0E91A8483B61 Time : 0.0 sec. user=mdettweiler [2016-08-02 20:50:10] 857*2^1436540-1 is not prime. Res64: DCC2E87CD1A2F84A Time : 0.0 sec. user=mdettweiler [2016-08-02 20:50:10] 963*2^1436540-1 is not prime. Res64: 08831A5B88FEB860 Time : 0.0 sec. user=mdettweiler [2016-08-02 21:30:34] 625*2^1436541-1 is not prime. Res64: F41BAC79ED0C17D6 Time : 0.0 sec. user=mdettweiler [2016-08-02 21:30:38] 751*2^1436541-1 is not prime. Res64: 8641E6EA15941902 Time : 0.0 sec. user=mdettweiler [2016-08-02 21:30:41] 861*2^1436541-1 is not prime. Res64: 88A4A10A570759BF Time : 0.0 sec. user=mdettweiler [2016-08-02 21:30:45] 877*2^1436541-1 is not prime. Res64: 55C060DDE21472AC Time : 0.0 sec. user=mdettweiler [2016-08-02 21:30:45] 975*2^1436541-1 is not prime. Res64: 1F5984110BADA926 Time : 0.0 sec. user=mdettweiler [2016-08-02 21:35:07] 827*2^1436542-1 is not prime. Res64: D5F8C119D32AF479 Time : 0.0 sec. user=mdettweiler [2016-08-02 21:35:07] 887*2^1436542-1 is not prime. Res64: E5A9591CB4E2982F Time : 0.0 sec. user=mdettweiler [2016-08-02 21:35:08] 891*2^1436542-1 is not prime. Res64: 38F70771EDCE9070 Time : 0.0 sec. user=mdettweiler [2016-08-02 21:35:08] 923*2^1436542-1 is not prime. Res64: 113C82437298BE6D Time : 0.0 sec. user=mdettweiler [2016-08-02 21:35:08] 981*2^1436542-1 is not prime. Res64: 63924B5C7336BB38 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:15:35] 615*2^1436543-1 is not prime. Res64: B747841562E3F2B3 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:15:36] 663*2^1436543-1 is not prime. Res64: 926AFB9E5C256418 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:15:36] 721*2^1436543-1 is not prime. Res64: 0541992BA62939EA Time : 0.0 sec. user=mdettweiler [2016-08-02 22:15:37] 739*2^1436543-1 is not prime. Res64: AA044A9C331F9711 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:15:37] 825*2^1436543-1 is not prime. Res64: D8C5D573B44E27AF Time : 0.0 sec. user=mdettweiler [2016-08-02 22:18:39] 775*2^1436539-1 is not prime. Res64: 97D3B9B9118202C8 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:18:42] 841*2^1436539-1 is not prime. Res64: 7992890A4F14CD11 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:18:46] 855*2^1436539-1 is not prime. Res64: 9C2FBCBE740136D2 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:18:49] 859*2^1436539-1 is not prime. Res64: 4F15B19FD3075E15 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:20:03] 871*2^1436543-1 is not prime. Res64: 94BD4340EC8CC71D Time : 0.0 sec. user=mdettweiler [2016-08-02 22:20:05] 879*2^1436543-1 is not prime. Res64: 9B9CFF19B02507BB Time : 0.0 sec. user=mdettweiler [2016-08-02 22:20:08] 949*2^1436543-1 is not prime. Res64: C6541C507F3A9B73 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:20:08] 991*2^1436543-1 is not prime. Res64: CBD1E386F3D3F34E Time : 0.0 sec. user=mdettweiler [2016-08-02 22:20:11] 657*2^1436544-1 is not prime. Res64: 526AC14504897202 Time : 0.0 sec. user=juhehe [2016-08-02 22:32:52] 675*2^1436544-1 is not prime. Res64: 2540C65194AA4EF7 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:59:54] 689*2^1436544-1 is not prime. Res64: FBCCA5427B762AA0 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:59:54] 707*2^1436544-1 is not prime. Res64: 4D87A81462812CF5 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:59:55] 747*2^1436544-1 is not prime. Res64: 3B9CC12012F59CB3 Time : 0.0 sec. user=mdettweiler [2016-08-02 22:59:55] 789*2^1436544-1 is not prime. Res64: 00EF1934C6455A6E Time : 0.0 sec. user=mdettweiler [2016-08-02 22:59:55] 825*2^1436544-1 is not prime. Res64: 37AA01EC36E82689 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:03:06] 917*2^1436544-1 is not prime. Res64: 6AC7E2D7CB43C5F1 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:03:07] 601*2^1436545-1 is not prime. Res64: DE2DBE2AE70523E6 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:03:08] 687*2^1436545-1 is not prime. Res64: E2C6648535C3DFD5 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:03:08] 699*2^1436545-1 is not prime. Res64: 8E3D375ACC758F58 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:03:09] 867*2^1436545-1 is not prime. Res64: 04A58C16DB2A0D69 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:04:23] 895*2^1436545-1 is not prime. Res64: F50F6BC84C0E8F48 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:04:24] 897*2^1436545-1 is not prime. Res64: 2AB94AAC858F0409 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:04:25] 919*2^1436545-1 is not prime. Res64: 73035FE572C5D3A6 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:04:25] 623*2^1436546-1 is not prime. Res64: B80B41FDE7A76D1B Time : 0.0 sec. user=mdettweiler [2016-08-02 23:04:26] 635*2^1436546-1 is not prime. Res64: 85E577284770D0AD Time : 0.0 sec. user=mdettweiler [2016-08-02 23:44:09] 645*2^1436546-1 is not prime. Res64: 0B3EA9C27B7D3F5C Time : 0.0 sec. user=mdettweiler [2016-08-02 23:44:10] 783*2^1436546-1 is not prime. Res64: 5E56C2855E86D88E Time : 0.0 sec. user=mdettweiler [2016-08-02 23:44:10] 831*2^1436546-1 is not prime. Res64: 6B6EFA04DBC77CD0 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:44:10] 691*2^1436547-1 is not prime. Res64: BB0B4B5FB53335B3 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:44:10] 703*2^1436547-1 is not prime. Res64: 8D40A904E4C4C9AE Time : 0.0 sec. user=mdettweiler [2016-08-02 23:47:21] 741*2^1436547-1 is not prime. Res64: 0AB87A7CB4A16B23 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:47:21] 819*2^1436547-1 is not prime. Res64: 1C34F4AF779DD85E Time : 0.0 sec. user=mdettweiler [2016-08-02 23:47:21] 991*2^1436547-1 is not prime. Res64: 2B0C484847288AD7 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:47:21] 665*2^1436548-1 is not prime. Res64: D5C7773F341775AE Time : 0.0 sec. user=mdettweiler [2016-08-02 23:47:22] 765*2^1436548-1 is not prime. Res64: 08D958D7071A539A Time : 0.0 sec. user=mdettweiler [2016-08-02 23:48:41] 615*2^1436549-1 is not prime. Res64: 4DBF311756590503 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:48:41] 747*2^1436549-1 is not prime. Res64: 6CE4E9606057B183 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:48:41] 889*2^1436549-1 is not prime. Res64: E1D28A7991851E9C Time : 0.0 sec. user=mdettweiler [2016-08-02 23:48:42] 647*2^1436550-1 is not prime. Res64: FA463AF7363E3BE1 Time : 0.0 sec. user=mdettweiler [2016-08-02 23:48:42] 713*2^1436550-1 is not prime. Res64: AA4928278BCDAFB5 Time : 0.0 sec.