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 ``h%$D ]/]HOL-Analysis:threads=6elapsed=327.805cpu=1687.104gc=93.044factor=5.157zXZִF! Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jit35ꊾ:a*\31釯̺'\YI;2ZɺWFxUFi2k!ՒyJHЮ|ȹtP)_,dF%uj OrFb3Kt0O4ܷRaY mn $;m j7ad}*fWfC/5&+ V6Kś~2+T4*z-*mȥ6s[%tҌ u Cfp{nd'%ku#?&ˌbb$py8ʺqNnee~%1\/#uqZ*^lR剌2ZnYy$rKz.+)&]M#{.~J~WAT >@N&DGIZE/io|`HecMd+~1Rx/>]kL4p-PB%dS]ݎ&M5%[S,'oVN,Grڤ`k_G1^ygCe"Pybfa vxiԧRW!4S|\&mpIھ (ZԬe%n#= ٚ\TeMO#IwFak1㰚#Ju_-BKQ|L >kakv _XOyD_WxFN$% i9ʧ t^Wo2|nç2|?Q  i[v *- ]$Vӎce-r:8$!_ H(sWmR%9Xn[v,ۅ zeH)pdzotfh$hJKw\U}`dM@^0Z%!و?mS_f-~¬wdke۹j {/= "nH CHJF O<8WUČ Ipc`խT8׀U9M2#"TXsݣ0o1 ~])^`~ 5 (N0n3 : AW u_Ryy UPQxdxYDڸ>lUqgUmEJBf՜Q~bLʜ\S2* >#)YVuȻ#D N( %mՠ2G^D3רQ6uȀy9uZ5#h.xq>C (~\G׾DM JH8<ݧKw#J=LI4NL iYzqˍWC$RPD]CkIΆ=#`'4`+,%Bia gi`\_n9@5oSOl ]:"5{gC 3U=Y.y ,BNqhd(LΎجRMaȇi>0jq{#/|+6a8! 9k˃Y#݂[D^Im(dE+fY^[J3cGmF &_!a cbRv|˟v{ǐ#Eo9Y p 3Ɓ12vI>=*vsa~Ŵ%G'}T݌9[\B?D ;Vnh KQ=<@O:sgһE^HFW)F49|<㤤1R cRZ^Wd3<,$,]XjF"ߟxX'!,ue8q^iHxjNΌ#U,fy-_&5q:1`fS6r_&%rڛUӣ(gt( Z4O:(\_y~ֺB)OV99y[+G\%>niD-Ɛ}O fdl-{^P@GNWlP>KcS*.4R7HMǓQjA [QP@t*x>Z 碪B6d '"0hzx͕;h_n|>xtYݗSV=*&J 2[φF0ܲ*7! t=aBa?BUGKuGj/4q2{}C1O 3B/2N0Q +i7Kfθ;Yd'А +E 9 (ƄMe*Qd؎ 딐of,E+nulIױ/5xk,[':8ٮزlm#x[!lxHZ4)":1t,=ѷ!2.9rH^1#jb]6Հ\6ߗ}ϗBRDQa7^.g?#%˰72zղL}9&"`.oZ ?Rsu 0iYOpSG!9מkf_I-_Nx cZ;D8۳:iގ";~} lȏp|#nOz?eWX^i$##?3S*@4 C)㧃E8. ,"ˊ'sCx}"/I!ӒՐށ|pkm?HsG'ɓVGTݘc3.l< =:3 KQ}JVhT1|Jod4|zg\D,7!.) % HOL-Analysis  @59EPWZަ[Ol!0&[DTWSu ,=cU\M#9>,Si];}B^A+zhabM3B Æpf53-|'c8ips lAn">'bI:5%m1QP +5.Dq@]qxV1l5n(.UI{) *VܵhP~?5GxT!発6Qr >`Y wVe2zJG »Q%}јn,g+ )ǎ>mjAtܑbF0i/5)7=8µwaN]NS61F;H^:oSoRG` &1fLmgH +נ{WsIrjvd\iT+ʟCWD{yomny7B5OmIiO *f&wCK4ݑ+1x<ͪg_ `9<珉oiƋS0nĚ{Wa\h:[;SW߉*(@㡄y$8,'-f1GL7 K $A_,(bUcJ ?4ֱ+ w| FxE -ʌyMﴭ`R(-FPj^+E1 tqEL"oE6\$ [SU,nw*:m܁L>3@t#8fvzq0߯:#*x \ R ]o9#bWx=὘1`##ouijlz~8=f6QFz^;_Pv) =}>"HxM6CkW&'EbeXH@:`]JGXGIBU5Vy隡+0~uQ/44.6Lk*B>=jL9P[ S0~9IW:D m)bh-lE̗[(ŏ^ GQ ڿݾ<UL<=R\syvY9s5^Tϴ:Ǝe %jM[G&,~ xl v/'^iAťȢ?K%[ ]pHpҼѹ ށ\繡_\.g&5u~soX-q50rEZL`RBg9SbOvq&k)1[MnP.+Oyt]2զO/|P.G8pa 5z-_o'&|Ge ɏ{LOK>i+L2O lF!l4Gdg焷pBG.{Iע)mcV'ujME Dpj-T=&-T8GE *!1C_+q,5 B2DJ~=a)צ\7I_G:@ݖjC&{H4MozؚN^iS9sHjl&Pd.i ,|״fcd׭4gQ+ym~}Nnqd̀ CNmHe}V av:zF.nˇOO7#% C<+(=8CˆIſH~ZXSdփі 9RZx͛S >vpr6rx\ue%ec:ލs@T/oæ3CDjA,cR2>[\rTʻZWc(!8R#ﴭ]r<%xjD- ia [mo}fZ ՘P-$JANqHSk<le`u3KKnvS;e$)dŨ;߱9KNlVy7H ,fn<ȃ`:[COwq>Pkqs(=Ji냪Y\W#»5w*? 5"ذuL<ҭQf{;;tc\'a0iCPQ`dѵ+DPf&o dtNR&O̸@'UÊ\gV9Pf廻,3ՙJj qDoKMdZWߙu\j'h^E^B4Oq fel1Ќv5j/ܯ_w&t-1Zuܦh]*ht-+͛S<,sSDs):yLlP:H6\Ȗ|/ųg]/ 5GLl,2Jh< 9Wk"H}LX26IMvjOϋP3J.ʂǫs!WbJV̤ '1.D9B(Kf5 ^O]]h+M3im?yPρОR' hJ=W+H(UKں6!\G#P6qdFMAObnPL2{򸹨=djPiV…uzU}yr<){|3s;.$+^$9cǻ;^KXH쬧W'F:E K#0 aӿ 9@,Of~FI3#*~7۸GUg;ç ?v┋>_9 53Wx4}U'oD٠sec(1^0FL:^_BTn2KٶʢjvtAص)Ԓ'ۿˆ7z4feojqehOzDki VZwoϩ*!(u#nMS)urV3Aj#[Kw *ӧ +AN9^rʮ e[3kGYS@Y6ifa/3| ,ucʗkK-!X?\M̊A>lbĤFyyF!^,19*$shX5-ghQ}'- ݺL?ڡa!>*o:"PӳX6 SonD;-ċ$j-+h{&zp<Ġ!@qBHz1z>ך=r9o.RbSf -h ­Œ:=m.l>}Ԏ}>t٢\QVDNq,][)E ?d[N }8| |be36N,bd)2)`?_XB;)!)0{ 86R"Y= hlLߘ^[Wa8h-!h( ݓOv/(v֖Ki CזF%o'CVl Z_O]~MscVVl s M#pgbon.y?V:u" ~huGak&۽헢A[@nҫ(#6BNk4ۀL]|8 ,;|H,VGYF?-*6V{@:̟mqO}vU Ϩlh[dd_ \.;З-do-X1SmY]W7]~@f=]h/oeHPeϏGX; 7Ҷ2M_yt>O޶|W0&NA3C^Ѳ V0HMxhpH} p/-k4Z`d;CrILiLIj%~㡨"f$(pҌW٥c(vTAr;,u>yJ⋇2oP5>:Jt뮗g~4FNὦH=hQ0)HK]\#aC1U6Tzܺq! TI0Ey gQ h/*C/ښNbҍZm3ugY+^.ym0Dm0(`L h BBB{Qz"f^&Vz^RjT4^1)U}+JmtzYb'Ad&ZCF"B!|nҨ$4:)΄6rtk &" bH+ӽFV@R%-!Рk(/4`Dt'q:T LUȋۻR+[ʖ/:MW>WbBmɏIf)UwZZ ;ȱ;DU_ t2H4b>ꑆQуSX~LpMGB{Kb⾂DKECM:h|cqorAX+'^q6,h8A`'~ W`VIt>4pZfF:`*cnFUӽ]'ou{+>$3}C7=uRxze:tbgXkjȢ}%%~t!Cp fQS 8 4}Ȧ⦌X!w{ I; Vyïz;zJq^ x'@~)8n%*_XboA؎ntT~_kigVYWC"m{<-ɛz (\ FO0N1 ]a}vI24<%@OaV rEsAyskY8H5"8Uu .!T>sX9 ۠&\w9ZoP0Y!=7Բ?׭νKD^U1iǿ2=Y1kvBXRJhs^J0c7}C诞wz{t@{m uiws#ۄILx$S K,BwJcF:5Y&vgu{4ָ-l&9pݲ7K?eEv5tbeC&py'#{KbŹ*С6S![d قXU"Ԡ9#uZZ|$҂Fn"74T^aCtI%gHB|CP e O5>*|#-P7FXōA{7Bࢊ뺟"Qm}Y-NݖO*H(@#zڭv;UK$k.rp!"t.Cj]@3G3=^j7,';wed\x~gg@U36)cXrǼ[@2: "ԓo8US> &?,{|?Q *Io;`[߼ڿJ bMүi*S  ɫ& NsA#1ޡ`,׊# z]pA˜]V .*:cۗKlrP?p( jvSWvB60\A>D,;'߹ҁQ;SZk[)>MiΛ+X,ɼmT!]YN&D<{Qd!% r.a:Y),WMO+dR$C)XvVo%+3[D=Gaȹ44w5 [$Zlε!/\x]Qa_ `6 *S8'MF8T+lv鋘,ؼ[}WЁ@P\ڨhX̤7٥A\? TI躒c$X(Rd0$i[gtgXv%zlp[3pt{sv=e,M=FnTJD>)?㩤 5 Ct#e=6` ƇW򋶍>K&Q+?֝RWPΉC5n8x:(CA ķFn8ܳ3؇jNBn[+8yL-OQkkyhCՇ?JZ0HV,ԨQ;iD倵$~CEni 6*>f&G'q<aN wG iM%>1AES1 (-lxH^x 9I}&jcxK5S_ef ~J{cH[YP MrJ07D 8> &\#Kྟ[ {ሹb9iaC1~ϲ һ#>, } yp }LVOܦ&-ME;'/D^!CEhTh/ꂧAH&zU@` ֆAsy[S el>6dxK%HdBu\缧EJ{%eqӷN6֞쯑+=tp(h7:P :F곿 c"T2 ?oWϜm Ԡ*۩f" bF<*GC,Pb.߶cEo3kٗrj^,B-hUk(cz)45*\Lƭm2+IH~-TG+?O^b:62CR-t+ h=- 8UarpE^&[;;2hBC*"7AIgl|}t~dw:m޳d OPuqw\*,s.2B ޽L2U`C%|?*hbx =\0%lmfk]kFwbt,#թ+YybikQaҫJh+(*4?fd\\տa %{Ը,/Um;)O68QQ4HfbB71O;dۅ,DV}PbF5Pb !vePWYAY^`Eo}DYA%gsH~Й:hoG-?-%Ya?kB ;5( &MMB83a|͝С㹘@j  R8-|3p/%8~Is ¢i쳏SkyxuMZ 5Eu5"G@'\"՚_%Mf,jY.įZs@WU]#R0_M@xdluYJ]VY';C lKܐH7㯛2F4kOp W|} BSKRyٹU"*pZ56%RZ BmXg ccL2- JK'y}(њ~1G׆|MWhG&|MŪ8UOڣj[/M"@BHʟ]w{WAj?KKءM:W K:+&\a]uo']u7:8mKP-D"E uxZDQn ˑg;(\2A`ݣN-Ϲ@)b&7.>ߐƲ۵u)3,6 b~]>AEQZ9g$}en4s->,rrm@ G{ǔDjIA2JΝ~STCjÚL+g,Q'ŞuD ;a4>XగΙD*? F> º[M׌2Y<~mk+fL+.ƕͪbKWkt3i^~r1 UCIYM=ѝ^ u\y" Պ{ B([aT8`Vw;I[\Bpғ<f﷑7Y^<S{rٞz, 1GJ <{^LcZr‘ oW#]]t54EC_s'HpOZr;< W"lt7!<&&|B<+]%^8}-6$$~Ҍ5PkV' 5穭Uw3J1؊j]ohօaCsF/[|ab#3ЧtMZ)rmJ"8Rd8X}㖖m/EB(PXZJNA9>DX\S#SuZ8Ճi RWSz6AL-17LgOYU;?=nhTd8mStyp[nq<Α"~9EAQ Bi e]SRV' tnCX]ˆ^rk$UjpN`-&;Smnq`_8,X!ǿS1֚\NuD;i)/eD=-di;E!tI68Kbd8h)+u}CEJ` k^_%Xxii#SCvĴn=0JO!@z{tXQ=/!l7>MO +Kz߂%S: 1tyeݔ a8:(&+0=ffGaJ-mڎ*wɬZt=4"1f@/ٚ}Gr x%Se=Y'Ob]$ RǛrv5rc&3ZuJxh%}&uQE%(+߽p .E0CaU@/yW_"ՙtB?>^(mk RQ5cI<&/{!;9M>=XOjc%p(f>eEԈM \b)x*m2>~=2=&`=~_=,߯ ˫Ժ>4'J_M=hPLf̄GͮPr|OCNx_TNԾ piL7%&*<&W  L|5=eTkƂ*H%53h B`Dܽ[5Ơgyq{s8~MϯD$2 ς |X>!g1D$,CH/Ч!n!SRa.)U[J}Z8<榘\OK7+BES$t&"÷Z7HB#cд=@].҅:S8&ġA+-z6 rJ~Li~@G KK+T$PebT|}0ק6o( g>R1Akg?ā[^ iW@awtb;<9 y"ጥ<} l %k'BL8;}!usPg=Ї^2ۂ͏qHMۢNd'ðv$u,f ]v3ئfG&.M: UC/uN!/ H9YF 5y֍Ub̖SGeNzkkmHdc'7XBAFsa8v^K@ֱN LYrL|t], !Lf;3 ܗeZ&AC}cxHS"rr g9trEަ3)*sr>(VTkc}}\jҚ7jS+m!e׹[Rk0.j hCcb#c3]0»s>2S FU&nIQ=%\!p؁Lp=<1BdB]q_;c9W\J{#&FbD4!;[˄^Z3[7\>zE#> V|K@>&H܊ZMnzjWѴ%(c҃(u=i[u\;d fs]+1byӜHp 760؋xUPܑN)[$-XЄW7ʬ&' F!A^nP,䝲fB1O WN j*)#=4RO<Sz)mOLQ}>')$#e2g:ݗga;R>C:-mVZ8og|ɯ(ֵ%L1!r"b1fsRpgeCõ˗786H9mVM`86.>74ukXit Oб($ֶ`2:iz<)ivv'MK!V 6D r}`F>A}L36ݒlH&1{2B͠hw'щV2t7 Uy¶;jϩiSo$`̪nYT"DAr["9j ɦRϟ[ealG./i6#΋XbpC#,n֔H]:`@]ϬN:iME [IZU^AX 1n$Y׉x{6R .}]I儹L"[ 3N|u~4dwFz6:}6/-T latlGĦxBкlBYHzRs_n )﹆ѳ/Fkz%$_aY|ěYLROZ<;fR;₵.dZ 4nW9"NNK7L*z: ?3+jq.A >Lc{fJʕahJ3BC,~p7M'ҬNvK GQ.º.N)/&6ZB'N>AYhYyihƛZa\f[V$2ñJ~z8{{hõYb'^'Q 6Ʌ*}2]ؾdxTBNEʢ@=Ut_ީ|%Z9/wqGLP|QǥtD8q'2-yAרҊ\ꕂXJoRZĚ۬00f.](R-=7~^smn/G6[iR+֋&aڕG~<%Ͼ_62|t~i9 K `u$j8͹ 7ȥ@ o~}>σY`)q.%N+g9BqhO'ʨCH,QG뭘jZvhF./*Qa#bW`A<Aۇ} v^νIPo2o4Cgpʫk{^@xa[iUV}kʌUigׇNfv{sft1Y+u: ?vD6iudRRBjPv֧Hꥴ/Uٔ=a 6*:^'9(7+t%Ե2@ - ,B/0>`7UCHR5`L-'Qo9X8q< FBѧ5W Pr]ћ⺚T="YƷ;G<tPT)=*IUHcSV2l7Z΀5dgiۯVlņ4Hc CMgi#O6cը՞iL8Қejj:O0CZ U78(F ~;)@-A>M7%}֬A!Z4_sR=ԾVjZO^NOd-ȉ^,-i1wJ"u} "vA5/m bif;Y&fuZ~%EIH'pPFjqT\+а'6P"'n zoYX;ڞ IJH$"+_9 %D@}`:pwꊣbfW1os9lYQ 0DD  } Y]qɼ}!B݀&®$xw<=1&H q.BoHxY$ HnGOZȆt ?Tw}獙y|q3e8 mI) ՟s[牛AJCfpsYztlyx *JZ!>xFPO7Z inQqUfGS$kNZ.3^tX[ FLeyxp -xn6x+oYVHM촵|Bۜ~rM56ás 6**jizm7B6aAQE*h e(RÔOdG,XL: \-&x+ݬ:'prS+/GqEsj+]jG9h\t5j c[Dyv f9q.AdȡU|ÿx$R/N׳=j&qD?XtO#^K̳|]oAc r,AJ01tPv}uzpqG';vO/GgȮJ9 VbD~0aq2mI0 ov=}q3sIf:ACze,fM'@昖:@0o'雴= 'Ɂ}B砸 %..  C!,jKuҠ[I 2"KszOIFyY]Ds,դ4ٽc# U %)Ƃne%kJ1U**$\d̃h&E<:?nX(ցS>Zv@\qZOv(IȢCQ+^3OʩTp''MSeLAv)} џ)6/ֻ0 d(DK"S:[$?VpMzPCJrܝזU3,XD SfOo)4⾮1Dw#0lNC 0sufQj Bn#mlpjLNV-6%&|hZ>Z֊q7BY\ {4qړe(8cVX]=_^0')BP^Ƚ_c|˩S}FS!7"II=vO1[]/p+_LR`VEu8q1O/YXz>ˠXq滅u w΂ ˍh_t"Q$A<]{*$b<ڴ/BB ߃  g:4*ى9;60~d`viV0IѾP'Q*&:S.PǸŅUD2E-+iIdsrUQ$O/{|tD,kydTG'ʒK~J6_WfbΤ QRh8X\KN)4&1p[,.-ΆEV[dV3iPpH9h{άhA. GՓC.tOԶƅێIۧ^B/QtͿՈ"٣[[Jp]ŗXi%J Hk 'T[L!p\^s1V X tN=P8+?(%n`%σQA9dP $!ѼCzNY>M-܀-nLNu:EM5$_u4?ZOsl:'.ʩu\#ܶz8`#Jef͜ڹ[ QqS9*,YnB 皙ҋ_̰ y*tA\{D4|0X+9I eef\+ 98mVR^VV@h6'~A&:gjy~%n)y?!WDS0yYة+Z5-r_'yP+'d\VIIXP>W)'C "0G[U(O'| Ѱܐ{rE/!w0 8\+Ɍcjpo!FBH4RҳRσWaPo!V~ f:BMJkNi I ;XCZ!ԵbT6hVM3AQ jB`hIzAE2C-sO# -ӆg3DS D͝ӏr ziG>c@xpd@BMڳ& Uz=c6S?ۼe+!^]Yz0+~.RaGR֙uX묵PDrj |0-ӽՓ`r0=ɗYRCO`jz.3Hi٣a9 @z Pț xv^[;[)3@=qKZ74,ƆUGRSXKݾ@҈j&d6a t=HMY T~i8Wc*1jZ1(1}yDKw_;Z7?GDd־oO#z\/D3mѹ"1 SQA$ |H7o kưJ܌ X4Aޱڒh\Qdzآw(c7}fLGw`2hR$yP$%ݕyzГiՐ[QIU7ٙ}L~Cm'+ !*POɋB@tA͇UQ ) .1tw Vl>8}OnWhb|;!:DImU*F!]hbۺ&dJ;L-_jŠRgB#TN<@: BKkp:t7: O]tO&,TLm( v9<HO5SBАj*Ph(td$7bbHݠH֨fHàaVอ 3/J!]٭t8GД!w5B])\Y ^Ѯpx!KSe׎6⏃N;d D7s)T: gi֒j3V@Q1}!N02:,zy[ᗂ9nʮY#[)Z%"9]>Z:,ȕۡȢSbs96^0]2G!bvWRgq,72C#]oX~K)nЖ8S>p4=[ch % $-,\Ǚv G<]d2i5K./cK(Y*+%\hѮ]P1 y. HB{ "3aL(A"lreE; LXS,X*vĺnr*C*ؗk0*NA EāӾXS-ղ+:1 /?m)Z01>PkI 'ýEFbh[Es-Q\O45*,(4"lSxKN΅OhX" @~&Pav[.[gz6geKʃ/7V^S ^::8!I ҧ.fd[*eEֈ^xo|lZ&Iuliߏ- +.-ܯ)E3kp6K(z{}16ɇKPMZPss r!k]~JHpYA6P3107bX 7):i༱KawNcq%g1Cg{LFlފMeljćSq1{'QUb60QEZ#s.$ypd 7PM]s&bQW|jKQG'Veku'D&5$꽒ya:۳V7ZIgsp&}n8œ wENXgaY~o(ԦUŮ=W}ÇRfa˜ykw,UH}?<<=ޣ C2ܳ`=[S^Qf5uoVujq ?id8ą#{+F7(ca\*^0;=[I%Oң+F:k[ Cq

^Ȯl]eE0q0mѩhS^Wxq.텘+6='J0:OBWnF[iYlyeM?3l?@UT &EIk5dSum;::g¹/dįG1cDZ$z}c#֌=c>*{P[ O Uϙ桳;1e/X4VpHnWjLvCa E'xę#20F8l8HƊK=0li^q]/ nT^[ݬSR 8a#cLMll7jx_S;7 㿇5 @ۡբ@7ɑepkUzX;8yEȟ69{5 b•?vG' Mo;N=.(C9kBks}W"<PŘ0MnHg > ;%筣FoB鹏剙8}#TvΠz?ۉ6x!۸P΢"^YcܺP> +԰6ܵS'q,Ŧ19G>3UQg S0FlBٗ%,0΢Ow T&edpLrmCA߹e9}hIfhX?ӝEYhNL~#x}4P}H6Noi g/ 0U C 4)BXr5bKD4%ULY*IPґxK 0a% oQ]G{?u*TrtuX,Z{jL[ dBpѻV+O-Bs|@ȜpP'} l@rXY`#KCj!c WjBGo{|GhuieyID[syGNkmW AxOyp`{W*7R&ǀ0QW*)=*MV6:E_+v `.Cqtn<EUSdz^ m'ZU3 2\شaB)ô?U{O$jw7 Y5e -mm&MW{xki$+Ӗ"Fa $}'7q.Hso2FGZ̊4s}cs>lyoŶXs!=٭Nt[$-Q?,j:)?4Te/fn:S& 7h̢l%.X*`.FT fGN qWiFcfn}  w$1b$B|W3 .&]aDٹϿ-CX=5ßn5kN/`+ӻ}7MEYpoLL/+%TB m AJ_ˆ)Zuz2o`uj;~f(B_SNW{GW]@?io^ s9;z25S;ya>H7&P)}a٣cΧ2que.=X%fJL;qfe0I VwΎHț * W1 o6eB*1K'{ytxX^ZA.J~KoxzMLCtIl5 9jW Ȗsc.e\:sv/h߁Tr 4WO$$'_ }`唑|0? )[7"#v>Qxjs'kO `C72߈쉃{gryRyp6УlC |8Î6U}..8ð!)7@4hWGcyUtԩ,A# <2tmnz]q浊:E!' x_϶+FpLxNNg@vxo0"/in3~Y~!-:&εibyOZ]Wn7t-WOKq_s: f]}[D!Kt|ii <Ӝ>tDŽ(EX-ae O bx<-5,G#~& _q yQ3+$ǂrBWőh 6v~mtt Rfۍ8L"zWiy^J0-Ō`TBj?_@o(%}=ipӰqiJjBoUȲ$}HOx`;ɡ,I|vUMM +Q]]Eؠ—̌gMs DhяXo(5J\یoE/qPjp}-3kG5]>F^S KS0f(-/{qo귲yd6Ś %<]Itd2V>RRIbaSOC>љ6VGu䭞Z?_oxXYT,70\X|C?aXe$w*F{n-lf F0wu³_ɬ_҆h=J<%"yWB9Hqd+24_M$? a6۔GrP$V8xZ:oiu}CŵΓ%t[:0*-E!e71$S0_ޡqJE>piKLԫ&;P(?O?䆚k;#[ĄSh;ǐzPEG^2]}Jh?{2߾b^RsYbiҭ%1Dl.vU_FS!u%`PDbO VoXIJf|wdagt=sp { OIOW Tz,&D&h'ߕƇyB>0d`ix)[WlڟE8a 4OIigH`h/eOvR 4oe>׆_Vt[\(PGQ80Đq@*{q+`ʕJUkKI%f&OE.iv-uRzrA .u"[v@C=-Vpr_=#bAq܊%⹱-5# m wk0|\gح#Qf$<7ydL"${_S%-9x2o;. k5Zv'b@ zў~2 Vp:K0R|{Dڹpe!!{ ZjTϤ)..(y@W2)9X{ =3 I:Q]^'΅])WMdTH֯ vφNHȔDF}*I-iOss*?QȈjAT}iv $P7 35}*3{YT%ԎI$2^[PX[k^G|W1u{RkT]sb %b8.WS 0rq1 5_o$8)Gj^ptw0>eW&[v4j¹4 |,DW8$Qή [χE0۶ӟ}i4 15w_IޕPd^`ʢ 'M?Enjx3j/, q(h3ӧStM|MfX4eGL؁DlY ~e?jX~gŸb\Ucm""%F+Y8ngF(X쪙_{ &0GZ{|ztV5Qp n~pOM3x9upvdv}HCnXg??<Η\f=gw(x˘ڌ'kJU-ڷL?b7WE湌{acFXYyN/*~ 3 *=Og4;?@rns~q~Mb|ȾGNmo&=xԻ|Po>/&^g"B%Zxd=]9V<ww2IQb0T r%,T&/I9tS ewk]J=ha5|sNݎZ:NH;T'?pb|ۼߗyO8%>UT70 kKw;I|ƊBh>>xŻԢн0%2ޱpX̮-+5VvRw&#=eҟDy]>\{ +ӥNW&_2Ƅ-(P ~-⏜dSUa$mk {h.[)u4Hݭo#k"rS?aD&'g|ױ'c?veR58L#p1-۫4g;m׮.(YrАY HYbӍ{wvP_g4Ԛ6au.2qQY qTw7EBzt1vRl9Z果~4>#^㰹zTtN]CQчߤʁ%>2UIb{eY`]6lͣn<ƗP%Wqbϊ0m m:w{>x͟X]c?Cg!|jď˘;`㓣1hGeN~[r fD/LW=!|@_6;&6DHG:s8ųy=۩e42y4'Iba Q{;Acp$JSƯv?C,4A^DY#LSꈹԕUQY[ЏW܉҇zd.7ȭ- 2'_Y?׵qϑp*"X$6 !,}m1]95l6}NIgYy%>/=ڟߍ?c;ٻ_C)wYű;Y;n]!q"-NUK*DGrBێ 3}+m]SƻlS@ ?$A{,q #nM<"́KB6ZȈTtu *˳O'Z#%g>5Fr. VЋ&?W .Ã䃊7Pdp+*".HFo"}W*r_Pw2󞗁.ɱ(}cN֒ۛ6IC؁LjO⦉ey Ŋ!Ԗ֑w%ۤ ֵ'Mi (]15JC߆Qa Mº@)t|dw,hʹZFb &Ol `56h;Pab(ץ8C{u+I>{boݹZ օexV%T6[m(@fؗtw^,Ne\49*Օ<h *M$wX.&UhFקq],!@5\/0h^Ųʌ?Gfg jYY(|Q\5B.a #6P¯ kyvҵYP޹a&Ma]S {CYD v{b?5k'O)aY脛-/@>/$3kӷ\h(eEpTK:Q!ybw$ ;vk~LWNC@%ݪIbq5(&D% GoܭoE >,G=t4RIO'Z%GhJN\'>u\}g_~;JQv%ΗE9/KDꢅpjmx6[3E bĺ 1ϔbwG)@|M{VSk8g:KE4>wa['<5}JƲ>_$u>suV(  Sڃ$BPh{z987(A_a?^GTlTrދl.A**ua, ~,Km8m0P ?ȼn'jǢ2xHF6.XlFwG9HMA ; m éޢdmL+4#S,%-%vyfU#+G6Z>L6i;ֱx-v}s8JƹYyJ33U{_]}deڀ## f.X-|QAzkflZc Hu @E5 Azv&4ry}UϿad<")Su7>^1MwT- $ dYJqUj,ޑc/] R9j- Azo S;{!8;]ws=M']Et]MVؙH 0p -=J}_-6_,aۓ_-鐷ϤBcMkRf @\,+Oý;yGtPtTgzixh"4=A8W0lڥ;cڮ ^FT5THK2ܙ+7H0H/'TfHgQM_ei޽=VP4iH2ل}-YdBsV1K} <6q e4"t lnU8vw+fU8Ȓ.93XW]" fD9&J)wz)@qpiX0{c5TJ,3;F^vײ>d#KPU>.rQ80m-Fc:Iad8 GoYΟI ¶_2vѡ0#kL?3ժ=%;gPÚ@n%absni?~Ƭ0p̮0S[PFL׵**4^:Z[61ɕ64-RUWL>N? N_eoEgNc5VGY}HgrK'OިuxVX). Dw+UѪ4OJz͠ॊPyKF3(:U7nEHV;) R}j!*8b% 4iًGeCM_u;mvQZ7v\H'LoDJUT=LB{Z8ϔu:f)u/O텦LLn R@rNaaiE7+M*MMDV݅%{htʛZEIDfNs?vޝsi,tUJ d+ɼ).pz[̈́ /=7,VG.UiBsB+c7᏷QW4_$j+rc8`Nsw1vVs*G''1ڀ Ij*g\2Y81l0#ڳ6gYMN c<7P:$qrq4E;MU, /_ 1&5]ԓ4#2 Zȅ[wa/ЅkSWw54V8U;7Cw ',17rId?[Cy j,9| 3ZqChaEy⟅&W<7o^|+Uc[ [N9u02"O& /YRIF^QMjβLJ"HR]}m,jHfHkB0_?P\jvR>2n(OHHQl5I/ gu%.lx,IL`S,4 R-1C K2DnQ;Q,h'KGLUЬϨycr=y reB"? u# N j'S]{b,q.M71R :"hG8 4m q1Vǯ͒p9x!x [%npd<-%F$ާhI`#Nb=Ԩf>AϽd.TԡEI,NXoGSv5$Jr< Ê)TImdLT]ZkaJ)B(|EF3tőB'&J6x[YhپLnf=QdSn7 P`Q.\yP+| / њC+>b0+ޟl HDSq2]']`G~ݶe{^v]K/&M=Ϭ )OtMlR 8ݝԉ#6@=փkynbh)Fg,qNd`AS*zfȹOgM ucpQR_ekɓLpHAc ? 1<_iXsŞqe`V| #OԦ3̔acHOlP, =ASzZSeK{-[uGc6ZtFxGh)?umL$;kpý"Nϐz DIca"5AAҍo2(7p2ԣL  <3QPxVOU#@A,ΚbfVл%AD/>!d&.k!U*}4ұ]fּSFy9'NY;nig4T^m p@}P-aѱF؅*LLM20xħޙH# wQ9j8\4A\UޡЄR#ءɖb7thgoTR:ys!ij\d,4&`R8:/45z倞iWi[+ wJѼ^DG;26"jݰPW )QC06 4ew'au% opDT! K^:9dfӊnsX~@Fe֜*ΒR 'g6ID9̉gSBEHg"C5LOJ`lG4j,L$U-^RcYU-u!X"戮-tTU-$X?|S*Bft(I&]zfS@5'+_]y*CV^o0JݛX)vu{KK6_8聮DMŸOaWft AԋϹGJd~V/U!_)R<[D+,8^ 䤈b_BʟWq]reQ2{Yۢs:qobnGK@}G=2Qz|v5{S=?Ғғ)(B\S+`iAO0#.9 b *O3c;lB<_Zr.+ H{] c- c?0Mgr.a@ bLp\s؇vq'u+R¯&B1yƣئȚ?0mbEO^Q/jS4WIe|6. /A6C62ǬcTy:L2> P σgpj_Ar  l_ 3G2 J6V\dwe]* J''8MɍM4nK^7iP:NQh;VFwXpBйr}݊B"@m{gnP|M;5s}qRatmcй],A-ky2MUMY,b V==]^gq-b ! kP5ޠ>a+7w. @ڸ{pݪnl6+S祽q3bN,LkKGk%ـH_O\hΝpC͐dyjeP8Z.sa X1M`Jp7ÏmEQj&&lGg'SŷG,6f~yZcˊ?p}vc.M$?]asFtƒmypH? 5)15aP+`Fۓ.'g8{" #~ bžlP'< @]%ǒhnUr=2 ,1;lZU7j-))N`leǵ ȦDk?8{H_<,jW ɘ5B䡴L HÑi1Y6 u32̘^B)+%.W3֛߫{%w/-Y;y|z$3m`SG$obo`Jxs;3Ib5lьؙ٠uz&0klM2AnLF_u?S:$bƽpR)8RY߸q,e-΅;E{}(z@ٓPYHo0Hn/ނ0*Kb#n]hT (5X:+j<__oHY9;zd|få3p_W?.PCb"`5;,Wh nS]uqԄ`ϕeJ ]C!_t ONѽ+)VWyKIFqkS̖ } c&hvߺ9O؂9+IKcëkfgN9yaefĄmmrgwu|:J˳.^tJŬ}0BTF v^FȪc+xIrqDܔ9hcmێ#\}\P0M"M^tWq.йZu셠㼻V8\-S$`~:khSSްQ;`_2(b3gF|sJ"ck #А(Ka0\lN9{B֙p"2?Ў؀c h4?q-&aiW~/&ym޿FmJHHQ bJ[c:zIO w쬣Bh}C!-EDz)h*&)2[^e" ͩp@꾼qq[?v.:w:]0IQrXCQ.&Mm˨L(Xqxl|~kFA&N (Ȟō( G?Ԯ*0TˠaLRQQ@"?i)MŔ sY;J Oy\|uOWqu;i3Ƭ6m\wpYl@e wG`CQ/SWF"`,6iR;FcNT*ʶMQ̄BYki0\$]#>*nriߦ _@}XyT2z9 QʞrH^aCrE,\:jV9ԯ[=3)g|MڻGs@6-tTN=W:;#X`j)MN\Aa?*On6Cꆋmqgr8"љto~_iA  9ِ/oʎ~sP){ ]ؚ`m:p V"YڮՎ{P>.97\=NJ=z*g 1{N0?ȎZ#2d8{V9fv/~* kjJlB`ؿ=?tf\/Y#kx*0Jc41czt_]7x,\\z?^鈥R^jRX҆Y;N3M70hWp$CՊY<%SoaA( Pjw̵P3~l5|"[2'L6#Svͼe~Z ʹV̫0m)."/EVZ |]ϰ* f/BF\0icn_ G`ۧqnG}[tzF/\"__"11UƩz ]Z'VtTS ԫG>K+׳iu yTc|t1Rͻ,W :j=Wr^_7$6*Z^Uϻ#(E AL#"-MxoG7c9i@@-r5YC[6i9Jgh.h1A󯃹&h'x YwٙDVg`3E!EҵoZۘ \*~˾}"[t=?KX{ n@ ӕ}v7}/%T㢂0MJSklwk׏bc^Q+$+8,rBD2s/ w>:y~ cvk $?Ռ:F(iTLF K6.sC/F8߀(%po'a2>4 |ܮ3vARfy.0,En?YkK4& SH40ےp.JIGQ5aVXZy1.^Bp*K3м[^soE{j^TK{#K٧ѢٶIdhs%jn! xl[ƕdԲsd JG?BJsO[RGegjpi0}xVS+HX_# ^3gxs~+b&B8D ߋ,/tDT@_p\ <"U{l̸?x]Ԙ4>o(,Їv+ůc=aD2t+4ю:vs,H֨WCB Nǖ~_^l͜ٸ(G> ŜmJ)g"/3GOޓ:i z*^IȮ3qg9LǗۈwv#GzB{v;(ܕjVS4Ӎ`6Iy,kP+G=dӘ7v>@$y޴cȈ15KvPfӕ7j<YZ5`4vlʤLB4Q+hҷgSPX)z_['6nY*KZl!PZb%f[hKغO$c_; }~zş&b{H0DDګ''|[@<ù0Sf}d Y&x<v4J,_ni:z$Ϗ>F19Õ%Cl\ nQ2kDeunqVGBNjlU3Ҥ>ZP&NJ ӡt'X :hpJrY@xt52ŗdDyq.>Wt&EH%;"VCVցX3WœRECAk2fz_~%TL?-0׹}Z#+ȷWbhQ}lb'aH-&6lvp ؔ-;ˉ1()VIztB2MS&Q5vx% )$K 23/mQ.ד"5D9?H{5'Q=>%r{rv;뀈9d_R+vh"M}|Y8LHf:B[r!`6l"$6w,Bj-ൾeJTޘ>q (GR.8GCwUTzJLІx1;F~6k'F<@J8i8[)tq܀!1Fhw G=?8J_a j]Ծ"•]}{İ(tच3pk9g%c8|H39j%pwB v>:)^ VI2%_1Vȃ/l0[X>`$[c(5LN+"Lm<_ ?T1dIa 7/0V%VGof4(?,HxXS Qa=[\tJ\ ReVnQE$)EŏHM(d}Úw9 d@h!G~vy3BFa[Q ni$6Q+cwUsMj1K )ߍ4MDnf%~L7䩘 3EoYj8ma{m|gI(T/T7Uܻ64n#˩ܣ V)=x[5L|/?Mj$+H Prˉ4S˂UOy:3r.#&`͐^~B"k҄\s4̦'I ."ƥ-5 ߪw 28Vа T),Sަ\\M6W ^ѰPo"a|Dgs-S + ؐL$1U#ZӖ=ԭ Œ++DcjO{jo'sĭv+Y*V_so6aZx;16y4{QW&eAڜy7;l\[΢ wOGma |Խ;ڠ%Y,k%,>}e4c܁0[~ G+fg!:׾=C3qMo5l[>y`^*:XIO;)v S X1fm"g2[,9I@WmFe< ᦱ{4H0"Ea )|H\M6uwFV]SÒ||8$v[]  űgYZa026071f0c9f857f2c9ae13ae142c1cd165330b3c2de97967f5bbe0778dca40cd734a9a6aa349fd1 b1e5d8a55545e1f9b2699b64c019a7b1e2e2ee21637650fdf888c90f62fec1ec0474a5b6132d6136