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 Y7x<\ ]/ BytecodeLogicJmlTypes:threads=4elapsed=144.296cpu=262.976gc=5.6047zXZִF! @]ŗXiɟH)0!h]G“U\G8koWbP_SF4PQn7-<3 M`Jui)?Vޓw9C }dFJ yx)TkH$^OmfL}wmf=Et<.I30w\DP,aJʆ{-U(zIT[wU5gLbV#W{bI[[W0[B5=@I{Nxl6- vG&j;1wrfyBAgVX/] sfO`tҐ\ ;UiuhCl\mi+d8h &Fp 7 BytecodeLogicJmlTypes O7I% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.tex7zXZִF! W]A-MՋhvG"uIBm5^mN:Eܹ{Q1N+0fdϔ>Pľkt;*uFl8(Ds'Y/4Њ=.f'2OC.-eK 1ї)Qښ?hs10M~\<6U` ?~ (a%J51^ZD(SF)ӓXFwNz÷C!NGfxSE(w?u6Is?dK= sG7Iɫ g fQe44Ջ-<.߄+M+\ d,(4S~- e/6GwŔHgOlX?ؗ-Ŭ9~DOAPY'hq+G-I\AU<}߮AGrp/rQ2Q%j=#Ys/j (-ٞ0Lv/ĵ'## ogdKQ,A]A&Ӛ1Gl|DϽg nj znB r;Y/̘[u9' !?BޣIlQEBZsv_Fް )zD(wA~6O`(+-)UV60^@a@Ygf6Z=g7~rdfv`) K-Pב [ݤ{b! jVm.>( utC J}H*MQtD½U%8iGAA%W@;Nh5GXlB_؉hDNnYA&RȠfi`[Ǫ^x`$}fc} lkFK{WsP@]̢@@r^M@4bĦZ:_c$'g9Ӯ9qЙ ]S@k5pDO%#[mm$f,$- DM4͜87N!^.sTrCNe +{4A~jأuM.W>u4j j+s5Uj ;qi k686͂^4 %[pZ`\RNB3Im,2.ΰ^} drYœ+%/8ҏL6,È:~/rBc f0li mt_c㿮:IJ `8+MM;s^0 Z$-/\k QX$Ŭӿ$/CbZ+Cͺ}K&E6|DҹCbĻdK4.8њ9f {~a՘~!-#ZӼN{P5e+Hvc /xn=YϡQ2 Ǘ3l$-@0dxBY[qߊ&G=Ïp(_:"HVvJFO.WAJE=F7Hs$1[<1H׼[\-rl 1\< %ؔ!dLe{  x1\D7G%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Cacheradocument.texB7C%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Sounddocument.texI7Q%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Reachabilitydocument.texG7M%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.AssocListsdocument.texF7K%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.MultiStepdocument.texE7I%BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.texA7C% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Logicdocument.texB=rhouҍ1#HrBr_t"gNXۿ+猖^_55i[JU8TgRر%hՉHzG$@*?5Un^;.5ld4PͶqX?+vKcA dA+ |B(%`Ur,wX[#+Ӯ`_Ul^IĸJٜNnt̷|65#[Z4IaQ9R \a#F]8ZVTH+?d&4n-1_栍Dc%s>ޜ0b*iƳLqC]\Å~$Vd1I+_{ߏ "{I+qZ;9q^6TJa5sL0ESe`g[.7nܱgd%&I"ZtT=|ms߿P&V7gr$An2̛ z)z&Ff8I۴½oU2ߗ+؇ DC<9Ž j5su7-)k֮].FZB~PͷR,=%(9$??"^c\;ZpsA9O6BZ:_2S_OcidFXtN@~#DM^\v:UA*4l95@w1Gw.Fh^BDZ2%NL{=5atH|qu~T`H<|⚭>}𰬺@b`mZ+*؛jgڪ(:02s୶ؓ{U2|=p6=+y7̂ k8 yXX.QpHsQe;J[2fSLuzļ{wcPaǸ2Q-ˊ( Qs5-j.g X(4mH( 8P]77 ؇xYWF WL{BA;-0(*y1D\P*C )h#;)߽g$MyX1)AbN 9ec` _^yRMB-7Vcҧz5qHO[ߜq[픎I~b5=IVmc3^ㆵj>DWou.IuP~q܇_VbITa !tc \skCgusܔgdS* D}D&`:ս^}-YpcC|`^lt%xf(n =hۙl>Ȝg"nmf멨|X}_@pgO{trz*8il@0HG5kq(vH;B%MN̻CGEp> azg U҄e: q6s \v_О*[w~/ ?A4-/;;I7Z%TRvy6FRn'QH~@KMY*y^\5[W,\<n/SFi$.^Lzܴ7뿟3Rj-DY7fQWb)CUG3Ԕ3R6]! R"I~a[d*Gd=)C(q*}^3Ymi2#ZF+Rj@G})С sryw0"## pPicƐD/+=,}CBسus@2J}VʺB7;AbGRU&u]ʖ[VFyW)(drC@]Ǐ5!oeVȒD?;FdBvw-Bj13=uX7'_ZM[2> Po[0{o ,<[o.u VK6&@ʮQ,ga3HkBxwW`Hb R**ӛhFq,bxd/uQ?#yZR~hf"Hm2"͜S)ÃiDԞ6u*̖ isqˆT4ؒor:lWR658 gn93 aRz!f8{7=\u~EP8b-< haF{RP эGfs@g&CUMх3n"YF5|©D(z*{JB9!c4-s[qaDZ -l^"C'|~Ra9 \Sb"Q]2(#?{ }lΡ߆/:Zɗ|CZzSi >ڠ<=GEk40«Tu_Z5W8FcWkeLK=}~' ն1 cul1hM`TUԽN휀QtޛHÎPB ?57GVpvOôޠl*Wq߱󕝶Ոܾv!iYzjKn޺ oy=qCZs#y_fkVg$F"E>vvҺbyUx"f?i}[ܪQ^OYc- .J[;Hܤ*Ɇ>L<QtZa.exT*Q!=~QHؿ I,ʖ$zp/x<NLHo('GtRa… ( wp196Z\Oo[WS~=_ aE}AUDFrGc[ +ckRZ#0E̢Q"2^)*vx`femֻR/O?BD10eLOkd &CqFNsפls٫In}ȩD\cT(ufk.Iq a®Y"-1[>̚"3V Pii"#z{F?eElJDeGmk6"s?XҖoi'm/=ڐks rl yO0Ң(?WTE̓aeWDADz6}ĶJaF$([ꜷkZ5W92b{JS6֧11߽^һATӀTŸ+Q+"@.i ?{=/6wJ@#%NһX;=1)K6΋^NT keyO#iEGZC*'d%\-EorP}btVZĽxN7k oyq ͕t`0hTAe Y*u +9<69f;Y9䬠0eN_L?p9{K)NYPC/m$}Gb:@]dfWS e }&2^0s#.|/C&ov I^VL송|1[V UOXd"* .; l_sr>\cF]بvA>]>A|u Cbx{0B;*4Է>ⱛaƬ/@ZKq]d/OvHG3n UMD"{̠%%4ΥL?kFPEgnar2:kWM]RTTD|eUv >zM#W⛲jWQO yy9ej]W`ie1 9OVy_TNؙmd޵o]YmC3n/WE0XSUhn!)t(ⅴ&CIT 4=>U)d( gݍ>pe\ON Uɐ{)s Ѕr"笃 h9V%#}[)Wӎn}ǽjWH$*ݠI "]2 Wˮo*?(^wXw+%`{#W-5j{/ie8cKK+*=7lYh+d"+ 5nX'%3_Oj%YL-*YJꍘ.5 [2;:" PYV%OHΰ( mv%aS=;Qaq:t%2E6֙][#:??_xV6S-'=>U op鑢@*3 @ " cʡY Ҙ&8!y{n}4IU㤮3$Gw 9\#5wxcL^;.tL0~Mj͡NtMx͘Q,\~y ՆƝE60 J"T33SAK*sFsPVV/By)xߪ7cF7\nca-٠%F)X?.^Us"R~M͋cWi7Y#MeDƵ 锭EӚbvi#Ƥ!=б]{U_ 'DYmTd}ђgT3`c ?m=gN_ E^nv1ޢ}YGoNͷ8ܶ.:ro*ivc#"pvݘO E?q#Oޫŵ|0=M[H Mtʱ/A?ELKq;sTWwŤϡmXpLW?nW3ma >&Idj4ȕ$W$IpӤ뒣s=Fjzθ_~z޶Wqצ {dKI"S^MTvv`t\sͤ4 yXlv:@Q +WV H"`UZ{WD"z̢{=[[db^pgR:"0=GQs)<N2lϢWp4k®_;ZPGT$}oЇF+qUH;17k Eiy >K!NFrxOG|aa-+_w!8$h(O]šajf g SNM)rlTlANnJD{j^x#シi7YJ񘪾OyQlM nģLK< x˩R)vJ @+j @g2 @p=._z(<&G3,:JU}ĭ<-\}DPXlYPm':"r3x,Z--&:'gYZ O7I% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.Languagedocument.tex7zXZִF! W]A-MՋhvG"uIBm5^mN:Eܹ{Q1N+0fdϔ>Pľkt;*uFl8(Ds'Y/4Њ=.f'2OC.-eK 1ї)Qښ?hs10M~\<6U` ?~ (a%J51^ZD(SF)ӓXFwNz÷C!NGfxSE(w?u6Is?dK= sG7Iɫ g fQe44Ջ-<.߄+M+\ d,(4S~- e/6GwŔHgOlX?ؗ-Ŭ9~DOAPY'hq+G-I\AU<}߮AGrp/rQ2Q%j=#Ys/j (-ٞ0Lv/ĵ'## ogdKQ,A]A&Ӛ1Gl|DϽg nj znB r;Y/̘[u9' !?BޣIlQEBZsv_Fް )zD(wA~6O`(+-)UV60^@a@Ygf6Z=g7~rdfv`) K-Pב [ݤ{b! jVm.>( utC J}H*MQtD½U%8iGAA%W@;Nh5GXlB_؉hDNnYA&RȠfi`[Ǫ^x`$}fc} lkFK{WsP@]̢@@r^M@4bĦZ:_c$'g9Ӯ9qЙ ]S@k5pDO%#[mm$f,$- DM4͜87N!^.sTrCNe +{4A~jأuM.W>u4j j+s5Uj ;qi k686͂^4 %[pZ`\RNB3Im,2.ΰ^} drYœ+%/8ҏL6,È:~/rBc f0li mt_c㿮:IJ `8+MM;s^0 Z$-/\k QX$Ŭӿ$/CbZ+Cͺ}K&E6|DҹCbĻdK4.8њ9f {~a՘~!-#ZӼN{P5e+Hvc /xn=YϡQ2 Ǘ3l$-@0dxBY[qߊ&G=Ïp(_:"HVvJFO.WAJE=F7Hs$1[<1H׼[\-rl 1\< %ؔ!dLe{"  7M% BytecodeLogicJmlTypesBytecodeLogicJmlTypes.AssocListsdocument.tex7zXZִF! +]A-MՋhvG"uIBm5h^tfiF"F ?3, mXbt)ⵓ]e " d 4&1=i T2} MeZ+uGAr Z4rl5[(B]e+ jFǽ~+cHv+$ qʺWBÔ n++jӐc@i6w[̤'iyHw7) USfpL ـ8 яm٠$t2,+t~Ad"&~sb{CUT)t B:IPl牔[z䠺B f$s  tK2SvžS=kf;zֲǃc(s5SWfP:DMWt$jUrD˫V;Ȋ'M&A F-i",Z/f ]KZ52`Y &^e(vn+H9 5p \JIڍaaaEUF,0d,e&")Qgj?Ϝ]1jZ'U.ߴT|S~~iF$?bmL@'2(Je|lZxؒxbP]ޖNF1<}Ny//X6[VVv^{.B`^[h Y#QX* 0c`!ۤWuxs׉ʐ}۴ ;P .U>ISue]!Җ ݽe"҈ ԕHj6ȿSOIs fT|QD+DmH|&q" qa&9M:!]2>P ;;ы;c37ڢn."[]ZlNU4HwH9L-\r |e>8iSϠ"٨|>$E;]#; 5dK— m)JTZе|>_3kKpj=G̯ejT.ԛ3ӄ*o6KY+}?h9tWb 'Zyb6@x:*Rѩp.T`hyv"o5LSԿ#W;#)rҹ}4g x 6 #C%5e1uck;y{Xs&wxQ6 My5Oc .!C1\Y,csÒǺkn-"CoݮG2KNO7_lr_VO8WU=ɉ+cOAg~\ʫ9ԒUt{joiQKbJa͢t\]6T;[TM.2Ӄjù%#|{6ee-i> Ѓxg bӶ~?PU 14HC`,VD}9ImB!1 ^$=lEPԗbm'ARh7*R@!{1{ l,O<%' W:sgYZ7K% |BytecodeLogicJmlTypesBytecodeLogicJmlTypes.MultiStepdocument.tex7zXZִF! +v]A-MՋhvG"uIBm5򊂅KQQ"g}d0νz^U dM)l`vv)$[2Z!#twf ܑXY:&Iz+z2q9&2WO"6IaK+a[uG yn:fc}nTaK$!8`MeFʥhW ax?`੼c GiSTx&n"|Io3: ]j:_=Ce\39 NW1<`!|[eumD)d(77aȢG > `k3>A#ՋtNEǶ{&6͌O^Wo0joDM6lg6H <8Jv AiQY5xu#%ԅ= MEd f(ܸ3mۡrm|@i`=Ӳ ?w|@ ]]-_5Vutxgxe`xipQ"ß<9Fγ-KTf7vזxBEBm9gyO1*!N̕"J臩GkA|xH8S">'6?'FF\,4- 6q^<#GfVXIo |,6aob$ uȮTX1pt!-kn2Nd}7gz6Wj׬ܙWB%Ʈ!0O{!%#xr<7{W˸J.uȶӧugW ֠G+Y^ܣJur޶D؄qlYPa)mpnƊ_C϶8f*8 2uL %3@iK Kk!Q Z7Uvbp|"ŘܷK^.(8!f{X%Ob$>ӸE`:/GT)m\bFZ|឵zO5-Ǜj%Q ׏GB>`{ `:~Fພ5 lA GW2~dX MYBQ?5Cݾ98'[N0-G18S-bi}>LRuS^q+yGe,:SAAͶT%LVU7[>z+ec|Qg|LKk)$g5lM˹uMqjca#U^Gm޿;1mT#=#J{ku[e'3I L:P/7hK9i WOgYZ Vcc 7G% DBytecodeLogicJmlTypesBytecodeLogicJmlTypes.Cacheradocument.tex7zXZִF! !]A-MՋhvG"uIBm5 ؞.bjRѕ˭۔cCP!΀{b,L'tcc"kq

+k_ ܔo4t0rʩ &أ1F?V4p8"$)leqߝ38$%J<~d } 'ֶ2<;(?ӌV{Bۤ_T_1b>wRIRmԄBLDj|[>\Om^3S:m t!u)_-* GHR+槠G%7J5ٕ͐z@!řlql-2 m\l.kz!n~~#ubeεrB* 4Wkw#hh_>QG4 _H>~-a}!Z%.|JjpE A"0#WrY vAY(Z|tkR^t,۰!&zKE'qu򨆋ЛtSMkxf4Ӻq XIޮ̯[H0 $~S-vS6 D!ԥ8!S6RdiH gnt+Ɨ߽-_a2.OIAӌM),֑]UNg"U [DS.F%X9__xW'S'<ʾMmϴO&8fL.zi1N Ixxlf/zX$R~`h'iu5]>x|5Mj{E[3\fVplPZsbhky\xfLDZǥ3C8B׼]Y+/通QXer$CfLoø"e.p&¶R~?ʼnsEwRûּϦ=!4븠c9&m(Q Yjk GGsX1OkmZĀ- #8=5ꁀ5*0mkyBQi(x},m0㈜ӵԆmXa򍾞uUzƊ9Ϟvx8,ɭ+.܊nh E61uN'1M_v&}:痄>RKAf| KXH'JO)9>O'4r,N)PêЃҴ ʟ^jȮ=k*c$mr=3g3,61'b(afE<3mhi8a˹@6r?~1n7~8?W';L~Etb$7|vuv!(f_.[{Z"ӏu 9sl4tzLqs"f1҃dgFLٳhlB (ݕ=7qp(;ei".{"qF:JvVٺ~ fmQbU--G{Hg/f(!G:oBBߎ` "N ;L9\P1z*Z|&xIV ϾZ)߀x8u%Zu\%);4IF|j~qH2CΰX>s!I4vT8]h(2DCJc$T8Bpp"ś7(GCaEZ1#.)]&MI2yhQGS=Mó~ ú(?4Y =5ճ2ȅρV='I|B99DYIYƏoUdLJ#G͜%@u0vײo24$ؒl9E+ɮZ{ZԷ#iF(9Ԁ>d܉Su4IXTY̙!ELj->!:Ѩ ڮG"b< bw[o Qل!wUVZʥ}z⃙[S89c5UMަ@QvQ&%#VKHY7\/U6'.]?S{8N2iG[LtZ3ǭ8ɧJ'#O*ao̬ՇF`[p"5g5>-Ύp4.a2}a5Sy͔GdMc;jf ȽhZ-6%שBά]Mfx%,@v+CES[2qR 6ػhҨ F;.2:0۲IEܟԆ@$)m}Wb,v"=Rd>@>| f`K%OQCkQT3=TyGzF20 *BCEw||?i̛5_("#G Q::0br) "$z[$|M&ߦc,c-`ZIxz•|<#M*wT>fUv ő-Z&6WH&u⵶K v=s~h v `Ң W@㵽:MP{l[#|kC!k+,Dғ~`y~n\bY0/` X$Mk\{ Pq='>t9l' TH^`fU~SXw\E^/1e0:kZ3Ra6yNXXʛoZKv%ƎyN[X-Q{@dytoZ6RSK eƫ@#3zc-C2UYwg3L9\ȈzFxEߏewW[gIyS2\^Ib/W費Fyωy("׉r5c*fUׇuaԒ-B#^H`EX uZg2x/0U&&2uy [ ,{vt@%/rTpw|ϻ8o,_@%x&MѱATX4f Jo/S2:!7Q tkI&(- oفe$h#DTH9nNh# '~Wy WR[W*񪦗Џ~^OO j'mЦv sȔKpQ-,p~*ظbrMx#Ѯ NK[}'pHU8ZqbҩU}cë٣!P\"#1RPP+GK6Gk׼f'YIeSI ʝ|T^-H6[chSא"_RGX3Yg7jY_cKEa’Րe:{Iԝc6U ԗ͊ӓwAw$?DaN)FKZ\K?1%>[# _0p7$>mIf,zx+^:~SM%afV攼mG5"m۔n\iFbT |lᇞx˅b >˯+)hGnEwTyk )砾z+|Q2vvoZi=5QSgV,c!lD ',$IPe&=Ss/ŇXauRevqP ; W]g F#)F B 4J=,l*߲n~g)#f6m4'2d+`i}7`EعUb87//;-NNӰS+J/֪Ӝa| @6qN;Y>EĂ6^E_BvoJ,=,̰j=i;E^w uJ;0 5p|a| FM8c+-T7. V( yciiмE}RdXHY4Sr܆$!(-39mp &ixv([O8voz5~ h@KntkUPVoN+~yZ*DJv*4bi|5Y~4B P@4c&[VAixB{y uߜҨ'Qv\BH{=w&J{"wUCsITZM5ba]CȀNjj=Sd!UU^H$ͺ!+/ڧOŹ + oψ=ǔ:4 k 2xh 즓U[bz{\Gv4Y)h:LWRniJ4U\V*:\Id�OB 05Ãnc;uEqE*G.5ƮztD-J(Q巀f'і =C迡c{^?hM") ,osJE䚪Ha$Z؝w)S0pvx;L'=Lb`ƈGĔ=hW4Ȁf~Ϧ3*-XE8 "Iqut(P-Ex)o' +v=e=KwoUҋr#/J7sgY}A΅!dA(fV ;*nTe.,%~F 9< ϯVit3Ah`U_~PBz;وhDpaITeu8]3#ױڿ̀;(}Ful]6~uuvaztт1pJG0XG8b61*13=?kyѫ-э`mYz6b㐍P: pKy M݀g+|2kED&i7c܅m͆w=O9˧)iS>^9VKm #4;e y0Ibo(8etҟ1 _GFpGE&ڣ9gYZ F63)rRrGa,E\1e[E +?ډ-E!pePH:-6c߿x}ego#gn_* zùxÒTux`^12a:nnq1cVySw2kئԒخp04 ywq߱LUҒw.X M3,$e}?e|:/ayDr0iE+}T1c#kf=Q݃ DvۣoHZxBO(MeiaQ|<0[v~f v1bm`0UsrEJ-bs\C0A>zXLu]_Z^%8 --F 3ɠ"vh ٞH$2ORXoD|g鮍^Jl&#w+)57-Z%>y<$""{sA7~x|'!ZNuljyviP#^t2Vְrقچ)~~#@<4RStd0p;^>f~ffRMQ%`670y H/L9|}Ks.~),leQ|؟} .cʉO޲T a\tB4 ׬sH*~lRsDtp&R!Q[9O(HCӣ(DI^׽ v7Yߔ[FL(6f_'q~3e-gY2̮&JMhR:#$/@,+7mUfmPȨ Zt*l9BӑA hO^Ol=Dq-F>r7Z/ L턄*6F^7WncXx E 3^/9OjB#XO1jI^qZUsD"v}z_I0Esc~<="`T4ÖvvyTR7rP'6uƺyXݏE8`?4]Q3"Nsm Q=><ߑ.`0C8K <ʞoȅ ZJޕ2hrzFC]S}k6⒥Wf!;MM8qsXQ"P\Dku뉬|q ]"_IB yb U)Di0я(>@Biac0# ;iQU>7ڤG7qj.s% Cb.?: ^h}*=#ݞ !U#ĿsO"IF cmvWj G[At*sMbD &O`׏( a/+;Y SNzmPt9W~q5A?zdYv'euIQ3?6=ͷ `R]p\.(hnB`f1aK>CE>HGPq2Ђ[} !F%lA!RGWMܻYUNg^bëYm+[n%|sᒉP]TG4U1Fdѽn,ܚ57̓9rQK3.އp5 v7Ӧ[ǣ>EF*hҝA JU_ gQX~r13LaKk$Tb:LnO"U vP*~X`DP&k%CAsp6y-1bvat': qcϓbpQu7d<IljEKb]F&=1X_4ާ~=wPcJP:c"D2}9F J;˄t4t?4vZ*"/B)k2M*I KG},H*v7 n--8t74x6ⓝV17ᜲO  +PA}*蓼ͺx'dZGE ݃A5-L.J}((eU`HP;n{>x.y5!Z' 2V'vXQ[EjxV1&Nj B&ma '[b% Ф[&y܅oQp୪d>q7od!6Z`W 8rV>D&9TO:1pRج tngG)"Hֶ-;taq2+d#hz=ȴH{ '}B<ߢ#1#1rÙ jNnT5F7{v;o"(;n` MQ>_^LўC^H !z1WYlI ~DEe /! LuV yIh}/qZ:ISv,au >ڦ+&:FzgS_o@Co^G͗GZ%'™dxL5Xt;wW~:òq4+PovFH~|U.}Ij:u. :~"_i!cIxP.64U#AAaߐ 'f= u*7iwSyfR iEM/dgȗl\&J$O7Y;w`~С7;>(qclyLhK~H/{`e(i~"'=:"^S2Lf0P2؊&UIc[p\P_9J3֏Yׂ l7oVXzl(OPfU|@<3#BW>2஄_u13Nsu$Ky2 NQC ' B%SSd0N )}֧18 T\D^٭z8 Iz9V%a ?&#$9ռ(u}qBa0Y2F/@hNm(gd(eVHGѹI]Ztte~\63 lzgb0Ȳtؠ|!(6ࡈvs7Ld6NO O$s)Eف7XaEwkãNY9 \%6S㊍2ϙbcHd4p̏xAuOkk V5zLT4v.DqXK W z q1YDB0tqy{%(k*&qz8;\b lt}#sXڸWi_fͱi>h,U#.;gsӁ{D" x]'V{]llsX &) X$s2QA(Kc s ta ۏe5,D֞Q^r Uwa@JCLz) W^@S6CrQIPl.j0D~ʔ! ST ce\kxƖؗpl%zUI 5BYLܝgkӋ6 Ȫ ?Ew5 2Ǘamlы Zp<7bvē/d;# &NqR[mem8ȅZƿ] sװV)JYN&)Puэ8C&.:>vP:u 6l3/Eh3-: (1E2Ij%]y$gTgۉ ([HOd!Op/Qs gX,$ݸ3"} g׃-0r,=n:~?G%|fJU86c,/w˂ru*H\ԩoI,ʹ"|;4 }+ >Z`B˟1 $Y%$W , hQIK@HZ mFd vV%ĵ} k0X>@!jJIԱ%LOx"RE#け >4 O!L=!8udF$zuhB>ٰoDdL@/i U*eZp.č\_f-C.b)Wm%/ >>Fg:Q9/ AI8j)?:j`N .͔ߏR3O,+iϖڃ7LQkG#l"jZXiW+߫di}Q&]f1 w'5) M,St֪B*WgѾ=OƬ -S¸`\~BqD}fOSs ɠGK>M 7SncQ ͢^&Ŏf4GuI9zRkEUQ C! vdњ^&I+͒xx V"vOg[g7OOٶWxm8P<=RySiDMiX2Xѡ=1c\+^TfGD2bܷbHjD4wyO`L!1p-aAo8*UڝsҲ%=sH~ϫۏFvKǹ% {׀3?Taצ/޷*h'VY?/U9xO'S=8n[Fo r  ;6]mW/;Q4D5z$i}#zNE]Ub@K'nR:k:I ܤkŚ [c~(M}F&r{ll+SEdϸ>쪁JR& NGRaޔ T i?;ᶰ:81%s7POnB P;HwƳ~nmD$GO(x] 8bG"KO90&y"s2o;/#yKA-+S-T]qɞ>-E[v\%Uȩuzd0+NXԠPVhi:>LVO K1B9%ZR)\jl5Vd=?Ybtpv2+ꪈ䃫)&L 46ܾX9VW{h @9`빞Aj- !qR0RH">Y *) ʘjC1zgYZv'voQjgzU?(ذ}7}`/Qx-N n0w8]/ O_we~#N'zD(c(z*ۙ.S>u݃/P 0zg9욃6Q/61Zr Lߕ*{AZ%&Eδ~u sX5Op/fvS4̩ؔJV fX*a!7$})3gĈK_y@ GVgkɜ5h–9^?W89[:L-R 4ޏ)"_(Շ(݃jl~^ @ a&^DkhAQb[矕(`\{^.WkZЎ0;'%Ҿ}Đ'~(h d?&Pre\ht DБahי^bK) iW> jK&LN$PT~[4 ܄ Tlؽ3]۬Ȑb}3Fo_zHM.AqeyA [S R ӔOD{¾%J=!;wDRKq.+'ѷ}ȅπZ_bO[b|Ԋ :D%r2NV3#öqzo>(N\c(OsT6l[ρ-4%_5}_prg,?Ry}N씳{OUmD( r?C<-Ɉ'eSŻA bHtUb4PFlGDH ;&DXٱRdЎ Ov8eD(PVQ\hŅMiBXQ4ב\;||P69BƜє$ÁCڒG\-HnjEv6YJ]NM@x^ѝAk"岁u&v@d()]*t*[aRH񛏷nԎA[sꂈ>N4tznń[;QfJq_||OC-EaYْu1Aa'UV4c8[YZZ|Y"(4lgT)MWߜ]k귶exuF1ljs¯  'r*WlbC#m}F 36D㌳cZQH(#m~dpQ:zo~(ӴJ3/&xق{޳om4Lc,e{$J|QY:3 Xv%OE9p|^mo oO\1pv ʖ_}ST\ͰZRH^6jރQ G(*$G7 37O&:=ƃe'34J!b:~eyOXFEO4ITE H*n~ިЅɂܻrGmh,JmṾ%1`f6^vEyɖ*P-nt7=O) ޫ ٘DS[N" O:h_FFplhn4Y|U޲3W_{9Sb1/;U5]_};,*"-EҞkѯ5%;eelO T`JO7y}z~,I(V8:X QxA}-JX^F;OD{G)MD HIݪMٱ嗓 wykcZ qe:s+i<މSQ#Tɇ2RjԀPÜ=})Fj];Z]:r&J:k(aդՂ'ni ށH݃4opՕTA5h󟛫6}ʬCCBBK~".'mV;#{;|osX{q1]lIQ:SmsѲ@M0$mUSIsBP#R鸆-.FN岄!@_\ 6mJ+hHxg>>GB-lHHMTR;yxm󱂀J RTDv38^G5#E,¯%3e^1In D_@.۰!-z߸_Cee/9dX%`E0M)׃1r{WL6$@+oW1ApvHglrs g +1LA~-"|O ;"= rj)D멲vqya趦ͷ#䦶+sn˳&3XgYu,ytrhzb&SSʬF˥zJ؀cėwðp6|~[3Mhq9F"rFiC!n{$dEiiM\]0 Lw46VJj*]7^mI ZP5T'`㥌&{u'ew8_> [VȖڻ/ȍ -( a+01| ?Y&tKqDžUf33l\ԸޣI%zR)|<՛nuT'꾣?9z"hD z lH[2r% }ZPyk>gG_IK߈ Î6v>*Ba]ݴ΃ʒAհo-zGQi60GkżgYZ7zXZִF! K]ŗXiɟ/jڢ}n>t;mmB~a^TqovkC Fji~]KF̩w9BTjȆDZ捡EvY1wkE{LQzlګ$_#rB>Q#D_tTV'2%&..8㉂]Kͽڳ[~;2{)7M톛v5D_KgYZ7zXZִF! \/e]ŗXi%D643I^ݚ6AxKpXjއ'TUַG5Q(fD#xW11*_~4 nCa]ᴭ[zq"]54C]'?|(f݇&xӝҰ~ 5na.'i0.ntd Q"#yC:Wfz˖y^o16yCPܧxꔣr6wBCqC,4ֈ9H֝ xc]\b."ˌ#?*&v􍟮ctϿ(/= ̦&R 3,꣪ABdic_0L$l@;/(㫅\?ZJ !ZY2d݌7aylyߋ|@X㧚UA{RS(]ܝ!*wbѻ ,*Q|YJR:§i۵0 l7ɜ u:;_$LR7LwЧ4Zlվ^O\$y+塩CɽWVyVG깙 eSP>X*N[7Y>7w4'Hqi'R.2⣊% wy\S*y@e19ILmr7*T招<Ԭoh}b<>.gw -[k;C7ɪU6;rBDJ9ʨx'҄s0fo~6O0քXI{I?6"-}/@j aBe$[WgDS)z6|_&Èti݄\Oә5ϻ$x),tEV/vV6V,:d VƖwC=>tMD{䅸.?[* 1M)Th!x QQK[G;xwר$.\*7:* @1eʙ ;2;sC7WLӸ):IUi4yw4Tw(#ecx i=gY2RjE:Ռ?1u0ńC/xݯ+wW&[sS WV>-AVfܠOkIgk/AFӚŽGPϒɚy+ U㨟dN=/%ѓ+_Gr+ᖡi" /qmڂkPk,>T9sRflMr,O`(Uٿ neK9{lLރP9k7faپJRKxWATN`CӾS*?Zdj= X05.F٩x:0 [Њ4*c$0kӕr2vnT|EVÊ˩ @m(=e-?{G򷨿.[ksa $=%o․E;۱&P/d4_LSmjN'ڟ>dHGH3h$zPK $-ˏ䗙&tP8YMOJTISu_=m\glڏ.| ҥb&Pӏ]ރDRB,2 v.Tƹ:4k(9J%BeRE.DO.́z kGG& B,ب՚zGxۻ ?b >Nm΅֮B `k\o`H8uq ukZa_IbOsE<*7CMFܴsbd ֨؊`bvEDE廗b)dS DaU)͇[- $>8WboӋ2'j'{qЭ*2Ad=GN7Y* t'pݷse D€BaME4s%ahP(bNvxy"Ir˯+wy.Xo-YhmlܾUH֪O\ل3^gKvZǝϩo>)f6Uˀa7@W%1tN\0B+!t#sոj[.=KikĂ퇥K@Jϭyiݿ Ώ6H ]菺泥3{6/1kluiެm'&0msƕ^[9ީTQ+qOfQ_;mi1NQݝTdޯ3DaYdNAkw6IC-:_91@H<=kePW~9ysڼzJοeVxf@SWN `GzAgGH7,+%JjC4.ʬ * X@b5TVlm T+jDp-颪-VOM0%"Y| OF0o a!*.F>Ŗ`dSĻ;rtԔ#vگE,j+?(07XtkO+*GJlƚh_d_v`:XßF!U)LqQ[ĨSGaRhT2m qr5g4E 1ݚ(Q6dLY:Kmng黗yY\sh/nվJV% +r[}QGAo+j|aH2AƞJN~'2PE@e5^tBd%߶A#6ߡ=`&/:E$G* 6" $6y%YIf5K{ZpZrtglq:H!])&}ntk-G`*"mIu;kXofݐŸQ5(̽Z1պ  x:c_zU")*Ո"Ť&u;V:C5dYm%OP}ÂX2,Gl:xOrY5O˥ N1)$יꂈtE)[\{)[YNTPz hdx歠%lJgFUw6W K0PbmKNWX;W8>_"~Zm @>ds`'%}dwWz&  rN#i-ZI3n{ |Mwxi)G `\6:Kؐ ;cS !W.9@Ra~A8wFs<-8ϡzYeYN.d+uSvQLoҋz"'+?OZGl/zEM +Ʌ@HExPd[D|z{*}ٰP ?Bh}ʵ!s ͎d.VHaOOnlJjaVeWq(Ѫ ogpџv%5 gfum6 p|_[GMEygO`qƩ┽NsPk/5Jq_B3]ME+4WR4jtC#u4. XEc620||ҍˁ1bKG0BVn:bQ8W}I XJZXϛZ ~0|??nnEbJC@q(oEE](YCwhv"5N+ R㶖 _̛:f;A90^-~D* guLD&$Δ֩)S b}h 5 <t#4?{ S5(e;,_|V\A(TW-Fa+FKxH!Tw.S2KНFY}2굵o,Cd 0( k Css _MJy 9O%G^8h_45y?-+Nx{ҩ!vm")i@lΘxo>}'0$ e3/Di) h0 8i<挝ɒ'Xˠ)Հ1:+20QՃq$ys?w4q/zQj䘜b&ΟlQRPH;,G+gv=$\%7 sDKX#iX2fG.a--t@1> )c%vo]Ʒ{uB3 tt6+@KH?ǖ;.zBg3%bTv3L!iҋ|c~|`P=K$b.95Q_kis[*L/d'=m0uK?7pTz K+(r?vuN thg7EؠjF܈!78]UIY~d*+4#-Inq٤yӨ6ʮB>"ۓc&)Yݳ)[tuI;^M8[ZؘS~clx"9 AI2/'ASTrݟ'E:ɠ^ؾfi$!oe8ѥko 1U:YL,Ux6a-GBH0ՠ!Ͼ㓡 DnJ/2s+Eއ\`TTsYeH,/3ԣEROO=hbBRfĬ}[ _E)z]%Y hFQǣ_~ߘÂBk&|͐$`fDLjd> -XNLFK? ٥:.qz2=j>+Sb #o(v9#7q1`37nWجvN~2ՙg&zիWE)@?,otz{"7SM1Jds [`Oonb|8wFfԝgEQ:xc&i΅$.Wa ҡ!P yڒX$V%We4qkmh4P,=-wwM[eX?qX'K;~nT:D0QȔpfظVXo |&^Ӣ*|ln(rWF| c@" z]Us{G^6!à0bAmAO㟻 Zynjf}r$8^ma:9"9⹎iySΩP[|eefx34e1@bOɉ wU@ɫb.jOL@-xEFf_`D8t .xI5\ȋ#Ye[+T]~2֖;E;ѩA\PgGؒ #EV wΫ=BXk.!e"Ftv>`E%dXi᭡@PTm5J༑\VzQp[eHu$]7XwS&ݖQ)L9qVTaa+x})!$PaE hj *-Nj[eN/IK,(qBv|ړ58T!ežAY9V%"\BRa[~Zʵ>Ƨp!3"\Pibgl<[_l?O,C5"6E%hgy {1mwV5Sր IQG}#, r #_FL ?L̺%zך5::t~H CƿAq:ANuoFuѓI91E͠0NA^]3>Ճ7¨C8je_ T F/;=v@h.r.1A,se(;889tYy^Ke&W:Gpo@?< 1yk]8XGDxlb`՟ckCI80q?44iٽEmS\%qMR`5 dXOʎGׁM#F#X&<% ȾL\xAI?+MyRq nok%tN;i_oڀ.)$o7xx&gu$1\G*Ȯ ,ƹN .)t2] _J=BFT2q(uY3)sR8 "gEZzoKi}X3"UK(hDh9r˭:Fw&jy )ЂV< GkrEdV읔l2D3>4@-ugYhil#[X3'( Y%՜)b!fQQiץ|I:!v:eOX^e50C)a_Z!ۜVPOe!ȕTtwjk{0xXjT gv faeC"aKBbX4hTMHU "zʃOIeD0Tv;6KnA KYu>H6xHw8C$$lGqXD̛khvÓca6}5QY `"G_$)9-c Di97&GJ &E]Q\ ļn6dGZa,ڮg$Ky?TęTn`Z*))4kOeF-HJr/22Û۲sߡ$syYdTV S}'~ee Zg!m[/r[;HwkP3.PvZh<Fr0FЁi%LK0B9|P v|)G^<>-J 8^G(#gJkq%bGM;Wi %C0dA8g#ɃG WDl19=sSRֺBcp&&4nz˵5Ĵvtehz_1e}9t& g[9s-ʗ}e(rmvqGSM*usEϗpP]=aF|!YrovfmTƉ/St\氄DиJge vIA&*%ߕi) mȨQL\C>5P )~UA|KN%GhSv:z7 Za4#NBHC XbfTGzuiƴvCH#nQ {6ʇA(Fլ-kܥ&#54 '.'|2&X̣&݂rpEޓ&ZljYzckYHk]) ex'?qy0 Oq#kƨ5[l}?N4pE<8 Py? !Jb7s*GȺ3=FwlSe>Ʒ\83=GkEmL bHc5}VvML`T/ sxo&ߦ="E7S୮M/$?#0CM{#KU(ͳQ̳}T7_~xskSŤ[Ej\usY%_|`@\&,p WNLV]q4ݎHC}2:yM:c2GZ??QӚ#. AW4>RwĴ @*MQq *%LAhJ*cТ]Z'?HJX|KHC[J9n?R~LlWo`P+̍p.=C?YׯE,X)uϟք:|2@GbUʢ0}-Z CaCd&x|>fQddJ7V\SFLJJ5y-6b ų3bKĻX YS5/׼hI 4(Ur/Gxo#07fZ<.*GR[IOvwW B>Iv?3TQAWj{'UX,ç?cݼ`1?>a߳ O̙yMϒtGKgLq}M.Ri E=5Mx)w8 *ݦ֙KT%M_pӔrPQ \  |xJd09&Wi_Vn 6SvlKutiR/*v(`UVg=72UbB3]E/(1ޚ>?e)xa/#JBԬyY2<ar'\U%q_}(M,ʤG6|Ƞ| 9V- ͍BnV`w #d8\k%G.qP{plM'&f*WXd a0Ϸ=B?.}޾]깁<(N+!eV)7aXO^`;vLMA.=`)K6,5t]& mP;wHM*72R9c@n̍`< nm#j:? )|vEI"նHL\ctF9Dҧf#&C_V0!u^E%Rו7pЭIsGH)by顬'Kh8ԲujFA'Χy 8NygYd +Λ哕Hf3B(+]E9Kpں6b³E#@9äꉂ[wP@?4H:vGZj \8y֎ p)vC"u ]#ȥ흲.9L/!hh7(Wy<7m] `n !rYKmLap򭢀\ODyW + ǣ'DX7A}szSpvIB>ܜI UJ;C2"ńRGW@PXkAo+wL\{4xj˅2d3E3\ 9R; _ Oһ nϤ< ;ƜO#­&{>QUA\_ ;gYZ2c46fef9060b51261494b6b9ab5dd59d7fba971cc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a