# job list created by sudoku_equiv.cc
./sudoku2     4  [456789,789123,123456]
./sudoku2   108  [456789,789123,123465]
./sudoku2    72  [456789,789123,123564]
./sudoku2   216  [456789,789123,132465]
./sudoku2   216  [456789,789123,132546]
./sudoku2  2592  [456789,789123,132564]
./sudoku2    72  [456789,789123,231564]
./sudoku2   510  [456789,789123,231645]
./sudoku2   216  [456789,789132,123546]
./sudoku2   216  [456789,789132,132546]
./sudoku2   216  [456789,789132,213456]
./sudoku2  1296  [456789,789132,213546]
./sudoku2  1404  [456789,789132,213645]
./sudoku2   540  [456789,789132,213654]
./sudoku2   702  [456789,789132,231546]
./sudoku2   270  [456789,789132,231564]
./sudoku2  2214  [456789,789132,231645]
./sudoku2    24  [456789,789231,123645]
./sudoku2   108  [456789,789231,132546]
./sudoku2     6  [456789,789231,231564]
./sudoku2   504  [456789,789231,231645]
./sudoku2     6  [456789,789231,312456]
./sudoku2  1350  [456789,798132,213546]
./sudoku2   666  [456789,798132,213645]
./sudoku2   756  [456789,798132,231546]
./sudoku2   702  [456789,798213,213564]
./sudoku2    18  [456789,798213,213654]
./sudoku2    20  [456789,897312,312564]
./sudoku2  2268  [457689,189237,263145]
./sudoku2  1134  [457689,189237,263154]
./sudoku2  2592  [457689,189237,263514]
./sudoku2  2052  [457689,189237,362145]
./sudoku2   486  [457689,189237,362154]
./sudoku2   972  [457689,189273,263145]
./sudoku2   270  [457689,189273,263154]
./sudoku2   864  [457689,189273,263514]
./sudoku2   270  [457689,189273,362154]
./sudoku2   864  [457689,189273,623154]
./sudoku2   540  [457689,189273,632154]
./sudoku2   972  [457689,189273,632514]
./sudoku2  1620  [457689,189327,362145]
./sudoku2   432  [457689,189723,623145]
./sudoku2   144  [457689,189723,623154]
./sudoku2   432  [457689,189723,623514]
./sudoku2   864  [457689,189723,632154]
./sudoku2   324  [457689,189732,623514]
./sudoku2   540  [457689,198723,236514]
./sudoku2   270  [457689,198723,326514]
./sudoku2   270  [457689,198723,632514]
./sudoku2   234  [457689,198732,632514]
./sudoku2   540  [457689,289137,361245]
./sudoku2   288  [457689,289137,361254]
./sudoku2   288  [457689,289137,631524]
./sudoku2     6  [457689,289173,163452]
./sudoku2   216  [457689,289173,613245]
./sudoku2    54  [457689,289173,613254]
./sudoku2    18  [457689,289731,163245]
./sudoku2   108  [457689,289731,613254]
./sudoku2   108  [457689,289731,613542]
./sudoku2    54  [457689,298137,316245]
./sudoku2   378  [457689,298137,316254]
./sudoku2   108  [457689,298713,316245]
./sudoku2   108  [457689,389271,612534]
./sudoku2    54  [457689,389712,612345]
./sudoku2   108  [457689,398217,126345]
./sudoku2    36  [457689,398217,612345]
./sudoku2    54  [457689,398721,126345]
./sudoku2   108  [457689,398721,216354]
./sudoku2   108  [457689,398721,612345]
./sudoku2    54  [457689,891723,236514]
./sudoku2    54  [457689,893271,216354]