this repo has no description
1 2array[int] of int: x = []; 3solve satisfy; 4output [show(x)];