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 pp\%|td ]/]HOL-Analysis:threads=6elapsed=317.040cpu=1545.284gc=60.644factor=4.877zXZִF! 'L5]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0dQ/!RA%q"˽֗i&Q(~4_Z~+ :=I:3}]qWGK)8tE)C6-O4pυ 7hHg($G[IH ׮MNp%Dx!%P9Īz/ΈXyZuN;Pufblu{7Sd%D#$ؿ]{T_B>jĜ2I3ĢЕ ).p#Rc{LXd=__\ձ}h%,akR22SeqD`ea魲v'1Za0asSѤpqylU遚jW,Y`O=*xB"ƾ ^ 4Mq,m/e<&,Rj&HWs df ER8U)s;}kO ZK4 4N7۠|I~5= LfyMu[:O9/s1o"GŢUkAj-0At6yMl|if_ u~_tVřiG'5$+i@*òo@~HpuZ۝G}r% >dgm]}d4>{ aӕa/@ tgy+6j<6,F?;z=XaAh+im}a3??H`*diki/Uy)DT Yr16^ͿQ67 KGww>])9~ WWJfCHi2 54#elN ƧFҁiI8k^2>`'CqѴj0绫EH٧\{y ;Ґ~Y尯yMTL{˘X}PJj"|39P &at1qt:[_}TW4ɒ ʆވʹhTzzDzv -CՓsW~'$.EF?Lk_+;F*8m={R'ڏ?P6 Ӳ/卬^1Wg8y9mΏbLhx:MD5vK5 <4\ܰOBwV2_Ǧ^H͘\ oZ@\A&YL/l# Kڂj;xtXuT(u SO_{: Azo1J103i`ӕ63 Z\TFRhn)l_+qx |4QԲ@ ҟCxRb@vY)%#"AqG(at~-Q..ԛW_qc1kmHrvq?.q:l0CMG$|Y qԀKW_!?3W8(Ÿk60# Ma3 \@]x]6 TR(qnWl3URpli#F| wςR˾F~AHvaX|WK`#cE#Khw}m-Ԃz[Iɽiڳ`hA!2 n6YLڐg41ϥ=\z1K e^`wm뵃;C uJo~6,ʭK,N#6:Vp2lPV\/ BiiF~–<2π<% שw \3> gvg|D .*2r#0 B驚$N{)`""x0=[gQu2S*$v:‏x;ƶm'm9Ӷ0ur8b6«DAIFo;]RX=p*\\3V=9-j(M:Ta&- ,O̊`:T0˅ޣ3CF?~hFīwZł^2_heCF&cut?-J 8pt i?e'I(X/SzSs\bYg:Q K펥(&ؑ#-vA2B{v*A6|5Erf]K[/_Zaϻ>GX0oOv_N$\HTNHZjڠ']‡Oա-O53 i@%Y'Ba>9K"8[I0ŒGE:ٯOO{'j!_j ,2{uLJ~p*:lfs[m[90z=0H_mQfML u0 gYe6DꡈsM-ܾxdxFD P oPVJkw@"FbkؕR^EYmgB;fE;PDig$UU23zyUMޚUDdB:G-qIz?_13t;y[L§sy?(COm>UG>E 4<3%}SvBp W֚)db'O19bXֿ*.m^aC#Sg|p.:O`B .&/O-PBv)jנt{& CKe$vOh=ZDnX.D,cIwSY\fIFYۨ^}ͤ[+{|H.d+曲TCU'9wⓎaT,8} jnLΦGZe& )!H7})?sV9K uq.Ga] ihZCCq8c@"p&ʱjs=vd^|5N₦( Pm" M~^Lu DLȡ$(-f.t=2x' f34u;ӝ-8KBG[Y؈|%_=H]C"BM.#Rkh_M≫eLևK F+1ek:+ nH,{!}1k\g4Z\SLL-8vHOq`/8}+G+;gS$t"ZxROm{]Jzw7,*W̛ޔzĥb0 N 3(^ p- Ƨ_OkZU_"ϊ2۝{?[N$h&4w|mӾ^Ё%(8.xg{rб4<ۚJw\c𫞘9l?)Zz`8L mI]7mLKn?!5'.5^9-kC|PS*R\]5|RՊ5y#9R>lI7,YG`Y܋h<4LO)}]rsN^1.OgIP?@]-J1o<[ wȪEX_*CJG"X1XGvm|mjɺqaFVBhKyrq{sa8F& r3 aA; E ڼX0nLeGN|]dA>(LO-&qՃ1N#MDö5y!W$~~ +{9'7@)Z(' y٩ m Z #0X(+ʪiBt:;F$"^ʲ>8i(y)xg_EDo@D&XC ɺ<~!b$$[A^]2@IџQ["{m=v}a%8{ŷfsyfDKّP/p3X@JG_r9F{XáCy~s:XqBX0)(b8;|(M R)%}B.-)K\"MwǶӷI&|\kkհIf= YK/3'Iġ[Q,agSo?6Fh.4K*|\QVkϢ#Ibl lz-P߶3Z;#! vJ;u{U }SgF8C=cy4ez;d߫QRr=Ad[$ ^]'S:J9d#(FD?1x1vD2IhB'76U$UDwm$4 m .~eE4<kkcto Wk /qh\#D틌)Wg' ,crwǘ/_s{.^EY4rRp.pVvqiKlS8 AV&]4ͻͥ?Lc5 AGD6?e,5ұ'Lr@ # /9 ltڷ[S;) &!/gM o-)*q0[`HjKQ<3܊Yqk h=񵅋8%W̷wJ8-DigU@ o S]>|v[E]\};bHIB/^)#Q41`]1g)<Ŏ_&lۅׅ=L=w.|2 eſ?CRBTp ݴP#GXs '㊎ͨ}kW??5n i[4#^\hN8:y%ߺ̗>7&l.tÑQn9G?--1{bOPN^/S+B 8Mr s刎]P ].,zFrD\~NhF맏}) hMie&Y557DZ6i9mG'n;*ggIlp/@KG+^Iΰ:XXD:,Sq)\c}K^o[[K9w+;;i$]SGM6$ fa^q>61cI\JQ0_Ajw`U UrcSj,[0`PJ a]H] Y42]/lIU(Joo2= >rI;s-Q x:(a1~|~٧eG:8hdzsIOba1Hsd_VёX[_э+Au"BT'ޖ4 lE cY.d%32~> xĤY:=\}.@Furj>!Mi"!]m4;E]M'>?50_k|tCʧ{RK aQ,..¡JVkFX}%L:l]L~WW <HsSt693,|@3kNc!"VՌzN:OHrXWo~&nX\0[^#BMrc;_;B?esKAQh  pr޺"/ +@eHN :=O{ErcSpWQ}j ڰɤЇ-*$Cw혒-x֩\;eX  <.aj0q5Re88"Xc# όjGʇ=!q:Vةv3E(JqKYNl{ޚoC;20Zs|ם&DA83/ >20x:wZ2/Y>~MZt .j0]T]{8ǸۗY J˝A&td;dJ'Jx,WhI+U<iiz'/=7I(ELZWfê#H  %2u-%8CҗcQP`QnĊ:$fʖ Ǧ^>`",ɒ>߭vi5QR #|caI sK-:RoBL hi8Z/K',\!1ĝ#-Α܂X!Rԛt~3Ul4 `xROH4kGu=ʲa) ZѺgTe .:Y7z ޅS[35؍\Ċ~Qm|&#CT"~Pp/^Yb| =#L QRT ;cjx5j" k7@hȦv'YgBE-'HǻS5Vy/LW¦ m;9u&B~ av\5֔@V~KP6%eUdM`FJW[n6ܡ%%&6:ki_9(cZehwJ/#|0ɨo# Poo`O0I* Z~:"+'Y%:1UJ(n p@+YC1mݶUZ#f-'$c wjvՄM 0ruhPNf}h3F˜S~`p,wi*2_5U)8^=_9Z=O^B9+J^;l]Ʉ~s`ɏοYfyP{T{l\^~M~\,oe2N] U#]jq 锅8XR8@J7.5lʖH)_\x]WIX^%-f P@a^zr]z2#<: Z<}6? ?uEjQX>㩍ߣ\2J+,܊{i]]_V-שּ;x!o!20_5!: `G{n}/:6u}k2ʐ6<&5T _Ղ?dv0[v})xss7eK2Axz,vrh._wGᯂJCRw`A+= hbxBӳY ȍm?BPRX">׏= y.>]{05;a#t?cUg$yֈFvb,|Bš;|^yKbhj\S$8-Kh>5K2-M./qH]>"r5?̚[ &P̷ c'Ir=kHİoEѷ]XC Bj,Nw`%ÄB0qe<v(}?A$1}S[ܦPO+>$,p^f C vpk}J8e$HVJ];{I#XjH@q(Bd:/J g*ujc?<A2E*\rপwҸƓDL;fAM\D[XḰ/6FE6GcGMf/-n3lK#Tlݣ@)ǣR1%R/Dͨl0b. TWgz)'j#@.IRvш;h0{pQtel3]AX^֘o[V7}1'*%>{[<`ąVW7O_K9y~qFdxSQt5FPtepY_5%p'G&o /åZMf܍߹t;8=wmbHK$Q%aqg "k9ISEmz8U&4QVܵ ˫9>TMՀ7A?9NQʃoTedClÈz>Bizgc[Bdg}}iJr1T.Nk0du_)2G>O$y7S0z<81-{}nvއ#YYogW%T n~6J>k9~EubӤ'C)f3ʁX &;1$Y!kF #N`潲aKbj?6  m΀oʝo1X~W#G94R3Vgľ/ff Uhhniil{P M_-Ro ]Τ6byJ?'M?%(IJyq.`~ߚGx3N}AvA7`\gGk/PI^_M BPt1䧛`1)PwF̭DȺgh3F͋]zn-_qΧI# 7 K>/xH= cE_IK/ ^^q^:e_1DV8\&D2k:GᚸW~Q 4E4yH<3< qbgQ{U#'h`.4dTꐻY _{I\m3; \. {{|GOBNK+DBPN`(4 VªݻRky #ipv@F׌)0nu~ Iz]):N(sαkKr <*iWtٵnHzCoY.>- <+ co@/zs^tΥ/NiI$(İ 7fnF^~z %IΥ{vw2RaDG6,UwJ{[)D`^zscp5?Ϸ$/(N93d6* HҵWQW*vU2$2i[xՁ\@gk!aA%T&b`G 515 M,,N7-dLa"u۲}{U|a #wKS2Ӣuw&oG Jw}i̬_ҏ\1rUq$uꀬTDV6LPn}U=DtB5)jT$KIwُEqiMu MOƪ[H XN^&_!l7!Ɔ%+)̮ݢ|l/{q+Ns Ivl ZēU|6FQ,+̂50*HrD!hfm+_3ߏ6r&༠zܸ>AJl8{eRW(5nm !f[*kJ'qI۱"DSlU~%夣 R[Pe%ː/(-oSG ŌxO} 9O!gzXH'_5-8vTBH:Ѩ!ORN= NfutdQw@JJAyYs^6x2_3Ws+;Й#َH? j}Z&޻JOYݐoNNqxy+^O Bi[Sm;|$cgզ'B~ 8ҧDGUȦv4[:l|dH#3V[I %q~bDm%eM%g+,}Gamϔ~tG̠NNnnIi;-੃٢bTڷGj/HN:؍SAkc{ug3wהR]d dc"}onx;.C a܅/zCIdJ A</1n@}` /`Έ.,Q\V*crdz-$((jd\\T'躻||e/u(Ѩ~Slj^ v4/Ln@8}KU;Y 6+y.xSuۊSj-rb jF欟ʩ4c'y@bIK !2WSR!P1՗:w|*}t0$9!o J`ߚgYc'IY]@4*pFs*jOF撛AmM?-@"p诙H-0U$1'T.<O.;Pqy)>6hJe/sbv w$\+0@08=?:t*sko.2E*"1&m,ᇀ DD3c΄,(|eU!3^IԠxGϾ{UL ˒[1ʞ sG(XUل]w49%t$´y7Vwfc8Yx3疐ccT[5eu{Pl=bWq gV,rcᤳH[acW鼱]pGH wT_?:Y>㢷>XPR `O[m4<\c"1]Ԙ Jc11a"y4g\t9$L>/ܖ"~hR~r\Q=?of\֤Fnkc#LlgfS# {_X-EW_"h 37{yw[6~*nADGc;{ ҊM G!ֶħq(Tb``NCYwƇIeV&HوjMv&s`by߫9z I](5Tȝo؎r 5Dnj["xJO% j3lcV@@дmE\ܗΊ!hY56,Jo|KF)+(MgY0;_tP8nTL{?QLbޞ tV{ߪ>m0t0DP1ox|cd-*ZgWm:i5'j އy\)+ cj]3c 9 }ILKt .#{LM_XTISAd+f3a,5| r#7΂- JN4xb.%Qپ) sC`Nغf3AӬe$6 UwO_g~d9OoKbG9砾N X0{N+(%R溥,.Zw;26s2&pT7+ܙ?bJ=yib i, DHe˥4cTOTQM&yu6;Xco'~~|1HQ>`#a^)%eWsɊ]X80; Mpӹ}CVȲ ˸:Zzh}%!k]\>12^0>;RVunDtIK/{f"\<xU7籌{?)B D5r)>%BɁNх܅|]#&mthWEl% "wD^ j0L `@Sӷ =K֜czGc ze<Ɔ9k*h/kH)̤IcyO A6 HX>["\ CKy|v@1d;Eӥ^9'I)ўV{m!$+Z蠛K %PLJ_8l p8G=%u8a McMdQ"]_H=_Z!!"ifqJ +K/H~iIж}SXn$2},nlw3&n=o%B_[KRb|&-("ZNhOe`mmnX*ւ8)ofAޓC:6_'$N%gDٖޢhBdW Qjq#^X>䝤ɓ-5M,i9Ft6=e"y"M2}7Kii7| QB, ^* :ye:huΓ{400"nUf+l]8ݱC#U~)3|8446mz'0ލOD)Z_ ) =tޏsJ*);ݲ_>[{ޔ7,!62f EŻTh4CTsUN&)U@C[_S/tTDo,Ӡn 5\Ҏ᫵JJzy; L\__xh7ŋ|iǬ 2_H 6l;RS/e!$zyx D[ȗujG*kIt`w*^9m**lSCޫs?vP>ĺ3r]f.^sUGey 3xnZ72AG^G[Gp§xńΈ9YWP3ygFr€xW#dm`dw{b_ hktK_hԷ-B^ (o{ A·C|!Nc=)IkuxH"_KO!^.usPVO(i^hsa$ustLH&YBL1l zn"Ϳx fΎ0ߚ.$Dߝk뗞xQ)>?<^p),p, GH2LcfS$*HI%aK.b z%NKPp奧`j#T1xP80+i w]ݱЏ~MmQ cav8~}a7F/A' -lRׅc?>D;m ŏ=ºGH4x .[=Q$7xh ͦ᪓B mlim;H>T ͽqְPsWƾ 76/\7<1Dup d7hsbZ9gwS K ;lW yi7[ n;Ep o*Gw S)ʬ$ P ͨ_A<ʗXtI&6[v9/(ȿ88ˀE723I1Y<ކi_xvW-{tȚ!EB0G0 FXhq9燸t1a 74oAԈÊh{dwkî&ݿ^W%29úx/ȿoIܳ9x,YlWvRJWDiavE(^b(6DQr3Lr[h3d;ɐcp%Fɝ%y)AZ'=A wmOnJ{zg/̏hrb|O&5LѶ`J9/̀?'b%G ;hN\a _vqϗ/`}D+:9LA*k*X$ Mn\z.<W8m٧U&=u`ȃ`mAPAl mGnKZG8&ct@(wWܭؾ*G&gۄđQ ٽ+NA1s(̫p ]M΋T{^I2s=x5 xe\ d1ʡoP?E!yy32gySeE:!@4dy_^cC r_)1tMl D]4{/6f4k>SRְG, (٦8U a !" g eg1X hLPf,tnnm w\#Uc;|oxt0L~CFIM)ZB Б3qKG(ÀMyȄ(U(xuJ'Ĩ.W*1VO?lIG3'9y Zq</7}N$Pa{l@I(ԂEo̿G忄vOW%D=;# =*}Hg昺{L䖢v9dzMGyA{Żo-msoEӕȅ,Ͷ+o!Rܩsti<g @GfY͋, !xИFpCAL5b ?"@] ڴ=`nFq42@:{ Pg;%mP 9>Y爐piNɧL<4]v" <I͖zJiĎgBt "z/=:Qy8uM k *M8lEV`eQkl>]h:[4 ?m b5ru&&xb{=; يN2_\lj>`ͦ=ȅ5-V6Q{ Ukk^>$C=G]iooDr Sd;"S_<~mNMkci ~^ه+YQT{uY)ՎnSpi*{ꁓ: ss*kˎ\SHx¼T _kY}nzG2UsUJ*nj$SQG~AB#?TỲ DHzsQ}tox_# 7{E;\ǜ^Z%i4X {(] ?LcIgpaَ.;}e7r_0P1T'ůOEk*JYl>[ lUy˯9u> c&fW!RXspw W-p<׀R>_Cկ( B4;C#ϵD>J*^Wyۥ(~ 5SGn^cƒTL(WX" hu!IB+yx6{EPXwB˾HCS9T?Wzh%WKMUZU *iˢ߫4I3@Gm?z }LP3';L|tKG$3QoޥY=J- ԿM^.ܓ}MtĜ8w^?a gHLs%WxRw O1ί4XէkkTP|%X4pNm,\JN!9(p/dLj򷎐LeTY*:'OH¬TP6X^;LEAh1 {dMTVĨzfTt*_JiT LC#*tЉ =3aok;Hn<~BvA nZؓ*\Z 3ljrX 䐣$CIx uAMFC'ibHa@Xmѹk{n<иZ?N3Kj;}9wMئ܇ty ].QXa Ik;$]^NAk lH>չ^c 0nQ sVtk SGV/)^OAk# 'τ!'t  sYܨјHEgYZ7zXZִF! %;]ŗXiɟ1˦r!cHkMeBd4>Lhx*>SX# *=7XQ|N0[)4tҡgFmi D2慤O }p҉jB91t% ?F+w\8˂KpGBně `j7ӪY{qG{_6oGX:uо5J$i9 Fx1*z2>?Z[(e)Gq$$]lK)}36+%UWY JGImSv8>=m5?<4[?'51ni7I;γ+fxƨLQi"`)wYs(iޖ"n{Tk,:)P&6"ZII?e|ɁiGɃ(WX x4fANq88YK!A(@FR;k4)/:Dg! w.28Wr!5@j+00B0j03sJH]E.ͻtm/ 'W`S5>"GTZU(5k0MQ<̈A ^Q*mW̵cA5Nj0QAjeIS3ﮧ5:H]_~L!VxWgt+)~D+oM,suԑL=ŒX\b~ R]^T9Я]U-NOI3/s S.vLѻzv߽Vo7K'T*Hw4ӡ}9d w>l3щl̍fN>j& m!̫%;/ZO{SO) k\B0Q*9񟤓(X$dny8`?;g[ nHY"ǎzu9߉W<=̊/b @IOYڠFeNEsODޱ8ܪzV̛0R.d )X}m`GR_75H,å֣ +Eʋ^)A*rdv'@OȊdbFHc_E-UNvhc`dNj%"𷊵^餅xX9s;3܇jQWO@ ^bYE}^M'a0\xh"GVF#ɴ]hR{#L!.;A!^LˬF6,AĪ֐}q`8AEQVQХqBuR!Ա r!6Oy*2tv).t1)n܊BsMB%K5}d3.q8o n$\`(ekm %XxZVGώQwd9*eԒ2 \UBzFv":뭇 I]vPI!Z`X<˄v ~&c `ibS1[ ħ!\E[06 $jѳ _m[K5M̥!{,Q9^X2wL#z؜ɖgE/`_`=s 2H$BX'ҷQ\І D=K5&(n 3DC#Ӑ*uXem br(ck0hnb0zީ&&G?aBPS {W Nz4VO]z.l.K{*n?JC0XJnᲿGEdẓ:LY.z:u$2|#nV48=VZJ잟gYZ7zXZִF! pb]ŗXi%@h;-+xأn!2Jf@!͎K[ԲJ 4xQ*i wpyF/g:A(1|eddl A) _qlӿ ]8V% 0 Cyc$}a˼,ݦWԕV:쪮{Cd&Xy6sx+、#M}ǶiHm ES}THCVJJim C艦u__ثeԻ#32s (-?ONLZ=b:-U_Dt\f5UTȆ?0{g'j:F2bd"K*\?mڢK"CLJҦ`n!Vrcl ٰ*fuc5=$E(Ʀ5_Y`0V7T6+8 ]~ܷƜݨ8̈Y $6(Td<Րd-!?lØAErNW 881PiIY:zeBub|5m3}Iz($ٽsolT({pVw:Q\.~_XW^{7 ]88>p- ƶgwK0f:#zfjb >A  %E]Śfaܩh/8Yayޚ,Y52rqes֟^'t˫pN[;#6"'`y ?7z&CS )̖fxT(D}!R7):PA^=gOZnXF6<=|tpg"/~2ܯN#=n m&*:"{@)ǭgn^cU. f J.q[Fc'q(ə~+$}Ec-;|_(f)]DO6usT*yJGB>vyJdk R׆Ra VYd%Bg-~πPyd!y:5(\83"SQ؏Ͷ@~(lS ç^ejwqI犯 nE47bv0}rP8 f˨ƿc?P]B*R󆺓2 n|_ K#d=@'zϙ7/ ſBS2r<%֥*L C$)ɄS#dg!qvx%+t5*;BNSͣ11&}xM("tP.`<|wq(!Fs7wp &uSݍ^>ʁW ,%ToO7b*È~8cOR5%XHkd xVR$o>R+٧}%60"㕲h}=LϜ2=Ȣ^?<jH1+y\xr~A#PvVFKщ{eVqKBH\}mAPݱf.5aF)nlV<_85=0S 铛P֬T~Ja_7`UD 3_)Em[+Ɇ E_d:zJuձ>Ep>y۫z5o[#|0%ƺO➂kscN8q?oznʒU%Vb),+ zT#ک-<,>L}h5ЍMĒy ]V9 4MI" ޯ@b \+%u{jJ 0/FU|tOi ޽Bp(9 AJJp9ߑےb:,hHn2mۖ ?._@2X(9@vĢn7؈Đॣ \ۦcR/֭ۀA~0W~uWw XZ1E0˨@Ůg} ~yA߮uovAkOs"dfA/Pyh7jG?@@n?HOEsqj3F9E!]n8*荦%%fZ.qf2pN2l|^F>Y/6XZh{AHw[굂F:ep ݬnY2+aSÁHlf*{Ȭ3Orsi b2L˳lD:l|Z.qaʽK_beB4ZKS8ysn:zE˧j]"$q}F}}*6:=s_-ĮfZ]qfK:g+tsmfeU( <%O&Ec,E!h"@22mǵg^4K1M!h%WX@\g6-G$}%oe^<q)&yuz$NT)My[4Xe.,}za#:%Yї-t|ULr;\ (S+7һL KTH_jiN:8X4ge_v؀N8뮨QR_Is+ASfݸ Ny2ٚClK 7Lju /rfs[D'NbfL16Lt~wtU%ͳSru&XdGMOk~]@JfD!M:J( q_U9@^&3& Z,4mUTJDIz&jT ƯGfLnM?F4&[poҎ JzX˿gp1!6Gv=ZB3 A4QUb|?>]Җh0z:zτO[VlVآ ]HK_쬏F_3[v/gE2˽ BGz*CQQfrH!^,+©JʽVAZm՞ R|߾%ӿ?m;qI a#knMJ>.o'/"bgyPyؿ IylU٣ҐT 7a(G(f #ڂkv}y꩓rǾ|Ru?͊X4̥!'8A Z H*4hjJ.]\.wW"Z mi){$vBzR+  ZqUF;fwxo<'?U:Y=B+r~4ȇIqԋ3QXu:`1B}q l`X|+o%_Sݹt .\/)BB ':Ƒu Bhh!13]"zgf;_߶!E8EggR@DxI>&/[\܂s Ѻ QX!RSQOC?bO]#DwF>*)asHNh*G\)TwmN&ͬO8z3o1'DBeRQ\rcнjX> heEoDp .{WSm{& TEizYbY"S?x_f?u_(mP%}}= 9z1 jb_1+=0ÔJ=4(C* ~n mKi E7&{xûFG/lQm/ZjT $?፮тT6=atTDCٹX28sSG Bǒ$Eav6 ՎTZŋG^?c_{HLOJ?B]xd=7fWyWmL$϶঒Op_bY.щu>)j[O\BJu|< ==!@"m&qWM iOg3";۠uv%3 c¡1R1ZC `!\U b6ߩQy$eMzE^PݢB|${g.y<b%譩[Y2*0u@$^zVF?KNcKT&:r 86Kp0hN@ ARwceQɌ{jRYxZJbO1R8H~pA ]Yֻ2{<6|Cי)K)%O? St8.t&8RrrvL]e;9#2]v\/`60F׷>Zgm`F=ϻ~5L [KFp'&}ʭljPHIM86>%ъMb"鹼V:}狷\p)?>G)G!FР?MuOЏHك6뭬נ *]N%Wޕꢀ='UP;# ľsb'dwq8fF'XEQ?rQ0[ڎ,' c̔x\hDuRp$V5JIjg4e2pdRPNvnɐ ./Eڴco yID$`dMӾ2j6( 0+=EMSp5 Qq5RrUT9ϮXoh H.鰉Wh5/fS?, |Vu[D~>:J᧊M:C:@ 9AG/OU:@q G3ƣco5҄V|~RpaM645>L/v^!&JUDvz B -0)]> jg  ݠUcjV﫻7|V;#q0HdNÚ[jlH!o#<{f7y RA$:҇,jf|LuݍO>`ѝoDAF@Կ*~sGjQeLZW8rQe~Ӂj/1nE,;kKKU T,7ݛ? Kk\$:60>6v3a>9TFއF Y۹C4,ax+2dlĞӫDqy1,sca%$_<3|xWLϛ9l=_( Ez%R<*b (+_Dz XM8ddvey &^]/qQ!>I\`ssV\ao/;r~CfBTP5&f7Z7ɨ1Ta[. d;O6RKJh3U'K_oD 2/%Z%/Ü2oV"K;_RߟX԰qa 쀲hԨZ,k5h>,3n9/.A?ġu Y,}2nɎz ʎ`k|$Fm.}Ucrx`5:׋*׼srw"4&Ak=r8.k)1=V _IICG\aCZхe/GـӤM.,i. FĔQk،R=T UimB THx9O+Cg%JOʲ1*6P7K?'G Iq6Rҥt4W'q$얭sUNo1ȃ~7,$#p-{ x?p?XJ2k ~d^TݥjcB PRoJsػlk\ëF[-Ɛ:= 3s?p?ԍ B Po!,m@Hς%j/wiBrrGAEҵqn s\:β>'[HXtᇃaf 408aN$ЊjUuġz\$]$aWt6".VCE5YdqJ-яZ\q6b Hd~NZ$< 2[uޱb8Ifp 8키i8ŲcLX|GtQ`S(k8(-QgQi%"4df^ER`Qk=1uP!{֍%yh)V^s! &qx j jΞi? šRl $kE} 7WY+ۥ#DW.{?`z;.|Rxa|{B/ϕIdv9Ō<)?sBCIJܨK:/9ͻW +k g|{d<+&4$W($zݐ!݅hjfR9;_Ϝ@rP!1Y CTY. >Ԝdvȫlu)%ˆz' ,5;04uၑ(-Ą ./p4iU;ֻذ{wa5raUel,[aS= 3ml|<#@ Us0P c p$NR. :i-sZ!!ui*]whN C&LJ:%+^e?Dү%a,w, Nuji/"Rl̯n̠㗝CLP07O&܁V>_N͞;r+d7q,{ ztMiUYiMŷHZ*sޮP&xHc8%veMJC d} crxHrv!_1cr2ݞDr.Wd5"U6'B-2,)*NGا(ZؠÃb*ϳ㥲-thq7^ޠ` *pv^XS\m @ 2aC- [l#9'l6;O}>mC\!DE_bf~ 7E{9T"[@Hms*Jt/2˫7~ܖGs 0p\_>@n ;;LM,Ct_R5(y{Cv#(\=RQ9M-?ALG` 8D5ȶ6@W#5N8,ۦwQ7J×ft ʮjTzamtOyvEgq$F!֖`pae{ү6"s  H'/w qU"',:DlȱN2t [ϧs>E=GZNŘ-(sqjOv|Pw&lӯ ,׸va `]9$D{UԠPѯbu2aSp+a Fˮ ?1_yE8a߱j/LsbGiNun~Vk'Du3X܊^emDpR{<YМ'9\iFIr د ~3m<_= KSUĨbj3bhږqx@b} u}e@vfK2*_e,=ئgqE4Oל[ <)x|/C.") /?YnvYjQbpV1 ǙX9h)qT'B/[0b. rk?EݴV{P-ƻ# x T UιtL@^}sZzip,թ͇9? k8h:IurJB*fDk\ҡn֥£Џ#kK`b+Ma22IdORjqSa끑rZO #rX*c UB|hU%V*Ljr8+r5mwX! / TK;xL$.5:?A ɍPwj8 Z$Qr9* yaQoCWr;i~{\ ;udBz~V]OZ>@i]`j*qLŹJ4сߨvR|zC8ALE2hˊJnkHgڦ$/s$I؉ !!pcK[°\'MW;ffy@_qPIYm9ԽnRV`Ŝ 9V3V(A$4/7YdJW$F"bN0yxh'0d%|6WTK46Twߚml)'i0 Sj&S%&¼ Ow엣>: L `(7Ré*ԟx6b=c`]6>})HJTyڲG-NAn1`2LtpyLk~:4&WzxIGPQTg5H'7a4JkN4oxI:히ِCY"&-o3r$3)GaMŵN7mi.a4@-7Z(1޶z;݈FZѼ(6\3@/͖iSQl@,WEt5]0#1_l;1^x)NMQw4˪ȀpȦwԲ.i| h3=U?i-H, î|RkJ]S?|+7?3ـLLJ 3yJ E~a"t_J\nZgnM˄SAKg7S8d#)jj9{U=k/Ě( <žᅡV@m^.0uܞx/8&3m+VORƋCpJ2Z*.-y4}g2gI6;obKQ1N2_\J㞼6p\Zć (#=jص4ap.߬m˛1h+uZcAǃ#rDz*Cs soAyq:oc"M;xv ED"+Άx=:0q'@y)O=5ˢ,' ::<ޙ]'͸P8jwU& adҝlZŦӶo(ΦL.ab%O4NYЯN0ߴ!txKOiXqn̉Yt`!AJfz!y䎖zv/jeߛLSz.hz h5:I&PSG-7y@@VnGVȳ.W<߄~ D kx9cAcDԂ*:d&*85lsx:zF'Z1~GV9ln~NooOvtgV)>A+QɌ[whFxYk/dH~*Ze5"Tg4ePb*i[0mB⟻1ܮ` m'o3R{uHӃ{R!0&BkJue]AK"-EPkw}bx&6Ǻ'P!䰄\?KMHF҄Әa]?&^4uF"-)l8>ƅ# 9B꯽񿢿&>r޴BM7xhwF* iCH1yNnR CPu{thݹɆRp2|&aRd3R3b~|_Z\|`֥S|JDd:$(/atHkD dR]=k$>yr1¤eRfa+\uY'4FL3~``վ ֜Y'Ld }wI<Ubv_ecR}?JL"e=/gf bH 4#V'heazx@>PmY} )H$L@pf] yڽQ)Ǝv\[4-Vt.7pq܊1|*sSw/WQM.7Vԕ{EzU9`Xzp F̰ER,8^ӄöFlx!f+{o(!Һ}/ӲV Ut$Q(7233Ycyea%D%\ 'C Z^ 'yz֫:*+(ˑ3ϥiv8]yO(LIٜY NQa]? kp-fbuq ς,F1#qqAin'?W'>c FTW39%U/g j@zϋvx.j}xE-VƵ V#Y%)nor1OxqtgNƣ.mΕnq2.z>QڛK{QLY7 -#I#M)#e>>/)U򒊨Zm;BP`tj]2!3<\R0:i2q#27yj=wT tpo+[zjw9EY !mp*U ;V0!JA.mh!ZTZv?YGRad{D.0=5ECݩvj5z"be[94[mCq\p78:6fbP q*nsFa*̒0+ASL<}#L xxb :F\*pŻg 5ڽ$kޞPGsGawkV3ӃC;y=5( Sm $ ӥQ[RO=(=%!@y=S߆.ڞRSƴi#aʼnfߜA8,LI@V @$3ǡD3>A6!ԞvaX;~VIu4$+%a$"1Kj>_ a ?l= Hb 53 5-ԵIK,JyZ8+xs>xw@Ӆté" <$K}bCbjgûϫNw K#GӖ#­:>hՔ9qB.oRoYlD ~hm \4BǔgT3yJoY>h+Fj<"eӉQA]g{mR_}SµkϽ|]9e6&|뉵GbGoTmΒ9rHm b ޛ![k>êWJg4Gĕ-P=>i@KzoGySԙSg9ADHT3 &# Z05q+]/pAOX^Hw; (ѻ u4&~&Tޘ*4!6cd6e`vQxC?n@f v0Q?=nsdb%?H)uHb-@I5)KPK%nKux1A*LA[>5ץŭ%u0?m ki,  ICrߦXC݅wķ {_ -Y ;9: gZAtKFeI.k[ Ay8]_Ply%'M$SuPn 3xb9E)* ?O@I#JQZ֊bnzO-wٶkz M"a_{IƶbjXZtw\6۫wv*Pj]/mSZ+KM;ޙlu2? GDh˅ EwG *OTA^!f Ak2)7J#7"%qҔ'*v rF(ݤ֜?Jgu&:؞:\X|-d3T%n+ œiJGk5Z 7 x+]vXjaf pmFg+B1ƿflbQU(hB3l:mIld$iDA jv Lfng#ϒ:,IP|# 7py! v^ f}1R8m ҔT!Pkk-B|b!HIHu97o$ܨٜ3'sΙ?|u8/;/*ϪH |~тyw< ZŃ*Lgf{l-N2uoIUOg P2\_Lf)ص$Km}m']"QP0ĆMV?HMOkdWBrL)wt^>1ر1]-AKɃG.+ anRx}dvPOu, B"huZHQT$(oC[c^˛5d}3wK6:QXQttgGVHWWĕϮȀZ6Dc8U#}݋ŹSy:ӗñ\Gc.{^Q\NJc;=cO7"ǐ@Ic:wphk`/.ɡ.ڀ޽%vca8OAB[)td>@d"Fɂ$qdhxpflo` x)s+\|`E+nG5NҧAƏ1(om4l _ {*o&&@>U9Ej.Dɴ7Ҕ(=ɒ7BWyJ"lLt3 1UG (I?y}8xN&>iN!`RF//%ie*ی*zeS17vN7Fü{ؼJ@{1~Cf#AX-3ij4KtA6'ۄh}5a}ٶ5YC$\ra))%'F2܄a9n%'w杳Iݞ8p-Y/e±%KTUR/mb /?7Vl*Ql(/3V 'aE]Y 6Xxٌ&ZWzRP^߸7U'\$ٴ(g!{Bo91hlS- d:If? 6]`[:_/',)Ki9>啳a*(:zRnU} ]\rn&P?,oTJv@b `(k3h"VlI&v{ٛ LUڏQ[gʗޭ&Q:4PɊ ^T!W$E1휋;&v؍ؗg$gm [}q)*#L>:y"PPAUZ`O$a~CdO-B h])ڗER{a<1=6nT84}أe;h=+h*(E39OҔQMƢl"DWJ=X 3ً>QDջB%eaY|Qf6޷J`tkϧeBs$ʫoa5t5jW`DQTV"aSXIe(\F 3י:Q~:yj qǔ `śx9 Zb7?e烓%\@rdP6\?$%k _$)aOJr-ݚr %OZ3]7}s!MA7CBRQ<3 Hɜ/Θ8v_evQESޤEmsHݡ>ϸ|.j)&W>~A"Bz"Dbi9_lB@}=[jw\f dzbJrg=:uSU~w>ࠛ>݆oۂdZo:Y==ogbT8O(EI൹=\:5))^3fӟ6FFd*)ot~ݐ/da)TBJ]^Ӥ@8cۖ zP>{nPkhI*'d(RRԇIfwY xdw=,]~Pk{.XP&g_1 u;?y?Zrg~>SW8z';-REK _̚M|0q[S%VC$om(ʲAH{+e;AfPd:_lxl pbMՆ:gm(encF( nC F4{pW,>cȘNLgrdOvA2X\0Tg2 tZ-M%&+!:^!S r=)/Y H-.g ~jQpA S`l1{%uߋ`?~>$FP~`((2 Ob\&fQh]SkS%Go1{j 6?ZxN%aޯ_d[e//`ߛr&G2@K||\?DO.q\q q3 @"s"΍^!-/x5 PmAi)r*uhTyxM"'9^}$݃qvs2räkQx@_U'ufK5jՙRkiI6q 3&3ӲW=)  mzqBdUd!,XF8a$ b4P<]vQgCt)ш 5\ i䖀ޖ[]88 1,+9JlX_~}!Ni^aNpz%)e4^W}fM!vy-3~|>y1b,&»mp\ [>#C 䑗4]h8E۫o=X9 $_T8vgIߞ{p-VO kH[Rc2 V6jZܳtLTOӇZrkuO`V|A:L^WKjɝ9)d[ &:! t(eKsK3/_Ʈl c#rhhW?ѬKp*Hll^*Mc,.Dh6c;I .c,d8p&)SBS`Bm8C`8}rmF %?ab 8VՂLTy^HOXc67)-͆<xYz2"t_=?%t~k=.ONQ'fE(Fb?)=8j%NJc k}R!rQ]zh([0箐;gDYUy=>28@~bԢT 5^΄5%-n<2x+[6+y91$4M}xT~)ꑿ/49fl8.vt<׎N,.4ȳr^^!LKTuW4dg/CcPtu=3v0l2  7_.ZG! %JΔ3;rs0+,U{۩垲c6rj^q'P ܹ;gR Xلw7.sX!8:;l_,\6^*!ԥ[BX/ዯdrYY.DTV-Z饭lYfXԖ9R hv1/Öb/Ac~.0{&VƋmV w~hd䒦\^0^^:\Nf!@?=_L_D8% .aq2l!D?hUs0SFyHy_jR>v)LVTCR'Bz%<ϯ#)He5Agtez~'ҌM5m4Vkߒ^ dwkV[ DöU9l8_ϙ+t%*XN9ٻ笁3[Mݣ&~6#5# 7tOwK?ŞZƌ}A_ars؏'_U5GfLn>>|gG^1hI&b; M6b.~~c#V&5jSğZa">/\oSrrT Yl/F4Tי`xsW @%OBhrc8 CZ;VMJN@2.|T :!`Q!FμZVkdײ˰yqb!;lI'ra{&T3 "Ҩ,Y$T}p2ȍQʬGΆ>Y[-DA&gԌN=5s@4o Sω_eO삎G} pgAD_Y)ݞu79IM97/튗[c8r!.gJ{+YhӋ(}ӍӅ51,4y6(\-~_ 7l+>w=3\e-9>yP-R [XHP#&-.1g~u*̙a99_@f7#)ͫ c@*Ƒ|7#dq}MQ%| ;>lst9˻v9~!)tPby6uk֤MԑjpJQgj9}r6F8rHܥ9e2U2$fv1c-el CJυLK[z(+NoI)D@OkH-~ɤM8]qactR89epAt=/R màrPצ+e+)kj@?z1N-gY/z( )Зpz5V鉉-NJ7G`kp<`d+g 5$K5a \h Ux~F(˲_UCOyɛ[IB6sQY֐ +qXeFn,٨UZ<{ Uh[y\;E*ƘVO(~3 C+3;m+tXLku,RAㄑƢUXamTu-7^s S7 W{^22wfrCHYDfoA?adIL2XqVE<:1O]Rm#oTCLifryN}~`K$,*`,ۚUIdOO'Ϸi;L15!c9+!4]R$O&dombBJsk}oUEk<2Xq!^98M}~ԷeJQP8rpQ*Afd,XS-ohZ||6Zs2_X+}Sq9> ډ'Axc|͜VՇ-ZCܙTrG9ޥ~)dK]a;UBZH9F NЎ|XgkǬs$Q7T )]mZ+8%ڊJKPPD.7if̺T? OFN\mDv 'XB֪4ܶ3P߆J)b{HtژhfN=nÅΠFQѱy"]څts65m0y,QO8|+H{?r1,@GNS&[^JWkT"r7rHޞ,9b5X9SE;*Zplo=7',=rÈQ42u>nL^>!u;? I]6~nd%Zh땕]񁭦|xUؐ45&VRh(Bԏb" 5[@`%m*oA˼N3m55U% 9QzdbzMHusPYZ5LC\+sHr$1gWj{V!k (5J߲*U=g^I*2 o.0OP$硑A:apVWاHDsX*4BunP4m%܏/PWQ,' 4㋌*L` PnI;!|Nҵ/pgUHdt"ӱ '2GS3'#%,"NHEwAxmzbF~֩[eCIC(fyh6dTHm>SiOVw.Z8蹦eeF]`eј`ڣ=TX =WxNDŽ58꓁Uqc t,I0 +-zi4n8hkhɔB1pŒ PBe8ɠ\@J`ch^Yf=khȵAy)ņ";wSceob,+' hUĩVy-iLZ6wNǦ3i@ 6!9N])6Ok+ 4Puf\= FG;ϓ[Iñ)]0{҅됝h? 6Z#Pc4;ƩR9=vz> opJj?Nt1wھ ?[P@ͅ <W8HpΓ53uSf;ٺ]"mCK#X}*Sڶ,wXT3_qK>t(Lx%q@OWE>m3Jv.̊odb=܋J.5Ҩ t,T\sKv|$፜0DtȊ *PF}^7^X|?W'6-pO: 9+=F,GJ@]g-84F?o  S,yyI!!$Haw{yE<l~ح{_{}U)Y(Dޛav_{I/Eg{9О~2~|ϙ4!2Yw@K\V1(pݿ*ĈB"b'csK#r»U' :;r;y(˯TVd.N=p$S+Dfٳ O{vwvjm Qb&M4nnrrmW3b[욚sg-!rKc3x gYZ83a9fa3e35952a10775c74b26af6cf19f85cacbb0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d ab276ec74ce8749c4ecb0108f5e05afd9c485e27abfcc36095756d69298c3e3f7ad9b50f5044ea5e