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  ,!dd ]]]HOL-Proofs:threads=6elapsed=546.229cpu=1328.668gc=124.244factor=2.437zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ(?~wh$'/ ?u.{Xb! ЄAt\JosS.QFqX%^sc<)ʉ(ѦMaN=YzR4M<~߆Y~Ќ_yej^X A3a^v1e럓ԱνIPW#*y,}' שHHk4iHu'd~b.TmYdh'8F}2*? ,ν0\8`Q驛<k.u.KN/e$DK?j,.u7=q>wagSπ|H|3z􉊖L?BOCxVbo{mvVZb)&hjd]SG&`0t}(a/n/  8 ~Ƌt)gm̻%N"ed*fOEWf@fNʐ+{=b[IvbZN`\-Tڸ5*'br앭i6 )tJgZqmSq-opq9n:fq?5T5܄d@[bx &BVHzR+t 3kts@iYzt~ g)ICS PFdQ}KQ`:PQx ),鎳R#;@ٱ)!)Ww\P%l|<އڠ Nv!P[&_*#}3VYM`g0==_O\יn_ ĸfemSktV$ģ \2aiA%::ؐbmeFWaޒSjVio M 0ǥUs-ܟE$n;Ϳєweռr4ho97VĮ@px:hv2##7`S;}M<%I#)kX?7sݖ1t GM}~# 䠨kB1O[wG1  ! HOL-Proofs  F]ZdSNS'x˒&oZg[H'F=$aokg9X^%7> nٹ-Zϣ//ʰ-dȼ=o7ہ14j)a{XYKñ#i~XJ`a=mq-FbCctRRznXsuD~Wb|+Ǯ%,"ǥl;hݜTN4Af_O}"3*.zc83rJ .(NhZRDq#u^ұ`_F"2Vd0a>Ew1p%cnQe4-D,`GI?8տ?Qu;6tQDNx•b`$ ,s!`;onI~ X'ztO 5F Mt1H4L :Gm8RWeQ5R1P{7%*L| +鮅61'bձ'K LR_c|4BJ7iϋaחs.w>| gqr_6DQ,WMp79*Θ0&[Gf&ogLxHUUPa!2l>%gʳ\G Bݼst$Dp+ tU<7B=G 9"+{Po3Ȯa/Ɖ3ps֡^@dO`.}x`g˳ T,UA#[Hެ2=(O_/p}q&6{7OtTDLV~Bo%Ϻ .%m邇@b*ω_kȷm~3Xf9 m9jT@3 7¤g{r=Mg1Aq>YXHlUyڀ?SjoaPmD~k8_*'KNGɤrkHFo4;i6( n =9MEOui zfzކ9~+CcbpARf[ K&WZzԲaIŶ1߸{ xh9+2lZ%r|ؗg6S#۱EQ^c֥B;fTOt:.;Q!Ӑ g]1؜u7l/j=h4]`0q ,b=+4pNX1nظ#s=Pn) kѲ*CtB@1#nXb}{k c:~yG/wΫwIcKvsPI\ؠm!X0nm=M"IZ_ADٻC~)ȩQѵU¡ϕEeHO Q?a,B3Γ.thaҙmo>jݭ*b̉^ O(+T~Ce$A&{d҄1޺\0?U]PbA-`Z(e9_oޫk\eK3b>.}HϏ=3Pv=u3hM>= @ Ֆ  c ޹Gr('NH$KdAh( TgHԷ>XӕKI$'ʐe_"xgDʝ"gekI0,::Ⱥֻ! Cd&Ae@űv5TƨDV?A5wYqsIz Ki"k-ܔk6u'ٯbޏBo7K$1zMe B8Vɩyle"ae0wl8lp_ Pa^Cz À;@Q{pSFOCcWd!N8=v6gLQvMȸ#H*":ňLɲ9@U\yN8~^8Pm2B8,b%)I9Xhy͠ n;Y1Vx;ä$Ro)}=$#CX`gZ^AN*E3.xZi鬚2D:Ywk=5(Dof‰(1[{[;H;ƪR*ϋ\OaKYtE6_U1m8:-b*gǺ"͋Yt-@o:.J%޵_>:qǛJxW\aS|R[ůZD'+6Ub$ Y^gFߌ9&<3lꚓ,Gbd4̟Ix+L8Kw~9\|$zobՎxoƭBӓƵB@#~$@y-($A8I}%`-zuiuB1 {%c)dQތ Ɵl? %8D]/~ž^Ж@ɹ,wY<} SxhVglM)˓7DZGJ(@')&*mC%Itxv=J \ΙF道Nxݽ{MpS*J>i.%ڠߚ ol\~u \$B/yz$ ͩ,3S =H?9äYx{ɨ{;,.uභV/VM0]~X| b"3y.-YW f1&*M [CI2(uQ{<\Zv>*.uya﹜^:ӥgR<ÚύDza ):&5o4M튕ߘ5N8DAo$5AtldO岪(-1kl׋5 d Dj4 t!v&k_CU1/U- /"5 .uv-@5xY4~87kPܵ*Kl4W4d+~ױ/P" <.hRLKZ>b T,[02@Uz 2ou$blF}S6?PGl#kxJ, Z7V2g1Eur܎5biFWut)ӲFM5Ghs\!ZXQ cF"蔠wlヰ48DԮmn-r7g˯R 3@[6 y~Zڍ%&͑n-v I:` <ɽO79lgIX\m|&oWŽ,RG'8==zBLZp]x&='Xk(?I`*8B d,In1T8IQ(Y~QƹD>Sm9bC Kse+j"RR=fN<&%q5mn!4'?L@}LsUfE]8i $ RBL# }Y)nﱄ_;.4\~NL,(CP/]%i2VؘƸC$j39év*<5խTQLI߁h~c2 mzn-9IJRnG۴3Id忷c0)zG m9P'r,Pl ?{My %onXoE (mJe{du['q=ɥW* A`]eAo1IɕP̀=_Wޣ& \oEz"졷(3F{Cֻ,f3׊~F,ҹe;a31_;lxiƆC#EpN+)2؋ }?F 9$)^(Qgu"Gw3QښJ)\mcv"]} +XݜoOR:LOu7.ԡxgYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!*X/-<̨/"㛲0sO/$|-"j51@ˠ$iʲ|6+MI3D&Wįt"-<1{|M|5!/ Aާ~_{:,.sڈ4%p H.q(ʌj^]X :Hi)_ہ Tn#_pKy@?\a0Y#pzX50Ir7]"!߄O~"ZǴwKhVo* XvI1HM]vh~@'Ci %A#C #:nz'1d|ֆw-R|jiU`rOy$V 9Q&,z.&4QMYkh#noKJ[X+*Zd4 W8-;fUͲ YDwew 亨W‰'zO,h'F>P}rH 2k3>TagmH'vaU(%iv4. D6\ڞJSǗJEO>L-kQjQBh-E_BbHEAl|ǩp Y;.OKSJ@pk *˞ꄱb :*Ѧ2JbخЏ5َOcsOmpaGgF"@hnu@p~`i~i h%Pv>Vfc|S?~Hjhf=LޟZ{Nsڡ(QPI96p#?n\1R scհ@VƵ ~߶e:AJ:s8[I3=(Q6p" BbJaR] #? 2i\:|Z[q=HWIg?n N" /8ro}޶93"'>: VQ˸a:f LX-CEXLM0>;V16s-rrITHI 2c61gYZ7zXZִF! ߅]ŗXi%BAT5}30#߮H0$ 5Ǥ[G+= Й,7:溥NgnX@\oݐӼ?+snڇ0Ei)/-]ƪ$UB\U[.kbB䠪 0 MjRBpZd\}\'N"u!S_^@4ήIt9͞4i,IWɌVZX%'n-\ݣ֡i0ߠ'k{=G` !Ӿ֥#JVM:X߰گQް .Gvo9L~#&m⎘Wj@ >>6:5*dQ  E+T==TuV& {($W.z/-ҁq5PN]fn5!Q> څ327ώ@7>vV=(Ve~d PԉИE]G=wn1_B!1U>[t.,ꆟBpA. rwKa,Y|d~DԮ9:`{hݐhZQ'geHG0ȴu] @y+# ښ}z΂!t.(Z 5,l(nTq^c}~dN)l;J;iB'_ywSDek{blg ~p6&!-/w$t{}u,zEKyF]`}_õ,>,w3g,2꫿fD ٔ:bEQ?̩:) ˓ԡ14S8 #G ahXS [F^@Ϝk ) W9g?ßzefNbYX ue6X09ij}G#͕+tGF&a.CiMZa\֥g_Dm,a(C#9N 7FP$6վh &a \ Opn`/) x)w. Q˓E)&0Qs%9ԑΎ}l$nj>*ߒJ6|v%C2n&qSn~kNOE猐Z !sDsxqQQ*S@|'U'Eo*yH5{ć<>q͌ FY\,+-}k!n:FnlHdx<7|L^PYU3E1 /BֆDqE)+=$fM5 д T .X8\fPcl8 =ywN K?BRڋe^!vp}" |pO7VV@X]p%΅&ˋ'S>$%o҉Pkc?Н 4&Ϳw*vrjC8 [ $n$xıτG0Od J|VHDEeߏFIzytj>8$JEąz<#V.Nk"4Ah_iY\]Y$l#"X|N͂+*1XbwtEʎdD'%}=V4C%;NWng.}05KRD2En|HW VRW/b ¹KT}8( Qm.T6(XBjǫmnp6Y6/ 7.@k勑h݅'z }I1pslkXW.p׍e3HsQX7n3Y/p$8AbĴn1 ؆:mE(n!M(V9kUIݕaZN.5is݇K2s4NpǢ-zz۷힯oBh-<L<}Q悫ލVW~rL)70yqe`G<=uo$h[8Yڰ2n?焙X1$suQ0?0gP.vTM/d*mr;X{b4XOJo@]G7*Pcg(K}3n@2h,GUuI]wupPJ=8Y=-:]GZ8ߔZǟO'MvsUJ便2aW<# u]<+aӖ7?͹ >T+ ueYe(TN쨏U8Ar*-;SQz |E|6p_Ik(qpRVp &fsQ^kjbX^AjTW$AGWq? $UQ<(\@3mY r/*CJ5nUp0(`E[rXZ%1hг@}Z`nŀ04T:7xHšb϶J`-un|B֡ S5A49;M.ޥX+& y3L4TTe XԚjCPJA,5q RmQV=M[gH[|a2SYP8+"Z;%Mj4FkI%!RR kiƯA)Gx$ 0 &DmƽN_Vh~ iQ{ڥT&wwZyIƒDW+_̝ǔ'=s/.SE #H䀱ݷ Ce`ZթӏQ=^2jKRzp`ފO2c] UhW(_SC\Y,nbuj"1]=ev4e̺ j yν8t]&~۩Z]—`Oo6ğ|![̈́ QG*W_кy;X-8`$@thD(č^i|\UPCXW '0_5 Bbŏ_6"<"퐏n0xbDy;5z}j5FHefV^667 c>W ﭻ`gH)' UI^Nʺ;a٫l~7/4v YB+6ON=0Md-M[M{JNp p86[{E;XezKjI]em^S |źs>HZ~1V1#-}IImh&  ]\@u&2_Q33ڗ!-M zMKyBM(|6~@y OQBLJ=4Ջ Ko<~䯁^OǑAg9a ORxO-> ѢĬLu`*!&Ug&=X5͹+"B)y`CbHNOf=|FHZ$mpR]stzKa0㙫RƝ$u_2F 0CG(MNN j@-sZ;t@|z0"V,ǫP~gF" CZ5-[nCT,o_<фp=%Q#P̡_&O2~%fY &Crer(f f(A=97KbLyN3-Le4ܐqbfrFCX|ZO̼@jĭ@vsket3;zr{$G <z yĖĸS\dI=~@röռS\- ZP 0)R')$Ab.i"֪2]3/F8@ Y[mYl6E #C-FBcXE#|bb&W4gȀ݊iKęɱ$g8 3TКlpZuw!u2MƧ@&3:1&Q[QAXMR3Vy8#P>,a{nE22ܴ?>'E4aI4Hk3ʀ!3}NSKG%d@d QCD\}+#y?Ւ$IlpCe9 E4k&? nܯ[*?L@ - WB b_r2!!J֖%'uWBVƽK.5Q fhFwDrMЀFT,ՠ\EP&{%ĹAB:uoɓ`n[P؃wR\JLJA~6x[-\:OtcgC1 օw~UjN̵*>nps†!Dn x?%1%BEg/ٲ>8ߖ9=mC3pG߆.N8/ϊy`E[/lix0)N٪}G·m_+BqL`pt\oco N54O6Fw7gNwo- ^ފQn/ lrvpJl)(o@*`I̎;JF̼~d;ثFɗFak2JN/N*%-XK#AӀmC4KЊZ.QaHSC# of1`&z.cov D:itALX8th^}z$yjޑ 0wc\Y'\ʊs" ڀE}AZfGa>uN;ΪJJii'hSUbM/$]qN5Dr;S֕ᕹ ʩHRacMSi8n:Z jЀu^ 9Ќ`Lﲽ'hNeѢK? 7#$ h+3S>z7xdQiqO м dvLijUY)C$c/!D©O5-!.hr1LZht@~ ,/m*.\w"oc;hj DyDZ*cM0}3hA^Fy>kCgFYrF8qy?c2^;Mj#eޣ`iuzK];N~: ?Oi.c=9s>tw Ie=RwXM^5l@*/j} @OQw%N &DNJuĺl'!G0[Zn㵹k(Ո=gxZK"/x6C [r3X:}8V,u+< NUMqEI`*C0b):Ex,V>qa?vˬĽ0wfqƽjp=06HVyM_HjQxΚ,[{cKS|tYEX\na' M/ #Ǽ:‘=Lْ7Wɘ/@ 5aw=M77՘Q& Of܊iR4 ׶wy_Ë?G겚[gWHHndާ&3)}̱ R4Y:.}mQ pÔG% _|P/7=_F^ެE/`5!7aU]ΗGEb $tT[4Y5[du|5zl\u'm}ԿMݡaZ*zA}of&zeXJ+7:AN>_i?.@׻b.9nۆ&p. ;*95nzYH-8PǶe^AfŽ7Hu5BIҧ>P~Vv JSgWW~jç/jj左A:)ԏT.R!mH|8jvwTc kD\뗮`#tj)\Rb=jO"sWn6odM@4wn·O0zh֙H˛ > Pʧ j$iU  AUYaN ^$G)B6+s.Ny9rNY+&EGbiQG; ˱(?[˺t}G~I8a|WXJD峙ה1*T`YgU̵{Kgx:\7X; M?'ĸvY?}("y㚃߸?>G+pڮȁ5nP?#:^ct0LH]> xq҂6x^aac@,;l#!fdaqR0XosN9ZQQ`*y@@Ǔpڶ((:9`o俗@ג!u(16WՃߧ{UA P1x }=F`JB)1 B?:E7񦔽9٧lS,.*,".0e($QҬc4V'յ<|;$Yoz:qq.ғ^Vn8;)9 65*4Oԛ$''L3ёERDX<(ZY>3P,<'`Jn4tْDr0J-{WQ}rJdXdHI(}Hx!Gܰs͈ Ngzp?hFki܄6>w6 BX=>`|UCSZdž |p wO=Ar4C:0Ҍcm}; ? }X•6Q 4]A5P[cgS 0 Q: |­ŭE1 ӥ\j T!>U&6氘 ݻ(ټ %/S Oq4=TK _4@AaѪ4`5Tƺe!;M me^#OhDCcF%B/^'E{F;}uuuÕ@75^8Ѷ,eiX˕,͌g3rx<)HBSIj(Ed8#O[Ԛ\Ě$e,w*)+#fNN ArtFe]ph8nr.cp2 s3dX9YN{ee0oPIA:UPgF H(yI5%Iy q\ߚ=+U̟ ytƪ|LBv[ũHu#' ?lq}jqu%#70~t}S/r[̯H>T1)0Rμ*n^X";'(֙[ɓ)R| L3v&s{U-{#}VeJDrAkߒ׽ Er}Zd%ߡt BumV LWu\NV4>zM%gW?&6]e-_M֏vc"Io5)I1`u ,-<#%8T{a4,gQ@0kM=^#mU2|ގrsƱPQ8r$~#J"yCH8[?b!4[`Eu/SX koy 2د_ |$hF"; CYKyn4ɧ#rABkAJ̅A]I# `3hgʿl]FVW]fdjrj-[WoIv;͜n*L09R߻EH.k\fnĂjFU<=+@cSAmm|2K݈kw?'O[QҕMl=YsBds?ZA E/d5{ ڟU2Myi\ ~۳)f=*R`T vvVC<w8!]> "b@d ./OP̠tBQG3qi~%Ň@XdD%gwj:0UZŝ4z ~ p |j k8|y?&ႀG"w` ݘy뉑r~ xyJb)_HmJ~g6&2x湞0xۊyhGQś=h{OL 5ڗexJ0Y<4;0}C2ST c(R8:XgD~y A uiX?\?{Jٔ. Mnj0rQ~څQ0^̈́PWVLiv}J 5,A ^dQҹJ~n*qq 5d[^fKh(E(8j*mu9Q,)7;SkUAO]wpx~q49z7(ky5Xf֭3B}%9 "U'8QZ+vqkYה42zT 12ns/[>Oie 5Q,sCg[&v;ړeS9q㦺%5I6o=VV9$b׺rYaR>w׻(x;]mH$: %3=fO1rC~/Fijc8aen,e Lc a]nMgz[c/8$F3skeJ c{/WI26=Ů#q/HC`X? ĮΒzQej& uG5Rl]-e8a2Ѱ"sS-J/!puFLpĜ`J;lzDTظN\Ť=xJAԶ7`UM_Z0JoMloF. ~J͜w-ݓp'g LZK%h@v8wrcRT 7N5c'Η\$XA*TVvZ$Sӭ˫4ˇ4|B$k_0PM,Gm18衉D?J}t_ҮԮ-.ܮ)ckMHtȒLm)Q>>vHuyXʒZ1ӠUe~dgGj7Iw va{Q1O e=I}߶>9&;,p"JЗ)k5m#HS){E}X4{:LqvL" \0*Swcm4nz~_!&G(A@-3hJqWPqT9 5I$$ꩺ/z h8XTF IFĽ}b'ٳv8riL|i p`iU\&9-DKgtyHNEMjI%%$f B_~٥YPN-W`cCܪ[Sq:;*gjsl" 0^x,(~j!{"j~)!:a<%CoU0§$ˆn-jG{c$ ,')#Ǚ>މf6RA [+CP;.N]۵& N)teby{|.櫡B:~+xIJ!g9[*\ń0·=D. h/|E2\C ؝ :rQyITϠ|$0)"wlEQ&υZsD` Vo;f̿!" (Acsw'ʅRł<ŋ?Tm\pDI`Q"\yqufU +PK*?+0 OC Nw]tW ; ě(Tn1 9ͯ00 +G>pfl1Gҙ(%ɛXL .G"lJw=F~w$,B׭D E"҇YNڄ[} ޝɞg{'|VU9{?g ` ȾuFXJpÈT4m}?~DśjλN(Ksӄ =-at3;zX;1hu@FYX_| 9"6\ZL{!~kT+05ez+FF X#\SX1 v."B&&bvCn3Op%i9?6M_Džn'G;2*plS h3oooEtLrdg;&_D˥t/((Nھ_ԺH  Hkl7?kq+A$=9ߚoDsx*j{EIew/h tH𷤤P-hFbva._+ۜM">Bեg6E7(|¸'к>bx/wd5W$ >79 $y2B?. cx.??NVF=9$ӂ S`hNVZ)0 _*`]Hs^@7rAxXo5 eҘ)/nfPAf6 ӤNy9M)':(aPPZV7Xm)޲=hM",`yH`*^`N=l#pΓdLw3H:"3dJFqlY|GR"#82hXb2XvMD澌GpJ[L;qyc=&ز"bTLiN;_3wN b(\ٺ'>}k-|ז/ .G5jqQc;QNc`s} g ֺoW%fc!oj| *PM;$@nIKͧC ^1Թ ?*QE03:Ŗp3o. =+bA'éa\ÖY1};͒Hgx8%::>y`YJ <`Mn(6gxƭ&3#IYʠD% Z0a6+.t31S\;+ZI~$y7J%c⇪՜7tLF6:38{(fC[HzOcS]-3<],k}tYzar'uBgZ5H8?Ҭ8E˲ NM!\t6UFt7v=8M[]6x?9 k։3;րGݏxN|GKX&gOo("Qx/m<&Ruk7 ?pGDi-gsj6SZ=rրWEz D}%(͊Czz&ʮ=2 Z((½Ϧʃ>w,E7KvN.D VuSp`*$%ǥ&_b]8bu+v>QL#ˉ02T8Bo%_ ,o`1yfæoLãȼАi-ExՕ5`Khuج*֚w䷷[&A 3 ~%V=_%dתA[j6\9ì )󰗔~osnbMj$apj?K +X{66NHvH襵]\' $.z44""8,>osF|Z.EُUS/O: ؃'ӚO>T+)qtMqCgdU+҃RFGH^R. ߥ6؎\s%2jj NC-$\DSjkWޫVh/5M6g'_&9`&z{3pt SdAMWQKYgZW{{3`8lGr*.wt<h ֜Ơ1c"z1þ{2ϵP:<jK{2goOwȵyfd:vxWZ/sNGk3{ !lx<` "9Kr=UuSɔҨ%2]N-Sc1*8ξ!1:l5­t p7vQ~u m5=&;jswߊ 0LӼ鍷"Tx扝 *P̖GjͳԷ }aA[U6'Li)r1'Gv&':V(B//򦏤. ৲hOȨ w> gmm *(cXYqq_%R/_]C 0ٙTx&@w{g=sWsD۷EXus:Y`xatӄW(EK4cLLrVF9OjP!ֈ) ~lÆ -̭jPϖݘf%E5#10/Ȍoʻ4Sv3"5vS7D.ӧBLl_ +uv9Dpay37u^:V|v*2懑գTq,"p J_ a^uY ƓuC $]@u:WW8oܰ{<5Ke3rENr{2g}WKmg3 :kk@ݾ:ZH~- *LĞA*OM7]zl@e=|&봃sU^AuYJ8Ty6 &K9VKcW;XngFnx~ٙʥr5S0Y2Y;"%am7 "BgcDg) <| "ǮIG>G:Kc՝N5ksŸ-=6avdF*vŷe젛iڡ?Q<n+Է2ʑC[A!9Ղ8W U-]EAÐZ\6HQF2e[qk9X-,Yk?wy]Yo <_v"ѧ/@e鷺piPMr_3P0\w|{tM4v28r-qj9?Dc>!6,7ŗK<:ׅtvT=!V܆rIV^[olֲ@~50' )ZV8=$ ̀C{Qv+כ?sE @b(b;A 5VtnkXbFU,c({~Ч#^ۻ^̀[`qm`;ƨɍbsXšRm'c} !vN_l ׌+4gZ .6RI[a3*UUmphܵD%rz7*f׮{"ڌ1*uͧ.& *Kol.S>Kx+v q?t̜±(4iik\PUJ0Qx&p=*/"qٯzgRJl}45Oq; =`;vА7JPp6' fZ`nGp˒[5}lJ E-JWx<P B/1\= _RYo+Nt8/o٦S]DRvFͦ)z$CJ.E)W?*uǷf(?DQ\d?=Y;zQsx,aI|ɧ@nJYvz_}9*-؝x6\pP`(%c<Өc9y9\F@$|J=CV(aZHTLy|ͧw2p5_Rsjq;A:} Z:(趄~!F8ӡKR+敤2{ͽm1'>A8sk@O)N:n*t:ʬ(?b2Lf >AP2À%NH~.`'#GŒ9ƮTk*iN3-Xt~NJ!ZڵiR<Z._$$3K0u@&!5QL>%u zYknmpeI*dh+™& .vt .բ̩/TM9a+%Z?AkM1` 9$a&JCq5˓o||ݏsIt#(L) sl]іح>h֙NT e; zuI\{W/3bY[E4#V//)X=A\rEN_ ^ZƒrĊ>Igz eS4`מ^'Zy YϏ;P,7gR+LC~+\Ϝq2|F!*7~oI6@rES"tYw۹z{YEΪ>-g["`i^l4ddJ$yxX(1OK堌]7 ͽuk\zoS`QDOć .qSg( @?)>(+D謙")K'.3pEoxmIP " TzfnP,zX6D |a~`( M.+X( i `3:**HYjzaNco,T:w 뻀]G‹KrT4y}):8ĘUJܖ];ۃ9HwU oG:Kނt K"jR9RnyyoZrĺUu}r-dV&mytr3>:l4; @`':||X)DU|nԛU{EªօƯ Mlp)87T ?g{yowy:Jj3€Jzk`l@]} (;^5eOфCgY0;G,)/OI0xrVsaDZfuj16oHlZ"]ȋ+V٥qO:\&W4FS5h?! 1VEyBăU^ZjOWPdb2"Duw)6UՎe'y|US{yI<@ʘWQdy_eB(1`)'#sdԓ>@]~-=N 3YZz͞~LJΜ݂?aKX&eC:&ՄgyA~ǁ:NOBG_`[L,NYZH ANЦw2 ZMP:VrB"/tqGG"]hk_jKG Fu`5 hЈSRV~g*e,)sֹsD=z GFo[T`Io/v.-SjU=,P2㈧j^Ro&ݺ l7-G-B#`/(Np5,ʅ_!&Zf DԼJO:i{ϵp =>[mطLhIs"u/J85|d@LzzT/}qTi!.,iv. ry܄Wh/{{^ 2>Fo]1T֬ Qw{Y\܏L h׽bCpN l:ER c.TƉ ڵє߹Ti< mpj(E mr?\c:N99ʺ o `hB/E>")*~J= jL)q@{bέzrG2r+O'rKhdU+1=lg:u8D1 /+Y mEV]fĐhg_*F;nD)ܝFsA@\Ԙ`C1s%3k|&6sbHQdԾQ%\qX[%gf'(/4,e*Hs-GatzG C9?\ug70BwƮa`(PṉU,$J'nDi`w& ud& pMj'aB(0,Z}(GÑc#*+uz9Dͩ@Ԭoq1r ;(r唀KKyuU\$ 3#,9SvBp8@!I2s"qlR)^cADR3R5h#OZJ4ZNt 4.U`kؐ9aMXqQ:lԼj]\h_miick ٱj c<m_Ÿe5:ֿg #O@U(]-F&ie;ws߳pAr\T`-sDe6Tt@4J裔M֧ℽGDLЅo%re?@n'ħ{?9zVb#Ƿ6k`ة<BxOY^Z"̉pBrٶ*Wsdq=_ǃ8.㉈ Rn%=͜}8EQLσ RlpL Y)iLKNN-sH$OgKa=\ul-< q© Eƍ=}6+b2[3D?3ԔʺR|$#U[hAK>k$Iemzdqb=:7z^UF=<SpNRT/rF!NaVӊPj : Bh|Aʸ)Xtgo"mtZC,B1E{q) 6>6)ss ,`uC~NMMhFNM[r*)hpmap-wO">)T"u{UN2PUƤȹ%M7Gy@*/jt } :\+X\f2"qʒZgLp;uGoYmˢA`[K͑FZ3`So 9cRR/|߷t J% Q\ҍ:|Fx6)9z]t˳􉤛կUQWEɩ>0l5> 9Ibl'D"f2J D|e[d3250kI]O+<]((Mz? *zH#RZK&Y-|UmzIM> L*ZrAbT}|)aobSsV #Kc5ue((.kf0pzT1f/k;W54KxKl\a"7^s*l&G-!f:cqᅸt\f6LoNc+r?<_hn_[r@dv7axgRǁ T3Nnٟ/dG7fjβcRܔ O @+PScuΔ$0ܦHJJsua M~LrR"ej\lEgaqָSlYv[ıW9CQų _&~DI5ۍ{* !fTX$ j/ʻ˓r=x<^jٷ# מl=M'\Cx<e0Y}DsLaE #H 0;ש GDFqff\WC Vicv+V}qHFhщu#d^y"2"ϻ0u?ΰ}APY(/aC/G -$EʀyZ ;t S4ng# #mJ*OUv_NkrK v'z%(ș<@D4A5L9_]+'D\!b P bQ}4gTGnTmPYBG,vx--:3j5 N.psS$k l߬* ^oj^&Q+#cU61)V5Fy %dh.+7 #$INU`I coe: ~)2V #6}/P9-dd*~a~2,״Ӄ靨k&f-K^uIAfn\ cK9 6BTK,J>iecA]eWWQFs򥑾UV(UI3rCP8X,E={}EPD+xkʌ6O[4j)Κ* O]> !5~ nOBDHE-'}#̑gg߅ţ$]z_`)ݎ:*6]N/< #%v;gﳹn.3+O50xNl  8|9gp"abm]n3X%Iv$#1δ8fL3-Xi:,nc:}Е8z i2J+n+L1ݖ A`|a xʢϡ!k+LGq t=]. ՟rT8=zbU=|o iqV^T@I]#XEfi=Ix>S06?[hWG6:o|{Mh*BqFSqGw iNPSvh3.5܊ށOQE<3Fy:*OX!/nRDk1~"+p2R K*0ۡanT^[pwZЛ&I.Z B, *X) m j皮ВݕBԱ[B)4,kLֺօFn\xs Ţ/~EX47QWܑ'u y`g$]up LTAߔ.6p+Q TIiE_] FCPkhRgX;1O?+=ӲG1qc \'}~ 32~ ځO{-}RUKc$V\C`B,cǠbuY 9 ?ioIazdܺHfBd/__b%moapoH.9]+Dfo=jN0Wwq,3&4Sf%ib+gԉk|3FaȱCh7/A 0.WL%4Mqr !Wj'Lhu0RgpL19A)ˬ(əGasBqIb ׉s9 v zx9m J4hMV&M3!7B@w9y3-`As=-8jdi\C  zzoao(Hl|d8t_@KYO;c?o\$cr1֫ȐvZ7 )l~H? qhxS85䥖)y9& H m<㊢u ZDfgKsmݐ;wx]NiAd_hߗA9 Ļ / ~rI|/6ieAqYf _\flJlfA- DUʵpݸ)FL'͒(ⴚ#M//:M?nSlK:/2M*mz“ehSyBYpRtuRn1upT;^sIRRDLNÊ/~XôgGx&Ðu6H_z:x0(-U4^6GЇf-x&*D%׿vCr9xĎ~||JY]L-pW&_s_K{O5tqJdaۧŠѨHʚ ݦj>'ZHm4bS恱2y}'R&6c֝gh77)D{ԫ u(OIULd_ b8s'I V@bTI۫Ғ.%q74U!0XuɺlyKdILojoBٝ}Hٰ%C }%3/~QM:[X_fڻ9zbcuyZSa )~˪UrLlx_Yw'h&L{FSX[\wB>*0YJhg_(}}@ 8AIJ-p?yL(".:&K' e!7Nysmn9KrM^ZE ly`#w} S]懲s( IiόTc}h0̩ևId&j),K)i]zJPt`` YN ™dj߲%ڡA~91J1쿉 ]6E}'vzuSj3jĆyߦB[7^|42$As}MA VU|,]sEy`7|J_!-H顤bG/U)2SL\L\[}'d*Rexg˺"&5mfo>wfZ/fDVt2dc W4kZ0Kt#I]&0H"m1XGd- |T@e@]W~ӒLt)!M^!ӊ@R"CƤ۰Y60l%pHw<;ڔŐ8-72 vY;->~ٻlYl&={E'g)rqleC .Ld&^ !륖#ѝDwBSܽ'5B8+1&=BCj~˘ Y\hLf`o>\a%YP+.|*?ecfѵ@ ^L9ØfsTԝJ,o|R}m}$WO {W=OTcΠvX9-b#~IWsը&ۋ iC*ʼn3|^C:2vZ#p~G+CO uj!3KþYU1L^,Q=%~*i)Ra(}y('D"|bXƎ¨Z?@JA,xqkL~c5*w]JQNEjF`>e~%VP8Wh`eHIa$:VU|? +/PI='j$:_ t_92~SgO1B.p&uEM@ȔmF=5'ڍCX,m^$E 2{ܓX&ˢDMƎ.&gYZ6dbe6b9ce2d4e546f52688410bb5ee49c0f4892a3dd106b0fc6e16ab72e3261eac1cce577c86ae1f09993cf3ccdddd8310562e5474abb3b01d56453a