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 /v4ld ]/ Dict_Construction:threads=4elapsed=45.323cpu=86.904gc=10.9487zXZִF! fQ]ŗXiɟHVҭٽDrro=o ;1ǑW\hKa-}5o2ng7[R2lɎ%*ފyvwXTXzZUۤ}L]߃dZhRp324(V+~!s0'e텪7l&;YOc}akjq^ZGߐGُ hED^S̊wRG_ٟQvx?q Ac;R2y/`rsBԽc& K5I)1&r&v `[)gpȏUo!,3 )ܓQ3k%<oMlQ Fh`˙},00 gYZ7zXZִF! x]ŗXiɟ*#; )zhWfLpDl VqlږYhU S0a+Vum:٢[<~WgYIH|z@xe-H^2@ ^k6iU -t*tXDs~eA<ޖ+֗. 佰EW؄5ƭl8^gOIn{s6T#aKm`Τ8A2}[휩Кuڂ[raSC eκ-WaF{$9 ki3KbWHґr 9&gYZ7zXZִF! i]ŗXi%BzR">jݒ||gpCSDuM[e *yK-;fyr".Q8~@m`2: |r@~};J%t3uA_EKdH3eChBYMUoed~Pwa֜l(Xڍ{լ{SԦ(ΰ?&VC;ku&d9oQ\(X^h/ RaƠLN5W&9TͲ넚,%Y3 CIyKL%>,B(eȥؚ^5DF *y"'-^A}iM+UdBmG?^(Wwᄉ>5d"e_U1^ dqX|Җ#`u措]뒾: FM`) p{_' VgWgx)%d->${eV`o.Nl}2~$(O hq֥Kbӛlg/% ]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t=/Q% 4Dict_ConstructionAutomatic_Refinement.Mpat_Antiquotdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5)lEzPr*+9dૻj M4y:;f52&Re4K.eF^Џr,(Kr/e2Ñb@(ɡ⤾ݘ|xqJn%uǧGu'XPjzu@/FFW7ovC @]RZ|eq T$k6H½Ǒyg\l0x׏yf`^Uw)?Х* &N&`sH>(j33 m1#yS'u^2@HY:'lPAQK.gf<1EO6ช?Em/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.ML7zXZִF! ]9 ! kH0 ŰWn,$[ȱM12h/?]4Y&/`ϻHZ2QȜ?5$Mq?[o8_jSWڃ;nz|(tsEeOvPk# eb7u;cʼn8އF0% s)0l6G fb&ZMM[ms*M]fU^- 3͚Aw%o1\9VT@!DIȰ%>cXW/|qoSɂ:t'f        _l Z   p/ N ? _6/3%Dict_ConstructionShow.Show_Instancesdocument.texB/K%Dict_ConstructionDict_Construction.Impossibilitydocument.tex:/;%Dict_ConstructionDeriving.Derive_Managerdocument.tex9/9%Dict_ConstructionDeriving.Generator_Auxdocument.texC/M%Dict_ConstructionDict_Construction.Test_Lazy_Casedocument.tex6/3%Dict_ConstructionLazy_Case.Lazy_Casedocument.tex I/Y%Dict_ConstructionDict_Construction.Test_Side_Conditionsdocument.tex F/S%Dict_ConstructionDict_Construction.Dict_Constructiondocument.tex N/c%Dict_ConstructionAutomatic_Refinement.Refine_Util_Bootstrap1document.tex 9/9%Dict_ConstructionHOL-Library.ListVectordocument.tex K/]%Dict_ConstructionDict_Construction.Test_Dict_Constructiondocument.tex@/G%Dict_ConstructionDict_Construction.Terminationdocument.texA/I%Dict_ConstructionDict_Construction.Introductiondocument.texH/W%Dict_ConstructionAutomatic_Refinement.Mk_Term_Antiquotdocument.texC/M%Dict_ConstructionAutomatic_Refinement.Refine_Utildocument.tex,/%Dict_ConstructionShow.Showdocument.texE/Q%Dict_ConstructionAutomatic_Refinement.Mpat_Antiquotdocument.texM/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.MLL6J_GL 'B$q hݕ#փR5=}$ȑ^v@}}hW z߰RE $7g@O$g -HOs|W6Z.4Z[zb=_.hcF QI~qZ鳨QyO{dj/P"=~,X'Ӑ^ߋ"qi篷kծ"CTKbPBFy˜' -9gtU $c <1Ia D^;@|>4/>]Q<\GGJɺ2c|٤mӥ f8Ckgƒd%jЦYىeWs菻64(8x1a!W9" 4.>`2|-M!Tk%.+49S_&X)S`o3w?S4܍ 6RxþUwR9.:=.2z+./vmT@`G e3!!=m%jPٻyn֟>5UA9u:KWi^5G7 $ Y.296 ޮT?RF  _~!X E+CHiaT#X՟ڻf  g3 3 L,IX6RIb5K3nlO,9c'q4'ʰ)W1c!8C_lW (smmn btЧB˴ 2` 6EWMiUV)]3lg3*4SN0JoZ x&ĈnigLҺL91EsOn;۸Ag>$719X:XXtҴ^ّz(S ׉B9Uj`|4=խeR(8w@Pp 75pĀP,Ƀg vm=.~D~2Y.k_-o1 ef'[:u>l*"4hT8„fZTitzUڨۜ[LůfHl@ zCJr 56soa+VE.G:vl.%unh!/KCxkߵ,`oL49HTļ*5 >KeSюGAkyGTj$yJٱyJ^p`'*yIJs Ǜֵz [_DSNhsv_XwUDn"ZE~êTC!rM4gwi{E'X&Le7{`RlПZ$ ?*S* %u}ul]-]=nNYfdfdڠV+ZC#V6zC=Ş}_S"f)Еm6u.v?K>2׈ɞBMqt ۘM ftq:ylVD PS@K&F8@lՁBne_խm"_dy=E59Cuk0 ߛ-4RhJzRh@zD!&Ӆ椣 ^dunA0?`ջ_&?^Q*B QDu3֖9OV[\[މ-Y=S!0:(F O7Nf`jǩ}A=i-*33s7RXh?Yaf\nj{2Znb%*Nw[=B 2TX|,8#xg+]g 6dU |ԼL_ ogE e( +*f< JWľC_SF#ȫiޣQF8 " 2aE,VTt<8*孕[ "-0Udow9$\;2L q^SԮ`s=Qŝodi=6; fv iF <zd#8 Z܎P,Nl݌q/X(@}t `_nA,G;CU{2>Gݙ0Οh^<#۠Kő*4 3(rl9CR!_op3*C 8N84kUU,<ӚHC<63I4 搳j:T//{S\ܫ]nqO!Լ z̬ TU&uo43}JMfk !#3ݞ&gj7Ɏˍ>Dwg<*Vȣ}3 YLJIkLPfF* 9ҿ:~P̝&`C#*$ο|Ǥk+KD gn~]7R ӭP24I+ਖ86@t J( Ǣ?hs|l҂/U>\eɐ˶r{ ç4N>|Ü7osg{kyX7=V7"p+ATp AE,)|"Cb1Rө*A}6+fcVqdSIgQ.V .AX69ay\RD3}jDG2* '\9x𱙉g#FOWy);AQ7w@$:7'M;pIک2ORW }N2ׯoɒMإ]7fG&W3/ldsFxYXJ'-7HWh!uf{K@WGK$]UD:m7Q-q3'g/XQ}B <%(2aZ>mo;3|],-5!Rrx"e9kQF4@1=kT.;f/-<Q4$jy3v wvŘE%I7p&J"A?bx1_YzhNA)O^0_#̆tJoDhs['EO}Kt!\n6J"ە 1Ӗrw#6&¹= czz( )7fY'J0()9@bu2)`/Mba߿+Sޒox#]쵾Yꊋsa m&'NtI+W[^s ubA0 &ʌ;O &UPpϜ&S^yĸ׽`#cvᜡDҗZe2+riO﫺bUޱ6᚞ |g= BĀ6 M`8mpjn‚Q}Fqg?41`3)g BBz{ )h2oaJUlS`ܜ[1s2,[e!Le|P$ (f2AEJvkyzNPU_?WNRi7az0uĻ9 g?#~!sK;%a$Mi`﮶jQ\+7/I&L(ǽ}5eUGlN.?MH{!d4&8(8Ύ #K O҃wFw@r(D?܆jmeFF]O1mdዌܧ!Ss&3Zk ۈk1P~^ıPA۬urKj$P"%OUcd[~V?u쇿$踇]Kոr&G8 6`M;L[Y6!&zm6p!͜va *D)Jh8RN[g ^&+*~]8q^!# /X@j>nO{iFX鴁 wBs1C,3Sщک&} RA~/ү&^̃Ih:b]=@G7ǻ[ Ԏ8X {f:VDԸ5BI` u_N|ӨᣕYGVDX+˙&7-RlkH49,R~5հ1ЃLA_[X$6ҋnxPxK#]Ө9TQjڲE 2p N00d`i{y_j8qRk?}blKߝZ }D;Lw¯OC߫# M;+ jqc3*Ȉn%tn;!ڌ" 'WsɬVwв?aIqK̪9?ZҼ$!iTX&k3Z(jT+ߢLMj c>+.fƚ b (є k"wѵ0\ES{I{8p+8gXXBjg={mK,S}'Bo~_= @ oY?#E{0"J۹aaԐ"E솥UlΦ#CȟgFƁ(JIh],I\ByҸ%4lg1U bc":1Žf!ʆhX!fۇ]+f[=:K bWfȒw,avl.Kd6=B)CV= ?zs3”a$ElI9$ Ė4a}, 쉛_*{<+1w\\FpN^ ɠdWS. ;:;bvXOvѐƲ{³Dfy׃DxJSm"dHG$s'9hZ_py ,) iM7Z9aC798/ Q~*;X I/~E$LdxCg}(2kF%/Ý%3e,TYM}UGT&H/dV?6 yH?UBT`zJG!w]3( 6{9ӧ@81 G">%7ȯPO|A?_xcA!8aB LP)(E}4G[<*}GƓ2!+ea鷛AAL[\E- `U NA6tгLg]XcZp:8'24o4wgk#WT⨝tC^{ΘKݑmCAp!x$㴦/p]NAkZmu,h Ne1 BJy0},85_N"N˖g߉:o0+aDC 'Id ']هn;'us`g+Ҵznh;?_ R7h†e,?6'SY/˖a& (m I/m, GTQճ#N8(C7FGhMB@n\dܻY̗!#":_`KFU6Qߝ)SF,샼 Ry?94Bw0I2YND+"D|Q1ҒB>TdtB |:S _^cn42d8 < ,zaJ!nIH7,8/xAv VehミMa:sg>vSc0&nrŁIg5/3a;T6xUJz8Dv"4z\l]Y;nOhiW9o`v]Kұ<_wu1&!p[Hʾ:GAJn=o7@r4wYWJz6;bsVR(|݇fӫQ /::\# OĨG,nQ% hIt@)p_wI ɉ #f˪jpw 6m L[_ғN?=(SiԶ:H iP Z%Ȉ~E!\E&?7.P٫9{=HFE׽ƋiG?~P&¥CkK":AP^#s,.X1I썺 ÂK5%>-^WGZʼn(20G3C?Kޞ(>9{A$%K\ki6YU HsDFfa(ݛw렝%OR-թnNQS| كdگJf_R29A)k]·?:NVVg_[K=Yw}y?1~̌E˺PUDv'd+Cuyj3BL_G:R&-+qS^U5B7r3H̄e44>U5ȶD(K*$_W?aa?˨%5%+F otMXӷG~r'zR݀e|jw t6 oT]x]lr[^)Ӊm0!E~ JJ[[VSJ]!2|.9LNT>usY;yTF޺ 񈱝U2~ ''AQ˛0(+qecɾhS}N ީgm$Ԙ]v囮ºjG>z/(%EВTsq]nE2疤oE(1] 5kˉP}e{_y,]j. tԭxA4aaZŒ-x4~B!J 4Lͪ . o5K.qSE6$8|(UP)7xXK|SHUwTARܞA1'&(J^Hq4 r,;10,;ewY Ȥg8 i/nNBK[.dSxM}H[C\jhJ$:A~Ư. AN H]݅p): 3Jn>ſ."ˆLWGJicڿ YVL)Z{@HPt2P"M}*DŽ+9KnOT#,x!~}VT|BE ;Ġj1Av6.(ACwm0`a5PLmI{Uh').35%rYxOc6doʯCRJdyNp᫾ĺ3@ ϟO'&&RgSYls]>֝# o1)BrOg! {W313SxLa-+t\^c b 89ET:=upY&6*-QDKfp;;YWeZPAx: yFn\0[!Z=+h.'^d*@-lrr댣pnԄtև OYiAt2ײp^Lޖ+nN2ћuys Ea|cq3-klfb(!C`+}^u]m;UB69H1SZ;\>˒ B?uShW:LzK䧀 Ұ m@oœ8o3=,u]ui㾥B?@U{P1yߛ<TV(r֭։:OíhُT,[>{ Ή _LxSerI1ƙblTA\)#uPvxB}6oRlJz+%`/%og3NcFwDנ1Hi~':x~\~\H5'0&SPˌpyόQn]v$z_7dl+yX+N7ΣjLi2g+PzJ}5iG'2$ύـª-84c_{HX5R󪻵ED\z?ͅΊ0y? G/|q*=qQPI'Gs;b*+N* E0t>+ĒIle[RJPЙop8`yL*WrJ"rm'MeY.1K##s>&rAriD%.,! RzgUpDch`& HBʟ0q{nN*^8JcnZ߹˝&+;r'Q#FJy露tdb[×gg&l#~.CpǨ#vxKేm.,Yzhħ]R7~ьAnt@K>m0mf/_g*N_Np*δ;~ƼyK+ 0Q[uy]\&.Ds}M[Gy#cI H},axͭ!| WMFɾKF;~LcAYP sRޞ[%eDo.(sʱpa!:F&0`26w_  _LJd@mRp,Ѽ!c2f `Gg^ޔpFzXZ0)xYj0tȧ6uܖȏ-i~G?}@=s{`(_H;0֑A86V5۬`G+ )+tkN| G4QQX/tU}rm w崮 \Lٷ$;E}Y5SO2ܽK,VMj 3`y+5ܝ=a8 Z;]atwxxH|i?u: K{fCC#]䲺;Sʷ{)2j>D;)h:'e3yP:;sn{q#:l1xnlAZ_ +b;f<ĵ|s| pEf/T1U[y8$#hk'8N]1J(+>•!cs"߅'rP=<ҠIΣ6DNSpS. !kbl{$Un՞/V$rॖ#p $,1Hi[k4 I ,=ʝ\M>*ەxEDMH$!0eUiuL@Ƒ ayƘ'ZֻC`1ٶH}Mչ F)U̔ܪHDxjw0cVבUڳYz:Omb"yA rT~󚿨Oy%ixp]Y-oLu_MKo[OJ1*,>vQ.sog DtP4Q }Ef[r[GnH%Dd }$< P-,:GjR$o!=#Cb8V kD vEI re 9AȷpX6t;Q 3uDNTw9$-`OaPjtrjZ i#P/AW!>Swoc)3L6+h4 ]}@4 駓rHU3u"zdy#"r8aՅUWmg>V<9#@\&*tY3>6/KWO6(IAMn&Z>fˤۿ후>3UT4p۹؞ ?$eWprCT$l߁- X dQ9o.ǿ[kcP\;XȥhT/'Q8H^+36Bdv8eƥ~]v[+o A \|gdE4x p3` /pboCZ(m8yM:r[ tD퓴k|bj٨ &60\lSGNJoEzjS`nS~KdOpJlBnSX7nf`JJ-etVf2a+6NAs`tC}$?dzԾ+7ٷXx?4c#0\tΥ 2ǓPΏak,8"j@ =ej]۴V[P_Myoz69mMKK# KXk<ߧhڕBk\ /m>o.؟z>o#G8=vb0D]7N<BqI)-0SS?"S_a"5+2vHr\mmWsCuqL쵎Og%vz'?:3U:뻱ۯ/yyakK1ղA:13E#t.QH+-+dX@%ᱸc}2vNCmlՈ3j{a4BJ$*JaԘTĸV8ٲAk!uBK E$1TZʊ6>.Hڸ&>{5>Jbb.li$I f%~(&{bQV ) Ϣ+`* #HxT+R¿aa36ηctXi6W*'oJ"y7uCzLM#8ƨZMD$t!Ss>~v4tyY`){0nO'7JR/֤,t$|]۴-tRׁB[ٔ^Z,Ε[Gm~P 7+Ŏ~}#[G SMl_R0B[͆isW$\+EWfH@j:5EȠ]C{ࢰS[s](=2@ٹ[Z9\2BSyQ&dNvО7f9ۺg?LU~QEћo /LM^W+Ⱗphiko[PT^vT'xOBc߄p& @ZăQ _0Sxɻ{B-iIss:x0mk=JzMnMsHM˒u.\+LPo.+>-vU$0ZSLBa?$znD3(1'nsbY JϘGcXh$:>^݃wm  ?IQ;6@6Qrsf(pfYAc9wC:@7mzQܗQ\T3k:)8q*IO3PPû P^q[#~ck%& ɩq1 bQ/T!] CL M>>T*j~ĚUpETmzq]Uob K< (58Su9ٛޞ2oN{|9vWW? ϵD66'~]תZt+hd$tuW|x4r۰`6$j |U<<10|>$rVp5s L*/@)a>`c`"?2gd%lX?,몞WX~ c)E$k|3 "{'&K}Xkz,Y2:ݙV kU]&]%M & )@i+=tهÅzqsKYùQ_ZU! Ȳ2ay]~gkHI 焆|n+#:”V,n3QWZC3{v[QQ1-n \G^勃Gy+3] =щZtП4cQ!F$psdI]@#A>q8Ԛn]U74^H^LTuۚ_)e;ljT(e}<|4Jנ^t, ,X\x]Fn̦{pT8Tj{(6d8G!=B5O2ƫBQF9{/UdkSO׳s~)?^oY& g sLAo 5L@ʓXWg1[֛}Bh5G*4547dZ$ ݴ{G|zD#Ő{DNg>0RIq.$/@F!} ^0|\!/*& ߊ9u,+u p& sp)z3+W1ݾbIx0뛫>~XaPV<8S)iL,t\5ՊjGZ'r@3ٚqE*/C顯&;|CiIgdx6 mN}#pEF <›8"gP^izrY?>*x +6c|oDoe=)l ԗI%>o=Ƚp ?XTCҌva:(\|#.k^rF4݃Ca` 6X ݾ%_jp 5h?Uؠ>6H+Ѕtb~pD~·4m4^H83k B@(bOY5!jCJ"w!g MRZ&pjzc<>]Lj)]j I{Z7]  P.ԏٮ=ΆAk (/r+pD׋j^APa j[ :Ƚ<[1ޡ](͐\F>~,?Nw~GpVA*<X Z) XqMk|`Q4u6+7Yp&9.7vnjbg;E aη/ XJL^^WQ%UG{iN(\b_+WQ} Ő(U|ܙme=8\R$ŻK^YL8/8;B٩ X7LJRF|!P8s+PW iĕUTHMvJAdLq k%gSsn[9S'ƒi:C"-RL91bdiFte%#1 ia=r=)Wguڈ8zUV&j|\1gQx}gtgy@CR?ЯMseh \uLQӵ/$m^ [a4DPc!qx' *I4 Ԛ'Y|Lidǁ+GJ?B͑}b$4znM>(r79M-A3F6:*e{[bnXI:Ff SʼnY1(;@3܆9br\:RIK}#o^\{;Di0% ~t˦X (6.T?J!ڒ;€w K&"H ٚ|ZIZXdydٯt'{{ﱶ^wE1a(4D軪pՓ7~٩QctDE0TB3ť(T`'.hs4 DIL(_fSwl* 0RԿU34{wbˏ~ H#m+1dٳ55R>wU#]:*$y݆.O]WCkz]:bJa#TV< _BY/VA6=a_k!2h QԷO@4Eě&ģ1>0=Y]`c2pZBiC&3ķgP F"v|ЗNW6PS#{mJ n]S<̰'n30k[]/r\UL/ :mD)/P }z^¶o99610 C&BtŸ%&2 轡>n.#=C1O7KOrO?L^SNj!ȲJq-xVLImN;LTW5-ǩC ʢюܯBH@|b "@§2Ed;-XsRR@7e M#@Z`;2GWiDx[p7dĹOya׊W+Rkᤓү~uh/ RaƠLN5W&9TͲ넚,%Y3 CIyKL%>,B(eȥؚ^5DF *y"'-^A}iM+UdBmG?^(Wwᄉ>5d"e_U1^ dqX|Җ#`u措]뒾: FM`) p{_' VgWgx)%d->${eV`o.Nl}2~$(O hq֥Kbӛlg/% ]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t=/Q% 4Dict_ConstructionAutomatic_Refinement.Mpat_Antiquotdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5)lEzPr*+9dૻj M4y:;f52&Re4K.eF^Џr,(Kr/e2Ñb@(ɡ⤾ݘ|xqJn%uǧGu'XPjzu@/FFW7ovC @]RZ|eq T$k6H½Ǒyg\l0x׏yf`^Uw)?Х* &N&`sH>(j33 m1#yS'u^2@HY:'lPAQK.gf<1EO6ช?Em/]+ Dict_ConstructionDict_Construction.Test_Dict_Constructioncode/export1.ML7zXZִF! ]9 ! kH0 ŰWn,$[ȱM12h/?]4Y&/`ϻHZ2QȜ?5$Mq?[o8_jSWڃ;nz|(tsEeOvPk# eb7u;cʼn8އF0% s)0l6G fb&ZMM[ms*M]fU^- 3͚Aw%o1\9VT@!DIȰ%>cXW/|qoSɂ:t'fcu>7@hǑޱgYZ ##Z/W% ,Dict_ConstructionAutomatic_Refinement.Mk_Term_Antiquotdocument.tex7zXZִF! rN]A-MՋhvG"uIBm5Et9le \eD%tx) FQ K  KWc&˗JtP-;X.ak4@-%vnB!1R{⃵t"0\?7v1VUk@`r".Mg1P;=jPUBF M1z0XFts+ע_EΆ&/ 7rTܮVS|~!^0XIdIߙb65nփlr~, *zX И@tb^B垫;?" w1 >v>,Fъ-aY,,Dova¬#Mbu"C^.:҇T'7ya^]U 0y$8MҰMNvoгg䥽:g^Uk Jː!h V v9~cVL4)ecSy0I@3YCMi𻠶(\ZON?| *aY h%4p~FzE=3ʀlY}] ZnaR0񐍲VǴ&"p:]3jI"1F,zS:_Ws؟0lNR x=&g꫶:˽.O; +qG{6@374w_C{{:4#AR탃 y&Y:tpYД\72NgVQƟ;w5bcuNDHYv^1E:8jA(fA_ "s9`N _od볡W(@UI#3,b?(B`8)[Dj nEpEJڂ8c/VMXՑ"[V '%lIPuuRlq)w$u^.2 r\n\`%r=]ͲLR7? Ї`ie<lMj) \3$ffcϹH]iF07*VFY/1h.BQ4D"/2qrrrR_}yx7u:>%_}#6<{@7Y6HX"JݭqxzBH)?䪚aDt<K8| @\[=s!oj*7s*(;=J-iB;+Pe'sϯ8bُSjDpNZe rd/HtoI 0HPYdž&Jv)Bj(T_&1qh_9WM '0*:kv'P:q-CYgg[-ezsyItjHG7F9:Bd3-c uf59 \.jnԙ&HmcYjK_Լ33a7Waɍ4M`ñXOKUgW1(JFψaSHS5n{E t3o `E ͊An[?^*t9{͞_gn%|%hc82E:N 2VgDwaÙ~R ¾M]8R=+I\-Lq͘r+k47$up)S#~L ֱEѩ/ qvDضqg.; 2l#Z6a%+$5a-^H/^;W &`G=E}1;Px1uiL]P$cPg\ќz&8VkDSW{`{qI~G`q&nhCtuV@h2MŌ"1 ?= La *捫Bq'I,oּK7bBg_͛R5ȼ ^7q5ޣw~6.@ܷ]3Dј%N E>3n`(ȟ߷%|G9G7$8*_i{ ) =%rqYK Ӆ+1 >& urTfB?'•ˍ߆o

v?/ rDG)j6s^ErRGlQ 4? 8zh)0{ .$= A{3~>jmO~Ũ롖6n ޗQO;P_Z|\C+vք!2~=bs*\ 1YfݎON2$>=K1 L+5?+! Ş{(E]KLF &/P>!+gc&Џ1,|SN ]&h@ߥm1?a97 kѺ |ZTfoúd7L0&^$S[6mh$\j5URM~Năhj%( &ZYߓKP8yHS3ev/Jras|Z&lOVRamqiD&1~YpB_/hU]P9eƱgYZ ?/I% Dict_ConstructionDict_Construction.Introductiondocument.tex7zXZִF! 0 ]A-MՋhvG"uIBm5 8`9*j]ufP4*-W43\P){Aos{"FkV%Y rVd!AP!~=rR$Kyc"^(製x ū+A{H梮1fQ`V;LqDFC)GG3_pusݼ`ZXbsm&_]N#cŚzhgǤxQzk|K z VlCOH&獁5mưum/7AR!K9 1]=rU󒲮P'XN$k:5N#&{-ڤ6 @WL ; }"ӊo.QxNX㧙-CM6q]=z=03Myi6NZۼTެ /[6gNS#OL$R}/1(aߔR,w{y V8feYZdjd8z9_so L JPMMoNK\Uzne5(w XЪG(qmVL|4MD1N3nl%kHw?߇@w= $Kj9?pC$0^=Y5 Wio1Mct7Nq|lwn_E7ZVAedkr ǩgr oH 8V2w{. dG؃v`onsJu [q`-3E}xrGۙ]oRjJ;i߉Bb8H]dU? c͎B1D3M*I=Z/7"V<3rd{_Z6?h)j '"rրN5AwbeOD F(-fo+Z#GcR[~-$"t\I [ډKBs G7<ۅhIS|6 =: IFuIk˦ȎXLuw- K1x(V85 ALeiC2DeÃ2U}NrhuAJ< JwvAM18+Ӽn[Qi@5n2 .Ň'lL6ybE_B*7|{gm_pg{|ItSÍ_IvG]сn8|\`Wp߻{nCLn2;oLY&~kCtyCрG~T|w^0ߦl$l#j%`vf*ŎGgje/ ?8;CQ[K,Ix?MxEjr4ɂ(61?NH1ōWmRP{xTj~$E㯐|]˶Y|npwR0` S=1C/]L91ʄB{༭X\n"G@ܤU_L dЬ\Ǽdkx+!,/>"#C/:hD:mUO˭y"2GwTݘ S]i5 t%W`ϥ .Bgx. /Q%@ ^g3˗짊~.9Bc<C3y91Gv,%Ń3\"NO]!x@"#5MՏ2+y` uO057Lc:(3X&bs/7ixIAl{qt-`OZgYZK Q"ਝ:46 {3=027s:9LFbˎ1#cV^q /njz+voX}q㜈a-V`wT9/d^4\w@[[S@MUsDUzޡ0A@RJCu4Z]isЊyQ߆SxM,5vԵ#ֲ{$Tjm75tލ-\B)/g+6cw_jfH^2!]nP8d[#UYߜE 7۳v]7gsJ V &a>?ٌ["aD߀*% 27 6k׋" s7nޑ=`FX֯?>!so~8EEɨBpŢlMRڏ'-t(KՋEݸA hhn&QDv6 _2ndqcCy<˖̋ lNbzOg"B+Nz<5nĐ`S5a kX#a2Ձ(1 wDgTN.h~TPgf^~o7Yэg^Huq'>H@MRAfg]X?I쳍#5 J(R<$oIL,<ݵ$TG]KS*B;g]PgR Jg[B:̝7 gY'@>['y826ɈtpRGx{l0p~[o %xi.F$Fn's{ڤ=AP%g^2kn23~=$R<* _v?Uٕ\a"Ʋ]=.'wqzBV*X̹)F"F/{:}*:h6k` %8WRXlH*$#ѥcz-{kd ;Z '|UҎN&fE+=vȈen4ٖNEob?gUPO\ |;Jk>Ґ7?4/,Ѹ4dP9K|,ԢЙ ,g[é_¡zyAQ RS@ ;7޴2tv̌%"\G C]QIE2bݿa? xtif?4mW\@N7o2U׷W9o$*'|ˉy&!,_9>X1KV!w"*@MRQ)|V*xf4;[o5?x7TM>I d ]e?ô06Oe؍P9dR1?r3IP_Am7C?Ìg٘UZGI8JM'̗0rOG34WQv)(@dc?Y-@&QSgp ;a-CDŽ~Nn^5Ղ,[0au+5=bT,5h|Oꕍ~9"#Bt)'lphժ3\ ]e_-v\ UM~&l:Gb *>Ҫ[{70Os(@qKvK֧eI氉ȏV;>QȗkP.i%\?>Vić*k6he<^tB_Q_~o뒍TǹZiշGn.9?U+~jԋ5;4 ́oٯ#68Av[+נbAwAyҦdm4ڛ_̃o u En} j*x8)VGJGGt&k oAO6sW8(x}WRWFN +j(i2Z9I ϛ ߣ?K?ʳJ@'VeK?픟2ViSQjJH2ヤ-.P olxezdsR0;_sLWv WwΒ$yz8CykU/L]Z{eH|\th] \2%wMf[x]g1̍(1h3)* ̫c y:p@GpՐߞEꢾ]Ln{+._'3W{Q.k(K7c.ɨoFMMQI㉫S!3`?FQ]C 6~!QV q=r@"q&5y۩*WLiՃ'Wg~v{1Ci0uTV ,-Wۥ yŏ-ejt_+;9z WjD>ws_FF+v+c-m/9{Z *D+$]NFT?j!ݷӲLjTF"Z7(X)bQha3p:_9Դئ[z+ߧUd7߇d^^0f8EG d<+k" *W刖U#u_VxLx8 n#""UĐ`~tu({:JlCH=IucLnw`$apӥ&}x bj *S ,ACf+h|%UNA 'C|*v,FmnQRoH.^8 FE iNU ڶgO b{G&.GJ,* BC ~A>1EMZ@b@R"sG1EUuӖ,==?kIWQCr}~2U~R+KPtZiN@O&8 hL$Y+( [&Ila'at" =2CYԦ0AutD ȤIȍЌgkz@m%MxA iY[1jAț=~66XO?1 ;KmWCpYPЮJlOG5\fFa̫>Afr݀# gvhYATQuJm|4 I$tr'o@,D}tA+ѥT9ޤw'z{(9OrUZˀ>)Q4Z el{ k4{z [|AbUjs$)b|QM5LyQmtqИx\ln&'"Hf-jE{ D.+ E7+\ >-c*@<ܠ7)lP蝳Eɼ͐aŪ\t?G NiRR'w9 >FCrvwjd7›ٞJĖłDF3 ʪ@SKi#YLgȦ+<]=. qזN6 Y%̍wvzU-CNS>˯\k'wUѩN$v0gYZ k {k /]% Dict_ConstructionDict_Construction.Test_Dict_Constructiondocument.tex7zXZִF! m ]A-MՋhvG"uIBm5k)LyrOW6|ҁu* +CF>ɵ[LLILz=U%]T =+G:I\"6P1r⫭&ItS8;E}@JȽVA(Y 1T%{9g,LxT<#1˰JueQxM}S8Wss RLa[{JSX0& 1T>Cw> DDA/H& 82X_rn6k59׎-”ֿB DRDbK\,̴cZLTٻ:sSYM*Y׋6]-Kߺϰ)`M a:.Ob<z(#H< ^=):08ɜ 7rg݄^.JYHV#ހ.;Awu B"`DB_)߽{F\B~W˅Cv !f?)w?RO^5y{i߆ClZvw6G)S\*M24;g 3gw'޼Pp#M..aPME PUN Xa>EھSKxNjnv0l* -4) O3Ʉ֕`\$d  _ʎ(S EOc"S|i? #U) {jE8Km M*Ɨc'5t? |m^yoĺXⓧ D[sdQt-j4,ڂ=6,_p5Wqv"2 _,H{j]seN vC@Ex*:#!v)*4!($>S7KT-;*pd~|bXT3qp4ύr`v雷 r7ˉ*!r QG"ZuV!( D^ˆ`Q́agix׊ VP~)tA&M$N0#!T w 7 dZKet젨Sq[8o! N5JmAjv '~'(HLV+CQN֥O#en$6PPF?l$ڲ΅2@[9M>K2j^2n%# . ySvu7+jӹT{\ki\:9-oK&"'PBmUiz mݚ7!z߲kސ<"Lzex:mS\xSmE_Otm6CG3˳ + _r5~O8b5fbknĝqJ} ^7e}Mg"=Z, 8f-@$,I+⃕{nPr 8e g0Y7҅7+YW# HY/T^,HI$eQ[EDrDc. t@m4G1ݨfB B>4~ń9ԒS 'rbڿ> y|ΛZ3}$V Ta9 3=bOf*%0U ¶#aYXVN$'yT'1=(4tTEiw:܊+ULLJw!kiKcDF;B ȴdYЙ`X܉O LZEuҫ -D5y<{(Sir -Bab] M|?Vܐ'1sxŮ^qP9&S7.FYT tIDVޕ1+>RNb_ޅ[@?ǚR*/`|dұOTֶz_D4{lk+ bq܊LxLrŃ-Q=)ɹWëDUԐs*sC.QX[ xSX;ॠ4FFvV{ѡ89ϥM%7 ݶh ԕ;vg?FVެxhcea1ƳQ1 o;ϊVacJ\T)&sHDƉ ""뵹|AFoer3À:8 2_+\)Gd0T+^j9M??^J6n^%N)# ^lҨR}sr(/'m 蜥_$$7wEP9K A*,jOiا*Y0% ֢vVuQ}ՒW[1/ٿv!&sヤJFƅ5#DBb4U3OTv4bu//1x"6ԴYZu3j^3v57ڣV0ogYZz/G% |Dict_ConstructionDict_Construction.Terminationdocument.tex7zXZִF! t@]A-MՋhvG"uIBm5k &͂*IeEtB"By S˓d:rcyJxëÂ,&70[]_uA6#&ؐw&Xz}`d84ags\Zmm=!qA36 K$XPz%lNekhq܌ f*$rOS[/dߠ9 |.JqUEhy)ڤ9M<`P>cD-DXviQoJ̳i?V|nL?3:Oܟ^ë ;J^*?ٴ;6.vC\-c53[?_a}:BT-4l"m}Ea3iAɔ N-%8o? RrXPd/(40WY^EWIN)`]O\"Ϲc##Tr-lTW& vv /9% $Dict_ConstructionHOL-Library.ListVectordocument.tex7zXZִF! k! ]A-MՋhvG"uIBm5grDdaaģ| F۬X If4@~r{ &{<0}~6K]%\ϯ Sx"lݫbKOH4o {ahM]b~r `J06тnx*66 .o8 5/GWp A~#EunNbOի>Y3r%M@P3x@~il9 =4]'1||Lrn b{!IYYM؟E,Δx% }0IB7We6R"ewkpOÐTCz×D\lN, X*>p+E>TBm.I!Zմ^ KLfr|T 3JěΡ|k@{wӂg6Kq)*7 z$۝=Q06Y8PAdЂi~xx@Q iEB.cl~+[de֢6K*Wz> *d9H),`e2PT RĖWh/^ Hnz`/1d}%k( UrIpTvgWqj~Mnv~=ry:mLUȇ2j2ԭ\X"aJo_eٛOK>Q*xC "&/'gwX`C @}|#JMEI#fN\urtC]͈jCY]op5:Mݻwaxӣ"43fZ]q@:5eEB; I76V9e 1ZM%-v)7xU\T'Ƅڱl,r:4A ƻ<9{Q5wv~!a#6D&S1FMMS7 `Q qF~tTjC 3Vͪ IakeT2,|:KRX}KԫY)ɹ3{ܲA{Lܣtd!eD>eW[k"dlT]{P=_Wu?,.c ^ڇ,X |b1*m'D-?'dQefޗ)]D\XeG;P"-PXd(xN+U[ `XXչ4Og'Ɍȃr)r=ds"wdbuʹVq+CA̛؟%lOa~˴˟ ZN:$#߳YH -|ыw]}u W> rM )fZ@wC c -cﺓ, 5x e mbCڄ48#Vm]L]'ҏrr|Aiߦ!}=S.(x1=NE39 E" A߻5EȊ6MPLRהIFQ~(CװiB5$Q}tM߶+] 8[i@m rO{xq\d57! gYZ r r /S% 4Dict_ConstructionDict_Construction.Dict_Constructiondocument.tex7zXZִF! 6H]A-MՋhvG"uIBm5ؕn1DoW<-)#p> w'݀*Ce9l '(KLNiXKB f (st^u(WP3@o)D*˝Txis+,bvs='Y8vǓUf$.I|jEf^-uv⥜KZ% ]Lm TUWTowq=GH_ "^b:kV`OB] AX㹮|b{хY>en{ 3N` Z@Bw-j_ ;7h4F|*1w9n^1M;Mۭ53^w@uBc•gZm1ߨB".97֥^x žFv^[JԖ+BdzZ,cC<β N7coBߡmAyP%9-Rj 7ΔRķ4/r0L<lKoi}0ä#F# Z)ɵ-qC$̤E:BLP}(MsiRQl-'5&qFx {Q":-i0y~cK=fo"۝ex 3<@$ ܖ;+_3BBVpg4 l^)'߀ Dkv2k䋿(Fklw>)r0\bpYg", 7aJ8h𜥺fJqzɃ\H-ą[fl}V{t Ž4oZR{*nz*Q? QtWa_Uqd"@Bl|HﮖZξ; 4f!ڎ2+wZTk[!ƖV;iٟĉ` ,cy{oM0(po܌ldd+vM"YQ˗> Bɹ;_c-A\"sl./4>X}n mB(j$`a bD4%GI?Chb$Va9<\(5c)vvDƒ Nu[WJROjca x/jޠrQ .k8{?uw~aHm|6konqCem /{8C QtRI䰿'AXYYN$eE_7yC%ٻՙ* kT=a1d 8Ʒ?zW ֌OǰAf "կ0Wp fU0}Zd:-orhu*t'$kY؅\I+8Gmບ5K6^iS r gYN[7u.L6_p_&W*^ih<{pC PrgXPg/e.%pj确'응*L/F`o\1ԶaWcWpi‚29KQAaʎb ՞WF`]zn䌯¢I8g|mF \= lBzz&{+>k7*I}ZC NpZ |SaSPmכ".JoTV%"֔F7 ng3lZ[WN>V:aVz8`'w@͐#XWV-J Yn̟=7tC\FkԾqD!Np#v)w)[Ί[oi?h/'ڧn#lPPbpܨ jO.k+c;Tc ,"\uF8^f'+[M!Oe;V%RF/'>u.A$e%i*qFJhIL%ǹWDj)O[/L2<K`|O~kX+7/-3pζ>LD!|ht,}7VYLGHr5%wCC*n $liVNy!bnSMEjh2(shcqA6.NqzAm6P~]4 l|63 f_ctLF bzua$<Rέ3 Gzj+Z#ߨGWAy ;ggu3xtXzx=Uy "窣gYZw /Y% dDict_ConstructionDict_Construction.Test_Side_Conditionsdocument.tex7zXZִF! Y l]A-MՋhvG"uIBm5k)LyrOW6| _#B7/e(ҷ_a#{[OpΗd="J\w`i^O 6H1fNj) n P.IکRe';iLd,"Ig_=$BjdV 8j.T\C-w[2$ @NtdKCý"+U,;2 Mp{_KFRjo$!\^'{N#R7Ww1Wȹ'|ю /iFA&ZeܒZӽ&]A!c7ð.2;`d@x&>t81ߤ?`*n?0}=+mptbDP :%vmpoawO_ۑ C5P#aL[yU "e](Ez  97MʼnCwx h^e>i 5R rXl\;X HnFj<4p?) @d 1>F@o13M,{x?@eۛFQb1FV6E6l{H> mBKD6oʩc֩qdYY)֢'L3 ]vVVqGBq|6R/%r]$"C*lK)`c&BKr5\i`;actȨ$T8pɊ`X3[A H*K4nCn$+@H"%?Rʹ8bаTcP <ЩDe*Zc19 $qn9ڶdl7QNT#d5.6?(b>ݨyAm= ;Q$ڇ.ĈF#`U`0^tVlHi3^&+*b2JP nRC 5tWĢhxxbd Х6>fՄBq*[4{|2TC܄ =T|=AJKTki8Io}U\/@ntq*ƃOd +e!23V ʏT3=wМ[H %\Cc? Ί\dK9ٞ|]>0N^kѹpXH ]G_6=G Q'?kc2@GTDS3XX4F?w%E2Ԋl_飢c4Ɠo6qC՜ [om Ⱥps@FGnDpHUwy8u lJ7ܙveʰ^A_b ]^4I4 *]`R 6z|eTԦ nx /t2.wFeg$|䏓O׎cڌ+;RXT eȇT9mZriuW!* 7LDhF3_X׃^ScaC!,̝%X 9uNV0{[U`S ?,a >K* 0P_̶(DOJw-@=FѹsZ2K&s!?OdGʣcujNLuU=!'f'#%-ם`ِdo,0AV؊C&-B?ogYZ  b/;% $Dict_ConstructionDeriving.Derive_Managerdocument.tex7zXZִF! a ]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZ;/9% Dict_ConstructionDeriving.Generator_Auxdocument.tex7zXZִF! g@]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFv@(,raKN>zp@_P*ͱ4mh__U j$uǔ*@Ū}M_@Hq6)9+o&6*M_.E"#U8 Ij~ZSqe)>:^hmup28rHnF44mY]'J[<M}iMT0ڈ=".|{?"wuQlWCտza7VgNO;k&0}&`4k #R˄4S]KqΙŔX>V6}gR5P)~pcxjԾ3)Ma| t ށ?W n~X~2^&Zi?%zVe"_֌v i >LV{2P+vj$&%twH62 SiV|J'([{E"?gq?mJz̝[t eѰB*uռRC]by0Ig˪'ÆwswFxԇL=`;@U&ҹgYZ]/M% :Гȃ- 7*s2ak&L㩴oP/T n 3ϴGP.:9#Iyoo;FLzN8i@ݷY_ J& &*_U0*hb`6žb^7:M]*ܸeSc `?q[YV$I.g 2ixƦfL R1REvikXF*ly+(YЬVX^#ɖH]!TءyC3_0U%U+4b?e0J}='/(nܲ淓v<ʧ8hLr}4y&/@r*ES[ FvEɸHkH_=!H^ }9e 1Ɠp.Aq`&U2 %2;]1ޜ*p9Hrb;52fU=GL.u_.į:'PqKo"ߘw=QY٪\xUw3cuBG}#Чi4?d+́iRB {$DT.=rDC(diDI%,ڍ2bkS͍%:e4\Umkyv1{r"z/_~!7/Sĩ}5!"{ i-޼{,UdWSF >ƭ-ɿGxn,P|*,U㠎^v?V֢pN\_Ȳ+m(1Ķ5kTe?h (֤pVx# Wܷ +#hu ;tk^4 ?vFpB^\-`7mlD* DRgYZ  Y Y$/K% LDict_ConstructionDict_Construction.Impossibilitydocument.tex7zXZִF!  ]A-MՋhvG"uIBm59F(5H{do/8xZO`?W!j.Z4^@}ڡ:0zSY ? y@_qǶۗ?܀G$Y7 !D^wm3G('8W~cSO7,rێO%i7:&PWfÇN%{cHAe% a+!@?bnc?bKP)Ymw"YH&!^|E[&nܠ؋t z^gi̖+9Y 2508 T4Az㞐cq7erIQ#5LgvZ YzJD췸: `pu=0 ovʧ!-3 OSBZ6"Oxl(R[WxX6>8=7E*:W4EKyDJřGX>W,tX,/^PC똺 [=ګHutfqWg'<[#Rk^ZɒŬX"Rw&=3K 8P~w9n]缌JӱdDQ\K2MN_#~c81X.c"iҼ }u"$}Ʒ. 8`/7 eO(*-+!<<(l$:@-L)ޜцF~%q tyeVmv[,>dA{<|4ZxX [,ǎ0XO!IX9Jr3 {:[3@鎥8,UJWWksERӵKYtNڻ~b<ɗdOMk%6*`߰ & ܢEfae &Yⷎ%1?t>K3h_ԟn)F,K2C:[';AȼZ5| 5gQ|Z6ꨁRP4c>wIzbv쳷Þ{Pٟ0M|ZG'c3'63|9 FNk4MQ,+ŏg<~AT7ܽ)fe-լ1*L&' XoG=Ѝa]K/l;qAkێF.z7qSNDC)1<P4i}BqճvRa[ӓY,Uplk- O6x bUPyKSЁsQ~K~޲FbI.M-cͱFp ~%#o}R,aGZF 9gAW;]D9\LˬX> f aj8jݧ{~l430g揝{C* -{S29¾P\,l9FR={M"4jF rZ-Ĉr"jpd\gV=mUJnF$` mKOcJ<^J]xh0]/2iϡjѩHXLT۩4|/ȑӠ7ᨷuGMoD Geם!By ;+ agbR;J EQ^ëAD/"(xMAaрiˆXnf|47PNQ#O*X'b-%>R= 9BpUD}XA%l(b~_D=b%}MGcG'(u,i[%jf.v%KZۺ:?g kiCI %7:*C"iyW([(X% gw}HiJ]Պl1%7 UxH ط` mdη;u f!0MU}PT/:f©eCl~9d+d R"_m\ Kk}+u3C$?W^^tW=x' ˆb_R@7,| mZVdn,cl}ÜW MKJj+<"ӒҰ1'dH G\y*VA\4`>G. UJP0 1j{YS&()[uznP;ׁ3;7Z+_)h& -҉*=~^(59u>TNO&zUPj&c[ɀZ$Ah4Ӣ^E2˫dށ*wb)-hUXQʮ<8tOCZ a5 X ^āF]ŤmKnH;sH0Q 7mA (vkvCy$zzç7Gk`v\҄!DG&|F;8f, 6r*y1ؑ6etk.b1G{EJC .C XOa`h̦gYZh]ĸwvHT0 &.'4VPkXdPq7hK Տ_|!E¥xR%Y*Vk c,V~b!{YJAI槕2b0Vy-nAeM xEb+"KE0"Br͜?Q59{q)DV锧}A#Egs-B6P;9olhIIKNYdfi2)_yʗw}⚟o$/"g ΗAY'O0.pYɛ;OӊLt3M>g&?@bHS+3[5- X S\d#߭O&lwnw: NVRȼ ̼cn6`}q ;eNX Q?s*NBcQARs51=ʈr#!ڢf9a/}p:~m//Pv&1=l 1O^5X ;aӆm0ڀ߫1̛Us:1cn^b߲0[ZM|JEm)pMI'bdY`uV#\4I"GI(aHN|2|X0;P_,\#TL8{Y{H_2J3{dQl~ M7 /J~h)dA%uo2(jMĨ0N̄$]FRZ2aJG>13@:۷WK[J/Α}ws c-^_gDh{hܙCP^#21O(ckDKi&$6fRۇA |1g_vNߨG6θ|?FF/}"ܱAbX;40V;>le*K>]k"3a:b̰S?S.GWDvt4G5T_^7XBJ^k B*>á ̮A #/Z&SHoTY gM?}Dϵ)F]x}_ASMRJ@MHܓ[@;)}ml*yЂhvfW0`Nn"OE[/gIt57⯤e.,5Dd;Ψ|vWM00(vNM΂G%-agG9h=yQm5&#V- mcc~3j@kWr*-;cSE['Y[Q:y˵Ïc,2gJv8%T*m.\!2;\osao@5<Is"&H^oy&J Yع̡Mnx$0K |]ܛXI~:KpJ+幒QFsd+^.]8&6MW=G!S[jY5ژXo c*̫eq؏HK::$7y.V21&LyxT Jz9{6wV'xJ n6\8V I}9+H,Y?~u"q2\l(r9q(hDI;.^}}\ݎ 6F}ySMT,b7mԩ~5XŹ_9kʖlvH~xJʴGǾK-]-jW&`}L/(*jǷ6"{toDq虌\HcZw@3E]+Y~"(EhF`yC9F:pcm&x0$kG%V]#/}r0[,B.Q+[i=L',Rg`p,79?9,_W+jQ֎]|T%Bb*5CikZmhӵ4j]Q'Uo'ULڙ4 PE;dеA_Rqy!yjԲ#rոďK-2qFQ"4yQa>;Lֹk8 jg#үq`t0V[DN8ߤw1b˫oݭv6E9p4WU0SO_~y;\AcNVp-__z9]eTێB% K?,J 8Lf1PXfNګ*'&~f1  }iU9"7ir"K{V$Y*8)ߚPI[A 㓴oaɿD4Uב;ʪe@hJ`ow,J7I! rFS5/](1=u4[XӨa Tl^EKcݿ,e J;eBд-0$^|eAb.pG=g*0D:Hm#j2}Qkj)blZB|ɬ?wΙ~wAnF\M*T{snK$/947POj;0~"4އ! z'8"p,K{Q5vOW 7όd]$^|&΄0b,y ҅9l[~8n51i>s&Mb9-?^6P61(x##:9vPNdX`gi W-CWx'0k:fT !&M ]<߳C.*F[UpAYBn?t6x z(*ݹsC:5.囂M n$s g\sDl[k8KX Vs=PsQBJ8Vا|Ըvs5nl8Av7!Qc_@@?+ci/ Q0D,.m2Ԏ0n^C!L}H]n4bO-ᚪBǝj3z 7i(bMh?Rh