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 ddp| ]S CakeML:threads=4elapsed=407.046cpu=1169.112gc=115.304factor=2.877zXZִF! 6]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5IDa9Ci0O$dABc,ZKT2Ň(+LHB/5] @0TҧuW;b+3hp {uK4 `-,rڝΨƉn8v|KڇS̽g"(}򯻨+O̔܏4xvRZ,}4?а-֯Cdا„xxvr>(D7ju7Vntyd0 R#.;SOH,P? C5$vm (*Ñz<~}nIh/Uݩ!Vk(^A`; Hs_J#<^dOŭIH{#[$z}{+*@]l K|L 23nSj'2 X8.82yǸL]ru#ߧ{Aj?yP{rIڼ~:]~hvs jy@V,¤E%F9E%/ IneŌK8bԂb4p?S |͎_W-G蟒!,<0sʟ!sݷ`ă.)F.zמ+׼ܥ-d[gX84/,b 棼gUt~QT:znr<ҥK>0d Y]uw_ދ $"|15ihv=n"k/y&O)zoMN;H9gmz`c{ɈxY>y#f@6[[y@Kܛ ܄;f]p!01ֺy#]!#o8saiU/DibZUqiZgM}}mOޠrIj +cNb39U&܃"8%'iHZn:Ӄzu$]Z?ɽRFP9,|>w-IC]m06wf5 qX v k衟 \~׈ 'JY#H~&)hJ{h ܚTՁ>62^pvc@ rO6F/d2+#ve|t5AoU /(7kZB Lo~|YFw^ާQ㳪p{zd0EH~Y_AC2kفbB)ڹuX~2 Z*%C;نG$`İi|b   CakeML  ,,(uA{,A~2u{o#Z[w%M"U"xK/7bN`N7gO*js$u{j69>xOt$;w\53-.=h(;= S-_]կ1,Wc FkvEy0_Fnb%@>r@l8G<ȘϮ"N.M!_8IzS?'PH!߯ԃ5W6S_T 7HlB E$sX'T)ez@Cxcӡ KՄVzH<GL!a YքFz4.mv olCR AΈѿX,Cv_< zg";Kۧ|X[3+҆Ex*&$:bi*'i8Dh 1 ] X~ve/gP9&r)zշ }pPجց+tAMd܅<* /4N_Lj4{aJ xsle^Ԗ J$2D#}{4;vqZ(ّÎ2nN<ZK !HFVE[e~W P$aIaC3+:ÚLAO}22{^I eB*YSWZ^ ;֯y>Md.r8W+GIhC2: =(jJ]j>nqabisPs@&gYx J\(5a{? `=붇g9@HҴ48(gm|Mc ?TШwnB}=1'# ȼ-C㿵ׄ&6'pu?13gn5aUqX8^Ϧ:M$d@KA}C5o >^EHDoCeQLLġgAzmxW /PNHg*]²I'HKJHu|wBGẁ6:(\x#m@ˀǹr@ƭ]:1R=kҽ݆F>| E~}NfX2gT66Dxi*xyX譝tt{LmRG_%yСOd8/hoTW:d&$L" l; v"YϝB45/{%GfplIcwCBFkj-lḫfǞչd7-4a,mq#K&/-R"Y~I>Vd=ly3?Bݯ`zZg$+Mb8 BƢ}ų )pvr"uw] ioWi#{ׂT zBU=T=xܸwv`1|cv>3=.տ7CܱB{tGk*_>EpHyJRPv3q͂>˃ӰV$zKWB`ig:FwLO7"`,ݛE(z/qq"܍RJrq֞Z ) tV^Ώ(8 /ַDQg'`^4V|%`8x0ПFj_x.lOXM+pok['ɟ5V _]LB _ۉ;'#r$8޲% tٴ̿KhkOV\e* =' *sBޤ } @ٚT8EZ-QP8Ls4Dī\OE!Y^|m7&;-kUmg]"m@)AgşQK6Fh3e'1Aa64zP#}($#;[}g [Yߊ{%ұ;8m$!jd*¹z^D^c7~ Mٽ'? WDjP2e˴^v@vJogNf`˅qrV%Or?f\`Ge?"CajG<_cULUx~v%6ͤZ!h3sD97Y|˙- 22Aܽ$* 6ɿAMC*n| iCxL-y-\gXDUr_|R&)@ߑq!Qim֔z&.vR,e8]*3 ֻ}SAs!kO< u]/VmlK82תGݖM@ R~-2\GՃSh v AbC|k6Zgۊ}hbD+ƽP9qfKA*kg݊&f$[N؟(aF7<'!yk)M(c]Saq0C5u cq)y"}lh Qh'ĜtT޶}鯼m`U&{}nR|yWdFQ$A{f{l &eN&jL-"ZDEڷ H1L2_h`ձgYZ7zXZִF! ]ŗXiɟy3 >u{^-@a4!K`]&0=ɄsG fT2Ķ@y@^p`9S[7&/'eYY 42*j4=#j|A01XXEF&0Չ_W762dD(gXa@Mv;C[Ha[>'>?11:ΚHA:z6*s%\EmyTtrôg0ğ+zJ$"{_g~7C QHs-o e)'nD9)aǪ(@+P6d+4yX^GMU%g[/E00ފkr>3&giQ63@ȂNݕAMN^Ohk^+fXZ(ge#\ߴs]sjtJL[?md$\Iy:̼03jm HJ@4yn)X\.w8z/8K!ԮsLު,$x,\=0iI^cMn$ ,TAc pIqI Y{-#>R'M?cD;z>:C~@zyLb̼f]3JyPvhlo6c|3~Ri4Gwp wH[;tO GZ~kmƟ7Tj憎V:Ű_|f@:HI۳nre aoJw:K5o`BΦ;^BOIIM#HP z(ySvTPơ @tI[ w2M`C,c pzʂYE 7 $0UpICZUS8;Ej4QBwO걛TY󘼞#g܈d9yV;KqwXK ]1(x*a ӓ@BEwK= GqɸH gwL0v{ 5 k 2dcv)PpsW ݒ6XN]vO-m=>HgהfJ2\x x0r\n~.Oȝ~)|s;?N67oF 1'KgYZ7zXZִF! (vG]ŗXi%B*H##gmP,8/ W88 4>*ۇ_-+<[} 믞#OX_[슟t?T.!Wca?(GlOxuD5r]U^+fQ^ju@Rഈ"#/:pklK|6ǣNmaOJ_ $ZXr0rlٮC2tZOa:~U`L<ـ8EjG8-Սmp g0Ja΋ SΓCRzO7lKK)yuɶ-ӕ!ThQO+{q❒_pT;nuʹFH8r4Sdu5`3t' !闬rW0Жd$rDǧۛG3b0tFKoޖ*/1`8fޣY6[zqz" ai;.P K>8[jB(_.J)z@=xmNC,ة@ʊa$AT8{,:R&: c҇>9V uTlQ|ءKq`.:.p׸_+~?GIyC6ND{OrduisE# /ŵ#0ZKZ𦤖Fc}FOעGE oz:ھ'̃EwS\h-lxUds2ܖOt 9:,:h[E?+bhZ:%Sȷm o.":y )o!ZK!}#KްxDF:\c!v3عTXSFùٹV:SMG -Jvrr=,` VZ%QO: 1@?:xԮI _6?Rdu@>qx'嚎cqh]L'%vJP mL/w AkbHbȫhRtpb,,.Ցb,Xt60`7tw|;HxHt]P_$"{KX1֢#ؑr8M<(ML gۂɽU՞3$qiy n-I[F*jSp,]f 9ftWCUUW⟑*Xbj@`PwV\<.w{LAӢg&_GƓ%> _]'ؤiVX/ѯߺ{elQsPa.tYl' ׽" Av#TUDUEBm#)%487^]Qs.Ǭ$ZZiE^gRTE+ 1x WE%dӁ՛z##|ʄ[<"1Οva:St,h5ϟ8X)QFYϿ v֟_&oiOJ=7(J >ꨉд1])h\S62 Je~\A {Ve{pLt:IlW3Dgfqݿw!z\fŖqtHoٳL\8bC2%V5oZ{*h0oIPn/ [<ϖu鸤DcAK[;BcG Ke8I{`?LiHa[撝LG2ɶ 2Ɔ ırfSqp/e6MCcՉaky$كhgG_J%41 0׳Ft&jWb䃅7tmInḓnVNvڅЬ D#L܍=<-4~W^iU=qtdE`LdܕDHٟ'|24ƈ=##y|u :$a.3$L̅u7EPZ3Aĭ*¿Z_w߃.?1m^ǨˏqC!g|E)4W^rZR}C'f)F{!p ?@40IByyDk10.ž9^=-W?5XL,6nvw~2_k5;.%QO}^woW.;piO@-hޭu9ZˎaCP$k YMj-#o8vx8LgmH>h=jkYr17Gyե4"ԅ<.:5c8Rw=a3Jwn\oWZ]lƶw"ImbJ&qp: -vsuܗޥ e$qEaq948!=փF1eS+] IZQKӷ+7,ɚMQkQ YB< &ňRP0eG/ }rૼjf%mō:;2*CH/>'3W-y_eK]ynO~7tumC79ܯ;d&` $㷸|vB$߆./Kce^]%kj4/*:AL5%_v lsh͒K)b v b4ϱ)9E; -489& GzpGGC<Хf1ʳ36#cZ HdF5Y'(IvPS.-|F΀ jh~*wc̎mlht aiFXhdaj/r`_;[/@{႒X>M%ݚ72TYyA"vJ78"%i{|t}? 9[QWσx\ڮsx,؅iw+tf BEoGl}iGu<55P}ni p֟8]+f~ꟈN{dz. ˮ}sdo\,ˁDo)O?IM[oudoywy,WuydR|;{A8 zEY=ܓn,JEHBp rW*6[Jm97{&Yͫ?T{VৄOlSCj~rb ;S!MРFLW/lg0φۊտ~T ׬8f7rwξ,mw.i(Ae16πM[æ_V mUnMccN&n+2-業 bCWoGK:.[r*ڛ ==*XTiFظ>K|sꗜ`P-!c=2 HQEvϋ6m!_ͧ2Ic\jIY^4V}ԇyA jv[WR4=UU{": æqcY)י eʌx0[ImJZ~9+|N:A8{ X?)V⨻'{vTUMYK5bT.|98x{l03WLK-eJğ iU1Zco|X ݒ|wE\uNJd쳭.wt(!$4+v:LҶM08οad0}Z7bt>W-($w oܸѣ"&: c/7G_GǜYr4T/1l#4>@bnVx4ƯR , Iݨn'B_f6^smG`Nm) T ],BBE@ )ǦgwLמ+:v h[XR:ɝ@~+5)/BO,渭aU 3XQTfI'o<4 o 8GddXSz7½/G|T؊%bo3ogh⳰D"EQo9ޥDq7~Ti"{~f~Cj&2 [&;i2Tz EHI[WͫJr?=GC4(gmωl+lK(}LH(#s&b+ӬQJ Ux~l$nSIXY%]ʎƩV!)/UY8W̜1h &&<*E\T3@n]JJd{h#<~HY&nAkV7H<Ծ!‚D٬u;/ƞ{v\`ג* /AC'ѣf'qY Cqj*'8bnqwa.G0_ˤGkduy 8~:cIʋI_9c/W^kKHBZc7N#~ds^E49Wm^s9fQ֡r86m;bJ4Ccwz}; 1;c]ZLԎ?dJ`۹(Oi(gV$)Ө*,UU8P`*MQDdVV^P--w5n' ]^wx.!V6E.XO ѵ>$Wol(|˕ o'W T  0|%)_Щ4=`3N5*z&~H$%)]Nn6;EkMkt\ C"JRܘOek؂-wQSlSrUod58 n&%19ayPʡV-~w#fX=1f$ω[9eLf_[nX.C]mʧ#߸X|X[nBCZ8WL$%M{or8SUwsATr}7LUCv"$MzF|*jnxPIndX "Ix̣ W fɱjݘQp)^Y"E`Ɠ{_؞W*fرrp_]@I[jf'"XLd.yv eڀx4TT%;|mBuq/h6|H3Rn\4 ӛV mGjx< r8QIAi CteǠy:%+4X9">|OgA2m6Y;- jWJZqo-P4Ν/щ.@. -+䬫7X0D& K)`@LKu2%ԆJ*K(m8g;$"m\eVjwjc~~׎zHƵԧlRDG_YEE5v'!L[qbC=YtzXvW:q8 6\Xi`v=̫ y䬌8EUt9j=!A{Y.%PG QCYH^S`1XɎ#fPO +\B]ڍ{Bo|zw0xͭW =YQI>C70 hI8K1CjU.EхMa8$oscfBa L r| l&n*JˣFI'/l΢pA@_j?0DdIz@ro~.\=%8wdtuG+U H_֠_wD?wW :' zCWZG \zlOOE=Otcl91IdW}}r@l#wI1 Hc88"Z 9|!2h}b]$A R5?'`aDc`ݑ ڿ˗P6z>KNc:\[j(+ЖQp;^?諾O*uU$pG3րݼʲBeؠbiB ~/T $7[ՂrIIK:gOAq7!g+ PS)`z*lҙUn8ڹՙN/hI6'rI8ে.l|j g;"4?de㙞nYsJJΏĐBa~e5Kxb,b FsCu (l#6yT܎X0^(!F/3ԓ7q͟w4>O>v_^BeU79/·~GmUcPNv5,/_[R_fg>v#x\gTgqN>=ZVX`j2&WV0?B.T%hSҩN}^TH_?W1+jW1X{z1?ޜ *R8o0΂V  .aN~蠉<.~-J!́\p!E9^ic<fYR“tjCHcՕPN]`<t),įi+QJ;ZX @a9@ WC^UZ[ے]K3`D!S\fATZj7ff \"2Դ CR,57˸J2 .a[r0iWsjU6lڞrCGM)C]W#$  @ cQ<Dܡv7|3?YyG-&0Wn&Eq$fszSso"1x@WV]b}]^"&0= n- N!ˠ]"x9H*笘P Rk136꧃ʏRھ)$!)]ȹT*Tu_ꃧSAğ2Ξhw0ผ[K' !6_ G9vӇ1!) DGzGN%f*2ڕ>O+=ԭWyAp3YX^sФYc/{/6\M6Јo^n[Gkk㈩]**֖-vļ[oggMJXފZY+.w Ob>Ǩ,C"owZ\g6R;)+^v+Gnbp[@E3.g *u$W4:wxrb}iqlcSFÎ~[j fs ̰f 29z\[FYᶗ4vUNw5Z֥|JֳO4tɠRFX,ZHy*5JaM+Q͞3 ;Գ=Ci@&j,7 . @Npz(avS)]r_GGu87dM"wnR `? S$PuMgTxD:UfӬNYHg.+ʄzR2WGK<*HMܢ. k(Df\#KW%}2o;,(P)1l=%ng٪`Åë*`V+I?*!A,lUqҬl+B=C} ~$sH%)y&2E\P4wwuX` y񎹑=aM)[ Zѫe/=~+hҡ9-]*$eH`AoIM ŋĂ `Z17kw&h+ iD,M-n-7Ԡ1 gl- Y1T4f+OҰDŽ&qRVu"T05uu9NfhnDY*#`Vi\  3ɽK"IS?Rڈ7bޤ7{`T R vs!K\עkpx5GmN܏Fr"%G$kE`"߮ 9#pju$@nplgzFVOIXy4wnBCsPoe"6é"4iNg+$šIW|?l ع/ˋߨ:)6r 6vt1TױUKQjLaKp h0Tv0gꀉ!l+F6d(`x]Q18}3>@= 8 w}%\87571z_i-_`,+#H`iXCEfyo.ᡠR%w9{pZ2"Gޛ1 3,㲪*Y ^nճfAu^[Vlf;&&z g~Q|beR#.&^V]PhRaƤ[,ɚkNxkQT q<b5` Kox) MA#8%p'-XD'`}"x&;§=EZ"9~v%qat"G@6|+ /b;,QeTefOOO1xkbK. 6q=;"up=XLM> `pf s[{ (?Gx  j<,KJZ)ѵ& ӂf/XBfӴQnIsZ9 jM\[1]Y xL="=cmB.ٴIݮ'`ѡ:%1*#ۚƣ ?WHjօЍh`6HӇ3մcm1CzjҼ.p4jl I+5"xbۜR&XWSMx|? {Ġ p-cBk+*V $ǫONӯ84QlW+(gO5 }|8éea;3b{4W͉P.2m vB~ztW"*q!Xh ]FqЎG] q$}m:c$U;|k} 1G&VV>\-˫yz4݅QHK;ܱB? n,dO J[q`0ZC/YDid峮3G&eZqّ @Y >2\m{!1Y>픍N(h c0TD:(/l 0st< s- +gb\i ?ae8MCeM .5w6֨鵅qdFPkc|NfG^*k0%A~Mn<.;ԋ;ψؒb]ŮVYҁ$( ͮeU,2/y4&u!${*o7煱ž8i5_┋iPc(B͋c.pl|3JIIxPptJ˼q8SҤاgvI3 %Py) =+4]LZ`l_|qJZw@v/6NXoSZ&`}ɔICfra[f٬;spRTRl rӻs=E*^fGQ&۸62Yn:QD̡ypxv:MX +W `]K:k̛IJm~TL=I[S&lZf.Gx>wgeJ@^u/V!KDCA!W` ;A^<ИǖsTߗB%3~NTav 8u! 0c(c/"g8Y+{_a 1^쨱-R 1{~*n _hs8IK/|=sm|wQ6GKk"798Su'sBGSF^ ;*kj3-WK?d.x{:gz^'NIS-9 "j@AGYwU`\W"iFV2M_;/7U sš\IQ2u=g,2Eճ6dq[V71 OOaLnGqL&@'#sAڐKcqM!ޒc< ysP?zR.A6{7J$|sMm;Oifd{*q.C~-&"6ς 'B!e59 R~A…! o護wDVk{KRWE0lbFwn\-WTNeOZt0!嶻e*ɸj& h ?k'0 >xa[aR@dz79"BJw*zĚ 65YShȐ2еqBk,J%q%UՖ#eUnI DL$juj^Ar7]?wBCS qmB\{8BRq*v׍"p0e%e؈(`et[K:n|YVa/KD'#dD yafnAnJIcYg/v_;!<؇Ne.PUUSBɨ77h`u;[Rfv{4A`^(ߗ^*^/dA#7]!!y*_?_'hyIx \a&-?Z2 ;G:HZ/Boo$F(E2 I%hk(FuO2#GzO2TKПKj$7Yk$s: RDȏ1ݼI=gicMI-Y>6^pp xKs&t9QiKM4zu7YX_S^=6}s8/UOݡw葜ŨIKYB6tI>3B|SIG(53POE=QGlDh\leN ^ $3Du(G Ofk[%~ 0p|ƁDVˋk2V**֐3FU,Wqlx_'{gd˵;Aie 2 ּ)id5%:$kr!Z4Ek[ 0Q#ߵ=?.5JtHp(_$jNcX朻9 rB$H:&CR*fdX4v"/O!2@شo`C/{Cx%: TQ"^$Ӌc ho^M8$%>~e| _x-+wuTٙgF7 4 W}NzPz: 4@iq!.ѓ0o=92&=F*=_BUmhO@ Wˏ 1tmxb,Rl>kW1J:<5JݾH1ȿoC'lL_$B 0a'g C3%}N0TxKc&…虜leq.^wRۀ B+yU@óOmNMCXHo}Vl@?B V+U#͍] '.ޚ=dr=I^g{Jsh/sK]%±,qZ -=* 9!dg+%q̖`Ai\lEAES}"a!`7"Bf$`k5è (Rl> w( 6ˁw AJ}Y4 eSz3yF6T1/gRM܇Y|?- ֹ-@N# R~!rpN@#o8ҷ X^)p #f '?UPk[tc!MdtY!*Pvá+#[éĴh fŃ!71>t%fOqpқ zcntV^ aQm,֚mq.ktgLZG3h Ϩb. ю1ƈ,U i2K{QkMK$@% Vr(sTi$ +Y΢ wYxcQIlp ,-Otʸwv}݊,!,€l̜zW>avoycbu/'@0kذ[05Ɣ+":@ʎ=mY\˜x !Vs3ܸ0yjߺ8{5s|KQURT`4R6^-.KELH짢b?5:"TA<+Z.[#xs5'x|pG-__BUECd g)>N6i|7}yKIU p%U)TFioQv:IfhEouxSj#\]Z5%oNuMe@PbLe6ַNy%?e@E*GHna ;&s[6OPog @"Wpjh!u|9{ J ӜƫIBDŽ>$,b:*!C$T;Q!FT-vFSOD4%hc5?=xFAMc :E±to{*SnGζFQL$Z [^쁳f>wQ Xꗯ;׀XmKx$Cfc`E|!1|{rd~93lُe-RHd1R6z 1͘AZUL=,dXQ؜~L^4>s*^גdk*Xve6PP'/WȊޑ^O9{-gn 1 N3PfUU|Neg$vSX;+"M!澮qQ#Nǖ0t ̿2#$!9"`I9HJ p $/ܒxCbY}%+d gBB|;}}V r{4Tg2S{q)Ydl(N0l ܦ-40lMgUG^;Dwuː'r 'sޭ@pL0,~ƅ/$u:,زVPc%/~pttZ&lI0Gɸa71OBklc G SECQEmweO߹gy ԙѣj`ȽR!dz}E_M~kGiY}9fn>VP@ldb 1ЊLXECrop86nR-;3ۅO^'ZāK]S\^$gKxe돣P-pz{_&20q(Z䬫,;R$S.TGeAFkM\) r2"1:c\,;.@ t椬R_Fg81!tzD8K7= L];@U-p#ӷ넵;A78AOI6Qlt'{EMV!J>ފi?kFËE.!0Iv(@@VVQ`7?oMP=ȚЏ:"9 F- fPqΘ.ck¾HrWD>v?FzzhdK8' Jޮ2nN3Ӭy㱃c$^I.߳u gg\wraNsR1\Ч iWo&la Eϻ,CO T[sbGuz 12 Qaw ix@K”' &sE4nܨs" P;6H ll+<\Ū[_dvK vwdPdc&~tO hTfL|&p ?4*73M)g&\TN{ yFCSf\ HH% &W6̽`je0ufU_U4@ׁ^^lKǚ7#EDUkAԏs|IEh\^- F91AT1TXC;\+= i+>l_amZ ţšʈ\r|0Hi"xDŽgt%dD !e X( 9:0H ,rUw8{Fk ezQ ak"BZ//\t*i^ee`9[vk^*"6F!,3/iP֨3? +{[/*WǡU Nz̰5}2? |M<#ŘOΚ\B?ZWrr?B LdNhlm˖!{NlSz|j1Z=mt< 8PAB\o W)OprG h_*xod/rTSn>.pcbv4ir,Uw {~/$[>`V|u=tBi']UhW>bmp 7#6T} 'SQS)\Оzza1cP]X~3쐜 #@-*eZ'Pt(Jy]H5yR`n*L-S8,"my} -/)UBo@,+0JlD}0צ͎TՈh:(KdANJDпw3Mewl֟-Η> ð6x >n-h1Tz9+q-}aϱ<&2}1>cRZ}'C^2 ~^icdgszч*~UjN~uq!mpzlA 𢽋b螝}rOϭƼӌ6oPs?I?SOKEN>Qz*0wq1w5)CB>r7(VLyeךrOio?֍GJ[nT_M«$E>IұV4g`NfvHRڳF{qTWk!ǓG27a\0 {^yi>'y0 5.ȗ0Br*ÿ% x"G0E&wӯ8uK!+W o:(\5R B#R#ۡ퐭$ )pȢH>arq7Y?d;X@/_M$Dτ#yAӴ `BFTN?2 a=D*e]XlmFO@W,okpUg1~qYiӵxb yph۶FIݩ`D%I`PdY ߺ,XH4ʕZx4wѹ c\I7f[ K!U@`)JS!* ,487R56HP,)N~!89+~I>wr+4_.|+f~5yq^Иq1yjg8DGly !XH{\0ghȋccἣ#[cyC}8y! PAR󥒙vmD  G1n/FC mNm,=Fv(۝-pc=3&-tJ*4&#(zإaFEZ={Ef /g< `aGzU/s %Rvgc=:x,w1O~61M pk,\vd;A;vf#Zp/uO|qS44͂r2< HVlu| ߾oC {Ug3}*[N+i^ԯ82Sr"3$PmIڕ\<ቹ-kXo#4`baGz\2qHCUGJEf_`?3qx`XGP hzsLVpQ!*4 y|rJؒΠDXj40 |( C6\l視Oʲ`+C=*Qav< / :\{rao':k!1C?\Ԇf: /h*Ì&ʱлcƌ]+Q|Q};M$g+U\g >r筊 Ƈ/3QٚN{tW![L/U@\ŒwmsVт]P\G^ك fQHDi7{sPq}%ĞF+'&AֆBt`ڧ[IӔX}k$ټD8T#Bβ8\J<ͥ(%ە.zb|Mz'!~!2;r5 U|%{Ѥ@:3j1 AOH>zw@wHmrT!ȣL$IڞP΅V@Gek p1%Qo`p%g]֬*vOVPW0ٳ+н[HFtȹ.A}_ F,x53둦ŶOveñbqf0&6\\ɡmi]ږoU蛒I-[sw9E?S㗵!_+V9}r DycM-Ryч]rlbgܩIR=6%'4ژ/ a^j˙IQl{e#'P{qd-z v#\7-11շ{)̱ =AY:+{Y(,mϏde]LhPNz" .OP{KZTMrwW_a+~K0A:;1''3f/E_|D!^1Qmd[^;LCB(1˼Ja_s774 ,8E^ 'f\7*d* k6Bre;M<b{+B鴺L]~/ +ҲUg[4%=A ؓ/FSa *xBD^T)$E[,z (@k)u3(ቭ}|ҳV&e R:3<43nBps ׶(F2$F]WW=Fr jH%7VDWRzuFy bp]g*,sëL5CgH͗D!#Pxїx0*sQAl Qȣ+[TWFdgE~M!НiBZ2]([t@b#R [k%vBH[Ybm34 v,mJ֎O39x5^l/ކi$4Jo߯SMC7LlTCL)"YywX^=L%Ԓ2(ȭ1E"22 S4?S;5E8U<*aE6j;܅ݟ[m|<%pV[x {kݞ-]ռr4b333b9(5Pع 'f{XaWO c?l0;`@ K<+j{+[L= ̠YeZи|o?o]\'S!tU6# |M,SyΒ1*磌_J 5դ4Y疍FWbytwF>H/F,ٺaq9'=9RRexIFbZlEG:JlT5 2x2/RLr\fY{S#_<93C̠ĤKEURQ3v^reڎEpDBɔ px1Ig1xUTd4;vB\^,Ỿ[֗B8ٜ j-p` {oqI0 *TPM)<ΎM:EJ R3Q&o {}Af9*wė<Z ¿ړPA9aq ;WP " 0BяC4cAID >-z; pHEnN*R cRy EM9c. GZۿ!RRhw]XmbvP bcJTcuwapu6ˡRo`ñIi2,Xz-Wđr!f|dֲ,RM߈Ўc>#%҂TU_xw2t6<- ".k,ܜG)?6RSfE5Ջ=BRKr;bCQ85*+ N!ow)-ul& h>N9K\*,/ph7MAxNշ$Z3$T{kr>év[Vh #[;yڀPT]T@™>) t`UN^]ߦ>t`_>ضyS7~-eOaaM;Y脪 #+Wp~~azɫX6Ҍ64<0 ]͊ip.?QmMN SH%+R} cCLP c{c P(b\#최dZ>,!=;C[Osm0ZD u[E?ʃd>r`^^d@NE7%]ɻƉV0.1AqͯYvsbT-G6qe_s&O9ƫ=RbMj,l*pdV0%1$eO:|Tmc`9?j::yWOӨ Q06֋#ՄE,  <{]0[ fڐ?Tezj,MkVdS rjh(ũR&:J6%^cBb"W/[o΂UUw(ojU=Z4phSֱzQF?W{r 6< `Pl.F)wڵ D_N&* W GX-BkȔOȤj!lUn|E<[[YүyOVTj ]y ᨕkfWUqYi7 &En o˜ּo;(x}ar0TY7ҥja K>fQG}@Z< 5XvYiXy(ZdsXZ79m'IO3CCW|n!zߣH&bftɆuNamH[`zmԽi(l`@TQ)PpP8RڸBK 4woWhJ&U4 IGzx7Y<}&d(ֻ}1>L8<)~OڅkFA "őt p/uvR T m~]+&iBeX{؋')\ *J جG{—(%gzGvZkl|>1kTN;oFʥz*|\,襜^EwJi5yO9QNuAp7誯0)gQ,z!TdI'{`S) ]«X}:CqVC}Y6a QEv ?(4!]6@A R}kVJMR~7R.JSo*jוY$(̲%w%皞'l4 Lti[_LME~w5IjRj} 1G$lnwK]Ix;fC8!nI#KWrfbbsf*{>p_l 꾝/-7fXV;K1/78ʵacU}d<w3 t|rC3`HiX.zkOHCaU9o=%V Z#_d >Xz o:7fDVW`%:c(A>e}۾ hV  loYf<C Q'1HJw;W1lP(@ Xj )wewdWh{10X} *"2Pb׿ .{VȇF y2\7|lX&MlJ#VAj$-} 3 Rv:rڐƮ+ P:Uk`߷XjX"f_u )nojn׭FesB(Q=4 |BNeW A$a"9iSgWnH{$,ÐDZtOɅPj6bVGyc#H&WgT8u즧Y8h"uQON9Iw{"|-R,+}?nsly hKm=Ɠ8ց:~IoS#/`6Y fƘ'F⿠L":t|X>č!*4>[}MIN{? m=t' Ig$2z_">Iw?Lẙ]0fu(O/] R펕6< [muzJJѽEP_-,lom1KK99G &YK!)mOEvİ:YT̷@ k<('n? ROIJgոOc*`0!=Px*dsYTU5g^R3 mnh^zpuGh~= 1ee 0 NMxtW/jMDP:A,d؜8 'l|e,bbBzujLVZX>pkg3M=ގMBwʇIB.~q2.Ԥg1!4d3W?pb}wnpʜNvΕuіE-r=y$w;BLC-3'2*m.v@{@MznޮJI. ͵cEe6Jm?.qv\-ѷ'$]aK@&A_n)rP}->'|+Ys]%(Ue"dHXN_J˙0%|4%aymԑ?l2 ^uԯɾƾV;P-W~$q\?f7%ՔhK+M!Og8z?bW+߻W!#/5̞Ax&߉ˀ>ֻO6!™lxfbSvW[o!ڟ$"ϱgYZa28fce5df7acccb19d78d508d65d47cdc25f2c8376b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 b79220a06323e5f78d1c915729bbd9560f19a1e9 4d4dbe300d17865f181294bf07510b5c32468a27