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   -'z4t ]S Taylor_Models:threads=4elapsed=110.088cpu=303.456gc=10.3327zXZִF! I]ŗXiɟH)0%o+=(0g+g{) "˪dsArX<tB[ge)ɾ،4^8,e_(˃P .Z4x^ϊz1tJYG{ŘA G*nvo9yHMu K̲9\:cCȡEN;Lŕ%sf3IztfN瀲gޟF*z)z|SXjnPgFeR F.͈.34 [+s@xG~D<J@ee8 xݿ|hM}IvD^`-CmD;!3 б{Y9 ' Taylor_Models  ˠ]PãՅ p8QJS&_#OΨ(Q$mXZ Z"2ʻ%}ajWU˨WfIOHG,$.m%`˼z$:M/ՑׇMljZhTZТR yߜ7!m}{9)%OI9>ѕ۟[yVafJdj#a2)>Lq%V͆#h./րe7BeTkƝ)9f`CSr\|p J2xZ hU|OcTIiIl B铚!"EFnR!B*$(}jEr1Bb'=pLj۱K&SAʼn T$65ÝD-p`[ewlRVz! Nq2l4R0FޢUWPEtOFWSwqT)boc}xU_-yZo=f*cI:Qm 6GjŰ6{˵e_l+ d9j[ oq7”i8 [7CUo~^g%TH0"n A,A]r\PC1`d-jD_^=S@S1GS e|1^}W,v\8zaVT1)a4==Pfl]즬;~ַmāA`Qt@kL Aͭt}ŊM[Ts:"v嚧̳gwB;"{c4AWBsGqg$b}z7q5)ZH; S[v((b6}gyPDaU>/ kHUষHWx WIG >V_$eBc5u91shI:>>:B3>+I5Q̩ɗ < ѱɫc UDJ$F[ɩhcic-WɂS{f(,eys'yy5 s*]{5+} o9f.l·zi7 LB 2q0XXpA5 M2YLl9epM(W54cې r*(T꡸-4ӝ|.2 tZ|`Otr3Яewa6>[NbYEx[(  vIU@HgMgeiX#\7G*AZз·viwn1a05\=x<-LYM7~E_SB/G٠o+u%`h3U0׹mcu;AMP4ZfSﲼRͩJ=7!6K\gao%^YF;^%!^ oTGio_)[@'9(_-2Y&]jND]WӊilޥMB9qCAt+΀sYo`/ dH T: /gjEM:g|A;7FadNځ`EsBk3{A^U!]LBl{M( &[6nMAj{c"ָ}Y<6.PbW [yeq7ִv7㍣7d(]dbTDN$w?JVy%H 8W-%\r@z}`;&f:b$H)@]Bzu.35[\C,,3轹)gTŇ:~'*F!_Hs$)W)M;5?XAjGZy>]KHy\ HQ~paZk)V #p<S1@c*tڶ= yǼ͑ O$Tqג6lB`fezF8 !w9U f-x$G&˪+@3WsH}xH!{A~fCp;?W˃v͢ x}$tGb Dxꆐf{Y3[u- "O58Eu9.8f$|bst{^"|9@SiU2 Opݹ,+;o] P0O(%"zxf[ WGcN}<$i| ^ m@p[ |~8+>B)( SК4YN3L{%}MtuU$՝ IpՇNK 7M!O0(ɰI%@GOITVeh?:،)Pt: :) y-- LB՟ǡ}?Kd' 3Zh*Or,h^هeϓ{`%yw3Ƹ MjtoZi9#t=B? _sZ,1ħ@<1bhi8p~HNEY 0z*v-xFx O+N.eRlC͔Mp_h^t>C#r ݄h/``ȹ[vp%.[uHz|ٗO˅][ǎ#ll*Q荑<0"S.Q-wq!NIf"@!6Xu{|ӪM@:,9of# ۺGacم)_}*jG1%е;8OYׇ|8`#R89CTJK&ƨIb7WD 09Wؠ:HYqFG"ǪM1 ?FFM˶K ,R_ ,oG K 3:b b"I 'U _r@PEorLkH)S ɮՆ GLt>]K4]+ z]x8tN"FQ!)gh `zr}i\\MՇD+<ÿE/7fЉ#pGƭ<X˞wDnf(ªMJG#V0Kn5cO?h8{4 NYcY6Z.b! @}7F}oD[z0>_0앀# ᘚ5fMD_:gd֗RF 8)چEo+~=k' Nw$?k(MA| h~ u$dO)!/Z}K߷(ByV71n_Dd]03=[` p$ϥ%HebJT5.sVv<1PW<{.{`:ɨ;Ji7xзHܱ'?lW3"d; H,({킒%P-)Ee?m8 3!gުCdEK2FOXk.--Q)yrߜěbyxפ((ʚ?v$޻vUVE$m@Cdw^vvhS8 / ufe [93D&/RmE?˾¥}=ZP^02MNqhZp %?$-b4`O`=cvc+Wڳ= xЯ[8jRy $؆'fC$ƇoWՠZVy# ,l)e\{i%6ojht{U0 3~Vu!|a"VF$Vz_5Liu s)?o官ԅM6\ '8x ћWH%%$q?]Cw@(@^<K``U#<}''{*}yCla\#2{v-:-pVh˥B>nd0Nwz7\SH-b ]IR}ڱ*#[(4ac( JN%c|؞ϬN#VIMD1P/WK2讧ů8=$x#i0s͛< c7PB;lXZEN>y}v_;[3AFVBh8⑫$fmYحdBy#G| {]`[:?xj^eD2x"[rh@Qk;Ȁ]ʉ8 ~K1f5ވ4ًk_a;v?($-:Fci|2oY(qQ[נ`@ftge,B'd:!1gէlA mmH9)qثjqƱ0C԰׊W!5fnyo!Q9@ɟ?R)JBd%kn*S/y}'z;6kSqttӘPeOͶ`Ja rAa ':oi_ةup%([x:T|(5 )SEfpkfE "tp?ޭ%;|x'fcE\Il/BĘJ"(J;mGܘsK((2rK-&ܱ 0٧b] ,׭ 0'W[A02HYa2k;7q#|qN۠'7q6?aG2P'(:wat5vU'hp_`4n\ 4;m8ztu <,g4A,>9?z!u?J#{O؛S(~0ډ$'G[>ql-8N yшG2i>օ77B=pLMDnݙ}Y1(yF#hgLrt9šm/O0ͯ&G Ψy?UXeLB&``[zj΅)ʊibMOw ۹ÄDY)wO))grT46ڷ,d6y jÑ}&ݜvNg6ԬZGlχ:gcm?"D(-ù4q/r5AϞž,ວ!qh""t]Cjx.g4>T!se fictǠ_b#*=ŝ~U։aĭr'#!MA3R/Ea/ɽz0d_C8JB L2"QPgm)pтD}׍y5P=;\/FKVg:Exx\#Ibo8+Gf+M \ܗU'+jhJb#L#< YAum,tSeya7?n3׽ 9ʒ,xo] <0yt1տ54.Q. 4MGYG V(MfS ?hG\,o\S@)B;1Ldf=,p!1tsϫ(!]}rjĭ{rۏ+;vw/e[ >whW[1aa_qӥ1 )t_/t , u$TAIC*lUIlJghdUR%7H,J#F7΍{27 ,mG_,"GG]Όy9>(l?3Gbs`Ģ!s 纩L]nm= |BN-uUtLk) m!! `'c|D=&7&*DeЃ\Oǜ6C0S5mZXy61=GY͎o|<)A$cN/c'}?fz޴~ֽ(("lIg3@j}46c>DalgA~.6{Bgs^5 '[ `jd{8e6oëO6UϱAc^qX^U5A`Ua(mEգPge͠'x,;g$s4b~NLsit^mpHy? -{Yy&O1Q=͡Fzd% A"\[Ž _C ע@^#GpnwUP0>#)P`Yo'r(:£L[Z8"ue0Quԟ1=״~Hfq6ƚI^OxG0!ƟX%.1Jz\ {/W~b GZߤ|ff>ڂPq:P]Rt T% &G +* RY}،o+jQ2C @&G?u=(qbG)kY;7Ǻ3Q oCB*l9% ޒ 8`EF!bJ$vy_XD!$4^\zbu66Bl$6m~H b73yJ~okofGFgWTq~|ҫ̝؈Ax 5s@5aaĝB* d%Ҩ{+ʕ9%5 +gMof]ݐ%i'=,}"ȧέ~ss[Qr/#y׀4@kK<Ηj.œ.16 .F_nB_`(<E4;YԨ=uL˻o2"7ms3ΣAIEzCˁ&e+/:6=ã#M~(b:hvJ|Yswh6[^qtDBh-,N!u .j4ۉ~GC\ &)$wG1R=YVqf5 ;$!K{`o=#eG xzkeeܷn!͞E&f9zK#if 6)eLd+:GbklHp7_{>V͔( luGCn!ՀQ <̴oY[*ѱzN(jp |1VAfϒ*oBЃMT;x)jʉWo!`yӫ%X5[~Bޞl ^}}L7RG-!ސ0y4Y,׃T_+QF%#XV[hs`H e-Ikjs$$$>Mbw9\(^ k9{ELIm@  ,*5qwĭ”Dz3|mu?_3bdWԛ8#=I/ iUE E.2o&A11 +b& rfƁ(: q]]F鲕⁣i9Z)ױqla/vO$i.{Q0 Q~LK\]83907or4ԧ E]=^I_a:q&tB+H$dJ8DO* 09|ɨpi<^xUJ˸#'&ڦDٛ B{׭ crYWS AMK"݃ +|YTvwG7 ;\o2y\LyBrF}~]F]VkxHvp(`̬NDP8@7ZT^c~ofj\TqofKWDjqu죢UA,$@2uv~wi ə2y${YWmlb HrctY=o~ ]2ɱG}%/JEM8)z+יFQZڑ]pڧЖ%qgmTvo*Y+9ap6_=cTV fVhaaomJP/:6}yZ!^>D+XfV ̻/ d|UqD+^$F0!>. eLg$Dk\h[£zBNؒ!mj52¿3CklCT?Oz7,n&Dvv"U׋{G#p!Mlu,m_() 7`)G͛^J1 w^Ft?bz06 yɻkkPèo.mAT\-DKL`2*<@",EA?5p/swpv_~nMԫ1K|f')lnU'v_3ֲť#""ji .wod*? VɡT(P)8?7_gNu]A0E2}Rgp+u9ԗ rJ0E{AYx@Yn+h'`] ceGH6M9Czz%h+;RP 7E+eܖ|z;@+0:$ C(#f$;CR ^ް6KkKOq0 Ckӣ86vŶۖZ7 P4X=`Pj']5U"#}\:i$ұ5 bm1)(8:H͠ed064ZѦs=:/3%.u`,)l4dp !Lh /T@}Vɷ7muxQ<+<%!Al lĐ]˥yIu$w,xYlDB 8>xYxZ:` orSۇ%NqTqF/ՁtwXB|j(/{#E`LYiqٳ,6*CfL)&r*<܈rWuqu2֏t#59a]bY]E7pNǹ ۘG\ 1S*xc 0RKJw&B}Yg+̡蟻:ICTnɶTk56Z+{|Q9Jq]g{-ǃ$K?Q~ .AYsP%1v4HldlESO3.Dj{G/1M1=JLxuQZ 5V< ]I~JF :QWm#C!w"^(IH;*#9$@:L$"N}ANu}*W^Fb\ׇxd|ҸxRiɔ ^"a@uokIjsU;^Nu0BI«M;IA{$yUߝv`]{G{)tIm[pP+6zIqxE 0Q ^*n~5 !}@vJ [ﻱ\Ȼ81['r}9@މy'gkUU Ϭ(HIe :4p#d.C}I=,Haxq$xi?񴦫:࢖+ [1~y Wuw Z +Q!9N'tGpnݛtY@Ѝ$ehwb)辂g{BlWYK&UM{Q*_ŽJn8>{b!IJ{z.HHQ]X]#yxAOC#z7߂?eQI01@G8ϵ_V[#`Yy-!E1T ^.h(c[&r lg1ܡǼGE3hFo;[zJ]:砄(2>hK(UgȴcJnOk-yy09pm\Zp<.!9-`$?-Zy$1g >%tS]Rֵ-joYc?{#1<D{EI8&Rk‰,][ýM ތd@*T Bt%& GR0<"kj%{hEX|-S)f+?4D`"^ԁY9#rAkJ}v5wg)s3zf\.XƧ?q]| C>vV塍̿oU|*pδ=#KEu~k|ZIoBEI;WLх,#S'e< x:l~k!E;fJ52w hgLyQc 0HGOc!x@P/~DADIfB>yMt_6,cV\L:v!&ATv=\}82`e:<vù6p޺6/V-͌?"yO(9՛ʛ#w;xm > Wp`NQM42_Ȱe$2nзX!U>16K}q߹@(mAتoh~#V sƬ[&>l1)1dlb}UrXΞ$k۾[u잇9_mKm u e~N\YO`v77=g_u y7b1iZe hU[gDܨ#Y׷p_ژ@ȠpnsS`U|Bc, Dl{ϗ!e٨{yW Šs;ܑ1C_Br -UE J>$Eneoj^pBqz_$t{Kj f.ŏ_[̰r sY5N_5MBH̪3!P]ܙ/=ږ"JB #&'cΙDtwϓQIUhmhO&%s7ƚ*m] 1ZBR]|lIW0 ~e)$E=g}_lc>m؟I $l3+Gh PحWȹ?uP0 u ꫣia"ŋAF㧑vAxSMio)1ek'QQ\D>snV:O-9D2ZM2TsF蒂l; IEZ3e (TѠy ;@5'ݱ( ".͋/I㉁ OS]8Vgy.l '@eO3[/>FX"۔Kb]12N h>}.5OˏJ>UζT zp$tɦʚLT{KKf]6uvy$`&~hb83&(;C2Ik+'*:.SRpO*X]N.ӛtR Fq:3񐙵pvcMCJ]IMek[Wъx+3TIDi,k|0¤|m8sREIC-5@Z[J ʨE06. ~ ~ `UPKacp3/hD4zvޤVVq$IFSޠ /Խe^ZMI1O9ŵL&\i +yrDI)g# EE' pV@TYz*$k)w\#&Jji̦M)-G4w]:i/B"u!B>LFa{䁲0`mW,M$I|F+ ?9QD3g1R+*l_oGy ׊g_8M8?x]_h/("3ZABV>\xJ/sdmw<vTyiag<~^ lWW 2ݳ=3Z?-'{h0l0v52JoAH(Gh94<Qdw"0Yn9{=zyɷv .Y@pj>^6T1AN j. Y%燆 {C Bp<@XJJxO tX5`1o`epCobXͰNe kAe*88m$ gȂQ@B^#la5Db9=[]DP6f~u [Ra"G ZKd} ".ޫ2Cs;hSEtgпHr Ւ.\P| \M+xnP"1P 2ګ۳ F'DR\k\Vu񄱾^Z;ԗg5a\s ؙf݈n#e6d"a,j PEzu@j\ eWAo/5}Hd^"O=14)&!!&p"4є+sKHNTbɽ@|٠pZ{rm4\1OF ࿕ǃF91iEEZ%FABz䛓ɱisi`r~g8=>eO.{ *vC{ӣ~͕& (EnK#(&}KN ʺ,/씙1Dj eE?Y$.:{GD1 t+0BR\'llٶi{yЌ!Kioo8Vp>rxiLZ93rWnyåAMr.%? _ )&nKh' /:ڽڕؑ~d92i%y7[*Ez|9#?8nkj]뎇-5?#$HRx=i.f1"6k!G 98ŢrkN{dsLOeP:42A/=oSsPE!t|enC+I a猈ާ5efFa,SNƛcvjƒߍ:S[EhMpӸ餱lfHgc⍽Kx03X R&jPi(ht(N];u A7tlYtw_1%^@[ga%LP{ jl@gu" ,o~T12o= `NDL:JqLLD~zrl)Tri[xsg?RѴOA`J&îb}޻%XV>q;I푌 ²כC+` ,A eke փ-+acѹgbFٺB ĭ w[8M q6fY!57ZtLʧO H7EJlHysޭR<>%я Rd=y%rfk7ߣ!霫'ZC+p ܌e>BfQ0H93 F!ѽF<}.e%VEjneiaꤰS /~W#<|4C_VlKTʡLv ] d ԄʸI9$WS$֟LxRò SJi应n/Ao7mFQt_w. E >3}߅CHIߤ;ruU>X]{ |Iy=Ҟ]w85=v!3i=|y#1n]a"Sbi*kZ+"d䷲{eJ6iHgྼvEK˜hz)i?d|yD6di;1+9W!DP(==$ @ܮZ;S`GJ>(ڗ KA zF(N^l{ |+pUs>3NSI{GUDoB]^kF|O)6VCRFzzuz{-g5෉ib |9ט%$^u~4k@Gu=BH!|m-+3/D{ Ff&hx#ư0zXƠiXpW̭͆~sYw 9- Pj $ !Dǖy#>@2)RL zDD\S|`$HKz~(PH-Es"Tbyee\:HpLi,p؂EV`&ɏ犱2`:vH|RD Ԓo i>JK,|xɸ]<Gd֖WG,ؿ^sZ\,Ҝ1]EAOhF=J!;mv*3XǘCO^5O 8tD1{H[L&+*9]Zeԙ4Լ@_f%6ig`itJge{$ vڃ̓&ʠCےQ=.&Q3wFh{9^X4ҩ.{б%b|63)Sޝl| ~\Ȅt }6n=.$Zuʶ2+D'*jVxeIafm?F=dB rW`r43|W֚k[Qy)+φ[Cj~;=Gf^ι'6BBz;47 or&aZ⧇~}?.)Kx! gf5&c=@&M7D_aV3&D&P& |YQ\ގuG'4QT)Pc)}v&aBIu$,?-lL9,DpYdk[D=/uh1#Sf H-ݨlF'I F8*y0WK~@Yɔ^Fj'˩'Ȳv(y %`ILw,%կɯ'3yO|ஔٰ}_@q{XL xS 2,:%Єdـ !=LYAdEOጜ`Iސ&i0HƖ #m[w `Bn|[#IVSyQD;/vH ܬ+)nzlڣỹͣYؙ-Z!ʁE䄝W1HϸÝܗAX~uZ:ƞ[H 9stTKma+vn# 'mwAa"#-x(eBPh;ܑ v7 |+*4-VoafI{LFFifIxD{@̂I,"~YtoY D4N_P8vDwCcFQ~rʽl!uE%.p?v4԰3ỵv' RӠ]ߨ*k,% LڅO5%^ZjdfY]:_2ՀM^$8@x0j3i)ac v;[9>f>~zF5z2^2:lUG^x4Z,c,oM~|qcY埂I'bŐ=W$C|^$=o˕*EAy.F]*ӤV^*v܂7>J {h;қlXzlf];Xw2}#3[xcnCnU6^5Sڼ-z?~bmPY.ؑ>\Y*Ovή!U7nT%u lyNfwK5&|xGL<), @Q/'")lUŭ )<ĹX#NiL<#x@<;A*E,/ < TM-ߧB0  &POsƟwmnLL٥nd27Ƕuvq V;Z,0#M7J#;0esSAL@>r-^qQog<ߢoYy-|_&LQ0-:Y~9(hW3鄨mQpݕ+;A:Qfp y+nߟPO8 @|W&šBk $aH V!`V27PPTO%LJ4T/lո9{\bO=pn+!saQWUƴM/w䝔?YC5Ѝ]x ӛy`)t)w@2wM|YCû^1Kf).0(H 4XP !ֲs[F2fr|L=Y/1`5< l.[ÊA-]UH:Sh^N+ rl+Qx3 I..=y?Pf%Rj)R28M:aߘ<ҿ7sN_qbi "Cx37-T"l9/HyLjkHrdګC8D`]V]3VA)sAP~ c ' Q5GcvN&.\. ¨HHr aYNV[`ʹ[>tG2 n*>7Ok7<%ѡA!D%,S획7GDśnqGʶZ!f `1=ߟj ܏Fݭ|j2u<!Y8sㄶ^7mϒ3٭NfA'@IgO<|וc{4Hϝ@×/j !QavgSf:w4? h9{Q#~m,&ڦͦXLK{Onb=]M6ūl9IK:RZ6tT_ KwRhp7_hqEz̹w"⺆=|Y0\I k ~VKWOMQ["FiMZ6 yk%K2o;U2.BNql.ezsN:d,/MHG3[W#(ݘ@&f~C3SG3!w0boOjФOggp!uÿ5]”ֽٙIڡoF |FIKߖ4 ڨ1rIUȻPv/ ǞBC  -`EC}L_J!AbMA#1&z?J$[ ʪOgfR%kB%J*k80NU̕bXFF- F _2/eCNc/w9DT$n!8sHcTH|-/vKmqƃSHORJ+B 4&I5Fj'vxR%-?ȚzΑޑUŁ~,9ؘŨ y#^)*-G2$$% 3p2bqLd$Q_HlG 7*9c)`ꕲrMcMM7|Mgԫ, !tlJ֪B?xPl5)`bԐ?-yrȜ;4{/e='܌:dE },U؝6If|z"Ǵx{ZEQ.ael386!VpI_mS#.(dIv$gZ궷ow>325-{sLs:@@#飌1CGtNO_ gD}NuӉP")2Rpiiqz{&g gBH{MX; \)8Yͬq$[qJ4{Y"g4>E si栨zşcVxQ|[q(<1dEtt /]6)%᫒u.@wmh_\E`AɎ_cqV;좐ebu?oB,Mw{"snI5DM%AqBgΠw4*ɝw(\>n82slqqWz OΆ!"]R&c:DHD?KiKFPH5P:"\d5qZ: XL q>q(i/٠3읔\A>&) ۖENwˑږ>їBgw X;y"b6Ԫ ,R-TDio s/ rLJNf_C{Dh:hٛREf~q,ԽkŚB2.L$ Pl?_D榷œ1L< i5I:9EBLh`jDX H#k2w$^z%ƹ^'[On^M>MNuZ$c9;KCtdn||?duZlf z;wvr!BOn%/!&6 u7Jq_ICʫ_ bVv].*GluG m+EC 7ʌ[ߋ"Gje-_iێnez캰̌<TtyĦ͔պ #yڥ9HD1 |(uKl?g NM^J>톉nϺ*<T;GP Qma Q@ aZNCzÃlVz!*;33VSTRb6GOFXJe+kH-c^⪭STzl}04X[BMa$,R2Ll֯Ce8ˆ#X*eq-v-C{rVIH,wE_wf/X3X?|dگ#K9;[H{pNMҮJxWq+8+X`9ȇhyc7x^Q&niEJ(n \~u?tXaFN[*lz7'q=FSno&H\-"!SQӍ;wWOq oXmS}J3yuхcaIYTBh ͕DZd: yƭ mԆ{itq涒Kљ[&Jxi0K48 z{*'܁Iry{6(:e\ 8YOko( c]_y'S0?׎ uٙ@`}~UR&p;ٳ;qQQA-f,z\(=eiC,SeGW䷖,f("!ܖ8{RQ'Ft,)CXc*h eKi[؉`"04z~f=ү-}͸ovL=O+ǥ@,q^(L9DCyb~Bp쪙A.+}$R 2DfSa)*\OSQ5MEZ%GS~(ZD*̦%X?s=u&I* 9a{?U߱TngDL j? e?c@ɽBH"nDI!Ϥ=coDe5kV6y׊- DDH筢Y7$ vq/55РHJ>Fw89ay$9f@CkiW{"6(z{헆S_{N>o5>N6+ 5IKqĻJ?R "9klb#f?k /rA ;'ʸ^:ׂ[Tk.IJ%<,α+qEM[~=:IOzB>T-Er:q/nhB{(3pQ|*HК*K]O/[IK y0l7MNZ^Zַg݅q`akU*/ۋ !rGnbIOoLCsEλq,'3Iȓzݒ랩 !ubkxg߈z'R#}Q#13·}Q!7:eU9Nca03-vksC,aQYƺo㲑4Eco0}9<ҖZkv`?f ="N^b,+PgN"_Za݉ϓUpP, Xȕ-lEE:3hE2SJ'*h7,#R>v؉o-5t|8k!x;z:Y_}z-*\{M.LY(xK/JՆ8DX`QҨ国/T71ٸ"F!S0!@]3=D \LXƍ__3GG[@[yZ* j3S7 "S_CЖ9yt-r5:_ rnY,6u?.[P8ˌJ(̯}d(6c)}b[.+9U}_twr9 _I=9,شGVS54{ W1+ p]s˻4j5KNT$NomCI 9yQ; (G8Op&`"0͞Ge;I'}{9vc [Yp :ow86Yzۡ׻.KLyDk.a3x{'FȀ>9}dL!<ܖQr,;/T&dX%(ճBV GXXM `HnZ{*,l"Q3Hl"^k[h,WA_n+tCR~ҧ[On$[>[ ) , + c2eRL=C‰IIyNtD}dމ-?5]p>#qd^$ /s\ۈߵ졶,-]5o(!gn |vCœyLפ2;8- $6%>`qx3<`̕t6\ Mۈs=C%Y7ޏ~{ ju?hqïաhX !zךs%_('Kr! ,oA<P xodm]^yU0upXVrMbѴܚku@JJZh[M$Cdgo|\f"4/7e %*E_>}HD+X87Lt:,|╫Po9TJ@Y0jP`4K._n1w<ܴ:]QSy?ʂσ _ cԧ#"6Y/]A{:u@ |v͚|C=8e#}*m`!C )muu=P2)_C0`8oN΅JKФa}Qlw y[b_Z4n ~ʐ6އp-{ sg,eH̼@}k.~ZBW\(h|4E I$dV8{6Zj~@rОݞ~!m65ҥgxRi\pC\2#ol''ƹfn(\@zDI/q!o{:1x@!ml(Ӌ.aW'8·&a&H'퍭tUD < Ʌ p‱O _ 0M ,XSvPIEèk1"?E"hMViCہbG]vq~~4ƈZOCƕBQ o$PRN13TUm8!KH %Q$YZl=Pj]7]m ^d\HóOж/mksEXGhX#󞐱c9?a~@<3ѲGr E7˒""?mOCud 6q!j4X]ڂnٰ.zE2'sT G 8_nQ4.E[_9Y^-*+'P3d;ELdťpj5)SW|۝L\QY_\KC(u9$茐ݭz ϫ ah Ϫn!F=1fIlKmm^ڞ;\\H^HLON:ֵ82[V i#q#'\!l)o +i;fI5xYG67`&"ob KoղwK2ɊbENIrU0jDQi[GBfz DX}-~gvj8/&Yj(Xŗ\MTMzr8k9֐,@ 1RP7{d#ܩ>¤:fl=H成ii0;} FX-3)I!zd+|Ϻwy,i*@nnb{OToL+xya`"|V1Ӑ+.f֩bl 1L mdh=r8:UD @ PbD_Z_ِ&^rZXmS1OdDžٕON>0o.DM|:#wm)v3H[S`Sw+/ (m_/@*_JF5yG7ZlO{h*g[ujco@OoT2"1T9'FuCT6HUr)!-lc-,!$& טa͏yhi `rPDq"3^) s۩CAT}"Un5C0{5Hr/ Vġ|[ZE3%ÙwYD77[ Rc6pkuU=cj,hX6fV}^Xmz->{e];k>؁(G}0嬓|l7Ƙ|-HLL<]Л4V.ǧ5^'<xt^,2Ymw)G{%!sgrJn?#!%F<PT 25Yuq!'|PFWo{-hl}H V^teqXſؽ,卲aΨl|FOpК)%j=o-MLKF"$Y$A0kw$3ViA]kf9\de1IT\"gu|umnhxˤRN J8,ً'[`XG!EzTbvmt~+J~4ř(e#˩˚Q"z.7O#zLq! 0YM󸉥x½j"E,(͈#j)gݫ4q\M?"YwޞhIO-]h!~o2+g5U߸yJ2P~#g Ka_LGƽYa8㯬x]E;?Qَ04b8ΖV1>\Oq).ڐl:h:F'&ANJen3~#%$O<|RI(wnHe5AJ;Yڷ#ecTY"Fp*꽰Ōlh'U6XJ BU Ԧ+Q . ~VDm2.&6jeMdp3&DUyQTq%d 8 G[]R߄\IU:+qFAo~3#9'oYNr&-"$5$L?%>"YAI}_4A,N5. Ϻb Ahq*6R,SW4ChhJFq,2,Lwxd_w ƕ@蛸VYX6d9\qZx*{bNQ8i&1C"Y rScVuyYRFk JX7dEGB?T( )~YD2V+Pz0Ul 6W"`&n5hiCog &a.9@ZIw0s k0Iiix}_]fiWy f9[hKq >BxfQ)5:1A -[l% d M$: )>6D]Gޱ@ߴNfK]p$ eQIđ )AVUÖP 35*+`mƘ /Uc<ࢌh@ρ>9`ǦXӾсޛ&<Bs:67wrs^Swu,޼{XlDi |DE)ADnw{,]ihaq1X/mܽZYYKrdʤQNd=~#J:7H-窯ė鄆a6>˴Cv',Q;.\>P5 1QD#4G‘ZzY^Y'oMe4ul+K'L[`3DCƈL++CcPψz?K!,/637 !ѕY aBc!K}[na<\$!7# ڔuGs*ڷUKM*_ <04bXG? &IϲҎ8P)N#M9'dߌY=ܮY]i L~N=IhQ"4*&Dw&.)Fm|Mglf/GɻvV̍2I&&cʿ=uGr-A},,Z0+vKi1D8`͊E\I2.k5:| SQ;TdzPp[RіLV8m z8qaڡ`b-fPԽNw\Ǐ3)O[[,00Ptkdyp4NXRK >r5 5f6\-?%NwA*xۛ)o>knǂ U0ͱ1ѯ_QpUx㲈{qw]v~ϯpq:8&e2e HGSfG~G֙Zg7M'NĂc^0cBqY@后0\޻/R&_6Q!_M~*t5]mET+8>yGmS&OR7VorsUn};ObҸ)x+O2!}OSeFngq `YS! ۇ٨9gG#d[U+f<+d08R8^|!uIR;? H{{S=$rd'|;6c| q'Y4sr*|͜U{Axm:dcbZvhdAk"j@5hR_Wwr0M] nȚ7wcɚ|/7v$~o + !+d 1꼡B TβxD{[#)(rHZZ saNѢbMYϘ__2>5cAΓ㐙ZR7k79=CMVdGF?Ժ!+{ 8'Ko ksvlѥ5pZl\Kn٢ բ̽G2f&H{e ʆw}w&uQI?ԓG:=#}ԐdˇKo2E}ǜ@:<% i?̓Qz(9@SlL--dʻѹVo|jZ7d"[͊<=l-2d2T1TN[M.1x1 Pa,)eZ^Q۽_:>B4ٲ0>ze!>P/RU~o~2@NezBcyAO1,K‹t3_l~{[%<ҥ%;T9 j4 UH#8)Y{#}AREz}|Ej(n]nPG|: ȑE"O>NM~}}l.]OŜ; -您/ݥ ,G P0X?+^U"[bb-HE4&)=ZBH/Ӛ e_!R#}?? 5 81+0۔*8FJm{0`?9Kn%Bx-vCV) +s3ϥ+=U!PAti,&g1ר8nY%$]QZvoƖIY&mrvgdvCfltd7G`x)HgwuMP#f>/du̵f;"d&YF ̔na_*KOiL:KFecW/"on80,&r Kd-L8˨:˞ $=LOӃWNcά4K*,<!nS|vtLtK=ֻjy%أ@"q5BP96nܙV_PLsDozBUQ?]9l.h&+2|ݗ. (@\ʮHNukւ.sb΅Ԕ)$EF&"@0B̕D+ ڑ] %h1~blDLΑo؅h`H!+b7P:O_ N+t׳mQ(Jy`ԑš% Y =/8n1;H*.ǽw؛3 "޼cx3+3$K.th*/36D7h0-N|2бM'v^EvNw?s(,tr{9J( 0]۹=w*KKCxU>!E%ȑA:[}5I<ַ%}Wt=@_:xt 7aL#:F^ 9nD8%DeOY:1@滚]ǍH#K gi]p0l+ZJ/|Q'M A|15|pmKޟJ*fB,?/³ q |Hػ3DB(aO5i2#izA+ѺR53@-d]JZ[Qjsꟃ eѕ␒с:qu*E(%ܦV- '8=XX#{+KiSZ0& 5ʬO7'l#byg\ScFJ1`z^mĪZgW;I&43z8k)?]K'>F=@]]U;׼IȈq2SNba{䦳Z>< ,5(0ߡ6cG9[kz+ @JT>m/hD|0.nʮyڰ"8xFD$4\H]y$=NA@m2ư?7<5Õ$E'߫.cQJ#b˶8MBcĎj("nc/ٚa:4w&r1N{5;B4u AS:N?2ْim*_KѝJQ5Av uD>Y@*ʻID㥜j5Pg֗ [C[5DL|{W%UH}55ay*xu0xÔ "D,񖻷6g>M->7nyi6Xfea(m䐲N.AہbDύ刐 0,Fl$כ(Lj}d\Pm,rLOH2.3]yY9Ȏ9xfd" kv]N-U b.vRu$D^+0'xs|)j3+ S4.E)߻В͸wL27/xs#WDk>cuQv9|1F,;נgH+0 23+%sVVϷx)ZT1Le0[B.۳AҬ4_۲R 嗢/# =@hBU0 Re %$kΰQI3ꁈ>ݣ !xe !,նVUי[aST%fcޠPco$2~oa48wFxQL\rG ksiŀ.XDGLX+_czJS$?2Tc@aŇbWAzB°_ReE y|V[ 8݇VGOMQyk|3w`5,5nCg=?HTjKpϞ9FPJS47pyX*\[+_gГCg(JW,i7% +l ʈK=E mYU>r::npMQ#H-іyU.xQEU\W!1ZaD_F' 7]'O+j  (]VYJz!(fl}Qu/żxq sIns\?.afkZ{]p89fp+vG@G.S&h/Dѥd6`4P@n1TeeȎE> !/.bKrL֧JACWZ-#?`cBʋ|kKl[>~vΓ6'2ZC,TI6!3R<.f)ˀ8b3^ڵiQ)3jN>;8bԏD]6E-r 't1z/KqKj=fP7/fвvֹD/kSdFA ƚdۜ2 6p}ՐڤrOq@^i_ 4/j@ܨmD"}ő$L)꼽Nv9>" !X`Й1&!|24i.ck(g/|]71 IUN`@z_ Xm'gRQ?gm37'_`lQYVOLF#Η~`@S 7˪5)[s 몼2D>zc^pA Au6{KQ,}\rVD)det"I(j!f8uQp6 s'E}СУ< =OD/t-X:b4٫qm1+U( Qq[6RbK˓=[9gݔTmF0ZT&ԇ:,)\JlSճJ@M [?&Ŝ@po$7*w`_[\o p|cJ~䙞I abb&;V?m̅im~ TgGLj'Q<=^3f#(@3Gʢěy{ *ꙎՈ,;{ וRB즕!do=IH-FԜrSF3l¯C#~=ȔSAy?2}fEr!nwtQG a5mM75FقO]#%͔l8['g_6}d \}=6zXc/XnY4,SnE X܉*)H8T{A+Q9vL+] xwCyP"55Wgc萈+RlJ/p><yy?X4>L6Xoc*Aǀvg-|Oo fݲ6IKԁy1;u.#;+s wa$~Bmhc07pAJy%W # ,aok7O=4އPAGQ0\ß)W⾕%2aG_' qxZNl&eO>TJ(4϶D+ [r+hr+͈/ i 6F[ѩ웹ɟO~3N8Q5{pʮ^/=(8S.SI:XiMXEZ|"aF*q7԰\28pfeLZ4$HެV!m~Yx r&8P-& f")2k5yymsʗÐaǕu~ҶX|_!݌-='0 vh5$hE]U H./ŷ WԅA a5 ߟd ax 7ivAJO]K˻_`4D[!=@T-.N]K*6 9*X K-^k°$@YtR4 _pF01 *w{MʭNг`.ǁ 'c"pۅNlnM`JʓىʭB&\ԗy&~3µ6?׉۩d>| Xd˄p״RӲ#"x33fH>5h$`Nc Noy=ZoQЫ._P<*khyyzBY|< ]ȩW3d,G ZHg>TE]Jv`i Ⱥe&{Oā:JD yxd[>$[abZ_4)q\L pȊ_qgSlLj yv EI+jjÆ7ԻL ^*@#;g ?|>W-'^o_qiΥl\' 39jGC}̥ \j;`ekTk|ߛ0TV,wS|0$SDM0֎͐.6&ctm̦W4זSxeLyaVD5 ۰z#Ubfs7ZU-FC2dNv}\xS*{,t&ŗq- /{ ];|y+K$b]q#a?߹!5YS7pInBkqM>$y}Υ!!߂S99ףiBw·uǮh5_#Aԭ' Ƀ'O8KG(O={"}!^izR~zwIPiK)j|GrQ艥AS}I`6YSEɣUVLcCYCO!Q1SXFitر.ǜ~$Aw뱀mC=ʯSEM2 `"a  ބe F[d^ Gv;~Rޟ$la+`}zm`ۖ4+@&Zc[a0 %S)WওSہmCxdzʈ񐥘' VG$N\n)?Y}gtghn``4occ<?0$q1li~/cSggqFc>R'K 80X(sY;^̘[!&NizotVEݾ 6tʰΑ1X Fc-WaS.6 35*y(nB/8O:%N,ujȮV/mZBPf(;_ ٺs=U9E; "w,s^u:͍|\7CxΣ:W?rqZ6$hK{$(D"\烜Za a4!mYTJ#'4Oj! |;[=%}f CթK0!:FxĊh#o%|Ϯչ5 o&e{(\[+ 3*K] 3KG{ynaAK:wUR=(hEH^ZfO00]Aք;@.z`piTkvT1U+S%%{87-!yD[ w0P{2i/&Vtdp$tCT\?uH qt@ETMMgÖ]OuN'(1o#khX;Qi$'2ʾʎ_!6yO(Inݷg e"N$h(;M4 ihN$7*:@[WpsQ^P3(&:]:  wRo,O|V$. HyBS+*C(% LEe(Kr$;<3?v[l P?'CVVҀ4|2#*(X!e%SVXe#?e ]k<0V {fZl^-<{ΆlyX5$bX F[0;?= ƀP#(.$܄!=z,Ut@KiY JzP%ǿ^_mMZ# k! om" TQHfN`hZw [|KІdᄈ(FQ$z]uu8J{-/VnG]; dA LI~ }ߠIپ W9˝ϳ}%({Q1+-Ɨ#n+w]hMUBt|jt-c.axb>`f$BY]*O!P*O>1-(jL,zYK&V~2do=]r#ESDu 9K5 @۵,tuI,b62Qms.#}[VB#6GQ ՗E&+Nt~~49pZƑ/R{TKOb;NȒR8g9DQ%ۚ,})~Z01jKktOĩ8v3?#dYo ٧oiҁ:T+ge KXMBV[JjgUs1bzl$!sS58ClCΉK׬:G {uOuExjlVvŊ?2%p ՔғԟԵJ,)C-"Q+t?o) ,K5JckB8w V?:kJMRD Ng2Mn#$iӢ0lYNlHnǞE Bg9٫8d|Xo(o XhW Uw&bUoJb*?=t`c6Y3RLsY勶`C F\¦X^2󅻭VMb"1|eJ`lrF('yϋbҏj9ÒHQm-0DeVWqxF%YL@[%,9TղxdoN^{ 1&}k{`Fޱ}M ;?t ^MNdX]j*$a3&(NaʲOi]Gѣur􋛂%޹!c_mIpx-^{k^HpinH&CssWl緮֜C5.{zCxiRRJ Wv/؛nBi+AzPx;~v,@<aue/yL {D>T塂.|_9M@ h8ulV-s``4~|ş6 sęztU7.v! Sh4OH1i\pu'in(;Nr#Z]icRהU^zY*Isgo8Gs]>}Ń htF x 3K}uT{ Pw2=Q>w#\;crcbWSpUgղl{1qwݝMﹶcbYɧe^V`P8-|:V;%t]}*çDں[(^^)MBzAa,BLxKy-.̯(Zikzj|f#^Tfuj@Hbqa y g1+48&.D='PLYƆ #DYc-|NF=' 2"{y{rHF߂V!{, %"}!צ~|$b} 4H=g"#=WnqLX- Ńcɽ"=ik+Z͈WVB }0ODB+䗜9z޸L#1nG6f;Uy?Dj9_֝Oos >myh_`_{7Aʕ}ٞ4[TB[92cD]*4$W!,LS w$(S ){CoʑAl椽 5_cě0c>m쵟ٷ4uQ`؄)Y4gYZ7zXZִF! NB]ŗXiɟ17L? KxlSYaF*+>KTuBֿ@`SV#tPSZ'Ɩr)yjឣyv^|3ފAuic:<*uu{cеIlLgP.-{!%+s>l/";taF@ )_P*]}2H \YAQ jjy&u3cuh8e6C IAxycCmʇp= ]Mгy"j:G{˷\ (hЉbe&hxgYZ7zXZִF!  q]ŗXi%L&ʷAF.G1ſ5SGa ^v)j!R$GP؃vN_#5sbD G/aN3-'jAu"IZqS3Q0unEhFGpd\tw)u洮 0S-w'~LTvsè>oMo [ Rq_,-&=.S RR[h) d2S#u<|/Ɂ'KzPeV{TF!̠Gv_r`7NwLfc͎0%[33h~/$IM Co#G;JX9'Ȗd V6@KHptH˗,c5~. q.};ZI *wpe0ksK3.MAyP-'vLjCd_2t!5^t]_wR$YQqE$XKSt2u4 Ĥײ$yOFO}bM&] {C%DUt<&qܧ&>N*72ra-{>yX2[Itq4N]@^?f>6dSp$r7Du3p2rtf2G9j}D$"J$~D,]sqbEftȫ3 E9!:7a8Y.EJN_,.!1l\|<5%D)K2ױN ѐ ^ڙqhG>*qB7OkwdwSǃ7L tloL+u Nc淦Qpxő BaCbt7UCF=-@S*^"pn"`\E`z 2 !w#(2bmpN}`u<}؎?\ u5=ā/{ۛC&, %a{٤ euJ7cxHS;j@1RNG_S ul3<8N5HsX%%_DqM*X]*%X˻*&ZD^F rz$-K%yYmAG!kx%+`['n|yP#S(.G1,W*.Ys𛲩9F;jS"Tf1%&=4`o$_a@PqDb~,ld: o@6{$6!bTJ ýHuOUИu:Zi %tC>XBAL8'_oTK{V n9љneGHw@W5PjW*^[Kdd1}`epxh6 urŷo||P?&&3^"AQ]{Jfh!J­w*csgh,Qy.ZUT㎖9]pg'\,LĤֽ3"%)n m^ZNXasMCcyv"N9ߠYF ;{Hs{Mݟy~4ߏԹ ~̴F4&gBX79&qT?mlR pE%ʧ|?d„/g!`eMnS^qJx-W*"$ q :-K.7!tƏ DIu-kp}Dq |j[e EcHaS&k$CꂔZL}Ҽ*/߫Ip#}t '` w??@X뜇[ȕA ZQU Z$\s}jSBzWibfĠ)8fU\}g-)SDæ% ;T#xmp$DO@o(dVR[OKjHMH~ 8b bs5wUT\(Om(_d{2SEB=ߖ φXTkС.eLsdCKO7Vx[3'l 7* 0CaI;t=sĽк QCֽ*m0?} NL],TqiO&0V݇2{8_Ac,a[>·կz0T3;'Z\zmp/r G-@HO{79O1nrXAFh.[[cC,Ru{'` 4g{6N-,K1%DM05;zs2$_}lxAe&[~ F o{]RtF*0,B`8?-YJVg'vh&6rt'4HA,qK#|NcSEKM&I$JQ6ZQ<(Z}F*U[ڙ,C/2{K9w,NLY/^1Ro)/Q8?ԁm[$tlO-?o`k_Xj b/h%Aw"!9E'i*,YjO-uOv]EvC>< |Y/0ߑlGӼX=@1=#n,>>kLۭQLH]Koy^=wKIiON~S\C:#<\gRo]N+UW6y^y+ ,&|U&@U֐gU2gW;~ =WE1H8=t i,OEn֒Z2go͕S:,1tTܜ'?LW4G|{X: {{d?⏨kS.G.nǀV %hͰvG.L=& %zOAI7c}{vv(QL`ե11QDwǀuNg2 (d2+(M@*7EM7`_w5`l͌mRgx{3b\ԔZ;ԱEM~ЂKJ"JTCEmQ+M@nEy,7e4qh*֯CjtS[,qt]<.))e58ĥ8D5\Vx{z&[d:]$$7,J@)RD*%Z7 eTdoRLDߖ"ђRaL+ `/yIV!h}==86'p䖴:~ 5"@HP6Xg@"3 nyX%2#&5_Q2Y3kV] o֜E8+5˰'dD Ys z/>B D? ޓokDMlɎXj|vcc"Pjf1N;[z*NAӑ$I=ۉUB1d {b: خ"ȶR {Im #Tb%rf@؍86ۭ)ӜamsvPQ8m~71Kб64=$b:}W%ZH!sScrfu bCe®MfD\{OSE:ě/c~az!jTfezCcG* /dABvYֆS!tX`]_2j6h=%}Oj˿{qo$VDve@uDH 5zVZe(v.#AO89IP}}gkrR9? 2`61J)+Q dd0O&>4pe)?#3}:Ø h:M2DHErm+* F ^-@|L K"d'= ld@ C;ZvtmHM=񇒻atMjv{sOF5*zIOb D@&*3d$5Ӓ5lx80 $?Ȱc~[67rQb]dH9Q`#{b|i0^ FIN~mhl$e׍GI)duD&}}AD>sVG`5'BZ磦!V(R8X V5^W#]AǖMUD݌|1# HoI?]afWb YEu1\.cˀۀDm_`ILAhG!/adNŤ ,OФ:8mnKVb<^9R®1l288Bmh.X4*Eڐj!_u)i^mĕp:&‰"xuyAΟ'P{$c~ā-ԫkB0E;WNj.ԣD(ry(-pZ◣Z>qߚRB w`kge5&ƃOKQ:mT``41߫?VN}ȒzLj۩Ujx%加ۧڦi>`km$ T/WFx  ֭uݕDwI~f-!c7r"hɭB}_t Y|;cֶ?H. fcҖ`WzE1Yv(bW4IHIU"Sv)-uFc (W`ޱ%}\xtԏ[3,OPNB|݂v+>l6-Gj)5~ k]pi1:;>XO~~sCULr:e^Aǹ[ziFptpe:M6x+.²?p'#i9;3coRU?PeNn-~\ ̚3 hT)m΄i[,2i3xB_RfPֵK7csA->1 gYZcf8b7a950c03ceb4fdb0ff38dfca0ed8282958c59aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d 3b66fddd13b0d8ace618bf1d56df035b7aca2e46