4bstate.logI 1E \ ctP 6)(x