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; }