SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 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_infoT11Stableisabelle_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_exportsy b~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b 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+<&BP&lah(L"̚ۉ cɉ0*q]Zy& m&bPd9bb$iKyQq֝h֜}wmPbV*1#4 CSF<y$g"&4]"b5u$=jOp"QO PY'HPX&F U)cbXtxPPH,EbޱĢAbh8;F&hP4CC`XXbK,Zo{*F1z$}vn2zvނ"I 9qww/ת S"I* סM_#62rqVRiE[*Vm4W-PRiZiYi֩r^/yx(n p_o  ؂Ԃ|{xhw[pXnWhTgJdI`G_3\2X1W,TPMKHEDC<;:976321/*)y'x$w!r[ZYTFE D ? :" }|{wt s r pkidc\[ZYVSRQMJIHFDA|@{?x>s8r7q6n5i2_.\,W+*'% ! ?821-, % $ gSo!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-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    ; ;U5|Jjt - UHOL-Nominal-Examples:threads=6elapsed=347.849cpu=1695.227gc=88.110(/L{Y") KB;75̫4ϲwˆ)e ed!:44<83.n˼Z,R|K~V)C3elJe,c&YǍNuHbq!"s3J2dжKA iWCJbVh~z>Pr7! (((#b\C`YR}ȦύZ]ʦmWKeOWHeC!~zvWIDBj!Ss{:mls! i%rSK黒ղrjY37;YpS6XIҕFWFxߴE|t8v-CۮauXBiԡػxu/g&] nknW~z2f9D4mEGzqgj%a2vs 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyǰv4ށ|bނqrt0C%8sӈEw#_>=s ;u۫Ķ6zmP=V]`6ݼgߤdRl]Sw7&l. nH J b%ƪ//o䪋( QZ(ѫslw0+}q6Vt"!7ޖ'MNx]gBD,IS8_)Ȅ(Id^ h#?@~3xzo ",QLѹHN'q! xXZtz5ik" ϣ\ty"5dg؇3DR ȏVX`}k jTW9ƕoP-:% N 8x'؈u] ŅT%jX|KD1X-%$*͏BǒIa60y/E2X'~eΕĀv(n]sr4J-[p(3 :N6ob٫.`J-KA4w0X(}A'Ի&ؑHg?jCORylPdaq2]=~x7Lذ+#Hy[\jҡ7[-lYP ey_rz9ܨO^5)D}IQu@tev_}Lp8kȏ'=(lhGPv!j/)BMaMUeAZÈ@K,pQ1<߃B et@bEብu> &Nmr2scٺBͲu>X]@hT k5T;Z$)0 ބ-@ w]a,R,`Ze-xGk)!0߅gafMayd9¹@Nv|ԄfLTRvHQ)4tIf{4:vPu|i D ?$P.S>P ].!el.[ZNi v%z py{yGH|qiͺAW l8%ypmx^9pze?? JR˃pi VP' 8OKC^@ GGgyA:o~J0#/;H3_,\0hG04E_:[/` ũAG ˅~@lC e193\(8Kp) BcZw)ӼW"O-wwXl08@5k(@69v'#aͰ15>02lΎAOhe=Պܘ[J]s &j]U=PPnıط'i0$)O[拠tVz(v8}+c _<,VַǙ} R%;耺ʀoh֠v j&6zv82Iϻ|tzJV}wIbH঄t"εlEAuq]JJQ2H3+.9W,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Ϊajd^2WF`P1V;#f4:?m1?oX\fh, N>JgF; Jm_ ~N}RR6ub'1aQx#tCS}xruL&!e 8!Se8>`áǝ.@9(>F =oð  ?]ci}. FJ (fkܼ9i s*) NNN)+X{WY!P̈8Y&#i ` !| qk?q͖&T0O}♛N0S,ۈm]J;c(Em/Tg}0^V$_- SǮ^YAl> ·.a*3_í}DTMMLF -ퟺn*5|(uhhh˱e!UR.[5btz1?ա#{Qg@,mHP[deRbnj7#Ɍaª'bM,LU t$@ɐ\ ΪْA ā ًBw, GE@ĨD'u?i1 qcVWqZ4eYu Ggp!P d\Bq(epxL jNt<+gzJBmAAz]&J HU,cd,8gA7%}zgio `g/6\QQu 439ƾHSLE7SJn$=\"'u.sLNӎ[>siv)D`ڗN(w+<] Dw) eRJg}N7|_xa|:|+١hp +R403 F?ߎG'&y,RE% !:֔VrP b2o~q)]h Ϣ|zc7n/3 C!3V![0NƯc  :D>(2xC0gab,j؃tQ5(PV{~le=0>D{ٸnvjL$0Iܶ;h x Px#_4MLj.yGC^"C+v!Qŧ0&BQD$Llq`l!2_Z?"Y,DIl n6<$/!)QIDQ$G@g<]'\$>od,|ilPN+ +2qzU:}- -짮J!PR팚) \ tkIEX'I}>)WgpO}Z$>䁡{U>' ,<>tomfiVxCYn<1o2eU soҩ/ۯ0%;GU (cg +vIb*"0E̽{G#+M]9J8O>1>1SlGЌ7H+ b>D<vRSyvZT/dɳN>zaVSJ,g3⹂9MoW-5k%Z_wI4:0u(zd);] [$||C8kNzGgmP>{9M7?#0TQW&ek–7p(a0BhxiTywUdEr qPLwm$2XHHυ.Yɵ PH5@U0!=TV]uώH\*䢸5gS'gLm]oN~YyLxA<'u(iRU܃@S)%A;2R  1W~6^xs5sr=УArW%Hu =C|%Fa:~B v˲+ǖ \eU]vkv|z׸8)x2lxa m PBx,X$'3Hks2$/ʇ9 lJᲚy"nxEn+#WŁIᦆLjSSOh,ᰋKňLR_p禤 j#!M.U#rjVzO -x*첊?+{ E$}YxЅ5 4FY =qEw!SȅyZ5Ym=$: "}R8>1 ); O/i%oB{*ṗDS@(qeHy=Ńq@Ёuge0״#V,{XE2BIl&y>3R2IzO7eY{A1lZ219|ykbb |ϗexMϯ[ ?  Kp 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+<&BP&lah(L"̚ۉ cɉ0*q]Zy& m&bPd9bb$iKyQq֝h֜}wmPbV*1#4 CSF<y$g"&4]"b5u$=jOp"QO PY'HPX&F U)cbXtxPPH,EbޱĢAbh8;F&hP4CC`XXbK,Zo{*F1z$}vn2zvނ"I 9qww/ת S"I* סM_#62rqVRiE[*Vm4W-PRiZiYi֩r^/yx(n p_o~Fu1DM=-W0iD`!@Ɋvfث裇ԝ5IfK=gWs-Wm {2g` Ts6/5cmPC,!'!F0\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal D5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1b( D%~lKlm~U2SnJ*s0x0 IZϾ<8,,3ozYLVHm-đX{5-UR T,KYuSj⥷6aMXMDLbѣ1y yIE=Zha rRY{/ U0I58iihI4 c݉Έ)<1   CCzxhhН84%a$`Jy|L"0*( $0 0 AGr䶐fm:;fI1Nz@\zyѦ/&b%܇{ dub$Ac pHiZ#XIe{ FZ }ӹs_6~FRhQ2r>,zrN%*ү(: EvbG'#_[Ȗ!ߛ'R,G{i\"fc=L&Vtw 5"]r.)K?VymY+ u6$ǟ2;0ʓ&(T$JT/~HOI]Ɵ?j~c <[O%=sW8 f*Μ]n J4dI-SE@ja7\&`Ĉ!E-'EBdWܻf99 J X܋qE,SX@A¸*a|w]uGz\5 O(W_|%18ǵB|^%OlCjv}_o|}بo+){}:??#XՆ|QS"{ݱks|u[ *^ ٭M|}y~{^Cy/hqpvo^3S,LN( QDb~%L5T4C#@NXSH,Ƀhkf 8Ik(vn][>(U_R8$ke\{G5PJ4Nj[(hF16j׻#_U0ű7 sm H }@nnyX:WB+tlTk/  NQ=n/7Vunw YL circM׌xE)ن<e*ijX ꚉӲm+јa_(քX4`HHCkAbx|c*Es@;Qnw97-1³@tƀ(>*G詃⬛ՑN $n4Ս2TJ5AO4ׁ>00<({Tx`9 л{x9 ;d}ѵ540IʼL|\/*HG_Ń'`g HCA1>^~.{χ{^0-FʖnS+T3D^(g`U 5"0.@eۤuҀ3b[NA?: }jpB<)hJWZ:[R򂰅׸L8;l*růQ&fiWS˨:g eYў%ӎ"i$\qe,#Q1|4@xưZ 栒uaI8o" <\BZ23>!1jޛOz/"fmB/ң 5͔e{rQlGG sS&_jcnsM.s=4yՊ./ 4}LB0JwBg Jvk4sGaz?EqU2ǫS&7qcd[ո& HF5[ 3m*c-!_W> |+`Y*];oRp.6@$p M8?ƀma/ Uŋ!`@ R$,< 4m r.2Fp V G"?|9ډ098bQۢMU~0zc8?R\ٓZ vJMW13Brp\ft$3ط9X(C,^Tp-fL%ʒrrպ0EpĬ]wVp;98ݢy>iTN5 H!ߥ&yw-CI8t@]߯DfލړP7=Du #Ђ54;\F kwH+Cţi2&.hnzq)-UMDYsLT!AŠJ$BEym"֤?Ɇ:Jq2z#X+$K$CCD"l3 DZؖE mlޓox&SQAtFt-`S23caPU$Dr^ ҤE实s/?R?S PU2_;%#L2du333k3(b &2a""DDDD&IäIäa$i$|dg6!"=MmW%*93rU-l,WD(ֲvUK"n۶=~&=ͳ-Ŷ-[bq\ 'b{+D  VۮjLx#,Vw8ۮjKD:  cQp8ñ:y۶E߮"l""""""I$I$əm3,""2""""%l-۶]mvU,UUUUUmm;"O{UJno-FxoUkLv( $   0$    8HFY)(*;(O#q^Ix11-lM^l m8=gLN\*CM-*8yryKaXZ5Mۧ1ݚތ 4X\s$r{Vυ8ny'U\2 ?It$y)FER[N,]а}5>52|$>l6OڕrM ,'߈-ū_Zo$JJqV1")A1_*nؕ UQit#3-a)A)D=ìzCvÂcw@E!OlXP_=ke69PP6GlG\KLR1̲nvԑm|ɲb+1HY[۪|z6hK`(ܞ pn[10\sGjn< f;wfʐI?1BE\n;U9P@fdTԃoɮUKfgIfPsz9M`M%{ÛVIg&cqR4`E E4)ۼ aWyZs˃&l](%{._0*hR_3nQ^7 !ao#Ǜ]68`!?p( ^^>,J nf`{*x91Whւy ϙ|9c%~36k% ]ԟ}4v~?ؑ۫cpfWJŒv vyFӠ2 kvT*%0knr-x67[ESK;dTNikOtj%1d9 qCRA~{ ։ Ħ1qhI5ba0>.n`k*Ma YUcM?{:6D ¼/-3Y~cʒ6duQq"TDI0-y "qSV¿LP@ ~^b= =[iViXO S_F!հȩd膬v$i|(GmegYswiXt#®B6'RE&/ay2xd@ a\[yһ\Dȉ0qb`qg؋Sĕ%ILfG򙴺œZv!+A*#tW[ޓofa^%0m+HX%%;"[dH\ѧLq3#Mٻ<_b9G 3L /,`,,F4۽03v_2:>6+nsf} Z.ctF-H<>dc +`>EKDgkAPܶ }d.1V:c(60D7{-)lžWjn\êApU,RкpF \!j|f̬% B}U(Sqڧ#^| qZ;m>=n3o R<)I`/ۏq0ug ύm~AJbر !Е^?j[eh|h~q@N/u 89Q2Zۗf)m&c rgVgE*fܝ׌҆i0wC1;ֳ Nm{=(Qsh J\ {X9~7u[>՗~) naǩ${bK,[ >d}88)oFSOr-Ldj{ZJjh@,Wb?揙ʝ4k蟭G' y 7vD+;}abn#n"1x `{.{jy]4_av:ˈl#s >&L2j 4*cb-J-G/8`0*!WvVzq7 (}aa:CH>8|dxngw ?ńȕZgfmuVՔ~x/} 4ɕey>6v!wm3%[=Iڡ5[Iֲ~䵾'U1w7yGt-LQ0s?L2{0*:ьV&\iq0A!B`辚u?שm~re#,D^4O*wxITqYBjBMk^~&?iFaCDgEf*bJR$B?͈eN %`X4fvj2Vut -P3sPz4㎜ֽٟ7gzx9kӶ/P<  ߲5E=>Eg- gQWž6yrqeÞN,L5F^( ծPFx )G0=v`ZBx=+Rpmxɋ^ EjvkBJo`jfV6(މ712C9A-լp6:'ƈF!ɷe1JNVKN2!>ilr2^lܕ/I3իb-h 񊞑j만_ {=!Ǜit{*q"lҠ}ix[T>h@KG¢Aپl)%켴`8^>/fӎtC6j>ܛ.2З{@,ڨЬK *n?$SVzɚ.(n ױorgf'+[YܞylC^X[Xu/Pr&!v([0KlI6 fC{cJR4 `KVY zl2SܩA<َFIQ׊FIҐ8hhQ(P@ Ձ(^p7O  7$. 

8/tP{Qh.{8Vڋ, jlƪl; Qb} eʲ,+00sn̯؇F`=#ʌrLUY?#EWBرNPu2e,g=1WoZUUf2%PMIE ']exbx/H4% pEdN͠DA>d[pE!94ljf2s8f:$)atj@mlۙ,ӤZh!؈{i4a}(Ky6hI R<ݥ¢b؈ Ոʂ!6W>O (ZtUp#}5okNFXmbUU"&Rkg0:Ғ"juZUO(SֺfUBS^}.x5ҵlZ,c׺hnQ*FCC5r;~nltkekgi7JœNzG4 QlSn^u'%UOO$c4*{IWs~R*y46ߋnhwv=+O6/4:xGjPQTdR->JλZ|F%g&Y+ii3Pk%W15+ODVW4ݪ7M-\8\3FȦdR'AzwX_6fZuFR&tHvaÚ}m`_ ¶n}vJXWŬ(⹳lcZT#^edTG:&@3b3j I\zV׳4IhVVT(a¶%d XTDXp,(fpv1QUPs_:4.k=xV^9}F8=ԳAq\y8̀]?=QOW] WqJ-Mj e+M43+q@["ġuMnk$Yy uKCE-ƙŌm2ta!ӝxM.Xۤ' P;?3FʆʧKFե^RXlVZNdֻW̕,"]n<5Vm[CfC_B_Pbl\{r&T ЯP?t1PWpLT =P^M(&k/T2$*sL'ngULaFnCCTW% [_֌qMճZ_@)y5Y@9)u&`y+eeU($I ,劲WaWH7)$bnm_ 1qld0:GޱP&oNf-jȶ^_y5SNLFʚN. X@ʯN73 ;Wݪ #*Y o}&Fe:a} |X D&z-axv r0ԛ +fQEӱTB-zf)e~F([WPJC)~u( ҔW En&"r_i[x|ae~Rv: pB`t\z= wi.g}cS` |h%iVe-'}&zL(TW UCfr< Mc(^zuZ&/՚6fth6CWsxBZX7ڴ8̈́dݞ崑K1E̬NjIx_ȀӰb{WOsoO-m[Ov1Deu-A-56J?V5vJbF5:Prʼn\Sn]tԶ-[Iݪ(~wM7Hz"1:e3U]ג k[Ylؖ0f*RB6/fRn>xU?U8bZ ԅaḪM ]D=O}ٻ9.% !jGPV(mx/NĠӿ3%twa%5>1JV¯Joi^|HmlVB>F:B d&?>_GI6WQfGp?~|t53"LX4ow=mCR39T˂˛eϾ%\q&()VnM-*1(#1@>*4p\ؙ͡~@v xPX-qH佗eR7*,8- X!Ӹ,>Tq)`X9}8vU\޲ibX`ܠ9?2"@,k2 LKѐ@&%e $fUjטEB>9` d;OE.zb0m]>U /N]Mgw%Ƕ5p=4hAQ mw GۛU(Kwj2wDҐ'EVU?".\-}3aaF:o $ X\  H"5^F-38Cr$Y?njM]b[%0GcP_rB&fu,0$<jGWFXlEDW̫ qfXu'FM CY߉{pإ2C#J) @MuZ_yŬQRB{Œ>2841RPU$fOOO?s u<.ʍh~|%T޲6 ňYsS9ԒN2wG|"@o=?3n7<1ա@Vʳ"hQjJ^=pdfU0'wrEqK ֵщ}.aZON%~nyXW}B$P|޾gi.pn2A1`k=t5$UQ~0wbZ_co/+pm[};P% S6dڌ|?I]PĤ4ZA" ay& 3}6R֊j;cONAJ߇n|{h ɽ.,ej,k !2ڱ6BC9sΟ@v^FL< x=TXDPp=L1q/HQqVn2sZK3W;߬vKkοn`"߬~KPVC7sQpoаf"%߬춶ͪv[T^\;pX΀_ T (=<ܮwWԏ>(ShןPT=kۗ&:ydc$|fBQ0»Haa"b<1&8~*";vX<ۺ^e"ڷdqXSD@4`ˑ,uX[լ>VȢk"$&B>A"bDKU b." `0SFH`k,ZLLR" ")0<9ɹ(pο٫vtWͪNT I!qA H6$2FxsؐlH6$%?6nHf-Rց$9]-m*Ւ9ɿ̪Ndo"͖ݖ#'D[_fUD#_wUUUvK#+WF&*S”r7w* d춐xx8puJu6$2U~*Se ˔ːSf,eJ8&v YdJ֯|BQ1(:D 措S v{PSц +f,X0S ;+s qXLT@00`L ՘whW.bLL4FcB1wr2a`H2H EqDžr).wsZʦXcw?ͪngU.9ͪnH,TrM+BK tt$ S˴#1ǑnssT8#!W  HƆ)G!p>rx_j<"݌n|I>?Pb113ߚ47$7~K@e%6۟e$4C02JImS2F~c˦`Wx:\׷;Ăf>[F˜# GEIw-%. ]ĄVPqCl> /1+c WA94f <6NQgy-P_,_/Dp+1%7Bۡhn:H>߂%dޜ}ꑶ<2]X h0V\0Ͱ -6Q#=tOV'5B cnVNyJ(g:Vl{Mut0 e0 wݘKoK3\9U7^;H@Af "_y#L[}]=`.:G9 丟Ks/++QYMQ4L;rI'\T0ڨh!2Q1n:+ᡷp3Y'wgb=? ZDl3LrEr=0D$ObC3O 9D`N)t@j9j'kӗ_O' 8&2zzIo`Zr05.;$''CF>+*uD&9z}m:@ZkT7Jڳhkc6k9`N͏G3 |fAi8n=h(Z0Υ=Ɂ:pR= j/8k]݈,׾)md9+,!7hT.jcySj))XgJ^j?[$O#ڏJp!iڦj$_<xjfHy4r, Oϸo w YPl{>_hjvpK69HUgٌ6'.pK7`ilt|57l4u_u;k;GAc}9>Ly_l#xF24%!rӄ~ܕht@KW-SZ4e pq&Tr:\v@GT="w*RC|spV5.;E >2@ͥ: oYBȊT'l;@̗("c3;vgLf,,;;HŀO*HPgR\QGm;NyU&[YNƍ'ukB+ʈ o .Z.ux;ݍ{3 lAePȲO4WU\(ROrV]BH9@7=Ϯ$HGp e! ["q vN]6N&qNO^T6EE{[B 6xQ w @ ?I$=%SB2야Pg '0Ví&D)@:凉6 8l>94"R^eDj 2y ?(/@Nf|2bK|K)֫F"b!ď\kxH2+G;.5L AVDH> RW=Eh'! Tuic~ߩ^DoR)! }YyMP.=ԂFyްSʇ;qUlVn }}Kn)4M|%n)T@>1BYPde3^hՠLX63I5>`RA}\e#ٔ"j=5Tc]9@cEk~V}C2EL@㬞]tg_kPlyr3)"Twtk\DZm>IQ]]k-8,wsvUO͙.rEǻl(&F( ΀bpD$H %s* Lz3iJɗvN^\6t{&J>IS@Fmh*վT ?[[|b*6O9oc:hSjeB^xK- jdT PdgwNhk3H(R:{X 6g[vIRzC!7 r/N>Dub;!U3{90vj:XU\5Ch!(= _&GW1Ly:^;5hv6^hYRi]!x:!xox<(p)h8Xvn[ $22` 9+Ѡ v*%;d%JpPæ`-Ώu^kbk[uk碆 S;#N\OhP0p~{_"_GMMY@vLr?c` O3S`]VsO#DQX#!X)?$*}+t}̊fLc·@aT܌cH^/ 8`_[ݳ^(-NU6סeY|Kg=`?+Wt U+ɂJzzC^61\RzͲዴDzvㄴ!ޕtvn8@z5m4lú={ ysރbCjv+PoL׬0wބW iKc8T>1laN}tS.8[8 Ùz֯6Ӂs 9.Gt Ǻ=v>׳@9ֺ;͕wVi} +wM򢭋=]aZB]gm^Ydc逤'c)c96Y)˗% {O$A「-+ԓJ)oo]<$cgAz|u:9Ca" 鉗q^eHfҪ_έ~@W,u{$IР- >ZwUaMzMRhO\ky_ ^is>%KIfj\b{ ~ΰ?G|FYͶS`_7Gd%Ϸ^A$=ǽbi$FcuIn#++ ־!5+w1A;(^o8 R1wZCl>)/Pl$/ ֩]va.&`0SkcZ cyאhYbfb2m" bblUP"-[e%O֛~fM gux4hjXUz%v}h7"K)v, kWz|rb'.^P(uK_a+Y^pG^0VC ;޻ 텎4 )6OwH9 )*̋-bE5%A[ߵTi8@ }DwI~ھPJṝ+Vӎmx7)d1 2w6\2n '`=yH~92x*^!ѿhh5\?Zk!$rbh4 IJe#Qä*v?CrŒU+zzFAE{Gc6EoUR͟}`Ѫ-8@]ln=3_ۡI BWHeK G_(Ӥ5 dD4tNgpJРK#te&npOx_Pe9`1m2zKCLYM6W"(&A`;fqadb-G`Uv2晊?k۔|}VhݤjgKLZ7g眨V7)RlFóLiwQN֞?24ef_-"CoI;ڪ 3\Mut印bQ-H )!b^@sG3HE5& @9o8/: âFػa]nmiTB{Dު-vt[ c=l0C:5A&3y3z HiPI%Lfswvv"nƺ^߶" .;k!&||E𲻈fQy^,g@Q0%8̮isouևHg?1t%覑'8fKZZ((Ď?G2\<$=YI`z?![H:fVl w }2A ۓ n[XLKɇj;ړSxJRBUw}CBul79n&K]\Fɸ/lY/%8f#yh˜"5;aٚbjG [%&$ &W`S. i*q@lF!LrS \{$<4P$Rf1 ْ2H9ͥDˠ"I2|Z9'c E<4Fe 24$ZGLķ}qSFJ }ql$ 5CB^E wzAd*Jn<d2_F$l(N,]֦.\% #+Wڼg,oamb@E*_>?vo4ֆ(ǖT+}^fO.)Ŝo sA ͵WE?!С/g4dtcdCmջѾ*ޑ77{At'U=&I~)'h%ذUDunë60XBtP}U>ofR92-D õl9dDJ`,N( 5K# NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/&o6NfPeOzO.{h 8sR"/Ib & Hh!cH1Qa.kYu8'A'މH $BhqRH+ay(MCq8THzEyFQ!Y&6iiAiEq4)D'QSF dƃ\Z?4CM=ʢ X,JGF,DJ"M@$ -QP!"(PL<ģ4 ~YlR I^#5e@#Q4^`4L@<`dQ{?__#o?߿{>϶}>l<ٶmlglglf6m;Qu6@CcA2<̓  (.  , ,B 0(¡Ng|?dGF2=,-Afi/Ԝ7_& dvb&nK7cl @q9Wt'q-mL ؐIw%=419X3.y_ϛ]ؕSRQ}Tq*]c?\̔l3@ggrS6xk1 O4Øx!9=?h0lGR^[&!hy{?E{tx.5{gZf5Sux+`d(휃NEM L"IEhU:HHe= ecK[SL`G?JEB&6HiK]:9S3}^ >>߸0y ̺;E?\@t4,&QW)yh8U4lh*'q/X0/  j\ZK@ɕ<qRPPsbV3`4`' @;/>JCմO"[rPh< ?&kZ[:Sde6i1`2c^?5ϣg?㌯?mOV&Ox?~\ʑcæn'Dt?֋?Bx3 !˷'*Tw?r,~z5g)㱤IW?O2b&~x vd~2[[qpȓO?n, !~`ϴc%P\~BƾO`zG}X|`i8ܧ`מNJ#.D^^HgZD)HcF'B2}¹>-4o}>, |)YIgq0'SAK*B>P>n!壺q+)F#>H>;y QI⍏Mg=6_|z+>i1O|RE|6~tl(WyC6e6zWUb@nڎMaqw}9(8&QT'Ɯp\"(/@SGtMk>P~vgM㢰 J#!qU3'U'mwSԥ;91/c?OՕ8%ȵb/kH(C(=Jh֡o*0]ﴵ4gY`o,.fW1slXqD~o\{n_͂ Z}q`͘Ӵ溬EkD!ՀܹXj uz:As2 f"XKӤ'Pcqx2(kNk $;5)X4Nvڔzo]e#Ӥ _."o]K[N[;">ǃ˦`,Mnl_|PSj*鉛9D۔$*޷5|U -eo%#;?'轧P "Ĥ]2%(.ϧDŽBuT]Syz6VS5 Yu-,3,D!trSpOK; eQjj'%:PK\+Xka xm+ re:AW=$`h˚&N?tfM%V›T1w$e;"147PB@Mì(PֈS3ݠ%*ABDҗVzHΔP=% h"gX;AlEHz5t Jvf8*'}X_i;Jv= 8vBtg-6xK tlwHuMu^j}8,Ywߏ 9ɀP/"IӶ1g1!Y %ʸڈ rځӭfVARlUbU/g{O(Wڞ`^uG1o+ҡ,4~PFfN@(z~oM҇*#jS(%Rc 3#ȏ~$|tU a-Veyj f:<)@^ D]hD FCa0zjKdK,yʲeN4ۭM<|tїο|ˉ6y!=`Nu5Gjdd01w\L]`t ?=nC1ZӾP*A~A/;:&ll_Ѣp4k2:` _t^w֒hw?tt:'.;ZN-<,oط5̭?f#^$0g\G oѪ 2schQ1`r/WfꐽN-Y o n7qopUd((A+g@I3q¤:]GjFw}IcofAXTw#kV٨DҷwK뎻0 VFFdE lwuztى h dDХւIt :?g1=FPY^,7mDHRL&b?~B*ʽϊ껌 <-V5C45тNEϫrD(`##]NwIPw˼i0 6YO80N,vᐱAfnDƍAhH%2OxLcYF XekhX@QS_o?f)⑃.}҈޲zf,&pOp)`_܎QiA?B4H3.߻Y)c}WzcMi?sBc)pԠL۟hh7K]< r7)-F8q"D{WgRkHGy.M)4c{V^W_|L-(!" $;Zё7Mx@&Z9;&äQJHL\A`+uFg*[J!yKDJJ1 aG W*G͎7 C/Sъo,͋VB#~DP 1o6oNJ8R\Zu`="G>h{@KȊE:RDh紃̟{R٭$hCF=G!'UՕ5,Tj %٣K1RwsjLfb2퐙XsC3 hT:jgrOYYdCqWU2sԘ0ZA-0JK?-6lde*xm'F/*fV<2AJLSr*O+9G&mӼ'i8U"PM ۤS(N.LxJD帜֘ZAEA\Gt0< rjA&8MwD8+W 8_L_BٽY+ɩhD3ZZ4%C12٫%5&5WcL-5> nּͪ cS?,9[)"7Lql[,0A4rɄ*-m]N4bt7:h%ͧ0X.;t bJo3D*SL ` {2ɸc, ("bWv[I.("5),JTuӷ~ 7<{6]٦, 9 AR/ͬLm]ծk&ũYb!,+ NCXn^K.jX9a9PMmk@6"R`qAKvu^ < 4Vi `v6I<#$wެQK߆Ϲ=r)Lt{'1kդL'+}#5,@[8KMi%a/&=JxD#yy_cG8&(-Pvt3OL$!"y"Hz p0}Uͷ}reb~gBXT&;ESx~ro0 K{v&w&^9@M0mnQ8JqPlo=CänLOnPs-L`*@B Ķm/oe@d@ s8gHkBMYٮG"cJY =4X&&bB3VRXBG,';%6"=6@Wzp,(I--{qHi+PjOL HGo:[ .PU!2hNCHrq j<J ~#2V>{'=r*VznaLу|4נӖ҉PھrKٿ!7[@{WW 3;#wG%?ݲɨ."\Ss!By}'åA[W%Dsdm)!gU7V(g{XyJ H^-τZѭNo&!"h4Subɴ1tIRqUW >e`Ӻ. "0lIsuü@`,]:b ?d1;Kkֆc:J,s{${M\A<]3VSW 1.1's>,)%siQ:XYn{vp͑[*@G#V)[-*4P\U.+O\'&Z< &sbV+8bN˥f'%2X!4Dd`1/r,@יᙋu㇞Ho8SBKR:_14ט;Z~L=s 㬩`gjjb)vd0weث0z:Qb6:3$"J|CynlG,gx즠32}eybdU>H3Hk-WNtD"LWIë;en_C-z:mtstGp'tﲜm1`Zˇ >3 $ʑa1Q93N\0䫰fj^?#ڐN{/%j^exܜ'#ӹ2 &EP.(,_29w ZA,ı-}v8a<ᅀg{W@0ͯܺ z[3ik68A^&ؚs wIVݥAqgCbs-̗~gԞG,у_ZkɫzHXO"ۯF(`xGd1њCgƗ7h(a"ݩC7 u|mP":DTzfQ1@֐J<&G۷qnB3. _1}EY #X%y2s.,5c[R~jb1ۇiȥL@m@ƠOz,$w`H5 dlkՐqIƫۺn%˜]`C8hOCUGX&q8NV_ə3]#x(=6!dllO;4tY;| M20%'kY]rdxi'd@vZ11+6=*:7!u qdՕ[>M#%''D:n  Ŗ ;xr^";a8Ę9fVG,~yW[? exd#8efh`dj )p4-K͂Г KegDvFK`0(',9 3!b=>R3.ԅBVZxHa@\Rb(X%s֓`kCJlqǙzpN|=% XDHO8I CI=Vڂ0,yȃQBN5N,B;u[FJLbe먔D-zlFoK[Grp[Na(AmEcnۣ}5;svLR]`yxFttpӯIyX4nl}=R*s\B@")ELW ĘgrZ'?)hI1CMLc4m&6a3Mʺhaez.G(JΎf3pQnAƲR0Q@N\knR| 1H)DQB`&>}S/ ?aN=8,T# 2ĒKl٥<= U]"bd`?%Y UvUA]5hI1k3QbikkVtበ{"y(-?#+/2FAwd}^.β=?WN>gfMM>6̛0Jyyie=ǡ3@ $#aDG0E10 2!}oB̄ 6䵃2t3C!Ԋ4J$Ԡd1tH )8F2f%NL2\ zaF:X׉{N.fk9vaIXZ+0Vex߁~ɹG<x6ԥgeIVsGN-Zr;Xm;AF3Q,`S(<ϗqSb 2 a~P1Q*[3W:n H8\^P4d{Xb_htF]uD5Dcݔ7%똑ݙ)[`.M.Y:^Z@^g=8`I=>FG? 2 (t~b Y3/^m:ԟq8SZQ Z{/:#`ǡNƙ|C^qp P\,U#M *%~%%f!R m4}crvg'ioW|mAlEkHE܆NnuiG2܄SnB1`ʁOI$r}}BiKk\`rpGY{ʘ4ݞ:@n1jz6.`+ l UM-$v QixlEee}]/'Z(x.aiS@$f')#;^jcg_bDŽuf(븲)w,zm]T֟3F슎w3s7 ar$9)j;P S9m%ݩOt<+JZӷVi}ǎq"@_POFKPTRi`W^q:6^~j^[/y6ÛAXdO֒$0\gIO!!LaCeP[V4i#~P`hp!$3u7#?H=\L,05 ՠ &tӼpӳGnGE ݞ[m~wwʴs#7yvtwF{"Rd-sLhQ6%IvpdHn,-7qA E|\A~ F@T،Ÿց"pM}6W{EFX¸#p"ݸ8T?`3 +Dt[\0 76=_L~@g/PVG/d~?$/X&橚ʠ]<3)X usA5v<v`QMe/b4|79e>+ܼV׳lp-BS UGSC0m`nyX\D9&AF:n }-`abj&Qݲ2zA6$`| ki"؏ u{{ YbktJ~u5S懺"ۿU^>5Kr`:[nzj Fjj 16z!XZF-Yo"os}2'ɪ ܌iӰKf K>zN4IJ6Ulfم1nج{L9~oX/tA׷'0v7ÓS$`l`<ǤUAD5 0dH0ۜRʊܚ fkc*%DW /k3zD#<=L4mj"0WJbR@WBq+5dB9;(/g A(OB):(οHSzV6ًB,(AОG3Va G#e|^$i%mfh ΋Mno Ma!%adaWh , , , 5O% 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7U ,p'zv%\[ *[c(SH:iSjLզKı:uug6J1:T{'^6=VCkzl7mJn-m1Հ^:tgS0  偌D⽌JaϦz(O27lWZ! Ed g6N7: `QF9 m1à4vLBa 8܎H^9 1@'In"F AУV1d5./H2hA/r AQAR΁ ׀Z;q(i8IA"b, pf ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal A 5K/ tHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/(|,'DD컷R"JfF9F9d"&j_6.<_C%pTκwc5D ^Hh9$GES]H 3=">"=EƪXIZҐQErƱ"b!z\,f^F-SlNl%v&ޣ7pul<Ը0=ΙOKz8л!񙈾wͳd(M΂$)F&kM5+4H"gIRYz-sa, <_p O5 $Y$C%CȻ{{3+ҶlTtaGzgL{}yxnmllgm4>͹sl[{3c:6Om5mIƞIIܕ[W#r$|mxl,7>.X{12`@qg4Ij(z$P@1Al H80`8A z=7w~iI΂ 5AͺX<^)Um_kvӣyu΍f"R*9oZR1ǫIs"޹%xjWVӔx%2yuY#~?G|L aϹ9ٯ]&(+PL䲭i~hXƒ JRz~爊޽ }yί48;1ijf+FD8꥞w26jۻiɛmx4)Z"ʧ cW|_N}LŜ.qAaƽ{K߼yjy*>iy97/+.A8a@CG(& PPc '  BPBb04  Ct7샸ݾREBrOlj޴b=3! S 5O' HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jG5"0mRr]e~;&.OH/ijj)3""XOVz*(O^̽xZՑ5H5VڈEX[EX;^M6$˰0R T˨h@@I̗Y>>&̏0QZęH}@J?)4Dns'LovL#'E>VPɏ|j,qZ~\*UVY`e#kw/85F©'s43.nPhlK@@^֧9yBVkXaPfavwq=f6^ kg*k|l1fg҅%fyؽ#N_|<ΒRC˩ƍb\9w)b(h!g>C/.h1 󵺵ZɑKcՑTC|֘kޖrhv0FN)x>P; ͱ4r>d`Oh"wR5 3g<fBu_܉;_Rl-fm%nXWRSRgPf,?6;Z~T*V!]Z{HL&Rkl9S-i54bMIH2j1" e@` ( A a!BC !z.(5̡EL*XK9Ë')majh.~ ,D+)beJD<ƏM%T4m!ґ}`A HUL. E4xxˣvL?_qpYZs|g턀k/`DXy(^"U jRx!ZDk񺅃E+NC텗@g;ϊ;wPiY{Q N Ms7}]VJX_Ѐ)Y@uw'lggPc8z+|Vd'fb>[L zb#Zč38TY`0Jjd9+]S̳=N6*i@?nS7ӡi Y |ggL)v%0V*kki,H3hA^+Hž9ÅRs:wJE=ʩ{= _ga 7cq+(ɳnQMxFC[ E]8a7 JWWj{^5@0v}`x0 f5YH*5ltD:68:9jLx}1BZ7i0֙l`"H VmXBȔ~flcP_ zrdQFҍ> BKQMT5?u-A*>zo(sCmUv";E8{/fSs_z계> 8 SV?8X;/%v+M/ aI#sG.Qgm~pEb;:\1ijgeAq}@U*iRA*p>pcȏ =zimu,bt1oXEw 蔸K>zq+.6F5~}²>p!XWL"\ &H3$ud\ηB?z?"N2 %(8?~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