SQLite format 3@ ._  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   5~4fL ?- UHOL-Nominal-Examples:threads=6elapsed=278.690cpu=1388.663gc=104.982(/E`*<&)mF6P_j ևE$ew2eţ7>/eŹ!űvF#51rSf5n%SugFZ,=ۈNjb5#yF;_&씰CF*KD#kavCƬ3sKF&v6-?D*f-;,vGj- S5cC$n Mmꄈb2%?xyfm?Jw֍ !2aD#wHWCq8Xx=(hG<!#Vᨴ4xLX2ȬeIϩaXNC"pTu4x0 $8`nX!tAjdt@ R:#!5(D$,0`BH@0d*BD :B2sHeІD4hbE9nȔ+cG4HX/ Ń禅BD`cDłCÑR $ @0! ,P@8$ 4PD,PXp`HD  (`P`P@ " 4$XHP,@`hH(`H, H zyXePn/]|u^}uc=zb27b:=W[W.X!24{n"sc 2tFNzf/Lkw֧iKwVn|z;;C{9%{v^jH7;b|sbwqƈcQ"{_8|f4k6c}13ȫQ[c /*vILFnCHʆC.I!G6C*ѕYj]C9Y;j-J;uDMvm; o&G=v$bx-urb]9FW*[gb+"*ܞ|Dg{r~T6"dRɖA9#sXBg6P+K^H7ez<764RߙI;CH4s#FLjg2fBs% oB1vдyH,Gh}}ѾޙGiM.44-f[gq4;:RVb+<팮 ysvUl "pNecqtuMQIovb+,R<>sI_DmYI$θ|hM∔}1 "?X7nVE\S̒qO誝Աagjakk]dZh|5 wuk]Mg 3,?twfgve/M!1Jk]C%dc7Hbc!_"4M?[/SN֦UòCc~xu |)MԵ~2XG>늼s:^4%kzWY2klUrѪfU^UǬUkXe eF"yѦz֊hS48S2j}JJμjeHԋ'Fz y‚E ,8w=c'+IV$hEZy I+[l#\4Igة4THM&#h7FU&SqM]ewKE:ضS>O3)on&]D&kΫܿ,V좉-bٰT~eCbIN$ Ivs*=CQ6 "N9 yghzc&Lkq i7!=KE}Z.[h=kqjJ){N;^vfYɾ\m),ʼNqiDYZYm96ݰZ۵hU)$fhi)JItBwT9"!*WxÒ6%5QHNb&TߔiJ5VWmG,i^ MmҸ&5b}4 ׈FlhDHHߺ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"   {z   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.thyy by~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b@5K' |HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ujo`)HŒP<'bUtc=3妤:< ʱd:jD{br&oOFXPT<E4J55ǹfUa&jrLlZ_*VMXDdW"-P,L#ITT-f.8bϲ3Ŧu #QOcJ[y(^q~'LbmMŊxAZŷߪPTi]A<y$DcJ"eEM-h&^S ܵ"QO PI'$FaHX$  U%4hDB3D_ОjbBBA`&&-"CM4́H,PiP<z+ucVb*bsG$P$u1/<\8YW3,ݝۼyɘؘn}y*"uyH{Q&I3Rgݵ #0:#*F{Fb{zƢ$|˨$^wˬ ૨hp, y.qt&g>%ޓ"b{s->jqÌp Lay(??383s8 5A Z3qp=ǟ ǎ `FW> 핫p,U#桚wN˵ݬJi>%YDJkW7,NJkJkgcbcbcb>/}΅ZA&ih;Aa| E "%53H<" H4K.FEbrâh,p8Eb"E=U:RĈ2UMD>g gɾ˅ɿ "ME1IŌTڡ>E[Pm?TӶWVZizKb˸g?0sm@[뭿yu7{/+?jo^D]݋,~[Y5ҤK Hsd^׋bb 9!~|{w t s r onkidc\[ZYVSRQKIHGDA|@{?x>s8r7q6n5i2_.\,W+*'% " ?821-, % $ gOo!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!   Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$ @X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa"qc&$i6Zj+.,h3"XTerAs2Umu{.qLRa\v@S[sq-fF<9 $.6FV'[t_b'e)jj}HSB01; ץz|OSx]Vgߪt|nmp-U[ҙ!g%r$ QtqDVpJszc|P>*yTf C$mkHE), wH%1$y "#UqwI* &F[ODOpt:N8>i/8V˕U֨PCcnePvQmbk>`gu9*r K1X&VCO0y.n @J}E2S6roVC\/ȮoCm%wVnkPr= @4}v}=vD_@` >Tv8ٵq I9A9 _UЂ;tUbg'-f;/tf<$BӔutݙ0ΠtޢL[<ٟ|Cp9 @TVRA-#Z{+3; }w*;=;: /r)dW֛J5E:q sVUwuMqnt1L\|&`1p$56q ?9_ȗh95ΆV|b`B9Og0Oa҈ORm aR)mzhg:W Ԥro WƪI9fŪ#C兜rR]28$ϔ6>Äߥ[G2pw.Uɢ=KM\Ϡoyy ~YvFUD iES3eODB˔:7p:LnPUa,Y> @,Q=0zuFYeBSZOpʞn&V'z܅D.'g!(%EňB*JR;:@/}!MloH:{q:qK U|&)iЄLG'CW@4cS4~6ScЦLa Y\j~,gtrb]BoFs*c%.?%y׍ /m]# ^F_=^?śZJ6 %_)|-O9{N4']EjE1VCњ5ѧ]T(7tUx%X;TI7\ 6Bih["ͩ%]|VB&Z9#":BZ0i6/5:%g"f+''~E\s,\Knzm̆ Q,&SQʌAY bA$b`3GX&!l8Q&(] ";1&~aTOɜ"U8ՌIj'XvĨ<SfU)C UӰƷab#TYŵY{%pxa{jzH p_þk_karxs(5\Sb.5Ae<>) A ,+E6 4w#%V_i*XGN44V}CkĦהЂMflx+!7 u_H|H|cM34r8I-w%7E'p\IJ"kzϟ̩jVi>:C68+J'>Wtu]tZ[`bKeC_1.m}P.h2ܭ*7.Ȕ "ns̉*wP"pJ5N`ߞH Pwq 8C˵ `y@ȏ)=٬3O%|9>g0oS͋tȋ)gVF ;׮d0ǡl*,X3/n|#M2 ߉QmhE/p#q{&cP3/S fJڶWͶ<7̖ }{呱H%̅~p-VLҥȖƑndi4Nȁl g&^ʷ=5 \"% :8C$T^Gl2 W^`օ!ƍ~cMd ޜǘP:Q9hC8uW5tS`F ^8Ndj8iH9SIA! NmQҧÐR 3t`tж$r{d]QC{>Wny~% i ɒQϿ YY P uBjrq+3͠d@nMp}/CaHƈqe\(G)kӟـPۯwRdIy8w }^MdUrPa[bs<ms7GK+Upq"' @~Ww /ˏ,c?>kqSHST1@ࢃ)jωQ&緒N~ GOEԑ^qmE1.l~\@GU|Xn|SX0fa)T4_~K!#4\}oqXĮ'KDB9ՊTW^(f'D&cuBlj]JqA[҃9䔎Z =޴r׭vp'nZExC1w`o5bcfi,[PLb( 5H[Z4@*qq_]hUdyTL~NDNxT@H?otFeC[һ*JOp!r%9*Ĉh"72:g9㢑ClVo92@_*t C7젝jٓgp(R@Wk 1PhEߟR?:g3~_uZ7*=S|Ql:, r&ϯNL%MoʼSOP$ LE^rpa4XIԨLKPOjޖ,ms0V3u`ӏZ&޽sNJ5x[lC4_'*y X',S}T'٣Pl3Po$mW}ZS4|Q\wym94~µ0$}XR¾IL`#GGv e#)ɅŤ$K0`cSFDÃ)pc0p/^#  3gf3G5Ln!d4(HK37GlAp֮vNNE$ٲ|o|>r(ECPh :Ç|tn%`U VYtM?"{Ҏ ~x.OM$Gg@I}_)-g6ZlWUa}]yˤJ:aĮ)H";Sj+NpǍ#"ֹO<،;AO7J\a:M$)- : *Jd%&3wsUXLG`YUyZ/=P|=yxԝfZ߶*muqJA|)Z,_tB+j?̓fY0Asˑ^hT6LK7GRHaxg:[u݈͍UI6ǩ2RTeM$i L ^ Gm885hʿDWBcz``s,IN$ݓS aT!)wKD<5-5줙q/hH3g}[ ept}"I`΃Gu`'<hvmKMl+ԟ4 l8P 3'9Fn!Tu '!#CkXt܌Y/_"k nEE)C+Kό:nY\f \ăA@ )!ʙ8 +biJXIT0thn 8TyGYUyk  Ɍ8tg*͕]P,B&2 $F th Lp ضzIN̂:W; t<yrN*CLH i}`=R GukidQQ24V2ג13/>{O0=Ø&; \I5v}n4DgcqžGwֽDTƐc=vjK͋2ߗ4 D ΁?H.~ G?ElgGfl=αA ag{]a8PoB +rߋVV=qvfrg`6 j܄ &dϦ䊾 c *ؗO NQ n(L[ϧ/uycpIf?dx蠈}5: wl;QI|PR=4 AJڹ>Q !se[ 2\J f'Cp盇I8Y iD~#&ɏB/Td5jLY1!%QO&Z}$5K% )Z*t%db$y䱑Yc(lj \ $IbBՌfYA. W0O6D4 Ƃ>C_cjy2ADg`#RU8Ou pw%9-Yyۆi[(]k쪛)𥱺natHc&\eR{o :聸VܲjhQQ_oi:'pGisQVԧY+Lw'S 67[$_l'B܌UM ȖUEN_!SHq+=a%!ҹQh Xm&2mgp2z"jqdOW ${?"w8r–9Z%dFc`juN~_[Z _M9R&-UZ=DF!QmhֆJI+g=zq0;|,/=p. zSV;qpnpvg 0ppEUuLK4{|%]҉Q2R N2LES2| zu^T* 9ߊn0*%kT Y\Nd^85v9J%BKs-U]hB:HJK#-^ُkx2F07 4=<:Xl̠DuQhLzDc>2_u2)ɒ;d3nWD cH'mA7<$dUAH77i2?v >؛{"h3 x%2d$fE՛ʄԆfeHV떏Lv|؆T59[ǧ:+#[DِۯpDaX6f7DBq;)p(%lϝvK>m( u'Zě;F/!'y4b! 1$\t݁pȒY҂LɺNtJ/j{ p"eLN:ːȋC*QNڧ´Gl~8*H'd<@`ý9pE=yu޻sлjuvD>aLP)i虎$3з8b"yh RGùFDӸ#}/m d:&JÕBʭǁ(rT36}/nNHߦ##0xI,`X&3k3uaƁ>7c'15D1]PO: ]硒J_Bq/UN~]^U*lc N=`~D'+DJK;` zsvgIѭF(Gw&B8=$ 6ZU6@tHL𪉑N)K#+ c'*Jn#Ԅ+r=h0MՁxOO#05Z›+"yoȮ- bGݗJ˯y H : v :@5K' |HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ujo`)HŒP<'bUtc=3妤:< ʱd:jD{br&oOFXPT<E4J55ǹfUa&jrLlZ_*VMXDdW"-P,L#ITT-f.8bϲ3Ŧu #QOcJ[y(^q~'LbmMŊxAZŷߪPTi]A<y$DcJ"eEM-h&^S ܵ"QO PI'$FaHX$  U%4hDB3D_ОjbBBA`&&-"CM4́H,PiP<z+ucVb*bsG$P$u1/<\8YW3,ݝۼyɘؘn}y*"uyH{Q&I3Rgݵ #0:#*F{Fb{zƢ$|˨$^wˬ ૨hp, y.qt&g>%ޓ"b{s->jqÌp Lay(??383s8 5A Z3qp=ǟ ǎ `FW> 핫p,U#桚wN˵ݬJi>%YDJkW7,NJkJkgcbcbcb>/}΅ZA&ih;Aa| E "%53H<" H4K.FEbrâh,p8Eb"E=U:RĈ2UMD>g gɾ˅ɿ "ME1IŌTڡ>E[Pm?TӶWVZizKb˸g?0sm@[뭿yu7{/+?jo^D]݋,~[Y5ҤK Hsd^׋bb&ec`hEjS"aBQS5PhL}DL0RR"U3@=|U8,pe$rڴZ5 !sZpX35*!7&! R#= 0yRx`9#YaF9$EؓAJA P4,A yFe"fA].||JDK %w]00Sぱ 4&F̼% bDKH07d/mZ{7)Oѓ_0d(z]`(& f B BaLuȯ03u83G\T˃&$&iSKYϿߖ"859󠔋\º#)9$)K]PۛESQҔc2-VGT}z9EO#Zx59_ Z!kc\wywyw鏉_*RJUU,pX JH0$sK9sakÜ9U>s{jR:GWa8^>od5J4;۝UW-^Ƙzj^6f55A U\?cEI}uγYs)ݳ?5S3S;3S1 W "z0 H`p?TRgF*>=\zwzz|^``TQ_UҦeyV/Oѳk%8I_u[P,|w _&#&7m~^&VQKyw+YPkR=ťni#'>oiyPǧ $6U(P8{j;z0 C@!FFcAHH04,^'pK 0$iaApRiF2(, $ $ a0 $K0 8g%@w i~1HҾ6Ir Tۂ|R7 E_꾨\/9әjw$| Ly}.2.SӝV;i ku{ls|ʁwlHХhyȌ `cgnYEʩpwu jyJ&_Tɚ%U"\~j;"Bwz5^FdȼO%oWlQF& H[7daW̑ )M%r]/Bi/ooahu ̇r$-pViط/آ-0ݙr^T}B7OJ/VϭJ̬etp+Tk2Rw%%c]jh9%gSt5pY|HJvPZěDKY6V;@֬3'hukU1AF ɑ!.&zT!ahpzµ<r3ag4jàFzOm {|*>L((|@qGAQw߸: $==\y\IrC_٭ ]=h o==-=aTw@zѨCbAM<<FI'# >~1*u0xgT)al//_z}~{xvDtc.pʾBOEU+{v$;oc:v ;i@:ku@_K04vuG@0JAKrCtD:<nf؟kw .CvϻI3G-7d+l48xfӄ6 YefwifU7[Yt.rztQѡP+%KO7w6tfy qla*&:a}hcoI$kh'6]X9,'U&A 2Z[C[!Mſ+ͳK9aW u?K.Aѻn>ˤ)gP(4ymLGS5-{1 =_Nb9mKޞh_EWb|M }<)0."ᗛdab }{7TJ3[ֳgGQ6'6mvl#٪:t;BmMTF>;d55pX8ͳ4vcj9#)m/w^M{VYsAB t$[WFHW/]v3>wmָ}>2n<^wi!k:gcO?y~Xò;EW6jCzRN*ؓ?K)?S :{Vf0/ yj|}zXTmouAtDnwATwj\sW [}i\SMn0y@4 M#[)F狷:J7}F|6 hqMv L5RࡂAq %zR4mCoyW QW6d|6>NOIW cz(gC ӖDj:+&4,v&-ϋi'=U< ),<&m 1ҎhQQHV0Y NQm>5:" guŧ#B+\)O..7$,Az NA1l"ASJ."E*c*pnbO̗]xV ӲUOǧ'Sj!о2 E^d?uIxQr㋅4(Bh^\pBy`Mknp8 Xg|M-e O80[;XȜ%՞Ɵ8Cr\9lO̧j0@v_EcgT|RXYgaL~w3`l\b d{EIZѲtW0[NJZ67$H8n[6ǃyrK8 kx!O4J=|p9Iȥ''ht ]oePܬ=M;helHvCx1 7 (RgYaӕ[  .WvEiqBг@auu)"_D01T܎7ay=ufT`x"q`Wx3`f5hT3$|/j94N2 AvV<Z"sLƅe+Ls 4]oº#Luh%ӄdJ mxm2NCk%~2@CLDD 'fc7[M Hw(;IK,grN9g;U*_~bUqBXޢR#N䚑 J15W 3F|$Aod7ܹcږOjCʓ9RM`@vK5S(n#kZD2! Jgu? R'j?%hxf4}D|zd+St]_qSó+=o"h^i;5ʈj>U6rدH6J?@.=\7Kd=C4m.=Ƶpc!N?'іuֳ -uW;STZ%~ KĐ{οTܿC8dY5`uZ drяPAE#3ǃyna\j/M?8 f1wCKՐDe,X@l )je+dWzPšEXU.)p8%<N|FRDPi.2 QfNl8[XfDos |$Ɩd,S*gPŘNy(4sI]|2#6BEBB0@(€l- X`3bU忴'd߰@ph(s晥365I$E$_6<'VƉѻƫF>]`' N|o2cl{ߝ@ Þ5eC Lf;pJESŸл. :_'FGf!l-F~wU@,'T.Cw0@ܡt& KJk?d;QSI B-D>1:z~aLLctfiJ3"e';ŧtT$+L G3 wY #IgLmr0N%J`dΖQ#uXO驠\M(w2 R(1 yɄ=b*ZP|o/WnRfEm6WfKCW;${X]4兛kH]WLk$TkOn}QmGhpC).AI7ժA3hMt #}Zp&QSUţ j'|hf}Lq!Ä$ X.$s'`qOoP&n͕D%ch' fc%$nuH|=^E'=6UIKlg_PϜ$I3!i|>Um۶m۶ݝݵZ۶m۶ٕٕUUUQUQU$I$Io֌UD%O PP00@@1  $ @ ($`P,`xp0ؚCWH#Es#dF(=$FSZ I*eu,$> I>!).JI0)&$ϡ[MrU&>I)UQ#2!k(•cE?5B|R#˦@=9F8@Q'i ZSa⇔z %a"MЁms"ӑo/Pz|aUR j ~xo s"߿!+_kOa4_͓b~1owϯI4{;"觙$u1 `q9.ds9h,}r'~a3_"zwM"[=V^V=]^  Xۧu5K3:l7]P5glTk){X-Q _ibiv~Mljp xӳ~QٶEXLj̃Ohy?]nψh <8t"Ö(聞 f,BM )& _T?x缉܊cpn`XVK'޷x#LuVyTq=ha ><R k>$EerZ3&4e5=,u7͞ F E\wԉz:h#{p;vZ./;ᑕPrk׊hr@9$uϰ#@hїKyYz&'$Jp<]s365ʝ1['VxNBs XX6☷nBh %L4Ф˾\+cL|URtܞRs$^ ,p1v jOSW_4h|]ALWvD89yA<{E&+,$g|>6ܫUl@DL\DR&UӒR80BCRl<,c49~>X>ioOOC0]"Ѧg!*`?f!;\ǤGnDnNN)1ѧ51} pgUUQltI%.}ba4\ >_,z߂؝kHՇLқCx\J4/B[̊ n;@ TD0uD)u$  Wٓ]c'( D1߁mVu?H{cPcpm *:"j㍙k𬧱Z QsxcCR|?<|ttִaRvܡ9??/ZQo䗍__S-S? El [wgx92^HWqhb5\ `Xi3}]zkvA:=GMߛ GPCz2Ws$p#m#tO)cztz9XM#ܔcH5&怼=D!츯 TqdHb%ouhʐEw! #H,ISj+L̓=mb OǐX@cuDຝIP[(n e!ɬ¸j],'Z4Z+;:oxbśw f |C7Y,â=|Q AC /;t U @{ kRB4 kF}t;<^䰙Bgm6:$ Ƭx<'v/nhg~C#*/6b$R{V&eHӆmd,y%Y6D#(Z[U$J}VEbG}md`@ř9^X)+R T<5Pv0MكA\j6=l*VYK-`n8KOS @S+jWPJ}B~v_ޏXk SI2`IQcy'gMs*܋lgtSqGЪgyb#g*ܖaj'TO#@ kcQ)e)S%&YEVS'YR XjŅ}ƻW 8k<㑩f<5S $hSO I{)L|t^+IguV̙"@Q~0ٌZRqkQpVvR@Zh@9m!hߴ@}m$ٗ$*М3Fs=@ƦJyeyC]jT3J0Z9m;>4QlDt4eY/v=- Ciʂ0@5P'i& ^pWk@<ϨV4HEV̸yY(G.u?lm7HOxҠ!}}O~R-ؔg%{1A 1&v ByAFPRI;R{Hc̰EfG<;Ƅ۱ wV#]Sq7,EitH f1Zt2Q@ey = c*R^؃t%g2i%Jz qn Rʞl,p}Z<'b%vYqZ mCI0n\.)erYw8Rx ʹh Ǥ]''.5*Ra,uw#(Bb8HSK}kcMr_z8B5/ԙiTpu&e-5SC^16lƚ6R&ئq tԢґ16W܏]V$:")qu>N)F/וAgq׀zyP+†]Vܫܮ34wЮd6Ifq#MVB QmD=&'g(2%U$|^[ALkUW8~cUHVŵֈaeYʘVw=61U3E4`c"?t ޷ڬB(!ܳljXint .'ZnkZX@ \-%f+9[M6^ *I 8+FqQ@φH6`}3OerʇD(̴±!-9[ T |Lflb€dL D0/Ы\26{؎hb2P MtA-wh_u/Tj 鰑#FB6SRY T݋S9b"@ImR2<[ܵ>x![;>; 2U'y,U+DS^e ە1.P MglyQi9\q$1 flJY`ظ= teFT)KSpwi5'ES~1"ƱZ\𞯒? [/+/̵j/4 گsw/4[ūD]b2XL2~! !`UE%}aodhkpG"KגkcBdb XY{ezQ^wY%7%4`a/_~ ng`"}=;7*1P킾u( uFl3!o,:Y(nhs> Q+*e_€EpI˚?GZ@8jp 'X:l5a)t tRA}ݳ}x0M2 [V޶OqCQD Hؽ3K{fȸ+ ^\|^8 KXyJ|;᥊Lr:fh1&|T;y"igu s3Hnu=4=1 p=GLxpP"ف# :,brgaJvԣ^U<:WL6w]uOWY+m̞ :[tmoxu)FjTꖒS@tMF6)4Ne cЊu.мs ]AX@rd}c%g'Ds"?A n[+Buy$g[9xX[*Q$${{]dvmvVSջʯ9>^DS<, \n+qQ᳔A6S86=JaY`WY c umN/o2VETy̕)+ G=ɢ s @]DJEϖ?+9㙖p~Zz%&O ;Cf.jٹV`9xE̱ &稖a*jUZNi2?lkɪ/ImzgfU+h3=UX@Iwko[sٳul"4-jg,7_7گ]oHu\,.X66hU–gcaL 7q];2x\nJpKP6\[lj{]Pwq^Bc1m5ɔ%A*GD^~:$0 B#\nwvL&: tdK'Of]c2Ͼ\#H88UW98,SpÏvBqEP՜mBW0nMmOW9R3{ISr4ta\{isL}12-O6T8uFԈP}.ROBT偲;mΈ!p希*$̫qT+}eW%>?ҔATNUպ!:|*fV 2ѫY9T %7ǽ܌# ]\ 0q,>[+fq, -(FfA}qYS1%SաJ"^pYHUMöUE;٤p7`f}5~F=N,>S]۰~"x1 #ZƄrν7 c,# c;揼/iֶ栈jo* 9VOjF D\"́is\5/kr7-6=`dzynY*aߍ#薳]s]N+?|Ww&`Px "(iymN` YȂBhAyAuu3qX`ADn+lOTgoSJ5SngLW5q@(\ȨDvۙ!G IJOd!I F>ngȍ Od!'%B, ~;SrȞv&PB:cfH(!"eH$I$m۶VXJ)3?Ѹ3'UUbN蹪<߿DDDDDDD\U<߶m۶m{fff$əH|o"g8Wvv*Dvng_+hS)IJ m!Q"$Vg @"NL8LL8 q=p #$xҼ81rQZRz!֐mzB  +SDc33?v ӈad k`6sp :S:h,Vjɟ\˿ۮR&Ąf.M(\tJ6.|w5s}58 p @ix8 v, d~;C133SDL"ݖdLhAI1ĐA1QR%'AilIʬ$Y$`Ail4*J2"nɬGFEq+p4%.i+ "Dr[)U?ΐeɓ ڒ UV O'LU̟/_}QQڕl>o+Y9F"4lGJRiT4DUUz¢A$)#cv;3#7ԊAa; D@ 0DY(PhXP<``4 <$8D A6C!&|s3@Lko#B0H_upa4F]-NVrSRMz`sUDWQ0F_4v7XY#}D9:/GLR XIcG;%ΉGY0,c3=%tRyf?9빚{+aZhnJX/pbɧ=C2h6=0T5<P~3b]v o(x XkY%Cl"W_x \. we2;,E|5o;`M{P(aO>6 lfIи4@=VYVARS`E,J@=`- і|yȍ[sF}v>!+D-}vs$ꚔJwB% %*<:EIS]I8,Hu%X+!RY.''It(34#*=ܲa@Zƣe$H XgrĊ0Ga0H:C`-`:؎Xt^1[b4~j%i#/7{dw*H W\bTwTM9惝~:^8ߘQNr|Fwq|#}sP̀"5pC=z2fӝώV>C>P6}4 3QN3[" O굼Iɵ[BHane~񔴯]nT~I$Q<:z\Ǎ93 P&p 9& H)qcZk=XL翳_MZ!~6hXˬUΛÆ2 .~W170x0. .1סB(>'k[~Wx(3ְJ[.Z ^ X?T- 7nBM6v{[ax] p} x@n{gRJ"tإ;,nv(C X, v:'6̀&uW/ɘƞ7U]<yBl<$3cܔ|q,pL=̼oerrd Bxٖ"6(R}祈F΂yǵiW(yK%d o[sK45gzɛk`.D5hk79B<*04ݐ+S4d NT*rB7`(1ÆD0c9':AhadCmp3`.ĩ"5ی !2 ROt Ǩ1M-)}bBDj2ܚ-1&@*`PGU$_j98] !l[lq%-YJ`6#u&{Mcah~E O4G#wy  BQY nKGbZT]ܝ|crZ10][κ)e˜^NNIm*HObqUiO"~t=>rrYZyN#EǾG|$MN^,s4̩urfӬ!V pY[ECEc)G;M 7⨲h G&@?z ]0֜X([-;s0^ wc5ЇCq,޵"o㊾n9Vv @vc%$m( |;uR19=䇱<71{P{2y/#ָX@c_Cbg@$\9?GЀ[ Ճt˨HMYt4&e1}L/ڋtr=Oax-eQ<Nּ~AIgAk|gO5ExoZpjǃ|.gtJr4Jh`HA5b-c^!W`En_s BvFx R)8w`+tDrmZ?1?^¡z$ӗ8(cGS|f9vgYHidpyHœ2{K< U{a9Yv}i\娦^|;rb2Rv#5(pń[|GLCn}Z>{5C>N/皸Zkl'9MF;lV/wMPLtvAW&pN@uصs뾾5@q4ު?6E%ֻk$yΊ|bi"mwdx|Z~L!<լ fH^M(= njܮ6#ˤU6lu ?WSn/CЇ<gkA bsN4U0n>bk#WE^h?ɍ9삛WG,w4} ܃]sWw29ũ׺W5?:h?'jQ!?'5IksiJ] ;Z\I~mũtGh{ҁџaJ's2Yꎡ:HgL=!͑ }%i-.**ji* !gC=הJZЬ *Kdx/dQJf}u/v'i5sJe$s M:ހԷTQe!)tժ l$;rm`/xQyt6QKPFel0irOԌj_ީV7҇,Ie~4vN_;=)M~>ctx6׼:Ec<6`睋C}ϩh?<n!ߊtɾz=Bܜ` Fyfަ Cڲk Þ{13%;l;-fPQ[j^UV=ӣLStsӶ_}*R0Re>p|i(}!@mG4|ǚ)St=g|-Us8Ty*T>Dj 496%Ox" |5"|kUB9Gt[%dM.l0Ľ)|[W œB§҅T,_.+=a€{ݷ뿕yG/oaq0mkȣYl|XbDj>L^+ExDžW/>'&*yXn_򒺇yB{Էk/㩦˝%BJPx.Mq'1a$L~)I|~ic݋%Y$Rx[6 5u%w$!ҷ p h)9RY5%xff)f?cvKJlQ4My @s j~Dդ~lFJ)wJɢQ hkqLxgfhחw7+B?ڮZ߶;4C7W37m0goXhw5Cf0wvٱcLMTKDʯMBe&UnDDBnTUM:09HH H&qI9nߤnL#❙6?EE=v]W Q((`݂v q},f+le+s0\_n"1AY.s˭1I Dj+˧uL0(K$/eUF,V,cVX!V="^cLTݹ;RBP*I kUgLTi7Th0 sq>*TwQ*KH// dqίsA:j&ݙ!B?گ쾗 Jei+PISɐH01: %aDy ~@h0P((ABC2 !&z#Cpx8i ﺞlPɒbQeC ɴu]"IsI!Hknecr+OI:7 ̝ԱkP¨_}Svr cpw:qXl\V2`C@6?V-Z=jţ'ȥnQg{G[ndcͯ(UXR{E;9'?=CRϪ4D3r8y*Rg S$Wp볦:ַvU'O$ɖy |@xN5cc WC/pDs)QAX$hy4Ŝ/٥{+n>dX]B 2DMr'\ )0R{dUnK1ui ."+&K1FnDϪkhqY$֮|tN!)X?*$zi_=D⼈Ûb(Bt&RV2;f a Oj>-TD 9g# 3sf5#aӴF1!d^rudVCtJ t},m9אIn}~ife|hnY Ū/.>4ی.芬"vn#T5V8cͥv]e(N3>Fb.s {Z+OI:6Y{ڞ9B-wE1H UfaoulrJU0\_0,U~, *ĒeD^Ba6,!:6NLH)Ao?B+J!}G3ݒ↜˭.GH *_sQkʚBڿI0UMԊQKVsPE$)$"g)G“J[g+kNFV5]0Gu۔Et>}aQU2D5|NB\4Ɍ,/h7ZOY)/?`I0XFud-QbIOkƎUnism-( nt<@ݫµ) Qs}$E?1\;)9t{VpYt jl /e}:iPI ץmcp#ب_dj"%դIG{DR@P@UpCUYh!6}ksu݄>jsp`NUimO!QJz8n9ʰPY[%Bt͈msù1AтJtx[xB)37Ż{1_t>mduʜQƧ+0۳@L;xrLwM.-@>Pz D*z&{)TBv:9K0A;CJ {Lñn& ^Ӭ]c[HP,RNJ~o|gV4iɹ -6o .ʀj˅jDi2#X4? PSeSJjx+I<6!/kKC.—']FtCq'q?GjX6φʹ%PAE ?pY>u :ό}x8y3{?X2R]~&@mvY:$j}O BA:J1vy,X|P lrKhey3伆uSI廂}o [1 :[Er-5 ̀S,iy9vw^DKqoW)R.(/%l\4huhEmZIg磏Ÿϕ?oB q1ȉpF c r8$h4Hge /Uh abfEF`M%'u͜<GfqmNw&PVhg" ۺǗ,J+ ψddlYbIhL9mnIJ:}GnW?K!˪N/k'i.udbIa?3CFGOmؘz:Ҷ\n0H|B!3pQ1 -DN$OZW7ʄ\44`F?yIXZn| dg&R&E8/܏cl'Z,U˻(X ) wұVGSN*5$QtE7_*dHc(z!ә-)J7sVK7٩_1BLIp[_0LRcH  N 5K# HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^Z* k$j࣡E}Ԉ;r,{s%U(i\GI R$PHm5=H EY L`I (X^Fy_ذ8͒jk qt8J(٥Hj*Irr4pp#QG3BB(XwCC2.$$h(x0QpDj$Dʱp.r$Os"#}4'Ba$<΁LI ( G۟>l[;>ɒܑ!<}&1#]ĩx'9w ]gaӤKb1[ɓ, "H8&cDx84"q{c%5 $Bx #iCQ$I (P%I(P(@GA,HJH%%('9! 8#5BZP@)q, YRB;3UGvUQ֪##߮U3?֪BkLxwfeob9 yGs{gf]Q$r*]3jఠȈF$ u8cIU(Gxp`ζl۶ϮjPeĻ3*T =͵nommZhmuUURSWCES355JK )RܴLL[ZteQ~om]{qш64Bw7;U}T+b!ީa~T3WĻ3r/kwU3E3CRsHj~Y,wuת?ޙ־}W˶m߿S3ʾzgwo333333̼__GDDF<2GF>߻ۻLlV[mmUg]}gf#K8ɡ^fwfm;mt:m۶+mN}߷o}۷}}۶o߾}m߶o߾}m۷RuF@Pt92 4 $2 "   (@ ("JklPZ;*8冚MJl3+؂LЭB_9fߚ4`WJ*pdAͳa&;%D럙LzS/])bh0Σ\a!2SnGyb gD|,vZLYnq3 5"B[Q~ ֘^ &iMFm*mX`2L`ϯؖ3p4A 1Zhrv0${j0Uo"qYd𚿀ן { 4*x\6M6̚ cCee`DջJ "л43rI8[}OjaFͤuiǮ+b()5acG(x*Gɝ?Z)ZJ)´Gc&/ɏ2Rl! cDB Qpbߗ1"Of! `+YIR pHA]7%7đƖO-u˗s[uu6ߦ&ErXDʷNn2+汣aDĿGaM?t_L9ԎZF!ܮw,\5SPݮMvj(`=ІZj-߿0sꏠ.YO!M;̗3?if(frFsWVQz䩚:qk/{ %oG""g];Fh\@#Xyu]l oj\!Rv,ats302\"Y.]YwHhg)#qjYJZ]4 Ij7aͿ6`!Z;*甝+ T{{{6:?PBѝh|l=hDo0;:} okwegP`5y+sN=Y抚a}7L05m>t\%PgհH@Wʹή춑U yث%e6kH~cʣhűfأsXAZo5O, $}XEw=i35yymTd\*6OOmٸ,[ákZe+=ںyevq{~+ kKX3 kpuޚT q7F4Febe=AQ1ź|4 g[nSaW(J|+.Hm \iHG !>0 6[cBpKQfk6tǠ~z4轳SHzfÎ5ӱ#5>C\kkLv!CLOtS-w%7s5ٔp['Zo{޿ާmcV$Y"n*@s?zs_z$5pfuw;VC;Q-!ӱUӡ|]}H^]~@{ڮFnMɭ7ԭe:[9r S#tEets}ht<Ʊp'm>=;ϳs7 P n6 ^=DJpFA4Ch ߓ;? GxFӍ E=?<*?܎C\0Fi݇i >1*H0"[jjwvf΂jgډhoP('aiZ O4?DC;47{{4;g`kwgwBqw ~N$̮u חY]ݡPNSݡPҿ3=wU3 q(%i7^n"U983=^^kw `PGTuv 99:zsv_u/58/Р˶"$ԭ.R=Xml,Ih+Iͮ6k3#yw$5Y1;p|۠nC20tg4xe@C,HPk ' CP0Ad1PF GbYAIrd72vw$Z?Oj~ఊ4??B0U(/V% J&ő0沘bhm^DK:ad!(߇8φ]hM4 ws!pEz<<8/I;]~&/Eh]Q`dFy$Пd!-zōEM3ӱv) iK_M 6e?qz=R@)]tC)t-!xx{ES[߹2rkdrI k.=[(2eOp>/SkC˖wؖ&TI(? z(*w9xL~+O}} mr,uxpqWJsۊeooD GFG\ f0iW6f]EA'R`a O0Sf::t^§GyDƴHS qH(\js+C1%/ L$lHMweXXMoNgLSzY?eHo}c Yu&%-N}1i.J6z "l~QuF0t y"ɘ/\W4 /sVf=D4bE/HimRXW[ܾ$['†J4e?YC͈^"t*e+*]pv]Ӭ;]5!SV>'jtR艏wW4[F ĔD=E)5$p>GP%qGbS0,+uJTQȄ[Hkr e,c~6m >$HM&e#?5#>р$1L B7VOEIvNɓ@*HFa*-i]?'["qAIiqd_9i"0q޻<Ռ,*q#0.LmT4cL!ѯQ'd'+QT0Eز"r(sh0љ0iyPCplfAjWp"bx4H)epl2h1\L"$WZ4yrP\wx"O"ev _̂6j˯3\v@s;3Ûa6W:`? ]8 =k30 ~M㍹N3u{)qq#p*NQvF]]怟eNHL+&okl(Pq2f )h]nWKv=`Vٗ3{Z!͹\/N>18UVq( !#[%z\k&!Sct>ϬGufAĆ~CR=VWOOF)` Lu֑ mi VI+^nbw0P UJ840)|OʱD2;Zr#gx乵x:硣juY&u~t68Ȓ$7*ub@sszH J/7ML}oꋄ3V ɨF@J,)r^+n|cP/kʫ'jE>n¶RsiM4;eK{j&h*K|R0!(^~ Qi`7 d_9|?aaDZ%2&*8Tε ARVךZ14 :K%t6"q$F1 ufyNsCY}%… >Wu؀$&K5zGpX!wZvUflhp1 oL>ms.6$P& Py݈m¤~b ؼDUݳjF9ӫ:J?>ދά,ѣ:uҢ((qD^G2uZ# PTROuÛwqVSv_PZT b%31889 (®Rpb0r.F?c&VqwAWj#{Z5qqZqzz2P>>҂sc18R#uW 6bvq_6@M# eal@&sRD EŀDZ-635 +@ 讴4N\cEGv'_&#rL/+]0AF[$-/]~aiƣ(f?T mc?ϗN7fIB~LJEz2`1QB{ڡY=τɬK .$@;jO`J-g<,K:AL UA!T. O{(kjl(PysdSV\rpQW.v4,-e+"X;åY=9ewku јkꘪ;q˃hvX Z'q< rJ?6 U2ѐuĠaxD$Eru*xa iv3;Bnԡ9itv/#&`9{?T Q8X. #N]:פԎMkuPE(U3N:2 4[fOI^Cܿ`sW`6Qg Eymr@d!sj"jn\";17Ј l`OVZzLI${+γ;t-+0^%/R̠M@o9̖j:CJ33QE@@ ɠJciijďQ%HKI욐W 2T``9k{8 OdERu5j>mpEЃ-H} ~&+jqm H"LfqpEb<>~X DOeHCL)&}g}̻*];fΞ1a%JKg4e';~gF2B5n kLbs\QEa)t)FXғ]ԎiP0 CK#Smߥy Ą_W4*\r CCEB/=zKP2jp7&x6t7}LehʪgU.7L.jD4-|uoq@ŒK_;nb}W_ Şl/Q9+π=)O|!7bvjYi?.*53ӡwFp93PDl#bTݏGYs:Ip3<#r&Ar\YP yBmt;z&mJg6>iUbdPhQs`p6gMGf;9"y;kj>ǂ/S_uoQ߶'7L: u7vR+ Gx>b+M;_xD ?Բ;#Iu AB8lRg ariVa lgvS5+Eٝ Q/M 6@ǫʟ9HY<33e+@FdA;t 0aI~>O\2Kd_u$ujwrV N'kU d+9÷XtˬG.Ub6m`v9PUxV}_j `$ԛnp"߲,Wr7 Y=j/̎T1)?zpyϝowfe4+75a/-ރVasGGyYsM̉!Tl&ǹOC'IF:L(NS74Va1tj p:Mz˞j%rܞδ8^POM]r)x`NA a|8sШ(BOEEú\p2e/ͱ`XUkapg ' @.w3Ci#!6ލA}! (KַX|&e!CQC'ۇFMO=~$$E g)fX$^h3kP)3òZ cӘeӡߛq4'",@ V( 08NTqb߀^F "b|Q ꦝJ^w 82GL<'Ԗm@FDj VR>@LCݹq=)*`Eb`ǫ+6:u $Ϣmvj4jtPg-VCJ@?HOuB@sPp*u\E Tnb'pLB,GRʺ(8aMR + "/-2aa2l@ڸL0B<=HqI4cQ*^?z'Wu#ސj5Mh&IN _06h1B0"Zûd[ ]O_aV H.Ibю$L ȼ=蝥kĈt{uG; j/ BetԐ(#xc#3J C佯 3>ʧ >! Cޠ24:nιUX3#S+< 0O?>#2+0#D8UlPG|I"%xX5o8ƄBaLw)#J%Kx b\nE -h,}Wkl3arHl,]̂ uP֏:KhqIŽTN>"01\=n˹WҴlEq04u2ԒH? In7R~!(EJ^;$6LGn[@Rkpu=OÛ&>֣;ը/Ga ՒkK"BZ~i6Zj8--@<몬 †/_nо ,Lgxtgi[/Q|zR`yRdBƈ"Xp 3P~yX1EsIɌq6V mvY|B%?b#&rfi7iԉՙ ϤBGL0z bHW|ENQ6RI’&/r=k-FqhoT{/{ʼnEI/ODbzM3btU<)ek5p",֤h1gp& d~|j! qaP^S[G,%/aIՄ$D}K73 W f&h=U( {a Ů_GU5rWhJ1HUK9)ȲA~,!Gȵ"Ft&@R@e`XXhe E3uEnZP2EAc3A-`4;%ūUuhpL\Ce9;'MO$w%\G'rŀ$7BQK'XmZ`1}$CjW髧 oH]C)I58D2)4U}MZ(RWc N _V>.wg%"*4iaMweUj纋3 GZ3EFOjmؖA\Q?6=maftd;X!y%,v8?ΡsMZ/E}\c kxt'jFx|%G WM;ʢRW26SRa%~R!,,o~ N$,U/R@s& _l, /[Zf6qnVVPbѭBm_9N@YD3Áe?_7`0nJwO.A9|ͷ]\nND$VٞÔ˦O2IG9`uPJSNJxЇ+ąw1RL .V;m~Š3D-`i6I~HĺFL1 KGeh bD;fKlDZa\'ЇQZaxhXޮNXٟے{ k_Z=Ǖ=GW6)?~x#+1'iS]Gv'*h͕E^e+M7<|sI^bs%%MfǼ3' >lű7W)hBV'M{@ M$L5pC%)cp~ YX\u*󩴬i =xr*PL籎cFOۋiHmۙYf§xI,K0<UEI ^ż),bEl&\MɂMBP|ew4^Ǿ~^F,v6u3AxH̼8 h\}Hh%5T, ju֧!QqwyLQxF'T-}4v-ƤYL'4,~JE 54y%gLلB`?Jf]%=ijؠYRI Wl-v RxhE|^,UO'R`Kw 9ѰӫNHJ>C T ĩj'(m)4*edH^y3t)uCiIf)Z /m9[0s)=:fޘ o 0S 5*Ltm0x潡6f.ͯeCU_ 3?SGIHMB aBA,oVDОi>Cpl4$vWAwdX 1Z@;[Ϋ˸-Taja~\(1+ 4T ,K 穅1WK`FtԌWC0 K;̈w>&7.fA]"N7aXkF^Y+.}}ɽA7.D#i93Қ^nΖp)S__D#_t.z*'E,a_hfIx8WToJWSޒC3#̓s ԦW8p!3Q@e>"qohueZyA4aJ&LKg\(OKZfE $`F-ђPqa(LH`P(gi @I "`a1 C9Y8K%1CIIV!Y E@2(Ga´LRH8jOdgAfErzhyxתY?Ոn>5oWg6⢻R*?oZ!}Ɖ7b%ͽݜxv bϛd&㶂GiI α۟{{wE[oqoOU"׸7q_S1s-;u5 ?$,*Gnghk'bkga8^?jZ`,XIxXd,&Vb0'B)RvAL{XiǚTA )!HY>P( , \RiEĨ\:K:<|VkgzNqO-L"8Ӓe_][UUT~i ?;^깿w+2﮳jۻk֪ɛmz4{ʧzGw$ q rvm婴fzfz N98yo3+:NscFKHE 0UY1}2;rޢw%&f*X]䆆xoϺ~?#Iq3NlIyLJܺ_Q16dCϼ;@onDO}$NM'ûGu0Q  D  HA6$D 1}˪ˊxh"a>w)Q;lduof;! 6 5O' dHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_G# o]?#[fqBHSSS'r0~Uaڬתa|:| I࠽^߭at"K_ޔl]e4fZ)hQPAENAL길x4ҼFBPDF.&/)恺maE4**S`($ɷiS,+-> I|h"B&me,IUbEJ͙? =Pq_ʡa&9ٷDqsQb u~ '1vՠct;8_e:&ɼ,|NU8LNӒZn5(Q7X ;KkNmtC#7QY-#ghyW֗aˢE,eO]w.^@{',@c4kWx`WB5~Jy97 _fp7bW@Jh-<ZiyD_?]Ct*:r}tYtO}bB@IkՉ/*=s3r=H5: eN@` 0 A 1B!HC1##.4dv cAvi xy ϼikkX3:e8.(& lh;X+/7*-t \#B#PVa@/sNԿIy; X_Qާ}ik]lapN,Ͼ9meJK J젆lu Qb #r$6 V#m*5@ %*_LN]v\  FD5 k(5vYVeQĭj2,]A1Ha6 >`邶xImG8 _ | Y!BR>ivV<`ڨ:~i!,6_<  ,`K0N"7xm;JmbHt!>YbN9U&-Ը}ؤ3ewGd [ʹ΁7+9b"RRZWR ht[_yƶj-h]um!FL C"88B[֗JduZ gy'iEp{k`ZK'd8t>OVjZD>-0]^t܋w ?I{3 t7y:y4%bv"6/HM+\'y_~nh, VSAS[+8'6OG E=:YDQldHlxy.wΤ.fxúXt HX4uֹx=~Pצ ttǼdE8|h%-!b ,x#̾l"fJ oDg=iP]E!0iza>9S1*>o`BSպ`i4 ;)@aQqhR#$#` ZvӆhŢ@{c*} "=7t^B # (gdžpۘDx_x;Ŏ6@^nev)mOI.` qlV^M n٫GJñU@vyIS'#0{DQq<\n(8r.c.hҡzq [œ[jHPG.X14Cb[ϰ>vt jQ+2y~R l}ICHqs9UV%4/Gv,5:+zqe$Mo c44 g&ܓ ɫVylNH z^T"vFXIVHeV;45ArhlP+'按,-@Ǖ11o494*.X~1dd4id*,'+jd>_gDd|͑\oMͫ!Tnj6R[D"A@~,K7S#*˜WL2{UN?|+jQhٶk/SG}VqL[G@m~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