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 std ]S]Slicing:threads=2elapsed=562.989cpu=965.420gc=16.484factor=1.717zXZִF! ]ŗXf1-/6vR[]\|⾑Th_&SXu A(ŖAlbI򂳩XXpNu6jB&;'4?{ȘQqM3-RpiG4ܘwOv0@`Q 2>\ d5 g?jng]Îr>W2^x;9ٷMD">_Q[K|Wv{:l1\>YM1I3BSVK2X-z)9)%\c[B= !\GN{S\=/#!/i%`yp.\`MȽaFà'\U MF$ʖ깰žQ+FPR{c%Ca8 K59ªphJ-}H|oZQk  rw bXx,q~7KT}0.8. ^ :@oo֧O|A:%NŘ7;#O+79JC̺bk:ZF\U4A-W#7si$@86S5|wRP/:TٵO: ],[ydY;gl-^6*&Z<1[z4DKme5fĨ֤#umɪxzHӟF?WEƉmd-AF yn\ C:5!XcXQ& ȁ76'U]t#q'O}z#V$-fӴ Z#F;?J[s$L:s(wI_+MD>q! .J+3G݁M 1)k_Q4q2T2=ʕjY{LQ9e6YiSLr)RzTk|/TiD67KF!47.5l)[&kRh,^pW\o%Y9 M aVd胠6'ωwvi=}Z?1oĒh)=#aɆ&lxp>༴Wc*,ОJL`:D&_ed0*7 93|IJuDpk"Lbl!M=n ẅY)umX oi*_JmñۯR߃wyt?"+C_p87ytnmb'! QSϮ͹I:7hMLT& b8R|z$}ݑ놁 ^ 2(Nq⬦.܀:NMa ӴsƲ,pPУi >l[5 #+>_I,_q"mN*ZV<Ӳ")|G:I77)yaP7Qeվ:6\K}G%][4Gm~F|31jAn8_gSb iL0(5a2chҤz^Td8ZVTp \!t*V9R) o*˜)I@$2kNt:wLU,)]~^>>dFYD_O;hپ労C?]a櫣H${_s^%Y eEX:- )ŠeP=ؑ|u])SluQ`X 3+{^58 ?gQ:žA8̓& -3VE,,\ͣ_@W5hw7k:t474>hKB'*&lcb~Eu[^0AzBӀ K7$9¦ed<6+\a}Mipo>bLV4Ώ!OlT@AkotL*Xēȸ3iY[*SJOgX&χV=?NC_EÐ> @"ΛH^RE$qIX$`Vvrɵl<`W*牍ivkH箈i>xeFD+ U`m8ū ŗ',L"OTdLEC OaDWگ}MY|:H']c7ʴn@G"g5 2^ }֛bbJgcc|Ͼm&DB8@k/ _+lO{s]I[\V+ 1 ylkjRX:黮Dz:S^#pҋ,\!I0%@ʥvdg< Z7wղwwq0Vw6T|e)2Q"t;cGT;rޟg2/gJNs׏Q᭨y ǽML]@[- bOAGnf ^|sܫ9   Slicing  C`T.G[0U\"湞w NJ]7pc[G}/ƃ9͵zI mJF^]":ejċ"@Pg( *'YuzՊ!^N(ShKcԈD1qlE~uJ7h,8ѵ:DM09S%< w+ÛDzA7S޺f&aͳH =zRiIx$lg|꓏9MY)3Tcɾ4_2{AU0#T!o?,M_*@wM[O G1 TAI9W?UOKߗq+8$/OC.7FOF TBɻ145OW{1wl}7!ܫ+ZODcͥĂ6rZp5gthOK[ 3q1Ζbpq^t^'H΅5GV X3'ϛ|ZQÆ743x%:Nmb>:R"D@yJpob+ӣjX~ႄMuU_+y-![fdt4P6Kv!Ѷ&F8m ywN?8^ ?uc|y&(#WaRg<` U "+#%Oq#_Z5O2 tixXx>g܎8R/c]['/rR)6uƦUUamyaՅTfքIe F'g?z|P{c,Xt3dn!@JDNY8(*~ʗ"-}ά<Jdrp?} `AsŮofBY0uMO!̡{9s<@MZ0*]:<+9Y#bc/II!J-b$kzI[ %J-f_1*ۀV 1н慰mYۓt2ໆ,8Rl.؎Cvǜ-`<4OIN(s,<<Ϳi[SxǼZ?Xc);i끳pjR%4䪦j~5sWC(g_d񱾧HGx9LY x.澙]2B*ή:cF0K' L7-O,Kp3zB9CQtu4̃4>=8}\oG9PqOFjncjFn,.rs7?Ķr?L$:[UEo'7뗱gYZ7zXZִF! s]ŗXiɟ쀸6馀YTg<q*1+*z0 I R K,xȘ-UrQLh6H3iͶtߨ(:NQ:ykhhGW(S&N3謬D G4_C 4>UaƼ^%:ʟm ޻J|Q2 Z9L%4LˤYtQڋX.>ޥ Dt|g7r.{_j?\,Α~_W4Q$xy{1 uc'Ijk \EXEtpٛ=+Hu L:lζF8-l c_X5;ٺo,X){ k ;@eq QhX 7/DƅLQS<شc/;e)K߶< w_wa[Dh9 "w1.{R/s[tVr >uI!#G@O>-eOM9c$0}CV1@TLsaI!zrc CAE^P[$4'0\~ Z4E?~bf sE y!b /_Fl~~CO܈_jEL.4gYZ7zXZִF! Bdj]ŗXi%>gc*un*= },cG4)b2 1^e[eGv ű/pF:biu"7:@yPi$tQ!"2`sDj>oc ӨV~?w3YC/. xzMW|%uv}tSJr crEk9EnL֔AlyTcŅTbQ"H;P.Vҭ͹ )ˤ9'0G|g">N+6v9q[M_}2V\0f~0}b ʙ͆~J|3F19;JII,ld1Hxqd-%LwdQɍa&JRK/Kþ.8S9?fH$n;ӢR_6O0:mUEk/xmǏ+uCsVBf*j,0JqYWQ CT? ap [J4mKvRcUJ=nt`sfIijyNb-WѺ8e!p!r݈ig^jL]Gk{3q>Ĵ!n񈋠3ݹn<Ƕi75ժZzpk[CeA/o✱߄~KSHlNLUiKe۬zS&]/q_u@j `'5P>^ǎܮqΛ8l *-ܯFPt.8( ϳ >퓜Θ@FbteRg^$ِ_(у0=6U7]&%Cg #B3(*/}AW Hdjtֱ '(r0iՔ[%pF!Ń.ES,0Ʈ.|hvs'DrnM>nCmhӗ'كdjpJ^Ru/WAZ3|\ T?hT,hnQ$-RM>5 s$sahOZ:Em+{e jnj㌍I)Ys%~xzYG_>'BYzN~ ?9pmg7DhBjD aVdJcU]6RRX]iW q~"hw_OP+ Ōhp3P)Ƃi|^uXƣFvXt/-a0.kAէ bl#OLKb=ޗN~3JVʵmoW̗&Ζnmto.pX]rjayD 罫ٜ`bEN4̥bכ׫;e)VkP{>O4SH_ Ό ~JsrZh@?MXۥpF0MDç#PRo*isvH[2T~"c|3I4PۗB YWBX3b}RbL@TGm m )(`7Q+zs+[% &$S0k&[%-c$QÚ~o~/T*j1\v^#D~9nG)qn]1Ft/"Gw LGsY99`spB8O`԰=`L$C3pE`ziNd/dgImH$0V߶٧|# .{mfO=+GCo6tda݉3R# 2u&$2 b9⡫>؂ GdERѱ ; dQ C"4uS@KQcxuw`= s%ofb39M!.Ap^(kE*-qw4NVwDFޫyk&|gz7r,- E#.W:Q`TPW!tZm|,)ri\x)j]f1Y?bxKn`/ kl&];eCU`8!۰6hFOYHwEygJB.zۦjLsR;S M{d$EA~Fr#zM|5(9<՟^4 yHm%5mMڑtAN>S"%fiGϪt`%(ΣCanj>t l{%~0Z 549ݓ5z#wj lSEh\ csW;JMFB5Ed[a[KD?K8P$;*@sg]xC wo'&EֆIe#MA}jTy+ KƉKjOK}Z!ebpіe(*;A}Խ9J؆FIJIF=6qWTzom3[or\x];R`P9J}Yq!+;2'a_Z1z乧99^\GmԨ]Xmi'Ө7mEcލ>|({N eٛ1] kƕP/&p';zaXKUy]σ&U[ɻ['}t̀2:ç /i[RD|dvU%YT A2PlDDB<}]WzY 512?( alr!NU"SrVG5{&?GZm^U r . k"TeQlMXC-Rڞ?eo5P7&&AФJR[Yy1 R(Gkĩ8E!&H`:m 76 ʵZa"s 0JREqvXKl?:duXٍ^JA 1j6hNҞdC(_1DX8;}mw +s Yz`FU,EiP/,fgO6;˺@OCz*·`@}iu  Y~3_`\f6}4C ٫mgтh=<;(@Ӌ+n"%iӶS;2 ^͇E 0ɧ@HlsUk&㤙M*5ݔxL.0' `D=/eU )t9wf֏^r"#^s䯪Eo?3 8L~‡U(9ã(_^j$093r0h1[ 36osqtԇJC`;iu2/A ZjAs0f5ƮЭїLbѝ#iC({o &ņr-.~N_&`~7ɜMFv VhNst9.){J k$TjTq ʺ`R<bXnba>QAM$bYDk3w\cjaF`PFi)Զ.'bs\QqN%$t0Ntұq<8.Sxد'#)\A?hn]ɐCܡ0;$E/mFP m|Ћ+h1+V +v)rce i@qiy1 NUK] 7Z܂R"Ɉ3'94P}Űs6q (Sb - aAjQIf:}#NIgͮN$%T ^xXq"yexb?u NR8foFKQJLl= vWTGAi) %m{BׇQY`k:3x3p v}x<)޶x&m߽Hb;iS?dKCX<ި3>{݀LV hR*P|;2$iϿ1 FhG-> ?FrY0sN@MASߚ /2l=q&&u^5 uY}ݙ7I't7MWխUB̔@]G1*n yC Ex]6MǽCD3UDn&~(P9 ƬKgV?0Z"ɃZ.! TGT F[1cNzDſoZDf03Vs6Z[8$(~_X6◨^!wYDP =m9}F n\~ӿ:/+g$r`k3TZQ;ƕ^"<p4w* 2/H1k6E#ӗA^5=/\j8sZ#xQEk)qܥ1s|X,bѠ 1 7KBa4[^7 t׽4AqZÏI(^-Yejen!ԃ l)%{"R @G`'`(x9SW 8w6ZӷIsV!dr<>ti*tn!o]4ARr<%@]]9?fӎQhxM)lVqE[ϙ[SJ43ZKS匹ڑfS|'B񞸅ws[EҥԹ:UB4]N| CieTj[:GQ$#2lB7-PsW /0O2t\ )v`f楮@VVe>M*p7VbaޞS䜸XPfo*Tӆ _EKMN%҆ӋQS3RaHhM:]4Ѵr):;e͖}Y02|ς"Z1uh'-n 4V$S,Cxi λdֆb?&|Ņ4e{>yNz!qod%ْ*9>$lmD$T ?,pN}ypR/hCh7-O\qs!uK(m"nI:RjlyGjm,Caװ\Ӊ :`A#xۼQT,萢9M"S$<zW*ХˏB;<n٭&j2E NS)Fyݢ+cmS!)}#rGB\ih.mo3<'KySB4 h 8 DĦ<k{ҘKgJƗbJYA-@T)7zt{q9*GȪ\Rݷ%zB%~w&L|Y)z|×nǙִ&✧@5x+2 ޺ngͺ|V`zpzw$# *ύ\R`bҋ`{ =dj(慞q^HvԮp  `n+ݏd׺@U64/슎 /P΂G~ xբj~z|p F"zG h/㩚@BS4#M$JdrpԖWJ̉$_xB(a.ԅY)"#Wpጕy_7crU珊ܝTL溧P+'E-ILq&8)m|a6i؃Ds]]Ǒ.X >{ΡXDf@JLBuz3~Eq_fWWm`Q!*B\]m-SzF5X|;})2 P zU/Y+${d.+`;P#fpTeU҄Pp@DzF4ɉ*-(3nz\yd0"Gw4M ӵ/P1TNwfW'X6!$OGĥ[.*ޮ;S%y[eOul 6Ug>Dj;`mKu¤jjh.1(A\GI?bLG/v 3QPS1dQpiT+*!KH_'M;zdizl< ()>Nwf;cn5aQe${Ox#jAmZnXS,C ~z: dب!IG pd5QϜ d젅MpoϼuRJ;/'w:.枡*VX wjϙ"#06kiP6o[!ԮLkMd:oz9[ 'MsRͼ -@i^,N8n (jnML'JsJ(U݄) [Iowg(`FG.=2Q!-;&~:=1Y׵.Poխ\DSA zk6rXPsEJǿBoj^y0VX7,_I$ O2/y؃ȴS 9t/s[Yt+s}؀px9DXӘ|Mxy^wye|^a)٠-1q^{E\5OA6f:_VvR]-?J*CJWR{hY{F!v᩹hf~vu%8U,RiqၳrG$<3>L~0 Iroa<3E&kI\l_UIK`]QGޙ ( "|oO\f\W%LqV$6 c8RsOh[L  퐁*]xs ~Lti_:ɤo&Q- 2v|ĕ\N(=*r4 {5yOL.?I!X`J`!%$lI8XO0*>۪YmF?~6bh_F.Jb[7#=Iq'pyQ"0 F@un!ROxn:KsOP޽fAj GgíqTHҵǭDkxp4GJ@m,E\JS`5coգKj; ݲծ=?H*o~xs0 k9QZ#Mb"cn]Q3|<|LgZmd=;5oPU{WA_=xEB{.'4+w-Wzʦ{Q ỤO n-_8*hȮnb6-kHJWvy23~s4xVoOjI\"e_q,]/UFܳ|ZPZ熭k޸/Z!h)am?% x\,]wAWXzƋ5Xe\CqWba6٢$(!M}:@SE~F+Aƻz-aUU|Z5`fL ~J d̝ؑL} "o**敩Q 42 Y[)t43C(wsxS@pmR6c^z^ٶ! ݯ7b6ч(Ow̏[7 N͢Q5}B pa:ϡ>s}0ӱlR=IaBSsM_(Z s X/E9ڕZ ~k4]z*Jq`k$~mVo H]ztvwe +~湺>X-z`a D@Wh[@0;~?wB0ԀޕϜd_ DzZG VfP5&!g"J$+Z$N=JAVƻ|T~idmwT@x2jT#qj.{bX2%wRFX#Sgr4CIqt4T;ВCQ$i=8Pn8tG<@5y[[rT5KYt8#+N(%|a|9.xip'-v,73ENH+K'ȁg !'كIEzs<8a{pɭ4L]6k?#x>Z6@vIF'7p"PPtSܰiKHqgjbńz8!}جPaG+ڿƗwKetŘy{ J1&P*++~-xkhۨ%%g:mSykCu}>ha1df%~!]ӊr(JAȸIѴgms+$%ھκWp;ԯfi]BCdoMqasޙ"ي".mXؗlr6t5NYX!S5RZuW%(d "‖\݅ PA8|'uZ:ؑR:7-ͫe`,ca]&߄v{mSj$o)/R}~H ԑvf&8iF0akAdݒݥU՜LH|qܢU CE>ؙ@7AX ^ޣ֦e%[vD:;Hk@wX=l18?j+T~IZ?~Cʸ#{g߳R=e C۠rTU{OM-nRh&=4)mxz 9ilr ?tH?~@&XtO䴫F?ds>ȏ^70cxWhx.C{d1&[ =~j$I"bM/]RvN5rq4I95O_8* ׅ ;I#g^75tG2Ud!fR`N"F7/Qw!zpEG9qH6ٞev;4CS:oߦF7:_H&\J9`8it72GwW".Zv +:YEԽh޺{e"2F\Qb}DeyAk/ ;Mdߙ-XJ蘶Gfm -2i}^lNJ&0iÏS_# 2bJX.$R6G+t s7ȏ\!$uQmT/k]+3%4pz~'V_oBR#Y:咯Y\HLjP5ʸbŊ*nˋ:6g83P;րOw}{ڪ?wwV~@YC{~Bo-CV|ԗOsӸ.SD:ŶFbdGVR)pxG`%Er*U=|x4O5Ҫ|r`60~_I9%EZyx9|T)ZG6KT;`:A8~^@ݘ<62hUzP,qEk%+ ?ዷgCJݸ]z $5Oi-wm66A6VVe%0úY]&g󿝜7P79{E 9P&!?o< "zclX vF`"-}t`=u(}V ?`T_SV7}v^L%ks9.I_@* }W\tPnmTCWEz&>pIcsIk'Иk^ >#UDv ۊU j|\ƀiƑgdwõu,)pٕxVV@b%vQnpqwzE>*^y*293EE& RY6ENJD!q9xGej>FQ롏\OѳR4=6]w#Ҍ*Bw= XNNV-a+)*~BT+ z$'c˱ )~d%-TDB!5~VD-Էo_cw)&6#8&zUwiH3讌B}CCvBw#@Dz 7!_п Y 9b  cZEOg /k4G5fʥw® G{`srTA,zZ8ʨ P&3-;z9<$':>GܟRdY܅Z}<ɰw$l l\"/DVDh $)@ ߶O^uoGn9f2㇉{h_Q( is[ܝI^zhYO RK5DC鰢% T`Z86^'oz e;з́WPlb\| f0oS6ACU(u} GpB!tA[UdT`"&td8uykmΏz\ fBYyP N ^:TK.!H- 6dMywX,߃`:սF'3bUnO؅|x~+aܪi\Z-z);X5`HatϿ1iDa79fv5N~.ӷ"HT%{pLU6llpU6͜mjb~.`k٠Ǫ{KAV9}5ox{SLoXaFqZu@Ji҇x ;&r*( w꬘tv!W~=I&@x㹧'K̀dC'×o0ž3]`38r1Ve`PSSfwD"+zŇz̥/ĝЄ (0_n^nQfZl-{~D qK//al!azx!RVi~nC^ - ΘzWKM?@OMEWoR/P9el$XIj>XyYK+T6iv̈́nerm]HR>7 fKAω9{Jk$ױ ~?W#RHǡUS4CS+}MTĉ{ ό|x]!xYprh-m6?<"^}^3^SŗD{Sg^3c"c':{12foAd^zK҂ă#Rq= ZfC%? 6hHbV:_'{HDz])oَ\?&3wE5a݊ﴧ tmƤ][~Oo #?! ^Üt!Upn:G'AM|(Tc·CdszD : C"CW<-SDf~hFVeF*: D7򓩎- !.(Z p u7 4,$l`[C2ۖC׊cv/dPVf^UU)#;{uV'v.0)Ɨ@qɩ+77TA+⏖~<֋nMzø,fWsvs$E )+aA~{=\܌nz{C|GN/2Nt/)Zß2 po v~A}iκ0Y+>եtjs^YkDEC[tsV,:F)>64GjZ;iϐRe|JDI7 %Ǖ8/@Lqqzj@bnx%-"؁]F %DBLR"V89gaR@^RISfaQ@Đ>5v&.ԱOyLY\XPYWJW$ҁ`n!0*UŦvw=f.C:0qu+9eK,\#Sκ ;ٚ1r+ΰ3e3ҨU\)AR(P+QEk WIzJ;27ѵ0` NQNX\}KtDƏo=+6UkM'ԘLX዗hȎOIc=IiےECsۈadǐ2uvK`Kɀ\ٳoڵmk$2L8kr.p-;՝Gd)ΰj 43jjxYZ(Z`ˎla$s.)q~g *~nL1V\/*(۳ >+d,LRDz댦SBXK-GK!g:+lXs{X;M$l|+xb7>VфHXKQ!.FѴ4Ӝ V" Z&d|$wYƜfWv}ftE~o Ol5i9"郸ƨ*k3YXv. 웏yoɟCms|dn~&RGh)IC0Ts; \r WMk`fL#1&6 Ԟ9nya>B8 #׈}e9Y*0$vscR4ͯk+;/=`ρ U1/~ƒ)o9ݗS ;@(`Tsy)>Aߡf7WDBb UNUlS5"/gFhzkjPAF"GX$%=[b bNfpnB&qAJ n=Pc)/nb/s\ D[V9n ]v)-* :3k+mY'#*"z"dQ6sy̧3BplT]z'Z%κQJB7sWX\4:V1GaPf_i@KDUyo6oqSXjuȮGȚ\CC "|כ#xY83` `H?ʉFቑvW,NϢ`6z:]ƴaHoYL#<`jL82/Mt*!v A դE@OZd*cӂPl}JTVaSv A WФ :!y{>PW #6g(2-&܌ L湢O !Qcδ|m^4ص 8wڞ#D>0tlPFL}S)~,`)s \^:$?PYwcW4ڑ%?,"gi-aeOSRMnjüφʣ [dCqQqvd(3)I>m]Qam-J:8 ZTH)Kt!8biB}wO:wC $Zd3 T<‚N3:_mK$PN)`hl0AzSVh:?0?=6ZxxJwe9P*H~݂9qmLƦ[R-ԯVƃ7jq0+)I^(Z9mLh܎dcTYJM# SEA6LNW v[Vics4 UAԪbr mT6s2Y) 2nVАi@*;\(7֥d~Av2bϦ*J]µCI! o)؟S@(PQ+?涞~)en ޛЅ@M8ζ )[.('W,ـH-Vx_ &:V(O)оݘM0N 9K;E!Ms~'ȝcP sDY$Z=Vː}Y.Eإ+, VI+Tw;Spr~ס'6oEr3cfOԵ:TWbK9!Jt+rxǏyo=˸;x0$&`YSY],PqQvsQ؊MܛүuCs 2*7BJlBԫLzCI@Op ٗBuC0uu fqÄ Cp^b#M'NJm|b[_~B%4z }P#4.A3^xv46!Y(j}K[Ι{ n]ä|1Q-65QCv.#S+L$j߷0~DØd\$7YьH>rb]Nv;a&VS|\-\@tnv rJ].( W! VAܿbmr8vnjX?$*\ޕo:Gg[xnqSpuDTY?Kkz PdWEo \A(%b:0唠\vCkA\cz$^R?]WWI,*VE{# y83m=]~6ƪ1:A,s ԡs(#=P{k+ l) A800:()W&9COu ( _j 3w=N9<j+1eV40nvr{.<&{ "dkyˠ'rl%t[_#S"*xOnK%(/S0;=$1hWB):RKNA[If?RKWcOph/z~5%hAQ jQ&;bcޙ&T%pEYwO§ۘo>+a-+ zI4קdG!8WR>Nrvi;'m<D*!_YqH?1YVW~ۤmɟ>eQƦ\?KM2[&YU4!RQ]3"&ŜKxк #;J!h |ՆeL1ϸOo,p*7_UXWx>_&A=㇟'ؽОٮlpUb"tŻ'gY*A4Y$|^iUBaF+tfORaNvwJM] 6Ba .bBG,cyb]ڂQi3{9ι`g ~SDILRVQSPFWL䙱8ZX%䌅y,XA>,R`Qs;18" V.9r(?);ILG @UG9ѬAS}OҪ"ԁq.Ѥ#e3Qcu[o8~#"w뎚=YL S80lX-g"i :U5NiV5-IA$_7(mNE8%Dyϟv .`@2nXApἙyf8C] d zB|et%ႦY.f;"6rLH׋t8u{ Yl"sy3)2M3DvdU5Q;>yz2+jj3E)zsf6OÇKlnƔqWh{np!+BYaݠB5;Wb *@<"_nQnzf!elނJ m+k@3_@ FYF7L-hh` xU./Nn?6,3vd7Eex$7'5{y0%\.W+" WAǰeuPiFo J+d"OnD-,VfPg{9v}{ "!Fu2_|#wDH(ˍbעu7[bypA'>xN2#ݲ2V#դ҇|Qf:Fvjk|.x&^֩e;z^T?q3J>HQ!Q< *Ira%;k}g\(V汞e#M`ud-BqQ2 ˼YZZ>R}i խLp]'+vBq\Sڲ-T~Ί&35bݼwE3l썍צE4FBǴ-wn J̖ƹvoMbJ*$<&fn9fJ0=^n1LلB&K))"o%xk!NaIiVqD$L i1k]{yiU+ #xn0S_A%ZhCPr&Apn}%dJX ݻHa@|+Igt. S24 J0-?r˧[@,{i7BW>EvTpS%W&v:X.ڼS6EQ;OeDА^\{O,'/ӄdѶHgŠ}S1?e#;߸ЅgXÔg= !4]L1? ձJY zX&մrH3(r~nOߏqڍeqd$UXBJ^[ )'Y6 N™*#Dք?aBQuZ8d/^%_\DɽDe mID ¤m%9O;ܖHܴASa}LVLD_Z1&鰘*uuugđ, X:q ?3n9dy?#cQ֫q˶]NlD#h$PG (cV2٣KtR'dDx|3#~ض׆]OW)^qsQd_HdQX}mG%5>3 G\Ѭ}%F87kWyI VzC9c|jZ& ҆+x\T:Te\pfQ{;HV6()hԒ C!`!Q!3 kgPL W+%] Cn<`@VN5sMz2FfspsKhc!R^^Va.cO8mw@f~H[~zTW@sxۑǍDdƘE,24L2}Ȳ݅$Z$L ܥX qQ/d$[4Ns0Sb g!m]jr z:w6w! XIkԟ: l^:3N4' F.Jw:4",Zڥ7 ۷Yu3^ASݟau7˵D̏]YTI*-5a@~a俲`ծ&<ʨ5E|U{*\:XQ)osf_ ]'r[S \ Su"Xo“MEvɔgĿK68pYehd) {+ vcC0<#_gTRpLPeBJxqC$̧z]YY~l /kؼi C`]; s; gY7w7f9VcGքз@%#1HyGTkzӪzQ[;j'͒ǝA0LUcrK(It,kVJ2-xkCuh~?h8sh xv7_'z@%&@lև$UAJo(;@:UgxAR|oXXuhBL}JNRѦBފ.d%y7_-]S"E"2KTEGmy1|eďSRx6;MU(œ~Eh۠L埋 $\y]='񄫀w67k2֞?֦B)J סj\-vlO\$O;=K_ɀ+.o`Ǧuȶtq􊔰kb~xi eJGĹdj:ϔBtð+6gYZ72c2264cd4b56c19af9d9bce151025c2abcf34ca97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 9419a82bd0fe8e9912b8cf93fc096a2241976686685ccb09432bde3277d2735a2260784d398393ab