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 %%o5|z ]- UHOL-Nominal-Examples:threads=6elapsed=327.843cpu=1581.812gc=91.501(/9x%#( MBpo}l#:ZU}-nV2%8&N}#it2f]Kh(C,r"}P]uxUg#s0]Inj-I0ՙbU@dAlY^1ehȄT#O C d!$)ZkH*5S7ܚmm"e2xQiRɎ @C!ѐ  vH S\! p<*+BA!@cN  ău<x5GhH<< P4!29x!Ld  ""SE uR 9oe&_Df쐏YI>=4"xXjHUpN՛;PPXЀby2)qx(P@,PkJ4",0# TyWœgA Pb90s$werHP h x@p` !Ѡh`{x@(!#,z7|~O!  ? i9$<  ,nh0mhhpb `R"xX,ɃD|8$ ok<~]t͐ rx'MݜYRꨤaX0  p,PH(H,`D (t7sBGujiD!U01}S.U6:FzBn/*3 tdHA!$W !T:r]bnի>`k屙.>>@qR\`O#RKYtdrg>RR1nc3cuე:o0%^d%Rs.=0S(֊B H|&nx^!3-SjDQǡwSgW14BOE?p1E !%<(`3Irk$6Vg"ń^% C 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.thyx g~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m g;5K' rHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`MmD(F#@}ƽ3{9׿Id7MA?NZjvb$ $qK %P˃5a1kMIX7E-Y"aw_(q&Wl(j0qHy M2DHj kr[Ne$"$VZO5ȵDSSKߞq&2i$ ml;":#"c#MAHij(4E4!gꎬ^=TsQ@^/; "޷ p:4 o IgbiYQOTI'~8T̤bIv鈛xxxwxm=33~eqMf WW00PW00UhA hA "740D ՈU {h4[: hAтF Zʡ&'r隷@KRI"C}6c+oljken m'@"ZjR*vǢRRQ)cT+D̓{׵1GuC>cXS3u8p @:L4{og:IZ*jiw)XlgsUTO`:ڜAMgDNDviU⫭231X̧ysZRh>&kCI2ƍ!gX@$!5M,{teR1{{{p30ߣ^QU#IRRP4sh`Fq!q,P @ A@ A0cj 89.8J뿔A:܂q0uD,9z-4Ƣ3DJ(.~9b[ea> .6o1}x8wҧ;OC<~(o E E9~sXyґ|u) 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+<&Bs8r7q6n5i2_.\,W+*'% ! ?821-, % ! gTo!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!   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Ϊaq\Ei-B8TbN‚0uP=&oܵJkk}!(Il H_FBZݢjp[EҟLcM%iJ jiհ6d@+([Aל>m!h݉\%bv!4agW{)t(@*Ѹb끒3usuT*ҤɱگvXp"d.!(ÈRgap։>NLp~\0(;RcEtj~״,jԕ"5GkbÕWTMJ3iѶil}nd WĪ'01K 6 ]W֚]RF8'd؄7Џzn+4E2.@S#ul=%իa+$ JHHpԌhhuX~qyw~zHfY+{⣟?f1m8Iٳo2u l90NA6Jg;q-$L.bo!WJ3K%0h2U*# ίtB=X_.9gmF\Xnj oO9*=Is_WT^_ZwV}WIXABU8z17՗%5+}:h%aJlCw574Ȓ NE1+Z|3Rn 6$ZgN po󕵫_E4Ѝo=ے ff`j[r8;@n΀`6/M [*O^5$ EX4wBfD?L,wD4L&]Y`NQ{SBOƹȇç_3[!L;=Yd{`^p KY}b:8|c-',|RYسC!Ga+s?FCм s.hWU*WARvQGz\D+ 96(`/+l[JEoZ|Z1[juXc/ m.BQWs_AU[̾AA{:F"Z-ŸđLjBW{q¢ă* r0Dcmחhouo2%6tZ^'uԝ1lTTt`^ ^b4Asbe&g";\P꿡:, Xd+ۉXhC`"%mwXH>?4 VL+m \* d\BcmV&˩WidHW/-׶{d%$GI.;5 >̞G2Вi֜‹ kkq4t3{p( z:WOV|z?'F= :2CVd L\ 9e0LdewTȂc7 DQw@U4^ϙv/q\I s#\ #!N C"^;`:pcme?am7JN[ A'RTm?T_Y?X>.ϬсT)8j4(q[Z`'AM_o3府^Y3y.O04?=ÏSg_;ÎO-8\dp`ԗ/rgREW8 #C3>w ƘUрȕ$awB`]c/($Z 0oc¯y5ưo#v8 v,u VcuvǜӪi8 ˣm_^`IٛU wl^eŠ_|uESi=poeOӶ"C0aÚk+R+ij(:kZ6i k?̺T­4]bDE_)4] w&{T=aݝĹZAŗ EŅPe!<}TS)rHY߆qǁv"wχH>IH3_O/1$Wj+%4{ ֋o U_&`.#P4u+[TsMB !%ȗv>S?xAF_l7^vLG]ֶ'!S1yB=g~pleE`^kM~coGSOg#$t 70wQ홚cH0(Q؏_wqV m)-ӓ-r'FEٮﲤF Q0ia""=Q@>g@HWNz;m p& EQm?D5PJvpҢꖩ"`cRss؉a{]]n"(h`eRNp^9E)8|yll' K+X],$e@8)&Ƨ4._s@`V&~pmb{;`",8ZA|UwA4_Wb!3r\ժ @4F+3)Yoj*6`cYP=5d?p7#v?d:ߊm$3]lgʹS9@GB4 xaURM`8nx9ISf9IZx^MTGфvD)▉m&84 wq Eߪc\eM%mGWC#큨ɃKs ?&`4hDBbmdjKqǿGx~*Gϩñ866VwB2 v{*Fi9zrr̷ub+W4Z{&9Gq}wCya37S`9u8v|ZUl\Ƥ8~+9g\jDv&u^amo1;x!w5vN'%s0C;}&\J 6( QSAt6 1rueܪ FQlŌiP(yB@J~4ZI1VE2"ʼnXnS,ǹK &&$1~}*ƨ_hhdV$][*RwRh9z)yZBG֟[j Ɂ;Mptm3wjM¬3x&BjLMeyfB{yElo? ^w)YavD(4R.= Sw&vmܷc%ה !9+?' ̄6;.h\Mɮ^M=CxZ[M^W@/{i[x6R;֯ v:S̫+U\F$kUo=+h(3Rz< ֐ ٤I294Ζ0CpgNqm2.͒0&ic)isAWGo2AdbnOԹtKT@1]@1ڛQV G[^Xٽ~O(n0ŗ~x+VD;إĩj.%&5?,p^+[oTf3H~kWݡK rz)eo̰ږg&iłlGׯaC?x/ul)P2ǵ50hf(3yHaglz;&Z&r<)8sX5ܣ45V2|mb]Wvxyj\Y@$S7b¾$ p\Ntfi1AXb)f,l>fh<^8<Pj"DlbNX XǩXxlf܏S8C*Y\;~am+kޗR!WCX'CQsUMGCݯ٘_rtW,= vMU euk ͛?|4ZP=L"AZ"?!C jZ^id!AJ1IZ!6$*&\ F&[K+ѫ<#C"̦^2-G!*)_ Ru,K`$`'qKo\0Ip|XGϛ !P; L22t^[$2PvJmGFR!D%X`Q%Q0~ sx5-VAק!4}'h0$Fa&&9H vKDhHbĜNH<_c@?PÞ1TP& vtG'c]r΋鐋qiI縑00~3]@k>` *4t:ag`wπi>B J(/!H~E xN.90+ꂂW줍ōm_ FglˏuW+Se$N !u V ff{@--rv䶍r>x&R9b#{y0"Hw2I&BڊDnZ?]D1JFD1Wrra5UIM kxhl/.1xY1Mb6V'2 *f{uZꉨu)/[6b, -É0b+E@~* <=< DWr`P`׉Vmf!`<+kײ:%^eYBU ξ"pLmfZ8bI83,g6EVܺJ(Uu8O2pw~l5?|c+xY׉G!A6#09DVWGF@y uol-j \L8Na7,DY0#:q!L&(!;ٮHĨO8tGj{nI-#H~cMrRâVwl “pqUT5hJITggLca8Ɣj$^rɮ7Hclq{EK`':p*Wy Ϋ:xH@PA pLJkd'9 S$qzjY65ORCgrt]sk. dp,e2 1@dӑ[|a)  "7yBTm4r_9v'Mϸ6\94@8va8/"?ĸ|^Q`b'u{)Z5gjf]:4Fɭ h;H MN[8 ETuU_ K ѝR5 q~c/#E6]7Jەxp-Цwg|FEb72 eԏ,Z"dlM60&l3aij.(C0^#i|B9ylrმmEڧVl[~9heU>*dSo'C,?T/NYBsOHuO뒊K`Z$0~XVw0LNײT|yࢼmyl2L\-0:Wn*LS"3n.5d]k8q,:wqH4E`凭(*K/qb6L] l^,@^b8"H6|iX>ђZQ㦏-O\"U%2䐻!&D8@B\vqj:v1A6ͱ@6S! (r>-G00b t+[M8B|s&v몾,ҵhcTԱ]->0aT v0yǘś & B#P[2@&($Ggʲ ڐR/nTگK   K Z;5K' rHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`MmD(F#@}ƽ3{9׿Id7MA?NZjvb$ $qK %P˃5a1kMIX7E-Y"aw_(q&Wl(j0qHy M2DHj kr[Ne$"$VZO5ȵDSSKߞq&2i$ ml;":#"c#MAHij(4E4!gꎬ^=TsQ@^/; "޷ p:4 o IgbiYQOTI'~8T̤bIv鈛xxxwxm=33~eqMf WW00PW00UhA hA "740D ՈU {h4[: hAтF Zʡ&'r隷@KRI"C}6c+oljken m'@"ZjR*vǢRRQ)cT+D̓{׵1GuC>cXS3u8p @:L4{og:IZ*jiw)XlgsUTO`:ڜAMgDNDviU⫭231X̧ysZRh>&kCI2ƍ!gX@$!5M,{teR1{{{p30ߣ^QU#IRRP4sh`Fq!q,P @ A@ A0cj 89.8J뿔A:܂q0uD,9z-4Ƣ3DJ(.~9b[ea> .6o1}x8wҧ;OC<~(o E E9~sXyґ|u) 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+<&BaEb\'6!0T.2&Fn*0 #%L͑vѐ0y"7%aއ9sZ7݇6y91bhS0HU ۿ,GGˊP-4 lȇVHWX:?f,W^]38 hU~5GXw{\ʵpM$Iī곰o;x>?)¯s5<4Bq||Yk7#ܡg`aB n(F|=rMDb ` t%r!&ACrj3Ru! eK={{SL*ݦ.ٖ` ^p? ;XW"Y'.5dO|u! φ]CCOF ? PY0F/3[VbAal}k62~;bWPЎƂg|6%n x{N&Z2jX.BFT" S4g+|ΟHO<&.bx%>)\Jx-ΈA@D`kܪ:Ek.m E6nIw2XѲ\RqO cVԄd5pmg`#?]nt1F0/ΡKd{DjNjSͶ4y݈-?bX}e"PЙAek|{mjtJr6`* G:vݸR&><(lfn.xeLaiMftʼe\LP,ҠN.=FsfP=LuM0z*3Ϧ*%ǰqs7k Gv]ϙI: ZHTetD6m""vn! "8>yK9<㒾D ?! i 'drr+sOu0ZJ~dfA(|P7;1BxzE\-&/62}"=Ʋ k$~vg|+^ў~j-~Eo *A, ^qiruKm1 zM0N_ X=\\4j..k|Q 0]^'7& auC"SػZx1ˌIs2Ў0qɚiRX&N)L0rck_fw\‘v+k ) |<.F&EQz}1h b5鉆Pt=xu/ķ&aA84= 3E3UC>2CtSw$& h6e"QQp 5|/2O̺,)IYlgW[$ "B@I2\?.8 Vd֮-׫EAJ⸌0ʴu նG +8pfcMLX5L;MrYg +fd\^L!f8älggd۝<3HL-޽JklnTcnPb*RC_+4N~2oO6j|yKTu4ne]7RNu.nw26VY[ h >7bYT>.>1,kW6eeZ#u%-is!1ziFAiŬPCF*32m̟#_ĵfpIc*s;˾ iu^gv5c Eo I)yYr&v;Wjivc*&+J!*6]2C_I<9 aZ Lu<)0Gz̅i9,im<1u1Ppp/Rt:Ưz<ٖgCdb.IċE샩H & ;$S>GaP dH*A5:v <]F!PtٮpWU~<'TrUJͼpfvQ4$`XՋ(iV{߰wG̭9k O6D i$,G"tx %R7vkXvP?0eJ&\)!҂jϦfAHu)s?& 9c h["\lDgԯ#YbpE1ܕi1uUWw#b rRΟΎgmF?QI>L_gGRy1џܱQw5 u;x!9+Vq5KB62 FLio~L,HW Ŗuܯſn8$OZ u, ;L׫ A#`MgbZ9{n~8$OxAk-8!>TIlqG_ n3 rc(Jt8lmhTf2qD;bO2L%iJ!Rz F"?fV{BdZ~Ԝ$f^ 9 ]SWMP_(yW&q,".2/ϨjeD$#FT4qyGխkAQjgo%FHҼ;fR+1OB3T]#xU'MI+ǕYG(B+Q$3v{~ۭID ۥD""""""""3ۓuZUUUUUUUU%t2ݾ*}FY_Li[i۶mm۶m۶-I$Ir6VCUC4s-TӜ! 0A ȁ = (P(XD(88  0D\$, ,@ s( I-#. C۝Ǵt>ݨc,7#A~5U|ʓrհࡒl6 oȨ WLҮl*~k˾TVj?ލROJT"qPT _4V1^FwAC X-&,)d)vaeYu}pzmuW?eƚ}_uF{|DH*xxF->D|O ٲYK[k#ݷltbQ$#fEK2,f&vp#%YL7߅Kj\De`j,QK{ G.%ŷƟbn[ ]ځXjE̿ /lazZx1˹ٛc}4Z~8WDcb"\6r7Iy[ڄȷ 0ۦ'CK-b).v5t]}NĽ0p6 2^Y&$LyrwKqǻpె HT9l .bX=)J牗\k>F\o~k- -۴ (8-3[MEo>L| L=ϲsߵjVm K-$p\ZVƽ4<.3\pw-K]NpRp!Vr$8$4a0]/67=9,&P-$̛;>K|d ;tKuApWUP! έ`Wp3Iٖ˞6_B_wÅpa&I,'i@r!MQ4ԭ U{ER*W^VF;v)HmY㪘dJZ7w),'_93DOE·op^ )uP؍qvʼnpԌq@9$`$:?mm[E5 O-6G<sPb W6<>(\N98Q"QQ?1A-29NOc_p>1g+ɄGTqL^&׏ž}srV &<`He +vhgu*$+Ce=Ht1Y8!/bm6dDl'$@y(y0B G:;$EQDǫbݗ(/c&|%e:;?|^]0ha kŌ.0RT4h*1U.y;Pl761 j7?ZMVpH6#ǹ(3%&ƘF {duS4-a֢x Ϊ0"NeZۣ?bLm4 C}+%~\ԣ-~XаiP6NL<M#ݓ 양' ot7 xǠ#q"h]hemX [l kKL6'̒'4X3Nya[Մ.$Ϙ. ˶* }l0/<(؆;A>U!!mGij/i7觛<"y}3!ͼ뼞.ɫ`fȂjaoRy2Gx 8썎ykM@+dǑOd{&ʼnm"Ɏ%TEO^_㷀z-Y5Ż:N@ w[ ;B[bXCU3=N>Өq$U)o8S&[3&A0X* ^Kd7v~|sJMZmا/DwCy& 6%(}X!`:PJL-V@I0QL8b!40Y04 㧱 _~@G{!e Պ)L~_G}A3r2) gk *O<)z3B_Z.ʬPT<^HΛ4R٘nD jnza5*})iHuҲF(5?b҆F,Gjh[1ħ4u 4 k''>7IKl, 6zJp* +,h0lh $dH^GO J ;Q;6/d!!Ҳ<7*o" tW gl*`=.ne+:b;l V*&V r0'T?'.'lw{n5 3Xtɗm`F_AQڽ0B3f=> 9'> p4:>h~n`Vrll~6B8I؏U=(<\@ng -%?UڃikllD #3ٸc0x @j]яkېy4>I6A nwI>\x]mdU CJFĩ%f!C|ԤUQHN&3RgG8 =O޳1d2,y#?ުNv@͠sǓ8T6A5O"ʽ$ODeS4QN~ β~O=Ӎfh4e(P\O-6ۋ 0lq<Ɲv"n+~-ϛ^C-plj'✼i{A'8!up*AZb'8)+㐺FF+~FRjtt^db}+;y_6@``hm~mL~z0>u"LEyÚ_哇SqDne1e8r"R4 VB"3; T3J6o«{apлO-V|M>q'TR5:>1na_xAݡyW{Ba/}eFzD봚4D+^Ͷy.oww7٩d[%ucxo7 k[z@߲쿓}$߂ˎLXWk_e| ƹ6O0y~l} ivw*Ft Ͽg4EP#@|& W_@G7P ~5#^I1ݞسgma7\DFZh8$jL vfDzj=/4Ϟp~*>j'V_=؋W_Yh6`L.n`0*wLʽWXQcwkXG-Ѩ?P@h׿2Eچl'^W7_v=qo]-O-{NVO *ໞc$[>ц0")%:ek4>w |joD_n뛟Ӊ.F{$|h;wx{Q|?Rж±P/T{'c } -qjTS~Q#кZYAR[1H M`]LT:gtHMHA24<¤PJpmv42`D AhyNhIOWޗj{W)pX_!2%n'HZ4(rg c4hБ`ѓJy3 Ρ[42í*@3Mg-x.C;G)wb`+} :%чkM2蕑ޜ=+ Ow׋鄡k'=$V## =ǍZOX\7ɾ%̶FRaw }JkOIkP6_0^"g `1Eҵ؇=;-i>a2h|)-3d |''MC/Ĕ ވk4"fG. HW̖Q-%@ 71~z.eF1EPz7胔6b2b+g&*ct{fybEE*Fa;;~ lɋ +O^ )={%lw0cQJKU[UݴԣyË?䬫4KʓzCԶ*FSNaEsl;MIog[156o}Hm{&p2#ʂMw ʆnso0]{_LI\ΨTZP( p  k+QڈWW#SJRdDު͔ :E! D(p#321U@b j AbxX H^ -HoUoUh/NHWha?` Ϭ(GFXmh)U d xa|QNc Qpm3g]0a bmgt? ? 8ªF9c^ k 0p̡^VTƥ9ͭ-6\_oUHUJL-h,Sw`xЍE2ύ6Ũ &AjK0dkF|Z-puP=V\ gnKB(|(*M|mTiF+fFrAb#dȻ*r듼c0co1=gei%׳r&sI2m"#U WE n-[rNo &1N5cMb,(V9Fcin4#ؖyFლeݨae{Y/˸`E֜)7wke+y*2W[jYZ..8P^.+0î}*jPTbVq>#H%s]@T:=H QdnkP%R7-*xVOĔƂUT6`_Rύ>'T$tPJ3G[4(#Kس(3e9޽zz |ѭjc"o~4I~:&ζ47v>QNcǨft nynh4q39 (IxmHihاV1`mJ3Fvd$JL[~3$h'\PG#iAqB)?߫^VWYu ^&>Hn0ѨLH/6Vu98jmmbrPrrА"Jd*I($| PLk@8*p27\C.a"g\C.Lm濧kj[VO?E黓YԪW U2}Ы: PVqK^5備z^?z7o|ZU}7Frwm)'j5Ы σcݫ%[{ P)z^Q!u_VYJsj[ry&„1ҕfeh}~@Tv:XD9Nյ6kUx: tω3J cLɲmMY)a_/t*l`Aԯ1_sTw5KwaBS.d>m6#,Lc lEX4X9{Î|=q)3)T*YͫAyl 1 тrmEW_[[YBHsȇ_n (ʲzp-%^nkJ^KGwS6n @lYlnNھͥTp)V*`=̇b>A[X:ژlJ͕'4qU$6m9 NԠH,˰aFsX rثj7rvQk(,*IbYx)/dZm[+?j2Xn ?g68:k gMĔʭ̍W%3~U>\}7]{p i=̔G ݘz'lIԠeDX\EنF{,S^:C`usS(}P:U~Rs1@"iSpF[jNx^*iP55I[1(sPn! aVwES[_WQ|d:'f`0񲃓gTa,Xk7J5M)@CtzOyzK̾첫c"w(='zuMm ߲L:`I0b:NTjwRe4KtQ"SRT#f5+a`pfJex^ϡLUL TpR^5aƫCu9Y gYI-7b4ue5In'0t6tM~H?II44(=7iSSYH0ggHwG=]Lr;Tw4QڅQ^G63S5Sl3$E`1yMV૦ڀ$kM?5ޖqO3q3;oLeތz\S pk.T̪"ɫcX7~j4iPٻA z7A*gQ7n6@A[r[V]S7 YjPx Qtpd꫑uDDaw!V_A-'J\-FAM({U\`ƿt6m[D3Od6ҰvOoh?E7S7Fıن*T#iJ(=dBTyaR=MdiFR+ jJ{git\'N gu ٵrV]&ɫB! -R-myNd]XTYkSR[낰غKԮݺy\74kR^u/lnyݠ9Gu.{vQ SX䄏&^&Qv;%Į~Y Wm/vk%6. ׇ#%][dUYvwbu8fȜ A8RgWˀEP>h׫-.vsHuroßvCڥ[ Zڽi10,דڹzڜ3Mzv-}6~Y.- wCiyɸ;շ.Rpq]T?_w;jmrJA{J%~F*!!mg Qi.Hm"yF{c3\MTB7iURC+ݱʑtQ]E;laI61x)|{"[N )Hyķ]B^[Ń}SpS*\ujT -UTUWTy4U8 J_6 X!b[T6j%7w[nُk Cy \j;mo&OAX(e]_u=򲢾46$ԀM8R)Y/OV*H$OzR4AWb\ ͭڊ!:ty0Q#k 'ш2>vCnDѯihI"¦٭@EϡNUZcDީOgAbKYPT]cZѶ'R=Yci n +Z^$(WTc?){)XmeD<_H*Zلȼ.$^Lӑz?-NI&FJJ:̗Յ4xOt_ka9"]<Ʋ|t9Y(ݦ3 ӔNj`bLɻItiJ/[^I,m_ aZ.\*q\$sz."L}V3KI"\kEl5**ULL[k?_Bqf>xA^؈Jʬ&ڕ+9yAyA.KJڼp^W[ӟ8 m0m-&M[ -lL»uԝj_Q SA?&m}&I:~(< 15xqXinw#|R08YFj=4i8vHΛM!4/I覍lrDs3[1= H@qEU"2,oOe{JBR LCK,H0u,)wj[ibyPl$iJS;MpLmft:H[DN([SWL$HS/Lk 啔1](f_ DYQSXsIT#ut ȋx/=*U \>&/r3m 8$mw6iwptfAA |R&x,͇3̹d@#rמ\ @Vn<&もLaz1@~h1L+h!;5p)jV.i=׫m5g9Uc;>,16yP&v~̼2hO v:i"PJڙLdn9وQwCro,MEJ+4DH".<Í `Ӣwkheov~{71j;ѶU@@[C3 dkݳ_dYsg-gS3"1FX?G+D`A-~]r򺌀ף,cX^xA ״a?8Rhӻl} gxg6^ cWN7J62dY6"Eο4 怂g L/f8U㱡 02~4 6H˯@&\Ollηo!a{t dQL4BP\b AH(0*$irUd3_um(Kîj3B;3-uhp0KtF8D8L  ܑ~8{Wa۳ "nL }= P@Tzp/QRRwM:BhL a6̾ mxw6]|ƒ\B Xvİ'?cX6V=6 h_Ļٮz;77w!3#lW5?ݙݾ*vUۿg?DߙWگoĻݪDwg3UW{E٭jLyD%+XX›\THxCbD$BXj8tW ED ʷ8*z2+lx9@&*),1,K= J٨@&37"^/R) F8h AʣDQIH0,DŽQ;regGeD&md,.$ E UXD&<"w+ 8^,ž(?;3NsBbn3;3jVU[ԂpphBUTX ^C5-gsRK/-<sߥҐ`!XJUZ,D LltXHIdiIfDSNOԈ xT*MW6ciR&%Q֮z{ͳ]3 s008Lä 8xȠhXHHPP8H0 x`PC dC")ن@̌.a<:RJh)V؏j!O〃uԶ$ #Y_[OIwFÛ'ű`!kH-}>@CaUoX: Xk $%ӌ^⒮U0L |E+nbYCiuþwdTވizH#Hrg?0X4Y&;2~IDrvN>m=\%h#?hѤɱG G U}&CMr0)=QmO/01%p[v!})87: یLü[ǭ M)t$Wm %nt$FQQ`SȸnL/2lRfd"˴ >?!z M֕Dd67[T*P@c"ȫwSd%iņrrSR}ѱE8x")І~Nw T Bv:/ VŹ(Va8SȅPÝWD@[ RK7_ ɈU>c@ CVF7 |U{^OՙO6s4_i23k=9J I@k+~"n@t *DZE uyr#x;dyT)]?;GH Txur$2S7"=0]a:۸#ZM[G Hzn5 k}4?s!]h/_B {&fWW, Pڗ0lΤQvv9 ft +h;ϔU<gGbWpIb{$Ldݐij *oHQ~>q37?sѱQtlwac%y7=DJYv{i툜D<uaڤSy%#a^von!|@ Tәzϣ㽽f.l"*HN;"2b~4DK2ߍ_S]F"Rr+Tf!@V;D&笛[ m 0D>& k)70jN+<jCv_կPAGSFm|ވ$bRi$'Op |mS"wNl&&(z&unCA_ CDSq5Q>%;łphҾ:^.Wj`nP8Ew M6%ui:ްT +ڍP@/;R;cJ'x{u ]}AAw3pikX rv¥Ըk?tS }ey "!s4ɒ#L]yϟ< \ V%@LhWjXgJ9jAW;wdfvږ>prRH&pJ+kGPlA)@: @>=腹g>22Lcl&S\yO6 =d&@95GVC7/.Jp{+Njc\^r8rskm 2MxxI-slr,*q|c=&#\q`S Fc>)8괈kw!69!Ѹ$btr!4)es/ItdmWVb,R3Cq/Ʒ,9\W.4d;8M{07HS}ydnQ'=c2~I! N2">]V_9n7^ %<9K]E >|h\5 `|j`zX@z?"Yհ2 cs;ub?.",a'9qՙ8,Wbalkx]mDLn tdyӄn[A 5+ai~OlB祙/䧍j}1"͌Z}uH0~'K]YT=ϔdxv@ەؔWluG%ZIRRAֆ@LK?Pf>ԏNpxMK쯶V_*GHÚ)vsPHehS$?.@rtD@WkF>fX,CZ{)O K.8xUM=)] O-@q[۶KlC~=9sT~(Gw;?LfHyczaMLXl~hR~y6c"zi^?~bFs\ ÝҸg%ᝳjbF((IJRDYA0e] :6.S4-8txN Ç:ׄU4`?YLmi ,>{iV+åAr 4+W$-e"Hpn&繙Uei zE(ST4]U]lj噎=h )yԋMʚw?< K/\; AE?,^O"{9vG"&YdHQt-i7NnآYB!=50z_b1/9`յ֌ ([/f3e40Fojg}tq'W&6k]||P6`Q3w+d~7{ğ^}a)R.?nde"xyr`Σ9 :Gv9ԷӘo.2/WXʚpc3(eRk w x*UAT(Iiڜ_eӌA;Vc;*7SnT'8w?0>+vSHLWN@)w , ;<< _S2;S)˃k95\\)xȗ.DNuRnH 9? |#5s,{hˋM÷@Pm}@LUBQk6k+Af4j)B/HI6Otޛ.:-+v֤Ϩ$%efH"p! 6%z)P]@,Rmx~=-E]KXpdUAgzBs(CpQ&IMRm*\L9AQauB,D1-\IE/?/'mmq7FAJ#*Yq7?$YyĂ`:kԅP"= \i f;|bPKAp}EE2:oE6ft# yq%@/P+4[l|e'5I@e[-eCܔBgT>(v9c9|Py"]ix2MP* WSwD`4%@+iiG~ؿ-3j{εg 6K YM1iVȊ3O,g|i45[8č1](sB_3ChЍߏ¤#(5k}>(ßJUlU Dk՛a v:"@8~x5=kPH&^R!>tt#A}[uc%uVԃʈq(jI/M4pyPKDmV/:5\#PANAvrV"i-!0>εt ;bdtļb?A(7Aa5m4<=kg^G 9ab,wZ3V7+>V z./"fKC n]iQGP8Shս'ƣVxB CaQSW%q&ᾝ 1Us`=G <h<{)(mJϣ ;&;G9@(b?H{ؙ" v_hI\gDJi1. 5pCD_0Uhsb/&sbVC +f\+f<88fyp LK<2Nk:kd>FPzf9d-FKXŇ5 qk1ޔƤ9p<8<9<8׷BҶy:ȺBvv4i:=mX Ȣ[L;5xcөB2崰mepGX3t}e uCU/qcq?0.vRV!8R4IH$ia)]W, &"Kb(wܜ6"ӷ>W/p ԺV/<YF-7X,994ao-T'@lځ5Kv7I vh-&IX;D R"@: \:I1;dCUղי[ Yqʥ2k'ov![X{H}01i[ZA*Ӆ}|:n=VYneN2bߣ:c`v Ө8̦4+.0Y׈Ի3W<ah<6Ѽl_$W ~!2J @)ESZ߮X;$t>1^0,{adSȍ"v,ɍq,Kqxϔꆴs@ї2%r p[IJ\C&CAteNAftkF*T4@M 6tbDLN-཯[3 tNҦ/|+@L=0WYdmsT]Fz]8YZcP#Z# Ǫ*Yc.D(NCY$ U]b2$2oElI!ȆJ ą&6¶v'ה9Th!oe`,- XfO.SUHwwc49yõJ6SV#3"1]҉s,2w1[~`XlH$"@&dwJ ]?F|z5u+ V Dq7#Q XQ`pf-*y6uۑ+ B\b`r%메a*XR;^04FtE+:-؊ipK*B‰"vN..O0#(?al{ୄ) hA{J`ZYZeihX-݃ չMWC|a-I7,K΅N+ܑKFY&y,9 AA 5K# dم#$޴2 rmSr(Qdz`9{z#-H,E"x?>C5j4p<_ IB!YePN"-0(>qց$@@Y$Qj$%Dz >Sy IԆT9Pǁ@?t%Fγ퍆VmY*A58bġ,rw::z’Q |QYֳPG,XpLS4% oǚol+.r~] [ IS%ݥ6_=~c7%KoI*tmњQVUs`lR׋mӚՕړb` >ϯkh@S׺2?~ [ܔ\,M?3 1n JroCm#%<JjnݙEśú1ٙ_;7fbg &,nG{$N|FE!U0` )Nn7dJxQA'Hn`vIA262¸ŋR@WV>|>)ӵ{K;3wi7Si4'2xtiBNzhaYKohG\F%qu!5Yp1oʍӦm`'T,wA_EʁsGL Q\׳yU*uFD);|NPLWVl`8$3 D gk$Al |!6`Kl8X"%^ ~  &ˏuo;^h sk"9'}ljA@9ߟA, ʔQNTNPNM1XdTG݆0g<ă?Og49r ^@aVopWk8jک۹<}<1 r> vzMr.{8`ܵ \W|.|hbM]@V.jx =f= m^@Wfow~x pW+rYY\HM]@umP DF⮟zy/A~hdCn˦[F?ϱ~%S70/ ۛjpx Hc 8% j8x YU]}};*eѫyssMUc/Pokx 36Hb,^? ӏՖJWI}6?0a@ٟ۟^CpFC#rIOB#E1mڰt~^&w7N}zl@x "awsea M96m"}>-|Z)jhS⹏ O >}P}^'y2n 2}H}XUا/g_c} #KO}C}pǦOf|./}Z'}*Ӷ@.Ч>?=x3.C|74;`ZR/@h> T뉗=M47wK"8ߣOW445/Uf5?JbP򦢁:~,K*itY^~)!'k-DO5+B58fQ [4,_ )Z(ݧ4zm(@RՏ,iU-}uMon[0V fmMlY[?}wY3 d9լQ+9STp\Ӆ3QD}Dv8ԨaƩ>Hp*SvV4$yOm֣7kf.z;#;!L (Y:CjKZm7t)GC%>g&.nbu!NBeT[G9m<A/۔(iP;XHeWn߾Cp9'ȏH眤DM D0ȝ@~H<4&E-{~YϘw 7"i܇:7]ni96@7;QATn:}r_ߍ*#oHsqg L[ @shgXu2mUc%y=?@7/hoWx)ao0+KX%hSf|'uWr3틲PS0rp/ܛyX "oNHp` -gw|L u+^]ӸRc/,1]rjb;DU^\Af-Θel[{(4"e+@B)DYM=ǘuf" N[ D":]+<9n5 mP=v|c`*5@}uԟsSnvNҰhA5q10ԩ~R0 /LQcGغET/6Dlcx+ܴfYJ;Π)0!TPu"qĮJf5X ! 5O% Zgz"Nt @ѱXY6ggGonkFeW @1˶D[+#+]e622 cKR+IM>?9zJRi&2#@м{ĄDf0Y@"z̹݊olۻiꝼəm4̊H*/_SS1'0Gw\ @*ee"eZJfo*>{,(0Ta@CG, PQc ' "o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method|5K) rHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`MI `G덜{Y?(U ѐvA'+!ZJBYL$a#`/\d_.N(ctڬׇG}R{{!ݷVt4*t΍~s/l`seZ n} Ekr|$5&X0# BPCB8, 0 CxùږhB.idoLT׺p&iQ=CJvat}H0%lZP4t|m BC9ĢCcldq=%lmRiUdISU5U]aȟac2b >&Taٖ;Y@Y!gV|A77yK)@- ЎouMtTfGv.QT:#J'׬$Cxm}/MoqG'wbʧPu H[Bv$x]Y9ШmM`G|,%0!X`[#:T@wݴ7䬀iq7A1+ҖDSoUpyPa(]u fVq HA+yYF@1 Li_b&p{QRd#]?&}aEJ6A埑)\ȶ@DIdS_26 Ǹ/je1۝Nev E=oK &_w$MJ5e}C ^@gVۇQN>iUi!;?Rl]þX) CBx^~Κv3F  ~y4Ryv ucɿ( Et"^<4KG[܃mK6ʲ[m".a& ʪ0| ц 5V*<`G!dԮƊ g䅅_7^%"W\rl/Kq+֒x!B+ ma&uo N݄唉LS~ JMʕkUyeyQ|v[ uP  ̚vcXէNyȥ5X625aG{g;~<1T7nE,π40)k*ʝWoKk\yI%Ϛ퉜3;Onadz @Z[[$0n1.SԈ8ZG\ͧhb2/T,Tq!fd-̖W Zr)/_ൢ 0,l0C!X µ哏YΖIҊ Y obkdDҪB b;;줛%Vr YiJѱԾZ7`i k*F;T{byȷ%[@iRrs7QyDy %c.#FcXB%`d)fA4323:űG9 HUS)7F4 6(J!6mn](cV*v8VL89FU#JJhBBאLeYB[XsmO0TEI}tKؚ2 `}v%uPu\X?0O*< J5m(B>G)W_,k.)s6JC'i'EEŦr;7$`'B?XII+^ QX۪'>9nY\j_7M*\<S_4a`M/x>s]#T,l].T"k 0jۖm#Әޘ_}K>r;{ )z_Xڽϭ M`N_{XBQ0Ma>\F@}ㅣ$,L a 0Kt0r(+3Dd¨hlZo]ӫEU5Hg=x~(Kf'I,. kԶ__NNlj8qYګq-,aq-2J!,ns'[ =ڨ\|ȧxqآW8˽ Z_5Qx^I oheN̵5dL=kOt& ԛRPsY`̺vpNXQ'ZLWY/R[ bg>M2흇ۥiWOr6dFOBEYtp˃]2h.laÌci4.RZE0PklRX2Ps. N9nM%\ r\|78: #VYN)nb7 izAJe#HN`}mS~}AmT@] }Azkk.iV\悽@@QB^'bJ.KŐ"3@R{Z>Ms+~V7Pgb OYPo4];ZɶvGUafWi{f>ɪM!TfRW+ }Yi{qE{Lx?- ׮=ZZ{r)zۍzVdJp50:) p{XOKFk@>qp&"(B<~QvKee൑w5\T,a7~Lj,FĶ{h56`6]ND%;1#⇶5CΧS82Vĭ};$1V%8V#!SS+[ \՘QhSɦ Jk%[nps]GHhsT bi72՗;b3 xOkt BW>WT84E\)K O/M0v@.J7GT;tq'*^BtDr_b¼H|oX`mSY 3fazd4m61"k:CXFyxi C2H%b c -dcqNݢ ܬb0mE3A,ҀAW!ϣG} W01ኂkRŜw+WhjȤ6RcD C4X!΂ͱKs1gdWSo!ޜb -s XT{f5lG+((|s-dYf-;q$֜&\0&dUvG p?xMbA Vjkg^1iֻ#ƹꀤоJjP6-CeDaXnTȹ> ԶxB(D `hwqڄEy9AA1HA(uxr3ѫ E)P qy+ gN`DIK>`8*Ix_0 |'(f/pyQpi;ŁŧGyM(_n%%ı:U0 _ ~4 XMj0:)/{7U ~J~hno<n r˰WTSpR/>XQ xύa 3R? C擪vԱFKX `_aڎael,(xE? FH|(z=#TI4[6E=e;dnSZ-SMvM7z $&K2aTLT*GLrMbt#QRb2iH8p@2ߴ(s| 08+A.f>38ؕDd=i<ٜ@޳tQC{VRrUiqguKuCY!2Me@a*cNJ6 ǨJu#bThȧ4Ѻe$c 2S Q" ]1G[ሮ,%ɗp #a&!~],)ov0Dɗ$r*(q!mEsIo-ݞUMJK/ސq'S]`{5^(oYC6lF5gU/ eШ#v .di`0X2W :zF2b6Z%Lq}ꔰIXy##62p U.c|ez_Sy"W3żljt/d-= pKɽ rG[LKDXIţҼQ!4y ^xׄl0IͯwEwɀA!@N!*xb9,K^ 3mRe4$?h>TAfIHx!윈5b<%3 Lf  zM ı~8|r=+szV|ɵ֛IEVN;q9'`6A!F$&(1%әս^ZxK'CyߨҬ+TBiMG$Qeq61 >іnY=_pIHd]$;9,3=ݤsVfu9m2iQ,+_t܏!J|M&÷3bU7)Zk9"UvN}NJ)LAKPbRIX P`׾0(|뤾уnI%OؔT" =Lr[[Qȣްq@ n|.21[+HwMv"2JlZrfa+O+8,Mnkz+?ެxy_ٔDv@\vO%ǧcG _nWބcA+qaHrbмʝi(hSNkpb \G.뒼7W:nN}#Qf,i!8cnOl*:< m1+ "7 yěq}p*(wq\$ 2fا鵅O5P\jZ ?x>~fЈ p'!WJA$/̈!Pe[WqSI OZ$^lU)i&U-#qأyGr<WpdzDDˮ4Ic5zOlz̺Ha|$ZH3'd/0l|-D0C/&^O錍K9@fKgMDU;c!6I(% %}r]r;"ihѪ=Ð=hhy!wD}ډ!OU{Ȳ;2ɟy=kABoU_Rٯw9X[CX'270T3#-Ķ4lR*2c0U)iQMQr/:z\:Y1uul|ډ FeaiZ|fo/! x(NfGDcT(֧꩎Qh7cnj;c&o_#aT(ֆ!&L{ÔͿͩna{5VSi4^m]ZyՂ4E"ۑN0%vvvvl̴cC|˻3sVU 7ݣ?ބx79f75ބ"($b,^Nkr 0Z|w|e[(| :  }  D0h x7(]7L>VdDP[u= on6E5TD!"k)`băF$-㨔fdVڲC;DVvS,-aR/(cRG8Y%(|}Z!Y~UrWH&Ő$X?{|9w.iG LЮ==`t'FY>2g |54P|P8間DPn6t(G4yN;MLPkjZ-ZS C?Ź3hM!cؠ]Gr{5d EHn'gg#66,HOZ|!q 7g#VnG,.-KK9.idž3ULFe3!9{{`fOM16%H-MDVϵ$!KyMj "AGᎲv߆ :@䟍tvlΟN5iN*'nbY&LR`  뛤j(]ԎV9ʢVTokwd( +yhW-rި8-&)`Q.i/EM'4¢Wpn:'N7>Z@IY|C{h8Ytfp3h<T(OKՆag%.A(G٤PJc8fV0{(nALFtkNRYqIJJtٳ%GzsEl*dP>BP `88b`y:Q}ʿE> 26dHu @;1mÁZLUM^pLAVx1 xP- cȴR{R5SJ%Ƴw7$c^!@$m*!d}Q _'4J $\|I-/|QL8 7ʥfQbL.90mz9np!p ;@pW!{Ql4}آӏd83aŞIc2dAxkpL֓@ ~^X52zN #gG$4]oE6PYd<'0;G4 8 i'2۠}fDZ,\r4Q@vU(/4w6{)7{VמZKk}3\FQ],oYm9Hl3E^No[ƍ9]ou~U\t\݆{_k=K%ȫa%#>7pWeIHF, x4g`ldЛ{ de۝ȸPW:  FeW~3 g[ Ͻsuicti{l@$"<>U?DM5U5רH+pqG9Pqz`gsx^~1JGӘހ*S[Xfyr.}~ʤ.4R&.v40exX1(B{y ^sxK'axTK,  'ͤԏ#^xx!U5X0vz*@).7"twq 3OK;X3wWA`nթׇKU,*8Ӂ/N=s>g_ӆ䳡7۲g,,L7w |Xv=4Fws 1fi'쪔4[wEI6OE^D,s;q@d+93*V><&KGDu8nX=#ۮ7*0M.jʾ@4[/Z8xϯ$um1 cAՆy "Iq]]ҺD fic`1_ Y9X #_ڷ20gFxAt(U=Ӡ/ef0y|>0imD4t3&Q9ؑbs[.s0u|027f'wAZͫNS%d^ˁ}$x77Sf}D[sdCO TMM^M+^ iՎ֐{_ոw7T}X)/]\x!|Bd\T?1EQ5Ĕ(ǚ c41ܕ{ l#y]Ѱ \rf(!Kd%tL}F:Iݷbj*U& ?'{XX$>e4|%eem=>L ?s!O` 'w<\@s~Fs;!ډmg{QY{t.rrvs-sUN 1xp1B"~gQX=MioJ 8< JnTXq[P2;3@d`p*T'NG_ٜTZf!e?gӘ )X󇮰s |N2JEᤊ&y^Gw2ѝs&='v:.6D%LCZO-"mQ^N?*cVi@ҩgύE]M3+WG;:PH(J饩uا?uf>y8k4n*׽=1o-sPp4ԭ:Z#I"R^;:!`SkKN-" ԼV%!dٓ[ \ȟF҄nSxIb+  i 5O' JHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jH4"0m@-UvFXh'GN°1QRfDD(LPʟܒzQΩ:ۛ!>rD(^ tkK.d`ojo*R`d2,T#ls0@ `,2**06$.yҹ0tFIc&Lƅ6q$G_*P|Rix  (&&QPc Ǿ‹4g~\udVY`] Ds D1D8$aוS4J?)^֧{y«Y3v KD'ZbJ!l^ۺv6B:q fGZMY)Ku݋FeʞS,\qRꆸ9b(u4bg[`]<%a1֘|ժ:%?u;W #ι܃ g =KBN5H'g\5xdh/^P 8RS9fa"R׾֨-nl-f!evL%1530PGFԡȏݬ"?2Gf&? - ZΜk˭tUe'WTZQrSOԙ9 REH2j1 e@` 0 A !B!Hc 1FF|.44"& @UV婖:JJ4SǣA|d(snQ=Th[8_.hDqi_;Ǩ1>:(xv9؊3Y*g1wF&Z,JKK<^YoM&xM0݁PX(Ki tm!,eIo'E6g7x>5S(IS^kViH:.HXЮ~lv V?Zy§I!ܑfv`Dk7*OS6+G\=?k d@<'rb3M2Ýn_넔'gh^'U:D ?`s$PSbzh]$.`y91 {٥oԮF-\Rt ~PV:6^QO< D %i̹Zw>Ȁ>+ f, 6/~U[@0!\C偄.v-~`%ccPL%MZ 5,GLfeRh[1X5?s*VOcWHC퇋h,xv]>8ުK)TgZ(q40i|Bhf1hY>ZpzeX%Ѭm{R{=DZ$6?8ŅfޗnC~ӧ樃z&t6N&꺻hK`jxWWYE^W.XS-qCX΂Ċ )eW6`Ap$Cl=VDw \Bݱ* o.fYV#8!aI/BH3A6Ȧ"zx#IץH*F y1RI[/v;F\46L~ըEEp:b%NA'uyo84]cc!& `K&YeƨDea-&QriBhքL+aZi!} Ffgï*W+dDKE,ǡ̉P=FF["lXSzrS| ?o~S]6=Oda ?Jx_`RpWң,1Qv0J>J8i=:ҨDŽ6h?G.uB0vOj:ÓZ̔l4V[NKj3g,W/ϲ1MX2Aa^=ĺ$6afά Ha3zh6.dG+6/1Hu otO)RyLD]RN&NLauAylYE6 "҇R>4| K VcseQzJ$QZOGkWP5Q"$:]gYy]u{foљ$)Z6"Xj' 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