ACL2の呪いがここまで影響するとは
なんでこのクソ暑いの二日なんだよ　もっと早目に調整することも出来たのに