1233_1=[[1,2,3,4],[1,2,3,5],[1,2,4,5],[1,3,4,6],[1,3,5,6],[1,4,5,7],[1,4,6,7],[1,5,6,8],[1,5,7,9],[1,5,8,9],[1,6,7,9],[1,6,8,9],[2,3,4,9],[2,3,5,7],[2,3,6,7],[2,3,6,8],[2,3,8,9],[2,4,5,8],[2,4,6,7],[2,4,6,9],[2,4,7,8],[2,5,6,8],[2,5,6,9],[2,5,7,9],[2,7,8,9],[3,4,5,7],[3,4,5,8],[3,4,6,8],[3,4,7,9],[3,5,6,9],[3,5,8,9],[3,6,7,9],[4,6,8,9],[4,7,8,9]]