SQLite format 3@ .j   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_exportsv s}~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y sO5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`:nd)HGlĒo5KzIa5ȴ"""" P> Ti1Z*L4qX0Ts8r7q6n5i2_.\,W+*'% ! ?320-& % ! gSo!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/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!     v5|z6 =- UHOL-Nominal-Examples:threads=6elapsed=326.058cpu=1572.776gc=80.066(/2,}#)MB€+L.{ډ8iLYw3?nNOϚ{94(@$ Sݷ F²*I.IZ#yRW2%ɺSs&.Fk 0SvX\ppHi. GfɤZw $>lA#ޕh\̌Bv i9C5 HB~x4ֹ&T*5P<$A`ң/@_4eUJ@aCb"<4(DPЪid~1I8^CnF$Lq3uEDD"\ X(,H(Hh*J_rQyDWk4qPhm#l}eKs59V9";c(v! 04*vov+  0$м!%rp` jZh$U0bQExw]"h@  B"TPN |q1-LD੝vxvXvwL dijԾm!}|,!tFw*y%bBϾd24iѠ'{'91dOJx&l Y&sXքBGnf›.k.!>(;C+טyҕ-kXeKDvXs:VVbuuv3?nW"K2%rڱ҇kNAenjsݘw+{/Em\!WzDL{[yJtDf|vznW_.[W2>HWOxYWaQA}/\N7&vycCHEכ>e7Bj6mP?l_FG׳ě!0yhSx7 :2Vґmbk*4תXi5$Vg믵E~_oN춹>kexƳ~sswH#iWEWݬGUETF4XDv2%4.[֯#k*Ϋ'Y}٭/2m>E!Wƙ)*U"')H'bzhbG"o)S. 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 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%)y0]'[m?UIZ뷱xNb|U6zouRoU&p<:/U0->=bNaƣOJ!<6g (OlΤ͍e/vFܡ@<]JËJvLbNA_FT>79'4 ߷W)D j0 S=Sc~WϢTU՛ -)"`*-Bj Z DhIP1y!hёM k[)S,[I!D)!>PoEZ9MUCrGԈ$xA" U7o!ހVDyんw$#k$)*D6n!/B]YvoпIs IJco7-'JdzNuעj'iD)os "wMX{6B cG?N(h/!&t\jq'K&L[7ӗ.X윾Q>uY7#BVv[nձ9p-uNlNұ҆c>>Q_[_[m6 l=N'牸\Ur:mu-Ҳ"Ǯ|a=Kی[]auދ6$vE,X#\4?we@Y KUyohkDYb/FfਯGMƐt 3h+SߔP3]숚Fd6?6@cEX>7V`gwdYAţ}g0IF(WXS7KB+UEr{\I[NA\SjMY;n9%dጝWP]]Y塼,0S":Kě)r k:WlxF/g`d9JW<4#Ro]xNi8|0HrH]pUkM҈ P3zw +J6[ɿ@o4d;>crWTUH hEXm_ߘ2_ѳ>]'?K̑֙&v 2" ||g+w| \E XX2Hkу:9GUl/g sPH5Mw]}uyAno lҁTc{"[s#ڔM'axNR#azf_*\2} : JrIgDXa**}-[ɿw㢏mS^@@Hh/^R/N/̀um.t b9@]ož߼MǶNtBuuW"KuD¡eܫXHz2(g"l<]58dwÖgZlhsyEU9L*HFsA-T֓Majfrc#GoC*wեrU[$Q$DSi]󖇨3کϞ᪭U>tg၍W|wZ(q GutT6kέjݮ F+5(W"턯_a-AP#UE! rDB4[gŠ]f~(XK~EHAe:TycY'@crK&+aSκădA5}i|*S)9*RxE `jpA^fePҾ":\r7Jҗq6;qA=.> mAA Mΰŕ:<9@xU834e 8C,tyB8A1b̞|DĬ2,VӪH_*ptx,t$% GӴV-0&4tx=,o#Y9To:lP@BȜסaLp9({rGht}RLϮ#-XR${`+Ux,7 oT."1>YmnEhHcP*r Ho>@A {X (QOI8fC1`i1 .*3;Z06܆vmJ?V.M8gmq;Xu RѾ]@ك }Pebw5 X ka,Ӗe Z#QL*gmώ0G n$L㥱3-z OXVo\FFbއns.[4X= ?GT U2r2ElrHQ.ImէlfN @&Īf-vHfb9}f,Z\tw Z䶠z1wEneF{*d4,ZDNxDOlÏ'm{#lkҴs+iH(ƓD)#FKC2I6=21&"2!!TuҲ>|T>$AYĸG;%>Rpt8?^@bA6\:kvn s +RSO4Z*^3Ä*)^go;0>.|5Z̟\(xIk#4xq9%T*/ʬ QK(¡/Cq8xmM1䦉f[co"NLpc>V/_#ir=ׂ#=% x X }ӛ4qf] M^gn^V؍qfOxl-o(8IŪm¼vÔ)J!CMzX:My!uǂ3 4Rq8\Ȃ=DO"O3 )m1ˀKzg!Gl {K]Ȣ)@Ahfr`u,OJ.ErWl)VV{R ˘ν0/9DJ얔z+> bWHsT_ [)"cbMccH|h~XdRrs\g/G{;QA"ήIK$؅I$SJJ712yľ!D<'Y<[j'⣀=3@L~fʼn>EgĐIvo1b;f 0w6<s)Y.*=7`LsꗼJ2R;ۄa0ۈ5A4N+.ss@lp<wL_Nɾꐇ)V$No{{Egp"u91lgj~*/ OA>5]Ɉ("Lp%{)jo1*{$腹N=^2 Hu1Q*ܖ.On.cyBz"h5#EBq-r `ZvP_`F* KtKo'KI٠ t7kXHlq 0sc: ";IJ/`X(IibIZX+5t &yhqؘRp{ \lXqFC/EثK_>\sPݱj S4FmyۣuQg}``O8+P.佢2]vڑ0sAʉ]9=Xc GSh=()6Z nKwMvH <&fWZvw.80Se#m*&{XKhhdcO-GYq;h}a c|n^}_I\H-wGYyއ~sRfaᚵ`e pFE sLn{/xP|BWΥ"Q} lLH b .dJ1u/ J Z;3 "_S|>oW2ah(5^TC魄1,:`m5zU0SGy{9,قc"2R]ԄnXLt[GAYߑ/עU]|x5{$ ɖJBAn4c.S7ӣ7&לz] XlWU_݋!5f`o%+'m)I>oB {q\&~JyfAts.i}C:A WܽDf>' 6_ &,˼; qк`. C"NT`2k'ZVZ? !wq 7՟/kG-Nܸ0}A vX vIG=U[Lt||IkwZ n]ϗ}S֚ӿ Ti1Z*L4qX0TBߜ l2"LN1=F'`#9áPpH|nhzRiL(M_?i**?JSw-,\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal 95K' nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1-za( D=ؾ"BlߝvПL""",41;_9”'b 6=9Sz2h(wMMAFFUT\gj)\KvfqGyj^j1ؤ<\QPHmjRJ}(jjI<]yp8HDfb Nin0|itNVF4:39aԨFn&0M#B#=,aPD ,РABsGY3묫LS1T(kPx{Ůf^wngfnu4I F@hH2hޝ6]K칕MTb"HP"9 6!(,Ҫ>,muk_bTiu LAFSHo5D6-ly.>EeFw2#'ՒQ-բԯ:111sʕ/mzIREFEBÜ{w``H ˡ R<PpPH?ŗN]0g'?yjԶfn"Ԥ^A*ȓ].ƑlƮv?l̻};wczfCQSI췪g$Q%UaOR:.lLldL N紀)R70IV'j_K_~{u߳suP{#"Pj-mZaz3Yqq})={wl/ElIT~wEr.*217/oXEs뢩5)\US\tro6*ʨIP A+OHlP,qGۛzK KbIP8@,|C#wC#GDd>t}0EApJ(zTL"2(, ""C0( (Ap~# tknL{cZo/j `c73{i~?kwoF(}$h+:N_R[I F^3t5X uֈtAмmpoZQ9V<*]v"śKիYv7qDOBÔiDqu'=OCc,rMW<쬜bD5Iyƨ"/p쓍%}&$z7u_B>O r]λ]0hYS¶em,[7aUafbE6|?~iflr<c.9Р@zȸ͂a]ҝeEB#i/$?WQu!vsQh3hn>ڹX {%lUךjN,Pp6k_cp.&1(y#m_+GὧySܶZ/_ %"ɳuYuzMe++?LG:,x6GMyp`bX,kpM0h ɔ*Z#md)PBc?e`QʈV$WuNýsJ`fa C#8Qa:ёaKw}[6FWq[L@X^ 7bNԆ2Я5?;!JMV%cHK]Sd芋%4 HVΚ:sI`5 IQ[_ºtM2e7EvmɧJi /|K}soC+6k.Fi8{HC!i(}xˍ|.Qo\j4.pw~#K-F2R}2JORBެBՃTu3 er;u' fB>7o7,X)ᮽ$?,F0 0gr1F#(H4uhL}sާ2M6tk!lcvEs4"wH&mqDTXybrk;Λp/mK@q#`wFXaXQX'$ȐRk}24 y@*7W"#׼)elӢV!lHАbfS[c`@r~%hX`:u2'bPnEk̨3Iz"/jYqP^ xl,WfG4N_%03/Khsn 8@l{Bۘ΍GbVjlpW&МY%]&4=N 2VθN M4hP<;$$8 @= i@ۂ{t_fc#-_U}S>F+ˈ^EZ|APmeuXBA6326d -Ǫ&ܥO,slI7 M75UkВT1^ 1.zl5)![D;hʇ>73}~1 Ɖ`o)t"ue7cFmS ^4M3&> Ĭh%V0%%Y#fMژ$CL*66~ !c/]9tTZ K%@N;>9d/aïW:AX:Zֺ~^ )\;%8}羼cIoX>RS/s?dn&{,lXJwͿ\P<46Ud&IJ^y5sK WESX9s:n+QT~-Ԥ @o%Hin*xdJ6XQŐ *QsL2ij XiDS9_"+p.ƹ*Jѣ|`!W?l2 \(3ͤ 83fl֫ b\Ӵ6{>^0\q l*+^9 +xDƧBwWި9DY>^8eD~*mMDuwX ^軚2H 3о-,틨g|c3xa&ެ \/anY0~q ˏ.7 %m1k"aD^9s&R~ 3[)^ .&z "F)@=t`z5O8J8ɦB*UN%)bKUV Ĥ&ş] !#3I ф_WM\FlEe@4Gji䑪wl/V0eo΍hy^*ທ2}P.\`v&O(',{gvRJV55e3mֵny#E[XL>exX}2v no7It%~ @zDPQ$K=Yxvɀ@T_x69d#wխwzک͊ I (sgk}7-pE޴$0xe P Qp`28 ũr^bN\l#q` sQ* yKoӱ{OOb-bA\bOa P?MȺKƊ&ً16]޿3qktU?%p0X؏h OBn:8ZBRP"dý[y_wyL!.tn; MY?SZOTƴk[<05Qk@f9ƿ3YGGyKog%wq?(o:j N 9f~H! o+2&LdےܔPbہff`Ȏ-5Q^1^$5}qܞGIhNvjm0Թ"=v;D\(P|~P?{& Š~]w]PHT3FJ\#h*BgBދ[|=;-nWaQ͢oYC%I%ㆾf6u \9瑱DK|9Aޓ-yܓ"j86 W4Q~ai4R%l┘~ Ia "B0QB.JתNtA;H0][QIy0HC2Q`"ӓ蓽3Zme"gf5;-o6iƯ\rslgTߑ_Ձm~s)ƚr&G67m3~H'ę6RD)߇kUE4VR2%1jzJud'qC;,;55W_ld1w JOh~Wm3gBQ[1H#*TcI 倱 uҤ(*,/Ah?$*VP PU2CacXEdJI&ۮYM8hӶmWڶm?&9M?"Il-9]ĬOt-lOd-陏xdDlKD`DLFȈlhv{3!mhѣ[Tz,"Y,bŪ*y'yI$DD%"":gW$JD "@bU'+0((H1FUlg80p`45p`44h"3Dȉm۶%I$"Ip333333333ĝm&CqȈdmb2ʪVUU%ϟ?Bd""!"$"M3̪Dَ1UGd5ə@@$0 ! ؀$H \ RB@,\xP:[&9402(.0````P m,LAxd8~"-əl"dqtOd̶zbA4Iˊ  Dr̾\,>FJT1K쓐Nx6fKz3vKr37V'͖ i·U'͖ 7F"BC "l"%=[%?Rץ-əoVUUUIάᶪNnNl+Nmm۶m۶?gM^[3&*Dݒ}#0A@Eq{8P4D@$4D$(0LX( ,<ʢ0 +j>?Eu_326;f.u+N6Q Bͧtc)VE }g@ /h x?|jnn@B[i{>\!m͈*NCoro|- ,wM yy{Vu(tn@B,äC|eqeY;x=,9w2/EN0&ų5\, YEę+kb( Yh jjH7wnd vfgBcJVM7SOLo(ݮe `[t߫ELD C*˹z*=+p[l!Kbn~KrX6DnLk 'z-BMtB㖦[Gse9/1rb~n1 ݒ1ݯD9Al|%@/[>iIB9`Ua˄ApC\O=N^3S.oh0o!7hQHF(@+tP=3QyE } ܈Kms~K-mȱr++-jWrfl i FD󀋛.xYP<|4x7609@leܳ $r`%\l+(!rKOM*=7Hf#.gׄܓky[bk(Gޛ!JeX_MM\&Rh`p ͡&=Į$RQ<ۆGOd@| MgZr Sdi܆MNtT9f4 ͍bb9=op2jz$=ymZ,Np9{i3x8xYi7:5TX"ʶoXB0/̢]{V:N+(,ۡ@h'6%+~$- 81_71NvΆpcI=՚l܈f=BfjHv{vv[/֊d!2VVSI\WJ*mL]>V=s>71PЎ~hh;%}6/2}089; 3jJ&;UklT^ eYwgQ<^J6лa4(niT&jZwv[-6h) א;3>\̣Db2v3w1&ƴ+=Gjkĉ#ԚV29c^:[yJt}tf9HF4(aVz[Jfq{Ç3"Nx bMF{ͯTO>bt]iJSiW#UB{jKz/I O}~[m'C+ۙMkAf.'|92c?DE`Zh"D7,H5`7}Cfe~A3lES/vvͦ\Aڹ9N@w+~t^Cx/iځEIXB/1 )'I!$zcyAkJAz *쇕)ԱKz+x6/M B*ꅕI gOKsq5^.-4vD2Det WE`-*QX=r]FdYP+ f"[{HdI3d_bKn& y‘Æ"-v{a+vK& (<玞78^1BH3|HӉq1 H3ϋa^qS%|gqIKAQIkmyR i?ݬ/ɁcTنs1b<+Nt!Q7FXp8FLbP'E;BafM<(w1hvo@d c3H=Ǝr,%f{96° 5 tx-g|D> Flye # O}O &3~ Z|VE_X :I!I/\v{2?5-<\"["$͕f""3؟]3g.FGp4(L5s Dwھ"ӆ[S8qn3bzWefd3wս0,|ֺIkϽ΃_Go]|0[ߍνX}dp#] Bfujb(nHw6m~| ? 1sd&p#ŕl~;/&/a[hw 2ZwߎB𼽾s׭%wi>2Pz{䠵_r6ۍ8܄"jBLL;MMF6 jbߘTmr~caK@՞=v9CwPAZ⥋_{`p]WRɳ1Sn_;07TVe84V_XO]}䭫gpe{`fh?}JR6ޣlnKdލ|$Sᒻ'%U&|+ Yy7V6[Ifp_d=R_ ޮ仺>XAh[1r$ k_v dh}7{*ۖ,r=;:pיoeK|EP'! 3@^ۡBz{nWU0sML2TZvhyPkt@LHi :/WO/ NϮ2"%&;X4*M\6'OHh]^UIvO%63u4h%jX ܲBӵB>K>'*4.X].̪Wkg&:HcM#|7d0䣢8'OGkx9uwEDhsH[K :㎳\nӋ[4QSiŸx)%ɳ4ߟkj_2{x <Ŝp>#FLHaSd@H;͞ٳ@z?"PUNhpsq;+\#JFܡ9imA, kߠV*t1 5Qƥ`z&of14'WCRw35^ʉ2ӯՑ:>zQv$z=\|pг xm&ǧsKU PzNiSZո .b,8Z%ͷ:EQ ;{f]y:&Tn^Zy^4:zIz< \쉚z𙅅ÞlKT LoivpTa/D^t pꖽdx|TlKt ڶo/`^ɽ.Cp/&iuzXAFV^Ypv ; I—p/Ѝ13S|ucX M pM*57ىi))s ~g%Udۓ&")*4,8viÁqvI )h0J[&PaAQ内 C$H@ ԃb~K~b 0D D&"bf~%7 (H` W   @Rt3ݒAVCRgMA$I$IPBPlE(fޞ춈~[r7~[rێT(BmI+f; Cf^=>.mdɒ%I$g]R;~[RȥFL3"LRgRxݖ&riv6Ko&pa'H/I%I$I$6M6Im۶Ғ$I$Im۶ŶmEDD($I$IfnKn>nK~ 3݊D($8u 0(  $[rȥے-D~{H#I#I$IRDDD,""Bܕl"qfF33333333۶m۶mv۶۶m[n8&Kn۶m۶mے&"$I$)) (Ci  ' `0 =-}(]=MB*?@$дTsWg}q?.B80NH9'9C D¸58F)>p`,*mX-~<㖗D֡aW TaL>p.ުX;80*܊P59Uѵ <zXF{F>I\HvMe ͙{<26Dmi-s پ+w Uws̅3';$#}}I -L šFlj* V;jlPq(b1G~EON(;2t;y҂םջj);PG6G.5(*޵5PO<յc{T!6 }RY14TP=Y=x>絢Z8\,:jHKAFjEQDyhNc zĈ*+ok#IV<>x{ Џ4$$zʂrM4?a&v H[PuMF  R ~~;xJaPЗ0!E>i2lOKO 3TJjidW:-|gvR|uf5Ա05?;Kj.|i"J6ߑxj9 5( ?SUSfKϭy ʚ9^%Ui \^})U᠊sАGS:<#=Uk^ R Tƪ_uM|fFɧNbS*kjB$ \/pͺ{tkK`T=yL.3(A/JX4X+=V`Q$)Mܐ%#b]D21}) @Z˜ߪ"ҚR$]bfQ!Ucwx,i-^pc`݊gA4Jx}5LFϵ`ZWڔwt^ӰuF5GTMV5`>5MZ{8PwD-/}[&bмq[X[6,\&Ћ!7=j61Ljwh.[Em6HHxNMM{:OCrAz@˒_RZ /[vCUВ69I]l7b;*JqꝖU"Z2!f\De 2kYjJhẍ(A s0ps#ꚓIu wsoR,Qr};;2A ]e S[}K[D}I2KZMYYn_F#md ÔhRBUCmmI^#`T;/Xi_žf ~ÍQGe#Ô]on/SO Dz7his55ZF2Qۋ7?BJ1z-MyBFUeA#}}sTOu0Y Ы)OV^&[ (6>B.Ȗ(OU̗%JȓlRBB9nIX(U(F-Fz;WRx\\o+Q=/v;JjޥZUDDIJ֡Ta(65+5 W3+إR#G/2bM~hE㨩cEn%Zn5ęBvTKX8Tﻩ $_s@b Tc<^k_x57;5o61R}{HkL$OYbQLE* JOPƭv*c+6Pכ6,j+I,c4ޤG0J+)w[jH;=[a[zTU㬟W|i;uk.3*[ՐSGjW?_Xs?V3]RiY̢hAJB xjҹ5s׉GRt! ڱK]e,\dQ &~vUm?ծY@T9\##g62ԵYUwZHglw~ddy)?$˷ң&FZef}VX˒f9j++ h)0 ܣ$MsgV:zPT"Zg)PJ%t< @ٞSl4̩py]5XQqF@.NȺbڮ+n]Vܮ mٻr{nL[K]Ep ´pW?uVd=;ͬa=詘Zˀk F7b$D8yTiHJJ($AdTāT#-Q1"UBZ++Q*QV߽t kb ]QR ]wŖl҄5觘ZATO9(  Ock?xm:=a5Ӄ4J (LqcWl yy+(V^.wXʭŅzv3ٮ简%ODB+^Db}CByNjR]å;*kݰ 8W*y#WZ$BUX.0|c iM++f1ؠX3@^qv/Py/#aˇ/h,&[[Nף5gBN`Wrn/ƂB\L @?L}O״'0Y]}:=OKuIj[Y@}KJԐHj~Xvu!VٙnOaĦI@kWYٶ8J0԰<;G6yUJݣZ=h)ZYjqس A0$3&KO"iǷLem.j )wbU褚(꺔fګsҙ 4;M^@{lvLeXY'1V>XȐZ8vVCljCfE>M{0OnrrFWE^EUZ-׶mbF֠W}i5\V{#K>f4]nhYOӄBjjL:>/ˑN@:,|EE&BR)2%(?S/SNY-\G2˜#iUg_UdJvlџR_Fsc(UHO@:d 7h&mkc_xT!Gq1L=hQ#K#5wS爾3;PvG# \*P0"P[,԰ f(C51*!C|PVf͙ٛh0-OThFݸ6 Ľ4u)Y/¡ǩo}_rwjטGtcf|"%lmlkZ!bfQVkeܣU׷0nN9)2 ӝة,Ms7 E3,EN%g$H&gT9b5MbgхL@ȵOFRd[xƍ|`;kN: e sۈWRtAݙUaRWKt HH3bWRﳪ"9TI]lgLN $tqLqm"C:y9̦@rx;\\=XMܢqEZ0 `|JWÇT!r'诬f9[c8IulR!*vפB]g穞J=s0ҵ0"տmv·,ܬ\@}Z.WɴhjNrP,JR`xY9|?$#fr]HG>Ldva lݓڬv~'^Och8 HflfsxzI}!q#cI;yiVBowx;Y(,ǵ* I*W|܋O mhB.V;^MD֡b[PQy wDS#ypz+=ja񲯾Ys3 s`j/#tG%LYMB͔ }\ϴ8F&&4\*2]o(e`{R"Ӿt@&{-r]osl-G =rT?Һ-Uk({D[͜fp {3eVNXoEc71]ąZj<6^,`} \D]HH RGn 2~zұ8|)8?,.$ikf`G:mp0`( s,^̛Qj]tWюhKĢi,1nmo*37ή+Á ͢9O{uY{Ae`4YkOuʳXw'p]ɨPmƅYs9yggӪ^>A9/pI|>E&KUBCb'aߊαƿUI5v/f)VdkX* eJ<XXH/ޜU!]D&x-Pv~AӾKܑ'Ϧd8Z쾲ѽ :pew[F.P_2Ռ$xLM%;)Ry9sjCrZ:(%vr6)!\aԨȽR?TK].{vi(L |{ N3]F$GMJN= PJNˀDuUߜ5@B[ ionv<ugL. ںt]BmF;]IәDA3z!;{*!+Cԍ _P:2JrN$vBA!3DcPAET˻]C+;Jf%1-ap{n\_ت3MBoYK(Ҝ|Y)gm;YP͍": VAC(Ɂ92,e谉y[ |l` ɸMӓD;z h%:{9)/jI˕Q+|NޟbCXGADzX3QrMJGmWsM~(POlB&)fݨ3zfF,L DRTdιQƀ 3 _:F^߱cΨK.K-H:&fG+skp-(lmˮ|Pjz?mlw^ivLa^ZّFݰD)0J,r2hu;|,RhD1tTiK=Ddr<.J92&Mf+Z}1["Uhrtr '[44ȵ=NOb.i5[xT.eY?tXs5ȶa4`[4,- w&J# 6Q|utqXjF۸+\pSPݠie%3o|i4u c'";.`hez]rfy,sCr?y;ޡL4ʅpHF NwI7}3IIA<UYN !~V֘?<N3cD/ShP SVus2jwP$VLJd{<Uiw=bn//)fؑd631Dԣ-IXӟH0b p!d-o lg]_9q¯ P/ޙ5cS'+JV͜OshKb}= hPLCZn7Iޕ]b*aSrb,YU"{.6#ݐ˓˘GжJAc~ALG, 6Oɑg@Wy E*n`ݙ-Dd36Xу$Z6GV7k\aP+fW y*;XJt#_tGU7 W*[pGnTҽ f%C&\}EPh8hq{ ~i="uL{m$m5Ȃ>r^ @2aU_l]G47l5 7?x%q>}^b>Е<='@wsn."5@fH4m1J(w.K<2'0,/tcLd[d gFA-%6A5ghp[IՄKbŹP]pv]rk815,ⓞ,;1a" !:{O_ wraʲ7/l *փ0{je4RqZ)}#d8:j^:^>2}YF `RkpD[&Q`<4@ej>.ܠ{顿ah1>@ކSxy)9B1SP>OD `ӿnJ÷7;0"=??я%R$.7>Gn>GC%Xzř{=h,LZ<_wFuIQ o&(e%q4 1tИ|qFyqVJ) H:g͖|XUyFV榫@3h?FļkʸHo`J4+ >~60{EVNx뉖d3AIv:nPa&&Ω5Z;isbⒸhE$i}W BM¡Y"ny%?6#tԔ%?f^hPeo(He#:fX b:W9~ [h%w3z$3H z ~z= +AvpSYdul+ho0е[nBWHz 1(hoSc*2(S WwRYV D՛2aG=4h0GܫiגXMn2Vx߉99F-8ab5QX$˻ve_ I\\ՋDC}oi od!fh୫|V dVzT+n/9Qa&DRKF3';[E)'nK3GN ~y!lțx AR}0\OpLs,e@&Xg:uE9,`9Ɖ8w3=8=cd}5a0hȴ ; y%#<d%L"@2H9DF1caW<'YUT)o$+DTHfv؛6WX*_qٵ Dym Rܱ*KnY#UuT%,2gW˷ &ܚN9[Ic,t>MB,޶d^ܪ8BFͯvR9:"Oy:-n:Q\o2S0NHKͨy[I'cd87:D7*ldBH]y5^ |y2r;[uNG]\h @}&\ѩy%-\x3kqZW{Rߨhx{D|E]n1⿵ڏUP*BٖT†@Ѵ@X0ɍ܆b 苏|@kaWR%B(beF?8tci,HUC/ X}SGYC͙cd\=>o2Kdd&`*#.aFXdZ^5}Y3K+=_i>пe?s!@5Zw_B`\Nܹp)u&6vy^!>Bՙ56pmoU,V#vVЬGotDsr2GG`lX' =gPAȰbAvRokXaxIx3,/y' 4Li<-8Jי ?OAl(@ANexG==?%yPy<3a"c!NɣW:V=P=S -$ҭ}DzJ`540p#&dH<(,;\ Y9a\!S 5(35 C=2cYOK2Bn1^ D8ra&^t.Dh!JJ'@s׼\0e;_v cI R^xѦղڔz| kۙ*5"`lFk6.GBswtcLzxe4\a|}p'tޥQ&94 MSI'4EiQj~iZ~;yS(|_nm"Rqopu4% __B%˜z/Eshܦ1}tf{#c9IelTQL%xD-ҡ,Z56Hv-!8:aL:2piJXz ,&]|/C2H D *KTg~R6̟CC>[xO mFS@n|Xy 9bxLT;mtrc8p^T8yom + Zp`1sP+qd.bRBRxZ,U˂bn Z4KL1k߃ MMvߴ[ ~؝d4 GF4KēIT];6XF*{3iHl0@1ž>.~XK8V?6 L(Di]1D1PPθfGCV7H:Oylئ3x!+Ǟ>(BgToHS.<si̷$].p-lCR\?fi3;N)f!@#Gwذn,,/3/&4EA5E GaL U}XyǒQ 9hR+[ʤVZ1E~e& 4`#3Ab3+sa)UGRnf!3@i>&F JY"lHG5/v<ZMe]7>~1#*Qb!ZVt7Nķ%ƈ/Q-B9WoZ>Qyja6C 2QLhe#',nh:-үXFRIfT] x5>~-ӣ2B]ʪ*u23X#QFXMk*:<y!-d:ڨZuC|Vx-#zKq{H-˿+v*3o +iI`أUTfؓO6Fg] kK1l>Ť|󶥧xG$ZCdvThd1 у?6Kwp]~M HMl=?4ge٦hHjk[;׋`5GX0<-TqȾJPthOӕ"IZ6>FweU"A!d;a6 c;ׅ3 gݎeMšZX5h+{aU?˪ey6A%; ࡿl09.xDLChP_1īa5M^EwpN!\k?ʔ@:CdBr}MQ#F2%=_~# GG 5K# 0HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/:H) k$jkۣ9>jdń!\!B+{gqF TlR- ӱ$͂(D՜c5{x:8j_Q0F@,`P +- :Ee12ԖA km*'*`& y4ѬvZ?@#YaN٥j(|)9nJ,&cCAY2c,7tAAMf5ʂ<֡p[,OAV,O u?1d5 $ QHHBG P(A, (H 9$$: (CQb,HւJ6waiH8(PXa0J,R"<ȣ=ލkb>C,mK= oo.Y $=CGb j@@ rP̆jHg9 ų|Dw,zdh4$΂H[V$jya"Q$[Q YaGCz)b $b`g t zɲ,2\DDÓ!ޓPYt$Rci#,ݳ铕16f`fOXLyDqTb0:͆)eEȨc5vH(H0 Z"I%m ,M! r(*LLDLDLDDDDDDDw>>s"6;#h}ovvJfgζͻ͙j6jٙSJɛ6PBɚ49S&DtNNdizw׻unqqooz׻N(!/Zd"E!Btё!CI"Ezzyyhff"pQ ~gfwwwwwwwwm۶m)%S.BG?DַOjt'B< U*"jffffffff&""b"""""""(%E(U3v!TDPACݯ)]T3 ?__|fy{5%?=ߎ㏶mtJƔ0%F۶mhѶmFmhh۶m϶={gm4WtH@CSA48 (4  &  ,@ 0"PLg|=0."`.%"KulmI%gF!/fĽ4BGm ٶG7=_`o[qb6 ΰ/U/3k,Ֆe>Z%鞆$X^8Fs~ƞE!,ɦ>JVs+.OJXm196T7zhvwx'n?JX leoddoAr)1gn&pf~FO̯'N~{SJo~\``jy;~)`lRZ!cqPowh3C7dlebÙfLYm}J #N@*L>X" W1Trbefg0R}%| XK/J٫it!̅Wsjsus&6.Fz2d6΁c69PV"xȝU>O6.DFY7iFzOԧL`I/ e/4ype8NxPȟ.wlm5l:YL|ߗ\wd0q\x2RlPjjtq 崇ν59ˁ;,nӜ Ǣ}8[ \ͮʉхr}4+Piq.?6 H$+ 85O@$ Jbg5A@ʊ. pb {Baꤍ @ {4'tҰhe*?Tm.`M ,MڋW?⨟p||a~T G9ҡX7?eHS 2O~"?VQ>G}t?bGdI;{%ye6}u$mC1Oq9nӟBν9# rbLq+Y,}X>R&"4G7 $MGC GF9?4SÞKJǧQو@hb|$<^񡽝';'>WNu2F-UY]a'h|f>*7S~NZCᠲ{I!g{=҇&l{}u^ 8 (9= 1B~{!dD>kO=ZLӞA{uiH2~HT d5v<&I{jro?Ŕ=G~^ 'ΐ}ﴈ饡[ӯK?:v+]9fX#>]Kמ+<_(~\जy2[u2w|2fN kj>D@=ۘ%U"l^|vm+ſg͝Uˆ5H*O?f}T^_@l|Lj4wk .! 5O% s$WM[ Z)Z뇞~%6mJn5ܞ}qM5t! c"ཌaOz,O27p~0ClD޸+mx?nJS: `QF9 mnà4vLBa 8܎H^9 1@'In"F !<@[Gǐ=LOhbq% H5b5PF}}mC꽏oGw.LGGSDDiI$&پlFxݺjUVSyB\׈g@®%HXx>6gkfk ^v因x@1˶D2{ %ZZg##0y$5h+I b%2?9"yw$5&2#@м{NLJHy0Y"~ozz̹݊oZ3Zj'orc[#6M8j*._t91s|t  Qwn'fZJmyCtx]$@CG, PPc )  B`R00 ( #tÙpE_zt"r-TQ?Aݡc8w[4!0z8+KЋٴL}vɮ"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5b`덜{YexC_Aɱ4n!a!7Z(IVb/6d_6AN㬇T@ sl"2–_zYpـ=[+{ݦxFNofR92-7A õl9dDJ`,N#)-35-g>yz:|8aZݲXESoU{сuJ n4Vvm:J-SO~Ib\B,5H!?=awF1(QZ{,K7lo; @˘ HcpN}v.fwAY˅y"> ]YFYU1YLߓXaq!b.Vj0h\Pj>ϖIIiHvBsCWfHYp޺_9(3-zk]ÓOt+Bg؆kɺc4m;]nhINY wi7/yWӠMx[BMH3p& kKW1~_<Ȏ}_J] g{O}c/tLAy͝0 eOk\t]ҙ^:}E1@!20Mu`[%b &dG,_9KLa-]33yŢv. n~歰%8>&O`oz|업RBBFɓ)@pztIRll1ڵ= tkMU5 vaeOoj5D$8U ֘ m^^uT1Q,scxq} 뚛.Z-Zpb獬h,lA|q wӔgm$`s7 Ȫ 3;xv.HNiRVRf|]aGAҙ0NRv[s Ɣ:"Z,=D[R &0["++O7R(,Qtf98Rūcf,;X sA"mb:NbE4J| &vaoىUt˵хy-{!U"o'&Z %eV)܍ɖ˸\*I+5#ק㹺3%rToH_lE= o e]wDZPC'ْ[(P\JpG`H>:=Vl1jsH@C8jh;¤N$lw uFTAr4Y3clDFi@j4GKcr9I hǬG1jIhalmf`pEzfy'bsn}wwJ((jh[mTf40]?ҽlHo4';koBcQh!ݒ7IEѡLwͳGiW HyJxP2-wzKQaI~n:j@xlHتu )73+;2"n(RbbDJ@1q{MiVVBD9gkdA/w]9*)mxd@N,Ɩݯf™I_G)W9͋mߒcA7J0VRҜXE~LO(pc| }&EF"&=+ Iv?L '0߆R9;[g$趡Osa΄{ Sq B2e|@os?H Y@=C: `n)9Br`r7 sIX5<}WPI`K3Q}=g/Ea@CB*F.ݣk?V.9#Z]D,˼Vo"cnÕ ͷ]I~ ~s7g#:8)gz[M6.E_>:arJ\=CgntE6ĭ[ꐚ!,f9mǠyTpㅕVOh^CuִʒS#CG #% :'a׸Ie$SKG&-MJko/zXh-qd޷+Eݖ組Wl?;,DP&GM蝝g-PD1iK}/dN뿤Mp _F+ɧ{zip}ڂNЬtLP5$ c82_)R/X=F|<0n{L͑gEmZU=T{NO2[;BNjڙ/{%4L*lͅ/PEˌq8Σ\.%@J()3%$/9F3)3]~Dfȏݷ  %Cxd~%&0g=JqzGH?Mex윘eweFoL(ԫ>CscC<)P%)}׾9V!^vma1sQ4.ӋTׄRZ'Uv>7p-4~t$By5HM3Gڪaa Ta'V5!xs ,cHdqo7Rb638h@6b(ʋ$ 3?yq Q;燈yu=շL8hH[=bOr.NҞejx<I A'vK$ ->V($ +bUeԘu yyɭ<CZV0Kv@eN1$,XZV<9~}DI< URk2nhO5fvzɑ)׃N@>rh8 H؋xw»ݼ4/$%xwT_#*M?GwOr0$^x|paoc)EJWR"'8TJ?D)5Rݲ9| _Sxer[ 1~3x /ZWs m4> p ,`)ahphbp oBL76̸F嶐K+|[~B9yx#H"5^JFpxdΧ Gl6W TycW<#kͱ@?}}L>^̇t QKVr˜2hzUJ8KV׆dŴćEJJ+Eŷ]9pz}|+3U\-dK3 1b=>z+⚝ڣt<-ʔ_pfBx5 fFwtKCIxr5SMtf3_O2dh(I !\}[gG-1Ȓ-8T"BF0B\ :,p= ]M 1xL]̷ICj ٹڌܮfU7-b#!3K usܺqINJPAuojKT爕m\̃ tKK rAQ>/ߓ )W3/ UR:(DpR- t|ׁ׀B{-*1ܯ`%`AKՓ+juoR5[8 ŭ^aMR]N˃`^$jR_'LF@v*xK[̒1Do=A%PR h ァԤ>KA*>/JebW2͕Urk_bN /%oga1ځr2Ғ($Qo~ݸnlJ=<Ij~u^&T6-lY'A}Z/nul Z0\\զe6bRn=r{qMukj-YvR)j Q֝\UP. >87T2_ :!@a t.u) @MoRqVc8ЭoA) Fx 8DKVD>K`(nPǤ{*a$@ ~( l&ox0'ۧtQ5L*P/$,-`#H0q%db NIA&nݬHbDų .XP+Ez=ӫq$p @p1XL9lS\؆$m˞DVf<˹pK 5k#WU"31d\ldT64SIϦr/+,`O~o^z4m3Cͅ|Zv ),w_i1=5,I0a5Hg*Nf50}B)0,y=#a41d8!*=a:_7GzĴ;NKwuyt$/CWtZ:K󖲢8vEj. hxiP#oR,^sɬ$h:UUO䷛9ۯCf6 =U]C0`\o:er3쟁e4BqVmGgsLt@1ʐ2,hY#r[0]f $Đ D涺đ+n4]{ΨYV0e *DHRܸ5<"fnO0b–LU{*&+k> ?}zV(@`MX@@c` jms59:=QgsddB/!dzB.etႿX6V oY(`.y;,ק(_fv`Zx7GcyK2ltȯ!$oV$j1t0ƌ ODzx{"RC:1fbZ )Timc˚5CB1(vή* FonlJn uCI4Tt2i0M!ypV2F]De,oj f(fDdqg#'hN/6(CR{a>_oՃ}E0#7 ;Š*;&B fǹZ eLo@4~qL[{'8zSkAK=5`IM^ٔqWI(Ž`N J4"=%"34%X"vXmPD@ 9$.P M|,׈ܫtcu7Q.cXq8:> "2q<4A3 lhB*!OSpAFm-08,IAe9QA8tȔtT}ALv@D`Q'3G>,4dL@QXsh C)g8d] d7_v1P^ogendSyW\|aoD6v$)|<}^dka0LX\jy<4k:1.@fpE%:zuGt.dcw^ >d(AeWa"Q *&×?s-Ż {]-x_@{ >8 a.CMZKcq%Ƕ$u!v82)$)LKO>yBI1m`U Ĵw7+n92,Dw}6g2L/J/fb0tӒ&y*PB<+n# zd@FL(4X[K~P0 *"N!Z ɘ4D]6L0Y9"\ېDnc5˽er3tn?L"dHQ8r,jla3a{;0Lk'KxHS9%)Z4Ҥ_ Gz鹆gm7xwpIiUs#ߛ3ު[[=?ĄD0`^ џof~2:Fb؍}~Q$-ƻ!yfww۶mjxz݌ǦwOk"UN4 Svvlvlv+c;Dw<3;gI1*-UR;-1*|t< x=ބxM7+/CLg6Lzx9ey{G<7Vt Էnkg@"yܝ#+/*hI+L_1-g|=mη缼׼s_\̛&JXϼhXOê!B0g>?ϒo5;.V@fnyx&]†Jb-MB1<: Eԛ;gS.7x(ɞx/xl%Laf 8x\a~zyz~7*4W w{0Ԅ7 ueSxs 4Ȋ9e.9h;+ߴ dE!{5Hrk=-тdMj)Y88:r +pg]҆zi T&AT UmPG Rq:i.FthwEO) E5! TLJz8xcyً354@NJ(GU}/y%/ߡocT5qBUu``8)9K}oCS_xw?Y ؓMe! Z;vSpJZɝc. @ %՚^/Ip/`87鯿%=ᐘyum.#h'5cw]uo8ډPQ q XUX6<.@,'?nFlޑdOc#)UdKβ|gw^3O{ٰhz8tu TQ!}M|ƕP>iج 5eiS(&"̴z*[`~(zt:ǝI a:hSܘx $=졋nv BEHPBOVHiäXAI77z*JC9wG*3vω6B"!Lخo/F^q4'z;j'ㄟ4=p._R7v,:ϰ]ܼ2{gn㑤{dYCÿ9^1|_6g#s)O! rɸ92. aPq?uȎdu瀴?É5j'#WW;;Z +6ymZ" ym}Dl3jȠ07'RpcX\?<ε7NH{HW8ʰA*N h;ݾ?5޷ kNG lbp #pbaERo s;^Kqz:dcܺs@J6Ve.,Q`ęFRL;ZҺxH2)b"f.⡬z{O޸gn\^d=T߭oU±ja v Q#P7"twA dJ[,Vݪ35K䡗58e+ǧp9cjWܜ7%,]Fӧ# { 8Y&AC9 W$.Gv.(GljR#p͐;o, 2/Owt2cFy`zoRz5@l*[h3M^MD-q'_s|",KT/blL1a˼bLU1v+ ;Nrc( ?;F 8!(oFrEOwo=Htg;L[w2}8A0T\v ?{]l2Mvtsu,s4hD9'De"Uǔ*_^oj9q M6Pi&nZYy6dn~$'ev2ir,~] $A'I0(5 uT96VUsLd[U6xMxy'*xz%N\ ϣK@v{ +n2(23Z!cj$uv12ϣnq_N'&^պZvY0U&vW`,&W49c+X5sdрUٻA&jܻ`#ZaԘ~f[O؎y\>L@J'n ]x7p"[]@ޣp PrqEQL5B |_ v>eXO&j-99AM$kf*_u#4 pUPJ"]j:8.sra:bܰZyF-JAq!,u}CXJr3T}I W6Mwk'Z]] @:W;w@H^ Y8~% 9!c9K/#Kf + e 5O' BHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHt"0m@-UvFXh'GNPSfDD8 A1lZHg [MDb`;|]$7W#~SM4DeX|FHa@XeTT4`l"I\ s_aK,!L m$H$T`J`PL&ns'LovL'O> |Ba“5Df#!~\4+b!ko/'J1D8l|xI_nEش3lӋ5R رVfF1щv:9rv췙ͫ:ul^4-nf-]hrW )r]jkg֤R/Y>VTJgqo)xyb3Hi1f:r/4b Kc]c̩-޺-խ#⳥+櫑;o@\y򚣶GGaJ3dhH5G -('՚[É930Rծ iĝ/hZBX Q+eVA +Ԫ"?2&?z+Qi.U!;^>5ZI!+JH1oftK\RMiH2j1 e`` Aq B!DAƘ".45LE+ā;Nz\R+KJ[=,Q3Oblo"# lYHH ;jx?j,k,S:(>[o%Rbj^"YLs_1)Y|{gy12>/3axr>S6([sMDKfs5j&v.+4/<\f!{MY `Q<&]CSFX;;OqH+H`zfIn=VT$g&DJnڠpHMJ"R69}6 4 yF3&Xbk `wV& a 'pGKT++п `)ʽ!1Ii˜pk\CbgsMubx4ܿXwJ>p:n&N2t<3C{j?ڹ/@udNxֳt H@(92j{[ e,ZA*Lٕ{*9cUaQ>tEmPZr5C-jYgA\5ԺR/OWoARuh,;֦ M!)2T#I*+wZ 7L@%rΒ6<'Tw%kP_Z]Ed0?!YSXT#6@0hy ^d1 Zz4ƳbdL, 2#]KwVnmw],-#Āj\dy&Sx;oq;鏂PYFvG8↌+9O-B +QQ()48ɢ6Jq﬛d.|Qzr?}&5vb,9ڽJE2z/ g\GSR5.]NNjQ:"sp;Zp"Z:bcM"-Pm> h_/f i=WҴ@:G8a.4P\$B^\1TG\F%w2?B8{*I̺ 0K5O&99n?gOEFl儍[h%|rB3בtY˗A_PTP:EG &Zn81W/p.o&yJ ڵds7.;N~o~Sg!”Yǔ3T ¿*]=c_wGv%S_/m7S7e W(ġ(t4uN5R~F yLyQ~ yb`Ή -Ѧd]: z@hTM2;~D/%Q WWUͤ\&8t׽W4SD(=D?nǔ"h<9!ęIa_K%hoՅD %%X 5O' (HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օ%TVx"0o`>% iF{v`a{cǍF4rY o\"[9\anVh|vJ;]h -UXmtsP8Z(#!d'o9%@{ l$Zh@sLJa#.Y;|ڗ mԬ)2PK)l6Q D _YhM-_;3 "ܞX~##'?t"{Zaܬ"f_ᤚ#:I* YR%zmq]RM)4 B̵fVO$O'Tnx-O`J TXssԍsf'_ZUfrzX9Bjp=9-9V*4rs4piHfc |:r᪙'uTQ!feUkU*[i(! X+X)Ҳb2Ku:͗Rj>l͗ϗ|9_ m2j'7I!'<)(UNrg[[x)J -.IMh$I5 @`DaaA ! b! #12"AuFBd3(qDd 8G2 mu]Yn=&Pmf~v͠s 鸁?(.0ϵm$[/9|SC6}LnyŲP% :&Lx{D0y5uI>q<t5J0$ U7nغ(ЬS@RAQLIsda|4g4_k"J:ee[WMl>or(k|IkW` wf3F/a5εrc |D"d_?Oܟr02:BϘbV%?VӀĽ`uvfw:A: J3CG%C3^U-͒“¯5*$ ӄ =ߗKzw[ս$yY k9pG$"-yU΋-=:5 /.zCFˈ y^?#d)pu<MU}{axWܪޯwsGc~qfg4?ћ)J5`O-;DP wğ0ޭ.,YB0r7,9:Jr|]`/hva*[L&D3MBkt)JG+t`dQeSg?$ ζW%h:>|͏ Iٓ;`Q]NR3u^/$w=ћ z9+;\( V=)Y`Gs?T\FjEoikYjFB!ɶLhn}pNL춀u4۰u ZM@2䫑]bM&8-G(x(o r*B67| ÒfzX˳KGnX{ϣ47mt\S &or7B6'4IV[wX!hru U_.NAJe5 [z ~%S;릣O!9LfFyX]N3@Ո(4@9hbFӠxypd-LTN_MR$/'?u s}furQqF3o'MhE JowY( ;5ܤ5 _[S*GD8jʯT:"m(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