foo {
  test-1: true;
  test-2: true;
  test-3: true;
  test-4: true;
  test-5: 10<=10;
  test-6: 10 <=10;
  test-7: 10<= 10;
  test-8: 10 <= 10;
  test-9: false0;
  test-10: false0;
  test-11: false0;
  test-12: false0;
  test-13: 10<=10;
  test-14: 10 <=10;
  test-15: 10<= 10;
  test-16: 10 <= 10;
  test-17: 10<=10;
  test-18: 10 <=10;
  test-19: 10<= 10;
  test-20: 10 <= 10;
  test-21: 10<=10;
  test-22: 10 <=10;
  test-23: 10<= 10;
  test-24: 10 <= 10;
  test-25: 10<=10;
  test-26: 10 <=10;
  test-27: 10<= 10;
  test-28: 10 <= 10;
  test-29: 10<=10;
  test-30: 10 <=10;
  test-31: 10<= 10;
  test-32: 10 <= 10;
  test-33: 10<=10;
  test-34: 10 <=10;
  test-35: 10<= 10;
  test-36: 10 <= 10;
  test-37: 10<=10;
  test-38: 10 <=10;
  test-39: 10<= 10;
  test-40: 10 <= 10; }