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 BB5TT< ]S HOL-Nominal-Examples:threads=4elapsed=369.918cpu=1345.848gc=99.068factor=3.647zXZִF! g ]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aρ - Ck@ A{xM86|Td"egЉ0`?'-Ce B*A ]iَ^4.O0¶x) }tl=t>#vToBᄦ1!ٽb_w&d$?FcE>53?Էjy|{A.qhԎ_V~FR@lOKa񾠁,UOX{g/0؟طu^p`h/ FH9sX:7^KӬ#jJ=oE֠06|[&ܬPK/I@{iL1}}䈉-)__L~m.B ,t"dAt>)sG ˷  32W'/ٯ8]p!ѵzUE?UGs̩h+wqxܧ()OD F5I9mTu7[h)}g|l[L-stO ܁8xq5$ @SD^Gd8f݁oYLgeζ4$33POu›4y-3"M$*jL2ȃ_'d[= }n Wg,j 8V#|ѐ;LB IXUOJ.w.d@bb;bLj'"n/-eղ[bh9aqz751gEgN=j,ܫ7 r i)m8Qжpzpr@ORiKO$ T9++4[䟯[|d7pxaB?QX;۲e==$8ht 9y#H(|ꈳ[ԋSȱa{+;_1R'tng.GSXE>2 'gc}־{1&(8)|Q# Bd݁)[GZ[gi)V˹{fRme#܃Z hq1d܅pXT7 ۹ܓPa<ݝ,=Jo\3q?7)vɓz6 G#g̃pE<Ǹ"&zڵj%sF*(."1DxӺ+ނt?/ 2v?DtvS&i F.ԚQ-徍KR_($غut IiW.a1GRN1C$9+Eax'&LQ}-+`d/4u2edO6$8z,`s}=?0~v_ ҕo$Gssٽ:R Ux(xTڈ&ļ&=uTĀLⒼt4_f2QuhYe5w- tNy(ynl=u ^l@gbiƺJH|ڜ G7nm{'j IaPQ/X}YB7ʐ!k6ʅ(s~L>EP,)0-a+v8,%qzUPQ(O+ea;XmrP/dzq {|k\fW6G-@M{j]9ݲ7qcb y[j\hL }Qc|7n;9rKȺP&R ,\*9Nooz͛+HR,Rc=P%-}LuYOf5#/ʸ1۴ E;{as70qdիa$m.]+^U x[0?^fH>YRڕNh5ٽt~5$ip'@)SLIsSqz0`7rMa| ؔ`^D%zuYzZ| (N(~ɪSg±TM_ }3r%5{ssYr1!5#@j{j1SjgqŝWcX˭oF?3/88Ǥ ioEo6m^L—}v:VuA@^̛?^'qwOU!QH#˖#[,^O׊D)К+pX&vb8해#U×q9Hr)'Ԏۜȷg/2wE}e% m][ܻ#9*zX.Bw}xUՊ2waŵq50m1JiO쾑 աW߹'RyPTW5I$l5$-{g…՚I^$&eS䷖O Cjh=!?JP ArD U ;F4p^p\"U~iCbi9]STԜYRZ{?}%t΅a >"÷E itZh!ʉ _YR, oRo <4d)ӪSRŎN Y ^.7 5 HOL-Nominal-Examples  ewz-|?NSk4ց(uy,|U[Q^_肢ER&y9:iBV hl%r4@Saiߥ?{۷*r?wp CeTo^9Fm<]&_ְ"]W61ݨ^^\a?u5v1EKwPK=p2"<;vIl7[zO>߳"s9;N.e(+eT}2 H$֎qT VQ7Ak.F Ju yG=oľ"3}-WL3ffzWo9hڌC>Cw!NM`7]bv7X[30& V&4xiv0ӫ@\;N>=m䴝" qsS(vn'u. s|Uw,g*;# -4H$'c;@'Nrb(FrchUԬ2* c:eć*ĪiflDAk՟Tp@x;dh.iA kHabM2a@ x׫rM5E@ƵԤu0e{P5e"hُbTkOOڵILw%frs"y]\7@}%dM+  f frjGTԺĥk5LRۍ 9Y|$D2Ȩ$а$;o7o(.ߵK$/Cԛ7U^q,9)sG<[г34z^Od I;E@P^El{z҆S^S1_'DU$}2yۛir"'@k{$4&D)O]_Xư+4ˮ996=pQ:MR_fe9\#pAn#QOC2.LXA*E\otqezQ$Gݣ`up[HKJ4BByR(mj÷`Ī b҇{Tx&wP"mbZWKqCtxҢŌI[;y& <D&;ހ |! ɏ5QJ%ϙ_%%lr ;q2 0v? |Cȃ[Tw6s-Ck݃8#A5hZ+0_21ԮRŷ 2L^:E03~&RlV Q7IN5ݼNQp5Z7 M~O6/}OyemOAן1Dk%_L'[ z=Ɩ%PPY=C+dLYqD/i,ZE/kx+q=X 9u<ǜ7zHdi3jro: rhQ"uॐvu3Z~sOHE%o-wx_BKjicFt{,a9ܼ_/U୻NRi{:#_Oȭ@Vfy4,u%3[DT<f;D$#$&Ӕܐ{,]+\ȟO/BUzB+Rj-r3//lxT?'Ń/2\!k_& f6,*H0t505N | `eD&U̠LzGHcSjȥ(zjYⴟf0rcy!걧8=r覱32,1kJYΪ KεxEs _nȲ6RD |0ǽ SOp#a T ~mDK&V__sC!8Bq7[ҡ@RR i&K*)c c+ rxxY˧E֛Ce*ypR<qz)n{i^s#чwfȅ\aBQc![8CA!Λ][3Hc^Ejf]1 gAv+) _dtaӂ4\DX >jH> y7u}ky?ayc&/+4BgyuN(af֜ehV.$ ѧ9 OY#xފQƔ%xAz}2O󥕙>LNrS+^8slEA7tN9Bjx C:7P |[E W1}WGT* `@Ej'G(c}'H(4s=wV9ICgVa'{8> 6.Qܙ8:G.+M"|]1l7o`)3飋4`?\S"wQuy[w{.;4"V_5R> S-Rߔ;ĶR`J *Nnܲ_!r$#|r*#ܸ_28һ#l "&MS”M(d( |Z3}X8;WѬ ĹvP۽]My|N"hhZ_ 1S3!4f+ *12 QԮ53&V S)iKAJ>9KBWwpYltlv4y'Ҹ{6X]遃6bxu0cP'0F\wb'i^^_.PK4qD4D:QB 7#'> d?A%ؘz|>mE@5_6y Pdٳ3V=JAON)`ťw"0 QCC4K:"_-jJ;ic4Tq*IҨ-|Q91'%+ JKEulz9+.y\aő{^eQuo)Ȯqv>J,f:&Ldٛaz7bs*Fү{naMjK`-ʩaw\ktojr ؎kߝhbm=Km(.`X9EX{8NTn8/Qgc\'iȘFk\6R?JkpK%kq0 ro}vd|*r\g}RkdXWvl)w̾ǡPfQ!wfȑ{tc>6 }}狏HDb@YA1γ6q(vjn$D wn<;-š\>ۜޮ3`{j-)+_A@,Ӌ[Y럖( a!?'8?U|:ǧ${j*k|71Im+Z梃[LKļ5d,nH-+LaK2sjN lX4$ CDG=)gg%WOo~VWC^jOP %ZQϗ!ь3f!9b ĨdBJƕ! 3BWLԥpF&s(%pX-qPʫ%Am43Zհ1OQ[p\IM'˳^|p(`o:"rܻWa4I;'poo`v:-&ևHX5y??.n$j[cZ厚]ktPFr CyOC"[g~AxBV1jI2!<,ȗː"4T)Fns#Se8_ȉz c_rץQd{yr{U~!.ee>SKV vpRoG#E<32[!A )&CrTFn92s: 1)F.?)`*2bJ @ <l]OڑӖ?YWA)3^|hu=?hLN.tCl9YK6>(k@wQ ADJyiK?`٥Kkb˺ѺecRN^ֹMr ;SC=(z-z#/,CZo66:# Q`,.',o&IqFS~eOO|iQ|9Ȓpw,iX )u ck/ (A=Qw2:70m+xR%Xa&Iz 2znM7^P(M7=F%gG ly eK@Z?)&)1d֎e?I XGN#VOGb!@\*6]Ţupg)hp,Ws"C,_Sox3\V:)! Р#J ~qxM0~iQg]V<ї:ֳ2>~ }ؒ<X^' ݆:"(1 jGf.| M15<zWꤽ-^p'xR4:&hqСXK?>MMbq$Hq`*憰N y-zudZ :)#RYf,: }uXkl׳|H آ0L/YKIֽ}oRȚs5e[_q]8{|,k `䓞KFA ݧŨvѐ=;S3Ήua8=K p ZSV`7QٗP',Q-7 LV?Z- {݈$wbVFDܩt_Ъ 2@կl6,y]r)Emw6^.9y洍9l| sT]~Km&z'5B :%! 1 ,Umt{I۪%NItC|Ѭ^PJu@* Q'硖-mR4Q3q ]M}x "Ad}W vvz#k bwh+;Wʥ]r#`n|䰀E]n8;#=Nɏ ʼn'zƶR$0Z.oқY AV mSzJ#HaIx/4TNZFM~ lc,—,sY6e/*%TA0RZ!E\|1q&zY&1Rx)-GO˚H:gߵTg+/0d[6O<ZB-5?iL' P󨮘*${p[-%^s!X5K&t\O+Vc2%J=Sbx%*<;ɸ-8.bɈ=63OM:#Z >Ku)XoR~Lrb¦xydn2P{8ZS3w]򫛶_xMR|W2>~%DgMBJA4 IU%E2x&Hẅe-ij% Tk :{a#r9 h{VDfWXgcUCB6"\4m墴=^Mҭs,9{C@ _"5vbm(ikfQ\wC|D/rÜJ0(XD%[Պ{y =;X^2߳ɅVFdf[f=05u\:rYU X[ `qc)PM7}nЬZJ$.%_4o /(,[{}P0Mt=hz KYPFp^ݎp/?݉x{&an̝wJ{KO}K@ݓ#׌WObO(Rpu튲̣x91JO:w} 5>t5_p/TVFj4zvw>[vʋ8K'+2e o[RR[W'|ЍJK(M\1~AY#C~ڤ`_(F̴5`2++9(HH<%9lC3PpP`,)K x'qyǁL! @,sK~ˣtyl!OXόzV7Ákzy`dq e׈51<G?ۨkcլ2uHqO< /P(coX8Ծ] ŬX*):d3lC߄G{ no!n4V?&c* 6Naߋ 9dYI fkzRIaΘ٭w&9^^xM,!/Wyv۩j(,B|8+;e#!{#8(OhB;͎LG|%dynW&~#ȩԁmh/c͚E040gX KOp-NMxCp`N4&7kl|!TOTcW}jps|go_C٫%*JdՒ#j+A,vuK4Bj:J@PمخX %Z$<ewYX?phf67_0;ۜ"7rbw<, ey6Fgk#2޵A)u/+Ӎ5'SБ#0hTu,)m(#Fo]2%ܤxa2RJw@|?-w:*?[O`(^^mos['s"&əM*:y 9ǴUAZg[.i)YKXRfjT;zv38AmhL7iɥ2EB/ O:J:JAng1/d]'bw]c"oog Oa{hEvD۪ӥ ~G#W1vR)X GoPF8O ؏X^%,Klb,Y6 &W]Vgw*ca`#M:-q&JG|FǢgeq7l+;~v7f.`AW$ ,7&u61&(Hg3\ eC0!уŷ58icͼ;8/FăePbTuJ;3 L5bw}cF }S9j]4* (:\j^Y=KvU*e~pD/ 8C}dϽ uR W5e,MFl+ $`6Ng\'*{ԿAi+xguΙY4lSEM/%j 1X5`;1I xz:ȳ4 ,V4zvs54#k~h_OB>υϮ:B$yDD4f9)jۺ(˛2+KK4]2 /{kߎ%/ u:z*.HǺK .WnK ]IYU5L!``/u2 a+:D_C޳wnD'.JouߨnU~$1)>Liqժ?u˄ D=-ԗRcX[?[:缪Iܟ7H!_jU`_%8 ԞG,r8j H/M-`s)-4nٶyh9^Dog:ķl%\xSfY 8<G+6NLZg HמFR8>L8G&\輈y~LzosuMH*iRf Su$k,-:Q0Q,~i' K#=~[0XiM][{:iUGo`YQ]qTk}cE^7) &7X(,0c) H#eO >Xi%yHu*9"y8d3)KEv,KyvL /kRe@ם$! X߬V6%̝,D$e飗>@8áéI{5Yx?WG K:OMSO-ߵϴXna]|:Neo}aɃ,DHgmh2TMa- ;}{rBNj`,+Z,sZ<BbdEcK9Y+C)~WG_Yl[@MqURZc! 3;p|ǐL\ }XNcwu*5ׄf Bkx_ "ץEԂ1/a參*xهӆE|kn nS6l4_;7kP)ޙ7ܝtUf &R;0Vm`x:Kkf9G:8X&\ Ođ_F97.60Fo9tobʠ/B-EIfϨ惀EvDPXs-W{Buj_dN2o.$YT [1z~5qM6R}[g dxx~,J-BɵUB;AWS嬱W*/[h|+ƆDG"J0xa)s8mĜ]5(üZL !IR0if:n(CZ!Mݾ}ss;RD5cAM{5SrVL#U_㔠>d6’aƟXna݊qz N|uM _\M+>Met[ȿV|#o<KXG˪+L1(8L? |Yt0IDTcɚ^"wx'$4)U mhRcڧ[A3Eq3+N6њKfW@-db'p e=HO5 IEVGyFdєhtӄֆ/шh'Hj3HӸByr,8/RqV3.RFHx :i*~x|pN@<2`Pt =Hwpp8(&M/?nSNcC|}_\iQ~nMgp~RFyA8x>H ew ۡz9/?BUЦ>sz:+7uP$6oӐիbI8ъ*P!"SRj1膽x kW(JԻ$ea a?U6ktT^}Ѻ W0*Tzm,fK/ޛڈ!8Qg}^A k?qXY~7g&eh>SUu2KUrvL”q_ᝪGei}V堵(}5Mh2F*~[X*6P-4c󆜻` W.ZoYcŅ~o1=#ZV="esFol#4X%̔Rgsn ^<1 cA}Ͱsm)ʌ7!tGomk*IԌmq=Ȣ4'=Ď 9qN@-UA9y".b}(#:xׄл ,B_msb mߘ[qX3桸1縮kŭdvSq7EymxEF,Y'eM.Q*);7Es79YtfQ`)G׺j:qCW>jeJh޾Aq|ˠEPQ'{\"w3ǭ6haȗH*~ jr#. M(Fo omgI?(ʦZt֠4 VTXs0![Ճ Q;~MZEظdUam"wmZ+_p=4.X 8 &yng_=_ED͙Gܝ' u+΃!TDOX&AE1Dm?&xo5H'^:_cHl[ kԎpTK_9=·Y[w3kk^`9 u|yURRrj&>)?0|8? Y\(xeczK>$|*Ii!z+%0j(1 ,[Snӗd لllIOkDQÝ Ev9N&F~Z=dԃƠaYz+a&.7[%x(q> ŎPHn%A[)Urn{nj~w6^p?.]o!W }}\-t]qȗDot5VxhzDO 1bZl$CB x4nz])O*eHҢWF`dG]Y  |b7CAŃxP?A:~˖Ҫpttf?`YZ}RSHZST:Y:cԃ_;5`Q fe)HI҉Mv.5NvJQշZ|v[ i$W8RuwAuT葩yk3LoUY_8^9 EF~3;% 6*lmcچI. >tQrEq-*F?c> N>m1ПiZF3L{pwNzXM疸R"(Pʰo kU(ZsJi8>aN0uɭu.S7󜇲~j|gY8&X{qSՋX'UAKI5c +7ݦRu(>k!V#5*hI 9tw[V 2&諐0e(¦R-z6b,S%?&pQ==Vٺ5+ql#LXx-B 7a&$dY!"C}_i2p:X]uu\~GO]p (>hZ\/ThhhvC+W٧JE>xh9(+,mN^DOF} ˛0uHY  Z&k]qP9~wRTK T2@=9.!PN^ fa-`9J/rFwj']ioØZ&hzJEDG[~5{L+9ykKf^Ų܀)xm- #{:#' 69 fN{rfmsnew[3" [۽8 zZ:b!?CwGჵt&7f|*< seyQZUϠo LU" 7x@!Eeh]Ѕe=9+rkqpG[i{B5uC7Z7,WiE: mԲ餛2b16vyx<-Y,I1걘 ?åWB0SiH JHQK0qU.}v'Y窽\bJT9?m8E6汌3?IVoxfޙs&/)g fO,}`\?͕D%`/)n[v}Y44hj ԋ  7І_Z憱,a5[55v W?9hԌnU$ȿ8pыQ6 Se}f{jVr%\I-f7oO Z2-ج-ڢ眣/ӂ BX.Mˇ-Q"eD9[ʣm[ UⰄAnqEMEupx{w!{!o7)87 [8x'uxx9WpҠ|Uu7˓m`Us_+]l2 @qegKb#\i#5C?L*l9LT#b"fj<]N sKnS&{JN?lGز"Dy-ޜ2qJ\Nr9舥xX7,f)]àҌc{;ͤ.Mje{ $A*گ]Y#M6;4 `HNQͱ,K^HfvJ,8F\U("FC3\ _t )h|*æJ@ ms$ z)"ѺM/d̐PH}=Ya@J"•uEiEϷ 1L27՜EA(!3XN.v`߽4b1d8Zŀ?4ϑEȽo x'^ÀﭙjGZj䦇AVL'5` ]} '.iw7:JhX1TݥTˋ-@+@u9U .~Jb_ tFotV?^=+ջCKj8^BWP?ʯd7? ջ鯍^s9-F D8q!>K";Ӹv ũEL nY= ;I"Jp~f2@;t͌3 WP6ƒȼa=?] 1?i%w#u+PEgInWh I>( 1X{yO h+9"af Q]~^ {s1ƥ{3;UDz`T#Zڒo7F;3DOb*FG&91(֐F*~L֝3>3fپ L=J;*^[37vU:OE"+1U2g:`cĄQSʵf^aqG\HsFXYo`i %~888mMВB#TKALKϿ _RpN_w7 ^}]~DSg^'gN/? (u00E'X8=kS/' ZBE~5"P5%#6wP%|`)pFs^]}7dzlYfbpw'4gS7LZ'MAGotC"DH4k$f1'q{40oj?s|>)H)?Q3O.#Fu"r3^u6p/M(ElC0KoIo~6y`[Tll-_)؍S%RMsc&"(aWsj-X:݅?7B [&-_/r6hhL|2bDO\czͣl@0Za$CaoC}zۦ{]*K·#Y-u&#1(V+EI(ҟm'<;`/NghӰ8 6yJ$_7xX̮Hl5ݓ#J#zڹ2G>%&>yg&E vqm[Ѐӥ:&25_\sv)țe 5fj)P´r=ݻYDԡKm %^/3Ut䠈'H>f]lrD89/!rCbܽ~5'ψ'nlM8QGг,1r#'쮾=̜$O2?F{+p3τy $KQMAoN F\M0tbhÌ36~G#iiG݅k2vE5)TT>>Us!~k ZO&i$]\Tz*~ "H=.aB=m& + / \+BQ=:D+LL2 ۩[︭ ]b2-`Dze]+<~Fͥ]|1o[t.Wi40J:" 9p_cuz|ފhƊW%drۑ :t,l):;mDPg;/=.%-!(g4jE }Pn^D_w6@:emKQ4GSR ѻ\Σwi39ƕg']qv4-U\ Mh@qk%dpd6eraͥ M~+͎FICc!#M( G\Ce9H_IadLKT}K<@Z. DmM9;hR; T(xadKUy#Z[Fs̭L_ kK!%-4̌Vk۟ghY`Aڬ6 yY)-Mß6 y5'LsE,?{ nYB؍1i|#[-rU_Jz\ f)d }G3 ú*:}+ql)<Iߓ#$:fk҆KA(zY穔 րeC>7 އ}͜9Y^'ݘG`Y&urf/! ;oR>!C4>J0M9p!Bh (m}}?EP{ʡIc C3vSbJ/OvOf6UųyWǗɞML4~N;@<&l'mF%_ݜ`\([  iHm !e*K1L *ŖVVՃ'# [L\W-P0GExC^aV;8OT7JkY?ۆB>%y%vq nPSF-Am2cd/p= [C!;+Uo>3^e _*Jï 5 |. ;s@Wޘv Su [8c4;"%ӠveYoJ$khN#ed#N\!?v4SY퍄t'cu.xRLm0 CD?xȾ@[ρk2`Mšs?Z E*?iEc_Ѧn[(Nt\Rzٺ u| vT6x  4#`V; A0}<:?ج)2yM_* d}y0w"ڞN!c>N 33 U;(@7"GRT/GUl OqJ%M?-2Bef/zΰ7v%nBe>'' ~(#9) 2]q=T*̞L25)SSf(jãw٥  Eq"xT}cLߣ_}"7aS"͑(;W$T`l 뵧l_ W+vXRDX7ʠ>dظL^oTỎ%J7U۳#yˇ~-P4Z&+"Ύ ;μ w:mj&@vyRm@h"6yU?Df'L4 f>(@*r8yDO"B!."! T8r U[0wuB\Ō F@Aki]'`( ;\onqfA ƍ99]ӻ,r)'[4 EEuE3oZҮǭfN;@1FerEaRQ}[ <]J=0]]IoglN#)t}Y6>.w;_"~+A O$y1wz7|tJРӌ8(tO(0|`)YxKf'krM4M_}|̩`76f+c$XߕZQgfcل,XrW7(7W|lvɊE_5!C "`WxQoER&<w4'@ Lh)M\M?T5nՠ,&)޳?dL\2;HTñ`} Qb G8U3!{4 Q-Dj-Xc7f.i5r2TU5R|X@:?%G~"<: Y:K;t->"Ln:;E)BC˲fe^A+q437YUY$DS0\W@O2)Gt \|Pk JW2_ȊX=ޱӜG 䃓Bc޻`rpd1]+cmd%a@MrLy_p2bH trJ8֏6 /9pSZ4̠-G1TZ!N, :{T\ͻ sӤM}V}r{m;B2LAzx؃k0. 5qׂHQF*) X@rCg-xy:7x}؈Ɨ$y:@в",S-olY`7* {0R4 a$,낲TMx @\o(Ӷ*'V׽Xڎo.:+T>2К8ug MM;|xt{:P3/"nvz&ZY S9>@/%!4%W& p֎[uG΅m$'H!x }J7.Tt PZ6MZ"U8e4NKj&3\SQSѾ+\ٴ.D5%әwBazOfMQ>ڇ^3U*\d4 {@jL2*e I=$|^L$TD=7u*X'`747%DhdE^Xܡ"s)'Pͷb,//*P~㾽qo 2NGZʍ?r񯎿vuADT"F {u"Żtl$ aB|/#w$}<3QHjHQL5`Xߙ+!Mÿ NJCGS dSi+Y,؀2Bۤ:7R@*"@(Z1frIzڱAuvjE6]ud}^4+f@Ox89ܲD RO?9t["qES܎2 T{p.QT;_-)F =K0= G^ĩk },D6Bgx:W?Qj4R ̪dZAM=WOBKlʴ ?^?>oz(HDYPJPS‹1J!BGkL [9J.SlQ Lʽ[̨Ľ[j`'P"Xw/l7/4)i2bm:=汦h1&yZ.UNnB౹^!;.pاj c+$1 *xGm<̼^1=$x(HԢءc?nkXG./Oٕpyb*K0rA_Zdbez(7bVI`F0̶ý }lY+cQ5NB)b$#Rḳf"k riPY<m\ /X`ᷦ?.v/){\f &ۋ Ʌ㖙7j0M R+A$슟~1sRY⸐Ʒ,ţ9P]a諮7Y S̴8v/AO=l C 5 ];$K8Hn `||7mL:[%D YQߟ6<}3>k̓nM,ޣ A'y8wbDd0w|F*Op񉏐I'1HʩMKUb .^s/쐿fq6d;9,޻KN^,PVf*+=_)銝p.3%jX:dzfK~j:ROsN|I=yFokhl(Tq4% H iXS(/3MޑCj3k™CeD!㩧qӫZ|sdЎן7 "u|~Js$wŰ猈@[ X:h˸~xG ɳ=P&WI-˯\¤;ֆ4HUC.8n +;v|25,.!ͪh Ku;/̈́#r)$àv9w ˆoA#ӰW p*C;Wt{:o6힐Ci2Bs NTNL?+sؒڎyD LƤ2[?f}gI9nE!CzǾo 0bn;dHkC^k4s>ko0 xKzȾ~稬WFh`4?$k I"t%O-N yER '`R,cpUW-(#v&!\r)0!V\%ll.|[󶭝gԄ"wcr6&;(eyf+p^1LѿBr0Fvb.4dTE% σzr/۞4j.pG1<:`ږ>\ ndƨgy(#B߽~ѤEkUvշ$hikEi~%(X.Y6cn5\;RUЂY2Q 앭$##SjQ% i/礑N:B /BvbЂoc-. Enp6Y;8Pq=%FL |ta jE%U`bRƤM5F[hv%!.J2+i+;T!0Bu):d=D䘿]N8$y|iA?ɛ'O#NUR,5ӧ1e=~r᮴רJ7wH#&m>Dg_2yaE6 Z!˻"a񸯹bxHO3ǜH&E\. dwW:bEfs^l]Wg1Qgfݺ {v\^|M:J-D>Vl :MB>|^Om QmzabM1b3DE X~(U>'.[oY21y{l R1N+=!ȵ#8 ~UIBU).!s]-< ez S"Y1*>B'`QVoe [fm(i>]?o@(N2i[s2AMawO@TEZ.'8Y:za4X+]Ԇp;gES*;`MNP3Nh zfSXvug(>Mx@ҡ \>슦OszI@vk+Nh( QXp~;+#v>gf|«YR553$ҫaa*k%> f&?@j7֪8V"ퟥπimkY@NJݴK( M2uJNYF<uz5ke:v[Ft[TdA;.oy:@AH6k*`T+ؒ) 8 E..?P6mύ/-89(,/vMŻ oG֡gళ ̠x{nX9kX~ ~jtߢMjQN;KM씹3w8gs}2;I7_ cZ"<( &>Mw#/߶19ڔ3}%YM WT8is4X%ߡ 0 | y^J9p{.V7܊mV/Т\pav+^"׮E t S"UT3Z19Hʴ9{guBN\K6O] UL g[!!\&+p(lI`C~ۖ/VO ٠rD9g\tB:(b>b$ o(9iw)K]6[K9BCٷQks8!x";Ly}9Od1X9"ԫt(~O=^hI >]K$f5߬n֥]˙"+~LSP 9~ZGMOkrjN :߈-Fc gYZ2cef5c5bbedd60ce7d29a698995d8118b975b9c578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 0d2d42975c6d25530e026972cb8c1688c0b42174