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  d#d\T ]S Psi_Calculi:threads=4elapsed=372.696cpu=1200.132gc=23.180factor=3.227zXZִF! Q]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט3ʫђW֓uvQYber>8]o#,^]ѡBYqP6# NW6N@~T ɱ"PwJ,Sڨ?$.F,gAYvrSmf/2"ŨW/G6n*4%͡Zf=LM1#}1 (͏B ! y䗃Jol ;뛒){ ,d`)Q~>y0tv3nw种I1a.;BlY'u ėz`g, ;fu*87mi$ /-sHIYxI  c \Ζ6qIN ? sԑH|1^|LLjcuu*LV! # Psi_Calculi  >2<*#` ;DQb;|#PDadr-N ೙pV C$T{&1v8o ^'7!q<+Nn+[9tVA;oe3},Frź#: ]͕;MxHI}%. IYz-7,5!OvOH VNC7O|~Sp$rHf+@+ c-M,jzZ\%2l p[J {0bF F@ƻ؇-7fh"[<4E <WDBOPSrsFpJL7MDipf& $nsRoteǚ./Z6An@b^B5;ԏ){,&ؐFu)mP}YԥxyF9vwad ֋BWCO) :X/Z>=MTARɒ,i7ڨLՁ ٱ5aUWސ+nR(w'M9\uB֐ON[Ufiɠ]zT6s7}v6  k}Y=j4P<,0Le:47Z)ůɪT> 3B[=*x3Jc fx}s{6<@^p0H~)Nv޽:]Oҿ*Y/{cJvp0[\:6ۯ,xOz;N m}[2Hr곟Xn>-[D|;]A- Y 0 'ײ6 (hI!btZm k8+2r͘zcLlM}iȼ' J<*ЎfNK7mrOڏ>#~cZ\*|- Oec1f6CtzOU0JX"fp I`Me;-Kao3_MbfB niQo^< &`䉥ÌVzjImp AHN%{ E`]a+5 ; ^b@< k2`87[^1laG}QLwwvjm6ZDhBLjYyl 7=܊5$?oZl ! ?j2ھo{˸_99;h/my\ۓsokGenaFk+apPO2ߓYzT&- ָ?.r&7iV03l σUѯaupz~f^pNd&{}4,s_h !<.{QߙxCL9H1č "rC%%m k O8W'GXύbʍvFKDm O*)qsة ![ӯns^2(V4?vM?9U| Pys?!!Ʌ`&8r kGU%dh4gٸF'D=!^tg;G:w*Ӑ]jKE!N,I\"EuSv ,,DÙl3ӽMAhr ;p jKy`՗MNٷ+B./?޽mM0^־i̹ڣz8C(s?ϽJt._P_# bo]aN|KK,[Ty4FBZ07 UOhc Y+^R~d IB#'H6A(srE dZir.Ns4u[x:<1rrzEt2UdFOxXҨ['sB2V2I]ެ,u:}^uSOe@~|+'#+6Xcjngiؚ-@QSE5~'x'$[.hngC S!ʵTiH\c>f7~(|Mb:壘[u-"p[X=kvI*):AirLל:Q$R-\~tg9؁/:JiGiGߟaҤbǕ1r-F"E2wh]X@Tv2 b'yno LaSWbH\[߼ґa ЌZʺL9>>5ғ&oE][)lj#_ɢX,ꧡ<&.q~TIb?Uzh`e!@Bj 9鰲G63OrC/p5t4jagQUj:\M`‡!9L$bXMҳ0xfԟtBMGK <|0aI),9)VqV!ic͈sҫy{$KX <4ô=Jv3'AG"q `ts*~Z*hs \ەh1ZXa װt@(]]0c]Oeu^&,n9 °y {8Q $Z4qs+>G+{PޑL:n P`'ܐ&w0P {,`"GS%Բk9Sz/O|Jh:-8> ](E68h<_%>K :ސn0j㓱vkc:W ؍U:^Zt:A'/[q҃?bkt2o!W#E9&J&m)xr?=2ı-s^N{),w)[mvEhz·6V\m%`:D {PI8xv_ TpCr-.1j:SJZUK5Epsi~L_y&|>5'9[ Qf"jmW/Mu*i29~션d]wPɂaP6 cl阩dFHRŮ"p DU9@Ɍ2"Bw!9qw*wW_I䔑AYU…)#oEv=k5 VOhL|ﰺ 9 7hHfƪ4´ť ե [h/lF*4Y2LI;6Or~4kŜ05ol`aD~fBrBF{TɫO|MJTUĉW^C_=k#A3϶c,F(tRvg)fdNۢ\H9E=Dhivr2P +d9up*[HYHvE,G]Ц#O(C. ɓc@΁F1`@aS~ڮ!g:7y#)x44i8W0L V z;yuXN20N0whu0~YZ6^*Àm?ZMx}(JߟtZ Ovx*E[ܲAď85eXx .*┙]ޢ{F!ƔIN8Sz=AF//jJ?^ #'i\ag9EMFR(a]fMim$Șnc-o}+?O~HjnO9qV. 3ze7M&앓 ͔̍p(ŧUB=!AOAO^@9 9#-+4ۙB0b>b?7`\@nG` 9ra>_kTOvX,*C߫Jxsnn_+YM(k̳9pyp…<<`!l}}yc8jh?2!jT8,p <]BlsSYmf*in~])RƖp{ehM3\B?ɞlS)Vc?r!|@jB[˜pF;BR9P eBEYfkIg!ipCH=]I: @kvNn=ףËgYZ7zXZִF! O]ŗXiɟ˗̵w'Sɺl!\d'Gsi _gScdOxXLCAՎ zHNKѰ𒴦!_}`E8;):`x&^L(aLaݢp.CBmuTC|fWdw ͛R),wxbO6JGΨs+ v&K@>Z]8&!\'2RdKh3Af;6~j= {tю<]ØǬcC+P F@GCSP}SE\& &u1VTNRxQb(q쿕;ڴ 7J[imŗc(Of^[ WbyxH_0B'dx8͑pVgfcQ#h* z? ƲulUZ[IIA1*aV*\#2R@30,P60Gj*]@UdPjOS*35^KqvsPU.,~E:L[ PT977ȟU|s%/6glXfAM E=Jf1XrӖ-\܅ˆGI$hMv U`l[8+d|gYo*#)"kLCO*Vmc(|[ $Pod!@@] R0V,/k1l 89˸&X(K⭇:tzimQw.W|C- q 5xYm;H228ܪ 0N9W0|%< <%=.][Y\Oƕzv>>Ov`'@o>О)[zK͟Ǝ}%h,Q͢Z)%x8Qt 'ğ'`Rh\&+g~A=/yL[\MrV5Bw^'exl⋓a-2 H\6>3;N3j)46:Fx~rIs#V}~H۠E 48jX$ c> g |'I(!)Wu}$PtZޡZEWrY)LPocذp q ff厼D9T'XUI:g,IHh c ƎhO Vȣ:ȍiuJ,ƲwC4bvg)CEv!F pnK.aF- -7ﯟ.IϐM,SVcb$N$zo՘p38zӒϕJ|A'(}!dtg65V%LQgJ &~K5M}{'&O`/>*A S%#,P:On$.jmya$^B)Y :.qXVD-N>JQcvU#v@QڵuM9:4*0^_}4Xkl`] KJo5bnq9=ż/i^\q9'M.;R#RR1"p2 =h.bv4zQ.=i([5c Rt> 9;Kbo^Y+Zc"$W;>x|2 )6"˱~4M,1N}dt<ԃQH-,t؂auiUl 4y=L:$cٓ_\(dfUbՇ!˖2S$Gp0WA<탰4c"P٠JwEU tKmis,U~ w`)rk+P#oAܕE<-[K/ J+L 2[=4f^xϙK6"l:ak@LcT0.P+gT4..nwv/FVp590fD-鑦[{dL }!D6i~ oq%zRű(2 = `EA{O.PiMUdR#D.*¬v̢s"Obgą:¿ún! OZ:@i("M ˆ!Fc/5&]kTkrJGC{b+oJa }찖oJ+7NJ/{U@|Q:/z>8Ceȱ^?_t5#|H8j:_b63.-7HiY&s &xw{KQnȅ3Z !G2Za'ߛY4^:\cghXkze`XC"=4ڰ0KMK}#fΓ_X`wyГB 31̀ǔ4wD.ɰ bo6ʧOfǂi[6}ΠwV+V̺'sw@-42p`<]M#D]L"y0Nի{+X8~wPŖRsn7 ?{A~>_/4m IcxD盪Md4Kڤ9]RWY<87ћMvls4؃ yl՜"RW[:\ g |d:DH8Wg};:?V} BU mB eo9ThN}'~Cddg~>7,߬JVvɊ.t_5>;t;$ki0~:!t#lKlʹwDp jv;e%QLiivzm39Т!V1'lQiVVmmcH||ޣ1̫@@vyS~pQHCMk*9@'UP/&+,)NjJNn,0b[彶~=aA?)llBhQNa I`8fZ9jH/M<ʽww.ym~d *FĖȻ7N&O]#%3eLtVsmxX8B]UI+6gv )j+x{Bi7< %D\7wHS޻PJ`aPl,eK*;K>YWM٦knI C a]`*Wczs+"(`+LXgD9hG:q[T6x5e3wFd.m#y\:2պ5>My: ~]5a}uDY<jW׉X>(0JvvV0+qNLdt3k:3X+?pcqU -LTO'/bNA`1f2LZXȝֆ XU+LR撑ct/(9~eR։Á,A%&KU79$4܌a2.?Zw& B-XK׭[*B:ufrd2I[MxHA[Rr|F2Q]"6/}j3hpc2]`tA!VWYP}kA,bl pH ?}#‡kG-q]st܃{V/8L+D=_em%vGYjEI%MZ%/[ seK 㸓/WZy+ӛSX]+Kl:$єNA3c Jێ/ﶒWn:"x'`%d 32;l'`_xb?O}+ _*'i:^~uCGYQV|at\! \eg5;X/b%,H xt$BF>SBB5_ysj M,ʪ|ힳn#1YM IbBߖrfڭ= " ҥ} *62+]WlgF(䖑J/02sMq FnܗM!̦U{ׯlI}=nicDix,l1md0OC s#e55[Ez^3,Fr-{ b*X;(jMͧp]1F tB93oj D\JsiRs"!yJ ܤ5O{HoxhW m0nxݵge ,bT${J|^X@hP ʙ}Sd"IWE [\8DU;7R)d1r! w4ZH䘶A38B0u}}21cPa-?;ZL&Q[ YW|PTXoQtiiy~n 7l?>|D͏7J͠v}s-WxOiq i<3Ia+|A;˂V#`n sf}F|>WNϜqOAfTJs/UK)nP9z:5}艠Bigm#>-PluK- ]_y5H"YxI@-9<\H{\;;+Fl~k5lh#ׂL$!:VnR KcF<գTz]舎hm(EGKN$gx}i.B`6U=Qk8L~n]Dm A]WgwYiAq?\fCS$aю:816z7,ŘMΏ׫9ŨIz]*0${8t(v~,cYdS/o̫xcьsK_A:u)ǽb uXj[@%~}7ZvvտhZD`Tsj&'|g-o$h ҶӢpA?8r$پA?_Jpr@z+4$!TUJd9L㟐kEi;RMe*Ģ4{l&xi3LIŜ}E[a `6V3f dɌe`mԕ<a7ш3_+?CIk`;5+A @yBE4HBe<5#}X 6`ۺ UQ֎wa1bM3f.0^}58x d+iO-Paa"ν]f7o 0 1MbdHNq+Ky68~TBL}Oޘ@fmM\`jX`TΘtgy:jFSpM+&Bm{V8\=ՇHӯLttbE3}5xϙ +M#'"G eGȮ648x7C橪Xe%0d#=ʐ4*suLdx4LKq?=GD7z96zAbGSk^|vq\NbT DXK]/D )MOt>"+T_L4aL \M'7   OS7OG{Yme0_٣KD'ce/0m/^')NJ/1/Gu@nXp .\]ݼ&ⷚrWkQo?{uS8BظUU7XgjW+Vr`NADmV7t,҅>J'Z4TQӪusĵ-~~#SK<`-{H}7Ù$jV9,-n/19xxNHC<8 _&2T0Bv֣i+(s9b/&tuNmR֢B?;BaiOnȏfFĸ!]+{Hߵb ɀZ8 x@uA ɼH炄ܨ&c+  |zRN!`G }|.>ZG w @زP@)Qę~ Ů:p 師Yַ:}2-ljq(TW`]Hz)V^#am6׷Cƫݴp!"xmd>avWI@yfx kFA  q3r[~Ĉpr(}dBA@; :Mtj\\@T}glx+M^A?v?oNI= 9V*1U iW< T<P[= 6Pwo<,yĮ]I-wmE+Osc}q>2}jY^3j-2twޯ$~TU ߟ~Ŋvb=gԄ`q$II䢟 ~3\3fk(Xfޢ4G~ˠ?fjaÎFٺcbX&_9Ӧ>޶JL"=ZSͻ+y8!&5臹/6>6qe؞gh73nh =Ұt-nRp40eCpqmN LE(5ضl(e \~6ˉɠpJB>3TlMj@䆟&D`ۍt k h9\Q'pXu2Fhe9)v>X)b_ EYJ,I84^uhd mh2f٪^ r2ԽăVO's%/.%B?{*v@1o X`̽^~ފ#2V'+L<"Hk ^)a5uqȗ%0Hb| lh-S&씄DM_3<P2&R.:^v"ԿA}SAjFkXׄO58z!VA '{BaG)E*}]8>8wQs`>mH…ğޛx^9so %U>m?ŲN4nB]tQP|'-~wt Iht^;Q6sJy5ok(jb2W"~J:idCX& N&x𾪾-'~SlqN!"OaAʅ%CONp^< [n`oXS%w#ܙƵF"i*oN'νسp| j~exx\m,AҌ' *U[^X@J!¸(rק 4̮Y9qfy%AxQDA؆MsCD_3J v i7X=ȴm~)!(;5# /v8d.,Z,bcp9 "-wz{Y-c}Y\&:ʍs`忯R %[UNM ?5X^(:~JYHs2eH}?)3:m vwo\r_3*͆bcഢ"B4CYG)VP<>yK$Rm 7tZ2SGfF>p79 M$]XێI܂,::>?vN5)l@!%n 4p~9F iW313Ŧ!^zӯqL(ipt3Cڎ&Vс-)rn5b#"'N uP[-M6ѳfy:"h"Tw;=dvqs@}jɬ>@՗V2chQ k7OL raRt(˜( ;$7EȺL#8P{_qFϢI<}2`ohƃR d'#RM?1 "*-?dCmWI2@ nTmq Rpn5+B\ۄxnOva5,koP}`ZQ)zi8jǣISHdk461,O#~[R0W=#4(_Sw v' u~]dfeX.8.MD-hzǹ!&G+໯n+ KSޛdگKhT}4I<  -oُA`pwCN>/[$$A 3q40#}M={%"q8sт9ԛY3'39=;=;U]EM8}5O5CpO\rmtͩ]Eu[Gܜ0kfWof UM;&%!z`k/lv`)2Qݎ+ֲ1%'?q8S7=_N\Y)]I(Cz0=Ϻu&_``8 ,S`Rl."> O^F(̻Gަjܞұ )J}ygdDWN(I>pmb7[|VFC|_lYٌ4I ʽo /'=hD4Q1r4@;j֋>)nZCYn%P\`/g2(/7 - WʁYV ۯJQJ Yly4 #Z{֪ϋƢs#V"qSuaJjǥ92-n`4 s>#Qg 'h=]D*(R{m`ϰ@Mg5K1qMA6cUxwŅ% JV{c*pǟroT@˅׽LkMBB)鹾[ԙ6Sxq Ԑ&uLgb|zy*wgbL͐~< t4 b+F#W]^gC&59rgղoWtE;OrGK/ l?'/cLA' Ʌ%EMoj;fPHȷc/l\Hd5锡i j)V4q% h7 t\i}2ȲWJcf /F+Watey璞&AȧQgT ۛgBQ ~p%d\AsGX[ ]P+5d-48V>(t8T䦢9ynq<‹ U?0ԑNx@s{Aٿ8.ŰAR3NR(5SgNGYsyZ1E-t{e@FChHu@4NŬͦRK-Ak1J)sin׌К6`xQl LS}ymNjO{b~@ܤź@RSaq-}332>`RcqP~Pr~8@ub5Z{ׂǼɠ%[ u֨s`("Jż;yFu8ҫ]Cd}$jCrlD_rDQMe,qIdϮu~!bEl!$W<'2%k+ Nͳ'zgH !-PVað`<ߨ<6-g{x7anA2]z]~r[xhs]S+|=PLXs)pA[||ªݨxJXAJ ፈ}l5vNOT/r7Uf Bej,pl;}<4EvFJoMfed]HӛLm-i}z6|wc$$Kc/`CesFϚiZf*ɗ ~8m0m^(E[pc֐í&:K/g?)-J;ŗ㖾Ƈ& 0{H '{}t%DBS xʼn욝Rj<9[tНaEFuy'h@s(Y^rVGAq+\^|$j UUo]U[Esw4;2"1esJ+QS΂*_c};{ 4LVei+^4W(:i8;̽w PbO6QTh. $Q~oڊ m T3͹#"/44<|&ruy(;&NTP6 ݦanw;U\j1Gm VAiKt,glaN5#~sѧImT/!M4>\x_sa|+So; Sa2C̝ICS8&-tu7c{i\M *v;J rm`媉?QihCآU,j >J Ƥh@v!EboT[j&CƢr)ʱE u~Y~% CuhV'KT%UNdW zk^7OP¬*(|:9c1l(0D<0#Ց3?ئZ%~ZE+ ,Lo^t@mpta_{^{|93AF{LI _kl݋'M>k.ϔd*Vp%rբ˔:FwK}P ű1ZHk$wC~N84\f0$ aj(e')\X:5Ұ6B>nYEP6lW.xz7v EmDwyC h;o "e+ʙU1oTtۡblQ~.W9-]d3٠Oӳx EigfK?BS2(~;KZz:~$ba& u ,'5 Im2H&t=(Cͻ 0Xi[UUR*GBYPLEU$_+/$ OC`Pc)ȑ?e<_ [y3k$i~?èјf.f͝NKkOqQ(D6SXrE%f4vH@Ԑ7C~'y=WeT:5WUe_E;w0s44^Ú{C$\ӄ6nihubֱ8;Y_ߌnaDz|/b;w^IEu4GMDH:"lV'H8@Kt]j*cNTp)J[6={U cNә2u2%HzMdB&0$XNFJulrgo;>ȁ?0#x<[v֛3y~!i"/>~6lrFNm& qu#vds0oQU9 HG#W[Ay'9ʎ$+DA@EM8&SIz ?r?a|pD!/cl `i>\qmP8,){lErd J?j/1_ U? y*wD_FJrPn (b h@Bz`|!F1)pCCka&0s=uI:v;#3#㗡.ωvPfnAd~Cg >ޭb]xi:EʤL "\X7rsvZFh[`˛WޓKJTe^Ip_8+UT'7,op=[?+Y c2 ?B@>Q57"gS Ө|6n ԽME^ =SRQ)ޗ2 Az?p^&e7Z-30b[y -[+|x.7%` SYY)S`5BہFK< uWyfB5/QZtLuȩ=X(q~8 zE`nc]zs[Xbla0ōs)CKL}R?JK.Drg{4IH0"V%5UM}ur}pŮ`lZU%a=T3+'ˊV0r.D,dfYXw ÙdԙoW$Q/qlȉ%Or's0W5/k|%6oL>S&\G j7NLXXҤ/amyߚ\P;K:xQk/uE܏Bx]alX#]NE;?>xDz&suHQ&sAjdY ta m a4!h,m8sFpɟtqH)A<Yiiw7sU#B/lȊD(ޑt&67ق `NAf@ijpDQp٢ᾱgYxKe!17wnb׵'46ܤ -/r MKs{Ckpbffk˦Xmh'+[~0YѨUT)&wQ8aC\fdOfgkD䠀Uz@2hYZ\ΖqA$sqad6h:2WR=js:q'ŦoA+BėJ,A1{'*~Ar VƇ:X1-Ge<5S<iELc:Kk5kH:QPQmj2ߤ3_1:wNi<:r+7=vPd[e%1EZwqpŸGzy!Rհ;2vgU}aH lf아uex*%I{ J0_u q c%zsfHSӭ=p%t ԫ0ڀRC{ƿ(TO1Z̉"džz h⎵UIA UxDclבp]/x}-e=1ՓgR؁vRl94;ñ6 avKA]iց߻"[,b`\8a:=zKmX/v7<͇ `Ze~5+a\cEL[+@`vkbj[}|-'#y(X^3I|\>me? c* ҃RޛD'KK֡џTƘ/KR&9b#/lFgq*PwfS[3PBK=[ڋ*b )3c&wrQ".` zή|oWB2?X)߮H99Mǥjl^D".f)⃋TFh@L+L}=,Z܈q|M IDaiNߠiy@gT"oTeEZ!p8RJiL3/0c%3 #Jy; d`.ZFw=~AJ̥͖WGjH 6.\  @ȠUؓc~%2 , ,bg%~ٻ`ӊ5H}<:n3-RY4e~G:SɞؗeJ,A;Qf&Z'Xx摰 >؊^ekN|'Nj:& _ `qeKV'umfz4 Ԓ1͑~]([7f_ï>YP;҇Okin"3Q%ZH'@f<7dO!~ii)'Ioxv!ʩ ygSI{ɬ@hyl1nIKb` ܚlb~~Hӳ$-?@Fh#R>(w\BGk^JZ -z6C-:ՑɈHd'5]urTStnC#nFȋةp~Gg4IGc2Wf# ?%R;d!4҉=>Rof![kXEإ)7; pc*@N1NQt (./DZ4W^HWSA'I9QWQ# A h7r`7|~d=>ٖf3s AlX%Q ܦ"4o查mY8DB*4Mr8ZbOfO xJϲq_х}nme*N(/oֆ*| ĕ+7%:4K]c^ѕc[@5HWANu<PZ8V'Q@zotL NjϢxܷc^( %j>,!(cE>p݃SrҠut9cw2&ϡp $Sh<~Dc\~ }m}41}'>e*:N5Z@T~_Rn Bi' 〣gSF*>VT?~YF,#H8oZD_̸+X6W.WQi*U_v5сPMoҶC^uL(׏&c\^|xvM| bZ@7[5m3 ;BW)|_hsXdF|]5ٴFEE 1A'86;BnĶZٯRED30TvTP! b.lnd7mtϪ\):W*^V%Ki ly $FF/+ SM~zO_aPS 8}T;*js=yz?QƉ ^b$F 8/J쇗@&>*= ɬ.nZz*o['p}٬Njus+~`K[lFrA}&RxaN5  6 b*A`}7t\;sY9՟9d|NM3ʫ#u3'9~>"%,"S} }.\ySi#jpѝ3ԚG7u{Gy|aG( Ao[E ޢlYe-6{Fw#_xcx"m.:Հ /#1=]z~^B$L+<'0Cl  #D֨G:m 9D!amZ!\S^V$a8~  OwZx.}nY*u , d>8D֍Ad[3Fw~Fa-b3+nKPv\Vy%Dv# ~g xvTJօ,k.YQڀzڻ(z6+W k׳$PpqQN(5 xyhbő0P1S V۶Zo""-rC%ãnƺ)^"SUḽjYn`."= 3d/MH has^b۴S0OLL7T^%JGWP܃7ܙ~[_;5bg5t/~8?,DOڼQƄHfFNViK khE?|bxbō WנWPot0 r}{>XLe }qdق±%Vs7qe>҅b74ߋ6luwgmg mߎMu \%D:c"]ti֊b|VwϝIj3E]ʛa)j{9ur yaoc/>P05iX H:E!0MUlyhBVHtFEW %i 9GJ~l&|3[A/WA}lc =>q ;z p.#*hw;:Hm4aWEK^UnF 8czr+1 8 ? f]JVʔeLaȺ0&6<6³]Wd _՘ p]5[ZB\o@64֢uT{lv}ऌl:pR:tNhUu~VQffxS$f%@iɴ>LDc~L= zYHʚ4,R =ы+2#BRW;s slѓ#W"MoIUe><|Q.E^ QqRD pI|!wy4Xk.tC!: Bӝ(#)Ec0F0jbϔ8a[t=Z-? K8'ՑzAj{^O։'ڥ]Au4tEa e8hB3+0{Z#t IԠ dD-/4zئ?d^gL0#47m6׌P_CO b+a 6u?n=>+pΐicrd\>“گ$+Zk. _} Bvft樎C;\qA)uq Cݞ7~2 0䐣zG@.R`<\4,Dr 4t (]e ~>AiꑾY [:_9GK`_ {Xkg:k;nJ̥wyL<4}nwm߬tEpt|`ecϜ2Xkj#3J~KT4ݾ 6Ur}HZ#yI 2Ъ6?Ptv:wۚC~ׅʽ_\9XxǓQTQ 2]gzUJ# њm>=vzLF#"1l}Cj'?KRX'A4_YV7l8!mFsxeC I޷,Oʆ17gNw@̂P6Hk+{ST1jF~|ܠַ2pf~ΠBh㭕 FISZ "O0e7ۂN/־C6ߌm]^D #7ygP`K&8>R6C ier kV@+_9xؑ+20J#V_0 }  ٕu&1U0j(_s+e(x*g,~F/Lve:R-Q׶m9ϙsCNڭ@݇n ͼY,WgNi`3yPxiTxqy-yT hCTQ10FR,k4͌˥O}XC#QWl E^K\>iWi_tO\O~v{Oa" 5%JMFK [_Rt ޥS1zt3D4fՕ!c ?Պ]6\p5xx"Mp쮵IP\w8aHL2 o4 k? wy\E&e?Z:T@ow# ;աv*t8N25$Iޗ NOWvfRU%:~Yll`4]>Tذ9 c5NO$|:0(&*̏% /q01۾Yʾo]76Fӛ`_,IP(- <[ϧ;\?Bt%f4" ͭL-ֳ+]]`  Ȑ T2 W۱C h$`^1d}mVA)'L8ֿuni_<+ $(V<_s@wKI'}9-5N(O$/fp҆_~Hs=kw3sLy>6 rm@Z_^:b'N{jWWK緶=g <75qbԜi`od1Sgh>s֞Ac/+~3IJ3ٴܴs)"eЋ:0`Ze*/Mj/ n`Kе/vagf*%Y?IGDOTV=q=q!f}Yg _ͪ(cJy(2SگYNmV2fAuSع:F4R(:q2EI]AZ'mC[5AA+:: t@NzMǃPm|S$ReTGR7aqn!:Ē^܁R.15VHyQ) kC ^ iRaN:ިMoڎa[_~Gf='Z[VU[!Y*ܺ[XR.t)2X S?6$,ky#] X4 ksucx+nZXdB"(JBFz9V ? N77׏H2K( 7k3ʁPsUdJy']+SKK_vY\Y+dJRESrufGiL[\ A {>!wॴ\=SD$1Fi*}ޫepr yILv%H]́UMRAx44R7}nҹ]g'|p\4k\ 8)}YOTԯJ72{%'I!+ *=ә]Ԉ|sdulmkP& t("; ۅ& `)Ancng@}NjcEFv-:!d Bhx=̈no>Dpt`\$U$&˿cQ \=VM )uw 4{م(K*fereG7GrJ12ZUKuS A 1a2'E0ep2w ,ܰFQ H4o"7UuNE~ ˪kaWPp,FLnn`7{Сr :SG=1(+gEP)/4/Ou+&ݘVfBKSU*9ԁeAGun +V3%'>NZ2Ő,5Qzvs2r{ V5܆צ}Y%Fm6Z3|;КI9pϑQ\ᰟ\ \析;0./h0bV zˎ۫ UеMtrζN mTT'{*Ia*ߑ twdR!z=P3-͉~1a;qr|MI΁Tj=$eCR#/Ytt@R9%̂%ӥܕ MߠE0@}Hܛ%eghHQE`X&1'zڝ-i%^C>QeM4}""b)!d+S 5d11j2JSh>y{l8#lCj:[i2mɯ7YɫF/ؚ; FEFkmNw)D,S/?%o!_hw-i#F-]);gc Mwpc" d9 ؟4th+VU _zQ浬ڵpT >_ Y~.M(g cDMƍ _O}+Cׇސ8y"J>Ҏ/GFjkXCZb2efw}%D^VdWF <abzT*ƴGb-'ؒF35/_J.\>,&qʖtfEHMޙuwSXTf&oF##!m;k^Pv77 Twi>if(D )y0h#=b#'Fg 8Q)Y%YR55vwyUR"Cܼ,#bG (k[3m= }D lr*"P%;ѫ qNBSQ}]Ksf$16* ]bad)T͔ s_"^ӂ &tT-kr.}^ɉ_wc)=pU}H6IxOFŦ_GtY1#L־Jg=.XS6s9kx+y(nc`=r7˾Y~+ i}M,zÙsރW||˭:eMrV_ כZ/B <\7& CbgjT>vsN,f J({QCkkԔ ޙOy}޷˛}9~)'Irnz)kl 'h6j4fh'YˈOXB)fSjDH-5O/" PfLDQhG?br6pCWb#6zHOϽVUs1d:9h!Qu++!=EKW IEʗHiv('T OCt٬=Ba" w6HwagTX@YBHsMʣ@|q:6YiD!{ 8›N3qDd))Gv:b=ALh!B0B[{thLLoGd Gs/^{]W6t7DVׄH R^ov@!&b,2x9™8RUN{=,vd<skך> ^Uo||Cz#e`=F9w#`z՚` u4y $1.Iv:DzӿH}= z+H|w-darBWҞ(7Je![uuwE$']:6AX2(}&0Ƙd \ReTz$0zY'u%m?>Z)u2҆߼Y`%Xc*63|K^¯.qFpP(0hzКFhՠFW~L<I-?{ vgt>n{2gPJ GeI ^HH 1V|Jx̻ey$F׺ ݞl ¹ * XQ7fnp bSHk(ur#&n$)}[9 v&(hnoqW MyњȣR:PCz7)j$ XnS=s v~Kgz2Uu'E7oumm* ^(4^YgbV_Tue?Z ؓ%-'K52E"joY]qe1&AIrP%W34Wk9L#K;$M( Ru9~AT<3\i{z\VYlO-%(gaN]F`w ;gmy<[Zs@I"ۑ(PYuBk_l e(xL+]~naJTϺu0Xn/vo ǽ|  \X+鬷ekEo Dg%}|`iՃ]vlDG-yW7 9՝ V7Be9RJ~յSiɖYy/uYꕹj)wo"ApO6L& o-} /;Ͷ"DgYZ8f3b743d3ed8321daa98a3a234f34575fb02993113f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 d563eeaaab3ae4cc4342d7cbf659a3e3e589300f