add tpi script file GoedelGod.tpi