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 __m%|LD ]m Prpu_Maxflow:threads=4elapsed=173.672cpu=306.840gc=7.516factor=1.777zXZִF! g]ŗXiɟH)0%oƳkڦqtV>X\?̉(rU|0'0_]~,¹SAjz/ez?9 G| b8wƧV+0ľBaďBy1]KkRdRý})ǿkK)#vI %MRn+HQ}ڳ_Wx147~-u>_t`r:[B p/ZB(T>s3 2*RY=+5MC%ѼZ~G~AdBzcmb:)Df\d =}X53SІ:Ar7!P6.f9MNr(Ai  YA۰4vs3?龶 O3m& qƸL4@8BWZ}?B\;,:笧 bK Bd`C+`8 NEYe^DuUp0%&]-VHfSXqRGUx5贜ItCnj#FY Yy(q-&jɿ #t'}X}_90FfJGd|l^;>78hXCԑII'J~aWqE2"]$Yї;:<4UouckIgBMEhOz5B,$P`@gAjz~Oȑ1'y͑3J:sce Ej`*?lũ,ѳ/(!|d$&`|?(A;8zD>lމB-66Z= Jr{u v!3M1jj?o0<}t|i2q}x0mgobot!6 #SO@xFG\]ao;uN!+<[ !:GJ|?C!p$={~XY_;)ݠ؎\ oB{`e<7=2PUޔdpXq;|pRbp}8^tn^(zҠrZp/6|Nf sPS~B)P m?/f#J2Stf<u !UV.TS㟂WTyr"Κ|ؐ G7)s#r9Halwݍ8T2%eVq(  ii~   \Ңԧ'7[/*iUʂdY=Nc5Z h7E ois(VgDrEX&A,ˬnri)Ťv1cj9 ZqĚtҧ 4 ΂~ y=>xzϨREr"_[`h;<;q7OL T>*.OsQnV ܷIȨ+ٚ'G+n=Q.p7.~`c. l.b-O΅YcsmHZZӧ1(&yZkEevMJ@KU$roZ)hnKC*mw )e0|cV3!+)>a7mو,keVЋʦ2SW' rt@|USog{W4[3G,Q ֿٛQh 8]Ma;ˏd?׉ڗzj xhjSk9<^ 7 :hA5Nrk6lk6Mit;xNr&KKqzba_#W-l'2ۙ'syI1qubsAh "j߹X=I> c/mDc8/T5VEؙ8,-OIMyV rsm?7$VB+]W`ݽS$!E!Yj4C|B6gS)Y6gPD_ݺ^}-<{ɩB^2uФK}oo)-~EHs.qnuIbsa@'*A_deß }5m8BS|R(QMm->4a uO9ZZSg`[5>z;PTP%3rXϙ(m-T 7?DtJך+LDle򮂱AT>S ;3#CRޅȠ6a'ZɬKVɳnf~@Ր^ mX۫7>M<ՏZ-1^vѡ\ZvI׳'X҈dRh\Ȝ$lqYqW%!eMD"n~v9%vv{?+30SuhHE$BTUbKzevGhůeO8ѳUy/]Lsns )3/Fd<㉸V8eb-e[裣6h$ʽ7ޟdR1weh)%{iz!Ax0K9 Ƈam;@fޗ\.Ym`oW㲧; 0Uoڛd5E+̹Gg*'2r|j sŖȧDaa^B2L3^*K.9;_,sy5d̺Üzûg:bs./5{La3t(kEE źD 5x /`GSx\Lv3$eRUyMח> a)(Jy-E?[7bCsoyMDcy`@D؁99w 'ms_l xWGl? Q-b9zpLf,+fgvT%ϥ;hH ca;HmFU),eWDiy^o{͟Kc_.[kn? > %9vʇl{O7թwQk"_-9՘ h]Rj͍xU8s] 0@ިl~:9[_WԴ&z}m?1A(Yt Tz3]R7I s8PJ ߎF1-#uv駧k7>"n΅58MK" bx4!3ԔP^J}5&0 K"&]͝xxUs+7=q8-XCr!1ì X}wAcPT=/h6#jC3Ra'sK|k`M>Vꑮ1H+J`bPDvPJձ5GmeIײ}֑c$aM[D)LE8K( Czh.F;8ZT < ȣJPRgPo+bhŞ ![7χ4{ئtF*6GQ|m*^(9Ѐᤣx:f)F)K:Cxϛ]D,[kPmˆ0}$"ܤ{mmNi4`!GrӔUGU#˘ #-%X[W qAU" k&1$ӿ_m<$! @͓7nqwCq75k5; h64eJSzf<~eo8Qf ahΣqʉr)Q-7} '~\._:jf}Q:qH.+-.'̑4Q7f!͘ *aFqh_: L'sٗp:fC!0:.{X-F)" ͪl%^t O[A}1)&L;p~_-FE$M;x<ᢀ Qt5Kc ibSRY}U肮kȭ269*R,mZ $"x*W|0Vӧi97|| Pin* Ub!(ہX`Q# ]xWy}y/UW`S#Б(1< JDE]}XaP}C/aiVuo\&=OInx$g)vOIl.K%teM/ǠqRxr`#,j7_}3-_ٖ"@ *ѐv%4PlC"$^*tX.6&]OV*>JkSo!'S-h~dfz":G,^gFO^d/zG<o~RS\ 1 y#Ry-ؿ>F*,*Q>3߹2<I'3Q%ax~^[WrʟLzurxzb011^;7]W2 V_Z⚣OfǐdOr!F >Iu&r*J$AݾNaU̅ Y:"!CJ$kMWI3FlD݉xo IZrqR٣(,Gor| Cudt*$}X{eTyhрkne= X &l~D!NYH6L-/o~LZ)*)JHs7[L[T:_v~׿ Tӵf!ҠLWh̒x ]C|ZD^#L9I Q>\l1"߱4 }Hy=߭) Qx@C7dhnye/²8A?"+6YZPKO?E6}Dq3!]2a*OA7FP9c$,ԙh=ɂ&O>C~J>\IWn#k쿸4*ߟǺ3f EƕCׄ߈ԩ@ 7I56iuB4jNg@v@J-=02pw@]{h6v:$]'xG5@4WaNƼadC{9}wKR )0q 6()+H)ְ LC.$ܛiL PEkȼ#Eqk|=:vH*Oo'BMEkQGLmRiG VFt`,m*)ޖ q;E9yؼt*ߙ{EU{ZEkeV|VvyaJ}!Q%#:Aih';yFHl04|r^Y(^ٖVPoLnȈ=)[סH@YәcI7hC_m>şw=^χd>3^AņwCgxT"Cmqt< MV |/HPrWG|O\Y5!=d\1J0 ԩ B(k/4„=(Zh0aC@aq2붇@dk4u}Ka P=(DI_ U-.v*2dƒa܋R\KGx_B̀JkDMy@v5I「v߁hGy?+ 0p (&vH3$`\1d !)og%뢞m&hꙍLνգέuVVД r#:^Y >DOpA0O/Ɣ^5To}UN?OPM\Ѱlټēsog =ֹ =\sMmIHLH;d5dQk6@SDN;ES9zF#}cKӞ%; AoAH86zvzXPa ֗Rq8O-LSlb+~n= D8v.+/1ωa7k{'@%-22Y2ސ`brn-ǃfY< >9 u.\Ɔ--(M8Ⴁ/g]̩c5:{)쯜 wW`z"Y֒DQe(O#B)0?J5΅ҺGh*AAbr@bF̀YL Rv 5JUfΚVwBWhρR.H5Ku$d#ѺnI̷$ KpHγ|s3}D#%zز5$85A=Q{ hX&hΘW3> ̟ΜxKv@hH4"*^N Vϣpī+jnhx_ dDD֡×]vybAS*:5@=0s`Yh(=EN$Ҹ[, S. z*'QmÝcߎ>CennIe$u/NZl0j=LdĎ0yS9 3baxg]o 2썇q ],JM$M=g"Y7 U Xdi0NZs\oZ'0w;GSBPOs/рY D*!<1&\tDQWf7mk "`x{"h(Sk5OyV[KGUǭo;4쁍bn] XWk@gtX;3XB~5C ^1 đ|9N:)1dvJwK N02/ w`;C;i)2M/NnSˡQ͒iBG{EWWG枅h :1um~nc؏Szqףf(^%(KCBByAЂqʖv{mza뇆 #}%j!aKd9. l? A<`/Sj_ `ۢTXj( ,Ǥz{-dhIE 0J.#ߐeXB,7V=PH) >r8@H'U؄@k=#q$ӺНy֤ߟzқU q@iUqrri]ij aL%!\X(U?hVT)MB"lq̏N vh]L̋pWCv= O鈅Qx i3wȏ@m7 CUb"w&kV½Sy{lprDW rOKr`FWrji_*."L]DV(HV@M&'12RP,>cUdcI P,) ZY8#J3Pu=Ж}ApF5TK9@b}C+~S"K|F`6Tt]c{^92;{"y?j *Y[iNɔlnbh_P:\"GrGPut" V_}֠^!M2J? U㑽}0iZTL;ZnA| OҥҼXhk0XO&x4WЏ%r[ƓLGx+њ533hT+wgJQXK00sژ\ @iq,҃9ez&5kNc B*~OR ^FޤǷP!?KI\0r-Fd6nS&HoOve1R oqqF e8 */ R;c$ZBݷi[FzՉ{h}k+ȹp[n{s5yL LնRj+SXe@@J=[˰yXk2o#Xe]C kP}T,s`-刨z\gFxHx'r[nO>)wMd|8vhiET8"̂M^ޕM{i:4l)ω=]J-ܡHVlkѓkq o1ɑ=MgGۮ-l&"!d~$nVrz̼Du]R; _!8@@KC; Z< 3q_oΐݜOH1̑K!4ԝ*F]oyL& pK?m8-.= xGj)BuA,JL\hUgt"7@4HyMlWC/-"|iog %‘5Ջޯfp~P5k/56!Aet)#g\!C.竢/ی[ y22{mSAC( (Ez\2|usqzkK]hMe4UZ&vgM5־N8LLj;[$KC3[ ;ՍpڕF9 iElRnߛ(cu}tNu90ć<+ it2{ ?*6ԹX`2愾`1Co ɱ] .6VřF%e6qTP1rfg0+,='Y}h%9kZ_jvJOjL_J2_ݦ7JeYT.3Mw2RTo-' [1/[/I2рu0T)ga[d$,%jvRtX.WvX ](o-z Uhcv [*ݕ0fqTKz< VVҎ[I ;7LPf6u`0$b r_s)"$WXRMivҶa*@lO6$Ą:wjm >_*ٔA5v!k;+jBɖc [O8ɮ$@f? +aW\+KPڟ׆ϵqұ#i5"0^kZiƑJRʎ'x0N4@d$~n4F΢&1{2`0R$ 4OL$2KQG[TҏbzOѠF~s[7EGᒉ8k'Uq39ٟ`" t̖3L=gє-fn!z|b$IgqaU]5]jR@5u֧L6)[]Z[8~n顩o;ypK1B>Zb,Bؓ,2wj'SuVQ8P@Kc .\*`(yz'FhL p]n[Yp[ˢ}Qm]Z?*5xVqcWup~jv헇Unq-*-&E+vX@kkiLR#BXzpG4 6mW5Ept~Z2>wDΎWQ͡rP$՝<Dq5_ &zOV:,p;1_BFX|N٦k $s6ziK3/14Ѐ+++ 6[RB+_he!DWK*Ns%U8~'`8C8QCj pQ.˧`?jb&DM "~'B ]YO͂|pUn,qϵ$%s)mÿRR@qUo 1lT'pM=aw P ֙mvC C!Hr,b٥NJ.Q _1v6=Gaw[/K:cf~Yxu4FM&?ɶ2)Oh^A3j\%(ԯ HU>P&߼;]sR`=<h\Y!Z3ɫa=Ϊipsh"P Pa-!opAP* +4ht} 4jr ]*,KC*tn "=kҮ$O 7TJ{[Чse{o >i MA=wFb5%M*pru=d0ءAjKz_6 =aÏKGNmCJAIn+MUe_?kgMgvJl2Δc-3VNbW.bm{AQ<>$wݯzuL;DQKD{VO7K,q'cg@,~  R@8ȍ.Ygų ˜u{k7[uǔ`@w6WOK7'TC2^h a1H+z -I|%NC>]UbYSGX̘iBZTl-ӦͧysѤ6\9hsd)`w`-B]{/ ;1l:-Nǿ6<] SF\na .WFX@W^G J-!KY!np"|wB/81 ܘJ9PRp-= qr9L^jeEl[O0{4^ƍ7 aO( dF𗝄$n)FA@g*IaU"/eDzd$ӤO ^0WS0 i7Ua0j17/BTG\IU 4\t\<#AjJ:&9LgjpzX݋jh73־.GQ8eb<2i^qx<{o&2rItTXN?Ahw;:"NS/{e4hkHwAufuLCZ>י}mxkPx, =.׎wSցMjDukצFO}.`a35ܾQ;Nʱo}c0%`fsB$cS@.|:n 9jpq%4!'/y=+# 4dO$78+v]{3y%c#!@{xY;(z qF"j)k S˕ 8uZ܊tVVGjgקsѝ5Zo} iR΍;gHq!ڮug ]|-aTIQ$읆9cyqW$}RoďS99OϔNYY`gAI>U*ߒM52(hr-)\(G`u'XS{6K^rg{ZU4>m !ç;L3D{Xš;;)BJ]TMav"ʅ^lC>t>{= P!6^zy-Vpy>toMےB.j _9G[WB7St1 HS,f;ƣki hnW`7BvP ՌO|9Aq#u=ow$Stɶ|x/rЎ.9.Ew` 'IY+ k\9\'#2S mM8FB2a,3g@<(Zb~^D[ GK Nz[M@z|Kf>6y97GFL2XLǧ*7dZ,:>ߚloc?:_|@Ql2YboS6~^\龍F*2`=DJ&3E:̾ڮ ОepZ>z @hٙzs>̎I09pp7\84};ןu^c2ąUT6F^J[A;`_xC6*ԃ{F&08SŶ{d@qhI"BdY} :8[Z'1Iz:Ni+)'(o(?nυ3t$G.e&rq0&J\#[Z6yߝ°K Ȝ 7jW朇KtoOtpIѕg,#YF%cSj&XdfY_lD'J+?F5[{ZK%zza2\] ԑoοȶh4Kn'L K=d0*Uٝ^P=phmjIxO7}%<O$}Do?C psڦ)%Idzbkv5'dOx9n(RXƝ߲m0& %#j3;ěN7턁M%g6ǿO}5YtI}/E_-t?YzS~U=i*G7oe/ qi!)Y|Nm_}3[[8p{/ԶKklݿNjS#A5Ez jZd'vsȽ^f'CŦduZsIabHlo:.x}1uOj\k;ץv'ݍk_MN,INB T//nbR+ e%ed=ѵi"]ST[Sѷ_XUp%$v֘WpL CÞl6)_Yw0]@)j#ǀW {֟MLaed `X򔄳k9f?/sQddJ+4 :ɮ5<kk0sFYXeN`FHp+У.w{7Q`|nc'ZLpO#:`_QU~kjagXuxxۋ{6 cjUpyA7#r;RRAq`EiK+v%AAsc' |b#ic w@fSfCs;y'ˀ(fh߼f$2+BdjJ1KPUJTK=٪D`ií;JtJ~w0}K z|4@GEg\ΰzBt, 2ِo΂6G\*kuk=rxpVI6zY(# !-ȾO&.T1pD֬1s˭%l3h$[xTiֹzL;᫖eՃY?+ 'puק 2RH VsˋsQޑIc}i/1>`}XZqrlcn N=>#P35S:8HP8");u»r_^.y(R`mvLZRRyN]T}4.+Sbv ﮅVR<y셋 Jw X*֢(gB 0 N 栕н,@nk]RPZn f00DS//a*Zz5@GCqE4`x\gG`s%Gq\eNQtinr-UFSVmQy g Kz@*\RLFR)%ݯ;rn@_YL#x9P=Tqud`ClIXfh12@.a;AH̉w,p '5?qIз&&( *-|ڱ0k!%k;e7۝ Sbdc}QVvv|z gzb( _tL+LzDD~NSVxޓ}$Ivu,c֯LA;kȼҠUM0 %u )1_rGA)=[Bx'S&sٯ }5T:I1'x;fu:E޶(M#v- 39&ɷ@._1xЕrRdg sU_ 79_;QL^ bp%5Vz 'GE5"Y+VFPEPb%HfC%7l%+ԍDZ[Z+ bQݩ4f勴'yؽ$)MAvrs0$FqaQ{(VWp}.0K$GMiB }5M8/{iӉZ-ذE3ڌGFUQ;="p7E4W8g]bwJ$O3<n£)ϥ8ZC+\ж#!cQ94?KΒg+p1IAZЛL,]D {q+E>D߄w\.F'-C!z~Wajl|ȋYK&١_ y}A3 2 _b9s|"S*`:,h^3%էSn3u3y/uչ6 v맏+[%8>ma~2 ˊҼRD}ͬYhrW[;mY,%N\U%;HLwܙuT=uOT23%Cco, XC1kkVC:D³lVc=Pø)SQMDJK&to`F|ݯg)9W,ꌕegNđymE8R4\,ZY |A0cPC)@>ffh^mxk^N 9 2̆e0AT*h}o*,+U2G'ɹw8`,-4=ns$Bà9Hsx`3dJzp,OFo%hmJ/!,b s0T5(&iwEmS2z$6m&!sN F>g˴Pd{]L%bApCaͳ ^Eo~XpqA `@WZ&'\ Ԕg*G$%RS6*j")7Q}_bOPZ@C|+<&ݒ5F\Nw'j! 'ɁCB{2 &O%cT*DTVŒAUaS`B6}% ɾkYsoh\gr.{>ccİsH-))`mN3};xޙƄhvr }:W6Uܡ. #x:lE5J]93C;ꥬLɀ+~DM- ;F,di>ar F`xU-4#_s⃨&@WJ-`j4:РN? R/ (UVLjƅqkN4*^EC N`D=߻q]7ƛ x`JU,;$WCnAںWy'O V0G;0HRG"J3dn`]kpaYlfV"}\PX&u~/:GӚ9Yo 3A@\Uv,f?3RNU֒gйDRQOa4@ߴ{*|ojVʗQ&# fD]73gDÁam>ò `b$c+gx$Gcߎ$IH~6P\Q?H$HeBS8_! YRUT : x3wj+('o ?+n3lڃ_YƎq| [pBg+ ze7wp@Mra-$<muz}[>C=>NZ=zu\bTbiw#[&'ᝐì/q)Hɜ*:Y2t&x1Jt}x8X6 Bᐷ?=! 2)6t07wz^y } w&bP[Vy(A}xcGd#:T}DjWn5w ӭ'TFKyl,-Kf)Ƚ3c7yWV'sÚ,96r.`q7v5#fiB.-wQʵq 38ZWMٵ}Maߡ_FS=ENךTEvHq}aBrqи)Uw՝.E&b4QJ;Wþ2;[x!O-_59|twD:!!- c3GPHnyֳd*ra=䗉c*Gxt~.D-@Ҋ9Y d[|3scIe&1Q*5s =l gD nQTv* mQ`>E Df/ _nЍE. BGIFQF `/}(+z>/7ݽNlTn;N #Kr*BZ2Pg_O$= ׾R/yuD>Ĺ7=دеmxzA[P=.=!{`E\H6cFOW SB< \$ :p2 ue)QI'! 09Xj"g@4w(v!9h_dzxCddŲ@'QJUTMȮY+ j֢O@k6Ay ƲBvkK&b<^rxP Ęzϑze`[x@?]4%ą9hYT8(HP3o=(Y%nɭTBӯZT̜9yބyELjIw ˕g?D?E@2/_/+SԊ2eF z}PnԗKs(&(I.^KuM^TBʥ-Co)յdXP4ns˴|!V\h{KF(ry MëuYNq-x6>\>Z䈌p QMm2L6QFd[XۿE_),(2(7\e] /Ia+^Tkk '.4c^3E_B94EiW4XdAq!V7c*b!;Qne%7K,!^=_,)BY"n zu{ z.mcY̢`[-z AϰMw &ۄP6V#DJ' |/tlr8Xor C|mud +5=gbybf#wfv/` X+{.a Bͧo1t 4`a*#}<lUh=Pg/y6Q["m"'Ր^k ݈>»t Gqi8z,v8U )lw(,a, jN +kov#gK!4) _2heZ93;`2U6B1| 2aD)Wk)pCuǞWJd-P#H BF䮃5 8rO똰ࡐ]z_ ̡]=1 t+T`ͮu^.c Fji+Hzx̜z~^yX)ox۪DSEKIA/]6'/!cĐ FsrVt6d:ɹ^w{T}+gJm㽈dnL˜/{l.1\~O `ZtkF)34./ˀ.t- O b IiW.L/XamⰧ.?V-=kTbPo5$'+bniV1v_qv[l1i~=WxW2Ek{s'Y@wWAO-_CLi ȹpkYxSۉ)(H3B| fwGGTtQI4zMaztHms;_iZyW'-+MFU:4Z*8dHrQbp岋A+g5Mtyqִn^yz*D92ۻђ&'E޿$V+m[.jlnB:]j\98~1490eǤ~\M]8nj4%O/{% &{dC2j evFP[whId ^VܟU蒶Nσg@i*~IwyG`n29[&V!xToi6M;c5` ݎɍXXQ<9pDo9=+oׅ3dypړX̝L#wARƠ=(<`YSќ UqZV}QuR0%$i eUCSS kv~h^.TqZݲgӭFWi0MʇCn#l$wz|$DjWm|?1eLA0jR W zo6@7eD::plG{T $ո"ڒ~3_EnyMElpZ ;XW^ % b(ȆUw40T\ܚCYuNUEVxC&<^i+Cr``*& Io34)|\# J"24(Ysٳōr̛s3ߔWWjtPݤ/t2XU֧C뢭ow0xU<sH9YGO,Cp|NN='ӄ&tWl_;**gM>^ڮ~2:YָŹݾIL+ \$# /rxIUQa3 )`!_(79wxaK%|ꃱ[B*D ސ`w(9; MMĞvjEIx#8OC4Vz3Ίauř?<,>kWiN5*3qbDjԔʴ͐G+G~aL)?eh}+uWm} ,"ݫ){;N+glj7ZBg5p59hђ̙P7Z;") !S(/aL1jXEak ܂ 񐱕绹4{C}XEcO&:ķ fO6r1Kօu-ԓYI`ҩN_(XRRvKSbݜ3ډHcjw01 э,,G=3+no4"9MI'{%[?}EбP|`%e(ډ/ #;G8 Wv'Ю )xd&d𻱇lI~P=βED辠yx7m^p`W8܃BsǏ'x-l*\v|dIWITt#dQ9 1pw<g59V^Yl7;mbE&ok?Z"[HׅS%KT@ 0uiL-c1%bo2YgY?5WYӿVb'hz>C,E/SŗK,oDpfRt#&J|C ,7VILZ^X$|SA' 5H{2=*~im`.S fπF_z=Wp@d_ 1v1ˬ%'*nM΂~nILikbUu W_Leª(6e H#_a-a:J{o…4^嶍|nsZڼ|4D.XKNr)N쵈V^E6^q  7Ju1R'G5jRZrVcyRamgۉaƋoZ88m=XġR0 Mz'/{ԙՏ+/gl~pi %tPMXzgc)sT8>9=@"HĈߗ+/rJ2ۙ4c?UQl\P~ x6G{1/[L Ƥapf,#!#}2ZՎ/@v8=8$tZ gvC܌'.YZ$g Π<\>;%ѴA:N},c7A8[rsMqOmǜo}Ὠ"7Eʅf1u;$,d V<{x;<]0hɥ2^ 7sa-3n;wM~+{IsB_4(F/9r҂ & 3KB̺/M'h i JG1Wlu/R] xbz4^Ϛ_-<dS`Xw\8mzp©X=}QYtPYU:bAJ^VT ˑ78=& >O% S#?d~ui"#k_ st-7`m[L4Edb 8wP^7kLy Ij=K H+8š @H8F@Ei#HTW߇`iV T;r0joGAWXUf18M4B?b 7 }v7Nkc?6$ǣӾkU n!]"ŲR4DTd|1\6}aF]IQ2-Ui)"Wh9՘I~ž _գwjIPPaY0nTeios c=zC3.ނ!Õ>ݹ?Y\hS}UqJ& H|P8]ﬤBORUh~8}@A&+te!mІY~u:V17fmqԦOPhSP\?kI}"( L@zRW'3<'cHm)ƇME\5GCnTd+f%(9| K1`.*њirzBJ4F<ߢ2Y 2] 1Qhu"_ygE }-$3ΠTjw[!Iov ?JfcB_|ͿhP9D4!y&au_.K/yA8US7P5?%`agFhp߱hHv v~֚D+tE.KzS;vً9pg^0KS2{Yw?\J!䎨![2? DpHtlӚ9(|v$I/E_7SjC`HK19.J12HH:׀*qadz:t-Q94W_O~7WoUۢmVi5+1Qܖk K9*n;]N,0~TD+! &\v A@9¢}BQrxTwީPCI-gȣygsBRΎaC&v}gA0a_JfDn@C7lPtYZ# PĸNGf4 20378>N.Um/X?\q@tDjh#ܜ[NB81uPF ?bݤE3gfO>-ʰeOUz)09mɺZ^Th9Fa]uFE;6tASnXDW-[jw=JeQ_M+5痕7;T"(2:F^X S?~ A' m`u *N~4RZ1p-x`G\ZOvE-_!vf$5|V$Sl1#>'\ *SȬI >E8R"BPE+7Ep {/QTů݇V;#-îpdPNyIíJ#*ʬoh=0h^Q߶7edNI{.ȸnwr7[΁Ͻ6\\]mA.!~T1>rzb MU.6.+ILjfe+c B"e5w? t@v'?9oݖqژ4ьEOㄹf +QC#&'~b eCL:7Y#E@M(zd+#R( Q4S{Y%gǕ}O+~va7![Nuv,8?AT%"EdN$(ȿoXp4e>|2hNsfg/-Fr@ƻw~ˀ"AJ /#AKq}5 6ҞⳢ00.hj'{ZhЅVJdǎza%,ZkƉ\Mf뮘Wo|VRnCl;t>lĝ%ki6ym!>]/}~FV_^AaćK|=cX{[4t.BD.~v|3G* ɂݼ;ؽy\'Emc8 bГ,e)Y v*kÆ7:94 Y .oM8tFsu?:*mLWXMA&186f|)5q0]A_n}?5b fȐrú[c oSS[vmPB|kƺv'Mv+ŞzPwY):w7Ys\€i{z݁u1R'gYZ7zXZִF! ލ']ŗXi%L!l0p%!wBLTڈӆ75 [oܫ]yT:;0^G8=L`'*(#ݍ tmnOPV=Tr 0Y o}5:1\քySl]cÌ _ZZӦdm5sWtD\,HGJPK9.{-9imY`mKa,ڞy7h_hUpxENJ>r~3VmlMQږ0 sjɢ8 o(J|OSЇDsqOlue,SeӋ3ڧnKZ O4/c̸:gjP#hG "w-bwm5x8m1(5w6Y x6'SRpGO;xAygӍJL73bw7Fz \>&Un~ޔlIi8σS2/x/7Tn |C]on+Jy*+ҰqB7Is&~!S^ߞZ+~Z!rTCaZE# ՛3n2*M)jҿ_<$C5]@4?ښ&y"{3K(7[^[͜>jShr /2qjV.XֿF̫:an#T?8x\=OK]}91!qnrۅ[9dxaG7?YFr̃iY5]5+Sl~\+]2wƱN$j6zM=a$[>˓(`i-SW#z 6,e'QmbÜ2x0)eyP1X|T>J Dʳq;)aiyzd *urlZ̲h~txՙٰ}aO>I1eIJMmEn uT6r6b-D"/0)xgq;ΣW=Ώ"z 4z vB*Ӿ WVpj̽vJ%3Gd x}xiT~P`jNk es$8T2l:>FZ=w+O3fc"/:nOxI:TeޡZ~ڌ>( n._0Htf@94`Y[IYO@B T&F.jz刲݊Hcv0_̓ K\pŸ d{l}e <:Ă8< WC-_oPu)xyͯ2vx㓁s<`]ܶ#5>lT`y8 J EG1W0 [KK5#CCoNjk9\+&ؐM \ 'j mu~C0]s %jđO<1b=9]XW:^8zhgy*#oG}kPfAVgr(wZʢԞ*m o ~x`pMMT'64tN]reu KMFd~Qb{I2gI딾<'fSo;ہ= #f+2UkzAH\¹) zb ;1q;Lm*rN"7yh0LH؟Άvs=MyDPe?SPm m&m]Nv0- &>_*vM Ck.+ j^sg~@+.*N2^/Hu5'i3q{'۞qs4jS7Q{?^pID jDڔ_"d|5CWnHzDwSy [->,Q&`!kt,}ő[Y:`[Z94W`+Dg,3U+x'LfzQ-V!QXFu8}+p}*-}R`?ZMF !tXdac~TQlN_4}1i"#e +Nh Yn(Kaj;GPZBU7s_Pl]yNNWd]%.pW^|B}J ()խphp-/Z[(t*%7)ϙߺ* n`la!iwqN)LN;  &ReS #k?usdB1E{cߏ^^Uhw婆1O " 21_NsiILh u_$jfꩴ E/ieе!uo3M#0)3>3,caN[EO& ,AV`%יX[| pBlPu'>~N՞UQt2e3BLjѻbxĝT|2.(8[8sDz#]#\ VCjNS`Gګ{**c)psK 㯹s,7yR$M=p;|G0Rk,UqD3^r,tm=2b &p" 9nSqq_x+jK䄾 uuɕᵳ^'1JD&1v/ΌD#7o]{ڹOʆ=Pׁѝ-lfjd6 ΐ=vEgTG)_? /,+0rR8V4u }v^V ){ 8PuToO@9K2gȼS0F3oE`UyGuEbb *b)sڄ6ݴF 5g-v//v }oG\R;Z'Vן"ϔaJ % 5 ac z.Arxr #;io}> M ϹxJV;b ۽Xc9e WU',0EfĢEX?/ƭz5L''J5 ,| OerŒFڇkjdm@m;vmloX S:/܉Erx%_|uIP$T7[Mk >Ga9#+f~ϰ6E쳵J?aU)|S{EMU_H̖NN#7E|\+_=&?Yd$8;i8= %$P/&)/RMG{qnSt?wx ozdg%\LlIWK '%+]%|lOR܍׮ f.]7qB 8jx/>lq!GK/K*uc؆zn/ yž^ ͟yPM4=d f LeԔ7@gJ=s{vUt^ T#MkA$|h¹kCxij]ʦ7*?b0޳A}qi$u9 0IG8̦n:d*|oCa-<پMLk L$3P}Į+I&G~] We`эp/{쭒oOU#K%l:¸a%нZP\_{&FJ_YţuyYע~i{"-=aшLO7>desAݨ96{%k38`g!HX~|#z0josXM2/OPCc=N^_Л#WX*֯Mbc?O,QSyˠ/ǮZ,!s-ac 4;bSE̐DpB#OA WJZ9͟7&*n^/+ onZ/y \n^cE%eafh2PfwxoS6p`..횺 . W~*)4^+-.{98ڐ/}5bNWgN{86~0pO`RKpݒ;OZ{1eY\HGi'rQyI~%ԏ{z ^ @vW \n[CȎ&hMMם#\I3]d.7 37;VuUhs>GrOq5~}.Vmotޒ#f!+P+ޱXCTKS|V!yqNFS;? WMG3,#6y F-,}oSs^(Rt: Ƴe. dk*ثΪDH5ϔ7@_ )]+ϸbF=DcX٭ߪZ}JJ>̘ i>cM%RDz$5<;xZ"ΣXؓI|/U6 ~0Ew,-PngδcOwolːiEJcDԑDA؆) K EcǏR&;=a6VN Y%y@(B5Fl4so$ΙF͏M$*p_7ls^mĄq DySgM,vwD6v&B{v_zpWl~`YEsuHypAQ>F_veʩDSz(Ayi(Rjq]K(8=Q=Ƿ:2t!O2vɤus]´*wEP3r-ߡ`-E!Z( d1^D>"D5:/"Z_N`GDtO|I!A,85_Ac6W>4':;g΅3tFS=Ŀ]jiI$x>1jY%GrW@j -ƞŔa39BK O\S11[3|xuxq 6;m1\'?8NHO:UXJJ Iп,PԧQJ/9s}jC8z|QT`UX} cWE ¬ǥ@&Du&eJN~KX7*ƣ9os",ixhBٶ lfKcQs)<Ǎu?CM!g[x"#seAOqN2C`|wA6֣UM?c-E`bTxluΈ0]$ё?n=4 x# [uV|U+Ia%:Z:A<M~*Ef*l`AL!V]g 6zй]vcQXRTQ7,VwWgYX@X-'Wk`*ߣe$&vf%c]9O2sK2ܼLl=b肪gYjic '&7jɒ~0lTBZ @}6ha,ev%U2/̗ȒEPc hr0q_g~;@cFy-rcZ 84/M+pap⸽;df!J,]HW.] #Ir#|IM=`l;cr Fi`E12卻eޔ%!a zE.# ۙx& Wݍi} $N(Wۢh$&% f]\WeUyueZD`kaēi!-֔FV6Jq䒇O{z\[Ď>IN Zb8C̀i+;FB]C=: c멅q6UG^$`2մ‰=}']e;WRc؈~9=,QJ_!J1ffj\t]2&Zd"1yeS&y0r ޡm{,Đe|lspO diQyLjykZ@о.\qo8'0ûkd2G/􍌘?]')P7Aʺ]f1k90K9/ <+` ߭2@]M8[oOL~&q$.(j]wԎfvuegH&%ꡩRG=U.0D ퟧAd6'gnj}d01 (85̯)+Ky-+'+pw1.8t3V7)0MzWrY5cNoP~sՔm 1ě_f)I) Le3t- uYwK!PiB@5#Wnt4|#mUCdcz+%s3z";cbQgBUþ,+(6w$rBay~fJ L>mGWIAfPig`ÿLO^Nx|ͰOxȎ;nֲ1۩Az3Ʈ1[A|Xx-6,Jg{eET\ݝ>)$X!lRRÛkO_1 Oi~ZGFRǂ^e0Q.8K%Ah;u(j0lM(xqEWEP@[s .Gt oYI[9)`\:^4jjY~=-[ ^7/ '>IHKIF6ϊ4k#dl}bܻ\ڧdJK3Dz%ۭ 'i6c&Ft2GdY JEzsq|٤tFZ؍@(ϸՀ)iqqB廮OBu|;)Q>d4+a(}4AuV_ܼMmͿ=F?|閘~s;cd26Hl SGq=$;xlLVE̒ɆXޗw4Roz#`