SQLite format 3@ .v   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_exportsz \~~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b \ 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+<&B˙7 3-bd`'"HA40!@$y0dQ$ipX%@<̫#9 gǭ+)"2""C"E<$cA|Hhq$>HALj8zwEuPXeohX`_nl4ׁP XGRqX'n¨NYRVwx=9PVPVvyxyxȉHYǞc2q.0,0, ,``λX,zwԃkр8Uc ߼7/`t6 H= !(CY31'9Q.)3 D8>cmŻ&ڿg"RJgz mU:QwqL&6{믬~h(RYXKeW+{MDCFCq[S3u@@zcw8Rxhkj.Kջ{r(V;8'yc±ȉȎ+51竭 q7 5}:9vZNyy{kLjM-YǑGMOD"-A$y  e5y{h1?"1=={jU#IRRP4Ch`yHi!i,P  @ 1< A@A97 {ēR BP5)`eh9zVzAIUV5Q>rbƝX ˧f@NbyL-?aS3}>{kVy Tf<*p_ඎ{|'46E׎⩬l]'LRթ9Pݓ V5K% *HOL-Nomi{$k#Y K; ߂ ւ҂|{xugtZrWnVhSgIdH`D_2[1X0W.T*SPNKHEDC<;:86321/*z)y'x$w!r[ZYTFE D ? :" }|{wt s r qkidc\[ZYVSRQMJIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% ! ?821-, % $ 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/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!    X5|`t [- UHOL-Nominal-Examples:threads=6elapsed=345.046cpu=1668.096gc=93.021(/y{")MB? Ή 7޵v*NdN)Ss7osw;iIUvw:giVSEt3wyylOڹRme^(Ub>鰵AiENk]7 3Gzd.PY)U!XXP(T5NQFNb1/-NPlsNq D l%Axp98XH,P2eE=a`Jvlڒ#_3XH ObF C P+,bEYT \ @] *前^IFsc;6H)dڱphH$0DD g @$H8 ϯpXh8 Q APP h@P0,@HHPpXHD@  $XH`P@XP@,XЀ@ApP@`@Qx6@(\V_:)xQX)㔔92[:d:,!6:WDfʵ8drhDz) ."xw<9ڙ8vrEr#׫"yԪot(:,%%gf+nϵ2:ojũ**VyH*CȤ72S۷',w$9<07ON9O('JlCA^[?_|4ʴJJzG"[kcRfy$Y 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.thy5a$38l{CHlu䣵qH>#k3ǵ{-FvL9}hB})o f rP8b,;&mwR9&Hь]:x}]]A8.:KFPĊC&g"h Z~1&ۯTSE䘗k?Jsȣn^MJFŢRknD͏Mz^e)#:̀*G+ Ǵ^.z+NdWff|nN}bteņ;<ae UܾE\+fOvk,x=C5៨K *'hzwt9e! Q1y$ЎjAea#0>L -MÞ8̕L*1Sȁӹ׵N r{G :'Xs,8N]낕F?e6s`#tn^u4ٲ@zC(;bWFI_zRҫзPZ蹘X]oJ0o$L&e]pք ux.rV S͏N!@6a9hP=m`REMxj:XBdԃL.ʌӗ/ o $".9^*(gMƤ:*208LeQܟd)cC Mz R/`TSJ:PXl?iw%<-W f@\ZM@sJB^NzXQaxE#=u Ė}[4R jn4-Žl_f ;:yy ZűȄh/.pj ]8ZNФJ+ kJZ#`&%ϻ҈aۥnģJ+Lĉ$f=[o'ѻE҉ҍ07[\\ Lؽ ΆR)Ày2REN.*fl6a/';#>l, G6 |vr@G\k2?N%RWЅP!4>jW">^yތ[*xjx 'A ٮMF@+t:0(rV29N@5B7XyHj .,|ȥX6+A߆|)#Tot<8nkw^~v~ Y3  NʛlAÛn]U"9_cuDRCl{u)͈u(\þ*3D86NaP,eomyS#[^"#$ޗW%' E\5ycla]Pp \UuMϟ$;6R^\$*ʖjc=O$iZ+ %0H+ 쎫"c.48әкk:NZ=?ݔ9c^j<$B}+>Wrх Ч@==CNl2!|>Wr]v6RS)x%`@xzO%v(T;̗")\<H ,DeYz !7я\|#+]z6JR%ɆFTGW K:p6h;4(՛wcwߠ|A3K^yTy:qt)đ;;L^TQ8qSŵ,I6AY9 ]gey;QF0 {Ƴ?Rv·$*9v]#xu  z}Bz'Y<6؂վ@k@-` xmp sqĂI&:?/R8FJSՁ6*0b:p6ɧF/c_abɟfWUtܰL N "+nxո%wnDwo]6ImCsV.8j+pi~.!C>pgi3IǏ/tfBC*9v!*|SI1h+<''< v%Ž^ewgiv6, W9Gx8} -UW CΧnH.D)1Wʐp0*s VM*B J&z OΪ @ɆIi wm 4[PT{Q^%F#ϫR'RC=|끔1Kh&!"y$b떊C`$GPьy)41c|x+_G{+>}b&~ ߣdՌ <,O*xK2l0!:祴"%RӅ,A=Ak˰qAN KjBqMPOBioD<k~G:|U7=d] g\Ca'a;`fYf(wmeK_?nz2`"'G[Xg??ڇGjЗAndyq;!?yN"Y"EG%fΊ?}L:!3NW%H⨟J2k:|FmP\P4 9FTʽ6ZD bd}Wgc=_غ36' [1( WmZ%BѦ7 p^m%bc9@|)U+4qzɉ@͛$'6d}EVU_9/5ނB@ >Bᠩ10 +QVB@Dq/WqI{ 6^-s:)A@wa͢#\YTpqP&-:pPS *xw\h3Vxg(F]'rCjX +[]"'8۝nNE(8td`oXL<D˥V=6+,7 4=97yPd$5PBJ +Q c0+YOzPN.*|ztp^=wstiqB%iXYNv5@&Pɍ3oX'Ai1>j0Tuɠ`Q+. z&I#iF$ h5qAL+%6n)խ_j#TBɉp䴕\d os9.!gWD1 W 13/Bh3FpK%E?]2ӪO!|Ť 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ΪaxMuvWƟ?na0]AYLǪ-y[o̫V%;Ô|`N:)XX31>1 )㲌x:E>?id~CSBk*(@Ri{u aIО8?|I$ȸF#ǘ!yhѮ\y:{`B1=pN{*;s!d,R,>Px|q ݎ6Cp"k׎gs ZT(LbS{Zs,aww9֞{wL+fֻ՚O.$pq4_q@W)̫FxmJN ɡ0)g FHlϘ-=n;Y;0"?Ÿί=+Vc~?  3N1YzH݂k5\AzS g\)E1 Hgs#TŒv8ȇ֯{]y*e+I=VfvqJg[VPCW4͗G)m(T\6T#R!"UwcX*rRSIAYmy0Vhx!*(; >Z@1'Ye2ցQ⫽e)J\ OVn.)'%X'z"aS#   0ʺT}aD62{m 6A .VrHKF(q6_e={ $".%ɔ+:FW*)B7i+b-iلibbc& ,2,QZkp ZfшT3dCyR٤6it_/@9LMLbg*}TSY߬No--K]$5EַbKE-圸0UWi3%"TFm!Fgh"-5_+]ܟmW5:Nw^qt2~4 p2C]5"s (af?&[V^'l%*2<2-]d"SjK؉_~Wo*#*yj|X/vB4HՖĤJd |Y ?V)J/dj\3.,Y8dh0UmxC|jbY"A\G16W\dr XFlS 95^ic'|g5bjLߜskI1}K5WGGJfpMo{`10T>.mҚmW^Zi/z=buhD10[纵L|va705s_Nb{^lzfi֪XWD%xz#]v*i^2`IVN0aZhlNE)uZUXL1#zX2 "$lɬVϚ˄wXVl_X%P_xK11%cKA,_ !0BE$bz{'rFSzc~qU/tNfg D }lsc  _676S!( jp t#1S=O$b7#1i;.L0$;rLCa `7B<Ö ?K0yv KzAC+ 8Јn愢:yKHBفERl˟fPd6nqbDGanc/Vm-IDDhuee0 hX7nQs> izkͅdIfq7Prcցb XCB*C!N0i] :г(FXՔ' j ~LK.$gf[-_Dzjuz]f/"{y)@2,r(<_TO%/^G?`pXh(-"?9loo+?7mfIRbcmEl$ՍHi!^_-\"ނA_DK"&ۦ*b7n}mVhӇFy="K}ZzدȰ'!2sH\xaͫ>:o4YM{Plʚh;;v#cO%/wE%ajYZp[Ϻ$c%RXt4Nvكtߠ\S^as'" op t+0q[( qi,⿂$ިǦMCS n@V`X9:KxBځG8l[1 ]K"a̹R.x?!H]Ơ?cI4npψԻ feUg;ؔ ɒъ~4\XwՇ DO|,P>^E(hB%|TmЈܭ91+ |1@Qf!s@?_s))u3cR'_2e#*> rc/j·qy [7'`a >l)6Q VhHgkIP/| "bt4L qx¤փCZ)ɂHu0Q7bħ ^7cAy&#?_ jؼ6 s Ids 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+<&B˙7 3-bd`'"HA40!@$y0dQ$ipX%@<̫#9 gǭ+)"2""C"E<$cA|Hhq$>HALj8zwEuPXeohX`_nl4ׁP XGRqX'n¨NYRVwx=9PVPVvyxyxȉHYǞc2q.0,0, ,``λX,zwԃkр8Uc ߼7/`t6 H= !(CY31'9Q.)3 D8>cmŻ&ڿg"RJgz mU:QwqL&6{믬~h(RYXKeW+{MDCFCq[S3u@@zcw8Rxhkj.Kջ{r(V;8'yc±ȉȎ+51竭 q7 5}:9vZNyy{kLjM-YǑGMOD"-A$y  e5y{h1?"1=={jU#IRRP4Ch`yHi!i,P  @ 1< A@A97 {ēR BP5)`eh9zVzAIUV5Q>rbƝX ˧f@NbyL-?aS3}>{kVy Tf<*p_ඎ{|'46E׎⩬l]'LRթ9Pݓ V5K% *HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 -; `g;-̠m+Bi(utdbHS'!а550ʉH@lUNDDDۻI$ h8 0mYE\; \2i?dP~H{0.566 0897i͕b^#m%OjHBm0nׯXgrSO{1c竹ܬ)O)_+rA2"*S5`9 11F"%&F" o"<woOIRmG`Lz͊b0mPVec9p +i\sn0ai3Ɏ]HAi:*s)G1p=M txJU'E wfX]B'RR =Up ,<7 ُ*(~DP6# $ mLIrv4 [^,Hpm,,i#a, IZewgd% Y<ܔX&$ e"ٗX&;]<=NLLIcIĢazLVTEjkISQD"q @&F%ahuw:MQ"_)J&)-0YpCD"&)E~UV)AN#_4O3)|єxlļVLLlVLLuʧ5==/1$"UdT& S_;9%`4xB`xpVn^TwscYrVY g76}#ĔY{'͂4S&I 1zmb1llʪϻ@L'a娜U3n$a(n f*DL 9)&<*iVHc0DaňW=Ҍ4TN)wUCͫp0dB4M&),|?{w9UNc(ETծ EbB_u[57KM봻W0M,jsU0O*)YWml.pa2?ǩ穃hI 4 @<|ܸͦ74䵀p<$P,W&a$PHJ"0&*$ `0(JC!a ap.$͒BeH鹌~6)uG v'(k"J8!Tt v3Ch | % L6Ohq VH"ׇu1K,o' |j6f "ؚ0otsfQ.ێϜןͥ䬳7GFeߪl[]!Sj{7B6S=4}5r*Oѯy 'ur- = I~ @^$s% ME|=Z;6V s*ƒlSV myyeJ%PWjw& @( W,&V@*.S7'8lՏ̢}N˲O"ӕEa ۍXJ`$>gb%fv~O%v`#Ǣ:l1lvl;d:\y CjoʃO5=>N6?vW*D[]ɗT<;dkOy[`?g`\ ^qya{Y]3AF;֗meG}9^E|LIR f`G\| Ɏ bow+ @uܩ0.O9+ہ4Χ6ۆ 2Y;gmTl4'{ahgW|j Zm[HؗLNqI^ N:;^'r-9@=).gp/Tu_i kh~p@=ZEpNqK,NK]8ZixM΍wl fK8}lE;zYFԤ3fGEaN3𺽵cr&Q֮Eg(45tK!9p0\0]RǠ(2427 3wԿ-V9a'^2N/?DFiKJX͵m(JI̋ 7 D&#$!,+xFGc9Y/\'3ؔ/zqQV`/{˛;l#'a[Hп;ZfktsZwg><+Ոɢ5/E]c =0 zb1I+}ZfAap5L+r(diC^ J,d6<2$ U'`Di63"}&NN0b)sXMFIgn!}$'{TN AejcY;#!N҂=D !K\HgJX:2Nlj5.P*m#C<&>ῃ(>I1^xٳ1hfmF&GrX2^|1ɜC]p`z-ַbX1U@qle+>ƈhIۓ1!]!O55N} .k.zUPf|Y9U˒g-QiկmiWWM7M $C|-(75fWºMV+[]p39\nwSr\^̥PBȭ4! _ *+dZB8t Dy\B1"tS6e`{m vxG꧞ o. v ގth) ٨eQf{z}ɹ4$׀H)_a@T@a`& ˽+`1BĆ8Xvq-ݹpO;"V01@2e e<9]Gi{JF6oAxXE$PVEܻwA|(.%,cYR\'0rq-"r_Bp\+9j¸4sŧ5!n رC'Xhe5%S'O᎚˶i8>=HlbM.Epa8MsƋ/Œ gK(n :t=s5q@1C@0E%$jԿM#9etZ[xf`ie (6.h41< S.MONr֡2Q`lr  Dd]#wlۃ 譱` WmؚE厞ވjkklJdIo߈ϢCfzV:8$Ojl̈j^Iv}体75eP9Nԫ]J-KQzbln0A_`1ԇ351b.JЛE`s $>!<=_zV̿V\ @s2߰0Pm@d(V%nODDd""N'O$Wݞ$gUg'*əm"oHnf{oDgobnȆnhHK~Nrf7H"T&ݶmED*Wݞ&VUUUUUUUo۶m۶ts17-2dDc>c>|̞=%.e۶ %9"o-șWf;"3.W P@(8X` H@@(0H  (!Qz`8(b8,X"v;D6 f!! úd莶[4s=j{bnmU]JQ퐃Z802`pF=Y íl3`h\>* VߖfWvDgڍ2Ukn3I4" U[lH,$0\аm۶mF3$r˪nƙ$UURUUUdt̞m϶ڶum۶=F4"""!"HHrq$IUi'*əm"omp4s 1dY aP"vٓsKVxu#۞߾7'7 ]r>+ O&%m!ZmὝ!o`# ,h6q~N@†u(>2~V}ez\^XwqPh? >m@0[0#XZcԩ'ә8L\+a%V)e bR;Z¬+Z9%,̰$t u=7g>Siu'̏ne'Vݸnj7:5G-b\'bxfOc=7ҡWy: w@n}2HaLUFss+dVAdź=aܭbUV2[ݐw?J3# 7l|b6+ BCє8O w(1Xvrp~QGEDᗘ> C^ooF3F}%'p  '̱@t gpB<0@QD#.)g*k{-~qL8ͤ 3ƾ;~kdsrv${/5hIxS҇ܣa&r%#զ\ORq PLzdy$|OK*pfp2ʲxN"=?]E@MIVMs'_9.^ekj`CA13eVo|OP%A[Go^#P`]l~FYpJ3qPO̊P ,+GXpI]x:&#MK3MY?Ist3,,T%!(V# تG&}͎Fv\&=_K_iX ~ϛ9l_:EW+% Sjc¿+[mR ߒ}f>Mt OKo-ivF|;oús": M񛍏m]URSp\+tO"O 22 4VX])맒X3Z GmEݶRM=<Tg jFԎuH~c(]JҏfhM?~LnoN utm!LŹ5oЮߜ&Kvro o.U@k<*Xm)1](ȸ`;d[r~j}h?R/s1JlX-?7;fo ;5'k0V')-g+z՞ <<v"Nm3n@:FxIOѿ݆M І񞊰8Ss= OJ<ȼ\%-iH=/ȧ^S ۲ '[O<=ZEބPd26y ]bzmiH=C AnFuVswG_?'d= 1.xwDNh[)3ӎ [t]6l4n%]WB8fŒ J`qz\{Tt.uQ:L!rWͅһ'i:Jύ)L-^Q ̇兛隡gB9ݒ^Nv;4  4|":˧}idOwCin M,5JsifT~~C(zKB#=?x@hj=.O|J 3u s= #m _Wh8 ;"@EI(m1}POu ijOv N||оSd7zNMm$)݈Zz4t)NAh/-& +S&=DT?\G62v1Š קvۛ񀄉lqV{CAf } h-0Px` `] o&"-&`x``i햜,"5L'DhhP8#E%=Hfhp A$Poș" 2Qג&EE$I$I$IgMD?3&"xD#G<$g)x#xD#PĶm۶nə"?g"x-ɉX3("/߶m֍Z3&"9bm$$Iْ3D,m&9MnəMDLA#mѧ|ߗtMWT퐠:9u@/Xh -+TuܤN3lw$CժěFD*ځ>oQ ~Z7 ]pWyMW$[{DOL&*'emjByBCA`>\3Q\d5sֵ oWLmF3-l%TM@e۳k-qࡱC*I;X؁5#Fy7_"4ǰݤVV@a/4IP0 &A :?k;*rQR~zƹ0*qYha\..zfsޝURWB,xJYsF30B,D+W:4hV  _(-0-LqZ^ k"L6#jZl^Cj36wy~qաj59j%2N_%ѽn{q}vd]5O%Bm4qH" Jӭ6uE ;نZ2}w6KjA$[J.k2qۺCJ`x 4ZX1UjuuȤ'ᐨ zfAsQE(G(t@`5Nu[&4ىfgEw՚xtO]]M]pU]mcibu2oj uԡ"B~%[EuAnG4+:JmTo5ljj2 &#X֗e^Kbhx?ݿN%shܿs` y˩5xt\HDeأp] a l3w튉H0;S=Ԧ'YVb5ή4q,7tug7Ӧ3_m2k23=AEj<2 `}Y?m[vH MJR }Grӷ)( egEITwnUX9H7;־MRZ}3e'UL&Ut9EbMwk-Oeοj͋VUubGifqUUv[+80lZX&tö%2lJ=O;.:qab6V cD,֬ =| '&vgUXk0{^0Qj[Cod֝xG(^-K8TJuZ;VoH/bglaj|Oa ¤';4 W1Us{Ե+un~LԱf:SG7_Կȳ0WR.aۧIƐӡ͛R~p0q}1/K`{7:x$[uU wBis< t7eu`#j+dvDkzѠni-`&+1Z,)6wU016j,U̻*=1D&7ygoM 濖>њ݇oTV?VdzT@TUkV5;*H'Ylس9cnFg{PvMH/]e]iM-?"IkVqi;r*Ŋq?amˏjy݈ ^7Ngeaf=ݐ!\c`W_{Vbr/PjpD5xFê# 0k18h7E \_E+ĕ#g* =O7U͗;ޭVues8-UbW67dlj=ķӷt: JJׂ#܏":O}>iۚz/+\b7i`ŕӬ:mmXgT; ,; mnXa&*j]ê\h} uˎk.OX"gyuɂ:{kȺiYEi Pֿb}HlPmS>oJQ^IKEwuрZ.vI+X?E&^Ȱ}i4ZW/vmc7 =Ǒd#]Uv3Yvdaٽwf8i@]C熈?i.ViīFJ9nz(twikxjjW)m ­]dn] ۥvi嘶 \Nz @Ѯ=vytmo7=cnp;]w3w4=0pSi]jBP6眻h8$;Trz*vu.ِD&M}JSNA&t ? XK] M>n"*YX P1j_ SՅ&GHAh % r1 5ER^ʮUMSt |o-o0Xk2BQהԔ=ѦKMS 7S3% 92ed2ú2^)  Tk u}Z*?(68R&L:S)p{X7O8)F)A),*8I94'%}&ΙJ.)UVR jRY$E_F))2r(*H 2-h!eB ~EU R R(Rc+i9oV0(gQM|/8$l!EEyF 2,ڽG ޱz|ΤjIjI)U{3(5oHsYiA<8zmۂ&0 G؝m Ի2 by n&N\j\ #`qO (,* aBpUdwsaNAIͱ(UX8/fPK NM0a^re+y!:.kO5yk6vɇ-h]=FJ Av Y*IVDt^Uj|uZZMƲ<̧)"ndH߁񞔣d&&,znA`pG SU~W =W&aR5҃IoHeIrܠ6lgBGiU*"6vN=ք̇zYC/J;3kOk\zvh*D\:r5t:p~'zo}iA _&^UϛOK*zKfzta@wwXΈށVc >Fgz~ME/ǎO7l~UHW8P-۷"&gZDE'D įj3Hr <V}wXRnRY*a^.7F7jx`+ڣ>l!Z: 6:oб0WO{X?37Ì v'Slo_ٳ­"1f\7'1ZCmӫLj7Ȣ{ R˧ Ӟ-C J [rZo &;f"Vօ$r%hlL?,'\e 3 Rc7ԘNC.%:<,K< qAv+}4n8yL)]!yo[q `X>\ՈW7gfh(&gkbO5 8JZZvGC~ 2sg_c3e8AWvG{m&0PW/|8a+|b]ws}ByO7O*@39^ˎV$g:Y?'<`uw2)$XvJ*jb5A~20 XZW򵲁0Jvi9o,ft1:4U2 [u2aZR"?[yw~?m ;`lbHvy&> #zQlzK=˛mj5|{.yM df).(A3 t&Bjr|zLk<$lSڱm㉱Ԝ9 12sGD-l0cOrbբ񰽑ؑ'Zu="Nv! rXX魼(Lfv=GiT6C^"$^껷GAC||]l>ɑL.a:6OZkG;ԸQ?+Gr("V+cNu ɕb cc#vN# yݦkDGU|gBFA']ڶ 'e^(cu=7M}t ^7U=zp1o^ ~ndfh{he*qPltU"lԅѮS־o&N1BckRՎEWL& : Qlݹٲ-0mj\M aP,`@f˗Z@iUL7p#Lɇ]CKc%-µ6Il%ϩYM V OMN2[mNbGxKϻNudNQ< LIFUxxxQMsE\Xw@dOh䊷ܠH]^QoDElzq7jRϨbFX4MUqixD$جvO#eq3's6mX kmF~.P}#@{a6`@զ&@ڪVUe^JxjQv9w[uyxwAl|ftHCTlovW?`lgβ=@-  #WuwQǨBi`hߵf6?;fB_ϙ?}ע/?} Yg% eޏh]k檓DH*WxU02#wYU0"$LޚU5Bb1#wwYD& pMVM L=?`@ nh`Zf"4~+Ϧtjo}%aD^f;_2C*Ӊ*F%L Es,BA(IDb*63\g/bwomV5QM"$Y?6*ՠ  Uu8$`"8wцp|~Mrx#<"<<@ACF:DVcxH1"QPvD( :~wnkVfzVD۽kof_,v^,  @ ղ,*tBIDdkی~hD3D5ow\w[|Uߪ6~DwomvthmUv5{Օv5{m00ᒎ>3 çM4*$ ̸ml CC8:UYziRLɬDfz"ZUs^@T"B,2+h*D2G$(GĹ,H,(PXT\⠁ ҕsF1xxvf.*.*( D !0à,C*)f& [ q:鮁@2Hs1) dQSYﵨ}^[4n!?_hd]yΖ-7@3{u#( :z,E.ulkHnYa'4,xB.q6}&F~'_4iT|X]U. s:Gf^HuĝT}7IЇ&aM Vr TCz SՃ6w+PD/1мcp^`Eg̉i{y昶x/S‚L8 &&G "2jd^j_lVb*u-2Blh;z@+3O/^u$eItw e8Rq7by,7V&C zاH;]cg_kezÌa$va5bkUAޒK;vwX;?./+!ED:P՟#T УB~VLx~T̨ >^3<(#&4@|%2yeA7%s{ws"_2[9ѠAO$ c٭myn|9 ƳB/3ͧ|.&1\+os"`w~x.;o]d MA= c~?Ѕ0 X [{ĴTpaƨn& ƶO ]D^[ˋiy'),ǰCSy_Gz{2@;[N9]̛ t ^s*qIs i_6Cs/xs4'rǽ9kzGX&Nq%~ "M)2CnEpQ&l.ϰxq`;SSʯeaPDɺd/gmw -Zc̱ƌpV;rwbpme ˱S<S%$NuS框xi.i1k HjCV<)j]5."Kn=iEcgc\x+v}35YB7'Mc`}WkXtG٠}X{ Vj'/T]Mtr'@\][HQt,R5Bf ЕA_TN纄zr#F-GRIVBӭz~Ĭ3%COVOnfkȶe'WN .-|QU:gJTpspM6+;LHz)g)5.,VV||KA)wMU[j;h -&8sH2gոt}\FX~T5(/̙q_ [G7waԷKKiZQvec"Au*zp!3)AWۿ-q:XXKl5wΰz[ށ֥I=8S9OoVtP7 vɾ)S?n q!ѓ|&Xǰ;$1M `G _׸"*bt~IFig}=H+rS<1L 8?.rQYX$u'"HQX<ޣ4,%y*0_b9*ꕧ}y, Hg;VhPqEuSnll;"jFm]K1Ext@^1ϢWwi2|ڣj"^e4U 2p E~,e]J,ڿ}ͷ:꧶ڳ|{d"=HoM0> fc{K ߇;5X?P1D m@ wڥRc {dFh^Uڗpv Mf M EPz:Ǿ{wA ^`OoIғ2F8oJa{Lc(f7:Gqx3]x?!(ʫ)Z9[)yKwm&t~6)$BLds0M5Q`rQ R>'ޢMb-0ǂJbC{Ś ʆ+̌{ʄc P[ sƼmGz'&#CСݾ&fC`'J-m -.M^+W$3& ?c[YѓbOK^##͓ZGp 6jtT2n:W>\C\%խ?6[43~ $o_HDn)|cm^IeX'ܭ #L_MP\i=F8 Icau\Dgr-T2+"@bXɘ1g cqeh+CuI2%gSȩ5Y!EXZE_lOzu%[\R[ϳU ]NDvjGvG/,vkS[T sInjBCC.)0Upު .}%RM}QDJ[O*\barxzaJ7G TWHPZچ =  ɸm # 9`Φ=$ cIQƳFϴʻa'f>ip1q4Yޫ{/Ƭg=!yrSm+ updF>Jb]VJ5)Y%oJŶgϫdһNqM%m.],hݰ<//Np&~Ų1Pc^ӹ8\ϹӞd1Qj/ڂkQyq?s]YY]';#}۞ @0jhawCc J|xBoEVw" b! &PF(h7\v0W{#q-+q ZL2" X_;۱m.d-Hv1w?hZqJTQ-bh { cDz\LhXOE(!*eXX&$p܉ K"o1imMH7*Q,Ц)WUCk&.m FdY1b 3}f}&=Yp_C͇Jtu"bەmhw:/w; ೢ8cs3a#Hv xʓjeф=E N|fo:#}4?/{[C;#7|rK57ހi?Ӡyv'@μ jo"OaKmA.]ګ#c➁6>QY8'9+5a3nDE _aa6{n&Mr'<4y>rG6 fh)lώ a:م2炤RlYp,^qلgmwZ/p|kA~ XH ERh_eO ͵g QYY8bKr 3m:yS;;D2'qeWnQ k=szBͤ"eNiEw^:R꺇 ?~'=ttSScG~!r@be:V3-ڮg0D%ل)==iLh>8ѼX~=NV&_0#&ffk3IEDVNgunxR/XXZ_w%)!yDPHBP7v:?s.\<0'QS6ji"fZgCWcKIFJr$ c Cw"j)&MEEQiM/+`[^(M 9-a JW 9E7֠:5 wUOqUԁrfau`_.|ꓫ&?;{ƗDHr\̂!t@gh<¶K0$S:޵\՚yTS LkP5烃-PK!~ɳ @VOClz98غ٘UݛP(=mC ?ޯ(40q*1L9 X*K{V /Bmf){1F&hKt YG oQ zUq tL[A]S3T~J1NLiR\UBWA'r&WBJ\)ْfēoIz2|?WIG&헴:+o#D I !Fh (ݕc(BWWkfE]J~yEss}%az*"Yb9* y,s! =U+60F> qsz Y} ^{k%?#x&:זMf'*a,SKK{Aot83qxsMx%ILOL"j dH6V8^FFVE$[J цkݑӐ (Eh΀Bv$(0T@VLznC8e}ݠDKZmQ/}^y )*y[T*`}+qzu #E+hf ShF6GF$l9,0E(TV\onE/0\\ӫ>%hQ[yΡ1pl Rbee $nI:IDuQFD^{eFu0 P)dU/0_͚௪(_ `4$ o,jTo@Z tvo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`E `덜{YexC &q0̊R)+9BnfT¤Gmb/6d_6BN㬉tPsl"2–_Yp=$ o!vid#a~:mK9fR9@HZ@2II"%0L'l 5K# VHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/Jl*k&j#"LO\!Iɕ\SS.sO BQ [ \D,Zf9X;,c5ixX &6+(ypT(cIA,#I8G paèQ,:d6>8Y&a&LP LCd3eYj ´O<<;;eNQbiE=(4EbN}̬HwbApQd`tQ0-%F=pլ.q (\#I=ߔAA,Ma Effffhhhwǻ;;;34Ͷm۶m۶m"UM2wh!RMN{zLt霜ΒC KvwOW=\ܻ=lm-KVWOUCEӳZ)KO^|?e̔x#h"Ĕ3n!:tNi;qn )ULߡmC)yWugif&ߎ~L{fff&"""""nw>;mm;e."h)wj#;oJf"C}( EG;gЗj[VնV۶ZmmOm۶ڶmHmj߾m߶۷۷om}m۾}۷۶}^dG>m۶f)R4KiffifiiiiiiiffgfffffffffffШQ7e7@C#AFYI> (, (D . B0TfWU#˦zm5A|{|1mVʳ!#Hnc{ܹď _|ӵ&f+XKk_ڣe~,dm.mc ~ݒprv뿏l0^RhѴCdDlf3Ms|#wVacUM*~[ޓtst/K|=ϟG,qښ~7KƁ;R. ^rCq ?<'_^:Fi̖0pdYœ=Wd'Ɏde땷ɺ`g4ܕPOc`^c-mv]_Ÿ)`JFxG9#Iv&K&sX 0h v Nmmdal-wM3j1 b;}ݶ?s 6=v^I> Zl9YrI ~dCN>Fh;^u.zf9p0џ<p>;qMuNd|׹s4}`sf-Hi>Kd< NedĎ&Ƈ[?ѽ?dwW$~ߛiXKZB6 ʠĢ]0rpSzLBCsbt5-9wM`P q@oAdAq1bY.keihaŔhʉϡPaa4r FjFIq e !at8N #<.)}ҸņTʸ%IC8Zy:.}yk84BҀ=72zٜ)| hX$\@3-sy=ʹIѥIZ3v+Wn\  S^@͙S{ P9Pke.$~ʴ "~QttnCqd/W1|XlJLKsg/ ecN\d[81r‰kL@8q- Cϝ]@RGAP~bC&"u9rymU. )ugL '`G?(쎆g; sѺ x^t4 thxrC~DU3Ӑzj&1 R^>J@@y)h*A  3<b@@u%)PP?@o @9PK Fw)TP&'8SvsJmP4y T?)'x @GKC)o~?!, |fw}/ktNE{ ,J-,+v+ m\k|%p/luнy&ŭ|M3d_P\ٓkkA>du<8G#ؠ>?YF|H!S ɇ)c7x Ј䯀.(څ"%x [ʧ4L88@dȽp,pc+^q`eiw |Q~+:FKSiP[s"~Ƥ'%h -u"s.EcܖŨ-_)E1{^U=AF&O S%7]oq&#R *M* c?`?J@#u"IkN5R7)oFO7uBMq 'y Ld-iG⻿^RԬOkۢiy#jnT ֻZk6aryiB:_G HTR }~ ם 6<~v5z-=X@?_]g !knПA;yHlf`VGnj\q0-\ =:k GNcK"r̵ϵw-4&'<# $W=tu#a(n.""Xge:n4! Lq}T%Re:ici`yQT0V̵؁u [+$kjSR$4:d2^"Om! ڲ4a$b-ߍшBvv"pHӉT ́iǟ:Y gtC1nypG<}gϖ` (y4P ;׬ >(G3,cOh5c@ecqq ws1KSJbRt|eH؝Ė#>?grQ$FB]օ.J"7-{ !&LQ2BKKD$ifa!gK3ye˚6{/.||9ط1Ovdu Ü|\UkjHe"ssn.kdP؉ƸP#ec~j$،hܞ,-298A 2}Z-&c5؁1mb˻.@"{6 Qn N$>D'1(ArBOJTTEr6`WdqM匏A,09!d;ljPߑHF`k 'c1C7ڐӋ\)sLo厙4s"Y uCzfv& uǡwn%,ע9tHk)ļ.Ό{KS9K,_^ Q?QͲl_1o_ͣck9Zׅ}#\}`n m K,f ayz_6UssP%7E=oTAnvLw )Wv01vŖ.@1H(zJ)IGZ (܌fZv= 1cg"K[1S}_ZQ+J}G5o /ЪJǡK~| #L"EESy"}S%ꉰ2Y4ښʩ^jv(^[PrA?fWgw 3mҘ&wvOdw)'[~0@+>̰7~/%w"iF5 z턶( 0G ur:Y} 8 w`n9RX Sg@kDLc;"P&a53Od$^RXhl+!A;Clu\yXm^hjlոo &N' x|ѧŗA0ۈ-5J4 tZ1Om7 7;$32Mb7Fw,RAݴ8w9 JaVt34Gcp]ME4_(:uAJg%>wjNv4OEMGrDzg yt5=d\PJPMt4$D512&u%['c E{lUW_SRu)Hm[+CfuNM!ݏ2$3/Z52# ǎ雱bŚL8v qJQnu\YdJ]FgD4eG !F,)cUm4,u^ I*[[\R 3Fe:tf=vJ4 6M[ r" Tk~hsbb0ON>in-JbܗhՓ ~Žr!)7t9@J02|2.\th㳨d<<7Ri 4lw  ҉)idGd+N˒cldBFsAŏ_^~vtWk!5g|B?U1>',3'"/[Ŭ!-̸ϸ޴6"5acGjhHcrMELhQD ep+,!.gzKm_d첲EY5E:0ٶl%@`NUNЂO "`f4N ˶ IBappC}9 2̡eGeWw7m%s$gJ4*'I$g򓶅rלWbp?bZ_s# Cs7pCUYtG&2_w'2)KwKxߕ;as?򹖸81oOn [ے YHJf(ځHx2Ų x+auCo)ƞX 0`% ܺxCf#"Z-=q¦݂:7}XC_rh4>̟D1ՊV)WH5̈X M8Қ8 պipvߚ cZݝms)\k',)1PG!͋JYG阅;oqّQɶTrm-ʌ /#lW(Q kް;Ga)AFحo9;=S=O(mm$ ZۣQӍjLiOc~!t-_&+Ĩƥ-[px dTqr8ށYv++`1n#6Y ̴'dCsTэ )f5Vk jR޵6#j`tOij~mS1q$Uo*o-_µ,nNd t|;2`B ,H+6L&Blq*"uЅfctܩ" 8":NddM (:T`f2CWйsڈE V K'f O)(Ɉ) #J$w*E2Ѽ2 ]5)y-ĤDed|F{K=%]hot!LJV/dv͞ J zzMT`ijBg?˕MJ|.ֲarRgQckZ]mN';Or{ylYg[:=>Zym1t5Wonm2oNLjr|ǀ2 q ^cQo}Y+D)L1 9H<Ñ~6c# 15I%H;?CBCkQa76 ^y Vo BJ;F)\l/3+`Y`5!rkq`֠J_/zEaޏmʮQğgpP/lu f.å C@p_oSH#f+h-=M  qC0\oQq"… ÚL+7av, \%@AYSDd_NY7=bX 'dǕ ,H#%\L4ҡ%[ԉQ2ԋ\FW.Xh {)8Rn f_6EVgJN#XY hhe HEu f+j#!NR9T!Hq/z'I74#= 5 ap3@lH`MCN2XN9"k0{d,<BOH`pT-K ^١Ec/=xֲ ſ,}/]!v\sTo0Ca\t|pt$X<PtkN6LgY?Vٜ_n*LS j'By{L)80 K-YŅSn!njVnX ^ۇsVq& wT8 t łp!iN-H P`ogt%}/K\RD%b`:Yu?Gh<䴽 5)=dؾ`D{D<:|.:`> ]I Q9eA:o2Fu4''>|ZMN1|ߢ=$F:Zg`VqgJ@SPJrp$}"BlNohaWVM4N+X-]&ъ|ή$;sݵB;v$KiБef䕋@P2b h)X'-p!Fb8㸝KLvEUe$J7?gJ,3Z>yi5N+v߅*3+ 6D)JI;&3"ƮCJ|m "JC3W;]lOek…qN$r+sImENVA/lJՔ΅Kf%; ӧ4:&L[M!8b:[ihRŢCI Rk;`=wa7aT+6< fv+5GPj "*e,vǍII7eԏDq@sX ~&Rsޛ"]_/X{1MFd~Hn ɪq ?7h9 `77ba * Sh43a*41KU64KySA fbnDc]ym&˗]!MD1\WӃt7cC8:A ``"90[q ynĜuSy@ r=V^r'uDb,$41B-FU0gWCOI.\ i w9EQ}?jeZ>Qr-Ib+Q~qAEe 4ȁU[S>aL.om(.~U 8HT=OD^/[}K9In[7o Lb(%ydIaN=֪G5q hc#G0bЬv@rJ cO*'ɑ3-tjma&ͩw^'.yf}; .GKzeF#נнg;d 2-M 5:_iPG? nlƁ] l> ;%ENU ;bgl M8K1PqD3. h\:~Di@"gh!0(|eZy\qނM@E A#(!5S2\L$D 3x1Ck \F'VVa]2O#\ }"F:͍ö}Fcp9L9ebrv;, ^v|2a|m͗tTJE?_$%`w֨@x钓͂2xyo|iZ|xoxn8= p(NgC@gT,~~2gT,꩞Q3.v#:fn_#]F))zgar{_oֵkfg>uΥ G=MOtugB9YN0)jw~v|lNX1Fɨ0uWNO%"7=Mix7dgxScMh̿b2%5^N5=es 0Zw̥#% Qgwna&0ri5Ô@,`~G"~ 3s>Vd}N|_0abaǣ^m^_yWeDKZ{jQԚ̳Z_ϔY:1:9556W1sA&Q!&4ҒS@ %"@ODÁ(E1 c !oBn̈́oR2rwаDbSp|p~dk8pF'(X#XBJpeAaXy-BOwAӣ,qE f<'RaryuɉAɧĖOr$c~R ħ["2z 4qϻјhFx`ԩ6ÃaRqBuF1-F5*i!;:KatE4K14E{{k%ajcIa@C48?e^rxGXw,.)Sxߝ3Q)p1@(3<˩/)?6PHitJ4zۚ$ë*K- (ʟLÜ30qpߔ|vMyאqJd=.mLt&Sql LQJIWn0CC;G&Ҡ0+ٜ=+865%B`!v'lJAHYL;9RE]'ap҃L֞<"HXizQ&frر y)m&5d0,+4IT$'(=ъsdq 株˦dwIG35xf(SJCsdtJža. RY!s9Dp]nKWtvS ?aC3BoLW. jC!uGР~S8OWz4-ڋ'95j/?g1 OrݑY$*VƺP]ut9KN !4d,=XAgt[: :GO1$S@P(S~_jˤa@Of9VcRyXnj:'Im5M:0d02Uz7o/NJؐ K.$OD~g n5ky\_m yaĬ\Zp( Avt'cT͛ڢ`+2FeT Z)h5x)nlKחߨʻBl0߄5 9_|**``Dm4>?bI''|4M tFXCڿ7ِL҄k!$YlQX Z\2` -]rCnD%XZI:^u燊= ơguE{Mᒒ:qqF8|! L.lҵz*Q>j P; J1 uAjLIMp@ +Wbȟ\GK}纗*9Y_9fb oj乀Ha]xZˈ 'SExP;);BP>_13,А$s$Oyi^V#hy^k o[WB<(,yO)U_-^ʠRիW^rzϸ %r): LB& f]RE$#Ʌ+y;spi !AffBͩjb95](Caɔy9v1~h^6e s <1$j?zCOam*-IK?wr!# 4Χ` L${ÞORaenHR<]X.#tS: `QF<9 mq0Ha$ƀQ %@ybfbh *2ȣT { M: ZгM9C< GqDtw54V'NWJqс$D 1[ 3^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal I 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/(Z~(D耪(l DX(Y+d7-&Z!e81E(y4>B9oz4x|k`$TeEG!=*u$<@w1=.kO4% &$azA- XFBo+J0V`,Co3E {D &{Cq51}/+Z< m4Ǵ[7))_5g+$ORà$, -U@Qx y00HTYab0)&&RØopL-$fEpt܇F1ђP8dHШq P0@ `$67c{cb2>i*+^shݥٷ{oyk+c*bs^Ff%'jR V(g0$T &bjFCqEQ."k304ILd9R "1)< L3*Pⅴ"b QT?6G&*1on*q|#ΙUz<;- @Kεّ鈸fy< >a3KIR1׉ )YV,s(Mqe_[4 JS=LbBCj_}kF HEM8s=2:ssi?k")h 7s徯acGIdZt{Z"Ӣ+(Q96 q&2o/ozc`0č\?L X$LŴx$c' Fcqk !B; @!DX Ą QAѠ?kͫ1g:-Y&Y#1>z#>߱bVՉh;AWڜx"*g7f"޴$NM?ՕNS xݾr\Ӥ =;A~;p#DT>6gGonnkD^v哘x0!˶ @[+#+;  -Q덍UG]Ir0]{%I]U h=p@WBB5"3 @M,PqVEÿK=nEC[f}]wWu{w:U79qVoq_D UTW㋯)az> %#iT&RJƒff|zmйssn뾽Cde@CG, POc '  BPBB0, QFxʣ`9|7,!{! z 5O' lHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j5IVu# o]?#[fqLLLLd:0s0)$&B88h/5]hM_G Y9c棍nv,Let5Lt I..2TҢS]4.FGqqܖ5rG}4q(ML{NjiTT6,+-> I|h"B&m)$NO#(uPiY (o2'T |"0Μix\ҸhC?'x 5:ZqZerjҍD¾N^iRfLU0m>Yib3zT]ɺ'UsVY}N-]Mdt#J3%eZ_j~6- ob,1gGVZJmv{#fˏ,X x&߂ZғUF5 QZJH<}F雿_/(4 ^5뮴6F!KE!E79m+o:m nޞ!&ݎ2|Sj.JYgH%i9R!f8L RMIH2j1 e@` 0 A !B!@!.(5hxHЁhtbŒ%mcԃ$R@t,*KM=amc-;f;#mӫ>&QX92(Cz]fb))w~1[Q:&ֹhY{hxh7bA, yhY72JL]Mŷ&eK\jYYKA@pF4v#Ud`mD]a|Gvy]rLqmNQWdSVm}P}Gc4JS|UIulK#3tv-B27/DffxƅLdazB?h'X\'ixP77^Α/csҩ qr: 漘pegN:g õxoWٝȈQ}JoVGoIDӑ(9JCX5iM ssp엘!(1PJ}Y9yW"o M[yw%Y )aAd-m梚% as pyV "N~#MVnm.!,aBW'ehŲrE*n)0r`Dh8U+b +"JLKL=Yv`>QyZE2Z^ md*'qJPȟٮ)BXa:3C@uG2KFňo?/wkP=pv@9*kLϮcP0$AQ^lÀufAn Jai53% NbP(clSxĺF:': dDCj:HMD'.ntUXǎNJdHtp˙)oXݚG` )m8m,fo[tinԒ=BW-Q˴g$ǎC%{V>|k%z$kˢ$i[bnįXJ|('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