>>855 のboom(7539)のところが実際にはboom(35)になっていたので、一応修正版。まぁ、出力は変わらないんだけど。
https://www.ideone.com/T80HCK