SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ]]971)ٜHϬ81r6 6}H2<]l<$m_7T yCkE\hA]ԒA\@ I3Z%'!Mw|m8hdiD#f1 o "Y1nM;gE٧H'N9z:Բ{Ε=~coJܰHcYhu oD{/ 0$T_!;F}5Zs}wX3s5("w,bRgL! UtRp fo%H|C'FTn뿬V$Y=٨SAhh \M4^67vKm' i gYZ7zXZִF!  ]ŗXiɟ1)*u%9NHEBjB!cI:*Wni QuRv;f64U)r!{KV5+jN!jgYZ7zXZִF! ]V]ŗXi%;LHѸzA!GPuv"0gW5Vyao~V3 G?<@1ld?(=̱/Wޤcpm;L ZLz!wݹ3`)eQnjbRXnG;rE;ēȬ'=!'='+&<EߎJ<\p1Lgjs,yHt4[ZmD䟈;U6;)nZь_p0-yպLp7KtNu4-~(;^d5ppv+aT-kahJ 9(s]^dw)ZJO(&ί;ㄤ@rx9Gi6Em]QP҉u.*aBW2''gU3GB ZXpAUOf3@-QY>~_=/ ‚!.,}fj4Ӧl ]y{8#q>ٌl(n[NZ6B\,"D;Օ3!Ƃ9ȸ4dw }9=}I;^8zDɘ&t oxʼ1&B&5_/LQOA5^C_l+ 1p>,|N/4eˆaҴd,4[V|/qtAV(AZ~G\Vp]MdxBבB8LG-Y3ydUf'&]JTGjUl 1SEڄkL-dMKFUcղk ˦> tHnjP F?ˌ3w@^u6xW>Af'(.)Zj-\֑ 9 HOL-Datatype_Benchmark N R _N9G% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.tex7zXZִF! "]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEya ƥˣP/0ɱE$W$m{4նՐ\yB8<^M{?RM 9ql` VOpRTG>+',*q0}leFn:MbP?RңWNB,l\T]3Ϩ̫"uGukt R5Cn@m@-@$!NX/JzI'u{(,N 2IX8]Hָa}pt3x!9SOQ~,>%HB"Fyư[!X8 M<,qhLCOA$Nj9N'?^VBc@K?“H?$Gw>8iygλ5{q/F͞8ʪ8իtdƥ/~8/%~mRQ _R1^}};X `x?G eNOÉY =CzŘ~|3YX;pGd30Ĥ%n:6u-ضbSy!,z@*=+z/'Uj@z˕!A( rl(e7Kt-ewsD_ 9+b4LX>%jN 1`.F[~@=376ZP J(_jŪ-a㌚hNu(~N~OJQ[8u񪓣##tg0QXwx1{\P#ߺn* <{]l[[KY7u㑨% qwuYiN hRqˣ4L S962kƢ]RG Vp3*|gr֛D0ŔaIv[<`-ݥďL+aX%/vOx{TyP"nox9'mn}3zlHMG*V›Sd8|89GiR`$(52pj^؝m+V>h҆Z6sgڔA9@r(I:gcN6 NdǓ5ERJȿl;]W~Ar LjJ| I*QypB ڦ4( 7H[ oc&/4Ms `;;SNZ,a3O?A4 6&֬q :Z0jh?zB^~>9pox!,F65k2 5*l|\ɘӟ B;wzهYcYotc)dMS.px6G wB/r\Sөp'BH[D;+$Y6+ꖄND+9I% THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.tex7zXZִF! 9$]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7J@7H%Sm/CAġ9STQeu1E3^֖=(tMbr7$J`B[znz>ȈqWOꖐ?=Y+OUDGAe@zM\"zbjdٮFҢ]13Nmd[}*}{G'M6Auy.'oNdhoEǂK0v!22 h C[?W*n ;ݰ\~9Zѫb4h~9b`{Eqa f\3" 5(k=x>YgYZ ,,rE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texG9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texIB_:T'nV-( tHecF"N?GbvlLuаXLQSwF8o *' sN.:vk"8簟k$ڝ3p!tkR=WN f@wk\+kk=S!G`4e%F^cκp.;+GT)l+nL ɗL굩@vN٫w' LD˪ɵŕxɨz$OnR:|8A8?Ѣ`9&Dy vpوpUeѦh*7ZWAd8TM5F4d1t%A-yQ3 8q?!ڞ5\3m a2|w,؜] +s!d )A:^Ax" Z>br6> ]'nw)Gۥ:22"y5 MR/>5Ȭ ~Ii?v/62}UQŭ0إ4aM7H?8C!0w#'AkᖱGy m ?"Df(}Ui]e#6y¶Px {'jUen}J7Z^BTx*`q=ZF\Jkk J4R7`NsjWAR+;q#A/vgc.KU@Ӕ}UoE2c9Y.珝֋m:bt+4gBH+9R(rܹgTG->⻁47N$7_Xc _`2쁗{Ed3 I;8AA_o2⏟p}#Yxrk "[Q ڳ"jЦUs'R (\=dDp(ha}1RI4ptՐD)ISlfAtǬam\Ɍ 6Kź 8Лs+ #-mMgPJʍ( XQO>ouz-Kܵ,`Bv/W,(\ƚXFrqP~u/R.nBrYN0ڋ$1-@7$nV\ER.7Ŧt{6VnQݩ/@0WNsC܉ SG|ITL㋀!^5)ne5y\S˔t<Q8EPٻOMMգ7RH`@W@lȩwWm &#.ĩDXڀ 6է֫Ҷ=5 xG(ԕNm c]0l)C/zB!DJ~G%$/k$"|n$Mn\uYE}g[زd_)TE BVa5RMzʦ\װ''!sͫv0 qȎ*_0շ,vK"*\1S]^qdU#jvD3X#aH]JͪYݡH:\8;kvo}"K3k &LTcV^IEwف _c.G9IU^vs_sWYC6uLz>j5qF%d V9 @P]ec"BG vaݨ,EUu}c—ANf+DYo#%k 7{{>IQ4AX_$/F49 *Z3]ox ##bu"]D-8S@}[:y4_ 6AʴlMNSFc=;SxgB_+MjJ$~*ԅWC %XuerB_6H U<"*%cه k 3'Nk~#m> ` '\ҔID>h}yp{FcyPƐ[aEK(A!ܷ\8i %hwJ'uOy)A- =p˽bS!kdNTHDĴh,ydڨH 2$Q9%ܡyT7-ɺw3E!5'hXeR>,`-&Xt!@}lNՍq]78X`P?6 9vjo1Ѧ'X; rˎ8 xjK߀9!љuf enzȯDP1q 6enPHw[_~Ǐ8ϰA7sid# 4 ˇShΪuJQ-w ƾPð2zpP=V+V)g%9xkKs%PC6|E #ӱ "=MF<~^ 0W]#wNɎJoX4U%T%6©~G cSti~j(w8,535g9vXu tax7N_vZCR{}]]o&~,.#>x.bupӀ?$Vܑʅ<@B$q8ڨ%kTu!lPC!G>'TLߎ1DʻpK6Ab_aO,9jឥ}OV;E7ERn>p&rC hGGX^uJ [mtrWOKmR&AayҖS S8 xUoHû@.i:ciJ i`CGt=[bZn /_-:Us{fL7g?%?+E19b0Y}.;h`mo$ B O"Gh~: jw%==ҲI,ZiWMz-vA"MoouyN0Y^Ua]vdM5PHμ Ĉp l:@wHeAritpA#Ñ1d XR "+o.Y˧}2T$U@%yvP*tMNGD!~5A/ͅ`A@Zk]M#z3j-SAPd%kU'BwB#eϪy{Uoޠ*zJYb š[2>d/xtIwߛݹR"peF}m82G~ _Gk11(7##1\ʮwVE+4}ܹÛߵp?iTίIJ`n.:~E{Ҍ@((Qπˣ=]#|E k:CP1@iLhzɲw*+2—Xƴ:Pj @8X۲6%|~x>Tq6K[b!O|étjʊ~ĕc ؓ#dpŴ2H%-s'|}8F^% ?L_%ͻnѥqJ#^VUTڨ7A#_Tu\8k۱4ƭ\y U$Z`?i:  dXR\Mᮏ#컠Q8euǀŴ׍w#` ]BnSMW%yT%/f gjXXIdj/v^uLqO{ȔU1i/ H/E s42Ibe7ip9GWlk*psUٞO#M7L_ҕ=MhK |2u%juY 17K-сnԋ= {X2~h]5+x=uxc6}LC}@ "K,<ظR">lsX#4vQtn+4}?oa 7{)ԣIr>Cbh8xB_pZؒFږjop;z|g=|`R*p)Ry(քAdC̺64PU|Kp-Nq5^}.m1T<EE;_Ue)nsH\E]˜"͘3b1?b s}໵EqfeQNg6[y`%(:ohDvYk#ϙi&6*:CnHMڋ!Ӻ>3&p7@|Fzސ+=u.$'1˂SD1j/\&7>XQւ4l^Pӈ#C4U%jaL wdEp IVab6n6T GV7@S6wb-;@ &سZ }2 BPʏ=)&ˍa5_c5r*n@K(ETԧB́Cr8`嘮Vs|:x`CŚ gl?"GtMƐdȃ"$9H$i߱;1ʭm<܄1$V+9=sh^ MVndx>g%fM̙ڲnQy GamLw>3Y2 >#l,2mpB9۞Q3C̓ZM˙f}4Ο6Ki:BwdΈIEz$ 32 x s}&5@/pr7j"¡vUjf)"&Gowd⊆gW?CB!Ȇ5DmcA"#}֤OnZ8C"eP-yrXm8Hϸ?%sU7@564O N gW\hkB3dgi` omPlr-:=" o0DbGKUڹqŚ淡OjȆ ÆIպ`ېm\wfc&P5#{܋$,bAzUUc}FW(J9!~3!pp~W Ւ]ncȊJM&YE/30HF697G.ЛFے&6- ?Tva8I07z5\(?7zql 4f5o+CR}(+Ҁ ]) l8hiݥ',Jlw,Ij6waQc,7O/09T0wԀT9|dnK+&Ԙf[侗I&ЊJ)jrAM;'glpe,.3sbA5@ͨ Rjz~?@ #2쇀$`>K+w09QY2`.v"E8)kkz fiMG{`P%cs}xt"I*U7NΥPV~n`_b_Vp4@Pp`9 2^ݨl>], 1A/nYG[b|B ? vUȮ'=#&Od=w 8j$R=!(᜞cv2WKJ6S*ĺ>tC7*[Ί <&;fб_ґEӢna*onVclWK0KAtJxxl3D w/4E/o:ɡ e1bst`(!sD9جd3z;iǣ,_" Ph+7?+IJ)K+'v?/SmAq֬sgNݞ+ )Ȯ),/u BɀU$#y)LBbyx |/Сc# `޵P"s'ئ_2twZ*]S[ ѶMP=w oS)LdmR 2W-xK)exew1BCC B,utJmC8N$xlgThOURC>%IMI^:O{PL,o2U\i=(:)V]l_- )4gQ!T`zt$uDZJ@:z.@F"59 zwŞtBf>- AFgPpW8` nhF2 I(<(2GrVvJSaSĭ^]ά!Y:ޛozC|t|E nBW RW#L qI] lUGl[.Kʽrl.D=}1"cq޳+5V8ߞӶ|:pՉ0s5Y@1fTeI.0ePPߥAԴ!C -rYV*I1~:*qx YcV|)*\p|y1PoGLbFUgEJ4[woyʕS!ϭ1#SwaOi ,|15ڦc~Q1xRtK\AՆ*aBa1ϳ t=W#l\^K]$VdU WBwh|.(@C@rb(9aB.Î)96m&ar!& ⿻5y4sPzEw9^>\-K%-/,R =55*& nE%*iSx9TS)qA)J)!0΂X s9(N#͔UaŒHܵ>TFB[[<(X5T<MhS*ȯHo׉䵨U% ](H$ I8qCXfPr=Ypk 5-Μ(/ZO &:v#jQNiWl7P&վ"s3Y0Ap\5=0x"O1Q6 9sBy ahz1r|OFlPhD/AڎjB\8\IJc`XS/uyGZtW&b_&ngV\7|$ Z)HH|VMdXjpz̄%fUkԞv1y:j$Gz06^9a8j2;,!gD-!̟B`$wuǫ׋Za e%N(-?2a/(?Tr2z~?0֝0 |NY0Pj#UL %Hjn gW06>.:*$o _5Obo ^;5p?lc>(Ca ~`qm3#aV콛s!Tܗ1o_DrGx^nmjoK33#C)Xs/q*`)6󃐱.!{,TAdG´mrH{8ɬPϺݠ"_C%*+ޡC7. Yc @¸L Swf{ Ѽ\ƊZzv6?dv K ~-n`"Ƌ|t&عᏣ@VzϳY!*[Gu\/6\}z$ zTDlئ햁slQ,yp9;FwOSwZO:g-hfL擝Nd2b>yZ~J;SC8[zP[C}g@H1bRn]1a>2aש֝-ts"nB2 EttJ3j["VMRv>3lv`O4<x!->&/vf^dG ׶*V͞Uh{꜂f|t_6XϖqEE5) " &r=9 w7bA~cȦۦk?Nf{]W*"i' qbw` _\Qr_ն{&[%WV0.c2D#lѷo62՚#l9G%G!]۳p, 9YyM.ҵoV\Iq@8p?h;i; ;kM9b,? h⢞tݬհRvbn gpe-+*4h66J B^,x!"Qgy5mNha)F/n$.?/a %TminL[1۱uǒ2mWl c*#a4 c0Zt d6rKm ڡ1ZFxnTsD= q `W0 褐 ۢe< U^e=u7m'.ܐj7Bi7 &ŊA4| bqh 9IkM |<&څ9 Ii/+[Uz.-mĔ:6zEͪ9xFaɾ:*+Њ3J?uk]X-H:Ö5;*eKHJ&~sm]?l0Oi{E`"~- j(shh&B4i)CB"7ԾT &iA'xS1;Y$D@O7UkngYozKd ࠈXMբfέ2[@%>&g/qmsG;+"Ž)!ru< {)5Ytد?}w!lBAvLJM8}?z5)c]4D,H~ډ٭^o?Z(.g.H~[Dݰnöp,ox?dw YZ" =S,=0/6!2Zg,r[X_'b=+RL4,Qmk@e5PeH4z`]Zl[ ]N&Rؑ-T\ZoA5n͓IJs'ِ)g>8uђu"B"h 8Gr:fT-7SSh'7+ik!5b1܂s-ˆD_"nZ݀7Iؚ>u@jF{_Z ԍ9YrbAEソn;} ;@I~G;`މ`2$&ry9Vcio( sdTm' _Ωճbơ i꽭ITG77#-ǂDV=r3lߟ341j 8LYtL0PD҈9RsО"eSeӲ_Ƈx^Dq9+AYMI`iv>֓n@A"wF=v)3T#PW9PvlX:LHxWZk^F'Ȓyc.59 c]sʗHHO6]^C٧ q4{(v+AN̼Q:#-ixev*Sh?Jn&GUOJχZ++&*MCޘı0 sLгl M͓e,о͊wu5Qܾ Utf˳abο03?ip<{ 慖cE ̦dFۚe;SlEfeQpсCv~M_sA!#wg-hSd$_LfV*5jhNu6Sqb̗ ĸWl@)&ޝTFޚ 5UMÔԃCU]{E|"& X hr*̜̣ۧ.rx">-"ʹT!̼`JObȰ!aB|73 y~gUQh]g/q+h  7)ԩF'%=]26v$+q \ǂŢA*

{O\:t{Xi`Eh74n;v9}:B$>)so ~ N-/jz9od(%#EՈصP0%ɓ9/ <+FINO>+rTm%<( 9`;J%k =;I*ň/ <3ʸ7BPU"F_Cuqr2#tta &RNfާ@2uRQ%pf*Wl;CZTJ*giH isq@>!xd|YKplyr4\ݐBq4)1K/$_%q9`Iz0\#drAf6/+aDlm[ ej%m$İc/Uu;)xk,GȷdB2W`о, 8hÞBE1缁G)L!K}@: # tLgl?('-4|`WygwHPBHjoIg^ @0?zv^R](kGМ}A{R&BBMw qse7[C҉GrX;c[%Z- Dg+(2בY!WM.I{E3c^R!<nn4[D#]tHp 觯PۻVi߁Ŵd}4ƻr,#(=Hbb ۏSA[rWz]-dJ(r*/qZ}xTS+M8'F37Alv $Ҏ'\ZX[P 8 % ;8o#) 1/O(Z EQ l_:.Q,w)~{Níw B\ydtF_R }Ň ?B9B8ЍC.]kj:b+O 0 +o4z(ao{H_\s>%`F~t?Xc]d=n@?;DxI 4:g CܑK_H@}M aYG&Ecn Q2k\xߖ6/`҆;B,c#^/q5O&M OB^-]hIY ī ˸B!X+^g'D {LDI )$Fچ")hūVp>\nrQbGd@vo"3dpͽ_o3!-zG9?lL; 9 }Opݗh)]ޒ$+ȏY^%NDRa6IXhnIå8|vuI켷%L,+qq9{hz)+-EGE$Ћ,{*V9wSl7|pnЃ7Q]_R1B&@8;nL'-۪@_zG1xAb i4ԩ{Oq .-n]s%LVKryL#V]Hs'k,s>$ |D1nwXk06nJv ʜ(ӵ-B }$j:{~g-КL$uT<+hpɞmD3J,p> $W-[d_e3Bnk+Mz[gqvh]q{^%S2@"? Z~)`9wl#m}MsjéR}6_O]2 wgen5%Bh賍鸼*'Zg̱c Y;@JOWl 䬪p4پw,z H"x:,YpzJpp7B&q,jʨlzNaBK85W63VsME%Ot%m^4iIgCVlUي@V_F[iH{ ?DL߼6B^z[_hy,ؗƵ*~-ܲq~$ uB-޸g, b. +_ǺS1єI/sސS'ΞJK;0bhkF BNeק n1><7b܈h֋ҞQ0z]_|z]? Ӯc!Sʲ @~O`[ܶfK/ Z>{fs^)@#!B1Cu}˝M__J5/2&lCcIPt2m47' uĨxAj[+D6`1dI9EDkȩJۜ]@ 7F[=lȗ@Uh/gD A񆛖j,1) _&X|=2W5Ph0M[D{ǖ mп([ѥ߇*-֥Y#['ɫ֙V؊xz@(>rc TnSiw^7ǻq%LGQd'GP[/;B1ʲ'=#՘kK"1:]{[#WnQ?>d@m[E}Gsw0A.+[3nG3(K*W d-4!{:XFea=¯epLnWD1̅K#xgsF21-`n;$b 3cb19d=O 5 *cVPnU*>|l;xdȹ.l"fc=vvpױ{a0@fhUY T  PŋMF~X[/&@:<Ν0uõ1'RǏg-$;sF8-!: o|-ND*F[zAu×S;h!љ; U:AecJBcJo$?MAb S(ae7~vD8w^j^5`-E_‘bl Ua3%}ZX]Zp  ב\zxNC;hVPZjS/*2ȕ.R3zfe(np)w\ i_m\PO[濴j`N^ //yZ2.b̳T` d}O yM>TBS7w>a΢ɍ `w_Xg`w2[rqǭ/2nn2n۬G%14WrXSSr?_qďdʗV/qa w0Eƴ$>%UxM'\v+^wF*̂i9ʓIm8B%}ݝ:H~i@@dBOI q\g7$>\MEM( ӛ=[epy0e$D)8&f.ܦ[-e*zX@:,yWKv9":QRm 1@k,xb_tlU:.]:!*Vem]Sq_:,t?D*"bAHZR<0ۂ &a<_~@*p2ԠW?dSBSOGϗgmSb社*EPml-`Tf]?c7$o&nM=7:jm|ZGamK*7@bȲTnNhu-}^ڐgg}(t nG̰ߎTPQȂp2"Y#Vƻt͆:0w&14n0y t {d|r~Rֽr4c,d|x$E*̜=E &¡JqI&z.+W!}qi[IԪ)^̭6HZ*91dXJ7:e Y<ܼ nC̬+n Vt% aA-,ƖS*Ȏ&2jy qB}/?Zngho Ncvӭ.Dc&{9e^O0KNݺ`D-ܝ݀{?|5MLEK!q#/Z1eTqejeK 뇴W- t=UV$jNE޴]U̕`l<#x&#ƣPN %!GfQ$fTu?5WGvڠ 0T%* :' "`>}gRNd3vr`׮u A.T,>>Uw"M+ݔ><Úd @&),y ?Mxx?JY,BD<[6A[M⛐\XZ1E>2U1J\A#$uw'qv 3KGTD aRvxfw 6+E}fǠ(A-$*jkҤ6.jc1}8b9)[2oe"Yk;xQ:8FmRgu2U6+rDE:#įb}JI]"S<{?\e&K*\9HE2UK h$̭A[(@sղ'bզS^KQÓM{7` |a]KF&$ͲSN^*"I4Ge0%'S3[U.ѴfUrN &/;!xiY5-k$ev43. l(GNbނ7f7D0ho ,}݇аz8env4ʾ8KA,3-1 ݮ$>3zʆv2EN.A}l~e[L$ebL@#z q+i-!9 r `EFM&ؘI k[Qjh ?D؂̟!`ZG!C .A C-;Λ`ZQuC;&쉹_7,^;՚^P,|yr:ٌ[Hqm{}x=r$}c")H!6HЇ}0Z WEGwhJ)ȒcH(Boμۣ֕p[A9jdg"F."\&oZU輸]^y8O3"%*Kܝ<lh='=!!_΄} HS5?]D m'_WB˭k6 ڏZC(UЗlx8 2]^B`lsJ !u&pYA _K>Lpu#;l櫺%Nf< >`V (k`YI"{~5hkVG` . 36)A: %6 ͸o_6oGv:wg/sVUHlgCmf٘QB8>ڭM- HNV)m[?Z&߯=fυZ=&D8P9gb.h+KFm_gw\ރ-&|no ɀGhi6"R3k8F&O#G-#s_K)0'wah?y?1XYX!Ut!n@K9p$5kI ^Qfugx"YtK!jgӠ8$YYb6YlW:+ZauY%sݱ%.;ю)~]ׇSS^1s`K䂚:Go28 EB0+'ԧY $,#V#PAƹ;3ʆy`~G152rTdGRaN-!p뚦d `O9 ٶۣ^?ܺ.bK@;S)$P,`x.p`,5D-u[ Ք/i:$&\(e>G~]P ȅbq>k3Ad^!KSMȬ] + i_)ԭt%{坜븠= h[hLbQn:Ax z2˞zjxA}mڜ"}v+6uw zQv`>w;\l;N~dozZ}PQejcL^s\+l.WU!z%9/ƬQp$Na'e!<*-l٠6I,Wa {ft Ug9}4Se. 皸߭-{ + 6n*LZ ԉPK2NXt}V0.*:ڷ##<9s",ͧgR1e4GYvK*Y+r''|6G9*`*ha9>94ݗrO$.6g&ȊpNk(8Zca[ (A?UsWK>c%tAXݕx#n`nHStoؔ#ZM7hTisrZWH'j?r+7;0~-3g0vjErIdk3Ov vF3z8fmzjK8Ksy]m\|R(w(Vaт(ʡy% 1T4 }HӨe\le^|?}M+3j تSQZ`Tk%}rL#,DK^G^Ni&NA245Z^m< e!\ΟT`H;ak#&=*cVp]jpH%R= Qީ+MĨ!M$EJ+*m\Hǜ70-[(œE`0Q# E&99*E \ INBGK?偍r>Z!8xp.gT0s Z-e5a_A7 &|XKUD}Q<O /u>HGXݥ#;ԒA$lwJ;"ukiqneɒ]<K2jEoB.wb _ 9tNWh ql'IC(џ4rkr{} ~slB"r89ʻөetc@ZodG3N=?C2je0xH$,"x$R3( /0Z{#qrѥZ]Ore/Qy ~4$zo)˔Y􆷁P32 wXQwz̎11ӷ鍽Xca 0ZﳺT6l >9]kj)ʔ IO|Eixҋmj3ʴLQ{V}ŮNdH\dw{5С1]fD,ϰw Z"A2HUAM=N{OS& $r\},՜636cv6!:tt+a6S:K~|Lںl&D&j8i^'V?8<FAhlv/8 | |ȳ[P暂ܐyg$7V~YS,ae.2tQXw,JSR\PIN+*'̣Lnbrf}Sy\xFsޫ~ƴNzE2q0&5qٓ\L':NP0ri5Aa=R{8>BmZr|nm3P YP)֝P2? Zi7@A]jTg7e$H!g+KRWE 嫕1F ^(F' r$+RƟQt=qڠi;^tȎ*bG}VYTHv4x >&vg!eHy%ls0}!D(k@Z]0m8z\`fۀmKMRm^>܅GGp56M3Kd@Lcfk#]bvd%TLo3hR 2G2~:+ogIaK8حI0}uB/?ݶ!ϴo4 FF`*:<\¤Y- QO{#vR ݞ 4^q gDbV˩C|uD_8ho$ C.7, h8 pZMKPm:(*KvET;ɚ{Ja~~&u7¿L.88jt$H&4tMԻY?_ap0x=JȞn&o sPi$olM'G_%PLܝuWE7>DuJ␙ wl&]Sqj3ɽ0^T9EY$Xajo^lpB5җ`՟1EQ@M.&p$'\qDyB=xѯ_d*:ZDF咔L:?J'}#?`FɓPg 6xx8fE9&z|"Y13ZLs)nx>)B^#T"{bzq0Fy R9EW8I^aUH!dЌqV+7Es[BCɱ%kbX+pF/Zx@@GVqW7Zj}v%2ogbPi埍_ɔ8B-M^J53WyŠWXk }kc#Vԍ``+n`)Ԟu gm-KOMF_X-5eePSNf^-􆣯::0_Dl< h"b[\z| hp߁Xǀ}0~7+fu+9!(RLdmȪuo)%V,m):)pP)jxcH7z8~5s@Y: r;L72]@EF'oK="pH{hS!),>zHB{qqmN_o(kV<ݐ0+\.5:bqPPzZDN5B2ILJ0F1,:8dMSQstj b4rP= f"=Rd?9-At7Ric'u;m5sTqPy$XLϨJhM/&E*R;9M#fN\d xekA ;w8g#c >t1y~H!ImԷ]\m CGxtV1HwS[_q/&= =rlQz3G@LAűm'XOv?4}>0KneX._2E!\vAtǢ;Vݰ|@v%^S7U] Xh{~] }Web/C[/=A(-O>z7\h׫\3{lMӾȏEPK v j#&,Mj^^Gm'}DdFf"ޮ% mUԦURZ }C6:ӵ⭄T3(|BWMCdv %vWrcu p #1@bk#w]:}&b=\:L#OIV߾hH }1 r</3gAXx{cm%BK ^0p;":F:Z1zr] XBJV_{&la4 y)a/:M.Xr^-V/v,~D؜;KK]iz; z+Â:YwbpH qIULP3S nđXqR!YEذ>5q4'^`H[CnUc W魯mVΩ&)g߮T5|Wa<aDdolQfWs`FlPLC׏ ywIHH?Ydߦ|gYZ550038370071933805f551fd76fbfed5016d5341232733c8a37afc91239d3bfd839a69a07c1cc6b3 c5bed75ffb5cf403edad3c8be487e376297b6311 403e62d7e20b43c0c703d3be54a1c0e3312a2424