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 w~ytoje`[VQLGB=83.)$ ysmga[UOIC=71+%  } w 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+<&B4TZWJ[$R+_>+wwQ VDV ]dɚZ䭯]9M͸[jmR\yk$qSI(O=Ŗ8CE ҤjGL"TL`$"PA}|xybX|Ɓ)/Ň}jY#IRRP4ch`yHiu@"qq,P Axb a 1jJ A['Wt\ +5uD$!m̩eMXႁ]k oJ~̹(xI;]*ǚ"j b; T5K% &HOL-Nominal-ExamplesHOL-Nominal-E}$m#[ M=  ݂|{xgwcpWoVhSgIdH`F_2\1X0W.TSOKHEDC<;:86321/*~)x'w$v!qZYXSED C > 9!}|{w t s rqkidc\[ZYVSRQMJIHGD|Az?w>r8q7p6m5h2^.[,V+*'%! >21-, % $ gRo!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/classesH5tA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagessF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   N5~ xj 3- UHOL-Nominal-Examples:threads=6elapsed=338.582cpu=1628.248gc=109.332(/DPd|") KB;75@Uկ_(>/@ #{)3@@; S;s¶VJD,vr,r-^~lgNWC M ACÃgl2N9-Ous6RrSFʘkuYu#H,*88$XGldHj2 0'PhŃ )EvOZuTZ!tTcl <( @P8DHHߺ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.thyRM)^yqAU5|N'Hk,p}B9%z:#yZ-Ͽ*5~t@5squžYwd& 4մxꮃFsp(U-t':1"`I{=cb;V9V=y&d+6 Sr;J`aNOԔ$ҷȒgQ9RY@SH7*˯?5)aQMJmL=`$Mjc7 {5,Va+<2y<@Wȧw #~`'#3~lb 4mxt_|5F0Q,jd "i|&,=#Oq]-}/s.$0=`bO2F2grJg!yn$ .v@$XT9O?"\f2.u»Hܻv$ns"O@lJv2-l!a%Zʕ4,G ~^oMH`|BGo,11=w`1$g#$Xz|ҤgJt,]"7+}Jq#\Xn EƜMqZ˿ҹk#K8Y4 fm0 Y^iSEB,\N wĽ!`uWXލ=?TT8U׎PIb_K[[ߊx<)͈kdlsDcSXcEd9*! e4*aHd%lXw.tIXCYShV͵;-W kiVyKDŽ".퓆Ï_ [bt[ vjM/l3$jS&lG`YcR@ݣH ;rz'^^ /X9`~aX}Sx BP:'5>&:UY#Cn%O L@ԗʯn奯Fn2͸6ӹ J]@ ,.b."3ᤍ'7ۥU!}ƙ t(*= ʁKnY&?Xj}Q,]nX`"ٮyԡD4%qEvZ6Z/. 7h^`l.2aXF;aj%0 :[r[tUgXɍt- 7IK㕌_2R[Bp]b-Hz0ȷlP%|4FНߎn7t,pDN`[~}C!=cBR{p{럑#:6P Sxpas@$j@PCj:Ċ rRF_w!K6Xw0^k8 b^ܻl ^zB3+[:) ]d?HUi+fW U,k0?X7x9RXlsPs^J⽺=v$ò)LGPR!GXqqjI0heCXelsxLֵ͑%爑UO8$bB=0"ܝt[La4@7˝0@`Qr>*L HxR=RcGYݽ<\G,}&~eTIf pf+eH83e`"*{&?GĨ"/٭b oΙi)(#k0b`M8h)RWuqWn=!@_@5퇚eGVߒaK Fc=OG^kH FYS:iA3vޒ{?b`QTjOghZ +s6!ǒ94#Uz,yV$>=쥊oX֒ 픺'I XN'j}c>V\T7ul rh~#.(p]w(r֋t<3Hvb$5lɖC#T.'MH _$ VOG%OيwS5g# =@Z&Jk->F$f9*䥂`5Ѫpi ҆%mWp(4S3͉g,&ѓi;ڑM`0PۊN+x«)Pmm*OUZds)\q9#6;nzOlN1ݦ[ݢ2"vde|(iH.S9W,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$n:I85a6P^b 0Q/V;삅nQd~W&*{ZCsY/FSϳ6Hd! ,oNfig$?=*:qmj`"\$94.ȳ߁YNԆ\97@ =ꗝG7񹤅,aOrpC6 I@QkE FQ]: K]QwY>Ͽ8cA_0`ɉ¬L<goO 1N\ٸwkBk2dHf#1_rd#xHaޫQ;`)b >ݽ؉?@ů  |XǷ;Mĸ"QT/YXn_ng~ p5hk6Az)gY&[][T"f\&,$F ke({laiV 1A>b" 1}ͅ`-dHI2Nf+5 ]= l8!Dͥ["O")`]ÙHVEpo칫r^t 5IV{ʢKNک~d#(ʋ'{/R"ay֘z`"vEU8wfo^0U[>>̌9x:LzT7\KjHiGӑGJ&I/*8yf0GךnV`2;>,mͻPFbVDD)vp2H^ok"l>0uhK\Izג%X3$ؽ+&I*3gjAVԢgz3I2iv/[t/|gZ9YoQ щPhjFC]wYc)Ư*hjt "43C(M'eǸ5wpon  (=Zx[O;DkIF fL e~Ʈ{|9~+TIjz6U5(떌U` AZ?Yԣ߰,L,NQg9lMge0omo2&̛O]B:W$oN.Hئ$NL :X)Ar@S _PXMb*05k+<N8З g3ôƹ9/ĘŬ KYR/1Փ~j 5/E9JGhXf ˇ=cV`Ǔ;ΪNc8SGXajB;_9 q|C_߯~?x4 ?+ "OUK,$Q -+ֳG\U |^`)硱P$aQpJ ԯV(V.z[jr !s%z@`ugdkZyhzcP(֍'B*uzX@-WKqpIa&nTTT2B\uȥhNZ:Mg [z'H}B_ ExÒ$uLlGR5,ˌXAHO1SZ]b#.&BLE viV]Ap38Wc] XtUeX;٩5"!v(Y!˟= @c-H{)ophFN&0ns#ӡLM*M cl0";5uK3A>H;hUסeq+t 8T\RM,C;k4/C$[a4PH(Ǹc?/6ĨT3Nn4@SGb,wS?~iL=/YB\qMu?F7T^༇ *J8A]dKݩ9uzh3bL#9RpOg%[Dq .M̝{}B' O͕f@M PN#Si_K~Ių>kX@W//gJ5?&o7W5)#5д?c) h$jeLꊖ"Ä BhYm W-7YKM+2@X%Di4 IG ԁjZ=&!y9;kۺx$ Fn?"wr0i^{@oi? ŧ7}.* -Yr$9eF 1`/kukpxc/ߨCTO"')-OɁ duy-wO7{^ kG,fk Lҷ #Ƥ`'2Jֿirb) 2vPpG[SBQ+6.*laG+ `D Ŀ C Bt<45@lq%ș)4FP*/Q [ ь]VXκx[zj; ΜT0ֽn˵bp'=PCU-?ɥ7 bE {?s݌~)PmHBSqaX!={^;$Xd'\"Dm^r0:e]o}l)S Ve&@e+#t.Jłk.% G<.V쮘@z_C>^ȳ~/wإii} (8KMnv@į$J{ǙN^,ۇϙQ?6zv^}=0!Ǚ,"s'lSY78胹`L#,   ?]2uY` W"'N榾m+s"P!@gr&=3>쳒as,BBszYR#=٨VZgUS"h4O OI}[.Xx< 5.{ѤPjj^# { A\}bվD6:xFv2=J7>^,7A1^M)*Ta!T Y #_,Ã܃'3 ?ZAB6 qv#v2RR 2LS H$ 4E% ~Y:xct(4>K uMk6E{*}b *nV5iN=60mܫωd R"p*RXitE(%[d6RξV\%#lNurQA@ƾ2S nn&ݘU9]wWq(וs)`. MV]/Bd)>&>5-H F: ^XFt@E^ρƴ}gg6C-)/"e74DmjRss덺ttX~?O}'AO qA[\FGМϪU"x9Ë힭W !pavR4~"/خT1-Eʻq20I7`[" //&?i~!Irf^<^=#X%tiVK}񩚀M_1  Kt 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+<&B4TZWJ[$R+_>+wwQ VDV ]dɚZ䭯]9M͸[jmR\yk$qSI(O=Ŗ8CE ҤjGL"TL`$"PA}|xybX|Ɓ)/Ň}jY#IRRP4ch`yHiu@"qq,P Axb a 1jJ A['Wt\ +5uD$!m̩eMXႁ]k oJ~̹(xI;]*ǚ"j b; T5K% &HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 S; `g;-̠Pt  +660$THP(I(ShL${3 GtQ$ 8!MT qѼ& %B ﶚpYD'-SPÉ 8$d ,pQ. e/ثLBKy-aTXbo 2[jY (!Hլ5/ԿV^usĝŨ̻frA*SPFk`9  11F"6J(D|ֽ b?ؐVrEjIOF7 mU܋WϔKM0O,aJfy9P[g2UH'Ҏ@谔$PTJeN">*H;rs*#nM1R.ذJnoz=O3j%rNlѺ c>l?]8RBCSo+Ed !+jYIOM1]2T_fR92-7A õl9dDJ`,NV 5K# *HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/j}&o6N`ߖuh,x)3fL/ X YE1J d?癬'Y*g<; ,&j"<@"$փDX Ȫp$$8 oYaZ{iLXD4 iohƳC:YObPlbiQ&To)r<tFг(Y FB BۋaCSг(0ʡziHaR4|h!Ag":&"AOȄ -h` = < bA0LDD8 DaFӀ$D( %YDHA&qX0h f1,CŢ`X,q8a1XӰ%"A 8,0LDJ,05K' \HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1d) Ucƶ1}U+ #IDdEDJ͛ AESp^PC9 <10ưqm"^iǥ Z.T8yIkq9)koMlt]408#w]y@Ihb7A"5פ5PhLFC<%+Pù.z|%mP<ӜNsڔHHV]ָ6-rsiOaj APp80@aqB i giD% Ğ'ZE@m^bhHI 9)iP`aàE5j蘉YSgkSfvvsחP¤'ZRN^ș@ 4Re808 (pxhhhP/z?<0V; g˩qYrZa+W1B0LC0LUGx>g*LV>1rRC$inĞDLdoRR-E  2%Rs(s2)IKrH8IY]lF1%KsDN4@ 屮yaF=-OnVTe-oU+&f*&fbbRsivvVŵ44NRŅSdrV aNfB04PΠX".`8#y`,H,ŗw0>yɯM۵\]8 3\ƑTx*|D鿧]Օy1+꙽E͓"HQJS3f;uVd]L MRj[&?VD+niz-U'Ŏ QW{;@o--a7Sus+U {)NOxu+"+:)տ?*[U&#&7˱7e}'@&'UKUqN/)xK:yf2#CN$$ qůK[[jCRrv, !U644()%a$pLzL .(0 &a0 "0"!AG2&X}m9, Ko㘖R1t  .ƖĮ!$]'ﵔA8!WągTl/Cɐ*$o8vܑr2wL+#% 1#U /Ⱦ"[)zd0'Y|^Nh,iXvoS59Z߶_{.!%+WDǢ28C%y}W- _6?J4kAQt#x2*@n̗)gq"J NcC@hdNɯlgDV3Y}擩E N޲0gğ2ucV`S9U0T3 }u1t_#ѻ!wRK6}OPf"Ńt Api*scz N_DD`:],,%DЀ EqD (Ay8$2Byni@g9܌!G ڊle(LXDz@H9qA$^W4t0D@Y ,i7),QT\aœV5ИFF<$tFE ❚Ydlg4NjQn%qT8g;H!YϓPI#D`#%Ur,Kc!B'j&'߭Y&_rJRV*U*BeN)SvueVVI%VZn}^ڴ횪eOOojV&R޵3xyii|&s:LR_\S}&bޝٿv&KvJ}Wu3n}WjwU3wkɫT^53fOjAJs $3YO OY\EDDD3S33K3333T*U7qW*wywk'A/RxgOI___믿믿OOtNt:NttSթvJ;NLVh4mF>4ڶhQtF3A2ˢ<|  &0 " .D ,"0VSfĶ=@v7fe3_|)KMX<}i;~Eh$laNa3(W"&JeQWg l cmKQ \ůѬlI6pz>pvc喇K&pSg/rG|H5V|~R:/X7f8/}e-$/4PϏn,Pߥ$ьP1CFӿx=߇Ic(oa21f4M3w5l3}3}ҝ!v?`}*;PA}C\sSzDi®m% ࠊoy):9s<_ gQ*\{m.7%[;:TyE{v;n'#+#tcv8 /5?7->ޘbUojDm!;؟H"jfcmU[LZuM b"u Ym/!B>gD( ΣM5'T[9>Cc=:x?h(NУ 2h#Kke")M|MQD{4ݤd@ϻJ?$73gI_u53xq0b_N7wzs^ȫU DQOܣFx>wK }NiW"sn+u+ \ Bp[pj0gmUV|T {g'{]2>*q v!l| v=k hz+'uQN5/r K^4(Ƽ44V<ᩑiOvNMiZZsl Hy:̜d{\8fl]HʄTr ntd܌*@z]3`1 55m ,O; sj p |~_@ ->C^J H@t8UB@:w{b(41)i<z!i'fj4kkfT?C0?sXw7I=xӞ],@`m[8vmUX{n[;V8'#Lk>ğ'HPN~^CGkt,f{N/Z"ڳd+H\ȣZ6.~ꜟhl)o~62? _~Y,؃]X?+>!'YNO53'}Й湏\ڶO%}>ĴET|.؇TYׇ!iy8]WҪh7A*xS X[ϝIo/}“>l6}>|ɹ]NC({_)xx@4'y)d9˝n0#O6Ї +dX;d~ĒԠ3K>8@3WKԪGٛZi(Fu}tZzZ>ZC+ZЃc]_'p`i(Xsh(!5=w.[խpĵt &r!o퀖uľSܠ; ugb;X~X䭔ӓePv MB3+#feiW ߮~?Mnd ,KyyqjI/7 mMC6<)v$yY'>x1(fu>YJ؄+l,vFfS rsnA•0PIzGBN?~I1#sJZ/Auv ƑwS?Ѹ2O*,f:$D` qƜPcеmqm&ۓ0?R*p#޿='0oq]6K:ۏs+m־xl8hSW}bS`54 hr%55RDq񿉏-Ĥ3PŖ\T(^΃f\јJ0}{ v8N;aa#+Y8Q-.$}B&VuƮAk /F ôNU1/?`pjvjGҰ_o T$[7v3XfӰBeFJpB^oMd3ҝq,/7hH'bl,n?r||ҘinV~ -F6[B(˷Qv{J:8Z`by׋mr\^nr/gj%3!Y{7aDfi+nHoiZ)*=ǮXBJ9Q.l=gZ i;#N ~y_$#XH?0 y(ڋ8 'P7TG01D>f%e2A )}N ,}/CXc*ET^i\ZiÙXDe)em i|#L]Dkk+Saܥ?vk kJ *Zq/ UDABz8y%9P<߻k`/KtըbU76}8JsI_i/(UrtL"JI7d^#a '?T 0@g_@^^[4SF Zu2e9--+DQfIÍ-8N^]#թ|FX"88R5sc5V7L/ -hٸcxI,)OkjrC<\+l\:b4/x"y')h'צ.rL|ĊL7; -3E屫Z<c Wθ5+6 G`u,s޸f4Q.͵3Scvxk%B/ŠȸЩyz0N 2j/C _by:,uZ y6YWz=CQlFo2A,-bVDۦ& ca;3oXcdg-#e G!FW$(2QsoigZwLWJY _lm_ˎ/x9f?kh R)3ӋU*oSʤ|Sg]|Pb$&oZBew 7#e^* 6!cf}ؽfQs' GQl|UDn.D\lkD "X5ᬥU7vm?3`l;Xⷜe{K1&e)NsWԃ!SR U `+\H.dq4ߡ8 k1zq^#+TP<^LNAA^W@NlVљB:!]gXQ5I0,_T`| <,YU?qλacqDǰ@xq Hf_oC v7=LQID cUIrWf}0ӓROq;maÄloG"c,~Yu78g@+}F5ZQGځى\ P9[U)2—}J7NlY,Pd.+8D޴ex,Bev:?wWN6u [ÑzvICNHtfd"f^QGC&NK*54O34 `Rݏ`VCg2LauKU1}x>k}/E;xZQ(-yq8䱜lW*qWNS`Q^n8|.{ 9&MF2 QL襐1fS͟l*%)9 Rl2YF<<>;m0F`XWc - ̿8Ghƻc#}"9 yh୆Dm >P-A&?E܉Id֭c0 Q) %;\dێ(^$ԎɃeY; #w r*c (Iqu;"r䃅f\Td0·`K- {o"#&XSt_b%_Z;908`/,} M!jb_Ona5Ujl_<+l?HLq``[I WY)ZL~ $Acv^I Q9NNk gm;]7!kk,!{B 7G8ô2'ȝhfzlCLsͿS&d9F 3zL=͛q݆ܗ2(c /]8ބk& <# 2̉=ST/nRR@gG"Y%m] Sp\D+UlVG` x;S(![ k1:qa?mob,hFo/q<̄ pnOzI=(]q  eۡ `Ӡѕ-#ؒAoi: ^YG eS)L6j{)i:Jvv,nu{h蝅ؐuZ~^VcB"+ _b2?ƛhE4MZyy?ԨjyAԘ?{-.g.2ªqbuӟڅ=i,%JC e9J1[ ϨfK8X5h?A7/z%IFJD+)綢:VHvv\N |-sD[RQ] Vb`ҋ/mgKHu)p 6ci.ϗp%J+M?4S !@o cMH SJ)Iye{M9rm[mۖ$I9$7nm۶m#"hDmfm333U["~%7ْH؃CbfxŅhb2S&&61MLLL\-jUUU]ujZ63Zm۶m߶ 2EPHPiA )DPĄRƪג݈^" GU햌#яx4p4`8d Gc$26`8ccfCX-䦛%$I#H:ҭeuR"R"Ғ* QgUnITrMUUqjU~m۶Y)Ukr;QgVʫϞݖ6D&p "pPP$E L`A  4 h`[`o)u<=cޔQ T\STY1}0b"8p8Ubo}qcDu‹0ORݰv<p ̽`ksKO ,b F =*ҜǶ~fizO.TA,`S͑ xJsްp/Gىj MqjSR+] h/WMQ:x^m"tGws#@ GnOZ"uآpGT|@IFL?ɹ4Kӥ&#˹WOF2[*Ŗ>=.nT7rǝ`m8Çw#)ti5[d)x%[<XY^ݵv -^S$0_@^@X&ts'o9uJؼ^ c7:5yÛ蒿[Ju.I[·Ȟ[6Am+~blQtLRjhCbЎ*`,sL\')'ph$x{0&_}3#®Nu&O7; KXƾ&Y;1@%Z.yPNCÓINB+6K:5j~wZПx @b01H^NSI>E$աk~W5b/MY&?V f[( h)b[|nSrO&m\ xMKUcW@> q?뉓\ ԓB) k1(\wҍ o I8V|D\wddlp/py#V\s 1&^DbV˟t4GɊ-'7P*2e3%ft틱Q%ŸYb&q`磥]}$zl3N U;`ao,u.؈K]O`"ږAOT6H@OAk`Aa8r' g >-4! w†y)Tjs 0]4r܌UY[g"Dѵʙ}s*͑E _ԙ.9?PZF 4<$"=IQg2lRM']FÝ tJ-],~Y!f 'sc t(ECR{$^+n$љ+|Ƈ ͭ;onSa.ݭfwZvk$6زk]@y;.yoЛ觠 1Ui<ʊlmL&g [#lŲ<9bDfT OL=T;De5ڸ c{ímzfq6dSµ|ޜ6A&٣r ?Y|qlFOK/~?{f^ ʪ ފ 9T湽%v gks=BpnOEx{+d qk_}bJx6/~qG[NmM>Wz\w%\yQp(!W3({Q4#@Y#|=:vٚYmR*?o-AXgߤDOL`{JeJ9޹A=cS.|v]gt68f]JO*.c 1j(Ϧ'YaSOhwv14 v+lj2ˌA# ,|yYNՇZ;|SkHX&d U <^ՕP%{y*S[/AY-t;Y/Zs=I€]BZv10l_ƃP%׀`@d [Ong`˷:Kh\:) bL`Eo3X,q !@"|{(i@!wU)QFx־c1:M|ܲ)МAzg<* dϧ@#GźW%SN +KP%7hHwԯnwX94wIh8vo^$PSMv9ԓ^C\# 1!%vX(3#Ζ8n?Hv.[u,vKYRӹ֜$";Xb>"w.݊GN2BVK/)k&hpDF1ʥG$)K;"D18g2k&1*]H^Ʒ<'uv]D>c~i2D(.b橵% akLl0<c:͎aZEÙA[+©FW50ޖԞzR[t:Wxss ne_jZ~>nGeHeSt3{v㔥FaͦF,rl3c=_^q1V)z$ co~ۏ' tTCK۞?[?I"I,.vOoSFkL,Үifs;XABl!p f5vMm0b{lW[;l#籋;؍򡸓}ۣ];v߈0m8j /Cx@$`>*؍dj?(Lf${; ֩aZE+2^%E9NR}KVS#b>GJmAO'L85c2fؿHqS+!Mƍ.]MUT gNv =L43cY@!3fWgm`792m4T|Lsrga NZUǧgc4>GA\n( ?![i%Mn>/)E7U=rپqWÇRowrq4Oq}fUv3N\pݗaqBYz XF:7߮##V}QNx`xѾ5mk,ee%25}Ǐ~,-z~ >bTB?#DF =25&X?0Bz_pܝ3R0 3??voKyeٮ `!gORؒ3X*>P^ @:hU"t5k=ωAˬ 讞iY d1zlg-ե@hzl(DN=B0.' /f-ߡ@\O69=fa$? <]M (.o:=K8&~ޭ9ٴ%KÀQZCJzstKGRu3^~4^LRx xysXƝk`hq‹3ٷ% ]>`c^g^.["drA؜!{Ȑ(i zYF#rI-z6zIma2}%.J`{w5@|G/-uBs?{-{ڱً>o jӵ-Ѝ=i9n_>!ig[C>f36a_Q1ZO p  kQƈWW#L2ɴ/3nEN=,2BU3H( +>2=),APŠ7 !` vDZ _S"$9G\o"3mEH "XHP$Lh 0'gZA$- jL)1-OLOdϴ"&khaBCÆ@h0dhϼBUGdx+"I$I$I$I$I$>yk||m6""""m?NtμH[~UgޖWoDv7m۶QUUVDDDDDDDDDD~"{-EHo_"{mE$IW [w 7i+Br'ݙVU5En3o)Rl^UU}{׾}}}xW۶m۶m+""""""$I$I9Odϐ{VDL+B~ H0@p`?"dN,g܊NtOEd du^@nxU?H+"ްI$7ʟΞ_b@aB~2,4z]cCejOh4V'YK~=\EXɓ:Sm <3T--+F'A9p%ǦZT N:F7$r}*lә5Qsm& uui5CTjg5^w1j*lѦyi;^$6H(Cl6WUҘa\[t!̩ (!m,&#ŰXap6yUE1XG/zHUF#B`:wRwc&iŪᄅ15bļU;;FE11)n5g)t5'E0]E i-|VȯG\))z Q\fLw*%؄tkP*%D5z*ߚD-%苠#TGJSJN&rL_*D=km=>Q zWv8TufeM|@J}&0$jCA3 (iޏsY'0%251ZS}`!\U ROMLP`%%riKrf[ )1?}r + 7%#%@iwkgeaǠN4~[{ +<"R&OI&1.KoXy!&B_ *\^,G~7,!V$,GW5ݢS#J 4Ěk!,mM&r`&%С .SuLax\6Otf6۰poJQ!n`YZ/mvM;b,q7]`waPw,!7)7>{xS[[JR!5ƈofr6Z [ -d GPk=!eՄS0ڨ,3X߀g 8z fΎ&#HՐg0b)ښ` .͚ͩ*Y,p5q5+Ri5v9zs*؈4W$ t8}V*|vv P X [(T :QYszQ8j}T>ݎ$*Sk8z\? u}dYt6Tc{p}׃~8*TڕQL$P4GVfyvSfKԨ~!_(Yl1)S|pRE*eZJ]Ip+OYa݄1u|R}kȨf-jB6GhD%|˪ ]dhUWfx`z>Ww Am8ߠUp> j?TDVz=4=:O$+ ,{t(ҟnBOO).f6$ ,P57 X/AוBܤ0^ Ye\kʃ ۖ UBp#%솅-}R6zlE~z-ʼ/#tȶfT 9[[!|qm#qb6%zG6-[mGϧИ=Bl@elnhpm? #zu}.f-.j3evkA΢. #%՛PF An&YBrZ-v!yqEoW9 {npw#y{|qW9{GUVzP-P^Tri]}uwL?įxMtXzd)c{p]:*Z/2 Υw`T>x6GzMZ Y`E =iV[J%wJZiEl )S$2u~m?_y/<#'w.)Sd)rS$pS%IS, QfI (Kb+婼ը.CU.M+,V'zFGdvL9ʆ  2bkKK<(VI%Tx :N+<=ͻr2S-uJ1)POJ9:]|gw{PJ|?'x'eT~@TSɞ |kai̋2 M  %.-!L[Q8z=J9eE Q .yoFnr*ƿr0Xɚl\LuUvm^E&n6aI^\XQvPٿ V(>u͹n2;5 k-@*g+P/&ɩ눕ف"k88u7 ,odL≷դ% 㿡!+,'K<3 9$Js/,1"l V^bam3ˁ0Dd}(V$ ؠwd0;3L+"]ddx4 fڪ..ZʢOVl^깸Z3l_'c޲^Hݽ`]k]N!+lwxCRHJK(Cm&Aa;bvĴMV{-hϋ^K Q7XY#~:FeǤ K,./^B[<4V둝 Bb%%ѥ߈a۫Yx-J`hOx "Gi}`'BO)~Hh\xEqYpUj,C0P*ODeX0jByR@$MSnl|5Vjx̑Oe'`Yݽჴ|Yˣ ͽA]rQhSDXtJ `|] PᩃZ¼,3Lq5W*>uNl9D+ 3N|O'-2͇/hj"\=VANĶ橢%Cv J`ldS ΁bqh '514HŲs  ן/ٷ*ѸC(AxfN %_\*B`tJ3&W2N(6CRTr-ٮOmp"0ᑥ=qJyxa{-+qYSƀFF@CeZ~ A6nu.% T9bq,f(^>}o qMR""E>.Ff wڬpYs.$IXwxOOF:9tfuǍ0D3,(`5\ұnY?M5gMȪfOjy>{R晕m*x{b(pC($\z QZs2 YL-=Tb/Onw|t\(QhfTD~0״6j:)_Q8/IɳA {opwO k?)ث!7`ynhcoWcRu̅傛jBRS"maH iޗF!1 v43KL q_A5ӈ8{JiShغ49T5wVMkhP4(νC{ z]ִlMcNrX j5a@$[}\{gIPjGGmUشZoQh80Z-뫨huNQs5>K)KYjZzRcwiph"$TDHRK?01nIn':)ۣ"Ea1D4v}iUKx~ծz{lWe/ĨT 3048ͳTc 8txdP`TT@( $($A@LB`($AYC*)&L9t:{}=e^2"] W} (-SOQO@>+4vcFUg8 r6zrFwtLZ bt*h@j%G^szcj/8}Vv'ʌp^qbj>1XZmzw`v!f^c8,*y;5 !In$Boϝ )0sZ:KMO_CE{?zm44as]Lt`VABMA 4fqڣD  P[xLBsT.-BmȋW-qIX T1x/Pm) D37m?8u26ll&)&%EWxdYww!GirxOݷSܙ%# SMmjcr70f*o4T5"C,!Kw:F:bDVhjuܚhJr q/+#Ǩ2^B_I0(5*( AREa$( B:4Ư3)c!<wϟKgg43q/ SNLIT5\ݕQ*IS6,| ? T"0eu)+X_{8[xj'ΈJ]p,z KLw}"~'Pa(WS"& KZM$n歝yxv:L*?RaejT|5ƮeU ؆RKӕM*( Pvja3k[ϊ-%늰LE`g+'hBC;؜fuUI VmwgKV@SBwExuLL>_3,OviEwt@be_=T L@pLӊ"ZIuƺ|wTߧ؞>w(uөiEK6| MAHֿd.zsrdJ 6W|1 Hnm=&gx ' pG4?pXpv}yuvP{ 8>?j.NAZi/R]š1]rC:'T!S[K1K)zXqgI4:eo7e9ds1/F<0ҪJt/~ẀGtJ`79J8/ w. ZԎṄKaj'X'E0<3a3:bd_@SU r{rw7;Z[B`o{dQG&2nO2n$HbV&We?ಂEfF/@&}1d{#Dxa VA̵iu8q% #`drn}xho<('tA \W NKgD@+{E+9A/laZ8]~^sa} N5x4Ks(6>=DXKjTāu[\ 7`;<e1yX T%@%Q #aguѢ7d<]p8tHT;GBrEYTK9hR .K/6y%j<ܷ{Q&kHr,m(8 @I|9AՂ 4G=`}ԻA욜ې}dݴgn&h1̻rFʭN6(a!h$=I'!B`qWg똡*)ղHY>͖ +jpnp~~Br@zRcl)Q )K@~=ij\Ġk+YP-}y0 #[륕iL#hP˜Rb}SKY ^ `\1|{)(T@#jPtl~j.ex̚IE.@EV\YMUMWT6v BcRT: qz09@v9z7)]G0(\d"fS bCX>KJ|#a1SȦF g2FgQ?Uoamdz' %}ir`UHNvWp87W=f.haFu1DPVw}i͞d+j睂1a չ*W3*5HH7kZ(pHaJ:g)]gdzeZTOxͻ箲JеՕʠ A~\( d]uPoan>o- Ed&Fx 2S)vjB~^mazM4|~ٵqm^H?⺿FsmbN񅓍mg8sK18Q0[}JTݎ|gxbNUv_/*[$:@G3G8'B<位PcK(%~SӍLi'eH׋$۲0-A{$Ψ,YalXkxF۽Z^Kk `N9x5pN uD#+cpN?Zde[՚uq>?5drq;>-]8в$Y||I~sIIfޔd8QѶM1I}Ƴ YHM'Ls (,uR&*JO]8b9!4ynHp*z۴{{?[[nTj6߬ވ:OO[ї3B8[~嵋s6 d{sNxgS)A⺡s~&lNwmPɃ *k&(b"%Q&mǁ@eS?6vZdo.ߊLfYKKb`^Z/%\b'6=ŲYO~Amp({G 2AWtۧ # bD?83Gp4cÁ|*Z=A'o?4kb8e8=/M<)+H,?e'"ܛ p_K)LDY׳zю!< 8L!߫~L^U)':<=)cqMNt5C48.ǻ# $MaIƳowtX:% sw$3wU<eBD~Be=R~Fkk߽PG Rv@A?H\@uD; Iڶ6!Y` :j:5uFaF\g* TPT̔?־7"^CLxy 6z0ʭ{,,4ekZ2ӔbKS-.R2 vͻ qHWK mGMU4rqq6GHxQ3 o5T>jxN≇茉] I-IA6T.KEa[Yah%C!+ڬKoQ]~VQ+|!*xA_7gbִDf}%&p#d/"pAV/ȝ 5܂vfed.V|\>[NR8 |p|G1Hd=Xf(Fai5$|Du: FeWv~-W䭩ɚdERm){N( _hkp":/i]9ve+ \Kŋ=*Y>3oqoy.\)mSR{c50cwU Nwܰ` \a D<\*n;AjZ5Nj9 !n! dq;+`jΒd 27@Z63ְ SsZ*豘|Xy^Tlt4jNlG9So=ĬjS3f$ZU6AyhXp}lӗŧyto,OI$ %̆l 8 ek !Nce}7^]*Fq >[kS쇾L_PK(״ZooK+ Rn.xb:<` ]"Nb*Ћn! 53d|ɊJ}h; fPIbd]y@qQM9^z_OGqLoxVY/ A d 1|P }۪M(3'5l2rXkK^.;*M=b4zoZqS#Hp]]^f M׆GeQ'=WNAK=ɾi-*rG;su[dae[M8-T8U3>h=u`ع.G ro6w&eԠ5;`,z1_蟻1Du׹U}![1);?kGR -,ikR.F#Hl jFdMkɱHcF':%={%VjsAC ~ۙ\1{ܛᤉvDUS#0qa҆฿dKñM@Xs1(tsm23E_MbU59wosm2?VͺsRsٹkjDE&Dc&5FRq3v~;Me'K0,ܓE.(8mQFVE|0 Sn 0t/m˺$g{)z@`WlCp)£)WYRRq *GԸ@oḦoʶg /hd@f>E"Se{z]˻”JW2:UKŐ{ز. +!4xQb2zf7 YY.FW1+,;Jc ^H.+ZlIeE,J|5@TtrhuI;$ &#欼QB8zUZNi=:JO9Xjx`qdt)QqBUA?uOi츓#UCs3c D >n@-ch#e7"&,S*.¤ (P)-fDFv D`O,1-%")9@QrZ3F.ʓej}I[b!Yt9~ ln U˼dg5"9NQ`0i'@1oU&~7B6#I5CѨjx2ڎzʜ[xH` 6K7Z9RRoyTzRbYMLY&E> mM|]MSII% 2a'CV4*V`Z$ɷ$l&o(| TJI$ \ec'KV5[uhMØn/eGpx>ePkbe .W.X1MD1k|lUG0pgGtBFjD.l?döB;wڢ TɃrT ıl Tg%pH6}Wu`U"0P:\.dr-=Xёnoh厎4$DCo7fKFHw"L``*AAi{ɇ'"g?Pþ$h:yyt+[fРj3G 55*5nk5X˅B~{oAe ˑ2(að'cG(Bs-oF5s)% <$yɡ\rq5SͿbZD޼\/w 48kD}3 L+tP퇘:^M'=|Up沽'G4b>gw>^[>ī7/YM`nduʋp"e a.qtG MO*\ )HQ:$̞DIJ=CeD& lFi :4_JNW֊N5\zT7>GBa ǿ[NzF|\s=%ϷʯdקWnХ&jB G H5r145"﯋WkţěXYtmeqIl ,f֐clK=aP77y Že;6==azV8#/#c'ݾ'k( HVz},|ИZ8:׻˹oQXGvI0ps9V0!ɰZafbKtYY&[%fύ48$)ǍVa-[͚R^wssG(2!"' PX"U[0k#jAdA5HvB5Dqz̮g;r2p[|{g~_4ǘDRp0K@$pEI@RKSl3)F8 B 5c9JErp ڒڅ %)l7o( ~L+6_9 x'w1n3>$Kd V|ɤ(PVd}R:5t%pLQdXE .au|Az᭰,V+cE3iДIU)Rw@9H<+F$<]!Fʠڒ.M^ y 3%'-7Bw9gWt5lčWKFWg2Oc}-ߜj~P(ZT=iĈ5YӍ}6ТbS7#X;{cμ؁{nЬM̟\5Ɓ&G/R% ~)w\4A vJƖ|nkXQS'a̓I3u"72|[bC> ȢE΅+P̑XxC^SRFҐ|_8B0$=w +}.\b~ExOȟ b6VLL)ǔޞ¸uQ41e$F&9FD3 '>a A}ktj r'{"D V)~htڒ6UOH/$h)ƶ,7I 1\bə¬'rKv(dlӟ$!br\UՈ,w>hY]۲Tj|m`"R֩C]wQj$"51$k= |FH69Ve qsrL4Ur_Vvs~SɌ<0WbR6V560F{׉\4ZP ڀ 5%.jo<)ԐkšƉ>TE/ ݔɹbHx ʌ$nʿ2Ju:E%"ۍJ!J L}nX@3q /7zkR=9⫚1*z& ss-qsMZ$]h`CeL>EvQnVNqg˦;ӟ.EJq>g4Omjíj]).\č9Ym C00*w|XDz='N,:ֽ/&B<>AyP'F'$x tZĸA#T W HnB/(n/T_`lq=yZ5A4$0r@l~L z`6/d€&^UFspxY]9\[a'\7 ҠmilEY\ C]Ynl LN1L 8N܅ݙ{Uߣ0& UaӓL$ \ [-ehe" MĉHl := "MaiVGl,l)Bt_W$| ki)Y*{ bbi/r03. A)4:b&$ yw1m}73@_4̰^q7^g uL}[;Pf@ىk5ݸ;O}ezl/sv ۜG!,-U5EY%#^rPL^<Q{/ :#`8@)WVګ%;}G,l4 ;  |Q]Ntzx2XF :7S??3R~>_m(@_/|v'ߥ$@8ѷY"K(vclyoVc L,0:o :7}LZ5 +}N3Ű~T"ApU"U ZR`Dو(/OA(WXu<7a"% ƞ}\"Eѫ**GhrE-ϯd 3]@ YP 9ՊYpbu֬cU]ώt뒐CM ®{@Q C#h'CpOIv')1ihEN/^$&r(vzR2#bA<쓣T'z(DBaD ,E`~xY+^K@#Wy,3#87[fwtNr%fBiH,%_qB $+-WmĚoHȝӜ<_o*icoOLGdhp}# -pƸIþ8wnB= Яdb]{R:@t ¤r\=n]i @sm b;g!)C)N#&=875jHhla˵ mk>Sio;3gd p4mC67v$0L1]|Ḽc}od9%+ݓqQmN%[odW;f?!s'C5E}V.>`\eS2"(c䪦'B+V̱2dV_g ڪ6 X\h[_E>?Vh8RAa 0F]x˄G`ck !Uӭ^"r͜vGKιJ%R7k&CXkcokU-8He`+ B㛍*!PbF8 D@&`jU?#hoO kU;زlGdUHH%HuQG/a;> d)W "ctX.\f\c M1#`zDgX;MY^mV^.îvؼMfXXx9*T=Sa0[) 2rc18]]m<:tT[ o4Eƌo0* խ3M +$7n\p.*ez$ȥ("ZgzYdPNh$`:܂(vl8a%yVdq7 bY]M'B:G ]O \$`؊iW)ǏƤC>,9 P8ʂ<`NZnxȎ*b\k+09{jӏgJH7fMلРxj$K#`QC#[YfLECBP}YFF tkLx@|*(Xυ-W5DŽY"`09Z*+嘜ѸS4UgH,0X0lڎ ]ı;q+Vq%kJ$O,BhYUH#u4 I 9l2u ҿD V~߄醧߁bx2$#o%7,M HDq1%H)3N' H<(Krp@ wBp%/:Z*\IL~-=@e}T.Bx_4ćz8={h܅;zYmOT8fl#J\]p,Œ Q /_ mUğs 40~c w!!s:nCJzyE^ṙXxFs mAY0E9 ds3BI[xl|`}j 9(d:T@T1y,bMb(ۧ YV1>YN0MKF|uԽ=~E"fo Lqǰ(xYvkK0͞Y/̼A1T9x(*a)"mtIC-IIFl@y왌m[U* 71,>l!x7T0t_vV>j;֭%/`*8,i3 EƁAxVL"߷eޕ,K0d2vkF_6;Od_Mbe&G]&7j✡5E|;5y<`]i~M{<Lj4 5VĘ£2" `tOb(laqހZLʗd1CҘֶ0mGKj(ٴ>HeBdΊ|Aa X~f.gkW22i@3 þF]c#>3J8V\zҗbݪrS+wأQ6TrO.VI46tu/5(yki'ˣL(\}7LGC.(Kj5g2gLRt0>O X (^ҫ(,p`Y0ѧ 1=qEӧi2j;.CK6#apԚ5Q@f@cME!1Y$xø#/J60NG Cko`+C^t{]B[%ל)H#/UO{G?x^XT> F *6nEjJqD in!ANZ#ŒV1D'P'?ci= b(3!}T:QJ;,iJJƃV]9QEvكD ˸(]?g\,1$'snGx\X]neޑ!أiZQ!m^jrbی*I*4V(G[N-PUŦdӓ!2۰=4ɵޡCoHS3vfKe:m|d=& !\Tfނ<7yx8}ٺ釟/}M-j X/vHՂ4|ztIiUػ}f?s7/#@bOLD;0 +6{;џg쿎Q/b:Fܘ鹋ލ׈}~Q$-!aSD37ovWG??7w%ںٚx޷WEU"yN0%kmlmvَڱ!;ٙ$}jxg۹ډhoQ`T(7=ޔS27x22 Ʉ\phx9ey %9K߽j?!Qz&C SmXo :o @pAi7L[|kǖ]x"ڭ:PX{sCPqrڎ|{ʋ0%zvg}LKbϙz8 ϗ;s:9oYS6W0)H`bN2/.-o1˽@ D¾<GÁ01 0 !cB$#oB_,/BB~WL>PK$ YV;BUOI\z;RFyRWa%<Es7 3o8 8ź47$1qw+tzpwf7 TMw?#Uixz=DvP/L+ EM4kfZmX-q? SVg\A{x Nz8[]Jty*K4(`&/mkX&&?.+Hdb?0*.J Lt`3Y02Hr0 J9ST@V_)--i4Dͱƥtάa034I'#o )KyXD)9uG2 LAڣBs tWTɥΠ3Ca: Cž neαQA 7@@Ϳ4B`Uk FP }l9Af<9h)7OeAq*Tq=rC}[gÝ驌$wr iP'E.|E@;`eo4D*Y%izLuKc1 #)c5kVqzH ӚXQR+.$!}Q$tγʭi+y6S@*fT@]jcDŠ*i~m8hC$>?Ha`T\}8-C<S8'C}X{;y=lx>+hKIl]2|R\\.`(<ɢ@PB`8Mo,|:빴:N{\e;w }7lT~GnV NS9,(M墭&J>S՚NUy/4d88gjS'"E n9§|>2i~RQͤ[D`ϥ=v?A0z~>;Y|(#t.8sn]%dNs"\-+pzgI%&1"CE)bz-{#[KvB*v'c z[>#5=3Њw[[D@=Eվ}6ض6l*ʳ$da(CF5F(::Hp57žP\%^].tDX57ʍ/?/WdJ"62K-i'2u+J\6IWM%+c*f%TJxi+*rcdF#[ ШOM#;\28nLH0 |nr&ɻ-^`4-.1,$`Byu14Pl8o-CO]WE3J{=;|[ SHMSggs?7^E~UC$vgY278ݺH?%M (8|Q/>VJ}%hqUfp7T8X)du/u+wvxڸRtuVoM;PK1.Ǐx R1>ҠrdG7r?$k %Vapɽ/6Ro6 3auLx,lU-PMuy",\'bKDŽGH%O"^5g%fq Uon>v M?oD`jmǪ=ݕ%Ds=e>*Ŷa>cX?;'G9v~֜y"` IA_ x׊^|npݨsC1{YEr,s%vA0tAI'Zao D<\%"Q}m " >C>,]? J5ބ %M+s;~@yK!yH|tr~TiVDdqT 36eL5/o(XWZSK5u BA;j ʁqr7ed'IљcBcqsgex*֛pr:7Smx_}X^x4 xلaUMDϺBw[yFLx@_dǓ?]F{3 HͲt\\/Kajk3UAmpTkVg5Bch7Y9ӊv$vf";Ԁ^Ey(ck.'WHfD@1K$zmK[Eً'&HZ"xD{z3T/q;VLHOxK]V1!#C?│ J:پbc&akbNE"Or<żTC|P&>\wOye]dStJܣ/{}@fxGFN2z&vY!0,x^t]y)?6/l"4`Sfh[/Ҁ* ( ( ( 5O% 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7U R-Pg$>s6gfkFeW ~@1alA[+#+%Z~622 c]$$5hz~޽ 窪ȌA.;1*! i(bDĶ꥞{{-;:oﮯuZv&gb[#6M8j*X|}9S1'0|t  Qؒ?"KؙRsg^ߵeCl̘DD](' Lc )  A`hb00(x~ G`}ek:Q1! h 5O' HHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHu"0m@-UvFXKV45uRfDD89 GAʹF}u$/jDxbJW++.b1rT#Bwi˰0R$F: R-cI'f>)!Ť1& ƅ6q$GT|J.!m"[Ӊ"P䋊|x}I6}qq_UXh}^t1>Ga6NoWSx3_e֞yQg#^dJ 3ZDX7t/抵{l\v];W! ]hrq'@ĭv͈EX['[>VTjkZ3`^շ0WƉ[!ܮZcYu$o -T3b@܃8o:Yc5GaBbA:q}dh%V `F %NfW0SܯuB֨{B=VƼ"_lOԡ4j_߂^H/&uEBPGk5+sDjѳs0/\L^bREiH2j1 e@` ( a 1B!@c1FF|.44L!̗q /դT;:>K 6OyS.t2f Od{48ZSݳh-cj65K<@MiQedRc(Ҁpi8POFwv[Iiɰjk_=^g#ip ʡ;G-@5wm>Ku:l&vo3lNLke| A 9ckmL7Gxڜq:safUyj1ݳL. GaLDD-QOY p]:d,1s1g5s"D}orrp4U䍇DJVP͔ccL éD9k~@p/CXLjUtkPH'f["Cx)鴕2Xԋ7AQt6킅""hP.u@:VO-q2I딇]G?r3iP>{"fk#djHi1)2:+N]mTwexm2ӒR$x/c2ҾoK '.Y@ܚ @ҧbglVLh^@L N淭`H5@ľZycb2,YZ~~Q~llX^I5 Cnl2 rmJHYzaTB8[͸%lLG_4#t]!7$zuI%ᣕ@m(;%Y@, 'MkdWI~R@ @ŤH2ė ¿6MuΑO,x)ܻ10u&,J*6hކΌ߽дC:#/_jնE5na)m~c0UeQc2u;xGewh[4$!efNΏk& ^}cPǔ&d%ʡ+ѩ5+{H#KrCKFQĴ '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