%% File created automatically by `ktv-texdata'.
%% DONOT EDIT THIS FILE MANUALLY.
\setcounter{xxx}{0}
\bxx(xxx)2;
This is hint of two.
\\In the data file, this `bxx' doesnot specify the enrvironment.
\\So this used default environment.
\exx
\setcounter{yyy}{1}
\bxx(yyy)2;
This is HINT of {\it yyyyy}.2
\exx
\setcounter{yyy}{6}
\bxx(yyy)2;
This is hint of two.
\\In the data file, this `bxx' doesnot specify the enrvironment.
\\So this used default environment.
\exx
\setcounter{yyy}{12}
\bxx(yyy)2;
This is HINT of {\it yyyyy}.2
\exx
\endinput
%% END OF FILE %%
