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  )5tl ]%]DynamicArchitectures:threads=4elapsed=10.353cpu=36.132gc=0.8127zXZִF! ܪ-]ŗXiɟH)0%o}Z I-]n$g^N`x{Lv#+rӱ zUt{ ACc]hȬW Y6s׹ e4tXW''SdW%BAuW<\e@CV*L,~V:KϥѹEʡmǏhcO辊^>/LffӖ-[ >~X\Ple,v4>9KO(8@:!24OnPl(H]ׄ)`2o7uSv;q$7j N c9.)xW~Fe?:عvdςyBm RVo8I3$8<,v|ft,T8oװdaFiY ^|y 5 DynamicArchitectures  G5iCXZr"x1Rj `3lMm},@ UB6{)_>ۂoU=B1{~\aDN ~g9-%۷YfbR({Nh%,DJ6ۏtsUʪo<{v!XkZI=QXՑc.DԹϱh{P@iq=BmNv3(ČJRmɇ:>wfzZ̃޺4 c'Ȏ6%ԐX)zŹ\N:dUhۑ)ؤ^K j{ J"o]t\PБZxd\N$뀃 YH;Lϭl\PxAyT]˟%m0{=/OyT82g|NKtMa!@.E:CoD>,O@<_m1Tk8 3+I E#s2o&p0}7 ~9?#͒CRL%˾0˼2~494a) :Sl].:(2;x^o1YIbBD95W19?A޴D5Y%0quq|i53], H-Kz5K(X!QHZNF[~T5tǻ.ZFQUȶ(>= @O#ɚ8lH\]`%6-?$~%lS3 ]>QU! 7Ã1j;fN=grBϗ\SmA JQ3'* <ơzӏ9C^Ҷ68Qt"9H+azKv'0~Wp}D9?΂ _AGJ ۝ &);Urލfe+',zTy3 E?9ƚfyֆluGѠ>KwRtsPN˜_?#d~6ca%}8nãW$(3ԕs8vP'dWOw`U} -uװ)]'Y!u }x`h-'WHjx6ZܭC(M ,\ȕA LDFh|FOZA+϶W5BҖnHkϏh'Z7'b1TOwxwK C᩿ԛw_LR;B}M Q& eRl&CO5#5h0݂foKX\ho UDUl]c<Xtة7?8u]]ўZ?x=tT pĕ q% ,o?> Mn/*zSHfzov΋?+w4 *(LC M=-3|': [u-wq]=5wTSU֗FLz/!zFaQѡH^\5`Ua`xK +q־a4]&jT=̚L8nо-_4 F:k,GNijxZ)v/  &ZM5N}a^$iFX$H]raW w:؋r k[ˌd_.ȉl&%}q<^3HNy R9 s H(g!3?a&3!ɦ$R2QVɑMrCaGEן.~cBp[]Q7 &&<'-9sÚL$7|nd܅.Mٜz'X+g[/eh=Cp' }SMmC=M-}EDL#c 8r,N}JT|'JL|'(D!+ Stx.}anvvR]7q6;@< ܑ .3u/CB7:I  Fb]wSB^6rSaD.e6Yߜ/uزqe.P00|lݪ+=0ֽL> M̎!^6ENꖶu=f 14a|4l<[R?3lR"9 ʭ1,eCܕ6qu$N״zOA'-lү7jxY2_ ;jqi!O|n2 m6.~+l@BIEƠFF԰rXA=^I٧m sMwBaevb8Xb*%G;}Ǽwf hR@^0T bp!Xi [ m$xb]X%F|v_OM˜+i.-3P>58.Vʓ$VDHne>bk`GeLc]՗5/'.Fl&Kqޣ cHAQs!'vO!V2|iCՌ.Ɩpy48Q8"s^O<ѹ0NFzú )?U_.yh1ư0 DlC(%N|/0iHhg`2?zcXbMӤ]mĬ\Ե?JUzmA㎲e OoCC W;;u궕 s3-Ya2m75Y[B]å:vk=.2H@-_X*B_f Ictgwğ1)΢*^xEaN*U=zKT#9ĀsE-0,#0hgWC0856١bwZZ&F7U4)xuTfcl;TOchEywv 䧾nBŕ(g.*qap߮64-SYxib1E?4ƒk Wg` jqeL?$>98>&ju&wUFLbJt5@l'Tη" >wăpP|Y U+æ- UK.|hF)qn*R IO~˲hH _q>B4z3?oW"Cl죏qIl~64VlC"Jؗ5㸰S.Jҷ&H0F V6N:]);q7҄k!NqJʥq4|a? +jc vNV]gEN4DѣjXzgKXuxOW\ada6}E)vAs 2H-UKJ+TWn|9w盃MP2RЕqyɪY A&~Ն;8)82DSdi͗+zOP\tisʨ $Vx:/=\eE A<K*AƜiQhAB>}=/ThνOEm+l2ƶ U6+?J0CIo m_v\#+k8c/`AE|CBn%Z}r<ت馫5#cꝲ8-lh3Zu~~6l@8(SfpפUnmFBF|Vuvz-3<Y9sEŇ %F "G;KKHzԊ7-AplĢ eѱ3oDc4gyЫ"* 8'5}pSxt.J%;fOXr x:_~.52Md0Z_hFY~z 0ܞ6}GufۆM;իוgg֦= C̏G2IzK#Gl6 K-Rkm*3c !*>uPK=\(5}@:(! ˝hxO%G+HM$O*^0P+h?.TV Qf)"mW8Wq=&KLJ]4-!",:_ZI̐ U]ҷ3,'Jb|&c/Ţ4j[r*S֜S$>tR[Efh`޷D‚Aw2,T Ļf*i9?R܄@x? Gz{^!qXpk5Iaz remXtD8)`U^L'L;?wm@\y{EpҾgw{nNtqkMhM<1>:V  =RпXk+hꄖh䞷L(ZypւbOm_yx%lX/~RQl1 pupֺjK R0DBZ 8و=d2 +9G,McZXiJNO ]#|mMa'_uTn˅U**c䯅u4go&#!!b!v#N* |pA-sLB3ڗ)[ $U>PӎߣY^]Y\@ڰǻԳ/=X+72Pj!ҹi`8䳶U=(,]Ӄ[R讀#_ 6J_'Se7.0lϊoRYNy/-; Xn^#aX]89n2o;rH&oܾw0x K_EJ˼| K.Y{k5vzNOYw'vd#XnS}5Ϧ(e5ݸV@POtuʚO 2ێ2ZگT=%F*9fPzMd&W(%z]f[,[h\#WƳwrL_1 |$}"=!F!l*RH9 ~+u7W;nUb;ERI5k ~`uԀv!4bw(D0ʟh_X3S_b @ ͍AWغ45GF%mj'[1DuMN_tfgء̢EG'B`?JYEFՅM & V6:|2'̄ :R 8k)JPl%o>)C,="J w 4}A O7p&^poCMͭ˝Av쨛!vK:t]pys;7̄#MYHU?鵻P:~?EjiWgm#RhEMrSc!}4یB\b*g)Q(7i9 9h: BAXV6 /lVr:YG&mxӁ fABX^/I 3TnbXua7Dp+_JwYZ(>`t^: \JtAa+|kK=4"x0]WɑE(Yb,c] 7OU7m=dSzӑ6dtqX~g?Bp H_FA[äh DضXXs󨤴UE6]t`/ .YꌦV2az(/rЇd o69T^X5{?/&!^{ 豪oJ.S4|2wUMĹgLo'Y6Z1<*~&¥PvZ-e9lOa`WUvbn8`lȹNq./@9n5wY|B"_8wȸ %\%@ۓN0J2x|ѕ38S+6YjMwFrm$GϡMEa`Τ1Eh}]wP N֝ɯ99\҅n7~HaZ tۥKw(krHˎ8-hE.E#il o|7߷%iթfyDcNjAI.H} .{=gaH!uHTV8-hTV׾uiV:k\t,OK@ )hrѐGP)Hk ҎJ4ڄ 77{fi2ozjqN VX M=9r i(PmD/?eN g>;QR{,Tn2ZdKӻoN঻ny(gԱhV <ۧlNNYn]n+cJ XvB8I3GhUS7A&I%&Q؄Z/sp6yQ~ay^xiRUӸ21q}W> y3DBpJXovt(u넰 ۅ8xT52 =KcwP'?!DL੎W(VQZTȥO]*wk$5:Ƣ:4$[vQ>Pʝp6qxmaٱb_w{n4o1)s|zBs<ms3h >=*X]zlf0x:ڱY*46޹̦Vh[J ?rƶ0C%3Dx1rճFf&dFQ6rp&c5'RX\+_6;zT˒(sźՄ c9ċM1_Oܷ? K{ߠYJ}(䴒˅Exykbs Hb5IkxlnZ~^HV!HN5=xq32Z{T쭟!KaY4t7f``,ea\)&7'cɰ.QQ] 0eqVb)%k|Uz#7V$gZ>W;9*݃!RĬe.6',?dX( >3O2] "'أU!FpirH4[ kF3k+В[1hLzBwT;(e-,1v{'')޴Yu-ɫFm&."#($q`\c sVB變{nl\x8ƩN kT]VgÍIZ^2G=Lv!oh`B6 όdM-l1"Xrnfmc@54Va8ɳ,Gcp!0tߺ!w0ݴěW+OE{7ɱ7!ҮZy<<'bgN_͟ f^nToF#m}jN""I6ZF}ӊpȅ\:p#~O 5B?(B 16ցJ-ڭ·ajG146Uohyk~Tv;/5):U)t+sCO~1ʇyjr,bL hNP.BrgaR>6Qp"}W$oW默VBϽ~-Tmũ1(6W#8/tlHw?1ًuW叧4c(A |1 '|`kUh"IKyJ إ "f0h\yj<ڋ] 8K¥c䋛<"%-Npu)G]Ӭ{ 7ңN|e0K|owbpS5Y|}>ڻW!;ذRJ?Mq-I)|GUPo¿ZTJ=_{?Bry1g+\ٲ=xx} }H;3UmW]pMmfs:)7(-(;#^{ Tc<ǐ$d֗݀n'!YsD6 yP ByPON[lW"2QfOT'N9hC{Ly!>\,pIov1[Q #ťCcH9DnHfHQ <Z*;iآI6U^-I]I,X1(x=(,7A2j=_eePwoG!l׳0#6!N>o>Ȫ `}T&ykrop֗[Si0^]c@PIi[vBhqXwRJҩ谂9̫?&4#?7HsRSƿL3!EY(T4VbPߎB/O _j㎨YFc|~ 1Sjqxikց9qx#V&@շWւm ՔV5a|l$߾JEcy1QB-ڈ7]sU. AĦՒD~. ЃM+ElEW#0F %N&H|D3[L :gЄ!sN6y?.6P1ʝ-9uv'd|пGTRO~LJ])8p!Fp3,k\G`LynBԴ]٧؂HxbKs eVmG/B+Ezv$P1 <[88zgܳZ# hnxQFpz<{eàN TC[^iB_MxDf|)ʭJQC0az[t$] ڤUtD6|w8|1iBڡfL 5 +2~p2}nk)Ʃ*7Ѳx`%Te(`lL*^(Ҍ@=,hx?{:u6/h#.uO nͫs{u;i:cc]467SHEl=, lR*|H:R ks:=nPf Rdb%=TJh5\]:u !pRY3IwY(U|6R'YȲر-G݉O^f${ YG{F-MeCbl2|l19@1C+w4m@❻o.ubaW 9cYAF?uCr(<y!@Px?,8OK ]ԬkJ!R7F!@=B#kUE@ vx$%j{$X4P_?QO /ǭ7) [M4:{#w>c*75}q۸N^U4~Gq>o9A1\W >aYsj]9汷f&W)ZPXx 4?(H-*D6 QFk fNhda\34鸂h[p=]Y.ضZ^zRBb7J #[ B1>4_goYNA"_ )4;gv:b-Fv}UKxHY :txdZ`ZKT9R=v$ms$Gl48J(aN濙kOQ?2B\B5MаX$T⇿`Jkt].&VfLr j#|h0HtT$G8 L&uSW]1݋7.(M#}맇 П`$jq8']aCw N {p,) hm,{/{)I\j,n4Us+\8;ʆG)RU 1z#J'8SE'Rb:0 ;'l@E$ׂGP3eAhr)@toVNoS] |6m/k>f#TygfX|Xv;ߙp!w=|{7I {1LԶSXN5r ܵ9Y[cP TDٖhhVvrx:HFaq%k|{J4xBpR=| GF+,V9t_8z4/}_8ߖ 1 G|1gOy T*m=T-X"Tf=)C9 z]dkл5Sa ):x@8ݍ)!휇!2V44ЄYQ]ם(ܺ(PM>`eAL7rf)@bp<œ* iYy|*K8gY :kL{4~w *qdQM8bͩ+O?K"gv BVWW纱笝ӵb4NYN HVPSl|94ek j3EZ~?ʯ > ށON \>5H9gPWjrR/>O:͘5 Sʼo\5In&Q""Yb[GA>uX6PĠJWU8<lFvI[yůG冹 !:}11nU>u)4"uC8PsbSz+6uoCqfuedU;ibw$7M+MbvF""w?vn5DZ@(ژF5J́i^ʐ7Fz䪕<3:/KO2Ov4B_a#!vLUbB_(ȻjC^j{5'XQR6'߲3D\*.qoBQެ9Z@TKJE9|}@#`ۀa<,\̝ ؍!J-0gCO%x |A֚!s%Qʡy/W=PâLC%DG^)| o72K88dw{ĿnV΅/dxi vNդ ky $5nk g"rX6V-b, mħ!;Nk*̲m+Ru /͠${h3u qfYhRVC 4qb2Pէ/^ C%y] ^Y&jZh͸EĆLRcF\奘F/7$uh5g}Z.r23N>@*:M>ػStz]sQ|\0T'}V}[>h#)g&',x{3mv<Eeʤ$bVqeԊDX[%n953enݲWŽt49A9y]qY^zn 1|1(6rG5ݷHH 2g3:”]x'}Mn0(ȡU<0bpN˜<-@Jr_Eb[*'8Y4Hk~\@ɍ鿗#-+۷׆g3pÓ&%ӹgvsDQ2"ݤٞ+:mh㞄ѻj@ Tˍ`ʍQ'[@aLhcWyuB}oZ F7Sig/쏧]co'²2-fFUP6Kl / o=3i/j%a^Q`X.'B%@6 bFx*%0EE iU;| ֵ.kЛ\+NdBbTtά_C[ЩP4]Jߎ'/6"LB`McOlv]{UfsѠnvt䮚{pw͏|PgM#" TlFxc# a#evTt NY]x"[TE>RǴލm.Hěgc0Q yc?RB bZg-<x{HDx OPw6>;iE%":z'zxG0}Z)Z,ufC!&a6JС/ 9nCDM|\xK.*Vs>" aSh9>4n)1Qy{6c3(!=SEeDmr;P'.?|(g1f̜f<& м|mQ =>7 @b&!F"J0p'< %@~zBjΘ^[}dsMP=fܒ4̷#vyu2 *= _[|ac[[l g.8%eƜCD}6240uzo-q2 "~9W`2 P0'b!Dyts#j1X^%Btr!pKo༬S2ЖL*aB8@EI2"U5].`džhei_#t)';;eT0uo~J w2ck"sꑇ>|2KOפ%W`blz8Inqγ"1O).Q!D}k8@1>ݏCJbv+N7r<}(;lC4PGP¸&Wy$ Yd4X:XT$c}Bdegrl#Pi* )dͰ6T^!tn0z҇>2. %\} 0Y r M'e235\O=?:9tpӡ b&կ("bOI'@EI?I$M+<": jΔC ?[r(Yw3$Ռ6ZL]I?MV$E`35\*s!yw* .ʉa6y^ XX=)N9ļ9ku B'(yLK'5puѺYO {85I zΰJ|<=Emf?,‹|m1",h C$+ӝyՅc<POahbGEHdq9Pp1 M Gվp,XYcEcۢJwAʤ:ҙF05ir9_}PD1黬oD酇 ;I^bO ܒ*i ;]6maE6`MUØ:;ֱ+PZF <6:8? h5 7t'jKz n,.esڑI Ojj9,lXfUdWv%iL)T:*8#T1iPp%@jD~^G!'w+0DXG!52z砆gk"W6-!e`zlJSܑ0X̲'4+xMg'953Rf܀LDC &<2֩RfHԌ^}ېO^ow8d ;ڂDi >Ex§ (ɶEEYE'߰!1ib2AԡEX-[U2h97\ۥ@Ac1__7Ö+ڿȟRg$r~5L3=ޅ84s'afDmOt_8>%1e Ǧ{un|SFa1 {u2Cё#ΈU+pb ΡüCJC1EXhaa%0~߻U 33c(q?׉=Tz# ?<[qcfG'īu[)x,JiS"ep`?`l#G0Z2ǡEhAFAuߟ'],8gz P& Xp, :fbl\l?Uya~COP U P!H=Ul5W_DUT4? .KB_n,fnAje.dc˳}rap`gS"猡%a:1Y49BlZ9Y浄vZkbLYΎ1B#z^4=Ek ;5ZO]|9(k޷NRDMzΞ%LH!Hzv9ڪqV9k< "0qw9#yKisBmM]IC^S2OL<"PYK.whs#̚&@ooNW}1{j EMxSQIX[C.jmK<G}ԩVpgM<ڔ6w349->;JlR@Rk] /W;]lP.tD(HzRWkcR4U9'Y0ҹϧz9t#^g?Uj}ZCZpx47-)\6]> eQt<4KD͐1%FBuf6%yyE9ca20٩;@Ubn_1]4?(+~5x"啋|O/hٙIo8v hkɌCԲl|_i#ټJR dˆr 6:fBY{E#@BI>X>+t؞4?SBfkCkE`,Հ^"xd,yFk p-(R+qψ2/-BjrdݣʋCNYizAgLLl0K`L"bp]ߘ̐!Af&0B)Q+v&\7moƱ$x A﹋BPK1>r/)-֍ym6tnbO*JIv1O/"I̐)l$}9ŤTmc~]jy/TMƓM@^.g(Y FLO*l7$sMa%]G$՚Aв; 0=bEzw۔vJԋ,bJy^&gֈ?gdzﹿx-sLUMڻK)&hi6QO?Ѯ:(M*.tNNo_%̎7zBNr =r`z }< ю|M$DgfB;#&)83Щ=W='?\Oa&#rP T+"^ s gc\dqe+ٮ{⨤[ANWíJx-BfUBH Tio',Kh&Is Q@0*HFn񍹉ϓ{A+{Sj5|ٹR*p>.\BZ5-uN]:FL|"+hԌ VGYkdqGtI?S_E_ǚ9]r&%@Wq3HQ4{5XXsq'f^ms3}`ղF&#f{߹ʒk>+Cأ})C*S446Ix2}z%G#DVM=_r4_`[KV{ =K%Hlq tI .{waX˜^]Qa@m/%.9,5K4NIHl`kE!~EYѐ^`G49O7_ ӰR8kܫf^ Z ,H\09&]SvW{Mv\~JZ %3s0V(UaHcVuIA7BӍLmC)͍"4^q։$/&=y^hزCxm-ln2C S4ÏΧ`#ͱB$< + "'~|,>UZy`Hlb١B.:sޮbmyدauxW.]w snubr[dĄ&#:1lO$ۜ[/ddU5\Z %'[W;Kjřk]ZQPVXp*XO=*o)lEymF(3L& ÖfӔޅOߥITG f <9_ kpZ sSd&E4TG>E#k-AYW*>*T`0-WAIh^iO$SمD0t" :uVa9|ugn ^q%fRNFs'v=x>I&# " '(+Z3oW0ʅtB AF-%mv$Cz؅IO I(7egNҶv%gV}V7k h 5pbSqnUPHĵtOe_pPEkU4F u`:0JRC6RB-8qcU[(;KO@=8dhx^֍PiوC[QXd˚^$tb2rv0fDRSz{Ok&:yYэ'|̙a<8 SS=$rdkw, Z_A2zi2Illա F[&-03MKZ艊bK/ g@|xLcvS7jغHDݏv*;1.r$NnN7ջ$W4&gG(-W.r҃Ō>~,3KnC'Ḳl>BR"F'W.43  AT#ܤ*D !yo-#AѮ[7 6H&;m12lTH?HHH#_Fzq&nS"|!gTfxC !a;}D*d:{1kݙ,zrDtHÆ>FZg"8`2ܨ9.*1Wy 0$: =Is@ż9K\zi/}b_T'PawtG3 {Y䴞5@SjKa' fS\܄b?5+ 8b^ӟ鐲"K#8TE{-EPvIJWLD4mUxa5@OǡTuL()a,5ms (g#=x5K݃0vݛvZ֕"uDf(%jJLo)_%(E`(l3fu4v=Άezuyb, ۄtJ^SBG:31I ^"7j/Y4y& [06oYpHI@+6~dmJ&w#,2)U0ծf 5,L-JĈ3z ~f0Jq*l1s; )vgG +>(yǞ2DvSD-UvkY"!yۃR:ׂ!Bxs/i։4PSb@bH]p寡`"*47dRXfy[0-DhKjKA*SϦcpk.~UV$0Po`VI#Jb~JaZ?ARxae*nQ ,'/ѹH]c8hpȦpCLeQkWN4ʔ5Fe(l\=-`| ewLȳ# nU(AtSR&vKݘul*ϳ- p*w D mTW@|B3+9p_ mzyQa,UcNW<q!q:5%v`}m O:7쇤KEG3iyu}5M*wCEPzR;ҟ"NSpX7aecaDR 9P@}}RcDHoL}n<ީH ThFfm" LgAMK߹Eǣ8L|hi\A:Աfw.bYv\lEvȟW^BH Brs,6QuYQ<œO|_c6 92wA5 ^aH$O_# Q Y0t׮2+BR"G^ b>šs8{P/ҶZh=N vs))p%B$D=*upUojm [#\8d IW_|7,lXզWoz..*;JĻD\pš'l2!x=ZڲX{R7#]/a SյI'tS xo ]O`tDZ:hm֪W7l/(S D.򸕝Y1#*!EhDž=ʉW /=6 ֣=h$ZU3 !N(0*145'tm BPq9BUEPl4Gz ņDQ9'?7UÄ^#|o ꄘI,C`mwVOQ4c&._C(>78yR|&]8gi>SS@ UdI_&bLUṚ%:@HnCӰ]ߘO;7Gi(램'=)!sQ?whD\ߘ h`3A9zs[-Ju0%&`1ň;VW=l)$ǎM+ BzԁvJ&,5 -s$X*kA7}ihpt{|ےh n2یu1 %Ă^҈"'m]vs8*MR[Z"\ձ=TY|onC0'!]_y,)S( s%+88ݞt Hu >*IFRg2pCr&/| *[5mU X 1屢$ikv޲t3Sd93T- >ߤ-DCAgjTocz`!uclH >|JW=̳;4% SkI:֘'Jfw:_YkAڰ:-ľt'?"COu1$Jצa1ݫ&>g O5STb==(_Ҷ].{ԟ;2n8f:S[;w5 H3ڋbXS; 6GB>Z ".yXGseHzAlQr,fs@SWQLRӓl0uj."˳X6slK_||m:4ŰO9JC(CE`2DI9RlE%y [aE回 h `FfgEIul"\`A(vsR:{>5g 9 颈^*Et"ɥs C9fjвnA…2`ff7C9'XWsm܏_u.)߀닧#-{mpf|S?920y4S,OY*D$n®£L*M+inټ)PO&.RVK0Uk:yFh;ӍJ^RE0|Syu8įᮝ@&N߄#7g:OE̱$=qy㉻RJe 6&QܝzI}>Es5KR~>r^ ͚&S*E3j[pkL>? Ŕ.+wEV\WS(e>|/_8*Ӏ 1ԙx8̃^]i0s4gsfyEƖq Fk vs\+&?#$sI^aj؎axqi"65ژ@2I&1*tlϝ·DW.0Ǜ+x?[=,il) ?eTrϻAqz7Aq)lI!ԯG],Cŏs><(=ma{LQezlYHjɱ&" Pӆo!%P6jNy&CmC`b´X`>5e.TNj±k_vnK Q97,Cu9B^ᾚWD#^)3 ΁pψj&(S$la!*<wF|"5T+|}`q,w2=[sCZx'mb,!N^2e˺+˷}c15޳ti6DaAS\h-əyXs;-J*+hTP'*5w+|GY-!4|| jr**{b}Up0;:au?߭ILXFKS !Zs  =a@rmp.LQ?ޟfҸ ZE_-{l_/d)Qr)%{kZzzOvehVG2&ց> z+uyS`2\c>U{+c7`gcFX_Ls|` 1!Ez 79*!R{Z>[m(8T49Jc,bja/{-G!*zHTZD[,&]1KGrCѾm + (2'P hY/ ~ϵ5ȄW4C.WڲMK.u(~׾wNi 2S67 -ǁ'K3SNC83aF㑏=R5_nPڋ^O5:mB޲!k?"͂{S/Rh2 *}Mn59ǬvgH%?뗶8"U cO?~ۮR| melxSI%LcLīBѽ2 "=EqMDו*=@Ak!bt&~N3I_X }`1+MiffV 67.ލՆ׽E?wmTbe38k:t2.P*FZ e[YM]7wu ViW /t#ahsvMqa9y]`IV583RSc,TݷjLgf3<8Z~(>C-rjbeC|}8naZ͛7f_#}s$6=Q~(;!l2;+.'~j7R,ȢN<@=yY}OJ6 mvHn'ZT/PaB+/@ K#agQz7$$}&3:K#-vR=g:3 QX#-6 p]Ė̏,${D;MkյSxS`@i{3>4T39Y~-995tf{ |3(p=4:64\=g#cZxs "ߦCWm#uºndVmz{Y[xxg m̡;N Fw*m[B܄:eF7hߨ|EߌL=)b2 v'-6q/X4G Pn`qd^w刈-Cq9%K.0}Wɜ *R9>l_%Gwlkj3 AXmӭOLzgڒѾ,z 캦D,I鯎,c[kǁ(OB؉bxXWpQreVrMۺUӒ_mtj/E?G j4T NT6#-ni\I|ls)Ef~ԣQ^+SƑ_3:m?هx)?>M',%.6$DZdr0_wcgD-֬ߑ% ٶlZԹYd>%WD|݈ɮI]̈́0m~+U dJb,6/ iLE~4FBUAٮ]lNo) O!h\s[~.,%=GodU>|*82ڻBj1'TB9ŨpTfP$GKկµƁX;AbMTgm>0.2nЎjpM#Ѹ1\޲N#Ul[uN7~tq!Uogl'.Hbd1,^GqB&Xe~ѰD!rq^w}y?LZ.l șXwJS?(IZ7aɜi'`7Dl+FA;ٮ(C~k߶ /#*W{]Ϟμ/|(z5#ƍWZ|P1ad Wꍤȣ*N9u>h9KA5l:.^jHy5ʷ-HDZdRǬhCtk& x8 %RsB6I00JX3+YTq*Lz?v:9`UJg6 l>@ZcDy2j$4;SE9@ǶS 6]I#4cM).up9]ڂ#66"=}s :ȣ-EZ*.l+kMFUCs7~KT}.dǰ0U]g,5muY5;3)zfmdma9U= u馐@p"[v$7TܠBQh3EQμ*Y̞e9y^j'JfyY^9|55j$־EX1m0h0X T : ޠ` DQRu68 5aj{h8qx0۽2!|@ n#/z>˝04F>t|4^ed%$gᅥB&FŖ˃חЧJ 3%B-. µb.>IYKϞыrw̱FYP57Ç"c:UF瀔]t= 2 K_cai hdgS*]1:[Ks-@{څtsWGDm|{]fh8C8[bo|G}IaCD%1OjBs|zs>fJ/~[>&Bs<1kRafV?K^~(-j^ni*k~e=ѽ1R+7$kՍUkw'&1MCLC J6NNcPr(oǺ};EFqU>lMoMCl"lb/PRż#g֬b%M#FuJ,&=f&ظ]XFuȧmnX|65uc~GM"Tޭ76t?`Pg,OF dG|39plKuQ4:4͉%dXs4D~5RkT% 3+KNMB€˕c]:Ɠ #Vt~yNY,ߛQR,‹xkݮzH^Ԭe)VHiX߆*3)Yߺ+q5p>P "7]ez|lQw4?U3j{`%c.<ܭGCջ07s:57=D&E;O.#;udr sI?6__Hd;yA[[PHߺ2l"oj/DawN.ۂ^Yc;Zܱ1D-NX[y{NQf%sXԦlrF@ ELŀdo` }=*뚧x̃Lad8Ĉ `vZ.E>}1M"ͬ찈d8BeСKR/킾 ƪ]~0*Ai‡ʢw\#P{wDÅl܌bQ̶?)YKjܑ^ *tL|m칊>Ӊ2o#9pbOPd 龜r=^9:kkSC[eYcrVRzoSb}n]Ց"h0D43;#>X3oKj6$=$U8l<}9߃fk^?t *OO+:u-cxCڢI$y+}^@~՜ed8*t.4խn TDh~1,@F>GUd,yӀ?c wܐy$FzqtťŢ-'&}99ʎK-)A)X~¿;2EM:9 C1UON$W gשaa3k֭Y{(b1F%Z0KVh=ik [ٮy4:GnlWү^tDy$h./`KPw5%ݑqW>3~RTOF@S$i-Z8 jnE;lսȩaGg|ahy<oKߔ~{GEq;. @qmfxu7p0E`B02 ,[q54,lp&> )vJ[!/0@DZ,cjqփ[09Sp«@:XcuyU+Q3st'>i"^v^Tv7+irBP ޴X,X^Olt1cmw7)*t3z)w(3ut)"bS~xfDYuݫ 0"8.Fb0!pCm.Qt347 j\ MDZ.x\5 @p잒}Quc8=i>iT Hdxf-aeiFieu΂ V̼MJQM'I&rfO-ɀΪ!/W@EyJ5Wq00 j0-17 Yg'BΘmѹ] ᮽ% ,*,W(bxzj%2+  TjNinv`xD̾h&UR .AOQ9G ĩ gYZe8091f7f16f64868d4dfc5251f9f0c1ca8f309799aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c 5af8192e00f8c5437235a93a4a428a3694390bc9c9df1b4cff04386304f5d02fd113f829b0faa563