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_exportsu y~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B10-KC rFͻ&ᰊJ@PfL\WZoqWnŕ؈뙒Hkot ϗ+<>80_A/ygy2ӑPԠ5GB9LGBMy룇51 3̏+W2,f\ ܏6@4 o̞rNn8 ^I6ռh#w.JKiꥼIiWE35,xjfcbcb>&-n]鉞ǯdRgy vޅ垝7#aYe0\U]@<$9Cb:jh`Xt  "h5p|>E+HbQ+#b>g]ݽuսg"6iwJdw{+a󢺛תΙ14q11 +_gD*M(#62p;1ҖJ(Tڽ- X^۲}u-Rygeˁ|{~nv^EDfE]w vElJ[k H;5)*w\\6&Wq¬.cV=ŭv9syT{}* 5}{G(uPCa_3HjE&z &FI0(˥PZzbo+c32ybX ~UT#IRRP4ch`yFi!q,P @ Q<@0A9l ̃ZC|oED] MWNAYٹx+RVaqǢ>ka:/'v-O0;]@,SCW+|:@8*͸XW R#18#aeqHGE6E/P)bщ T5K% &HOL-Nominal-ExamplesHOL-Nominal-Exa|$[#>  ؂|{xhw[pXnWhTgJdI`G_3\2X1W/TSLKHEDB<;:86321/*)y'x$w!r[ZYVSED ? :" }|{wt s r pkidc\[ZYVSRQMJIHGD}A{?x>s8r7q6n5i2_.\,W+*'% ! ?821-, + ! gSo!Xs z T , / { 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/axiomsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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!     5~,vL !- UHOL-Nominal-Examples:threads=6elapsed=338.259cpu=1625.667gc=103.286(/V zI") KB;7'igY;HaD2e`2$o+ٜŎ2rReIݼg&NI_ T}_!YS}zeF ]gP}T$bbJfJ5]5(x˭uiGꊱ5Ɠa1X\xxPQgl+g+9DHHߺ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.thy3$r%5\>*Ik;r."9[dQh-R3?3آ-fbͯc7 #)v 8|C#hqF=1. 1"ta[Θͷߝk\N!vnމv~CW7$tbcnTr=8!-W Wلɡ#ؗƪZE4CR6:y PiXһq97JѯߢU G uBj<@Ynܑ!z%S^M_5r1h|<"3O؟ %/9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa@$,7 U˒aSwٴ@:Ƙնز' \Cjd]#U=Ħ6(G]JܦVOEI?\d bO½ɢ`XL B@v/P6fZ} |EL|ہPS $@|!Cpmdrdה1+]NyGaqC'( &7^jE fQ/sG]j\4cGV?6&غa^u"H2#i/=[Ύz;99'(0\6"=GÑFMF46j3xl'T̾*A *hSY$)&42CV) &%@P&OͩƿhݤĠfJeLJo/Oj`9@5w1WڛD!IVJCC®|\Bc=LD:me$` VKg',-:,4*YmDSNDĠX9M'D2܈WL K!{-'޼b28+4snp8 ]$0=)v cXD4vsou-ޖ>?ߘRz}%3^\ocZ⢂d*7g Msn5-ki3;/Ȫq]N]G=X&a(Ib8Pt$0R`Pjd 85"q79oϐz)i:BSyJA?nwM _dC.3sH*O`mKI.h`$ qQhKҤF'`oPo9s%Tbcr BDS_n .10"`KKvqۜ6DQZkT CX82U\|xso31`iPK.Y$&<-Xy 8[cL0Q-L6uhh%-qZSJ\:`_lg)`lmWcЪm\*[{@WT|jo3v' IWfzCK0 >*TάbIQĚΔ1zu]S'X~9ڗ 8q24nߥ.GƸV/b^K*E9kagP5cO~"Z<ڝ:d 0)Ú7 I(5 C^11Y!$c`9֤p9nv4F:@yeA)DvC+V\@iF } D'cZxl/7 ߔ BviWODPO8b M`p?d܃abOb;n˄>.4\C8rGc@<uXZn5)/y4dkSvi{)i`Gc_5`a*H%WϿfAy"R?dmm%le7oIwc#++}n M#yHz_k.5kvaL%Pm1M aʋT>Gv(ck 4.>չXi9\C)?omɐٓ`sK\ezhw>%__*_vTAi?{Hw}õG ;e]?l k6gAc^t|@"͋gYl(jq5E՘h/أ(IQoYPh}@KAL2x*JsgtO C XCXzVdLS&\v=!ߵRL*aU)u~jkߑ9]H?.+$\Rq0aMF(MTaqI`,P%^drej2FL9;CGey] g.1$Bw]0W@GX5h60i ŧ[%J4"DT&˥L01Y5,䕖5\gB'BaoA'H o!Z GU|ϲ~ݠ(/ '\$@C^v-,W{ SV< 2xȒ%ӊ,$ޠo!13 5yR@_%R3QDΊ-uRҿBӉ*b桐#!b%bVDH1ab̺-:bE7S3rx@BŅ'Ɇn]O^*W u97lo%M3 B PP/L #zb&_RYDo's͑8pA@ra]J9O@y`bdgCa0Ey='[xb8lMe22ڟ-daSudñS}-V{b0W:<{+SȇsQ/o pe /5M/wnqv*Gp6ԛV (/88Y~_ 9l7hQ_lRƺfұ*o۔0BrѶftXFGIJ$L\Yn.EVs,Y` R$!˜F&3-J"h>v.Ty=4ݪR+n+޳q{sSJGm4[U'oŶE8R/K  MF\J峛OL,Ϲ-vBt7vaҕgY (=״?Z71zcAaлkyq##w_4> Lpz|;{$C fJz))"Z׃?  Ku 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+<&B10-KC rFͻ&ᰊJ@PfL\WZoqWnŕ؈뙒Hkot ϗ+<>80_A/ygy2ӑPԠ5GB9LGBMy룇51 3̏+W2,f\ ܏6@4 o̞rNn8 ^I6ռh#w.JKiꥼIiWE35,xjfcbcb>&-n]鉞ǯdRgy vޅ垝7#aYe0\U]@<$9Cb:jh`Xt  "h5p|>E+HbQ+#b>g]ݽuսg"6iwJdw{+a󢺛תΙ14q11 +_gD*M(#62p;1ҖJ(Tڽ- X^۲}u-Rygeˁ|{~nv^EDfE]w vElJ[k H;5)*w\\6&Wq¬.cV=ŭv9syT{}* 5}{G(uPCa_3HjE&z &FI0(˥PZzbo+c32ybX ~UT#IRRP4ch`yFi!q,P @ Q<@0A9l ̃ZC|oED] MWNAYٹx+RVaqǢ>ka:/'v-O0;]@,SCW+|:@8*͸XW R#18#aeqHGE6E/P)bщ T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 : `g;-̠m+Bi(utdHSK6!а45/TNVFbc|t""E b'j;DBy C &  5ZĸɵpFXCӺј,&! b(L4ڤ*@ h4ޤI͕ij7.Uڶ]1svsax#mo `XXcb[⥚?K,_13;^K-Vl͕r1RVSPFk`1   11F"dF" %#;y 1?!V1^rEj:Cå%_6Ut΂W$5\$W@`,v` D uOպ^vmGgY1$jo҂(*H:;S- ndSP6ksX06,ۼfI jm=:>_ďz U|T~(7yDh\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal D5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1a) 0N_a3N8>whAI['"r}*I)O@a;9QDa{51i-ƽLJDcWji.-0A-z)u_Qܛ+S qMPH5ivAQ4 D!M2yc 0g )#7iNg9]M VpXڴPVYL9$ 'Hx( aqSƒ i giD1=O(8r^ H4FQ$0 9Ѡ(à5j bk6'25G!ha$re_]SD : uph@WTƒR  U VEMX;zwՄۛy/]m !!50D&\iY=AP9J:IYD]XX(7EIS' HZ[wWWſ}](s=C򖖼EUTOMOM]UJ%/8i7;7GdBohP \AábQXxx˛ s9y0a]{2+p}74ut˕7cZΌ1թ uyR)*RUmVeᨹʥSaU0q]VKU_}_SU gߵZuj{WKqr։3&<|Rj)%W5fVQ9F-Zt_p,C4 P-- ㍼*W=Y&CYM'M^cZjQItKiZ3Bz~xibƚs%/pW&`c[`:ϳ=¤ri7=͸{9xfHSS|hĶeBlxY,һN{5d"*XڡdE_ DL,WlfiCh;xg}`B0âA}y" *p\*v^NOɇXV|%X0fp-ǢlI WP@{KQ+gYq*D.K':NF4\e^_&z5JyP[oFwӳl_/[m,Z쟸 _0egS"3j?&AC|u#m P" {4}0K7x1r^4ַ=|rn9`{'`/ O&zc^.e;ܺke8hK G,SXg09Ș_rƆXU&7 ]/ON('qi[*C%Ў l"qîvЊgK x? hfz_J{;t_9Mb~I#4[F @.Th};Ow+\5igë;7|]VJ)섦q⯰ר5[qЛ ‹ˮ,3čm\_C[G\Mqj-v"a{Cn,3&Kq3K؋b0HY`J.d"fL`_[e(ufqh?pbl)J"n8qg6Sf 玮BV%gMum C#T@.N%{N1Hmf03̸h5QPUa6}* w:Үswva-(/&Ev^{^.{rk+1@QoYNotԚĕT#xUz$>&6l7 1%QpՄ[AH~6KbJ8I/. >i˟t5:Sgg@<=(䄖ucvh@R%LƆz} 0c2plKWrPD}8;Qf,_( Ci[*$KV7I`"̺J9a ֘:?1h}GmЦ6彀{FBk#Tv#`&:۴5^j1,>-4p %@"y2Ҹк9Ǚ}m6DJy9Cn0|g>cHiC)?p墱Էǐ҆r9=B&T,IYka̓OցY .o̎ 2"o{A⭹Va 0a-qDpd SjL5eS>8p ЍHkrRݚw7m L'386p2ykƒFIl7|@j)$"k'H/@Y't OS4h%ؚ/{}>Aܟ! 5绉ȗVΙI!.%bE̼ [=il0@ ZOA1Tg>; a)5qЭR %-oB|4V YewXQKR"9[xmf woEcۆܩ^$5y9[kkUNL)!sOf'$-j/zF7w@ҷ Ƶ1ƻr8W~V(崋R,s bS+ڔR['L[`9hByik >>L(o,r~S#v`F1w_*aZa*`s‡r%_17_]eWJ8Z/)v3՗ XQ;0@~y-H֗!y"_ez#S20F#eX'?C,-@=<(\ A.~J=`RXPM6RP1Ǐ GICŒmQ|?^_MOKIz?LX?)PaϞ q8*{[8#`@MmBHݑ9k9lg;zx_K-.o{Et&NI.аec1m Hվ׉͗zHq, (@y+b~Ŏ8.kL)Fӂ~%aR0 bvt?kv/qJ.^?[)"HVFqk/QIߪM|d2.~ˌ~D/E61F.ep#doM"fgb/d_t\]VZ>^-P?|Ч*|"{˟. >$c8_ Uc7vdޱL0c܆F⡠!W6 ru7Gd8V`‘fuHC9e:9 /@5+ T.ܓj>˩6!!uY>/edځ<֦r8=Vp$y!CٮvQ{MAê;-?E,/ #p6gн)`Lm y$m>b]o~لb5t/b-3Mm,^.O5 ?D嶚l nтK Ɲۃ$"RtΚSoTO}VbL2ks| Ug9Λ .N浧}<9AO\.J398kI'x(Ϻ#/myǩ|wD=vL?oSFuhB$Tmaù byxGޒrq (\*ΟSn)K lQs9^"B 0*3Ӟ~FyVҟ@ E038VøҍM,hZu&ߙí`͆,s& NbvA&cŪ6fEE&D*S"OQBM$>uW8rVu3]}GCl_؊5۵gSV2#k.+{b~=֦HN)+e8dݐ2"V g'<c䚛2W m9F2V!PdMNFrBYMoye3V@@eneyhMmS˞L |jsBYENѓ885427㔼FvD #&Fw/ 뗞 )o)p̑r?2LZ{!\jPu18P/A]7}E=CEdFn&M#";C|ʗdrK։$t8ܹshHofğ@ /yרDIRaAB.}ak3ȤJ 5%SHnɾ'%=6U얜پID ~8 a!⃇"hNf3xPt!.Ug8W'ݒo?"-sPh\DvK~)8@pC aHd۶mxxU~?m ?$7pp??Yc~KVDDDU%oc=pEVDגFu2a30A8FiX} @@4@@ 08(0HX0( 08IQxaڜ⟣b- ÷|Un(ミ[ٷPdw daP/([xY;w֜,n є\ "1Pџ#]YC^O} !%OpdSƚ_p 6Q )V}nC.u~{Rlv<$a0 mpΛ+}9\y䛈FxC<>㿷!3gd[r>0 m kùw)z.Ϝ2a!xb'W 0 Xw}`e%ptH)*9yvfR;my)!Es׀rASÔMԖHcH kaXĺ?&ZIx\ѫi ?<7X56u&R=E1PQ0/s!uuSGJzxdjEĐYATOqSrۮuԷc̛H%! N1ø5.!Y<̡(bq cpFk=Gsb80 0xvY'3ͬ-e8e5Y"TUqQhto*K#tw}i]c9r_b-G3E YCeEq; b?gYJvQ"7qE? kk|' ?vY^ab=;=``%ƮA 4&cb1W@ܓr#2Zӕ=5f#\(.w:w˫Z..@Z(#kZjnP+rSGTW8-$'ԆR9h'!a9&vGLb-q4f1keyit;.Lv2ۺd#7-h.T`3%v?9Ҕ<eS&vC:Lj6gȢ jL|k.m,]t ji_i5](`Lj\+idT]qEͣw f%e!{SUjh4AO} NˎPuWY:8nKhLI쨘v*"4̏[F{C&Fa t9\,8n!(kH ˲,JpcCgiE葁IFrp#3dGql ݷt @N ,[E``/S$".L=q%|d6|ɼY6Pp_0IȚδ%H>07jD93Bm@*KM^8/nRYYL2D|OP1m{ {y =S;WCkK':HE15(g,'b-~AAŲ61s{2:l#JS}B_ zp{@?n~ː02#c?wǚb,#Gs`؆Q9};!Nƞe1" ggD\|$peQq٣@G}^j[xfF̤c<gKe*9h8f3iG0~(Ԕ"ֿ> ( |YX 4lC!\*nsUq_Xr-tjQ f-X *d]\HV᏿ o-`{8q o4̅Ll~4,xZz< i'3Ui Oѷc =ol0dѓ mRȪsw dJls$y~|0{rfeZRnf$*dͪR.i<;rxi;TA)6J{Av{?1~=s>9qڃ<@C"D%%.:Xɽ[&'TL2aol!$֧㇗ ({w6my yg_A>{7mt6gۑIW9t,r ';cM#$PĹha>iUgb,eݮɪy'OgSWo,ZeCeE24ݏP%=rw}nEi,lPi ~T;m\gC|{`rzkwml AL2~>J)jP 7uZlqN~! κH74wAE(|;1Dw938(k]29Rӌ ?rJrEd$?eTlo2Μڡ,Mӊ?&>`a.RvJQ#aAxkU̎?۫RASvN_wm԰Uףg~㙁Qj,pvHa#KW;YY@wg()dѽ{rgvD?_ lIL–-[vmʖpm0iݓ^NC,7rz0e'8Haj˯&\sOng SˏK;l0eyn qf04V<#jZt4gG_ ֫[Uhb7z};Ve;3 3`Oכ <- +Vxy8\89J4ϯ&/-uO~r([ѿy82~MJvc`hˈ;{W{RPf)N|ZÐ\H,ZQoER7տ{dw)A_Ư&$eoG|on݌#.#o߶uhhvb?t*t=T8{m4.yr)*qPȾ6R!GC!L;|=o}ԒOƾjk^/yD]vcxA6BJmg_&>30b`RދZOf$..#e+(4O7U*8! "`fBSfmsf+]߸Vv@ZVvpm7([R fv0/ hoAC4P8&";& p&Z?`yg͌e%x-'nvVoB3hKh1`0~(%^! d;M6k$H-<Ӂ 胲3_RPӹ_=+\Ǡ'r4 u*O-(3/ByͫJKݾDA  ;(܎Mkv,[1(k Άwq5/@V+!}WsԦͲ8B`}7u2O Mϥ44C#C 5AoI\h=9q@4=WKw9u5E_ghM0Zփ69"YAہ?0CMk( 8^|S#p]=xv'u3LlɋɋᕯG2~:t[^uy농yQZEalK\%ikL0wv3Tw%~ge7E KRcOS Z-{jQ;dkLsui;BMi.fkRȅ>c9~Mflo ӣ͇>yc| |}Λ mi/&kn_ 3^|a!]PTx p  kQƈWW#L2d3"n~۞YKh[=,c1"hs)1UL[a_A@ @p4Z &2߶,Bc[lfO"3rDBH@e@c8' 1 b u#Odϼr[- Pb` VDvgZ ۶m۶m۶m۶mUUUUUU/"lf']Evg֒Ir!GHr۶m۶m3oMv 2d !C 2dȐ!C RUU3nKN?"3nKnٟq;r[g&gZ.U?=Ӓon{%Od3Ӛ֪*DDDDDDDdmjk334Tݶmے$ɒ$n۶m۶ɬOt3ɶUn{-kDgڒ=,m۶m۶m۶m[ i P  0$(($ȞiOUOdϸ%Tщl.EB$Im۶m۶*BPs*= *MEY{KCV!i,د2^]Ty닅|Lm+/WbnUBM#ZtkZT= [0k5}T9, Vjq=&ydq_ e2ȼZ<'_ʕf/P uj4czQb 42Wm܃Gc&ܪ 3OOדG3j; Rc reTyRxt]PU 4,ɡ%>ut`5u ;tF*GM2\Fg&*6< 284m=&TN iW_=:cHufeh`:,3IN/RTRˊ33 T}i2)yf2uģp( 0VTIidJo(Ǒ)R[~85R굔ZSG N摳̃O&g;#Bevv+/ȫSS&lKFh)Jr]~V q'݂;U5Ыej[ٛ#$dҠ2Y `=*-QIK2<*liSi!#e@Aw03!- hmp9Q묥#ON]ҕs1ixAIAe*Z'"f'K5QU5)]CfmX6>Mo-i7mj/70z&De쫦p#w3|[u7SY@wSMKr3x(qb ιOfkIp῞V5p]nd5un\}YHBy={mj%8s3Ы:Fv1s,]MOŭmвV0ٓ*7ICjk/IBݹ%;g6!OwPYm}abjatj,˭J}Ք4RݺW1[@]_!_Ք/c컩=bʵ>e׊y)*' AFCTG ,|3R(W"j&9e\֯q+39J%r°sav+T-VU"Vo*6R׭vDڝǓ6JurFPZĨ PRZfԇ!=TAIe懆8ONblO p}Ky}MJ@q? c(SiBլNѣikS[a\~u? CrnkߎepEkDU^l=죱$X1 Ѷ%{SYm6[o.;OL-? "Vƒ` 0Op:֥,b-zؘZбXγX9vMJz*5NaNEʑZ%R{AQ u[~R}; ˯K/ XథwfT6?GTX%.=|rDZ˥Tu[T)ij`DqwJn-XFa),S|bMN dd0%Xа+G^W`7eUB?B2ؔ]"2+K"4izA*t1%Ĭ{:NkPi ݴx ?)P5B-0)"oI+9rWxx2*oNJVYmo-]s=yR7AFS2ӖPX 탨'vKPU 7l1U095rgt 7[1_* V IvthU0U#] Vs+ dw\0QcOTjvݕޛ#BMQȓ 9$e+kqV;;.SU>Ӎ0Xx-jN{nS!d`sk"~euՓ_ $eMW=3y~Ql^mu6}]}6] DպJ|Hxu۔U@ iIbZk*U0SM@{ ڞ[ҫI}[XXd.YeɤʼFOg`nd3q A%-*ٺP6oAu`T,y* Ց /P.  uf( J &ݎ!q\EҠb[Tzu2i*Rd$tb=R9NW  K 8ȡ..*B=_B1Vg‚jĴMwҍjiƒ+ UUuPB3Ȋ a$u 4zA M9za\^P-E-Mo ^tT6irZcEB}!j݁i&w _ 0ZC$g,?Æ_HL?T6R&VyP/e*Kn䓼ItZ/,vۭt[+چhmYyڬ/eʩ7ڜ˩IV|HmM/ހM?VrK Bɶ}"&L,XA?det{JYM2͢>o,`V[gNlkAfkkakXUP#PSXyYX-O( Zzd6jycU{^׉ 1Ce䢑 ߤUU\2lAחX[Eʣf6J03qs9 0}I`uֻ >F+cd$ީRqOUQ{v7E_$ctD^`,X+>mMT۴`?Y9a6YMQk |[1NkCj2'<,0w1E'^n!o?{-_ˀPtB4X q<"ƭ˺+ nL^ae= adVGefO,Dl#ܬ_p,ed^,jHn,T(9 T{' F4ަA?Ԟ)—A.>dJ%#BA,Y@mMIqCli^7LK~zĔJpcf*yx/G} }d]N*U*A.e';ET~X_o qmxRh#J"#h>n4$W-/Jo骝/Ww#\qOO2 6w7 cGlӹ12pϮ 6í/0wYl-{(p,zJ!tHWbSJ51dŇ !uCWl!O^]\:a#EUD{^Ե,4E̢HW*lN,=T9&^$ e@IЭDg5u[M i\{ #K j}sT$^؍ pwB`s0UIy=.rQzc # 1RoXXbaZE$Q/Brp =hԯfʡ7B]ëP!4vG[f*?bRl@Dl(bBXﱢV4r%ze- ߸A_=> 5~{S벜jg\ⓜ'y%NP񧂧m x,$oJU@G٫!\شise_DC GZ3l[[ |`ـWS YVK앬o:g.]o'=mû-lVx ]:Lʣj6m*[y Y2 ( 8, ÒTbuUd31jif?fwߵ5R>?}woͪN1߈뮽3,S8Xέ:HDUP(7bkͬ"rhCѾk8@E}ތ :Yut2@u|<20 cҙcCR{-{2}쐰 qHX ?Y0L,ߝD$f &3#w#Ɓoˬ뮽U.F fâa`G}m*_AFB8S@@rg"cƀް\Jeu2NtW!WLh]f!ڿs[YhM@ M<#(Icޥ4wUߚʗ(foIJZWw*ՙ?mߵ֙?fjkڲ*3]{7F]w\Etg֏hw՚hw՚y$HpeOL0(.,* D  q(0CC*i9(a!U,ES)m-2ɋ(*#=s1Fq> R.1XEreWn1c/gK̏]e=ѿ;_ ?`VX Su'Ylh 2b Vsj c{z+cMdR suNg^w"Μ IeH=d^/@,toO%l$DTUY`, +K &n0慺v0yLň7dzբNٮsL1p*S_ !3{T 2rې3>]؟ <[ oŤ7O1(!P[\zC"9}v\?ǭ,feiTD{g'Yj㢼7MSMd`݈UiC3걣.y tdG[Oi֑z uvDd  2/ h> zyO~e7ӧ6:b{#ES( {RC\=oVfsஊx(B|A4 g`I \Sǂc,Y/+"xq3ᔠRYxĥpzM h#y8j^8Ẓ I[+@B$j:ڤQڨ!TG@PpL#dK$hN擻GIDf_RSLI gm )j0i]WJH#T*GgI}$Q*;t{+CZ88J`W aՉH.ջņ(ຏʀ%q C=Rvң-%)JI4a"_ɓO+ `lب2$OȠ4ࣖ}lޑTGJ>A%~Sފuk'ߗ.eͻ$y` ~cjwtVT!)v+PHi1`qn \oʾf㌄u٢&h}`z]kbJt;txm BZ&a 0"!8ua Q]Іg>s;z6^Rŧig["}8#٫cH& (ve^=q,wk Un 2^א>l M4*8h ֠` /dƟ.nat*=d5p6G=xȢD`oV}|gS#uh O6[" Yp;R՜ PԔ߾'CS5c(柉dq5ee"K+<Α (0| `"g`H*>e j_G"r^ ?Gn[N@Q'nma5;\aM,~rN\Z1Sj>쀏o%w6StiIX_K> 0 Y0_JM-Ф|~Sn 䦒y)=IttE)nn n:x6p~pV) ȫdK3mH :毤RS, q~ g#.NBXnThgKXjp!iƀpK%֦Eǒri +T'ܖ'>Za>A\opmeXBMgV֒s{g;-#M^Maڵ F} / owUq 5*}C%"o\ K|S 7JF;0V$ۆl@nh+N~o `0CjQβ53`4hힵ#xy5m1j6aۣď~/fo;BπnЭ\=GwO=R@19y%]O,̿q#MϪ! 1ճASfޚn.SfGCowQn~dQM+ }X gMtE"d'nli'KW,_pv*_9wB Kb]xgl5ƳT0tp?D4(3UgZO*Nd|9TƬr[u/s?; GHhzXyjb1Kط4:4Cec.4m-Q~;LQJ>=U@/)\GMUG77̨Exn!7ZOs)s',s?ýe7xbYkXO~Xܰ- 4wS6YUvIL6"1}d)m4\1%^&l<0ä~:H":>O"uƪLb:W-Ք'O"Sy1k'" qg%/L6-_ iLoPJo+360P)e֛b5ȣD@?Ff=07~CSZ|RK;XjECI@>X0VI ƀ>s~6L92qsO<#|wRߒ 'O񎇌bJ[]DIƉ~(ŭ>^~LFٚV dŅSVMՉ;cQ6R( T $SG?+YV$,9Y#7f` Oa)knf鼆 D5VPRSwZDS(mz=QˡFck7o\'H9y ϫPF0䌍(%`w񧡣˼8pNȜB):nLbRr"VppU%5.r#m偹D&$4ܔ_R%N=Cɖ 蟓EsWSgL/.4>ٵ0 ؍F󞭂U!I@Prt%Gg!@᱗7dU'HR>8f%Fb# i<* :9!.3mYr_mx# خeFj`Ӆ8 `89WB @13B` ^aR#=MǝcˮiKݲ"YFg-vpӎ4LE5XYP4y; .~QQ@72 ρe55~<}ov.:%Z*`lCE.ֿODj uoi|ܛ 4A+ڣ܄CGAZ<n!9ey#}v q;~XEEZCյѥ8P]r[t<%Q@I}Ǻb3Oa=Ր+VnLɋ0@I@ kg#Vqz;C"w`?'2SL.TG" !.蝦tpM Ft`c[!Ґ޷A5$3f#)d (Y*0mnabOvls  3#lx-⅐VݥK]lI6r3ծ.[^C@ *m*g+`P;ur_]NwnG6UK3w.'B.l5lKS?R.GHp)%1b>f`E[t2(L;[+f7˶rIY [ Y]5qPCqMBcft+AT9frYt$6EXgEr 3U-)˜]LWV4PgOKtǭBW̗t`.|Lg~9"($]c~ _-"Û1KVQL10Vykb-Y,* W+}!r Z#w3ҲE3#9/Yt3 )X1PRfkn,N24͸D(=D% 䣮s~hE5aȌ*XeЯvخzҵ/v!kQ lk9pޘQ9*w WLJ<"+;<% ol~#Vf2$]\1K Asط7"^D#avgS bٷJXx̏NQ.cYW--nu\z% E~rтm\ɶ3D\bb Xp{k6rG]|j)0 #JHãtL si0dc:^=u{כ,T?Q;{"Vs$(%Q27Yj#RPEE>T)|\K 15Rl!EM(GأSz'[0nٴpfDW]//.7<StI5_=oK[P2o^&l8mV⯁ڴ`"0mhl%D ]ӧ8Ea`v5N~:-Tu0!N L ۞[H>auI2-'+4گ  ^\^{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`Er p'zս(#[##hvC`˻JGQ-P?)+Du{ 15чMǐ@ 8$E9ۊ:Ѥ8Y/p`5$Kק~xՆx ]2T_fR92-7A õl9dDJ`,N 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/,) k$j_9>j[!\!ݽSqF TvUr(I+A|XZfAX.!XM2VcS8pT$!<˂aài9Pb(QBe(@L b5 &D1˹&ABxh\(YN $!£Y P (H$$ QA V cEby¡Db1$렒PV.x@, u +b5RC)P @PJBy 18R&"R;ݝn5"#D)m$6HT"UD*P8wjnaKj`DxԣBAt5P$T wԳ@ G,RN;@E'-4@J=hS8JGFa*D94G ((Q0U#LϨ",иQ&$jIyU-v1ҧdYDeOĦf"݈ө€b0G3=I ӼOtwgf?2lĂ4(3 < 8*1( sʨc5tARr@AĴ E0 6PID^ͶmmͶ߿ommmmlfyWU3,CRJߴ4=S&L~-YӝJO=.mmE6iUUUէVtf11}yiKK?v:Qt„vbhǣFӥۻz^:Cgffffffvf62dRf!ޭYRM<ݚ"vTwiv?&#;E=s)SL23w37S7s36;Sךjffifhf?S]Ey)j"ޝ<rҮ31Q^|?3|>??_Wt:N?:::cJ)ƔF۶mhm;moWlg|v϶}m>϶϶6l6m-26֌4A2<  &. ( "B 0(A Jg|fﲑ/hjj}|koRuL75K ۻ|#-~auc h:6p?z@gœmGCP*v+W`TE|xi7[Bۙԝe"l|C@Gْ|31 `oˠ؈~ta 0BnX9&L YͮT&<0;s@D羯L ԆD0'061yXsC5yK/qa Lls .߉o^0:A-[DfqlA|~,f=b[ Y>.mXvf;+I8J;_\M1" >PuSqa}#Lm$\!z5@`y5üK<x9$&#Lbh0%39`y@&MvO>g6 dy] uNȼTʅ+7,p9o\2s m:F֚42!F7Hc)'f25QH~\ _]ZM5";~`W nZӦҪ4qҠyw~Zy.Ҁ!gC@@__tbOoAqi.: 5x2wP>!6HyaPb$ OVyOZ4Ta:Iw0tZ?c&] {tKTx irB=/3w x M.&'"5wϼ;.V—k7FB"Db~o(4M% :!is`?}ыxohg~Q72 g?8 yDy]?XW9ec,ggg H.ӣ&' ^$LQy\ ^Ps<(@"_@˻ 2w%XɎ P|\"yb5f9]ř'@"@f*s+d4M\/hdV|&x8I@Ɠ8G1S|)4f9G(#;Tb}^A$ϝdWchדۅ8=ϚU#?ڳpGP]Cm)G6#y ? ⏁U`?H1lW x8k'~Nc?Q0O ,O&O ܀O?FK?4Pg 6'$țA|1 QO;gd~0~7OpxG[_!kv YORߧtI{ 㼈>t~< \~)Qۇ Ɲ>in;||I[)*Y汏ϒ5}>Yx#EӪ0?O}J>#ay4CZ>ϕJ*<}N ۗ7s>N1|qEQ=o&g`O64-^dNH;]\8=x4= `7>$0լqBol\=`u `H/L<K>+_\ rA,@} GWrp- I|6%QC-ߤ]ik(bl<,orT^KIWqB| sfW*k akhOt1ux߁'C钿tZ-ySRm%{Bb+(=@K֧d>aZ8/1VksZ}ՊܧAEv+ ߍ_3yM؊}UriE|PDd-ũ-ŐR/0{M_CnE[$<57u@z:^viM69S4%0?X:.S`[tf7B'^șN_4# ꓑ 6CVDWQ:w -Yxyln9&`9S7ë* l*+s/$ pD$S{2Dr$Z  " 5O% >HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7} .PgD|xpmO| {<;33Uj$iKIZ!գ 5d7իæcVc[RzSIO?TczM?i 0i22:+=>'<ܐ&{'ǁa ]g t5V: `QF9 mn4vLBa 09ঞo$>|:#HA҆Qac3` @ ck'4]֥H:jA/r A a8Sށ hHL靎8q$D 1[ 3^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/(|4'DD컷R"JfF9F9d"&j`7-4OQ:Bb֍P-Yehh9$GESH*YH 3=ˈKe+hF4$~yfNJ32qoL1YcDϑODkDPM8IDquӒ*,IDXLFHJabCXq\%cM*A y_*XBZ#Y@Y@PYys^lƻ۹kqD(8:-f=H|drf"bb5ϒD I9kA]AJ(+rY_K0gD#̂V΂!!yvv̊pY95--- ]`џgk"ߺ97k2*h`{޶}϶鈧f3#ؓ1) r늲oQ96dCmʼbqu{}Ȁg}||ر{=T׌af#RJe:bb&MKGKķ1K/KK}2xݻHkafVa؜{%{kWv5"~?XG|\w ۜћڮyٕo&(pphy(ol,Ih+Iόz~罒 |. i(bD5꥞{w-6jάk֪ɛmh}4*Z"|0_|T 4qAaKf⢢qmν{xڽٜʯKETضY@CG,' Pc ) P( s)"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method#0 #x~07Ԟ7Tğ +LrT¤˜׿ppcM+߄-5%7kD5]j55KQCDQS6|09<:|e`[O NBOA`W.u{ C,[2JX"*M<Ln-FϣDJ(rv! 4fyt%ѳ !vqZi줼P vCq(:/Ik0#gNyI-;o*Cb#VӶ4'ۢheP>f~k, FS31{nQ5y7Zpcv|ty{9q3җ1GKkd#Am\;uQ vǦUX(,$!"%SrtM\[AxHԊ.%d:S]X6S V4ˇݐ fBlPxdJ݆c!r qclD! (jrF8a"pWb.90;ҍvI)#1DGlk8jid"cYEdbI0 ׼l2i;zH5<}\Swgsg.n8Ow3 iDhsqdJ r?2ݢ>676M3DF93ZFh0hyIi3űjq69SYv'd%p9e+i93/bV`Mu'u-ّiKiDP gʵ2LqڨL%!҇J ֚cD]{S9B N=BKW. z†QO3BB/B_,-[܏a.3/ oDG魧h}e2V`̘j,"Q5!@MTEK[e7<FkeZqP݀yV{p%J ^y+ɬe.z:\| CUQ%Q J,94 hT">Rg*]5Uie.Wxz5VV/2@zSje5S]yB3U58|GB QpJ4@>RPyӁH$T 0'έL2H"@YR^֏Dt!*J qMʈqM`OL:tm#i:|BsD]a Y"TaÚsNM|$T 5*LQcK[Hl/T 6y%ZCQ2(K -Ywe.4tK u&s@l`EGѸӬR}L} @&{Ff}tMBi`lzO٥uwl֖ޖ'-Ԝj5bg*2ZKlFbOʻmIpְ3e٨E>Zbx<9ij-'b^t@֒BTOnXiE#g-i!HEne9`l5[f~K`+a-҃)*&3BBO!le};zOFeJQ2n!-Dvi[A_xǪ4)Z*!跘-µ.CA 9C}Ypƣo^yЎ$6 C[ⱈҢ)NnkϫX7ʺ_d$e$kq9sSYQEt!nqc,۴$TAj(#m["3 ]kix@3DVh[EC^9`^a];PaVetm$R◽ALs%ϑ Q.R0u۬klι]N l3Rsm4LypZ wMԋ{X܌ b*woQG9%IǬӱdXK.@. &Ѷս k$MОTެa~:58Oa9w;guX$ݎALd:=Nq`9a^UC,٘9JiؐTx t~xpUfd0E& ԬSg\{h<_ ͅ KIEAٿ`3 }G<|)eũ#jC^UBa{C[b[/gA5(yD d56fMz3 !EcbgKZmoSE /!LAI;Mp/vP׋)_9D+uմhJJfUP*;SX^c{K>W/wnzxN_jk5vМLӕs+*IOA2[h5pzkHk.o LDD.Ӎ~ԁ(uuᚹ"*MP116vX֣A3䙥yhA'eXϟbQ`ބYzUK>.;bO*̛ Nwe|`0rJ8h:,a-(~w"xF ]?`{%ZD5zakc9K! 9'os᥿Z׏4[[F%6blk@8ՠvX;-doI7~Uډ@DA1:z"˹ BOd~`=8Y=@ Aɼ5?!F^nq/Lf5XԲ"2:Ѧ1e$Z *, ̙fv+$ga;Nb5/ʒ*aXFWMUr ; M4=c:y-1k5:3!#Tl5*+(7XkNdq` %X_Oy@kDɑLyMN = k pBM 0쥄G"wo&quya7hKSm6Gd߼ ^ߧ3=۶k_Ldy@4Jv{" Yذ*p- LO~͋!7\-#*QĻ<ű(% Zo^<,.ίnmࡁ#x XsOxK2V`s6jWJ+sӕߑBC_! %qf!$ N]4¾|T_$ llAHUᴸr`aN? _hhҌZ=X{]#v6 jwY25Ȓ+BRU$+K3#+ 2nٚȚ9e9= ftvGXl+%޲}匈}TAU!Ī3cuC>x@A +YS~ Uʦ\H\.RJKQw{ypJAR XsoJB> 8~'a'&3Zv!96 +⚜^Tl+ȀИ!j!{:Kqߡ9a&Nj0WLX3@DYT- &pl!QϋJ6G ֥ٮEJ:4EGgrDL ZБbzDU֫QUV eXw1p ؄{q`f/C3\+qr9&*I  |S5L2hԌ9ƨB ^#&GP^|O g5_4.J% 6g4ޓpfPz;\ɧmBg(oo&J>z~ .զw$XIfb 3%uŰV`Ra/ǞaYK 3!"3)18dSJn)MW2q۳cY [%S YFF6ցVʘPFVB68\Mh!\r= Y$V{dl=#: P*1u~+H8A./]lX>'t"qH@֘" (_ԥab3(ȇ2携 !ޜ솱!-_i&JiFM˛lk%mQߖgHޚ5L vs "R¨_ +7sTk0Vm%%S F 6 B0d>Q T!Fq2 9Д,n<]^J=m0`1M{wlJ:pDs131glZ ŕ e~A_nHܔf?p1rH嬀f#NPGkVӛDS7yM%0bƷOj4^n-DfyKⲧh T|.b:f+Vl>H%6A0 R )W@ިD% ڕG|gK`̨._wzcO }NIl@1PdܲJͺ`ȁ%H 2Ov 'dY?\[3LNQBAv]njfa#+2WY*)\;l$eD!!.c  y>UhAE,N&RRc8Zڒm+(DznŎ\PWVU51žlz=zfjޒ(?ތ<țV])ۏ5ǢSL=~^T{< lΔ.54p+$#.R'1io!6c?#>A|ϥz#mab`E&'5|ƭogm_k7d8d`7ws$} Y&ƮILZ/&+kxy5B'r`lxTd0z(  e$28v,-p18wrRo}릤Eb]T8c:+aLib@+%!ۭ>lekBZ|6\ծ![ŀi1P6/PhHß 6rWP[<,~7Q+$B7O$87q*suK pfEcؖ5HeGIڀ1q(m y|_FǼͅ<.A7drfuq{ H{g9F7tp>9Lr җd(Qec xު eQ1#2wZ[nxQAzے`)IʬzAܑDX9F=iP1OY7N MU AkEjX_[*'ܮLoN֐YXVt nk{ (!D(8J9?ttgEVђVm>%QNYgygvάxly$0Qf^~ڥM7mg!3@ $&#DCpH(1 0 B0d!8GxoBN̄\l^Kg2yrxy($sW+rfT*$#%tȈj6՜7ί#xFoXi,)߬da/Quj$mU4 }ʞzNo~S=wF $8] Y;xz}~tÔ2zآ`wJq? Zk2vZ3N.b?#;gl:TeAݳv kN6"-bD@Cwjun0e7Z$EL>C0žW?^(r\lha|k55JX1 G`zF2 NV9pTqGW2CzZ1qAf]0Dw)rVI|. 7:e &N%@xa'?)ccY413Is0* P\<UmND2Sd pqMLl17b?As5=c4(ɭm)j6THɭCmB$z$WnFӸ ϝxgav{iOk @!qld8;IOȁWgjrpI[L+zEs@xDp}q_]`w=IAnl(HOΖ3;iUXTI `MZ]/.7(򅛤rǬMWP8SJgW˔4ܔY4X0.-"[sʔZA("w8r:ɖhҢKUFYrZ+2훂N0S*uL"Ool^xY L\x8nW\}fǗR~=PXo p ew# SXeK[_{`08Hm`"l;ч:.;%Us;QD'ppLs6?yV)t?,' ])B?[Q`KF_;PmHQ(:z[3S8bWp9e:]Fjx츰|1PN|‰1j,DZq@d1s<0!T|2aQ^sR2nm=${e g9ΰS!3gzSzj:#۞ XFEl>9mĪ=\,eZGҫY[.&50FVgqg>tLzH7MlRH 1X 11{͈ 6 Dh@p#FeZ 8iR5Oj@AÐ_=hƦAF-}"^Eꮢxs1PSd0'2$Mkqd&ASs`^#j |6i]淆-a3'ʡB@OZ'GB!HUHΪQ/}Z^W2 Pgy`/|#3=Cm"ukg_tM/Ev ٪SE m!>C"*W6LmΕ'yz3p4{QL+|G:ĚA;G\ь*'ҩe8)dT.bP8JB$˵MޥQt+F1h/Blo aUL7Tp\kw Px-;v{WTٗ#cܤ~܏Rwz.հU¢)_mv@[(=tC|871Ԏ~si~QxzhlZCrM_Cu Qi )x3 5s)@*GC#WXuެ!):a›;U(7C:tƹd%![KMɪLWYge܄ϓ HfCg |a8Wc=œ3~#ه,%Of#T4 3jK >e"z K86a` 5Hzz`*Q4YOz\\(T ε1Ά O9)5D~6BRPHcJ yT}όp3 Uw¡M%hnS;2m Jaot`d%b&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