read `Recto.txt`:
	  PUZ:={[[1, 3], 5], [[2, 5], 5], [[3, 3], 4], [[4, 4], 6], [[5, 3], 5], [[6, 4], 7]};

print(``):
lprint(RectoSolver([6$6],PUZ,true));

print(``):
print(time()):

quit: