A
({"key":"A","value":"<(a), a="v">"},{"key":"B","value":"Diff(A, D)"},{"key":"C","value":"A + B = C"},{"key":"D","value":"Alldiff(A, B, C, D)"})
B
({"key":"A","value":"<(a), a="v">"},{"key":"B","value":"Diff(A, D)"},{"key":"C","value":"A + B = C"},{"key":"D","value":"Alldiff(A, B, C, D)"})
C
({"key":"A","value":"<(a), a="v">"},{"key":"B","value":"Diff(A, D)"},{"key":"C","value":"A + B = C"},{"key":"D","value":"Alldiff(A, B, C, D)"})
D
({"key":"A","value":"<(a), a="v">"},{"key":"B","value":"Diff(A, D)"},{"key":"C","value":"A + B = C"},{"key":"D","value":"Alldiff(A, B, C, D)"})
E
({"key":"A","value":"<(a), a="v">"},{"key":"B","value":"Diff(A, D)"},{"key":"C","value":"A + B = C"},{"key":"D","value":"Alldiff(A, B, C, D)"})
F
({"key":"A","value":"<(a), a="v">"},{"key":"B","value":"Diff(A, D)"},{"key":"C","value":"A + B = C"},{"key":"D","value":"Alldiff(A, B, C, D)"})