(case 2 222222)
(case 4 222223)
(case 3 111112)
(case 3 111112)
(case 4 222223)
(case 3 111112)
(case 2 222222)
(case 3 111112)
(case 3 111112)
(case 1 111111)
(case 2 222222)
(case 3 111112)
(case 1 111111)
(case 4 222223)
(case 4 222223)
(case 4 222223)
(case 4 222223)
(case 2 222222)
(case 1 111111)
(case 1 111111)
