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 h%
`;Gؽ8nt*q* .#lw gh,jl(m=6Inoi)D4QKź~?\XUa׹NqALI"ۡQLG-gbw|QCYE Ѽ'v' Sڬ&qߠ{PQ&X`j6>B4C(ASnãwb=e=c,нLyfjTUw;Aؠ|G^)'(aF: {T>ܩ?owv ƷP uGN:QfC{\JR0KJ#2o)i#?|粵nBRyه5'4H;xѽ= $ Jj 52#4Rb%,(nT7h- D-y d)OcUD3cMl'µ#"#f8k%#6y3"­­`(׎ߛ0ۊ`11urMa%C>;Hz Pĺ~:H…Uk\^[@U4 Սd]CC7/;MZfĺz1| `. N< Iظ8aޮ>g Tw7._=UwD'#GdW @mE(pᲿ4LU.$JPƕ&Gf^%6އ@ ӂԧouvڜy]zM n#9~4Hj콃N S~Lb |;ީi>%wej;ڜ ܦ(ALQsPr%6W˥_!iO@iqgm[=Gfa5n>[`ʨl SͰ@Au:2(lQgcvY*n8 !0SQ O* R-`mt2'IIk#tm[E9_6l?ZoP|bmT0ؐ=:ϫ0Z dT\#mg֦!(~u$ʂjYQ9lgUMpC1n|wDx@#Ϗmۃ03GKȈGx~3'U4ɛp&ժSY]}dh C)A[(B9h{q^{dL?i,A\"=mJE𰒤VuIApW(U oѸ+j>(XyΝ36LFT ckEv"w9J# (oQEXO8 -~bhfNzBO-yq>uB̳NFkp')uɯ?!Im>.ǭcn}]u?#C%$#p) =KjU! 0x0C K5}7e{5iyЋsp1򕁊hk3OVT?ȨmIȀ>π]N>$X T#4gZ h`0Qt'x2.%SRY.5Hg$V@M y yUTO6bt2Ԡ0-IҿO {v) j=SE|a:FE{8*Oj?:ǁ_: |)=ԕ[Ƌx="%\@XSfg)/Ef~vXX~]Q wy2C@5׀FNco? ;h8K#m@ަh7TDm:iqg Wj 8XޅK/Y >pr *#aMo+=zȣddN7:.6kཡ 8'idyl3?n3{Z8ܝ%GvΏW03cв%o3 Zղݖo޷"-C`kd3 ;k&ց<-86ʂUfQ"`E-E 7qqXDh)ҏR ~Chx$ ." 'ަ^n,#='K"M gqLmʋ,ò e]rD-W8D\50__?)5,*#dˆ]s|•ṺY NZn5 % HOL-Analysis  a&Z\37![^˖njuyDLӕ29IEp_ps"LQ m=IA3z9lF|~LI_#l?ۓ6<1}]}w 6wW>x(%F=dPQI~ 祜w*g|#*rt1'$Z/5u.:W zE;]8E:z^y.xZzo8H9M{'jR6dᔒN1yOpM+%iaDpSo*aq~aɍ8V}m>VP:_Q !&}Č{5!Z2v7œtx+()3SGZ b0?Yy0Тgb ܸmy ҽ8jOtyvzd}AX6_{E$LPm5T'`O봍]ZstlY}K8~5yZ}'3kz;ڕ8boFMjJ\‡f@M![b(E}9]5B+SĶ<@_$]SiU$˫i9M֗٢Ӏp00 nYyD"Ac˜YJI$7vM?QL"ӝ.alB̬ڔIj3Ʌ3^UŏGx(b_n*)Pt%!'9\{[J,?鑿 Uoum_LrPYpȝP͚%d*8w&' Qda-&Fj @ZX,#)c#nQ{7 ͝n7?[|˲-Vm޲T}31XHN[E%r儒>!iqlLxwPNœ 4Z8Yzgwt7Q`tÓBakfo?-Kdb\Z41·7*r1AܕQ'[@р"sڇ-ѝ RHVrHǢ12TH'-bY'p88A8E͹2m[[BڐRAH-_t\=@ᐰQґbB] e ؝b|\VNq/ȶ% )X֐-.]*]{٦_IxШIJ"TZbKd(T~i \#{fv.xHI3:.gHHe6 հ JnK0C+[[pP)U3aXd(®c%t-(9$W߯|5`6wJ: 5ZŸF8hv@ƞ\ \=ѶwFh"yu+Gj*8 ,ۗsWye*F\bAK4unjW)b pICAՕյPg&&Çﻘb@y<Ȃ=êjmS"= '䅹C ѾH:>)6ij|z}cW(mDnIwի!Z=-A9A vq)ؾȾk3MlĔN>$sg%v3vh_Z!aU#]M%垯00 qfzm9Hocâ0YE'/0ӧ%rj>&# +\Ƃ9wtۧ'g,H22}4/EĒЦů hmx9};yIҀS"_WqT<|`v!r(.e1)1a^, U?Z+`{ _]eU .pF,3*6 Eؕ>j,«41PRcE@UWQ{Ch8=e~@x8ҴSS  a  ][C?KdvƉ?5M> , ^e`'x6PiOr .96 pXE 7NmXpOr͢_m,C`]R&2Z+Y^5!$(F=(d#jAhIӾ3t2,ށ9?`"PĎ׾9j~.yRJ9c(܀MDoH>%9 '?NiQM{w}P0'r7`c^iA xEݑbqh-C,.HV_'[DrEjpzMIh}5^ 8 YKv)jX£ t1O!ݘ{ /.ͦн?C'Ҟ+hPˆi/+K)D}"gLt0E%UZf3V6`gVl8i@$hOQVbU1--jbPL+J,\v^J.7w"fgeR%3N82Y =]!4K2' I&,VBhM"4t8*,5})RcW>&h;hF eqHvMxvyo8nIF]74<N[lߞǦwEPfغ/Gݦ, 4xg4 REm•(֏ϋHrF S%Q9WeB&6n%X7㱦iWbHV! bd\HZPI';iD1cn2* UH@䈄uK@͍G7Il26^WF^(J@^A*$f4\g|v4i`e h^ޗ8uDmz3@@p㘼 |6am7N|_%WPn}7[.FMU3e|]n{.pnƛsV Y-3L,pB\bċIsmI歂7iu؅pL%(܊튣NO Q3#\1K;PӃVH&r羳Y[?@ma;.sDՂ9W<1fD&h>[4|> uk~ϷɞX醬ZLKcOB/i@}ez샡+MI8 F~0tIDTi9}PS/GcHt9/y#"'p>j׌;u ]N:?1,U> Wtes8a$wyD'cPR~9]LA3MtGCP'cE=GLtSyy\|y:CN\!56$9Nxi06P(%'c|X2Md9I=ώʯEQ]Qڅ>8 R[\HysΪ d=O{wheQa;1/u(3yb.C㔀*OJPs9]xXtq飝5 zO(w=[BOɠؚ'2v$s{+3]n>Jܼvta^{5JIk c%TUF/7rsb_n./lp@ u/%ZQ0Jr[*;}EYr2Q#oi|-^^Q|Os S+^oLb+!'8wS:EGBCF\'%Ws_:ĕB8v:Zُ w}o٬wl ,$JnrB0ڱm*z#ǁqgG.4T'88gKqׅ)alZ%z&W4ˮoLCh&D;(# lN=l0ZDDByZhUTpNzfu~hS;ҡ8xe!;m{NM'фpw@.1=9ZDi"Jߝ}dl,^DJOS?iwԲnV$O73zÔ 9S9 .My6I)R8YSVgaw GB5vsi Rʉ|G䒫D'*0>0ɮW70V!UOz`}Vv|]GGHƒYi8+,8/|@*`%l:t6oT3x+hzTu M$}bn*@wXR8pfHSS&jkտ{m|Qm*/4_ XƧY&ȾjK.hKbǡI(-?Voܫ=\="nf;=#?Tjh7WF#gPپ2WJ2$*v ȂoB.2_Pb5DB 4}#5E~qm܂[ _xAb'(W{GHH'A7j!p,1kic*7"wԿjvnKGےl<.@7$T{à ȏzO)$tbzK6;j|N*ky60` 0Gc&;k7w#աLVҌaʖ$G-rlUսڝE qU3Ӕ/~lZ.Qc u[(O: l{sg<p66UPş %WS.Z!c8D+^.rj}W%obkv}杣4 \| [#w%8_TQkbB4s-&0~ۮ !}5OGTI`"UK{bXuo#Lx3CS,bcqlryɪCZ rDuC´TiD:X1 NsnٝU@ /][Nt$`]5)EP簂4v_ITJr;tu\W%ĮT$h,Vw BC`HƉp\JA<X^nq;F8yUqab({Cxn ~:0,7 ;DkdjLo)~#$ 6:wmq( ]TGx,48׽N֌LzV&l yʂ 2!| =7"/!ލxXtnKm5t>ݼ) ĹbeH}z v;O&ю&dtߦLsu  y\|ȿ m ~(v+LD 7FSc* }Gzu`DSùGR7͆/#Y#+7} y}{$)/E?eI-Y)CSzr脫S~M'WK LJx|Κi7@/{@ "fc)%LM+_pѲTCptfqbHم/!{b- e,#4q%ZER(q$",&Cဏ"x6ܢagY3:ӈG~># O2iwOHJu`NBH0x`~fusVUw]̛ӝU1V1!IZN uE1u vq/HlLʻ!Kɺ]`V۷ouj^1Swڧ,h8 h/TvȐHj4=f@t!Fߥ_i$ Ŀ680tB$'Pܣ;mm13JWlUMYpd)QEaR]3ԺKKqp* g5iŧn?\_IX/Gp?R(kl7()Gm5L@s l|9b18>9a+DÙ&\.q[TVؾ_1l!'΅J-׭gqb1|5ǀ蟲2{Ӥz0ۯP,5Q(?(LC4zk4>egRm^Eh>U !gwK:_˄NF>@VD-e3rC\˻E zgf*VTH$NAuPp0 {Gh2"c-ף<3宙)V*BoczvIDx0WDKo 4䧰􉋾u%r!]rVsYUC&CB\qrj ~MWEۂIk|d7 r̛fsmm<1BZ;)I3Ke.Ϳ_Em> *`J[w8;ޗ\U 4q Nʚ,11p&odk[cI !κJAԙ[JC[299M_Y*%tN Q}wdZXiZdS0K Z3Q)'t^)[VRtݫ,f.AHJfGIQwLzRdbX%Hc<=x:=љSAˮ3:GꄅAxv]͘vІys4̗ !W"*n8@#;Kn M*VT.ƎP)f!@lQFL I>Uԯ!ޱOQo zCdJ$N՟9'NC^(并9HD" 퓤289WH̠@Dfvr[DTۆ DB\|ѤO`="bem y?p\v`%j WGs2эÜ7rh.kO^:" ” 1.,˲w1Hlz8I'rWnre[j L̏1MB`R|q~ׁIkΪEUo[,o4& vikWO?ɠ1HeFTV?w-6'E ep̯. LJ\Ir5f׀ý7lHɖDs!DLuH2 އ!J߹♆רmOC9%hr]ʡ=uĤЃrÒd^O.58Sp@Gg/PzTwG#|L,իxUA$aْcffHH"=tEei %~.bUuɍM nMD %fI8YQ wÇUU/w7srmv/;GɦTcl=R= ½Ab^W&W0:rZ0)%&9Yq?Uּ-VZ~aEceHkh/ҍzI[r~`\`O|jB 2=v<$KFfi9D 0+ևjeP?':ȪhpIiO_ a|5=tXDEڬoZv*n譤˾N{aUG[sF r"Z|0` <+z@ ٜ oz! ļ,`b'(ĊR亮(\Tw"frMt2O^CXE&2o"(" `@m %,+Dz (ȴ9/xoCi[χrm[P#Gxd[wc{#&:r{S9'TDc򭃖;t>M#a`W'7"q].Xx}&Hh;_"oX#CyoCr9@U\iCcj{0۪="WVhe9 Ul:`@.a{\Jp4p`0t)`n'ȧW{tW"6H =6WTT)ܷe*e6.3$^uPuOPuPrihsTB́+V[9"%lTZ?T)lwa2?tH1k{o*;_,!??kr./HhT5 yY 9ОiAU̻'b"POm.WgٜV ơE|_x- R7=@ܤq?p- 4(s殕ldž85bζ\/cbhmF>rڇ?}ieSwHpWj5m]zN[9'}idE;9` RP^(zл.ڑ\wޖJN {pMvɥG2jmPܠ֔J͐=oOՖ{=xg=w8/+Kɵ1s'wSRW![B?ѓ> {QNJG DAXOqv4=j:>Ge4^ZW-E^T0! #K( &nae9@ / U%2nqU6ptdh;9' |H^~}"bf",#eLgQomR7 &ɋӍley*&Et$Hz7؀-~1o~]PC,wB;*@Y2A0upykry1xf3G Yޛh)0=MTU9 /:؛8nїJuVz:[=;bQL]'0LJ,)kpHA~(aa"VqD|lfde |'8cGg8(g\l 3&_4?f 8t@@Uy"Pvm _7&C? OVvi/ĎX~tEAT֙hCP~5=;72V~L!ͺ?!e1`S1+.t_b9c~#l`~ćT)ry;{4jzȢ陯{REGU~/O–6ۤ=l3k={[f5ODYyšYP\M!`|:1&9ܽl ץv 珒11w$WYCĽ]0\Z W[[SQs#j{|d~s`p!lMYr)־p:OIz7v8WHҡYu ׊_m~{we#Ppy̓:/KˇBCPm 6ĉkCѢrhWUn}NRO5E{Znp\d F#8)?cF辩 j,Cq@= `^lRʍu{货[:M!- >y:â(=W_s_͍VۇpI:gTi$$ҝ ,zpw}4PXϞJfۚ@ikXqj{GSaEE/ӈzH6 KF,(LΐQ&bK)7J0_h¼;L%ƿϬIhplOoub^tiTYYfG:Z/ !DZY=郧 nN!T[KU{gVx2>BW;ae{f?{u,EjJx_yۃpv5I^Bfԅn42N i[T{⒭+/RQ{<L=`zNy, x5aw33f>8̃B][4%n-?:2(tuLXgTA G QV=%vA4⎖w#zRCa_}|d JYXIeNJ,m!sjEz@WLve0gѻN45}Q^,M-}-5X׼,Zʃ+;tMjfJ֝4H2*Pp N1aU3JXNCAX[$Jf.!T7PԯKHʻ\ 'zDNk~ҏ}VߤNȷ14v0}GWb8@U=uqU3K4Z Xnawsv͙L#`z$CjU'Oj 3B̹_[.wtk lK51 UyPӳQR7u Ib^Pź}` ƇƻTxQz},[?lN܂č9x-g8Mu"'k(O~y#o0"cK_9̷dDke Q$X2Ba jtbͮ3`̙>HcYWmڧe&7+jJVM3UbNm0:7!Ȍh,t@LJ2q򊺣ې !4q'~ᯒL2Y6>`ɖf,M%OJ֯"'̱p'%3% SxǍpo MJm"Vl"W7%5Ivmld-4i~A[[̀ggy;C GtAꅰ2<([bF*,5n  =^ 0':kz3:xSv'ӕeYvˎΏ:D}d>tj{ oFUPբR(ZMJ66zy*~$ O^>,4▵Η)Q6/(ؗPrF<~qWh`M,`9G4a[c$nkHd߉v7{t%lG^(2uv |R.>*)Le7HNiAJ? MǮXY&Vds#IZ@ϣ#rFCe_1%nConGe F-ɛ@ /7{XllErF1nXKԆ^[q.*_~-hB#ݝ•,#~(-kZǧ͗4M Wy=$8TV0:2(a7ạч&џ.Q%Š[^Ŷ^-VT=ȗ3+p Ue@lTJ+T3 X} t$cfL7D^~TduDH˿LfGci. PYRvQ;\(%QO{y6 dR[4| <7֘TRSvc^ > -e7`F"$ٮWnUvo}9<_xpZ0Z& '+FY[e fpFTǏB9_g1G9B',d_k tOd~4ӿ'1sK~8(r2ݶ? _ÐB=b%Cn6҉\*k]{Ԉm pڅ1ZĴ +M&~Vr"Nk4+q(o"]UCV8}KbRR;~*0L;d:hϮ(] |**~9{ڴO?5{3LHZ2/.b+s@?",z~8ĺ@s6 ,/;T΍ KSi `A!{QV"-\^6 ϒ|@Y(rt>sXb۳\8U8P> +q6p }ȓL-:Id9+\5(e&cYBA$ 'ƲCGw(7ԤD'r䌰i0mgeOo}ξ˧Нq`zq3 f vODVVVvjҥʥ+*Xjm4SK=jx~ voN*W~-]􏾯?Y]austxoF{<4Y 7òI+$Iт8{~]9:ٳ [o=(qzvS"y*MJ)M?5/(=tj ڂarqURRYjIlcSbWsO$G06{cmal'ISy뙁;sϝhԆR+'2,`IF[FE֞3pa䰍XE>w`q$Au:.rew6[IXD^" ˀvcp2=h:cA_fֳb;=<U< }ete@'BfB\]0w²sI4Ԋ -ۈűl :Az%-6ͦI[;~RTȝٛ\K;B#g)FHFy* \ $X(gf0{JLfLVn-JXm$u5;I-7T2T- p1UV.:\%gYZ7zXZִF! "*]ŗXiɟ1˦r!cHkMeBd4{=;GLo%5$E}(aGG_{# D{*rqWcyU*2Ͷl?ușϷӅ |3gi;)"nK+u*F/rHe%ra칣%Pm8u0@#`M@1gӆM]؎/OBh}q5r0< &a4 x5#bϋA?揰YSC.gĠ:)Jy@zˈcYSw0`L=jK_[${ >\aEGi_e"WuԻ/m,,TбܫT!-4K. ѱ 8YZoyf~GJBx`n\jEqn>vH?}sz_HR'd_v~3%_N|@*o?$Yftƃzה#'*L8ao,BOǬH*Vkjg0Ϯ fe`lO֩ =7YSГpV=:C 39m>i \m oRSe[5ٟ\=eWu/]Kajw6\g@kմF2`Gmy(F;(,/kmK?U.Ngs_-F[n93~9!97z\:AϗYs2RlQ6Țhɢ./=]2</V-2^Y[c }nWm|*`K匰P9VijIEƹwd#6Rx^BC (Cهbi){6M:"r=;I/0yoI92I4֩:앃*:oh$X_ ;;Si?[C6[d+3:^"L?..Qfz8oWV?.}fw_Nb{#"6_&R/.d7a&Čz˛Hj)3+O?IR;DIK)Lv؍Nq9{+ 0K ۘl )zߚ3Ȣ81MSRG9;Jj碦'|V3gP (F>1h.EaI`+4̛ܝy*/8P \UB GwȴUWfņmW/t A ݯ2Т#PzֽQ~l:z;g$Az|vPdhR1.`|)~~iJdR'+ÙdrSSTEx7]|-jݿ:"u"UB#xcAU8ߢ_hn,WXw[8C^ElbS-QrUH'tuUOT UAɷ5]A|K/S'FKxUIt,LZ9OHĐ!83\&YM<10x*G fobR"aT3FWܼtHW[b}&8b_{1G\L.ۍp?؀ئQ!H8.c#!){C[ -̆힉zLn zrjik_m+7fOc[6FBP%Ğ.,yZ.D!H+;$$H>Rf'~I`!B ܦXi@mJS7<Ri!P84h1H<:$@a{CER6"gYZ7zXZִF! -X ]ŗXi%>pܩq̌x;l& by-9~ LQZI?GIkH)YW0xiwY+T՚ &  BYF6SظX[ܣB!v{oY*ԙ#x F(7R;LQ{`B)?ݡv4rbuͨ3^dJL;[s'4$Ȝ} :og,ۭK9:ehK,co&oz觩A.qi77*ISZf=B,`wC[)A uϓMрKBgB-`j,}n!#YJV''Ĥ+ :R*IXqc0xV=^uma䪱ȥFRDMå;QۉSu-6 1 oFI̓8Z0J[,d>вI00ʳʁ9R'\iϤ"[Mo6X0gx*b0[TE{${D %?]j 6C߅bHZj(;6-EGnWObt %ƞo$ct4o,K YBLaw9M_Ւx6vdP?AюYf|2HZ%*LsWuhf\R" Kem 9ơ]rBS`jM8$0)Yߪ\UآZV*# x~Нqz RfcEᦋS #*/ҌFQVjsF aGe۫}Q?V`UpIopQAacmi*>f 99+&k\>ŻJNMŌ+>Gp}Lez1;sH|肣t33fmv`fJ5Ӕu+$ (n1+ZXJ7`u) b k#Zx.,Җ,Zh\G F- jlx}Q }V=q~> U?Ǐꉒ97|R3X^9sڼbZ=CmӢW"*<8t  jk1XRʟcj\|6U5TG=n+lԾה$ %j$Wef[h=) ڿXbblh߽ Gxu7b瞵 Y`F0m,PL-.cZz/ksaSX~|@ $oVse0K+~g_+JgK63O$Y+\ۆ{]!_9\~NTwY1ė\)Bw0J/͘iM WS|1~4+>W+HtD\|2KWsvK0.Ky R!:yϣK}Rg낊Ƞ^gn$C$קɆB>e5 ^ILQ2J@'|%7|{ ڷlMg ppE%bQ@aE!:Ҙm"IzhOW~bՖo>UN\nܚ쟧[d% H|A.1E;{bւ*`vĒK0[[J?Dn82ayGw0MbXGVkq;w_++=d.!\?irTqKfk%*+̃wZk !( ǡ|aц)a2A|q2M4,cr PLEF?ǖ s&u?rXwWrv꼤R;J>Z,]'$PiuEs>^9/5{F+|ޥL%OE7ݕ-nFȌwJ֖ǼF$JOutgĂ Y55:ɚ|sʜWHQׇ ASTB= bD Fqt+0yfRn"+jЎC0ĒS ͤU9BO%gZS]ݮ-WhdEJ}5fι{,!.S#%ysx:@,xG4}H0F?\\b&Xw*NP'ƒj&|}nq1 WgX[G"%i9!oIQ8o-[J9(H Qqڦ] `ynJӗ%2Ρ]/X?mp.>$ 8}9}J j'Vdjt+4/e'HiOtB_ޥG"E@ 4SخE3?3T_n=L'amd1-qVtg,~%+|OZ`Ljo8 1 f ,f&ۖϽ8Yѱ*U!CSC[9*Xwleʤ "[J)F f)ƤCbR/p"f4I񲵁t\vXN .%6d1,T z -V/:*xq]<n Yd=Arboz]p^"Eew{3mO?S Yb*l̍]̉Z?;2џ3i8$VOs- FPgio5~"qoGJ@ݳ.aFx&u8[yT& Ny^YGt;D]3dj Vjek8H] d1/oQƱLMloe¢5\6X66ޖ6`矘lbE4Ziy p\/֤|~]]NgZ?G):躽 *(u8Elfս|N; =YI_S2XgFb*r$ 6L* ZC%FcA]tړd RYSz\ǑXbp 9B D77eՁ _g>O~D^h BX,S|flH9u˿ d3?!`B/vS,boC"@gZQ˯/ɉK1hْ7J;ga"f6?(8Z6#xwUe|RԓzɱZh+eϣ ٫.iaB:LvptkA]'L1 HX`L !/aF_8B㟛sִL8#@Τt{\p~{ R]ٵ>= atTpo˒2L@((ϮwE ):)_A+2 ba]Zs*oyqT+f[JӄLz2+GIˡk6{ET`H Gn1bdE&j=4EBz$f6 a\4 0qϖu-/pRK22' a]yLd& qYi9W$N^yq vq)b?y'086J'TlS}X[jtLt'4-СT05衩yr!mQ\2S3d{9Ҥ{jtԙj 5¦}aL6}(R]ZWV]`hpr[KgL4*0y3gRR&6ԢLv,'ԕ l`J1Ի?wY !e;*H$̨8}P'n4oߨZֲg"߸^w [MyYҺu'enbk[ =W]+(,uXS't e$9j|BQu9u#^lj\^+!J̾=EcM^1"d-k<;hMN>CV2#|1ׅEG @byזiC>{uQUhϙi.WbUGk=K𯶂Ͽglw1KuD򞍐ȡiR`sAG7ͩRH}* Аq0j3wƀgS^:{߻V`r#:nb>ò!\D+M u1GlfL %&NEYcԫ*i-udžIנYWm/g<Dzρc%lفN:N3zUG!h6'^/ \}0s:kGK#pRn*'cT]Cs42gRohl7.:ުBߜR||sxf Є#Q+TusP4 C[IYPei-1A }\Yу%#1|44k nEUY4@3}S91HRYlAf._ܱP 47ã+;p/D`l[]PYH~ =͎Vor.2:-$l{?[Jf5! LIU̘uc:'.d0M(8ƀtle[ h}#`Nބ(a}p\,\G5U%6O1YB7mtʧ!۟0uN|& 5duxS/:E[A,o:#Vn:YR0Hl $E=1P3x3S$H5([dʉ"$sw:MfSӄ45dHQY?kl/u4h* ̌tH Kǒ)'N=edX5!Nj g#E-8] ]/Cb#p/s$$ά\ۜo1&b4,]J06 !mS3%݅<)6gO_}9~m)P2R znڇYWH2+!> 7ei d͹a3,H{[ w+#*B^|M*䩲]Ȉ}i {vIv5a4)#+|g>O)tt{]o!Ic;{98Rt,#C?^hehCι~/ 7q{?Yd~x*ڐWzxUE\I\M1?9tROKgM n/{SuNɓp.GMחH.XSt\7xZLBe4x Q Y[ve<~gˈA !» f )9ᅩXAL ֽz SolsNڍŞuSoHf؝Bd*E`g-k /_g ڋBFWy۬ObxFXhLE'%%q\w)fFc>u6y\zRجҵ12ς+vB߭a<,{\W*{hߺ C*ţ q/ˣ$; Gf,eZc)80yvZ܆?^rMi~:(:IږUV?_So5*gd^l \|GGRmF4> z[2D8Ē%/]ٗHQYАqSŤ[r$F*hZ>|+t$ޕycktA)@5VTͺ Z_L芨VU( ]1,lըHkLbl *y;-즋.=r*4摾jbwS@6w%x4v#⤰CU;SIgUu,)m2b|N);A5 _&\@DqG_BB1P\9Go*AtQDJo^f;_[ԑ4@Avd "v=aYSwo,2Y; "x@D_ap;wYƒ:TR-IL3!czYjQ@㧣aZ%MU㒲j{!WA5ilJTL1KѮxgPaFڷL$΍6k PjHW[z"uŶ|J^ڋB•~0k"7.eG 3uՀ8^a?`FF.iHe"oœޱ+(V XY`|c<O}|-~3Wg* CXjNHp3YC/3=o ":M!ݱaOC  kz@KsV?.|m,ۋ_bxS`է{=+Y|uE aVU;|a_3Q"޾AÍ:wZ"$wkjm:o%8‚Rr9hoy0ʴ=C=`lE@vΉ?V\“68O$0"x楨Q(!QIږ;(uYҍ?wӪ=+$`) $ɤiGiF#2‡GD>X}91i_K d-氘QO ڱӱb&,T[+N!WYk)[NkC_6t4]ncU oK7ڿ)hyvA=_l}ҁ/>-lD*[+W]1]&|f!c!82,_}akaސ)]ȈU4=s\!S3<0c9-^`5A1::X>ڤ;aj彘c9s:VR$3%^RyH7`57. kD%?L> >}>#Ռ;9bFsw)0 >JUhz]f_lō+KiZL#y LrpRz[8X|gFKzguN^J;TG}0^rr/i]F$3bG'& V+@ XN=>:cxJv:3–D%0+ +*:3.^[:"KLӏMFV ږ Y{%a1C$PfxG5G02|PO?2p|+㼬NlzY8]z&yRHf5J~>=#3 WI#yViE=Q_ .DF%Qm M>9+iX 4ho*t֧7̰f(wu iROF9@Ɯ™Y578DT_1-\;uznW+X,6B O @**ЙM%՛]p_-Wم<5-r'Sh'A0eDf)Hr4tz2 wɛl ft 5lLlտ@{ `s ^z$!l'Q *j^~خ؇s(ݣR4lA)þNoң"ΰH{ʫt&q?{_qB|OaiZE"<9i$ .RXb`9_m"{|Yd.·FޡVkm,z!Niy8mGpL,.Ӱߧdz*숚 j3:sÌ٧IDpb>"ED|xQ#Ew]*`eI)ёSw-\yZ.Uq6Q&B-_D|X.(#7m@*ޓ \%PEz/*my &B<cHr~xG΄9OSxCR*(y[:J;04bGi\HM'w>ރ`d* @*Tp*t$R>@p?0d42&_!GCzg*FQqZAHܚ׍_w_$ ]JDKw(]Q T9lb y0BTF*'>?:[2o7InHo4V}qR;刭}LU_c:TkKa֕.p;S>ADut?/F^T.d[fiޒE_tm…39Hk%նb=xlus'c}w 6.cP>P =Ɣ 3/DLk~73C߾v M 4"5BFFi)Cd,&|#N|$p~`yr*.dzd#Tp|6K# U[bN 9o (Jr*c+y=AMa wA^QrNxiG/ǤXY#니Mxɹ*GѕW 0U>(XVTTG;fv  NKL10݇woxs } R/FE_]١URڕU a%(ZQjZ ܏VBC TzBfj|Aƃ( BTïRWzAO&.vZ43=5vZnM#1=ߋ0 ݸutY)u!4& [\xD**\&5v.k_ZFIgЋ^͈Z/F;ol%!!ț 7 W_5k.\pkAtNYY Gw0/D݄w8_T \@*ħt3.gnn#ʵS\G/rIѓO\Oz)xig͙9WP-"~=f~Z;6(,X\ID,,20TϭPVn=5+ l(BvMzq2@ oֲS嵉.?Şϟ3~kH rY:~7+Nar!I2 %u=o V"Iubmʌ"Йg ~ׅGW> ,O% QZ_ؽ0Nz:w 'z^ *|.)}^Nfh61! b1'RRD@@eʞ5 ږQWÆ]uyY^BZ֗U'Фx |+ ~fuftG5߻]Ip 4B4l.::9NbqhQџd ]!n4Aj:=3m9~znT+#n7۝q e8< ,oMIrZ]ILz,"1.td0H:曫)-vTDL: 4|[YΗUe`D,ƀgP0+~|4]e}w-~ǂ$Ti_!6C68e CusTwpJ7.F-,WR-r@tk?)t- "˯ҧN:B&, ) ß}ȀRNvX5F%  #R]5I$"(nasϫiЕF£hmtUokG 5s3]bMl&%1V OO3V}3%\G<:Wz)M_$R'$F7a3tqt#)Rk47JgD)_P߁U-Wse]bHf3qd.:*D Ȉ6RPcK נ5TEd~cQRANb2_$Bɪ.N;{5!apiUZM;GEȠ[Y"(]]R>u;?%X\db%x^-RPz8:!'\ʿq=P:ZƦk9]p҆Lq= "IorFP~bcDd)n]i I|Y]}\t]vͤ40d?צi]j&[`ƗV綺ƃf+;=A&{:*]y(7y8y2d a  ϷՅEC:1lgBтXT@q]*m1%Vk7iA9PwCt4/K]-O-yfIN VT}Ja\7գՄ̀q+4S XB/̼^§F-w+2][h8k5fpҭsmm&kIH$9A`ZvkezRQoc ri;pCA#8 ߝ |v?FjIruYsZX+aZXP0GfrEu;%m&2T8wt=62S|@ѢRC7B7N:;7aX_G'4Roj#C`u\+Ƕ(yte) ([:FVE4u>iKKx*Ʀa.:7͖{I04&Mx}x̷,Pː$\*erSnlڇ4:E}~⎫Tǡ Ol3WAXډ-9POwo8!wi)aQi<͗.d^?=IiH`ZYslܞ|,oyVy۪"@;ތǫ; `M8OsYO^,&W‘u[ $v#o!AiE,)bQUBeѫ*Zu_JKւBG&k KBץ D6J-383v3p9^ a@=TShcxGfc2ҁCO1U7rro>p0JdCs\Jb ؖWj/3CI`#Z4֒6zl9ߤ5,6SOF :c^AHV*ԙ.6cttQ:]ؿܙ.9*V!B/Sø>P\~4<[pWnr~b5a7{6SׁTp UH&NL7FR$\Gaǁ$AՇ]Z ذ"ٴd{d#\ΨҸmEˆ( =R*Wy|qAHF1=caR|8Llt;Z2Wn9$Ditj路corE r>Α.\t`W |Pم]eqSx~\ xiQP 5rALxdCITX&3 }y`= X=Ĩ86:Ex hR-_Dm*=_XΈ '^~ q?3(Gy)$:Cm79qFARM ML-~ r>SWY ylB152= jH&Td'ؒ1wK {zGWc)`{W & U'^sS_Z-Zp fE/K@2NT}| >Y WvUx*i<|KLX~gG7zRo؅VUND JKm&X 5B@%jϜZuΨ|VmY՘'F` ~p )h%й~;k2elCI#7ǁ0ŲIdUse k K{oDsz@@\s%QhD NJAcFiKR]D1u9$slvQ( ng/=iC?Mjqx<=: $ EY"ژ$po+>-1awg4kv Q@^#!#{Uq|F%ą̪"ꜳGNN1p4+o_X2GKA]k\Kr}Z-X r0JqYΫ^3)5Ĺ^O֌H)[2Omދ^:+nkgCaVƝ"m @0f/eq^uT\`K21xٵ9p˛rQCo6|Ӑqɛ7מMVp(|Ő^yH8(]s\9M`J UBvoO 󝸖|`0,S;𲉊(Lz({D,N9ܒlk -~[/l% QDۭ&@,_Po?5'lwoO70xb50B }4m'EuG[7 Аu_:B#+dw˗^Elgw O 1vchPف>@qȐ#'?w`;jŽ1_-z:Rg{^jTC" MI0׈r΁o}B1GMՈZ!} y^qr}K.MjrJr)䫞1_x# F}eރ\/$SI B^H?ď%%!SI NU@uGqQ'>K+A8af0Y:nYAyZźkbߥsX͛cDߩ&٘4B,`i6Tbpv&wkP#ӳ_%1}!rJvGtL9KmԮl3t>Ojg1gcکY-@k 2KQq+Zݐ|: : Dzitk)$$ ;BclNm>vgdO78=!1E [L.B8./:-&I zmtzt`V 2iߐ3vêsD9Ø{zi G5vspt#ei7Эgz?ŠCa)1 A&=Fmp@qv*c<K5:l:/n'`I2ٰVkq ';'2K9blyeD79<* +ҵM.3609! cG% gUyH,z #]yW7q߆q0lyDp<8i*TTT!#7= ofK5bd&vc].+ rl&_nE@vNq6B %K`P QJwB 6e\. 2/_&6ˊ_` X/ջ a "3좸l^o-tmoa&A+~&ɏ6 O\yH<$5{7nFv+o^%V~=߅¡|X-QX)&a|a.c Jۀ3Bs;B.j`%k-U-RTGCvu'#^@b"٨ȨM `𤰴4 =m\lȞ фiU3z(/rKm-$V kb;um\*8eۂ, kԱ.ul`oཆR*}bߚ)Xeezsϙ56:2xאX' ַ𐘩1 Sg8_Pq :;Zc$ׯzSl$P] E3.V"@:mټqˀBOܯ9|Mg 581$f2jS yɔua@R_6If?H̱? JZ;5P#wDˉsXW6@0?|*UL$l+S.#^O!` A.G-T50?j$wYO.=K,/ 򾷬ܷ6C E% ;ͣd{dZ(E/B䅷[ jӓD(-Ym/vr7g5ȣGόINj wst C82s7'V!2*cL$ iݑ(xǼlq !)p9QJkzfCKT* (=}nm!C˚kv^Y %OBJK7l\."dVmWj!h۫:38и/u Kplƈ&oo˥,|)MWf2j=:>zj">-}fr]/}g}= c*&xS S%w2%!O?VLE?67h*Ӝx/㰃(KӾYXYb{%N Šag)1&hnA}y'-QT8<;őYnK᛻\*'GSR,0¥G=(K;# ߴF`sQ&EBhxmZ8Z]/`6Kv0(T7WDǝ&/Ps @snNN%55$g;ײZ|u&{'ր|HeNpX^A/$cl(\5ΎU5Ҋkh0y^a[o/dg')T!U 1zxEI&0 n5JBri>[_8d8a)ш`ꈋQ-L;:u{ MoJTH=6]"C ~ Qª&=gķjI{::Ҋ7ObmlUC>CH1n%"g pM9eplGGs: _3O%4k*au+& +k[ /JNcQJ5m#}(WagYZ18ef080be6f63bef051c0173141d1da0d72fc10b4f89cd12fc22a65e55bef97b3448b7e615a544da d52a9e3ee76f7778dcd9aaedbe9bf47fd43445150a71c793b50fe7edafe3cfb84f46464598e6b963