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  #d$$ ]/ PseudoHoops:threads=4elapsed=105.430cpu=142.852gc=4.052factor=1.357zXZִF! ߦ*]ŗXiɟH)0%o׺eݖi (C-f+|<;V\U}knɥ\9SC܄`]OYh]8BZ*00dq&-d)8hЏ{Ih2{/B8,mmx[Q!KB,Hϸ.BI-?HA^Vo! 'З5hUY9 ƁͷGd&iQ Rlѵ bdzGS+KtG؋I+8_G;x4*.҆9Ȁ{DꌱD4$<vb@1PI bo~@0W3H `.jKfFqWQq7 9$t[Y-wİr[7N.{ lcxn/Ovd%dWiNM6 U'짳%YFzt=XK̆ hPܧE_Hj_qX&Yd3jyq7ke:_}֖ւFr:UzsNjf!︲dxGoE,yV.@aCÉ<~󾌋XRQ[{~&A{&[qhCIUb1'Og!rCIR!KZuZ{1?B*) qzC$-ڷ<۹P2@*ygȡ2[J I6\rSHV-p|'摎j*ʥpqI!d5yP4i\J e%󑻄tzY;ӿPBS1EL\JtP<\X5p?ViTLk$ HJ ʛg+ 9§ڇ d W4UڃHQd=HF4Dٛ= YʀaD$mcR!@Y؁/iB큈"+=ECiVFw9WŠ`/>GL^HE(⣦WCvO{44xM,/ӗDU-ݐꍟ  h*_z)uRkB*남pC3O { 8h*qR=@گX>P [v0D6 ځYiXEc'wڜfu[,w}i~jc-3Z i$濾(m)suyx{]nn~jYyjc%4?q|cd#s$M#>>@L>Yӕ$V]yD-Ҿ@xFu5_¢B/ո>eXjÑj- %"zx߼ql%\Oo9I=ZEZ *j}0K($dZ(в?sE@F(byڑ0 E$9}C I塼PCmCG~9$f"µ<=MEpf`&y÷ c3 6)XA0 GDm~}Hp7FH,V}l kr ;W+r(Fhn*-8LjXzrI<.ڍAal7Ybgٜg%tKr"@O2C ;h\-pߎ:r|d]̡E>"PZr*eTԴQW$Wl8!f7 %u7bչ2^OL0W.Lky7mvu[jbl@FʭɥGAOq yEp\( 5(;u Xe})Ƥ|s|)'AOSXA5{JA!6ׂYI$GX^4 I(3Kr&L67%,XbJ{PZ͗sV~<fQ)!fO6EDNX .=С2X,s\œD:\FRN%).:Sq!gVma,"!U4% j  a/w/|McV6Ib1C@Q'XuDY#rO&Ѣ/&|#mLQsUmԩ2b2EʊN6"ZEPEJ3$Bi'j!G+YM:7:ͩ]8G1H9f>|2_84 VU%sBV"{#j 2 &aY4NJx d2;ҀǬꣷ޳@p>.!&.!Sf!%c:au| t7B7.fY.JbJlD/ KIo|~.wEJއPY@S44pAi,vq~*lNVY([+墒" hbx> N<Ƃ#J褴O`l1?g0m{D5£6Pj L;C[b޲:D$Gmը?U2MLcF=F}0sdٰ-rL8Rrpw^] .M}]$-'dԭz1mhaڲWY4-sz|/[Ě$9$wYDS1w^9{=0|/Ngu(dk?!Ӥ~Wϟ<`6]_^>T:Y]mAW|+ȃmAMMϱ'BSu^;k]$Tf—οK%QG?%ϊ2֢Ks7#Jªjm_@x +/pKL " ׍Ӭ"1cP;RYE _jN ? Wir t?e߅K! Nho151-Ayٙ3îx%v%ܨ@ V=Pd S:җ21=l)&<3L,H9}P=24`BWע"Iաl, Kjaλ%Ŭ/l~;p}0w( q/Vɤex.xj]F}= ː> d?hVx-@I)v s\;O![*pVi֖)1{0U_-+!oWݣ)"2Bqnbعͭ5*a=eutt\D< J'a^\x p.l)RNRv2W}*t'>ϓb*.?")I:Ƙ GtՒgyֺLVa,wr t98P]YD"M/GjY G!5_VMI Igji<9D7mL~BN0F0_bx:> Pv%=ϵ;̿{b Ikv3i" Mvuw(ʑj3i=bKt_҂wdf%/NtلMD1GW nI`bX`F(ҸU(7&cgY42"ƇF9Y S{veDTœtJlK^՛S 5|`&*h#6pڳ׃Mm l3 )ҰlڪyEk񾶖7 JŢNj3G¼JÿHP3#=Wt 9=a1 { Ȟ<Nu0iV`Xn_* L~Wori#aO6hKAy吚YV^L$'R7O""H3X,߄&bZRis>rYonɂ͟K T :}MI\F(`0/Gjoanj},e g`pLV9p '^c&QMD% ٜx[Gjb?%x !nQF󌰪OږI(Z0܌Lu'm۰ JloP:Qr8h B\W&dKҡm3.OC*^J0ێ_㔕~ͻf}]nm͙@ %{ږT4^AB0d]EkMlscH@8'2R9S0(Grc C"Jⰹz-kTl$m3ʯ M>jID kt _\ 'p{ǑZޝ >6 =@y0=hGAJ^FL:ķ@o2gVd#W  PR H{c q)N0PVyz`E"\Kb6ZVIg[50q9 Cj_&$j8% 4Ayk % $I b=4U ( /TAԂ\;bw9hG r3_v=5я%(i)@ <'v63wXZG;W+ ]ɒ/,~;="u5(*F+ C 23Kokn?-B'ۀ\"i Ɠ,%]wݨ ˣCmA?oKKO8M-QeP V;քjH]_X;zx#!'5˸+ JpYX 0=z'b a-.㐟zqcqF$#)iJ*x,t/Gkx>zR'x6{۳6Sa8u2bffN=9NJPBR<(r2JݻZh(05ZdY<p [J69=g%_R6,04=MYOGֿS'2xخ?<[B eOKŢد{2+w)?;67j&Yhve=.>wl j2TB*N-|qdݖlfz'U[}!uo@ 5,/yaOQ'rd ꂜ}, uvڝk݉os_l=)1DG1 {ADXBcd,3]X=O:gTf:6y ɾ)m앉֫jVT~^g=$Db)<Ky27.9)E^ƇLKgB5N0LnYZs٘_)+ll. *mB@|=@CƏ?2Ou9`eǸhZUi^t`v? qqsc/ PgJQHlrspωC*tJvQIzGLe GK#Lt:Y"T?uv H(޳⓪a79rP #2vMӺ,s '#*{Br$" b Ǩ3BGXeneeXLd&?aEX_zJoySeZ 2Lv)-"B{tS %pFU@^7d@r@8-/Pz`<Ǟ izt.ouChd]h# 1՗C5dۅоfWt/1kM" vmL|<7͋ՏL"ߣ N,iL@_vr~$}qrcss\.: j+#WeQ"5tލb^Q7A4?c,`y}X'm+$X?O +i/]y}ÁOTM>4 .t^MڧMWMVaWkLC-5V/;k0A9l$av5eSv$ĖFLY/aǐF#-dQ9tEbFDFR9hpi(ܽx`DJO@]YYLҒ0/r<C$^;Nk=JA=[rnB|aNHeb#b|Png+HWadWBn I8&YߡM<̐s8; f؊ Mkֲ0î)!82OZľb[—\z1Yx̼Z% $X1֊+@%;^k*Ӻz f %ALxh/Nc7kI©q"~1AI~(r۽ujt^y+W&*!<6C}+0+rj"2;oEpA*]N6QX ʸNc*" dK=̀#Qʪ+iU3BZXS _|!M=#5l rc Ijz ͣcqkC&e|QdX3ǩ(l)d+ X5:b QZflӚt$4h^$BeY-> e(B8JrAmsC6r A- O6wqeN fU/ c+wgF=5[;5F`&}IڋG*Xn=c^B"i=qrGJ 2zo'F0"@SS%s =oVϤc-K:Df;Nyd7&:\Sˈ=`=Ql%?bܢU6mV8HbG=@Oqdj R4{e]*ANMc2pc5؏+.YBٹ@zE(<<־t:\&DCM=r_c=R+d U0vGO!m8^EKn}5M꼄3ҋbޭ!Z #Xe !}ZŴB33rSCR4gA8p F `qHV^K@o4uSY1 }/{+tz_R 7}|o] k]ݠ4%I7F@giMyW$/[U5ZvW:2X;jc*q7nX(8芃\jar"ViWϿ̀{"%A%( q8ulf''k9v^GKv!HSA܆h?F՛- tLA+6 m>:~o@IvEdb_aT^;| l@D'5Fow27]VY01 ,xD}zhL2t{a"[ fX7r+2ϓh6rV,p !6[:!)x |la^L '/PƢYQ_.|np 'A뜃ހc/B7>5/Uw4p Z D'[`RWcT<]l $>$-eT[2k  '̀@ʛl`6ƵP&/Z@? \$d}[^+cwr7lZ;7(H3޶:bТiI"/&qv4b_*VRn^ksߓs(vCx dj"Db8HKX{Ai;b3Gpv@Y-٪Ɍc/=zR$GLVbN\|]FL)!=R3EVb vK4``|\^N-avLG*s^{KRL._z"@bbi& P/~) s^ek'Y۠FZT'UqzUp[mS!X{U 3*Tً9%rpA7Ybעjy Iiǯ^T/_8ğ&b#ݒO?ְ(#dRu*.( ͧB=I(jqbbXwOYYy'Co}|S2lè`y0_!|"]F+"E4opO;Z caU\Ÿ 5͘As"@x.$mg >̣*=ue2&㒰a#b ,f1E\G{2HcUP>&ZdJVhSYU#<jkizAaB?& #;#ڥ;0DLUɹ6 \O~M c Mdf? (ej9g!{2 sK5o6.*l! `Q=!ft(!C]21~LAI3#JG.Ĭ9|~ xDZZNJ9 'x<|_1~H_OT4 ćT9a֭R˻Kݟq' "ecHanƟCrfLOqO.uALXlYާ?+6YV~6@[f14aTΧgbP;!fB AI5fF zs]܇/cÓYn10`Su;4V=?HK *.b'W}nZ0Eq**°"kQLSO6:ńhYՌ"Xe Yb/Wi[rv@bS}#'UHF3?aFl_8(Qɳ猡f@o,/~ ?T?du!YYO퐀/)Iq[G;Fɠ`1lK c˅ ?L?wqoZeՉ'cVYv-fQЯEt'--S,㸪t̰cʆ"&'#,~؞,?;~!{֫Ka&f# D8ꓬ)]"et`zN_ۦ吶,ULeES=o 㾴Ȗ^pkNۯvl8ֺU9sq6d P;W'(>vrKN>v珶lK%#kTy<:ľՇ Od2ɏܽ_m~XgX54~K |@ f_.uJC io[JO{c_N$-b%|ȥ)@Qu=\2>ԝcHE,)J?: ^&x (8p`Nʔ}w@k8{! ׼Re}PEs)Rwo6 \#C[a}@IP>t/ŶZzIN*t=3M\{ &pߕ4 o.;!anR /M*YaZ7@k|Yaoxl8}ӏ C\6b6H|v%P`wȕbnXM7(}KH1Wr|%Qwn0.QH?k@[LݞAјU˷2 :dž`a>+tK2>s\z,dXbYd2R $|~ɍpAeK_gM(\[Lacm!6&ʥ.\O(!@Śz}  S WEr{'ڡ҃0섾w{ÿ)7jlw8 } @Ј7 T.J!jy ab"n-މ_#'lC 'I]MQC V:M &WZE;(yO>Ÿ4Cd\Mfw+ bgCKAmZғnٷek=;jBh[HfSd)u"; %+Ɲ!ClgO&wB<k1}8Q n|^bPBRĭت^QW^͏ =*8oGBz]rmL]=cb%%Ћ{>݁qt;EZAv+:WĜ;[B!D=!kv$t~8r+g/'S.VdUvfo/P-Fn^b!P±?y 7q's-,hoAtI : ;PKWt*5 Mv٥'' $9K|2R5_ӣTUWl+ʕHg_qwt&NG#~7[}QUdSImjX"X2R39@~eb ~A/x. ⾷K駡Ijh wa)B6~Rf ~P+H&6[vXJD.<21MeE1j;P;c /S!䐎UXou"N)q zj,7俄wD&++D-BrsL_nQR-+Vv54gi0DZtώ5UfLHTH>Z䓔:lNǷ 5a9'y=.&xs.0yRRH<g3YlakF\) >Nǖaau Ʌko{,bnSJhp=5ΚaJGZ^o; sR<#ZEOSxW{ 'D+|U=w I}m<,2,# ax{km}ix%#RAv &}`GW>^GΣ[q3[="ϻL%C~nsźi;0LfG@0Se9 eF&˻ V3Kހt|{2F,5V e{>E:kǯXԛWzgQ^}Cc0dBN>;p- hx{l8Za2if5^G vByߐflD/-Q.CX+€܄XEDjCSx[ʽCyF`)!jwj% (LIˮ{[d< GYVM4We@བ}2!֍zܟPm!LehbO.EOfآ\& ՌJ;$Tz=NDMTH eilKjQ)[1CѺ^{&..1XdT@|F]Inf|\ٌ`Rz#CD_̼yc9ADؘ3iຮ{8(Y-Ip$9erOF}% ֱHO$F d}vgKUȓC&F"ݞ7\vr wNW~1\XBwX&L#_͎ A1v2N?B Ay.t"x\Rvda$FjLUHSD هck{*3]qm x7C?LX~jM-ûTLKv#&$б#1Q.Q{^qozuJj`ypg&Gڊ/UIb묉P"nj.?խ }^gIl~΅$'!'Gz(A G`,=F}QgoحO"_6nK\/n]͝i4^a Իȑq[mjD}Ji7OwʷjPl!lΜGTƴ 4ntbA9Gt GW(Iwܻ:췋E5!5#RiΚ 4ubBJtjN|Z\7B¡ǥ4 ,*:z<5|Wh*)Ɛvĥ7r$ xOFK0H>dCɏ]qcNc噣m' 9a?wȵe?:Kbxln7UKOc<)h 7%e0G kr$Qc볋dBW4b 0Hڴu<|%%- Rﯲ619EOZOCox"8i/DMܺi-Yi]bL+}v7CLeh`Ty ,U4<%g:3s0͂O sѣf'mRpu[ Ό||x;FRAb\m듥6\.R*ŐA/*S&ۘ&A@~j`-hL_v&<@7H4x`$vQ?sj/A6FAi"8Ӓ ٰ!o,7ᜆv ;xFlq6_K:YÅEboW̎;htg;%R_pJIp^ qZ e O- $1oV<8&}N|]O;UD_' IR8YG%RōeMFsb΄.o!}!j''fDokXG ` ҔY̹B&ю,@g8ZK$W;PN|WC8gj\:atH\V,sށXL'; ql-;A]*uM2 Y,=qz[{;;W0GAF`M&"ڤ3*Ҽiߑ!AVSM(rB J̄k:)EW|͕Bk]W+|3R!-ª:{ݶ2={zC#:=t,/}yL|JeSD1aD qSg(N gO'i*:wcaK+B&(FjoRq.^iݵ. 끸v)e?PxE1'ȘF+ zu2s7H|VyY e9X9TV7T i5~_X_TO7OaaT@fg5\2g"b?y /"( 6zh .Zф^J)ж4|(pʼwCx%*ʃy4|@˭5  =<~1a>Q3wͻ]A{͎ј6Ppz]̲k{°6 % &yq#V((YpDemj['nGa[u[>K/4?IWfd=n"32t;;LwX{tR)TDhau/ռ89l٫Aqk*e $= \-sm[@.|#mQFiH $\A2SP-m"?b4 &x{2R,uu;7l .%edgk)KZ[xvOv/J%Щ+2Mb8fs %k,1| )[:LkaVqo$Y&#•=.60/Fԗ4v۞5wU4w*]p^Z*&y W׼zXVV;9③ Ny_C!kZ:WschQ[ D? -AZD7 ߾p H%SqXh#i^j.X;3 iGkE:,}EkrS݀푕R>_.u`xQFS`A=ox6<_Nnz-QZ׊Vnj>> R,8ŵsz>8[, /"mR ҥJ'2q PN]$, FghF&`7iNejBbrLɠbO6J;c@rPӓ$ I vbڀ&4j< z`Dp{Uh6;1q=f xiF|ow#67uKTg,mxdR &L_kM5HH5s[z1ޮ &6ӁߖNaY$D.Fjg?^i{W,I!I5(c+/Z@! :4\9LU{lu`$iv @c3}K0 lw[!Ȉ:ž;dE$-];%hJE0nn&,7sCC1$1@`kdh-z~B:I+Džۘ@_(@IwFC+-^~`w'Hbmd,evR+3 j_zc A4H t.[,.h.b\1bf[s%F/e%4>P:Uyp&y3 G+K6Q6hJqFd ^1Py 'RJG[Tjmzx.5Uҝ?,Binr_̀Y0@X#SߘŦ wb|Ly ͸g*CஹTxDq~/~d۰2yr6y3r8Z׼;%?s`Bͪ|+MAsM]xú"j6*a.7[9c]g: YN#E]UTosF>"&=y:wiA (Òfu`lPౘwN4jxb-P 8Uis Let_)ia7-Y"BN "2+j[)a2>^SE|Nߡ{®ׄF|E`=,cXȌx>yjjժ/0')D$]ᔅV5>6swNś2P/>pEhH$q3[egXDAb#tYk3mi/i`p%'xX lnj˜ehB*&v%:AC8r%v4bסt=Mab"ZQspU0\1:j,D3Wp?A>4)y8%:6ET6T$^V^Da4gG4iY4&rC_|[3ʍds} _u3AKoCTMxPv߷*kHh),C0wp -O`{eʢ? <{=ȟYvAC`t-ET9!Rr!q{{D L*k l%{ o$t/r@6YDK|bDE3U  hQIJ~[B䌒IYXS]&`?yr+Dk4OmZ#3 OyVj=U9",w"3[ƒr/ |f>.pAT:#V QzϏ(V9S(%Lt3rrgٴc ;<ҷ1- `3OW\oY \Kı{N6 ]A%BL)>damx'hI@L3PH}[ VhhBTsXA 5-~eㆰت!ֿ̱kNEDdwla1n6 :2oE4H> ;F3:X)δ|#zV.V)p >G-= ˏA>"2 hU}Tᯟ7N pQI+BMMlP;Setnpj?˄?ŵãIuC1xlh_|9U'Oo0^v-j [OM! 㝩8[Rms>q*\dndS@sM z]ȓPbα<8NPWݑh蹐XYdF(B1 t,=pM՜p3谌k2HXKMx{5e3Բ;Šrf1"qm.Vuǰ^PtQċaE|S-Fĵ+_ ~ jr'GI,uĊZG.&΅yǻYp劸h,Te2UН5+"M3~Lc2TuU "9|23?G┽ڼð.(}{@/s*Yȶ?\$z(5s31QbMKSNQ[ Հ߬ZNr0'{#(z/hUrOW k:Єet8Ya.>7od6)nw\|23x?s+$" {ʰP*# v#ATFlϱʹ\e0>K!o38:<6tu^GWZx1Z+]Rgvyէf:e/hM5mS$9m^OA)ۿ}, Kşz1bP<\HWW(˗OE}ɗX wrׁ̭pkEaϿa1H""?'N oN[Z`#\E@5býU@șs84ZzB9Po%[ĩ4K}mMu2c,i]00ɠ "ٺ.nZmN e+QB*)ZRѦAdG9ƽR@`XM2j N;zf3HW3M){z %_O٤2~DW˘~,-CC]\͒rj էK-G,[ȯx*F &ɴlT)x3FiR8(fa { z$ǚn. -c(oz"w&[sҳ/3:Ҟ~\ 3u,Xf7S&m,Cr+Ey;50 uHճlX3"'ԟ"=<~ IIS.bq  xCW '[ܛ1E`UfvR̯ &)tRDf{dcCKȨzd̖SX׎gBa&ø Lh{FN}u(|MTÞԳx*oGd #]WI*wf~@ YI[/&)Ѡfe)q`ƥ2k^gpiV-\WTl8<:m'^Tf2|4虖InIJ)iX Z)t S4y Ly;im&K~Л/FPhaЧ EaK'ml8 jA :~rKՏWu$U.qAjhCS ZOΐu[a O`"w7_1r4P3h,G*ZAQAR(19yIzYnD-^R5Ee&Fjš;.ϣ~[,q&鋟FI(=v:npvHL9ݠG/7HPG%ER(;mT2ƺ ^}d̗ ;g)!0wa~`ö:cʰ$$Ņ;gUD6}@"]{~ʙ*K.eʠZ<®/dqWTY x:j@*\L׆7i]ÐFaڼ%Z1u}da*$9}yMM BӲRcч^XR 4 \P cNuiL~3^Ef5 l )4ӊL,eATE_l1>vd"p#MނZ+t!8( p_yL+/əA+lc\@R{?x! {\ 8pUZ #Q;_Lj% ):&jo\h:B[iϫeb( ("ңH<0gj)!Bt{(RvU-YYո_zm$Y+jKHNd+.REd7B v[޽S`:ɰ+0bg-4'B|CFd.^=4rb{%$LFR5|,ӂ=D+ÇSMIC@ކIPkuk gRgB?*2Y^j @K,\MFL=xa_PjѴY6%6+;%ꪪpK/Cy _"i-(ÇLԝs_l-teJuH]K"}C5Th$6 -T*Q"d=Nz{?G+L_4lyϘhy@haH/"os?_xێν̓bݝO;~K ]YYu| oK=μ9Ц-y}e|]%t]+JFi3E!9WIXy};|I|=ks׈8#U4#6i[LNPĨ:麒XbTo] tb 'c2 8>c**֕(G5z'3F::n1ں^f M B^Q.D ی5R-K_: >W߸18ĿCtq,5`ɂQ6qbh@94Q)š?3#PזuCt; 1PkBo:a1W~{mDg3Xd$4Tӈ%9ql,z.*ًyzޞt^`9{y\匤4XRfn~ȘNHCT js1UѢXΑIih#@_ۼ[Z= RyJm|#{O^v%y$4*4~o !`@äyf4]1º99lq"/n0lNxڶtHaE7BdvS&.)M"ӫY(u&>[?s_z ye 89oL9v0=,Y\[71N=ǦK]szʡΒoP;8dxcDcױf3/ p ,,=Χ@z*N:׻D *H tI&=B=P+ W>km \;n94- iՒs cԛO7u? !ɔ-o/}J*H2m:b֮-,ZBZ,0(*W]+0s ݋5n4VLϊ|.xT@ I_juIj:x_?ކ%`ISE|a^q൑]yDcx`0r =Lyĕ(.d2o~ 7΢F/],XfC ;ס9J3-Hfb,qjDn2(tq` _VߊЎUY XB6&}\ Ȏ%5x Eh~/Q] {:}aߎ"KBM?gl]x_9'_BcfEM7\6McGD§mp"d1>|mkPI9;i5}[5_gm P3 F{+]ݭh WhZ- =T%MYH,"C'9-H/zZQDJ' h9WlRU"'b!Cre%SZ}$m~[dj]-;m !geF$/am$xk26oelU) (0B`s0Y!N-NbߒP`_E#/Qə˃+p%9~'jݢo90ueSC7^֏&hi!r8(^^s4 P[q>Oyk%&Dҧ,SJs=v#8` @}Fde`#Kwn^Heِ?ђ,^N/(>9R~.ИrI*a27L(-%0UB*RI0syY&2%= g {n[3+Z-L#h!~]R+c*aUDRQ#]ry+1!E;y@ӫ>+SCs=Z|Kj9V4}gcev}AQʸ]-Td]Hg95,"8$ ):kÚ ȵ,EeM2v2`} E,$d"˶oBR^@ թ6j=TQ i6p׻?MɋV :ͤNWq[4EK/g#+)3$!Q?ʬ5 $ RNXMX+7~ت97E$?\}ǩ|*lA$=\dm^(;zd]N+ѭ\@JIjjs>±-@kvasM X{څl8=}NjS)2)ER-[Ÿ9 pR@u>:ΓqZD)kv+X]mJąyN (R2(O($ձyy'Z." e@Gg^:kDX*$^W" BXP0j)_0}[jirEd@bubwA* _H žA?oD~`FGCIZ9Y^{u6+>.YJVd")=ߘQVna1 ݍ-g'N7&{c;KF诂4kh-Rϻf3JG;2?G+#gg)߰S.Lˋfy0P}HA>YY'^MMljA_a9 rlaEUfi;#C?QPRl#k5wN=VX- rtl ^RhbGgƘu]H M""-Ka(g;,+ruO+|aT޸Vqe u'T煻 DT؞ճVT/4`f.T%d$!|˒RH,33l+$ԟ3؂*;4".Cln }h+005&X zi_^gt)HE^M5RN|_l=w >Rs=n~=J LUBXVy@ Dto% 8Dt Bf" '/h«IKf+>:U}%?J`埯Ϩc vAPKTAoooIB-Wmf_!꒳olsɀRBMGu{u5˔ie&ld%V=fs)w߯zDNhEi.v%6Z)ɽ7i0V,U/e׶E^MR-M$'qwU 2O4\q) @w1>zay2ud7W $)QweSHgsNRj. M ](eTu r06E c5qd%7sx..uTJ&QJ?-`dHfȽŃBN(%siLao^FCLu>"]vE,x-*Vr=P#aIDiŜLy@< rZqtYޮ.kM^Ew B#cJO0.[=a*ɯ} SAubpŔKAF#83_!Xl;a16$$*Ml6܉Htf2 H^B[m_4rGxs=W=,)>z`eYZzofR5R1YJS/¤˯Ci2WKu83 a`ElSaT?3!@1ٝ,Ӷh4UoI7MVf1^c* AD,{0 Bgz/|D0:6Ar:_Ukμ ZقV&{czܩF4tMTk튫,jf1;\C /ьc^8Qϵ+d82H~uYW$-s4,iF^zqЪjJQml> 6uYb]{&j eyR%Pb~s0OM`TQ̓kԒ~Ͻ|5e6Lė#>ܯF[~#!//)])Th:p0_2l⑫8xǁru厬⇥FqeK)|9މ78 / HvԀi398Eg#Bt(-|ȀCT8@Cuj:²?7 i6jX_zUp63wwDh"(  r8?~{GeWFհ:`57?OsL&b#Q0D9zxkY @PߤH6'n=E5n7Wn0W$rqZwԳ"DR#~ cO|قZ@R#rڛ?VӬu7WǫP{ yU5rxnmSFD 1 T9m;)qFܢK*9*}.c WF"ggG4b>~CS[ft'}>Xk Zaʭ3Bz)/M0cAY )PȸPdz|Kp-L[Wi@5 o|(QuFhhБ{FM[D&cýAR5 v8eEȯ.i/+o(08{EbǤ!59牸 iHV:t8C9A'L4I8 Qa13b7'?A5;ʄ`<L>|F ok:o܅_j36L_9Eu7^IDς;/:,Xh"-- +zTxкJ D G."qmZ:0$3U)f:x3|cMZAC\av~uFXѥI#?9n?Pm{#kXqπK% KCK{c7B)eb(˭Ecwi @ypEQc%ho4_09ϼJ5u4UCr {]B8{Ԯ3xpH2Ud PvȢ n`Q7Yl~f]Y^@=F갩PM ҼE4KR:+Juu/#!:_@,5:5/%qu)YRƬ r)NzPʩO8M=h \U/:?ta:;)$c?AĐٸVFeOLB1fp;oH)wO(_d 7t@Ѡ4ϱGq"'9c:N &6v.BF{x3˵}W, Vu.  VصTG>$UJ> Ƅ s뫊ؒCbٛ*_[[1 Tk?NLP5~ew3C3*dT]ЁV'q-$3I,T wb}J_Q35Ɇ8 CWh!u=Lf(R@t$+߂P+8 bY98\?k1^i2`پBW#x3T:Ma57?YХr"1U{\$ ԙ4jŦ8 -ƻjAI ֔0;Kj)+*r}REˀ8ØYe u[aGS}At%T+>T6PWW$|ґx-%#-Do0,Ykjr:Ո%d]\2.=*ȅ[fD Z6䄧%w5[J)ߎYfVo4QƋG?:fѧ xs4|HWJIpƋvh3% BNsC-'sAa˫R3 ȷ2_RTS7 ܱ$vچ6a:``FV/3;tSMiA!MJVѡM70ǛLz u I!pJ5٬xnbtyXCQ.tdfO+5h+"$ƪ赕'{.={0D>ӶZĆߍ+yM_"5-GVf9 ea Tl9t  W *!;G,Bg1 HȤ׬jsլyE F:^nj`5ùFPuFҬ˴q<ȏ P2FӅ/yr~nq4lb?3X$}E= tGR2]ݞ߻Yбe&4V^HWT^>bB|rLպ쎮!^߶lҬ7!r.r^ 4lwa[R.] 1'կK^@9hDms|t8?͖M"ˇ%uf~?|ͰI}b6aT? ]oыU#R;R,@ߨ>K}T)ưnˣ=:tKv%M*/(  ,xIbO% ˇ"]ϗ)U[dG5 Fb0΃~v:ڷw~RSy2.o3l h[Jx-?JKj\ ÖvT-(ׁƭtK].cefQ` =”1]$ymyc˹ǶoD>/U1%FԔ`"Q-Ʋ򇝾,•D&Jy,u׾0Q;1N_÷cY{'ꔮI'5Qa+(ijl{FtjnT?B0zzŻ9s`OhM?.4ES$o@aWܰ{qL{.9:]bʰv6Q vՐ|E"m9&_ P-4|s%N7LdKjkAT1P7+^Mrɨ5cޟpe΄+ŐfWb, ?/[wd>0ʽ?PՃH΢*3Vd_Q/([C)cvhl16nbo0e w/{]פ'[VS+r^NX@[E4VK-!⾽RZ-!z1<h I 5S|m,MֱW d";OR^it n55?ݕ;+F!i#:ef$֯!<$JpǕ9y!eqA%"iK+8yעϵ)اL(DPBS!8(HiR\n KaT׋ۃ|@LJLaW;6ιӟ7Tðw&V#g|5-*ae 7HZF~7ablsGGA7. [ |}8rKBԤ;5ϨȄ>jfR`b#(D$t%+W2QZ?z:pSR7Tm~Yrm̞x&1B8].b|>*;O5?5} $3rt߽9}s6([r 50BEdq0|hAߩns~y/^1i1~h-ųw:P샱^;* E ^hmd}z{ *vF` v;Ć_cֻaһ^LN3#mC*Ί;Bkd|AO@bOto=D<1xO1$W-Bv- 7z1Ƨfv  Ml=i:c]q@t8R @%6nCf'zDNJxb^sd8WTP?CcbIpgKKA?TlPAr@e (sZ wٿ\a]ˮ\qKyCM'gtto V wUįK"r@]9,ՆlR`g!ʧp1ι]?ۑ ;P:t`<roz+BJ+BZCY^1rU݋X_f&Te!cl?L]M c+ƧYT}Qj&g #9d* h0{|kBp .Т ji>S$+qhVyT~*e]ވoRQ;/&ٴKo]bcS1@IWau!Wk(_v9B]]Y=Է}t@.)P]gs@]8)ʅ'ѲCd/L X_9 ԸSnOGD 7nHxPRpn? F ď@.zY4nZu *A2nYTm,CX BR 49NWO3?$ "N)·6)N^, /rɢ;Fl~=6."Sb8NљN+$:qP$wx흊8$ܯhY_|c!iֽ*t36ZPVn8^0\ J(XM*R_n{s8;5_^wgaFr%,{F'<_^0߀QxW,FAF(]xcPo!pghdu\puSI">eDo$prHk;Qt/@Gކˑ0jdN`OwgA*H!j!PQqUvb{};6NùLJ-s%/;fpx%VFƔMHF,7q[[ i3$Q!ᲅ|Zۆe"5Ϛm"m u XCB jEp(;}\8=.JFϛA_ȋZmE'Q(tmLj:>"ISHѾwG٪q64)iLPsÿ7j[HS9"ҩu(ߛO:u/~J{vs/x+∙Brb*2"+ Aw.2mޤi,줙J%[sM69YzE\GaH8wB:۪!uxAO'zZKy8ㄶUs\CvO ES1 1mZXYb̛3e<Z)fLx)^Gg#Xc{% @ej1A(hypR@Wg*wn;_Π\!q: glk'OАXxb'xL5nB; Fߟ/4)nQq&遑CX:FWԡ2^6&И:8m탢ldB/ep+f3t|_OUKe&7;嫉,LAe>y׎?.#y;,2S)W>$KABXȭg; x#˒ֵ< $ 7G],;: V2 Tj2XI122*=MJ YZWIZ`V-t蓱B;mbDIJar@Ժ/C/}zEI2i6ǚK/%{<6-jp2GHqL*ޤf}ׂ>}_n mB{bsb/J_0z Ѷ*M?$#!Qefaul6w ǡWrTEΡa_+w 3UsNG+}NBL)II ~ziYiY.\ramYh^wP7{ttNScڙyF"rǭiWa'܌yKKSқyggB[:k^1I4fj)t_XQEmdh W>G9+;4(rtхZې[Y T@u ߾1ݥn#{F} =5.JJO%z&uOdn/m/7o@{W&{jaS!2ɜݫi(&ݘš'u/K=#Ywr2P˕tv]{# 9cjP)H uCC:N{:?NeHr_F3i_O$V!]bM" $30;EM\u"rCws)4Dىq-gp)ç5g6v}۳؉z&1Rge0FTAO떴C?X:P{m15>~fcL  \eG5-8iPY$8cfG-jyúҗ26_F^ue ;[ t.M5>=)DfBv!HLT (ȑ~s /T0Ihu2}mMA .)a5-Y-&ڶ;'"E<$ǔk8K }5A4%_c+Eϥl^4|  x:V0VbJ.D~Hʨ*Մ$d.)REwf^`}&VikBEVvpE͘ex;Bd]dB,ipBm̞g1̥}J#á!FZCӍU$7)Z-Pw{qqZC)h@`zkHqSe -2VsS1!S4Hш$& {"J%yqҟ%,!\XAG{P:vK4\D2a2,P| _Nбэn:thӘeحX7ggx5Vܭ 'm3{ ](6Hs9qiY3ZAW]dk-E} kaQ 3Jn~0u1qrM]sr=㚑a"oپM4^YIz F;kʦM<kGZ9 V䘇S-p׈$VAs";oHvi!d&8,XvRC׍d_7@JjRmlE<}3M[@ӇC}xFK`S:CDZ#D&e a4U92/bR؅&#S!oCf+ QAQmkߦב7 ~7կBdvWf9=޽ UgunвaظRq.$a?oiyab!NMG^EZz'UB8S; Gtn2Kك(P7S xjDxO;8ɮotrL&zҿ8cP&CS\Fu2P;X)P}|AkxL2!D QuT Mۈ}= `l:u]g&RX'+PY׮/*lAONX̮/_$6O~ۑ5IӢo>4ju]$#knUce^ze!?;Fb6VEO&kxvd)m!.#bk}0x iĘ,Z5Xi`1I(Dtɜ:G^^daA?tcx%d~ؖ$#BŃr-pYN&r 9Ϙp' `OlQ1d8S?KGVϞd/YD^4:]$P̐bVI0|Hv؁a?~)=;_OXwǃ~;q_S ELoJJ(8UW#GnnC¿M7i統IO9 0) F"zt[b?:vǀ` VQ;jμdKZ2 ƋEck6le^sW\d9I/sëj,4IF Z_1ML/r>a|E QVeOGK`?dqvR`'Ψ۷ v| !̓Zh]$;N:3ZA0ʺ$+;`ǟri: 4]<oBӾpNMn"Ne`Ʀ>yJ3d@ۈ2igXP4Wd?OHfR-#VEԓ4> "%*e!g /؊%3h 8oTj=/?>aYʤpۣ:jiFWE}h3&9Fb<5G87sZD̊] Wh`4W@a ΛuNUByb4:(LfI&i&J]ǂjQHzj%!y3w"$׃8UMΤn|&] ¿^:#M^OG%M2<4w)!}pb-_E{z7w˄J9(m֨-I7=`p1 rCX># zr6Su8MDA#h#8YޢH$_3dP?h:?M'HǁOiw%r>=L( |am _qW#Z% `ۦT,>{і8 >q$RcY_ڱ %EئQO5V@8!tHiHVQOF"r̦P d.%݃5ϑZOȎ=_qS_q;=p^/Dy=$8*NqN >?bGK$]SHV%\EW(&z vF#򙍭m'c2spb(Z⃦c 5CPV`;s/{7~}[Kp!U"'~cڽLp'Ûp`+ƀ;'09ոtO^eD$RX=:NQhk[8.w0G[# J~k¶zuݱ0#3֭ ވw,R*ޒR^jp2NGc*o'|)}_yC]bcO>|oP XnyRztO5yZ2sly'_ZrӸ;wOpګ$XY5SelRA,KXZAM+0A*bVРb6 ux"ߟJޤ^9dkEKdl +`tə*ɣxJ& +~kFH "OWY2bOt2̚IPJjT Zvy4qE^dBz W!zXT&&u&~_(i^1K3Zc"U^o ŲY޲p2?YdZEP("a=,ZN\ Îo[q614` @ gYZ7zXZִF! d ]ŗXi%L!l+]"h;u`!ku7HwTeK³ٲ is9E$i -i :4lfR$?~{F`!WW_ MƖVtΕy& Nzo0߾4LH>REr߄CCy%< jN]ʅ5Doϵ+ OGk 1xAGX[mVK.`Aԯ,Ѵ_ (oYʹ\}RYl6HYJg!H |v' tpz8ɲĄ+ظwlMIdAwJUSå?,ו.L" įqU,!QbE`v 9_ ˚F~ؿi*QRbߢ CӋ*h.I }+D鯸ίAP̶8U팼wYlBe4:H߲8H[S221qK}d! 1U 航.*\q(ZFC֐Z1#Ecǔdid"# !PZ.Ȥ@%uYҁ %"^` `t]R\c̥j~-8=`xHC?:27LUW94T]2ƤL@CJE" M~>f\]N+6%Δ~+{3⌭M=,B6,Bs$;T&c[e_a?$µ/:у%1Teeig:GHg3aèqK7Q]'^i[Sv\'өIC#sK;-]f!lRXg%&*}FPSBiqcF[E<$,Dh n{Tg7߀Il~ &o4H"n i˼hj;ۅsRAn-ج=Gv™k<Ͳ哯m]U)<`ڶs 'lW4"Š­k :0M{qҞsphN3j߳qlbffn)!5VP{pHa9D-bHZn0fQU&^y q:vV .D2wtHׁ3U2m? 5mq1vAܔ:'YDm39,p8SȦ|5R4lJ2?D4ݓg9λ$(ZJЍr^ks4c3{P=l3\9#KS-W$c d&jZ9ǩKʦ,Wku*6fsWpLHIBf9¥xsU'/Օ>pM#c") sC8]?u2+'_%Fw +ɦ 76Jqmg?R$ϤA,X="[ {A|!T Nu͝W}CŭͿ6=7Yyʇkl*h4!,29#'oNp d8Er:tV|<,O~+ 19 Kojީ Aw~Wɇ9&]q>K&²Y7[ vkD#p{/F}F2ix`r0&ao JJy800Eչ~' lZnA<َ(g3$QG를кFнbneLHR ;0u/kFi>Mx}#>b6Eۣ[ +v}ȇTzvzpj8n]T7C,)$DdM 3_JYIq[U$ W`U&)k5ѦRXLABzFpN xp)vv^P{ׄF"Ȉ1}9_q-ܸG*wCKYJD9ZA}cV̿gcJ]Ї&X噂 ᔌ4S!{ikkcx3RAjm=[_1}(*JiEJ/6HiME\Irg;K!()2n60~@A'V^յ)!0RYYC=o"aQG:J}48A9܅3ϼM<גuΟƝΏ?-/e+) bVcL]ConiegY{EA bIVF^D뼸Ziڨ$pGnOHiV<%\Khz7>BwczG]]qo)#s˃V/T 32a.Қ6p٦/U :ND $M,8ŷy=#̽`ϐ]5i(wGU.*9 {%>_W/e3"㨨 ;j7薪\o% L5B5`J!]\tJjt!agK+)I{~ڙk Z?Z' 3 (T݁OEVGgrfvu:.0W[{L1 ~G N`](׶P2I2""$R F_YJC%^4Gqws=~Kx;ДE7 ,(|p:$ cXz{BX$NnʣF [y4[{Dr@wzpk/yv/NrC3\WP M4Zp֪[ V``@BP!(/#*$m8vLt7zlk?ˎ2_J˃mqVkJ1PP%"Roez,Rp-"I5w;~C(IyW&j}}D90 xsr)ֽNZˍDC'pET^ӼJa9u`A7$=x˾}7Gp9ʵ5 W'm:K4H15u$쇀A죕RJ*Mts4SU%^"-̓Blx *6~ 4flt'پ4K@zJv P۹!2z˹a6IemAܱ؆ 5M2JDb46v6wTa9vNH5lA_QG$U@zH[wO)- by^29 Uj=!Sq.Na*bUN,GXb+ EKjrNg·V v2$o`}9k]ezݐIƶd>_ 5Mq Bk̵kzA{g*!\ᣗOTDVe/j$rzu7U ǟ%Lrځ F+^m1iu2 Mg|FA]*rF\;xc詷sHWM{88|1 '#*w;Sl_P/QPt"n:cCKE0rTuK0 U MǡaI6Cp rMU*, @}]A뜭Vh{>H lVgPl?py|OlkwRKXM_֨!CP9Mtի/iޗǠ lћvkST!kJASBIg?9E4]Wӛ)Aja&0N!^8ԏ =Z3ff ] (M_RSa˻aD\Z$ yhCgzWX<^ִ"wZf(O_7GO̘.j?YV5__2zN?+< Csr5P8KIjvVal2:dzY,բx|1N *IV`{Xӧx:W6:3bXr< D%EB/=I&'7^(Q]DX6oS\@}ʿDϲC,T׳uē\[$;q D^ 7a&RvI5sm6j7eI]FZs5-:1@tzX52NÅ9atzSka5^IX:f-lO |D~dUbA/q$vo2y& ~,nZq|<JiZid.Tbg\ZEĐZ{_p}3ֵcf:ImC2iu!.2*$i2IblC&y(;5(bT4Z,!,l(Wgm;Uʠ8X4ORρyN^uJ򬩱谭Lu&gk֓(}"OT-ɇvS?&yHRB ODx{ W_zZ٣o|Z]+}: .xՒ'XE!]1&Q:l_ч[˹K LhsQ / =y~cH@KZK0^7k=]ctV5j[*;0+p-[k+90l%n8cX+ &r%6$YQ.ɣ{X~ԋ3e0B]XU#a ;d"Cԉ@˫ cSd3*ӤKg4 BgYZ14a29349ea7ee22592650469cd24b6510fb6bbe48215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61