[1,2,3,7,20,67,255,1080,5017,25287,137122,794545, 4892167,31858034,218543759,1573857867,11863100692, 93345011951,764941675963,6514819011216, 57556900440429,526593974392123]