SQLite format 3@ . BBh77otableisabelle_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   8%T$ ]/]HOL-Analysis:threads=2elapsed=704.509cpu=1222.972gc=89.896factor=1.747zXZִF! =!]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[50sP3Rɧ/d:I.ధH3Kbadaou7B?xqK3ZX0Ҧ m"\ًz@ ;5,Ync2 yTm҄*pN+al;Wȓ;ׁ 'd.KĒ |z>ǾžQ=gݬfI[QYO<4,|:(xqD_,ہA Š^ u2;6 EnN*X>9u[44nħw(ap umN tBS床=ݺ+. BTFB`YhN4 =\|=( eU7 PaS`p˰qZFl8IA?Rda45FrPcp+ب64\}V#07 $Se4m#,; [* a?$^I/8M~@ uƿˊ=%N 6 A ) HpطW@r6KhRP Sx޴ O$fh=H|oWf%rH=$j(*[kGX&&ԛ#}$@@[PUchZ0eul= ɏL“`%>5(zH n;>3]*Q# ȡ~ˍlT6h{]Z1[ui8BJu·}:04ٷKṰJ,nO:~)%5y'S⸋U8k4]zƾk@Τҥ8>a`o<RW#nONܿ2.5P15tl;- '6Fc3T.Z͵*/ԀNP]}HVԕi^bg % HOL-AnalysisDߎ _mQӜaizjGPfOςN_ftW/["SuߙzvI减Gabs" Qs%bS&6L:u ]Jg Ki)DKoM+E(M2QGǖvbh\z':mt)8išqMvnϞżxљ_S$w-'cG*6C7jÊ_wp"\V3ҩU ۲[gڹqȠճgx_b33}ǂླྀ&3e'.l&SyȤI$2)if1]k,eںxn5PxR8 W%ɧE֒f;?l1Kׅc1̼^` VdzgIrvD!V< /<0}w@`,[O &} `r R)bUgkC3~Н kP#5]JݷjQ#zNj[lw0q.B4hތ"٣I| Wj 0~e*uR`_Sxk0SFdb#u B @"A%nTp)E Ac#Ѕ +oKIzuط A|ŞR6SQi$? UW ]0|: yZ r>`iV,W2{QVNSII4 lb=d0ɥnCWYrcAVPoΔ!%8Qض1^tKW{DlU6M~7{dLb?9|%Ү2Q[|lFwZfW9EQxiexM"[5}Z9)2hp]XbqdOhOE|t(8 3Kia. s`2T?>JsVJub|Οl?Bk8dS\)rdc|Gc|㳶8fGfGjU=TN)n++/฼7IpS5onOw'WGFn~y[+ Ydٓbq!8WwQFLji&by3rǃ\ ( X G{0ʼnUGuڜ;FW }V\R~q 46QuA‘GH uA:V,lee;^Q@ lC^XW zKDS3=R^BE[ݛMýM]ҹ$r6 ܝ),ؒFl'+Eb/L΅<-+H#ՍoDGqEMB&"zZ nCU; 懌EM.e@%ok.ډVynՎoMzKM67 ~sb%LF?(MTWcq$d+ѳLmb,{}D 7x Ppn i+#4JJ-kLp9!.>-otG|o=-4H6|mHDžd'A{*n# ke4jPz$M'炧쐳x_nsIh Bc:M71\=`Tm hOHh lZr~9oo(?^ 1|_q#?`Ć4btp]" xο K]A&Aﹼ-W-4@CX8PA4$JUL!V'Y0;Ni:[xwC5qfN,߬ % zXڗBXWǂ p>jofܵv\X1H=*81i%\&Ci q-ځϗL" ZNA.l q]W{Rg̖ioA ^ѷEv$teYiVʅ?]#pD* LCc\ 7ļΣk}inM؟؊%Fw #S,bbfSsr5)",FܠH u y9O5O Y|e-EZËL&&MDfRDTn*Žq#Qz;!y-=P&rpY)R6eF#Ac3gg7FHn@qֳ2Jx^Ll|%0Mu v!MKt_3yy>Khy%HAU&:,qd`f 0 6̮J97 '%JZOFn3OiJi0 ;@>l`;-͊[~$s6車5Z9z5,͇,Lf`O`RTӧ.fp3{WnW4!]FoH6?~ny3 m$,`4pNev;?=P{tJ- ŏlӕMRuo1qr&}l[x Y*{@&VC(Qudݱ`|a/5wjz'rbu]| sybXG<=}5$;J*D$b9D=NnN 7nQLfh;r'U$ѷPG<@iѦ GH۠'/ <37NIU>r(=B | ;|!9ާhm*oYlyNS(p;}x)(BT{/6G l\ɭ?AV] 腁Ks~*EG`Gб%tm+AӤC (9aV*Wp@rdB.4`f KR&gJU?%Z޼O[ffn`W iV5/Qi2Mf%0*YS}.fPs=3P&X AHԑY\yj20XWSt"W?xµ)qK^ᅊfwi]+ XYpewo?glڱF1ܒ"L8 7Jqzppi_g]]0SE ^,Rba|n F>yvA{7CIK@jl ߙ"S6cCcBgIӊ?ZxJw*{V^  Ij;ԾaWmB d}[?飑ˌ,mr5RG!aWc)$I?j-rX>h b\Py" l'MJPv`tI'OJdDk{SHv*teRc~٢OcZ%n}#ޛV,puQtk!:#߂δ"'rm4\%se9Zs ԝ!aΘ %qmސK5>bxnuPο&~ӿjz[s@uArOa <]@89H;O1-?BIԪ8AH {> KYVwxe]qkٙn 7 .Xlǫ>gFM֬|p6%Lx8?-!!\n[3U:(2@MH@e&*TMrr=|v&>|b{> qc!*rE%+H h ޸QYqW-y"iR4{ +>7B"ĻI-wvbת226zZeR=}zT*BO h1SSyed7S:ڼConz1FBl,ը5n4cJvRXB|fUB;ȥF[A̒]n .QTUvi!Hk5Qo2mv(}#"~؂ai!D@Ba1z@m#0jd7v3QzjHч=R6t@mT>qUTqs0n|\*ޱPQ_kw-,XG޿ِ̈< ީJp"`Ǘٔ°aWh/IQfPJ-tmujP}K*8y]txXP1ty u+LÔ; IĻ ~"V 5F.:Q}!a@Ë ӬU)0G9^q1oI+1㖲8C%TV#dvSOgimGIL\g/1'Joc3NyT+ P[{&\hd|`cZ5sĢ8C΁yg1ǹ5_,G9(d[J^/{}[niIpcJF>߃Ş<Baӟ3|z .XֈI9y0oTA$3w[W(pTćtN ?־+ިGz-F 9:SaF JV,v3j!tEbrM@S[P,gGS޿}Ru^1$-RI" s%sk gHo"r7IhVOĴhJr'N{VD i;y&qvșkl ~\w,~gMjO~MDGzRytw[l&ަ8 \o$ll~<;mt{|q/Ѯ}SHJ[Ni)=Ls`o*?rsV |){"HK@\Ȍ9!dp|GO#WqG@3V?Cz޴$BqS<|)2-M>fA DLxc^}L6Bb% M -m'[Z1LbgTEs'zi J73QOl2kͮ&O}"/irP\GHwV_3wltVъCY EpDNZSۋ>UloAUx} CaÞB^iS,1>sjd[|} \ׂ~Rպ\ e@9R[~pbq5q_:ix,lKFkmZ'*-͖fx#S+#gf*K,OdžxTjX^D?F{mcDT`9fy;ËN"Yt+9!LKA &G[*ߒ \)<Y4K%Hoc' I؀j[ʬTСз*AJI\g\$-ciIfr%AOk}]F)nHcʬC5֦iL1x՞lhP#՛ OgB TϨ~u׮[~*o7>4)>GF =e],;`iO6Xd r]ɎT+p ֊֏wY 4j9+p[k݁+W2EK˼] ZJ'8H:ܼ L-MivZ&^'M3rƯI/%{^݅綢9UNr%]>+K:b'6P=e)DL.>'C<`u"`q&?VO+zqPϖ7s/TFn#;w 8CfqڲSD;2-ǙHWͻdNo{5:XukAJ7isFm _dTCR2pQZ f`_qLnr4[-4,][)EpdgKM9y"/s}|nʍGǡ,,z\PY8Os⤡_/~CCm ̕F?F5UY^ܟMS +>?DQFYTcSxp e22D'x(`5 y|c]94uIZ7[!01J ǻPo[?Z]Sp~*ym8^gKh 8eFYsNK-Aj &sz>& -gٷȜfcʍb  \+SHaT?⧢>AJCd + U,R' BH3@"gVPv7ZL!81G46z,5ŋ# Xs< ,Kqgϲ%xiFoR^zA7Y_R(?Ld2K8@&F6 } Ӊ?tkT;w"79@D!RYzpՎOYyo%q~K3BBcד-1ZKVԨ%Y1m_05Jƪ^7 RpAܔ9`Ýw;Bq_c%*;v`\vǬ5ē3v񡄒gi"Ώy kJce Z&Ywi@\F@os6?yݶ$~r&ht;y`Bƈɽ#=-L ,hۯE|F %έ7/ E\k?†G?a맬 Q"@*N,iyJTo2[90ey^Q 4 $uC2'erk3x ج#9*K13H('Ll-^M#"f8-K=ڕ}?Pkvo{3^MHd{&Y 3hF`0.D4 [9UUJF^omzCja&=}bD(:іo_Q.WX(^ĴݱtSc#e1'k+x,x>)$/arx0mc7__9"sl.rd1ˏˍJAhS±/8,$6)a׏p~:b:Κl&*Fp9lWq;˦cVP܏v:5-n$l8"*ޗoU)F J%k\8'ǎ,ZtZ_h*%h1\a}-tJ{Lg3i[JeYI: 4Bj=)Y*幫}@Z \8P'fQ9THa[58x|z^ B6nf#ͨ3O޴naBL<1\Uq5̀t~ /-G}.g5$UĔIHuilaUp"-w"U2"Fb5: nvXTwet㚫j,QW5qcY,b ¶, $1,;'<~Y;qv: ʴg]` e<)Ua C$Ĵt,PiVFR 4>plR;g9Nf=J],"~~SrB N"ャĘ(8ń3@~x8ZwՊKb.Ur/!" p&0BQLr͝A8 6kz9rB:]"t=I95ʗ})C3.a#+rtOؘw%xBgZ@UG#*ΒlSޤ"Zk`i4:OSay@5>7bd7KxcPA=gٚĠgyFy ͤuj^0A_>Rvm_ v!KX(M4(fQS6[XWv/ux#f/|틦bڠbv{C unB8T4&벣1@#֧}'9kUI}+pHåA][9))9f`Qݠ~ScvS|닮B/[u.k47+Pθ$^X_Ӱ>.) [믂uAgߜҼUcUɜ7HBH@GǁNq)Bԏ[5h2 7.=Rsҷ&$Xc%eBU:%|pO-x3B˅,stũj5"yg1V XN#ԱhGj2C p]?)b=FmNF,No|qۣ dL*KS^}Hv%g}[8 Uu{ HQl;Df/O/vۑF hru݉zXvo1g5i;G,-gP4(:'%Zc ge:A"t$%pȈ ?!]&դA^gZ䣿<;(jW?T1G|e"< < yϜq!s[ Ey#Mi\ LPpl$`Smnڔl~1wfCܫ)"uяRQ)6"Ku~PIp<u]j\M/"2ܘ_,`Xxیx|o3$(4 Y2?~Qu\cYޏ;6j3[Ή{.e_Eg»l.y<SAeu$ex՝k- {i'uL5Pm5YAT Nt֞x^ܔpgy:ܝJli֑E6ףH)Nm'nj?\{9͵" TQ݉(ZE);!S>HuwG/J~ʶ>tT`(.Uh;/=j "]?`sWپ~pf4fF !YnCTAq}4d7hNm|`=޶%v&s5{nH"UдGPR#(!cp;*TBA|:{2$Vp7AgȬz^$a`lcw Ɗ Pޖ&Gf5]V[N51T@8I {wPJc_ƶ٪+<=^׽v5LpLS@="J?ڬ YN){υ m> G[#ӯGUZZ~;X{+Lt#`|3QwS8`3-:OGU!㝄aS 4g߿~5^ɹ ߾5"E<[~ٰ_v`T#xr2:(QruZwp(q7-i&COC@'u̼}{ìȓp9͠opD@@]2!0]4*__{.Sd]}mz#TOTv0+U^OxŹ()];ۄGH|^]݈ I8Sfs 3WVF߫.wuc߮BiJ3kWwu +a4D3u޶C4^b)Spo#C B8;N t!,7LR$aVTY$mdh4!Qsi&ob(H9$ś/v]y(mȧL{<4w![ENx4Ơ|VQ'f,Ȱ!U i1:=''Ъ?}W8a+o翹!Ϥl+X$*̈Q͏;ɜPFQE(tM\ѫguq?~N@ȗxe\&/sH#;̛?(.IX#>xv4EW*v @ 1]ЌuBBf sY,j>>'7[} Q##H齱DAƱqxVJTK- /wzYłc%:=-\d`Y?ZQZcx{؎>/ss-kT{Ͱ {ޜWSbu*ls:ni^485zHQ_μh%f4 / wS Ƥd?[h8p!c]`ZZ;kPݸ񒹋e41]['`@ (<{W̅ ֹܽEQ=WmtOYm*8{ds 3MОw^-WﭱxcUO-/Tcx @3xB2θ,/a۫If⃐5k %4CÚcV W۸^s @Qa05b߼p"HxdEGtdU }ҡ:ZXy)4*Tm|͗J{+ta1OH|F')Uy!Bt0xξ?<)^&0ӑNg8'i+]bщO6s`*"NH8^iOᄜ'=? ] UW1B;5G*tw+ y$#,%ZS߳Fұ+J3 s~Se'"֭Mp>8Wϗ~;NZYka4ۄi@t#zܭtǠV :fD/T@NF: 82KHGҡKZKP%#C=-~ā2Ͷ&gg yA#5~jDK̵sDE C#˵$͛<=5LG 1l_UJ͊yfjEtcNp`oaԸ9] r DdVxM^瞇Lr/A@9BF$Ky{(qνMv[ʟǹ-=z % _pDb-fKtP)a㊫tX V :?ݜK7L7LW#X^g`V5mYB|pJ$4l@h / J.qͬh@ElG]5`Ga*=Qp]Zw7g@%=.8^QP:kR27s^v^d15һ-/~bN` %ݾU\~L[J^kmD8py{u@7֩o~\L4X)+ˁ7њXyR1V<%lWMi]  K[ Cā8yGC$feGq1D^ މlW·  K1}V-#U\y :ڻv"V6cSo)3Dw](f @6uJ^ v><zAT2a(7p#]Oӷ»k0_@&0JA6:򓀢HXg'=,,֠ ^)u@ĭLo} $1߀z h6R{nQ贏r긇ؗ#,=QvG4ݪLsy<0{v&!j>؏$/;Y5Z->`!S\ *.qu$ON>;~BHNn2p&( 2sj)#sIp򈱵}=īe%J-d\g]3dٚ6\Pqҏk6|ØWG;\ZU),cuu?($}U${Bx(qI&D|kJy##p-|$YQ(Պ0W *;}ô "AVB 9CB.VoOl)nfYppq;_\u\mk{tF>E:A:)L+/OxrEaJ?nxQU${wr访VrEUZ@`Sh' A*I*DupB\.51tRkG!,D"hWEm*po 1{K_+xa삎aFX*&~7n f (s#5\Cg'L% >Gs b Q gRAJ:C|Tr!+^O#P:C+Pn_sr6 ^^!.+ܶg%,u%DRL }})kf|PoV4jf?+ !A<hŻuZ'4<밓ׇ tKjX"Qs52;@h:|Dk-(Q>c4vO`YϫGS5fTvcuP*}Hv ^֘1wc,^ 5IYGNA6%Nv$.Sm'/-Q0 Ys6pZ\zLUBoT܉>WVW|~?1@G@ߦl g#1V36cIͮP7HsT+R0ɚb_Mnĕ7s4 RjpYiig>̳_9';ןk 1=v@Q/S~u>΅h(aJ91{ i22{i=C= !s.;;  9%:o4]\ .텐lnN kq},0< OH:ki } 6yE{?JO%WR8qE"u6Jˉ0`NJ!H!*{;"`ly%AA [Y3WʚsOgvoJcO<JM"LN0}czɒal \EX@`]ry5Y8Nmz\ݰ@XനT("tPTKijƩPث#W˓fY5<(l8aG:,wT}H'TSP7s#zgT9䐷:8^g;DN,b3c?Wj"ˆ2G螘jȟ Gs<  ܖP=xϚ>ԍ)9xzM/66 ЯX'ִ"ɞ"b>?P Oh(nqT^n{Ɗ޳g`ԡFl Pg8s3NsYwP;|-h (bƞ!yN&)^QqVJ-YQ,'q2D_f~YH~#"ˋ-aR{>62Nx6)o})OzoOߊ׽XLwN9)켲6|&5Y)ubg҄/KJ |[C?^Uq3#8X-ni|=ЅSiȇLjR!꼷bܤh0D)l6K/ے M&#gXs9EYWM!tzcO=R H/W& l]I}C; tC4DIH[k?͹d`n5 qND%h"-^e3{փ 1Z`_.!f_/"y 50zr VeUשԚM0g-\9bͷ5clJ"TC%}+z4-!Kc nױh17b/a9ovŠf!H`[֝^ 0Xu* r:sPpFߏ1V*+hKYCE4l,P6wl4-lWt1"b'{ _ˆEVһ[hZ> ,9ZW lIPCm`Q -_[7?G̈[sD^62N*Y6ʑ ]_a:~JYy̘I>1;H|YrHHxJp2Xނ#xuεB,l"I-o8g~v ,Ӯps):wFBˢGc򎰠]fr[h"ajY?G+|EZ m%lήz3mnR3\^֥mW8R>f+[:`~H9CD L8vԶ-[m if$p,5xsz1 vʿLBPWq'MwI17d4+Mω/|Sq侍 shd9 kiZ̆nA.*1 Rg d%93RW)hX{OK5)L7,5jM?cScu >;OSؚ_[it2ljj¶2A0=y2Y\ ,rQN*`Yc5x-؎}8 tW&]d/$\ 9c>(5 NG V~Ų]sJ{-*V8đ4QfPNg+f['yGScVꢼrM"&@mδd -ӱ{ .(ps5 ( *=(J>`W-8\Wp\؂0/wO0hFmtnK@3'tb"ӝ8Bi,p?kg v23﫤ɵ[̡Hi%j'iUɃKiȂ|e$a2' 3&N%/K*G>FE0`:eDƸO4kK aWP $D]CQ@tB0H3;ou NmnC[ -էͻq+A1WWwZzUBy[y]ϖNN>tHOLE %sApI#u*O1kdL o&`J_c@<{-7б]PI8Jґvd?ǹp6\6_C7lڳohjX*Z#. _{ Bч, BUL>b?S޿|E4$P?)SXZ[pփ|#BdI%80/1&I-@kq9ݦ9o ruJp/}n+LҠG9.: XY^˨>cFp8gg&̝{$@y$7 Z{S #tC;[xޱ3Lxؒ4BbQzcіS r視dBkO%ڠSY=}nש*"@%I%;5JCœʥkz t;$J3`bS~P 4qϰ9C[v ^.LC=@0Q﨟Ǖ*SRgC.vz]Q!N3%k )4XO<JiɍvBIw}D1*h .Aզ~]ln6ۄ-#*4ȯeYخ3Onv|][-g Q LՂcF~s+ڬ.&[-^CD9I\_{O$_K4iZ,Xe~m%8^X#TacZY1{5UXp 2ePInybm5>@1qJ9f~!X6/,W:Ȗ'>d5Ffݳ^" j}Irgz(ϯABSҾ4:n@>LX#C5|x34CקҹCp%gwFc7d ODA>2vi⊥'|OQ/~,gE687:4pDr~p|,04i캍?cg-jR{DM12٤̊UT *<UC 9}*݁팀2s6Ks1_bDY1F3u笷4 26hs١~Y+o/S9+9MWRQ5X?|P*/t*zlUr_|,M2K };[`  x|XClX0F*.f6 &u.]+6)c|{yNo4}6szt֤ ^ o7L^DA(gUx ) :SMweO4Њ6!\ 5$iqgItKV ZQ'f;5y~¼ ~}3TH5b~P!9 {]R~-QKXP\2͌q%cw.WB]F zZճ񪋌JooGKI&ր>t|} 姵lstF+r0UB1[t:3%Vm!CTx%u&WS${b5{Qi%BI£2 Mh_T*VݨX\~<13Q?ݢx(t8yV䜰t i Es<{t7a`ø(Osf\VWql*G5:ܚv`qoG[f*5#$qc$A[ 68 ug_iAdziXʑ/'Ň`ىߘZ!Z2El@R͠Q|y3\:'PW$AnIM.,c1҄:ݴȨziu^IrP[]LQIe:F{j$ |짼[tDַf'Zٱ0df(VkPFhMĽc xM;M|nsQmTqT)(n$`1`:4̫SLJZUOm5 3ĽsQ=H 6a<Dme`F1oI*awd-l]_LyCBuꢾjã2{:RԠ$E ø6zjx0ڕ1JqnHI|4Y5sFYw=(T{N_ɜ]ksn&k/U176jW Wn00"AAmhY=fࢾTx,-{"?iq9fƗ!u T LUW <% -nc2oIZ'PBkZeRzC 6O\׀-pHBgđK%4k{z%cvxGi0bga褚ad S6I !f7Lc1`aR??t 䘸{ 4>\S =<]D1#5 jRӊ1 2WuVZ_gzhvL]}T^kdmn8–\rm f:^z׷2NJW#V,:~RZ!O&^aY翸,y-9dɁNf#h-rJ/(>c{R?pxϸ4PA쌚pjp}If^2^*$HozB6tu=#pd]z[_)6k+i֣տEvsrNkpFƒPiێЛH]+&~׊O|`L|%e|s"ҭ'w6X2Y0/u5*qzT+Fk .h苨uA+eU]S\2X%ZoyGk*T)A`b[)[~kp"FUۯ懄|jb~3H4|zxcDgj3*+32L?:X!"PIP]ԑAs_f2 mC/:#T,$wN!`c-37txZ@iPlm@ 79"$q1)j:YG6SCfM32t KNI¡ߔKժVEW[_Z: 4J,_B;UBDFMQwsH==_ȗp l?} M'7Nrd6%7d׼&F#eZ#A:xH~{{7f"rRn@˪hE" ^Cp6{ڂN6C/L]|C/45?2׶#NȨr/Z&$l ƙȁEf²BHd7߱D*3RUN YJJ> ǶsN8X Z$w e-t)(?@,!ޮ8 ݕ i ǹgdEfT4B _ a%aT$oSB|߭(nΔ[1ZuNxC>r&g>9CG^z GϹ; 5`:bqo37lk/;YS\'ɥҭiuϥ|qBÙ:,YJ?hSjB kr[(r;Ylc,Wξ$\2!cuL RBsd3 +޴;iǤ.Rז#1xb5< L=gֆ?K^+z }GۺKL_Wt3E|66Ȩl:%)ɶT` ػL',A152&} {ujB ]61 ڜ|k~a iR@rJ.t&U謇|X&AX bTbP]N5] 7*丄˵رI@(ƕ 5U-9Ҟ$90TTV%%4G@*Z{ b?j g^_$oOM-}rBgרO+sj*sWO#.?Gx#fxn غ.Ģ^;Jǹu׭TZ12w" 1:X2o`ndq@lD_DӮL~7pmjlHpE$.M0_l xO O0)MK)UGbh5iNG:V4B),ƚE\03rV 6Mw`,T(L-ݲ `Ч~neNnYyɕDZOŐT2ՖeG|s^E~]i "-1Uvԓ1& 8%zaVa8.pu;Mr-\'+qٍMQJR9Fo`'G5hk C"0Iӗs|m^v?[ބaaE4bPa:fH!e 3Ȃ)N(L+! ?㺖o0ĕ&f~ ^`J~F4sF` X vq~zIe_fE֬@!qG|fKũKrkp h;4 i!+ʽL UlUz05Uc1iBDu2y܌TN\Sϧ䶣[aXjNX!zF.'u*Ğ􄿭 >y`RS6=b/2 dܥ\* Q=%Cybhƚ!md_ZuA,lwF**_P ־;evHN,*"ec05-Ƌw8yڮ# ه-ሥvQ-<I/yw~Ci*%Dp?vy4u\=ܢΐՇeEo{8?i H6GmF]8I+$^&>1r.<T=Hy PͲx"2pk@QW~sc# ub}j NH70;M׍kp-;BYPW%5tU%wi8XNjq(Şi[jcfo.?%Uqr6{2TSP| L` m.ՄR7Yf/3ĴU [ /m_ҿFc#ų|*Wdk^t>bc \E1}X4<|bu\\>wKZ7lF 2 SFQȂmnФឤrM=W 2ido [:f}(IJ$ΚfZJ- @.2W7ľ<1%W+w!D ܗZYc(͑RhZg,zmm!UA|1|u]E skN!u?%˓)ZE]bp# иzq7WHud&=@1:bX=, Bٗ9Њ,_+Z&TDJykyMڝ=>1X*Qpaƥjca@'HaQx=bV93# à%Y~1>l{\_MdKv }Q2b'8 vsx_ HC#sA >EHd銹Ң_$-/u}O%LaaJlvmӚqz&PN *P_}MFjBܦ̗rID=+0{^*n+^Y9|ZdjUB}c:>^ ت K/c Tg&V7>lploq?DjN;]\ˍ#q ȱZȏZe= jYx1\'74(7:x1zȇNonlo*/2 0*iɃ$-&hz´swBS~BddCPV==@6)8U9EpWV_pVӘۖ35YG<*ձoI~^KϠ% 4V TG+mrYmQYB+(l<_.$SmO۵ٓv'{]DhlKץJdt!-@1}„r88)ɉʘHh3O%yxgS |wCcTV9w@,AzO;0 Pɥ2=V+v qSC'X"4r ;JW<,?2Z_uo{Xl$!᥌bWo@zcǟNZzy0 A(mZ5AY者r(n?~ B>W6}q\GHqr %S6,çҾo/9:oL_K֧bQp; r6sR8|BW \:fP6Mp~=LV_y"_3cCuebdB DiU+9儚I3+m ̗F]PN wݛEnhfVX" WkNCUF6a!뤏6.bJ(Kֵo7IB0Yõ5=S|T` ;E:gܮU+# k`#A \G=EtG5]WhHA,gMp909l4ꫬ -хqX,*bַޔ9Ԧ&JZŎbj16щ?mvG*W$:%@.,\7ާSnFk"۰Ԝ.=xrPr7``yȈT{$E]veѪYni>|gT@oJHWⵘv7^c3TeH+7X\wϛv>zv1X VZ53k].|´5kmܰ|ې)U:?J$ Lz4.E6TdFT/_*[8ޞ1ӝo;eNW<Dh1xLϫ1iZ҈BcTUvpdvP?v1Vgd!=.P{J&;Ay>N>1ZGoQHAxWoӿ*\<_ʨΒ(eEtĨvԕ"s5NKcsbZ\(b4 P r CGAQ ɟkFZ'uܪrt@ Y􄎕 M"Dӳ jHEnu6EZkgT국Bo(Vme;lTce3PA!)nD֋d \j1$R Z!&`ɥVXZ1ÍFwL>h(Kmal*u."$=)bwjc"|kqjVmR6b v8(51T>'0x m1LU|bYe2Qz^ -1rIFhcֵF{ y!MWkfm:+j]NhLG qbNs)KMh]n~xKuN"|+c57 OYR+Ng:Ib ss4Xwy;bycdBrZE9 Vy{΂١|.fh zMOЖ\ןBeM:AqzHb(-oTepmu{eφ+T )ܜsP|'cn ,=6.uѣۗߵkK2w1}ۧ>=[?tZ?S\{Ki׮i8MZ [GxUY; [mDdC@hc4wB|8Gk! oi&8>*׏'?瓯 ʹc: fMw~i)7ߜ:Uta2כʐ "#)Oi3 GZJה!ʁY!76*;(#1_YKh ,0>seAx!]#apwI ?wh{ŸqX0^҂$SOuG;]`#pUpGqs|s/p!'j 痗" 6ZξBξ .f?jSu}<2" r_VQg5#jZ7u1 @rRp=6E`MD Q:PuQ]ui0m! Zw]k%LnH;* @1  ,qD "Yv/`lSPlO)8`;vuh'琄{f"̓6O|٤ęN|vp˒PGE5X2eP{P,XOa1 ' NaQvФ v%-)Qʨ;qk9'?Yp`ƚG _b X \< +f1֧WJK/9݋ O PNxR}*w.s 8@]d,(6Kߡ)kx<3ঐٰ#F){f80<[ޫg&&<͡"Gt1|/ "rvnnb OJ":ZYu&xx*^zMYOv( &75fF15).~tӡYva!(Q3U`][j"(`>?~itV#q'8+_9ԉTAy!_jD1>G3Y#I>dJ뺭>-TCwב4 l1e3!^_PPwhE!,3jບ&K<ᄎvaoL@E2ʜi {IJ_88CjLN(8 cϺ_, 6:geUKh伩Їg/M=cCv\\`>.[,e}_ Q5=NXA'< okҼ~,'8-ZZΦv$4˻˞UȦ|Jŧ$@FKԊ~hY>B'7Ǜۃ[jJ-ڮhh %'2l[)  QXܠFDbO(`)RಬR0κP:j`Cb&pIRQpyYOqʌtm70"eO)bI;Y1/P9t&Kh )^ )r& _$ 3Kx(Ybǒ]' JgHz|Ȕ0..jcd1/,5!^&9 Bm3 \qM | ӽC9>þY,'GryL3yk{WC#uj3Q?#5+}Dہb pAdi;rD> h| i%*H 9b03> ]XH()l\5uMxčpC4vɂ!Fol31߻ I P u!\Q ˩PԔCw璷M$vOer>r x̀I@%q?fN8j . A6j[VhjNpf _,#̋u."͚;PML60H5Y~ ^@|G@V=, !HE]8⣻&;yMZP&–e[]7Cb2Ȥy1컾=(h G^wL:ݐ4`Sz oI7;2+gy 6Ak&m^f}Ե6nW{Y,g 2lz `";U5/Z}u} &nt$ywԞ?͎'%;g VolcB89< +b ibEnn-BhtL5d>>g_`_K29]>h?=OY?lWVyJ:g<<-eK]K#y~5/U6y})H'eX}\1I@\> 7pFa7\`IrA (lYPX"Q /*ֿ~-L[1mKuPPh-| nF`3>k/o/H ̄gVpc~W<כ j>i41Wb SEW1x!6px`H@9*ۖ]J+OD(晲}0fDBD6j݆mq3'cV!6p/=Vcd&;hu> x#[ވ6dr㻚TcAx@<\k2.uzkE:FE~so*DX< DtҼHq3J$:O/p; ^[r$9v:ԭgF@#@ܸӧ޴Ҁt[MpQ< =rsĎ=[`YG=)tWCCf 4'HzD3q%4<([X^$T/۔BN )- .`]VVg~}xtfU |hƛ󧨙2w|eb(dKi2΃ +ؗY?yxܿvhpj)JMl_;y ̘OF~#y ͂Z%H-ᱦD[渺E@x#PeQbfԶ4?;!Ύ#|uD^@ȽE֍xڌ,KepDOp$,&yhܔ%%pBl7TV9":e2Fa]Xg= ,0ce,&ajQܦ iAzGno_[ڨ#KH51'3CS,# E P[YX5P@s >?I[ LU^Ɗv`)8@a|bFl~1oy1uRŒr}٣SKϋ{󩱹.~dpD?AKxmMw(r tt#R۠(sjcw'wr'26r>5]ȾKdйL 3mGjaR&L #VZ%T}BQR/L Y,<IT!Djvp`+no C, \AY"#~sVJ9iRZ'uڡ"&y [(.;\cxc\>J `PiR@o@_Oi}Fm'-δDN#JgvT9^| Ĥw\8vZ W8SV 源lxv IX}(nͥƝ[0,@Iexwb:+fUٔ0I~eV&Tk^pl%eGf~AtD8:#oy.F`J\jw8Uĵ ?sڒoEk\?$F;Ey>4S1cc1AT.b'PsgDbQQ/rvCh^JuK>a8_ Ers7jSB:J3i7[{Z}47}$܃[gj/3˂ Y;\0aWdLQ94ڳWw5ӼμM4X( "K6T>I}cXc}B/ ?$QRhXcY-iŤXkdZ$2&9)0/| k|Z/\p-V42쭧CP_}btDptoU"N=F kn=^ nV U3!+iCRftͅd$䴮qr`VCܼ$ZHV%TIX̳X5KG g0|h[) ds!e;ͻ?5h]*huI+xȅ14Rs;ƾ}M< W »e'o c5 H`c#sF]e"X[؝phk3&jkA׋V@7ra@Kv@xO}a2KzFQQҎhJ˚xR.\>%v. qFo%Xwq*C%CJCs&L~Րyd'»A$X؉cD !'C3ޢRĀdV [TZDMkT%cR8J̺UPLF͹sIq`gM{9m+_ǵkX55 ,R )|'ƀɠե2H;OQ*{,{j;sU&r^%(Nb]rmOM(0m$v!$BBg( \Yn f ON[qg4J#yͽ!7˝؟A$ɵ\AGaR"4$0f)a]JQj`[?Zd~r@|#JxDI>k[G)鑽V~F  h3b:U{`XPa1cIB> 'g %`8rEr}C8ADS[.Ff%oHT3cj`J~H.K,A߿M!&D:Te3K.R#Ѵ8ViD^6́,c ٮՏE:˵s؉_'x{.\mOR *]Zf3'muӃ%:Ɇ >ha2|/9ʊ.K.uu%:/ "^Bs$'N#E&L^*gu)"Ka0?XrpbM o/JU[md[卼kϪI+U[öe$Ҝ@ -NT|&E;OTdqa\ZkgɵS٦ ;?Hj7cƨ ck}:(8Bp}d7J3S$+X4$:ӵ ڝoAb7ÿ#8 ؛B.u p}AG)DGf80N2+4rݸrZ>47%BєvTJAM4Abkpfh0Oe(}f =ƍ?W9n{ [9Z@( ;A$AtIX˵M!h4hX p/VETkj^aY*yy 1A{RVƇwb[StC~܋SJ?J^ZY^DZQ1O=L`ք51S?&5 "@ jmItީh]rA49(mJ̒ hfj 1BNh*B\&Fc0m}?H )}bJ7e)u&@Y(N3ʳ8^LCEOhRtޟyV!y1'/gEHp̷Z7,KZKapNT5;y4~kO !遫jKgPq\pJcvA\oQ~XɭYQ<7p]3Z@<`^k߳l7R+XyH(ۧz'Q|۰ =yHԊ\&J(yE"0+7X:buEMK ~'F 1 P^F#h'g_3;>L}b}$?.%w9,#/у'0 t9- #Û>L#WSǟm9gZ_TeZ$dN+I~ЮBݢ{籉:녕mW6 ;@8tq4K 3[XMH/wb{wԑ&%[3Dī&Gqp"II mٔ]MI.mtT~\!r"/68C\gdqBp!$ ӆOl=_[6>2_oFyZ|{bnrtpiK}mđivnp!lVꧽ=j| "&aJo?/D> WDR:CJz;BHz&jymNbd8_[t/"{)1d, )aT tH| a_e.CQHGDAqüHNˊ>j>{6:_B)!LBʤn7ix> / _{瞱޻g +7&̦+gx9">40Fߗ6}@261F%9")Vd$X#L3ōH *]EWk\*_اZ C/NYgY*V詓Cu ZUI lݭ\CǴhEd#1$9k9y:$mlΧ;ϙ,yZ+1 >3n<<ؓgL T8T[lSUܼ'Γgoy>SG{7{偠p44ԆLk_-Yɱ+o=熬g.ovsIiGzp i֫F^5j#Ph~!cA NüO t)<20֛ܣ [S>F+W'bɶh*Eƃ"-%uSv17!&TJZ(龌"GE>;²"6#&yi*hnL n _x<,%KNFƚbZWZ*;u"Ȕ cck{JH}s, S:`UV.d k,ǠTኁL f"zRۿ& XY3Uxqr F\a5/vcé~s G ʯXPuyybi,ow7ɝ^UCRdCBԗ pCZF2b:"U1kZ4!\.U99Kc?Ibrو*͈0N+A%y͘5krEA8>gXSĆ;1ۘuAOuQGsA7!/`qnU45#s77Q7wE%_PQym0]Xi'3Z/[ic-s!S}Od.= {X:A.33|U9Ak?GBQReH1F ߸P?ԟgfzNV'-R{89ћKDؠ>RnUZgeVʞᬿe /oƻb׽%cJs3+olQC-L;V=!٩!vtSx.L-xo?tңSMuɅ&=|ַ}7CR`YYCL6T0նTVGZGВt=G7fI?#k!a?^hO='vu1D>羰PNZFǯLj 5vj,u_Ĵ(hK}ӈBH]{VwjO&vPD/t!8֞HR-ЮÌUBV(Z,Ⰳ =mIC/$)ϵmryԛGJhVLSlsu/.:<.qmjKʰ^X B."ߞ*S `$S汵;LЎ7,B,OuyC8-z 4> IR=|b~AlNi0[g/ER1+F"K~%Nto,=`./v!,@4B0/[l ?+A6U ?j2!I*ۼ7PM{¦Jz%8rK7WW׋6\7 #ۭnadu&nlfG!Owic~fvF ё`3FN)Yg\y} 8/ BnjǵCWDQ(D U2dQ MNi2v_\4:XUA퍕K@O#6V{_VcWm>PL+i%e+K"c2Z>'3 |7lhpu IjowDq.s܉&ʜbOu`@Lc)K'}IAą%ƍr'ӽ Zx\,]:y"K/t*v;hmv|LXܭ ȃ/]2t~*Z*W8W'}wl@L5,"BU{42j6(ܞ<WAUEgM]8U_JC̖VWb2J^Yk3:$Lq-4#PJRʖ;%vޜQ?{]SoI] kF=]@llb.>8k`-#OQeIg6ǑSm'` e(8J %/ԏxm*pJ r1 `#/ǐ/d{muwQq?Y) wV7?jDF5so Ɏ3ģE)Z Aޒq B+q>mmSR y6_E퉢1슊/tJCXgGl_[\dŏC!Il.:dS _ɏiI|Fivm{ΫwkylDα%C`YZѾ]ғMx/s>=CSF$"qd78׳ T >t (t*'}kYh?Fwߣ6gf 8DArf?7gaJ^9ZG z?W,R]7 Y б/6EAHBkv}E?! AR{"Sϭ7ul2By2Յ h4}Ydu?G}B }(Z3J4S`gu67dmԱ\01HHOAZ޴nW=S Nm 1;F#b+!D D#wЯ\ t_%`ϔ5ە\0ɦlS@c7:F{>@ibU9w@ֹԛw#Rx~)rŃg6ʦ0u0i(]{=H$97Uxl@=-wdS}sʓ#S h\H IzvV0t] w~D_aGj6X J},oA/+&p) 虤[1Sr+Lb29MM  vc! 0 2ق+0D:i$c9^ ޿Єy) MzV̎wmGRO?ќ6'äxW rG-%cF$䪔=-$zN7;");OiiAaƘq3CI&Xѫ1ts:'T9kݻeY=s yÌ@}Ѓ<=Gڎl=8n" T_n6oo-'iPIY>3@$Q$*X U팦rƟ򰞳Rh8:5_ñvvn HҺMx>ed] 1U4ۡRY""de11m-%zsH{Yj,H͟CԦ_ަ9P yJP4a=#"KIS &$>%czzVy3yt8xbm߼Ƣ]f{fB1h# = }"DkEϚlpC-Cdk%nU\z'쯧:S\kNaĄz!|:z*z7~Q)+%2íҼB3]ɪif_:q%SYNc7@4֣1TeKB_"*~dE`ŜԟI.sI2CTj:C܀NQ#+BȞu4m(}R'֪BC%,}d0(h A4#?&i3U0[%;>hm-3082O=Yye/TzH%.z;/RQ iLc҉x;l]KEh`sz+x"i41Ael M wݾ)$ļtav2bv qMWgv#Q×OG{\6`O#Ghswo wu-nCγ\6k0AC!)!sFyYE˩{mxW+M!t5j`^e9za]Ywa\8RΝ}Z"%>j~"rOB4z(\iw'`$ea_nXgM (d)rS„VjsC7~]E}{R:Iw1e.w8k;N;CO1B֗AtR˾M!T=LR>Їlfg:Tp;.+V4^Բ䄭P y"4m^?ArD*bF2?,ZL67|*O|2 ߌ^"dc2$}Y77?R<\+WZF K-7;;^&$'!w.۽To(PSC9<ݖ~1)&a~ BN{[rh|a9sLS J5P1ltʳŚgb\yY?>)c5>ɴ\.otBAp,d .UR` _R~]z28\|ɐj}O]qÙs ͶG*:ACᏍ\2NU{N/R딱ߍ-]4ʈp曮'PV{2?[J̓^o5JЉwqr6wL=o<.XvVJ">*?u'dM%>_!e 2/{Ѻ/e2Pt$kߥOsK]O۸vSyAFG~ 2SȣB{/gtDC a,q6i`E߁O# 9#{s}˥4^{`fd,vK72a9 HIZ1hB`&n n >񮈁AIHAlc׽АEFb2 aO%*H}Ԓ/]iSGqХEf@2 uW]vuftؽ9#(mAMLNh!o,ӜȴHTޢU2@C꺙a8be!w1uh".| j+ujrۀN)R/c՚,BI>t~ ݱZ-p:LjK;Xn9xIo -܈F$}(}'d IƟżؠ6be@ʞ\tE]CKҶ+i[%I/[<{3YR y_pC9V+#0I>S87a[}W%_ZN Ih; $E567%Gc@uS"go/.@5IއNsFR.v:kx6Oelؠq{l)WaWb #x+_A9LITvv(wG;+ͤу~I= Y N/TCs8I=uݲ߳? 4ۦϥ,۱W\zMY2нyMz!!wrY3Hmx_ݎTx޾XܫWpLoNC(qHAacIfڏe4 HuߴU8gfSxCG#&k^1I oP{%-bFD:,KP,j7 q"{;*B'ezh~UFxIoobf-fSqm*υғ+b B7/%x΍w+2OA / -|GHN2GҞ+m*meL%l;߯ez[zNzs^`1O''c2˞upFV1!0oݱOOy+."3zk*| I&'ޑ^'UT:y+I]v9S^ %=̚t[IH۾~x Syזl vE-QLsg+}y$8Eۇ=5z88YmWOK*Ђw~}.,eWLXUG. ޲>߫ah? ij({?ea藇݂?Sh3d\|ZXoTK(wI,J>@[`nTE~*W{1쵺nv8gfia^<fFA|b}(Y6 )nHLc?;ZL+ 먥Uf˄7UTOĽke2rk29y4(8 G!Y!ossn9;Kpu v>A:#uWzc/x^#7l)_y6 9rب%qA֥H$E M9tbX^6Ik] ?^ۆԉzêj˱_j۫kYzV0Nq6{ پM8Yk(#֜=ӷ4L(I R[KxNA~luZ8b,rJײ4ioT N#Jf WH\s ) 9&@hpѵ[! 3TnŃFB-Uf&=2mӉa?ğ#z,0 O6[IÍ78dꈌ! i*5cT a,dN.%j 6R E!m_t]d,ǩm=b5y1є/ӗ)S[/WV(B8M(B2u> t&,!,ϭ26 j)ύCM1+} Y5d^ >3\#4%A)c <QA߃kDmaQSĎ0v0J,x_l끾X*ưY-M n*ORI.zQJf!mLH2J~`pߗq9G!&J7"'O6}y1 ]qJi>>efyGG\비l'Gdȵ{B"+22]MK%OΗ**6|W"D`nJ*Nh\G2.i`Kl眠>h&2OG+>*~_6(㻊b=.―O"럝@(#""҄#$70T&vksp%O-u_D4NRz|wZՄ|ĭk͢Db  Q$`l[SоlAnf\X[ geKԲH*:lNFxyrQsV?ySe<˨nDȬݽ- J<Q7|fVOZaSRd |t`\mzaa3FdQ.@E~W_Q3Jt=zQX^"}*] b:Բ謁^F]ع@b}=7 _ |0LF.u 7'j68+G.HՀzl M(\TO\) c  oI8@`i!ihP).N" ڹ~V#u@i-mjWT":Q33M#y̹:80$+m"h6[ݖnOr~l*<.%e+ౝ!xQۼ\&Z0bJ83"`H(gL@|<}xCoj$хwg '^keHǥKpIE4,e1rF7%s6;M`aJ[IO_ "(d 2f_ 8̗dg@^.Ɔ6/OڥYUZ.yqSrNadatÐb=_e p:6NIyg= A&+_5z } U낻еZSYAL^zGR{HN6 9'xs-3?i28Eiˆ1RBeJj;H?ծi/=Kr67ƼBJʯt؁Xp GDIK~y}{g*C̮`_CU~"l̼ T`#̐&9xs ?Z9! `peN(i&,5{o y=sr8C9qCU*Rʒ38A -)=yݑ֖i2ǐy2ꎠt;d7'xp s@7LDdeAR^e!`deͷy6l y :r,1Y${w7,7ˍ=ޡ@YC4w,9m GoqQ 6&~54tfd号)k2a6"{2E%n3v*9r'R=kR7lm_)`{/P0Rn0T$8rDMiGN`s=gѩj'5#1Љ!_HSX EmPmc`m(F'v;AƼ\! |ưx_hm; Sls}wlbp}8 WD-#Rq^Qq$ޟہ-I XY/Ftdxc0QF#8wo`}|ז:^(2( 6v" IyY'4 (rAe:?]:O87P>Ħ\؎QaԿS8/S^qI$%W~k&PP:V&wd `-(![%qn}V@ПZy#:|ym(TzV׵"l*Jk:y xd@ݲ7K@ҭ"5N$[mi ˆa[o^]^qOlOHm:xxq$d7z%JNѳ/,7bU~xV*,$eE]͌7j0E$IŃzVZս1 産M^MCpL}PJ0w: bܷ2Y.*WS`)(6# Ŋz!aHiRtyEWN>zatTM&} VԓED`wǞ8 LI(:tO @w(.n.q ?sv>hu " 8hw@zQT!Wft:Tʸ98 8T[mLsv?^Nqקp^(-z2"YS'? >4EoXH_C =¯b΁ʛOݵJmxɅYPY0ǠH}8,ATR9R0D3)kb6`'|Z:&L2PfBJA зxW8aKːNN0S%j1z:bzRhݙR-ZQ/p Iߵq.W"N>Ǚo aqnw^>zHn)ЊI"ҧa"8X0pSߞɌU 0.ha$wz߀ OZ,EenĵLfQm_F2ȕo}>[&IjzeOl&`U^y&7q:bl-8{ wG ejo-E󃌥z(M5pxj_idK H>9xRCkԮ/E<y^` ľ䀓az J4/ZT'c lh eZɂ؁VM;:p-X \aOlidt>Q<C\kA3,kZl'fAQ޲tfJ:Oia@Zzk`gf`vU[n 8P^ ܺNj s_m69TR:|C)ZeIe@C8TJWT\ƟL>O+q*/|+m-SIV,${ndn$]I3 )f2R~ˀUo/swc'ϱ$kݢYɒƇr!p *LNQz܌RBM(δ#'?MԦ5 44.3VPQ=?sěQ̈\5>4)B5.Z'TJ_g1fͥv*M^ "~ѧGH8R^dͽ\-"ۭw˃56ڢgYZa140b0e1f794a33bf981191b82b6629e55d3512eb6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde637b762630fe894993e5867a2d70676b1f851684