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  - -# tL4 ] ZF-UNITY:threads=6elapsed=6.171cpu=32.728gc=1.268factor=5.307zXZִF! ;t]ŗXiɟDYK<;4 1Rް.!孏«*Y|iڟ(`^sפx>n%7>e y-'>z/Eu"$}ߧo$ 0ZF_ZG#ĤesO3[Z ev7¬1LIE40ubfdv5 c/c1$p%S[N[Xj)]v3f1X}u lAÏu{ƿjd׳ulpvO9:0Z_:ˢ)Lij3HU,Uޯ&xޔBi%YOĚֲN>?Ӥjߋ~bpTs#4t҆J BeR7GΡHkjE_i)l&B U>7?&SL-}%`QqIt䫟 uR#럍Є(,5DDPv1۪d0P}#QfAeߡD0`qMw6M:9ƇyN3CWd k)mA @?^kU;܂Sf,4Q%pCbC Y&E^aJކr.gb26w+%™6}?z =Gv_X87' H\fj@_|ݫ%wQfdcܵSjx[Е=5j۰t=Α5S$ sc*\Tj{]J8Q:yLLs!S-xQ۟}} irT5;:|Ow ѐRtk?V_P[Kj|Y04=7@ ?N$~q 7Ʌ+P 6g.u'VHUzK@qfvEu&J_I^h?ҽs` >&k0RCu`z \7C?CtͩxeGXraCY(Vv\=tmV/P HGRf[cOpZwZ)MoNɸ6@>$cť^0FɅF0ylS+T h[tQ6mɓ+|$V{?$2p7rA}$sL˻ۑ)a:2&XŠmM˷$B8{<&RG,?+/xvjIH=ޡJi 6:SW鲷~.%$(C9]8͉Y^QB!پ2y0VE.ih!B)Q]eK+thgj׆0`F:f4;OM[֯D_Q9AjD3xc]#<=@)2ste,] 拏>`.GN   ZF-UNITY  pCJh0f||Έ?Nr|xNXˎb[zC/t9MS( T(."|0ۄ>zWZ@j +u&;}!J$Ay ebpd;ev_J 8 =-DpBy~֘sxD78bd=Z3̌%L5$0/OpCK8"KMS.Je;b38I@'P>MӶ#-JT3EAztD2nY@s-4tW!+K-n4xt֚^ïAJb> ʌլ G&(o+^kIG?d[8lVrVkeNϼ8ؽlaQzd0e=$j`34pFֺ Zsγ9pS_`fu)"gSK4^*!`& dtL/;I9ѫD/  \1^'"gTx(ot.쭾Jl],7_Go Z&|UX"L5Xߩ+EcDԅ=&|F>Bj]!DGio<Ut.35"w"Q&[GM-53&N u](yb$/[FXҺ+qAXx|.1n'Lu*by0cs것^kCS2؎a%."ySAx.RXDSE)~sBp菮7թGY%C^/9_Z+j n] |91ut!?@ظ: S cyQ7~S?8^2t.s?`-]1~\dC9 oY2>LvFaZژxUxt\=Y.\5^k_1u\DR}m'D\j-#)o$Ź=GIE{ѕvdtg 0k Cu?= iO9a&I؊}n&I1} U/sfu⪪Ԇ WлS i;bHh=:o y)`ߩg♤] GTAbHAMB#sk)&gH/ZC&p{ß'[ac>KݢM*1XkӆNn\3oEfҨtpY|0ow}2Uij9= $}-i{BD^#1 O"6N}VA=T+Eb b۠wzAMnՌ~6vJꥶIը iH15eŹl\y˶:HBC7L=!!!EnYIޅ&l N[ ~B;3("c"KE=x| Gdw>~>hgeHoK8:|RChwv,큉&Ip}HbbϞfl+c18}\oyS }/KISZ Zޫ;w%lHc{dR[#9 ߏWyo&rnb,n!s1p  . rx a115*xVgB`s_7RG`/ꃁG2ws 50ְBN&'dc$ #t\=ȶ|rIcEp=O;C|/Yt~q {jtNGzkuL7]Zگ# qad3Iwи![}BCREK4E.C8@ cZ!mm^|pc."]DGݬH 1v6Cyҝű {̥Lx[EKq5Uʭk+`O|W7/f傓KE.Շ}kƤHbo0 *Ccu^͇Fx-[{4 sG`p:Axy8 1ކK{ŻR>e[r[fkNplX6l'}AS)R{A T&9>HI/*,Ί̫ {Vű842 v34T0sb A"'ʪYdT z z6R$,uJ+*|"(H_|Wc_>!ߠߜHn~=eh%Tf#'' /)p4G:v!h'Y~|qI{׻‹h5!"9qƫ[yωPOwcm`7b}zv1![mzzɡi& [_#,YWE~pF? JݏdU47W2X݁ ńϰ'xHX߇,vKLSD1vHoΥ70#`?4o;~*}U?TXcNWLcJL9؁z8:%FbT|\َ/ Q\sβVse=5Cσ*;ؗ fNhC-qDwK&2,bU0 e ~NĠ| ߕW_!nT<[-W#y)P0n`w(ylƉGVv@1]wuV+8]l"@"g$T  }OڼϊWA"(;`g.Npr`S|(ΫkD"Pɋ﷥ gSFs̓|ͦLLG)TejaLjt,˩?2~Eqz5` ׃`F )b e+C1=>Xnjao 72܍842 zBL3 [qO ]xO,=k?rJ f}]sEXi+"q/C57z%oXߗH7juG.>wKɘl7yબߡ 7KFO$Bݖl[_d}$9x`_R%GN<,ߌ](ph]DB.%qWzLFF":aS1r+ctSrGm^ z"? R{ԫʭyG ])O׋DW1;'@؊eLBF@2<#&fPD"11@v#8TTR2Ʋ1hj#٫7W/ Sjj:'1L= 8ٵXKJڳM{< -Pm @pAI2 aO[PO^SeU֩l݅ ꌉA_wa)J B,yZ& >N3p:r_L\ǝ^>U$vy9[%h %VE+E~2 Pry"B*?av-Eg^4o'n֫V1ۦa~'@w?qܥtm  #aPd/pM #!bTlJ˞@uDN!ˑy2{O~jC9Vi}"M\&YԞЍuE-*c,eXJ$CYER;} 3Ub Pth? `?B@1VTrPfHGWާ-3T~3CV MCCzS!9Ƃ^!FZ32tuxbj<1j^4r{izlHJsSW \أY|kB m@CQ *$N$ѹv!&;++rwRt}i̲9XҌjs͐ gƾp,  y ,2}GpgG67X 3Z4B]؂,A}i' }\*Y"nGU2jtɩZqDzPq>$Ia [%.'\TCј0vebX))V@*S Qʹe3`]%׿F&LEݏr_E#ܼg(cv # 0Xͯ 'kݥYE_ɩdxN}ds"*7Mm'FG)^q?ה)=L.,5F3K+ K%f]z4BWIKs_43BlH劝<.+?]GIӍSn +s+hv;-|Ux_(uooC2JԖb wYiHXNnΎY9I7{D-GݿZZ?Б7jY'˦b@m6 Îw" pvGv|IΏ蜮&DuIPnq@ō̓.+&[9kmJM1|+Z(Z5\NqF $ś,6 EV? >Jύ蠗K5Hq Wpxja/FI 9_`~@t5Km wfU{B7NNVL ~ӔɻqohnBhI*n8Tߪ&dq [n?Ol`–03L^(1U㑑.'h׉+RwtcAVs-'iJ2[txyo03&RlK#g0$zYcotOR:CiRJ>픆kW c8+VV/k|կh\ ^!O ,@ h{;T^3SĻ$ZX$;!\NeOk »QXVb"#kp#Ӻ8{R0wޑT_aaLDlmJP O77I|q1(eR)Y8A;G2EyJѢ!%F>Y ejރwݱUEp Ϲ'jr2Kby"WLHh 4t^Έ#Edy.TJF# "AkB҈: t%a>U{rlə6~cqÜ K7OF7/DauFjTؑߚ+^8(U)yppi e@O1+*uZJ*U RLZl_a~~ 2{NhW3.^X={l JD(E20# taZ!3;睴2 kEsNħr&H`Hإm߾fZW1)>KTJ^LxG>j!2G ;h`1kЉY,FIE2mM @G?X!L)B߄XD7rV>Hp-yCw˱  1F %/TS,9{yshDxg8PbS1hf#<|YCxtp^jy(\^%ᓄ1WVYΗP~gMo ~<١w}/t9#MIAG̝|!p! >>.(l5 EnA!vP^^9}1 \-[99e(BC?g #RB߉.- vU< vbeA(3)YߑNdTL˷4)WL5ǒ: Ɩ vr)u8jXkmpFuョfJmkWTpPd*vִ't]rKe%&@"(N"q>va5#nz\~ω{^f^RVip砗!թ@ѯ-,!&v W>T—/],^gnEk Uh^jLid Sw䂐}jg֣ ($E\ϋhQf;HgJ_$O+E/~(H%츣,@%Gد( 3 ]D$/toU,{M o%=fͫ`iAaK} mIxIG3$POr$@LTGz܉b4[7ូeYZU47\nKxY>#ӗEe L Կ?A'萈0cLB<x䨦C96y xMul9;v'oH7zwk\lTFۂn!~# "6ˡdFcpgVgrX<F }A 9cq-Xa6$ M~|fuDM7}:fGrk I=W])}g~f954I_dvѮ i˄ªjQmja7E.m#Ɵ砟Lc6<)I^QԲ0Qm[<3ab}Y}ăS( {FfT\nN`, |(u#Az ]jhER2.[#.a/h2 < ~wC'4(`%|L 4킩U4V0Zh|'3[VHBAlգ+ݝИ@B9R14bRۦ}>9tJX2g%8x8y^ڔJ*(@74BQ}fGF]qڏKAJ8l2F|wPN#7npMQ*j6'-Aq.#Lcի3-)&ޖe0N z?0/hoV5,qBM5 G2̪U@Q j(FM^?EKY^ 7"`):~H#֒TW7E%<:K#ቘu XVi$N8.7Yoi#8O˚yV8 F -6%ɕ9%m9lcd d7ːΗiNHþ V5`Q+` l'Ź=&|VCI|5W sӣ*Έoy¬|Y~N}sǸvTzH|4bi⃡9@NB[[)M8Q~ΌHPdUѐVeGJ*ґ*Zc]kn6w|C꾦Y%S^R}'amG~wjKm&ffUuZKF䬣qbmL5z1t\tkތ,S;l-P]# / c*dF3zӁK;b:JwGKJTIdYEU8 ]1In]{7쎊L/U7*r~h#X!΄z(C`y/l]DP f5uzS#,7ΛIfErJI*] `f~$tƣ T_%4Ji鳩w5~4"EeHuRcoDO]+z'|gZjaKAG@TU\e(y+3yî֓$V*FQ=ko$d )'-!ou.{OHcIP|Vө'A2:.?K м. $GbrE#,dl~Y-s0z3g2WeSUpA~F{AFirdkZMʴ?O$؀{fAQ1=9vz7RjEҗ˻iL+%5g]:AUAr LG|J>+YZbtȃ&1%[`>b&:G\:J4y2QV@X`5'2fa/ 01ÈeN3c,u36 -|"&xT* .tgBY2x1u,cU~~$ )٣A{)'ȏ7qCSGآfy%38 16"%+;7Nm6vf2ms슩ޅ:B5qkcxXP:`J! BLH KמsAvk'a+ ChQ" 3`]դo P]OYVWy|YFui< UkM[]v6 TMW,ݳZu}=mX/,-`b5ܥ"tYf$Աbv}F7 KW$c=W <7ZyGuuxIgor#sR6;ГD6Z)k'-T=x&2]`sjOwHrg˒c k`2,Pe+%ck)2ob4ivT$R+& F0di(a\54sgڿ]f ^4OW=) 9@i4W3cj{\ a8rZwbKOtO83lƠ󙂇E{gqu>]%V:EO+rwjڞa(?6 <08 jT͈$ʘY >BAE}dI:!Q![1"L UKAkB_Z)(n4Aq A|iq )ظ~ĐDPk4*GPRø]ř d7 Ui'Evqaf^l1#nq'11v(9WbmvǢn댧8S+5 7o*XgJ \|-k'O=yrӔ$z:T6xiYSfoJ] q{v2OӦWD=+Ғi_S=>?yv2WnrHclfn8L fWj̿ЌK!f9I-KfHnlئ \Q?l+2nD.Gi A3 i(mn35C$l+n@Yt#ƁJH"RtHJn 48=[*Vd1OAICս qq8 *Гal~xzJ2=(U"xMa$/=#T@>V(%ɾhcΑO' 긗ұCk|?/3x|Y"bijo$Gu|gK99;BRJԋILP'<MÆ%=/+'C,zp^bGDIn]4LN\Al$8B!~ؼ}3&]܃x'^(C{x`+3Z[DwbUh 1~RM/s#wstFql^5!HxR/۝@åL!]=UDSHkd)260/u!uTEx'FdTJrTT]ZQFZ{~ ?W,(_E!)i-ߺWf˩?Kf$ HlˆnOXI{(HXȘG ^cˣNdZ·!: ΁Y :JC,@ |X08: b?jϾVY#KMDE2Hq[h  V/{`ԏt(B vTIn:18G] ;GEpqu?,#dѹ1ί- 80g)̝Iʆ_۵w\(JoۉϛP߅Ɣ!x_k\N)OE[,Y@_rfs突idbb#oC igf @7:PUT<(DunP'yO^E}rMpU?f)*WQn9'SZ[Ys͟=dBpl|dGHa>@FdXl.ؤΙpGA.]]{9!L+\:N=D{n:=D :9`2E~F>7ݽ@1iy{S m$i>=[nZ٨䰈0ދgjʆ8XPH^6ru3׵e.m\VJO^!JyW=hog;658'o'`X!| 6zY$SSV1Qw##B_\SƔ*48,N+xMIR9:bSHC|쳸[dB#J/t*[/0-5Y1haɈC8t4݇ )$Pc@&zIAۓp͂O^| 7!7ΎUԔzQ%QKK}E[5 Xhxْj<74Ө+wkB8MOtc* 2yY/+@3Ę,9ETfnʼnQ- Hr~i5ч#k,7ڠk6P8Bcv8Ē;!1TI"e7ӖqzO:]Bd-[XM-Yn`J"i..ʪRgmEu&rYDp"!}CUywyiuCJQ'rgX02\X٦[HI9f\/5}-J}Kۿ2RuV%a`HH|z0:pdPe^'Nz6pͩ'?ˁc{?̀9p^(x6/bu7tͽZb#l8N]S?["Gd*01k} ;Օ \x"h5/R~D-'5o7P)>C 퍧dXI3`L"k#+1ZX]lv45Q%ym3ukSP7?Gɑ˂BA[|{_u#ͮ~5w}X$X CNZl(y~VDlJ< L9ޅ:w*:q>AOӮQpYp ܭ)P /eܺ5 D+7j@۷#Pr=[xJ Nϸյ~"AȵKF]Vmt6r&lywE{ɪMR 5hPܚx1EڴxH:h'N!%ebݦ^.EǘGyȩZV̜pj:gUj21gycyUnW5<6#1o CZ#@ rַ*RA8Y"(ڨ3=meIk`vŅ^$;3ݛm`pݻ:{dQs'=Z!hbS3t#uΔ {3Fo.ӽ9>)$lqoFk̭nZHHs=û #Oax\O:o7/Xހ׌h0s|7# Oϻ1n 9jP>%X.% 1w_{ڟɦBrP+ł ÃRoUv[#>$y["g\_Z67g τ9_5X#ȴwQ~PAFmF,;M=GJ}I`rہ'R'k5eBt0rPbod{}>x|pV(Wz+lܧ*k h4?u^CaSb 0ߜ<_)ENZf¼fHf)'4A&Rĭ:la6@ٱA$vm21cN˅uJ߻<_1S,_0Hҝ7OG3(-GmMni,5N2dtkEKЬz&p7Oav2]ت(&KB*$giIysWEBU6p`C΅Ő>NzQ@{X=3oQ_6FޕES@99n,lu`o_2ms@`Ej嫺TcMG"ȠDKA8 sJ $:[bۭo'BE٫\gK:4W%>Z37XA<=bIMZth@0M#s,fw"epKiae$o3]?UFrqJ42rq@D^Y2q{!Ijs`\F_S<(\":G,>`bf.aiLGKaVR7/4_ueQ&wa#SS:t?dy]0sd1Awu#Ztxu?2Xwpl(ʭ7U~KD J)\M_Φh8LvO08 Bx7i  ޺C3B 7^4e!\IjSgU4Ŧd T}6XY|@(y!r-ΒDW'?sG=tP-3QYaiMDZŕ# I}aCуI$GQN^kvءbi+Yr8Ɠ0MV :ǾvafoxSpƅ=&5ZT"dTb\31 c  SwR$>hד*a_{U[ԱH#onW#x>B-1 ٙf΀ǧ7E_HO&f<ó9Zhd9xU2/2&aS8^:}TPA?E0P/ȍJɿ˪nѣM½\NIwQJ!F$1Y'+N $["c; \sLoQ,H[sQ_#';:8B6r;q@}>]NɷXVa" =]`:P4:/i%Ld;CH"N U*uŜDDJ3gɈo/4pQ KZw2Z}I <'6IiEФ+iI &RC1(H_G!4~|W'h\SF|Tl WmSXuR帆"$]U GP^O3Tx!ͭBx/n F )!~lGnWW"tG WL7rPxha !C\`Lx,HImUA_5<$Wi͝EaCh55QRޙ<(NXdҌxa6%5>/!H/=x-[YZ6uϲd-!"`YrVxbץdЉa+lk+_m?xv7XU7Q<(Z!&{bn@Fi&;KQcVzE2#6SQB6V9[0԰[ƟIƧ>A;+o`r#=l1\7j4}3TcLaV_1!Vx"82/ĉq|-C\sGbWqP%Vܹy.1;; G>4n,PzޒHQW,xWfaTڬi˴'q!Z~1cpRaa.Q_pfzʳI744]w\u_+V٫M+rddb{oeAPHj0e0]hOU)&̩5mٵ\ 2moC&1!x8ɁI#tְ|jV+%-b/BEVzvYg~jOl+NRY 7szZ-滧8!,V5;!%mmWZ 6hotF0εy|ng~{Fl??J|lnS΢=&)#I8t6J)[LIf숇%t7.DQߒQ}LLC攜nUC=GEOڷxZI|.SsXHJzn }lxLW :$\OQ3d/!r7;l <2 )r bwY.j,2GqfFlͽt> dSd34(>1k6j[- \8q6gwQ11=–+|Y]pQC3(zԦ,bqF7ރҨgV\w% `SFPN\_P]@Nҭ_  n5SȑSuhYzza+l-H"`bV}n8h%z96S)&N0^{i DK츱IUV M7ܓz9Z8<ե?!3Fre`46PwЦۆKpj6&4?i|gHwUmDq ,n 0߯cJ ըpqlQ/ 7Scj, n͉tJvc? t4؟f0uܪ&-7ZD|d"ֱ%{GG(GpeaXZuF'*EpDSy-ŧUu\ $T6YߛL:7dVNi){g'󥨌&s݆X]޸kXo( UKdD_ pg%R3'~k"Sb Zk0TX8Y0 zo$s54M(&5խ'˩ @N~Znqb6Cg˜;/”8Lo*|0x]h#aPv^Dbd$m6v }բM0׌X=sY[$fSrMxT+ ىn;;䈀Uݨ:“0RttAU^KToVG)d K xRg,1,*y"o2 ,MSvq%6>%|%:7'3=2W -mϰ|rb']{DMbg[Nye>QͲŗ?-b=ڲhx&tN^PwPZy0 Wo 7%dR"u8U-[gCϪOgB:RCmqcZEnmq*HbmN b2Cj@2:i9ՊPA@{އ_xX N'UZ chV;q]0~}{rs !{yK:%_&tƹZD+ffptbxd$ =,;-k~Ŀ*h}Vvi$vEj* 6F{e3vVzfU't:Zw!nRP:8{BKƍy R.I}Pqܢʨjr6Hm)jw0& a"l6¥HIrɡH+-ҵYgj #j<]8U{_"1@ GFSRewvR vx*vkUac{\R}^]8GA *нo{3=ZcO9Ëd ɝ”T9j1 }D5lwU~Xƥ$:XmI@^bX]!t} ִlZʅK;uok˝JԎB 9Ԍr/տi;)dMq:CU1]3NBcۅHgK{OUN|](eQ(iQj?S_w$48${UʂC9W)L3TT1b 6σMݣ)83RH LGQ+k.NW]OW_7;{L"l~tpҫ]cMO:a55,[H!7<7̱F_ʭrdqia5_U^>@}a.Йk{^TUkϘ~h95xצI5XFZA>5z3Slk@!"Ó!nϹW%$*{:* hMJO_4nWӭkx|Ea[6XMkj<4r!Kw<|,MǺI17 J2iF1g:$Oѧ5?{$ljN 8<Yp KpnV\IZUCOKbw ]Sx ,r^'|y&\[N˭FQ [rY3}y Iw cmd-~p|3.*E(fJ0-ɔs;Yxc`"$ @NtUWwH,f7tKB)~*E_)𼴽dՌowNuK 0ogw2z}z!QlFwfY[c/ut>rK@$TmA*@$@Y!T!?NPHlxt@EaOx𺬀`pl2̉ڛ![ǎU< Bv./4ck7(Zp2*YwJ,|S^m,C(`r3nxs>YDJU]ؓJ+97[FzӃ o|=5YkRWl *]Y;.b!-@bzMV( sp8BHh;HS~R6TwпC-I`Ն\8 P똎ř,` \WQ.NJ!Ɵ=:$7J-:QڼZs՛%),0lP+HE)c{Jy!>_ב5(|uq|ܱH:=Z"ʽ,֩oT6e@'j^%2!@ÌZԼ!\̳㎥KT_:hlpvC~hk)xU`Ӟ\5k]iUE-xN >$n`a1 0fae)Xl!H\HNϛu%J:}.E1E#m1NuM3m,3 G?phΤ?l1ToilR+='^(LadMGy 98h*)m{x&ϸO-{O(6Xg*MhRdQ9o L5uDo0,g*5' :*8J/?>ds$p`lٓ([mJH7ou%g7ť ?~a,/ŀY7fEԇ]ghrq8䘽h"ī+(IeC|鶙+lY$dr?n0kihjS}6\c`%%mvpj-, 1Aq  4]09js7Yt6u>C`?m"?"!RVFָ H)D+cVm {2ݙ+eaeE[5d,jA B$$B3g1v11@<2(D;QT(3FQQjdugboEKP;m|C s圡`Рhh쵪[RhRX钸In{-t:Hq#3$~FN}he3'M0`#;dfSU<0<ӨJE*i$1͈(_YM&(D^w5ST9g3?ysٚnּ dl{l d?RMkV~>+4Hmx{rFPN)eǐ6 KwP-ШwʥQ QF ]rsp':HFԤn|@QǠ_ܫ1UmؐQyDBf#XܳH' c'l Fϝ ҴZ+Cu|W(.LGնnOZj5=ASuкIְAt>O\g:*l{ڗS,kElScNa#D-L068)_fmѷ&qܺڙB)l_W'sB)cb Fr7Wì[n&*Ɛ*NtSf»>m8&B :Mf-i}m9Zv@h1 ~;,OzFQ2x SK )Ӧ-~ܾBvwJFF@"VȝaKXZBޗdzVH-!T R\R,k= \?zb7X'C⍮=-o~(orTi2YrTvˆO(? J@w^ ߼'~6nʮ@)BYK*C0/;Hte#3{#X'\Xay-qUD=եCI& d$~c`4Lkƕí"Yք_އ,Xwt? FEkE R2B, QNZSqjG*{. 1g,.ر]GW2S4 Tb"z,-1 ~ap Ҁn~TZH7,cR!vnQ&~Im٧SAK Wea/S//erԆNwU'ڿh~Ϧ0U$`rLf(gz~=wB"p ;N)~- ¹xYи>HJ}c) B_=dfކwlj.>)(D+]Ԑ*t7<c00t0ͅ֐w^#aY6SAS^=Kx-`R3 e(66՘tDcrYHŁw9[#CKM JT„uQO?:PL +:IЇ`0!"'G"$G^J#B^`~D{Ovy@2ݳs!"aHiB~ǝ{5-;@z6 u)q\Ģ?cAgMX;ᬵUZ?#aQ4^ 臻A*Su grf AOhmW57CSMwLr95rH|3?)@q>/,i/}ÜP v2h]tȑM;dx'(.nGEG-=7n~/c_U$ˮ`-M+\$G"EiP4s4ܲ$%i+bfe)jH,[R[e 8 /pQu}sG)\j[qhzJ豾h pƻn;Aph) H!5;"kIhpYtGߔຉ[Í"}5 i[[hC&ޥl9JY0ar,PE6 <ߘ_FGdRR,baYXdJwP^SߠC'<@s?P}Wm1 F\)J/Q i^+B/{;H3US(-sr*o.4aoqI[hc-- 0جe)RKz*:Yޝ|~?f=^cgt3[g{v-DfT#*e @˩#l;EY/zrtvr>`HՉԞɉ)rw悺2c~ﷸHgf&)i,w -|ౕXTowuik]rE,ux3VKjEg+p|`ﱗ8L"+m6 />M#+,vHOCsdx73znXa`g$[SzIJmpVE^dH{^X6QY[quT,"KpO,8yPhVNaZhf *N1)+K3 w@ߌaМM.%ו{3V[S8kӭOLN^5;̬Ri'\= Q,OB_Po{?>ûU}oc"|z?  ɣ0hɕ[Bm?H‹ԈAln < 2*~d S7t\{ ~h*eoU凐y*(SVoiᚯ(_ Y a*@G,ȋi0W؛SÂ9NTj؎+NR*Xgk-J-q0={ 6Q `: mL |ks1r%vt,| N]i٦Gv߶z.S} ,]D&{4KYГ? #rA r+yLŒP\P=_M=Bhl E 2?{p2p-v`m( F)(dn%?7R;JA1+LygW3B`E<6lɋ`y_o:> ͷ)}O\'~-1w*ᵃʗ맶 ʼn3[u'Rie/JCBHCHk5SN@]ۈ|gFji 1/c|m#go`]..CH.I]rQ+'r~E W,XPLqWGLS_\e'bٱ౷ 5^/rcPOy>gY,zNܫsHUKf> jzdk8t9I6J4|%&̥݃4?=^nasA7G7>mD+9%> D5>8*YL?/|p:?KcR}Pv~tRH.N,nrJa5 \,BҴ]|}B'7Bg$[d6YjDb'<\Z~' k|_䩐fOdv^#y}[i&>K߳bMqJ\DVCLvs * e;NdqiO$ ʔ9єn'/0$ıTU[ۿBob^&xsӊ,?| /8\tJ=#\hȻYax =MVn+smENbŸR:D 8PAlZw\XdY6I+G[\!=ׅ|Y3+(_@MۖQfhK~&yL锹 sNxF-N=Xo8 cZsLn-<37؊ʤW&7Cb>a:^uؾ~ioa-<Ś+&#bop;"2CngI&%/<ժ nZ`,⤦pK\sp4A6.LVÓ1H-YR@|!I%$T7/Ͳ84Ī$GsĶvT;X.J.z Ֆ=-rq-IiDmEgS9E@{)s-ԩ̵FH=bVj0p\ór'$9c ;'w8qEMzSe:|M &KoQ|L%+ >0e6(6H|A҅arJuiT4آ,hcoقsQoeY&&7[/܌H=%*T}u7lL{YwoETq!*q'!aV06?$[J5KMR3H L-D@{{=Dme=%0H B\ѳDbL СSC|a4?t b{0{|sѸ'(EY {aYmpNbn5K-t&~ A4F;@@$%'dv~ܻ%yv(*g] _q]*x4еNpF<&:,[hqB얳g-FXʕVn1b1jLx& +&ݳKw\wd^ePڲ6s5|:S",i8mcrܽ4gwP!v1a3bNf搆la/_4])P"F_06֪u; *3K]Yk,|-__'X6YGLX'zMƑb"]&zaq+N܌eT5f]|sq/8`F|dձAX`+[QjEӢv\_g!}YEͣBky?" 1aAܨSTAOvi@عYG5䣳:Zf8((PѮ_ִo]JUi?\p갳Z1R;h -`gpW2f@ ;N6 mˈ+X_$e)6:AQ !l |w- w;d)o;Ql&Ʋ3 X1LLf{I]i% gv|Ԡ]^‘A!3"5ŵ ^ J۸oxjPB/P*s}U?6  Ny}`ڃ6ЄbCt#3SF 'K R>Qojr"иA 櫭/r|)\L!>,}X2L ñ-"'Y98V=5jx֙@3Z…@1tŗ-ǎ/܁aPKUB }d=_nd41u8\J1+&ḃ7-Vl *6Q7SE~4YXfEU/]ܠ+Q/h5k}祉*4K#ˎ<<J5SJ?R⪨x]ER"p("7\/Ċh|6s'xKH!ͶQ 3,5Mf mwkGJGY=!7;˘Lm ҋJG^Gf7`9yjY`(J26!kfܸΞQDrqΔ̩)\;Oqm`THʘ./,NFw1( z!^ p#uUKĭ|e NAQ>`{_'8YA51zn o2Qy(7Yq+ީX>|Xan{"tw!X|n ?9[IRoʰ'= 9T L3yAoF[>^ץ 'jY{jv4@/ʁ5~Ӟ!Ά~T&aޫF'rG۝?N`ZySd-'ͯK)֦dZv !\&֣>Lτ^ֲfWĝdU p}Mp5cGq;Mfoe:e-絕t$ۘ:R&̈́ڄx?F> ^MXIE˝4/3pB3E +3i_w_ {f 79F SV'S~Bp\aZ"ɣm+(mU*i(^|꿗?s?}R"[q-!$R-v )s-=0+PF?5H3SiklZ<˛"S`h7zϸRgJƽ@&gpG}[,_|:nrnpif( C{7f&WRb,{~i'O/L;Ykh61dUj&9*28~*+\WO uw'sͯ |+-Ա3z~ڪ/gɼ+kĊJ4geZpa>ϥtW0qKmT}`zNlmf:8?n% ܍Q2+F'`Z>KPy$Hسjkn,LУqLT0'1#g|L_ $(̟e51 KJӊ;ywwFOŜ'j 65ܟ~Tc 7GUk2pA oS>hTxYa2:Yբ'A.V3zNhy S\$.BQ#'6=(XI9`.LNjIKXgpdA㋧hkݙϻQx8&eD~F7 2_}+vyî^((tӴ0W#G.@n kc;b%p^٧ZsQ,CZD9y[-tX;s^'͋iQ7eY o,7Z bq; U"]K|vXu]-,ŝ ,oL$YNw\Bi Kj# (.ا+:RD -ʇIZ-R̋]L ,/k iIv4 d,'P:16'H`^}"Yd)o=DP)i#D )&Mtջkt߁^ͻOqFuױplR#PlǢbbon6I:%7Ԭ0\fw> }[xG+[LPF#'uqc1 .Hc{ZSL4%Oߧtpj+<+q Rz@.R [rHdʮV]rȮv҄ }(;MwTo8sg%qԬi61$"+Wmm 0:j8ooUTT\eǬ1 É׳e7ᗬ ׼Nux O,/dɡCx8]U&*{s1AT _i֞bC nĬ7{`딑i=ztMׇ5U$y;-.E-%wQ^ ^ԯ+QE$Vt鿚WZfKO܀ 2£ SK=1C c u<0nή!9'5Z ݟdCF@d݄p9U[W+eÏ5N o' : ^P?|Lg&B8N~:]rЊ' Ax -c7#s7}˔yya7.[éNt.E7.:ҫ~_ءp<^(4e0n[ eځBk(vsITËwF3 HWSӹb9X&2_<TfW0Hd o ʁd>#-w 1@KKK qhV4-;sK}<ȷ+N4m=.È` t^+aPҼܼ@gE#,}9pTϖ `ba!t#!1cpY<NIȿcKJ6»5ui;1x͇-uQO5" d?!.f|6Rq.gڻG~s/uhtCfI9X}dܱͭb ?ϲXVG1S! _\""p(yFUhHG寮; WM=w]T݆C{SW,TLzP &zɳ;&bds7ވzhR;@+.A#_ ߼'77S;,#l _1I]ե RI1rr⸦F,aI,(* ^pςy=+8@&BI*> rU?7"Q<.;sK*l2So!l8Iv_Gg򂁳MO[AFN\?J''* I%VT)qRAlJ$Zp[`gpk /3Xf#LϋWh E*(^ARr(/pfdU.)fciZ-4^;Nr&o'(;>{pe,Q(t1E|B[g[)P.Hy{ɢvW)Ch;\pO(Sa<|a\?=Q9s~y/ \6ߗ7zTM$OF#d䬵Z/Ǫ+arkK  93,5ߺ$ 57TQc#Unx)zgZҦV cP9vm,5}>VVu=ܱN1IzhQZ.T1GrxC Ѝ@0 .d¨zqJ'~PBL[w^a|ZeO7g)0=ܖ5zקG@u'K#A f{LztOlKwy܁LSroBLjuF/e$rStN,[Hqq]]Exrb0{u휰Jzʟ(98Dzg ;-"`R墅Rth?;$/ΣbZ U1"J[d9GKW yM}}j74 huaD mɐyDVQ te\vu6N OjG Raz,W2NS^ C@ `cWƂ15ciE/5ZAmo @ LBELj͍.67^$S:]GIz`lg ]_-%5hg.z m{( fؠg^K,OUߟv!Zyoe@E@cK쾞Խ(?άu'yߓՓNPHps66^**~MRvFh<$?b3"- /Z0i( */j(L@Q0avyOlZ>P%8kKu?NN4^F"%: gA\>S ]nr.4 P8f}йVW6G*5A5j>o b ^ʧ\}q're8o! H ̽ձ%Q lCԀyq˴ã0REIxm{dMi4`*+q/D dKz(A`̯hBɗ7@zцTMh|aQLsdY9̇M?~ sp ̓".5AڥT(֭m^bGa\ |ewHS8Gmn5zi(weWt"Tt4AS~ۼ,{o k۔cSI<᠏T k. ⨉SE(|7`El] ̰ӭ9)q%UQB R h.Β+lBFT٠ HCbkyV>WZ kgAζ 7y<Ӆr-C*%Bƒm<nڄ( u+7,ưDz\6 *񀥽y"-tC*}oEd^lY{d0]eú! NJ?-J̄G(T,>$%z[mdsBr;HZzk!ʦNBG+[ 8 7 GMA#"G2 0C=`P*FG>fa3ESe6'2Hc^ċEL/صM־| (`A48#b܌c $Fwక7֢8{}hӭGPʭ%%\D]n I}Pb x܇#\o,ND7 rgYZ7zXZִF! h_]ŗXiɟ9 i:4V;}A<<ګMP7l'ir}~}ʬoڨIV2xQCDwGHLʑ1$rvHs-RXu5B1]x0$G˴\#޽RWGbmo!d 4zG"N[gzR[4du }QS%`uUl-l^`X}E#ݛϞ3g`I%9bvаQ%w^ڠAm:[ILlҕ k[[%L1j~ K$7 ʫ#_B  `gYZ7zXZִF! $O]ŗXi%L 7G_qv n ׁ`D'ტTَxV]>nMB#In2c5KoX1WfDą0H^ c޽ֳ`䰣=Q:Qb,Ë>/hА> ՝ ?yEb̧BHUpաHjdEJ%/찭 \}hx4 "RL~ⴘ 1,:^_iFMz[CY})P}wHʼnH B CuVO*MMJ3 S$]n[_ԁ`#ub6Y1`tR@a\[.~7 bxxh#W87!Qp-X$ƗfK~?3du<Ji;>ә6U]`qTWjU~XeF-9mWi-٫Pӭ//+Ϻ/g]qt~ѭ7O-AޚYEPPZ Ƴy ҸS p2y{.})Nt R6uxj%FC5,֔bV{ 8mΫHcgYZ94df35bad58cfc7233ceecd709a945b6d263ef27878f3db57e9f610cd04a9f038453dd299557ef5f b8ba5ca847eb2a0a80795afda44b7ede727a091f c2173a8f67b2c94ce6945fe13b798666cfbe478b