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 i3tTl ]/ HOL-Data_Structures:threads=2elapsed=648.250cpu=999.740gc=34.184factor=1.547zXZִF! i2]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%FE_ >G=rar`'gS0r W3VcP '@ TϮ &YnWerGMa()m]}OnGNČZDUeNϜB{˺AM2ZW"`,bvEIv9= ʋs0rBp+dMA;v@TN4Y6|~Qϻ5׫Cp/kU-+O".s< ZƷ"΃4 3 HOL-Data_Structures  VxA4l ā_~7جNhB@<h̍Nd'b/EisЂd*RJ) ̏zEkZ U2'$5yssGpeV U,~ ZùBmoC[-Ai@N9 IJ5b1U@OuZbɗt7v)jY?]L`gh'rb3ï45 ͬ s,.+sٍEsmU;Ajk_d]UUܲY/s}5e  a, ~s[huj9w "E,܄D\OOؒq^6_q|+tMva7ȇ\PH7iIVn ы(/g1cI/%puVڈb+^}^Sc.gW@ ZqN[ovopϵ]E8!L P:>uM/قWԅ-?ꏌ0oܠ捛ڶaG2~ PN+q N>JǐK`e!4Dr{gNMUْ5 jpit ,%tq4>pS&2н_ֲQORt '&MyBgΔoK>9dv;^;cmŤzZJϋ`6St3v7S4[wuTפC)ʥO~ ~u$W0TVJ(l=dMfZm߯3NI[O*rI˻ \bK 0̭VYk6(Kc~_-|bf4cʿ̜m(69Q4U7?MK7Y6wI e*AKGO@)VK}c;mcMY5>;m;B-ivD{k!IL[%~7KPtyJ0]煫Y»~uX`?9j9T$p}LcE myO"54<*bjJ&DK4f$FIrAt5͗* q-Fv/$DP5XH? 295*,:*NBu }㉃Abw S|QBMlA '4_ʶҁ) NjzM 2976lun: [HtfÚtkɚ#JϤP!ZS%= N}0NtPl"D+p wiDۣۙ ߬D(ʰbTSp"ؓ+QY!t" ,Q}aP%Cߺ7Ȃ6QF {PIɻm ,Am^ʈX֗ߴC#>L1F^P;%vW鹝@P^;ϘuGW;-H."f]'zةT-$0.HY%\_tLe;'*|`.wՕ!5PiV4+LQnࣩ$ְtx+bk[kB|0VօvvFnPݬ~ r8k(uٖl/*1E Ӂ8ȇTCgۆe!ro2:cLh.w5Bu`\hA&!,;ﵘ㡹wZuWXU|{$1N 0Ek1‹YjN ł&4ً^m9m7dj›!~hA{vkuѻn )(טl˩-}Qv{8~N.?nqlP,JlLn7j}uѠh&b84k&Dž&QTA8d6Q5^_(@ȿh$JeX\Dw9Vj(v Ah6G8”.G@WP@xZȱq`Rk7E)8~E;e` dl;}"x˻?Yx~v:ћ~1h6N8vzĤ3'i` <Hk8)Z ~){ !$0]* ף>ΛG䀻Y'zfIuւ7gw,XFTGQ35&@#)実o 88[!}M06CZ lpֿaϙ#Ԛ`˜Ү;ҡRG $`k nK@)|akZuGSѐ%X;y Gv3Z yލxa/Ai `bdPi6@R49j9 D#iu͉4hAV(ɫpWȊP9E [o\_)` %@āׇa63rDml{NeCgz'}iJՃ|gMU%"f V/cF=[_F[P\_^JFI:5ndeORtW]2f~=$GT! <t(Vw!%n{(F$XIB4vU6cQ06/MUdpʙD2F rL%!#=4ͼ7S`tVm,B|li|a%B8 mD3V͑ .y-P4{]]gYZ7zXZִF! n0]ŗXi%;3EG_[5É,/Fhw'ڑ %Gt8E.{Lygˆ?x`I.Һmb2qRʡC2u FA4lKe.7*FY!Y.1U~rϗ偽i ƫuXs&Ό{aՕ-\bQna4IVr08.yWe1y=Iÿ_{V X_SIҥ<bP{U:*״s< \Vd]CDMɎl!nbHHQ: {$6.) pCde6Qx-xd*Mg}W:ԙf(P8;hG*vgA!x du5QZ *֨wR֩Ght#Qw!Ot.rצyYf1^e\F-{*nBE)93u >Օ$Fc#p԰IQjY^$U=|t r.K be"H;nxfZNX%,қ{W rn `Hbe0 njZI0Wfa3i>Ȝ6F&]da1YQ$Z$u*ghNtN(^.Z'y+K`xz@\?v 70]{+=]s̠@&,Bk.EAv ZDlE(ulx8oUɵ`a8ԏp5&/̲=VE,$;f? sdyuw k #bJ6ttW2Rs=b\:ȝGH&+`W?FGN8} dZvaYTbLdKhN*u0%l`BYĤkIMZg{y"ws6WUžgʌyşoVbK0%:ҭ$Q(< vBޔ94O9X>սDvk [r.s+c45CD#mYpD/܎)Cu..%\$nv"y 4*?wZU;.HЫl*c$c2̝|TDjnBÄX h.O9ȦVFNK2޸Lz q@^he3Z:E ~K_,9 F: RȜl#?i#w1%fY݁=+8sr-S,ac`p>g[S-u*OV}>7̖~UJ~eO:5ɕk}퇱3 !}dn+kZK Y [Z$W " Tж{{ͥqfH4 T=cӔsL-j J7bُsmdFPRxB2K2ߖJls.Ym؍)m'.zX1#g!&|$Pd_\$NR9+/a.5L!0?~GeSoѧzA/'Aoҡrq qɺ wJ"`*$on!7^p^ъ(W%HnQzgZ$/?p4H z1Bbg7@M6֞U6g5\1|R8ke ftꪇtCy{oZܦ2rMt4a}.|vHDŌ$-_FT{^mWv*1W֟{c'7̻" P|~tZz"iN3&!jNj*> Ԃʒ̊Ȟl Kce{;A1|Vq1m%[(?g8I": n q9%5֤xa.bE3)vc!Rwgc6ðj,SRUZT;$G_PaoJC񠆱?`NjH'dmc]lZQ8MͽgKB2փL]=--L/RdZ[:"{~Ԣ˽NIa0Gyyr\lv&8ox-*aKSyF3ЛY㎎ҠZI20pըiH/Dˁ$M"a-x|6 8Pϥ{jѯSg8cL>3J_n+N:2lOxpH!RuEV〾>EMe4>xkӡtHV4Z] eI ]u=Κ&VgD;h@4Į<?lA=]TG }CCsPyFµ+@Mw`p۠?Z4&yldNa>dntE%(R:xk |,2 ʒ7ſxV:t՚9tnҀv~'1pa U5]/Oc)ӫKXNz0Xh܃i`&VtռLz?p50Nכ/u<9pe 38&h̨&<Тp?\{sD9>0AιIq2<Xx[E3$N1J$֧bX5ESEuGý@ K_kY dѺf j_?6; D狝XJWqW154 b(*y!Ml!}HMX*? G4 d6s,J-򝖮|WS䔢?֔-jҌ|Bm8 O2'O{SZ1ɤ @/5ѭTv5>3z **~9:& w"):oIðGgNcqv܆ ϚR;jK*T6|*C+CVdqQHUFJZk7'C0al:'X}GݽunGA:#PRjzXuZbL#*1TJrn-C Pʟ Q3,㭜=̏8>Zc v b7k=-Pɑd}Ma?WjVNve1 e_| Q>/{:PtE_ g/sG}@N$J.-5-akFKo`Yl'=-)AW3#yvL5wV|[FK'Yu>"93ukɏz{ByM:YoA6:gD} ]w7j.<d )念/y3Mf0q1N*tF7~}6F /zY'5\0PQ[t'?*S Ѥ3ۭ9-ÛH!i Ϻ5Dk>68mw8|Ɛwn} 7~ď t qgfz#|H`QOV- RWTw!L:+ُ &WL(ruG`cZ'-mz>~BmaH?sђd)JT5=VBqV /i+#Go0pDB^;tfmay/ ^ge -1%N | .B}qc>İT%wߧ DZZ)sx"HX^PF;D5ix~i',eOsRgj>oehddݕc%uHlP|@ޝ6 ]'p=)1JD*IPfuucw=6Bخ2}IZlkxܩyyys<ʸ530Apk1^8]:gM>TV4E뛳CZfTo(m`8k.>"{|;(MkcY*nztF _2ԣ {C S4Ul3Ϲv.o|01AfrJy*;;g=_nM_2{5UH~SX[49>̔ɛج4$}BNKᬐ<JPJQ, ތ4/jsw,V>])Hٕ;.&^) e¤P68cL':W.埈壭j YFj`V0' [ƈ>QS,UJ ]7&vSʵoҟJPog{Lt%7" tgKtׁ rوb%EС4s3rY[ Ċd]" *yt,B% 6À'LA02Py+ut?D*)Y>&DAޜAӑ΀OTF+gH} сn㪨m\dXkl`v +KY?Oyc` v-v<:c6NhM,OxҁO#M]\ba1{ӗ|w@|V#"Yi(WƼlFkĊUr̚˸[ĆH r7ªm(uiQ{&?$N X띤SxT[ַۥj+&+&]o4ƢQLC9%PQq`c"A[ς`0FO;09e5BYSthEjˌ}6JHhsSy[nɸښLc)Gܑv*<+e{!JOX ?WAfA Q/^%DRhHxFv_(&"~sǎeǐJ\d~kR321ݜ0|DcZah+WoS4ۭΦ@$ʓDC[rqωyh'usE`>0KQWuRk_d`D[4.l?dA2d$EI֌hf,13tЙgC^TR ܏/.^D\ ⴥTl7x k s,gI/zIyINH)D< :=VCI%,-ilLYg[,Jte3N;4wڅ{е~^\ wmR}k7]Yn{`e:Wy4|팫 p)enR|3-AE4SEW P &#0P,ѡ_Bn(=ޟmNR8eHȖWSbFbJti-{(miPN+qNׇd; 7GTmqYO7߈tq,Y^KlJԩ{x;aw@W}\N+:t*y ]Q}|tJ=Φ_ذxFw[Y&{0vП'heH՟UG^Vy%mѭƞy/I"*?Z󽪫cp%ǐLu)0ٚ$܌QlZ|%f_}҃NƊxjtͼ%O-h3o}S&/%=`;iڀB`4q' T9}~JK|C!S^ֱ2wЫ(A@ Xڞo-& Q xMؑI$-e>g| #tiv2N/wDz<[Y:26@rRFI{[*>ZFx>RH%,Lcs^qxG#fɟ* t|O]ݥwC˦a[JStmؤأ֥1sbQXH+rT~ -ws^?(6%$0tZ:D'Q4[+p| m4gZġq@ah[0Nx 2d @';2{)tLE F'6`F&ՅÉ8yAK![p>Qm +Z"Ai:G&HL,;aAn})윭bcWAӫ0(0>WU_B@u=;X3Rbvu *4e *oo" ]! ,OY<6|Ka G7P N,×ED08ښY_e&]ŌoS+mg [z80G(%rj&Y/9o b*,Ѫ=e dJCX&&2@X`O.ǩ4 P~OeQ~:Zrp >uSJ4nKM޿| zG)>vr)C IFE,wA#%HGuPl_GZ@kyԬ̝;)͊ g4A臵 {֥dPގq3z1q!y}꼂wdSuD'_s%oՖ`S!l>z|f\S\&E( prwdapLOp,7dIK30@Ypa:hi2?ngLSbc1#ϫJZr[LRsTTJ}Np~&:O%k2VLCQ]X-j5 m4u(p?0DBhs&75Agj /PV{l$x<%ӳbν+%)Pv%sJ$(I*Xo6Tp7oW҇ 4X]ذuҍv(>ҟ6 NBf?L"s\oҫ\~e3 쟌6 ^I0bɥ^D8}K8)O+3lLZ*Sp;6:^CERq?R/Yi Fjakj $.gٽ{8ޫL0 t`bg6""-i૩1/HL.Y:j 2D@ksV,U#\'Ne7?MV^ُrΟI+ |T$UyVӍ:'Ykͷ_ZiJuC1F`3a7``:irfzs<\B JtM(\j[ӝ{H- UTVnYp6)/ =fݺG%p^a~*H2&{{Eü ZޜOܡlFL'w{~~ٻ-hT.KjqEh*a H6PiwL brxt%kƓOv*!&^Sm~\K*@4 ۺ;mXY܈wy&hSYj@.G 4iPۈ3 X;U#EK)[=DOϦ^Nw5S(oTa+>;|]R#aT@Z*PD.xxK^' Z%ַ,,Ýr|ʋO%9̹RSt` ɅŁskjZPZ%E>K +t\M甽2g=Y2[H"`: @3|UU@W{Fk".v|~ҨvP9Yax nzMx  ucdwDGk8V=GJ| qJ& @AW %U{QB3#5BUH4!P[0-WaRp5eY@` -DWV"4q A~cྚt+FdҔGU,½YtbMES߈h7} @ 9f$Y<ؼq?7o٨/&_D;N>B1֓$!hfX+1dW(Zj1p+{Bu)v5C7<&f7tEe>'&쩄ޑRo嚷F¡r3$r UAMUB!XDʇ\؃yh T(zK>΃׈b\~6mcHK=S#!U[i_Q)]}TKLdNŻF a5k9l^} (Qjz-m1%Nns^!u#z2Ѩ"kgi#!axY\>Qvr4UJW]ǺU*XϲEȳ ESEͬ]q\ >ڪ Kk7Pc `B(2mXGwwoϽ.}"m]lhL+BȊuWzƃC[4XUz i' t^mfcFr͇[)w|;W+SFmX]27˅[5$W()2YCh&( .DˎXwEM t:WTbU޶+nB?-qZHaPogMU z &YRjh'R2$f=ݽ 4Q,UCÛCK J.)>U3["JncW^4K7Z G<5SZ8l* U$>$ʡʎMY& 7bjk SG2RH-!5XũO󯀧J$Z.=Ȫcm"cp0Q_-άi.n)X3flB"=T0 bX7ȠWb[U8T+K1fսK@GiA:d|e7&zhߵ'i[.d?8&_\Z"ezOD|{Wk bTZ(N3Sj|+ư;su}^{oc^Q{X{+LDd+RBG؎}F'-?sC6{ NC(*OVfbjgcOxKw#UɒsFOtO! `^=]EP%8cFN2JU8ZBԜ-I1EPz. FfLkԠZATt=AiWケ˥ EČu /gZd)y~UԟbNWqKf- !8 S녬ΖÑ{s{_5fۓgXNLP/uJA*8 z=Sgv4d1 -{h%MHzpճEH) kayAXM7Ң" nRdX?"ekDUѢ16SۘtT4Dfk7IҠ\#@\DS^-ֽ؞>5B;|zf2kiS3Mn|__]\Ǎ%qwgoIvuJQ,@CլتU -M!uxv?i!9` gbPZzޕk(R-2\X6&U~TZl!XAֿň+;#BJ[34 )x*F|Jk-UZl2iKiղDqG+SdnװrBפ҈U" ] &ZmM3W.;E*7kc$:k;f‚ j,_+jȨ ׮Z An)xŦhf9ZbV1!L8|ƥ+̷I,ޫ/Ysx=B*܃)kؖ\>X N{\rp1N=!@+ҠM\P\$0ÁN+DN 6A,.wZۂ q$2WI8rHd۰:tfėa` D[n=Brݺ0A9{Dݒ 6 .HრP)⟛ܓƙj7gfA+܆#HP^~498)zFpM]+W93hbNj5b_; `֬N'>"(Q1<ͫX(?fn̳j;ej-xВu6 LDz0Lt^bP#;X-!tr MAE,s6QcLi_ "E&99vh%N`&VՖ`/ shk{7ڃK֛._TQ?Sn1 ܞrFuJ\Ӓ(K%T8$ l]N!:ǞJv>UiXWbk[U"O3{sԄ tq~)FSifSl4)=e?Ei|DMJ DVJ(i F"(ǪmSN+` )Q^FBQliT%Gz)±!u$5ݴkӳ@W_>rrZ"E,I[Cx;UcHW|(D jCu"\|IZ:I?_Q^jV2Ɛw´g_:].6'4D$!A?4-J8n >QLlj Rd )Av ,]A/iլ6*R'9XW6UiVX<7mQu5hgeI_V% Y"UWnj $->YOM"R2oY|B{G:KB^Ąw:?huY> uf6_d gȮLH|&S { ئ66Ǎ)عڨ, }4y:MR.>H/Yuo#񯂜'y8WH56@<_o WﰼˈnueS.zXz- "%wnL 0H *fA"ODZ;jX v Sq(`<8~k[W2*M4]Vm5LfQ^c|7WVÜYȘÄج8]9: XpM|r1 g<Ѷ'hL2-ən~8bRg gsBV-quꇴV=3 h=|MxfD,JXe{d >EER<7#%D10OTVϗ{_ @8턬jvCXpUWw#P _> Qdy × p i.V^#,[<ף=}Q푪 s%ӄ v/Ljb*70VF&ix\Q#>U}WTŒ0!@lq'&%ң#EDl!:z5XqjGxm-8m|/>Nb˩Ѳ'$.[#ev~=e%5J;d+ncp|P$oZiL6!oR[eD 㻭rUq`pUWU67YŎj*8~H÷VcI[p竷fѻpx*3SL<+Ft}aC \KOĆ6~ qUqOQa+8XƩCzH292HlwE۔28вf=M`m|v^~e&F甍ܤv%l 5AoEwcze!l!7Oc5 !_m;6[u]KlШ (q=I㮶L0 vlqsxnkr}\WcoN@2Sal 7.td ȘPLmD}.'M6!_l>P*G6"ѕJKqQ\ŋ"iP@Qh;|gy(I"$ T..G1xmB~B,q *V W;i `ݰF=昿3kH)kUoFD3`շ;lԻo8j"H 睷4lB|ٓ_5dRu ;ՈX{dz$aR{m\MYh G1 ?#e9:WdRFu"ҜO؈'lf$8Zɞ6ITFwCO޲uRJ c_ye(EDu] 6VIcUP}(\iY r7'P)cɯ2l_!&a1Ahx$dM+H'H/ۼL%ʜdhIX0,*u$-@V}@]9 Egk@D{٪-Pe#8^#aN_i5`3YC[E[a[BUiV)ME> ̈C{LJ5!5TQnL^jsX^.懀9yKQ,"FÚxRqR5[X֞ՑE2,tN+F0ׄZ͸V~hɁI7 ؑRpPFyGc&/[,,R8z:3;ݑ/pصm~ -,tY*؟ўp1}0ma1nwF-MycJ󄪻(v[%oNK!%qhC jCVmYs~ǠT;kxSLrCY4>u84cQz/=JP:c &ƣk5qxj -{[nÝ-~ ޫVMP#Fj_M,J@#jy(Ųv&qa ^Clq(btDBI%lzs^TY+"#sT?kMt[]{qS#`7'm~npN>=Obdij>p5>ȳ-0PU'##8Q PRԴ{J !aqT:*h;`}͇7!>!r^^v^q6mM2UɬD!t*8R\8W1 IU((7` x$zpXz3mJiWS#\.7r턪\$1il+.smp]Pg$Db~6ыjm!R{4?#\3]#om" (5O'LN`:b<(=ZiL2ޥp{=XO>4V-eٞ&Q*UNH.>]lz|)l \0AބG)ΙKPΨOzHe r]%}CB|=3ƵgUVNHY<9 /u5gÍb-? Q_;.WCR=ou^aU).DPxwB> [N4. *=51\ȝ=hrA{CI$`,7G;r&ę\چmm3A B.42V"9@KIi[ԑXgus]/bl7qdYWnO(+j/E^,ZB0ORp㙁VvH79Oqo3`>ޭ t·?{8z700McDHxWY.·_VnfEQ7=_Ȭ'D㓙K]ϋ+Pl:Q{T?<dW(J]Q/wHM-1~~ڇ &يKLb_B֯KI<{B$d$IA>6O'C.&(}yȇ&`= F\l@Ti7:4= ?HS{TK&jHPěp<0@::;]l:Ax7|Mtyy*z ꦉVEʊvXxT@juDfIfB!Q~ b]llIJ &^t@A="q5/z; tWjiLXf& ppa'@5Xh [ ~VqL.YA#oܱ mҹ$+S-m BKEdS|hܨ6e(2{OpyTez`bW]5 (*@ݱ~0z_1oQ b/tD-"d&cWRԕic~Nv `Uf |' \Wt)YIav(؂;p#whmpH t# 0>R xN+qnJ{c0jQ3@Wż s[|lWsc晥:t?̿sՕعe}1Hm%#ʆS2֭M9@%e%$Լw.^3FËk(;;zY8N㷯Rgcf o2歹}=]#FʓUz]O@MkCW̓-e'Ww>L^d@ݏ_\2s @q,rPUӜE6 m'_䊡̃C<̆` [a$)/T禁fORiV/V۪tr#7^=CKIڞ27WP&M̅>1|mk5yuQ>%',@;޴(ˌ±.F-Sg0KQ€C#Zz^ ٓUSx :7lϙ9JA|F, P5 &tn-eΆ /SA+}r0 *GLy|\O}B}F`#Z'1?oJv`EY|,؛K$Â#*>t AD {-GVB?T`dC嘿D\q.kZ^)rBW MvYvt+JuȆvٶ x(c ^Iy$dġcՄU@gNJ?`hoʝk#_a@q(j= RnW"oudWAyI>qT}. -T1bYų PAnVȃ`I.0ʍ:8y[q%_ -upY,@kK G DEVpWKk[&SEĄU):?'arP0~/j9GУ|;7i~0en"@EKlFm!s5Y:#eHi_\.@eS:H{9)*jjfJ]}%3^cвb9ՙzDpOH~L =Wo4 e Y׋ Fnhx7(Qyî3aQ%|k>n-0h7ʕgXՒ$ ֣5K :Bv0xߙN7wG74Q؃,G(!MaoE~M $W"1 7=>Y+([ÝYK1 >*LaN~v$EZ->Ā3"}eR)ӳ5;yF 靖^3aP[#*_nc3cCpRP#L&O)n#vE3$=#EjJ@U{ƺgkŶ%%[D\r( ݋3Q7#*AkPr%zqօaKq7>yXNU+gNkXG691] kjNկ/}tߨʭ qW5zs7yw >I?eZ0?d+faUyyT0;jKcy0FbsuQC (,%4ڷ7,ڽ$ ZBC-<2!)\؅)Btn"=ZB(N :~Q!> &Mޥē%hfwL1X8KڡAs^YŅQ*~ܵ\}Zhij'&v];@y&U sX# 6iyI("SFw)i*0y,W) ;<u2 '0%ډ\pJ+1_Ca{J9PjeL>cjѿHL-@J霖*ux-!^s764/KXܠILs1+DiЅ/72΃jI-I:޽`ϊ܊81({/H.@;p<ЄR > $pM#N4qrswO*{Zdκbx xRb +Jm=$|@n*Iv}UBS5Eڮ>-Zr+ W>` CJR {p8`?X?ڼt]jĻ\86M pL]Lp<$tᅹ#vbטSseZِ:Lʱ9G7VӉŒߥ&Vd,E}#*W?R/gYP(g' x Ql ^sx!HAr-3G]ѐJ>,6lb9;[I`aM4GWߦg{:ᶁanΜ[b i^m;G#qŴ)#=Ͼ"jI[&,T Tԫf9vǾaߵIoͲy꧙!jHJ$~xzD4zj9a)78JSd%mý=b^@&|e^5<+-VN y!yv)N kÎ5d%,pC1!oe[WN"  d$@uZen_&: ?'Vwtq]8vF< Ȭ?Qw:b`C :;6|b T3k,{83z%B.=ȍcۀCĽw㡘?Ā"+f-̋W{GA $W#R^fJt^B & %:,#UuWR"0@⼿v ھ+bZ2BI3Nqn`.h>" K-;ғ<nOa>Ʌ̀&Vk8Ӝנ C.kWRyZ~EH0 ڜSSa׊R[[xjmfY/S' %,G-P" 0$>P] '35O.RFV1M[#\ӭ ;uL_\ yдᶖ{Izl?Z얢\]%q #s* 3*4 ;U'pxy9itH{!^jr0>qʬe1F8HmgHS1:8I@fQ)hPSuZ.:-T׼24p !<"82 r5/–b3i 'B̰|ҊֹL>}_-QeC&v&d⪠OԳ"6tNH;(Tz/*mZf! vsP{-ڢeƯ1XLl'ej\ d])N5^K->$eozL6Z;=DLl%vt)?ccE).wQ; sr}ކGPڭ< EX%p3,LVL x0q5Z(zux 9NĻRN3WJ&-/+.fӨ5.f8"&G-npS׶7=qRH q99nx+c(l =N]Ա8LvrW8Vvn⟔NAj]||qqnv*e}| /Ѷ "fv}0utt8[s}z,j/Z9:GN@B!(\ >HG-Yk\IeW؂FQΑL as4o͓֞ TRRQw !0:.b}üH-)0v{c'~N~HikW1k+/I툌VqUO*qO*}1bn릕w2eŶ L?mc:wOQiIs=]'V}*Шu4eIFB%3Y庞"J$tAhwN6^F-u.^2EPqX/X+oEo9/*)aC `˂;r xB'i5(QH +M3X*VIvJ/B/&}ռxo:o#}p珊qpn: {nꀟ >Q $O}nDg݅Hqmw*M0vݵ wS=>!'e'Wֿ8WǪ)̩c/,QcVyr˱?9m77 _seիCPwu.0dT0S{fKY4Z뿂_)@5!R->f#r\炌0>+12ZoC׊B,h. s7C>*<%QWUX]|Q_Nץֆ%yF Ge P˳pFH9bڡE5շ4-I8Ϣ'[ef f^(M1zY?Aayze> W6TIpu(@6;skPPKө^!C+ӻow%{\Fxg4Iȼ~d[?~걳*7jq!vsOLoٔmEUKT]W\uR(ǖ 3d_?!=N2kMHodP <0'Χ5҃;P [β֜Vc៛Nir"e> vԃHgdõ7m î60`ąY.esZYlu PO8_=A&#!qܗT_Ssb.֫AUճtmeKر{kF2e$JN5'ouPvcƜA |gܙx*6 v6~͂UqcUH;}ɺTJ|>'Qư΋8s72Xm1=`WRtEto<ӂgbEL?('NƉg9Fk0Em+? 66&$8^d欠5HlMPS,BaCdr71lhhi1 Ftޮ,J^sP^$h6uǿ+HAT;3brJ1Np1?rnJzIE7ibFsl/X vU:aai_9B<.Z jhV+fe{P  &Qn˳[1nek}YXCUF1Nf? ȳaKD+? ΄pZG,tMB|WIs #_xs7@vd KH,fE:eir3L;޲_H{7͕+Q9ٻF!ʑH@k URdȃcUwOP5Q$uCU}\7 _׶5(lmPB\ߞ䅐8.f"tR驋^BƯ{>'1[PyN5=$:9l‡ρW@7.TK5jTd M&ݒ ,ONbPNM0ZgYZ4eb19a158b84c296d4719b4eea105bd0442154e261532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5