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 ,, ), | ]% CakeML_Codegen:threads=4elapsed=551.100cpu=1550.556gc=43.684factor=2.817zXZִF! 3 ]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>k`%VӿP O L*)UoΘ:YP^`~Q2-C%(覕#"%x/]P5D~z\;Z,<輤qϡO~̷v 0niaBU]3Z k6hjF ?҈1H]<_Pَ&Yʴ PoB.ߓV3szQYē]cK CR%Q,oO:m%,>N1͠4o%!J+,|W鱇Ikz-"XlMO\&!o][\|`@~}SœJ?j(Lf %gS~ v't"2<:Q!F\`Gc*ػr~5sFɩ(僬Y~3 芚ӌX]e5y&I]V∽r. XR)qaU*0T/._A{\ &\3goKRYN@)2tx!] g"oM YE!,ie9ኢxkN"93R"Xt,,>)ti m}pgw}Ar0eyUJ0'>y&}r7_䗩釓{j]Ϣ_M:ɏaeO.gUI\Di"‰FDia8f?Z2/ ߑb3cI4#tR"M~)"+UP-qɼ7dю\܂T1##֑fe- h?aJNp},CAhc#ut' OњS2=E:dk+KD/y 8=7ҺMfƧ뎱ɁkZn/ԕݛh|vibL+^Ѓzz8dx$?*F$=4Pq 1(p<0LtVt,^u*Q1 6*XL}s"ty|PWǰ fY\gxiAePľ?po:;6d kJcz71VJ!HD<,L}ə< qghNpT!zk9ᨌ_t;`Ȧ[lbɽsa{b`'M-L4mvǮ,H؛~qIG{>u 0ambbirqJ[+/ L<H֦h1aG#r|V{,ᓷ8{xTvDP_4ۚ*U2寥Qf~!n&俏 J8{9Ҿl;6v!o,;d^p/F~oU(6d@=<_<{"G/*حDdהOv7`HPqhp 2hإqZ)xyK@=y_oLJ%UaRB)@/ lAzS)Ě\ꆏ'ށrWR0Loew;jkڃ\H.T u{5\"*g2xZ<m_\ʗd f&Q<?T: @Ęiަ)'Difh3,WZ2|ZQtlQjVzh8dѼ+E"Ŕajz+, =^ `!l!R?1mW? R/D'>>]A5UN=ېoč>hH n#cyn`uyVj+5Dxy,a#b(Sd8dFt+| 3M|Þv҇糞QkcP:1ȍѝO`at F>Eg[l>Qx|byTg@qq'G'T$xav>䜍-W8,רF qдu Hn,ܟ!W{D9's[u@lBΧC#(=,](,qy8sqV5)”{t{|R̼Љ*S"WX_jf ~"^aEH޽ZhMlR>EiDj8$rA)}vahӉ$O1hȓZi}| ΰ 4_'o^a9^zz=rǛ_s$1@ݬBzO4i=Q.NY24{ԥ׮y B}//H}vGX/n.9.#Gp8FAXB7rMAHZ5NiW{!8$v;H‚Bu U/Y%'w 6=zR6 _r4q|Eq޶HǠB !.ٍM#}܉YP _ykVG1{v3RauN e70چ!fa?X1Q"C"3IIs!819-o#گu)p_v:wJP([Tsoe?> YuϾw6l} RLP7YCE6b3)☏\xVN"Mއ DAY/)XUhrO0BBh<4-Z:rd h), IN47 Z#+0(ɵfhW ]TЖvvtJmS!}vN$!ҕsi>Q@iF(ڂ0m={(C9 9r?K[b-i=o8F&0 lcY^ a4 ~GUj'x9+?$E(ib4?\aӣ߃W%wuN~0O-132_Ҝz=Ř>u 86XlEy G m*{)Ň r k ǀ' gN.AT~d^ͪtjV~v})vI0bq0Z} 2eX'ٲN)*SgbY}/Prߪ;E|i'[b0Q1qsO9D,ʽÛ|_e|5 TT%USu7ay7]ܤ0(n:+Nsݿ/$GOt5((#習N%4J1k3gEm"M4\k|tRs$N*>b#SHUσbGjFizjĈ@d'O{[O&=S5< ! I}*^-tlQLBe,QR pp$H[2 \ OzrЭi# 'ο ~ YId%B> p|SKp1&d<1:lPyXf7o_:wkW tgp"ѕҕ2{n}&Dp:ӡSu 0%@9$^hC⠏N_ Dy^>?Yegln.`k}Bvy2KaGN.jl7_Zm^znrymbZ1֧l̤-miQYeIj [ZP܎QڠY̷h)?S#4UtzM&T<-wxgN2h9|ވ!X7 ;ξISv;qC%!ꋪE$YW%lgw-؈Yw׸mexE (E /́]u_'&f$2pXߜo6W'B(˚^ K4[m4eHatunʊq%/AaFĚ2/M^l6i Bd =Bzᤒ;n,-(K#16}W@7omu܁e,mTWo^z@ BWBEX߫똅'^L?m۷VgFE{ wrN4-a.UgqOљBOB@`!RmO3 C<Ͳ\U^W1UޤmLgT:R!;ƱHu¹P-/,7a5zѸlTj!fY1(\gGx}Nxz돺A 92ѓU,g|(Bs=qs\GPڠj VWȜ<(ZI"•G(x-?D-k.*~:^$L\&Cq޿w=y6{*A\ة!<Rcd*P3HyNVVǪ+SІn,IWI`1Lm .n }\DBC(&2լ'Cđ kwċ)ᤡ}}^?b 8o3:kI6Nb{Zk&aˢ$O[{8H\!g6Q?ϑ(Toq痔S%cD>ٜE-~7R8PvKMڧ;v>\L2Xi{2T9ul5.P; ,G>hch0 7ʭ >k CtP l횤o<vJKsI58;>U Dpgkm;z8Q!]8mk^fH^ $(fH1*t-(z܂ nwY\9ˏ0@K@v8ŋc$@|c|fG~tԸtm%txqTy1j@&p%s |ho>2D%`X/, #LBn͉VO[}\L&3[bƐ yd~פVmjw* esy_HIpmA 7ngӄǰ衇WHQ.(Sթ?f0߯fb(8yv}74ūc`͎'-2p9H=کSyGAB2ݸRkfKJyl}=R dtWg!<>1nz$kZS< '/Siaˢd7ךan0Bj\q&2u-\s?8-^ђF5 zY% 4p¾Ge +uK?"XڙF] ZQ k4}ݟlDGQih)y.>Qi$^Ml̏U\%nX Lsz7 |F#1O ј!44ʃ,֐e2:O"xe;Oj8B:U-|:j-LRvH):63y~ШGI^ѭx|2Kr !`1TW] STNɕ9{՟egL4Iy"Dʕ‰9u{vHݝSلZ W74y (F "Qhټ ۥ(lWbiG[,T:/N Mg#}Dy6ocUcmD N[TGgq3V5>y|0nZn9xd.`F+Ҭs]-y}I|PU޳pGJSBKaڻ翇wtr'^G/,$Vgw9QG_gDL?g<9퉮*0_mU7Ap:JS0tŵ&K{V=pX'ɽ7jh+5j*XЍM=ތ Q=`%3>}r)kqߚH#L͞?La!4!` Y'Q$I ſkOe.UDU/ 5Wθ{Yb{Lid< a2;w;ܐk-iZc*(1'cՆPܤ#C9(g#l5j󥮁<17e w -a,00m͌j*%XXbfϒZ;T’M H F+Bl*9!~O Nml1(1f:]`&u !,AM:~BF?!5 .JK8 \%~hm&o0U9c"(PfiفfBƢ·38YLz%(TWy894G'78QW^ 8TsmP1>NEO~A@vmX" mC~*m34D$)`Mg [ c`Qe o֌Q5[f3\UVx`]G9K3ՖF NX~ ad|nFt`tvs5s7Jcf 4r +LIX`qσQC'tϚ6<{ţ칳A,Ry}!=I9QrVLD˨U/;ͣ#t*d(M1fkk|Rż͒O8[ߗAQ|H@4ڕFb@9D[nL݁%'-ZK " H4|Q^J&74@̳g$"|BD/tڜh281ˊ!(\%QNԪ;p}_DKAJx\ױ4#fC Wv&F 6\ߧ. d@že{̍Ku  8gj),tvt ,06b'VUom_E:oK*}"Ks6E/$$zxJfLjCWB;n!.ظRP jö`uM T#2Ɨ>;4ƷpPKӉ”$1~{4E?^$Q 6W)[F! O肶h,Oڏ^YH`QPGOiGw1KKJXC602FP[g"E18\~ၺ]b֕s?J=8YLBp !pL'~~RSSpA]Dž|$Diz2@-T:܂͗p~hwӱTH\5w*|r(Jvʕr[ 4 קrcpͅ8sUm %H"^sBnT߯4VRC&μoIƝX| YO6H vPD` FVń&yœ癧ϵe4Sm*lɬBy3n;r[IsmQ.]\Hx4|N#j}Դy+0d':BMԅ~XH"1zz.LQ!pśmVV7ݝhsB,-xB %K 7^mhu±)d!o6wufdRvbt qI1F0cӔd2 -$iG J](c OYqF=c*~;$`/jC\D1dNhgWlYt#i5g!0Y~f+A^6qmSo$RUVAfYfc.^rEp/V["!+f8@C`~h2Ժ"r9`8Sk4y-\ki̤#L{V.)aDmft)#JYj*5 +r^Dc_= U0fy|@I"=PC֮D258|̽%FSښpjlfHTA׋VwBNUw&xcAfQYf`nh!Y;G+n5LeC+2"փ bV≈S4FbcLUx^,?F4۫V,vSe€G7˫Cq=G$1ְ1KHYm@kԬ3 X?ޗwf|]lhg9)!|ms~]".hn2A pFlY.v-z^$+Y4W5\7J$}ǫ7\|&i+);P X97j̨40eЕ!qQۯ2 =?{PP}bi}t{.J4;Nڔ2ч{VعY]<6\of ʰT&O֊|p4$0rKZ#:S1R;O셝hY'krʨ @͡vM\f KTmzK&5KVqbn3gs3e5RAEO"N pR-)L^|I_䜌g_dA>@Ȏ f|q3~:s/P-V^,[9f=%xI%y([εכ =B{z[`O`M5j=??Ȳw)%Ɂ:Яa@ߡk>~sYe#5Ds5wwB7Ak祩/?NYyh\.2駿G_*I KryÓmӆT`c:&8!JL㞷 >;2$1 38FqՏeoPuϰJY30Dn3)/Gxο# ss*mZSPm oDS l;V.ZaW~W-m0Ӛnr^T2%$b% ږN; pbM[~3]=BPj\Uo`FtbU*oJN#\Ӛ}Z!_uOT\˸zMUԮN48*-/qf3Tx*-F콗=V#R@^ :ӥ(,枎Ir2=r"xXO&R$-M1y%xG+2~/ 9=jBLh,m`y@LTH}*@-9yZt>6( 6ں!c1QNԌ:^o |pNFC挚`#C{  7;|zC/ V./>,S EN3.Qjvk[oȚN0s2!ϬFɜ92}^݈оW\U/B((hI.!s0$} 6CCFE֝2ޔV"k@[FX0Кp>O0K؁I3(9AƅUrN؈V^FXi"zV"]$$3b`oJ^]Lkg[Bu_Eՠq89 |؂GO.9_c:<7 o{(+o-!LI!ꕝ H\?E(F0Λ)H1 IT SJL^#T7oNS" 9s_E#٦Sc-nOFijU՜:z4ILGwvC<_IGd!XJQHM1BaV `f" 2QW&cZf҆'`wʹ[1 W\ V2^knyI(; >VCgtmń*ǵ* s~q6@xz1vB_.ޭM8DYӹq/գм#R,O1$WçNQmIy;z7덾JsHKY`1L8؁(@'2ا3̴b3H0nnzɘ{H+\ļt4vyA,Io'ajjs0z[ϱH47 `~ MX| mUqz ^6@4OU4 g7KdnRT\R¸u<"i`uewU촵"" W;בQ$We3_Agr彜sy)3 | ~?A+HpZ`8Z8tzIJޔhoݥbLX sB%4Uxv6=3P*X}Ȑ WJerwr.\LLwǸ>ev׉ OJ'^gԯA`z^N֢Sn Mkg1ٰk|aez`m*vjR,?l)QMcakgq~0{xoS{m;^3=]9GB } pޔzT))\3r42G+nciI@?hx֙vSA q3]%z%]xzm})*XYKI>Cq Imnu6ɨ8 žgZ?e/`lpqGyE){WvE3 cIR_oU]^2[j8h'#j.ep'eyYu0`j9>E&|A%i[vb&;~ 8Üv7]JKo3#t쿶A2L­9$ylBv)3ZX(Y눪\DQ:)ŃOC7 kxeb[6|u{(YIMTTV8Gn M9aiq3@*vd ?XcpÃAdpfZŪЩYJfXmNxp=U80BbFG_҂\5S3?KZ=6~=D=>^@#xȄ߿Pt9$+ɭi?+[7X5.|nyo(B,æ}}0Q;jQ .IaY#l Q-p 8 -8kӊ2Ʌit@%#!@bQ7)na˹ʢQk>n𰃁Hj@ ^ul Ԁ|W?)2PKu +D+R0a7ʻ- t{15lf M`BZ:PKk% jOt}w/ފ5r1j%JX dvn5up3-K*>3eF6Dpg$XGT0Y5/.8Xh_# Hc)Gx'@ =[4icPU/.}'iʦ 7}m"4Kp@!%ˇ%ؐ0؁zll]Dvh%,i7}9 X:12dA3*@(7,J\"#ě>ͦfׅ8aBv +gYcULa{pfa] ~mræ|2J,!@ЗVQ+_]FHO (JR@@ywJEJm% *m`/\.y{%^ks+Kӳ5$g %xN.\(IzevgR2'SVHLz8k89r<+phv!ꠣm-݆Z5u 3juG7%pFhQz֧_$W8b|m{GwfC *EK#?%?k\;YS7!So/ȱò*M/nsba]b`1d-suMd6i>qs.̋Jiwr9Ϸwa.zh#?O16R_rwfɘ 7YR(I9Ӳ ZɥN~,&6i-–;F*X=ZFw&c?\Qo%f,ҤbțPeK{T[XZm4BjTRXZW0P|PX 3h%U]B4:Di>)ERE Ut? fQUr^M,P,k²SL:bwOh]!EHA 6 Dg#>2[>;Ӄoe!pBebr "Jk~)`J3($pk,VR.HJ3WI=2We?Աv2a}]CԐdM8JUnM6?қIAy^kFf0RF@_xs#ו1qƒt o5x TȾ,7;k~i\"9ǔZA}pvnKW kQ#g;Ð'mC:4[kޮJ Xn14lDVkn.ƍ7in1EUeS31NV`Fioa:՟o듵XUېSzy򾙋%0kIˍrC\Ir9@PmK]j0~Fjkx\l׵|f;Baa#6pE)K5 _=ҘsOumr32嗏"װ}B+-<a؇`JejdC!?`|v@,PST ֛vΘP]>]z0"V188@ʌiƳ[3.ۉXx̳j @Aq@8N4l8h|H~FĂF B UȌQP5>=f0`qƀ˧zF[%r- =IFR#p] ՆK]nLr`6\(u7c/iaܝepv%UQM/ h`Όh wح/ )vV33ftҭ~n3)Kg0\|4f#e[P&Zޔw ]1TB?Yҫ)FE,Š# 0rb)W[!~tf-ۖY=%_Hw=fG/P.C/.NCmzdUR|E LMHc}ѵMMa̚@c*>+ќrl8we_Ďy9]Tm̩壔D/ 7k셭3llIXkHAΏpd¢4h/4c`D Mu߿/M(5ݍ]0RD6:`F%_E㊮3|z\PSXp,0aPˈró[n %X+ѓ'HZGK7%d7z&E).JX2;s3g8Ig[tu+ӡ_>kOiQ:Y YKGU Vż@Cj.h /ɧ(7lp@YtRfv{ELc{bF"y0-W4JG~Fma"作 ϗpX\h.\Y&a :*Inig݂͍h931y&g`C%w`J?91܏8yP] CCN4PyId`,Ђ8.i_~0}lk//EUc9_8I#urq~̵g+>Ľ~^}])1ttGE(?-`  W{yÑ=Vb%Wpøl[TҎhVI5Y2h0Q7$ $iehvڌLBoI,+)'GLč}W̗W?f iʮ ^( m "H%oyCdZ(ڎR=A(>:щ+`+mƹIfq2'UQL?.diT%Ҽ 4sdK%)Kr*U` +ܡr*d4t59a.(?/T։Hں秄q:H;l(O7+c/9(,J*F&57w#scI΍+8}Em sWHH_jWߺÖ1 c:[ ް c_[v&gʛyqTrH5l)=F_- A>3!QK+%.qM^-Zbp ZKwr@xz0{내TdB ]@}޲cq^w\9a3NσרY ,\ Lԫ`wjHP&3 Pu܇`t䍁!-&b0 _[BH>=܏&wJ9@`dF|A_Yl>FXH܂Ϟv⤨jc (EpΆ$&nܓ6гfsQN@AlkOWdzcuo?_B~]ddT%'(y9)L(cڠj +`\ ա)+"ICϝM̿ȓ}&-D k;?^bP$V}#As\X|oa\nQ7u3Y28ڣD݌#%ewUs`1m'f1\{ 8 t^YMr,$|*{-p)TFnp/!yx($)Q/ !"Q>Ul&K{zDG,} C}9z65 gcbNE.TUofm=mxJJeADQդ~./fCc;2mθW6tjXPlwK|v^ŗG1;\U(4 )^?ܵE:ɃUḍ lb~"CJ\9PƗ .Zk"o'8LNˎ`Wnt(vh}2j,<<-Jt+ ː[+^ŏA`* >!YџV& n홻+{=Z>JV|= dLR.ލצ6^?(K \M_Ylf |~ihBQ˓Rc4B($#,?,Ǚljx%9 g܃]E,vS-:kRrξ?jp @\lNnj̟Pޠm$n(J.C/.cgd_ܺ}m_8.'e"v4O[(C)fC<_0>[6ZtQZU"x,k.vFtxis jnga0|S) tk(j{pǁfi Cu> l>;-Vjn tt'ېaM:og6a@'"$he"K豵.2j+mx{[''+N)X5{U="$c%|rsåIx1dtg77/34t.?ί l W,{r2ņT%CNFqe3oS\e$ܡM 6Zaw}䲡El+A;r)µ Ǣ)5rl[\7^fIx7P^~:d}SJt`"+0ZT"tBl*3 'g=iѣDVO̖pRtV+4T R71WVLxŸ ^1,_V`lX\6fȪ%Vu38 b[$g5?ΌXĮ L,~azψKDk ?R4 U+EmބxU3ĭWs+B4s8T94}aW}4#QOз}hsxcw1KTËR(nzAϚP;_h^W$=wvPqưAZ ᱭ[/z`(#N}ՇgϜZFx(w!y(S<.@8Cu;:Ӯkj|JJ2bثЅ H1{7*YpOsE2eŢC8M?]Rh֡֔hYdrVv}OȥM"$K=S  ?*XlЗxqzEE=r#,UDbDs3BY4U `qo%($$V_+reJ=4 nz6B!uhJc<6" R!:#pr)`C-U_oG#HMA+( juV@ mwR? 3} 8MQ#/'{A$2AB\\ޟOܞM^ Q0x~ sS#Ap\LEqsgtVogb'o v{ȡt)hs9$FPH"Z.j2okH-,hWIeABp=p):*AsF4-yἢkƢc^b.ʱ30ha)('mثҀFJg1oI%LhsSZ(d@|%v@]B{ {v+LJ(Hwz( s:49<$U7We$BmA|8 RlYkT` S[+^%SSsg&%ꅁwZ m{`< mN@)ޮV3]D_9z`uNK@bˆ^1C^jj^`gɣnv9B Ϊq;6s_pँCͦek 9Ulp5Qw7RlrOlU^:տ"B|Ri-U$ jӑc(M=蓯c3hM=?0xQK0luwb=2w}y , l֐&)OMx\10reSCե簹>LYb)d7 0(/C6iZ`{~hQð& iegLOٿf[CBԈaF]mSPPn tϪ壵LV)iqpc;.O\t>BCǖ~ 1|:[#LrI!?i.u3 ^NFn2vr$@zm5gF Ө}Lg 6Bq?Y+dA0,;@تreqQ7ӽUKU0/=Jz:"@.dRmjʷy},hd^a3ٚU^]#-o)"N$0ppNJ):Tfya} ~wo]/^!ZovJJ8(v4kNH4aDIvkW[ܤ}~Y̅[?\…iXft2?e 8cfs;EvD5zbJFB/ίW ';|Q1*ِf/!BZ ~QYkuCY0! 'j!?ЙGEPu<H,dG^*DeӾW۫EV4B˚0<^Iqus46}V.nw p͸9Ev:he4M2]"yÁQ܅0UT0ݰgu-bcuԜUk U]"d>йΫkM ]=G|&4a0$!p~Q !*/3O.3G_cWhg1JIJI*3v*G 3ij} G$䳟U{WG .2]tlGkf[~˽MouQɢt=.%DU,}e1uZhj$"=+v|Bv&6K )3#!Xy*gBRoi7wwŝC 8Q l]aYo},5jNDdpG O6j*TV=KsΛֺ2ݧakFE>)pNs u3c}wyOD`VZt AKc<ȦOj!L~p(|.ܝLj{? C@\8>ڀQ8,5"҈~42 YVE☒N_/ƭVZ824}"N7UgO w"@|i1 4WѪrp,j:8Žs'9$C&4i^/#7],6H&OR6ۉe|žB(>4}RP]䠰k &mgJ#À5(assd⡃="zJu wTybD{?ʠ3̈́E"t= .W9Wt+ÆɹjZ=>} S+,k g`@=DΦׇ{<9ۀw䵽 xy#,[>Ȳ7( ѭW\ 21$wnc~8| \5{ QgflAJU7'e}b/FBS_ҝ#Ё&/)][15I%Q)h]щ1nDk0o^cr3y1K|Y[c? &H쐝|?Y|H#'rCoD @j2ӵA"Uw]G6B?Ez@7gj{CUF~&P}xE\j>M)/lŶ10}b< x5_c=joقCm'oL`:csu\r S߾)^nėbY\1&* opJꣲۥs wupTb&kAOQ(;i~Jnyꌊor>ܖ)qAKldT^˘x2AҺvC@:]פSй. sſ# JAQ X,`ڲ$'ȷAKzC_ġ:8vǥ`h 5Ϳ-&OLDՑ9\5o{LFKsjz( N]v!񫤈E.]ʕ$Y7BILtP? 2Y̴ѫw:`ɧ--Uk,!]w5m`~cqu8W) 14A*l[Bm2!x@KCZb<;.vҵbc@nr39.7b IE/B⊎3n܄|#zDQ=0Sk4cC ={2A|*I?_Ϋ>3ة87ZT}6¨-~ﭗx䈅qئBv,{k@|{EgQV圦'CeSC&n[)Q?S 'TH?MAmnmh5ިȟ9Op$'2ë .o&,"rYư@POHl&mI:ݠ Y`bL0~e@>#F5ECuՐQv26v^<]1hag*-$oCӑ BY5 wZ7]#v3| x S/݌ ߏsxMS:P08QR"a\xM!>ŷ[/1͸/XlFϩH͹U{!{6y6j/0Bj;qT6ź\9ހVso7x` Wuh[} Ap6!.bfnQ xt Tס31ܤ0QM{kXu.+9l lDI:-9_/-z;? 7Am~%?XASBGA;yETD `(kr3::Y+NQ?|eG(x&+I3ѽ= <7Jq. q+ۣRtJ o wƧyv)fiF8zeTw(xv'Kbؐ!,r*@&\ˆH]aE 8AnjָD /M0L?!A/{ѸDOO&Ck{U"hwSཬ- -2cQDZڈd:१*Ua@M;423:rw?rګbar9bI2Ԫ)!T31!mAٴo{ȘiL>h+! CL~!2 T2@"|y/L+ö;!lT3 )?,Ϣqso>Xl0.8 ݅;2G`MX D{^R5CkS 4iY5 |oK~/J(׹T,kFyG26An/NJhFVA#- lT*;qn;6YJp'4A50ƼX5/e0 m3^(`uZV:;טuZ.|k 0!˪vyԤ85՗z#vWn)3oP_JbGs~o<rBh /@H=[nHGnW*Iq?RV-mQ)SaĹL)~ S`CÁ:\ #.ipx0O`9ǽ!}BƟe\[%Ξ"~wU#nTgY0:sbɂq)x7LImODΊ])3@d%ǒ~ ݕs |X B9 {GB,]s_]} n}d뎫A0m8s˩v|w滽=m3˫Zi:'q ![}ȋJu<,zdRԱ7EsS5_%wb(E iըȬָ&@ڭ 0WLa*lwҾG?DsHi9a5G>I=fexKH^ˎ˴p~b_3?i]Ʒ9tUͩ`u5#/; P7$@jơNj)v*޺n6tHbt{viNt ?kԀfr38 =J>T!ũs^X^2i,x~GunKC pyhzLuw |jK 8'i(-ygXCP,>LX} 3Zv vy0DF/;Q{8u.q;E|q#+%N |DM͎]LP͢Ei/#9oTNˊ}h*<,2&*YEA?굶i -Wi)$bf{&L.Mט[6ɜ*SGͦ"m9XTKVF(f4%- G,e5aptDG.ݫ5mY_)$kԭ>-XYSbod[a|3/) ܘfF9Ȟ.ar%T0gMc; J]\׭sC2iоe0xO}@eX/wR}Г&<KS"( !) ѹ蘫v7_ )rJ\bcI*KD'L]nQ}MkS"8줴jp$PrBz2IcE+oR& {4Cƪ5k<|1 IjB`Xa #HG7k .3{GOg?QL#RBXru ߴ`,<}a!J@sNeQ:(S-^Me)*,8Hb-`8֪}aͭbyN~d}i)Dz+\a()>K=cBFb] $"%Gi1ΐB኉:97{V=,DݟkuwjӲqM۶ hO/Sl¦'+^wzW5cxՓ$&-w"<`֙u5/pK;UmEn m}h3l-خô I_Ƀta*ޛ_lmC"Hڵ5įse v$YUwQ d;PiU鶹2ph*Zy6bq!Ny|jkW170Tw^a +kYS[8eVl蹛"\.7+ck)@1=cf;Ispܶpcchs뎃"$%F:bJ c#4i Q7E pHSW ?nq? <>%0"o?AZ.\엵ZѬݙZ*?prQgRGk7s]jZSg77W[*խC1=3]/As´퍉71n7H%nf]'%Кr$dLq!rsMUUt<`+r[>ҔpW7 _p9ƇBΣ 9X˽#{BliFLQ}3]Z.U8P+CVnu2:\4䉲v^H"r0N)Jϣ{ ,H5`.Cyy-6.Ry3JꓷZiX`!H5idEł~Vν禳筞T;GE<󲣶6F$7Ȣ;]&V?WSĀ1OĦ{=eoBBR”Ru2EB82]SN6*Βp8O~DM85A~\Չ댰L=J2G0}C&Ӫ%]-7w&.QBSmeYœ8Da$ca T( s iG5 Ҡ^y"n`%iD_SC?d{޿p56?* HS Y`^V&U-o3dԌqˎ0/Bж_m?&av[^?ۃF\d'qzp4Vly1%%QX1<60>RY5)dL77YYq414^[I17)Ӣ(^Ɗ`&O˂B =4Ydwu4~f*"BV ;Sg'jk$jK}ʹ%:1O51Ľ$Lߥr'p/ l u2xDGah?3z{R[ .T/#h+j.L=_ԿmZj"Ω+me릏].6+ t piN^:⣆|=m\Ǖ`k*KSWpf9RsQ5 C O|VĂRqk_Z%im"\8ݒ_R"ޏL"{W^MrwbnwкmuK!YƩ5ɷ$.pe\}2*@?eT|W+ oR \6g򛟑׿%SZn r0>;SnS2#hBU3t[ͩM"/5S%{]KQ pf%zxt9$6_ f{4hv׫}Y74Q͝!.V@J.wp` HDHz֝N,:۸d"0y`EDڴGdfֺr|Sq|UƂp ~ٹd8naZbc']-~7Fv]SUE4_@~%mh~BUo> 5o"Vur|_0V~RN`Hui7K1C "wƳ;l 'g tI I-k >T,e+Fc6s=nxLXuY+OLqƳ&b+d™6qL#~4ﻲ G Ň%Ijl{j2b5c~?SJMNI.]4`e"ޯ@{xbhh45Fý557AZ Cl5aܗŶO޶$yud Y4?]]>w7Mu9uzYb;ww;~Xp,5Z80$]AzpY+ӒKIh@gͪ7)7wg 3;eRW^K6vyj1|ΙcM|7/ˍ%lUhoH^{t 6V%aZT/gHj0읻# nޏNT\4;Lg!YsB\JХڠ cK34}/RQL-YrP{"jUB={^$BIJ²XxV@E-e$bV uA[!`C]){Ly{64XjWn;3z?5?T2g]<6J&頀-a?R.G8C*||>"V-|D2`M,~+ܭ]W攣0XCT8]{wXj2RGw:ד} p eG޾!^¨ ߧ^s. 6G4o طMn|dX'Ț΅>a \Ccj\PcbqR[pp{6˿2cDTM*Ի+MȖLj ׾\ֳ\*ec~oOb6q;y|BHJ04&/t%Kl*c!=n?zt eFsd}~6$A<$9LԽ70p7M9@uq֝2;f0{_Pl)T$dcJx٠9\gMA,LW eW>h{ 1ah\2L,/"MpfܲaZ479sd0'Grxo 3cDKw>SQC0:>& j l{{a:°SGvSc&4|̖$lUF 5QJɻmi9ڪoj͈H~Oō1k6Gk lj)Tllb D^= lI C" :'.BXp O^!e<++I8y>$p>XDfYkF'p*e]hy-璼VYtVL/OzQ%t||Xu:Uɪd(ӚHpϲֵ׋\'* _ CܚgyVcŒq3J5K:fn$r'廐ʔ,^>E*vU%] tSrtPEX,3̗e[pצLl(43-+ XoԕE(0h,WȝDjb8D02t 7 `ZH@D6w^ଯXj -@fB)ts799_psHL1ʼnCGFt;@bFQ`pdDz΃4uౠYFlu9[inrAnT6c}'%6m17 ]䜄IJW6A-G}yTJrnKI500{ .9 gg ĄCpTy/2aSD4>/˴@D(}z(,ereשF%D'UeȔW)X]> 'qe0fRBǒA>DI2gwhӣVHiu FipgoKA‰GNP<%YW5Fj=C`Q/)eʴDvhkpM(*0SVи({($U%I yB] j'-pU-8QlF_!f F&irBz8rc`bIOF:Ai&{QyKeLMrO+b1%ܸ-z[&}]~|::D0wd67_dPɄfd10.m4@~hq;'$0xB|# X/?a= dv(@nӫ &jN /xj8 E7y(s ]D&NARZZ_Q.ĶQVunU{qޫ_B Yi蚖McN04yT5دTW~e;&`P;N:x>({-kU.,gp2u7ڀ.?Ǥ]R#D՗О[%-f`c_ I6Xϖnr[Nv׹$!Jm9/!fV> e<ō3&A@qC=GȻ8$7Ulx;]=y>qpa271I:n_zo} pYq0d7;ds\v3Ad i ثגMEp팅:j6WG*ͫ7:ޜOkx?d`Y :[6O?lnc8iLh!O,tXQ,ҍ԰6.SjūĮ)4K}Z-xP)-zdzp&h8t0iIDAV BjL_*3M0=tOο((-ωQJ;Xx闑Vv뽈;M`RcQDTAv(m=p'hucȯXf۽tʘ{R_n֕ kI_J•ф4k:b.jV–(e6Y0f?0Dh"Oǡai VU=py>;‡qF`6Ο#=pf~2؝ zOuB|mn>&+m[d`+1$NAQ6>}`@&g|@Lm7Wm 4oۀF8]znָ,r[IQѫdZ|dhm=p; n a7~NBȱ&K[k(PzȺ>Į:L_v)w{ 7Gx1cFuqJY4}A98VK} Rr_pH-@_9 ztG|}wqRe*˴ց ^_W^zd2F&o(܍~wKwj -o:3ɝuEd/jq"S|/,X2XZm-~̐1AgodQSi٦Jc(@W` C7n'W190LoHUh:zj=:K׷2eu$31r^>vuA"ߖ~E!d"L,J1Ί9`8!DNUfo0jcy8U2vd8qQ$ k~a~ 4}hhHC~~t@q!a`~_GI o{..`I.ЖFi)i <[(iS-gg4뮠]Q/y1)9vռ5//wM>9.R/(l m Ј"v1}mrM'qi JiČ#.}4d3TGd6ͷm*>.-f⊲t3Y.j A5oJ O&VI/p]tʛ󦍁I]H})m羍"`A!ODC!1e+Xl7mT5su+z\%-*!? /F[V)h MX%IQF[P+Cgvۂ#u#1Ֆ٣ֺfF",nWPOUU; t`鸬cfUۡU{IM־|#~RY>:,1Ėӳ7ZUf/o#]V ):Z7L/j tzkax%W(Ir^HEKo>͈Y T9:J]8tV<%>C4)"v_ s&zx$k6 |1rf]'P]u15n:["Fctzeg#\aˠ739ݎZ݅/7³5`l?OTHf#IaT  oܵcE`K!6w1ǫU&tX @"|˜Rɷ盯-h_-c`"TD:2*FI&B)[<A8Sq΅g6(4Էc̒Q']"ujC./?R^ؼ]!;(({cJk-r/8&bdԙlsB%Pcz')jx A)w6c"!! \zήAύYLs\"@QW]==R\^P{37mwc/o͑hū!_;^|ZjomVYh&&d2 eS9xm( |)D\2O!)WˏR{ҫpV7!nw L\e&L;S",6Ԟ ܌e9/%'ӑt^7`n-@.ֵTQ(B>ZԘn&ky)n9 _#an`t[]A=aw7c.+*Tyj.{ͅG.-XbDg#$rOEy;.` S-v2TU@$-b$ol!Iirb:+'JeYܾ7jNH[bˆpsr^ cN1Gvo'Q(ͫH|Q%:ђs*zHoaCkya JEv{y0r/rTԭM I93(="7ooY[Txz9^irrNs*ZxT(TG 35QXޖwuPM\>!.<*'E)~s)H*4q:̿8QHwWʌ'ʢr)argU жXs,"֮FP:ܛlaQ;7J~JlX7g~qwְ%r&(;Wiף~J%&^S/> VM<{!|杻v.iQ0(֡PAМ&kwhš})/߂Yfycp>R4~ܬE2B@-(I >9uؖ2<\pzs(W #<έU6s:Mr"v)t" G?) ̒X" /`TfC9-YvL"(6JZuILL2qDy≭~Mxh6#0^VUo]+K&*a.(2碨Z߶_}Rq+ӛLXOLBR~1h_D9I?c􉠭3`JKnJ u0ԼZtϐ~bX'ȶ[wVpefJîS]o F,X*8!vn_)AU1j|B&s݈/KK4XoǚInkTSkRlIΧ`^QE j B$׫Y[}`z&lM(HmZ @8.L`pOr5豋^2agb$U tݜ_oΆMv]Hޖ`EFQ; @\p \5& 1q=emT$ήJ(HYi`֬ͅs8,dWOwoW,ϯIڠakvw`Vl@_l7)"~5d$jysE8H_rB2j\GE^B/x_iY.1I þ&vZnd]S~ 7!f_LqSgE/쉧R[D1D CQxx dR[LNdn#76]i,W^a Ϸ|bS~k.@b%g}KŠ,j{xRH8{O JGđ3Ni[CXtcKWbdAp&֬E&:2oXVA&/xՄrC܅ڶʏuV,X!sǩӺҊSn]KհOn[nq#xaHr(IG1doBr菸IMSa1Du $/sb5RACW L x)S3]x,K5 doONzeɽ%٠ #ZgSead?}ۿr*vnŷ۝9:)>ˉ?0O"MZ ZO&MmFim*O'RQoI\DKtx͋0GcifRIR`oؼzOU>C3[ps܆:FbbzӆeSPg#Ɨy*8 _(`3HVL_8w}DuUGc&NLn3{|Xpޮxy1VM 8۹Vܢwqğ5?}իd?s:BOn>Z]U맟IsU wfΰ%x{aOp4Q˃tb-kLOZBԚu{Aeq ;߹8~8@ aMFHs'{?v Hhn()\!&᧹+ Y`,GfSAi{ކKN5/&{y셵hZ[/@8p"5hЮ=bS]_lB!Ho~mc-R :J뀜 ,/>zG~CTeh>8vSG@.7T(QEH,UDJ`*8qbW0RGϵhQft=U֏e >7躆@)/PXya֨KwS=CEz )M۸E뗶ڈ CD~鱁sa 6Fc~6oIx>ߴ̨=nOY:x1EAoLm^Cw XĴWEOm!ߞ֝czEx5͕ ^-'څ4{66ԭ0pgYZaf34e6c3c49741c1db5630b8a4df13af689dba641795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6828b18d7acb2c1089fb292d28dcbe3bda6680ff 58f0ba1ea12359595455396911235cbd6133c2e5 35fccc1f84c50c43f2bdd8320447a92c2deee26e