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 ,4 ]S]Slicing:threads=4elapsed=370.326cpu=1198.548gc=13.120factor=3.247zXZִF! T]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+ka< Z#56̎neaKrI1iuV(Ca68;Ti;/\9LI묛p[ʝosLDEF;,c>4>@KpOj<{,KˁJ`tC>ö|YtՇ;CAqf3~t򏧏`ԎM3\. U'z}?wi24~ ݧcA{S"y [O~6^"Ovx{ a>%ZT^|SorP~]<"O!˾]WEXz*@30EkJxj&-Y4KO wP]Y ]Ms")SV$\\TqtiSY8SUvµVR8o+ w`*Do)\z@Ѐ/ץtZ̙_ %'ᙟ_euLwXF>F5%-÷{Fǧ}TIH?{ZW`lʌPbܺz7Ŀf=ώCSO cR;uoہ"N"1̀Ýff_)%|Um]\rTݿ~K8%ݲЊ W%y-.dGmɣ{Ƕ$f#q͞cO}~UR\?q6Ct&-w>ug|P<4JǶ1:J(>|1\2LNGϹGk=k);0߇4 2CFyrShubBLfWU;Ćj玔yW4X$31Y>H`H X 켕K$+#%F @VƍMjZѴXǶx% V(ZQ8#nGָ~~lY07\FꩉuT'+1~E_-^^?xj$*|_5Il˛PkJ:wj,7ګPe_w;4};A&hjuZ,tSf [1m^.Ux>s&>;@~2DȓA I4GiX+(떂8 6'|V^ qPH5$p[s+\/p]n`Xٷ$6ή CPAq tC%JAdGgtU^$]WQ ŘCjؕHk̕51$s˨=o> }O//MbsoV/+-x3GI.*弌pNP6$g|ٖ9uGmH`? V?O|9<\lɫ̮%LˁaA-!S R?/Dbdeu4/to;.G 7/ͣvfbŒ (lU:D2<9Oz0Ÿf'p\*r~MZ zo6ƭzu>=c8,d<$l$TĖT$sT[7H-0 N-44؋'S&Z /CY[ :2]싢b۫8n$kE nb[}AͬVTbf D,5F@RrKꀇNEO**9iI%o:ZWH1 A\ QRW F(1wC(TxdW#KS@ УfAVcWB/boHXb-K?tfHȜߥzTQ GOȡè2xeD|իwΧ0f =߶>C)_gΗ2ǮT{fYTP"NbuU_P SYot eOlyP1V6[k7Z2`HJA 7ϣS}p^7woiW$i8;ջ¯ܧ98wo*P6jD{umFѹME4,[iȁ+xp=m ùvH]8%K3P/wh gZrс!LhX\u p,{ypCxSkqR|dxϹyzL$$6`=TUiar n[øa;Ts*'ݻ^yNH>?A}|qK J=@{J%<dvz;,3bƼ#}miD`6!qi]22a̕Vlt[grBra9a056rpkfG>  d&d9nO*HehGәѾ'2b_8s,%^o<ȔE D' beL[ 8 1TR ˃]u[IH{w4ew5&u C;h=pP5מ-q$Sv 7j:5#}`I721YzJeEUq0*Wݢíq2##z%Q.ޞj >@kwT@>{mfiӕfm w9Z%~J@|& +o7Z2Rfkqf֪ y$W*3d- 7"6;gLxFz.@FmvgKFҒԈ.FXQd!aʏsY%tW~i3ݽN#ܽ{g{rBm"v _h,*s![ wOȚO +غ^uxke.31:,:[Bx.L{My/'P@ܓ_V1Ҭ6nl ivyS>|'"YxM;2&NT'JB7dޔTSc >?A70 +kxC+kA:"4XMߤ K;{`m8xY'-B>r/b͹ ݧd˾rh6:K_%{RmyҹHR>9XntSm*" l̅9$,RO㴻~xbʜණŖL?\82hyfs`N‰6rג %U ş ӕ=7+3!lɯkb"+,Kle?(r4G\8Sļ%̚2;G;Yh4mTAC4\3z΃Y43Y\+aq%SPl7BaɢWU^?au'eӨhMH|3Ex>Dqdoͺ x,KX|I|.!;%C)>ԉ- cIt6kDSEGQANvj 0,#&=*?ܩgվyGzg5HJ_wMXADdգzm 竺"t&b¦)ڀ 6GR1WE:gt uUL#a0xB@,ltP59$s;86 @{C[Y#Yi(fSD2Q$}H])2v[xBT)B#m, ǥLQB < JJOLe8sO#cՆ2Ap{`_eB}Fբf[ݖTS޳6T,ΆukBeM"p A8y|=:N\F礝LS6WTT+MHæa{%[qsXZn%@xٰd; \c/ zv \o1{j&?)>V´AݳL62<.vf+&:`M8M^n'÷B6IՕW)*=5;+ʙL66q~H1z;x+@8Λ$[URBc.6O|0KB+;X4(sG:#Jԭzl2B*5gif]`i:c;"̟d%AANP%5,mImj|NHEz|XO{gOAѽ<#~t>:?tV@îth{YVW9L< v}[U1 7$_ {'4KXr)T>% %^xaOV ^"zPT ߏ#Ao՝T`7D!n/)^䵬3&,-dRH V烪 z-^L(R1"_:sZr4iZc%)Ѩ${;=+Z]f-/>kl1[!޻yކs^S- x5mC_4'ݗ_?,_}J9;36;jfq~%鏁fgp!shO~!DNK%hHS<]Cn]jHLy$E IʣAfӝ:un`[cF/H:l}BH{9]mǞX|!4Ccym>2i.ΦfGPc 6úl`{wV,87vTKt'{+8^3q<kg> "{ɜTֺ3?Q格jߑ>94g.e[V{g+wv@? .s)ݹ;JA.BBM4nQF!yȣ+T$ sH28rpTg'lN{tKdecv_ݙ%6&C@P$_9&۟?bUʾ Y;^B#H{(nU;"yTAhD|R{nFAR? A!/ĒMc zqE;zдq(?6٦ޱA5g~GTPQ򬶼^Vn5 1P4 j8[|ucEϐJ3AgYZ7zXZִF! b"m]ŗXi%B|!!$?RZ_ߚ%q 쫨 *ӷo;ɑ\D;CIk/مT;c\=a5sMuzΐ͉ۨ[RPJ{HmyhY=jTu#dVL (z,"VL8whX |taOrCuԷQIn|hnFd !.~ҐAeT~vos,A!wwAk4 #'8uN.a5ɡIuFC&M˗j'ʬ<̚ݻ!> g?mׁVTuI'(w|B?} 1;H׸L=3PMhKG +A8=ŦEYmE|kqV%FY#mc!pKf~hL3No<9RT!9T ph+Ʉr5Bk"1rm-BI, pRNC>*k1p6w1Zz]GY;p/H ;] Lb[j^PVX/\|V$,/>FtETw+Ч4q&r-Y !tʹGi˳vQ%|&}rt.Sf2)Ӎ@YmdN}7S[mU' yz7, s(>[ #Ww"!(Y#ˑEd_CaS|%LX2Ӑ]?(ҧCʫym~.*{%uJُB.h$7:lD!+m[l/ =)#j*,Hꔋ?lUAvBβ,+o qIyMtu k>"벇ZUVſi5 ޔ5Ɔ:Ju0saJDAWS3-~r7DQ5 O rD* qHdG$c_ q\/]h/ڕK(ds nP: (K~Tч2C βCz@O+Ogжc, r1EH|zVfSMmLt:&3fepπRG KLcZ>?̬tBvN$ |Q3{zя߹ˀ:JFa^Es2hQ)VCμ͠,, kҧ 36Jr͟"5'rhpУƗdhUalƵv ^4G(+K|g9_*& vt-dָK9D`Ds9NO[.q1T?fF$9Ta^X}-YTH-**IEҡ_sS`jؕ-icNM{#cV+ ;s,^֩c{2}7Η=q]:V*?x nWr>;Ϣ>df-Xx\4>਩ Žˮ¼$Aksξ0/P]y RcH1e)ay܋ lb,ş`޻>Ў0ɋ2"m*u }6!!2= Km = "1ѷdPbr2RtfCܗ-#|ثfW!Od7pn%|h6XoЊy"V٣Z=U5q)oyIn2| q~pf兴U:U|![ۿ/Ug#] r?V+zJVJ9Mq Yakl3'McC`8uL@-#t61Mt~S5$hw_^znBJ`^7F陫G CwGhUZ^2y~]ViHҥL4#pI(t]-̅y@Vǖp8MI[&_^ZF-+I37D(cӊp# G3wW!R{@<4b؂ WjvQIxX LjS): q#|:-m&_;nM L9vDhF, nUqkl9x{A}Җ3xe"ӝV iE Y1 (~k"~h=΍B.~2O>sYQp 3v=4#+rϐl0y3ĭt>ۭ=/\^E d;X!h1Cuwr;(^ ;Voq4)_SdIɡԱL&.2=s4Cm܊d'8O%0vzdYԈm9SH^N^J_9dS)O)9 fFJ=!{ȆZxL+s P,?1 0ؠnS6o5y\R@TZ-I4jm, Na)Qז '}-1%$ō#1eW!ON3[[b}+g\{"\zhvjNUU̓S74p bMУo,1\R'Ȱ-eދ!UBYg=ZGm' {'-5GKVlc ;aj&kpYi;ZtPRRcGC36 ZB&;9qze#P[\Lw%5Q|1B੦?,0d-:΀ѫ-Ը4 ǯR:LoXpʑrO:#i!ؽF9ڵGqh2+{sޒ"h83ֳ"3Kp' ^x2G7ΐŚΝu@2V /I0iG OdĂe5A1wTmyt)haN@]hP{~k~]TODvAELd-L80`8ևXb+♮+WziF~#92{T݈ E2/*ԛjyo Yu:'X 2l* (J5ve9I`={: S Oz*z.WeCtّFe6ȩ"-{^ wRt(Չ3<9^ӓVnw_D-DmrfL#(6uW_ԃNJF$׎a]{&$.7W1;rc]Z)({+"]{mQ*9ۧ.j(NhY~?An pUC0q y+Q38rUJgRgchU>?͐168A',4'/r|"轈[l6אFԅT̨q2)R#:I.*!u nG]Lc{~Izv&Iz-D܃p{PlߓSOĿ+9b! 2.4PJmԯ!v_k7;_K4,\ٛ D-$v l.i@E¾ePSCO&3d]boIF##\JCBbNo$%B-&֕W\^i!YLj/-w5qЭ UCsq{l~uԪ;Eeȫ]t-#~qаF9%-OQo>k5e,P4RW@c bB& XKҦmX֑5h~43!T@^-Q?ikdsC$ۘȁ,h/ZQYա zϮHsg ?&3O"9ZetYm;LLl0V8?Yna4:ޚtLvLk[&!$;NJjXUWǞuA<#^g;aTYT^lSf]q𕡨hhx(X&~ }*.C'B[g!N4ђ19xXsj: q k[\ 爟H}7іu"e?S*$R߹g|D; n3֢U05xrQ; NJ UFFCgN9Vɉ/06?}V擘N>{.̺&ڞNR=g<"$p"HY$Ȍ˸i(?1kR#{u^-CxV$U zzR6~8Itm *[kSirR-+cJ-3|_Y,tkxkP&QXPq:#g>l8ȃns~р-Vm'~ xDoTo:߇Qh {kcs!p3Sݵ ag2 13V!RC7'rz6LE$\-$ kyQpz 򈿟]RQ2uٕ`o@ֳYUWTJ+Z*9h: }+P1 qiڊ(?Կ`_q?O5Ӫ(6mc-T!м+;bE\l-b\tG 0pUOMј*`*ZRz1O,Vя+4yW'ȷ>'~iNwE{ vg0Dr2P de=r_ƙz7+ u,YZ؜8iOyUճV=$B@ޙ;:n2luzçf\s . Ձ*R * ^E䕩+>k'Kީ@"Vdρ͖r&&4U!f`Ǥ -ؒ m,9ϻ=kdz m;> VcZ騼\#TuoվZ^03]4S|{8iBn1Lr~Pa)NR (kj aFKzJpW0*ؖ<ԽCe*JP'_:} FMγx˴,%̝vp^!ھhs?4pbEWwa8]Hnj}#aA9.ԇl\&E m1?KD3c)$>f%B7Tm|4&Kj*m)sD;Ժ>]&չ;7,UDc :U֎sTxmHϾb<5LV"hZu_-@~븳x0~Ӝ:y)n[ p£e[|pNL 5҅dZ?u!?ۼ=&?\¬^KDa>t M4G`}M5o8:Q>非HD{%+<]dtl%d]0kߘ+g~p㌣x䘹5>4`Lb.hcp CE\D9'QlU,nbn2ȷT`"&[3dnb3ls F}?=c~ҐI+fma6VBKAYJOz~aš1vӨ,DWp}>jbG*9|~r_SFR-*GWVUzt?5Exsݑ[0y[T mDn9CMt *L2/ޮ([xNb%ԁ*vPkh-BSFK?$R2Zxߢ4,5YI!^ {gNoCN~ pDF%<Ҝ‰( f&$ǖr0$b1_h7Tnm*.KlD*gkrd eZn٧e2f ^PLo)hK-+}ڜ<}ˋϼu騴Wv3zQ% 9wLdG0]odf.]_㌹\8$U̇G )e%@ރY` ̓c$ξ3B^X\0!AWpp 0)ݣi7$\X=HnL7\3);1a&8TDbz&YUؽ;9톐?V̍cX|ة?SXZw\8^m+v)`(rŋ>y׋%0bi2 C ZK}Z sCpf>m8` UPZverQ`tmk3g)2T݃2Ta;?>R185'aNӑW\D%2+ RSCmF]_>*#[ִ{odLɍ3CC$$fվMfQycF q(AY ,GTn%Zq1}`abX7pzÀd%uOu!vGM0͋~ ,Sf/~``cl1SufkAO뢆@3sTT|HZMz: ԑC{Jod_2#Q l9 򆈋Rʢ;XENVAh\ l? GMFX@tI?8">ntŐT2sW9m @˦6pXnn]l*U*8[Bֈqi:_ ^p_s%e=hUwnYgfd"NSQR$h_\?@[$>H@m@펺!bIz%<{42%n!eǯZ.!`$k^ijt"@I24wntQzV2e3oN(BwѾ$(4C7SQ.Mת\1rE$T-`Y@\`Eu{Zh7~3eI>Pog Zrw /җy`]nn?R@8&=#dޮA-"uQdyYȸӒ#0&Nή4qcT!GűY J`kTf9&0J`X+_C"1n+[C1\:4~EVd},}茣_o*͐+&ւ?9?4~DgyAg!< ,Xwo89WNWHeɋa.y<ˁA#b\̤)(ŗV!h wIj 8>7@DN뢆>6U|NJ-w# IugXbGWӈv T e;:>Mu2b|EH5B;)?Ѭ6!v b aY"]lglJ^ %ޠÚsδ4iu.K cN{UxSt&)eI!ů 3O瀆ɣOrb`ƦpzjN.I V{$^$xC˔x9}$p3՛ ߟ'5( G# # ܗ9{m@&ؙ6ph Du'FY{=x{fPpzj_G?<}xG\:)}&Z8I~pRFQt{VrG]7%A,s JA3$>JQvǥŠy=;_}%kM#]3C‡}nt^_[gӮw]Oz4&u;ٜMZMu:U;~/TYN6Mߌt ΛWg,4N~4,+h:ؒ/M'i8R41Bͨu3bO1Q,?YʀjHX?mOSPdjJ;Al#x C \=OGI?W"HQo %wQ}( /qa![7lg7_α$#oTkMmxvD$XKP'c#CP_[/9%e*5@ Fpd?QrRMW3jK]GVw'/B3šEiUÌ/O4/>ݹ,d)EN:z^&+ɺmM`F'?'#5߷`3̳9+fus4fI Ҧ؜'=6wީ )-u$\ل':kem?.?b{Czrד776!Ӵ=CD mG S*'BC#E[ݰiutwE}t$p/u$:rSse~vBWK&sYh(\y3;Xtz/>e MʎmeypFV =ߑ=v<>"`%l޸dA)J@+'wK F>l2K;r-p9++BlC>Y@޸+RH05izϞ㙤LOдŷ6{o*7>A*ZAiWSk*.Pj7;89Udf% 4k+%bݴB:M_|]j;Uq19e+-3VRAk5'uՅg ?n'SZJ]Ał7MZˍ>GuyLp,(%XܧPY/ZB:ZjCEYChKs# .d1H(FBp|J1 /vd$8jv quXnD Z?KBfFf k_"zmA(TU*ɛM2G/ nH gȓIMC [2KB?') 5Tn=|i}PKz.,6au8mHt$'5i(2x:rKh)*VnXx,+:d{bklE:a,lqȦoU5ig¦'rFnBt*9E `xPrp9i{ijqrL,щR[CR;nO$z>)ɯ J !ވ a`aRo}ˊ=,"dceMe^fq3N"!r:~qpm+@Iyq7"0~ykCK3h|i9@ 9a[2yT"^gp#l0yCڞ7B !wcKy`[GkCh,:1h˩O]~N[KHmPFCgȋT&7dԗy wj4̓ dtk|%1k{Ff]e"|q}mTMgѵVғT.'a($">B䎳+>kDF$Cey3-AQi܆gCp}-$gvpVN'MA3arw`c1fD $,%MzJP^@T~M󸎉L;iΊl*7ޫW>M3yVtAtբTinWrRh)Ͽ0(jZ~h쯦(iASW,#^G|fLSdWuk#U\5ԟe.P䩝u+^b:l.Оo6.3[9ea !n9WD ߔ3#AWUU4њ16<<.,J%{X Nl9N˼k3yG6&G;yb-p? Z_71+P`jZ|hn0vC4D/Te?qzC"^3: u?'!ތF؋^ym}nUِ#b )v"XwA)jNh>Bm喦^K!c:}ƺWG|V "cY*. ʱ*rC7rASFڊ\9~4k쟞$È^!Qӳ) (ZwluHrJ ?\༦oQϪfu륷/idn46ͤʯE\Tޘ5hӧFDw%pTJzڰ9i\N}Ơ.E5,M&}fX9;G{kcЭ^PwY<.9A#{id:QGO.b2ۭ~!i2zr6lXeR< )czQBbzyDM39EsX=젾BV7^I'p\Ӟ3J̕/ U'ߣ# G_o뤉D`N; r˶ۊhBS2:^$'ȩ,b+p$OId,6!Z<ckהj2in+ƀM 9ຮ(Km01rGdQ$cۓ'2kpMrU23cLT RuFqaB*(K ]ĤLRPf^[:`3eqI[=Xe ?Dֵik՞w[jB$tKZgʭHR)C'&~3)Ccծ2 :,uȢڱ)mqJVqf=S$HPm]3MV;$*N]szh=Y;2c :]a>pm!Po8GsYo߰'sUe% ^4S@YW|1zFYn:-S* u):GeHb5򑢿;C^݄S#ް OsXCq tƞRP\k7/ ;,;U(cLCˣ3o8BxZ轢ĐߟC͠b5~HGkpu~;&E ȇ-Pt1-,KpVlh/#{IJ,vtݤ-pA|̏Ǫ *jзYߋCbzij>8[A R86^ω!|Ɍ/$9fI^;,tZ҉n?qA8xzrM*P٩zVP0`鞠irrbm\sVN HmptG:4y'g܌xL:fdH|-f\>  Y 4DaeM.Ju sY;?g=Ų(o_?J2&{= <oxBM ?V珪M &7nҡSԕ,S4TjA;# yVFq?V>(),@ɷ/hgQ֙3dE7 {C T]L*PBG]Mpi5|]$fmil_PO>>Wjʼ68'W*bmP+gL ?ەUb$fpjU)b!ViGy˙>ʲH 8&o fz]K'pvĮ :[Wu[vuEۍgvTPjs!S|)1- Q.I _ک]fjRn07AQ-7ԇ%;k7/ F(=u2LNs=@N0dQ[ [#S"N1vFqpp6uT/K)GwKaݼiqܥ=W)Ti!d{]DUDо%G \ћĩI-触 *9pdg!/4{9A`9b2kp8Xe=. 5 *9YmE; `H֖ Y4Tm u&!`kq=52Dy!֡.:Gi ,s}U?71i4 Ci'ysb Q|daXwaͮmpgՕ\|RiDA dF;|*2-5b|\ε|0Xt+eV !^M_bjlJ({(tؘ2;W 1HZd>|vc灶?-}_&6fZe&QCo/~ mwٖmAA9\6N{z-Ro}dY5(7`G Ә=Nz0>m3WARPiz{ B1Vy<9ߡCǙ`XY >y<uCX!u7F圹E #fAj)AJU.;ޗϐ\q#~(\ ]48cm =b(ge|`ȵE=r O}zT#XTEI@+q=Bv:A dO$&˞][ϖܻGVCkPæh+==KJ lzU$5BVr A;EXg v P~k+݆OC)T@ ӫa;TH> BoZVw_ċ|dk˜aHY`uDQ;켡}LI*A{recIp4K#9YOVRkajf#y;B0ga cWs翍^a%~v#8e{qo;wz.|ef P{YLʚOmJjH4b7y~wii"od8~٪9A~xFA:/8l,S/6?>H2@ Wƻ@&#ѧ>2,N> ܻPɥ6?O!}8HB⨪uf>7 7)m}g+يArv;xS>쪅&.>8n="Ղ .i߭6W p ϷRԙ~v$ b(VmfXPMU&4P2Y&QӤB-1)bhm!ʉ:v0`)a6A`;F``"^၍qҰH~I {xuOǡ&`3 !30`zs"CVḁxtsԅc} X+*-WM+QDB&8ɌW?tva.\D$3n}me'FIJbW&F)J#5F@0K&Q`ˮXEGky U| Vb3v[ !iTKH@=`g׏@m^";?@BԫׄmWva^f9!ũ_nA)N&YmJ]fX)$͜s衎~&>Qq(%\nMiQ 9pXڃt>\ΧΚzEKb4F,w4lÇOߐp*O)U !-s'|uȫm=f&_hZVjן4Ukzw-(RȦZaɤa,V<0 N1n‹5&L~*(6' :_nYEUe&pI|Ú  d.mu2WቄڊF=Z\T2I@Զ;<2GpoIYͳJӘr#]n{l ^?<-,xs L(9ūn; *X~uî[<+6~0q%!PȞ Fu/H܍L(Ba<dlD1xD>ӷ3<pQ88<\r6SyTOwOl!8<9-u%r9Tk>Y >Wl!t$;'bOafM7tmkքlei?0 O*YiTT.tԥ{f 6uP !_+C<s>l#J0+͈_LRRʫ J7vwT%USFGDFjuU' w AjY V6 Ww [pRYjFl.6!0tv0e8 JJ@":Q˙&f3a䤷-FѾe. DNtH^H o>D "{c͹СP\!sn+.7w:`5 YRHT|WN\>XDE5r|\/YC<tM;|ɟR $Y;ZHkMf:m1 p֦'gDSyú*):ۅY hgXCb(ҽ9Syfkh+D˼wk6 Isŭ%Eٓ k#wM.J2I]pj,. K+_XW4[6XFG,;FD6*hUh{Gy 1cq|ahǿArAs kS Q`<'jY7њ*_[UV#dMͧY^T^UJ{Kv 67&C*0X# "h4?|ޫ̙)ʇXۻWy'0j+Ve<95Z 9+OY1J55S{z5-2lgv7ld!#5 .rp #hJ]~[vFZ4UKkW Ь #Ya٢lyg84GIhh8̱v~N1Jbp/*A7LW*X2%>Jd9xĆV,?̏(K~9Vp|wI;n0cvUS#'~gaνs}H q% ,N\_hS㘉&NR5Ɏh[Z["{4SV+)S:Xf KeޢaBA>e:Ke6ZV̲z1t`Yr"lO^h+ANiO%1MNk)4SZUB,Fry9kLLl[2aYZcnw `_Kh3zގF11=~!Uzzdy!ʇS=7UmG`P5\?URSj_f$*&mY,.P;\ZNvAP®旜+̞'׮0}5oP+hwr>ͷ &.|o `e_<$U 簎Z_ bz< =k&H jݠXhZ ,xM=kZյgsbr h]5VuVG HAr3͔9=42, : ɥݰܑCcNT^5z!v O1jፙOTIGkLT -S_ 285khyP<E qoTd4߇<7ә'j*m;! ,^流FWJn"B ͌z頋J,kq$V9yyK(̜ɣ`PrEdO($ˢoKj1mStq錘k! Z;$-D;N7ˢ]UA^MdFrm;3e>hGf1i.XQʕbiܜD"t`Ʋ\KQn`6/.2"z HN3kTMQ9! 11뻔)zI#SLQX{k>NwK{E KjFDĒ r=U_"WM 7 JbyDj/5Mfn1GE)Kie @x'8cT5v.>>f6۰Қ")Χ`Wy]|R 5Lqёv浭P^.fIl`{>?j7kY1*FƊLsҮL]KR/hR)~m8*%y'LoWQhx0gv^TKuu2Ul8B!aZv.81| g5&Ԧ~0;`L;^/R̖E;uB?P%"_ s@yWOpϪs$$LbkpBjBya`S8S EO~G#"Qu*>AMrWE:a=LO}9">*ݪF=jNkZ#z\WnqleCӗ2#B!,ҊZ8&ʬUuVrRZ_ xEc&iu[>B; +j챸q8#NO^)#Hp#rvty ElȦ3r1)v@/'յ;G $ lghh?hX~a+"ku%w^Jc HfU[LJ\-@pJWө_omyfbeVh. mCZ\S k<.Nݏ齯շUL=g*1a#<-.;/C $GXKw;/+]s?|>NxF3"L/+<\t-=# .kBsf}2&#zAS :T&6Poiȫ!SD{)QCj\ΣP8eXHz^!in4,:KE`!]$=kQALt!%hikiȾ0+éܘ ` :E ϗV滱o +L#![Dx! ] 8З+Kfʋՙ_^J/A|gV12D ܵw:hrU]n~*B_A$ь^ 7KcDB=}A:JIOyע6"JFUFz6j ,6Τ` #rV+;-fAz+ #l!=V[<}' S$vFȩ JT#C->^Mif=BCn8t>(ˆf$TLzOn/:J0+.㉲>I1$YLHl>Jʹ[9.5krb1uqɵh1| J;"bԌ--؍!c̏la dQ}BMF?Ղ:˪A̰ r\^a?hZF"-Ǖ>wTnoX^l*8J%W8o}pk(x. 3P'DO<ʠ (Nd L [ٟ^BT25qh_ _-kA0 뿥Nv"}N aRa8 ۭvgK/m|_DACwv3{$w# 8hAŅDz&As3S+Ro sp4s?e@aN L׋ݣǾv!7}~`!X2̽_)ҹ7_$g=LPQ:G AG#% G!lN5Hu|e4sr*g"CDd$iXSK H,ŻK$,PpU23'Q5#SF-5es3rm;&UԪtN3k>dW(EY60$1%s3щ3M9Y#@\1+xGMm *IcsVi$J&U/t%s_8!yx'b3 7;lt᩷;tRºҷP;vEbc&}`!!6Z窩섘4<rͪi%S׶gTc (! txKկ.KxG*S0 ;G5&/IqwN@H [T݅u.QKX@Tm61Uy"j O[u`[q *iFي>(=bcѢ+= K.8a|B#ذ5Eh__ACDZZNT] 7~/ 쿙MAL >zZdvq0`W?|.#;F?n6lfH/a㋜1@yہ'8wD>WLW_He=WEW o"[:7NcBZXzu8B${Na;?&莈㭆YFe4TAm|Է(6rRa1UzY"TSB3 S| /¹L i:gӦ ~ M+͔X-ѯwE2#=!1Lݸ 3G;.-0sO)&'ˌV}(nX$0ZoţKU"S{ی\C6gB>.@T^*LﱲĩCf?ܼdOOCO-y)kMMi#LuSgd'bkPD-Q, {sSA/wd،|(DhdJܰȡ_|ѣCwpCǣUgVt# ?_ثyl) ѩqP·$t?dτG/e$GDQ8=>`c<τMSI#&G^>2XH/$) /x?ɖBJuӪ罃[(Bx_d|uUjx qRp̳!ɬ zy "2o9`2i|u<&刊V7yj;fQ0 0 g@i +0<&xأm>$־vt^xgqn2&XIϵX$ag؅u7AH^Imsih.0U˵^pб5?8d'WmIhۢz>ŰV0Va5Dq|)s=ۭ@5T3XJLAEÏ1| +@U{{u#)w`z|Qz8c1jqS dn:?LuW3w(BfTVwϩʨ!Pꌿ{V ôsޕXhpZ R04BO{;툙Styq¾Yf_o&~ 'Qr33u-Jp8Tֵ[$%iFT^p3K`90gHe3pr<>_}22!'m\rW8qT52yi̍ &S> -C.꓀K 9'>j}HH8qAoFJ`fp.#bULAX&WdUj'ָ]Nykb!$qgYZ724941bc56b96bf1cc9c3bb8030bbb2986ed4cf83853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f 3c5f6992b7257ffceb8df0c6ffcff635482477e9d9d243658c3ab8867d64c1327fd4814db302c9ee