SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  &5T4| ]S HOL-Nominal-Examples:threads=2elapsed=683.030cpu=1239.708gc=131.768factor=1.827zXZִF! d]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FS P~AmkwOYfA1uƒms JbOn2vNɜ+0Em2\gpBubG nt_?f6 ̼%( ZK$Pt05O\} ShHP8R>%cU&~sH_M\Raw6A=H5*7TO 2)d:L͉ C&ɞq wl?FD{RHzD~lzݫ ?(]7~`3rP:Mn^9d#G үc3Gt}^2/5Q[J4L胔R6hqD9UX w `Hxqq&MDkaDz*XjԆ"FHg~&ͨ 3a5dݤ?PGlo:<%-9cn )j,6 B|Ƣ.f1ILOIe(Iy]Ri~)E-,) @Y${?FGDg\ jMp#lDs*brɋ7;^?u\B磇&_Bao%V@F^|I씙Ţ^I8lm\ D ϵ>X;# gGG/weVVf aO?;2K zr͈wQI AJJ2V[8ыKQzJ[e_8|N07O|B|Fvvv4Y+^,e>#0 bym~ڒ0P1'XcpƉ qx)!!: 5 HOL-Nominal-Examples  E\ nPռs5zNgv|7txqMh| =yO !.!Ϭ!,>@B"K_T¿H׹^ǖY[_@$Ȟ \4oc*vN⹁GSL+&6uy Mz1BnƪnvD4\:y[+0KAI_>=B&HuSmze݈X}1r- 2tP3iU9 !,!vl4t2tVjKT@K.$vtz:.|8b`Yąs|X^nE/rzF[>RQ,JcD]e>'Y);8Y\J e+Euj__h"wt7Fl:aaۚX)n:X Mo 7 :48 g0빩^Cfk)SYWnaBM;7Jf͊. #Zj`HK9 z֦\ $^)_jGL]Iq8`s;+kX ձ1FGR jˈL2/V+;y >A٤^tG٦<8C 7]N!FӹʄCY$dL 2d,'% C +?Am38v2GxfzWv=dv3<"}h_Y77I~cb nȭfiUhjMw`oVƁs\y ԟK/1x#&$Sw}k>_)R1 yԸ[3IJW*5ʟ{Vד7Y ȷHސv#˿;),~IÝE<㱲af.:-G#x ~[ӅgԆ0mP,r8q,e|Mh JɲEٝ>;ӭKP"˲ΰlntb5s-Ҳ>EJPLZu Ջzxc(?A𯖶#JD_QZS{ d{u4M)q>Fܿ PҎj;pj~s Q&BZ֘܁^msCvKs 3Y >Es?0U9TB6yS*۸|;#X0>[iúxeB?JU8Z΄< 7#6FۥtQeT !ٓ~׾͑#{~s576D"†)$!:33^GEHpI7t*~˙OTgqvٶvOCx`;j88\{i| .<)}L@قQ]-8Phu$%s1I5 ~Dώ1Sqa&Bu 49qv֜5m*+b)fⴄf>ૺ掙g,1 q 7GXƃmvNRFԿآ}::_Q^ZGQHLɚܝrs{cƶ~؍o^QQT+ޞDZyEQZfЌTJ3_"_eHxUN|fBז.fYe4Ah nbV+x+LyWY3 (]?K8kV}ԟ1BL/?!@{mE(n3N\!U!#9T qd)԰4UcDu;H-cAf D[y>^IhchQ &o-YlT/쫔|3]%8F9g9pKv .}{K^pG1R𥳐kq~1Ak>.MH#@Dz#֧ę]%SD␶H._[~Qn 6L Ϙç=l2ХR5]^Ƹ Q:A#BQUVP%YWw[n?mJrcTĒq>eZ g~hSunDҊNCA7iL 6STz QG*fvź9`VTsha"K"ߎ G'OJRsEUr,94PogslmF[\f? 鎖 $x e&I8A@*ŧűZ=dh eCWMKgT,")h!"%"G 2Q@Ԃf$ٽ Y47qǨ1+7![I ^L@^~9 T5X! mB}'ZNdlJgZs*oG#CTX6K~>~T*ƨ|h7dZTǣ<,.ˌWƋozW[CG(%]'%}|0M֋V/|T.j2liTP[X֥ m/$)ƿ9A`}|7 EEEu$\J[o+<V(gߪc3HWzdrXZgHp$!u ġCպ 7{Av>NC"Ԇ]]fVrh& Tx[6W\l@5=~S =.v_8DJvUYw9P6n^~D 2851Ld)w]kr+t|h5xR-%v=eER_`¹Fʚ#<`TT2YjV(X C |hܥ@ )gFBYVSm-I4(4/s)BKTCKjöߗcJ*NxױpkyKТ)ʾ&Ose^ rY2E9,yr_‚$1D+jJ *޿ 3 "_WRK|qH.|$0+S-F_s1$L%3?îWXꚋ>KX@h`esPtS2`lB"2Hĩ iv2v` TN9ڎOf7(KrS(+F]s\_14sh\p–"zE!1ss7r&Z2vzS8t:kFpHwd&2i8dgyjN/1Kqo[DI+|AEqQ! ~OD辨]Ex8 Q bKk*`1.m |$8yR b}YͰN5avx9U4[sq_=򈘨[ p ճr v!!fh]4ugKݷv1t~j2RA6"Ww.<يًE!U0[!u<яK:HBMeopc alKn,V E`چs;~UzO m8oVl"{bvsҧWB̊SOqw/3΢~V _PA QݤUgF[P (lߡDE/_jAk!\zsY kvNb@/ݫ/RWNs\R2 ۅW,v沕}_T7hY&./v > ,ȈABQ˰F'#}%/ką OM,~ X 9蘨`@&LP<~vM,qõҒGb"Ē9p]S6Dt%y?+\\ViZzoCy s-':ԅR>>l*F[J9!~.C5*B:wgT=kSiI`#w)׵If[VIL7_Z Hm/K- E{$jرTu,624-7.aMF|,FP#V2dOO/;Q 43DLD *)|ljgo_K<<)eSΣ7ۜ_ TZ\ C Жׅ3k[a V2Ѣ$?~%ZSm#E֌[ Cso\~q}ܮ8x_qHtܫwbgz2˕v{9Xɘ'R 7=ٴ@bn`Pcyqvhm+^P9K:>T\4`ZH.E>ٳࡹikjλ:Np-NV G%iyAE }~*ү}އ^_3g;9v06Zbm-rX6XWĵ~/~LDM2O留"7 M@P+gAVUdny@ A%i@ HE'UE YnKB/7M{BHH&d&Y,gdR 4't~ L&9_X-;Uw{A8i52eoP/T+eU49@D=FMUسD*]NB%-sAj0AudbPgf|`~(ۖr|}e-' J]_MOՐmN}Ϛ8xwϪc[Ppk:>9:x >+{xؾf'ge'FfGN拪ݙuy IHҲx`9!>#o.D, 9׃ y/:'-W7-, V>WV!X0/bõ-$]41 $9H+Be ]o6u|"nٚ Qo<H1z-I>3YV(tvJS Ob7" ' ut4_98<7z_ &Փ>^l%s n嵗ƄeNR B 4FbR߀e+{ "%z,|DX,=7y)':ͪr!W\n6ke/4-rI,3#x謂99Bĺ!!-Q$͊`W +61oeTHۢ2! HdMR$rb=s ?`gYZ7zXZִF! d]ŗXiɟ1ʹ l93攀Lx3 a$k&S]zn!he5s7t!0!A|gSMTՒִFx'݄7M6ъm~OM+ʫT2FZ?cψ"8 y?ipEnX} 0rmLg'cYޚ{8z /:+$LVˢW8!6ZeIӨ&{6E'"*zqJCmJNyu>=uvGt1M"PBLSAr=L Nߊ 8&}:o2CTgT|YISپbF{TϾz?rjKQ.ʖ s[O@_CbG]d.PlY&9U {*)C[3[pDr[!ɡD'zZ{ %ysOl]LOځN'XЦayZD{XjMnx++ aa>ijlL*>3gGMAZA,. &I@jo0{:?)W~jP[ٷ1{FZ2sS~sQ{>MSÄLH Y{֎+q &sͩ&I28x<:=MzL` BfNlҲҵ0M)񅤷P[B^~<i`eƴzUdoQFO%51+GRi׫t\0Q^lK/fO3̸Ru鵝"6Hq+ϯ 9l'dぃM`pGGgDx%i;Bᶘhc.gȁd]B;\}gGAQ4c2tIoaA /q Qg=\[ `tiDI=TfEX @?蝳 8 >w_ AttY҈Syf?-![Þ۫oa^*"#N .-J6 >k}K:F5޾wqs(81S:+fU LJ (o3ϡveд:uc,b*>$- FǪ-^Ձ=3T\xxaI[R_oE vgs{귵\lNMh82)i>%E[Hd]9W 7S)-r, GzH+rVxnl(9q)TAQ1l"56C@tn_0 Kj2*3V2>$0N8Kv(`U^n C OSGkZ${]Hn/7jEffT5_Y9NEePKT&z*0!jto Mw#F|gaЖM?ӕK=_ ,X9,t;oge]L'" lߖ:eq=5dRW¡*#Xc95mIS~"*z0^}mæ+x;},0<e 5H@# mSO@P+xvK7(pS^6XfJZ| T[ZOm+%Xã;$V#,"şw"a6Q }Zr&9v\gb "DUb E,%M="hSKӋ\;?1"GU+$]Ñp1("*mv#GlrH8rElPU!sZ;?!«Z1ȵ^Ϭcrō.j#I Bb{C4Iy[wZ\T0LǜSz5}%R(^%J6r*6[;Y2,I * 벏  '-wgDnG.T57`:D-;mOlsT푎ʦgIT<\ݚzE9>3Udiwڋv03\ -' $0TFrC4|k3_eP*cE[&|D@ai v /XD㾿p5IyZ d}f:=5_^`K)!B)Y: h& ҏ?:)N{F)`qMfjƆ`50>#U'Y;@{A;npz#)ҥ!V&a9!m}ziR4734(,-@>KN)h slU;k:/Ъqz]eTjH,U| ٕPteπ'#)uƗb>aB㓤~`ʎ&xZG:{#Tp16fjK9OK}ͩLo)ar"X; L/M kzEx IURZA k}s F> ( Y=À$Zgd}n ƙEDsX#jL|PNR5ٽDeK庺㨏5Kyob>[P@m1Na7c憸5om0,&%uZgeySh&7.gdwbt(4ipUYNW;2rZ2 Є$Q~}2͘Ws,~:/93X+3TَLBuGa^zq; UٵE<F$2 9.Oc7X lߴȧ#GyAw%`4턾g=y,^Vy`yS}+#A=v@ڋUy} |0ʔR JL">L+-O󌔊 ]ͣ4kf4w /BgXawY'TQ'@gp; VJdg+ˍ,8j,M+ȋL>cZ#r~?g-_j;5Ey!Ko*L Pml f*7„&C7pT1mI(R\Uv"=s@cfƿY)R+5ٮ^h+SdΣ=%Ü X 'C;ysx\)K&&Oo Yڡu6Bk񽭸ۿ8(~cҦχ:'E$:n @kHzK[ Խ` (TTE1oP)FdC2,(]-~-y6tZ] O"jk)7-%2նS2 &UN{?W1ϴuki6Ȧc Ĭ"sL _/3#u y +̭ƒСz#f';d%Swkؤ v̓qi (е8yBp_:+סtcFCۯ~v'iӴI?/5t!yC&J 8BX/Zb8o"ynklxEު쭫͟|} ud`;aߨ_S/ jH^_{#ɁKhq&,GcQu e0rAAFxaq8efI&(<<61Wk`z#W80;\΄ǶgHiL?,Ww<lO-:[jШm*v5Zẵb&nE-=6@x꺌}݊g~x)ֺ⟭Mmtl;E?Y}(ZM=) (qamcIJCRhhi!2iOa\LjLTIp^7(n'Otʲjf)y+]cau#zǹ/G;PM@B+3Wjq;X;]:5 LQ|gW3%/]'w6Wr1a\ Q29 7UE)u_4` ;!8S'KugV[VZ`OgZq̈:=U%KHsN"| R7GSAȨޑcۗ.u lKH´ 󾁈>>;9vS1jf@FrS,6t -]mEBݔW.]tPXQAWj}/lm6{8 ;)IqpF3JG(q"l1n@DCVP2M|!PKŋ&鯡 (Om޴Üag!(I'OfXDD4*ׂB06P#*b~:5rN҂:CMFk_{"vG]3PjʒK-JJ:&XQrO}4 lmmR_*%P?e]["XT[je;,jX~|p~PWw9%+9/HqE :4Uq2 NJƮZ%/`QOsL]ӣ^G$6*.a bޭLi]=Ee<@= Mg@zּr?ѮAGWQb@qKiX5b˙ vCq.mR;^J$,Nշy+{d Tm_OFYa!(;W٩EH[h+rO˅壜E*U#WT&{,ryh=ЏJMVa. 2RK蓧LyjtGYJ6}o&cFmY_ g#].02)cf'-0, cqd>]Mu+V`K(2"Z}3!N:kj35;&u̐=')gMIQr$ M~DECN?H3dD GBt &S LVu6GTf2}~ܹN·WeVsfȺM įṪHo huBe\0w`jTyE/mr61äa΍m06;vE.1%>gjPn@%8Qq-gF|1~Xwhܐ ȟU 5}(NoGX W@ߠds ZTe~2U7 Y(c>*ْ XbSPTSxr+iZ%E+m1*/=ZGxh +p1ܟi{# #Fb-q.T0d@D+*h&[!$jkZФb̴@Pwϡ/P0k\| E) RGPpGYGga,~9s&6j Hp3~L]hOvTjN,4-sW|vo{gK?ԲKC޾,[W WXiZN*:3',M9:}; }0G;` pN睨. ԥ&4Uib?_\DPdCH&JM֫nqbo$OR[H|^5ݲ4d"0d72ى%m͇{a³M\F-f&u(2*# u<Bqs$E9E__w h!*lAƻgAw"&'01t??v\6됞o}ŕk08=of\߯ϋ MKZӢIʲxL19׮:@ 2sW,`xK K.U]őmC-rzSWZkfu ͎9tJ%?gjȭ9A3ia=E ?BUg GVݦgɛ "w cѹt寡nyy^Jhp33JMgYw[w Yc󏘇?ɛ昺)–#X^FHa{ˀ6u)ke1?LZ[Ys-{gj20N;|M A"'eUYp8س`:^f.9A&%ua%z;"=ښZ14Fh0z8xONuwj7_ލ)zɒñ%1Ld%GVq' U,~A-)!!A}]:$_YCˮ\Q0ܭN 3st&gRNU1/L %h I NMʾڕ?*c}@6D Ȑɯ{:n%e-LMN.tg<@D׸I{+g7dJ@#^DqJQnlFm]ҹC8! D3: d%eŠv RŧB;I.  ŦMA82hJ- -D!oB^dE <J0d/2 e |}O% q c5 Me+%]cput+=9/ܳ?>&8o;`S]]P"ǡrF,Er"Lj1eO`c)ھKQr;8.CN\WhŘb hɊ ?}J H'k tjd`V棐 "*4ߡpW:?^im8 O~ƹֶ g-7K2Q\'k)q:%0Bau *XeQ}p|w[߫TqAi@Zzj_T& ;ZDdZG`SM3wUՒT8e+;_& (7,N[8 oIqa~z ^]qgu$N2Nh}at _.=V2Ou_}J )=_O2 vi-p|jVgVFBn~3)V*4uiooI1$۠.#UJAVIT5i >hQIЙ~&#:7UFKNd|y#6߂v 辸Uty=ޝ[e8a(=`ކ|\r[4]*s̉dF73aD.v<:h)EC=mҷd4\}҉nV%w` ǩyzM8[n8'ϖޜ\?MhƓ@59ĝF rƊmp\m#ܿF9O11[⛭r[a(I~##@'AzdVdlS*S4ZZz 5?7'oyi+JTB 9GOイutmt;^8O^۷_7sjd[:DLi߬(Փ֮{6$3}qgȟ.6>ΔY*<;Դp*\ R )+Hvdi/81~6:6SI''( lcqIK^ۭM;\џ%}s_rrʔKtm4h޵Drf,{A);%Ӆi7\]5MTU{#njGz5)/"%)4mS_ޥw7<Ǜ̬}aEqkyͤo3X L 6 i;] ?\5h>z^؁/߂{Gy}Vk3t=;?紓P.NO;F\axDs`Lyi;t MEaOkz7WcvIy⢬Ƶ?Վ'e?7*NܕF=Lf |VuҤ81Њa0}iF_ȭF|S2ʹ%&+j@OlܺLw-Vdfb;lDo!;ldC^$LK9 }2Z8Ǘ62xo*/mU,OLA U;&NLԶ%KuՙŊms5>y܆,Fk\k|B^L5v/ih '[)o>wTlQɸ[9$,\xr\Ѿl)(##D,P?;ǥ/a@Q*A-22 9s8Dnѹ7KdMR5H'l:#V/T4d~ű$r?PoT5|So!+\>0~e(`mf% 0r}4xcGxjH'?B.FrCSW% 5iqYQ<.,:"]$k0UK ?l?4 yÓӋc兛/o0u.*̯ Y ǘɊi1s8i(bia&D+~s똭v  +2. "OLIdCy7 \#mEAɴǰ$lN$oW3 1ڒu]lTa{M%+*<kԋbjђlFKpز1UG=;x 6BU ZNo~iφ>Z'4jQ\=BH6q ɳCncf]:/KT7@P>5= p϶msA>z_`9 ?5";M`",-D735c@S% 1.s=Vl#jluUn8O^FAwOL=9-i1 BVV _A#!-9ofۮAky[z'/COh˨ᘥUsOSjd{jb! saMcT`4(yA j 0al-P] brbݭN!~ ]ZE*Hߌ:a "Dz,Ng*. =6WMxrdG?a(KO*ZOݴG KY{ۆA ߬v?|ȝ#K0P0,b?ϐyQD8[$lOLK [yqthocuTX3A.˻ȏAxo3pJvX5bZ\]_C'h,7VZ5\L`.5FiI%7`JcBMFG!Bڋ\PGørQf\<'vXg}~jf𷀃~IPڣg/]D"OPGm+5W '9v5Kœd),2ILxǻłxq%U #bĮ{;[#gQ r ď2Quf8 d[8 J>'e5Mm8RzA{ T}N2Ĭ+bajEA{@T dpo7U{-?gh}dz'+T G~uu_5"uaHi$u ܇gPLuN `a˂곣A|~c~hixay)h?I)z4QQH[ٍSVvf'M5zg/dLJ*'qUf 5} De#&Oōta̤[O#Q>S"!az>v#)U9k'-I@XI!tCе*HS֒+НyK_g{M"҃-ДlًY#ƀT3" F.ڛ}@7CRyOPhR  {h bٱН%וndV37mA.g\7&#/ԇ0ƾʽt]c(!E),gyn b=H}^1=כ)<6JqUWŗpںP,=\/ =3m|+nA'E|Z9%׏c50RU \жr9N8܃7*X{j\Q"T־5KI!+D.ն4C~Ih:ۨ^+eDb?$QE^<{Q=m"0 U_Yuk&&R*^řy.'u(H,Hr,̕w⾦{-C' goeu%PX"熎2Gw qBxaB-aj=bfoyP_P|o]xa 0 \7X\zr,P\Ɣ͜)  &hL>sj aT W%^f|ź}o².5(hzWd!z;?~aj9rTBF$DemC̷ &H/*+U&-Ʀ4xX5oć7ީ *9htZ{>{F[(܋R<qe.܄$ 5<3>gx}~>n|X8FAg=s$ɠH!ȧ}e'wrm->] FLGN@t^_ڿps&Ⱥ"7ꈝؒ}L{'[j8z,}ۨm<9Lj 6C2zo 7P1EFF4:1y͏; ŴoҵSc* T4Ac[RH`nټS fƒe; -׵ W 2"RHUi/ C{;{mZOCcGbdz$ݤ$CR!x8cJz4`Ij(]'1JmIW71m4(?_,dm6 5kOȑX|q0B-h3a\ahnZo!phZ`bxngg]z%E(r\y x 9]** w$5<'>+Tk<+# e%BڴDy+5<|W$%Fo#@ҊRJefzE›0os< ]Ck ȹK3m.ϒI|$*ȏO.ܕ(UH^1 pC5qF(qtd6ثptp$eV|kA:&; riŤ;kD:i5\>ԫHj7Y*$"n_ae(_H Wcil #fp1FDt w͎;NPH#H$m*Ͻ9C 0#O~%RE"o噱WIAzȿbS8=N {:NkIZ.I~JRq  =x?Sɀ BFTn##`Cj9+XCY|Lm +t#@毠HE 0ZE?PF`FWzR$O bYaeS%0dÒ#,B$UpB 1(E\o.O~"%34ãPRv6a&(vS?L9 ArM-f+zIe&-$4X|M^7`]C6+D-x}D="r!WͬJ wbU<ٳX/ۅ1m;AcMJcψ 7uCWI^>/fӤeLR59 бx`_'x؃B)hIj9Od$1\C+4Iep[^ 2 AqȪ4 9WLi] dF(܉~ L. kRCb#$iW;ol]ZjTh^]U'ֿym aiwAoks=oiXP}mO ֘>f ֩G.8t2-oޏ;Nл+ (>_|aP *h*”=g]M%J{ ÝWq$JLÃ.dٻFjv>Ls^EE0Ƿcp"!F Yhl}#a!Ih+;tvZݲxTYagHSس8*$\B@H#Y=G!0f:EsXl%,)4{__Sv ^=lpA]kʬ$v"t#eشaKU׋Ez{UG#g"Ҏ$J9>Q!ayٖ5k𨤒=.T7?5m:Tb% se3~.7XP|Hgύ/Wc&Dm yBiJEnHU"9=I_G釀w82P eh(,;N&tzs[]X+y" α+eB%PF/]@8(qui^λj\ '7$eXijGlPp;}-]ݳ6x:5s6,5:D?X&۷EkY<efa@Pl&+GO¾7~-z~'?;B2e1ˊ~SOlMtWJVhvJvӜxV [b&FlP: o\c4sz=vY]󤁦FG!IcbCkCHd]ev.Uԯ@=vR~-p6Su9gEgT2ND2-#WI`o*Kb&NM>H4Hk/2+C>V"&Z*.CUʇz4:QMѓʷṄs^7/#v=aAPXC71h{9ļ;[w%̆= 6C_{(zB71Y. ] I^Y-/k&*%0m4aY#Fm$yIp|MDyU7Y[尲} &"+qRJV'VJ­}/-k#8kkf*/vHJ%Oŷݘ9v n}LnJm-^CNsۨd{o$f5Οt̋VӽsOiE/IF; )팵x\S[.&P1Fm^ 4WnvUɌ4'Lg_W>PeR͓D|zKҗ}jŒ Eij Z{o]:6Ra؊~,UMSX7 NK1OI8ݴR׼?57V^e `q04%v4ZI$>ThR݃GjыMJT-cyڔxR1쿩q@|VDi6#jGtܐ"{FۈOeʏG.;RtGzuzPageӂ,P1xɵ*J TMui0 \ $*K=,c`'79J@~V4xQ`,|ϖXsz(uߕ绵Y0[bT*1,V| hi:J~L˔ lO\m!B 82F8+P`7QK'0}btжݩ1 #{%Dq:FegVd1O&U9Bsuɨx"Ve~ A0PƼ iA Pw~Jz_?̽Eg%hXgJCc1:  2xKi<,bTKeiH*3:jfY1VITٌFij,X%tj'rlRјyc8j`7'ZN8 2`+0-X6^}ְl]^߄JmR Yoմsn'rza}M櫌!t11j%÷ֻ3gG6U{66rV![J0 )yWq.x,t fS~DxNQ/s?hA&׸]"Lmu:Vj~~3h,O)[ӂZ~Dbb_uIEu{Kg%I٤$mu `89*`eщdf]F:r#AmOg!zbdjc*7vlL]OCM򕚥BKlN'_]C߇'VjI^}.d5qHcF ego:%%=ك "c!M{|L~1PSv-ӄF(8yL% c\U@ 0b6;0>{\7qpS .PZ2ryJBfK~?ZL`A5:%Y]]2W[>x5Ђw`>.HQ}lg<1i%߬ ;WFEh1=e;yR UX]ZfRpo&¥[I,sJ.,|Q A_3NW#t7I1荡) $EqciJY;ݐ{N khHɜ dp;yC$w6bfk{ *ֱ&Ahiq4kn<7oY[Tx q1hsm0 ZW*xBvv2_OԞY.`?_ ^mj5.M{^ {ƼC=)7Abz; 8՞:\-ɺxTʴ;ԏűuPE @CPJP`6HdN3y\BL󩑷K|̖=5TWO?Do>(ÔG~gpX?1*WזIorlbq?-bf,ՋT}\92PUŘjXVN&rBl1c#r4KڒEyHۻ]2ZI߮e3W+?t41vv, xK$ VH|>}8+X uh1J갠a6#Åy&NV3'%Q eQb#xK p.>u'|b{55hVDctn)~ l{ܜ2(@4 (7 E(mPG "xo++7[[jD; pkzV\Ӆޱ8W%dz3W(=,=LhUщgv&cqܣ\m[SsziDxbA7*lMb&W>~O[# +iUb]^!M@+>rl&4*:T ܅:~A4m $vH|9  1gמi-ZtؓE["Waa4gVO% H/Qҳ# >9aB=c.䠞Qib2d8]-O‹l Q޴xUa.M"yAGw\3)xR+gNu]Og2bru+ʼ}F?wDo*2Lz8$^pԔu.P[vsB.=3t1JS!EM-LE&'JjXxty즾#Rmw[gGI zdsF "Itnz|burUr9=P YZ4鏤8jbnU!xbd,ySsQ:>WxyV\!$A}~$sϰD~8gbMfq!z #aw℡2TfMi !N:qAh l0;j˕.WrR!gMN[|NkΩ4 .us / lL$dތP]D@} z 7EsQmbt /0D)p$hh|mUN{5HY`Sdqlwq1SKh̥W=}b, U7Z1# Ghk0aٔԜcࣹ(\]!C>yI:~6pC@\s}tnڞHNIf3 ,lE9[SBa{ kM}D5ʳi_bW1QbNg6uR8΅$N8Մ܌J2@\%igN.[ dFˑ@٠PYcޔkeiхgd;)S/}#$R cN" ~)X'D*58BK=l7oh9 wD\fv oq ^`VMG%JUW = rQ^bX2EV yhMҼk\RS eo2rq=)g+q3Ma1R' /7^߬O uf:ܴPb,M ˫V͈h%߆4BfX=yh$6'}e 5(Bvx{u»WʣJﻚW2Ħ/1jL/}L{a4TшqG8\"k:ObOOAv0fyтB]޸yf\| )zVwSN&!9AT}Fh@tq?.sqih;Kcv-TbkE0C}O-2*D g.i$dF,qq~˯K3 dѭ󼼅3*@+ HD jʓ|; PSHqЃ&=qĎ}RowuB"E[ʈ/^s N4(nAv_+Id(k_qsܾM U\yF ,eU┋~L! }o߿ߋsƽ;0XBWw1/t^m6miS-xP6tgJwkp/:;t8dFQ-*|0 e!M2uf T1a[`BCBh>]5/9 bƺxx**bpIRYτ@_ѫPN^^z-QAi{:.3%\r;{Ogfb#(9Ò}e>}v1WHW8Qk@>PHE l8ߒO5+Kz~';=.ʨ u:O_ɧX}tI&Qc/usgT0$$NP}~63D=."P<8]NSΟ/Oہ%pWeJ|o5".'!G[u^TTb:sŮZyEt̷3hh?)f&Ym%+̅:7sW.B* tɼfn4~dxwGnj@@8-ЕOS_IQᓜeFHMہV!Ta`!*ntvwR<6+f4"\BWE=^4q_ S%#/*]R|АZvM۪7FE+Obkw +Y݀QAs8ENm)e5y5^;Ez'O*1;G3ZK3;Jx ~`rBtЖJO Vt~,.JhKW,˗]2Ɨxazm33=FX8KP_(AN(tzN6޵;:=`HsJ: 7;k_?GEf3:RZȳYJgPx8p0oP,uYƣi[̦ 񛸲'imzc|K_c8RK:;NhZ22/#E7qY:Ffp{!kj%Eh5~%UqX>,2waek6RxL eȢߦ}56׎ 5އk5pvt#'̼KOM*[hcՁ p@ W!*1tғ(R"(>3IBei ( |o$`ut }~Dg} wMUF}6hI1--P*tS6*EEg'&/O竧[EDm2od=[f$@‹le ?ݨCC kcyuՁ`©} ?[^=/9=q\1ɲ[ǻzy#nU{g?8D!&S_L[> αfͽX4͠x* sW$$a+Iȼ?P$,{;*Mo92N>7mƺ‰ϒSοɽ]mdsh9Ds'xg/S(qO˨S V{J$>\F ',Td*"뫆?VoCU (U CR#`]5#{DxiP% D"6r]rqK2j\fu.ꉘJl;֮0mC3"ɬ<0uQ߻*;lF,L,D·웎e!玅ĊACUZГ A70.oHRr{.QS3(/,%4漫&;{r.9@UYp6\THLiC=Bg a1T]6Bd1^fą# 1I muvOe8b-{oB߿fSKHՏԮm9DpŕN /p+ep:ŗvΆڲ `soAYꨭJ캏dD~/`^L U.M_b gXk,eX?}2ZѵNiL@ELgF8] q봜m E3`ouk}m'm~97]џ~0(-ٴcDn<)^匡4`8Y2e`Edy<J"YD; *:ʷhAhp:awGw8'Y6jL 1]"8u\f%s]T^|)j? I~'뿒+/Z'^j>bgx(c9Z cYSY݀}kb\ ,JOŒ`(x"$Յ/m{O yP (497+yZ /ϑzBsh9|G J:)$:b2a3nڹN XͽQ"4/03Nu\ 8;y >`~2V~ƀ!Bno }oN: :QR4 ÌR{  F͔pe4y]z1|S"ARogr$dXB:a˭afzT 0R¹MqSTMy!FsIk꼚#mF!35nCuS>M#[}lQ! 6zBi9 g 6`LЎD 郸 U@tGÁpoq߼<*D7Z R7?LzC L⽣_=RH-OaDcp;)/vK4^&+L@u٣Bbu56AnGZ.se%4c~_y~ZbN?O7J?q k7)Vju@*Ȣ[KzP1y.ƚB..ssF.JC"1ҧ1}7Ջ|m e~}&L8RɅjw)㵸<8Fn&5JTj&:eJ_JZyEȥB5 Bbg͹R]+X$l>Y1~r:T EI+!-#ANO=2YPa%r É#):*x[svoO5-/LW0 w9,·G9vϮך[>X ! /( depO3 yP%P7Ƶ`ґ{F&#2EfڪlG"zl`~8y^Lmڤ"cQ c'=NX5GRpJ2;\`e/Rkdޚǜ߆8U>aέ{Y5  k<'Jƾ~ƨǷU-62:kw asyNREܖږ"TR,et)iA2/Iz"V=1g6@+R++`OЙOM͸;?6cJik5)?3-FT-%C:u>7hvIe)]JZvnc ɶ[Wj)M]pcuKuZ\ZQC4BH0ݴk$9 / A0GY 03Kn 'Pkt?UH>F4.";T?.Ў;-݁ KM0}XD-/LL0v¾^z/HPKD!-oCxhJlX@*q@+fĎ;#rgr pD.{H=,U\eb$CbAH ~T@{zĖb@6!VYkeP% ?#y56viz{)hbyXSβe37,kޕM׊W{~pOitvDi<1#v :b1VAh!Ez͌8=`psg]4G(5M񻴐 w7\^m5R,/To͓OkJI D ^SkG&8eqb[KO$2>dX$m_1zYRl$ ?~bI[N.ٛtVsfk%nc@G7UKC0ѯ"Jqo̓ t}F ܑʳPVSƭh'VT:A&tk{ƴW2Cc9CjG#O!3?QaS,^FjI;p5 }fݳ@zCܕPb#kg r;fP6q.Å- *d E' UKIO=S|e/ꪓmV60, +4Zqc>&؟=H ܹcx mMD۱YJ_rj Pٰ:e{h`^Q'^ yg*Ɔ4梪Y\L߆骴`%(@CB%O1cԽ{5:jgFtQ՘uK^^lන(xXt:- ׆a8O>B^f70jr<-i\|p;w X01XJ K(a2Gn(2(XH©lզ:nlNA¥}a|lGx 49=j[u$Ñ\͕B :k-_&S{DžhEաoߨnV.;͵'{C_V">'#r>C}kNU^>ZhJ!zw"UџM3 M!cnMriFY6+ Of&rtBMʔ)rY`efs66*Zg3^HcjZXǏPl/) ͺ@pI|lt͹wY\wDWu8wZ\?ғ|}A)b0[ʁ {oT+_Y?1  n~,+.5-t@QQ4 -)^ui?:Hdz~,#œV7#X=i| MĴs%ʂ MSEv8w4ڿZ' ,?**t,9;Q6Ʌ?l)C%hdYh\ 84Iɛ=8T<>yZEf.Viqf%!1-SVl%.t]E+aU[7nIV+D|!:T$\Xh[-(UUǢi==,sL<Ċ Ӱ*><26T"9Ozm^@=1mU=&o8K$!I@9=i*ˏc"@|4.x$U#A Bzݑr.;1A B#}tyf6=oik=X~z|vΟzTi)۲Z6Fu_-'oO.80L*L V?J e<>8^J鰺~ 6Sˆ8z;AK0S_;rxwi0Ngo t0QgM!L <|FO\_Bu6ՍO+S3G w.6c}1r]%N[9zE%r{ɧXdjIi:4{jI( JաZx78d[5 |E V~"n+Q'|"^I,@V_"1©;=z  қ%p!2#qg^:HFWKym/8XGvu <ڷoUj]|ha^ߥ cWN1*K =.nipeɴ,d8BFQ,q1lU; E*BcMyNSKRg+M)?|8t]",@nFb̀[s$XUXAk's`[ҹ" j\"&[y$d%7ʅa2Wť֬R fKF,95׃wc&1Aq BBzy7MY};Eqykv9&J&O F)y:v8`*mYYil'wY5z@<l1v{c%uddl)꾜zPv"_Fr+a4ø_8v-!4؞\Z2҆, jVd֗:Fa>!koâ}c*@$I4e\uieO/I`2JÚ}YXe&bpo - 2b/N8^$7%K*qGSD;EԬ};_1 (fw'f;+ !nR#KW`Uk*szm^ɒӕ7ECh>%*eG??otAs#L6/}ƨE/E;2q=62pyŹ.]iRY%8=b%p[.5uUv519D߱H$z CG{P`?Ѵ yQ'FT,th@C.E}0Wڴr$O' `~+t 0{?fi >h:wxomg[Q#P)c}Zx{LiiX!+uHP[3{![ .Ur@yҳ{wͥ`AG՚J ToZɨу~r]gg9 kBh8;"OGm-gf>r@kU5] 3|T@>[D0zVcj$+pHmcjl gR@hv QuzޠQЇrzZ$?74{mcfk/%4L۽JW:r@,R̾U`99v,p5s\C${8a >*(t\?.2&)‘rGUƅIZ:~YcM3'w?J0esќ1koxgyQʊz?@c &[R'˩=!WAvElLPP'ԌhasnCo*̝,Y`biHI}߁ GPNC@L䏨yRA_PU}SgHO.cDlr ,,PA+:#Y=E^6~Bh!d7@};gLe,y#Ϛ$Ѯw34۸"9[##lT©{o}jd]p5̛[O|&/W.Q, [' L\KͬfXمLZSˌcPg8Y.Z;?H exx C3¯}[Õ jC`N\ EkJęzU*:mK3^p=}6aܚhJXU_%HMG'Ua;fWm4t4SGsIuQ[A\MzYA(JtCVuf;2AF77oڊq̐̋ `t