# LaTeX2HTML 2012 (1.2)
# Associate images original text with physical files.


$key = q/-2^{1};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="32" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img15.png"
 ALT="$-2^{1}$">|; 

$key = q/^{th};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="17" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="|."$dir".q|img3.png"
 ALT="$^{th}$">|; 

$key = q/+2^{63}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="65" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img6.png"
 ALT="$+2^{63}-1$">|; 

$key = q/-2^{15};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="38" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img9.png"
 ALT="$-2^{15}$">|; 

$key = q/-2^{3};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="32" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img13.png"
 ALT="$-2^{3}$">|; 

$key = q/-2^{63};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="38" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img5.png"
 ALT="$-2^{63}$">|; 

$key = q/+2^{1}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img16.png"
 ALT="$+2^{1}-1$">|; 

$key = q/^{1,2};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="21" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="|."$dir".q|img2.png"
 ALT="$^{1,2}$">|; 

$key = q/+2^{7}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img12.png"
 ALT="$+2^{7}-1$">|; 

$key = q/+2^{31}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="65" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img8.png"
 ALT="$+2^{31}-1$">|; 

$key = q/-2^{7};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="32" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img11.png"
 ALT="$-2^{7}$">|; 

$key = q/+2^{3}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="59" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img14.png"
 ALT="$+2^{3}-1$">|; 

$key = q/+2^{15}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="65" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img10.png"
 ALT="$+2^{15}-1$">|; 

$key = q/-2^{31};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="38" HEIGHT="33" ALIGN="MIDDLE" BORDER="0"
 SRC="|."$dir".q|img7.png"
 ALT="$-2^{31}$">|; 

$key = q/^1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 WIDTH="11" HEIGHT="18" ALIGN="BOTTOM" BORDER="0"
 SRC="|."$dir".q|img1.png"
 ALT="$^1$">|; 

1;

