zion_pattern_solver
