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 J5T\l ] HOL-Nominal-Examples:threads=4elapsed=423.785cpu=1538.008gc=108.880factor=3.637zXZִF! "B&]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aϐ5 x@4omFҁ7#Y9P~k&hܮ,>uΫPQ8XrΫ~ ǭgLC陎B<APG).wG{` pyԾz`hZH?j!Bܮt$yk4KmgIlo)֫m!Kv `a8m~Nh8A"oe=+He)=F'Y P;!jkgn\ 5 HOL-Nominal-Examples  G| D5}ؐLIVi:u#Qpq"xfB6iRvpW&g3Oѵ}p8K:_S~%c-2Jd >#Ș1PKP;$̐8BMW}\hMsl 4V![H1uC:##Eб<ŕ sص.QR`#6#C5RY .4He8t-]fU Umb=FeHMԥ>L.ֻcwZC}ZrW"{~ +:F>B*eeM*#!^~,<;}ɣ+pFPi3 Y%1' VsE۳?T~S]Hr P#Q!B[@Y xLTcX0 noXA䰡s1MT)(mYD!3<5 `X\}`(9 HAʵd]).#KYBBdVhxwS*ayEk;)ӞOṒf[F cQ@QK XX'>Bjc)*4dwlRwYB 7& xD|?C3Ѧ鸹 ܤ+׫oSB׼am*Y=1!ބ~0Ϳx(][R<Rm"U>##KȠڔmәx.e,D 2 Ӌ^a$q "" FDUszK\)W䭚z20v2}Z|ݲ*, {~aMB)'wiq3,(TS;q=3GRzQ{ 7Džd7V=g Ei(1 +4Jhc>X:5Ģwyh2>}:6) T2i0ME+mFó_+ Iͫ:~V0 '$%V>,)>xP";åA%y۳̓h:#?0}/z$8QwǥKe礥IWbo^_ll@| c*<<ˣA•YEP͈}!m.ꗔ ڷƙv[֯ sҺ*7 )fCf-g@31*ƹIT| 3-:^hC0h|+B L5)YOjƄB#w42tɑ[H2x*WgIhrjgH: zç)xK`/ns$u# i <5C5ruONHΈڛ䆼Ee lAlXL$Dj eU܎"B=},f=e2ɦR'{qwg%IMAe<$QEŬm=Y`5mRK |pDs28 h"1( zs-|#j,|,nɉ${<ubJ|Ҳ:xaw2O^҈&R8lP#/v-$;(T*˶8Z |qSOeUyY@k5|5$KXSNwhɫ7׾'2_iĿ7N[g@(܈\HG:L8Lƣ/0:/$#Y8QYTmӋDj= x8S}PjZVn ލO#'8 RQ_m΋Um j cNe,/1 {)&]IOSűЈ["*,%eHxLwSBI3%P0?+6kwHlC;\6xz}9?xbƒ|XqRCiw+Ch=1-'Et^,ƼKz#ѿa~Uq!: g2k95WA;AJP@LQA# i}Z3L6W*_ɟᅢwZjJkXvOayKLҲ,QsJH+&OyqODeQgx (",=̷U,Q(11Ѣo[e-:MVpKPU=n+)gn$؞]5z 3zck0exZ|y6o$x\#YGom4wUa"W=C+ ;TI0.jFJE6*ɾƭaֺBl5BdE&7.jI379bԇmKj֨]rEg t ^([eg(۫Ms,"?ӼKp!ߓcs+ŗq/ߔցi8~4 >A%*UT.Djs>w?/?z]==L'Iq OCP82 ANuƢ2,*]Ula$CY͜ wDƸqW lw>~<(_ϥ@'|Q+&G&v\Bˡ%_; ;=|SlHh;3bMD{.BN"䊘LoH+w:O)Ȋ1xpc/̏ke|<: T M^̥Ү`|I!7^g=\pZJ8ٜ#HheM] hͬ@thѷy΢ɺDTba8a2W 4>z:ERC{"޿RWMgB=[L,[PRHP1hEЈ6'U k`J,0 D> n I'~:uxgk9Q:"A;lt8R9b`*~'ȅ_Nm-[J;ɧmD ZfY{9117սqXTKdw\Aw${MW7O#*"A ]lFWfG5)4ʽڏfJۯd  BsfaImþXas>Y+T' Ϣ9w8A<*6[ Yq *&O&]2jfMeWuTh dH9n(Dtk͞EU64vHz>U㘞y-IQŧ/m\X% Vt ] w]|DnzdWO}\Ϯna]e=X}J8e|S $MaI$Xe<=Y;jSuRΞm;$GȇנPi ^% {j La.T+ Xd9% WVJ3Bxfɹw!9y4p],mQ ztq(O'y2=ӌ \v>ч$s#?mtRoͳH_necA#+v(ɋ<(kTjh,[0K|)Cӝr`dm3U5ۄI3ǥrٶJr9x8 E<44*F _]F_r)Dz5t(nFѴ̝F1.o1tոG]o*=09qTwMw%h4'(ȗ Y;\[UmZgC[0\PnUv si voXjoߣzjAW1*նSsԋf#j: ^vQjd+EtbQ@m4NCM3)B{?l0714$ia|T/>j83Z|V|)RXNT.OWz{ A"ȜK==md)x}-pKKא kY%~EՉvXt`;_vL-z|n=YF{;tlRrRIL9?1{P$[63*?>8 ٩ PlvOݚ` ybzt`\UDVD!{j[/qͻWa,̵p jrPIF2f vUnXza/7O'0wM{jY' gWz8rE(;/xxrzZ+ Ì(,%5HwkU@*=>psH-Q pLP؎c A :@X5224'ǼՑ]/95tڠܦ(*w.YԏQ6z-l.u Bs>HvoZ(0tlfdi:(UM,> . l(9LkaP=NlyY9 UW>Ҡ`avt̖pJ$pj6wAAbpWu+N\x+:YGEZfڏftbA"#gCT? ^R&taQ0C$VY^WA_4obSLh>z2dbuA?S|3 x~4LmQ:Q&Xf) QьiO7iߵZt*/KX 83]Ϣ0LHzDٖ< 15P揆])kOY{,K94R*-ŜA}^[lF+ꂈ0߭Miٕ6UN& E:?FڱGs?ʵh:%}E~?Ё"2Ԩ䨦D)tѴ]`*i>l0^# >Jc/$h24_)qPo11{9I~Y|^p[4-?P\$j.RPk{{J@ldA%H^!+i'G- N9xW v:˛_P7,mgEcM;(ՋF,~񩯭/^Ԇ@2bPz]#\ G?bۆ5c~&_, o?[D򄬒NuprQmr5:iXĠY# PK{?h_rt٨DKmcY5i! C@c&b!hG \4 )Nu29\ם6RbC)˫d{݉$)?Q̷XD lUZ:kّkrC u iƝ*aM:{<8 d)U1tEcVhjDVTl5B̞Br!_j>O6%U $uG=D1Ȓy]owǬ1+x`\2H\+Mv~uHMaXgrJ+ FLK i ZS9/"q`ѴBY&Uj7 A"OZO5%%4A/@Ji5U?:KƍC02i D(J7<$;S5:{0VKB3Tv7R&ȩ{TG2 zaB :TgN+0u 7jK#{ ;+y6BfH^I~6wb&II!;MW[.wὊp~+?]wê _Anġ^ 9m| K B*dԧ8 oߎ594I^Q#]h~;VC](bp5.+Z6SBtqR[i_ʀ]Gdr4+|L pnر=ז#&+W}(pwo f5 9aP*e4[7vؒHss:d ^ jڻafkyX{\-hVPgA *irϏsZd\zzLķ{{?W^"yU?>8+/c9T&۩ڊI0x*zdά T[l;AiǺý8F&( չѽ" o. n_tK21}OJWFt$#mMd)Yhf(BخLؼ貳Яw;'eZc#lNSr/uK>Ei]cB!z1 a $7]z֝P#cĆ΄>fE*q?bXfS붢QCf$sK4CE-VVǤ7mh)qmjL&C`1WBΕ&_FB CEUn5GԿDնuߊrK brr@?3S MކV,u%Qȳ.F GtyIRvܓ6"&4iBGSiWc^cQayy .{8\9Y3e9?8x'Ȑ3;UwmP} 9JD,Ø(K@Pħ~#tMgYZ7zXZִF! v']ŗXiɟ1ʹ l93攀Lx3 aXLs7ې Ƥbe%iId7JVz>G Ķ7Ai+;kw,D5oB,jy\+ŭLY,[aFY , ĪCL{sv*UЧ5^4 ҙ(Em6"IY):itg>G15H nD X)+mkHҩ/ -ExihJ1<~R}i3y!ɶ:it dc4tz -TA@< S|-#.F:\&\dbft-̅>2(-kxZbemwY]\(s̸krc Cۂfsrf/괶 AyV+L{s"M|Wf'*UnWwoU*וv)x!f4+nIisǃ1(#%ُ{I>n?*te\^gYZ7zXZִF! vn]ŗXi%L /GMJ8;ޗ (*#"cbV,ԕ:4Y%B} PQoMP-g,n2M;4EKF,pd!"ðX j`C LxYyUnp[.7/rs{G AGÀj5@-mnMa66FBK(z2K/-= Ȝ#9e-٠9Z&[v]l6[B-m!0ך?a͗FX6YNVg@X63h}<š"G7ї5Z\ Wۥ R8|8qK]_|n Q$]czLgajeBeL _ ^1 򒿻vz'Ke1$Y)0_0 $1}h_.D #k"#9^^.;f8p[fqЂ}%c%AR6\B`iV#͏:6V aZU|qɝXicAz|;P 8Ɠ A>\o ̊ a27ܦn30`y#ݹն|{m3\@ +]".-/F XۄݯBlwC^'{y`rK'#]+fh.薫UTFZK/#¼q @,Sb(g>ҼH[IJt'k7F,gzԥ7L#_ۙ~:C"߼s\yVQL"~!Nu32V=#r>pn폼mM]غisb3&'grLlje٤;E-9F!]Ҏ+_]u3.?tWӿpNtF ޕ &x$$bBܵET;c[6O'](T2š1cb'=4b _ٱ~wŜ)[nmZpyg+zU+H@̀5u A 8 Sb,^͉[I볲=,L!ĬY7m:v$8RHɽ)O'|>EM>s!RVCI L*rZ"#|mSl]s47,aI,4꫊d7]"C/9GY ʪ9_;\.|[pi\bOBh52$\SRj2pfM nUBxjb$hOF3Gp?Ɉ)ּ qGq7mz"af,2UtV>8!R+EBkgCg1{2SAqq|GJv˦E NV! n#4.d$mc <( jo.I *Y1{f]J3ʩǗ:<>8oM> e [% e-k:rKr?'3A/[s5[-Oj5 92_H.U;h.b0GQIf#M{̆$#‹jC֢nqmOo ppUKh]=lLtlΘEn]OCjlX;=1"'=|4nT&7U¡SvDrB-hXxaDFFb膬;+cduafg2mYW%r%ea^!HrfeNv, &~)eL)'ƋN G=|CVP?/އ쀦e9'PaGKmIvȚYCčY.h vaOþn|O+WOh l4OyW峼:23m!~6`AvCHoPk`l /q/l.x1 UNd`& jA{Y8(Ý!{BydIi ) 8;#RxHC!3\uVcMNۙ Zq۶f>b l+I^I&'laFkrѪ̸W$U8O)/)xKV*$S0+aQ1X 3dCzI _:`:kn ` M ﮿e~zuK>! !=3ԋ~m#lNJ-zN? |dQGT(91|9. ?Qj\8aknzp-e`$HL|6q-O$BML;r/jx/,^nX\2xmRZGe&2^W귥նvF9qTx~b(*^ TWrGjAN rH'J$kRJm-XTۚk|m}ѱ/Us.zS YTi$ße"=PV#գ܍ ۝,jo?BV UeNZElRU.v]p(p]nsiI?zZ2ξ1G3s˸׭€wiD)%/Fc*׏^\-mf8U{ok**]h|y̸dڹzR$!&`\GkBa*Y9ÿ$ 3$#%kG?31rM8ׄ)zH6r0KwlFiuvcM>6Tb \7anZj; ~PpC/Q47q8ן.)oGMyD`C6m`ѢmAF"Y {(1nr:䛲̛ P:_A8MY:\!7#c;E!ah,ݩ = }7bLr2d饉}$]KF!?е>U/ħ9`!xWH ^cjA`ک8[ ŽfSbR +;qPR2r"S'lyfm3ea.ly.?J"ŭn~ϏQmsJs OWqq;ī:"#t Ý`{[?XGm鳏uigܤm›C.7lXDyB"4r3Q;a /ve<N1KG:D+12;6g0h*'s#Ĺ-LW3 O.3ᬙ Ex,Ng|Z#' 2q."FmhŅz0f׊XH̘,P2K04ds7 }Ʌ4"oAaBu,<Rl/>M }&|tFeXb2@R}F6xe>FA;`Ztڦf9RoUE@1 (=ol;֩C<|;I >Im{AŬI0H!Qn'/Wea;:uGg0pR^~@,U>K%ba4֩E7[# ߝ~U8!IRacI/N>*QZ̺EV4n)q hK*(,<9 HEyNhe(+~5$\(ZD]*eۑ<%-O%\!hs8] L3 N%["QliY hy9GXYK* )tD®A&%l l+ޔ %_>Il)RD/N1)\ƙk4gL ⺣+c;lX BsHfzOX:<) 0c}54Z_D?dԬJ'+~q)[."8e3fQ#D樤FUAFL2ޗXIqܓ-*_:#V b8Q~f;ҿƗY%`]khz~U!xR2-P~ON1:?;:x^>-p$x>5<͊\q"?KVY7?.;]#e;˧ ~Ǿ bg 0BmNoEh9,^+7,lhFAJff wdŵA-Q7W 8I3wBI>rzl=vl?tDke\4aL) }ֳnFzf ?(޷V UMfK.j[9yhe-!qh8 hZu3OG]["DpXKxcԨi(}gp-oNڣm޽IP_$61/iȪ( UZ4$oCN&L_WU4%ǫr <^U :N: ʻpf 1D^~V̱exk:B:8՜xDA]CSQ #Mѥv6 ByJ"2!sX#w3)=zr? ]^`2R.ſ*^ ,Fɰ{ C\S*iϴ7ݎfN%"i}{Ly[?_r@hy BZY}nZtGПSsC=r0|/ 1~Xŗ%jk{8ョ;5%!V賅 @Q@(-8FEb66Y4SS$02-G@ 5:y@S?r\Ruu\PAc &miiP%V'2K._z@)m^ucb\@0@s|M\+!ͻʉ: ;t*$# `\EMҡoM#ÈOo!ƬFđ A *g,uGc0Bػ͠3}bZe{tpVS {!L~oTtyecɬݻh#E3^']"%xV, ,আcN ACs ok(󭍩Ec{o9J:0,=&bW5Qsv"*tUDx<2x 1U:5VGeD7jLo)ABTuЄ.ch~z+0VJJ`@9AT9 YUŬmzM TZ>Kcŷsl $G'OHX (\]eg7 >f82AqAcWxvmxӳ vEӥ6yІ+úM ʏ *ä^$\]d~ `%Rͅ6|l+q?`g&@c,;Ig.^g&&7qAžF"[%8e/c5`_f]|O qD:7eғ y2[P(;4>R`~xX#PRSOy-mpps\5pAVhͤ Ml(O"ʍ2)=s.h>:r)0xմG)#yFc7gׁez4]'՘*)IYȨ"!BN#%%9;r?^l7]P{ `Z೾[1!xG>0?u`ܨ`\o)0 b|78vzP\["Uq[mkz(n)[j[;uUw4 i )ЫjةC3p;VuX@vE(?4Be<;BH{QXbީ]^&vz偔q!SKqT7D] bx=H&UYlJ>R!Tlqy:mҬ$3q.mgl^ I[|  \'5o})X[.6G'.&T1Z ֲ(lؿ*moLa| 8 _l`k(sST)%V_0FOk8뾹S8U/] o\3q6ffT RbfrMЏjF3{PLt!Ts$!I ٻm,c+A0UI#^y,v P61>k)M>H۪K>w\^0 3b8[@,I+W!J.]HO a3G&?F7ȃG*T3gwd?بb o<+>Ea&SVW_W mgyoydr-C Qox Mv[n/ 4Fyp $ϐJt~( 86jJNef KLaF4k+exWN|`;wO=N-:'~UvK^" qԖSJڅ(u/[2e8$<:59ugH+;:/::H%>4߼H6:r%X',.(+ZԄ kc28]bsWOyOYx ?AutGW~)#$j-`/z=`4^7,:;k#lTU{I|&/?f!aOFqxnke !+:v9a4tp5zCPWqꗦI=.~{{ $Nf4 ukEƧr;Yd{E[tɔwײԠc:qXKN") FZ6/j 7Tk7!NemLA)CHi .umO_rѯjM6}@#,FכfH\\?2b/t }K[n{ Q|mĥhh:.@!:e]W +ilz[Ic^j36  ܼ,Y5?*Q݊D\t_DIn{b< YXԾ56I`gMSJ@W0 >BJp"L|pNMԺY,GKGmEhIz xJ3&y:-) 1Ji̱tD+'*X&&d/?+`}<TmqT ]Q?^W튟-'UMrv"=h.:J&j8wnzcb4i&Ky#{q`&HgQ{NH}uv5|eەjZL:lj ِ+J5HWuzegJXx G84ww,SYTfNjS ֛sUu;b?0$_9<^&Z$eE' ԮE } tc"s,uY@qBzOS( kζX ,^g7GWStN;K):x{^k lP?>Hb Rnf:cc?AݳEm>vhئu-NZ`ub>Y77Ȟq9/Pf_zgqXjӺbZ][H{A|0'u[tTwB|B_/Xu6CF ibdž֬**Xfb_c6ZϓEBq0Dw,Z~4#ƢS"pz';kF2>:wGl33r dLy9%TwS \ ԀaыGj Q, |M!VwS$ו0*;H2E/ASmdЯw+O0>0F5&O8֜7#  Oc!J:2B\޴3V&^ L.)(SkhuM0{zuz^}jGȫ!Er(RѴ"UKwww '?O~ 13Y&]!(쵻#*PI o5l陿Xw`Ft;An/ҩ=i4aq` cHG0ٔTky1qĘ(wIi7;Ԝ6&#yav.a%,nx,26IJ9W ƖWH6  ,$!%(j{rЊY_/}X{t6ݸ{Y,> ߭!2?(}or e#s߄[ 4&m^JC-2(HDIS8eF>שdniȏH mrGEafw|_ Vma+[^ X`i {gvÏnl8GfVYP"6NM A a p!yS+qNdekZL=XTt1\{8 zƕw?Dkm2H Ѻ|Q*b=.G~mQ͜@7TUILK/F$$~L`"um DH rZ⿜3#'\fgqH9^wÒs{L@a8b__E Z=|_'Jx.?(Lr+0tD&#ȃ$Z} -}4cWƕAkfqHXOuFu#F6Fnrvl}Mcb a74j ~QQ @*FzNՂ0"bZF8X`tM`,ݬeMJ@|]c*nd //%tȰџ2Wٗ ˊOI-:;;TZ*=&W=$Bf^W뀸QюLpM?Z W 8ýGsoUd^ U=wrq8k:ġ-hx$8+\GƜuluD`y2O!gs% /L`azˏ#] ym>n'A?5];mq_ݷlDž2;ܢOOHũ&kޟ hqc| yoߔW{n ֥ "a8j(NS̡>3p6B>[E;qYv"BOH/x}hMOz9kw7ިzJe4h/Ud2s=`eQp%'%FO\Uˮ #Aޚ{Ə7f/:7FU .x##?ˢ=8dYcE]I p ޚQ\\_JkaՇUJP|'53[wp"{\ך2l &!eҕg J 8]^8jŁSZih \3a~; 0is܋c~a#4;_-XWĒc5W5C"W-m(Bq2<9mv~\"poҚ Z^.\+C^g$*X~@/"TOF&;Ӳ\ϥ+Y쨂Ƃ d}RṔ.dAnUxar]tQҧ ]Ρp3uޯ'F=/as-zݯ 0l/[uqشH/} "eSuÓ H/A9R`e(=!NvaiP&B $ur@DÝ3:C:%4sf^Ei962, HJi|hiٮ¢N| G $%"R>i,}L})b$`‹SmSNʐ4އzfݯkg&#vUs*;)ipdy4\硔OhP(~7>%QZǥRAF]lr5BfzѰ^N"F-2Џ4Bi꼣e:+5 .' S*bҧbN<6V+̋@ 8|p)ڌ@fʷWl~'nzp8\gR{jr#C.ziK$~{ݔ#AQ!(t \Sʷ*5Drh-MPV&\33P<{v%{=\&0!-HFNE[Awό_R5l~@?+1we]VP\jj QPk`~IӦ0RY*۶unRk0Q.dhy 6MU Nh+*Tە1 NQ|HȊ?$ $.un~o/!(kw8ӭ/vBT5uq7 I~OcTTܦoV ѯOdHEp!8OK)(e0Q &0㲝ܘYp.g}=6RZ!}V*23zWL܎bG#(^Lz;\!.}t ݲ473Y@{kG*|/5GV;ކR|lyHev/%&a" nJ1eÉy1:E. @0g<VT+mmJvGm_v@w3[Ze]>Xg5EP[fFfnխZ=9v ^`NO0(<gg ͦ;[&0VBtHM1U+p6U0=O9jsLl$mⱊfX]SKE(q }\=Hز<2b3ްS^=+9rJLaK_@Đ he#/ N(3NI2$8Rml%WY .9G}G\biێmA Lnzw7J|Ӕt q'|Bf S䡵iՉyGsENde9#RIPLhn:DnK]wS{+:TZ)\!ǚRйP*K[4{ 0ں,NFnxtVzyө?CC`z٘hDf`fxZh4C  !]ɷ-+~olB\칽iؘb9gK9WL敒[UXKPH%D5 :ov=1緆yy(kz[?:ݸ]8}y;yZ.$U3@ ?ܪ#?XdE.OPF}a'Ā1~*3t nC&F/׉6/\20"<;G*dj ; \7[&63Ъt^Q`rQ3ܩѦc. )PAr zA]{mv8B?WVOdO.񂿿%  tdeuY@gAB+ѱx? !b#Y0M\4'1RC^E  -\G"zƺ49gf[e^܎Z<C$.OePvc x.DeCfaP8ď %\cUbVy2L% 4rpiz G0q!Z3bBA\sġoXGEucċ*!0rAp^"srĮ֤@F0 XrFԀ^. )O+JUϧ 3藭3XNKyEFkm 9c0D\\شF$rA-dg嶩}N>,`MJC AF#Igz5 v~IHj4HؖpQzԫkG" R L, u/6f yczpGZ#Jp_̣'hF\I<35x0>p2C/h嶘 3sKba4ҵ}ܠ56U\X^cܠ6Bs*INW.`uQ̽4Phxzgz;:hU*__LP h]C@/ u2D6^mBF?G~aՒ._?0@DNz X\6͂ô:CJm9 ' \H&aoHh-ߙbcVd&3p[dV񊜡LtDM<5wK1-Z `V6J)|A\ єG P^oinYVA)MN Q'5肱d:%Z#%KaJLVLIY-IS9&zɭ)- 6ыzNW׿, T8 &xM괻>QsoU!jx_:Fzl2IQ͟a;@xP˘CwCu}h)Ty9P/[`uG8i~|^ݫԢh}-2gh?2:d&+a?\t<` AxKf܃%EY" ݏVŋ7*摵B>kآGj3CMAJ`w:a+ps`=Bӧ @j-gGN6/gҁ;M~7_R5t'6t 6LyT5P 8)Vџ" qNS{JΰKc`lsm韁f|V>H%({/Sw_}>v(wedy&G7vUwY x[.H $5Zz9McS߿AVL(_{|I MFRD&{"Pi-593K7ӣ4}z.RaJG|CᎰu -4g li_:=!QEaDF/V$tl2gG~Wk9 mIpϩL,S4(g/GY@̯&MͿ7_L* 0~-̠)Bd7 i-%lb5~EѩkN \"tLkKw==V(Uǝ/:vK*[cIOm0}dղqzgh"GݼDe8w/)g-%cbS6 z'v\b1EDjfa76 s[++?D)QI*ߕXIJr71 7* Mdj5-P}m[x{[$}N?mfsA )=;Ry!/Ji"_$K{Û3G%ϲRG@Za1N_Չ#+0V{魥_vE/=,P2ynYHΜ%[OÑ +/,Yx=%$6=B@mqHQKSOQh[|ElKb; s_w$Kp޶jXƌuui!#Kf 9Fy8r)q|#?yv,ZH)gۂrT^h5yړ=S4y#fɵTf g`HrA ;=r·*;|ľJs5[3S3pHdԔgn74GxƜ\wNkUe>ʮ?~N7<97ŅJ?r-Nw\w5_ď5OymmqZ' peQ(yo`㵗>R=T,-6xv/inm` )0[y^98iAiP9Fm*Ow/2L`]3iKa[CO  ku?01qN2_QNJ%z<* 078t`bQhR/ý ⠜aB-ci*w45 rE\68t>t=+Twr- C[39EK`MEpº&H>r 6@DڧܡST4ň|Rs:,AD756b9*Pw1 W pثC5#VPt[2FdM I]WZZ?ORVeݪdⒽ P,Rp鶤d t tu:2d eb0 }X! GBg[cT2 QXΚ(j̚ MN\׏ّ&zV:7%^k6~jfb ,d_%_d&KR, +d+d':E%3 /\E!;vZ<=5 0;Fl t KIaj}IuEfb3j,}E-Q@4_5PZ_ Z? ™Z0U ']-=E([$GqE?t(% GρG8u:mKRq Lץ̡=zBNpqU#BжLoTkD EDW +NY6}}|1@D?ԃ8Af>+`~'NWP5fohyhuoG$ $c$ՠK 8hI&LEيegJD+)I L4nXuF۶K)l<Ajb{0V &7upa]IBSnoqhQYY:8TQg 纗5K2 S!EG3}[V; y&hgu$as ?^'M yG_ d=5iD*HL&tx`31$QB9w-FUO#v:`;]s0{i hG;FDuXnz$F|Ju nm4֧USTɶ˞# vYS] W&Jv3 5Z?EtxrP`Ɣ3եڸ!ܺ Wp&Dx] (a$ftc! sM`_)AYʈakisd[`#jS˫DArb&d/lX¼W`ؒ߁{~DdSn~ -l̠l?o_xC1:A@vtI =~48Qhr_@P<Dl]4E)`Y{Tt8p]jНX沰iH,YUIp,alZ^u|j/C'0z#N6U/(#TuZ!uA\ôuuIzE7A}rZRk3{^@z?S[I=ֲ" fF>idC%xͤ,U!T%knZ|G}{\!JIޯy$ܵh? շQd (z͡ls@)A] 7yGLwZ[SS[ vxJk~}ʐzt+G#F>:so@ڢJ\Mz,4Y ?yڷ8)'ZW=m $s#OГsC#`[(߳;=V8a?6ne&p'eۅMa- S[bCG|g d]V~ip ʒsArwhQɐ6|qJs#ǯk='4I5P6$VbEET[{yX@d9|0&a,!XvMe<[ep:|JCuk1>uyEOq-?j,hAVn]ȏ̖=rRZ*6G(MO3@KӉVد x\dVqH؝Z`;nikoj1tk! `GPٔ*;UnHFCi5;F%{ta~gaӚ)\E&-K]^<T<;!\t Iq ipp`wEs1Y}(9[5E/:B~qdלB:gPQ(h^{)ڵ-U7&̎6#>.~Yڏ_<]~rowQQ&dfY*MZd:2m| VQE ;m. a{go)h?NM؉>d0n.D[ ezMK1F׆Jm YςVW1 rizk'd`O05}z ğ\ln M̩ ISSlvS .SaSѳgȷYg51#IcyzL:tdoK ,W~@[Zµ@ NkИ3[S'Vd7WH S7VaqV&>af++ B,Uk$*-tJj*j4 \Kz6˫z0 WyiC'Pg)o, -_xV_RqVͭ$ZQ,ߪ>jXAVKDU/ߢm6:ɯQO\5zg !]1, /cyi9N7ǕfeͫrȈV+sk5rI˦6օw|oߪcbc.:rzx9=.4`փC} ?w5Etvn7lM]Q,1 SM0`SOGj TRVڦQqɨ#w6éS y֩c+ϥ=ٗ'au*¹PX?}ݢ>tGs YrOayBS^s J}r_&!ȝ`%LhT%_*z4Fmb]o׶M0P_z< 6~yr̝̂lTy@"%n@Q& אP:Lkel?cEw7O>A?6 &ˡ+} { FP\|UbH2i;!ݲ=KC^sM)1,-50&^>EmʐfcM@Y^et |9)J. AT=f,2ھZp))dFÈ[ jBzѬ?pLfmғЦZ*aqZq}yEZC dPD귿=SXtoi+^C]G\m#4q6մYe"P'F 4x4:Q(+h/L8p\jwL(/;+k, $ ?􃚚|dr`Hzs406~<$R8P.~=_+d.z[Y4\ի1F 8}Zc;е9rFeïp@x^W!mGN mbi?9Yş8X5aT98kPV{2|# DDܕ-!""_]2sKNم^EJ e?;SdЙ3܂,}Ѣ]fȆ4_+EI's+gc6zJ (1jr _OGwy[0n؊p3Lj/kf1DVg+F1Tϓ6MZua0>I>߈r>( mcJAm|&E '%ŕ29eKbH&MӶ(ҳWM8_ 6CD;t~C$!'('gi5SjZ_ie#lP7z >NK|EnZG;7OM#uGoK֗Rb$PbkԈ{GD7F,$ZA!0Z *ܮKeM,I" S]AOh+;>L0lq.?mڄY׻O^8m `omkaźԦF׶o+i)!-{I+ν,81v"7knc=`K!lN3)Qt+:?Ɯ&MWiCC*9s|a+tUB\U2^six)*׮Jl}EX-#ol[C?^V 94Rno'3/zDD06@|-M຿ -X(ay,vվׅAe~̧=||@gK^kޛV}!h4HƖ^P tMy/-"b>mndy+%0.j`*7BN~#i iTo(d E#QsXq N0MyFqXsiyy5$Μae@Ƌy{m$gvsYG0fܜR>x{eѢP23[&'Jl::CE}XwinǾj"F;NI7h{˧[A^{;eSw?8$_#r"$`(h l&]sB-JQϬCk 5dEW4gxw@1[;-+X:",5gKy ON~X=*svk/?3KV@[Dkx,nS1{wL9 F0Y&l?-w*lE+Qmfı!9<͋./;rW^h U;Erd3h\a:5B+nݘ=GRnVCJJ^7 'Ik{<`6K>>+t⎋P>1S ABA(ByEWWm t]'֯S(]ێpPր!=SqQwe_OS]02}*/MK tHZ.i]=Y7t#e䙈\"iDSD*a ,Na]V3\EPfm%E6˾>lKXZ }E224ُDFWIVI0hjVs "9vܬRNjr:6!|^E%Uw45dV&^?{]N85znq3 ?Sg<'NOtr a\̉-NF6 ͭi$oょ|k&QⲲ֞Fbϗ9:"jLzw8r"g3I۰GgJt5m]m3*W%$'Y2Lv#{71-`= 6MC(LN ySpo/ՔkDvԽE|xTB +p,Dem<ˀ_i s/}ƌ :mnrJ4r z(]Poж?ޓVBVE@و:Fo"5C5&w|jq/mт>xH!:lWo`||蠺 ~{s ߖPrͩr#c4_9l}*Flc%l]MNG>_rȬa'/(vfL%.=Kt\qP;,;6l4J1Kҟ!%?T9]s ߡ5,Alr>0>ɌMB ]aOjv4>y e9@IJqEeYj4(vVIP`K\%XGm:A$zC;qJCF˝٨YTKM9nfU0ptqܘŎ%G8uلެ`R_pqYztJNZOۆ+c\JG7bƍ5͜Tg-@4 1,wZ]wsţ}#FU+f?~QSp"Lmr"Uze)J pup`ޅ`5HSPЉ/tnUUV`M%[q bvEҝAd?UX IOGR!LUf4Q@+e. dE%Y=41ڈ<7_ E H|ɔQc.I@u/)1Ӛ IH0g"qOj$CND*lyX0(,H-u웲rM`#~vXDF@XQ"Jq*sd P="gvO+[はL6-`eydE^Mq8ioTp O Ҳ\H,9~Kc̺eCՍ!d{0ňlz EC Q#4&0rE[=o7'8@_)5Yk5t9+F Ox΋Gd=pܮxت &j.mXkamyU# ﵓC^?9`V»Ĭf0Nl32=,<.?:KՈ@*[ d9wZzbC] <7`+c1qlq% tbQʼnmfi隯Ʈ2biz9˩cr|`Q} N@=dev *ʫ ws rؓqpՁSB3 ˕%A%9IطC9Dq?d9}hbnSn `` |`|Rxն^=A}x lM\gMՙiC#=gYZ7a525f9df1b69ff0b2205ea6c652ba76599bb962d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ae16c42f25525f219fabbb5d5cae55faa53fddd0