コンピュータの助けを借りて解決された。