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  2 2r\TT ] ZF-UNITY:threads=6elapsed=6.115cpu=32.624gc=1.2487zXZִF! q]ŗXiɟH)0%o@ƹ;{U΁p`]\USsJd̮s - sE nOAto g>2J,EHww=\ohRP3xt4OI 8_;c'ir?bg߃plFzq)([$H7!8PLN@Ba21U e?p-aW5@r[iD#NMfjϨ(SRڔg)jɆɌ1X=4)IL1Ųc *7ك.I {bvX$W"E x) +>~ЧuXoX^`G(@{Io. v -'U_ >Bݪ@L\$ `[yPEHlYnШw☭2ګ@߻[I oaX"aL%[>岩a%~YQ˺Ԧ]q֟*RW=MQH~2NyW `5o@۳ F\9O=S~N'e; 6ag1fz!H&꽵>/I2fk qsgO} ^Gڠw%5xuJ %r 'x1u^+"Fj]&WgkIDah&+.#8߲CN%ilQVHG !uYk @Գbcͨp=,6>hrC3K[o(, 5xT%k~ f/_Kxvf:|GwՅDu=y'v CmnW{"kj+:~AiRT ]mܴ_M}^f*ne}ܢ´A#m=o<[P4䛳DŅ/(u/çt\pV{IcbSrW^F6|⾲e"=4Yn&gz]V#V: *v=IwAM qoy1!W2?nc@=3ܗۯNMMQA$CT3}/2퉥n]\HI2p ;ey9#4IHyN9 F+ GѶP XXa0qHFj{]zƒA=iX9cr]%I:`̡-K`lk/@`wL52,= !)%x5]:/7bWѰ)ae!!p8g.lT:peҼa, ve(SݝE2&w;/g(@GawR ?. aCw;+\4gWSw,oTL4FV-EĩH-fđ;dJHcO͝8Sh!'!EہPۡ 6hN7@I24zLwYؑʥYct&`xZë{[PD@Sa_}s g}T*N]Vlȋ[`*I+4˚/.]n(ځ޸aR!֬|rXXnid͐KMjA i" sPA@AFv$xckex 0d1wvA`* xW3؀)5G\Z*7ͽۗdEb0k_GC:xc ]B䫤X[Pފ߷mk7 Ud { ZJ8|:9GἩ,$ԑP& :wP;U HN P2攞d!pm9 |r5mG%JoGGvUMjX@Nq9T~(G.wɟ]f`5wnAp"~уN0\&'xe ĮpW+%ӟWj((0`X66$tJUt]-7c>x}z!< } =O0tP0%&=is|' ^ޑڔX['=Q*i":PI/NpU=y&L…{H9L6݋%!Kc*߫N~հJJx5hW}rk;L׻3):Sg`!g?Imdڥ #!w2 dDo:RzزNiRk]IvO+7Y]h}*;wlFhg@x_g ~nc?m g I}^&Axw d7 sQ0 |<Q3}OQ6@_dIJ>ґzI qO`cKrE,ty bQSV) mU>M&^*C0^۷Mu=T11j5w"w}*^G[me״#&pSs;ȑ炕@bo3#U;̢8)"5*Xq )]&M)*{LV&~FCp%'8 %`j%D#5WUkzf#G:~hş43?L>N@n6&<~e*z ^dQ{8E  eQY~%2wOFQ/=C$VqԋT 6(h5vNO-FITQ'Hg8K\sٕHU hT &-Z&|e-ð<]^tـzN7hAAthwT)*|DsqjSrvEdqCQcqB<)gcPXםmF>5U,pg^uv%><t_Ix@! )U{#VcX[avb+яH11FUC2?eRԮUdo?({8j =N`K.Ԇy{ 6|6v0?b*?b IfBag]30M`&Wb'ΑGLe+3MtLpI.(7:Wm N^ eqWrNUl*+ <d$ @9/i:_/jR,ɲHNKBa ({ح.m;l_lePG M0A`Ԗ9Whba8yRAw鹝DP ȘǀmJ"Vas%UO}#{hi5ЗfBPHGDqqJ[#2 ;qqt]^r1ojQ‰ +s.Rv$q-g@1.OpcvueRm \FvLSy;G̦{mi*cѿvC|!`z/M3!6ի ?DrXPs#zCs:cQ! }zLxHGڨLvf:s5:AF;ԝkWL*|0W"P@aS6pۭ}aۗ p[z jS%lrpxOlmZT [ ^-|=Q,Ve@. M٩՝jI+# OVa֭-} M_̈́}X`rvnG$,'oa#>B/)^!]r4@䍡VYWefvTp=8Ȣvc0|K!И,s(֡M$Xԧkcgȟh2g* &gsШ:ZO$<SvyזٽE&zo[V߇?wxd4p+-ŋI@8o$t#hFSo9JuݡfA*yHpXu%KJhǿ:Vj%CUx^ݮ;#Fa(ȑ|G=*Lca^TlZ{qjy_qvGe1+g\-JoFˣ!CD}Bȿ?XM/PKtמko_LKa NyAd[MCSw7ex7W ;A!#M Wbnz+Dn ZNjp)lِszjm~8;L(Ҷ9iS+܈r͡E3tUoi:(O$e۠5J3votQN~[YCZL|ўܠH!jH_sta1j,.z}2=Js܂nSņrt휇~Ft|+IXw7hֱ:4Wa`<J5&O +ǪL1M, )jh-%Ϸ^?mfv'm&PvKikp*4jhFKzrx#~jsqAePxϙxK$(:fyRbmeЛ:d1e2)}MIc^[U}C7}eCڰR7kI߂c&FG%MLiNm3;?TRCXԪsAW.8$ҏ6' 5c/.bl 6'GXxe 腾AOH;n&8kayXB]Cyt|ػZ 3&!t%ʩAf<Dmڱ ㎨Fs{ 8P7σ=P  oc϶/]꫒],c  xV<t_LӖ1 #ux#|DBR<ZhLCþ]d( I=sW%2H*nƻ{CL8z^slJn=O"@e GѿQ<1@ %rCشZ?.ay)3\Xj+tBb.xx9! G8dr;X1k@uP]#C^?X|Ui$79&067+n) 3u{k0@]%QRy WQ ϲd"M?ChԭSm姴Erʤ^%cRw|P:/fyM{x)썓֟M}9ѡ Pj39P&TB'Ѻ2]!پb`!)z2<U N^@0hCσ!ORSaԅ]c"wD:vɆ2mZb2zU 1Ggt+3 b]5vLU69!ߧp,T-z@] +t(1r4mB̹!VEXLbULy1BAt 7~ZYs~ס|LBι}xuU0J+u%Q8sՆLFiCb_]U{ ؝PD6g =Q Gjx%Z}qJXi]P yzgSNӜ'ƕ5~[:WZ'1Y|\)!ݼk*_J(-OQl6{\D$0? 6Loկ*fm\#xUV {}[&9\'9pr5c4gIeϾ㖹Gt1?8+RviIp`۹PANۖ&{2N]Vj B3rK|VyI&_Qp]g!YyG hF­i<:XhyH0jNQ7RJLB :WR!(rvO@Aso\֡@S.ӳUf9Rqt>E5HAB0訫?1ZOĐXf8qvS:" wky CCViU ȦxψZa[$Lq ~, m76B o jnf^{yZa,O- M O_97Y`Yžo#!cEzЯ3_rz@ l%r֗ކ [M-*ukbJj0嵼j2Ѽ$UH E}wcK%^#C:ɶ&%$kYDS|jHG څ.CsYtvf0b5{$zV:# W5,9>[$׉c~\`|r |:!(]  / RExǭ@' +ϊƕ$tP+ 0řcQLȳ+ WntMAJ69ۢPz*G0ћ7pN_0w֒kw(K ]o^d\ @oɿB'Fsޢ2 yL)Ty )cx7g؊unârpߑ& ۣQV>z:WBomn!zt6ěXXRKeӗy1/E 3a;6VꛓEo|إ"g.0 Z/ 52;|P5F>*uqRY Kl1ΏS] ъ7 vʹn 0of+~o9P!`IlXQp{¦0=[֥@1ț5`o.TRzv0ʺP|)4.`b OBNPBnF\v" L#T4'BcVI]=]]=!4eIBbt-:66=%A9;DXlv5dblר1fݽ59=߲lzaG#V/d"M>AꐽN'FQC8eJZErH aRK0SBګ1  '̯-rojaWmv+؈.HfqYcgny1l|4n(G1>ӌgt4r@0 (:0bjqqWrb2!K3C鑜tXjt=WZ]:}v]9zj2l%Q~޼IBG&ےA#i=Sp,A YPm=G}^ Yg}8G׌]r}~ qS.\vW}95gA_'>"e^+/]*:,ugZ3@6PԽt ApdoW(+bCD&rsm)#2\ȿr䴭~m]MJQ[Af,R;ċ\7g5~4b?aħ.Z^.ddU Љ1j@wfNymVۺ~]kv_Q_-ܱ *1?3oB?<ӐSr74 Ǐ`& E-)71\TGZvo:UHYsRQO,rcڱ3)'NV ŪhLBM0=h; ӱ?$lF]?2*ҁIj?tyEhwGlT"DA(^F|KLme )KIel~wOAːOpptém>ey(qvX,tp9izw,z\7#cƔ tFOy[zŻ9ď:dٵ>E Nm4/E&U=T` tV7e3t,jZVྂ^fTt Hj'5 %v|J_Ң,Ekpixյz5~CjҒ,+g=ܘey̔QSc7nkx_u`!e}Pd>f*}GAgPY,h۠\(Դ&wcOCoLWG({ns +4U۪8R&xnrt" 0/lrDc6<Foj 4C˓?LHLjEybZՑXwq roɠb˺'@0jhaO| ?[y: vR)~#=ORR/JΓAdH6);F7=//CqӦ#n`^ jHB1PZ9i&wlRq=\@P7.w(H҉XsJ9gN/92  "@'jdV:5/}ߑRKy-S7Ѿ l8`]fj/CC&ڞ|6A gtt6hLn9'juH1A7QjNjPe[30]Y*k r.f}6)AaN$jvXP>88<4w,ҊcJ[(*gUS!7߃E<xN֮XS;yo?cI0q: c+)$ *>a!*@XSNp=+ PbIO,th %@S|iZN6IX K$ݘTtnףptuX#% ~rb|;m #$v0N+9Tu5++|NZ!)EwԬ~T[Pi{ уu n])_WzYh!,`h8qfOQa5sbī:y$9o(u(*N 06ιr$Ftwwf_{ 547218slmkrM1~ynM kt+=w"Ǩam$=N7] #EY>y#C k>ScckE˹ ̏6.k{]ѲNPA͢ GfT03ʊpKqbKqK~,ZG8eL.. s\24W~Ɩ6ARD0( 8hz`0N-ˮD1 G K3:>5Il]okQ$$O>r+'w1ZvV=,yM):g15!`2y־WϹ gyTnjji;WTcUMY-:lY MHy4>W]v1 LNQIuDTp|ڤ{AY2+?w# 3+L`ĎͮيIAcF}3jtU ?DߜXe]nj&#WL;9y]鈃;a7v׸|xǃ珰.O > t܋ߖג e(`C}MBzzi2w+\W?DZ1.D L\dt`ľYU< Bx_T[7=Wً@_# /VhW OExK2sESla(hHyM\+!@Z ~H-E_:Cțr2u ]˖"񹦶ViVs|{6#n9 #j1'c8ABɯe}^I|_ B˅t013߂5gb0+䋨SOSji>*m 8nB@3Ҵ|IC g~ʜx{ @BekR@>32LK@Lmj˫Ylۉ'+ х1)Jm3r$T~I9~Jn޴s=r!)IS*#Vp8 +zT L~9ǐ2pT 8NI۫V#B'&%yڐyٓHИ㝙XK߇ yi5))EE+&&ޏKt}yIDZJ} ߜ^9vVtzS' ԸYSB @yy#H M'Ug*ʯ./[jrﭪgkyw1|b AJ(iV]C2ǭ4$PVONU=T-e:"}'>S9c;l-?@>=`iB'#H U/)xlٖUQwvOb+T9M B;C;s8h'x~H8 !JCYt`bmzgO{?,"'I&= ,|r8wIpƝ!A0|c6kr ppzbz%abCtˣ1cm&K P#P2XFTm.D;#ken"]J#R-_ٮNf߭,- u:FQh&߱b"y C0IR/D *WbܓCEntjUӭںhQJhXo*ҫ sQaVRg@h຤kH=*ޖJ~Y4PQULճļx(HzfF8=;Cw!X ZxRSJR3Sv<$;PR|[]&nTÉ/K9=ϰƞ p'듁5 ˂)C =yOnyQC1|e΁V*#s4!u=6KC` x j,{ĩIdĸ${27hH s󵈂"{FwJ2 {ޫ5[ א^j?xvdHqNM_W,*\`+yR;^QYvW=4D.8-:ٹFMd3Ī,6x"8Uok_wmCAhsqd)vxʎEVĵdX?6DܽNq uh']tffY*l!V!SC_Ud-%')/Ua?" `Jׄ9"ȵPR= aݵU=C2l:S&TT$:Ae gψ5n)ui>3RNC6V2?D VY臨2Em m:mnMRdjL*tU9cШz~&~SMRzNUo[Uad6CPcJaTGer3xT%mJOP89$wz#5 l:y J2hd}TP܎r?a%UcVP߳H;T|/QX%Bv [MO}P*ae4 MQ>=Kp&<;IN={nL%+L#p>jג!Qb(d0/2HFj!Sx̀~B‚Ԃ,kf{>(Q>8P'͗]24r5dg^U!1Ub7%sL^fGNT܆fjp7d?Gn.6@}lF )/Yg5U ׽}ܟih ס1j<|͚޹xj>N*9n%N3V{r޽^qK=<ɇ ez,P" KlژGd@a9{[TW<[ PKe{嬸j_uSQ̡X,d$W{`O H:U^R/,@hs`܁:ya&?9H֯tSnh>)ZdV(bQzOIY!qj,tBIs -4/v0bSIyC aT&oPDf^7ƎS !~*`$<T v06yedEߌq_F4BC”9iv6džK??0{/+ܿGA{9<:jZe綤zTX*끂t$IPU!֜U.w &T(ܹ&96Qz`g'LlJ44MNԋ;Y<֮s_ 6=Nhp%2p41?tǾZ\09)T&s} _#Ml߽\+7$Y6Nj.P701p]GjPj?t4㳟l4lyڑ|/ a>ӫܣH?QY3YyLC:9h~Z,d-oF`2GwK4h7+0'Z-U@RK6!S~@,wBCf[ l_kS0svelLT@`k8 ON?Ls!3=Y`q="8P/^,4>^~)WAk5B`L:Kndz^<+g7sLfz;z.fK}䅲c Yw;7zh)BwzFJb<%~ŭGuMӎhXx{$9%dn:`W_*\l΀pP] hte| [c+?L'`hhMoG|], tnP5q$71#6 B =v HnZπ=1m:z$k0~Ψ/N4|dMY/q1K>2h ]OIx'h_%ĬUFG)*@`ڞcܕ(8on Obߵ}'Avhr~>Ҭex&Tn|j; 1dAl"+ |>N[ت`~]i6a+:[_nB0!"&:&p uEpMtU>cc^-%+fSgJqN GEUN1g%^}hH;`6[OowB!N% ,ңjPKby|w '0[N_tfn$uBFM0VM{=iqc,5p5D#xN 8a8muRmqX5o8O% rdUΟ >q]2Ew7 w -3x$`c9;|黺9w!dU‹tEJ&fq2Tl3l 4ÀerUq0xnHukee;-0(~AUGF|xmtf<.٨p_Pm۩Z^u CЅkT)T yu8 67Ch|_AN=Q -+G%[hqE#_r Ez#m4amY8d$~O߿*vhι8ESIg2 цUL2۫4pQd9$5xp TYcvLnf讥 "V4B!^ުWNybO r L/. m$geQ &wGd67Z[֡.&#&ߵ&:>H#%0  }=AV9i@r*KE.٭`Ij`*#[Fqe7zk ,DapMfuT@%v`4ɉ'Lc9Usȹp-,Ya"Z= {xwhX ZLYad.yd9,oh͕XF*|@0+Y5U3=&>mhR ԰LbRz,% ,1'5#6Fk# řqG3,m֧2%bb˱})5؟ ~m7 aN^KvIXGkxܰc,} ƅ*9׮K:-װu/ ]1%dED<"u?Z)|sF3Y S0=gGiz;3fҋBK uD=c5~ԪaewgΏVFsA>ٔv<"p7I!'/U(f淪E14PsˇDG^w^;$ѺfQ챤:)9ՐDP1;d?N2+gྗ&nnO&}E0Gj寨 bx>e0ؖc\en>-(K[ .=R!n>pīvµ <*O=n_DH`Tr\~;`쏡JܔN8~!fnrP+3Iyú3TA$v붴֝y>.*kyNya400d^e(?rNU e_8ۄH6oA-QL?vN&vB%l߾wo& VJM /Y7;R P&3}L˒q ¸%wi*N뵘ǃiV-1j47tQaKpf6i":vh*uB[:iEaiy?7cldϘatm|CWк sٰ ͔pD줼tbzyjsv[B6qD@uFAgp2=Apw a$x]J8$bNM M*:sAn q rl|~|FieS J,5.hQu J[MJ>>hN̠]El?j Rv!_􃡝ҺU∂1MP6|4 C6XoP>a$,Θpr`kVo#6^tMEVOiZ7Z#.:I ~ؤ9rM7_ZiֶƷwfRvcqKNOy/<0@!PBYOW*'gŀrF #_tzE+Rzځ_ }Fhp)-7Lj6d!$ʀ3~%5/ᒘ -r4zWչ{?:SM 5e~$Wiգ>rBܦQ!KE@υS~3A+ց?ڎ YoJRA[չ% 8Bv Tѫt/4o_hD7 (QW!bE@Ƭʵٴ{ ޚ1pnAqdcʼn-xOtC;]]_ t-%\0۟Wr%EM6-9g چQ15 5E/H7-GРD$}$h_}>w΃0SXjAm6I6Iun^pr}dji͑[H6>u=,?{9sx-fyjR# dob뇢k)P_|m[ "BiF`nl'kRi;4|i"|w)Ja]7gV=SVi+5H_öۗkW ;‘Q4:n|bӝd9A8ٹSnqwk Dc9d\r(WOiG!/[t?15a_GxTg4uV/oSXDzEȄ(|b=XSzUKi0 'S!-"4l3t/TD-bVU"-Fp q\]AnJbqD%CP3 LЀ+\iƈc`?bO`6̣0 @`:w܀,xP5\՗)`3c~{ W͟\ɶHׇR\F9!}(LYO˧`n$@QFǫ% W%&/V Ԅ KCN >;q"PrxC'qT;<-v V:M>2=Tt_p~J`L`mk,+u5 P͓!%IXۿi6h+z|TculmYxLJxBX=T$y w4nTǙ@KdE>&HbE֐ן\X8YSZ5TS_27p^oON&Bq >tq[*<\1+ѨϜF4@hȥ& 5.\iwjn/TL}5 j DcO19p_"GU=/}fama#V}Myd"b_n`=$Ԑ加8TOD9tGstIeW. Ja 6 qzwaBQiʇcm!QGyϩMG\ EJyQgٛO UE)Oi~T3:fT[|y,@~vvi7Ugm FM!ڈX&΀ >B2IQBxrq!+ 8Tp"aj5!WU<+nhdP0:[~(Uko~CIbGE Pb#pK}fE 1rgh0LM^F\e[z€U}+`֊gL|8$x;}(rÓĻ'R>fLG;3/+?ur/)*#8s'>;T|훫5Uʝ;! ? :Sv~BA0ݣ07ͫdwQC#ߘzF&m->m8@˰_k-rsÉ,B,Qbcnafq*' eߢ!Jlu [~ut< Rؼbh1.Лt7y1lYxkwWQf`=+;OyBiuU8? C^XRma2iH\FpĄڿ|Dmb:O-wڃfsXN:EvS%fP9&3hϪU)_QsEu3/-Ԃ*hɾZ_ ghe.yhFo0b{#FNHnͫ!f*V>!B`i1g <8!Ӈb }GKݡ)x 1n/\vp/Mj#PH8-q.htؖCYEh*¼|_ &*6} h#Z6fg_I[^FdBeL212 xQǾS#0Ǥ2USP-}bݩ$n402V<pyej.ߜErP% BY.hO7 \{[A䒇Ć*(~зfal >CSRK9|ŝ3+sNR .+U>w>fuDoٲl gu _Myek\dAwGCېjP2|@s_[JVK,N,6ALkk)SZJ"ش3%ZҀw+;-tnh= C8m*bm%x;6ƴ,d=*AWхpnYGatEx.ywM ~`цY=v "Yb駟J\㣌46L)"{R8ca~ N[+ wpc!ٔ^f̱+ۨbv3(H1ُɇ)wL1TrFٜD0 @g4Io~ ЍZ{cq6YVzw&Nk?ȃ/(ڐ$ sP, ۜTP Æ=1S+_#ǫ Lxeofvᴂ`?~K_pוMHru@ F~~rb́5QoFYɑSq`o%j| SIXrz}'׌OZbў!㲳Yd _Ҙ \x0?\zV@v/t%$wML̇H~}Y> s%=Kv҈A#n LAtB2,`)W]q㠢ѽDI%졳+=m=HZH`r}06ϐG!!:R}=|pv 4Pyǰ2U%l0[?h(s? Vf_Q\Ra *g$\Ruo &/vԞ\| D>W?ehP4OQk+1 Sh}qs4]rcJP z8vRm "A-I3tr! ;Z眾:kH+(m5-;R"ʺ>{d(uĢ 8XaF4SU3͟IҸ#ʸ>?-b"Gd3T]6PԊb>#B]ց8zPXg.|j[Ll=Ү-R^EBԛks+ g7;[3X3'l[|M7| JE9g1"k܃ku%Y)Mb"A eaj}+H9S}F,uL6%A 0€;`&d>\] CLTp1 *?)U\5B-VOנyF7YiLE'>.E,&qHtMx>ATR laN胄P36̏W$:F6Nf8y@:eiK`m8!'qv&P~cҞ5t+8qa(SRh Nl?8r r=fS2s:?!HXi$kvA32yq5ee48`2^vECzֳ֠QhLQ'9j0W&5ARYc _ Xesm֫/?E3ÁtY;0<6:oV߽xTk;2CȦD {|uB"An*T(zLJ&5ˠe1jғ5`c3ѧHtF7*r BgO{xs]{-+uaMֺ(rAZg懆{ Э RE[Ntd(CEMQP؎^9 b1I!`o{6A'MV=IIW}W+p#`  ey#Q5d3?oVU&(}H`+z }O#'p +RgܚI6֪)I muݖ>*/,^J<(G-̲<-ŠSxU wBr YLw% x%QI7$|~I/9NXk7Пi,PD$ ,qPyb5tL5%5`aj94M<"b2vn1H(kE0;A|2T"ءrDP:*Y/7{j0"Ou=5٦%9-9 2LVNqY ulY?oi 2f b9\]M*s' ӈ@x2#6TՅp/L51g4n/Iq{ H),0 `c- xL: ٬s81},0T CT4/D= P?T0mIjԁ?;13tWd5 jU'i(Cv9T%0}2y0CvS(Qj?\{K&™|Y>IkfR<'* e9`!V>}bϹȵ;Ș};54䗓|љG :] *J_N0I&TY109=9r^׋o^5`uJ 'ɡ^ KVr:z`pPw53IIGrUob9h&KXz2@%DQm9dނ=ڤ}cmԠ!uں#x()3J]4 ]Gc],vF޼ی\F+qB7VzdQd׺9+V f4< Hϩ06ze#qVU?Fik-tB邌\Df(pm@O)Ě+ĝ e-$F1DW,KL8c)P/Bo1)< Y%'nЭWN =z4ں@4CY;~XmOܽ8^N+c;{3LjBxBWraAM'[Ϛڣ\k p"&lrf4JwRokR۱F+HZ#Q=f8q1CPӕyx 30k¶'Sq\nb\%~U /]!v[:')]@_X4ǿ@i%T&G!}nkq_bHXSdoP4Qr~L-hـx[E8Ck򍫈Y%߫~OzLR"uDpHosM: Y}wnXk,CjUg!>`dY@=Z]`T_\@͎5bgFXm6}h4/s(%Ij ##up4Bpt#y*<7>M <85C`~d'J+3rs B̍Z-3w$F RZQmbWߍQ =:wwb!A\aڋ(f2 ȍqż23Q e$NDXxI~Fp]УonPU=Azf[$(bϴfEd+{wĀ$@V4c&3aVq 72:L" I5n+ 'We[]׼&Q5<<|ڌWe:ef,+9JaUho|NYu*jNt&b-d1?7^5̑EIEjð=Ӥ<<2R@zB f#hB*$6U7EťFLk?3UoNp0ف9|D7b0Q gbA<Э9maryFH6q\B|e<1yZHZz[|NtCvf뢞ZA2\ I/7Xint}G%B70R衚"sMzW,&BX$6m"~>>O/Ѻ\?<2kk(g h+p>K\ipOȅXAF h5!8&9+]gz: kwX|w- D|ZC5^?2Y#'0mM]cvx œb~SPk,H$4xO;c?Q_NLf?ܛ:RSg\Ifc/)(]P*Tw) s[2:LߜCd!Py-¶Tw w&-cMhmnT;)˄ ?HNҭV)A\ƽ˯I EYisj(,Ca-=)adtfjM#߭\pQVK]]eFuⲿFq Kp>VSN)Ub>r׾%UZ,cyad }r?J\3V2S6m(We!JY!DL > &z4׮ Z@uV>] l3|6V7 (Xݗ&4N&v3Iz"tT!c5; O"!D>J q ȶވ}ȡ)뎄*SJ&u^5̘G|IzJ;#DBn֞!PK}&0!~4f[lc 83tK8Ϊ.X!/简S~kjr1Nvw A33lu$𑑆F-%< HBc4J:G> ;"Ŕփ y*C.=d*N'uM[/ގ6`wL  MwOchOF.bݒ~yu|HNˊ셢s1|[F`ayo:fA0y:;eJ:pc=i=EېSZXRRU'aij{_=:gr:E 45NךG W!%ٖ:Fz!ڱy9(x?٢̚.8+o6w<"{o`' ĸR*Ȫ$?/TCkiɉh$cj-ECC5rw#sвEG6`֣67oyX Y3 {ULм`1ļu#FiJXxc 2}:%@Ò 0c67+]$~]&I0(^߫mײh9 ѷ+3Ûd'tڌ\X6D=OݿeҨmXVifI#nٕtQ='=1K K=$+J (^JVyqax9)<@XNy܊c2ʴҴuico1S.9١ PN,R #l_C[<*exDqOvX׃#]6}([~{MR"冊m@I-7~6%|2xzWEvCѝ:Hp"Y Rl,a})ꁓB ma2>9Fm18RP(Ruki@6{G_^k'? |X17&Kʤlaܪ8ٵMcIe_p_?UY+?i+Dxi`Z?kj +"j` x_?A]56RDny9 b<CP=V"i8WM[Ǥ2mk1&|U"CoeHs 4=oxaNAj)bT? #'_[U@;ILlNZDF\1c:6-ݴaL(/2  v0 ۆ~ E` b;4x{;by%ya5c6Zp5 տ=.   c`2$$K0A[DT rqsWS` %4YN<]5Q?Ox>qQwa 0!R!D?YL{ԎpǦ$`BbFT޿7h+|n6v]رA{JYڝ{?QQ-ArV0b 05A-jq]w( .r_Q'Gi9Mpjॅ"Wp6:G^/qP#/ZQ7.pnȷWmF*Lk$)^|\J_`FP߄ v7y{-Dۧm37<|N)w2xc>dWM~S.ʟkk*+=#j9/Q*Gz15s JUɊX֖hm\ܾE21Hʥfh]|oDPt?\),_t'q(s(US9)WuzOlqچ*|KBl\EHW׿XO 8$&BE _qSqnHS_'㪒*ߚ̝*Ё4§Z*k=N;XF1?s;^!GoVN >j(6}GG5 TB+dGP}XᏪ>WfTB`(eJ=G&yu>g[cZj|1Է]mY'VL+k6T0$$D\ώﲍ9@oe%5~hݍ ]\a#{F} ipa# [el)#н'|`QK 4 ~ dC(/ A>3=q{*S.WC#ZC/-ee%qu863a]~#$_E&) `j#bv"m a/ 3TomUaXx3;g1Z1M2=-YNܐ4|>Cɳ$yが&uD^(dRi 3;0_6 Wr6XiI7o3Ab eOA&: \yDSk>nҤfhU_ډǰҭT~?^%"6WYE$UǤTڽy- &Ia#_]~Ri81 ѓt{ ϵW5"@ĕPo?5ZIS$Z9"ҳ}B,)HCcHV6I#_4BbzMDr!ȓ3D`xVt5Mb4VA>LK\;ȨF8"ڭ]02f)]2N"q':Vot]Pd E)UGSI} M0`FJU;&&6!"*m3W#tj_tjvef88gYSGb dWK?VLtDAZ o~{{ w!C'H˲^{aCӫpGI3v:ݹN앫7*4H#N)c!O[3Nk3YBbVPЭP5%\<ۈCs叆P80PVsoBRnّ;p`J+13t>e€0FaZ~#&QޔM€ !{1;V+O"zHl Zt. r!A9df@d0r>̌R}' 71/};'R02QOEr/@b!w}U[=\TEiFh0H 3h g]eUʤ v2}I)wۡ>f5;*yvwrYG.Rzpyb|c|etJ]/g6=3eϏ0jXTky̮.Mh.^= 0toaʙ 1ɒl呷y9p̊Ԡq\WztGZs\7*:[#ho;4/ۢCݓ586, !4ik\ Йb:&oxP>ډ<}yA]kt([$v "ݖ|4&(Xt] a(.~Gp@`ǖ44F$R^ՈC<]Vsڂ^&AÚWt/&o޲vթEUq/n1VBN'6gMK:zπ 0_iz }5~ ;靾+Z,Nyz$\hpW|(t6|/R^ jJ_zQ.t"+/rJwu<{X)1-gPOR{ذ U}9 =l˭|p "5m?ߚ~WWjјmNqhoX {AoƁpUv7Guo,w `1 jH٥3x}o% I. ֒ !nfn"jM*~A\^- +hbe"7xCʰrq"Z0:c, 5]zB8 ]ɔrEpKy{ MMTG E{nP PFaBW z :i_txdgN.UD~krXx/40% :_GX%\`Xv:9ڙflC+U= ?g (I~fJa<&+bn&b!"UYh@͙S Ig0l&/ r xu'lIgtQ9[8; \CoӍhD8бB>m8j`!Q4z 粼-z{,bed,<Dz+>WE 8g< ü6P;Pd'W%1 ʣh +-?Vۓ,7 1@=Β%CG\מjk׬H "//a.-V^̨Ui|lmR$*g Դ݉gGrBUK h80-hkaЃ@7F0qH[J9 O`@M/peNjZw Rr8.,mC20N`LXAg+jtvq UxK*%Z;"-zZ()"vIZ2 T5I#bG :4 r;\_Nڻ{sk4@jZafnM'uWӸL?بcԝ](zw<߃ϐ=o@695I1`r4C>n ؃۲gDgX(_'v>:q|&Ŀ ]ݍgYZ7zXZִF! ha]ŗXiɟ9 i:4V;}A<<ګMP7f שDZ䜚iag`wt:HKCf+~4qd r4a4`X߱"7K\bpĄr/vTe9qO)~K,3lX{r%$ M57=G1đZ6gejb,;& ]J2~qn鷘QegEʻaLQ]ȝC {ia t۞