/* Constructed against backtracking */
000000001 000000023 004005000 000100000 000030600 007000580 000067000 010004000 520000000