SQLite format 3@ .;  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  %+xt,\ ] Stable_Matching:threads=4elapsed=117.214cpu=362.532gc=5.4007zXZִF! T3]ŗXiɟH)0%o&\rmC#@^Nf45&A4ٓYz8ɹyܼUE&~CWxd3y> JQ>IT ֮lQqIY%)l1['0_$8)qx0~!כ~@uZZdk{tRn|vF &.z_O.}O)լz3ufe=$^!eCyJA_2un:ڜ|?e8fx4.'"Żp|{'dN4*W0g+LY]z|ΓZKuԞSsU^>al4g L2Iɏ#e!1˂ ւmO)5뭉FӾp .cVJ@Xy\z;jOM8 nqH; + Stable_Matching  ZqKKtW6fMVMJnlr}׸$\d15FgH7>۪XWwEYw2AP5#Eǂ]_ itb43OYitvE>-bqyQ 3duv #!UM8(z(V8 \?~R =2Id_:Юq\W1B(p*Tj8]^AwinwN)x CvHd'ӟu[aJyq3l$ RIچi+%l>xA*6ϥsIaX$`!H{⇂=:=1 bP\0Ul}s75}drȰ@UkvFfQqP 1»#9:\:`ukBx(L!: E~]Uռ/=[qegpDj1e|Bv 3H+\xki +~pb~VZPǀWHb^Y6cclC>1Ϩ?2eWhU2Ru&wqxco)Xe|X/"JKCH'[VM/75ͼԩ{e55 Qx=T8Pe9/բzUS"섅 W>Թ֕D`? FnE(p?|T~{GN! In{"(’C}HBW^9 :~o{W9QѳQ 'WW] c!I3Z-;ųKLc;uLileJ?;Gi("^ Kvk}$Ʉ2iY"B%]3֡mm9Z_)pd 4 s= x5On2k)?L5)gx_Ti @@~ran0V Bs|ݟ Y̌`q@ d=4 |"CI1Po!T_`*6PgEB,AMix#YhE{hRPz"PG/=3+J:ΫAT׵jz< z`'eH[Qgrf ٿJ#!a(5Ph Qm8V })*a$%)|&21?UEQ[}ߺ03l&n59Nn+Pwv'"bK~B:tnnks&=pZyǐIOXxJFxP0FHȑa?,X@ v/GdC |!Lh4K+bk4Lٞ,\lߛFd+(5ѳM75.|q3O}.vcfCmGg1-&SMQg uty cL}0/j3%m`]heL4m9Qe&~XtP4aQ(r`mUWE%H wIoƶO0ȷ1h6>g I7'"1P*7QbyijuϕZ}Kȟlu%x\O!6R50 tY]hHWT@Gj\$tgXqc+Hܜ+L_xW53AΙSPgtcZIVHB+ 3bL*d̩.XX,ӋeR#}HvId 4duդ+z,o8c Ԗ7׉|Voо TrO\[Xc ?Of0xV8[ߦC|ꊃ[3v#Qҿ:'!dk=yFw:Y\x9hGo0X?lQv'dU RJ6rsVã̯a/b춫z1@+{e} QJ1,67(*E*X KgrԠ^?K3QvLSh]Akz2Pkɠ] Duf_܉?@`o+:y|I$NʏOwEd220Uh- >EB3Oq  ra|6T3Foc&"%D T|=:-&-s{d#΄E\I*4DCSQς?%5Gv'obXKD[I+t/`ښΑ)*2j%"d}Q M2PڌzfЧLeRj@jsϪd^?BBAlc+' yW)6FU5J8˓`CF]A͛ Wb6 Z_ N2]̸>*W)N'_J=}( (mi\Kp5o`J8ujXOK2ʯpK.y>fxs`'R xV:$p AShטZK=\h?KPYp(uS-lU8 .lK2Ǚf 3XMی M+7$39wN bngqfXP%bv44b3pHn,)TC1fk5M M_$PLKD;n9( 8rҧ äsm*0@58EDz{F'_RXw+WvwWc\`]Plpё,gX;3`YFBNy4);c_\tT.XT,20C~Os]~v93Yfbɤ9& 5*XB^GB 2'B{;J5! t8M)AJ&ˢ,:쨡y(U$G.:OM6F,ߺ|EIO;ğ>7ƣnlfa+պKJ5(D-lpBQUǠUZjM+f%117T +rZE'Lx*}cnj,DݍRnN4Q9 <6TJO+?2Aner9IkG^5GIo dI{/rG*P s7Ȍ6!=‹K74NrՆ(ςᢄ!f)2L"avŽ읓z&An[PaM D2AG!CQޣz Z4ںS9Z?ER })k8Un_!\$F:s@LKW3_F7LroQi3#4uN(kjM҅ ,vNXS<IkLU;E21MەC޳,D<-W6Hbb^̴˸1Rr@p}T`Ws8_-YԷ%#WZdxkԖ %?E}R[']#fԧAr˃E"4 LllDM'e*vwv1OZ=p<qez쎻˛ yܭB W2Ĉ7!dO)6#Qg[~Byo]u˅#k"Mg(zѐgP+ǟ_<:h-ɼ QZ֨j1YCBز uF5(5 6)oDVpiA72gRHTNe EvOh=:>6Dq?BJS|FS r|裄9P\g*߉ȌzlmY !-۪mHuQ+bZ‚ap%ftl**UF<<< 1yR+d6NFp}ZksYX̺XKrtg#ffIs#NB(p37p檌n$C+hq7 EfHtdUYyd|M}EW`J,lX_TiAvM(>J`Kvt2B`]$7{E+dה!Xv8kh8S^G @~δ=2S6}VG 1 o햤+!;ľ\i\/w~H(*|Ud ,MTPTsw1tt=UnѪSr BccH} Nm{7{axȿ|= ‹ĎчCQͱc\d!cY#!w+B1,.vX>[(kiFS,c}tG` 6<(\7KnCq ov[^+d/:!Yj3 Һ4H;wY.Ur=GJmT/8 60b3Zp ENqZ"Q ΰ>_CE_KjFLo[/`%tõ; ´b&tmVəyfM| */D&kv#0NO=gނyM],Og r:9務ߣc'^ -j 3MfS`D8|/toVѭ K„c~YiZ kywv Aglj5B\P0$9hTU庌ΚvWcrZ"ʔL?f-r$NfO:gZ#AI.gG&>ߖ8e4+jIQGD+;ReKl(}XjvỻAHOTO+B9]@H C7k$FMtgI ox8t4j 7FVs3kѸJ-?}Xa p) Yy`>,[UnmN%4؇Cbeo)ϐ쓾 oZ&AGcCŻ@> }/Z0(G1mWlĻ]; Ez@3;~+ YF?1TS_I?q#}{;CWE$#c",mSIPCg0Y_D D#6F'G;@Rdئ2V Iv!yzd Ιw0.,}.HK]!?mmG=2ω-hq7EB련L+ yY*hW:Wp{l19"t91KS2ՐfF7쑢FeMI8R:!/6Y ;`snAaO¡2!F>xVP\b~nx mŠvCh[@uk[aTcݦg aͯ{]^ao7TI*)j@$O8adf~[wq3.lfKń}ҲձoICLPE 2\}ftP TV͑~; (Kp{s{(M֦]2ڀ*9; ŋjR@{Ҁ6$F|[cuP$C+"!!=dFEtwΦZ]1>?IC 4$=w´tr>BZz+6$DK$Y˖P`(>]X#auP_KD0y}PL9|lMl}[(9O.rP!hp aAl|QBh^vD?il$~-eS-Φrpٮsό :(ou/\Mn1*Z:{l6pG{g#Jp.^DlAj Å>LqՠfTU,Fg屺-՟>d֭;B79.Ą4aBWy82 bӷ1!yռ \X v#|o:Q58mEF8Qf-z&ܒͺ.(ەN!߀Bgvw89'ÎHl :.feLÖ.fx&-O3- \PHpѸ[?-U_ ɞPX;(RPpdzZmG*d0!z&zc&IbBoe(e.,UޢLX}ˏ<\R~yfWʱ[}t"BJ\ro}M'*`Wc9vǺ!A=)g4 t S~RzܯF+go :>ͧee֧Wý5G U,',RmBϝ$#s\"*INXz.M?jI ҍ?hjKb+D'BC2|jtS( >r۠ שׁ ZDa\Ң)8H3 DuA n uS4tw[Ȋ $Um n$*]#?QKEXn[X~(5V;}uܤ>N[_O7D TÄ5+vQ:ùWw?m$L *k۸oݤ`[uސR/!lMfǯ3oU7Uncvm1H u}0䭙X{.ke_>sSo-w^{y#EMT(ۮ+6B]~N ku V0Bq#61i!ImRO0T. 0 t;rSo9j-w_z>c=*$V37>zOprU (-N];v 㞾h˻P[3Hi@T5mC 2e&E4k$z3RXc=izJ / `v*u8>TOse]48)-R`qv|#Ҭe@WZ`U-_ŪԎ:wpDW< M2P?fT9t]P]Qoqi z 39S\vSgm27L;A_X8:-ceMtBXYBxЄg;0o @,BT&507_'Gs}m PFY$r[pI7êW{eMrH5/eHB9Lpd__U@$my/H섰ڳ~L0ސ&?[jS~*3*A|O*Q?d$hDc<..cV }}"QSyMʐ)t 1zsyqkcpLēTs(ʟ*w0ivwn"&.6Ul\2tLg*U6{*2zmB?=~.gMe& jP\*q?%y GƼbgKB${?*Z;vr+V _6 ׭AD4= vV\D<*RSWs>jc&E)րG} BGse]#Qy@ )n`θ&u~D|.ve0 :_ &Yz͊A4BoLjF:ps"1Q **nk1ן-G@2~y I:+'PI@IfF͌?0v\@5aI$&jpz r •ߜC7Z~=H!?r^Trꓺw~vW:shFyE1sx۷V6w|X8K*|OZu%:5UOhY4Yu]VW wi2j5^W`U!ˀBM;[neaa]¬vKNUhN 9~4ʺ81eXs~w6liOXOj01tpjKw+ʧznWQ uxnUP9WT˧" N_q&Q?UIѶ ss!:[w4Cav1A-! uJ;} YK}Ð} g(H˰3n%$Z꙾ٷX 'Ns=s>v0HhT8$=Fђ$R[y=(C+︈ENwT+]2y&/߸ Dv{8]۔EWX.4DD"w޹~?suJA Abϒu|[4/W{[-3\Q]e;TCTeB "0/[sH\8sQ+cZi\ c_b KaԅU|dUmG v (GlأˇQf8>gp 񇐞Ul57#'Y-D|˲ lKWJ ꐩQ(5Aԛ*X1I&6+e˓yhfpG"o9pRg:yka*^xiJqF$RˠZ::8c wy2jܙֳ@I~NOO(P-E5\|؎a!5*rm_TmmC~9˼rB/Tfʱ]`J ~* 7V" [CN-c%Ms>vX$qS$n5Yg1n1:>&^'Ǡ}Uy=Zm-*+ hexZHfh:And.0%%٢J/ X񄊈sС3Iqc_ -iҊŷMaЂ0 [Z;hdzg9OuYqBsTONZK:[AO}viFm^畖VrڴwSg<+qvsݨ4~<*/壅ߊ2Lj iRQi l5KJj3~PG80/ތ$~YČ|GKo4nk`WN7S??l .2I &-.qL7+S=@!`m. GW 2Ro"*:_Q  R>Vd)CxR["@fqX N]ʶ9 Zxq«Ug1p&p}%T^p*ZE~pN:cl(Y6TxjCOQ$)cl5%1yP:ށN+Ԅ@ɿP*xH/C$8)M\x#޻KXj@AUrF]Al5Y~V( }GJ1x\iV|l4QԱ5Rc T2wcoM0q9b)8>A Yb~l6>WucB2xBdwPOKTtkx<ħwr2_qFBd.gU[Ow` Nuwj/{#  MT| AyMޝ}UEK\>La p>$s%/h7.‘׵yʬҡ` &z2ٍk {MN}#tɷyijeg Q<lȽd_LV\\TSVڄɐ!' nJ y?6`޻$@  * f!5X9^XuKHx]" &}ʜb$ m5\&NS'y HJ䜘FZ,KQDDY")p9i QUd$R'L?)Ruy$x?i |_"A -k8[x 4\Iq}AbҘ0XB%u5hqi1/Q<$wpBHj`":ISgLqof~F}Ǐά5c4}ףqv+6` hRMהD4 4l}WKg4fShL0T7c,V3T/#>"8*ݵ2 CJ.\7ZpϾsx :=$-z3/-PaCr973r[gV@*VBKHq@4algT;P =snA~Az<}TҎΫƹ< -wF7&+,L~sp_7x>-PHw QEa (_ 1#,8㣡t,jn(9BeyZDfh\& Bv̢O^@ծq$U^+q{; NFȱ0Ȩ7b.mXʇ ,=DlV6I#dlJb=ÂYi{ Z:fd4ଆ{-Ad"om7(O8Io,-ԥ,5dbt,[>Il9$^[2=GrU|1kBʦO- XIA{瘭;nr$E,&ZʞNб+\4^sˎe? ;SuEJVc>CUIAKin0u%:S%Rw?.#&c P҅^~Q3",-#P:"=7faj؃W]]b`?=5' P l+6u)˜iÏiHq3$nA{5}n K"5⡏9B&*lk-S644D_bGR+[0zr*\UI5lwv~kmUc.J`Bj$F1*`eܷTd1xds@ 굎\ ؿyl:OA=}:]CԄɨP Os\A|P2%D'B䢣c>˔5߬T848cN:(Wc 3Gz;yXz,F:׀üS;ltqvGwoXul'B\jSTȟO5LM4&4C) `ʶ0JB!a3sC, {@Z,_>::[[qLW>|PZ Y%=~5\'/HĦyq']i8 V@ 'E?Pm0 Z'HJ}%ƀ(c\.!:tu;bDYrt<FvFIv\)0~{?2aq_I*PRi"; y=:G}KPQY6RFK|y]ϾM(0;4<8!7fL֞"t#oQ҆(V`OGGrߛtH`Ba|l] 1T(_7SXFAWqq|mBq=d Yk2<Q @AreKѢ~n> 2ꞑ'g ,CʂQ\n!J;?">\p&L(1|>Դ_"60m3fsj{nr^)LcK氥HnAP_~\M6SpfyR$lrǥ8$RH@B^E9يUhy 2QsgY{j!v nۊ#4$.Ee0iHAv0GlRu7hs)μsHKBtEh.oQ E!u`38. 8B=Hf-8E< [MgBӊDŽl[>&?p6*,AgSrgNRn vֻoɮPoFc)WϬ5q5(ĔoCVgwxG}-QKC@ޞvxi4 [ِ R-6#0P,ӿm(x;7٫m9BW/d|zwQS W%;?˜!oU2Zź>֣f.s&;6\a.}@yiٍ ϘPGi@o ؚ{#,%ƁEޡOPx=T`RDg4"md8V<f5?ҵhsqccWt 5GVgH 9My|0ibo_lCcc~IQ'۝-cNT EQ(t`VRoG^6g1UhɁb4+d@=oZA-6xcԊ ,-NPXkU{C†-7xy4cj$y9n+b tin]UF!h־ dzg%**RB.ɋԚyk2TpANm ?{|MNvd 2]z>u n:o藧֬km\  JC{{ Rpk^1G"aHB'YlqDhnΘr} HoF:)f{Ρ8<$k@??peY_cΥU.U[ }w k $oKF85;kjmf6d)3U.Wbp2b[Ṕߓp^٢ _5D`εd6i^Փ^aHĩ= 6#P1!$bͿ%z ZϒI͹סHXJ3pΛXjA0DE]KJ'v$JҼZySk$TlOn,*C& #ˉ&9GxG珋gcP؎${ ZD?ab ;)ұև7w'L-+ë4Xꦧjaiw֕nHF 4I/Z\Ւ(ဧ](|{q22g)lQj1KvMsEw֝!GiLCIXĊ;vgИ|KQ"m>Ԥ]Ҵ's zO䥆Pr`*fYیs`-BVqxN)x-`џ^t\|X~-Ԣ|ټ|pw{zWLoe"1U\9Bj2$1XڌڊUNOu#}dЍvj91$}O4dLw#R8!el:Ho B?-D0l9mf9~PI|-0dsv.h5ckA8{^$#݉H+L;#g,j#]ԷSe'X3ft!{reFQ-f"(QǧҐgzN]?1aj)2" Qḓo}s߸J1Raz5XK%ARk) XoYYVh&b|;#/HOZwqpxG8^8@?)}@ؕ~Չ)3@=re[jTovlɉ]Oak^!@!zENoAb7?vmgr!cB@v0-Z+ +K* |^,xn<ޡ/'/ߢbzq#N'?WJs/12;XO&ٕ3m1EM,˱cead:Hf8EDv!PTMө&}$Kr'~|*HѱAC':_5?? ~"_vx ^RYBbW33Mɪ@ہh 3_5P(_X8rRIrwZn%VU\b';H3sWƂ?BLj[yՃWs ԇk#vbSܩ@1qYiҊ(-Tkqdr .B[S˕U%X8~jNLC| }.ֺbcƷGO T+H;~'tv{ jAtLM P"̒ME?Nj8f/EOL^7䩴h74H+[- Q'|&rպOLxdU4r-!S`'LMő+`-bw;RcO2`,OEsdQ4QJ>?97DhLAy7g'*踲vƽܹ,cm': T$GF{:Al!_ |9l&K0xhHv[Nʖ\aV.0&TQn4f)m .$k7{2!el:<~gѽMCJ3+[-dp@ 6ChŪ@Kb÷^N[)'I^fk~D۽wElgI|Q*"e@v?_&Ә-}~AOquNe*bekv|{Za'X}/W gHlKutY5["OjA #=E_# +>G936bp^F>Cw2KNN|{ -21JL[q9m%r)"ݪ`lơU ͷļJ(:uE %OwzH/vmbrE J6TĿ;mucS0a4#Mp~VS)G9WtVcm h2e{JD8N}:e5e;bA iN=>=(WGK +W2%caѡUqcCUqڜO; ~?ѡS+"Oui)m=v|Mi܄׿ BVpc-j@yQ=>]mpkTʄ5ϥ`*z{{,8NJƵ;x Nh;*?n<'4@!M4̪/t'_~-ڂ.oԦƏgy qvԄ%VЕHIGI/f:k&:((B\*$7d@/k00Ocr&趏c@H0lv^c(6-!7~ZN~ ּ -o,D{g`xIMHx70]:$2*@R'O|r4Dޓ+oaHv( ?߱1 8pa>xKgÆo⟣}[]{H,rIM/4BfD==8%w\6RC :&[H /9ag)&KьgRuf zDZ⧘qb[mg;z,i1 d#^F5]KXh&bQ 0\'Aq .*j'ګT}_hvo&ЁeA1'q_h8 !S&g@ΠS[xC}mZm@}gaRo"GWgut)>,eM&n LHdaAUfO1wi)[)EPVD: }ܕ*;9 Ϋ-4Beyftd"F|r92*~޻&05 ow};ksn6'[NVT6*&]͍=pBxfv@GDE8` ? It~BX#I`\}Zfq V#bYLDJ[8 ),XdgEz_4Ȣ eF#o~?O<1 ;[$x&qJ[ܟ"=j͕w?w%6vݡ Te?v=fe":g#?<Ȁ0+t[t: _0*XVԱex\=͵rHgW&(M-uh, (zWs%"@zY Z-N4}gެ}S:l.l9u%mc^ m>eHG^z2[҂D{nh6K~z -c~AGDx1Ÿzj!L:OӮ?iC'8oOlUa޻5 xhHv'M\^7rUGzGk/?@RX NToVܑiOU7ޤZ|mGLS2~ՂƊ؁[!* i/rL'B2*dXRd0xľto51:?2K摯4dQW(]g9uwH)Tyf%03mV MNǸkD̀-? ^2-o@?FŞzf*Insl4goc7/EE*0^zY2/UV"&ʈW:'GuTGT}C_SvB.iS-\#It K_}"I;P펂`伧A?+yP\eI|GvHΘ{o z#e;?c7Xkgm"ZC@A kHm vNyUOՏQC3Q͓(W?nȢyC*k)LiϓHpV _ z xeVQ V-upbf)p":. >kնD- cUlvV@/= AڮC7>TFm7G.6KAӴD+gH.|o'0HC۶6Z4JO38Ջ}uiD#TG&PoSm}p2'0lɃ9_ ݡiz^+",ڹ`[x[ G겳gM7$G+ؿ#v9EzC20ĦiaX.ij`TIYmޯf8y3ʿqQTL bX4-:+ԾHbͳ|L[ͥ~dž(Nls@Te#~5nPA 80,I1Lhґ<(o7_dE#ln(ZUix߾ Q,imW^YQBByMj*SWyh?lT"`ղv!"532M_f`۹tOL%icL{M^=h h`e^Ic4uE#ql/q8D,d_nH,JxtHeww&^Äv^Lo*Y>0E UW8)j'seǁ}s-7Cn1p,b"q y|W)mjHMu|sM<=e!{U0G'%C5e<ť>CIK@m:*>Q: }69\<+Q碜W<l_:I_gb4Rv%inqu40$~Sf{+$TPJshJa;t""Ӫ)NӚ<i_3, s KDRZk"pvE˛jrj0E8_eN7sue)d Hka? ӸDl)x&wʄ90#İ'lD?\QHwj|_Oy*Fi 'I?B^nx , aa./ w?c`رH՗[6}mNͻ8I; "RYּS9ۏ5_Z23(6hҔ06?Q=8K*Pz`+:{ElMIʅ%ڬۉTѮ?%%l g|֪Lb@1\m$8ʪή/gY d iQQ/-pgͱ姘$ˀcAApZuxh܏䵟 73d|&>\*>PW㸊c{ёE|ܾxrJC(Mе_v yw/j墀`{r0fô0hMݍ;N$@MBE2piRLD8V_8}`tjGs|"6aRkAxѣfJs?s 4`Fnw3:bRF=lJkkJG/ u\eqy}Y4?]M$)`ky8Ҕ`)zu\CYmz4yTH:] !&ZGxV',adXSB:Wqhw娅۳h0 eZovnρwQS`j8:r4;ϩp3{'r&V,fK:PyGX¡'D>gzjʌˁUD+IfS8wDq6J̅oWC`!}+L p& [;uƩl9%r*3BJ*fnPy k0ˑEù+9âx8827{̻ 'r*JN0,~?k_yQ;̪4K8zXBX핌F%ȌTEo.پDQ^0czi)UIk'̑ #ri5ɨ[bo\$PX z2o.$3C\j."J\H6*M VV ޭtiGN.3(c&Fe d0`en_O ҝrC h\8nm2:rsYDO Xr̍ +asſ؄㤄r2MwY *[N,X`crW fiتDֳ&T:&Ա#3Tk]Œ6heakd^{O(Esщ gZ+td6'nmOq h, D$GU"RŽG|61C;Y5 Ύ>r%KGX6((EUބ,NܝskNJ*,"tf z &[|F%tگnu+5fcn"ATx_6JXh" mZjxAB|TbM \i8&\qfUrwߠw g6d8뒪+aD ( e{fcHu8! Oe/`gV>tnCA_#~fC!C /7Di([rH%9{Mnbp ~^\qܚ>aIJX6zqyɉϚgla#HsqϨu 2)czAZR&l\zxqԊĨ֧z'G~jyuѸF> 9UVx{ 6:]7rj/uJnScUᾎDi -4f^LVvP:q<8cZ}Cj6MaF'$F]A3T U-Eհ0"%N(CjÈ Nͧe pnĴf)*i4E3ԇ9?HmM8ܖA :7,T@qt/5D9 ei;cp-Ѹ?@'合pM$=bNP+ıO9QAuZtGJтV]]z7IFz.aqÛ2.㬋47X!ޜO40XSv>v~.ryaJ5A&2femz\M`THl6M*^̘5/>'ui.nNY6@ِZS9Z4bQ/U>Q꥽/A :t]!tN} ih{ g!x W>I^[zνAjpJ⏟`z_Y_!Kwo>%(h/r'$*Lj _,b %#eR.6TY'^]y-j48iМ-9<1>K?؆Tﶠlcv#PS ,7Z9(h`{0K&!5A O[,=myZĭ|c?NU],MO@'Z͜ _/dHC2TL558N,˭zo:cWC^јBEa]ʯ=5X>7Iʅ=4\+`L2 ;Hz~WLdM@7 iB0 E#ZHoxg(>xe9zKvmFPgW=nX}k$Ω~h<5s{JPi6,,^熄M+Ok޺Y'l2f`5@.2z iU1a]I1.Pҝ#K>C$22/f&脝҂=Qv= 7.bldc,$UTa; -Of&ePõ)^W\T: eՁ'F'*ﻕ'AYǕDzOomX%;vć~5o_~jC? }a%q4($##Y\!Ī*Ng7݄ p.\RUmB48I5>.dr\#UkЃL4jIz;:xf7r83wj9P!ͿY_rco ԓ (*B]$I 12"0|!'Xa\"I sP@i ed|QHT Ւ/AݣP55E$L@#$QUֵ:߂#ϐgz }'lJ\LLEDbs)P C%4X ^C~N>gv҄{􉍎}~d\^څr/g6% Qp~mykʹ&Z~fE vMŀ=-~8?k^䜍asnk&fZرx-d5C@ـQo MWٞP | RVq aѦFMi^[ [Ƭ:vop|xt`z7A/ RrSet뇭#Kz,~@ [³DŽ0XE:[tUEka\1(7O۱=4HbyQ^}};J%SF8r0m1o%ﮎekI0uzLEQᅡ[ >WeˮU@tpk&ӴS/,UN|fL\MFummtcXQOHx0r2U#(Qe$>dAX¶hv,UN ϴu9)!%6PQY`J.ǣ/jhLv$d5 \IbUb9giwj0DA6XΘoe]б.aGkdSWF-[v}q:56MUNCUU:A (qذ< =MkSdž5 ܤ?% IYFӋ'F€6-z?xME Cܖx]~1?̴ͯ,.ԓ~˩o@}MtT2m3})GdɴtH닾HuԎ34>nE  ՑSј Vǻv7R6jTiM\r_a!dQ/RTFԴAT1/g֤R0R, (KY/ޔo?7I}'F,!f)S:/ lm# yPWQ bV[ Z9J -a ư,I9Kc(Q<-rBqLxS<4i*x)9<Gq!$oN5>uFwzsQ|T{B]C{;!Ux8!QGx0{ZꢹޗD sQr&5$N. ȈE)*@҉`$dnqJ?u[BAdЈnuЗ`9L( ǣ OfN4#mhWem`rԱ\oFP~d\S]K+/be61$-P0 _7qF(Bu9 !h z+2ZPsհkwU/y#B\Š[7mj\AeݒEI:`)W j#KyJO`0 Q:h@a<嶺n-uXjX3Q7xLcޜ,ZѽBFyhZ )w6RDh=O?FrE ꨙQMPf{ˍ`H q$Gq;ޝ-H! i GSg([)gB}msJ$S xg+E|a ˠG- SDsjI#Ӊ&t&<cBqa7z^5&r*5Cnɏ&,SӋ+&-OуB؏{.T˗URӽA) kaB8\5"=yhO61l: IW8^7G[ưVoN{qQxUabȻ&?OjFu@RD ƱtoKp] ;Ǘ-ܳH#);WP3!鰴$1^T]8ο͢EV;S@Ԥ}8AUj'gxV<!LA*U 0ÑY9ք#{'vGeu!.G%_Ӭ}k7b!JYau}[x.dl>ZGm>`(6k՟uگ.dK{|` WP`SEd('PqUn1c.7ҡP'lm]=bW*p+~Bq E8` qٺȒqUT}jl Pc45dNZg1ʑ)_*wFѠc뢓hsRdWOA%L9$׺V5먒O5蓲߳$.nZɖ(MĻ$\MUcS24 Kf#I)!j}ۘ,dy9 l48AIN_ŽZ=s%)P0*'Ș%N&}bp ypG JJBz-UuD3T=F 6_kQ n%;#I/ju(n8 *wo0kpyD&Mz|K:+0A ox21y =`>1%/2N{+e"gN>eAf{ Rn%0* rl#SqXC~ڷ^J`_u]*g8L}+0C:Y=e@LK$w}ihgk wN VҙJG]N N-h"&Ys(1LfKowu ']SAa}{X5:r4AS9q#:)ŽcN*ʊGmCI3&Q6qU ^ "P7p ~ϟXW (aG"t8nqhw%7ʧ$^-$-V?a`̗OH3&UH}fzo=x<5L#8e@)!&q9:]ƃ3)㰝x^YBC.Qf%3"6T $ EƏ̅7m3q81-T"loݲ[~WC3:riR:{#YangWaO8ć:؋sud=%"aNJ8t%Pm\sS%"[j87ireRϡV1$js Z꒝%F jI/4?,# z\*q$݄݁-׌¤B@p]rs52I,2닆/xfVO_`jcIkI`(SN t!MBسz)wܟ8(P=s׽f)KɫQ1ᝨWz` rAڿ pкZ*居F ;($Bކ00]W uq٨J|Af'MAР=}mX xk^-lI+|k\ 9Z"Ml4 KX)E cdYnsU+ɍbCn7JwVKa֔{Z*x4T6£aD/%g#p* YJT ur3Z s fzW/U$'5 HD ; uZEӼJL巡<2K׶5-!Lh'Cl&# Dz&wmȞvFw5q$RKHd,TC?++GV.^6JiΝe(@N"_q/$Q!J|c |c$aɨ[*BG?*_T b9V/7ɐhE#q9NeԛUPiRE`ZMLuˋy# 4$PND@]T3܊GÏ5,Ҧ&;f\.4\|xׇHQ o%<;(uaW{BcuC֨uN.)*";nlDz!';p! =gғ,){UvDs&bdX؛sW2g4lsp <6ImGb1D8 ny}HfDK>/EQ1N#`H7?#hyE᠎GR{'g$q% l~ 7OEE0YK3GnB[?ˎX)\V1Pp9aGLSn;hOh.Gѝɗj4 iܸnMB9ƟtYD&k [Gg?3n:XxuGwTx>!NCr|S$A 낱TM%zmQ%HC )=C)`}$J;*pUƢ k?v (DžIrIW86g{/dm&Xm~{AqjrTc.I0x˲\IK+|wAnU[,ubҨoVk1zxN% vŜ)AG?H՘Jcz <"E8mڴ k ąϔA-›F?Ɲ?KaAv_p;"Ƚ6gvH]4-0<+GN,59RE}mĜ{f%! _ c8 4Y %Va: EBo ?!wx2©N?,}ۓS%L9I'zu_ڿU6KB= Q :DuvF*GG.JX9Tɝ/}6/߀=`bbſ8{p<˔:)v P*Ytɂʑ'Ed,BGU dT Qd|Ku&Tǘ}64]JeS#s6Xp-PrhVH? @Vј tXe@6'Dƺmd2k(jG+ }1ez s"촵  -MewmMw&t}eϭt_x"mnVS˙/N> J{X8x*kBb%ftȃOr =]'*6XT*lF?'<3> d _ v97:dt#qw'XK>jsBooUت;U[$nED͛\"FO׌;('X[NB޲Q5$ ii.2+gkJ[0 gڵ 5p*Թ8!w,r8 Rq%3Ze 7 AkVqEeZ7n9oE^ۊ9iǝX o?!q?z0R/8ih66|nbBTʉԒTпCdCzttb)]X+]ĴZ $ cEdbޙ^ttΉm(Q m#~"i._ Mbq9JRKݶRy*.9sl.JW\$n4gxb5asl0en {,2vX)LK58Ďdy(|u/bc&ĖQvíY$r`Exg6}M3:'"C^M,#aa$ Z9QbFڅG%$a&79t*L8At aT s3R!H;eSOEBŜmlěozx`\Szƞqz󮓂ZaEm. {`}*S5DF8UEX۵j~3;ر Ú)[(5+:&m R^Zch"aX`? քJwn5q{iI7eRz*#@b1\4L``tаXS7MhNSv 3@4iPVY<Bq Z#;{Հ ؠmn[Ln͐B ,#9;A֛f.N:/AkMVk aأЋ''>3ӻtUO[!{N00 3ɣ2tF|i6@uLngbmaNIY/up>!xW8yM8|M4,SW=zfvPm't~BSKhxAQ K3E4UL9*mIP ɓMNF9L?ƍ!>uJ ?ry:E{\eGd|'*?VKquu?w&@?㱮>P,3by5tci?ļqpR1fFLMbquǚce/#"i]aOٳa1| K p{5BM _Z5q_;*$a515jRx̚ø䁭QM0:-#-#>jT3%7m]U3էIfa~ջࢹ34ԡ&_~6xK{qFbj/:dcX5R_pUk(*x0ކNy.ӈu~H>e*Q_|:+-J)VñZ=Meuڜ2O jȓ3pU7cS+by 6*YsЊ_8>0aMEBªAEaʄ{uJ)tU` :^5H tX^PTp1.`M]* "JF>ó@YMaM5iO%4d\دH[ WբXDr\eRYDP%M fԝ"#ORh_O~h,vA ʘ)>!1]r^_Z\CMĂzMNj5J}_ob5XcBc2/z_^4|L}ǐЕOž:_asdĤXͥiN| )͵oB/7)]/ݑf{Z[{Y%w2i/Z0N$1(jyu.#7IʌlβqxZCV00J;`W>oXy} *%T<!A˯6r/ؠӦY+rLѸ$_R$6,BNF4G-܃C eBXChJvZ*L%a 1pVmf{2K{H>W߭Dahi6©q)G,܄F\T<̙ KERuSo@XKVGG8:yP`΋Bw헍/?k\MYgOj5=6> .֭~4 {IkX\Hcӧ='pw!Knyu`aϰvf&3$/8) MV\e$,ϻ'2 ZE eCgǴд2#Aݘ"Oe5@87F*_i?&Vފ$+QKỉbcK}SXXj}3G㈶P#d^tSඩ$*%? da; Tŵ*L 0AoyVX酣U)G%||rFP :yhE^6 7WX"*hx0M|cupp%"R ,aढPJ,@I8Mi۪@= VQiE>j,^4qX]@Sbzn"`,~ cd~Ms)O/#ˊ(g&\32_%xv= Q1Xg>SLC-fc&]^k9㕿g ax=tϹT36RէA3AN/t.UݷYrmAl?/yvᕰm0wVq̔_6 GB$|keld#vmd+U8/O791zV6rd<VԋDk26w[~544װn6=*?H>u-!NƑ4q曦ı};?}JGtSZ={~C17x` DDpmjTR aǔ qƈQW 4C|g8ɍ&FЈk"/]YOHk.#~?KNb$e.;`lbx{G"}ER{!ll'{4aW0Je8pvT#Rjٶ5+ձP˙wte7l8^W " UW]ݰ EsKٌS2³"L<ՋƘeT/l[}jgЏQ!0ϕ)){iQl%mf5ngI͑Ma|s(XN|,"Ϟ;-{ӏ$~-{ߢ#5~'}#p-_VA&#@%J[݄x>|`r-cՔA[a@#]TG!1@}lS꾧ePbݛ 1/NeheapΊp@,XJ3w!%\ozP~ViqaB phh5u"}WσqnA͘f@N܋uX֭ W"\§mVzjϸS;OVH3ruf?ƒvFFMXUFt\hvؖNOQѢAlf7A$@ Dt0NWoDs\&UM%TvmD RS,ن1Z+svs1fTi؇|49?"3dj?gUr8h;j a55-QURuQh=5$HZ|zjGѩx9Ƭ0ʯ|kPd謬Wz"?Y ~)N+&g359_,E/ Nb<[R?/'Q"H~g2* D%aGVJR[6FTdiٍE{[O,Jz?qA,k=ZaƠ|I2h hiy-YqvKt]IZ4OPv%dٯaFɆ}@]=rBC!ԯ+vox /GO#tlm/U>2B=VĆƉ> NQ)Z$)?;r/T~n(¨G((C7iaQmuS?, g.OIIO;o-8Ɏb"7ynm 3/BO➹aH߰Cn`_%V,O[ԣd< .`,$lkRl÷zh$yxn&~2gkt³wȖp,33y/ kHż%*\ff GQU#Ӿ5e(\˜~閳n^Ij9.Uk}n8Lŋ`m-$șxlʧ4}YVR+zN]C!3\S|^BV8P!}BhF_T 4d$8_)UNYm4xʇbc ng棖.*\.?caQ WUqu?h$~wҽ̒zD318k(op 1: ]W/qYtFURr\g#GgD3):d?? Z<虯W:" ɾ)ռߪikg~ 19a1\ _⿘VSbM5XuѦ[\~mwmR;'L=*}3GJǔf H+ םOX" )6Gs }c=$X=Y$`CJ 7lQ0_E=S&P#^!bw/t/~YgZu 4>w!m|"6 i䮵w#SyWԕ/4 HaE~'8wQp7 nBU! 5"kM3*z'HFW&t,%e[+1S R|ɭckߦA[V 9f {=Q&7E5S aS)q '8Ӕ(32,Es`._Ŧ,#t]Pur:J2$E-hv#@Cx+ۊ ^SƀR QLf J?e#.~b 'K:п-5}yC3YuKyZN֡˦7rmImNjt3#~tZ+ZBcrdP(`-PR,XBsג/$S J]vbX﵆FןQ8^`zpiǂG`eQ'L&IJȘ&-ʜ[Iu ;0ʎ[n"xZB5QK5~B5V1$~bR)1H6f2>>v!j^J >*sژ~%3d;Mq:6EK<ӨՕIJ(E-'!KdJ)z7}"b!a%f ֋܎f\޽A1=,XeRȊoe+<>)~5Xf} Q6Uɢ>eA kHArP>,!3uoīX =lC}9[6Xpم9hk>F ,$Z-'$̭yo>K8ҏe!eo3^Lݴ\oN@V7MI7(+j¢5J俖4bnѦ~O&.cY.J PH&6Md,P:SG0l !D:c `KCGyz$xϣ*?j^8nғ*&dv+(ʴ-U-zp.Hr O < Dtڣi[1F@ܙ~l6 *5AA F2?M2U$T O ;r|(0i}]Lz.4}q_w2b F>ބ0.{|n 'kpjaq:&: Hcm  [ӈ:kqzqwr w"^^?w"C%q;1U3^#БеJ9w~~/@L2W8Kk'sy*EM<HFiB0 E^nʺaLJœgije[~zxtSE"?1 ,4w= c[7hH{$Bᗾr<ȡѨ AZ?S2e1_&{,])P@ڞ%+Gߠ};< .fH&^J;r4ʤ4,22On|3:VnGt4^#$|*w+uɉ=̷X;!GrtKP~E=|T9u*ꐂyԴRC\ d`\o.q5) 1~%W&GbЊ`ғ6ݡ99or ;%uϘGBڵ1:K*0VΌ$ ~*nL,azz]=(DQճ}g' 3oh|"?&,dOÃ=>[Ch'K&NgnD階͠2CMG֒毴"@B&A^Iv;-DZ!ARd RCW16d_8Lqm[\ZW?7ss0Eu+Ts)"i,DEaV[$%[!R:T("Jdv!{(RSL\I>Jk X1:?n]d czvRׇ`fڬDGS$Ǵ? zaGA \RP[U( 4,~6KFoHXN4lRi gZp߄T=@\ xdț s&xVIvZ5)IGܒah'd1 Uty,`qdctN-vy +,\s YA5n9ԕ7 "fSŎe+K˙=0O"sݹ92aKC~m[YP3Ӻ238jT J}GNUK5ϕZ"H2`$OU0:%- q1(a,e],<_ ]_V*$=H?bD":ѫ(]JH!X]"r~t˵~08C{7!(CY{mHxcboY~poЯ[E@r G*]x `0F mnn%̳dg<0 ^l.?c4 nx=ICl]q#z""d1y˒z'w *EfV) >3Ѐ!K[6G+@Aw|{M71U>x A\Ths2v%4q-ƙ)Ha@L"tL8,ܔN4Y_t>n%E>j$wEFw(yw% xsM*9sX" \=+\M;Vy}S(vuP}[߲{<~ހ@/LL'n8gJ ?Y>  K}(㈏u/L+ V6 O҇ PELCyޥ- %s,1_׳T mr Ozh%+VQ]L5Cqwt mlyuUQ =&HB$]aOH~tceFlc7.E*bɲuoƟoG!$@xʀk\jDrw5~65 ?aSp({S \=r!nk#+*@MZ+]P#|SZYiH^v g9^1 JԻZ1:u?`aOs_/ECޙkmTF wb&dOhnOPi2);GΑ?/{p]p}t%V#*˭OGڸRuI eDSDnաtx=&w 5I: l4aRMvLLRRKMLЍϦFE[@4򆓂PP NuCv w#a;<2٧FИ' L^'c$ꆭ6*O۝Kގ$2 b`^uxi5xS F˪ܡ(ܩb~N}ng~[S9Gc1~k ڦQ:0ي9F?,}?w.ԁʷ$$ڇ59Qzw5%Q3eYD*(j(H󬘤#G&i:1D{ vl+.`":#c&^ɘo ]Kq,܎~ąUpv W?m?!^ݗC/X>/n$IA3u%frY(.1j_:{K9dĤ|K"~R:@8֓&/|h{e9GC➣{`;âOv2 Mr A$Nj촟 l2U2dO,,І3\:Z}D.{&`HlmAxRNZ[Qښ;7\QQGc5l$>͗љG-QQChPaKP]n/Y(3ENMsё0 ]Ӝނ: [ lVPY}'0` P谚tp ǘJHK  T}%ފE> 0zԡ3k*ɦ_SD5.O L+B"iwyW x%F͋=X\L@! /fhjJrhWC\/A!. N$m _!v!O13>ςvTUc&RSKXdkg7yvݧ2b\K6\m)j ,a`d# 1kfx-HQBLE8Pp7,I@oy\Mz &: 9L{Pzb>(F:Z.pn2Pc/L3c]d> z6"C7h ]p6,,fDxMAE59mݯbd̞.Kޘ5v00kSHM|?Valwәji_vZR MyO)9]i2)cdh 'PNJXWrE㗄 XZXaqk D!w _M@l7:?h 78?C~@Qp~% :\+So$m:<\8=a5C 6FҸI"Dx{?Y7]z_#nG-DZW@V`~sk潻Ҳ22XՇ|6fT*͠?ѼRHH碧e⧧ dŽrM߀W}B;ǽj,;qCݏ[HJhU{Nk-k Y:Z6}nTF];tfȳ9uN<29+Ssl$z?Jȇf%դ'zA7p$4QOVCْ'% t@2i@w:\ZmAEa@8I,l\%K;1cS<dN0YPk㍽.f!th1'0hLމ6B C?4q:1)u$ fFUZpU ,"j XW:,`#>҇&٠l4t;y]᧥8!:V|y?];$kBΑ"\ 9pyPqyGiA~Í>=,k܈f7F3)cm [mnM3`Ȇ4ɧWZnC9nmb@Y7)cH}!)ׂycH ΕUa:slj~MܫNNO]˙vC&PF-A[/\"9 ',3Ӆ\/;}f hfSCa_K CG#ȜODV҃&'Pΰy r9 : DȆ&o=q{B"33=v'q#غKS'?vG|W&\r ~u`eD}n @ga 8%Vf^=vE8cӀ/ٝ;<1X0vݺt!ڋ'm̞SR㯝6 u6KR2A4aL9{Z~=k(nl/O'm#;=_YCUT7李X{_ T]>[ZU`yR )\KccήՁTG0e<6kݜ&&ܟdzKd@GH(^Td}lD|0+#Vg ]]cw[:SAL.vX̃d3NÇ82L؀#23+ A(jP^ ?CKgY9k+kPH)Vs҂$x2?k_K9t<ZP!u$IQ2iK܎@!D_ieDޕaА+3 b;!cUrnCўUbMʽo[`QOGP3,n@L39J5d8HZyiK¨g/U7|#DK 9/]VFgHE:Db;bo$$aVUuP9+jqyQ" jkp9xaqRAl׏ʁKvߥ©XXƼdA͹Qkc"2X({ƌeo>j&ѝDqhu$K6b%y=[K-b7d)vLsǯUV/O /c0r9`omm;}-eU{+WY6BQYf^ e Iw/!y!N'0=g#ZU-,qZ8B=2kAdͳ-I[U,v::넮ϲlNZe v22_ʿNMI31sTf,+kT$5Ν~ cNn*Z.b!b>JbU1/O &oZ{u`RK͡KʾyְN-sy/48Kנ{LkYd`T{+PhvֈϭEfM>{5q !C[,Zu:zi7EsrKJ}`_m`=WJ rrD18I]uZ4a2IJ9+8\ P`e\E@]]Ԥ {]"qEmh74m U:$kK*~&ߞ{d!6ɿ-Ui8 H1lA6]3ȸ.ł>2`M/IpݟpZ1E^qplt#EZoЉѭacr NO]͜*VS#Meb׋2@O 7vzNQPiF1D)_Qb:n^|'+ 8Ytc]""@ 8M%ҩ L<"w 7S)g8qB[/aoƬW$ҁYUgJ,mo4%fX 5D4cZZ 82fa)cDL&*- ŋy*m7"IuKX-\-yfV Y2 1o!A{>>˝ʞV%>H þ;=+6ptJ $m'Z9"c)b%ᆐK]ح\Og6苩g *tBCb1XU  *o{F0GhgYZf24b13cb46f55c6e31a0b1d803f123c7c5b031379aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b