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

X = 17;
Y = 17;
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, -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, 1, 1, -1, -1
	 |];