#Processed by Id: euler.yap 7292 2014-06-13 12:27:29Z josd
#eye --nope --quick-possible http://eulersharp.sourceforge.net/2007/07test/bd-test-1000.n3 --query http://eulersharp.sourceforge.net/2007/07test/bd-query.n3

@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test/bd#>.


[ e:possibleModel {:a :b :c0}
; e:gives {
    :a :b :c0.
  }
].

[ e:possibleModel {:a :b :c1}
; e:gives {
    :a :b :c1.
  }
].

[ e:possibleModel {:a :b :c2}
; e:gives {
    :a :b :c2.
  }
].

[ e:possibleModel {:a :b :c3}
; e:gives {
    :a :b :c3.
  }
].

[ e:possibleModel {:a :b :c4}
; e:gives {
    :a :b :c4.
  }
].

[ e:possibleModel {:a :b :c5}
; e:gives {
    :a :b :c5.
  }
].

[ e:possibleModel {:a :b :c6}
; e:gives {
    :a :b :c6.
  }
].

[ e:possibleModel {:a :b :c7}
; e:gives {
    :a :b :c7.
  }
].

[ e:possibleModel {:a :b :c8}
; e:gives {
    :a :b :c8.
  }
].

[ e:possibleModel {:a :b :c9}
; e:gives {
    :a :b :c9.
  }
].

[ e:possibleModel {:a :b :c10}
; e:gives {
    :a :b :c10.
  }
].

[ e:possibleModel {:a :b :c11}
; e:gives {
    :a :b :c11.
  }
].

[ e:possibleModel {:a :b :c12}
; e:gives {
    :a :b :c12.
  }
].

[ e:possibleModel {:a :b :c13}
; e:gives {
    :a :b :c13.
  }
].

[ e:possibleModel {:a :b :c14}
; e:gives {
    :a :b :c14.
  }
].

[ e:possibleModel {:a :b :c15}
; e:gives {
    :a :b :c15.
  }
].

[ e:possibleModel {:a :b :c16}
; e:gives {
    :a :b :c16.
  }
].

[ e:possibleModel {:a :b :c17}
; e:gives {
    :a :b :c17.
  }
].

[ e:possibleModel {:a :b :c18}
; e:gives {
    :a :b :c18.
  }
].

[ e:possibleModel {:a :b :c19}
; e:gives {
    :a :b :c19.
  }
].

[ e:possibleModel {:a :b :c20}
; e:gives {
    :a :b :c20.
  }
].

[ e:possibleModel {:a :b :c21}
; e:gives {
    :a :b :c21.
  }
].

[ e:possibleModel {:a :b :c22}
; e:gives {
    :a :b :c22.
  }
].

[ e:possibleModel {:a :b :c23}
; e:gives {
    :a :b :c23.
  }
].

[ e:possibleModel {:a :b :c24}
; e:gives {
    :a :b :c24.
  }
].

[ e:possibleModel {:a :b :c25}
; e:gives {
    :a :b :c25.
  }
].

[ e:possibleModel {:a :b :c26}
; e:gives {
    :a :b :c26.
  }
].

[ e:possibleModel {:a :b :c27}
; e:gives {
    :a :b :c27.
  }
].

[ e:possibleModel {:a :b :c28}
; e:gives {
    :a :b :c28.
  }
].

[ e:possibleModel {:a :b :c29}
; e:gives {
    :a :b :c29.
  }
].

[ e:possibleModel {:a :b :c30}
; e:gives {
    :a :b :c30.
  }
].

[ e:possibleModel {:a :b :c31}
; e:gives {
    :a :b :c31.
  }
].

[ e:possibleModel {:a :b :c32}
; e:gives {
    :a :b :c32.
  }
].

[ e:possibleModel {:a :b :c33}
; e:gives {
    :a :b :c33.
  }
].

[ e:possibleModel {:a :b :c34}
; e:gives {
    :a :b :c34.
  }
].

[ e:possibleModel {:a :b :c35}
; e:gives {
    :a :b :c35.
  }
].

[ e:possibleModel {:a :b :c36}
; e:gives {
    :a :b :c36.
  }
].

[ e:possibleModel {:a :b :c37}
; e:gives {
    :a :b :c37.
  }
].

[ e:possibleModel {:a :b :c38}
; e:gives {
    :a :b :c38.
  }
].

[ e:possibleModel {:a :b :c39}
; e:gives {
    :a :b :c39.
  }
].

[ e:possibleModel {:a :b :c40}
; e:gives {
    :a :b :c40.
  }
].

[ e:possibleModel {:a :b :c41}
; e:gives {
    :a :b :c41.
  }
].

[ e:possibleModel {:a :b :c42}
; e:gives {
    :a :b :c42.
  }
].

[ e:possibleModel {:a :b :c43}
; e:gives {
    :a :b :c43.
  }
].

[ e:possibleModel {:a :b :c44}
; e:gives {
    :a :b :c44.
  }
].

[ e:possibleModel {:a :b :c45}
; e:gives {
    :a :b :c45.
  }
].

[ e:possibleModel {:a :b :c46}
; e:gives {
    :a :b :c46.
  }
].

[ e:possibleModel {:a :b :c47}
; e:gives {
    :a :b :c47.
  }
].

[ e:possibleModel {:a :b :c48}
; e:gives {
    :a :b :c48.
  }
].

[ e:possibleModel {:a :b :c49}
; e:gives {
    :a :b :c49.
  }
].

[ e:possibleModel {:a :b :c50}
; e:gives {
    :a :b :c50.
  }
].

[ e:possibleModel {:a :b :c51}
; e:gives {
    :a :b :c51.
  }
].

[ e:possibleModel {:a :b :c52}
; e:gives {
    :a :b :c52.
  }
].

[ e:possibleModel {:a :b :c53}
; e:gives {
    :a :b :c53.
  }
].

[ e:possibleModel {:a :b :c54}
; e:gives {
    :a :b :c54.
  }
].

[ e:possibleModel {:a :b :c55}
; e:gives {
    :a :b :c55.
  }
].

[ e:possibleModel {:a :b :c56}
; e:gives {
    :a :b :c56.
  }
].

[ e:possibleModel {:a :b :c57}
; e:gives {
    :a :b :c57.
  }
].

[ e:possibleModel {:a :b :c58}
; e:gives {
    :a :b :c58.
  }
].

[ e:possibleModel {:a :b :c59}
; e:gives {
    :a :b :c59.
  }
].

[ e:possibleModel {:a :b :c60}
; e:gives {
    :a :b :c60.
  }
].

[ e:possibleModel {:a :b :c61}
; e:gives {
    :a :b :c61.
  }
].

[ e:possibleModel {:a :b :c62}
; e:gives {
    :a :b :c62.
  }
].

[ e:possibleModel {:a :b :c63}
; e:gives {
    :a :b :c63.
  }
].

[ e:possibleModel {:a :b :c64}
; e:gives {
    :a :b :c64.
  }
].

[ e:possibleModel {:a :b :c65}
; e:gives {
    :a :b :c65.
  }
].

[ e:possibleModel {:a :b :c66}
; e:gives {
    :a :b :c66.
  }
].

[ e:possibleModel {:a :b :c67}
; e:gives {
    :a :b :c67.
  }
].

[ e:possibleModel {:a :b :c68}
; e:gives {
    :a :b :c68.
  }
].

[ e:possibleModel {:a :b :c69}
; e:gives {
    :a :b :c69.
  }
].

[ e:possibleModel {:a :b :c70}
; e:gives {
    :a :b :c70.
  }
].

[ e:possibleModel {:a :b :c71}
; e:gives {
    :a :b :c71.
  }
].

[ e:possibleModel {:a :b :c72}
; e:gives {
    :a :b :c72.
  }
].

[ e:possibleModel {:a :b :c73}
; e:gives {
    :a :b :c73.
  }
].

[ e:possibleModel {:a :b :c74}
; e:gives {
    :a :b :c74.
  }
].

[ e:possibleModel {:a :b :c75}
; e:gives {
    :a :b :c75.
  }
].

[ e:possibleModel {:a :b :c76}
; e:gives {
    :a :b :c76.
  }
].

[ e:possibleModel {:a :b :c77}
; e:gives {
    :a :b :c77.
  }
].

[ e:possibleModel {:a :b :c78}
; e:gives {
    :a :b :c78.
  }
].

[ e:possibleModel {:a :b :c79}
; e:gives {
    :a :b :c79.
  }
].

[ e:possibleModel {:a :b :c80}
; e:gives {
    :a :b :c80.
  }
].

[ e:possibleModel {:a :b :c81}
; e:gives {
    :a :b :c81.
  }
].

[ e:possibleModel {:a :b :c82}
; e:gives {
    :a :b :c82.
  }
].

[ e:possibleModel {:a :b :c83}
; e:gives {
    :a :b :c83.
  }
].

[ e:possibleModel {:a :b :c84}
; e:gives {
    :a :b :c84.
  }
].

[ e:possibleModel {:a :b :c85}
; e:gives {
    :a :b :c85.
  }
].

[ e:possibleModel {:a :b :c86}
; e:gives {
    :a :b :c86.
  }
].

[ e:possibleModel {:a :b :c87}
; e:gives {
    :a :b :c87.
  }
].

[ e:possibleModel {:a :b :c88}
; e:gives {
    :a :b :c88.
  }
].

[ e:possibleModel {:a :b :c89}
; e:gives {
    :a :b :c89.
  }
].

[ e:possibleModel {:a :b :c90}
; e:gives {
    :a :b :c90.
  }
].

[ e:possibleModel {:a :b :c91}
; e:gives {
    :a :b :c91.
  }
].

[ e:possibleModel {:a :b :c92}
; e:gives {
    :a :b :c92.
  }
].

[ e:possibleModel {:a :b :c93}
; e:gives {
    :a :b :c93.
  }
].

[ e:possibleModel {:a :b :c94}
; e:gives {
    :a :b :c94.
  }
].

[ e:possibleModel {:a :b :c95}
; e:gives {
    :a :b :c95.
  }
].

[ e:possibleModel {:a :b :c96}
; e:gives {
    :a :b :c96.
  }
].

[ e:possibleModel {:a :b :c97}
; e:gives {
    :a :b :c97.
  }
].

[ e:possibleModel {:a :b :c98}
; e:gives {
    :a :b :c98.
  }
].

[ e:possibleModel {:a :b :c99}
; e:gives {
    :a :b :c99.
  }
].

[ e:possibleModel {:a :b :c100}
; e:gives {
    :a :b :c100.
  }
].

[ e:possibleModel {:a :b :c101}
; e:gives {
    :a :b :c101.
  }
].

[ e:possibleModel {:a :b :c102}
; e:gives {
    :a :b :c102.
  }
].

[ e:possibleModel {:a :b :c103}
; e:gives {
    :a :b :c103.
  }
].

[ e:possibleModel {:a :b :c104}
; e:gives {
    :a :b :c104.
  }
].

[ e:possibleModel {:a :b :c105}
; e:gives {
    :a :b :c105.
  }
].

[ e:possibleModel {:a :b :c106}
; e:gives {
    :a :b :c106.
  }
].

[ e:possibleModel {:a :b :c107}
; e:gives {
    :a :b :c107.
  }
].

[ e:possibleModel {:a :b :c108}
; e:gives {
    :a :b :c108.
  }
].

[ e:possibleModel {:a :b :c109}
; e:gives {
    :a :b :c109.
  }
].

[ e:possibleModel {:a :b :c110}
; e:gives {
    :a :b :c110.
  }
].

[ e:possibleModel {:a :b :c111}
; e:gives {
    :a :b :c111.
  }
].

[ e:possibleModel {:a :b :c112}
; e:gives {
    :a :b :c112.
  }
].

[ e:possibleModel {:a :b :c113}
; e:gives {
    :a :b :c113.
  }
].

[ e:possibleModel {:a :b :c114}
; e:gives {
    :a :b :c114.
  }
].

[ e:possibleModel {:a :b :c115}
; e:gives {
    :a :b :c115.
  }
].

[ e:possibleModel {:a :b :c116}
; e:gives {
    :a :b :c116.
  }
].

[ e:possibleModel {:a :b :c117}
; e:gives {
    :a :b :c117.
  }
].

[ e:possibleModel {:a :b :c118}
; e:gives {
    :a :b :c118.
  }
].

[ e:possibleModel {:a :b :c119}
; e:gives {
    :a :b :c119.
  }
].

[ e:possibleModel {:a :b :c120}
; e:gives {
    :a :b :c120.
  }
].

[ e:possibleModel {:a :b :c121}
; e:gives {
    :a :b :c121.
  }
].

[ e:possibleModel {:a :b :c122}
; e:gives {
    :a :b :c122.
  }
].

[ e:possibleModel {:a :b :c123}
; e:gives {
    :a :b :c123.
  }
].

[ e:possibleModel {:a :b :c124}
; e:gives {
    :a :b :c124.
  }
].

[ e:possibleModel {:a :b :c125}
; e:gives {
    :a :b :c125.
  }
].

[ e:possibleModel {:a :b :c126}
; e:gives {
    :a :b :c126.
  }
].

[ e:possibleModel {:a :b :c127}
; e:gives {
    :a :b :c127.
  }
].

[ e:possibleModel {:a :b :c128}
; e:gives {
    :a :b :c128.
  }
].

[ e:possibleModel {:a :b :c129}
; e:gives {
    :a :b :c129.
  }
].

[ e:possibleModel {:a :b :c130}
; e:gives {
    :a :b :c130.
  }
].

[ e:possibleModel {:a :b :c131}
; e:gives {
    :a :b :c131.
  }
].

[ e:possibleModel {:a :b :c132}
; e:gives {
    :a :b :c132.
  }
].

[ e:possibleModel {:a :b :c133}
; e:gives {
    :a :b :c133.
  }
].

[ e:possibleModel {:a :b :c134}
; e:gives {
    :a :b :c134.
  }
].

[ e:possibleModel {:a :b :c135}
; e:gives {
    :a :b :c135.
  }
].

[ e:possibleModel {:a :b :c136}
; e:gives {
    :a :b :c136.
  }
].

[ e:possibleModel {:a :b :c137}
; e:gives {
    :a :b :c137.
  }
].

[ e:possibleModel {:a :b :c138}
; e:gives {
    :a :b :c138.
  }
].

[ e:possibleModel {:a :b :c139}
; e:gives {
    :a :b :c139.
  }
].

[ e:possibleModel {:a :b :c140}
; e:gives {
    :a :b :c140.
  }
].

[ e:possibleModel {:a :b :c141}
; e:gives {
    :a :b :c141.
  }
].

[ e:possibleModel {:a :b :c142}
; e:gives {
    :a :b :c142.
  }
].

[ e:possibleModel {:a :b :c143}
; e:gives {
    :a :b :c143.
  }
].

[ e:possibleModel {:a :b :c144}
; e:gives {
    :a :b :c144.
  }
].

[ e:possibleModel {:a :b :c145}
; e:gives {
    :a :b :c145.
  }
].

[ e:possibleModel {:a :b :c146}
; e:gives {
    :a :b :c146.
  }
].

[ e:possibleModel {:a :b :c147}
; e:gives {
    :a :b :c147.
  }
].

[ e:possibleModel {:a :b :c148}
; e:gives {
    :a :b :c148.
  }
].

[ e:possibleModel {:a :b :c149}
; e:gives {
    :a :b :c149.
  }
].

[ e:possibleModel {:a :b :c150}
; e:gives {
    :a :b :c150.
  }
].

[ e:possibleModel {:a :b :c151}
; e:gives {
    :a :b :c151.
  }
].

[ e:possibleModel {:a :b :c152}
; e:gives {
    :a :b :c152.
  }
].

[ e:possibleModel {:a :b :c153}
; e:gives {
    :a :b :c153.
  }
].

[ e:possibleModel {:a :b :c154}
; e:gives {
    :a :b :c154.
  }
].

[ e:possibleModel {:a :b :c155}
; e:gives {
    :a :b :c155.
  }
].

[ e:possibleModel {:a :b :c156}
; e:gives {
    :a :b :c156.
  }
].

[ e:possibleModel {:a :b :c157}
; e:gives {
    :a :b :c157.
  }
].

[ e:possibleModel {:a :b :c158}
; e:gives {
    :a :b :c158.
  }
].

[ e:possibleModel {:a :b :c159}
; e:gives {
    :a :b :c159.
  }
].

[ e:possibleModel {:a :b :c160}
; e:gives {
    :a :b :c160.
  }
].

[ e:possibleModel {:a :b :c161}
; e:gives {
    :a :b :c161.
  }
].

[ e:possibleModel {:a :b :c162}
; e:gives {
    :a :b :c162.
  }
].

[ e:possibleModel {:a :b :c163}
; e:gives {
    :a :b :c163.
  }
].

[ e:possibleModel {:a :b :c164}
; e:gives {
    :a :b :c164.
  }
].

[ e:possibleModel {:a :b :c165}
; e:gives {
    :a :b :c165.
  }
].

[ e:possibleModel {:a :b :c166}
; e:gives {
    :a :b :c166.
  }
].

[ e:possibleModel {:a :b :c167}
; e:gives {
    :a :b :c167.
  }
].

[ e:possibleModel {:a :b :c168}
; e:gives {
    :a :b :c168.
  }
].

[ e:possibleModel {:a :b :c169}
; e:gives {
    :a :b :c169.
  }
].

[ e:possibleModel {:a :b :c170}
; e:gives {
    :a :b :c170.
  }
].

[ e:possibleModel {:a :b :c171}
; e:gives {
    :a :b :c171.
  }
].

[ e:possibleModel {:a :b :c172}
; e:gives {
    :a :b :c172.
  }
].

[ e:possibleModel {:a :b :c173}
; e:gives {
    :a :b :c173.
  }
].

[ e:possibleModel {:a :b :c174}
; e:gives {
    :a :b :c174.
  }
].

[ e:possibleModel {:a :b :c175}
; e:gives {
    :a :b :c175.
  }
].

[ e:possibleModel {:a :b :c176}
; e:gives {
    :a :b :c176.
  }
].

[ e:possibleModel {:a :b :c177}
; e:gives {
    :a :b :c177.
  }
].

[ e:possibleModel {:a :b :c178}
; e:gives {
    :a :b :c178.
  }
].

[ e:possibleModel {:a :b :c179}
; e:gives {
    :a :b :c179.
  }
].

[ e:possibleModel {:a :b :c180}
; e:gives {
    :a :b :c180.
  }
].

[ e:possibleModel {:a :b :c181}
; e:gives {
    :a :b :c181.
  }
].

[ e:possibleModel {:a :b :c182}
; e:gives {
    :a :b :c182.
  }
].

[ e:possibleModel {:a :b :c183}
; e:gives {
    :a :b :c183.
  }
].

[ e:possibleModel {:a :b :c184}
; e:gives {
    :a :b :c184.
  }
].

[ e:possibleModel {:a :b :c185}
; e:gives {
    :a :b :c185.
  }
].

[ e:possibleModel {:a :b :c186}
; e:gives {
    :a :b :c186.
  }
].

[ e:possibleModel {:a :b :c187}
; e:gives {
    :a :b :c187.
  }
].

[ e:possibleModel {:a :b :c188}
; e:gives {
    :a :b :c188.
  }
].

[ e:possibleModel {:a :b :c189}
; e:gives {
    :a :b :c189.
  }
].

[ e:possibleModel {:a :b :c190}
; e:gives {
    :a :b :c190.
  }
].

[ e:possibleModel {:a :b :c191}
; e:gives {
    :a :b :c191.
  }
].

[ e:possibleModel {:a :b :c192}
; e:gives {
    :a :b :c192.
  }
].

[ e:possibleModel {:a :b :c193}
; e:gives {
    :a :b :c193.
  }
].

[ e:possibleModel {:a :b :c194}
; e:gives {
    :a :b :c194.
  }
].

[ e:possibleModel {:a :b :c195}
; e:gives {
    :a :b :c195.
  }
].

[ e:possibleModel {:a :b :c196}
; e:gives {
    :a :b :c196.
  }
].

[ e:possibleModel {:a :b :c197}
; e:gives {
    :a :b :c197.
  }
].

[ e:possibleModel {:a :b :c198}
; e:gives {
    :a :b :c198.
  }
].

[ e:possibleModel {:a :b :c199}
; e:gives {
    :a :b :c199.
  }
].

[ e:possibleModel {:a :b :c200}
; e:gives {
    :a :b :c200.
  }
].

[ e:possibleModel {:a :b :c201}
; e:gives {
    :a :b :c201.
  }
].

[ e:possibleModel {:a :b :c202}
; e:gives {
    :a :b :c202.
  }
].

[ e:possibleModel {:a :b :c203}
; e:gives {
    :a :b :c203.
  }
].

[ e:possibleModel {:a :b :c204}
; e:gives {
    :a :b :c204.
  }
].

[ e:possibleModel {:a :b :c205}
; e:gives {
    :a :b :c205.
  }
].

[ e:possibleModel {:a :b :c206}
; e:gives {
    :a :b :c206.
  }
].

[ e:possibleModel {:a :b :c207}
; e:gives {
    :a :b :c207.
  }
].

[ e:possibleModel {:a :b :c208}
; e:gives {
    :a :b :c208.
  }
].

[ e:possibleModel {:a :b :c209}
; e:gives {
    :a :b :c209.
  }
].

[ e:possibleModel {:a :b :c210}
; e:gives {
    :a :b :c210.
  }
].

[ e:possibleModel {:a :b :c211}
; e:gives {
    :a :b :c211.
  }
].

[ e:possibleModel {:a :b :c212}
; e:gives {
    :a :b :c212.
  }
].

[ e:possibleModel {:a :b :c213}
; e:gives {
    :a :b :c213.
  }
].

[ e:possibleModel {:a :b :c214}
; e:gives {
    :a :b :c214.
  }
].

[ e:possibleModel {:a :b :c215}
; e:gives {
    :a :b :c215.
  }
].

[ e:possibleModel {:a :b :c216}
; e:gives {
    :a :b :c216.
  }
].

[ e:possibleModel {:a :b :c217}
; e:gives {
    :a :b :c217.
  }
].

[ e:possibleModel {:a :b :c218}
; e:gives {
    :a :b :c218.
  }
].

[ e:possibleModel {:a :b :c219}
; e:gives {
    :a :b :c219.
  }
].

[ e:possibleModel {:a :b :c220}
; e:gives {
    :a :b :c220.
  }
].

[ e:possibleModel {:a :b :c221}
; e:gives {
    :a :b :c221.
  }
].

[ e:possibleModel {:a :b :c222}
; e:gives {
    :a :b :c222.
  }
].

[ e:possibleModel {:a :b :c223}
; e:gives {
    :a :b :c223.
  }
].

[ e:possibleModel {:a :b :c224}
; e:gives {
    :a :b :c224.
  }
].

[ e:possibleModel {:a :b :c225}
; e:gives {
    :a :b :c225.
  }
].

[ e:possibleModel {:a :b :c226}
; e:gives {
    :a :b :c226.
  }
].

[ e:possibleModel {:a :b :c227}
; e:gives {
    :a :b :c227.
  }
].

[ e:possibleModel {:a :b :c228}
; e:gives {
    :a :b :c228.
  }
].

[ e:possibleModel {:a :b :c229}
; e:gives {
    :a :b :c229.
  }
].

[ e:possibleModel {:a :b :c230}
; e:gives {
    :a :b :c230.
  }
].

[ e:possibleModel {:a :b :c231}
; e:gives {
    :a :b :c231.
  }
].

[ e:possibleModel {:a :b :c232}
; e:gives {
    :a :b :c232.
  }
].

[ e:possibleModel {:a :b :c233}
; e:gives {
    :a :b :c233.
  }
].

[ e:possibleModel {:a :b :c234}
; e:gives {
    :a :b :c234.
  }
].

[ e:possibleModel {:a :b :c235}
; e:gives {
    :a :b :c235.
  }
].

[ e:possibleModel {:a :b :c236}
; e:gives {
    :a :b :c236.
  }
].

[ e:possibleModel {:a :b :c237}
; e:gives {
    :a :b :c237.
  }
].

[ e:possibleModel {:a :b :c238}
; e:gives {
    :a :b :c238.
  }
].

[ e:possibleModel {:a :b :c239}
; e:gives {
    :a :b :c239.
  }
].

[ e:possibleModel {:a :b :c240}
; e:gives {
    :a :b :c240.
  }
].

[ e:possibleModel {:a :b :c241}
; e:gives {
    :a :b :c241.
  }
].

[ e:possibleModel {:a :b :c242}
; e:gives {
    :a :b :c242.
  }
].

[ e:possibleModel {:a :b :c243}
; e:gives {
    :a :b :c243.
  }
].

[ e:possibleModel {:a :b :c244}
; e:gives {
    :a :b :c244.
  }
].

[ e:possibleModel {:a :b :c245}
; e:gives {
    :a :b :c245.
  }
].

[ e:possibleModel {:a :b :c246}
; e:gives {
    :a :b :c246.
  }
].

[ e:possibleModel {:a :b :c247}
; e:gives {
    :a :b :c247.
  }
].

[ e:possibleModel {:a :b :c248}
; e:gives {
    :a :b :c248.
  }
].

[ e:possibleModel {:a :b :c249}
; e:gives {
    :a :b :c249.
  }
].

[ e:possibleModel {:a :b :c250}
; e:gives {
    :a :b :c250.
  }
].

[ e:possibleModel {:a :b :c251}
; e:gives {
    :a :b :c251.
  }
].

[ e:possibleModel {:a :b :c252}
; e:gives {
    :a :b :c252.
  }
].

[ e:possibleModel {:a :b :c253}
; e:gives {
    :a :b :c253.
  }
].

[ e:possibleModel {:a :b :c254}
; e:gives {
    :a :b :c254.
  }
].

[ e:possibleModel {:a :b :c255}
; e:gives {
    :a :b :c255.
  }
].

[ e:possibleModel {:a :b :c256}
; e:gives {
    :a :b :c256.
  }
].

[ e:possibleModel {:a :b :c257}
; e:gives {
    :a :b :c257.
  }
].

[ e:possibleModel {:a :b :c258}
; e:gives {
    :a :b :c258.
  }
].

[ e:possibleModel {:a :b :c259}
; e:gives {
    :a :b :c259.
  }
].

[ e:possibleModel {:a :b :c260}
; e:gives {
    :a :b :c260.
  }
].

[ e:possibleModel {:a :b :c261}
; e:gives {
    :a :b :c261.
  }
].

[ e:possibleModel {:a :b :c262}
; e:gives {
    :a :b :c262.
  }
].

[ e:possibleModel {:a :b :c263}
; e:gives {
    :a :b :c263.
  }
].

[ e:possibleModel {:a :b :c264}
; e:gives {
    :a :b :c264.
  }
].

[ e:possibleModel {:a :b :c265}
; e:gives {
    :a :b :c265.
  }
].

[ e:possibleModel {:a :b :c266}
; e:gives {
    :a :b :c266.
  }
].

[ e:possibleModel {:a :b :c267}
; e:gives {
    :a :b :c267.
  }
].

[ e:possibleModel {:a :b :c268}
; e:gives {
    :a :b :c268.
  }
].

[ e:possibleModel {:a :b :c269}
; e:gives {
    :a :b :c269.
  }
].

[ e:possibleModel {:a :b :c270}
; e:gives {
    :a :b :c270.
  }
].

[ e:possibleModel {:a :b :c271}
; e:gives {
    :a :b :c271.
  }
].

[ e:possibleModel {:a :b :c272}
; e:gives {
    :a :b :c272.
  }
].

[ e:possibleModel {:a :b :c273}
; e:gives {
    :a :b :c273.
  }
].

[ e:possibleModel {:a :b :c274}
; e:gives {
    :a :b :c274.
  }
].

[ e:possibleModel {:a :b :c275}
; e:gives {
    :a :b :c275.
  }
].

[ e:possibleModel {:a :b :c276}
; e:gives {
    :a :b :c276.
  }
].

[ e:possibleModel {:a :b :c277}
; e:gives {
    :a :b :c277.
  }
].

[ e:possibleModel {:a :b :c278}
; e:gives {
    :a :b :c278.
  }
].

[ e:possibleModel {:a :b :c279}
; e:gives {
    :a :b :c279.
  }
].

[ e:possibleModel {:a :b :c280}
; e:gives {
    :a :b :c280.
  }
].

[ e:possibleModel {:a :b :c281}
; e:gives {
    :a :b :c281.
  }
].

[ e:possibleModel {:a :b :c282}
; e:gives {
    :a :b :c282.
  }
].

[ e:possibleModel {:a :b :c283}
; e:gives {
    :a :b :c283.
  }
].

[ e:possibleModel {:a :b :c284}
; e:gives {
    :a :b :c284.
  }
].

[ e:possibleModel {:a :b :c285}
; e:gives {
    :a :b :c285.
  }
].

[ e:possibleModel {:a :b :c286}
; e:gives {
    :a :b :c286.
  }
].

[ e:possibleModel {:a :b :c287}
; e:gives {
    :a :b :c287.
  }
].

[ e:possibleModel {:a :b :c288}
; e:gives {
    :a :b :c288.
  }
].

[ e:possibleModel {:a :b :c289}
; e:gives {
    :a :b :c289.
  }
].

[ e:possibleModel {:a :b :c290}
; e:gives {
    :a :b :c290.
  }
].

[ e:possibleModel {:a :b :c291}
; e:gives {
    :a :b :c291.
  }
].

[ e:possibleModel {:a :b :c292}
; e:gives {
    :a :b :c292.
  }
].

[ e:possibleModel {:a :b :c293}
; e:gives {
    :a :b :c293.
  }
].

[ e:possibleModel {:a :b :c294}
; e:gives {
    :a :b :c294.
  }
].

[ e:possibleModel {:a :b :c295}
; e:gives {
    :a :b :c295.
  }
].

[ e:possibleModel {:a :b :c296}
; e:gives {
    :a :b :c296.
  }
].

[ e:possibleModel {:a :b :c297}
; e:gives {
    :a :b :c297.
  }
].

[ e:possibleModel {:a :b :c298}
; e:gives {
    :a :b :c298.
  }
].

[ e:possibleModel {:a :b :c299}
; e:gives {
    :a :b :c299.
  }
].

[ e:possibleModel {:a :b :c300}
; e:gives {
    :a :b :c300.
  }
].

[ e:possibleModel {:a :b :c301}
; e:gives {
    :a :b :c301.
  }
].

[ e:possibleModel {:a :b :c302}
; e:gives {
    :a :b :c302.
  }
].

[ e:possibleModel {:a :b :c303}
; e:gives {
    :a :b :c303.
  }
].

[ e:possibleModel {:a :b :c304}
; e:gives {
    :a :b :c304.
  }
].

[ e:possibleModel {:a :b :c305}
; e:gives {
    :a :b :c305.
  }
].

[ e:possibleModel {:a :b :c306}
; e:gives {
    :a :b :c306.
  }
].

[ e:possibleModel {:a :b :c307}
; e:gives {
    :a :b :c307.
  }
].

[ e:possibleModel {:a :b :c308}
; e:gives {
    :a :b :c308.
  }
].

[ e:possibleModel {:a :b :c309}
; e:gives {
    :a :b :c309.
  }
].

[ e:possibleModel {:a :b :c310}
; e:gives {
    :a :b :c310.
  }
].

[ e:possibleModel {:a :b :c311}
; e:gives {
    :a :b :c311.
  }
].

[ e:possibleModel {:a :b :c312}
; e:gives {
    :a :b :c312.
  }
].

[ e:possibleModel {:a :b :c313}
; e:gives {
    :a :b :c313.
  }
].

[ e:possibleModel {:a :b :c314}
; e:gives {
    :a :b :c314.
  }
].

[ e:possibleModel {:a :b :c315}
; e:gives {
    :a :b :c315.
  }
].

[ e:possibleModel {:a :b :c316}
; e:gives {
    :a :b :c316.
  }
].

[ e:possibleModel {:a :b :c317}
; e:gives {
    :a :b :c317.
  }
].

[ e:possibleModel {:a :b :c318}
; e:gives {
    :a :b :c318.
  }
].

[ e:possibleModel {:a :b :c319}
; e:gives {
    :a :b :c319.
  }
].

[ e:possibleModel {:a :b :c320}
; e:gives {
    :a :b :c320.
  }
].

[ e:possibleModel {:a :b :c321}
; e:gives {
    :a :b :c321.
  }
].

[ e:possibleModel {:a :b :c322}
; e:gives {
    :a :b :c322.
  }
].

[ e:possibleModel {:a :b :c323}
; e:gives {
    :a :b :c323.
  }
].

[ e:possibleModel {:a :b :c324}
; e:gives {
    :a :b :c324.
  }
].

[ e:possibleModel {:a :b :c325}
; e:gives {
    :a :b :c325.
  }
].

[ e:possibleModel {:a :b :c326}
; e:gives {
    :a :b :c326.
  }
].

[ e:possibleModel {:a :b :c327}
; e:gives {
    :a :b :c327.
  }
].

[ e:possibleModel {:a :b :c328}
; e:gives {
    :a :b :c328.
  }
].

[ e:possibleModel {:a :b :c329}
; e:gives {
    :a :b :c329.
  }
].

[ e:possibleModel {:a :b :c330}
; e:gives {
    :a :b :c330.
  }
].

[ e:possibleModel {:a :b :c331}
; e:gives {
    :a :b :c331.
  }
].

[ e:possibleModel {:a :b :c332}
; e:gives {
    :a :b :c332.
  }
].

[ e:possibleModel {:a :b :c333}
; e:gives {
    :a :b :c333.
  }
].

[ e:possibleModel {:a :b :c334}
; e:gives {
    :a :b :c334.
  }
].

[ e:possibleModel {:a :b :c335}
; e:gives {
    :a :b :c335.
  }
].

[ e:possibleModel {:a :b :c336}
; e:gives {
    :a :b :c336.
  }
].

[ e:possibleModel {:a :b :c337}
; e:gives {
    :a :b :c337.
  }
].

[ e:possibleModel {:a :b :c338}
; e:gives {
    :a :b :c338.
  }
].

[ e:possibleModel {:a :b :c339}
; e:gives {
    :a :b :c339.
  }
].

[ e:possibleModel {:a :b :c340}
; e:gives {
    :a :b :c340.
  }
].

[ e:possibleModel {:a :b :c341}
; e:gives {
    :a :b :c341.
  }
].

[ e:possibleModel {:a :b :c342}
; e:gives {
    :a :b :c342.
  }
].

[ e:possibleModel {:a :b :c343}
; e:gives {
    :a :b :c343.
  }
].

[ e:possibleModel {:a :b :c344}
; e:gives {
    :a :b :c344.
  }
].

[ e:possibleModel {:a :b :c345}
; e:gives {
    :a :b :c345.
  }
].

[ e:possibleModel {:a :b :c346}
; e:gives {
    :a :b :c346.
  }
].

[ e:possibleModel {:a :b :c347}
; e:gives {
    :a :b :c347.
  }
].

[ e:possibleModel {:a :b :c348}
; e:gives {
    :a :b :c348.
  }
].

[ e:possibleModel {:a :b :c349}
; e:gives {
    :a :b :c349.
  }
].

[ e:possibleModel {:a :b :c350}
; e:gives {
    :a :b :c350.
  }
].

[ e:possibleModel {:a :b :c351}
; e:gives {
    :a :b :c351.
  }
].

[ e:possibleModel {:a :b :c352}
; e:gives {
    :a :b :c352.
  }
].

[ e:possibleModel {:a :b :c353}
; e:gives {
    :a :b :c353.
  }
].

[ e:possibleModel {:a :b :c354}
; e:gives {
    :a :b :c354.
  }
].

[ e:possibleModel {:a :b :c355}
; e:gives {
    :a :b :c355.
  }
].

[ e:possibleModel {:a :b :c356}
; e:gives {
    :a :b :c356.
  }
].

[ e:possibleModel {:a :b :c357}
; e:gives {
    :a :b :c357.
  }
].

[ e:possibleModel {:a :b :c358}
; e:gives {
    :a :b :c358.
  }
].

[ e:possibleModel {:a :b :c359}
; e:gives {
    :a :b :c359.
  }
].

[ e:possibleModel {:a :b :c360}
; e:gives {
    :a :b :c360.
  }
].

[ e:possibleModel {:a :b :c361}
; e:gives {
    :a :b :c361.
  }
].

[ e:possibleModel {:a :b :c362}
; e:gives {
    :a :b :c362.
  }
].

[ e:possibleModel {:a :b :c363}
; e:gives {
    :a :b :c363.
  }
].

[ e:possibleModel {:a :b :c364}
; e:gives {
    :a :b :c364.
  }
].

[ e:possibleModel {:a :b :c365}
; e:gives {
    :a :b :c365.
  }
].

[ e:possibleModel {:a :b :c366}
; e:gives {
    :a :b :c366.
  }
].

[ e:possibleModel {:a :b :c367}
; e:gives {
    :a :b :c367.
  }
].

[ e:possibleModel {:a :b :c368}
; e:gives {
    :a :b :c368.
  }
].

[ e:possibleModel {:a :b :c369}
; e:gives {
    :a :b :c369.
  }
].

[ e:possibleModel {:a :b :c370}
; e:gives {
    :a :b :c370.
  }
].

[ e:possibleModel {:a :b :c371}
; e:gives {
    :a :b :c371.
  }
].

[ e:possibleModel {:a :b :c372}
; e:gives {
    :a :b :c372.
  }
].

[ e:possibleModel {:a :b :c373}
; e:gives {
    :a :b :c373.
  }
].

[ e:possibleModel {:a :b :c374}
; e:gives {
    :a :b :c374.
  }
].

[ e:possibleModel {:a :b :c375}
; e:gives {
    :a :b :c375.
  }
].

[ e:possibleModel {:a :b :c376}
; e:gives {
    :a :b :c376.
  }
].

[ e:possibleModel {:a :b :c377}
; e:gives {
    :a :b :c377.
  }
].

[ e:possibleModel {:a :b :c378}
; e:gives {
    :a :b :c378.
  }
].

[ e:possibleModel {:a :b :c379}
; e:gives {
    :a :b :c379.
  }
].

[ e:possibleModel {:a :b :c380}
; e:gives {
    :a :b :c380.
  }
].

[ e:possibleModel {:a :b :c381}
; e:gives {
    :a :b :c381.
  }
].

[ e:possibleModel {:a :b :c382}
; e:gives {
    :a :b :c382.
  }
].

[ e:possibleModel {:a :b :c383}
; e:gives {
    :a :b :c383.
  }
].

[ e:possibleModel {:a :b :c384}
; e:gives {
    :a :b :c384.
  }
].

[ e:possibleModel {:a :b :c385}
; e:gives {
    :a :b :c385.
  }
].

[ e:possibleModel {:a :b :c386}
; e:gives {
    :a :b :c386.
  }
].

[ e:possibleModel {:a :b :c387}
; e:gives {
    :a :b :c387.
  }
].

[ e:possibleModel {:a :b :c388}
; e:gives {
    :a :b :c388.
  }
].

[ e:possibleModel {:a :b :c389}
; e:gives {
    :a :b :c389.
  }
].

[ e:possibleModel {:a :b :c390}
; e:gives {
    :a :b :c390.
  }
].

[ e:possibleModel {:a :b :c391}
; e:gives {
    :a :b :c391.
  }
].

[ e:possibleModel {:a :b :c392}
; e:gives {
    :a :b :c392.
  }
].

[ e:possibleModel {:a :b :c393}
; e:gives {
    :a :b :c393.
  }
].

[ e:possibleModel {:a :b :c394}
; e:gives {
    :a :b :c394.
  }
].

[ e:possibleModel {:a :b :c395}
; e:gives {
    :a :b :c395.
  }
].

[ e:possibleModel {:a :b :c396}
; e:gives {
    :a :b :c396.
  }
].

[ e:possibleModel {:a :b :c397}
; e:gives {
    :a :b :c397.
  }
].

[ e:possibleModel {:a :b :c398}
; e:gives {
    :a :b :c398.
  }
].

[ e:possibleModel {:a :b :c399}
; e:gives {
    :a :b :c399.
  }
].

[ e:possibleModel {:a :b :c400}
; e:gives {
    :a :b :c400.
  }
].

[ e:possibleModel {:a :b :c401}
; e:gives {
    :a :b :c401.
  }
].

[ e:possibleModel {:a :b :c402}
; e:gives {
    :a :b :c402.
  }
].

[ e:possibleModel {:a :b :c403}
; e:gives {
    :a :b :c403.
  }
].

[ e:possibleModel {:a :b :c404}
; e:gives {
    :a :b :c404.
  }
].

[ e:possibleModel {:a :b :c405}
; e:gives {
    :a :b :c405.
  }
].

[ e:possibleModel {:a :b :c406}
; e:gives {
    :a :b :c406.
  }
].

[ e:possibleModel {:a :b :c407}
; e:gives {
    :a :b :c407.
  }
].

[ e:possibleModel {:a :b :c408}
; e:gives {
    :a :b :c408.
  }
].

[ e:possibleModel {:a :b :c409}
; e:gives {
    :a :b :c409.
  }
].

[ e:possibleModel {:a :b :c410}
; e:gives {
    :a :b :c410.
  }
].

[ e:possibleModel {:a :b :c411}
; e:gives {
    :a :b :c411.
  }
].

[ e:possibleModel {:a :b :c412}
; e:gives {
    :a :b :c412.
  }
].

[ e:possibleModel {:a :b :c413}
; e:gives {
    :a :b :c413.
  }
].

[ e:possibleModel {:a :b :c414}
; e:gives {
    :a :b :c414.
  }
].

[ e:possibleModel {:a :b :c415}
; e:gives {
    :a :b :c415.
  }
].

[ e:possibleModel {:a :b :c416}
; e:gives {
    :a :b :c416.
  }
].

[ e:possibleModel {:a :b :c417}
; e:gives {
    :a :b :c417.
  }
].

[ e:possibleModel {:a :b :c418}
; e:gives {
    :a :b :c418.
  }
].

[ e:possibleModel {:a :b :c419}
; e:gives {
    :a :b :c419.
  }
].

[ e:possibleModel {:a :b :c420}
; e:gives {
    :a :b :c420.
  }
].

[ e:possibleModel {:a :b :c421}
; e:gives {
    :a :b :c421.
  }
].

[ e:possibleModel {:a :b :c422}
; e:gives {
    :a :b :c422.
  }
].

[ e:possibleModel {:a :b :c423}
; e:gives {
    :a :b :c423.
  }
].

[ e:possibleModel {:a :b :c424}
; e:gives {
    :a :b :c424.
  }
].

[ e:possibleModel {:a :b :c425}
; e:gives {
    :a :b :c425.
  }
].

[ e:possibleModel {:a :b :c426}
; e:gives {
    :a :b :c426.
  }
].

[ e:possibleModel {:a :b :c427}
; e:gives {
    :a :b :c427.
  }
].

[ e:possibleModel {:a :b :c428}
; e:gives {
    :a :b :c428.
  }
].

[ e:possibleModel {:a :b :c429}
; e:gives {
    :a :b :c429.
  }
].

[ e:possibleModel {:a :b :c430}
; e:gives {
    :a :b :c430.
  }
].

[ e:possibleModel {:a :b :c431}
; e:gives {
    :a :b :c431.
  }
].

[ e:possibleModel {:a :b :c432}
; e:gives {
    :a :b :c432.
  }
].

[ e:possibleModel {:a :b :c433}
; e:gives {
    :a :b :c433.
  }
].

[ e:possibleModel {:a :b :c434}
; e:gives {
    :a :b :c434.
  }
].

[ e:possibleModel {:a :b :c435}
; e:gives {
    :a :b :c435.
  }
].

[ e:possibleModel {:a :b :c436}
; e:gives {
    :a :b :c436.
  }
].

[ e:possibleModel {:a :b :c437}
; e:gives {
    :a :b :c437.
  }
].

[ e:possibleModel {:a :b :c438}
; e:gives {
    :a :b :c438.
  }
].

[ e:possibleModel {:a :b :c439}
; e:gives {
    :a :b :c439.
  }
].

[ e:possibleModel {:a :b :c440}
; e:gives {
    :a :b :c440.
  }
].

[ e:possibleModel {:a :b :c441}
; e:gives {
    :a :b :c441.
  }
].

[ e:possibleModel {:a :b :c442}
; e:gives {
    :a :b :c442.
  }
].

[ e:possibleModel {:a :b :c443}
; e:gives {
    :a :b :c443.
  }
].

[ e:possibleModel {:a :b :c444}
; e:gives {
    :a :b :c444.
  }
].

[ e:possibleModel {:a :b :c445}
; e:gives {
    :a :b :c445.
  }
].

[ e:possibleModel {:a :b :c446}
; e:gives {
    :a :b :c446.
  }
].

[ e:possibleModel {:a :b :c447}
; e:gives {
    :a :b :c447.
  }
].

[ e:possibleModel {:a :b :c448}
; e:gives {
    :a :b :c448.
  }
].

[ e:possibleModel {:a :b :c449}
; e:gives {
    :a :b :c449.
  }
].

[ e:possibleModel {:a :b :c450}
; e:gives {
    :a :b :c450.
  }
].

[ e:possibleModel {:a :b :c451}
; e:gives {
    :a :b :c451.
  }
].

[ e:possibleModel {:a :b :c452}
; e:gives {
    :a :b :c452.
  }
].

[ e:possibleModel {:a :b :c453}
; e:gives {
    :a :b :c453.
  }
].

[ e:possibleModel {:a :b :c454}
; e:gives {
    :a :b :c454.
  }
].

[ e:possibleModel {:a :b :c455}
; e:gives {
    :a :b :c455.
  }
].

[ e:possibleModel {:a :b :c456}
; e:gives {
    :a :b :c456.
  }
].

[ e:possibleModel {:a :b :c457}
; e:gives {
    :a :b :c457.
  }
].

[ e:possibleModel {:a :b :c458}
; e:gives {
    :a :b :c458.
  }
].

[ e:possibleModel {:a :b :c459}
; e:gives {
    :a :b :c459.
  }
].

[ e:possibleModel {:a :b :c460}
; e:gives {
    :a :b :c460.
  }
].

[ e:possibleModel {:a :b :c461}
; e:gives {
    :a :b :c461.
  }
].

[ e:possibleModel {:a :b :c462}
; e:gives {
    :a :b :c462.
  }
].

[ e:possibleModel {:a :b :c463}
; e:gives {
    :a :b :c463.
  }
].

[ e:possibleModel {:a :b :c464}
; e:gives {
    :a :b :c464.
  }
].

[ e:possibleModel {:a :b :c465}
; e:gives {
    :a :b :c465.
  }
].

[ e:possibleModel {:a :b :c466}
; e:gives {
    :a :b :c466.
  }
].

[ e:possibleModel {:a :b :c467}
; e:gives {
    :a :b :c467.
  }
].

[ e:possibleModel {:a :b :c468}
; e:gives {
    :a :b :c468.
  }
].

[ e:possibleModel {:a :b :c469}
; e:gives {
    :a :b :c469.
  }
].

[ e:possibleModel {:a :b :c470}
; e:gives {
    :a :b :c470.
  }
].

[ e:possibleModel {:a :b :c471}
; e:gives {
    :a :b :c471.
  }
].

[ e:possibleModel {:a :b :c472}
; e:gives {
    :a :b :c472.
  }
].

[ e:possibleModel {:a :b :c473}
; e:gives {
    :a :b :c473.
  }
].

[ e:possibleModel {:a :b :c474}
; e:gives {
    :a :b :c474.
  }
].

[ e:possibleModel {:a :b :c475}
; e:gives {
    :a :b :c475.
  }
].

[ e:possibleModel {:a :b :c476}
; e:gives {
    :a :b :c476.
  }
].

[ e:possibleModel {:a :b :c477}
; e:gives {
    :a :b :c477.
  }
].

[ e:possibleModel {:a :b :c478}
; e:gives {
    :a :b :c478.
  }
].

[ e:possibleModel {:a :b :c479}
; e:gives {
    :a :b :c479.
  }
].

[ e:possibleModel {:a :b :c480}
; e:gives {
    :a :b :c480.
  }
].

[ e:possibleModel {:a :b :c481}
; e:gives {
    :a :b :c481.
  }
].

[ e:possibleModel {:a :b :c482}
; e:gives {
    :a :b :c482.
  }
].

[ e:possibleModel {:a :b :c483}
; e:gives {
    :a :b :c483.
  }
].

[ e:possibleModel {:a :b :c484}
; e:gives {
    :a :b :c484.
  }
].

[ e:possibleModel {:a :b :c485}
; e:gives {
    :a :b :c485.
  }
].

[ e:possibleModel {:a :b :c486}
; e:gives {
    :a :b :c486.
  }
].

[ e:possibleModel {:a :b :c487}
; e:gives {
    :a :b :c487.
  }
].

[ e:possibleModel {:a :b :c488}
; e:gives {
    :a :b :c488.
  }
].

[ e:possibleModel {:a :b :c489}
; e:gives {
    :a :b :c489.
  }
].

[ e:possibleModel {:a :b :c490}
; e:gives {
    :a :b :c490.
  }
].

[ e:possibleModel {:a :b :c491}
; e:gives {
    :a :b :c491.
  }
].

[ e:possibleModel {:a :b :c492}
; e:gives {
    :a :b :c492.
  }
].

[ e:possibleModel {:a :b :c493}
; e:gives {
    :a :b :c493.
  }
].

[ e:possibleModel {:a :b :c494}
; e:gives {
    :a :b :c494.
  }
].

[ e:possibleModel {:a :b :c495}
; e:gives {
    :a :b :c495.
  }
].

[ e:possibleModel {:a :b :c496}
; e:gives {
    :a :b :c496.
  }
].

[ e:possibleModel {:a :b :c497}
; e:gives {
    :a :b :c497.
  }
].

[ e:possibleModel {:a :b :c498}
; e:gives {
    :a :b :c498.
  }
].

[ e:possibleModel {:a :b :c499}
; e:gives {
    :a :b :c499.
  }
].

[ e:possibleModel {:a :b :c500}
; e:gives {
    :a :b :c500.
  }
].

[ e:possibleModel {:a :b :c501}
; e:gives {
    :a :b :c501.
  }
].

[ e:possibleModel {:a :b :c502}
; e:gives {
    :a :b :c502.
  }
].

[ e:possibleModel {:a :b :c503}
; e:gives {
    :a :b :c503.
  }
].

[ e:possibleModel {:a :b :c504}
; e:gives {
    :a :b :c504.
  }
].

[ e:possibleModel {:a :b :c505}
; e:gives {
    :a :b :c505.
  }
].

[ e:possibleModel {:a :b :c506}
; e:gives {
    :a :b :c506.
  }
].

[ e:possibleModel {:a :b :c507}
; e:gives {
    :a :b :c507.
  }
].

[ e:possibleModel {:a :b :c508}
; e:gives {
    :a :b :c508.
  }
].

[ e:possibleModel {:a :b :c509}
; e:gives {
    :a :b :c509.
  }
].

[ e:possibleModel {:a :b :c510}
; e:gives {
    :a :b :c510.
  }
].

[ e:possibleModel {:a :b :c511}
; e:gives {
    :a :b :c511.
  }
].

[ e:possibleModel {:a :b :c512}
; e:gives {
    :a :b :c512.
  }
].

[ e:possibleModel {:a :b :c513}
; e:gives {
    :a :b :c513.
  }
].

[ e:possibleModel {:a :b :c514}
; e:gives {
    :a :b :c514.
  }
].

[ e:possibleModel {:a :b :c515}
; e:gives {
    :a :b :c515.
  }
].

[ e:possibleModel {:a :b :c516}
; e:gives {
    :a :b :c516.
  }
].

[ e:possibleModel {:a :b :c517}
; e:gives {
    :a :b :c517.
  }
].

[ e:possibleModel {:a :b :c518}
; e:gives {
    :a :b :c518.
  }
].

[ e:possibleModel {:a :b :c519}
; e:gives {
    :a :b :c519.
  }
].

[ e:possibleModel {:a :b :c520}
; e:gives {
    :a :b :c520.
  }
].

[ e:possibleModel {:a :b :c521}
; e:gives {
    :a :b :c521.
  }
].

[ e:possibleModel {:a :b :c522}
; e:gives {
    :a :b :c522.
  }
].

[ e:possibleModel {:a :b :c523}
; e:gives {
    :a :b :c523.
  }
].

[ e:possibleModel {:a :b :c524}
; e:gives {
    :a :b :c524.
  }
].

[ e:possibleModel {:a :b :c525}
; e:gives {
    :a :b :c525.
  }
].

[ e:possibleModel {:a :b :c526}
; e:gives {
    :a :b :c526.
  }
].

[ e:possibleModel {:a :b :c527}
; e:gives {
    :a :b :c527.
  }
].

[ e:possibleModel {:a :b :c528}
; e:gives {
    :a :b :c528.
  }
].

[ e:possibleModel {:a :b :c529}
; e:gives {
    :a :b :c529.
  }
].

[ e:possibleModel {:a :b :c530}
; e:gives {
    :a :b :c530.
  }
].

[ e:possibleModel {:a :b :c531}
; e:gives {
    :a :b :c531.
  }
].

[ e:possibleModel {:a :b :c532}
; e:gives {
    :a :b :c532.
  }
].

[ e:possibleModel {:a :b :c533}
; e:gives {
    :a :b :c533.
  }
].

[ e:possibleModel {:a :b :c534}
; e:gives {
    :a :b :c534.
  }
].

[ e:possibleModel {:a :b :c535}
; e:gives {
    :a :b :c535.
  }
].

[ e:possibleModel {:a :b :c536}
; e:gives {
    :a :b :c536.
  }
].

[ e:possibleModel {:a :b :c537}
; e:gives {
    :a :b :c537.
  }
].

[ e:possibleModel {:a :b :c538}
; e:gives {
    :a :b :c538.
  }
].

[ e:possibleModel {:a :b :c539}
; e:gives {
    :a :b :c539.
  }
].

[ e:possibleModel {:a :b :c540}
; e:gives {
    :a :b :c540.
  }
].

[ e:possibleModel {:a :b :c541}
; e:gives {
    :a :b :c541.
  }
].

[ e:possibleModel {:a :b :c542}
; e:gives {
    :a :b :c542.
  }
].

[ e:possibleModel {:a :b :c543}
; e:gives {
    :a :b :c543.
  }
].

[ e:possibleModel {:a :b :c544}
; e:gives {
    :a :b :c544.
  }
].

[ e:possibleModel {:a :b :c545}
; e:gives {
    :a :b :c545.
  }
].

[ e:possibleModel {:a :b :c546}
; e:gives {
    :a :b :c546.
  }
].

[ e:possibleModel {:a :b :c547}
; e:gives {
    :a :b :c547.
  }
].

[ e:possibleModel {:a :b :c548}
; e:gives {
    :a :b :c548.
  }
].

[ e:possibleModel {:a :b :c549}
; e:gives {
    :a :b :c549.
  }
].

[ e:possibleModel {:a :b :c550}
; e:gives {
    :a :b :c550.
  }
].

[ e:possibleModel {:a :b :c551}
; e:gives {
    :a :b :c551.
  }
].

[ e:possibleModel {:a :b :c552}
; e:gives {
    :a :b :c552.
  }
].

[ e:possibleModel {:a :b :c553}
; e:gives {
    :a :b :c553.
  }
].

[ e:possibleModel {:a :b :c554}
; e:gives {
    :a :b :c554.
  }
].

[ e:possibleModel {:a :b :c555}
; e:gives {
    :a :b :c555.
  }
].

[ e:possibleModel {:a :b :c556}
; e:gives {
    :a :b :c556.
  }
].

[ e:possibleModel {:a :b :c557}
; e:gives {
    :a :b :c557.
  }
].

[ e:possibleModel {:a :b :c558}
; e:gives {
    :a :b :c558.
  }
].

[ e:possibleModel {:a :b :c559}
; e:gives {
    :a :b :c559.
  }
].

[ e:possibleModel {:a :b :c560}
; e:gives {
    :a :b :c560.
  }
].

[ e:possibleModel {:a :b :c561}
; e:gives {
    :a :b :c561.
  }
].

[ e:possibleModel {:a :b :c562}
; e:gives {
    :a :b :c562.
  }
].

[ e:possibleModel {:a :b :c563}
; e:gives {
    :a :b :c563.
  }
].

[ e:possibleModel {:a :b :c564}
; e:gives {
    :a :b :c564.
  }
].

[ e:possibleModel {:a :b :c565}
; e:gives {
    :a :b :c565.
  }
].

[ e:possibleModel {:a :b :c566}
; e:gives {
    :a :b :c566.
  }
].

[ e:possibleModel {:a :b :c567}
; e:gives {
    :a :b :c567.
  }
].

[ e:possibleModel {:a :b :c568}
; e:gives {
    :a :b :c568.
  }
].

[ e:possibleModel {:a :b :c569}
; e:gives {
    :a :b :c569.
  }
].

[ e:possibleModel {:a :b :c570}
; e:gives {
    :a :b :c570.
  }
].

[ e:possibleModel {:a :b :c571}
; e:gives {
    :a :b :c571.
  }
].

[ e:possibleModel {:a :b :c572}
; e:gives {
    :a :b :c572.
  }
].

[ e:possibleModel {:a :b :c573}
; e:gives {
    :a :b :c573.
  }
].

[ e:possibleModel {:a :b :c574}
; e:gives {
    :a :b :c574.
  }
].

[ e:possibleModel {:a :b :c575}
; e:gives {
    :a :b :c575.
  }
].

[ e:possibleModel {:a :b :c576}
; e:gives {
    :a :b :c576.
  }
].

[ e:possibleModel {:a :b :c577}
; e:gives {
    :a :b :c577.
  }
].

[ e:possibleModel {:a :b :c578}
; e:gives {
    :a :b :c578.
  }
].

[ e:possibleModel {:a :b :c579}
; e:gives {
    :a :b :c579.
  }
].

[ e:possibleModel {:a :b :c580}
; e:gives {
    :a :b :c580.
  }
].

[ e:possibleModel {:a :b :c581}
; e:gives {
    :a :b :c581.
  }
].

[ e:possibleModel {:a :b :c582}
; e:gives {
    :a :b :c582.
  }
].

[ e:possibleModel {:a :b :c583}
; e:gives {
    :a :b :c583.
  }
].

[ e:possibleModel {:a :b :c584}
; e:gives {
    :a :b :c584.
  }
].

[ e:possibleModel {:a :b :c585}
; e:gives {
    :a :b :c585.
  }
].

[ e:possibleModel {:a :b :c586}
; e:gives {
    :a :b :c586.
  }
].

[ e:possibleModel {:a :b :c587}
; e:gives {
    :a :b :c587.
  }
].

[ e:possibleModel {:a :b :c588}
; e:gives {
    :a :b :c588.
  }
].

[ e:possibleModel {:a :b :c589}
; e:gives {
    :a :b :c589.
  }
].

[ e:possibleModel {:a :b :c590}
; e:gives {
    :a :b :c590.
  }
].

[ e:possibleModel {:a :b :c591}
; e:gives {
    :a :b :c591.
  }
].

[ e:possibleModel {:a :b :c592}
; e:gives {
    :a :b :c592.
  }
].

[ e:possibleModel {:a :b :c593}
; e:gives {
    :a :b :c593.
  }
].

[ e:possibleModel {:a :b :c594}
; e:gives {
    :a :b :c594.
  }
].

[ e:possibleModel {:a :b :c595}
; e:gives {
    :a :b :c595.
  }
].

[ e:possibleModel {:a :b :c596}
; e:gives {
    :a :b :c596.
  }
].

[ e:possibleModel {:a :b :c597}
; e:gives {
    :a :b :c597.
  }
].

[ e:possibleModel {:a :b :c598}
; e:gives {
    :a :b :c598.
  }
].

[ e:possibleModel {:a :b :c599}
; e:gives {
    :a :b :c599.
  }
].

[ e:possibleModel {:a :b :c600}
; e:gives {
    :a :b :c600.
  }
].

[ e:possibleModel {:a :b :c601}
; e:gives {
    :a :b :c601.
  }
].

[ e:possibleModel {:a :b :c602}
; e:gives {
    :a :b :c602.
  }
].

[ e:possibleModel {:a :b :c603}
; e:gives {
    :a :b :c603.
  }
].

[ e:possibleModel {:a :b :c604}
; e:gives {
    :a :b :c604.
  }
].

[ e:possibleModel {:a :b :c605}
; e:gives {
    :a :b :c605.
  }
].

[ e:possibleModel {:a :b :c606}
; e:gives {
    :a :b :c606.
  }
].

[ e:possibleModel {:a :b :c607}
; e:gives {
    :a :b :c607.
  }
].

[ e:possibleModel {:a :b :c608}
; e:gives {
    :a :b :c608.
  }
].

[ e:possibleModel {:a :b :c609}
; e:gives {
    :a :b :c609.
  }
].

[ e:possibleModel {:a :b :c610}
; e:gives {
    :a :b :c610.
  }
].

[ e:possibleModel {:a :b :c611}
; e:gives {
    :a :b :c611.
  }
].

[ e:possibleModel {:a :b :c612}
; e:gives {
    :a :b :c612.
  }
].

[ e:possibleModel {:a :b :c613}
; e:gives {
    :a :b :c613.
  }
].

[ e:possibleModel {:a :b :c614}
; e:gives {
    :a :b :c614.
  }
].

[ e:possibleModel {:a :b :c615}
; e:gives {
    :a :b :c615.
  }
].

[ e:possibleModel {:a :b :c616}
; e:gives {
    :a :b :c616.
  }
].

[ e:possibleModel {:a :b :c617}
; e:gives {
    :a :b :c617.
  }
].

[ e:possibleModel {:a :b :c618}
; e:gives {
    :a :b :c618.
  }
].

[ e:possibleModel {:a :b :c619}
; e:gives {
    :a :b :c619.
  }
].

[ e:possibleModel {:a :b :c620}
; e:gives {
    :a :b :c620.
  }
].

[ e:possibleModel {:a :b :c621}
; e:gives {
    :a :b :c621.
  }
].

[ e:possibleModel {:a :b :c622}
; e:gives {
    :a :b :c622.
  }
].

[ e:possibleModel {:a :b :c623}
; e:gives {
    :a :b :c623.
  }
].

[ e:possibleModel {:a :b :c624}
; e:gives {
    :a :b :c624.
  }
].

[ e:possibleModel {:a :b :c625}
; e:gives {
    :a :b :c625.
  }
].

[ e:possibleModel {:a :b :c626}
; e:gives {
    :a :b :c626.
  }
].

[ e:possibleModel {:a :b :c627}
; e:gives {
    :a :b :c627.
  }
].

[ e:possibleModel {:a :b :c628}
; e:gives {
    :a :b :c628.
  }
].

[ e:possibleModel {:a :b :c629}
; e:gives {
    :a :b :c629.
  }
].

[ e:possibleModel {:a :b :c630}
; e:gives {
    :a :b :c630.
  }
].

[ e:possibleModel {:a :b :c631}
; e:gives {
    :a :b :c631.
  }
].

[ e:possibleModel {:a :b :c632}
; e:gives {
    :a :b :c632.
  }
].

[ e:possibleModel {:a :b :c633}
; e:gives {
    :a :b :c633.
  }
].

[ e:possibleModel {:a :b :c634}
; e:gives {
    :a :b :c634.
  }
].

[ e:possibleModel {:a :b :c635}
; e:gives {
    :a :b :c635.
  }
].

[ e:possibleModel {:a :b :c636}
; e:gives {
    :a :b :c636.
  }
].

[ e:possibleModel {:a :b :c637}
; e:gives {
    :a :b :c637.
  }
].

[ e:possibleModel {:a :b :c638}
; e:gives {
    :a :b :c638.
  }
].

[ e:possibleModel {:a :b :c639}
; e:gives {
    :a :b :c639.
  }
].

[ e:possibleModel {:a :b :c640}
; e:gives {
    :a :b :c640.
  }
].

[ e:possibleModel {:a :b :c641}
; e:gives {
    :a :b :c641.
  }
].

[ e:possibleModel {:a :b :c642}
; e:gives {
    :a :b :c642.
  }
].

[ e:possibleModel {:a :b :c643}
; e:gives {
    :a :b :c643.
  }
].

[ e:possibleModel {:a :b :c644}
; e:gives {
    :a :b :c644.
  }
].

[ e:possibleModel {:a :b :c645}
; e:gives {
    :a :b :c645.
  }
].

[ e:possibleModel {:a :b :c646}
; e:gives {
    :a :b :c646.
  }
].

[ e:possibleModel {:a :b :c647}
; e:gives {
    :a :b :c647.
  }
].

[ e:possibleModel {:a :b :c648}
; e:gives {
    :a :b :c648.
  }
].

[ e:possibleModel {:a :b :c649}
; e:gives {
    :a :b :c649.
  }
].

[ e:possibleModel {:a :b :c650}
; e:gives {
    :a :b :c650.
  }
].

[ e:possibleModel {:a :b :c651}
; e:gives {
    :a :b :c651.
  }
].

[ e:possibleModel {:a :b :c652}
; e:gives {
    :a :b :c652.
  }
].

[ e:possibleModel {:a :b :c653}
; e:gives {
    :a :b :c653.
  }
].

[ e:possibleModel {:a :b :c654}
; e:gives {
    :a :b :c654.
  }
].

[ e:possibleModel {:a :b :c655}
; e:gives {
    :a :b :c655.
  }
].

[ e:possibleModel {:a :b :c656}
; e:gives {
    :a :b :c656.
  }
].

[ e:possibleModel {:a :b :c657}
; e:gives {
    :a :b :c657.
  }
].

[ e:possibleModel {:a :b :c658}
; e:gives {
    :a :b :c658.
  }
].

[ e:possibleModel {:a :b :c659}
; e:gives {
    :a :b :c659.
  }
].

[ e:possibleModel {:a :b :c660}
; e:gives {
    :a :b :c660.
  }
].

[ e:possibleModel {:a :b :c661}
; e:gives {
    :a :b :c661.
  }
].

[ e:possibleModel {:a :b :c662}
; e:gives {
    :a :b :c662.
  }
].

[ e:possibleModel {:a :b :c663}
; e:gives {
    :a :b :c663.
  }
].

[ e:possibleModel {:a :b :c664}
; e:gives {
    :a :b :c664.
  }
].

[ e:possibleModel {:a :b :c665}
; e:gives {
    :a :b :c665.
  }
].

[ e:possibleModel {:a :b :c666}
; e:gives {
    :a :b :c666.
  }
].

[ e:possibleModel {:a :b :c667}
; e:gives {
    :a :b :c667.
  }
].

[ e:possibleModel {:a :b :c668}
; e:gives {
    :a :b :c668.
  }
].

[ e:possibleModel {:a :b :c669}
; e:gives {
    :a :b :c669.
  }
].

[ e:possibleModel {:a :b :c670}
; e:gives {
    :a :b :c670.
  }
].

[ e:possibleModel {:a :b :c671}
; e:gives {
    :a :b :c671.
  }
].

[ e:possibleModel {:a :b :c672}
; e:gives {
    :a :b :c672.
  }
].

[ e:possibleModel {:a :b :c673}
; e:gives {
    :a :b :c673.
  }
].

[ e:possibleModel {:a :b :c674}
; e:gives {
    :a :b :c674.
  }
].

[ e:possibleModel {:a :b :c675}
; e:gives {
    :a :b :c675.
  }
].

[ e:possibleModel {:a :b :c676}
; e:gives {
    :a :b :c676.
  }
].

[ e:possibleModel {:a :b :c677}
; e:gives {
    :a :b :c677.
  }
].

[ e:possibleModel {:a :b :c678}
; e:gives {
    :a :b :c678.
  }
].

[ e:possibleModel {:a :b :c679}
; e:gives {
    :a :b :c679.
  }
].

[ e:possibleModel {:a :b :c680}
; e:gives {
    :a :b :c680.
  }
].

[ e:possibleModel {:a :b :c681}
; e:gives {
    :a :b :c681.
  }
].

[ e:possibleModel {:a :b :c682}
; e:gives {
    :a :b :c682.
  }
].

[ e:possibleModel {:a :b :c683}
; e:gives {
    :a :b :c683.
  }
].

[ e:possibleModel {:a :b :c684}
; e:gives {
    :a :b :c684.
  }
].

[ e:possibleModel {:a :b :c685}
; e:gives {
    :a :b :c685.
  }
].

[ e:possibleModel {:a :b :c686}
; e:gives {
    :a :b :c686.
  }
].

[ e:possibleModel {:a :b :c687}
; e:gives {
    :a :b :c687.
  }
].

[ e:possibleModel {:a :b :c688}
; e:gives {
    :a :b :c688.
  }
].

[ e:possibleModel {:a :b :c689}
; e:gives {
    :a :b :c689.
  }
].

[ e:possibleModel {:a :b :c690}
; e:gives {
    :a :b :c690.
  }
].

[ e:possibleModel {:a :b :c691}
; e:gives {
    :a :b :c691.
  }
].

[ e:possibleModel {:a :b :c692}
; e:gives {
    :a :b :c692.
  }
].

[ e:possibleModel {:a :b :c693}
; e:gives {
    :a :b :c693.
  }
].

[ e:possibleModel {:a :b :c694}
; e:gives {
    :a :b :c694.
  }
].

[ e:possibleModel {:a :b :c695}
; e:gives {
    :a :b :c695.
  }
].

[ e:possibleModel {:a :b :c696}
; e:gives {
    :a :b :c696.
  }
].

[ e:possibleModel {:a :b :c697}
; e:gives {
    :a :b :c697.
  }
].

[ e:possibleModel {:a :b :c698}
; e:gives {
    :a :b :c698.
  }
].

[ e:possibleModel {:a :b :c699}
; e:gives {
    :a :b :c699.
  }
].

[ e:possibleModel {:a :b :c700}
; e:gives {
    :a :b :c700.
  }
].

[ e:possibleModel {:a :b :c701}
; e:gives {
    :a :b :c701.
  }
].

[ e:possibleModel {:a :b :c702}
; e:gives {
    :a :b :c702.
  }
].

[ e:possibleModel {:a :b :c703}
; e:gives {
    :a :b :c703.
  }
].

[ e:possibleModel {:a :b :c704}
; e:gives {
    :a :b :c704.
  }
].

[ e:possibleModel {:a :b :c705}
; e:gives {
    :a :b :c705.
  }
].

[ e:possibleModel {:a :b :c706}
; e:gives {
    :a :b :c706.
  }
].

[ e:possibleModel {:a :b :c707}
; e:gives {
    :a :b :c707.
  }
].

[ e:possibleModel {:a :b :c708}
; e:gives {
    :a :b :c708.
  }
].

[ e:possibleModel {:a :b :c709}
; e:gives {
    :a :b :c709.
  }
].

[ e:possibleModel {:a :b :c710}
; e:gives {
    :a :b :c710.
  }
].

[ e:possibleModel {:a :b :c711}
; e:gives {
    :a :b :c711.
  }
].

[ e:possibleModel {:a :b :c712}
; e:gives {
    :a :b :c712.
  }
].

[ e:possibleModel {:a :b :c713}
; e:gives {
    :a :b :c713.
  }
].

[ e:possibleModel {:a :b :c714}
; e:gives {
    :a :b :c714.
  }
].

[ e:possibleModel {:a :b :c715}
; e:gives {
    :a :b :c715.
  }
].

[ e:possibleModel {:a :b :c716}
; e:gives {
    :a :b :c716.
  }
].

[ e:possibleModel {:a :b :c717}
; e:gives {
    :a :b :c717.
  }
].

[ e:possibleModel {:a :b :c718}
; e:gives {
    :a :b :c718.
  }
].

[ e:possibleModel {:a :b :c719}
; e:gives {
    :a :b :c719.
  }
].

[ e:possibleModel {:a :b :c720}
; e:gives {
    :a :b :c720.
  }
].

[ e:possibleModel {:a :b :c721}
; e:gives {
    :a :b :c721.
  }
].

[ e:possibleModel {:a :b :c722}
; e:gives {
    :a :b :c722.
  }
].

[ e:possibleModel {:a :b :c723}
; e:gives {
    :a :b :c723.
  }
].

[ e:possibleModel {:a :b :c724}
; e:gives {
    :a :b :c724.
  }
].

[ e:possibleModel {:a :b :c725}
; e:gives {
    :a :b :c725.
  }
].

[ e:possibleModel {:a :b :c726}
; e:gives {
    :a :b :c726.
  }
].

[ e:possibleModel {:a :b :c727}
; e:gives {
    :a :b :c727.
  }
].

[ e:possibleModel {:a :b :c728}
; e:gives {
    :a :b :c728.
  }
].

[ e:possibleModel {:a :b :c729}
; e:gives {
    :a :b :c729.
  }
].

[ e:possibleModel {:a :b :c730}
; e:gives {
    :a :b :c730.
  }
].

[ e:possibleModel {:a :b :c731}
; e:gives {
    :a :b :c731.
  }
].

[ e:possibleModel {:a :b :c732}
; e:gives {
    :a :b :c732.
  }
].

[ e:possibleModel {:a :b :c733}
; e:gives {
    :a :b :c733.
  }
].

[ e:possibleModel {:a :b :c734}
; e:gives {
    :a :b :c734.
  }
].

[ e:possibleModel {:a :b :c735}
; e:gives {
    :a :b :c735.
  }
].

[ e:possibleModel {:a :b :c736}
; e:gives {
    :a :b :c736.
  }
].

[ e:possibleModel {:a :b :c737}
; e:gives {
    :a :b :c737.
  }
].

[ e:possibleModel {:a :b :c738}
; e:gives {
    :a :b :c738.
  }
].

[ e:possibleModel {:a :b :c739}
; e:gives {
    :a :b :c739.
  }
].

[ e:possibleModel {:a :b :c740}
; e:gives {
    :a :b :c740.
  }
].

[ e:possibleModel {:a :b :c741}
; e:gives {
    :a :b :c741.
  }
].

[ e:possibleModel {:a :b :c742}
; e:gives {
    :a :b :c742.
  }
].

[ e:possibleModel {:a :b :c743}
; e:gives {
    :a :b :c743.
  }
].

[ e:possibleModel {:a :b :c744}
; e:gives {
    :a :b :c744.
  }
].

[ e:possibleModel {:a :b :c745}
; e:gives {
    :a :b :c745.
  }
].

[ e:possibleModel {:a :b :c746}
; e:gives {
    :a :b :c746.
  }
].

[ e:possibleModel {:a :b :c747}
; e:gives {
    :a :b :c747.
  }
].

[ e:possibleModel {:a :b :c748}
; e:gives {
    :a :b :c748.
  }
].

[ e:possibleModel {:a :b :c749}
; e:gives {
    :a :b :c749.
  }
].

[ e:possibleModel {:a :b :c750}
; e:gives {
    :a :b :c750.
  }
].

[ e:possibleModel {:a :b :c751}
; e:gives {
    :a :b :c751.
  }
].

[ e:possibleModel {:a :b :c752}
; e:gives {
    :a :b :c752.
  }
].

[ e:possibleModel {:a :b :c753}
; e:gives {
    :a :b :c753.
  }
].

[ e:possibleModel {:a :b :c754}
; e:gives {
    :a :b :c754.
  }
].

[ e:possibleModel {:a :b :c755}
; e:gives {
    :a :b :c755.
  }
].

[ e:possibleModel {:a :b :c756}
; e:gives {
    :a :b :c756.
  }
].

[ e:possibleModel {:a :b :c757}
; e:gives {
    :a :b :c757.
  }
].

[ e:possibleModel {:a :b :c758}
; e:gives {
    :a :b :c758.
  }
].

[ e:possibleModel {:a :b :c759}
; e:gives {
    :a :b :c759.
  }
].

[ e:possibleModel {:a :b :c760}
; e:gives {
    :a :b :c760.
  }
].

[ e:possibleModel {:a :b :c761}
; e:gives {
    :a :b :c761.
  }
].

[ e:possibleModel {:a :b :c762}
; e:gives {
    :a :b :c762.
  }
].

[ e:possibleModel {:a :b :c763}
; e:gives {
    :a :b :c763.
  }
].

[ e:possibleModel {:a :b :c764}
; e:gives {
    :a :b :c764.
  }
].

[ e:possibleModel {:a :b :c765}
; e:gives {
    :a :b :c765.
  }
].

[ e:possibleModel {:a :b :c766}
; e:gives {
    :a :b :c766.
  }
].

[ e:possibleModel {:a :b :c767}
; e:gives {
    :a :b :c767.
  }
].

[ e:possibleModel {:a :b :c768}
; e:gives {
    :a :b :c768.
  }
].

[ e:possibleModel {:a :b :c769}
; e:gives {
    :a :b :c769.
  }
].

[ e:possibleModel {:a :b :c770}
; e:gives {
    :a :b :c770.
  }
].

[ e:possibleModel {:a :b :c771}
; e:gives {
    :a :b :c771.
  }
].

[ e:possibleModel {:a :b :c772}
; e:gives {
    :a :b :c772.
  }
].

[ e:possibleModel {:a :b :c773}
; e:gives {
    :a :b :c773.
  }
].

[ e:possibleModel {:a :b :c774}
; e:gives {
    :a :b :c774.
  }
].

[ e:possibleModel {:a :b :c775}
; e:gives {
    :a :b :c775.
  }
].

[ e:possibleModel {:a :b :c776}
; e:gives {
    :a :b :c776.
  }
].

[ e:possibleModel {:a :b :c777}
; e:gives {
    :a :b :c777.
  }
].

[ e:possibleModel {:a :b :c778}
; e:gives {
    :a :b :c778.
  }
].

[ e:possibleModel {:a :b :c779}
; e:gives {
    :a :b :c779.
  }
].

[ e:possibleModel {:a :b :c780}
; e:gives {
    :a :b :c780.
  }
].

[ e:possibleModel {:a :b :c781}
; e:gives {
    :a :b :c781.
  }
].

[ e:possibleModel {:a :b :c782}
; e:gives {
    :a :b :c782.
  }
].

[ e:possibleModel {:a :b :c783}
; e:gives {
    :a :b :c783.
  }
].

[ e:possibleModel {:a :b :c784}
; e:gives {
    :a :b :c784.
  }
].

[ e:possibleModel {:a :b :c785}
; e:gives {
    :a :b :c785.
  }
].

[ e:possibleModel {:a :b :c786}
; e:gives {
    :a :b :c786.
  }
].

[ e:possibleModel {:a :b :c787}
; e:gives {
    :a :b :c787.
  }
].

[ e:possibleModel {:a :b :c788}
; e:gives {
    :a :b :c788.
  }
].

[ e:possibleModel {:a :b :c789}
; e:gives {
    :a :b :c789.
  }
].

[ e:possibleModel {:a :b :c790}
; e:gives {
    :a :b :c790.
  }
].

[ e:possibleModel {:a :b :c791}
; e:gives {
    :a :b :c791.
  }
].

[ e:possibleModel {:a :b :c792}
; e:gives {
    :a :b :c792.
  }
].

[ e:possibleModel {:a :b :c793}
; e:gives {
    :a :b :c793.
  }
].

[ e:possibleModel {:a :b :c794}
; e:gives {
    :a :b :c794.
  }
].

[ e:possibleModel {:a :b :c795}
; e:gives {
    :a :b :c795.
  }
].

[ e:possibleModel {:a :b :c796}
; e:gives {
    :a :b :c796.
  }
].

[ e:possibleModel {:a :b :c797}
; e:gives {
    :a :b :c797.
  }
].

[ e:possibleModel {:a :b :c798}
; e:gives {
    :a :b :c798.
  }
].

[ e:possibleModel {:a :b :c799}
; e:gives {
    :a :b :c799.
  }
].

[ e:possibleModel {:a :b :c800}
; e:gives {
    :a :b :c800.
  }
].

[ e:possibleModel {:a :b :c801}
; e:gives {
    :a :b :c801.
  }
].

[ e:possibleModel {:a :b :c802}
; e:gives {
    :a :b :c802.
  }
].

[ e:possibleModel {:a :b :c803}
; e:gives {
    :a :b :c803.
  }
].

[ e:possibleModel {:a :b :c804}
; e:gives {
    :a :b :c804.
  }
].

[ e:possibleModel {:a :b :c805}
; e:gives {
    :a :b :c805.
  }
].

[ e:possibleModel {:a :b :c806}
; e:gives {
    :a :b :c806.
  }
].

[ e:possibleModel {:a :b :c807}
; e:gives {
    :a :b :c807.
  }
].

[ e:possibleModel {:a :b :c808}
; e:gives {
    :a :b :c808.
  }
].

[ e:possibleModel {:a :b :c809}
; e:gives {
    :a :b :c809.
  }
].

[ e:possibleModel {:a :b :c810}
; e:gives {
    :a :b :c810.
  }
].

[ e:possibleModel {:a :b :c811}
; e:gives {
    :a :b :c811.
  }
].

[ e:possibleModel {:a :b :c812}
; e:gives {
    :a :b :c812.
  }
].

[ e:possibleModel {:a :b :c813}
; e:gives {
    :a :b :c813.
  }
].

[ e:possibleModel {:a :b :c814}
; e:gives {
    :a :b :c814.
  }
].

[ e:possibleModel {:a :b :c815}
; e:gives {
    :a :b :c815.
  }
].

[ e:possibleModel {:a :b :c816}
; e:gives {
    :a :b :c816.
  }
].

[ e:possibleModel {:a :b :c817}
; e:gives {
    :a :b :c817.
  }
].

[ e:possibleModel {:a :b :c818}
; e:gives {
    :a :b :c818.
  }
].

[ e:possibleModel {:a :b :c819}
; e:gives {
    :a :b :c819.
  }
].

[ e:possibleModel {:a :b :c820}
; e:gives {
    :a :b :c820.
  }
].

[ e:possibleModel {:a :b :c821}
; e:gives {
    :a :b :c821.
  }
].

[ e:possibleModel {:a :b :c822}
; e:gives {
    :a :b :c822.
  }
].

[ e:possibleModel {:a :b :c823}
; e:gives {
    :a :b :c823.
  }
].

[ e:possibleModel {:a :b :c824}
; e:gives {
    :a :b :c824.
  }
].

[ e:possibleModel {:a :b :c825}
; e:gives {
    :a :b :c825.
  }
].

[ e:possibleModel {:a :b :c826}
; e:gives {
    :a :b :c826.
  }
].

[ e:possibleModel {:a :b :c827}
; e:gives {
    :a :b :c827.
  }
].

[ e:possibleModel {:a :b :c828}
; e:gives {
    :a :b :c828.
  }
].

[ e:possibleModel {:a :b :c829}
; e:gives {
    :a :b :c829.
  }
].

[ e:possibleModel {:a :b :c830}
; e:gives {
    :a :b :c830.
  }
].

[ e:possibleModel {:a :b :c831}
; e:gives {
    :a :b :c831.
  }
].

[ e:possibleModel {:a :b :c832}
; e:gives {
    :a :b :c832.
  }
].

[ e:possibleModel {:a :b :c833}
; e:gives {
    :a :b :c833.
  }
].

[ e:possibleModel {:a :b :c834}
; e:gives {
    :a :b :c834.
  }
].

[ e:possibleModel {:a :b :c835}
; e:gives {
    :a :b :c835.
  }
].

[ e:possibleModel {:a :b :c836}
; e:gives {
    :a :b :c836.
  }
].

[ e:possibleModel {:a :b :c837}
; e:gives {
    :a :b :c837.
  }
].

[ e:possibleModel {:a :b :c838}
; e:gives {
    :a :b :c838.
  }
].

[ e:possibleModel {:a :b :c839}
; e:gives {
    :a :b :c839.
  }
].

[ e:possibleModel {:a :b :c840}
; e:gives {
    :a :b :c840.
  }
].

[ e:possibleModel {:a :b :c841}
; e:gives {
    :a :b :c841.
  }
].

[ e:possibleModel {:a :b :c842}
; e:gives {
    :a :b :c842.
  }
].

[ e:possibleModel {:a :b :c843}
; e:gives {
    :a :b :c843.
  }
].

[ e:possibleModel {:a :b :c844}
; e:gives {
    :a :b :c844.
  }
].

[ e:possibleModel {:a :b :c845}
; e:gives {
    :a :b :c845.
  }
].

[ e:possibleModel {:a :b :c846}
; e:gives {
    :a :b :c846.
  }
].

[ e:possibleModel {:a :b :c847}
; e:gives {
    :a :b :c847.
  }
].

[ e:possibleModel {:a :b :c848}
; e:gives {
    :a :b :c848.
  }
].

[ e:possibleModel {:a :b :c849}
; e:gives {
    :a :b :c849.
  }
].

[ e:possibleModel {:a :b :c850}
; e:gives {
    :a :b :c850.
  }
].

[ e:possibleModel {:a :b :c851}
; e:gives {
    :a :b :c851.
  }
].

[ e:possibleModel {:a :b :c852}
; e:gives {
    :a :b :c852.
  }
].

[ e:possibleModel {:a :b :c853}
; e:gives {
    :a :b :c853.
  }
].

[ e:possibleModel {:a :b :c854}
; e:gives {
    :a :b :c854.
  }
].

[ e:possibleModel {:a :b :c855}
; e:gives {
    :a :b :c855.
  }
].

[ e:possibleModel {:a :b :c856}
; e:gives {
    :a :b :c856.
  }
].

[ e:possibleModel {:a :b :c857}
; e:gives {
    :a :b :c857.
  }
].

[ e:possibleModel {:a :b :c858}
; e:gives {
    :a :b :c858.
  }
].

[ e:possibleModel {:a :b :c859}
; e:gives {
    :a :b :c859.
  }
].

[ e:possibleModel {:a :b :c860}
; e:gives {
    :a :b :c860.
  }
].

[ e:possibleModel {:a :b :c861}
; e:gives {
    :a :b :c861.
  }
].

[ e:possibleModel {:a :b :c862}
; e:gives {
    :a :b :c862.
  }
].

[ e:possibleModel {:a :b :c863}
; e:gives {
    :a :b :c863.
  }
].

[ e:possibleModel {:a :b :c864}
; e:gives {
    :a :b :c864.
  }
].

[ e:possibleModel {:a :b :c865}
; e:gives {
    :a :b :c865.
  }
].

[ e:possibleModel {:a :b :c866}
; e:gives {
    :a :b :c866.
  }
].

[ e:possibleModel {:a :b :c867}
; e:gives {
    :a :b :c867.
  }
].

[ e:possibleModel {:a :b :c868}
; e:gives {
    :a :b :c868.
  }
].

[ e:possibleModel {:a :b :c869}
; e:gives {
    :a :b :c869.
  }
].

[ e:possibleModel {:a :b :c870}
; e:gives {
    :a :b :c870.
  }
].

[ e:possibleModel {:a :b :c871}
; e:gives {
    :a :b :c871.
  }
].

[ e:possibleModel {:a :b :c872}
; e:gives {
    :a :b :c872.
  }
].

[ e:possibleModel {:a :b :c873}
; e:gives {
    :a :b :c873.
  }
].

[ e:possibleModel {:a :b :c874}
; e:gives {
    :a :b :c874.
  }
].

[ e:possibleModel {:a :b :c875}
; e:gives {
    :a :b :c875.
  }
].

[ e:possibleModel {:a :b :c876}
; e:gives {
    :a :b :c876.
  }
].

[ e:possibleModel {:a :b :c877}
; e:gives {
    :a :b :c877.
  }
].

[ e:possibleModel {:a :b :c878}
; e:gives {
    :a :b :c878.
  }
].

[ e:possibleModel {:a :b :c879}
; e:gives {
    :a :b :c879.
  }
].

[ e:possibleModel {:a :b :c880}
; e:gives {
    :a :b :c880.
  }
].

[ e:possibleModel {:a :b :c881}
; e:gives {
    :a :b :c881.
  }
].

[ e:possibleModel {:a :b :c882}
; e:gives {
    :a :b :c882.
  }
].

[ e:possibleModel {:a :b :c883}
; e:gives {
    :a :b :c883.
  }
].

[ e:possibleModel {:a :b :c884}
; e:gives {
    :a :b :c884.
  }
].

[ e:possibleModel {:a :b :c885}
; e:gives {
    :a :b :c885.
  }
].

[ e:possibleModel {:a :b :c886}
; e:gives {
    :a :b :c886.
  }
].

[ e:possibleModel {:a :b :c887}
; e:gives {
    :a :b :c887.
  }
].

[ e:possibleModel {:a :b :c888}
; e:gives {
    :a :b :c888.
  }
].

[ e:possibleModel {:a :b :c889}
; e:gives {
    :a :b :c889.
  }
].

[ e:possibleModel {:a :b :c890}
; e:gives {
    :a :b :c890.
  }
].

[ e:possibleModel {:a :b :c891}
; e:gives {
    :a :b :c891.
  }
].

[ e:possibleModel {:a :b :c892}
; e:gives {
    :a :b :c892.
  }
].

[ e:possibleModel {:a :b :c893}
; e:gives {
    :a :b :c893.
  }
].

[ e:possibleModel {:a :b :c894}
; e:gives {
    :a :b :c894.
  }
].

[ e:possibleModel {:a :b :c895}
; e:gives {
    :a :b :c895.
  }
].

[ e:possibleModel {:a :b :c896}
; e:gives {
    :a :b :c896.
  }
].

[ e:possibleModel {:a :b :c897}
; e:gives {
    :a :b :c897.
  }
].

[ e:possibleModel {:a :b :c898}
; e:gives {
    :a :b :c898.
  }
].

[ e:possibleModel {:a :b :c899}
; e:gives {
    :a :b :c899.
  }
].

[ e:possibleModel {:a :b :c900}
; e:gives {
    :a :b :c900.
  }
].

[ e:possibleModel {:a :b :c901}
; e:gives {
    :a :b :c901.
  }
].

[ e:possibleModel {:a :b :c902}
; e:gives {
    :a :b :c902.
  }
].

[ e:possibleModel {:a :b :c903}
; e:gives {
    :a :b :c903.
  }
].

[ e:possibleModel {:a :b :c904}
; e:gives {
    :a :b :c904.
  }
].

[ e:possibleModel {:a :b :c905}
; e:gives {
    :a :b :c905.
  }
].

[ e:possibleModel {:a :b :c906}
; e:gives {
    :a :b :c906.
  }
].

[ e:possibleModel {:a :b :c907}
; e:gives {
    :a :b :c907.
  }
].

[ e:possibleModel {:a :b :c908}
; e:gives {
    :a :b :c908.
  }
].

[ e:possibleModel {:a :b :c909}
; e:gives {
    :a :b :c909.
  }
].

[ e:possibleModel {:a :b :c910}
; e:gives {
    :a :b :c910.
  }
].

[ e:possibleModel {:a :b :c911}
; e:gives {
    :a :b :c911.
  }
].

[ e:possibleModel {:a :b :c912}
; e:gives {
    :a :b :c912.
  }
].

[ e:possibleModel {:a :b :c913}
; e:gives {
    :a :b :c913.
  }
].

[ e:possibleModel {:a :b :c914}
; e:gives {
    :a :b :c914.
  }
].

[ e:possibleModel {:a :b :c915}
; e:gives {
    :a :b :c915.
  }
].

[ e:possibleModel {:a :b :c916}
; e:gives {
    :a :b :c916.
  }
].

[ e:possibleModel {:a :b :c917}
; e:gives {
    :a :b :c917.
  }
].

[ e:possibleModel {:a :b :c918}
; e:gives {
    :a :b :c918.
  }
].

[ e:possibleModel {:a :b :c919}
; e:gives {
    :a :b :c919.
  }
].

[ e:possibleModel {:a :b :c920}
; e:gives {
    :a :b :c920.
  }
].

[ e:possibleModel {:a :b :c921}
; e:gives {
    :a :b :c921.
  }
].

[ e:possibleModel {:a :b :c922}
; e:gives {
    :a :b :c922.
  }
].

[ e:possibleModel {:a :b :c923}
; e:gives {
    :a :b :c923.
  }
].

[ e:possibleModel {:a :b :c924}
; e:gives {
    :a :b :c924.
  }
].

[ e:possibleModel {:a :b :c925}
; e:gives {
    :a :b :c925.
  }
].

[ e:possibleModel {:a :b :c926}
; e:gives {
    :a :b :c926.
  }
].

[ e:possibleModel {:a :b :c927}
; e:gives {
    :a :b :c927.
  }
].

[ e:possibleModel {:a :b :c928}
; e:gives {
    :a :b :c928.
  }
].

[ e:possibleModel {:a :b :c929}
; e:gives {
    :a :b :c929.
  }
].

[ e:possibleModel {:a :b :c930}
; e:gives {
    :a :b :c930.
  }
].

[ e:possibleModel {:a :b :c931}
; e:gives {
    :a :b :c931.
  }
].

[ e:possibleModel {:a :b :c932}
; e:gives {
    :a :b :c932.
  }
].

[ e:possibleModel {:a :b :c933}
; e:gives {
    :a :b :c933.
  }
].

[ e:possibleModel {:a :b :c934}
; e:gives {
    :a :b :c934.
  }
].

[ e:possibleModel {:a :b :c935}
; e:gives {
    :a :b :c935.
  }
].

[ e:possibleModel {:a :b :c936}
; e:gives {
    :a :b :c936.
  }
].

[ e:possibleModel {:a :b :c937}
; e:gives {
    :a :b :c937.
  }
].

[ e:possibleModel {:a :b :c938}
; e:gives {
    :a :b :c938.
  }
].

[ e:possibleModel {:a :b :c939}
; e:gives {
    :a :b :c939.
  }
].

[ e:possibleModel {:a :b :c940}
; e:gives {
    :a :b :c940.
  }
].

[ e:possibleModel {:a :b :c941}
; e:gives {
    :a :b :c941.
  }
].

[ e:possibleModel {:a :b :c942}
; e:gives {
    :a :b :c942.
  }
].

[ e:possibleModel {:a :b :c943}
; e:gives {
    :a :b :c943.
  }
].

[ e:possibleModel {:a :b :c944}
; e:gives {
    :a :b :c944.
  }
].

[ e:possibleModel {:a :b :c945}
; e:gives {
    :a :b :c945.
  }
].

[ e:possibleModel {:a :b :c946}
; e:gives {
    :a :b :c946.
  }
].

[ e:possibleModel {:a :b :c947}
; e:gives {
    :a :b :c947.
  }
].

[ e:possibleModel {:a :b :c948}
; e:gives {
    :a :b :c948.
  }
].

[ e:possibleModel {:a :b :c949}
; e:gives {
    :a :b :c949.
  }
].

[ e:possibleModel {:a :b :c950}
; e:gives {
    :a :b :c950.
  }
].

[ e:possibleModel {:a :b :c951}
; e:gives {
    :a :b :c951.
  }
].

[ e:possibleModel {:a :b :c952}
; e:gives {
    :a :b :c952.
  }
].

[ e:possibleModel {:a :b :c953}
; e:gives {
    :a :b :c953.
  }
].

[ e:possibleModel {:a :b :c954}
; e:gives {
    :a :b :c954.
  }
].

[ e:possibleModel {:a :b :c955}
; e:gives {
    :a :b :c955.
  }
].

[ e:possibleModel {:a :b :c956}
; e:gives {
    :a :b :c956.
  }
].

[ e:possibleModel {:a :b :c957}
; e:gives {
    :a :b :c957.
  }
].

[ e:possibleModel {:a :b :c958}
; e:gives {
    :a :b :c958.
  }
].

[ e:possibleModel {:a :b :c959}
; e:gives {
    :a :b :c959.
  }
].

[ e:possibleModel {:a :b :c960}
; e:gives {
    :a :b :c960.
  }
].

[ e:possibleModel {:a :b :c961}
; e:gives {
    :a :b :c961.
  }
].

[ e:possibleModel {:a :b :c962}
; e:gives {
    :a :b :c962.
  }
].

[ e:possibleModel {:a :b :c963}
; e:gives {
    :a :b :c963.
  }
].

[ e:possibleModel {:a :b :c964}
; e:gives {
    :a :b :c964.
  }
].

[ e:possibleModel {:a :b :c965}
; e:gives {
    :a :b :c965.
  }
].

[ e:possibleModel {:a :b :c966}
; e:gives {
    :a :b :c966.
  }
].

[ e:possibleModel {:a :b :c967}
; e:gives {
    :a :b :c967.
  }
].

[ e:possibleModel {:a :b :c968}
; e:gives {
    :a :b :c968.
  }
].

[ e:possibleModel {:a :b :c969}
; e:gives {
    :a :b :c969.
  }
].

[ e:possibleModel {:a :b :c970}
; e:gives {
    :a :b :c970.
  }
].

[ e:possibleModel {:a :b :c971}
; e:gives {
    :a :b :c971.
  }
].

[ e:possibleModel {:a :b :c972}
; e:gives {
    :a :b :c972.
  }
].

[ e:possibleModel {:a :b :c973}
; e:gives {
    :a :b :c973.
  }
].

[ e:possibleModel {:a :b :c974}
; e:gives {
    :a :b :c974.
  }
].

[ e:possibleModel {:a :b :c975}
; e:gives {
    :a :b :c975.
  }
].

[ e:possibleModel {:a :b :c976}
; e:gives {
    :a :b :c976.
  }
].

[ e:possibleModel {:a :b :c977}
; e:gives {
    :a :b :c977.
  }
].

[ e:possibleModel {:a :b :c978}
; e:gives {
    :a :b :c978.
  }
].

[ e:possibleModel {:a :b :c979}
; e:gives {
    :a :b :c979.
  }
].

[ e:possibleModel {:a :b :c980}
; e:gives {
    :a :b :c980.
  }
].

[ e:possibleModel {:a :b :c981}
; e:gives {
    :a :b :c981.
  }
].

[ e:possibleModel {:a :b :c982}
; e:gives {
    :a :b :c982.
  }
].

[ e:possibleModel {:a :b :c983}
; e:gives {
    :a :b :c983.
  }
].

[ e:possibleModel {:a :b :c984}
; e:gives {
    :a :b :c984.
  }
].

[ e:possibleModel {:a :b :c985}
; e:gives {
    :a :b :c985.
  }
].

[ e:possibleModel {:a :b :c986}
; e:gives {
    :a :b :c986.
  }
].

[ e:possibleModel {:a :b :c987}
; e:gives {
    :a :b :c987.
  }
].

[ e:possibleModel {:a :b :c988}
; e:gives {
    :a :b :c988.
  }
].

[ e:possibleModel {:a :b :c989}
; e:gives {
    :a :b :c989.
  }
].

[ e:possibleModel {:a :b :c990}
; e:gives {
    :a :b :c990.
  }
].

[ e:possibleModel {:a :b :c991}
; e:gives {
    :a :b :c991.
  }
].

[ e:possibleModel {:a :b :c992}
; e:gives {
    :a :b :c992.
  }
].

[ e:possibleModel {:a :b :c993}
; e:gives {
    :a :b :c993.
  }
].

[ e:possibleModel {:a :b :c994}
; e:gives {
    :a :b :c994.
  }
].

[ e:possibleModel {:a :b :c995}
; e:gives {
    :a :b :c995.
  }
].

[ e:possibleModel {:a :b :c996}
; e:gives {
    :a :b :c996.
  }
].

[ e:possibleModel {:a :b :c997}
; e:gives {
    :a :b :c997.
  }
].

[ e:possibleModel {:a :b :c998}
; e:gives {
    :a :b :c998.
  }
].

[ e:possibleModel {:a :b :c999}
; e:gives {
    :a :b :c999.
  }
].

[ e:inductivity 1; e:evidentiality 1; e:applicability 1; e:possibleModels 1000; e:counterModels 0; e:falseModels 0; e:allModels 1000].

#ENDS 0.979 [sec] TC=0 TP=0 BC=2000 BP=3001 PM=1000 CM=0 FM=0 AM=1000

