[Bug-apl] Dudoku Solver/Generator V0.1 to test, using Quad-DLX

Christian Robert Fri, 02 Dec 2016 18:47:04 -0800

Here it is for anyone to test. (XSudoku.xml attached to this email)


Test it for me please and report any bug directly to me (unless it's bug-apl 
general purpose issue).

if a variable name "DEBUG" exist then the "Gengrid" function will show progress.
if you )erase DEBUG, no progress is showed

3 main functions exist:

1)    z←Display s                              // Display a 9x9 sudoku where 
zeroes mean blank cell

2)    z←Solve s                                // Solve   a 9x9 sudoku where 
zeroes mean blank cell

3)    z←[maxtime] Gengrid min_non_empty_cells  // Generate a sudoku within time 
limit maxtime (in seconds) or min_non_empty_cells





      )vars
DEBUG   SamplesEasy     SamplesHard     SamplesMedium   StarBurst

      S←{(Display ⍵) (Display Solve ⍵)}


      S ¨ SamplesEasy
  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
  ║ 5 │   │ 2 ║ 6 │ 1 │ 3 ║ 9 │   │ 8 ║  ║ 5 │ 4 │ 2 ║ 6 │ 1 │ 3 ║ 9 │ 7 │ 8 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │ 3 │ 6 ║ 7 │   │   ║   │   │   ║  ║ 1 │ 3 │ 6 ║ 7 │ 8 │ 9 ║ 2 │ 4 │ 5 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │ 8 │ 9 ║ 2 │   │   ║   │   │   ║  ║ 7 │ 8 │ 9 ║ 2 │ 4 │ 5 ║ 1 │ 3 │ 6 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │   ║ 8 │ 9 │ 4 ║   │ 6 │   ║  ║ 2 │ 1 │ 5 ║ 8 │ 9 │ 4 ║ 7 │ 6 │ 3 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │ 7 ║ 3 │   │   ║ 5 │   │ 4 ║  ║ 8 │ 9 │ 7 ║ 3 │ 2 │ 6 ║ 5 │ 1 │ 4 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │   ║   │   │ 7 ║ 8 │   │ 9 ║  ║ 3 │ 6 │ 4 ║ 1 │ 5 │ 7 ║ 8 │ 2 │ 9 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │ 3 ║ 5 │   │   ║   │ 9 │ 1 ║  ║ 6 │ 2 │ 3 ║ 5 │ 7 │ 8 ║ 4 │ 9 │ 1 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 4 │   │ 1 ║ 9 │ 3 │ 2 ║   │   │ 7 ║  ║ 4 │ 5 │ 1 ║ 9 │ 3 │ 2 ║ 6 │ 8 │ 7 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 9 │   │ 8 ║   │   │ 1 ║   │   │ 2 ║  ║ 9 │ 7 │ 8 ║ 4 │ 6 │ 1 ║ 3 │ 5 │ 2 ║
  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝
  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
  ║ 3 │ 5 │   ║   │ 2 │ 8 ║   │   │ 4 ║  ║ 3 │ 5 │ 7 ║ 9 │ 2 │ 8 ║ 1 │ 6 │ 4 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │ 4 ║ 5 │   │ 7 ║   │   │   ║  ║ 1 │ 2 │ 4 ║ 5 │ 6 │ 7 ║ 3 │ 8 │ 9 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 6 │ 8 │ 9 ║ 1 │   │ 3 ║   │ 5 │   ║  ║ 6 │ 8 │ 9 ║ 1 │ 4 │ 3 ║ 2 │ 5 │ 7 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║ 2 │ 6 │   ║   │   │   ║ 9 │ 3 │   ║  ║ 2 │ 6 │ 1 ║ 7 │ 5 │ 4 ║ 9 │ 3 │ 8 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 7 │   │   ║   │ 3 │   ║   │   │ 5 ║  ║ 7 │ 9 │ 8 ║ 2 │ 3 │ 6 ║ 4 │ 1 │ 5 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 4 │ 3 │ 5 ║   │   │   ║ 7 │   │ 6 ║  ║ 4 │ 3 │ 5 ║ 8 │ 1 │ 9 ║ 7 │ 2 │ 6 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │   ║ 3 │   │   ║ 6 │ 7 │   ║  ║ 8 │ 4 │ 2 ║ 3 │ 9 │ 5 ║ 6 │ 7 │ 1 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │ 1 │ 6 ║   │   │ 2 ║   │   │ 3 ║  ║ 5 │ 1 │ 6 ║ 4 │ 7 │ 2 ║ 8 │ 9 │ 3 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │ 3 ║ 6 │ 8 │ 1 ║ 5 │   │   ║  ║ 9 │ 7 │ 3 ║ 6 │ 8 │ 1 ║ 5 │ 4 │ 2 ║
  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝
  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
  ║   │ 1 │ 2 ║   │   │   ║   │ 7 │   ║  ║ 4 │ 1 │ 2 ║ 5 │ 3 │ 9 ║ 6 │ 7 │ 8 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 3 │ 5 │   ║ 1 │   │   ║   │ 4 │ 9 ║  ║ 3 │ 5 │ 6 ║ 1 │ 7 │ 8 ║ 2 │ 4 │ 9 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │ 9 ║ 2 │   │ 6 ║ 3 │ 5 │   ║  ║ 7 │ 8 │ 9 ║ 2 │ 4 │ 6 ║ 3 │ 5 │ 1 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │ 3 ║ 7 │ 8 │   ║ 9 │   │   ║  ║ 1 │ 4 │ 3 ║ 7 │ 8 │ 2 ║ 9 │ 6 │ 5 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │ 5 ║   │ 1 │ 3 ║   │   │ 4 ║  ║ 6 │ 7 │ 5 ║ 9 │ 1 │ 3 ║ 8 │ 2 │ 4 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 2 │   │   ║ 4 │ 6 │ 5 ║ 1 │ 3 │   ║  ║ 2 │ 9 │ 8 ║ 4 │ 6 │ 5 ║ 1 │ 3 │ 7 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║ 5 │   │ 1 ║   │   │   ║ 7 │   │   ║  ║ 5 │ 3 │ 1 ║ 8 │ 2 │ 4 ║ 7 │ 9 │ 6 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 9 │   │ 7 ║ 3 │   │   ║   │ 8 │   ║  ║ 9 │ 6 │ 7 ║ 3 │ 5 │ 1 ║ 4 │ 8 │ 2 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │ 2 │   ║ 6 │ 9 │   ║   │ 1 │   ║  ║ 8 │ 2 │ 4 ║ 6 │ 9 │ 7 ║ 5 │ 1 │ 3 ║
  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝
  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
  ║   │   │ 9 ║   │   │ 3 ║ 2 │ 7 │ 5 ║  ║ 4 │ 1 │ 9 ║ 8 │ 6 │ 3 ║ 2 │ 7 │ 5 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 2 │   │ 5 ║ 4 │ 7 │ 9 ║ 1 │ 6 │ 8 ║  ║ 2 │ 3 │ 5 ║ 4 │ 7 │ 9 ║ 1 │ 6 │ 8 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 6 │ 7 │ 8 ║ 2 │   │ 1 ║   │   │ 9 ║  ║ 6 │ 7 │ 8 ║ 2 │ 5 │ 1 ║ 3 │ 4 │ 9 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │ 2 ║ 7 │   │   ║   │   │   ║  ║ 1 │ 8 │ 2 ║ 7 │ 3 │ 6 ║ 9 │ 5 │ 4 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │ 9 │ 7 ║ 1 │   │   ║ 6 │   │   ║  ║ 5 │ 9 │ 7 ║ 1 │ 8 │ 4 ║ 6 │ 2 │ 3 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 3 │ 4 │   ║   │ 2 │   ║ 8 │ 1 │   ║  ║ 3 │ 4 │ 6 ║ 9 │ 2 │ 5 ║ 8 │ 1 │ 7 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │   ║   │   │   ║ 7 │   │   ║  ║ 9 │ 5 │ 1 ║ 3 │ 4 │ 2 ║ 7 │ 8 │ 6 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │ 6 │ 3 ║ 5 │   │ 8 ║   │ 9 │   ║  ║ 7 │ 6 │ 3 ║ 5 │ 1 │ 8 ║ 4 │ 9 │ 2 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │   ║   │   │ 7 ║   │ 3 │   ║  ║ 8 │ 2 │ 4 ║ 6 │ 9 │ 7 ║ 5 │ 3 │ 1 ║
  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝
  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
  ║ 5 │   │   ║   │   │ 3 ║   │   │   ║  ║ 5 │ 9 │ 1 ║ 7 │ 8 │ 3 ║ 2 │ 6 │ 4 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 2 │   │   ║   │   │ 9 ║ 1 │ 7 │ 8 ║  ║ 2 │ 3 │ 4 ║ 5 │ 6 │ 9 ║ 1 │ 7 │ 8 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║   │   │ 8 ║ 2 │   │ 1 ║   │   │ 9 ║  ║ 6 │ 7 │ 8 ║ 2 │ 4 │ 1 ║ 3 │ 5 │ 9 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║   │   │   ║ 8 │   │   ║   │ 4 │   ║  ║ 1 │ 2 │ 9 ║ 8 │ 3 │ 5 ║ 7 │ 4 │ 6 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 8 │   │ 6 ║ 1 │ 7 │   ║ 9 │ 2 │   ║  ║ 8 │ 5 │ 6 ║ 1 │ 7 │ 4 ║ 9 │ 2 │ 3 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 3 │ 4 │ 7 ║   │ 2 │   ║   │   │ 5 ║  ║ 3 │ 4 │ 7 ║ 9 │ 2 │ 6 ║ 8 │ 1 │ 5 ║
  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
  ║ 4 │ 1 │   ║   │ 9 │   ║   │ 8 │   ║  ║ 4 │ 1 │ 3 ║ 6 │ 9 │ 2 ║ 5 │ 8 │ 7 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 9 │   │   ║   │ 1 │   ║   │ 3 │ 2 ║  ║ 9 │ 8 │ 5 ║ 4 │ 1 │ 7 ║ 6 │ 3 │ 2 ║
  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
  ║ 7 │   │ 2 ║ 3 │ 5 │   ║ 4 │   │ 1 ║  ║ 7 │ 6 │ 2 ║ 3 │ 5 │ 8 ║ 4 │ 9 │ 1 ║
  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝


      S StarBurst
 ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗  ╔═══╤═══╤═══╦═══╤═══╤═══╦═══╤═══╤═══╗
 ║ 9 │   │   ║ 1 │   │ 4 ║   │   │ 2 ║  ║ 9 │ 5 │ 7 ║ 1 │ 8 │ 4 ║ 3 │ 6 │ 2 ║
 ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
 ║   │ 8 │   ║   │ 6 │   ║   │ 7 │   ║  ║ 2 │ 8 │ 1 ║ 9 │ 6 │ 3 ║ 4 │ 7 │ 5 ║
 ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
 ║   │   │   ║   │   │   ║   │   │   ║  ║ 6 │ 4 │ 3 ║ 7 │ 2 │ 5 ║ 1 │ 9 │ 8 ║
 ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
 ║ 4 │   │   ║   │   │   ║   │   │ 1 ║  ║ 4 │ 9 │ 6 ║ 3 │ 5 │ 7 ║ 8 │ 2 │ 1 ║
 ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
 ║   │ 7 │   ║   │   │   ║   │ 3 │   ║  ║ 8 │ 7 │ 5 ║ 4 │ 1 │ 2 ║ 9 │ 3 │ 6 ║
 ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
 ║ 3 │   │   ║   │   │   ║   │   │ 7 ║  ║ 3 │ 1 │ 2 ║ 8 │ 9 │ 6 ║ 5 │ 4 │ 7 ║
 ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣  ╠═══╪═══╪═══╬═══╪═══╪═══╬═══╪═══╪═══╣
 ║   │   │   ║   │   │   ║   │   │   ║  ║ 7 │ 2 │ 9 ║ 5 │ 4 │ 8 ║ 6 │ 1 │ 3 ║
 ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
 ║   │ 3 │   ║   │ 7 │   ║   │ 8 │   ║  ║ 5 │ 3 │ 4 ║ 6 │ 7 │ 1 ║ 2 │ 8 │ 9 ║
 ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢  ╟───┼───┼───╫───┼───┼───╫───┼───┼───╢
 ║ 1 │   │   ║ 2 │   │ 9 ║   │   │ 4 ║  ║ 1 │ 6 │ 8 ║ 2 │ 3 │ 9 ║ 7 │ 5 │ 4 ║
 ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝  ╚═══╧═══╧═══╩═══╧═══╧═══╩═══╧═══╧═══╝
      )fns
Display     GenRCD  Gengrid     OneRCD  S   Solve df
      )vars
DEBUG   SamplesEasy     SamplesHard     SamplesMedium   StarBurst
      )save
2016-12-02  21:19:49 (GMT-5) XSudoku
      )off

See attached workspace ...

Xtian.

<?xml version='1.0' encoding='UTF-8' standalone='yes'?>

<!DOCTYPE Workspace
[
    <!ELEMENT Workspace (Value*,Ravel*,SymbolTable,Symbol*,StateIndicator)>
    <!ATTLIST Workspace  wsid       CDATA #REQUIRED>
    <!ATTLIST Workspace  year       CDATA #REQUIRED>
    <!ATTLIST Workspace  month      CDATA #REQUIRED>
    <!ATTLIST Workspace  day        CDATA #REQUIRED>
    <!ATTLIST Workspace  hour       CDATA #REQUIRED>
    <!ATTLIST Workspace  minute     CDATA #REQUIRED>
    <!ATTLIST Workspace  second     CDATA #REQUIRED>
    <!ATTLIST Workspace  timezone   CDATA #REQUIRED>
    <!ATTLIST Workspace  saving_SVN CDATA #REQUIRED>

        <!ELEMENT Value (#PCDATA)>
        <!ATTLIST Value flg    CDATA #REQUIRED>
        <!ATTLIST Value vid    CDATA #REQUIRED>
        <!ATTLIST Value parent CDATA #IMPLIED>
        <!ATTLIST Value rk     CDATA #REQUIRED>
        <!ATTLIST Value sh-0   CDATA #IMPLIED>
        <!ATTLIST Value sh-1   CDATA #IMPLIED>
        <!ATTLIST Value sh-2   CDATA #IMPLIED>
        <!ATTLIST Value sh-3   CDATA #IMPLIED>
        <!ATTLIST Value sh-4   CDATA #IMPLIED>
        <!ATTLIST Value sh-5   CDATA #IMPLIED>
        <!ATTLIST Value sh-6   CDATA #IMPLIED>
        <!ATTLIST Value sh-7   CDATA #IMPLIED>

        <!ELEMENT Ravel (#PCDATA)>
        <!ATTLIST Ravel vid    CDATA #REQUIRED>
        <!ATTLIST Ravel cells  CDATA #REQUIRED>

        <!ELEMENT SymbolTable (Symbol*)>
        <!ATTLIST SymbolTable size CDATA #REQUIRED>

            <!ELEMENT Symbol (unused-name|Variable|Function|Label|Shared-Variable)*>
            <!ATTLIST Symbol name       CDATA #REQUIRED>
            <!ATTLIST Symbol stack-size CDATA #REQUIRED>

                <!ELEMENT unused-name EMPTY>

                <!ELEMENT Variable (#PCDATA)>
                <!ATTLIST Variable vid CDATA #REQUIRED>

                <!ELEMENT Function (UCS)>
                <!ATTLIST Function creation-time   CDATA #IMPLIED>
                <!ATTLIST Function exec-properties CDATA #IMPLIED>

                <!ELEMENT Label (#PCDATA)>
                <!ATTLIST Label value CDATA #REQUIRED>

                <!ELEMENT Shared-Variable (#PCDATA)>
                <!ATTLIST Shared-Variable key CDATA #REQUIRED>

        <!ELEMENT UCS (#PCDATA)>
        <!ATTLIST UCS uni CDATA #REQUIRED>

        <!ELEMENT StateIndicator (SI-entry*)>
        <!ATTLIST StateIndicator levels CDATA #REQUIRED>

            <!ELEMENT SI-entry ((Execute|Statements|UserFunction),Parser+)>
            <!ATTLIST SI-entry level     CDATA #REQUIRED>
            <!ATTLIST SI-entry pc        CDATA #REQUIRED>
            <!ATTLIST SI-entry line      CDATA #REQUIRED>

                <!ELEMENT Statements (UCS)>

                <!ELEMENT Execute (UCS)>

                <!ELEMENT UserFunction (#PCDATA)>
                <!ATTLIST UserFunction ufun-name       CDATA #REQUIRED>
                <!ATTLIST UserFunction symbol-level    CDATA #REQUIRED>

                <!ELEMENT Parser (Token*)>
                <!ATTLIST Parser assign-pending CDATA #REQUIRED>
                <!ATTLIST Parser lookahead-high CDATA #REQUIRED>
                    <!ELEMENT Token (#PCDATA)>
                    <!ATTLIST Token pc           CDATA #REQUIRED>
                    <!ATTLIST Token tag          CDATA #REQUIRED>
                    <!ATTLIST Token char         CDATA #IMPLIED>
                    <!ATTLIST Token int          CDATA #IMPLIED>
                    <!ATTLIST Token float        CDATA #IMPLIED>
                    <!ATTLIST Token real         CDATA #IMPLIED>
                    <!ATTLIST Token imag         CDATA #IMPLIED>
                    <!ATTLIST Token sym          CDATA #IMPLIED>
                    <!ATTLIST Token line         CDATA #IMPLIED>
                    <!ATTLIST Token vid          CDATA #IMPLIED>
                    <!ATTLIST Token index        CDATA #IMPLIED>
                    <!ATTLIST Token fun-id       CDATA #IMPLIED>
                    <!ATTLIST Token ufun-name    CDATA #IMPLIED>
                    <!ATTLIST Token symbol-level CDATA #IMPLIED>
                    <!ATTLIST Token comment      CDATA #IMPLIED>

]>


    <!-- hour/minute/second is )SAVE time in UTC (aka. GMT).
         timezone is offset to UTC in seconds.
         local time is UTC + offset -->
<Workspace wsid="XSudoku" year="2016" month="12" day="3"
           hour="2" minute="19" second="49" timezone="-18000"
           saving_SVN=" 808">

  <Value flg="0x400" vid="0" parent="-1" rk="1" sh-0="21"/>
  <Value flg="0x400" vid="1" parent="-1" rk="1" sh-0="5"/>
  <Value flg="0x400" vid="2" parent="-1" rk="1" sh-0="256"/>
  <Value flg="0x400" vid="3" parent="-1" rk="1" sh-0="6"/>
  <Value flg="0x400" vid="4" parent="-1" rk="0"/>
  <Value flg="0x400" vid="5" parent="-1" rk="1" sh-0="0"/>
  <Value flg="0x400" vid="6" parent="-1" rk="0"/>
  <Value flg="0x400" vid="7" parent="-1" rk="0"/>
  <Value flg="0x400" vid="8" parent="-1" rk="0"/>
  <Value flg="0x400" vid="9" parent="-1" rk="0"/>
  <Value flg="0x400" vid="10" parent="-1" rk="0"/>
  <Value flg="0x400" vid="11" parent="-1" rk="0"/>
  <Value flg="0x400" vid="12" parent="-1" rk="0"/>
  <Value flg="0x400" vid="13" parent="-1" rk="0"/>
  <Value flg="0x400" vid="14" parent="-1" rk="1" sh-0="3"/>
  <Value flg="0x400" vid="15" parent="-1" rk="0"/>
  <Value flg="0x400" vid="16" parent="-1" rk="0"/>
  <Value flg="0x400" vid="17" parent="-1" rk="0"/>
  <Value flg="0x400" vid="18" parent="-1" rk="0"/>
  <Value flg="0x400" vid="19" parent="-1" rk="0"/>
  <Value flg="0x400" vid="20" parent="-1" rk="0"/>
  <Value flg="0x400" vid="21" parent="-1" rk="0"/>
  <Value flg="0x400" vid="22" parent="-1" rk="0"/>
  <Value flg="0x400" vid="23" parent="-1" rk="0"/>
  <Value flg="0x400" vid="24" parent="-1" rk="0"/>
  <Value flg="0x400" vid="25" parent="-1" rk="0"/>
  <Value flg="0x400" vid="26" parent="142" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="27" parent="-1" rk="0"/>
  <Value flg="0x400" vid="28" parent="-1" rk="0"/>
  <Value flg="0x400" vid="29" parent="-1" rk="0"/>
  <Value flg="0x400" vid="30" parent="-1" rk="0"/>
  <Value flg="0x400" vid="31" parent="-1" rk="0"/>
  <Value flg="0x400" vid="32" parent="-1" rk="0"/>
  <Value flg="0x400" vid="33" parent="-1" rk="0"/>
  <Value flg="0x400" vid="34" parent="-1" rk="0"/>
  <Value flg="0x400" vid="35" parent="-1" rk="0"/>
  <Value flg="0x400" vid="36" parent="-1" rk="0"/>
  <Value flg="0x400" vid="37" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="38" parent="-1" rk="0"/>
  <Value flg="0x400" vid="39" parent="-1" rk="1" sh-0="16"/>
  <Value flg="0x400" vid="40" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="41" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="42" parent="-1" rk="0"/>
  <Value flg="0x400" vid="43" parent="-1" rk="0"/>
  <Value flg="0x400" vid="44" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="45" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="46" parent="-1" rk="0"/>
  <Value flg="0x400" vid="47" parent="-1" rk="0"/>
  <Value flg="0x400" vid="48" parent="-1" rk="0"/>
  <Value flg="0x400" vid="49" parent="-1" rk="0"/>
  <Value flg="0x400" vid="50" parent="-1" rk="0"/>
  <Value flg="0x400" vid="51" parent="-1" rk="0"/>
  <Value flg="0x400" vid="52" parent="-1" rk="0"/>
  <Value flg="0x400" vid="53" parent="-1" rk="0"/>
  <Value flg="0x400" vid="54" parent="-1" rk="0"/>
  <Value flg="0x400" vid="55" parent="-1" rk="0"/>
  <Value flg="0x400" vid="56" parent="-1" rk="0"/>
  <Value flg="0x400" vid="57" parent="-1" rk="0"/>
  <Value flg="0x400" vid="58" parent="-1" rk="0"/>
  <Value flg="0x400" vid="59" parent="-1" rk="0"/>
  <Value flg="0x400" vid="60" parent="-1" rk="0"/>
  <Value flg="0x400" vid="61" parent="-1" rk="0"/>
  <Value flg="0x400" vid="62" parent="-1" rk="0"/>
  <Value flg="0x400" vid="63" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="64" parent="-1" rk="0"/>
  <Value flg="0x400" vid="65" parent="-1" rk="0"/>
  <Value flg="0x400" vid="66" parent="-1" rk="0"/>
  <Value flg="0x400" vid="67" parent="-1" rk="0"/>
  <Value flg="0x400" vid="68" parent="-1" rk="0"/>
  <Value flg="0x400" vid="69" parent="-1" rk="0"/>
  <Value flg="0x400" vid="70" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="71" parent="-1" rk="0"/>
  <Value flg="0x400" vid="72" parent="-1" rk="0"/>
  <Value flg="0x400" vid="73" parent="-1" rk="0"/>
  <Value flg="0x400" vid="74" parent="-1" rk="1" sh-0="3"/>
  <Value flg="0x400" vid="75" parent="-1" rk="0"/>
  <Value flg="0x400" vid="76" parent="-1" rk="0"/>
  <Value flg="0x400" vid="77" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="78" parent="-1" rk="0"/>
  <Value flg="0x400" vid="79" parent="-1" rk="0"/>
  <Value flg="0x400" vid="80" parent="-1" rk="0"/>
  <Value flg="0x400" vid="81" parent="-1" rk="0"/>
  <Value flg="0x400" vid="82" parent="-1" rk="0"/>
  <Value flg="0x400" vid="83" parent="-1" rk="0"/>
  <Value flg="0x400" vid="84" parent="-1" rk="0"/>
  <Value flg="0x400" vid="85" parent="-1" rk="0"/>
  <Value flg="0x400" vid="86" parent="-1" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="87" parent="-1" rk="0"/>
  <Value flg="0x400" vid="88" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="89" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="90" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="91" parent="-1" rk="0"/>
  <Value flg="0x400" vid="92" parent="-1" rk="0"/>
  <Value flg="0x400" vid="93" parent="-1" rk="1" sh-0="49"/>
  <Value flg="0x400" vid="94" parent="-1" rk="0"/>
  <Value flg="0x400" vid="95" parent="-1" rk="0"/>
  <Value flg="0x400" vid="96" parent="-1" rk="0"/>
  <Value flg="0x400" vid="97" parent="-1" rk="1" sh-0="12"/>
  <Value flg="0x400" vid="98" parent="-1" rk="1" sh-0="50"/>
  <Value flg="0x400" vid="99" parent="-1" rk="1" sh-0="49"/>
  <Value flg="0x400" vid="100" parent="-1" rk="0"/>
  <Value flg="0x400" vid="101" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="102" parent="-1" rk="1" sh-0="0"/>
  <Value flg="0x400" vid="103" parent="-1" rk="0"/>
  <Value flg="0x400" vid="104" parent="-1" rk="1" sh-0="0"/>
  <Value flg="0x400" vid="105" parent="-1" rk="0"/>
  <Value flg="0x400" vid="106" parent="-1" rk="0"/>
  <Value flg="0x400" vid="107" parent="-1" rk="0"/>
  <Value flg="0x400" vid="108" parent="-1" rk="0"/>
  <Value flg="0x400" vid="109" parent="-1" rk="0"/>
  <Value flg="0x400" vid="110" parent="-1" rk="0"/>
  <Value flg="0x400" vid="111" parent="-1" rk="0"/>
  <Value flg="0x400" vid="112" parent="-1" rk="0"/>
  <Value flg="0x400" vid="113" parent="-1" rk="0"/>
  <Value flg="0x400" vid="114" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="115" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="116" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="117" parent="-1" rk="0"/>
  <Value flg="0x400" vid="118" parent="-1" rk="0"/>
  <Value flg="0x400" vid="119" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="120" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="121" parent="-1" rk="0"/>
  <Value flg="0x400" vid="122" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="123" parent="-1" rk="0"/>
  <Value flg="0x400" vid="124" parent="-1" rk="1" sh-0="3"/>
  <Value flg="0x400" vid="125" parent="-1" rk="0"/>
  <Value flg="0x400" vid="126" parent="-1" rk="0"/>
  <Value flg="0x400" vid="127" parent="-1" rk="0"/>
  <Value flg="0x400" vid="128" parent="-1" rk="0"/>
  <Value flg="0x400" vid="129" parent="-1" rk="0"/>
  <Value flg="0x400" vid="130" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="131" parent="-1" rk="0"/>
  <Value flg="0x400" vid="132" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="133" parent="-1" rk="0"/>
  <Value flg="0x400" vid="134" parent="-1" rk="0"/>
  <Value flg="0x400" vid="135" parent="-1" rk="0"/>
  <Value flg="0x400" vid="136" parent="-1" rk="0"/>
  <Value flg="0x400" vid="137" parent="-1" rk="0"/>
  <Value flg="0x400" vid="138" parent="-1" rk="0"/>
  <Value flg="0x400" vid="139" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="140" parent="-1" rk="0"/>
  <Value flg="0x400" vid="141" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="142" parent="-1" rk="2" sh-0="5" sh-1="1"/>
  <Value flg="0x400" vid="143" parent="-1" rk="0"/>
  <Value flg="0x400" vid="144" parent="-1" rk="0"/>
  <Value flg="0x400" vid="145" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="146" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="147" parent="-1" rk="0"/>
  <Value flg="0x400" vid="148" parent="-1" rk="1" sh-0="3"/>
  <Value flg="0x400" vid="149" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="150" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="151" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="152" parent="192" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="153" parent="-1" rk="0"/>
  <Value flg="0x400" vid="154" parent="-1" rk="0"/>
  <Value flg="0x400" vid="155" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="156" parent="-1" rk="0"/>
  <Value flg="0x400" vid="157" parent="-1" rk="0"/>
  <Value flg="0x400" vid="158" parent="-1" rk="1" sh-0="5"/>
  <Value flg="0x400" vid="159" parent="-1" rk="0"/>
  <Value flg="0x400" vid="160" parent="-1" rk="0"/>
  <Value flg="0x400" vid="161" parent="-1" rk="0"/>
  <Value flg="0x400" vid="162" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="163" parent="-1" rk="0"/>
  <Value flg="0x400" vid="164" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="165" parent="-1" rk="0"/>
  <Value flg="0x400" vid="166" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="167" parent="-1" rk="0"/>
  <Value flg="0x400" vid="168" parent="-1" rk="0"/>
  <Value flg="0x400" vid="169" parent="-1" rk="0"/>
  <Value flg="0x400" vid="170" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="171" parent="-1" rk="0"/>
  <Value flg="0x400" vid="172" parent="-1" rk="1" sh-0="37"/>
  <Value flg="0x400" vid="173" parent="-1" rk="0"/>
  <Value flg="0x400" vid="174" parent="-1" rk="0"/>
  <Value flg="0x400" vid="175" parent="-1" rk="1" sh-0="2"/>
  <Value flg="0x400" vid="176" parent="-1" rk="1" sh-0="36"/>
  <Value flg="0x400" vid="177" parent="-1" rk="0"/>
  <Value flg="0x400" vid="178" parent="-1" rk="2" sh-0="5" sh-1="1"/>
  <Value flg="0x400" vid="179" parent="192" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="180" parent="178" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="181" parent="178" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="182" parent="178" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="183" parent="192" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="184" parent="178" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="185" parent="192" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="186" parent="142" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="187" parent="142" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="188" parent="142" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="189" parent="178" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="190" parent="192" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="191" parent="142" rk="2" sh-0="9" sh-1="9"/>
  <Value flg="0x400" vid="192" parent="-1" rk="2" sh-0="5" sh-1="1"/>
  <Ravel vid="0" cells="Â²SystemVariable.cc:626â°"/>
  <Ravel vid="1" cells="Â³-1Â³0Â³0Â³0Â³0"/>
  <Ravel vid="2" cells="Â¹0Â¹1Â¹2Â¹3Â¹4Â¹5Â¹6Â¹7Â¹8Â¹9Â¹A
    Â¹BÂ¹CÂ¹DÂ¹EÂ¹FÂ¹10Â¹11Â¹12Â¹13Â¹14Â¹15Â¹16Â¹17Â¹18Â¹19Â¹1AÂ¹1BÂ¹1CÂ¹1DÂ¹1EÂ¹1FÂ² !â°Â¹22Â²#$â°
    Â²%â°Â¹26Â²'()*+,-./0123456789:;â°Â¹3CÂ²=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_â°
    Â²`abcdefghijklmnopqrstuvwxyz{|}~â°Â¹7FÂ¹A5Â¹20ACÂ¹21C4Â¹2227Â¹223CÂ¹226C
    Â¹22C6Â¹22F8Â¹2338Â¹233AÂ¹233CÂ¹3BCÂ¹2341Â¹A1Â¹2363Â¹2345Â¹2395Â¹235EÂ¹2339Â¹2346
    Â¹2364Â¹2347Â¹2348Â¹234AÂ¹22A4Â¹3BBÂ¹234DÂ¹234FÂ¹A3Â¹22A5Â¹2376Â¹2336Â¹2350Â¹2351
    Â¹3C7Â¹2262Â¹2356Â¹2357Â¹2358Â¹235AÂ¹235BÂ¹2308Â¹235CÂ¹2362Â¹222AÂ¹2368Â¹2355
    Â¹234EÂ¹236CÂ¹236AÂ¹2223Â¹2502Â¹2524Â¹235FÂ¹2206Â¹2207Â¹2192Â¹2563Â¹2551Â¹2557
    Â¹255DÂ¹2190Â¹230AÂ¹2510Â¹2514Â¹2534Â¹252CÂ¹251CÂ¹2500Â¹253CÂ¹2191Â¹2193Â¹2554
    Â¹255AÂ¹2569Â¹2566Â¹2560Â¹2550Â¹256CÂ¹2261Â¹2378Â¹2377Â¹2235Â¹2337Â¹2342Â¹233B
    Â¹22A2Â¹22A3Â¹25CAÂ¹2518Â¹250CÂ¹2588Â¹2584Â¹258CÂ¹2590Â¹2580Â¹237AÂ¹2379Â¹2282
    Â¹2283Â¹235DÂ¹2372Â¹2374Â¹2371Â¹233DÂ¹2296Â¹25CBÂ¹2228Â¹2373Â¹2349Â¹2208Â¹2229
    Â¹233FÂ¹2340Â¹2265Â¹2264Â¹2260Â¹D7Â¹F7Â¹2359Â¹2218Â¹2375Â¹236BÂ¹234BÂ¹2352Â¹AFÂ¹A8
    Â¹A0"/>
  <Ravel vid="3" cells="Â².,â°Â¹22C6Â²0_â°Â¹AF"/>
  <Ravel vid="4" cells="Â³1"/>
  <Ravel vid="5" cells="Â² â°"/>
  <Ravel vid="6" cells="Â³0"/>
  <Ravel vid="7" cells="Â³10"/>
  <Ravel vid="8" cells="Â³0"/>
  <Ravel vid="9" cells="Â² â°"/>
  <Ravel vid="10" cells="Â³0"/>
  <Ravel vid="11" cells="Â³-2017278119376674467"/>
  <Ravel vid="12" cells="Â³0"/>
  <Ravel vid="13" cells="Â³0"/>
  <Ravel vid="14" cells="Â¹8Â¹DÂ¹A
    "/>
  <Ravel vid="15" cells="Â³0"/>
  <Ravel vid="16" cells="Â³0"/>
  <Ravel vid="17" cells="Â³1"/>
  <Ravel vid="18" cells="Â³-5"/>
  <Ravel vid="19" cells="Â³0"/>
  <Ravel vid="20" cells="Â³9"/>
  <Ravel vid="21" cells="Â³1"/>
  <Ravel vid="22" cells="Â³9"/>
  <Ravel vid="23" cells="Â³2"/>
  <Ravel vid="24" cells="Â³0"/>
  <Ravel vid="25" cells="Â³1"/>
  <Ravel vid="26" cells="Â³5Â³0Â³0Â³0Â³0Â³3Â³0Â³0Â³0Â³2Â³0Â³0Â³0Â³0Â³9Â³1Â³7Â³8Â³0Â³0Â³8Â³2Â³0
    Â³1Â³0Â³0Â³9Â³0Â³0Â³0Â³8Â³0Â³0Â³0Â³4Â³0Â³8Â³0Â³6Â³1Â³7Â³0Â³9Â³2Â³0Â³3Â³4Â³7Â³0Â³2Â³0Â³0Â³0Â³5Â³4Â³1Â³0
    Â³0Â³9Â³0Â³0Â³8Â³0Â³9Â³0Â³0Â³0Â³1Â³0Â³0Â³3Â³2Â³7Â³0Â³2Â³3Â³5Â³0Â³4Â³0Â³1"/>
  <Ravel vid="27" cells="Â² â°"/>
  <Ravel vid="28" cells="Â³1"/>
  <Ravel vid="29" cells="Â³0"/>
  <Ravel vid="30" cells="Â³0"/>
  <Ravel vid="31" cells="Â³1"/>
  <Ravel vid="32" cells="Â³1"/>
  <Ravel vid="33" cells="Â³1"/>
  <Ravel vid="34" cells="Â³3"/>
  <Ravel vid="35" cells="Â³3"/>
  <Ravel vid="36" cells="Â³2"/>
  <Ravel vid="37" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="38" cells="Â³0"/>
  <Ravel vid="39" cells="Â²). Should be 81.â°"/>
  <Ravel vid="40" cells="Â¹2554Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550Â¹2550Â¹2564
    Â¹2550Â¹2550Â¹2550Â¹2566Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550
    Â¹2550Â¹2550Â¹2566Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550
    Â¹2550Â¹2557"/>
  <Ravel vid="41" cells="Â³0Â³328"/>
  <Ravel vid="42" cells="Â³1"/>
  <Ravel vid="43" cells="Â³9"/>
  <Ravel vid="44" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="45" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="46" cells="Â³60"/>
  <Ravel vid="47" cells="Â²0â°"/>
  <Ravel vid="48" cells="Â³0"/>
  <Ravel vid="49" cells="Â³0"/>
  <Ravel vid="50" cells="Â³1"/>
  <Ravel vid="51" cells="Â³1"/>
  <Ravel vid="52" cells="Â³0"/>
  <Ravel vid="53" cells="Â³1"/>
  <Ravel vid="54" cells="Â² â°"/>
  <Ravel vid="55" cells="Â² â°"/>
  <Ravel vid="56" cells="â´1e-13"/>
  <Ravel vid="57" cells="Â² â°"/>
  <Ravel vid="58" cells="Â³2"/>
  <Ravel vid="59" cells="Â³9"/>
  <Ravel vid="60" cells="Â³-2"/>
  <Ravel vid="61" cells="Â¹3BB"/>
  <Ravel vid="62" cells="Â³2"/>
  <Ravel vid="63" cells="Â¹2190Â²{â°"/>
  <Ravel vid="64" cells="Â³0"/>
  <Ravel vid="65" cells="Â³1"/>
  <Ravel vid="66" cells="Â³1"/>
  <Ravel vid="67" cells="Â³0"/>
  <Ravel vid="68" cells="Â² â°"/>
  <Ravel vid="69" cells="Â²}â°"/>
  <Ravel vid="70" cells="Â³0Â³328"/>
  <Ravel vid="71" cells="Â³0"/>
  <Ravel vid="72" cells="Â³-1"/>
  <Ravel vid="73" cells="Â³0"/>
  <Ravel vid="74" cells="Â³1Â³2Â³4"/>
  <Ravel vid="75" cells="Â³1"/>
  <Ravel vid="76" cells="Â³2"/>
  <Ravel vid="77" cells="Â³3Â³4"/>
  <Ravel vid="78" cells="Â² â°"/>
  <Ravel vid="79" cells="Â³2"/>
  <Ravel vid="80" cells="Â³1"/>
  <Ravel vid="81" cells="Â²;â°"/>
  <Ravel vid="82" cells="Â³0"/>
  <Ravel vid="83" cells="Â³-8"/>
  <Ravel vid="84" cells="Â³0"/>
  <Ravel vid="85" cells="Â³1"/>
  <Ravel vid="86" cells="Â³9Â³0Â³0Â³1Â³0Â³4Â³0Â³0Â³2Â³0Â³8Â³0Â³0Â³6Â³0Â³0Â³7Â³0Â³0Â³0Â³0Â³0Â³0
    Â³0Â³0Â³0Â³0Â³4Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³1Â³0Â³7Â³0Â³0Â³0Â³0Â³0Â³3Â³0Â³3Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³7Â³0Â³0Â³0
    Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³3Â³0Â³0Â³7Â³0Â³0Â³8Â³0Â³1Â³0Â³0Â³2Â³0Â³9Â³0Â³0Â³4"/>
  <Ravel vid="87" cells="Â³10000"/>
  <Ravel vid="88" cells="Â³0Â³4"/>
  <Ravel vid="89" cells="Â³9Â³9"/>
  <Ravel vid="90" cells="Â²dfâ°"/>
  <Ravel vid="91" cells="Â³1"/>
  <Ravel vid="92" cells="Â³22"/>
  <Ravel vid="93" cells="Â²/---------------------------------------------â°
    Â²--\â°"/>
  <Ravel vid="94" cells="Â³0"/>
  <Ravel vid="95" cells="Â³1"/>
  <Ravel vid="96" cells="Â³1"/>
  <Ravel vid="97" cells="Â²No Solutionsâ°"/>
  <Ravel vid="98" cells="Â²| WARNING: Only displaying the first solution.â°
    Â².. |â°"/>
  <Ravel vid="99" cells="Â²\---------------------------------------------â°
    Â²--/â°"/>
  <Ravel vid="100" cells="Â³2"/>
  <Ravel vid="101" cells="Â³0Â³328"/>
  <Ravel vid="102" cells="Â² â°"/>
  <Ravel vid="103" cells="Â³0"/>
  <Ravel vid="104" cells="Â² â°"/>
  <Ravel vid="105" cells="Â³0"/>
  <Ravel vid="106" cells="Â³2"/>
  <Ravel vid="107" cells="Â³2"/>
  <Ravel vid="108" cells="Â³0"/>
  <Ravel vid="109" cells="Â³9"/>
  <Ravel vid="110" cells="Â³0"/>
  <Ravel vid="111" cells="Â³9"/>
  <Ravel vid="112" cells="Â³0"/>
  <Ravel vid="113" cells="Â³0"/>
  <Ravel vid="114" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="115" cells="Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253C
    Â¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500
    Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
    Â¹2500Â¹2562"/>
  <Ravel vid="116" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="117" cells="Â³0"/>
  <Ravel vid="118" cells="Â³2"/>
  <Ravel vid="119" cells="Â³9Â³9"/>
  <Ravel vid="120" cells="Â³1Â³37"/>
  <Ravel vid="121" cells="Â³-1"/>
  <Ravel vid="122" cells="Â³9Â³9"/>
  <Ravel vid="123" cells="Â³1000"/>
  <Ravel vid="124" cells="Â³1Â³2Â³4"/>
  <Ravel vid="125" cells="Â³1"/>
  <Ravel vid="126" cells="Â³1"/>
  <Ravel vid="127" cells="Â³0"/>
  <Ravel vid="128" cells="Â³0"/>
  <Ravel vid="129" cells="Â³1"/>
  <Ravel vid="130" cells="Â¹255AÂ¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550Â¹2550Â¹2567
    Â¹2550Â¹2550Â¹2550Â¹2569Â¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550Â¹2550Â¹2567Â¹2550
    Â¹2550Â¹2550Â¹2569Â¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550
    Â¹2550Â¹255D"/>
  <Ravel vid="131" cells="Â³9"/>
  <Ravel vid="132" cells="Â¹2560Â¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256A
    Â¹2550Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550
    Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
    Â¹2550Â¹2563"/>
  <Ravel vid="133" cells="Â³0"/>
  <Ravel vid="134" cells="Â³9"/>
  <Ravel vid="135" cells="Â³1"/>
  <Ravel vid="136" cells="Â³81"/>
  <Ravel vid="137" cells="Â³1"/>
  <Ravel vid="138" cells="Â³0"/>
  <Ravel vid="139" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="140" cells="Â²8â°"/>
  <Ravel vid="141" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="142" cells="â¶186â¶188â¶187â¶191â¶26"/>
  <Ravel vid="143" cells="Â³2"/>
  <Ravel vid="144" cells="Â³0"/>
  <Ravel vid="145" cells="Â³0Â³328"/>
  <Ravel vid="146" cells="Â³9Â³9"/>
  <Ravel vid="147" cells="Â³-1"/>
  <Ravel vid="148" cells="Â²secâ°"/>
  <Ravel vid="149" cells="Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253C
    Â¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500
    Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
    Â¹2500Â¹2562"/>
  <Ravel vid="150" cells="Â³0Â³4"/>
  <Ravel vid="151" cells="Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253C
    Â¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500
    Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
    Â¹2500Â¹2562"/>
  <Ravel vid="152" cells="Â³0Â³0Â³0Â³0Â³0Â³4Â³0Â³0Â³0Â³0Â³4Â³0Â³3Â³0Â³0Â³2Â³0Â³9Â³0Â³7Â³0Â³1Â³5
    Â³0Â³4Â³0Â³0Â³2Â³8Â³1Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³6Â³0Â³4Â³0Â³0Â³0Â³3Â³0Â³0Â³0Â³0Â³0Â³6Â³0Â³2Â³0Â³9Â³0Â³0
    Â³0Â³8Â³0Â³0Â³7Â³6Â³7Â³0Â³0Â³0Â³0Â³1Â³0Â³0Â³0Â³0Â³6Â³0Â³0Â³0Â³0Â³3Â³0Â³0"/>
  <Ravel vid="153" cells="Â³1"/>
  <Ravel vid="154" cells="Â³1"/>
  <Ravel vid="155" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="156" cells="Â² â°"/>
  <Ravel vid="157" cells="Â³-2"/>
  <Ravel vid="158" cells="Â²DEBUGâ°"/>
  <Ravel vid="159" cells="Â² â°"/>
  <Ravel vid="160" cells="Â³9"/>
  <Ravel vid="161" cells="Â³81"/>
  <Ravel vid="162" cells="Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253C
    Â¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500
    Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
    Â¹2500Â¹2562"/>
  <Ravel vid="163" cells="Â³-1"/>
  <Ravel vid="164" cells="Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253C
    Â¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500
    Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
    Â¹2500Â¹2562"/>
  <Ravel vid="165" cells="Â³1"/>
  <Ravel vid="166" cells="Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² â°
    Â²8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551"/>
  <Ravel vid="167" cells="Â³0"/>
  <Ravel vid="168" cells="Â³0"/>
  <Ravel vid="169" cells="Â³1"/>
  <Ravel vid="170" cells="Â¹2560Â¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256A
    Â¹2550Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550
    Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
    Â¹2550Â¹2563"/>
  <Ravel vid="171" cells="Â³1"/>
  <Ravel vid="172" cells="Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253C
    Â¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500
    Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
    Â¹2500Â¹2562"/>
  <Ravel vid="173" cells="Â³3"/>
  <Ravel vid="174" cells="Â³1"/>
  <Ravel vid="175" cells="Â³0Â³4"/>
  <Ravel vid="176" cells="Â²Display: argument with wrong ravel (â°"/>
  <Ravel vid="177" cells="Â³0"/>
  <Ravel vid="178" cells="â¶184â¶180â¶182â¶189â¶181"/>
  <Ravel vid="179" cells="Â³3Â³9Â³0Â³0Â³0Â³7Â³0Â³4Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³8Â³0Â³0Â³0Â³0Â³0Â³0
    Â³0Â³0Â³0Â³0Â³0Â³0Â³1Â³0Â³0Â³3Â³0Â³9Â³0Â³0Â³0Â³0Â³0Â³0Â³1Â³0Â³0Â³0Â³0Â³7Â³0Â³8Â³9Â³0Â³2Â³0Â³0Â³4Â³0Â³0
    Â³7Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³2Â³0Â³3Â³7Â³0Â³3Â³9Â³0Â³4Â³0Â³5Â³1Â³0"/>
  <Ravel vid="180" cells="Â³0Â³0Â³1Â³5Â³0Â³0Â³0Â³9Â³0Â³0Â³0Â³0Â³0Â³7Â³9Â³3Â³0Â³0Â³7Â³0Â³9Â³0Â³4
    Â³0Â³2Â³0Â³1Â³1Â³0Â³0Â³0Â³0Â³7Â³0Â³0Â³5Â³0Â³0Â³0Â³0Â³0Â³4Â³7Â³0Â³9Â³9Â³0Â³3Â³0Â³6Â³0Â³0Â³2Â³0Â³0Â³0Â³0
    Â³0Â³0Â³0Â³9Â³8Â³0Â³0Â³0Â³5Â³6Â³2Â³0Â³4Â³0Â³0Â³6Â³0Â³0Â³0Â³9Â³0Â³5Â³0Â³0"/>
  <Ravel vid="181" cells="Â³5Â³0Â³0Â³4Â³8Â³0Â³0Â³9Â³0Â³1Â³0Â³0Â³5Â³0Â³9Â³0Â³0Â³0Â³7Â³0Â³9Â³0Â³3
    Â³0Â³0Â³0Â³6Â³0Â³0Â³6Â³7Â³0Â³0Â³9Â³0Â³5Â³0Â³4Â³5Â³0Â³9Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³3Â³1Â³0Â³0Â³0Â³0Â³0Â³0Â³0
    Â³0Â³0Â³0Â³0Â³4Â³0Â³0Â³5Â³7Â³0Â³0Â³4Â³3Â³6Â³1Â³0Â³9Â³0Â³0Â³7Â³3Â³0Â³0Â³0"/>
  <Ravel vid="182" cells="Â³0Â³0Â³0Â³9Â³6Â³1Â³0Â³4Â³8Â³1Â³3Â³0Â³0Â³7Â³0Â³0Â³0Â³9Â³6Â³0Â³0Â³0Â³4
    Â³0Â³0Â³5Â³7Â³0Â³0Â³5Â³0Â³0Â³6Â³0Â³7Â³0Â³3Â³0Â³0Â³2Â³0Â³0Â³0Â³0Â³0Â³0Â³9Â³0Â³0Â³0Â³0Â³0Â³2Â³0Â³0Â³2Â³0
    Â³6Â³0Â³4Â³0Â³3Â³0Â³0Â³4Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³6Â³0Â³8Â³0Â³3Â³4Â³1Â³0"/>
  <Ravel vid="183" cells="Â³0Â³0Â³0Â³9Â³0Â³0Â³3Â³5Â³0Â³0Â³0Â³0Â³0Â³0Â³7Â³0Â³8Â³0Â³6Â³0Â³9Â³0Â³5
    Â³0Â³0Â³0Â³0Â³1Â³0Â³0Â³0Â³0Â³0Â³0Â³6Â³0Â³0Â³0Â³0Â³1Â³0Â³3Â³4Â³0Â³0Â³8Â³0Â³3Â³0Â³4Â³0Â³0Â³0Â³0Â³0Â³2Â³0
    Â³0Â³0Â³0Â³8Â³9Â³0Â³0Â³0Â³0Â³0Â³1Â³4Â³0Â³0Â³0Â³0Â³0Â³4Â³0Â³0Â³5Â³0Â³2Â³0"/>
  <Ravel vid="184" cells="Â³7Â³6Â³1Â³0Â³0Â³9Â³5Â³2Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³5Â³8Â³0Â³2Â³4
    Â³1Â³0Â³6Â³0Â³0Â³0Â³0Â³8Â³0Â³0Â³0Â³9Â³0Â³0Â³0Â³7Â³0Â³0Â³5Â³0Â³0Â³0Â³3Â³4Â³0Â³9Â³0Â³6Â³8Â³0Â³2Â³9Â³0Â³0
    Â³4Â³5Â³3Â³0Â³0Â³0Â³0Â³7Â³8Â³0Â³1Â³0Â³9Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³0"/>
  <Ravel vid="185" cells="Â³0Â³0Â³0Â³0Â³0Â³0Â³3Â³5Â³0Â³1Â³0Â³0Â³0Â³8Â³9Â³0Â³0Â³0Â³6Â³0Â³0Â³3Â³0
    Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³5Â³0Â³0Â³0Â³7Â³0Â³0Â³0Â³3Â³2Â³0Â³1Â³0Â³0Â³6Â³0Â³9Â³0Â³0Â³3Â³0Â³0Â³0Â³0Â³0Â³0Â³0
    Â³0Â³0Â³0Â³0Â³3Â³0Â³7Â³6Â³0Â³1Â³2Â³0Â³9Â³0Â³0Â³0Â³8Â³9Â³0Â³4Â³0Â³0Â³1Â³0"/>
  <Ravel vid="186" cells="Â³5Â³0Â³2Â³6Â³1Â³3Â³9Â³0Â³8Â³0Â³3Â³6Â³7Â³0Â³0Â³0Â³0Â³0Â³0Â³8Â³9Â³2Â³0
    Â³0Â³0Â³0Â³0Â³0Â³0Â³0Â³8Â³9Â³4Â³0Â³6Â³0Â³0Â³0Â³7Â³3Â³0Â³0Â³5Â³0Â³4Â³0Â³0Â³0Â³0Â³0Â³7Â³8Â³0Â³9Â³0Â³0Â³3
    Â³5Â³0Â³0Â³0Â³9Â³1Â³4Â³0Â³1Â³9Â³3Â³2Â³0Â³0Â³7Â³9Â³0Â³8Â³0Â³0Â³1Â³0Â³0Â³2"/>
  <Ravel vid="187" cells="Â³0Â³1Â³2Â³0Â³0Â³0Â³0Â³7Â³0Â³3Â³5Â³0Â³1Â³0Â³0Â³0Â³4Â³9Â³0Â³0Â³9Â³2Â³0
    Â³6Â³3Â³5Â³0Â³0Â³0Â³3Â³7Â³8Â³0Â³9Â³0Â³0Â³0Â³0Â³5Â³0Â³1Â³3Â³0Â³0Â³4Â³2Â³0Â³0Â³4Â³6Â³5Â³1Â³3Â³0Â³5Â³0Â³1
    Â³0Â³0Â³0Â³7Â³0Â³0Â³9Â³0Â³7Â³3Â³0Â³0Â³0Â³8Â³0Â³0Â³2Â³0Â³6Â³9Â³0Â³0Â³1Â³0"/>
  <Ravel vid="188" cells="Â³3Â³5Â³0Â³0Â³2Â³8Â³0Â³0Â³4Â³0Â³0Â³4Â³5Â³0Â³7Â³0Â³0Â³0Â³6Â³8Â³9Â³1Â³0
    Â³3Â³0Â³5Â³0Â³2Â³6Â³0Â³0Â³0Â³0Â³9Â³3Â³0Â³7Â³0Â³0Â³0Â³3Â³0Â³0Â³0Â³5Â³4Â³3Â³5Â³0Â³0Â³0Â³7Â³0Â³6Â³0Â³0Â³0
    Â³3Â³0Â³0Â³6Â³7Â³0Â³0Â³1Â³6Â³0Â³0Â³2Â³0Â³0Â³3Â³0Â³0Â³3Â³6Â³8Â³1Â³5Â³0Â³0"/>
  <Ravel vid="189" cells="Â³0Â³0Â³0Â³0Â³9Â³0Â³0Â³2Â³0Â³0Â³4Â³0Â³0Â³0Â³0Â³6Â³8Â³9Â³0Â³8Â³9Â³0Â³0
    Â³0Â³1Â³0Â³0Â³0Â³6Â³2Â³0Â³5Â³0Â³0Â³0Â³3Â³0Â³5Â³0Â³7Â³0Â³0Â³0Â³0Â³8Â³4Â³0Â³0Â³0Â³6Â³0Â³2Â³0Â³5Â³0Â³0Â³0
    Â³4Â³0Â³3Â³0Â³7Â³6Â³0Â³0Â³0Â³0Â³0Â³0Â³9Â³0Â³2Â³0Â³0Â³4Â³0Â³7Â³0Â³3Â³5Â³0"/>
  <Ravel vid="190" cells="Â³0Â³0Â³0Â³0Â³0Â³0Â³8Â³0Â³0Â³1Â³0Â³6Â³0Â³8Â³0Â³2Â³0Â³0Â³0Â³0Â³0Â³0Â³0
    Â³3Â³0Â³0Â³5Â³0Â³3Â³0Â³0Â³9Â³0Â³0Â³0Â³4Â³0Â³0Â³0Â³2Â³7Â³0Â³0Â³8Â³0Â³0Â³5Â³0Â³0Â³0Â³6Â³0Â³0Â³1Â³6Â³0Â³0
    Â³0Â³0Â³7Â³0Â³0Â³0Â³0Â³0Â³8Â³0Â³1Â³0Â³0Â³0Â³0Â³0Â³7Â³0Â³0Â³3Â³0Â³0Â³0Â³2"/>
  <Ravel vid="191" cells="Â³0Â³0Â³9Â³0Â³0Â³3Â³2Â³7Â³5Â³2Â³0Â³5Â³4Â³7Â³9Â³1Â³6Â³8Â³6Â³7Â³8Â³2Â³0
    Â³1Â³0Â³0Â³9Â³0Â³0Â³2Â³7Â³0Â³0Â³0Â³0Â³0Â³0Â³9Â³7Â³1Â³0Â³0Â³6Â³0Â³0Â³3Â³4Â³0Â³0Â³2Â³0Â³8Â³1Â³0Â³0Â³0Â³0
    Â³0Â³0Â³0Â³7Â³0Â³0Â³0Â³6Â³3Â³5Â³0Â³8Â³0Â³9Â³0Â³0Â³0Â³0Â³0Â³0Â³7Â³0Â³3Â³0"/>
  <Ravel vid="192" cells="â¶179â¶183â¶152â¶185â¶190"/>
  <SymbolTable size="12">
    <Symbol name="DEBUG" stack-size="1">
      <Variable vid="28"/>
    </Symbol>

    <Symbol name="Display" stack-size="1">
      <Function creation-time="1480729005774396" exec-properties="0,0,0,0">
        <UCS uni="Â²zâ°Â¹2190Â²Display sâ°Â¹A
          Â²zâ°Â¹2190Â²1 37â°Â¹2374Â¹22Â¹2554Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550Â¹2550
          Â¹2564Â¹2550Â¹2550Â¹2550Â¹2566Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550Â¹2550
          Â¹2564Â¹2550Â¹2550Â¹2550Â¹2566Â¹2550Â¹2550Â¹2550Â¹2564Â¹2550Â¹2550Â¹2550
          Â¹2564Â¹2550Â¹2550Â¹2550Â¹2557Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹2562Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹2562Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2560Â¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
          Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
          Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
          Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹2563Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹2562Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹2562Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2560Â¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
          Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
          Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹256CÂ¹2550Â¹2550Â¹2550Â¹256AÂ¹2550Â¹2550
          Â¹2550Â¹256AÂ¹2550Â¹2550Â¹2550Â¹2563Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹2562Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255FÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹256BÂ¹2500Â¹2500Â¹2500Â¹253CÂ¹2500Â¹2500
          Â¹2500Â¹253CÂ¹2500Â¹2500Â¹2500Â¹2562Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8â°
          Â² â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â² 8 â°Â¹2502Â² 8 â°Â¹2502Â² 8 â°Â¹2551Â¹22Â¹A
          Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²   â°Â¹22Â¹255AÂ¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550
          Â¹2550Â¹2567Â¹2550Â¹2550Â¹2550Â¹2569Â¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550
          Â¹2550Â¹2567Â¹2550Â¹2550Â¹2550Â¹2569Â¹2550Â¹2550Â¹2550Â¹2567Â¹2550Â¹2550
          Â¹2550Â¹2567Â¹2550Â¹2550Â¹2550Â¹255DÂ¹22Â¹A
          Â¹2192Â²(1=â°Â¹2261Â²s)/Ok1â°Â¹A
          Â²sâ°Â¹2190Â¹2283Â²sâ°Â¹A
          Â²Ok1: â°Â¹2192Â²(81=â°Â¹2374Â²,s)/Ok2â°Â¹A
          Â²zâ°Â¹2190Â¹220AÂ²(â°Â¹22Â²Display: argument with wrong ravel (â°Â¹22Â²)â°
          Â² (â°Â¹2374Â²,s) (â°Â¹22Â²). Should be 81.â°Â¹22Â²) â°Â¹22C4Â² â°Â¹2192Â²0â°Â¹A
          Â²Ok2: â°Â¹2192Â²(' '=â°Â¹2191Â²0â°Â¹2374Â²sâ°Â¹2190Â²,s)/Charsâ°Â¹A
          Â²sâ°Â¹2190Â¹2355Â²,sâ°Â¹A
          Â²sâ°Â¹2190Â²(sâ°Â¹2260Â²' ')/sâ°Â¹A
          Â²Chars: ((s='0')/s)â°Â¹2190Â²' 'â°Â¹A
          Â²(('8'=,z)/,z)â°Â¹2190Â²sâ°Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="GenRCD" stack-size="1">
      <Function creation-time="1480729221878127" exec-properties="0,0,0,0">
        <UCS uni="Â²zâ°Â¹2190Â²GenRCD arg;R;C;D;â°Â¹2395Â²ioâ°Â¹A
          Â¹2395Â²ioâ°Â¹2190Â²1 â°Â¹22C4Â² (R C D)â°Â¹2190Â²argâ°Â¹A
          Â²zâ°Â¹2190Â²0 328â°Â¹2374Â²0â°Â¹A
          Â¹2192Â²(D=0)/AllKitâ°Â¹A
          Â²zâ°Â¹2190Â²OneRCD R C Dâ°Â¹A
          Â¹2192Â²0â°Â¹A
          Â²AllKit:â°Â¹A
          Â¹22A3Â²{â°Â¹22A3Â²zâ°Â¹2190Â²zâ°Â¹236AÂ²OneRCD R C â°Â¹2375Â²}â°Â¹A8Â¹2373Â²9â°Â¹A
          Â¹2192Â²0â°Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="Gengrid" stack-size="1">
      <Function creation-time="1480730215657372" exec-properties="0,0,0,0">
        <UCS uni="Â²zâ°Â¹2190Â²sec Gengrid target;R;C;D;t;start;cs;r;debug;â°
          Â¹2395Â²ioâ°Â¹A
          Â¹2192Â²(2=â°Â¹2395Â²nc 'sec')/Ok                              â°
          Â¹235DÂ² Left arg there ?â°Â¹A
          Â²secâ°Â¹2190Â²60                                         â°Â¹235DÂ² â°
          Â²Set a maximum time to the search for targetâ°Â¹A
          Â²Ok: â°Â¹2395Â²ioâ°Â¹2190Â²1 â°Â¹22C4Â² tâ°Â¹2190Â²zâ°Â¹2190Â²9 9â°Â¹2374Â²0 â°
          Â¹22C4Â² z[1;]â°Â¹2190Â²9?9              â°Â¹235DÂ² Fill the first rowâ°Â¹A
          Â²csâ°Â¹2190Â²0 328â°Â¹2374Â²0 â°Â¹22C4Â² â°Â¹22A3Â²{â°Â¹22A3Â²csâ°Â¹2190Â²csâ°
          Â¹236AÂ² GenRCD â°Â¹2375Â²}â°Â¹A8Â²{â°Â¹2375Â²,â°Â¹2375Â¹2337Â²z}â°Â¹A8Â²,â°Â¹2373
          Â²9 9 â°Â¹235DÂ² Build the constraints matrixâ°Â¹A
          Â²zâ°Â¹2190Â¹2395Â²DLX 0â°Â¹2260Â² 0 4â°Â¹2193Â²cs                       â°
          Â²        â°Â¹235DÂ² Will always workâ°Â¹A
          Â¹22A3Â²{â°Â¹22A3Â²((2â°Â¹2191Â¹2375Â²)â°Â¹2337Â²t)â°Â¹2190Â¹2191Â²2â°Â¹2193
          Â¹2375Â²}â°Â¹2364Â²1 cs[z;1 2 4]               â°Â¹235DÂ² Make â°Â¹22Â²tâ°
          Â¹22Â² the starting gridâ°Â¹A
          Â²zâ°Â¹2190Â²t                                            â°Â¹235DÂ² â°
          Â²Back to zâ°Â¹A
          Â²startâ°Â¹2190Â¹2395Â²fio â°Â¹AFÂ²1                                  â°
          Â¹235DÂ² Start the timerâ°Â¹A
          Â²debugâ°Â¹2190Â²2=â°Â¹2395Â²nc 'DEBUG'â°Â¹A
          Â¹235DÂ² ----------------------------------------------------â°Â¹A
          Â¹235DÂ² Punch Holes at random until no solution or time doneâ°Â¹A
          Â¹235DÂ² ----------------------------------------------------â°Â¹A
          Â²Loop: tâ°Â¹2190Â²z                                      â°Â¹235DÂ² â°
          Â²Work on a copyâ°Â¹A
          Â¹2192Â²((((â°Â¹2395Â²fio â°Â¹AFÂ²1)-start)â°Â¹F7Â¹2395Â²fio â°Â¹AFÂ²2)â°Â¹2265
          Â²sec)/Fini        â°Â¹235DÂ² time doneâ°Â¹A
          Â¹2192Â²(target â°Â¹2265Â² +/,tâ°Â¹2260Â²0)/Fini                      â°
          Â²  â°Â¹235DÂ² target reachedâ°Â¹A
          Â²Rnd: Râ°Â¹2190Â²?9 â°Â¹22C4Â² Câ°Â¹2190Â²?9                           â°
          Â²    â°Â¹235DÂ² Select a random positionâ°Â¹A
          Â¹2192Â²(0=t[R;C])/Rnd                                â°Â¹235DÂ² Isâ°
          Â² it already clear ?â°Â¹A
          Â²t[R;C]â°Â¹2190Â²0                                       â°Â¹235DÂ² â°
          Â²Punch a woleâ°Â¹A
          Â²csâ°Â¹2190Â²0 328â°Â¹2374Â²0 â°Â¹22C4Â² â°Â¹22A3Â²{â°Â¹22A3Â²csâ°Â¹2190Â²csâ°
          Â¹236AÂ² GenRCD â°Â¹2375Â²}â°Â¹A8Â²{â°Â¹2375Â²,â°Â¹2375Â¹2337Â²t}â°Â¹A8Â²,â°Â¹2373
          Â²9 9 â°Â¹235DÂ² Build the constraints matrixâ°Â¹A
          Â²râ°Â¹2190Â¹AFÂ²1 â°Â¹2395Â²DLX 0â°Â¹2260Â² 0 4â°Â¹2193Â²cs                â°
          Â²            â°Â¹235DÂ² Solveâ°Â¹A
          Â¹2192Â²(0=â°Â¹2374Â²r)/Loop                                   â°
          Â¹235DÂ² No solutionsâ°Â¹A
          Â¹2192Â²(2â°Â¹2264Â¹2374Â²r)/Loop                                   â°
          Â¹235DÂ² Multi solutionsâ°Â¹A
          Â²zâ°Â¹2190Â²t                                            â°Â¹235DÂ² â°
          Â²Exactly one solutionâ°Â¹A
          Â¹2192Â²(0=debug)/Loop                                â°Â¹235DÂ² Noâ°
          Â² debug, then Loopâ°Â¹A
          Â²(+/,0â°Â¹2260Â²z) (Display z)                           â°Â¹235DÂ² â°
          Â²Show progressâ°Â¹A
          Â¹2192Â²Loop                                          â°Â¹235DÂ² anâ°
          Â²d Loopâ°Â¹A
          Â²Fini: â°Â¹2192Â²(0=debug)/0                             â°Â¹235DÂ² â°
          Â²No debug â°Â¹2192Â² return â°Â¹22Â²zâ°Â¹22Â¹A
          Â²(+/,0â°Â¹2260Â²z) (Display z)                           â°Â¹235DÂ² â°
          Â²Show final progress and return â°Â¹22Â²zâ°Â¹22Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="OneRCD" stack-size="1">
      <Function creation-time="1480729160030424" exec-properties="0,0,0,0">
        <UCS uni="Â²zâ°Â¹2190Â²OneRCD arg;R;C;D;cel;row;col;box;B;â°Â¹2395Â²ioâ°Â¹A
          Â¹2395Â²ioâ°Â¹2190Â²1 â°Â¹22C4Â² (R C D)â°Â¹2190Â²argâ°Â¹A
          Â²celâ°Â¹2190Â²rowâ°Â¹2190Â²colâ°Â¹2190Â²boxâ°Â¹2190Â²81â°Â¹2374Â²0â°Â¹A
          Â²cel[1+((R-1)â°Â¹D7Â²9)+(C-1)]â°Â¹2190Â²Dâ°Â¹A
          Â²row[1+((R-1)â°Â¹D7Â²9)+(D-1)]â°Â¹2190Â²Dâ°Â¹A
          Â²col[1+((C-1)â°Â¹D7Â²9)+(D-1)]â°Â¹2190Â²Dâ°Â¹A
          Â²Bâ°Â¹2190Â²1+(3â°Â¹D7Â²((â°Â¹230AÂ²(R-1)â°Â¹F7Â²3)))+(â°Â¹230AÂ²(C-1)â°Â¹F7Â²3)â°Â¹A
          Â²box[1+((B-1)â°Â¹D7Â²9)+(D-1)]â°Â¹2190Â²Dâ°Â¹A
          Â²zâ°Â¹2190Â²R,C,B,D,cel,row,col,boxâ°Â¹A
          Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="S" stack-size="1">
      <Function creation-time="1480633381028062" exec-properties="0,0,0,0">
        <UCS uni="Â¹3BBÂ¹2190Â¹3BBÂ²0 â°Â¹2375Â¹A
          Â¹3BBÂ¹2190Â²(Display â°Â¹2375Â²) (Display Solve â°Â¹2375Â²)â°Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="SamplesEasy" stack-size="1">
      <Variable vid="142"/>
    </Symbol>

    <Symbol name="SamplesHard" stack-size="1">
      <Variable vid="192"/>
    </Symbol>

    <Symbol name="SamplesMedium" stack-size="1">
      <Variable vid="178"/>
    </Symbol>

    <Symbol name="Solve" stack-size="1">
      <Function creation-time="1480729943204541" exec-properties="0,0,0,0">
        <UCS uni="Â²zâ°Â¹2190Â²Solve s;cs;â°Â¹2395Â²ioâ°Â¹A
          Â¹2395Â²ioâ°Â¹2190Â²1â°Â¹A
          Â²csâ°Â¹2190Â²0 328â°Â¹2374Â²0 â°Â¹22C4Â² â°Â¹22A3Â²{â°Â¹22A3Â²csâ°Â¹2190Â²csâ°
          Â¹236AÂ² GenRCD â°Â¹2375Â²}â°Â¹A8Â²{â°Â¹2375Â²,â°Â¹2375Â¹2337Â²s}â°Â¹A8Â²,â°Â¹2373
          Â²9 9  â°Â¹235DÂ² Build constraintsâ°Â¹A
          Â²zâ°Â¹2190Â¹AFÂ²1 â°Â¹2395Â²DLX 0â°Â¹2260Â² 0 4â°Â¹2193Â²cs                â°
          Â²             â°Â¹235DÂ² Solveâ°Â¹A
          Â¹2192Â²(0=â°Â¹2374Â²z)/Unsolvableâ°Â¹A
          Â¹2192Â²(1=â°Â¹2374Â²z )/JustOneâ°Â¹A
          Â¹2192Â²(2â°Â¹2265Â¹2374Â²z)/TooMuchâ°Â¹A
          Â²JustOne: zâ°Â¹2190Â¹2283Â²z[1]â°Â¹A
          Â¹22A3Â²{â°Â¹22A3Â²((2â°Â¹2191Â¹2375Â²)â°Â¹2337Â²s)â°Â¹2190Â¹2191Â²2â°Â¹2193
          Â¹2375Â²}â°Â¹2364Â²1 cs[z;1 2 4]â°Â¹A
          Â²zâ°Â¹2190Â²s â°Â¹22C4Â² â°Â¹2192Â²0â°Â¹A
          Â²Unsolvable: zâ°Â¹2190Â¹22Â²No Solutionsâ°Â¹22Â² â°Â¹22C4Â² â°Â¹2192Â²0â°Â¹A
          Â²TooMuch:â°Â¹A
          Â¹22Â¹22Â¹A
          Â¹22Â²/-----------------------------------------------\\â°Â¹22Â¹A
          Â¹22Â²| WARNING: Only displaying the first solution... |â°Â¹22Â¹A
          Â¹22Â²\\-----------------------------------------------/â°Â¹22Â¹A
          Â¹22Â¹22Â¹A
          Â¹2192Â²JustOneâ°Â¹A
          "/>
      </Function>
    </Symbol>

    <Symbol name="StarBurst" stack-size="1">
      <Variable vid="86"/>
    </Symbol>

    <Symbol name="df" stack-size="1">
      <Function creation-time="1473299285585892" exec-properties="0,0,0,0">
        <UCS uni="Â²df;names;func;lambda;â°Â¹2395Â²pw;tâ°Â¹A
          Â¹2395Â²pwâ°Â¹2190Â²10000â°Â¹A
          Â²namesâ°Â¹2190Â²((â°Â¹2282Â²[â°Â¹2395Â²io+1]â°Â¹2395Â²nl 3 4)~â°Â¹A8Â²' ')~ â°
          Â¹2282Â¹22Â²dfâ°Â¹22Â¹A
          Â²lambdaâ°Â¹2190Â²({'â°Â¹3BBÂ²'=â°Â¹2191Â¹2395Â²cr â°Â¹2375Â²}â°Â¹A8Â²names)/naâ°
          Â²mesâ°Â¹A
          Â¹2192Â²(2> â°Â¹2374Â²lambda)/nosrtlâ°Â¹A
          Â²lambdaâ°Â¹2190Â²{â°Â¹2375Â²[â°Â¹2395Â²avâ°Â¹234BÂ¹2283Â¹2375Â²]} lambdaâ°Â¹A
          Â²nosrtl: funcâ°Â¹2190Â²names~lambdaâ°Â¹A
          Â¹2192Â²(2>â°Â¹2374Â²func)/nosrtfâ°Â¹A
          Â²funcâ°Â¹2190Â²{â°Â¹2375Â²[â°Â¹2395Â²avâ°Â¹234BÂ¹2283Â¹2375Â²]} funcâ°Â¹A
          Â²nosrtf: funcâ°Â¹2190Â²{â°Â¹2375Â² (22 â°Â¹2395Â²cr â°Â¹2395Â²cr â°Â¹2375Â²)}â°
          Â² â°Â¹A8Â² funcâ°Â¹A
          Â²lambdaâ°Â¹2190Â²{â°Â¹2375Â²,'â°Â¹2190Â²{',({â°Â¹233DÂ² {(+/^\' '=â°Â¹2375Â²)â°
          Â¹2193Â¹2375Â²} â°Â¹233DÂ² â°Â¹2375Â²} 2â°Â¹2193Â²((â°Â¹2395Â²cr â°Â¹2375Â²)[1+â°
          Â¹2395Â²io;])),({{â°Â¹233DÂ² {(+/^\' '=â°Â¹2375Â²)â°Â¹2193Â¹2375Â²} â°Â¹233D
          Â² â°Â¹2375Â²} {(â°Â¹2228Â²\t=';')/tâ°Â¹2190Â²(â°Â¹2395Â²cr â°Â¹2375Â²)[â°Â¹2395
          Â²io;]} â°Â¹2375Â²} â°Â¹2375Â²),'}'} â°Â¹A8Â² lambdaâ°Â¹A
          Â¹2395Â¹2190Â²,[â°Â¹2373Â²0] {((â°Â¹2374Â²,â°Â¹2375Â²)â°Â¹230AÂ²(â°Â¹AFÂ²2+â°
          Â¹2395Â²fio â°Â¹AFÂ²8))â°Â¹2191Â²,â°Â¹2375Â²} â°Â¹A8Â² â°Â¹2282Â²[â°Â¹2395Â²io+1]â°
          Â¹2355Â² ,[â°Â¹2373Â²0] ,func,(â°Â¹2282Â²' '),lambda,(â°Â¹2282Â²' ')â°Â¹A
          "/>
      </Function>
    </Symbol>

  </SymbolTable>

  <Symbol name="âAI" stack-size="1">
    <Variable vid="1"/>
  </Symbol>

  <Symbol name="âARG" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âAV" stack-size="1">
    <Variable vid="2"/>
  </Symbol>

  <Symbol name="âCT" stack-size="1">
    <Variable vid="56"/>
  </Symbol>

  <Symbol name="âEM" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âET" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âFC" stack-size="1">
    <Variable vid="3"/>
  </Symbol>

  <Symbol name="âIO" stack-size="1">
    <Variable vid="4"/>
  </Symbol>

  <Symbol name="âL" stack-size="1">
    <Variable vid="8"/>
  </Symbol>

  <Symbol name="âLC" stack-size="1">
    <Variable vid="6"/>
  </Symbol>

  <Symbol name="âLX" stack-size="1">
    <Variable vid="5"/>
  </Symbol>

  <Symbol name="âPP" stack-size="1">
    <Variable vid="7"/>
  </Symbol>

  <Symbol name="âPR" stack-size="1">
    <Variable vid="9"/>
  </Symbol>

  <Symbol name="âPS" stack-size="1">
    <Variable vid="10"/>
  </Symbol>

  <Symbol name="âPW" stack-size="1">
    <Variable vid="123"/>
  </Symbol>

  <Symbol name="âR" stack-size="1">
    <Variable vid="13"/>
  </Symbol>

  <Symbol name="âRL" stack-size="1">
    <Variable vid="11"/>
  </Symbol>

  <Symbol name="âSVE" stack-size="1">
    <Variable vid="12"/>
  </Symbol>

  <Symbol name="âSYL" stack-size="1">
    <Variable vid="16"/>
  </Symbol>

  <Symbol name="âTC" stack-size="1">
    <Variable vid="14"/>
  </Symbol>

  <Symbol name="âTS" stack-size="1">
    <Variable vid="15"/>
  </Symbol>

  <Symbol name="âTZ" stack-size="1">
    <Variable vid="18"/>
  </Symbol>

  <Symbol name="âUL" stack-size="1">
    <Variable vid="17"/>
  </Symbol>

  <Symbol name="âX" stack-size="1">
    <Variable vid="177"/>
  </Symbol>

  <Symbol name="âWA" stack-size="1">
    <Variable vid="19"/>
  </Symbol>

  <Symbol name="Î»" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âº" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="âµ" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="Ï" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="â¶" stack-size="1">
    <unused-name/>
  </Symbol>

  <Symbol name="â¹" stack-size="1">
    <unused-name/>
  </Symbol>

  <StateIndicator levels="0">
  </StateIndicator>

</Workspace>

[Bug-apl] Dudoku Solver/Generator V0.1 to test, using Quad-DLX

Reply via email to