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  k kq# t ]/]HOL-Nominal:threads=6elapsed=7.424cpu=20.736gc=0.968factor=2.797zXZִF! l:]ŗXiɟH)0%oHfW!z#`o$N@ #]^Ytb?e{"#ʈi5c[ryu һΉ<)1E,y|NSGSWO`23= fD8 ږNr8 2f^x'ĜV / {ni8 JU{3{§]J`^;d,z2}T˕;~W5 'NuX[ Kd>IctNl9.u8F/ JP( <>sev *7ns LBlK;5\K<QϨ '!'IKsْAPr^y:2Qlm͏G1OԬ1sCUmT&DqȻpa~+W-#M[X./f Ř9Gk-([}kd<0\գUo # HOL-Nominal   jX5ʸ]Ⱥ*9MF-y"98ȿy3+nv|5ڐ5%0,̀YHLOycqlVQ\igH_ˡD"Zlm> `Ӌ+@+s[lL28".ӊK2KETs_ET7(Kc:r86sRn02\d_$cl '~ :}n7xmşsTgP̷2!:%M*ģmpT訮|Mu4<p|Kw` pT%Ñ\)sÆX)&5eu+}ݯڊ]Vݕ#n Qsh-m||a.iKDD,#i W͸ԕ(7$0ei-+0bѐy].{҅G-. Py|ٛə9d.7rDfp5g pڮ:WUX%߻&+_ {3Qk,!T%Pɘ!?am8+ρniXiK) u֦ VuOˏrKC3|nYEv^ʟW5]Oc!ZZ3?琮2=vяSƒB -Iq>BȉQ_ZjcC/3+wsЙJ]޺Jf XH6*?Y| <24xnl|bR}6 (~̢W$8g63 OPW@{omY"RޞB q̷bP55WWhۯ43z| 0æp+ʾ{]D)<wvPphl3Ҍj#;WD$ ߰EN=NlnE4Ck9̝fMaN9E;ǥ^@L,}bDOpܤOWorF? G$yeʯmKVXpC6m32o#*á Fݚл 3̸0[tim\`Ku&2IaWE](7H]|0^fkht+TL`ֽ1[8{lL9>62x$Е_ޱ ԍ˯y]|74@t*p9;(f˩܌PD"f1[o҃^ݤc}[JnOC:SsZWh3zW.0潡 _!r{?}ՃF lF#|Drֶ!F\27qe\E ڪs,qU|&Mb Oc?\Z")vOVZo}\ϨxHw|ĕ0}pRZ@kA<6]@ߐ.$R IY ,_Q,Y.̔o*(X\H rM 7.V'GfmX󶺆sHpO6/a5iyW-,Vz>ϥm]R,nܸ}!@;$ftm#??uƗ[+> ' ᴰ~?hiD6 FS` 49NP]5l%{W䑡ףM-V{/;=fAlSgFv+ [@W1%.{ҦPr۬:1&-oG㹛wMrky6O76eE̼;ٝ#dY;g('j Oj^~y" CND>#mވ4Xj>Ô\C,yЏlFnGљr/uبO]7fJn鬙ΑN_ fT7H7bVEp&4qgtq+ט1N)#M+/=<אZ!+(KD-)/+dP$8Vy& r3Ձ#0i9Ď>N`޾8Wot կ7/MRZy`/9WTjk &8Z5<߳+j>LVŃa^g,x#sD+iQXZa0 1ݤaGRC)L"?kV)Jev=Ϲ[W 9`NÄTAyZ[I=s js#F'1M9p{oYO.c$=W 8ɠv]㰔qTS`'J6#٣[aa3/>Ar R-τz7T=J)i7Fx9^̮ON ȳO5N.B@ grhȠ=JJQ2گ/oO:K\󡹼 w{e*Ro5+ӊV@uQV}iq[io}>G+[ꩺoFTkzD4*JvwC!/jnXk@!'|6 S'Գ#6R{zݦft;چlL4e0-s.*V'AUbeFѣhΈi'cZ%,N@ TxCwpy|(ԫX*x bۜ!Sͺ%-]{ R30׃at_[w@%N>^}tAg%ARç{я5\[YhVJBH+ 3UB[-Vn0nLUJ+^;0,ueRQn([:B;ՍHsjEm; *]S.O9Hհj{nU^̗)2O5;XbvhY()ȑaaU(JC8Kiy^/z>XĞF@֤֬D%h7JݺxcEU xvL1"|rG~WXI[.]3˅0X|"=:WЏH21H +XG|G\It+؞&v͓>MbuYdM E>F(\0(*0~ ,%4Iֳ@!)֐$7G8 4 jCJX02iАB3p%PNhڢU3slNE%Ψ~̋SrIpKAh&ےڅ/ǵłp0}͵s029>d_F' =U1Vѩ*ΛJLDFqM)ŰhWxsM=@XhSerP';9#euN Pz3dYޛG.+xsXW.jRLBZn!I&*T71v2mBOU-_uy,wzA,-$dY&#P̽{&%db4ZDOl`!5ç L3K3b7(bS%#ƧgqssbC6vΑTATC oTVO^CQ!ܪGrCB 'JӚ&Pti/Z]@tRUz $bDEcwOq.oX2%(Qf+qh/BxnOӈ>ڭmk^wFsԠE%g<٧T87'xr|^jL39+ʝЉ,>et74X?ZBᗳC jNMx:zoզDS{q.c?~[z7_$k>>S>+UQBkdndt <6l0N7wIn x.!K^^)@#bHЀ-׉C*t(dOGƪc cw/ώ@h`2 ]m\V-l+ً !k<,Ԁr M1(DӷT6,Z45&&LU,]S->Ԅę7ž8dGF>˧ؖ泅Ď8\f#7.C; AUca_h qeax$t[MbAB ,S o'Nc6}! xCn4HUh\A[A_ 8)ˆ蠶Ct6|fo{yRKDdbƥAA&vX`w7iucBDꪻ̭+5:r~MRZ*&64T.bQ} 55#ɝ#v:퐆HVb}T&wrǐX_zp;+D#_m&`Y1.Фa$9o髫éO9ՁWn.ܐ4ꊡ镅6CİQt_VLxG0IUu'!IҌcp ث!m4WHš(6hp=>Fa^"ND19uTO wB<@,! A+qH@jx(sex){DWZ!jwh#"Z:ԥj@HAivƻTQC5P^Ȍ"e4ρbQss4NpLD'$DQOOp1G*¤ ( 'r,b/qh)h2yJ]Jm QwW (pݢ1ԁcS߈A~%-!OYV p ix4-Rf Q](t<&GE+ˊ=bJ6\t7vOFM{]}gU!9[=ġǯ]6`/Qt5M1FN!R(dQHv\T"n|+?OY[$tU\(لm-cJ@yde ZmC!v5/˳nA>ـ?.rbYErfudSQ/B8ѬQ$}2@V"4OJ(ICX2=ռz\E 3 &G-R8cɚI# HXiM;c(YφexmhhRrڏI1-N&, ';Xǥ5JH׍קd 2@"}p wk%vR$2_1ļrA#CN]«kA.?!Y&gQšxBe7:3~wLm@cbg9+/O# (n~arQF`.9cn4Gœ"15fL,p?aLv0j<`3wlzαִVka[JmBþŸ)$PIB# m<U9| 9\I4fy !n$qF>*>#`pULjR4Dca@j72 ,ѹLqထ)ǿsbJxʰEUߏ%T,S%l `/B)BPg_M';c r7D@r*t&#&xٗ|qG Ȭ-W„Az/4z5: A7PO)MOTSPW&Ӧ,"SMtZtydގ{z@{0)lëݧ3:wӂoa6`k?0{K9jyρ2`7a;4%0' ]ϙbW=\ST#; A$6Q sk~-࡬~~3 P&y[Xiښ>6)0h&ʃ^gDq4CM~ ܼʫB 2(}y>Ų)ᖔ~ԿRYZ.:(!=@t*kd H#`F~U32d,", =G7Y57#dc$Ԉ#o..LbOny5Wfhi=9'uzHԭul7t4Pa*y2({a+oZkd(uwK.ء)jj -B5 2`/0$Œ~ܞ. _tCyO.0L6\v\u|N]gfR/v`tF_ޏ1Bu J½Ohm;o)-0rJק8RP(8'M .\Dxg/U7o3>Jp6 l/\,҃ )V80_83AJ~iGVYG_[Uk!>\]9s]ѝMi$r[I.{oBPu" BBz˸ŧ~闶Fjov ݦT'm<%k>U&*͗ uy몗YH\&;dZ 1 Z, "4`rn"3WK#k\,:Nk'*3|$q{rXZ*C?K(ǟ2u*6 1}};%36!=-V >ڿ!\J1/vW1а[/N6kT>z<ýj6Æu&mNݛf9Y07lfl=&WֽRc>"y"K`R\W[=#p/JkgFz |5fT~J{y)'QX;2^,Rov({~5 S}ۺ=10*n,jqى9Zb`>􍱉HE$`I`FR`TӀ^c\1y'W%M0_UȦ./T7:%SJ-qIqU|ƚdU7sn9~Us;s[fNt'rٓdo04(kLm|ZIG|Y(0eew41pw[|+6NZd_W(JN=Hɣ1:fp5h+- Mr:OLՍ ^A3(SaMRNPu;cHfi{NVH8B9L 8;1K_[E ̡03ژ@;!Dn "0e4K~JOnL}Զ8g5 }B*cu)p20̗!`Ltx,/d R2V}mU>LZ'Qu F}c)P*ͫ.I$~"TܤpC/vo{ iSrc3Wыb8sT׵F_ds=ݦ h0NJAQ0gwVi;X~.9e_y&EM$j?7CY]G權?#%ې% EV9^rM8GlK~4=gTֶē-BklV9j KOx|jN.s3nE 洩dY w9[2ߞgkSM"KV x!hOcXh"׸X*1hhU_@EfÅfpɄk+t;+>O4=[T5Pma]ZIic}6qMJr9/D ig ʴj[> ڊ-Zġ:Ϙ *FB0aθCSGoŽ_0(ROSxNPXhǣsT:.|eII]~MH]]w l͊P'nqQ_j9,R3GP*G@p!NM+:Kܣe:YzF}۶+ Zb^"vd \oZTvYQUx$禶g 5SXv酋)b_0^^Be.nEnO:5cQ ~86usM&9?t\/#&ld$L&mZM-56.Ab {qC ԇ&Nn˹"Vѡ ,Wlʛ:蜇{nA"[G5gJ16k QD)zch`~ >*>P5<=kC%40g(YX W27e4SMw/>QG&ȵEW^S?5:]-V/#.ӺاB.geylqfY4`~+R yjR迌bJBJ5e:IeUXI DYwOP]vp꧱h(zB ŷ Ɵ.B\>{` Xv Q> :LtI8wP9G 1Oy6N42iH-T KYҍdcbT9f;*E¨1iȾK_LC?aV~p'mɨf;YŏNQbưJ`K 6€A/~>UhPY0L*3Gu7oVvb˧/ć~5m+:P؋r'/$A*4\;vx{iR ]dd3kdgU/0D=^@0 S2 ~Iu: NT2ʸx0Vl/?bv ^s^pS&5)x%Dw핱Y3+0Cw MKC3e]T| z h_qãy걒]\QHlOW;*Zv:M&-yp8[f!|suf.BGq $XcX(lB![7t!Ҧ1kAg˕%&k 1ЭҤApiO| {8Rb~i`" PȾ[6|doT6>2 #V_+V7:Q[}f}sU.Rl*̦Vb9MGy39&zH9_TRqeҽXl1O| WCMW(#82vo}r 6W^g[եJf5Ri@ 0av!=]w gmyq\+K gĩ3/@d|Iy%+Gf ]2⼟{ VЙi{6By|2ͪfb^,nlq2 ݛX!Hz @EI#|kۻN,PYMS:^z)ןM[a-{pb zUS^t$p׃8<+C ɦgts(A<4/Z"J_VI#zmjyim@5AQG==;<T Y.HzMptdVb@> yg.}oDϤ%cz"@ڻ|Sn+jV/{)x /ڲj ݙiP/ظɑz}EDD}y'/FWWZUƆċ:)$ij<+oSKr'0s EQ;:K &6 6 ltؖ ^_' U0Bx {.!# t5`#gyݑ35}]egxG c4QEaG$ ;n;zt=iOIQ=S//g@?jmi&K8Xsf?]}zHMGsnMAme+'tjʎr{e -$2>¦7u,έh3y.3lq.c 2،)0ٶrtv.(ɦ,,0w~:N[n!@J;[<Aa>*Ye!]R u`NSUULevrSpfJtnvrL [sVO>~55 #9> ,鍺`(YSX}1uQ,[;&RfA?☼䦽h1S؞y Оc羙;~?:BҋVwkOR90^mx 9녻K6]bX|o< i9޷#p;Ht$twTF_(,"@Tj\wFeF1>SI}y;YI*zpSgID Ư39#2iJd?Kjc<] 1!(m8) 31ѵFU%$> 1gC>x|_׵G+EufƹهӺ۠e'72)d~򟨡8ڌr@d0ݨD6"@~׃ npju;8g9+ujIYk$s51@)h (}vZP$ry;~_]h_!rx XLz!gGۇn8AjMð EnNhU9݆

-ȸ d>2!r٨eBmB8h%r<4L2viZK5g*|7̌d3dco%Q[4ܱ BJ"FkkN7U[p]]ki@S4a/7#clYIojXzԝU ƒtQuh Z4 ء_ꂦ! z`̓ϾW| ː&QuȂHk9̳{+|M?m8%,h?/8#vù٧$3N KB #g,Qeb@R9i KnǶ;HgfWYx!M[qixХ7tJĩz9z42 >bsN}:EZW&A#Yd cv9IMkmT|.!Z)8[޲Bov )_< lQF$a@Ҡ 믁DTl9=:H'vn9m &3QCRr{x8T)Yar-ɑry7!M!"rƞ +(Al4bMOK֌vDZ8H-?䎹 1s0a V&&]}=d#gω^ډos z1UO D aS2~iU$gm7ޛB)y3ၿԓRαȄ4%g*֔ 4.JC5 j(c ڷLi=!>HX lƏA<K\J@̛]UmwR+ $uEs.| tJD"[W"=x!eL:w=rqWG%ԙ,Ԣ7{CdK/(?="O.0\AcweN;t VI'#[3Bc+0]R#U^1@$DKuv*6_M.#z2yiK詸|1C; <iǴ5|~l>N_9p܅\~c 1k'WUjh/]ep=g,5!!Άx-ݎ a$}N 6:PE 6 h-kl26 z'@-"TP| ջD.㣳P MsFviRxNh{^~"4`bX%&( SJCniwU̸h(/^xV WH> ܬA0I>7+PҨc!lF;Ͷum)`w5Q\A5X!~$NuvH}#slA.+3:є4: "LNfd_L&'c=zv<' 'Zq-2/hgf(I 8Hv띜H7:R¯:Re|czeB'%i]8kA V$x6A!:tFxuUOow4I7]ifBepplfQ"Ӑ^{&հSܢ$?~7|mayE2CqѸfw4,hb c gcLQK;#x1u c-<(98،qBQK<61uls涾LB ߖfhx ɜ}jsD|IÊL=@Ǐ¢\܇4? s;\[[ F)JoUi9=X1e,6ҚeFm<:*OVø#YO9̓:g0+J!2>SG442@ \-IЏb'-*TF3p oqf jqn+>" ۱+Req(uImvgb\/7fKRE׋;DZPܮ?Ցddnٛ[yoHZѬhUbfiː5QP ي$ZF;.K[]ƼzfQ,{$/L=_x$ ײl#+j*qcOd^*iS@%dd6˕B8Yݴ`al엔 8Ƿϳ9/)4$O*<cGN!MpZ'+ jiGScXFXE\}j{ j3M /#{R)5=V?گfAy,Е 1@^wpS:UѶ^O9-R(*h;q!pYhŠ$h! 3hzJ%is${FsdA sJW20? d'>i8hh,c@w1.,|_6Ćҧe b><1#(a6yH^jT3gK51. 3K#GgcEu> y=yдw.ϝ)ob6 *_6w˓3rY?:=i<:Ew<.C,_ЪuiN'Y^2?-f;D@<l6" /۬)#~y'(io nP]!LÈ>OE2y5WN ط86+ͳs5,Ozlu$FSj# Lj1 #u -[l&>/hF*6=lENXdc;((j^Hb1)N[H%#4z=ЪܝéX˫uo>_%=7Wm>t!ᝊۈiX<+՘ $38A٘D#{l6Ϳ`x/LSC@mtĜ/"w؂A+ϕ% ӲxVxv;g"dSV)gEqCB`L|ȲsB-cZ3j|=aB+46s˟< B@8(8q<1_H"C\ [E$}J3$#.寣ꁌB:oGx%P8٦ 4pwGNޥg'i\^sd$!'xJ]n_A_0D;U740Wqc o$-=˨~|*$X6APo h9+EF7q{%Blxҕ/~1%ᵍ o7GO+;-a)dxXcJ"obnd`zW{S1 Q:Elz\9IZe'@BFa!SGbܻ`rؘt\0lR]-|8m.ɛߔ1|N6m9:k69?i꣣p"j`\tb-3E^t5 ϥox.D]. ぽ[oV VG;}/mfe919bCjN%lYpi85݁mCtv*BXˁ G詬3 شnڭ&zBfd'7H쁣~9}ӣcl4Q Lx#vmC&q)\if;$$2=i^*MϬqf}gkւ&Qr\P\$e3LN 9Vfj܉V_`pYd_Y?%VtC&^ Ǽ7Y]3uDsQKni6@VHJƨ?~iNs ϓ%Y-cU^9VhX{a?JLXAMNg..s$ J -M8E}5 *)WTH?8dS_}K2!58&GPQC;lox+'>xtj|]o#վѥ7XTU'CoC$6D' DA~;7VVhIx2 "FCWj' 8Q2B*°uyLjkDbF.u03{`P¤uuI :OdJUR@¼9'v4LؒTzlخmhȄy(o341R^4eN_Czԫ~똷KmVWUO|FE>-̰,zoncWlQoYS8$v/֟E~:wVt_"7bT~/𮻯>9M= ٷ=Z;Lslzsƽ#,; {)cG`5sn*zԦ ?F (:0VAVBqinγm-n ko apBI"pA_vp1m[ZE^[d@g ;D˷2sqD6¼*-ϯIQu x\Q Z6m=`ij D!Lǽ&G8"R`(O lS H6(svxiBlf2LӮ1>k'y(z \jO֯XǻJVb% $A񀕝- D `4#V Q. :%M3( RU:`8%"ʺ$r,xuM'Bnp/}L*']oA絙1 - dm"6jD[LI{H+N+mXi4p.je%=M˒@py /Z,{Ѽ t5,X5Z׸! o 8{P4 G gl'AQ;NHug4ě{-땛B51Ͷ _[v|2#rQCQ3te;ŭ LٷK\?oP|;Bp K$QmY 2rg)|L 6UG.&-NM4 My#dXW0mq?/M,HH.ob`} 6~J=8blH0$ MZ-.CJ $Y\2pA,0n\oU)ŝfh)7J=8 >3X^~myم$⣿P+r5r%_S_'Evƙ<kk4go&nQ- KLzD#޾a*"[h$)+Vԝb4Bj\Fc3>˻N- `9]Q\^Wz(|e>fP\!Tw?z*kcquXuTcC׌+A3W!qЊy:v\g%bhRL!zVĆu)$P5( ╊u? 6ʯΩy)> P3xB  "2@lNy1}9!{Y^Ml6K_]h(MBRt*k,%c]=>24K%<%;:ϘC{ht61L<[AGbH} =7WfFLzmd zN`t,0}K9:U |M%y"0>1[V9?s!f21{]F\N Rs{E&ҧƘy@)& e@bD5on?$Ulޭ^bmq:hou/LW#ϲS!]Qb9h)> ="a ÑQXh1| k gVQ[ǜ:z**/APB$h{1(!a=iGQeKCW]?J{%`u(F-sVS/)l>B ?w.7$e'PvLȼZP"T]*(:@pe2s3i,hAu_Kthg`lαjoLdt]^_vZՏݤPdU6D* 㯥q׺ kE}iWr hU$4TzXdmƖ#WC:hf*F';%;(Vn ۬YH *K #V m.`4&%QYFN!ƒm_UyqI)53%.fPRP0vMJBK_c$8AaDRMyt/P534=ń=S;_ۈ/@օtTUh@=г{Ϧ{!c@m?|RP æLA=xosqj[gZG E5ꦀて<࢓rpz\УArBOlߌ_*qy0iDHh(y[)+"Bhj5p=?e3WbQxȪ[r|qE'K%xmno%EQh(- )&H~ү27;bደi=nIAԾ^E,T)Ylkq\M)@䌲e4XnDny(57G_7\Ph o^Lg5_L}UJV${5X#BP#Ig:0s ßD1RRN佔5-mk,j'u__FF}M 2+cz] 4}5zl;"?ߞ$8,2fمi(lJ ij7t<̑x><0 \:E = ͙LFn!zFkU7j-3M]+E tSɩ'{;U8?@`ݞhqѶedQ>C#1dN8fOqB'a\wʧ׀wp zGDH>#~ WkpL-(E:faI$*6A$T>%K?,j8ze8jf:~MвzX(!}:O <蔁2-6C/59P| RLϪ#o ]"jUpq-y9ڿ4T٧uE477i#9>G\k0w^ZFNy%vwՅL><́XΑ旾|=Q݋͙TV;esmd:2G5&6l{~dD~ӏ4^'hP-jpQݳ$$}fwfĒ1&=NeqW JH&mQ~ sm!+:VNcOE1($_G7{0f"#4 v{dY`\tUK&CJTNiCf$@7Y bʸ |PY??Q$^X_Fs!G`7eg$Vr\܎ #, |cm2ߚ $!LS9 ʲV=G&F%GqcZQw*IQ$*,dE}6RIMz5H8ujBԶqV hk O2"P+=onb]F--7̉9D'80?Kj:yXu(U2]8NHIcJٶdl\uیƟ.^b.*+@vށu:Y@Л$=ax2$I#\yɄA(.xm n4Q#:;#'~|t8v){`vG#>@*' 3ު߸Fj-S8r +0YVpK> "Q3TO1 E& t +pb6l\i͙5Е! 2d5J2|8*?ƒ"%۳f|\ђ>xzuWigjhVd2o 2$Gf^V(+Cg=)AC`A}A/Ȃ.V2Z"vEa6Dbe,!@J϶&݆px|cW-BU3t%a_x}~zE%=䏜 M2cFR炜Iۉmr,0?;LzR¦ЙƮ>EV,ǀݼT'"f_MFTk:ib9tY'YYq{x5 ^Bo<`]}ovq„W[ =NMLa6*6i6Rrr4StfY7LoвXAͺ=aIG4:MRу %#R  . yA>?Q5ֿhn:,˚3A]l|:=@BLO1Sk`E2&ϡJ{lO\G1$Z@%z;QxnPcݗ aΙ)#Zqo㔟*9Y8[}}6JQ>Vrtj++E+Mp[< A19&]=ITSO(?镀3NB_+3R'>UTG`/<DsgV]&m 4̔2k a*d۔|PcU'RF[i YmF2Nr97j߬nϚKrMG)0N=nE^inl JLJt1| +M!ZDt!.%P^pc"S%- =h]-jG5~Zۺ~\c(0 [A-vNɊǪf~OU?V!J(=30M;^pP&yk; `]i3NV+PG7got&H4cʼi']=Ky\ʎ3CK!7Fr/{+LS7^?EQYU[ f ԞdзvN%zAyuWרqxQD~q>1"LՎ Ȱ&֬ez-=Yjw2xGZgeVE86SڌvHЀJIxxޝ(FyBPe@%尳_Ԓ`{dr$xJrc~R\4ɐkz4<` εNc;GsE)e_տy,] >N$҅mi_{:ͺ$sZƣ'W-%I]Wg# Vj1E2EĎ* \ZzlK3lycM Ew Vy'3Jl#j#lOh2ӀtʇŁxfXNov/_>j&yq XPKb\Άr-٨:hm3fݍ*D%7 ' @|1&d}T}g| ۅ G}s, jZ0ByC=FYl<(w-(Gg[ss c%C% QaKfաk.6::O60wip8u~9Tf*P lqR\[ w?;nқaMĀ-Hv >*@ &{/rEpwIzHcE_5?RۼTzy؀.ὴyYIedJNٓϔ#D L꧳焞EFX<5#h %VdUz`31A~)Oo-0R␥Ⱥ:¨WV5V6j+9 -lCAp _xYJO&P4kge7#~֔g-ޚR!4^{D݇ 6LYe[xTʙfo̽vp$[gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14 t{_.,|ҁdtNJa:C:2_ MD_=$m 5o'M&'"ήNI+QgYZ7zXZִF! )]ŗXi%L 7E!vCxO:1BZh%`s2Ndd%2|D ûf}p9RiпrPWBel_^Fa疐4a]ߚ2>/,.‚8"A~~nK@pޑ*x94*<`Z-.2Q]S/DTz.{)iU!ntQ"/{ _Y$jvg򱱝w&*LJi.-" | H;뮶ҭ>U'is{T1^Af_!LjXmMHmS3\h #Vx}ii+ yPUXH[* SN<溷ߐ-2LKkwGВȽgo=GfZoȷ䮭CYuąʃf'ٷi/ȁ(Rqp𸫍L5ix2g#u(GC  &,Ƥ%gNInk؞% M"^0 k#5KB{>JٿP-arꞋ=KׯeSJFz=`p&%CkfMi֐6[ Lw4ŮA t}OoOv?uS4}#'Hӻ*׫qC]snJ1ohN)