SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 r!< a]]HOL-Proofs:threads=6elapsed=568.716cpu=1366.892gc=195.092factor=2.407zXZִF! U]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb PfR?=h0ȗcWf5D$XYXj~nv6 eX0-j$gJhx!6+ڡt! ~zbb_)8+4wa( EQʯ>ZvˠYWf_z0`X>V,&wVaaH](%e$q80؏ ˎgdؕb3܂Lh YUėK;d${O?v&j  ! HOL-Proofs{: u/K 06(2^FtW w E ƕ=s6xYջoI/xy<qDAoO?Mj ;<>Y6)`lu418A])J?UNuVX1E *#’>g3†QoCl-jHF "QY.rbmH^g ٩a5p746܂?ֹ=10\x|?AR R[V|n9e;Q{8W!bXT'qI]dLbdfQuxdUX3ܶ WP"6e @L%(n\yGĠI8]dMCѰjNIB<5~פR߇p `uECHFQ=(Pi4k- +!_|uR21*ͽL\Jk(kWV#?3AXL*ڪIFu= gb(6`kR$v[~ݎ{Umxb鵁;Oyb?[ncʺ)@ % sq|G_p )MYEi_ My$њs3E/m)93]oGR5\?wEMU e">$Ywk z𺡦tD%?M |^:5+qe.S)Q 2<ߵA{.OvYĩO*#*ykHD.T*cPޕFm|UpkD;4,&FVnDLؽbv}%]Pm8GR0{_bL>HrD$vb3( ӎ\:48p<~gP^.av Qžx[rDm~jF0}SqXe%;lD[%>CrG)g'ykϧY- Ϯk[EcR&E!<K5QxÙҨ*~^ūPF&fq_{8Zjb7+K1iK Q!Lz· A-@ԾBT3`% M01gA],Ee֚C%&kk\<gzP`i F+D.э~C7<3sG[I Ok aVoV`xUl\:Vڕ׊n8 yD"`-;P@ Bd-m2hNa)gU^1ы?u {+ tYL?F)r:QYBL,N56NA7%)HQ34buzc=u6q/|w}+y]3f 3$ %ؗsHRCSjRpI97ҿ~CUQ2#Bo;n ꍰl)>Vj7^A}P;j킆_G%eeMJ KCE  !oLkZG™ KM*2XcfI!mNf\V؛I3Dfi }1[c8#q_ *$( Ӑ,_ NwpȢ?V87Wבz<`4_7U"P1/[H<6vқ@5hANy(Q!*d>Ok>n!' 7@`{\h Ͷe9cjdIqڪUlUz@v.y~H>_q똋弊= dV c#X}פB J4D0):\W×VZMNܦp]`ϑ0s&o3:Iig3 ^e4 ȱYӸH ކñ@8ۑ'rv"uuMjK!V[GQm% ֛k1 Ƣ BqrSnGjx~x2'$ȼ4xFQq+V('X66Rsqo͖'јW5S$Ϋ9~{ qBM;~`n$4y9H4ՐI9/4t0 CA|<\qcifc!N4izJ[RuɩKRHo=il*OM2 U[;g7~p g!)g[?a r+LyS y2:H% 8r<\NvR[7d\ơI ̈́ZbҋSaYDA&xBA=U?1#.cXu(nzfJ|6S唻J'j+܇&ހ:lL K`d.*p8_*zqa8 I]/Im{GՄw۲sGf|؆$#[J,c=K,6#"ۃDçDyP];PRF >挚$n/d0G9ޕSo~fcPZյna\D3?|v+xue=sAbƛv9(fB~M+FT}\H#yܮK]c'ቸx^i'Dq7u)8ΤŜM'4EGҶ;^o9z  9R fE9/eho1)587* r ȣ;b|lXlIqa]Gd #@3R4)#AZ&jKtg\_k@0uW4\H+:nwqxiB|RFxFxKZG "}dnrg<{p(Yl֎r䄞4+JƘ)SL I* 7+SER5|n3!%ag>v)髁3RT94x+fK9HEW<NeϳC53 &3@nj^Wv 8Mzk4?&f[ʮ'`d~O HgR&R+ zM1Hd W`:~!/>6ӯ?}+ ]8r43v>X *7z#u 5GS/P oBf#V.Mypv0uTD`U6R.>F.G~@_&O!Տ#YG_ 5CD\r>ctT;@'%'br|:sG'Vr7NO#E `*yG-Y S*5㭲WF٧%)^CWwꄪM |F*QWwGj|mjcܒr`Tyyx #/Kf fq)"T:Ǜ"7f{ n'k~+9{[*/>_k@cL0DU >uV;jmjo/P6.ީteXgYZ7zXZִF! 醣m}]ŗXi%7-[ q*k oa|p!\̅}}OJizE8 H! r.:ꌢt< E{J=( E nYdZu$ݘ0>K<oC}mK.a\^ 6VE3Cu@Ʈ{_ZJLGހّQߠ 3fۖRʧtvש947_1lp\cQqx1X{m荐)>V_VvMMpn錽肣= RaV{SH>Nۑ&j̮@ԍK"@cQ.6N.*X$6a6 -Ln{N%lG /cFZ.wQÂXHN)~=Z Tt E J^Ƕ0TISbV'$\X^:h"vX@,tKkDmQ׃Eة5+aCD04~-QgJ_ڳ VB]<]]'lLf<{@z؋^6ˢge"׽%nRZЯפR`(BI 䭜B6Ҿ3(,zzBj,37h+6ۅUQ:o%jfh'HaV79J-"h{nWzf U?Z>#(6t>9W = 4.:GUIǗ2/ESvt_`dQ9؎* ب^"_Y+ں6j&PUA[[ 5/>E[g-1K8W[4(KiI'Dzq&”ùŃv8 vl䋉TeEaOJǂTRVS`Bf8^U~/ eq37ȅh, ѩ߃-N2Xhue ܰ[3gߚkH2oq tМ)̈́|2bej@NTAF>˵]qŨxJ;sZ2ݾkA(\YbAįxT@@ C3:=i_׼Nڍ T::oY8㛤_{1~Y\wpbq)Ez>PVT*7秡9Abb}٤(ww0TѧtZ`.js+`ѿIႌȸ0!./ ldsҽZ?/D~gh)/鮋Ε1Z+sPtN鹷'Sk 諸\R6 S x Bx︤ Pbx",r7]}PE KYu~!<^ֳV8EF@jئI,_Wd~[$1R$ןdSk?_P ,4VBI#ᄬPH6>=}Z*a T~}W" 4f|'{gNΤtmߴ El?xi>x&8ZL ڃw眭)! &>kZ c54.[̋*ڇX}t!v ǘTLa1j,D(Mg2lj)4n9B*T)r[ g9 Ry/!4:8Q$+f+N e bi#";mLkQ/VZ'tT!D>Н[KU/0+լ/Hww=q'nxN_j([wqVީP,Xgo ` |:^ĩdח?q.uZ2RRnxwBlpR@ʾ)5h1g$dk jrM Y֜ZYz)4[lѨ_pw 6҂ÑJobK.upQ⺤t(#e_Ntjeh6UwLM肨w=O\o z<ecUkƶ,`æU^Wu ?]U8Q4i#2m[iA2,gG~\lcuIy#]ӜM|d*mdD)@@lXbi76΢1hɤ~tp䫼XzMJ8_=2JG#F"Hj=sͮ>pl΢c4X 'Ť~5B -ܒqUfљhi[vR;|:k19`*YVT,'Tf.VW6 Lp&h[ W %͇zN )HOkZ8ӢG>VrN q]^ԉk4¹r`[_cyc 0 / ]t]ZȌp9KwX= {LIה*iʾ`rNT`LxO5l:ۻڨ7pNL.rBuʦ)0D)CƖĈ0U:¾j#sYz `/lv1xH}aشBOD(b;-ҧ|{*Q_LmǩjR.(uNQl]Gy$.raMޏ( r&ښU%XB\Qw."F &/4|mgT2 9OdJj^5$D=!#3NZPv`ʵlEeUɦ*1`݊x$0LuV>9ofZ"B|H%HM~vu>^G pΊV>a^ѫ5m%;ś/yO6'}_-jj% ٔ3Ou"T>Ԋ a$HXf} РyA9G@$7S20ݘ4` V "C ,8 ]ALq30ai∆?*qJ96s[d\\кΫqgj!LJk1b0ᐻWJ SbV` \XsƂOL=y@ SgDZ fɊΊb=P[tX^u-C2f5T|Cاnb8}JiDȬ"Q-6fna*d`} (5pHe1 CWbӧF#sk[8RuέR*s!m{y^bݫ @{ߦFNs?Q3sYjFBކM`&Mu@f\"t:{9ʟN)Lk |AA V˃QPmp蜠Am-F@\.~*DrS;K6~:[Fh%52i^imB]JM=2{k((]ȶyjg$C t ڿLM"fF@Rvő}:E%&|_*:Bf0G@ hZxj,|@Ʊ7/W(eي j"@8_h_X|Z=3&Z^6^Aݡ sGFcz.#oHY\]vni>*<A9 ;D~Z,ܡGy-]1\?Q*Hc$9 3O4YA~|8{#Oiw 0xɃxy#Θ8G ()o6PC5npQv(`[ R` o-1zC?tP#EҮn$ѧ^Onš9\B7̒QE:vӂ$6dب`_ae`a6+8$\8~YŃWb{K[ 80tEƺYUǮpuh_ҧb4"&T-!q/Љ@EN갪=%4)WrBbI8=.~9>m $9MnlDeC Ro %zZww FUшI󮈻fFҾSRy=@ղg=?:.*9@aX}-ɋ?i84B$T=C-_ dC-9EbR|QJRhAp8+@NCك[఍Tf1VRTYum5sRAhTȣn 8nS녭a'1 þқ\Hp+h.qPǾx`/-bR#e̶n+Kd&c*= -bH^M督D#e (aBx>j1JZ{[' 4L'"{.h ;븎VxQxҲelw{m8yuyTˆ&(xT(!Cex_)Y2n_;=jfbYtz|2b@fECm54݆:$lLRU?AԵ9*[BN^C?Qco1wK1+$kj^{ff&dF. =m#FZMи]ajn:JKkNk)^-0A u}W[wXrQ :k ,65 .Qa ۹ VkМ;Ii&WSYH!?+k~#@>̶;L,z@?PU={먆e?DRq x LXy%2ppY|z>_PH 3oDǎI%cunwJz/h{ qD#[ nWKr^?2M G|r*+ǨWadB&6Sz3^j8h{~Hi9@ ,82-h@~`輝с66#0$iDIo}- .[Я%`$'lLXhCٲjw5Q>磸֠ [%Y?>`G:J.a{֛Q9ҥe$>}&T`hBbv|ōh ,sl@h<9|IzBm\Pw9^Bh& KHm*4QoD2-W^r騁 ?j9ب/j2茹sWNO V;16j}Ti~xQ7 m'0dZz yf鶃KGˤ9b5wBH@vH)%B3Z\{m|h;2s4>oix]D"ϋ [P]nlɗD^ڎ>೼D$/XFӡ==K 0u#Cn鈽2owT㭒XD5@| JV`ojƶ0(gc逛x=jPb_#9FӌGZA'mp^d.>j|7S?0~\A5RQmX!E 6&;.bot!I2@(;QT}aXP m{z bCtJ@!t?j (-`<<Բob50A޵Z0 Z ! e#1Ih\O.2hHW/ FOWnvtg8:c!1nGXP="ԞYKXK-mVApȍybe2E ]C%̱©g.뷅8Gb@)!Osk$<-wl1E!P͙7monIoԶ5Fm)tB\e 50q{C}ɡ(EYNP 7~(8I+] ێ09,F^ñ&ҌńUsnX%2 A+ 9O2B8ie6UfHg=Rju~jA94_u-+X?36{6tm ව,F@"^c,Œ[)#E*M 5r/FT58ZX)ghIیx\>xk =I7A-b*"mCt*P)1}RM#晱hү{ RK U竹O(ҡfwn)ќu}Ύ< p :;cx/B+ ;z4wY!ۓXPs+6N]{jZF\Ζ)3[cQQmmߨ!VVOLd.Yܣ$H _W%Wc.%ɺ'f⬙J?!^5w(z]%N1ރ';#wX!`%Lw:~Wql3N ,A4݁ t"'uO’Ƒ,+]&ugب6nqI\# \/BY=ޯQe a7< gٱu x9$dQp}$㇍`eU9\Kvʐ6q[#mHZ;j |7{_{ZXS2կ9޻" FН!wѵ$g(ػ;RHtYbfrƽώVFʖ#uT a&"  L,nEhGrȿ𣬨P4VVX,χ'=N-As78G9jwrE*5ߠyC&ie')pw?%(_?sԏ.QR` =CВthE(FjK*<&^7h>rv3ṬQl$SjV$ʓ .v/#'>BM84Hѐ$Nٶr.[,MVߐmEeJGv-PxR""~օ[S|CwMa4LPT(*d'O"FL}#~Kk!erOx3خo^>=U#P e yvG}+mWRr`>H{;'Pt6e*$!S( Mm`YrAȈءJNy$>"o>hOB)S1c>928*3vY=>/eeS[R ZyMCdmApePˈi ffPfWwI; ~q•>NUZ./^bXyqI+-.Q}k LAW$ܚ "b =k ٶ)O Zp)rWRhC)w.i(ԦënUmpRWEGIaU6)Y[) V.S-v&|ǃqiI?yjDMol|sB3P`PɠOS;@T V$eL:2M&堖ʣ`;g45(XޭlhUrTA0>KVlF*>HGq;sXʎB1+)9cr=Zm_,4d?s >u{a6cǘj[A6*L W^. IZ )s$n8T}cP%#z,~IM75\=sK2*TwS3v)"V_UGk[HAó@ՒC<*=p/GĢHܰq6h4n$"Ŕ2NPMEMZ???mCa[M͸hddV4CF> ENsu{7-SN,`*f Ԡ;ڤ7ِ0f-B MB\ B02Fe^fO@ |-rM\h3}]_b`P9 #wg ^L¸<8KYvLH^F mk'u؈x¿Wj> ę>:}dyn(öy-8ҝcEŐ+JתPorvJHBH%tfWk Qq$Aȇn!Rc+CB 'pHp]eM=-krP֧W\ gػ)K`^iC%il{Ҁx@w\$"ggE +\&pur(JpD5SY?'<_;{yYyohs !X3-n;w|OM W~n(D0>88[,lPrp v,tzu/8Xx@kDqN]J^t}犹Rㄦt ;tfAAh`( Je_ӽ9xi1Q|,)1iTM7$89L%y@Ŕ)w71.>>df`޳܍/xm!Ly# bn$ۻ#;[D 8+F鰁| F 䥬^so]Q`Z 1= ,Lz"iޓjl69g2 Ƒ* ' B]=2 h_,ض؏W0tj%~\F=SK$t3f#:E|.f&^9񷅑W/sM 1R+Lc>FU1c=$WNQzxX8 \ K@fA..wǰ~\Ҩf6V]\K*"upƔFf]}Pʂ锴lgМ&#'o~Qcb3>MͭR5=aYļ1PnEn|37&'#QƦcQ.xBýAOAg%1^&g0­<QhcZIT;[3}"k*.?IEэkp4UUI1{lÚH6QB|o3`l#/reLL/A$*7츩k?4z90w!N먲 mkO5GգI2}lɷ;9, f߁^?h =8Ӄ6Z7 ʇjn:MBM|D t|$]bH4 c?C65]%}W\4.qÄ@cp?q%"%J- RCտ^#Wԑn0C0Srd>Lh<0шuvԁs\|8TPTRv@uiNn+W>ʿĩv{ K-">qZmdxo{/7Š 1{O)VD?Y M<i\-37^ J1{@EeP3T37- w=)-'su,z?| ?J%CϘ3qX\8X)3ga2$Fp|(V@}7zd]'?;M둸>ăM랓f:K`CÀ3~ĄHvd +9uU7)&Bfvc52ѿƛjC;z1-D7'(˙.š] >"dc>e ,$"4uKunqLЋƩцX²84ĉ|u1T$HYea+cZ28[2U<9݆ P/]R5.+̺2 ˪$n6R:o#sl{ozhb-۩#gCGh}!\c:Z*sX,"ۭ~5NNťw #ob-Ig2E9w0lrh߷WܐH*qfo}7 Yu52  axWu4s ^P='Q +O2-_ܻA'jХL\.`F) nN< ĺQɪnٻ|$=n | eG.庫`yV_鞃߫(Ϝ="v;'Y2?k$h("JbxYҒ -nGmcbFX$93(eF JϡdgMfyVEc;nG/J02iʵsFΏjYA-/4fˑ?ϡ,ʢ> l}ʇFM'k aSUj(f- ޴'DK/'6d)аŖ< ~ț.`JhgZD.CzBE} HUz)bc?ut":MonF,LAG*5h"YjDWS91 &N;&puZ0ʘP9ζn>dl5u %T$ nQ ؞[e- ,%)ӟBߠ꭭vZ h(G=cvhS[tWW=:\{c^fVoUv, בބh6C_SMqLu54^lCYUBՉ4NJgIԧӪ7mhWRM%s >!;ixhwNN@5y\*H~R.c@PosXa͋`%:d^AIh r.>fsr/aO93D9!U_<[QD9z&OSm['knر!)fƉE3Cew5)6)D'Ξ5!c2h-P "Dvº6M$oi 11Yȸ"!tLd$( WJUL;;@㒖jFEh*؆%3F'#_[Ɂ{3@} dh'z]B&MNnē弒Gk<k7;o|Z,_9V`G7͸(Ū"J&YEMcΖYYo^.EY Tgq_1{1:?-`d,u7;5SK.lx® M>q?ĨVEPVKB8ZiN.+_VH_.OMQԎDgW0@6ܯyi$ߝѢcc *26'{oCyYB%B?So f,3nO 4a+]2͈{+_3]Eqh\iA2%eb@zuQ15oOIXa3!-P5\ldM[5Gf3*IA@~)*HY?zyŒ n2\o.{*hWW)-3y؄"ïp^ 4Lpa;"nݖiԸl|h6vc-`~(sciL q\P./ 8?4|q7XYN ^s.^8}q>!X|}c -_m߀ߤwDq&jv"0q)Ŀ0QĨ`4*.0gj wyƈTD)h$Ҏh̑!a?%Xlz:4+LRͽAy;!bO"V2kfFWXZNJ)vQ濧OoSAzGh8 |q 0;'*N(&pp_=HSJ?d]*cyΔų!z4xgɥGz8P9{$Y$[jbXѓ>s#:idkMb}H\>7-̂ZQb`

8y௯U\\1M^X)d 7O0c#)[J R=PdQWZ<8Р["KpU!jI;~T7; # b9PѷHud<-쏨;נ,ݟqg"%M9rĝ4!b-U%-#pW:^FʈVI  gSG.e:‡ E|)%^:ܹzV$?*aR]莒Ϡ1bhxa()'YQT@E΂dV򤆇Jnt+n?.TQ睢(&2#e&Ɨ׊+9Ddykuh9/w0&XJGRG9D髷;Z6#7Aܠ5 8,!7avHΌ^ RçPGG; =B_ei+a osi, `ryMikW Qw#vblwb:t8|Cw೯Ɖ]F"x2\hѢ>~F~W2ڋܙRo`vy1giozw[sKrD278&OK!\w@yw Zvˋ*-Vtt:"ḡy>n_q< ;Ȥ `!yS歚ܠ.@X|N+ tG@ X!)^)m4&IWZ8* ʓr{̱듧4Dv7V2)oEN'*uW6H{FKӉ,7qfYkJ0TV5/dЎ7׹-߁^Kt&DI-Z+ٛ$9&0TO71#iXƭœPĒ ?OMm{p`OY#} :,$B:/ x '::k'X{2+=4&Y|dbpbͦt(ů|!4qz[v7賤| ܰaN!nf&٬|F;qf5:s`AΑŬތJȍOF,G"'iCυlַ &GD,;PPel3 HNJDj-dxϰn# )5L.; *{<N@5W5}R`70BbX*C[@ީX8_,S~N;vx֋^s[ Y0"krlG+x*;].n| oeŝ(]ԮժK(H|&hLbGN *޵鐕%>)U4J J 1ޢ??bG-?x4m!IOT:Ff,M0{p*Af˳WFʧ:D;(wv[U-dȗ{] mXkU(OL80 u1X~#!.5 )+2Tc믚+D$~Zff'ҺE)hmpT%fП=$[ϊ$rVr1[]Z)< !蛩+~6R%R}R 4~Xjqݗ0%_qFi*c]]F?YC$'-sQp9ɛ-%{ݒ|OPI ;l^_6/g(?dtFky 'pY;ſ-:XjT}u .exקj@ W*@cs X[@@>fD"ND@qlz q{IIRuT#iMx*w)9D!dTLJl W7 9PȞ׏yd9%e JbF?GQ̓v<!MYꩁӉ 8oXVi`mR/uouW{V8椆901[QqwvAF$a:FVZb玺NqA1X7t=__n!Rpk]nwM˧怛O_6T=&ȝkr5&-& Tĉ zr31H{E" `,85D_" &GR&/[&W3]cڟsʁ9ɟ)\sg]N|3.%<$;aIǦ5d 5 l權&$axo=!mwtc/\_@/}Cn{+D M2[;\b~(pԝx{g;iq!TV.Exv͋f{maU;1XwdA0cRPsOW՗[ 76x fAY̔uy:_W9^[T|sʴ,UXga2{A~`]vƬ=>k_Ŕ36V tš8?('ubOYr['`Xt4+2OB?YMԫe{X YP?d⭶#BOCEfD C$Z}4@b{V`PLvz(Qx9+e0uv*go@F̔4wOdwBXX #8.jtٖMWz]xOY0la"}j)Z* )]Tf8r(VCx,<:E¹-@6\/ es]y>&Y_B7G^˖+gVy AUmӔE. KW8FƸִF|_eDߕ;)6B.BR *}"n|#-lΜ_~Sa.;c9tqBqmƏr1>:y)l [FB"qo9-5v4"A!8ޟN۹+rD cY%oUZ"yƧ/C=od1=0(yN>X"=t8DHqd "h_jZ"߭|nm5-+LUgoXLn |I5)7ϋ ܌B"4h/4vҫR`iH]%i'W#XJv-wdu94Bhf 썯eu^!`H9BeaMu(P -ҩqՊoҵ%n R_ I1[ >$t "C'HE&Ag%D9,W*a {>T2Z4,EC۵k $(6^rO%q$3oj~6ibת#۳'eWh;=M +EnssA6U2UǠaT;h6YήA9"^T *Ԗ9HH80t̫x@8s"Xף {IS@B@r@X/98>:9#|!6$,df1`n:7c(^eGP#x X]m H' uYTJ:jd2B$ 1w_ $u.ҕ R!hV6grF 3\b/* ͟?FDS8X||lj# 5n_/07YV<_ )[ͬ ϾnDlю B9ddi(Gc7CS4)z41uf+!IOa vq-(زf 6aIU6/DK?wc]hW3+-*ޫ(FsBRO& {q0h+0Z?XYblVRViM$-yyb}EFʉM\(cőbW_g,oQ{&yk* ʱ EŠQe \os *p"L j1pP[|Ht[+[N,wA!!KJ{T$q"bud>7s=7칟=syVUɎkr:cG6 N)}wA%9\V^[9HQś 14I~T?lqrI{ßpA끂U\w^˂h-}_p>va=} /1S!!qsE p?oPC ǶUa@c6+ql >9]C7$hN/ jkܤ G1xTj5$Du!w8ta4MaBRhP6w>+uOe[+t^X8Pd_.hQ'Y@O(_!bܬk搑2HbodH˽lOǮƲ[g䎧.<0ўR f9.jO'A ?+R=oEl>4 ,Y%ZSF\;gjn;WdIҚO$`e7]Y-pdQzUGN'3AYCӾrKMP#(~A|CVWg 19=Ge1jd@[` Gs@φU?lBfFɂ+mW7ukF4qãFdԊG3l!U`ߟ>V㊛T۸39%cKp<2DfC"$(nOY1\P?_QKi?鳾@Qܾ-Ij*l6B6J'Y6Ekm 9$Q?Ra(IGSYqLѾYXRWꦛ $[lޢX]h~̴Kvp אrpOM%{HD*]IG9rSF틁Ï>SrVJS}xd^*2)_l tSzU(rS+s|i)[WTG <ڭb_:WdHt\g^G's uJ }(?roTVm!J^7.4dWD ]a DxceEU4/@H*cFNFG5Q`ScNV"k)<2r CM 35rt#UJ($MYCrFIVO*D3->rB-gܥR/A1_[A\!GG5CH7 qҨ".fxupUqB ZK] .[k^\D@^鑉@Zѿ