python wildcard matching,"""""""1**0*"""""".replace('*', '[01]')"