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 A1T ]% HOL-Decision_Procs:threads=8elapsed=313.061cpu=1533.799gc=170.897factor=4.907zXZִF! E]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bE eG4ݶvzV@#E2<'!cDCY[6_fk5lgx4UXH]! Rulɨ7gcROsfE:J$IZE\ 17Uf h0hz52IYVDoX@r|oV['_B R笲{FG $a< k T,F R;D,0^.)To'$,~o"x:!|Ok6J)`E6l/[Pc:L!D"M2V Qbk[m> 5s0m̏/[iWT[exTM][+4ht;o5]t|~y$H[}%st+s9)L3p iÏ)ku.K'ej?Ö9+MR%OiPi1R񿬶$RB=(`G?{c۹LP!)67r}tGVP܃ڒWu@w[bQT.KqA9K:#^=F-J2/x#s%{GLjVo,ݓZ[@]o[JuP0axc VI,-P qxCؠyN=Y" 뾌ȇL\W(dg $Y ˠ/ϣ_爭,=D5ᒫntc m{lsӈEUhFf[ JKrrgxߝ.ϩ!.wrfK"bOYL6>CiVAEܠWxpfB%wǠV.$V6@c^p^-!c8lrlj{Y'=|D3開>}C~.1!!Lz!62@/62s.O>9ʤdbв hJip9i,UO/WN(! jJ 8wkḳ2Yd0j#l8Y;Yc6SÆ+Åkvjt7\lC0zY`z1$ `J( ҇3F&eAm-"6q^NJmZ~OӘ-mP}Nx uIh9dž5V`?*g\wok\wxXၻDQM[DrqGz/\ vv FM41qI<اze( {h" r J9xI_ژ ٝ2e$aĝ\UVC@Lפ~Y^xjr&LI rY7`\ض4 X]$. s^Yd$..*7 ʻdjwD .{|udq[̺I6#d=ԙ[]$05ImR&i b:!ڢ2TEI" nlSG% -=MBT 3C2+KJwZfy>x-I՗ Hd^hg`-mb)ӧ%>h;#/32 _Kѣ` Gi%6+wߊ 4uxgxG5ԋ-w{MgFizEd'LŸ@tX'%EIU넏U)Fw!iא7%'vKmߌȷ &)3\JE 莋Ӕ?Iۏ3McFU4/ kܔVc~şr-q<֭7sQ4([ժ)ak<'ZD`{1M6 $T3Ŗ0t(#wFi09Յ*G@@ߜRBAZW e2_7W-qcPw/2P^d/ղ}ݠ Dl_epύ=g ŷ22V7u1jMuԺ٩X}<|b,Ȉ;TC h|""{~Y+C"Jμj:Jڸgb=}* 1 HOL-Decision_Procs  ip1 7$g&ۯ޳^4vɡ0 <``KnYipz>3JD)5,Vt?sgLJ2PZѰ#. &N56Az=&ucH6^-E"dͱZU_-kG>J}HMٙL-2D[u)OÉS'͈̉댁V(2j uc1WwQB D歳HO2t׽C0ÿ7sXI~RkJ2JH YL-1*\Wg;?3nxC@>W)Ɂ?W$?ܼE%Dm?D[+NaSX[kE$zHT9 W0 SYnOo9n,oV קɃUf~lUI0rðv+IZNu?ݢ؇kFrllK&btm#lV9:-zv(P0/ cd%m {@MP"n'hz 5⽐沘qfuFoZrh;͋`EC#MmPzkra-}ypJBӏ SToMQ˨1Qph(!M4gՍpޞK+i?> % ܸ4W2}2W>}-vc vkjwvO{P-wV@E$Y}6ʀGTd]p{E,w"zEpp9|z<;UG Veϛf39 eܪa ؛?V:ij=yO^otM$㌩ :ʵsj(C,JeR:Gc$pf/!F;EF#r=mV=Ih#]kO\ێ38Yaf1P?FWCK;̭+Ga!ra)~$ / *=􌸁5Ftwslh@:K>|vy&iW_&:oBTLLjqY4g͏tt)o5_]M3yf&dya*]r)fo"uqMY?I2f19HJxnipOTAcKGw^y4×̠``W8UGcz;&.'{VKO]&\RMz$(z_S5@Xĉku;ޝbĉwJ`h\k]Gc)&m=[!^ۤou.2W@quZZE/}@&t G߹[l&gj]ߥ$D)b>ڷzm>ʀԑS:zMq6ʊ27E oQLz|Lo HS_8oCArH;xhY}G=s.cUܙ=63JZ)> ڋbYr,J8zm(ݻ^Cv}Pǔ]_R0Lf!pl*E&7Wti0Ģ7 0rAb4[ݧiWUqpfx3);+{K_R4yE6d$U3X9_l¾· ('2咺(t6!ʀo[Tm@f US,rJ3_/ȨsCUsH[T幱ݺ2(7Xв1- *%B/UO>eD:abGn^f%52uRrw_jLԟdۛ)EItq1_?HY6T03Uύ4| fGd9,tYZ%[-CzxBV{96x;ߵ' .V_8ǻaTU0ӞsSdnB$#U' ]5+ g4's1;vSQBn#/H-V5NMݤӯ!ڤdB) FF=r1 }Uƀ-NJP}x=syo*'ic%毅~G4]~b򨭝! _(ٚbD(WC{o0rr0g^T-#ML-{D;cA/hJ<rb9c/`M1f7ɱ#6ʭgK3W[B{|世]w0zԏ`K/pyq6ʛ9.* ^bZ"*S!s/p4:8?g1MWt%__8 GChdžQ2  ݗ@sh8v"0Ϛ, ZAr̶pEW0A{[$EtɮA -\/BYe? c`×V)nYS NۇR=dlId Q,YzRܳf,ÏɀA\<^怌{ޛ,0.ף -'q>_Q(\Zb'4¢8/=z?7ȧ@1D%'MKLGͽ!c=a w^ȵf?HrP4_A`; 0sp|Nv.DnR.W>buֽQ?}W̚4pYy(-KyObwN75A4c2q@aNX!Ә]##씝Mt2'>7 F s@"l&x:.V+&^i+.`3t*} Gz̓3 HsWמV9ݰ^L|fi6wq\t|fU!6(9ՔxytwzFڱZ:iJb@TkJ<_1t'Ih YDI*>)9ҎC~#q7{y|*G%fEMNzC}~9zύF:r %ӊGS~vӤpl1D k$La|) `LX؋>@9[+eI(jR%2:1&-KkjQrsې}TLU~,]3-SE_s3؟% 6vZnDl+.YÚ_kôg^l0FKƍMpq]C:SN(|>Y8Y&5闦l&-n6& UJݙYLa QOg}",I\9yzʸHR VkYپ2"w6v'gYZ7zXZִF! c:]ŗXiɟ17L? KxlWP8SաM~>fٺdOAvOPcVRؠj7Isy(2Ca?ĮnyJGuPj8NjDI wDذ`adv%+5- H[{"3weqᓱvtfɆi%RA5V'bd0<:8P*e9fݟ5E3:|k+k.Am=++KAI#1dKFY8͠kHWW=FwsRϬXL(EpRP ]_]CV2_l*f_J4LZzY'5V7|Dlytbyb -%hY+/Ȥ&sZpӡwq[dJv1gYZ7zXZִF! [b]ŗXi%>ttXR%$b`σx&ƠP&rV#bm֯fLVTt;[]qHEC\_3ԏya't &h7420qTu{jG+F"%y,-Tg1p); |,_JYwpdj$-'kS#X@rD:v'RQ`^MʭLk1ec:e'ov#*I `O٠%P\f X=}滣iy*mځ[9eQp aU) sWɷ|*vZ]=4 >_s~[ZIy}Z?$jVzMjŠ"ug >,Pڢ1 ÎЉhs?Kxou\x֌hLfgF÷'z. kD㤆% &5LWփwMW%asȢ: vR2*SƲ^JF D8v%zoO^7~K~-*'ЏљPXwUNKwpAMLz:'RʾZŸ}e͑Y+rVVҦPӊ#)J~܈Ŝ['3po:u 5D$R{޾ZLj;-- g};ںz B*G9CA ~utCYbV/a*{-+OVHRnzkė2U;n\Nj]ڄ8Kr"IU|I\X̧j#H~s߳\h3 !LJ~lLٲw/Ɩ耷1ȅZ!q&ml}葹[&'M27DptIF=Q=#J$z0ӹa gEV,VĢ:P-jX_t^C?w>?<fiM!f85ToٽPDždh$d-;fhG;0 3ݤe0:2$`ݬ ,<q:dP$sm(LZdx;rIuI!y{>7YE&eDj53SjF-??v HT'!IS9W#k"J`.:yfc%؈C}7~ɂT; !ݴA|S!o2g}&wឝ,a'-L~\]m6MS-A /6r, qL k.%̒N[4?ۢetUؕ(¡> MIs@@ŕm4]@4Tv9 lxl~BRW6Eoi?'< 4͎V@ $ꄤVf9`,=0Ӗʁv}役A:G<qEC;3:l7`uV}6TI_K$U8I\ Aģ;4 ~ /y15e=;SAk:OϰMR#o&%0l\? Q#/Iu\u/ iLF([N=b}ϞbJPyK&3A38 R_28>*S=fb;XUAF2V1tP&f a[| l%E.8RSAz;йgzulӑ^!Ew?tH-I y7ISc!jchuo;%5S5/meя}W!&)-#0i[@S ? MuUi%XRU1{ :nM DDWF`T?'h:l6"A`d'tJT܁\]`#Tgs?4MMyO[A5Ffko#ʰ[%}H͒럱 v_]Knō#ֱ oܔԨu*oP*; eje=}5gT?):)H|tXyOi(jP9BՃװWn&:<n ۅɻY CLs>.H];[LxT]1z~)QqdW?ͅy7yhYǑƂlSacS{8x(m feQ.T-4L윁֞4{ I:#sYe;-[/',NR&CwKCB\Gb2 :C %yJčōAϦPvVn/ٌOA]R~0[I7Gc!g{2K>)10y!*ap66T8285|hqEgڡlsb62$'Ui9ky"Cb ͓[` Cgf=4.涩Ն[?lXqȚ4呆OA&Y#7fLI'GD b3>l䮘<]'cfB78k$cP C!YSJm[0E3T gohlN^VfT^# ~6aD*g CHSQe.]n@˧\) /f֌ow)vQ\E݀.!xzs-T'gx4ɜGRN4C`9 q$/9l\50TAR^n0o≯DZKkPU= cK!즌u =ZU8>VWtmu4y.ҴIbW`zB*/8fK}++ Qáֵ"*_#ھ|ן%ԩm{D{~괪xG U VBeX>" KlXpF{wx21= p׏ l/Qڂr^JO}JŮ7-j]d2J$D5TOak9I" %LRQH>p80R_.{;DD#@V -j LjxrN%PVXgÊ6=o*Xj(3d3$)k [}POwׄGLc JOCjMZ'<4)Z' ċtvzϺZ1a4X{mXRTgkV'%jt򉔾^%c@{-ӾL^Ln?%+d 3d=rA'3de~\n9fPlJaR* |\rW%d^Y])NݩhƐ0>p4ΣIvʤ'E}0bKht}{85(p@DЄun26:(1~m៤vO Y"xְvUɒ`3SNs>J hp:rbܞMf k$Kִ1mf/Oj'!SMи Qv044$3t.FXW3,,e[ J"`|%0AH:u- JnJ<*bCO_Q5;yTdWilޯG/a3e_7?c ؋-_QA2n3j(T/1Q'6{~t}ڋOpλ;7;\&Ę{o deC,݈bFle5vvxуڱ <[^\KDg};[SI`+{jGX0R U}t\ui1-# 03]J1]KAL )=[$AM"as sU)Ҍ 1e+MOhf, gqx`#օ-6t*1sXih(m; YHj)gr G37O)Ρhi6Pf]% s <bpY]8WӦ逃zK>\;)鑊{j<9nhFT_2J:1Z}k}ÃΩPm,DFf:r7Kn?fL1LHS:oLߧ)D x~epsR xY8bJN|"k%)V#>I*|C&I/v>2a#)'3%$ @2)2! 7JiU͔30d0# QggxŪ{o, Kj}2{uMܢa{˹xg ~l<8)r]W4ȜLJ=P^>^k%OgB J7*F}ĘT(&Curuބp;3ڨ gGSaB4ttj2T)DިUvZΌ* rLf4h&9{Z.U4ƃE_,X€u$,XҌ Qr1ŧ0LD=):""БӜn\ SOGZS2IubdʾRD gM_K35~%SgZPS;юˉ9UڣAtkU>\ P]~|!9l<Fs䍋@ > {?bqS7}Ƽ48EDss#5))EeauP{ KF˲."1ǘOA+/%I g52K%TI~z d{wgx_kt:mo2 VR&&i᤺9k_= 8e:+߻ k 8)Jp:wQ˒nr/z Ň[ڏ֝\J{0-MD x#Le[XP s?chJwVNc~P7Gz[zB8h {Q4&Riqvuogűv${<^:HguMeEe!Zw/| 8'A~)G(GeQ ㄱFV̴0|Ѹ/_*iegC!>HELXY4"y~ `R7o+SVxgJ!0uWKT94Gb3$Aw~z)-q%qz#J{ "̈'k'2=\~/,uƭuNs׆ R>>QtxYVizz 'APWKLq :3D[U^;̋EEu6p+ +<#q kII_#5Z:'۩V$|njE eaZ|V+g)޻Y{~=%YNGRŭtqJb89#w=kR"/n x zAt$-JLcRj-SMDsGR ?U_J!isڷ/]6z{w\}dKkw6\]p 'M6dM= r34}.v&%2DYVLj`bO;Vy2#Nbʗ緯^WF0޶t I1Y؈$s]EpSBNLnUC!0@bo<*L,߻"#ౡVA7mM~7¶𸽻1ۍS:Hpdn.tܟb9D& 6{r~؞NJ[l\"JW$Etƒ˘^^| V3tV|mbp57I[sp43BsۛKA.O0OX$L-BuCsCVéIsksHkƉYU Oޗ&j8i@T1Yڮj**l"e&7􊇙WHo_3ZծI? SiERϫ(KIIujm(6-5..6D۪Z: .P2͝YRW{Oɹ~ZǹbܙDƵ mkC?/30V 6[)-Z5ī OtS*Z03\aX!#֐y=ϓx'4>tAĚ11xbSSoAPX"iOަP+mѨ`Emi K( ߳\91`VCI%>eP;5C'A 7ʄ& ZUNqes)WgTI^r ]ZKh @{)6;U~pWqѳ>ć6E>K$Z=oG]gqJ6}|oVa%kEfl@1mO+(%OЦ0Lfߍ* C'ծ ;@h|> +*UOXNZ ؙ[^(@c{$KYSפ8y" //@1/y}\_Y%κNG  *U)ݴ49Iy?:MbqBBǿ T.qS3p@$2 X3S}GbBw.aD8L$+A=aI7EG{l+"Z+`C$.m$Q= ;}p~/gFgJ0@ͿBneyWc9hFJD+%VDțΫ 5 Д [dF?ʴT`Kݙd1v_3t4?FAUȐO{Y } hsMWooaR̴]$`g"CICLV`z|G+wE:m׀<(>1~,v\[P[WݤD[zl:u1suQȬqD8f_5bBJ"|',; NbЍsmz)̳bMun2PwGS;a9f4.-?[HyCt^Y.a81ϗifT~Wqkew`ű st` `5P/j!'T -<$\[ϣފta FX_1r=e,pd>Q޾f&MH nm&"lk_DoT0W 8QNJ|dV\jؗ=#a,n*oհY.IS6p@5M9b[UtGE7%wi% 4/~=gɜ'}&ZNLmI\1̝> !үa]O>U9zs4$J_HYQYMH,JQHY*=>QTn?9S<=$[a5b̒0 .gphlW nHN\ȁ6Wssr\2BE/H:: ` 1l. ~OL(mC9)YV |)I<*)XZQ2ð"M.KJG_Y2@ܮ6ٺX /־ų|,Wű'=#; wYd*1/ 6 X*wh`tVsre&If6C#^Ri_tā.e0gA#uQ&K?~5 "ӽggpіL9v":U]?}?TW38ZG|9Ŭx$|O;ڄ}+@.wP %`M犑 ydw]&#=vkO^y`섇k-Vܝ[N9^ tL3Y\PTb}IÑne)G < Nb( s5kcnc/a[sD׍z(!9\)Kɽ2NQ`T6ܺբ |fǸ Gj <\Y j$SUV<&1ĕqL6U_9!#NeGꌍK688˾/7l~Ho+Sͩk!]ș:7+0hH}jK4+fx,X.W8t3޺d'Mx*+[>ԕys2@ˆǸ5W,*0mhK ?9Hz-JS eTG{cZ[B׋!WsjqwO?ʇMU!vTm%xRk-]cq2B"W(/^]Uɡ (#-wUU9פ7 ke@Ā݂ ]|]zR1G%`dP 8߱, o3}&zd;YimŻb܂(ƭ TMNɣ f؏T)QQw, Yj.Ё'Ŀ^FҎ&.fw\Hx653scT79T8rxL]fVsx2̫9 ZÈ8Uzm}-}5g7 (.BY#exw/fK}*Ac/u*I,6ʥs?p^X%#7/ʎMV*뭏I°pQWhC@8'qv4y~+oɄʏ/I9=q jJaSZ4"r# +SAbPXyŠXRM)D4E-lJbG,)c/k`٨x^lbxR//zC8_m_B5^(QmLbm~S]ǐ w`,0VU~+6i ;;0ឌ6>gHX72[KߒÌohy!{5v˨)W?wCiRH6M# i@ 5\ |X)B8zq.ULJɕŮE\kA1\CX@˖T- L:JS#XΆlE4-mM]XPtZW\Q5"xAR#zWSgz5U7"tHWr 0;f-,VA#zN&^t-BǂL"(#gHŕ"Sf6Rl:Wjx043 .|ay D PKrn+ܠmA i_|DjwgK ]+W?Y1m0 u`\M$hIw8Ph .@pKUaT0dKȆzs؊Q Կ ŬR񙖔x8/ Αo({QbM&%|$NU_(l bC%4L^/`T7-1o> }":Xht#;6<%/v"AE晽in|Y+'[\ĉh|4}|/|~=NAl_5I~3PgRhmf t?Ҩ@RSLEX[\x"\g01 Aw J]c'Z`D!v߾-GAvH>98)3.;Y!j޳?944AT󀖔Zȓ\a^0yӾ#V 5$*614(p+4h'o(b};6N>D}9`$8(װt^^0Y[0BNLThyVɎc>x%fGL> 4B\`P4(QiWzm}`!L¡o;2v{Υbq%SbEO8-Џ[Vߴ~&\Xb_@zqŋQR;5!sZYh#$<4KjxH>4!D-bˊ/v7XbX@tkhZrgx{Rm}wb)s@D݅|^{䅁:cG1ac3-09hb3o.2Syk#7j2s%.+d]v5{vS);,8̀iT|v+ήr2Gj9lҤҼHu!-9c.Okqca1*~yڳyυpGt ېP&hT`Zn2T2n8xoHD} פb󱤯t| j@IՅk0^SO=O-\!ԺSz3 #U9}w=pI>^82 #T̡%d*ֶ 4SBn{S)T@5cEZ1rRM2F[ r;@&b8VLo6U;wKJ'NVF`*u'YeU?FzPUs^a] >O|)H.wgmA1^氩T-aK|鈽%6ԬGlJ/F=~ۣe4Y |7ހy0k)HAXB#Yށ$tf-b,_:#PZIm#h`$.ھ,U ō:@qVv˃KW҇>M\ ]d!JfQƊp>P+}UُWf7,%)I!Z;qQol?}&݊%#f,D&dԉ⧙RDDo3*CC:'܏vе63+Qvh7 sp0'lۗcN2xx&S 3@p]?yDl@\z,t[@DVП&xNR(vWXRඝqu vAOlɉxT8Yx=~hUJ6ʭTglS4+"5mܱ΋UlRZ'(Ĭ@s fOБAN}iuJ Ab8ڃ%u[{IC|! =57D L/L(9d(c' 6P%.:P^%%Wp<C{&ZKc*-:97Vg{Y川M~mfNEgjF3D֊ʣqcO7)&_[@)cW؀0LRrgpk.|F6GHHldu iis1@@e ׫"3c -[Bn{qqP` 8FSc#JĚDwv>5*4~Ogo+6Zay7ZǗ^> ІT=~KBnVk<2 1l)cЈWa OlGZMp'|v˛u氿]g uu)O>+RJNBdcm5nP2]W`, ސ wXS0nΟr,_t]:1@eA,/۪ 9ƷOc D3K%&؊IF~m]Dngi/}jE^ɓx.8v*5ꜣX o<wʒֈAO?.63 8TS4aw*Nv\vn; #P_tijyZ.]=55we2RJ*]k%8M>qij!$`r("^\(Bp@Q+ލ˼xw2I\"鬃pZ:b&̯ёqZg%m]ڔQh:VI霡spLr TAkb/—^3T;"{m[$FYahZY__?w.?%5SJP^ ?!Qksj\`FhrLd^m%_.C M`|` ;WF!4廣13(yFsj?6 у@N'W/z-Ɂ.uFEx J:mX6IŚ%a }<b?Xp̩BQG뤡. LH!#k=nJ"'94TkǰSr.I$^b$7^>`WؖX& ; QF d(j0-9=/Qh_ý? FGM#?(Y)tQ5Hݱ+_/qOUg}b%Ȼu&zZb< ͠C\V<0 EXBW +vTZ8"L&_YH1q39qC/q;+ppc4l|}``|tcbromρqu!5*؍ ty ͳ20~J1S߲85.QGY H[!Vڒ(oooѴa24\]J hoh8Mu8Pɲ7SUJ L@4MvMnFk΃ѵY/TFs'Y}I~jc0K'mڠe3F+t!?֘MN^]ŞW #W #h,b-%%_Z~e [Kރ( x+砺Ycg'ʹ!v}Re!ADؙx|A#-іW=n$qa^ ^Upԝ6@{ɉiu\hV4! : }3|$S{07L[߷dHZ`Yƴy֚2nvoS$V.JhM5Kcu t@𱇕BLUvb}mk~L{ rz~OydcKdHz~ <gH̜;oL^Z p/ehĠ$NF9@/ )\"!;1 , p}˪v!G'K!t}HX]ouwi#Aebjx%FS t{:-h%@2g d|@kor _KH`1-8r4iBa娃u"*zzU+="Rg :tdjCVsJy/-> ])H,?1 O[ǹnqr+džcڔ Ymqu.7D& \W ~FnDAݓ5n \ u 2,j Ez%8'VYЋ hb\tdMm.čݻ8_EH!"£η(OdPD!<'IrISuLyS94?m/R,tqOog$j翙@޷ghG K4ĚjVNlX-U v72q@K7!_%4.T(I"&-(w}EyPCZckͭjƒ t*cSzyM hS=!kb Öɏ~BZ0 h4walë0"1E؛--*X,$lUZ} r\0EQ4&:oupO Ep"jڏW3n .t1#mV8ẻhZu`i7Aeڂ b̬$4bqI#9yb}N GD?&zWOP,F)gx^JYr66R5U:x 犫݀zG 8v+<3jU%x7lrfὙ8dLX [8H5{͑%G TKUnM) /JͳAnk+(1&*^Sq`FĮ'&*r9 /؛+1,9d'Yޅ[F(c;'EXgpD P! C@hv#ʰ*џT>ѓ[›s>BU9Z ٴc BsE<@a҃@H>)OVZ'DKn5㟵IL6݆=o=5nH r/6ާ1@mf/L, DW‘=1|:h9?WzbKT4TG"9$ŒIcm2sj`$43-_l N>!9AG}rѱMp'P5ҫv0A]CdH5u^aei]BˬU#d\jT|PFJB"݀kXtb1uIa6h%:[2"&nj%r4کNŸët]"};ox.h۷H)@ V.E9rÙs|P/u6yE2Y ev[ce7[\`SQk6p)˕]fX )+Qkhe!!fTa._>,,=/,{:te/sôX:BbDdIwh?ƤCC؆;&ѱ_(bԌ4$msGm䐴%YuEL./-}]VcJ<ׁh'|ϔp9ZSXizwvZQ[t8_˘܈ʅ"h$}j1o)ڤBΒcU!x}Y^g9f4Jzb?JdҟX|`Esӕnvm 0 6Q~7S9E& [C4ܭ Ek,W.W~t  02fC;hzxݙ1[@0}c7yBox =u0#!ejusnͯ0g|(KzΩһvf%rL:w7|B!~izMźR 8&k t{OCZhl:.lrlfrRsrD`;y5pt[1ٙs S^-ӡ⻠tU2CZi&f85yͫ[ڎHsg7{(6uM0frt|~^@n洅y_N?6b6C%Qʮa[A _;9.|GԢ3!6AD8 $(8}a6 {n-%4@Qº Džm?H9UyIs) =Q/ e-wy [5B B ։K܋P~%ΓzȰ}z䰴]8b>Kn9nwE9H6_X%O6uW!%:Ԍ nS3xVFCN%+d]Hc0kLK_vк--$G*X `y?ƎOiE(뭏X<"Ztq}ިf^H8]`9_&*!m4tRВ5G06-n:JgYZ387fcfdeb45c7e7162f5e88661b2adbebe62aecac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 19b45f5ae2df88080122fe827653eca7fbdfd042 3b45769a3b6b500524c843853f63b3c3e722aae4