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 ,,!DL ]]]HOL-Proofs:threads=6elapsed=654.455cpu=1581.864gc=251.232factor=2.427zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb/#n֘`[nuHy&8e񒤖 %c]?(=^PT<>&,6Jf箷k%X!Hv=*UY?p>]:J{ÈQ J4\O/F6b~߀Wkv^!{xy V]s7}d`,%b2=. >ϗ}IJ]+ӥ-If*{o 87 f/厈ٽPҞ+~KaP@Nfխ G[ժ<#2crKHHYZڼS 7EJòhu',S |2]!_T'ڄzО:kܦV}.{p*9^y/b^BO~ԕN(SrΨ}z BKYEALD 0nbT&+귲 ŶTl:\Mj?bM a8K 1)@`Dlͺ L5+'#& ծ?\v]:OlqgE17=Ð\`Z1¢W\lAlTg`AD&RXCc=iQtd!U!Oˌ} e$P <{L[k+oQKpK tH,|Kŀ.+k"/&9齍Lɶ#&*SN-ٳ¤n6>^uebc*' G(n1ĉBv7Yl3%Rԗ{kMNtYfNtbџf"nK(icWb28J$7"y>\oįgF6O,/Qhd.n}nku8v3krU-p95sĕJ/TysF' 1]!-ge mF0{;3cTNh^aRc~U! QԗnWwiށ}[(xR&8=%ӇX`pހX1{gItw_*>f¸?6-w\"1mZ_a\*_􀪄љwt}L{=Q~GOZמ2֐MT$Wdm<#+MEB O2x'X}_8[]0FҘ shM UDOi#0VzkwbA:Y^`"^.K."K¬5}p ɱ#XVDj}^#4œh.RYCTAv䮃DR%Ѹ8o|4./I ɒ SQ8Q DCgt _mÎ}B}k @CQ~%uI_ ,^81};yYL{=ifѺE-z^#lbMGճ.=Jo46V.._Hdɝ?.=XZAiH \~@-^ђ]7f6*8!"(3J/_h% U̇bcRFB[$nkwxD <Π!=jw $lh;>5YR_2swý 9r+Ò\5/?P"``U+htN+o]zW u:@=x #6+ꅃ~g='ӪkA|#q)~ѝ8@.v}eLer3>pRn~;OD"(+{&ܷBpZq.qA FjC1^AZg. ]S :(Fă 9\ .3a5abs~bbN&5dݻ>?!;9_aY{xuy󭮨}٪NOr6LӌUe~'/s1r~c٘Tzq/~,gCGg1B#c< k} u^QwhJl{/l|p7m鶔߆ fQ?A =`ت&6.{&0J쥏GRIǭ,e  oշdAG.v\*]NuIdNV~s'rFH[TyP"Hǔi0{}c+93a9δDeRX˖Q`6&C3Z!ԑn0 bVUP"9,kwè۔ mı=ɛ/Qi?t?aw=1C u<=pؿ):Agϣe5®PWyڃ@`ː͋mq |^3 }fwQ7eA\Z,͕`Ϸ u+X9N PC)TyCx@l2pBɗs`Lꀁ#<Օfz.==xkPx{0h2ɟy<שZf1Zˊ_c ]AUvB"YZث%d;wsۉc4U_H/IQp{>1Ul` ilCG4gvQ団l r/x4Sc` MCDєHߪ9|%s/ӹ/xf<#:mZ8FHf|i&wVF#^ ~~@<'i1鉏|doDz0ۊlj v3)$ @Ef(΃X1ĉPB Р,!ӁfY-.{%6"@;G5%q00w#[S47fiQx~ƷEEGS͂OzzOJ^nf<%Id4wvZ5tik꽎/2#w&jOۙ|$wNbd}  EM70V5_\Lh;c ,۪lϛ%M"Hؿ&e ڐA|'G@6u5ab%=6 ҨyJI{[\9/fJk{~EUzԝDC1y[){PxSynҹ8SH\6+v!֞;Vyԛ=ΑSwEJa*]nN(nhaB[9t8 A%{۹ϭ=Kg=i&)|><̪on-y[y_gv-5}gtC$H(s#Axu11y9~m Y֊ RmLJ)3maWUSub- +FSڄUJxAྲྀ[j#fי ''+>Ӏe>Oq94:16%ebK[_Ţ{yyE%qQOyahMU4 ]Au;FQm(n<$@ ^`*ˍb;fRX^'JGI`E>ՉEWGiGKMqɿ}Qr- $6xiS'SR1F+C= Q+wbI9* ptWW~ Xz7o(~}H‰orR', ё-+l_ M? 5)][1 _i5n MA>C)n^4w3d˜|~A&G{d*@ܠc|p–7UВ^ɨBhZG+zSm213K u/!P'l-_[tJUP^KB xwɓdǦ4J gqs6C>߻RVvhmFuQ+.KG?(p+悕;2D~?FtNI %8O'͡WHCdilulD 8SX8w0 K N͔驔%)DMC¹%֟cmwvěKkN7A.eT=:9 *r$jF-]xoQRHN ?j B\f7ҧiI$#auJaBd_;iUpTCI ۖBZ׷!KrZC4 v% {R):}!.ִGVJ`{zgL$oXu`|Og~ҡk.:j9(n<:`~]k:@! f eq\WXtn֮g*ftkAo}n>Mإt'2<{H8 -zVsО<m7{x8)5WGT IzBr3'%,ޮM-yTEo<M$rni&01vqr).sab,۴t4fg|/؅k!I[O:ɇ-{qDh,9‡s~+ghA)Ծh 9{?!AjD/JDɉ˧,PJ]"y+(rD{):[W1 խG7P:He 2> yUDk"ֲc0lT=OzI|4Jiզ1MUhkTVGEL1笳ݑipМȆb[]@B GFh l@d)@ հ}joo>D*ᓔ]>UߙXr7oQ7u`u| ~(WH%alf#N~x6O&@o!O}p7:rkb 6#`JB~ zqeItύwSԹC/HGM?PJ^ QgL `f]'A,"4O3[ Kka\j裙z$b/mgK̨9pc9pj+B{*e+-~Kmaf?XΌi6&o\E6:e,1SSy5B.s(epDf6w"y#-Aj)_O,5Q 7NtL`I_12U @c՛Ae?ufСO-gtr7Pf70lHWD<26B:TdEM!!*XKAy1>~5N'+ȊizL!bv.P \lo>H[OYϰIY1ǻ>i]fCJ ïb |@Kgmk}|PjԾ2uZ9Z?I;V@sUf q̍;IGUuK6;2}n.rs&;%?bPH pU:/v"ɀB UE8zV=2mL{cl O5<- oڢb$ozXFƬjz^ (lAJW {M.(d62&삦==u`tH8߄Lwli 3laOS(|ꭉ?sq CSԣ@.sΰ¢ݏH|N-B|dFj6}x@b8nOfOUa-nq[Zu0VH=HL$4{`*m.ĬYXI0UmCi{VX 0HwքVݦ`8\Uo)k2@"5|چ)2!|TJͽwxh(TܡgFɝǘ7RSW^m+ۺxDXTu"|Q ,H.x]p8moĕL+8" '%'?%"Nq^d)UHޒg ']T^`oY5SOMέ>^%`!%mטx2O:uџGSQLgÀp7若aOgQY,du^qj^Ǩ5G?3U׊z%W}ҼtaqZ@<rlhX {g|Yx\jw|}q50O_4Q&S D˒~u9`KeX.UxyG|Z,@ʹ.92c?:Ab˂.Gk$­`aӑ!7xO:bĴP"Y#}QuA!8fkyr!$ *:>-»ݗ98[OʮSDgVPt;:+%"6v@?CW\ tq( m>{)i՟7cWI}y㦒5MVT0#4¤)p /OHf^;37f*,%>SW%YrR[9*^r7`yyli Tv|{hSlGP;j;CNR_Aa,l[+o8u2ՓNyX)I{Q4=|*dS=,xxnqՕ|CĬSZNm7I̓%R,vhik[OPӧ <2y*cp2\|Ke~5wZpU}Z  2 gYZ7zXZִF! ?H]ŗXi%BԗDK;F"qrwz)V%^T\# T p5܄4m?%8hLpz+"5.K)tdRutMS9|Ez""ߤua3+ZMV.dyi$fWd@jBUNޅٿxQKnxR@_Մ8hG*v1N݅P`k6Aj'N$t=~57qknFPEGPv+/(tHM0O&]U]EWXFaQ^5%0Diec8  GhqjaSˋY.fp}d^V .Z㏊Ų2]&8}b$u[iC!!A?W4YM߄L LS5SkWzKͷhsL D\zDYQ6^]EzTgKαq=R*g1b@R_ScJ +wGb}_U&%V k6_P6TeiS1@ .c ukY+i|90\# h PaE90ji<&7dڄ{3 _<+O) L/IN+X Zf*rIh),rSQUGo[lɻ7lmb/jj Dm/9^5JA8y,!Pf Ul@ĥBw ^6ahnF@|q6imO99^Җ;M{Beƽ"ȼ2r8 gMY%W46S`J$_1|~_Ѣk=FixYAèSq%8 j_6lƄi񖽖2CXӻ U@ _Q@!߾ #@]> !d , \&jr8 "hCxus ΜKש9þL?,zmh}#q8@v_6l  d\7bb 4j5fen׷pb6 @CGJ>X0?Ѓ`N%X"O9ZKiAv8c! СZ}GTvHa ~4M#칾n\3;8RtǓ!c>iM80˵[bI 1 b ~bZ]痑+6q'rMukxIKDZIAkMK^eVe웹9kI2bJ85H&}g+6lɖ3&*|gMOhD #Zڏ@KF?uQB{<틥H/QdmIJ&-\nGY?2 +5=~BUW3K'x`ce_rcu{̰̠F R$H_Ih ZӂTD gבTx@k"Dr}%㨗.:WW&zb !A.lҁ1 TT?`A2"yẢ`4۟q~MWnyMU)̬E>H84Ձ+$P V*kۃH ئs:BhAh s]uHv5ϥ b M0ʘDWoh;Nu-κ.A  h{?Zf$^碘?, }gI$vGqםj!;ZP ,Ո`*:#u-s^ LbB=i|5KԄh#xȾFu/ͺW4@K v u(Tzp{\uu[?QC4 v)PV :I;>` \(n.Zfp}O$]Z|3_AFh#ͻr3 .5tQr3%^CDq (;\n0?P+h}8`$'Q;!yݑd1Vl媲;'զ,'ٍ..katI ުdN۳meq!tq> مԢ|wv `֘hYs$P5s0I (u{E .tgKBl73 Z%iE(-+!<)K%=uBՂ@^B8q6]Fr]3b,%mdt#Y\wÔ ؙjЪ C҇S1kA~8w3ᤛOA

b L$B̤jVyK@7bXL@ozj;L) \|YF&$Nyf@MϿxkP\\42PQ XQIajL]P,{։7QzGH wT_At`TixAZF$_2^p:y)DAϋxXF `7Ҙd<ZޔvKM? Bh&.شM&ծIUbgqͣкɐ=$"fEk {@M'v`a;cH!?qƹ5yoO+rxMF!JҒ::jPtqB[΀^9fX7&9/aACOۄjƆ&P&xp &Õx~cu2 d0Ӭ=uIun9l ٷXޞhoNfNꖏ>͊X3r՘XM$4)CcV{?6b2$!3*6d6Zx-h0ںE<ߝ` 683}qnn:ɟ>ڷcP;HY:VGȥfb@I3+bs d4Ls@C9Ҡ{K49~{:Q}hTqv$.$(:]1u]/DvBZe;d րNsN<.o͊7ZkV̀>4sk. {qtmpz+"^"Eb^E[FR~S3SI'u}?w!CUj3broa/TgзRmcUFl|b@ܙKoY_deg0svw *7GGO684{l7%UĬ% =9XBoPx>GWmاttϧsS"ɔ*ʪan4I?L6޲Uߜ3Z!i)kwqȴ\!B;]?SlZWϞo ]RhJ E[B2tX\Me(K\bKjb<5|'\rXf<'37nWϛ rTZYPƍ Tx6YLx_3e2#"d^58a?):9/0jGD`~GN#UCMa SӷȸOB^Xd~4i ԍ-Xn[-z˜uW+.뫨}l>-- Yra-&|y2׿=|oҙ='q/ *ɠ,$]!dӭ"O01!'Ev{[c #SҏWùf Gd K p#T+6Ѽ) $bId%H>NJFa8eIG$ty_$/X=$OȤL}Ǹt ji1wiwLEI74p_(ǤU!r%0hڸ#v .C:j{jY!qK4nH0c6vxێ M'I#9 Wq) sr,{ց0y5ﴃLXI ]4!ٞ -tZՋR٧32k?zq1{?Bs91̃V%gaNQH%W[*i 2ءPk5lTA v8SS)L o|3duߞ*6Ά붷Y^ErFN~#!BLP:қA|׷Mch 7JyDZ_m~q^HRjaSv|Q="LeUZ[ڙ|^>V4<\%6?^O!)Rp1Q7 w/rz95<R].5 ysHc9w5RQ ,nTԿwu]R]\=/51릓Ty-/L=(Ӄ@H7icӭ1[aKRٳ; pxͷ]N5É{` ߩKҫ/+ǴC5Keq|;01s}\s@{Bꔚ~'ʽsס^;j904HCmQ?`"#`}!aكןxT8sx`ST ! z&_gƐ 4/W]j5Y< })|>k|:M"764: RF!K[RBE^+}[!Jd ao07=o2u"<@q+|"휧 Q\%EϽb ɩ|Y@\VGBaiy؋4΁d2Sy뛫uܸH+׌EdeD JeFPاU{FwP`@M'{vó5"#,QpDšV/U2Y<_\ů|3NJpl^˜/   c))I[Sq2MxN5?EB[qs///-a>`aQɾ#$X=:Pzz&g#j<3?ΑNÊhB̗ݸ! '2eP}V!(_1 m 0vCxWs\ f J3kdQ# ʇq3_>g gHT/. T v `}VWUl ) "DЭ/@ItEE.. Z`(&Uh|rrftRIMAP-r^r3 7MB ЁY)[.5+U VA8 ͘$6TLEXA|$HeQ4(A#)HOCbܤ8w$>?VV6 <^<+5۽>fHjUD]xr'8_berMB NB_9-Fw[ARE; }c?I)Y)`{-"0|" yz~-HJ!&X"XN(?7YO-t]b wV ~M^#Z~K®1ˁ 9݈5_ʴ[gn'qΘf )BqYZV| °;+tgKf6O\s4r!G;c@%R"#wPGyj0\Fjep\sxPl-o5--暒yjiMa5fM r6%&KYɼB= w&Ը@d0_J~&hMz'rmhŧ(q;.l!&;a1~n#2:>ӷHEª ম8ֹq_ەOʳU~H<٣ZrJxhג>H#SA!s;9Ֆbݟ9HV`t WS|L{5o͆(FIqih{ NpіrxNsDm&Foέ3A!xGx~PKwyq) 9ZsugxsKѪ1k KZHڎS!`՝P_nzFGQ8#Z+|u{$/XW~R؉'>D9ޕ +nїk,Vm2@.BNN1ǔh6/:>oe`Bg`Xfva> xP{?wC~ÓYbWl[@shFvFQu bM_MNC-<<ÏIOooKf{Ds;HM>o! 45I )Q*DaϰwX[s9, >YT=dw4‹I x׮lea(r+W| -|Iui4Hr+.{NDCdHZ6F16@vqjleVnT'B-tvk~d[rx=ͷkFQ5V{ 0@?2Lh\JΆ^0aN6]47Z}O0ѾX }2Hxwct4ޟlm^XH w̮Z [F ʅ5Uֆsï΀!{EvW)DVA6!0(yD"RbIФGɜRq(:A$Yu7P|lQKǑ,/+xC/Gֵj접'ܛcVᛩtMwbbfcfKn:q],$%(U"*􏄖!6.ݪGU?SE:'b/6y .-=0k@%׼ԃ^+\ԃdF(3w/fXD&N1YÖ'4 je(H?n\-1G&z ۵zh0HPCr4Y/ʮjsޜ;T7%>-}[[Snbީ5;:iR'6j_ˠh' ,F"rƈ(RhpxXӦY}])$6]x+cHVd 1;5#.ٚƬ,pr;w5E~5=pdb{LeAI*/IPu4!D r ~ɶdG@A '5>S%.<{)kuzsQRQ ҼB+$aO\\+TNR=D !VS @bK2lRpw}$Tº+;{-XnV2q?|XeC5ĕ ݛ4 ц'C6]IC~˖/R$>;[yNZYfβ~͠(4$@ʗ&ɠfC ,bpẆgQ-)זϼ0^ȿ/č|"ʮ83Dd;=F9ݲU"a`'S|XֲsS_nAV!էb9/qNJ1A#vXyu]5=ُ="`Ŧ, "3UfIX"Bz\ݮKoh*q8 N9hcmvh3IVȯioQfΑÑ< \Cci箮fV1ܒS[=m+/(o٪t"z{ѱcO:F6c͇Dh!0/LB5 LNG#z"b~_.B(kn:)t S $e esFo싽>) ΦpvR"a^8/hԍ&% FQaHl1>#+Ғ)6jh1kR ?KT/bcX#A1썆;v|ӡdPZZ q.:5((MP-DRmF/<@%~s, Mㆁ3!bwu3hb{o^^浄J] @0"&R>'-U.hh ԃgϫ- Oڍx\ʕg/\n^[3nSRU.M;΄>ڐ1Ȱ pF _s9{h-Tl>lڄ6u]d6̘fo~g1;u$bS \& <$i}̂@o.q5+k+gѸxٺqlVp_ 4YRt\W+˜Mϥ gU3 'Z.2NAكČK|[ʼqv9m[!Bn[QQQkqd:x*QWꕢD IF}8vġƷ;^H8\kx`1{:iU ^T9iU55 #="Gf$pڶ$ñZ miı6;F̹G!t.?9|bf[鸮q7zxCX84S%8hI+%6kƗ`L7>(n+=BCu˖W5B2SyB6AK r\ R]m47>'ȔuD<fIhBʶ{<3ݰtHC8ϑ=-3`Y80Om^;LhLH:؞_cg"@!1NjQD+~3J]zU`/> h^3Dkg DTPE\"lradG`g޿H7]8kJg5dWU"uCl0tK߮--x·ULM.>hGz"{K8%XFʶ+ƺ.oI ^5b>>ϑj->j%Tg" {-e5Mp F CI2 ⌆ ݄HB2Q32GTB[ȫvQ$?6wD>O<9u>I]DXjR̪iݾlY~H!/S TAk)ѵ, H|(D}w=]t:fZr>|$n;:!롽ôL@0hS˒ʔ0a9jSsk^sT~4m;y'AKT:]xR6@#puFT ~H+,i{%2n=;k^-dSyXxMc)\`*PX.?WLm̓kɈS^S 0>ބN{"lXx$cmf D&KwڡpDKA;l":}c_A%w{ox4,Awk9v80z-XkbX>`BcÊDzum1.cq}~k'sjxfD!* Tb(au%3)}<к뺂ly]=2|{H $U$˭қEizY+FzPyQԽx˒Lr{`z` HUu^>8꺎r:M!  LiU,a%dv_̀-?E_e17Aq6i>"9AY^EDzJup鎉^母ɘM?%O==J.G %}2D4R;RF9z#,Gh,./ݧrt.}EC*]W^yhg![^q VAX^TsU6">UW&9>_PTCdT= H@^pՕ-EG^Fg\lU_c ݫnPZ_D_-I;Kٔ3L EMb8XnWjGF-J3Xk ).`iW߷b)_Y3ڶQWECҧ *s;RtakPAISGyU&N(+<ҷM:f)te%J9"QLYi/̗6t .1vN#j=^/? 47hWqJ;O73)c :oPymQr n.e'x-K->jIÈcɊɘV&\S1CJ}("dW$Ef/~^vDVO>fIE0ݛ&pt`%D ,I_qC5m+`c6n _]٣vLƃT L[;LPa9gQS iq+zyMy8ƒ^5FZ2G ݿZeM5QT~SM/򏣏PLnrfp|c9Ue.95nHα RJV3mG(pȾϗ 9(|Q (I_ơ9ducv+$-]f]d1HV\L#)11db ЄRhWޝG~j" ɳ%0Rvb_ՏqejEtnj z2TϚv`fZnUԁ8d,jF7B/DXc 4?wQ9N$E kz~RrD j7BY|Ĉ7P*$G%eJMYc~"/ARB* )~[7eWԘ"BJ 5qEWzss>3Eg~u~+È~u)A/[ FlWV򛽺7:nd 1;(؈}E]WUM0 ȩ,y.ygQ89#r.Mz{jtxpE 6ߛ0`uM3T8ʌÞwׇf7='@SɃr 1v["X30G[.z_JRfֆ em6N(ɨ:?[Xqѩw,\~ib<[IMaӥc:A)6=K=/V}@&j/u{=BCc#smM5;|خ$YLI#;y^]yeAr;o@߆O4EHch(9LqyD;43Zc:EO;\0hXtt*!X'TM"ƺ8gm•UަdQmA(]ǐd-{QG8XEdm,,DvGpϣ} jR9j[/q2c m+ _ŤHf c2Qm7ԯ'iW'PSԧ9]2fL* $3N48VG(:lP3 1q.b:SnE!yЎ˭2dWf*dɫ3ոZ`Glt"o`~,m=:y }Bɴ>|$LbB9qVt6O_9˟'VjRgqV;fQިDά28s}0oJT)&n 1 ޙ2D9uec#DIP \Kc{@4Fyb+%kw{;n ]EFpɆB*Z{[j@&`cIE!7kG@⸑տ7ɀ2OyR ;/fHz to/6É\A'3Wv*Fm6~NF3b=qP>BC7SuypL IAEGϵȭՙIH*DbϰG&3r%_4 1lĒwz,TEsZVV!0,ƙQ)#~וu F7Cff)FGo*L)Ǧ rFaK9)}q2}ֻ(@۱ 9(1(~ڦ%?lJ(wJC؅MVOP#F5uzR´F]}[:;V^Z0 W=⑳-Zyx~ir-֤:X L=w~~¡$$lJ*{#[U1\7lCkU晨 %Pգ'Fk ?fèg.n3vċ}e+5CRsp^h94r M \&;~7 _HYIֺD'kXm#O`O:4I3C1MDj RL6}CB2D0pTQ\G~Bs.`>Oi7 @[ dZx4[#*;MRYV1JGsw_HG%ݹKb{@ WKE~J>P]ֽ=J}c êRn0)&ΤP<~P'Sa b$%, ұD9Rlp(DUaҪ/@kzT6@kXLV?Թ gΡDq)֣fsvH7BӚ- KTB® +goFU 9#aO>nl' p Q;o+#QGMԉ 4ַ hoh/rN:; &!HZJ/Q|mmQ"y OJWjjmnbxۏIK: {E>(NT"qWqQQЁ!8mP9(=5ogujO*`bQ;*aOI y@9DMN$F.6@5vu(McM:&+;y̑yej <ZQ#"rtz5>/'|NZ zMdS=|{?pȾK ObV8+gw%X@78Ns`[+shl8:pBX ٧QW)+kt3p)JamB`p(O"j6#Y6xn؃9:q"e f`5|Har K5}V'X%%"A + @`e^A}V( ~9.n;U…|&4xi擩02}{=~,;}{>AYP'{M}Pg )-b^3CLHOZ bWOZB}:-L{0)Y?`q`lcMu8@G{]vAL݀M@!(gg>.>ubbFWORyNCUL*)ߋ(`HٽR',$]b{jIdUރKl 2e, v x&5:ɍZTyZ78FCJeT)1i^{`u952>MMsA,<\wԏx }, ,F 0ŃqquŬߒ+d9F% X8PjE?~.<-UCBQw#~rrQySQOǗ1z'ys,WPa +jbF`n1ݙ܌ic9mMCAd]Rh$kuvdL^V7 %E_1| ` %"*_UaF1=xfӒB'C^n7@|_\ Ԭ]MjfZVS& l3wr S cI;Zzuİ+)s?{A_Aw-IK1lu]1v2fC MDEQi50w :@$N r֥,`#֭a]BYXpXR3_qab, ]pXtOڞ*b*oK]RlYiLqT^lG]hDq˞(#(Ze2|X=u(PSSc l|V7ʡsf07!DTHɺpMaL^{NtcGCMj)*jB-qy- zr4Ҕ(߭Ռ wHn0}lt] ٱ-{}xzݺRYlYP v_ W˚^%1c50 rYlA=қZe 2 |V|YEmr/E"؄mh5HLAU htDi6qzMqiAxzfYt rI˿ՄA[Gc Ry>ŕH:5NgK@XNt/j<,lzflQu1?j02;T0(1ѢHɶH 7A|"F1rVf*>lNDBHsNHU!fO\ H-v+>Ƀ;V}od}q䃔K>2Q:atws-񝢙pisb!Xl$8I_z0CN9io biJ#e/27?zLS%H ,TN̯ă:_DngiYc ݼV4yB͇$ mDy%:pfچLэqp.K4( ,,Qc| -/.eHZD3[\l-H)BGv<8Ubk%sIjh9j "B <@};lӻ:ĦN Zx1!6nNpj`^U`wOܭVT|OHpJb°dV_U-)LK)GOV @ZEbshcSo^0ֆmo擾B#/ٰÂ:zdy^4>Q|ĭ^6T=d;N&*^IK,Iv6APM he#?ga#t,Dپk`uX.-1薤>/ A\œj5nUjͯR1fb|[l#F9B[~1Cq~̫@lVJe=bU9E\+_}fzn+2I$Y)G4VHcHS+/{b=`aZ}e#.wwU.OFBf"UJ(WU]H(Xmg, !m^Xǫ>ۭyYۗ$bqnA(AUlɧ'Xٍ{КT6p%=![4= ݝ ƛZ`I̍qI$̎=GZm@Bf5RW^]3ԢgY<jBZ,;67.B O9v-v}vL#C +7՚2¾A;#}٭XJE6QI&O2]\]X%E~8qoeh*+yI Iz zn05 h7wn# VOQcӽ`ckh^ՠ>T+k, H(4dsV hq˙÷LUpp?$scj}ٚ2/ժJNA$<+}V5BbXUB7wWȔ~$yQt Ws$c iJ4XL[P=6)&U1hgc5ԹzNi:iELP9u*OM.ug)AFGy,gKă!Y@At:d7kʮ>ZXObajs 0T`?- 's![aG؄qj;4yf:.YMT$Gs#Gy-P^eETT .yO.?iIDM;痴ͤF9K/^6;H]>3_iR[NQB>,+6i y$54#~1x)EJgɴoՐ9AFz0j&SnKJxK X0a6P8 ؍h^AGգ*y ԃ`6pC(:-Q5`o#'U<-+nę ~Ѽ?_n;gK!řdoňhŽմ {h1PcWQq|a}I5dg1]l2wnw_>B&PU^}֝ߛ?,5X:20&O0l]ir=V1DTd&i8*j:s*DS[ &ޣnځ69xgh: hA͆ǀX俤TKHe?IG4-0 xىi=p<.XV~=D`&CVIґTo&_]+{/ ?{;ZISDJ&sE*ӓ[0D8}Yxy1i6~v&+Kp}gQ+jOiTBJ-nN h@++灏:ꆅ MZl뤿`6(^=)qQ5Y<.*)ry-2DJ%80Q0{4pd v(npQ!k|C ׮ ^( 79v㐅^9A6b~5J$Ep1}q<,rr>N UBu ;2XJj/ E9Kj)l$; N3# qAz#% thPI;6e* p$?Ԡ{D|Te%H=lkʣS#Y}DcVd{lq9DU:y PIm6q/(M=9A*Mksᶌ,C0\qlE_j#@qޝ\fA܂?)w~(d@ (;?\y8Hp"K}x#북紹h!Yr. ~c7߸P4%^;>ȆqZAH,o.gેA.(Nd.Y-nS &+I$ +MK#;L(4]_WKg4ĨUYx7f3X[hq VEѮ;PAL XG$H k-ik1o `՘Eb]UY[tL -OKhi f˞c}d43!_)>bX&\0doX z _XKsՈQ o׆&yS&h?:a@f: 9^6|nW7W9z0AG.Y͉-nNs ZEUL{ !뎭f,OLglPC}1;%v\n#?/Wd2Ћ.r`X6(uhXw&#ʖ+j7׺g9TJE[9w Sԫ=o9xHw. F\=QYn ^GVMdk90Yٲ(Ų>#vl fF #_mތmo TJ4.0E1;XnG<.O $ܘB")zh'Vh[xt0?|`lE&l M~.?ժ[b{?u6YiF@{{Quϋ]Sy3jL6^swQ!D-H#(G>̩12OSm+2+ |Q83T/T2ӛsi>N( ߍC$ 7A>;ĀA7)^fV(bc3?R.Hο݇7YccW-)~耭yBA ZZ Z-:ڂÏL{F 1jX>u앷lր˗ti/<€+#V=iu @gTcHՈ&{ o4'gMoyow4;dy*+uO>aPۋK%/+N8vq(興/F't4)n ZHZgܵw3mAAko z?ifԲ\RG'zn@no4թ4@o4E,w yBd_PѷyY|hZSAt4x|bF =`™4m#y|7 !ꐚ_8L ̨ezѓCgaF WlH *E87|v7KT|mU}d!F4%MG65VSP ႛ}ڬ1OT]/4B߈}yx1*">f!g h{1cwBf ]. w"Š_ۧv޽ELU rV DD?:Z. =P] ~,]-2:e Gm;V.!X}[y^D6n[֦__ѴOKfJtdeirNȢ4hIpBR e'a>!!Be2ô&^.&ʭ sܻ7 \Wbo4UNyC2zu),b'MEEEj0@' wA఍b(C0 ~x.;`೺!̎M%0F*4x!K$Kp $ұSX kzUg3%H`UY;İ~F"!js8p[ݗKz?B7,kzö0G:I$qQgA˴oP&/Lm)oŢ*K@~oϰH|ǯ!O|OQ{g;*wvX;\9;e :vdNgV$*歊 g#{Gn_]Z%D~썀{U=D9}!$/ ;bKk5]kŰ9_" C *Wp4&m FPg>'q3W7d=}r.oYB ӵ-.vD\Os(SqQp0IP#姿K-9\I^7Uy s[^];U\w]~H(g8KzqEZ{0)CG2@J,FX/A=oKkNS4[q.}'g0`b"$~OeHե=|;𡿠EY@(҉zUnN+ޚ~)} 1$9YXW&z[4ʷ>aMX[*i;;_IIc3KJs>Dj朋Y?Kc[_}bajB.3>.gMTmk&Z"~-q?8nhMVj2\S7^RpZٛ +^0n }-.N@*uKS8FuOY7Tj& 'cyje0)^hv2߷ttmD`]"XI wO4<XNg-39#kY?pH? 'mnw~9ZغswZ++G@f`CA?![̢vH` V婲|\3['=f;&oٺ/c\-v'˜o DMt;ư B oS$PrV.aϞK"5Xpx}5+#_M߿o٣i'9PL:QX#k2R{=_J~~"IaǼuɆPF^m+\p9)0ϤOO \وBDyY|V9*_,^Yj@ EPǮee~ 茨H:L;%GK RzqܠTny{IslPe'&R!2r2L-4__0)%{~3xȁc \my[S=B D/ARކcc 񍧊yӱsӢrʿIYJ N"+2x_s ;q2k_`R> ^(U$>ekZ#qyWwzveHS :w'9Jխ;A5„Qs[r2제Et"@e[j+%A0%]; IxV3Czins^Fuu *[jQ;.ȇ ,-VBewə,GlC-+4!{2rKUe C~#qha*%;$I$lyc1*l',-/`o-F-O LĦn:n>e{|g]Z/2]S[b<_ 2"Z83n@M7?Hgf_V[24hax f1ȪY楌eYUiq,%&CO~7o2xdBbRqAn9d%kl^0їcʨ;zKOO|/VxJG'2_Q֓!^j_ցmaR -m#rܕ >aH.o 'V2Urϼ0PUxrV"-ҶQG$&^nInKm(ֵr'1' GIhv 3Fzsc|it $WYY9ZOy%oį; bg[$У-{Ss~&Ů#l’e##A^a;f]-5-:6\m]Zzl$SSz/Za mHC졭]JmU/-W\bQv-\M/#g6QDBLCK2nclY dlΫ_r0K{WAA+K*ALb0DC X 9hAڀ'`FHN^dD%36ƪ!l52ƑshV++AUIue(xLܠbgOh0"WikB 8̳$XG=amL6MW-0[K$LыHFr \( Nm>+t` !usy+fA#>W?HAX\Nmu_e}2F]ZQZ+js0}ybtdk0hD T9tK؆QLv=[57^ VA_a:(=(זn3%=67Jx5p; ni,]8\鱰 6sOeT8?>i%q_@jwϡ,LzhMw66_(6#M91)OWtET£Q7jr:aDޛJҙazݾIsst_;TdrV,ñXUGNxQSac#;]ގTlxBN;p00?gZ/Ncsh";+'=I9JY+APk5;#zO&`k&="9U:e=J3lvOfRE;xVM=ʙZ2%. Tڠ,o<, kiGA0E<*J{t%v}iZ>p/+2)D9ȩzXnZyߚ2 }Q:{BcRrva,m)j5ڶZ0xc=AyqWqR_b6m2!rT)T^nCm̯i%rT.Qc]ޝE($(4Mն7Pe5E?bAũ^a(I-@T@5ĴQ E^bt $"Ff=bJql(;+-e#t;&4\Ks̩KiQb<_}p('ܾY"ahn1st!s]*0OsZ2,2zγ6:0 S;R'_!]lϹ]@,A QE~X3d` )=I\/oi}Dh#1W1UP_'=Z_zm53~JgEY|~<⊱̏P4„niEvjP͒I}Ÿx/^Ih}(us[qr+q >C6Ac# 7Ifeb4_:]դ!'[R 2&YMBJ@[쉩P3Xh%"^sUTi0B'$>kKFl,Y9 T| >%`ޗ50ic@&1^nʮOFΦ[\W,;M1eD@$o D|SWR[ĀKœj15s}IfE8s4@=A\`.m<9.%` @@yWQҲ<<=&'.8n5@f)N= CTDԘZ =>QS3l5{Qޗo7G}^ikdn%J ׉;lׯ /xE%5^'6 ^6Ut8֯D5"Š|  7꭫nJTe Vy0}ΕMʙQc91 4Yݟ N!֪ AP3=׫{Oj.XIǧ͈lIWުYG[ZDP9=6j!B[m=5/68=yS;CȄ$5@ JEb E&6h754 9F?t")gpqzaw@/0&w@d$*Yah!B-B=$bm#CϹ$b<|2v7]Y j o/k$gJmP%!wu8'u!wekS:J }$,wCٟ[%}>ݰe?'f34BA֏Mkr7[ o |O/p=Jx8vgX1@1wc`:~׆k2R"@&g|wZns?m;GJړZarf/H?zzLtլLbbXyJ&@p% upWROHy2xmoP]Ϩ^TO"8SqXvTc;Ò_wQ0Q Kݕ/u5T=|E6xy*k[=Hb}]rfu\R-=*7M)-YEd;O ]q/OgcY +o孟gQ*K+r;Q@0՚W[4?şN52G 16)ӹ{@hq]z\c^PϊEq+1ߙR?11>΃ҊrTZ-יRnV?ZT! h>__Z8`{;טMi20L#?xtU:] 0&]$G`{NtJ;`$>F>"E t>ELOaTl|G{?oQ֌G'=Et@Sd^Jɕ+~<0/Zǚ:i"ݴWmnEV(R :i( ,9?HeR!A[4ZsAuH5y?Z!nC C\eP">ON%R%U=v@ɢl:Q->1*-NFe cXVJkbnN?Ѵ~;eQ2|YΦm=O` YEfee脐Yגn \攍$t݆qC}VL g)_]:G"] Y5SiUxnG8nԥ{ kdUn+)m3A4.Bx*L}Oa`չ?,|L;Vɦ)fSLcDP$nzU ["$o#d6RP׾/[UpA"fkd?d3UcEQzH{{׳$_^%@sNgfdd-Յ,5+U;@yp4xGL#}2repwvAoLZp%ccKPәL]S M*oF!93D_XU+ QڣseU)/wm 1!%I6V`׻[0dP݀¿T\ߟM@.'m~V&S7eΣ>`o'[Gm:*jzHoop[(-"VWDlOhis(9-*M1 &6zֹP+p}ov}<ь_X$AwI4D~P߱)9N3-QNsz?c{ޤV5s_GO!xD?\WMYIҳ0XptV7%RB'}JQ駐/%B558𠄻_kԭcXws)DgDf6ǹt^)H(unk$&1*?=1V˅$x cxL8求ԅ PȖW!JR-Wk똻CP?3@lO yu'7~TerK[rẘ2gvq[Q-LDЊrQ"vA֍uJRh_O̖>#o6eG=qHoӣLxnӹISQ/a2]AMmja[aYRpneBo =Zn|.s\VKE-:i" ;6.mm, n'E,5x4|GD3#Ta^p-?Z՘ux'nEpD V^i1(,vb Msҟ7%~hթ7dȗi42Xۙj{2~&SOkL5J 2(YMte6F̚fFƼJ@(@4XZW 6<>@"K^P]Ol 7ɍ%5΁Ρ+e۬ Te lX_}֧\xsfg*0HQlΥvؤuLy(,Kpv tfgHcaBR]|OȌύ h@Ɣ~Z=g~ ~,mH&@OGc =47:踨}1e7G-Uj랒{>xg{m :G|9^p-ԨCJ4` B1/6}{MnFU-t%mls`Wtåoq7j}<|8wUlt"bTLcVe2yےU7,PAX',fa y,(=I78v|!S"Lr~>؈us'=w.C)'FI&@8o[ʽ,n$4ݱgmr Ai_&}~bmS/% ѧ"sV(u1Tɻ5.*;NF{sn ǘ6̘j"t倀ʡhUG'~]YgjQD?0xT&ETK/pd`fg%/y.匾l" XL6UjE}&Cz'Ne|s`[$CNGw KG||=s?h:ׇ!];~gzVKJGg&3k70 ؙ򋿥Z.4{po!( 5O8t.y]i]b J~[ALOdj GA5 CT, J^x9eEzMVLaõd>fk}^eֱHC7; jM,uS#ʀCQ4>.3)OɊTgzi&*5_MS%o{bIWj{{TPׂF0ׂ![J) V3Z&k̇F͖̩=eXwѲS66U`X=KJX)XuO!G'vC!~}ȓ狕$yfa+Wi'›X4 7mdQA (ni)-2DD DC VB/ T ay3e$ʧx_) &L۱w)˴/L:4_~}1a8M(V%ʆ2&)%frvF3޸ $Sͤ}DmFp"U:["UԝU_^Ljb9f'lImZ zv2<%>;#GA3ƉXޝ,lۙOwĦ/ZWtޞ5:G٧}3;ŐX Sh1_~qVͼɩaVY%+੯v\ǾqMP-zcT,$|gV}Эϯl±/~r@C/sig˦l3JW$8~cKq0DO꧐eTL%͹o{5Ug=T֙J"L'Gg{D6s,JJ$0/!Y`㩓Z; xhH>;^,)sSBnY}m7n|l)YgdfAP0L#da*JxQ~˥K;^ڥ sn4VržZqW=2%ஊan ۍtP"B?ufGFƢ9"i}([(T\9 ELl@Ll\` G'B>>*6bp`3vO=oՑ]iu(e+f[XN3pY'7M9ːGp! ,]|M +fbDRmDH^z/ԇY3f DlXrjV B{qwʼŃsBq&FGeĀ P-0@6P{WJo*}3)c9b[Ch^M@qZb5<$tW,gc,p]RBL>}=b-o+&K;ܲ,p%'T_̇V -I=_Dz`diW7E:(OPn{`b6_}jv=a@Uw'nv֫D`7`Ĺu5 Lq>0ǫ+94W< ikoIja+زH~<7թL E hEn/j1҂ʘ@[C$Y>M`6l~;^%_oҐa,f݃-d|ԕኴm?aѨgȺ3M )3מАV]S*L󩱯0Ro Q(k/G7xz=u$(@iXmL?PJ *!|^~V"bM9܍آ}˶PYj@؃6dZ `k(|=Z[ *he>*9ኑv ͚bLWC4.7!RsOb Bd2T͐NLۢ 1` vIL]yZxo8/ sO@X+ 4-Os`Ҋ'2ls]>k#X_ 3Y"mD(*STH! 1z&|Viʤs e -M1>ǘW &:rAu99WUK8u<{Z#oex:=nC tL2DzO<txLo+αN2E%Z<{|`aXy5Ly#OD, vBib>FuECഖ`A[UO/ ,”)ޏ|ν?8Ft#H99C9N?OBۦ鑺/lC+]rYϮh$o/t<94"K M@C@A.5zAL٘Ip(\Eƣ&=VZQr\QPTSh_ m{bIΧ%%Va`otNT;T&_/dcґvf_w!\?mţÏPI}bZ+/9bkh7X$SE]M.^'G .9k./h|Q-`yW8Rٟ{j'(&\~LMQom0@<~u'ڙҝ o7`#V/BL~'؃?Nh#f,8 z<6HwVw'!igC$TM6Yk]kBf!y` >#k8Z "n BΎIΓy8?L7Um_X dڄrzZg- 4*Vch_ U tvx5(â&*Uzz._O:ޖITC8fSv!d~ wε) ]dDY ӹ"X7\ݠԯn dž{@T,6RV\j,XL?#9ڠuȀ>o^駇r+NxcENf휊(.|;9#o_ 9RNd<-4ɱN*ټFpaʥlR9Aۈ&o>55 3\ e rߘD 8˝9Ex$9a!{?/'e&lZ]q%4iҭ!=4]a/^ Ưy=,2`K)%ռ<(T/ZO/ rj֒b>mzMJqoŜ& 䃗`i[eA۞k<Z)]ΊnM{8 &\ 5L =J2{RϨ;|PJ br;Hr&T/INP!ܡ\