fact: Definition l1 := Eval vm_compute in parse " ------------- | 8|16 |9 | | 4| 5 |2 | |97 | 8| 45| ------------- | 5| | 6| |89 | | 37| |1 | |4 | ------------- |36 |5 | 84| | 2| 7 |5 | | 7| 49|3 | -------------".
imports: Sudoku Print String Parse