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   :5$t ]S HOL-Nominal-Examples:threads=2elapsed=559.940cpu=1019.080gc=107.480factor=1.827zXZִF! B]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[Fo nIiBG@_ uQ|ZkFŐDWE&x|Au[c-) O4MD.nӬHڋ>B'#g5|F.X 2v9ђ%1 K9B \ _vkBsۆhh\AM}7YwSs2Tt†-tb,l.Sr19q'{Kwt1 :(N/{iq1Z3X- " Wp{|+>iKEKo!t^FF&WС$X9dٔxt(RO: iR dbpWm&3sl7%N~^ѲVGpЃ' g]oea/Z"K,E/;5SKGi` H@ɿWV€NC^=q ;y:75H fq@5Q o,xe#VfN4̷AN7qbxssp%?}Rn>ZfU)KFXr@0C`E%<޳"޸B7Xߵ)@9/6'8t߆wL7R9Mot. \e9*?e]I> D<8sFxoha^ޤ N#hvsiL,#gG8v&2wq>&@x r{BQxˣMzRۋyO`RѲhe "k 1ׇ'&򏴗bl`@"}E y2զZ J"4Y*+`S$ :eax!2 6(vM)]s:mĄ 0 ?+826` ӻoU)>YzXO9`v:{*s#OB䳂@T$DјϔBHtyh`O(!S'!4^^¥-8a p3TSUKz2ʰ@,h 0}O*)wT<2So:2)N'k}m3ѩ,{w8B$=̝5(vB1$2),>lV2ERn뫵rv!6h/^ ̱m 5 HOL-Nominal-ExamplesLXy1QHn$R*8rؽX?{yDBsM S-`MH.(KU6woGC0m֫۠ʖLWE-4Dry|d:mMO2YU=l5 Fm"T uq^ހOx#kf\ h7 ("¦G(x 2 Z$$}-ŸzvyuLx}g;YiK%lSA,y#a-̅/cq~y`nP=j]9ia/;a!6a wPPhSS4ռTAVW_MphZiR0>ݬ4vb]FmƄhLO CXQ>!5`|'Q [x $&~us򩠌y; g/DݔO.Wm$+h?ZʹDGeȝ0G}&:YL#!șP(0%w*S7l;lNNjvݚR62T7E sXK{~!g<X%Kj F ςmXGs%8M|d*(ڍU`fa+X@'uFOQ6QZ* Dj-R)8:2Fƃ[W$>/pޘ(z`Fwɧ898QFEORXґ~NRPmmkg{;ƌ33nfbWM w915gNazBȉkoa'hTínZ/"+[EG$H^jzPVT-XsjH./ZѮ}(x[ l#kH1CK;C n|P,Hi-@`c z 2)KatR5 t`(H%q7]yQ[}]tUWVb!@q1GͮBZ-20c3.`dEH!CR#wE4w.Av(vpY%Mre5ךRk`u&CG4*H" c\\ 1W(-\n w7 )>/Bk֏.vSzoÍ?xьywWBZ%QHm`xl-oTktJ" ];Lԫqy9-.SZ!A ݛNo$>wveR_V\  )bsa8!ě!TN՚4i%V96I:("aEn7 b]>Z$E Mx(YYTj0 r;\v<$ڱ]X$*hbZ3*1rj1Mg2-Q 3մLSiRYFJfjݳz~y5p!Of h)'m%b[ܥT^˼x>qCB+-f2ăR}k` ]&|ry5$ `qx>0X$i"fLҭü%:w!Ks%nd33A#1 <^BJvE jz r~H\ vOD0 Ej;[NT˲t\zWx!?%C20n6:h$G>σCOfW2r`zKR\qC8 iu%yl!|`kҸ֦) R}hS 4͙~:c!Z4u 1D.F'估4JR:7K]F'*6>C?6eYRKJUDpP'ėvdowԣg Noe|H7Y~4%T]Jy\,QX YE5zfh 9)Z?+0X߯lZFzuӚ,?qLG zP:4lOᷧw!g{-N#xaO"HYj>yS'Z KhЏKoft5+I' n "_q22i=]]&qom +}o^`(y#ViS,zŒrnUƒ;ﻲє>LmX;OEd:AF3Jz\Yc7wSi@`\Ik#- ?]q>XO6Y80̐\#G"kRk*Q6HL=+&Wu|?OoǦٝ!J$o`e&[Uɨ:bvQ鞡59oeCM}vncOSF0Lע]jp = Fa8@ *(si;Jˡ?,TL| Igo| 'zwfGט~G8~hDyo_8z#O}"!Z̒A+B#9Arb33N׃ ot6<~I$qIwȏVԓq/ 6PǝEq}CF,.-Ctr2+:n2J)(f&[慳 {dӓc`U*4.劉>СTn3ߨم#ի ~NF]9 l´ݧ潑yruǤْ7OCޞ X2}ٵiέnZM:#P\f@YY]d3b^`f.q Y}zOMmYA7+˧vs+#A /xXEwwnT[*nW$ S㾶cC4MXtĹb-!IܝQ3!qܚG*rxN^&'L<>]Tv~( cBE:7ܨGHCI>m-7ll|OH"fș/(Wh03q Ԭo/dLZNmNgj9^^m%pTVf_O9T2q϶BTL841Ý?mÛ>Jwq1l~eGK6zgYZ7zXZִF! b ]ŗXiɟ1ʹ l93攀Lx3 yb+U`n!hHG)]`\?јI'Ah÷b {>1; Aw. zziMA]퓲wڦ5+ܛ IY6C;Otj}Y/[9A uJov]ddjdQHq'%Փ0QhJӁ5MQGt;Ed.EtJc}q eDasbo"Vwfn+Izb;٬V|.! Ī8ndGA/@N7RJC)(v-HM3 !6h2!rPK mJO0B?F$8#C3徫{'g`\A4GV,8)ߙ=5NdkS;VUa?]'(mǦJ 1PgYZ7zXZִF! wt]ŗXi%;dpGE)fh_5مvDA] ?BWjp8bZHj\ .!=ΰ&7) *n?x_{ LK#! B;VN#4)9nf9h42`-M r}Wu˗#*3<*|3Ўd"-M;,abI n`qofSh ZyQv8Wxfl 2:PL=8}I8Z_sL@b ,7p"8 gdkH Iyr;?#LnNu{WT,;\l[DY>ʟeWl]&7!dN}b,E% j](y,ZZLbBԳVQ\'}m'AU~%M3'=g8" F6(6q]@Ah@9+)0ǯm~WTHi lY1} f3̟+c+}2_o ;KZZ1Ƌt˵ <~J"}|%T\#JLբ߽pe\朞ihR/N%orFW72{C &LOPJ,I%yvE) ׫笈 aRPuR(hb@i oG9PU+{4ЋބQn5e}g/{zRWB X w%lC d'_bܐ_WUf|p?P}}n\_4٘gw{P/fvV{da8%a꠾8qC {*yRtTli:U"~ߊx/ E`IU2͹'Ӱyz$v]ev[u._@|B OXvz|~e={,{hV'ȁ{R(& FU>8N:kox qQwv4g_JeL' "bb>uM%Qvqلˣt!x6)i\\=vg,&gx,㈏wGi~s/!8rqU`@ZI];mv39!5e~x?kr԰9VJ/_X{v_`ۼ8oNHNnw84#v:m,PMfgn[{SyU a!;.-ן !b#G+1IJ5#EO**e { `|qZϫ'EUR-iv`4`x¼s6uęWg=q,E5S\RCUtQXz$Aq΋7 Wpǟ]\@绤&F3Jࠚ$`:,#ԩN:Z`"1-(|-tݩ& ?b/r- P!c%gMVmR ~DA:\e˚c$z 1y]݋:7k'X(L4",|5וЗK#nqqo(G (]^-yhWX<I&{ld}lnj3뮍zG7I6\l™w=%0lȤ'G a?u77Iyɠ/|Y[{R]+%]Qn$nl|a&JNG,!C'E搐DD!{\V{I׎G@Yp?$|>B5txo3a#vrcPw@DH~ZXˇL)N%G.i"Dm?XЁ^mJMũo c`)v;ţ@*Zq00W~Qq4LFF18ݩ&XCpbv&Ҟy2+6$Mfv,CUeݻigrȚV别1jGCߧ-.{&8y>յkҗW/NRMN#և;@{Pzc[NuhLFȀ~Q/ u1WO]%.r23I2imKklO(+>1/aP"%PepECD +YjTE+Sr&e̘>%7:BUְ"6[Չ> j)Lӑ@Wac[6sO|'0c>i@\ -(ady[R- Tl$ی3"d1mf!R9/ĪYv}ה[$$qOp"Kjx<iP[*8P'WHJsѷRJQq2⊂ չ#oX(o57+&tQĪBÈx"7T04$uj*im ^T"?9^Oza'!vȼy ;M{v4ik/` H"՚yBhƫC;[y|ѫ^h7b-LG~N)q;2<'(+*%2rByf>?:ku [6#؂1x($ b^gt"` heoG+3a.okWUgj[(w֬tԯ%8 lxB8je X3U}Kة CN?{3 UG}EĻඌ3rO0Fӯ򬧄hHSlr:Pk} znгaYke-`V3'|juSvCle!d ""aIҎ6 zMlwۜ'ṋ|:!Bl~ϛ KbCp_9kLD>Zނ4c-:9wh[笐[!.7^GKmĉ+EJe\QUSk_ϏOl8,PIA[1 Z}wȓ2nI%3˂CeXۅ}5 1K<7a5yuL)yT q"LBB .4 ٲ5Ϸa⸈s Xѽ0dSD҈%9T_ RdŁ[TÁ+8Iߚp>A6 HSTlEԮ"=] Q`½RPAYpo0s9g(C0Z"euO2#]"ǜGLA-YtI 18KS"8pdpˍld'2)~׹;ְ3#^E}a?,vu/Y Y:<VN*̜;6hҶLp-cLEK$''ʈ~C?I m ߩ6x]I!`h02UȔliqq2/}2>^*BKv =Y3jaZR?Jd@MQ5 Im 8 ppSWs'htĊpb_`gs20.؉ؘg .6V>sd*6&m=؋1U?쨢=wOPg=и .H' )X~=pF.BsdOmW.x?[?rNuB̐ 6ܿ:@-h]^?W(RS̰+a%t϶U072C]7]߭Cn'KG&&_UVCZ0ɴX\05|hTTQJfjT$ dpEcnw(7A3"q"r1r+I[u/dMy;{nL~]8V(;\XW^!U@GCRFk‹ݖ \*` WZ4ML{f*ȋ=M4~yEq 9:<^ԟɂA1?Y ޼m2Y ۨ }2P`Xȇzsnt`4*HZ kO&hCbCs>xZ`L 4`HLLlR8R>źy ƣ_C0XI "~ohЋmCbu?eʋ'OG{KB>z$J&ٓ2k}{) Ae^JhDi>WPDULemC7C;TM@ +&PtK ~?OGPYKkņϤxF(E79qR'hR~VWGũV=Udu6;T,Li@S9 "*w7`"|vк\}!$KCN Ϳ$H6)i\7 +P02meZf<u$[>a O"F_ AG&0f[Ӭ͡Py>sC%jYΫ=4e.#kOM*VuqE/DS!ܫy5[Uį+ VQRpt7g~iW"'KB$~<ʨVgcK3Xk+Zq [=OrKMgǜ,O̸/\O퉕Fqk;;¥.ABc8Xg]6&ɯd>RKZ{_NWv0K8zb0 4"* C> o'/s YgM,GKm0$MVdHXIwiOI}}{ZyS1$-  Y1 7>Ӌ41. cTvY ia`p HڳvT <+ztoPHSGZ?*+A͈DuTY[#R Q// 3(~Ϝ757e!1ۦJA'(@]oǹR@EW:Oos^I؁PwC}ښaWi-ͬ\5iX7!%m:,y/zpǸdT=,DΞOPP8% Q|}y[b\]]vP|?}Zp6L\tF V@RtCRݓ{Kv3`!dƵ⤢dl{:0)A *;n÷[YU[񭃼_Sjy1quѩJRsxF]mByzaE߰YQh&3 $JEĥ3\dgPe=V&&ο.S;Mx$5U?e,V:6ԓi=fW5^6HTg:] kCl[]V3ϪuCSNPq) s6N 4OxQ)3ZΫbwp]krjل y2c`!?VyBe^rK]knB%ơrpbHO'da,R{ZK[(XL$(8.IHӟXoQC d.x<ϔa|8#c @w @Jt<3["*V|\U<9m T}Et5Gb^3lEOLگͳM>KKEPfgǢb)E[{|SB?/ eQ.TM .B<kMF6e`zg Z+/pӈOQK"?gbWeFkܕ]^P~Q| "grEw(NF9X0sȂI=2˷y+2}C&鎦iŭ[_IJ5,p-Lpkmf|O_>GtiR!;Zl[2fN[2[8i|ڹWo8ݥzNf~dk\_OSQ0RxvO"Y )'̸B79qPa#P`-'I g%pg9䶁t\"T2bvXׄVS_كȸF6_VņLj$w`o?-;H3IERn, (^6t2d<10k *EK6QL"?ԑG ܭ |S^V2 gb<.ڍ@%؅2kvN*^eu7se0َ}V{dAv۩;(׃l _ f<t`U/Tha6GLB>6__ weݦD=]J n4ey~1"S9:U{YJn&+ <';IC.Hvka-d[r)~_-%Ю[z Fޓv"1 (\VRXx(.FR TN}%d0Ө+bfzz룽^_Z+ 2t,MYoAHXX̔v>>À#w*c5LU+z G0aUAq?EAHj[ԫk֮ㅰFa/ SQv iS]}x!ߦ;@hU xzvܐrktC;WS;7գ(w"Ixl_Req|;?d,2`M-?)?OQmLŪFcsMcK_M7YO U /{~d>MEk(6p$KJP&5c߂I"U(X]$:S4(2Iz.\D-6TKYN/ut̳%@l .uwҽzϣS"BLf]T#R~D/&Q>rzP1/iD#Q; $R"2ǒ~MY#4׬HH3?\SmP?L%ьtN*v/OhOI$v m ZM]]#(#p]7@Q :?ɓEfIDkE)cuLh]kfz3 tL7lmZY\BI3e`PKK:f49!ba;s&f'0[kqb7#XCŐ>IcpRsMHȟR-@ʯ2;Z1]z͈:ԄCO8b L@ޘG Ι>BnC߂AI]_NI/R.KoԎ[9WG2.&Ζ\|BPa#x>)寧bf}ȄȊ)"]Yµ $O un!'z Er>tAt;(׊̩YRx9cȈv#ٍ踆)gs*b&65}Ls5s,% 8 O˚qLF,ZG(L@{ǗؖZbm0~G̣㝚8pcx/JJnx3pN fYPRBZ,n~_ 0DuYW.䂿,]@ a%)O#rBy84: -YN2bβD;}CMELw) E/ng*m:U<2ze\٧ELE`L5Q\.Ltk6aVyJcÒOGBBqAw1{,t\k7Z@ޢhY~?V';,cI,+`Ww[P8 iy2@u^ O}$U>P+qϽi,  ]VC꼨^G,%x8{76 4L{/xu.Q3">p?O֠ʎ YzC o}b`O˚zO[^`ZCDj$[J1I9s)uLEHA:NLސmZŒyQm$ FCE1>1 Xdl0R6ek֭Oޤʡ*኷ӕ$/0OW'%ruhJƳ ٮ9;F{U#fY=80??KF >pq9{PdiMyĮ.@;_GPųlcvgأrOc8 VuyH0-8@q>E/Ė;hv^LXwpklԠ~صfU WpA81x3٧)٘jb|%@Cwf ;R} 8%]:szo_ ARb'dxS1%TkD>vVSm92)377} }3 ̩SmVY3%)(_VƉ'._lne8 huhjjg/y?]=S)RcH`ӻz䴫%j\e RTׁЬvU~7!&#*# Y r@0li\gФ3Z3OfCw[!t+KӫlIrMyu7wUlx*T?; EZO [AJHkʾ:7T v{ o΀X^8psFl}VD%bJU:쫂Vdxz(VO4қ`K"˱zة{yVf)(nj ^El Ⱥ"J }%رpiHH9:۴b ㄖ@<}%T'"yaFͨ$.-Umb)3HVK0[roO}|%BTMejշ P=#9;րȿ]fbPڔo%Dgi5yuDJק#;$FԉB^Z葾ȍ+Eb 5,dnfK%8*讜>)ZnؔIBf%K[SnXN8|^Ax_;d'.h&Hi:$7>.oG _Rjv&i&M-1oZIN?!JWQ_4ڥ(Y:m`M@fJ%=!Wf*4@3a<Ԥ2>(v1V{"E"T'BiT](_UzqׯjL qНp4RQIEaNΉ j] X.̶ػ'^3mH:jw$R^,Il`iOO.PFf&O12f$~uv\^AU=_1!l20m:HLd=(8r˚&GR ]aR["B;JJ@"K('|/RP{Sm2 `5ZЍ*t=l3Xi${_Gg&+3cF7&O_\в ơa$>G5^B9K+au*}? ֑\wBV୶$28I6r|ĦG//EpݿtGgw%!#hMR$o -Z~tjn H^uѕEhtcErv}#LE#“8,5h#Y@)2ĉHj*_wa?S&7H:4AQݾ߈RG4r-D4]JO7&'#WOq_vpnWncEL)v*]*w w?'I*=&l?#Vhê xSs0uFjUJ1) n )m$x"jVӎ(Rs$}{cc]pb39-AMW!7~id;l)~O;{DL @mUDYM2( WA f/UWlUר]Co8|vDVFӵB?p:Zmk]SO3#{^]h\ҖjNh|Ȧd9pGS䧃'àZG[tJvX*!܀sIUq^~I(=ˉ]K Gt9TU/UuAs[$W/Bg } g,T)/^ CTq5Ϙ?+j6ۘԈ ;B!5926&R*Nq [VyMǞ<2h*p? & 쾞pa A63i%!Ha(ygT(̍T][:+&F!%1_A晴,FX8ۀ`Xv޶╷"MiT!`+*wہ/(7UR yk"D'p Lݥ  P`0z%g?]XOjdQʐ5{dX-a V7 PX$3 pͫBw~CL1Ntcg?_qQ+nӄ; 7 6z[O7Vyq7~#'Xgبۻo g"FaRΦp9{}G]yl^MK|~hTx+Б.SNܚYzz-SA555.>yL3->Hx_z?Z Q}[Gk]Էnk 5ƒH/Lo~`q{SsGPa#Kʹ)(U76X9HuKсAc{qYN6 )1R9#g<{3*|RG ;Ωy. ̊ru OJmp f0寧] CWmCOu}Jܵn 1j nsWPMAky,Bt|l|"Tp?~t9P1]|u\/ƣH-MM!|&QXcD~; /"Ev9L~9}D8;*ڶ޾}v"1Hy4RRPQs!2Ly-qap︊r@. ^RN_0u tR ;E#髸-n G:Z:|. ` 5Ֆ>c^x_1wtdgYzQ֑hJWi70(`T:* o)<̺+2f_Fh1\y?ԑZ:i]©~hrCL%^^ͧ( 'Z`*̣ Ќȷ7314ëٜ_d_qWdKL+i1khw舮/**A*/}+H [y^i+7 *\Igw^Y%(:ʿ-w$/EוL1pՊg$K C-ͿkۻgDyZ@fN&4\ uGӻCXP=`5H kjStV7HY +K۷@.HK k =@æ( yq6 Iڬڢ&%{1]ATr19SSΙΝ B*+!/d;Cԑz5Kt/eE]ܸH1#k(}r+gS4{ +HB!%e8`k:2>ѶyE2wsvЄ["•Z9(c @re3WޣSλ?xLʑIR:A m.6[wg;:DmhYV|^dd xxxE[=+[uʵ%yk.}@|mdI8h^ں|0%0cHr87d1f?PޣIuiBKg>¢U]a/*馟IǞgBYYۊkqZ$=i9r]q5M ^/ _m"2K4!SKECTe8~ (է!  ̞Sx1#weHOQhF_ϴH Cl&a\Vij՚>-^jˍњK6Zd$?rTL`S>B}ܝQ+2F/[aY^MVE r.Q6um v S5E5mS@֛.e6-LL֜ZI]eO5T nb9%Ŋg]|6=^ 6%ǎEV0mh" ϊfT ŭ35` \+p{5pi[x23`o++?r|q>J/<@}[uEe/!JrC_1[OM|r(mg~q i?DS'.caT̠RWCIɶ c?0UOJβPҥpV7|×eŽ (T+1,Q]6Bp&PE(TX;x4] yjU"혯_s s2$dr-9VمU7wm3r6/{@co#qDT ,4o^ %g糅<Ń`sf,C$ϙ;;%5c-dl/,`A{>_Zc4͈*ͳx6n.;:FCICYnմQlշzerZa5wRpk-$px.xT~vĔg ]/[Zz|zɪSg$lzoF-VI+s twכV t4!4,Ck߆fͩ뢐%l4;iRZiTGD j7 JeꉺB* vl8if^ 51By$hyo5Et~PQ#?LScY8:~z^Nn71&UgǶ԰ӽV?gT>D#-j&K`. hzpytqFE }}>WZޯizR؀.(/b`)H7z=ü#)^mjsbk&¥R yg8`o<@?eY7\ɷxh2RwQKZk`mwLga~ Tl<< %0KÏ0%{yF8²5_Пf FB̋nG v.kC`EC`Xp}3>$5"%~cbk Z-t)k'}D[!˚ 4u&ZYc"6嫄\hIuK>QzjJ\A7b)k1@&|oHd 7vsRqхR l[Fx\"s[ >Ln2S譖qͰ\TruPa}qg$@38|M=iB? 8p4`m#mX$|25םxFU(Cc1 UTtV6ʢ<n5os &' $s\;fZM Qhf!Yȭs:h?$t9놥rT6Gb |(4QƔIrQ V.HO2/-0aj@":)`5gًIU#h*I'. *Fd6p&vB>!nqC-s5X{'RS԰DŽ8}<= Os\[P6Co]ldDzȴIpo<.as S&3C C$~:5"Ak9} sƿ]>l)-y#qSP,Z.7+t'k5Yfe#3a t)r?8=0_ΔN]ԑ[XS*,\ټp޼̷B5Y籸Eޓ|O B,ՇFN<>iʱ45޿aچH#%5p(݆q7E{{9ki#Mu{q8Qm-<$ШEWf ѓOֿ_|=.^Ze׽p5df` _7b5fJ5w崏,Mp"Iǹ \MJG0H}n_~^;59$^M*_ z#E$?%>Ц[5]"㭆7D;y[чr/ž4g`%:N䜦.>z߳v0&ȯ  :rA!& XIj$6*~e(hrX$&B2AGFs.mq@JwO 9:ȶgCIepT&{a_y_d`?M{O\1`OںCtBo// ]xGOO${v>bvKfOU(P+G6^ ;kbl ,L{,"*k h@QLA?Y}iir H?窏A0/~z="_6fv~l2[zK x)]=5Vc2;#3zQ{vhA$ATY Ęq8:j<29:Na:ħ D_`O%pþ 'si'RD+q8 C0a7cˋA(=9$yɀNؔ*cS[m ?-ӴЩCIR ?M_F3o 8E[N~3E/baC^]ڱXJr*2 \ODh*kaVed(%+rq- A(v?BݩPT7ܔ1N 5T92,kޜ 5mDPOwfQ&Hpkqhf,С{;E \)hc9|)F4@őYfv@iCaDЙ5C P+d,kXPRᣒ LdKiE ka6Xb@:@.B3` hl7=ƫYt2N-͐%$w$c)$p'A)NJ]Ѱ$:5燓g1w#vQw| p%ܪ) uNWq7hOAU|=Τ7'z' <`6hDSBU7 #\uc:l/'#&eEjo7?f¥5 *k?O;% ULf+Fk@:xBgcx,YfGa}.y[Rmi v*{$!_ ୦Y['I+saQ)B邨TGTۋ&` ` ^Z4Ec!͠c Cj3+t4&$dC(1 3ib/;'w‘EmaKZbR)3m~WiS C4{z|bVnD%-,$MJ= th|Y|7ɗ$ȱ~/Z `/P\|Yr9o+!=3[ex@aD2ΨtVehVӪl뤴܍>uO*}D;% mju*$}&6#IN2PX ͻ*_ ܿd24SdFfM|xGE@-2wR6 xIv"Ȼe/OD]7D׽bKX{: eyi>)tY3pFt\oa -`2"3HZ9g3h>L t6D]=zzS pv܌6.U@q]:j剷ZXsX 20^|$GW$7ۏ ]ჵ,~;39-SAWم϶ȯk76"HȁwTL}XxvZsiѵr^oOCmv\fҸ5t̮§4+v6b'^<,cmU*(Fd$ $'[M`RFV 1mYk<#*܎z}Ӫ4m/ocOmx22Ks=jQA-Cx40;Y:1t3`PFssao%H~/$2`dzh)E?h<4XJ}e.B$7^#:"ڍ"ɊZ.N*d=qlW>'yiR2ANVW35` !2#qoE [&Lؙ+ ^ϻb.6E)diεr&! Axoth.XR=RiYpȁm6D0`VTQ 6m<'҇DN zӸ8dDvDMά3n=_g FƧژͿN|lQ/Kjg1[aa7^yFiH߮'!mn(@ni.s;kq.չڠXc.vltNι x\ӇlhZ&$5䬦&ʔ$%5",eu%q*@1=w;ّ:Y"Χ`#Fu%٭a<${\8ZU˕>\Ec8 l:>#M9bG^%!,Ǟ7&uL3[hige>lv {yoϻLsWce\j@KttRmǝ+ +|*PAh@HC{r~oL׻>leD(@9jQEtއ]/Av'd^\{q5kTY䝢_+'NE` N|} fғ6QL@%eQ` {ݽgVW[mjWgdo¼jEj1'ҫ DZXy /~_3tًk\YQlbgC WiXH7$+ur Huz7z Έ1.:6tDZ:@gsGDMVEZ~i؆& OD[V,7'|+/W9r2[.sdΏ ,=#U|{v]dZGVw`w`7>e*HO Dj 'لX[u2˶!q 3S"|J]&,wϋ~Nxʑ۔H[|ӥ4 3EQaV9 >H;fh\_$ukD-'!p[ȁ[B2wF.1hF;׷ xM'׼,Bh^fB@LP$"^cP-.*h=S(/C);YG]<D$bzv8pyLr#?#|Õ=%Iw-b2Y㦻ZQ"R^li2ɾ`pk}&S<3.Ѓz˜4arю^SiY`NGu<2mpmC.JAYWSze>9:C?`Q2) 8 yQհP,S;v/IJ]Ώ9KؼG \m3^;VUr?:[,5xudٲ0qTOwU&V4^ !cQNxbϬE9?ȏ`^<Pw7#"zYͬnB݄-E1=T5\%:L^d!Y*c6+<ۯeO vxGP*vn;)v舦F+8{?9؏Uwk7FAo=ZsȂFO3DND<&6f +OCJENh#PlBsbb|xhV "{6\咤m/Ŧ3f`/ߗ19y .ˬdo-4c5JJCXB~^rnV N _/s vXɕQrTR*H,jxD.@u+FGk&E_~XlWcA xs,!8I@*y@ӈv CZT_4H1xFHAv:"4LZݭtлRZxk+ac>RyTC xA2"r E܃j#ZrH toΞ d]tIh1QS:2H VDW#Ahl>#mnJ'QSfF%ES hwk$ ATxԭP4Odu9"ZϕgNg*B'C⨄C|J͸u.weS֒ej[ctH9G52%[pfVTsۛ4Sbl\@ܥ0\d5#̍4NKa:^II*^Ps6oB0Ql5*Wcc ~=JOZ^YِnNR0b\>Dzam(z9Z[aewg4DT- $ ;rK|h=ʏ4_[4^J;PSZ%A{l4C>##&U>X|ZWQk~a#m>QzJXŨ8tt9#^T*5-e)Ĝn`Rkwtdt..sZw5P$4s==N;/^,E'+œVeԬ&tZx3e;Ćkr{P<yu2p„|~<6KW(Ox{sǢTٴ9}+켿bG$ 7\sz{KNf$fܞB N$jZmr+q ex`'O9‰hصUh),e€𸏡l%mv?Qd\l V:`3\"*}nmo&+{wC/_ ~&IV8zd$r]=䁖Ե+^?^_}\m )F-h+ Mڄ&d%ZTAl"XE,.iu'dd]m"~+:iUsA|Ƴlψ rN> EEl&Uٵ8'`[ _JZIf{ZClM5m\PUyY=[o8}JRL8%%ķE\ t4kȢzǪ嵟*]u+kk<×݂;1Egv.2׉:=Lå_ r $XAeSo;tٞ kz͗/z@lRk>``\ 0S4?_{435~;?9'XSqF2Ȝ-a.Fl_r I[Lz]ŌH1`YM֍Vo4 榺 eLE> ઩}6g3I9>=n9USk@w4zGV>y0h(Tڪό] kKarpgjXQ"S L=+~D*\aHRI  FB3WSCq`#0"/el^t{}l-ڙl"A?}fcIxkoDgEr#:(}|G"S_n]59G@Z 볪cLkۃQDi>܃pۋ=<nsn?z }7^ғ F}hEvj&հSlB .zh!A7rFoeP{߽B{rkrY6J%>6Dx2'C0K1#~f?ZVJvcrq~jJ&B.Oӵjfz]d6(&ii`(L>q<>jp#N%NM*!Y͋7@LuQ1ZSڣH-9e \ YsB9}YS9ڨfSú{6g0ʻBCkLl=0qK 0" ˌi7P_ψNؘNoD,`K<.֐/A4ociP 6?I)ppGA \X 5Ӊ5YB2TST&WR&yĔbm",rE!q4?1!N(zRhuL%]!ÈəxwY BibpO?m}9!r+8~s;5{PU$HֵVSP1H(f-Z{`cn. }wq=z)uebߍ<&tr+0bHm+gb7!.MOvfmRn<^~;l7[H.MsQ`wɢOA-Jwr|'VPN&ə/ 5k*5(#Ybi8n=mU>;#LDs¹/C_'6n/v8$|1_75O~lh&Tfcn~>=cj{ܗax'󁍮i9l>@gMUj]#v.ֿE&ilTgYZ649256e7413f5ce5cbd843f2c8f517a49f99a275634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e 813e471aaf9cd8e78c30715a88f2e9d9c0943f94