0hmx - is top solver and z0 not equal? in https... - tscircuit