bytecode-benchmarks/mzn-rewriting/nonogram/dom_14.dzn

X = 29;
Y = 29;
maxlen = 5;
rows = 	[|1, 1, 1, -1, -1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, 0, 1
	 |1, -1, -1, -1, -1
	 |1, -1, -1, -1, -1
	 |];
cols = 	[|1, -1, -1, -1, -1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 0, 1, 1, 1
	 |1, -1, -1, -1, -1
	 |1, 1, 1, -1, -1
	 |];