SQLite format 3@ .f  5  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info X5~~t" !- UHOL-Nominal-Examples:threads=6elapsed=334.045cpu=1601.687gc=103.252(/ 4x*q"( MB:oϲ1nMVv2%8&RuV[8ȑ2"&rWw~QetAt]9LzƦB!S4mQ*RL6kPn\^OɈeE0M,30084fcWɄ|+)  7Lِ)fTZ@~~C? iqT`HOZpH<$ u7w,`d (8 , ;D\!%R $`j 9JIK 7?3FCb@(xQ2YFyND6),(@$@`͑.'>,p!BfIi8ĿMV5\@~N[)e*; ?PP`@am/bqp( PZ" cD#ƒe!@P`MY < WDx"C* 6> P$ЀC$5^/#BAA@ bX<,(f}< $L'2X <`t(R 1r|x@$̱2H汞hh`X (X i0Ƥ$  #8pbC`xh@$$4`1@0@!Р$  H` C L@DX$4`@`@aP X@N${4U[z~ؗنY:itLd&ѼYW ,+;ec}MSZwƛǒ IEҠokbpnblM[lFYnx~+%+o׷t"3Gm35 Jm2/rZxE?uC,I~Ibe> 9ͿfYqk:?W;bV*Lj+L421+l֪֠͠JT&]%mVSժYLu6թN4LyƤJcCBcݫf_rUjZ4\*X*"C%1u-3lw[>;JP+ӳ){bSÚڙ̱t{gi;wK#;Nrގo{'u&?tSrSr|þH8e/O)\Y#>{)pY^{e묪pJsU+vf\U*o5VZg֣UwdձX7;6mS,5bR|d:E_=7g4sT'Mx Ql Rђ|7mfadduED{j\jFnphlȧ=d)-tMh,/;#ψ/CS|LGndxww΍cw|vnE-/]WDtIڨ٪]vXŎZqQmi]7?]I\iG좹eAA'lx=YLM;*u6.3I$v%j(fK$C*XClʠ>l>خ}7!E\SΑl){ûzha]CveCZC [+e}hkJStTF[Ȱ>֊g> $9s=-Y* `h0 `4PD,L4h< ,x7fpe6Wgӧ@ot<%O|Hog>=KMɅ9tSU=N‹\Ԯ-Biv_+"Gd `nzvSi{!pb~Twzgk8/YЙ9pt7WsG2PǛ տkصڟG+ťiS~s̮n;h>]7tx}LЂvƙ1,zWuaQ&HC$Go~̖KOx%ЈuNgvływJ:+4:$"gEOG=O[a\agqR`.0n;KWX7U6ꡤp=bƬk\s8֬ uчU[;@Xx . b*e)Osɓ<FLYNkUNWvDHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyx h~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h 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+<&BiʤcX4e)~n@)Ɠz>ixپTKFcq;u0` @^7f5ͽ36r*SR~w\= NvŃ?gdX<_mը99Ufԅ*jPoV߻pvm$5_:$ikKqFȡ jƅ(RC"Z01b<L4"in^:4y??|jM#IRRP4ChpyFq!qy,P @ 1H10slQ 8u>> wcU l ]Wz[費5s8r7q6n5i2_.\,W+*'% ! ?821-, % ! gTo!Xs T z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5uA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagestF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   bj?|x֪n1)&8Fֺ&7G2JѽOff{׹ٷ*ԶFSZ TjF+tAd%%xVv&5*m )o-q'vnCOvCQ+%j(;1:+w*?MDZq4Ot_aȉ1/Tr= +& ND͊,J\U#P-24Y%EPm=$ژBS}/zr ^j{w V!vXDZĖ[U%*5B?Y,T/2I$weհ0[) :C( Zؑbӗ .V]NM)?(R7(Rt ߙއqɨſ^"SrОj)Z%Jf؝´#Tf6J7nBiÌ$FnPjW vMH.@/ADΨ2 &YΛK4zRf14n ѽ)ꊹ;OsJV#:Now:{䝬JGYɦkft9=Fzy^THGth0rneyKf2-I2 lnoĸ1_6@%r2Acu4;Yp9ZmaB㲯o.rr$[aC56*ȯCNU)eJBpta P bd [D(u,}JmR3k5i?XƑMhDkpd%'Y+>t^QKm^@vP@cF \c_ 0D]x`&_TcLsXB3!ǬR|\/onV@ٯ[~ \H-<Я*C}+GlpyG 9N$t Yu"PL`JĶLv͒tH#8y>.#/12_Y}}`|V]! m9EEzy`nDiqFe/sSDn,} VQX:4o2vtۊt $ˊ)!k, B'D#_L@#A1t]VALmOZ u+4Fm3)Jhae w 6~V ɟ/BQV~OV1(N+XT816R$( TʀuGE4۩]=H\Mtqt埞6BH+|5Nj_BPr ;5 .̠mYiz ^FhrGU AZƽʼnq '.A q4ej R$ZT+b@mM6#@()+GWݓL 񌊟N9$LȰcp⣒}k f05PbQ5‘Djv/xAI#TeUƃa ! KА)o7!mP?&i5*`Yf'Ï*"Cv"D8TW@Ri~zS۱L8Z:ja,V曆E+j"kTT_(x7OrG m,satC1,f*g8}< 8G?%ʗ{ꥃ{h &6OKk$g8#J2X =Qk0) ] cMWMLaq_OX|j Qs*0 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 rOb&Xnp<~XS6R됧v[h60 ,SevpM}:UJCY\CP2gKOLOIdS/T qc4[)$ٴCZӿkH~aW+dYx Yn a6KƫOL\z3'^f)w 6 _@YCOq(uZrrytSQ'LgRQi=W@X"T(v s2ށ%q3CJ!fB˶c!ѼVfȧ 鼆Y] T(uuY3x{sk^`gYܗW&[#!ÌjOJ@@g!7 ZUJBKJ:6q0%> u\2/O|a0OH$rHy!R֤ = vr;rrOi-uזCX䗴wj҆2H !%mWYyHB$zб~ 46Í5'15 KB&iDgWAvS0M jAinS A`WA0*늩lWQ " ag \g m9Pn';sB+(ƭ&6FX"N?y| .hdḲbAPcO=0: Nƀ̐Viapo²f/%K9aйn^He-$8Q'IfEX+PS(u$m_2t4*ZPRV>0L7M8"FMdAf0`ݱ)l+]AyX`QLE&|ds [om[[}?#MMQ% UicMCŽB魰ؽ*^@L;oTo#enF bkJ\RbjcdNhBTmXq9t4/ĭ x ܣ.570vJfA>EzeS 1 3e؂Sa%uP#tJ #coR &RWafU=zrO,t7(kYo$-EVy"g4iĬ8Аlx*zJ2%?a#ef_nP1t/|=FRU4e* = 3/VWFFcRS `s4t5DڬC(`R<8rVѩMpвJ:0tu.^@׆]J:t^c]mO2]Ey7_[E!0# 0#^6KeFPq:tDy]7D{m=jaK>(\RY:? BZϹԚ+\I;QObuZ#f>$^H]5 ~@QYS7Qmp1WC馘S\TO8 sKM.ؒ Ýp@}& ؍+>F{!4&>?5q{~$ujf24:9rQ3eo@SYS+фgg'QSqW5&l+@pp"`Eӂ„XH-xSk89"a[|_3#>Z%&3 \cw[Ou%C-冦4d>Hhw^,=]@vQ-)ΰ ָm6 )؂˒?6c+{{a,8fD/Ө%<,}eC E|OZ^1goK:\*V[z,wuYotD-9ϗ [Z"Oy#H>~F "W&WFeX ĶjbNuRcE۠bُv=twu+BER{SW߭¦t۰Eb"{CX)9QҮ;Hץ[8}õ {%aƋ v$7-PTp&p@L@|!;گJ$@.Sa >+!8Qaw[ގvV/cgV ^8 _+-_;&&IYWD$ơ15 t3 p:Me~ چ׬up s s Lds 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+<&BiʤcX4e)~n@)Ɠz>ixپTKFcq;u0` @^7f5ͽ36r*SR~w\= NvŃ?gdX<_mը99Ufԅ*jPoV߻pvm$5_:$ikKqFȡ jƅ(RC"Z01b<L4"in^:4y??|jM#IRRP4ChpyFq!qy,P @ 1H10slQ 8u>> wcU l ]Wz[費5:wؙ\wg@,I` 1YMU <5RByGM/QғG3)SphC*cx*![Tr/od"-B'xcjܳ!9@g7d!p*(!{9sfr{cr#lzݬ~~gJr1RFTPFk`9  11F"%$DyH}x/0mS~p6}ͭG{P ʊu&ۀ~zUq_z΂G$5[ SC@*KOOrh~!CN%r}JtOFh Q;#}d\aZ;'Oka;4~/GkMn* |O WJDPعv_ζ߹veyI.LP~%ʃܪN 6'kLX$5c{Yw *EIm7&kg9 ;; dME5ܦܧN S}x?nTDɡEY*`)$#Ll|_9#l/q0%7kx=&V{㦭ͪ`3(\ rc$O!U:SN06)#0}MoE\KXzkv=|/q.{rK"γ*[qRܹOU̳~̪h"o] e7ZєA8.;Ad OxZ$6̀oJ(hF߂/%y,"&(H X.]&*2o[oovL{/#sl\3JԡRuToJV_Sc 2> p&{Z)^_S#2h[d j-+ȴdܣ)&vulM:8OvI92[=;4#MC ӾPa>Љ Ю%o䍥g>mǬEUTmQjnGR+\R}A `!9rQ_er] la(,VHjڿFkTMHvrL?p)y!BWW~bC~"Ex{P2?&oˋ(%!%)WygWN1fTF R}r!A#GYW %~R.|\B,5T_J7ڎWՋw@Ӵhch̖0]Y2T&_JWL}f?.@]{N6{*8 OVk3zBz(Xq+tҲIP2m=1d[HȻI gߊq`a|H]$վ`% aFȨH)[`"ט?Q0@̎)D#)4X⑌wql]%nL6#Ḍ˃ X*}Fz۶k&2$pf@8bmPb]oU1a|+kN $l$;U`@lrzALe۟r0 shD@ 7Aӏy w H&PRpaZcB}|Ze/)ɱ4Y `YRq9C)3``Y3adqpI b,eQTMd *X Կɺ!N CLVj% 8h JgOr̻p+t 5 cPS0. Vxc߶OMޝ-J"U=ܝw'ߘe)6SaزCӅ9OSm40.:' 21QLkm4-?!X6缐%ܦ@єU,9ZdWNu7_(ҰFhE@Am)s`ƞ6ӡ+ȹ%*)HҸ#Qxca@ڟ+}\Pyx^@SB#I_;E(|\qe[޵hj^|*B>| G' T{bߺNi".6W^Yxsũ;9Ue!}'39qqKoQ؟q䩧 pj$+=Ura#0 4JEbLZ |$&[c,hn JɚG}^&оB09w?~7*&4PK@y##{a%@o6fڝ`R{f,`A,Dn(3EH _ )ߎDdBw8gs"D8!#r*Q!=QcBrԝ}%SJ䡒o[=̐E+whZP_/'iˬUBORyV &&}{n/ 6fK^{Mx"Ɵ/=es] P\R Po2 q5"y8A+S:2ɔLmff<DDDDDDC""۶m۶mn۶m۶$I$I$gf< mm۶?g,$o̶r'햤BhD FP?ygffmut""vJm$iU:f߿DDDDTDtDf4mQ8^A2bdFFf0 (@x؄FiYnI|rmLhLTD[rfkLX;vb fhkeGٖRۮmWRhU)E.IodDR#SIpUUUUUVUU'?Q(*$ݞ̶?m$7ͬOt-lxp0a %A   54 ```E TDSE dUD[rfDxhpЈЈ@A„ M&۪kP} UD6[rfc>\-$.<KĂ`xX3ކUn9sUI4'=mĪDݒ6fD›TDiD,"$,LaffffmfmَcF8FdDJDJDJ:mlrZժf'""4hm۶m̟nIIEVv{2}30A8Eq\}"(D0P<$<8 0H`,( ,L GA-[@63ד.pA2xI+== 50ot wȻlkfq.ΖgeWUo :{JEZ Z"w7 !UHlC_xpAKjD7ތn86;)P+q4}C!-x0&G:'fX"ӈfo١U>s{v<ѲvüQo.k )ˮt-y8q#zܾ#ee#OλGP^9$?I8|j;$l+`~by;{%A jQ9>o9ɏB>oCy+9+'3/D 5,{AJ@V<˃,xP4mA=:;Lg>@Mk7xfV͏ԫv1VIKw1cBX>Y]ø !Cm-$1ziSl*AܐZPb t(2;0RqY-ؓ#$taR-0pG>41Er{f"H oƖajE ^5U +N?HaZ\auډDG6xH{gH.*.,'T(Q̇yaDYNq 1Gd% NTY-h\xn |UQ:lX7(JT v;')Xș<=55B~"L$#m&4`X.ԺK7yb`L1ӯO֖6D%P8<8 (u- qX6!c{:`D(6*0Mm49 {k}4al0eaHSf 0-d@7c|:|0<6KYF//L2A26h#qVe'ps:zo 7%$?XeRޚa8|{m/͍]D>eX0(k@Dd~6ct" ?^#Q7UL׸iMeDbeAS\nQm7<(ԙЊ ?t c|cR@~}xDža7(U+SFڴ ,8*2_[&'R1á\*V˫htR/]]}f2hgTO֋C xZ+/Ōqx4{!tm\Haq"6y TJ-Q6 r: "%ս\NmӔ6P_婫#z(!NZp_ J7{kY zv¿lG9Gr\EMc:g-w% (4:e8e^EtE ^4~m,~v;[Y>k 4.J>Ѡ8f3i#ߒHuTW'^$^-GWq:E N+N6CS:Q E|w(l\ $P$tzo])( L7xe)ڋ~RLІJ~w~/Tknc"XbZAW{v}rR:ll)`L J[TD]Etv%:hU8cK{2F7"8q֛ACiElwC-x(9PA= ntZ M Jn[b03oMobbr -PZb;hUxR̯\d[&SzU(n!lFevuA !0Fu]ki@N!ՎK,T(mЏ7&`\Y jw5: qeѶz0k14_Wa:ybp#g0FvCskbn$lS^%f*jIKȯX5zt?͟|nxO3hRI˷ ̮4\uNs&gL뚻,h o%*'LF% et ~$lAll(Z n^;yT#{6;Ur[l`MiUM.+kMPpϲo}H}xOґK(B9J}ox-l{n)|tTm)'2 5{6+xVD ĽxXzo0kvI{$/ ǻf:4'pT *NĂ ,SP PJlG>a jAD OÀI]9`w&9m'YWhi7c.S=- 49Z@#VN!(3\$ $!a Op?ӔFrЂ0ei*᤼ONc_:HEDqfT=)MerrnԏFWr3f>ZA<| v2%]@*!˜W!)Sy_;(@g Yѽ$y1W(ٿ^롏i _&1g!wڮ(DZIm4h Kv¾$# VhPqm agHOK\Ǡnw̆y wfѾHsJ单 argDn=S,V5Ul~mP/hok;CTi+Ey-ZwoP1M4۰Qy/m0=S@}ܣ{obP; !mp7vօA}4YnXH|ͺhT{/=M#Z'^; S93Y[7ΞZTʜm8$3'o%A-Rgqs_ჾD%;=ѐJ]#iBI3 @)/mABӹrƼ"02Eތ|g%:/K*^CԼ6>/\̆AmYB/$Ykg\n iK/O`2\-F_mfڬ6[/Ѝ/>͢oђ+3r;7fm!Nc7OlzۆzWEO{L;h zfCo*{g;2&'=Yd:O PkoEá9d_SlٲfffLݒfJm9"!ѣED($>Gvˑ '! 8P  8 Uu@@p@$cH%h!r^Krf$BbCȘ!áC>~%g 00xH@($\yxbi$4ۭə".0hp~HlYf6%I$I$I$IoMz7㍶GzLC}ң33no/[$gm7fJ3Ho۶m۶mm۶m۶CfXks&9MǘnIl>t[3D([3&"]Z!gXcضmmюzxxnI$Ir 1333333333m۶m {$$I [DvKzfn RAB o%9m"noQgV0"+X6o7ݿݚH$i1c crF&}m{m۶mڶmm3u&7Mt]i=u}6HDD$IRtt]0$i $ `0aq&l"NS!Oi=ՖCV-Rź=+X;P3!(j\mv#L^ g-Uum1N_aNQ1e!ICĂԴQhH3:9K\bEO˞Է6rA5'rÑ֗iE02ťӸUϔ2p3cu`Ĕw$85(bAb zsq b FU;׹'.HQUU6(H?_KU}QZ@a#k45C&,lF%"RP1d=Ux,tB@iCv zA(۳(~]ZYoMb!wN5) vU!36¦5Viza~Csd8ǒe#HzcYDuA\z to*|&fG\jp]?㚮Z:h 8Y ٜR$+柂wMeK^QqbiPcZtPJLyu덃RQ)F`DGg\.5_k:eAvd efGׁ,ޟ0 3]>*LC Jrο5\%5Suhwӯ9Xk}tU63cWξеrѭ",\F_lm0KIhh}-B()x T{ȵԞsѕT0U9U+V#%gO~]MeOz@$py˕d՘Ye&R }RP8ƴʡ'ct(;d#CQL7Y8dQF清r$\Ij{1Zza0omޑsRb_E mL'mn~ .Y oNs_ra *n*ݍT Ga}iv;O[sB>uEpY5)zު{5PEݪJƹ,\V_9bAg:C , ޫzvC!U=QWG;/Ju),wB{Q^AUmౖkW~<-jר+`]E o^ʘ:-'G3oT8HsWT4LX=t P65tzy«`9\4<^{q(I[mf5}pjhZżJ &j)RMw*'S?oOp*|D25dG ʡ>w 1Oy) +W(Uv88⩊PVWR Wn5QL9Xf[-DlTވ0fLbJZ>uuvXiU=C՘r=+;Q(a4U 6l."Z4K].D_?S j n[KZ+aHGk*굾U.v;j S*3V'[C8)`jQf 0z:t/s0g4*q쓫TٵjIUWu۾DrE?Q[7QJKFF`誀Wh.{kj+ʦ?턃3 F-q.gՆY}KFE­hոl ԭ5tJS?@ մ*dqpW `rbz\Kp<*RDV{p]YڳB e/KMg,ҷ<<K?2_Nx:Rice?;`avHRj0OC~2Pּwtš،E7{9l;Dm6/T^^>D݅ٽ+YݥZݒ%뷺:]úݾ"."fʺmAY7 [Vֺغ$Q@u,uS_\'u1Rӵy{]dJ*h흌"M*vЎ9bv,ۋ %KĎvH~͆gk+pǸ}pRIBѤUblزmi#:5$#][yM zZ5n7Wn70 -iy͂o7pb]+w?S@wJ,0Z}ɀlWsw-*5Z,J? kڬN⽴M(LJ.eT^@X|wiC`Pm]Bf9on~t^C0DR] ȲcnS:qVQ'-)tRi6,X=[Oq5 (*}=9ք/-*ԩ` -r85܆hP\d͛],DMAm =c)GZjEv6 b49X@& ,.y*:॒rȬ T(R2+#냶μ)u`#S ݘQQGMlR \MؾU8Q:KD|Ό q>qaGzDәL.U.d`Wv._ :]JH]>̘.W\gﲰ. ҽlҖfQyVBjlX<%!lQFVrgYAzfJUQ͢ &Xpۖ1(TvDWqxg`lMk_jb(pwy5%Ad=>N};cU~k Z~i՞5S@Tտ􉚪wh[^}&Bj.?7yBJGy?`F(v7%Q$=3HJO_;!;( t&SÃPl[ k& 6 CR2١K}CX p QX͞8 -Wj'R ;r&8NKwC+E Xbkwفؔ q"z^4n@}SuGKzmk\B^0"gP3. ZWM~u_V/F'Y5gf{9иGLpt#z>~ة@Ҳ2B)$םW fj}8i,/Ѿtj4!Jb m*5 Afb*< p;<㌞tQǼ/,O-.TRM5pOݟ"ؿH103_v,OhmN1وD,:P$ dq?3ĖsjN,:q^+*Hҩ?d)y̱x·oMi6dHa-rpzd*[kn5k(6pF j `%fI+Yhc]͡fk @ĎU $`qn 7 #{lF|t]tO"dB!r D@Z=34jq^7{`s;I #]妹iHn!K"s9Uk—"Rܜ'kmjsU?zn1lxhӚs%j4X,Puv g0:CW4i*H}kYt@c>.&.~BK$=t0^l7Kg~r2 @ПT֖c<_uR]\x?:CH?hzh*6r tmIAžO0=L7Kb{_״7|*-+"9k/taBb„˥0`WkD@`XHbfFE1W\ ẖ\ݽ y9rs_D,y_3UoMT#q<(@`!yYy3;JQkHHmR~rl5%:wn-ٿoFU-Ihl#ɻJYmV'"=YmV'29s7ͪD%9V'*B]2 e!pp/3* ߲22.X\q˔;l KR60("TrU֚ɲ+X\D,.!#Iz"%1j=9PiCȃ wC`y "ȨQq|z՜#ȃ#ߚsy60`$bbucq~t„oƬSLfZ#]*adqmf-y"*OD$FP0hh&( #B*4 q8Is[)?$8վ Ƀ 8 GSl`Pfg#=302*"5L[dޡ9D$;R"#%%$H6Ss00J8ä >thTXTT8, $(($@@F CP0,AYC* ↗̄$;:N E\`PR rl,'l8%X!KE}Txm 0IcBnd\ı MaI+?&2K:F]^gu/r' $ U#{o乖vH]'I '-쑋Zw>xB^+>>tb7\U&s9>J:{<3[L覢g4>V6@e`QN/< c25V.1H3qs'c !Ao+ .Dj>;;}}|FROlH04̊@TdZαB0 kz>nϵҶ8?O_oyD{$1eIMuM N(勼W`Gm; L&͈lљH#K=Kҳʰ$ g+6{-})uʬ]k| Jhx?bFt2>4%Su)aQ%_{EY5fS(ts@jeVȑ_VVTQtb>#XC\;`@PYc]< Lz0g%\ ?5@s%>=w&C&aJm)I=p4ԯ=0TGLm1%) BZ2GnL!Gp.sUٯZjL $z~lp pCNp~DNNENAao2SD9 WBs3 רldjJZh4@ -yNʹj٭Q[Jfn@)ֺL&a 4VJ"cTPFwM0qeAXѰ/Np+&˯YaՅNm&^dSPF_«y-u<53Sw #D x i:vx/KmKfPo IWO {0F; Ҏ&MS`L!iKǢ $B;-A.QpN"Q9^֪X$Z~<:8['QyՍ O]~8CUJ] ǟLJ=^hP3`QHrZt8QڿE_pƂ FlYj'J9yd֭~igfD_vLxJG3@!yLkuF pO@v+c#{ z@α{N>4%S~C#.+@<)@偢&>&z+x$< Ʋ2=t {eVW9"ӪWOޫta4Hjqsn43۔hٔy{Ux):(6+>CCrIE?: ^3LXg ?0ntC#y,O!CDAv[IO*J/vɯ'BGِF{):xr+K/cBEnŗ9?Hr2%'m($'4h Z;:`Oh&uNqФAU|&u &rp`+Z,o zzNO dnw(Zљp8P_y+  F *i"Gp*Ӊg2@v4o)cP2jA@}]{)7,jAf&5څ/be&m5 nP0Wh䀴 [1f,_]1:4ڌB/2c]1g[j5L@g'O_,Ge `cR?Z2$@Q`Gȴ"pK=iDB j8 Y"&ҭo#A /^QǾO]*XUO:)\]-eƬ!}ta0&C4>5&2Ymh'ګT{)jWL~WcvBZͻuebcDm>/nT#Db{bDd;.;B_wbuPw_üQC}9 NиL!O@zUTUPL:ApOwaL.4@is.&4j"Խp׌#H%۷k]u@a4ኺJ}K_q̶_Y/MÄ)UW53;6'I@[g&v`xW W3^g9'ɋ9N5I/ =p6E`7: m<F,+INgi$gwة$WBtS`SfWA jnw8XHfj ~=I0l]<=q5l]$TQI-BH"#}5@ݟ +)ԿYOc礐u}z}Vd֓J'r[,W7L~s$Jz23-&$!kcFx%Dq˰֭ki Z? W,{ Q0Sw_X<4! ޲hYpcUSlJBf? 瑕\5p0S(ɴp,xb %D uHKCi/Qj bM'‰j`=r8xخ&"BYrm;b*|Wv~^]V qԧ;IZ4KΧ&oVa`UR3ID 1ezi阼dd;+sfRb!xkڜx4eAz si$x!5IptSң/oBԄ:!;&K(@&kMT $Q][qP¹1]gLqM9aɶpunm_ .}^9 _ lt4EÜt˨N±ܽyN PB]\#IAA,MMgwvg333233df̒|߶m۶m۶mvJwwddddRMO)S&LKlK'(i\\\~zmh4WWUMUUզ^j;ӛD6&//--|4J "/."+*"'&""""6"DNyo1OM)wOywfڇ YJyĻ5죣wwmdKiwU/q_dӟv{yL/")類jffffkLvww?S]C;<ȳ.MLߙrԁ|>w>?OlfmflN6fl6l.qf7@CcA48T  && ( (D .$Rg|ѿ7{Q`/j E 0_7_ʒ[|m´CYbK_SlO:4ZަgݳCO@MOq{(Lo>U]TnK} 㗍 }ó2QponG- FO9iM /hkA]ݘg_F{ dlgG\'лEѼ캲h^lSHe+k6L6f?m?IEsG6&?&?7|귓tNi༩=6 uejtMM(wI%a1N'" huّprjeo{V@"w4%R Ao5w3|[EVMo-B Zͼ 6$}9Kq fgx㧻eP6ic@f½ @.N 3#k:0DyvqqE:6=A'My;bD8ssF ȹ猬PlEQX Hu!}1V؅|[-'^P(+E Fo^,a1yu=y,Gga.SU`3_@oS(_~R'>Pw$~(CrisPfCk')mxR7aqv!W (7Z 'T._1.ZC _@mcP2˻V$hiBV bO@% Ty`iR  3I&YV4l*,xc薁ž k>%*Q>'>C }> 9kg3ԩo̜4V}P20`c1= t&,.os~٩h|Qov{]ܽ]*89ssShVwAp }_1+}%]%'I/gNq/@Rܝ{0Zg~ go$gIW3?i~{d%)[[ќkn-!]a$ YE}sʢBM;Oz| ;Sro8g2ɻZ k<; DĒ0~Dkּ>i9=c&T0,2EFrvW+Si43Bs I< wCPqBbHoS0\G͉ -eBþxɹ`Ί81'<ܐ"{'ǁa ]g t5V9 `aF9 i5 aj0K&%)=$>x#HD iíĠѰ +2ȣt݆ݽt |n-iZۦC N (`Dt)khHw:ġ$H$j7*H1^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal  5K/ "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/'Z|('DD[{Q#JfF9F9d"&j^6/I49"agozha<ȶ9/Ez}eEu)Qn$, $mhPTa.2U,$- Šy$fNJ ySd#¶|Og2E edMXɐODkT" m0qR^-͐Y[_h ')|43%)E~Rօ*"ha8Kj -<˴8c5fNH6LɆiwn,ڨiI̬{ %Z*B4 i1P2$0Y P"I@YIL i8iYyhNzuiIX$T$+,Z$(}3C5Fk'bvg3nމdL &6dLJʭ+J\GDTڐ 9qY"(&Gy>2S[mdlNph3Y#Q.͘K(& b%&@&(p01Aa '0 ܁AW>F1a]M,R,ΰy"="WU^VӣYŶ2g"*T6)f"MKL515qD#2IxHkafkmUSrמxɭ4Fd (\ 7DSSɚL}]fLe?eW~]ң6te@CG,% Pk &  B` C0, "o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute method{5K) pHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`Er p5zս(#UApo ˻@ S )[ME)Пbj!A/΀t($E9ۊ:Ѥ8YpJ|^Sf?jC| seG WfR92-7A õl9dDJ`,N#( #xW˘ x)!o\W=Aτg$!-`ꖆM]\lg> 7=B>6!F\;@ۂaYrM(2OSlز>"zi,HF"cPpN;1U jŀړ AG S@TQހDvN)<F{d*}vx -o S:w0 ?iG~cN/J/_h1(CW-Ć)ܝH?kVPp]iXQ=l7d5b9V. Bdoۭ\Or.hDW֥.2^-VLS] ^\IY|K$-v'z/yf;_>t`i!Rs>x Nv$|fO`׎Ȏ(Ld2l=fwRE2/*Òʺ$&Ee8cw18ѳy.]rGfUw-%[y~ѭ,}!uDg)v=0s/{I3obr<6&UƎ9ok<}^vȴ 6f%Nz LW̠J'uk.M9[NtdrhTz`5`lKNJY4z 9 0.3ѨOC,A7eYVev*o`_" e0<=SSFv6# 9}/UÖz3,B [dRK'!dܶ(ifϡPջP9cʊIM# XRRORUi&}oD_Z$ҖB+!A4 /ܬ*$ `q.5_q/ߨ; ]:p xێɋUǖKh\[p& <[gsdZP-;rӨD$b+,~C]zҽa~)^=s6.ܹUnKעw!ۍ[_('>z<Šw{I>n/NSeHF[ jQ""sǒ@CjӤLhUv+nb.ҽз ^$$$t2 s$R+~fFΉ93Ii _=uq\kBa!)faZъ^05tjME5TnQM('8 D*>1v,M7h:yhK[~5b:3*$;yTcݣ57B "Ii.}dʡggiSՊ1҈dJN:2ϑPyDQT  Ѯ3.sO$BX; qyrUL6]n+r RB4Q n Jdl ^&UDh9}M"n]}4wQq緘~dpżȑ;9n+ϝHJy|k@cEW ?% l⪲[7nyj5C+r (QDL|8 @>g!Zɽu{@[>МÊo kϴOR(oɗѽȢg;}®Ի?ej,/GrCS V"QZ:GigZ34M+ũ2ICI'^feӌ7")ow͕@;:]&)X:>2rNj0տ\&+ӭ Q3{LjD?R$bg& yi+AjM8%:HS#9!3bg:O8Ǖ } 3f Y5(anS믑=5"C7bGŵ^1=?E !/6Vzk"/-9a$֓82/=O}L¡:y5`(X86b {%©a>M&{tR]ƯQU ^y6a,-G_/6Cb#orjд˟d0.QC]UwMf9',3\&Q^_>[>R$' rۭ >9X!UU4{j$ /-v {˕{vDB2iL*J@Z1Z.U9M>~O j5F `>I}rRS_b&̈¥G˘.v'# Wao^VGF)ui$+Rܠ8tI 4)@9FmKLί@S;j'?kMedIv?!wZٶ'jNlaEz -B[ l'B^c:~4UԂ[.1 uCR,nc rJ9EoxC@I W01sqؔI&d;<$H6XY$ +e1hU fmd1u֩=fd:Gڱ+\Ob !T2,W4F㿫\B0')V}OfX;_ew[bK`8޾h"ۤuua&6Ѵ f1CX=fg_g^Z Wq$xZXaʗKi1+QR.fŝgFJ21b篲d m0ofJz2]Q\z]BJ s>IkHQ<qzqXaC؝9cQ.6Jde7p(d8>X#Kf3%J*Cm2_ʡ<$jȰUPX*7`/3`1xu.lP% y[ܤAoä:O߈2s(*G|"ӝ;POEBı؅ [$2ZKp57bCOtPF~s?;.oH6)(6vl6?씥I\Zndh?&&r1RURA5qh#0Tᱶ1PW-BRBx ;)_4iLs_xo)'BNJی2˫/vTg':Q%^hߛmMw1PvrJNXotc*,_E_OkWֲ߲#9?pie=&3iܽ }M.G ~WƐc;="wѩ~J}q,QYno0yO>L 6LFJ]W p1/$ Vf ef{+6IE;T J͒2@ #S#KeL!.ߓ<1Vi'/!ڿC lK Cr_NXjfy4׻Yeta W֊)NKPj;Вy[jemIIȇB+E:͎=-A4 }˶\mYb+$b%%Fäl"MjSTFd|s(/u]o [oaX&GQLSQ`0uS luM~(0 ŊC*/PZ,0 >G}X4MG ;25Wkik{$7al2SDT`ja{OŊ]b8 ]d e@|_aYk|Hj/"HYaNjҦϏW6,ڹ;ٍ߸l(JVb\󺆲>cܠ ._&7#BeP ][Ou^:(lSG$lpq4$3J!-oFRx'&k<F1(ELc{evP*a'm*MLL{A(__6sǏ$!N0[;>TaGb= 4q8 j+=$9Ԉ%kZEc!"@U5< Á;ljܶ-ŭP<՛]SrIowߏ CN>ÓX+%0+z`&c"a34u%j`r}%BӼ"W)~vX@bdNeT5$I'{~@q5(7ra2)OK..D!vd=9|Y@ g(Ƃ vۡ\1棚8*ơ>>/8j{2ԷuͻN̓AS?ĪF11$< Y@r԰;@CCO֑xvoⶦtQ?YQP0T JfĪc?WO (͠~KNr_ᙪ3D?-gqvyl{ FxDkV=Ff3cTx#@h;F/! d{dGD3cT(ˬا꩎Q3;fzvbc5"2Fi/I ӆi[M< 9ϿnθۮڭبhxyU9݂Ac*"N0%ivvlm|K׎1߱sns͜%?}U{7x9dnx76ޤ̿ !B2!mrX(ggs{Gs@ 0\7L{asVdDY{>3p,(mԑ#ZҊ f׽m6_Ǵ$̙z8K]Z[:9T6W1JXppLlK˛s{ v#@0$&G#'Q@CDÑ01 2D!~oB̄Tl24m|j# HߊsV:P7a/l.SX$k4gyJJx>B=o EL|aU1Sg"0Ș$o|=2ގABq=ۨ58'te~Q 0>Ds4cY*.l[VOrBf1Ԭ,Ey4a[ ((me*j.;..xt $股|lWS?qu 38ЊQ:9lC p +}"^e)W+j:a'Sl&}gԙrXF{m+ \n io}r$*~yyIs.Hz?xMSQ;߇&qY{;Wу+maH:1zk<)o$&gH;.˵wo)"sӹ iH+''zUIA}$TMD_8R#/Įm\!I^2s =3BM<(U#x' rƽ'vNGL#S#%֟*ߞ̒]b]-P*.S~EGSܵP ^bț|rx}@W c&Xa`28T[xZQ/_az`GFeU{7ع;4/dG@s̎{D\rϚȺNIMw}JdCj5b~@)S')R$֠!;ܧ^kP i[]j:x9Lj?Rk`d١cݵތLp'Dr[ek^SFqAabs6p(L!z2zMfH# 1<'P4/G,9!x9)}땖|gkrjUiޘ9R0^He,=E` kT!* /ͤpW}ָ: Ңsyʩҍ)ܰxJĒgEK'h#qDH]9 Aݦ6;v#nWѼQ.OB f y֦4+c0斵1>(yc8j([6Q6ZqUVz2$Qp_j;0ڙ ;e,_Gv*PbQ55㣹# &5@n`^4**}PƧ(0I@P0P&pFGqyuK*>8 '?&/~ޔ @!/~ӨLm^aHC\|ćL*L%A>TLȧL~&ʛ˞SADf™Sϻ,O˂mǎg|zSG 5}ZʛJ'Ԗ!_UU*0nVJ'+*#wUJ\uv]sjqetfk-3ZVnBZCRBk~C7*o*֌qZoݬ}u̼m:QmsϽ*X֚=H?{,)$5| ؓ/YVV<\BKH<ƮZRkV^m[ܘ+u__ZN!E)/7Bn 7(Vl;>^j%vĖ3PRޤ<% T3ڮn0U:c:BMH2j1 e@P QA @B!" "2B.((Kv"g\/<7v}VxC8xe5@p1K4e_.G}%+)h뚫KlVb`ޮe yT("Y[JxOH|W9Zl؊T+vY 4fes ~yI[( ̈́A8BwTn@E{=5{,mhC6 go>n^q{t-aDeg_YW)I[?x4V8s94L:ު o6ɌfԬ (ZJN4FA0?#SgQf w ,a@O!(a,эY`{I'L9v[90ՓI (-d:)?.Mk^sPsG=xᣃOBԤk<֡Qzyue ⢭3xc@ZItL-Z!9k^B߽Ni$^ FNVeW|؟GDT$S_*j4n2%j<+b1w7w95E8K|xqňgѢ3NђVNDx ' d;s9N,U(q~QAo 2զA[pEdccѻ/˙r1xЭ*\F,/M14X$ F&θ1^T;쪴?-[Zg뢀V`Ϣ0`jU H!N ZZ5)d-]]A^4-qgqaḚ\ zw#h,wZ8b{Qaqr% WgA vr=!6jV#"YQE)F" \0$X9łWb&jk_ G+I*Afo=L1Vd@P1 j ՋۋPn1 *k7x=hGVK.=7Q>%uSjF'Z~8uMY6/ȴ!H\C"'-6=Ќ@O22@u8Jh&tD *Ge5r3Ps M2Ԟ|Uhف#kK6_,̳6'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