add AIs and update haskell solution to CF273A