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  ' '!-D 4 ]S MonoidalCategory:threads=2elapsed=939.513cpu=1638.404gc=84.700factor=1.747zXZִF! EX]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C[/⼈6Wv~Y0T1I9đLalE (>@HOɝzJkHoOaҞ[-VʹYisF(yH2A$t8܆ad$*Bo 9Ԑ@ӳz؃l `GۮѰ ue?zALnE]VxB'[BԜ`Gcb ~5XfȷʞTRIk܏Y07ZF)Թb,C_-.L&sWS\w%O:v jZ@,`B=y"2v Ys\<""! e3ЀZ^9vxZ~֐&.ˎV%b T pZ ?TiYo[N80u:ʍeڧ!KXXԝn%O?C2oʗ 9P-N$ͮUKjG{cɒ ROgQ;:k'GxQxZu{)Ws ߩ4ʹ't_LbVE] wU̻v$9tQ=c~ \;T8n'a==J[?] m=z^(?wIAE ZK gSB _ʲ̃˧Gh|bAF8|4k]."=O0*d7ܜrpt**e )>Qb\aaْT/ȳ |63̝th.Q4QK_'T+\`Vw9^6R.a`1ݔ w: {AD3ܛ&1߹NQsyCxumo'+gv+e E*2:7e5WwFQ _V/#?#(Q1c6k"m/]!utmBafs}!P3aq`*/#֯ReC83i0E0\6'Csz75uaa EʗfD:iM,ѵ yߙ稸hMD88W5,\A -NwhEtTpBl85r*eu}(WHUu΁F$ 3 8d4ˈ=>_6;w# dqC dAe6ŒvI nWW1IU'˅Sw RM5+:X_D#+%C#r!p>7?+1o[Īwo"XdJE7\ !^9'b7b^+Y}hlmWKByEܨZ^hx, h/%s8RdS6eC#>ԁSwoo֐}B;MޗR<98J(w3> {s Z}9޲ѬrnD&={t^Vn@ťN^CYDKKd&;w'5PHwYE0_u[uY=Tm<(uٟl;1OpnURǭ53{թnb v+7 fٕ;iokWP ~~#ƈ15r8jzh-LxTNׅ^u.-^; $GN∮@m,nLA@m #l a{>1u=Tc3|񻵬&b{N5=MOwDxF2 : kfq N9[G@4ߥȧ]s[i3i.t 56ZNjU~5εD : WPc ڒRWFvY?N.;){KW[㔨LL7L2z SaNؙl&={ C@/ƴ_iV ;vTDEgg^xtOY`+=QSk%0q'ᷚ{0`?˩K;6^5 -AI ]WVi ʵ/9rL_ @2VmV_w*Wg^k="WFӡ n5 :RmGASO giӐDR_x|(B?pQy2P@h~zL8S:6Ntlxv|g~SDQ C:hKGf1"^+"^ ְr琗%ul-2D,Tgı(/$W7z?x'9+.djՎo*MI{7v_c@oz)F _ڔ[2PAJf!E1.<$ dq10nJN\r$NqXEIR4ո0suH]MW'[[O^[w&}ydH$՟N7D3%m|/~gY? 0XN:e{RBy$c%.ȈމЮJ]D!̂:ZXX F疞r' QmL =f:Fx3,Vqkt$<,"LRjt^'c)`tWFREzcmQ{0"Qa2!| 7l$ ~9SPW 0Yn>xZtJ Lb30ZJ^)@t0uQ NHɌˈ4<=gNs;S3`"QiYI`ܤȆuv_Xal޶_D`8-,zp(m3Se|7$U i*$Dž;JRfrv{;ܬZ_s6]K"yDؤ6B2o$Cɹ̨;X.}YK5\fs,-,H#IBk'!ax׬_&s}t(Yi 9r~tW2P>EPꈭ|a8KSFTp/++`P]PEI^=I_nD&׭vllYYxeF@hwZrvJ[SL.&eM1R4zllts-Ps%n*V/LIń̈,UޫH-82r C?.GCI>Fޘ~~B~bR &1hQh7@#3 /Z|o)܍ań2RlU;hJ^xh-'j׆Xa*&Rq:Uw] P:]PX5TziqfQ:2fKkFt ޝg;U} $i8*z5}DFp0mw3^2<7wqp7@DdJ_`w~M^u *8f6p S&0nrA3 aw!:m& Ab9"Rdf@]|a"+Ry.cK$'t!ml.  G`b#wnۻ[VXL PiTa2w8 O<k[cPF.~džL=KUQd ˆ)3D Љ[iClRL~oꐳЯM>A֍ng!N>xF SǕN*`H -[14R.~,ZslxSrL}~gۣmi,@l؈ y9Z%gi:Bw&,>]xE,1 jڼE/DNrhd5/E&4oF&KpA:e}m$ qhȶs&9{fxlSv`E4̿O;mmRnC.+ k$@Z»E^Dh6'^P=wMo >!auVuL\_1es\1 F(6-s4ƕ#?g7<1m6n1?M@2 ")#;t8[آtX`XG$}ڽ[-@hyrLDi1COZhjn:ptvmkdn-NlBT{R>[?5ϰ3Px#Jk 鷮mB;j,qIe[@#FlnbeުeTJeps=R3S}Ayvx*O*~(h༻&Vh^2rnI:ʪ/WzB$PȩC-gچ Y05{Гr 4lRNÛE8 |Y AKY|K!kY)ˢNLOYm w=R ˰Tr~77԰*ϣ EqRb$9d<6RQ;evb^1wv7m'*HSrHd涷<ʚ8ny~*#^2?:#BПۄMFfwLN> \mE12i y}ޡf.;۸m fHSΊ.ztpnbߒjj%=¦11=h4EG XD7lY^$c]Kɂ{:F3WwB^LKlƍs ߪV֖WRw3M3[oFaדN@^Çd憪:R>[31>]]P|}e5iSKx+p;~ >Ov *9?B.l&C$;NruS#KAH82zu6Q8!i쐡7N?ִ>ds%\b-يB7gYZ7zXZִF!  ]ŗXiɟ.6VPKDM=Ƕ?:H2F f4CP~/t$^D8$bzv,~dFq-iIn/dU*QEupL lV%܆ NK3>gYZ7zXZִF! Ĭ]ŗXi%;2 0ZiTW8~M?27055G$DE@oMLWfA?cIdܫ~6piqH{\G4[#J,PFG# g:EcC0W%\j00{mfV=o/̓L/4˗0SK8zV, \`N4D~ ]0d?D]F!H hÝ@mj1.AYc CǢz,^U1ta-mH`"Gv~xe d(P  :5)R/ X&%RqDh2_%tH&m^^EysHI.i&籄z`7jMŅcTCН"_wgGo +-®~þUc$v1Vr ڧ,*آsIΉ -ic ؟ׯH'`\íwxg6Q.)2q?uI;MȆH b #$W9]gɴG&3)a)u OWEնr0c( #c Ű>uǎ6PD<+tmEe: @aS]#ZXjkka+/ϛAL;ā&U.Y@ŝWo] 윻 & eUn,Qi"˂8E7d-Q޷k=Xs5m]+s[ծ|"偘 j'F \J4mL`4_ $v˿l7zc5A#c]dǙ3˾*MXcųȃ?wܷFZi4 =SI\wMn]ucf긏kHڹ>b_I,3P$v3}ds>EbK}?}?<G ёWqHeA#Z"a8(+[baw@.p$i !FKsrT{EJ 3#5_ac |JS(u?QQ{f 2+ Gf:k!YTJ\濈7T$;ZQ֭]x : bV7l(a!.ZeyH׃7g ۤ (\H ra|5MFd{Mק5ll:pæ ,1W2Q`2%!^܈'Sb 'cJSF^Ds1D=d-0+o.*buk>0 cj!k(q:ge@}rCƲBxEeyCi589**C>i)-'Z?JȮ.l}Ϸ MOA,1sΩ#}RP_{X-21_8ƓaV#٣ nVG9q E.a} NʨZ\0$7+{4ȶAMK|u[J8Oxx <棺Q㱟EE ^pU PETf3PCƹU~oat窑):M1aE$?up?*$AP݊ymYW5Ii:/}A cX{MyWpJKj'<&/tzZV] 8v78e&"H% :KƱi;*h}^52l(0iU,0_[=`@vRnei,2{EDuGd<ºROGQwDWO^G..`줵.q/gaN3`и+g,dVπs=q=@k S. bFy4ŦL^:Nlw>KhCOqLf+Q<1 LGϝg:0 Mesm!Yg*-?Gq AqÏ(5-,~&Gu%H5qG SL9y |ŽW,y/ E*.nTΫj*sHZ!ʾ5j)V6$_(vd'bޭeÓwJEz"<\@q{Vp 2|2|؎Pf$I""'lf1s0QG@։4YDڞ9wIUb0yuQ;mCמy's׸%#Ɲh6g'򩩣5L=A<'RLL H,mm}L)^<3iOW{[@ o~K A2R-sN c%3a.<@3ox K FLECdx}5xIV}2h.]ʍMj5Zw'{ٰQvn>⋁Ɨ%+f6`E~py'm!}fi EtRlbf i̎^.sڰQ`nxcίAT\+0WNf 2&Q[3G 0kyA)=ƶFlr시Bܵz:i*AR>)jJ:4b{#04Q[3m&~R-"w~ *ǒ O@X!zl Zb.Iw1yǶDJ/041Lj-ciięA8zĤ ocfs8TSB#k\`1g-E0&}`_^܍X 9֛>hgn m遮ywFl㱊ȶGE:`zT Z)r)Ŭr68NӔS;ׅňy>. swڊdLڮ5cE_]n"ܙx,.U巛!CA 4#^oQM+Y%q,6QZOBC$t J19!ѻpR"ҵ  !D/(HI <&ӛu0MZQO2Ш:Ⱥwg3eR8Ч_Z,{5]C] .?`s.0qA/:lٔvYǵTmzvfdS,Mh;xZ/{~H<ޮƱ\%)&yz~&rEd6g5ůL|[ %:j8WՈd~ 04S⠏1Y< қ.5F GX,{JFQPRʮXz4mqp:%t ΜaAB(KTJcU$}2Z٢Fޗ$fB/Д]-3D~8Cʩ3=8*LGR;giTs'%ԳRhܞd B=d^%F%s> 8^kCؘFne" ih. bbgEʓ2sg~NH̔Rѳ'QtF?kudijX$8z`A%q3g]r'O,B+?ϓ? p*ݨ(6Y/}6%yFmٮSN#֋,0wܥG@..:cIY?CH%Z:Y=&'߸Lz_^f0|~Sk'LOkXABHHDc+vYk4ߨ rL+=À['WbVvꘐ=Bv4 sI \a|/p>ymlC-EI>.Ϭ]IdF{@.Ephȸ^%u<7:55H?S߾G ޻Iau*칡r[8'7"x ?-*pjl.}6W+$W<4]QgS@?l. p\7&.=L34ȗ03&fi.!9<KquwLmDj2j+q )@"|k94❋Kgʚ&2\˱\$ѩTzgU"Dg01j:`&&e`k6fYTz_b1]hߒMI@sq~)D&OQ .pt8q*v9ښЄzt,~2gzSVLpSTdU#LJuC8 6!bK- [%BHaʈs I7e#tu\{pNG58\~Z֢SKݽӬfRL#o"gq5D KFN.b!C$F7&G,Ü_ȸ1q\9ȄttMakϥD#9/Zئ_uwBT퇙IchXfܖ,)Oxu-h]xBm$>YC.HNҚb[z`_}fQp: E\l_,ńތS6vP`j%^tO. @\ Mdǒ',A[,ҢCm{hsbf!v!Ubfy?zzVdD?@NWͷ BxnV]-{-oԘNPŗq*R=MaZ|49.XqfI\7hv'NR~㟃gD1~1GPT au k!>K h:*q"*K"'tjXưI8ˋWv qI78GQxS3h@d*,=wn쵫M:IO/a1xj5a.9ϝ;g@O0ʐ\4sE^ #]- ,E/ r߯z/'э(a*!1ܶ06/k:d^/tHz!@i5,M*+Wpa;(!Tgɮ;[W!&' ٽQUԆ<ˤCmIn}td8Ƨd}𚢫(}=H!SxAʦ;՜Z(m݄bLKr'9cn0ނ#||'k5%B[Uo5JcmIKјMEY!+q4)ki1HJEtg/h%HݡFlԭ~߬.1][Hm.񯃵 -8)dnA.c+Ƞ}ɤ9,Q)UPXqucʄ7;TQ |)Kӟ-/b!P*->]DuBK06ҧo8cN\qj=A8BW"&SX;- tWoDժP%Q0?p&s&D^2 nݟ{@|Aaa{Ŗ V0*)k|)j'8I2eLc~]I2 3K#f{>kkml3z8k9mq8(;erkmkjT?@@ѧ8܍ YN&v&m ;s/ X,ICצIqt,v~7%ݜSOCyhf4\ u5c5a߉/jZЭrxM(g0טJt˨+/Ұ/e_2!iGl5zB/U"1BMO$N-҇$$օ7a+M ;W> Ϡ9z.w0AGki {m*h> F> 匥+xed{"-^G͠)DffCq9'9Wf#L"hc2^Nێ{/ϴ~*24 h~Y+渰Ov:l?|RK)+%efլxiֆGQ֕!x?UՆʞ7|)U4G=֕=Y;G&ՈFզ4Q*\'mBmZE}&j0HbVXh > a F}5O^}s*X π3mRR(Fp8XbQ{̑#';Zhdԣ_1 ؒDikb)l#j]O \sƫ].uLbfɬ孭"@ ]0Y'yЈxG/d5 GB=`)Φwhn<.}@C rIP^CE_Th)mג¾#Lbxf0¤T>h>[cms|3bhxB#f4>(vč WlZvW{džc=ɗ읗Bo gOH5jQ j NpN}MP),LGRjqys)lǖ_CÓd -atGcȧsκPU(iŕ`1ޑbP~m)S/Ј+'η=:'~ _]EZxY >l[<<3MޛQ֧%-t,x'_B@SIlLS_9d*# o6Шfz*mĵ# k)/{Rp3Fʽ݁TdAܤs#.D%#NO!v{cJ(<~pnsthmkMk-#tcfr}7i]%Ӭ3Za>Wqyzl3 d1,-{V/Zi'&MgoU4 >S/qo#̃2d.%=Cp[toNC=[MR 9-BΤ U>|;|:xK^, OCՈ]d'VXTLr_nDǫe 2\Ia`R5UUE5sÞ\|CPx7k.]ӎBp4!|_cbC;0 d"8Yﰴ&늲|-rP tѡWGK՞a^]uN7kt$x_qJ -mg{Wެ/D>q!N!u.i|^BzCsutXf|dXy4ۂn} d I7Er`3I?@`~Hh#Q=z~&֬& 'C8K5 0A@5iP-l) {ӽ%\<ɪ;Yx+`jWdO@$ `v#"D׽}:&W|Gˁq D{J:rCb;s3.4˂5x*o_ɏF=2z{4KN\٧+iA STKsPߋh냫Y%}鎧h"Ѓ55]d؞2KșG`_r{oRdD j%1%=o䂟_ ~]A7L1* ʩd: *|WGu.Go |K׏H+XW@q:nUiƜy\ۇH._޻cx~ap] Ǝ_HhcJzO0`ĿtƤzE:@Z=TQ-HZ3'R--$TԊ?܉9<7'Ȋ6ậi5LgEd8̗h ^RИٵnä`$ b|s9;P`z`gE7`G}e`~ }mO/PN|M?=eE[Zw>Z)Je4qr/%ZXc.~CR? hW (w7\˟}_Hڹ٩bXFyܣ8CkZ7B ,=ѭ+5xDږ嶂82..15=}E9|U4VA$;.wm-~[QҎï$ə ?8nډ&TsK(KG&FזlҰVpoŸV 7%N ^ۣA/v0VɁ$ **{-SKB)2̡Mq6BZZ5fpfs2 HToRN.8ᢟTf㍽X&2/ RU2#9ĬZI] ċriۺ_ʂ)պG/2̬taPͺ=6cڴK=39-)=uvjmnqC9C6|]ڲ!Q̷8h#O 8<7\9k[UhWP}պ "~A耊;t,.0"ИM$f6wfW˟ŭ#a@EmX7mӉ=48k t=`'>};ETLIQYs zVc$NYupA81Q~G?7YƳjK=&fHwLën4\{]tӡ)S]%q0CU1%u3@hI¥qȍ#:ϩg`ǭ˸o+صН\]YVݠ|%_k"=y/Y$y=T̄9_^ ğf";FJ~l,zO}s13p-a Tdj76`( mKRn8W.x$WZfT S,s߭tZ+v} tUVؽFVt'}U׷fafdڋ9:;5'ъjNfRpƷ]Xg;׸ys)a) Ubjq,0Wf[pU^@Glf YwYJ2O~*o%RnrySفtMGQt-$w2N %![ܢB oie0#5[Se\A@iA6o5gw^˄vw H9K.~тlǖ_|A?V7`v_{9ǰCb`wY %~M\*<@A8xFb ׁ>(]z3Pxʀl*,vӃ8E7~ũñ j8_ꙑ%i*E^X=owmYfSj0}aPWZ{;T_vS(sD0B#vs@c6xDncZ=pXղ_ eRX/x]Fř%}Z8ܮm&8ߤ tE7, ɏ݋9@2r<.GZe,-3i0w]r _(%8==Dix4בs یޜedL }'?Hu(N R$(ХAG̈́#g :#V͞ Mfwz^fׇD /A5Y@!er }j!) `Rb8.,KӠ@v)%@%@2jmJAʯˉB|w&GFk^ŏ CwrɄ -e 'ٻ`Fc'(yw}2$Y͕̰rudigYpV0h8 tn;-ԩU ! /`󙂼nZJוRq_DM$;+/ zI0~!rS_)f3̻ݫMI "cVx<f v]#ą ?AD4;N.m Oyu_{ە~ F`&]JًxX)aYoJ W5/$,,> :Ѣi,P+GѻWH|NI27=β°w.I']QX%} M=#Kp'fzzjqGBX0u.̾\p,gH.gO}A}vnbGnɍ }.{tXx'I0 r3X yI"|҅X~\5;7B@YT`kpLwL,stok3zwr~kQj3Seobmi "_)#$xT_\GdjȺuT;}S#Ϭz s%(ֻ'v'`[@%y&6>i63ʸ]iVW >NI̩=p$Yo.fE!/ #0M(p\+cB:B=ljv"Cn~,axp ~!Ld9q0|Jxhjg+ E,o{3\qCE6M[dd*Voy7${h-w\-F95eK0qP_V*kX|1$N$e %m;ϏK,*y RV6p3N+=E*f;a"u"Gz ܞ68GW> >Яv3͠W0;ܴh*ٯD&k ´0JrOFrq׷Hz\ (@y;JĿYeN_d?k,#7j)£2$77`+zI褤1^SeId5E%ۛ\کNC.΁^u/7u} ۼQֿ>.`UbCeP:n%rg59ias/w풄hm]W-`NWrRQd$0J6#Wd,E_M6mх/O󞞚pN˽ 3M*_j"Dv X}'E#f(;Qx% -QiÆR,51<?$>[ :PiB(Qx__F1LN^?yODx?vu݂U?8Rϔ_ p%wQ8{x0T}cdvcXcRS~ Wv_FN2&Z۲5q"a8an:NC%\;Jق)HB1iU{uϘfU( iBJ3'd&R&63SL?q=_YB~Y_A"dKD&&BO_tӮ4G 7*F /#] K&k O/+a;%;Ǔ'|KJf( .54.'14!_r/M̀y{O /0_am&V}y(}oJtZCFY2Ԟtp[HpPj^*ޒƴ~SÐxX3Uq0}81"9"BŹ+=9D]`#6sǤD4,e _ǵ7M, "FQDڊ*lAk~5Æ/`-$& r#T\)Amx6WɥPpaf$_\#nGZ>Aw+0Zҋ oɦ/ tNR|L}ab&Avfٹ}c-V|M'+gX'H̱gl'NpYy[DBb_e̩;C9us\=evilqb-$]J~sI#D~64%oz|ʶ]TVX69T$":o1'sC+[)3ћ{I\X]Z#> aZzR"Sro@ kt)دN޶2WhbW6+zI&&w"J M/m vqCiu NW> Mg$\8 6*Ć)puv;اRAYmP aI󷂣(o k9^9n=C#\Lhvj7^`-Hm)msnhqvlo zq0KB+ձ(y1ڤ Zc^M;~+W@dM8)tY6GJa_"bjjuOg+kuלH"5ZIݠ|O*p| R:8-$#ImOfFELoɹ+ [Æ14<yS1MJ%~L+~"rdhjMO $NFj .۝ b21ppܽL(!C+>{[-Sv+|,pE\ҢO`]Y`)<[Ǭ(KSd^ T%;Ab-``=v hus,G8ƘTJ ZN΅w=IT@> fm/Cɾ]>K}IH) {NK1H;[P&xk4&Grg2og ]``l\_ZZ ,>aPS]) }xakqK@2îm<6|鮊A{.NGwOu TXPg<䦞a;D0@ \v|߳`Ouh3!4R{`v)PZY9teIi񛕅[ v3yɴ:e#4vEw74cQX"iS;fe9P#)}v3s:dѵxlɴxg%l\h|> !ʹ-#Dب'WM^eo:J8yx4+#'XH~h(~3zwz26S ףϱPHBrd^<^tux(Zƒ(4A~Z}̣qD^r. &w94kNP~Bױ΅'V- G)/+6=?[ym Պr*_?ΪPA &a+[\BhQaZw0?neku,DGΡ}$CNaC˹[E QNRDz0L`uZr %wYkx=y&-46S#vtvY,/]Js5{3%0Zb^}rW& !&,6Z.Oƶ!v@j-&9ohB*zcn{Y%~`ƪ}n҂ьYL<7ҿ=MY9òfX*[q1Dk>jH&t[@h:>_J)&G hu<3"jb+y½_9ڌC 6㄀fCmi{4&W rh{03mC$fkL:2seu3ϕN ~F[Q ܮ=Mɖ^]܈F1ƝG'dIߗ`W(xѮ{{H]&Em߃=Эh5 ?.`4QtTLxPN1GL|%^~T KN8ogүz(C@KVܸTlT,mF ,'=6Z*htoԨsq,vwLaQ)8i /tsbC;Ypj;DNC[JI|hИip t(Nuq/geDumPJqEcO]tY 2*=(WLL9ܾ Ef4!m|H;ZN۲.- uۮTxbj́1 ֭ؒ P2Dpb_Ѥ̀n?a˯\[l?LsŦ]KW z4H!<An˧C($' 2MzxFyq#sg%ʢ'-c#Ù4̄͆W a}w Ws2e!d[-fK+.nLfh:H?Tv*, V,^+q { ʸ ޳^տ~+u\SKkIoFa&AJlHg}>A/3ZoU(PoZT%N%tl3>W'^F(ݟq8ϑLߜe[zhTP1Wh 4^ $'W.dmGIFCH055 0-7Kv$p-KR,ˏC`Bx"IFlÿ2C ~s5!TklŎPLC6OGn@q0Εp&3\:xrMn &؆e,<8Lի N2XܡKJ-W1? φ~uq ~5@3:aK2S<Ej2a k23@:jd`tz%t1/CZ3vd.{m쨳Q3qik$tȐW WPӻA5<ˆ<Ǧ.$R(F0zk8W-|s TY6x=5q NSM-L[2͠YƖ/mY< wp cHk mLŊi<C.ɕ53Q}" *I`y$Vj;F QH[+=vUN4 c/Rq{+bx"d-d/:>gDpS[Gtv!\;ȢPV1]? qzDۍw($B~$7$їjOr̆̕я|Wd' =ǃ̏rSMbf |vI~,%l^:Tkyd-p+.ȌTqW2Sje^YXtأTg뢳س:||rfuK -+v yd.`V!]wmȪXaJ 'Qbb/r||Nvi;K-hNve}5nvt8zd -:EWh=Cz=q9˰!p>e"$i dy/Xǣ$aގ)ε:[@-"bV xi&%$AQL]SvJMiY1QNf;ʴLJ5(I*ME5gxni_"h3{y=ljwŝ/*?(6OO+MǍ5۳k<\E96GU*hbZd7f6$Ej*jɏe CWIu J_9C ր[Da!ΕyzHsxwƼapa6kptH`*joYϖ&ЗE\8S7)KzKȘ.dϼU@C1 bN=\y)tGWs |,8!X8mpDaDMSw[o c8 %aw+-8yQ&xMq$@yHX/ t~q!e:o9c߫j;\|yUCҲߩBHzrh?P$.G6}';w <'T'Axx]L+nucG\n!z$$yp>uys#m)REeBӰC(> !$n噆6{Sjk>KGz-bsU3Bs;ؒؑ>2G`A*ޚWߞnkմ.K_ߖDRb^nӅ|OsL`ijkKNXt*^8,[p_ uV8!l=_T'_q^d[[JPo|,''=X삱 ckaaOs3%5t=q Z"ʏƿ5=b ݅m4K{;܈UmwUE_U?_g2t^ƟN6DģX+Xв}ԈD:حx_ʟT/ y.|k[/JNu魻ap7~砷WT )ȳ @ԕxG(FǗe3ޜ𱢨VbekkR JIY&@FNt˳fk^aGT̿  cޟG#G[( h}s3E 4;֌gy_>=QЎL.oR}WWe2;b#QaiW@J}}3bȩ+ʤ@{ĭ ,g/-«z:vPk;?@eVp|s ,Lm\g,п,2kO.L%8ȗi:÷ N+,)jpcÞۋU[ Dfj ?#8L1S 9@/w]SBn)Nژ4[|OٗkR*kK>j4,q؞c5`oWJTDžL҉!1܀d RN.Hkp6Ok}ݑ%zaa'#*F>8ŒDN/ZZnnؘk*3 y!3XAߋ+?ÛDolL͵f5 f~lBI-R w#Rta#z{RҿsǃW33&sIwE叏ϰPZ8)@YpY˂Um?]Z6nԞAM :zfEe it3w'CL z)Pm|1PPGnaUYUX!1S-ax;Yh"AXg}Sdn:cl -8B3[i~#q婚liS"0&A ĕ]jz[3wURU[6A;>iމq,< 57pekD{ȏ7z6"!DO zOh5Lv }ҕc0m
CP֕jl_"OCx!K9)Uif Hc܍Lt|F(˚KCa:S5 1cq/TpAHe:X'W82}]bn p3LX40Lt3zddG,)o== =&kI`eUo7L1V;pwqݽAZ+T TW#=]pEW_CsyFfu䅄:i/HڒriJ܂j#._n~L[C`Q݃liˢb,{U9|=eph}O4h(pDT3r6Td F-;WY38M9wW3qn0sj`FE@'!SAH9^k`@+bw׍[-29(p \)eW{c5H8Q3+~`eЉ#7^N_YGm_ʥSjMJo2U<^uMLF zU]j~mZCKdc4U|v]]J#^j!T17WB6au<;j5) )SL覇㬱 Vh@NlSijc?Gt$f Ȅ0^Mu'`6Ĩ_w3F7z Ҳw^D}!:?vHt25$?}Aw9|[awVt:opH} sP8\,Qc-e   .:I* vVT807`cТǖǔUHHK o<=Nf4 Ptf>܏E]5sj'Tq&5hǎ 6 #7*\V%' >:.2}%UwI.18ǵGq;cD<4r>aAzK |RJM4^gf]Siى\EvTmjGp3>Gge;Uuj3FZ R.LB5Q~/<ն;R(gwҚϕҐCeS~g"cɶYxΨ))D+`gdDYvo$xJ=HAIs-Te~(QxQ0 +h (='0:'v%pwl},_kb`:/08Cv!6% I[aBD815zɬ;U4ࣻ0J$GJӳ3{%͑+r@DjiDQm0P8NGQ`Cմ lM҃NyҢO!h$^{*Z`+V`T\!\76J^:f^\(ێׄd⮨ncB̃r!BU-؛tr3e* $AAI4ZdNhw{JS׽;u ' 8j)c\PGlzhn\ejnc0ڤq"#4wfb4e~8kq.O:r"Y3u1 C mpX;Ͻ5" ]DLqc$g # C2i=Bn:y9{tM9ς Jr#1`r+-UMS|Ex (MJUgrvau~9_Vw G9|+"dJU%/*Sd+Вt{N!7+bmKFaɛkS!ppO1=mcc 1jJ SCx)M" j -zΝ!\hv*^.2"$ӝs 36|{SYؕp>TcɅ=5mN(bp 7SWĜ*}$e-i$ܘQSX 3(uaZxA3gi㔯GWTMu< %,ŏbVKz#{,RdբL0 Q,G;M( @Œ՝:0׺m)+Ǽ9HY nDSV$ˑ~UG5[Fnr>yF 8}ȵ~,^9dGؿrre !,QSeKvzLn^9ddC 8ƍ͗V>[?CtWψS-{f/73bƺ3Tw#f-h~ƷL@sL!0-o I#{i1 GurTRKYEhHj|һ2NS]./c6P!\ҮZ":Ǖ-xغ#_}MA.*6KHtr[ ǂ1;iz5,i,bJHd9oy.9""* =1_b ]oXֶStbrֆ;i[3>hu'}eT8d܌]"HWڱIzۜ [_U)U@ _b$oY ʔXX͹8*/AW+0kii {^vjh8'JO15r{35q*{B"GґE 86m': <jݾENvWEsr"7r w# h\ZXSvǡ2~*-s*fj QD;_PcIœ+/56@{{jmHϐl܀ESc lNyޮQOFmݓBU5*"32[? dq6r]}ud \G!0UtźPOٯHx3Á3-AwwK#QO0WBC =UƬ1V@ۈ#4]c"YւPgg1ѫw=YPc^qks%Y^x͕F\'ۘJ/5lL@L`dԌ:8[=P&B nˆS,Mr} >sȑ]5=a/PZOo>qA#*d͢VmYH@*XYq4t'~l*\Qww2IEk*E2NF]ЊoawEY(L} {Qw 2Vrǎ,J فX_C0>kDXkK+%!&_2@W^U1[V4]K۩+۟?^7Aʿ /3HJ~0K.zbCpjgHbe8B3h^!?X%G*i~Gry+EyY[2\y>,<=RspE)R͂:WJp V/ ˰-is^C1!4~CڷOotb$ҁZ*gL^#cVNIKoY2#lO@!8Fڤ_3YIZ­Dt2G"ej!hYu3W?Ág-ykYgޱDz keޕ ÁR]W5yCuymv QBhU׊[T1B{f/HwG$ÓL)1q;DSa1Y#b`&,wQHHg^FF5Ai'y5e;hL0_b8Zaȵƙ QʛG d%5饔[g#rO620̪)H i} |rAn,n=#biY57>, gFq0KNE8a=1Yw_gҸkzrD|G1fU]BK&P&/Ȃiq!yA׵&a (TIk~@eմt[aBi5Qѻ$_MQnnl&T\kT*]+謴IgzYXTuypiecD-Y`g}[4)OJp[ 8mj{}*ZSd[P؆o~ǧQ9c u h}xyZ4q c|de t{1poS?y~>};{ Q0!* 1n2q W^ Ϧj%ӋblL;3]>&E6!S.1 Ypo,g@ȫTpT_{w^m9@<{# 'ly'c؀ʒjY.sɽ^?kF w5`52J3rII L0vxYoƛWht ycPݫ;lwc]-;sj }Q12k wb'C1kc>wιtGZϚ[놅XRQA#0*Cq=4!=\QgƐanWUÿ6}*KL -9[w-,g7LRZ#:N;1r~MA&>lremPd؈ɮGji(1iw B^sk'g/޸|q 7N^P?3Ly)i_M[`|6g/ 3eE2yHLU𺻿̪[y ݧGo&ULxl=ȵ깧\Q#E VGF_)t%GhMc- vy˗3s`#azYGqk8Jʆdcw H22j$I2|ӕ]Ҁz3kOb7 u Ud͓!b ;.;xbV ե7g*Tox@'.X}6{4,=W_"F%*doh:/ o3C›5* ?޿^sEgi֏|kr%cXUEQWA48}j#ϟ(K&C_'}zŝKݜ68 n1a 6tk>^,/\yd/FBq´ϧoߩ%3Uq Fh#iڄMRLL:5J7\SQ-'3f'OG9BAu%O19w^),T_4=5<ϟir hR"q0#fd>Y8E/D!O&i Fq s];^sASu$."l2,D oZ_!wc= j0O?A\XˌKêHnݷoݚ4ﵱ.l#`B@G)x8j  ށ7/^tit!q~1UQw7JHhϢtTl>}V G[Ħ~ɮQi[i}jMܼq-KF Ha7uYxt_|/Dw(D'O_4_{y?կsq2Y%aŖ$gc\C@9) &2!Z;'a5Pp!&dÌ0V؁(bIC[ %wECN4^N,/mXJ:L1{?/݁5]'3 rA H^"C*Ƕ'lڅNO4(]Yv<=NVGw2da*1cBG 8-vdH~VWjTmH~ UAu?o[T֊xB^' U$ tl7d^>FxGۑ8 o5ƚMR$4VfnQ͸ӗ2es1W#80A;>rhq?KbrIz_6ɎbDžt\W sQ{ٱݐm;X׋!AԊ.0H#8|qXҦe K?" 0&h1=҅Э?_(N d Ҧ|sNVmX/9dV)`"¬1(|iC2򿽜@ r!ܒ_6*ü gB}$eL,i!8Ι+>.Z%Ե "*L6l蒖I,cZ0{\t^^/*0|P!ŢscdV#NPN|_ʵ: X_;xg8 (Vvj@0JNwM򅮤>^&=ܸkf+6V^d{[Bג{B H|jHw% 8y.#LgSN Uț#th#GK'",Rfܑɮ"F(d-=) jm\~ƽJFWϕHz$}n~_{9%b`Oh|ᘼ>*+}$RO;ЬGsnݿD# %L4#`%7';;Pv/cYXKsp2UTwˣef#-@:}ͤ6e1j\g>H5<=ԑ+wTrUxҽ3ѭx=r^Z4Ӎ>yKޱ|T\ -r!>H1!%/iW˝U³@WDŽO)/;h/Eb:6 ZL ޑ"Ϗ l1jv#{Nkn`ʏf؛ pYJfhA= ,Ԍ{Hh' pȸm*.*Lp AgՈ-BP* &~P+5gYՊY) I1HpȆ7"$n4W>?r˔w:LعOrR_!74:7_2Vއ c/"FYg Z~Y36:ʹ,Uj]wD_Ν% \-ҬR K큑d*0A 0n൅ayV_c ;xpݦĵe]F"Y#S@[_{o8V2d2Z3Emzi]p ˕e=s,NOGy[SO.y&ٯՑAhp_ 9lO# 8˓mf4L;ZNvgg>Υ y~ N?u8?fI e,4s)wqo lT[}u0w*'MKIr%>QOjJ6Q9J)Aytmg=/SyW p5}-B]q*4M|&OV(,%^_aI`!'hm/u-yZRLh]ÐgPiŹJ_E_KucfhZ`0d']^@+vω#hC1庺׬3>۰wK|hīvj,b dU _jd|=Q3\Kj7Fg-=ӌ TW.;;~xٕ3Z9wnm8it>09cdHA5gAxWB^+ [gAfMڽQ%3RA-%\,DlMEd`AME͠ hYΨW#k#xn(a<~Çz6HLg㓗3Gnѱ;>Yl1Oh)-rW̷<*8F .+CޖpR=$QA ^UʲVmhj&~3fȨt~Z3 X -={8#sE͝T |ʚe(}^Ʃ?xV[F,¢g?n)➺oxWPԟ#fc bR Dr1"1,rYxBm4!wQi{9͊.A?4h?M\:$AX`Eȧe8۴xx&f?'cWb,*!n:i ھ-`9*5ON5&or٘rorl+Q{gf31k(mF kW/QI:0Myzj_egɗX(B5Q#VP=qԨIC8Z6㩩:9/-} Z8+A=vʨ 2 kzտ(~-Nxӽ8CŐ:29yDNuaa{LB:(+6WO'dR V Okt8 E[V짗5դD|BmU8;dwW}VH{|bJ.Zk"W-zuGE7غYR:uVu>:lL%50 pfHfl`j鎛[a=DJA8W6B›h^ZR7C?qBUX=RD9,uU3%2p̢ {>M!3Zh2P7P?eoM`A u58MDU?V+R{tDe}G+|zi#~@]%c褁-VF__Dizs=N !Z􌗪Ť eөiw( :6y$ a$ l=W05i{1r|n8`mx $R[ 40PA0F\ >㶰3 OE& OsaPN]7g 1{C7PFm4N sаg4F 'NoD,e^-gp=k%?~GRwDuN 3vh2S@&0!uQjT U` 2hО~(| V"9Qr[mmA<;$5CMI:MPb,ğ=auctűH0!F-EH)&ZˇB jHĢD%(C?Fx#ic|?܄8λU2F.QwMJ0PU%#FX x?抁, ISXuiY[M.7<3W(g0Y 2nܿf1\LIꀡ 8:\ #VR hxv^C@?yJpIZ@NMyU]7zIfWJ;KP +Ĺx࿗T);Jh!fX?-k" 2?B==_6Q3ƩW먷DpxbZx? Ph哵36EZL|R(2vAdVC ?djO.e:ZY.3<h^TI hҰwWBxP լ $IqēI6$B.7=u =|}-q^zҀ^eEA>2ڰ4׈HC7 j2-nGɟxK\Ÿ+$ފFz*: QIX"sЬ5vZ9}^S8jtΑq-i;(kP/ fD?~?Ї#45h 3{'.8&#H(ǀ%a) Udz.ьC"GP[JsIƵ0xiIhFə-%)۪f~W<#+:L9)`(uW|퓣(0:Iu亷|0t "|[jָx=Z{1;# 9oѮ֟eS^+|{Z]&}cL{>%>Vr+G{O@ڿ Yi=p#.(":XrFb X9} +:4BQK(zC̾( '/vIZt1^L'@s&O*dqtCi#i|͟rA .{kxTk6qY% F"?YޘzR%.l^7yLa`)F:m̨ۙO 5UXT#L㌰Qe Mo%MDѫ7Bc"*|`qH}j;M85 jS]L}Cs_zi̴W[%0nZ3Z)iVrUμ@R8!JHGӔM1{BG:"MXnDkZЪ]Sאny>^)1p!Awٹ1*Z?Gj[,H/(@c+!juA> &ԅM&8ToRQ/z#LhU(YTJ@"iӁBZ iVaR!7b x?VS Cjj4&y'a-9+f=@ 6Ǥ&M2q:<5謑D+Nlre쟰 h {%qˮ^'.{oկ($@DnXv3ލ1Eemh_ELHD"U|N3~%ڲ·&̈n7SsO6=ȶ'ic*dfr7. .Aì-g$p G=A=p盤Z㺽>†p@>wy].)y^)F6ȂajX] b@8AtށF~%"އ&`mVD I]Ro8Eo:iq9pY ر!HR;ad)p*jt:xr2gFTz-q0qXX_T=mȘxKӦ%VcCY_n\G7)gE* ۯ/5lj^#A[7pA6yvӶÈGWʟd ,pm Z,yy, hSEx'6 #1Ady:Cyp#/-eDL|7)IG0Q_怸Js=)|D\i(pꍎa])SBu7թoL,AgK떿%6'.8Cz'e]j<_)Yt,.s*>3 }#bXކUGxA4'+9$fYpd*! $Xn3N6W|Ћܨ 9uxQ~,Ьr72\sxT~?xhf]ZYXg{ V(n&ifdvcqQ+I[x\(kE?ԩzZܳ=ON!\"۝nVjfNj)ҡw x'ǛIKVeͿxqvT?ى7uT7;q,Oi}Tn4tw{4ƊVE3Ē"aJԇfqQHMv\]8hO Wc8F^+HQ~ӵ];fҠӭk:-!4MhrMĺ-_ TjxTˣf1 t~\sW;AR*jx.9(|C^&ӳd:K$8lK6jХRY Uِ ?}9.ky<.ɄKƛ>l]=ڳ׋)Cugs ]0u>W6g:012ĺV&[FnXdc7%]J3 KǚyCc;\ vlTdR/5+hl;KsW{M˭\'N XOgᅖ TRfwhK:|`LlRQ3 $0piNb(s69m77֗|ОPkypޕSPՅw{ҒrܝQD05I'|&^p:$ QQQ&c,hF\gjy7TVJQJn9BhkQsipy'~ QJ~9IլV "69=)߳=d"r|=W"X<`>N2qH/їa0'n*Af&JZER`xoIה|,2e-*ܳ~4^*q.*-GuY4n T7*ɆO}Qaoa畐=5N`䴀?DI v/X\tTFlv,%g5LaaQKe6:7%ZlЕ`$ZIS@ } MY@C[88@0 !idjms*r1qQp.԰~(l WAP RZ #Apr dYW},3!:Sab u0+~, I_Y^ (B.;xQN1(sj0h4Rxnܟ7*7K#1xy:ʹW捏~] sSĒbٓ(beIWy[eTѥUb;(IĮb-W : !k=4 T~Nt (:#Lxjo/q&ٴM LX ?tB=|kMp_Aƃ 2iьN/nպN n$!47Q v }S7?b2QFz߻u;Ό7q`LE"DҼX\TMhK[0_+JH`FqV@I\_E:qA8DQBO~;8ռZUo p#d $J*QY,7~LٷH+?&rӵ%TAQԟϟfw&4(m?wwWtV.&$ 4Z-BGXTO{BMU 4sI,Vj>OIy&:ԟ|/]z%{U> Z?#UgіbOC譾ҡsĶ/BsylHgGΞAY6tI 8wbցť&N UG-P>-Cü:&l̃ӂs<yf73O4Lo>԰Dni_3-&+G_yUYj ^FrАU2sAeFʡOw%MF*'u%v<9cE1DQd"2>V&wg=^B ޺ <=^^g㡜23|OTMq#?hdss1>4$PYJWΉM8K֩T)#0uĉu'b523| AKmr<*S9\m/ e͂)";:]Y}AG~L#2?>bB,b7[zV{x~WxMs(!D*9 Oou>Vngm*똠!/ί옽9doHOO7M#{0TM4ua1otk#\U2]fbHv`ԏšn8$"- +vS-bۼl6L7Qz@F#걻I>qAѰ5L6d:4@D;T\USw|LJgU zm[9C13r"w籼Z‹ṙ.eP*g2a])))NQ'[D9@Iy^|F.?贝'H هZ3$QL@m~ &,س#{g=%Qgn1 4rO/E,ՉjǗ<+$Kt%i$çlZ; *N8Z)'Ư#U~4`6A b rHAgjQr@/xͨ0`of~FjfX՘OF4vCEnh?rojWT4]qԬkO|t9#`z=BI~y O)os^=P^uc&*t9#]de鉴a0l kmļ[L\l3vT|]ѡ]qS.)qלѪ,Q5/pf6D-4!5 Tv-W*`b)ySxR.ae#@-մ{$HD5KT]CdC\ ш9lU6\ f+Ts-56G9 NI,\S3驜fd~n( 5-jȱN-w~1"yMhS}߅ S4n9w* XV ;RҨ-.KR+HB gՊE {,`hu,v=b_;YtTz2/{̿ށz~`cfdMJ(m0Ñ u3ȍa@WW꜒yO;YJvo@e_EX/K\G~ƽr$T9Y>AS U8EQyJs8Лa4*P9heKEWa)`K|P[k/:O&Yᲃ&yBש8/ZS$1&#*~tAi Qt4 q㧃L͒R7K5Z yuTtxȺE@y-&WM" h NzDF Rް}1k JQ3;rbt2N9ur/xhgvoq6}ЃBPLҝK1[H;?Rf{O~'j&w NO?4hk׎E)9; ӛQ0^$ľ,2iH;CIbgYZ00208b68d85c9c4ddfad5cd4ec910ad5a553fd0519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 813c065301a9f372d9582e8c1b6bc1a58a9d9e11