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}