aizu 0115 Py/Rb. codeiq171 typed uf.