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_exportsu w~~ytoje`[VQLGB=83.)$ ysmga[UOIC=71+%  } wn5K' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`o)H'j3KzI|QH""RR? 6TX&r-Uhr`hB-R{0hB1 ğKjs[UbPH?I4m\lOEMJc hdX$wS&$NM<0hSML!aUK]m;ΪI"jpD nF%bP7C8@8,L@ h,%bЊ1h#eWb3qj-g 6&j(i/Gd~>u뺼RU31c ǎ)yJuM5b@&T^Vx<jTx\Z*.:e܇Bn H iS򭥗$jl{ VDVT'  }&k&xzM]ۻ;" 6O16ה+).~$qbߞTMPV*C4xG&z $6I0]Ju~۩p1 ,4? US#IRRP4Ch`Di!X(@D1 @ PB  bh u ăkx bAzn߯M.-'s1D˂JYc"V1PC_e1OoCro2Ԓ{w@UXwp?k3\]I8D+G`-RѷLܴ#b8a7`6]5X2N.G,*'%!  ?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!   R5|ddZ - UHOL-Nominal-Examples:threads=6elapsed=346.763cpu=1703.024gc=87.397(/!( MBpvo,#:ZU}-nV2%8Ԍn-Ѐ T$KcɆ\4vHk,m5JJNIhA߰ʴ ĢӭT: 1``ph n#si4JkozjJzlg<:ZBⒽevH_9%Y4Jc2C!   CClCbbbaJ9Ufe [JBA!pD194c\pH,<Iu4*KG)Ky:S`g XP,$H0 @YfV6DHƆTȢMc1)s5Ƭ!tC;ZK˃):PPXЀb9}2ӈT @@M+HE"‚>$ u];+"=E(O 4ui!s CCɃj  ȽX aAQ xό^blH8^ɔc%,  َ$f (0,ʈ ElbAa(P s   ab!   AbAp L` $ PE  $  84L{63SX"QiJy!2fN1lᑴ!i?猤5dHH$J 4I BBO]3ZOeVe-IYbCV5VOh"&[ha%ֲMlF#mfiѴjtZ)-S%mzvt1)lg!Ɔ~oCVsg/Bwn>;c Czn:7tfJ☮;? 1D[˱ed3وL){LmeuȌleDT1ylkZ&^;h4ELWз^Vhf$tBFf#2ߚ?ihNZiGB`7ͩ`JYKid Q.}:ͨIV􅼙KcPJ!%˧ϸx9z|>3s_FK `DjS (RmlTbSz']Y>;Ũ>ȧ]OoYg iUZ[CX ؋e;V/*]*u{YY-zͪ,2X&☍IȤ"=C>HkՋT?^+҄Hk婽KmY5Vǝ̔owڦnKN^fBDmklkKaK^[iI=^J뫿rlk^?Sd_2_oneD:nRېYٱ1<$ܐ2TtY^7(Fb#&ՍVU]tD1Qn6*b&5e4:Wh^*b-TD*]E: Df* fS2LxƬtU2ٸ*2ڸe UBuZZLDdjihϴ\-OMi>2͐9R% LvgU|ttUI/nViT-SejlJyL>|g4Ĭ]#%U˚=k^V] 8mZ螽s^koUZ$g5gjS_Zk^:94~9h j7dctHѩ%tKF#$ 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.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+VxoXCGW]BE;<|9q!ŰR!*$ݼޑd'r;b>aR]y\UeE f=A"D%x-d S\|lWo6\p.bD^0иAi.~o|VIQE?` McfUo͠Fh5qlKϴPDX6я'8i2Ņ*VrJa`RJ2&h2yO( **$6Rh*a H{*.wr];qrd;U?:StpX70Šd6Qrc_q.[>E ;$c # nAoB]rxܯT=) gï#LKWXaH6'D4\;]K$Xۑe1/ KwIFxNr-q vq}Q~XUSb!΢|PT/Yis3\$e;FhF Z$e D8[ܮ Gp^CCq-LF&jIQW!%;5[ Y))khvԯnBW0[YF^4 Uj*c .W,$LqHHǚͱjI-vq$_L AG I|5tڔluR8[dO}/<1 Gk 5--eѝo6_gipYOYlrs$b/&B+wzb@eM}=Ƨ+oɗn|8a9eG9S .tG_BAMa] Kwy1;Pm |:[Xeg p1eWڐ16j}Y@̥PQ\~١MXGtaD) )>Xď J֧ F; BrZ"hߝhB.O @[ZVU27VMX!Oe9Qn%:|]C+Kp ՔP $b&|뛫\&Ўj@$`?F4X  !|;+O8@q䥓^,[DQɁ4w> z, v\Yt@koxI[*,,8rWτAnŞ.s,x%R,r덳"\#v|Ǣq' ;k .a53{tM6D,0^qNdcErK%#mvi6|I`Zx1mTR? T ]x ݵ״>|R^*{Mq?،l.9Kv_ 6SV*G<) \LZu T-'xcp<>@v^ ܦQ2D̓4Ο$\Rt=~@/F""r\"^- {|fT Vm4cL >Be.&˚AeqæXpkɮq}jI#r.#_:ɀ[ui&}T*:$ޠv1} ZMzĪzgUQѮPoI3~":Mu|ךgęΣZ(ڳ_݃ 9*K$U{b=bj*U!eK#sJK9t.r`&>o)7~Hܜ 21J*m: qUX `ڔ84"݉1X\]zB1?r)/EXD1}[ZUt $ KWI8^s3}Ow:vp;[ ۵bgY)Z۫NvWA0JbEl |׈Ծwpogp]+W<& (jR1psA's'V)1a%߸c  g`}GHm-/g(sVfDc./x]DκLA,FRC8G߻o_M0rX!!^3WB ܎V Mg1w}fPlg6`g$xv$D*ƥR\؀ tIh4 䀗6`BYrHH&2N]*~?vh䞖Mx\ ˔C12۱ZH4p@9}=+ZuC}VƗ&Ţ$=rUӢT Mp;PȈ97C#rJ[e.0/M)%ұÙE'pH,~qL:3c)( [3#! Jއ3 1v9ՋY9=r ЋǪǮ(I Ѿ7YvKH|K[| sD8L>pZ^f0n)B 4}9F8M:]?12g놶CoY(LyeCRRqrÐ ȪnlnqnAii0jp?MehZK&( O$Ljq .7F fp鬈!tKns`=|C4:}󝂬 (έNq ?&"^@: [?0ʦmЬ^M(8rǞBnr:7Qm'Km*{V߾_"QkWcYJ)ܢ_I 47p>+ ja ӑM-Sz]w:0yh҆fr5 6Td@c{&3n#tUf-xG¶׆1bSlؾMS_]thr9qf$e^Wa(nb|AՕ:뷭z6ҹGbOOI.ķ7մH1V]RTDCƣ<"20j#/. EI|!DMY̭v `RL:G"_nr4P^_*@jF)50i A\([:Y!(ه~neMLE^Ԛ {3AcZ$Hyܣo!;N݇XXq[՞ 5"abamFyD7QsJy:_v:tv7{Cn1,OU:#gH*Rm UXQshxq! (CK`# '4 #*l-6ӧD֓cAk7h͎;NAgGeאmWÍGG|m2NkSHE+K`itଫEy[9ZՁA G*LýQ\1wVIF zcٛ ;\XLtח1 { -Hn%YVyAu(?<[ #*~/ k$HZEF<$)@̀h1|Fq$'~4Ug0DDZ|DU;^DZu"`kp4l^M$S];OHI1C)I&vT"ϐD :E W )' A:AL}bp2`9(1lC7QxK4'QBx0ӗz+} 0 Ӑ^!<3n> c h30ʽhA'^ wA@t=}D'wJL(SNն;Sv\x+y 7ȅ ^<~M:JKzڜVqNXI5y oփ3bߏ)ERPXs`R,fg*^`"P&j y~i$ KkKn -7 ɳ k\^Sk.eoڸ%LJk'_L0Ű#R:Ic-_ ǯv1|Q`M~1L)HɄ`?tyRK,n̓ C@] x~~Znq{U6@CT&dR=LVC]1X59zÆgà|$~P<)8ʵ1OdsI<30\P/ 3|D Ymzyx&ϸ#C& jT^1?|ICG^x`C2f*@' C- .e~{OF$y E1Sȸ""en6DRT?mç/%NrRZ"j&Y։HՉFN50 o#iaL'!dC'}%G^?2Y_SCėk1OFfS o" \D]yæSu@:GC̓(0Lu¤>".ٰl?z t5QePLB `iyhX6FJo1&K tSl4RD(%2mwf<>1v/ii[s'-PA-\1DX'lv5D^xvJմPNS5CǞhsxUMb*"b32i ">\XVk mhW4xrRl}߹ x޸2 tDśXpυdV`eR*T=0n5'͟ފNٹ[*HKboI4c7Anl""{GE$OwoqpDC<.8m>C@p';8B6k2SKgj8tPGWd-;2p(\F"~`_ RhP<ǩ_p?2OL 6>I9'~F i^}qw_58 d N ]dn5K' XHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`o)H'j3KzI|QH""RR? 6TX&r-Uhr`hB-R{0hB1 ğKjs[UbPH?I4m\lOEMJc hdX$wS&$NM<0hSML!aUK]m;ΪI"jpD nF%bP7C8@8,L@ h,%bЊ1h#eWb3qj-g 6&j(i/Gd~>u뺼RU31c ǎ)yJuM5b@&T^Vx<jTx\Z*.:e܇Bn H iS򭥗$jl{ VDVT'  }&k&xzM]ۻ;" 6O16ה+).~$qbߞTMPV*C4xG&z $6I0]Ju~۩p1 ,4? US#IRRP4Ch`Di!X(@D1 @ PB  bh u ăkx bAzn߯M.-'s1D˂JYc"V1PC_e1OoCro2Ԓ{w@UXwp?k3\]I8D+G`-RѷLܴ#ɒWIL].KbG(ARE, 41[ɓ, "Эp1" GcMPH5)ty 8t+yJ5-Wf}]dÐXLs';mצnVƵ aW!%L͑iHp<DC 4PhN@p(OX@yEiAV!]عX|m|]7Q(a-̺K#ԥhH4py'BDC;84l*_)p`inAT Y[ZݥڨRYaE.on Ƃhv Bi BIViKuWUUU&-&r*9I}:͡'Ğ~Uդc1 k]P(c"1%RP$cR2U&,RL$ein)˘m͛L)pd~f>Q@B!"b!Da{)Uըtyql[^7oy -d+&&ojnjRkrKsO$SdS4 42EC _L`7䋙0aÜ9JIv&c:r/axRoib0o^jR[JW)U]P<)uUdeWJwUW%ɦbM$dTNNՙϊ+b} "O_o5DB4>Y^RyˉxQy!G̠y]j%$ @uinQ0kmUavsUftRqb_0,U "vvK\{ech`Y*5OܯT.i{9^ۦ]4Á jqtr.>/\$$V@235D兓0EA`LzJ"2(*  "0 " 0 )AGr&fm>?Z,}NiO<Ʉ{/%?($@JNY01N]R^+#;Ja" Hgy$qaEmM?Wp> tKi+cM o&Mc5<# dט >6oX>8EjshژAYmm$ 8!XY0k_Ke(ߤf Ejrm_KR祭1>j/dk] {&y%ϙ濝N8K8{+`۟\=4 ȟ]Gj//S1"ɣWmוRƩR(sKd]55s٧O3c?Ò.bԜ& %Q Nk8  N#GIn>S4NvBlCW8~V&⼋D*ₑ|~o>гx](^s$RX0 iICı$DxgI fXe]!ӭnsERبyXtn7*c<Eb(&ZЁÂ560X,[b"NDy<Ѩ^^f^^&^e]%:tjjhhyvffffffVUʪBy;5_mDGUѶm̆uU-kx[wwwwwfeffffeffZUUUoUUU{g.❚ao5LD;3ê%ywU5Q̴*9v߽믿^[W_ // ¿<h]GmF}}FFmm[FLgmmmmFmѶ6:Өdf A20  &0 , &D .$ !JjwA{oM ?8郖%to6Bfl?`n^]I$ur}OùyygƁf<,fjwHfFTkAEU,*.H3#n+Rp7 1xơŶQSеXBqwdN72̋ zO K^ _vdbo mxp#/g\dە f"j1J<4_L+Ţt:6Չ5#X 2ts̢yǍ,,pU<.} G[p.y_fav~t`]%6~-?dܥ`=I1Kt}iKg55\H'evnڞ :GIqrW|C dpo\Y)>NY\Qú)'N;MƏ]@*gHNQjGS| /u G?nP̫_@Գ''_ҭPֳ^@g&D. nԳdw3;$n.uxoA/Tc n&s/"9\@>5[fW-S M,z> @#ކ H8|}¬q7oODs}d5Fj~֨z]qP@5~{:JZ޸dL@`?@ڸX1^T(@TF6wTPeyν ~k8=*0Ty.lO'5fo?$y':P#@}p xFAE܌; Zw`^?n4(5 >gO -nH~x?,Mgw?yn{~: DR}~ˉͺ#&Ѱf>@xXe~ϧ4%^؛FOhQٗ/tvֈjj#(/Ihډ- #t@z~Nf7B[3N 4S^ ?I` UsˊL( @d;, ={@y垘ks{N2.sȎjjO[=I7&(sjwT'68Yͮݼrz%;E!luF6s-;+3QpŸr76k>Cq …~fd[՝ZxN+KO|;jޡz_} UNwh2RI5٦d]ٝ&gn6dm4TM!&_\wvv܆-؈l6fhC3S:\yzEh8=XݛUJ# G82+ޒf;iApM/r5dt84 q$xkpr鋺&Eϔ> b7+"GJDF]|3 5:Zr _V+Ԗnh gcY8y+kgo<A]"]Bѩ{;i;K~Ռ\jK4j Tb&TƯS?Q7k+;OO"d޸1U'Vx>Kb:L}6aby BqJ$gn3]R'`y@RWbŗryq"0]o2rr@z^\!r]AbJ?0\1wxlA' w4I뺻ꤍS'vׅg^;s_ݍ;TbQAq&NcxnPJ$̋[CaЌiS36LC9]@{B0˖3r EN9$b :'D^Hl/$]:sh U 4`,[>ݚg.M<1Km\[^mӝ޶2{bs*wiuj? N+ᖵ)(]b/ern{X|2"5N,3ul%?;Va 8ĺK4}; {]`>Vl,av'5gTph%k ȼcIA$K0z;;4w V !uw4E=՘hjeZIWg@qjy6thL`gUnHpqox#vɘUZatw**U?)6 '_Ff? u{YӬuy&Y XmRB]7&H)З/!?)o5Ѥ97\Hһ]^@bLjWL^(ѥ2|f̴?7 sdFPJ`Oƿtb/@W?s`ݚYz,OFrc {'*Sd͙ ǐh]a1#&q$'0_b,J0jv@r0+ 0 {⁲"lĠr;@|F'flPC"}>zeZ1z qq(4T8Mq<>tdiHjTYgIN2SaRCKTћDHNz%c[  2pD} )(B0&"tlB2Bq`xlsMyiYyNiMA8AW؆ y9Ǒ`[TyyBYe}B8 F/|(mD(К-PI">"c}$RUc} d[V9{(&J鐬5oӆ1K!ryOEk5Im̹;HRSA>I aHrqyW>Xz@O7<}Z#>lA!$Ntŷ ([\^1+< X ϋ\Ep^#GgHhq (Ret"tk6@ (el\ut[-, i0jU1Uհ}Rpd!n/]$o= `=SB|TE$Łɏdiwk8/(It&z+1Nw90dC}R?1IZW,)v;cSu N4M73F5JLJpL#cOZޅgyĝ&U ,l;A(ay[fr!To b~;c\<8V4E307P@< ݜüQ)3 DB{p&C!4itc7\ދ?lˊDTNN>ţDZ. p|JqrWɨ@.B:8:ܩ\ \'5AA+/C`bv7x,!Nbƽ۰iG&ӭ_r"s99[/k/5̴N%1쑑 QހC>CA7ix-'@9[ @ƌ,j`n]S)^y̰Tc!ՙG $[7=.8qs3V?bj "AH%&MfDK9~C.ky>2 OÏ99trCJ9&I"U )u֛^>:{6FqWeؿp谀^641l3 qTp'!oU+88nVV&D`͑? hf Sf¥ʔ4"a 4Fy&G>0!pyNl ^j`zb* L,tUFm kC5eoT |Z-=>lcU$ Ȝ = LJ}ZȊ ?Q0QԳ}Wg %<|DXhY ܙ| YˇQ(DZ\RbaysJ8yC;e͡럏Žǯ:?zQDć. ja#yU yaɮۘ(Kѫ@o83{?|[-,"6i!p+q& ^0Ndw,YX0 }nOtT"D?{ H/ÇIv3;ȜBh3wjdmOz`m[:-P7 koQjIm"rҗxGPCBmPHI9ec@F&=nveM_$9%8UOGA'gĸ&s=~ڇ=OnY1mP"8'b΍-v!E[}1P--D ?QG1p0es)^_(|-mYj1zˌeH;^3s:Dk&#/t+_Mago`2AJ~UNH>hCtϭ*ʍnff 2oyee&' F\ĨG)D|J?ip+s&xMp˘s' 2&T+WG/&o \ f)xp>/قÜ n[wX;Q|۴!<5{:O= q `]6 V2 F\x R+4O(qP.'9p(7)e&s"xiwEdwpCͱ7s$[lP0BOg?$ lj]l! /q߶h .;XXmX dB"^Uopa!<6|qąU6̊uAW(\Y.~ٛGasAa9 >aPtjmR#z]i<Z'g?vEveV0oQl_ c jmR_[O<~ :)v'ckjy=dCMsW;Er@4& %g0U+.Cuv1dUՆVnK]];TR, (m`OlxUvpȶ5űgp| 2-4KWNz;Btέ~mR]{!/oüd2yw&2:ˀehq"Q% 6xTDerP-}Nk11 4l9EWB^ ;h5V+ Fq$K?9FvlDnNjqHp$6Q}Ďa=}Zz0ZW5P`@4UI}/( O:E(ҝ|4Z RX"7%f٭~2 4X=`~Qԍ=ҬU],@ "Pw^1F/3^ՉQ4(h p\0HD^6֗  " )roc9a'm3E5 G) */?`[ϭQg!źyp,H;uWnnv#SS_ n/h1t$ 8; PU􎗥\\ Yq-&PdY$t~u* 0#C'1ؚt2Ӿ3d95?><'WpxP%vюDP>/B(5BͅX%; (4B._ZG*{Xk5"/pP@/.;$\Yn.&k,$b.3L }dvuc z;2P{I^Mlz E[,nef DFėV}JmŧQ7Xjס iK߁-uz+HJ}tvmW͐7bVbv(!Ğ0e&,fc#1,tpjX#zn*"a1%QHT^Om9 !>Ӯ˒tZ㟾0W]﴿}'f$6^=Azx|%>^XQ;9v4qqlEa+,\ҎO+ڱmr9]NoBpoo}F<@"Z/dNW8mp(<,Pt",ʆi`5|e/igbmBn`ygkcWxB٬8?~3irh]z@6f{\y},Zxh"C0'?@o)AZ%I#+ǒjۃφ[i0F\@K4?*f`Ql# jj yތ:2H-IQ =kYӰY8O Owi~7h$i ܉J35U(;6@C-2cFcשAmJф/fHZ]ҰB͖=odUPCs?ڧYrT:";3ͰKؚ>7/}>3S|؞~|^5v7qH&Yr@Wx s-~xfQz_)(@~N {ou69pg/SZ::7eꉵSP{+C}ԶWp[h߸2/N;/`uѥ H $N `M 9[ʌdC=$̝;A$gIm$gQd)4ƛaừ>,0x4pd#(4ÃpaI0 €pjÁBÁ[`%"BjnGl$a"c &H ݒ3P &DX`*T 7& VK| -l" 3$h?۶m۞mm˶Vږ$IRH!IrffFfffffffߚ6t[Ino 7Kmm[QQъ$5#m&&"BzfZ3D,qTXؿ͖&" vKvƛH*,’Xݒ3Dr|\ׯ_mݶu[]m۶۶K$I$̌>m۶m۶m""""""""""$I$I[rV&"i\ݒD,& R QC ,``Z!g6JPA 6oL$r->p@Z<SMѵO}PA 4j= n)56G j 6?M0eyX9#k|j49Cʬ4UlBmFPd&fe6RɮڠVJltK _#&W3ylM蔑`Trx>O\zFԢ.ΛTAmhkFQqi]%Y޵WnFtXY?^LKkԢҢ5 :i$hH~)Ņzo(CW.>^絫} 2?ǐuul\QTVxg 4*w2 `ErmPF 2(f`S~Pj0t,)Fc\"+k#J_SBk_sG֡à;RN@BGK(i5S*P3AWdQ^AS@{J >ikE~oסPպ[x̓a$O4m\6QFyHRBj&w8[YvdK`np~v[dPKT9UT 3}cx2 [r[s6jUo _=vxǻӦys94üL=M2 X8k }HR2/o!vO4-{X9ɼ4?ibV ßD(6 CxXO̼(4JԱa7.Ub]?GJ'-2|T9 ?]Aյxl_PJr L/j0gKeC2W/fn-D8[duM1h;|8pIkNBթَP `LN}}`i`X!F s%+\D2x/eH}P/YRg T)XDY{ǐr3 0/qa"Wn,XN,Ndw0/˺a!NmL!>p 9+!ۚ!_ۚ!qi& }k97At޳ROxnM,f45\1lVfGƩ˥lid;s7ziVu,*Z"d1 W87qڱmiˢBD;,Q*!C<+a5/  %uW7X].fʋ<75R"tJ:ߒGd(5n˵B$9RkM [7D|7Vbyqkdg/]*DbO'V+9kUPEnH6ms/ĨJ?iԎ̆!V5}FG\Pu<>PĪAr;~Ր[m{j}XмSROdURVj~KbqjzEͶ ߯%6den @U$Ըt+(]VJ߉S\Me>W5+ݫkUCbgДh eWs=ՑBNFpW3s:Ή0`}Gsyo2zv}l|}@^:?ENYć*\Gw\^[gVoi4>Hک(uuד0u[(5@3*UQMGbl¹#u]fUc+jH*jDkVsXVhRM2Tjv&K7( \iFsP['R:E8^:*VOGDS'CR4 hhfa /xcpǑ8o?ra2buP~5OauNDVLi7'nT[r`PJZWL[̿bHɮfnXg.֝D%,?\/'Um L6 8%pŏOTx5Y.5ku0WW<]уu3uˮmuʺ-V4uѺhƆwe ƥ@5S鵁hp]n-ā.8I{ `mL"IYvagvy7Ӷ8V @2X:^q!vwYWf%Qs.'Im#LKvH *08n'7t1.p Va+fM+?vn!F֭wIv..nWhjK|H[:@a(;/!d!\vkZ rJ>o7VpPi(ϸvܽhBOTT1aޚ]p*`D`Nj -KSA`T8/Eז{ꦭt~E *+\R]LAmuj\k=HZ/k-q六-/ B[ioGnY@,6 N؟Geb~ļ7P^^5Y`(B4)(Uv %Lo7P&i!^BKMG}z"Q0f3=V( 3-ר+lbzU Ytfjb*㌢`+p ړۘ J9Y*尐QY 7Ll\Uc ܳpRI>p4*s5 TBLT(g^Xf!GT Slvyzì ( ʺL٩j3p-)% 5uVWyeY~_gx a{YS,,R2c,% zͽ,S,R 0Yز+ZemeG-l.7cFjf1QN)g-OJ˃-/m(O!!F#H[z%l fY?6N[N Kl?m=Az S)mCpF,/Ȣ $ +lgյVraߐwduA]r`;_"KX, O)s t)comm%F%4PE8M%BZ`JbkSIIfiG¨Fl߿ht]7U?€Ep"MoB_n.Mp^;22QoL,9Nڞ .5]X7nbwDS5UVFR.䭲%C-iF"5 wـLAL7mH2tK5nْ!~x|׵c7c(c gnu|t TLQ*lI;GtX;pRA"M3gj<v{ϵГI݆Ka ߑ" $ɕzf7e+R4R۾g3'}9ܸL ӊˋč$_yGav׭oاWj( OɆ]YcnX!lݚ,X2 lGġs8 ^];jw|G713NYzbXC37iK+05B8]('3#K3YH{;dP4%^[Q{8yy9K@guɀl9t[ ױUNj¯X~{7|hH7WVqO _ξ< %|ʆ9FR&ŪR֖g׌jR[ s/LkޙB[KBv;3jrt*pl&ǫ桃Z1mՄbG;]pp֡"c!r^J暍77k FPԆz-a}gvV*xh#Y1ulLj 2,Z9O9ekb?5xK Z!Yލ=(u\>AS_(KG0sȮ%-G#h3BV6|TBFvD΋Xеtja})Ca. 2̊HgadHHydTdh]E` &T\ 42DxI@K(r_ lR$ćy{-ڂz ""3m|#qTl lDu ?:%XrUUUUu]  n]En֝xfg f0Zwg.Cej#ƨj9fyߖ= ;hcz Nf2KHHd!8>n/_*]y خ֬ ! ÁFeL&g2)%Oɔl 3#ޝfu̼.ӗP.hX d 2##xgV*2 IDbᘐHL"K3G3V$~DߙVYDdB4fCw5zwgfϤWU X3/OG?` Ztplfw۽IsO{qvo&ٯ_y@&j_C_j͐ʥUET&J,›YDPHHvT-.e/Ļ2۪HioNU?oj4Ȁad`c1~8?CXUgw=@%@[B!ﹲ7Kj,僵f<',-`;:jgy|L"gO©ī  ,Jme\^PޠK oh d$Ĝm||{`@O Gc? hĝiz7(: K0S lןW,%·W IԼEh.Ppם;ʨj}XiϓE>&aY?sݶxNZTr-%v=mV4 xJ ĬZӗ ^WF?=IX63]CdbdE%#.޴rR51}E~FgR+dQ e1J*l؛A{IyO\xs7q!U[d E%Lx3Y9 s5Z>$M:xBǛ[T*0ֆ)&85yu`|1%Ŕ8!RpP#.X5 B[㜏B>ND9hܞ`mXU%xXhFPCSw|rҍYq%-{IlidmFF3~_RvF#-$3 6ywtz!?㦨Ɣ?3z*n)޷LQ5@kRmrR>ql~t=q#ނߵ#`YnpL:, 5U*k>/iI`%M*&YVt%E UJUb Cj643WPuv@ |.bȉ%s}v:/[oZ'E,wtT.Upgґza]}JWu΄;m?R[ݐeW^lFVH i}%'w ];enNe(-tNFnH{T*5_ih1Ո[>gN wti|=uFhx iŽy5DJiRkQrU?E>G !J ڻݷhĖ`]X츽c"PVj8ڝJB$],!k3v?tQt\xQctoXy v,Kajo3OF 6Q9yy>j7n&f.k+Kw*HYJN㠈mVxξשw#& ,btޙJ;ZqT\@#R/m$w":w,Qe 5Eo%l72yF 3VnK+;& h4,ژR9\=n~_M/$/"NX֯MUWEX-\doA. J\&g`/@?@63HRm 9Wk,Ѵdɨ.j6Vz3S~nΗW:74^! F{FyPSY8Zyw]K*CX{gpg%q~;%^2|ϒN"7F2D#NBEl jXn_-c[1 {AwbcD'MYH͹gqX\W6^dU+D`аgy#gN7&pĬ[`̑ mH MP8rZA>&1?x0 =ekm !bc˾SojY"]32wgQzVo%,[Av'S'|Q3o;Q^%(y{{וSrT>v]<5G!Lʳ[N p*Q(aGVR];FXW{;ZދٌSZAKg;vW: Iwo6Y?͞sHpfĺpBxpNJsm U[ N ២\R荍Oehw邲㗘+z=RZOeEzIx0TO# z%Y*]S +Qٶ(-`ʠWVUd_fROmMBN2G}_aWMDM*3"XU$9q6ED$1(׆TϷCEU4͍%)<{ӕ:sC>,[*{gdhsc@mfsŲ#VsA3=HMf(Nž9zwOAX'LM܊Jo58ڳHñ1\F4Õ?5{UU`S,#4\cbCu̻-.@h|vTӗќK:Q0CzsS'uYuiim҃;:)5Fҋ1N aLyUXIIdIW劔Da+%yZfŊof݈:b`91Sh'JT? MM8yi OEl83-` "˿eE6涅l8TE2"Y@F3IIYjrq?'4 䓝s"%:jVz̼PwϋX 3 LnbzR1"FDR%Em/?v%sg>&27%)Y㐾?!"Wgn7fv|5H̵5 n8B;r Yh^/uDiK.\ ;nyo;%6>'Yֺ"JV Pacٰ~Y<:SE>hG!+Xv`YžGz^AEO:Zn'^Uvz0LCf"onaQD3mV,s[j y8BW7dU썮W͠ӽ#~t(I\xwh ~^rd6x\,:8Di2f #{O ^y-$8p>eo^!xmL&[`Π\SoCyJ".{TwDS.<#JG݆ճ~UpcЁBhh1햁*u昻/EY&} !cDkn}B*_ %6O Bim7 Ql&v!N_(@qKrv&*#[,%pJ3ݹMFzoTNQ,Cfy&Poeۆd _H _-d4~ΆnX /=3o}li{.&qūrW 4P_ޠO (Ѥx-9̊|07@|d7rfMaՒ93ubLb(RX9GKQ]IҶ ;J3sOՒW^ C,CCkb5IVo(:2ٮ:qDf)dOɒ@ס7hYΆ7M;AGc5Q-&[¾=Kc) !55|rR+lV:-; q)C@,Jac ٱJ  G1i,ɸ`a%n*ij`ģVZm1"HeCeØzxw|w*3I͛ԏl8A\E.ZZ2 $xq*k/R2^XjUYR$>g>':eXf ѲQ7Vp8CeՉYlc&j<  [6@:>\BMMm#)+'VDv{'wFcY-"L[=?|qc?lA퀶\Ɇ?rNY\pԂ&r9(a}_~&ڻ #/dǨτU!zHzI:#깶?ʂaQ(.`tFrQQ!YsC}2v;\br.sTP: Ѕ[^x‡ ԉdİ#tҕCP]5geΘ(ipYJUp^Im1Sr{ry: Թ~+QR#(]E[2Dmna"=+Vv>=D-ٍ ~T<<`-ʎH bAe,Y[K&cJ"#/(iY*-Uk;=߇[-}e$ /E+nGݭ>.O%S:KdY OYW p%",rəT7WOCFj$ .}}eR ^p86DtF#_\dG[V-V>!OM;k(')bb+9PIܟ tU(eqn"Ew!)˽B^B.墲DWTh!NpŽ)d6f]kM!;kI!UZ ȷFjhIއ5S+c]? XQcE=,xgy/PpjiR6oZYPtۡ߃N œ*:1Edݨp.⡬(zU8y]&,_ZPP=, Erx7.=WYlЫ KvU4:a ̐9X vJx;DŽrĹF0ASQυyUzNl80;PltŇb-%y[Q"!c1G%EdS،uL~xt)Wgh] N[[D&GNK#j/\E'7+BO4"zFOav"L'߷k21ʴHRp*Jpbxc-Uzc |R 5A41o8m jpRcVhUnPǞ@B [y*ऎ?1 FlKÍ 9;s_ ( \$;Eޱ'\FK!A=^@.l)J0"3BQHJF.}(-ɅG?|·Brx<~l ¼tULF;bo}|GJR e؁MCxJrN:OA?+@Sq /nJO Ai! Fe0}ryHnd߾ % W-9j4-s5{1@#1Vn40onu^8ٱ{Upaku@ ^rN%ٲ({8 $7K3jeywY͟CmaeME@Ut˼ND1yljG$R] V\#i".->kҪ#0}^ZZ6w +8/JDxjk bxv[G%,`~&:wPDvnxS]e ):ӸMERC @ʄu}ʧ #\,ulU!@I&Rå"f4?) /ɱ`E~`T_Ҁx^-RTr{iCb\tc'j+23^ Ǻc#AAr{0uovvgbRܗkF*{6S[ܑqx&L]~~ҫ8'ct?V &jB mVx-E*^nI FBc4x60J\֭LRJ rreàh+MܗC,\Gq'~/nȵi ] ol8QvGG0Yׁm1b_یR^C.ucԁ}΀6>>G Bl[g+0lpLպAXBّ}{ã'_y s1sfH<3C!3}i{ǟӽ4;YH>e$/EDPC)&Ie[G`m fw8rŽZzidQuZarȟ__e'y G2KvBO:fjЗI4<6ΠYr0is5^XYrgb܅:j5^h6+[wBisio"^X\1QyG'$zak5 iQ\'{!rGbF:2Qxo/@^%"^:J2__DL3 'XYǀ[roNHP1(,<UKdʓRc/Z7Nb>Y)=] _wF߲qE%bӍܟM}XL 򩩍&^FɴrP7o; Mn~KOdsJK㣡zsUlO53#F$$.iO1ʣV5̜KDb U  Dk>TMmܶu z%&gNN~Pߡc,{ª!8fTVmأANSkp/uޔ6{ MuEɀ4 kc.`m/E jp$'ĄMAJcK9c X q0L|^`aNM̱.tzsP?UKD0#pF+S`hq f>t ;_ b{[7PYz4*w*R'k#cB`2e~[" @RP~b̐C7+oA[ FahdeXUTV:iGtHRS)0驕cQۧs̓!3OvN#8G .lD ʴEaa2FNnPZ&$|1g2zCI}<ɬGO+٪e#g/"}ŀb/s)V+7eq\bG6h qt!Q7L$"qU$ tkaџ oP]fUL(\3!/0M%d <%=>=%1HKJI1 sб`U% nd%mlLˡ*`f~F!LZlʭM'<* qC~Fo9 {h7#E}0i|: V6YM:c ـ,G{$G:Z%ɰCcT"npɘzڇF'V|Uws `$PŽ!o;9SOGf37H^SӁw=LA\w>9TjI|e5-{\qBG.6$c u\plE+afKT\TL~!RKUS L-QN/:O˧c[20roe:,d_VjEW|,K%'9ZT7kdY<і dgUe!nqu"0˩%:K8D ØBѨːm[ܩ =d>[$ ~G:gʳF|Y;.ݝw&ӅJFbKv #EԘ[YھVbH}>( O {O+fXg[Z*T)}T!AUwo9]r5xF΀ ePw #d{ka =:aRmaU.+K2_.Ua^g"WBN*b+B). 3ÙNuj`ثQV03nFC#-.3)*Iy~Ta0mM5(-Z繇ʱR c[sqÖ#7.nCΒߋCC妩OwBy#Eɏ'[&wU*zu6u^̗sX OVtUwM ?c|:wǚTõTa녟~5y*GFۭ@ktcKQu'2fa*k3UXhXIvi/!x&4)0r(˰Rx$ްυ;>} \`|4;W4 ]$;Z)rvݸKjy I9AcIOFpv4~L0P{C>@~DY /w+XlX<")3 Q8J!\cGi!v A_(e8L5*ȪbB Bښ aQl1 Km amw;ދ즃80AXfHidXs ^i|:fCJyǞI/1؋V ͱ]4rQ%Gf#\*lnA״`+AǑgkHXd.XvFuvdWn$zFB *?du$ Ve] ?<:6_0?gaZҒDgg}nLDas%2z%87N D$~<"2nDԴ;CM%QVwrvNCK[:m9wX=o;(buRq'0Gnv-q#F*YRm3q*,T`^u ,J_zO`kd72`(G4>g>\ DmG+Hx̿ܙc2}c.s,/q[sp.f$S+e:2GފYӪ_,960k2X1&IWKjQiBNUY GE݁q /4Nbd!*VcdWN-` \I6x\4)h]ĒI2v`Eb $>&=y9"/~Vl.qk4JX\ b4- P, t΀]$,j%_D04q͡Kn:C3Fu`s-D P{VNnao7B#$SmI)= {'Ƙ؏:-*QHZilCcwLgdm{ɼ$BT;'nRd 0p8lc VSJ]N`^ p9)%W%ފg(~2m-yi o<*M GK~ZE29وUU"Ⱥ/ GMO/gSk!±{!iD3˼"|+Y)Vcˈ =~ӽ#|$_IrX}GB?m;2nV.Kt#yTbHu.A2AjxΠ*ѡU ͬJY 4) #m=1 D+9Pɀ!sJ(GNc̏IV_1ehT(O^ u3̜b Ce˱~_;flFYO&hoos~įXkDI[$`vXM8F,")iE'=l(0Y%H:1Fh)(ԅ31C`:H vw7QfmbAᒄTv(})q&4#$_:v~J=SZṣ8`5k5 s$px*W:xo ^Yds`#𝿚:Z<$:qsOڵ:IBnbw'/ ѸbJM.+yԛ<"x-93m }qMe+U-9^g8JUJX=^&LUN]\Ph[|@2/5|IJ%aibͤ4t{x0\Rm^&gd(՟VTXDZNr/0`2|#H8}&m>^9be9-Rtq "0F0|j2 @@he|Ms4D9FGGqoT9l( hx sgfО9h~7f< C^C*Vĵpr C҆kZ e&7CZ+=NDRo,Luiw#pL␙L qrPbN}#8O0O":9 occ4dlL P;܄Qb#p(R*r8vditx#x8.}|~Qbd-ډ6" ؁VwX~쾥X 7|DP=B?pX$y۳9&^ 8Uz2툡KŪ0B!y?BhпE=- h&\iiFiA&[ =2ѳ>}DCGs x2P!ou w_ŏc$yTtli-zxPΑqX'&lj t}?~w= `]'usC]sF]T qɱ? MP%krWNhu1+0TTkMUH5{|󡖹9NT>Al` i%F^ixaX`JۼYŶCBX3t#IzƏ&:JWNEvkˉ.15'Хާ͚d°Ku:e#X]ꂡt\LĞ#T{Y%6IZYqD(ij"mOEXHF@Uxd9bZbD+;4/()M.z1FM_LϿ̡j Uq8Γ|j$δCwï"twMSl'L󺕹o[VB3ՠ5 ] ZO=@^0wܿ„+Lxb|VS]Ve9%Nϱϱ$NhϳQ aRܥ$`PMl,- {G'j'k?RmCo|`GW%R?==ʻ*v;c&'5Y>?r*GE0Y߹ا#^GibH*Io8.+ G+C +/' 8F8!uR̾*!ٯ1MYi`5Aj֏ ]{z1>1Mg`ss .x^vn>Q)I͗E\WC-+v/H8!T]8ݾ>v"uACㆴP-+A]Z %vLc'1JJp<,Ԟkg$Ѹh:Xr%MA=sП.6a"ISon'O?F&HwX}@`ER O}rPnRyX֔jdm%OO io+ðXWP5ڞ;bz;DTOYgӴ5A(8ā(Dp`C\p;\ik@2kӵLA/vrGu3Z*Ď]; !?Elyo ' ,߄_IɪCT`hi*ST!+ n7 8$b(է ygA@IvۼSˋ:ͅ"`?#:5%f=0퐶E ?doL^BI@irMAl;je/WsI>d0Elr|V %h>ރB4 .@xD~*g3( ƖC<8GHte 5D73zZP4Gw;J6I*rPQoWf:b*`Cz.@&d!$ɚ.) $wˉE3_njI9Mqc 5&h0 q#+^pGdg{:q랦3lVl{1zB+v܎ ֥#l1Y#7/<^y-Ew;لtPRr@k֐:;P(HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7} .PgD|wSM aK3jcffTSr%:eìOu2#Y-Ci ͵~ ]2dljSJ^܁D]cQNF4WEOEZH%d./: iVg N0\1e0b67^JW: `QF: mn(àvLBa 8܎H^9 1@'In"FMM !<堒׭ݣck'4]^֥)e"Ђ^6pa8& NOѴ2w:PqDDXl$ ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal T 5K/ HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/<(J}P(D耪j_UV23}5nڔD6)._80nJHec9D+i6E27WseE݈CrT4%H*YHʊK;q8)fvΫ;fI4I>I96Ғn;)K-E+Y̅WYYѸaJ2LKg1i-̊8˹Z%9cqp1 5*!Q< (h@I6lxXp`HgR QU,_x<r$ F"BQ V 29@IWAͣ4$w%۶myRL?yш휫l̸gLHt6jMLjRıN$TXY8RdKXLGT u1]dEV&iI% H5T%]H+z$ ;T=: =?<|su4mln8x"haXzk&zj3Qyb"MҐ$(PNMc+ RCY$,`YCwו$ y(yY0]/rc*zBA`T}.Y;gZJmhx~ʯKz /BXa , Pk '  B`¨B8( #WP"\pg^:n퉷Bw)/UcW! f 5O' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHvu" o]?#[fގLF @sOVUۜ| I Z5 DjfZޔ꣌rGXFC&:  ʤH*oqѩ,( ni^CvG#oܛ2a?4oŇI|َTP#(}8ؔ?AM)= (8rpdͶQ<4?Z-Yxj9L/yG(1}nWk򦂶eY:nUAK%F !VLøY)'J-G۝IRn[C% ʏI^FGYb멙RL?qkmeR8j7VT. RmԎԺ3g>l5bj d#n;| J ĵjBRs-x{~5ʊSZh%$Akh%ίQ`Y/m_1W>ZZN ZBPSpp]HO>![|:fV5[k5n^S b1K[/J]nq*1bvƻ)b=$I5 e @P Q1@B! "1!.(Ӣ(UB+%Wd}/T8>KO@i20YZRu'DQ}d? ,UVѵ`UFlH>N8QzDTQ Ņ3"^>D3";Rv=2i:5W YIWLڎ}~ML?Kb}[f?]dþz0P1<0GwI%)<!KVew+i^ugSោn.cgD[N*;?.%L> w 5"žiP1jl^V_()%l{ݗ cEGPKz\>Gϊ Y ;y r rD:mm,FM_q0>yF{[?Nt~(^C {*;ľ!.6y{Xp2 $Y0c'L8Ist@ 'Ky Ω+9zq.ߒ=äc#:a4p/M$^}Znyθ=h$s,tnTݵ۬ <қBDEU$="Zʒ 2 h[l9M&`8?e^;h6nS=﮻͙᩽[sLB5C{ 6YUw/qߚF#['{lO<YN%m8?OMϓ!1ӐZO-kBXFv-<"q& Ѫd {`H)A4I37)K YLѱ19Z^>3xf35pﭴÕZQQ;$![޲g<Ju'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