>>614069
スマンがウチもACL2出場が掛かってるので理解してくれ。