SQLite format 3@ .f  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_exportsU--]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_sourcesu77 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~|j !- UHOL-Nominal-Examples:threads=6elapsed=329.246cpu=1594.428gc=100.207(/>x ")MB(i5jR*NdN)Ss&ml5lH3@nZ*a6ܵ1!0AҜ~Eޡ)}Qݜej-T9L2b/y3,7Uk/2b)F˞U`7lHF"sfQYz;hvdCO-"Ul ł4e~  (,@Z%y6n4Tʬ!0Z}H `A:1(  ido7@(Dր ,$jA2Ŋ|s34*KE|ܬ:ʛB2e6ٍ!aKDcD8ĿYC~r Vv6X-0$`H, C|YՇ !@;H4"40P djشD W$MI~ɱ,#TE! PPƓrHe@To):d࠰H(,\ybvbA@a AC~EhH(@$ NW2ZH,qdb),DAXaADbA($Ñt"EAaB1\l ĂA"D`!Ѡp  "L` ( \"B EBC8~ rJ'~QRkgebC[E1[jgKf+&;!bbٗ٪=imc"OZiW$~]jZJ"=L疒Ҝ=5+k2"+6w~_!UwjsR]mZ5%X}5zj)vLt<,ۃq{-kqbڠ4bO(5kbJL.}dbϱiSlJ6?>+)S,*FTz]]i΀p-څ"XI,R==ڱ K]A9lJaxKwG86P$ :->(vr |jH8DHHߺ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.thyy c~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u o i cK5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ͫjnl(H'j`*/Қ%$vv$HY@> 4ifoO% P0T8AJZϯ$,+GtA0L<g3<$-%6SZKIŅXā ĞF%%Y1]CQ3񳑨yИH#Q %wr(E y{{20bC7ACcW>zCC  ˫ˡP0.]2`|シ%a.IcMIcV۫%4F{鷘ګYuiv.4媪Z="#?eX0,AϼJĠf^  e0A1Hwpd^ }~CC7!A^ /FP(xJĠԈA1(y#qsg)]b?T5;[vMռW_錱 Ly}:Fl#R.OP8M4`4e L7eҰ'-{y~.KFCu{ p_o6ͷg'SRkj[Cͭ8i?`[|1`3Y3q{]/jYnt̹ȹlM8*W_Uު'+Iͭ]T1ٞ|{,5CA QFD$TLb0<Ho_z\`X k^MT+IRRP4hpyDq!q,P A 1@ 11rl-Y)*/XDG5,c%iQ(c<j1vHg\k/_l̝q !~_~7dj@J+0Ǒm/dR9Ol})BG; (( 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+<&Bt8s7r6o5j2`.],X+*'%!! @9320-& % $ gTo!Xs U 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/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms 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/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   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|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+VKuJ}2qzlB k$E7T5EwJawR-GKzu_f1T&5&H}eٍ?8檲9GXe޼]-i㊥S</8\ǂ~u ]3ϡpNȅ3r{ʋ&\ SH{S*%rF8d a SNˇ.ϔ y =Ŝ6m̴W1Kws 0;Z?w/ucPj)ٰMMz3隚-ı+l4H,'W9WtaM ~Tm;OXt#IX*%p?h}α붱TX]$Ak"RS!'U _fڣ?P؋>ygKO :~(ˍA2W\sc_.S6 `R>GXf)SRYURW <cXg:Xe5(l&׊ & \;5Zv$*jCЌ2q{߯er&rn qxn\n=oVX^8}fKxsС9^$B`%$ ,pH4mq3A;6gb #$* ]B掂-W0ᗶd35L~`_1z hQũί`FBHÖ746^; VvWb'*~8fh l>qc0,@n6 \\Ÿ#P+g(tI9t,SDIEW٤y^<:H|!ҍ{ %/1<%B4 |9PӝVOuR xv0v tq9 Qb݃N%!Tcsaze|pLpo3˳kF 6%啩&1LK :\o.g܏Ī+Gsn6'/Msb!D@}AqT:7!WeX omYљ9qbx#1Vt7k5Њ& 2oAsƚ!AM3 t;Ksܾ  ~>zj c["?@&B8k`0}a53HwH$!;@Je8O$.[ȃi^A5ԧM<|lW?4_||ƣZBTd㐚YD ~?.)!**~R8gu^(=c--*#1e@V<6gyzU\i,tK4/i»"z)wn7kA9 }AŴDƒ ʅL+~͜P)# J}_?g ӯ9JZmguGb-;-m,ji[(ŗӒcHeYU l@_blptg c1fW|#"UHߋ-c',m@alQ%S //T?TUp&Xs̆G)Pi)=O89 N>!8ӛ' >AUeh !2ƾby.1(ZFyehRuّ (UebhyMO]6P1O$o|r4*rnJ*pZX7K19Ce*< >5|aW62, E|Ww AT%;ət@yp8'whIwF6!a8&BhFtQnBxQG3ƃ uK<(CaR^vp7z9BR+'Y(5g=R <%W[? );\c v˖$00z{dR_l`CӔ;,xM~~aak5 \yel-GY0"A[ NDԩ1D1؄<%L)i3|>\M=ľ !y'^^%oUfŻWs9ҋ|4 D kEG8<;8i0b 4PtjJYձ4f|]^M P1QeH`|7+IE%C2=FHT =%W=X|)p5r !ْ&@EG}XO5)$ n=x}eM\a[#MքiDϣ< 1_/WJ׳6k@rtGcc7|.4H< k@(WI-&"aN"%jBCii4q-Ϸ|,F]'R$ 7!^JsgC. g,XGkl+겍׳F'˴^pHy E%DˍAX'}in?]BjeP%=k0ܲz]2dV422 pY յcEQzL8=YxV2v6\.>X @/MQ7ͽM`5B-Vp1+&FKBkS%7" $)$1~ |coXv,{ X#>Ȱ:꼀XX ~ߵmvq[<3q 7C(_[tf" h<]FƗf6~-o`qfLjs ̻1db!6pa(|]Xp%.5t"Vba1ܢd遨 mXsWJ7$v +:='$CW. qXp' VtүYaAYv;i72ig5 5Won33>uekaU%MK_RkǮC Ҫ(~7}@ r!_l|"5!(-3|Il_{M:8/7O82Cٝ5Q(O)p*vjp+&k6!,^bճi 74<P{Ì5VL"{M!Si=Dp]VA]:#,W s#15Jۿ-m*i,v%}?4*^Q ,v 2V%NBj kT|UPxI6ñդ:mAS7#8" u o)kHИ(R>1Fn}-r!y`+].4o/-@dD0 >C*ҘJYXaHQWK_I.`diS_livy-`✜vXݓ؞5L&w1͇66髢C ?i$.T'x4 YXc@t).EЃ̟1=^NtR#/ˤ{2mW˥@u6$fTy}_79ʫ2TM4I&a| +<})ZhO-'"A몽Y9 0/7ZK^qۊ`*Ʌ| OE'n#"ǘ(&ۖP-c~Z ڑ>6nմ·Yz붓#7TGP3} ՅaH'dLW܃.Vɷ%T?c.hNϩbҁd%w3,M4Z|DZX_TJ$=&:& $YDYdLư v~jQm92 ,1w*=F[)1QޜGMu=mЪ_p[yzsD ϐt,Q!g &u8mfP%Ý.dS5mUM>\xfPBu8=I,vpv,3(KsЁi.j* tdZ¯uP6S$# %_JpQ-hx[bĞX0>NG{`{P:Q1xU׮aAb_VED7]Ia/سՁg a?~Kz"oz5UDZu{Mb,a7t"R,k0C+'s> .c^>ת:WACΒBjׂ|4,hؗBk%FZ("C<)v#"%FH4}{/ a ~Dg-l5,vgtyVl^9/!'Y !12$1ޜ &}ߏ$Ǡ$V_ XG2`00nS@=tblORQbG" luSH,\k8!-O9F2c@M +挏HI^"si'ϗ^;gWcL_}䋢:@LkZ82|: 5H҇L|_>1=+Oi`1OɆ|l " Z,>&..SHB4|'V&~/Zj{B0869-zrl_u']('P>l}iYW@ȉO+L KzUj@,L+2p$wDf5%yYwd&9[~Ș' {u(4!9lCɁ1"9x0 ‹ww fਸ(OqX-r@hB AeFd|\w [W\BtâY:!ܔV>X(M)C EHMra#jþZȞU"PDTe .}ɄB0 g@7KTg-Rw8PqA\Z8IC ϸBŒ|vKYzmL'{ OVz%ZN$E_e뼻ޣi:6L͠XZxu.6F2)6q [yK;. _Wˀi*~]p4<'@T!?ovWeLf1'oc{)M9<Wa[/cRG>c ^j)0}2%Uۏv-&_<u3}{&oWCb;6i[p ^Q4Ut5.*-g;u1VW0vfR%zpLZfTvי E6djZcMրk4,iI&:7lӥJW"ZtSBțbI(#`5?p3܂M^Mc H.v/~)h *i碠ag-!FrCu%Tٖ USϧ{L x @2Fft~,z%i?  M \K5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ͫjnl(H'j`*/Қ%$vv$HY@> 4ifoO% P0T8AJZϯ$,+GtA0L<g3<$-%6SZKIŅXā ĞF%%Y1]CQ3񳑨yИH#Q %wr(E y{{20bC7ACcW>zCC  ˫ˡP0.]2`|シ%a.IcMIcV۫%4F{鷘ګYuiv.4媪Z="#?eX0,AϼJĠf^  e0A1Hwpd^ }~CC7!A^ /FP(xJĠԈA1(y#qsg)]b?T5;[vMռW_錱 Ly}:Fl#R.OP8M4`4e L7eҰ'-{y~.KFCu{ p_o6ͷg'SRkj[Cͭ8i?`[|1`3Y3q{]/jYnt̹ȹlM8*W_Uު'+Iͭ]T1ٞ|{,5CA QFD$TLb0<Ho_z\`X k^MT+IRRP4hpyDq!q,P A 1@ 11rl-Y)*/XDG5,c%iQ(c<j1vHg\k/_l̝q !~_~7dj@J+0Ǒm/dR9Ol})BG; (( 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+<&B5r1REN`9  11F"&J(Dyb_Dp6$-Mɿ3 xD :3<4zgx^&Υm@ PV;ܵof_جK$#5[`\Bq!֙}WcfMq ĆE}֬< l΀,7_;ɳE2:cmVC:!'b?\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal V5K' (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1b( x@[o 3 !Z("rAJ)O@19UDXA39+uAKtV<Ǥ\YѸ)k/'tkƥF2NPߒjWQܛZՂ9M(RsMO5PhL>FC<%ǰI].zabT\~mB` ,r2&n*0 #%L͑vѐ0y"7%c }U3U;CQR&*f$ů( 6j$BU*W+[7lT ]U\I5R_*V=Fd-'+<]r^Jsr\ꗃ9{ñ~(P?Ks üڥZ/Ga3r{뮈SkWjt*&\e6bv\{.>]Ѽ@sMV'\視Jq'n^kmmStLuL2dž JHQ(P8#7>_Np|@C7:pCC#@.;84(v8v""B4W֑0EApHqJ"4(, " Ca0 #0 A0MFۤ}%)͒Iz XaO]KGn.$!4Nf@G{X &|}TS׋"YdlQ{ܾ ,P LCY@߼ @WHއdY,46ė˶Ŕa-k73tع,f5u|VɍjL{<bCZcF&nЏ +)M % ]<>;R減xt>8vx$N3OSr{{ ,̽!7uOLض̻>e]CwFêW};~PHs?%!Wl6w q*0 &ڗ;+}XBa(wR.s)|ڂ BMwy* )8[1YXy/ _*sK`}ǂ{ա,DkQv0{YWqQJX]Oa+F'z>eRŸj)&x67sOEFtAnR`d O؏ӊ{(Y{wSlkIsu#h$9aIPuUf ic(䌵9FV);iaފYѠ?d%6 [?9ϣ]P1QQI8-ۥ]p ՖB:]s!6d ) nk;v;@\rn$ųd{-g,Y^lv&ۯ:@DSw;>ٿU˗CIu>įE/?qxno+?H%9\A{7ܣ#Ooȓ8~bf"ėJRs/dy}A~ܼGq0oPHVKс^sw C{Y*\s#[ɶE$4nW͘6=[vPY`8[>8 mljf¸)GS"N8a0VV\Hĭ'{bwBQsvJ\NJT(p%Sc3U T2ɽu4T\mCߒ( )[y{/У) wqHS6j _5,~^F!ai]WzlEᓍ6+UhsFivġXŻNMzG+s!V"Wm4c?g޲VwR' @:)áC?Q@7! }Q\CcA؆2p|n1O<HǠlG]rd|*Z$^$&`6ҡH8MAɼV!p,^1N Jlx(i@X[ .d4I(&ez&ƾ\(oXӱBf]d@SȐR>ZgWN|FS`8B5CO\ Ra%@"+88>EX cvsh2@bs۰P0˱x;7k/\B)tEl>`ըW7B4W>`~, #=Iq{kzV@ EB`W.Uf:Cg2×L7WZI0qwaMv\GL8Kra=}ɴ:E_eFhx'`:r?Akc[^s 5Yӆ *r-uVDt&,_w9F-^m6Ӟ3D>~^x5:$E(:ɟji!-ڧAPAJ ç7\[RliJ2*OdS xRUFc7b]Mz.1h9I&w96$1p֑QxK/jÑj+פivvMT^xm+$~h{Іqo*c^⌏#KĔj>OjJ kT(\c s6f"h,gbT٧gk!A-eZ+jgr@67EY$Ǘp >%•*̛N}:܌tMBX(|/^(b2l(yCK'Kp=zB'[1_ZfqII&V"?8(!MF1L7R`uP*' k' U~{H_Txm]^@`ے߮d&z0l[oBCsO`z ժnZ| /&SDjRqܩlMUɢz-D3Mc6wXG9~^ ~Q jlK`I SsCjYVsb)ea/3u.T&ʇHɿ@?*3 ŀrM{>pj0Bƭ*VMdm߿c fm`4Ws~z4=DocW%@b&.t1Eɷ{V&# /y)kσ~br'" sXV\ OzeDJYBrZEu0SJ>؁ X:ئuT^>ܲwO8uy㌅qB&q -b1 |CF=S&,Bd4c$Sy&=D0u6A%.Ʀ軍HrvFQpQqhLނTt5 fxz=%ȤEJ<"qMS_n%' | !7ƥh >`>xJ@#N}1Q޲w"Ku^#j|똢{m3eE5Bb+ncu:/-_@ m+\=d^>eCT3en"YNږ5"GFOlXg,5i Wti(@%ϷF]׃vN~Y;A`}k:&+3%rD Mc!5"OEMtAmT$+}*l?wUBO:)_?##쇡Vezeඑic4<౑u@6cVIQ>L!/T"ꦈe_d,];s ڟj9jouKHp ]}! oF@$hxNsDNG?9ns '9iM}3]_:5,Fi2Y~?r!43]Ք@oPdu#%N ~mERN.n17ɂB,u䇲'\(sXډtzu("f¸76%mHT'vS/cME@E )nOQ2*An* lS[eGe mwugm2 (^QG<[0ghk/l/n_`n[Imj~7+6!oUx~j'EbG/SooOmw:1;=G~~6u^}[?Ĵ.5`S2ߘ؛9Џ=-1w+.67Ƿܴ9x}=Ιf+>S5DfBC/7_cHg9-w-gH@L12|^<,OߪH| ௗX/+S͍xM-nsdyS3x oa m$,5܇3`Rc}-m2wT~31F4Gma$b%B!~ o,dM6'lFZ4~Žf`mC! ͹\y΃txdr#'ww%Ggd` 4v#1|Ufq:_ic;v6[a\b0Dƶ/%(xװN_Ï4u>MmaN 9jɔ;Pw?`']&nGQƍ) h`J&ªb $I3Í Ï8^NaHd*40i£z9H!q w$ T*LM /n |/-.>gg2sb6v$Y5+***z =QH :lTo „mORId4#{nJѱWsbR#uD)`#v Km/ð06Z10q2-QPy:&E{2>wj ʧl *G"$n4GxCBӋ*<ͻgw藜Žȝ}yߌJVM&Cׇ~3Ff7뼘A@>BI\@:eLM`Sr:P CC桴B` Nǹ9ݙ'_yc h;[1^kJpF _ȓ=2I&X t?Ee~Y %wQ/6*5&'U&&4RQԸ^$1uT==/*dqKOd MћEbhBP;*/^ OH7ޚ2G%P,DBaN`^]4IM;2aD|+'s[U0#'-Kr9ߘʆCDd@[Bݶ : {ѭ鞞vƜ,M踻 E8 m v[,_SJtwZoNCVӠwRu;\>07mGw{ƙ7A&l}fh?Di8{q6#O>Pg~7$g/_dT>f||A[Ud` %ZNPc⿋vM~it3h9  ܸ|O/$Phq;CBa`Ow? %$~C۔In1F6 s#UmbN7$+VF[EAZA;/=eL#܊?lp-CޘOs{)jlψFm~E =xdQ\ c_ 1>a݋O_Z+0j0ȬD>#Gȿ_]qF^|u9 ƙ4Oc"b閩5犹1 żև$jJ{bmZW5X[BI6` ꞇPBu),+h8''mʐ[aWS& J?i}ayno|%&eS07 :7Jΐ nMy\lHKosZl|aXUV v=uu~XyGէZ -Gzf"TRSmfAG6FVEj: w2U6);&;.lO0<79jgOڝixf2o^w&27׾e+-U嵩׋T,S_sf#`(=Mh vPL4̿O%Pej+6-m+k-N{;p&+C:.⾯17,S"l[+,>N̗t%,05@>v-nr]sMކ t8JkdP9~~._1+Q#3]RA=in| w}ޛȶĨlWD{KW6Tnt|{0hl($hAԦ|?)=+;XY[" ,i.}1am˔j_ 8z`˧f~c֎2!l޷)fGk -[Բ|h> ְk:K%Wٕ.cׁ[ wl=|yr[Ü#!ۥjC_vEhRncG8G"Bߺ]yH&$ ߖ<3cW<39cl-w-K! lt(mQix3(itW .\ᎈrf4ʵuN.F/슛2OܞkWQ"} $ ϝ OsﮨqwEsWP;(\Sidb›8. s .fH+:yCzN":?کl=);eV3RvLlxQ*]5R 4'"wϔ$y}oM] h9@o*@d \]99hO@ J$Cʥ %Pv oڷK 2Ri@1dӵ`?zN/sپ<63VɈU<ͫ󴈣H/Gb^5%A i tz|lA~^.5o#dKwٳ2ß 5~ggwiJSQe3ƦWfG_*>5}/=K0˒2{_C[gY>qiMuU].|נD{mPCV(XQ(݇ [s ]|ԝ Ԗ6: k;VϡcsaߣGzARꅟ =#J';Mmؑwʖ>SvQ#܆'/7cay;5bf7,QcM݇vVd{0E1UGjTX `M 9ڢ/]ls ƀ̔;wb! cpfcPv 7Hm%=MRE9l%;pP2  6"p 1>D f{Z[⽳!}ʃ[%+!AîDq!r)@lHEoW?_tMF,^O0`Bd7ˇ-zG3@O_Kq(chG=!g|\in7'%Wv$[t\t<94oj쁶j%vc?QvWO;MTj09vDk-_nBy䴉#U&9|VoE]c"޻2O=f0`c:Hgړr)H8@v Juoa ~`O!ȰÙL!:23)8HW4#}D$M5\`]O:43˵ a5uEݳ/ZI֑KzvTyYj${]SΙivzĩyWL8O?BEe#mϞFV|RJ-*Koֽ r@Ik5X|߭#.V|֝TQg*H./X)b( BQ )rc. d*N]s"1OF%HીIF>-d Yj0MDg% .zN鰣(SFc mC!%xH#Cztqap QIQ~s]Td\B"hЇ\ٽ (CYz2|TzW)1b"@A erHPSg@+^bvOϙIVQ$g| zvpb_+ >{~0/&sG1&} aL0kYD82\}RIE$r*9[{T2bs^cO6]6!}'gAABY_@jSaj_E=2y)["SPg;>-̗RL=/ 2~Ԉ)5(|JXntE'O G=do=O۪*qgd?'h;̔r-]r5ks-fֱk p+]MSN R/17K=ˇ0\ q\3 +iyZj+M.SM k"Ǚ[-}Bh3mRIJn\ g޿_&Ϯ?hB]K'lr=NTK҅$>v$jm!hP{g4hej%،.y_J^є\sb~V3?"=ҺlO{&gb N WnSˋFt;!\NZt\v*QB pʒ2D;VI~A)/*"F*D`{֒B j 4$uW X2m wh4]7SDrnΆ}?вULj; ӻ`9T.L!9iTw AXJR5E^ѭZyL,S |LrU TG*]9 ꅌ%3 OٲeQ]!}J8ЙBA H«& }W}Т+ۆIVEUI8*73YHn5Jbg7*ȖmY')i8J*t4d4E'=Βzh YUqu]44CMU*JjVΟ 2P%]UtP&:`o>МNT2LVVW?mUeFk`eZN+<qʠO֠=KmAQ -4@Ӱ2,}b9^7֪EmЮIUzB4+LssmvWT}[,"䃔[E<<\1hFV;WD ռ) 5o=[7RZt]2jj3tbT^] kxT!QAhJ2£R$ JRfYQ|rqT{Q[èakguF+#rVNjaTXnQpPp5-<мŲjN=SǪ 5T)J_w)A'*B**Vt j,ڒe{!rJ 3WKQ.kKuz+Ppm+&B$)O[Ur$44Օ*TjYP{PVv\fX=q2WTpT/:+\t>@3N%ӟ΁ 6>L;t"1T{&6ri50i-5;C3tȁk"}́OS{WѸfkzl>0QWAE8w Xrsΐ@,UXT&h۳=Ue$7dTD-d?AQDutm*{He*eD e]Є*HQ{b7EIeߊ bWirJdc=닕.4GvQKv[}4YW]fË1]4[ qv!C:Ϯ8h7Qnvش+AiER].ֽ^ĦJak_bQ ܮF- Z6[ΐOmYKOV腻ɲȸuuܵ@A8Ѩ M]S!IÄtFUSAE'n) t7BTXt4[7rb6oͺ,CZB($TJ`hBٻ1TT&&K2"*S^0 >ߥPiA1ju)aF&$>o8Iri)D 97;թYU*ysfA.Ԏ jF[盏:B͹:VZ͖.fWPF=4*NKoX;siUa𗕮>n@9>a[}U6˙ն{#&F{j [:usث$Si7XRNU UAtijjcPnQ2N5) ǂKXzL%q2"c]5ͣ`fi(JLIM˚UkK[SAolсa[-/Vӄ=mR"v^mA3]hch;M[-omʙ^mb[!"Rq}fkâU3bD̛k&-1{TĦRE[-I'Tzڶ BRiчZhf2B·2#{apuxzzX>e-h3gX Lj>Z|V[O?Ŵϰ de!]ثT3^zHGPJZGZzEFG*,%]o7G5J*(i,oJb-߬F D '!{Ur㯤8:%P9sp6)YGR֢lx=h(f5TYl5"N uJHKrgESiX*(iӴʖ\=@ebE{ iIVo,Nk9MκiWFU|Ys^Cd g9\sͦ ؆0 Q6Qm;#k@9q˖P=[  _|VHȧZGzh*{xMCZeIt,ݲtɲx$2})zۭz;f5-ڑ RHyi6¥)p9gԓ]x%y1h1[N"/+iQp)Gm\,鯉4gcUXKĚ^ %1K}e99ՈznKϣXNAKcߠjmȢp$NMS`J]#@.d7m9tՑщtmcޕEgӷVRqT N pXLOB, yDΤ.;l-R@o$w@`{}T2*YŦHb:?{LѳB_&xwd0ť2~a]X­o;l\aXZ.X챆eP^%@Yjh!Z-b CļO$MGռJdcIZ0R&Q{F/;ۚK1cږ= 6V obnX:2Ij94{3)"1E<+@{ $#)12'SƾZH#kƬ`-'JGk/^30Y6J5y g d)R.0L{+<<7 ,m%/"rB"T/ҩ,%$re8`E,O"S.2T\JãŹ;mߠ5lޞZ૏2G&c9SA`yLNW>RXj?Q ~#𸅯B 2 'ח!!Rw` ϑӎ'vЏzctOo|cڽ?EqύBPQȖ Ć8c1%n*s na  s{>NL{/nN^ YSbq-f!ՠCSAN. *ow>Ä  T 0ῄݎnؿ 5.y!9˵_-6&88miF\kJim@>]*c}g\jvP<2@C^iSGvns\g)u!w.+R/b,)8`,aPnyvKPfTΛrpB]7Knmq[mJV!ro> K`ͷ (3Mj(5T\zb}$lLMxUo bg*$RE>ʘl_awu~.\ow|>y ȗ<$W^ע2lcikvd(ly(LrPU>%>>A>[ }$ Sl6G%̄Mj`0" $?Wewfv'm;gvVm! ^5><63T?GtǨcwe9fy߶ߥ` XguULf EDBQvUȭL8++g˭ $+ÁBYn*y3NDwfgWa?̮zKљ}gvU:=~;3L_2<3;3"Rh\e4\exgfګ6T@$쪷VLfv%]umw7_v@$̼HzB@H?`@W;Hx$Nq<& }x$!/xZ2;Do*C6 DǣidA,5&HEEF#ҸXF;E%T@DU:?;3Um{ 2`qfN :f~w!!~8'> #HDDA_G, NEH,쵂qM&I˼M&uywӉVюhEb4 9fG;ծj++'&2 BόK$٨, quwgYYvZjf'v -f;2;U3jfZ Yk3G3ޞV?D~յ&jCr[*|FmWKHy{LuG4ggx PqM7k*KCš! Aǣ:o4D \Dɤ8dCՎ1ǃRȲ@LŢ+Q)exgfWpSh/R'  I}(PWy $ΎGK8;rGfG@&I0ln baU*r@ƶXW4XW.޹\_{lvNiޢ ;zI4)ZSSѳrtRKK|vKHFe*UiY.0RK)M%E1IsKl??-΍?QÄH&re_eWysV ,4ݪW2گ:2*.(, D #Hq0Š,Ci1V3Q~,?{:7]Y)"%ExAt-~96jI`^}]}mcұ$~-B5P{23k5=akޏDq>X}$PUW˿??-)VAmU<~ ?-/q<\=S2w4U,jJ3X;nn9}T0Gq'wZy=4h `<]|V',ǗkZC: ; /g;q|AF͝~{aJۘ&Dh>~ov"N$x aQ_Ww)~}}h*bDtayYF]ʼtUlyF& DbOelgFf[QO&iZwɊGĝ"ES&!-q1pT ^uiTJ'téoF;+G3!LjK ݘU2#v{+ζ-Vs4ɋ]JS)F=rl~n4,_ū&23.v!#A( CΌQ'i N;W13dQ>a") &D-_xSId'LdvPF!@X7f/*9_5=x %RKbe@ ~rR_,\hWiFA&c:6#_;ӎ]GBӯYkTl4Ď>{sSCj`MShQA\=5n=h)?.2]2nEFSC/iZ]ds; JALʺ2\j],g_.P=ejT@}J)۽/z&H?hYUUgTO0AASQ0fĺ&T{瘇ѦHG /m1KGHrJ@ Qqm@<2&5: I> }*;IBEgU$^7^:L"_]b\b`|BdOk K֡!I8"Sr}{8oLuX\vlY9}I ni45*Ѩ#,b/R\Dzj>ްwt}~ awL MP6S^vئxH|N_P_,]d<ΤNȸQvb`Tn, gٙ?rdb7J%X/9Q.ضI34~Apoo"@mb43 olIkt(Dk7Eln~Bǩ9[d-/,Fd{鳫. WgN>1ou|`bD!|} h[N }r>pN~6{h³FqO5E$BbRӒXo%uPS> 41`ҝ$P,@G˕i5!=a|q:Rt-/YTMqt+PlsW%Y8@hі{& VPHg] ٶ]<FZtA2Bm"l?'KW]w6ku,iRMRmޖf"r:>YK(1='\4;ؿ7is4";Λ/3f&%Dh|*軅) ~(W>%٪ګU~&#wn?}5A݃c@U9<C,^{4ϒ4#t]|p{A>N;]8`>»M)zSCݙ w5 ݷ< 4ӕn 4h)Έm7};Y!Ҽy -ۀL\!ąۮS"oΔ7)lx2' L~byiXG'&-No+(@2oN|^<&X`Ŭq8`ozH? S4>'Gsh:R?h8Í!p9JyaOb)=Wt|<؊+S+Je Rt_my63rI@Q k<o%6:/ԗ[bx5E(3YBp ]' Z0y# 𛰟~_'Ii`?t1guڝK ;ca"=P B8ҁx [v}k((`~h].pX[B-Y_wNmB:] d] Nw&7$cA`S~5,r5{ f<5BH&r'!д0{,uwG: LGJRi&bId TLe]ϫj0^񴣰`8_s,"*bnyijbs,'*NU%XRYlR DOd9UP|X+Ɔ6"hWSfJf 4aG?%Rt?%e>ɄL+{G"X|ױ]t D*^\` UzߺɼouNfxőui$HA:Ӽr w` }'IJo4-0P!ag{dEFu6ŒnLEX4f8j⳩%u>a0ea,vMgt#&R6cw|i!KpA͖fG 9FMS!0,t5o\K( -/[9iU m#f,t4 Ċ>GV!^ڬH"s,"Ԟ|vDB|) b5<\l '-%;nP<Fh-GnpF8:iTӲz+ݹ_ꩢtyc:Qu7,UOn"gn 7,H7}'4Zcs7,i_"5+7?&oYcĩ9]Z)UKhUz(lbz6W!5B tF[S|߼ {jVkX+O( Hب]춖pzI1̍WZZEW%*Vk%!vghaʞp܍Ĵ x&L0Ҷ56˨/wX'wN3tG;]b170.7@$B)*21ANF7a}* βYG|s?xoyUH*CcZ,7v_ҩBk=f[ BpRdJ·UAyFV8gC$7mt U% 9IBlLoLSyz=^r, / 6w%ڿ6Pweة&PwX/j ]dU#0 GW0D&50n#pxG^bZa:D173u&f9srٖsY:9p[Y[)5PS!h?8%*4xSfͨSo*F2+kv"W\^RwlSU +N~[v *6n:@>`kɑ i h⥆NTՑ%na et9\b=NA/Ua* hOXqйG(H9H؇ Fȷ smW_:j:0ry- zN4Wc.LRn`vJ%}E{E[q|q0gdZ2rEHpw jhc/f G0Ȑ9yi~N\q3^JܙG[y1DAjYI'mVOcC]8d XcP8h3D!=R I@X&Y$401XyAJ@m 4?aI@4h<2&EYV ט%m?K`tVلE8fxR{|arjؘv-HsP0i-h _~?FƎ˓_kxU#+Ʌ8ȗ &A4OTw)G Z\q# G<֡)Hk(@H~!G*1_\OӍU.`(HihD-4&B]A^74\;\w4`I 2DM~>NKH*]z#1`0yckmݖq1Gkz`C(sl?K>Z|KXjKao*64q;u7*Cf -BOgsv_%|NjvMXp%5DMeE<5Ȁ,Obf.("z`Mtb G!ىo`30dr!nU:uqءYhp]q4]߂üIbY;,lnw+dTF`9b uv"x>05I5$G~SOO UNʧQ MD$d6LMU-$xSEzp:pJ_pfx&M/;a/AM1D6A._T@ sh~CmYhc'&dԹ/ܰ蒡|fR92-D õl9dDJ`,N] 5K# 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/t)Mfmi,׻^2%z&P{S 4JQ'dX(C (KqI8 jI`94jXͱMԬpQ0Nby%LB-0<@ "0*(a(F8Ib5 M/Q K3% y  c(2L,Y^Q>V"Y(!ϑxޏ[DAqR(HG. b`:QsΜjY Pf5MeADA pzc8ixih(QjO!Qg92Y nђSBf9wO@  g%B1 Q XX,8g$I$BQE)ˑJ 4i³Dba8H,a0JJ1V ,Y8$,RQցfiիpӏ&1fߜY7Q&5e(uDHp4@OsY /QB ՀP `X(zsX800X  Q HX61QƑc-<6bXӀ2DA֣ Y80a(2rFWcThs7[pV0'Jpd:Q'r0BL.'S{xIYbi$1H,G~nNb_3_ J4 G%c?ʹ*^*&):gT±1P. ϱ\DNg F,Ck۷o#F|FݾэntFݾn趡۷mt۾}^{^{^{mzm{WU1lvEFȻi榦ff&&Ljiϧ:..&&*"b„zxz<ѨnڤISL0R^,RJwwywwwwwwwgfffffffffoim6/BUUP$u|Qn8[EVd>QY=lҒ!9/?S}5ǥK"Zʥ EScz9ZW5ch6֖)~J?7^dY@i qЊ6B& q㦳TM$H]hI>MYR-gc)$op&6m+sbv#7 tpK;gv .9W3f1~giyo +)"uY<{*m)8d޾i!%8 xh|yXnP#NS~݅cϑ}>IyC}536RILD[LH>i:Aڔ*ŧϩ=rZEJblĪkn7X-ׂ`x'fF鴟(P\C~إ(&C~fNr6`5P?p &%˕\m84*r"6IaV. ͜j)F2/ Y0s{BlF_S)Jp\i].@<yqq. AЉW,jʝ-Q]cy<-©NhXDi~'r|+9B{ָ E{vSӞ9=+y hڳسQg3Rdq Ǒ<NPY x y s=} t_ 7tu٫\@W7uN^/J}T 7s9 )s/K- ەU;z 6S`^@OM 6ҮwmZ: ]zk NC NzJJϱL7uv i[^pt&uW@&6'{*K@J5wɲ h`v=-*@HzyGH׎ i'{ ݹ$}YWkG9IQR;لZO9]44O#Gӻ`UGMm?Kk{Tl珘3?z9L GAIß^Gq?z?vE ws))G3ۏsvSyg?ⱟɈ\ic̮~V=~Kkw Lw~{7?g3NMSq'? Ϸj5~|?ď:~\~5 ;i }>Uwy,XkGEIsnGo8](isNS$k> XקY٭Ϭ@y#ƞ%ߩO9a9>LRD vsiWz>wEBGwS <|L|Jh%w#eo>5;LFA|-lBl+4S#(|!j7w|Ƨ+Gj勏. '>#>!~H>W\yᣉy[Gcu j {yӁ9nzx7{6=c=cn{Ӱ5S=m4%ܣpE'R==J\(ڣjcO{ 1Jd G6nldO*Z஢2^aȳN6I)aw}CKtMQ䶦;^n;+]ݞ {v{W',ovV ࿹Tn Zv M9~YXcq_ e$.Su!wd GmP^WA_YAHU'C0+6-ivN6V:dW'eb]POB$$wͯposCL:A\wr"\tgVnܮU˝{*b*r뚯Dp>܊3\H" B:>}3;9 rgJ 1$2RRq\!ٴmA5L`u>wmcBX[5v~$YgWkzzHD!`EmO`iT-~ vW |(zPN}C^5R}E;B<À@xM'X mY n-{*d  dvpOJiѲ{@5 T(3WC!']9hq^$/Q$v_!{m59'0yD~lr4\hbf۞]$O;+.=>rnrV(#e$^ljZcUdLs2V8th & oä́roa'8p D f7֏¸lxڑ!:󇬴a U[n{'97=%֮gs7DߣGw;z"&iGf h_2~)Y-8^z,=|896C6y4Di8u9;Qs n ^ g2:[伊>r'\=8иAHX 2#% tF!)"$Y="{M=HQ8SMw^[`Xk x(9x ,[GNfh e17]Fݤiy">M%X4.MsNU`944u͚O-O$j[X_jh7=-:.Rþ8@ _󇘾;Y}G}ڨ+} ݆z̭,-uܛ&̇םS}R.O8@ߎZ΀{ vR"Wm˲eHh[LBQ+2[&`*Hs%A]0z~ߣIb u8~ Vmz 0J߂<gu:pa'٘7+>,Vp)д9612E+k1j˙nF_O-Z[J"OC m0>FAsè*Nа1ǬMۦݜVBMl1M~we\wvu}:yN UWIֳ}b_ 2A&[@z#[.DhԄ_S֟Tdcsd7IEkR=RhilPfd"-)˾!+8#|[EQL7c" Ǧ-[c^S4$wwZGF$x}vGNd-j"p[]?w1f0 _5rK SgM(,oRSv,Ű'"c4[Lg?LMCVr<3mZxgEmؖSE?NAPI9 aW!Mo̅yU,17cD ]tSfd&Y&P(F'Ōh(4sEd^BgֺLBD0#\oQ >Q;orWW#sWVӠ/zvO@a|j'sbQGt5n{ΥG:*zNS`!B+y+tdK0m- 8u*f"S'=9MHI?嘮tƒ >fuakꐜIcB Ya֩Gk\Yx G٢VQ/R|RNcIǒ-DT1{{W_R*c0]LcJ10c xʲTnҎyQ2ثq!c)fʮGQ <hDĔȑk Wӆ<@eJkFi|>2VR9 s:D!օQ kdTî 9Lh=j!L*MCn#_fEb`0@4rOhȑyr=O$h_ @M il%U;3 SjAV;tIBZ$s>l~Ok - b d Xd-̊O┑}sKMA#p#,#hBXIiQH;01/p*)TZA>NjM^HY&e.M!0=SN7WT @ȩi xD$ BR|6%wh< 9@gixv.ğ)y RubH%8i1AO}JIjiVL|6.sq e)SAek`jϺj mPoH:|ø "U5ڊ)*/B3LzCevBKI9V fʞ'l4=$'7NF*"̶ͣ)L02#O˸)AGQsܜb^'>R!E J-`5wE Ưn! ,. Q>.D<=2 [-'AhNnme֬G cI!H e|ǥ_\X7~Eu(^NE6[H>7 k RoJ%>Okƥ JCLbӯF(*AtTX9*)o.rIit$xahJ7)lxFkd2^~ 0&us""Q5rޮU׈jF8n.Yr>3gGN7o繆jv #} V]Ju/`ogf$^e(A+8΀\68,q`Y6MA* HiS-Ha27 :jKŸa ʘ5qXsj0>;,bP6v~ Ũnȼ*UD yqtಞ*6e=đ, W Oh%;_ЍSec Hur‿fC%GCCGoJdL#[3yL( JڤP'&8kX̓TBoᒋ^EoY>]\1^Xf+Y@JG&zWVү& PhXBNx+-X3dXw:! Mlgv6  iд郡 Yh4R@bYF%${ôk8OZ9.kY{9M~eeW]s":=j3VHl~e73[Dr7<*wsN\V3k.)Wg/suG su*#2ZD()71F%+U6 Mpؒ:ȫ3t,e +! ›@wω#:'8^tDi!ںE(,8]8FGn E mlٶc'Q8kE4qO[lѹv#2,VJ%~j'b72Wj z7c;* D3ti>اOCg42.e[`k)2F(5/RJDj^r@mo5C''Ox#{ǒ@:/}e>O*5z50$hUr 4}529t\Lr$^yˡR!N|LI}FBY}](,^DKz+j'u ҕVd[5nps"jW~:=*.R5'dRnV;Fnj; >.ok.p57,z%4(%_F}dτ1a/PVDzą*0/3Noauj>\twHHlPZm.ipSIKgui3į&i\dp9X&KQ o.\S'׍O0'ODJVD:-lh\ѹ?47V"bS, z?|D<e`2MEk/ߚf/aJvU8x~-5Btc_/l]| o?H0`*#N 򔞋c 雖}"@(uܸhx/XNX7`a/ȖA጑6Y@d^ I@c\y RfO;Y>K, l N#;l܌hLn/W8jNV(ȗkhϞ 44ʾHD+L5Ҳ03$̑D[UOT-Y3^E\AV5 Q1Vzw A r.c$+wۃDx+X=Q9f5ՃBXb G{ v"A2ėY#ɦ`. A2ûZuuڮieنtS8mus箤و V?qg rjO/V4*$33%MĨF4i}P2ؖPFwrufCӱtl-ɨ#j>;c6 CfTsv_DT҆Yf,kol'na-E6-P :2PI2WM  ':Uo\vX[zQ+edoHhV=;`ޑqvQg (ܐ#-$1` ?9upcEӦ)8Za.,g?Ñ;Zmg,+ƌ9{4YQ4m9`Ye e@ڞl;KDwъpJ].|Bz9em"D4f5ꀗ2NV< \YZe 7<0ëK$€]H>hyN#h6of~PI P"Psu7pySXFhi;3-L{,C*ǹ:[PHsδlc LƚXrmO%O!SM\ұyb7ir!d鷁J$}X1#jԆ\+.CǸx`ǥ`bCcS!=CR廰1,e0HrC0x[ߥ f\,Ĕ-XC]{9٩+%)tHu`p|_7X"ٷa.%7Ht%:]2[i/aW)lo8|o!(DM< A/Y(<ןO&o% zxi6bBu0P=`,q2ўQ*=bS&;9; v#'B3! |1gq lKkiM^K|AD%ѭ4OUySWX`@czTЌھG <@ v*wAjrI+d`cHwIOGgҸٲ1Š.8)jQrI9QLx%Z Xi΋ɫ'{x|kv:`A}ݞGWEWA3k&9$pTN 0B~_ 92ӵK/HWq'2%vs60ItX}in{(*⸪uJq\8sy>~ mZx 夓8 tQoBY~;wFWy{䲑lw!G٣g9tye?+y뵓n n$a%OEr 6 l6Bm6QSsVΞh!6SjOQDf=݂w_!.9t=44sRi8m&ҪۅڡdƳ{33o4cg`KbjA$!$[\A^* }"Qxp,سTFA,G};^Gd.LqC|sKpXq  IFn 8ˋǟ@Y n_zN }Gz:≳x߽$˴5kKtɖ4)Ic^S\OL/BorF Hگ`yQ` =]ٳQ?IU5Mh2'J.Z>!J=)K|A@9C0]\mcE!sp 471GF1PFs^VпEcYhxORo`bODlxป2 Y%*'y(~qA|݂3yxoӴ*ԓ5.  `G?p'&_B t ̎|ce3_ǨP|}1*Vtበ^>k|g@ !BYQ:+/*hI+\|uӒ,v3rqy1vZY#ߢfN}y$0QyQ]Z>[ZvS@ #H#<¾@Á01 D!B #oB̄n_2ҏ8Bg0J`q[V唐ϟ:o-ïwFOYɳRbtM?^[w7b* տ>l$Ӄhg= @iJTo&@7ݳ93'@, lxk|pW|egK .O^i_E` ;uZFJ]ʿS1hF>0ok>2E3Bj`nT7ӆbZ7\ (jRLȴQb-/ޏŞBA%α!4z͠za##<*3(uaqa`ct6 \ Tjޕ ")n8w|=g"7"jغӧׂuf0,? *fV|,=͚h6r'=za>( p4[ȹxhZ3֫*f4~ hy!c5Hr;{xO dirkJAR9%yIWn}3ui^/wQk2솳٩cI6Ck<|x)J$Nz5;\ ǑKyI=e$"k.`Eou6M_ y+߭2"M&p``{nr&?Ui'+zҥ5W[WL+b%sn:T^u DuEx2Ik|1;SIԅ b0EQ̱ub% E<o׀ L90J}8%:SywE~A rˑѭB>S;1xw}k'ڛy6}{:G&cϵ9>,RJMimU!6-ϴ aa>ݻL.ar>^Iz?\տxxpoOBu8Z^gpN{H/'H7/v1x Ph@7ZqqU=WO931@U4:3~ҳf = p&q8<R ѦS \P٦84\<;>B3#D)=KVVyk8#wYe-"Ggߎ Їɉ@y:f0C*K_V/3K]\wcF{z|&c0$w3ᨵr=k{u/MUZ8X]zWWuXήG ˳8K/Y =HÌRv>Thg=%–8W!S e{u(Adí\KdN{+~:ek} tY˷YYe13XJFz&: BU8\[syY>9mki ˼(JY%c MX:?Xc ( 2G2((@KaU +DFR#" R0mA9)7QcLEFGh6-ݭv,՞c\f)g[lsg?t}0M׈,s _̕@a4Hwz{߃wsKBvLH5f ڡx>c%vMh7Zzˡ/_8[B5=·' O,*e+3tS;q -23㽖M,_u`%V~LS^t+^^&9ϳw6EZ[tDŽɟ~ň؃%VH#dΩRu#RoEG#۞mAaQOUqؤujC4q< "f+"=bc16Ybi 3'^N{Zk5 E#=G)ۥT5wIj?UoBj"T9j^)CF /z:jM}F d)eSŃ臡[4Wrֱ馠ow+c~qS@B$h0Af ȏe8]ܡjj}Wn/nt.*}y/*3 3˜ 3?(b(TpvBL ]5Zg1UWo=LzYA-w4tf(4b#?: Ȣq@ռ17F+URu/zC)o@_~ptx=ln 2d@F]|^T C*poION_ٳUDWrb&STC&Y !6FTCjM/0+vE\r8alfh\`+clZZz!ϨNSWҪ<#tB^T^4z~IE rn'IH ! $HږڌUvN&v5ʖ NǃRD'%=[7۠<01"KOy_SzN6cW$3;v%Bf!J9@dtB 6H7Ke/bnC#C'^7)o9Ch%cOϜαpymgUMēPe땋x{ /=ʎb`'{]^,vuOD\w!!CTsܞ:TeJA1Ԓ/ :R͜#K;JAhS\ A)ƕZtEօġ#}`$T=l-U Pr'X8 b0e\$Ze'mFu2A1]A B E B 5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m 2N- `geF23쟘^JS҄U8h%iS:#qkdܐŊtb.^6mZcU̱~ =].Mck=h[M4Ո^>tS0 22+=><VC(G eE 7j`𯽛{#ZsyMR*$E̖h8$8N`*UDHpΡggq0@Am )YmA Bl%i2+bB0ja$@Z Ԩ ra @AHСbFf&H{QLxiIXyY"5IIHB*Rt B%cM*Ay^*(BZ#(lW5`<w6߻xyd \=gZَJ#3NgPC'$(M0ߺJVQR$DY9Kbs %_K0_p O)ǝ70 BR9KBrB2+{4lTta93cgLfن|ެ׉J78BT{uN[ȺɘfƞII2ݕ[Wt눈ʑJRϼz~罒 Ȍ68;1 \؃?͙3D-PD& "["eK?*@Җ.^S EJ.S"_OL;_b( \eOMqg#v)8Lu35T^ineAxw^(,M].Wt˪ӏ0&լ1DD|TZ,_sFr=p㭢Ј"yn$OIj ػ%a8'ޟZ7%yt AQT3n,Wu0L5opį=Z3TвQ~GomU0#]CPz\VQ&NW(I&pV[E`-m"2ĞrxbnPߛ,/ӂ,$S?^E"Gc$coB>Es`~7vў QszCh%Y'xH]%m`%BKҪE0R|׌S FݕqԉEh7F5ז̄X)R'@4yx/k&uXHS d lG@IZnM^Ćn &>:@ȷaiJ} >ՈJ,7f4[p,-jG{N _N} G'k~rNKO&aZC$UR|)Ѿi b<7L.?,{|U>V"4>Sq%RȒiX7_yݸR#yKU\ $$Y 5O' *HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օ-Tf"0o`>% iF{>l4b{iii QX!s&޸D|JM@#En٧DT=X/ + -`IN .Vhb#q,t 8Z(#!dKd N6[`B LE_kN4Xi!ptK#r]`2mzbT9m!n fM+GaF66)^aLnarUѸ6|N0~-E#_td5⭎33f׭Sc'zŮbg%zj WV.,ލ΅o-qۣt7bVugcg/QXg)q'侔bN'49j>̘:G8Uf*-|Ra0{8=bL_F%9kq4$ m܇J9M:/g,'׮Nī4o:.HK)Xi'.QNxŬwutZ"^ttr:҅ &]sgGIm{{'WNG&^,-qbUhH2j1 ``aQQ ! b!(C 1 22GKmw.ғ=E[P6|As~,%in%ˤb z251'/\W"> APu(.޿0&nkDfN-R@a NRlV.0SEs14릎mO A qަ>ڴ {k%FJC5b3Y9KhmJ/VǜfY ebzu@~`%&YMjSFWU=bAɤFZXZ|kO#,e?ZÛa3l\U!mp/A^ԠD_qMNRBk_ r+342j MI?aw"{ GJ.Zwa h^ Q:_3yNzEZ>&Z%!48c׉YcH(A32uO8 Nݥ k7njNd,bewp't2!iHrXN D_ jnlkƇ0A&񚺝,G5c!|~TqGY  Z)4Ϯhe\ILU͇PF2>3t#_H/Kojlo4Og|jrk5PuI ws8Rdh!$ǫ'і1`a,Mi:&rCZ0`6e ƶH*5mYI;NU1HR~pjS NTBг1p̈1[-KO֫*Zi,pS`ճlfOxm]1'U~5u/ji3YGO'RQQB`p2{YK?!GbC:?@߹E#4C!3G.q7FJH$CglU. B]ZuXds\O.*t~= Wk1ѸBe]imNA@uihtR*Q=K?$(/y\%Nc\r\` 6A"߾>Ρ 2@6/1݉x;wܱ2Q30 7:7/2TiudwBhJc=prIG|b*סX].sId]^W(gB?Si$b^RyH,9Wbis`E/|{0Y9ipEpkvY|ki\۶LE.۹J&k%*G>jdRA`{Dsr,y|3SIZ)&q7}{3k*Ί66K;ܦZdqdJRDI)]rz(FZPy$vf0'y1Y4;Egd)~d `xB ;Jqr=FzvdFF2o'͍./} Tfћ O%CbRgszC7ku{[ F곀_XK}QIr6(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