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   =1tt| ]% HOL-Decision_Procs:threads=4elapsed=548.242cpu=1871.204gc=180.344factor=3.417zXZִF! z3]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˲k`7@tWIo *D5b+w_ZyWC<(/q+8=k`'UdFm0kKt5-V*r(4հB<םq%84Rw @;nS>x:7&1.+g;P ~h+:4JsjL&>&) =Tk( ۨ muC/+d5*厼4eǵ̅L#%l$jE^9QZttb~Q\#$A|j 0頢-U-ӒlY~ī]϶Wf\u/e2vTCM_9'r/3AZ[q2 mdyaM:n~{π ?iJo qen-1`&j<+EP `V0|lu'y>Ȉ؆5EgXUuIoHY㻝" |NҲq=wrAYbi] b &E )^ `c}Mkz7g|Q,w-Q1$lCMVr|},vJ-fgvl4Mt7b(]'9UQjzplnQ{xuюQLj%&M]4q*m&!i-"feʿѿapkuJJI d2O/N#SKNԿ/૧~HPP)neK˘}UPISyƯ"% x34_g?Bx{TtpHr#]y'6p ?w֎`ϜRY!.,vRznXg=l }"y}-@ݙ`dLI]݄(Uj2] F 8B2%W&ɻپ&DZqUN(.̇`qV  cgnmp,Jn ,@/EP=lbj;a3^e־ǯaqf~ fbTRn5~Y8ϧ6Ѱ%u V3q .YKO-0g'ȟ[65XH{V>ז3lpK* |c@vc^-!\  ^*EiQ!@xnB-ַ[*qL.\@nk9#ף^Miܜ˓?qv HE4^_ΣJ8!DɬR9Cx.|+&`iYElߴh}xG9-yE4U~dQ oa Wy^gJ@'[a.}qڀ ڈDB-$8m~dDAkziGdEU e!"8 ԓo- nֺf<~Ęo Z;F̴'ִR׏D13JyP9qZlpu8ןwYDK ! V]{)MLICP%Y8S2, W,AEG߻(5 bROTmHԳp&;x}L]Yv3U|јWHԽ(fitWYG S*7.2S*I+xa H84C4Ns+36=7^_p|P r \]kye!Տ_/ *pV9j|QTdG@x. 7UyP$|Umv$0%zS> O:Og#S ѭ 9bO?dOy uPyP j?5(.\ވXJ[pM(MxH";`'P2?!GTY*]064?>થFM]tH^w*/lF_VX4+ETGMwRQiY=5mXoU5@}gXV!njmxd-<0k$E#-u&<>[]h4Ņu!(qAzR?ە7'.ɤFXZ}+:]pc aY *18q'WF+!6M^X-= e(b!4뭮z$IWb3yUtCȿ@ZKJf+kNúyM4cWF]kj+C(Ym,h2…,.O>lw({# 4E{fL!S`1<뭩J!O*mKf qarV`ZF aI2Ԭ) C%}l ٸP@v_u+w˝k@&{CV|Yi__-;D/pkfl*x\N"NOʺPu"[XuVR2*ĕRV_>?>`HdE7se4|z %o5~wsSHMB:^V=\ד[3!"c}U l>qjр)edϢRQZQ ,/{ ʼ2!>5 N9K={6`8]u9n'RR=ف7苙8w S<#fGSr0dtM3PK5_FyD^$ܪa3wà j\+RC[ESjP h7 ˀyg[閦ongNL:{gCce^ADgr眤lwZ;K,y)PZ9 }j@FNJu.묡^35][*팡(7THm 'ŽHn8쉝3I^e L0VpT4>Awzi>s%z!hFΰ+̝oh8 :W5F3Q-53#i:!ǥoB]yű 1`}t{ߧ kZX*=W#J%FD)5J$x{,yuC%{~\Xlc0 hZQ4FjeN6:\>$f\$~W>U(c"tEj8_ʍA"x&(U9oCj1P? `hHbUD=AK$(aBƤfCQgoe_`~jmڷ&}ׯ9g=2D,.y"_x]' "oUx\ G+gbi.CvsƓF޵2Y'E:12`?m? cciADda~ϝO'#&P~4%FRp6T=Ǿ Ӊ<7.xcYoYV ͧC ?aL4+ I-I~0WŴqL 8}'m"ErTߓ˅ jZ!t37y?MZvU!Kƭ1۲UX 5%2` {誑;Y20Xcc R}XMl4]LJ׭8#7ף+#שy*ʸ H3G;:U)Pyv?hU( M%8"8cud\'%feAEݣ5Ȁ q- ! 9ld# $SNE__?(cB_xE/0ZNqQدK_6M @ܩeաZrvPCı( JABU9 u(~wj/bxojV*>!̋tLd5(` eIE]nhl)v.}ebzN :&%'NB]KؑŨ7ضѮTSK 05輐|OL˝be)ߑЄ'\ca:e K(ھ+P- 'uVE]ڪxuQԩb2hCˊXxbE2.Vqy.nKT\=~9<Ħ8`:pV u䳒w5K؊Q [$}?c,zt]Vӿ[O%8m751(3X:eSv])k &e ]{wc آd7_| H*,ŢPf%]n#PBf;j])qlݲٳ[ cv t!"j2TZɚ}1`Ѩl(3aM%c;ʝa-pE'9;Co=6Z bϝĞUxjeOjKj@d9i8ϊ]:tH13ƿ[|~7݉Z.Њ\?"(y/CNJ`6 e6M4GZrhu7Yf=E/,iZGZ{ Ml,Mc5\} r,<%,@>2{ 3OJ0/溺nzȵ{y >>Կ-PXA+stWNT'5Y +V-ō7"?5sS`8iV\(q.6 nFS>Z^NL/m7sYXI򃒨Fg8.˴dd2`bπ#'F۾v&+~^m,ǫ:ky+pV:o(BQǤ,3Z_I J?\IzO& N®f,D1 TMuQkM]vnz 2E^r2}~EV>`Y9D{WDhoT|3jD0s2^ L7,C l6nEL3i~ft)(Ԍ+/{ۍKV#o)3܆P&Ǧ% 4zuh8I9V7(<+~QiV .@!GiuCZ#pQs H\=u 'WT=|:OS}-%)2Lщnw:D%lnP ʛŠ) M0:8Qч7OG%>4tE>#c@o' /.羞ܮ$7W⻒vZxl(\0E(vKODkS:1yck "ǡY(/I hס7疅hW^EےSܹsy7}w3Rd 1xr#_7{w?Y( UT.K9pu0Q.o[(#= x" j2&f&>X]gYZ7zXZִF! _4]ŗXiɟ17L? KxlWP8SաM~>fٺdb=e,j4a`EY៯fb8&lar%]v愪a.@Aw/$sG %ET܏At:R×aȮ~գ|bҴ}+96d? %PE:"JtHili_PoQ0GM9l,5as} /-2`F{ x3o \DX27oy@6ADpt XMj C :5e+ 4:"5ϐ}PA6V5w_ u40p I/a7><)ǐ=y~q-g;j!PGܷoьvbMkH~\>_a(CP{4-SY#@irlZf?߈YbVPd#Õl2~r13ܕS^Vj|43>rѤ=K Cھ׃'."v|`ɈH&gңKėbݞ-N 4չxϬ;˺%߈{_pA~,OrY yly#Df t>@+A7ғcx8cC߭jG.,GF V02(}gTbp $v,Z 9 Ȫ3,}VTݻ~ؤ-}WYc {Xޙ٧Rڜ te1 GuCFPꖉDi)-J $& [^=Tw9zG? W?w=CcO86R}:qϸ԰xsYpB?/ (3={4E64ۈ-2GO>hY࿉*Kewq_T,O~M>gVQ UO9`[XG'>4KJ OSJEf~ClM#0зH G06T3-sܧW.ggJXMX/sg@JUrrtxywXa!r3 Tဎs(M up*c5 .ojb"7![6'f}X0|_-( wTʪߜ 3b{,互,- &2BE\a T!щS]F1x"#2aR^Uxߵ8jk?tB˝re*A o"oxҜɦ<8C~j7Y"0XZ ώN&#EΝ&j0u̷-U{U()y4%?I6"XlmUİ@,2A?=yFt9IJ×pŸA J_U@`[4&jl5ǺH5mky&YR<<ċHEDFgrLc|/@ipQ@`@S&:Zh-5 F.TP|߄A`jqą% O Fevah2d?N UF^'oBC}DwOse?-;xs{8s85'M+p/PޫL`'Y},` hLМix;)+%OةhaN#01pI !HAhnzOF-L5Pr5vף ~T~#{%QFڛzD%bElMNT,a~Վ>we@g 3M\0X+[jQ~5qg1ޔOL{{Y@8_ -N*1tXG*O,JF =^Oܜ\9 R;ܷj!68IJρ8J˴ ,=B_ƒ')o& ՜ǏO! Oy/*a. ~Όd>Ge?eCլ%Ħw!R-2X sZq,ęڄѽh1A]4(ѨVlhdRH^%F/+٫AQx/ෛTSp0ѣ?Q +T_̛] +w9 ciMj&E#Nt Gee@Lݰu͑cHܾUNR . b5-zV#nNUD/(eDɒgmUx 91Ld%XɔV};F>3a e{97 ȝ @bPnܻ&-n`b y2q[<ވE|u4[7{rKTNBD4Qd&}\oE pVE8?ƿ$!172 D0F9©34H93U^f-yǝ4L ԙDd\G6{Xt_ćcUzZHtv.7K W9ѳ@O၈O߽Х5g +쮝 _`{OlMERI2NW( Яa2xq+祮%\,~)bf-KTaXDwCǺWo,cN#G֠VVڮш#z_πQ< }ux+>H K0$&vU/)lV)ɇk0ayxz [Vuaz>y18&l5ߖeD<' F䑃33am{ Z%!eYX"RЖg֣K TK>@7=b0WZtYI:?13eWum^͋_ FOp ^+M6D9wX;VrCmD&c#mm3 fkbQB:وKh. .U>9*Ks7UT|w6jѧ:9[_}hX4D_4bܶN(fJ;`M~.GEY)4%wNHD5*[(7 )=S7yq%Vȓ@0nSif*tinT*t]0r6w8sf# *μC;+iyi( 8I[:\;/lH\w7¯|g,ĥ Y݅ ^:A9 O-D[+ PW:U lz#dܟu(<~>!B-aI-|rw7Tu_E])Mav&^>$XL駩Cґw_?#7?U2w|Z<L= 2JU w@k񞎗QAFI G۔ijBg`i7ad^ӷkW"BYK^pͥ;H<'MMAi4wqt6?ۡEt?0z;%Z/ 49L:/k%1U_@Kʮr72q9yIj*"w+0;o@9_>"g4&#eVT:cEgyT, N% \3,LsPEQz4u7شvm! Q)Xk=Ģԏ:g{ɉUұO Ʊzh?Yh-$ܾp#3 3F_ỴH 20su`Y$KqpRGpxڐ|P.TAAX641D5 }`gvTAvz$\^)Dy$zyUdK17u!ld]i %N`PZӅ'"F;2׵i2Y/}[-<} c8?Bw`r؇!o SWX)Wb< HԾ^FRl)V]9~:w> -WTv%j|I|Lv'< 8cAS;`%p9Ne^uL&zBGVV* {PC ξ煡`E7Hk1. -sMVYf4ӒU٢`^3 ܲAWTC9'͐ _B> +%M>_Bw@#$Mr$; 5Qf5[cƗ:$uiJESG[$P_bBث DZ.ܬ̓4^ rkLVjcA(&y;A+N:!́jLZ1m̚55efH&E89 ebp L$A{TMz@ҵk8|W=:XVDqomFk^ tI[BvvT-Qߐ?Iw ]}ѷE9ļ^>k=Sv&(A 4!"I.EHs4aNZQ*)@]L/v"FqMzŦྀ׆Y/2^~]Z퀒x/Tm(nߪ{C]gOjvoU,a'Des9ٯ sbV]Z>e =_Ռ8zx`i0롸tKTe5wh%+yߊsF?G'6, v݂>l[/pT<  !l*Wll߸wy$$haf"#[#vi|zYVE +Ţ~~^ ##A^玦Ғ`c |F!xZewp8>Hhjq);(TU}eM#WՖ*_޼9YZ01%R+buVG}oJ6FsDfTq,_o PJ<” PƠP~'މGH^lLQb QͯbM]@Zi5#R2씜z ~PQzZF_/ =b^b܍@%7L[+#;M#- O)|Mafkg .vZ*"I0:rX9F̜ @㗟kyz"Ipy[ܠ_ݙVHA\Mw7a^ʏӗR'y 9S5ﺓb'o ^\D_0/f*s:mYKC5@4y6ԉ[]l&YKWm5sҰ&*4]kK&?0ڦ$LҲ9|ê/R4w4gyǗ_gw/\auSud"#)m$EsH俶s54TeΈWpWLgl̸ 4*HR }Q*_%h;V;: Q>["k\<"}~{,ºu]5DWlfv&S&Kyp:](??Gk5A]T@i KWTЩGcW^ Ӗy ,123ඖyo)HB lIr"]bG5bn!cttbDzuRL{?)~3}K"5 H@wI~eVz({ÄGɫllZU kvJ <0, 97Gjk~gXw[a$c\ϟ>>E4䀋s!nx' ~ ul5xe Z:>ݍ7:>k/Ús#IJI1iQ^n8+:٠<)0kѧ* ={{VD&jb& 5'(SDgUMeR+BONM_z}gFfg';=wSjɾE (O:oD_bVZZ]{> I,jJ普;Ity塲c<܆MFPY=__Vg_!pBr_I_x}`PE˕pm3]$0u]b9C|6}R^ }{uђ>0±G1\ai'.DSWnyABOH9"܍aƚsyFz둹ȰNHVhvGU, hxJh,sWǶ-Gg%NVRy,tB0X|B;Ih:W ZYiR,UI2?ZsW֖+XSi%vնн]Nk`´߽fb0WA=NHY1^:z-*tmN3 I@0?rIp2Zf(R pԡō"̊hW ^&2pW't\fG!8nc׸Be׌Wh#ZMM5sYvbUFauCoN|F U(O.Jo*&%?qjCˋ\vY/1Þ8;WpCŒo8nmM9딜Ɠ01Eflj, ۶ݧԸ |)8{PMj.7wGۇOUFˋ( ק-|`MW^8}[Z+niv8~L@OuvyC/,Z[ȹÝGH(L!G^PDQi$%j+4U*߹؆Pdy!+t#<4~r`ғk#ڐ0NFYȳ7y^0㜢 $)L˻еL!Y4htӄkmJ#be$NG"CE-xtB Q}iV~j7m4w֞Gд^u1Xk]$ջ|1\) CjӥV#ռcEv`[X+"Rmvމ=3CW\IXE CPW㤸( MPi'tj#e`^mH62aqV!+ uÙGq7!4u5DpU%(6H#yLcҘkeɢi OnuݍX(_@łf Z<Ч_T&BlD:E>矮3a?%u/gܥ#v;~t.Cv>w]ⵃ;iQH!17go^,Y-Q/ǡ 3ؗ*l 'Gc*ߟEl?B>a.%w[w]ԓK{J~\b-ߢ kyN@^]pY"D* >L2U owp чL`q%=xG#p< H_> ^)QuPn@%f([5CVz cVe.䮇WgI;NӒnpDo kaC^^z 3TiRx- ΐ/ea^\9 t`!k![n`o3҉<3On E<۳L=p c``cVĦH`)c#NGX:q.XN~7&$s`wx{z3Sg ]C&c%# ?P5~S!BZQrB67eǼwWXy8 I̮D{ 8XD&~Gc9{Fkk6X]%W!\wx0Y3н8:V &4E.W6OŔ)_ WY)-@VK#/z=I?^`,h?'s)zV z9KxHwckw2ۯ8…W]8á::ihN cAbO(O\+ӵo#B\OغcvUR:Zq3+-[#4Rr= NH|!%@ou'Pd*A:KcCzq00h9I}%G\U"y~4 po,$ņv/d} Lyt\Q@5&L\̹?4'4njɓoG r>yE\,@xvBi6Y?8O/6)#mT,)wIpbdS.zyaWg'_185-:Al1noT;`(AKzz꓉ӸA?+J: j$ Xn2ǻI-AfXaHa`E궇.J;h:ӵX{>s~V 䳜K(LZ}[ ;pWV4+ r#P S#3y$r1yeT YTn5'/x08B;RUtbTU啴XZkC3)b{Ÿ[}:'Ry’gFCrϒkz/-d "p">K]pӆp O^Ai* UN $g~cPA2 E`W:8I"|sf0٣m:h7x 6X6K&]ô ̵\A^jn"\/4=3lt{ox: w@4֑RcqqWl v$k5r jYV#l`f~_z"M]+rKiȸ[(R'Q8W|J%Vf:|WͲK!w~UnuRJ-ʘcFxe9Ce?s&3L&8ԚxbL8"cao=juWDJ5M2`I4P?UøVp|?l/TBV`4U.& n{2l#ٸJʵ9a!vcX\yhJ`Tf_:_#Mj0S3W݋(Vf6Zf*8X6Hr!+JJv:D"*in)j) r/(uƤ޿ IO[&EDÓھ4quHq`E H ?_5&)%z?z Kn&Npӈx5.}a'|pduO:5g 7sNI𤇼iWM&0}ȲÒ+gN|3%+?Y~At ]V$$SXw#$dBU0o4Ntס\#QHw]I/flha)΢`{ZVm'octڊ=Κ VjNI1Bd)yGzz$B!xkV3q#GZ>=yߟ*9Qn?+71!e?p|nӣH͢b ,Y6) &=>/8jbw[r*n Lg 4c]7l|a!,"8;G템KL죆õM@`h#}ZEf㸌/󜸬B@iK:s^NhF TI}lgRϑW *㗲|Iq]Ţ+MQi !a'LƋT\zzWX]lDbd#H1Я}@^Cn2&^޾P3hq ؆1Ȃ,mI<4otxy+NkU7ÂV&wF'׮t:|"wŰtH{ʌ&mHXEno(J^w ~I#6ؕ 0[Ht֩DHUy}IW=v,ڱ^TwF)G$mhNH,Lnb?w͎~dضڟ`y ߱l ~k.Y_&M%|+;XY֔:I!i fFw_,:ARfviK62OJ1Of(X9cmގ_L *Q:>-Dwx{ܒ>47tڷvƌ8Z[,ߤύ΄WtB2bP./K"_jnoI K=*"Bn;\`aaFF*-?P5^-[EN'mX#ALl&qaУc \,J<泫`7/.(em> KNo1+KK9S9(khJж$w畴|qq1c:@&zOMV ja <p}jl)̪q\Gtk GѺg1_u|\/Ro.3]T9 weJ0yI83&㜊r_!J8ec3xtz@A[X)Vdj:E Qwڪߤ;R |J;M1.לEޗoLu;u "b%ysv΍woE  "T/' %w!DŽFUa†ǡd.^Y<.7v#WD}c/5ZdJԩ?r<}p=nlY 9ϭ#v,l  }_ڔ OAxC3`Ɩ}]") (C|i!2 "Ǜ#x6剦lS%.a[/=g6fg9g+ȌX *oandWʣR|&+ LF+L–q;[Až`/Pj)Tt)tA ~cQN$6syKH'ʮF}f㈲ߐEᝐ:^go. #y$fI\I\MK _=@i'8 Yf\ePexT? V&?Y'Ɔ*,Cc4I\HR_bT:YHtts~Jޝ^Z G~DSX3v' `f!ULEm0-EN;/i*>Oo,!HJ~~nrrHB)zjh! @Ijwݻ}9,k6ǰOJFnbeKUPs4+0ʛh\=^D!yюØ\#Dx ,IǡS0&]D9Џ[{}a_ӄp;BK %Kcfh̲ġgZlNLhz %wg9V o@o?X¾F& T'sШH}+԰*Y&Q &8f* 7k,ωíx1GJ Dv<:njPP+O, hwdbs((8V4{F)E|>"sؾ-U0`b38j7 rfY:HWuA3q4fHf@u.IuB*"bKؘ%% %KH;kvێl8hb"q3SѢ{MRK~p ֘.Zh2inX5 O eP9:=j\ `;VMg@VbFy pp$Wz.c%ٖ6%A@u&T|D9_]e fk[N5!ʙEVP(y<_N ʔUlwl\ tdݖlQZ)Cfxbvr/xy=9B.xz}Ubdʜ?&Hq̴cBp@03爢"9!]Dڥ,h\*08wF-癒JI^N{9E( 87lk)úY<]Yy~jx4+ m,OywLaޛſ\U", [mSrYMg'\(f؅4&>f짜Ҝ]uPʱr)XXv%5,W !i3X8tpIO^wUL jgmlfQ  NXNMqQkݳK; t6Ʊ_C|nvƥc=UzW>&wOkozKnxQ@dU,< dx bR.@SJ@G4BѲÀ?>7@:$;QVo̟Seѷ94&7`N>kNFD4H!q԰7Kƪc3G*LWψ$߿MXM?FS62L܅mxiA\eIt5y"nnvUٻ ]ƌ3X/44yʵrm;OaN({DCIz/ULBwVݡ.$kxxk]N{4ۄocSG=*+rwxTcs_Y O/ϮewoxVsFR!Fñz=ɁhB]WBl9UI!u[,IFx yc,a\*?)W ՙ0)%QZn]`, 10ٞ~ǑFw7TB]y0.f"Oue{m(nI1h9\ Z&oS9/YT`o%LCf yA\N7>m9ETR3:f-8\zqL=ҟe}\iɅ#J' wo 2NҾk%tǀs:$(/n9_DJWIS\Ц-C+U}8QtfC9B5b*-g[Ϥ(.oR/}PMm M ڳfD k|>ٶQ~='e[ IyOlx/ľI]Sq=QCֹU>$Ȏϩ+Dl!fNaF8JVY^<̗Mn0ՇR{l Ί{d#f{R k6 8Jܣ\Y6$,xlvUv[Wm:rIJ7$B=tAI8ZA+= Yn MKChDC{8C_rn}4ŵfA^#6A$nAkxd-44A:^h5!Josr(41Q1Շww@gK!唹XJi1ҷ;7}|I=$v~]ޡt٫YW]\Π7El2+L bG,7i;'#0+]m튦?]3"Nbbh>b>pdY}My-yvWP/T])⑿'dkFI|I}[9iա;m;52!`v^?!/8mT~{~|Uuv,2c[Y4s)ʂ()Fa#5Ds r-psEQf_]=8ﵔ0)<\ 6$ `:5I#Mp3t6[PYm'ge&e㾡 dI̦Sњή$4q 'G}AK ߦ/bQDe$g[Yȑ6T$\aӐDeb toFr0[swi}w3օ [ldVV~fq&ҵv vtg 1;>EvLˇROꞑ7EBq*?AZ glm@;P)Y(U qjwؾъc.t\roGּq-5 I |F}-#GXμ"熯>#7D"*4H2(u¬ecBޓϼ̶@Jchy۔YkZމ7ӏ4졐NÀ9Z1[ D`g1wf$κJu/ }D lߺ)]3K { Kٖ]45Q9w17ʁ@66JjK-[U:q7Nu_D#:uq#Q:BWɕp_::C)P̓jR4}}d|[cI%`?`l6;ǥ^n>K!/WvK8ڿ O쨈Rߵ{6X+ݴ !Pضs~~hm^J{q7/9JV*?j@zua17j|̺k5Y,pd#1 ,lw$S57CQeCbC[l-ԓ(,m2ewvY26pOXqfĻ^;(\YF8z >HVp4:iD}%7'mnFSlj||qye(!n*MEA {1,"6U݀GH C /׺.ıN,ط_E&Z8)(=‚M9Hr؝lذQ70ܞ8qfXg{p|N,rV(#P!ݜje7"o '6վAXGY p\؜\Ȑ-nosxx%j*OR;>9Ŭy`N ,ش~}IvX ,UؼNM+j{J& 9# @*|-v|ɞI|e6sҐWIՊʨd;-:>^YDu}Vr3i(B>}opֈM3(;mQ2>GncG.jam")ejn9/}IR!⎶v9JEqL-gm#O62ged$6#JEb]V 翗q![%F)1AX&q/|T9ڐD%u ٶnv~ NoȘvoc^yI]Of/T=? , ˊ; Bz##@}tѮDvv+OIice=xCAQafrD_ >m {ZK8̐Bתq.(%kB@wR>!'ԫL8]0\%)HY?m⬖ئ_-?&..3:+t|rIn\‘ڞ#@19_c`]l)ğ-۪.6zlP@1Iٸo& ]l `.MSOsi4XX^eC\?3:S!(q%/6 !fI_rkgc|@N:f:6{C@%玼P7j aZ̍pHaiǙ1\9 IwY@\p)kO. õkpb%Bf:F/1]GOV^CYH?_@OQE|jW!ĥԼ^Rr~oÀ6E'kΊ:V@ħLP]Nu\,AZYs7>#"Ehe厓xڅ[;->T&H&0mPuGd`>] "v%纷D83ij't9KrX aCiw>L]7U!U8ܚ=LGL?PA?mwc52]8ya[*u#ret"b'"i.:En3$~sPGƹ܀HmWVnw0OUx~VBc:QN)۰Rt\ B1յF"Hlׇcx/i󰒐 iF*9ou T'D.)/m!/>18 w)m-3罝C߶v:) yme yV+7 B;EA:B.2)5B@TE/ht7)zc'qE= 8yN,jL҃N 6<_" GMjd->,JdE0-m_}8R$2@حȽr`r\H:`o 5/YcU72+/Aѥ$$-V98u |4hq{,o2zENg#Z5y 7T'_m6~7f E/ lLN8h.k]-> ]gօ^BT#xn@>! ga?I5Ng^i۔|ŔLyp/2PW0`E͚g^+ѕDEŽ`B]cHi-b S,OypT|ڛo0;WZg5_`03dNtԄP($Y^b>?ZY~X_(v AlssV:;; z3G0~g)5f sݫydp56[{@S'pGz7bLs*7!^蕇Z:ۂO,٠1CPEӰ1'o gV0ׯ?{.T>Oq>|:Iן{`GωYi9]AedMgNH*el*W\ 뙀Ut! : Gȩ+.5uMbfQH]t>cD7Y@v[n ȟ(/_lIR*Oؚ*~@Bwjb{U|scZޔQ8 2"VMaoZe1T/ PtBYVbuNGrDm |PX&T*-Q]8XV#G'oYU}`P*i9Lk(|DvU^Ou3RE>V3qDEZ4ϙ<O#K^0 lGD퉸 [tɥT/|ɮic8J7gTX3՗f4*{otAݼۭ.`31+C5ñ]OS-vBAS`%r!".DȈ zxlՀZpDXΜV@Ƈ*ZlWt%@?Ǥ jl?Ny=㕀y4I kkݕ qQe C9Pxy NFx<|Gr6%qI6TxS#6+3]? `Xqe>2I&^@ʘmqCbD. rijHn~M09!AUzVOgNuĠeN l5Bt:BEr8YTAsn#z ˮ@MMTLuy5801Ix!=l?4]EMk5 RFPtfB` N n[x 'gdC|WJ]8~E`%Gg:#m ߼&\sRyՇ8 fi[VMcT_BJai& 26;ub bæ H?>keQ![Úg2P5 YҷAԤʘFft:q.윆C\?@/4zPݹ?n*(]ksmE/BX[s|}@WnZ "ͬ0UK qUg 6լHXMPyA[q >K1@3Κ;k9L{z42RC_*p>zzҢvr`Bg }ñA\1S$"|{5VZ]6mbf:L 7%)`F# \.yɨ%;ZA5H7ZKSu .pKb邤ۛVbmKJGx6V6գ{CDl:!v9gҦ;]@&`K߈*U/wشxHq/91YP4Љ%QW6}KɎY˧ЙăYm Z"f%OCߝ%΅8Pyqkc~=O,apOsico=*}8K!}5 A۞7H0^fZDW)YPGmxXbitՀ>|A1h`0+n^&5PUy ZM\\^=q\Y~7[Օ*ቇ 5fIBHSU# až?(.RCBO=AkrzHM[ݪɌ`Kcj*GW2[!WXdJM{̐,$4AnB8 w ]2^dب?%sb@rȰ_=GhPVkELp6dƦK[@&0P=0Ѱ.5& 3)/N*5wϫx.|b'1G!0kD_[,h*LI/S}]fۢ=ׇ]߁-O:qGn%E6[/Qmn9V=2{mNH wbIdeD:f0-lLe\/#ljnVy +SWs1h>KMZ!7ɻ)rt}6umי٫Q4P7L/^9nŸ2 u.Dc2T"VS4e(bul̪E L{ -gV#v`;Eu7zWej!p|p*%(vJ*b˾‡lBZt /k{u5ēꉷQ`4]X7#uZTvثC ~&`g3pHKBgo>~<}3*[*($\Y/ g8=OHK[ *ΑUx~/wס\WH>dzk&V%`d z *|D|i3&nnVb{,Kʖuvb,Q:.i?R %evOVxT V-4@WtH2%avnm}o:ry!y>ATS.?zd^Fx?LP%GOF/VPoEwZYJK[I:syLayJ߷^'eӞ]yHq70 Uq%V2g%%@#gHvH= 3Ao[VTf#٧AbKʀLBB:tP&5 VCT-djUN~d[$ RIPO(.K˯rc$C~ܫB>9-}xR0@9?y 4(CT􊃊tʚpjހ9O 31C#aS K+7([%$3~T8)v#C4KtLv yvrLnZbϷ$>d!2U}!9s50m l%~0(1IhY w-=Hga-jux6WS;.ZN?0)=gE:l`m 2)fB%E( lzËfI[}U:)I[>ߔ.!?BJu;7(nSpaVcSs_+US_)kxOEočc:AѕxMLwE\9I.9#;%}Ȣi!n/^2 oP[_cOj@PfzlK77flNnLׇPBcn2NQe"E.NKıaQtzԶmH+ *y| ,aVed2J~?L͚FWn'[:s>).KjC( uP(pم\vJY@k< @o퉘<'=1K+19sVI NQ4${cK2Cnü?[2Af[@&S!(LZ3%bANi&lHq(q&+ʤ\w*%{ZT0w$Nu h[< 6 Pj -^d*~9s0jsFoܟo+|u2ޕn>񝏱&..g:$rzH3T\_h 3 .%fBju8p8RUױ<09 I0\|ZRVs7һCVeVU$w YxH UE"-FUWo2;h%Oq\\*dʝԅ %> I8Hk2i!/QGDSmo )ˇnO 7$K9k6#fSY0 L@n?brs[Ƣ6I v͞nŷ$~jL=ؑPq2[5A~[[{J'uQ@J똦oM=`Mguw eE\aV4=_Y_fϮ~J(}ɢ ]b, =oa,⦣h[`җi*.}So@oKQArAd+J@p' H v`0- [-hF>Qc`1Ў 4(^gR I Ls{=| ^@w\u1a~QuhmN&$Θ"az(n i?xť4&~%<}Z,(e1o _,INP)xxJHl&.MYUi8-4da8Dp Ʈ U4Q]9@B"2 ]pZ%P5SC}ScT t61M"lrHU81ҹu$tؙO w2`Da_x;cР'$p T ` Ng ;^ex7xOջRW5ǿ1ʊxV2ޥ2xEAlqN{0wzݾC7m oW\?!AeCЎv !+Nۻw1l<ѭ2: #+EB(ޡ5MمQ IHo[RVJ6쭦fL(Kzsv\ըڽuF(F?eZ'}N(lcQu7c@Cb#m8^d&{e  @#tdُ`o2AI֕4XUMOr/.2f|ӛWnT*@<"<)2K@Nc/,stW_j?wOaT 63̖ 7xi}A*/]ҺXpOd=UaNxoDYh-XZi%7_CQz`T=]<&&''/?>F*7A.E~&4j;,zZe}7wg `` 882Geǟm^b'S5ƀcL9$tA&Lkb U'jȽ0ijUs?;1_ƒKalZ4;jRM9H9bٖ ۟Ǥ1 |u˸8etO͠i.DfQˉHrj9 :,wookĐay>qhH8MR,تQ ۷͋;m:jЏ0{Y|HD^li"{}aǦe&4+! /qriӾu#̽dc#k݁0mW~"5 ^qu53s,QϩԊ&!lZyx1ϞUhT[,o9ݢQ%1Kplv7W.-z65j1[b3#Hޱ0$~}i^`;e7{bRsI$^w.\cLaUiLAH\+w\*/ kRl +Ik:{YHerQy,cQM8zKd1MQJ݈r 1{=Odkv',`6SF;}S]\5"l\H,%uokRLCƊ㢼fk!pڏjf9B45oBng?ԻXWiGuhM Ƴ:Rdd ĭXU]bCB`gccǜM#/>[zcI[]Hs`yq7_c/(545OP;9](o Ct]uΎ9]Cs..536< A &q~I)Rk XGB 9$6}kö5-#31#I՚1S7a6ccT!k~z E<h/ȋ|dcI4-O@c2?>FK ݹf Tz¼Ocq=̇kOHNLJɿ|O&Qy̜d_lGBp I>ZHwFtlsĊQ̹B*}S@X[(Oq!;KJcCi5jc7 f99Foim H'/Eyi8&B;-nF޽iInS)-fԻjVH^qEӆ젗DooSh0S#hjٷ+0szYϾsMt׾z NzN"UMFpPHzm|<`IlΎ؏3Þ̑5Q =RF9-#;wu!ro =ʹBwD$Skt/Ru:Vt4;a7[)Ԇos0(7O}߉|{dV)MFOFn_hMOV<"ԫb:jQIຄ*7h2 K;?lJc30*c 2g,OT` ɺ[2B@zfˡ4rivغ.\f!J?kg\8Ss޹1"}Gַ#јLI|4QFʊNJ4&9Q4q)|!Ex"ݸy'$ mI]MMGgiB(N kύ;>L3әL mCr.U X*M:4#I>Tti2,@li9T/FExsdZAB%E THt/bR殯W6Opaw wʆaW }iK%64ٱmNʤ^68AYv!|e)ޒϔYCdlnMX),2>bk+ho9qeвgrY9ܒn\/C۸`\l8{ 7]MaOC]A҄kxb+-T3_'{TB][CugNXHJ]گlpVJTru_LwrUPs!!aQadIQt' o;&RU*vؽ?GͮcPZL;O|>HiVWo-SzVS b7&]#Ig}PYvl6^n)FH޴wnt9 Z2ȋ•?Y #Fx34i9 +eFÀJ3%cZ,i輒ϺT Qh",*k)5 !s`ȑ`1Ԑ._.)EvW^(=OR>'z}fB4 p2p^fyHvi:۝Sp%.ԥn z;g]lP(c=YyӬlLIcĽԅSvش6HR wcQ%?$(Xt!j(8~p&s@=5/$mdWWIқͦC|V8gkPF嘍w7 SಋV&uk+)I`ֺV2wrܖ3UQ%.x^b@o@< AٱV-мsu2-J:krXx:dїFy`JO1b~ j/6T߻kx_ 0#Ì2Ha Xqwtn'!vu8Jdf#b}A ~oح/zdU=G}ӆB͘9tR^ qe "DbqP:2AÉNr.tזCEy GM7m¾C1PgCJn~e}/ӡh Z;o`O LTC|'FlQ7xUYP<-@#X9:R( /VO{/Le3b% Cm ³qʼҢFF0aa c&S(<%]ZiC^dpyMJ:F.Pi 0ir`]F < EKZd뙝kx%rb"@N>z8/Sf "ŹK aMf'bL?m:Oi<8 *`af cd07qG a l~ fUO8-dm i qFh; J+t va^'سsD<*B&^}x8kQBCg)q4ЋdKE_8wن%QbrP'yC`єk1FQ\^;6&Y8#V-`E^NQjN!K^/ߐ ilD4v sF6#`8m\!p**EaM'O&Ee|Eܵrp਋~rzf#NwOt";h~‡ZerUf-sFMC7樺ՁFn?`^hr4_-"IX,o8Cқ'q lws1 o!xD)bx.zsStmSj^_$fZb.auhs_"jȌ@EϤQz"d)ǧW_0\XKH6E]0sDļ5,aI}k#@~e#C1<k5u^ DР꣨Fxʬ󳃥Śon)Z[,[]lmir=S7])(g >.9rI/iq-mwͼsHK NGƢ T9 KJL&b:<_+Q% F HFcW&8 8(&:]8 tc74H ?FFҀtbZ= LqX2Ņ{ԉywR4.e[`' n!:zC"z }ڜSO9s$9Gu7@`b]alyU^SD+ b.3jv@ɲ=pU]oGc=rh}b$2C\t4na]T?^8_,ߟJ7$i)34r!/' gƛ@no܁ e(y%+V׎\lV~jr>{ *]y?Nꐫ?ΪD*n! ^qk]`pq5F"(=;|KTxJ};}ƚ,'|)ʴ&ʔ_|[wd>"sZoqчN&~jKB9uA!S=T< !Fn'v @Q'1~W \PDAZyMp`4S^Msc-ޞK%Ob/F]s/JxL=5@Mb`^mN u~7L #o ]7֜3,s򼯵v.}J)֗Ab]P78' <Ř{_JNycg[o6}:"ebQW1;M@:|ұ=~O҄ef,1i&sp=l7*D1o?U܌,u}=/V3,zz* e-pR|1WpNCR?N=RtOm-'?OW;Vk(G)XMw^1Jzha:_noH@<# =2~(*ד°]n`k"pW^w@'#y+Z|Xfr!z!sO[TV+\- ҪBr^:%_uBQGG˛}Cm9ۼg7M$;ᾨH1Izܪ?a ҳD+Y rW>?%CGQ0!ӤjiW@БkEe%K,5̌A1ՊY6^|rAxk`~!֠' OBu:8zrA$$N6^4Ա̷^$lGjn hmh" AMl/ y!PDɈrsf$qG廢 'ܙ= -35%|ךu"^oOiԿ遄C*{cjkHzͥLL_ԑƗ>yF"_mISD bhLhd{pqr Zc_W5 CdG6#eI#oʼn"_*٠"zhק1)]2fuHir^ggȬM1M\$yS]gĭRKIvxu9BQ^(wFp ֦rb'AF J#AQ]qI}}8JͯSF,b|^!N[ BS7<2.ME] F ZqW-I1Msc>vd+ BMD!2C 4nZq;̜i AJ'̛3}lidRɦ0ƏI1r;0Q_;8S/xdpI0~kf {}ț9P<$$H\ E[%s2qA/QYUѢjvY+%t:(/?{z%+,a3]"C?g򁽕Эu1 W RҲAnš!Zg# e^bDuWq)ћް ^Hy+X l(}TgFaN4DoAsxF̠P$MkmH#H٤]qwZ^c?sLV5{S.ê{DŦLu2Ǵu!.0H((e t 5#^} ^Ph$ز9:%9TxF@d˅#6fڳ8a՝3՞0앲\8:GAmFVg`ܐ׌`TBx7ʜXZ(>na Ufꉋ{CxML/i!!=s,^^|_¯⅁%u' =xU-…6ortM3Iі+:Cԣ9_20~r pBq mJ3O' N7)-K]?6 vkm_{Xq?N̤{y*Y#3}Ӵ,x'=gYZ4badb93f151495741c9559bd71a6d612318c0999c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 f152cd8f3dff3df54a1211d24cc89c0cea6580ad