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  /7zL<| ] HOL-Datatype_Examples:threads=4elapsed=127.972cpu=469.704gc=78.9847zXZִF!  ]ŗXiɟ,|\=2%i#CL<|͸C\,ˑk-뀆S<|Uk<ު6%ª׿}\}A?2ʳL`4(ʣl8fIP||D?Habo,>bGZŹQKg c z@ȆIR60C-7vCCxY̾&8"9L(|oQogCkJP7ݪwӹ$T6&G?X OED,ַHKu|fw#ޔXH+>rL"ѡ>8d.E˫T|FA3|L&?9=4ެ)@|:1W :g5#67l9@h3W-{ "1N(£.a@**킶ɧ F&G!Xkǟ'Hx2ՓV?Jf9\wx}+o QY9eLG '\/s5V!y%m{BY{ rL^NȷN2QC3?z$zmLI!Cc?\mFF2CDo*AI[ԣځ13eeb}'݃e1oapN\' ]R& Hi=LLުmQVK!wUq"V~ tP|ꑲX{D<}")aѠO}n/<ЬE,6된`/WIm? n`dNFޛ'Vz 7?% dS1f+_@4s-k9 #\{B DK5^ʞ# Lcy* .5C>~",g "Ts`SEOF eFFۨlYURVNEQ8M~Y"Gff~Nh`NmoA)O|kPnQ@;WrdvR"x >Q =#cfht͙xaj?hh,Y4+~mՓ feqmeMjtQf[ۘ1AyǮE3`9hW>rJ_;1۲LQv9΍OK5:i3A#A u/"w?vW&ioi ^WZ4c$!aN"p$HL%3FOtPPX"B"'ɻ :G2V'ҀL<}sE5j poNbaG.ׂ % ű-O7b4Ҵ#gBPR2P[KT|87"rWVGb04qJaS!5AԠ^K7Pն}2[OsNk ("tFД)4pz7I% $HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument.tex7zXZִF! "]A-MՋhvG"uIBm5#2O X`9f12Ysƨ,6 \Ug#J}pX_k/5kv?bFa)1M'af*;Uu%݉i@M"RI2Kӿoӥ71Ìq;T !pD{jp,աf ?a}ah!E$ؐUoP0Nh`sVPP'OTGCGiQ'c(Vka\#V{9N[F0 O!" X5Aؠh d ZpLPNzG''ߘ)ִ-!ʴ"P.1]qU8U~f[Bhtbdsǹ#(n"yɶt~-~xZ#^'&;}% Tw Yܜ>> / B =.UmR+u ݄@[ZR14Aі9P]差c^ dMw! "<;W$XdQp^9DW0eAWS_X;?AIc @+`xp8GU1e~ ]߱O&^;| Xn [ 7e% lHOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument.tex7zXZִF! ]A-MՋhvG"uIBm5o{V>RPAyAn㧻:vڰܹV]\ $ȉyF *>kq ƗIWѮZ?7@r25|zyHAH4Q1ò;}N$C|]DOI6=sI9yې0j0ʳbQ'U&ߖhì%A$8k[@zغϐ/k%RA*n8?hp'o<̽zY]ojH@,Ѵi3jJ"&S\ҿP܄ >r}}22#;k[ƀKs>LPtUfmo":d1ޒ[vg,nHYsɢBj6 b1mn.kQ5[3Husӟ[N;_$5f:9A"Scw0RZpڥ[%,(CbQ ŻA)IV4ܸDYgAja\T}IWݹ tU^7]n~u[Ei\5d[+wŽ8`;0hjژ 藉vGF*vGF$%+l:ZPFI:6i !$ jjlgo,y$Z8(d``2 ҝqq'⎲mќ~[O,J1Ma ⠤O׎LAux(i<{П%c\K ƳA;uGҍ@ڼ|X x9ey\[6JnL!ѹIm3Rcx,` ٿͷ`Ӷ`MaFF3w$!k8ĎITg -͝{V+$7*A bL<~T wYS5 ;3jX2KW롓>  bFcȫ]Tc\nUp;iShSA^+މ&͡btۨd,EKv:_ѫvr,bɣly *lS3&P+F<7|=|9mp/:͐xBM 51JQe)?{14=9A{zQ(p] J٧/gQ!u  $)ФQ;KTqJ53 *@кΠ*z*=ܬZwiIpX[i֌/fukauHa+02ߒ}Lc{`Bgn1w|߅X_~NΫFsh$~Q4>zoe*gnn]I+>/.{gE4OGZ铡,빃sd?jz-3=+Gq pR& %~-HCp4\1=oO(o(B Q[ a ZVt";i/}ٯ uaT G-'abGaTc߹vh0)V{efbO CA;V86ȿ3b{iO4gunX'yw2Ni͌#+QYv[D Ab5#'"VQMbRB_VOc2QӪ#'*FYK:| !}i&;V:˟k#o6+pQYq| 876S"auCJ#*~e*a9]_cae`OjU%4MX_)CH]%J͂m ں.Z΢G6[Cad0Lnt3nH65'~]}祆c+3 VLyMHsl9Mov{b9?cOr6+ΘP^0{hQRK2]!rE|3Nޫy虝N(MvP$uw, G-*E궦j7}LpR^qXS Kh%'ef?*?S8v7m(:vjl,Ҝb9Yņ"^ܣ܎|{5* '|;VaR?8N s"R1Tm(1e^Ŏ1AbCd Ú6KvG=Nf8ȁ@0gϮ(ENMhO:tX i4{'v=y2.a43_"7)ilqzlMh6ؤ%+p+ (_+WVkE?R2F^A&2c%8 l .-yBNezr?Z,Gqd֩/!2DL/%G0~v3sLpB @ANmun#S#RB)DwG Id!knl xC:R!r{g(D6,%^XSkTّJ:Yu&x59dDrtLYnaCנ6SmvlS@@tϏ{D H1-orP6XSbΕ)0zYQ"+<Ɋ1èo9@%cOFANv/F5_'֛XlX7-P([ck'2% 0&kU TLp(]4gqGdd833P@ 1]iWI,u ɤrel `_7\,ߛe,*wGvDV D!LA]!BS nŽJE.*vžyXNY[R"]'"[pK`ee<;CmPNHw; =Z @Z6R`su%5ij Mtu)j=KZN~B퍆s/!|P43*گ;8Ust1i4wV5 #}=8N{նp vxSVܻYͱӵM%btC=X `' .K4C&# Ee~mŃi /mϠ+L96BS5ߌB}8>;`&[۫ )# %;`ȗ[LŜgtɪ|DcZuU(dY)g~fal&K71PymZ-#^t/d*! %m41.Dtg=9d LUk[㶚x&ϗ6&!3GC"o5ƸRjAD X81Nku8U:'zSȂ@= 04'(o5ՕEQd&!DԵWū&J r}2&콈;:l0>#%g,Y}T7mHzP@m pgupܖ,D9{U~ۃbel2:Porh|#łs%-҃’bl7w-97f7% ̜.R!RUK$[)"lj7hkGOea͏*,2.0cؠrrAS )wn]~c}̦*G}.ÌwEe6 ~t[g5OFn\!ҨOL #\{K:A)?¦e d)糮G*7gYZ+mV?yۦ-[.+JBwAjSf~n,"gC{yIiĘ{}A%k?X*ǛVz`0(Y 'ⷹTyC@ 7(?a7Q\i1bMI&7 >QaM"XA(Hm$)b /8V]k$CSkM.@"ɬ >IՀI y+DQHvy3H;Zꁲ"Β~5 ۸J|A펍c Ԡbe[ScfjzwRXcefD_c}Pg7UqB%*Y6YYV39}ʖ$Hg !dBZsMсiT7%jYv%(9y(4L0I=o:=N-1Ɂ"TjxɛvsSL(M+5 KzL;RZ}3{GI?~f|=r"O2 ]ţQyvPbw8_ %%}tBoP&T|,op'1xL7WƓ&~ &9_B&,tǮ>ixl؋~aoNRG]kp6]Gn.:@ im,x&ݹx?/߈"Jh: tspK徭sNOWgȺaLl5pL6$w 4hFf5AjКŽ4t#Sﳤ>>''~W2" "ʭ)+3x,gݷ˹LdG{ѽrV5,iZ 4JM1)2%_iv?* YqμD.zv"|:..f f"AL>txHKVCJ/[0F@GruBk]ߎU?2?Qe)i3B-fk9_9/UAtcF*0w>dt8uΤaIhDq z}\9cҊN4(KY/ Ӫ̒WE$pyh;EUz30){CVsfW2LrXdRUհ)MY+ A1uZbH:GJXJ6y ԄIrC˶#sȈ% ofX81B!NuY/FI?59Ɏ-Q5^Q#ѥ5:4-Ϸy][ ;dn95>߹~ /LAoԙa8x`լ#GV8x.f%h[&C' }f$Uш`lqיwuwV0I`D%\dfݝ-ݿJO~$# w(ZĎ%eqۚ]VTTV (wls]UJk]&Ns?M4!O|Dw,/P".J0S \CK,y. }Ť\a93,6A ɆT!/[[]AS rҸ2(8w h۫q`1+ѝC*x8;Zj\d}ghwul)g8+Ds7_!fe[67I>wzŭkC,OenWdq˱r>Ct۟{:sEQeAsɓA7(xV"{Wଣ79&[3L8\oqci):OCw{>c3x>VhLU]CL ގQHdf.M<&8чɿ=FQTGj .81{JCNّf~67.lHa6I# V0ŃB'2w~B7{FB${>=v]<*IJ(w֯x{4"!ס0!9[]L~&6,n/ǨvD B`py8OY{BàjP.)ҭэ&^ TC%aމ8h8ȭ T_0: g2.|$4CAJFu\dKG_R1]c;1R Zwcu.7jxBAѮE@Hi48<Yɇwea\6t}tOxXiK"e.6<8Xa}d1跔 OM rݣ_abz7%ZXy; 64ri.(F@9DI-YjZBGf's(zTc1=Vqht}MHǔ m:d,h S3<ŞZ]D!kό0:3{#P流+_۫hGTvVBj׵]sbHYRvh}(on0(i۱Xwҋb<:_6SO>}d)\mK ۋ)iq'd%]MF;CKtb-a-)U'4ֶ_ACf 93k=]yJ9YS.xéwT>.k\lE/yd)hDֹ"RKS+J]n^}@z>Qx񺱴lZhs ;@wj\VY?\Rܰ7ϳ0[55I\Nj}>LDKкF*73}U-ATG|S2X@MFd ¶̛y+ġܳ,x;=l6 z)[S.r)-I<&01 AIJ≓jVIL4Mu w: ~2 ]`c7rZ>!Mxg1a o!'DWm,.OH<6Ƴa]p#27pQ(ͯ iKBNB܍|"4Z'8o@szF2! %ӞN{ *R{6QL.L$퉾yv]WZ6W!!(o5 5S\ g%J+/@Z2+fTʻLZi&&fKgYy){sͱ|" TrwAL0wWg*YoXt;V{G 64Zla` v,բzbmlc{5ҜafZoT4̿ճM]Cd0[6.)tL͋ƣ~dIUo!{4ҬP4eAm[=>Uo2;4r6Iְ<ZxžB( E,3G}.PF,<,a$*^7Be/c~HK3Ƨ2S9xpZ-K4O[r!ߙaҭhCZVS=4_#َ{j.0"|jm\NoLEo뤢l(.хP…!+jŗ~")W燞 )q^a9Dǎ\A+f"Jlc5 B7 и8{G_X,P'"]>7sӒXw!- $ǽZ8]Mw2ITeڴ@kMIly(R1{5&)jOƼe4V:Ҏ̄sy`JKBghjRIN2] JYrrEݨ`muRN86xpzl5>;_sX_!Y@V ,fx͊Kcs0$dJYsHIs|T* k0(5mq h=@W_>oPa {A֠KraVrax: >,M="%#M+%9yv5ʿk}Yィxcd_sf%k>ePc(h5 `f, E)*-tz".&5Xy%}GoUX@jI)@޴ 5EV˅l\3{f6\-ؚ[+~Q;׻Am! Vr ϐvV-椏}C.W[J ڿH{c/ ?[P !FjJ7Պul^o%c2%R[Q#.J6ģ}UXSڵ[rMW*b pMq0oe;nY{6zC( ))TK2,a%JF̎]Y[z]8vG]O "qپwe` A;uE^D3rtet 5Kyȳ"\4j6C*ZtBnƗ͘*y3їB ttŵ2w TzY„QٝXX@Ha\ kdž_)pjGxf mx z988QӭB(APS|fJcMt4,o !,B.Ff줻QM//̴5h>7;`:^p̟c4w>Tw 3@A{3!Xb)E:SCmjIhq‰xFy&,"8X4X^8<։,@tfX_ZN-ef!cul}8$.*`RI!J~kVQŇpn:!`kG7:@>vˑU?hBZBtlWӯ0Okys|JYp>e$ +vL\g$|Ή띠lZ ~uG8C`#?<3=wڗW$$X5oH( t dsohS9==]$pf*9B';FV{җ R$a>y뵉 FWe5>UZH+{std 3_J0͙ uhK';qf`L2Ĝ/@YG~EW@U=N\uj}xo{kʲ+ГH w!#YMZƐuaK?ITsO_CZ䕶ᾗppĦ2yGTZ+0͞V[վ sJ;8qH>YLvR<~wQ!raxAz(L1-\y̩GUuރkjm u6B!P-4+iͿG).$tEoRqI7ꪫ/7`"4Jrv6+V9`9tiLuYo/`4IT/pEOxɬYΙtR&s /6[W|ԵZSWU?я}1rwhobhΐEٲL㜁<~C VSG 9ع_ kIRLm v.bW_9i"EV˔"L,9 |gژfW|_΃_Ko|XmNӦJz&_gYZhhNw!TϛEz-BKUoP!H2#UTL"6 Mh8OxrdsSXZt%c+ֺ>/$B,"r_XPP}^zzHh>6xyo]ᆾg/X(!?9u{(NRXg{WLpZ;6FkϦrCW @Fpޞ$a {n7TIEŠ͂"MWOz':u 7j9d*.62 4tD#<釼2H3oF^KbZ )ni**ܼJ_!ٚ8@p B1ubWy dw/?0FlSp: U5=?hE(5a@pJQ^H[\z*^g.eqJ9P]Sh0MU3=U'>OᏍ5,3 JҡOd⒃^@,a沂$`ls5"T+g 0oHۭ=UMQWRoÇHT'?uSE ~]5ҢwI8wS(iѯY-3a(~k|eEBN< J$?Ρ._J'l l^H ~J 8^A`3(sD݅aT$[tZ9mA gZ4sm^sgP(jizv$#2$R8I䗧 %xɮܕ7X8fV.LClE`AvN4i +]D䭸p51+ NHL/=al,J` w'9@# < ]' z/ ͼNlF&S٠q'k(v .OmOL6^;F =qh >c29OXJ+*>c@AS:Cp>c12o*;t`Ru?QC5 Έ$\jpk\>Imh8fT? 9T3Z^Q2}!v>vQ1(wcd+neUl‰5pNՂca8|Rr "3{;O솄!ő(L5RFXܫePەb\睯ǴI$-;HVjc^JJMW8y](ّw=0ecўN1,cCaKOCqеä뼽<@=% o93:QUl6A|k>^?cĽq# O*<]mhL2{l@>hZœb=(gW-b߆Q R3uKfo^ >m`!jnꍹbXO&~6>rHWv?W|H;8{gE7>]ɽpFșroR[J08mЩ */Q0zC6G6!KE20'*eS,cl@|@dz@Kˍv# 'ZG?ZOZ02yd2K`^\I\`'+ّ"Bg(U!O l;naY3H ,+,SMb-){wڔ;2 3ٚ2,bud8^~:!ٺ[{m`#j!wp7}rn+n|j[ PMnx6zmJ7&˒~AH5ovX梓:O%Ym8Ȯ S-"zq~oۅ%\쒚;Bn X(oH:?N_S%ǹwe"A,;kL׽4u,A]4E:%$&Nm80坁pHr ,9m ~q">=ӝ:ۆ&j9l~ ^]5ǤfreyLot"9r,._3Fi‡y&&9 ˵G%WJ.t JŐfn wB{~C'CY̿իUY4ۜt9gRG21{G j.a^'$SfTњwQWLb<I44zLZf50X`WkA|3ZŋjkB \]"AU^ lmq}͞4JCaBؾ{5]A2/6v}xqHtRgIKƜrQO3tX lbm*qsybPe e)GHeY*i*QS同]uf]|VofnnX-HF@nXm"#9V0Po(}hF0y.W\eJ:nzh++ ]5Gw0ʍ'fÍxxᣞxݚ8Mf}L#[v6.} jN7ν݌G1js\Sm]o.O@aO0Ie^E& "+<{1>Xva%W7}X3dq}JW4D;Vgy1Z0;詙Nɋ+ tl15!rb&ACRbS8jJ;^pVLmBK R|7F"gYZ  pRW7Y% HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument.tex7zXZִF! ]H]A-MՋhvG"uIBm5ȩBߛ0^(~"3_"RrRW;//#Nצ[kw'd~6ZX4_분1pW>2QC3?z$zmLI!Cc?\mFF2CDo*AI[ԣځ13eeb}'݃e1oapN\' ]R& Hi=LLުmQVK!wUq"V~ tP|ꑲX{D<}")aѠO}n/<ЬE,6된`/WIm? n`dNFޛ'Vz 7?% dS1f+_@4s-k9 #\{B DK5^ʞ# Lcy* .5C>~",g "Ts`SEOF eFFۨlYURVNEQ8M~Y"Gff~Nh`NmoA)O|kPnQ@;WrdvR"x >Q =#cfht͙xaj?hh,Y4+~mՓ feqmeMjtQf[ۘ1AyǮE3`9hW>rJ_;1۲LQv9΍OK5:i3A#A u/"w?vW&ioi ^WZ4c$!aN"p$HL%3FOtPPX"B"'ɻ :G2V'ҀL<}sE5j poNbaG.ׂ % ű-O7b4Ҵ#gBPR2P[KT|87"rWVGb04qJaS!5AԠ^K7Pն}2[OsNk ("tFД)4pz7I% $HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument.tex7zXZִF! "]A-MՋhvG"uIBm5#2O X`9f12Ysƨ,6 \Ug#J}pX_k/5kv?bFa)1M'af*;Uu%݉i@M"RI2Kӿoӥ71Ìq;T !pD{jp,աf ?a}ah!E$ؐUoP0Nh`sVPP'OTGCGiQ'c(Vka\#V{9N[F0 O!" X5Aؠh d ZpLPNzG''ߘ)ִ-!ʴ"P.1]qU8U~f[Bhtbdsǹ#(n"yɶt~-~xZ#^'&;}% Tw Yܜ>> / B =.UmR+u ݄@[ZR14Aі9P]差c^ dMw! "<;W$XdQp^9DW0eAWS_X;?AIc @+`xp8GU1e~ ]߱O&^;| Xn [ 7e% lHOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument.tex7zXZִF! ]A-MՋhvG"uIBm5o{V>RPAyAn㧻:vڰܹV]\ $ȉyF *>kq ƗIWѮZ?7@r25|zyHAH4Q1ò;}N$C|]DOI6=sI9yې0j0ʳbQ'U&ߖhì%A$8k[@zغϐ/k%RA*n8?hp'o<̽zY]ojH@,Ѵi3jJ"&S\ҿP܄ >r}}22#;k[ƀKs>LPtUfmo":d1ޒ[vg,nHYsɢBj6 b1mn.kQ5[3Husӟ[N;_$5f:9A"Scw0RZpڥ[%,(CbQ ŻA)IV4ܸDYgAja\T}IWݹ tU^7]n~u[Ei\5d[+wŽ8`;0hjژ 藉vGF*vGF$%+l:ZPFI:6i !$ jjlgo,y$Z8(d``2 ҝqq'⎲mќ~[O,J1Ma ⠤O׎LAux(i<{П%c\K ƳA;uGҍ@ڼ|X x9ey\[6JnL!ѹIm3Rcx,` ٿͷ`Ӷ`MaFF3w$!k8ĎITg -͝{V+$7*A bL<~T wYS5 ;3jX2KW롓>  bFcȫ]Tc\nUp;iShSA^+މ&͡btۨd,EKv:_ѫvr,bɣly *lS3&P+F<7|=|9e uu7S% HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument.tex7zXZִF!  ]A-MՋhvG"uIBm51FbhK#|Q}P>I#k} }fq䈇Ç)t6v?;1ۓǠ8L )Q*`YkjՃl=%P];-4Q~u-е.WC<#BjQŽC1do 2Օձe?JI2U eh^UPCX~~d):6^)yAQᅆj-B%e8R^o*c#3_g^ 2EKa` a0q,1Bf# NsMlλB. ٷ`2>;a'GŸ6h ]?xלmW7ͅyryqD|ep2G5r84{3.q䂵i0}̓e@3kvgEܥjj?Ly 8\NV+6 [00u[e fHps? Z}`WVW$yyvQ$Al %p;u|dD}G 9ť(V%ډD4=d`q}zAnm<30?>cb!ۿJo6S$Xq`ELl~g쾹ɼë^`P6ԡq@vW%2BpN>4zZxJP?I@MF:^^jAs)Q[1E2Je4`m\#㴸 Dq0-#FpcTZۘkyؔ?PWfp…*]nW,n,PJ\ջNHe9DhA9ZC rH <v.А삮Y]e5+6rv.W]a%ߍA 9 e*.Gǩ5ЁS摒pd]%4* lQhҧAtRT zAoQG*W⢲bD 5mRy~0ĩ,(Z]h^n6}G^"r%ः3jwW> ̈voС!k]mzjP-l]xUTUs1!v}Vw POf61t-rp( |P+U~flLCb[`zXd!#{pPR\>8|WqF-O]떎;Wje`v橕?n6C63Zh;wTMѼW,JE3k,s2'VY," J@@[k >C.YNK^J|-,Gj::~.p1BHe>Dž޸LvǺVz:) _,- rI'qPF+Be4<j=' mI%?t G6A U{gQ7cH)<*4;µj c-y4xTL X:Ҹp4`{}"}Vl<:| $ҧ a/߁gN"/I]D16'IhB*|vX o:d'.^rX!_Fł+UYYĤM*+x~[KR2FMa"@yec4zw%h'cꥂb&Q#O ䷯mI:\&Gu2Bq2ׯAnȔdjS Pp2K+Yli<'~rK؝D[%*}ܸ䋷(Z(nuȕz4˭UIӣomÙ@ݝ[P;s.E#Rt̠ge#Z]c,eg]fR-E@;$ \jV2g֐AƐfiĽwޓ MM4z_h,~&8tiN=U%VB RHSь;pg\馪rQQ*G"l`tf"w(rHan5s{#SEm\pMoB\œG]GvxŰg rf8r.xӧT]#4"=m 18ra;7pL-JYمb|< ?'du)בֿ)ݳ㱥EjBݱQ1>c(Vdz" RHwۘUWn/R̿G5`n7NMR.ަ!/Л(M*o\m'W=2ud J#JH'XӐ>M_h Ҧ%.oe+$f6.\J9I$xJ6;d1O/fAߘk"MGĴqIy%v+FT>+;]gWp|I&Df[0C,H ,ۯ7ԕTB?MXrBc^GU S!.- V% 3[ŸO>99Igr7bqc֌OjTg$uOF>kcDf k>vS*jνU<h-n\o;UAvkG\Ÿv`8gu^ЌY2" ٣g'7 xGi'V3nZahr^u8̹dP!]MA\Dc3OQJ5j;?gjv!cȬQW-a*ދBtGSNRW9>WUā .QWʝ$qV}^ymJg Kd#4F_ !R <'P{:;oқrk訛cCKW8uN'JIXw ybݠ+%U >tCtFW8"W+c@gYZ`Z#T$P~/эՌzדU7>27{3笼g5Q184NLp*g0[ @8f ̍ verd_+v~9lX٦UE afa}G&q Yż3(4F"j>v{WMD~~2Ex<0 gy&rW1igy{Rˉt"l{ed寖 tAwn0ߦ/@ϳvՋE"z%Tz,Н*S2|HFhd+bkrwƢOhC]3hmoљPp)Em?cJ n@pW#G!?'pdc#wケ%lMFI ^Sہ Q[pIȫ!:[ vrv4E뻴6od< gwH462Ք:~l3gcMh6M0,'^y̼*^y'Ğ(2dL@LX.Dבk hs+]׫_d}0ԐCXm~T`rS'`hIۚSv՝ F ,<ufXޘ&=uޒ?~4MIٮ rXvv|E˱H.U402AdɑՄyN($?cՂ[Rl*7֖zS~xOp `oèmE@B};l aMl,|^*gh5 hLc\!A#~M.w5p C TO>qˢ#c<-I#ޅvT&5>K9U% s a@1/qف"EIGr)M;{57`3'ˌ!M#F }Ⱦ zqi;nu:EW+TJQ *9apEJ fZfIg >v:m|c1u:K#XxJ.CGplb,p0:f,x"bX;Jume3TfvFGAn E6)T\1Aϥm%s6ၗ#1_L]1<[mt7LฟERJg%V EHA+shʤߩA@4qyX]Pָ1,X76?vYSZd.i1%5(C46RK (R "f,ZlrN+?1_=+1_ˀإjLR9C+{luXb-]nD \{YgݪUŊ},O-hva2RL!QPgc*?ԀGcw_ј`9ab\C{o/`*l޳[rMx QEnݠϽmOD9*&/"/PSN_=.] jfQOKx`W2՞/'DXP0 Hё) ٠` cM,n!I.Mn eEb9sԠ"8(tW]uՓ-goc3AV&=)ŕDzlwhUChP``E&SQ0`B`m+U1}8# A;܋@;??/V^3DؔGa& 8]]zJ 򍟌<{=Xn8m ~D|m:!ԑ*J N; VwVFXL$@2 =}(kt{/SDH;l֐?&F,}ٙ&TCY7D:0ܙ[adG>xB7ڋ=˸@xn+ Ԝ%u G4\ >eӠjh@`-a sV )SGՊ7Eqx~˫a_ş'kgYZ e7E% LHOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument.tex7zXZִF! ]A-MՋhvG"uIBm5XJxqނK5&f/GèdέAk9Dk3> P$zL#]Mr(r:+oVfM$ !6tYYoX稾90~G U?':e!hU a`jJ 9 -ı4CV!HU5}J 0[wa ќHY:oeVɆʙ;aN1 KeIc+XF/i$9}76@$3u{QUwieHu¹ק 2OP9S>s݂z-n}-621 =3Z6slG2wºyBb : \r=v W$_} OC|{ui2@D|QԴ:Sf*-"zPuk(=|b}fu Jk@wܞ]|0>Ib*aB9˜^Z܆c\ FHVU#A\R3ۂӺ jE ?=6Q~"0 :X<_u?4xV؈WI^:HE8smdb=J#A8r +) 1Ody.x`%AN=&"QbPn5~.ƒٺ4{ULUf*r! |ݗ?-t/]vj=Af!ُ0Lq7b kM6!wcxHכ. <.8t"hd2ذeV eju|ΫkD62Y|:ԃROZwgiȖE`®g۲`Nw(9Y=N,:Ixs1_|LrЯ9חL?DvX ]Y0d`.gNҏ(A:f0xyuhM -> :9ٔ8 Hp.'=)32nXdE?36{>@YjEQ23cSM` m_r', 5Mep+|c؆B ;Ռlrb]Ta YUUxfΣ&$$pJjX@-?T&F:AJk^raB2p?͟/L!G#~G@)my<e݋FLVz2Te<˂̔Gd\T-'Έ9!1ZcdHԤ~ܠd$z Bd쁌)O$i,O洺RXv(¯&It y^my0ə9 leX|?re\.f8_j [jQ[ej$g$pS m]h.ʮbLfdSQPݣij3;Svz 3<%.3#kwO@ى~k6GEPK[$^hGn@G(=;'P"o5|/<~~~r0-(E)~B)n뭩uQ@b"YEB6 B)PA x0b4NXA?caPsI2μo#K^Wl"؀b E%k! 4táX|B#<x)F9*q *)O@ooY\Wd+z)qYݢwvV$Ŧp`u zo`uhUxqYLүj_NKoAd?'NvضY$őgY/s/o]1LV.cF9!xp`5D]u*ZJ aMF_I%}2Pxov3z'z  OYgJC)uɶ߀cfACv.HT$O(̀-"S@G/Yx- B/pxLj( ~P,NJFߊH7LyH*2@,n`.~pOޝ_i5Rn0 ?gPdkǮOMd ߙcm9vH]@g]9, |&[@3tPc]\vcSmwc]_W Y*7QH͗MC gYZ7G% HOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument.tex7zXZִF! }]A-MՋhvG"uIBm5Lwmu[2t"QU|k [ߐ$ HAy0aeVl^yz=$BU|QV8g=Knȑ7JJ<_"t ClxIy"H85\VD@bDdjIY"uxB1MK-a]yHMOc0+{6:`({6؆IwT7gn ;q|{Bh.ך~sr00/j%cC$?c3|ݎT^<ص:_WgH o7Q% THOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument.tex7zXZִF! i; b]A-MՋhvG"uIBm5oM88.c@ol8.[WH}L_kF +3^ͅ"h7RSk%@ Zvq~ ^GdJmfG+LN|8(AYGS:P0Fd$^ {xt])ldD[Ӿ/*>O׏8N֗Ckrkm6,ٚ:WJקqԛZ1-6'JVX]:k;hcħ]o'RZge>t?ƑG7u$" SX:6$H1p XE QC0n,c 5j5LŸ㐧P-_$c@2h1d[ ].^B2^lDН dC卅/XgbbONߍ%g3bo+wOR 󱴧A}Z"R =@eWDH~;oX~R+S`H2[*[nrCOOSuGg\fU$-t[RGqсbnLj;݅yoR(,0/$հ94 NP&@:UM|തYtAy'ȯBVԥP2зi-DM<@kVf PUrjPA6SR$/^/khVxVf9d:ny])&vJ]AS'Ȝ!38Y>9@r7]&=%>hŁb{*3c1H#1AKV#!wkȃR,hp*26-WV T@Om02qP< r[0Z*5W깕)|n$ u@~5xU!3p{prvme Yt&94ku#=ޭx@+)E 闱ؘo {| QcJ$-ek%uU{)Jz( S tx7@|6="u;jqd ,;D"H/ v, A i~GCTT+šklF#L̪7z=WPYr_C;H9ǧXo {_U2RqI<ܚ!Wl)j~ZWi&r%O#ήfwNʅ}[bvT%*w$Y)1 ܿ&FhүTgOy _τԬαsf֯fZ;UAŲG =PM r,}(LʔH# Lyɔ}~_oa~>p!0WCSU{Z(! JCgj@МCUIul,< ![Aeg;?@h?ZU,w e1Cafz{o,Qbgr;50 njGd)7vwBy#y.jHi(+:^ҵGXƲS祎OCo~~rl淜D M a1Pk݄Z r*M.[{MF}эz&VHufU9a; c I^fDjR:MnFXc#R3npD~ȼRfH7 ˜'`_3Z0 ^yT5e"NWX{L"uq1sU4gsr|9bYfفG>SWCʳ:5۔ >NNN^ȷ G#e۬#KCsY&)N3 zB nҽEfUj_܇Sh}͘.FhP`|]K75`m+d?Z n]k,"IvG`qoNp  c|Xu6RCTQ|gYZ c 7a% ,HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5D"٣,]ѹz!0~k 6/ƣьKٝF,} br˹P1M}axx .fg޴{f^"A{$FRĈsD]6vc)a!J˱4aC@x *Ylܽ?J%z–tLzԺqGLkC5g:nHBuĎu}HV*mHj9gQ&3򁰤Cؗ&DRFm#\-joBB⒕Z^LDhP/;$/\N<[@Fa5-0)dҪB\ nR.QF7laeKİє'6sp{GFkg7f3}^08 <]oN) 2/(ʽ.W"/)9O`J"(nLI hL nG[" PM-cbuPjb^ 3+dD0·>U Nqotfs.)&N'*?ғ't2Ѳ\W ;UX#tUK/:]Ns7x Es%n!R҃Uo:jiڶm찚:O'>pdcsR'T&A t*dhGOdS.VC pxK"j)H'np+Gl z'zf5E=T j;bvXOYY&%M0 )'@zX*lPx0ЙpeR7YRFSQ~Hi1s  CtM"xdvsT|3ooA s]Dk󱟑Y-逰?U.wj}pr$щ}/ &A G|HLUAhQ]:ȢbZp։KznwRl~y2M0f`_ݣ.hFxp A:㾤g>% +Kc_Hq9#P~Gܔjbfq]þW-(!(ӏqǤDK%g aFg_̬|r܄uYnıЍ;VR S(l5f\2P4^f,leu < sWoOl6n'3a hاxv,ߏ*&XIwTG]ω=3>z뚭jݺd1My٦) )pk,-`jgTۈ\P'q4I.zO kt#}j-1Oqdgqՠ||0eKV}oMGY )z0٬8>Y7p8!;OGX)hR,O 7CM9- <>?Jy7c.з{S|6Qc4#vYpb"噟Eyn/I ?$p>~1OU|^ M"gO05U.3xԷ[j5wd4 E;L^&/#Kl؇ux~ЛQRe~YF+=>g~fm(ҟa%Q s-֡#._AZ |ƙf܉&` R/rJ Mċ/X}N\KĉF ʤ=gA@<S"ss5U]4P?c53"#SeDsbr{_xṛbCs` :v;H/bWQ(R~V'.B^Ⱦ3)uBbzR"vd Ŏ~̍NuDpJ=p¥^FJPި- Fy*PӉ'@zOiA)j}}mp߉* QqW,fz=g,N[{M∣SV '+\3]PXPi̳GqgYZ ((U 7U% HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument.tex7zXZִF! c E]A-MՋhvG"uIBm51FbhK#|Q}R6sssN|V&xMK5}/}SO פYjؚ<<4u模fvن΍/SDecGIA#O&;Ӡ-<@{'R7$ׂggǧ-?C|[PqQ%*‰A\.6tAKߴJ?s2(5;u~KJ$YFŹ~%kTu+ 7xK@mr JZmp2/YwFu3IPުb{گD-)(2)]8#RmyZu  B71fկY7F0etfph[#LUnRs4)JIyFe !;˚+C׵ c vf6 9ȉI2!#K):OMh:i!=TnQ&l0~z YR-@ESM kt=2f"[faUP {fЅ-n03%֌j# \}%L_)ߊ: >e?BTƿu9Bwbw*rJYx!ۂF;}va>27U52Ĩ!{0I%L%}h'c=a7s7=~DZ!tL x})yJ񱡌:2E)9zRoRDgOkM?8A7rNN ;0z W%EL!kXq ۝OĺR_{ćFA}_1e7@Ð!(gЩɺ75 Fnx/5vnHe}\Ŀa}ˋ<DB8~A枬E K)0BBNKe7',J7QnҀɣQq\jCOT=fR97 `HЙw3:@j_ yv:\6.1`~sÏ+s e0 vJ)Ql\I& 煐emfI!'yk):K)ꑦmGS^'CPZT2:hoeNLϺq|4Jd.$z_](Vo3N~%g0"drQ9# Auue I ,D㳲 <@v#Adqm VsJ|~of(t-n(jMR`q?pnS蜤~9ӛs}/1NݹJ_O$qeI)!{jth~ IQ9#ySWizbohrziͨW'Blޛ/b*/"  hx. _\2yRVv|1X6u&T(B>m$qjHl*եNB LjB e8E]u_(^A\T=cvl:8Յv RtTίMQSp` ixs3ҔT+)9QE@--Ig"lH)b*Ŷo^ldB {fB1TVq*kٶܷS;R*KmCgF8&ik϶x /9"4' *Y,AeB0Mȶ&K ~T9RgM?;Нװ.Fep &b#&5f*ZIlAݽt{-ҿ/b!=G%m{*߹g߀`Ȣ.HU/*tDרL&!PLā판}`H}2*Ԩ S~ 㻯^O ^\q?y'Fy EJPr@7Bl{em+8s~RDvdU(J_3jsSk2›)bg6UJ^8o.(Z|Ӿ;d.J0K=28򷟬>D|e١M-Nqȏ s"/%;Jǁ>=K5D`Ox ?mUWj)a-9o $~ې}WBmje6m- h,Z8`x2MnMyAߓf!C'T* 8].IIJd{/`n9VG܈rJY}7y]ނ$&liŅ9~O$^hA UF&}nܖvE(QL` l9XG۷byv ѺԲ-0pXeYaanrywlJrЯq-v'ݦX2s\h$_W-hH<χ Nr['>@=!PVpJu\^ܭ c }+S4 Y͑ ,X,oȕn2YȤM@ME0cJgE/TӰק>PsNз蛞hD05'wH f@hjKgk# O^#1Ml愄@ @+ڗEr!%Wp+)h z\ W ۬%ʬLl`7DjW.2:Oڷwxn&}PR%)]QL,H<]:XS)-x`jyD~hVuigu+aߙ Y`D "떸;MPg$\J&IV7 Kv h_!'R+H-4̙|X3?9)ZU6rUm8t?0灉3i ^KgmA$?th ob;RSn'z񬷮XS)OT? $bmG+8,\|"L}d};hkD9؋\Z̥Z_g>z\I4BKJykWFeߓ̑GvB^uoi"HgYZ & 7W% fΩ m(]JB4H"oRx DḏHDeO=Q ):fjS=NC*ޟ9~]bpm~O~htO%|vF9jI3W,DIkG/~AANiM꾙^`uȉ~f\_<&Q/뮠Rcxk@6lSe1 87g5[kR'HD/Tknof8ZRR0TXj.fGozZ͖RV w-{j ] ?a&IP/8ME?p:d p4n{o.^ߵuOKBYс$NA\KNoLAK\76"pf8@m] ~Qw ԥy<>%?;qcdWLȷtE2Vr HhB^'-1pHawq ;N&ؙ[;@yNjZwDj PDRVga,DϏ*n]:qQVj*Wg~cBx,b_{{˰b WTb/R7t% ;,KWX= n;tyN. MaoxŪ )<@!.|0WYy@f](t5EkC":gݧ*Hғ+٧D?ϽU9*21qjQrN8 op!aP?lkfRJRLUeFhlOmcdf GvUj^Uk ]x7ͦ} :EYK<,O*B.j_H%L0 EF@`[v;[jRtz4nQ};KAu334J0v4+TiaV=!,GPG!D@19`n= $ǃ 4[YʄH2+lR$@ٻq=eUY^kDQVFceeT>#Q<Azftrm O˧eswy u:g.<ϕ%Lv#~(xIlbd1-Uwظr#Ǝl $98Zۋ-km(}N kH˛)ĽB^ډelr\X{q a74T7/Tgr,H)([Ja!^+_`h [Tņ[~S{`dic[9^@2Au.kJqQ6ڥ+gYZ   ] 7E% .&B՞LF %y^mRܧNH&[5i3?@q둭^/q~*2̦19à kv/kQ類p2ZR۝glpsڅrV"(0%9ʽ%cK@kCy4Q1ǿ\((?xwTL5.d933,LAŦr8m" ;17uw5pf0l^sɀ".}yI ͧ9\7:S\dU; fߕeH#) ]볳82z%zH8OڎKKԑZ\i(A$w95x(^a I1M!ͼɂt#L7t\5kb>fӺzI}W.a~Té)A5SG!7i %q)8wKyA o1K-hy{LfsOWYb ᪬AGsqzbW?EEEש5LGD!7^;7 e _~=W4@c j<5Fq%4vp֔PCͧIΈTu Ig!dpj:ksY*0ɷ1Ay]$w֟Ѝ߱ 4Fv&ȸ24-Bq9uZؑ-HԴ.3-rEcĒ[u5N@D]{-rtK4 " U&IXN ٖٞP2!0[<ƉTtjy.&*g|NTGJAD QJ&=FU^i4dAI|kJ72% mFo+rbT8 3zQ./:|?Q]qJ%*-O:GU>Sc)FպSYy(-ߞq$X#mRdb M!I8@;:*m~aA-U?sn|o7)LQ=5_dVoo˭a%lD3*}9n5]lt{Cr1V,NwAkʙ Ĺ\mȞ퍆a ֨|$e܄62+OA~<2sr RXRXRе6|sYqJXpd!(5Q/fMMCH-Rr;<77`6JLIJ^v|n,W ǫF]Hwt0@K4)ۓ|c7>z{ew$,Zl|@Yb 29z.c-\Jsɤ)%@ȿK/2yfZPGl;:d&X(>QxÊĪ#? ߥ {λkPɳml>)8TaDwһ@sg7 Yu(дsVaVb-zT5ـX>c< %tt C`*t@pͳU0A.lJ.V&eRzg~RgRNVU8wnVhG_ܓZuJbSrW1XQ 6ГpN%7%LoFoo[Lf6{DWoRdHգ"JKө*3qy>5zI$ ~?J Tϐ5֖S*[[CEbIx4u s|}4lHSf K"BBQAY5q z񲉤z[ h V c\-:Έ{#LlndSBt-;&s]` ~@K-/È-3H})Ms %GR@vE.#P"OAfJҹ.(YĻf^^Z qwU/d BFs0Ut19:?&u |vwZi߉>4ȇ8Ak.!h9;YD;aJP$| cIS jrK GU_\KPlί*2ОM18| 砄p! I j]P̲J险W{gUJ/Xj@Zn<ƍR;j'Z'LƧ:JjGPZb%0 #Xf #%K}RTll]_}_5dPq\=65L9=w[zTCڞ"P yFSkMZ;fKZ I˳=>$8qj @E4{?3Lw}bi}׫:u {#&fQ}%#IeqDGGR7x܍1vdiHb7hW|ԱgYZ  |V7O% $HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument.tex7zXZִF! OK]A-MՋhvG"uIBm5*o$ſm^>~`mY$E 7T@06 >k!Ǒ֬3s衼MuɯYn1Zk]][L {asjfϸQ#vz`Ud(vN#moV\WTe\h|M4#ludvm暅3sɭHy8 Ԗ6Y޶f mgh:}jLf82nSk'\3NA":U)&G J:R2#=yiƈ /typĶqf'aD)/M-f yA'79|&sC$n/8͓/r#>Er O+挺Cv Ifs*+} 5 HQ#] M?0^; )% L^˛3}F*otUvƓ Y17FOHzx?* Olb!O=M.(`2o=qHb/J)+{$U~ztr=55)c;y`j\(7t+ H~C$  @jԱgYZ7E% HOL-Datatype_ExamplesHOL-Datatype_Examples.Prelimdocument.tex7zXZִF! .]A-MՋhvG"uIBm5M/\&4'c_+0g6\/,D.24G `44-;ledkLBnK57Vw1ۈԐbP9QS?Y͛gn>Y୞9$T l? jzV TfΕUuϖYfjCyQ(C܂;FL$ SbP^r Z槖@˽GB#q.!!Sh)jZ9֠n7}VW)26u,YΞ&ef!TXQ^D4-:ً +KFRZUjujLzp S%@ꭳ鳚R&Aqc9AAX2 _kEEG3{YU |scCs"Ͼ8%tSLӺ,"z^-2RxrdĪ")gGF,/Iy5Y[oVp[e Z]IE% Fb>cW 8y諍軽'vF!όG: @+&:~wV=n.I3 L6}~rsE "9O{4 8mnY(K Z2c&'H@Ȟ Q|ǧ q| ZE,a2 [" bwW~l.Y;:% (1erֽ4db,8Y2ȰCO ij3*;:Q !\4T7 DZl,|~FBk3l֯b>dGWM.Iy8[5qix&2}hqV/{w`T$/s+J۷l͠={%TbNeV[3RU.R/'w<6JT$B]<_ʘԶq<̀3ϔ)ˌ\xxqOhsp 'xKcujPD ϩIFcs6wBbj,t;k}.;Q$ʐ蝿 y<{Una;reI5k~u=^N7v53&GU]VP_SN x[C׽)M%dR Wy͒ J!4L#Ӧ*]8LQ`ɁZ 1fk+==u7,+X5^ի%5){ehini01yOa =ü[95{@zavrי3gd\8c61e.\6wY4t!>(C+菰U x9fHyh(S`f[HbAbh@R<*[OBtdQ$'tpzɸKI8x"Fi5l:h! %[ ;+nO1 ]/gYZ  7e% HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5dΏ[9Cj>HY8|nz*Hӥ!_^aw4kj4z| 3ᮻRf,'zG讀k $&=FO G0q[iXyk{o0sx$m;X]*xIY7a`+_O4!f7/ /5gj5`zDDo Fjm%ʨs95i}U/Eg1-ս?X7oT,B8*iXvZL-4*ȖQ c ֺk<Hb旹հt.@8JZn?L.2FKQ(̟8mu{q!t70R|᠛o''`.Qi~lAs/zraZ3~`,2*P uivQumsWi͂v\t$6(FOD\ қ+ $RK_:bF*T ɴiUuv4 Y)>waCqaA%f;Gx~qH-"G历M6UF]cv,v p y<7Vg:z ۝!7KO FiϨ;\MNSߛžmz^/^b%Kg%cdƳX$A ˜ؖC\hPľ(n_s 1VOHхZcL 9t#AI "Yzt׸.|xX {8t$)~,*$*j yͩKڑ<⻠) 2E/tǔW nեbr{Ѯo8Y2h20anl =]5KfY:gYZv7O% dHOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument.tex7zXZִF! %]A-MՋhvG"uIBm5Q*gh+?6#"ښ fz!ho)2>VA-Cr&g/4.'1oc+ev9bI1@pNW K` ߝh/w9ѝzYwV`Hzr(Վ% JUx L(ݖCЯ eM`Z軒Gs ^/QkǗm%AX| fl})՜6e5;ANMO@ xգNJꃨY( g+%MK"/(+ ygp7~SgGE[NRjvh= 0/r⇧ sհ܀΅ 31dΐtU*ḷ| Y8`[H+1c C61܆po^?הѨ R+-}6h!]J\]5@EﺔJYp H),@sB]pg n&kzXBW~xԎ@Qfй<]591O KPTfE#39_gF #?ϖ']W˝z=_vN1x#mP+~yAĝvZI7SnRd8?CX, A'4TfnCzX˳tW=ӆk@чMF=-fK͗d orhu%MUA~b*T_:,dimᬪJ?̚vaRh2e<ps>*w`FȾTf o%AŨC4KF+%F9U}t7n%`?P'cPq^:\r6)7VUu1p"čr }FwPI;_PG0"~E69ݲJoV $ _2[B0zw D{aj<; BOâ-.G%l؀zϐg5R5Kx EBvO^-uVٟ\G/@ gaRUW$W;KW.0ko*%/^GD";晔]!G.ј:;!KhUͷB\Eοv.JhṴR*'t-)9~S jQ٣ph^cs*n-O6Xv3|JeJӐξ~u'0eޫ3:_;(Sx؟od6 EDK7"xф74X#jeryBn ('hl%1"  -n鳻3*=틿ڋPg*;Eq>@Z /궂@!P#nC?;$L)Z@]59ip٨- KgYZ - -X7C% 4HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument.tex7zXZִF! >yQ]A-MՋhvG"uIBm5Fp6N pS6@{"~ "h:Wu*h4!]w6e|RvS~C 4 '5_4c,d9H%` FvJOKք(.R5~Kl!EV!-hja J׿nW2c^Pk(שR]jMty  yT+)* DLc;L)U+hi~[hZiR[ĈAZpV=yvi@ɈV=~˵6SUD{@H&B`IHkӀݽkR$re%9wDWg [0~Cdv@ސ.[i!"z ∡໐lc7\Akir}P'H2E0sYZoاzSSjɂ`|(JFjJv A6Nbs.D]0elKR,'ݖ1/cl>1R;UN| vVgVuS䓤Z\% "s(ݏ-MGZy!=!ŗAծ^LKT<i=+2@7i*=Dn$%}༑ +z+ƭ,̹-Kկk4a a6s-9j (?$pTIX Y^GX "H 8&K͙xpY>\GǟrJ&:vG  /ݿ,J(NuA Ͷqm3R?t@#EKD/I5h?V3Hkf$uk>\搅H.]^<b qnc;"T4U 5*MLSq߀t3S,_G NBe(,^$*͈(QBO"8r\lz 565r' $"DonQ,Ͱ?!o?l3#ZGK`]KDGa8Kq0!Ceq60HHkT}56t:|S6~t˜ y/9bӾ(|)*$dHf.?r2CT3ʅPr$׶ -ٻ>56]^~\ކ)tL)/QU7=[i2ig83^ZlNΚ.jF(6]?e P/ X?2A&FlV/!Ÿ`|,_gYZu7E% lHOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument.tex7zXZִF! Nm]A-MՋhvG"uIBm5r$yez1lA{%O bCx -l^_4/ejxPҟ9YՖ1TF=F#%h#F-*߰㧕 R82Fo־bMثh!l,!tw bu\3mT_ywtTo "#/4|y|J#M46ҜM:5)T#6) ΢;.y=h2}Q.(] mxA]w'AG %׭?\3=̓ {Ѿ vqK.cm-ʳ)Ҕb"Yf;43K̴wUm:;Ǯ$+0s- a4Z ex3h5M%a0/AG{P3?uȅu!ӡ^3oNXaLz|3%o!KVfraG Zo4b{,PCs0yAQдŖ&{m#^[hA5a@Y|4wQ#'S 2V^-I!c|Bء '4TZ>QNyZ=N[rgXʚ@kvգ#Ip$E]*qɄ]f/0,˕#i?TPhT6OsQltAӀq '5StGT/bg2sOr̤3y=7`,BBYl9j{>1Gm|1E/IF2a0kMZPW~8kN;r3fQ)'^eW+ '$[_ nScQbD`=qDFkm)Aovx?zˇ6u ۨ5uHG"S$w՛CgV_X8FGx~TXՓ.IJW؀Aq.fjm2~.yѦ+;MëDcE0T;Z>mTkI*=`Bۋz@=A4 Ize4RX |8ycs[YXй / +Rq3wv"+AND,kS:IyǕha=SAkTTTX$.3MLJ |JR_I=[Q䱋qR֕'lT2iKi!g Z Өfp&6ڣ!UQ_ Hzʭ9+ME妗P. s6IC̷db~ԋ0pR lX?]Q7epSE&|M* Osf&f kn K}2ZLnӳّ)bZj*tJ(&<,_EA:"rLd?=HYPP63;+m)5d0|8ʮ> j؋a$`]n@QEugYZUGg`b\#3^af%Y{0жN~{I8*C:}>-1]:y|}_Nt+|a! ~>܅GfvIă?G=Ѻc(4ë2^&<쯘64vJ;hcSqrWbm\c3["w ّIj 7QqXM't~R7s;gFŴ=~!M1S,beۤ ߬!sz& s;xښY Ni@r5-+|#l *9r+;@HnE0Ms愿Lfic%^3i5K&t^Ck9#ΑƐ<m+EiM ^+M0Tiq^L|{'t?{ǔgM=8Z3H Q#R.و'6:virIEbP+5I!𳈲j[ߧ4%>4 Xlj P"UX V̑XХ}Pn9#:w2ρ,N+~JP݀7^Ջ7=x{Gs]xǜ@Z d]jm\doetF /߉.[g|뙶vgZ6?R)^mޚ= !4ߞ&.g}.ʌl5B d-tc0?O{g4<%%s4uνUN9e,HYb:_F_OVxu\_(xeobrۖD9J!> QGJ7r =v<:xq٬Wu Vw;K+-2.8cE9֘me :q6 ^/hKm2&<ԳL y$nL%Tmڊɳ$"诺i <nI~qOM\Zd]nm ZR8iC0B?W_C5ѤWJ2=(7*YTrԂ,DRd| ?*N#9^$8Ɖ;~>JiSЩ%a}أd]x$aN|>ʶ 1TpϷVHb$SC'?o2f94e9 t0h;4GΚ:nW?jaRgMabHn;!kT%%/m-@Ke^́ۧCa۴ (GC\p>!6ֲQSnr` =n vڇф<w5 CLuۤU.F[ #9z7,mTPjg\ûE'' }0P|\2>lE؎)^QP3covwEHor[nXYYCͯsȄEΣYe쨻ef+dk~m׹*~?FRٟ0Uy{[9O&Tk 7kL(5aqiB(]:[&޻mS~.2HG_6"i8W_IZzn6e#>>2{a#@ˡb0ѯGꏫ)ަ&Jس&7cJwq$Bh>濚 <)pNwTnR0jC.#6f59{2Uzl+nmxN'Z ~K`'*}P8h{Up8F̗THޑ?MǷ3tJNlƦ\zStp?Ճx-zsVN4T=68 MԳcv %IPʦЪ%pwg"̚ K+ܶ{5n88@Uqf7mu\EP?+O˅bOt'd5}JFi4M y*GPKqnz `8H|%)Sn|rк827qU`Ŕ &[brġ/t){4vEp@w6x p,Uj|ԺtU>RgI4M;F:ySz~$8ov\d1|L4ߞ!ȖF+lAc ˛ j'-q͕X }<) -AR#39ʑomH%(/% Q#%-< Z *AzN:"k%嘍w։ :AE$k"ſ{]Wq E8@cϹDUvd^[M[կ]}oFZ?Տ]t(6Ƃ 0XK\vi7kxcv*-`_ϥDT6;fYQjqm<8krXDfC}VMtw68(v7D>̙?m"Mvk\G.7C}%8w41y)* ЉBQP՟o.,!#{ h]K$7_a_-X%[bCy]׼΂x =;;aScξM\ja~be,GF<3j_jCUTZ/hS]U%YNfAa 7'͇lИ) 0n \wGCj506$QVK3]5Y7KӴ)8E3ĊREÏH`B-Ykr粉8͗pbny qZʭof3X:&%pꛮ&/W&D6X؃|y8ǣSߟ>e.=(p<Ƙo[G:dj'+X헉#.Hx7> blSH[ꋡN^h3k㚥X`{Z_!lRc(2>ra"H A U(`h$ 1d5$ hFN:l<}4nu0w_DU}p/EaMꐛ&삨8֒@Lu7,fcyNUPHWFo"pU9؊ϔG%S,UL#6 A%L௮ֳvnQ%{B 4x: sK$n4hZA6**0-M\dʕlD#r5 <=fd?]oښ Z5˟׼b1 TkėE6ny><ԭK ! @ɬU|f]dq H @O&5SM.Rħ)ʻ{ł \IS^waVx#\^2e"C P6Vcp>oRۮC%ܮ]⸱J,819SCsE&|XH-5Nf)GD' /t"@QC4!'* Q mEMGl+hL%~YaH樦U9vM,ݠ_|O+W9W܀Vmo 1YzfXVqkO?3/DsYto(DO=>Џ[f">РE?;q(Hcx:l%##)Qt J kR'<Hsڥh GDZ%fc,bn)RBt|t5=<;8i.wPv>@[)w[DCm-(v;q&s>uxM{+\V~x7cWҮ'k-/qNFDͫc#h{\[Q/?ۓ.ydzAa%'.ak;@Iݱb"jtdS s &?!_=w!|:l:EGM\xPkъSCj/buBlƥg_IB̉ڄS_GF(}:S5\m,4~59A  ]JVxOb9Kz'֛@υ!<^4Ͷ1ĭHݓtmc#|!*{=J$Q0wgMAyrⲕW3xGA֬<4HaʈChrvxt*;`h|bEah,PVmJ߈q~ue /'܅74!l ;-uKwE޺JJ,AvO8Ϩ-?fېP2Nɶ7z+sV4`<+)28GtT8U> fAg2yHB̷~VjԠ1{,,"7YҼp$>jwCC+Xud5\| W5^߳QX}rq9쐩S4:Evo*O޷q[=]R2qsB;o^dڴjj#"M8&S A_ܓsޙl!^U YDC`U tוcߣ C˼Y(zp@(.!eKYѓW+U8B$|>ĢS$N *HS2eh9GMHn2S[|Rײ4 W3`\abFC8x<""z2KڟY{s:z C?q~Q|-l5{Ief{kE#AM_ڙ{W|2/V1qur,/&eUOΥT| 8vcah^Ņi8;Kq]pBH\890>!7?+(pfJFchqلar~(֧_VAU /u5$pͩ,$&$pxrݸi9 b7]U?GZbQj  W`&WKu8Ďm7HSlB\'#>h%A+28өГ8$aA$) 1z~#fVk4;j GW >$ii;|n"M=ǶV}rj8SxH8Ç}GPsӀ (r' 4QFLZcU , aTbg1-*W~Lg8{s9_S`zPczz`ؔwskSS|w"=Q LI0!] \N y!ʋ`;ғh-S>ePyBKh.|pv$~pd扇r1e59ak4CЏ!Sye{f~apTG_N#k+}vI9O 8KuGzr*xQds8h:@P mZRscH?NC#Aٹq߅~ͻ䜻' Xe11i`Ǒ[SCl7l\WT/I#mXal1' ėPY|%3YCfLS('!eVϪc販5jϾ2;Σ+'!?Mcl9G)z^LSV?Y! 7'MFǃwJRO$DϬYtsbI4ZwPG ^rqU&^0I nQ Ir% %붧{T!V\8-9<#+1rj}JCcCۄr͑ ޣ 3%=2J2>¤5!șç[Q݆A߈A][9Vm$/iݕRӗ3115."5EZe&/[1r}_QB6́ܵΩԚgu>]|MP,c 1f)rWn$JNhlؑ%M !CB'ا pXwNL.S糙8$3p8Benv$%;U u鷞 w t< _ef.hb Uai?7 E8X|mdqt$MqTc_I3Ť:R/u E%{1Zf> Ex~3zRwĿUEq { BNC8, ӺbR9xץSMvv֡t6oW&Tel[\=vQ&|v46+: $|U9ba3%3&~t`pfgOΡ{C+0}js !\/hst. ?TcsD)W#*24 Q!|e`[<^UhZEVEN VPE9^FxoZubl6}UȞ1Z:~T7I5H'zp&$2_N3KNlHɉTf6sۚ;zىesYPŏ]t|T55IfFFB57 Ɨ2?zN!4|ݧ 1絥Uʇ;Y.* D6x/e4 }偏3GP+y[P! ]x;k˫cYzMt!*m W| 1&0yº${ĴyƢ+;# r'3 2*ـ򤒑Z& +/ȶUԑvЪO F4s3&J W `0\ыxtkj8U$-H8׉ d'q`uG_nn.fB¨=S8"~z+ҟå>m#ÅBZ5GHrîyV SQdϾ.854I衚b92䐣WPAӸ>&O;ۿcmbg~U|0҉e (TU~'ApFH#Cxd8B|zda2!s8"3[ja;@M7# pPLMV1ԑ(9HuR-GŹwwNzIՃMP[%7~Jveb3z ʜ+?1^>8˵C !8, Qg&]Q:-Jk(A.agl)\r%yN\a7hFxUpwfbwkNnrņi4lpu S>wʒw'E߶SJ͊KFe![.PE 6f (*]J/ZWBWmj6m.*|~{3(W'S53>ϩ[+n},prKb~G‡y6ʊjA(?uu /: Ohp׬TI ]rN_ia| uJжHL b/ګ%0F ÀJ1t#ʠ/(?֛NXw17*봶ɔ셆c  prwXy1k?N| }PА?;C6UuD58}LbL7nQOOיB܋X  Np4dI7Sh|QV=g䀜2mTLQ4H.Fl kV@?PPwɝKR3{wlav8q#wu- {,iWQMJ$_2\(&^^x6r@űdu9Gzj#{[\뽗/fX T8iFsP8+iSgJqc`USy˽_|L<@&n7}ŸK{/0`*rʮ,ҠpDu K$6npʔd34O2Mr}8J?P͏Np:,JF `-RyH^iOU23Yfi|Uhr3k{7M$v6ЀVMUr0K 9X \@yZ}lt N V}u.R%l쌋<0{vQXYQ3|ى/W\ڑIr د58]r¨G>*/?NJ0p#dz lR zo3K!lWX|̫c Į=-)՛~&5")0-32e$ MjU0iU 1 ˖M z.`P[i$#qʧ%%Q6El 3t;Eɮu*-.wgW&j5qDwΑFr`W#X:݋ * g!zϾ.ϋP: I~ǁ3EnQ%Hdv@ nG9bEO;mvQZ|q, /$#?UF$'_b\o>*wNq8Wx畢g ZOӓ)eؖGBXūA}C"ԉz6rpP7h+ )FT^thZ:i: j@C_6m$xW%ʯT\*t5ɰeK NJ~~Z8!!Y3O/!ts:1,XPWhT,F 9/*4Mf|u;Y)`,"Tcgw`5r뉆h|FY☘P;<i>Y_ϧ5yvDFE]ǡc|d#X{B|I-ޖvS&n]L>PD^S7.&2v~!19zBtthtkcQ*⨭@C KɲXW0?F' >{3)LE"}ʉhM+@_KVŤTrnk][Hk34`C_dSMm4s=rH;cot}L`nnfkťZ8TCsK/U隑=[uo"g燬ni bԅʤِ0'U]I|0n14WJef3]O5Vlv*);q][<|%wsٝylk%#9بKJk}lr!\,'8)8GGǏB˛91@ <뼈iT6C>XM oEk(}åcOR{R+WE`)qDNJvԊ{rcu3-|Zc1G¥QY%&5)8\j dDIwu5'ܳ\c9搜檵ZIp&;;oJK<)LU@ųvj줂x)) tBc`ntd$wY3P!+'T)t6lM" }Q5}!" $Or?-( Y k"0x!͠^r%E5V\BB'^Cτ1Z޾5JiW7&8`~P!mWujXEjYzFD182+&Em8T`9":3 >m=D"gJ2&.o(b7k̰uˁU_ܘja ^_ *Fh*WHU<عAW`wE$~]N;Fvί^*3 UAYfόtOR{vàWRgm<+-&-+</; VV bPwL#!Vڪ?k <N?(۽3 C41}%>fL֎7Z@֊ix3v)`5$kN( Ô_K1+2 j$Q4`:Y0 ޳ǧ,ipu#Wt7)E5y)>,癗 w,;b/|ōf!uM6|v^[؀uOXFN}|/Y O&z"ykDyo1RiٴڬU~Ί?MS?Ru})H@fr&f(Ҳf,6S|;ZWeRu[xDݦj{([;ɘţrH]އ, +޸Y7)|z];L+$@s.8k;sQ^&ě{#k3!V($ G`/f`9wQ<+Uxv65K>;mvCRNK}fy3I`2'Cx=/Xs+SƵ?hֈ%Ù?b^C'e).F|d\ܓ3 :41݆Sz?mҡ Cq{T۲>m^N?ͮ:ۋ/dbCZs;=Z' ~fJf(9>8޳Rsz qaEq4 Uӆ[Էs\6iXobl[4`' R5IgލPAIɳv֣yLra>-9> %k6R_7)MwjR>%nwl׶:L!h9xY?mU-U$$6WaA?//E-me]GOـYh];4 e^gYZ ;;- 7K% THOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument.tex7zXZִF! o*O#]A-MՋhvG"uIBm598<F%0iU+QD #s6Muۦ FVmTD+,_n5 HKG|/KUOۆgoG01Qh!e'j!M2 GwtGbŪLam1 yWX>VD҇/\&K, |kNNfnfgk goNɺ*^D-!њ>d2~}+3YAXï 1 Zʏ;{CU$0ltDa}N>eߊt x1(7! <0?_׻ɥ䩧VMQ(Ʌ2{W tӼwO3´-*N?ʦ)4 Gii:[wa@Fb o^[;J.)&xiw/N>1xUfs.Yz*2 +v+HZU":Q4jԎVc)зcnKS$I/ ާzpGc[lM(|/^-`Vh 5 Dyo3|FiNĴ +ą*QA ANV"Y&DfTn~p!Z,^ 6&g#FX!'%:GSDg;Z>,niGɤQ_-&wJūu fHSӜx Z t=\ Oqo*tZb}fqGOZqkDşzC+ /y#!Uz+\GA_ Au6 g}Tk;I=H#nDdXzsXR2#LG:clЄUd0Z#t p}w4Zġ}cc3 ۈx|11Ul7BD?#_fI?J&5i뺆N 5Vfe kB9b 4[^[[pc/^_՛g]uޚ7Qe ݭÙ~L/ YmЦfr"''{[_Z OS=SGO yl n+OG+/$5p9)F#4ʰd/|=4YvI;$Jȫъ">3!nbIa韝A#Ԕd%[Du"F?w[u $6QWjLwMa[I EBGG@p!:Nu"8z@J!'iRZ IURH tV*@#y~na,*'ƛcFF=.{EvNwXG Cy<-j[A\Vz.a UB#$g#[Q9B&5P)0W  4 zc΅O^`|d WWq+g۳R"JTJM+f&8w8s=+R-ByS0p+)`"{RzUӘ" }gV2Jx[d61mt=\-? e_I !$y%Ebb{ *3%VENe׼hZ6ڝryeĬ3g老vA)qgPzZ*:(_ T)v&ZǪ=w;qBI ۇ}4 pch/%r 'uOV,u;\zX2U6Ug$&B"wvx=8 Yp5mP$򫩄!r>H,>ue6/ib6 &Od;]53sbfszb>80`!!@Zx-3,%SSEPج]zuUBuضb- km+< cEb$惍ұxż*^#=k",wEU?A{vd;X "7bMBz[I{$|`bXn,fjFю x' ='Yr М jU9g2*T`̭d0\DU垛t ؛嬛BJ2( -z 2puǂ|yW.1*}^iEL#%y8ZG7ӏI;HsBcThw=. ;A}*{*ẗ́$P`!~nFzÖRqo$ag :}z Mtɒǝa'>%lAox#=MQDŐ9 wQ龽Gaf)5w3n!*:nZ-Q QôZΞ16UOOM; IʎpM3f?AvߗlN(M8VlO߽㶿fk겫'Xx ^)8hTLQ%fm%-+ܳB}Й>O=3,FKN;+NKHPE(mL.rfHl+9 2+t(ԯe K[`P Hl%NOvׂg7B- Wa#ݬr:_gC)CZKC貲,$>&16'begS~y&DYcNU[SQ U\=>pAqJgnE#U{zj.[ᅡ0L{_=BPu|;q瓏k7{v5|vBA'i$;]șq!Ưd_?ejqޘf/>5bl4R$W~㦌&P%Qx9?gogxœQ 9Rf?m.l;0j}^DAȊYjuP2gڌ3iY]cuޒiPH{*SE8O;Ěr&!Pz6fޒ,%A|;q+qS'o9А^TQi>;F=fPD9BݢC"!qHf6}&nraz u̠b,s`0\댮odw0Pƣ sn!xu#,Um+w9\Fio4)>L?I8> `/)dsc.p,|%wz` [y)#sUY8&f#{l X*_Qn7V>(%f0.*Ζ(U~1F.6sR֕IE?Ĥ-U[7A#;7 Ad%|<0At _vZ(/[cO"l13+O|9Ay @foG]GG~SӛCn"BݹVbl2 i55_W74,ez/oIQ~=TJ{0&zgw: gC5|-)oʋRtv|áF5\tCŌjpI?yg\S%u];սiBM7s\!\eh!y?o7NWGU>̍^]&<:F'  [/"omT<.1"WOTv(YFMoDi|GLFkc)ja~ p'Ik}27N&5A;r5gmHc@P@4 0L6M=r[(w#ș<=ϛaP&.U"}%>^7|:vI\ly79x1/eh̟0gb)=A,=8P2Hw%RLyMJ>X2`g2Y4"ki9cTaHQBʂ9 "4Ő"´/_D sգEluڊp:3f5/p9B(mjG sxfo= "kzP$}1*@4ŁV)OȀw9..S.)OR)hgexy+~{X6,\ 4.Ubrb3,'vn\ʍTlGʓ0_mlf>Z7vDE]H\3rmEV*a\vcD'gYZ7zXZִF! 04u]ŗXi%BzO泳l UŝE"gi5˜ܯ+SXEf]w7P8bH!.<@Tϓr ڴt *]g- < xűB'5l[lk>ܳS>@˟4=AoW_=*+ as̃PH0M``Sʍ ]Wy9$8`?Ҧ̵hVG PLpvߠSf {`2Dx^`|mg' 5Rʯ;2(sU,3/FBi\kF|?&k7 aa]e<8D3FE8jQsP#l>Z]1rMf<[ ,/`)u(f6,U`tF'z= Q,ңl.O "8!7,ڢX$[X#2^Jp|w&ʸ-%J+Yz@8^2afԆq,2|n~Ht'%J:6*!0[e 0{#r|%x󱺎g;ɑUKV%VxRcLBԭHk)җDӇo6]t*_ neIr4>}[.qJT9Lj7pahbb=ED w{;/E My.\;-8ǥ$vol㕑x{: `~njR`> 'a\;|L6.KQM(|\kNk"5TDiZ$Ls\`^׉\HA!ÛEZc2pKu0<2Flt\TWY 7(/;Baǰ٧?[1qGjbL[p١' <䑑z o㋼ 1D,|E:l3R<=<)ǡ6hBHJiؖd (1HoC_Og1w-k!Gi_3\GϿ{.1?5ۗr}s֎T bu3%n9,n%>6Lqiwx=#zg665uc*!~--ޞ/: \Zjؘ rU~f+KZ(ۯv%Aћsx {# NJf L[/`XJêr8┧Ώ+"+P>"[X&2+S%K9p- GʫdG~.¸Hv^Ax(x$'x^z ;0ϔn -*^vU$pp% $f|"&x}fh׀YvY(dhHO(K ŔO@CMOankI3=W$Y0KeJ~ۨyKX"G$؍75lras*@&c%;~b|dU_;W g4Oe0n8[+\4uBi9jD?|s GԹegֲ/.a17d]?@i|֕}r:= YqA!,Qs6܈o^rF=.kOo $y$h?j9왗aq;:tONJBT pjԺ$͋a*$܏R/@maG~NuFL "OYkб?'XuLB]GheWk@b_Z;LK^f|y O-IO'|yX51BD>>lTey=\=bAU: 'wa>fJаĭ, }!s`Nj B\2A=bֺe՝ K@eDr3aڍV,`>l.l3qhLI;l4%Ƽ&:(b%l }:T& ֈrːܮ%Xzڃ:۽| ac$_Z9:~`y-7϶Os<'̞i=i;!FLm Bo]l$ZF͉ 4; g!Rl$܅I,'<\]%1ؒd9TU(azF rk)VG}%|wD^CKQO|Kd&+P)ۛ+3'NoN$V$}7' icgm!^sHfNfi 5Y3V"AOL1뚷A}q|L_ nܚ2WTZnz!OVCn7ZZaVQ8FOJb,fan|XȷKaAW'MHWf!\ا JoY V%t3IdMHWmfyyw$sSǒ`;FX_kNƠCVݿ˞q%8 i׎)K >j%a9:[)AmVԈ*Zt`Z6 zea]F6lxܵFG1SLcF"hDez7 Ζ#u@ &ь;tl&s{ shK dpS|^#uSD˜CƸȃŔ6߬P~nZUWYl@ݞI²#f^{y*4/D$y҈*2T$(ɏY6Hj:oP.ʆsH@=ٵ҆ƇUER>X@aIEe_, ߽x7 Ɩ•͔ SPX{9G&jWϗB ocd&Β |%#zYt0D`[mnq鋰ͻWfuCa K SSfV LAÂI(`SG4b^myP N/vx.k\9P/zL*5e`򢃟&Tt?.N5dz !+n~++nr#и0'03j§h?{2f_jh9ONIC@g}І|PJ #l= 'σK:@|KGz\JWM0zdR-sZtn7ls=[a{͛PGec7uXϒSßο7!,& @ 1塾ɋ#Á[Y5pd%][־ Vy~H<+?˴·nߝFRD;e̜Dz;=Aڅ9X F1l/j],?D WT~$[XQKxOj~Ej%̘=o|0|Ip H,]&ثoV<x2럩>;gE(P@iCao4)]cdINPFW) %D`Y/vs3{\7IM62 Ե^N37ELmwm@N5e@A*z[(Q̌]M.$o;vqq\gV"? KV?'.V "hO]Ʊz!4C<0M%ӛ6{URbelq~'ڷٕ\7KDqd\ E'h+/ߑY0 $3A'e/\eE@F;2 s0Mʃ Y߸lŀ;}ƴQ'D77O S$"EjR7DN+,V~$-i(4_j(GaA3_ >84R se$RxwOI/?{; z)t$oDI73a=]u$.y}\;su##s&:4H oE r-;,m\~[ϡ@1Q5_Bv̻P75GAȁnU5uS6լp'IާL*␌Ą m>' TÔezޢYyC,}U$2iY٫#GE[쿮Kwy |$۵JdMu9gc(ȗomGȫʌ~NcSq$uXb,fWvb[A*تV2|LΩwR[,?3pps&l4RDNMIk Zm քi9_av#P»+6Ēj;]`HM:6[! h)uڐ=PWO!k$k;$IW5;ݡ~[d˵&LArGj<5wxi@\Fb$t 05 a)_O s+mͮL_ܮKWR*\m_nǃdT'sc : [Ƴ&X$OhPӞ$j*.qOԡì훌SGip ԰ڽ5󒛱E,hk*Y1C?zyGф@+M%o~ʌ?wO qb^t8:INtn 4iүEV2 E^)=8 \y$,ʼj5a֍[Ptl鉬TR$%==6Srm!,| wxslô6(V3eAdɪы2_S/8wҿcρzaA^ҐX:sNy(FO{BؤzF>L]`k^/lqgm0u#do}K&LNjRpQ%H%n3kfD 76 ~$Lc^a;L׺~_-X}_!61- ΄~< 𗀈%Sཏz,hSWuĮ4O{"Lk1L_";ԫ{u^{4Ȁ (7JYIs;jmj\vBg8Oboo~u(ϵ*.a y=m)Q}8f4H,F/9cG߿̻:*n?[V>Eծ@R뙲Ll hJ)pi6OhW[iMY۵'z ]z_?]4hdj㇌Aez 8}Oy].Y(S˛tHT IQ74rguCoNl QY9ၤDnDdW6 ;žErH9#Qg`j6Hd-GP!> §g'bU*GBϥOݷNP.7Zw_1D[gsi`mR7U_4؜AE4ᵑѳ+Z?n0 "`'6RM-ߏXS/p$J /\URр$ї.B00J%ucV G <$N)uL 'EJPgwQ sF @ t"&&@ a.bIɏ:!3h"b\V!9q^5svzڟv@?x&}7/TzM>->@)yKKd>4O ,a=VMIYaiSHU$lZ7)CvЍI6cOZ<ajcS\H_? +3!$wHW=OK}yN^k"6>Ԑ99Luzc"\-AҕgةlOKNJZU.w&&1;ER-P(4,CS-#R_G 9`ԙƘ76}T5qfSa5*-`۱ py6ڠ$r[(a(Eo!ncՙV%G40rC:}1l-~`?#Jy] !6UU(d5:Gm1UٍLpH̀{1sc_GڕbaLww5D*L>Ԝf&!T3@UvN7gսFb x[= )@r}PVpam90pvJ(y2 &*'oô46MIY\ɶZ`=W);q3GM$'ǵk٘) !2CPЃeCM?;`G"!Bհ>n, e+uZ,.cW>mp+'l1n*2YewEX:UT wi!oFp+;d e~7 -fi({.7׷vpnJk gaۊPL,Rd D'M\͎6ȵ^MLdֵe'2 bg̓<}^Ǒq zCtC N3`~Ǎ,ki%Z( vk,uOA4c\=6l%|LB2K'(*D<%2-#C7ܛUp?}0k؛,qT*qD85BO#,  _3YCx`{3cC\\ -,]4 S;ИK40;sZ*p.9Lݜ$$S6~cHMMɳ*;[zLl1CXJ#(t΢gt!&Lާ6Kn%+"8&BW„: n1Vg BGL'7b@~M[|"Ong(5o WY$Avemrzĵ7.GN?RuVL4*dhotd}&2[U؇w9N oSlkl¼b;ElETw*pq1ە)2fǑV9pSB7+ ADpX'rTF x| ?,WʟҮ<,pHR ~M8'7⎀L_π k 6:n)OPTx6k q?] G5F=6_s'xFҹ7Ğ|6\akYz{Ь焽ğ.{aw,Di~c nF@OW37iЂl-p^i 88 EP7lDLn|Sf7Vr # ;#xwE y`dX#ntIdBg ;X4hjp-tmW؏m!GxcF].S]m!hyBbuXzs?`}_V!quӅlHWxnq0bt= J:kk&w++]ؘpQ ]j~B;vz UF]AqY j4661(*i}9{,lvۡrur9ǹAEizTe ZmɸW_;'a+t@qwy,G_'yV{<³Ҭ%b/*@O,d9vO>OO >ͪlNB36B ;gks_hHMb~.rpwՈn23O~ZCHvk]aM,ok+)g//s4%Ԓ+ `Rᩤ/pTd IazIVuZ1Ic$,`&?lun.]LImٛ 8!g@GAyJӋ@+P虇Bew>ZK )"AE=6ߨ|+-pI6 ~y*nڍW@^fe(n-XiKB_%&d V&o^.iM؝琚L6<;&񐄒??.EJ-ԌnZ #'܆䰍ʝ= :Y(`JMhS;Ih\)Oq!ܺGu7S :-5@Xh"^EjhGTXOjEiN a5mj0߂ 'k9GݷUէV6ԅRsdϩpo޷8+r;&^fu̶#f4n-($qy/hZ-ƽiX~ rwcG='ɍx|2v^SE.ôa}%a>ϵq ]a c!jooR^(rzz.aE"Xpxzi^C#lE짿,` 03;L!>^Hr>&תܙK#ߟV-N[}Ұ a'Izjj'"HLu>~YuAaʤ++Llj)`I][찙`0  ն:hETӛ!*IGF7uK㬘C S_H3Aۣg*Yh4?AM{b0lq:8]H:}#9~fDMXz3t:fi6ރi"0#%|mjp&t}[LÔl]x4ݶT^/^<gAC.7U}dfd?FA#W5cb*&DO tM?XlHuMM%NU&.'+aq&j"Ag7^o-l WӎG 0B*2{, EGZw {QX0kӓΝ\ߜsDe׎!@:;cy"B9 o#Ԧ4o;{%WΞ%~Ժ/s0q MEv~HJly 6_n(/R5*LqJWv_ʃoq5to*l: wއC(,J;dxNKW8n*'(omvfjZw Η{XJx@KQIs"G|f¿,Gd2J2D0ݡJORvv,bxs>~9LK|]*pBI ((VOs5ٽ:PZ}.h#<Sfn2d-n(< IPYR-V64R|5z:& ZQcc3^oj(%S⍘ B_|h)?B 3 s*D&vƕb6i,+SkrVI_ήo0H^j8}%lXPjƷ${A}NىPaIJ{SMTcGܫ"ɧIDqdH.z)~΢{R5\ 5lx OIu8 iG>Cm96@ttJ,#ʟ7|I&UV5PR|O'i@Frl i _gYZb88850dc145fe5c7e8170f9bdd1da26b849ac90996398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93