>>71
それ、Dimitrovが論文だしてる
IUTを強いabc解決に導くやつ