SQLite format 3@  . BBh77otableisabelle_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 eew#tl ]S]HRB-Slicing:threads=2elapsed=525.943cpu=919.176gc=27.608factor=1.757zXZִF! F]ŗXf1-/6vRZ;RsTct.{oۯcZ %y2Ķ#~T˪%AwmC=$Nξm\L)lB~ʔx}W7}ki>gesᰈ×aПT9 LԹ5Έ?0l+DRY w w:!R}fcmg'L8Y5^Μ#}$Hŋ 6ـslRoͯ G{#*,8Z6 Yf-VB`FPqk%Ѕs J>CJ ]^=zxF鲣L(t-|5FmyP8kD&p'F7oX~ڱJ:vDd_3Yh=Sڣ'@e@bswSx ᧃ-P N*Uù73.RH`/'U))sCܻr߳jf'Scыqw jjySp4*-bG LxGg)#sd;/'G!t3rF?{CS>YѣR`:2}f֐+(fU-&{_rÅ&}>:m@Yi!9jWZUOWu|y7=`3cd>j@ 03@e*Ogr+EUm^ BnqK[gM> Nw"5M^[ݼH};냚:b=#fțM<VN$O:bd"OƆL@8~@(l'.BLHrBuXo&sMg;NR'Vt]2nr1h@*ia1 +?06h jfl"*^e% M>`N3_!lV bVsjc&6szQ7?=&|8@u`Z r;ypMh/6̀pj7 4O,e_s$ 1xHH AFW˞NdYCMk y#]+ ̥g!9/&n~6>$W0DBNɁtb&iH9i:s,oiF]gLXMA6jeq2*3.i0JsYI%CE=]̃ ]F}f֟esX#mF;ߘaKM;|"t5{Z@3,.t1VLXt" GT=kdx'/ q2yDJ8A4eɠjƏ # HRB-Slicingiq{^A_t|][dεEegPcuߵ>NI_ +||R[>#1y\=7GTC D/gXt5&؈p iMӊ %Bh.Xs/k -k~h-j4]rz zR1j=H]#$~Za/_c @|A׻*@(0WbI5 ט2j"Ji`5} YnږpPBֵ)1PX+nB&-򩅨,$2 *o;15F&BTKG%NB>})Y[:z8&[Kr5-qmYvEU#+ik=DHqU!jM"mR)Jof@MKQ+/8hn?jQYnyCk3C%iW˸jGA Vro_t)GūCMT|ٻj86:5FOXV%&["9ZP4LɵZ_7|G3z?l//Hi~[_ODI(ߙ]FwͿ&L|"՜'0*H`E51E4h)΍4K ŴbvQMͰPͨh?YdmӾHSH[{J:H 4OuN{|U# mُpi63* kGsP>3ػN.Qt]Sj^\d{: zĶ~ڧ}е; L#YCkX{%.rPG૨[<@DhoL.T@ױa!9oP~SD;ՎisC Un]QU"T4R)gn6d O :|vZld<;UD|hkY#8iUI*p3O.i1SǬD ðE4)I /SY'"y{% }%. #W̉,\Ԉo^fUkbS0 ЏC*ۋ$niuZL ^#YQp~+Vz J?⿎$WPYB)T*c,& J/5Kqs{641 BYR7>gzuӈ2L]Vĉc h!n4lIĵ2ޥ^yBN,7yd`|Bq Vw 9R4^͹ nJL\W.t`f!ke^`'Y_=57ulfmGNxֲ=SslS}I%a>E1A’AmxY> bz_ׅ ڱODf8C&bgHM9BX|=많1: i$yqՇ^*a?!_ }3`L§.u*InmV9i~Ɣ*G9IZ]79Q$0PN_L z%z*:לx;OyʱxC.]վV1GJ+nxHzi X> %^U&f&e&:{}q&Jl՝1ˮ׵ʝ&<0Vӄ)t~c/UcYQ䄣ORMӋF=( -{12AAb_*0-yHꆒ0^lI׫a ="hcF[F@%ݞ<ӹW;'rA7N۰}Od/;;9 )J.1^^|i“3݃~$gKj%xcB{8&:<7Nr#j\wԎ /a*? LݝRp)bM~V n.i3T4ȕ-X3vVO0ad4ɬ<>nWɻVFWs#㯩Y3s;,aFrB fqH `{ϩb,W᛽Ɯ!۟Fn`l>/0ӓA 3ސGﺤ/m<9DIzey./3 ;6ÿ`?tKyw',+?!Ħ}+Te[0|t2Aܘ~Qa VIBnoqhm$:UOP5Z1mCi06[ "s+֭YP$$L7dbO]wGě*5#6eDk8O$ w3NDP\ӾsWƹ RVډ^vPܨO)/Q^ѾF`oiBς?T[gU5 '3\k/ EE郛g@@D:;\qмID = gP:xۣ_*W`2nee{"袅qA.}d ZӁ DwHL<'S>'Oٻ~6_u U'{@Agu|QTN_݁ #|6q 6Ak=)K Ap(Q0z2IL/Կf >grPk Ёkdjp/+6aZ A-p &6-9|=x*- )Q8趫A#uz7@hSLjl^2fsXxѩ~ɌQ2O0!gbFL>T@ؼO\M[<<@A$2j`gzm8儯`'wwp}rǀ]Rof֜^κ S(̔([i<]WUV4Sd0$ 1}I\a 4ujn}(VhkbT1eh?R_HdQma xҕc1dqch2Lnۢ"H [ n BTy}VZz߅j?a\GZ+ 3 b7(A'ns=r Qى m8r<,2"1v1y:{@ٞSǘpnH3s?0.1|Ђ=_J%?0l.E 5WP.U(vM=J23m [ݦ%>BRx7a̩ֆ:;&FQ;N ٤1$رgYZ7zXZִF! ^p]ŗXiɟYyTv2tL:о1Tۤ,@7VԖ"QUKqXsm*GT )suh%zSK6Qv&#asEq' KhnťM{qKӴT?Cth{ac'!t:,T|!tQs< omD Qv^dhBz)ioqc^}??uQO\K@ղ|q =2790׏,"b1` #:; |§_fVd$_ީ+^&(<7`JJC\yut)tB^/TP5{Knt삁GDh~y] eh^1~=%*ZnH8'5nTG]]MԁA_.g831"LK -^q܉(˦:wmSZeViE>]nGCH'k)e qKߚ{aM>7I* y? ß?Ā_քQRgYZ7zXZִF! ]@]ŗXi%92~"ԋBUݜ^["9sUlvy 3Y<œJoPIQb&(,y>~>@ 2#lv) ٛ <>`r0"n"ypGgKaix$%LYG:;_9Zbs/NjT|~r6gOD ! ZazF8[`MOsʋ%֞IZ7m􀜿3ISXa#teBO)A,>iY}'Ҭ3[zr|/xZlh[*%lY`'@GxZ㾝sH755Pvkyy1\c5w 8C7B+o$,)4#_#Džx9@ igP{=N^ ]"wƨFqxf 3ۄKC`<)hĎ3rv|zC~[؉cٲyr1:攣1VkpPDHT8|Q(ISȘ&wM/X‰eh&X./U*WP]") gV~\_3]垗bQT9YS# ҝ.1ԁ6au1JӔoc’(SHV4> NS?zIy~T#Sy<~mMgzÜ3{uu!C^,\8(a?1Y~,?0X֤`wjbm XXoT8A8Y-GrVIfuCCs'Wti2D:@!vPl u T=?RVwT׺W5s:c~0 }!#qAt'"ʐ%SC -Qll?6ҿR+bkhhp˸ lI4xWqQ`pK3a Em5`CXAAaLGǖuUYX8展ex&Oՙ{}IQCf$(>w=朶{1B *یoG3A+XB*0WB6#6;cWFN4ܿ8K n9TO] 2#}<+2EՔNoM̖7KTN79[à|Y׍녕am oDos DN}UP$nXБ mYW|uD!^<5 $ұ^C<(s9,s јCGâZ͢`7y&21&CJ\V# lT$_b`S0i{zw'E~Д#o,h#CHq{uMX,{yg(@gy 17_U2Ya +-6<+myGO{o g+kgJP%lA5nqތU*D~ !18Ο%ky'G^][q[硔t6k!M mjl+^a&J(_ UTPR>Yv ^4N?aINn\WSbpCAvk"?}ڏ8p%ѣ5lń`X9lC;?RL(d~VKY;sG̮eemɨqx,u#gi&stCosmms%GyhQۭm7Ny.? TxMZMzDn' ąHȓmeWLI PHgvO6Iœ=yEWJuR[U(<T$O)0xxݖQaib!:tcfZ Rf/drA p[b/#0ͫ0m6 Y{g Me^?T㯸(BAR jkdu1)SPuCD}Jݩˋ?S!鼿W˗ruiܤz V+k 8/谚Ԡ'r;R;A` dj "-H&*^ꇌHDPZ HG/'`Ҧ2J0M:YXKդϘ]}݉!PGf)Bpʍri+>r!D8Y_=%?YDz{'ߋY/ ^?aRm\afO9,]p}MN`2s- AVRM7GeTkCiZӠ/* 􀧉&\QfRScK~z:@PB)#BYzL\y}#8LJo⇱q .m6)c@σ[XD_yu,YO8P޷1&UwYw90[.w5ϳG`"l3ohr{"dv}?]*UiPJ&IVh>cjRS>$bxoID[=U YC힏4x ujwsr/ }] Ѱ2dB4ŪX(ɏu mF 4'5F?X^> ITѩ>#B Iz[[$e@JTǸCCTom1Ėg֧mKgOhf^G>UFv =5BiBBFLZh hwT<E5l2*Zb_wwYsVZ+b֗o5lFlm@c^Ks&oѪ?@5_[VګI:4$0 O]z^ `)ĞL푝nyNѦ-cJurD -݌<|>Xw`P!#KN2S:xr;*[zU iX%udphioa @H@~ЃV vЈV7Vwv`1VCɃRt.WugnHQD0L:i$0e|e4blR(a~3Qf֛pkSwt^#(`ʏlK* _NJ@H=wSczip1`ORauv j-K8j 8'yV3 "s|Zqh$ {3D'hUMHtN|j.y&=}TÊNT_& &j=%0qXp%99_b=dh*4:N=tl抗sڜ#e1N;Q; jR*4n@Dr /}۷-{6~h I+aOҁa?0\LBoCwXs֑x5SF)D}n)"4(&EQ2먒!PGP'M~{"k9[zdҙ9JWlj < C蘳-7l]/׫+呆' <ϛ6lҋWg/2,&Dֶl4- ?R <Ҏ ^6od0ϱ\;4NRcC#$U^I!ĞuvL#8%Fr[7xtwtMH#Z>+YEXEdFӉĮd d/E8}Ï'^YbM#]BˇN\]r!&yJӯ"TNxhJbaĨ2O'Y\ol0 ,>XD|ec) Q6'>"'H%^02Ze 3;iӅ:Q}Zo ]6yy1\tz"`fUG5$=D!]bUZr&xrz4U¢tZvkF4{Ig׊OYvWsl%FSQaWoHeKfgaFE_4 sP0,1۾<qCu?›JIJ\azhk hu*J(`\y9Xc9O P$mmN ˵reXM>aS1m>ȨߖF {&ʿ˛,Hsrn2w9tl!{~U_{0ӵtk 2sQj?XPZsBG%mDos&CZݡՕYf2e;X \3ʗ.i U] #Tp`#VM82֧{0f( &XrI iV( E;S>@F rw'5"J|i۷/ ssm୪Ռڑ81uM@ɯuyG`L5@k2 >cI帴i3s4AY>`{<]{9Kbׂҍש#a-N2#)]~ez@+/;aa }293{,`єB7-Z^`SKMA3Q5qJƩ~jcl_#/\Q%Rx14[\W{4 ~c CHƇ"#ټI6=r͞6WI  v Ġ o=1R ~ , ]١i)xh^tf %(T>8b*ԩGHMfok)mҴ[ DNA9ݱˀX-7_M4Q'{;/e`=K\A}Aֶ=뢇 :O)Lmj {rT7]ڼ.[@=2-~(M$Zǘ 3.YOY(UVMc'Cx_S_'eejEmz4*TLiEH[t㪿*~@G5O6t'ݯf.^ g|jĭ)$諟qx4)mb)ΰ-,Q8 Ʌ%XIBp)C|;icNl1DKv%i Ln ɱѡf_fQ0v( >\(-pIKi! ,s۽ϋ:0 F*؂ ,3|T=qb8OZ2&fzG@.xDfh_Q&0˘$']-cC!ʷeb>^BΌ<À Lri"Ym(t̀i3j>OD]@uީ9k+C-~kirU}70Dsd4s3w.4Fӂ>[YjS|e P @ x:5bc5|*>X4,oSB}|qG2Q̭T d\MbN]+j @O -M$_u4>?/L6ְY.頮,8x@?AP>j O(6jc#D-0(7WOZOpA%ޘ$}H~sbeN BZ ԀñL)"Q6ImuJ#Q!NdQZ%ݓ2!I צȴDV'MsItQIX!2b}Gg*_ HS>(W)ZpdlҽJS/T1-N5+@SݪXIJǦHM L)cwL{`.3SLLrWֹ_ٖ-o}nΔfs]MuEl\)NjP(љQu"zR'#ownvtzx`Pկ. +q<ScGxrWOLAPnة.3P+ekLS uw2g>dml l3e'ٶ\FGh\ٜ)OT&)ǣ,(+MJ_4\q6go l5d1:'u6YE?fggO,qzAK)iNuc/owӺ!B4[CtJA?{zPsN^ru9=W"|sWN#!XhbCaXl@t6N0mi,B~;Qg1D7!^AjpmP7ҟQѡӈ 3$9mb5Vm_S|f ^1 4p.K8B`@2R]#\)a_ob*h^ ub-L!|Z*U; S,B5,YVmIeo20>DŽ!s(4KW4`Ӳ vEyïYw.G}~$mkvbo&K19oKf@ގ0^Ñ-' R<6G'73!0R-,9әnXZ hUx~A=(HߑH=ٖi//_f:p;@~.Om3?@G{\dOV s0p.0kD'/'6_:h G 1tXC|=zgxBidl>qcx,]n&iIKd"/=}[Nzgd]£xXgZQ Hm۩7Ʒ.2N+BVYbcV-K+\T @J454BΕw0RcJ+t;RgnAGӜnNTJv(R,kʎd:f%rwzA1 hxd; .2'BW澗 `B S8gzrJ0gӄפF]Y/ʙDtzSZ.T y q*1|~?ƖVí9x׸xou8+"= EᰜKoWdζQm>d$3 쮓`8p23?z^TpbhLIMO72rk%4cmUPS+`s\֭0G2MJg(/_XlOQKɬѠ2qy_ 78 'N<ݸ!;S^h蚄}POZ#ps?6 k:x]9i/~ )!+n:Uog"oS\0yxrItBEޛYf?'-}91 4G l !!USbIi}VS|@!9ZoIkIpHysx{p%h E Y!4h M4`f1 W`r*N}.(v~P_#&laM)ES8yS<zH|WF?k@|C_Dz|XZnER%1tĐ+{$n2}kgͅ@#UqйP콹 _`h*Vo݆7qlHZzY2!c -v:fTfeWqat#Ld[Tg "-AL!c9 8>GyF5=ءsWc!9S~vWwHNm.H3y,@9*K$͢MTQT7JX@xb-j,85C4b)b`-Q<>ǭ[X/تH:3@{ ꫚8L'j,<7v݀ePu:/_[.qSD^%# CK aaS/F6+%cÌ [:Q( _P~wy6Ckina/"y[WG`3|?!} "5E羨eH&N';'@bHQ<ɯ/|/`JZ{L&W}G^=Izi.4-d,6"#ݧ<̈ b*\.f,sk:&N8܍?8xu5P'n* یkI򏳆mCX&;?ާn4GcYKh+IrI 4npݩ =*ភa|ȍBޭP-QyD!GO4z4\NhvZ5TXP2<i>lDOZS-jvt=R>S-l?;5rĀ,fSe'2Y!s? >Q #>naTlelDQ j~a/6LvpE{Sy䱣_? ^+OhG{-?A2{  د9Xޔ:+j n]/-jȼ6豘2̑a?CkYstDk,٢$Lxat D&$xs` 6z143ŴE{#8Y W]W[l)dzyjwuִ0!PoziS*!oIє3Z=wF;BA i;~@= ,/M c*w]9 2#\Ҏ6c`q,fn^Gn!M@GEy,_ccn6΀]󨘒yM.󞆁Ns 6SaTM=[1SȓjD0p~{dEkf KkX998UXӋBK|ͮ8ђII ԇăߐrj.\|J's9pE~Rt7M(rUؼ2NS#ٓぼAݶqI6OzTuSZX_P&B0t~͛ D>GڰsƬ?weRU:M~! ^Lc L XT# ٜ,cL/~xD[a#E:W(E}^rAS4v2Y/L7vJhڙ26\S#‘Z֫>Rݒ"Jbe<xqɫ_9}nɓ'\Y4wA[XȡFHko|ocUS*0"N춌ٜ7kGt{puc'ԔdJݜr(8 |ͣuFN"oPAVW~|1xVx ^3~M^q߅kO͑s泝Y;p+ 8tܧXG#Yy&F<VaZJWiʠb)ğ&8 g_zkb$e.-Ii}h!?e `Ȩ<͂ ȕߔqXX~3K|9h؞j`;],gC͌95d+q9(]"]ٜ4HihHfOnD]n4=3Z@. )Mz^6D\5fۧƈ `PGY~N:"l\ wMMK޵3]oM鶇6l]8'3p#s: e!n1GLxj?؊d" e{Ob:,-@uH.MX e7G?F'~Z.=b^ܻ|ކ ҤpwC[q( Ĩw-ΩdAS٦GՍ h NP?&n2!T.*@>;4j$s}$S'?p._yuyyBn}EYPޟBN񘮕0*SNs3]FM6,Aqog Ur2tW;ͥ5x(jOKX$LɄUHy<ԩxb mWnH1;I*BD 6'\AdH?X?&t@<ڄ8s`>Rv{֭w7}.lV8l~1WLN `zPM _;W 5EB )BHr.;WnJ-4*`GSJe>oUƮY 3o[h[or"XdN6w!_畊NFE;5ۃN'\ge1 >#٫EVks035R0+lvΐ?!B7v]&72LD%k*EV}:6qEMWYL]o6ׅX_ .%;M[ϱ]U;UMt__URsK;=Np!9IF q 0^wM>. R`^m"XXiOaV~ [_azG`an d_N +Ryyʫnm8O띇!IL%}њh0}avJp`'R$B)&<8֌Pqn ng-qA8z;hWeuIɄ|)YN†:CXuBR-ۄv4=Za \sdF'm=Nؚ_9xoP@l!9רE&(#rQ]o*U ,(>6 # ɱ0Eyitz{OVk=5Sв@vxX&&'btk {@rWQv|kG8$8Q2Pqɭ߇]*)W #%%K4}9~f+tٷ5̈0 ?DŽl}i=al{XMǪ `WT֥ħ@:Ʉ5Bm| ۦ^tgyݽ2uTB0eݣ}kړax;XeHHI8.Y,_O$+'# m,&=`aFm ָ&A UDRnl" G{!{1s;[S0i8X58/cZx3#@Ukqzꏚ%5pÈV8%s!\[xބh;=/v(N,zH7^ y^L!t?в||Y4s6%4m?v5BwH9|Θ[,'mZI $,VC|+MCGMX{@ED@̾D`Td")?/$˂y|y*Ħ89cRbX[ 1Ǵj΋5::'^Z9!@V@T;Uo5δY^%iE^o.3_+I`5E`uvvg?!X#yGO3lٻni ҅`r0XB|k֭q\2Z_sVWڄ_x?abX5A7VʉHBymZLprYT[%-Rz48S H>dJUHH.?w|^ bl8'peHM)WPʲ T2mԘ6Ц!!GYɞ n*uKZo~0IWO!'_7 Lx:zD)hTr&_ɐ]xs&k rf Hl\ |׵z'f@[x}9v{(E=p+OxʯTJIŸìkTJ,) nxfrM~ۄs1ߦDnNg-S;ob_(Q܀YE:ghE.KƟ9:_,m4]?>/l%r&vaHvuR=1)p\sk%)^ !ęń?_A\'،)fsQ8(b !-S9S2b@! OL62,8wMXj8;bȽ#5=5\HhAh{߫m3;ǩ?l[B!=N,+'K.j4wb`iGݤA1QBzWO?Ĕۼ6VTƽ`\F\,'@" .S?z,eXN,Qt3X?lG- _X›(z!qqt7>8A`QKrq`7!I U&kN3m̈'%W@-%1sj:GA`!(hfh'sp/P)6pz񯽌gj%8zΞ.v odKúEҙ{IZovžI-5þkH! \Rt55?y~)Zw&htƂt0ѭQݣP` -Qc45a&{E,pվ>· xTxM[*\3NI+`kDe޼lcT"_$}D_<ţ 329 hFY? P+'fN# VB0!5(Gt}MOd(,rtQ&*ՍkAq-ck2x5s^7X=a9F8KH~16:;GI/M;N >uH}&D[_#Ŀlr>[r}WPruxUX rZ'L6 GrQu=_4'W3 . F e@ukJ >=@<$JhU`Pܧ[FA^/( IXOyEV%8tK@eux9'P l雂G=׍ o靤sOuLG,3Ri&l.ѧ% eLߤYxmӖi}ԭyJS# Sɰ F  ]8DLvVgS$e =3|yxuKCVlf[=hc)*4O 93bbu`4udBLt+%W}Φrk bރ}2uZVYcክ뽴Z q:!겔t暇 tb'Z,O)E!**񷘝 J-pHuYdHF/(!^+`F}tbo^ ƀ˵9ޥ/ITZ n┞?EVy7@ +1 DFo|Run "P}]@#6W}ͣG\ So L9X70dTú 73Jُ4gcpN(^dۧհ'/f\.X>UxR:VUP_:F:2%:NHdc}qM>_}ļ́Jj(Ė8-&{̞P|QKK>Jzn,I52\Pͫ}G|)ž.zBIש͂li;TGLCSg #S?+1Ʌ0kVbM}dMq8FO0(7`FTڐV#ƸJ\Q/؞ eNkk \&XFApȮ&t3-YpRyH|t /tнb𤼫أ ܥ`&Aht/ ܖ QO +Vf/Bј~(9.j")h~ŰUgri4/|еYIîfI0qU5Xk܅:6)sO3tl!FF eo?=$sim@kݑpJl)J5;*19q|S/Oً4QEj{S ƛN=jݦ & ÍSO Äq,D}ÎHBlmeCQ,7KBv$y۱0㢗~D^\j, _jlbjx*1"{=bo^B ,ʜkxcdhtTy>X$8ר9xuQxZƎnD1"*I7jKGZaTVQyˮY7ʗ} K4%>i6lŰGŢ3w}>̢}chdŻ8>n!N. @U/CoY6rx>o?.*a7]fMC*GRpa\@iy7#!gI+guKa1H;b vx'Hu6Գw'E1BJF6l_p/&ߠށab`9d둆՘.P,h78J;Ɵ2u2d:|CpHp%:R!vؗBR2WA DE_Am {5As p-@~/,Vnިgc3K?o}hZh$h;|Kc_%B쿾F|!Q:-Mcͤsei.;ܟ7"pn4(%sى{k,rsx!CzTZd OwYK,Ou)O_&8!U'!$szmL.@Rr]͞1k .W!Ӓ4ǟbx]wt$Q(5R{OG}RFzKf 8J\-=f+1hܚ/㣐D!qN<$u8qնc77Jpp*VwL{M`1)JZlm P`c,BX+@MIHEq@M8W$_γOѩMvlIXPCƋ\ (Lx+7X-yܹ]- "50I{-]weGY0Jf啦]ჄBbԎL޺iVS /tsD@he?-Y'xS~"ֆ*Nc=i YʎL}MPI̸rAOJn+'IjRHQ)@D,9h/H$|?qr ;Ek]0|KtAsݯ4W==ߙHS 2A N*k3I 7^US؎Y$2=U4\,e+kɫ$mwתb]|ɯu+PSW1u5e }<& {ˉ$ïcFij@0j] -^":4I4sӦ:pKˆ,bD*1ޜ&l2|Iva ςA]2 rz|$iRvΩ/p=Ŋ+il} m |\=t7WϽ * wpZUWtJ_x_$O۶lFt]Tt\u浐-?,֫:UĉM k3p`_+Ǫt|%MC͊? OƦz #> aM?۫j[g@ߑΡcBq2cW߉4 03}ضqPrޛHC91*)JvѺٲNXElqgCnd426/Bi)\rQqi񺺾9iAY7T9yԲKu _'S2E'X l{OHN7h5['z;hGݼÀ@x%R5ۛ+1(h6wﯾB@)&*ӗd*Af7FtV} ~g<1l!&|_$s:;dKC}'"l$vg^ 3E0Ŵhp.\>i!lN NtEt'`3.6٠ 6FEϼcdJ/ Gmܺ'igYZ98c029116d1b0644d646af1c1b9a302a02c2d725f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 d51aaa62a38550ed47335df3b2e272228633c2f572372ccef7f0ff536d0e48aa0ec774bf333dd262