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   V7xd,D ] HOL-Datatype_Examples:threads=6elapsed=86.118cpu=404.172gc=65.8127zXZִF! q ]ŗXiɟ,|\=2%i#CL<|͸C\,ˑk-뀆S<|Uk<ު6%dTTZzO(3mYyYz_]gT b# YVy?8 doy_3m\J7< _J`Z ^ Srۤn@7o1 ΟigTu9"? tv~`fϮ kQ1fQ2|JmmDp=d ܒffcmW̜Cr,HE_уtZGoUA( ?Hp}MkԠl`.]Kی"n~ |4&O $ԭ彩[G⯖ >2JNjӉ+WJ"84"FD96bhh%r#`˜/w7> 1YYQ$n4 Z pd,QCRy (wx*ce凨{WH/6% 7 HOL-Datatype_Examples7?% 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Д)4pzW7Y% 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<}")         .   r Y q f = K  - F7K%HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument.texS7e%HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument.texH7O%HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument.texF7K%HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument.texC7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument.texC7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument.texL7W%HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument.texC7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument.texH7O%HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument.texC7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.Prelimdocument.tex B7C%HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument.tex I7Q%HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument.tex I7Q%HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument.tex K7U%HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument.tex D7G%HOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument.texE7I%HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument.texQ7a%HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument.texS7e%HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument.texJ7S%HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument.texC7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument.tex@7?%HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLdocument.texL7Y% HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument.texhhNw!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"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  k k7?% 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Д)4pzW7Y% 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 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 gYZ 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@gYZsRL(y._7zdOR7B9ǹ XwB tLB4 ;oEvm&uT R3VO`S2COL:ƴyhVMk܄˾#3E*CG] V.v| Ӛv_NDSԡ>mp/:͐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  p p7e% 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 ||7I% $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 [ c7a% ,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+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ҜafZ27{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 88U 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 o 7Q% 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 % 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 ]/gYZX 7C% 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٨- KgYZ tt 7E% HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument.tex7zXZִF! S ]A-MՋhvG"uIBm5\{Xf/1{}qP/=0)Lo3߀*Uz#FA:-q1(OzA^oF#KxTWb%`oBw_"U{82+uu$l_8{NMNX&!ԋ!SVǟ׺|Ma뤠}'F@ZFmڪzY3KDVwIzۨM2!`;[s=CzQ]$9s%A- <~OLӧOh=|_pm KaMMڗ*He _S%aJPxM?3\w7+E\9S[B֮AGiRT ۚS[.Kȇa("ٟx$RǍ,|@EpFm&#3~ lP)px$2&^yEzINgku&=nzi9XwvA4YlP玕0~/M35*syOXu٦8Mbo Y>&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 u7E% 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~.yfΩ 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  d7K% 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@QEugYZ]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;:dHY8|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% $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ԱgYZUGg`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#DT>kp5#OpTqMXur/>o %sxR$@L.4pHA@jami^woq>c 5s4a2TQjkVsٲ@$i |,\PA*ӯ#G:{ߋ'>J$Z:~?t!LNFw=@[~ lr:ukH-Jcϛboi` ۳Rq<~ U{彡8<{!6_5 ui@XQnbOy? @o`KS6~LPE1]ՃT#kGwE1c࣢I 5' KEO$-?m%7#:vl^lAwe!\̦2p?~=Ѻ6^Ӧ1*/ :F&;eS+~EZ1]-nᨴ'*Cp@H>'()í<$-duywcV0A91v&[xlm%^ U| Zi7X 9qa"!10 i T~yuMʄwpO8dV@)\y1UFb#'L0n-E`di|Tw;?DXNeD;~=M $F%ǾZaG &,zmS[7NZJw p?)II%dRt}4]Ht4Ue]QVif[87Iϊu_ U!Jupx(3x?8 RTaQZf%z&4##d!SLuT 9Xórn>i5>&KrDza9<;2ɬ ;E[Ap"1de׮85LWo7u@! js[/xCHӀC#ك^[=v6rtḮƎ}˴7 l *,̪V?/s[8`uu7a4n.p!Klu/ KZz條52PKhmђgnyIsVn=fsY5>aكQs.+9mcVB7nϣ09|odv )L' g/zSTRR!3C8a et E/9azv…*H±;8J ѕ}Q2Wb`z,f'ukY)렖$e:`!з _%O*3jHq,dt\ PH±i؍K[{翪 ./p3tG! P]tW1@ޣ_!d$o؎yhk úL9t5M"gT^W~׼yޠ?QӪS_l_8\s"%Pv{ ݚeK0D#̩9ȯW3~JITA} :~,\kӐE+V-ݠu=ES G =3X=RWDs!?vhM= h #+bjOr1x(}AO|$ D2{Em! 8RڪyR>a4\>`8>dI^fN?ef}]M\}~ONE٭G 2׎oj -jveZĖ/\ * 5YR2r0茁u+"04,w[/bz(;:UF\@tȽG'8FsچNhD.YoΑA^8v36J _:oVخkkGXq2EIzPLmNַ=:) ED5S#ϋ c*7M5/|"M^ӳ, F$ ؑWcrL u5v Vx:MBTیA_`œS M$.}$T)[뵁}:)"|Z-)[cFhn)1Ud`L\) 1SHP0\rMzw9տaC):6s=th38 0u |42WBѳ'֯u~jh=J񋶟c  "εÐШ?VW:+X|YXDʟ#0pTe*R?7oHR7MooRKVa+bF z6TɆ-b%>$#Bécr DnGCF7X"췋 EǚB]}6a!i+Wg!|Ztf&L~OoV!B''F/g#gyVn'gw2+; 5wtvY"߱Eu:{ye_gUҰC ϴ;'~IG{u>&I{u^M`f鉼/1yadK``diS3u^N %j Oۤ,qs(Ys5=!" fן2w|ßddaS) Qny% IXV9ׄ)?%_+}Zx ~9TƤ'&YoG/DgH0&,܊/L P]&a&4K`=TESl94(vXn2?NN7 ڡ>Jz7j-O'|tWytӆxY;u%87+Z//HXS=!.:l:||.MuT[m3RC~HXLI (߃O)#JwBgyZxjyynZre]rHԏ!p6@j&@}'D,h\7tD% ~Ԍrs )sv8LB^xksNrbVN06'0upiLEي';"3$+* ͹A>fF^ ^ =O|Ɯ]pY' 5UGy-ya}+ 'cQCf<(Fį0zy*^Tòk֟W*F)=jw3%"sk bN)#M _(|RaEB!'+Vvw{+6A2C hB ++cUS[^q8)h iƱ! lAK_x2H]9 c;03f߀s' AΧ|(l+ՉRǶ7w#$d+|d,!VaHy ^9sZ*`Z"(gi%ST@Oh!LJQ_C Z6*NO8uU!F"/l*XUoӆH"0`ˁw3ϝ{Pls.z̅! Z Z zRd%ku,r?<Ϡ (s:qc|OR-9vj,d\ZO]@&g, sfa (,Qܫm:aOco=BZ Lbx/[s&WIIeFNJmIz6.fB<ڎXM/݆/3bg ILQ̸ ׼}L8B \{k4j]wC6cOvial(;9_[I)8f|LEXE? q @Y"$ 8O⅒A%a4{LXMbAt+%tڀ#t,<(^W<(>ܱd6q=\,K._ʉ>h c^vfRW5ZaHV FeomF!BOR̘Ww>vix^==| H,إK|.*oC2G2IԣoMjJG[&R/VĤ*j] Rj:354 ӸU}?':(,B<U 1iUrzфs $2~:^R`#w\3hfsERԎLaD "S3i Y C2v7me!wbc>0TS ^ch|(* #A_ۈa~/=1?Tɿ~sNEieG1B֞[6BL?>UJܔ28+P`"3L(e0؞%F`"Wu.+G|7Y~{+XFb6+,]ۥ.$uFe|iɞyEQZ}q#G!Y'3!6@ct&jmv7C Dn>_x^ٛ$qLuejWYD?x9]/']9F#t%b[-cA:[M&d)i$]usL*葏dVfQD8NP{#OhnR"͹`xZж%YeʹZ/5.8R;p 7\"Ě) E\o7Ľ[vһl+Z$Y<Vݷ"8*PA]p8 ~6xrtlAR6 ~I%>u͔13#puW[nX_i*B/zl0^1NO3;H蠐3NQ$[m^zg@M Ix]3[qA|PO]!6ucf fBꖳ[4VYDPHEzxj+ߝ,@[?xf+ɆSs( WlJ@Gjhu53aA#P`ڠm, . 7ܽͤרD9PjM^qW%֍&jmiwԹEލoEw9 7'+9>NQ`Md Fpy] ,M3* '@:@ަA]Һ<S)n`wF^K=R?T?W3ƨƁ9&Z\) 4>ZLS^w=V {nWwn.~~pOѝkUϺ:qQ6nn% xdyݝ0[WH~s>I/LMQ9UYn9~b5iz3T 瞒[EהOL$)2 {]" fRX?r|pB$-0% Q/uEr)P~YfV񅥓?݃d'u#BgQ`@d !o^.6vLIKGօS^4&X5* >>}Ͱ Gd:;9"Qa Ӱۧ},*R>?p"MBL#]o V>HjgtWΡlxPLo!%,ؽ5Sڿ]r<&}~bh+؉D)LR֕l7Sͣu, 'ĕKlrHp3TK>lDŽ{Wp D6Bpg3[PJȰGV<%ʣB~ ._dOʜ椊49g'ALFJ5Ff2W,:j~@xiٷd0_yH@D5 D\ِF] iKRx@)8Yx[9/{FhPeōv΂h{<@ĉGY5+?^V#B t]\b'i<}Z^'=ۣS.&㧫zqEvEkY^9n햲t"1Р9QHêͭyu"ëI 5;ԈJnr xLGHeOuHms EX\]wI (W8|zk&UD@m=-i),&ʈUi;! %6FzځC/LYʒͯdR?m/Paf sX;.Yk(M?IN ^O0Y(@6 KVT۸ 85 /V̛b7I!ޜ]5Kyxg%D2pƍ d|' itYK%Ӹ^: .I5,О<0"#NSFx A2Ra .wsW Ĥ Q{dEy3*TʶAV/)u~wgf" <\%WʭQ5Q~JE%s/.Uc{οLE R-SG*d5;Y.#ːrqP[+[CNY_:T#9 rN=IٔPkq|0"ĭlu}V8樹 rּo c [V/Q,2.W5!q Wtv"ż̯?Q:|M}܍("slbyG D%No*Y'wΧr%u*ނԁ~Ni%f]cٮpA!$Ff)m䢞dDZkIX5Vc~X _ k3I![QP+ͤ's<8Fio5(1Y.WV1L$iIfoX _lw?Xi`nz܆=#@zmfSP-R.hБ,/6؁VvJ.@ck@]MV9r@!.?|PpU:BqM̬: kdL ]hϞ~|$~`"V:]p}Ϲ܁:GI#V,G !T2,h9`^ 3u?u.Wn"YL3Rfۊ |쨃uFSl&6턏0꛱!Dᣦ1ikW&ty#?}zݺ"ޛIK6WVo*mM f҉US,~ t8_.!;5]X]!IG/A(U?A9Yp/STf9T4"]P;œjW,.93EdȽȱ<:4oo=uŚ2Xs{vK~U>Ḭ ȯ6t>;gFc\/#þ+τ>P/嬼;qIC6[aEHm]f=Me8D =b?jrch~#5d'_=}9=6 VNPxX1[a"'}cI@iܯ%<*HLfۄvT/E#4Fdw(iqBO wdjlbQJH j9`܃TJE+S=]G?Bdݢ+hg.C5ُKULO> `dHnX d eGu?wcx-=z`i[ l>J~ױgYZece78571fd733aaf8bbad5cce34e11121c18129b16fd1087ad908b63e82075696fd8c8c64c13a046 22d2e6a05f68f000eaa28c45ffa4af02862fc08e f12a071c03b7804390e8570f0fd34eece19e4a2d