# HG changeset patch # User wenzelm # Date 863454413 -7200 # Node ID 0b3ff84bab29fe94ddcaa720558c9c9cb7c0625d # Parent c13e54126fcd7dc0506f0af5c0e138f1da3d4b03 The Isabelle System Manual; diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/Makefile --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/System/Makefile Mon May 12 18:26:53 1997 +0200 @@ -0,0 +1,31 @@ +# $Id$ +######################################################################### +# # +# Makefile for the report "The Isabelle System Manual" # +# # +######################################################################### + + +FILES = system.tex \ + ../iman.sty ../extra.sty + +system.dvi.gz: $(FILES) + -rm system.dvi* + latex system + rail system + bibtex system + latex system + latex system + ../sedindex system + latex system + gzip -f system.dvi + +dist: $(FILES) + -rm system.dvi* + latex system + latex system + ../sedindex system + latex system + +clean: + @rm *.aux *.log *.toc *.idx diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/browse.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/System/browse.tex Mon May 12 18:26:53 1997 +0200 @@ -0,0 +1,99 @@ +\chapter{Browsing theory graphs} \label{browse} +\index{browser|bold} + +The graph browser {\tt browse} is a tool for visualizing +dependency graphs of Isabelle theories. Certain nodes of +the graph (i.e.~theories) can be grouped together in "directories", +whose contents may be hidden, thus enabling the user to filter out +irrelevant information. Because it is written in Java, the browser +can be used both as a stand-alone application and as an applet. + +\section{Invoking the graph browser} +The browser can be invoked by the command +\begin{ttbox} +isatool browse [Filename] +\end{ttbox} + +\section{Generating graph definition files} +Before browsing a theory dependency graph, a graph definition file +has to be generated. This works quite similar to the generation +of HTML files: $\ldots$ \\ +A graph definition file has the following syntax: +\begin{eqnarray*} +\mbox{\it graph} & = & \{ \: \mbox{\it vertex \tt ;} \: \} ^ + \\ +vertex & = & \mbox{\it vertexname} \: \mbox{\it dirname} \: [ \mbox{\tt +} ] +\: \mbox{\it path} \: [ \mbox{\tt <} | \mbox{\tt >} ] \: \{ \: \mbox{\it vertexname} \: \} ^ * +\end{eqnarray*} +The meaning of the items in a vertex description is as follows: +\begin{description} +\item[vertexname] The name of the vertex. +\item[dirname] The name of the "directory" the vertex should be placed in. +A "{\tt +}" sign after {\it dirname} indicates that the nodes in the directory +are initially visible. Directories are initially invisible by default. +\item[path] The path of the corresponding theory file. This is specified +relatively to the path of the graph definition file. +\item[List of successor/predecessor nodes] A "{\tt <}" sign before the list +means that successor nodes are listed, a "{\tt >}" sign means that predecessor +nodes are listed. If neither "{\tt <}" nor "{\tt >}" is found, the browser +assumes that successor nodes are listed. +\end{description} +All names should be put in quotation marks. + +\section{Using the graph browser} +The browser's main window, which is shown in figure \ref{browserwindow}, +consists of two subwindows: In the left subwindow, the directory tree +is displayed. The graph itself is displayed in the right subwindow. +\begin{figure}[h] +\setlength{\epsfxsize}{\textwidth} +\epsffile{browser_screenshot.eps} +\caption{\label{browserwindow} Browser main window} +\end{figure} + +\subsection*{The directory tree window} +This section describes the usage of the directory browser and the +meaning of the different items in the browser window. +\begin{itemize} +\item A red arrow before a directory name indicates that the directory is +currently "folded", i.e.~the nodes in this directory +are collapsed to one single node. In the right subwindow, the names of +nodes corresponding to folded directories are enclosed in square brackets +and displayed in red colour. +\item A green downward arrow before a directory name indicates that the +directory is currently "unfolded". It can be folded by clicking on the +directory name. +Clicking on the name for a second time unfolds the directory again. +Alternatively, a directory can also be unfolded by clicking on the +corresponding node in the right subwindow. +\item Blue arrows stand before ordinary node (i.e.~theory) names. When +clicking on such a name, the graph display window focuses to the +corresponding node. Double clicking invokes a text viewer window in +which the contents of the theory file are displayed. +\end{itemize} + +\subsection*{The graph display window} +When pointing on an ordinary node, an upward and a downward arrow is shown. +Initially, both of these arrows are coloured green. Clicking on the +upward or downward arrow collapses all predecessor or successor nodes, +respectively. The arrow's colour then changes to red, indicating that +the predecessor or successor nodes are currently collapsed. The node +corresponding to the collapsed nodes has the name "{\tt [....]}". To +uncollapse the nodes again, simply click on the red arrow or on the node +with the name "{\tt [....]}". Similar to the directory browser, the contents +of theory files can be displayed by double clicking on the corresponding +node. + +\subsection*{The "File" menu} +Please note that, due to security restrictions, this menu is not available +in the applet version. The meaning of the menu items is as follows: +\begin{description} +\item[Open$\ldots$] Open a new graph file. +\item[Export to PostScript] Outputs the current graph in {\sc PostScript} +format, appropriately scaled to fit on one single sheet of paper. +The resulting file can be sent directly to a {\sc PostScript} capable printer. +\item[Export to EPS] Outputs the current graph in Encapsulated {\sc PostScript} +format. The resulting file can be included in other documents (e.g.~by using +the \LaTeX \ package "epsf"). +\item[Quit] Quit the graph browser. +\end{description} + +\section{The applet version of the graph browser} diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/browser_screenshot.eps --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/System/browser_screenshot.eps Mon May 12 18:26:53 1997 +0200 @@ -0,0 +1,1538 @@ +%!PS-Adobe-2.0 EPSF-2.0 +%%Title: /home/stefan/java/isa/doc/screenshot4.ps +%%Creator: XV Version 3.10a Rev: 12/29/94 - by John Bradley +%%BoundingBox: -51 173 649 669 +%%Pages: 1 +%%DocumentFonts: +%%EndComments +%%EndProlog + +%%Page: 1 1 + +% remember original state +/origstate save def + +% build a temporary dictionary +20 dict begin + +% define string to hold a scanline's worth of data +/pix 88 string def + +% define space for color conversions +/grays 700 string def % space for gray scale line +/npixls 0 def +/rgbindx 0 def + +% lower left corner +-51 173 translate + +% size of image (on paper, in 1/72inch coords) +699.98400 496.00800 scale + +% dimensions of data +700 496 1 + +% mapping matrix +[700 0 0 -496 0 496] + +{currentfile pix readhexstring pop} +image +fffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffdffffe0 +fbdef6f7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef +7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7bdef7b +def7bdef7bdef7bdef7bdef7bdef7bc0 +ca528694a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a529 +4a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a5294a +5294a5294a5294a5294a5294a1294a40 +dad5b6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b +5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5a +d6b5ad6b5ad6b5ad6b5ad6b55d6b5540 +e00000000000000000000000000000000000000000000000000000000000000000000000 +000000000000000000000000000000000000000000000000000000000000000000000000 +00000000000000000000000000000140 +d7fff7fff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffdfffdfffd40 +d6aaa5555555555555555555555555555555555555555555555555555555555555555555 +555555555555555555555555555555555555555555555555555555555555555555555555 +55555555555555555555555555555540 +e55555555555555555555555555555555555555555555555555555555555555555555555 +55540aaaaaa8a80555555555555555555555555555555555555555555555555555555555 +555555555555555555555555555555c0 +d555555ca755555555555555555555555555555555555555555555555555555555555555 +555445555554aa22aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaa9dfe9aaa980 +d6b556b554aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaa8a2aaaaa8544555555555555555555555555555555555555555555555555555555555 +55555555555555555555552d2556b540 +e5aaa554d755555555555555555555555555555555555555555555555555555555555555 +5554540a04040a240a04a20a040aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaab5d955ab2940 +d6ff95fba4db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db +6db4a822a420220824a0a4a4a426db6db6db6db6db6db6db6db6db6db6db6db6db6db6db +6db6db6db6db6db6db6da95695565540 +e6cab6d516aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaa8546a0064c444a8a44408a0a955555555555555555555555555555555555555555555 +5555555555555555555555aea9b695c0 +d2b526aa9555555555555555555555555555555555555555555555555555555555555555 +5554c454a4c02220a8a0a5080456aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaa9aa95aaa980 +d580150426aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaa820a84024a44454440544a8d555555555555555555555555555555555555555555555 +5555555555555555555554ab295d5540 +d55766bdd555555555555555555555555555555555555555555555555555555555555555 +5554c45444444220a8a000a0442aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaab5ab35554940 +d6b5555056b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6 +b6b408aa0008a4046a06440a08d5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5 +b5b5b5b5b5b5b5b5b5b5555555b01540 +e6aaa6b1a555555555555555555555555555555555555555555555555555555555555555 +55aaab5aacaaaaad555956aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaad56a9daa9ab55c0 +d55555ad56aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaa855555555555555555555555555555555555555555555555555555555555555 +55555555555555555555552b55aaa980 +d40004000400000000000000000000000000000000000000000000000000000000000000 +000000000000000000000000000000000000000000000000000000000000000000000000 +00000000000000000000010001000140 +000080000080808080808080808080808080808080808080808080808080808080808081 +000200804104404108082000410804040404040404040404040404040404040404040404 +04040404040404080000404040108000 +f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffe0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffb40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff940 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff940 +d7ffc1fe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +e7ffdfdf7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +d7ffdfff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +d7ffdf9f78ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff940 +d7ffc3df777fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +d7ffdfdf707fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +e7ffdfdf77ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +d7ffdfdf777fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff940 +d7ffdf8e38ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff940 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffd40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff940 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffffdc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffff980 +e72492492492492492492492492492492492492492492492492492492492492492492492 +492492492492492492492492492492492492492492492492492492492492492492492492 +49249249249249249249249249249540 +d44924924924924924924924924924924924924924924924924924924924924924924924 +924924924924924924924924924924924924924924924924924924924924924924924924 +92492492492492492492492492492540 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffc0 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffff80 +d7db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6d +b6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6db6d +b6db6db6db6db6db6db6db6db6db6d40 +e6ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffff40 +d7bfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffffc0 +e7f7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7f6dbbfdfeff7fb +fdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fb +fdfeff7fbfdfeff7fbfdfeff7fbfb680 +d5fdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fdffefffeff7fbfdfe +ff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfe +ff7fbfdfeff7fbfdfeff7fbfefff7f40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdbbfffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffff7fc0 +d77fffffffffffffffffffffffffffffffffffffffffffffffffffffffaff7ffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffcdb40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffaeffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffffd7f40 +d5fffffffffffffffffffffffffffffffffffffffffffffffffffffffeafdfffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffff57f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffffffff5bf7ffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffff57740 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffe00006aeffffffffffff +fffffffffffffffffffffffffffffffdffffffffffffffffeffffefffff7ffffffffffff +fffffffffdfffc7fffffff00003adf40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffeaaaaeafbfffffffffff +fffffffffffffffffffffffffffffffdffffffffffffffffefffff3ffff7ffffffffffff +fffffffffdffc3ffffffffaaaaf57f40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff7fffeaff7ffffffffff +fffffffffffffffffffffffffffffffbffffffffffffffffdfffffdffffbffffffffffff +fffffffffefc3fffffffff3ffff57740 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe6b2bf5bffffffffffff +fffffffffffffffffffffffffffffffbffffffffffffffffdfffffeffffdffffffffffff +ffffffffff63ffffffffffb5aaf57fc0 +d6fffffffffffffffffffffffffffffffffffffffffffffffffff5fbfeaf6fffffffffff +fffffffffffffffffffffffffffffffbffffffffffffffffbffffff3fffdffffffffffff +fffffffffe1fffffffffff2f9ff57b00 +67bffffffffffffffffffffffe3fffffffffffffffffffffffffe772beaffbffffffffff +fffffffffffffffffffffffffffffffbffffffffffffffffbffffffdfffeffffffffffff +fffffffff1bfffffffffffbbd5fadfc0 +d7fffffffffffffffffffffffe0ffffff8fffffffffffffffffff5fdffadffffffffffff +fffffffffffffffffffffffffffffff7ffffffffffffffffbffffffe7fff7fffffffffff +ffffffff0fdfffffffffff2fcff57f40 +e5fffffffffffffffffffffffe03ffffe73fffffffffffffffffe7795f2fdfffffffffff +fffffffffffffffffffffffffffffff7ffffffffffffffff7fffffffbfff7fffffffffff +fffffff0ffdfffffffffffbbd5f57b40 +d77ffffffffffffffffffffffe00ffffefbffffffffffffffffff5fcff6ff7ffffffffff +fffffffffffffffffffffffffffffff7ffffffffffffffff7fffffffcfffbfffffffffff +ffffff8fffefffffffffff2fe7fadf40 +e7fffffffffffffffffffffffe003fffeff86728ffffffffffffe7debe9b7fffffffffff +fffffffffffffffffffffffffffffff7fffffffffffffffefffffffff7ffdfffffffffff +fffff87ffff7ffffffffffbfeaf57f40 +d7fffffffffffffffffffffffe000ffff3f337667ffffffffffff5fe7eafffffffffffff +fffffffffffffffffffffffffffffff7fffffffffffffffefffffffff9ffdfffffffffff +ffff87fffff7ffffffffff2ef3f57740 +e5bffffffffffffffffffffffe0003fffcf7baef7fffffffffffe7f75eafdbffffffffff +ffffffffffffffffffffffffffffffeffffffffffffffffdfffffffffeffefffffffffff +fffc7ffffffbffffffffffbffbf57fc0 +d7fffffffffffffffffffffffe0000ffff303def7ffffffffffff7fdbfaeffffffffffff +ffffffffffffffffffffffffffffffeffffffffffffffffdffffffffff3ff7ffffffffff +ffc3fffffffdffffffffff3fb9fd6f00 +e7fffffffffffffffffffffffe0001ffffb7fdef7fffffffffffebbf3eafffffffffffff +ffffffffffffffffffffffffffffffeffffffffffffffffdffffffffffdff7ffffffffff +fc3ffffffffdffffffffff5dfdf97dc0 +d77ffffffffffffffffffffffe0007ffefb7faef7fffffffffffe6405eabb7ffffffffff +ffffffffffffffffffffffffffffffeffffffffffffffffbffffffffffe7fbffffffffff +e3fffffffffeffffffffffb200fb7f40 +e5fffffffffffffffffffffffe001fffe73337667fffffffffffed2a9f5fffffffffffff +ffffffffffffffffffffffffffffffeffffffffffffffffbfffffffffffbfbfffffffffe +1ffffffffffeffffffffff34aaf56f40 +d7fffffffffffffffffffffffe007ffff8f86728ffffffffffffe7dffeaeefffffffffff +ffffffffffffffffffffffffffffffdffffffffffffffff7fffffffffffcfdffffffffe1 +ffffffffffff7fffffffffafdff57f40 +e7bffffffffffffffffffffffe01ffffffffffeffffffffffffff57abeaffbffffffffff +ffffffffffffffffffffffffffffffdffffffffffffffff7ffffffffffff7effffffff1f +ffffffffffffbfffffffff3575f57740 +d5fffffffffffffffffffffffe07ffffffffffefffffffffffffe7d7feaf7fffffffffff +ffffffffffffffffffffffffffffffdfffffffffffffffefffffffffffff9efffffff0ff +ffffffffffffbfffffffffbfeff57fc0 +d7fffffffffffffffffffffffe1fffffffffffefffffffffffffeabebfabdfffffffffff +ffffffffffffffffffffffffffffffdfffffffffffffffefffffffffffffef7fffff8fff +ffffffffffffdfffffffff555afd7b00 +e77ffffffffffffffffffffffe7ffffffffffffffffffffffffff7f5fe5fffffffffffff +ffffffffffffffffffffffffffffffdfffffffffffffffdffffffffffffff3bffff87fff +ffffffffffffefffffffff3ff7f2dfc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffeaaf5faff7ffffffffff +ffffffffffffffffffffffffffffffbfffffffffffffffdffffffffffffffdbfff87ffff +ffffffffffffefffffffff555dfd7f40 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7fafe2dbfffffffffff +ffffffffffffffffffffffffffffffbfffffffffffffffdffffffffffffffe5ffc7fffff +fffffffffffff7ffffffffbff7f97b40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff557bfafffffffffffff +ffffffffffffffffffffffffffffffbfffffffffffffffbfffffffffffffffafc3ffffff +fffffffffffffbffffffff2aaefadf40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7fd7eaef7ffffffffff +ffffffffffffffffffffffffffffffbfffffffffffffffbfffffffffffffffcc3fffffff +fffffffffffffbffffffffbffdf57f40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff557deafbfffffffffff +ffffffffffffffffffffffffffffff7fffffffffffffff3fffffff800000000000000000 +7fffe000000000000000002aabf57740 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7fd7eafefffffffffff +ffffffffffffffffffffffffffffff7fffffffffffffff7fffffffbfffffffffffffffff +7fffefffffffffffffffffb7fdf57fc0 +d3fffffffffffffffffffffffe3ffffffffffffffffffffffffff557ffadffffffffffff +ffffffffffffffffffffffffffffff7ffffffffffffffeffffffffbfffffffffffffffff +7fffefffffffffffffffff3d57fadf00 +d6fffffffffffffffffffffffe0ffffffc7fffdfffffffffffffe6fd5eaf7bffffffffff +ffffffffffffffffffffffffffffff7ffffffffffffffeffffffffbfffffffffffffffff +7fffefffffffffffffffffabfef57dc0 +d7fffffffffffffffffffffffe03fffff39ffddffffffffffffff7abfeafdfffffffffff +ffffffffffffffffffffffffffffff7ffffffffffffffeffffffffbff7ffdfffedffffff +7fffeffffffddd81ffffff3eabf56f40 +e7bffffffffffffffffffffffe00fffff7dffdffffffffffffffe57ebeafffffffffffff +fffffffffffffffffffffffffffffefffffffffffffffdffffffffbff7ffdfffefffffff +7fffeffffffdddbfffffff55fdf57f40 +d7fffffffffffffffffffffffe003fffefed185c3a3ffffffffff7d5feadffffffffffff +fffffffffffffffffffffffffffffefffffffffffffffdffffffffbff69e5bb8c5bb8fff +7fffeffffffdddbfffffff3f57fd7f40 +e6fffffffffffffffffffffffe000fffefeccdd9999fffffffffe57fbfafb7ffffffffff +fffffffffffffffffffffffffffffefffffffffffffffbffffffffbff66d9bb76dbb77ff +7fffeffffffedbbfffffffaafdf97740 +d7fffffffffffffffffffffffe0003ffefededdbdbdffffffffff7d57eafffffffffffff +fffffffffffffffffffffffffffffcfffffffffffffffbffffffffbff6eddbb7edbb77ff +7fffeffffffeab83ffffff3fabf6dfc0 +e5fffffffffffffffffffffffe0000ffefededdbdbdfffffffffe6bfdeaeefffffffffff +fffffffffffffffffffffffffffffdfffffffffffffff7ffffffffbff6eddbb7edd707ff +7fffeffffffeabbfffffffb57ef97b00 +d77ffffffffffffffffffffffe0001ffefededdbdbdffffffffff5f57eafffffffffffff +fffffffffffffffffffffffffffffdfffffffffffffff7ffffffffbff6eddbb7edd77fff +7fffefffffff77bfffffff2febf57fc0 +e7fffffffffffffffffffffffe0007fff7ddeddbdbdfffffffffe7afff5bbbffffffffff +fffffffffffffffffffffffffffffdffffffffffffffefffffffffbff6ed9b376def77ff +7fffefffffff77bfffffffbd5dfadf40 +d7fffffffffffffffffffffffe001ffff39ccdd99bdffffffffff5755eafffffffffffff +fffffffffffffffffffffffffffffdffffffffffffffefffffffffbff6ee5cb8e5ef8fff +7fffefffffff77bfffffff2bf7f57b40 +e77ffffffffffffffffffffffe807ffffc7d1e5c3bdfffffffffe7dffeaddfffffffffff +fffffffffffffffffffffffffffffbffffffffffffffefffffffffbfffffffffffffffff +7fffefffffffffffffffffbd5ef57f40 +d5fffffffffffffffffffffffe01fffffffdfffffffffffffffff56abeaff7ffffffffff +fffffffffffffffffffffffffffffbffffffffffffffdfffffffffbfffffffffffffffff +7fffefffffffffffffffff37ebfd6f40 +67fffffffffffffffffffffffe07fffffffdffffffffffffffffe7ffffaeffffffffffff +fffffffffffffffffffffffffffffbffffffffffffffdfffffffffbfffffffffffffffff +7fffefffffffffffffffffaebdf57f40 +d77ffffffffffffffffffffffe1ffffffffdffffffffffffffffeaaabeafbfffffffffff +fffffffffffffffffffffffffffffbffffffffffffffbfffffffffbfffffffffffffffff +7fffefffffffffffffffff35f7f57bc0 +e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe77f7eaff7ffffffffff +fffffffffffffffffffffffffffff7ffffffffffffffbfffffffffbfffffffffffffffff +7fffefffffffffffffffffbfaef57f00 +d5fffffffffffffffffffffffffffffffffffffffffffffffffff5d5df5bffffffffffff +fffffffffffffffffffffffffffff7ffffffffffffff7fffffffff800000000000000000 +7fffe00000000000000000557bf56fc0 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7bf7eaedfffffffffff +fffffffffffffffffffffffffffff7ffffffffffffff7fffffffffffffffffffffffffff +fffffffffffffbffffffff3fadfd7b40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff56afeaff7ffffffffff +ffffffffffffffffffffffffffffe7fffffffffffffeffffffffffffffffffffffffffff +fffffffffffffbffffffffaaf7f57f40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7dfdeafffffffffffff +ffffffffffffffffffffffffffffeffffffffffffffeffffffffffffffffffffffffffff +fffffffffffff7ffffffff3fddf57f40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff5757fadbfffffffffff +ffffffffffffffffffffffffffffeffffffffffffffeffffffffffffffffffffffffffff +ffffffffffffefffffffffaabbf57740 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7efbeaff7ffffffffff +ffffffffffffffffffffffffffffeffffffffffffffdffffffffffffffffffffffffffff +ffffffffffffefffffffff37eef57fc0 +d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff6bafeafffffffffffff +ffffffffffffffffffffffffffffeffffffffffffffdffffffffffffffffffffffffffff +ffffffffffffdfffffffffbabbfd6f00 +e77ffffffffffffffffffffffe0fffffefefffffffffffffffffe5f7beaedfffffffffff +ffffffffffffffffffffffffffffdffffffffffffffbffffffffffffffffffffffffffff +ffffffffffffbfffffffff2ff7f97dc0 +d7fffffffffffffffffffffffe03ffffefeffdfffffffffffffff6ad7faff7ffffffffff +ffffffffffffffffffffffffffffdffffffffffffffbffffffffffffffffffffffffffff +ffffffffffff7fffffffffbaaefb7f40 +e5fffffffffffffffffffffffe00ffffeffffdffffffffffffffe7ffdf2dffffffffffff +ffffffffffffffffffffffffffffdffffffffffffff7ffffffffffffffffffffffffffff +ffffffffffff7fffffffff2f7df27740 +d77ffffffffffffffffffffffe003fffefee187ffffffffffffff5557e6fbfffffffffff +ffffffffffffffffffffffffffffbffffffffffffff7ffffffffffffffffffffffffffff +fffffffffffeffffffffffbdabf6ff40 +e7fffffffffffffffffffffffe000fffefededffffffffffffffe7ffbfaff7ffffffffff +ffffffffffffffffffffffffffffbfffffffffffffefffffffffffffffffffffffffffff +fffffffffffdffffffffff2bfff95f40 +d7fffffffffffffffffffffffe0003ffefedfdffffffffffffffeaaaff2effffffffffff +ffffffffffffffffffffffffffffbfffffffffffffefffffffffffffffffffffffffffff +fffffffffffdffffffffffbeaaf57bc0 +e77ffffffffffffffffffffffe0000ffefee1dffffffffffffffe7dfdeafefffffffffff +ffffffffffffffffffffffffffffbfffffffffffffefffffffffffffffffffffffffffff +fffffffffffbffffffffff55fffd7f00 +d5fffffffffffffffffffffffe0001ffefefcdfffffffffffffff5757eab7fffffffffff +ffffffffffffffffffffffffffff7fffffffffffffdfffffffffffffffffffffffffffff +fffffffffff7ffffffffff3f55f56fc0 +67fffffffffffffffffffffffe0007ffefefedffffffffffffffe7efbf5ffbffffffffff +ffffffffffffffffffffffffffff7fffffffffffffdfffffffffffffffffffffffffffff +fffffffffff7ffffffffff55bffafb40 +d77ffffffffffffffffffffffe001fffefededfffffffffffffff55afeafdfffffffffff +ffffffffffffffffffffffffffff7fffffffffffffbfffffffffffffffffffffffffffff +ffffffffffefffffffffff3feaf57f40 +e7fffffffffffffffffffffffe807fffe06e1e7fffffffffffffe7f7deaeffffffffffff +ffffffffffffffffffffffffffff7fffffffffffffbfffffffffffffffffffffffffffff +ffffffffffdfffffffffff555ff55f40 +d5fffffffffffffffffffffffe21fffffffffffffffffffffffff55d7faff7ffffffffff +fffffffffffffffffffffffffffeffffffffffffff7fffffffffffffffffffffffffffff +ffffffffffdfffffffffffbff5faf740 +e77ffffffffffffffffffffffe07ffffffffffffffffffffffffe7fbbf2bbfffffffffff +fffffffffffffffffffffffffffeffffffffffffff7fffffffffffffffffffffffffffff +ffffffffffbfffffffffff2aaff57fc0 +d7fffffffffffffffffffffffe1ffffffffffffffffffffffffff556ff5fffffffffffff +fffffffffffffffffffffffffffefffffffffffffeffffffffffffffffffffffffffffff +ffffffffff7fffffffffffbffaf57f00 +e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe7ff5eaef7ffffffffff +fffffffffffffffffffffffffffefffffffffffffeffffffffffffffffffffffffffffff +fffffffffeffffffffffff2aaff56dc0 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff555feafbfffffffffff +fffffffffffffffffffffffffffdfffffffffffffdffffffffffffffffffffffffffffff +fffffffffeffffffffffffb7f5fd7f40 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ffbeafefffffffffff +fffffffffffffffffffffffffffdfffffffffffffdffffffffffffffffffffffffffffff +fffffffffdffffffffffff3d5ff97f40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff5557eadffffffffffff +fffffffffffffffffffffffffffdfffffffffffffbffffffffffffffffffffffffffffff +fffffffffbffffffffffffabfaf37740 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7efdfaffbffffffffff +fffffffffffffffffffffffffffdfffffffffffffbffffffffffffffffffffffffffffff +fffffffffbffffffffffff3f57fa7f40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffeab57f2fbfffffffffff +fffffffffffffffffffffffffffbfffffffffffff7ffffffffffffffffffffffffffffff +fffffffff7ffffffffffffaafdfaefc0 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ffbf6defffffffffff +fffffffffffffffffffffffffffbfffffffffffff7ffffffffffffffffffffffffffffff +ffffffffefffffffffffff3f57f57b00 +d77ffffffffffffffff1ffffffffffffffffffffffffffffffffeaaafeafffffffffffff +fffffffffffffffffffffffffffbfffffffffffff7ffffffffffffffffffffffffffffff +ffffffffefffffffffffff55fef57fc0 +e7fffffffffffffffff27fffffbbfec0fffffffffffffffffffff7ffdeaf7fffffffffff +fffffffffffffffffffffffffff7ffffffffffffefffffffffffffffffffffffffffffff +ffffffffdfffffffffffffbeabf55f40 +d7fffffffffffffffff89fffffbbfede7fffffffffffffffffffe5557f5bf7ffffffffff +fffffffffffffffffffffffffff7ffffffffffffefffffffffffffffffffffffffffffff +ffffffffbfffffffffffff2bfdfafb40 +e77ffffffffffffffff227ffffb9fcdf7ffffffffffffffffffff7bfbeafdfffffffffff +fffffffffffffffffffffffffff7ffffffffffffdfffffffffffffffffffffffffffffff +ffffffffbfffffffffffffbf57f57f40 +d5fffffffffffffffff009ffffbafadf7fffffffffffffffffffe2eafeaeffffffffffff +fffffffffffffffffffffffffff7ffffffffffffdfffffffffffffffffffffffffffffff +ffffffff7fffffffffffff55bdf56f40 +67fffffffffffffffff5427fffbafade7ffffffffffffffffffff7dddeaff7ffffffffff +ffffffffffffffffffffffffffefffffffffffffbfffffffffffffffffffffffffffffff +fffffffeffffffffffffff3eebfd7f40 +d77ffffffffffffffff0109fffbb76c0ffffffffffffffffffffe6b77f5bbfffffffffff +ffffffffffffffffffffffffffefffffffffffffbfffffffffffffffffffffffffffffff +fffffffeffffffffffffffabbef97bc0 +e7fffffffffffffffff54427ffbb76dffffffffffffffffffffff5fdbeafffffffffffff +ffffffffffffffffffffffffffefffffffffffff7fffffffffffffffffffffffffffffff +fffffffdffffffffffffff3eebf37f00 +d5fffffffffffffffff0108fffbbaedfffffffffffffffffffffe756feaef7ffffffffff +ffffffffffffffffffffffffffefffffffffffff7fffffffffffffffffffffffffffffff +fffffffbffffffffffffffabbdfa6fc0 +e77ffffffffffffffffa423fffbbaedffffffffffffffffffffff6ffbeafbfffffffffff +ffffffffffffffffffffffffffdffffffffffffeffffffffffffffffffffffffffffffff +fffffff7ffffffffffffff3f77fafb40 +d7fffffffffffffffff114ffffbbdedfffffffffffffffffffffe5d57fafefffffffffff +ffffffffffffffffffffffffffdffffffffffffeffffffffffffffffffffffffffffffff +fffffff7ffffffffffffffaaeef57f40 +e7fffffffffffffffff843ffffbbdedffffffffffffffffffffff7bfdf2dffffffffffff +ffffffffffffffffffffffffffdffffffffffffdffffffffffffffffffffffffffffffff +ffffffefffffffffffffff37dbf55f40 +d77ffffffffffffffff11fffffffffffffffffffffffffffffffead57e6f7bffffffffff +ffffffffffffffffffffffffffdffffffffffffdffffffffffffffffffffffffffffffff +ffffffdfffffffffffffffbabdfaf740 +e5fffffffffffffffff43fffffffffffffffffffffffffffffffe77fffafdfffffffffff +ffffffffffffffffffffffffffbffffffffffffbffffffffffffffffffffffffffffffff +ffffffdfffffffffffffff2fd7f57fc0 +d7fffffffffffffffff1fffffffffffffffffffffffffffffffff5d55f2fffffffffffff +ffffffffffffffffffffffffffbffffffffffffbfffffffffffffffffffffffffffffc00 +0000000000000003ffffffbd7df57f00 +e77ffffffffffffffffbffffffffffffffffffffffffffffffffe7bffeadefffffffffff +ffffffffffffffffffffffffffbffffffffffffbfffffffffffffffffffffffffffffdff +fffffffffffffffbffffff2bebfd6dc0 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff56abeafffffffffffff +ffffffffffffffffffffffffff7ffffffffffff7fffffffffffffffffffffffffffffdff +fffffffffffffffbffffffbd5ef97f40 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ddffaf77ffffffffff +ffffffffffffffffffffffffff7ffffffffffff7fffffffffffffffffffffffffffffdff +fffffffffffffffbffffff37fbf37f40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff5775e5bffffffffffff +ffffffffffffffffffffffffff7fffffffffffeffffffffffffffffffffffffffffffdff +ff7dff60fff3fffbffffffaeadf67740 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7eeffafdfffffffffff +ffffffffffffffffffffffffff7fffffffffffeffffffffffffffffffffffffffffffdff +ff3dff6f7feffffbffffff35f7f57f40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffeabbbf2ef7ffffffffff +fffffffffffffffffffffffffeffffffffffffdffffffffffffffffffffffffffffffdff +ff5dc62fb8c7fffbffffffbf5df56fc0 +e77ffffffffffffffffffffffffffffffffffffffffffffffffff7f77e6fffffffffffff +fffffffffffffffffffffffffeffffffffffffdffffffffffffffffffffffffffffffdff +ff5dbb6fb76ffffbffffff2afbfd7b00 +d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe2aedf9bbfffffffffff +fffffffffffffffffffffffffeffffffffffffbffffffffffffffffffffffffffffffdff +ff6dfb6fb76ffffbffffffbfaef57fc0 +67fffffffffffffffffa7fffff7effffffffffffffffffffffffef7dfeaff7ffffffffff +fffffffffffffffffffffffffeffffffffffffbffffffffffffffffffffffffffffffdff +ff75c36fb06ffffbffffff557bfadf40 +d77ffffffffffffffff09fffff7efffffffffffffffffffffffff5abbeaeffffffffffff +fffffffffffffffffffffffffdffffffffffff7ffffffffffffffffffffffffffffffdff +ff75bb6fb7effffbffffff3fd7f57b40 +e7fffffffffffffffff227ffff7effffffffffffffffffffffffe7fd7eafefffffffffff +fffffffffffffffffffffffffdffffffffffff7ffffffffffffffffffffffffffffffdff +ff79bb6f776ffffbffffffaabef57f40 +d5fffffffffffffffff809ffff7ee1e1d30ffffffffffffffffff557dfaf7fffffffffff +fffffffffffffffffffffffffdfffffffffffefffffffffffffffffffffffffffffffdff +ff7dc520f8effffbffffff3febf56f40 +e77ffffffffffffffff1427fff7eccccce67ffffffffffffffffe7fd7e5bfbffffffffff +fffffffffffffffffffffffffdfffffffffffefffffffffffffffffffffffffffffffdff +fffffffffffffffbffffffaabdfd7f40 +d7fffffffffffffffff2109fff00defedef7fffffffffffffffff557bfafdfffffffffff +fffffffffffffffffffffffffbfffffffffffdfffffffffffffffffffffffffffffffdff +fffffffffffffffbffffff3fd7f57bc0 +e7fffffffffffffffff44427ff7edee0de07ffffffffffffffffe7feff2effffffffffff +fffffffffffffffffffffffffbfffffffffffdfffffffffffffffffffffffffffffffdff +fffffffffffffffbffffff557df57f00 +d77ffffffffffffffff1108fff7edecedefffffffffffffffffff555de6fefffffffffff +fffffffffffffffffffffffffbfffffffffffdfffffffffffffffffffffffffffffffdff +fffffffffffffffbffffff3febf56fc0 +e5fffffffffffffffff4423fff7edededeffffffffffffffffffe7bf7f9bffffffffffff +fffffffffffffffffffffffff7fffffffffffbfffffffffffffffffffffffffffffffdff +fffffffffffffffbffffff555ef57b40 +d7fffffffffffffffff114ffff7eccccde67ffffffffffffffffead5beaf77ffffffffff +fffffffffffffffffffffffff7fffffffffffbfffffffffffffffffffffffffffffffc00 +0000000000000003ffffffbffbfd7f40 +e77ffffffffffffffff443ffff7ee1e25f0fffffffffffffffffe7fefeafffffffffffff +fffffffffffffffffffffffff7fffffffffff7ffffffffffffffffffffffffffffffffff +ffffff7fffffffffffffff1557f57f40 +d7fffffffffffffffff11fffffffffffffffffffffffffffffffeaabdeaddfffffffffff +fffffffffffffffffffffffff7fffffffffff7ffffffffffffffffffffffffffffffffff +ffffff7fffffffffffffffbbfef57740 +e5fffffffffffffffff43ffffffffffffffffffffffffffffffff7fd7faff7ffffffffff +ffffffffffffffffffffffffefffffffffffefffffffffffffffffffffffffffffffffff +fffffeffffffffffffffff2eabf57fc0 +d77ffffffffffffffff1ffffffffffffffffffffffffffffffffe557beaf7fffffffffff +ffffffffffffffffffffffffefffffffffffefffffffffffffffffffffffffffffffffff +fffffdffffffffffffffffbb7df56f00 +e7fffffffffffffffffbfffffffffffffffffffffffffffffffff7feff5bffffffffffff +ffffffffffffffffffffffffefffffffffffdfffffffffffffffffffffffffffffffffff +fffffbffffffffffffffff37d7fd7dc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffe555deafb7ffffffffff +ffffffffffffffffffffffffefffffffffffdfffffffffffffffffffffffffffffffffff +fffffbffffffffffffffffaebdf97f40 +e77ffffffffffffffffffffffffffffffffffffffffffffffffff6ff7eafffffffffffff +ffffffffffffffffffffffffdfffffffffffbfffffffffffffffffffffffffffffffffff +fffff7ffffffffffffffff3debfb7740 +d5ffffffffffffffffffffffffffffffffffffffffffffffffffe755beaeefffffffffff +ffffffffffffffffffffffffdfffffffffffbfffffffffffffffffffffffffffffffffff +ffffefffffffffffffffffabbef27f40 +67fffffffffffffffffffffffffffffffffffffffffffffffffff5fefeafffffffffffff +ffffffffffffffffffffffffdfffffffffff7fffffffffffffffffffffffffffffffffff +ffffdfffffffffffffffff3f6bf6df40 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe7abbf5bbbffffffffff +ffffffffffffffffffffffffdfffffffffff7fffffffffffffffffffffffffffffffffff +ffffdfffffffffffffffffaaddf97bc0 +e7fffffffffffffffffffffffffffffffffffffffffffffffffff57f7eafffffffffffff +ffffffffffffffffffffffffbffffffffffeffffffffffffffffffffffffffffffffffff +ffffbfffffffffffffffff3ff7f57f00 +d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe7d5deaeefffffffffff +ffffffffffffffffffffffffbffffffffffeffffffffffffffffffffffffffffffffffff +ffff7fffffffffffffffff555efd6fc0 +e77ffffffffffffffff27fffff7fffffffffffffffffffffffffeabf7fafffffffffffff +ffffffffffffffffffffffffbffffffffffeffffffffffffffffffffffffffffffffffff +fffeffffffffffffffffffbfebf57b40 +d7fffffffffffffffff89fffff7fffffffffffffffffffffffffe7eaff2fbfffffffffff +ffffffffffffffffffffffff7ffffffffffdffffffffffffffffffffffffffffffffffff +fffeffffffffffffffffff2abdf57f40 +e7fffffffffffffffff227ffff7ffffffffffffffffffffffffff55fde6df7ffffffffff +ffffffffffffffffffffffff7ffffffffffdffffffffffffffffffffffffffffffffffff +fffdffffffffffffffffffb7f7f57f40 +d77ffffffffffffffff009ffff7f8673ffffffffffffffffffffe7f57f4fffffffffffff +ffffffffffffffffffffffff7ffffffffffbffffffffffffffffffffffffffffffffffff +fffbffffffffffffffffff3aadfd7740 +e5fffffffffffffffff5427fff7f3377ffffffffffffffffffffeaafbf5f6fffffffffff +ffffffffffffffffffffffff7ffffffffffbffffffffffffffffffffffffffffffffffff +fff7ffffffffffffffffffaffbf57fc0 +d7fffffffffffffffff0109fff7f7baffffffffffffffffffffff7fafeabffffffffffff +fffffffffffffffffffffffefffffffffff7ffffffffffffffffffffffffffffffffffff +fff7ffffffffffffffffff3aaef56f00 +e77ffffffffffffffff54427ff7f03dfffffffffffffffffffffe557deaffbffffffffff +fffffffffffffffffffffffefffffffffff7ffffffffffffffffffffffffffffffffffff +ffefffffffffffffffffffb7fbf57dc0 +d7fffffffffffffffff0108fff7f7fdffffffffffffffffffffff7fd7faedfffffffffff +fffffffffffffffffffffffeffffffffffefffffffffffffffffffffffffffffffffffff +ffdfffffffffffffffffff2d57f57f40 +e5fffffffffffffffffa423fff7f7fafffffffffffffffffffffeaabbeafffffffffffff +fffffffffffffffffffffffdffffffffffefffffffffffffffffffffffffffffffffffff +ffbfffffffffffffffffffbbfefd7740 +d77ffffffffffffffff114ffff7f3377ffffffffffffffffffffe7fefeadf7ffffffffff +fffffffffffffffffffffffdffffffffffdfffffffffffffffffffffffffffffffffffff +ffbfffffffffffffffffff2eabf97f40 +e7fffffffffffffffff843ffff038673fffffffffffffffffffff555deafbfffffffffff +fffffffffffffffffffffffdffffffffffdfffffffffffffffffffffffffffffffffffff +ff7fffffffffffffffffffbdfdf6df40 +d7fffffffffffffffff11fffffffffffffffffffffffffffffffe7ff7fafffffffffffff +fffffffffffffffffffffffdffffffffffbfffffffffffffffffffffffffffffffffffff +feffffffffffffffffffff3757f97bc0 +e77ffffffffffffffff43ffffffffffffffffffffffffffffffff555beaef7ffffffffff +fffffffffffffffffffffffbffffffffff3fffffffffffffffffffffffffffffffffffff +feffffffffffffffffffffaefef57f00 +d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe7fefeafbfffffffffff +fffffffffffffffffffffffbffffffffff7fffffffffffffffffffffffffffffffffffff +fdffffffffffffffffffff35abf56fc0 +67fffffffffffffffffbffffffffffffffffffffffffffffffffeaabdf5befffffffffff +fffffffffffffffffffffff7fffffffffeffffffffffffffffffffffffffffffffffffff +fbffffffffffffffffffffbf7dfd7b40 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe7ff7eafffffffffffff +fffffffffffffffffffffff7fffffffffeffffffffffffffffffffffffffffffffffffff +f7ffffffffffffffffffff55d7f57f40 +e7fffffffffffffffffffffffffffffffffffffffffffffffffff555beaf7bffffffffff +fffffffffffffffffffffff7fffffffffdffffffffffffffffffffffffffffffffffffff +f7ffffffffffffffffffff3f6ef57f40 +d5ffffffffffffffffffffffffffffffffffffffffffffffffffe6feff5bffffffffffff +fffffffffffffffffffffff7fffffffffdffffffffffffffffffffffffffffffffffffff +efffffffffffffffffffffaafbf57740 +e77fffffffffffffffffffffffffffffffffffffffffffffffffebabbeaeefffffffffff +ffffffffffffffffffffffeffffffffffbffffffffffffffffffffffffffffffffffffff +dfffffffffffffffffffff3fadfd7fc0 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff6df7eafffffffffffff +ffffffffffffffffffffffeffffffffffbffffffffffffffffffffffffffffffffffffff +bfffffffffffffffffffffaaf7f96f00 +e7fffffffffffffffff55557ffffffffffffffffffffffffffffebeadeafdfffffffffff +ffffffffffffffffffffffeffffffffffbffffffffffffffffffffffffffffffffffffff +bfffffffffffffffffffff3fdef37dc0 +d77ffffffffffffffffaaaafffffffffffffffffffffffffffffe6bfffaef7ffffffffff +ffffffffffffffffffffffeffffffffff7ffffffffffffffffffffffffffffffffffffff +7fffffffffffffffffffff556bfd7f40 +e5fffffffffffffffffaaaafffbffffffffffffffffffffffffff5eabf2fffffffffffff +ffffffffffffffffffffffdffffffffff7fffffffffffffffffffffffffffffffffffffe +ffffffffffffffffffffff3fbdf97740 +d7fffffffffffffffffd555fffbffbffffffffffffffffffffffe75fff5bbfffffffffff +ffffffffffffffffffffffdfffffffffeffffffffffffffffffffffffffffffffffffffd +ffffffffffffffffffffffaaf7f57f40 +e77ffffffffffffffffd555fffbffbfffffffffffffffffffffff5f55eaff7ffffffffff +ffffffffffffffffffffffdfffffffffeffffffffffffffffffffffffffffffffffffffd +ffffffffffffffffffffff3faef55f40 +d7fffffffffffffffffeaabfffba30c3c5ffffffffffffffffffe75bfeaeffffffffffff +ffffffffffffffffffffffbfffffffffdffffffffffffffffffffffffffffffffffffffb +ffffffffffffffffffffff557dfafbc0 +e5ffffffffffffffffff4abfffb99b9999fffffffffffffffffff6febeafefffffffffff +ffffffffffffffffffffffbfffffffffdffffffffffffffffffffffffffffffffffffff7 +ffffffffffffffffffffffbfebf57f00 +d77fffffffffffffffff557fffbbdbbdbdffffffffffffffffffe5d5ffaf7fffffffffff +ffffffffffffffffffffffbfffffffffbfffffffffffffffffffffffffffffffffffffef +ffffffffffffffffffffff155ff56fc0 +e7ffffffffffffffffff557fffbbdb81bdfffffffffffffffffff7bf5e5bfbffffffffff +ffffffffffffffffffffffbfffffffffbfffffffffffffffffffffffffffffffffffffef +ffffffffffffffffffffffbfeafd7b40 +d7ffffffffffffffffffaaffffbbdbbfbdffffffffffffffffffe56affafdfffffffffff +ffffffffffffffffffffff7fffffffff7ffffffffffffffffffffffffffffe0000000000 +00000001ffffffffffffff2abff97f40 +e77fffffffffffffffffaaffffbbdbbfbdfffffffffffffffffff7dfbf2effffffffffff +ffffffffffffffffffffff7fffffffff7ffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffffb7f5f37f40 +d5ffffffffffffffffffd5ffffbbdb9999ffffffffffffffffffe5757e6ff7ffffffffff +ffffffffffffffffffffff7ffffffffefffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffff3aaff67740 +67ffffffffffffffffffd5ffffbbdcc3c5fffffffffffffffffff7dfdf9bbfffffffffff +ffffffffffffffffffffff7ffffffffefffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffffaffaf57fc0 +d77fffffffffffffffffebfffffffffffdffffffffffffffffffe5757eafffffffffffff +fffffffffffffffffffffefffffffffdfffffffffffffffffffffffffffffeffffffdf7f +dffffffdffffffffffffff3d57f56f00 +e7ffffffffffffffffffebffffffffff99fffffffffffffffffff7efbeaef7ffffffffff +fffffffffffffffffffffefffffffffdfffffffffffffffffffffffffffffeffffffcf7f +dffffffdffffffffffffff56fdfd7dc0 +d5fffffffffffffffffff7ffffffffffc3ffffffffffffffffffeabafeafbfffffffffff +fffffffffffffffffffffefffffffffbfffffffffffffffffffffffffffffeffffffd771 +8ffffffdffffffffffffffbbd7f57f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7efbfafffffffffffff +fffffffffffffffffffffefffffffffbfffffffffffffffffffffffffffffeffffffd76e +dffffffdffffffffffffff2ebdf57740 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff55d7eadf7ffffffffff +fffffffffffffffffffffdfffffffff7fffffffffffffffffffffffffffffeffffffdb7e +dffffffdffffffffffffffbdebf57f40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7fbdeafbfffffffffff +fffffffffffffffffffffdfffffffff7fffffffffffffffffffffffffffffeffffffdd70 +dffffffdffffffffffffff2bbefadf40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff5577eafefffffffffff +fffffffffffffffffffffdffffffffeffffffffffffffffffffffffffffffeffffffdd6e +dffffffdffffffffffffffbf6bf57bc0 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe6fefeaeffffffffffff +fffffffffffffffffffffbffffffffeffffffffffffffffffffffffffffffeffffffde6e +dffffffdffffffffffffff2adff57f00 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff755dfaffbffffffffff +fffffffffffffffffffffbffffffffeffffffffffffffffffffffffffffffeffffffdf71 +4ffffffdffffffffffffffbffafd6fc0 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe5ff7f2ddfffffffffff +fffffffffffffffffffffbffffffffdffffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffff5557f97b40 +d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff755bf6fffffffffffff +fffffffffffffffffffffbffffffffdffffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffff3ffdf37f40 +e5fffffffffffffffffffffffe0fffffe03ffff7ffffffffffffe5befeaeefffffffffff +fffffffffffffffffffff7ffffffffbffffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffffaaabfd7f40 +d77ffffffffffffffffffffffe03ffffeffffff7fffffffffffff7ebdeafffffffffffff +fffffffffffffffffffff7ffffffffbffffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffff3dfef97740 +e7fffffffffffffffffffffffe00ffffefffffffffffffffffffe55ebeaf77ffffffffff +fffffffffffffffffffff7ffffffff7ffffffffffffffffffffffffffffffeffffffffff +fffffffdffffffffffffff56abf57fc0 +d7fffffffffffffffffffffffe003fffeff8b7b6f7fffffffffff7f5ff5bffffffffffff +fffffffffffffffffffff7ffffffff7ffffffffffffffffffffffffffffffe0000000000 +00000001ffffffffffffff3ffdf56f00 +e77ffffffffffffffffffffffe000fffeff337b6f7ffffffffffe55fbeafdfffffffffff +ffffffffffffffffffffeffffffffeffffffffffffffffffffffffffffffffffffffff2f +ffffffffffffffffffffff5557fd7dc0 +d5fffffffffffffffffffffffe0003ffe077b7b6f7fffffffffff7f57eaef7ffffffffff +ffffffffffffffffffffeffffffffefffffffffffffffffffffffffffffffffffffffef7 +ffffffffffffffffffffffbffef57f40 +67fffffffffffffffffffffffe0000ffeff7b7b76fffffffffffeaafdeafffffffffffff +ffffffffffffffffffffeffffffffefffffffffffffffffffffffffffffffffffffffdf7 +ffffffffffffffffffffff2aabf57740 +d77ffffffffffffffffffffffe0001ffeff7b7b76fffffffffffe7fd7fafbfffffffffff +ffffffffffffffffffffeffffffffdfffffffffffffffffffffffffffffffffffffff3fb +ffffffffffffffffffffffbdfdf57f40 +e7fffffffffffffffffffffffe0007ffeff7b7b76fffffffffffeaabff2df7ffffffffff +ffffffffffffffffffffeffffffffdffffffffffffffffffffffffffffffffffffffeffd +ffffffffffffffffffffff5757fadf40 +d5fffffffffffffffffffffffe001fffeff333379fffffffffffe7fd5e6fffffffffffff +ffffffffffffffffffffdffffffffbffffffffffffffffffffffffffffffffffffff9ffe +ffffffffffffffffffffff3efdf57bc0 +e77ffffffffffffffffffffffe007fffe038b8b79ffffffffffff557ff4f6fffffffffff +ffffffffffffffffffffdffffffffbffffffffffffffffffffffffffffffffffffff7ffe +ffffffffffffffffffffff55abf57f00 +d7fffffffffffffffffffffffe01ffffffffbfffffffffffffffe6febf5bffffffffffff +ffffffffffffffffffffdffffffff7fffffffffffffffffffffffffffffffffffffeffff +7fffffffffffffffffffff3f7ef56fc0 +e7fffffffffffffffffffffffe27ffffffffbffffffffffffffff755feaffbffffffffff +ffffffffffffffffffffdffffffff7fffffffffffffffffffffffffffffffffffff9ffff +bfffffffffffffffffffff55ebfd7b40 +d77ffffffffffffffffffffffe1fffffffffbfffffffffffffffe5ff5eaedfffffffffff +ffffffffffffffffffffbfffffffeffffffffffffffffffffffffffffffffffffff7ffff +dfffffffffffffffffffffbf5ff97f40 +e5fffffffffffffffffffffffe7ffffffffffffffffffffffffff7aaffafffffffffffff +ffffffffffffffffffffbfffffffefffffffffffffffffffffffffffffffffffffcfffff +efffffffffffffffffffff2aeafb7f40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffeadfbeadf7ffffffffff +ffffffffffffffffffffbfffffffdfffffffffffffffffffffffffffffffffffffbfffff +efffffffffffffffffffffbfbff57740 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe77afeafbfffffffffff +ffffffffffffffffffffbfffffffdffffffffffffffffffffffffffffffffffffe7fffff +f7ffffffffffffffffffff2af5f57fc0 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff5d7deafffffffffffff +ffffffffffffffffffff7fffffffbffffffffffffffffffffffffffffffffffffdffffff +fbffffffffffffffffffffbfaff56f00 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7bd7faef7ffffffffff +ffffffffffffffffffff7fffffffbffffffffffffffffffffffffffffffffffffbffffff +fdffffffffffffffffffff557af57dc0 +d77fffffffffffffffffffffffffffffffffffffffffffffffffeaebbeafbfffffffffff +ffffffffffffffffffff7fffffffbfffffffffffffffffffffffffffffffffffe7ffffff +fdffffffffffffffffffff3fd7f57f40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe7beff5befffffffffff +fffffffffffffffffffe7fffffff7fffffffffffffffffffffffffffffffffffdfffffff +feffffffffffffffffffff557dfd7740 +d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff575deafffffffffffff +fffffffffffffffffffeffffffff7fffffffffffffffffffffffffffffffffff3fffffff +ff7fffffffffffffffffff3fd7f97f40 +e77ffffffffffffffffffffffe0ffffff7ffffffffffffffffffe7ef7eaf7bffffffffff +fffffffffffffffffffefffffffefffffffffffffffffffffffffffffffffffeffffffff +ffbfffffffffffffffffffaabef35f40 +d5fffffffffffffffffffffffe03fffff7ff7ffffffffffffffff55dbf5bffffffffffff +fffffffffffffffffffefffffffefffffffffffffffffffffffffffffffffffdffffffff +ffdfffffffffffffffffff3febfcfbc0 +67fffffffffffffffffffffffe00fffff7ff7fffffffffffffffe7f6feaeefffffffffff +fffffffffffffffffffcfffffffdfffffffffffffffffffffffffffffffffff3ffffffff +ffdfffffffffffffffffff555df57f00 +d77ffffffffffffffffffffffe003ffff7461878bffffffffffff55bdeafffffffffffff +fffffffffffffffffffdfffffffdffffffffffffffffffffffffffffffffffefffffffff +ffefffffffffffffffffffbff7f56fc0 +e7fffffffffffffffffffffffe000ffff73373333fffffffffffe7ef7eafdfffffffffff +fffffffffffffffffffdfffffffbffffffffffffffffffffffffffffffffff9fffffffff +fff7ffffffffffffffffff155df57b40 +d5fffffffffffffffffffffffe0003fff77b77b7bfffffffffffeabdbfaef7ffffffffff +fffffffffffffffffffdfffffffbffffffffffffffffffffffffffffffffff7fffffffff +fffbffffffffffffffffffbffbfd7f40 +e77ffffffffffffffffffffffe0000fff77b7037bfffffffffffe7d6ff2fffffffffffff +fffffffffffffffffff9fffffff7fffffffffffffffffffffffffffffffffeffffffffff +fffbffffffffffffffffff3556f57f40 +d7fffffffffffffffffffffffe0001fff77b77f7bffffffffffff57ddf5bbfffffffffff +fffffffffffffffffffbffffffeffffffffffffffffffffffffffffffffff9ffffffffff +fffdffffffffffffffffff5bfff57740 +e7fffffffffffffffffffffffe0007fff77b77f7bfffffffffffe7d77eaff7ffffffffff +fffffffffffffffffffbffffffeffffffffffffffffffffffffffffffffff7ffffffffff +fffeffffffffffffffffffbd55f57fc0 +d77ffffffffffffffffffffffe001ffff77b73333ffffffffffff6bdbeaeffffffffffff +fffffffffffffffffffbffffffdfffffffffffffffffffffffffffffffffcfffffffffff +ffff7fffffffffffffffff17fff56f00 +e5fffffffffffffffffffffffe007ffff77b9878bfffffffffffe5f6feafefffffffffff +fffffffffffffffffffbffffffdfffffffffffffffffffffffffffffffffbfffffffffff +ffff7fffffffffffffffffbd55fd7dc0 +d7fffffffffffffffffffffffe41ffffffffffffbffffffffffff75bdfaf7fffffffffff +fffffffffffffffffff7ffffffbfffffffffffffffffffffffffffffffff7fffffffffff +ffffbfffffffffffffffff36fbf97f40 +e77ffffffffffffffffffffffe07fffffffffff33fffffffffffe5ef7e5bfbffffffffff +fffffffffffffffffff7ffffff3ffffffffffffffffffffffffffffffffcffffffffffff +ffffdfffffffffffffffffafaefb7740 +d7fffffffffffffffffffffffe1ffffffffffff87ffffffffffff7b5bfafdfffffffffff +fffffffffffffffffff7ffffff7ffffffffffffffffffffffffffffffffbffffffffffff +ffffefffffffffffffffff357bf27f40 +e5fffffffffffffffffffffffe7fffffffffffffffffffffffffe57f7f2effffffffffff +fffffffffffffffffff7fffffeffffffffffffffffffffffffffffffffe7ffffffffffff +fffff7ffffffffffffffffbfedf6df40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff7d5deaff7ffffffffff +ffffffffffffffffffeffffffeffffffffffffffffffffffffffffffffdfffffffffffff +fffff7ffffffffffffffff555ff97bc0 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffeabf7f5bbfffffffffff +ffffffffffffffffffeffffffdffffffffffffffffffffffffffffffffbfffffffffffff +fffffbffffffffffffffff3feaf57f00 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7f5beafffffffffffff +ffffffffffffffffffeffffffdfffffffffffffffffffffffffffffffe7fffffffffffff +fffffdffffffffffffffffaabffd6fc0 +e77fffffffffffffffffffffffffffffffffffffffffffffffffeaaffeaef7ffffffffff +ffffffffffffffffffeffffffbfffffffffffffffffffffffffffffffdffffffffffffff +fffffeffffffffffffffff3ffff57b40 +d5ffffffffffffffffffffffffffffffffffffffffffffffffffe7f55eafbfffffffffff +ffffffffffffffffffdffffffbfffffffffffffffffffffffffffffff3ffffffffffffff +fffffeffffffffffffffff7ffef57f40 +67fffffffffffffffffffffffffffffffffffffffffffffffffff55fffafffffffffffff +ffffffffffffffffffdffffff7ffffffffffffffffffffffffffffffefffffffffffffff +ffffff7fffffffffffffffbffcf57f40 +d77ffffffffffffffffffffffe3fffffffffffffffffffffffffe7fabeadf7ffffffffff +ffffffffffffffffffdfffffefffffffffffffffffffffffffffffff9fffffffffffffff +ffffffbfffffffffffffff3f6dfd7740 +e7fffffffffffffffffffffffe0fffffe077fffffffffffffffff557feafbfffffffffff +ffffffffffffffffffdfffffcfffffffffffffffffffffffffffffff7fffffffffffffff +ffffffdfffffffffffffffbbfef57fc0 +d5fffffffffffffffffffffffe03ffffef37ffffffffffffffffe7fabeafefffffffffff +ffffffffffffffffffbfffffbffffffffffffffffffffffffffffffeffffffffffffffff +ffffffefffffffffffffff3ffcf56f00 +e77ffffffffffffffffffffffe00ffffefbfffffffffffffffffeaaffeaeffffffffffff +ffffffffffffffffffbfffffbffffffffffffffffffffffffffffff9ffffffffffffffff +ffffffefffffffffffffffbf6df57dc0 +d7fffffffffffffffffffffffe003fffefb68fffffffffffffffe7f55faffbffffffffff +ffffffffffffffffffbfffff7ffffffffffffffffffffffffffffff7ffffffffffffffff +fffffff7ffffffffffffff3bfcf57f40 +e7fffffffffffffffffffffffe000fffefb667fffffffffffffff55fff2ddfffffffffff +ffffffffffffffffffbfffff7fffffffffffffffffffffffffffffcfffffffffffffffff +fffffffbffffffffffffff7efefd7740 +d77ffffffffffffffffffffffe0003ffe076f7ffffffffffffffe6fabf6fffffffffffff +ffffffffffffffffffbffffeffffffffffffffffffffffffffffffbfffffffffffffffff +fffffffdffffffffffffffbfecf97f40 +e5fffffffffffffffffffffffe0000ffefb6f7fffffffffffffff7adfeaeefffffffffff +ffffffffffffffffff7ffffdffffffffffffffffffffffffffffff7fffffffffffffffff +fffffffdffffffffffffff3f7df6df40 +d7fffffffffffffffffffffffe0001ffefb6f7ffffffffffffffe5775eafffffffffffff +ffffffffffffffffff7ffffdfffffffffffffffffffffffffffffcffffffffffffffffff +fffffffeffffffffffffffbbfef97bc0 +e77ffffffffffffffffffffffe0007ffefb6f7fffffffffffffff7defeaf77ffffffffff +ffffffffffffffffff7ffffbffffffffffffffffffffc000000000000000003ffffffff8 +000000000000000007ffff3fecf57f00 +d7fffffffffffffffffffffffe001fffefb6f7ffffffffffffffe56bbf5bffffffffffff +ffffffffffffffffff7ffff7ffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffffbf7df56fc0 +e5fffffffffffffffffffffffe807fffe076f7fffffffffffffff7ff7eafdfffffffffff +ffffffffffffffffff7fffefffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffff3bfcfd7b40 +d77ffffffffffffffffffffffe01ffffffffffffffffffffffffe7fffeaef7ffffffffff +fffffffffffffffffeffffefffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffffbeeef57f40 +e7fffffffffffffffffffffffe07fffffffffffffffffffffffff7ffdeafffffffffffff +fffffffffffffffffeffffdfffffffffffffffffffffdfffc1ffb07fffffffbffffffffb +ffffff7fdb7ffffff7ffff3ffcf57f40 +d7fffffffffffffffffffffffe1fffffffffffffffffffffffffe6dbdfafbfffffffffff +fffffffffffffffffeffffbfffffffffffffffffffffdfffdeffb7bfffffffbffffffffb +fffffebffb7ffffff7ffff77bdf57740 +e77ffffffffffffffffffffffe7ffffffffffffffffffffffffff7ff9f2df7ffffffffff +fffffffffffffffffeffffbfffffffffffffffffffffdfffdee3b7b8dddfffbffffffffb +fffffebd514ffffff7ffffbdeefd7fc0 +d5ffffffffffffffffffffffffffffffffffffffffffffffffffe7bdbe6fffffffffffff +fffffffffffffffffeffff7fffffffffffffffffffffdfffdeddb7b75ddfffbffffffffb +fffffddcdb37fffff7ffff3ffcf96f00 +67ffffffffffffffffffffffffffffffffffffffffffffffffffefef9f4f6fffffffffff +fffffffffffffffffdfffeffffffffffffffffffffffdfffc1ddb0776dbfffbffffffffb +fffffddddb77fffff7ffffbf7df37dc0 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff7ffdf5bffffffffffff +fffffffffffffffffdfffdffffffffffffffffffffffdfffddc1b7f76dbfffbffffffffb +fffffc1ddb77fffff7ffff3fdcfd7f40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe77b9eaffbffffffffff +fffffffffffffffffdfffbffffffffffffffffffffffdfffdedfb7f76abfffbffffffffb +fffffbeddb77fffff7ffffbbfef97740 +d5fffffffffffffffffffffffffffffffffffffffffffffffffff7dfbeaedfffffffffff +fffffffffffffffffdfffbffffffffffffffffffffffdfffdeddb7f7777fffbffffffffb +fffffbeddb77fffff7ffff3fecf57f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7fddfafffffffffffff +fffffffffffffffffdfff7ffffffffffffffffffffffdfffdee3b7f8f77fffbffffffffb +fffffbedd977fffff7ffffbf7df55f40 +d7fffffffffffffffffffffffe3ffffffffffffffffffffffffff7ff9eadf7ffffffffff +fffffffffffffffffbffefffffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffff3bfcfafbc0 +e7fffffffffffffffffffffffe0ffffffc3fffffffffffffffffe7b7beafbfffffffffff +fffffffffffffffffbffdfffffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffff7fdef57f00 +d77ffffffffffffffffffffffe03fffff3cffffffffffffffffff7ff9eafffffffffffff +fffffffffffffffffbffbfffffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffffbefcf56fc0 +e5fffffffffffffffffffffffe00fffff7efffffffffffffffffe77ddfaef7ffffffffff +fffffffffffffffffbffbfffffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffff37fdfd7b40 +d7fffffffffffffffffffffffe003fffeffd30ef68fffffffffff7ef9eafbfffffffffff +fffffffffffffffffbff7fffffffffffffffffffffffdfffffffffffffffffbffffffffb +fffffffffffffffff7ffffbf6ef97f40 +e77ffffffffffffffffffffffe000fffeffce66f667fffffffffe7ffbf5befffffffffff +fffffffffffffffff7feffffffffffffffffffffffffc000000000000000003ffffffff8 +000000000000000007ffff3ffcf37f40 +d7fffffffffffffffffffffffe0003ffef0def6f6f7fffffffffeedddeafffffffffffff +fffffffffffffffff7fdfffffffffffffffffffffffffffffffff7ffffffffffffffffff +fffffff007ffffffffffff7dfdf67740 +e5fffffffffffffffffffffffe0000ffefedef6f6f7ffffffffff7ff9eaf7bffffffffff +fffffffffffffffff7fdffffffffffffffffffffffffffffffffefffffffffffffffffff +ffffff8150ffffffffffff3f6cf57fc0 +d77ffffffffffffffffffffffe0001ffefedef6f6f7fffffffffe7f7bf5bffffffffffff +fffffffffffffffff7fbffffffffffffffffffffffffffffffffefffffffffffffffffff +fffffc4b6c0fffffffffffb7fef56f00 +e7fffffffffffffffffffffffe0007fff7edef6f6f7ffffffffff7bd9eaeefffffffffff +fffffffffffffffff7f7ffffffffffffffffffffffffffffffffdfffffffffffffffffff +ffffe3377731ffffffffff3ffcfd7dc0 +d7fffffffffffffffffffffffe001ffff38de666667fffffffffe7ffdeafffffffffffff +fffffffffffffffff7efffffffffffffffffffffffffffffffffbfffffffffffffffffff +ffff1cef7bce3fffffffff7eddf57f40 +e77ffffffffffffffffffffffe807ffffc6df0f168ffffffffffeeef9eafdfffffffffff +ffffffffffffffffefdfffffffffffffffffffffffffffffffff7fffffffffffffffffff +fff8f3df7df3c7ffffffffb7fef57740 +d5fffffffffffffffffffffffe21ffffffffffffeffffffffffff7fbbfaef7ffffffffff +ffffffffffffffffefdfffffffffffffffffffffffffffffffff7fffffffffffffffffff +ffc7cfbf7efcf8ffffffff3decf57f40 +67fffffffffffffffffffffffe07ffffffffffffefffffffffffe77fdf2fffffffffffff +ffffffffffffffffefbffffffffffffffffffffffffffffffffeffffffffffffffffffff +ff3f3f7f7f7f3f1fffffff7f7dfadf40 +d77ffffffffffffffffffffffe1fffffffffffffeffffffffffff7dd9f5bbfffffffffff +ffffffffffffffffef7ffffffffffffffffffffffffffffffffdffffffffffffffffffff +f8fcfeff7fbfcfe3ffffffbffcf57bc0 +e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe7ffdeaff7ffffffffff +ffffffffffffffffeefffffffffffffffffffffffffffffffffbffffffffffffffffffff +c7f3fdff7fdff3fc3fffff3fddf57f00 +d5ffffffffffffffffffffffffffffffffffffffffffffffffffeff79eaeffffffffffff +ffffffffffffffffddfffffffffffffffffffffffffffffffffbfffffffffffffffffffe +3fcffbff7feffcffc7ffffb6fefd6fc0 +e77ffffffffffffffffffffffffffffffffffffffffffffffffff77dbeafefffffffffff +ffffffffffffffffdbfffffffffffffffffffffffffffffffff7fffffffffffffffffff1 +ff3ffbff7ff7ff3ff8ffff3fecf97b40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7ff9faf7fffffffffff +ffffffffffffffffd7ffffffffffffffffffffffffffffffffefffffffffffffffffff8f +fcfff7ff7ffbffcfff1fff7ffef37f40 +e7fffffffffffffffffffffffffffffffffffffffffffffffffff7efde5bfbffffffffff +ffffffffffffffffd7ffffffffffffffffffffffffffffffffdffffffffffffffffffc7f +f3ffefff7ffdfff3ffe3ff3dbcfd7f40 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe77b9fafdfffffffffff +ffffffffffffffffcfffffffffffffffffffffffffffffffffbfffffffffffffffffe3ff +cfffdfff7ffefffcfffc7fbfedf97740 +e5fffffffffffffffffffffffffffffffffffffffffffffffffff7ffbf2effffffffffff +ffffffffffffffff9fffffffffffffffffffffffffffffffffbfffffffffffffffff1fff +3fffbfffbfff7fff3fff873bfcf57fc0 +d7fffffffffffffffffffffffe3fffffffffffffffffffffffffe7dfdeaff7ffffffffff +ffffffffffffffffbfffffffffffffffffffffffffffffffff7ffffffffffffffff8fffc +ffff7fffbfffbfffcffff8bf7ef56f00 +e77ffffffffffffffffffffffe0fffffe077ffffffffffffffffeefd9f5bbfffffffffff +ffffffffffffffff3ffffffffffffffffffffffffffffffffeffffffffffffffffc7fffb +fffeffffbfffdffff3ffff3fdcfd7dc0 +d7fffffffffffffffffffffffe03ffffef37fffffffffffffffff7f7deafffffffffffff +fffffffffffffffebffffffffffffffffffffffffffffffffdfffffffffffffffe3fffe7 +fffdffffbfffeffffcffffbbfdf57f40 +e5fffffffffffffffffffffffe00ffffefbfffffffffffffffffe7bf9eaef7ffffffffff +fffffffffffffffdbffffffffffffffffffffffffffffffffdfffffffffffffff1ffff9f +fffbffffbffff7ffff3fff3eeef57740 +d77ffffffffffffffffffffffe003fffefb68f17fffffffffffff7fdbeafbfffffffffff +fffffffffffffffb7ffffffffffffffffffffffffffffffffbffffffffffffff8ffffe7f +fff7ffffbffffbffffcfff7ffcf57f40 +e7fffffffffffffffffffffffe000fffef766667ffffffffffffe7ef9fafffffffffffff +fffffffffffffffb7ffffffffffffffffffffffffffffffff7fffffffffffffc7ffff9ff +ffefffffbffffdfffff3ffbfbdfadf40 +d7fffffffffffffffffffffffe0003ffe0f6f6f7fffffffffffff77fbeadf7ffffffffff +fffffffffffffff77fffffffffffffffffffffffffffffffeffffffffffffff3ffffe7ff +ffdfffffbffffe7ffffcff3bfcf57bc0 +e77ffffffffffffffffffffffe0000ffef76f6f7ffffffffffffe7fbdeafbfffffffffff +ffffffffffffffef7fffffffffffffffffffffffffffffffefffffffffffff8fffff9fff +ffbfffffbfffffbfffff3fbeeef57f00 +d5fffffffffffffffffffffffe0001ffefb6f6f7fffffffffffff7df9eafefffffffffff +ffffffffffffffdf7fffffffffffffffffffffffffffffffdffffffffffffc7ffffe7fff +ff7fffffbfffffdfffffcf3ffcf56fc0 +67fffffffffffffffffffffffe0007ffefb6f6f7ffffffffffffe7fdbeaeffffffffffff +ffffffffffffffbf7fffffffffffffffffffffffffffffffbfffffffffffe3fffff9ffff +feffffffbfffffeffffff3b7bdfd7b40 +d77ffffffffffffffffffffffe001fffefb6f667fffffffffffff77f9faffbffffffffff +ffffffffffffff7effffffffffffffffffffffffffffffff7fffffffffff1fffffe7ffff +fdffffffbffffff7fffffc3deef97f40 +e7fffffffffffffffffffffffe007fffefb6f717ffffffffffffe7f7df2ddfffffffffff +ffffffffffffff7efffffffffffffffffffffffffffffffefffffffffff8ffffff9fffff +fbffffffbffffffbffffff7ffcfb7f40 +d5fffffffffffffffffffffffe41fffffffffff7ffffffffffffefbf9f6fffffffffffff +fffffffffffffefefffffffffffffffffffffffffffffffeffffffffffc7fffffe7fffff +f7ffffffbffffffdffffffbf7ef57740 +e77ffffffffffffffffffffffe07fffffffffe67fffffffffffff7fdbeaeefffffffffff +fffffffffffff9fefffffffffffffffffffffffffffffffdfffffffffe3ffffff9ffffff +efffffffbffffffeffffff3fecf57fc0 +d7fffffffffffffffffffffffe1fffffffffff0fffffffffffffe6ef9eafffffffffffff +fffffffffffff7fefffffffffffffffffffffffffffffffbfffffffff1ffffffe7ffffff +dfffffffbfffffff7fffffbdfdf56f00 +e7fffffffffffffffffffffffe7ffffffffffffffffffffffffff7ffdeaf77ffffffffff +ffffffffffffeffefffffffffffffffffffffffffffffff7ffffffff8fffffff9fffffff +bfffffffbfffffffbfffff3fbcf57dc0 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe7bb9f5bffffffffffff +ffffffffffffdffdfffffffffffffffffffffffffffffff7fffffffc7ffffffe7fffffff +7fffffffbfffffffdfffffb7fdf57f40 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffefffbeafdfffffffffff +ffffffffffffdffdffffffffffffffffffffffffffffffefffffffe3fffffff9fffffffe +ffffffffbfffffffefffff3eeefd7740 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff6f7deaef7ffffffffff +ffffffffffffbffdffffffffffffffffffffffffffffffdfffffff1fffffffe7fffffffe +ffffffffbffffffff7ffff7ffcf97f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7bd9eafffffffffffff +ffffffffffff7ffdffffffffffffffffffffffffffffffbffffff8ffffffffdffffffffd +ffffffffbffffffffbffffbbbdf35f40 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffefffbfafbfffffffffff +fffffffffffefffdffffffffffffffffffffffffffffffbfffffc7ffffffff3ffffffffb +ffffffffbffffffffdffff3fecfcfbc0 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7ef9f2df7ffffffffff +fffffffffffdfffdffffffffffffffffffffffffffffff7fffff3ffffffffcfffffffff7 +ffffffffbffffffffeffffbffef57f00 +d77ffffffffffffffffffffffe3ffffffffffffffffffffffffff6fbde6fffffffffffff +fffffffffffbfffbfffffffffffffffffffffffffffffefffff8fffffffff3ffffffffef +ffffffffbfffffffff7fff3b7cf56fc0 +e7fffffffffffffffffffffffe0ffffff7fff03bffff07ffe7fff7ff9f4f6fffffffffff +fffffffffff7fffbfffffffffffffffffffffffffffffdffffc7ffffffffcfffffffffdf +ffffffffbfffffffffbfffbfddf57b40 +d7fffffffffffffffffffffffe03fffff7ff779bffff79ffdfffe7dfbf5bffffffffffff +ffffffffffeffffbfffffffffffffffffffffffffffffbfffe3fffffffff3fffffffffbf +ffffffffbfffffffffdfff3ffefd7f40 +e77ffffffffffffffffffffffe00fffff7ff77dfffff7dffdfffeefd9eaffbffffffffff +ffffffffffdffffbfffffffffffffffffffffffffffffbfff1fffffffffcffffffffff7f +ffffffffbfffffffffefff76ecf57f40 +d5fffffffffffffffffffffffe003ffff74617db478b7ee18c3ff7efbeaedfffffffffff +ffffffffffbffffbfffffffffffffffffffffffffffff7ff8ffffffffff3fffffffffeff +ffffffffbffffffffff7ffbffdf57740 +67fffffffffffffffffffffffe000ffff73377bb33337eccdbdfe7ff9fafffffffffffff +ffffffffffbffffbffffffffffffffffffffffffffffeffc7fffffffffcffffffffffdff +ffffffffbffffffffffbff3fbcf57fc0 +d77ffffffffffffffffffffffe0003fff77b707b7b7b7ededbfff7bbdeadf7ffffffffff +ffffffffff7ffff7ffffffffffffffffffffffffffffdfe3ffffffffff3ffffffffffbff +ffffffffbffffffffffdffbdeef56f00 +e7fffffffffffffffffffffffe0000fff77b77bb7b7b7ec0dc3fe7ff9eafbfffffffffff +fffffffffefffff7ffffffffffffffffffffffffffffdf1ffffffffffcfffffffffff7ff +ffffffffdffffffffffeff3ffcfd7dc0 +d5fffffffffffffffffffffffe0001fff77b77db7b7b7edfdf9feeefbeafffffffffffff +fffffffffdfffff7ffffffffffffffffffffffffffffb8fffffffffff3ffffffffffefff +ffffffffdfffffffffff7fbbfdf97f40 +e77ffffffffffffffffffffffe0007fff77b77db7b7b7ddfdfdff7fddfaef7ffffffffff +fffffffffbfffff7ffffffffffffffffffffffffffff47ffffffffffcfffffffffffdfff +ffffffffdfffffffffffbf3edefb7740 +d7fffffffffffffffffffffffe001ffff77b77db7b3379ccdbdfe7bf9eafbfffffffffff +fffffffff7fffff7fffffffffffffffffffffffffffe3fffffffffff3fffffffffffbfff +ffffffffdfffffffffffdf7ffcf27f40 +e7fffffffffffffffffffffffe807ffff77b97db7b8b07e1dc3ff7f7bf5befffffffffff +ffffffffeffffff7fffffffffffffffffffffffffff0fffffffffffcffffffffffff7fff +ffffffffdfffffffffffefbff6f6df40 +d77ffffffffffffffffffffffe01fffffffffffffffbffffffffe6fd9eafffffffffffff +ffffffffdfffffefffffffffffffffffffffffffff8dfffffffffff3fffffffffffeffff +ffffffffdffffffffffff73dbcf97bc0 +e5fffffffffffffffffffffffe07ffffffffffffff33ffffffffefbfdeaf7bffffffffff +ffffffffbfffffeffffffffffffffffffffffffffc7bffffffffffcffffffffffffdffff +ffffffffdffffffffffffbb7fdf57f00 +d7fffffffffffffffffffffffe1fffffffffffffff87fffffffff7ef9f5bffffffffffff +ffffffff3fffffeffffffffffffffffffffffffff3f7ffffffffff3ffffffffffffbffff +ffffffffdffffffffffffd3f7efd6fc0 +e77ffffffffffffffffffffffe7fffffffffffffffffffffffffe7fbbeaeefffffffffff +fffffffeffffffefffffffffffffffffffffffff8feffffffffffcfffffffffffff7ffff +ffffffffdffffffffffffe7fecf57b40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff7ffdeafffffffffffff +fffffffdffffffeffffffffffffffffffffffffc7feffffffffffbffffffffffffefffff +ffffffffdfffffffffffffbdfdf57f40 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe7bd9eafdfffffffffff +fffffffdffffffefffffffffffffffffffffffe3ffdfffffffffe7ffffffffffffdfffff +ffffffffdfffffffffffff3fbcf57f40 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff7efbfaef7ffffffffff +fffffffbffffffdfffffffffffffffffffffff1fffbfffffffff9fffffffffffffdfffff +ffffffffdfffffffffffffb7eefd7740 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe6ff9f2fffffffffffff +fffffff7ffffffdffffffffffffffffffffff8ffff7ffffffffe7fffffffffffffbfffff +ffffffffdfffffffffffff3dfcf57fc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffeffddf5bbfffffffffff +ffffffefffffffdfffffffffffffffffffffc7ffff7ffffffff9ffffffffffffff7fffff +ffffffffdfffffffffffff7f7df56f00 +e77ffffffffffffffffffffffffffffffffffffffffffffffffff76f9eaff7ffffffffff +ffffffdfffffffdffffffffffffffffffffe3ffffeffffffffe7fffffffffffffeffffff +ffffffffdfffffffffffffbfdef57dc0 +d5fffffffffffffffffffffffe3fffffffffffffffffffffffffe7ffbeaeffffffffffff +ffffffdfffffffdffffffffffffffffffff1fffffdffffffff9ffffffffffffffdffffff +ffffffffdfffffffffffff3ffcf57f40 +67fffffffffffffffffffffffe0fffffeffffffffffffffffffff7fb9eafefffffffffff +ffffffbfffffffdfffffffffffffffffff8ffffffbfffffffe7ffffffffffffffbffffff +ffffffffdfffffffffffffbdedfd7740 +d77ffffffffffffffffffffffe03ffffefffffffffffffffffffe6dfdfaf7fffffffffff +ffffff3fffffffbffffffffffffffffffc7ffffffbfffffff9fffffffffffffff7ffffff +ffffffffdfffffffffffff3ffcf97f40 +e7fffffffffffffffffffffffe00ffffefffffffffffffffffffeff79e5bfbffffffffff +fffffeffffffffbfffffffffffffffffe3fffffff7ffffffe7ffffffffffffffefffffff +ffffffffdfffffffffffffbbbef6df40 +d5fffffffffffffffffffffffe003fffeff0f16987478b87fffff7fdbfafdfffffffffff +fffffeffffffffbfffffffffffffffff1fffffffefffffff9fffffffffffffffdfffffff +ffffffffdfffffffffffff3ffcf97bc0 +e77ffffffffffffffffffffffe000fffefe6666733333333ffffe77fdf2effffffffffff +fffffdffffffffbffffffffffffffff8ffffffffdffffffe7fffffffffffffffbfffffff +ffffffffdfffffffffffffbeedf57f00 +d7fffffffffffffffffffffffe0003ffefff6f6ffb7b7b7bfffff7df9eaff7ffffffffff +fffffbffffffffbfffffffffffffffc7ffffffffbffffff9ffffffffffffffff7fffffff +ffffffffdfffffffffffff37fef56fc0 +e7fffffffffffffffffffffffe0000ffeff06f6f837b7b03ffffe7f6df5bbfffffffffff +fffffbffffffffbfffffffffffffff3fffffffffbfffffe7fffffffffffffffeffffffff +ffffffffdfffffffffffff7fbcfd7b40 +d77ffffffffffffffffffffffe0001ffefe76f6f3b7b7b7fffffefff9eafffffffffffff +fffff7ffffffffbffffffffffffff8ffffffffff7fffff9ffffffffffffffffdffffffff +ffffffffdfffffffffffffbdedf57f40 +e5fffffffffffffffffffffffe0007ffefef6f6f7b7b7b7ffffff7bfbeaef7ffffffffff +ffffe7ffffffff7fffffffffffffc7fffffffffefffffe7ffffffffffffffffbffffffff +ffffffffdfffffffffffff3ffcf57f40 +d7fffffffffffffffffffffffe001fffefe6666f337b3333ffffe7fbdeafbfffffffffff +ffffefffffffff7ffffffffffffe3ffffffffffdfffff9fffffffffffffffff7ffffffff +ffffffffdfffffffffffffbf7ef57740 +e77ffffffffffffffffffffffe807fffe071316f897b8b87fffff6df9fafffffffffffff +ffffdfffffffff7ffffffffffff1fffffffffffdffffe7ffffffffffffffffefffffffff +ffffffffdfffffffffffff3bdcfd7fc0 +d7fffffffffffffffffffffffe21ffffffffff7ffffffbffffffe7fdbeadf7ffffffffff +ffffbfffffffff7fffffffffff8ffffffffffffbffffdfffffffffffffffffdfffffffff +ffffffffdfffffffffffffbffdf96f00 +e5fffffffffffffffffffffffe07ffffffffe67fffff33ffffffefff9eafbfffffffffff +ffffbfffffffff7ffffffffffc7ffffffffffff7ffff3fffffffffffffffffbfffffffff +ffffffffdfffffffffffff3feef37dc0 +d77ffffffffffffffffffffffe1ffffffffff0ffffff87fffffff7b7deafefffffffffff +ffff7fffffffff7fffffffffe3ffffffffffffeffffcffffffffffffffffff7fffffffff +ffffffffdfffffffffffffbb7cfd7f40 +e7fffffffffffffffffffffffe7fffffffffffffffffffffffffe7ff9eaeffffffffffff +ffff7ffffffffeffffffffff1fffffffffffffeffff3fffffffffffffffffeffffffffff +ffffffffefffffffffffff3ffef97740 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff77dbfaffbffffffffff +fffefffffffffefffffffff8ffffffffffffffdfffcffffffffffffffffffdffffffffff +ffffffffefffffffffffff7fecf57f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7efdf2ddfffffffffff +fffefffffffffeffffffffc7ffffffffffffffbfff3ffffffffffffffffffbffffffffff +ffffffffefffffffffffffbb7df55f40 +d5fffffffffffffffffffffffffffffffffffffffffffffffffff7ff9f6fffffffffffff +fffdfffffffffefffffffe3fffffffffffffff7ffcfffffffffffffffffff7ffffffffff +ffffffffefffffffffffff3ffcfafbc0 +67ffffffffffffffffffffffffffffffffffffffffffffffffffe7b6deaeefffffffffff +fffdfffffffffefffffff1fffffffffffffffefff3fffffffffffffffffff7ffffffffff +ffffffffefffffffffffffbeeef57f00 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff7ff9eafffffffffffff +fffbfffffffffeffffff8ffffffffffffffffeffcfffffffffffffffffffefffffffffff +ffffffffefffffffffffff37fcf56fc0 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe6ffbeaf77ffffffffff +fff7fffffffffdfffffc7ffffffffffffffffdff3fffffffffffffffffffdfffffffffff +ffffffffefffffffffffff7fbdfd7b40 +d5fffffffffffffffffffffffe3fffffffffffffffffffffffffefdbdf5bffffffffffff +fff7fffffffffdfffff3fffffffffffffffffbfcffffffffffffffffffffbfffffffffff +ffffffffefffffffffffffbdeef97f40 +e77ffffffffffffffffffffffe0ffffff7fff03bfffffffffffff7ff9eafdfffffffffff +ffeffffffffffdffff8ffffffffffffffffff7f3ffffffffffffffffffff7fffffffffff +ffffffffefffffffffffff3ffcf37f40 +d7fffffffffffffffffffffffe03fffff7ff779bffffffffffffe77dbeaef7ffffffffff +ffeffffffffffdfffc7ffffffffffffffffff7cffffffffffffffffffffeffffffffffff +ffffffffefffffffffffffbf7df67740 +e7fffffffffffffffffffffffe00fffff7ff77dffffffffffffff7ef9eafffffffffffff +ffdffffffffffdffe3ffffffffffffffffffef3ffffffffffffffffffffdffffffffffff +ffffffffefffffffffffff3bdcf57fc0 +d77ffffffffffffffffffffffe003ffff74617db478bffffffffe7ffdfafbfffffffffff +ffdffffffffffdff1fffffffffffffffffffdcfffffffffffffffffffffbffffffffffff +ffffffffefffffffffffffbffef56f00 +e5fffffffffffffffffffffffe000ffff73377bb3333fffffffff7bb9f2df7ffffffffff +ffbffffffffffbf8ffffffffffffffffffffb3fffffffffffffffffffff7ffffffffffff +ffffffffefffffffffffff3efcfd7dc0 +d7fffffffffffffffffffffffe0003fff77b707b7b7bffffffffe7ffbe6fffffffffffff +ffbffffffffffbc7ffffffffffffffffffff8fffffffffffffffffffffefffffffffffff +ffffffffefffffffffffffbfedf57f40 +e77ffffffffffffffffffffffe0000fff77b77bb7b7bffffffffeedddf4f6fffffffffff +ffbffffffffffa3fffffffffffffffffffff3fffffffffffffffffffffdfffffffffffff +ffffffffefffffffffffff3012f57740 +d7fffffffffffffffffffffffe0001fff77b77db7b7bfffffffff7ff9f5bffffffffffff +ff7fc000000000000000003ffff000000000000000000ffffc000000000000000003ffff +000000000000000000ffff6aa4f57f40 +e5fffffffffffffffffffffffe0007fff77b77db7b7bffffffffe7f7deaffbffffffffff +ff7fcaaaafffffffff55553ffff7ffffffffffffffffeffffdfffffffffffffffffbffff +7ffffffffffffffffeffffb7dffadf40 +d77ffffffffffffffffffffffe001ffff77b77db7b33fffffffff7bd9eaedfffffffffff +feffd5555ffffffffeaaaabffff7ffffffffffffffffeffffdfffffffffffffffffbffff +7ffffffffffffffffeffff1d75f57bc0 +e7fffffffffffffffffffffffe007ffff77b97db7b8bffffffffe7ffbfafffffffffffff +feffcaaaafffffffff7ffd3ffff7ffffffffffffffffeffffdfffffffffffffffffbffff +7ffffffffffffffffeffffbbdff57f00 +d7fffffffffffffffffffffffe41fffffffffffffffbffffffffeeef9eadf7ffffffffff +fdffcab55fdeffbfff7ffabffff7ffffe5bfb067ffffeffffdffcbfffff7feff3ffbffff +7ffff81bfedffffffeffff3775fd6fc0 +e77ffffffffffffffffffffffe07ffffffffffffff33fffffffff7fbbeafbfffffffffff +fdffcabaafdefffffebff53ffff7fffffd9f3fb7ffffeffffdffdbfffff7feffbffbffff +7ffffbffffdffffffeffffaeeff97b40 +d5fffffffffffffffffffffffe1fffffffffffffff87ffffffffe7ff9eafffffffffffff +fdffd57d5fded3b77ebffabffff7ffffeddfb7f7ffffeffffdfffbf8eb74f2e3bffbffff +7ffffbfb4e8c7ffffeffff3b5af37f40 +67fffffffffffffffffffffffe7ffffffffffffffffffffffffff6dfdfaef7ffffffffff +fbffd57aafdecdb77f5ff53ffff7ffffefaeb7b7ffffeffffdffdbf774b76dddbffbffff +7ffffbfb36dbbffffeffffadfffd7f40 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe7fd9eafbfffffffffff +fbffcafd5fdeddb77f5feabffff7ffffedaef27fffffeffffdffdfff6ff77efffffbffff +7ffff83b76dbbffffeffff3755f97740 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffefefbf5befffffffffff +f7ffcafeafdeddbafeafd53ffff7ffffedf5b7f7ffffeffffdffdbfd6db76ef1bffbffff +7ffffbfb76d83ffffeffffbdeff57fc0 +d5fffffffffffffffffffffffffffffffffffffffffffffffffff77fdeafffffffffffff +f7ffd5ff5fdeddbafeafeabffff7fffffdbdbff7ffffeffffdffdbf76dbfeeddbffbffff +7ffffbfb76dbfffffeffff36baf56f00 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7fd9eaf7bffffffffff +f7ffd5feafdeddbdff57d53ffff7ffffedbbb7f7ffffeffffdfffbf77db37dddbffbffff +7ffffbfb76dbbffffeffffaff7fd7dc0 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff7efbf5bffffffffffff +efffcbff5fe1ddbdff57aabffff7ffffefbfb7f7ffffeffffdffda39aff4f2ebbffbffff +7ffffbfb76cc7ffffeffff3d5df57f40 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe77f9eaeefffffffffff +efffcbffaffffffffeab553ffff7ffffeffffff7ffffeffffdffdfffffffffffbffbffff +7ffffffffffffffffeffffabfbf57740 +d77ffffffffffffffff1fffffffffffffffffffffffffffffffff7dddeafffffffffffff +efffd7ffdffffffffeabaabffff7ffffeffffff7ffffeffffdffdfffffffffffbffbffff +7ffffffffffffffffeffff3eaef57f40 +e5fffffffffffffffff27ffffff7fffeffffffffffffffffffffe7ff9eafdfffffffffff +dfffcaaaafffffffff55553ffff7fffff7ffffefffffeffffdffefffffffffffbffbffff +7ffffffffffffffffeffffab7bfadf40 +d7fffffffffffffffff89ffffff7ffeefffffffffffffffffffff7f7bfaef7ffffffffff +dfffd5555ffffffffeaaaabffff7ffffffffffffffffeffffdfffffffffffffffffbffff +7ffffffffffffffffeffff3fd7f57bc0 +e77ffffffffffffffff227ffffebffeeffffffffffffffffffffe7bddf2fffffffffffff +dfffcaaaafffffffff55553ffff7ffffffffffffffffeffffdfffffffffffffffffbffff +7ffffffffffffffffeffffaabef57f00 +d7fffffffffffffffff009ffffebef428ffffffffffffffffffff7ff9f5bbfffffffffff +bfffc000000000000000003ffff000000000000000000ffffc000000000000000003ffff +000000000000000000ffff37ebf56fc0 +e5fffffffffffffffff5427fffddef6e67ffffffffffffffffffe6efdeaff7ffffffffff +bffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffff9fffffffffffffbd5dfd7b40 +d77ffffffffffffffff0109fffddef6ef7ffffffffffffffffffeffd9eaeffffffffffff +bffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffe1fffffffffffff2bf7f97f40 +e7fffffffffffffffff54427ffbeef6ef7fffffffffffffffffff7bfbeafefffffffffff +7ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffff8bfffffffffffffbeaefb7f40 +d7fffffffffffffffff0108fff80ef6ef7ffffffffffffffffffe7f79faf7fffffffffff +7ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffff5bfffffffffffff2bfbf57740 +e77ffffffffffffffffa423fffbeef6ef7fffffffffffffffffff7ffde5bfbffffffffff +7ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffc37fffffffffffffbeadf57fc0 +d5fffffffffffffffff114ffff7f666ef7ffffffffffffffffffe6001fafdfffffffffff +7ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffff2effffffffffffff35f7f56f00 +67fffffffffffffffff843ffff7f7172f7ffffffffffffffffffecaabf2effffffffffff +7ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffedeffffffffffffffaf5ef57dc0 +d77ffffffffffffffff11ffffffffffffffffffffffffffffffff77ffeaff7fffffffffe +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffff93dffffffffffffff3dfbf57f40 +e7fffffffffffffffff43fffffffffffffffffffffffffffffffebd55f5bbffffffffffe +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffe6fbffffffffffffff56adfd7740 +d5fffffffffffffffff1ffffffffffffffffffffffffffffffffe6bbfeaffffffffffffe +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffff9dfbffffffffffffffbbf7f97f40 +e77ffffffffffffffffbffffffffffffffffffffffffffffffffebeebeaef7fffffffffd +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffff7bf7ffffffffffffff2f5df35f40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff6bdfeafbffffffffffd +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffce7f7ffffffffffffffbafbfcfbc0 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffe3d75faffffffffffffd +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fff3dfefffffffffffffff2f56f57f00 +d77ffffffffffffffffffffffffffffffffffffffffffffffffff77dfeadf7fffffffffd +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffcfbfdfffffffffffffffb5fff56fc0 +e5ffffffffffffffffffffffffffffffffffffffffffffffffffe6d6beafbffffffffffd +fffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffbe7fdfffffffffffffff3f55f57b40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffff5fbfeafeffffffffffb +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fe7dffbfffffffffffffffaafffd7f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffe7aebeaefffffffffffb +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +f9fbff7fffffffffffffff3faaf57f40 +d7fffffffffffffffff1fffffffffffffffffffffffffffffffff57dffaffbfffffffffb +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +e7e7ff7fffffffffffffffaadff57740 +e5fffffffffffffffffa7fffffc7ffbfffffffffffffffffffffe7d75f2ddffffffffffb +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +dfdffefffffffffffffffe3ff5f57fc0 +d77ffffffffffffffff09fffff39ffbfffbfffffffffffffffffeabeff6ffffffffffffb +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +3fbffefffffffffffffff9aaaff56f00 +e7fffffffffffffffff227ffff7dffbfffbffffffffffffffffff7ebbeaeeffffffffff7 +ffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc +ff7ffdffffffffffffffe73ffdfd7dc0 +d7fffffffffffffffff889ffff7fbda3c30fffffffffffffffffe2b77eaffffffffffff7 +ffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb +fcfffbffffffffffffff9faaabf97f40 +e77ffffffffffffffff2027fff9fbd99bdbffffffffffffffffff7fddeaf77fffffffff7 +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7 +fbfffbfffffffffffffe7f3dfefb7740 +d5fffffffffffffffff0509fffe7bdbdbfbfffffffffffffffffe6ab7f5bfffffffffff7 +ffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffff9f +f7fff7fffffffffffff9ff56abf27f40 +67fffffffffffffffffa8427fff9bdbdc3bffffffffffffffffff5ffbeafdffffffffff7 +ffffffffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffe7f +cfffefffffffffffffe7ffbffdf6df40 +d77ffffffffffffffff0108ffffdbdbdf9bfffffffffffffffffe6aafeaef7fffffffff7 +ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffffdff +bfffefffffffffffff9fff1557f97bc0 +e7fffffffffffffffff4a23fff7dbdbdfdbffffffffffffffffff7ffbeaffffffffffff7 +ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffff3ff +7fffdffffffffffffe7fffbfbef57f00 +d5fffffffffffffffff204ffff399999bdbfffffffffffffffffe5557fafbfffffffffef +ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffffcffc +ffffdffffffffffff9ffff2aebfd6fc0 +e77ffffffffffffffff0abffffc7c5a3c3cffffffffffffffffff7bfdf2df7ffffffffef +ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffff3ffb +ffffbfffffffffffe7fffebfddf57b40 +d7fffffffffffffffff40fffffffffffffffffffffffffffffffe6d57e6fffffffffffef +ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffffefff7 +ffff7fffffffffff9ffffd3577f57f40 +e7fffffffffffffffff8bffffffffffffffffffffffffffffffff5ffbf4f6fffffffffef +ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffff9ffef +ffff7ffffffffffe7ffffbafddf57f40 +d77ffffffffffffffff2ffffffffffffffffffffffffffffffffe7aaff5bffffffffffef +ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffe7ff9f +fffefffffffffff9ffffe73abbfd7740 +e5fffffffffffffffff3fffffffffffffffffffffffffffffffff57fdeaffbffffffffef +ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffffdfff7f +fffdffffffffffe7ffffdfb7f6f57fc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7d57eaedfffffffffef +ffffffffffffdfffffffffffffffffffffffffffffffffffffffffffffffffffff3ffeff +fffdffffffffff9fffffbf1aaff56f00 +e77ffffffffffffffffffffffffffffffffffffffffffffffffff56fbfafffffffffffef +ffffffffffffdffffffffffffffffffffffffffffffffffffffffffffffffffffcfff9ff +fffbfffffffffe7ffffe7f6ffdf57dc0 +d7ffffffffffffffffffffffffffffffffffffffffffffffffffe7fafeadf7ffffffffdf +ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffff3fff7ff +fffbfffffffff9fffffdffbaabf57f40 +e5fffffffffffffffffffffffffffffffffffffffffffffffffff557deafbfffffffffdf +ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffffffefffefff +fff7ffffffffe7fffffbff2f7dfd7740 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe6fd7eafffffffffffdf +ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffffff9fff9fff +ffefffffffff9fffffe7ffb5d7f97f40 +e7fffffffffffffffffffffffffffffffffffffffffffffffffff7abbfaef7ffffffffdf +ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffffe7fff7fff +ffeffffffffe7fffffdfff3fbef6df40 +d7fffffffffffffffff1ffffffffffffffffffffffffffffffffe57efeafbfffffffffdf +ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffff9fffeffff +ffdffffffff9ffffffbfffaad5f97bc0 +e77ffffffffffffffffa7fffff7fffffefff7ffffffffffffffff7d5df5befffffffffdf +ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffff7fffdffff +ffbfffffffe7ffffff7fff3f7ff57f00 +d5fffffffffffffffff09fffff7fffffefff7fffffffffffffffe7fffeafffffffffffdf +ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffffcffff3ffff +ffbfffffff9ffffffcffffbffff56fc0 +67fffffffffffffffff227ffff7fffffefff7ffffffffffffffff7ff9eaf7bffffffffdf +ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffff3fffefffff +ff7ffffffe7ffffffbffff3ffcfd7b40 +d77ffffffffffffffff889ffff7f874ce8f170ffffffffffffffe7ffbf5bffffffffffdf +ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffffeffffdfffff +ff7ffffffdfffffff7ffffbff9f57f40 +e7fffffffffffffffff2027fff7f33336666667ffffffffffffff77f3eaeefffffffffdf +ffffffffffffbffffffffffffffffffffffffffffffffffffffffffffffff9ffff3fffff +fefffffff3ffffffcfffff1eddf57f40 +d5fffffffffffffffff0509fff7ffb776f6f7f7fffffffffffffebf67eafffffffffffdf +ffffffffffffbfffffffffffffffffffffffffffffffffffffffffffffffe7fffeffffff +fdffffffcfffffffbfffff6ff3f57740 +e77ffffffffffffffffa8427ff7f83776f6f707fffffffffffffe7debeafdfffffffffbf +ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffff9ffffdffffff +fdffffff3fffffff7fffffbdf5fd7fc0 +d7fffffffffffffffff0108fff7f3b776f6f677ffffffffffffff5fcffaef7ffffffffbf +ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffff7ffff3ffffff +fbfffffcfffffffcfffffe2f6bf96f00 +e7fffffffffffffffff4a23fff7f7b776f6f6f7fffffffffffffe7fedf2fffffffffffbf +ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffcffffefffffff +f7fffff3fffffffbfffffebfe6f37dc0 +d77ffffffffffffffff204ffff7f33776666667ffffffffffffff5797f5bbfffffffffbf +ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffff3ffffdfffffff +f7ffffcffffffff7fffffd37cbfd7f40 +e5fffffffffffffffff0abffff03897768f1713fffffffffffffe7f9beaff7ffffffffbf +ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffcfffffbfffffff +efffff3fffffffeffffffbafedf97740 +d7fffffffffffffffff40fffffffffffffffffffffffffffffffeab3feaeffffffffffbf +ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffbffffe7fffffff +effffcffffffff9ffffff73d9ff57f40 +e77ffffffffffffffff8bfffffffffffffffffffffffffffffffe7fb5eafefffffffffbf +ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffe7ffffdffffffff +dffff3ffffffff7ffffff757aaf55f40 +d7fffffffffffffffff2ffffffffffffffffffffffffffffffffeab6ffaf7fffffffffbf +ffffffffffff7ffffffffffffffffffffffffffffffffffffffffffff9fffffbffffffff +bfffcffffffffeffffffef3dfffafbc0 +e5fffffffffffffffff3fffffffffffffffffffffffffffffffff7fbbe5bfbffffffffbf +ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffe7ffffe7ffffffff +bfff3ffffffff9ffffffdfab55f57f00 +d77fffffffffffffffffffffffffffffffffffffffffffffffffe7ffffafdfffffffffbf +ffffffffffff7fffffffffffffffffffffffffffffffffffffffffffdfffffdfffffffff +7ffcfffffffff7ffffffbf3ffff56fc0 +e7ffffffffffffffffffffffffffffffffffffffffffffffffffefffff2effffffffffbf +fffffffffffeffffffffffffffffffffffffffffffffffffffffffff3fffffbffffffffe +fff3ffffffffefffffff7ffffffd7b40 +d7ffa492492492492495252492492492492492492492492492493ffffeaff7fc92492492 +492492492492492492492492492492492492492492492492492492492492492492492492 +4924924924924924924924fffff97f40 +e77f924924924924924848924924924924924924924924924924bfffff5bbff924924924 +924924924924924924924924924924924924924924924924924924924924924924924924 +9249249249249249249249fffff37f40 +d5ffafbfffffffffffffffffffffffffffffffffffffffffffdffffffeaffffafbffffff +fffffffffffffffffffffffffffffffffffffdf7df7df7df7df7df7df7df7df7df7df7df +7df7df7df7df7df7dffdfffffff67740 +67ffdaf77fffffffffffffffffffffffffffffffffffffffbf7afffffeaef7fdaf77ffff +ffffffffffffffffffffffffffffffffffffd75d75d75d75d75d75d75d75d75d75d75d75 +d75d75d75d75d75d75f757fffff57fc0 +d77fafde7fffffffffffffffffffffffffffffffffffffff5fd7fffffeafbffafde7ffff +ffffffffffffffffffffffffffffffffffff9df7df7df7df7df7df7df7df7df7df7df7df +7df7df7df7df7df7effdfffffff56f00 +e7ff957ebfffffffffffffffffffffffffffffffffffffff3ffd7fffffafeff957ebffff +ffffffffffffffffffffffffffffffffffffd7aebaebaebaebaebaebaebaebaebaebaeba +ebaebaebaebaebaebaff57fffffd7dc0 +d5ffdfff7b6db6db6db76db6db6db6db6db6db6db6db6db7bbfbfffffeadfffdfff7b6db +6db6db6db6db6db6db6db6db6db6db6db6db9d7df7df7df7df7df7df7df7df7df7df7df7 +df7df7df7df7df7df7fffffffff57f40 +e77f97fe7fffffffffffffffffffffffffffffffffffffff3eff7ffffeaffbf97fe7ffff +fffffffffffffffffffffffffffffffffffedbebaebaebaebaebaebaebaebaebaebaebae +baebaebaebaebad6aefffbfffff57740 +d7ffbff6bfdf7df7defdffddeef77bbddeef77bbddeef77b3fbffffffeafbffbff6bfbbd +deef77bbddeef77bbddeef77bbddeef77bbf975f7df7df7df7df7df7df7df7df7df7df7d +f7df7df7df7df7fbfdf7fffffff57f40 +e7ffd1be76fbefbef7efb6ff7fbfdfeff7fbfdfeff7fbfdf5ff8fffffeadeffd1be7dfef +f7fbfdfeff7fbfdfeff7fbfdfeff7fbfdff7deead6ad6ad6ad6ad6ad6ad6ad6ad6ad6ad6 +ad6ad6ad6ad6aeaeabfec7fffffadf40 +d77f9c7f7fffffffffbffff7fbfdfeff7fbfdfeff7fbfdffbbe5ffffffaffff9c7f77eff +7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfefd95bfbbfbbfbbfbbfbbfbbfbbfbbfbbfbbfbb +fbbfbbfbbfbbf5fb7edf2ffffff57bc0 +e5ffd6967f6db6dbbdfb7bbfdfeff7fbfdfeff7fbfdfeffb3f877ffffeaf7ffd6967f7fb +fdfeff7fbfdfeff7fbfdfeff7fbfdfeff7bf9feaeeaeeaeeaeeaeeaeeaeeaeeaeeaeeaee +aeeaeeaeeaef5f57abfc5bfffff57f00 +d7ff9fa6bbffffffefffdffeff7fbfdfeff7fbfdfeff7fdf3e3dffffff5bf7f9fa6bffdf +eff7fbfdfeff7fbfdfeff7fbfdfeff7fbfefd55fddfddfddfddfddfddfddfddfddfddfdd +fddfddfddfbafafefef1bffffffd6fc0 +077fdad47ffffffdff6ffef7fbfdfeff7fbfdfeff7fbf6ffb976fffffeafdffaad47deff +7fbfdfeff7fbfdfeff7fbfdfeff7fbfdfffb9ff577577577577577577577577577577577 +57757757757757d5abc6f7fffff97a00 +f7ff9779700000020090010804020100804020100804090032dbfffffeaefffdf7972100 +804020100804020100804020100804020004555eedeedeedeedeedeedeedeedeedeedeed +eedeedeeefedfebf7f9baffffffb7fe0 +e5ffddee6aaaaaa9552554a552a954aa552a954aa552a4aab7ef7ffffeaff7f95ee64a55 +2a954aa552a954aa552a954aa552a954aaa91febdebdebdebdebdebdebdebdebdebdebde +bdebbbb5dd5f55d5eaeefbfffff57f40 +d77f9fffffffffffffffffffffffffffffffffffffffffffffffffffff5bbffdffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffff57740 +e7ffbffffffffffffffffffffffffffffffffffffffffffffffffffffeaffffbffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffff57f40 +d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffeaef7ffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffff56f40 +e77fffffffffffffffffffffffffffffffffffffffffffffffffffffffafbfffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +fffffffffffffffffffffffffff57f40 +d5fea92aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa9255555552fefeaa5555555 +55555555555555555555555555555555555548aa4aa4aa4aa4aa4aa4aa4aa4aa4aa4a925 +49552aaa9552aaaa55552aaaaaad7bc0 +e7fd5555555555555555555555555555555555555555555555555555556dffeaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaab5555555555555555555555555555555555 +5555555555555555555555555552df00 +d77eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaf7bd555555555 +55555555555555555555555555555555555554aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaaaaaaaad7fc0 +e7f955555552aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaafdf2aaaaaaaaa +aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaaaaaaaa97b40 +d5eaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaffeaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa +aaaaaaaaaaaaaaaaaaaaaaaaaaaadf40 +e77ffffffffffffffffffffffffffffffffffffffffffffffffffffffffdffffffffffff +ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff +ffffffffffffffffffffffffffffff40 +d7dfffff777fbbfff7ff7def7dfbdf7ef7dfbdfdf7fffbdefffffffffeffb7fffffffdf7 +dfbdf7ef7dfbdf7ef7dfbdf7ef7dfbdf7fffffdffdffdffdffdffdffdffdffdffdffffff +ffdfeef7f77fef7fef77fffffffff740 +e7fdb6dbffedff6dbedbef7befdefbf7befdef6fbdb6def7edb6db6db7b7ff6db6db6fbe +fdefbf7befdefbf7befdefbf7befdefbdb6db6fb6fb6fb6fb6fb6fb6fb6fb6fb6fb6db6d +b6fb7fbdbfdb7bdb7bff6db6db6dbf40 +d5efffffddffefffffffffffff7fffdffff7ffffffffffffbffffffffffefbffffffffff +f7fffdffff7fffdffff7fffdffff7fffffffffffffffffffffffffffffffffffffffffff +fffffbfffbffffffffddffffffffefc0 +d77bffeeffdf7dbbedef77dfbbf7eefdfbbefbfb7eefbfbdffef77df7dffdff77bbddddb +bf7eefdfbbf7eefdfbbf7eefdfbbf7eefddeff6ef6ef6ef6ef6ef6ef6ef6ef6ef6efbff7 +7bb7dfeefefbdef7deffbbefbffffb00 +e7ff657ff6fbdfff7f7dfef6fefdbfbf6fffdf5fd7fdf5ef757bfefbef6dfebfdfeff7ff +efdbfbf6fefdbfbf6fefdbfbf6fefdbfaff7abffbffbffbffbffbffbffbffbffbffdeabf +dffef77fefdef7bef7f7ff7df4d57fc0 +d52557488a955249529545554a9552a5549154d4b5254d5556aa894a555511a8a4525512 +58aa962aa58aa962aa58aa962aa58aa96a555a92a92a92a92a92a92a92a92a92a92555a9 +5449554894aaaaa5551444a529ab5240 +eaaaa556baaab556ad6ab555555555555556aaab555aaaaaaaaab6aaaaaad6ab6dad556a +abaaaaeaaabaaaaeaaabaaaaeaaabaaaaaaad555555555555555555555555555555aad55 +55ab555b6b5555555575db5ad55aad40 +800004000000000000000000000000000000000000000000000000000000000000000000 +000000000000000000000000000000000000000000000000000000000000000000000000 +00000000000000000000000001000000 +002000400040008000000800008000200000000000002010000000210000200000000004 +000000000000000000000000000000000000004004004004004004004004004000000000 +00200000000008100000000000000100 + + +showpage + +% stop using temporary dictionary +end + +% restore original state +origstate restore + +%%Trailer diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/html.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/System/html.tex Mon May 12 18:26:53 1997 +0200 @@ -0,0 +1,211 @@ +\chapter{Generating HTML documents} \label{html} +\index{HTML|bold} + +Isabelle is able to make HTML documents that show a theory's +definition, the theorems proved in its ML file and the relationship +with its ancestors and descendants. HTML stands for Hypertext Markup +Language and is used in the World Wide Web to represent text +containing images and links to other documents. Web browsers like +{\tt xmosaic} or {\tt netscape} are used to view these documents. + +Besides the three HTML files that are made for every theory +(definition and theorems, ancestors, descendants), Isabelle stores +links to all theories in an index file. These indexes are themself +linked with other indexes to represent the hierarchic structure of +Isabelle's logics. + +To make HTML files for logics that are part of the Isabelle +distribution, simply set the shell environment variable {\tt +MAKE_HTML} before compiling a logic. This works for single logics as +well as for the shell script {\tt make-all} (see +\ref{sec:shell-scripts}). To make HTML files for {\tt FOL} using a +{\tt csh} style shell, the following commands can be used: + +\begin{ttbox} +cd FOL +setenv MAKE_HTML +make +\end{ttbox} + +The databases made this way do not differ from the ones made with an +unset {\tt MAKE_HTML}; in particular no HTML files are written if the +database is used to manually load a theory. + +As you will see below, the HTML generation is controlled by a boolean +reference variable. If you want to make databases which define this +variable's value as {\tt true} and where therefore HTML files are +written each time {\tt use_thy} is invoked, you have to set {\tt +MAKE_HTML} to ``{\tt true}'': + +\begin{ttbox} +cd FOL +setenv MAKE_HTML true +make +\end{ttbox} + +All theories loaded from within the {\tt FOL} database and all +databases derived from it will now cause HTML files to be written. +This behaviour can be changed by assigning a value of {\tt false} to +the boolean reference variable {\tt make_html}. Be careful when making +such databases publicly available since it means that your users will +generate HTML files though they might not intend to do so. + +As some of Isabelle's logics are based on others (e.g. {\tt ZF} on +{\tt FOL}) and because the HTML files list a theory's ancestors, you +should not make HTML files for a logic if the HTML files for the base +logic do not exist. Otherwise some of the hypertext links might point +to non-existing documents. + +The entry point to all logics is the {\tt index.html} file located in +Isabelle's main directory. You can also access a HTML version of the +distribution package at + +\begin{ttbox} +http://www4.informatik.tu-muenchen.de/~nipkow/isabelle/ +\end{ttbox} + + +\section*{Manual HTML generation} + +To manually control the generation of HTML files the following +commands and reference variables are used: + +\begin{ttbox} +init_html : unit -> unit +make_html : bool ref +finish_html : unit -> unit +\end{ttbox} + +\begin{ttdescription} +\item[\ttindexbold{init_html}] +activates the HTML facility. It stores the current working directory +as the place where the {\tt index.html} file for all theories loaded +afterwards will be stored. + +\item[\ttindexbold{make_html}] +is a boolean reference variable read by {\tt use_thy} and other +functions to decide whether HTML files should be made. After you have +used {\tt init_html} you can manually change {\tt make_html}'s value +to temporarily disable HTML generation. + +\item[\ttindexbold{finish_html}] +has to be called after all theories have been read that should be +listed in the current {\tt index.html} file. It reads a temporary +file with information about the theories read since the last use of +{\tt init_html} and makes the {\tt index.html} file. If {\tt +make_html} is {\tt false} nothing is done. + +The indexes made by this function also contain a link to the {\tt +README} file if there exists one in the directory where the index is +stored. If there's a {\tt README.html} file it is used instead of +{\tt README}. + +\end{ttdescription} + +The above functions could be used in the following way: + +\begin{ttbox} +init_html(); +{\out Setting path for index.html to "/home/clasohm/isabelle/HOL"} +use_thy "List"; +\dots +finish_html(); +\end{ttbox} + +Please note that HTML files are made only for those theories that are +read while {\tt make_html} is {\tt true}. These files may contain +links to theories that were read with a {\tt false} {\tt make_html} +and therefore point to non-existing files. + + +\section*{Extending or adding a logic} + +If you add a new subdirectory to Isabelle's logics (or add a completly +new logic), you would have to call {\tt init_html} at the start of every +directory's {\tt ROOT.ML} file and {\tt finish_html} at the end of +it. This is automatically done if you use + +\begin{ttbox}\index{*use_dir} +use_dir : string -> unit +\end{ttbox} + +This function takes a path as its parameter, changes the working +directory, calls {\tt init_html} if {\tt make_html} is {\tt true}, +executes {\tt ROOT.ML}, and calls {\tt finish_html}. The {\tt +index.html} file written in this directory will be automatically +linked to the first index found in the (recursively searched) +superdirectories. + +Instead of adding something like + +\begin{ttbox} +use"ex/ROOT.ML"; +\end{ttbox} + +to the logic's makefile you have to use this: + +\begin{ttbox} +use_dir"ex"; +\end{ttbox} + +Since {\tt use_dir} calls {\tt init_html} only if {\tt make_html} is +{\tt true} the generation of HTML files depends on the value this +reference variable has. It can either be inherited from the used \ML{} +database or set in the makefile before {\tt use_dir} is invoked, +e.g. to set it's value according to the environment variable {\tt +MAKE_HTML}. + +The generated HTML files contain all theorems that were proved in the +theory's \ML{} file with {\tt qed}, {\tt qed_goal} and {\tt qed_goalw}, +or stored with {\tt bind_thm} and {\tt store_thm}. Additionally there +is a hypertext link to the whole \ML{} file. + +You can add section headings to the list of theorems by using + +\begin{ttbox}\index{*use_dir} +section: string -> unit +\end{ttbox} + +in a theory's ML file, which converts a plain string to a HTML +heading and inserts it before the next theorem proved or stored with +one of the above functions. If {\tt make_html} is {\tt false} nothing +is done. + + +\section*{Using someone else's database} + +To make them independent from their storage place, the HTML files only +contain relative paths which are derived from absolute ones like the +current working directory, {\tt gif_path} or {\tt base_path}. The +latter two are reference variables which are initialized at the time +when the {\tt Pure} database is made. Because you need write access +for the current directory to make HTML files and therefore (probably) +generate them in your home directory, the absolute {\tt base_path} is +not correct if you use someone else's database or a database derived +from it. + +In that case you first should set {\tt base_path} to the value of {\em +your} Isabelle main directory, i.e. the directory that contains the +subdirectories where standard logics like {\tt FOL} and {\tt HOL} or +your own logics are stored. If you do not do this, the generated HTML +files will still be usable but may contain incomplete titles and lack +some hypertext links. + +It's also a good idea to set {\tt gif_path} which points to the +directory containing two GIF images used in the HTML +documents. Normally this is the {\tt Tools} subdirectory of Isabelle's +main directory. While its value in general is still valid, your HTML +files would depend on files not owned by you. This prevents you from +changing the location of the HTML files (as they contain relative +paths) and also causes trouble if the database's maker (re)moves the +GIFs. + +Here's what you should do before invoking {\tt init_html} using +someone else's \ML{} database: + +\begin{ttbox} +base_path := "/home/smith/isabelle"; +gif_path := "/home/smith/isabelle/Tools"; +init_html(); +\dots +\end{ttbox} diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/system.ind diff -r c13e54126fcd -r 0b3ff84bab29 doc-src/System/system.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/System/system.tex Mon May 12 18:26:53 1997 +0200 @@ -0,0 +1,46 @@ + +%% $Id$ + +\documentclass[12pt]{report} +\usepackage{a4,epsf} + +\makeatletter +\input{../iman.sty} +\input{../extra.sty} +\makeatother + +\title{The Isabelle System Manual} + +\author{{\em Lawrence C. Paulson}\\ + Computer Laboratory \\ University of Cambridge \\ + \texttt{lcp@cl.cam.ac.uk}\\[3ex] + With Contributions by Tobias Nipkow and Markus Wenzel% +\thanks{ Chapter~\protect\ref{html} was written by Carsten Clasohm. + Chapter~\protect\ref{browse} was written by Stefan Berghofer.}} + +\makeindex + +\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2} + +\pagestyle{headings} +\sloppy +\binperiod %%%treat . like a binary operator + +\begin{document} +\underscoreoff + +\maketitle +\pagenumbering{roman} \tableofcontents \clearfirst + +%\include{introduction} + +\include{html} +\include{browse} + +%\begingroup +% \bibliographystyle{plain} \small\raggedright\frenchspacing +% \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref} +%\endgroup + +\input{system.ind} +\end{document}