SQLite format 3@  .0:  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  <DdT ]]]HOL:threads=4elapsed=217.826cpu=661.180gc=55.380factor=3.047zXZִF! *. ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǥ4|uS+m{DWѽ1r[M l @ 8&9́ W)*X,UITĔH7HZº0u-aCuLipSiUsK-7=}ޛeyVX*<Ĝ#~/2JKy͹/IA*ϟT7tys]l>k<@Zݭdo"GBNS -.D+^ʐ3]]/1B50fȖTQRt xZu:T͌ +ߵlb$;{ck!ҐO\* 26ʆ!Ł;"áf<P0sق`)}pLgn_7ZILmiBR6i֌31K5Pl8ARʵ:iáѹ' J°T\WI@fPI-Qr\edfW+&ը2u{S m q0V(.sP)Cfd̟K1^Tԫ>?{$(J Իq\: "SS'= EA8='Hyf봚si}r3BȀt$!2QkG?`͓ C(/8_~(}k(d?[qg ZjK}Zg'B\tB>JxeJu!Kdc;5 n2> #_` o,%<"$8g+|+'X##EPc WɲGP2*L:(^uwea.zԕ #W2n֝%M$[<͖;!lr|\=u<UBDFQ!2܉kCf*Yi'vJ'xywt_k>DKP[Pk̍'bL!VLwMzޜ A RFJx>)OC5KV׾˜sͬZY^gI9{+\6 WoDy;EcL{ #vr딌i7iy|H});Aɹ?͑+b>^-ڥyѝ10*o0g49x̛Oz'Ԕ7clĶ `L)+A96~!̠`Bgߖ a6~?^*% ,dΊ{g<"ȏc" եlm%?k/viX1p4or[crP`wnH}|S?Cj?Se^Sa1Xx?S-y~ZZyF&yVq\[gY@֖@}+*n4{c0.`߯dP_H,RdFZ,]دV(?{i^`N>bZ˩%IJ0;;c=Pkv%m5ZoZ=g5Z]G:QTaj>ҺHPyCM&^Jˡb7b yN+ύ^%0w@*)LlMWcIs8n/dI+plB5Z{FXζklPgFȀ[v~R$ #W/meSMtwqBp08p2H 90èk/g6"JG @0k%t& V$gzta '"%*' Y*XzH|Uؿ4;s=G6/b zyu?~~9fy`^&phR~Q%ZTOOxvG}پ^ ֤fHh oM?'"tG\@a 6 Q~8Vf0Ҳ›h7ozik;#%U'iW-=u+KQ`80gk@Ɏ PgT{QmHs?>\ mT}yZ|oUwזPFM^]iǶ,z86S' b/^\Oy7e.hf՗9df/`k?Ny%1;v˚P)>-շa{YB% N$U`1u u)0ˑv=t ]pf7 ,C񛹵q֒ln*_Dc^:aTpJ%Xr:GQv}ru¼M8w"vkY˷$.đE3B傒Y4خH6A7ZRr.b]-S[`ziȦ̘i]}('ڀDSbzjgA8lcֿ`ѤQJ C`5݄X9@<02D7Q6U ]#'4v=pDV p׏%r!Ă.`b0YyXE D!ڐ(+ggFy aQRDKk!礮 k*.t/O xЫ2='7烗aZM8a͉Y.SruHdtxsۃ _ѓ_/8y.*wκPfE 2yޜsR9eX:g`1_yu(K/l'Wvn )/D ɧJ:>%u$/I)ɳ̸aP_o6Ll)iqO–U&e8bհh[5;ͳ[p WЫU `[s]Kgm6r,dXݐ} ZXYL̚rcp]!e q vZ[OO:Dg<AE (Q~cdwS5- QqPkC .T3 #|#XX> 7'i J+b  HOL  C{;N <KKfHn*vX* oiju\ϗ[`n2MRyϱ#`g5#B†.xVHOk~4=AӰ`9]R-q0x5yh,SOK(TRAxŁ$Zݚ?.1IG /;t. x]}¾ W8%`WZ}kGߧy^&n$}t6re t[A&jģ Yq8VJEkYU{*؍&4PʼnS&֪~ aSݏm'~V":{#O'sGjBg6gZ;SX-LŇ,qug<'{(l{m6-dST<š7n'/ QIxgIv~y ܔPŏK8KDe=4d `OrTCg-$.S~ܟ ea+Ek3P')lYO3=KVԕ4>C5bCgE2 ~{Ipc,($|2i{GپzdZf'vln+0BojH1pӞs? 2~/œCT<7}nHT0& Ky&/O3"j/뙒[`ܖo#^/=Wk Aw%Җ'䌶'sB~㿎<&JfAѮ9bBXZhqmRsDkC3iMÅ*4(I|+=Ͳa%VFWq3cW8Bkrpg܀_6 #DM:tA/ۀQ0Qe/V7p M8]JY-?Ov/BτQNvNK-7ncߍá"AtAM΂P*dԕ{R N`oUڪEڒ\CjDW?x\ &XR{3h$0!dJ?4N LH"Ty twefqJgZCUk6V|`0Z$Ob`g#F >a&'SFOh!n-o麨Ly.[H84kr8ba,QIV ܌VB&/|aWjaL!>gWS0 ZS"yG1vFnU{Qh15aܫ۹'Ek]_d/yp<1K+`@54ɓσ#6 žÅ$.Rj-g/~$+waOgz'UPUZ2 ʑ0L &Wn2>V-N?2bzyo5C3&ϰt `'QIK-^{O-j3i}){@,CǂZ!6P}75d `~G27pb1~B7!̟/X/̊^"3+jHTRtDl%R ~%*[K^N]$3ʡjG!L5~ئ {g!ak(יF&ertdEFS[HuP,{:{\Hg'B-ʡBQBzbQdLblEEmwRBkqeadE鯧|fdA{^R ;pތ{m7!O@#N{'J}NCbungT9 JyNi&P*& P|aaOYqƆG^2D%.^CEKپ+yaӎvBFȮ]x)})tt(-2nLX[zYY1}<{ՏMǏN At41U*~&};,1]G?Tua%h.`HHk}3PzGKkFQd hht=(.xɍ! A}9*~2\  |ut rfoܦtk"=սK!Zc"K<*Ka4V>yׇoTJ1ґ{tkqJC4nH'\fJ@H C\l5ȿ I-5ݠbJ~]UCGT翼;Fc&|Acdܱ0Ǧgb! @.;՜Ty#"*/qÙ2~i~ mSL~938hu\A4Ić:Z]%7kӴ_' lL3NZiȈHJ& GYEpSQO]E!Bf{/m ֜!BGuYrc!!9'GuE;G\IZRCyL~OI_Y'Zdcbp7Ax5 qЕnzС-@7(~`v,ac3RM\k2$R_G@ 4ߩ l=o$Ŏ'[0`e4x3'm^#͑sm\7HXR-kD9~ }ƽmxҘDc .[Oh2{GAOE$U ~{6V;AG>Ȋ.ZE津^)iB*i\u"`ojWgmǰQk^/@j=c<'pw =N \5Cەg{{6i {BE6fn_'z\v(@DB&]RDbV7ߌ7[Ӓ7@_E*gYZ7zXZִF! el]ŗXiɟ29aoʼz[%U>EM!!anJ$eh7ar1F^')wp_%|YGJx1p4IbU;XOjvZܬz (nBk.WaHB;+$Qopd-62b|JeD&v6X 5ЃP ٌ"oQѿ⏀&5;BoaD)ۛdxu ھ\Z [ C9]{t}SsX_nYu-x"kvSJ)RT s09%ċ}0aТkjO"ZSolxH5%XbQXh! z$/jpa X>SLu &%58yʙB6sMUboa$w>+Gtu:Vaɱ,$G5vS!zצ-vtPe4˪Ȅ+"x$yl?F2d1b}= 4z: M-q=q"1ā.6$g^Vi,yE</stfKR;)|>(9iDU˘cG \F֛p2k̟?x`Lv L#<]GDϲM<&'WdMYz-02$|/bM9lx$_sEFA  r fڅXkytBT)ƅD/|#a>[ݛ0wp.0S'jaNbJp^ Me &{*%Gn]ڰg3+ L4@I[#0T(\T)'"okHe3A/~/r1нhz]J 8#4Rs%x,a7i. v2&%1^yO/*$@ |'k;n/l_XgNogm i1>iR#SD򧅕)1cl Opg* 1Cɲ(x~7Zlda=!3^@cw`nE @mln+u]ƹaM*KV).ARzPi¨X1=ȤGT S)t~Vw«i%'٨P>뙤mt4<#(uQC0| ]JI<w%dz]I%=cq?j&Ɲ[,,=mJo ;WacvbfLY͑#5gؑW_IIV.LCآ_3ZTxlb.s/vz)[yVl!f㬈 ş3i.݉pQ6-Zn}VöS^M~ܫp} 0鉹 J0n@X DPQ&{]Jv{l땱gHtgYY2(俏,0K; r]k=-N=z>ï@,OFR4([tSЄx4rBjV \چ GI.#,Af C_ϵ.05H-9d6 %},5q bpuPݙtzٳ 'gN LPcڰ<'SB{eQZŎ&BoD#(ε%}F\B˗]v:WjlP1V龱h5/ dGhC?$30A *Ǩ'CI`o*\) ^\dM]y@/mTk/אԷ޿T [µKRqscvAw+o稌C,?;3ⷆ|D$B?n1%=1x;hJE Q_֥= Y7_WK%*$ y%u^:fJ_ vrQP CϏGZݳ]1]p*7FQb+Q7 "&Yj&H lwXMSq$x߶ђStxNq3=b0 A{Wr H,((֡~qƸ~']5 IcTRycܭ{$P ¹tL+m6o ڈy@_^Ͽ;iB৉;oq0;QBʍ'VQ EN>H]{@oklظ vF- i;Q,D'ÒH&݅=YxyD}.t Հ<$"-GkP9 lDk.D7GAU gڛHacLW7iۡ(ߴk0_buب|&j4҄20Aq^ k ŤaV=:Q.c?zxVTcx2L,[ ۭ͎۾.jJ~8hM-@ou7-&%rRYvW!{>34?}ȫ݂z lxI˒~oDj}(J RĄ4.Š3wf!BsÏ؏8g&C]mH_SzlV,j2WZb}aA&X7> g|Rj=y_-XrWQU,cCEuPo:?)<\cl3SeN& ~z;69묆}Oy;ګH5 -v^dy$I]2JZ.,9ܚ\t5֧O]'Q*DbLm*shƏᰔ׍g̃ {g+ ձyDt|c55׀ni?M _?a"ǤaxMH5q}h砊]SRʋ[75RyG|RW&>r;*ij99}V*myV 9W6V+qȾ&B!P uvlP5F$IFӞтPwS)$5jEIӗsoξCTK`@97V N#u ?jΪ7[yr(L VOgT]]b|!,X˅#yӱ9O‰6 Ocæ9?a/_oJ <J΃@%oґ0s,W,4eÐkm$CT1!T^ B*":;:*КbY Wa*v2G{ $#`ieWaj\E墊{>o塩o6M<*7ą| ۳q|;sAoE}.+@*opZ<rήlR8uM*cs}՜-`L7ݜ (7J7p79~GY e2qb QA /ts/5wKD&j;Gd#Fhde j}2$ܾ]zHGFBK4[Ocƿ"ydwb|>r+ Y JzH{s~ #V.CBsyZ豤9NV`5RgekQ.=CX!Ր L{װMQѹds~,: 8 oV.Fbɯp*F~] _1JѐXZqν ' {?Y6G ƭ:u+yhc}ի<9iA|֩@- ;HfnR^w 'U^numI0t4˕g=e_Pн-AU+ j6.ޱG}bJg/p{GD|@Y+=.wy ̀怤 +[mͱ:dX˸yIlYA tl֤ lEPa{$0눆 ,D+LÄDk[a`_Nb>RZ>%8FSa3E1Yīp94Bߪ5]547$"QU^ByC"A;L a~Cl;d.D>B_'J>/&zs ztK!qj4?]sϼā#vg$:Po^ƙwl7vQ|:O`PL P+L;nflsɢ4 bwXI &WBo,ܭF_O)G`"kF:-ePOPFX5Bv_q`.sߎո\+(|/{#XT0,#F(0IwnĠ-ChYlP _w.T+4.9Z%yj9){]`,6~F ŗ^0R`F#Nl`0gMorٔ딠 GR |K4yfM*ǩRJe3_Ճc'-i#$aSVi\lQk%%[5`ImԠ5™Zzz,0Z:}\dt)տ%rǀOg#KCP력_}4SL *,pDF>P1YH}Je X%ủ-TvZ;MYƃu sXI'򊨻B^ޏܫ|D Z+FdRZiHpvr``p ('3eǵd9]t4.?('@HooܣJxDM:E W_7d/5[Rmc @X/: j>A^BZҸTe5yءzԟ2OoI*7?RXN6J_*Y?9nY}obs+^D1qkJ a P5ԮRk*}I1Oqr%`׉jŞ٘If<}8+M d]b*lANO5xֱ ՈK5n].rPA@0S~QE->h8T~w! *KF^z .1 ⧙ͽF1fG '~C*uq'ãgw7Ь7|ŧfl!y+r̥u@v%}je˔J+8e xLa~|mh0^c7ֱ#amF_;6 ~y Td2R)  lg۴ /}~7޸7U3Q!a_}D| ;^0}p1脷OgȵE8o@c+Ρ9QzxEkhg .JwB% R`N[,|0=k^D7xU"b})֩ZPRs6I^$~ބ(}tA_=$^?fQ oF@^DDAqےZ! =T]ZNYfG,*mVhՇK&i:%X \|FhzNG%qu9G7Fߖ$ݬ{ }\P~ /_ތLxpXbHseTW4Wu4mh89ISc4uݔ}xԐM`"۵*1ܫ+ Sk=S($k*'օdҕ]ҵOP?N .ߎ'y&(wpϸV tT҄xpw9n}E 0˯]qkc6f N?hFg3OThK}zk>([7q2<&IX t4ā^3P\U P3e@OMqʉ(hqx7CgJW6As߿rTX>!%1iZXVyO{#ߥ8jen'd؛CPq Ċ~*PV˛#͂nO HJ1[DyW 4lul'\! T,`6f MXͧ%cAT^CUW op(7_Qדll.8OAp}r$W1A\IYX/+Ώ|TRAMX!09D-pM&C7辫:D^f @f1;(f-x4ZڂFg?^D(ذ02٭hq#{/:oK&+aFxwX䡼4EWgakDqh5aw-}FoqA1FZn*.Γm&տ؏.Ժ^B! Ei)Jdej71US=cGDEH_H8q@œVF2% j'{9͢c m|`@4oAF0GHUܤaH'6 Zmv> #}UxKkB3`uD @ ۙ8Y&[ 7mZfD$'n&UG1*C 9 [Gr {b%xKG;a#n,@''Z &L`rrTa%]MCw.Q2L806,X`vmEkwEmV,WA}g8L' '[ PϘ-h T=hϥG- cE?se<ǖZӌ YqURJ3@:v 'TpLa,ĸćHGՓ,&1 Yfßɑabh0"& n3yvkDY:,vOڅ*Tt W; !2jak^3F!"O-;EOS?I.q5)\L"ġz ܳc}[+P7Lh4 ~'^bgG0E1Ⱦ t!JW/5h]JcYbGeF ,7\zmuWqknIdz%AToL@@ƹ>Pay-ŗ[&^(8rvѬ=.cU,2=p5p"*oGrZA#FFvE"̣ a1)\27tٍq'~;4 vb̚sRUA +[w? )"Sj/[ޯW@XGOi֓|sW=BVx{ZЈ\&>ZLnP8ٍ#`GAp6#ϐS*qRБ&{8G]_^r\mU,PW{\HsxҔ7쿉}7yw0hnE< ~iCdt ֙5|Qa,xf5#: ytt HGa$X mI;&ٴT`a{ͦ!YAdko]_M\/V HRUľ `JXFNDLa Nr;/1w~} ;.QC8 %@i!53rh5"ÝP t : Ev+3CP릂`ϥ F5U=nvVP ֦Z/K}Rexv)ҩ6I[&lE܆ܽSd~V&`DQums~T9?{EIxu%oBѠ`>_Y\&lE`̃]&jmmwRBzk\~xFS#N"2kWOO_ [f)4?iP Tk<`]Ru LfqBg*: uOfA'|wҙPh@xQġK#wG;YMi@?}7A")" #q壬m7dmu؂=υaA *ȯl0) 0<*օJlR;(sF# qq\J>ҟ0cWP@v95#UscЍRq<sAvB! I]0U=-_TQ47\fO%iIl/]/"懓 -6y0!rMo{,iSᵖnx`/c{*dvǷC5<HљDs܎f&c`u( k%k2f̲VIOXFӮ^pnL[d$a"{܎(;L3KF>N -H?~{dO/vy_W;%2o|E&pkZb)BڗdOL0W 9PrjG>dp%W-j{{2`k]#5s&j\ H[*mI T4cglbY1'ְl4B"c/B)7rH'E`L"s*fPp%go9m&6k}}t5cdUm#Dx’1ePT&Q,V qՙRhbs8A ʂwϜ, UX /tDwpE@I38)XLq誺ϰm~8ޚhCϚ{})\5k]- p}[\rKp&Le*EE)ǛpOJcּ'4&&uct\Yj Mbklaҁ?a\:nr_XG={X_2$/F}#4 DP|_k0GM %ڕAQL^oL_Jo|PYw沣Df!Ba(S5wd3ebQ܇>_5 HIl~Gw]hpoOIF0nU ]ۭ%՗L\a3^˾~UWrY6s|?8}DM?\$T?@0鲅NI/xN|LkF̲d-Z_ހ际'b 0"?їEFUj MNZ!&m>g/wņ݃ j$y2LEه\\URvG5eyGGܾ]#/r:L)\b>InG(iCeѨ:Bzn4,.psng~HE'2R2&U2;Qiet]@UanbMMwTtdjX>yYwy*P2]4Iz(sS@O_tAȒ[l'd!UexvaY_\c&E1HIB k؋K|ʀKrU#[/lriе|xIU_&32q5i*2Õ5tqKq˷>$E7he*Oͬ'[>e̚ 0|àɒV [q&訖gy 5aÇJB?hI*aP> Ilqx[ְqbij剀QU WZX?4y˓dXl!(@&2)@jUeUcE 2z*Т S|m a(pQ~N,Gq7)KPFy$ ~ɪsp&IpJ64=(`*f# Q I(֞RT1 HGQjJEjkSl7vK̳>eج+W'_Ol(ln}h|j[({˖2RBR= v96ذNLn,r'rD "!Z\4wH:M+'Vj-7GI vS{p.T%^C) 3{Pe6'A~)ǐ'YQh>k2ːv";-unWgCEo٠|;qF3oSԃm4sj9vky57O`DYXOW9Q![U3/YHJa.1TH&Js_Vi:9uWw_Njq! -z(F> tAn]`(.7?А/喙WdgyϹ.cR讛G4򀯰_TtzoY"8+hY u1ߨM_etmӀn2XӊtZ,{^X:#ߪv8h ~wr\, E~o@~5|T]BClFW8*8$.) O3XL#3摥#A{l>.g m˖Rv8p[mͺN~Wp*%{O2JGC=loZ0] fYmI" Sȭ١;yOД~U'i8M훗c)䝮"ejA3~(T!5li*Lzl섏AAb$]SU"^e^Bώ.GYۈIߩ 1=*P8)ӥezoֻG|?U]c4{T>%\ Dh3笇Z]W[sl#j=hM 5hmGV^G[?8N6q c!uj~Or5q.l/ ay%މO݅n;7 R#&rf_.[~ƀUկ]ޤER}.8jtgm]xQ鵢_d:rTOғm14OY+H%[$C!L-& T.f@'ocIIYdܯSvGu3 &P #_ Xͅ5ߨ}__TK8Br`GHa*v? \JaxR܋|d3_O:-W>g?7wςs 6;% [PcTnnQt&0[1 Up%S&&D+߆3c]:m/oC%:!BOI&n&AhR1WD WX oj9/gA):8CRby ]RPS7m伉izNw*Y۬.%c./v t5b>Ĕ'U K;Nj@ú>h"}  Pzz_4|E.ڿxr&({(ն0"iL, ݹ(,--j?ܥ -<4 D/ niV7g8*[pal_<6&?л6J5Vo&Z7H92:!Fu\,s?EJl\x̳oUIr P3t .r+ޚK3|ElUdVx ~C-2;=#ӗ7;Qex^0ڲm.'l$[Ku"W5?'Fc;nF;#OluBPHdewe"\nСהdGlUL L_y h.| hiinD4"z=$!2ƣbB)*T7f 89ɺ^]n}d`bR[Db"xOA͒BQN G7\F8T۸"UngWI(&sۛe~f%30.1T{פ A)-X1LO\e4@-?$"abE0X-rDcT_\70<ԣT_*7;AH+x+\`.a?铛r֗>7|qMq)ʛ*w',nx/3gݱ y`IFm/} :c XQ}?f/,I8)Q0TE-kEX6HDVR{X{V?F2n؄_ NRP.ә 'eT*Vr8Աg[W rco[ʩWz_wqIg= lO\=RI3 =ze0b LBȺ2VôV*`? $^3MK]v{nUU+lX< KАJ73n=øXKnHWWPٵQq5)Y6gzԗ5Dή",=z%ݛp.$ Zu{RWyWΦu6C1#b ~S.5se LX*&w[!ä\} a䔙$; c1Ql:Y/k7⤸nqȗ ܳhLT-OT{$%a*`橨0̃ѩi&%nh`"&(KhͧM̱&R-~pC^JmB>0<mlz': j_FMd5"C/ٛL6w^7QMSZ]HrK`3\&5s^O΅mdvW;Q P46/!D׌Wg&l' 1z«lmfn_짷Wܕm1 aJꘄ@2|k#bv$ bmͨDwEn"N޳C gUNNL.Lc c<`jpwIľf"=81o1<0,8A5"T* (5L_&dEkd"7(f>wbƑgA4lK4]Yjr[R6)BÕNd$`3^d2K֪jzh7 S=rCbNwR)'dq)V(օl?Pbv"4B(ȩ 4`oג7[H=pR6&_!LhF_I? JA(( 8:~g.Su}$ʦE}w2?[?ekQ J>jxuzCJw>Pq0v990yOxۘU>6 ߎRy#u8 (+$ -y}5ʃ$uZ 1GԚ,:HXY̓盺mgf:Ĉ A#OP SqQq @6 9s(Ya]SATo(5TLZR5BO}z<=(glwE:B0DEr0˔bc֝`"b1 N x|f8Ҋφg[lW qRGe>rbdJuwNV*-6ϕ218Wd&Ϸ&w*Z}~u2þD=+Z6Ep?T.Bj H " ` lZR S%&%w­81'x82rA֞@M lceTʰKۧ6〛ڽj7Z85_ȃjIfުBщ+Zn>&-CWd~ q2Wq3oI,RMWFu0rIɗGκ4;txKhT&K˥3XT"YF tv'Ѷ yҾha(HZ1`d&_Z9_,gk's@L#**x "UiKZ`(0IlK'Pu}Od Kޞnj޾O?cHP\!XM \tHy]kuipx.iغf 4B&oU !N[ſHFE`CQ0P/xs!/YՌ3p*lZz$!ZʡUe{r[DL}f-]ձ@ZZh5-rwSޒ]Rsדu!҂= &'C/N-9R}2c81b'CmD7z s)jp-@"~ zH*'N\5Zai^RJ1tE4#zvA^(IsoH\ p<~\5mrb 9B5LDtȆ&ed3l,virנB8úDxrFd/ʉbp~vnoDԌe[pQBVjL{_T12/kf=I#G6 ""k3o"g*| hge:7NFe(D9e7FG;q31v_Ѵpz[0H X)K3޲,+]!d8[!;ݡsmD}7j9(j;P\BK:FbB3=,uYg n1>,9ߢ Wn(|0iŒ4Dif?Yw)c#^POt,y"TˀcXM| @1^Keq-O"D@qBOSɶsIq_TFD\|% p~dsl? ""rBiW^oFEm^Qؽx?Tѿs?&r8QdNWON\4Wv+7oٶMNQֳ3UqKW7Xb tI]^T,T[0pX O;Elaj C'M>D΍*cd~r'r :. `[i7BpC+Q 6SUվ-?0G"q:w-q e*.#O׀Y+9U NX epJI5nYw u~SsQCO5 PЙ|Ab aNhWpy@Ɗu^m3>%Yfn,׌7_)͗DۯGX "oaU&`,ۋOv:mk*%y #AVg/2iF$zPl?sH%r;l7cAak ΋XEt;M7!@lzJN6(6-;ɝA"ȓxNe5ѤvDL+Z]ϐ)2eqEgZZCª_YjɣpH/-$U48" (R@U[3Yœ8%кzHGuG&[jzo27_\KdwiAbqZ&$;1oCJmh6 eTٯXI'|yyؖ= @#iw$r'cdgq ڔ#3sؽ My"MWV.0H85hi2"u3e零_Hy)FO X5R>Op|m)UZQ^w ɖmMVL褔2J7b}6Hʈe<) Y-Gm›PLMz]{cJNN.4p5/ P8aN:`+M%679ܞqm2/zu:/gEv_Ȃ\^:l裂^g0|{QjRiht$%i&fXXt_"<"A,]z^wD:<!Ü _xլ8-zFΈЇ!V% +wj= +mvWbK2i Z0x^~ BX3k?|({q:\.p{TJڿJČK߽D|B`?GssN= cyG8UGݐܦ((.S_4x!<%,hCt>7dƪJ,2q14uM@u^ܾT;Ī64L]dƥT8Ϲ3mUAeyps93"32nIW98W/DBxCftCcZ-Jb{aZRX W`b4n _,skwpaiL .-Eq Sqa`=x UNlm) ]V 1T>^ |=Gx;Gʕ#.r=uhD\|qLڞGo)~v5.^h,6Z?Ly7A2a@+EȎޅf3 mͪӝ%]:3bp1E#b ̃,qAVK\ `!ceSB/z zUnq:Zq_OZ(ua9mpwjl1/mFi,xk)_6/eң_ʋ{wGExmo@zx]fF*qͺ$d7ԙ0v*R  xh+T5`MCG { R}2@%/*lsL">^Xvk`}d7]tzu͠r?s. v:l'B۫X( CGS"!tJCn `CATEQUF'%F.Zo)nY!hE.E H5juqyIT`V[}h~$IS)g4v{DƓ24()ǓXϻoC]j$54E8!D:4J>I2js+N5iv12g%^tw-#+͗M^r}읍Ϊ!θl/H0fқ[r'~(@< @4'ur y `KoJVgW0N#VXe_z[ ' Vn4VO3 ujx׫tz}yؙ)zU nl-NlF̺қW[̱tM[[h$RmV?bZ#Ff G-c9p0;l#O:ݗUGHuO;mF{ޝRQA藱V3O_&kƮiѱ*ƶP@$$Jhޙhs++/y YYbRdi 3k&rB vA!|$ G̒V`iُH'rڊ-q` GO.[Ŋ&] T $Wߨ&$}緷?ɯHW:'FbP:"oeyqX7ڱgYZ80bd320e5c980d347df3a564030424cb9500c35087d722a51b70602a06e4a7b7d793ad6a8bd08e87b7feff3cf6fa551286ad5206b08f8a4505f29591