<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ -->
<title>src/Data/Hash/CRC32/GZip.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{- arch-tag: GZIP CRC32 implementation in pure Haskell
<a name="line-2"></a>Copyright (C) 2004 John Goerzen <jgoerzen@complete.org>
<a name="line-3"></a>
<a name="line-4"></a>This program is free software; you can redistribute it and/or modify
<a name="line-5"></a>it under the terms of the GNU General Public License as published by
<a name="line-6"></a>the Free Software Foundation; either version 2 of the License, or
<a name="line-7"></a>(at your option) any later version.
<a name="line-8"></a>
<a name="line-9"></a>This program is distributed in the hope that it will be useful,
<a name="line-10"></a>but WITHOUT ANY WARRANTY; without even the implied warranty of
<a name="line-11"></a>MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
<a name="line-12"></a>GNU General Public License for more details.
<a name="line-13"></a>
<a name="line-14"></a>You should have received a copy of the GNU General Public License
<a name="line-15"></a>along with this program; if not, write to the Free Software
<a name="line-16"></a>Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
<a name="line-17"></a>-}</span>
<a name="line-18"></a>
<a name="line-19"></a><span class='hs-comment'>{- |
<a name="line-20"></a> Module : Data.Hash.CRC32.GZip
<a name="line-21"></a> Copyright : Copyright (C) 2004 John Goerzen
<a name="line-22"></a> License : GNU GPL, version 2 or later
<a name="line-23"></a>
<a name="line-24"></a> Maintainer : John Goerzen <jgoerzen@complete.org>
<a name="line-25"></a> Stability : provisional
<a name="line-26"></a> Portability: portable
<a name="line-27"></a>
<a name="line-28"></a>CRC32 checksumming using the GZIP\/PKZIP algorithm as used in both
<a name="line-29"></a>ISO 3309 and section 8.1.1.6.2 of ITU-T V.42 and referenced in
<a name="line-30"></a>RFC1952.
<a name="line-31"></a>
<a name="line-32"></a>Copyright (c) 2004 John Goerzen, jgoerzen\@complete.org
<a name="line-33"></a>-}</span>
<a name="line-34"></a>
<a name="line-35"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Hash</span><span class='hs-varop'>.</span><span class='hs-conid'>CRC32</span><span class='hs-varop'>.</span><span class='hs-conid'>GZip</span> <span class='hs-keyword'>where</span>
<a name="line-36"></a>
<a name="line-37"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Array</span>
<a name="line-38"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Bits</span>
<a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Word</span>
<a name="line-40"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span>
<a name="line-41"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span>
<a name="line-42"></a>
<a name="line-43"></a><a name="update_crc"></a><span class='hs-definition'>update_crc</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Char</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word32</span>
<a name="line-44"></a><span class='hs-definition'>update_crc</span> <span class='hs-varid'>crc</span> <span class='hs-varid'>ch</span> <span class='hs-keyglyph'>=</span>
<a name="line-45"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>crc</span> <span class='hs-varop'>`xor`</span> <span class='hs-num'>0xFFFFFFFF</span>
<a name="line-46"></a> <span class='hs-varid'>newval</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>gzipcrctab</span> <span class='hs-varop'>!</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>c</span> <span class='hs-varop'>`xor`</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span> <span class='hs-varid'>ch</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>.&.</span> <span class='hs-num'>0xff</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-47"></a> <span class='hs-varop'>`xor`</span> <span class='hs-layout'>(</span><span class='hs-varid'>c</span> <span class='hs-varop'>`shiftR`</span> <span class='hs-num'>8</span><span class='hs-layout'>)</span>
<a name="line-48"></a> <span class='hs-keyword'>in</span>
<a name="line-49"></a> <span class='hs-varid'>newval</span> <span class='hs-varop'>`xor`</span> <span class='hs-num'>0xFFFFFFFF</span>
<a name="line-50"></a>
<a name="line-51"></a><a name="update_crc_list"></a><span class='hs-definition'>update_crc_list</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Word32</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Char</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word32</span>
<a name="line-52"></a><span class='hs-definition'>update_crc_list</span> <span class='hs-varid'>start</span> <span class='hs-varid'>list</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldl</span> <span class='hs-varid'>update_crc</span> <span class='hs-varid'>start</span> <span class='hs-varid'>list</span>
<a name="line-53"></a>
<a name="line-54"></a><a name="calc_crc32"></a><span class='hs-definition'>calc_crc32</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Char</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Word32</span>
<a name="line-55"></a><span class='hs-definition'>calc_crc32</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>update_crc_list</span> <span class='hs-num'>0</span> <span class='hs-varid'>s</span>
<a name="line-56"></a>
<a name="line-57"></a><a name="gzipcrctab"></a><span class='hs-definition'>gzipcrctab</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Array</span> <span class='hs-conid'>Int</span> <span class='hs-conid'>Word32</span>
<a name="line-58"></a><span class='hs-definition'>gzipcrctab</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>array</span> <span class='hs-layout'>(</span><span class='hs-num'>0</span><span class='hs-layout'>,</span><span class='hs-num'>255</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>zip</span> <span class='hs-keyglyph'>[</span><span class='hs-num'>0</span><span class='hs-keyglyph'>..</span><span class='hs-num'>255</span><span class='hs-keyglyph'>]</span>
<a name="line-59"></a> <span class='hs-keyglyph'>[</span>
<a name="line-60"></a> <span class='hs-num'>0x00000000</span><span class='hs-layout'>,</span> <span class='hs-num'>0x77073096</span><span class='hs-layout'>,</span> <span class='hs-num'>0xee0e612c</span><span class='hs-layout'>,</span> <span class='hs-num'>0x990951ba</span><span class='hs-layout'>,</span> <span class='hs-num'>0x076dc419</span><span class='hs-layout'>,</span>
<a name="line-61"></a> <span class='hs-num'>0x706af48f</span><span class='hs-layout'>,</span> <span class='hs-num'>0xe963a535</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9e6495a3</span><span class='hs-layout'>,</span> <span class='hs-num'>0x0edb8832</span><span class='hs-layout'>,</span> <span class='hs-num'>0x79dcb8a4</span><span class='hs-layout'>,</span>
<a name="line-62"></a> <span class='hs-num'>0xe0d5e91e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x97d2d988</span><span class='hs-layout'>,</span> <span class='hs-num'>0x09b64c2b</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7eb17cbd</span><span class='hs-layout'>,</span> <span class='hs-num'>0xe7b82d07</span><span class='hs-layout'>,</span>
<a name="line-63"></a> <span class='hs-num'>0x90bf1d91</span><span class='hs-layout'>,</span> <span class='hs-num'>0x1db71064</span><span class='hs-layout'>,</span> <span class='hs-num'>0x6ab020f2</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf3b97148</span><span class='hs-layout'>,</span> <span class='hs-num'>0x84be41de</span><span class='hs-layout'>,</span>
<a name="line-64"></a> <span class='hs-num'>0x1adad47d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x6ddde4eb</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf4d4b551</span><span class='hs-layout'>,</span> <span class='hs-num'>0x83d385c7</span><span class='hs-layout'>,</span> <span class='hs-num'>0x136c9856</span><span class='hs-layout'>,</span>
<a name="line-65"></a> <span class='hs-num'>0x646ba8c0</span><span class='hs-layout'>,</span> <span class='hs-num'>0xfd62f97a</span><span class='hs-layout'>,</span> <span class='hs-num'>0x8a65c9ec</span><span class='hs-layout'>,</span> <span class='hs-num'>0x14015c4f</span><span class='hs-layout'>,</span> <span class='hs-num'>0x63066cd9</span><span class='hs-layout'>,</span>
<a name="line-66"></a> <span class='hs-num'>0xfa0f3d63</span><span class='hs-layout'>,</span> <span class='hs-num'>0x8d080df5</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3b6e20c8</span><span class='hs-layout'>,</span> <span class='hs-num'>0x4c69105e</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd56041e4</span><span class='hs-layout'>,</span>
<a name="line-67"></a> <span class='hs-num'>0xa2677172</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3c03e4d1</span><span class='hs-layout'>,</span> <span class='hs-num'>0x4b04d447</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd20d85fd</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa50ab56b</span><span class='hs-layout'>,</span>
<a name="line-68"></a> <span class='hs-num'>0x35b5a8fa</span><span class='hs-layout'>,</span> <span class='hs-num'>0x42b2986c</span><span class='hs-layout'>,</span> <span class='hs-num'>0xdbbbc9d6</span><span class='hs-layout'>,</span> <span class='hs-num'>0xacbcf940</span><span class='hs-layout'>,</span> <span class='hs-num'>0x32d86ce3</span><span class='hs-layout'>,</span>
<a name="line-69"></a> <span class='hs-num'>0x45df5c75</span><span class='hs-layout'>,</span> <span class='hs-num'>0xdcd60dcf</span><span class='hs-layout'>,</span> <span class='hs-num'>0xabd13d59</span><span class='hs-layout'>,</span> <span class='hs-num'>0x26d930ac</span><span class='hs-layout'>,</span> <span class='hs-num'>0x51de003a</span><span class='hs-layout'>,</span>
<a name="line-70"></a> <span class='hs-num'>0xc8d75180</span><span class='hs-layout'>,</span> <span class='hs-num'>0xbfd06116</span><span class='hs-layout'>,</span> <span class='hs-num'>0x21b4f4b5</span><span class='hs-layout'>,</span> <span class='hs-num'>0x56b3c423</span><span class='hs-layout'>,</span> <span class='hs-num'>0xcfba9599</span><span class='hs-layout'>,</span>
<a name="line-71"></a> <span class='hs-num'>0xb8bda50f</span><span class='hs-layout'>,</span> <span class='hs-num'>0x2802b89e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5f058808</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc60cd9b2</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb10be924</span><span class='hs-layout'>,</span>
<a name="line-72"></a> <span class='hs-num'>0x2f6f7c87</span><span class='hs-layout'>,</span> <span class='hs-num'>0x58684c11</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc1611dab</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb6662d3d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x76dc4190</span><span class='hs-layout'>,</span>
<a name="line-73"></a> <span class='hs-num'>0x01db7106</span><span class='hs-layout'>,</span> <span class='hs-num'>0x98d220bc</span><span class='hs-layout'>,</span> <span class='hs-num'>0xefd5102a</span><span class='hs-layout'>,</span> <span class='hs-num'>0x71b18589</span><span class='hs-layout'>,</span> <span class='hs-num'>0x06b6b51f</span><span class='hs-layout'>,</span>
<a name="line-74"></a> <span class='hs-num'>0x9fbfe4a5</span><span class='hs-layout'>,</span> <span class='hs-num'>0xe8b8d433</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7807c9a2</span><span class='hs-layout'>,</span> <span class='hs-num'>0x0f00f934</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9609a88e</span><span class='hs-layout'>,</span>
<a name="line-75"></a> <span class='hs-num'>0xe10e9818</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7f6a0dbb</span><span class='hs-layout'>,</span> <span class='hs-num'>0x086d3d2d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x91646c97</span><span class='hs-layout'>,</span> <span class='hs-num'>0xe6635c01</span><span class='hs-layout'>,</span>
<a name="line-76"></a> <span class='hs-num'>0x6b6b51f4</span><span class='hs-layout'>,</span> <span class='hs-num'>0x1c6c6162</span><span class='hs-layout'>,</span> <span class='hs-num'>0x856530d8</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf262004e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x6c0695ed</span><span class='hs-layout'>,</span>
<a name="line-77"></a> <span class='hs-num'>0x1b01a57b</span><span class='hs-layout'>,</span> <span class='hs-num'>0x8208f4c1</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf50fc457</span><span class='hs-layout'>,</span> <span class='hs-num'>0x65b0d9c6</span><span class='hs-layout'>,</span> <span class='hs-num'>0x12b7e950</span><span class='hs-layout'>,</span>
<a name="line-78"></a> <span class='hs-num'>0x8bbeb8ea</span><span class='hs-layout'>,</span> <span class='hs-num'>0xfcb9887c</span><span class='hs-layout'>,</span> <span class='hs-num'>0x62dd1ddf</span><span class='hs-layout'>,</span> <span class='hs-num'>0x15da2d49</span><span class='hs-layout'>,</span> <span class='hs-num'>0x8cd37cf3</span><span class='hs-layout'>,</span>
<a name="line-79"></a> <span class='hs-num'>0xfbd44c65</span><span class='hs-layout'>,</span> <span class='hs-num'>0x4db26158</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3ab551ce</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa3bc0074</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd4bb30e2</span><span class='hs-layout'>,</span>
<a name="line-80"></a> <span class='hs-num'>0x4adfa541</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3dd895d7</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa4d1c46d</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd3d6f4fb</span><span class='hs-layout'>,</span> <span class='hs-num'>0x4369e96a</span><span class='hs-layout'>,</span>
<a name="line-81"></a> <span class='hs-num'>0x346ed9fc</span><span class='hs-layout'>,</span> <span class='hs-num'>0xad678846</span><span class='hs-layout'>,</span> <span class='hs-num'>0xda60b8d0</span><span class='hs-layout'>,</span> <span class='hs-num'>0x44042d73</span><span class='hs-layout'>,</span> <span class='hs-num'>0x33031de5</span><span class='hs-layout'>,</span>
<a name="line-82"></a> <span class='hs-num'>0xaa0a4c5f</span><span class='hs-layout'>,</span> <span class='hs-num'>0xdd0d7cc9</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5005713c</span><span class='hs-layout'>,</span> <span class='hs-num'>0x270241aa</span><span class='hs-layout'>,</span> <span class='hs-num'>0xbe0b1010</span><span class='hs-layout'>,</span>
<a name="line-83"></a> <span class='hs-num'>0xc90c2086</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5768b525</span><span class='hs-layout'>,</span> <span class='hs-num'>0x206f85b3</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb966d409</span><span class='hs-layout'>,</span> <span class='hs-num'>0xce61e49f</span><span class='hs-layout'>,</span>
<a name="line-84"></a> <span class='hs-num'>0x5edef90e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x29d9c998</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb0d09822</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc7d7a8b4</span><span class='hs-layout'>,</span> <span class='hs-num'>0x59b33d17</span><span class='hs-layout'>,</span>
<a name="line-85"></a> <span class='hs-num'>0x2eb40d81</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb7bd5c3b</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc0ba6cad</span><span class='hs-layout'>,</span> <span class='hs-num'>0xedb88320</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9abfb3b6</span><span class='hs-layout'>,</span>
<a name="line-86"></a> <span class='hs-num'>0x03b6e20c</span><span class='hs-layout'>,</span> <span class='hs-num'>0x74b1d29a</span><span class='hs-layout'>,</span> <span class='hs-num'>0xead54739</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9dd277af</span><span class='hs-layout'>,</span> <span class='hs-num'>0x04db2615</span><span class='hs-layout'>,</span>
<a name="line-87"></a> <span class='hs-num'>0x73dc1683</span><span class='hs-layout'>,</span> <span class='hs-num'>0xe3630b12</span><span class='hs-layout'>,</span> <span class='hs-num'>0x94643b84</span><span class='hs-layout'>,</span> <span class='hs-num'>0x0d6d6a3e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7a6a5aa8</span><span class='hs-layout'>,</span>
<a name="line-88"></a> <span class='hs-num'>0xe40ecf0b</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9309ff9d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x0a00ae27</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7d079eb1</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf00f9344</span><span class='hs-layout'>,</span>
<a name="line-89"></a> <span class='hs-num'>0x8708a3d2</span><span class='hs-layout'>,</span> <span class='hs-num'>0x1e01f268</span><span class='hs-layout'>,</span> <span class='hs-num'>0x6906c2fe</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf762575d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x806567cb</span><span class='hs-layout'>,</span>
<a name="line-90"></a> <span class='hs-num'>0x196c3671</span><span class='hs-layout'>,</span> <span class='hs-num'>0x6e6b06e7</span><span class='hs-layout'>,</span> <span class='hs-num'>0xfed41b76</span><span class='hs-layout'>,</span> <span class='hs-num'>0x89d32be0</span><span class='hs-layout'>,</span> <span class='hs-num'>0x10da7a5a</span><span class='hs-layout'>,</span>
<a name="line-91"></a> <span class='hs-num'>0x67dd4acc</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf9b9df6f</span><span class='hs-layout'>,</span> <span class='hs-num'>0x8ebeeff9</span><span class='hs-layout'>,</span> <span class='hs-num'>0x17b7be43</span><span class='hs-layout'>,</span> <span class='hs-num'>0x60b08ed5</span><span class='hs-layout'>,</span>
<a name="line-92"></a> <span class='hs-num'>0xd6d6a3e8</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa1d1937e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x38d8c2c4</span><span class='hs-layout'>,</span> <span class='hs-num'>0x4fdff252</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd1bb67f1</span><span class='hs-layout'>,</span>
<a name="line-93"></a> <span class='hs-num'>0xa6bc5767</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3fb506dd</span><span class='hs-layout'>,</span> <span class='hs-num'>0x48b2364b</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd80d2bda</span><span class='hs-layout'>,</span> <span class='hs-num'>0xaf0a1b4c</span><span class='hs-layout'>,</span>
<a name="line-94"></a> <span class='hs-num'>0x36034af6</span><span class='hs-layout'>,</span> <span class='hs-num'>0x41047a60</span><span class='hs-layout'>,</span> <span class='hs-num'>0xdf60efc3</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa867df55</span><span class='hs-layout'>,</span> <span class='hs-num'>0x316e8eef</span><span class='hs-layout'>,</span>
<a name="line-95"></a> <span class='hs-num'>0x4669be79</span><span class='hs-layout'>,</span> <span class='hs-num'>0xcb61b38c</span><span class='hs-layout'>,</span> <span class='hs-num'>0xbc66831a</span><span class='hs-layout'>,</span> <span class='hs-num'>0x256fd2a0</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5268e236</span><span class='hs-layout'>,</span>
<a name="line-96"></a> <span class='hs-num'>0xcc0c7795</span><span class='hs-layout'>,</span> <span class='hs-num'>0xbb0b4703</span><span class='hs-layout'>,</span> <span class='hs-num'>0x220216b9</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5505262f</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc5ba3bbe</span><span class='hs-layout'>,</span>
<a name="line-97"></a> <span class='hs-num'>0xb2bd0b28</span><span class='hs-layout'>,</span> <span class='hs-num'>0x2bb45a92</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5cb36a04</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc2d7ffa7</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb5d0cf31</span><span class='hs-layout'>,</span>
<a name="line-98"></a> <span class='hs-num'>0x2cd99e8b</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5bdeae1d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9b64c2b0</span><span class='hs-layout'>,</span> <span class='hs-num'>0xec63f226</span><span class='hs-layout'>,</span> <span class='hs-num'>0x756aa39c</span><span class='hs-layout'>,</span>
<a name="line-99"></a> <span class='hs-num'>0x026d930a</span><span class='hs-layout'>,</span> <span class='hs-num'>0x9c0906a9</span><span class='hs-layout'>,</span> <span class='hs-num'>0xeb0e363f</span><span class='hs-layout'>,</span> <span class='hs-num'>0x72076785</span><span class='hs-layout'>,</span> <span class='hs-num'>0x05005713</span><span class='hs-layout'>,</span>
<a name="line-100"></a> <span class='hs-num'>0x95bf4a82</span><span class='hs-layout'>,</span> <span class='hs-num'>0xe2b87a14</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7bb12bae</span><span class='hs-layout'>,</span> <span class='hs-num'>0x0cb61b38</span><span class='hs-layout'>,</span> <span class='hs-num'>0x92d28e9b</span><span class='hs-layout'>,</span>
<a name="line-101"></a> <span class='hs-num'>0xe5d5be0d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x7cdcefb7</span><span class='hs-layout'>,</span> <span class='hs-num'>0x0bdbdf21</span><span class='hs-layout'>,</span> <span class='hs-num'>0x86d3d2d4</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf1d4e242</span><span class='hs-layout'>,</span>
<a name="line-102"></a> <span class='hs-num'>0x68ddb3f8</span><span class='hs-layout'>,</span> <span class='hs-num'>0x1fda836e</span><span class='hs-layout'>,</span> <span class='hs-num'>0x81be16cd</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf6b9265b</span><span class='hs-layout'>,</span> <span class='hs-num'>0x6fb077e1</span><span class='hs-layout'>,</span>
<a name="line-103"></a> <span class='hs-num'>0x18b74777</span><span class='hs-layout'>,</span> <span class='hs-num'>0x88085ae6</span><span class='hs-layout'>,</span> <span class='hs-num'>0xff0f6a70</span><span class='hs-layout'>,</span> <span class='hs-num'>0x66063bca</span><span class='hs-layout'>,</span> <span class='hs-num'>0x11010b5c</span><span class='hs-layout'>,</span>
<a name="line-104"></a> <span class='hs-num'>0x8f659eff</span><span class='hs-layout'>,</span> <span class='hs-num'>0xf862ae69</span><span class='hs-layout'>,</span> <span class='hs-num'>0x616bffd3</span><span class='hs-layout'>,</span> <span class='hs-num'>0x166ccf45</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa00ae278</span><span class='hs-layout'>,</span>
<a name="line-105"></a> <span class='hs-num'>0xd70dd2ee</span><span class='hs-layout'>,</span> <span class='hs-num'>0x4e048354</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3903b3c2</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa7672661</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd06016f7</span><span class='hs-layout'>,</span>
<a name="line-106"></a> <span class='hs-num'>0x4969474d</span><span class='hs-layout'>,</span> <span class='hs-num'>0x3e6e77db</span><span class='hs-layout'>,</span> <span class='hs-num'>0xaed16a4a</span><span class='hs-layout'>,</span> <span class='hs-num'>0xd9d65adc</span><span class='hs-layout'>,</span> <span class='hs-num'>0x40df0b66</span><span class='hs-layout'>,</span>
<a name="line-107"></a> <span class='hs-num'>0x37d83bf0</span><span class='hs-layout'>,</span> <span class='hs-num'>0xa9bcae53</span><span class='hs-layout'>,</span> <span class='hs-num'>0xdebb9ec5</span><span class='hs-layout'>,</span> <span class='hs-num'>0x47b2cf7f</span><span class='hs-layout'>,</span> <span class='hs-num'>0x30b5ffe9</span><span class='hs-layout'>,</span>
<a name="line-108"></a> <span class='hs-num'>0xbdbdf21c</span><span class='hs-layout'>,</span> <span class='hs-num'>0xcabac28a</span><span class='hs-layout'>,</span> <span class='hs-num'>0x53b39330</span><span class='hs-layout'>,</span> <span class='hs-num'>0x24b4a3a6</span><span class='hs-layout'>,</span> <span class='hs-num'>0xbad03605</span><span class='hs-layout'>,</span>
<a name="line-109"></a> <span class='hs-num'>0xcdd70693</span><span class='hs-layout'>,</span> <span class='hs-num'>0x54de5729</span><span class='hs-layout'>,</span> <span class='hs-num'>0x23d967bf</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb3667a2e</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc4614ab8</span><span class='hs-layout'>,</span>
<a name="line-110"></a> <span class='hs-num'>0x5d681b02</span><span class='hs-layout'>,</span> <span class='hs-num'>0x2a6f2b94</span><span class='hs-layout'>,</span> <span class='hs-num'>0xb40bbe37</span><span class='hs-layout'>,</span> <span class='hs-num'>0xc30c8ea1</span><span class='hs-layout'>,</span> <span class='hs-num'>0x5a05df1b</span><span class='hs-layout'>,</span>
<a name="line-111"></a> <span class='hs-num'>0x2d02ef8d</span> <span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span>
</pre></body>
</html>
