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 <7t| ]/]MSO_Regex_Equivalence:threads=2elapsed=796.719cpu=1039.068gc=43.112factor=1.307zXZִF! ా3]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? ZH+M~;(j; Y F8#sBM I~*iQĒXF({WlAVoҝB7)[[CH]JWn7а9 2^>ʟpcSs9v!vcWef`)/כ @x_YE$pJ_K ME~F/9-qrqG39oS*qT43O|Pm*V>9K&{w&~)TU7mGŃ5ZR~$pwEU`Z!D@,f)N?U}(e Ϝj|DpF`Tƃ{N졛ӂ #, p`VKU?uXX:?Ig FS?)0wA1J%' K;ԍMm&1sqϢBbj: E./K^ O8'NjM+X_-g\uT[?UT 7@kl 9rv8C;J]1zM49RpXæGNQQᐳPTJ 4)ڧiz.|csD7nZd-UczҞ v^' Vվ퇂6Ɋ“ly)6L?*"~h;-U7y`e033ssQZ!v6nXĩkuHFwS&`ćSDm.^Ő κ$}Ɂ-!CG H*&xMٍs~ƔBtݶ{|m;^MܗB#eyX:A^\TuXGr5*7ITpLS1I]bgBynEte{jBpYʘc${Ϟ?~t=gm[bF8>3oՈP_eF(//b̼~rm־(fhA/%ް]sմf*اp8YR޸"pAՔ_jD5Ip2 S*SsOR(Y\C}*m} (F,n /c$a#l忧RD@NTc\x 9UL{0?]~͇ J(S~)t%Hphؓ%ٶlj@^>.$8zK(qIʦ!uiiQmN ѻdQJNpI$- x﷈4ڏ[-2cMe _h|nH4WX~}aFv%xwBfzᕅB#&.NĉYNu$\%- ez,c<ާ\TU*LU_}&@FnsC.U"PI|2ɪ۟!_آ/3F(-A68 e6.U+\5jJ.|6-YIcӽɥJp ݟK}<>ũf_P^s=\]pS qf{펴C=-qԔ#='N5Zc ! ׾<jMGTvW(턤H(4U4':7G :Oގ>+hZp62vFzvҶIG~+4/G֫hwg+)l SFgz&J"ʝpXQW$K|X3RK&i)U8ި͉yو>tA8??Xp#F7mS[ȈїGYP$`,M$QԘZw%p`KWFKT1 {Q($$TLg'ޮd֮j~ћCC۳3y}3SDChxXB90TNߘ@ |c?j_LCE=D 07+s'1Mgv$KJP5" њPQGqNPs/rDT?fFMmVbJwQ1ɞ~s|&U+`R-j5F.T%s1e,h\2xa{L+~Ib|kk#)g[ UN5$xMcSm~گs1IV09fBkS-HA81xħ*~U5dpؼ0'fs(ہ$Ci'*G'9)sʀx#VE\P8F^D +TKծ:D8a2r.Kt- hTZN͟=hC<4 +A/ 9ixlz"!cLo4=E(?o4߶="n/a:*4O75jZ9gGL=8RTWX'D8;1̗2^E)02|)\v̶,\?eHVĄ1c/1ʄnLOn W 84‹ȳUy#i!c6BEYD棸F~-HGڅEMLڡk]y?M ?.ChjA3ZjVLc -t`,NbޏgPN>cP$qXLE۸Dυ&|3^'#z5e Fpx>0ؠz2q3p=KޞQLь=H&ʨ^\!hFz4,`+5w#dž?>W!CzV$әGo13zЩty?J:yy~1Hd!si: V8C] uɛ2:4.#? %Gn@zQg;R,}]D&CFy5Gm''ߘ C]Ж9"/LWl (؟)"yGz%/I|SBz;|sPqCn)ѧLRz"ߕT@.nX1<'G#M&BJ :^%ᶻeBMɲr?+|!(鐍Ϛ#`So|IH/*ńoDGY.QpbGX3i;*M~nq%[H8JA3pB[wś"؈c)6NL^f`pv/M3@䢬9>,bhw&l/qާ^D* /~*m.o[ml?&EƊRcʒ/ $(IMwe9~\MgYZ7zXZִF! ]ŗXi%;iYNZ䣊n]wR˕ryɌ,'$EIDIAD{ܗJp5*`LOP3: zfxo W{P Fx/xob(:a$+ۭLYZRQ#}06Ɍ{5;Nը{#znm;eP0g{s 5x%l1\ZV aUJ\,hxHRP ;]/Q9H$->mA4B|<"RO=0'nSN$ L*kpQh@F[L T˘MӮIfMP#knk j|m[ya9N,9d閚Ԥ=c7[{_69he+xҲ .3ć pK'Sm/^Lkr@XMLJg[o}:Ve &YI%Mzj5]^u`E Ҕ+⟊FF9<I毦_LqDΎvTd`ɌܷWpqBtCB 7&S&-$VjZd8fkQ|]6W+a3=B xں/\nZ坦edė^j4妛l?YA"D;꺌 % 4Y ն~܀ٲ0gk,11t{8XTvVa268;:t5Z&Ja.fH/C~zQʲ  pN} xqgՠQ0~ `č.o61Wu=g?>L˱nB uZ pY"TGҕ},wh($lPb.c+a T"CE6k,Q R:t`j`r,8'1~LbRPo˺l(WG:;󒠑gO%))HL~fQ+V5^i㠹\d L7 fr ~8`;-&N{v'#S-axaU#Ej &qsŌ!_( bQ2}d%HD-*M1׭k+wc  iBVE&ٚ?.]=eH=տz&xzZ@V]-G>nyJk4TvfJ(%q [l#R-v!08#$ >ae/(3/< c.4-NtY kW5fXv̳f;7Idzz)r靔Sb5@68<*>\<=.̟PP6֙WMn|]kuM<r*EwV̱NSyeyW2Kxޛ㮥[ :Ui{31ϨKQ0 (LS[x<jFOQt%Ͱo4FAt>Mdr0z/ҨHI]_?}cdɄfcQ.e3@$e6X8 /rq*%bUyGՈZZ"OSa<;tE{`}Kp>._b;ƪ< 7YRvҔa%W¥:rE/0t|#?1B P1ͣnH.NenD@ Oc med9@+Cbw[9[ :{8XC+T\LesOl{M8 9o ܻx79WbCA@DRfZ^TnPJ]^9716R؞`oݽVt/?΋.]6ޚ= Fl ɻt}iڗ\W!DT4KwȾbyZ`J˝h /TIf4*:bqMxoyb~.V ORB 0X價&2{/]X~=~SwX8Cن$fVx6maGף<">҆f-;}oCwxYCK, >R,G]  cFtnSeBo'_Zy֞7zQW|-yв -f̀4|nRyP8w#냴EhRC?C]Mb:BIs.:UY(;.QlB_<]JXܘ@A!?,yv3E%P(3qpd#ϸ-G1xCFN<٫$K;([Eo Er%4Lhҍo7 6C HoNv /w]9-`={훌W;)h]=PpML"\O4K~Qc?\My9J`L<0A-Z2Ko]8ĸ5h<g}pA0P5JPb^ucb8(cl{P!|-ljbaDDW; O`rzay ė$G&w<-Twt2Z>D0潦Gssty @*lK t>bi'+gPh/ע~1_͸-o9)ziKC906@`7[64mڸVlխ_M#Tl"՟d*&rxsԊ́j2S/vJ~N .[)Z( ƬaTVpѡ\Re7ȭJBoC̬bBLk}w$w~v9j8*%&):faR8t,%z&3Y_sܹ'XJ qy9dpBo>ؽW 'KQԥ&PbXIk\JێhlIHԓJK 27<'˜z]/QW=þ[#VhG,J9>ۻ0ƏlJ;6YA!"E3Pq7vVD&9~h9ޞ?6cihm;ӷ m>给r(ިKs9`qʨHpNvdzFmHXG݀'+>y緖@y;\aˡgnZEhT^:ྉ`gOp\a;-"l1Y`*жe Sǔ'qO1ELU!HTםZzK!ܤ|{(mM]Ժ%U fgc[s9A]B&I#&M@K#]/}mUN X"r=>ح[+~g˵9`z.YcK㛌)s_UvgY`%Obf;:+x;b.땋jU!]qNtLJaurgWp$\c, 9/ɒ ? AuO^ecL 䵆ǸMbΔnEyƒ),iN{.z .Y@*N"FY5h*qoJ@SzesqN.8]Q+eTEO,aXj~}Zi4jBgD8Sʥ6X4+o*hdН 1-#3b=:F*K'}9Apԯr-X]㞐!D0t*d'l5($PoPAtXQflX~Z1hdLdgYt%$}10ar)`g5?t9qLBLv51G-A/`C}Ul?VP !y u!C@ ݉H^?UJ!YAO^PBHngO%ΗK,W/%qP!t-O:W",ǂ>s_^(<6UY~Dׇe||鴒%S00wb- #"% 231 _7qLO̢\C0{y0 ,/ͤ &\{Мs GjI&AZu]dNR9ȕp9< [7W!ϑHŵj 2Dųiխh>n/l@{aKN-2znEvMx _bɫf-5gr6KT[;|+..!1':H ( >92$~oj ۤ TEU^j* EqIј8 i9MU_#ꡱ|bHť*91kp%0s EVŒ=XbM9p0%YFa * rDw2֕-ĺ쾛GN?6"F?clQٺvѴwErMЌR/XS0co}?̡W6&y,4.vjdzMOi.Αri9h ɲJD`ڝj/sfiܯ|sh'U5|3 dm@shОzR皙.?FM^L2SQ;T񡺖^b@oH\@%y3$GuJnu4=oE ޷2|MfOxwOQ I7$?#m $:knJ$NJ5G,HgBid.Gci]d=mBߍ)2usK,3-B}#`q1a+ eapڤqY9ꋨc7z oу5h01@R0/dzŬF]_~-#e8F1#NYdI[DEx^ca7Ͳ-[\2>e W6,c8P*_֔ȐKW+5/rYU)à},V- XP{uBΩmSwP5QO@zU̸l =7$ \'tF"wD Ec9+Fa2g Z.y(L )&<ϢC"_j(V+pٜ#*%ON#&ݤ{{VSy46\>SD|Ʒ jR˟hazZmJ'0?GR Q\g2˯R.j'"l[9KkY;IR9 Iпx dk;|F1' w[`AVT_iO^%,CPW;WCх~7LqKFtכЖ1Dt$w3.FWD棧ak"{~q|'6IVS"`CkzrQE/5TdӋ5и(*qB,P YxBs B)";4/f_ G0(wuGG/dju=U4meE:zؘ) E*g;R߻DљBC7C1~\u;y>b5ICbnAzo/ >KHvR7K'9T4$)-ɧ jj,Ev.o]|i^vEsN!L #䐁)13C+OCǒ4uru/q6h(P~^D/4Z!E/zgYi}W ߽kO?oWQFLje,>!wבT p<dz&Ֆw_S9KU/\5rfC?cZ#CWά1UbXwvubC 4א:ǿ݌#"gIq־ D皹LѮ_)aWd˗,7~/n}_CDڂUz6sWsAD'`RBjupHj~h"PQjR799Jò&F5Ql%xul7+.ffUɍ٥@ ?e{ŷҧRFJCpri "fH,"SŻ$er!KL'CdjkOl/MO|;}1El#V鲻#zrߋŜ`G{L} ]~ʧ|fM F1B>ݲ93?l@ͤbd2s`!,AT'7oKuxQ@iۆSh+-1w3] kw0+`]@|~{Y Pe2 WemhL9rPګH`J0άD0P!\ ~)AM{@wuDO+3` ׈5 ۅDC݌=A;TeHYxٿqMC=#N?6G8v8sg+bG?>v&Lnkk7BLTʫ΍;}o}~G x6`--TMcCtr (,K?sJ$~f^%҈2k>_1((v􊡠c]44>e~G@by4f?ħYFoi EՈ02Z&M󩗽UvƐxh?¦/xȲ}xhWA0dl0F$d_JQ+G aZh[C ty僟^Y}zn?x=7fD;]=Aҳ6ol@{%浞tk\ oa,-|g,2j78-g!~v{g䇂A?VWͧFIJ q[EZ^:^֧乹ɦS2F#jZRwjl;cL]$~ɷR+܂A賂V3j! ZNvYO Iv쏠5q1͒6aqeu;}"G@*?m?!oFv ۣLV1GZ0<[įmΌK!݋D1xu=55< %JcHMpk(L."a,h/d,l{F"">:뫺2X;֞ s Br̟2, c[_Tt[h! 1qEW(y# :{G6E'nvnb;}ctCTk6c Qd.Y) ̫0g ւR,o}0jw5Q]Da]LkJxriez]/RrF&7) VHJ4Z$٠- ; sDs^~:x͊mqʼnhm_¢ UomRWA.u~0 'P 3@DTEry[(1.zr+&enm{l,X,dhDN3R +™U۴!%bw wTy]C2e61|nGaYjԼ42܆ڬL9\i-.M~L'tn"?O=r\4#MMXW|mDLa5JmcA Lp3[1-)=7PZzCj8#$Ҧm9|IUay\`h!+y~vH41~@d_wC+:^RݬT\Pr큯7P[ \v=lI(>3q7c4 >1xŪ‘o!2cQU:5ahacs: m6 E{VDWcd D\;g\"w;pP@1 o HE}v&Iȯk͜;הY,浀n˕}]+ zn>l-5MraOw`q,=xU0\u &ڌ^=4VrAR=|U~:Uf۸ >Jkf87{BSA+hq+Ʒ|p'9«!JN&JdPĊ!8ٓ:+`pc:xq|-1X5e,//2wA#|n%4G( ׌B: e\nW;U-R75~̈"}R5FEiumҏ#t [`iw,|d;Dv=u{̙_῭'k3]^f +1LVX'lhH` ZR;uvB/V\N~(#! eAmn/dOEQx $o0q;S1 ^P 5@H֍k΋ sΜG&_S؏w-?Hr0K:!#}c曼D9dK5>tX|@o [kfqjBܖpF05 G|Q[TqTCQ!QQ#O$*@8  |2P>Ar ɕ;VGIVQη~60dLGk,y4Ͼ wy ` Z2bez"/7$(F̣sh=g7Byc _mO)oYHoÈKeӦ|q(JYu ,ݥ\] ~XY5ķYKLedB↣ٕvS ,2!ѣo]$g~_bUrmΒ9:)USNsWo1 g/r;S!G%EJg"ea$"mb-pYSJFkJ'Z(}??>p> t 0,9כ0䇿VO ]s;kJOCkScU j7F"[MxKIhZ+SjM_), +3Fwٮ8Y%2I7 ,~ MJ$_G%\Ὕjv`̷zŸzfb2J #6Q25C4wʕ<1()n0`^HṈo9H \{Fp,U=m+Q.{5?Q-m8Ϛ;;m)${ D1BTZ~ 7y^$) †A]PE!D*;ޒ|6ض#|NLzRU.PeRh3ƱyЛG§z,HՑyQec@ :+aYqKVmw{p oT`v nbUSt%O duF>ܬ9rQ(L/r,%ׅ1n h(ymqt2YJu~}>p:EUϓc)aK6foScByV>5O.@4]J2E*tp2oV5G%BkYɼvA7+]=jHD3fn}dޝd4!-#iG XB7 Jy_L9,mjL|k/O2"+:+ IN$pv5Ç&'!MնhM=!j}/N/nu^4d_Jp Y"$D;B4̠v4Uy0UB19"ĠF 24OrZ@<Ճ7%BřQ׸0bYNCӏ&Ig(To蚷d\p\,/ \]E:aF9=yĽјB{jU.*U sZLCoao$TM(A(+,ʃļ֓ӖP5tSSo2ٟŖ3+xc[ 嘚Tqnc5%U"k6r1gY%Xa(3vF1lV@G?UְLhR1ת 4A2DրOwcgF.Gp60#FVǾM4d56@q-I3I/uŶ1ӭa7WQqhJQq(lp?RU2@ES<j2~dھK07G?b=0y@)Nw~ JJIioyG.RcVJ7hA:x 䒟o9l*ghx | 0Ɖ@_jA"›3)=:`E XE0f% =L̩@V|\%zqRjՌp2eGwi"5]x80U) ^h4KȎI<6'8l1?jziɷ;0ŤvLcYJ ;m;7F!+8#wZ>?D;qt3$4ʃRB馜%5 8Yjv=K]0.x5ѬP6i<#.W3Z}.cwc7WSmh[ߓorXX+ߞ#*zM2VygP!@S/sP,/Àu5 QXύ銇׎@' =tRSP v 3t{灝GI^1`6 f[! D{7YUB\u ]xh;G#Jh>*3E0&֓z>VHvӛ3\)NJ3^QRa 8NSN_reȇMV9e {ao"ޡE IRZIxeu?hRrx>)P4TiՖm"Y SǁA(z{ ~MFaIAK3TNUkD1u `SX =hscm6.-o)f EVpoSL9L)bYgXqh4^jk4U+gC(׽zGr}ҟ|AL@: b 8kx߰Q3-G] x̦2Y ϖZjk냔E2+#=vu kr-UI zH3(NCaCC"fᑟtc~_/1~EHCd')7I7Ӂ 51kXo-󪞀Vf'dltSe/O>33< V_y$~V0MӅ}V\y˓"(D*lz\٥>zoXa))=!q6zHDW;E?J(pɝ*uvŖBTW12,uM7}ڹaai XcC )Yp@y$4Qb\?aRsJ"oNb(6?k v싲u}Aلտ\G 8N{fڞ L`/nlվ|Gmlyk"5kѩ"utV-KVv=Mb?=)\H}{i64WhhǏrPq'?>rOQL;8 eI--~TzMdg2fyD{OI9"N8 ͍*0Tم ޳νGlE2nV2h.G8?J9L^=?e!}c>x6XQ3g>GXhM# &lk#I_b$N9 =ÃtKIXLu&cC^bPBK[iĈ p5"@H_ G=efr"|J)<'dYDg||sFB2`z m^ʮӞ:.|LJ]e9& r(NVV<)6/ %(Va2vzv֯}}$TiK<:W)L!Ge$c&}#3pwe<blu~mNI2[4"(qkiuȐD.EM!ht7@u>'(%\缯$o*T'*Q؛--ܱͯT @.=5({6h968 䶥^JT @SXAtDhfh ,)ҔhRrEja*mR5BBU Kg>$"{Mv s roGCkFƸZdV+^_&}m lyPw!:{FhǨ1}:/pljB4ZIJ(^_L:-ؕ^+?nmF,?ȱ:[8WO <B)&5gdٟWVlYcm/,KBD@Nl0[K4Ji3Lop@]HtZ9bcU3&#*JT"HnV0>)v4I`oS<:Зc7%V#ohgE$-RYp\] f~FrgQr(ciXti%ԽbORZ0kl͡dszrw6%4/|W~aL cI!y& byTy&yI oRiu/MHZ`$#ݪ&?܌ҷjѼ}]/R*p@(4OQjt)F@q+EZoӵݭ[uEZ\Ӯӭa1EI?=SpXt%a{l&AHvU[w>ۜ(>ceXeN`{Tn)M.<> O~SD9k'ʖ"6x[-0vO(! ԧ eU9Aȅ'o4[?ZfQI(D.QZ6\YT Z f m{2|h?T9Y-[8g&4QBx 饗czsMDަuu.Vb:UA+bԊ0Zٱ6"n = 2`}*QV]qY? OJaBgey{oeG)T@.D|#ҐSFP,Z-?0D  yc7q*b"~ j>tA !\YmY+vSc?>mLmGxٯezO* /,8(_1&s185ň&PчPK8oEz!g2^]9/:0(~X[jH~iݛa& 80˗KL񲍪/\Ni0WcdAlFSצ90s҂)#Bd4_&fIM3ܜ:[s=4f[V?4^f"6Ҵ^ezeh5aطx7 `I{HOD|Z!Zcx{_Dmf%s/ e4p'ݭt1Tm1`p#Q۫nwZ`HqG4֒t CO Gh&_z?'\\-\j@gv"(cLIEcxl^ԝ+iXga3_\Ӯ,o'p~T}̺ RS4*;4O%Ny#r(Qپl xAt!\Lu펦jSZkg]hǫ}|{:$Fp+T~bgYaKX ='Z#D&8۝'$^`=eh^pi^;"o'C#'y/?% U?=. Pe'D&`~X5TLCN:ՇP`ʕzoмR;\R,S^9UErx?Xγ#p# Sl|ȭUaN6Om\qbXVv]#쾘5ZR+;lO6*yuKd)㖵xꭃ.v(#6uKTB;ag CN&hV~pHxMtԉiӛΚ BY^R$Uڸz_`^~ѐp mmqE E->gR4=wX X0= &>ziegFx=H5q^^I-W]/,QoA"e/As1L&Kp^jA¯ً(\\rLs2 ?y(8en/1|#j~:gGӗϜކL@5{eciB8/%H͢%z䭳^ V*N' N߅%jRT}-{Q߻N.{9%a{"']6LIYq}urlnU[z*&X{58Bl$i]HR&Ul w( o1ኀtO1K\@xLDu,|oud4I~0Gں_5&YqnµuPH]˵dL ;LF`~8 $+sofkx%A~t.eyNmR+ָw Gu2 YFsUyEM˘XsN>7RwNl 9Y"IAe!/(,azo#@q [J{24ȯ]:S]9rl 'k_! WB{x)ř3M74)VQڹZZ1qb\]FIT3:Kp`ϔqabASFNH`g 3~X? kk_+9߶.uXnqȨTI/T [X@ q#^'&\+γP8Рoh?kof?"㥉ȼP CK,VJ J4p6УQ# G^+]hj@v)iƖ׆@C,7o[.R2@Bw.ʜȝti,|d7SsV4 l*;zoՄ$"ڢϊmT*)]>7i%+PUiA3D¾oKg5z]i"[?mF@:'ׂ<ͨxk,ugdS@@C(y=C:D:`,S.0|ׁ# +ܡa4dt2E 63 fGfS |}t*_5wHTƉiE>Q?3nv̍6cPgX\Dq2]/ != .K%L$p+ލ'Sq t}C, < CχޛZ<%4B*n -4uFdR=q(:22mD_4R6x͍&UVnS@).-.P:8ݠyiK-ы}RMu_S(YݐLxF Z Ao+.ܻZ&*FU&o1chcۃh9kdz">lIJD3 ^ZYl~(JBeD̤`w8o:r៑uzrE 66KE;AUf/Y^]P:x1)Ⱥ%^"Wz2KNCN#B25V*T$1>!MS˖S#eƭ1=BMMw|Kmu4)KxWݵ'%HԾjsCjT?l>#!dyaK6YwNzBW-Twn )49 e݁2|)fGr! aǑȎ_S.{b4P.1Pm=6VŮpj[!I13lEbA|JXO/Z`%~ d_lI;*M}]SYB5sCK*v]yw6~_eMux`st~_3tךΰD|$>;(Jl } pH.k .ǣ q^d7Ũ4 7lcP@>~v+n̆[|wsٗlzX RV85ϼ1&!YYZ RJg}1MChsLa l$GϏoȌoM K%ڷpŹ{ersXh 9|JGM@a6O5TN0V_1@➝3Jv}K2$a)wݤLM 8Re%@r3iYͷG-anso=>4Ycv#b9xLn0'{ߊb/-6D&eYz4)zyTҧxW#RLLqFVx.)`+hԉZ2B ҥDhx2!o`ƉŃgW  `q`тI^2 ??EO:wp mXkP}{I({L֞㟽n1g;.wj1$qv 8%Xh)hfCIS 8bϗݻX]<1`Wn_LbMhD+7fd%"֑$15xMӋ=#$o{,hMը6=\Za. D{vi7񵄟gG{'1^惡xb #CUE[%U$Ua/Tl;PϚ_:_|/׫nIF;ollسNxdZ P e4d.ߚֺ&e9AsZV.#.l> ÅGr{jLhAm4Q+cD@g8P'h|4EV[nލ# >[2:`UPI=qdtVrx}9*Vݡt'Za pYn*HGuh=;W,xb=m`|B'"%xo5f609rQ"LWDƵ-%Y_֞&[ oM;$5s ;T5SGeBC!S7W1 n[E> CҐlJxpSbm6&`FZ N?\ 7!yz2^xҊ݊,XtS@I/)|g{Mސ>@cf*~"4ZMDRêoE3oQ蓕Z8Ω\F](|at.ɳGRGJgX.qT%.V^P.K?0M{=Lۡ¢Ȫ<ؐIvL=%sz(Vd҇v{M}&M7<ݏAD~n:FZPE(Os*>90T6khZ$KM?x hԉCe|/mj˳ݷ,'K.6Ա~ ,}UjA!Rgvnj.ʺn^"Sl]Y8/zY+znOfT~3ʒ# ^@uN|b9 KǶ_e{έ)"`1{#Oy"x"SҖcS-ZEb3O%,%f e,D9xsFyw8g}>Tɏ Rʱv.11pX>y-ȴ ros[VHw/˃΁@X)HSZ4s!ʷ"J6{F6 ]9V&-ױ-yW*1R͘ EaňU` '*Sf5<$lr\ N=^1A;=̂F# *sH^]TF@e/;!Mѳ3t*lu&ͨ(g;J愩4 $C)Fۃ Α1 N&L)f"kDF6_<%)8mlնυO$Ȝ[ nShADT0&!U"_Y؇!G]Im Á/CUʒmw,536(JթE  gBE"_7Am^Nt: v:y7c NWYq9gs@b\͎B-~kL~{Y xBԽ^thL.շneNw<Ϩ=F@I0zpa-xhK^8U`v@Х=Ixa7ٸrP1BIs^Cv(2*> j5y6}P^ٛ[ st;5ތI1z2jmʀhz+)"_mhuzlvc_  W]s_HZ؍kfw[Ip @!"6 2c} T***, A:դF7`&OplT*RU||C^R2%-D%+n#UP4)m--4"OAGZ0g`sz|)vȌþVts#ս,oC OfsE V? ܩm#YGJ f=^*-[DԺgK诓Ualˌw'Y&e4=$~gIi末x;|ѐ8bz"mf:j4)f5Z奱Oȁ}~2w/ 4:,r'- KpR.ڠOT<!1^ZXݑ2˧"W?1 nps\X|5|'j<4YB٩m  g;;2kD % hmۣuHU_ C\Ш.~AٛE/Lqm:CzQ&Kh{V'rDy/|چ*2nZPi4{!BҊ1,}5 r{;Wꨞ ={]6tƇ4$o(&su>;0P2uW<⾞Bj_on{URM ._&縼scix-8O:r̠u)}j>uxRI,LDlDc͂ðM]9+#P̒!JEy#jfRvίˑeяaH}}xӁmvW>VK9]6u!W1}FHvVIyRK|mXk{G&>&;DŽxĬ $P",WJ,A'rE__k 7m?~'w\d U&BW3{QQɪabxp9JO:EbCњ2!gegD0u0 6UO̲ӏ?O&n$iϚYplN*-Hg![bqYE *uCc[JC!*H.7=d[QZ!;&t"5  cҔU'/ W?+RW>Kv+rPCVy2rޢżĥ̢}M2۪p#fHI:sOsߥDm敒q;Ptk"Yc@z<:;YiVY+ZO/J^e$`דx9*RO>"طعt~!v}nyd*:;|T /z*bl~9ZV|o=ܲ}1`B^Iz#\r0$2)c~7ș nGCj59vTSy@}X;߃3Y6∘Ȳ)8IkU[ٳP$[ %iH t$0MuO|iQbL9"@^^|')6IrÁ; ?sQ31 Zg2w[ AeN9oena+׬-P"<y*URt2 F.(Q>]¦EnrKs;5z"LE0X]<%)x<84|n}c@M B9P`lJԋ9J=%;`S!pI ea o NXrfxDF_X cJdH%^P=IO|6 zɑ^ y8!R1[Fy_!?J$ r63$sq;#MP&S5ˢh:Ix i:~D Dqwӻ~X?C%ۧl s*]bPW]+/"c$RȪ{m$fpr(~`qi8G$hz"P.aC]@[ڢt5,LYH) pL/G%E*WUK0r(=^-6KL 0OvYۄUbIv/3nAwEi/k0u; &/N@ '(~?(JsYX t+nC!5Kz%أK Dӛ=paD 5 o!\7Q .(uJ"/:qgV|uT !숔7OPKwJ' f$bXV#@-Q/Jqz qGPϡ6I9:in2# ,;y{ߊq3Eq&eԴN-X&{rFOن7UwNQ[a@_%ߚGpر״H 7KB [}yB9Z[cѲ~"d`Ž2qk W(,. 4?[_wulĐ:ΒR_bv@98{TjML16әG5XysuZNAI&XxZSF ȓ%mQ&7 C 0{/j[V 7nĪ#D&0K sYuisUbFj&y" r(X{f=>ՉO[}/p V D3PM2R_swIxUVﻸ=!´h==w" Fͪø؋v~{|$ g@{x>/cȦ=RHբ%#r^0de:P:B3RkgvA+ߤ=aR%@b5u9kr\Um!&S8ɘ8wa`s0:Z>&:qRI.=0G]v0mu;S2\n6i~0-v vͶ!d@l/* dF!RjXCt =Z/֔ ;U61C%ئF 3 DZJC8:3lW+/'&eTڞ, :tcwȅ(8{IRî;Vu@pDQ 3%0`RxrZ3ɧ.vRW @Qʙ rźLH+ GuSD,/M?J rhoZWufτorkQjs5P׻ߐߕWq,tr9<ڇζgLV!2^2H`QzrQE05h:{xUC^MGL7{B%){=5ŹvS26Bc?p8/?*9* )~ڱYw ˟d7;h\/e[ӎ:CHn*~:y"J*VB25-e(Mz=yS7\K*Sv9ӳ7gi ?}~|p ܏@Xj"7)O1L:M#JptVPP6*kյ`T._@ɔAאbmQ啂dvned~}LJR@KJH4y;^떤i Rں˨8`h+$5` %U'|ߜ)/mj,çLDWxCs+ⴷY>ҍ` fa%JY3\e tPRPm+RG@ 6'z6\8|+9f)]|orLl!򡱬]jJ;idkDj # a!f>xz` w0It7Fc˹[~ZYйʮe -$jmj~fShwNq|EG<@"k?#"xPx(u^PрskC~3? /G7jR Lw/`yWf>3w`@vJ lm7xVYCXVEDLI2(:7΀Ǽ'w_Vu/Z< (e'Þq rlA堋U~g ?Z?' w? ep"̓ġ ֕g 2|+!9JW{}tW̏W_ؼǭGՊM8/hVpFNjUϪ/4jƙݍewwZ\G /N {+]HjL^nm;[EQZTFQa a EAVGB nLԟ'u3%q~KYKm"̽x*A21~Shmq{A'Bj'+Zy bѕ=rcFqL8w>%5;J- jJ6-i! roFzD;i7(B *WP9:~nOH->ylX@qV<^+s-yc)n,Į:H?s+M=6_f*l lF9 ZH_3,yPw߾P2Oh_Pz,Ē'reB`p ֥3G{[/P;7ڂfoધ*q! 3mοr |"GDD!az[Pp{hxb|Y/ %LL1QKEĝjxEt4/7S*9~@w}iCTfeXVy1'٧3]:d pR,z _jr%E~=?홂EWGY,ѫ_<1!=AQ\RWm%JиǬy1-r>qڔ?!Nj_Sg( {(ɛ}M: #aDA? Dus:D2n*vW+OQq^J bK^!8]р0vGԽGKJ enxM_vS=c%E}Gbno/|nVehxhq ]5iiƩU%^%nT؛MzN -ߩnwڍ|P$tNU͇.iD nbm&?ɖD^\pT YC *X(1c\~8ףT -Nc÷‘:{ k4RbɈ^%PP h!i5&tī`6 ۿDtl4uݝ6AۚsYQho#GQvfZc6sT.!@DV4 w"ήl|A)D?˶ ou&?ѣUJ$ |JPe9}|dVJ J"ݡБFt#Gd H,3P[N#qf- evkFKTTff?_J|D.# IΞTz~yeA'6mkqj+3i1kf[?)Vް(D|D\q_ RU[x5G"иgfe鬅yls6$kۯ(?XaUk~$+ՎpXmy {oP dk]%_r$Hm A &U< ggYZcb8a041f1cca672432f04c53209b7be6eae8d214a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e395a185bfa7ba59be3dd33901ea0fe4af5623a1965