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  T!4\ ]]]HOL-Proofs:threads=6elapsed=657.052cpu=1830.864gc=283.048factor=2.797zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^LfcT<"W܊KRn.%w|]Yrį>`T6_Ix TӐzρ_A)cSm0R5+9Y67MJC-<;OBSs\CZI;͗} I$CQ%);rt #7ŦB IS۠Tos02J58"b[VIw{l՛RJ_ԍ*OoSJ}Wv0r_DMWk+D;׈{VDw7f>}ӯgi<^쵅Xr&8ʯu} .OfÊ߈Q (c3/U.FVR1bW2X&qW@2ЛAv<[B5+ORp#%­|L{GDȴmׁ[?>7lK/BӮBE\n-,PRg˝ZۻLC. W}02Ğt10b3pÚ7fFV3&;]ȳ^̯K 햣RӚc(1.YǓ&3hY[k 7l2q%]UO ;t $!~?%`c& 3ϹQ8w!I|:) 0>#|Wz&QP͕&a&3tnƒX&]ϕIxvҡi#9([NH,ɍJh%)%!` FB^HYCW  ! HOL-Proofs  Ptwr%Phħ]$ Ƨ cS lNE&HʛN}º;L|qSMD}h2_E#ӈsӂq|+imXyw>՞ai'~A+Dtw#Pm#fjD)7w.W:WFjEZŧU)1~I`dS`Yjqd-CeB4긜Euj=^zeLww_89ojJ~g0*%Z"mx݊DP\#b@=< 9@2b3ax<8O; 91ÿI@e:zYdENR9 쀛1!49@S-'˔GMXFwg8noO.en`:l:9uC(>LyI Ӑ(rbg6CD&l8o]iohDmT9HQ 7>VꖴM^| 0pk؞e$W jnL/vBΌ.fzEчit=nh#qE0D}+y/ato(KKyU;ڏLK~#WQcՉ? Y񕶰m~/i-m2j{CV_?gR5e`HvDXxχqM[ b݄@BGޤ{Uv<~FJJI恫py/ZAr[EsHbBLr@aGǶ; IX*X6b49@!l* r9@y(e ΉIln] =4sy(fztaLzS꫗X5Y mF0rc,C&D4t= J |=u.U\g"$a=%nSAqn'~f.㸏j٤bPe??(vv2 qp\dD7?`0% f_= nݨG]qԅB3w9%Si ބ5Lęb#'{Z֑@-bZ˄q)RODp>Rl3)N!:fzM^H0(u|b>EK$=3wTLn`]4/T Bt*9:Gj8{faj#QsX]I%9CliHQPA^Mea]QD>PEYdDĭ64s&da0EӱSV܄ئ9%,<(СP7~df2kFy\L)" eW!5zu.tz5\׬!̝'`lFה#!|3ۀ=#u̸U E_DfSLA0:1:ͳ19]g5Oz^uxqᅁE_6_' zF$ Vl L=r[5+t%HcV$7֗PD0si('P#Ē(-U)y^Z2B. 婺;ٺOa_ G:$ieFzV Dj!+L6) kDk>-Vqap6ӍSCP3% V+ĖdM W=> O5%ݢk׶/M5;js_"Of#o \^5,A[)jc`Qv  'UGE^zuu(I@ݬ6:!;G*[䇗WUZ' .W kc&;tG7D{{DA93"dq8)R.}ΗxNQ 8nQ$3`b8gUv""gL?wBK 'QO;jQ?+7s-H~awlCk /G.+>D0x˓ɟqb3e^J*[a?!RQ05m$>Lok B̥hXwc>9̏5ecPw>]IX8ޑ,(шsCC% z|$_t"$.vʹ O"-HiY7c]J XŌ)N)if7FejU!}vbܕH y ~V6&YZ%ӚbH\u "f] 堻!E X,άӼv/ѳ~ PzgZʹg)֩=iԒOڲ*w'l F$ͳSt eLoJD=H \siƕu@A͇,i8A%nv7F).kCL۴˕tPLDX[%*cŸEKT8s[_+y"2M]5)ō@XfuTkS)kk̿(v[چ]?] GDn<'ۊZ"Yy/O9`?"b!b.mC!%?4n&|<4Nk^I,q$vuœ'&nJh8a6S[x10SM/)Jnb;jvJzpy:vkE=XJֆFE"v&,X"m3C ! .༖V(bj3h9Ӈ**In۰Wa2 .P6[<ɧ'3DSb/mwwYt9S~K]y 0p~R*(..P bXE`x U6+?@OIEUBHafUJM^'5>H:NPޕ2aF%ηcEAG̥tC%Վ[6 (rٻIP+EwUm]oyBxTEMbf4`Z6 \gdAhA:\7hgYZ7zXZִF! p]ŗXiɟ29aoʼz[%U>EM!!Bg2j@Mo1<$ {n'JlD-a4-EP5<;9F:V-hduo.u/sN~]SjX^QYz\ufC{%|lwM89\'V7蝏yBP:GxA@Y !z~[bB ?O[vRAGWΊت>6wy_n=]WF`׭b`.Pav|?wX#Z U^58`D xb6=GIQՒ<1$ 0X T5#iUZ˝Zj?!-ґY=9Trǚ1(tUw_ 'id}ܼv,ۏr#굦7AL@zՋ5|L]yd>e8/zҥhLu6HM2qjzrg .z29ͣAϬ",ֺIS5p_N4=$# .[[uŸZˋR۸FuЧj3r]px*#dƗ:Dnk4 #g|tKJ Lj$UJ,&>6`pAt(3eMAUe$Z]`7d3L(ig])IY=UF%%9˨*6YSƯ_R!%EP7jm)Gob@Xp* RhKײi)s(>JMz |}9}{fy0A?魑cP%qC҄AD!f@&n@^4(ps^g^M-ʭ΄a;XW?flG{IWwtRUYta2N|qgYZ7zXZִF! V]ŗXi%>I--}Tx:jAB0ÍTWP]ߴI+uA,iP8ɂqG-Qu` 7b: *IhPzF,ItQu}h0j.}UdŒ-#@':-êMDSXQSl ڋUx/~ЉȧT|#<.+MQֻV=ae HhR٥Q7LC?i 5PP)63UzB@VL5mFOoAe]*ه\0ۛїJ2{^aĶpuC&p )܆lTT5u9fae8FĮҥg:;[ P`\DOدE\XcC8h7 b9sf3R921+R1{Qw&n&p O,3]9Qm9}3Gx2-/Z@\Rk) yGvݡ挢 ڴ<1 v<a4Ov%XzXjOIsےW盯b6]oL{v*7rW!Ha:e |GzH h[t݌j.WL\?u"-_mf͑Rf^oѳNBo]d٘ºҠF:J0I{imF옉<4DZyAѧMUݽY"aſQ9…Rma'] art\]p2@ 6`#@38 :$50*NS vG>>?Yt͔,*8?ިO]#GU.8#`_`Urvt5?Pe #29c3ITe+& 8s<tt.tu?ãKө%qUDwqQ<+p\<,bZ\; WvC=' ±4 C-,W7͐Hc{_9+PZZΤ'q L.!=jXĤyXh"hN'oucc'Ϗ?jO[ԇm08= T#m U6ՃIJŨ 2n7? q"/n[88%p!Pz\usI_uYwi]xF草6.āvYMLz=Mm;X>OfmwaR52l(#k&e嘑dQ}XQȄB[W=Brv'<~ꁾ\A 8˕!psW:Q"f([糃>h_1AT+ᕸyxt2#:nGGeZrƗ RO;!Yě Lx^i:KF3p6ԻÑnDxygG1`G`]~w*Մ^Yt +ptf(9,_|i7.Pa0~e&;_D\\l ~:7_ΌV^B'3gUe|1sKM)AйE^'^+ w 'vbk.G+ SA 2J"s^J\Ja?)n` toZ\$ЮH6I.:Rfb/8Ys»gLOZ=SCśPeN&<&kFD0 +}I P"!>{C~Z = m}S.{-J(#.gsJ:f[Q& .oj?W@*`g'"65 +C5#u# -hG/a% G, TJdT)+,@`zĭ/R^ف%Lj bbَB>.6 I~1V1Bs؁d~8bfZ'vczB2+v|%J8#HA飠sm H8 .VA#_̀{ SIi7:a]l_(*,=(0;ܢB4JSOz{'ͦ˟k*@84>lXr^|=ha7Dh5#?3'ћ( J&=sNhj97J|U~t^ rK.=J =Z t;_tK)jݫSeC]">Hew/Dw};q6=PBfZ scǪx׎«PwAQHĐ(UT!e7dE<{Tv $Z)&^i  QNPSE (HX^ɏpp=.I>r`wN4?  >I@uC} @_KDDqޒkWmvA]_dvix#ie_ 5ʔa&2U(z,AAEWZ2FS8+`O# <A4"2IB_=H +sIXbjEAa:!'ƍ JV&FgoȞ$dg&fZqUYJM~x'ar1"vV `db+@J{&\JanRX0?,@ЈP(eUl^-Au!TmF6 !¿i0ƾWS,ˇ6eH-K!0mTZ@IG CGguq2BɁieE^~sG}!likcBE9PmA"/+(A4T+ !H. Exw2,w;Mh4'I{AyVJ 9GKtA0 5v>gL8S!'6ѾgPK].`Ix\:Z @?l:"ӋnKՑP*dK{ " {ǫf%je^6!z"„b)dMC!1!?K1v%-Wew+L\0%,Q ,\CG1pnjQ(͌FZ2k޵2ܚ_æ7UjeD4muGAB>?T% z8A_fU -q$MV^_,2kf'Jꆎo)z͝Sv&!uz29[LZӫRp^ }7N_Q3w[bM!K0tk;E%J^xL쀾JE榗c5&be"Q-.N̏rQ"n@a\&^"ɸR$%=wq&,e [V QF#_G&ŭL t{8eP:äFk$VlBHIB~ ~IZĭv2AǵنԚcmV]AxpgH@`FI*`]!޵e @錽7pԐxpmYO;?d+qֱ/+~(#" l  t^ };dž W{MQqFTIeDC,({'.`u9 8 2c ~Xbo tquz[;5!O}< !m}50/2"b>>PNQx"G&q;@ѫ Qוt`Ⱥjyv?Σ ̺($(=qzf2c{5>+@{bG vIS|ɖۙhb6-vqL{ ֻ=A9@ג jRV:zb[3aĆ-MnlZgeKs /5 N]C v'axϏxѪc\@AcXW$c[uT`)9eYr TRx8/;(R0!@ UKkxJ$Ky6,A73mX9>z5oy# 8ybNVi&q-W8i2GlfӐ)֟g N,b6 CjݚNq5xZ_A烰FrY AdkpbѤJ@IrUucAWWMyFky}Lj37إ"p\ר{:_+ix{)SM}O3 , f9Z!~!ΐn1^:{|'io!}mOU5Γ; U^-p|Ee '*NtöB[ۉc ^38SDO-tuCØ;ObQjWctt@q-IFh e#Dv6EyTCXUw'nQlUn#YǫvLj+*W#fuQ2} f|T@̙jh]A.sUֹ8?}қ9|("A$' 5E23Bw@3ew|FT&W,˜Ǐ]k#|6+X${r%.kuR($HhW߅7y$*:#W8c Tl!Uƈr`v<}<>'x5,ds-mPNb#oBሞG ouwzyKO-֦",#y{buAO~K> 1l"^(ԛ4yICk#(}Kc]moy/Q}Ru;e"Y컀Aa'|͚M6܌l?ш89Ik8y`+|5" H 4„h Dd ˜.M70~*lLjׇerY1N6 }&WR[uE3/>L_SnBu= HeiNx 8ו>!0!!@``߈9@Mt% 䊃S `gJX]YCUy؋T%%4IrKui)O!^Za.T?C=]013@ѯ嵼,KdGtq{w/;?tѪ¢}}[Hi H\ `]KjpRӝG{vJ808 ҵ>4JtlfXjN&2ijl)$U䤽:D@=NN A\$"نZWDn!6J@`Q&PQY2)dhht+$4 ѯߩ,|IK`C;óBcUb$hr-?QzBvQQrbaŝIjub7*.H'G?24{6iWb_FYu 6As&p2 ؾSYV-=!O\m&c,JpBw/,K ZoAی\1?ZtK 9 MuӅ6+ Օ2ˠo(M94*}7G:- noުoTO:_ذ[s.ԤFw<6K ^C$Wy_3^dK|X i{l-m0*9!@A9fU&o$ü'Pϔ?Ԟ8܌굼c|;HvbW)(m |,w 6^5[&;QO:]}*BMacޅٙ\6a+ d}:gK3/?uES:H-"7;c[ɸNQ_SAY<< qFκUuCVEvFS<9”f' *0g:Wzl(?F-xf=mJXQX-= V{і޲g\mtĮ1U*q"0\TEB:!W)z!$I+JԿ&dT>wA!>⁷L]۔E }HZ$}o \fɭ3f9?Fe8\7-RRㇾ.X@0QM:bB^gKU2Yf( QũzN2 2I_Έ4;fiM~;٧ ;L vGO}2EcWw:TA=hIr5[}$:g¼Ceop .٬(Y+vUOX ~N_j|E6(+%Z>RfALO^'9=Y+q|BDzw"/t{걕e:a9HfcmqJ,j6> Y@|/Hf: 3hUq&S\+I 6+AEka%+mz14qz ] &-YFҩ:t9lECΙ\LJ O,fnI7 A^;d<3?wV+p`[H$x 8(p5KesD"ãS8NNy5\+k=͕ ̊O@V;*7$`[wPiW'kP:H1O! /4w%BpV ,u%s$/j1ΙYcdجyu҅|n fGZ$jvڢn+ yЭ:/><ͯDjTCGirO|D<:VsX DY=T`SvUB.M'&M;q`W?o^g6ΑB2۩їM zk3«˳x銜Ǹ]?#gS&0Emwļ>Gր1`kMzʠ~m̕J,&ę6=:4xl6/٠B9 tYCQw( )#t9c0'g&ܧ:)QZ f&_GؤD/Huc7MKTMz|$g&-Wwϥ1ݏ_Q(EQ&D-4<VD!Y]4@1_f+E羧@%5߼]cn2z fCG.b}X.fVhL,D| 'Ap:n$5{8pXcG |Usr){=8 i? sÛ+fmҋ{lɨv| ]^҃Cr^‰X40v'sVֽL$5 [Y;onUFrZĢ e";u޿i7'nRWm#W[Ph_+X0n*+ӠxqJ&KgN8b\i{4C@h@н+V!5V'E"%F Z[ Ta&R3J~i> *5a .>wF-QZ#4}6)\9QBHoCd!vX0=@gmANM,NeKAT{ĞgĜt?۹>P'FMTXwvU 1&L[yn땲tUY9_6ķs q7Im ]z>7zok.2]Oa" .h!@<>5/JT1b{maqrM"ЎnV`*v%J[ko ́ `w6)Z9zӻAc̨#.ۆE C|v+jgF)Sd0M|>3 s-0K;=Lo33ީ٪F Z.juΐ%I!{I^RK6Ws H@rBˍæYB>þqO,ԉaAOZ޽G:\n#=NIwhKnvoϘL*YwY\V(TTec Qğ'?"gלYY6Kπ1NW@=:? ; 9# j1L36OPGwlXw賔CORex'@֛LTP폜j1;r Zׄ`coJ54..ȖF"u#]a7>9k /i>Z7A~PTjiLxn9(꾍m C)?D,\,.2DrOG\ ~]NivStlYt_낈<`~)Ol|ോZy+>2`Tjo1j;ӏL'XnUNwo3:+TupR/?NWeiғiM5e=  !%-)b ܝ'u,t~ՓtMb-I9QZKx &r>jwr,Kgx?"蔡P,J|)%w:䨻 gaAU(j6dMwCaX! H4E݆6!y#n,13 1O)nP|HTJY!* ק?N{VǒA蹰GCǟC 4{r' EfDjflGͤj]R Hl_s֌' 38#y/(AbW؇cFlh^jɘGsؑ*%dnr wN [2XVD-i-a6% ~N+q% :;+7ȣpц%R[~]s K> ^WoTCҗ/-rx5eG#ZZy*!Ƈm셧R:]m-w|Na\20#`/j#_C<3L$4`^GƬ<)"QɚR~&T/~P57<ĵp| =2}XTBBC㮮r/>QlCt%w<4MԦ|~{q[%Ϻ0:VEREÌ<-wعxV[ *c˓؀8<3Aj9?&|a5RFSUv\y8r1XݤG⦒-ڍkC)v)UC%)\'h[W8bck3͙o %xg+G03:3Q~״"q8\-]R !F00NZ+3gϞDRqI]IKLHE@;NėA@>G >;:ݻ-ćц 'O;/v,FE3k@ܶ33ZYg<&7Hm Td}|o}BZJ;ɳ4F^B/ 1c@6bݩq](L& X2anCRs=%1lrOk Ns.*9I['^H qb(twemZ1?$x]]{I}w9/:T^mNsR . R*UinZ<ь-ZI7Ey'Ëkh ~V G :\ObwvQ8,!e1&D(-͜ X Fhښy`HWliVyA|XϚS0F锨d߈ W Hnqtl4G1~ 1CR^p6ƈdoyiդ z)QhMyBj:F꼪NMIK}W3(~J\9dx(_txw;3,]z{[G*H?R~^Fa%wg"AIJ~Yxb6hͤ!lkp `7Hx:˶I"|>l2lqH}yDUϨ͝ ~,lE~bWX?_1ťSL)5FZ0@݂>v !I=R,гa|!"]j|19ȿ*V4<ÇowEGȌ"ЗoSPv;hi#orsl,kCFrm-N%5 HB.C*ߕT٫5F39d`mEg k]XK7:LgZ{ UTBj:~>?3B_37k6>繿nl$8Z=GOͿyu'y us!~ u>y~,pb(&haOM=ZX4Jbw=48KБg@f5FuS uw!>-{T2[7mdz{Qɐ59d) M|#PHIH%DnP9},t Iղ7IDM I\ĵN"!>w8_P9A t{~RPjKH#'c\ ʦNhq3T§}4ژĮytm[&l'JTA_Q(\B#ij5tzoLQxPJ,x0|RGGo/:ט(9# zTߔᝁ븞H-&&~ f]w\+@ HLPɂ4`EZyCj%iug+ ]Үh DdI~|{g6?R~fh6f&ndI)G v䟓ku8rh ׶ch}_;:'\v]ϢWV\pb|qY@@k[ o3)~9:N9C~f %bdޜNj9QBMGIxnas?(f.4e`gQNSށk`Wm-m SXF84Uir,gB9=TYu⩘1qŌom>H|W#1DIׂG3K}Gߖ&TEPcXG`AB84qֽ߈oЬvxwkj>1hB}bTw+;. NۑD~u,mqlYDuj|9cW˳4wj*6 (;;++}u"7GӤ‚iHǜsDwIƟujyS\)qJfV:>8􍯏G  ќӌc0&P2<)q:j  P}A2#b]={כ> 2瘎.zn!iWC#t{O˜q[@ O5:Yw;sv<} f2ƖjDd%s _Eog_#!ǝLA8=_Y3>gZBNƇnj왝U :O (QjK >zFgCM ]җyqP:nbKY!beP6mzKTdp> s|G#[>tYsvnw: ]<-JٳxtVT  %U@/J4+.;rd~5Rˏ_fp d]I,MYE] T疦QpU @܄*3Vr:L&D%񚱅6iMb-Vy HӚJ|ʴJm{_^Z'}5JLBv$: GLF>9KEчJە{Ȏ'js|!E7Lz$rO 8'31Ɋg_ WnцT3>r@.J t`͂Er= 7#`۲ٶ]AgT N߳CBv{(gvL|l8yc:c\[U d0p~VwVmg`܈^%4:ݻm6NK5ɮiVsTI.9ߙSӥ0ALQsgF5͹rIsZ~a21jnEhqW%dJ{pSKgeOY,u]>(XdѲk8wʣpʲFt"_)}>MLeT3eSEf䡱1: w~/K0`2Ûjh(^*۳kW,ZqO=XBqW8R tW&Pؾ+P>dUetY@0D3Li1ojTC#Sj`W9C8d@5ɧgRn9zD̲`ӟ$ä*>.sćS ^ܩ{~mnU&j‡=۫7|_14>dew7h<{!t_I@+2 ivd-| WQ2]!·_*OOFIZd$u\:qT!3Y4)>S;s89h{UOg@ 7f6ijNYuQO$jb>`@v'v^ ( BgYΨ:*ˤ^oEZi1fOIg8okۗT+p]$:sۅ~1YG [/)8=}-7Ov q-P.{R; ζ""%ۭfY2 --~(Y>CMIX,̓d^^ QJ* }E;ݼ Ue8RTɪ𥐂3T4JGOXUU΀[{_38m }r/ 9-MC]/"_n62)FYĤ).&:s΢0鳈p6 Y=Aqx$~h s4ה>]Oh, POB )b\Glׂ[ 8h|LB]Na9k`biG\/F) M;RqV5\۩]١# [kR|Q?g6+XbU-¹JIu&Io b!vlעSڢI+3H>ʾ6thW^7 {>,^yU|O"nyAm[t8<>7J-zE>" oC}F:ʀ`X`lA5ojVwx"o’EZ-ZaA0Vp1w .H\b;[k^z2ߢ(FԢu|5%z+%Rc{ЏWu _@rCz('{QkxJR %a>NX6&}釉-#<3QG*o~hMA'2}. qo/0و^K/WIg/ \Ƞl\*sZ1D$.HGSEOrm"GP;QbG'хIunǬwSd&('ܖ=aw#rYجsUMN pL+_#(sMcaj>dŷL-18l Ϋ4J[3h'ob#`IpH /R}A$g[nHe' i=p$2?آ d:3HqIzwN}C?ȺgJ j^{ :'4+Qw{["`u մv@W%LP<]8g|ob=%Y^fߤ(J[51[p$)5Yzl TS\Z t/DXm}'`Cõ.L'?'PyKJOD{{dtxɖ/Qa!8*94՛ZR^,ʉd&T/|δ/.MZiOu݀t!ЯX,^SSQиU%` O}:mX]2'<",U7((G1.$MA]X*cȵZpu}}nB; "z2;q#jUO!ixI!HcJLꏬcvZ%~mw2_:k-^r {I7h>x@{r3$\ VwSc?՚$3ۇprֿ}_O[W!Q:_^O4NZj4[4#ɲ{IufX-nӷVHoQ6NV֗4Q홊.L-ÄZiaSڟ,9L)zAc2uɽf.y O]QS;֒npP" бEw]|Qj1& 3 q^"?~='4{ՑD?V&Q.Ņ2 z;&ly+Ļ$<+y ҅NNJeg#<٤ (Id牑q?E'VDbLo{3l;.TYhpB`,_D)Qƅ;~S$]+ 00| . !ú}0l"ZGg\KY ouX34.65eZ1&X5"뛒e}0'$w\[bBD 9.z8 7؅BIB@WaMyr8$b͊hG?( iz:-8|6'Ү̓p̭ x;kЁ4) EN7)Lqm c/#$R}O 9B4g^%eWOIƄYO0_Hc#NHW<;+I߹3*oCξTZL"&:Kŀݵ>9' s'/ynP4&hju49B<:Y xf9!Iɿ8!E>:~ا_i+5//v!j-ӑIU{ Tk0+dS<P:0%֐ԖX;K,DqˮͶNq4# z$~*1`Ak6`phye|J UD. +&h>JP}|FoуdNvM f )'D*TE)GH ׬j?hA.p](6^ue\E. 6:SqmQ <}]ݙ~w ПUB0*+-l+0P*[-lwprD]8SN$3[qg?Ҡ%`KC!͓$鯪n8tB٢W&'j>3 uЂl_3!i(}`Uf @E=&ŕ~ySL}K-ӿ?x1`tVͭuU!Q60<@!"g{.et9r^e|# ̌ J9>+9U9)$j#S0wCv9v.a<ϻHC?t/s%a] H+x6,UcF2*I(Sm;8;[8uKS9pEG'TBz) I."bf/EQ7=> g/{gEgKܬ器uɔ1EDM=XqK犘qXFq3_|I4S<חWGlJv_<1=<ׂ=? $\XHD[](0JZj <ij;w!,r:qf}3a*H낺]kG;ϚnI\5{8htJ&+9QB45ڦ3 d@lnodctDE:,R̂g %Icpt^.N U݈3馹5 Ҕv^?'!b5ԋk^|XOn{30%gtR6S 3L|6(%'^Onڙ/?IdoW{d]zh3f'7r.esx ?l_[i @AP]ga-ƛ={}YD D57t,NO]s,+{GdH 'SFOӥxӸHCjpѤOҁdw{,*ɵ͏};sږf JIq!Kf Lo=Nj?z>م&~;= 4˅٦NLgQf%c8p|AAmR(boD=3,O,7ƁdTPt3mI:xS ҒgIyuLs.ہR_ehJd-y++|ZU*jm$ KK etzz7&UWքbCތjפk SfIE$\tZ8L%!:Y$Ew+7P;0YF 6*] atGQ^5Ԙh"' r=]:s<г{nH2a U@B(c'.(Tځ!6;~*1M[D+0^yf֨;gݝvAxl,ٍxw;Ymc7f78Mt>V1gv#6,Q ؗ 7YSٕs?ʔ?c9pJEJe/jIL=2;! iۼ>fj`cPVSlI@?m%lz%"$Y7򐩤2Tڧ~yjj:F%f)6< ;bE/u=$։Ù̽4:&*`kp%/V(iVCȥ_'MCmUϨJUwra@'~*-nJ%rC͊%f܅!߼9~eGX(NCt%vWօmPg"Q4GsNG֡O98mjln*ma&75Cv}cyôf^F4e*u9UO$_Є X-s{%Ց2Va]WX"L=xFJ|q! D/ϓc"N*[ӶweӸ8H O>SB-RWvͨ`[ ╾fk^ҥ' Hձ#1HG=pK%NUAYsh1-T$L,sk@UЯ_-hAd[MY-'vk1rѰ80Ȧ^6380#.ƻGSPʲտsGC˫9Cble۩BzK)ilKKh @TNoך#w6d5na4OFJ9cxZQ\&e*@/V7|cSӍrNV%2u4T+{F߾3Z&pȫ?RE.t5+3Wpޅt8`79* -2u+hE'!I{NF7A}!W&S^> ALm\dqxP٩#{3*"~*zFh @|cK0>&|Q:)~J^_Ks s2G`t!?ui=kK~ 7xAYBԣ ;EYvzR{89pH 'P݋5ooMH ᴗ8KKVS3a0i, jJ%UB :#E:̀ӁxHȐPfBi|O4낮σ$?q/Rխ )'Îg&dou ;*ݍnǢ "]`: G:8hH| wgNdc Ō`osDMln\/jlR[ۏLܡ<$; A5>`Ф@<Hvg@W 2\3:J?:Fh CȓN6īeu*pj K4R3g3u3)5+ I+8q"1"Ljc@_ I VCW\0yپ^9UBM<֬ SByokh3 l`KAk1YUdR#Y]/SN/q`Udؽ@B3{VH( :=hKZb&̏~֋=px<ùfy/Mἥ&*g0YYՍLRګ?Pt M=jnoZ4Ƞ_{5k#z T5::DaG~Iȑ3Ū_vb3Ml)2g8& R2QpVS~?*X'.4}@KSҹ KѼf-_?^*N"yGXk2>VyZtsRh4O0.0KA.AWlƊwsW_6Aǜ?w IQAű)b!C>mVMʩ>s9E~`} ێt2y6CfceebVpFYA2~Ag;̈́e楣[&iu@@wʎvP>#qѼX}NjZggHY\|5g̓dIɻ̛|CA\_JǩVAmv{O%oP՞wbp>B~SD FTE6 4@ 2va(~uγE?Oh ,*!W} Ҋn.Xܽzc|uIuxh&%ɔwĬ3L/ca7>5(fLVײA Ivqe1%25Ig=0*sDD%"Rf#"ٙQZmK4kB쑹>@Pq0vgJir_i+8R'ZaQAtoeϘ)&z_ 2@۱k(;4W(grғ2 +=q>\AaZvy,EAQG¢k2^V4 q4ZGOLEyH%5ѼsSE:+@ƒOhҏf17kz |ƺ?j*,LHƒ&~5*XKزܸm]VLTAs.-jxgZ|[l..R6S Kv+R.H ;=cpe#ڢ_1=WEu1 E0I 7DBQ %$xʷ4-xzZnW-2D6# X3'mbXn2[=+ka\U~O Gv(|ZU1pl)9Q9b¬,QS3Ƅ E*Z%ZD\f=Y]D["iDR:V2L.s*lԴ},ΐp tVH9ϲB(]~a1iȀ+~0Ǩe.ڧFH{i}3J6 7(a`MNX;,=9~j6\J5I?*?ʟR/|2!,O,"#X0ɭLIVTOg@M&(Q01U5MT7Z82oz*g'_%(+KBU;(IBr} [Uo%J9A*.om2> i ݂?˿Lh7-CuEFQ;ItDGȄ59Mv%4R}"-N693σbY&ߡdigfew.ږ MfobΣM_#5PuU4CSH7Y^FA*]AVOy/Œ?(^rEa!Q3Ϧ;EpIpeyn–)͋ 9p-RD_m>c(;n:nB,uij(_I+7>c1l9^Zv,ih@K7+?NY,|?]G*@௉'}0ܥ&S[5s_Չk虹E*[v"}AFK6|v},0|$%)TI+/ܲӅ{jM"p$?(+41}V5ffY3!ED8w ~Jۤ=`~d(hWxوq!Bw GT"&i?qX [=E Ei̠Aw<͔yx]uqxλerB֨R\/YQ[_$ks#ZCTÏu= d˟sҭ[RF%aͤdiV;P`#]•LԄ`TΓ+iP3|1s2\WN1}`7ʐD3~ߍϤTR.yV&z_N-n׼-(yg/ȡ&߰\%Fbgu9^ôjeߤm亵ղ^[TXYvP>)5ghh+oq$nߔm0Yi`?ӗB 2̣o ӺvI8CJX>`%B`W E%GQ`]B5f7+sN K?(eL~kiNbaT_&UwtzanU3_=vzLp975"~01oy=wrs#=a,[K#C:a}8c ; An ܿi1ncо\R3KW'f x(u]NŹ&|I奬dz1Z@LSG} |=5\H~G*/*gYZcd1fc2d1ab9da00f15a9fd210a6870aa59a5d3ea357b42ac3beabedec26b51d2656ba583cf1eab4bc62fce0cb65c47de8f789914fecdd63e3b201859