canYouDecideItForME_UVA11203.out

theorem
no-theorem
theorem
no-theorem
no-theorem
theorem
no-theorem
no-theorem
no-theorem
no-theorem
no-theorem
no-theorem
no-theorem
theorem
theorem
no-theorem
theorem
no-theorem
no-theorem
no-theorem
no-theorem
no-theorem
no-theorem
theorem
no-theorem
no-theorem
theorem
no-theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem