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 ;7zTTt ] HOL-Datatype_Examples:threads=4elapsed=241.878cpu=594.752gc=97.8647zXZִF! |#]ŗXiɟH)0!h]GdU\Qubbw ,Yt SH_ΌZ5Iav,ڗbGO?ZMڂ\+kS0R^+6)dIp Q jKo!|̗"@(Bri2i>qdE?Dvp )/i`|\e)b5[cT}E *<@VH[E*}Zvy z4nQZ|qR5ԹKF'.t'MhO^\qxAśN_v-d81+jtrlQ ) Y P ɕi*l,U+fp6ۦ$.2G~zQlCb$Vh&}_"Fb4ؑmhyƔDM`d~M`<ۤ;R5~9IV5UO[lB17uanQkz*8̊@9qv"nJ`GBS˓;? Sݍ|F6nNfJzX'ɧn ZYQYx,xpFUہz[ܲCd~Pd [ *GiDV͛X촺9kĖ2&d~I@a|'=/+ϧGt&IJVPB|.H3=mY86\[F !:IIry!A ֔; s-.)áݨS'[0ßdbS mܼA2HI'LS5EC Z"Ncd)J/~%4,2yPeDd,'f]&<iJj/z)id-A#IC&#XaJ;Գ $(]2)Wq쒣_?'nE0 7JJ@Ѡ9#Srfx*;A_9eD{~ SFjf0F_ \uJF8(ZZy@*d]M| B\pe)n,tڐm碋 aedB.fsN$陝*Y<;nmϺ$o%6|/I ),e1cU_ś ~. ?$f'K:d~Y5r%# l*dQU, ,P@dv}kZJDe1KJ("",62`y/Y1@C6c\[lźjP mifyv^C۪.m6k^3E$8N:5\)wpQRh[t VG>TȨ11P-{$7pZᔽ :]*N3Ń3/Dt`'䟭P w-yfp}h60 $n2&]wEcSUj+  y-qxaaCk kc؉ x Pߒ]D,(e}Fj/BsKdS1f+_@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Д)4pz W7Y% 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ޛ'Vz7I% $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ҜafZ/$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"gYZrJ967k"d1lCphc6"~A Cz! ," R2i`։{pJumR-Hp^ mBm?xzy\:mJlcZb /CZ栍A7= 6+v}Sׯ\~NUDsgeضQ!Zt0f ) +K eGm,z(_RRMI=Ra3PArá“gpot t 9 _gyZ./`4Дw:5+̇f}JL}环fGTV!o0۠nƉdM}LkAlvIi3[;2چʹ ʴSVK\oT4̿ճ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&_gYZ  pRb7?% 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Д)4pz W7Y% 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ޛ'Vz7I% $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 %7E% 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 ]/gYZX7C% 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/!Ÿ`|,_gYZ  'v7O% 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٨- KgYZV7O% $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Ա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:gYZd7K% DHOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument.tex7zXZִF! ]A-MՋhvG"uIBm5r$yILWYvf MLAѦ+;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@QEugYZu7E% 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-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#XRd}!Ob#`2 s; ?X;3!G-o;S9bo DZscd@E]!q|覤-0H6Nƻl hpm[ PC! Ku]qo>\ V'zvN: ^b-b&܋ Sst'\KLǨ;qϒ u3@ "F@|(7fcN1Rai(S^[67L\(Tg=d]T|md"yVCwkhvclR !x)WgYZ7zXZִF! ~#]ŗXiɟ1)*uԚ@e^cKZ ~ic  %iQv`.}z;ʖaI4h+-<(]J_'2vMa̩c{Z$TVO5~˶7YG E3>N29} gG)^LijI4L.m@*z=Or~O&9+Fi weFCj67_>~Čq3 \-G|Q# vP3\'%my#uCw?o|pV;̙J&}DJ=YIήu]odAl] =J%wıXXC^Ё8I v]qͥQ>3u.Yb%rcj^͑DP| !m}I-.rC$0WNbX{%<0A6)/uŃ_b0 nK! j}zf@[CvK%yF gYZ7zXZִF! v[4]ŗXi%D65h3$~:{CТ|a`c1*Xb 6BnQ1-1 >9bz^.[@aU5ۍ?hiRw*O7gm>2QM,1_%f _~EGSB}wa~׷i&z|oHYxGb1x~b&y8'zw'D! vA݂z%هNr;ރ> "^̔&]4m\ pH|OÊp-A7*D.|4!Gm2kS$>eQr&(SIl):1ڭ&W7͔Kp{jս^#9-[[_1"'jkd':3epXDSh̤xsۮcJ}"Trk4#.6)IRVQn^dX̆tFHs7sI{z]k#wo:Z'B{A&(c6.>ݺ(K'oze$daG;Aɚ_ʖ_O'WYe("JqWnGNF%Cb4(ӁpH'G6Sp?>l@LgYP]pj1 "kiwŶά@|햌!|o04Ij NwgP'd|fYo^M ^ݨ!Z5 &]ȮN|;kl8]Y[b9d>,`yS'QAŶ 3`H[ב|>ELɃ<^.P7Kg dG; 657 ыQ>K^a;;\4W(5H%ndeo@W޿q| >{/gV!Ӎ "^5Fƥ_ӢZ66ل*t֟UUOR0aMe-_I ]a>ZT}8i vvYYm;;7J,bY(5ă#(aj\VB$ _f1D8㱿zomEqS dd@<gϰ2$a~ g}Cp'&!)QTv Y -M&q 4'Wyl4}6JHy4,GW&J#3&SJYf7mܥ٬=?j Vȳ?M66M o7e8{ܲHClApd:rM3>C2.ڲ2 K_yA [[1Uɚm[ɚomXbE @޵-Rg3D*ڟBvmGL.BXNM=P>џԳEKce,?nGA\߉$ ~i4ϸF@' 1D* h`o褷

p]^ϙKJݽw:J47 VS>8GBanѳCv%: ֬p] Gy; ۰0}z @WK׶rSGFV.l߲ .iNm;?o%KmLv%Q,OgD&G}Kȧ9ָ8z%D_'aHA-ݯ$/HӜcn_S^Pu)nEJ4Tdk:M)}"jWn(fW8LzO _*xT׳NVM+U^;k:X$)a҅0O'$Ш%N]V+J13U /Wh}b=KgeTYh˫+] S$&8J.D ct"CfX7ƸC%\2P Eah|_Ip|ZyU{(Q/m#n O6KtYv,bSO{ Dߎ>-6- jf'3ܲ~J%3väm۵]l.@ɰyR_羢dʮ 5Qcty`a`A7|ɔ ( _0I6O.D}C(%dTkҿG [lfZ]R~AkeARz\5>ds34~E i +su@(Ǔܯz8IE&MYSNw.淂!-e c}SVwk`H# U،*'u`wp)R&+M#YFR%9 8fiO܊yfv+Ov]Y/eiaVP#ĶZakiU -J7vBδjHMw!{of(ԏ{ɮSá."PzMGM07ʫa@auۓ8i nalkڌF0!|[&n{ȉ.&ssE/?µ1}h.}f.f)CC< j\s/_1(Ws2!X%Vߋb"pNw[PSB-+5Ș=dg皙XDo+NQShD3ݷ0#7r0gn@Xt ƛ|zxCQa:Fse->F2rߣQCr7TMbJpS鍱Ge 򭓡0WbGx6]TaT g2l=7 Qjxt@WӤ4fAzH5ü9/;}{&?'ø%@vLurjx ֪Q0ȬC VE K^FʆXc^'*Dҵ3#Gnp( "j'6 |J(<1ǁ0h*^eqQ^%E;cKw%"UWKTP>IΆOn_$tpEI|K5bp}GB$O!#+h 9pŽɡ9Z"Jh4 Vhgd)i9)Aҗޞ3E14q:G ix8UoHm"P u3rXr6spʭn*-kfn 6GFRHރwP 609/Nw_>DyncmOE݊QD߇WP)̗ޫ=ŚxN5cj4T`}з$WNMJ<˭N 5B'B'cl,V>S>[8=ĖgУU =Q@~eKbmÙM-R4'lJy]tɜ% ќ>)JK9vXي; :Hx  ^bmPu3'2.]Rb2BJz[+u|s* _@7$X3{q|C3%ٻLɊFH i j':jvJ @ld btkR K]LgzBD]=bI'SSK4bECY$f9t#Hl-W84 8{ef 05R%)b,0W1&5wݥV0o1!"|}+:: q'҄](Q@،dB4BiVu.r2?cIʊ4cb?Vgpsu-q*z9Rq/||Kdho{uIz-T\ܝ|=y&: NM1Qھt<=xRy7i}ϮoG3.F@Wa{fr}Ɔ# w1Qh570僊:Ⱬ&&obGmu2~{-sRrkYCp4qrncu60N4m.\Z}T2ީ#m{3{MXkWPj)(+,-RY Tx\LZ{nwIJߨ=/WB\I?%a +):W6wᇟ?bͮވ|r ~>ЉGgVz;?$OL vHĔ1U<YVNۺ8GZc-M*yi G-\6:Q@?LtL^dHuR/I)FAMA ADzX)KЬx-Xޕy!ޝIߓ,-'˵u = dX W\UQ%z5#T~;e!< 9U\zGvx1nA>~o@*=;a,Hwl9@4@@`wV 9̘̀1y:Qu}O l-EQސ^ q۠Uj X/?ik㠂Bx3+7A4! ܱ!(. % [qeS\7;k緊cR %2`UY/ mN:55>痃H[lY&_ڊ#;[$^ B!|"9}6,H;ﶉLy Hte( NT^rt jK)Ҵ=eЧ[`Ph*jQ^hF-{GL֋d T; j) CB&z0W9L9u a6\#)v Q 02HQR0:Fqj)lt8*ϵZFVW=Qd{WqW ɔ`r*T⿪H(l9+$Lx,Ieg쉁-Ӵ{-%FS8r"hgզWL|a?ס:CI4Ar EUnu\c uŮر;U(wۉ 8GAZٶjC]n>?vS]=Qqّ;cgM6HfJ9vy%^l2\az2XKRKh)7d."WW ;yAyQv])Vn!cxxL62%'8L>y(`-[chj*Zop}Ue#XBwf P֩E%RaZä(>s}QΫ_r' ROve =פ+Qk_x!'sKis_)F5H ,G,0w*BEi*be,;['&',5..Xดt̀o^mw:PB ,E;k)-X+r';)!< n\lMZ ٱd6˚. v*ݰmtAܡͭxq6pYwxfDz*\4r l|:8AH0K9o̩TlB]Ga 2[_t%":>G3G rRɔm?k'77:&C쪄A7\tSKxF_%#. U8|KaI4?^roo-+]j KqR D UvĦ]HqͫO4CklٌRޒ>ΑYq p1պMX=#ޗ |Oh(+ֲoP 5*xuj1@00K;y؞`ҀCi Qn;1># yUtF~=vٴ<w WADv# e 8Jr8Gӫ^0xC&#$otYא2Nv څ_k7P_e%~/CO=)W4bḊmNiA dNŸ0 m 3!b 6ϟ$eL wģ%Ee2;XrGDP)]647* V8(_ݠI+[ZÞ!fm 7 P(m7a%GAcTE&|TygS. Y(ҋ'dΫ+'{VcI#MF~~vD[5<^c@>65"<6MM0% 7mlU@F-a`^EyTB|/P=fjH̻P؟ԋYd=9k( n|jؒ,  =]zfer$.kV+zJ.DyΟ~] ̌]]ll$r~|r&@ X\VB0Mc #}6);S-Ŋ*G^@a>BZE+l܂(d_,N g=WyW)vQ]m(/U5& )uqgc'N !΁0T`^1ol-q@>ho`rn:8E:NKd5/ˆO nS{7߹Qh:O'>(~حM}׊NVgu&跛\8c'Q Թ?h@*c )O7p@ծ*)2CѻquHQ"u( ٩"ԦZz|߿p{v8Ě+#Dr?MfVT;'ƩZ20_W$mN.]o^*jcC;-@sbĉ1_ߍ!6>2";YL ^^:W/h*k|%MwkPdAfą#?R[f"nVQTbDS(;kXkˠZZ2-. ~o wv&UzɧUNԩKX#:%'lЁS^v/$k9|zrR7PWPޤ[*m o5l9pנWl\/~ t^9ȴ(|82-:I>×SmmAZOb^VB༌rg5e_!bl'/EϒnR⩊zTOO>S9NxԒ 6y)adz;!ydDszF VfPFmiy}#5ư,E( b&DpNa &֡/<)or1paid^LmݿMcnXLۑ黩pB?RDŽbs L0wbaGi3/ X1>t=[&zh"g .fSg?􃿣48<ª<͉p#HHH{t BO9?d^>JHKESba-p+JCoi4Gfj3eWE*J3:`E"]z- x;$ 2$V$\m9LzV ڴnV3& 671:/\ЀzwCfup"$wp,끅fUõ<Kү5_֡DyՂ)eK֡#vp>Vb=oßnJ[<Qs4 IԄJ! (d a_6YN4awl(oYKvc!c14 t?8#P_)E+K||68*34`vZ;{- m&f#W9K?&앂UlHWZLJ΋NO1NړY˿8ȪXxvoٵЇCzKaQT\ȠSB iHXJQ~ E,f!ff <(KZ~L*S'(G\P1> b'Dzmq/#͊IP#5P@wu[jZ(=KlMʧ^gb%s#VIⳚ:<n۪]WesXvaR o%_O^XL`_tj Mȡ;ygJ'yyFop4J*F4Ru43BE\NI |x[C#x,ׯP=/wLI޲]︺uꍇm'I;Uuyq@.߷6]?c]U'"(gB(bI`\ElP;Li-w. buezi Erxe/ [Fŝ7#㣋gJ5"IӀq;`PBKQm?'fZrA)?ͯ\rҏ FZ A/gD95XpHPϫG\Ԅ{8ݜR3v6̅c'q-3u)x~TN9oejHjИdNWGSV>kU$!+ @2*ъc 8b{%;n[6V@XX(i yB1.BD۬+#Ziؖ" k.r *]څ;[{Nۋ֬sj= ^0T[roZs)0WBW_ʆ .'×#sxo}СĴnʷ\/J'[<ՐǘPlu5O-LNsz;D|h!] ur!X W1Im&Þ`hj/4_[&uy0_r*wS}"f9ZPLL&RAm7{"fgfh$t\L҅[ l7bi:rU"Orqv[`06@[B@_ @`Y=(i"txsXާȢl~C^t72F^bK ( oN%3زQ~8{G,ꆘr ǜBJc,HPNfqpܕ9ѝ`or@j5`q,JA:Zcu<]+' ם? 윭mKgì &ld" mzzSwɉ(ԭ{\[3iwTkH'ۭp@ :Iɤx&r̶՜tx(*9A8 |/#paWB^;(` !BNhd oX/LY xfơ+jB2mq8z}9O6tw{MZ@NtjtM=.԰p,9BT\@2,+Q[<okH*Fm0Ěb-M6^v]Ci[G@J_ Q;[ؔG(V˗0^33C.yCHy~:Vc&$K?!Η\QNߌKUKhl߼/t?J9D B7S4 2J|2lӓ~xL8oQCG9P .-Y^S16Ţ\mYځEb2_οlq,i<51 .j&UyaF4W86ӯLÞ}(a37,d $JvZ54ql͟A<x )K4ZmA6s }ʖ/d%uMuq$4d"qSy{G/xScE<0([YU(шUо ˯g=BCDT % Q-IES-~|LФ<˕S|k~O}n d d.gA],ZLA{(@gJ&d0 Qa\Yq?|iZl<ρ2+ ?a$1`u8ŚFa?49,LE@&OYkSQ1vGaFݤxgjKTSC4B2 `J;ޚ9d`OkqMq#ued_3z(u.0jKcZ$ ĔRhEdo"17ً}%xfcfC (sӁ-|Tm!w_Af?{^DgF,اa#q )Zb\'z6qZx1 fHϥSޑF勷V2M i?#.u$.Q52[xA8^:0X`EX6%=yzVdה p%{ybA"SY`A#±B$ynhQ2?Ѐ;z F #<`q-r{r|"cfi;ך4l.A[ɧ.Ƌ cZD%x .B0] ;jVH e.d8\]?\Ԟ=tOZ4/ˊ\>8RkYc;ZA]X& 㦰 R 3=}4X(1l m A!EvA޼K~ð%C0TV+_ =Ɣl8hɽbJAM\~UhQ4ꤺnbԩuõ(8Yk$!yBlJ\RQՖ>Χivm`)0˪ÄN Wm\S je9ZeU;.c`(cf;ߏ+&M=`./_oErmo*%?+ETGݶ=(ӸV/f)q׌fQKjm؆p ,*;*NL+7%]kMtDȌ]kˑE>ftFplQڎBxD2",PU@ ' @e` /PNj *,c߃fP.y >#`$$e,ߘ80q4vjo ׻m^{GkX)GNc_ZF^)ӢR ]_௣[-j\1%yrfYBM:_IR`(꿥uh+ =4B9=XXhI\oN[׿e)/9:-3DY@#jCȐ4Mo׮F5}HD%a(eilhQ-ݕ,IBiơQ K钽3HPVC_](].'.D7/S%m6t}5fio#s#k|>6;2&As2ȖL5>QLg C|YyVM|Y̊ELk3b]RڴW+)>)*@pBfZPΡl,j&%d`ҀtŠ:)qYωZX" k4o628їk)ʁbMI浜DZI Sr)̠S8PBel+GL\a+~"\r;6dd̶7wQ} rIE.ʨYǵ]/0@~ APL@EƥU2/yR (c9B(#E~ųee P.4x?q,l1.8{B5CBA"9F%`28kܝ΅[j|ADu׭UpKByd*]F{kd*o}u6t%{Ar\K92 ae44DžWp<'@sK+ 3y|Z7N ^>$~ꃇV"%(0H=82!XJ I2rqi4";i.ޛHZ4ϒ[5tN*3D6fR C( Yۭ1 17γD`2Ab/ZS KV @QԴr1c{߀ݜKX7brrjy:p'(XzMҴ/])?h+7Gocy'h+Ӯc3害E̕]L& N Juܔ}`(`hۄe?N TOVh'Yu|x0G%ۭ`ӡ'ReÕN6mzMw/L]vi@fMN:ntFQز)o"mXw$ X_MH:emyn7%GсKb—FVQj[78%.fzF0U[cG !:0=-mm({)֟(P^*_&.K b)w(IJPcfCި+byl+mLUuzm^:[Dm`7$_֌3, b5 '>b%<5ԩ5Ug;-H"R~ U ^D5|#+_R*)"^|}Kt9^L֒"z{KeFc,/ߚHc0~HFeQUD 0mq)0.82l3?vKlȆX_0nZoK9n!Tt0a̜Qo+f>UfP+ZmRWT/@qOU[7}NLL΂z^\ _-9<{.`4h%ׁ{Z,]mfVL!?t̕^ع}r2֝wˏ;$*:cErg R1!3qrĐL[d3f*ۋOR\ORUs]>wr$gx.ۆ@M Ļ`@([1x hՒ/r?$ZK a |vkO>׊0հa!hQf!s?FH+2΢ ;~5791f#o][ƅTvm+< Q@8mز99@dfsWb9e$`CB 6ێxA3c_m=u/ss|S!8 C 5UD.׭!a5)~MrP3hYfZF&yTU^A& PLyS[2~I{|T*G ZhßrL3z\Tљh"}3)0j)X#OtȅG{;ട0T_ 6@-78| %֕ dyk%~?OXo{_- @NP)k'✾lEeeN#rRy >h hvmJg&,?狃+3@(h!a !@`zbC#oɱ W#/&ܶ ,? d3#1WMjr=KNz0=arT, yQ/̔=Za?_e-H Je>N?lH;*~UZ.ݬUJ6T&vD`kmqCC9׮)ZG"|+o\+1h{+67irlq3îWOp"JjT-A{$ބr*{;u{t$m;Vߋ5ܖy-.oz&J)\]J^!=|6s"FF]U_@ XSm4Mĸpz2;.j kWlԣw+;E9;L@ôYr# dnx0eƉ8b,^O ZNC9V8KTC)[VQ[Q6q97^xw :"fgXGMK0yl$-Xܛbgؚ  zAH T7<M1nRn MD;wFL䊨FZ]*C5۠iM>3(:6Qv? WKĥ}J'/-HPJeܽ<Z"AiMl*Kgo%_"~d[H˼%|db1-$z2^+bѩPL#or蛎 h<]3x[yGlyZMT89FgDrT]w2 + : s}kQʊ H/q28"ջ#Q3.FE\&fBt![A00"^:JN?!vt#a|pAE_1RH΅f@`q]v쓴RSW^UcOI6?߂yiv&<.a6@e6 э|eH?V׍3~]T߯n֜3QJQUy냴P Cy_;/|c]%ϳ.JsGL^W7uAKJu_>iߟ%we$2/`R ?|Ä14JΏCj]ԣ"ȤxlPܛvlO'\qߓeisu;JG~/TRӴ`dh8O^"5)ODSgEw-O/jQ,0@qH5iN/h@`D)ݠ/L7'2LNإGu,>Aog3F*|mmPmX6r)+$sMp?=5hbu 8=q,}%;H f5Ꮶeunݸ] ~"|Vf~ [A޹6 ѥD'SN?>$Ici *!(Vi⶞iީf]O﹫Rz ND+6(`r8XtB%œͯ")C!dfHx F+$fT[C2}#އi@hŅ4|P!h`J;i8]*^k j31ld"yN:ئvV0=+zieI4/clm)h_=F(<~Tb~?U,:7˸0kǡR:&f$\i}"ɰeτyF5/)G;V2AD#_?"eUv>8 !~S I4ߎv`jmF'h xc $5 -}NO>l5 ;b!!{]] ?;gfvqɀ~/1rp - &@LABsGo7EgMxgEd!A6k8ᗛ# %D2*/˚]?QUN;ab9Q xˊAjc Ge]Y&⊈":whچ#Vͺcjtι+M%@-el\KF‡FH[10>n0T&eU k2R!H|guFQ4G:nHҒ,!5"V *ˉ{e|i٥>y}A YI&voxk뎳н"yaXCږԁZH%2KEA-;7 ]i[m$D@NBF8MZj̱GҺmv4? o6OClVdQ1"´<$i>rHAunb&WZJTY6C9!~P >[6= nÿdE ?V՛j1Hcʎ*0 BeY[*fF w둘s+{?? }'6Go>5lmAHu5S|T|V={%/R#jJ|9U'raXݩ |W6)Ϻ9V7_7#^OjYE&rRU-!HU*C`-iDr!['qާ}S\Ao1V،X<#3XO7s!A6PתT:>6X(Ҷt+,zF]B?jIYZEwQY7+{vyy14Cd WB TA{Kۉ'Hqã337_PNR-͝NeM'$iek辭Fw[pgMdSC(N7=ي@01 I$A0F#읮@  z RAI/GW8f$@/u̯qsˏJ[4va`ۻg1ߵF#34cif wŐ {|9?4$BQ;wֈ~.thb0)y3hs"~\Awø20g< p"B6MzC1LzzC"DL$Q ;lt}&Ox sde+bCk M [2H|O|AdA:< ":.S+9WNuzȥIIP#QbKQ m9d0 7AAyCh- 7iUAxf%z#7:@X6XSPFYű>3NRΧ.-TMxKN<,9 2Le_+vhq ϧJu-_.yS}*dE 3.^򶖱3g(- lDc@7RPu )\ж5gYZ8a29568b2534fcd74f6f24a5d1e523674c068909c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171