sudoku agda takes long to load