RP = nil(true(cols => [1,3],rows => [1,4,6]),true(cols => [1,3],rows => [1,4]),true(cols => [1,3],rows => [4,6]),true(cols => [5],rows => [2,4]),true(cols => [2],rows => [1,2,3,6]),true(cols => [2],rows => [1,2,3]),true(cols => [2],rows => [1,3,6]),true(cols => [2],rows => [1,3]),true(cols => [2,6],rows => [3,6]),true(cols => [2,6],rows => [2,3,6]),true(cols => [2,6],rows => [2,3]),true(cols => [4],rows => [1,5]),@(cols => [1,3,5],rows => [4]),true(cols => [1,2,3],rows => [1,6]),@(cols => [1,2,3,6],rows => [6]),@(cols => [2,5,6],rows => [2]),@(cols => [1,2,3,4],rows => [1]))?
 
 

X = [1(l => [3(l => [true(cols => [1,3],rows => [1,4,6]),
                     true(cols => [1,3],rows => [1,4]),
                     true(cols => [1,3],rows => [4,6]),
                     true(cols => [1,2,3],rows => [1,6])]),
             4(l => [@(cols => [1,2,3,4],rows => [1])]),
             5(l => [@(cols => [1,3,5],rows => [4])]),
             6(l => [@(cols => [1,2,3,6],rows => [6])])]),
     2(l => [2(l => [true(cols => [2],rows => [1,2,3,6]),
                     true(cols => [2],rows => [1,2,3]),
                     true(cols => [2],rows => [1,3,6]),
                     true(cols => [2],rows => [1,3])]),
             6(l => [true(cols => [2,6],rows => [3,6]),
                     true(cols => [2,6],rows => [2,3,6]),
                     true(cols => [2,6],rows => [2,3]),
                     @(cols => [2,5,6],rows => [2])])]),
     4(l => [4(l => [true(cols => [4],rows => [1,5])])]),
     5(l => [5(l => [true(cols => [5],rows => [2,4])])])]?

X = [1(l => [3(l => [true(cols => [1,3],rows => [1,4,6]),
                     true(cols => [1,2,3],rows => [1,6])]),
             4(l => [@(cols => [1,2,3,4],rows => [1])]),
             5(l => [@(cols => [1,3,5],rows => [4])]),
             6(l => [@(cols => [1,2,3,6],rows => [6])])]),
     2(l => [2(l => [true(cols => [2],rows => [1,2,3,6])])])].
