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  `#,L ]S Psi_Calculi:threads=4elapsed=342.809cpu=1136.328gc=29.972factor=3.317zXZִF! Z1M]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `טXVg:9C侨ǿ翥KCR2 1ej2qA>O2rc"ZvQ52iکk5 siUN0 fwjnNYeF!r% vhW͈.@dHosh9|)wt>j@G5  XDvhִ~YkBzeihAv2nK֥eX$F+?JgelIµ}ZTqz'VflsH4w{VsH:\(1]IbHs>b&$55|/"t?^GhGr=̝íHc+rp#Jj/XN7}) Or9<: DIcB+-v >YK|21ƫ}ˀ'Mƀ ^glrMAΡkgQD 4#޵'c/cSc2 hINNȇy12foP9)"e Ms曃@) +Yq])L#P*ḡV z?!~0ifTQpc͎ 0C5o@PԂeQwbw9ֲ!{l4}~vzUmD,?Wp 0K^_ =ap=~ nҘC0`ZsYj^i*)}R3aWD[VBjgS^ތ9x}衱aḘ}F5qtNe^Ce. FqvsEC6er c}~Ô텏N>wܼČԝ I4l~`iz1\;ZM祁RO^:i'CU4y!#h7MLB0*>v-`Xn՚,:ZyAݞ?앗-|U< vUGV3o.~|7Kj my|:7%r R7Y7; &zHo@~U`*u%^DX' "mg߱g{w֧Ue# wBVTZ*>Ϧ3A O}I4SDԓJkΆH6z6!aV1D-0t\VdhB@Ľo ց\qQ*?c,oP&]"(ӳHbI[@.3r\\ա,dgbd^,xOXgOM~W; ,;%W8 r;0q6*H5$P.(9퍖$kޱUz>} |\Sd) l8V*v>:n U]T %)Lʊ{lBu&JDL`3P J#(\cxfƓ\-ِH76B@D2jS"g -F- mL9Ì5ShbZEi:_jwJSZi[Lů=0N39-uqwFv x^2,41PPPO 30\Gg|nud|:5h]Eeo+J+C˸Ǯ[]ߧЩ:k\T=PML87-@6"cQ*СA'G#0F*ezEJtcQw{XW\FM]Nf=ͮ=e&ИH/gPe9mĩ /_AS yӑL}'Wdm0 !@D;$3s,hD4E_>hvNi6YFz`G;wAd=o7x+~Uay s mk] uEd Rm[BX߹B&tP"m;<'v=X_]^JǞҙFԲ}{%;(&4*CH(cV7z';)q/iF q "CAvy|H%#{)5ʃ:>W982Xh_,\,_"5FxRKMɥdv񉙳P\;'6\x< y+C+w;pQBNZG%"NCat5_&CEDTdk5ǰ MC Bo4WXŊtyxj,@.pA|h$]żf3VjmG[FMI>V)st7-ʆ}˩q|ElLJPFa2O_$E Q{̚|AE`y$IX>M~IMu^'z݀ql@TI|L0x捭t2;(.ZZ[ths -*S0a/༤ KGN}bKk'[pqḅZ-,A!Yjp{@h< 0 (SYoWBtK@X%"0p/}vѾ >з΂6QRfCLP>$8X<ce[WsT}#oӳ=Bk]f?jCEd5WgGIݎT?Td1*$j *^H˴$ g2j:.N wT4`Œ%|Cccs-I3: 3ě:ZurqqǣP)+Z8_<5_eaf8aC;J͑ EFY5pSohZK^ZAIfk!$Buթs_f'$E˱!_Ï4W/u$bvIq±:š&8x$2_9QnQ)yUp_uݞw#˹{ M A nQszg̏V ހiuh70'!]: hM{KdHBS%Z_9\^uZIj~v_yb1pYg7\dXruၬYˉ0f}ogBC)TҋȰ^+P`H0p!.Uވֺs^dg {?Zˍb8+킭eU~X,X%ŞIY g+ &g@2f9AKGw2& uIB],P#'em ORKRYHe5 DL1Մroe.yf p?AzpAPWw|Oxx?r'AACyv.<)R([7Pp/݄G'SP{*xփ cc^@ބ5K@i9gQڻSPcMs{ҙA> L #L'&+בi)drs3.End:H{w6sPL.y~ S'LZ|=aj׃.2B[M~Nn6KF36#|muh1}zHNDզ8.A<ﰶc{tQ=^9-UQZt U=;9`lG+,!XPf8驆tóX)HѓJR2LC+7 BoH*Ïߘa a )inqᅙ`g[?\va BmW7}q^EcI3=R{s䨜>kqͥxwp̓X.yDdVfEh?-V^O~Zϩi/kO[jvưMmRdY@2 jGZ]ߪjIZ'8khQ7yhm8Kt g|֜c g<$le 2RJ +i y3n?\+UUJ&WZ 0"[* KJ P[mPnGJqj,` nӡpC"8ARW bKsdbx!+2Р"qɼW1GA  Ckz{`ymC/RRܫ* incFrrEk'<Sh<@`ܗ"vi>%7i56ꀠqQ 8&uqy[?ɳ޽@at&@vR>TgYZ7zXZִF! K]ŗXiɟ˗̵w'Sɺl!\d'G\ϟ8K0L=YE %K2Ip(Zi Gh{~+Dla E5kn{DN;Rh6pΚ" .:KRɘɵ^eá/A#%y4#z#ZRb »Q-N Iߔ8;'G,CtEYDeެݨN fd31uC=a-ގĘ~*!hQP4 a,7jT:E$@(}?IO  (n6+铇FyrMߦ=͙V"i cf2ʫ(R;n'&"LDsE,ng. 4:M?fsdS=((Nm8-: IF>J/a?xXmx[MQ!WCD[Ќ QTlq#ӝإ$rS.J6zNj(;+m<+>-FhL|]oOUTOV5J_2Oxb P~vs{Gn<Pda,8$WE1'eĈW2Lncs.KWw~-,}xlO_97#{$7C5['E."#pM?J=[q ݜn)ĂNZgYZ7zXZִF! yp]ŗXi%Eb4Ol٭8myЉr e̚#!5q㌍-Og {1Bk6T-A>`$a:89D !-[Qs7聾@mIEA# 쉓 ˥lk7llw_of.x_"lu/#My,o#`h?IgEL}_a쭊jW!xK՘b6s %Z;Ptw1/bf ZGpQ".A#wд"S1à4g`IY>.=즜C:)%GN&$FUK[Z0.rɖt8XąX} „{װ,Y݌gvE4E\PL\đxc;J nW/VVg h铉L1-M?6ođ{9̽|ZtW![S?;8m:};<yt6}9q_y}i~ _o~Lbp ޚ8qtɠʇs\7}4h pS8wgzߕdTwL1)ciҋ롆2tʠCCZ2 Y8 MZ#n -HD?34FY{.|YtrJ\yteK!܍E[()}<~#QJ}!} Mܧ,0F1#taڤ̘?5;~}?' pk!@ %t>4c2bd4q !)񕧥D#jxS5ۤ •b }v|{v WtzU ɩ̷cHp 7<7]FrEб:M靚@$0 V[64DƫVnV2ڄUQ<1NomI~*Z蛻(x:STddד@@ $b ߇՞KLGu HjDaNLdbkruR4'A_@M1Ԗ-OReԓ}=-v)J/[M8Ez%aѳ=hi)id)pA PKv:"$'1.H4OjavIZ2ai] ,>:GuV1= nlrK{ +!_tZP1 f 6v4\[;V@V8Rahׂlf\ڪKm!sz0oO.5Υti\!OTAmazZ c(yjݕOBdyZyvX{[OHᏔD'<8AM"8x{R:wѢڙ+6 pU:{<1*6HgNYjX&Idfz(ުgyO h2gejhZ #>N*oƂ*?J"@zQ%XcbσK024T@`-2y[E\^Ow}߷[QP `)uV7Ymfkn6 :w]Auo|lD9^ JЃ,W:v}%t.j5 Z>Gb}́-f2ҴR+G IV [۩LM{O Hikđ[;)l A os+N:W] Y5Jj۳UìEMԋxv˺gōAi 8v?iT #:I&2%+.`>0yqJ&ULMZ;] jn@+cI=9p(a>̿u?}Kj0~NYp/#YבHY瞱5J_X j-F-0TPTxd A7 ;zC-j$_"\XRh?VTjW"bvzO&…3a)-=dNC,Yo.g7~Y.7i\賑;_ĠJ : 3'DEVC8{gqIܼ陽Z՞6}Q\8*-).cmuB9zg{CtJ&/i TeKy&<9!CW~6f?:_ysȣ0c:\3V 9:D^ň+pb4~MGj_0t>W b<[!'nh.6 8#)in!DGh@d/HNj?5aEE<:v!AsdAIi$G[YZn"xKdBr]Ytq,VYؤw&,L-39csx;l JN2Ql8kHi/Jݮ#2r#1~ȱ`9sB-^磠=S)O77jD\F9jo~No\){Poa :  1jjӭ$LgP 5Z,TIU s5pDHD! -LJ+9w8Dˊ/` €Z~蜛q?e3_>;Mlas{ o(1jk$}ntJVAxH(q WEqLf**V dIy`ݖ_oio4EOĞ|xA(BHg(7ܼ1,7Ѽo=uwPA^ {H2#>%a"I:i./p2shCOyQm{*zj5F3b/H/ٲQ5JGw<]<< /3_zkټ}gJaeXrB8~{LWݧaOY y \H!0Еu¹&t69}n1s9!dXv/UXB|+OLMEduEE{W $>()hSC|J\} h2Y;DMKڹ/ >sG<^VcYfZBe+{:g.='Mĸ̛"~A$SSob`Z!nȤ$"WÔ;ZK#'z-ZOt7!76,s釬WAG{QS&EĔtVa5ąp҃}0BLC/g"g+($MmhI۹krZ3&L,mօNweǖ2ɉ͓@]aEwiw/8 |:pmyp/ZxQ>Yu{O@L&clS/Y}'O"4+FmM.&1|6ە\ JJ$Fq;cr~#El>fIGG,}j8F4Cgz"R |KQEk5Buh%c̾g73~ (δ-^sF)UkelQ}_~F~^ZU3zfK8b?*" 6G!׮'!1j|+6 ZS;:ːrS3VU\+VPVqdZsZ"wۃ&u׍kN+9ƠN!]vIr”}cAfcyG1~ ߯<2,hP\TRC,z/r?GydXC*oz%sxAv%hлYQTWܢIId6X3DFcLNP?1LuNP{ gh_~DZ1 *?]eA䦡`-'˶;xſ)avZs:&bm_io *+8I3:@e7)Nك@G%0h7JZ.5wL"&VʗDN8!}%ZuQZ>al$O6 O14`ԁ9l$-? mf$6?^sd<dYώۅm< %^ʑCL KNœuCXuXc&mhX*d,,4l$dsK>xO 聡vbdN$T 12k(W2ͳ4W}3`w{0E}(QQӘ. Du,=77fC+(Q igķUsyBcA]YB2_& o3s/΃¦zQWQwv脙\ӕ[d6-~m}SA< V}Gց>%o+6.KF5K.M{p݉`cmvd5 v4 D8ic{~Z3$_p.#rsHͶ㵋v^=c&&/̷`Ugu̘{E2cp0 IBSF;o,%t.?_n'߂1XfY#WOs+:fgre`)N ҖJ̈́&*ܛ%7ԋK9[ (')!YX!e3X t+Zz4z3킾7*#B3ϢRW<t2GKݽ#qQ-a3t\9*5X;k#uOӜ &/4+4"@ Fr/ցC_"qy8KbSs- QQT|۟Q\ak%پKl (Vhn)U-6bӁ06/NV6x]UC#7Jʔ>=+I|P޶hoU{wo.6kZQ"F ' QrѾXb= 5mBև+fǔR},|k4A_ *7† 9 O-lJRqf,u_!gS츜ES^>p 'Q^dmN9O5A%Ln=꿭\7:H 9@2-j3M/읻ܱ ;U~- R7m^Bܿ՝۬SsƘ;xIYMXd{'P`|иCo;=y w,.+x*nU$ZBPRZj3{+2yO &Mg^ЇЊs;Va5վ1v{څ(K,;u(I_2c]׀JD9UҵTQ٪!LsyGsX :V>j'#UxjGO9ɤt" lu@?]ѽ)R\H*4q(BÖ%ĎA4W 1'@g 9a+f \cg E'o3@\Hɘ:aHqb~@Z6Q^ʷ"Z(#>J4.Dek1$o8Alu3CZ !DB׽1iE+ZgC3)vwO}貸9Y omb@FBosGn(.n4(׶AhC4{ckCǠp%. ( ];Zx$MdD812܅ϺzVQ0p4ߛ;`JZRh^w/9>֨1F2;غ#'~a>+%|&ڒ&> L85r+ ijq:zK(?KtEn 4?F11VQ˶_g[TxԇRdDG.g'MM&,~`Zs&qnpgm5SkenSXū?ZZDq,ZZ ĥ3A4=.\ MZ8I' 1zѠ~tGlOqvlbHB&ٶzWrƏoFDZDW<3]QnNI 0;_d"WFņ%R=h̃=Ji~9x·_p몼ª 3T*MP~O>|*{irB%UDg٠ߺny]h#i)n2Oݴ $ӶjJJE[,p7Jb'8"߷BCHFuiն_M;@6õ.i:]xp[o;PMs ܋X/䊩Hg4 VDЙ!ElMOv9}?%:^ZJgNUh-tڶǃ& H1L mPR!@/s=X%BglKkw`*$-M@נjVٳޟ / oL19iP:8!;ɩc+|b;3ߨ)pң)f!/& 4іA/ɁUzϣ2_Ɩ) q_ `Fn_Vo;s +/1;ߏp!4q=\-Ԃ +8ڝf;90eU[HIEk'NDqrS>#*Wdu.@A%" 1Wp9t(afV`cK ?tP\KԠpL GsDTw {?IoXm[*}fϨyvҧP {DE_3$̂1Z0R108?8Ww+cw.s &%5RA2e]׿C10=yb8pY5u@ƞ+h 9W/Pqݡ`9[ zIuCn!2AVb ըΏD--DL`.=Uv'L3ZeAK-꧇+kῢE&+viYBF= >vk KbGE_ A-GuOIk ZFzYB.g^|?_w 4T֫;и '8Ǟi(U]h0ݱRDMewS5~sVR/KC*n؀O9'UҾuX 3BJ#E_xLn^%wNK8 Ё/qXl;7e{ŀu@6e3GPٓ 1ôΚ$7.ێݒ%AÈ]4jo|@lݶ?(`{GZyGK -nw( qІ@ڃ~(UHzlJGU\)P%^4;p*w Ol}_˩gJ==WOi,S6QED+""M&՝ۦVh $j[0R. ?g.0Ʉ1ы .zt+{鮽\(z|zGUgTA??a9c]D1ebc AE<"".P+[N v;b+C!1.bʎ;u5){0/!Π0rx$s"/mnnU*c~T,L KA ni!yzcvѿ*]՗R(Lj;_'EV}9zx`Vf3?Mʚ$ςjr]EA:rBwY[VmD./b$MH[BoOE(Ek,՘m7k`Eݣin;t?onf @$c0N+(e;\˗Щj2 ,H†p߹W> *4)vdŬNB1mic* sdӽ6Pc7'jjJQe1D]0;FjuxLni) {, b/ʴr9<1˵6;elnPLf!8́ҒA/LLk;&ZH6\W,Tfngؗt[CFp0G3l!O65ӥ9>O(ADLjYmg%[Ze tAķs>`fqByPΪLۦ`PwfՁi21Z) 4mݣ Rgܭ&}󕈢`_Mi%@uGTƜ;Bd0Cݼ]maX$VӼe{6!(or^ vf1mսV`F]3EJ6nrg޻G%p E[= ڌ\dnXR4}jN "@o<՟^|TDWWg:6!l J#5Rh Z:XVNiU2l!E#Wc9,i>Y(5"g{D\&&GЯ;Q=vRCt;nVN1WRlӟr+^N%q Jc׼-vN=@t|Clj[y恷қ9M5LVg< 0ʝ>BӳE/Dh;}U:v<{ߋ|Rί N͇_%Ou% 0O/k/ZhzJ?]*W#s ٌ#,o^匿EuXXӻNX$JN#<+8;Ň9IHtCb8|˘,CHցc @⁄|9 %06xJRKˉϗIQq6~MsU"k w< a%tGXu5 #qJ౱dt)x/_ 5mE9E7Fc@J曶ObtɫqRM p󵌛.F{u^pؖ JCS߉G8#"c`9-enz=rj)üi oYPvSv'8lZj$l6D~):mu3JNpyHnڹ\fw<qq{(JV\Ar$Y(mHSe܀x5a*1]d:םr?mJksKI*Ħ6}+2FeMpXbIbCEfV 1SΚ81sXʒs=N)wO ! CIg: Zw*/ `/?ϔ;ohlt|Hq1o~=* SsB}FUoߛf.1]wN鵒[W™/QSqJ@=*SXmLWq|XLB1\&@E&| r.u(hFv}*}z;7eXEHWk&nuwO j. ? "AO$G1Z:tB#qwEj(҂iIODJ=pExҶYV&aE|>+`Tkϸm Y!j-*Pꋊs2[ "ز)WĆfХٵc--z'R$  *Wj=wX{kМYub;f=AϷ%ykrdU.:Y~9ho LTYB}Ju ١xc*O-["R[ɀVnOPgu NT Odsbǀ<],lK%o{qp=/Mm[%Lxִi8kƧ{=.;}}PTT n1rkGqN~뿦.Z ̏8XK: J:C#Qv8Gp eg;㹻TFJWrGx}0K^ȶǮUCƒq8I^nNv l"1B+Ow_cG'R|.:o-q@%|U|h7L Z:.f zd+eJnHm؀J]_Q51+a4PܜCb[.Ve)b{Xa\LGuWU4q:M3E*CIkӹ9{ ;,-\@{t(^AԞߥiܾiџܓ͏.cftGyϞ!vHͿZ|t"ɍvwl22ԅEK N;V=O]ӿdu[L✖Uz"աHoeLJe'ܺX}K*eua619{]2cͅ#i᙭n}~6?";l h}7+sOٜ#|U&2"TBy֖Bfǹ9 "Qr$]ں+X z?fAۂ~0JX} _ h1 W.dVXy6a:QꎶG}*9=M#rbX:WQ$=(:P&]7;{{Rr0(eT6)|` O˳ "ęfkU23n6dr\)f<fwטy>X^,h%H$hk5߮An%h.]!tsΣ/M&waퟓF{gkƣ. "Y č8L}nx/2(*l sEiܬ vJ\; yo=>M$J f  NouR, /說vzu^?%rA~|+JP1!f^pZ+gxl =bS.p|׆MIR=%P5D21Rfcd\RF$=Quf.M_yrH7 jzGvVo} >TkAg8")v.vj19MPXO~!*Bǧ0@8i("uL';C$lWU ĦPH<!6Ȟjtzз Xţɉ|}ؽ)YioTVYs|`mүtG4NLdvfeUa,ӱMz45vڠEA1I` MVX=(Lgjri635w_ Y SP'^@S0`|v/9SGZ!Ը f.QUA! kF; dtRn e۲.=_̥Uঠ0Az@+BڥdX1yv{8q]S'dt;.nӚU>Vv^_ϼ!=:{/W=a|.9@z'iBG+-DfY6 tvM$ ӫWv?D &riȭru4R:M#rE㋻lN1 6謤t /tȸ])yQm -3Ϡ͂L 5$\2*:(YC c==jƹI6pJL ^8[cfՇvɉ}'S1-S/U<ǎXA!Fɔ+$7,݊' й1Ңsg ;^[U9\4C(q͸zi dsfX 0? p3c+j>^ ȼX,}Kmޜ9@mV]x h@n;C&1G]W)L-=MHq۫5;oDՔrX`DCy=:iS_5[z\}AqTZ,~|3Ls$gꑩ^~pm:ɷ5׊DY.ƻC;'[3F#6A <+P]buNh,O2)KIJfOOFlӝZ4;{,;/qt;!iqeԟvD{Wf0KB.}xtEa1eJ5r|mz)(Cժ޼g:x+ۜS/73KL"#NQ+yqj>,4x*K-tȌ[ 31J[l,)x4}TmV\s_ q:~wu?_u7onv]=lՅ]r\3ԎTS-5K ́}8p p0}Y~+2/E5}fijbd"xFl yD%8ju~MPnQ13ܴQ^knoTf7UL9_cKi0 l`l2McZiVj= 3y#+(}(Ũ`Ga@X?dLzJ+ҧ-D c5t@Ơ 0f1/w. r 6!9ιv\.uĎ7SF^o Kx|k2w'|sH&24,_SIv@Bp|&ádtB30o;JH*Znס!-u_!fpS{Qe6Ǥ0ˆ.9}!H `?n.f,_bR旺G8!,7!8oߛfҊ].XY>"2Y,dFĄ`Vԝ_-ԇasu$av8g>@|cjح 4YJjY_Z3`sCe@,>6Hb@4KCcDҭJ,rbmz$'o>R$G>$sbx&Dߑ- ޚ"w  kUVDNʛ$E zLdVr@RhxW㮆ʖ̓Ӊ; Nɕ!U!8-gſM;-x6 A zw RE6=̃~Lzwƅf'UL%MA ɼHw8A#{/Όt%05؎7O.R;GE)IЮCv{`.҃/Wsxͳ!pR-___]at^V."ą,bLU(X0 Z6}9އI^V)%# Q}x#hĜ)zɲA_S~@LPImCjKƬ!@ԛ%'kMG&F;=7F7I#ըȹXWnv$&}ك`fS|=j ӌ:a)%% #Sal͞aI#B#숮8 88#Iq*Hq R[+Ϙ.H1.EyϽ&RV}8axg#1 K}ۚ[id.-@䍊 (ޜ*曎Vqr>x.#Iz kDY uf|*!kBPxN?h'uYVqPd8(>HKynwTlnOsF-1Vⶤ-`(Jy-+S'neFw\mL )<2ZT/ՔGVc U3VݷP ]m7U&o˃Vį$<2U_- aÑ?)0ʵ 'D*A"E!-` < 3<ši=)]e%4] Kۧ 6;/ũ|bjE|ƈs}VqEmY֜^ʹ+XrEGAxW8U;;D2{ڷhwW2 \A=wmU>Zdp1%}:*!f̗ Z_$dv- *7,1.߮W^&0S~MH;Mr =˞cLj}L)Ѐi ǥΟČ^UP3{#ۤ|xI:` KHT@.P>/I櫧a%c0:K~ ӕ̨?z)|l)=V>rf*\ 8⤴۠kBQ"ˇ[C/^'>N .Ꙛ6"ƻMG-i^}ކ(j8lT o]@(\i}=1Iu{} 58+< bl[+>Ꚁ _1&^`KGN,|{#f'$h K!5 4+H?]09{*Frl׹6IKoN!0Բ(ݒ=G>=TOf XR0sCzv .\UJ8~;*۵O%>o_Nn;}K 5 |8d]6d򺟑5c`3|KE빷{:e|4<*&u,@@7অt^@6B^G1eW.o8PT9K$s,OQӎڃy6gb#<ĺ Ū0d7J4g}d*5ټN[o[ \*]E-<\Qh$H(2K'8T7.gBDeNϣxsWӧcϝi EpZA59DI)W%M kH9kx-pԫc+o B}YJM߱"i@s==n bc0qFu)C}nO~kԵ߂b>o-?fԸz2>[tb4 @'tJ㺭T2mdi-AGAhYIx-0nvvj1XmB 8ɷW{,\Y'pEa .%*!)kIXv*Eh_n< dلf:|62>d@+OCr헻Mj;AY~ש #gG!]'4H-Q Ix0:qtVSz*+#[Q;V4!.S]{8jʄz4 ΪD(VҔm kI`vDo \{nq&9 J= 9ĺQUJ8a^8~+x =HF%)2p%GƳ| R+ّ[u=H9&EޢA/|p6bQ $]Gnsu%>5~\فZ66W!n =lё.;QLk&.0-hK!!LҒӫkpy_gSА|܏C$`ȵ㳈u(U |D% d )ߖ C¤YqQTT~CfIuDȩ1 ?GbȎzw"L:76 t KR} M*e ؎q>FvjnڌwQ.?MCP^bێ"YlU ߎs;a6覠Cw0ycb3m ް`l:^!IJqe\(w ?@f͵AS$,eR!鹃`\ΚD1K#Y6ߖdLOl/!!P ֊˦;cnHDU Q9+RNJN qU9bW-K ? 'Rx5; o 8O 4SK߅RWMQ]pMB.>|)R?ǑBZ^j+ǵXΑYLHdq.]כI; O6`}B; %¢̐9U䟞H0=@BY%A<|XЈI'2)$ӬT'?Wa6aQZe<@K0'Yщzp 9T1Avm U7Ue1h6}nO)Kf VtPݩeW", VrLS>nX;A;<}iģEBI;ACAqT53-JPxIWVT[x4 n2)1q4b%q!Ug׹zSj6 ϯ '^9"o2^f'+dO ՠRY1 3_^+:ܤSTDž,YH1R7erRק]0Z?IPY( ,nE7>UQ2(`P L\o[4ѹFG𯬜;ڍ&=|'e/}J8="zdJF㋢É̀  Qo¶A|ҲGXEأzAK<X(7 FctWA ,bQ$bo%Uu$]ojX-l$&)\j3WGߋ t; &ܺ(<ըЛpzZOx81Iu g'RO+N8n2;U,Y7`ߩrsQ^8=NfF$|aouKX-zM7l[lS; kˢӵH(/$/8<2#&t!xmvK 6(ie߁y\ Kn:`'D^Xr40waTP nv|t+tl(ŵܴ&e>TNHO>0]/^Rh*Uo3 F-S`}6adGcIFGMu1V'ȏ:V(hө`:PPQЙasݧ`mnQl.,^ '[ ٪.MW[Ծ੻-svwf09jv?ɻ>a?_&=X8DE&KA^}moo}2'YUH$P6Jᛇ׋c@Gߵ;63Uտ:2i2$ =Z܆3꼗oie1/C9uVNE7LF ٿ .,BKC;u3iPϥzbv{7ef$bK˷v~@b ͭjSAdIe12n0k4!$4DlJwǼWHo#~ LwM~󅿑CK~^q¶svs&&Fs!bȭ0 Jp,${+#F*c ]bt2lX=Eh$jZ w05r8z28' ;k b_E7կP/]zpNV|@A`BАwd"&&풺ZRQ<3c+7+Trti3ܤ3vAT%fr&. q}Q80Urb<D.ٿ2Cu6o~+9!T#6wr7AWU\h7imꉎk*q%؇<;.t`QN\\75P\FX88pY } /UC$ֶ7X JVjTBlpi E%Iˇ0íY^WA ;OOg6k~m2{Lk(NBG -wOYP(ƕ'"/aMxhƺ|֗e:"_NP} ѱWJVf'JCog񐲹1cB}294mN OSnކajR焜TDïQ7boh͉ߏVǯhP*fUx ?:+Rj£ˢU[ԟ[4t?EHŒ"0V[,s!/ݕ ؾsK&gUVp\RsNX؏.jƢ{!dO,nҮ⦲ ojHhG>fxBPjau`F]>?zfo/, \()thfOA=إ[i9Fom 5%>gPx1(b iץD[jlWNJgNrIZi}swδ뷧/+3PyN˜VoK˛$L+24cbqDu98g0@A!6jIxv"2$$tt|lA+ `lK )T;,Q?34v7.׶?Eiρ0Բz2뽢wh)ܙ,l~w•ܹ +I#7pbW7ckT#7("[~AB!/R sgXtcx \ fH1hwjޠyMkS:gOFw&fBݐt]x@/*\?MMpX6fy[ }Px0q[*BJ;J̉?yI-#wV];zAZ;ԗk *#MW% ;"NF]Dd)MV&ci z> `&k+b0M|uZ;zc2)pX螈<$lSjʚ3o㕇i&AԨ'@jyL7~i, *^Fmahyʤ77Pnjeֱ"a$G,+_~ 2K/Y-s < x:C'=2]`Ne|ջ<ωݘWc,(Je=?faO>=sfs7Bze:ݻ2lE}2ć׿[R(3Qٖ)Cf*j<wanc,lsϕ.2zZ;02 =K-h:@zYJCUEp)JNdX&WLeUee`F|,8וȇi .16C)S(>K"ub5uIti[-'2X"s+O\ׇf a\Tgp>6j,ROEPkqmY aQ{_1ip}':]~]:)mZg U~*B3X zsH{(D'Kdd9}9\ǪPԂ΋\YIE5FEZ},oNNuMT4*Ǿ&A"}K}5C_';vE?Ǽ yļBQ:b.BuJvr+1ȶA.i=4>}iO!e+rm`' Z{0>Ց֋{05F]s%Wv9C7TZm|l4]rD? h< QXiMG!dƦƢl^pIU|?}lƅ"9!+(Ӂk<8.@ÜBO<i% Aむ $w& ՝fE.>?-G[aHd^Py!\5RnӇ+Ir엯'o}S3۔@!1xO}*Cڠc&$NjeՂ@$!啊٤!܂1׹үcpjYŇ_Qmb4 pqښ_jJOp!-nXT@?Q7C?51xH`^>,Ǻ~n?W,X>@,WEQ`oUe˰PawĆE^LbL$a kZa/鼥.?B@~˲e#bn::S/H[%QTi;&HM 7_װQGfЍ| }Zԛ!>7-3B:Ӝ ohJYf|DdXr2o cW`1U;8lo3k;(}ːAD+Wk#u,I@)o^ hx7L)i5$a$8X0mS۴*1.Qq"ច+\QnA(*@Q)rTQah'lvňt*sw=4RU ޲& QP!\a;RTCyxo{tkB( stӮtxH(VU\`խqUW1>Zli/YR*³" $a(;hF*X9$&^w 7pziS8X1&[.2WfH x##@ꣾzॄ˅?|CDOieTwg}sbɺ>:bVo}ߗU-30M2 CGy,Y{G&țLoei]rYfoK0pwmOL oMm D9]D%Qţ5H%j"싏''>pzf2qO4]H ]y;#WJw4Pn^%f{c(3P1.tJM|ܛ '0j͠K^QcnMŘ|Q\w،A@0L&"THcݯu 54sqCdXԸJ9}hGHY"?qu#"1QB: ~!GHDDs 2gYZ938e0721bd6254135a9df283ccfba07163dd26ef87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 ad5a2223a8979c92677146f07dd8ef1f50ff9b05