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  1z$< ] HOL-Corec_Examples:threads=4elapsed=267.561cpu=718.696gc=94.2127zXZִF! 1 ;]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8 ['8DaVe44 }y1uSZ<,.=37$SЅH|U #Mі 3$U +QZm J@]|ȊVS* !}}$ %8!:Io"93(xmgAҨEΌ2XAN>xPXEUqQ 7?z)r7PBTZ,9_1\ԎUo*р c R 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%"        P s- e Q@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.texA1G%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument.tex >1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument.tex @1E%HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument.tex A1G%HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument.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.texB1I%HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument.tex>1A%HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument.texE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument.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 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;@|ډ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   1O% HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument.tex7zXZִF! J]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐ)Tce9 N_I5e} $6R-)$F@7A_̲vr+8=5Ej]D1Dr2.O~iB~v ,ܧ<) :|?Mz\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$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^' \7gYZ 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 t JtS 1G% ,HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument.tex7zXZִF! #P]A-MՋhvG"uIBm5u{ǶlΑWەXlq{#bwjJ޹1֝D't49A2^s9*̛reY`| ?ȲέzgbO٣a6f ]`%R0QV!3aFaW ^Nu%׍f4 }J^P־3hφVX`RÊ@Xq5B6}Ucֆe j# ނ8^ "rq R߸JOEmgפ,\{-VR#-y-/)e7%oМ3ވR{?SM\(GzҕKμ3(?"va*o5 "og0 ]eKݿ|(/O) u_o ^v쥰I*D}Q cp.Ԅv4G5¨4V-)\z.X.(z#hjzQԜsI1 q[?(bόi6 g?]^6TY0}pZ?DpT@wDvstoo %orԇqn71%R6_9rD  Ao~_f TVW4H…E #?jIk5?(X,>9s] ̵eE ߜX0LQ~)/)hh BaKhMt.YxlWTF%dk8qx R¼"gYZ3 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æ@*spjIO3)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ձgYZd 1A% THOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<NpgYZ 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!kgYZ   *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(WgYZB<}:򓹵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 gYZS/KCk/ Ҋ\d޲=qEc. &mĹ^:klςSVϹ10M 5NxA(j.]}I(]9N=>6]kEltaF+2jy*h&Gr?}uJ3(9ͅyBedz4W k^c^蘳@?O^TƀM m.bUOHe7v {&̋IeJHy%.!LߺIwHSq]$ph,$6_@U{IҴ=x z~i`k]7&9QʃZ<8!>Z;]'8?J?BcWMV|/DUO}Qz#.BQPxܴ|_D_e}Ry*=*.*zRj4o~7Ybn'"?]dND^caB OjyY#\oTp! "rdMyQx)47.w]w0P66Z{q]ՠO6(q\.|a3!G) <(<K[H5POl^zCn𡃶ʪdE,#Rh2/r."HZO V}bL`|p66kօ;DVLiS%rF% v1b~ ZA5?."/=…rH?-{{ ̘veIj(x3?w_6pRޮQьzoD>RApW5㸱^k-I(o5a1_2죗܏fodrú/-3F7ُG%4ALqbN5:eC2VQ)_s_B#)-p?b S 38: %q/\tsK60_8ULwK*w C9\^Da n5F Ԛp Uxř؍ܟв9n'Hǂɴ':с)3/Tj8}]e#HhN~Cz{splcjӂ++ݖ 2Xg;lĉ)}ԧ_ UG Vc]t'ϛ:xЯZݟqu߿xUH6vo0Hަσ}v:wĝ)(\0)6'҅u( վ}'#g!/o֐^EtD66) QĪ˼🷒zJq"etݏ9ʗIZ?rN8I6~e##9zM!0%z'HA gO+YhQz_dװ:u*a,]AТrS/Uhuߖ#V%dINS:sx6=JT1C{hj\ _HvK_N(8qu1Fge3gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̨?^!:6?2Җ'ł)/`*I\IןzAiU> SG.lC__W2dQ4mIܑPu+kb^{)5҈BFdk|ӊB]&\ p^וQ;T [B[Ou'zS\&TܷOPպ5>^Hhg:I8݃YuٯP~kguam_DŽ+?wȋr6#f7#il f?r~?uE jtkgWgJ6I.DHFBz~6/6qwd~d%UNBzoW)Ja I9 2FR%|$zP`agD(K!  k\gYZ7zXZִF! TV]ŗXi%B{RJM(JoXgOB/#D"EvV2f޳kedȏ&28fMĵyZ)ɣح:&;cXMŲFK^7jYbIRknbqfn [aՐ=JoBA `)uxz:?{94аvnM9fя,o)I#9yŐ@3H3Ի!bp#܃S'tE8'$FZ5uٌ~/@Q ;H9bl2  fT ׃{n1Z}( 0j>d 21UKLrJ<_ۊYk$fϧ)w\>B Zɽ'hVm-8(X9iL ‎a((.7})SH7W?L3)yyDSq]]?f2 Ag|#uP9eWrW XRPw{[Qx1`l֥l";\h+s0*o#L}~"~㒙Wɤnde;lhn E>쮿a`:+E^DY0rtƆ:)C܌Ue~'EF)}СD|٨-/4VQ C4N(Kݫ,CohK3+6ME@8AH>q@h\(z3PsmC]|IJxx,\|y3Kvӆ%a uޛ*J);CF2*axx"qoKeVHE(Orm14iZ+c<( ?C@] pjשrfJٙ*Ȓ/I&BZ[ V%"!&,+OP eWO';Erݳ;_W**Ҁ󽺽Uj4:IĂ{*t [sm؜SՙMé3 *ZvVh3eCvhUX^OG^h$:ⓃoFU^n)@+s)[6[#n"}Di|R$Y3x@r0;d|̑ [Xu^-<"(ф;/T{AMҿgS'֌CWuJ5j}oLW]Q<?}TADiB>"sxֳ q7Hory!+j VQ,"a1uR7ZK`CG __q~R%XN߬Ϧ `s̉^@+ę[]ӭ~R>CߜUs'3CR .Nm+&Ͳ h} < ~e mJ-:u3:l2h]5Ȇ]ۚ~sF&ĥ_-Ow]@ 1ʛFS1AO<")s% DKЙMoο8 Gv{9]q) |P,NeEVcøÎ[a8<CEnbײ݌M~Bjc=Я$m!A)6%+׽oH5:{ï&81*՝TS4pTz`c_b嚢\>LXwyL1:.PP(@HqhLY]K x H nնHP$(y` U:PTW]o K?/ĉV?I--B72zVYvsFq+s>^: ɔ1Z)c\wp1-ڋBm|Yh:9of^˗e'!dTDOuǯ 1[UVXfyy>esӱsj/jl3f [3ZqE@ꠕ|JnNu ? 5ϓY\rIjLjRnJNyHX{QcAU^r1}̈́yL1 YvEYZ *;8jƅcƴlxsc@6ӐnDԾ[)?ϥ֌sqxFCʮCl+Ybf=-9l-_i v2m'P6׮}s (4tr-M:ZPA4fgbp޾Wp^#ڪyIypz7?dΌtBܰ BR֏Uؤ70PC,6Qc>ߚs4pJD,P'F⚙AXD=f߾3Isc=xEDOB1(#X3޼yYL =^sjJ_3B)DcW-e?R߇ _~tEJ"%0;I1ݥ-,(Vzd~?wI+Wl,H 䦜kHW򼝍4I.zMAܿx߆rB'\뽼# s!2+wT -F@ȹ!Sgl.:]lJ=x~#(>D|ná{ h 9__5 mPn5kJ5]5 $Bl .I`'lv*K-MXCGݤԪ-Gs~I"Z9 z):e$lרP>?q):{o'ɀ27륢s[zy XNǹnP3o؃h̓`;Řjz ͗JtyPx~2ɮxs'OaDk1r5T+: 5ɐti@*E`db ;ߣʬCgLL[YGjq,'ZG ( .i3MLBTld̅H nG8{ql.ÿw6jQuSNwNwѓ)NK#HafixeMO)C9' !s`+ϡyʼOo4ԙF`%1 =צ'lWz*9S+DϚݞ79`Y!̬]0׏.(Z~0TJ#z@R6Xz3dr9ֲ75u~QsfAY8@_qPܒ(D9"ϕkR)xO{T5p0:z(&İ漉 cN" B+L5egr*12fqKgE/0NTgF mJA0˝.e(ϐU6+R!)NbO`=V"E0y,1Y`ⶐo:!^Ĥ!j(v[\d멡,)3Y{{>~,wtr29KsX۟aܢxI4}Б|'u1- v+ځ:"~[IwWE/Z͂J<8pAX)qep;5kf Wf9B(3 n;sX HuNo.Y}m¶yljҙ5b!:mV΀ܒ{B(|Ci'Y#`;!F}r` OPK>RIo jC8njӺݥnk%w9t!g8Uz@ZOi4#G2;;-I5,#1} RS2;F+O宖`7}7ipJޔ ?%O~LR%?80ߧxX`G64 Bf 8aȆ\u|޵Tg8nSV+0mGy}5}HJx߲kEϰ`JDUAT6&\ g8e*3K6VT: vJrn2 "F8B5WgOu6O:ș 5RRDm=-CY6AӶ^*^ې?;O*\jeo/O$ KPvq%LU ~(E^|M2Z5n5b d ㏼\:*+zP·Ux \J>b'27ܲ}cE=,qFzSf݊qb(*,X@؀$J6C^Q#ԁzC,s4ah^Dc8'&c{z.[=- GLI(]S*=wwyutbuJI8$tbZ%7A.hY7'̷tL6y'FہL<_Vsi2ճGsΪ d~3UQ%AmXJ}]BΧ.th:#oP53;7)ˬoQյJFַli 7,0~k>^&jbF^ATcǜ4'V:7󲒶Rn{56ݿa]I<[gov̱\0¥DifmNQ]z7߾ m}KRyv;n\z(.-*7DٓN`mPUbX2)+L*~CNj.tE0{3ׁTdjv9xZαmgˏgV"DJcjz=8~6xlg@l_243Ịtn\W|Z%Yc^SÁ4䟧!1 _ObbTZ׏X.m>2D7(4j\lgs^>kTI#UŽ A2撆׿}K?=ֹirŲh4ۣz[w(Km8 6Ssw":vqNI:'^ڽpL!Ρ,Ndt#LYQ3jP C2?tD ^*vW;8]lݩa<2-r-AzQSk@|[|-5w~)^R}jKwHyG{ao|hFά^J YR3 Kp>۞[7jeuW:¯[=ۆ9#hMFpkaGmZ5nWIK4+aZ%"S8T%'<š\{<4t!K*[Ģi͢R %IWm靲l>h6v&:9;&%]\VѫÄ |ʐ>!@(<s|}5kMh y.Eb+Fy @ (bRn d&9e oАGŤCF#EV.n!AtԌRꑷͱn@yO/t7ye߼moI/+bJR`//%`0x_0 D00)j06۵0n'>kBS7dY{ac5m%payI r;x@\NE %#I/CФ^%fucmQhU.GԐo,YRzE(VŸGMGA$';+?-*?zS@9{3w ABJ}HU4NrgȺEcskUS'=NIRe%m'FvZ) ;@PLɩ%- g8+a#sz sݷ1S`%@$h@3zܣv7 d5̐ߜWOd ?KOݝr:#CX-67 ? FkSWq(;&nL 7p-TSМǀ? J7dp\{]B8$%T@rqmV "Ur=cg"q⽿67x&ag--L_$f%>w۳<;bV$dmٷh1ZƟ8"r6+8( G)0$60 y-hJv( kl!%oDVMΪ~9-F|S5K:@:CCt@Pݗڠ5QL2k-]@+sS'>N\Pn3imIOtLB}OB:+^o2 B7HeG aŤ ^%WooWWٍg*Rup!#PsE`p`5^zCE#팵<vFlGm&'.^_-y9hp7]hÃw}mJ!盤(8}ں;CB13ߙ0N9@*Mʎa^ -"2Kr9^=S+@ۺ,Pחmhi+N3_c2ߦD_-e#UxߖV[b3L %F|b'G_U)X;߬9AE2O灝<_l2peDmF7%}|˾@b=AJuM\zOCb lFo+h@1>b j)*@i[V[h8hMJBeH#'&j7Gk/x7F fB[=k칔+C> 67L$= `Ͱqm*I57d1@.EBJ16&˅y-J=N|wo>Q^GÜUߍ{U)KJI;nX5yD"PSF8BDN@7df+2&" s ֒n˥9Ծ T`限Ӛ45Ik9\%?*V'okNo/-t!ǃA_>@Tb'UE~.OAIV¿G0ֳִ֙D$ -0*z5sSA4ڱI0Piyܕz8jNY㠛af@'NȃkcHAWh{ՅWXbot5?wʾ&Eb 18̰Ռܯfx*I aoZ #]D \pJ8Ȑ~t!'1, rTԧS׿{'VO`*I`|Z d'lCՐz +OL|G̲7ΕC@KSR%G>GŊ0 DBi܆]pZSbT!浖wTc;l2v>L/n:q~ kWVJy^)L Mن31XzZ'`DCgi1YŊt.:y_Oj/]wTT82Iڙ "FeRjsa_G @q m:NM%4zGZZ=ZڼWٳ3bWnjR@z7bLRmCEӻmz'ϟD4.7`|aKU`bI\oefX:eXcA^ǎrI_\/eAIG fBƣ6,d&c6\<25% V$/uD)\&朮X>_:/x ޕ~V2J)%p2T ^BhKVlV?I]24RITMeoFSs0j Au 檧]Oϥt#dѐ}U+Pih]>x)6菡S# |oQڶu4-ӀL_-َr·:vYeZdɗ~_= U֣{8<*pV4/%%iRT2N@+?Gzo%UU.cV):;Wnj`F6L.I 'q,uDJqL|S|Ȥ}ߘd5PXcQ+~? TVjh7ahK>Z+LNmD&v迫FKKV HZ6>UFܪg<r{_D-s~vA{4i+#I>j_7䀹c{7j\z\>E]HC̀+r\$㐶I5.lcόx!@Uf/:WiZЂ{WC!2`w-EGvH#͞rB<< NÕgj~Md$8Shpy{_-o;N T8bc%'[X,cJY.)a.e.hSTs'Hn73UU&$șM]ɠyɇ٩"R$MeM=ie/v7iT6Xl*0fh Tm~7艂40片䉩o&ґG+T.0T>j+nG\<^.sdӔ=XM߄׉2Bl&g`}&,7QR~ ZHѮ$Xe캗̘C!i8;Zr%W4xI sޝ *N[)Oؖ~+`+k=ڭd7pQK,i0]mZ:Tru̝ QKdnG!$/UQn~%k1PSJf&؀Y 1.E9ˑ|U ?Q@m('6ҮilQA@0]5O?&\乓m3,rć,_gVݵ[@$darxVĶ]A~mh/a!CNtڜ}o ڝykVHO<ݬfq$u}Nkz2#*6e;~lC̅&|lB+k=2{UP_xEI/Fά@UНNkKn9MٖÞ (©U[E&nػ䠶i}Ϊ'(fj5M|^]U*ʕyU&U/;CiN胞KjQt"]MopnIM6u MB|Jǭ}]J0jg(IVeԤ⵱}ga a,FÕU _;+-Qd@vSɺkh3Ɍn~P$_f3C\T=Jj簸fnk(l6=\u[Uخ+))UM/v0En#cENUrZdU7qJ>`JaJ[T@R;T=݂xMW:)5.Ir̹.ժP; S q sMqC1můʚ ЋW>L# *0~ *YJc>`[dbh0Vf$r+of!82KI P7)%2ZƾqXFrABe]"pX_%uV ;[%nj;c59<,$v!/]ѥlt6N}"G#kTM&ܷځ%fZ.|!w;h{6ѡ1d'̸]dt.QƔaw뤫ĿXtƳBmRi% UMCya+-O' , n4Ad! ),hq[{rEv+GkӎƕE?UjΛcK1Z^6Cb;d3vC?$S !2KKKslQo;TR:J< p=6)VnڥUap썏)GfN< r], oQȇlAp⋪u ;Ql)Pě{6( j1eMJIu)l,XN4yq^CҦW(y_< .X_΋ܝ<\%U);vY>)ʗA*7y E*!NCs߃ݫ,_CYmZ=xfZp0C 2( Xf*1w1dl&ݔZÝoUѡ1Fx GE]z{wƑ (;蜁'1>9P &`ե?WvHz} chYw\0G=h[LبwqD业ߔ7צ9+Cg1tڶ\OIxvYƁ:ۑ90šYM>iFZԐ* }t7ɪ˕xFe{^֙`b{yBǭS8>6&ZⴶKD]{Iފ /gnh6nkz{{?ɚ}w}k:YҖZ T0"%kY5mo)> zfЖ{$Q.^=Xj5he3eTa`8FU5DWs.3zG=Z֠b?^>"`\hC<;^v+@}oQϏ3fYV?X({ML9jYlsyofQ҇:.2T%,Qn lz[2DZN .p&*1k5pL y"17".[(kB.TG rQG%bU^ca,NŅJYJ=I L8B\9L62PF,]VRǎ% V+-e#ݓ޼H'߁T40D3k@~#mnJa5 Xfۯ3/ ǓPFN( 7ꗓ^j\t ?M|\Q1"51nſԹ^*]k1MO @|.P!oIH6"XL655 ij E]0-rg^i| Mk #:PUL!’}I[<ߎ9yS¢_Af*s5S$m>  qt}'ry4J\Α6ϔOpF' A'S{@VIϙw)cnݐu86]ݔoźHh p/6(b+?ۢꖮS?CCp ܩNj\큉\Q+ c{9p5ԳKփ.X.pTMIB+$bǍKa29u' KB63l3v?))^6RIlK~rkRzz͓/IRR[}S (1gZߚ-v7LC-vڸeAI 7l[ɱ\.EB1isL8N-,Q̹u\v =Ab7Tmߜ MH:HA}&#v@4ʊG-։hv鯂g39W! Ǔ)4 ׺\%sw.HiXj6wgG8%$)qtPғH <8XGvܝoH9`qGQ:<+d|*YR&D׭i_6R tlM,@tt_Ak4طڷgO%D?@£a~"7D\v9̙o6?C<\TOrS,A@^K~' #\%^ ǬEC;;ͼ'B1=tĘ5[wcTRe'}~GaՐw<=~_X΄yB$f+& Q;5a-oKy#H9]^0Y2sl{)ډ(=AGL6"S! Jz1=x$7BF#Ua;̎3ˮNU4NCyZg~VDğ{)'z5Fy[/X])>0q f`Lz+%<-*ϽA%UdvB pp. M5j˳~^Cchzh1q3SCڧ=jEy%x*PMmgooAY0K-wŐ%1&b}pe٘L i-c0'N3&$ńD/UI w@\%%ŬNKusb[-D\ Pmp0kgBA䃑<@=!:@olGuSŵL_N/8{w;E'K:LSBaAkBŤ@Ӥ4ߕ,Aq$\knx昐Pqm$^z& MɰB颋pǻz7$*Vᯑ:<.SrE;3>wX\G'fhIì웣GBvI Gw*32%yJմj*j+2ວs'(;5t_5 7nәU+oz!G6DNNXq 2x2X(]3&VUB2 |E^ԍU0$_u츭ك6#_륏z5KhԊ~ttmӴ k{zo/(8p%!i'YyRt#%^ x}'RT%kBسٰ4Ѩwkj P]+Z={ݦlS:{"RV/cnorִbZw|]ZvH G9Jp#UO()ׅ+{u_@n_E4AV,Wp]];҂}%0il1{ݙzO uk z¸3rTkp:NL/rS([ BREc.#duq ׎ ,RI|&\Wɸy VoJVQc|1uI#p^TOnFb{z<w1VYՉTPXJ$(Y\Nvu<I6 d^PԎüpyPIƒ%2rf]Z7v{9'͈:C ir9߾s1TK>l|R\~ Smp$ 6~uɬ?g z$r~*!G B_ 7#)bf#͗6UTç4;)405rrT#7z:-VRC\d ݒ#MDqdZ7܄;(@W)]ܵJ1,=aCɵvfK*2uU\0TW,8b+aْhEW՚5&ww^b`^"RQX8(}Ga~0:ÔJa-x>0RQ;u;iqa {rk=*j75.e!!bZswT۟q0*Ps߈>7\?'OI̊5Tʭ=]vU_Һz>ӕc?hOzF̗/Pco!Jh6Pxp?;X|Cm 7nPyL|{z!DT &v*o{mz1@&ZDQ7_v%jxKÀ/#Ԏ\TbPӫl|)?(QмPXnHKCL Vi:]Z'x)[+٢ɝ $T< nUgd7rܖg9i4u:ՀQrq>MX!ZDY &Ef%k 0 >c"d!uY7WsI:4}1%zZX_Z're-FP,T=ۙfHk 5 !y;ͪsk}%9ޭ'O͂XVĘJhi$fl#޽IM\ nA~Hjp:smU.cJn'uYAV4Wj@=q4ocۺ˲&{TtJ<\NfU}v@BSE'YKVOg>"GU+] jNlkF)PQ(Fh{/Y]Ƒ ~AޓXdWc˦P{mTtl'?]pXYhg]Z@T:4Y{EL?D Lj4 p0uV*j8MB_5YQU W0yC+8x'nBS 9¾[*ŸV~co7p!fV±$y.B&r=o@O6x:50®%p @[Gr0q%wdZo:zA;ĭb=3͡IƑ `vۯRA\BpG>1[^skd"ҝ >*s_Nq"JRn P("i}u:wqѠ%|/rGpVi!"@14KePp'*I/˄afXgk[t =M 6f"7_v-69\ߌe{ FxByJR>#[yt'պpG{w ),rߔS\@3%=SYєTz#~E tʼd7X֕Cu{(j6*|ߚYDPycL-05 p7iAE! yU*bןQ=oQ?7TShie`PpiR;fB߶mcu(B x@ K#gYZ187082eb670e1f203742926d442362a5c72ffb9896398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93