[4,8600,9422,35440,64552,73643,4851411,5148581, 8784945,726216462984,753613723258,791909893641, 819307153915,3654754464602947512, 4527063717215234298,5472936282784765694, 6345245535397052480]