updated files, added Av123.hs, started Knuth-Richards bijection