TLE in KPRIME