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_exportsv r}~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x rd5K' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`n`)H'j`*OKzIa5H"" P> wTi1oOF8,(MezĢETLFN."X0oRNA4 U0Q48@ $"M0F8F{;*^ 3"$D=xbC5üHؚӿ^eoPbV寷*13UWjfzK<,f3蘒H$"Kjy)mOʺ"QO PYTO4I$I4 PHa$Ica$i¢fƉ< \=UDLLZE'-hX#HBA-$ cWU3uWDIa<םUWfYPo2߸w=oej>?f&?f}TɞyȨHWMekw}ZLdXZP  lOwh(\q>WE=[~ Ǝ+Z㇩j\@f_ 7M61`d| uїoK {"ی1 wt1埛9dL@98B҆J8 ΄J xi@]>{ 5K) (HOL-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+<&Bb8a7`6]5X2P.K-+'%!  ?821-, % ! HH+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_Machind?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesqD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marcF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   nn"5|jV - UHOL-Nominal-Examples:threads=6elapsed=349.404cpu=1724.649gc=87.697(/!)kF60>ިC}q=ΝD2e 9EI.z %35%%˵␂޻_1RKU&eRU0{h UdC4MאG7DF=fHkV$ C  hYj  0L2A@!!HDXT2C,0P$$^h񠈈H$x&&U1 E ,$BSA4~<t-EL~yXJ4VcA Be4ctoCչ__©2H7VC1c}Uᐟi؆t0$`H,`IdQ- !@MqJ`5eel;}L 38JE  3I'r7N-* D,p@AAʕag, >sأjW"A!"HD@,HGFX$(0p ^iFO 1AB@$"dʱ "ŕzejfAp*,H,H4 oix q!abA(TQ AXP$h b@D<@h@Bbp@@xH P@ P@(PАCbA " @34eR):%?'GTmH2elhsu.ё$3K:nK2l0x5C, .iGjfُw&oQMܤr^oslr6cQ+V%m"ybQ57~7Z[Dcܑ2;DFfڮRѢۆ65%>AEWHwcv:sO4)n2x{j(7"itݍiHcu 3t f֝e~3$msjfJ\>-Sg>2MjlC&]ꐙ^DTqЉW%MukeNQ/pn_P.$iDd5N:y&={|t!CUivnjTJGJuuwfDzI-afTRȘ%|3uqyg)MW79PHXhP`|<~l,f:vOS/2ޱ~5񐣙ʾï{oǙ;teňh>}v^)EzqArQ΢6 Ykehȴ:kݽW^l޳U%cJ:թz,VO,ZYd=,V LBBSTMz4 u_VV睟Ru>DC"eozӷiÚz_V|k7J;xtGjGhF,RyWIŒo%իbʒ),z |JBڹuUgILuUH˛ 'wW7dގݒq˪+UQ߷ue:Mi=-a5tk3]K-Q[ٚ]K'ZiZזJ$ΐ{mrlK׌-c'6v&']ޜu cx.'ˎD6D;  ?xph8Dn4棻cŊΑOh$ش*"EMw6zS Oh"gQxڈF|"U)jQ=`i,{v;]O>w|!MfYk=VՌJ&qծڸd؜!eWk[..Q>l'b͠|&mt.lkiɦ;4C\*3~LoTv#e&骺H|柞yJ4Y%\WmrL.6KC$ ֨Z7bmI(T7W*j/T{ɨ^e52ܖ6govFnXͱUkdž3 epXΌRRSP9\=yvm_rϐeg:Z4G2WV:2%cdT=[Į:nuDHHߺ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.thy 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|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@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۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+V+Ii[ I;WݍhM).`R.}\>nH{n-U“KP[FM|frOͷBEp> v]|QOoKG-}qH r]P{W o=|ވ ftْҫDAKA'~L)̆yG$ X^iǹ;\v ht kAk¦x֨,e B_[tϘC#3R)uH 4/  jf viҿ6sT 35S Gʟ|L}(^dVAWU {G䀺-5`%@sx"US)y:m%7a&Ԡ@.#nUU_:O+ud_&LNQ ".ˎgjGPKd“}$&~3hLS,P!ˬ`,%{e$酚xܴcd-=ýIg@9(.ټk aFM:s,e/WbaDhҍm ᰍHCkB~OxpWͅ:<ܛ4DM@يWﱆT-erxr D쳾 A`ڜ"kb|93HyN]&Q\2~ϵ!n/w%nE$eo8 W# !-5Q1I*wJ '߃2Ng)9QWTJd$/RGu`4Wj,oz5Ւ_M,͙XE:K" )]t%>@V#]1lƉ=h^>s|?mI._XnLmJPcbN֝VVkd8-F)R+ 6DFI?10~̌ Ӎ|h%IU\}id^Y3{$_נYhPN_5F]'^n*&əDD/M`_&}A.=.Oe/W K遈@'A!EH\_»nW06_~{׸ͬ KȄ Xzv*B8i%Od]l4EاB@k{y>9/kV-8tg~7~'.o_8.eJF?JPyy]u{t C] g:7E$j-][n>;q.>c_t b7`/ 89D* 4gUzyA$ܦ¦Õ #턿cocP^$7*V.7և,1a _DƅhZQl JjAVf6RYB FԌsr.>PA'D2ķagZ_c@HQ gAR_D¨GbE,+r]2A ޗg@t,??G)AzƷ~\?#ߺ~xDTFu+HϷ()mFJA}t1J&tE| _+{ml7W3!p]qLg4r؁>o. v<Բn9C~d:< ؖC~Dy $|;K᯿?Dž,+s޻wI^,>Zd`+m5D14DPL'ciR֑/i$lAn4=S~k~u1FN隃f}S,T|p렓#g@6 ϺA6,.JgK2=^Ęݺ ] x{Y 5*˳& (?:lt,<Kט֍DBLjp!g^Vsv|' oa*@VT^w8k/4ԘJ،RZx'&u'یiY3%KSXL I FIEj>78$0q~gYͼ/:Ih^mou]7gT xqք#Ln6;R BWmR`l5`CWVK Y 'Z3gC1#$T9BG۴gBۮ7G>P`d zI_>qIR4̊d&'ȑ#1<{b;S?I&`o`Dd#瑃#X6 y+p  UD$n{|dW*sW,{;ą?k{I~ěUVur}4_~4^b^/ G;FEENϘL!OO[;4OQ48y\[fmo/UT "թ$ t[ r ra׃!*V/EB>p,. 9hs {x 'F}X4ybJ[1J JC;$H05IL^2+fZݓNk\H)g!,Fem (_nnYdFtdʽ 1wxcbgR3]Qo O& ~UYQr,ugj6ɏ>5C~Wؙu/#&njS\ΤoGFq?2 *y#X x7*@8 2Hgc A󧀶i3c2w#wp0xj=9ȶ;7 R8u٤ҐSpCM<u^IČRAOj6E?xcҲ.8B#l Q`" cy2uCu6vQ1-dGdV! ]vuP,.m˽KjSh8o\Eul<CDsqVN#,P:p.gf YrWXa]Ϸ>uClPk0[2??AyKeB lcFGy끷Zap{NP&z(cL#^swۻ.g}e6fZk,5*pD-6MqbgN>Y2Zfksa`>$)=.Ow =_EچV?? Vo0a] p#b#";-,[͋?f-Iil^Cy=noqAOs|&]%.Gcaz-M3 - yP8$0b\4mJ9̔H`)'2s˕0Y`4OLvĒ2QĕR}vo\yQV'mf%E*z:7eq諘L7*)bwU|pΓfFHa_: /PX9A O;jpV_I2ӈ48-0yO+`݁IJRK+48"3[̰vӈIloS~*ɦTNsHN$ LifOPy;m0/S} &&`ߵEY5QɐX'>Jfڷ/PO~n@~ `2>W!( ؛^a&MAOP@pZH@jKć- -MNOOk,DZ颰# Ļ/QaDB,"3S]H]|h- X>DrY5h}I@P7fk?K[+#?ӿVHnx6ޚ8e1ޖET3j!# bs[=әՄ&o4E,J;_+H\n޽zUu,p1-dG|HW+8ISEju< ='ySsy0敛4THykN;o4O@%| ԡ`hx:[cF]#4̡SX/W&@`* hplɷ}4я&cXH`AuT0y~G^IbaXVrI Ԏ7 'RDd}$̱_L@PK`%pnaI0t\ N|j(G!4nTHn` zG^jԣp;"  50lͯ 1alL zu ۼKaJBj{PC }UhX0smR}Pau7vblrIeƯhۇS(.dJEdrDma%-^Ok (N6M)wfZζMhRP| ?P}fX_b,pED0?,jv+ B [Tejk6 o |N1(gZHu]9#Ic/lZ,0R`6tfP (~ZRBVLR%Lmqw)trGSBo _1}*1ꑌV57hDst$Ӝ}tnBpFָy%Bm<PnZ6hᵸl<Yä3/>63UٲrKD[> cJM:ja3ɚ.ۓ:(>g :}z ,wOzRT"hX̑H 5 -$MFe`݋N;Nv(<+$ Jb,ڡ\Hy iػL=Kkz&:IE@.7رzBЪ᜙:Җ!maIN`0*z \LTX ' oe7Bsc^50L45' 7 ʈ* ޣ}5ȽԜv}fa8)5Ia Phfga7 rٞ +tE/ZtnCg>L6n;x7um' [-!cr zg \rBG=ztc1(*SfUbp.SQ&1, \X$'0hzTY!>Pad[6rS]sz$Kt/(zz0VH"Y {4"CS$2X #ceIݱxns 0-mX\0]R erA9ڗ9-ckѕ5} Mbwűb kC̚;#F-ZAw%sjVDz6&럥ui^Wu/16@ł(Y}O ɜn+D~>밞Ħv}}r\'K}pXvfy%6a١˞٫A1m !I NxnjA ]8]3"r"Kf׵Q)cPf^?V  fàCͽf15]g)ژb] Ab ߧI/Zs5~) j J Yjd5K' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`n`)H'j`*OKzIa5H"" P> wTi1oOF8,(MezĢETLFN."X0oRNA4 U0Q48@ $"M0F8F{;*^ 3"$D=xbC5üHؚӿ^eoPbV寷*13UWjfzK<,f3蘒H$"Kjy)mOʺ"QO PYTO4I$I4 PHa$Ica$i¢fƉ< \=UDLLZE'-hX#HBA-$ cWU3uWDIa<םUWfYPo2߸w=oej>?f&?f}TɞyȨHWMekw}ZLdXZP  lOwh(\q>WE=[~ Ǝ+Z㇩j\@f_ 7M61`d| uїoK {"ی1 wt1埛9dL@98B҆J8 ΄J xi@]>{ 5K) (HOL-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)GpPkst\A"f-oceC9ԂybSL; =eLV;8F yP.(\ :%0/U+~l5l28Nu͖+i.D`a@:UP$ ӘYaGذJn۶užP6K@Iw rѼN~ Mz+BU~]"'7S\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal J5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1c(Fxȶ/ <κEAIVDD$%0V"@PcM}]@D Ħu1,rVrPٗ4h8&&qE3UHyV5SlQMK7&8.Ɖw\-{Ws:~@2Ur[Iy4&FԤHuEM@ͣ1Is+HL;5~=EOb ncLGMz[5 p kF1vSiUa 'Hx( a<*0{hQpsj gWxDGcEbO)m5 F@1"USA۟X5*3WPI(a-R^wqo톁hX H ـ!0РΠk18 xHwt;84d;Ed}0EA`Lr9F&0&. $C0 # 0 (AVz6jz݉FnE/"o8k4ܺDrl ~ 'Q6#+sNj=IhW!#6d)$C^ۇM:sNsAhI]l"z"|FX_rYN:̥ 1|v3m+XLiiBwڤ +>h Q|70OpoٻȵhYD8u߮=DO h|x[6f;⽚=N;5nSIޖI^nJb}8D5 _.SdaDx~9կZo4U: ȶ`>5g{]QE=5L}r|uO8ۺ}~!o 0t{$y:-;7rjp,,춷;(p2H\׷I%%qͳeYMW|)_ʗi'YFw8-&~{Xwl7O8((.^ lr9pvX7*-dH,,&&9Sw`I<f1P|>΃f 1Нf(du4 WLJO>Xum}P, p ڬK?xoeR-7Y/ܟoTU UoiP 3myvoiPRİvJ㷷V7gLX*68r%ɰy^ Īv4eϋF9YΩ&2ϗ3?fAY {$k~y7I1_^ X$Nk/I4 -,9,`r a| KѾC.C`150-2.p*s51ȿ.p2 ‹V qy`Ɯ/)ou^ʍ;d9c~ѝchk#x1goKw ^`n\ ~b" lَ=\5id<06] ` *w͌<0J};W !lt&Wǐx8VfN(\ ,3clJV:Qd8T DZ), q#h*Ť670$l~5lOV$l;6,>1'HW3p ~g)oid2?}TOET9iB0zu%MCda~\v pbPuekv݋yܩz& WZ{3V,7C.&jàw$2X5΄R,B;d>i"gوH3319w[IEk7b\>gdnշ ɕǤ?nF>?V5dcxW$à]QvCb+_ɑBf$9_] $Tf=Oĵ/@LBD[OHp{C Sg{8U' Agez#1u}vzy})ނ(zQu2D&gEB ӷA%Std1Nꙗ.; I2r@|K%/[k,/B? {\ Cڡ:qwj;g!]p~DM4Wh |8o ~,o a4T hN=[ %+cTJ?戹+E}7m#J)şԭQ:xqVƹJ<hdS&*No7d$ԓh~aQF5 %I/H;GzщPv8}0+,̙>iqQBxBzNٻ=Х`_hu78HIx3`G98&66[ǔfR㙪p+|s8mDr="h0 ?mF;-/W#.+~cFҊ$p(H!$5WWvɿ}5(/U=H^venjͬZ^)68,R~ *^xQ . LC 4ި-jGȢ(ٳwE7=~8&c +7 Y/#6#DQ_{N5zDO ђxQQA[)K4"S_Ug jQ CzldyV`Mq4H7n6N~ -c}Yb#TxZC70iY~0{T, **z@_c4 /f{ؠL:T8 PU2" [(*$SJRږ3333v$I$Im۶}۶m#"""""""":g>󙙙>Ov#o5mD3%]ՒF-asv%h<(D49(233eFA9("""rPrA9(P~OA9(AR8x<:+"ƒ 茈oU-m mDmW&hH5,jH5,ؤ:=*Grm%JE*R(y<8uvv/r\5mD3mmC#rUmyDm9"_m۶:ϳU}߹?vZ[6b]vȭD3P0 `@  0  $ @ H` A$hƝBĐpN ūor#)k`dP\`,( 5\x`tcc  ̔܈fd32j%ͬK,"*4lx>"ꘋba͔hF402%N$rxۮj;r#_{U[63cW-mfj7qڎ3eD("4d n]劈UkLԙm6ٶmvUUUUUUon۶ے$I$mmͶm2۶V?vU!m&s0A " "1 $H@L@ 44 00PT( ( 0@ B&J96<+%%99Ov-1+ x2(6B3@f'ihUM>\}otؓo||jZ۵;w~nۏ

bmƨGJ"[up'U.dHɖs/^\S,rNr!M:k3e ֑[9 gXCA&.ڂm!u#mɽ׸#Q[$H&ZeIq(R_Uo۶Zц}v+x̴-ןxuV [|x3X黐Uj$>[11- jK ^u.vh;1;^Si'+6U=o~BB;k ?'`Sr7&YD[mTNwxB#g`܎B|GMwD`Pd_S//EN_m䴻e؋O>&! xiQ06 $.cՈSpp)f9*.wf̭gxV&JcUucc+f,BWG`腼P nu&9.Тuy&<M TI[–618s0إj 0T$EC_v6'S2vԉVooBʲߌ2=Iku&#${25!л%U$:Cb¬~]AډZD0'Y8[)u=:#= .'(B=g4LX|s:TbE`ujUƎ/BmjA6W3uЉl3A2 һe;u+IysY`bIg2ЮuYlKtfR,׽k*y T,ILd>wK/H&$`ǓL$`U+t‹:1,+A.trm)k1"9{ :dQSՀöXg&K3pCu (%ry%JH[_J,;MLkv߯DV͜ ,;};%B m,,C+Cq5Kt^g|XI k<ۙVĊl!G_u8ɒސ,/p})}XuW5nêcCzf%MxK'߹o$gKdc ՠ2#akϝ."l 3o@~ZƆ r Q 听ȀE@xL X3Ÿ?BuJ@پm-Ř >}E>~}J L0 6:V5z:M⩯JKz:%h2vαq鉾]m7S  c̔]G~܇ /k,57aCZKMN 䉻Q˝-<21''m0s$[h*Ը%HBໆ;9&;(Uh-zna5)o-D42yOBwrN`<{&G_?J?B]UU3 ʐGeX#N8'?;#h-0L< ¾5GOr8cvVùFfQ2>=<`NPO4!?eH:;+O(`xOS"FmՄXgw/׷eWcϤ5t7ML;:|{sQ/ EkKGB6~A,Ryiyxs}41~#UupB6cm[vLAd)ь1&$CIqRb280lHS9HW `c7W{{LU*9d7;Ԡq4W@50ւluG1=2yb:g @m0gd۵FPI|WmB਺̛U$}1 yF~vCx.:liA$js2ˣvCFF|vi+햆PJ. )AR4#VwݭItSJy 'T\a{'|M e$v#TT'o-`>(N0dG(gZǯT!czFwMH*LY횹lsi_nhFgGk;pbDs7><:5*4sQJ53k\Pm˚$klA3 ՗3g)+tTog 5-1HsfO3.23֊'nQ\&˞{%SF8+Ǜg25TėD@< F&3J?jfD݃z&x j. U58T1:&O9ʆ+iYN~|@ X%iD#2-:+u&~LMb)lǸfX ~%c]v!A-ؐ}LYkoVrQ3*&M,X6}5YFvVK[x(g|Z5ǡ9Y]ē/{H2ǔ/q7ٱL~O$r8)! UFuZ|jΔИѭFK9io®l[WBGF*vu9#tvx3r:,zs0kw5gufT=y.sK}{ʖ9jL {!Y.1-뾷Cnֈe7HSWEST;FC6kO vNku%ۥO] ՞R~vyԖoi&ݬ>#USFQq°׏`q~"n8>)׾Lԑf\Lǻ!nn?ELZ[O)'[)F]ř(~7xp ݦ%1D5fkQ5F6D7 pcn1[I|ޭ$)3ƫl+ ;W4vcn^Qu։El7SQLvA{`pW+#ޖSR/oCGE>ս<9mi{PXEjw^[?mUa'vSd8)'Nو6tH}gYT!"@'kٻ6 UFq]!5kPM|^`|*zwd_?hkNỽUyp}3a2ˡ 7+H#W0cԲ(zŇfr<+F"d@ # j<2''|Ǣ3lJ@uL=JԶ"0^k8g4WwhUpү7шO;k$wVϤd CsΉ]=C>||7f1-[jL#SPVǞ㥅păs~r"(A4E&.Lt`P|hK@4\IF2sy&@wX0{'qÌ_.zeAIhF+Մl(-;{((lڠ>_We5c3̋s-/Bj zfwJ[%kA=8[H%{tx,׎G/PC^xy!jcY/bvO:hK*/d+6I_vt&a{"|p?//TA/1܇^VnǺJOMz cBr/?S{hK *62Vz!DHuQm)'9ppٕ+Dtk;??l88ziK !碽 O.虭F=Wϛz+]GWha{, pNBdR@ p OJ t(mīΑI&RWU[ED;ӚlL{[)X 3S%VA$-P9$,T:$P@8- &oA+4E7W'=ƚH(H,<8lU?=3-! yH $! $  MƠAnRU?3-Q1,$b0_"{-%ȞyKۼmmn۶nߪ6"M3nY6gHzo3,2!z{""Ҫ_D,ӞcMUU%r'N4*DODDDD?6ϸ-M?"{Ɏͼ-UDLKnCmZٞiɭUwTt%x;wx;w|+QJTvڵk׮]vg:әΌtљδmjm۶mI$I$6Ȟ89^ٜi A  Lۑֽ?mϴe-:mϴ%I$B۶m֭M螒&UUUUUUUUUU/bBDDm۶m-"wUٟq[r*D,nOdϼ%i t] QZ#+h?J0p,bW<:2$q,#(ږ,"XX 2՟]>ن*2.F5K[׃/ itk[9o 8nd1nݿץ$"X/\$;ybY,<5[65f@w.66ږh4ȆRC wFB &1t(" >TyFDKEZ_Œ%"5&pYo>&>~ ZR: ߠT!Fh5hbH,,:? Nt(KNKwފ;g0"tuգEC,RlZQavJa}3\сcH1-4z;AUo3N 28j1#A~K]p 4? ~[V#\:g+KFDۭh/z (q|tG̠q_ !cc#j}Gt%Gq_ 2mB۵yZޗA2Rp }t6~ G\ͬ`5f;B즶JyZ#T#)iɭV zV:p⭪v36U7EcWH kud,bMoT:lcz!kʋ .LOQb $e xI:`p3F_#>MN53A킗m SwMi2#.sL f橮j2.6hV ћM_j[]g] QOPZӄ_) Ђ$.BTF Msy%ҢVΠ:HA/@:z=2H_ E9uju r$iMS@sDVJh-ۭ1fX?!ڻ:-a^ex9Er-gKʹXo۪l">' 䯯-KMT Kak)e X=_}Jpc8wQ Pz6R]eiCB(;! NGV |%9}%"ᎂZ5hV(DULfH@5\C+b$V.!ab*9҄B$KC*/7U2Y[J0a_-c_+q7y&Vwج> CnľD8}ቋE[z7G*s %ͣꄯ͵2W[I(5īXܼW~Nԙ6FVw8pةrϫ6 ќHrNSڞD` ˻$Q9H֟n5Gۊ7Y+=ZP]SCWהmUo}j]Fu9[B$0!y8Mpn5FY *6V>ձ=Ҫ3Ƶ*,[VaMb_S:/^ήe*$=6I(Yއkz З"F)xeo[S V6a:||Tjz)U#2M`"m NDY @徲I0:`fmm G|T`YxR*>dZ33s[ VG:UhuhKbt*2]44 Ug*t1*3y42zĔԗeR[-h,(MhmDd:иI )3Esͨ0 EY6*}@^8#T*#6Nu̔T;bhѷaL%,dXJ?"Z(tkMkv%bV@ͣYv%Jx!^-7TڡlWz|Tݻ老&ZTd %gQoȗlK)=Dc`tm[r9q1D>Rw^W5q>͟Qb$pOv{cRP2V j@I[\嵏+}C~ ̰-硒aZp+4NCL*n5O9Yuz?Ȥf&O$\킏3rDp܋hnnkRQO?ֻY1$5_d0_tQZfN"=QTNb۴+c5dH4Rzkkݯ0 r$7mvmWGާn.'*w"].q"w &d  w]].kӌT]>J+E.<3u4{w͔T1zTiZ8nB{wd>E\5#$qݛv[GV-4sT ex9)J0Lڏk|S/vѼ?Pgc5RWMAgxo`SBmb[Y'il]cX`ʽx-%SOa~/M#DBWjubE4ab)ABno)a*'&RSd"Xn=4/T8&ePɩID&tQ$HʉXhm4pl w$rlmڐJɢL+DnV`DmI c\DXAt'^|4:hi¤b`zɄ1T{Ci lכBgٯU@mg]^7mP@{hiQX(L?JⰠf-RnX dg&Ʉ|Q( jS (E_Io)%*M5\kk x|w [VVmR*̈Ih*?j4=xaFSuZ%wU׈V#VlMa; ^_@]Cvn&GV˦HZcUGC~p_FҲJ._c,%򜊶 jl5i WEř4̬~FE@Sj;}41+^J&qEWZy볪rH[K'I|,{4. hcwk[DѮK4xXtMCF+Cxd:R|Yt:O7+AlUd/Dh:I'NөD(R$lJMVZj^7Mi`X8].jXM, l/̱/<)C岐Lx$NObm{z-O?`K~:nSNz׻c|Jc PA^2cF؄z+1PuA-K,éuKQ,FWVKX?-w~N]mvʵfQ:q~)EȄ"c`B1!89%C-zbʂsG5||#_I)}SXb68>{hw"̡/ MpR㲨2QsGm=E:` 0O⚺BH |=m`n ùzWUu;)ۅ[eH;!֠ςXGM F:_{ G~skcObeUl}@1}UV=F{e6ʀ!^A_{ArkYTm" C5-C0Hcf5<πV8|.]AaT6,m(6_z:QޥIe 7 (4%uXH2#Hef!QL=gp$K,$<]g\c6:X#lql#ߏ\ߞe,k0ƚd~sYw q&3mHnS&.[rn ?UNA\] *ڰJ(T-Bsxp'-˥dآ_/UIaOtF?U-g<q n@ax6<&^ 2O_.bn0|$3 ^WשӀ "^>1yh'\VB $ ǂ K'wP9:T/Z/U 8/t`<|dkܐ(] Cl' &q +/kL|QcT'HAM<훫5,lf!Gw#._?UmPn\s^lqHu {eӠ0DbH"RU 'f|+n<}wԅLZTChY$w@P@횲;dK {\ñirddLF(&ooEl'$4̥)xIC/2i CGY]JC;c&^yz i .bs^jX>HS2NSmW6$gŹߛy0x@|$Ej,6t: ReCSh`sW>M|?5S&CCTǜ9cC] A<Uf@t^(JtJR3y]F $˦q@2vEp J-wi}~be.oSB龧  G:[c={]# .h { VC6Rɓ_e%GGs0f'103Ig*iY'#P@ {]&骸hyrɊR&vNj&[&R dw,HlR( i,[:?|;z"F~m 4 I;)T׾2jf!It$%7[$r%ޚ?l Y3dyOjQ9R j|$جvd4Ƨui2/w6mXgڛymke( P00jS YPVC'+3dxDl˻|RtûAl g6+$]JAAQ DjjfEl,hp,keu˜P(T6QǨ&4?}֬ei/]>G},_ĢafEښUf2D-BghߵfU)X0~Id`e]kVgDd2LE{ެj:egߵfg#]2' pMVM @|x{6tg_:@g Τ^y@geW:jo}͞+bY DQyLeR(4,9(ɄĊpYY?}ך݌0P2q\䭙#wY\TF]b3Ѩ* ƹ6Dp|~M<@A U9Xk80jb@a&$*B8Q(7Wr/U-x c"PTD#}W 5sBԋ 4 0 XK6xhm.j\U+d ][\*;?UkUv5[*# ښfhw՚Dά[U2][3WQx}3.E $HxfuR&L|21)ml>T88PQy@CPUY4D w2+hWED%DSV6r3C}֬0vL0x $H`KS" DŽDRQBϙ(]_2P"}~ "qD,.nV2IED}\IO{Ҡ٨#ھkmk5 ɪ{k˫3-eTрhfdX |6dcgBYEEgXXXv4IC+A۠S3< zX] +Ԅsd}*r'SojdSnBpIw4aQ-i+?`՞iNDx0 E3=E1.1_ןA5_}@pbI6~Z:F lErY\3^K#b&z(6Lq8&-.."¬kV֑ ]Bgl~2wbvhnl뎢$ f^5 RQjikD `_l,ϪbVk=}ٙQL`az\Q% 56ZvJ؞,8-Rm%,[} yZ1CjjF.+Ǩ4y~6*WG"nN.OFBP‚Q-{&L+z7;W+3 Єds{*C1q)%JJQHkƎ*ɸS]L5<  `17)M:(̍oܯ 9'l#Cr ы^RzIvG|˾q1j^KI''4fϨr7J6QbdLa3Bbza@x/%QӚ@qX 5a_e[0"a /j/RuhYxAme8N5m&?ErFCvJd;'Sft_t#wߜz:2k#Pź1W`})rJejΕ̚|tҁR^ٗוO j/@ Ⴝ~:x%]Qc]>L x'kT3wbBDvɥCab$ Hi1C'C u]MDDǘcd#wOc7%p_9ý^ftԀ$ݣno3'0@X)QxTPе|@0ÕEDoGP'mt&2S:\y T[= 8k~5wpӰJw""6S==tB mP]Ej M~\˼O=I>m췽8= Rm)Xy̧\8IB2PG-rm(?:ٝ3H̓ Ei*Wv& 6^' Tb{ۍtEG epE5+,0xvQPΈx6\tBpY OTt}J04 Us6 83cUk tƸmi~ea)~Yύ%@~Yw[L׍˧rsWeZ!UR{ie Y-`͔`42)7mVn8vvbt[RH!# է[ZwR>*{eۄ)UZ^gN՞BY}m?ٔ9j4 &X?IWVe WR^EXw'Ƭjڲ zĜ=O5뼱|4_|b;n9p- :%t|c}츐NN]_[c` L`do fz{z$P@X`?Z2f2t֯m]-I#Jlm eoK4Lx#3spTnsgt߻KǢQە6~ %ȫ:9Zs=:[V`fvU 9ʧCQW>Q騄Y£h LiuM-ݚݶ]cEY:W&G\@~"D{;fgU2_c0#̴M[d^hVhHQTש*V#$s9CCl&nu)咤`5u# DKCa;2a=A Rd}B V{j#[ǂ~EFP{,Yv26Ol@ mD_ =ြJ># XfJ9AZ@{hZ܇lRuՠ3%#  \?t[=bpbtS"V˼H /-YՄfEKƳlu*fIX'<5#gMYjwxKmvjD~3 rVl ),P*SSObYYD%\0T콥-iU5¡L4"԰.?pђ /װOu . ɚ/ftG[!f ޙ)[WNu?0>^4q5\nAgsGx`1ytTliS5{1ڎ3bಹW%}q.⇺ނاXg 3h5GGYH7󉻸1A@~sCfMO|>>ij)BEנklkmͻ n?I8qo: C6X;;' :eNzRgۂ@\˂QY@.L!_ '(Dj @y7TbFgQ` t &As`xXPo6 /F]%%n3 0p1w*y=AnqxTJܒ|}%JyN#L%~_UCi]Wqx; t]x-On>7W)^A*J?8P )%hYq]{XjS#;o3no"㢵J xr"BWAӇɊ^e(R]ufd^L5{5SVj\! cE#hBm 2Qlx!C$6^,צtLDR:apg{V 6Ǐ<+/y |O<\U1psTuY";pyXt/6̼ug3Ho-go7Z ENۛ[i6jfZ)$qJ`F!fx])?U` Xy5/yK/h LF]4(oG儃%6'6!5ohpaɴG/zZ2=p¸{N:ysWZEF&"1DZ1=ſâu(IsJ.~qqU+;}}6+W8A{%dU+&#E@ݽ)08'36 @% <9mJktHaU͘ۋG:6Fh _Tx`̛J]QCu3gCs8^VL!k!^>ytWN L_ )`5;lG_ "=xA;JĂΛ3=M 9Po>bkD'CuEۇk+#1a>԰ݰ? 9m Rj;A&$ hhdȴ9VJMyV^"0@2Ǣ9 oO~JWv:y/՚d1aXxKReE! GbG>-Y!>Ƨ(<׻ 6 ]Lr > Gِܫ)`s,1IVܪ Gjp @đ~_ΆlG<*AWtQF}i<AUuE5+ 9*J-;̍=pG4D) 8i)5ӷM4CXMLNWxJ\NgI+Ȅh<9`_yzuN);8uK+g0&#){Rari"8vJ>-.Cl>GHxTZ]"GAH;sWéuY5kn,fXz1l,dYҎm+6mHgP j\MoBfأl7a2uթZ!DZ .ѭ )o˙偺O* $gHB׎s:Dه)\5YRlf8x 8 nEQ$/ qwz";i"!n8(Z) 2O23x9[cԫP#Loo%N5ҀuL5;X?a4/YwR9ۉˤE=FZ;~*'оRg*bh'iCv,#_Ctyub,+GV/Ye ʈ{@KLjg](k}.r*;r,Էg( V;#l0R )\1Z\ 2iŦ@{ST)ZDע}[yJí± !s'.J\bO,vQ\r粲_k}IFBs5q'VYS[);i߷pf*լ=1y!l\P+|C^:c13ҩ+P윛¦+[xur2  $ 8=D1_ /s;0/3pϼ2E!j| 3oL2@yWg4K%J(zY KpR&T`w "M,ͨݔ^f@#xe79&^^͸0*E'~ `e,WeboFxQ"w({0.OɺEJxaM.wX>uF:avL;m)hcc£&6s$?٫bLt:<8GF~N;N,sm/4Rw4Z|k/- H"bUfiL~31Y5e,r"-5'f®NQ*7M8\m;#b4YKD<V?7Xs V!z] +ɟШd_$G=~_)W.:4z2Q_ {g5%\0fiR9跘YfZ1ѷպR>qRz?1^m;Dߊ%,q_6+gM+\ԗRN3-[]2d/RkJrKBUPM!rMɁcO'K ^P tG 'e<~bfo  TOBC </Y9dVrDbH2iNyTKIdf~TWXYhV-RQda=P>oҼ>&d-5(0t]"$q ukxQڤҿȪjr?XnX W]Oe ~ݧVf9LLj^:x1 6ȠP.2f+,SRd OkY!Q(\>aO,{̐|#q^Jmќ=1u^汾v9#~#x'lfiQ%B{Z>rG~{Msi`}]7i GH3[#(f)œ޿S /cգo2qю6QmU j\Y340^y}F*!E.,T,$҄I}O־uyÿf?*:l# /ۼ)&ՄK1+%ڜMRLr :lA`ncLiщ+Vo`1mQb`Z*\~YJtqh= )CܟJ~sxZkĤ0Q_ U>z{vwOW77pq߳km=V[]=UKM=T;=LM:;3332/2͸RxL ̷˪ ̻G_Ͱ^73*fZwU3xJUYwUVeUVeUVefUfefVeU"V"V%UeU"V"V%bUV%o}]VLDߍ̺D;=qĹndUUfY>)5jfI1S;V#Ot|:fѶFS/Kƭ,JIkDT%ǫd\;Ss'-V[FIljyKD巛}:͇(#p՜=V!kmUZ['Dl mQsQXJ7΁iS$#Є+Cj8_McL!MIs@@_$~̤ki2#^~!N;u 4-E3/@݀8A#Nu#x [gqC9jdm"a6cLP&"Ril =Ft!T\砳qx&TI^fX}>Խ멉B#0])}KrzՍ(PqPXq|K<#Kyfa2tI@ s9+2N "֟%Mi& M9rZ~sӄ&'Pl͹lcB[oL7TIvT\^uuĶzdsErnJbJcP0Cb,ys%NNWak9e辒)9(hf{s֘8h:vStxdDsx}TDdО{eobAeX]y|e[ `p@ί; rЩQ@g/~bPQP&JS' М@G@ T:<ArxTAG3 [('T/Ly4‘l@, R^@ t4.-Hhx2?ؘ?:м##3xR9ßT>~~j-~G~' g?PΙ-~tY?:g&aYAƧOi G?lv3;?9gy#w+oX}B$ Qڂven޶J@%z_p.D\fOr,'mqHFHn" |7 o{DA69>9y;b\Z%x:lk`fj<2J)$}e.N~[wliQmn{\Cp /<},]Pxzߢ5C[5]G¬6iFڌJ6s1c9utj4NݒZ.m11Dw@%Guk̽PE2NhE]~.v+\"@NLϥRрna1>eHY鶄F 664۠f[Oӂj4@smr A9( QFS'BHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7} R-PgD|xpmO| ?yg133UjZ5e\HBz4:^%Q^6M; 44s[Rzd[J-4$yң6fE<՘^Ft'D0FD⽌aOz 5O2֐"G{'ǁa ]g t5V; `QF: mn(àvLBa 8܎H^9 1@'In"F !<堒׭ݣck'4]^֥0)$ a8tz{M 86#:$"b W`^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal J 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/':~d'DD[{Q#JfF9F9d"&jd62΢"尟}C%pTβH&Zr"aFM 7Jpa iCLυ~܈Pb&iibPKCb?߯̿_wS02= ۿ}Uz_n$cRι{R2&%iwj;"r$׆lA7)+zdX#Bm<>F xyIG9r)H [b "& $` 4 "4Y;büF1߼ӒA'YVc9^~}DTGKuw:GQT[DV[T&zs&޴EeeM71( xHkafaVFa˻E 3]E-: FS}D |qR`CSo+Dd ?!/jY%Sf?jC| s"KyfR92-@ õl9dDJ`,N#7.ÙMz!'w,W 2RlZZFÓDlcFQHC:5D!x qM]4VRM5>XGD)EY)$Geil;:e[-BdNKt=X*<[<Ɯqy‘jhY:7iS0QϪeM#^3RO&90<$9m;m@^^`s83؋3;TY R ɩ#G̫~@E!6-Ka'n% G#qyṀ"}灦8YɮF"r%@0CcU.:E.q) .[E;b"9O7z! i mTXѵr}ND"'n$9d,>ʾ_6!AHLmܡGeK zb1xȦJ_}ϳtjbB Zd/#\q~;kz*śl.$.uO> I2Rӣ*6_eMYҚaGK qMS{=@LcVyUև]% "*Ms|T?w}.~ؔl* J<1YՈ!~*,-3 7nƦmztX/"aϠȾ|<%$.$q2qG{xcp|~1m0-Kݝ9gnGY ׍}f%8VMMNQލ/X%Myە3@kƟ:DOx|sv8\J<-_VhiӔṵaߢ3Bb"wiԜ5&T$d5>}Ezuq;EYe7U oy枉0NGrNg E_m;Hٹ۴q[%˧զ??g,U3B l)YRcͱ \=!R/VkF!C+whc%KzK&hjƒ 晀WL˩ҡiI؈dxSd2:J~kә!u]琉J[Y`ܢ!$eցe>~"#g Xl2@-FiYvA؞m<o'і}>kyrŠ \t`3}u(PYzZH#qbrs1/F[򄪄$Ag6ַ6>Y% ex&c|I}xoVP[9PV6 =IcP⭼ X%o,1 /!Y@^Q= F(mR/SٸG,c pFONK'DɈUaA8tw8ܻe˅2![MxaAY+śנhxч!h~cy{Ɓrqmtdb8$? i'Z06u+lR6Do-| w,ʔ#t8 v @.\) wǜ tP o8$ݞCSZ{&x-' =RSB >cf_`RYoS42Z9z(C$lV"F#jX"K1|ɰ[g[?lҊ|}lcq*|#)e~]70S=1! Q#Ev\[ ZuTHҼ˨P,u|uj}~T-bD"<G'yOc+TcE5*zAhzOȋ ctv})ԌݣҀhnخ.a#& yU1xX2>d`L5aQTi!qrȘ hbj4*V3kH䤺k'+-HqPi{-,0Zҷhfug\j\e;?'$3ZSwaԿiC~y>{JRĦ$0if*R6Jht(%UOHOۺPRJ)"3dvAJ`R+ BWQl\':k2+bi@%M~?ɯ3 w]sx2]rKJ%>ƼzV+-D0vXR߭ 1'XRɌ!?Mc'j ֒n{H7+[s_t 7pO`i(99_fU2P+ 88Gdd^0]) -2 O*m`͓KIVъ:z]B7U,Jm޻W |Rc`X0&cq&PPŷ=Hv?G1t7^L:-%ܤ2EjNm$2NKYr?`β?僋P1讋5lj{MڠpL3`i .̳ZͰ֠kN_ .3Bp AsmHfnzeQs~ntKZC LZj0؟R{G)9!fpguH{0e ~7q. pM㟵~Ό=hW6fJfGY"HhX5a,7vSmN|Z(P*B|IO p_pVی"KtA^,aE\jOj4h1>K&3P߫#4 JԴ6kU#lPoX癉#v|Sdc8N 3'^Hj'0UjQ`b6'UŸ !2,)6PMGc0Dc]͏XFh7NLn~2N:9 CDzs<@Ikuu\%ZR+hR9TE~|:;ܓuM!z,nAEv+$$Njٔ`"0=QMfVR?)@}4A/ZSx+_ yLŊE7y!gw&YunM0`((!5h-%KlmqJ7Sc--K>ʫ!0X9ʭ6L<< zupz|;C峦0^`zes>WV5 ;mS>b=cCҕ9 Ѯ}2݋>zsle)i=h<(uc{ ;kƟGUetotpt؊I(-}z7HK/B:7H@p]~B&hf%>TbZ|!L ͏\}8?v\تQDžJr-J*.g_yF.eWȏU#g.z^XuTv]b3]4ĶY?> *Ɋzp-[[lh޼d?['1@ ڎ oXT- B-~pa>"D9%V,gӆ@пq.ø:⌼OQQUs[l/3ZA3_7ˑsGA<@BVߐS KF!XktN`cF'拪%=_"6_2TG5xgLx5)ݖ/nw95ÒluWZf9f e Dwa^0z33:T!mCP_A܋8B_XR¯8mNby_usmaT܆ӫL\* :y+~`_~xvJ::S"FX&|'SV>H)qEOKfRajE)ni}T3ĖЅ&)?hsf)L7 9P\Řa:M4Cٲn|Bi?Q?)`׭Ii Tg*p8]ŭ#]dpD*HS@^rUsKm]%7UwJwPˋ q4T~}2EcMDQ?֓ VYEVɮX]=mBG +T.\ht~U0 3") ./[i0X.s0كȮ})?-#W7MPK?C2~1nEhlF.tʕ/6sW\ѧ65 z(1Q ߯8=ͼ;"plfqSWƝӋ*(0]unF=lV,qCPCxZ*wF'fGI1 {>QqBtèa njdX^R$Mg/&1Q L!k6_yl0m^#oc>O!9tV Ө0- VFE.z1'#^3R '%ˬ0{ ;<ҏ_eEZt+uZ_$Ϋ ]E=ۮ hǚYK =0kaTu`1_?|ab!F:tDNhҳ5xP 1X0~~;9aW!y|]^wnj[W#?uZB+n̼DG Y~Qob&g-Z풜A5Qߘ~ W4l-ÏC}\4 /2dQ;-'fb @Oj6ɓ9zL;7,Ԩl$&nM@M12ﮌq#Naq&ٔʖolY G[f pZu\3d9(q 1³ߞ̑5siInr c_Y-fPilcTdM4C)]x?T*6"1("2R`6v51]7-Ǩk)E%L `D\u9Vl%'_g "%fˤF7̕>s*o[ Q-ר0JlUs{hx muj[SE<ҍ`V˘빉:Z`?PH[ LY8kXx0jZ)d(vrWE4pu1HS6lD (} KI0ݽ0 %c UT,t!>1!6{*F*t|&#:_ĸDPC@~_{).Ux|F捩]X:.1&"wv=ܟf7-yҠ7?>ݾ/ȃ Pҋs)Bg?6|=&ל; 4x[(޹am~m/ŧ*Z"v`}ɸGS0جJ@ qsTqa̘)Q-ebM#8@ֱq'ƫGH15gm]^B ڀ(& bT/h.bPMcp"Г 74G\MdSۧ 0) ̷XD=2"VB+ kQ/Bcrx PY #82uWl뙤6{g9VO#1 8q¶HC|1X=/F݃5!y.] #CEP:6ছ:_e Ui4Aɛyj s1dO}dL="AzcLНlwo§|Jy|zAae<'[S (Uݤȩ%`cVh8i"xlIoC{Hm!~u.Hs0Mx!"R"MtȠƮ)кM&֝@p&ȇL`L=-mEPv?3&>~,;ԇ̉~KڳP|:v 4Ǯz҃MR^6_ARqjքL]7 sKx:4ޯvU NV`&8D `X857.Ήx.aq8 K'<9Rs7127&5.zpEOV^j[D\*.϶Y'rEwd1ޮt5rN48P U>š,Q̫4sW0h>-@1#*js0JAV[ wqhy5s.&{ēm'48qI9{jecw P{OX<,YEJyvd,LRIR&F»XnR3 H [*OwD;c*iHU-wj8p?gSj7qz/#*?>e,W,3qq܏($'FʴGRE(8\ `rTQ&~[L^:UFV)" ,4P$zNB{|k\mBh&mv<^4ҟӲ;vI=h 4Wm(ױٱf(!PȱGUE4\h'zg\Guȩ*u'#d8KN L&Z֋t^ ՗$=~I$=LR&`GMu^7_TllPdτCs>9n3RL]%G`/W%靥42M]`,|]ާ$ǚNo PyA 2?:Pf"}+qݡь}`D4+ ăO@M!2~#A[xTN 7_Y\m"UNfGZ{?nU=p{UC' [Xx4Pq?1©a<$ <ֲ]/"'Ũ,7JմG2L]>;`:#GyrSR|&7|z'M4NCHl1oj 2y_/q+4NIv?_C?ԻJDA:\𔀫O5V]3y|φӐnЖ=hس<5؅8'Xe#-mLHF+SʍƉ58I+7 -%yc]m/-ﭨ haH>'Li W果v ?14ed#<'AQ3pOȩ} w#a$P׭2M'o(kH7q<^:)nr\㟭8H27IoҴ BvGe U>0NkVfwGoFi&lA:1GxY)Dz2k Q|O;W0;Ey1YXKmEA1хӋOd}|yJ*2dVP.F64 LgP8D6stכvSJZ Wc.(b}^02yZ[0>r6;E=ғ78V?.=;qr! }XNl"H ؉NE!t*z\)}mqpñÀ 6pl(ᤪ_NtuYhiMU,2#B ,9uWA{=[X|Ȁ6 1兺;=2,B,|<1sꕞDb}cfl;64R0m#$҇)\ɐFsɊmף\Ԟ'~oUc奘2h/x5vQQ=̊CtދX}3oq1?x9(-_9^T37P(d]t컟ej/9I즩qfrk.CEaMoG͕̒Fykډq_݃'5^'f'ch:oD>0}YemƎ–x3-H:q)|䙡*=3^G rˤ5lFL[A5~`DHAb8K=Ϊ%u$TpjN[uݚ,qΔ@'y9.`9FO>tWd'?oBnH;˩Ѭ /RyϵAqw%WN,%r7h(kQ1B.|lU"ϱ]4rr2XD"w~b VzӮa`^a^DnLs)v!&C5rK(ܿaP>ho:x=`iU%lz)?w?<۳A-)6>E"b˺X_tܸ;Pm< ~F1]r  *~´fzPV5m#Y=A5bRyh#@\4}^dt*t?C>m=&/Mt{-#2n}(!$r,D%x\mHvu޹%Qlj\HTL{;OE҉ZM_6abŌ%9C dP9ْWt3nD ',JMY* V4 _ 5O' 6HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`j]H# o]?#[fqLLLLd:0s0L!ɷ$<ڋiū5 DgOL\h>h0>yRhÛ ӨxAEt eR ǃLT,QAl0yQDF.&/)恺makk0,+-> I|h"B&moJ4R&W)or'v4QS(^84̄3gx\ҸC7jw螈iUө8-WuiDzyU_*0mVڬ҆iɊϼP}SdW3I;65fH17K9>4r8E- cZ k़eI܈Zċv-_htt|4/J̻@7iwB| k'+nijU$#_7F}9/FQXԯuW\}7bW_J- yBʛ 5$ZA\yS:1+J+=/IR82gn8LN5JRU)H2j1 e@` 0 A !B!@c1FF|.(5̡% b'`gK%%Ϲ^Rmtd}VV1$Mfg3U9 DQr=fS/ry7ceNPpQ(#O|J#xQ]l1O;QIĂ@,r02܌>/v& JBdȺ沛[bOP6;F-ݐĠ*rm2suxD{7Hk6; şzףu\Xm*\:i>9@,U7JXMɌh`-$9U7͹ Ug'?g YiK,~Pb*^o?W62{ :kkNpH&gZi\?Gox3#e1"2("pJMmm-6W? ![r m kkAxW (8nV@,Þ&Hqzw%rm5Yũ^m&O4$FqՊZ7kqBQSxsi~blH\zJj!R,aj$oEkQj8({l !B܍}9Ll(/6)7oc9I" |LxG8KA/ $5FËż/$ەS[# r|5MYnGgN,#CĈk)}x: KeZa-"S*2<[#KUh;]N0(q梠#XJuyEak!J},} f(ZC73U" b*w l?uʷ}l@E[/vfpx^YCN{5'+FpV XVuCUT2$S^V0407Ņ>6J'{E6@* {,cxZ]:зA1NdݙZU-+w0 9=<!w`-1FS[{I岖{H[9Wþph4=9I SG lM$쥥̋\9"\7= C@*$&ngI} ؜`}:䔳-xR\hڴ,[< -{kў铜GHK'Չ;Fa8$y[6N^JL'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