[7,15,37,89,1283,2655,6593,15841,228367,472575,1173517,2819609,40648043,84115695,208879433,501874561,7235123287,14972121135,37179365557,89330852249,1287811297043,2664953446335,6617718189713,15900389825761,229223175750367]