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 U%<l ]/]HOL-Analysis:threads=6elapsed=317.569cpu=1512.936gc=124.976factor=4.767zXZִF! vJ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQU@D.׏,-占 [ ;h8gxxF|2GCcO,շ~Nݕ \ Ur)f棁.$ #ƿ^ ihvӾksTg!~InS(puIN0nlƻG `2jCt8Ъ|ruvD^R_p uwEo;yIFU0]w,N#御|& XEF܏} ]?HH|#N&;Z n+y7RUzv;q9zXTvF؟4NBeݥhg LchE n[hw $|~ /uU"6BJaE@MU_UUJ 5`}z2F|!BvS"Ի(Hai$iѲx"*3p-헿!pG wܕ|zG(u{q@m ~)(VRUYCZϖY?zF=3V.A|L;{ U˯{_Ѭ&t]ҷnFn B54MNmS_1+PɸW t8["q4-RAFYPhJ  U=bxLvpD+sy/ύ RzIjFRb袾zJqim]1t[ )@)&e&A\Ҽ;ѶK &n&8ViaqwQL)TDѠn9@l0F'Uݨn3 (Yd0J̃UK+VF&|Y\3u[\A:?g#rզq}l*dU9XDl*AdA8 |Hs_B"IY@"alWȋ(ˇ[)0^=&0VEz38.S)smGK| E)D:F> M6S'J<\D-H6. 7I@I12k ʶs }FPo0ڡvkPzˑ@W6C TxrEJԣ]fEUhFWRhI^>!$:#4J4feBTÕRE+@{ik98 g~Q_ju}՜ 2+ϲMCI%|. @`-5_#"vq}1*1,X|Q)ߧ OU`ԑF*ǫ%Ea%I)frUK2<j#*C#YU#Q324DNh>&l 9y/٘E?v8D, LaQ&M4K}!r+WNjA;7QNIUam%$$6_fcfDHژHQ>W{'V!ƹ0o n L{c!w˪6oITʻ0fƒ.HϽܝur ߇&l_Ѿ`{5+y>)LYA6〳|85ݱՈ}mL“êKcd}كp7Fu'H\oUx^o}SĀa#+p+Y5W53wfNO1"KXc,r5)RfL^þTv u:z`uqcrpH~&IcQeqm_^4)p2#!^{{hv@l9|0wS ?|Qɗq \A-lxdPb}K ْ9F/X!$.:̏;6sς?!oQƅn=ZlDihR3!G\F+/2A =pEȐmC7۪"\S=..ѻ۲E$؄vl-j:Wj3qbpFDt3tW3eO}#;(CF\ʎbx*MC ۊy6iPՔC ZͫVUkviy+hhKF=/8MQx|ϲ_䓮L;t!X:BWC& KjZ@ {tCSj]"+*AZ ~A~{et[;+k#TU+E83#"yg ~Im Ws跛`Rf"+ V.a-: iIRNpVa67߃Fz^mO2eu/FWMG2ΰJUwc_o‡=3WL+YN?iQ O켕1,8Cdt:GQyqiJؔ猆a|em."с^; F}YqNլ A KG_.OՋE\f$|I%dRF}oSe;I g氣l߮@k+f,GUCFЦ9(|.uBiI$ɟL/pƨ6ts)TyF?7KYd:|]ٿqMEaj^[EWLE-_ifj)J=wNJ^^D4A# -tc3cmw84g4X{%dd\Q``}4x<.kȷ4TByFOF<黮l*tq*6n.5O<{Dm(d:uk]Rb>z\)`" ҡC8i6ZTN~!F'/glF0SA[ Y_M}njR/vw"驀>qgfb+}u6DN+~k<4U?`rכT[p}#ϽO獩,x<[D][7p1}hym2 K_Z|5~jg1đUKlQRSSc~Cūw$-dxk+hSָTw^]4R;[n>2]$FGRўg[PpAw_ςZDe d*DZ -pv2RH{U&r؇9pLÇUx7~A#9Nx_s4~E/IO>s*u716u AWZ&Dލ%>pD 3X/](9[GD26D`q۽ wrru^aP\6C=:]9?p}Ԍp / J< L=#ww^H}gٗk'.xgH\PXV&L!LM?nvK$&$?_3+"ulg^}`/HuQA ‹_g%01hKvʭGADS4٪$YrS0-^6.LՆbb[Ean۠kR5|O!_- Ez(I-ḞǕDKQDlh˟Lc.`:xޑx6bU 472]X&o Ǜ: k읰uWI p "(I[ xŵ;K0VEF!9:CO9ob4nj"jɸҀHɝ⍳7p]O)2]tO=z8ES$oj<kA 2ɔ؆@DS&帳K^"8P3気s6Lǯ=Rk/u@Yks(1kr=FM#8nPZ;NH;)XGM*w|5k2阶#cQ~C6]' .oĔ%ǩj``x>RH{YJ64B0N^N~|A^0>X*lAgS $,)cv3- |&g*-%ם҆Pih3$L &%ѡY唋W^Q*6^^?(~bdz',C+E09TTCBBғZ}?Qg5ۙZ괵~F]/.50JQ֦,Laئ=`߻ #܎&>93ڌZlBB{H:~83+7?J.UaSտ(P?O '-vx?+F^wIYF|5 /ilwKd6`|ۙ2G_=evӦ=X͡Ϸ=v]'o$t%,  93z˴.?{/N\A5<8ך"pt)3}Z*8"4$Զl!SrX^M&/`5'mRATye'Wt0j<1WCs^Lt_6Zrܱ}*"=k@`Kps]ɪ{Z[`W: p2>d<]'T^F ACdGg7@rU K&o{a̩Meb񞠧#r-+;VMxG89 uE6[;iMn5+ei+j*0qjp¹1MT PL^|ՑM3k-}~ݤ7NI!24ChrXEtl\1M:)G? /`{3"Ѝ^}_3|\50[ %&lR4~!tůL{"jft|X_)A'*oGZĜ"R~9HJyZ֋!$Di#]{ ^U ǦUv~'lyrSPY.=ҭ·6ZNQpиX=@_S}CӄIqHۙ+,DB8H!L@aa ~ 4;=a((,VPzxj[ޑAz1nϮb+\] &2G3AjQ# bZ/,,&~|,G{Bhk1{VAI<_9g qH9.tDrANwq0̈́h!32C=IP;~MLc#ʶ *@-I`zT ^\&?%%AI  0ߊA>xdj=0Sb˭I Zh:Lϒ_- ZYBk{%?]gZ_W(ZO ؅+##$v==FKxڬ~:ža~yyBT_1 %)rҫR+9T[\*KJ쒄1՞aeq T;tQ=&4g2mԖgȒo fS1Ə+9tB<DLTRVvѓdrȖ;ZDWQPz fB/mA=uSdϽݡj;A{TK̋^c &+Kh^[LPCY><Fkg,qfpdj4ߺZ9 Y8fxx ip^yLuM\U AiMsxCY'!N=謢Rb2I$gCP`L\fwM^)_k+1nRзӵ;Om9V g&mw[@*~hrr"T4cJPYVjZeڴ4@v|kZq,e:iӷh.wp0}2މ .sʄX',hw/m:cvQk{w}Sx''5ɨkub.d@b\XC)T),=çҎw'd ,ԙЯE5VW'ad0.#)=)"7 h=' $Q,[ ֳu`7%? ۣ.ŁUGow}~2iN?+ơ^z:RZs\6vJ8.,`a#A9?>*LxQYloҁ C$_dwaQ/hHCPŞ++ =ig2r'KOf/&QJe , |]A_2DXTM4m+;FVΥSԾ\IMo xº>zybRz3i8>A_D)VcX/rE6dWV%D`g39Ecl's8,><6^c5D NN/E ,0wS8SS8徠ץ*!)ZPEA/]<>=n'ʌcu5Pb6:|nOddo8 խT*:﮶RFcqurw m8F~5Cp#>V 펶7l1p6[Y8b;`ՙ y.젋9}m1-Gf42Xg7cC N XTG -nE>ETV 9kAg魗 L3v"OK-# e #ϻH>:=!- <ℼ K!B'EL_Q|w|9 QσHVPn0t6 +v ӈPD-uo֥cs54;0X@B| mg MaACٱxlj)xK&bG{S3F6}I5@174sޚt % ƬİbQ@!7S333^_.fT)D\NʙeȊd{VGN pp2-R^k=x]f5h=£M=e&Xa!忋OmZɅG݉{ _wbw WĹJm>ytFy_[- rlt2x=mYy[[?S0D _CNZEmڒ|Pǘnc NKM`óu|ėFCZoW!Oe#؃ .2rIioqʒI-Ѣ:noTxnoT"v%Zx  "˜K\I4 pkw1Is WoŐ|GۊEXC1`6jdK=օ#TanVq{ nA b3.{HuTp THQ".Nܨ )ȑ5$N V)@L| >91S@D׋ZǕO HVB&~f`t@~-Ove k =pos4q \v}Pm!-&0Ds'$AQ{G>W pk&9 !4L }67*@6K7m'H~_ؾDV޷HJdzL4uжncE0 q2[ne!H,=Bb֐.1Ǎ b~bt=m@1T)xW6nQuu2k h˧rq4eԭPȇaJL+V'l)&|LLЖ[HɃ3rݘCYVz$:$tUB¤9[MDv;/UV:y+D8`-~XqPNY) I|dg`uHu^J_s. LnKr\]qۥ.ճ?}.$D^QKq`7XN]=O$Z#.0LڟJ12`@Gq[eK7a ;P?=Etɔcݠu?$cuosgA!Nܒ,xg jg:4mwh®׈~r>`O 1dO\h,]c@҅'-jٷXv'uQX{6CTJaP쾳mƆ$tJ&gߒ,Z5R/MG1Ji*+Fe|qİz0ӰR$fhs]/Z !3c76† "Jli3 fr*ŝ~:e;`%mHoE5\?XoQ%S@㨱q0#x]'%HTPlx6}ovY-h_$mY9Uy. K5-d`իc <;2J͖տxG O7YM̓GrȲ/#I9#T`ONʮ8fl8oWv1Zux笮3#}- l9eFvTv8d;Eii͈'VMs\ƟX=N<=W27 ;lK>!bdu O,X~|T$ Y*_X]C~fe}8.=7R9@8Gg<-1u3vH`eGv 5ߠ )e&L[^m0L4"`i*fRƘFJe W7EXtjtüqi2{xJB ȑuQz@xebCnAQ}Ʉ[ϯC4R @|l !?Fn9j`uT$ | srwleϿ}`'ݮ\\x 1J5rl$],LN^uM o$oFUaHkc$[T,s-kgRm pa(zsc)~!鬡$r !ZuR.o߃j:he9hP4C2ޔ sOWE͉!Or DiMKd67s2V>Q]*ê/Qw&/:Pz=aUR<) "kvE΂ bskmע_̗ZQ9OCHh+lm8,-93Po@cMyg\+[| KRރıDvQf^GcuaFؖZ& @yq.VH]iqb3ǾQ -F4vAzEІd4ac8nw2d޼\åcфȪ;*z=뮱kcx)*;t^;I)4tlsKӮ]lb@23QXZyu`VN;=2D–k_pEw/Wvs\uk* |T}IcARc(M׉iB}N9t4f3v)F,{Bk-o#B 9{S{8tgW(`Xs~ ?{ 7_j>qRHsa% 4_t-?-xjzAswKzH- ^ 5+P;1ɏSߣs|I=5:/Ll9q7Yc%^ʙZ< 9r .H=[JmPe$w+CM o-bہ!YўQCŧ}s3vkhTXz̉.: es?%Y6Pҡ 2A_Kc*NeCOQ ǀ5z< J؋EjwzIsN~#I\<<-eQ; "'F"Capos^1J_24)PAGɞ鐅,̥C8T\@h(ܲ[t*K:(D4eb< xr4^p>4hNnӣO޿cGtQSBhB帏e!JR;+Mo {SO-TM&Yn(U1L%]"*Io敩'vë r'5fJ9ז-f@.3yR5g"C5eG;]ʨ2q v[(?SHS ΨqZAƧKA2TV007(CV"KAZAYwi؝s2d3Biև5DTzA:]dJeIm,:*`T:U=}q7 21푺f 疖Tً^@ =3)S|5$Qz 11z‰wp;j3OMc~)}DPhDO5s\74ʫ!|ZRSwBl >9U7w[Hm4? 8 >Ѣ|޹0-f.)곮nWk)AC/$XѥK17%%hG)ݜÑf[ S (xY&,VsKQIg)\=rO0L3 d3i E!n*Nnl1T#{OAP@%щ{"lZIYg@#xOg}hn;YTLJLʍ!"4A 󺬘-49yDKE:{HjEbq"%ePA ʪ@Y+n^ Hu=æ.\EM9.L z<f5l$R7D p3[ $-soXOw {cOP)k_l$`rQ_ac_r_Di0(edt6ȣޢ_#9'#/:ŴiyWLl?3/^3h=U6OISc:%nǀ.FG Pݸw: e92rm:,xz]sTSOo>`[J̳zT9+yDƼ/{OqE5anlEhڿKD>v_#i:6"1Pi!ޤ@4#pڴj"|,")Jz qq_M~`HOYkܘ\8moJ"Yx>ܔdB^|F0*V,`WVl`2z4fU"̞jNC_AS\mwȧWM'I'e\DؒN^>x_3.ހHWO QYWwX8w [`# =V@#mSŇsR7"j# )H_Y鷥^,5ZZgZt풮\ΜOUW Mg88+LVmc.XuTı7ZWqVABI&$b j'(_A C#?ؕ^L#55@8ru )^*v98k<] {Ytw$&qj%1^kW ~(QpT m帨2r0jR &brU86P[W]ԕѸa?(͏ 3//p_ qO@ jd8b6]<4Nk'W!1qDoY) n)E|g.d)<0#iC՗x6*kro2Qoر N@qToϜe{]XlPWᨻ!R,W9˱&Dw/x3T"'*DJ-ď7dv0tpyiئ|2qyJVoOCⴂoߔ,s,GIq)j ©9n핃o"D O?^sLH Ӈ=G2HTݰi$by74cF D"368eKu̢S?D`yr8ʈCūmBŵ3,d0fbuYL9 X[p=mV@sN_TU#с[M l0e$qt~ꦹe9X\C_͎3uG0d4 @lJlp,o}" +m4]\S f74;']%+ٟܿ#qHgRh[)zsB2Wӿӝ` o!pZw6|ʴNΑ3sUjT֟aKS&xGKC'O-HUW^ő~p"lGbVo]SRuEtPm*;|/-ne޵Kܗl$g ч]`&w>TXG<`;<C)%4 CLhxvuSߊ!?KK/"[mR>!|֎`̎Au5di@aEr?͘Cu5M ^YܙQFrgDvo܉D&ga5t[¬+o{9u#˙r" KQ!l\/ 3~`AݔnZ{z cH11Tk=QaoL"&|k#e|BL,4QaG$⒭)CpL$1 ΕVYUk0Jnt]sqd~֯s^W!Bwm^#5yr{} Jq}֡%zI%2q=9mUչ=4ܫE; 7Jm>~k. L6|*Y\ZjJfLrB ۃՄOf%ـ!9iݣXA h ZpEff Bl΂ovZXʱl4k ;BAJd6 ꕦM[) ڑUDE6`sT"CW En.$( NqS4GnR_LmK8K]ΘF)ʒtʦjr=Pٌ%;c\W IBl8%r6MvC'`&-^L&hp:^Iƈւͳ8*]x/4Je$Pc~.xΧ@e?݉95c'ef2/I!2e6ǡDo>xkc\(U7}KBy*'7}gw+hg<9̴,#QICs5oߗ;7?ZX< i^ ] 'vo* N@d'g2ߏ+0~B)>q3"Xps N` =3 [!eB2gYZ7zXZִF! "G]ŗXiɟ1˦ r!cHkMeBd4*%4(kMkg$C+@m 3L5fyRy;ẂI fZz8(xB8+Ihz<4 ]C(JiQV@jTWv~!Sb-#=v"{6z! DR3NהM9y졥8C'sv@Id̐X`@.8xH+?ģÁ:'Q<P3bb.F:qi4Jߢ Oom$Kl 9_>cyi(Ż w%uQ āTkRp=mJ~G e5_wm ܤt1r}Grn$&cQtsm NE Mebx=:?HɴTyrpq){U,Ȍ|!ҵ>KQc]cQ zx9l0C5PΏ2[rb W^rIomxY"LD\)`&Y&96 2p{sSV`5Z 25U$j>%rENUH(A$4TtlEp.{nB:k1tb]n)lȉ«j} @Gԥ)GD3-%JoRcaq=> >l9" xM%هf!P{TЦq3pfZTûH(&6UAx.P[´87')S+%4r̍ݺH35}V,9LOsi/sqV7rJWZmK'sƯ&QnqgZ2xd@vBzn?v;m0/΀`o8h,wr#CoyhF" [4KNe]\ǀe>9{XL@p' 6)I7tV2'4!S_ח)dCaMǸLBFf?!nM` 頲ڳ SĦ$xݽ wk7uT7x6qilSQz*2 k$Ǽgo[LY̐SbYl;? $ zAi2g/FX1㐚xL7dr-e& xl8GR1ሔ]&|oTBt+(_ӅXHX .,_eZNX9GZU3ư6ҍ;a/Ssw+a h4HEjw’#Al]GAC4% *Hi&m&ߥ` 7F s{Q>WĹK0d KVW>5Bܢ 'H4sT,ģ7JIXNznWor~2~%8ul^W~7ZSkɸ[xd-6^^Rjyupp/\Qc:"U>K m[m_ܥёZ+iITs<%g t4)E7t,<$ÃUW +`ljCV c}c E3WugYZ7zXZִF! f]ŗXi%> g+'=, Wj@+ 0*j$#Jb7,sԚ&"&h'jR_KN~&hoX))0j el\66OCʴy9[^188ikIFc3++Az)T@WAX$<1D'fb_ ԵBy;TFZ֭rmeP$dBIn̠dnṳmRzaerFoվG!i݀/ԕ:L”IɐOs2|h]VyKqͳe_xոݹizxb{h\V?qvKHfux2degy[iA@ ',|0/AV#&W tpٽڲ7cbt0.Yq8:[եl&S`PHϜ¡*KZ8*3<Xu N2*X,8"kc|%Գإ|3*™xpNq~]c\N׆X5[{_Ee#j: a)1(-H'^/aCew|:,A&G=4_4me1RóHKs7И盃 /6q!USQq[PNOO`Uߴɒs,&@#GV޶C"2 a6{8lwܱH91Mtt-+//8^`U'N)p/G{-ElT[ Q1A`|n6R)k!Ǝ3DVg̅+ʠl(|YߍjC3?* K|gF Hm-M'Cx3(īiO+ #QI, :S79zQ:<N(Q:DZo31#L|)#bO3lp)HeD>NnYzc K;29d?Mɏ0G}*a;xmü₪?_( !><- +a>mg :5 kKhFs쏃ߵ=җ%"$jIXI(aH'MIHFC J@؍Pi`b8q۩q,rʤIBTywq%wMO9RNd68O.6T|TaWJƒ ^ 3 Pcǜ_R%>qFkɍ-bsg yƽz>"?e" wc׀4)+r;fgG.Ò0ŦI^Lz0 P+# |L+|5}GSd!1~%bڭDMF WjC0 ْG^n$mՠ<i_:=ϊ91iofA$VBE*H c0TU$Jf}*_<'p&5hY߿܏bȑGΔ $#6*y*L [Vih\sƃqkL#n]{i5x* Bfm"mj@GrEᩒ;aAFwy *y)WYtVI|?mb=[Є_l^xGi 34 Y^m^-%}fGz8,n}04ZEY)Y`h^M]Pjo:s򖄺 va5Y)/}l3҅ Y,u +evu|U Rx`nK41Ƽ9QhY98*}ƽ(t[7PD@ Kyōɿ[,KG _jB` )M[Ę%}HB75]˵Rgg_T>58siI赢]4U\V+J}#`t ;pvXj=Cȏ*h ROB+E>^fr=9||j 㢡#w>jn>Ww*ly!N߅Fcfg~%02 [v9~E$= \hR6qG܉t6,Mz5$=ȤO6ې VIF)A9I>OI9v`Tt}o|ܹx@PSlC>U$ƚTFC.]Ф;m0#zDWg ,2c0"GpmY7|79 3AG̾ >u#H` G1pB/c.o~pzY̩1~KMfBj W*]Th<ٿЉTOew\n.XGl?.> 7݇Ȉڲ{"+2M-FeWK:b+"5(Ӻ*/}̛kـojD,Foޢ"TR}M+0䯹={Rt2" ;,*)/^=g o΋Ao;/ͽEЊlvWOtv3;f?ډUV`1 u/j2i.Vynf kn {ָ<1zhhԍpsܱ7ҥ!oIj IqLW冕hx@^Ama`oR 4lMI@9㎯=ܭ;t~`Htl$ : 75,nAΟ${o?u'ǃwe`ͥɩ XᱷUJOlnjI^jU*T|ފvb!|@s/0]RaRtѢY?E\҂Ӌ41= ֘֞k@ ֎ϖ!x4k#S{ÆΖgpgvqWgc kiH+^DqtQU0\kA=0W)EQLRá;mz&+EJMd4O! f7ˢծ[·j)ral SeK%Vv@)q,\<;X$Ii<$,zEaO\S_;GMLB\h WQԅ[{EK_5 D[q`2.O ?Ԕݾ?0Ҝ3G~|BH ~ -IE%+$|a53`@=FVA8+x6J␉k}jpnhK'CVVEcskG|P5 Zb$̂t HՃX,L-^넂c̽z!0p6▴;c ܄a(B^rh\x5>AbRa!%@1Af$\H49+G w/BG m+ VB4Wy8;0ISsI5u zɂ5~Dybeϙ z,m֫r'p?5Kl/ ).m碈r8o?{h\<>e0PoOFD.rٽH!e:>ܯB%cVӪQB3 Թ1cOX\RҪOD'hPLIMO'Zݎ#MRR"{H?] lNVH 2H9lv 3g)Zl_H@cXsG 16._ة އ1W>2!ϒ$uvb <ʍІƐ |ަN~*<2v3U=gj'}pDɈ{qO goYѿբZv"~)asp?e"[1c7TKt2]q폴Knߩ\Ԁit̀(qf,f Rփ;F̢_z{$,Sxj7Se`fV kڶUM7l Ua!}a~[mfd/~à7MXyt2|,Lx\ߎRSMRwy.FHg g29Q\f_EA6#d?w%̳ qGSNdžSMc(t yj ,=UW*ẓ=5d ;Yj=Z"_N zj'gWCw O4eA7!<(i){Ff wF5yQ|ҦN$mQj"931=3Lbn&\(ZQ92Y9Nh8n_/9EԿg|`wn,L  Dk.˦#ݨ Z9jdKR@'lL\أtDhido1}4Dy )0(?6~ŋȑ}VG4sg z#'B@+u.Z3p"-(HAkr#jmno?nt،£ʼ/w1`URWn `*mF3o "=@10Yx5') j_;ʾO͓XNv@FsKȧltd PH쾁S2VZHT9 =`Y.yhz\IRI^6.g$.caGcaO-z]|)ˁe.eW\ȥBMYjl_^px 7iktJ^L!ċc?r:{ц5 S!uN9N(gάd}yw=gC@@E+^W*iSCZL!Q ͷmQ{4>;V NyVfgF=M[O6J0 7v6M2zնU t*4o-(kO>vHY1%"5w}1{+2j.Z?v.d)}Y9|-}%-l~:kj}'6xb 1,ͳ .C3Ĺ>6[2]B b(=g&OUEp>*0f{:iGmaG#mu`[Y Z[DuB zl₈r/;&w iXj2 SЗ֊Jr 5tK0>Jr]5F(|@VP&[arER_:-rwݮHWfv"7nsZ鶆҂vS^+ s?y2χj= coqF9bauA\c0u$(MJ:+Z;\^1DӋDy[OTi2)a[sv#-DȩwpvmLפw+ qꝅQ vQ8 = |G碏[;SsLC?"E ~SvK{q ~tףU5xZ|(q:q@L#GGtq"f!@E]ZH^O4+ h,x"c/hT֊C/(H}~BVCdF{ڣ`f $=\l|ɑLqPn܇ƕ0-_Uh *y4!!|J7]3ASgf {+ ŬO%WF*aF x8J2l6N#m(trq4ݒai%U34nZ{cZ43WG650[F)r^;,C D)F.E`\ʡxFN%b0H4ׁi]\n#ꂪA4je@=M 0CB {XSVy5&_}//n-&b~^TO.Y$-tw7QCɿ:6 $=&O\ph|FDm't*"3'cfh@4~Rge/%}1åǜSpDK'[ }1c]&=k.U ,}d @|Ӱ^nUȁI˘, ̪"ج/޳T$ocs=""p1)M N̪(a[u8v7Kp_'tDڶtPN{wQ7=Wu8% ha.B+`(BkǻW~_ab'~Xh*Y(_f${֊O$_k\$r{Y/㓏bV(93qNs^0s߷h?ha<5CW0"Nr ;ЋCfb CZQC[erćI%FȲΛOlW_g"@cv}7J<:u|bNĚGw^# 5YnJF]"Bl{q%³)Y2 6e[&}S9,PPq?T`; ?ޖXldS"L4 iЗ{9D1L,RSWILɺR1ò(Gp OŜ39gFw ALϔ5 6p:U41Q`햧^n iBH}L%>[(L:\ȹ͡qȻ2~7CoE+9}WV߶ɒmfpVv=6\PQ1"f'+?T=XkEvw;Fu?} &56yJ-x[r)|; vMtu< YoOLB%VI12y2=T%،AQVb@2E]Pv[(z~RAFenOA>O"M&ٻp5m3z\݋fŔp/=MNܲ0K~%!2usY~WunъTtʂ[fl$߄0`/KN- &)^ )_ 2GV*dﳵ߅#Yoԃ E¥I[޽zsWͨ>J-1 .6*bA,aE6MnNS>]0woYʯ DFARۇV+R-7'x)&c WVRzu׀[?G2G&\S-NkgqB@qwIeh>/H g53ƱCǸ"j7#'EK` xmAXr߰c2Rۿ HV#UhOt&?25%alzT9-CHPo>E!SbjhCneD=nP|I$TbZl\^6gdrxFVpvfF1z_:)ݛ A+@S`|CV1ٛ f0qN ShxӒi)ؕ:`&KW )Vo &b*znN]Oe7Al̝FuN ZR9 2y3F Ӂs(#^P f]h8ӯ/i#҂mZorX1fa`Ԛ)l-_$D2JT; Lp_3x?GpvIj4ʸ\.cI~Z'[Gt#b+80Z*.,eڣ{BEn-A,.AL˫9z/'V N3 (~㥍* PqEaȁ6mr,Du.ѰfYDcRQTr7WlMmჯ^.d[_s?b pP>g}±s4h'^&ObPlIݷC =9GBi3j%6פ7-P 55i_7\LQ(X9r.NK׆دo[ 2O&Mo:׹V@d2kPf+Jb -b sܧ1G޵Ք$e\-Ga'i֛j?Iu4yYK9K|~BgO ֲ_@DZH!PwEB.T[BozW:Ot.DB! t- Z.}|6V\N5_i."j2'If_tް7!sKIDl%ŻIw c דn׏6^ȕz=`sPR*u'v<>*דtDHk b-Hn%jة}fI<<eQfO=9_Զ)d56d7Ї#{e3/ <\k'_o8 @zkK]·cEtKRyN@r+ψa3F9)Rm +{3wn҉*ro:3M<1Ƴ@#6{"H nt Tg`dmv<{&`i4\tHPQ"r%֨5#2c"o16y 0BP3+D肺DyaX:Oߦc6p`";= I}2{"9(nC1a1r*ef1"9H=a$-ZxoЪ:#g4*֓rW!T^|(*^0JjVǯ}D(xT+]fyR(t::bBn]50\ o1܏`3}Jwskka8?`d#*+A PP~xE^˜ V&4dli-5zo7=2{jn3/a =|RwuE@Esp87cp6mTe{T) jZ֠}e?y#`2N\%3B֩W0ᅘ-pebK=6HvW#DG̯ 0ZSޞ֡ki#w5Nt ei qgguH!Q0`gE- 5$O{X<#ru_[P:ic{( ~VkmR%$OJ?Bj>w)u,˽+UahJ oKx#;W~ Ņ"*HwLDX3tNB4Pj51_|U]]"ύxoYt@-$ ެ J`nOڱeKAsU0\/WKu!&AV`ɏ|*\.d^É%O x伳8MP(̆#=[Z zb QdS 1r'S:*`=H ;޲ Զ#Tb{}؄iH^l-+[o92 ,iytkefc玉R]ad,a*-W}O?'`s!D:x.9<*|?Z/u&%4 2L~LXȸ -"冸FqyS^ARXY[UE բmS@麸^۷R D7!4]1%Yov6ѿS*_ud$7PMva8p3T#cɇO= s")]@X|k>o0&'z /QO )9,b`N%O=1'ٶF ^'PT&S)@-,Y.bC3UUGJV %ŧ5TU$}r #C7{Z?*!lS zI*'DJ sayk1z;9)aD;xRHZ}k_v$béε}]\Y٪LXRxN1WˑxU/%Lᄃ`uZRi3ĴW9plш6 F3b!gˍH+l>(na/R/{Lx|>,LJ׻1x-Opݍ+5S\y^w5`vlq@h ڣfg}X&J3ppY}c4~!if{X_Yv?o#&F .'rG, Ym]lY?QbJBuϳu^:@3a"SDg& Ai-"?p#6`IkLtM:g4j~7c 4إML< I| @U#'ֵ1Bǘާ`t\Pe>$Ա\Jb=DB{9s չT99+BJfH HТSWnft=ZZOu;vd&P"Mw허 d>al-*&֨P @*ÊhRΎi|xǮ|) EG6XbJ{ԶLJ}~w {?/jk0#yI= w~d6C=:URH|D=u_i8+Ô,ۚSNYS±! GN?W1%a<7{uȫ,9fRuDUΓ-w!UV71oY W嘥Vy2(69?WDɫ <9"9s_#ڶJɵEAUy@ǒgH/7!l|HJowUy;ȫ)nᾪݳ>z2/ze)ἂqtk4Cw`eBMh<,E"&7[{8"#PXHh9[ I3xi8bӴȋ*N.럽\և7C=??0(OQ@w>m6㕌NF& jwNO{tR@] Ia5 .pRw8A&{@?INCt_@@CQ\' iqΈ:$/tqGE +QdA]ܿ?eܬ$[{/ o/cVݓxKXe{0`d2uJ5g$AT_˫~7mIKbP퍜4@ -sJMblF?&Wʭz~;ǵ=7HrH1R|. }%~VoکP1 \<^kєeBQ^:ErR@Vrn~q'o5E?`]PL 9p~ȩh8vwy`ȇOUlq`Ʉk!⛷pBVoe26빩`tXl.?7\[c4~*20yKUd[|ќDp:KN}_Xk(M[J1dE[77az }cy_K8 ++)`m· }1w(Y`|N$QS Ђ-!n3h= Ɩ 4 @ZƠphKrB_ZE)I 5xuՂ/L&=>9u fVqJv&L8X|{QiW)z{>q!T>%#ԕ~l~}!o~/xSd΍V/H^spoQ.H1%?𣡌9lTwߵjxơazezdi$K( a/n%O.{47ec(E=|aVC+z:ݤW4f^z[J@D4'䆞ՑX]-GҬZ8j? au*."SN%! KecqUTLrVz,oʗq^H;-*o3ׇUf1/[X%0צ,=z[(is-uΝ ̮oI>Xڻ(pLA%N$ds÷"Ka<P:LD]n)uFX݂iAׇ[sǜ _ ʂ٢.%%^ߌ1L2v stJ3905Bto8aeˈR\=]iR* b5)I_QL }m{*pъgfoq3n-@r%By(G1y[4 vk,)A`zo6:1KW>}Nx^z!j[5 [eixwZ鏯 ņH.{1ij7,@inb惂25q7Uߎ z>=?h4x?vEAJr.癘XujF`T$޵)U^BDlK:sz F0K( !c6S*=3zpqg<7GS]z jg ;(ewґthtL%a)YG;H 2P3^wp XR!D`<|7K$=L~*SL_ٮS:J7Z*rApHo=xX9^9ŲF W"ƈU?yfpHuIԤ;t)! u786 [t8x%׊PV/sZ|HLk&fTsM &y} ^xj/9UzItڊI2`TK\*zqho6p:nuRЈ EJ 0t Ce[SXt]&(2hWIiTV;vjWqI^8NHG!ḊkwzBr,ensL+k}ԿvfMS.ѿ zݢGZ)3 {[/IfxƁeYyɤhј=wܞ-lQDXY5',." DUpN%T:|E.5nk,L{9^$ڀ_05i([#zmԤ L=*!0d/! J( ۓU˷%|^Bڴ'!fL(9 '3Hlg&'_$*/ⵜ2(7/Hq\o>4%BYkw]k23'>;V<KGu%s{y{AoXw&]<DdlY} vi25eBjESUWJ KIߖ1ɐ䇔;!pn^ZuEMXL*XNL Q}:Yެuﮑﭨ!)(1TY j?qx2ק>,VVj1 4CM\4R媾8r܄,_cf \q>JC&TEBxdC1K[ie @ϳeSC.h| ʔHG$@(&c١+RZ؜$}Q3mHdHHDQPv'1_μx{47N4SzgB֨Cy`Gs #QkPGT-z~#j@Oş/v#/{~#x Z}B,*9wb(F/_^w!IȨ'JͶS]h0OjF+wHGk46bCb/_+W#L+1ڡfb/8`\ ةanڨ@uc}JqEzv)QM9i=EO8e~Q0@5DWn놲kuS& c&6ؒ e&j!ybm9^sN"+9G];p:9O* >YIUM :2-ܲ3c)A%YB+>\QBT}DTIpdc#/&_gGEWr_-mOjxamJ9!:xJި A?c \)5ǯB_*|(.(|sjvˊd"Xep:Zc!&7jkm0I) *N(3B:6OcOQ#>4V9:b$i*jp./ɶ(1nR>6™E38TbGj@ӪztF]W v 2ij9~":vȟvRvK_ !쥱#O4xD({ 3^T(P|sRBKrָ.`A'b,6X*]?#0@n01RN\vb{Q矎-J=GAn0%Œ 9΅)*ƽ FUkCy[`9w;K~֧bdV({\qw3tJQ ÞV 2Ɂ"yKkG_uVp6)mJFOG%LMYp+> Q6Rdw 1c|(ű4g>c/DGU+zil\ GԗsT6k^K!21TovrTѽ]eֳqrSwz۝"=ߨpj8=E,b>5"n>sX`Cqϝit![dl^6[w m IJ-&W\k(i^X*sxU-NS;v%IzS[\ifDFJ y{JWԧpИ) 0FZt6ڊN?( `e:`WM~wϼͮTUCc(mfӪE6^"[6Fmdp8˰ٔt[<%>MpB>fq,P~d)&VF%5i29v 5p_4s!N߷PV?m$׬)-x 9cl:N䟞%?4pgVVcx?s/W"W9kc^unIzzb|=sRc^ܫ ΍Q}GOyO`vȜ@@Fy/G&럽e6ômA6)A_"-I Ҍi{o:Xyvf!ݸl*r ^" *,Dg*6~Q!2^:IkD>M yXn/ϼj`/fݎ%~E4hfF)@2D7ڬfPu/ad{Q-+&WӫRPEٚOe6I+l+MeJm/Uk~u^]#NU=JBuԜN (-&z kɚteB;^$חR5[C-ߛm ˿Xis7=(ep KBI%T F\I J9ig:[jdgԞ9« H[#EBbu6Q`GөLNCNg1}*|Avx4>׀p'R(lʼNa( F Yy_إj֯OkLr+.5ri]'-b/WHuRH Ӧ90#4#'v?— Nu^\ m٦X3e~y;?NjEcXn|7c~n=E>H!xOuLףlE4W@5FlOaA-σ62 N 57d҉M)ںL[r$/2ޓ9*౰Q_*9|S^ 3SEzZq|C{ebc!`2A` .s2g.UҖ8\ꮇkL]S7j]dQ`_̹LoR:d0hv}x_Bp?X8VW"7 ZwdzB[h^?b.exlI*L]0d !N/aˇ}9:E-W8̺itGrΥ|noz,<@tY7[O6L> :#4`ez&e6`VeZhҌPGH._4I0;=ǻ W׾:<|JK3g7-8 5F}Z1ܞ$B֪;3rQ!e~(.wEP8fJѣuH&<*͌V]"o^%BAߕ#B -{}EkpkNwyB%ju~ cvվEŷ;G+9-oTyjJIq$]ćMGSp7}D#D`׋a5<耠Ebwby|}@TaեYo}WgŶ%/@̼>:F_S1k8@voh&Y=s,SMwCH$$2Y *rԨ$||O>w]5pu{zZ׋ݢ6%U[ߋf[릤5` W\ԡ|zGFx_̿*`VLiGp.Jû&f6 j~ a䉟iV(" %șی4BP$Ec̄ gޡ6'H Lhb;X:GiOo\ 5Q&0?F*D`5$"^}`% Yfu*Ehv,B%wGDHj'RwaUhQvkb 0EVe[i/E` G[اxSNV\,e&OlO7ņj `YH 3dq?Bc{c^g6s*&WJ&ם̥@ CS .ntM7xtxE3i:I2Z!eY꤃9+p)8-͞K3#〫DmGyQ[`sB-_M)4#aRhjVĺvH;B!IIT#U6JXp ,;ntoX?o+[VL`V:E(᧯D9H2c(qXB-fWܩTt((WI rsGڳUxU{%ThC} l!c̅)[ R 7C'Y8{6!"q߷Ű@1J _@)_x1[I fAc5_*U˿ϷuX۔32Aьۉp^xB#Uoi)*yJ;-㞀BD0DqxW<,7Ez@wKA/uU>Lvɓ=ٖ%͸f3*t>f+ygYZca4804d437e28c6cba66cb3a435ee7ee731df7654736b1e23a398dbee71a41752b3246cb194e8a53 b1c73846f4f9e2fe254680f9c3939abd28428f9d818dada85adb1b0ba00c750bda44ce913f0787cc