Analysis of Sora no kiseki