100644 blob f586a67b9c1f31b28ea866c78010cbf4052ea7e4	Cond2.pl
100644 blob 769d01b9ab47ae7e86482293e6f878e9b0619656	Cond3.pl
100644 blob 18d30eaf0d8f7785afedca5e2de8c6c906ede8f9	Condition-t.pl
100644 blob 21021b555c441d51d10d5da3e3c5037114996fe8	Condition.pl
100644 blob e5f204db6f768fc2645aa1af105db893eaefc06d	DisjCon2.pl
100644 blob cc1f467fd80932e0b17a343716e33fa63a92c172	DisjCon3.pl
100644 blob 33c6c2d7569fa73d157586239f6a7286fe863948	DisjConditions-t.pl
100644 blob f4075b0bea000b792ca6bfbfadda50ef43cfa977	DisjConditions.pl
100644 blob 3177c0361c8a2062e898a4e2761b24dd2525a073	Version.pl
100644 blob d6d0111dd1a2c8027b36782b430cf9a7a8a201ad	Version2.pl
100644 blob f1583c081df21f541fb359b52e937074dcc85490	Version3.pl
100644 blob 995569a4fe5ab47ea097c6d9c05b314c93c010ce	Wrap.pl