add 0258/a.hs
add 0136/a.hs
add 0266/b.hs
add 0144/a.hs