SQLite format 3@ .C  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info P1zD4T ] HOL-Corec_Examples:threads=6elapsed=157.992cpu=510.676gc=84.6527zXZִF!  ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7Y&LNǎvcLo cƜ9<QZ:Lڝ=ƟՏ;+zâO د&Igsޮ6~@HKanb:ːF8.f7NH&Z96G̍/f"L 4{ėalcG&p!x`~SQIr#`a1Nb]&/dZ@vW8Sayƣuy#PrK"ZIU%GB̋vObsmF`=2Wr؇ePo 3'bZ򄪚L3ɚ·2d:mBFh@`#3Dd &[dFcy$ * HBKekQg 3Aպ{c>ۋ6A̟~˞ĀR7u+8srS"7`Aa9,\E~3i͸})c`#R]|)y @mEXQ^̏G{M+=?Mz.V75$0H_k]G8ILB3H(+[C2@~˲Ekʊ64ßQe҉~z*)3ܧLeSbZ"$i)p_崏-?OSgg# RD$id 180`) 4E{Km 2ʹ: pӨcƔ,ԑ`ztwC *8KU0``[lC`^/SW໰6y<gBᶨ;5dnR]` /ObOgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ/hvn'rf\^9lSQI' ~ p,'{B~zUĝvC,ZX,~Bhv|N>C11* z=^%#:p;F^U[Y.\S9'ZQ:SD;qmΖUVfU"IbDJym-=6HώnS^]AR;s xvwf, {{ O n6" DⓈ٘f t"uT p䎚rSdktac3Q*}?,I!/ZA7‰9{cx ӄv]Ƒ܄|簢9 Kc=@AgD0q# SgYZ7zXZִF! 0$]ŗXi%L³b& I Uxa+ů:|^~/P +*KM0O^*1FQGjc#LBZcW , @Hf0D獃c'rUG0{vIJ.C,M&^3t$'IU,n: t@,g^t M W%@Bb]A 1 HOL-Corec_Examples1I? HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.html7zXZִF! (]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)HJQW$>̈Ձ-QN ˸bEiȢdQ2geC>\eؽj^3 )67U*;1ǸW5#mpk@Z Q"eK5᫷0'KP+T1פ#IgƽJ$/5JEhZ/|sRU|,w =Qde;ɒIs*@*dkqDKf̯̽H9'b܇>j, QpLmсpI̳c\ x|A$i< r4AD9US( H֒ȃCE08шQy;*M Ij"LX "SV>+6z{FPz?zi9SISJgj]zM_95FR6W;d07h5]ۉ42|Z@1[?'I&Z>5G}N133K,8NTJ47쁵#<@/,+84+(T!ȋrФeԩ(zW}RT{G;@j/%8 h$v_ sirh>7x?O^ݭU#$zXT1=%"ղ> |su)8;<3r=QtrǶcPT>a6$va%\KVVݾw?- M,L0{Y2?Y~ Ҏ1]*$޶N3,fi3ieuOds~Z =h[` u0.(bX&*GРkVu8wU0|'Jt_eu9ŭ¤j]6v_V^Op NT2F PcgYZ31SI ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+RAKz3Lǝ0#9CTCo{P=K|) J{F؟O>H.x݄E7ai!U@gV2\ 0yhqX`Ip0@*w.k\w 9#fzŌtmznomZo^V<rZPyϽ MyD>U5-7C6N$^bvZEE>#q !ZԵlZ၈ZW],rVenZ؈g T}l1Syfcw[xnK 2H6ĸ=vy}Sub9w}qFz޸S016D3'fkNŠ=Wl//B;yL]f421(^ߡ.OZvW&x] | Z-s~q8.~ s+dŇh͵B [NL%Y΃F+.C?)8ӭAOf쭶Z6җ_ +_sCSIiI䩦قmԗP[D xÚ*pfx 8~4ï- $G5pM2˴#~g' 1!3-Z \`],DuV;D;Bu^7C֩3GIzBUQ~*P$ѿǒ C!6Uei fzʌ!۹)}2|VՀ -O5hCe2$l0ԉz"229%yJ)m䗯Gjtmr2T(y):w|dA(? r>ېC̸ӠBD (| a!{LwʰffV(/!C}7[‘'#Fi7YcYdǭ[=@RO<HvxBa?^ B'D?A) 9m'ջR{lk?LUBkpB쥗ry#A:bqC&iޢ \$'=[`ng ښ8mC)jtbd2aw 2}'L=*⠃p}7l)bl}3UCN_SwZ-׽tH%|zLarq]:':sS ,Mf@x:yf \1 d+;G21W"nr)1 ?zrI5I8.IF!rڡA;rӑ_ f}tvD @Tplh\vT1!A;*sbIP3%"2-x@)0REVnc(oZzf!`-{`K͝_Bdyy{$aA0!     "~ >W `  0[T & x~   f z t % . J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex"J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex!F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texG1A7HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.htmlK1E;HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.htmlG1A7HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.htmlG1A7HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.htmlG1A7HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.htmlL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texM1G=HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.htmlT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texK1E;HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.htmlU1OEHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.htmlT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texU1OEHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.htmlU1OEHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.html M1G=HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.html U1OEHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.html F1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texN1I=HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.texU1OEHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.htmlG1A7HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.htmlU1OEHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.htmlX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texO1I?HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.htmlX1SI HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.html 6J61I? HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.html7zXZִF! (]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)HJQW$>̈Ձ-QN ˸bEiȢdQ2geC>\eؽj^3 )67U*;1ǸW5#mpk@Z Q"eK5᫷0'KP+T1פ#IgƽJ$/5JEhZ/|sRU|,w =Qde;ɒIs*@*dkqDKf̯̽H9'b܇>j, QpLmсpI̳c\ x|A$i< r4AD9US( H֒ȃCE08шQy;*M Ij"LX "SV>+6z{FPz?zi9SISJgj]zM_95FR6W;d07h5]ۉ42|Z@1[?'I&Z>5G}N133K,8NTJ47쁵#<@/,+84+(T!ȋrФeԩ(zW}RT{G;@j/%8 h$v_ sirh>7x?O^ݭU#$zXT1=%"ղ> |su)8;<3r=QtrǶcPT>a6$va%\KVVݾw?- M,L0{Y2?Y~ Ҏ1]*$޶N3,fi3ieuOds~Z =h[` u0.(bX&*GРkVu8wU0|'Jt_eu9ŭ¤j]6v_V^Op NT2F PcgYZ31SI ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+RAKz3Lǝ0#9CTCo{P=K|) J{F؟O>H.x݄E7ai!U@gV2\ 0yhqX`Ip0@*w.k\w 9#fzŌtmznomZo^V<rZPyϽ MyD>U5-7C6N$^bvZEE>#q !ZԵlZ၈ZW],rVenZ؈g T}l1Syfcw[xnK 2H6ĸ=vy}Sub9w}qFz޸S016D3'fkNŠ=Wl//B;yL]f421(^ߡ.OZvW&x] | Z-s~q8.~ s+dŇh͵B [NL%Y΃F+.C?)8ӭAOf쭶Z6җ_ +_sCSIiI䩦قmԗP[D xÚ*pfx 8~4ï- $G5pM2˴#~g' 1!3-Z \`],DuV;D;Bu^7C֩3GIzBUQ~*P$ѿǒ C!6Uei fzʌ!۹)}2|VՀ -O5hCe2$l0ԉz"229%yJ)m䗯Gjtmr2T(y):w|dA(? r>ېC̸ӠBD (| a!{LwʰffV(/!C}7[‘'#Fi7YcYdǭ[=@RO<HvxBa?^ B'D?A) 9m'ջR{lk?LUBkpB쥗ry#A:bqC&iޢ \$'=[`ng ښ8mC)jtbd2aw 2}'L=*⠃p}7l)bl}3UCN_SwZ-׽tH%|zLarq]:':sS ,Mf@x:yf \1 d+;G21W"nr)1 ?zrI5I8.IF!rڡA;rӑ_ f}tvD @Tplh\vT1!A;*sbIP3%"2-x@)0REVnc(oZzf!`-{`K͝_Bdyy{$aA0[RzڶR@CPPI_ `֔B7eC;qpUBWl^ *z+gMt}~\gYZ   r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZ 1OE \HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.html7zXZִF! Te]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+£!=.i슂Ҥ4GPT/TZX\1ؤ~rm+'ބ [^L /_a"n!qs ufkpFwJ+؅%6'ű}*1D ڠ ~ eKSH“:(AJ"f.ٱyĈam eD Ů}^=m.pm 5>jw|k- w䙂_y{2r td)pc_QY&&Hr 72rN0VʔlȟCYI3` 2ѱ;I yue-Gh[Ot|ԽS |`84XxZ1z;@+Rw)2|r ;·XvHg4dF8܏3|Xarf EDtac۫UI) [o*Qz1&]Rmh+'Ճdio2Oa[gSLum.9N L w|0và,|;M!gn8jhNyH9byz@0@B;?S͚e1(TP)+6Y nrU7;i )x]A^–$31O x5J0l#} )T()oYSE״$A  '"W.r0 *}KC_% AfBSW[(?%1lNvh>־6JӴy1w:SkR?n=9$1G Duz{#\Clo^g_נ+bi%ngj()MQHZ0kD](Zs]vBtbs6045HM@4;jqV=y:}>_lX2 K JuɃ$g9QXDw97皳#˨ɸٙ•kN֙w+.+ߏCGJϟQ"(o/6|#o;Q| 31RRo/3aiABye@Ϸu,Azd8.N{pA!kHU 0Ru(>;8J<鼟$H&,S}* [h# ,0] ߄S63u[TvnCs͓3?{.YnG%S`m|K_uw;I4$yXamJfצJńǗASFyE&as *x}, HmMBthwO*;t3F'Lison#qv"D >i*SiI!"itN $EQ}:"pS߶L*orni(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*K<5viρ{2M'.܌TXX/~+;`~^` v>M'-o#4_؏ĩKU8k/msשd+hR/1r H;|T4tWSQߧ AvsM%`ͨ&7VnNkD \ {H\bTDg`e=9L>k,/8KyUAG)=9 ݕ2IC8_N|EOf;`= 5% cݏJC1^%fUhHR hſegԞ1\ppxno7$l4JܭðGM% qOI!Wq+!O&- ^kmuPWAm$[{ժL+䇇M#T-j/'1-2}{Q/0[<H@?KxEH;%|#j\|"f\Jȍ\F>C[3>ʻi*Y~PHAGy=t * :N@,x r͗`>+-ܚs.\-&jO}XV Gn@ouG\bD$DԽ, v7Hlo̤DG>+di d'B"8"dSR d;C~u.G0lQLkzPKi-vveLi9_4ˁj8ʒ-}e,dʺ ľ{Lч1X6MӗmFוv[,l#qi т`l 4y8!æMU3 (4Zmuw _D7J e3t-dx`!|9PȤ}rk"LrH;72!z^ T(;$@rm=τ7"dT*<"C`JU +5GWvJS(VG]HF훓L"^tuy1\fuX?G fZM֡a.SLڻ+w6مBQ wEY܄ ~ %jm"IYp9f'N)R17u&Y?3oe)t;i=WR.G U/!fo)P,twd&uIl"HYԻOMpUA9a]hA'EKWނ $Fžk 糣*,Gٕ}amy3NlZY2y*@ԉJ2߱ߩvr![_ٽ,80:%[59d󍪟˞JUe-x|0t7n%Ǝ 7p~eNjzEdz-DύB'6=9GlzcF9.KVvY r>~͑/w^&z nhhBOukmے9I_dLĮC(<> tg#IUxŪ)m_ޫ'Лt܌CtS1ζYz7ԺO8 VpjX!m<{(?ś4z$oA)96Zn%\>f1EcEPAl!4uR 򍻣ԻPiZobL~, j=vZD-մΡg35ry="Kـ'њ"7{(8BȚJ×b%ɴ#'JO3O%/q(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*H &t5PϲRy0p.''wr+"aLd,O}/u+X֜"ZňGG o G1d1zfWUhoĘcBے%1ɳ I/.u,ur>:kۏeO%{t[g #im%:%aZQ-{ ~'.Bo=g4_gy@m1[~K)б8`/Ywg3 IK"hlX~dQ$T-D/ |/SbghfHL3]q2{.RRtR Ҧθ6`2TӵCHSQ3/R\Eys`&{#]*zoKw 5qk+e_?p xK<-ib߆`L8pO!0v( ſFACIҚ+ɸj662)wnd 䅿*Yz.sk襔_z:&TJf2F:~D^d4$JJ,A] {N߷gޠqD,.R퐯Uv Թ(0RCjbr٨0Fn4*2.2fGdkaMS/"ǟJ};8rrj0F5_+^~$?:8{IQ.jK%.r(a _J C?f uz,KVdQhQbP]w4QG-T<5JNϷu m֞W)(ПڢMgEl-SPZo‚uЫA (or"vC;5|Ywl̡5nM%d0Tyxy)x՘K lKsI+jlg1? ?YD _Tjyj^lqR.˱\ r]]>8Rzٽgc'9=+˥R b?|xBUm?KxbWP6 # 2̶fF |zvV<FBDC .Y5P _h:TtVU2~۴R[ϩ+(p ߠ:6><{'.bD+n+Q&[8,HァW!aOi$6^ Y5<4e.F?C AAkD ƞ h˭ fj񗷒q5Ief'Ya8م!yEëOKI ,7 ưyOݨj\5,62zM}b~y0J ?( $%p<؏/&z"л@Y8ڏKGU*+V%Qm/d}IѮF|8CXk@-pm˅a=sVx&rk_&j(SOK-<+2S_|0 V( %54)Faa-^+ͦFjsB@cZ Ӱӎ-r#D8FtmVezynǍ>38i?5ߧ0+_{OW0@ 'A]i4gرgYZ \ \F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ j 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ mm 1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ 4 N4 1G= HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.html7zXZִF! Q]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*w Iq痊c:+ٓO\%*L(3ȡ3Q$O\e5`X|h^ȞMc4Ie鋮"OE+DQVͻOzt WURWC^dBbe؂sk+IŗJXF:k/Vy撑XkBIIE.Pk !Y xPz c`sztWib$5g Rfx,A4 m,QOyATrf42٢ab_!q6F}sm o͆]m7pi|DrMqXi![r0,֛Tol6a2aÁ b!v\6H:zhoD)^GV yFfC6jQ{嬨3ޘy/,wJYSas ) _N%49Wr1ޏmcG4ݑb m`[;0-[@C"X;PfzHX8ǾyQ9lÏl jŝVskNd6x{Rj\b|S ӥjΤcMEBɏL>K'%2y4eCI1 Ct}#uRA`Eh ]67`DSǝ`ڎ]?V kX@̧+R FĘqj5gi*GjIpv|e DgYZ/ 1OE (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+TB9jx5VbUn9/L輆ckSlRGj@(ִ\0(`kamᮩ'c,>k3rP7l#" )6aD;w|`QV/杜>E`Tk3m^KW"; }|eCT t34A_y3 ܶ}:IDHͯ\郝`Uh!E-=ԉƔj-+@0H` <#tb=5/"o$[%YpK-jrDew5Ǫܙea:S&yMA>սd%{:P[{e}tTf -㒘8?G/W3s煓O/썔 8z洋-a* I;X4̬0ÅːpA_⮫E6 f=9bWߘR,NU .RIj?+%SsZwJ^y|i?p~Riņ W \Ay h`j|.G__7.1}v%w#Ps߁&HEbx()eR%\Y3fͱ7s<6Df@V;BTjثcpzF.rlI-sGWb_o̖ݡ*c %{{O.2gt= Kb`q~e4 ~A`Ŷ-_}zzwF}Q<n5]ԟ/Az7&d T۠gYZ  B#1OE $HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.html7zXZִF! S]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+Y a:ŒMLrf_[o} 76c2~vsp~.qo|U3'h|'W$'Zu.ڞo3w>"N|@n~Jfakeb+"-qdr2 s5vLq12|'8nO:Fq*3mM-v W(G?uш-9dr\kXd.K$V{&@fp%d*,nonK#CzŦ2mWgrgl1hM%oHQQY@ GՏ,:hͺT3G#|v *FW:G7$[^A/Ҝ?8/Es(IQ)Sl]jB yu׆Vka >ڭؿw@3)Pɾ/2B;lȗ|a:'0T9+"IŔAU>hXMODe r-j_pwpgR7Y2퐄lҧ6iVZ& EiB,W{r]s2"`toVw<$?^ zs(4zMi6gL%0O0#Dnj_XY^K9o.&.>uJPHk|ZZa:ɩ45kg =GelНrD)M{H6g+XK> }w:|L|6=wC@b38/Ǒ<4~*<  0͖fJKi(zuXDi_,Zsƕ 'Ň|2.S,RWt@)*77qjn |k S>rD^N}I3qovn\բWXÌ{A&Iz!q#%vcʠ|!j6q|?" .3nM_vd~+ݤۀ:@Kcזłneu #H Q$V2ELt ,]:-g躵"nnl0>Tal=f8sy`Gث~-m驃F&o>WaV.l WTN s 7 X/~vJrֵ鞲Ca/Sb/fK!Z]!:Ttdm-AEr%ȨONl0vڗK c4ewoE;!AIPɶ+5 lmCO`Qn7Ln_v! ER܆;qŏڭz=&zEKJ*rʕIVWc-AqXo \t^/zh{C B*ӕ]߉4g3`]!po@\tښ{ξ.doǙy= $Qp$"PA|SCߎJ1gYZ; 1OE THOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.html7zXZִF! :#]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+fs< vM޳& ^JO7U&,a k(/GR$C(1|Y:oZTfPM:1jtA[HiňPPR^!gMwWyxŊ-QvQ~_ (xOJ# hBE5r9hH,h#;3aT.\/3i{v5e; 烇C+`j1'=/oެ!p5 #km~-lц`Bp])/4-S ihu8Lo@q?ԯIqd;`EkW'A6>-Gfkf':X 1S{jx$V6b8št%J ~IWꋣS.K9&r˓3_֓/aǛu!FyeM?z'\Rt?NOJ?;1 DTAJ#k+}CҲ"&jdG;5 >YAԒ1Tх(&v8O|a^?.VpƝZLKG6ԲɪB$ $~P,[BrHҧaL?tusF"@=s3Z4+xՕɓrEYkZV;7>lviU h#i7SG0B/u,764) |2f^z2$o9"~P?`;K2ƁtaI+goY AϤ[;,)'<2(oT%7M.(F7h8n L$r荨:SW&@TgVkOzq^/g hy+.>Ux"ȻLŠ|f&jPb4!я61&\W54FkAt?Tyr<&vHE3U^ >jd (J?(]Ѡ#{i9L8GF-iww/.(8ʠ`"4[d<#_!(Vnn {$)8i"S+Sz|Е+-PQM?E<9Hq`'V̹62E28{WI l$xy #r !5v ROn nS u\gYZ  OW1OE HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.html7zXZִF! "]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)( / ` ~WGF L21{tw91w#֜uJOq/f  eV܋Q/ *2’wρ?#-_lsD%CpviMcd R;h˖ 8 3LcY2LVBXA"\+O<ݮE,r39>H_ٝEV+NE lf᧕GrO⨔X^i$DFuo=YƳ4,pH~Uo!i!@TKu_L*>tl WM n vY-C35 TCܖahlqi;ENz8>V.F]@~d? d4del@ Q/bիH|MXDH4PO|e&@'EhO_/]@$#V/$OGRڰ{>iI=^c#K:Uu צN %MYw{bVdsh68sq <f9hsS&MEIZh%bc7*w?D>Ԇ.FlsD.jrH&Mbo%U =%e͠>#Щů鷼(<{_ʉEJU VR5-YU"j_ChHQK8>Pś฻! Yk|׺ԛOEd4#P:cR5h~ lRNJAj]lڔ WQv{1RҸu{%9gBm7S 7't xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ A1E; tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.html7zXZִF!  ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wv׷<)>G_EqBҼ =&h!vh}QD]B%x׮ <1P^vװI B%Q8)~iNxK269 Jv2@"i [`e@a_OoaM&cgjfC/`|Z/ՉLXPMA#R^̻hWW F3؁?>@wf e^t͈`_&y]:(Kגg@=/ٱ0!  oǾ`,e<&EAr1r;q54۶~;wU?&AJ!0ZD/gq])YIվM>8[1FۤODX!0缬ԁErbFuiǝa=C;{ms o>yϚd`4 ^ Ow(LJ"w56V=bLln2rTĚ5>AC\o R&]>ֱLP'1/] b!RS*zy X)BBo$ގeRMLJ;un$HFW+i;ǭ^!\ǰ+1Bq焯7FCW GZTwAlc >Wna %!z\N}^N:oxgj'/81B|~~UPXxȭm .3=9.ԗuWScɼ#/1yHwI"2Ǽx/01MK16Q\r#N'tpf:qboqc#(ve$W,]Yi}kuAMλaW.1Z4kiX tSdG3- bG!Yl|u0$)@S3ZͲAM$R +fY`b|(e,{U]Ö9DT嘦e1zE1+䏈8I 4-`t?ZՖJwϛ"43BWxœjw/jBN#ƶZg4H6=/&G z@b!rM)MqtbbC5Ihy^1xl-틧alP(Xr8`q\wXֹR(vءH*vH=tءPZULm| 0DoܶhQh?J['ɢz/%C#^ަ}e\V^sfctLodgL*?ҥ`obMyQJ׮h4FVŘ}oyF8h_utF@]W~!er؂׹!N<# N.gn?gKE9~$;; Ϩ feޜ7Cxq*Eq}iLĆc5]ݚn2>igL &>&Iڸ"# AWSJ7>Z.s:R>*ɏBW$px%dք ^8aL#]^ȡg\_F}q v-!I &tb/ٲ yk8Yh.6yBt,ɠci*lO 8,}E#_xtkMe\6|М H0|9㓡"_NK/W3*ѷ6+ '+JKr8?1 cyYfuL+r b^Ma{Uh"ǜ.hS+ ,^2GM*=-k,RmHRc^v]3iS:)9v2|F-.[KJpW6&cT_)=:ƥڂ9f7%FHWwϱ1?<鈚zy~G<9~PWJ}z#\X[k[@IƋi"5!PwXXriELJ4Œ:X佮7>qX%wBϐ/Ehm- GmMטphgYZ 1G= $HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.html7zXZִF! v ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s> 1L5nolTр=M˯~hUDgC0afS,^x/'MQf 0&m kVlv!`gi:H Ud|j̑8هD. zG,]X!b`7p77zQKUa ƞn%agiPtٟ71와)P V/RQvEbkE>#DR>b]}i`FE#dSj?}g$SW IfGQ%Sɇwq"0l7:r Le`-"gYZJ1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZ n1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZv1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ v1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZj1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ  @-1E; LHOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.html7zXZִF! 7]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wvTQ-V0#=N2%A/3]e/r49 Kvxhɤ5TCxLn' 2{Bie͏? Q'כS#Ng5ġIFu`ist">> g) J1A7 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*w Fl<6v삳RC9}mUJK0 |r0yLi$7vcIH}2nxl'W + -5LǜJ"- ^0nڲ4|>=_gϊANSX\$afZQhF!L{C: ۉK $p|Ii KmkZrHJ'v:ܷI/À]obHV+:tx fq)]֝ ZS =3c)k%ݝ. :18mAYť `0Z(#k~&XP)>7J"hDտ7^鐬)Qa<[Y}pPYJaS8o2B#u6cyja!H)_R-cؠ,d[l̊h?'=|S?})iفD^_MkdD9g mdپe;ipn(N-_"9ܿ\̷չ p[?[1pOPu'293F "9W!ly!?KNUc$G+Jθ)A{YWɊiF3#И/(BaIƴ6X_x rؼ&5pfY1^pa ]?y妙YVKM X]Rh )yL$e"7١6L| ѳP稔It8]Rh*R%K+KgYZ51A7 dHOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*w F!y-i0|Ьhݚͅ9l7i~lJZLEiWeḚWˆw:fJjEj&$]vy]Nq ѾOI8iSx] ,XRBr"iuL\ټǡ11@uHY"F.oE\Xϯfy,=FP1Z^ue~B^852pEVd+$?6XT/d S^7;O>=ϡ=%=NPKnHϗ(ntgHLӑp"hw $vIn ԾO]cl)'D=mG{`aW+W1 )e (–i~AE1 G|-Q%S?nѷFZjKs='YT*=gмw+|ze-c:jǚfClǽS2o[ (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*w a@`ΦwM`V8}_^Oon2tiIO0ry鹯#kYi(x+'(;Zj#U㽶Hu aQS>NۜEBbKK a =VA@Kj^-t!FzMGv Į(Ajv{c,笌=%=$ N8 rmm#uA]rKKG(@.O "~Px3-Dhqr4T eS^2#)EPt25nr4' nxu0 K_ *Ȅ(TY]FBY-MDg.6#ՠ7ӆq|נ4DK,mXYXiS$1Uv'n 1H L!gTwϦqQB0]ѥgn]bkoNgtrB]n|4< i^[DϮ ;u-+eF!MB-psd|nRYLʣ_s67HTO c"s=J?L#ζn2>!W#gYZ:7&S]" ?u; m}!7m^-UiI3/F>P{L|( "IA}:qZK!i?}΂0c7 G@ӊxNB#^ Awn>kG!,ke7B*sJ c(^[/oL<\<۟Qk_B Mt<-|%ҒM{Ll qQPe/dS¦XUߖ' =TK~%YoSD[ {y$hێ_ޫ)pucXwV׌3` f,BũH`$pgHwIc%>ڰD%@#Q>HchYp$QGa #´m(?y(mZA>8׳_IdԖ*\[{]Α*c{ҥf J_b>i}gk%1h+R0Ps[ {"ԫߪt(Uϛ aP? \ohF-lu'oJEJЯ^aP}s ͗f,][O3En~R3݅bJQaмLnO17=S~8cyZ;ٽ z3MxG*'(+ ד>26'-^\D_xLa3C듷dxB[JQu9ʹX "^o{TFF54Zv;xhnjםdP9*@#RfўQ5OИjXXaEPVhL % 0T?ZoB< a"9,|g\JFfϤ 8kv皾֙5:%5]?IC]@&_B3hLͽ!%G@s:ͲUH 9kԃl  |賸Tk2%ξXѳ CDJW_[<i40@s(ȗZ=8f2{߶&Ԫڜ%zBqL$BW8f;5Ew-Ϳ4aIk?%Q-?E?&gP\`"WcTg&ޕ(fcbܹ,¥u2"%Q#3{_l#O׀*+kb84ˌZCSA sƝSItTF"zUC?e݅&-Zte' QY'#;K0?qay ع8 )+ < ,aP pVM&kP(N&9L{{V$Isgk1U`gL@0/J0xwʩ1}4t~E(+qa:}I~va$g"J v.'x4Wy7k7%NzcGH!͓|233)'s71Grp86NIu j+=76CȰORa2!?ڠ:nMWԭ[pq* :[k7JKCj&!k+eHo\ ۈ vs!\Pqzgl ^Egs[- oٿGL|Z=Y[Gdgg0uqjȿw`9v,/ye7{ a>/>P{!1&g8c1O`fff3\ HS6){v&$Ƶ|x/gYg>)Ki3W]6c:I}\0edġzBb2 ~!ZL딂U5By3gTEdW$SPs5Ђ7*˭|:i!6T1*8G4~~<'u^VjFN:J#:7QSjRZ~0 BgYZ  H 5p1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ51A7 dHOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.html7zXZִF! +]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*w F4f4N2 G56n!({i|UB~64uf,YY,>uvu)0--Op@:%N.?JC>UP@r;yN)@c0?/bR)x\䏃ᡨ(w[v4 q 6~?OxI]q#2.e{Kiͮy~a}o%8RYWfv~^S ǼfE}M7kl9`eW 9qPlxo% CK \pЩ㰁xolO2JX}_ȐMhxĊi'ӟ%$B(a8yB,HʃS܆4UxpZB5)=. L JV^\n"%ܵ,2eN]837J!HZf/Աh͸ra_ox/1C d}{q p4卋0"ciۏfV$EMg<(¯*86Y  ݪM+&qK.[ԬűgYZ  M M0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RXYI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ   d"1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gqW30 =BDzQg`M2d9S\z/t1"Q7k+ u%M"l*j*h6'sS%mjTҍ1i82Ƴfw[b>zp'ŠcV5{Vn'jA f3VT_BVغ Q[wmQeBê!-Av\,'P,A1 o|5ƮN!ty6]Z3 \U# 95$@Cj^z*wi{TyuO\'- y_z-Qx78WXg8M|sŠ+tx*o/!;i]TrYqn2eEsEw=F"U.{/q0 ,PXT[y9' 8SYP)B"!oB[m9+ MHҕBs?`e+\XW((t0M0@~7p6c+';fɠa~Kƶ}?mdq(IfC9c @b}{<~v_숛ѐMdPXv% S6dzf_|5xcܥ PB MXivLlCs> 8cb>$.|݌?MRkIOBlCE0x]!ޚpS(j Zc^Q@F1&ȧY$tY=1sު+F偎>P#֋=۱Mݓx ؗ#.efw2ֈ:-yO K)*C>+qfR>21MBI^%2%ŏWax4HM(.F!1)l'̃ڈ\DPĆh (lҊʢkaIz_+ ?å],,=u])j<K@UGiBu y`9r8f@ҵ/1v$ˋ\[W2y I&1\i(yPnhCDkmXnQ} MGmA^P}ἑmI"H˸8'BQ˅EOw.~}tmf^Uk+'y=TimN~liL0F&S#MI$h4=ǝlypv^4knwA"!{?(Ƒ0ar V `;J?{;{c=d9)eO"1oJ(otȁ]ѥB3G,&VSBx~7&ןGm='WseQ0ՙP;3xZۣVN=(bľpO)~x=_ ,8RwhJ`XD._)g΃d?)~ʿJ8ULa8فg*xWKfCCX*,۪V?0xuEla'>|j׹ddcSBiwnVK"R]'. {rȘ9C&?.$>Ʉdm?Aѻ{W!d8 F^>-J RhSkuL1;(26H; %Ur<}t8IKD]YP \ t2fgXގ-RMe+mAezݷUw OgVgNG 5u)~±PRi'X 7lUcyRI kh:4j;/OSdWފ6 '9qX̺3oas`\[kS^Q0!h nM.m;V ;w[}f{51`o(Q/RrJ>Û78l~͒Lqs @1D9wr}I6,J#/J 7'Mw\ˋ wb\ݑV[A iԙiBUn`+ĭ#rx0}۴L>y5U3W?LsMe찟^bjgQC㼛}c?4Ȗ.xۦf%rd@ϷHc'e`?P17+Q[UmBW3mpBb#EqKaԭp(JT0n*z`S9Xlf,t*uM:'FbY8^X 43cʴյim4+Getc\,ƤE-kW~ǡcjy6  3 ZH]i]1˟;`90-[n9QY;' 5WKA(þ^l.Bte&/ ǣ38YzD: ~tTmM1kzYW<b~կw:䇓k]j(EC2uqXn7e݋ؒ)ɚ''=p솟4~7 1[wAPc^50dR(hu[ ajkf LƩɛ 6 gM'L%" so f^Z֯#Uxܑ:1.&>kD,Tw ̗#̣0RI zam\ M5`Pxg2nqw1O\8l, )0H|}.3[ujL/YNS/}q: _h>}5 |2`S #sHWҞǹɏ9XWqQS;b 9QH7!q50G8v{ xs^vmT#TM f2(H# $=}=*uGERLq9|in<5S*ͷMg@YrQ< '[?̼FF*W#6x 5,{/\+`q4$2IDgGKX}&[>o~qפ t25}_*"l\VSa!_H2M> ±D't)Ai0Ɋ1+0`Ib\PP395hLam(̃w(YD6YI\BΎaK~(.Q\Rý 1Ho)^HrLʇr3/@ܢ8lOC5Mr. ,v݅e6@'ca(]0"5p$awz1>XQ8TS9G7-JҾOmZ^3׌ mB,nL{a5O+g3IK]ԠUv)URdotkx8|@  nĕ8(URh[6 (әdĀ7[~G70F OvX\&zku3$9ۀLANBbuahˣقT.Wp/rG$S,݅H wIUt[D 'ƲUj=,c}/ ͙pN2G֖wNJتqT.MU9 nNMl]}j,AM1d :w<"1OjOmCnH'3`򜚩i5JY((q1nx'[tҩ'8 Z`O;")%߷4\B> Q:LaXBǝg(/ J?=Co:n"tj\iyY1 ?̙kxԆ-Y`|saI%#bh0K=sSsEp5m*L*Kх|~9smt76P|E"曭λ*XkÙ1bY|z@0+q, j%n?u اE#2aAiw GDҶZ4G /vwㄈDÿ(4,YH 1pGL䵏s>yC 7tv w +EEeVkʄۆP_uqG$'0a90w%SjA$3 -,oBV^>;bEY7WF|vvD[%:>| ^ >FN#!1Ƣɛ 9u@n`U0i=7Y4Č)~Oaw^Zz\N`VjD$`\A[\I3fsiI '[ds$]MRz\!r~ʞcTDe/uOlmёyp}ީ!@FWS4'rVJPM2kvZ2#QٰaKlmE&{DC/!X!Y lZvcx^)fy3 #5#1K/?Z%6mvui4G;oml s6NӺ8fcA}+^97YtEаAy-Lk&s>~ 0쒕 ;qBiN@=buIFYm"t}}i0K qO'(ʑ5# Aҿ1w (xGQLN`]r@4`L1R9 U] _ dy^2LІ+ȓm 2 0T@ӸdzBJ ]+q!5fE&FW CAJ53s`q<)!>QO?!\CGD;IŲ^(eO+٨!c8}u;'Zӑ/ {ӡG)!ŏNk๥k;3,nď( B9oGۖRQ w2D;#4OݗGSު[0kI;vHqЖ R5 ũ(Bɖ0wy.<,K>Q 7cJb7Qm.,◺hBxC1"KZ9`V)mĨ.(bUk]48! 7Nߡ(RFcki9)^i$Τn*~8[#<4 :-r]$Q.o+k4wu"9Ы%iDJT10!=oLt.3$2yz{`Qب]@O&EgFAjDžUAn/}(F6p0I |Q*Ҍ4ÁOwO^XHAeEԋ<ynDGy(1FU × ت# qWj5AN<cY6lIVʻ+5B[SkG-ß:4Ssg'M+{3p(u.G[1zHTv2,OXy j&.PU'Ob3Lv?ꍈ8::'.qŸIA`ahuKj?}A C3Taܛbb^͂'Nqͺrcץ& UPLCLVDR{3Y])L|A7ۥo/^Kݕ*vS\s,99fկ^{Â6 g?MvE9PCA{|uԱ.GV}O__'IwcS{pW^ã@783[lӂ%: L,qYY-(ccb%96ĶDNVџ E.*"VC/MQϯ:2Fp,m W=i\F-~&{$5RKfo&Mty cׅe?GPgm3}KC'kB~bemTt:)-Qm}'U:ka'7_qYBF)`ǩR%CFZ&TֺdžZ}OA 7hڞp7y.Lš˦1VeͺCHw@K+kB8SHa~@r䍎?ߡv?*n}xL䞇VLoNk2;ņH3[u&Ga0Of֖á=hrDs|RKb`N8䥬؎W͕7TY/xJyCGd%ֺW݊_ \5ԣ\<aӐKYgE0y@X^؋mS\*1d\84j{=HW]W*B74-zCG 0s%NVFr;euO'>aww[u=1]J<R+ [BmJ k9Ϲo@ƵڙmݪGF@UJcx>sWVI\u'Z(ul =_NL6J:quh,`r!zYwi#a2(֏#nvp ゝ8郭8E q]笆kBT|7TP~ONȎ&vlGB&E]]LPdex[ʂLYJ˅@՘RL0!|UIK&ƊtnR)#"?HE;~qzD_T%r]e}*n]&RT*F9Ln9𝥖Fr8 )N!c_[lYz?+U!wX70(%,Vo6 *{w;>R%g*_蕳q ~`EapR_db?Kh]le{ی!cQpgcYа(WܠXsβ!GĹxz/:-+-pré8Vq1V 啔@n-r;abSnTa˴yxZ 5gݧj5cKH 0,x#hi8`F+>_$4ref'Ӈ)B3¡Fɖ\9P򬮗 #3޲&]CS]$3{W3+uN1bq06MXsն [P$@K8jb!k$ufU4.Σ> Wg2"l8{EXmOOhA~g-B )>Ѷԫfp>'Ȼ7**lZ瘐\HjR%{*uIv 1f]fYFG<ʒk9a识ރSBEuMaRc;]C?/gO[+HVq <'73&/',+jp0f?olpOPSYv7wgce( d+~^OdpL%u^oN@CO fk5d%f5ro'*X`):Щ şa=/" eLAO `>m=UQ?o*ܼ?v8}\꒭zutk6q@6;ob(h>ѯ-1#72ۃ ѱi8o+ >CN; m3^@B5\[Ja='2w<#FHFb\a4X\ru<ζT_~x?s[ n9eYщo{{Syxvqڍy༺2%"ªr:=+YyV#-rӶP&4 q6$1t NV~2ʠQʪ$c",(p> 6#ֆV9^[mPj W`NG }6@r(v:۰O?'WmhRģ4|05_F^"dM[BӦsK-c –3p\^=AɊF-+5>$H~ h~CW2)n2:5V3_,$ !aW,ןݾS;-aa>s2q<#6e|R`e:bf2$ (`2͈ S?ԋQ˅˴ _36(&$UЇud=x!-RFDmTf hUe3\n:Nn 6w3ic`zDFKU҆Z<`2$#RU, 17!r#hŚ9yv>*;ϳdr*do`.,Fs9ԄzWbǺ )oo^z&]WDpg捰$h7",I-{c-v4bhط56>b6@($2+NYcQYHևcC y*;_~=8n*1x=Y͚cÅWDCـPrjC㳶zQDpBtl"o? X'1~=M;ǣ]販c[50`b7ZLbh`'wAa ETh ^u9|ajl)pl7o#p/iLR.Vn{ `^gYZb9d2026880b9fb1961477a14c3f5c2de01b389f5ff9ec311f2965b5256157dc51e673f62af8e5ca5 10a38f173e27565186798ec789d35427da220c73 aef3817a777436681838cc0007076dd38ff517ff