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  H!,< ]]]HOL-Proofs:threads=6elapsed=607.468cpu=1465.228gc=226.880factor=2.417zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV:ݥs0 nGb{ѩCp"+ dʞ]Q>u8 l?_46l"|SlyK`hbΚK˶u0asQ$}v1Wta>qŴ{pj~nF)TR bU :cd䍞+>*$oņX"Jg36޸3I1s.gE5ˎ/;RN2u~pQe1csUUvVGu3]u0Vkon- Znê@4 wA W_] "b8 Jgh}i M5ıl/AWZVU &  njQԵW A)ֲ%Tɐ&S\Sdi&oD3g ~OϗP\)bgBF*:8SJC}eRPSgȌI-}o9&0P&]:<NAwڨ#$!nja#U˃Zy ccdꛤ7&qBh0dC髗]¢ǘr\ՇA2DpxAiU6zLԉ/iQ u-qV⩼O_Za|<뇬{Yc.cegЈ;P ,>%nF^vVpՠY$#_//q_+Nb 5_}N3yQ.TCf F8zow)q%a۞#ӆ 6Ż{uTG%IX0X9A}DYv]MDge(|$R.~pQѕN Vy$I>Q)W.%?|@ޥQ%o"KsXfښ$ϱ^$cNUz7ih^?jӊ\㜕yBx[N IMtFb2\7wT\-Gh E砷%x|7rLoO6R!3+A\B) #W`~B~bJ/ s\);4GEDa^]j6wAw"FU91=^ x~W]SsoY5‘(**K 2YDMZC?', >u²=L`}A=yb ~2.t/Ild tXl(Ϯ*";J7jXL2h~}f ga|"8yjاL1B*Ey?5my5hٍ$h䴍ϝsM 2C >.p\WD֥p {xN2HLp0=ܶhd--z h.3mE+%rOh56uwo0nb:4ZQe/6d4P$濸F.k; {7<,q3XCJUGakULZjb=z _1ܿ!,S WQK]qu e.wp|VJsyt H^ ]8}{YmS5?RPH̓6`IYR[>pCzs&W]vHET(44M£=$ Hn9p0/2fcLm2+U#SdžEs437Z[ǧmAG⌕dlߑ4hn6c0Jdž,?G8,ԦtBf(VR1p/Nߎ{#]nC%tUiRX>-ERy'GcAgv?D‘ڤ-ֻo*6u?Cwс#q07HdM h6 m[<ũ@+:^h G m;kRjvDӟN[_3P%\Q.hbe 3c] M? ~ċ]#}Kcֱ +7 Ghȅ:ɷ2פnO{WM/!HyKAfFI~VMGŴJ.aݻR">\Wۯ#H.z/ Rmj>HF_/+oTfH|`߸=M4؜[gz(4 Rٷt]AR)a]G܃0YC}+塮OerJfd>2@]`fXBi`ޅޕ!>‚|eAx&]q =>Ic5 52bhn]9+Ֆsq)6+i)~̀+p)ll iLhBn݀Y?u0Q37RŢbJo肷܇]fGw/WY֏V_09 `KgNokeE\_Σ~v>!}K9W?8,U$"R 6 W,>I`'}<|yt]6c?j %p5 V"Cb?(/9:KGиw3j_%8f4xʁd[As|)bE9p-aKCS(ˑV[3=|Y 򄄐;wXF9e>,Og :,zf51Դrsif [.c{+ }%)bgE^WYomҰy=Y={1qW__0f@"Ohľ|4MZ`CB嫇X kdZb;O Qv\5uR|Y[ũ+cGlɝec(b ZI|I'=l%>4ĸg ПG !Fb?YjXũ Z>TsnrH:`E$_<$մq_5B [n8 X}zz x|VĈ%1a۾|R$cPN#vwH{"b|G%=Xٯ ôqo^4SѕNk|vizͤ: 7~ơdK1?$d%.ܼ@WޏoV_Jj~;Fn2S͉b~q:vT"L܏)*z[ ;Ʉ8UQ~oc^BVa >]Qof* fo~bƇyGQ/1f|}zϖ|ǧ2IQB> @a~,+Vyg(,)p1r^XAtЗ@9+?F],jO#h 9SMjj\䳶ʌ9N WNzg]_I-HRyC#o]Ddv̧ƠTnXÙI5a5 ?P.pB߃ 8X]a|!A!)f.bhKj5)x=Ymflw,Ve1'=|vS'CA*W!-skO\j3=M٥%5U[^#/q2}*lo8W/EaU#]D8fB"T;aٺ,߁8œ}fs:4m慎|9[Q,w^v:8Rc 9İUxo$B#fLA c#YR2}Y,5"]nm*4 AH|XdaM!8"aisp={/z 76iaj$G&HCMG*5VVuL[QdB.$I5%qun'?@-BrMW bFİK&8s_ʽf_hm!\496r5Vag[H.^sM?>y1~:'uҿ9^}J 0aI-zsa7eع` ʧZ DK&`I{Ewzd/ ʷ=֍3H wLJenIޛG>PQ]cS'ш{|,Ֆ\(9J&KER30Dw(W<:Dr>7E?::(aUx2Y 16 LXB֤ޒK`BVm|*"ΔH~|(uʂ&^hPJ@aм}Wp?LnéORZ-j9³ _!ৼÖ4oq0饋Q [I>|NP:y$}Q7zxE)e'J &6XFS7%>}1( [O3 Տ*Ɂp`/2 %DZGhLvϋZYkV{RQtL_8S>!,5t| yb !meTwc(݆̓aRTz. 41B 6lU$d$+Nr1ƫ* VvȠIyj`ICNNiWoYpwdF jG.^&"z!sPN}ۗ<1Gd#v;]aFalHcpwsЄ7KnaF-8m77H/$}Y0;xהhp F4o)hgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!B0LuDLZpǍ[uwڢZ#[TS6w E$\Kg|']_#|-vJ.yhN"%Pa..AX븁&"N/$2R+R[4s08^Q:Tj?`O!d[0jL_11iPzPL[E ?Ue$m !IR?)vs~90Qzd񏫫,ImGv*axtנ- sdU2ZSw  ݏQDط}x RlT"l~\pOᇠ!Āhocfp2DexFr Ɖ>i`ZuZ3+eSx}a߀c*)l52&*Z22w _E c@IY Bˡ' 0zSbW뺒MAgWwjr<[;Y#;v8ح dZ#sOu6 t3ȆҥI;Eeʆ1\hvB=o Gk^3-1 '$P-K9!/vTA!B0k"O3}TMNxukw>wPܢ$jS sBfż5n G[j{˞E6q޵i~N t3kնDO*^%>17%)2G[ꗅT|6}<!͘%vw r s9O;: ~N[ [L*_J ۅҌSlHIYv֬5tҡ=@w{t`j\NwXw${u.(@74|]zGuT><G)w=@j~3LS߈nO/J-L$DiWRpBf ,j4h_, '6$*d=!_H(ARELpIѤWg˸zTX}&)҆b}Zv) D,[\AacDEKxe.#ǔț0Mlggd#5..x<B) 5sp~φj|:>5F1ọ5v*g_E&J@xx?2D< 'vN@- dְӺϲErv+yT b[f,غUS0 ©JW#d%C}6)39EC4miR~[V%D.C藽 X-3!\@$sx/cOa9a_ؖ4lSű&wRƕ^}LHzk!)9.^'% n%:K6sb yk'c!˶St[$էcOevbR#X8=3xn"| W@ËvвpMұ}: e"nJ?;u 9A)xdUHƟUGWt'Ug#I] 2ٱgYZ7zXZִF! rE]ŗXi%> fh4xZ(cMbw\`0s9 Nhϡ?UQVqn`Y)-kjp1X0pRJ3==D JSMf%o3`bQ =N;S~q| dZJ0Ɩֵ z>ǻXsn{u"3mȡDz[3jm(\,B*[+5Lkw-beV!AF [َ-A[;bYs9P]*vj}gyzx5 YgOD{Ko {$/X0VSX܍1nfHх‚r4YvDrFYP?K;,l\Pi0W=z'_qciY89p`{5z(^M)ќ80uA[-ʕ*; '_zǺgXwE_eMI|39:A9@C.j8I{L)DxBwrg( )z$R:phb!#$ƀ4^ṁ̞b j(B,١ ob]=\F3s5Jmj?foU ɒX}K/Dџ [qkC(~ZCX&!KFD'ЁVlꄔ#l<ԒF_D4Mh0A;,KRB1" #]Pj#3eUG9[dQ>7`2AmKVΠ\0[DD.?870vƌO)%;6`"-oI^ztKx-Aut,edL"Q,;8sGk"4TM /r/R!ENe>}c҇.68MLM.D>d*TR8\!̃IH Us v"͑Swۻ}.š.#ӻ7Ëh<%[*z =٩~)-q"C-(W ε[L"T>Vv.:g6XsJ vᗨxcΊ'4N "'S;cpE 4Rj2 Jɠɶ!LHXi+6D±8 ng.y]3èA!\o#}Ljg]@gC5I&{۪1ƅ{'r|LDSQlf`9/:+Nb{ ~-[`,8,'e3D1#64v hNWIڵf@Vy Ӝ-`6"A-y'#)Ǎt閝,D ܒ}ZAޥa|P .XFqOxo>ћ+g Y5.| )s-7pٕGLi[v7_0|&F%nLMQ92KY݅% `{JRүf;ޘ}OT &bYnTm557<#WW:]Kf먧Ok/,TmY=Eճ  ,TݝQ:6Hr,@{2T"t+kX+ʂ b@ab +Q [9gX:~zx65:("hXYK1وwxv]ITJp7VD|DrAGl"7xK7wO` q ~Q:c;HEkp]f$o񫴮빚idYa1?|ӄ.wut&ͮniXDɨix+%oVҼV >[⛳kV)~C\G| bˊEHXDNQѨZ4Pj{`lғK3wΧ+YAIi$Xɫ/฽5!$źԏ]SIWhIl*b"7fd7"ZESlI=1yJk>Dp}m5~^' 6<%p2sKC?/<.%ӳccY7%|%c4 9SrзL5{M#G݅b@DsijX''0Y%)&nd4T)~pt2苙}xd4]ݟ`S{JL)lј&@?H 6U&E0sٌh| @omUz!z+yp'+r.Eo*VGZ FiN'+iҧ 21^5s݁\IOM gܫTP Vr\^]z}n 1e`="3AF<ڒÁV$XpL=79+Ĩ(eCaGаge{˨z$ qթv.bkkM\lD]ÐMc},4py!:rP"nIH$Ph`o! \ '!^ЯEJc,#!bwD*q gWiȭH5<4U^tnKތ/eYBcW$B@MԨP٥ ZSPiw3CZ+I AU뢰#9_.< oz4TdKm*[zSz]hP<ٕQ4DL]}w9Ne AG|Ϩ AÀSx0=IRjMBݺ\f:2\&0)^"A=Y>퐺{*DqÁ'H/. ]=r{gFGv1"K`8g.Z#7!@ճhTA跓X8X)~<@NQ#/xQf3Spм1.;-5,+uhڶ:C %%9~ @4Zsl2@Oݟ+UbCAXZkR)r-%KZjCre WW4[]R:ѭgwSF+a~, M9q~7X9,ԃJ"`71ݛX{*A4s&k̹vC{ uppвNtEg͒lD 4r2v|;btSn09;v͙UX>;;ɟ#lTwFٳ0uJCvF'5A-Z ??okV He8DRW]NFqM%Ĺps`ޤ\X͚?{D6ezU"s^I ]-6&[.zSv9JAc{9QT*d)sx[s3Ѧop1%oΎ{UQta*"gXO쩥h5YI.d?uoGݿǍg \tEy36b)2>9X֫]+{ߕaȇ /P)pR#(xcރ KXK&bQ)Tkc'$gC؝p={zs6iGO^Ҹ L,6'@H! ۴Xt[fO`!7uV2CTMj'ViZ)E:?RvMVݱoM8>Ch,q&3dLꮈݗ bTO-ڡ[.n XL9`'JĄqkoSȕ#s_ngA̴YDщVJԻc[׃pf`,xx~Y4BaCٯ$tAQxaQol0HgƓ=-˽zal[WMMAW4 B;zqò\N/7?]iwcrSgzkWHd⪬4Z Ĩcs~i(" 0r vPaehBEje=,J=utֺHO'.u3NYKS ~` :.ov+.?NpI])Wةi LJC~f% SDiPX iF*;~Y/kMD /䚔yZQKʜShAZi]>+Q DԯVA3 #&хSbJb ~kCXdV0xτ@fP/ $o (Q͈E_q0tBqɨ-Rw  h^lM.f=kz䎀hjE9 s|@!ȼ(nYHM*KrK':e ̰ мďBtU ?fItY(w5/ &{YuЋ?]V?̄=rn#\R1Eʲ6s~rM8I+4l5߶&ڊ}pC8Q6B@?%N5鏣i ߂jLL9p @Nҧx"dȟ tÊTKd 3X0l-e$H+8,TC)VO܆]^r>=X!+yFJHt)aLB1K;#jDGYL׎YZ[ lm kg4F#LD7ßyD[ x_e>LГYScz[Q=32FbvGf?bjg+Zu孧!/X b % FN%= KCp;CM)I^& N5!XXQA%jo414'FE] wӠsqQߞݷYȑڋ=ohtӷ2zv{IҠw_`],%R!i+ M؝}KLq261*uKPϗ.rdWe)񏗐p0yMLMvrL Ps¢C2Rr[wwF'['LWPN5̓=^3sEqX{_|mҭ(8؊xnQ+% X`>QɊ#w|SG'ya~{G?TP^߆V&J]LL Wȑ= Lexj RSXW]\v>S&eӏ { !W*J^'8kqfjP7Ig9Zſ{ \?d:QVN{Մ"/Cn Sȏj1;,̿KN>g4Qofc" pm+fS'Fqv]?g8v/#|vO9cZUZfd#[8i޴r8um&"wyH5?Z;s)C8=Bz{L w{~$:EPIc0OP4/=ycVY + [#_ ׂ@@ 6d]B.S!PN:$6:ǤnEA8)+RJ&l 0$ĎU6"?֪ˬrNZK`/3T\ /̼O^M3d+ 1UЖ9 =Gjr/ )3MW$~g|^óȻ5C|Tΰ fn<ĖA<U-C{,ں1~  *;rN+~fw ]R]>} \Y06N̩gegnr,6>~`+6[`ZQpT[v$'|!r(op D[SFJy;9T94eE&{O|ZeCBqLdP"]av? 'Èe5D$۷&Y:9㳊^XuMjM\"6"jhݎ0[>lka;Ӿ_xP56MPZdXpx9|U8+inc5(;^2LR0)n '\5aU Ty`݁uѮ`7u) 4Kp;şĝ^%!L+ m(i`JQtVm$3ƚzb<`v޾Sєֽ Sg⏶$DRT=Cz-KI?cN>EJO!݁'5r yβ`|Ї|Ȯ}W\y]!2]x_)ÊXsyNhyڗXIjSl/RY`o*V_.}ABv;hTx C`5@Ծ)#* |nS3os84lBdA$2"sktjyt#Cf!@6ԧ,y\=IyE{# }*!&Htn9t ]YRe'/{Nơ #~G4Km{e QhY~H$IK"GcZq3-S2jUcᜒܙnBp~_Ҙ!NKW sZxN r(M6.%Ɗu( cGYɣwptQƥ|οGuPڗIv1hg$,Cl6R(i:ohKr(Jeo =XfMU%`R(i;g0r F[`]\$`T0$9#aԁI[13%Րux0^Jei"R/ϵr!o1 ޮן i0'A_s5*Bq`f^\S?Ѻ燤hsv& 7(r X1O84h/VNd Vyawl`ӊI44(T:>=8S|+mœ߁܎51:~Zz2hc8eA:XeJy:bQ]ޡo,*gͦ1[9)nY?]VT)Js|@J'YZ#¤IN[ {#ft˖w{ ;{a[}L:cpC_2V#4ooeTCj2a;T=?:KsƋlB9%m[O6-L0ڇ-J2ҠϾ[̆bEI: ؗkͻF~BCN x] E䧚_P0˾ּZ+k" -U2c=9֦lQaQ5n`my;n?@rJ]Cʆƌ "C[XZӘFDk[ E)Ys0-n[H[7K7ҡ~@ ^ڶ#t:~<@Obo !#SG儯>;(osR#ܭSuu'>x/Cٔ~s1 IB8/u8bTDڭáH%/\JIk_`&?ĭH|ۨ[53`ِ &qcG`!,8'2*s N mKvp4T K_{` B%s7<,åSpdEyтb1,s/{ܞ1")e]2zKYOCcHUsC1F$$J\^O++n$Z^Mɽ_sy?dM|($ʩ~IↇS?pZ~e`IH(W !9W?ը($ R& {wDZEퟒh\h%f7R_ut͕0hx`W:[f6rj~ݿ`|e&\Q09`n?<aD6zBՊd+QL@/u;KpcIv>p 䳅wKqH9^-pF[=֙vAJC3~L^X ef3țQ=!S=U+b;7Lr" WuoxR`@^WJ%W3jh{;jKGll:Ƌgw +\A~!#@'e\Mq$#mK{TKM!,dA3DeAXcnVЊ%m~u]U;v¦DZkܓ!/Y{vִtMTSڻ=|TT<'y-5~|("4fd˒.Wm M\g j6ґ$#m6 m(ʓ PO`95ʱ=>'T tS,0HUnx)IdH:E$sZtN|k2ƖB+,r"3ݷyоoQ%Ԗ{k_#@ʱ\ZqM5aN Nl3G& *6O3EC*ArWzH "E2ܝ J_)\Z! *U K1\#ljMҪ*,A# oiY k'r6N@cJ^*߾]@3[+ *<̈́8j6ސ7f|K84GI*{'IR^/}; R6 AKRA|ʁ{~WyQ!0Bh/ZDG]-f<7ZO]>lw-vOǡ_MijzMYYfא`F1WDU@Y6>߮kv\3|#Cbrh>M@9-RZ ,cJe`i6[aW]6aЭIΜw|TV[P}1^eդU:¥dĒi:o5P8z!J47ǃ);E#+0 kCc 8nsm.5X5dTĔ M+I ~sGU['pF59W keXm0+jDtq$&dM17dsuR9hgJ w. uv;/8wLtҾ"ތ]pmhjcɇΤ =rxxc[J.\R_iC5m$Rĭ )2 Z_4_dَwJ!1 s6䂀#f'NH\%&P\pѯL2VZʜ"Kkt{͉SDGM5@-xu _=gCL?<١}R K`&hBS_{ ʸӁpsNqA]*Τձ 8Lvp0'f+v08em&-@Ҵٙ֗7?q;*`_ 5{T8}au%//U|l;rA2ou<6p f+)# c"4ǐޣޓ=D\-wN.o7f%>mc—rLF8 fIt*ZI-X2=xM((>[?f r yG>V:@tIBrS>C/1zݛP[b'))oMhy`-w a3ˎ羬eCd &SzQd$tڇs~0rh! ECIGq7?@'sssok6uhP3B2z`;fOnZ ,ȐxV=}|rj4\ OJ!9 C"zcff B֌F{Gd?DGHRG2Z&BK',#$ٜ=jſ']<w4ڃ\MDCN͋ Yx!w.bIy.) J W\y}@臡??*ւE碖'zs4l#6 NJyMbVQ]p;V+l-uTkT;2_ 6K@e:I7 /91`qŒ`أz^טV"?,/{`]}h$֒YL;8='J <=}ڿ|kid#ۿJ}9%.2GJQwIlc?]O bI*Ky;hg;_"H̎ 'tD~W\׮._gq+,,=1wH%{אC׍& ר)90551ˋL Oml2^]Dْiivy]Ed],[!ͧ*dtKrp9~U.჎0u73/TG|0daalNh;99f\]:&?;$Z%{A,l{gN'Xӷ5=)}`ךD"y 2䔿ܐbQrмyC cxe.yD^IU+Z[ut.beJ4؄:4nZi#{Z"Ed#(RQQ'7ڵ6&0|au}+M h]G~Mж>]sSmj@"DDd{29:IӺXG(Z~ 4I(|`*?]+w|\dRDUt2[J[5< tB 1{n9ҎW:v2": ί֟ IMAvP7#s( xw;1&XvU!DIlME?.UДWn vuyS vEج8THn:}Xʀ҄hWek}%P#Wdž41&ѷKp'83>x Cu9*]I.P 1el]!D﷐#ob)rF,IDrEIBÒ};?;z| 2&K4]Nn_0=bT J\iv**&gJa({r7$Ujډܩ g3VarK ]{ޒ9uQfBHM`8G$ &zuf!5߼@Q^[=Y^K(V-A†ƽct &z~qޯrV5`M9a]c6HnuU]֝Serg,,OP4J'FD!\5=uz@3Gg3X#TfM:gc€QF KN1ekfO D =FGljb*č򁺥Q luȽ|rvR꧴2WJ"qh$w`HĹ|WbđQK;Gy69=Sh ;B) M y=kalv(L 9C~.r9zf!O#%QTH;ҹ"܃N#Zv[3I$Y**d<yp3(]ݗRK=Q7׫Er6[ov\^t%S}bN?.ޚ7A&bצx/"c,ض:aQ!,̊_!JܔvЧZ :JCd'OrB{<> i:~47l6z|뤍ƩDn8/ ?CSlYs&dʶe\%Mx%-؎\w<fsAjvgBvhʯ<`o ;@C*Ee(Ǘdғ*GFvN ]EGtG$j|/p![sf2U`bVNpLsFb픨rm1<`e/t]q jӝqG,Qg,rw3eW$_$g6{kaU9(''k+•IQE( ^k{3Yݢ@ct&qQPP%6S'Q}Q f拈=9k3<QGqqW/`svZʩ)\ r,]\1t lWł]oId<[Jw\i~Nx w18i=9<"xgJoH(c R=ß;NKNE2eGw~jI,YA@ xȐ;զQTn#11'2*`"𬓩b!B>p^nTEJe.> qM CPόŔ$޵Fp~ymKR/,_3;s3w@ v 8*v(}DDZpݏ qyNӞDriu > \Tj>iᰪ8͏;SVI3-넮`Q~ i>\!ҽgeG27w"Wt9?KA*`CDG%_4AX&&=z)mlV11Ҭ#H\ ,_z7ΰqqr,b"tX PG=>8РMqxv^LA .wn]" 4^t>A?Uz_}d`<46r5Qf Ŷ 2]BYՅ>Ir0OZbcsd&Q>gmkT#YiG`J8ih[^Պ|Cyf>Oa:8i.{; jT G(]:gPѮPcյv;3,`u /?۟˺=P: 4{Dy[~q '9hL?y}`.1.EЏ C$<V'b\bAؔ2B>v_ H}'h2Kk}OF^2GGܒ|TX-r>P1n6'F2'ޏ8 [{$e+D5R}̎dN6dRȫ7q+үU3A@W$g+J#V3A|7]݃C{87Z9|\cQS~XXǚbVN2Ɯ /NިƔo.P˰ XPk-2S%B!HL84zꧩ$ha| c٠@1U^'|z_m99W%{vj`($cw.i'Poί4 ʶ.G;аJtf %BO;Qt%[| !Uw%`[K6߯..C 2}`TkKw?UcԌH}PJY3M(ٜ5w;Mf(I|6O'R1Q[V<tJ&Ȃ~/N4|̩xspJ&RuU$'sޒ 5Pv_hM)dٽdA޶Լ LNy?ȓUk$c%b޽@<tM:-"LP\`b[h5ot D1y@('tMI$.=p`adQ)5WTk$ƍQ#.tLypsPX ݥXrtl娹:,mR bV2čO" xr߄[&! |6ͣ|ZؤT+hk8}O8?|ڋD~*PomOflF pKR-epbr & lCWLȁƨia{_.CF^% r_I}D;cٷ? qƿuiN3H|mE%]xRmkʓcBT-L-Lח;ؤ ;y0k-IBjpX6S'n$N&1m%.e(䁐!|ER[k}EA7A?ArXS.9 c*̒#QeNV,I|kdcn;S^Òm=xCd.O0 F2 x`w8]0aҕ}6= 勰=W;@:< Q 2p);F2E@i 9-jeK?*CWWP|aL<35,9ڟahD :t&Ob"qtR3•%Q|U"кlZBGUOb9g #\ 1# 4mYT&#^Y]c4e}0hW5T<cF"'نV' Ax8Gt!v=f$\OH[G0+]n eeV9W JO+8DAB vQL-*>v|JO)ɗSbfZW %N :5sBXZ8ըT1[CW2$E:?>b4O w}'GJhˬFz/d = pzw^ EWJV7"x&':πE Ygwy|j𳎝b/##t4m\P'{&[L8f L"`Vv3vtj' ـxѩPnl0? /mP#9_ItKF,ʪa}}jŀ^H.mɅ#4k] ͹NTEqEi?+4_xe]Rn9•q*mLJWqpsƎi[cV!}vP !w]{`3o2ʖ)жRt Sgqu^Z C>rj2 ͧJa>xۈ(G}jP"hqrA/麷\vx`qr'c/覼zFImQs~VJH/i0Dbt4t u{o:LP('ݲ:b/Q[#>vvA_>|a?rJ@B3K1g' ۟1u ῔[pM4.Gח2۶ob$RNoĄ.؍Σ]PvZ(q{5ui)|xS}*,Ǔpq*6a<[F^A3Lm'|i劀?qEVJXVTU.Ov]{Y@z/sJ"4ʪʯm ĞX$SA"L0/lPk/KUg6w GLdo,y WQO$i zA(`+%q7!Ռ]>g 7a,N뢶XнrX Tz`ai3k& NG=6h\?a[}C:Aҩ3/vu$*1m~y*\A=zRk "4D؆%wt"nύlW.mʚ_>:yEf`)P ĕ'eH \|6[N%~2y\a $#C0+B*M$ΚjhI{~489RFo4Drw=C d[Z}K7iG| r晣A\:KU#D[{ េ#<[z %^BD/.lҀeSv/G ,\h/B6f": j[LQy/Utq&DLU>,8Eh^bG Oy3'RPR] Ms6uA:lh+lTnTŀ5o+@{p/FvU#SX,hEzLuH`6{$# iyO5M?e b34 Ϧ:./B{I U}|h[OUxhցT",-߄e$t&X 60gh*;^!|DPbJE噲~ B k\c"VD7nAVu_Y5 ZCz1-dsPi{|"ó/9"BGx婬Po, bXi5[Gt\O8ϡbZ6mvx!w9J!{,82̣3ZS Qg4m;j|4sc>j ܢ9C1A) 7X> B{J]AX2pWs,G >"Mo8Ab,u%1Hڢ;GN^% 53D^&H?4 Ę}N@WG+~'ܯMxɓOOqZK{=|Fde{ފkh%SǭD_ d,;C,ϫzVB6ɲV9XZؚeLDL16!~7||-׷5ܺDZ|2C&TAHU֬Ǡ7{R4 8q:&z PV뀅!d OXN7E'|2q3_b^ iWt6y!6BN$ ag>N"Շ#dޫRc 8 Ūs.oyE=:SKgi^~VlzRdY b8|"P.oAOhXlCb BjrL:6e/vDNŐ"=lnʍ<\ ݔEӯK:1p4@ ',i( Wyl^Ar"Dž~JS#\H׶/ypcw!=RwrZ/ 3ٕ8hs೛-򎣓̃T<.jk|::T`gɐꀓ"/JXAc-`3κ;@ik$QyL{۪'[ǯh匇λ٠&IIo@;Vөy䮭~!CH>ǠH0%LҒQI|3Q"oBՍ^]3 XcJ3ѣ5UrD":%)2(?B\?B)66U9JFtʟʆ Vd7j}۷˓vj<zC<_粨_bDknpsbQ}TG 1 ԃ6[ƙ,3բB;"˞];8oVff5*&=@@G5~RDDh(;x*Mg/4APSnj+DbH驆Vi9c)&xI0Ȧ݆h0e^WGþT Q2ߓzQ5YjV@ O}_^?Bۯܻ '@/?P ~y^FLw=,S)wT.Yr򭍂(#԰o漿J^Ю2E&h l ;qs?X6cHlY\C;K-ܙ5);NLțJbA|Vӏ$Ûgt$:r#ɪ #_XÎJ PdT{ŋs(}8!x̛s$>DB}25:>$a&'3&a<@X"*lOxu,; nn1`"m1Kâ` гe#V )@; ,sf<~ve͸!DAvtا /@d@۷>^;װca߻LS" wx T7w tT^X~%[:qXhhnޓ=] !Š-9W|x%Qfp|{C K@Ȓ7z9eUk8wJ[ϸc%0>AG6PqakhCʅ?U}vjzoĉnL_%KK^}._۳\=z"k{+qK@k7!>r~ wc 9х3ˇr(:E7u^*=U"|f$x1+-`^n.o~3MC wFUR♁Ȱ=w壀 /wW{8¢'Hh{B[L*WS`&x;{?;^@^5uP^Z )&j[) 8̾Khyg|GɐY6+J@lj`̤i&Fǐ\]%YO|n11inF/SlJRNʡXέw t,PlYvL;'$x a zwNyAǾJ&/yqub `(`utu`:OcP+$Mw 25 ŏ+O,t9EFp|~q K!e$r5!@ e&/#U4&J_]Af7@sSB(cͺU{@iVхh?Y%Ώ,z⥯ 7aLQDoŋ+,"Yi+:Fpֺ=~v΄WAUAݰ+@ pC70! ^ϔ*:V{{hL{t;a(J<^XaF:T}4V*ր|L+X薌Gfkp쯶3]zť,?shY5q1o0 5ٗWFXHF*pV|#zUUe{ 2q"/K+*^W2ӇQ1Gj6vZzSwbBr7wΒmm_kTS70{vިܦ?:kӵI~+eEi~B|T,0JR| EqôA<<_o. r-^Fc7$,y9BZ5BW#IP$oqwu1`s`KxS7_˺5e"Tëv5 cVӇˏWTF*8jN( btǏr!z~aWHǤa3WIq˶d/2r|7$UP=+"2\Ջy.`A( 4E5o:i[w] TI,ӘrhPBm2A/ dJ^ ԓiۃiQ)n.g4RD ӽfG\2gr]`} ^Tlo6/| zO(0z6TI$ذYbV^MzXȿ+Ї4m ? oiJv\Go?r>h.=P=*0˪\?!$,?9B_;*]#QZO/6[}3%N^UDۯ, wVwLĕ4 gcMU(K<&`9h>-"$"XHzeyQ +MN]L74[sZRQJ5x֗S}P Ҫw8vk8dWW?Is%9Թ5y?D֬;/0q;_uШ]J7-<\i94fha_c{9 ]Prz{2.5'ꐫ7%- r`6J}Vs47S؁2A7Tzd`jڥC![VY^ ]8Z7z:q27[PANhH 1^8RӇ YDLB GkFG 0n9ïw arR\>,rϰ"Y X%$})0 ـMCN8RZ3f:zGb=Haٟ ]PhبNcxZ>Wx) -:JF& *tvC8zg> :UԊ'U0ڡ5&` ~Z{ Uc<D|E* dF)q6qJSޒ,^(]}9A^~Xf.X1qZ8D˜&$(_>gYZ3074407f6c73455b6c7bc25accfffa0d20f2ca9791654f4d47736227ca5d0c587bac104f80bcf18bdaf65e130a74ba75fd4facf7e11258c1f6708cb6