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 >3~< ]/ HOL-Data_Structures:threads=6elapsed=236.887cpu=1346.332gc=141.8007zXZִF! F]ŗXiɟW;g``ϐ9Λ@p"cʍ\>)_GwA߁> r; ^7&zǕHTeqJ9_l[i5ˆSg]ڄɫwͭW*(U\;qR-wIMgAz|JPcîS -S.}<:;x[tsEQ@e\Ng$+Ȅ%[]f+ug 5\qdiL@j%2b@p}xvLAS,]xc?04F{F&{y=,35E_f"I1FaȖG7gcِ$pQ-%bmK$j#3/93?.v 瞎zzl+.`=vN g2O،rrݝ!ϑpIjC`M]i+'ݼG`aP&$LgΪT?۾4-AZz.hPȸK'Qpb m015ߝH*Oy~\Sh`!4^`9[H|X*ϰb6u?I:[iT%Kk^0q?pF%$P ^HHoQfN&^({a66ܝk'|=r!0&W}~I?m[E99'Ş A`y&;è@7Em$?dn TjUѠk5+pEmjl:Kxa3$T[#H)>H/VhփJa|F σ`0&'"s2$YGֺi连wH9d[m.Z '>{_AAgR[n| S-Jf{8 idžJ /ͤWtsçc3(*!Ju˸;t(LUEV43l3/YY5x~#56,svfm%qGtvG|Ed_s}L,(%֭6RL.D+&|~`a~}=}(ĴɆCT[O(.&%Qr!bxT1hH#reh`lvD&/I ]q;\ ?"h5y3 dћa9&Q| 5|)x.,J6'P눎nXNA;Hw̭lR=4ƙ"@QN1X9('*OYbHee"S^Ͽ;l:,'m؀t` l(ݚmC~k %KPO?$a1!4G VۡBAjH =G6㠕 ;ڜ0K.`=>],j]gn $=Z(* oE#Wp[YR B (8Y?Xp#h8hie$^hv16`ɾ {$<:]:Y!] G|^XW.Z2^k^ՊfI 4LɤDn4 m#aPv9i`k7"DImyENeo0]΢[(t~r|eIuvA >~G[o-„+ Lg덶34v 78~s.(b vӞ!Ff7PI2f>wM.FqCumN~\dНxQBk D"xgw5fs/HKŶ@ .N)^f1y!@Iv9?ޑvۻʨGHYSҴBR䕌NYUpAL`j-7Tlۆ>m=דLLR(dt$VbRm'[ KmfNajã_ 3 HOL-Data_Structures  r = L#صՄ1(Zv;ܕ,X΍@@V٘/oSu:DƋdG닝'= 6(A\M6Z0~;Pf*1dZGЊG-k`1W p^ChE4ȓM .@Ty,8wF '"HZlht%u Bk6.i, nwAဗ^CTɇ3_VLԹb,|h x$']2[TThamvUB!P_)S!`xS1!}#*\wTKQюЏ .Y e6=}#Xq7ഔտ |@G A9l.ʙL&*2Km,bVfǮ;,o|}uݖw9X/@Ah3Sq=I2\5 Ǫ,Av2q7-jFЊaRLmfQXiL7ہ?|yVE\3h&؈7_0GД@8OE{LvkhjjD+51LElFV5?Q^a2SC!́3v%K>叭_w)n~!8myuN$lbɥBn/ /'X %0-/4X֭AɸuFD=w)ؽaM@H(qB5;bM5S/ 0p܉od)'9-Z˩mWM%0V]WK<@ HH9y5\!PK{ɩ yIY$-bH4%_,O_W]$<#ʒc)Qc*ia+~YyvS:SP+dO YT:~}t`Waz}aQ#CC(p7?ppt# W1QG@>c-oiwΆ!J7vLH5&˅FM8Ok`=F7V11)ؿlaP29%KTl2?!dZj)QFs `{ S.ӷ ?PV4fNgk@?pN840}r UQWw\<k"Zj/Eo/ڙo3aՀWφp:郤,aKϐ)zhS|]+ w+h@ XO4g\Ru׺NRC;0Yro*a"*MyIqX_{׵Jhd/dD *ʑEh{h̏ds`1a"0uZF(.1ސsxrG 'nH"UV83Q Nw<qnͺ_xg6.]qank4﫴 w|t7E=# Uac8h:ܱBqcƘ1TNIOZ\@>-GmVWԖuc* DV!.gPKZ(LRgYZ7zXZִF!  ]ŗXiɟ1]" Mԭ02NaD^/*7ѓtڪ2C郘LxBVp\H[WPb W5X8ք›~G"B1⺸4fh 1 n0mf6|4"ד5{M{ǖwvpD>'ZiTi^Yu|W>|# \ =Jh{`Z)(hK:`h*k&<8ocNop-ҝ2S2dҌ*Kt;Ah>V5Apn?@'ku܈1!! sTZXNP{b\پe|q.r RYMK/;!6HՕSTJ\T5lfps&` ,{͏a=WaǃyZf(9zHשsb'u h,up6x}XD0z*Ly1Ό B`Ť"gYZ7zXZִF! \zc]ŗXi%L(s ثՈ&;XR܈-ۼCd i~2w$6@rV_C ^h`e΀ >J5Ԭal]w?Xb.[*|Bf]4 N8Dfh܊x8H!05Ze"=LPf˔8VMa*ZJ 7PnL$\^93}:C?Eѫ*%c%ʠW= ǺnM,sUN6ocT;FG(oI7v"hB|Dܐ;ճs_!nL]UN `_\ש!^AKUIH?qd?:Ct4h+ً[Mp5jzA޷Vq/(t `#`Ix/n=L=%P%BIۀzvlѕu'0c RØLHڽ 7M1Utrpe“B9lnA.FΦMc97ALA'g!yٛLSݪZGٯI1-d[ ´\T8L#r|"=/ 9ɡKu"A]Yp׆FJ#w6L.OqZD MҸ&^E)NRƒ ۃN7Z#}n⛺g,ryN{^U^;LE66,!&^+{ hE2M˦·;#7Ȼ\vu袴[\MAI6mŤQj['#`8~tWYyцK(׈Kwru"[.Ea %T5 {i; $AzQCSϮWl1 '( UWT%?%bB%}Vg~\l )C]c j\3 Ѵ#lAN.;|[2bBrr7Jӊ&wg4"L15>TP j3yv>VkġLb=œ)nJmpxAjn 2!f=Ul b $/5.L ]_m`T-nOP]YΰCo0+ `A jAmMPk"_#\oӉ LLOiYQHmFv7tſ ͌zO%eO/ђyahߋpCnW|!AdP@'lzvه,[Sjjo5wso('%IgD|w4C}+,Yiےl CAEFr~vFc}:&MUG#Nu}@kwˆLWq酨EtJHfXJSB[ti͹Y&( yb4l>_-xyg:'UTi=` !W0x_YS֕pT%m/ދrt!Һůcêz$οf,rz+3K2,&2 HTgDq؁2߫~/-2^} $C$76iiw;:To+V_"_8tw_ФL~$U4cgȖݘբ瑆* TO5E_)a}pڷL12CF ]m%Pzm_Ҥ !Yge9/ȣ< {w+ 6tˆYEʀ7țf$sCGe3@%iH7޿q&"X$JRyʈ|/00/HjWO\],hsK|62{׷8j$*CV31?^'% )꟪W^X ˒o ?3i 05S O4: MG2=CF)*lAQ*P>[%U!n _@co=FvĄ> /(!"g*K|<QjH&j0<{!KaDx-!w+cdG:Vlyە'57F;DzN2>n 98rQIt5 8Bg ūA3XO)8Ӳt3w7MBMֳUe ^QT?0GtWRk(%tj<׷~dyAwyV)"x-fDAaN~|_.Vޢ zFGAx60_.(Iϭ;4gLW: a:ڠ&f'Q;MlkK[i8g|AMUJ ̗{1.ϢT2 ŘN=x?Y=Vm*"4/FI&=O@j.?EV&_fWj=@q h+RFSMe"%WUB&)Czim7z'in=+R! ПןfHߖT!m̼ !z3mh9XⰪZ|uxAjWAY*`}8?rAy؍iOǢlw[՞o 1&TAN&d2>`uA8fxOOaۄA$ͅ<JAS&>Zݔ|-o0Ul oQ|qEE{!kPK௖+IDQ%v̵?>cW.6VwIn{u/H29PQn0U>]m 艫琙Go.;^erJ߀^bG(a 6*;Sv঄ރ`#F4 SWl]=5tو K16zZ!o5PE##Jr[ȄFgH a8=g]J& $]Hj;jNfn)knh;21B>ھ}#'-h,}N>3BdD1N?twRlnUD+]?$87+*= !C+fbOŐw4U|}X`RhXwU)ʍV`^ɀ;VsyOZf3j> KC0*&ˋpmuȠ0VIèџvNbp2AƔRXi\(&=LOfOcEpL <2zGӕ8[JۥX[7P\v{ b=|L|rUWZ\U$DąQIAy!^eRTsM zEJNܚ TL) wpV*ʱRD-}Ca}k9X os'yRRaBtȃo1$p Ȭ1b?Cy川t:z"K]O0[C>jd`{x={ zR;13QN:m:iH#$>(]ա<<+yҋQx7(yyˬ^`[lӌDtU`NJZӸNl̴xoMՂ vZ7kKQ)2墛Wd;%?'5F ߘ,l}? 3TynOo$kK9Bң&o`cPoܬ2RΣې43d]gWI.R qT31KǀE%,;Jpuef顷X10k AgԶEpS]©p#!b45x-J 52WkV%H| _&yÏ)͚v Ta9]H)=DeeלstD)^J0.!4ɴCewcx0sşԶ{bk+ BqH& l FTa .*T:>ۻ(L5N`@8~;n crP4}G-Lj-7ErE g[)t#qvp.DB"irlgCZd BW z l(Q3{VU"YF UK` v}J1 dZ[m58Xō^ ,Js8F&b>u5Rk wq(.~ӤhomZ+kQ&1>.u q jO蔝4|- a(ފ!QQ#+Ȏ$ײNLiu@okEǾ6*=p)j(k%;T 350>[@vL+y2BP.9owP=ʧ-P_ =$7L`ZVsI+Q+Vw[#g5x|S7O} h~D׍KI65@}9_cw(oE!@Q{d4GUaălr4ԥji$sp긜~#Cu}=7;1e@p~Ժ 3R t =RL՝s[Z1b}3R%C'ɽ0KCIW躩ˆu Doq1<P=i M NR.@-soTVw9tŶfü1Ld4s!obj㑷U w)4>LQ/DyDu{/zSj8!`Wb|X&qbk g`#G} ʳ Hw8◅6/lJs}nI6e P {fLNtN5<*`lbA!6/ҟx@ҕ){Gj͓BԿ.ޞV]+q5 :>j`2,pV/AҴ4MrB3+=ӺgJS\|)x_퐪Wt#j.d~evF=w+TRq w| 2#jp!{b.2nH>2o2mGQV!xcT1C6CH_|vu(+ow7 Y~ed6}_ڞU#-G~<3˒f%#_gܰo\4[dNJiS^V.YJ㱔VP0s{Wғ@e:"< IPzadQ`!1FD`Y1T.(gh4zjû&#(hF!IGJ>mMAH܎A"AWZvUM`uҗ|-zjb\"ЪU˷XLn?Q(]/*^{` ei:R o,/dCRb# d),rpfz9R&w==az_{Ἂ۬19իjLkm;Ҹ߹oc{e)$¯ EsA S^Zuc Po~}n8;K{^@ݴE g o YEd][b*[o+Bڭ$v7&i[l:$EH1kpB狦]M}۲1TAUo5ؓwblfoSqĬ1ۨ{Fqeẅ{ Hu}(/+ Eˑ,HzTוTrI ;&L' *We\cDT7˜(Qp[o/?~%clgr|PlnSDFנf◯X0S i#Ʊ"`dk%Y嘥ڪ=ly]]W}^xWk:t\(O508 P^丁,=#d~vzMKSwP&ZnGs_&"9X.ru:']|ܳgă%y-^+aDY"p63UE\7o0De+ ^'t%GREWn:5yIDߓ" |*}CB=>6WIԡ8fT&^ɮNTۤo8ogmii2Y,ytLkw) 4?_= 1ge Q>?Z}ٰd/i՞(^GaZa,ϱ.I-=ѭ璊Iʾ0킪RJb!JpݩqkgH)MX3X84ZOo<w$?ֺPD\NEZ݄6W[jl(cZR "qIV 82Aez,q`\[%K cs5wZ2;; QdoՋAbpW4%Q_Z^N80~ ",? 6@.6F(/V1ҕY\jҘV$Zx/b',jE]h/zRt;[3h-#@M(mv:ק|K}nwیD#wkttPUtɍ#munn(a ڻH5Jry;t%:ҭ3,0:" Wa. D6ɡkwEEIQUP]u˱Yi`,Ԍ:ؔUgD02)V[(߁^-ϯ}}g'LS}Y8^ΒiLWɷbdu<@siDptXya54JvP9̋mζ/?VFeЩBNJiF~kwjσAΡVyz*ȿw%Į1< >UN4t+;d~ȴ"6/I0WD,|#coCdp@ 3f~Oh?Y{eZ4:$ p?(*B=q4r. F Yk-h@ZQV(zrJ_HO8E#©}hbY~:M Gn.)8WIP K0`K׾7[6OG'P`WT+fHw\>|OJ=A"-&] 27|qZ7sN0)C ΆM)C`˹سGk6?H_AC234TBV{˴7(ZiݑNIgUUl/e9E)|D{zK;|߅ҕ mw)?qO!Ɓ>G qjA2M X.qc(>VR[\!h[EEщ[AqT@ Ԡ}ԃ|<w~V0#IKk$<>(q@j@ɆYS`(ӈFAiW>2XbmVur|YD:keO=6ʆGʶzYH\XxJ}Ċz&oK6$P?n[Gb}~F fqXLC?\87B2<ޣ XoF+q*~D1x JOKU*g9wCYOXRRS |瘼VP%0qg<`tByَtR=7m豥MO3ָm@ub7M]$Ea.RsbXјvڞ*D4Yq}ZJ͍l~rj0.L뜮oJq,U£.y# @xػNT#o-7Ž&KԵ3_>HsSf6O=1b||nl M߰^ga\_T.m ^vt7A˜YO q D4 B䄿'9&zyt 0h^' S8ƛ„T]v^ܓ&!Jgz,/l*D!|um U$tXRuJJ[ߋn%őr)|brM,x'tWl }z9\BQ_1$z3G77 bl'Pu,'Nk7mcݾ~c,Cs X W,?r^|ςF%kBMo3S.@q U Oc=Q/¬<.B&kF,#sOX+v +(2? jݿdo/\ga u(9SPC+7$du80 ޡ>ٵOg5qAi"e$c xLpl?;)^SꙂFh- l?,nLym1L 26Zxsh@Haq6n̻}f %r.hX_6~Ԍq'!#{X-ɢёiew}W(Jy鵮Zh;ݛGhjM\iM~b+4up|ZzJM\-)ď1RmuLP{"UL#ںv:Ea>VD-5)ӍZLۡTk!]woPOh@Ո B)'¼OH*;%U7uHY6]'b :€qLUhVeE mWW |KI4W$*t=ˁQD7QJbjPf=y=-] >_ゝ̳$,XMm UR= °puVPʕ^ED:a9p<߄F1!0nK> [\}r"nf_QK?/gC\0SNx/}"77]|q!8Tp*#^*'m es|2ڋxxlj0/YD%$+,J/Vķi'@lk[Y0|2xQ]9f; =cA'l)Z&0$z.GA3U .l\w|{̮uA,& Ey_S;trsLF= n-MIx6 /!`cēA;4d^t&nwusЊM:+&d 8t~lYUX0J|EgbZ[+ |ǒ~ƇlY3W( ƁD|;풗4'\9†N+68)=S' mxhk3x yq1*SgR>kspha&xB%<*^{=M¢+,Cvw-*\=oX˩r"Yf 3"q%oܰXԛc[,%ԗ/*^TG^"S{`%Ѭ56uTd64ud|4%KÖd6:Bl TtTc)4 jUJD:h"N>Frk3C3Y7zaᾗֹGVC!#/$3Y5c Oa=ub97=!LdPl<HK*B۟e4'Nv7R+_1B̑,@9(?էû?"(gm/./HGg \hLTkҭR)e'2Ҍ˖!_t {R!n6Dε6ĭЍ hTh0>GJc($fS5oFEq٤9.6,R*GOѡD#u#v !2dSu3C'AUPf!p^aס~v* :dHD$F7"u֏{0j@>36 o^, 款9^l+,:$q u]]KbS_0CUe"^{uSu6еoc!], Vz;c@q&5#(B!XɖB' 9ZMۺMt6ݳ w.&72rg=C+00ei 8B!մnnpNlΙȢ~Fg,bfM9xJxaLJ<]+)D!r2Iٵ%4Qx / ?V-PB&"hdxHvjFv6Mψ_rmbv,-4lw =yEV xT40ɹol%iw0/WFԱ 7 F;)16:>La|K dmCpsypRq^{ѓ@!W0m*/3jK\#^*%G|xB$L>DK.Jjel+lGZ첇3*ӠR{Y1E)9n #3*T69nAX}bi3"}ڊEv:l0iC`o=)*I _9S}dx'{mVkaЧ)ϭ>&d[W m(F:_QT?3?<&񺏎h'<#aVpF}fo ][ r5Kg𢊩ɉMps1w8Y.B M#ҋN{{ITu y9FO{,Q~zr_C4TG(c(1:`).|T`h!ձ DOm81fg/cHL=A )/$.3)tx,rGV vJ}е_wi--Sm^gGX)^H(okg[ڒ1ͥPRtJ ?Z45}Ot' Rżit+v+s)]M P)֎J *^5 i e6[ 'ub J,!ɜG_c!cAApjL-ľWIt]oCwT\\ʅ+֑y0/0s@ThEկ,v,iգp(wUIJ* ~`Ǽ4)WfW5OiԹ2Ao=o֋Rr@/iy Wepy1%\H'*m n^-( NXp?dv(qlJTdi'r{CJ1@@Voyњ"C_(o B|EL!jEc6aRڞQ+ qt [1)㸯,mH>a(@ВP ?EG]oWՐGሇT`n.#lf_K]|fEǻT XeU"Kij38|[Q;l׼?ս[oo[FjK\I|dp4hXhM4 ~aqa&u?mNݡLRKQRjSV okE<2b.ٳ.,AY?6q|TxE9u܎.,mb_W-H\bE#Y&-bOMx%U 5se]#Ŵ囇Tq a}fC%(պ4IOCw١s wnjM^a|@~C#R+}dw^[w%w5P\xzA=G),5xFE9 <OmӶ4$s" =An;v#<2sgS`\NI1r] Nv5"'/ Z[%Bbq:˹cˀi:Z\n0gb[OEZunY#s \Xy(/  C8ўȼ-4IKi aOIzpM2p]d]‰N 0[i Bwσ/F6.֠Eji ҬdMɘ|bs? M;k&SMޔdgyĔlX\Bf2+a0e _e ծ51P퟿Ρ-l96l^P֟cXi7!:KBbgu <RiAج/ '#>[%X[ ?`sQ4TX ټv8 a!J IKk삱Z&C4CYkWS) +5H{eş.eӕO5FX `xt)Z*746 VfР.cRCm/ΆߨR%O5+Q{ $@ ߔdZ8|v;JfFtU"\M~r¿S |xv@9;؂Pd< [.g_IK&4u ni`Ԡ!mQUn~6#Q5vj5ˆ1r3_ыZMIqJ <8B7͗ @*Lz:ՄD}?Z* ; 7a>sW|qj3#?`pGPciz!ߋUT=$0(>ːLY {aj@yG7^4z2h`mJEcΎjEoj߫p|K㳢vi<7@ZNIpH9U"'"G~&'Koc-/UwTh\rz(MA#-4];@ ./6. jړϻH Akt&p~g?䔻XɽѺ{AݳZɦ '[rfO9|+S?KE½2}+rUl59"JN~6x4$J˪/en~5DolXmmv\M ܥ+& 57,X C'%H$<Hڬe!{\dka{CkъY{N[V0sSoa]QDvǿ[T,56#b$vCJ7Rp)\Ic Y}{qKaʈRm;(I<@4_+*2-.m8W.WV ݜY{K[mڑ14W)L+ DKLַq˘a4<߮*)U)gALu:M~& &O4;h9KJMƱ._RtxӃLh)G{U$옢 k z(BA`0`7kJ"/DZ_nO^-? 475_YUWB$u$q` nzxH>Ĵs[Cؔ$+=g#NR% w0- DN\x(m?ś=*&BEԉCa3]AKPKoAtnupkembtk[C1- cf4#^BA8Lo8`9Za9͍у'7NhT{vKa( 6^F[ēsp>K+WӍEӕaXfE)RKD\M' (Dkjy<,i] R{Upg6>xMC$fa4W'J ~ ٲLQTcS&z,DgԬnP[_Rybɴ(%z_pFhκ}d¥=l7: X:o Բ#i7zFd!ȨQI+q(Gd" Du@"#h.{ٓGdưq-)W+!@@SSL,x aH2,0F9 a7טiŝ%w9+ȑ|܆>Z^O_R ['\GN%\=ARc#״DH;dNP(⥱So޺"סMoŪ׼higX4g&V;m['nIHj8143R)qbSDSXі_[W&-#֯~'[*w9^(2I1ݔ%n*b?'qFg_rx⠮*;.Ya)w'z_d@3qxR 8\Zx'tAvʖc[ Ѭgww;[<3R6VX(1aI@hzYG2ie Ro.`nFJ De;۫`i,6,}3 Ǯ6V)^D8q5=b[EPK[^K) xuU[y6+Hv84f6"VzSD=m{kC}lSqdPcrTֻ?}# qfpuJ?EFid#%== [$&~>V{z/Nd˷Jx *fNԤyIs1PcL'TYb vI#4qڋqeFUp n6%.,Ho&Ǖ YŬ7>-E(Ԑ,şP'.紙+cd at.P2Pu|I>3/l/ߺRژ>#X"0^'り8^zCր:*3=u R!Pu--"h;OBն%Vl,El#eズkkOk0vO`|Dݸ˓W߉3vyp> <4ԉg?n@{q8Jw/Q@ZilBNGwۢq[q#wK/+[Ծ {xk ? U!!U+bІ6^ 4| R;FVo?}1~> 1[;2W1W% V4L؈6' >d't JՇ̖|@4{S=׏πlecl]CsVD;"ݮ^DkG$ :2s߇l :!{kbmxx(z*w읧2 G 4KV.䟞*$(ԭq?>ݡwvy$Ц.Պ PсQ*wMwr|re3Eu> n=W? `Us?P`Ô6ub]|~ Vyrg?uAw'Pl >o<|5)w$w[^+*A\ P}dN!=Pm^P'pGlj^N}Dz2J`eèԱMq2 ?|kL`f-*q*Dzf çqyG/&&hO Ֆ!?ήjhLD ތםFJnDS+J5."?e j4J69 Ru ? ,%" pacmT8?v3']v$惤4%Gw@XVdI\58l]^$m8rxD1gR;+a.Ga[["9koj5KKXWky*ԞY Ch?^Q|Fʼn>N(9>c/u[S Kݦ~PtD-o4gHCLiF !yʷ9_s6%W%akPD 4<⁾yO.,r3/-"tvZS Du,TcvK7J*g}D"el e5UdQClLB۟=r;NSY@uz/jO_6e-䯖$t?"ŭ9؞_]4CHJ0upD(aJ+Jѳ;jGb8֋ע0d?ʒp|&qi)YO{{o~gĥj|!!!AR,6pfz\M6rl6퀩/@=7F[br%tijm" O[B:2z ; ?ϓ\ W{) ],ᬌj-HRc1F`4ѐq…ẛ&ˆF=RUOa3];~QRNOC;lճqxfV\ʎ=,5Bs,pD5|UĠS[m:Neuь?틈Io.$,$PeYAI. %r 佣V%*<*RndSd-2BK$KqT0j;j%2b(I1h3gnZl#Tyn߰ii-=^-*uP7L9m&|Kn::#FLLA0_dŘ.(sJVLB'tr7ڎ:ld\${6Hq VN+nXc3 5 6J' ,;9?,E iN̬nUUnsck˲/C@PYbߚeܙaHf3}v*t%\o_*ׯK9A#k;@nCä^s=sDZ;+`1hX#ApNt!iLtѦg (wHZ!{3vAxƟ E.ߵ$TRJ5\(!G`zڷڕRJZ-,oõ  ͥ((z9ywKn]BT`sX j[t6ỴMy!4jĝkj!& BXj)?<>&K]N04))*SSPk@ $#)C8޴e˲b}8̍#7DQt ejFRk \Rҁq &;̓Di 6Ǘ"R}3MLxғ>HEЖ/lvKHzSc$6%fK8Z֧w$#}lHZDDT-kAP2$lAB޳*G9Īy< 5,\cُ߬ }=m$Nj FtaT>(ynh"%%64rZe+jnS bFcU7Hp \^|zH噖3U8@'MtwMNm 5)9O3JNn._?gMp c#' SCpIϊxA: p1a 4ڷ5\kw7A05nŃ#\Z)/-צNRƙwJeX7@I&f/Jz[6 ȑzS܅WQ_m;Ň>0+A|nu*r$~uϖ ( &p2Bm8ҠZ e8H yp*)߷Z\b5ʒʉBD9 HyCn<4n(Ylj7fY"LF5 lFECLJ 0Y {./}℔ѝ 7_K 8gs&;0q: 7T)dgdj&!cücje͞R}囲 mS-s̕d}G+qV7 :k XGf+FB>ZQPiq;;4H9܌r tXd>% .mq`v4z0,KVF 7C*g l) l;'pFW(c~~vx=Nf] sI"ɝN#%[?$xWP%%1$#Z G4u 4LC'Db|Z mx<6rg'[EGb!2N< T3K_)1aᖮ9wJ{U/aЛI_cjvQa蠧șUʇW 58h@L|}PW$zk~bm,>Nҵ̧HR{qe/9Yɭ~{&~2bK &:i vW%TϫrEwhzx.Ujvl.*ȩf2f]Wn;DhiSZv%#QatZJ픀@ r,pS(B.\ːv3Htʍ$z){6dۼp")T|ǟ̛B^ Biķr/oQ2/U<@q[DL:-lLQ}كdzgYZ71127286af6612b78b868b45651978ab674ecbb173b97324401a390af5292cba94f0564c556fe305 6001243685746f1a1a24fa4ab39f70a8f5ce39cb