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 NN// l T ]/ Dict_Construction:threads=2elapsed=47.481cpu=64.960gc=4.948factor=1.377zXZִF! I]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=tWL!WKuֆ}ӒpQAIp{!©Vvsk8<{gr7_`j']y,ۅ ]o~mKE:1^dƐ-ob2/{3 &@e<]ӆi@X`İHDӱ@ߟjɹD7!OouՂƠ(h :z¥PSTAh^H”8+#ɍ$pO㔥 z08Pn?J֑n wS}cN[zNf_ëk%Kϸ*-3X VuIhh;l[SC.|«+Ev8CqOS+ 1<xxpj) ^J7ӎ~ dHRR)ת&k5DQUEsMcZ&;A[f&P#it>m . £gYZ7zXZִF! o ]ŗXi%; Z= TeaRo--8X;KuuQ (0Ibb g"B‡p W#|øi r _H g ii^ip.j?-6}]H68bd<G1Q))%^>](G?_*kDj •,F/=H)WAI0"TU˷#ضD~$Toӈl4fq^鬕"D˸JgBەB')rك;2#bWtݻt${aڽP/%ISٸ >P'8%D"sN)T'>S Um3V!O)"1klfn"$"{]Iy 0_EfسK b$ [W^KTkQz;|[#eTŤ刞h gM'#CKK$#޻]nH|po [t^f5 >ؔ#:+.bu #w,b1c} TXsRO5ӨT0UѲP'оn.k x:.;E?/Ch8;o[GM|_7ebZ֊.b [+ ,vFQSaa|;u^v:eWJ~5ŃhonmZ w+FDlΙ)x 58B'6NC  V8e-X0!ӺͺȒ g.&}Im ,./$b|䫳Kͭj]( Ɩ4a8w-ŎƔe I *{op> W:j!#sŎ*]b7B 4jw,BHf7!rTX,zƒ F1!yiX;a 4;|0+f09hq0Jʬ7]%Urz(qMcVF05_ '[Jt )1D]ɬXvu-:L!q^C!_|@V\a5ya"XG,Sڰ|kMu@C|ҺHgӌX` iC=Oe)e%'1D /4z<t7$,j2gރ_bVjY -om?3݅sN!84M<(SclE[{͂ k2d%9VG'`d> 7L5 Sgc?p ֥):]ܩM(yDlLX,8؏UM˚euj{!iC)P$IJ(+;5^8Wn˧+L,bڹ49D.K"wҰ!Up hgD3]4#<.SaWMI_h_sBt̔U~OܑyS<{9 ?NE&Ƈ+RLl (d#t=Dkb$r-ZpC:6aWY4ku@4F=Tޒ{7;jzU]&lnaH@3,痽|8(^#ež?ʂ/2U\g3V莀S n/'NT x 4>Hkuiof~c㑪g $72 uBj [C 7gYZ30800c1530edef2fbcb563795726339249a7fcf10a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 / Dict_Construction]/M% h/ RaƠLN5W&9TͲ넚,%Y3 CIyKL%>,B(eȥؚ^5DF *y"'-^A}iM+Uea8~l@lc$Gj-{mbڱ8)n2Q~#Dte57:W]4i!"Ѹ}x MD&pxj[lȟ#z1{OZ @2< !Ъ_<5mW*>BL_,!ysuפdF`r!,tF9Q IӋ;%kk`(qė}'ӒG.pZ4..GVz wı"A 0.>\)(mo%ڠ8!}9˸593+j l3ch\+]ҘaH%Cn0( UDVNU H1UKϝfb}d.6*\IrsK5wI댓gnmLth9|^xf=.. B&XqY7ڿg[bP2+lkq$0pWJNJ[O.Dw6: ?!-?E5.ׯɕ뺬 'fj̲'U i\zڱ+q_J~`+8s%on~{vvX!qWM%'%dy#eb[xc>6Q-QK\[yюyz,s3-ʼnVe|O{|wUSmPziM$ܸD3]O_Po[]P-j]EeyY>\Gwm F嬽+Xh}kpTۙf| %xIit/!@ }p=W]^ګBܡR4ncM;!'`HʮZ=n Fy-+ H#d(w5033OWuNSukWv.7g;+9t]XPdq7ϏY^[j71<俎9=!p͏v(G_agx] cw's"P} Sq>6H Ő^RQ$-A1zW6|BFX`\HBn`-sE@ṿ|n{ou}?meC '{eE.Vli'ClO wYҮc-gxjfk)&V* ,$<ޅSsHMVͿH>Z1 ?7Jİ)c q_逊g[svgH Ӯ b Q֥2 )Zw[p'%#sV_u_-ڐ&w$$pc2}(7v? *.?A4K+ijb[?rFZȷ$tgAy*iz _vWEÏqJȈwĐ- M7v,tof'&r3Ƚiю1m* /&nb¼xPCۣsxI8V1:7<*\3#35/QO>92sTM=o6Fd^ƎB/Q% Dict_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ช?EmL6J_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/ 1+3eϠH)>T`DJɘ`      <w b s ~ 2 <J +6/3%Dict_ConstructionLazy_Case.Lazy_Casedocument.tex9/9%Dict_ConstructionDeriving.Generator_Auxdocument.texB/K%Dict_ConstructionDict_Construction.Impossibilitydocument.tex :/;%Dict_ConstructionDeriving.Derive_Managerdocument.tex 6/3%Dict_ConstructionShow.Show_Instancesdocument.tex N/c%Dict_ConstructionAutomatic_Refinement.Refine_Util_Bootstrap1document.tex F/S%Dict_ConstructionDict_Construction.Dict_Constructiondocument.tex 9/9%Dict_ConstructionHOL-Library.ListVectordocument.texK/]%Dict_ConstructionDict_Construction.Test_Dict_Constructiondocument.texA/I%Dict_ConstructionDict_Construction.Introductiondocument.texH/W%Dict_ConstructionAutomatic_Refinement.Mk_Term_Antiquotdocument.tex@/G%Dict_ConstructionDict_Construction.Terminationdocument.tex,/%Dict_ConstructionShow.Showdocument.texC/M%Dict_ConstructionAutomatic_Refinement.Refine_Utildocument.texD/Q% Dict_ConstructionAutomatic_Refinement.Mpat_Antiquotdocument.texZ#g@q|Mp+kr8^GU4X;1!)!BCBT=gul,i;(srt௛fnxvE8Q}ciq`&٨Mth ^߼KrI}/,&?}(m.Nbz8HJ -/^iGfK:Į \,:^t 1@˽cWCOᥦ\P• L =kaD5KX9єg^\L͍WFeKu,=4,HG g;No c;b1v@b3:j5(#Y7QNhI-?uu4XbCe3cfg9 lzoohvR$o{ R?D~Jnd ku\c!M"Ix5-[UgN9̥= _w|ΝK0W`u~);Z B~KEKBK%ݖRY` њN}(NmzYm&AT5(!0V`WpMF#vRYKm?sF@_b$P[r xp^K?j D6Ն= ]GZfF73`X ' +l+\IE 'cowxPF $GbB)*[<0UJp;ji`Qac}p@,^n THjY釂Aw%XFV f_h;cDQŠ_oM1*H?n9Z9b쳟7!~K**YX =Bg}}| (EQ \=bL蠷yZِ"#=KNPýZ#kN?|g".a5.|$憊u2[bܕ&"x^ ;h= :2irWcd37G~;? `bymy+S}ƞ]]Blj&_0qt5~P݃5Ց2Lb>zx ]2an@|PSDilA¹ʼ.W(f/+; ߈>οPNԶ`y_8,#33>Y1>6[H~Ui`Ih9l@Mm.vi0qP4,T_$0~5RPOK[F$nW-&ĨCB 0C'Ld{rMCmswFHP!B1@VDsp)gY*WӺoslNCOٱa.%AQEBu_U ( 5‚uZeP9zZќ 3i(|sfJqm$ Q0?k&{}YH(+9 (]LoYBg ꃴ,s҆v`cU OƨMKiьCj=. =[ml 9B[5޼H#sw{Hpp|}a"PsE2R}y+Sw),Qop.O5 όrxP6Y9S` e)ovT Bȡ4y~L<;wMuB"ZW{i∨s 8<{9e]`+h2`-QF)縗3T, 0,?@ P!@gn*m#|AM6lYC(XF  PYd(<5|woOG.hb) b}_fe$Z弖PU eGMm>(]Vk'n9,Nz.;+^Ɋon_՗u+@\SC+ vwx_ⲇڱv؛K྾_n&u}vUSCI{gވ>5^?DUB&S(NyH0vTyɁʡ9B|.Pb:]&)A:^c ^H\^PyIa7 \@zŽ8>sQ{.e&SMƵwj.Ht)=[.?\tnO#nqMAl(Z p.ߘ SԞ5 #cE-916UD~>9%ADudwQѫDZ 88a"&G1^<m|m` o 2=OÔȰO3-,:rY}!F TAOc(E?Vk&vr>Z[Í!ȅ3c5kbݝ,A3\p/d#Ƣ=[`I~ Am ?˵ycjK; ֙&5H\Og+3䘻`r> m~k Gxx{]jqp3ouFO(NS]]TX+PF(~j6owӴJ7}5v,[' Ma+ڱחMP.bn *5+:DNJPqb;D_ ԤI 'T˒$jAs?A:+{hfqsL\"5b;Hǫ;>)$Xc%h옖.>v1zۗ!ID6zČx[e9 ;Y BT&v07i:ito>EE7670{Dk^]t6h48r' Sfđ *PFFC ͔,fRvpE<jP ~zM%Ed7ltwpWV Z7IYNqlI猏r^J-`~3@L%RZ ˂ T,e©Wxn'҄ kFz}Ա l3ِϧI4tgBqTsGI æguO[#$YY] ЬzP X@"`t؟z$[^XUR3 5 H\M'*UKT87Z Jt]'.N 7SQ;3PT z]h&CǿVÃXʗEʲرKu`b?UWK?YidBE2|er&FPQ %t2aGXbqF=W|3ԋ nX+7 w+xp_:,`u2L^y^RYYfY*N,{CwBSW9q?Q.!78ӝ r3J btvX*gBPkKXxNOb[,rxА\by)U)^`.qHL<t q`D}|~*!ŎUP3oi<~%vC1}r jR*}Nk!(Te Ko?PFF^o0㒝SPU!Xg+4&W TB R3X'-(_yY= :gn7l\hCC 7_tK{7D9@}k'2bWTm=} gQԞ? d)O^ˆ1qgWE7 =kaW>0m3=rP˯s)c@{ NC5'QÒڂ8=W녛(pPb(: 1Ѭr1Al~rppkL1_إ bF^ܜA޾0];xX=zY7fO/ >K(Ei^ Dz҉B{2e eUM4سʼn۞% .@ $TV9^C#C(CT:r2$=+BU:­kÎC3}!oI<>Gj|xOSz௳$,sU2al\ 9ylkiaC,%9k{Itzo{=9 瘑sH,J'r.&xU`B.'x8FvnϾXfj?lwEAwɴ@Tnt3w7-H(ҧ/\ 4D~(DfސzDvs@f}vBџ4TM{:\I[=mq]Bk{fT0Ru v3H!ŽA|nݍ,G$KF5 h_?SADԫ% G^`2˕ԑ,z4 F̬ڥh>xt%)/BwbqGw6_SK&H= 9st|jbtmQR6Dz)Q%010Pq e6$q?29yG)2o@Sޞm9|▾is}vO:W(Ŭ=^`zijH\ 933=. ѣ@я_IF!raZMt" +)" _^~ (txMWn˄!<#C ^R=DWoBrl}^4k܈s>Ëj`8N! Cjx^G|ՠM^t:k .?fK0d}k H#v:oT<ɷkqd}ī{~ۅqۘfSo{C̍ ՞bbl2"NEiTg0)./H8 8j b92nle(uk,d}Ӄ[A!yu.[N>aq/!{J91дɱ'&k_ޖb98 ;>^x!34GA`R'U(^s.lNXpIo<I'*~ǧ-̻jizLvu\ +ڻ,KwbWʜ=tJ;+ dCȼ0вՒ; [_*'zWc, T MDyqWI\MGƗm]AZ)$?^A8iT\ɟe5, ݬס9kI|Li|;MyPrzDmo~՜Գǁ`Lxh\Hn=@er2؁?tc^*R6V)\(@5g~njp{җkt;L͇Qb C9 ] \1ңF;L2rXiJMa)[R^}29񯯴f$D(SdkKEoϣ:9fQPR_|[P kftb<84,z؏k>EN ker7R w={ VjSx@({0|p s4˷}QjcTo)Q 99D[n!Dzh lLpLC=hovZ{҇},Lh`ULU kAGb7DO>0U1 ij~/ORHƈ=A6dvTNsVhSɟPmYǙA`74t1L7b@jvh"Ҙ+',D-mY#wM1 jP%GK bQ7 y7e٪ZhNҚP+l:*aJ_zq'$jN" 4 (1j/e܊icV>bV 74)PC2mQfy6x7|;09\ !|ۣY4`99Ia%fj76氺±-aCel$x6w_uB}Pf]Ȋ: v"R'`%*8  ^8|m3%&a qq5zt*C} ah翚go 0݌I+10aժWSA^w{7r= ,f"]ݔ|dD: x"8A%bߦBPTPOdlW{]#k=z ܹcx3]E uWRbW<s`,( FTF6of5I+Adл|ĿuwZa &,C)v.KOd{#} z1VRYmRWj+Mui5(j_puDmd29N-Ϯ_OgJhBM~߀^ӢIϦ PoAMU%)5=>v_)K0Y]J] ٰ;P m̛N: yQz i#`n[|D!nysg{ZgZ]uMBBgǨ#ħhˋ9'I<5[2+L~f' Rdl<;h(um?cb1 ]ߡfkħIEgQQ-%cH %sb܍mg+AuuUfi: 38 {W:Xb*(ų8gα. GޮҾA)-9c&%fckz2Pu5&V|j۶M^(.=V6mr  buxNQa%9l'w]~y3$st`дMkT #"/?#WF ػ\v' *!OCK(Tn`a2&\,y9שA9Jld+ɏ@(qHUnsX$Y Zi8D"8Ds u~tBB&AJ+]9Zq&Z̎%v>"/}%[l*zQSp Yh83ܸ>cx\+B衍z2d1.R`Ŗf X.ى{E>G!F1rm^"{O HrNz|Bك0yF|0u=rNRyy-miU~ H,@q/U.T x (s9Vp~hQZ|F~X]LNɶ-H0"zy".մǦGz,/QZwc H,C۔}-,Ri2T fn)Ν]\:e%bXn ٚ\OO%\[vk$TgKY/f*"| ôK pD-=NXO׍׳Lr=4!Eȱ31Gvbv 7xKa5ùpF{ymlKFшy Y( FvtP`6c f+oCҞqљ}-s1bJʹGme%thqUA6!Qt6k K; 7 r,}48׻ߍ) b`k)ܭW.Y{k.6-+14;BmH&Dr%%ƹۂQ UD 98K<Ϊ&(XW3m+ۘz<S,NhlcKK$ؼ4YLɵeEތvbCG17O^q0t770"휊nZ0g鯳6:qy b]Ő~0jIfufOzsDCzNwsJ2A,_g bVe~JyB:'Ur]kc>op3aAGASR>]t&>yha<t'ũn/)%wox,g.}[Ė+z(~S C0 j[$=HocžX1p(zf.R(G_2O m,+aldRjh?J1VI8SPF+ qLL,%96NE!"rS'" _XdT!Ag; ioirdĞ9 䳅N\@lg#v^VO&Ȟu&){$M蠚M=/`Bp2\D2`6~0f8@u=jpk 0?~Pnq53=Ce A[©y 9U2&C;7iWM{`\qԩry"U [渢Jjom\$sFޤ%B8@ 8I@14f: 혙x#}zD.ɭnP⥳ bVgf)5?/;Zib->jR[χ}Gy5ޖAd o E\&7јqȧ "W1gDw@ CV O5zڍ>]d8ZY0oߤ5?>RiE%)U|:`W>K3Nw~m\aK!;O댣AС:Nzn%tkBdBu8/9gEM7s!s'(z`E=7"qW r maf 1=x[!rkjB_ŦhI \h0D,>X> q323" m 'N+Η'nžaS6סL[fmA>et!kxq-e)bUe{CbʋIԯZ=AR ` L"L^RRf|B $uIy{yUe%) ^Z@8 *w0p* zaMEl˕g@2ص ¥V=Y[ Fe{ &u_j&&v*)P/!ahw(~>̿{p76p)%];f6j*n:+ hr;|Rj GWս$G驃 ԒE =K}&]Dk:Z) ֤my:^]9MoqG]q71=k'(&R vق#_&0W/rmIaؘ[Yq@ԉZxS-0r?/)Cj4<$7!MrF%3b"#,(p5aߧ߮A>g#{0J#QyZv'U$R'imm;+!AKū$0- p_e%R_C˞~UG2!> m/0z*rkQXXEփ3ھR2GHh{ϋA9)c :`hPBbUC>Kq ۫nofKD'z 4ji3"wk 4/F”,l֐(+]Y,Q `ȧ_cdGb0MVK.WCH/6qZvcoa9UC̬;!y;+ zJ0^p\'hDo#T%(1b|5*s~q#cUc9/f6'\&'H9%.h nrsт"6 trq8X )r{jx֝ fl X7] ~QMTԣ2|j\α@t)O _ja3)?uנ<7>!QR( A:WFT8٪ ,ɷ05]p8?!i|~%}O B-u;PS~wX!ϵj&}ԷjzO\5"Es@WT ʕsݽbcÒ#=EI}5j߇q???A)YJYO{wĈBB͕D.!Ƹu/< @$얂6#Y *:/m;0sU#y>ц.J ?_L"CگRnTJߞ|gn|uObhE"EE[V-g̀Y)r0V@ntGD%H;ŵz#0)P{^D6hOc4|v;F RY?1XJ;2dN5G^]=z}D,2ʿo|Z,vf.cPQ`>]-~Z g?t ]< >"Jheuv/=muk?}EaOA}[E5y 'a7ռ?} *8 V+Ex~`\f3F5gR~ \F+ORр(cƘHU̠KY`=5Q^^sm mu67v{{D~d`;:)B^|s 8:QxΆ)kLeq0RX4T{] _ 3.1}юdMq*75]ȷP ¦g3+g͖N^K"0ʎ ʤsa$A/& ebsMh?pXs'[ oX7Jd‹!U:TnjI3~,vipQ'Z=] ¸̃dl0/If_^#g=#jʒLm`Y:[{rO_{Iz )`޺BQroW;{^064F nwL^mV^=Ўu6f67hԵЃ lnaW5Bza)N>n0m-`Q+0_?OBk:ad/?=cfv ԞWm!2eW-I;~C+%1ܳݸW"b{FŞk\< ^IA9LeI;$H9`0NM6^<VG5e+yKp'3gl> H(EƗ/F)s#Z0rP?/N9*E_[\u4 /f!N+> QmG1ԂJR Ma҈t.ֳgYZ,," DBG[xoEbf1Hlg+&`.b1zV T M{v|ZpKxl•]ԎWkwб6߄_*pnfz4l倵oґm8lvk$mh—ϋOW:YZkpD`t=@8VZ% fvt+RP'GBrua=P0׎e l> 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}[As-r}uu֎[S\OYkEJmN&H4E&3p5Rn C9H^!m GË?mf-!4~dlevY ˳-E>"cX@~\e"tq(=,^qսeL $c4~O zKq.,fh*(< 7Tkf`^F?1sx!˻w NK< d^Y8jNfIPTL;vd5bRW(q*Z<|љLÌ$|45bvDЃ.LA+N* ~\5w|ǀjY9c獙[zf܁]DX,K ym6M^^5o.D0Q+K]Zc;^l QD JN Aɳ22VKtzHy_&oi:Mnۼ42_Lz esY܈4 U⯠#mtG]q8?z0bkh>7-h%]>d'|Y R;ק0 @0)4R,tAި;eWCP%Ъ]fܲx~gc_^) 7Zub]SV㎣yWYV~%ȏ!bOov%JhHG@Dr^=D_-YA#Q?}T"#Қ(po ge%P8ZH 4g HvP AJ\= 3#_4ck*;)E;ǿ/8hs,Zn@7‹9 6x@OO `rq޴#}RɈkT۳$P/a DCʼMb" oQOϛ ĖDNg%'TZFUm9}"I(>劷+dƆL7ne aqحCIC#(M|cLͿ3&c>lrƋɹ7XVQwY^=Jƒ.݀zK܍+ƍYi ; hxN'DcEF,!Wݗ \xkdaʰ]xÐj9`N@tqKŏ[ߪOm«_  #T\h3ؽ3n̷?2֝z؞USW 2\V}:\ɬ/ "oCz@+&.JG<bW,+21^x-=X?5hej >*L'l&u&st ܓX˅^]K%7LտPI0QIgd:#mxH\zLUmᮆ%V#{a7 :çj0>/G KA8 T{ DnFyVu0D x izL'yv? nț`_Oz'"sngi 76-v3C%iޫyJ8o65tqm:_h/ RaƠLN5W&9TͲ넚,%Y3 CIyKL%>,B(eȥؚ^5DF *y"'-^A}iM+Uea8~l@lc$Gj-{mbڱ8)n2Q~#Dte57:W]4i!"Ѹ}x MD&pxj[lȟ#z1{OZ @2< !Ъ_<5mW*>BL_,!ysuפdF`r!,tF9Q IӋ;%kk`(qė}'ӒG.pZ4..GVz wı"A 0.>\)(mo%ڠ8!}9˸593+j l3ch\+]ҘaH%Cn0( UDVNU H1UKϝfb}d.6*\IrsK5wI댓gnmLth9|^xf=.. B&XqY7ڿg[bP2+lkq$0pWJNJ[O.Dw6: ?!-?E5.ׯɕ뺬 'fj̲'U i\zڱ+q_J~`+8s%on~{vvX!qWM%'%dy#eb[xc>6Q-QK\[yюyz,s3-ʼnVe|O{|wUSmPziM$ܸD3]O_Po[]P-j]EeyY>\Gwm F嬽+Xh}kpTۙf| %xIit/!@ }p=W]^ګBܡR4ncM;!'`HʮZ=n Fy-+ H#d(w5033OWuNSukWv.7g;+9t]XPdq7ϏY^[j71<俎9=!p͏v(G_agx] cw's"P} Sq>6H Ő^RQ$-A1zW6|BFX`\HBn`-sE@ṿ|n{ou}?meC '{eE.Vli'ClO wYҮc-gxjfk)&V* ,$<ޅSsHMVͿH>Z1 ?7Jİ)c q_逊g[svgH Ӯ b Q֥2 )Zw[p'%#sV_u_-ڐ&w$$pc2}(7v? *.?A4K+ijb[?rFZȷ$tgAy*iz _vWEÏqJȈwĐ- M7v,tof'&r3Ƚiю1m* /&nb¼xPCۣsxI8V1:7<*\3#35/QO>92sTM=o6Fd^ƎB/Q% Dict_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ช?EmL6J_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/ 1+3eϠH)>T`DJɘ`=bSRt19 mWp+g2òR-  0 0u/W% dDict_ConstructionAutomatic_Refinement.Mk_Term_Antiquotdocument.tex7zXZִF! }V]A-MՋhvG"uIBm5Et9le \eD%tx) FQcD-DXviQoJ̳i?V|nL?3:Oܟ^ë ;J^*?ٴ !/% tDict_ConstructionShow.Showdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5ȣG,|54ƙbW&GUfQ.?lMV`o)8x~kQ!= ~ zvGK16Bj"]B ֕cMO"ɭkkq%Rn'cXWutNA|:!{>]ԸmiXAGh+?Z`f4lQ8Ntd¬S"剱>{maۗo74{9zze ,j zJͤW W2./ۤ]\Gv/tR[ܮ:P͎(2O4yՄw[s? nRR #]T®n |˂&E e ;6.vC\-c53[?_a}:BT-4l"m}Ea3iAɔ N-%8o? RrXPd/(40WY^EWIN)`]O\"Ϲc##Tr-lTW&K 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¸57_y#;N o^ek-@ l~@qŒըls!/ߴɎ%#ʺ;r s[&³!eRϕ$ ICUXZ<5xKSbλb& MNjK;^$$;-yCx-3 8W -µK3*w4D˗i6k允9;-9ؾ~2[(؁oI=yFs#0%bu}'p?'.s)z^K=!A Bh6FY0DBǭߺP+%1#77 r+h!wozwxoYNseE2B´r=}!KJ% (^ttyp$%}=l|L] h\gnP ]ⵢO$d#-'dUGĉ^y[?@q?^-#2ʠB|~QbnpCC]& n,\H4 'K [2&DD#i0qhq(!@GsaJgëbh뚈Du!S\ xgY_8}B5DxBPzVX_c$+I%$aLPFJ4W;"xgYZ`77#oд,$MNϲ7uu9);Yo'c"~ {&q'2oM;sJFӔc渱p4-Qd('a^:́-k|B<5ڂ6 ^C-QbP\5>k[XO5R]3d9~>5ܾ+Gjᨸh:7[uf\ lc.2Cd1vNj Z✫Y Wk/m]pKڄBuMJaD tHy ݂3-J-]96-:ֈ}9ahvZLc܄X1t(u4{Fш-PKɏ[.e'qRk۲nO?a+;kz< ycg?4j7^aO_NE_).3kG>e+1Oʍꮬ|h>R8߫= <7Z;gppJ30賧BR5߉s !5?k :LSsaD56HKkx/<.m/学w iS3H2&|~VmyNmGd4Zbԗt|qϒWΎ/y-u6y206 l0gb8m}LR'w{G[LNs(TD_$J|KKNg=,t!N"N˺ثTIR ayBAKf]fV).J/tAހϛ X0Y9~צQDyB[e;4)pTur x+P3:xٵ&+(~YC4)K1) pzz3Q44 Z|.\_.)a(tXHV R"!Aiqci)0 H`|ccH|`6>~{$ ax"CgDvtלN{ut-k-"͚d,P;z2NMX 0P6h哸oS0) HLXT=Dμ(\loePMIኂK)zρ̾hJ[پU b$.2)bU3 Je$7̈ (GɸA GDzU< ͚#s0͢?/U>6.Y&14-HDpZ6Ag'h"{̏} )TФRC D>݉{Q W' fܴfw74CDG(5ԄsruS)D{CO:6[Rҝ$ . T7G UYZO %ɜ=I˖-۩qʛRNKQWP'Q4Sh#lA'[b{U~y+QuH)aL쩲biL{{طjjxùz7 Gx}cpXbGS(ΦʄNB}*A/Nה.Lo j2I:S+"޳<.<-M:4q"1n0UbWx[a/E#:?bGvHXdSa&ԷlUɐ "@ECj:4#&0sBx~麹řH#H.5]}^W,RǾXO쒒Ye?!.Z_s_!RMs,]<-khƾ,Ky QTKzClGn|X]@Ru0J53~U>" deMxOS1C홃4a/ ̭as>J̨CgN.䥁4ŽW /́gIyC֥ЖuU:h[6@ݴmb42!0Zr8m,R4D95wI53WLFGX+:J7jԞceJ-;4UbIz- w¨5//LnThG4zx2oA]Cθa "'S^c$7n[&tY9Vtb>7Ғo IL'ķy=@vcoMҥ]6<#Od[P߆-ߓ./Pq'f8E()ԕy+fd¥PጏEWu"Km)L>z8k5ͯ JIU)g^!~*1%V#hN.]:P>Ɖ+|}zJϏ@(njsBAd 耢iK2 IFiV-rvwBo_ᡉߚ /1%7 xeKm Y7D꤫g+Ba  +gYZ B/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/lGK=v)eYPy͜6qC7%@ ! f")*UR5XBvۅ&yet]ps⡢%d0,QB) @bo@svEe#wy2][M;N'tgo.N<H_눧)ȻV*=U_j$~z{͜DzWHu]OiY y$j(ba/5#eYӸU~3Lq"7ɁXCX dXȻ:]ˈ fkF8k>[GN0SN<`KgYZ /]% Dict_ConstructionDict_Construction.Test_Dict_Constructiondocument.tex7zXZִF! ~]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[upFw&) ~Aμ[:?شoݭ*n.َ?y-vh`i$DC̛{X.-S "Vyi4A IW܄PTCkբ!Nx^G,o(ڸar\_̿9JMr,E-=C 'aOh4]L>+ث:{d|֗.fpW~TgK=|~^3Ago{6"#J&AKQ&Kg)=PޱFݧ,+eCuW2x쎻 j7Sn/#ŤBpYP!@LY@?YV?4*. mIaP\5m B+b4MH'3/rSP 4:tNl6 p2L}j;A\v#~Hgd E!UwA̪XC+vԐ"U1| 8M;zθy09(2lxKJC_dN23)-vxgԭl$pͬLh=#ҟFta&竜Eɉ\wdq2}x,ҕXq`x v{tᬎɮ&f w fE`pʐd3J\Xp=YK SUGnb;XH:<2ً/av=LasO,Aw)UW4ӈjA"6l&k,(Šp+, h]z<^=Yrέj" CMz3ĩ)X,RG'dgbxw{Iu}!XmS17wپx1ݧnor702C#W"kZ 1ݝa)3d#*T܏G_Gv}+˶ZoF26}OU_ͭوEvsxh֮8'xM0^z^%mj5ǾU&lM$=R;TPuV]Obi,/H!0DubB5 ޳^Ov;=WRSy+A'2'\gPv@H}m'X~N9JlX% VRU|Ygr"e7s|3VU`jL?P%Zm߯KįC EA7Sc3XTؑ~1J5r[7gZӭc`vN{jc4 IRh0T3.Mȵw( 1- iwGSJ(D̾ !òK'Պ¥2;nZ犻2ӊ .0h-m # rV. ͢Iչz :XBʮW5fr5kډb=ܭZ/ yQe,[AS/I7BzXE>8I$xJ ;Ӊ%+nFdU;[njEFyO訸& `fc.qWqPz< [n8VOd5"iaDMX S2`;Ɩs{w:Bn<Ķ<ڙۆxwY= |TWur1BTi0b|R}!} ˄KjMD a&AJ1"+ ipAGLhuxe?ߋmՏʦ7ph`aSR Vj KE'-x#җxΕ"/3klͳ9,WP#BP(b$/֠זZϑW1) Uen>NN .dg[=,a!tMPvxň3/,oLD4y2Nn$zuMYw |8չ_*W^m}K";۟uD3}*72P3M&0.[mP U'!̺IJ a_m2\qG[0O^jEW{ïQg=& ̈́ޑA Q.JK%qc9wD/S"LYOqv؀=\Ѿg-7"t"!%[0l/t7ʫnW9݃ *B"ڧHr^oړ0H &,"Q*]+3{g)vs@&@bMZTC#43Oq̓z'6 .q GcPuuFJ5f Sg$5V|l3g~дH,uJ酡ðnB ̭P.2U1s":S;6јh;"XFѮO6_ ` oc ց>UR@}N؂ }O)pSN5㺓l@hZ(dcTn>tJk,!;< QY?#(ie[N5EKTAHLr褣A{]yݴ os>`o0Wjw-vI4j8"yMCMՏ͒G )"9zb7&C !2 x7z\81$3x:ǰF)sb)%()|kON(/} lKy8jYfu™}v,Leݕة˃qL<`+GB @GCt7TDԝr$īs#<~T|nlP,9zR1m{XGŘLBVfv58H6ZX#;Q?f[ YoZ,}5l|4fyHIFSu1NHEIMF&FcY3r%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$۝=Q0%"kaNR~̜ "(Dݛ倍Z~AiG"1IZhCWY- Ē PA8d60삙5#mh3 @BP(3vfg?E`ב'!AKmv^3݄.^*Nf#XA$wSfW$+g7<з dnM+>ɪY J\q6it97¤]\=M.Cdw9|<8 61'GprWg\gw<4JRm)N}]/OOVC2@B`D@^Xd YٴAI]WL6+O14JLgA#_/!4q?-܌Ol_HDG2g^+c3vَѿW :u[ "3gq0\ șc-22333'Gqmog  V, o)"327.vAøLe}cj]q pFhq=τ;]^SkYm4iiPPHR~StjlAu!4 ;E?P34b=ZBpU65Z 7`s[;WnQި錠vrs !'ة~4?(tm~x+ЭXUj>TebY:jާU/X^ȉ1[XsYjLsHv^]2hb1Gn_eXI k4<)Ȧ1*N]zi=JQ/s}ZC NpZ |SaSPmכ".JoTV%"֔F7 ng3lZ[WN>V:aVz8`'w@͐#XWV-J Yn̟=7tC\FkԾqD!Np#v)w)fGod,osdk`먞 ZEoũϋ?4>acui75Jďb0:wo-Ug5Wv,hĂ#o}(Ji. ItxYߘ KƨBhgYZ /S% $Dict_ConstructionDict_Construction.Dict_Constructiondocument.tex7zXZִF! / ]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"?ܙyׯdڎM΋QsSIIлϼ }řjU{w85u1˃$lZqTq\q1* rm#f/y;{er?~('DH-/EJw8D$E(%Z+"?y%, U# 7rjuLB8m0Uw0hU'];S%q L y׏; MY,6Q2_0b4~#:x jVJEc(;8o(N˕0 3xل$On"|~i$j!oR)H.kcDO:r%J2vExJ=)wӑB#Z2w,j ,ɩw` V` %㏿im榎đ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&()[uznS8#!9(X9bLbDDD{Z)ڂ- Drzϒ^M,Ђ13{cx]x39˸cVS}0}9Md`j 5 'p9fuO-$ HZ^*|amq3>0osưt tnCj #Dž,T.S`nmӋ1&j + E:j񐸝~,k%t rtotYO\bFZH2ߠUczZ?c)-ȁ g%ְu2nTjCsԌ!HtM=ی s ڶ?xI^p^Js*Yױ#؊"aM2K{A(h| 즖A2^L-+wg~OwGqgFm%~v6&+ـ\Y)-fl <[r/`x>m,RtBOV'5$P:JR SbTӞ~ =z!ee2!d5еYvXj#Dqa89]E`Gqx@ tBOg$ӕ0J@s+MjN:'`~VL{?oB J+,+͘U*wzئ'Q9;vhl};ŠhP n196>\j×wF-<%ubͦڝW z>-5kƧ>k?iMnЊ5fGinn ;nX$~!ҩăH"ڐgYZ  z:/9% Dict_ConstructionDeriving.Generator_Auxdocument.tex7zXZִF! =]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ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZ+ /K% \Dict_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>I"݊\%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{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZ   o/3% |Dict_ConstructionLazy_Case.Lazy_Casedocument.tex7zXZִF! u]A-MՋhvG"uIBm5lϾ\"au mf7wA+V\ă &ER0` luRX; b(x*1P-^u1F)6NØD 2V[1@-wb< ,kϋ OT`{m?bX;΃<}MWzxǫ࿮8uiO_ g%O.lH{^ub^"8;y([/@l^{tU\#(.8orQ?Ԓ ᯣ;-YtքBOVER Vg=gU-u:\v3xe -<4R}CJ퀐M:Rcx;ZV'i)т3M{/ c0MZ؛ˍ:ǁNi/ʸ?Op@)X Pfݜqz}.贮ҳf'=𢕡{F>ڧ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_c