SQLite format 3@ . BBh77otableisabelle_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 )%
`;Gؽ8nt*q* .#lw gh,jl',/VRCzxM >''l9CGUEZ!6woʒ,Oq|荼A*Lؘ|SD;Mtv~nMfPSCڲ&5ڑhGFG#]e]$FW$ J˨irHY,1l @Xc 8 H+*h+0eؘ}SŖG%}J&-s aXau tw\;JMj##ıL0!4[U}ggX`fLy 0d}>i$3گ"|R[r"A݈;S_R$YAC\YnϬB[o 9^/D^udPP>24H!#AF4!t*M4l9Xm~ɭ8Z9ש/ξO!5_C5;̱!kqT=ϬQ|Af;7Ո%>ϕ8}Xu0FaP1auyebŝb@) Bf$jDp+vbN|k<0ZV~/%'X㩕NgP,twLy9-, d,sJmke#B(&.VQO$`EYʍ)GzL{kDĬ`NbQX26{O*t#\V˦`T>,?R[a/pL*)TO.J5@SF5w^h#,6T߭>!GxAP?*3n7.YP#7ǮPpuA rĎ89Dl_̹b,G頧/ߖW=DOgyEh֢M2,^ z>XqΛT:rP*gu|ӧ|.5;-!wd>ԕ:ԤR0U0EyNgSڐSafHXMyލ1['~g>GDރѰ,s7[?Ҕϝd:X4PbNk>'K1>SF>+[+FsJyJKC_- vӼIDcZzPމy,Zoh^(Ҥ6>|?nK+,!ƏQu҈!{L 2Ov-ZlGY} w nƺ_|gR5aʽ.RDnm5^;4@Ԗ5do2%U8LojzJdst;|(=J)1W"]Z>UauӰPrg tODԥc9j/VMP0vcyLmhűZn+z'8/wh5x T 875wMDU8G6.[Csr)Gcz7SøOJoɖ:d-jNB.ob~IJ."ɜ@?qJ5kBXߧ|<l4۽45*ưCx0ruNsnkP-b0Kz \fxŠ~` OHy|L$C)B=|Xg;vZtv\q^Sa{b(kkd ΋l3Ix1sˌEkȻ ~*(+/kL IC7 `kն B@-._?UVZ T#}Pt .@vF\FtݲRŀ8w~kΣ{F",酠pyX ?Ԧfzjo?|ŒB_@qͽ!lk;7+o;x^X9[(by>.w=Qrhł[08xLiXGYgPpDi%mkђ+B#9&=.룦Hƶh'!]fKFC-W[ndЛgQzaB|GD-O",FLq#<7h W=!SU(ip=7'RtZ'CҹB{'kǙK<&JyM(\"сWϴ|] !m&_.+vj_dì mͷ%&bELjL殺 }TΓ|~u'܀?3|&*"`,n{;ǠJ1 :L)i 4W}D?=Un #ճs|-+FA4?Olhy+vʲ#d-,S/ Zɵɾ@y]{x޻Qq,9i6il&Qyƀ`\m' Q,aSV5;e`cFǗPa#)9R +}٪ eR0󈩧y&$Gc,0XwEWXĆ%cJ1% SlXdBj0KYH!vKBEˣ?j:Tlk 9'Zh233 ϰ]4u9] j9O?Qki$g} 0&q̐y^:I|ӲV-c{q`-7JhhaTy)( &JJ&ɐb阯kI0vUi}QuKE;ocʀi 5D "}<@[kpa3݌^]P7/Z wF("U6^-a(*-H7#˜)LJ]`[Y˯bڟwDb(2LMI m $Fԫ tscИhNcv㍋*#OD.y#$n$нI格| ז+EZ %;0v]gf*i~|v]qʾT Oa5vUt ;T2vF oyԄ,Kʧg9H..,3kCou*S_bans$:-Y\Rp{X}CF78PtYq=o21Ȝ l UX GrJ?6jP r.m]^%Z!XYF4NTIŗ~;iqC8t3j/*~6c )w9'c\;0LK=JcCXo%rj23::{Dٿuj&[K'V2"9yŌZ+(iQ?+@_j]ǂNa\Βt/$!{ߑ&&6PoLu/$ fڹJ{j[[XP|:&EZ b,ּ/3HƜrˏM%T̕Kr{u+Pg9>2*_OQ_Gm2J޶ tfvXy;m֒ݧ,kO)0UE_\)4? M!@' m& ;ges';29gK-S#~MА5,̡T}ԌWbl׿WOGx=a|:!<=7hg>g6uؼMg/shul7Q}0"9jEa5OϠ*`v/z^|ܣz Qn(sjb1],4#m,ޅI0ԹӰqd]\d#I '=;deAaI:Mα0 V9e8ILj6~T-ڧ]-:ѽ⫓E`g.:~9bsz/F;FvqB33*S%&؟2qw8  x^>ZB6\vJHGأJ/܇W)${]=D`iߑ5Әz 75IA "N 5 ߋ\k#M` {TӡG_Y%u`Ԍ \Oh\0Uwam .@C0.euNCn}%h"X%ҭjFW%7sy.f"3gh6ֱa97W_\gaJ;_Ǯȭ,");WJ+/ύg YRX"(f~2n `sK2Sa}nf1![p&YwRQOO6dpon;"\-a.Ɵ ~ 3Vcg:_f N /u}c880 !S{Nr-!gy$ym-}Ƒ? 1*sFssĻ+>XN}w1155GiBŔ{j/FQZI/w+DWvA6(k$ASfs^x! ﶩO4R~hC=S<"[0$R˅,SAt(w0jԹu=`})JE̿ co 4k|+jפGgM.Y%KRqQ( 7 %NѪzTw0ft7~͙;ˁ"{Aa`J~pKJ2:*34|=8I.#Mα8ٺ\ۡ^^&^=R=n"(6<$nZ} RD^Lp!)RZydB2CUړLX A`F*vR*<6:D:E !3yeV G~'#dȈ'bVO[✸WRQ\Dk uc)q%'0`5G2I,؁`J,טeЂ-nar$i XL*HB%0V*z,e-?k7ClMvӀYe\-d\8X.X7rIApcO b|-ݶa? O \mO%6e]-eUcSc4UYpPm-J GLHKE5#B>ۇN6$,Y# rYC Q*}-yk7}ܩ!l YuvܘUJGv.¬хUA TDKo#lCěۜN{s G=P EQc;.u4 7mDaRyM'U0Ö8n1߆@n-o\/;ԒtUtж%4Џfz%1c5jl/o}&Tɮ鉄fpF2n+3 H*B3 E(㡪 +A6K;7 51'3ԉzYGHeY|!hZphK/uo5Nm,- |+bTWP[ȠNGy ß6?BDzq㋳l?ji@p[kBW,Ppe(CibaxuEyLCYJ1ӝ/6I>\dw&f?$r81 0Mܟh4Hg cQ<ԯ=̔6`#J]b{(;*Rzش.'Klw(]ID;!E`{xE |TC\rɮDugO6_b[.I8J;_JHBXK&i?4 32PJOvӲ>$7CFLXoUkOHr^ ;Kyna6=r,3G \T-,4$au0VZFt@*_1ᔡNnEITnye 9 uaS=홿TPXZM{-ye?CSqY aNWpp9d(\FN<=Kӊlc3A,.А Q7O[!Ƨ~f ߀-uv p8jҦ])-t) c ON=,R{9C+i/@83ubS6a"B.%l|B W7j⾑= qض.3X|i .: Ν%u+0Gﳙ3 CtZ]o.dS 58xB_cJӤ58H7ڻ bfj0_ӋW]x*lP`h>I<f \7=[;K(-"ip#=H0b0܎%[> Yܤ:l;yIJP>nP> Sż92>/1y`bmunR!ΦnI_`;Q{PѤ_[q7"O';fApR_;O(gPHX,`b&_}۫Eĭ ?#vk~B\E\ːC!{R^OйF29-f5#ڦ>stcPɬFDeaߡZDIܘdj ڻt7tbj'U a~ܿ7yr_=uETZd)F2Kdݴhw:/qk40i^?;eo,600a> +тV|(D8"$4:T ^iSҵAGɫmbΘR5rLH6mv $ʥ\T ]ˬʰ}4gU"}?s3$38G>SSM ྯ2 ?C&/ apGv.ꗝ0O8&BH`,Xutk&-"S|h<8i7cǍ\lOC":#0=dXhϻWG,A2eHNUpv&ЩLa_Z{L&_+8@)'NTҍg.B87AA~(DIЯ`iAމr7tJ!1oS=[ Z^aVJ՜gzG:)+ lۧ.yq:.YRCf M9 {b&ӥ ҚK= 7y։Lh{ ?͒Z b4jݺ} zh" #ynROQ%=^ލ~oA\Ɠ*"¹xJJGUA$Xc4}Z0J h3Z߻Sȯz>cҳր\-2)E'P~TIJAJU/HTM5KAU8G LjT^2m~BYBuRqqma0oE| _?B'Z*zL,o~O/|=ٜ| n6I>f=y()XZ2&F2/#f:I%rܽCyPAMH{鸃5Q;aslWgpRjܟAҋRGYh1A,=.g.jO\a5ziÛa Yx^r џDnrInGuHMi*f>E 0$Fau&QaYD!f:;.b}ZC S=(ؼ\sOErkqˋ{cU|V# A~JUns3k,$~A=&F -o 4bҟ)_vM|0;9kLs>6!뀘xea.;;yC eApC^grJwWP[R{o.k j-]JeMb2uʮ.PGW,PeHhDW5 ]uBoq[y lۨ /H˝NV AzJKhO,Vkd ٜN]㛐rq:Ra=~e2ж5q-HǛ)6[2á=t\8[H~ JWZՀ"SzAóOglZ50;7;_l|Zt4b⾖6x'd{)O 1F]NL4K.CifQQj Iр'ׇt3 -a c| ^PM<ĺΨh9W'a#x l0,Ԅ-nJ6r.fǫ^JAPFvBkvb{.ٟ'2&rBɄ?+T/Eo뀢6jTC7D Ɓ؃L=A:DPع{E:MW jB{yM ~+@跋e89dg~[]͘jhKoJSvdX (c5?RhwcgVLD!,z/'"v䪛\c헰k߯0qʀlFFXgNr)LA2F0U2myJ/?_)ShƁ_enD H!KNihA5:7"-IrNE/Nqi^6bۍx#!ݱr[3h+a(7+@=otjanHOo؟!]ƖPkPNoSo)Ȱ ۆ@L/ yHSh'?N`W3Vyl|c_o*V =~sdmn _|Ktk'?5ǜ߾<ȕdh]BBNJHXř<s )wQ.ֱ^Ia=o!,167l*fIg9I3[ |:CɜsHkd#\5yH|,F{.p'54-JLK suD2H$d0HWF;)6nZ37PO⺩a҃P߉FbQjEF)u#:gf*~ҞΫ@PvL `?GXy8 qʻQzSl23b\6YaA-{C;^a8,(nRVwv,}ja:B0 /{=?7481iʨq~;c8o`ΥXVP T6 ֗=^Ș'4oG T e+D4oChq $9iHj'0(+-I:b[-:H 0ϓi[;8!b֑UِGA҅rӊqrwYB@zδJ%D Uϗ"*,PmפVKx G=oRAԸsPoO6de,lG@ Hj)~J&Sg堂k*-#jҀ^ÝŤ v5,t_=@vu+#=vs; a0/pHv:^s2B7Nbk[|S~q+RBjoҼRplڇS?wmg *n} -Fƺ+>tߨ".R~eTH.p OMKSmdy@2~܎uƏ8AoFNCD۠QDd/9K *К4Y< xG. g49@^n ?6 ×1́0J˔HEn.!#хx"8h@4:KZq4kx ()]$.i6ry!#;jD*ɍZs<8 C.x; dc!O0c?_ƚ s:j8sr/:Cε̙ vր+^׏=j |qW/%ZdX^rPOPyW/zy_tZYajE2g.ţAF*8Bl@>;Uƭq'HX+vwU ] Ȅ"=uA3Ow6q<-jlm#kh;+ZG4mcwcanl" igUM$&xH2CA{?b^iAH;Q]gҽ}A/$ªDcz S] JbEoe&PGQ>K?dDOe+X(i R;G1Q(Uׄpfj^T!$Bf6%Y*XF5 u۩pB{LQ!j ׀G l%ɋh]+iYW-4^ ژ"cVǭ,ФG<]&7Qy6(jI%BJ& [%hɟH.d1F5Jjqy#$_?ۄW-xh,'!j7.I/FJt.((dL6`(J: o<J$ ,*b;DGu)dj,_R)|Uי܏ݗS/$8$njXֺV.Y>iL)EN:w#bD+,8&=?a %NJMf_0x,ɣ `y~yNPM%rr*=L4 xj~CUAv!I >U|o'RЏ|YkR\%n]h8]F5[mYxV3$IsP[Fsr -uy2@85eZEL3$Ym&% n]꒨ڃ忋w]"dQYZTCYZœD?VlՈXlž򭡙͖ G~;f<C>SfQddKizC*=U$ij7$Qn00g܀G^ OUnN!ZR&oKH x9E"KtaJK!\Vyڗnژ6 ,$ (oK0?EgG$WhH:cͪO֖"2b8$¤;mTwYifsꕝbD *L=ͷx~6b8ha_Ĭ Ӈ4)ˢU)0Ȣ?>jנvrP{B+A (zϿ%`,8`W宾iB,geD2%- aYi&Y!mB.f,\/*kCMܹ%FyFc8gQ,"獁;iq@ 19'Pui:|ŔtV5ڔ Wggx0|Fjtua}SjdpD{[)N:8c/-dRQ. +/yq+Oc,p$~ saߴZ*I4F +G|%$C!Қxr>$Q6s MZ()㥞~?TBIZz l!HYlw$E Xw' ٢ ꑵH~XL E `=^t ?LE=5##$%y$ 3]PG;k. ixKӗBP#<=?"˲ wD(ծdg*=3] m]6-11 3Z@(H6ƩukQ&:]_BR2ƨ2||u%?5fv_}H@k s=$Ym#ynE&q=;tuMKؑn X/FfQl.`g:~ʅhZQs,Cp "l?G"DžU)FB(Man$ 8JFo=7h0?'W[g۟h^wƙ@=n.G_DV-kTv0qŘZLԯL[yQT^w0Z@GƖ͓E' 7ϑsa8H?1w-bQ3 uO7" C hjǪKdd%~M*;hXK0@C2PQ>zT+hWܤ>j8o>vOYVa*4M>!9X7NWOipOgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4b`C(iQF;_RREA}4ZD1+ '5J[F*5޺S=FC~)qEWņ x|ehڄj!^ QǴo$(s޺Z@Wfwt@w'I+!8V+avHTLlUC&"$h~Q4H]S;)1&/(TiFe2qUbV[$SdofǬk" NZKz@  -p|yNf9ڝsfl%b Ӹ8>K>.bXmm)׍h,#Y~SC,"JC$gPf!Գ;I5ŀ2-![%16ryISy%Rksb3y@+:!JTh+lzv5{ ɸMDX%c'ڭp@ʒU@nk3y8zj2aidad5I73 z-z dC\2 7].v}<"{Ly^D&+">\8 *KpXgѱP`h[_g]m^#%^TДh5d&j,\ALxCq#dV`_p4ث*9; Ď9r9Aq9 n)eEy=|bJ k ˈ0uwLjO[\ps~*K<`M̩ dE!nɔWPʛI2P]'IDphAqpʁ~(CP >sAAgYZ7zXZִF! d ]ŗXi%90>-n?m\Tƿ7Ezc\ w(9-h^͇uGH S l'簑mP=[J+xf$MZи #L3s `ΖCx/pBpB|‘PV<0df͐.$gqM{QE܄¯*Wz}L״44 &bVIyœSz8Ÿ2PZ-;+y:fG uua=Qq>Lّ5 >`bl4dk LV(F_N8Q(lp1lynObJ%+>W0(̚ 5ĠI>Ϡ@&`R_k6j d~lv2KQ[R/ءҲR쎣BlҴ{@bXRF EJ٪˧o- EDP5^iHPqmK3}8+y\ʁDKz4)R3d!9?w%?p`i1K&tz@LGt_cj]NO.= PDw5Rpw~  %IwRS[+ю;(.%JSVMpzEW.enKM+8\3 "( &]R1hmx="z'76+t.!@|+Lc7Bfe1\.1V7D2H{8BxQ3ѢC,oAIMACiY$,T*1'97y'6sVjKx-]v#| {hIAR"k4p@ 'q9Q[ SxmUƿĥN-Л!˧7!?.Ō|yL~uNK{-)昨yIs%)t9[@ԝV%ps>D^.g|Jzr"k(H?J"2υD{:Fף*VCIL<$3(ACm[ҟa\$vb 1`.~ uARʦU}q^i =PZbB s)g5Nųφ)-0ձ}f/E* ҉Cϓ&$ۂ ٹ"4Ydk&ռWr/J}txڗVE6]7o rI$A:ZjaGF+ ]qVZG3eij(Պ6g#5=8,H=D@ I. g1̏d';6xv QK`{sbkms6JDkFwmTyzб`YWY߄_12[_虭WEϖ9jݣ3ǢPʉ)vQ1%9%VɄZ9{tA3C3%a @5倒iPC!hYŋ;0;%X$Á +_^nm QiB=2Cza6Zbvgd5@VYꀌDŽ=9=#zz㡼O;~։K>D461r^{#ALs2wֵS ?ϓZ #ss"[N|9ҏNOu,{Fd-h:ƀ^y+eGW~#KaAf%22auX4 4ȂZ,XC/qx_\GK宽@`g5]Ҥ9WTcs0]0-a_Т,eO2 ˜wN'& z+J'܄ q6ܧC$_.ggS׸-;ctSx }RG8+OQ8ƛޭ0.6|Hx auQs5bos+wzɲVy TGpem8%јZVOjɳa?h>r&nVsML,KEg4w@{eVC4a;ﺲ9M =1h}*a"dSv|j FH? H[>N3C?*;}y/AV|Rb.1_%\}'C{Av"k'Bt-N?tt#C;zЮ Қ xgdqt?.&5GY[{c?c6 0 Tz[zgH]m F]*a+ϼu"~geHц$GZd-%DobbBaVyw MWZyo?s}h4Qo0i;;-9β2y?1&B;U?NjIPCcXӦH_tp Ra >]pT*i^DxvEV*{#q騛SVIhca>*,>}^hm<`~ v39jB]wH$ 1pP>+h# %KZ>TgyөL$‡4 zw-|1QJ#ǰQG&G)I0pM2ɊxKTTo$dњAàܶbW.KSHjp+ \7ˀ Asc~Pɑu]\vW !pd~rM%(jY),F; 3 !RmrQbQ(8W?nk0.MDt y^\(/>+4LQ=$m:ݘT!KYM<#erP(,7Y]9IK˴j~e#!w𐶖 gz[{@6 h #sU(_{`SK2 K >H}7߄?:'avK19)h#Ŏ0p%`|sq)kp+ހxpZ Hu0^aoKޒC_^=W 8[̈=nۓ`Wp6#O rg ƭdT)& E*,D;Wڭ: aUjA<(55*_3%Ɗ2~ZϋzZʋ"IyeO wKL_I73^:v@rr>1<~I>vLB.Jz.9t՝ qHWCF\M:~H<2Y{y <_wDj^[}ep֐gHɡ>pZ˿Iqg4ޖtenWͱO]B=F;!:(8'+QDYK/wIJAOf#0)%;^'h $z&7d)"4s΁@m@Nu28H-S.ÿА;c& -Ã$>,te usuY0+W\ `} q"Vnc."dK9Fvq-J"”C.(;r al,FV!pTآEGԺz0j9he0Ib#U3Pr m}8Gq\6{;Й  ڧ&r`qq$F Xi 1s@tY[owUY~fL&L3 H㚿gDjFqi3{`LQ@, xZI+6OdRsn%[/׷fiId%+W>n5,e-UzN3Ȝfl ;#*7xx8t!FG<e5-"+ YX DtLB235 d^bQu >b|7efH]'Dgu}9~ŭgQSSC3ʼxYfzo@:F Fa!P ]>Iy2i6sv$lа#WϷ,~M#sp/6к)w.9j+\bFbsm!Q+4J xcBJh9 w=mإSg5cKNz|".> u.cNӄiZ/!ͥaͣ2nr'X{ǣAT ##^+pK4; *>ʙwރc2`EߖĐzmW;?x ʈts&+WSkǽ F̹g;v9RXN &J_ڲU4ҲyI{oGcb2'R%[SkUANOeQu.4<= ybc h?:v[&Y "zC@ f[\<؛FT,JJge_lZ0v/ =ƾn&vNj4؉Bٛܛ(McS: ׷@$%yMw^8J­3kV3Nyy{/imט MGi̖ȥ_ :{o#k}ㆍ =QzJ 8"ͮ. j3bHPG~Ԍt5~>᪡{Dd1HQ /uFqYy$ٜ5S>B@,LgK2Y+tnD[YH$:\wTZ@-I^ {Z6vDŎw'Y H:g瞋X yELyAk_E* )[Jb!+6L&ggEw/,eȥ)&C /WmLf)qr_H 3- ]DhLi=;AU$s_(SY@?TBmA>/hntlN9PDE~gWXCACK`MǍA绂Y)I1eHT2P3ϼ͠5h ~mzbʛwâ!MP  } N6Jç+'N<|ҩ5Qok> TmT=M ot-V"=pwC?ÞgypPPhέa] 34F -' >S׸Yv{`\e%eP|Y˕udW?,N"čIW;pxrLP`j~j1l`2V)p/Mz,zwZ\'hVհZ)"߰hG%|BGX{ްGm 3'#4&v$Mkp;$CdUJGJW4KY7,e0%\E2WG9~iqT v-Y,x̌Tu\~wوZ7'mQZ6;ׁ6T HwzVF4I԰{I!_#inmT!ρD= $<WD#>h3SF /@t ~!(QeJv3;kTT>jf yƹZ䲒˗2#JEJi&,7=>:6#II)=å)sq0::/BnE;@pjɝ%=Wp8fDMɉ*#' !SKmM~iEƛ!x$Zi <X e@$.NH' &!ވBr(;mT#>uڰxL pAcN@Rz":?+=:Kvq V5pNvqk,,Nu*DvYPzV݅%j<1LEsvcI_Hy S⑔[CɊʕRƾl!E $ wno%Tp>uv>=D5J g ~rj5DE:BMF6ZSXO2ӹC8x3nR32%~nFV - Gk%m6lC \y-|E=V4a!:"|3C&~֗ CZxf!-l/(?䀱H3^H o!i6.B ~=5F)DrK n-AƮQ_II窱W&JKH[ 6r/1GiYK8<\L/gy r_bɅHQF.`)n: k)GȟpV7f(ɡwߖ@/ouqE Y#I0[** gI4GWA+Q?x]6bi"j=00\#QYȀ-N^gHP;lHulIf>+Qxf@&!ݻ᛼IƭzzAs]Vt -8,GD7r׼b'QVh$9Z!9-xgR,aLA6hQ"rˁ|ɑʦq7--r&wPj}k4VFҽ>ט愬SA_qO_e4:Mc*,UnHLœ5:FDeE6c3.npLuǰx C6I\Պs'hY[Ix˒ܩn~=K#bu=c5ai x[ոOx鿌22%)Fg gAS8A[Fp,x 5_&"֖=PZtкTW2́6̰z\X@WR'nkՅ; 9{L6 |1uV]cB /D1m;ҾM-}_b؋K[P̶O)V\o @p2oӔ΍m"Wy|uO9ŗ zx$Y[WOts*N ސZBqvf ݆,=9^Yƙ;FY 3xƌzʯ\OKp+&''MQ^RF,;XHx+VV~& cŦ5 g'GPFre9fk2)%0Q+f}$o"v{*^>^sΒb?o kK<RDq`d>`q^bb7^4*1H6եwK0PeI[yڼ 2Ra3 My-ި 'dv[ErqqdQTuP0Z2nn {@@KA]eHD ƃU @SuteWjϜ_d0{{"b=C1qʃ]TMr?Unuqȁ+dhF\ܐ]dQf1n.sH9+6FyEȲ=޸) D&][(+GPS %TQ`J@bu t2!:;aK FEH3I(+ֿ1v (6Kgj!lOB7vsc @.1[7xhїKJ ֧1Ody F#^%;jXmhbOரNKy8mrhe䱑̧@WKt$FhF3tM&[UDwڸV]QĂcdx&|_$>t}ڜ%*)Wܟڌn|1CKv?jPJt[gr/^.H!Mਧg/ᎏ53oaUfޱn`T+x7sş[/+Ifg銌F0G؇(]eQ`#;$+zktاqbӽs&c}WSIJ1vuv6 MSF%fAK̸^uÄ]*\?~oTWL*Hw3IqҾ.vSϵ2b\Dak@B)ڕDIy7/5)#>a` VFuߧfN$Z/ ^#7j݂:Z NfD<gr Lh׶uh'P OqQQ2zBrخnؘFil5[\d39g$e.9Y8fczFb7a!l_\3]2¶jUzيk;;`B7޸XE[ⅇ8i"mU['ēu{J؍ +mzVcEY'R'j.}]\kc4}c F\HskpwÊ~BFF~0$9`PrM!aTJ*ՈDÑۄa'J%U*J#'6mya}@qTg˘yXd܈n1Vƞh:>"h2ּc3g~p`$c݁g6<-&Qg;hf&0O2# *IPrh[KwR zr|u?܊'Ya6|- )%˖2Q~@u/;GKxA~ vB{59]k&(,4 ]u4/ 0MYy‡ F #Q"l" ;/,CHogb#tl_pq­OD43krX d0hSUc0šfybbCYJP6|*>\f=+M簁i億̥<-;M)[15OF>7*%VF N^ÍVi`x&o}Gdi,!,1XĔǫl.ȇb\#@*[ |lgmW"ciBPN5n|' ]{P_mR$:*v_T120]72)v߀O66vĻ\ZE6 hK~ } 7tŽòjgNwL^生PHi` sTtyv=TϑJ|pMv%WuUՒq3Ģz#k 3F/in',~rP[X?&͵T `M%Ar#mWtp3z22>wa^h %/ 0B2:i;%MP~U%%5}kԜ:BC>ܝܨ^|r#LFְ7>mȎ斝BPY G(\+vI\g }dᬈ誊,1ZpmީG}'mVқwɣcpy?J?@YY {ȕrWa=6{_Gkm78l;/(iT^A;<~ ]KL쩹:Qh.2V@OI t^nƒa!ewr,ژ8 AVVVb,ut.ls}[Y3S|zJgpd@BɰrFc~jʗR/~L2C^f8?G#,ְAznX_ve(,F_ `"Nd_]3zK#D_y ֲ4, {SΎMdW!-*un7 zu'NJ)1fej+^.E#I7`s1E,&2^9{JOԱ">BSLǛ౬eh ՇZ( JƢ7M$\A;[G2ڔ X[MGT]uhW]kʊWK2 " H!nF۪P 6dP~˔`i6IJJEGw̮_9~fmMg3&ddԵl4jC _ZoC,ޥ_?Y@Xw PP:E䩭F4颰L7>#t[O)L,uxa[=QRɈqy$@QPYBNO_`U +hiBvVP 4>wd[)6H{X"N YʒvwwPKx$1Y5y|@%ȗ pe1Q@A*$"po{o8japѥIAD=ή<m 3Im},PR}e#j8(Uo^r/ Cs\d2?fXpzfPۧ` ȣO(g$F M~Mad:tC3RRW•]Ҽ=5aoh z33@whm)8(OOj+7( 'eb-w}pcDnC7Jbޙ*A2ݘcV 4_3\<)T<?eqVj$PTJ>+ʮd l9ir.@[V ٸ:ZS^T4x(}+϶ǖY:s";:+79H _IduuΙ{P^>G{>.o4"y"aKUKcZtzT[ DE: JKh*6)=R. Up؋<7F-h/%K8u!o9ٌ+$zO?rA,0G,AU^!SO՘- ;V&4pO}Ai5 fqg $+=v6" 者vXKZ]QK~ch1l~[}V~ &ypyrOVs$<ŽU`i.bzv;P9\>-`ABKp06$lbRh"X!W@]SfD $D6jdNx[85M.'nO w_ͽG=xtJ63s AgƕUbK EraS6eLXGD܍ Ť6h#qb\4x 6i"7;~6Yy&RLE(8v z/ mUz !#'PlD#C|(4y=Ŕv9H /6M3s0OQ;}HoRlj#Ug11 i2JlUE$'w+5e~xaf\114)+ ˾*`˨ik=QǼ"&dUe}:mRj`Jg`F"rcnMa;EZ4}i8}wgH,:z/twPΕs)A;ݏ g)eCK抻X5ȇ4L2ԃڻg.boĆaB^j߫=x^Dr=XT $ږQ  NNսs. n uꦊ'؂?ևl_moO㝪b#E"kS3uFG%&DE(Sw;5B1S ߿fւ-d©H@~x1eVz[kPvޯg9H{),r>`A|Jvj3^LEf z& akԸ#u}'F~}<, "WԆm23w8ԢrnHK ՃCLt7d2swvґ~`#3D]/)|;IwF~j)09z6 xJlkemo̔U nR0n0ېAV;%'yW[w=+Jh4& #jC2 h▛)?EyQO4V[0*H3;eB@bݒc@r*BlM{wò-MAڡP&b7n1I42 ڤнD 2 9d I8ܳd{-}+b(P3{9ۯ[#YLjYpی6>Q{!EkѰM17GQҫZpw )mS5XЕVnjyj}D=z?c3'c41.޺?/SJʿw56kwme'ٵ+6z= ;ze#Zo[3рOx#/;͙\ɊS.Z6S[nGHJL&^Mp,e|;Ĩ9p`>RaEܭ6L69F$|P/BwGDYiUgpCu ;3RrAh/̓RcjJ'mHXq=$~E V R,ZbIJ%D<-RM2BT /b,͉.GK(ϟ9( k7;č1>|V履⚶d^eig{sLo Ⱦ [xUx`aF;1J[Z K0H!<+)U6 )p#&r?Ng)w=l Ҏه/Oc_Fto t5Aڶ.h):|~o!0sasY9R [0 .{!pJϜ=uVfxlONHr |@DWn.ҎZJKK5HpY}Ii8UaqF#Wƀc_T6JXLP-2y9Dm$ȐڒWtǚ%:\GiIp79*m:fda -Q/);jop) t#-lN],o,e{8ϧЀ`xUF8a ƾ0 @='qjWEidQCPmPrk6ha9?2ܼȐY / .pߠH XD&l'Ө3&c=A%Uk0+~!!Қ{ؔߘ8C3Fh`m!juƩ!ǎ~(O q:3dmħ2Vߘڔבv(OpGo3hsF:|Q0hj#j~'꤇ >-{bw@{ XqR(AQTMiڊVީR5gKT Ӎ`l6 " l;^CH>o6:/!c4ȵr!,V|u>M@Ƭ lno8]zΪ~1mvJWVևރJǴ638d`Rv fv&zϱlF-1ۿ|rToyԥi$h^/7.zʹ'sJ\ttn4IPWkY}] ȴ<Ֆw[2Ѳxvxq }6I>̴o6-ؐ!Qe "㬃H~0yC@aO,võ0ƺmR&M% 4ǜv2\3ެ< `}8^4PNbSaM0w/O i[L"1O{8> 8gԽ+˒XcILx A=?[L ۄ_{f|K#%L>Rb{|Af8",' -|aj4!@*P锎h"K|P' W1A&A>BR3,2΢B&e(Ru&V?Jw4B[NTi +&h/8DS}a#"!I.k`|H),>ϠB_4(٘_Uб}nd EB$*+O{po3$/c96m!L>R:?Rz-yT_'Em( \!Wd>d"-7?^F[EL\s2"n\]9RU u`*RIŒ˫>}/3!! B4/ARwshVKڤ$` r%ٝA(OLM^bV&MB)=s$6QJAtC n"uRTvW!ҜR#!$Y1C~i ;=5Z}l z^v@)PSlltנY۷\aR Fw:rʔ&I:lqH:5Jj Qb^oG<$Կ;@!Q\8E1̈́:\)௞Sܴ]:\9fXH:J[/ ĂMf2~u}?G5fTgb/',ZzBfώTKp,/bKhAg5 (q39T-u^ۤIKfq(o;3r@ |N'5}tm0Y o߸f3FpWN͎f,Zy8,. .˷Zioڼ@9FK=,D|\;0 T@lM)|g%(!"Tgݰ<tr~1U4V|3XSCRA%Dbݯ"ٍ_O2pVX|> #ع!8Rh@Dl3ذǠ}[k&ɘK!0ɼAosh' LvS=|"v!:ynEѭ/o**@3Djm G-kr'ys +D_dly"Ѭs؇l÷P:W>Ly%e-=ɂeNF䎖fe JM ]op ҃w^m7 L4 %Π9%u)dw%:TĊlEr[pz&p160"H)PҎ%IO2s!qAfJ6a>$j*7ŸK/#оN5<o F<~ vJZu@\2JtTSi#[2"~*qOחz(qbMT74!a`H v G+Xw<𞘥B2X^iME lBp r&nr[XEǠq= K=8I'5 78¢!՜)b]H{bfE9_ڜ9U"XE4`d o%8g9A+e6.x!*0y16ŞkhS5g)smRMv:Pk} ǷC*4c5nRҖ&Κ2fX{'XklW9W?[LF&,n}+ܔ | v;}|NJVb ts$ERu"°d|y=Q50iׄaf.r>T쿩W; ~繲BAȓU _`_9|>HDLL&!p>7k(F8m3i!gz=N9N>e86 TD.^}!c4"zaA?Y TKQ`e+7B,O,hiP+]bEۮ#ttM A0O_G^+b/qJcScٰ:(7 eTyrT/fݞ V* {Xk( il*i")# {J-|X[;U9'JƭK 0rr[&ZHטct> 1ݧPb3p'ZfA}2*ꍗ5pU?|BGJ>;_._\N*, #ұS\1=sѝex*_>:p= @AGsָt^=")gϩ/?+*S &'RZ{{9lܴr![*^?I]W, ]~岠\soص(u2F%lN|>` |LOcRH([xF?-YG UN~=<xhBgYZ7785311cbed219b9f607b81f65fceb4656b184bfc3f84dba95bf0709c61a37f27d090eafa0bb6b15 5ec4a71d50b92c5aac197cb7db0025929ac32b1d85acd5ce412aea81c3fb04622135e30d97b9b48d