v3
StateReduction / v3
r1