SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 %$\ ]/]HOL-Analysis:threads=6elapsed=337.286cpu=1694.444gc=73.076factor=5.027zXZִF! Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQ=I4Ŕi Ba]R+1|$/vi.HdG EkL0I#ZIer=7nNilwiŸ ʪj,BYk:)䐙갹.'r)_+B]-ïܹ\ާΘgc}k6j.!XriOR4t` @w-/=ae[o 9Yq5pfse.:(*=ĢE7{Cr޻2mΏP.Z!lq,p } O9QAY7J?b[Asc0@wMe ieO9qY4Nشc'8~j,Z*Rey#]mQ퇵fkܸ΀;T4nt:/F)ESV($7IlJ!ψR%?؎Tk^aJ4k~QP xN6ffK=egu-< /}ϫwrJ1-_CO4ѽ Ԩqevig z+\n>5E^AAP:VO|\ ͯK}~)rw6mhnf7VIڅ>Ha464 ަ8[@&r]\ m-}QgZG L H3W\zu+ϥ8S}ދ,򶚢"Ae4:G, AY F&pYfͳcfo(ijr\D& YfZro X5!k1,~!CNNdK2[By݇>"^Vvy' ~yȐߍL2BVH˺\0yj["HJrq*XPo]yu짥̩YWrvx]FRV0 p&zWj9SQ¤ N Tp@u 4@<̓F2BӭʝQ+|"sY^ 4}]ӭK棜A 10RBlV@ , 8VM -55wfd3V/IS(vbjvAY(N|ӧ9"?N3HmC60.8ϠÁ$t(-ƦxaBSÈ|uڒdlI{PPI3nZ"FKp)fe6fcLLxQs'El9yّ{/e_*bk"d ׍D0kbMY;%]\C|tFV7 0@8=;6w]{7AmG SU묇*GS [$ݰmrmƒ4f;,*zd#3P-Icx.hCx笜hI" mzgH4}[ĭ]ɺ5cN- պC 7hB -1f-^: iR'pozSj1B/TXЩq A|1ݞO5 5ַi<\BVSn3C1_wIں4)՞Mj" w/#I}q:Ǭ٤^&dYiMww+i8Gb㋬ *.0 $o.A m.yAQ?+h!t@@UxY!Hh6v8t}DJG^8WHTȩV06Hi5Jv ,yAV4,3H^G~!ؓg`xD-W|3L vU=\jLد@VQu [|:CHĹ-C욊c t%6yv}Sj\k9\nX"XkyVv. L3}~YCB=ȥǩH~sI>XS-5׺}KE-3ZU??M|0Hӫ'?cp)ܢAHe߬3 wb+WIGխ'Nx*|hV s{ѵdڂK}X=7 `3jyDG{A:u4K^.a/J+hذP,rD.PR5/G/ !O-O lZ2c0%={KlA7 8g2` kzt=/*$aBZ]Rpj e-=q*7Ϯ-|u)wM?R+g~'2Mom^q2&.U "{z>K#iyqGDwU;& \';(mb|kOe`F&+3ம>x4f ʔ,KɘکEhms{LcmE4Z,AG1 F0&. g١N[*vMu5_ 3f2'BbTjۺT/5F<$T)EG&P/:"1+AK eb4^ܴm85`Ѣ2dAZo7{$TffT1LiJg8hy,[+4lD܀AR4*LKTՇ TCjD}EpN17KBby>)g Rdz =~vYH'ORW$MyB[LDLh02Mg%Ԙ.dd$,7Q0OZ<"3촋1>z.?2pH\s,]@bE:H %V<F̉bZU[] tWZ~B#w N:F-7 V E[5zQ@ ]E&L;2t>2N0 |܇ۺ0e4wʧogMv%7<]&/bk.f>)>*,*kJ4;?M{8 8?oˈ1g̞,co޻\ 7_n56{$RC6oyGXS{E#MT费\quyb'uY"kȷId cx]:5gZnN4:1O8t}I@ww ˘'9s^Ԛ#g`D}x~{6M2e3 ;MFH`q˶KQVKԺ1I2!{:j^M kOIFDazhQ+!zpLbldCl2lkʝE+Y+2€E %3i(L=<%Bfw7lvg3AIH^81`[̇A~vU^> "꨼U(&A8/ ێ]ד];Ƕ6Mlo ǭ&m2<0݃7"Ab*`x@gE,ßq)[OQ0/6dt8Ҫe@2I0|j^A9v. qU>d+lvcY2{`q6 u4d#? nIO@'}TEq>w_/ 5--BP)SI̝9x<~cp^&Ѧe@lYw*[nqŖ縶4=|]VuF^ =Lwj'7& ^8#C=-4'6 77/'Ȭ,B6Pxy?@?=< ]xڸ켿5+ajJXTl_o{4)A`:vR.mf+& Tx?.rπ] d aLȠ;6WYVMVvyz6T7.9>mlk Վ1Ƈ =XB%u#>rQW_khqӀ*$Z0CcC>́7bakMe~Y 1r1n Q*r[=e`yJ&]F3X7!(Iު ]Z&,3)^\-O{4K暵$rzswBlb ).yv`ÿ́9W& ^ؕķDV͝N2"Fc9Ɏ,6}{-} ն| ۥ .U!n3 ͯDUlv\WR0#}MCqPl"DʲzӯKFu(Do!q\,%#7DsP?HSC6sKQ/+ZIaH Eq+ؽXbl7T{S֮K32L[׸-?d/xHX7عH[_lX\Llm0**!fۢ[-B=+d׳*(hft,=nx00t=Ad ,V|}E3lUϺjB&-XEF=ɸ&Jˡ5J#[R*7! pX{Bdx0)Iz/a& }İ^ٺEa b&ѷB$1-:Z[y|>~C)pbwA:br,IdhogQ}q\++ t%y eZU=P fBGʙec)3 #.) ӂ$0LojHڒf U;66<noJϩ}<@oW6cDT*wQƌZǰv⮧vr(Q2nh<ǟ'ӳrhLLJ̊=a`hmQ!o$)\ϯ`s PjEwiap5@ ^w#J{3VhE 1`0?XRສLTݕ ,PmXĭ9)ȌBK%IZe? V"b Y7Qȓ{6<5Bj{lnO-d]nֲ]D3ٯHfKgiƇX'\r橆11B4}{8%~VЦXZT-[p>:>|Pְv@$ 2Ãnz㖞Dx|)\bvt 2bW# qaM[' ".>9\Rz!6$> ߓ^yTξ*)ZuXyTd@8^ҶWUf" f,=*5|  Ӊ!RfHTYOV=k]j{ IWbFbLȴLw¥9A38uH?cQm4L'tc*Nɥp<{'wPqĹ`(Ğ5t0/@$@/Sx92JI}/l tĀ"-0l9"U8:{sϰNxhöt^!>ȯD~ bn]7K|Ǚgs::A웈`V@W:j2Ujů늜&j gĚ\89;BwLqny}1~xi)wJ@dE`y$t.O1XYF#-5;ɤE=Xr2@I.|rBN,/ПHAkK1IŀmaۮFPᇙ:Ovilpؗ{즹RA3-=z 4Rh3t 7Ҙ126 #"`aiB"7 Ĕ<_;?.w p'hennNkrug-Bb;dc}f RLdM'*jOFmDk}s@n` [VG oF},@O t. |hqzDbH:u+#Ses.%ɖ \V:N x#|vV?AZŪG(E*ͶyI5r/^vOoQ2~JfrCyoZ$lSqQ՚G=SȤ؊NL,V4N=Dz_.KicybBpMnw |>ʷzX˺ }8y\k-i,sEK̋RceŦ9z%/Ss14ZNsr 83OK]Qh~M%>]p^ܦ/A [?]4CZ:|,*6rSRNpPYM}bŊ`0t Ez&*vג~GST1r?[п\jDg?taDTmvAъ@qt8-~J4QaBAC ) \BBZ"  b[.ЯK̥-FQR=CڦW҄%~^.( *JO8owc3@pMߠ?VzL%ӡ[U*%p&aӀ sYQˈC #I[CÊG :BW] m[#":ʒwŏs=#ϒx^j`2-vznb[io"y#<|ZByu+K ]ʲ9$B mn+EZ?x-GCV| 9{-̆;jtѠ3lq5#4)C$z}NS!><æ&{]T/A'ڋS_k)}2|+n*Nfc$(䡋М6Ћ4$n)'o>CoG俩ɫRjLoNy=Y߾Kl"畎?5-BNuZL|?oX[r[b9SRVq=$Bq1 M3WK~5&~D.$]}c$ 4VSX|pԋ9앢@FxArM8k..%MVZ5ё.~Qqp$(exR-Rrq.YʲU+ΟeNJ^Ϯ6uiuLvRaa :u@bɋuʈz 9ez ұ_"r# ׳{|51gOR0l5&Tq@j ']\:Vͺ\"òvn]VT攲y/o;f#e EMA6!5ڃj^E-K&r U`9^3-B^[Vw.sMOpǩ裹&;FK+nje|װiV7/4?$~OB=qJaAY)ٜ( vsU/8xc҅H@֞CKJsPV -~/(k2A;Z*gw2!_鲣i5A@BEVKmum7Iٚ`vo 5_uU ' Nia4Vnvk ʩbM{`Ϛ} W1a\ 0(uɣ^iu`iqTe@ P0gg5X5FY(TE0zwYiU-bx'&{ԥ ~ Q&B{q=-ytŸ >ziW t+X>x4K?,$K\%($ӊr }C#?|5(Ic[`=|T\eoҖK6moVR!Ӥ[R72y8ׇu^Ĉ༹S%R&0b4e2{:%j h kbﲆeL$pi$! 8_kme?s~Jc;i< #,+g[AM X#3;XTx TPr{{E) VXr$5 aMɼ)F)Gq9ouk{~VqVF,ܢkƙ?OQ)I@Vx|lRjIu|p ~ C8dnf!vEM+Y73 rݫ Qv#3G^0]!nI΋a5Uҟ 1xAH{(ѵhܓ)!|08AHH$z 1^_e2ᾱ~И:!|g#/.$AYS5XK#wJqKwTߧ=qkףix Kcz@3+7*C4U'W@![i|">c[X@3\3]1KŇ ء5k?R.sfic~stAY>`! ˧jX/ޭe~!rװ@ffɇyG0##!L2Bmxy`0|vZZ;5SAA֧YAAES$K1e,[cQhĈӈt@p\`Y`-` _Ҙ0 $VB%X8!WՓA vFUAI hү3,נmI )UlLMmQx!=7vdP`԰M`uF:s&lu슩@r0݀.KOz> s㋃y_NwG*iFᆔԿ"9MrH> M3&6"a+gcWoD7>=ތUj;WDO8MX#.^W_o ?u$K_VF$)@BF/ 73 iB.Prܙ y݋ZOM9cKۿ')>kyP-,t1%1PqU=*6p>7pKgDo3c$NB%`BeX&VP:2+f-፪{0SW0$cތ͏.ͥ C`ׯEI"ƵZ#V7l)Άō1P\'ov&rCTŽ{F,i)Aܲoj{4s7m(0kg0/ Eo^MUùPVR"v}DsaÒү^+fD$ e= h-*# ;;!d@0D5 DpѪ|YC̖j[9F *IrVLf7"f:DGwcC[rɎ- $W(v{z_P4%}n'?qq;CaC܈}I#{h~h2P‘KQA<TAGp|iEU9N [eC1J/c8͕E1a\{!|k1GbD k mA^2)=d>Ɇ!Zdn |ˬZeTUo[GOdmtNl%P_oWRo4Q1K?`~4ӥ`q=tK[:/CZRQdrV-c}[/5Y$^nAGUIs1QL͂QE$ ^?{'c~:61~D-j( reEIфO*v-Sd޹\V5 F+~(WI:W+k m@lѥFaj;. Z,^!葑)ZwU7h;=A 4L #+d#t;T(zh";}ϰs'⮔/T񾮫;5GY*;ޯނWn /^o,dz)E{(;-S }Kx۹K`KpG-%S e9).[SȭD"1[*ݤ4M2K,Cxsw'H gNpԥh\vmRoDN'7U^1"j0>9E0S"3P?[~Z6 'H:<|"F9rӠKuRF7\/\+3q2gX';E. cNXgpA=YD8LC)V׮>#gb[vm@wOCzC<׊7#Y`(|J0KVJ@F'$P P{>mY;fL+M"(eo0SB*,, <gS u҉Mӹ)f5{5|nh<$o WdWob Q1!gN9А5rng4HՒ3^Y 8Řsf{ 3K+ m/4Q^YXFOkgg"<峬Ye^e7lđw'T!#P"B31aZzu*OȘ#ՄӶ,^XbHetIIAL'aFz*j9 WS)I?>$f8 五3^~B)T=1)gKX XFl@3Afzp EYP>ǝK-JkDO@V 9FҨv{5-U%kSvҗYNYÊAwjB1ۤj]NSQ$#9ޙ~7eIʯ*(fU[h wfo-mi=R-C{tž-cM3sV6s -F hS!Py?$peXjoq\,m03fs'PSP6'Lnqm3df95E< n&?[7ւt_G6?s>{_]0um'jA:iG7\REIu:қ52JM> P[1sXf 1KYD Zv}R\Ypdފ8822ņqm%y~9D{Uxpexx|;s!{5mrsUUN^-U쒗6.?8yD3S dV>{|bq$ ri>0bWKS|oHƌ0Ǎ6B>E5b'dvI۳Pqд[w0{bŒNdbYƋHfj-=-:;U(O 3+b/`0jϹSwПbܚ4q%SG^Rs )ݫ+F 3Ⱦ Vъ῕FkhѪɚ9Gb1I{[gP R_triKe+'ٌ)1`&aFEhk xs9nl}Ld#>(;OcbyyXٞG}37nka9cU̶O/'@ٸ47|cmPւ` BgVi9x h<쳦_C>ih?*}7-yc*Liebg~PɨIta;{|F8u:5$L.Iٿ) gomB+ dP5Ui҆*FhصgiKB|`i6&+i3mJ6j x36)SQR5$` -넶n32X>mO6vXgT*;d"(mWBqT>ǁc 3&#S@!"}8{3Bxj6ōqԝ & ?^e"mH;;:x#t?Io+,/?6RXBS꡸Pe@ / RSydUM6&̤tfH"b9hg9 p%Z̔jWl=ba>;DfYNLrlG3 @!eV+ iNͩBYU1jBJYeo/%,߹2MNdYFrMv@I.bq?F׳@qN9phXPg{5om6L3ET2{ų`+؏W53 0l M:{\G{yhhkL= '؜~3g#rIv,NPy&8] ׿ąߌP&D}urx] z=׳ (Sكw$rE6 4KHQ^; ,_4DXɇkH]nVj\A [˂2kiK hA֧0|d5I]@ `RD~JE/7tP[ו+ֽW9:egӘ#fa|m@fBmoaZZC+Xz,7&iBE+sx#ѡ+t /٪gψzt+P>0X^ >m[['GH> #?44[kj{eɷZ؜gu\Z\00v3/~ޏ>"4hDV%Z7ʚuޤLLʎ?n{@4C+G h@Ck 09asOsdft;u, &+z/dK?F,mY 9#i [9_z' ~WwN{-;[mE}>p/B}k7+ix!%qyΠόRu bhF6$TICe|풸nZR(Hw*r%gAKqۜХ g)So>=t, c+ߕh#Ӊ9E(n1j.\"KT"AsOC$\4B[=;N@I!'eGC?48wcãib/N $=+(=@#C "Ըِ\!{-C98RӈL?ٷpW]Oz;]>uŪ @植5~Z!7 Iڏh/ѿ`_6G.5Vx:*n)DV nQeW |Jq̔'C#dH1yr]Q_{LkOU=ᇚ?`#e^ZN叄מ܇s} eKFU8j c .g!dSʝ}:_L`h{ 3hjfdFMY}4Lڦ(6> ӀU7sDcr d qF-Mk F(|e0W^0͏ E%γ W1e@- \r ϛ^˅ AfJcqcB^N9vXKd  h#r2Pr768mgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4> 1ƅd14$\]e@;]?IӸ.OY4 }/ɹa?BJwFd&Sʮ9.^-F1AYj ׯZgzCѾD;b?,֒Uo,/ : =QRDE%C]e3b;G#7M1^BxkMR,3,bE:Va[ QFeͨL(T䩿s\ċ(eКL*}npCuĨr 3J#VQW(!Nу)oqq3O 8/'(pVlT<˱; {y72ѐ9qMxS(KoH/u6N :PC2)!rI~w'$rU&gfPVTvL{mf?f~@,>$A7j3 mצVPVaE iOZCw8]Φ#y|(tNL=גJ!#}J=yY ( pDQ'ŊX;sefO:Ac-M'aR dF!I z7qd5"DJM P{c$^הDs7qǢfy>.$@e?wUxP Was{z*8Nd:ؗhV${֡|k]BүL8Xn_k%+Z>'<+qYJFrv0ku儱EbI|_Ke[NotJ3W`粝Nvx2s^AG>Ѐm[3Ok(;(2 OED.i] "D,*a4. HWqo6S]">pya3Gz~sBl X13gyaXO?{C#B!.c HM36Lp ]TzӖat7fHרH-p񂡇w#FH1XC\QCi'(&{o3RH@:Ż8pǕ:l+֓&ƪ01J-Q SfOHa4w ּSM~D/ZaT)GюX,^ȭޟsJ1pupVA0BSykq=mgRY()~V`v#_,k.x:y$=bKp,hx`XW,Pݎ\js/W4*϶N+*pigtTVo9zKP&ث .W3U=[ 8rs!$5bFpɄrr `S¿h8 2[Šq8 ] *uć;k03Rִ.0G z5tuje69RR?9l>lṝ1M6lOP^iJqϺƪa-T6̀lGD4=!>M4M;PU/3Rz;24t75:JC!k㤞rMeUEUfp%/3C.; B,\gddQ~=5;.Ra%:^>Nl y%랾>,tg^[! gϺg+vb"W 03Is`@5jN7F$,Htd` !]\iOwjo 2 )= ObyW7e;Ғ<UF">wp'v> 2O àVY⣂TmwF!GBvBɕ%tMzO7; Ob9,83*B*2iVמ?С)LiE6㨏~\<:PV]:;\mOnn!O8;}&^W/ӼUul6хI+ŵqdC82O2pb^,ہTB ws/rh55`wŽaɺ ɔiޅp8_9F{d7Jn+ Vx~=+?VYA_g@^6A~%B#NBzigYZ7zXZִF! at]ŗXi%EZ-|nyT m}A )0PoC42oY'c,v/qv՘OqAi{\Gd'I \[hIC>c(&&vef"6c lvBBj}xW([֠{W،(OwKRc/~HyR"A@P; H0E PX.{a$;EYH.v#Y OQ|h ЙNIټ[-?!`G1=S_:vmOgMom-žMOYƝ70r/NOd Xm#ғn4YZW>Vki)S N~U@o2lف ûTQW$ f \z<հ87vNt4 (alrIJ)@#UD1} !O7I#FAqi~$jM ]u51^VScY8DD"T5Fo hE\s3RqʌIg":0.wN漧>C^܎->]z+Ie3̢!l:P#=u}Z* 'NDIPt)`I(<W}N1«v[3-P.؀Y x6t85T:Ov|zPT.:S߉""EژJbJHY࿁;fw<%2"(t|KÌ|ׇT hvŪ*w'aE,Wآ]C=Yʨ_(W^|1mF^ #\v}@8R5?7{[1S‰ښ1p撽~|'J +YH0-짐&,~y]rW0'[9QmzA[X; WEƏ~XeX\ڏX8N|,t V_JmҎ!2hts]t@CAs /Lʕaob+DwLmʱ rɔ('oV `[4A#ȵXJ?P'$ys!=?L{ʾ)A 2 Te 6 'Oϭ-q'? x:#ni˼(+JI0ŚWU^>K[ !gCuZV#ubNv v_!-ɡ#MlDa|*"ɤr.XחڼIrfB025ummg*c" ~c=쿕1m!Ha'gѮlµ͌4[!Q"[(thЫ/[LBitz/,ō:f9dFKոYc7$9kֽ~\%%MFrFF ~5/~p½G#ǭ8J2+m ۶a"֦~iBt "sYMi>dECcT5>HPY^s S f?w퍻][nڽ$=ÿGT+zRydwϨmhF';^'Wd ;21EbGzӁUޛ 4kQxF?JcL l=[y)= 'O$g??uհћ *a.6uBm1zCV3kҿͤWO+`\`*r c$8</r S] ҰݧY \Lw@NWѿ?D6*sc9;.L[R #9]LUnI-F/z%RCGH3IA/OGGLgr3/n5ZBY]F&GZxz[((i#fF`qֻKx@yŸ[Ĭ21fHTX*IGʣB;_)H@l4: >``KKʍwbrss)wD]%]%[yR_ypdynR.# wyb0 i&\ /< pTϫ)v Z9k>+~&D R}33vA91L݈x]Kfq{[kC"o˚ʺ D{_|魋' -7 |ǧ'T0 ok]aecեN(YLe}(l/L~sVhȱ(.-j݋8rdk;\<#DLD0(ɵN_*`\6ֵ Zm;nG8?:vzQ'5Jwά">VQMKLvT6m]SY I'VrS$5gKY%>4wAuɹPh-gu}30l!tY21nut $@ HTW:9F zcXP^SOGMNxxT|ʝU?`D4y*(GTM2Eǰ4aa Sտ:hƝ>k':u_f(#l<ʒo=n{Hsk%F5vF ^Rp{3Ɩg4DZo׼;  Vn~}yIm5i)s\Th~-`Z6IJ-x9&2[XFjx!}\\Rݧi9A:*F1q"Y+PQky.kn_7c&o.1_0ʱ&)79BˆKW֟6Jl\Q<8*~SN0v(qKW :BA1b)8+YK3?:VLRQu#d8ɬ 5Y6#9sݦABjyw9ъl0ikO:tcFx*&vE[z\Tonh&VW';7?n4b ".]e ׭6^ê_nx^D1oHrN.s2dѻR'sAlUnjX>WѝǽsI~z]>cQ(4~j|50ސAr|A9!ؓ#N߭ Oץyo|peٷwںht+~Tmqkyv@m5![a/͂:|A)Pv%FU }AtvtND4!p`s-w Us4q,m~w=i>QOM?c?eVV&V2 (2ڢC1.sjNj\@B 3d:1~55Dnr,@n"_2Kq"r-ߨH=kJmq]YGAb ZY/RMV6y.ȑ0/X,h+~p4I$13&؏7RCoRqwbYf*d?\[>i]ٗ <\&-m\e) օٗ>: Yq4+q'SIѪ=iQ}5H7iP4B<).y8N)ظNͼPW OZ-[PrC;^fUsVA!'f)Bvu!V&_>o 8|dlYAlj׊h{TQg aD~+ KzrN05%?w=%+mkl*i{`bB<^.umb?t1tO ãK>WJHcq0Q˭e{š/='}]NfCBy@8RjXr~A5w.2Y M& pI |E&sk{'5;yʓ%%kP젗e$gA21%ŜbM4z^ ?▅J|0g š5.3Iz=wZ+ 6"zOȖUkx-u\ܜiDEu^pwTPUN˾ߙye?8(5._yvl ]ļ2(H'KYԚ'^z 1u &eo?͹S\Y氊ú6+⩍S _? V+ ˹@`ހi]s݀(Jnbv1;`$K,X?2?W/ݬUuGn"T ѮaAPfzLpӵZ^_ +İ.WL nsMT!iVp򪟁$ XuYP\qa'F!"zګǀ7wrź`;ӥUx|X%ݙ Ҡ=16IټUIU9h;(Z v/Anot$\ʧ'" !Q\2ĸ\߁(-1᤮U:/yڱXohQi,`b:Xv@5} (de i2A&yBHUZSQn- myRC/ʇݔk^9.U W߭ G"Pcs*!;׻Mx;aV[=!,V& hTڡ\Fl1&pއN(b+/ 7!: ݍG& :\Т6  m%P]ɢ9s:u⌮n{k1Djp'K&>&JԣXD'u).1\d!"͑)(MD oN4%l p?^7#5I8lX%`G6c$*`Z6=,[Ô,ˠFZqʋa.iNt>ĕj$%{ <ĎE)Aܦ}5X)CԡiAnBirbc?Xz*Of\&ikѡ/KMuz$)cJ1rP031krfOoC8nL6YSu>ٱ_lYMB?h^$~lsX޲|"ux.8{j]`mkN8BcX` #H!"ٰීwkǚ=t$ڿ{\ sAYBgebO)ڧ ~ུAUX㨣0deg~L"eA?7Ӫ /IPEEb5Uݦ=cp{]wˎ` )G(:4?¤bHc TJ PĨpn8I`0d"#쩬xNk`YMpi 7PǰA?6%iNێ~jd qOX9۹cYanR1ſz (A*$t7WխztuB#'N$E:cb` Lg;VmZhU_iDЕ:.z^PAP*vDCOiB󕿁zy*ϱ=b`r>)_P]~ .m?XtFi+ X1rK }piK!aמO r#/\$iT`܀4o>qsPdۇJc\џ7whx$3J` 8^\L_=!Z0*ٮuqt~P^CF1O{l,'-X4^)EUi ؘ'ځR!AֽE, Z y {- b`g x $Y;,<lRorl@!5}.djmGHg` VrNs,Y08~oW\Vҙ8ɦ\-{c%ree_/ ?=N ? WeʅXxNA¹4S@?d/zǎ[jqڇKnrHIK>^ܑ K?*kFs!w^3)tFm< n80/mdM7;GyQgJҽԸ$Ŗcʨ3>Pݳa|c8Z59h-@%el4NiCrcoIUWޞ$|kVS< I֞W^!S#Wa>pn'Fk=+|OLTtyo1 v)DM?C Ёmx{tR U~*6 1{mO)x{񧼢Y8cvU?pb39ng2[5ҕ1Zd8ÖYs&&ƶ", n.z#>TfBʇ.?o&qp5RZ)C7Thcg4kޤ'a;b Oi>EF;Bs-C(Ňŕ߲g_@V,X)c%[;[kD֗MCXa8EYgXK>$K@[pF,BhIW*[ Z̳{gx}Sr( !QuIN~hPc橥j斄7YCP̼/Μj1 &`a HBaniѨq*%RyFoo地(LOQp+x! ggCؗ;E\=7Z=f]ܺWA>ZτJr)^PJx咃ZǑ02E⓷ =ХmhҼwdUV PvY9>3.qJ6o*g*kxZGlVf{"@*15c,<(ڍ ˽Fh>Q"[1h~83Ǎ{*")X }H)hkD@D\B%d,vVZ3A']!o;Z%љU'F`ˮ4.?~7!{1'Okz l<}SGu\.?6, k',H2LɃL λZܣX~zKhuyD]-yq#I[߳ ӌÝ1Q2F\GqEPN틢;ʡT0@2)cXAQroV. {95iLJ Ž_:G;wX05x{DB*ZX2@NLBɟXt0vӣ(zPWӾjCmJ.Дѣ*kS+shL8oBqN!tX `RUע&RZB+ 9 M7Vh1_Wqзr'R>HFŤyeo MD>&/wGG3RD ?Ŕcm~4 Q)0(BLc9༎ԩ"JB-%Ω3':V.+WG 虝z7EWʄam; ÛYyݷxx\|l{_A}:tCEl+rBb@T]gA+l%5:W>BȓH Ä4%_]̦pڼ+6m30twLHE<Eqcr淲|]H}y?uCc${D seeDfo0ۉTn\s"6|XQ'g6`;ّ\O??Ρ֡P:c7-JXA4]$tĬYR֥q3qNo@6GN1t3DK֠Q̍ ǎ]/wpaeZCa-']LEzK:"*8"l];؅dN[Bcv.w.c\<ӡr!g mW<У3t!Y|SV؆ < yW%z[~(W'|[I񱸩o/O9cŚm8 (]k%({meLYfPz^iXlʼdkw_E(`@-B/"6\i|fPլ)L&m<'{դa]g,"5whyZtWA[6He,)|5|3wG}=cg! ҳԨM$Y[ Fb^ƜZ WO[2 JoFz٩$nSZ B>F^ l7͛y#F/ @Y}JGlHYg:(5h@W#jq}C wJ6DZeRM;IC- cMiJnt"o3*hWW5&%WJ}@ ooF'aeK1S̰wPbgL~7ڽpT|h`[6gB?`胂|BbVCG5/Nןkl JĿĜ3֠jt^$!Xreœky>~,"~[j3_=OmNA+yn=QrZ"yzԻ=7Sp !MhQ:Z߰"]ahU}ÔlYc8ȌB|w Z23}X:#^`pߦNKsaVF[imVtBÎBGS4vxfÒ/6"^n}  Q6ط*8F9R]t XySʇ\]ҹP5 q.t,=SMswc~&Lښ])WJ?n~rOt?m[R4}G}-Q)gVwWq3",ȪQK.q|EU_imT Y}%ݡbDAqDc cqa@5 mC QJV>bm js>Nb>\qy6tBܭ$Leh0v=K!k%fyA坦$k,7P7 FmBZe&Mn`LLQZHVgҭucg{sІ\ZFK.T6 wT|hEfF"."Ċtybu/TAA,]:f WO%cbFpm=5M1sqfxjl)7RiueBI}fT:BzɓNMoH]MX,e~f`YC!OX+XUXnCAjEÐI`\az>t!TW 1Wf# KlUٙ݉[{E/0 #u_$ 7tۏRdʙ}KXwXxq6u,GPkE'YH}8_ń] W VAa8G?R6êaܵH*JzyF(8Wj|#K[ƭ$Ԙ%!7iaMXG=#JCu,C#Mn?#!؜.) 2C gU豃+ ~lm\H % %ͤƃ vec&=&c);N39N|;+f_`ka5G)EoBj/b=4x:=ݎOS/Wg1* mJutHb45aĒ4-G*m5\ 9@aF8J~7t )2*~A+kLJ,lP _&GQ3lC3Meڽ(-d7?jwdجy5}/}mQEz֫n`||DF$7!5;҃Hδ,.N=0fٔ}&{u/Ƌ_}H%u.eySw#=&'@) Jo uجVW'"`ÞߊuX R3O3`>ت% 3V=\V>NT: ΡF&Au}B_MܴY <# ƲJyxt-]Ф4=(̭OP}nũʞQ:c[M2J% D΄ w=\LXMaWELQt&.O5譩HMDv ?eU/l{F'Y"^lp'JB`.^ϠXWkE$2Q+tN՘hN$߰䘼}4(%6'W~=̋Mn)B uȷ?^rt)!DTz A; m.$TJa?)Ndm*=oZN_&UAaXްE/<Զm)$/i,VB+Q٧ٸ2 ' qĐWtT+U\C?џL;=TָSؓRvb]E$LA[@ՓtC~=Ƀ̟0oѫnȌ)*#H,2Z~pJ쎐ƒVǵ8vRū9Uqxl1zE(z%R _pNY1En_XjZdzC IV|P F0V fٸ $&(q4?x#kb:B jѯЈZs1Ybԟ]zS #S={е_휥Pc {zT# 1U5|G;9g&g8N/ﭺ0oA팋(39 ?Yzhe2bq'vn;U[:$oPū}|grd:c"GMw/ne }F 3c퓴 }fw_}+!)Glêrǒ MQ ok;v A$!ܓw=]$VSGFQuך,u{ Uf =31ټV+SQ ܬၺK`aŭSRݟEq2` ]=XY˲=1?UQW4|@75VM| IY ]lss6>sjyȊB@5k#qC mft2Dz$flOꘘ.(bץ.nͥeQ1X)?(z|KV/6 ZIK4 >LO&BiUzNA3i;7|6H$exEl Eun廞s$j/#Mn)J4%$w\ɛŌ> r5һF=D|b5=@*.H^۩0R/&I셑zk-}V9)4E$Qyvp!HA VFB?ǟSðJ>Mp9fH069qJY@Bx58*iId ϱ(y8pHn [< ZOȥCXr.{8nNpX QP$8CABH q^qTd ozk }q6m>zUoFv=\p =w+P)5Si#W3ԁ{I2Kj)l( N{^YR ¤BQ*kbp>3CC(ؿ+̩SޯW&)5T2ʹb~Y[(7I078cCYTbC KOaYM!mGv7}cAnmA\φ+8 /X!7a嶷cc6?C*㒮~pa9 1w@t"H S+EGZ)$% lbdapkdz. I=1-eKVzI8JWF{;oZ7N0Lgy`5MyXQÍ܌UcwSSiDVUAF%wے9^a]>+WKQĻH5E@W`Ep Ю:t=9Ĵ[LF4xsaoYD[94Q($KF/]YċR.-?!@>hfԫ=RoxEqo2wԈnmRLt*=g'#UFa;ٔo#rߔ/'ז3wjyf):2퇊\($rD r !x]S9UΖ NaSYYd40NJ^qznkoT ďF ݕ>\RCYF[1JmX♾6sDgGP_^is(I0 Ƹڪ^ncKZ70QN6d|SX,`G2?nW4~m{Ebz ۺ-K՞v@o Y$Um >G? ?ΘUw\'_%6+Z Umd?1zcExd2JETu0(Yw0~*'NC#d9wp촎y8fKѡ Wö;e>~[|y tu ,^4:s;\-QV4 9kruw]8kzza>T^b[iI!9Nj/5ZAeU\$4& )"t (oMe,#.u;}sYy&1%J4[ jcIH!)_ SRBf!9fTqV`lQ>KdCLkn|QGZE>d@tҀł O*vROKQȟ;^:_33_㖊uѲMa?xlXW3Ast:,vQ*̻ Hgaò.C!2ϔ(9,J3%b- ŋbqTCsA<`>{u}YxЂ i0(N|ˌ\{ \R̔RS3yjj\`F$Ko}j~+ !bрܻ㮒/uv(`ɇI5skEmiH+Td۩Q1PnOM /ֹ4F`<Dc[v\_%>.8J@狠Uf-f۟Tq@V3MDʭXZSQhA:,ZM(Ykk> OƤ<{{l5aSG:Qؿ!|@aG65w4SݬY 5,ȣX(BmӴmQE I*nhd#) X @z(f>݂)ehΕ4z9Pr-6|-NG]Q>iXi,_JqлTg ([mDMTDMI{,~Di@!Y790Gw>S;/ VJ,]Y$q^ab oQSaexėxTε0ZckWVἯ[m5>ckdaVOwxsJF,s64i$tKCV+_[ZuΏK,eT;nj/MT+&"ޏYC:- SH5nM,9JU+N\NQ2ZrH V CƹA2'^ Db1[҆E{agIW':e&5Ix1♑qSmp B@`'t#t Dz7P)x_WEoWپ86ʕ9q"&(j 0: xti4h[|?Ţ`W;@Bq('&KWbb?Ụu./4t+.j"cxX"]Vͽ7h0% 'hq-84f- tF xpX |!(Od(N>YU:TYMS2~ ]jvF5c"@ЖSTl#]>QxuK*ǘ U.brof[&GcVdXpwn`=N#^/M?rgı[dF#%{YBHEx/`;MnhZM 6^&Z ;Ӻ #CDWʃ9zA8gEP0c>0ږHiR|˅Ap!v(%EjEWErˈat])>"omtF*zU^J-yGٲP@Gcw)1o< =;mF0U:o`}{y œ,ڝ_'vsim'rL C {\^U-kf"Q.@ iU) TL_r~,a`٘8AD>y Zu5Gr]Gĥlsz:jczݶ݂Z923ѴC*y۳8һij]EBpu73]2~<3h2N lR'jڱrґ )!=&UEӚMi]Yr?B.tO49t@ݶiZ bBբKIUbym:-,@K'UPڙA 6b G=^4vSjG7A=9Z2>>9(ex\C=Y ۀ#P,^g^:Je.2[2%,p?u&o?ۄ˄:Y:>hY.$Vxi&IBݤ6'FuYو0 ߱%i)b!kʨvk,u6q]:Č6=)Y @%L+y,@DJGp$g=Pi'߉m *ѧߋ |'Ms FQF"z̽xGY1ɋJY2+]v$'>zϏ3pAjB-ȩ}.SP=ϷʌoL35BaqlCýL_Ldb` e-=G}(Z1M6r&6[!/V$4jYy$ {q% fwחB6|€ R1KGCEg"K~]B,uTGn.Yuf2|+dRۆ  Da1 UC a'@dj*gPCҒTTlFOؼcvUӷ3@6U;?"C1=/wtIݦz=WtBgψ;=JBU^V0yh8_>P<]dMːmQgag8 D]mFo[ -qbΛqIK.fnz1g*,> s Sxj%r['X0@ۢ& qЛ*HDv #禢"Gߘ>Z@c<+DVL M/Yɖ[CO8EwӊGeABqLuz(D]d8E84>˭rSт9{9WQwRKEP_ƍ!zgrI^s}f1c3q#^g/N5bOKrO.zɳ/LYlb]d3TuGxFn!fj1[ګrQFVi @8fmby(=?'tzY&Ikq0ołt sŻ ~ff E ,qIfv۲DP#FoJzSaW!u})JW 1#;4ZۻhXcTIumRͪ )8+Kxkq Ph>MjU~7ƒ ~uDRźZ; H-)^9{:q|EipPZ?^-rdǝS(8weqݓ@sW1&ИA BԸ oOcu!GOy#&cx< tN􅨥u6RM]GCd[HD0h. @LBibRkso<s UE.Ɍ6[ZUF "⌳AujCW[:Qmx J-~.ӯqxo#!0.WWCy T/F Ng-| [O )6zOIc!Cw<-md1XnAB{4@ot .I, M9#CbaOvvmsz1u4k[7&_?3eQ œ+@b[GQo۩R.Hi*em72]I+f(r%wG~J9vWbY?qZUnudš4+JtgY_ט +3w]Ӡ0KmnyW漪 9j/%%l g&_QNRZwUL\Iak&(Y}z;3i5[z$T3*hg7O$K+p*RfEaM 5t&Tg%ɅlX>'SFgOLśQ5xn )7 *Q&^}ec!  Uy[Bv9QuJQȗ<^8ל/-z+PDQ.>'&4Om C33s>NJ9hhX@w%`f>pyGbSH]H& [ ?`1%/Pv,tcB 1@Pa*@cbQFĊr+vbhuét\w{p.E`scбPj1.cam b3c 950 eﹱp&2BG[:_=.xaP'Zb@`/ 'E+ˡ ԙlr~/+ZX>}' D4E9MUUK\|6FtA4pHt)I{n-i H{6Yfn=ƒ6U"QSG7ꮓFһF.xҩny:Niœ7]({sIu/je9؉/_rX~ xG5д:PV}&g>!؉Ud>`OOFG~Is[K^oُ}}f`'K?BD:pڤԬ7Ulݷ['JK4_:{1x6*Eg/_UT+߼e݀Z(>*`tmߖA7Y.zؼZ:╢^V'xcB7-p|e<}8%"M<\tR^~[@I؀G|AזŎpO6FB$N4g; MּY`qOf|'P5Kq^Kn=]sU#w騠D?B#KRFN1;!^ Rs0 KS}cc;()lQӨ Oua3)yCJkŷ\"*LEO4Yn}8A^5]TdgR/8|9 tE9",h9wϠ$A"S I<+(> {.C0^nXHc,06"Rn!])0@ΏRAu9xZRE,/: AmXԖ&4+g|mY{'#m٦.]gI9@-dN3T "MިCsm1z#%?oĸf9t~dD, HpӪT)?3P8[C3}VX>RT/xTt+]=28G&B+JO$-lqΠSvp)5`Xݡ~Hp'>H|_g;4n9D4eb_iZ|1l YrEgHV97{t2򷺩{mib:ڔD΂|U%R/N=mY02gFX3~;N|p>㜰&e/ +?)cQEj &*VKw=4NN !\%ԍgDVI0OLݱ"}' Z KʘJ@2r5AP]t6ՉsH=4I,%&$@1WϓfW\~D|Vܠ^I] |ކ-ȴQ/ֻ`iVQϜQ.HGYͿ_jwU>>''~jj0M!*, Rwm>/cg3i[13]BuUoomT:"LWG#eyqwgč;>½`HsMk PY2:|IE%,4( LрϥR(X S2$5p~"q׫0%~4,,m XX-; S}_E[](V.К'=|@9y4lgŽu-lH!pܚ XA'9>U/zd95헤N,7gJWY8@bklo95niIB / ƴy78hc d;wSgkZe{aP'QQX>GS7Nu(U .#w(8(~nj١/| zuskctku%$&.MXK@ϲ(al3XSBqpjǕDbvgDV٥Tlp0xÄ́q`8hJD2{Z(oNSuZ!f/ӘCD,[GM/M$зz"SFN角)ҵ둬2SQ.afs_.aEsv̄+uXvzXHM[42tw꛸k:k,tbƞX;j׺;Ĩai;.Lp&aԨhh6k22PVܻe$lS>h:+[["jl)Ri낿!W$6/ EUQ'X.&0Ww4T/oD$G k y,K|5bEȴڣ/bpx7Ԙ x_;Yho/"6{f)o4:L| o-BB w\&xM9D T G 'rUt} lt6 ːؓT/*lkg3=5H҇Nz럥R W{3E.*ݔDѻ"(qe, 1a; #01<k3z'sM|@LlSpOaLO=§!t_tsI\*$L+,/^e@X3f-GI~(m/BعPyI;9nߙ!bpewٲGS2οZγH ewbYA%x[1Q*t%\BJ0$֏Ƣ qfMy-D'ez]0<(xժx?Yvo!@OP8Q%u b@&/JH(f6|6=xgXwtc}s$8~]] S9u'Ѵ*\ۚ uNTl1Nz?ۢskU>PO0. JH}W?3wkIu&q*-iQS/30U -: w<6oY #jĉym]>zPJW`^Hģ_p[0ƭw= :\HaIiSĂa7p'fΪ,y9X(r[{}lI"wGL.r0%W$[<5[ҫͣs~h.yZqdie5[Ɍ&djPK5D;F\1J-GeC3oк'vT9`j؎,*vNH*-%Fp3ytW7gj+b;'ՙW)rp&Pႅ%N5Ñ\ϕwEZH!/CxxTl<"7fb<_ .$ͯgYZ24c6719235a14b9badde44f3d32b87a29f2a8b47902b177fe6aa9d4842e92c5ac7c28e0170601731 68844b2ed9f5f6d0cef127c9a9b5cea0e1bfed333611062bdd0ecd46ea849e9523634f10df16b9f4