SQLite format 3@ ._  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 ZZv5~:d& ] UHOL-Nominal-Examples:threads=6elapsed=271.027cpu=1356.877gc=108.771(/]V3%)kF6w~a|0_t5u;R%{)KϹ*!f-6d}=}Mɚ)I;>;Klp*={O25m3BewCiKUnRJbtHȝCnw[氆t]B'IzlUƦbg rwr&t[ri7U2HZۙiPnee8ljYUmX$H%(@w{"sS43Fv]4!¿XInP2$hQ ((@JtC%"P``HD,8.8jq*X{C,E2<7)eLe?ED   5HEDD| xа(}&,  <@Aq3)+kK t(>䄈hHU:]2N=dA<B lthѸlj$he.!@9hG H$ MYdx5PHp``C"hbT6A`stSCn8+Y::$DbazdK "`8DJ-(804iX(4(lLLD $ @`CC`pH,(&#wirEror;;8brR1gVrLE6dt۳[6|2:$9c9CzfrA^YjLzLƖ4-![)٤#?a Y֪ kv!ɚKB1AVvH<Gi:>n4+ْ9R;"Qq_HMVbWCd6:5x?ɍ MIX9X8LT?)Oi8c'l7iX6xCڡz cp}d[{-2D%z63|IFʸ|%xsD!&5!]!۾%ލS'bd={^%#ulxc -]k(heآ! :>4d뇝2ʻaa oy}HwlvG|Մ]+ Kl>$+i:ArگCStlj<3a}zuy_Ec:SW`]{7rZ_E={׹5Ϧ|>4ϔTxu&CW;&Coud\ʔ)t5qyY%r fkFZHgSQgt8x㕝aj0+lL< /jreÓr3mTЕݘQn̋DO7Db$>b-9Zz¹:گj~_m_YʪrjFU;>Xe FtC^1\隩Nil3v 5 HOL-Nominal-Examplesv tu~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t 5K) 4HOL-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+<&Bj-^~풊!׌3.+~~>#ZΙxɝɊ؞*837"M(eda$ivqrkbb"&B'?,1""bFC=CW{px_ ^ʬ pJ@\ C5w8έ޹rB;t<$RDxogW~p @\Dqu;%YNJkfoRZsDOi 5 5Ks111cb.;^΅着ZA&jP,Z0`X,}``X   "%-_@<rDñH,oh`X$;"A@Xp8Ģ~(,K,R\/S]g.#L~쌼3ؤM$fP4UΛoY +WqNP&WTZiK>E[*Um4W-P®ږJcJ{_JCMU]׉|{wRS/qw`ۻm(`=oq|^싗{.Si품 nEdJ[L ę15G{]/D_ۻr/" 6{[eW]*)nv)$צ+SI(aES0zrI|z &FI0(s^(պnzQPYch`Li!qq, P Q 1H00 6\f,@ TΊ4l)߹q)pݼ0S&`v ZE9s!%},ir$R#PC ؂ Ղ˂|{xw]sQoPhMgCdA`-\,X+W&TPOKHEDC<;:986320|*v)u't$s!nWVUPBA @ < 7~|{w t s rpnjfdc\[ZYVSRQKIHGDAz@y?v>q8p7o6l5g2].Z,U+*'%" =60/+* # " gLo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%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/classesH5sA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesrF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  sREX-+KQn;ntgak3E|oߠzanvQ4c+ 3tv=>τّI |esRwRlǶ0 .ϜbR*(u/Uszdd,l~PC&8 Nס=SD,^bԫ Q-g$'(.fN0 ] [E9?ia_J%EH-;sLZH2Nb'iR$ā|o8\aXÛLUބx Ƕ?p W%f"hLDL?AcˤFD>Vo>fUtDQb .8?;a X&i@+1wy&l2طdon,p>?b=kM;|r#Ix ;]~Yk`{Ċս.Ѣ<S42Zx^ԖRC{y*Zs`nhv0cx4I:tϫAGAas ST#C_rzjyc [!M$(>=7 *͝;;Ƨ|1@y3m"g{ae͐"V+츄ι EnuP}:IN:a C?WeNPmd.|_e 4w`%.20R&tw㘔U{_hKn&+ז9/E3TrR RlÐ0nf@T4MOS'$| -HΘ`8@BX RN3yqѳ$Cd ɩj@vdlL$ "}#; t{[^DoePn$#~$`G 52 /SU'?|>u?x.Q֟ݟH;%w%VXL jf(QHU^*% / QEF ڳol"9,Ky:حXl)H\Եqmi$3 #f zD6;Fzw` *%c 1.S FI_R pS=Κi&btʳ™>4rB9U]%rXėl-s06orD € ;%;dZMr(6&U$n8@/lM_%4YN9rv̳/VNo,VՍkD+TJ݆Z'QO#_5ivwZIɼݜq>[ԫ9^nhuET[ǒI:M|D%/DvٕvЕx1,Fx `Oz#lig98_n3ZٽhGNt67߃qгvgfggKY*͢iܽ_y`R:KfL`lؑz Z@yLH|-^F y'@pQ2yCSy"vI%L>1z=vC#I}vfs'ݐJ:S57yoVN%%Pǫ}hqD?e--"k/кAvsOs%$ #8Ws!OC[~v)nuDxoGv 'X~L("7?` .ˑTy,`PEi]r4 TU wΜ!G}yIJ,J؃x>BF5/%a)ָ縡 $.7$`^A9MuϻL#o$JG$G @4+~f^>X͸W0G`qayD +HaCȏ;Rף[FhAXr_hu|W +r~EoR]s3wo3A?@JxdŪP>>@OGGѪu c'g'[N&\6hC4 ;d@|[k$y9MݚG+!}7vK@>CtlG6Gk;y$•ΌuCƱN7|w[DVSptB OphB,Doy΅ "/2Z7(nCj54$? *e֕ !6{U< Zs\7b -]{}3bw@gعTCOh:.44LcӢ6F IyqGN)aΩCbk/KfZ' ϭ EOĹ~]8&+|\zQU٧*!X<@1" I>G{ǭ_ Ld@#02t*:Kt,rW>B;n}xoD9PF!\Ե6PpK$sU=^>O}MքYWH|ߜ%mO %rbKʝ('٧su}Jqoo_ %ք~nPmf"{|҄鵪6 itP]N3 B1x4`ГopK ;~5;A ӒyW4 $vkwuӲTfOmk+cqQ^Q_d։T`-pC=F!od\pzvf(luMm/ tQݮDd]\YiAL7MxY|y l޻ Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,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| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@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۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa AjXkd tuM&csytIv'_. _, ƅ+vT <(^Uh9ge6-1z ?rhX & ND%Sq4$9iY3\FOMc>y/ǶIUTDC_̫s Zd7tu$ U}xށ}x2NF u2pPB#[W\Sy؍cxCIQʡ Jx85 mD!?zJ׎L:y^o Ec/F@%*`ܖjը]:]ǯoːӤ>W(dgCV$OGs7~ޙN Υq*?wHK8(=F! gpa/iلg k3YkOSgg_2w/G޼LDƭ_H6k YWD;DO]ʕ'pꐤlmʠLD+FYEᨛz̨$:ז)G+A^Pތ9{<`5omskZ(GfvJO""k:O\5Z@'*bS:вkVSIf3!$ MԉlYUTn8є $Vvȶ[רR)z^ IgeN@$vdbi .D rEVou,UsYt s,Q#:kon Pg#2qø אq꭫Qf܇eŀSTK+9*-m~bf"% cαg'x8"ʬ@n1n ѕ.dgvnbt8-v?$7B`M\^3$i[9͌B$=WϵV'lyr\JlixЕ՟c@*E2Te2WO˘`U7 #l Tmi0-e_bRvZ52Բ6Y#3)F~~&!F>a'dGf,눻z3S6zI\)>g׊C;h)7WBޏ_i3'HgtO#]|恃TlN23ĵ& °+m^å,(#V +Kź[\*cUVP(u}U@DfŻE}Ƃx|Ue"$> kc6IJAzWI,Rb-dHMI(2x@meuH[P[i\S/#ṉhMNJלLB0GB77\_fG8TdVNKG()f{~vf2Vq'\H*48Ek T7穚<6w6I )q?ZyN_s~b>܏犱unHchGJ$s~zBM`x4P{ÿГ r ^~UȀ`tI 9PnaN nI!<$L\EicA(Z(T4u"zj$)W `fe5}6r8 U0"Y$12;Ae@1yChCDx>5gBT= QAtpBgqȜ/o^:m`A䵘V ~/W'LLb\.ǝi?r-њ~%]qXG<2’xm>5m,Ke>cz8︤%KKc/d2h#;Z$huT2@<9^(mpJJ #mI2Inf!eNzʭw(+(¬%K.EWj) ~3tj7IVZe/ Enr=m3E#JQQ3LK4hxfbzt6v"ƌ&^9GP*F^,-P~d {a6RW4ytP 2?G(kQG#'>S!ɡx }cM؛B Ra!sTtI雦n/bIՠ(# {8b{9<-nO1fTob"a29dξiW6b|k 6tCkef98Jʡ}RHri b[<ZJMjވZx\pm %e3YU[\Y)Nc0͆FA!& ]>Qzc5`x6\ YԤ&V=%+FI (_VkD[k9[`7afߡFzL:D7᨞ADxNuq8ZWӬ@ ]7&x=V䱖U+d  -kS⫌d>z{Cӱ9Y ]1#~hFq-d|B>/s*_iH YZǑ4ÐAn:A+EŁӢ9k H9p)pƧ!pӖ4r8q)Vo ޾fť2"%%d- qHNѓi| B$T i5) L'20(pM' (;/K牸_ 3??mb>QZH@8/Zrc[3RX ʙH l0e$b<#msb6իi^0`A2Jrxnx"M0c {(W.\2 nin^B!@0'3䋑>kt= NhK =kfJg  y 5K) 4HOL-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+<&Bj-^~풊!׌3.+~~>#ZΙxɝɊ؞*837"M(eda$ivqrkbb"&B'?,1""bFC=CW{px_ ^ʬ pJ@\ C5w8έ޹rB;t<$RDxogW~p @\Dqu;%YNJkfoRZsDOi 5 5Ks111cb.;^΅着ZA&jP,Z0`X,}``X   "%-_@<rDñH,oh`X$;"A@Xp8Ģ~(,K,R\/S]g.#L~쌼3ؤM$fP4UΛoY +WqNP&WTZiK>E[*Um4W-P®ږJcJ{_JCMU]׉|{wRS/qw`ۻm(`=oq|^싗{.Si품 nEdJ[L ę15G{]/D_ۻr/" 6{[eW]*)nv)$צ+SI(aES0zrI|z &FI0(s^(պnzQPYch`Li!qq, P Q 1H00 6\f,@ TΊ4l)߹q)pݼ0S&`v ZE9s!%},i&5K% JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s P5 `gwµG#R^G/י쒤$IL3.)0#!EI$01={7H,ܓa0Bd 21ĄڶkpN(!͔20xKPÉK#p,QL䙈.׻ il_+C${(!ԾZ5fT;6:7wۘ^Vc{jmQ*Gp9 9!9B"!$PB{f^x1?d5(@>x3MجDٙ*EeS*I2,Y#q9d:KO6GC\N ieQ>S[weN1}2'xݔK5B2bNy+0alĒRs op0s 0if kM 0B-*晴6v \5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  C C25K' `HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ aX(Fxh"Iny7p/*JI"")MLqc=X@cj_^@@c51 rVY!4:;u ULmE^ѴY46ݽƅa؝q ǩM}>^GIRcQMңQ"X5ShI!`DILM[ʣ9={JwP{"vXWV*jr(DL sg]4,8< K"DơЬ0LLr8 c%ZOžPXh,ˀR@BdjSHxlj8sU*=]|몇{ʙ8ZA2>C%x`pHՠ! c+{+OT UJGa7ΪPM"Dh#j6ʙw 5yNݛ``ÁrJao]+os ^g+"+(2u LX/>?vVmMR}]o^4UqOq^u˿L.aMPO;ODQ(qǿ;U]?J5@)@ l4(xpp` Htp` m4!"A@;3D0(`VqmH"2$, $0 8 8 g9%,@1t .gApT*!-cc&j `ʴo:RHE mZ한DxlX'YУ)ID}h ˭<&j`:*s"˾]N5d'u,R>a:6H&f1lnf%T:b,3VqNgL UWMz4FJ@2}ұ˛pJgjoT#eZw=Aoy?ZN<"Nrca6D$)1^.,9I_MTp9EeN:nu /VHDdWCK$@ssgm&r>eعQFr0, fUA]ICHiּByͪAvL^]rj~Ly/Z5{%u{H8#rUC_M!;⫋Pa-SӃrC=SW篟U+j73G ^*먝[| txWhpϖ.1F_`^IbAxCλv 3 Kc'zr/ۘxؒ>:)q?)zegbry9UY\n$pCJqjŖa11 1aC൥dnⰵzКf2ʁڻ*AIK##b2"fBxGgik- ꍭVRhuCzX9^ƶm}fоS֯H$tٚں(Pz;!5{CSJf0ÕJWh#uUb_p9'6ʞyͿZXlhv7 MhC{HB+"˟8\c-'gSE2 b{!{}>[^Rs aj )mԴK4Q)OK 6Cl;@3ԁuw"zL)4,F5P!ݠ^$텞~f㻣1ze Á Q!n&^$ցxɍ6F5nEϔT*uZM`hM[w̼lᕶ܍p0TtG|hP.о' $39)a M33S^chG׾ Xd2 ~gE7R$t #.oCSy=fQڝ1_ƷBȊ ]7-Ā}&w[A~$?_TU`)az@Lێ*kP{֙b:V֋SkaLx'<9m,pYjd˰FJs$\Պ/ucrfkMgLoeDy?|a>\%1c !EI>{aJʮ#Y}އInzAUXGT73G{fUPyY,kE,58b'>ʹYs5zмmr5Ux% YYE&F~; V $\yd߱rw 'bHh;z%T|{TSM6ht,[|n>p d̦@s0hx PJdljjw^Yz Xv]I΅ !dyb4E\='iHɟFxf@ ZNMMeH_{qE+\ YfLB?ḆgkdN=q.Y'յp"yh-.RwDl {{jDP&1.ӺCi"|Z4)E(RA^ 𐎚9:Wah2៤(!Tt*S5qs8t k6%k C;x4}7rzTkbOaҵ|%B\8-*'lf~bGpA~Sf:.9r 04xegC58>y5>8yI-V90 GsMwy*066(Ơ_Ν_o?3@ b:hK'psaQsb>. Xbʅk Z0u:QI8"9xNӰ?~>_\Ea!'dNJg[/ [ب~@,1BaNBZ MOkd~TTݻ 'AT g+W||/8g\+@2?k[ TXF6hH/nJH*(&hĚwozG"ޣ\&Uu7ȇd?5V|0,X/ɨ(8NcxY H"NYӃs5V0r]X|)j B)I@qtv\j#ljjFxMjʣ+,p?=i%N_ +m*`"U:b_bOXvR70yց"q(!;+UJH_g}9K?Ni{D+T "꯴~) oݺRdߚ1mޙ5:Dس-Nj%mnKFB#HEvdH>(=!\]uYɥ2o|y_Tr;pȘ_"xF&|ZGnx~j&;l.4K C_!/Ư3?Q,`=//=h(K7wa@pWG"9 Xh7S"+B\$vwČӬ@6rX.=hX35 &vϺ4`Y*S֊bDN_P$b.~R*!ZԻ^ہH۞< O>&?RGiY;q"O2ޜ,7%Gϯ72~7z!>*'?uMWm0,orjM1fL|68=ᒉMYı D!/3{nT})}>)$vS0ӎY]1:3>y U(5Uݙ_&Ӗ[mHV;a'ˌub)qbhL{38T#]q(P=!|hl3Wp;lƵ$鯫 Lj%_A!p)}O_yRq bB[a%|,DL6TBJ.h%myp "3tM j4$:<7Q&fEbza iW5E/èV#WQ1$smQb|S5z([ g@s( MDU"Y%A: %ѤAF&BSY(;JzҾ+D28r^o}Up''%znL֭+_v }0(ew]s4Not&N#7L=@:tFgҢFfJlڍ)L0S) rP0WG?3SQ}aDB"p~ީ4{@p LcF!d;SL.4>F?\庯<Le @s Ǎ5VBd"`\S&cQEwxܵ0"*Zx xG^y@q}\RyK/5mgHg3RJg,VJҡtF:C3333#팔fUdW#R]O*RIw#;ߎfffffvuꪪ^G;h;ȎFDDd۶ٶmmVٶmc$I$Iw?7*ۓUl$)g` 0p (@(X(``@$X p@g '$224$i< +>_D}G2j $I6QZp_ۖEM ukRh7 HfR9'7刻2\\_&= ۄd& )T#O c=J@2٨^|]_~̧jG~T0-#+NZ(Gn\74nV:pUЪhZQބO4;ehAH=^g(ٱ>_ݓu. uv1ʵӢ1l,?T41/wR_v}gPR尮Fcӧ`~@pD ЪooDߡd9#U"L4svwHMgta}g8BhYzXqѣ)| њy%`?n :b(w.͞# nj{A6^VsL8qQ-|P?/)pŠ&G$|^r XdB2]+|f-08ţ~o2TXt1 U ډ=?L--EtIlbdD A~:yѸF:Lz.G>SZ0=@Z3Uos \ԳI?=.kyq7W_iJƲ,-i.NV"BÒ/vpqۃ'NoUzlrixՙQ3 VygBp:5BLX>ܔ/lA+t8KuU~u8P> [$:1ZgǹC?1{fkM;⊭w`e9r:Z^%|THuKFn.~*ɿ&=p6oX>ݛmK1޼.tre!!R集uI%7RiڈGЯxU;RӐb8 kn5>MxZuV*?ˁuĥ͏q!raXKnmZ_= W?5'+1п؄]p4H@[-t0ő򆫜4uʷDc~I)9sj` ۸УRw,`Y;&pA"oU(4&K#y/NHz h7M=qOn]Պ%_+}C׻{vq UaI=,!*m.[>X& {@j6f vkS]-#ǻm-Thy݁F+<YĪ%֠2}7sߙXЬإC9M HKJju/6j&e#>iWQzu襨Zd*/d ^\e,p'7f8#5򪉰>&DZˈ+;ٖ`a -mld[314ƺDUQ4MqʐקxX [dVM5& `,Mn&qk.X))ѿ침KJivd=A/'lTCveilc%cl|%If'p3ӏBi/BUvj4F%_s桋0lڲT\}OY{ߩkՏO<!YB\ 滩sBAйЁ) Un{L 1qaᢃDžMLqݷc_X90Mwyd) n&PȍZQET`ժ9M`*-ej ZIi6XfTr]N LB cL}2 >fWH%&3?i Nd㳚SML#Vz!ӁqptDØwE8R.۴/ɔ늰gv4AIPWo6Um?٤Me T7\JU|[Ѥ݃613 89E&'T_6<6k@v_V@;{ZwƇ mT?uS譀e\NJ K-QMXd+2t?64M!=뱀fQp66N6 4\; X6HY:dEhKjc8(+j#ٶ:}!ұ`\;̭ y7>$5Кj=[==UYL&\@c.z.f] Ҋ\#vh[@Bt!ׄyM53 5!0~j> F}},I[ƬL!¹6mX%Hh(&X^L1|l%ƕKIwIA2AR$܌%fRہÚcn[eXS[ .sZ y<'$6,rl .mYf-؀ NK3geK;P*;GLMwchf%dt,JftyN3`YsXсuOj+-dk~0A)tXA\w9#Ӑ+,\ @ګ[1f?3*_8֯InXo7+mXudHd}q[vmSi(JqBy10WQ`UCԬGryswU-M3]R~řCj\,8Xh\f0RRygtV f걿##x ō}s7 =t~H`bz#D*7_g!;;~u(JQ #`A< zSԸ9,^7Fwn:kۋu 6q|P1:Is(06HmJs^/,)QʙRUx? ? ײ?Hx?4Dz eVmdN3h–oG~F %Ӟܛ}#`Y؇< V#JCf+25Rc7p3ӓL[ I9ȠIdV 4G7 KaÒ y:ÔÙ$4ҲΩFS@ PO Y@ ZQ@Wܖcl!kKu˹ :j~s &u|rS4yfMë&6y)<)Ojs6d8JԌyu0 [S}?d^f|)C&&y!/O:$_0CD%1!Dcݰܼ)\\1“ YvFGX@y E Ѐ~Ð)(.u qtʸJ/J[lgL*S6T#7~.Df-x1&rnVNM3*Ұq]L ](k0$PxvіWl|؀nw#!څb'i.s{SvCX7(VR,ϟޙrRzc9.iAW4DG$EkZ ϐ ~BV+Wɏt'!чH> Qg0>&ei9'č?$ThK#).7QeJJ'5·"Q@I] E?A$O9$zoMҼYψP"f%EMd$`Q\uRwlsbxƏx'G=D1E^\͞_. sUOe"yMkՄmFFőO1[.dϾl)lF#UGLpgmIJ+ }7nk#<7| JغsMh '-:fã9֓.!eLRR(c[pRshԳ{D2zMpv-=D~ؤ.4ba=7Eej1-!Yxu5 EOu"$S{f8'(* <2OFؖ@[,n?W"2%T$x럅J{[M LLinBG0GW G蘀K6;)b&EjJ2 O&sGHi)D0b g{PoDRۇ -+ Xe 98G}|aGٛ'"k7S*K4," R80VR@TFbE3QnəSjAa3۫~"%gh#&K6e MIuDR} Ft:#Q 0 X\lHL\P0H$*蝮^e>b{rUIivg DZ F\ٌUMEG-OV&mrRl|$|*^[t2PL9阌R$P{V aSǪ EN `]"Ax8m\d4:ZB9Gd6ݽ|9/ɿ8bր&?siYy,!Ub^g t dm `b?<ߒrAՖp3^PƄ$H* .ɐ4c;'rJ"Y?vX`V0Em(߹2Tĉ/xa F\VcYKhɢ\9-ll􃰵`lm]GʽCNNqӼ 3tF%x7$m|\y^d +aJkQ2yb39t)Fb|!3ΨoQBqY 4~p3?5a%QCAԯS m;\l3? xvŇxJѢed7QiY`LCC.KPP* Fy/ρR1RXO+47iyoP! &L(Y8ٶ;hp;vP1p۰ WJ@ёX^:_UMeQW@9:S,|hg<'[o(@8q{iB p=Mb%}m8?8Sp_s|OTld"kvFx{euu\hzYer~gbim4^*S@[=/d9$6{*Lm̌ɺ4PKM$zo3Ǔ jpyD*2s7915=X\e%X̓}אjCRb`xG̀?#Ϩ!gA'Za]2Pp]@Cyi='%ǰa|ƧHZ6-JD4&KS$= ʠ;>"Qp -@3A 4V2(mκ1$vY9XFD/:dp(,jMK -iTH@9Rf> (ݝ+YRN਱QZ4~z+]5ɛՄCOR(ZCT:beEODZ{cf}4;WվL%9I~d/CeZLIq U $y* s+.մ[~%qe, Ho2jdCוnXA2iUrw0sdm5QJWU c'+>~䘾4Vn7gOؿ#䴦)A6>0ISڵgb)}"Z 1.q)E͵l;K?pKx,B\=њEzs'5DrJ@:+5jq*Yjl'BD8HuP^(Xh^x1 Lw=,C2ν8_z s…)-%}%ᵏxʢqF\4uu _p]큋M73v4J+$۩e4r&orܿvg U?LO;hKI6c'zHv3,c%C.'@. DKkE4J~ V40wx́vz٩e {[?(p|֮AoB)vMBU:SCR,*\;VctX`N;r߃ޔd;IQ cipeb+}el p cv_A!b(΍ Z[9 Uʄ,:C)\UKڎ* g5ى޽t]yk ZhPm齹د ڇh9=}N(wWrPOWoOP =rs9_%z\fbWž.5R zy3QıJ,^Pc~|'xWF"X:+]n_J? Qb2:0|q b]!+O][nJwd'Y*F3& I;Ψ{]sG.~mW 1y@ 蒗pJC.B}i l vA'0>u%]v%{5]70 X.iR*1/=Ix8f?&s}"-ِL"`$sn<01%vީcG2G){þ^S[`sD+y#\>`[Kܑ"%rV%v?yS+r Q8WN]NP -Vl% oi 8>pc}vAkwASxi31/V}~ћhG"n9:7a/,On"v7:SdudW~ӟǝL?@3*w $tRVSL]ywL^>E'>~%srt&9M功[۹a-!)IGO/ UK=՘<t4ls f~5B/eגlU]O?8w)\앙r)r=JA}X3苐9=;Hf_L l DnqCBjg@p 1|GD`mIF_D FSNq~nT |Wa!>MQN\L唼i?'>xc:x9Oxu(yw_LkkWQL,ZօV|cݲ>, 烎5[x u813U /':N3Mi_aM3c{]*68G?E Z03/.XjYܷxFc蹶$xG9lͲX-ŰMgc֕O|miÀ( ,\9zۤ@cn~K4])ԐK37~Q;e%F Tyȉ3V \3& ^W56g&'H)0-w^dDoZTl$ p;dr}4Dle,̚|&'Hu^̼)K'n=F,N/#ڠJDډ6Dwf<ѷ#a3'^k|G2/$ 7HE+bߓV/ˉ7Crðg˟UuF\U:ObUg>Ÿ8=ΕA:8φ܄<0cORfÕ$%%3xAQ x=~в5WݥrGK;yK|/^$6虇H 1w(VwXk)JnzF?D˳؜8!tSߛ̶ Z O}vW _LKT;v^f>k>JWK|MITm0,~V׊ج6P-4yvˍ ^GK>cOp=l}|Z}n}ڽWuNtw{RG& ;jzcXؿŗ艙 qTZZ܏]T!_;{kOD_zo^Gok-9g?7>MotM}6 >D!RmԇMo:O0!5$C >tPAf $)g< >W%|` GMG3=ӽ)|9R Mg|a (R`2hMEiǠwwbd+A| @Qe#$Wji Lj]'e)CA1Ȏ|EKoŧD@Qe Z&ϨJe|8eck߲h|]otc"}.{[75jz| Ts㢑qV7-PUBoEjtF>:n5j| t' eDE?x((J,*%~c~{")'˰w[5"s n/c7MzVP3엗LI_K@D<,p%C7,G7xXOmԞeކ]oj?7D(qa2"z Q;ى 8򗤦ߒpѾk;pcܰwI> m*e ]XJ%zOޒPOےKnZ]/2-itٵΒ8Vw~Ҽ&SmZo͋vXRj&1_RwY4E:`YRKHTr[5hSRlԔ Udն_PfzORrQA%v0 `K^u)\&)v .bioxL;*n3nUoo۶DC*mn̪nȞY;4'g8,_txxHD$Y AT& $?DD"rQnAj]!p96foc 4LD;3rx 8N4%Ŭ˩ˁܶ˱Z=ukj/Y;whfUmVM*T;  u]PG ٘1*g1KLYҩ*aTy+Y= AP\ιɐJn%M"L xID7ݍ=jQP;s w!86?c@$"Jq)׼F,JݪH*$ 2Q29g}"H0os2 >|6ewfV3Z I[ ƃH01>J0K42AA±X,P(AA !CA( !&bCZ0-QE1%q':䍞t6W+d#҄7i (uߏ\/Hm TԿ)TA/9Br@1 x34ȓsVVR\]5ÿs$RF9r}[@Md'VSEw-zƚIuGht늛Cؠ[_nmTp9OFګ=?Ġ) z㪲XD 7TZas3@Tpy]3]l]{tOKJ s֩ "* .N X pfTJx pnbR*O^@ѡKW/#):8}‹,oLFIӣIl4[d=<Ғrljm]W@w J 3VfM2\,׵⫑DĠ\~ Ci&Lcj *._WU.Mav f^c {q!uVΆpA/b9ˏ0d )-`K %pWӘcd£˃T p-*쾷.Mdr#vN@=&\ܟ'[:]䣇຅xh|ZqhԦD@搄:쀯\0)Z18>y-:z>0_UG]ʦ%{c4KdF5bBm]D_yЏbJ[xSF4\{Ѹ$c=wɇ/֊Lt"x >f`ȿyaRYכl‰}z=x( gtJFL hvSvT)UhљS.5p'A`s"<\ܳ+CfDHj: UDKqMfZ6HY0urM: 9meթDL!'W"QtW2#_2D}w:![pW~5JNlABs;?gjiň4"L{fYe>keHF(ǣgM>"BD)le;IHTK1`SSmhGxqm~shHyCrBXaBqď!2#2%Ѯh2*:'",]/u 8 K>ZilwB2BGn'*c?Uۀi䐶tBQ5)[[\O\:+  S9bب)ILȄ/h>%'խ%(JQB RDX4 B8wy}ݜ =bE})f{7h"XF:6լjF}|}dR:5gFٞ2'@bao4#͒FK I &ވ=8wc f_Pg;àgJ}C W`Ocq1L$!RJiw >ӣ8Y#y )Lyr3m%0g w< 6jģbyVg)Oܼ.e^*',[E!xT>'_Ux@6wO_N0!YQڒF|yx3sH4xC 1 e ,-DEhG?zGnMUhC1Dv=LP6Z , y4LC#8fҜXo: 3`V 7קKFH $6uo yk&tٷ@U^T&ik7q9n n@#Uxd4Z6(a1]o t8~>ڻ.D?mf >ti_%\@ B?F|۪Nc ,-epBnd)uz ѕBL0d^GP J.cWkX}a6b}"ې猞#&͎w7D&3"f;6O˭"SU(*UhͷL YSH-]HW%|w$ǕL^c gU/c+d(.4&P-?%'~X>TA 92LL6nxɃ>2Ԗ/EB+24'[\,E,F4.{8 ^$YfW]cxd {7!3s A&@YIVj7kvv]?. GtO3$ &KVz'7TODn `©gh,^ 7kOd=3:\jt(Ψ ~ͷd`T/6\d5? =Mqdjݓ@?ǻ{9Neh~4BPW;efhsLkoc>{Q3blq gL FS/u_2O=-9NHi_2BXBҟ<? cW,dPL<KR `_s}32[Zx՜݅'aC*+kYMC:[m>y.v&Ct1BLIp[_0LRcH  $ 5K# FHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E}Ԉ}Oz DdwNIPYnb y/s@pɃ$y!JCQ7X9Va$hlI h1A8t8J( VoGRI V$̓8'& FH(igq04y{H m(@I$HtN'*A!TiƼ i#P&={@HjtE>AQ dv-D#SD+]'JM{%1ǹ |$&~qX5$@0$9, 4@![ɓ, "g,I$(Z UR !AC-PIN IBG&q4@9$X@A iD ) "!8,)AO*Tzw㮪f"ݙahwfUHjQwU5̪k߶z.=YQϨgܭUUUUUU|̼D<ó!"""!ݹ\fff?ov3Ur~Gl|xgVU3Q^#K8!?wU3̪΁?#㏿ޯw?ї|6#9Qg= $0 &  2> ($JQ ^jw5ںB߉?-oٚn?&~˞oa"5U֤P޶ rz [w;b64h Gvo'VTݰR>Lј !w%ДFGp uhOjVS+\j졼xb(%G|囑mPn?t gۮVI8R#sv!aMѾNfBxYD7 h. _7ƨUp۔I`&yѦ` l bc"QzNeppwurIH64SfyaI6pl\,;'NS"VgsqBɾF n426bPFx -#Q>i;nX"3'LEF@׮sԅgAKx&*z\Q~W/%{ƺݻsAq++$on33aYN8^}àts"j'GW3Uc*o6*q.d'I@GX$e(}SO^ I}L1{2bǞ˫Ϋ6'8H-:gD)m/oQn&xTͣ3ojs5 `:B ;}תb`wh@gq[(GiX<ބO ̮W.ȩ%RbKZCȞ2 !}/d|ngv[<6.K_Ow*yQI$deNeљS>sZAȸ"w0nz:*$_3z{E%֣v͑yGSGX&Vݤ+<.t7+T{3E9j jGեǟ#A- u8ԎĚBǞJ)13vx;ۇN"wԷb/-Uڹ{i==Zi4Gu`^Ӭ1H,HCKӏkXeaUr_7iF4=[h7ߕοEw64]osNH6A% itl?VwW-:F?`\zνfkY>U{`^:CeK=/"qFﴱgs ? ]*dE孲?\V 3Zl^ rΒ;0;wԶ]d溊UњC5MԁpRD"@.-Q?\ѽbhA[ZEw>zD:wEgA54Er]6y>@GOϾ-+ 1k򳶔d1)ڐ|we_z ?^t NuPl?t$_~ K?tAXaT_[pn:a sg01'kCz݈ :||X1 @;Blgvlv*ye;V;|=;3g1eTM~dD7(BAF}{h?wr|ag=e"'lFS4JE46;:U_>~oEqg(Qd8(4'c[v=dī1!WƼn1aF]m%f}tQOt#{ CWƁWsOQmN!σnR\4ՙL[H7UE?e5 ӱH8!dVڽƭſtouFR Y0 B] 8A3drz%HGw}7Py lYA;m5!deQ֛? x`'d3?AO֙ciBMƙ>vYO$V;A9z+ӏeTB^Q|:[L$n-s9S"un3o#EweH*ZJVh {kL6ekʦ-&=seYcIJ{8/y/p"}31wip#f ^JsQ`ɜRw"jL ܎1-)e{O=r+["xtFiJ#OИ(޼ ֺ]/^G`81N6' K*0wye>Ȥ;ۃ{w(u21ϼpK.=?cU6: 0TOX/gcS@)-H-WkK.&} |7B٢NRo4$pFT~A@O,Y7Y`B6FMb9Y5^8|2. ̯QK 45X!oN {Mcg1Jr(n57EXJYEDIs2eSCI@Nd#~1rX Lb$h'ǴxǼ̈́UO`&$+[+@n:nJR."|Hk\J4vAYMdCO~?}byFILn;y%Tk,J%V#nJwB.Bp4UjT Lto4 olEPR R|Ptџ?֛ᶥ-UJՕUce0n%ʞֿ}KT۸0uB?؆*e1 7j&X t jOt4&&Mq3/͇ */XAM2ivh8β_?L7U12#MlñUV{W;"-,(mzL,{_"$J*@U;bXk󑃣V3`L-S)^jY :AJ[/"N 0.̅  צ};"՗܀GAhS%S`5I]髐 IT"k d!͉J, 3Q{|s )৳P\".Hb^;U(1qk!Lt.2WKtX+[tGD]=GߗmAJ57I(1gm=VJ|TµʕOk8+NDIK݂zဠO}_ jii\6{ږrD?w$vFÄ)1w$?&޳?^@ouBYi`6]"w~0ͨ:y3RZ4nF=3Y%L4=1\~Jql,`ҏAHJcSM&h9l?OӖ`f݊VSSB;WJ`]%ݫ}ol %-՛/{8HD0;\!@Af j]i410Q{fDDOt 4'wb H)Sqn}C`9}ne.lybD4m[b9vbn6+q>-\rmBl=z.IJc4.K[#X8fӄ[\7ޢ%3@ g&%I+E)' 'R]8K.S㧶)8 5hR-Ux溂'Ya6U[ S6'Qz;37' 0iއIBlBݤvH1}+tEQvo|(j@<[i&oڀW-Rvh-]K[ڄ DH.u]B 7\NmzDZ%X O|GT2EBQ&輁Al[Xa'GE  ߕ}FT'G3 dެ4]keysC%8[A7s P܊Cϧ*sr+x,P1zDa ~4e/̫,zʸ: %Y7;/{]`SMn!&tۻ| ̏W\/&R~!$;9vhOkΫrS*LN4&jnJ"gJ,qXe %q7;'*Q:o޹,mUf:0]&?-%CEmB&LU!Rטhҁ/R(qJ}L) z=Kj՚w }!gf*%.(3\+bǼ*l(/>8EoVnʶs*'INsclZ]\ M6 z^:d[!F۳6tVKؗ; q֙H^/s8>MEWY=\x~&U$1-?t$zmd9~֥h C؉6cK@czJ%x-:BMײs G8GEt#54k${PsOxLp7drmE4"{|h]{ %ۈM m!P|H7:rzH_+=/mP-kTDgRk阙\Oj Yrq1Q_G*iA"q Y gƆ?\>MA6OKׅ Eǀ#ކ@G9܋PLH=TWFP:B4 L&ܞT=eW?W) lI,%c"Fl R9*|6uㅉmXDRO"}6W'{G\ĩCV#yok~E0O2cƅL!Iz^r 0P1Q+e|vX1d}-*2'>Un~ES@n#$q28 mvta]xy&@U8l6sI%F 5*WkPæ7-FSPvWatKs XsۦYrsw:ȲQ#uTTYJA|PjpRCu gxx8$s {!Et8Q ZY!*=T2pٴY>Y9],لkwg):bVdJE Hk@ɢBL{x"v-w_;dzuiV!u^Kc<ٟ wI&' ĤuB-4!MM.aR wATτ\S[>*'oo@g@u0bGLlʸ-qu |Y'U}MD-qeT, -iܻ=&yiݨ IB^垢/WK 97쁯!(o,>)aߡ[V +{)ń 'm =3U=dؖc2!`9Lk)x>„7Y݄Zwf'$Ш3&sN !{ǔ RN$yBY~+t2<̵6FNu_/"` ü3eTLJ9uz=*of6}[<?J7LjTs֭éFPiY/}oCܚ[q'3x{JTpA+"+ `-`f9olA22 XP{tϱ=EC'司4h"L9 V-3L-Jehr-8+P`WB7 ZV.] q)E*+yj<8hܥ:e vz/t_C,+W-_N$HL:R]_V=߂h} \}p|s`ܔ]YNU[t!g|x^/s,R4e|ͫ!)g.SAC&nwm)G}M[XRG2nb9א낸d5gս>]sxޟז'&/:Sf! ax"޺G)b)H2/rQ̋0pL,)lCO {Z~)f )eO;! JE'?D`ޢ,#w[j* l b-&cj>8lq+Q?Җ/ `\{Ҋ#QA XuvJׁjh|"3sěS(9txcP^-O eO1M)Ɋm|)`"C +[)a@gT>M;H:}6*-h;Pل-ٵ)$£% j-k$A{Vc]O^ͬcʱː܌œ|7 _b.MkO N{S{ #@!| eM,/D(l.`JAvLBJmo3[SJ=}G=;zh4) xGmt46JT% 0oM;$FYiiud pZ-T@\rNMEHZV勏 1'Urs~uha?GeiO}qY7xRK$ϲyr'|jt"paZ[:(,T황nIЙh i[J:x|(pOpu_-REIp^`9hq4 ,GDT\u]KP8Å#gWA:% l*{Z7~vve0I̺\:Cd.{p "")/=UbGۇh ƠK%2\2'ADmjeQ_cm@{Wb9z{ruGuES8uA("yXb^$)omD!0z|V7:J?Kڳt8{O٫letLB3ano[ijнc[Ɋv4C>@Շn,$<*VX021fvg(Ց[]HKf'[5ƛ -#3:wпa$ްCSäJKHcdXA56M>V<}uF9efle|ooJ-9E jU;w1f"P;_X`G]Rj'^l{s⯩f~E cNSbKKKX :Ƅ- Uf'sBwe,9)eUddg3\t/:X1I sg>2 ,+4BdH󑊨!$dNB&tAkJS]䠈nv0R1"fLpExٜq=h33{ܵv&!ۡd4wT<`:3\™=c=,`#9kV{,B UzݳS@bj%X@x\+nh:Im:=ʔ-ZU= qQh>VM t,zR' X؍\@ $CO` 3FQ%`vVzX1h23jEwj] n f_$OxH@E (ޔ!AwBܣHqEH2ZSʸs++0UM1TzXbH) gjTGXI['㊁>D)qٱV\GQ<&oTF|;4KxF@&rY3ز=mqA1nɑ`(o*N'mɨ9/;j|?=FqZT?H6Ntx["蕨*_BeF=0j Qa}dD,A0 Hl.>5Ќjh7B[O4\1TWr:"a@g9?j px8!P`&&9݃~5R~Y^Nj)uptAO|W2eά?ehge՝|z0G+NW"fu'!Z5+@Fr- VJEX c ]ɶR3,IgkJDs8V{2 cN ItFN<.f|"IVi#P NLo܍HzR*(n ŘM$pׂoF}4dt͌as"}GltȒqcf(-3^'6\&v@!߆Dņ D$7SiJ: \3̳ݭyRThU3F9u ?LaW];𮩯^}Xδ.46$KVe>֘r.NGe#53A2tH1 _5˙YAvHӦ\pw_ dt ~uM"NGcVK8GB=*V eBRjKHCt(#T{U+pMфtg lK"*srX?2\/ TCkf>$@k RE!OY:I}MqފJ?%/0)TtVuj8hEQp% =hgt4mypQAyHIUc;c]T;C*N<BPR h0izoamg.[s['s9C*@M[6-q!5[ZH*3F_V ?-' F.I9mT d'`K,U/%ԭq }۲׽Fwا_ #u3 IsW} h<%:3!(P7ri3dHG>sZLq2f0 @Ab >_3l\Frrg ă/aBK*51o/Z1 ӎ!_SIDOF ;fnH/D" хx51۲yyW-,,}_ݷ"K(BENCD<4rf{C w{{!ZN 8^ ].D"35 qy֩̚ܫP@&fԠ@=]ZZ^}xE*/@  p>\ ЀTS|m@BYm4E>gEKH-=h{khI4S/GiŨf(ib "`R C9H1Ɓ 1B!BDDF$dqpDI@}'it{0xW'-od$5࿄^0!LV4*2y6Nxrr (s6aJ \ ^&'12v\~7a#/s':6¨ݬ ;K~)ܑd|5ܹO5**Z"핎tV^QlXb~M~ݟN =@ :Ŵ%-Kʈ`;g0yBvL;ҁ^ƨYYy}Nm^IܯC=Op uZGv(%yig(KQWN9U {z {ѿ#{sE3+ _UW΢G]#nOhp |H$QӿϏԜFQY<?܈Ձ` Lh21D?_Pv/ٹ=AoVaxN_r 0gk'"H8h`%t2XSDKvzђZUx"J9f(qs~8>&isd&49_朩ssaV`}e/a͗qkjkCs{`UKrc9gi_P8K}µF(wh ҲOG coBf8O"ȈLEӢY Ѯ$e-gA#5h|tԵ^ G¡򿃐V\ɫ!fPVy``Oϳvx KWŋ9SS?*:ɭE UKHk%)fKb%jᱫQ3Ra 3FFL)\Bah~#veHJf cVj$͆hXꭅ.Ѹ9TF΃""l VF]J2M%Ʀ;۾n(p~~=X8MԴ kt\EQmZl`=-MG  z(97%;O-BjC.)jcTkWobu<X~EE#bB OHD1rKHH= DiB]*x`_g :̺0g<yzvv/e6&bf0,лS>u9A;1(ĩR-rJ1-iF*MaԣYЖp"Z}1I]4&KU/gX]@?3a0—J Q>v{uHS\Քg)f?^K/u}/"[֢::hcԧ7fɯJ#+<[!cvI%;wx\m ~Ә%g$'1:,cXEzW*6]򯒥c7ƍ"CBXLh|MǸһPa&XQ/e r3a.2:ދ ewg~x(}԰{vr-Tf 8:Z%x.ցa]g9*׳Ğ &R**'A)2߉\vWpڨ747#2}ޓ3Yj67-vҤ{"-Mv\CN/.Pq~Zw-<`Nͷ% ݀$w0?u3+v=k97e,dt 5H  : : 5O% HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/` ' `gRەI^/|ɲ 8h%iSj&?6Z|ْ0FRx1^ CݸҬEC#'ڴ)5n`-Fn7;©OǠ"jp/foh<.nX 7C_@pO\EuM9 p1#W; $KiTlcBhܐGA4 s 0/(MFf4ciH 1 HF4Q^vтQg ؂69O 8ѠځkkސL@F(v<Db, pf ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal M 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/lP*-f`гYe30% $c1ƆUVwMcH8zK, 4 (9a#%Mc$HU!l<]Ej0z4|(ȽtH1ȺY)y_hQBq#AD(EkY9I5TpJ4Bf B,(Dq䰠vIKG q4,WB?EA- 4|{ftf\CM_{F L|t,EZIQHQ R$Β`?USD0$„B\(j&‰P5$?R!`@v0ib@ED`)iRDC&9Kӈ(J 0|]APP$yR$ z,J $BDb@Mbv5RK<)zB9GwFlD;KLy3-37GVg"۞RJ{Z}͉%#z ]֦g'H[i( :"&_Z%!{!{3)bƻΪ k*^NX(oEβ]MD^;i0m##`, Y̡-@ $,/&K uq4BB%B5QJDZ,'yiIX b$ a,4e_Njߚh8gрΧ`9v햎h(fm G i2`ꏻ`b"юzmh{h˜ۻiɛmh4 */rc*&Ϗ8@B@pummjʯ 79(>={z3 |cFK'Afa+szDhnʺ}z|k;63~ygbb^^Y6*.AkyDDʟqbcGJD$ܪ wDȿ6dϼn{[KO{҉P@Ҡ <8<@ P A I! $$܀5#̫~nΎK 5 5O' bHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_ G# o]?#[fqHRSK6r0S ՟B5A{5(E5#N\t gjyS6'&RQF`Ɯ6`aAQ8k$8 ʤ H-kuh$P4t1y5M0=8h /QQڼ#x0$| -:ć 7Tz}.AI^MپM7I0>5ept.(ע4n6Z }O sIqZNY)o*@'˿*w{bֻ2 f hq*3f̙{BZҌ%XS~I9>4r81vۻ1R0_M- B7S9' ])Ӊϔth-+gX @c| Kv=RHI<G۴WF!;7 B/լvr/zBtw]Hvৎ 3$}F{Ԡ{WJ )o.bg]ݾ̌vWrEiH5: eB}@` ( A 1B!@c!##.(C ~ԂB.pUxA(8Z%HnH4?7BP+&e8] ? ԶPx\ǀoAc% Thw}#'73PDAiT^}C`1xQeUDLow;mA, d'[̕%d삄>0g>VrsJS_h2[uYa 4"DyhZTR kwkKX.+۪,AOc; آ]lz, =uq_M?Bz[x iEݙ@t^4_vI0()e_@s'bc&7Nb`$#^h%{3 0d(- .wa>ÖS6ЍK瓳iOz`2Cq"Ju /T#=i-Hp瘊Ī-z( [M\*J7w! w:KPSsÌo:!&՚f]*@i-h/NcXwi~^ -8 ~QXDǢH[tPQA6,9JPJT )d]Pb$zm*Aӌ=6}$m_VNmv.WB[%VUfO4[Ύ)ڡ_L7P6ypiEp' BP2!K3&QE dvZNiY*_2W/5_p%tzxs p.tfp8%t9&'Ix,;`wAC0I60pH~DBy'D pÔoB!b#[K[@T-|-1su`Fű ]^.n9S5M#|mWLJ9/L^uG {5M\)ʻ,ʘ\2~Isib/y]1agp,u'ӳk؊>yki"qcsڍ=.L9ѧ]r&TfqmG $ fHrp7y/>~BKBiC֒ЗT_vCSzS0BTP3ӅSola~bfYu5wF$EgA"CF+ygTI!U#C-ԠS::x Qm))/S4&S#ϙ$R7r0hseUyXQ"Cy&!Te^qx$T֏h֧I f'p_HH`HZ) uNPPnWaWj3 {_s&IdPQLXɱb%s4Uk%[%uy٨<}H $ g J*?eD3X2([%q~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