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 G% D< ]/ Hybrid_Logic:threads=4elapsed=22.802cpu=59.908gc=2.004factor=2.637zXZִF! r9]ŗXiɟd)&]hS.J}+%#7~|uB5Lңcw'6hϹT>g*cpCrţ[+|է *K^j:|#ˋ{(4ӊ>^1@ۍQÌV yoOa`N s3 ?L2Ijz0Hs\#Z-TLG]f0cAo^ZXC q왨n g^ˈXڱYIW#ڐ/_f C6H g>ݹ/4TŶ'_WA=z˟w>?|o:x9KDNjN bO\Z1@(%]3ֿȩЪ*U* ~Hd]:vqO+&QU91*[`7kqޏpQUoD:z뺵}s}O|iek՟sK r$DT=eу\0ͨ]՝| DzBIxjH2=&T@f RUG6ꂐ"\t`:9F*Jn7WEnO ;N?a{vѮސӪ25q^YI/@5EtJ\3l&UnLLDu՗0;( 0Iȿ9Ǖ;)0z+V)ef?4d] ^QWEMvQb25+yЄ?%osVu&V}:E %$nY.fMu LKM[YÀ'Vj!@:0/nU꨽r 曫s:X zQAA[Y7QD=* r|ZF% ՛pNh>DEIRg`]RICBOp^Tt&)jŽrax n Ok48C aѲ;oDˆǾq3 f0TwьbqcIV 'ӓQ]y~5 b\? bw©ӄ%G.DA2gAا¡\~PoӒ*%"z IH,_OaZ`Ii'Z5Lۡ4Qe28I=pP X(f+5Nd$~X`M*[*KzGwEnpD>)˓[PZ@QK]v|"<"F6#kdkY<x5zTc[=L݊^ZޫS@bX;S$6Ms| ~;i b0 n۷HV2i+p5iƩ!#BGj@U1p KhQҥ~G;M<^P{z bV`R'"H@g HL^A6=y@t4V]CkiBk,^טhɔw ܋YԱ {c2*gȥpr:B:B`ͬ#n5ifbv iyIV 9}EH˛'둪q[Z+B8] `OJ'MmvR9˪Lr=u5RRiml溫}=pGG7 ˤ)=^8u\vFݜvNؠL^&xrT+eC@Bkݻq[ [>uG;e@:>n#||Amx&Ɗ?nJh8?5'pzimsTҪ֟ي½;a0\/Cpx FiͰ^Y;z?CNÅ*mI㲽\mƆHtyU۟UTJ! % Hybrid_Logic   J.L"hb&;TV.u6c8VHU;/,?c1&<8Jkw!l2ŅՠTaL#F´U*dtxxơjc&+ frNl/,l6b"UKJ51 8Yx.Z!l$Y&os6«]8p⧿w{d$Iœ l5GgQ{Z[y{`)Lvd岺N(ɺ@D0Ӹ/Cbr.wwfbO`IC6ސ.A/Lm"eb߰1d̍1Y38PJqOk  X^ɉ/ :DO4#p'צ<by%~Ւ[Rq7Ӗ 7<֦><8Lِ+"=IFQ~zWQӅ2zYLN/|5]9'=AZVc+1>Ycgu>c)cކ7fO/p nMҏQ| OxKdKA Vmdx$eIq.Pء!L'fy--mON gCs%ҾI/F}XEk_uɴ\ߏp,Ҽ1[5yc>]z'JqYl4^=n*]q1aghץ4`7|aju^e9-~QVY:`>͘.pGluRIF-/,Ԧ,>Zfѽ9Kw, 3zJ=tha*5Xb4M_cST6 FMtA̵;c VF~39AC^K5\$﷐WOkM*lXm=~7"~3>;zopk}оڂ:gIjާxX mBZ"ou-vMܕ)λwgoq)H=~4[|2"6$Fp+ȓztzZ5p  nWE6)U"BӈЌaqʛp1i8vT:wFM}'I{iM )@vwNUYsQϙ r ڲP `讅9,`R;xfgrsS̴Ȅ`7+QԬ-e}-iAA-/ntM9`,.jGF97)_9yJRQ2DXT\.1"b͒oK]:@A*(_v՗7{pN x.8c˨.zfߐǘO34aؓ-$hUl)'ҌqLO6M st#Z~ڎ*1QT蹕5}7MZQkvaʸvY<&ŕy= ,Z_n/6̈́&mJMa8y-CJhSxxLGU0ay7S؄OUfDna$= Wx=WR[RmcU 烽n< Z*b%jfs O4@-fBHu{ODw; ;a>?~ *A+Rs`;M/'q~ gԆ;tqA1nCF+ 4QOLTw巩Xxe~=]p76fˢYKlsf[s4+baU_Cn{D1`cy~MeJ,AMrkO_!_dֳ>eo4tԃp)# 2~[Y@PI؍1+j 5KYf&4+t@+LvaaPX)]؀bpa8t7~aM `0)4e G,؀[ `)o7tH 7iTT)^UK9aț}fz=ȧ(It[l֣4$ǗbE- .}!Zݡ(^xKr7 Ns$,9nD ڐmMl-{ Ly`:sy o*m^c={ |VSRJ 2i]AȪE߂utZ3rSZ#I˓u۽C'5x+@#28BK6T*־Cis:W* Hlno{ R:Q"C@Z.uw6p^(a2d"U0\A-mʥYf Nf1=MT $fɝw'CW+շY+4@Ddl8YOGm<'X[sAN$q3OYIy7!-)Zױة{drgt& gfZn.GܼY \Q+ttä.lWp 8* u(kNd+<rʬZ!NMfg3rUmO zcݐ 0Hq/G0W=kl`̢-$ʰQC,vD۵>famZU)KغX > sN[`!gf8Xa»ׁGO1 VJjx&_vp}^Fb1# *3ѩEO>`f$UՃz"#"l04+z mf(0>.5N~LoKHX0J-v?ks1I}njwd'i@fl.r5uR'Ϟ߂BlfwKU%˛6˷2k¡k7<@T\jvJr^v]1"ˋ{_FeP,7ꉑ@е>NWLi"MAbPlif*crPq~B -iC43?j%uH).o[ a-nBrăTaN~saX]8*P(z 2xՀR gCMH7Umެ`Sk934h bUD6y_U *f1֞S{t{49W:Y74VaDz6-#;a*܌ 0۹揈=xz6~bCgOU^e!c?^E$ؑ r ʔ) _ d\OyxvsXtg% }kMk$7sts$vyЖ\ pII[%Kϩ.`Y#ݯ%iiv^uS%F^DRpVxB\x'ƕ2ǺuUWO # "cR4s9z uf[8nZv"(Q H/q Y46vJOr٩RU]j"),0 KQ$I[z€ۖ->xN5lUw=^V1YFZ!wp'D1NJu ٦Yk򕚪 6[vsDN~ġ Ehc(,iMaAQmk(>פ"o<եXP,;J1\fcl!xdKݾ)8YJ( z{ ԘsC6\OX,?N QGQnSm>@-kid]&h0O$:ഐ`~WF{eo٫b}1ij8`kX8%Tuq!x>@h3(drytJs=9=;*.AHP|dh0_D5[I&{~ q!/K3*[8^Kj,C5gEz ऴyQki~hI켙De"qDC~tMy+SD6{Y#z)}pRwhc{M~|愨ᩬ"z(3/b-1oFd)5KiUr-!ZA'xB&~Qe i~Tdgp@}8 /SUlZ_ 5ðd`eu<3`)z$)WrX'{'EX T evgYZ^/WԳ*w`Yz:%-Wň;aX7X}D}Z?iv2|Y<-^e cbsdr]%+"5&.Ii·DU^ߍ<› nz%HzRejra1tlgNa]t2vHJf r?5nfO/6ߝ{pw#rJPOB!)6~+A Ap½{}Og?^# y*9Hr* TH?Yb@W##nd}`f?`APp>ߜfKh0g:ʍ69ćHWs i ½(7!~^?sxG߱( U(L+LъLI:)#W17D8a\L/L.}Bm 7uƽbs V!#DԳ)" k;L#R~ܦwمNgTўJC NLD+@V̬B;k=$:oRhWQMs1EcMDҌc8#! b}?1 sWO+ Z1#` 4 _6Al-[iFVn6>7|k0x$FiS:$`ٙRpֳWH)-٢b' EZ]hqVg0Ⱥ:OʧTsA\Ӝ v`9({31uYsH1ޞh֥TQT`ЬNpT`(JQ#WF=rͻC"`?@s`I)]їp+R@*v݃-"gn e,ÿB #fv57NzQ>:@W୚*Xշzhvpu5C7[W'`YI"V&bbsG`]FweZ÷_ggmSj`RujKOIFŸjEbwC0~&y oJR#DiV;jչ Ơl+n(V$#a2Tqh[lL5fBݟcNnw?gBx0b_d(&Uњ>%=08H-]l*8K85UX6]r@|r΋r,hAHoXz5mKdy˚qOek\x"5ty`(_+CanuK#5_h=)#YEu˶ܡJD(0JW6f-?X٠ YmOaop2 bIOxlHU^( =,P]Z_yxH=>쉲#}$ʔ{D? hDX%Ӿi`]$'m3+FBA-Np Ih6Ms`Ku7SF斅kZĴ ˤ 7mVq eR[ 2_譫:$F Fb+NUdB0״yF?&x, H"sOc#R9D.u'K΢>'Ԯyd{,Y2_&g/lfL8۔E{JjPC"m ][;ѓWt/4߻a֌<4#g:etO"*3N=VУ$)ܢVzi-i#k|äh^xK$pb!P_V"#HcwTB_}-HSD՚FD t5^^/'kB/0(ug'oEV 06wO'羠~<>Œ6ybɜwX+"譎*vM`xqNX=8S?(~3Q颜b3rm<3FxHią 06y~Q#97ChGl <dtMeEs(htC X|F  |"3F:$8q㸃\ʼnZDf?{綪+ǐi># szKe ``5ֱ#,YJhb&D xҷl>:eiw(SWW;3FXCMܼ:R d3jW#.Kpi;MV^1)ϗ`e ju6Ϫm7 ^H[7LC-!+V m[a&Q" ̈W-F~F ;6hay^ŰO{8$Q$@9nUx:`Ȳebd l7FJwYo+lp߿#q!ǓiRYUw]B<j>WzMTJ|sXE-8aw רbaE UdRyq^9~X=箟Y:QGQu׫s~Vxjv"bk{e;U)FIjȁNYاPc:fSd ;]:oəL!ha}FmAoU܁ZAvPJn\>8 $bY Wes8ɬ?y99Kvl87ɞ eu<ʹ}q!OI5%.Mkz8ͱ4-&EU65D#(D:[D:Ț޺ʯ}$kh҈{OHA6l2/ վB01u8 @^zN AE@+ᇾsX?#H̗'Mc8^lYޘkD]?rqل`׬@/9Ap%_3}8NI#^g-.Տ&q,{|b@(.̀8aTj} RjsUP,zɹXI`q1}!8ŒZe T R1ar tx9ؼ8U9݊My$y&`GyͩK&^?gQˋ*y2G9<8gT }ؑ/]Mr]\*7Ã4BP?ϕpJ5`d[ deܐAP\md5ޮLb<[%egtNQb໷2C xSeoL7aU4jxp]rp2P^kJ l9i'`#jtt_%~b1R}*WI7y;وQ D Eo8chYm3g)ס?ePׇdh>#3Dy&O3kƼowDž # $ Y ཉ.U2l|r]d'^[ fw<}j.*jvsyDb@fz?&%Y$)9|834q$z}hլo{#6>olԾf[$y\ssoL^7=)Ax<ѹ: ƾlzw!Sj,^ bŖFp>` 0ajYոc~vL:,s4{yW[XE vc2yIߜ14Z)Myz|Zu@l!3'1͖Ct}$Se ]#mԥ 'j^ZVd  A\[62\gW djIpʚ(g*|CmGy P7H3!b@UGrjn>`tBK`e ER.$YKUbR617qތE|굮J&Xie^瑜 2V~@ Яƙ/! ("޴W+,XEq]lv{\A $F`$PۏCq{"*jn{VgJ[t;TuW˱c0qCUc w N*i)H zF-J}|JgXz>׃fa ?/mҾp 3զ1-4޵Q\`6MK!!VBs15uuR2.x۴@[^Fr^ }{U^f9MkHaY'z)'{57 \u'BT@24Y 3#X %}~uuvf7 T.ة4lܔPBiSIBk=w˼uJ#;8Cu~pY݀|; Vܑqz#6Z-!oXr޿JЭ0DY峍Ȍ%@> N@ڔhXY؆ba ?-,3&O1;R)#df 4*0?lHH$6b,zYhy+:xĩJ;ŏ5g8Ԑm3/Bu4|yšK۵T籰dclS0"Kvnõ6ͺ WC.*nk][R'>Uİ`gSWϾ2 BY]1_5/YO .jP@ÈDaLLvI^2,omaOr^z%\NH,vX9'/G̃44駒LsOj03( Nbش-P-Fe&CL:I e~7?ΠFFoiA9RbI10lw8@?mLϳ H+-2urOɂ|l"1*͞)#t 6-e 0.#5~o#y ȨSZ$y"F8 UHVbqa:\wrndlOUe41oSX$HF*i EGpwN%'=,=Eۤ;?b脔e" ؟5㐃mKwQ@XF!u_ir>fU*gYĿ$_sjb[ՋXPAtߟ“kF7 ܽ'ü=F 3MV!~J$Jd&)͗B|5.eLn%Wvs 6Ϊ悘4Hνizqh (5<=SNGQ!TobhrО\'Уu-N<搗b,̂L`u;MԼod wJ‰Vnג L6;[GbvXtq;8œ^+}6,miT)m ͍"pSX{[[h<]JO۠Pvn$'W#^ȸȱ_N52=io![k1"dҢ0hcXnO1 dC!8l@M)EwDKEt{9v;V#`HLz~"2ls(5$aEk{tTlդ4z;` U*0 Vc'|u=*D^1zyՌv1qx0WqCNS6ݛA[Ği'8#F9No 4ȹ&v3ʋCK.6KZUrs\JC>O1+8)e& L"rR7J!rv5O` '|ol ,BDWT'^lcp~ԢC|G`#sޯnvy;Ӏc/TB+`d-5^ 'g]lv8 wq6ܪEkyIWK4O`Y~ ZU%CBrv,^hFʀi&֩ں%FwݲSqJT=.',Q9^q/I _!$9%G&=DBٸTum61 f m}#lDTBDhF#G96a~\'o&3ax[]I8VC\V=dBJJnZG,FEQ:`pNU9qZ_&]@FGzhP=LM !'XY0?:[m>$TIAV߈Ufm^U;> M/A!+9t*AjXA͘γ\6al8ܣ&1WNt\HgG~kH\dܵs_lBBV*< FHw-L x}ļpݬslؽ`,n@X9>N|Z`)gIU)鋋Rdg|76Gr>`t&@z1k K/޸Q!/\ػ#M"^ݛYym吥W$ijci~"F<^aVȶiصR*.^K {vQ'q-] y?XxfoเM+'Ku -譫j*t_S!8ˉkVqiv ;-&΅+9ŎRղ Vhw6Y(â'I:%AKteBFQXX:+EQQ7t jBgnҘ}.^,HO ;U5?;4傸U / H\Sij{HT.HMq: EN |9c m2cErXՊpJ_/f% _4㿠U}R%mPjW<fwsL*y8&/a[6عkae.TXQ^܇ $ 6lk߫xv)H"jvNЫcirL}rE|!„SR;I. gzNdItOIií'ln#oUbo~\st/}9w= ݇ 1&"5A9>)yWRyZ\0A2vu`^9װJ: mIBBT?aF5ckmwm[a!qxXZ^{%PI]"A'O FX,ϬѰxv#͟8cEmď%caD+VK.4J%"-YJYG9;1FeTsWmXcA@E8 l 8Rc Cssi~oNu.Nal bCrʐ^jݖx!gYc1篛(S(}fIe=ݖӞ)a^Ā֌Fm yEI A]KOհ=qzb!$Z_P՝z+m[c׳Xx]YG}Qjk:\4M^Y֘Q}vX{2։-,ir0gU4,zHf("}^`i 0'tBbd&Ig?WΏouؼz5:08` >M IE;$e{)kƐuĈ~:F0+qKj,@OuOO:ຒ82D)Lb DқDp='O0 5#ښ  _]䌓Фg+dv r-k&G ֆu2LUYb7-Ow?Sa>s܉˚Ф)\GU0}geJ^}܋nuJQ%bF[MA ht96sE`9L@!xʹľh+n wscd"2,`YdzW:sļ gq*gla(#']I>4{e|#kYx*`{F`- DtB։f['n* ys0 pꋴ6bfs‡t(⫏Wˉa琩gڰ3l4eJ)Jה" 2;O}X.> LϢCeS"p. v ~ 6~-Sqk-֌R^1(bew &Lޅ;y_V{ :&@iSBjk0 P<xofIz³3}R .+֮Y rcPa_Nck{,;~/emNՠT籜cص JyԳO2R:j8?:Gp޴3P3f?dYh+`q_g8WfԊTI#Ixi\񬆑l7F˒~ aLDZGa JB Pinv#"Eb欂- Ice59rڎQH$%Psyq\"~Ϡ1䅥hH]={F?Τj9?*uN>rbĐXe޽5[Ph.`={oy0mI:p9Y=hCZMYL>58D1S"!?ZyC$\K}:C$H[`SNVBBf{?Gwz>4M:v_^xDdfC!>!:Z h Evh\Rp=OmUyO; 3t2gZ,ë\9v3ŧCuX>- Zڂ)A绗;H0^Evs N'Js }R)CN*:/`^@NpK"uCu.:GO"sSQ{h]clTuflpBfP<}xOeԟ8ܚ(GK/I^.P,WR_%eX_ ;c'/O#czFU_p zRL0~CNាFh#9s*PSa'j>!mu_y̘aTt|İ *:V,1  UkIݰ^_ #o0ZWKΑjLы#ޖ0!K.RKvw:M0媥}2Rqm7*-֮# g 0ɏ$l/ڜ[ɮLf_7։~rA$(gAGS%!.G5n*3ct F"0Эφ*v@s#= se˓Zv- 5tMb#V`2'"~5σE'9csLmKj4P5x|)a,dE3^D/Q[jUbfq5gb{l&CaBK_q'Udveܗs|a<̪pM2$p-'*ȮNȪaf-ihuC(WM2n[oE ?0zRW $/jC=2cF9ٟӹV\5p^F0Rhpg. ﳌשOM5xP1#qm9Mb<| e=HW{däBɛxE]HXkprXih̉rit̮j!-1Ć z?"_oxG8s3LN2N(QxS%6c`g{be;k0a%W0FIj XHG1͓Lw&H1 @ N4}$c9# *vk_Uug;v|1KQݎ˳3_h'z7{~Jpw߈>U 4c{BZMq mAv>K8QM6F}^*'^5--YEp*ڞ (Hq;R3,MKb@˝nYq`ʍGfL4v6goQ1@C.=pe@oމiSpGhvY9tIS\3PPPni`Of#UҖH~֜O꣬F9cEt&|xcɔo =^5JJ}oيs}_^!eґ/:ӻSc rJZD@xɐN;kKI'f|eԠ#1l ePr , 935;>veQ1l&S 15;6ɠw2Q̰}ȫ;]vQ,.ACemNA+Mob<) !qc bP.5;@ewf3_)6 a6q3U}[wA joAx3[Eq+仧F >|J{aˌCvEv0 ޷Ϫ"@;Ho/8B|ÖJ`u$Ϯ-9|й!M!܁{uDV1&8aڽG>CپvXngw0ښڋWĺ !1A h)kT}_z:H6vJ;(b/wXCg9ڝTuE)c5 JaݦR>*jgf-9JYFcJ^\ņdzcFjnЕA#^I*1@}v'@!L(Gxnn),m E$B]`$ز]3 4J |svYdȻۃm?Za3q*$~!Ne?D‡CI~vWʢbydv*y_Pv!)j.S=>C3 &yr nIu8oHY0 4u.v,T:ܴ{DqjT͉%B: !{޳G d ؇3?t6iGk:VƂڶ&'?{NUQ.0p#oA腪b7@u(68ֵJΆΚ;Oq3!m8]{29B.t f2U?fi HOKs IyĻX14aKg#-X_wg40EGi,v1+?5D>%gK)Va]as4, *,38"):K`_-45ǣA>ǔW:lʙu8XM\~9n䙃2 w^OWe|ּ!^Wa&H.fr|8\F\&5caSm9J[Yґ @eclX{,[y:ٞJk1P]^vRNmwdS0Rur^rSN@kfNLy{ΙI <3< =ω-c|'$v =s?x~Z nbrtĵihC]OGP _W-*tI1wx$~ H8~g3+·&ZZ6pIpW!(sv1eGU_^Cq5sEqir۾Z%ݏA0KUBl^Hq[czf3 ji&:m jqgjj]&4Ͼ]'H|1|T"̴yZ1w.zI-Rk Ȏ+>)'8iO6@oG@Zo(&6WYmȗ|gD/jMMCcgm>a\EdX5e;jg*0BM? Dɱl aL3h]/HM ؟Q1wtw2HHӧH/ pѸm߁YT or(U)LZn泭@')F^>Խi-|V{&] Jk+i_VdCju%o1;A04[O/iPfP6v +9/ek" 9WĢyxb:L[*/"9Ïe׈~v&1bū{IFWؤmo;8ADPDrⶄL\`),~΂I3kønV6l _biPDOYI" 5>A)0;R?˧8V91^ [yR2C0F6EB(N~=<]G; fሌ=!Xlg<ѬeK|1VhB)g=y\$(Ȁޒ쒾diȒ5t[F6H7W$ P&UzX=8HTʹ19AË=7oϢ#|>__$5a*PCTF fdb4c/uMYy_V{ԟ776ML{~|a*Wm~t_X1I',T)]H9go(uPVW9 )2X%’kFo#jb=p#JY:[L(e '*^ØOhpXVK1aeJV0M}a :otG+uEQ.OJ|-i9Ѽ% 42YGs"*K[B]1./IYgPT cgLҷ@U@So]C􆃾) ~PE.QUhKBdRhLZ0|ZP=؈T.g+,9Җ[) bK`n1tlxê! *r@_xR9wd%>]l#YIxUHO&wq Z3̝3VTdڱjd uV~f`hm_,)VIu$̦78 *q+w|Eai6/jB2xxúbz}t>xv¬.;agJrJn#3ɖ\@lDȷ!1nG74xA؝J}.r|ԺꄲQ^,}.Nw:ajfkC4O/>ƃv9_Mb#[u5֌ч6T%j(ΪWi:E5as(3-beMw+8-Ô%v{?|pgS\ ӷ2F-);9As/Dw<'|qjSl OW[{x.}~*ֹp次UM;^ՎHW z %ˡ{ޠ1h ߧlA Y{ B0b,[֫0lJVÆ@^.y'D"9OZ]`3 =HK`*Cp9TG-qP#{osa/J]sKCL+Tg! *Zo~1jB"H ]#=pD\eMmzCC[ЏsP7ĝcïD#A-}+|V(ApAe\nzj CM!D65)%d1 x!Ք }R(NOѸ7iޭK bx}K2>ROwhS!Ue ^fM0%%Nj'%s:҇譺S1Rч5o7d*%$#zM2!LKe*z]%0dB/JX;Yik,*C@\ 3{g5:"z%N1٬%D,DQ(v%P[S=r!P`oRJXVlBN8~'PoL X$t GKuSq~s < yCHuȔV$x*\]Cy pGX4@dW-lG8)q5o"%(ak_37ÄuSѺzRgC%VE! xg :34Q2,]3;}/)ZK5rܪ[& ΔſcF1Ø]*4k۷yQے/%bEBV|wAگվ5yBXcC]jPB\V! QثY{^:AAK@P«X 6g@a  {Pa=cR1_"SS=t d0yk9U)EH~C7xxbvw?曬ZTPg*}dЬoɲm](ٶ@<ޛ̛ځi. %בJk]83ĆԆL~,jEz 5ޑi?hjO5mrjw v6u4e X*}*F.YE119 FG X1#)/gYܦ*Yύ2GhAmo-o3FmTkJ[0%3բs*rSh{@а[g?| |j#yA/yv% LMG\v)ܽ9rd2>^D$STlLr dv9sԫ}1iQ'Gh.bS B]&ծ}ܘi1*dߩ6UΓ'ċxSEg9gK M |K]4lkMLNz/[ %oN^CgOpxzC?@<r ~A_ӂ kZ] dd&J:t_i}Ҫ!1_D=pmCXF99s>= ef6#I]gڗ|9X`x֖@7? :uih{UEMϤ5:r?l)1L +FG)/F4n6h5{"NYa\P& FrU@P ӭVW(-iϫdIsXsVAeæZ)XCрca|B"1-Pk<0.~ t'eJFJ=MS[uG|IYhզ^]^bBXN6 Ld`sy1j:v <&'zukD0ۘNUS@jn}.[vw|k{K Kpu*sҾ]Ӂ ꟾvļ^/#X6F*]NU}G(dQ[m[O@=Zւ䦕 m 5ͪp IdLuMޠs{LNY-G#H< ku̺J<TVpqvwc;t4 ?/0 čPU6P\7f#nGn>UA8NBʅs?\E@|.EW*AAdjIT.(5~GW ?ǰ2iص]Z/녧+k_jc U6w&zVb8"Rj~ߚhabxA"O,vBD]=g3@[eEt0zǢxϸuZnTAZk1` | c7N+r<< ^=)ۘ/= $ hqWRoN5x)M`Fw% e:$.\V0 A' g7UyB*jܐw 5|0@wK߉)Q,׆1ԻaK= L<8陜QxCa9ԳT,Iap_H_v<6 K.NC >j e?]|j{҈7q'yN.25}ұjt#+{mu`d>A?l(X"t086K,eߊߏuo0ϳ)p\|bSILH 2੩c\ND(ۺ7ݼ.9 f ='*9:jI4o:S5:qUOW~1u9C,JD @`HVVd|)WG^t;&\wkƑ<N6}}Cc^[XBΪw.3z%@rꪵjKwiz[ZRr7l8{틄e}WғOIZ?j7dZF*x !@pqL^r 6rMVfiRZզC|lV<̓l"GF#ߒ{SvmYČi(˪5ѾTji)hO?A,7ۥ!n'DbHXE0cQ1!2bhTQV$u:`c2WK~<<#TX.j]EJxqZL x:*J!0N h#7']M F6O5T16*W}G5᦯[.Ϫܚv'RPp@N4Xԭhm^nS(f Ěy5(I<x{s]Xu pd< /:LꄛI>fI̻z53(alk=Lta edSi;i7>6m! ?W=dzJA/G]cѬb6߃SD&/0/?1}pMy1w? ;uPZuj~6jGva0۳45r6տtc'Ŏ(Lb*[sNӊʅ߶z튛Tj.Wg`9[~+8)dsaAIרI`w~nrR7o#.-P^@-o3'sq2;'W۪ڵMZ3VBQ j/oР_aq+U~*EW CG_t1 S*>9PI]&F"7a,2a]4z6&Tyѭ7^)/lD+\TZS-o/0-VpIҮi{D?j@VGUOD3yy|?PPTN54~jZ_?@'_R FFƏؠ`ˁM}|AɘI´؈ [O, wǕ.yf 5%cn1mO}G g1|"U{IQ;^~S0`l ˤt eC "W@S^txgďGAw~7\d8No <(zaUyIu矺m89O~Y4Wf0IqfBbB]IaP쭀Wq/:9nҗ2e@a*erpL ab"n!*k8 ,ZU65Rk߈Kha-U9'5 fG!S(Xޏ=noGG)IGLÕYAVv3ܮx֦q=Al)@O?c?$z\X"9Be8y% *kJIN2I[,<{$#~L|?/-g/xX=q.ڍ«*Z5`‚MevNS79p1 s_*22ƍLO(6nʕU:t`*)H@g_Ϧcѐ yݹM -uAtp_RDBTlN\V7ڹUg𹥄\l*1( lecLI#h=8螄>:3ekvk],D~\h0$+o'u"G"RC. jguK{WrD*|4 2ȴϓӮ䱀x1ΰ1FMifqI]6AV HHwʎa E4|ܠCImq|9ϑl2v3;`MUɕ=%>+wکDفc-`feDp2-3 I=9'2־UlhEk_pq&t4|RV5< T %oԘ9ɅQSxXg[=ZIۆnS*LȲq@t"w'zG"D;=z`*mAS 'tkճ}j\?Ӕ<Űr 񩼤Qۚ4= 7V:Dwұh2 A%(<*f0v`MUfBmِ _mic1}3L,oסR!ٚ6sJi8s_֌0$~(?8LTc?W%=.oQ<:te[=G6H"fH%Tn-К(3& t`Bx$fC=wnC!X:ݩaM Z~JdP BBNخcw)5BZFGSs@%:ޭǟQ̂L UY*FdLApbcQaY (EŸ ;˰Wl[6ÒpW>ַqrEm 0: VVtqgoYLl ?^$pDvQj{ҰazUnĜHog#[2hU;!D/_I鱿TNY>rq1T]t!W"'az{Γe\"9s^F}g5b).-@/?2^CMփʄ|Z0i^lI(Z9׫=EE2vҢe҂7M,GSa])tJQnr2\#oy#3fv;INob{E.֥&l( KWm '14KӗMf*Hx 3r` ۻ9)3SeJ@ ~j+N=ڑsSǐG)-@1P"YC ,!cN a/Nb]8ke?/:dtnAMƮ- ΚzwNj@֌~ Q&%.GDC#z Dx60SKn4h_`mbv;e[˱|y]. ԊKM:{?|^?,E:W?!3LSBn4%C.T&EiP{Z7Iխi EIJк-i\kB)%B[`Et"4hښ`YV#gz : qQKf/f7" ۵{jב̈́`AuLC;mv Y=IzLgTZl'A ]5qhT.v0(!U`c”4%TɈ$N ,]hE67@: 3z;G1AūzQ #TOna]SZ:q=f ތr䳅Zg[ ̝`wV(?|lmHGy'_ I4хy [s*ƴC˲G sfx#QR7AgUB'(cߔ R2|"CL>q aX ~֘9@o԰@o?r ܑNK!xaN){|@` IGY |nv>zPv%T'cv{CE(Drb,oT }\oBuHJئ5!/a$7+ hl?XH֪h8mNr%80a>.Zxz>)`21)HrR;9՚ bb*! ݇Ia޷?+ϮL.b\_@TKCLnRUDj#WlM{9ܐWQ=uͯ-UPmvN#-Q݅Z8ޙKO ؼ{P-rf pf3+>~0LwkSНO?־[H>{8ed88'#9(l fQ!&pXj`(Pp1y8h:*^Bk%#]q넡"܉ggakܔ?z]4{Y uQ'(,?p=gPtAҰ=#z7.H ={?Z:UF!xۖWGw'mheA*nI c+%qkh*Dv2vS$X`LMI&6fnR7Dyکi>)__^ϖMq+{_@;=]"-x(m]Ξ\Վ}Y6e$TpN|xhX[h/|)W& q9{IP=@T!ud3$vo[$C!:KIhi*<a>?܏#@I?)ʿam.n093\]!8̇oH C[' _ԜрDzsŝB ذik`}r8^π= iǯrV*GF&1n>,uXHPyOngйm?&fp'&[Ir/`od7hg>TK08 B/2 Zzq˪@(Dh$',pߢ exbZ#zѬۺ7GlK[8; RlXc/9P:I9!ezw n!Ylh~0 ozi82:DgVjt/@ltBi zC{,6ٸ K܆;7 }@iL..?~ӳA&?n)Lq (6ɃK~#OIA,Ȯ- ^f.<8@TDi0|{4@)NV ]tΘw&Z7kXl6R+ A?ySɪ:zp,>(uW% J@7ߥLL1rɘIa!5G[j5I_9qƥ6ϥХHO^p&fmQZ :ߌ;[&5G$)>+̿vv|(0t٬WIJ_vX..Dy#i] 66z7ѳ:`)GV6 "/zx mFkPp[] G嗏}w]lh+qqqn`p-YlqQ{6% x*6 k1S9Mnka" jTUr\ 0&v1 sA˂lt!t_C"S~Te(exst d+A3!I%у)v1dL{U@zh3dqP]{ڟCm^iz*m'd!o Q5:p2Mh,͟Wą.jwbFϕݎѬhCt)j]<%#bnfj3up pѦ,aN>dlګ`>IA󧓤^EyJ].:8uP[hRG& TS9#gE{T#ʬ M4whLkqZ6O[H[JLی$[[\2G؆Rnx\ҏa!'!K7\]ι"Ip&:bRNe+ֿ5 @;'7 jv@|xQ Vȉ={7g/<8I`Ah&u,T^ԁ&=-CpXƾ'A 2~>1z֏8d,16PVL"2>s0Y&(GoiX:>!.IFg%QM(,&Kl A$KxJ<9/|祤 4M.('E>j[QB!ō6@bms;oLڌ"~[-; P爁|XOꑜ}Bnۤj>~ >R:؇(LGbWĪ/-6nMomr ԃy H|w :Í+9mG][SEq<7 d~F)FA=_ UVXgS[Ԟ6_"yDBc)Dt,#Gh%'sb>h2"T pG$j BRPUa-Wc ϯ! X^b7']6S&O;١sYmq$T+6}$Xgyw"n՚T*YZ"{[wO/U. @bfEi > ᖩQ17t+vs*s42Gi?'|K~SYRw[MLO;׵lOP I}u8>7RT7`} ~iwSD'70u{tP#v<_cx^Sp$mX{.rg5#p=&ct n W$u>: ֎] ",XDf:|w8ٛ~uz ;6yu1P<.9|ʹ=ݒItS`H#@瀐ðWHnѻvK8->9wmPC;"j5Buhyh2]Qeeduf!V* _ (st̽mc"LuPz|'aOڵ y'[[8`-n[3,YE, /|J|jI-`5fݥ5nuD]{sxNfSAIX[g!Ɣܔ_~|e xDT6hx 9P~x3B2=.bjJ^IF$Ve[DLw@TJ(fݻa@ofLzǏ:w2~)s~hsGXy}#Hv VMfһǙuyl- /X^3@ %yv`o2'd`R~RPՔb22 ij ${v P4!2 *S!+)phy=QcV+ES6k*(>ջSt*~G?~0TbU ~y?2.WI/[jZu{Il¥O\AFy~Vb?x0짇?|J-ފO y6|ajY0 m1&ctPv]d9\O3Re]ͽhj$Eff`+uHmF.3hDܚH p&G&b^a@ix**,.Ip͡nSL}PwGZh Nr/yj4JWG|F8"AmyG?ߨ\<ʆGI 8nAJ]#~ \{~jo8nΟ H1\Yh>3>&b 1lkI3QK/R{v֘AiχjȕKZ @\׬Al,@V d$P` #9 tՌsczԦIv_K"eV%̅>V"07KԵVOI)^8kc~'IM\j^f,м3 0Gh#`(|My]SbV>{.{J~O'EИ=Wҗ_G&*Ĭ.>79tRM0(<dq%b}X{yFE(^7&1 m~FU<<wnP:n8n:&;7 扎ėfY)G WhHa z97.$@-U1NMǻE3%,1aPٱ pKw j9ScI,t&U)Ebc?y0}K&=Xw;#D)y- v| Jxi65]}c46|% +%gCX' j(QዝZA/?27W cHKxGw{=y?jmHqpR/1bxۯ{ki:a5-y+%%<٘jƐB_+LS-OrL՜1^ʍ8~@,XVOggQU,fQRN6bUVOvѝ* /"UAp6mRTAU~P>;{2Z957Ax7 c +u {AW/ymAY7gٮ|v'BÍUѪE3'8 T`Ͽ-벢Ļڇs-p&W߀ !nveu}OZٸ! n 2H.2VZ}"I'&*nY((a5t|Eڲ?Ue-tNxJ2Z8 :iqј> \ 4\J7=7oġQ, ?JGO2Jc @ dUߢ`= fjFts1uDxpؘ?$:k݃[9\s'P{m2@MkInYOXvsd~M{um6$dvg>.Dav~i D{,6mRwՄNsA([ 쵲|JbQ+_R5w}Zq|#êhRSLD[ťL b`3)~~;I ;&vCnS>/[2e6NY/YeLN*vME0r $ehM=c<Ņigu1@6g\ F[f[v ٺ:2x'r"v)riU:mWn ؍k P5-!0ߞW1+1]1 R 7W3LHڟ5q}N~;:1 % 2N-Uj2p\W]tVh7W`ls$7'n'>+촻nDIqg1 gb)GOZ:b]G@!GSCMnD N,И,uq}0zH)jIC&Y*j̀T0hjUa=c.V4%S$}mXoc9~ņ.튄i*{/ a # 5tcyߩz'@;|7:{_b'$5n!NWx.!qhqQ2FOGOg>|R:=GТ{jlM3#|YHe^EwSn\:ő-9=UZP.>ղR<ٵf5;K gJ):݌4PojOB[-!+!H<j0X` VyC[$HEU3Ke=.4` dG d'n6.ȗ0t4BT;q:ѣLҋ(hF}ն-o8x&` % :+{83R]ynIQUmZ%>72Fn"f> }hc >bb,xIsr0oC Fy3. ={tKn.( Tr9f6Q;7Wci*)dƊ9kny,0y3cuN L!}Uz?}V+hj7&6HC> :2I_n&Ca "ˬOs 97 &ӵz jgACZ!Js[p)]QiY ^s=U?|J`!#cX^ymX+ >Hz:ٺR<0[dw;Y|& S>\,L !d)@T=y/u5nыQJPP25=LoKkV" {7 lU6l+SRR?jh} VBQlB "ʽ\7[ųT?fnm=zI~䰹a$FAPԛ%%Thv 9"4yhwMuBM9jj>*"+Aט5φ"7͌b {aĐde Hl9-A,gV vbm1QH#VϷ/$a:>+D*H؏ދ- ~z%H4Ԅe?h{ zCMAtEϞ/'œ`.[İ~o߆Vƹ4*7*vGSr'EG,'o_㿅Fe{/f>^/\Af̴Zk/uklwjpHj~'.N #z.VCQ墿~;CF, ơƃ.r*VZbdB5  -,b `5G lyB5O"Q_U{SD%hB$yGTXfJ 4Χʽ8 ܜ K15P`ҵA(s(}j#aHIŲ,28حP D;ړ9mQ6>lvm̀#n2菙[5"5k~Zfî\nCX1 #Mtrߙj:G`*WRĴP?eoY=f-$?GٺH[g fמLyފ-ƤQ{D0_|}0g |g:֛"J~{а?o$߱5AFbR$`SxW:a?Y@I EVi0:91ʡsA3Yb `x Ö@] "C6 A2Sq3kYZw#uxaAZ1l?"(6BY=$'tˠИqT)ll2@+zZRFjV(Q-2VZpb\&]0X+bfb}[HRœ[(F?&W=دt ]uj %S^huƔ 3ܓ=󠋼Bo|>0BaB #RXѣ ?27Zfܧڷ&Ĝ=qkئ7EfՀ .&q6 \d17mZ. $aѭ%J tl /^_"3뒀$k]R^O[fR<]ʥ L 1T [w cg$ǯY1#]t!h2|Z ƻLl9Erh]Nhk=BQc}MTFa8`Gr3:ec*fe i8jژj@ڵg#[{X^$p6.\UZfJL. w;H(bdk};* Ϸo۱$QߊpGHN8"3mC'D$Aِi?SpPxv[9:C |Dfr<'1iQM`&06bbN^p;9`Q͒'\MGWN9(^o&$dj] D [\q3C;PSZSь3Y6 4.ڸV'ҰC-xNͱ5._b+xjll xrKUtIAaz ʔA9iH{KX!E"OEy3/z-sm 12Wu†nZY:SUOjVŎk9_OBf($yAaW:SEo᤿L݅j7Z E&RlY <] $E;ewV h_#<Z6;oLk%8? ͻXn g64OOw`469!r\i]CŇLH>kUf/ho ${4\=PAR&mc!yc٦}yle7}|WdmX6ODLAN bf>F".Gjx5P5fd&/2Flwf|^?!i#@%%@^LCb U֞:$O`#6Z+&r6c商&n #;Hw( `5ZTNo!W怚^dFx(ώ\8jrs[qz]Ʋ[mrǕ8x{q`3>rahR5qE(\_'4`i2).2y\W*>@0iT:}geAwYxe)υQ!n|= P[&ξj벚!rfi#s/F>"L7}>2?^ϐ/|aL9`w57jQWFTiQ1j#ũFck&Bz, (I@Z<_73m]y |Njif %PI7VyE[:fdQ~2ȅ0W,ߖ+eWG 7J/yBZ(ìcJCZ#6 C?nܐs~SJ3^v2~\Ҁr+ w4ō374Yk֟RtUBË]6{u.H@:#,jxA6ѿVZm~&' y}5D^y8-o.6ɨVKdD zy MycľTc.}bemZJm۵L-F?%צMZ=툜ODӓ-+5VЈǓٱe} _(hЗ O2 34ht0.9\Hha/F~5Ȼ DQ-{{,RǨAHv@%RT.G6$WACw]IS}fȡ[kNHA$r# 6E7 ٍސC9[urz!!|܁Y6R:OπYՀ%X KgYZ7zXZִF! 3]ŗXiɟ1˦r~KunύNN{c_MLj#LD9[o/B YwxDA@qb$|փ mSU+%*۵p{]!k51&]\kE |bkgF۰,h(Ff+Jůp[iaɜ3܃X#k+ɡa%X%<[ XYV5)o7Q>Fxq w8KKdE). O'))j9Lĉ",ZC\+@%V'3tVmqWXUI]o]'uB3b.K)4 kU2S>EIO  ?ك#grh`"r\g[.|; XuV]VلM(PA{h`/ i3.&h y8< )24OW i ̟/)$¤<T4u6HcDcx,^f+XqF^:TUTa&A؜J9xꇰb1{6sCإzQ.njޚyP'=/͝Ea b8BvIq]a7SI/u[vQiE\j0YWvMhߩ,^qL(6"Hl^1nz?GA'\`ģ19Sl={ojN+:\aR&d<͛hɂK*[W4"o根6+w*xѵmш ®4˲ 8$hEÓm:mc,B\&.xJ4lVyy~""!# "Xf͙vG(TeWܫOޕY*֎Z($٢ŒbQ& $q.\I*>Kr@AVf#:SjR UI$I~qehycP|?fjB9iBIaHZ`ӭw%F|Q|{uY,7/GDZ9{(U~l0\d!YqBل1)UwxWh H `#=o& \?n׷rn=*Ogؖmef*܍(A- O~CBs.LB,~+l6,j{IjrySqL5Dkgp\ B|_ATVUVKWoGShM[ #:"l 6sSMg;FqB-ofM~(hx;=]Y(ERLG|OfV%pby<۫hQ /RcO9.ˮ7@ySX!i2*̣8_/ZZviĆyx폰5Po2g3.}! H 9 2CE&5 >]uK[x.+K(lsk8oyK|D1!3HFH-N^7-b AדwTѰB,ip-!W"P~3@wuXR ΀֏6,ͱZY5I0 I=k3S:dhsw¶ĹavgYZcd6aa1928f8adbecbd60f13a86a262ba362ff1838215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61