algebraic_types_poly_Z3,4.6.0_SP.oracle 82 Bytes