Zsgn_mult.con.body.xml
Zsgn_mult.con.types.xml
Zsgn_neg.con.body.xml
Zsgn_neg.con.types.xml
Zsgn_nul.con.body.xml
Zsgn_nul.con.types.xml
Zsgn_pos.con.body.xml
Zsgn_pos.con.types.xml
Zsgn_trivial.con.body.xml
Zsgn_trivial.con.types.xml