みくみく順序数Act.3.3
(7,5,3,0)[2] =
(5,5,5,3,0)[2] =
(3,3,3,5,5,3,0)[2] =
(0,0,0,3,3,5,5,3,0)[2] =
((0,0,3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((0,3,3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((7,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((5,5,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((3,3,3,5,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =
(((((0,0,0,3,3,5,5),3),3,5,5,3,0),3,3,5,5,3,0),0,3,3,5,5,3,0)[2] =