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 DD%  ]/]HOL-Analysis:threads=6elapsed=309.386cpu=1519.844gc=56.388factor=4.917zXZִF! K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT \}Iבy`LuQn (5G<֢CBgz/67`.$=`}'`dvk_prJD(E!&' i,hM;fLx.pL,ywdXJHPj5{9Ofvf2|; w1mte Pd; şxT/ۂN`@ 6F?A0kѝT "uI'hRmzNMl-{"Inp/~7rN4S'vbȘ[U #'|>[ʊk ҭ_gyp 6xQ\¹X/Îɬ~#cl_Zv~(Mȩ,5.`8;ʊ\9%5}%+Fa1GKyZۂޭMJCzm?{ aJ4p @-hmƞfv.qN86@۶BojB3P*X#AD܀º]=(V`LCGe9GRd]Mt#PG!5J:vc!<0Ko=߻ -I8Z U;x{,UY$-o6Q;%` uLR=f`X9_1պc2ViҀ+bZ2WJ?=ͬ"V$XosDTϊS3VULu"ThD"p #27w{j"ij0nj\q 4*cX&G'oXFl'mDODO̙+nK~ǎYՀnF(1*䊿. HB3EOȗM"ƓXY?˶If33>\.\x`  |Z{/c_)= 讦Y5_Ŀ |`ޒM-4USOC_xSFLQ4Jnz4BS V tԂ5=^Yc p^]x! &ZSpCv~ KYԭa#x#։\n/ߪ ,@+>y#JnCZmi-l@ -*xLwbm^[n@sUN)TFI4Ķ+IO6O`"]lJ O,鎐 CH=-`6 :yu}cH qfBBL*5R | ^D$Wn§bE1^ڰ/~7{Nfח"AN': jd˷e\k3KJ yhE!sszz# ]ecI\ʾF YLn{asw]FP0^qV^aBcV 42 U] L􍀎@$oS{SBJBb柰UPsdԼe?q052Y~ N%so}?$/l<AKW y*Q * /"Ni΂P=|]#H/aTD'}@_]r}Wti0u&UX oNV3vRnxT zqRMޢ?o7ݝc(`nP`+A~9r8̙=Ƿcj+' Xhy%-xfW\o!*Ή,~-^7ng s]_ rlF1Xh,'XT"! j^lp݂`AEȼœ2Qԍzl#Tys H*⣴n(Of޹z2 ՛MSh;3WA0Av#] {'>yx٠{R!'B<';6nf^E2sFhGqW 4 c5pR)suAD Džnpw{Ĝ Cy|5ҋH_w54XD9Yx{"?/r1WQGcp}T"<5͝ .,o|7)ҷVHvs]F5VөbWr zj)CV)e-eYš Jf 3ͲXC*,F:HTcLK-ThlV3UE!)(t4Ft<5Mkѣ'[5ju $yeaE hR` k  >7,!7a([hêF~JnH-U}~bJךrɆ#Yˊ߇, kWv0V2h~8ݲʇ6PIE|#Wdח&uϡ߈cC?7'=.Hͭ%Ov͸ [wH.Ik\ KY t<"n=+B"ʾ2rZϷ~c1UX}6ܠ%)ۯ[u+ؤ, 8Plh xfp9qa1}hQ>ӂp0J*<)ÁLnlbr\Bt"=u&ii*q'G0%b<ǟIۂlUչ><Ͽ0Esbaiڎ`b@şd3(FvTw(\Tl#Q dXސ]tE ~mr?'#lJ\NlJ? pji]LVś1%N74ǂI %9?fD;=vN?tUk8f6Y \԰aj??cқv(i:_"_=)74k[l/V{)BYc>7bg"as{<`}30E>~$ʱ 76q)ipJ'І,>-bt?%;5<B k:k7Ltl Mq; ڞ(Bt["~Uh=ZLhqy@>ϸimq؛ ݟԧdwLA1Su`<]!d?dN{ kD0@! tɕ@+1U8 "v q$".;j;yRvk埆D^S_9e<}[A |Tw㘛J|KN% MJG5\i^˹~?['ۜ -*ӧ@T<[qhҧ 1ÞT[vרnPk3j0ċQ|O0.ŶBT :+~a|H=w$/ u`Ro<&qH1N5历oI]T{]s|BbT 0l⠦IK OgwGYFD?I!pm-mM[wyrAib2wmFQɬz }'.ɥhfKrrLvف"r]p3yN8Zc$#.įjcq<`Ik*<]8 DN1vq~:՚ } }#f ^J !Q0)N~f ]p:Tڨ;'K itvc@PR0XXEs_]593w>}4:e?EK0䡃Y^^]^CI.` 2G0ij +핶-Z`тY؁Q=F W B"a nRr*Qp؞j iwYRSg?=LX-P} |pOLu_LQn;Teŀ{JXi/dƢ4]ѰPZSXIP/ TK~1 }z݀Sc(yI.y x։0AAvbi:abv@hgKyGKqr]wXeI|_I"V2f9k}|K%i^1lrCZ߶oD&WgC!GvO y}3`h0&hZ -cK?`?4`8^1Yj<ҙlT\?SdЯӟӊAԐ`/1^63o={o=S~zEZnj)l:Jkc1yt;H3h- Ҝ~CiŘL~Q(/)Eߝ19fV2q`M"i 2YE˷!eB\A1LQoJ{^gFE^VLE0kf+Sz 5W6HRyW"9"$T^^+4f 7Gg,a9N7)O#j o+ bܩvlLϾ jX@M2%tub53|zxױV?\1b%LH nk`sEm= _qيNR!UԻKn08c-H!9m'5Х!*3*U )@1|g82^AD Q| ;fqgu*;/q~bnZi۱sFMFt5(fɒ[fL_ou_if`|)8li!~i]e[c|_T{v^:"4Ig},lYJcE`Ρ,m-.k&۫S lL3!(Cpo= bzdՉAlDF`vo-<}"Cz(82xnK||_`DJt]z  BB1qTf%iڙ Ԃ]X;0<әX> o_ȓztԌ* ?C7{ZNIz) #k5Y(EesƊFJ//6^]Qmബy&B.)`' !(頦O v⯬3ߐH$x { s 3/gڗ~JdO㎱GP%{'kJ|jasDAO,LjHUIGܤ#)vz&'ʲ)VJv@*s}iv`_3!Tw/8= RLfxxPe|g OPV^Ztֱ4)_^FP!4W~ܪR74&\(WWzՁ v~irvM~cйF2[B({ӿC"OYft8+0aA=H~\f~o],.&oFuFŵiWk,er> %ѕ`UO=$V niJ|4%|B.' ;~yٜ7] e97)yl2#S(E}os;Uy)UYFܽ7kNhcIQo4.E˾$ `Q(S-*eA?GP"*ә4h%\2v5-Pd\;ErD 69s{e/-SpgLj] 8>/b^WՔ""bܨ*FQ{$}gF֍q |k) wI+! ;r<xQm`h(6 3g^[ Fy=?D_"_LӰN0d$!4:.Oo *{ 5Tu č6n/*5jdG$CkE~_ EuuO`8(xiTC{=O>P`H *;˸@HCD)y yI$hUam~ '*~=PUS{v7夾j#wkh{԰@KG_(3TPuo'8*_Mn?dUcaa%y :O7Ika6Zġ~g6.~b#FS Gz[ "]ٚ}ĭEѐ+|al}A2)"̜VXFf Ŏ~iFU^֦WkO%s$&Jʋy(dZ˃@geu;],[ߒUJQug^oumAjSqWeRFǛ2˩%|kv|+/ Q:Ȉ*Ӷ:@SY\vF+y UHFH [3D+cq3lTQ?k! 'B a )/oѠ4((C.-~h/4zTB0)?7UQn+O. J;^֪5ϘNۯYkweM,,pwe8^^e֐A(F.:Ã:-D^7 I蹙AAa9 d"헙YgZHC }{ WpPGV2 W[kd k1vpy.8V}u/D_5Nbˆ%\Pgo(nlt^8y=zHlqJŢc̑ ۜpSW˞(nŧ? 9m!.*T7>Æ$j 74'{dkt9pXz!d۸5σ)j/J u -Qj" @nkϡK <.ՠP|1#̍iAclB-G$"t^[֡$[Ko*6vs̄ 457AN8$;ܣ5ha9QLLTTqcӾ흸v-gV,/ O>0R/.9Z&΅aVAxEl{V0̠Is qe}UnV0Z(\DAM`uF[JU ; 9}Cp+&j 4&YE|^ƕvӶ w;@`兂R:==~۬^S1aRnwBs[4!츔XHz؇=UpE^S2*pIk8gb= 4ꤔJ(C& ar-d~ʧ+pŰ~hѷLs璅T!óZ GGE@8|쭁*¤<-ILx8hcu)_)SECh̺ /fQ];PeUH5_թM.c }cRYMOP=yϏK큃Vy'=F  Z7ݞu f9RH۵E?*l?"@O23Wum([UR1TѤBQI%Ftm}»8Sr\Ay/HOGNV IS(R>u&1;&3jk8(|5/J1yCQ*S f:Nqލ_^ȺʞUIk2w2jKzdI[WLO[NsZ3WRR$ǯNf蜬D3䙰s +rٌ =g bxdhD cR5Kse uӳtj|'Ν- />Y8h6ż*4 b鋲m ѵ^+"611fF#E~J0khW})W!xu\9FɘSg[!׉"zPV.Á\Lm@rx)I֫q '6MD6pSΝhAwj#|)=8G* &dN8Co);84Y ZWTӌ*쎭DGiEHi ql>p [}l hkv6ES ΎNWJz{}cF Rk|03a딵 |^:W'}> Fm>a4}? #ND䊉6ܣbmAȧjoU~v+:k1>R`} =|,#gRvkf}w#{aFTh l-Y&Frcn÷ˌXE> cڎ)##̄^r_NICoE^>=2?]E%,xV 'Q5e1/9 ܀qsQ`<B~>cRԑy{ɖe_sŃe-TQ[5ɯϧb o?‰^*HDFE)cTDBك~cb\"R͠X`ؒn!}E80|ts{/$^/ثϔQyDZ 4dpW(9O 怒5b\ ^ʊ \1I^B.ŊoX)Q61UTcܕD Pzm.ijn$YUxD&T94j-o c@@Imb8:QX7BoZ $'XumR1{(.z2XЏq[s ;I4F9I]$9|*%~5%7.@+ W4AIr7 T v5}98 +}^=uBեQ>U*n Um5:"a9vldz'!F6U"A6JyTʬgp s+DJ&E8T /͐ WܒvtVNɚsԎTEMÓT gMJcэ<U#LV4 C=ƎuF{_i(<_cӵGԮU(5#,z?dN\ 4Cɂh^'"T#DCztRnCVg #١]b\gtkyu3Rl}כ236dSOO͛E<eYBlx'+9r$Dߧd7#?_`Ra}TFɕ:]s 0΃AdNhbrQ¾!('6^++]X5:gE$ q@A'/)HneU oro̩_Dq+ٖ@cp otX}L/-$%lIjJqkԹ;( !):cD:oYVO(i7C?s%=~ ,E~>"=ya~߆2>S<Lyea!=*j?=ZyBgIetQc sƳ"g"0 ; #ɽ-GNF.Na@}ܰηP"F`)oS&9\i(hv>.usAEcO:~#bWY3j yG-M l4כVF/JQ2"۩ب_zL#ynƘkWJ'c>D95jE<oԘ\P{3giyl5A'k8g xJp"•Uf$7gNBޒLZb\-s7gG4neǎ,對6JҎ`>+gm>g"0tui"̼#Mq|@*iuZ;,`Wɿ8iyˠeÿHnWP^&CՊ>).BJ'ˣpR˵獰UX}dQIPnz *÷@edUI)k'`1D;R5=o@{E%fnDDLFU+ݺuj BR7mYFSM]! piөp ֘GPq ! xd"7L50-V GܸqDW~$i`azcw]U7{B^~Vhi"W4dX H3@nUYb؈H~+"| Js2GH: '8KhB,Lraaq D6{&R+[Fgym] G$)#@Ÿ'esY"X<|%D,B NAzKQC'6$o ?-z퉎ۚLLJDt@Wrcc;BNd) f0ql!:8(mc]c{,A;>'6$eŚmuBuqXlCz"Z"r\{lw(Y03N9N]FY\|ЧK0'H"?e:'e^641*؉x*jK7 1G5=)wQG(ߛr/N2,z܅M Ŏmxř:x :> gaCCGUzm+JFi1@ N*%pr `~e'R|3a߳ͺG.fjN9, "cm-gZKEYR 0zR\zU?" q~/]Sx<>OZTa #hk<#>ko7h4Yf0WZL7 FPQ.{6ֺMҊ\jT3t;TԪ=?&C/V'Lj An*Õ#'cb#.хgZ$lYvW;;+ di)̾")f=wKJ_6 fYP1Y뒮9Au:$yFF&#ڭS_ڊ>f5kق")G,9Xܗ̃.~epώUɚB:0()N\[)d%֞L(D.+&8=H :jXD`)Df+5! 4W=Da}=K*8?K j3*5}pPMo>󷪿C]Ac˒t)r.'NO餏v}r࣢1d7VR&=u?+1%@R͟n#7GPkIմ`oṶs>}J8^j P/CKNEHLn9gЬ:7;BތK_OMx\.jUEF-R_6Nk\Hy4`4NB;@wusJo}g}ݒw}-w7۠\^QckQRNJY2 T6I"]>5yHfC)Р5%2XdMշw&򘑫^7.@e%mEݼ\@ub:,p(ߌMh.6mvK[PtD(_+iHd|܃7+Na۷ Atx3tD#U̸HZ6e>b\T =MZIWN[w#VܚvI=9wṂ]~tXjGvpB`Cؠ #Lḭ&lug;.]m{ Ved+|HQI#\\8RCvZ$p)I^eW|/lfKO.b90=ɕLin7*ZʵxTn]{)#N6Bo1H#A}ϚirCyW[Nm"[2pф&:cho)=4#";Q=I@[Mj$~JSX?q!+B8:8DNqAE2\Lq$) nNa~~I@jlR\OSeBz쑙rj1ߪ!^Tb Qn*1Ho\FJkxp8\Lwp= {5-^ 1)}?S$NŖW`U?z\ik 1iM/A1l e܊N$ϖl#* ZؽuA"X徆%x iZqV%c D/LȐbdb{%o5+UC勺3-Y\*\j3Xj@?p%Y.ۭ,V0zH+꞉$I|lMY䶖=?0K%v|?ȞD0B=FijWmCҺkGv%q oBmM;"+< ]~0~Kycy6r1@f~'s)^ɮED~ճ v)\9ٺIZd=Nu1-T pܗҺgYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4>OFm䬚z"G*^[%uc",=^(H43&CM6W[%Kђб6?vlu2'x)a@?b8H"TDKV[V cǗfaDtB%ֵDT'"N57Y%ވ8a+$k1QYB xsj>!'n:ɢ9?` -N=b 訑B siKpleh[?a ap[NZحAq#h?pz%:.=Ê2I ῸC[M rMG^"vc0{ad.$>ה'1/HR-vqAImEL - ,wK8s98Э~C*t?ť2͠|f%Nge|z֍'zBX|3#&}T+!< 8^ DR_,woea8>mY5_;vAhtR޽/W) v\5.e&:]\Co{c=ۆ?(mРzq+ @Z^䀋,89a㕏2= hjг#9ޠjB?;` ЃYsQM]f[AQ~= 1_"Bz)UO'qs+nr&+c0?=p@jޛҙ |*ӂM|K:΃PRx("H8,'"o9>%F' !@ t*C"$Kv P&gd=&?oy%Ԇ>u%E`ab}H.<0:z+CR?P8V u'O>lMr Dмg8ɷzLt뱊я=]t^>j(PdC'0%Ǯ 139;[*wt ^™6(c?MM<T lZk- X?t v+8UI*I'YMK_dv)xf//wF$uP7\ZIO=-i+0ݤ9pe3uÚN~%&1'i (|A s]~~Gm֒;w_#f 'cj޽ ŸXIQj$Qȉgt8/MUעfP:K"7"f컕%liiN4 \\/S;'GGɆ*D]nƄj\c q:wo9*c<3,Y,NlY507" lא;s\L;=4M3y; L\3^(|y\aǦ_ݵMF́*0Bh;x=2~Bdu~\q<@$ >#şw ά5VXx5 Qї< `pP#ts]*2L(-c_}ïe̸%D<<%^tGe[u.M/'"gYZ7zXZִF! hD]ŗXi%)1&Bâ+MI|;h-A`@L?ƌ͢[(M fq`ϠooF{vI(% 2)+3w{@|*PaNӎ;hޜF`>0#z6јUE&ʯ#$HfG\g<_V-,$Z {^źV__ang(8=Q|ˢb64w]\FG_Ю$u^ޞ1T0RZZ03@l'A~(_>0b)0PR4#J`E(xv&@Z5!ОqP3<'Dx3K %uKfMW)،EŇx' tia:|RǮ.a;7rSoPd*ku* ǫ%۽sS[yCʞpL=̓Q]$~]oP`&ZP 6kOcM ey\0D0V~-jvUP֋{GњPRU-qpXs䠎Pd"v zDZĕD&S'qy3){+RE}ׯS ACl9Le,ևh c .l9g?%8Ih7w@NAyxÇ4 )C0/Y"F7׺I%w>Gg])GEb'r%v&J<6 tݞkW@xSiJ@'H 7/Bބ'>1ʯ64t9Ps`@K ұ&~\~V69c5+=&w:fBlfY5H:h81'=8%̃L,o G"Ar.YglQhG/+1ﶁ7$*g+O,W!f0&.-@,K<4ߣؼeK*m*ѳWH~mQ=L7FN3,\4ҹ P &P)/Vei[3I$iAV-1W`DzrO$3 3uYtddAKfb.3ͅKw<iSY,jהÜA^Dŋ:/&3=MW1-l>\l\ԪQ" Xċ#YK>[pVB B E}w#2C*9"88̚&PL&ipKn-I.-'O[Aus`e SZ8XsOa>g }T~ 'JXMɫImhpuR{{Gݏs^ZI _~C0|Xi;Q-U4\%-(4-q:UNNoEOBP5F^2dQ<#k~jf{bXG]%Ђk>]X]V>i#\ Zr^P fыqF(uXA_>Pd ͠kʤDS紲ZOIJu8R16ڤ@?17e7wx:BYׅ^d?EfǓU ww6VMW!bfɩ%)ko+ ILe3*##הiv&6A jn^]AXteBJ1ӛ^,=?,ޯ$1kw'oS]["[k[Df 7MiY?MI }O@@~.0bR9[79jB&VDYEtV ׅNV=M Is+fZ /=CG>؀\Y$ŠUKZD%cxe pA9pMD^5ÐX Dp5L[ ܃llh{pLNc(l:?vbRYQ\bU;I"w FAuS9V(}O K6/yA a܆Ї'b~I)du-Jyn@˧ޔ|fEE=]9E<2k;~Ysʷ-EPWrn1&t.wӢ(.) r::_O~>f'%Tb: k|+$>ZŲ,2OCcɘ{tg8S/͖S8X1?l2@#kb3 6B0<;iUay#U|ں!A- #_b`GkA镨2Yif~B=$ K25)ZV$zO|Q\uWZމ #\ M)`>1*: sY:MKYuӤ^-ˣUD.@ d[C8xƖ st+4ȐA[IJd@Z?j.K2$THZmSoE\+zO֣H#j6;:m0JL իMa6cK$.a~;QFя) "(:GBw3 O(Fn, RԌ_gOA-yظU9}tX( m g 1E09jb듣p™wҸoF%B=qI&| ˛дE>ǰnFXa~cE2bKdLSFZ:jb.<{nwy0UV[Q⚢Ńu&]j! 3& (0 aeS0ԇ@݌0Rg=瀒3ؖ]`3b mp֜#3[L Ea{-YQ9Vz,NV_`oHP:bibkd̠Jnmak"CsP)Xo)bZu넱<?!TQۍ%0\WXD;~/h 3cO:/2Ӌy7K\"#;YLt `]>'XPee8n{LRaex&O-D)RT%Fm` a¸K=QaseޅÞ*-gtT~ [=*<ۻTvk%yR#͚~}WAumqBIo[Zf6c4~䕹~ Q'V[VlS'oq[@ĭvnLC% v|VI}kȐrcFelsN'Ҡx>{9%(Fd zmοl!A-⨦1q]6nbGt5y@%޻*:X]a}S;`mu7oxU:"XҾfk9? zs>悴|e%$R :7h)ivUU6n'&sWFM2x/rUMs3[of a`zul +()C?6ZXF+Oxߊ)^($<.O]bk;lϐbJB׍b{p='=TPG6; {ΊcJN4:*Mv~o&۳] r* B79ZSufEw M Qb Xqj.vgے~EH dt!o0R Y muGW-8bUuP9Á+d9<~8)hhh0i,ǖ-5Y 7Dwa1=iA韻(m[fbpO5ΗimLn0&}t,ĥy `𹅪ӖG\@3_ױ 4@?ǩ֌R~ULoH,˳X^}Y.36sY^=PPV?@*杶}n<)p,TTxdxxYvK`y ˃y~g՘v)Wyq6!)LWPSXe(VhCm䍑nx{JW>|P_֤?q aٛY̿[<psq}Zl5}?$͸G%'z$&VpJKՍ_a.Fo֠}TgjBC?-=lCT(c5Cu!?R#ւ!/]`>K-RU vڨ]:ylIF]~"mw. zzH w _o6C~RX$R(* }k.2U' _HtŵV9 N.<ʨsţUqPw#LUI.I#drMA -ʰ̉ ڎ;e~*EWX DP24fymv;-8"NYnVUh9RzQUmdNw qbnl@YPiʶPſѸ-.p%Qo'p&̯/ſ8(Vl3hm ypcM H?XOV W#p%J kr8%uMxvh[oTO]D8 BGq jrr';wQ6\3n%^h )0TEAѿqSз/$;dg/a^i:xiEi?;p*[3`85aUG|ٽm?UԶ&t^Z+X0#8cb%7N]TKcc-OFr[AXt NjRc 9c 76ν!G@I-7ѣPI=9h1}^G ~ZԦ:z 1s?i Rt3ձX?R2 ZSjgv6j12"U&2M/zRhǍn>&y_vЗd02}$!//pP Zla_4{Uipo/#삩,"@fO3捳ƙh:OV$uP=@1^I6}c/E謶R1!`dv =x)Y܉Ŏ(r$ jNz C >5fJ/ĕ߸bʦu^գ;XZ\:Q %QTl= 21nӼ0K{:BZaLmt%F]r\ĕ診Zu+R&FW^>+|o V:w `tcA=Ryze9VKXaJd$BJBԷn)T:( FD8x+܍^E(e8²k͚8ZV[\eeql! i>Q/։2? OBz{WֻNsSR!E3|ZЯ@)栶/<˷fˣvJ\+ "#+)ȼ?8ZNbc&n ${lD}l87}*E|UQn(*Ӭͥw L 3~_6vj]pVF[:l\YcWc#lӬIfGas>RKg ܐ =:z W;\EDPo}+\@+/!0 j[ ;[٭VPk'tHE2H7SNK.P~+`ANe"Y$ѴGyZOjfru1ne*w0TIWZFep ZIЗ# hh26!Yl,!N5)}TSI@l\ -!KjD8͌ y{cJ[Xsz/g).b(k&hA`Y0f25S6kU;iNpZrH-kW2О{mhz zE|HLk"T3v|[Sו+ WE鏀=&2hPrLDn=Ϧ8 F ZϒR$ v7GUArmD VE 8މ=LL6^[/ OtOcopdolCN T]'' ڠ!}1e>W|!rES]Wy^iPJ Y0d z=\%z ľ9O 2]M?苁( =3Cˏ:%z#VR'Mia!&q{7qr^Ƴx0ViL P(W8?t,ͥE3]OQ(-^r5`"5duMb7ҹvnHFnֈXJR˿zrIi]j+_|'~CkrܥOr*~ꚋ#4R ~͛@7kf27|/|) X3nnFUْJ+_"ptP`߹uu"9w-37MG+۵yDΪo'˛60A K{/Sn ~!DInA۳oe=o(jX~hY zc {X ȼ7MaZ@qF,*V.G)``8VI;!׼Zthq"j3iѭEOm_E05t@p:Ze,]|OZbď xNPb{4׶JF}jfa? lҊy}1ýsȽc/h9Ǐ(ћ8Px׫Wbz_XF0auCG"TyGN3~Ka'LՍR:fd^8Pˠ%#J/w/pD>vP1J #/tm4 ;4.,?hoU,TN\G@,,7K\rt ķMr_eFڶa 82tH,bQբ;2bU -'f+аJt ҷؔ&K= ٺUuH#n@;,K6)ZzV;(9fu,Z.b}]ɱ{=T@4LD)Y8@zMbU^š6H#@M#|M q/0}$'ʛE^*[սCXF7ĦIDnN.X](s"ӣ'Ə[˾Z"lN쫆^Xjy0Cq iI(Q3\EucaU/\7|~] d"'ᑭcϧR=/D؄`',S] ܱ"Ġ) 69mCX,BCҕo1pI \EJgj TY!o`bҾ/WiN ~g6(c'ZMn@c{}@9$և;|qȥFipP9_ppd8[eU ޓ([t=$懕ޓbT/&CݣӁ!WW]q4QD Ն'@WK Lhs6 9خMj;xe5ջC~*aWKt`p@ЉJ&țL6hY%stw}bt g'.kT p JU;&Vb,.?`KQsk: 0iZJ3XO&L$Ӟ]nˋ<ӏecg?0NW=n_C]fyqVXOd<"EF×YHHT#K3O P9`Vˡ}xHw>D .Iq8-ÑfOIPb1tg{Ak[ 0T 87߇Is \% vtST vs@dxmhsHFK%ۙ{!FX`Y]K==H+8C ُ (m?2bݭ{cT Ωgg\)5q5`TLJii,=՛:&:9tuU, !tBM(mYWg4=T6SűF5Dyx))I4ɦV_IL*'yVy; )(#[[a,l'yբjϰRjOxdCx*I?ǯ6J^cq˼YK,~v $;7=Rp\3ƒ|QV.4 TxvpmXŏޅR6_:U7<׆wd҄sC-M#e <wbG9 < zU^6r+8C"WM˥xiS8GJoW-oc1Pp*dG8}5V%i3NFQ 0<Eu,޿3okf|^fhFm/NgQ $\dY盤Iߋ.ʰ&wKO:$ (qZI6%j~`H;opQ11ti i+}|Д+^]ҋg̐7 S*M%iN+D, *lj:vnn 2U 2]ʟbf֟ NJR16Mjbۑ<: YגgvE}dO}~J,3c4lbBCc2x!$e.?Q}u}ቸ-P5[43y^YҸË \$ȞkܼʍS?gUxZYeĚE273]:Ġnl;sReyBʣTtdΪ7Xj2㡨XB7 zpD L0 AWw)  7w҆u> HlcQ̜?Zf)*M5DujItDhX7g;~V`4@?8`TH#PONcBk+_=4Ѹy Ts9/>U)k^LKW nڔRF }ɪe8 QSA"J1Gdog.JʺA }Ӊ=kaDݬ}ꕏ?tm2UX=8- } +!Eeja3CxXuAh (L\=4 WB< v@rr@a1W^JxA28\@lf(KbH85*mR$}7 ⸇ e@\g/MN9k%?1 &N1/uVfԟȈ[ɈՓwY~1'd7.卥ɔ(<%H-򦷜KLv.P96`~m#E ^́oa1b0>_̜PMLkpG*qwRu8-T~42k(Z M4H*UFdUaBK2\Y>vj'-X1ߟ7Z;> ol;Gw7,&h}jyBz=9Zu}!%v4o㵏t925X yV4$|{A ]|7W 5{Cz4ELcS sxoJikʡcpF▴*ٸӏ n}Lmm=XkN^s㥋?Krj#ɫjU KGm?O܅Ű4EYL`Qi03=Zgo,2M%8='D MX{FnÉ@1%t  iK0U9@P,QlFJ@HonwՎm2Qzq~_Y` .́²I5R6;6mOKK \g5xScMng3y8(:cR+M$wzp2Jـ  fK(K/USB"^4R@6ФyJ7*OGdt^/:" Q>d2oEi򠅐!`aúXW ="Pw4YF$F[7t x^y 1mT@#z[y|] ^^Pa9g괂c:^rcMw8`w1Atrdd3Vӹo_mlc E %XQ`DX+/ʂSs 7.:}oZ?yڪ14n!:[iV G(,Re2cJC&1#[&OnVϘ?/+*vF0ag+V[cpL8եiM$~1xٸ>&bZrxD]D!^Nuo\_on2c +տm-)Wb:A޾C-A)2-Ǿ`BeƠ҅\Ϭ{ 4*n?p^$z٦dFOLQ1Cy򪾖ziuCIu:b:XO< 3;LwePuћF6~JMD?Πv(Z+9Y٬{SEuĉІ)DT6j:؁\$gXQwɲ;U PEP˷u"y<ħ) ]XY tE2r63G=@;4 Y~|jf^@]bѨ YZ6˜O~U9Nu!&.e{E %^r˥v >ϸou$.755sx7GTkcjihW/F`u3+$A_8ƧٺPtߙC&55!ּK%~ئAN;I!e@mR1v! ^E$ KC5{&>w wNhNX8!C?$<6{"#w cU\sk[O|vMU AZzVTmz"xF$1{[ʖ郫5U>~Q"oa\y]`4(QgN]QNʄ'))hdQW/:JK?B)ˋjBMz1X83r|r%T8ch!V?A$w2R`7nA {%Dygv< .MF-4$w: 7r;ÖeFS,hKpUǕ0AfW_'3vz{띔{:68K說,+V4v iJyU}YVWj]d )s1{,,B<,"IQRڒ34KLjo{7[m.Z0W|yei'mgD a7Yl,i>=(>5r>*@uw+̈́K,w.zӔ-2Q<x:Uӽ`zw3PEAV ze(SW+',"rw2S-p//m|;@wwΐ;a\t`85]Wmsjm\C_Ƞqcbm| x*u@d2΅Ej x::1Wa8jWoi'ZX71-*b/CZ D:]*NaRҴ s8V9?6"7dv9ϕS0Ic˷vj⌥]\Cשl)6C#5i U#V#H'^2|St,">6xDEh ]VQ߆TfR7ziN*XƉ3WZ}f@sdImf93;T-PKѠPxK+E.XL+x\s`Q 5\ $`.&VFVZ>!+,&dsi`+âCΥ0ROZx,M"ڀmXth08~ .!KB1cu[t5r4qT̢ cDH9"2# HY B-Ŏ\5d%ep kn0|&;<λT/nx[a[ ` -4 |C[0b ^b0g?sihS\ջG8Yj}AE{LV臶O&U>X>jgiN!+s!E Gh|J3zf!'㊋&"~Y> TJ㈹n ==n$V,\T;v.R/胣QE [# %P%Ea$;y2=s_7Dߍoz@̏YfW$!PIEBW5m]H5ޛ6vJ;o1{F[lA/}S 9W* )T|rIImRc1j]pheKP.M "8AR8FڦR2.{r]i%NgQ@`@S,ɷx)l'AQ:mUHyF&!d  UY4!Y7W>~)@a-9Su~8ZlX 3O]fpm#>mYaZ13w*D+u9Ӹt,0ޕShI., K^ΔZ}pl[RiJ'w'84o "*AK4E0n&a3H )\w/sm3;%qw|hD=.F |KS]MXcnf,\E}N<fE\N:EnRQ6zmv%+t=X\G7 nBL/Iˢo UG4yMI6诿P#>JPƩ34]Iz >tZq*MVƓdf>-#f"'2o-A'P@^#_yOّʛ#4x#`ǖ[h7_\ M-rľ~1o:# 0|uW,E-Fp@lDT4K1ף ,fV 3L\H΄皈|Jоd!k]/,'3ݭA]IYحY7d7j7v܍;#69GRaUR8hhKԂ"o JսT?Dq]D6%*$$t7sR&F\9w ,bnW;' ~{w{.I5b?`U  Hs+BA|]He0b&"{<aTfuG _?LKYW~4jsVm/~&O &k? 0nr$pObή!(nyFݚxнT˵|auϐg'^e`& #ǿ^M.ۗC.=c_\j<%CNXՉxw|׾+%L9aw,nMW #(Þv]f<5ݰ0(yX/r|n{ӌXD:\:F4'XgZr~}pHV$̞̣F&@]JB!_u#eu$hWi$ZΦ+Hs)%eօvj㜅zڿ9\g#Wsbg[&T8(I ޲܏}dt+gYM+CZC)k>p.#-ྑc\1-sr l{u/T n⼘SBǬ_Z*"(=ح$1/V 7=Tfb +/F?|o}̱Kj;!C1$Js/殄 '4KC&$ RdØ-$'F-Pn-_X\C܊6M KcLfƏ%c>. 14Jӧk*E%Ǘ[ g+cVvr]7 a_OG}=\ѮiRxU]/ܔ\ĺ3]Wx3v9rBɵ~ m'3ps/5LiK8s3zgF|.ߥ9eERZF)]@A 0ԂV #\ 2<Lr 2Rġ2J$WUȷQOM[G&2H,|aF_uLߕNRb _ s*`BC {zq⋢cBRPydwZ)e`Ԓ\P,l8=ITV #1W奰|l5 gKޟ6c5y cJF╣/0I.^5zDﴱ:c9Nn$Ev9 ģ$+bMQ!aKIoV"m@_H]Q\caRt44g6Z*„C0++]ƅr($NlJh(/'h)'>u*)Ox,0 T,^E-S:@ͫ{!PI8XѰͱ-c('*'rL.|" ]ł/Y`{#Dͩ a=f:~e+\/}s)ʭ޲@-Tr&"8̔w/{l|W*YN ɮBȧx[ ={#P1 i؆貢jXb[b;7wBH7՟^GفJsR<c 6hw>RĨRA>>VG8IeAΨϔֿh).y]MC `o G&'\8cnhlp'a^]=pv~FQ.gYlub迵0 e;:Vܵzr~)Y`߯7I%4Fɜ验'̚3wL`sol=D9M{/m% (\8ۭʷ2s Fz0;J.'\ ;e\/O5otFMك*a?v8L8II_49"kk>h,9%7;P냣 iCA7~s:~HɗUkV)U^͂Iqm^8‘t!Zֵ"c;~ޢ6,'%˚,vumqja]ykh,aK_򋹤;Mhe7ӗW| PwôՕ/82(_epn]غ'EcO6ğ2svirA|n+p~m]Qӗ4h #2͎zr3{<; uG4P?Zlك94S\W5oVY): 1Nd!'h hZZqdYfǰ ,6m+wo(V*}}ЙoL`yuҳ y W5']V)(5֩)cN\?2"DMޮZJ@ɉDWaA&4nC2oi>2!f< s:7VR/f:m $RRLƍWԭc}p4AH8^g>չ=(vC9܄ctP1KY@P!53kOhA Cs.oA1Nl?V7G;5~"?;l`_bK%{Ӣv !5w(yE :_#_|AK}2m~PKKD1h95]G61ĴTن\B¶-% \(38*yE{ákK8S}3nYÈ~j[ U%}(Z0P=,ֱ X@s߁D<~G(ގ+P☣Cj?y yp Li>9CneDBCv+6|%gy5S)6fޔCCg>]5>A`E29Ő|QֳSމa/|#"c8%RSgW:WY~s +;H?qpT06)@Wc :k(;Yv*8 ~@U~1ۢeWgST&9<ŗ?')u~fEv\&K{;X4Y2NLǭtWQl+ran><#ɑ5V޺nk@!I? U|a?醞ʃǯfKCEw`4[n8S0S 9y͔ $~ze)FP!@6y]M,IBȘ!5 tUKSefOL z5=!Pcp[‡I;S hm{=dJWdo_~ ȇW+ :Α (POc 'SVT/]qK/Q6sY;r%2fy<ɋm ]sVӑr^?6>D`IݣbKJvw]hT\[: -/$}pŠIBl4go:ߥهɱ[P\5~pxhQpG\'RJ[sS+C-ҳO@}DO ,eG8Z?RII#MET+S"#Plf׻blgYDf\K6eȜ,7Ѣ5`HO 㗕S" _qk=$6Lk1v:ArZ>o\]N0mwb}u~\x8ei_1r@ID6O\?!l6iuTC)͂ #*o$&w#SǓ\5(C^xdPÂ{?{m@$V|6G'3"](S"=BTr"#lqp IAef4cqK[Dr ܣUjy%43~KKԉs-7A9Y'$w[*/LBM33T1c.aDJe5/;i D|?{B yjO,J䝾bn]`%5hFT OdTt$FfU8W;~)0o_ז`-2 uLf@&f7~SR(8?qXӘ  M%ST<r:-Z_; [Q8!Onߙo^""II!O*x K3asO# \1"UĪ83o ,aKD2`&ƐAo`!愵{2A~s#WńM@'+BhÐqbtC\`3HC|]SDؠ#ˎ`%Des)"l16?(< /w˧F٫p;DZ*U Fx'6Ǟ3\E%Qp3>%$Zg-u<^v]#t? 83cSܣPc.)Cj>p#Eޯyp0H2pFdS/8Rel4,S'oָ$_u&;xIJ+@;3+?!w?$j D:xq]-ȭA:փ8aR/Jr 7GRDVGXR@toFq*giNi'pP2mM}ҳ Mgg>R i;%C՘LKعȎX"ix #)Č~/flEòٗC-nLU- r|;\xT& Geަ 'YC;g(xiz58t#^և%e0c.Q }hIAL4K8vcp$EIg~"[yisk\HSY+7%$"w6btٓhMv|nH ?Vphs7vș xJ:C"I}PgMaj-n,t9V]O |XΔlJg߂g'їL6 Ļ-P^a C+Y3sAT wdZAM{~*9IEֵ^XG%\S%89Ԣ`8%+yw[ "3~y9/:uy t껟1| ;֎牓uTVW^.0‹~Jk޴!ċ[7g `12|$i9ShFO@=(ugcM8^tAG`0au^9H`%XV/N.ȉ/|f }q: 9,gXFRso`kQ cKJHQj!\;RX['Cn'K6$A/{ xSmNT޽gѿGXIǛ):RX4[4#DU7 ~9f5>-ἆۚ}xvەg[pn"sȒ#FmdG(hɍ򳢕 kkx2h٢Џ(TG빻o쨺u=:R+=@v!+NfbxQF99!X~{@—1Uw1v:6GDQK0LMPdzXn0 ?Ѧ!(xɷ@Ij0炚B,5d_|:QP|VkReq8g<[\*<=u/AR' ̣sgYZc4d1121a89f0ad98d48d077709a5751a39486c2478a3df3deb9d45514fea086c8beb2a7c1a1ba790 049b979b2a06b0d5c1c847e5ecbd9c6d211697f38ce0fdf031af6ad6ca99a632d514aa312ea32ac5