Property Sudoku-PT-AN12-UpperBounds-00
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-01
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-02
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-03
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-04
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-05
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-06
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-07
  "Automatically generated"
  is:
    bound()
  end.
Property Sudoku-PT-AN12-UpperBounds-08
  "Automatically generated"
  is:
    bound("Board_9_9_8")
  end.
Property Sudoku-PT-AN12-UpperBounds-09
  "Automatically generated"
  is:
    bound("Board_8_8_8")
  end.
Property Sudoku-PT-AN12-UpperBounds-10
  "Automatically generated"
  is:
    bound("Board_5_0_3")
  end.
Property Sudoku-PT-AN12-UpperBounds-11
  "Automatically generated"
  is:
    bound("Board_2_11_9")
  end.
Property Sudoku-PT-AN12-UpperBounds-12
  "Automatically generated"
  is:
    bound("Board_0_0_8")
  end.
Property Sudoku-PT-AN12-UpperBounds-13
  "Automatically generated"
  is:
    bound("Board_6_7_8")
  end.
Property Sudoku-PT-AN12-UpperBounds-14
  "Automatically generated"
  is:
    bound("Board_10_6_7")
  end.
Property Sudoku-PT-AN12-UpperBounds-15
  "Automatically generated"
  is:
    bound("Board_2_7_2")
  end.
