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  P)dkisӐYbiꋟkY0g1krt +b=|$骊x vL,!}{ k=?LuǏuͨ8-4 `Q3i K!2 -%-I\aʪ;K[ԝv:ռ.~8(zT:]Vʏ~`eRk aojnMis~Q8߹5IX<ԍf>ф.'fMꎎ}v֛Tj#A|gA+y}rce#Afص / O@tעѾ8s$uX(UUnH8Jh S/VlE^U/Hn^lt ^d QQiOjiQT+:`sYך$%H?1SrJ:ՏGćn6Ĵ:0s"8qҧ(A#653@LuH!|MMVM WUAlu*A]d,!*BïnvabcϒQFH(?+rv5xm@dGo,^a#j;>"Xn„6 E1Ao;ő9x(/7s,q؋-NأS] ) CakeML_Codegen  >pȦz]Bs_]f5πѵOCA䗋v_Yrwl#Qy!1gְ+`&ĐB I*'K h2S.r_St [2ҕ GyBuwX -v*{[R+ /#JiN׾t}sqEIH E* rhSvN0<)S453Tq@ k[uFˆ9ԇK=j&)7fGX=^4p_QXYIuΌuZ$YQB-;[SVPPU% [5ujŧBlm,U4̪y%η5de=kԒm qR'; f\'Q|u]oGhO-8 N5䣋k@B%߂xC{u-uWc*gkm[.75'uV\} f|#T\/2!tVr {' \)ӂ[! J6YCٳM>#P|giʰXF ,D +FlSڧͶ#~Ygs8NV0moE ,5O'CaV!jWo35;:𥻘P_ +j5:ǯp@e(eWǢ[]}/&Z"QXaC\cEDs9aJc #.9/Q nZr Fl%aV3KlͣB'99a<*ya7mhj-yk]'渃ª| 29w&1kh, 9*ԭ N^rk-jAȋ4Lv{ #B JQPq,4f7cK2QWQ儾(,M&| Yitf5W&"vsP5flH*|mr$e&ʉ&YT5bGT8lF;Dٲ :=J'`N7g]%2!$i|,X;-db_&(A{זY/xmSL5t%y]<ե;-ŗzwEחB y< ]f".S6jPƀ{x1ka;*$9!hVͷ1)șΪ ۝kxZ Smμꐷ'oHcM7$z2-H섟~Dez: ||PH8n@VYH 5`)5'z ư2=eej?fmPDEi_PJicLػ3Gq$0+έV.|+h"?^@G9 ~$2[FyA:SRo^ .u`:[a9`mE2z颹2m>U">+Њټ)i#`瀉UL쬑r3m mF鵇=NQ3iUpa^ j˩P(eُ/Һzs5[Z傹7B4oL[4|%Mw( 1M,gU {yT?DX׿4-b,rTa3pqe;AZ~1U%TB˟T{}SZ01HAv]OepIaߚ,$$Y%Rna>_jB&SAk/6=? K5ҵl@R:\!8mBܢ^~ЎADRRi^ 1aC$@2c@7Z !7 2'^p`2b{?9oפ zߜ8[zf͢b Ř"=%;ipOʣٝBQѷ9J1dB"BzREЈ5֚c*ZA(WyPm&op.4IRx~?4X^偎5т<4Bo0+/`-=8B.? Tݫɥ2款}MnIA\Kx 񀁀Sn^!muޅ˲3Z}cDyjkRX}VG,mLhl6?B*R3,C. U]+$s,n}|WS1죾5_/r h/ˡuK)Cc#T_]2a UM=:$r&}|jJ9 (tTn,hy L['Z8q輹IO;0 /Ez|R.jgR!BFM6:i5f<<_BΛ 8 "lk g|Mp/ X@|DhT)Ds88~)R&Sػl3Q=`cmIc aա÷py[ 6!Tlׇz`h>@$+d]@8|I!B`ct =^Js9淜w.oMV*LVm/:yr@?K1ԿE9A'4fJ3ry4$@enf-boYlD/„E߽/J ۇ!/ 8L)Ym}R$L3|6~2`w`~3"9<_nR$7 v72;ioجjŇO`nw!D1"\d@kQG¥K S뙏MD\fRA׹K{-9igCq  mjGj򍬎HkAQ5Ѽ6dZX'ofɩZ`(^#N:=p{dY-q@C4K_GI 6'q@xxx2: 0|:ϝǂ|arKZwP-3$ j$Zå/yqO#R$ji#`t z-V5eb`x xq"α_@nXAV,HFq{go#n" Dg 8&Aô9Mܝg[7>\B4WF:Lq& y(dWx\EH>&9|5^Jw=yrÖoWE[*ˀ۟@tBb n( 6=񶫳"(ֿ=X;CLJd8]dY"OBb w!cٗ.33;vRI8e-1i;rKLoWic!aVUOE+&@8ۭkX Ld. H3|iޚ5boD3LS@,IZ)`vՏBWk? !WY$ aɑmg"@IPݠD=*$rPp&9tӟ'9q3g�Dh_Lv-WT1 Hy`ZoiUR-@CPѰcK[o`kfx,D YNu̷þ v, 'm.%EFolC]67c8aUf<uC뗑"Ie76~-*цwh6[PVԺ1(g#ϰG}LtUgۊ@K~E.$})xhQ?cg#r_X#rg#҈I'!,_&(^ t.)v7[Zӎ͹'˕Ŕ `sRKLeO ]*<c\VlKq|8M4|'6BK/NȢ]qi.Bmޙ3Aha>wY5') b˷ C$iG"%޽m)?OR1^y ^ytH\\Ϛ/A  8**lzb?׶8;)6U> <Uu*}iC!Z h:b#rzύNùuݳhw!Z,А V!9([?Ҳ\LP^o+]bT@-y"/^.EƖ'ƞ 0%9.8OBL]0&(W3ݯyز;@ϝ7A^7I:fB In<,9l]_.ß%H%F; }7V)O^Cm`0hJ *jN<} ?HjzFن)RgW鱲7/wfmEo+:;B݌^ЪgFTL) |b]MֻGn&>xZ>'﵌gO( ׷ڏSQt &NI;MY9}燚Ѭuzrʸ2dlݭM=3Y5F7,ʨ֊Gד<6afoN`-B@}Է}r/ 02- Aۑ-pZ}7K[U,@ +;Ҽ,Zԇ;Js3Lz#jV7V p='uRu ZuǨkjBx27qk)4 o5Ëa]JȾ80K丌g4ݽhX#_"p_ /ІuN 7p,b7l剆8Y")V74RUt }oi1ˉ>^'>~ 2הfm5M3 }d"1ԥ7kT1r-IZ/!ʨxA{ v3+T Υ f8jjm# ay˧dM0-M\wum-@L~o>hNpx4ņ^x\aA},}wmSRxvfmQ-dޏaDd#?:Kk) dOdw39rUlgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږY$j_q[bKhK?T(_̨^:Gl[S<L8,Tf'aā7B"6t|'֪Ymθ2>jDY#iT2ݸ9fX: +{^YEBa1PIIq5U"ggZD8ܙr''ayZOEjC@ƒ@j[ϛ]$tz<05kBǭOO'j|q lzM^?{4@c;S]S''k XEU{BqiG}o7y0AVK"UA U?5R-v7Q 7Y.V!0Py}VfI] k}+))ٟGLBvs{7L::pB! ՊKL2՟kG %#%{OPkBSK'p r[1z25RCht]tF8= M7:j"=B3]}nblp£(j }8,cH2%VFYW#[=աlK)5GV:8M n璾1QEa-A--p=VU Y1-\ln^G7O%pNl2Cw3nmp+ McKAѿ:OK@BlRۤG眕AW6CnqCmrΞ0/g6bpkÿ_&˪KHZfC2 I; ",c ;RgYZ7zXZִF! Wt]ŗXi%Eb4O9S ^/_FIe4D֛+{lAf 7,<{~3m>FXPvSnMU$FoAyvF0c䍇?5kޟ/wW9*?"ctPc'5V2 V#D>ƭ8CbvlXdWo{3}}LD9Nj}IFYU!c~ޙ\7Z#_mwa2;vS<_ D7 Bn{OijҕoD^+k Ur*"w0џK:*k#cPqmmɲ93M\z5’"L0b}BiRh*[M O*PZ{Š--!dJ!#X|z1e1Hk6I08|gwյ)Kal=ޣ uMЋ IB jKꦐ˥"d&عQC٤Ȳ^`ZF\;-.D͖<3ZK쮴c65=*:&Г!E(}TkE&aG%!COpEj\0eق=B~ume6kwo'#i/zit ,I#텻`@g}iÕJs,b|Th6[_7jo<(JUzz%s^L нBg5$cmPtbL2.b'B[Buo*xq'-4^!SJ \V @aPjű҉Ά;"T2޵4e!驗m( cf̔(H:;mO1-ƛPn<J^ߜ ݝ6 [2m8=fp35vP*lL\*vB[ 1xIh(8.Ho].TkU`{;'7O~e' ú`,c5q{9r+d ]17@+r^`N^x%)-UIwFb4y lJ>9Y!>hhbJ4?mggkMW/^M~oUΫ(颔߬& |:yzdY4dbo$*ՋWnp5%n"*˖6X\9!wuls㦆fzFI7۳ o)Po({μ㏱ʬ'kNd5%jGK{gNLU=.n<(.rBA/9)~:׮}Ktm7FNdy$¶&HU:G}7x\"f_["xb!DU#11 ޹ 5C?ϋWn@1CYFQ5eP!u͢c;z2v6Tb:BI9\aYKވ^(MFXGpES{)s3(-YyDް,ůlJ#hLɮzv]TJ ՟B  Y\*֬ O\XQWfZ >D9-𯖆,m38~,nȹ.RDvE3-ʛ_M]>Bm" V뻻ٰ|N@%Qe `"]౽n+S(0ĩ=h z+U=K𺃖gw S`U0Aq!0=g{ԾOjT OSLr=={j>?\֎,#+>Ux{ȶ B 1GpE`L6nNQ(y;utN|Rh(oyCq@S G}Q~^S"zlޖC PŮ@`0K1?GcR@dD'JOTkD009l(eq0yC8 aYX* B}Ru3=Oe(Ju{Rm AcS^ɰh!1唯M@Nrۗl#ŞnU2kk|OԶrZjd3B4%:jWAb*Kf)h`nK"Kq1-T+!Mit M@8iu#4TLYsB3\10A<vhIM]XZ)!MBXh2tc20%ge6c>#7=0I.c}ͳۓܩoy s*+Eq黜ޛy?<7j9Nאt 3;qA){bVQ%ٽ>Iqe:cηoAbdcf최 $&s)sZ"a z`D ѭ~b937[AV 8f"HՊqp-fa*}O2Y5G%[ՏG *:=lhg4BapCG4eTȹ(S$ᩇ]e !n%1^-pDAmr 6isO%Ip Uc>ʸh_`J{59!J28a_pANU#цjÿR2 #/#X J>D()yTQ9C\$+굻euژ!38~nAQZ] K'r<6r_M+mxGIC;]O~~ ".)eg$%1 )O(6:8)M5m{kMLd9Zk/r^<l2hFC/>M!.Nń %h[.ܓO`.p1wv@j`<*c#5Eq,-}(}>ʒn(reh$9izI.01.xkrRU>Wr~4Rv`$9SUٸY9UX7lu+KXw")+BBvw# eŤyo+m<jyipX퉜3rn=)O:=N~j78tcC|B!ؽM@ݑg*s> ,6SCt6nr-_` C``\ëH]9l#dwߛ87[_OM_)F[w<8{^ 1HY.,,غ,Î-#n%8~ҟ=n1;( O΍1 9 ~Xi^&WdZ h tĝ>)g6|mv R,NY)!(W鶾vQXx_ L"y$1goZ~8P^%Bdە"^s LR9htFr1am8b( Kx;?@ 8XMgf6b?[/o#%:Kf"?WAGI&M]_dXi8#VÉ=AHHp*[ wv5q|xJ{Ə[:}TSF)w<= @;.b tT+O)[%fyTJ:wHeEX,pI@5;"$0 AZJ0ݦyF~Dޛd_p&F\Yk[q 1ؘ7%AO!f7,811<,& |( 2tZtĮxeqzib%E58&ef.n]!Ժ>pWkp"*DsC0=vL+Bk>}^!נݩ?hto9p6N=uRrXVd$9 /}meLv&֗Bt`s`17?SOd!( B 7|0+@ozA`zd;",r5 &iHKrFRϷ(4X~96[ KZ=]oV.QvE+7'% rbzh߉ LOvKy_@zܹ},2^_!I<&.(FZ=3 ҸQxw܁<ٜg~ZRY`~̬J}z4i]`R2= FCv"̇p]ӽMf.%J'Z]*\6/ P*͉Uqu䜡kʄ^"`,ŅNBd.A)?hOۆɎBUYfTXg TZ[9+˨? -%~m#yZm#?lEA@,#h^C?z9}[~R"e`9B\y#">gp5ؤZoV⣟, ~UٺѭqR_Ha%ao2GEsw v[隐k~A2eS Y/.aW"I~H Ж?EɘpMXS 'LF?xV $Ҫ+]_Nn\.{cD10 1#Zx547LcϗŸ,ߛTqdŖz*mJ1I.MhgT~# ǽYCk1u6xxu޲ O:]J<}urEM#<;bD.OqRcy/@/4"5CU=5ԀyMpAHx7xV`|K7hr7qVf_bbJf8 v؝@BrGc;^'(dd8By'?՚_@? x ԑRabRTБl⾇,DAD>Bp{JOH'{e~!+lR֙j,z,eSE X h Odl'wۙ0(Ӎ{zràJmD]pJ!E͈f$v+P2ch Mߒ1V'wlqIEkbg]+!HSƓ#iǂ~7_Nx]I! Fu4{1\4U.0-jվm#d\Gn1O!: >|oCLEYe%*7崢O缯m8,fL(8o0Mt ^I姟R4\#L3`@/H1>)mv?(}@`Qm 9!͍;jv =v1ɱs>/"P{0#ZZ9{)W1%61gAg%Dyk;33j {9,t=?yi7]e'.`L1zĴlSQyZ^<}|]E5b$gh5걜-@)lU;c4\E{j4Z|wfOo4a{2ʙG6IYr^]>=xU(rശ%M*@-PpQ&9).[jw< IX@nAhx[>r2/ *Rth*gr1@~W#1O Q+~r&#:7Tu)r&ȭ w5ҿ6]Rnh9 {N2eRnoQd]!g/24{ZMq# ޶cZٔy$MO_v&}:t%5|g ׄmɑ@YF3u3Ar"O ɬF!2.ftFlrE[!Z1:גQþcr L{v,:D@ E|4gLW5n^4 P?ƒajH{Dᶢ8IbZ\Q_+@ $g)@|h/XO_7h9жF+G+s1Qh2(20TҦNU6q&0&;P(tducSt^cKFH&/޳+H~GD[h P@`/"#@T럮5Sh)Suܼ¼|u{6AGt5iH%춀=hb[DNbH>aw\MXp9RhsVwIhޟa)+9Sd)dH_NŜƟKdX^zL:ÀdkX,u5S&'̎Tb]$9Z~i`JY]\OȃAe2h͟g{EՋ3n~8@lo6ǃ xx.ɛqR>Vl۟?adꊏ\ǹ: ΅aB_5ߴ~4oD.Gq9PIN%^ٮ@h=;8"Gj0d{hGSnʀFlc~3ddƪ>EI|sV[LNJg\k| HY,_xNg/'e!ԊɇYCuHh.N~KuĒi'欗l6wp (AujTɁN1JmNgX*YXA|@ƙ KE4"lĐ!%}vRc=P5E7*ϷHv0?ᩀxleƘ]OF'9a쎊nĔW$1+"<꺣H6|}Ƃϐnğ`+YjY֍*(#=e^ӛdo֠`1hIY7S=\e#+ ~uk S|e{GG.R!;VBE|[W4{ZI+tv33Kk  '9ȩH5c`n(`RD\"/$EF et т+I<.|!pe@I@!$ ~ȴڧRlL9 bC(>Ou E1W B,'r?$6\nG~>v\G/Ir}6 7 $B-s;l4Dw Iו~ $ؿŋwH(9ډW ^=C sC MRY=wv4\gPiQvS஻YwVaPpES9Jq&  W\y2Lew'&kS'z]Krd?BV4W 1*M^3Sԅ rǷe"##*f[!ѻ!RP3J쉴&~T-I?ʬ:Z Sʨ^ә։SBRtfTv`;*-)nsl`Eاz< -RN꪿A5)859]LyN !4].0?D,!&5{{\|T4y}m,)uU[5P54ױѧ,_$m#'{-A@3Vf ?W>QV9M_PP]ex/0[9!Qk-a*C5--}Pcշ+dFYZK@v#QG3E}ϦUqXEv)OŁnR,\,Xi+b{yjVrƚ`Iԁ-C2v c\}[ R% 7bg~57$eDE 2Nvl47懙JwsMVb/‰?!O"R_z P {X^m8r e\nTkm_[5mXGh[J1U.̘΄F(MK;E!z:&FndrwDn(^@uۨ8 D+{cg(Xܮt)a 7H?Eޗ qZvMZtѩQX5(' +ZP:&.BhAهGgS]r,E-Uh MvVIIіZ2T4"9P#K$mkth\k)x>aHe^n4M7}KҠ:ۙOm2Rom녳ZMJ%pfuޓXz<>!J^ Y '҃ ^G4swؑ`Leo)J]LT&0VrERJ*9\@K[=HC4G(܁ 7p3x_EQ4aJ)x93W>89h6F΢0/~ݭx3 fwa }8xH8F˼0n "xG"4v6;h@?Ƈa)oNd9ptif5/a!Jp! psxv]Ҏ-V33L݅ 0,GM&@WОzVgO.9Si3(P1qkzq~7khy995L3 +D99Z|9pV]}cVR/Uck V`mb$b&mZ@ [U+(1Nhu0iP0Әae}U/bWw:ZED .q*NQf++Y*c\[ ne q OF?4x~!ō+1=`jJi%e> 8ќA4jxFWV#TsKK*egyD(]M~`kehvU{ \裯Fh=3#ȅI[i(82'3 s݆|=cE (H|ˠuQ1C[͕C9r)+ɫ@2bF§sy53._0ӜR1_d*DcxVEw&}^ד)vlNr3?^gR"M>+UrS߬:8[Q* gvBa@I/WDhHL@Wi{(j6Yf4#/*;Fq#q.ۜŃ7?+9i>GlC2;BU n@B7,@gs[Ѐ `WJLsAzxИ:o;5#x $@̏oN0FPM_/1^᪹,aiĀFqlN>t83~Vw.t\:JWE{kˏw2/Zac ߬;K H*Z/ %]~'܍)"t +}d> 'M{+=NNgfR=dNny/fZgqzdNm Zo2R-H,[Xi[̻nMn;x*3Vzݵn>M쎁d.o|KnP6ϡ)ѽ/?P}(}tcSZ2تNrDrZ/Bz&}|˞Ѡ̨)㬉~0t**Y:3I@dfT,E.>v' ^ uIZ/"4> `%o~5g^Lrc$%лX^ϫ`ݬoy?E3DzPcVn"T 5"AeeX, mN{AiYzҡ5s oy ;,cksط.nDLmt(% Qj&qE!B|q T^-YwJ,Ɣ22^RPS^#5(B1gM3MooEe4/LV& " gq$k)ef/&5&"3sA$"MLj)Ӳ K5T . Sgږaֆv^kyF2\]Ib ͆QV;8-bH|+$dza}^Oseܗ=MCzaBE7~ZZIoˀLd7WÈmwhܿr 'ݳ$H>>fO|CF*<@e Ö+[I3WۤQ;;mڐe4rFq%6xE3 IrɻZؠfF}2S&0>g{U۔u<_PJGM@~}ϭ8쾚_ω,s]IJF(OyF/|Z~h㭼՛SRB5ce|+udL%_'7ѻpJ3eQC-@(q:Ѩb>,2縪Bu:8*ᛥ[ǘ<~J@V@-/֒¬,%XCzN9_##5b >kiג~ᨷ/FX}82r s#&4Sb*j\,Hcrp5J?r/Q;P!KZ}_ڐ9i_)paQNϲ oC$wƃ,Q᪽#Рm|ۂ 5$?E[yaӗX+1=5eR'0 ,^_y0gR'a+y.Ikn'g*S71n{o["X,7?ګ)8N!{1NHcsVS[}:_'hguJlI~NQKwveC+kLPzJjo0{$qy m'W&)%5Hf S_Q!aF;YD8W)Ot $NPٌ&6@PؿN+ܸswPZ=[)vDYMy H+\?,5k%,T>BDžqB3p$xvH^+nh6-/IXfhhG`XG/}⛾R^k"*+VPϊi6[WHV3a"D/_p!5м21aVj>u3d tw+x]uS: 4W"qn7cOJ~ [8\RḠ}RWu=v7B:4OOFv;:Ste '5'-@XOC*㰠C%O;NO% !"Par%\@I6_/;#1DU"ʹ`,} "E@GF܁gjQ8bXoZ_K'UKWI6"Oi"E/AihpkliàCsʹN:; ysPJYSoUdGhh\;vnz+3,pDzD _>}ߠ"Aqrpp8^e'ztv=TBj~΋GF_% j@@ lMЦa֬E|[B8-K=5ە&yjZV@њB}v ߞ6DbsІ&`xPūʫ9,0.*xTBM9R %BzOP3 dz-c'07^ F p8L:d6Xztr ִ-FzZaU~nOLC_@h6Fʨ~ 6-6FinK61*YV,`[UjmT)?]c1v2e Es^\j^PMv`FɎ]"x^sZY0Aa1/>JPkn! ;0)E<oi۱C22U/{%1\K9LurKԛs _E>pߪ 1m`e.]]d %㖾V?R=o"]JgM: aL{|$xWj3?rj%vr᠞`Y yx'poXq xNZ^D:&Z`)$KfH }%>aY ,W!rJTi,d{r Y؄Qnٯ!-Yԛ/N=0 TBSQ,=ڢw'&V.řcOLZ 3LE 9M]9 dQji$iah{9x5EňR&teD?w,4w1MW|<"v״ [;v ь_c7qf^JEA2=sF0 yΞ0J9PIR]xN0KcaM}ݪ* #A}3rsu0L5)ƓeJ5+jAԴ (HbF)vS s=X4?%7ob;x taz] a/O] ]N<"Ȇ> (6jBzL{γwg$$'$PCK~װ$" dI'.u:'/ J7kjJδ|pK<~ 9ٜߣ/X8˭=F蠪6ԥ/< +>s$lQb6 V^FM iQa,y!qeތr6Hqb;-1,X#:]aŽ]:Wa8#x-[Oq~^Z4hxd;@ʻdw^1@IUQ{Ks4{Agmi;_8}alz7Bb {&(0+fdc ] P?&A0'נjD?:I(y+i8:z|g(xP MiI$SvKe$Jۨ1{:h@&IØrT SD&bj VOѩu)[P: ՐkG/IZi7;`x?u٤NY na8|g),m;4 0QX,K,bDQ [[2_-k/(C͝ 56oVVȴF굪~CaAWܒxҎ##(cGznٮ{@:I3NĝHviQ/4n_vݕjߌ[[壮lMTBJweHiͮDK=¥ D˜M' Y5pY8g^9T¶ۡ@D<۷ *nYMۯyb3W9i VazR ᢱ;KZ}8┮2 :g Lwh 84D%QV[(lJW]@vhr`دSu 5+)GXf-  3#|C}~pV>A^}=v]vWxVEM6s)]@WFZ ?pYa?@r 8;- !gZw 'W5BJكM٫o2];[x*\y̬Ӆc )*T6nVEcmyH֕)苒v2.T@%Zo%mS|&@T-Z?mzby7mKkw Dqdnaw*BA95Í~׫<<2%c c$źW 9f6h (cţ&O݅:r)(6yWKhTmv9E?c۷8-ۘ}\/Y}iit8PBꫡOQ'QwE+[n]*]{t-9]u/*ULb4:U9"<'p6`"侸I (-=!aĮ$x  =X>s <(J=)Ƿ\ \\@ſ}[nYa 4 uKnX W"yo@w {*c˺*&(D}w]MMUf Mr_˾_`}fHCB-xUHba\RBZwd*21CbŮhSr[,W|8ѽiIE Iﭣ'Z/&pd )e Uњ6?I#"JAk6~hYoCSqR}<(cɔŎV8t"yV=x_C ܺ( =O x?G7(^.c!{1sd$Un|--֓!Ը]ܚJz΁AfE*plHܸ<_8vWe=6]8|" 5 Lw9MZMb[͉=(rd*:"_HT&_=,uBl|woB@y#Yc+ʊg cjpb>g=K00`h:hVyR-'YC=7dLDz" wܢN]x'=.`jV'R9O~^'^9e)j:./?8H9%lCR|Gi? mh+*%k=@87 &hcϓL&b_eDP0D$1R VqT[ٺ2Uv_conȒ ]&,k'{|vB]R) -5"{'KDNYnFC+e$ߑn6R`}+z&<_1CtAT8qIBkKs8E" 3N LU  NxSZdyvdJ~];M|,߼j!taEoSAG/rv3)Okv?qT$!j׷`8+a?kPrGEUفqKf[EζUTE_HAt_iT7}$fʩ:qa$jx?wy!hEG㚡=FE!ƥB!.Em{{Yk ȵ#J˲m2?!LiK/+y+kkJ솣r .POO:WTߓe%LX"` ݲ㐀njYYz$\(V.4(*Gdٷ| m(hǰwD@u+97cʪ2~=Y;4:GU-_;HB0- E;clKv}2ID=Al\J֠^"Cu$)mK1nf\d=f|3chxBlì _2R_Q+[~Hk&Qg$u mz/D6$ -o(lpo?txQ'Rrޯ6v55]3 )%6Uj%˜y')7)? 0a^偁pL+-$r )aL 1y$DS:u ͜)2. cK`e1 g^D!&/ ;B=;5_H.6VBx` s]!9mSl,s̷tB 6$^1qa[) #5vp5oB"_rQ.:`4RZXf=(k{];3-PJ"HBV4`(|rꯈ2e*$Z/ԁ50ZDz`0w9֜@rm(y{țV4$K{ҟ59!F Mm¥rXŝS\T,S9,f<Ө&ݖ9t]lM+E<շD3ڶ0TNG5HR _W6I$]@=+!T{K:g')Un6RoZCDs x8+&#zlҐ; ܫgַc}vוQe-$0-d#hOӞÚa$[d bwDC?uq=sjAf!f81Q /H cԧ"Q(Q1s4}X_4ȟЯ6bz?bP}؄r$n>督_^; Pg )9Ns0Vi1M;1wU`PW/k1ıo)7x׿GtA8 _Q|v)S"| ?.~eD$xQƯ>&N|R@j 5TW'vJvsBSq2::+o DB1F d41㵪5P e̳76.[vʛRt+>'|ruR'c?X)9#fs唛ɥ%Yjc`d4ʼn8g]/kbBUMByhvQ M>ܮE+?8͹W|Ea9FcyD޲@7Pk0ws҇~ci0Cd!`I:wP=/b[_Ӵa7N{#sܤlL }ͧid\ uB W-6GrOb)m}QuaAeD/뮿E=.DO4R$UFnTr g &kQǹ"uX]NEDg~$uiXגYYH.5dY w5P!XY_|SI['ѧ  d M5UᏥ;,.NUX=HW $AS}l[,:? 5ւVFrq{Zu'~t[w+csSm9 3#/ȸ J#A(\V;V X_Vem9ȡ} -d_ PPd"z~]x(aFV]fR(`~x_F曗oHZ_d-Q(L i6^`xlhЪ]r'&fP6"`h-iief6jgppNKPs+6 I >b_{S2ʾE^vml: Tf"9gu}? D<)08D6p߯ȶF=|]YC< @ǥHװx_I{sAFÔb!*r`㘻x=/J'I0K:G$(5رsR~'HP5:^[^0BHQ*81>V;B5J Ք*G{좩'E[>h_F$h\@IEcibp9Lѓ*=ȷڋoz7ڌݭv{XDf>KOqxx/+55\ѕ#2Z`6BFLtv(!o@q a{gzp:e@;*qj 1Vƛ0v/p#znZ,kHC4yz3 H>߹-2AR3cFlyϯɩI@p+* USl]:k~XyRkҋ(i+hĢ~x9x-7?8~9/0HN8CU"0'c:m7q!R<%/˖6\}wBs6ߟe+?"ʗ0ϖ%b{:HNzQF8_ 7ˏl{ƺS :ͣqd"PQT<:r a6.wUG*+Ti)>}AKHןӠ -[)bC FN˩CH|e7Hv-@xd(r;ݼ|QkSdB% J7VHme?vz=;`f"yOvDǐ>h'taǥVCC_ߺN©&:$%t©IM] G,4 $nT.HO'a_ ŮxҴm+ŀ`ZV6*C*#m6QܳU VXHڗG!?($v!ؼmhG;fq(&ٴcg^!y"gtg4۵Uր-_{ԹGT$[Ҽ74;zZExFǦ% "@;!fA8do$D-=G&H8 _RjS 4FL]y;PC~O<ø$cҝV؝f56wMoޝΓ _9E!x.W;dxfP-G5(YfĨu>,=cݹ= |nz1x%#ru'FAy7 ;pm۞L_YHM{4F"!^"mوqCu j-Fe38iC^yokX"#:kUԢfH RͷySٛyX3⿊J 7dYL-w73S6ɻhw.kE'uGaU^X`3]']b0MҴv'̂Eԩ}l.T7ۻBr+IU5BPιʘޟQ`p#GPa81+l +}t"A@jD vY ~g#tzBZ#[QaSVE_بHP,K$U9m}Bie[ $UDN/сKU1dqlLٱ ^LF;+38S+ŏsM5F*ƞ=rujyvoRE^@K[?KnvS]MZT?_cG6}r G$*D( $z>ios#{lv2Vxa*QEDI#`V-k=wk륐O)=yz/Fas?:"s78V^|g̦P>RnxҬ7U,8Q6fUtM Դ;]PcԵ }}\lEHv+)1fq#wS¨yQy hL׽؉BR/ YH}X\ %.OS7#);'% /#Qa"1i?sEåx͟g}浃6Iɽ5šnY]eS(jFo RNsH#C 7p4Bvqjh_mjJ]U;Ƨ^ʃ C0(6Fkp; K#{{䨐tt!^-nc?EfK- <0 hط!̪a캯^46h΂0/HN 5c֊z3aNi4'x ~|8kBt16fIKjpxO#B>^<>Fi]޲V8+g7J!d׋wc$萓/(}`*C> 1{%pvmJ.(־,{@/AѤjW#!@EKWJ5kׅN1; "AePd29=/BH,|Q6ߗMEXvU&8v⌞vޅV[:1 P}zm̙%B $ 5Φ34 *X?YaW\+q7\FQyU һaH{#KiV)9wLBl2o*4C9l-UpC;C(AtD@,q!`WnҘ} [3}EzL!G?H9)#L 3l9p )~8p3MaS4{ovEyJ8H&OTSm~*cx%4k'Rzv$C򉰮M#sn}'R )n]6Yj"pՑSmyI-`i \0*.9=ʪJ(wn\}qR{Ht EImRh->~]Sڨ}J5[Wœwe@tight;^t xʪ|7n"a(.W&D"e? 񤕽2QbK@3Ei Йf׎DóUVC.EebzH4%vu25ai Ur$L9ĺƒJ;}Vy%1us%?vhCVi ݪ[4 ΣhZ(c~K|/@<=uksA LC"wh5m'c/g˛%,6I¿I_rLMT5v {I\¼JevSgawuzs|B+A?wbÆnU)j8j]&⏴CD׼h*8kIe7TP#G~"#`VCo)כ!"g@1g|.]}#8 [39KX yUuUCtqJE4&CY|\VnG;b]956 F;fu%cJ6/C*S>:Nc(JeSqx Hq jJ>QDX|q.Wr+a=R¡A ìɦy"t^*K D@ЛdWݔQٗŽ[ 0,(CzdN2V b0@5x@݊(2W)c'3~pD)nW-`PXDzm<؟$tAR{OK8DDFl N|D:XH_a V9 tǦW=g)ߚ#\>ҨqN_\BƧ0ZSS57aRv5Į \ 0T|75o?fԽt1GChB<67.0˵YIh։}aL `jYк1⤺VU]4>tC]+Oԥ>vϔ*?9ҕQ]`SF^\fm9 nz^.1 (KW`_KsB,Da۞Ƃ2lu(drÔ'z4 ?Q&c? ŜIC C}uu*и Yb 4ƫYzguBǃAT+``Z%md2E+ ~kvϡ49&=%i4Q#wTYeԇȃ s4DDDu?_ DjLz?I|ae>$s jh4c'qv GJD{핇'=r/NFFHj{Dh'5,wK)b .ka \og f$ |CCqײ(8ީ 86v^ut!PN(`+(pIhfܐ,`@+-S$1c?8c @* 6J8 ;MJa2߳[ uͿY;{:~^UtfE5=wO/k{/:{&"wB-^lB1!TF]ncW J6x_uЄ戏8#U8ht{U'T-q9gu"My O/q" BS jw%Dx6229 W I>wz_}y`bqEtkgًt`NŐhUh}(lkvu*{̔cox_N 4@|<7q9"e3[DJ_Octo`sJ" D}#2.s*Q.ڥ?# AZ| /kA^ws*duR,'9(\ iytMʺ %~@((H\u[zۑ/XjNLzM}ENJ%_JB'f;z\v4 Sw_ ̤<ʋFu4 Rҟ3z ډ'6DD bN+R\#^63CNvl+6*̨ۆx}tM>=,~@lu\Yǩ#n\7'2.6JMFs?jȈUT\E \(]^c!O$l#Wݕvk{re--U';J!-ˁds?eOv>d`uv=;fZH3xjH,˞$ddM '9*^c  D<,( "p<ʄYO{9/ɭEI^?9᳛TNĥp `FsKKQL3\\C 6_Rk,crOV$q*\5;Z_lhesYb%#g;A )FG6fA˻TKgY'N%΁ȃ fMܲ8*?CMnmr6ZwHW` /QZ=H`!Wj\9ׁ.,kP`m7x;8mC 9~T LlLMԶu(N)׹O)#Fk,5#Yj^\o*` ډhgʞo,Yr}?=lS?(ϡ}8@CY@α]R֨dvQ8G:LnȈ}lW]73!n K~VӘ.tF:>î]qT[OS{IH@yhŦc .ZD!SWbXK6ǸV >xO'F &kE%5^g0vץ r] Jfiݏ2_c cC=ÿs?gpw`m(W~ |(MR>g2t`nm&)+݊w`S:iP&c{OBZWB]I9=2IԳ+0imFJȅڃ 39Dr6#`]<ZBN޺ 9b5jLi˘VzQ[~Hމ^@o㳣Pn(zyf-GF||e(&`$ߎsJRlaؘ5d^AY++G` 9U~C_㟥   \lwIQՔƠܪp^sȰ$qCr <ȝm!DO [`CHd<(0Fl; I [NCF;3[+̡(H&LT䅪R' (Jl9;Wx6P4}B3@PZeo %QW25zv5!DZ,8[Z"Vr|+̏FMӫI`ƲT^RYFTj|7wsS<MW%g^VƘ>=]!{͞OZrUj[Hg=wk1]J%r!AG [ծ)[6ԏKCSSy%.CkgG{YԳut!6idd<~e]6atjɚ $ a۶u%Hkce$cj}wЕZQm[v@ Ol"3CGk&",8wsAc/X< :Uqf>1ZںG~p3p4|χ )U}iHD+ 762xEs'5{nW@wM\y?s," >*pIZ)$Q}bCBTšJQ}F8l ]_VexHqآJ\nn}-]n_n'Oeup`ifT8)_ڗm`[DJ;/2i1h:;rU9ʲ{fQ%U ۶a-:QzdENjƱCv;h1gOGƫcp|-p6R 9v#W6ALI~9p TjHZKg i086A5jF< VT1ƒ(b@q#HoԠs HVDu# Pro攲x'`}-[2ILj&N wAc4,=[M[5XͤM{!5`_f; Qr2E\8D҈oOas0ʴϙ@yiA<"Yc=e40tK@ 1K>A?K7' Yo!I/-qD( D|+M:9!E7TWTA  ?bXA?XĵL"fVLaG/]pҊKctXَ!1`@dEzhTָa+ժkWrw =B3ɖP+gѿD'f{iv^ɍ%i:.g,0EC."^v[k~jW?jjEd TujHydu\| 0EtkE'~I`|ZlF99 ExT^v[W1OŴ/+o*'i6Sp1S?IY*>M7oӾX^z2cw 9ru6] M+ZA\}ϣ,1]ÔlE/gAL~$ &0$C M"eY0#jC)_L3rm'.&mCMihgPN@@2Wk xqq.F&QIqr?$ƪ~ BK*.W􉣵݅nMŋQ[*EGzdKsml16b)ĻK5rj O|—BC!CL0?cج Cs!mbaNkr@GOm|:_/)'"hZMoF>|it0nn4[|\'T*":֢LuPx:Н͈?>u39ThS4[-3.?sY3'&j25T2VĚ8gN?o10v ]`w~9feznڡ;"+M`+%f<~~$.)}w>Fj"1է _%{ |.EF"; `"[|HǓb=Dd]4sA46.Mok_l\:1oNj]wzyV4+`PYN˧ey0RYPh옲w( ߗKH 39ߐ-5 8*7&bI`Av%/Hwj!W?rtO@:k,j@,}6_j۩f |^5s Qcۚhއ鸞~i qmO/`ch?{7=:b":5o13 Hӧ&8d1$JQ2uV6.^q}A<iI6iTK92i*{cv!E%ck e|PI&r 㪇h_%zG-:W?%<1z*?D&~0el  !VoL @ ljEZ7`=p}v9ګ^3-$yBv8Hd2W/ѹv=XN` ғi8Kz U\v9>:Cg[/|CG$3!_&P`GkIeqРO(Sx HKwu=I^[̙PGEP`6}'Des/>TU.*hPQOrh0UpM4VF}!q+69afC vXC>ԛk,숫EW`lt;{h LGtM zΣb:or(_Șz435W&Td(jV/1+udP@\yK;kiš#qޛ/E3ޒL$3T٠:/{)_Oy}a bςȗU}tO0reX Ò4{Jy;9 )Kꔌ -YBpC `|uNV6LTC_r8HXVe<V~59I/o\CW e~s lC1 1kyqȲD,GRvyL9V >H^N^9rʖUE.-At$!C6ZqMg;7%sV+QIBs!6 .dojv LThpQiHq>P)O{*h%!Z z= i}vʔhx NG"&? mm续H̞ԈxTVj#EF'h"^6j]t"EQAXptxW`o \gH^C#8_67KV 3QJ%" YpXD^Z'MS]:ͩ#V\@@#pt$Z(z2GoMߋtnNp44pSahørD"me:-JOiJԗ!ٷk>-W$Ύ_z(hFZ%Ȃd^hj\ZknB[A%(nHfvCu*@~UvȮyIC%.=-HNLq*kj8pΒq%p DaȺ>n'6Th{0AaXlpDlTD-"MBuPüB%\UDd7 Ƙ e(:ucfP۷I4e!2SHaZ3/'+j¹6 ,1 . ꜯ_sn?.ﰪ亙n6JUFlB=w;q@[&=tG$`''}&շ=ž׀e+-j3}WO&)5TFO" ]z/w/:̿ڀt|a#Uo 5(D^O2t!$u)^?'s Vw_^Ylp+@+s0>}7($#d! ""K~ Ei,SQŲ]oA0-mޝN||Hc!-ƚHQdD.|UR=.CXEF2mbX))7)>ΨP݄yjD w@Md$a;aD{n-'ZgW`sV`>qKi8[:RrCPQa@ do_S(dqɡ2p̿El!сq<#QbB+= :.?$Ba[BXʃj9_tՖVYRoLBH 7+d9O.8fķ$TIwokT)1W2ط~@UDC Sޕ箞ف|/2/?8x2I37F^J/MTRZ4/KUz?BIH^9>L/S ۍHsZ+nfYRVyKQ@pP%REW"R[t ڨ@1&¯1$vgYZ833ad549bdfdf4e122f2fbfe0f3baf1d3f23c03587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc 3653f3ee21d5d6a13de6f906c85bb9c93c8f8616 5edc0522ae4ec45530ca9111b90139248d8cb38c