たぶん組み分け的には

164 641 416
235 352 523

で、4と5は入れ替え可能ってことなんだろうけど
証明はわからん