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 #L  ]/ Statecharts:threads=4elapsed=39.165cpu=125.104gc=2.300factor=3.197zXZִF! o喞]ŗXiɟH)0%ownX㘓R_K"Ft4y eΒ='r ͬ_=SJofy )0czm' wyW6O%A83wp`J"X#E+Q'.. ^A\lZ_]e!0((my0ޕ5`G=O{>Rxdձ~: vJ!; {5[@8{F^])Zri3(̭ 0s5vqdpIFz;9Q(R)%?ZT2a=3ö9AyxNtVUia?~U{-i QU.[GhrؙO Nc! |'P=CɸSUc%XnV.+ 4WO}Zav.0 `. 5j>367x}Mj*"z+N#?hx3/Fg ʶ))^ts[cv7 /aWZ>bL( a:f"ICc0WPyVk1Vyc%4|;zEUCUElnfsB&AVsh؛PaĴytܿȤn.'˨Pc̭hC&YO+͉~V.[|ڝ]"X,n2Q [zfk͏m L$U9n9S+Bj3-j|:%VXu2Ȁ2$~A9um&1Ysž 9[ v֩t.hSi`wBi Xw˶Vчc0o4-&f*7>*{V^Aaiz iF̏Z_4J0AZ)Lfrh:;7#3p0O?!ĺȦBϑ )V+JԲw|(IgSw6Mp--Џ푝iKߒNن6ǴH""S;J~})c@TV%k,s(񖡲҇Ҋ 3N+_  :{. o?= ֎03~bv~wkt sp~iLqi cQz+0|).D=OXNȜ2AԖw F2@b)GK5~11ݳq?)[S`fx)ٱ PZ!-YV*|HIlpܮ~Q}4Sy)blP#U*p[^8xeݿiƑJ_Rȩi T5TQ)@~'5Y¸ 3sVҜE&2݀=t*TTcTp~c|c6#H,?Y@Wf''وdc 6s) K@?x[~.dyݸRx@_cg.PmM(חpmqMvV:[號pX(R3pԐXL1rB#1\U*^yJg3^(5r7[ i8a+MO|؜&&؛6v)H&<(QAÛtXq~ ʨs[ą ;r!!{(^ rk5ǀFasWF,TfH|*'R6q&F B1nƗt*Ӈ-PS-IU<řR'wTs쫓C; >e-GI+A!H.ltYȱt;IazKT2`@ٓzbz92\LtQ0#Prqxrwl CP o>I#r4tM2"Ru!z=G nDS{ZI墉@P>LP㘆z6jf~7|PL| ˚iR>%WU9[~r^J}?,fpn|AϽ&u*NSIVCێczLN@6]CmwWmU3TdD9v 2d' -G$mxTQvPrߨ)60%읶No>m vb}Y9"+1^?l+$o_Ry?W9î Z믳2(EQMZtO]Uk)%]r}ZD޸>K+΃z$`'WⒼ0֋Xa^$ȯ?`4d/I+⦳*sځo~I^_bGA  <#Oz}楱ng2~S/ev%UJeVO ~s\X6rbj6a7]W yPYdcXAR НL-Sg1Յ gvs7uX/q^C,vG`c X5dǡ8-|y`N Oku1'"h$N)]7(3/ VjHqF-.,Dm#1L ImыݥWpZGQ6| A0: ׏2UzBOM\/g댚9ʕI'E6bGYn\Cm505p&ls.%{ ^Ay>3EG[a_k@d/GΠS 8xѪ3nJ!\S)~x|{:zbc RYD@dqj|RSj-].*'L76 ăz@oP$|ܮ&wȿ5)FNp0܅2W)C[x>ÝBOet7P2_+,1YHr t)uԐUқ U=)1bP;Q_$܇5_UΖtE)lG!w~㞘?0bxDiؚV},gBݰ2 uthBڳya ں0?_obV'I1p${|S VXuKֆ `nm5tFL<`>i1˶Gim/QnRhe^k /Ә,*FV\ʇiB<h|q4f9=+YV^1[+5Ɯ5MEd/f?|*)o=,dѪ_B +GkFLW i({z$8gHkDʋK4V휿bm03*r]߻Tt*qZ*̣Ůr?t$Z"h{,(\E"{ua+0AGiّ|m:f~1Y ;8[;=X(2Bs6I˄K*E< `w(S[>I]gZYDM`59HJx)ף\a[_d4/qml2՜x7E9GI!}W.$CC(BpC(_|`:G߹EW_t:e(#ځ{A YW]b.bS8?=;{0c,c[Dl[OD}t}r3zZYGWm&Z Y""zI7݌K=vSc&\;`5Fow|2~{W?R!M:ZFD7<(E3JeQdJz#)Sv6 dbĠX%*ԅoz O#簭ڙ?f UŨ]n N `s,&1\RM01x+b.cϖJh)3,[Lˋ^-ҏԟ)gh> =f$CdLo\1& ,\3J;ԃ(INuQ3toj_-xԶFc,u+\ -(R4zH- >爈Hݾ;S@aCDoԧM#8L9js嘝hv&gg(1.epS!yYKEtRX6OP*.;>+fTO4Uʝ$\My۬8XL{a/ 4fJsՊtד7 f 膧k^[_Lg~s=,B3&jvGBeyO޷=\wAr~EPR4F@C ,E^yf.M'.;4k#\t&طpͳ'|V=j}hj 4 :|cj;0P㍲"M3R o԰&oHW%_Śqd>ߡR:`bEK T쳙3J e9^=twN{N.FT|0; GDފWBsfE_[mNH VM@m(pxO\m E`h9=ۈ#pgI\ _X;"Bw9 0VʯBӪDx\Ο2qqj r┯rA0`߆!B:-@26R%Q6jX|EqY\g;`ݙ@K:*CB#G6C{ݏ`;]"+ɉ>z/JuD{ٵ\뽯Qe i1x,lAOnk@KGlRf$INf-([ꖗK#VԱc ?E #=Fu:L ,KĒ;|  ^c 8`%L&MN!maz&N8 ty>G JTU_"X&{-Cb&j`M-7jhHlY?k?s+Il+ 1xǤ5^J=8)ˤ=n pʮ,H;%GJ$URFQpoJXZAUPC! ʗ0mk BW ͪBbaBn,\+jn%fopTMǦd;>I-Q r?;(w{hsd ϥSVL8SG<2dRaՎ,r@n%bN⚾s+sTZO YwaODNSN (6H D;&RY-A(eof{asY,<4$ua]X^J AHꬖ_82}֟: A݆\^QؑU>MSS A9YXkA{x*$1?'tSM %c} 'ϪCkdU w5(RW\g 8vU ReK.9ۯ.D}a=x FUEim&_3Ҭ%\ p9 \ӫM:vmAȣ9kT 6zyUR]xC CTUJ 4#Fu8w$/T[9O} $-OO @dPs9Rݦ3;Lmyo/$x|"O5ѳyaG R i?FCWEWϪUm}∢Gpgqkx_{Qѐel[!w˴F49l]Pr֚0ΕV9,XVVx|p"r2Q@6ԉZ\7Dzԧt]pa%Q?~4Jfp\P}Kn4Ga4C `O#OGgr`@ЪF܆O-@V+-Ɵ!ANR7 }`-:U-[0|-EmsoHZZq"];UL_F4w4K"≼|X:ÎHN;,'s;|C٘ĀWӥ[r+REN ]~+)D%)n1 RmC*p1*NzF7"Ot}cl׺1]krYSe[”Go0uyO-t+̴}aJCL"Ĭ瀾5MC}d2tCl;!} n<~`^w(c (}ekwBg7{PtCPx"u:[Q>t>{,X>ܠNήBݾ f[nyHUWh^CG, WmREZ98fї$hf7@+*#EDm1SgEVfsf@BvtYK␋꼐ldYc!~@=qʔԪ%8ЧRM0B8f?%^זL{џBJԁ;RJ͊]ܼ%OPyqB"ޤ+ޒuDYQC|l;2#|&[/8'1xH6rbT_DLGE xRF}TYe ;2tٽ6F8AC0] "4Fg a@Fέ{;W뮷X\_LƇv=/;mlLO9gn&⿨EU;h2Z1cs>)t S kҖsa):aMhB5Bޱ/# "]>y4_.?ˎ0؟Q|d%w^ I&Sͫ5E{L>\E8#I9 8XhK%T*V52,Z_d~-&נpຂKX:'W鮫'Sgק>x?dh[o$wW_zℛ@tD@ U+lI0=NWN#7ҡۨ'j:8PDpˡK^pk)6b5, ۅȂPyڶ|wC{=kE`thzp><3"\d^/ȓ!{6z==BeE];D\Owޠb]Wwi/4)ו*o7FN 䌛Z68zOmk6C{RQ2ȮD5VحBx-EB(¤^8BO60c֌(_oPn!=T9?g.4J!atW@>"a/(pz`}ud6a3kǒn Ls9k ?0i2N:FOނxaD@5v!1@$ O޺Y>1yRgp]1 4)) JE>`쒷iwbH-HjZ`X 14X˷[?l.c0@jrK`{juSIKݶJiwQ}녆43 $ AH8 _ }~eG3O|e5p2u?O*UY X mلeV&cRJU7^%h!sEv a^ATN[7`JU?L:L/βFS'ٿp) R1+ iy†dJ-M$ ?ÛMqZAlN@}[Fvw1."ξ̾DS dymo]jC.v<>P4!Q\ r;Tj 8w1&%U-$68 5f6>*>I{q={X6e<^>d1΃G`%4u9%0aJo-M}<}}I(Hnϵg9U\o A:^ <r/(.Q+1紱,ka;d"]+ш^&:ocq e&^}72=t57dĠ* dIC>JtX˃~g{oq/n_!6eF<.7&q_P|=dz,Oٰ-."*TxW:n̰2wϢڑ.G ͨ0lr cRnw-gf%,QD2q.Wl˔f3] mI۵0/"qOHKJϊI~ZtFҠ_m =BDWid[+֒gPȪ 8\aY: w瑖`*ɳ\"tKFnjO@PtV@ Qu$_|z@iBj)o 1 ij8!RvœkR:%!~ 0^K]}1X-c,bG巧+)j[lPr9JT.&Te:F d2AWFҥYt N4Q=C|(OF\;]ͽFt +n| o꤈cq@zQc{a0}£<msZP&'.:WZXU1d u]:Pco x?~VSK -\ }5_w-'s˻vg(Ðnq}HQ% b[2E ^ѿ_Z}o3Y,^vd\!lپBw4Q .vѹYC8{M;S\@Li,:tHwŻ&O/m" 2S%LAD n;<)G-0œ2k0Y8 (yuWcw@NMO2FohԼ@H1۠)e&{<7;\V3IvnW)]!!_LN٤Q,bTd*j ̗:Sbw7 "3X7ntW n]!Ɂ&n3CNq'.qz͡Srj(\#~ YPq2 ; N჏.hx,/#n!$6aP89Gj5M2`DOC(J(sϥ-ÁVD'7e9&,-Z]c \JFw 0יWELxm&:UttJ]ÌpxaƟ,g"j\#_wJ 1=nm1Oi EOGxBUOxNJɝ9LBڳc)03)>{1ȻG潷!Ap3\h߼L~9ꬾ -~ b/&DiHah21oWkP Kz2xYI+kbג]3A\RQl7\&ZsQivi )޶ݺ;ϕ8V+/=pv͇Yn[/#ٷ 1:U@S`AZk?Bж'*aV4?@ L-ƈfQa#{{Xi> h p#DNh7P/m~]4W#51wg@|ˌ͑cA| &jTR3n`|-u3 n}8_&{4;iUfVLgf?3cC9S55G>k>jJ4[,,gz]0%8cAJykw+l$㹭ָ3.:<ϱdi΅#mDc\mO+fll)3 KLȡ:(6̊Wn58{/Jc-*/ X5?uҞnL ]$<|4'+y 0jG]`k-c/YC?&ěІKtg=Y,[ 5CՐosEte1irL4RXCP2 _w a=e=6Ң*a{hsURD]`Mmi-VW3> y?m2=ӦI-E Wq!=ٮۉ?})a&6S'sΛyM myU043z|.gXC{-v ظkZ VxD>0r_=N_n,KI OޤqHoó7k<^rUT du<q-FmޔNSD*/+pv=٪kKCztmg2`վ gnQ݆6O5Z7&|tMLX0!f.?FWy' sqqֻGP]\'G]~εr?B2V3`X%2}] 2_bA:uX4>wY`<Ȉx7ayBUew9|@% iXF8_<4 BYsJm#1E@թVg!(q<7jG R&l^_aVBAIٿh{^J[\P ڕ r XBtMR:*[&R5{?!UW:R3L03I3RH<^ _ ih.;CR4-GtVIby^n*|3k7F1L7AF ;~VH 7Hs8poQW |^0- M`wi wK&yb+/OtE֠׎ՆP,B QJM)RITXs"K`+E9GJC\+PX2|XWƍjgPNWJg@3[#ACe "Z[oRkF+F|(_:%:\ #b2E`j&pNr;lFbP\!lF "jG&<$nuDKRԠ'~ۆh8\뻫=.ղ>g5~pH&a$Nt ^&fIg'-T˓,'%1|a.qYfznLtZ+ܠCq1Z>oVxUBfi5SiAxDP?1 LQ4gF&xHt04x Wl"x>++vƉ|`gD9_'mLTwq*~y ֤e)F{5}KɾڭGs2~cxuVap<# B~h4Yyb6u3#qѭ{qmZ}Qe](OHO?s6 I . ;|wq: 2ղw.ţif iϙ+v]?S9ӍfjTn,]F/fǟ: ɯa{gTj'\q>FZS4^/Fu L`6wQD QkMO)>v%̀zSd#wz ` vnP~; zm(bW޸Yp\VcL~/A< &Mm\e\9 ~u܌Y2aM>^an'Wtz\So]K7*>&%|fs=(}>cFe[r22אTI+f՚1[Df}p5+ZX4/A{T*SUo\ N"j<VxҢ=GJft4'8Im/Wfy "(p} s8nvX }7"2locy yϨL1 eWqWhn#aW.c'XMБ~Lv 5gi@3TBgi4xmPW%!xZNMxH Q!Ri[_,L2Eu,Yjǭ!-栂dHpD M. 5ӕn7~ۋ$g^՜܎ߌX󎥪K !WX A#wQOSo&i1z%leegY>Io4Hɰzq|a'p;2㛱tf4C?6BPdm\WvjÄTZw/K(G,&bBW)dKrgnԧm|-SAy'3E=(pk"Uq0WQO9~q2 Y%EZ;EM ~j蘍.Af<WljjΧqe0ycG/8?]=mP+ppm_K&'5| JφHxяG}uG%Jmisې8IsLycY:dxYHkNUueR!\4 @HSqyd:da{_BfJ}0t13Weg@bjS[z/lI5FKm2Z5|W\LQ2Q"FHEBK|"(Of/_;OZ3Un%B9J#!c GBQ[I >{("Q 'ܼ^*1>o*XV 2)Oy$km#+t5--ٌ۫[7$Aw"HM S;jpdV C?r}әdWA\>[-yJ T_>V;,gzg__l%` ĀY(p͞ Q -+MsH"/ݹLDe}ƓB3E1 ع`J]i.Y27F;%fs5p FYp3҇Јjy>d:|գRp;aB0jYs`N@[܄ς/ZTf.FF ;,:hXe#'̧9 aQ‘\x'l_Fpq[ikuLݏ ߟjG9 vﲄp(ST Dz)c<`>8K?4poY8'2~3R+ӓQp\G|&juDW[ifi]rf7 a |WJd\pЖ)`04ihc4dP#o@aZQ#nΚ,nus6MۄdFhXŝ~88FVTp}2Xxs9GI&Lmxyzk52;{!Hٜ9ARDJp0VDmƑahEZOjfK!C N 'owsNdkZi/7̈o{c v@gmtK"WW/AFFµ^}գ5DG]SZ03[MOWG4<WW<Tsi]DscޣWp0d/}8?2ep/ . #$7` YCޫ$9:$ۆjE1ӛp#uR1|?ьqF/ 4^$Q>>w,;{;WvN_ƩIqu@w@!$@x5 NgjykEt8WTDC0MǀL-vn gOovsE)QKz?[X2Mx/Tfb|vƞ, Shmhg1VvBmي<!"/CvMpԹi?= # NU,2&‘5 S b)jaQ\MLXe٦54F7̚޷ެrfmXJW.9o;solm_I .YȌ:1E ~Nz@#x+R[Q3T7`NB[UloM Db=dbIX. OzGɜwA0_B/lgPz b*%+i%pDPTBg1QUGYۚ" ?y F* dYCVa0yS};2fRl&I @1@ĤGnjuP`2&FD@0ÓnN M_ccg 6;0ӄơUaiΉ aa_l=ksQw\i~*<=?0r0ÿ`h|} )m q ; ]%-%tT7,jj aiZΪ 2lKo{{%iA*{g$oބ';GD<#@ZcȜ/Epg@╓E16mw*ܛ,OR$ {w1`9u51Zɓ~坸Շ1 ׬% *";)p?7Ljt]4ٺ6;kJƺu2 kkWXi b\bh4=,HZLJVGqf{'HVkTQS5>2gaxcLYoHvY~y D0+pK'llfx;3ս}k>Z2_Eebc*R b>EKCJ 檓Ӎ +Wdrsّau}P+Xa;6gZ)O _VČcY}hoU/ГiPݛ2m<Ҷgkb:?Q3asв,>B`/H-oR+h<ɫ/ajXS*=㇖h,q)7\veCf)/U6}z[5ķȥ$,8F~l\NZYx7YCؾ1[ERQA<ٺӒINkQlbBZ9j@ c:6zs4f2+06u_{r} ,@vO7kYRs_p)ȅ͡'$֮ZM!0T*,JN4[ԯ}&XZp9uvwv hU,aa3U1uͮoCq/ ]n?zv"Cu+QJZNx-vFE1Hto`aw`$¼W^)Ԍ y;I$IxKŸ>B\-au<0H5Đ(;˫Jov%(qBi3VY#m90 #\B@b߄)p a."MB~R3|I[ˑc~R^TO/WpȽ OL*Fwݷ!U0:UF2\ (>Aҿ,o0%. WxjY9^>ݠ +^5D=KQm` ";o@,;iWYDL&]eCZB-~}C2@g2Vv[!3} t,|yx*݁Vd-+@3`͡Gz5Z2{n1<$5ױ4tk_񲭨DAEV}tA4$T#ݬ|_1,:]y_{*|͗%sxf)AS,;[~*m8.o!r0]c㬣'xFd(<[oB8Vde)ŋ'D`#^cy@9' hPg6? }zvDG:0 OLq֚j3愩j6 6~,ZU7.B(ϙԫ2dqVt4N(D8aY՟C*fRW^N^MY/gD:?:$Qy'lu}+~Ԋ0/n$V AW| oѿEY=1U'Li5=!טJmyoIV*+ݦY\"҂h@qT&D).[oH3>\H4@"ܤ"$b[njBN㿃* joyˬf$@/!gLs ^Z]Yuixpګ޲ =HTV8ǂEtñk 0?GzyָG`HwZ{%*0ESPZa?ӯ2A~g(0BWV"iVHl]>z G&%)[h >ʨc4TG~{'E&mw>Dw3fE/c"Gߟ ۻ4c}CC)o'fO)a>_ϒpZgYio&hO74O<2 ػhZE+i Ar!-9h.T;S<@!72cPKGA171}9s? qkA X z /gvfwuڨ|  Vۡjsv]HJ3l\lԆE]%##bWs̃U,Jpj&%b^*#V^TEH\;wYH4R!K+WRܐWϢ+ $SCs}@l4JV 6?v=VOcҏ%Wdf^d4(6OUWPDᮭoG = $l\_JJ > ln\PELAx4JLyH@( =ߐRxwL*K.4MjnM9s31$=o}?$6hfaY cB8cEWd'^KS2vɚ rN x7nax/aLI:{Ф%tk>-*QT2k0Z:h5zZLJW7 Z]UN$9L0i'j`Ohq}H?CL<.L+=^\YvJ@¬;+K(~LBw3dS /Skݿ3=QHWwsqL_ 4O[M`_F &lL ;hY׈hp~%KLWC|NSʦQgr-|h cMf>YQUx9V@J24@"A? Zӕo)&TgLeʐAߓ2Ɡ1"HIC6zC!36 cѽPO5xbN{VL3%W:=F:_7 (J k'沙3:u h5cUfR\1/`R_V&vB sQBk--fpΘz0M6GBgGؾ#씿AQzNyOOmi`TTQ8x߃_;ʽ?VhU0 Cm%\*S:5jE1>KKuäLxQw-yɋ*ʆHCh/>.6N ͵VWnf ESmn kV8^z -1g:'GgҘ̓1vse~⊅bzpBx]I"Ey L:3_w%pN4^?_O9=P=jޑ#-#7,]o?gQy5ި֞~+../Īt֖/}E P6 yYiEอYߩ:ʃ.S~soei^S\N0/2 uskЍ}I/"jRq0aM/!{Xc)"GAart#3^.Kv4~VX`WfFMKu|MPZ ƇY2Y5u`TqVXz6{b~:unMEk"ìu#}6W"[(?'er'zͥδ{X }^v,c[Oz5Y"4bMf,< FhcYG==猜 2W؞F R]TO ITŚY|iL2L|D@LK9epn#ObvUH_Dyty7NȨד"Ίk?uɩ*>oUPXm`T^r?YvM)1.nR'#QuLվˍX6K35Cr&ggL^ϕr˂q%"\!_ԯ_ :49 fM^{Y s@1)DX7mQmC4QDŽ^PʴDnC'C磗)"|L(0lupqg*U7} 2`h(QR/<>cI;ɵ q=6{d+\o~A kەYH"q&1?ψP F,;@ꪲ$M8tJۊiߺ &ת{Z-[,!'dH;("3'kt2P~_/蓴6VH 41J3/fZ70KGLw<7*@yrX ٬S 6FWKY酏?<+hQ[XʒҒ2q.|c}>ˋ6^y:d[ 9 vz`sRWJF~x2j a)p%u-|SXITjr1Hp[Y(J5:z|i&W'8‰(UÜ@wsC!ok8Vf&]Ib!{[P^v ] HRaq!,|J㜏\Ǥl {H;;=Wkk~L #0,S5L^dǮ; L8-kb @![a,ޒ Y&:M-1G3\gjߔ,LbN>,_D$\34.D{_-ѬTbF>5JWC\C@mA7RdRNMNrS},ɇmz)0C^y /x XH%=ɞ8K'oAjѢ2&f`ыPs[t1Rob ޤƢ:J Wg.Mf~<00I2H{ ^;a7JE^oP'Ҙ=cvwxRx}FQ?݋cb`3ُ)cW視 13U1X*UObiU4fgi*p'/QM_Kza6@L!!Nn`S܆STZ0GNqg$8>nԈxO< (6r'ŖA?)Y0+三4qܬ" 'EC!I͞bxpC@? \dTAD-CUOgOxIqs% }8c Q^VY{0W/+C? J 6ΚMmcHjbjdm).;,v5_<6H! P Y_R!%;؇&a UrؚCYVhiziD4̷x 7t1F}RL{@R>MOIi4ڬB*|es}T 3D8[cyc F#%BH7y[Z:.לe /tRYFU(M PJ$^f߿lY8:k7Ty:ORHK@n #r*]sywJ ڞ>;gZl>@I :MìNRi%8+˪[ W]9J: 7 P\ IkzUWvhEK1fˆ_BCteNe(G[xbtSSI֋1{%ℴ̂e,܀$m#_= ؄ԓՙ󋍱Le`wj$P6Y/ENz>qS]2R{ԖpK5*^]JV q1L݋bDYٻ!!PƁZKJ^/^vɽ v|K݀;<:U"ЊΏNi*^ujIKd6å_NmLCSW9jmלXK?nDx,#"Wl^MOkk;c{(C-Y nʒO,ɛ0jζ^2\&Wr>"j4P"LrzDlGyO!G~u%k}+?b`ޏF{sPE+ߐrZϪ"oy9ho4, qMmkxx DHD9$590t?|A3#_ɫE.~:osy8TC "3;];IWIE65C|qF)Ofg.)ȈS{cO堻F5o5HAl Jk_MlwkA$j܎$:u=a){e*RK8/< lUNcߗ\PǛ:,7aSޡ%"RvZլ.轫 4͍Fj;" #^]ҌC7WkI7\ri)ٻa.l\4' ,|u4@v@Y'ovV(H}L % ّDxwR?]%BVH&Z.ea nR8,,Mb}eop7JeuI`؍lyٹkpqСkohQ_=|b;nfPy6j5g4_>)u>_DVWb cx*=|$Dr.5FKM"ݧ( |=0A;==H UvƘ]S5K1!KY8"ug! [,IG;dk3[J/]Q7`q`^ 99/@(iǫd<]a{ByB[^#C˄1Gs DK~KD'sqƓv/$3٥e!Wۭ9Qg74+N ԉȩpplZoL$7[Vje;dypߟ~IY4 u{'},$\ (ʍJ{3\F7^&K <ӭ"Ot_2[bZ%&VRB&Bzt1Q-*RS/,#HPʆmA[{4)~tg 4 p/rdsܽ}ɹ3fփY?)"|yY*D?ž#2z`N >!_ lCTn}xWoqL4u wƭ9s?.y:kpեCOX\ '$dZB#͙9]Q!N.2y]J$sȊHHyغ ;P}4 fv|)l|O:|T t3nwM¥llP~TܒuaDm+ #_[r.z4_g^v{2h2@Ӌx-&0NsMx#JB 1()[]$GMNZ䄬-! ][)aQW%sY&+(4;˗׹p7%ΘǛ⥉{enwGis8N ԛE@k=.^Cꨝ: 2$۰S91L~V'r<ފV=vv*UlY8j.giʛζ5\#Mڌ$h+LʴD0s\#Lm7 2 zH'3~$9sk74 b?y4+=WDiKFbjK3~48b]Y.54$\O⊚ag3D14YI4!C١[F Ce 6$2?bRX&LL#s0z N?L Ra'ZGCGL& ,KEô4V;,r: pNZ" !RmvT޾(?Y)}r0華c-luL56+;bn|37pp /|,G兤M\Y*L̨Rq)}}gqHy<ija)S㭝n~+Xۉ D T53Njk\3a 9*quKhV9ٟZxPwb7c3ܾhw{*@LIA+ň`_?`i *M0 eߗN N:v8A Vq9/ e2w g`=ֱ1/:O/3b{Pa?LfD?ꅊ_Jv-qۤB`{UٶD˒z>4h|l`2GD |XaH%V;@R3 6Bal,FGҲYJ-ԑ̴F6/珎Hܐdɖj7O2qN⠶!aˌ3AfMj#bB I$ha4m],u䷞vL@< ~,8kϪ0Uatv]LF{%T4,“;Ȭ\I9K kUM̭6#otHӿ6>7g:g):YQy1~\LBAVb!%`j4znlA2ԶP:/ŁX^ R? yBXC(P0G}$S{_( EP2ɉ&M%~< wyMpsRjLF5=(>F< ?GF󑙁Bf5^4Xn|qy U֋M?y/AUB6hQQX:[ӧr?rb1# Wģ:h.fkZ6ٞ`׻`;ju.__H2ay{J;Y>{rGC#SDo2iԬ* _j *4# Sp~8(_4vc-DƢT!e?ɗd7I\"աط0E%`_# #n!Z>]ҧ@(R ~[y bYe{x`ylwD,NdşluOE[HE69 M&Q}~xn8]a 䢕/\5ލ%jH*UK8/JoV] |zY}%u<"C#J1NVy/&F1!dVqz5~6Ja$ebC-rE|p/%I/ko=2Plc}[T),2O.wEzBt v< /GpEnM9RoX31D7R^"r!D%NVDlAv뾱S$:e /i{];uw OqF? LhbԲL30<țvJ8M㯼y,YcK;y4=t"Ob  cN;2lY@h3{fQ)$u@p6ԑ͑1i,Wyz;š9?w H8ڠ7l .@qkꦓsk:[K怠|׌dqpu1p ,L/> @LzrTj-$G՗ωR"BKQ .(" 9TU/} tXcM{}EiZ [7Ia(j\{x\ewUa͋'ęa3ʄKuk)y0#LF==RP?u$3bR1"϶!+:$%2>ꭟKF\5w]_~9k 64V?rฃ^x\[ .=.1}'%⋼:!ED=JZe>t$-GFwk%\zW(qHaQ/O?mPMZ(= Ӵ;Qu7*Vpus;ut .`R2WkE2KyŁȘm&+tDG.qףT*~%6^;h4Ǫ;#P[Vyi ɓ5*y* &WX.YV% ZT z6u2bwŦӾ#=*36Ţ!R@KLVG m䳟j3ǣTڻj0jmRw:[UPL=0a=U>61d`TiZ3~@IBK \k.^_twyH $_\^;"/W̎&(àbX\9TӑRq1>}@(k翜MjY+SqӺ 57+:Djh<sH}aD"ȕ4FiCa`~6@xWYύ LWiŠ_xm \aBQe£!J#]8:7N/l;: 鶷"M2 TlEo ,0|(]Y~~"ssjKvAHZNgYZ7zXZִF! F ]ŗXi%L!l+4[>wG&`+#˓)< Ϯ;[.B4Af4\SLR(:ʐG>lOJ9kx{o}eqfFoLDl\,(jzݐ8;VHs(1z vse1kQBR9K:ιmz-g g2.6CcSb# F^/PP}~ A1jO҅$^:6R⚵=!A!-xgzD$,uuMݫϊW.'G'Y?xԏRkPUxGLLV 4Jj7GS0UQ:&Ǐ" iqn3@p`ܭ&;xRHeBc!f 2K JěĢIqltn 'X{x<[77?pa\`zI1YUW]p7Gxa -{g@3;EJ9|m8p # J#8z^#!Y}2,v!SdWh }?:l*Ù=dyU֛.2H:އLW!*$% J܌?C Z`$v vi53j?Q&F DɹJu4X?VP1k:n|-'pcD~oBVI+'@5Aw}l(asB|R.StMj0>SZ(9 ܋B*UB;?VlBL\zxS-tIbWīofȏZ";H7B}b9z:B7# rt>wG쐓18(}*]^J 9d5H(#ɈRĴgIFp\ґRPpa%RR.Th#jͅ緧gpdNv E2އAy, ٻ?Ḵ$I^@pVʆ;z"YF4Y.my\&bJDPtG Hn0y]a/7bu/Eg+FyO ɂ8Q9@r?%1R@+lP\C` S;שPȳ#k),;\'_iV"NLz'.0Ԩ<(hTTh)RV~JVHOU`O5(\e&fCoAZ h]@ʪ')݁؋f}WSM 8:QV & IHPD2e1B]}eֽ{8%㨞!+p ~:OrWK"L,svy:))I[0{ 桘>\h|n}3]N]pWʤ2`JAwy"Hj ўtY] {6F9_5KE0_ez}g%1B7] Yh`cR(#vM쵮B6r\vdwU-+鄁4MkгW(OKج{s{%l;`&pt{zE,.k_[rչԅ2\^KKot8i;'+han=i\(rG(Eҁo.WFyl)MFUT5Iݵ4YNm)U}3E?笍Gu&F2Z>Ta݇̔eyQlJ~r`jiaP4~XbDdUΘ&,fp쓃d?e.]AͅS4ˈMhh~|ܑPW8cMKLeR94y oҰ,8_(R)=K\cU ։~ۍ55jHCb1\@n&>>d ni*,S3tobn9td;Ӥ:nGV!Ʌ,`zST`VMW?|%Y7hÎLa ב {{p&k¶jgYZ8394d45f05b81bc51f704b6f69d4f20b880e17248215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61