# LaTeX2HTML 2023 (Released January 1, 2023)
# Associate images original text with physical files.


$key = q/+2^{15}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img10.svg"
 ALT="$+2^{15}-1$">|; 

$key = q/+2^{1}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img16.svg"
 ALT="$+2^{1}-1$">|; 

$key = q/+2^{31}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img8.svg"
 ALT="$+2^{31}-1$">|; 

$key = q/+2^{3}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img14.svg"
 ALT="$+2^{3}-1$">|; 

$key = q/+2^{63}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img6.svg"
 ALT="$+2^{63}-1$">|; 

$key = q/+2^{7}-1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img12.svg"
 ALT="$+2^{7}-1$">|; 

$key = q/-2^{15};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img9.svg"
 ALT="$-2^{15}$">|; 

$key = q/-2^{1};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img15.svg"
 ALT="$-2^{1}$">|; 

$key = q/-2^{31};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img7.svg"
 ALT="$-2^{31}$">|; 

$key = q/-2^{3};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img13.svg"
 ALT="$-2^{3}$">|; 

$key = q/-2^{63};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img5.svg"
 ALT="$-2^{63}$">|; 

$key = q/-2^{7};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.31ex; vertical-align: -0.31ex; " SRC="|."$dir".q|img11.svg"
 ALT="$-2^{7}$">|; 

$key = q/^1;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.12ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img1.svg"
 ALT="$^1$">|; 

$key = q/^{1,2};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.12ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img2.svg"
 ALT="$^{1,2}$">|; 

$key = q/^{th};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.20ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img3.svg"
 ALT="$^{th}$">|; 

$key = q/includegraphics[width=5cm]{gildas-logo};AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 22.64ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img4.svg"
 ALT="\includegraphics[width=5cm]{gildas-logo}">|; 

1;

