Create karel.sql