%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- not ground preserving Gamma_0: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) Gamma_1: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] Gamma_2: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] Gamma_3: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_4: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) Gamma_5: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) Gamma_6: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) Gamma_7: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] Gamma_8: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_9: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_10: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [cC3( esk1_1(i2003_11_14_17_19_57994))], ~(cC5(i2003_11_14_17_19_57994)) Gamma_11: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [cC3( esk1_1(i2003_11_14_17_19_57994))], ~(cC5(i2003_11_14_17_19_57994)) 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_12: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) 11: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [cC3( esk1_1(i2003_11_14_17_19_57994))], ~(cC5(i2003_11_14_17_19_57994)) Gamma_13: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) 11: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), ~( cC5(i2003_11_14_17_19_57994)) Gamma_14: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) 11: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] Gamma_15: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 10: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_16: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cTEST(i2003_11_14_17_19_57994))] 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_17: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_18: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cB(esk1_1(i2003_11_14_17_19_57994))), [cA( esk1_1(i2003_11_14_17_19_57994))] 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_19: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], ~(cB(esk1_1(i2003_11_14_17_19_57994))), ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_20: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_21: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], cA( esk1_1(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cB(esk1_1(i2003_11_14_17_19_57994))), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_22: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], cA(esk1_1(i2003_11_14_17_19_57994)), ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_23: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_24: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_25: (extend-no-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [cC3( esk1_1(i2003_11_14_17_19_57994))], ~(cC5(i2003_11_14_17_19_57994)) Gamma_26: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [cC3( esk1_1(i2003_11_14_17_19_57994))], ~(cC5(i2003_11_14_17_19_57994)) 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_27: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) 11: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [cC3( esk1_1(i2003_11_14_17_19_57994))], ~(cC5(i2003_11_14_17_19_57994)) Gamma_28: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) 11: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), ~( cC5(i2003_11_14_17_19_57994)) Gamma_29: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) 11: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] Gamma_30: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 10: [cC5(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_31: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cTEST(i2003_11_14_17_19_57994))] 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_32: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 9: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_33: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cA(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 10: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), ~(cA(esk1_1(i2003_11_14_17_19_57994))), [~( cC5(i2003_11_14_17_19_57994))] 11: [~(cC3(esk1_1(i2003_11_14_17_19_57994)))], cB(esk1_1(i2003_11_14_17_19_57994)), ~( cA(esk1_1(i2003_11_14_17_19_57994))) Gamma_34: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC2(esk1_1(i2003_11_14_17_19_57994))), cB(esk1_1(i2003_11_14_17_19_57994)), ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_35: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [cB(esk1_1(i2003_11_14_17_19_57994))], ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_36: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC2(esk1_1(i2003_11_14_17_19_57994))), ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_37: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], ~(cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_38: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], ~(cTEST(i2003_11_14_17_19_57994)) 6: [cC2(esk1_1(i2003_11_14_17_19_57994))], ~(cC4(i2003_11_14_17_19_57994)) 7: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), ~( cC2(esk1_1(i2003_11_14_17_19_57994))), [~(cB(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 8: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), cB( esk1_1(i2003_11_14_17_19_57994)), [~(cA(esk1_1(i2003_11_14_17_19_57994)))], ~( cTEST(i2003_11_14_17_19_57994)) 9: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_39: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], ~(cTEST(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 7: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_40: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 5: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], ~(cTEST(i2003_11_14_17_19_57994)) 6: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC4(i2003_11_14_17_19_57994)), ~(cTEST(i2003_11_14_17_19_57994)) 7: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_41: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC4(i2003_11_14_17_19_57994)), ~(cTEST(i2003_11_14_17_19_57994)) 5: [rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))], ~( cC4(i2003_11_14_17_19_57994)) 6: ~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994))), [~( cC2(esk1_1(i2003_11_14_17_19_57994)))], ~(cTEST(i2003_11_14_17_19_57994)) 7: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_42: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC4(i2003_11_14_17_19_57994)), ~(cTEST(i2003_11_14_17_19_57994)) 5: [~(cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 6: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_43: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 4: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC4(i2003_11_14_17_19_57994)), ~(cTEST(i2003_11_14_17_19_57994)) 5: [~(cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 6: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_44: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [~(cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 4: [cC4(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) 5: [~(rR(i2003_11_14_17_19_57994,esk1_1(i2003_11_14_17_19_57994)))], ~( cC4(i2003_11_14_17_19_57994)), ~(cTEST(i2003_11_14_17_19_57994)) 6: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_45: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [~(cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 4: [~(cTEST(i2003_11_14_17_19_57994))] 5: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_46: (extend-conflict) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [cTEST(i2003_11_14_17_19_57994)] 3: [~(cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 4: [~(cTEST(i2003_11_14_17_19_57994))] 5: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_47: (move) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [~(cTEST(i2003_11_14_17_19_57994))] 3: [cTEST(i2003_11_14_17_19_57994)] 4: [~(cC4(i2003_11_14_17_19_57994))], ~(cTEST(i2003_11_14_17_19_57994)) 5: [cC1(i2003_11_14_17_19_57994)], ~(cTEST(i2003_11_14_17_19_57994)) Gamma_48: (resolve) 0: [xsd_integer(X0)], xsd_string(X0) 1: [cowlThing(X0)] 2: [~(cTEST(i2003_11_14_17_19_57994))] 3: [] SZS status Unsatisfiable