¹⁰The capital-to-(quarterly) output ratio is set equal to 10.26 (the value used for the US by Carroll, Slacalek, and Tokuoka (2013b)).