SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ``t!|L ]]]HOL-Proofs:threads=6elapsed=614.752cpu=1493.760gc=232.804factor=2.437zXZִF! 6]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZ_Wxj҄xEˏ2]]YFPFw#SɁl"ã}s;~"gQ'XkEUg5y c:YE'(cj{&uIJ?Ҿ1ԅ7~aXUT^mq脝w緢`hOK:+C7>eas UdDOz8" unugևHL B2l'zȻ_汨CIq8H;]H&]b4>K,$=>rBZE%Pryd=O.R:Hi15D F"]u7 9}o6y֍ HI) P1 /&$0 d1Hʽ⛄޾][9na%O6# ˠB)y"|׀=798ބkrV}ZFrx(;-uՕV"wXPP 7/C^ k&"ev/ SR EDܳ 4}h&}V"+LCJQŁ?{(ӹwHa.Y)a%+^xT_7Brꛪ# (V"$P']|') PSD5 {HuA(fuQaDOݵboUW?xE,҃D<͕cɊcB,XڳIfiTʌd "ZQN0z#QPUvn4>"©+rXtӊSnp0t&E x⡒d3F"awq$h a1)_mK]V,s)5-~һܒ;x<d (PX]DuzDi|UOB{'9_.ĉh!6cV.6#t9k v rtPT]LX^!3#d CtSlԮaR==c>bwEB!νh7G)X]`wg[VY AeYZȱIwaQy>Z? ގ$~"Kx^opeN]!X衂)VYd ٹ3#^ DwA 2|_֥.,@5QΛ!N=8@>㜹7j|_o_n9=2A`2uQk;Uzd]:n rƟyfw`*;@DUIS M*&s{Bߠ O!WY^epP IZ>x:k0J-7UD U]" |wdWl^'YW8#j Sc"p5Sfء#/YZKCkxny [E`2 #qSD!)zabg*1UF~>ĉ<"K"#q& $/7dļٌB{AO,s/Q[S+)Wf!CZ5 J7&۪[oJ_hB\(C~.騻Ģ$έf-q0]=Uy] I xA{Ew6zkΠ?I#M_VpK3n$ |1`DtV7)V\hH%0STUW8;f5$zDjo2O*o1X1x7PEYU3w2noji_sUd|DWu r]4wG r9N,yLɂvHx}ZưH:*6 ,TZ'_ngSOS~Yie1} =&r3\foylRAU9!E+&u qVom'DT|T /Ŵu{ZxgX>]EI ^S2UfB#_޶K/&Y"ph Dp9=rĖGgkIÇ~FNUh9.~2v?u~awѿ+`ҋjt'x-k}px[%ԲRKu;T-9V|^{ڃQ&ڜ8.= ok|r%GoېRvl@+7tI7(Ы萻ncjqyi wK34ӹ]9VW_WglG2]=Z" R(6 8ouTS=Y"3Ep•z=Yy_`?iW TUI 1d4iETI,'J RU1:sdP]99ƄU;bfܪy~6*pDJQ wjM q+EIN@ę݀!&ʴ37Ont 9&Kӹ0 Ht,0ˆ)/\- _"^ ʪaw"> y&MO+kih=]+tP F%\p.mqn?1>8|A np\ ިeufhՕpN&(;7}茹c^X`Fdjp~YHQ-n:㡉mD\j; r&k ߳rӤ2CJw^.֔SKd$SJĕº(nf-<5qsN 4  ! HOL-Proofs  ZV)S*O& 2jX4+8 8~ tN*m#xٳ<Rd@VBؤ -rOtjXgIMƐ[BCM1RU.OePǘD'Q(ʢkEɺnGOYc/TZ7_K#`kw˒rf!Nh/ ֥  2$r*?Lv Ce\ OfeAv Z>KP_wwI]yҕ<IљM| QK͗9Ig?]ЎBxu9p Yn7.3V.1~'?e:tϚG_oz^a?_PSϛJcM:tn~-VPV=h%EZ4iz1`8 kvdPgEzE]{MM^!WO1~S^EhŠ!^rc,@JFd}b]KSwv KbuGE `h36J;I_?Y8뼔/C}[86s=yx)E#1S'Mm)FtmVB3kk!P2fEd?1<&%ͪj-P[XvHY8z1vDW;tglPG 䎆0~4fkJ>8&4sEcc !fqXW+o7np4¬ܮ=S%5LTwY۝@?VL/FOb%_}_7>_[g܌VX+r-c((&~e2d@>^bz36B­ǟ veJjG5#Bt?"R/e jq+V-aZ)A|pH=h4^ގ: 2ihȉ9[QFe$Y;}_*SUuHMf45{W [5MC^ԨfɗK N;{nqH Է:Qh,30ǣ*#aXPE?#s(3-DD)tBӥLwwK#\C4TMH:o]m u?Ƣ5?b(cb[[Uw1 Hw;Bi0'z6D$Am$=gMA{O8ijsϰT .5`6vh_~c,rk6b3- ڧsLw&zA D~ Z :6cYe!WVXG1׊Rsd8P'aC$`9[ }!mן⏆ܣXuʠ| 71^/>yr&dVi̼y>$R %c~u O3%E9 $$V^[&# |Emů 3 *:xfvN2 ؄% 8&w΁@LJbС A:iA-QY[oOc>𿜲-͞ JOù:geJ(xѦ56ޗ) WUXBqЏ[63p 6\8'+s:,ԜAR? 0'ߥ{녠NO8G *VSvR/ytҲˍuLPП2Q δ'FA8,O# xw19YŦy7BQU<<.̵N"4K(\k:L&M_*12¶8mZRV@˱+WC!_/$.#r{ir=pd6Kjlw8皣6x#82(QnZMӥFTjMS JM}߁e"Kюz1֒qud9hq87Y G/*AHU#<EM!!BLisk3AW 0?q55ޱ|0V1^)tAA+*>PgwbdwK"#p53[8?L\/sNKsѾή¶vddȫ9&6N4Eu-ԔݮކRE/@D _j![W6f z|Mt&Nf n}W- Fm~oNu3_.K꣸;sMdR 1#wkY7Idw څ?ʀORǾSΘ L'c9ϋ' d,E)ILLNEYE㊝`X>3%I]^S9Lm7焪5\$l)8s+[W!) 5op2\;SQ< M!'<&]Z=K&~AXȍ%&? U?{q5^C[CrvEv |7eE3-S%~8Qho".WID#O]kgg/!AL=y'T~l'ZZ*;0\#(*޴1<.#t!=0A% Itϒ#Ma}h}i  3YRWGb>* wxsv xe?6v㤶C,k/AGS2+7ɂr %="0\Y--1B jcq}];HlIYFDrgMU}nzdXQt^D0m.JFNu0h+>',*$ײngr|S@:U yWοfM[-S͖a ETrY ?t)V> 2egYZ7zXZִF! Z%z]ŗXi%>el]eJܫ! z-Y89|god5x P#8h z%hA; ZMa";ܴo"ʙu6WsS:<=lw_o|y]ş.u\E7xcoxycd*LV:x~)HIkeQD֨Qus&<=G$E*M umd|FutV=a%yzö6)氵L* vU% um!' @Pא >衱wMwfc3 9~̏L^((~;L N_$%++S*9,԰۲cvJ_+h:n:'Fbd}kmn%9^ZN3_$_j0Lu"y ?DZx=— >FwX|9 &I==nյ,e}J,S7as#}9=ILQ$D&s,'a̙|;"(-Ajr8%ܕ M=Em L+n0׍t/&e 쐈m`c~sJh5)5%c/\baT.Կ$8ڃJPH^$楆Gn%(bCNBzelDv<$rg>E(Rm{K@(rlxj9A`c66tu6[|(gW\XpD҇/O<`V.6N5JBF/[V `|~s jrηZc3̵N`u*o(TRaXOs@dQ{LLVPVï}9(V]`$) zdָ)V-5g=PBB!Ӵ|{:eT&Ƕ{Z#RbRPkAS[I$K6te-̩߃ #* Ip% n%"L v͔vmeՀI4c\pqox\Hqc .:J` 'pW"s!4 hmC i3﬇7{%-kT9YnncK~ 5~5u)> c]$du`t@VAw4^B_\߆l'T'̾N`k1)41I%8s<Q9\rIrKo8;etK>o0{MlNE}MC_Cf7ߥBf);XtK&Awa`xH+N;~*anm < Y!'bG0O&.1&w7BauT{UE4CO0t5/,6"Ե&\ Gr#\ůEihϞyC"Hܫa?I7;:kw];Gw-9]ȏ(caJ~9./<GV}))=pm=SJ|Dې C{.9u( zyLڗ@-'L&6cfoFWt?D/J:F)rDPS]d+Ի }SQz'H-CI!s, tbs?̼| AɉncibEcS*b88)E{](~gS!+]UlAo N#21 5 qJ8,~f,LX]9Ю܎li:ljt hɈ]l{~@Ãzi -D@> 8bmCu>Zo0Zrd~,N}U%Rk_,7x<1C5|U~?P{5,"*с&Q:]I,^0յHx/\v3H_֤/SzI}4uj}php(= 5, ܷ)͙ئ Gǡ3>&u'vdPؖN8^g&ff=IĜ$ LBQRytD g~ mIqFg%V2^D;R픍6g4 yѓ>fGN "1U= [@>ܹ*V)gY^W0lD0 !U1]j[)LWZD\Q$UM鷋31~#Ttץߝ%!oU|UM[W)60mdAbb<2gvjn΂y}JW8c{'fQiЕ=mFLJ:J9UnQ \#ͰbܤQϸϱ1x Gܖh)z:56ՐtJU4<"Q]z{[c1$>101-uwg<]At̼BÛeB$AM1G I !9C$LjCѳ񮥷#GO8f겞:wnCRa1 V[@Tf51>頵%R4_4t6]\<(YiRXC0f,GuUk쉻;eC{:2ԙzq&h<$ti Ŋes%I&G*4# c^Yk27VRr$[+UiSch>@EU/"J~ D؆c+?/J0Gva+PBu_QFfoW~s*Җ)y BԵm2h~@n|E^}֫l#]7RM L+_rٱx9(YeT;ٍdj |Y3kQ~>> _8rahy!: m^ pW\|\vG)vf@DXf/ wH7d@bv;U%CUbnqXE7pT- UsuH%R1X[$"2c5SL,qX8=?c{GyuTQjq l}oKnY1w*P ]Ϟ6qh1wx ,vx{e}-Xр Em8Z&-En‰g4p{[).#8$Xq¥؈o?^l\ûl"x:fĵa.&h 0g_N B҂Og$4v \`gԺ2b- > +a;wf۞hQ_"wXGVr}800h|\0A 9TM Ȁԩ~Jq VpUxUHK @L]bt٠C{}HGLIwRZhRu5~m5nj;q?^,Chr\3 knP7R$Lya݊/l0WпtlCvr= R\̣4TѮ)%"b}CՎ7 |=?Z + . #Js:F/SȄ1C6G9[W:$\N7 ggoЙ f5C|JyP@ 䋄CN1D\ڈIPg<ƓКx}vNgbgoqSx{1;a6 z7ҽQ |/>p,ҋ0{:- כ-}tCiѻOO  Iڡ+Eu;IAJ=H/=o OXkV~b۟ЙBYW"sΔP.  _+ ucui$)14^ʏ v3j|,KakHiNJٔjf}^2TxpF8Τe  ':UHe^@EQ/vw/qiZWj\͒cRX/w+6gj'c40_f>[0&Y =;O k Dj?E[Bf*4Vk9qkL͛K:oN?U^.MiiIYկ]ѡ(I.7Yi|L:_~aƱUk~|{Bt7zP4o2q3$(U D}V=xSZL`MCA'mo]뢞G V"l_UnӤrAJ*!8̘I jy )Ǘ@t܉d佸ax!d rC%p]B=#4L<1F [=ڬf7ףQ0"􉳂Y =^nچ+Gg=u7VHD8.VEiAD\3b0j!@QM&ɏRx8l>Pm1Oݐ^R,)`]Oq5jf"6 F,#.x*QwUk80az5q"tdE'O񍣚KB'?NhæLoŔGN,{|`KNrd EO͊K@w8zby![h n"YɈC\O;/74B9*,ݲeیl4],=Y.-">6= cz&y4:Z\1 NszWyl2_{5g]bp6:ͭ0+ Oؔo??gyixtMrtKh Ksy3 v ݲRRE` #ˢb{ԕZO{Dӛ1;K WѸ1ɋ 9׃wu)Ԏ3cM%<%o5: ʍ'eStuB7@0tK%܅HBCj{V^RH3Ct=v׆B݉QAWt | o>F`V垮n%ׁ}HdEX: z /Nn[sO ]w\6&TRcH78"]~ o=Q&:UK52OS" P6살 =<;M^ qGBQ1zbH-#i*UޟoRn%-FYg*L: <8"?c%Yb [98׎mV1G.qЃ}EBOH3Ĝ\ b~0˥J%s]F{"Iq,9Bwz bKe\zQJ#'4@ iCSyk#8o' Q\G۪]]u9ɓfmTFyzR,L5k`ِzҀL3Ij kJjZTx`] anGuJSX}T1m$`IE6g&YErvƢoh>/OqJ˲%g~Fd yo}GQUćz2O8y-.s~oΥol Crxƽ酺&iR>uݼbB_ؕ-t:ID5L6YWF,t\cY XDQ˒:!R%~c,X{bl*նX5\T".8zajJDž sZwBo_++od1y?Q$עg{]޿ٺtw py'PZ|Z ~#{)Ԍ !.I;eC A:I8G7EXLL{vMXn@rmA( ߾{1vUŸIr|qU`pjk'T Q{3r2>a= k롚CċB_<(U rKP)X󌻒M a A< z}GsrXFN~ >߁ܫg,B0`ɇb ׋^Z1cz?XQT}I}!𚱐2p( U6|Z9/$:F3K4\|WE!UT450v(v2Xz+J 7ҡYGɅo}dcͰ03|oz[`f5?9>9!!RkerYr9UrrW>f |,t8fݛC+ı0FQO"_ƬRDpY?PmpMG?f ZJF9q01|Vfn1a*~b+ɾsz6U8$ ԩh\ӳ_ѠXOxA,<} tpK--wt#8V_eQ7 0rm@boB9IuRaj:s)$vjevmvm`$4päYVJcJvIsш ܰ ?2@k$Q~ܜ5-qdZE yę.}<%<~_Ja&.(=~֍+_ůCx9|mqd`q(!*2 V> %:yF涳~ P8zm>q#?2v)SnEQ(pyxΣw{r@)|39$ b\/9v]Jd&uhCd~p , L7Һh#;#6¶&&!Nd+_ф~ʍT3H1K=ȉgN-EyQtahPdǣC3\|P>k.N2'ϯ562\.k-'^@P.>0|Ѹ2'2Ucn -@tZ嵕OkY#o/QABji1%m%Ue}_t#X̯ a펕'4T)u|/vtYlM{'ւVo[vuIhAI;e.Lel~tH!-`LRYڊ3vHp=PSTۈͣbeBR_ e>-T*Izixam49gn<{~n7O k:L 9@oAbݒ\)zG=%]V:?m8o;60j(@Ak`l[{+왙x?LH7(%W uƄ-Ѭh-]{a=ֵl,7?j'B؊} fNLeg:l3s "DM|5|l9˿dA]0u*Ŧ֋agT4EZ.>Ff$N Z&K3R^.Z]!v)P ֢8C-K4ʻl3>k0i9AP=8Q8#}M:6{1^eJ,} Z2_<`;x,1Ԡ*ЁZs$\ B߰̚A*.eF)OG s3LgA6m.b@ CcC>RV[Ng3W!X*blQ^jbsD VPSTfwـ{I>;nLQ w>h9!t}$5h`EKf~Q"kp/-sH6{1á.-0ZP̂-sŢL j5k k)~>XeM2_w5v8Kh66yWd:nS?$ecጬi{I߇ިn-ND2&5EWݣ zCu~AFah2ofm$ۅaKMV0+RS,ůk%Y,X4D#hD&T"ye7 p}k\>3N<1 ӳƘmƽw!w S "%6"P!+F,K;.s$E$A;婿9DQɞ~O_Hߧ "߭fo]՝/^R*ghh5&8;A6#CD< pp~ 9# 3 #3\22nJ◽:,o]n`?.ja"}[˭Նvt咈uk|b5ge%9Ly&)59Dv)O1*/c͉[m Gb$^ n!|Ѹ .21E_dpn&.R+-b%'.` QM֊hܱK7M#n7_ l7 b?Y?.mGI`}isX.F)&vjs 2?1ގ1306GRqUƿ ’GsUV B1M?:J#AvnҸz!c&~J^?\g7 MLK B0 ݆]c<6S *=`ȌG0#N+.ԑ |0cA`YA{<>BUٌqP?{V '0^%v8W069Ω/ +f|*7pޱm12a4yg;Ue!D<Ņ ^ ],L 덊ӊ, P;YnCjNHi+r*N"| &: +чFQd/h3>NʥXҴK}x!!qK0 7l3K5id^-M9 ?fwT3Y|V%I` tU#e!\j73"/䡴dm:= [Z 1$+":$^n7eiyu1qp{Qv {=Z.kUb?1O5녙t=,0EwO#|68ꂤ(l!FV}E9ҥg}Q}VJpd<{Dn 0uat|4H[P9?p/VLۇPjo:bB1Ja4-[,c [%S.[ѫj~^3J:_HX%0 mg8B &+evd=ȉdFb<S7% 0TI" :ikl,[QqGlTXzA2:`^9)dT:'?zT"TDȼNpk†2C约=NƆ3H'OdN v*P =Zvo@K\\ q!;!I˯F(336xȦZb ?Ҽs,pI(cJ5jbG&]8"<>FHZt)s0ږILCNc9Yc5xwi\Bw=[ ևS:<{M ,2Z?p ֛I4)0ىka͝!f5YG[?:D`4 LE½UبFD+WPƯc*Nr$"~ d t$u`C*H !:gQ- ʚB4Ef]-İn^yL 6ihJj0/v-A.mΗ5XUj5E t4e\hX/3I綀'v\d'.*2jy"v޶>^"n"E ?oۭMN goA.9R:$\p""8$ [`]N?WO3-- C)-'چCs<1VinW)lȴz6ʕ/- kEpe7}7-U6ak.y0t|"T SvDzJHIU9ˊ.. rհ*Tt-ićScU+>qs!{~ ]R3*̈́+:Ėd @4QBիq ;piw8OZVVX$ ivV╱gEU2>(]"x0+ʽR$Vv5ܪ4`jzC UB] q upmƗ:٫huV+E%8n6*j|{$;no1g("Ӵ0<~\+zap1w2n!¿z!p]7pi}hB%.L#a#`zb, [:B5؞'2??>…'FL0K : !ݠBpBq4k'^h!!U9 d8IP#Y0Fqю+vHpgyCNzrvwsXk B )Bu(6g ~ W㨹g,xh`rRGP⨯/FB(-%q~<+-DCr5O.ɻ< /+ ↹$Z,+ÜQNA)"~ ᇕ:C#% Q}oS)Vt ?e.;Q/=꾍U[iYDC(pH ̎X4;6- lҵtY2/AAYn)#.ߒ>2F𡥪6xF^ɀJWOYJLy.#NS@Ȫ6#}'v9 2oLmV9 ">ql;ȘF `}&B0&ߛ4QBKZVAil֩촸f XZЕUalby"UPJ_ڛ] ^`aBB;ȎxoaAx Kdb}QCw,]`A;aZJs݌=jx\f(ͯs y'Tƒ%F]{ʟ{䯓 ?smr\kDyTNbD*0ePU$'BP0<:)ǯۢ{TC@J"sHҙeҹҌUܦ4FafxIJ]lf7;z`/ۉ+YTuE֡e8K+_\zB\#p|hXӿ xJ x-9ŋܫl\v2`;#~6LWU8Tw7sGU#8ZU }D, lz'<'sٸc!.LkWP;휿4sJ'C'_ozG2+c]HN£]J6} G=s]sϣf BU#]\yS2=asy>~G6aa)řА-I W%$8Fr1F=Qm6Ck.4v-.?hFoUU^p\Tʥr$.9yY*9~~Š^ǵkzf4Dil?esgeѝIf.ozC:'X\R`ثƴf#l U.Hp'm7]NMxJ 6-!os1ŎɯdE)A`Z7,4agmd-B>uҳ%,!|p)YRo,%\S8;*-{)v>^bh- ᮌE垰X6"N>Ѡ FCQM Z6v$V4 jE?,>S^/7AV& 2zs&p6jB{uʇF~_hnZޯrCe!Q3kIyNt2  ֊iXT>xOu &gDTy5|ê +:|-|Q(&ƯE03,Jmy{`b;z~20ʟg 3..Q4(d;rSYSGۏڱ+6A}kJsx*A$P9ND$0G$…>VKDZ{S|#L80?ͷT'eX2 )CtS,o|&o G3un= ۬p%;zg!j%[uL>w(/InF d䛑sK_5w*]KEF`#V@$D7m7kR)Ό!̫,)0~/آ<Y'>'GwEI+m:̓ȦurIGnS[GzjXMf42?U̇ `H Sަr \W$mw&;=ŃTِt'}P}&_3y>^Q h$!wh:yxl]K٨K<L[W~>lo;E"!ja.u\/_ -#ߐ .~比&d(~<ٶ7MվZon[;) 1*) J8:WJpҁ^4a!dW]BWްՄWnqW_J/&5O^UlB[uŤ!y8J e]& ?a-%?#AY{8@eKuyodo@C׵βK,2>&ܚ!PoDt[/5rnLi 3ؑbLƢeگ&TMq:W1v$e+"/ǾI~'O< <$FX͗_Gkټȣy^Bְ 4/5 Gggݏ+qRd]›.^W/-&YN+.1V 8uFQPͻf]ߍT_#IL,zWϓdÉI "N໕Zg$ " X:qRz6G0:*AJ+!PߍcWȕ^RXoxP 0$#ؘt:)4rkjcuE9ȀVǥoEFv7n"v"\},eQ**h vPGL(K q5$ȩ7rg'[ P"Z aE`oWM@$r˃+7liM_2=UÜTax8-k]P9kgE>7l´ Yt_9ǻ@47lS[g:L}`1{ IE,zM7KC}ھ? ?6HLfNTへ턜ś =-=E))s`⢩*z. v5l&= jƲGf6b)2.1Um|\T\黲3pe9^K<jDxq{cˋ"+QWN*!}X7rp/t!Lxc(^}ڹ畽䵩$5[!?=I,o?㑩9(S> -@%{6H lf x1P7†D@h9 7?"`*3j`c2 K?te*{/AECD7y&hǮEVES t:.(0Ϸ6$kO.⤥}PUQrǠFI'eE`epIV~I Mˮg/ G'5!#G@bQ oo2'ҷE3{8:L{ :w'0KsbYBj*4D$'Kp$ o>U&qZ[04ccI #mwITb9“oupP\aĕT>=JK܈*ܞ`f8[rs{(JAX_QJ ,S|3Tu|<_j[LWp!}K԰i-.5E$[56WwkNjKoya嘗CBep-K?Q.UP=??? LG\E64wWp`mC]޴k0?.@H-cɛcLqoeP{bb\QnwJ.twdC耯G~K c?$jOԲCI|ЅVv]m:XSZb&hhFyQ5r(%d5~h_|B!Yoʉ(,:DI#9zuS絞Y=MJaq,*'elX-@)nQ@bҩ@~y=&}Z2bZTMNjHwM[9P}gLuw7ꚰLa4taog⏏k+g[=J *>jX}}Dcx^K'b0T TP%;Pa<;-H7FW8P! ;kZhǐm9k=H8BoRp2'-ם tx mYL.rȪMXh)9o +|}n4ɞ>i Ż eSlaav"j^+8W(U]Мe3 SgZ)jZ1q8VT# 5Ή-6/6Fj $_MzR-F7.o /"t` nRO)vw{o:m aARIaQ&4 2q9W{fӍ^=mWˋ'1p JV"x'T%jOHX"fRR;55^KjL){{GE5FeK2KKgIDv@E!ML;mkk&0tޜ։IxOhk{>~>cH#RrqrG4G7pzҠҐlZL"B {4g["]0!nW;0H8#:e %9ZfvfC: H9W$/WwA1K⽧2- U'[M:}nԣ%'@/K@ OH( `<@)s?hLyb7"8&r*!N4or-f *[ylD572!HPt# (*bMjBB9齴tK*}>LGz3D>yƙX>y[*Z [` bҩ=D~KR0 P?^:#$:>( 5H\ 13enѢV{Y2-2vmx_]wr?,YzjFSh0aaűE=ݟ6Ql rv~3F7SЭlFXWg5bW6ZGhA;ȕ ;~yG16[6~X}Q+PL܌jқL+&e3NK PSW6K=C sj\VLjM UѪ3ELY}[.4HߛtbD'2Ewg^2ʎug,Iۗiu$s <ԗurbAz{R 5bFNN d;)Y^G"X[D(=8ԝ,7>?_=qئ;)?md Jd@y!y~yc]t0ᇓ AA3:ʟv$4)W_BZ&ziةijSB9+^S8J 8sSiM\n;65?,"FdN=q*T:IJ7=qZSYҺ6*A~mӑ3epi5EYC5LѢt[ܘcdfaAM%l4qbPƑHDX%Jâhe0,oŶ:=@k91HT u0.2`_}Bg7]+Q='G64Ȟ:[ۄ :+83~ze!3l#NgfskH T}Yb12An/h]h vc#4J[ر\ jdN-E皛aknDň_Xe_ V9\K81rls׾V%˔_Fy.ug*?AJfL]ӨPOg%xs 'T~COX곛e@z;+"-,dR-Y5V@By1/-X&Gvi!_Pe[tJTC55EYq:#0F#f׷w*,ڮ79kn'h ?CnxNhzCtN1ch0`ul9vsJm_1 0 ! iV|&z[OL/P=4[-VGcB_5ٸ0l[=O12 Lv@B%%I9V%x gK4J!!tۂl#oӾA;"#2~(MM>e%:Gs6QՇrϦ#o74HCMSZ \܎O0iMKYU}q Œ̮ {p>j{.!"t]LDkR83~[49/avS}wOO\щYnjy&^ߡi nAS+>R;Αh+R?> uL2(,)vlg)f#_]aٟx9ORL5ƚR 'ilW_dRy$gpWA\TT3?>YChO9߀w|sCRYj#IBW22/:q|P 1T_e5Հ TH@Ó4V>b[ bPXBV6&Pw ͠èXܝ鳤K$Ȭ H:a!?v9'mmu_2$UF*-ӆ[9_߹Xhko瘚XIThOv`C:M^T̸*2ҽu=1*54ZC?dTa;W-ĿڗuOL#A#JSa7f^۞M8CN?Sxqt&+ vl z2[g~LSp4~/Wrܵql \CՇb<]uJ7}^?'ҳ "qmndE H5 B<ܕ{qǪۀb $30|F(hJYMy/ؼPIxV-=AU.!,ክ0 e$unhl8b#x}οaczzC=u 7Ä R\5AQ'6s1z'??ʰJxY%E ^B -Yd{*/<5Ja ."f /3UI"9WWOiB!J%_`W=;γ<[kZSIp 0ĤU&$%SwM="B@Iԟl Qhvc]~1n1j^wQ%8>A4RۙZZ R;֣ь /ʖ 偡35_n0z !.SkudǙ(mJv1&u\FP8x[SV 8gk⚠\NJ(ºmaǒ坊>,nTD(}[>ٵ!;:mcO(4&(i+#e"N0ؐ©`6s*Cf&2@@iy/N36&_K= 9\\ahF {$XҐp u*vHGe]y ,(J& KX+tr}Q'g$j n D4JkL\_@z_̼MeIE;Kq:[vk٠PZMgD8M;_XB(\6򊋖[&6 B X螪wxj)2bj}uuT炙F!#ً$DH9͇-.oX^ db#QvU$`̰{ XY<iq±}XM&ީ#%tXȠx_qe"j/XߗMdVdNRgwè=î58Zu 넖w%5l2JCcP~Ɣȭ*5nZ6*PYYHmy>l\?i*>N$sW[zQ .eb$H7^]+Abgw<"q^u$xD\h9 ) c!6j`1_5Bc#[6|l 8eA-`:KVIm5y įfRE#[h퇷 \060͜:ʒzjH 6b?|u O=mu_$VhQ5VFoě@?G kt7[16ҧe5?Ilkѧ'g! b a~+41k05;HҴc!V R/ 8M<THA cƔhN!Ga&؁mY߂4۷OlT9-}yC  & qj7z}|V\lx# B>^O GM)HX0&ZY~x3Nf;r>2=OaR E(w"{ł8AՙE nu+Psl~:J bk lyZS}!;^4#u2&+1bߵGPSTy7k:QE\b[n%Q  4#|OhAY 4LnQҢP/&cGE$@YU3SUcN*㏺%g( H]W B{'$bGs:cM6/bI[)v*׽nAdiB!WtԮp:1xSsbX+ brZeUkRPjm5vOˎ2^h|xIc)X`E.Wꇪwj4,4ҝخ+Z *k8;~E# Yz]ϣMIUuS?NA-tv&_:kEzH>^_ @A:(g0E7Xy X Y~{pCI.Dr۴ժlg\,o _{ݛ HآHsmNrڏ ]w SchFR4akEJϘnąd,} /[Dn#{q%..IFɿ˵pИLMa83<O+ n]MSrlya^3a$w%)>1 9OjTjך3\!~l{׷:}~b/ڠ|OnfX%=>naGMxک2"A> S3=eTyl [FQ2yt`eZ۵8yJ*גq#F˗f$Ϙ"8\5%<!H0qn#Q,Vl$ UGOYHV$OUEDO5ӈ\UbQǢ #ٹ\k2=½Mj0 ~&|fq 4r ƍvD,X'JZP`wZ9Q[܁HS{ ykV.~5v_s`$ X&$j ܏GU ɊzUP'ʘ<{` 3̔-}tl@˺g _! (*m$M(_E#e1k`F0ZR Ik^uݚ(6.D#}=a2f$>Z9E].HYvl p#yX|ky{!ؾOgpr/:#"hB jM`aNjhu; a:`C, X//-^qh0- |eO"ԓIX 氽WX[M:8ωgK0%wXu[nC MgF [oFČ|D҃j$Mua[ߧ56Vd L5h̠ H~?CLc!Xku8CNύ9c97InkSJ"-^0IY|/m}IF9',@BRh^(_6Ũ?i:4{{'ĕx{}ȾV6k :՞ŦͦӥA&&zpކ؊xq@ vW}2sT~l>VQG2{+=2/i:oUQ~Zxa%.K',Y[zۉ`솠͹:^< pb|uS>[P᦯'r`VۢnbPq)6%b8 wTDoyDj^[qWmWKgl1*pcXMw]bP5_ K/xI=M_ijAH܄8Rff&Qa N7sSWh6w3#i֘gX-ɽ"qhKB9ö!~J(%?Bhʠ:Ƕ*F:]T5>P-תP|v$k͈VXe%ZUXxez6.]&&Tp-Fofܷp mD3ن L 2QZ6vu~XY}@%Np␮ #=%R&n:t8l9",r.tm6#%tl"O[r9/;sA*d¿M!6Rw2(}d܌S]tknqj?/Gg kcDaGҷ1@qDבpZw `o,@lZg|', ΋Β!}㙓E)GZhT 2"a\U)}@)䀏4|Dc?vf=h2Z`rɠ@*It^C=xhd$&M -pߣRPKԃ`Ƹ HmsSY?˺kI ?ڝQgn:˙YXڀgzKb JP^McjPV: ,@ K>]c ]bG4ةl)fsJgYZa5b66cc8567318df438c41b7874676ba470349af8bf312bdadee5daf8facd55eb1fd3c8949cfba8bcff84e43c83452badbae18c68935bb9718a824c5