H2.var.types.xml
H2.var.xml
H3.var.types.xml
H3.var.xml
surjectivity_helps/
with_mult_plus_less/