Can someone explain to me that how that truth table become that K map? Thanks

Here's the transition table again State S2 S1 So Next State SS1 S0 S1 0 0 1 S2 0 1 0 S3 0 11 S4 S5 1 0 1 S6 1 1 0 S7 1 1 1 S1 S2 S3 S4 S5 S6 S7 SO 0 10 0 1 1 1 0 0 0 1 1 0 1 0 0 0 Looking at S2, the minterms are m3, m4, m5, m6. And once again with a Karnaugh map S2S1 S2S1 m2 m7