Tetranacci sequence