Вам просто нужно найти в папке установки ТСЛаба ярлык для запуска 64 битной версии,в названии должно присутствовать...64 бит.