with c.txt