SQLite format 3@ .;  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 !1|d$d ] HOL-Corec_Examples:threads=4elapsed=271.445cpu=759.436gc=121.2967zXZִF!  *]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8K9str o (LȩTqz;.YpLG\Eݾ N&h,1"Ak?](lMDhq[a rZۈU }?8cNV<)jvIkbDY<̟ShoDg@)*fOW}x ݁$+7HJu'FERzX4f`+sHRuR2وg4DU{^s߲ÞLTOqjS?b 1 HOL-Corec_Examples 11S% \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument.tex7zXZִF! :%]A-MՋhvG"uIBm5ȩBߛ0^(~"3_"RrRW;//#Nצ[kw'd~6ZX4_분1pW>2QC3?z$zmLI!Cc?\mFF2CDo*AI[ԣځ13eeb}'݃e1oapN\' ]R& Hi=LLުmQVK!wUG-c\U-^_aWTfU8+]&#g|L!UAѼ2sKukz4Zg/;~>7ӊXAu(W6ۤ)?-yR 8Pe9FMp73OGv RFN[ɢ^w~8O+E4NC>hDA(7o$:!Ԋ"]KsPҡ~9_(4G?K*Bt['S'|{|i4oUv#vI` .sL}[\'e_^B?%| |xt9U!שj{ڈ읲dQ)BWeJ: ;-D)}q(*s2T*c΀st[|Ʃ!X Doڗor}X_GQiw:SLT I^$ð@S9s j4%(Ea )K++:e8jeS;P+{Y.6v9a~isԚyn4g ͫ-=}G$C7 .VӐf&$ C}ǟfl] @u@ 9=DA=Әu!|#\u݇3xGoEpixGyeO* d?]48:S' @~q~bEtdjލܴv* Gv(.5p #j )Q{B+GĚ`Gw^rlB싯%t^3bKWH |߅=i=Tgo6w`AJE>O:^Ӆ!B+HtyԘe0뵇jK4LSG%jadϥ-p5,)@}14ȓPZ*:EK@RӒ`l!W zU慖,qT2aY\='f7}~ u} ՂwN\'%ѫ鶌 )+ 0IGEM5]BΆ *n+`{=H GV|:EЀ&D*wkɥzKeK%^_;H}fOOn!1Ix2U$bdR[Q!ja8Z96c^5Ap-\^1p&x/#CJ{QմFf4#|J<1P6B,u"]R 5-UTk:.Po rg`ۑ%$'CGmߤS+ <$*]\[dπd2|f 2FWYa6ByTQ*y{ȊsQY2=$ `in,}Lb`4DY -dt-c'If/ ՟x6=y=i Xj2-7{_]nͼsw;Kq}Q_{D xT˶(rzwP2#{k9pd79 a%"      0 P   Rs e @1E%HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument.texA1G%HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument.tex >1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument.tex A1G%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument.tex @1E%HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument.tex E1O%HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument.tex E1O%HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument.texB1I%HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument.texF1S% HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument.tex LL11S% \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument.tex7zXZִF! :%]A-MՋhvG"uIBm5ȩBߛ0^(~"3_"RrRW;//#Nצ[kw'd~6ZX4_분1pW>2QC3?z$zmLI!Cc?\mFF2CDo*AI[ԣځ13eeb}'݃e1oapN\' ]R& Hi=LLުmQVK!wUG-c\U-^_aWTfU8+]&#g|L!UAѼ2sKukz4Zg/;~>7ӊXAu(W6ۤ)?-yR 8Pe9FMp73OGv RFN[ɢ^w~8O+E4NC>hDA(7o$:!Ԋ"]KsPҡ~9_(4G?K*Bt['S'|{|i4oUv#vI` .sL}[\'e_^B?%| |xt9U!שj{ڈ읲dQ)BWeJ: ;-D)}q(*s2T*c΀st[|Ʃ!X Doڗor}X_GQiw:SLT I^$ð@S9s j4%(Ea )K++:e8jeS;P+{Y.6v9a~isԚyn4g ͫ-=}G$C7 .VӐf&$ C}ǟfl] @u@ 9=DA=Әu!|#\u݇3xGoEpixGyeO* d?]48:S' @~q~bEtdjލܴv* Gv(.5p #j )Q{B+GĚ`Gw^rlB싯%t^3bKWH |߅=i=Tgo6w`AJE>O:^Ӆ!B+HtyԘe0뵇jK4LSG%jadϥ-p5,)@}14ȓPZ*:EK@RӒ`l!W zU慖,qT2aY\='f7}~ u} ՂwN\'%ѫ鶌 )+ 0IGEM5]BΆ *n+`{=H GV|:EЀ&D*wkɥzKeK%^_;H}fOOn!1Ix2U$bdR[Q!ja8Z96c^5Ap-\^1p&x/#CJ{QմFf4#|J<1P6B,u"]R 5-UTk:.Po rg`ۑ%$'CGmߤS+ <$*]\[dπd2|f 2FWYa6ByTQ*y{ȊsQY2=$ `in,}Lb`4DY -dt-c'If/ ՟x6=y=i Xj2-7{_]nͼsw;Kq}Q_{D xT˶(rzwP2#{k9pd79 a%" k gå(t/gYZ $1I% LHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument.tex7zXZִF! .]A-MՋhvG"uIBm52CEֹ$zne:mFZЉD4hZ#*OREPD-G^Cx0j] فYe_4W)cF*7#C@"z0BzAa(. lcf29$z{ZR69gE(Kc, hm̪O{q niFcuNn7UGm'"w ڧP[cJ59M&<9B,ѡb#R4Q#SZN:W0Nj&]9qMȏp멸%D|v[^)leZ{F~lV?y87IrL1a^VWRnVFHDzf#Ȇj W),⿸_) ۊ4"?/MB<2Jn7 Vd(i͙:BjyG7UEC)n%PZdUŝPoB3bά0Y$P $ٞ_! D8.Rhi֗yL}]WD);"R]54{Ob0Sޛ! xB.άL@I 6r:Ev{c6W4_~iņ1㴳9oLb,92sw k;M9,q珦ŠK7Uxfjɏ1Ė"ڒҳO8JEykNta C_Sxu"]řw t z{?iY @6O 9TͫkvGx]|/k>J㜶uuލ}畾oi8?%WRʦrS: O;Fyn{7Ҳ>:pC&]ͻRb"u˥ӯ}wҀ4ឪ.Ȥ){1Y}|8re7&w|~Z{?.DʋzX܋#9YE#4"O UE@NSn"Lz3gsk"1KrBS;者2z:6Ѣx5Gƀjc[Iٍ|>:ۿÇP>GҚhuwXzҬ1zUÀ*뉆{2Φ\6 mXrBxW'KsBgZSHpls.flw~ eڕYVuV3^<1'09^' \7gYZw1O% lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument.tex7zXZִF! Zp]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+ǙG*;q_K>@|ډnͷ}:өMҪװSMCYRͿ@[8@~bLZz>lk8yN~}5AIa.!(<C\ ozޗȃ(bk$ W_FKz(z/⫤%MV Z0:T~U! Ik[][Jܵv,qX$=sxT]YӮC*0ߒ4= z'N:gHcī:r;$Mmzi ٣Ue+f$( ׶(cFWp(h $0~1\85D{5{r6'ċ܈i IIlI /&D)%[I^5@6 A JU(3mɯ%(ڝMš Ip|Iݭ[0_6$+uJ1gpH|8tꢤ`un4i+'$C5-@vZytnv @P_4^^QcQ 9C#a񱶒hp~)8cx>l(T5[n c~Y$H"p.-61=HzDRfxF;wiͻp[LZ $[!yH[IX'w@8 }h隘L w=$HF>mnNs^=5;ռpۋҤ %&݂VONl0{3鼹 HT aD޹IQ7eOkbXvPv@ap:fo^eEb2K'5G_+@[b4Jwˊ{Ͼ acx"x+0eRU86|=뭆(X\랣1V)Kp*xAKgHdogVsD]㛾?-HP@wX I%>;&mŐ0‹~4iZIh IWȗC;|ͭڽdz N?QNB.i+RNO+ ۩2_^)g  hNhEWK9C^Gmvc2-ŵAw=(ImY6┴9K9&+Ns7 ` jo UlyIcK3,Yx-z 9OIm""A2\}w=\lܒ᤺blv2V|E8lE{xcGY?BF|b6bgʑL/44?nUhGB4G.x1@8N9;4G8S$xn"DlǑ%Xw!JS@2]CiW!|)ba=U(ù\[*|?3PLy5eK,\7*!q3:$${Þk(LNaZ\)ЫTK$nUQ:=0n=";-Gzo:ג53)?2(Q0-aL=9 hj I'9mW1"eYO~9Fr*sAf!C QW52N)Ӊyd~sA4{D1@_w ɳ1eDڛC lwpdqܺiFbB1?|%RrL>2 @#̱gYZ H1A% HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument.tex7zXZִF! Pu ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲<=Afv M4,}P\I =[˟L[(DK==7, Z e jc~scPBR@;ѷ6BZRj Й¥Q/@CaҌ"V2(}.fW}jK%}͹iQ)&B6ث#V.ޓG9Z4|"ЫF@OF\b:pK 3mzsFo,aրǦ@T]ߔ5#$`0tZ?][oqW @dȗnًͮ+MCS ><ĠW^lVa8n3i{זxOxS mB*u&Huㄙ\2FW sx"9uI96%4D\h7|gednyvL4E]^&|6OQ~Ri,&+h^iej(ܞwĹހ7p/kZ^2*+7vQ^ 0[(}@D{1"Q"%=1gЎőCNd~ b1>-tT&sX/ԡsWlrmlB/_=c}aō4]$xdZ$5|~2kzE:6R#n_Z)ȭ('Gd9=MKa < Ə~>5K7ᩘsԣdPpF-|t^0M(dby]tkDs$W΅o[S*,*^ҚW[A&j! BQ q.DzBo73tU?J<+|%<}(@8s"06"?u#,& aఴys{, mw!(WR2|UxĨyHrg & ;7yR59NMȬ> s<cx+˸DC X6oin0;hf]"bV)MkXVGĐ -ǝDo9rzoqO2p +6fU 9dl.'%ÌX &x;Srl}-Ss&5$ZӶl6,R7TLXlߺ9~H3 .Zk&A;gn }Tġ#0G+8PbLH.뗅DsS*F_il :|u<۸ "ϋqi~۰0@?n<|o,9 3݂h Cl`Th 0i|kR?A6~:7ɸƣVF0s}qʚJ' rPb?83* K9x}\D'Ff`;skYjab3'14vxXhhd5Ė4UKx:&q> =k_HR\\7s|dɊlr:(K'D^l'Ɨo,B#! ЅDz`" k)P\)1|ugYZ VV'1O% LHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument.tex7zXZִF! S ]A-MՋhvG"uIBm5D g JДx;$3ܦ$a*j^Q̀ U//`X{t6Y-Xֆg*7 1PBY>m[[2 4k*Hm2v+D h(Y#$&e7s*B+qW(\2h'*|U-T,(|[/EDϯ;wac;D?c^aN* NPK]7Wfˆf?17=3aJզWInGb]Ūe0vk-vsF؜4&TUJ&HY4BԥQ " 5SrD_8,c%W֏Ϫp~ =2i1p.Ry@ӑX]R+9j !!"|Zp?Tlfo}w$8э%Y$Xg{0MTtvc:\a5C-jIߣѝ:QA+;+ 0ffSaY1۱hH))8&-"2dЧ,vqŨ@wrɅ@No9Af9v `mƃYt3na>E \-JVe ӡed%9*4Pb/^X|'rtf\śXkYHWw4 #kx cdזbY`/(V"\xl'p9׫.fX~q1қ9xg[!z;Jf:aPH_Rla.ͮa}1{xv,Hb+*r }胇Gę3){ ^%cK+Q?~`ZKo6d`06 .z@MD$yB v㫄Yq%?qArWQQ=XnaEz%]|r`pxzeY#IrB ?*^(Pӣ4Cz}݇/W{0s{#+k7:ŏ9+.a`6XMJ8W"CQ Qfnr3X}{CL2DzhqI1f3{e}8KfU^4 bQ>4A D2+xn8dAPӹtz@4 JIGޙ#*J6[M'ݷZf~dw-qf7 PuK&Ve~zh3 AWݖBbfKtg]D9J3Ujq"!\]PkXEĸ[E܃Hx N]5svw:Ų +d?A:LZA%飅g ӧYËE9O'hW@<\Oĝ܆YbEq4?ψ{̜ 'v2^lK(8.(_Eiwuh.4'FxHmdI2‘ 䀚գ+(0\dDw`kiw;\m28v.Lc̛j܈4ݹuh{3}ù$t r+7X-Qn#{1ife~ù5UM/@ BdJlj@LUY:Ee^p¦"D%q.1kkEϬig _̻+Hj?:2N 59u$g9U-h8PYb8a铛2Sͩ;;zZ ?Rh(AO\ aM&xz?u3OʌGmjEWoVoD7-D6Z nXԧmrhpXʤޠNV'$I, 3݃oQNM`̳-)Mܠ94*v]Ene .K-  FKL^;Y*˟p=f* ł Y=LOq3ȱ&+x{z LjNd HuxVJ1Yi?=y wa"KpS8M}Ӵk3_ E"ܢaTB^(jnOx@uZ! Ş~4`YrM 5 [#|_tl m;->K;Xr/HjHDq)b_Ty%x_ Y m  RgYZ b1O% HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȩBߛ0mlzbRqC @cjGQtm7~2&oYj wH,]]<_ |,B4֢&F=Ƅj%xWn tN! z$O1S7j,]^uZ<Cҙ7.P7QMMsrMLZc+1w_eATv{ÐoI4Xn/Ԓ&0xZ6ntLaw8`V U)1 :Ǫ|65FrDb;7HH4s5v4 #"v#jY޹jZP%L=MQ9 {d.L5K8bN+n$xy>0B㪪AC tnH7>7;V-s%so6sX:(ѫܶumMŠ0ad 6V]p\P˫~RвQ?d;aU? O&L5[Fߠ2F_D} E1.RF8FT!] )^ad_0衡}jJ;ʜ_TPdAq&1\RĮRMusX;FbE_0E٪)a~iQ$矯;~%hbKxh`,z򿟜Ax"vh84,eߩI-Zg{ӔK?'8VZ!rM0Yn%W/`2)Ȋk@gPڪi[ )dZT D_o/(΢9+MXcG 2q--%zC'V~~o+TXjpk~; m1qlʡxF\oDF_Kw?Hr_JF8\ =e =gYZ1O% 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument.tex7zXZִF! f ]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pѹj(d(BK+l`qrl_1J۷Ѣ+Pa^@1ǝ0V]%}fCΫ1hF4{A-#k'Ĝٚn/f h}R p]6o8!9 aybe-i ]@">êYYFՀ$`:VU K>LAi% Iy?cb'OClsX ;ypeXmwam5ddMjcaV.),I{Ukg /7(熛fN:]1~U\S{A4DxD0?SF䟾ܦR.'mY&eb}潳]i ݆d8|ul -0/{GHF e%AZWzVs[da+zzd2;k&\kN.`u7`xR^F PLh{ Ԉ U3&- 6!j(BVK@!E$qsbшG"xʐh ;`/voݦ$$KkHg~8WQp;cֈWwjo48Sb W*hƱ"RtpսAYZFV$LjNQOseְա̟[*S!l8b6nϟ<~z,8yCp51u۩q6F6$KpW  R2|%tЪ17l߰SM~5.MNa exʄJ |^6R,ؘ~5Vrz"2Q_։j}!KV)Vp;l_+KfuF㠌6{ \ C>)범#mivѮ&W!(S.h;RCk{h/MpÖtcDKWNELw>(W.=_$Swb98bZY%`(gp y::M'(h #+d$p8=VƵ֮\no޴[=@9M >|Jr&F\aMQa .޴~wTWPcG OK`?5FbmH@ L<)+q~ăIRO>*ND S3ӲvaJG3WwO&oȁzXC0֜([!PsǶɨ.%F-୺83Q}<Q9 m5lK-iFz?g?!NBjpX,/.yJ5`93ɇQ|,T#fhٳF&O Z4Q9mE8#L.K_R5-:A Òp1!%^ZB!W:l$ZSg~'ڢyN !d)ISgYӟ8ӷB30?0\I\?9͓9<F k8RK8!)M{HHjӄkUdwLSHI./5up8q;4ɠ|jhZ$9І/egB !oҵGͬ6vD1/H؆~]ZNczDCG*f)b2̭+_Os`e0hK'JɰAw nW[3b"tl} xxkmM,Я}q{w5x0Wy"4A}1c ao*̺_ S+;v`LZYH*1h?pAxGmhwF;@-F}5gYZ  J J3 1O% dHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument.tex7zXZִF! "o)]A-MՋhvG"uIBm5('LgcѸlkUF< (XD"e*-i$ 㐐Z-SAV= o"a#e_rE=ɱ <^ -: ~,~| 2G]4i(g_N0{oUv0轱՞; I}g-vE\Tއw:z:5=+L<$ðU8|W¦C|S"#6H,UĐMx'Qs#^͟®ϟj(?%`11?ɀH gR`@̍̑ycV)kΜ9 =B1~<)M M̊hRi)d6 53: wL\S4lOGXP5AgT ĩg'NҒ r7uM c%F aV,htg˂eAB/߀)z3hRh0="QUÄ1aid 筄E5DdOz ~' `Ϙ.G73V/q6#/c%qa#ˋu[B[-,Km:="A IZRk\19#j (7~̧^n罡.:8oێ!5l%mbBSGF[VikK?tds PUFhGʠ$XP~S=Qߜ\ƓO3Pc:՗u"}w;!Y|u9][Y &(E"ឆMOGB䀰"Wӈ/ԠWkAPHe 'U f@/ٲhbia}8^p[|]9Gn.- j<<{SE`ߺT&cO,5j`Jx,k=9 }eHНs4_ې!!γ=?c6Z5 S}(ۙëY 5+iiRs߱t0`M U50 ?}hP)|\M)\[v쪊X+v?1ЙeKx"U PQ 7r.iڑq;5&?QϯdgL9CA(1AG5?g7ׯ{yB] u 2υ3Wft^Ć"QdkIIK=CpGd/;=s@:uG$m $@q/p[mj-l0?6Sk:hg[th/LCM'1R ȿD=%AikGVZQSJ&(iC'1򊔢I䷈>p{B +.H3!;hmfƒ S$|P-XUbDՍ4=tE@hMl엄wلĀ*NǓYKN}mgWdù+5|YKB`MX>.5(ifk&ǖ xGuFM 7zܛy/*'&WU(5HMJt+-;2sVT^w"}Y~!_bǁ[WŷP{Y\{Kqc}~ǀ*ZV<_W?vyJ.bcO * M_ a+aq:;#{s,l09ku/tz;Rݻf;ȟi Aֿ:bwM5Cِ@֊U(ߍ&-0k.`m݀SEt\_x \!*ȉ#z1D؈CU臀4{RDzQH9">YyGL6v-vf㈨@}Iܹ&-%>GaGPXȻ Ere&.0TAŘ npȶl5jQ:KT[?thOm(u#'N]Gȇ>Wʥpu^ ESiS9mٌY8=É&!7Q{1ADix] `7ɳx :sOϴE:#CwqοCqCI^l uߌAYӅĸ0[*@=YxxBLmXzϦ-DJf!+H>--aЪ11˘jwlcNj>A$-a >%ѱJ^Fd2`$m-Y,,nQ^M%Bd 35KpE*\y܌DF͛ӆVnQj,)o۴mnIG9Nk:2ޅ_k1+)U$gT/8%>TpR$B9qNEi#hBhyFCLHI%Va"0VToK"z85Wt݀T}(CJa(cnfEdnU3ٶyd6o* ,wSb>?&ܞ^Nt`(i@%(>h7!u'\i^D#d4Y#GeR3*&<%^"coz[,KӋg|1Ǭ0x>\r5*>0 _kp 3)Cr` !r ޚB=^yCv7Qur̆D3>Op)2\*ƶ2hѫ3*#L+۶Rmb`^LL8/?iPH_N;w*Ta^ҾAlyC&a;+~1ĩjYT^hЙd:ƥqӫqoTJja׌!wAv×ҧgm.9%sEމ AzR[7ȟ.:ppkr!Ҿ$c=~7iB<)h΁4AT37rU,dKe1}03R)Wk񮋽 s"B7ǞƢ;1 Q;b $x|sbx3i2|-c_\>S%]C(SZѼU(Ff hOqM;?x̋dkÞXJsæ@*spjIO9s] ̵eE ߜX0LQ~)/)hh BaKhMt.YxlWTF%dk8qx R¼"gYZ 1A% 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce5_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<gU@r+`(YD,Z?Dc^3$NѕF7Ͼo 0lHmIpk\أ'j 쳒#V7(5] ^PU:"|!\,1i*2 MMSE# $O|K>{* @\Uf3CzҮ;rN!]͛[i؅8۷9!<%Xu`ZF!;(L_.Ϭ+םY 8LK?@EV>w"bz羿Dn}7Fk%' 8 Q9Bv?V\dYmiA4NWÑDy,DA0=q}e:F4yjAZ|T=EQ!kgYZG 1G% HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument.tex7zXZִF! ]]A-MՋhvG"uIBm5d|lT cflIjx5N]$kUrt%>3)QV9p{juQd8iv2bE- !?l'JQy }׫.oA߻*⛨%3'Q\Vr7x_4#&B;@FopAodH7o ܤn8 s:4ɢ0Na/&ݳ{G.aḂG:n,hЦAɵg}Y,]5&&)YhCw`!'4n(QoI /x/=2~kSRjT,  ]$VxLf-I&/vZG _:pb Go|׼ ^#%Э,YHTʟ)7Ć9Tx{SRȺ&ks~\ ydUٱQĎWx^>䱲_#2\|#jAFXOC|?dD39Z.S O :-EC ]6\Νz4r,MJ(!GWLN6:{2_1!Y۟eA q,PhE “Uha皺D68zxLCÅޡWrn+6}::J>)Cy*Uc!˟%͕I(4čS2r-h `,|x u1> GblfwR$qI?/Q~s:^|G&zg&Nc';K9efŦqA|M+L3RqYpD^"u'%}-k-Q(<bw ǜEջ \"8sC%q_>I0 }nSLbn\KoWk,p?LV~=It9y!əmNطćA|dtń$AX%XYZ\X-k.c޲M9$b3 fGT'_ ['삸5c З"\-smPHfk5l *M[Sicou|+$ ^eQ]Gu'c;='_`te+TgB*,3XR>lLXjɉ'`ɏ?S2'{)v!n45g [1yr 5F"~7V^h"WHUВB<58]&?CUb&[162&Qmyٛ%ƈs:qR }.jkO.PʩRv -@ uqܛ[\$hpj6;y?kЍhSƯD";V_&k%OæJō_H0UĎhp-XC_]ǖ.bl:j%5=  4$ItDeEC(r2잦yc]G}y]8^v#ϥnB'R6^/1kPHɜhEz[Xv{D-AŧJ|UN%X(ƵL:O8Rn?A1i\w. XӃ| jձgYZ ^ ^Z1E% ʤ(f"z$ԌP @|oIS"SUz.X%P]M;n_(zɫ,냏qL]8i vms9`i#)3Cvh_U3}O846!5j&]Q:`7 [ zplĞ_ chF(fJctcg(^HpU O{T󻄻|U\m NG䯚 O3VDqMnJ !RZk3P3X c)ly|_(̊E~V-L>c.*&.l K9-6 n:[Ǟ2l'heFdtJaXfU*#^U .ꂩfFxqcO)l֙"hSCq":x0>YJJvWŅ ~UՆeg5s0]Ube;}C&LKMp,O;$ٜI۷mФla`xSw1/}=S wEF+yyەI xx^{{Enf rEBc ]@'D* 9^+g':(,AмS6M<* 'e<8u詄DCPx@sGt jf+zE+\&ķ-Sd{[!#k6yapt-ۛݚ ˣtX wM'-x[/m/,#:ȃYEhKKzRqSuoB5kd j1 gVq+ [\+\܏8}1u%psގZ귬oO˩!qL印ipS';eF */e'+ ɚi} GO ,3fke)EjX/{T{1HV8}؊;}]i;4{;X1A% Ȯigkc%ЕK"tL=@d.鱹Ƕt!Bl?CciТ!*ѷ3?(S$tq+rɡm1'k-E ߭GM]ڥ@px P9mK(;ij ,\v3a[>-h1iҡ7Y4~ghF9>]/!$[/WU̾Vr)C,;ul=} r>0֏ kRS!jC N!BIaICZ/l\ Sގ7ۖcѳ @Ozw^iLn(WgYZd1A% THOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<NpgYZB<}:򓹵NFb^pK1N3Ռ} Rt+2õ>ļ k1yl*IQULi@=*#~H W&aOBE8,RC|~.4=?5Kdy+,oqK",W38--.ek<%ix HF}!̍uhT|ESּR ֳA:sTjF߱,G59\ eZ?//v:Pry'RxyxJC$MީBpKN-Di6a@" Cy Jk`}j06Rp&D6}V:vL.K.Y6/SZYb}O$;xhtz詒3[4FͿ aBU8iw*woSXpd3ޒrv3a'!69 @T9Юdn uNQЬe49Ms~ 7GfETjo-\@/+9Y;ܗ;4~vEXnL ˙E^_63G,T0Pb{>raDk7y:'uēHjmΖ D3CGvB-ܙTWxVp|`'N(oW&8SN+Ĩ ;f{\j JAk}gFʨp O݈odcy_M%OSH=t{H%ͫOVTqfJ+-2C%ȂR h?⽕bZ棪ܒy YG(Kq0EBl^O:]JG)W@ei_6=%Q}T7w[/5q4`TҞ͑o:1[R'KU]͓w,(<ұb2/⛥{ASX6k rgN'}ߘwCp`9@= &:Ҹ3C=To)r_6 s;鈽L'M&ȢmfBW'M'Y̲1Xg-G{|bsIsYm-3{FG??Hu4ПWyKnDqL+KfNZrF-WnFTEtexG LykN%gFm -X~4OLscԓ۽'1-e_Ϙ)uWx)śb-*Y}߻ip?e\8ә*N!x"V_gƑo:7]Uv QGFxݥ0dh: jT|(T:*# v͟G9B2s SE'0AϨdZ;|[+Ip'<*{1~ T? Cs[)q;x29*fЇwIDÜHkw1_<Ø~J2f3D6],{_+&LrшQCT\i1OaKBJ{`⯿ CJyMoF 0xW%V;3vhUѺ&TSKpN4 J́NlRI \o!o\\_Y1ޥיPUv/4_`#m5_}9'ӳY$,j%) aK\EE6rr)Xϯ7Er|{*'!Q#ӂıBJ[{U߆ 5Ț@ cmOA nFȦKB&w݆ uQՒrDHTŊԗV6\7JBCp$cOn[+YKȨ40doW|uRw][Ѱ-F91V0nwGj*bd Wū!!&v+$[g8:[$Xgo:&I2݆qS1ŗx]Lb:DS?o/ gb$%{V=X6[Px;?&H2 yB(Շ&:ʘx&7Z)hCL6eJP û]2RD};dJHB>j˹K:h5i,JO2%QgEmm]GH;ĄD:/,FR Lkٌ!<6ǫBi`N'f%'c*&ZN| ^zQ%zRuS" Q{;hfZ`-҉4v­+UFlZb"}bUoyiCImზ?F}E560mO}Vl X9Y]|ne pڣndFm}=_RJm Q{Q(6EoX`/ɆOBQ'XZ ,{%6(L)z gYZx2lr` (J8ඩ;1iYI+ɂU1ԃp g謏ɁqGKJosu 荥'Gc)47$%dX<8AA'^@ xN&X*Toܡl[wjЁo6/W/XQ=f?yX_O2u9@ x.T"G_?$;AM׮E[$,Z焀# T=Bp'9)t>I˳?(vdYD W醫% \DӼ]U.[,Ja;G'Ք5uoɚ\ ;-a}j18t|]/Lnz4; }8G拙*S6l4Q(dN#3!PueEmHPr,,R¹/i4{((p7raiS%rE-Bf;"V&~EDT YLfT݌U}]p[s5R{^nBy'ݎ-:'''լ:[P%7hJ_ÐHI{b8=J߼}Ak탤ئjB&'zGX3]R߅XkIs5^ #[i)P9<mcňJCK$2?weWl匞X-0ճÅ/5 YxsGM{~̅l!9K&qYjwǯEpcq"Mg+9FGm>C˨ *z`5?6Jh?8DS J"* ZMOO'Z_℥c|;|$'+J:6~& ,O10 TGc/S C}js{޾쉃(3[f9@?`\9hBi2$FzO1ԚVG6Z4-8Ybnx6+c1>W~W %n-ArH4_&ZCMs_n%^7^8k+|33N!Ύ>'_ܱ m=A|GqÎ@^ ŽjUX/Z.rFis<0x? l?/#KmCKAJ3P4h\fZ `&RhX|CCޕk/qsFI~JhOQt4Z%K_uz,!JM %Y3:Q232OyȡGfoNsA ~ȓNPAo-lh_U~vExv*8Zm< RQAɫԣWJ= ls[8W.oWK3蛚0Ok'wJ9#twNHdQ1;&ʕ.94+0b'ѺbOr&ԝp⵿,9l`wrq k -m:1nCVMJI+zd1B<+!DވUL87fD D@^h3,G{Gnאx0myQF2桋$AA"5.Aupݿqd&Ht2{'.~{Kű9p٧~AЮXRЙXg7yy c閱gYZ7zXZִF! Rl]ŗXi%D3~VG]Vp!.|1o4v1+orϳ>ۭ Ph?tIIOYXwu0@X:29V]HIz{hUxo7,a 8v&%:bƌ?A'SY Ɵ4T=ܧ3e2;˖T'! &t`gzitR-A%?i 3fYB?,Qs;p0C$햢I0TGxMۓޑo5 k8:Kq2@ ZYf (*q$yk2:;׸(8.U{@ʤ̣ cm_G5w~r҃?=s\S}@jZ4,_\ ebi8wB)N_.|(~3Qv{< h3e0 #Y̋E`7 yXXˑst4H]7-4%¢"Y9i-6Ӥ'_:SDZ06H N's-hN4Z`zת/R; >.IfK=^J5;lcuUkqP=JdHT )"a'>ՅBgw{[ jz6F@;$b'k Vg,DYQ&֔2|zۻk,fYuP[< w_x.-~;.!hR)eux6ΠEN F: wOo $ $\/ 63;ŅUAY!L݃p5gܐ@(Ͱ5;ɠGB4{B&@R~#!ޙu %]ʄP2T/6&-brڭ*@L7gr5O,ӫ##Fa>4 J$dEHQfi-! ,I3t4{/(6xH hLwpUKNJ'+>?Go1#-ZpA? MĨOX CsK4m;;7HUw<Z d"m@'-Nt7-~C/VϪkq5F?{6I |#k8%sU}t>B7ٯ DvRhx4Vk ?2Y;h$@sit/k%-ԉPQ@.z&G{"V`|okڊ=9sMg,BɁv N->XHoGуdfIFjVN~bwTrl3 }äGčk11s YE鵯sCtZݜĝƓđVk/P) m2E Y|Iaw 8XFu|2:f{kN$@z WMeNL/uK섖`fw[i'PgBQ%8(Pglq{ uE._+LBq!'RI vvgbǣSg#iG*k#*[Oz̓[z=4Qf=˵3?79a96F-̀ܒ8;&g[J pTT*̞ "4Cֵ*3Ao!x~M+A~Zg:s"qjx3 ec `Shg"Lyqܶ0)HE S2a4s$?_h* T/ة5GƮ d+U՞Պ* r\l7%3nக W1;2)i;hM -Ӊ-eͽ4s&'  Nwr ]k?\%oy|~gDgm+O^|Xȟx>1L+H2mfyꡒrN;*Pd*.<{G fCS3 mЀI&(dNo?]žj)nnUdAvnh}= CX-a)$_\  _?煴+}.hF _cwpčNY[U$+6ҬiONA~=w>sȨyS7*[36M߀hrtxcϣY`U4L.>ۏKo$IR50 jw ? LZ[F4#@sᲕIAXP<_v9-ݵ,wĆITթ0\vDϜ] `GN;a[[/ފJd|[|GgN? vF 5WcfbCr|逭-_-DI}ǭHl#A-Pc3zc_"z~Of]2bVlQʹ8+ ,aSm]+䄒|%"RR<ы,3>{ro =qPCL8NoREo8#؜?la9 m_zCz?4!i{mWG"ӋL#~>hĪKL<I93!UwU ]VS~d:M Kd_^lUٔyUAj#BX3&)Cg޵/I9qGN&̥5h -qW2e9Ep79Y\o~}sP ?ߏorb+$-\mK0t-.EZ"{JD|43)ͩ6?6y: ʁcnY;c:!L'YuG_ػ>~y)_>Yz-D% YB ˫O-Ї&8 g3(V })[8J}} oVqeo~sh)f#>=8ٮ8}>ƛ#Y=xWK_ +Lh Dn(s2b Q~-^&bNI#З bU%V^ _y>r8RL&,YuzF% :ڨ)-h?Gx*|߫n\hX`W{Bϙ4xg&H6%Z/)H6b YNbc};A8"[5ooo9#PD\"U ԨMqj?+¯Qt%22-[zH$eox~)2x{ е[ f|;]<%И"h^&1='lRf\hX8XiAF;2sx/cmm0;IRJ>D:RpR:+0ޗ%sջgэH|63 S RJ7 Q7م*w'~Ż*<>d<W(ߖm]%.pKBh ro6m@/N ; f2-NGYX!Fi%qH-hiZZuTҺ$"RbdE)b V.UiK׀*Mn%i`9kQK':SgwϟjϚͿr|K¡d{Yt0UOQؒEG%Tft.C p޺ ASWj!1hv4|{K9"=qj<{#m;lKo15((8qWۜr٥L^Q@mdHbagURˡFmw&t-q0/E<Lŗv琡cP! E=d v-D}Sl6A{PU?: '5ϧXc(@4cq+qmݘ#)  ҙ5UOWߺ͜ρ^7g)[ݓh#N('%NZÛBɇiD燚A{Huƻ'txVY LSßS:t* %_bۏcn냰cXĜz!C4؍ 6r*$Ef1 ZwISBmQrF#:*۲I1H,e8.|*0k6Kuw02|1[:u VQǷH ҅O~#|[:!4.k遘SNET#65դ> BzOۊx=NFn_F䗷S ٳw3Ј!f>Y")*p 4d~D#Gr+`**-׃7&.Z19q~@^\ƍ-;2uabw%$WL Mw`Q4皝mpex;I;K+DJj%ufcG9VRƶk#+13xbX ~A2e/4 A/n_/2AErD$FN+7H͖ȋ@XI<-)m@ߎHqi,Ev짷-,ɔyV0٘Ts1*sdϱӬ2 ~>w,JF)@l:P[щkǰY ($I.?j:&{^2eG M@ , >E z YgtW@cuпǶ/SD'޿ چ/x^/ $nv$h1i1 #m?5;NrCVY|GtGk 331a.s㸦g-~#e97*O Q_TIP;r7~V䱙hq/ՕcH #@J.i\5>t 7G % ď]2n#*ݱl?ܸ8]qXݮMgꊀ loLBI7a7V?rZ"zQXkGhѫ%fpco=9HUţ- l_A~õt |M;>׿ Yw }`MӇ`mvcoFOt0'Ρa 7 e\]ntZ7̙*=-U}\F\q{p ¶}-1c":j3֡b)9]"4ffs (:"9,#OЧxvROsSP_.,\cKQ*G&2ix]{ $;, f> [K3#ɺcr1_߽Vo YOn`ډˊ6+1e-1d74^4@u3nncx=A\9fۍ"5`R5<x(D`vN;>A`Pp_sД#1bjf>x›t`j)h `:CKhvA.Y@МAhbb!^gwvu/˪ l1W9:Un:3RQGʼn[ ]r8;O#x֠(f M9k"/^bb ڼ%.PkAb:*`)HL6О V,7l0RHn[^;tu^R5oxbJZ2`.c8g{|ct8I܋N䙊N3;ce2FWN3YarrȜ+OġOyDoX\v/E|]$]2?o\\>"\{N|HiWB{=ƿ|nmpm<PZ8xYAg*-uR ޿$S:}[krՆ G` $'cOOU KTSq,O c#O4B>2$`ޝppg>#'./s "mf),o~K[Xx#,\8<˔޸˰Vy2Fa?:efk{O"'pb]K2ƃ`59}Q-l; oU4h}\^m fփ OH"gR^-F߾):0֟#UEVfzɫc-V:1Eqk!9Uٱ1X7ZBNYRb㇮NNދ/n Ѕؼ6!о@t^]t@ Z 2HH3.>+3lW58*{=7#k&D/`!&3uꏨQ=xCw'+!$5PS֮ξݾ\ pTn6kQ&נO~Rq Tnf-|>ZyKwF { /#K?>s#l]U˕Ѕ.=R!P.zIj}(T-EVF$uAhw>7prsN/4?Sn3g ҃(Ŧ}1&OIRն {49S7iZӾ0Ê`8Mܾ_zZM]FύNShx!(oP2=,>E?YQM9>^tQ+JZ~t7|z3h7: !Yה($RNs}fVQ#E.y!"yqr g?M,%p0)0V]Mbgrou@*Fm!wt1T$ G5ߨ"aE8FaȊI%7-< B|_o8ODfNiƓY}[w>owѠ@?KJq]a]ڽ)z_ϫ`T- ,L]XakF}ތ |0w|-p[9~ y‚(mnZf̓,P#FnhʡjXқns9 grGqZE^~f{bf7W.u 읂\d+-6_:E[RSN2ۓO^RrU!+@4jc a0(sY, p|xXFLYDy*QJރTGkܙ( 77 A0TV-k3+ Hn''զEy!i@t$M9ud qA ۃ6RE'욆j7AүN ʹth|paJ+ q߻,as8C:2۲k@گE؍SQv_v^1:aVO^M x͐e8yJƆM~E™_ۙ/oc|9:VNDY{R#ѧKq@1d.]ꄅFI)$L-$eMBPVԼK%Ry)h&9ӱٍ:$_u/LG+u*ZL&OEuelk#wBpiuV;+G}.j5t(ͣh㴤\Ʃy*_↤eAlQB(l/ڝ^mTw_:$eL|(%2^u쇼ykV- ^@YaC[tK+55.Kj;toQ낒'ŋXR!U;5JXap⼶[U6|ؓRC o0* #~űID9Z,\ᮁ:_0J' D?#Ca4kC̝ڼ1½";@y mw9F0{_݇=ӻF$zphme3Aql_b@$QxmK*ӜZ1)ZfUY\E1l.p_"'vm0F\4QGK=nf~隥'ؔ0伄ްʊhD.GܷuU ,M>g~IWe~GԜvCoH EvLB^Ձ.c HԸ#G,ܸ-'{8`at|%h؛8sd 0dhyKevo}W]o/T^ĕ2v$ײ #:u56nSʦo6M)0%yPK8euzb\l%6fY<WSSNDo?3>ذQ,[Qr'ܜ! yb^~bNM.[[ m4s~qצl#}žX+&Q[Вarɠ qCO z O'^J2Mʰލ~D%9Lrӷf(;-03K#f8'Li1Ŝ`ɜJD,Tŵk/ejI֠TDfbLfd0wh؝ϻ+\w,f<\%7`%WW%r]Ђ?;7,'jcjdU2'q¾6_GWl(0 d_sip tZWbqgbSs &"Ph;|G"(z};cn^;ӊXb  YrK8\9Ny fnr0Vc z_JגAA<+4$l W}wʏԿ,"C2iΫle`e7Ȣ&\ IXn&**B;E x@OL~`jTɲA)6q^g}5I}bƞCb]$A~LJ~ZiV&ȵCubR)\9>,cf6] k"bfl|59۾jy%eߘ3[dﭐ(`Z?6 PcxT_X2^G76U3SO9ڤ 4W('Z:A04-)A,!lF-AҬbF(/¤':'Sb/nhacP7Ʒf®3IC]~eJ.ZZ#t=Bg^thh/B"InC:ܸS%Au v3,TE 噂 R_%t@>i}"#NX9/D-/xx*RYzc,S",}9ż&Dɋ9`^t%q㕞V}DmF[W,d ??]ˆsZʘsUf>)ditPģ%4R]uM[QtJ` w)%BT|y/)S +>eg7!Npkb/$e?֕4y'Vsn#h6 j(aa2 }Q-RlD\bXaݜwO~$i8n窸m{xc=0K2:{6 {祉ɰ5cQ/ W@Cj])IRK尾FcHղ+An9LS"f l&Ddt.8ar&ދ8JB|6sJov)}l8eUĘӠ=q7Wߐ_g{Q]Zj+ -B %$1"+('yB¡̳Г]!P[@@d!-(*[X$s->JfeGtR"VfOq&tm bIoꈕ[oY!jJ?_6>)Z|%?ޏ͋E=*C/V*9E,$cR`ʚ["L%O-"kKc!(ϭ7tKc伃4:DAVhLhb;" ҅y9)c U-Usp^R=01 43VBQl)XЄ_P<5 |k/u${KQ)֊ KHD]Aֹ͟ utWtRI.o`xH$XxH)J$³( ơwq?O6nI;R5awF]$ fDǨJȥ-O(N8:y/:y|ק%rW; [Z HP] ZB"*쑺#*0,]˨,r͂ ·aĥ!|yCI _xQmz1T`CG Bާi>X1riB=DC#]ۣki6: @}\&4GF k Ѯ"i}p!d$:y&5Kݥz/^VIEoDM@\^?:}w`pnp*Z77#ykgP*4.m&mX RutJ:!\J+Er!C?x6QvбUl; -|Y2 M d,!Bfmlڷ#NЛݞrFAv7 Q4Z^u-9-*@`eϩV[ǭ2p)6U]L pFRfX?emW$V'l\֫/-O$杩X&hU%@ځCX a UYƆr%>`_kv~OyߙʍJ M~qөd d6,m>DKk̗iuF|Hlc _|AwOq*ؾ{8]BX9Sc8}!i<<Ri|Q`ZAzh5qZ^aϦ"?I8ŷd*|]ç#/!*Z}lTˉF]t wÆXquS2p͒p|*A6~||11R/MGHuGAҺ a㶕24=X]c0hi"dАႡ'fkG6EG grz k86l{f\:o] {71p.f} .-_,Xގ ?PuS TF)MH^2~+ a=g-ט{GE56a$on~s˪~1ehݪ7e [KB SZ?J7!=g5>+lܑz22qDdsrxɓa9?3eeRrCv曢:lDx\| s3%Owb]z[[@^,t=$W$#JjpE@/}Z)Ŕfϰ,pb&RV\o*G K^F'}~:T܏?8KĝR.BVDo'fk] egiVj "]JT7MI+82^>q~""z97eU&Zl_fʗBH5ٟ3-wJ]xs)Оer.!pKTV}#1vmu9'N6&E9w,6~;"V&2PJS].q_Ds'-Ss wʺNEWBN X,4}>,0cckNt p l&_kN1G86jYCWM\8\瓭:iz8ث+ù'W6ϻC2E s׏3a$Q}d B=˝j!WX CV,}xEgY5yS"S6 'q Gm^E4 "mX0& N{KG3qEtUOU¿2@HhW,7Wz9Oi O%6XspޥfI\96~mKώ0}=FK>m{Lҭ(\v{?RFYXŀAɓ!#`N룜<齷  5XtTd:*Ňr+(|ۈqSBD_˄ti.[<=gr_U ) |n; ae7ѩ)4pZ%B&^6(aS{v)+CC*VLv_ aI9iƴ6!t [iLϒ^jPbeR .u5!6Q  [Ղ M?*kj{ Ԫ?,jM gZ:TyJ;pԳj {Ó@gI?ҋ"y@uƙ^@dՁE9$駚 2Z%?6 Qlq0šAIPsl5iD PX ƶ['(\wZE_AW5r~#$S>^O WXIy]"#& t7_ ]Wbi$ AVnoSNynKA C;!3"fs;_xR] p,wTS렰|B(ȧ8d]ҡ+p2)N6ⵍ XZ$L;O9Ez'6]u۫u56ͭUES#tOlACGO|P- 8x `f(DK)hhp9yS5S@pPs>}ŃHI5cRlW"/ǵ=[Ȩ\/-œ$Cmx[NuEKPV)۲x"A= 9]ZvFXM1ԃ5Nʲ#uuxVz GqwBsr{!ls 'VojB H}fd0 *.~Ͻ!ݮt~n8 7P5sfN֮e1Qe Z쾟(ӵ%lqjbpٓe?d֒/6^6ր7uѫe5k/3^-0>hϏDsյd\t?gCEUGmuKD nyeD{#3c^ԍ&aڧzCC(KҝdwC*?c%n "']e;~?cgSh=ըwl'qժ1iMC@)EB.)oP嚽 IjfQֳ+s8/̷IdS*܉k?.yb&X=tV *4x1vJ& AЅ7Hh悬co%ʝ4fQ?Ew2p=fqJ [cf4wW]~wp=X]3x!zL}-P4/g"C=f:ӅD-pQrr_!rp5akqxm(b;yA0,0&Uy1s%-c~Tթի]ؿJIƛA_3;d#R؆ B`]0o's__Tt3΂Adb i?@QL ?;IT- l@1aÓcIXlx-{^/59D\/ qVB6wWs8[؀?#Az_/\^L_M/34SX*`9ׅ?XD^e rU[T34 `TX ƎےVB "o2D8 —p 'CRU˪A)Oh5/d}q[*"$d2^ַfhCׂv=]9hR7*ݘR:ۛÏh<_`dZnCO^Zhŀ:żR#Y%-kO?cg$x+ӽ JL",+A2f--B  3Ȟ@J8~y{ YqKݶ2LV&{O3( Fox:2S#,L+r<p|yDЏ\lDHpG]-CD\ vh0\g(S~wHae}AfnKI MꌲtI_=AiQijZ$ )F?;PP&,o]w +`8 M^{uڗegΑ^\ƀH1yGхj1=%/nlׄb|>庀(}!q~+.y]VSvx!Mst$LQ z> _`>C21o#Ğ&S[VBXj3f)4 e߇|;0^TVULh} rEMPg[7߀lkHdOB?ӧ_dy@?)Uyx;w>n)E=&h%ڼָܱ.>骷PxfZ9>Gt *EDYp5q@9de`p--@yȅ#LmE!0񂤰\;2 tTp ,M žFrރ{פ5Ou8*xH"5q(8>=Z82a'_^&f9πIX~mW&fTjt>';pŧȬuECBP|+[SߖPM5)!cQU87?^|z%uDž\oăYlڒ@8 3H'f,.( p/1 6o_>FO{p ]w ]'HʬI5Wm>ӂ~o-н(#2Iڊ~zhnl: 9jpkp ScE $_o-xzBJǙ¢(>wn='yAf&!ܔ{B`#H*%~YM&H@ļ?-3'nQX}@19|.}+t!65JxH[L0u5`G qRuGreP]ZAy9du'bRslͻp]PS>T*I?kp"a&؛jXlf z  tslU/ގ(PN_%w{DOF4"s5Y_{Faިղhj6HK QѫNL*dyLF8l>$'rztUb+/̖ Ƿf)Yʳw3B5a~O6Xz ג=Cdw`$A1]Sk~8C9\5IW-4(/xT8L`6k`71^/5g5ROP*]>ؙ8N6*mi4v>}aI;?[*fϩ 5X:K>Tlx#~m-'Kl𼑿}2Pk*^}xPԌdžrLE{w`t;Dӵ(gw=.T30U6܆ca(gMW-dg4QθVhXF X)] uy\&g^ +hm/ڦe ۫~K&>~S섉؆ RZˡ/j=,Pm4\*ٕҶd$ufG:{̀@p B|bZ(9+D/BKz/ D1/&:b?ǂlkTf;M,kHGbz9K: RB7Q㠥XXG|\Ϟ`!|%'UJ{+HU(tU/9eQBb[#N|1䯌63?WP 2hjZ[6oA|~ʧ#-%8sc"haLV"%_#Ƭ`g7IB)ƤJ7RÜMp+aٸ26_$N%9tV^P_)fZǕ͉pZYnN"%d9 n%}$N" 8+K K%^.#t0>D#ͮcv[A4CLG!6H`ad8n t3 !RSXœVKdjF ˆhLr/< ``RîB"?F;9*u׭v@ʠC=5k-b]T>~IzBCR坭 ض)TAfQ:bW~~m7gµ\]M1 -y(;dD+:3Ζ\1Z(o"K-jyFy5CnʫhI+h:KT.n/Vd5`,2 `1~*G\4hㅋFaĕ_yM&953QaxM츥X]h9nl^RBeEUB?$Sɠ}4CҶCN^]T V5X2K.'j2"-#?;OL 4 ajݝZ)dt3` Q:y912ۃ5PZxO 垶ANвH |Һ[ ?ݭk3`E^OtI+G3 3N>| -Aw ]>Lj)(#HVorݏ/7~J͋~-5J L&lp꾧yl/ P>z5FD\1)MǟPnz,LU 4BK\1;bPB@vkCr,ѡgYZb25c95f1477094689c99b7ef596ae66751cc897bc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3