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 2r|Ld ] ZF-UNITY:threads=6elapsed=6.191cpu=32.804gc=1.2607zXZִF! e]ŗXiɟH)0%o؂!7pOiB#yo~p':byj"O[~HOY?;#Q-p Ko OP 7[PJ8\TrQ]#]iS2ѡM̉MʨO?F u2{HԲjk)FË++_H D6=Bh;z:a`L[WЂQ.W@CQRKYܛM[_ұ"oLL7ژ{}Nd<~EE+bPK:{) @.ӹn UD/T Yo2A$ wNr)iEn;S sOc3;\>}rUmHj2vuV`bd!-$920ثfeX؉ nϞcnzQ]"$T!pafM{Is,Jc^,@ʷ09wƔ-3D {aa5osbcH#qr={텪o0JԄ'x۔QpȮ1ɜ+Fl鰹*b` OK,e!iE"Zx Hqp#ۧ&!O9}χjaR/E~ClͫKzn0r)f+0sw~g{ GO4%YsϓDFԽY903R>ueth~AYIHWI(^+3\ANۛG8"Xv4ƲKO7/r yyBc՞\@"KYNTwb$]fIs@:QCHJ)OȄ!ʹJ/_TA5y`߅F{( H<&tnHb@JR'|eD Gv:L0E;?ӗY>/:"+70u$xB w[]*7U&څZS$ :%:_"Gc{,6G'*:]XwaFY?Sh7+.n#)9xN 8G8$S ^[3(=lBt{âGRlJ7IH> &iFO ,]w5b8կju[,>OBF8"qr;™{7Imx!^;,[2ttboBPuY 3*:l5A/fG*+e9|G}#_܂`e*T@5'cߔ[ {\b~,3%?6{;̟"43N;5QaSxNT91 x@ң5Of7!^`tDVGGQĸUzEWkKŘF=-pTܗQ5,<!Az)Y)vdȷ%'9 )0d/ /j ;-/ÁFDJElݽ}y$_`N4*?܍%N:*Whk~_^[y}C$V7aurz! } ɣ?L I!S눾D^`>4'$;3n3U3ؿ3Z#u44./ 5Q$>T1PdJӏ/3 9O:8,W\Dyt};D]UG:>؞5FlNДis8 <:"Gg@LS|JWfbuqxsig`^h(3QC;+0[L*SIhi#f<40pX<k0%i)H"t/ s|0b,Sez7# ]zf͇CK_dbd"bl:(a]pDϠCC7a Tc[{椝W!{s˺C?v`eogSShSa)Gǫ][XMLq$䠅x\`?p p.=YbGD4ݹJ*!z3e@(Zə%n?ٴ7/#o>}'hN C+ff\?bF W5|72ПOxqs>,_LDSy臉vInrŇo )hH}sOpo</<"B,OJ+P m * Matt^lOzm"$[$hK n}4*_?58}U;n A ()r*$r 3Bu5ş,1@dLE؝;=ɋ.V϶;ɢo3L%`㐦a'"EGH˕aPSDʧo%{"G\Dq$΍'ܓK9Cꪲ n%1g`!&U;j QLG>j ^g;V:Q~V[61ͦlD'x7Sp&,R.,tΉ+?n#LҢ) ,cX[V`Er̘;upnzXlcip/9P%Ta+/[ѤZr-^Ns d5,'!w3@'"0mK{UXH[E)p=U'~< B_W|sH9tzjp~m{ T4ڱm8| ?xri!Y$qgɏLX%RՀJ2]au7y~\7 I~0t j8b*(-LE8 l;f/3ʴ>&*8ؤ`2j~w`F*~݀[^* *{5rFn[m e!1E<{OkΙ v|#_xfgXq|Rֳ0Vo.hfM_{7 pjэWPB X_hؒJA?9-z+M{BBYک!~?eDgJ( HI&*  ƭ uybnD"zDd 1̊ukU:ehT]`އsD&΅dd% WoML'"Ȗ *TO/B:Ea=-o|XUjGB%3R^= 53wF#zJ˰ ?d 69#U0%u/{z\MZa\Ic9EN³ʷAeOjO˶p8k)G=_PўcZ}+e v`iQte$ ѮZDmTUY k[vSAlޛ{f?+[XelN6Ps2~u-2ۉڞ'|U)1E sm0cZ(9s;v8/VnUC؈¡lS.q . yUӲlPI8̔զ>!GXnk0;6wH~.xzaM57;vVr(϶@xY!k& ,?UĚwꆝU9 NJE5U־aiƌ7\H+;pGZ!-Q=S'w>5|]ELOX׌1<-ч:9A9uF!˝H^+5[ޫCҒ,4Ɗ`l(ѐ`^޷ӻpW>trL(–)V.n6jQ_ƳXry#w,Na =E/wqG);&$!:uB:Цu;Yl޸ hTH +LX0"ӛHz-XJ aX>'puɕ#=N46N~5Av(!;yV{&efʵvkp42T'cܘF /c*iR 7*?O5hU803e'],2R":iH=I|f5 D #*DiX"y重kF,2.k ?sIk lFr-;d QIJzrm*d)f΋;$f ZBTT,4&y|){kbC VG^0 u BH69sLiWhFė>d-7t`\bNw}Mb'c[~%LKu0CL=O_z &cl=t $G XX $eE2"S$Ja"h/6h EK y@@JNCa=Nsǩm0ωK~zj?ܵ\%Q1=3^6FxuGc(I^'u# aӗf+28ɸP8AN$3\bXv6"ۧ.F5Wb+ju6 N݆bp/By}uYZ~O 1hL |= O+ ;4m"2uq)ŁWr_A(Cpum<Ö"C9BP %p[zcfO3C`p=L=H|uԪ55jf_w5G?QK.|n}0s2e:?c3#OfE֑E[i,^aC}4S"ܡ) ^L*+6VɤhfAuyZЊΎZz5=`X.kfZ4Cka|L]j6 dFmk4!9Ө(iQn{(YO/ ..WwG8 b\՜oWXf -3k8m)Xgb6lRV\e}{{ )j I gAg"zp jQvM׏B8f!'5MiXU)O- \jXNd&?䓴F$?ש7p=F U ݀E8eƮ2FB|? h1Y;.5zNdUKN{*L@qB )tNȘ9Qs _R}.HH0Rqs0dHG^> ܽU[eA[oDGnxqvUD,`a%s9WQaDHh#VQF&@ܻr!E\ZY`ݛܩ-k' FOIӧR~I{>+ HW@em&uE;自R;W@| EXrMhjS'(+Z‘+ $: 3MʟF:rG(]Hn `R+C֩,P5pWD76IC Ioh9@Sp Rސuީ6&(7g:ş::BWƋN2ӗ".@NS#m({5mp@W-'I/zs`~mX^ӷY(lTP"0c eYIo;F#|9ù@(0bbSYg6܈j{?~wm c._/đlȎ1!S2I '[&ʼ> wƏ/ &HuFt[n\}'!NQ<-ƮN8Er#R%B~-uEbZ1垫2%ZBi⣻`Cqp'16Wpc<>ߤ0e~^Ce);&fQmR -!4<-9x]gNfQ۪mH'7Ò*s=;9C sفG!iA&f? 崎͍Y">33Y!GB jEmLO[?2} b7 1q#i#)g"x`Lj2W'}$gH@C0&++}єu֬Hbd{#/_v9H*Zv Cyۀvw:+ڜzR`LK~㪻!NƐ#MM:=8i~- r(W! s-oX;j%ѿy+[XĪD(Ka0A =l! ?sMRE=l+Bj]7:ZjDU&\\vl՝]O}&8Rg_-z.p}ͥuD&&0>l wmq2sFfa?b َCBC/[BGM%! B Me^N0-@[fߘ]>y屢_nYGZ.*35JڽZ,} ixRp(':o(Ryu;j%j`+hA蜦W2>ܩZ{3\'s >iӥ=slw6^xZ_ 9<ƍ A'Ie,ک1>sp^ 3Mؿ:92|zUV7Cl7wg}syJGuSіrPakaOQd3]6Zl"\՗"t[?҉PU)G$!!!x~Mzy_vuW&`dr]%;+H?HQVZqXx1+\HDt ~NwX2HY0SFu$ n'{ͪV0r]C HVC[[8nXCC6(5+54{7=V&tl'%MR y H@7↊OV~xHVʔI(&08z*muKxuxشxXPgS6ziG1 ȹL Su*X$#F!^_="7R;1b4NAk;L( c_)1y yZj$.=OS&[) zZ_6q,>l4(SI&T^gV]PaXG+oZy-h1%q I tE[ڋ OEg|ug}6uU RjPJhԈbV5 I/χy 43/! kIξJIq3t6ߜuH&FCdkqk&c:. f$ŬH OrMPE ~Z8GͶ{GS8 ?`Daf_"╦:;m WCqtw 3mByO"}#n*AL8eFU(2B3J=rwDMVTMxlG)LCr `ZRd!"=Hop2U>:Z54.GkWS% M'2$6HZ:=cZh:[%ٖ%~0yS# (Iea`xS:C3ȏ:hvPX~"= e&¼;U;UTb.Iþ(c?uȆpNWXA g;LBΔ,$Y0>fVymMYKp-J/"U˝7ەGRɊN[ux^]'~aϻ~'dݱvtG\lD%.+F^%HS%K'3Ry=%~n%vݢTƜm,0+j\ L&@sq#u5OXi3_Svv T/ "= W ^Lr%+w[oluq|H[ ;?MEc}?uĭ9;H8厘32O^!#uFe;sgrJИbPn`;oQ%@Q|buE㪂2]x씞av@200~m{RZ+uTMy?}ZK44H|&|14xIOl۰LRrIޙ*F@ `ȝUG[3+ԛ'&WZY} `ZuxtP*\靦r݀>p`&ªPtkYV|2^5tdHx9wrpx}"z"aU|1i-h<33;Rl (UOU +:)٢ʦ|GHS[GC{UAwlŀDXO}fs*eSu/*{#0 F+NX: rq [Luh!,Q?t١)[tĉaXv3qUnXM~@Z0 Ú:f_/[i-7-L [ 1a=nƧ25$b,"YpKjMf3 ?*z;>f(#9F>GmQ_F++p^׵UI-q/!-J7G=BKit P EE%ZEh >_ #VU-h:nmD6L̓o}fke`?ՠw@ʌ0+cQ?Ҹ#J` ww#Yٟv$u,c|_'/*xȈaKAډp+"Y K" T^TA'O2yAҥ\l~r{7=bat%Mt:X(2O]= X4 %<'FX~f*[/ËOBB-D٣^bSf-xWt\3m7 zg?: *E_1cZF;dƐGaH>xWKɫ4]X'g 舜9b4[>IֽNwIҟk:`#*4(m!?BΛiPTos՗8\p7/偊'a"oC5B^\cBt1}ˆ?i{ %؉N8Vb&!Ms&~ӏC+Ԍg&\?Ӧ.{?h= Њ!`8'dH(PCXhP?ya12dh.kLW17=z`Ok?c$ ۜ6' vmޛK8mAG/*]LL5#dOk nce((X7ԶEk9sI7تIg_,k9@KDZP orTB=[{|N %g*- *5cw5pEWݫpRml6uBR ;&ՄTúV)if¼`a \Dm]YW$*Pdd'scK$Vd,lMqw'b\bi"C ѕpD S3;w~䖖sCǒ -NfA^uVXsg6zX .ԓ::tF%|K)PS1 /}oEm_DRQ%G MbR2(|8oY&?@%}] l%4}+HKji֤pQj7/]i\LE,jc4/n=FT9X5NVyשC'xءY 2 yU*%>̴Z~rly5VPse6kM- iH#s"FgMDH4Ga)(j˫mRfY vT6K@t]Eݣ(VfXZYbrYEvT" %_u( m\l<1ZX5SK7bHA>9*O1rBSp|7&6D~UA'CVkZO_h;WE8ޗlvw؃)lyJcr؞+>2Y[bNZ$f*;=nGͥYCIj=K|G 33 y2;irZ*r}4]ޒ0#E`7#K33? Gψc>wMfLؔЕ"?7*"ь$!#y|I*-Μ #\IE0[;[C#^XTk%ItBYV#g>론9ؐ/<ܨHWY]& ѬGW9P[s.32HՂ@bHFͲ2R值 ,`)vr3ݒPz~|<|1#N) b̨bUyٴoQE2:Mɭq!tIo4"nsuH7c淯vC94 z>l fzJ}dt!+Efc苁sٽi-X[~$Ǟ^=Keנ8z}g"GOROuKwn=WKsMyCRi(K K@4jlYZaj(io=d=y j'1@h{~ozz@rĠQZ[<#ϛ.Y/ ~s7I繁._y:킧,+F󑡮1?ݡ̐ 6 '_#B73.*dG?]-T5(3Gܠ-`'wO@^Cr$ PABxR{ ع>- 7' llqrhg`yV)p"k*+?T";': J8hv}3k[+Ozs4?~qE bzjMDFD`P&^q&3 n߳ͭy5n}GWx2-w!yM;/-Z' N>0UrP @〸j/A7f:M m*pz{qo[ޫ6Vց˄84iR  <ē~!L¯G1 ]qUF8'u@ F`SuTVd a{lzs@Ĭ;nZ7t=h?2vzH]8Yg Q7e9>_.qE}E#HDvQ HzADpJA El[v [U!oTfNy?Al9Ը!fF_`L $".HA/ڸb7xӾ\D"5\.^$94KWb^.B _ɕ$dY(\s?\ b,, #ưx@oCc4jMeLL˜Gv}5Ppm"CϹ̙Ӣ q&0@ՂPD!ZqU [ B}J:2Rje w^vg['K XFV= l΁Ŵ7>A]AEd'L (1HhǦ{xJnHs"0f=3y3Q۲2%ל5|.(X񙝠+x!%~E\HOl!N<e`7CϰaНKE|}P\?]uE,^M&Y%xG}(`f!AF;pbXO=Iwo2Z{WGk=WH2+΅WAlޘLdbi9<ҷ&h̽Lo'K#˒\ xl?ONqE ̲}+JkpUW;F<[MDw0v?9hz\"M~mAӡG"hrO~ }.+!?. "S9sPxnf͈'ȷ?YŇW^z&N򨵼k+?C{R.҉NME{l@t^Hp 0 U/j믰+ߥs2ƒoȣ_92jё߻ I;N@P{F/MJ{GWǡTE~ϋK]ÔifQ*gc?xHb. G Mr#PS1I$єi7lvI5ED#SDdUMhdÖҰx=}Mi6ý1ap3Jߠv#kgUi ~4YslSU(_JFT_ʵPy+qoEu=S(k^b:>$Fb Q,l5;RӁOIfTwj45&PS 8џ-l7&X UqQtj.)sVS(NeFFIuj[x73xuE/C)M5DߔRK;qTdr?M&ZWyK6Fm,τt6\VfnEVinvokϭ8lx3*Rqo_Ec6ͺ3A8=Wfٱ\[, 46f8w23Ŀ,BE'{uGY NrPf8޼?Au)VAp)0hIP5(϶]W,z_6AtLGp!.gb7ɚ<=`W~FM<ď6v#%׌4HAf[FLP˕-O%>}$=gg)/𮙩H~?9)U1Q{`2NjU@)2v^:d=+*wt0h׷jk@Rr%b>p3jS=1 tL?g캰%MܗwN>(ǨCv۵4l ju`ehU8A} -x$K.XUmk!Vd!4]dsIw:P+ d4!\wЍq=DVf6I|,)yjah2>z:SZzI;-| k¦_'.޵lYCWj]JZ> Eqށ@d>Ve\nam?lT-8M՟Z~ai'O`!ܨ y";(EұlNxt= o4A% wAm_ݻA&O9!p/E-,P 3@D뽟'Ř \` -h`@F4K4>Q˚6ԫgM?:LN\z1qFKJ'W,^@TI0ٽ+a]<7P@~J(7Qo/BSVYB/2vs" e&OIKdbFWH$M aԧ,uulf xl" ڷ1UǶ>捦3A`gy盏+$6* VBoGYe3nHkr\;KdɌlVHܘ^[RD62{6bjobr?ekf/w9@)S^vRpu*na* T  |)I^k>CKH7ԅο~e4K~{K! _P^5"+'Cy6 (e>f{%oj_⋘R Ik닎صQfrQߩU P.6c`^SrÅ]&ݖH1ptƁ*=4>8.(P^W=3iuvF+g@0}𹉸rB{Q.v $XcEpZ]`Ku wMq [lܗTEBFd4L$8YS'}E_!,wqe:kK6F,qB--AνsЧ!{OG&RGuLih:$",hIփc7$ތ+ 5́83j>JU$Fm5Z 2n֤Gt}ە ʮQ>"Mq{.}:ӂ|Vr1ȓ:nD*t@~3o=g6Mi?@¨)$Q“݆`\ZXR9*Y KKb~B{=̐pisa\L†!7T QU6f V)׺꧞Ow+/B ZvpNOQsBpj@S$ l >Z"Bw#D2u3{ x_Pi~==_d^ػetlZ K-x0frs;tuiLF%tGdݎb8f]R!c' 7'WG j\Hw$Y [s.0սsQ: -[f8xt<C 5!] rhs![E;2wj~Sv ]PZ1`si޻ ?+̴5U& 6p2t>^XQ+67 ńYmYSg||%´u眴CQ^7r}ƺ1}~!XD<=rbYq4AA-̛S!aE5],+7ɜ|I>:^kIWm ֌"Ckì.ztm! )d,\֜26 Bn1MiS최Nyk65/ (7I5n@ȉk1{E77AYzTA DTbA2&˒̡˖g!3'Y~.&cwVh|$]p1qkHk½{9Uh~5 Xz1 v1J1sp'%?aeUfjZb8>ٟ4{}TL@Wϱ&gb*8.^y#cD yVEZYi K2mY%wav릧e4{I£wQU}>wzQQӺIwC!`ڼIώCs<ڭLAEͭgPbF=޹w.ܷ|ho:MAhDq$(Q^:/VF+&DLNݼr饭gJB {@- Nm hJC,6 Pjāڑ4te*:*5,}ձ*KA1&J ^VG4gQ!}yM(U'6/ԣ<#cbH-t?NxJCOaODO$ÊəA¦bcpr:@c$ޯ&2QqoKĕڠlܚewhC8_L֛Ge&eeb< rG+d6@&jd@5S!eyu[uNV} Aw_qˇ=Lh]>Sf_+&b `MwpwUE0Z\{vVº_!Xr7|J7Mq!?Mgh!ZAJ@cػG 31(;L;1}9@Թ͆`zIA5:V6&4{bq#&N8=A#l`wϿ,1,6>N}J6#4; kRhi0/1,J|#.5;YD)aIeC=|q|l[R^ƺ +$k$LΧ᢫ J23O70;p5CyXWVG2-U⁘:BsoQ;KυP4iZCcK׿h2gԟ`o/a+9aZr0w;!Uܜ(Bɜ8hFIn嫺:)/dFWTds K ~lia zE: TewrMLD%` C1o}t(uA~ؔ+U nꆉj$bǮ`Vs7;yP1fM[pkOpT%wZpL?$rj9 ~Y)XI\SDPEרapA[k^m-GwPo/)RۉJtSh/f49~aJo%Ĵ=(t[?|b$%f5HP|EnX++Jɇ=D(_s(ӿ/Jş<9wӼ'V41mhMTLcM8.#bG^ձhy+QlTdq&WUoCz+3>$=]aTDu?aA w h>. 4:UB^$I^7j1]mnB.K.e۫5 D*8Q]U@,yže9U:2QTyax91(ܭ*p8 Qm|_xHq42ʪL41psZkk~ٴf-GlB[gvg Ii̖n(\v@>xQ4se0w{f*@Ή4D4$ji'[{B}aO˟E2OsfS"t^:QdkXž0c!(a_(\(yldz[ TBȏoYDtFǸjPW4[e@` -bA I[<'!OOtN꜇ܯi6#z)a,T=t^bz b>$h5sZ /Ww`{5#M ֤ [qePRld^HINsU[O_۝璬dߛ7ǵZ[ 6WItY/wa$?rW+]#i]`9N_V&߱Я&6 h:"_wsn ?m.5X܋YMLx8zUC.&#a`a0\-[㾛:I;LA7`s#6ghxn1t90t w|63 ixxV`5Fw`:G)--`H4JN1D }%fi@Lԝ`6'62|d}h=y\[ ݧXm`Vi<W7XDfwe DB%SϻEU_֔W Fnd)MĠY,h]j eL/yzzM|TG&|2X~4;PszHr"onvvO&zrxT@ +A"Ce_ȉsjLb,ht+{hQ7h!P $?cTIuRh?0Xej";դa3Tr W :TbwӠ͟?+fk!K+U d-ON5 Tδx?@9o}-DܺⰯl.!p׍Txaj%Et#g8мx:Hȱ{3}l3S}z#Ŕ I5<~`+ОxOZRSQ6b|g)i30 -'/|{@V';MJr$Cӛ,У [gaԲtT8W_ﺔF8QD2d 6йElSߠvnZQ(޺v *:tʢ{bvAjxb6;* ?/$ }4ߜ08|˽yiU]@7YTRݳ*9M]b5? e$|r2Wf浑܅O*8+W b;{lCs^Z/` epflP&n/C@hf5qP%k͊I "fl,JX LL,H<7is`l*X:VmiP2}K` 66:ml85+#e5\̸Duqr*BmeAA^}6Ya4xiKXnuzRc V'"~(nئ:CgTF7 Ξƛ7 0R" @S ^ݿvkVlgo Km֮bpϜ65-! 4F}2>:t:EqωJ<,f<$PY h>JDzKuH3\p'&_G>6IL`c[.氼E9Dd2S1 Ghk>Af -oPõ$(?3ɞ+٥xyoZ26CBD ߺ5RZ: o.5+>V:sHΞT.@tХj \s%@I?f[¦y<8ͼ\,&$W廛9\ 9͇D0,|A%rQ"rfݷL[쎓f& ~Df'cGMT&dF MԚґGɕc*xhA:J䏋HKO&N> n=0GN Z 8%T m6\{dfZ#v-apAQvx?&qj_\6Qǫ^|NsVR|-ER}sA qC؉3e- |eg{k+o1-Ӭ c5Pf#-l$0X <1FJ"f Ŵׁ,/ԭSZ*b;r6HOVw!I̎4ӞJ3S Lg"h!{p9v,~{"T7kΛ$l! D`u  %GqOUB!!r٣X4OhU_>/q20eKT cW&Z"xoOux FܦOп>gWiO.+O޵hݚGpwZ2"wQ@+g-!~1 ٌ vYIϲNd'VGڽjI+x= -:ao]<.pzW7r"4&5,fprk1#&OsS0%:ȲڡnsmkG2ڜ'i>M ۓER>//ک%e#扖=KX]Մ? >A/<hH0<|ю#s]`lGv ^tl's0(rthֆgHB iWdhb@ RU5 DZWL۩TbGG(C.յ)9 ;WT-rT=CFp\`D*23O6Z]3EcRfrs /!"/O d a>l֎ kLNy h<~]UcbZ^@Mӡ7k:7t.lrgo<.p3'gJlO\kU, N12 t0OC3/!qJ ٶ'a4[Q2?o%w6CoCKvg'\YE%~ =:-dۓn\A )"k`mZ  $=p{a*g?K(,~ߍS"C20?^JK(vԜ5RZ\Я#DW®\Y 5(p 7H߃,)WJނv0d6&@G#F_3*9jdIP㜋/|8$_FBl!6 'S}[#VM*FmE2opw:ch3kBZ%y-o%m;u+mwq+AVN,m-m}ZN:vc҆ٱ^}"K'p:wFRmBk7]2Ojk@im؝Y0XH9aI6%'P/*2)J*xMCa^ں`ӿTt(`SX^Ukbzs걙[le̱}>D'$WPEϡL5Rb7)F Xqd8I]ƌ|w33pRA@8yܿ+kɗf{ 4B+"o5 ֠mϹ CA`K`r٬al>BւB-K)S~_ "AA$; Px:m7Fk0bXlTRGI#2$j.磌 e&,'xO >0^!+N0$ʞ@I~2C>om5Ed=D'[zn W0fbkvkA|akFi[6+AGtټ"^aN'6ucβyTjT׺--fvnZ3Ps]>4w6 &%xxm~ZdaES\=D9r ]AǖMʟk2}#_u,[H Pr5ӼVzds}ơ8|W^(RljG*Yg6؋^< v?iHY}nG I|%kPmaVzٮ{?D&Cv"TrX [Wx,$0 "X>7)OY)* (ʑG}vBk\e@o#&)8G#bK(_fCXA!Po'|,庵q:u"[]| ny yKX9d`K@t"5=_ Bى4y6+ǃwI؄`@08h(I~ɨLTkwit-ZzhoG~c+\Ґ[.B~V/{`lJuRfGEz?OT͵_/'H#^~s]"<&vZOZAE<;4+sDS&2!%B:J!]7$as!=$ߔ7@:~FT9qUь,X9ڻd߫M(uX y;'EcةAշ]#) 2҉c&urMXS sD|TC O]̓2³n ZVEiWMA;bħHj&S<:#Rz~`4!hyf;I-SV'3N qVF ,lRs0,F^@A}k=pt/|-ެ߶vnD #C5na`) aǀE ,a#Nug8nvB@C?AU>!V2M=βmt*=-X0zY32$Ҹ\s2$NFbuTGtHw˪a,a3ҕQ00`J ZFLqe?K߹.])g:OҌ5VtĖ[eJ3)o?ׇklm;K, UCη1rҳ { [p|0!$eBG^loV:j?J܏"r1F2o2OH0~6V5ʘ%MmCf,b{2_;waR#331FY|w-3UѲ~DBI@lJQ=81b@dau!q;δ80jSS=bPgN ƏqAb&L6P D}ZIʼa\PXw2aSt.W3Έ<)uMݣ/1|:A^5f`[)2}܊1u1{QSAIR D"TK,=nC%MZ¸3(E:Q+:c fSHt Ur;UTAj!;7݁>F-[[QUNy^SO?>XçS^FLe!/Y*Zᇼ."p(O(%7 oǾc;(#jGłԳh'mY%.E ֽ>"ZoXuڃ ڬe>FZ;8m]fjxX&DtVk< ޏVRzpX/b<m~Hi<%K#`V#~HZȉ%[' gxH6&8M1K 0 /i1JF"HvIDV// 訢c&rI.{HG*&b 9O6c 25ߏj5 B^12cX >Α-Zs >Q4„vU8ĨV#mE8~fގL^U?+q!C/| RLWig,gk-#T˾ qʀl˴n媣!#n(mT24u[V!i{x( 3+˫@;qy M$ҩV33Gn`gnN M4%A[/ fu*xBi}r^HS_r%s#ĒB>U:Y#< r։7JAAmK͠vI]}x♇+űN3 j+:yDIT2dĬݱR:qzM8TEyȻOg!GrL՘@'DHj8A`")HɭۗȀb=@iqÖМ_/9ȪJ6g}؍*YEODf! qM&n'gMGdq@`ξo:_|'+K\Ȥ&9&B(V4)qNdā?=EP%5 lx^X/%D[nL $e1D-.'gpz68F{8Ybz.zS^81_7L'-(x`]# ;ѵoFtCh8o wVsWCP^یpO C- OJ7T-$-!a8rG nHjJ^,"We,H}%$1XoY/n:59zAY04f=@)ȃjT9ס|k~-uDJ3V2Jdԯ 2~70 8|G4*o<[<9/VYR<m˲X7DhzrMMI{$OC[Olm㌔H-{ ^-=b|zxd[V%1TО`طlGZ)[J7jG&OLEl2]PlfQΨMOfs-]V3W)rqDARJF`& AhA*f,|46\ZL8""]oLmL/U?۳M({Վe:oY(j,-JGanf V$o]l<5!~ Qy$99~  `| K"QF'@G&*R^u)#lo`@N Z]~Ef?;.8yR꛸%NOx1FB>V4NnlHkUu Yp)| aQzߣy~+dV~5@Ѻi.`~7n:%t팿EĨwcM"{G|qY_dZl<5auGRq&+Jjv&B'R`0)?CZ2zzmÖ;e_¸O֕J& !QD%d 1tWflbz, @9&"+; 0$4]WyVS٘Np>bU @6[ն$Y*7:t~#QّL_-X$z٨ֱZd/sj .ruyhRh}8;cAfeB0gyV;ɵط')bb짰vu y`j ԗ*Ӄ+5 ^Z:~IfN a!GP*?[H"GE*P]!v/~>rt#jfvaR.xg3\gʤ# TTUKX(P׻IOTKvٻp(.XL?09 \*;8ڏeQT}7fô-=pOhr^0fJ ^lf.,X1:HQEɜ"ɤcwB5 V\yvU Ӎ)\'l$rrI q.Ѻ Y|2ϓ:/w~;Tq ͤ/; ՞~brmRMO8AZáo374!b֌pT/+SQ_H]m͓qΚ+F [6hI$D0\L= zQuȃw}exl=R}x:OF|08(K3髕yQh8jq܎0nd@Ye]x|PR'zJ|IVhWFe9QA0"lL@?'ݣoN&x~WPQB߻%89!R! >x\i s6pRO3-4._ᄷ"iÎIcx{&v@<l-ڿn<?/q a bjk_?" ]}e h^az/c 9Y! Ig64dBP{N'3p菨~~se?+#A+/yW2#6 5C&jJtRJYb$mQ6?{aeS4Cd'ɨezR[YBN?m:$qr6AbӇ;Lܫ UɻlIT~#HsL{Vűv4FAX7=j[9ts.Lg.n +"E3ɞ©D`!\~bnCT6`|d;]UmVIl&+X8\; ym %3}Jp+,&Y^aL6aaͮ8:_H|QQSyIqp뷪[WaJG0h rV͆u,g'c ՠAO.mkdc~=!?O'"^n*c;zv?[W5l|$rT U(C$O͹FdX,CNB+vͬ2$!ڄ^iְFR)6@i%VQ+Au>!B gC{6w>Vs%/ko Lט SmHާ0n;娐RͿ|'"oq6I"1)UԓR0$Uľu "m@+4UU, DsApO~׳ekb!Xw"V.{fWA:@|xi}/_*3lI,Q7 & WZ%k-N*ib4_;qW[c"XkcC|ie>_g|n 0xdD(*hq vlxTӉ~dA1VĜMʇ<=?4.´k`MNdG2#D\iufi {ίjZ|1 Q6\p3v%*,._+8f+> `R9/[{)/F\RA6j(H-[t"E`}:sG$v:߱UݢV(5?5$nyA7(S t? /~'XizAlS+_1-,0_ .U;=Um앻ne6x0v)HbeMc2,;{3Y+Bi B"Jawnf!^i3Ay_xD㇋wn^wZ.1 tQ`~%ZNK`CuMsd<β6k4ՌW%c'A}@@EjDT둭Q=sHhRR$`ͰcS%KOB`ִY].i'g?9dL]ĞetU|5Po8M\K XVaiӌ|]0(5a$s*ٛ )>#MM=Or&Vw>i3<32DKJp`k@yZ5"ܰ XMk-%IKW2HTtX0 Ĝ3?o_: 6ВOrbDAO=M&Fe-djR>@I~%_鰅Ȼ%M? FM{D|aZdUWkv-YqңԮsx L#O~h.4Dkb7I%8gmr{{ߜ&Τ6#}>h>GH [<}d:HctMFW!fW|BH~gn UČ1C+}HHmZ_ՙ( nNեXP`t" {A1߶tuSl{)5&vų^齃M99`LqNHiy,E\?{kEHl?Ԋ ZU%*4ۻX179t;WJc%D5=tXG3Rl(yw;cWVFT|{i ?V5(B]z>6o[Glrz/=TJv? fssn $4ӂ& lk;3B$ ,3pP߷?$Η4K#)l3Lm'0J:q@rzgO-,U*!+I (q6nK;`*lU,Qr_쿾[⻸ rXhi~ gxNZ#OC'&UX0)a6 vՏy|؄(4e BZxo(CQL^^2=[Nf@'jܑzLg]Ј5M)Ķe,Cn;CkhgC; oҕ٣rqD`e`ҋv *>4- LAC j!`~u҅p .`q7ЃbܦY}5 ?qYU͌">IװC]>ù&ʧ#34VnaԓN[s&CNR";y|j&|QS(k1=&8L ֶmق{z뽷*, ԞXG'$I%䞹5uE_;7LL\7RLc,UwF`8X9#> hdu<@os/ۋi}9E1S65kӁD١S13.-`02Hfth3p $Uʷ9=f΀;K<<*<{]b?jcxFԜgQ½I|Ԫofˉ-)=&X3BMx2UwHr~@v+[~!ho|P߭Jc6^Rk# h1Lb hx 2 U_|Sƚww7v.I.@4S턺fmO>!ȭ&^S(N-齘4 ZO,oiߞL[ȁ6x.YOx,ԙ9 jGaՑ\pETf EÊ`yg(p"Q*dy';LÑ,N*(pL-q@gy߫sprS<<ucW#"I iXIwf Kr+' AJcQx8b텘1%G=e(J݁۟ !rvKtd |Q6OUu>ح۵CթbB{4Tt_G㙌 f=v:礐lÖNp5F\ ha*蔠|ƃ<8?-_]ЋF%ԕ$w>և1U<ۨ7+?I$z\O@ʫ):z%{4fP9Or#vС.jjA4ӧF.[N-q a,P!.|C3 /D@$ /σ-q$. e8ƄTitao@fcG]:#vk:UPSݐJfr܍{^(j1ZZo`#o'|ETx`MUʿi{!$}9ネTrL7'EoEH