100644 blob 88286517e4f13bd727360761d1774f1da0dab366	Binding.java
100644 blob 14b9a1715050d1e03b754cf5f9b01a0cba3f2369	BindingFactory.java
100644 blob a58e0561c44933374e10d7035a2809f09613a89e	ResolverTree.java
100644 blob 2c2b4f13d352b7535401d577e13de959a0f6e1aa	SolutionHolder.java