SQLite format 3@ .  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 $4\ ]S CakeML:threads=4elapsed=632.113cpu=1848.092gc=434.480factor=2.927zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5I,tݳ&PYSA=8!NᥱdDvvvDn\ydi4-ӀgJX4c F( !XdC&!;4.K=mgq>*)#0ÇN6ilGW&_2I>tDC*cRvJ-<뀴y?DA1x};<[nHȾ[桇 RθP}^:{{6_G>s'/I&A/'D<Թ>zNU*#j7n&mI&iy/R/^Z!MƙTTLM7_vxnuW'ĶNJCYDe.,s*?߷zn&ARMj@?.~yt`FGW_VNb+/ߏTh`u|'Rجk龖]pPnnKNRõ\ߞU7Û]*DR'vWJQQ}9fD+^D9/WV%j(3S XYhHNm2wVvҁWmiT6CT MOÊmSA,6)4(T ʗ<N KFiٝ\#U|Ebt \$+vYx/D-SD& IeOh9Bm3 1UGw*[20Hd"/ҟ5(Tj%kdm# p"^j?PڟP̈́`H-fBŜEJIJezZ9/!*0JYC:JS_lBͧB*3ݧ(TBCIl KYdfĝKάwJmp0#AxYos+Seǥ4=dκXAo ճ`YH5\5FlEZ}q1#0'oE_Ἳ2 e`$o֑S]'q#ܪ$A;WрG{Env1B0Gg ƢoVh;d\F!~r ,=vtX,|]˄E0`_uK<Цzs~88˵8ǔɹZR0p1MO/VakwGrji&cN@Rz!|4z[W*6I9U/@Nc}qte? I7 6uy'ڜW:J?9_@B 9YO<38tzHz3Z12l3g ] >Y:~0P^ᛋ*,@D= ,("@U3M=!ܴYHl2͛iM{R~oBbg|iK,I/r%&p0ثIJԅE>k Uv:\LTj%_cS6+|'NIx0Zjzx"EzÞ^ &EƟ3(/lG/W#@;l7MkBR2Q58GWve0'0@BEBKs/O}U^6Z8]LmIZn5˛-Յ3^wGR1u-XWV69^=LE Z 4yώGy3Ú5i84rtVв[`'>}w}r)O J>AU)P(`1i P!hZn&nMȓQwR|3T;L4 r5ܥ̄{`u&]ͽߩC!эU?V1D΋pjF7P"6} B܇pT<9N^nd 32\:f wj1dġ,?Mftrzf2y+/˥? ӝ@}TioAC|VHJ5$)[Gm*jhf wW4 Wc2qsC`(hX I+]0,Sh 𗃌 Dy{V{%BtsQZ_C/ Ȋj*xoAqߪ%Toˆ0P\_y:=_̠0v|WGQHR^۔s;+LiA|E!'dDu }pGOvXZ*Θw?QQoS"+ߘϊGpsp3>pR¢P_Va744o(CߑD|U}ƞv'ugɣzeuh#jSL|dEMS$[+=Zu6`L PO3kfe<L!v^fC=W5RP1nɏbQq1F/An#C($ٝFF8Ή\SM*nظx9\-\+Y#hv~ \Uh⦗V;WM*V+mG{mQxDhf Q|NDLXN=V*/FP&ٿl3tѥ WKz86'[3^ĢW7SA\>mn+J`Qa; .P׼85"rJſWy敭7GiB֙b|}bHdMfgP֠~ jy `Lj~!̘&F;JƀzL"j/~i;вfk'0eRB-Zo2ۍ#tvAkT:c ?8V QG&4-d/O;Q?di_%|@V1FrD>F%/$ףqWwDY6F~d8Z Lu0$b~15곏.$'2FQݙ4mT%;4E"ČKx^3n7[s5sݥnR9.ˡ&jwzQ/NKv:wx х:d$9c@"4ZnC1fB|f m adf ,$^m v̕4z!SyШ2)lp11ED -l-#Q7l2ȟJg7%x۫=.x1[g 8?0rvbbR m^yz Ii\iCu#Jy,L[.;j[/?+59pC5"1^! mŕV9-ID~Ytf l}UYIO`bޓYEZ6>}#,J-qŃ-xqpYDg;-?fU"=o UX>]lE#[G548qĮ%rhqK↧ȧx/w4\PV,_^j(9:dik7􅋶lj9ZJHЏl"a x:x92[TcGX|mu&mBU}Ve{%2%^b[d*L~QuA)]tY)3Sz/5d[4*QB-`Wv^oImODUe"PޙۃL_ !C&mm\x\¼Z'J~0D+uqo%OBՙӱ|GOt3)`H[]^ݟЅkw@l3 [5>7l puI13zHѧ6A;oҧ}c2&7ڴkh 6uzj&)(EɐMvzXGM NQ\BX*INg LWENcH}Kiq<؇=fnv(nc;T 1 Ռ.Pc%>D=J$g^% {aS0p*kDA5Ix"3P .oW.U c(4D_'X 8JBgYZ7zXZִF! &]ŗXiɟy3 >u{b|ߏ@@ s!AR4iʤ .mDk iقDdPg2{}%T5W.{`'LH\ Es;#?يJHYOn9 gDMqU_ņgXbPOZ >gF/b 8<*UN|pB 89pwW(N&E\)%EA3 Jթ8SgnOu=zMoקl{ yvd!}Av>+ж03%}2~2h-iryU"^LL/}^"q~5ELEc-Jcc =ȗS )qaU,k7rMɀ-iJ`겴%)=wؗ*ewV–㧜 ɡ l" peu"klaq+Q51īܖ\j DhW!i',>.=?ס'-a0Ǻ!Jz҄$y7}^ dǭH_2THup`bFo *uPXi qCu]~ .o M5bTZ@52THmnn@!r#1b e7Vz>v `SB=D̤s9Sܢ{!g_">(Ņm(OH6*Y?sEq=M J_3NjSQm ڍ= ! 7v;AT_5f,fsu0)nQk6F< FA]Q`>VO~@3aӖ  x U~扨6 d`ge< n@Et*u 0XHYE}I"nc!.ڮ!k./E6Qxwj(>] 1(3QӳRj!\Vj'|y+_2r<dr-&m.oFơGQ8)Z+\Վ֣G N/fTqt&M9t8l4n~^UCF xtW-LCUP;8 {1@%2 tA\]mܨ\\a~wİΪl6{]2v,ʹwVΣkCZ 2879mꄤaz ܣL f"ufn .h byO"n8]DXe`m˷Á) I] BAB/%41@HR m`M!ϦlzJhZl.!P_^I] 1E (|l4QYn9uBy9#:$ <Jjw-F 7Drl'zpT\vR`G3GJJ40F-8E+VL᪻njc5ôS0{B+z=eQҌΗ-# H/_jsQQ&OS/lբ+R]9z]߈gzF,$S5[~=(m[owOu (^4 4mh%ΔqgjR, a$݀Zq骲gLrg0ؗ- ݆EW%YBJBiaGEo}}@󃸻Tz?U9Ǎ9%Z _ [Їl8ό~:jͤ>F,t]%" M9$Ǘ™l>'Xm :Cz|ƟV>iIFw4^A'D{0-XW$K |-]ǍgrBFaNQk&1AYkSp9DG1CqÝܽ-ќh +I~y7]b&ث!#DT>(C[4 T"A3&@~$\O1^UU- iA+fuRFaN8͛!cckR:i`"wD#T: R'\L(q_IR_ lb`VcN0 ;1{tS&]N4Fс.!EWή p6}-@lH*3֢ Zz\K^evy$/ki\QVnS{5d +$m ^*~,i"52m+dW= &‰mogQct5f|8K["֣~cxQb${Q=iL%βO'_y.9SjU&g~RwĜŬo9ٽ\ݮ٘`{Ќd}B'QnUlH*3DNt2L82&hZ VdG(a>or EFs#6%(f֍EV"ϋ[cd!fQDKc\P`l94,׍~V6V1uV*gdof@V(9~?`B䜆Npҁ:iTTyKXTv# eo>,}^΢yĨ@4vۘkՀt6&MIl  b9T̓sh w &O*V\g;X=(5б>/47 F&W_ʱd?f5qs+I]ĉN7qQ3vI.na{͔ gj|i`פiZKxΠPBodנ\B4(q x(V/- CpK5~`{iUpY(ΚxwU/0Ǚ~q), $Q늀u]t^$Dv6'y`=MoUJÒwVqSS&S?b=o8nw OC_OT һNYBlj4( 3[A>E^^mrv,XtfbNe$ɲ.?$^eFgr2(A\ a(0e]pEV' uT0 YƷCRXm:XS>?!0%"P-5p <;i~S0-,d1JQ5tK5W`$Vab"IpN xNv9 ,dzBC^ɢt2Z|B3#Ÿ,4B'H)JX ?30N'#%{桟ĥ~}zK&u[lhJEշcc1S5%윒S H׼sRc?vɎTyn >>e2M!`5giTDT K~^on)wrLkYh,:%'Xm=O%+ Jn3 Xf5pMfep4RugH{Id ꈂ.8z 4wAq R#ʚP:rqix,v2u\ /\b-ҡ&2 9iHnպﵿzQ`hYkGSvqNt<Dv{ cy=qI һ) *q<4+R!}BM9HG7khy_@7ue~!TP^K]z!PRS(#WQvi$G9j4ֱ$~FR~짞xpJ7%_TLê7*!c[:di;t*̜R.[ CmTޜ+ )wDI xAz+asū:]J69ɘ 6q$K8砦LpE6h{- eyxm*ˏ_ 8/RzqK&S}\*"5j\9R"GڅB9 |nFx>U[o.[,^(Y Sy7k߷(*5]vz, ۳  o@EyeA0_t L;|:=qgLKz@pH18 rHH9;z @_@ z߷+(E=Pge]&Su2%5xE I'z#=YZ#A6sGzMO1eG%o68/nH&vQ301׼~" ecǣ#¡($ 3;7/ n;RNcc(C6e_{~"Zk6DK;y/YSX/r (O"RZJ@@IoxEYV85pXdDK {PhVj*Yc:4n"ACLIW|e LR0jhq ߯{Š?ǐ& We1/pK`9ٔѱXȐ3#~tA$dWiDJ[N44VbT$qFR6mYØtbmՈv*ZlcusohLD\e28ᶹ^&2y o(kKOﲳA]>= ֚c2+n!1}qkpK_^R}$:~Db34> ڎw^ l1sm"[`E[AK~΁+V 2ÃaKs@^q >&%bF&V?}t0&<{,,@ ߹5DŽZq߹jY92[˼q 0K^$<:)pVbݼXN;`*kTeJO-om% ఎ[:/z\=bDTcC#z˭B̚^HxaJ(>*죎j=5R 1Tt$:sO![~Wv'o1 Nدɻ_ ȝ?Y g?~'i2;nq4n!]>-ǂؚݍc2 b-ձ *ny.Yh$Bg5CJT=K% ]oշ6>ʏ4a~W0 |0O-XsZ0gy;DChZhf, :?c헨wk0긾؄Ck@gx76&#DBFԪ0z j:8 <:_鎋H G&uFDO]-tQV+hClb7sJ$~l~NpR9n5WMNkMY㋊Yhȴ UPG;/ 5 ,g~*V(/LX E\U&8^n@xWKOEAU Ln|G8[\e6ŋ,9}'h|4 j/iaߟ;5!wtk80 VȕM3F$ijdGQ>q>jVȺgHڋY3"VxY /,3nZH3xz7 'k6,WY*xX' m@"*Zڠpczz  lsȏRp*R$zx ;/hhEM7S@Op Z4i$-9ȥX}ߣ.}C Z(H@TUJ\ E '@bE@u'~m-Й+BuϭٗЁzB40צW lu4o2e"2Cˍ/[׺'G[5;3x>]wp{z;\nтr BEm>-*f^0i .&ѿa,q^J+;4=N9ɇ*qpnO~[{"*:$窃bnNopA {f)%v\D8>u.^>FFvf1x9lp$Q䰁]U䷱$Coc Trk-sP*|@MdVwxR#nH (1OۑcOw`ݢB.*g ?jeTV$`d-0.CqI,"7}C yײB.Y#dqC y;w!lE q# -2s;z޽v)u7!|pçgFW,z@Q4t?>A>p%u1T"_dnR> V̗x;J(?)ulk>9 CŌf76آHVEɨۈ2|n$-LhNi(U60X'75c:cTd _˵M Xn㽐 &(lw5G-Վ q_paDBb(3JA:˛*\rћeIȋ,om#4|cÿiN׉HK\OS3?r;C+O KoZnD(}Оn]ԉynU~SΊ}\m A{Ī~ʩrYZm`f@f /(t FD#ESz'&.aQn\a,ZKy˸!X:O2fR !4N-+N:zW9ߺ?4q'Ȉ(D8(PBREFN 8_ۜ$B<He :tt|1tF]YCi/>$гYe,)\W:DUR5q~f#*U-w3@Tq ' ݧX!\^*rk,Vl饑ٌj (sl93vE}V4U|9{K(t IJP#uZܳyͣw]]-42naPbyq,4wvCq,ʲ\C7),&eb wKMZ WN,]>FУx@L8[ϩ:;(OZ^5Y7{N򪅾z_ mx(og B'n[?C5kl,F"'1o[P͉a\Ȝ. /x[[?:?j!D0 H#^<2}]gYڻҠ(pe/ /Zǂ"j&Mu3RfvXΡb9"ޗB/o'ݛ{Y2q+5U;-5&`+^09INwr E*wֲ8C%S"tæfͭ[Hݽ@~r-z22]7瓚fz W^%'Oۿ$$tƁ\H=.,} #K*ct3u^ъ_'C49EW-xQ_ 8Lݤ-uyA݂*[g#(ݐ`| 'cUB5 M1mfP;A+.a 䧎c3!/1U>eS$Bbg<8"TNn>AA?*=[ KF |m:DaP+"$WHr.}% F̖q5Q&UJS|ai?0o\^IKYBۈ8ɺj&gM5(Wi&4qT2c&3`pdJ\fw)in =l1m3`b\(~K>WW`~w}?WO @y{&~Z6SGQp|itWų Swv7 R[1GEy):IS(vWjO7C8. 4*6ө5K,p΂8)(Zӆʥ"LS%us[;մ#܃ݟH6YuXdv"%B6OmGLoжJMA?G2NkD£H%?V  5Cps$==Xht y2Oo)B)/UAgA ȯVkx\eكz𮐉m_Dpٰ aƏbn= y!ԍ z>Mm`VxP$O j !c}ᚷ ?0s 6Qgcbʫd6F‰䴑z+1^س.O&ض>PZ$#^O?{(i0sU Ŧ/,wkgw7A5IQ59 Oo5 MGI`}^^AlKZo?ÓPSwH),~GsG&+>Ro+*B>խ5.=|~p97ii)tukf9}P>4U2)'I8Oܪt"#$ݮ;? kw q 4X"%j.hˈ;u4!#Qj|@宅T۱SPY:q"po?@/;]XT HJ9ݽG˰^x 3$^wgSJ#jƜԇ20~ODBxj|hYk:^(? SkH[UⲬʿD㡨E(w%d p@2W4UȐ):Qsd1}JSOv*TǍ |9#V'[Q*W w$åYo-Ck GDŽ5w\ pE1TW!-Wl%nXjdLqE<\$6Xȩ ަm+i_ !4&=8rg^$V"Һz>P(;'roLl:z1: VJM(fB˽*aEcVYX? pX]UOCξMi su|+z+0 2m+"sc; qkٯX|Cr&.69MѰ߉1uP!=0 ~IZJ긹koBNZʙggk ۔QG Cu6HZzHHM|լ`wkt()IJE=MUl7ֈ1t#{R YZC<jmGD@1/Ț?[\ƞ71%ea5w!_[! PO6kڣ G,"MٸP\<q%> G4#Ȱ/3RE苁 Z!SNP\zE:3B%Ȃ7{̛w"66aWrw{4H|_avx2_)m߸whN0NmD:6``cxũb:~vh۞S*reoRxoy+G~߄M^I\G>5?)sOSPCo VllL 3tɧf?o0- +XiZ]ɏf牯P蔩./QUz_hAɈ-+SOX{l~^3=-{rWUݝne7bv;m_5 MU Ie\ =UsadH ^pX:@"~41v_ޙtfhLF)kiRK Npa j E(c3Ǵc3 5Å(k_~/vAa 3. HL[[4[QYM:+82 D BQ ljך /ܰCZNa]&S=@h󔜫R-qEdbS1VUIƀ[9НD5cBWF{2|RͩH1Gk@t]UPRB(L; #Kcܬ{0:&%GM+kMjL 0@5VP_Hhikf=( RkKF*/# dNt2-W84*ټ&[;Ƹ53+3ϛP54G{X j9n豥b9F0` R&,NjP(a7NK(PiQE3d FqzlN=xD9tZSɖ fT5c N7ﶅ'bFJlX:,:&Oz"K(<4B`>NCݖ1PT@p)mCŽSr<Y/PUT!V\4WM% .4xpp6 !n1yy¤yj5> }g_׬$Yd#jb0zFE%l5ȷ&{lS@B>~̄fWkL6'n{YgsͻN1ʟx|y`-( ~spfzNvR\gIT+g@K$tr!hQHmJ-b~NZ7D-ӋR ٲ}&mo_CD!vY;$"h_N&ܪYU4hh. ʪ H!PUorٴdbR .=74቙ǙsDv:;sB0]0GqYW!XBA7C!\C(OxBAx7^wer>%+tzXԐdY^v8xI"KuWꈍ*Ց}7yF=yZ.$-+uZ }/qČ"E ?0/"A#oC k+saNۤͮ|ںWUNI7’/Ol=542g:) ?ҖX:ƐsAŽCI0qZnloSes7HC[:pR!/ݕ:o,v4kN5 ARή4Bqd.n>s*b" 3J/)! k?i/)#pKaj-NʙMd];`UKCk9=yD;:[}-Q 3FE /QUܙ~ _ԗnZ r k%]-2$\,5tg<Xڎs߳qYRN ?TI ,aN1DX,\ަv7Az[tV@r[FӼmn%yc3*(~12`n 7;ڇ\Brhڔ7m} ؄&@v|ڒHͣޞ$ԻRa~+jgǾ2bn!.|>2pt0:,)i;FفҧFŀ41_Y#~\]*S6OBDt`q\&43]8GNr*%%Ƚv̥L=^UЎQOd[SnU6Ş)BhV(9/{d(W[fAJޱDlj=I 5NMG4*_eG4Y6 zjGe-78 }/ B78V8qOPpEx< Y;Y c1ȱqg4s,n`y?ifG:Q˷wqMǞg# GJzaÑIpGJL >s H#ã@^H/(|زT7# fZ_e;7f%1pzD҃n qd ͵nCxɵ1'OlyZNj{5e#C_.7A&JbJ#K~83zO \~QlY=N=ֹA%~'k85޻QmP[}Q>3ܑ 1 UU@>|ƣYD*7_yĶ{;fD* p{i95+5@32梤R)c{뗃CcYDyE/s۹G'4]9,χ:"Yrq sTJxh} }<f螺3|].SL'1:y|esqP& D\qz2Yޅx=%Q9ܴ&hyzCA?bLJ7,akcO%3E0|#k"Ub[Q\2 UH薮]}i#5yA}y6s+>#۬P[~stG# 3$G&ZmWzsvEZ&; /R}b^_C2`XRʿ^s$\h `[΅s~pْ=ġK &j5N$ vTjቋzS@WK3?ɉx[-~~i?6G<0IXgbKD%.Y끤W9Ń ,i7j&tC2z欧ujz=`$?/|Փ\\(L-PϾQ;6nh% {i-F t7E(CӬh Ȃ]ouf)}FoC ?4n_sG F# r<*YQc@0\CܞMqAk\?;ctKwTD,O6X^S-M(`ПsouO.k#Wԅ]g|ckLכ12uaT@? 'RF3ql@ r(s^'j9< bXm;8zGÎ1,V/5f(祉_%|%a7uyA-AUHRHq/B{_᱈e4&^xVJz@νIR6t 1]@I1VIRgU-Z=|5榙ϚR8ޚQXi_Hi^ tuצs }A?֞c#_ɧX#{ 6Ѷ#"bPǬ2 , hЄ&9jCY }E g"~e QF;4_ vOp L۠ E@Z^\%զ. >=lxqo n™ HTD@eܲ\.%@ڄc鈴;)w\6@=aE1f'A0OOmXst#zIsR͂qÖ޴ӿ]?:s5*:P2^30hظI0hf4yEK8JU6]g~ьtڋkhYkepqfk?M1br ^RsXh b*,*D;ذӀʟf D~l5J`$.9jf#uy:3пh9F1I?A'XO@e/7JTΖ8aޝAFuRҰ6=u~~Z. gpaweJE$T;HQLc4 ;NPY 22 (#{H tGQn[+t I7>TTcuPd~UQE&g}]uY>92ö8(lL8jlLi_)gM~"5M&< F€B6HmIFb ! dЄFʇ[XGArCsT[kK0O ING5~R1!zNJ},B?M V?4]3fg[.`nY Z{;ow@_nP4!ZFJzحt4YqDG~o.JQ.֭cᡖؖ/kSff5")T1[=܄#_Vz=kCM@`X_e[vo̬CҖ5n$$и%?aTW*0 6Kj3LX\w? &ʳ{ kχG_ZLcka.~^HLjMEx9b ^Wl,`z>_0bpQ 7 YЄ*$LT /ZB[1IJd$l:z3}SZh)8͹;F"1]3~rFm>8P#8_nh*g^l`Dobdl?o;(Np)iL#&艃 ['j*m^K߄KU~㿻j: nZ)l´v⃏?Tvkԍ˲ kuys!>^4TxNL\Hks(4͎kǑ%('7頖oZ O˥"G5p:2V_Gu>a, ᶦo9Ͽݓ%nEAu&t_glssDC2vゴ$CԌHk jK(B<ew Ƞ چVXk d5aSt:jj_ai7LD? d)sS)\k^=Rcj'T*Y7/ub~`r 'ل&syxs巨n zޅ-x2] ʹo$I> 05`UT]VlUѳt~xoN^k0&hv7- ZHlOȥ1P@Dƺg2uP :F^wgv>kJvggK#dm|L23,D>3BnN#SMõ%;ﰩlܚEِT3m&-|w*< iţ{fg<\zvXͭ@Nun&]PB=7…½W}|F" 4fDPp_{Vx[@xt'[_j f`o{WF мI,GoQؑUO+R3k)bǘKs̼G yEx _wD 6gWkZWS#nx ~$:r`I]fNsa1E^Kz@:T,C5Yg3i!琅21_u60Ň }`AK: GʞLRvNnz*e^]_PFbxϒ{CtIjXdY='V}cS׍ۢ/UC+nt{cUo~M^} :,n6ߧugK5!}_ߕ0=,.i,K:8="6Ѧ\5/"V?AWEVuT 8$^^o(kQ9jR'첁rէh^yO!_eujx[">flȮ@^n2I=ENʊ> 24qbV.;F{Œz<9[Kz|,dpr3U 뾧=އt T2u4Ua80v02Y(4*QK{ê,px@AX|r֨i/Ǭr߱] w: e+11/)yWrsP#T-O Z;_%/nrFnNZxҊ|Ewi5Qb.;7,&&19gޗHȬS-a#)蜘N9(]}b^Gzk*)}/q*7ݨvH*o iN. =8ax.n`^ Ǵ-D\ZsX'B]\v+ $=,j݅jТT!*q2;{V7ѳ16[%7Ru]@ɢܻw_;4}.0vp~pÞ|afeOss`!nd=3(m\To1r?[Q-Ny-6EF[k)3 U:ALl.37PWJ RIt!F-9׉aF~q擿֫Oː LyT|xc, ! e:ex`>)kY"ڻ o /.^bųiH5hEH\ r^C:rp9[e"qhl QغȻ44nOrF(U~O^AmJ 1Rx)E̩qg+AAކkz01\9G̼,X)'>h477.6ҷMUv_xc^)}CXT\ƫ-5VqmBM~ \MԿS >f>kXӛ?vHx]GEuV bBOP(QU L˂^+1AF|Q:Msoy(u}@QG(3{?f΅ $b~i I+!ߟ.:QKP 'FUNxƭSj|[1fR˜ߚc= wBXS{9\I_" > ή/^UzGo<2ڑ ߰kK)Xf"}C(~5 iIhlp)T.nLl e{ S} { xwEV4#U*Pf}o$`iKgHk˳$,6]2:?1ڱᤘ[SȳB?95 Nݛn-~ ?vhi$E رT+^h2C9Gw sXԊ4?lq^_RMR~TRԌc=H6;V* g"~jт K3̜ VE0x$]8|T**'-jgo Z,g^:(a &{( DD"{ gMd 啶96I<bB| V`n^bFw#*#N8ncΆ Pa0k𦌱9V4'8pʕ@g\ߛA R{1VQ7yf[vba:9uw?2qS>d~dfL&h}Q>WjKƑMۓ{Sa0b_*t{yS@/=M ~@J&}Dr`\)\F^\i$H5,K }Ldܫܒ_'efE}2ap~ϡDMEj=H;5@_F^&ZsSb'MN2-:fEnt{{\&O^wr "JjnAݶEp3(qQ~X!S݄.mWOa9RZ<%k<@n6Id?2N$:p69oJ2[ s-{\ފFW}C#eZfD ]%` (B+`l_5|_د&o̥*~!ՅLl?~V[q9P@fWa*) "DTDlI曵ok)-1FSVD &(oOr$ \u5δF7i7o_ yA^_BOIGd-dqׯ멖zQѓGR픵{"RJ [9\H:/'V:3~1ecOPk-xUޒUZ#:aߑ rG c%TCc@6x0Z Thy*'Y:5-uihY <>lpC/i0hʚNMa(3GΫ-nȪ ZdwG>ni/"m"nwqH]a 8&3@MEg]VN /#F#YQހ}BY,_EP=B&vLܷ@zCY,* %X(3t bdۇWSjcK ~lf%N($߼tiMo3BSe| <_B:䪳up᡹A8dh 2>d;d+DygQؓȹ` $ Q" C/sx8R*Ps^^:RO*L  "!:.Nq~A72!}91w@,tܵ7S|-߾Wl9Jѐ@gRaZ4AmlD'Pc(BسRl3Mm?z'.ѭdKU7Yy8|27g4CC/n i '~*UnWsdHQzN5a|Ċ=#9'$/;fqzp@cuNp*b QZR Gen*HAxD4ޑN[;d닇e r#1$5Ks7ꦭK~-G"yEΧ]y=?K M9>ĭhj,_m RSkLzm}E ]ӛr19؂z+~=0< ֓LFBucQ.(} c3,c|#I-#W"u4o {grm_ w^IWv Q {䍹gx L"wtT`"m ~-1z<(k)ހcB"1 OfN?XjB3s V˥ _4D Eq3 op/5M\[u?I3R.hPieS iLeV/v Frsc\Y6~4\W.m+L?+Ũug1%l}wBs ,Af ?l]HȖ'ؕ-&0D LW 5V6יWx|I$5ϥ"녊~dǮҴ >` %Dmz ўKq9"ϡ?UZ9,oJ"/wמܒ t3wD1jKO$ EĶ<|sgQݸ\ KD -XfTK(t_KbMfw|6oUW#c'=0%MsbTnhEU5 "Rцjۉ=ڠU k2U_: ժg8?xIv>a`{6bBz OE2äxEOej+ЗWIJlӿ-*قw$6ۙ*&Q@5lw /lbΉNo A$o))M'ck 1X`ri(}2`&fiZaq feٔMPbUj3'bGv/jWċD]S"k20u{a_Sah'rowS2 ӬTlL١1}IKNSZO0_M?eVLk ##O+ ^Ȏl , Mku#$Ҥ臛T6#n=F 4"Ѷo)ш!(84R3Ghi{ŘQR~m;VZӽX8PFa_*zJzeA3yK/bto+ޛ2,G7t'WhϮ^%g~R:45݇*!>XJik׬SAByJs7 J656V+جPaWwpټ+ BB.T24d87LaZZ_m3g*c6Ppސ2J1ނIqnym6֙F<9?MBU,!m6JgwO-}]/تYc/sluO5S:ֿ}3q!} DnĶx_TRSƏZ&RJ 2f0dO, V0tnRBy< J[,̙=]8T/M*\Kd_ ѥn73pXhcT˗93_dOuf czC~%~%Yc%u's*?*  [S*~lx ZU x {z6G[6EPE"p5B ݔ+-] E0ӕqQ٢גd*WbL992jɻ1xy5'SP@5z%풡!kzc`@%m56 O {Kc-y[+Oxey>#WK&|K#p;t p@G*!jp Z6)\+R, t>azd&V/nr8`TTOF|3ny UќNjȬD~ɿ?x, 6)x講Petђ.1ޔ} kl==/~M$4y7LA־%,q%E *ث7>d5XkNP.,miI *#LNfO+]-\m,PY<W]gc"+ptDÑCǾ*sa.&9y+ WU^ap_C=|#s<Ċ 6a[w#e TॏP!)_tjIi4R9[nv@^?9X-f;P2[Uq67. odAt`MZkw1hc 鈇m=E3MT`yJp1,f& ~۳_~AmHZ˒%Jz%RoP8nXA(nd!FNy:MbdJBIk( Aw:qE'Mel₽/Op͸ *1__g|Tazn$Q B+r2~O_ Ct߇m:,hNm)۰֪EMrqFӮM<:0Ov8:Sz]6LΧMOW*2,N@M]!ky;H%羌?ؚg&9 $2VSKB&ofs~B3w1tɧN$w][:ꐖS`fjvw4Z)-? a,Qt-D -ҍ]y͜a.]0 4urhhա?a4 DڭoFŦLgIgf$[fq[sNq3v^ܰmԘV9|r*_)A2mٯ̟B_'^q'x=]iSv!Iv ?`%Sʓ#aưj@P2s1zSO\˗uQENQ/hI)y%k- }N=iyxވRu-uw\L[tL'&xG0C xfq eBݬ3jK =j%31 *O%Noi̫<KH¢2 ~p%%*9.tdҰz%0쾃PKdzï%+;}ص.qw9]`:u9aDSOΫ5lR(J\yԲV<7e+7=R&7/7j/qY0ݻxȒe0ޞr>se s=TB; xf!i<8@/Ct7öQ)-hhr6B[{) 뮞4`VEm^H(Hۜ*r=T* -92%PFJ DٵKvP5/8ٵEOiv(@ͬiGwU׹+&}rPe[ [BSM6_xOq>R00(mOz XG:w%.uʷ/דMO@gōV7lG F^h, Ot|Y(%*b dp&62}4H[""-@at?ˈH/6SV%vpWF-ovO7A-MᦱzIcKwJn#;47tzg}>:˜H7 sq];tp7):2{}>t̀BM-]RVZ3PL;SuihY=GQ]{ ] )"-,hf`I1ݮ 2F7$2:4-;p8$^o.>>qo3 b~F*[?_PEz/֔eH703S~x[%I CP3`9W?E"w\+-0kD (0x1}ܙJ! rtBq;&'O㌢Uv:d }IiPY< UE@ %OU@ǧLqwMW. ?#C ƾOcqd_2iUߑH"9;v/4A}$QF>l Qx̎],t$(Y ƶ b'Xvdr,$Ԝ`:YBVOF}jQ{@ȯ 3#{i' 0]Ts\;r#wDzfWf[6 !bp L2~ rDzEJ"rY7%yXO Tq>ݴ7RF<%^YZ7l11!GGg﫠e%*w@͙U![Xr98*٘7&ƢYsg$))G a+eNShB_C {bpuYmWq:|IJzqE\ϛ#݈j(uv}4TZ!E)~!+U86cϡ_ 'D`+3Znxɍj$>>^6ʱNhi}00[q EEAm ٪ #g0w({o3_.Y妱t㖘n~Kk?-ڲn%*# l2@Rȧi*m{P&ȹt:G궮>gd٪ YϥOPz)N`0{ɰcp'nb dTǚHD0=VD짳-fMNގݵ҄I!/͛2H⼶2[(> BmJ8Aon9l ԍʢI}ҪXXؖlBpݬbI˄_UfbsB3$w[[^;y޴A0nk>/2m]Yms/XQűP,&.x(M5Xٴ b4G޽M*,6 #-dzz_/t MD*>M4S3t.r:M2ʋcGz DV^(rO{|M;{aQt+= *'~؂{fpЬQpOj5^_nҵ/!8T$y'QΝqXFIy4{db ~V,n!C떎PdT&NBsH@I.)x=TjpzjvY,Yͻ5V>g.Z6.(ZJ>uW~; !%8F3u6ڼ d4i!H+V {HnC^1'p-!Ӕ֟Y2O^!RcaZP#zHn`2Qq=!k˸@ɸէx&1a0`]11u1D ! )ՠ-sDdI^LC/-'Wp%}Ա|-dSp ,s:bd ^*2h@!B(OGi|ed?/PWa b$JwbLY-`jϵrN% $A{Y7Zi)7w8n?:Tʺ 3AOI?l ڬ ;jۇKWM*)3?sk+Q bM+Y w-acGNnEV. ̃&$!!rƄ+5FѦLRդ=RO咍o@3!ETW]>V?Qmm9f gx- aC#Ԓ>_dH}k|?s]kQ,ǼNlB+L |WXv |Y6+r1*ygs‰`gG bp?\Nj}krSʤؔ$97"bM"-+Q8clҵ{OĶ)lx TeN uş~dUs#492rφvwpݼ=;:NlKkyb- N| [5@ȆHl * %'ς]"m*%FLOC9xGm>38ۓlςJ5gU!cFVjS9I(KT/VbD!uAl\~mhd[N.T#D7?! 55r$3nbд|\Gg1kBG6ZH.+El| ;z3Qz߅JBD Oma4%BZ|\K!.:yUqh _ Y'CrJu>MÙ9yȎ ݸAs65IB6"(BTo'TYSw,3j c;n=V\k؉t\f5q[+c>ۄ_l!aju=lOIU>@|cK}i~+eȸ{I*k؈{F]"ITd(/.܁pz}NCU(w5{&N::Vܖ98•{OEe0tvMS V Є r)e9qrAL^|cdbioXٌfhEq%G2+T|ЉY^.t!bĕwuwIف6,VoɑVw!||xq-һ&e(X~PvqSjӁnuVN9 D8[}(x9\LJy8"',)Mg?ϒq?#6K7|GʾwRG:29}\<(7|=058_ɍ|<>'osfHOd;tPg;{_ތLF6,Ի"9 $-vy'x祜X%b@{8=.X'1{F@i. -))z!C2<ܢbbv> ge?q v 3P)pbך) R`Ow`DD!h4E꼢V ?ϔm VMDh/|k.B9aWuKЫl#E8>'Vb_qѱ9@(f7; gͼaIӭ9S#9T:mFL͍z@K'u})bq:ma 'C$)`+#!p f~>usl@K8ZT݄{WR^mc\gu)97LO"4KK<ցOZXnԠky2P,bDs%b $]Q'Գ7>}\R޼ĉ ie/g1}{-t#I(UU {.gߜ)HR|h箐DNI \rQya$zoTq WTF֒Q䄁-m g:@gX:PÎ\ 5}l4A䇂ST͸4׎ى5$Pxk`K^@K>5M8SjF 1߸>Mh\>`3&-Ȯ&osq5 _8<9Dbj41"=3q|اeZ[k v HOSB_N3)0nO]ib b ]VYtv㤎DH VFvlmdKy~iϓ8#r:*{) N=k)MqO '|?I"TL!*$NSp--a %5vKuQrI! 5Ǥ3 aPAՋwy@ v}n!Vǽ]q?O=ZDA6(A Y~0`0Ri1ɹ;|f/E!á2wWv#tu&vU*u%& ;HPQ1h".RsI*Q0HEF1%net887͊r)r -8kZ=<{+fӡ,aSkrabD%zIcO$Dؐ6T@R_TDg b)&]*T 08E~Xh/e.k ҳ}O/*E.I;V1 UZ(P@c;N-A__!<3)_BRprN$h3CwPeKT"JZz wC[>"r3V[8Oc0E{qK7c5A 2NʹAؿ&+|w1Z'; @ʼn\5{tzmik;( Α#5/GhÕ4R[,Qc@t7Mn('mTR64SV+͌ 3ŦYlL|&*wwft3'$!7|׵*(n,lO-\/G5r<:m">B G0OCgZYqĞEusjSa2xR%IŒPΣ X,,5\`Z ZL(qJyߓfBoԒ/\N .MqaU<`c"x>k鲋m% }1:Z?lY(oGjfZۏ,dNI,NWmx: %]mL ̸( -8B4CMYInEӷFO9x]a36I5֎-1^)tgUQ-- FRU£Y Jy$$5s[i1wȒbxߺ\['KNƂmttbM~&%bsI5P&NUǫB8qՌ-vd)hAUO(2 {>!ENJÍnP"MiykX34(>5҃?aNAb\e[0V,]*߂a9GǦҤlw rv1+L\d-*E粑x^;?pFDiϩ{YJ+tOI6Z+vh)rGlfv[pvޞM xt.*?j @B?gAڛʚܬNjq:Ah&C9VrKB æ{l;r>`gZ@],sI쵝yV sW 4v_`!d_ ϐpb2*nC_GSQO%_pmq:)3S:e7Ii2:g ~!u60\H FcktKdM buI Z[U{E[ax?poX2&}H\mU'cj^\\@ohHq35tL'6*eb&Dެmm:|1rYEYl,EѮ@% ء+T6gYZ7a428d6a77fe8789259532b19329c021315f6dfd3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 4cf16e928fabcda5e6cd47a233d010dae8d6c176 5acad293ee23684352b3c1372fd10239863facb8