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=489.119cpu=1411.416gc=41.064factor=2.897zXZִF! H]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kdž-CYpuvlPk)SXU!/l4 r θ%;"O[~g?~$Fvc6MRdv#z6t¿Jkȧ+!y`$mG8~<*9i~/G]o3 R:f5O1\U!Cn 4{GJKo32ZuKM<k9Y7ߧEUF<}Kf[vᒐz4YvrcOf?C߂N_F%nA֙ n(U0"g/tN:ci#e}a7M}L4/{B^# W&y3<77I|/J/qRnu 0 ?En${CFx IJ4WTs`#4n,}JJ~-+o!u Ƃُb'q @q2q +5t G @<%nrGiE雀vaҊ$͹mcSZJ= Џ7 W#ëd0 !ā%oã11tfC`Ar$$WCT|H4#aO"T n/a8F08+Z3zs/BsA;i/ 5fS~%uG* b b6hMK3oQjN>g7׋F?=_;Y0_vI6A룫 )s]}8<9 հ?b >vĥ8t Ov0'& EaHF軍阣|bLϩm4 k +~zh$՟ĝhuPVfr8LA#$DId. %*dgrg~C Nͻտ:EBc,R>1dHϰ)t_H 3ErSML`D̑AG-ˊc gfa 7|/1U-+\9{h^s33oGOyJ X*K=$"?9 YncPY:QLz`r4A{[ fbX=b5K\Lܙox$1ᎴO}COl<űOBtBWo@ >\$xo}8 4bX Kˉ2N:[5`[O welj}8&*\Gi@[SN`N.KΚ4'~{kդ10KKގg[<@v0ABT7GCuQ+ kkіJhZW&0孍m@]<6ΐϞ(4>&IF=jsZ`53nk%}-_<}@hv{03ty$끮Ƃ2]ac[u ,4a}9 I:Ѡ ->J/ ,l?Bȯd74ΰ6Ȃ.T #iBJ~fȰj`C-~ ⚷ ҪP͕йP-j=;`6RzF{W8u waZ4$^(=JK3w聫"XwRy^k<0|*`h A}|d5+>T4naKIIrQ ^Z4zꭥq lJKUk$)ecd)^:8w<Jakg ,JfBv+!9zQq]s\ˏM!ݽᄂaN 8P7Zf#ĕogkK_z2Yl1qqlD0 ^CmDmAhgVY,Bq *OuqT$|yEV`B~{4vɼP2ߩoQ;zyNtYƁ:J-R-xE_ѭpg<|B pOs#st*K)CCrM[xAJO`A?ߙ:ĺ;]Zx49,N3EDk4" 9S.pk<>JKK_ȵ xǶ+gIst{Nz*߹ H],־ƐYeIa ,䞣1%8?rB|0C;ݐXi`JȠUհw"Ƀ(ᨘ{1 /&/N3y$|.Ha>}?CzM%f2!!r6[yUdqhUs k__uK<@3N <:D38rǮB;At}OZȷmL&OFgv 珷VGwG.e5P/SO\ŘZ T" {V\Zal ,6Ɯyӹ?6&uKVnk3RKoC8x| 3EKP횀c?\GkKDލ88^,6_,VyyLڀ%R%DPxͨ4!WB?҉^x%ఔ 4Ux[rLJrAJsٹާ?u n}jM\'tdXci#!{FHY+ڷ >6 OD8G;?ICb7F?yyHv \*ҡNJ.$Sr`D9"]~D ^Qi [oJZntAI@ju kIǩ_p=Ժ|/@ USIL~6c 6`BO064}i>>Wr79A9<Wem.2H~.^#hחB^jc4V*CĒM6Ɣi($ބ,QdO0?SبC:3cDBQ5f;ԯv{M䐤_B^P $鸁 _Txsq֒ʀk hM|hO'gBZ6OxFN-=0QCkHB0ϩ:^k5*!UjB:̓kA38*ѪuFkXcԑu& G@iiF"0CQbٲL\p]F[8O4j&3t3R.ztG=S55(''(_S+5 7< DjE# %ٛ 6Lyj[ 5}_4b/#Jt_B LzbţKK*l)UI{mNyԸ4C/N!Dt%Yϻ)]F2 o\CkD+ ^4ԖJي}9|gYQ_>_&]3+uHZw:*SQH3I $ 1x/] ˍ4rBT&J%jVD3uc2'qyUwˎe9Hw8v1cmh;|u(E&C1M"X7|4NR AyHVINM+Vz&G-X2d;+q5@&v OX/fpQ^OsYM?.V2|a:x{Ԫ&(=8wCSC`3-L"9,MOW[HgPq^\Z@C2nR'eU1zjϤ&GüxܞU>kZ'b6hnD94 $@cq~ӎ'h/lġOwoH_~u\9~!E0wj*:6zrniߜ/^ WieP 6'mb`Qn7_w&Be@| t1ua?Qt>|t8֙ee)m,}0zwW.'PDGUݟ DO {ѦcQ-]@KUԬyK߄U2a^dEF40~(c<#Vwd#ԧp.] C|_.|\ׁBaG/O:xXthGK+n;QK]#)ܒg2bٵqIO.YMFs7D쉉폮AZ_t6q򥲣6Y?Y4q124L;cS֏ )"A>Y7;|>6 vgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Ҳj@:}l]H6WnsJADiPc/ryS +VPy" 2"`9Ӓh3,MǭbɦοKXW)%^D|̳ w"O}3ʽf ^eSRME.^%ލ=b6iaOt5(R%47:J 4L¾ށ `h|tJKgaW\&Sc8ۯo{r3c'н*`cepo\sU:q,p]m3١!> ,Aۑo˄\*o: Izſ{?u'fi eq>R9_e,ƽ5['2#zrF>d^]̄ ɺT:B"$d Ƒ3.K*} x^U-BjgogU4yR"i"-@2i*9$*A6ow ^0!R]z{9S}fZ(Br}S Ҳ 1~n>aFԕL:j2$G"UJajjOK˭lNҼ*NуhY;eI<uh0.;1ۮ 6RA$֛Os`|QT0XLzQ5XԒ9jfU;t$&i<B'3c$GEW~j ֺIK\l0HVPa85F!iR< Z.~wšZawv"M$H^꺞7KR5Û OÐDb9[L BЉ( XK=;K"/{ˢ~0& k|/B{`ݹDw{= !>i\ ov~WlJS'm ;@sgYZ7zXZִF! D]ŗXi%Go9/&PT˰+ApʑW[wL9+ar\JETEObUz$soƱ5{tdQFH.=31Q| ȏ}.IEeo /Tg:"J̙%P6J(5fQ մh3vG*͡C~{x0GUJO-#\gO`aUݯ`\֪5uV:S 16SJm9H|zfe;VrC,2y ?rN"elRw'|œsCZϡ}thWuF׈:P<)̙C@=Sk*X3تbxСB ŸqTJq~vhG|}urW?S*"bAX(.otkҋ h58ɼ֪bgL&qnuu_uvƕd6&*I>2C[ȭ{3%nҤ|<^Py.#C0sxx*.lq&Cktt]r;Q?Jb }ZN8::A6)}=Qļ{ +(ڶ{"O]o3+N/mg)p䗼]^NncBNhߛ;Y&_@Sb+a1Sq7ѦZ'GNI޿ۃ鰟~DLA>l*aH##:HUͻ|0<<j6%]yeiفPlkWԉeWԱZj_|tXxU:mMӵ\%o6GZ=옕XzkE@E9 SoEϮ79+$j//י22;!^\kGa/{`D͟\ǮkW :l>)VOA8,n?v׿,G̶Ӳ)X .SA`cW:2P`Q$IM dy hLo 8/%v$ui# 49&z]4_AIL97>)_0߷c>!$pHvYLȕԦ&ZkMްGB,|~saU zϳ&(ߣs"?­9Gi 3eLQBrg%|.~.p̺neC}{dC ֒iPM{OGklOǡPIkX: &;'1g/i;pWOKnӺ8᯿d,Ʈp BC;Q&4Z#tqDįe]F`]+*<í5vv k/Y*X$j<+ ܹ{mD&cY&?7̏e*FlvW[XASfz )v)Pj|{bůL0B's=m" d1W8%R`yR z ^{ 8+'Yz NU} .سEM\ˑ^/9J1Eb?sϥT<ѽi~ۡmɎ Aɒ -Pa=VC_p$"{c>N W#v+жy*M/&^?pTegFBחfJao7H~^f} IBaaݗA~ҩ)}ƵpGEFolx2 vEM<]5 |`2}!ٗa1BJ82fR= ɞht^UNg 4rUS_DXa|7.'7Q#KZ0W=^d7x=F/Rwf}`fSY^xa#׫,hFo'AİGjɸ#`ӗ ZF#Ǥ \Tgm<"p|WUQ#ZM~Bz{r&%{z τHA[Ӱ#nJ,\$ylq[X#w E[^I^&sfgٝb2 I(tϐamC,Ngv&ObͥH~j> xĨ<,ώD}$sN-4PH 5(mi')/{gl]<: x%QX\ٚrTX_pP]CYT7eZ) 0ˊ|N%i,U {wPu-@U<`غ]  3+Fw$9a*fiI\t(EOגl E 4~.ca唬Md5 S/GmA Ĉc$6Gf;8L2M qy$l[Ywj*@I*lqSh%c`SNfhaG_:%p3!88LIAYV#B>6/fXٓ '0LEK'U3x+0.#XLcakx/c F4Z-'J]nCfP.6UH}X!k& LG{‘괥+[¹ɴq1퍦Wd`յkn**e5kH߇|<;dO-L$Lv[?qlCqV6츮ej0}&Z}:ӬٽIOqG@?P9Kr/`_q0aX=;byvtP]N =KΈ#̔GRwH{@]$ڽ vogp/ uG:ԱuFpKRJ&qAn-33Т Jr\TQ-͆+tp:4sz7ъ>bYlDGׂj'}:RIgJ7ކ"kbI P~x?ק"\F$JWji*+ѫ9NS),NK"86](IWnVo߾xw Wotaԝ)`Lq~2sSyNbVf|MO'[+Lô8Nγ/7;P؛1, ^|}hK$FcqU1Yg[&qZ T;-4^Eu-k-箨HO׶ʌKzu֢6F fWI\4U밟J3oUJE+_,zImяXYj}R} On,O`ЛZPHj e;*ʟJ>>=9[Cz-~sgtJ qN>y!Fi$4SyK{_s +lfYv+LSpD֕z/Dv\WA|׹Ӱ>~ݨ|l C.&A<$iѱ` pF>Cf0wmGq8.EeHsa*R B.4d{@r=/zn˘ hWsIr,#yz݂ @XEyo :t8U;6ӈ1|/S.wWuTJ*%ôZ-/p ֮!9q' bάЏv2kKTa;)1N@qC߼z E}F+Ns VE87Êtt$TC6P[AB!7?z(^yrJܫDy,~ /f'qcpvJ]ux-p%zZ"qq[w(r )S Z6+.t6}]*X%X2;%Zɐ䪿||0By*S9Y^Bf阄 DiA|SW/`X,zk-u 9%^K/{F|5cꑫD)])T"42>M!xhIe); x[1SqUtRѢ6OBMՇNDらcEl;RJX KMcpCL]9fCN?ExS>Kt+-+skR1ڣhX$%0xs͖4?8SKd-*A{O55^rјQL=%ƅ!#zpJ'Jkr\\1N \yC ´ D]w=u~= Ji6 beWa]B/Žv s=Ĥ+3YQz^2+l !z- Z 0$9ّ.*daNy 5C xg @YGKrְ˻My!/ ,`Oە3ob'#${BssFW2kQX4NyzΠI9xMF<o0]؊Nsx C~W'˩LsQPP;! 4 $74pbBp`!통s)Ǡe Ԑ JlDD6$6ݹSM,K&俉$3y005ߖC;%{4{K]rMB8 u`NVFlAdhϬSa]-(g Pq&x [_[)(7/lRG@1X D9j>{g1 ˴ "j:r˘S:Al; u{O#ϯV~/' `tJ!֤پṳbفqbXT3T{|a|v"NC* _U{d/FU3y(|l.H\ ZA9g0Bfd:u!L!_y@ 4q@$Xg)1 '?,;\TlA#>2MX &U{ftܱ/+h{,WpdWFCsΦ!ҼL6ρƱ7"k7=<EKwTuJh%Y-q]<Ů&>yWAE8/@}H)^4<:[P?l8joI(V!n-⬇8T`ݻ^th~ە %=_ʖ=88fc)1ǻmC?3y\ UT~Y嗻438>C  >% \ saϴFoڢ0m!cթ_ #R[{Sn g r_PIGdYvl4jnH18dq&_&bVZ;M{cEDV\G;GSːDL3--f seF*D_^ sP?Ÿ`+ lQWªxCn8d$ڊpRX$nhIivvGpEpqYd;RPӢl%Qju<213bY8]S`v6Bhz2NY}S)Yӳډ"p:t{ouM~w$P{ռķgod-ЕcajK}֛IRdĀ]%IwZ]xRHSV&R M6CIig;Fz{ygOlOs(L?wQ;5H QزKzK1]X˴!&rqN,o3/gVA\&9˿yuo&ۀOE,4`%@w:NTKv7~?a|qs0ϐu̡N6;xN{Lbz` yej3!vZEtt`,A`Q5S08l`+$#`?h_b\09p4[Y{.̾r%x+`Q7Уp3" WζH<*өXGm7qңA 0ט bqþ4/pX 7"r]5eHLL~ 8AbutGEӆLH)|ڽ km(h0fF'ֱB)W`7(@]1{ጥQa4RLJnke36?wo@V}է-0 $fm⛑r}z3 ,p2ƹ vF@&/@g$Pn@.Ct+[+/0c^¤|eP7׻ǯrCo7$5Hv;B3fp X2M)g5KgQ-g\~uc1 xAVGmA,P"!31k6]:Lrb-]`ާ /Te^ {7 ˢ#EW=gXbBڇLSWi'g^{[B$J[%KJHޞ *iNWEu?_[ck]I:[@()r;'8U2Ogb ,CZ7ؿ#۹+{ 떊;.]d8nDh0yupByVcf? wöBu!9IV\" We98Fxŕx/iv^6X̩d`KF{7QB&Dzʚ+kl6EZu+@2W-:*,!y;Żfvֈ'o{Zk Da  q[%odqms]N^ (3ܞ`j0<-M孈.'^EIe맺3i޵ϟ\9Ȕk٩MUSZ+̿%tMK)c(z(Np >5[?%#m+I1r&%s|t:cYٙ\==cBgii+{I|)K b 矉sCnT^kb$2b%+T郻! aH^Vt(b# +s(ޤSxLNi{9 %JL\24)?TIXi|f.fBܚ3/w9$9~3s:.i+憍"o5L-N9RtWz6!}ͽdzdx⽞kTݻL8-`%*Z:{pU_" ^d&зBiWjPMO({yHrU;OyYG.ZO) Mጻ) ֘ ]vG'Aeej y2O@(OVhy|2M_0p ܵc5hX-i ew}|KIEG뒧?W)d(I5,t.wF3+NAj坹eC6誦iW4qDKgpԥ]etA(wJBzU`E7x~P`MJ{̾-'V{KJ6%,k$0qu?gFӋ=FAp#ȵ"bJpu;k~bϿXvn N:h ϩHO52$TdpQR,&y vH4.5&'Gb1TXӇ*0X- {ckuW7 ZʙALZ)|A??wT/mz:5-b %I:36G P6 S<%V&n}NYm=ٲ0J<[RcPOm_ :&U KS#Ð.RW{Eʣڂx>eYb-:Sp?jNu}_efw.zaѸYϞ?^n\F_gA*ow|w´E( ПXs0@hɎ`TC˝:SYܔu%X-Z5=+~?vDqK5e a:\Μ'jQ{ ӬZúz[rFG>WN="7='CYxkIjG|"_0[L6!0Z&ݣW!:xg!%WtњbO*q#2? ?ƿ> Yȉ%x)u=:$} ~  ޾TR"QF ->EQ7xV p _Яg)XhZY>fLG5.8'!֎Ňi5i!hjl,MуED8[&XJ(J Ξ*QvA)4LРcLAxwcAcE-w |!M\>ܼ%+-`R)󕍑!MMqo}"y5vh~ rh/祓d3?BSpP|l'gFq^o3l+MLe^TK0*/ClԖZp$-"X1^ l?T{ѴID8{$a]PrW].߆.6 < \7ee 2lK436AW$hʗ/P.O\-e@8u.R`NjXɧ:\l8ߴSiрy }ݣC8&|okqc\u-V@6,eﯶK8wXP[ c!w0=^[뎗rө-n߃qS3|QPk]{։dFDzS`/4AA0 +t׊:{l~21SQעxzUtO7LW[ KI7ZGؖl/:̓nOۛ ,%!.=S9IةH%lKۗFjJي(2'.M{k^r'pcSWH{׽BY:[ㆴly@;tMO6 Og]ThB0"9Mʿr q$\zeaTNY2[Yp{|oEAGȀq)gYH^sϯX"vuE9]ҕYUJvʮ#(g_w ,|3AX`|#[.;T/dMLr4p6-^{LXEf4Lx=34qv?`[=%`KlƻlRN)\HO/_&>x^cxs8jLȭuH I23̘N\,24*@njH\_'% SfObZγuOUUE"viǘAZt7 bf vJMe!Kt%Co>R$nh< R D]22_ׄF={یK@W&zH wR w7J#Nb3jS/=g6wP^C) U ^TY8PJhtݏ->6~vuM z67RbRT]&\eIA}rebӔXjkZ^J|' bhŠ%4&e7#R=ts< ])78!JPPlޠ/+Aȟ$t`1y3HDC\uظOr>M=MaL/MwAqJ7,eMyڕ2E8[!xe-y@]V'6=q;?pȽB(skoV/5/iTpk őf 'rkF\),̾RZim5!ǘ5SZr)m~x[MowvmBqۻfTYB^0\ʑ")R3+l]T%% O,RdqPAr|d]r5:.m3 HE\dcR:/ MB6SKX^1LGݎD1juŹ&NhF;!<+j)Ԍ1Ý7}C0&= ;w?B*A9:go,X< E`pMߐ3ßSg"OåHq ;[ `* f ͯrqζ2G9 (t.38u.ҧOB&Y6w;ag94 Goѡ g-z1D]`Kyos0nisQ!Tfe6k"L(&pB|#ՃhkפuVM4X9hUAH4ejIY<CQBsܹ>i8}x!u;}2jbOQ"jﰥD)#]L^L< uى4*"*x|肌֙4.vYN2C}$@R5JR389N$"8eRJ۠dS^lK d35CatBKlL;c5|;uJzOj,į|%j<yzu1LVHr\&u:o;M*'5__6 oym_)&/K C?qߗO#[sÉ,d]\eAլ(3Dk wCN+-z!(g[YQi)1ItXh YUh XGp,.L6N"5YX@']"mzZr~s㜒aXT Q˷Ɍ?2/*؋AxV7ZO~+\pPz붰L+-'} N>: '[Cuz&@mf?{{FAYGE+#Ԁ`WAAﱎB_ٟSph}[F4EÄV Zԩ`(;<1PM\agVl] ]{eXޞ/{(&*p`~x *\jί.x.JY[b2De2ڷ,'"iS+ *ڝp"_99)  %]rq >e*A"HݰvO6HZbeZa~;nXzomhB\ ƪ$Q!q$AwfxqB%h1/|DI4yz_y w댱˅)S2F]dc$$2q`wX[RwNrL?A?:0hH$sK4{q)?HK7(߱_lA[wXkz~hhFD7Bx4L;Mf׸٭P! cic?zM"eSؙlWn,pL,b8(SO>iedo(x{K7Z( )fV8Ysi4-z;<^w]DfݛXυF[dق@t*^rIL/| )ۦlD"=Zb!N& MLpRbbn + gFQVp뱾f5NS ^Mח,8L˅' Yo8p 85+6;˘L|)Z`jP_}cWaRsl?9W[3XĆ8mwIdc |$%uQf[ )p+̌^rϭXgS, _~~Md?[!48.r6]Aj5;hڳ ""2eZSF߁CҘ^^CbiQdTY͵C,K)Kcns,ʆTNo #.ި.0]s̯zF]Z]HA#hw hF4%ŋeUl4z/cNl넪韢\^v(_3`Q(fD 4\SzA9ǀj(ZQ1k1e{p"SɚsUbǎ츔ݤs>oQhl2C. idg$*I8>+A?*X_G2MUo58yΙ[GmɕVnɖR/6O{8QȈKذהٷd=gc}UW{jm.y؍1i79 6ifŽm o9ӗU,;w<܂Mn!d9kkձ[3m[a&E`KӁ*i떫Icf/p .NiNy?f2-+07*Ws  D'M[%f=S6|ɸ$2(D 3ϡĕPS*׿v#Fa{\ F{<cqA&݄v慻೩T=rO#eG29u81*ɟEi>]51/z(ZbLLDǾ&#Ӣ$MOVLϐm8 \PK(+LJ}Mz;tw> 3*K̂L&B’YEr8M=C־m\m} k [վ,RT~@Bfo!yaZIhOkRݘD1,:9-e3\羭YRRy-ßHh=F_Hd˙]/P4xYk\]>!:i& .؊>i#\p "X1ɋq[}I!2 ҅T3`aDX9Whȉ5@kT5'C.K:^|amDS%/~bsӑIՓ~% jG5A%<|(% Z˺`LM8v'Ź)vqDOyсm^=k/$Ҫ1񅳀eg: 1g452OK뎹SW!䱉eG{nX;(*-+w߉+T6>"D9iPȸdfDjc5EC'CHanm+PY/4hP IȢ̒-PwPp'M&,sBukQwKKn!]Ax/PF7< ݊`8( ^/JjiqD鑉>53"kz0ycK1)&I"DR^_Fדa[fte|GY a"e+.a+!GO3FS0*E$ R󆏔DX>ApAb:U="'X9Ǩ @QDM}۾?qu0Fr()zVx5iaxߗ5MJ6uM<6M].D|Տ+Bo@Eu%6vKi3D3{IJ_Lsi8,Z=ձ*&sP|K`=.HY;NvvԞİw7C05-mp4ӎrfᧈ2}XJJTf,ӝddv]+:l`gSc@Hy(GBOjqHW I UN{'8Zx;P[xߠ -fIͽ<33j0/&nH9QHr+wyivPt#2x< QoaV)Edm7Wr)NDC߄j_6k|Uy@5@ÕByBoLIQrv[bbD]\ v#۶{̯J\btپ6[aҀzY1{6y>=㍠9X;.)eE@ S8J\U;Qlœ*=˂ ;vÔq{EWXG:M}T,&%E|7ki'y8bZ֓5R 1Mr"7X8qnf LX{e `|YUX8>ɕ7"ϖ3s3#VhiyN^^!@$Y AUmBꢫJvp1*Mm+EaomUzۃva&>7!(N_ގOXx@yaPv? i6v3‹Ec23|$˽h4 ՛!o1+L}I-_ya~+K>⠱:1,ay%T.lfs^&Z޻t3ҨN1fmIfg<| . 7Sp+uK*њnbf? Q:~w qa{EH~'h%WhD>Ɛt a鋖s@b:OD$rtCa\WK%H\4/ʧP꠵ԡu7K(QjWX)4N{y53`WjV.U-K3 ;,WDPOs| A0ԋG"+i3W [dz`g{b /L# k "u*Svݐ&,^_y ɳe[z^Hh[Kԓ</AoȰUJV'ܸf XL櫢0dJ DIM1gRdeTo;\ 1:u6ΐ8*"I{˓hWsN\Xow;FAI'0ܿVRk"pDAd9/wAA#{Pҷ'a=vCM ݴUh}zLKPj bIF<8~XÀϕ"'aM&bYuٔ$5kmœ$H㗪 yrnfx2> &FOdW'[ U8T˒7@,5Ds쳕{D[v[ 0 ڌ)߼CPY;zzjǩ%aJN rUjͪԧH& 88vHNLȰB|>y ao!ˇSp)͕":Tv'k (|;\1v^]cтz4մ[|!n & wkmqYf!;.mQڪfV♋I5_m4`)oOĎ).cMJCZ9Ul,نd9R~8Ӱ/ڈ+g\RIHx_<.ޙ3JbjN@`Gb[}).I2~K(|1yƔC7=N;{2V1l x!1*5R皁cC4X4W+ԛ;e[G\" %&HڣbrAk4_TQP8GmST(-a^hSO!^| <;;3vj;ۄ5_~P(/ 86 K| P3 KW~1M #-K kvE2q'y/:ExQ U$&A^?ȍEm(F#<'yTuNRXYe+a=6Nѱ^mN)9`&`(z=+j>ôp`3GT*E? kx< E'Յ&9 [Q<ƺJ@g!T FnBگ'H{y_MoU89$YJ4rƬmmD㲒ֻD1ѭnƜ=SF`_^Ttf tlJx~{eaj'? K<APYyz#C4 FraM >FJMzz[R1Ο o2=)}AIǴ;TA}#bJsA1: /Yc4rD=|SBts%Hk*>Bw`@JeX@ռ@Z$8gvr8&ݕOjT+iu8?°Y>x&~SUeƧnJZ&̮BZt* b﵍a19@~70,}EL7. $jv K-\)֤䗨AW8kuK߳h3m~_"bKR"R }GEP׶$Fh蠜ku?tWs~C~XZQZ %t iY_P͢&g$gǪa>~Aa žr;R͡~8g'1UfMl٭Dyǀ zBŜ&x]C@AP#[ΰ0}& zߒa?և?ȣ+?Q3}g M w.[OFQRtUmˮ(u^#-䎏TW~OXR궛E>) t"ٓ7Vr 7>#NjC JвUX#GKdkӃ)Hm(iT_Hʰ֭=L%+nU) f!=lօ(FwɚkJ3O.Xm߾&SNGŏ-݋8;oF}%kA̅wF[z2/M‚u[3yuԱx\t;R[`>6t[wOH~/g: FɇHA%41[ E$ {dwH{{ _b~*Q=40j j| &ԍCG%Q-qR1e s k|,LPT/\>84c =wtrua_I|>IeԀ nH Q`I/Ւ{:Of$bil43}e!Y (^'ۧu<' ?\eE ǯZK#np̃]oɍYꚹcYMh5 Lλl0f.vg H Vɉc|t1Pm֚ v]gQ,Mpd1E+7ϭƩўi:SDSx&Uϱ@ 'j س(W.#-^ 0y,ҡc j'gSȽd: 'mq,tej}d}Q\BlwsHwvMOR ]b*{v [l0 Os_L/q:*79,lp6wJ"$,[lnjİ1d _$XiBs P|%k8 m'ccM+`RE>=S+-&҃oZ"^66v׆JI.$ILO+0%X81/33ss7+h)xO&R;n7w5uUë3@1鄵V-Ǩn7oZ_R j8,Pm~{9KlitB3虹t2%TlpN>c]hc-* <,c }|  Wu:m=LPsīzx%xx-'Eu?e Y?晈) ȟd4:ꃹπf;D!k ւ`Wa7 軪(- Ʌêd9K$r5T@hE+YSI*}'of%x8PBU 4jtu+ v >T1z BMeJb4%-&эL'j6[$_3#vdL{}HMpp KuըwiyS?ѣigghO-Zp*@Gv(y2_>JqV#j•IHޮt;iB9 UH <%-Na;Ѥ<[mpK2c3T5 ۠ЈG? PӦ|j}1pc)Y# W̗a*9g^Z>_l8Zx 8y+oz-cƖ)sp\nS.s&U#!In-HFO5Z8w.JYdV<>j6):]zt0p,6E# O]r_7SH%6&Lf۠x Ü[dI4+!R pƈ] /j)F4rou0!ml1d<,?Hu Ya8SjM-QZ9(ϻ~Bcr.!^3Jq&֗d^.u {W? AUo96dq*BeU"j:rRLDU,^x{L߱iYZJvp \hpKTa6-izSAqb0ǽd8VژlJ9Xo3SJ%Jg+4 !٩QY p:`*%eY# mY Y51Z[JlY0hUHVO?@& O2/"$@Cjoڏ[Ğxu*h37c2nk PW_o/Ur; E aOV)5 uiMXrw Tq]\,j vwZy hL")vԲ{NZ%?}r#'Cvp!E\"6* E8 2췱`eTxߞ$2OpC!n9pm$8?(Y) Boh?xhW3Х:(l\WeڧIi7E~Jnn)L7 LJ'Qp_4b{VBr>:񹫹t\HSZyH?%o R=pQ(*,Xl6dm[kjMls^Pw F/ =73r hћN#|~ o@-.jH $u2r:Pִ]?JwbR rB)kWnҹ Y1D ȷ?ΩhYg؉B4Yos4 XaT=kg)^g>*r:>b$ўJuGZ8P8>eF Cޝ$v-fʶerVұ2w^4v6M#/|V\O>5u0PS>JUa!Wu:"`H/aߓ$_*wid= cn'Isg:0ѿ긒({n$f;-F~_SÜ^h~wW>): N~qV3BF#@  #D=!E? w@~I#gtm$?xp([7fjڽ%߲dfcL1Z}uȇK>m>7y>6R7*0au`΃N~pf[`rRKi\|a30aǤ  ` ^:,Z޵.kɻ;߭_[-D_ɟ1Iuݮr1I6f`D #;`?X5jon/Wp xՃ `2]FJV|$63Sҿe/=j뫪t Ki IS;ˆ'kο ~qIo ~s] V+㬶[) A8i?G>Ӈ0D y1vdC%fZcIy0^h#$W͔}IthX7ZgU]B hJ9- H";s }eU_џh'p#oD7Fq;X,$B#C[[T:~WFW y=9YrEy~3ijVY[gդu%ntEGz~kf5 *^.]ii뼔JO)i8r>6.C3;P:"5j!Њv n6E#Z~N*b[NvXOpC!&%e߹3(k 6"k}wI]4%jtN==qj;c)S @j߻PMWl{A0W\` ݠɂO4+{Rש2p 6O}HM#|0xO|٦ҽl-3O[ʄ@H-?xXN7}Li:H?7NAe5 T\~mRpq7\ . !@ O' %Rw)];hب}O\#5jlٿ wˀƛTfg"nya"?_Tjk-:3ucHO L\&L]7Ĩ@m,{UZʯw;0ti;B68$LUw ֝Qz&HX0s^wQ|4{)p[f aơiwA)=O@-ѲdIib-iF2Z@)( ~<9!0;lae8:$SeMjV.e"@Z\jYqF3-O$q5J|[ADxoO7]̓nJ2yq%Z甠_=SdY(.(`;*}VZ!fV![`\Ժ4>Z1{9s{u,-B?weRU-m8JNk5rUDcS^*6F51Aͽ"@李Fu'W^[*PS|B8e8F=\a&s l4`_'5"ΞB0Zl?Ab[zkBKjonᝋRv76)ߢTViK[.%è|$yOkcDudօz5=U $uxv.w&?;F{\;&fw[裄ERq!(qz^dF_0(Zo)hV xcFʕp4xWi-ȢuһMҕP~ް9!mCy/Ù$b榤nht裂"AȔ%Q:tdj2٣Oaayٟ*Ei^a.Y81u,;OP1/ʯh1|n~3+|`ءnW t͹Q Q=@^sT$q?ïj"$,ۄ}:4eٖ9vHOᾠ4DDdXwD~+ט.Ĺh(.]]\udBIw _a3aדyvc1HϱA=hT"9ߙoq? IurUU[ΖUəӌ*}H9R! lsTɗ> @?L4aYХ$Ǘ•,Q.UF?54zp/A lے9BN:KK%WHMt@?Àlcm.#' 3N;ǘ!~K!9!"kKr4 PdJZ͞ Ҧ]I%J>X[M&$. 1>e,I ]F+Ǒ{uH 㦞-LM]v)B[y~Al<5z( I[)W')E[O%X厤&Cy-eU;: *۾-ۦAw^^PݼNKZ"{, $9tLm yCeK!"с[p"i}k }S3Q ԼMtX3ac[|!u{6<|7#gu?FlLW xlKcƽ[u䫠^Gsm N$q7~3s~%"}ͻ,p]GTz8o/n3$ |햅]_'pRSuWϯ ZvŖM8x80]Gp$.*&ː;UB Y?V]lKZ7 3"heGtUL}<<Lg:Ȫ( f<|s8tW>c,LaM|Ǚ`rpm)MNhP֎%[틢xHmU'1gIJMCT; b!vFSdx ⫛,i( KgG>U:Tpojkr;h: oGg^+SaN^?c#+b!T,)k Hdƞ.8P^a3?)p1V8p1T 0>u{NBd[vt JGuŨ+R+gYZef96e44c6f93c21648032c46dfc3d82147a52de1a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 21c162074efe45b9b45c1371553b103f18d3ee25 3a682e1f1cf7be5ddb19f71268c5c126ef974c83 48cb48b00624e13b0b4146a0ff21bf97d29a5c04