SQLite format 3@ .S`  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _5~dt> ] UHOL-Nominal-Examples:threads=6elapsed=267.546cpu=1346.403gc=106.807(/(a5&*kF60xUqَq"Ndo)Ss8"YU؝bIV;T$];X9S HՔUnM$b-Mnd*$6O3dǼ?ݑb<"o3FCbsBnva*ra@ghFCK~s1șp)ڕr\TRwa3.+(]~驂CCld"EqTC<2C$%r‚B]6b641 Rl EB͍αiu=P< A R5^C\eV  DuUzRhZL5t3e21EDE8 yi}#-axPDD$$"@  $ PH,hӒғCl.ocfqH-(3?xlchU!le; @k$m"<4(DTY mʆ6_Ѹ M, $XH,`0^xXX<8hؔќ ԴlְXM:BaA(  |{wCbx` RKV,"8H`XՐ X(@ TN |2А{8^|cI$DBgcAD"" bX4X(fa("f&v I APP$x b,@$$H (P(8,$ B,p(X H@`" 4$PXH@XhH$XH0$@AMXMu"FD|i.jR:*7{6E렧J5V+}hZ±Ek5j7wnjߴߚ~^VMm[!jJ KL__^Li[ߔ/{Cb卧7A2#C:=kNbtzD㲛L669q95Ր!fWF[5@($̎픹bV3CXV2)mHItyȑ銬=DƖ'kdj:*uIG6dwbLHΎj]n,G~Z6hVfźՐV^i:V|9|>Kge;CSۅܑPFQKS }xT,O-|omZHz94.]#τ%# I(m K5 ;f uH.Yu~hЌyˮRb"m^5GS#Z䀹`X,<(":B@$n߹IY2H!CI2!3f<1e _) Mbsln娽s[=7ܺy?6٘}R\,d7f&D"s=u,׬ŬzGH[:?hSnwg+:5}swu޾;r޵E7Ymjc6͔feX 9sfnnxi9Ӓ='هصd%2\m1ꝫ[#+OxĹ]^u2~Wk[͜WwZ]Q]95|}]Z+y{m}k5k{yEW^cz'+'HuXg7#]۳Tnllgڜ^G}'1I=o\^2%/x-JV|Rس^mzjr3r===c141;H:ZVt)VldpNbX-Vծ(k9W 9j[EXW#ڢ.-RSqLFiGS M5:ĭ!՜IH~q8Ebr"yDhr"vv,Q{W]ƚ=%䉝c S'D}?xf!NvM뽩gOBΩ_&||o>tNgJzh6쵄>ګϗ7\-|Y_aنvܔW3sbSt ;e3 *5e۴Mrٮ]w5!vZ5ݭo]RfW)̕bY6ILMSttg1lѵ28BT:!1>햒~3DCe=|\y9# oH{l|36-Y?ښihS"'Z|B ]nfAc{g)+'v]$_M-ZL#T8͕]|;L1D ;Lwucy 5 HOL-Nominal-Examplesx gu~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&ByL lիv>VM={&s/wRbvqޥRUDg[O@& !r"nN\]mU=QQĚ`;eڥ03Eە&;;dM}rԍM-')z&eBYʚ$ EP.&&--a`X3 sZYUPYh`yLP4!aq,P A A@10 ٔJ VgW~2z Y!e#Q P@ ڂ ׂ͂|{xcwbq_pSoRhOgEdD`B_.\-X,W*T&SPOKHEDC<;:986321~0{*u)t's$r!mVUTOA@ ? ; 6}|{w t sronkidc\[ZYVSRQKIHGDAy@x?u>p8o7l6k5f2\.Y,T+*'%" <0/+* # " gNo!Xs T z , / { N Y(7pJYj Uz(7>D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex7D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5rA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesqF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  i:Xeq),uE A6(ʷ[XԘsy\V6!HN!dW^"$V>#AM_l ^*iv 3OE#MS+@$ܒQU@mv-U(Y[廊zlǿV ?%c[, ⥊#2\u`DV\yūq)($K:e\Aa%,H|9*i+VL%M]r/bWnFJ= 1kO;8"!7('͞&H.Cs_#c')8h2pkZB3棑9[Ys?ȧotޅ W'(+ztO9 6 tM\K}l3LBlpE*X@S-8} `Г̎rgOk3of8j(KP27{*Z?xݕkr_c-#qsqIAX8<{Gj58rk#\]F{SbJxrW0򹁆ԚԼz D.Q+cSUKlzCLAg-(Iaj_[M6=EV;BXOݐ,/LgMvv" Xq:T^;Wq!832GB1̔%|zTFF񰆄*j7` #רB5D0dbʽS>L}9J($ٟ'>K"(uta_0y_%Pt ,3&խ<ɉ}Nij7xYHOD EU+ؔ; ~t ,#c]ڗ@N/Vi,V4(3Bqqػs FGed@rv ^V:h͟aMD:ftFt%%[NFP8~+\?ձHcLLW)yl.UHTԏNo7躄k?&K0("yotImpçڞCZ-GC,/e !FJO3Qi>L q" CA${~]T+(݆Y[ÍS!Vj\v_0'EXQujd +rYN,GO%~:pV(vF< -7e5fί29뻊*LPHkAiJ핁 AZed]PCܢ ^`fW 6AH5`zS G *ưNZYA%T2IWoSEBvV{U+O#i93Ēh_n9ZgzR:쒱RV pԨ/u˻ٔ܏s}RHQaBw\I4f!V H/[tVbK9!`[MЉϋ>ŔvMU;PF''E;,;oVx9QVpϱeǒza yFFo]^\\i hYԁo 3OLNM-4EXbl<?:6 NwR ςAs:}>ߞ.Z0g/-$(~SzHcU5 Jȼ s+@^╒xbc!}xg~mk{ݷ>[P`~^8.eZO-Af럤8Ԋr/N{eaq0F;,]8WAcp0s4lw&U}L6Cr1S, l+F :OW`Z^=0DRX7]Q>X6EL 8 i h> iy\2HϓeP ϲYe?(x#'kTfopɝakΧ%@9z{͂{MG;Hݫsӊ''}(1iei"!F9GKpL.}6%h1[ª+2Ñ3\K!pM{dηBoJg.Ÿ :*JE~7Xմ(~y/%Vi~ ,KpPge~n(>& UĘKg`_ńPvI={tPoPПTyŶQD!W3Z".K,wP@x)J9#KoR^Ͽd-yxV\QxoM NEݥG Z fB?nNo6툑3xV UǙ'QH=EimJ9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A $*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+Vy yh:ֺ-_я+8-[;`>* }OqDV;3gZ"IuY/::RR3xK* ղ&jHJ{)* œ*Gg rܭʡJ!=2Ƈ\k5m"i/"q6X\@ gx0Cq4{}/p:/R${.:/arp/ , Ka 8ǨDuG<]=SfRri,RԃtE,JSm;?dUq\Tolq{C1Fל[N:jѺ_&*5SeDD!W#yqTHEwHr7]]OlDnHM2qv &d"hX5㗲1$GoK:ozNΤ^=h1lɩJv)IJ|d:;%&9>ȯdLR7?' &=&_I DS'HgRQɕ"qnP kLdӵ.x}C:\HH 沩2\ۤ5=k3e̪U?ǃSh Yp)+Ա1qOZNѕryNTk4Mdžݳ?!~\$i cjo7wɤ]@H湷pF&8_}(hEV8Q~9LCE;q$|Եpaq2YdL1aCYnD sypPAѤO4TPk<,4lk :Pt 3e %\IboDPa$ڡׯ#HH#ݟiu0u"O(:jdg?fF}Ծ4MSM;oLuLR8Ӏ1τKX焥#}V1x[ :'[ R}l/wuԦI`+mkޣاB uكV+Ce k q<Ovʟn80`u6@cN5FZTc)'KB&Ru)U TMO8!#;}\q=)|$wkJkB }N_VX/Q- 6ƾ>![!\f+BAՍEF roG+aƥR)ǹ,6"*>zӻeH},35toy!((z?13̬}J/#)#:aE=kn G;r`כ):nBV%DàQ_>G`vQΝaYa-ٱ[\;+] [m0B\i0J#GG2[ZNƂu]td$|iJIPe4tu Bg;=r *ñ ʆ~s47ȭ89 G$lƸy \/~<3GsZ#"y0*3az;v=24>{ CGk tW$AFo_\mס( ^e_^X*^޿jyC)?%3k@g만s2T.Kl2_XoS2rcŀ<[{u3JPXd:4~OoHݍ ߌ;..KB*㛂@n.;ze*>-عf\YS)*[:)`z4sI@D/sOoGZyY :_s+Me`Ɂׯcg __ f$] < 0>WE3` o]Zؓ JY)HF 1.B39'=vLvFTamC>Y׊1V2{=zFp0KLW>HEBĸO-) 4=)CJC-L\1"B!vJ L:  2yF| #vDyYܬjCY ˩DHk%lc#rq_}jSI֓S*/ Zvxh}ikA[Yc[Q\(֨ߡ^&ZG8[_XMyEX= qEmFYv-} W'$h9oAҕyl[KFBFCB9pQt-Y|Z֯V%RnnWB#Ľ|բ Y3hkՖJmc!D/K>u:E8|)jN38$fs/ ΦdLT~jPω_ k]S>  7 x(7 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&ByL lիv>VM={&s/wRbvqޥRUDg[O@& !r"nN\]mU=QQĚ`;eڥ03Eە&;;dM}rԍM-')z&eBYʚ$ EP.&&--a`X3 sZYUPYh`yLP4!aq,P A A@10 ٔJ VgW~2z Y!<۹c-7'5K% LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s 5 `gwµG#R^G/NnJR @4.*@@Α$KbnF'X'`x( %dRc* j/2ă'ү<вo0%Jj(ĥ 8(rX}&Ld}1 V @ rokYk3G$o(!Ę]ٗ]fmퟕjLlRmQGp9 9!9B"!$Pze.40v2w( \I~lV"LZq 5>_&&kT8JrPI‘.'䢏z60񟱳(Wi~I Y u7u %BB9#NᲕr/LoX9oq6bIùVihMŵ&l)Ex`ywTII@\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  l l 5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ :aL(FD`o}&H4P ?4ωl"@UUU RD=,q"s<>bO~yŽ4͟crՄ$`5]N'O Zgl|*T6,r~YtݯuNnj+|9d=͢$+V'\x#&-hrFXgi8D,,eIE)DIG̞ GO]<*ݓJ/O M/a$D r-Xd@| -mpg"{isgr^wOd[Wo/#atf:K̐lrވ9^9.N_˜b]>_K?Z nN(6WMw 2pɬ'wGE2Zu0}EMjY}x=>5PXw!HKeBu0) ɇCb{0Og``:di_ӭZM\Wu}.:==(=O8:zzKyՔ!yʔ偆e6"~ic#į?:j+*HCgllikxntWn;i*@tGպNdEkۼ+S63>c<K jjכAT E[OxBZe;RrՎ|yiA_u@(kKo*PW˚6yvٯ wrF]' !>?*‚&⫿yL-g1HG*-O< Nv(\B/XZgˬFBph>+ϕ3|ԧG+:si~1RyuW^r)gqdGQgߑ;>WjmUTQ2pcDHY~"E@F0*q|sDl3\ u,8y+U6 =S8bf.2c2c]/ʟi*M-O־u0J@4Fj,ot=NÝz@Y ! Co8K;PCC @9|)bH䖪O+o^_$_F2S 0X_$ -kMe!=9{Е<!Z37zƄ鋏^pIlc4qiYyK@ҏ!saŠa-}{x܈5iLz-RQ 2ܽ?{ˍWT[v=_ӻ}/8HW# vf%~VΩ!,RCΪǘ ٨;UXBfHC $]Y*/ RW6\t,Íh8kO ,ׂtyM nFִ{>JW3nb\/3Qt󥲛,nЍ%Ɲݕ4=jR7X6o3磙riQ ە&=wϹYA`甀6`L=)}ÛﴼA1,%)d~?cpխsR蠉K@{{ս@\[C ɭИs/RˣU? vX`peoBduwmYֹ욐SmL (V`ėPf n^P-^jIٔdԌ#Pq InF1*13  j>q[IrPm/Xs?C3jh;׳>bLiz3I%? F6 ~DdJq&l6-?򣚩mˋ&;K9 Ikt'nq0ydօ$W9N RZ%qFl7Cwdyv6SJɈ0:޳h!y0ձWLd`@ WtkNrϐ,{*;Vy^XVBg"AҸH9Ce܄!SS "# vY@KV'Q6dbD (Q3e;FlITC}HS6' U Qa;"Vr]Nݭt8B|8vRM.\ 0rτ4Y)%g wsI#@L4uԕ',V%ӘPwg_*ȖTG5Z$}-kSPm_j2w#Iё;]驨CK}7n*E=ZVXg1i7Q_Skve8>f(B^6 Y\PlʥMzӣڳOr\זȒv.Lmڻv5Ge~ш 0!U"~:z}X,rc0m%{Nly὎!~NL 1d lz!tUqjToDG(JYە%µmɅDn]OG9 bqKE+S s3NXJJW8(T'bmipNd ?B't$ ђ)TfBLXN-.V$ZBW® IGƐx)̴ϯg%mS7#% n/48,r#3dmy)y֘ >P[94P8S|Ǔd03IL`4$(rƳ#Y !;LdO)]vx>QD6Şb*)|^*w~'}eb7 (9FSfsdzc8G<'ܢ &9޷T_e]>:8C̚Y~wdhn%,魝[,ٽ,uZ2?WljiB5Hx֕"@G7aDE_s/̺\U+83z,UyqMg49<ĪR%9{T59'qU}T*ICgOB+-x/>D9% 37,kP1$Q Ykzo9W74h ]>u,)q/a̖B@4 l=J@5hلegkkhHԤm:},*UɩU&̤$_×Dtm!RY̻31u #cnSS̪ RKŻb78gVQU{_$O#Z *c` # _ÖcށUC dI&n@@NwW&*$B$bd12,$" Ibٶm骖x3zSxxzO{s*Ipfff833333f窷&*s|7wg,fioffffffv333۶m۾fUUUUUUUUUUmE۶%""""""*V%:3ofmHN97ݪ $ XP@ AX480P`C)`pģppKj80x8*x w*D&y1L$ D!)94$  *N~UnID9,Fɻ̮jKdҥE{áQx(mܫ複F5k E HF)vη(V*f"ƢX!x 4ѝ3m DN"D9GP}~-HV%:oVU’_3UoKDNG"̮jOd2y0 92+W5Q̝ٯrKtܔ]ۥ)GtS33333333O96mۦmӦͪ*VU)׶6U%ə&*ə&*UUUUUնwVeˬD&;û6ͪDfwkFꭉJhW5QIݮjMDGW*"sGR\R|q| E2r ǝh45y0wlH` ]9i7]5-IW@("TP쪷D+&(@T0ɃuHșifWD sepQH%q{$P,`P0\@ $,XH$ 0 `鋥/x;K#krP(xi7|Qˮ|Fi;ɀz҄whd^$I! G6ޤ佚iR5a"a߯b`Hd|-ӀHZnI=o+IdD$ﻋfVa?^$72LFF/A9aa~$51aV:_I|iFRXHNkL.dOtEeܞHj1aV"B|CZQݐjLN:H"a߭ y,~@22SZ ,BJH^Uǩ_+RôjH(¾ڑد#%oc]DijE"ao^T9EhpG5EBG+ń~`sOӅ跿+J?p wg:xR>! s\p~VH^x'!m#ifHAč8 m k~ˏ@+A{PRy鷫cplU}N9˔!+'J˅OhB=n. ѧjRfnȻ#f>^(zLL_ sSw3z[7BA&H&[EirC>D1wJОxN:, 9:DPӸXPS5ƃqVy*Qؙz;as,՗W:h2ϗ9ˎr]L]ḣ|/fnpdr7jvd1} i Ҟcz/,i(^]j8C#NQ0&3!g f/IVCi! Ad;\r}~Sf{@' A= rD&1o)ءm8LNc5~QVի/9_K-w1#xƺ$ƹ @~,<"6mq?f&Vh=^^G337'X,d(."A Kچѽ7nu)@<[u bq_ 5Է{(Kظ2>}q{\ Mѧ07^{/䪖A}8y78׌"WjB4a衱3uEKxuȵo(8_a t0ێi(ToΝ4&^.2@<ƭyZ#P&o\l|0v@+9mi=bEzrôH1HVZ/X{Vr1MNw\=m77iйi%Y^mc̪hoM"5vA=v Mz?Ţs<\G'? Dtn+qNW~uwKjG&Ciin+qFt:VIf$˟P/ U|7;5BY^dJΠ К%j8eLLQ}lp%j267 Wc|4CKej4ks$)9fg˱gn [bM`|(ڰ9R= Y6'x\ԛO4vSr tBg4ʴߢL-;(PZ 6z{lhz'Aپ@Ըcb<7pEO>3>ʦs]0f)h4I p˾Sk@FN۩xT ڍ]:jvb7=*` D*Ϻ]?NX:=KF ɥZ[nBop {*I+lXEc+`~^=L}qLo1xFeRgu{}2 )`sHSd#Q{b\g~7s1&d;9TS?SτydSj̴p; P):; e@%~aWmxl TnO#a:G}q`p 92Ts԰M^f=4蔃0J\` 5>rn/ 0 R1$,|?2@p*m;BS%FnHXEh4*`K8}_${I L^fGgNbΦX%(dSKBI&NƌtH*O #9?RJرp>d0,I2i8Prd7tf1+yCq <7ukZIQވȔjgs9PSK%yX~ĝ0\0(D!̋4U<$IS|S5EO2#*T2yeW.d#D=7cBŰH-~e1r܏?תԗe zsѰpccBԶ!Q%$+:z}NyWWl.;L6=Eze -k b@ Z֙tOz&!򋮇%^d5֭V\JN:}aҽ~vzHֲ">B.3v-MJPP;sr9î)7^Ǜ 4 3^&DJ w8΄%j|]R_a:&$x &"| l6 z(fn QۃX [k`óGgzMvŘ҈5NЎ4 5#,(fƎDT6HGM},^ yϸGi #T|'r3tσ5 àeǕmKc k`2-, bi%{!h Lay5w "$?}Q!7 b>sS![7򙪞<ڛ2 Z5!tfm)p*Ie$6 n栘WnUCAw> ~T,0B.lpV 5ŴH݈z&jEC tI(ɸ@h1ӑOC@>;[}!fn%<:z9(Cis\Fa 뿀&p Xȟۼ%; 㧯X({R'%S0t?Mרc(w߄}VX?k9RuNђJBQϖ$7ajи:䦰軼xTl7 \.SK=_TE' K\fɸotCăof (e|(AT8SOx:BS W*7=1CH(=P\DuVvqI${hHƎqBLG}݋@/erj<6+?&;u؃r̳(\b.Jx[8TͽfL ;mVSs-32 k$`[{Aw %Ҡ9g@C΂\;@mi@Vk$cW<[iʨ2<][ʙ&.,M)6@F\TU3DzA583SjZߞbPs&q:[HĘ`InQاxt /OY)*kO>p`hi2(pQYO]_S[[mIdZR2qS)He2֤gIyegJQ"24!@e>}]6$>_'HGwRNihȝPSAIr.P3[O-$P9&yq+Ijs"6BVV91U2>ZsgbLT\`U U'U(=Uqꨪ([C;zW{$ lհ{6W#WmH\G9F9ysIuzp>(3*a R}cf=|ZKJj|# ׳FsM"ط獍RR;00D3?mUD3]ZrQ"oF5!q8VUUUUUUUUUѐDD33$9CmT۶m۶۶m۶mۖ$I$gm۶m۶ylT!WvK2a„ &L &L$LȄ [b0a$ao%IKJVUDTooURm۶ӶmKݒUʉ'mɑ 9s*S_ Să8A do%( {DDɓC \E@BVhL3@(,". 3?v$Uh3?oڟ0hHjeR@5ЮspHr [hhK\'J-EFyl0vx&-q/eKnIɫ>;:@AՈv#h6ls.҄M&L&lg~{FU'oDn_*d%"T pp,h?LN ْIʓ2l'Iq0%MƢm%)eK$&ĚTU!mpV EF1,ƖT%fԖV^E4v[Z %DI%E XU aEt `EDihXq>Ūj}UINe4$V&R)ҐXX4$N;hf֮F#) iH4DT8fe cQA1H u9ɹ`Tu[rKXVf`%WUDe["+K% 욖Ojgz)Rrs$a 0(PdpTLpP,D$0@@X(B Cfè}Z B[vRҾUCvkrNhр*46XcHSR u.H~ՎϴwxCvҿR|w&W^ˋy4jiD6ZtL jy _v#6{K˩Zę _(~&ڶ *=̖J(>IQv1/3HsKOzizN>mPMMBOV? `i}"{=1jڜL{ps(6̬=f/<_J!"r}{XÄN~6x,` J. U|$r*-S+^ZWҿ5 D S/PQX=Y6ͧc_W`y pچf3Zc37%}25w`P"vStJ+@-02Πʉr6n&A5ݡg 7nPPZ‡k10|SemT;3΂Wr0$Sfv}]$.b(٤t~O$m\޵Li.,M!Pý=6~bK̃51Ov! Ŏ8(oi/ڡ)m.tmS:8)^nLfs#j,d6|5j*%W&ҹ4l?7AcG|uK^KFF x{ -PJC?@VEҁFv`Z Q-o 9P烑xa(C9,'`H6\h!r|_cJ13"!!,f.m%]DHmjp !ktQ6}%eyYvG t`AZ OB,.BG YFGxrR"zVÛ8^`9cb8K}c%$Fk;ix24~^HBCUfEKL&+TmG]+胯pk^FyV[8+Q7 t3R!1+\PG{~8x%fǗaKj˜uդ 5%(<2s"NЃ&y߆ HЦnf&w S8c%cF}Š쵈 l.z@cp4d;)Z1q]l'CM9lģe5/ϖP7z sbִ5_V灿;u’nb gj[K~0OqxxSnfqClspێS|MP\{jAQ{_ǹl 53LbZ^U1S h= Dä!̠P#t+e(RԱ_O{`jOTjQ ե6Pzq`Bvjv#Йn= ;ZfuLc^@lD9kl 9r S3V&UTs{ 5_kcL/|~`+ a]ݍAbs( =̵j\=$5!. jO;woOx  3dQ+Spn1nF΋ƠN 쑉'Y(xxCDM|j5{7i80+Vjd*iS@bvy6@2jүPZ/#Fzv6܋^rzM@Gtd)ɹE!n j1O1(eP6==6`B{fBg#=,_/^\E1Zމ "]뺗* %qyG=e:b ncTjP?G~`޵=kV1+^V&Rzst]R+4=)⑙ǃQQl9(I}T/mؘ?ivE`]Le<ѶX%ޙ^X"r2V͉4$}iNcYtژ9џ$},§%r#"TX換,%Z:Ӱ#$5ҿB߾Q03.A?Ai?Pŷ APr`1 AcO[(O4a T|k<mG{"JЇȱPT<+agU/:֔cXo) qPǝe{3&EJUd#.r(x/ի/_* ذQΤ]F+};5V&2VRYCIsrj X޺ 6Z>ѧIxn[3Q?FdBH ŁW^όO3'\(F/*7k kb9ևݱ!yX[G,Xa/=J>ej&{SMR¢dEK%W#eǂ˨AYUj4)[nׅ*,zZ_Mr'Y!sG(`Ѝ΅UgUڟ!zM/hԟ(8 cQW <ڎ[M&,bi ;V_Ʈ2*~x 9~ )RVu8[ub-@{3P0M_8#s וfzӛ0$/l]9!bӤ?V%HxMݪ/b?t~XSYTW5ր>1FuԺʷyA79asz%]&mSKoUR].!n=^ A]#Xwaa? qJGbL q}Yc]|tCGcj9Lo8sߓ|ӝl 6˯AmGA`jW>+qqDAdW)WGDaZϑJŧcp) z3m_s*Lؓn.owCD/cڱh,~c.}ɝJtEOԢҝD膣c/~᢯,F|T/z^("~zcI:w{ dC5[\B]>DǪ9M-xG9cK݂t'4H/!OF٧v]ߡ N#&~v@ .bѝ{8.Eio!5hrQN'b:}7x㌛ml|xՂ`1And4db@%n݅2 )^Ö=='FQvsg]{2:/"b$ʔ slVSY*މ"Ӈu/~g]*Qί]xtݫG݂MMH:q[~(9I*p&<9_ע>T]MI0C2%/'3˨FQ A"d>ٷ|M).z-RN0y(_[]toPܪ IR8王Dj;Hfg) ^?ڨk̑Yrz%ܓY;)nhw3\W%q*]'&'^<T\M$m3 ~O3k7Nmw f^eNڏR" ?Q&Z椝%.x Qo}dg$-HfPaRMnJh䯟nujs2ng;dsVy=׺xR/ w~Kw4-^ b8$%Or +ђhOH{r [^ ̉ݴ*uS$"vK 7:~2'n'JѡoMGC[*k|(k3N3`w>ιn׏s'xpm$-#l9^f`8NvUz rؒv}U=,= ,8._㫡~8#{-kfvhUھj\۳+/S(hce I}ӟno$RZpy7LU- i#ya<aO3$}>rseӖy)U'(cOIRz;mc7VW(-ܳ= p 6=zӸP4~u`sn!آ0wXeǰ"IV#lMlEko'rn~kv"=<`A ǎ^[?n|9`>/Yl =7=GfBXzOqzO RV]޳\(cm!j)rvV{@$A{O>ʭF:߻/{ G|ev_ P}OI}O"nӿY7mՍdM=Aow[{{Fd=jK%Ü9fJHQ4 Wy zã/{u_m#Wɕ| D.kf;QЁO-olwoC(D1i(a!mQn͓z(XճiBk%  h`=ڷZjؿyvrKQ!f`~y.}f`f <Qm_H$2kj%\ĺJO1.!VNe]1+ZSZuΕnj$E(ɕ}_|p 2Re|ng hh|nvtőbqiD q|" DweF>Z/rNJY)Jg9hL.z _6j\7!_SOCcRS`?AC,5O+DD 5&H;qk?M>ahbt+aD0á@> d@T%BB72hRRHH Be#fUz#'`V 2H+" vPP8__~<;+.cAqrAVV/Ol0jr8\yo8J.|0&]5 y\.|=/a=(w*ӏjP2:e1I_3 j Vp$i=wk¥8&.Ekʣަ)<=؊1&K߷RA% )% $S Rl%Yێ?)]mm]Q}\_PPΤ}˯K٥?~%Z;~m|@ʿV ko2 KpYE)ӐΨLc`uCϗs&1ꗋ엗;C_&2!Ept@s :ť?ZDoQd+wڟaX_`im]wfU]u3UxgV6Xkff"ޙeoXa&ݙUo[eYv{fVUbDLEٛgXLTح٦h@bR0G2cc[_1c?񷱽r1%LDCWfw9y9@p g2/̂y9s9vkˡmj"!a>FxfU?HժrH~,< @&rH6dc46,fPts`^zs,c p r%P*EZ")Z$ %J1YŖGŐX&* 92PpQ6$<7TD"& %q3ekd3fQڭj CbEE5T&'Lj"" m8$atLxg֪6}S*fhC[S CH01: ii&~AAh4 `0(AB  JbzC-#}Q%' A)f:/O(Bmrʉ.!FܞڠsyWb“>n5JD(9Q=wT<AgG .yj@,_E+4#&Y3DZmJ٤E5?ȟ5ILDqHqs=xvSZ,;.*GIdM=߈MP$ϾC6{EXQT{\ F Y?, v/ي4Iyx\1l-UU^i򱀅C~\\04U@SLo;[zL.؋- ]ѩ!(&*gǗq)+D9崛Rj!Rc8tZ@Y\С5.M< }ۮ;\w=߾LXrj>0":us0-`e#8n`VɑWT P4q ~{r2" @f;Q̓R= <4fg<У3#eUu7}@ -01O.9'=cУlC"yHtY:"D@##;i}WV(Z'W9C ;5IXpSg t O.ÉgR1[OztEqu)#btap{O5bT(Y5 QO9{,SSځ!Y+ɻdi_@.]za3:#)x+FC5dNhOqpkT'%*p=JJbb8٫r܉ɦ5KbwunQ*|x-WԳWJPrxK m&yTڱ1ڷQ&^EqM29ueg-fa;IM d(VKQD##|.Uj%܅ s#RTp*Sznj[ _Q@ĵe 'raK VP)¶M,=Җg?ˏEtMإP=9nLʽN8۸o.Uqa;=δ=71-]~ƣ4"!q;  }=o#\d&HJ\rEܦ-5zrF:3ДSvɶ9YHn^fG \qR =[D=uuPW$Z)`ײ0wس̃\6r@lY~}R9}wUܝ+Q0;BLgbȖoߨ@@<6lm"(""8fCϽpK5ZS4eF'1eF{pbc%ٺ^ޔF'Խ8F<ϮFFRBD/5A.ڢ"чBwKM.i8=hvIʿ7jl\8e0g ZmPߣU%sI ܄iӇB%$bI^tSyt7My,:@AjG h8<I<&&<3i6* @". ?EU}3VP۪Rp;Lqs=1\bjO9ԒaQ_ 'JVC5 )]R *Q G^OG۲Q/ ZW sۀEKD7)ِceEJлdVwN@pWP I5>vtAKՆDvD Pv6h{O+0 X 3"[ai!w6}ɧG/s1;@A*ҍa}qv9].,ְ8zF6z&`SMysz)yl3 LkaIlm23F$`@io]XJ}%ORe?]ȲT!?s}bN<C\|$|"/NC&P01pO JNRLe rkjn(z9?N6`y=Z]o$/7_0H'*N 1<<_}oBWS;}Qtwbtgn e~3.+P·\?{"{F~ -uAs|l4֫X0cgMF@N3t"vqjiو@'dG]eBlf:$%&k *pX X8ӁMPw+@l_jkON:@8_$YI /`a 5tѝ%UvJ[+2t0> ex46L>tϙ#q2Y۽L-~5fL\"5-1LHc|O7+2KB9Eqv\*2/~+g{1U&'~ *[7 g EI 3%°0D=M oð $5uqD@aeOe_\F2NAm %7cs,> 1L&qNe)|N=~,  ~)*h?9U]PnD D4әeqMqҵhT2ai:d_efZjqnT/Ƃbhs4{8Mm"NJÉc;A P;Dx$ũ~k@kx*_W!u3MV,U'aȋtCT=|"{?DVyLtu>!k?6Dzвy.mlXhIQ{.*rW@vr=3mU# ՏR~lJ:ïU`ka+ 28YgW.pEmA@8H`Bp{1*3MC*uivM9Ń ցʍ̈Tn97#K2#SMĻ}n9s&'~7(8${<4zS+OK@6tZ:v;ѳ DDo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodm5K) THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`PD InB q0آ*L`80"*k5l\N~!e&YsH_@$ED_^{L?fk 0/-.4F_ 1BLIp[_0LRcH  ; 5K# tHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E}Ԉ;r,{$@@@,7b Q@RcV$AzKKCQӣKA4G.P%50A 2;áP@*X+"AR)lYS\a$ `Q0 А.$$1@I$ΙHTST *G4B湣C(DK΁BƎ{8|U(7hQF|%19qDx4%Aϧc>HrY`&=XC͘jQ$O$tP@ p1"oBZt$z22x} -n_ FY0 Ԝ/z '@92%Qo 16w~ R|99?>`Z~xwQt-(b\3k!Nm*omٺ%n3y*hT"*BNOKNg={7绹~]IV,]\UJi8.oOoChgC`&V Lit+8vČ*M]gy=c޶-sKP1~1aߦsS;5vx\Dr1!I{6SnJ`G㎹g.94DoqSZ.Ǹ n&ޞ|Ր}r0fzg5\4`g`+kWNmBͧyg<PəOgPa}ck={42~;waAH~\6^gz3˻Ό njzn뚹 G8/D7]_7rFcCwij;3s^D~ENE|By(]AP9UuuT.AÐ_an#,'JLQc ' C`0 At1P+3pS|vh-W`ġ#Ovt )@4t$BmG(;eE}K 33t \Va[ә"Gfu]f0E4FzY/N N ůiUqd/凎L[ tC^o3y6];hZ F#5k{ӍJ/i_4qey`p^] 'Սݜ$2 ^'y˳=CxἏyB 0,JYP$|\I_(p$lP RKc|s C^-=ǀÊC9^\@zH?MptLv6rUpvQF۟hq1'vVCY0OIA W R\rUA  Mkv"t)ns(9.A`>HRпQ8'@T7 S!#/5Y`0l0s;CƇY K\ql¨`z%R /⎁(g m(l^ձ4iRvRb؈m JV5{QǹIVW7[31깇B[oY;+9},⹐%A@u-/??)u,(\,{.ZW䃟@^یSCROF/!sYD LROBKCfSfUx Pf$ #hmȟ)i` v^fZ}> OA$sus?R?3R,5y!Td"[pܸ5ުӖY7RFS3cw}0'A_A id =zZZSs-}'؄n<C /_0顑=CZn [C=`ˡ*-L!VB7['&cd`qWtd),@m]Lxtj^N8Rc{OB"κo+!ߝ(G?qjIu2bm.i5*|o?hM+9ΑX!BuA9哄@:aAMm=me 3̀>M*0ї))3>I҈IʎCBz"eH $R(K`4bJ)X+XVu)Dr 4!$6 =qXe׎~4ȒRoBcy JgIF(0˷ۯ@֣'?F%Ӎbݴ!`>iBn!q^ťOM`pw}\~#j]\/B,f_I[Ϛ$ I,Vg~Jrи/ =xm+(\P)єL%BnˬuW`be jP$:g'h*R!dnP*Xkh=p@r"zܼf` P`Q;lSR2_$S<#ᶟR,FI8"ٵq)|v815va bCu1B&{GCלc~מ*/{zrX7mζJ[5{` F+ a_7D` o"Ma/9iX,9>ԲgQ̌P%znbL}ck>$|H3Q3?B9eUYJY%'TÒi4 ]sb E81#cI(p̚$O֙a\z&`m^*fROR~1eE_3Sڃtܻ ;i5K64*wn,EO53'#,* fh4;#@Q]/AߎDG8T(rNXYKP|34 j*#4[jud% ;1(kP.j難 GW [e͟ KI4&D(z8-ſxʼnm)B{_K]6G6!4TڧdW{Vv}]J |"Pn9lB2E"m5֡(Ҥ7z %6-ᨉZs,Wg XY9dp@L@zzsL5Q[BUL6.%GCOo,og,2{[F)Nz4 ЭZ\+DJ+uX7 j$\\QLՁu(4@GtqC2X{Ĺ E׋SqnTRFSbC,c*V p*7An0Z5?{}ZqFlŖݞi zl GZwu~(,aw",Ɠe=]3Z~ߋYAU68I~*߶)>VHx)l;OaM3aJWHJxIi'0hO,BIl9BU@a%䣳<.bdj+)A2Inn{өMC =(@͜U`>m ءi _E(|TaNaq*t)Oۃ,UtlmAHE[dt4JS<'zКGND tn&^$F Om%BYNYB}܆36nK)j3@*?,$KiԜ0$; BOiS 7ܻVXaDŸ/ =$ohZ%ZH:CDB(PM!LM>n} (].?=SF24sE[@[CN]E ڢUkf-nXR|pbXO)0<"ZEqvX K׻ڲŢO[TZBFb86F,R3e*_M vKS)1,E$`Qazk \BeG ..>eӬ" C9ޢBGofeQ,($騫EÁ&mP2{_Fq ?_9! >۱QIJ^Ub;AEZIbGm Gފ"n,_y4sෘ4Q W׬+As?T?(-- 3 Z>os>HnnۨWa!l0 '4gx&AS-MΆ+mVNI!Q%fĴZ&{ Hfn8Se/2jtt ,㳵UqsoD94XA6A Y6^m.xFZ2qʅ\! } Y#6G]S'C ,^ͿWF F32!|!aj$*2 睌diȓk΂.ZhfPl\ m  RgQ>D>qjJ9<BkNv5:II ~5$6[CfN >ǥx7<5;҉SC1[p~ċ<(r$j3g{dE^!dWҀBT"cXR,W׷ǜ.N82FC)2Q"7mәj`Ht}6;"㣉bڎιږaA).% XM=)|ζ%z,q~Qv3n{$i$\Fƃ:ج%й s+ iG7Q*&iW?4'c«ܔ) m'`Zt#Pl|Xo-[g۳v Ylw/4A߆pEV!6DE*1Za -)P&R+pa{Ηh29`gG2[\6̔p*>7LYs[cy3#<F4(ۃbE$ Sf 1 dΒV\Lây٬=;k僙c` 2-=H?&sczCz6A1襗8'Jh ٽv̝KudXbA$5pCdYmA(=^H^C<CэF^Bwv2s=q pN9Gc&WdX]̓b;Z+IdFB{;|wnR3p$ӝAV8: ZEsʠkc{r,̲nKFSN `ig@gά-K_ 4skY^k=Gg<4 QjYP)=5k#)"+^dâOgI( S~\6䰰( ,-x@'((W9- RIۧ٤`‭Z[C<9Bnf+Z6iS>JnR Mt|$<'\b~*:*'xVSa5[?|Y QxfFr :e/oܐN*cnY Fz̔U3\2\|vQEFǕ6,]wY@m zD1/hXl@o-!jC&Sr:&XdQ[&JzFbgz`JI8SjWMgD Qma^0w"%FLULcō/RP/3`ff֐ cI Hv/G=>?Znc耐-6pNd&YD>v=}/nˣsG Iљj gyWgLHIi2kH` 'q2'^n!ax^*CW7f隌dYI#҈%f &Y4Ju~<n@H$ƼzwmbǼ#\s kv (63{e Z@Lwt]0)T_N&DY_K'*h໶|Hч(T0v2qX%rGsB@;T\O󙒝i%Z$q( T:2:Eas%ъ:P~LɖT]JXhmO P IK[#9h7$ \C2Z8^!2S?r.+Oc*=R(d{\(؟(,S^xz!HM]c\̐$|2YDlpZ`VN&9e46Ygv ʶ,R$^>U4^PV = sFųʆi;Y=DJJC9,XSQ%t$l 0U!jʐg"{v9lV}ˊ+RE._\OS@"ܭ@$eyn`r'0+`lUH #:9v$:u\G䙧I[sN-x5 Ȭvɑ).ga #E>>Rgף&$8QUѨ"2IN(CI I%YD;N9Lӂn.3xcȀ?j\@لYGC=p QTVRßGڈp"CA9&Ĝxm:|܂ Q] +k<7~!$, w*ē;OC 4:{ 9tL穾f inB^# 6R+MлL= 9Q+?: @.7F DL43 ⢘&xӴPrrUVlXwolYU^2v":pkaK(yR͡Bkq&C D-DEMo8;R3l/ٷ Njs`.NԵcqZ~e%̝Ķ]׊Z'^o-$V#?mK_[YF`}bŌʾ؁fE|Ţl ]*Ub;oA'Z}ŜRôHil`LznxZl|zO'6tžUم"b>F/eqj1Q=G/ e_~*r}`]/5Paș%Iq:C%HaڝLPhyAAGеO`։,Hyotޓ`4s̗ e6׸yB )|^Lq""f i'e%zS'}D&#M70]_ @C$E:4 sJ e#p5z(ggUpE`U BSUH j($&]AcTSo&d-_w,2E9m[YXHw*(g|POiO[.n5jGj '{ G2eUyW( -{LAG60lHUY^!v++EBo aPݧ$[wZ_jX󎶖|<YB%Gvʺx!G ^eGDҳZ&+kz]sHb|?0~)Psa3їo[Ga6^K|roRo8@C1ô[\X>q ߃x G;ƕRpEq 1p3*^< 6W!tBF0275@-vHnl]QeYQҹI Xě ;xi9u)e6! hޚw9dԺpE{jOYcHV'CV}z=* VX/R/d0Ԅ^%niStQ]|ýNj`~ %n?^'* Ui^a*?>O&99[5Yzb9PjU g߆_•  %9, dJ ?5f$ZP'zXf!cGpw*h Saog Sԣ`EAF뙅EN9cvʥ|n'? iaV@' ѧ[V,A6gKA YV j {7W+NY/_aXRV=`XЌoN^Ph+,mP+`a/d״|_y2nkv]:"_LHUAX#NWĕjLvJRrY:*V;e|}Äkt<$g`|\i2xFc3Ctzx#$;{Y*v! S.k/ɿ  @ # @ 5O% zHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`m BL(PgD|yk\Q}w0339rޔg.>T1˶a4g-vFT_ib#>e9#FOG^^`2YM 8rzx Ʉ mbqqQH$BW^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal J 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/l|O-f`гYe30% $c1ƆZW8}<szqBy%qTVXq0 @g{xw4 GUHYj  Xֹ+ 2EZ!XNfdae}iD űE#ADW,P;I5TpJO, ĂBДt䰠RMIK@Ѣ-4< l)ɋ#i0=R.|ѬM_ۑ=~т|ܱp^j%E=R ]z8K2Li,, @ Qr!ZĪ8CӾH-f|~URA, QI ,M#BDPIUk=SkML4 A'3OKQ8۸U܌\ uSLCO,;z',I/3̻"l4yga|#Gj)`, YJj $,+vH6Y []P +ZKR<<4 %dC,1K0v By^|ge 9wb4dctͽW^ǡsh@/zp0# <7T c31i,)ɀ-XH-꥞{{-s;:oZj'orc[#6M|yワI!? a{173/f6ӷLKKkdtm󴻷W~U0AR59?H?3 z=mcFK'Afa0k꿧&o&:blܼɊfhfۙ%=)ؑ)+*#kC63o//BM尰8{ǵC~jhnh9 Ξ h $yC& Hppxh@! $$ H z H 5O' HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_G#0m@-UmymXXh'GNBRRS'eFD+9ҵܕ6LON]E#| Z`,Jvt|͎aL4}PF'1Ѐas0@ hH&mTT8d& 4;꣓#hEE״74P%8^t c2yEXN@Z|PETC[(-K*J4?N$onrwT =5H3apT.x\ҸWR =sɄ'NUuw7eZ t&X#I)4L N8]bf> cd4˪u ɯQD%^3Xh+)k_t ^f/ gR鷿:N\V3@T3_}B Y"̍ KAHCۻhɗɓ b뉭C<'Ci5~ rY=7 bYwq#v+wE#VAw!Jtt Jtqt=:і|[̖tO}"ĈطW=~oa rEHH5: eJ=@` 0 A !B!@c !.4S%y%a-aM.\Ns}KݴX]ԀXl 6|nRd'A/C2Ys10%QX?1'I<:>|j␞*j^4ę s[-4]ڍ}A7:0c >0!5t.o  lJ o{v=ƿz],#%ԆI=JlGE7+Nk: @ÑBùkZ嫣@fV&U2* .P0܈`[Y;UWlqx>Oӯ~KOZrٰzn1p­IJ"fuZ$7 )mZTwr`gEv'|n4'Wk_W~_аڎsTgm7c h?'gyˀ5Nj<̉=.7 ꈔQن^B0('fz~Nk~#GbS{`=AAv-C=8vu] hp@ ;K<36)"^\n認 9czp;~ xWv!軲z3骗k!76] X*S74pzΪ<JRq|x{JPz['x# C,mc)Qގ7Fy ݤ=EDӅ(nZ5*~e1[jxLh،.㭢&HA;Թ{DBo۲G#i٭X> ɱV[h j.{TC^qE|.tC pW7ܪuuP DwVSFjl*] `LL+d?r]9XES9yԟUKB:Φzc%$D)%M(* H`aaKR/(YOUxS.<:A=H1y.//>Hgxq3t_kdtr1h[ˋ:sn`ˇP7T_=#07z+,/뵐z!Zf.iR` wpX7`Nr,C1MlRYO0-ms%2Q/7,~YS祸<ܵ|tƊDT-T;Qf$Ą!'oA%ilR,MYgNo@hlJ%"zve>c`84JA9JO3T۟lNRFIsREgW Saշ9TJFFG]ƛ3gUH!*jqJWm3&‡*tېVt{n[I$UN'1«XN5L}8P~k;YKf]sR)"L@[/!/N.jitHq .^tld~#`^/;yEUħ %sq~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x