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_exportsw l}~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r l 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+<&B5)֪F&؄?yUUqOq^V<>HjqZT1(5!J_@N! =, =ν~"i.KHmys3Ѿr-0l xQU#IRRP(5ch`DylA!i,P A ADA0slJ \8ErqUF%OU_a[;:&bd;'0dXbk(_UYr3 \o*Qt"}#n T~{8fv/#]?sT X5K% .HOL-Nominal-ExamplesHOL-Nor#l cR>,Ђ ̂˂ʂɂǁā|{xtsoel&k%hgc`_[TPOHEDC<;:98632t1p/m*g)f'e$b!_\HGFC@21 0 + &   }|{wtsrqkidc\[ZYVSRQMJIHGDk@j?g>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!   Q5|0p - UHOL-Nominal-Examples:threads=6elapsed=347.723cpu=1704.509gc=91.404(/u !) KB;75̫4ϲwˆM;e eLh.D8CBL]='՜TͿKT/t~d2fW%Yn/u&vԾj'b]ӍԺQ:)(PB Qmƛ#אvCR:Qio4fd9  7P< A@#=h鲗(0%!et*J@@aCb": Qp*A@@2$x̛2疡o95CvCw,qH X(, H(HhX@]d<;,vH 9R iYgjݸ4L1XɟhU`0 $0Xr7SFS @`H,P8L$A!"aA=&)zcr7"04$À["h@Zjυ5bxhX<@/ۀBD :ҹƒɆ}Oƒ;2iR8Ȕ4NHtr%R֛C\8iLs>tUHsѴrJGWԋ؄r~U5S$l—$V*JFwۣ)ٰS!CKVfk΍)9'OغEIO̖]"쑽!\!+cҞyw_gE.iL=㍤&˛KjWY 1jj5wf#>Ũb-*o/ ޢgٸqU!PVhȴZ!c^g²eLYY/U5ˬjSCXUF&"&*DE")jҥt=TXwl޹V%I]s;9 է (SM}ޟ&L=~h*<%ԗXSB<̗4e'!CSϒG O*X{:b[C|**D{H2T$+ )lJƎ\ܒWH-7Z!wږꔯTR9m]FӶu9+t9ZӶtZmiVz׶CvTRj}B*[9^zˌOR֧NXXoyko75./ IYVx:Qjّ!  sCN7}>xcnThu4i7Iҍb2k)oW6%M)!Sۨ_* Ok*DE5QFUox_}5rjVߔVYM6Jd\ugf׾pjS]",Dd)^9ZJnmES&מJ>IU=4\z|}'tIwGmE#WDC\Z :4*T\&iOB)_Y+ޝu%U]ö-U#kaMo<=Cu9mϳ65KmO-75g)嫵a9{:h睳?g Yamnغ)M mNgphKJ2b*]gdEQ̊zN#dVhxS={?WgXْ53c7^MerzLR\hI﹣R},W[BǩʩKdJQ[z iWT稕AWEf9j۞{| 5򍑏d"Hn:Ic麧>;WtvӷMŽMDP`4 ( dDD8, H/$Y0n+܋YcDǥ$uFEHˆfUDPzg1rtv^#o1B7F}B@x W/Q*=nzuK% xXAhrkUq7@J \1i!J=L.8<{WW)ӜBv'iujm+y\+c3X jղb&}lG}K>x:MSԕ@r[ y팫XL *Pbl.x:! :O``0sfA<%RW^z: jIX=2Y֫F&,y8GUy/ARDOZox_ QbǛ_u@1u{oK3Vj't6j 1ĥa4'( %sh kG+5f -pfԠ ":@;T8A 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;)%ʹ;M O-s c {&а|D=ذ%%ihˢ{>ڛ|]U6 uKqI`ƣ j!-JI; %X;LĮtmVJVrxv: ;"蠈zU_A:TC5"#%T`r+ VoܙDDW$D; \?DyM= }i"- wU=@MNɠ3}=buAVa62nUƶ&y+z_|r1Dv!QAl7|Yt~>Z:+ x1շW2u g>˚Xt_.AKs7L{?{ڐhsMM /i\*g*9;s4*5fg៰:]݉TwTsL+k>/]؉1f@NQed|m4)$oBAz=[PP'ml3j=*_>FIary$>z`o(- o"ƶ %Ė8w /.Ñ;ͭa*\xmuph*hRw$),Д;sn(`w`.sпb̾ЗBSSf8ǸPH8F~($GNH.n%FZXI ZW)J"v Fd&LeW|n!P>I\?cC6 t94eҶJ7qbjo"_:R:{U-P rAE>_q ^XK6:O S+KT͟=<@= M\NmFz]mIj6 SHAH3pzÕ/.B(PM"?YӄA?8ti*azR@gL{,[B l7|ASڶKx087\v1@7J+2 23 4^.ӆlmЀc;'v,֛\̊y@Sn\sWZy~@"ݠ-:W"Pq1]xE9%_up;kT '۞%=g619NtZs&X=U`UkrV("{GTx\9 dKW!H]ȑ K1gા#a@kjN2+[0xt]VJ<dChg>]rwחM`0N;b7v^gSʡ@2bj$T %TXa;LL<0Z_e)0 Ԕ#8]YNA1sRDUB݊ȟJxmn<\"| bqBGYg>ıt'')*Ҭ~X 8i¾f\9~ً l#xQcc%5t\8[ ~lSw^ 7 ;T6ʛR=k2HHr-H.C0tQ\bsn )90lG9ɎYǯ ۫z$(u`c V PT%w@cS: 07w.h;r%ֹڶ 7[X[V}EtXsʅl\D(ZQZK`'⸅1>7,{š}7" i92Rn% ޵}#47fjS(Čea 8~XIwĂuþ?"j\X[^Kj. 6p`Zσ ^0&.r^Jƻ-8“IN: pv[ i:P6gl85$=1;*A]7q}-ϡOd+?l|΢H|rTyڐnDp42K\(ɩ1Ff&ͥ{رLxYyE xP xzW3ɵB_rurh4k?TsQ@Rp[(̈g]EʸXeţk~SC`\t+ "xbo3qtLX_~EU?#Z[090 f 1e\ħnxFygJ`4/9Q]HqƯ# MԁtP4ZA(` 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*ܦGl"86f 8չ8#vVg`4'dS>v0eE6X$7xr_OSR:r>ۡFe)e4l U4?Phdɔ +Í wJuXw6}j(#LU"=5К,#:YۻW~3Ld}R iHBC5ZBuno5̴ڬ++z0myqƂs?IX}8v5R+bimJv*a$Њ\\F'[u wА!Hm@ΪE014;wfJz,EWSXNVlI oFT=G"tCѭ%Dt:0,){.tۙN%#gf҉G[hhA{)GHb5/S {.1Bq> 'SP_;VV"'X8/kՙZm}a)(k5mS{A&h d 5G#J"n4B b[F*o.Hh\|Vx<f?Ҡ"⼕D:x@T cˠ;-ae)˶ s5OY) 6,yQd |M{I` P(m+lxApY?mx'35Li\fJPLn_Yg;6!ǯa-AQ5~:fxa*["GMr5ptK24Ϊoz[|ň/-ވTiSќnfDHxf 5e*,ۮԪ"85)TPYL/K#C $t(pώ5P ]tDz$pJ&6^s=W%p@򕊃s6%PHr Maŋ|>^Vk_SPQc*Uxay$=ul *^4^W"DA$2'*$:a0. O1fi5"'*-ׯ\*Z'1e(-<PM)G;L\( Ű"S1r>e'^ (wPQ-*ꡐ"@q9G> ԛnThtj- LxCH  AAE Y 6ZybC85nj^~&&.Z[[*T4Kku< H&4@:"[K8l (q!4u*=/! %XF`?X6s5wH}ȺߩZs* ĤL \*1l.iz]vEH6bT^V yᘍWy&x? 0 xK #&uZ Uy  63+" 46%cCN54N]3׃>.E@!u/Egl)9wgw6uYBQ !8!b!6851VWd3Dd嬣>%gǔHȉ-Qlb2L5ƈL~شDY@RxhW] 1 x n@]'x!܋{~^!THqJ"Enra@`On-ggն'\9i'(N -N7eϔSe|w|Z颷TH@%Lh#Vmb#@^u>Gޙ%,3'  ;:kÕ˷vÒB`snuZ܋ *%-C0w^¯yBí&N8yH ש/lXD_0ؠޑHou5,  R=Twx\M9k\,lifog1-jj2`y!P1{ 1^܊İ+"U\|\e2v Lyש/:]oֿЯ3A(c䃹ST@>g]YI2'Ĺ ܬlr]Z`rQ NBO`5(B0yңg?Hҡ]n=LD_*}hK*`~;,3 ,)EtKvA:XxlO&T 7;$*P9Pry u3_k(\ݰA)oU0u3?: h*g3od4`:%sx5)֪F&؄?yUUqOq^V<>HjqZT1(5!J_@N! =, =ν~"i.KHmys3Ѿr-0l xQU#IRRP(5ch`DylA!i,P A ADA0slJ \8ErqUF%OU_a[;:&bd;'0dXbk(_UYr3 \o*Qt"}#n T~{8fv/#]?sT X5K% .HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 =; `gT[AaM[JC)Ea44/TN$V>_"!yDD9x'H(P(D´B~AEM<{s\rdP7C$A̤K}FA&U1\0G'M(W9KU$uεKs>m "Sbӊyy皫[%Yc^kK2g)b*5n̍W2r!c6TPFk`1  11F"%&P1or< ZdbRs;I/AbpkmگIe*ny.k%be;iWoM2f GJ/e@_iB]jJa[_.Kmw%t)5#!nkA}X" 8g+6 *mSP6k9h?VIB9is֜3f=n&L\i5"**?J*Qw-,@\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal =5K' vHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1Mja) 0N_a3N8>whA UUUUXȼPS9ǠV$<14EkRviPYqX{ƽvH<܉-\3L?&DjDO_|jUiLFkBQ4FC;5ApEo}0 Ѱ SAW#WxXp uCD;84BEpED,c!A ̹k32&*L|wѳ>0Me [%` +<TD幙ٸ9xK\#k!\2J4y1FpK `'21P0ȤT0N͟&,R>NZLLV11Ec iD ìbZ܌˪]䒼%[]-ت$owgJ*UJ 5==%Y8IUR5=">z?ᆁmXPC?v,$`DiM8s2[r&ͩ3M>Ч ȷ{>;3`S8obDH<_ܠX񩼳XÞ<3Ys69֧ c ]튏c͂ITbYS%oPJa::]GnZ5`tڢ&b݆D,4Qv|96P?@C^(Mq$ۇ "GXTrgχɕsy OBsR;iR?XX/츓Yj5&\~_/g\ljyP;n>9~>7''hlK,QZ>l)^5|,ذ!t/[֭a{RY~9cW3R4B5 |U\7i˵/q8 ˉyw= Ƥ-WR%5elj_ 0G92|IU(jƒ%ddb]ys]nEP+B]dPl'6ag82Z\%- f̠;73e ?R6pュ%Y7U{nh`FW=ؖ3SdC %,?Ґ! w(+WfGe_ Ƽ4פ7|@A$z$4^ᚮ_axA w( ޷'UA: $i80|UuO("d4D1fp;G/6n1p4u p ݼtݖsUJy_mP1fg*u x`S}1Bp>[ZFO8b/k`E|p((QdB29Ƥx0ЁiIU6g*뮊M:E!S Yi"HSؼ&imBTl1lЇ=^a춬>wcQMpDX12!ѾԆy]V]ڳ7%JFP$y-H *vMjfPiIxg58=mW)qCmpN<{o@E<dj|0cޑxe.YQ4%=b?j[{Ks< wEXs[nNeSMԥdx%Ƨx7'㰖b8wC-U[\&sF[ѷU$ $äo?apAWX*<Ԙ R*IRϗ^/bR8?lT PU2зc"Dud)%nfff  mmc۶mm۶Vϝ6ۑ$ə̐&rV$ۓ.R[qYv;r7fK~#.Ul 7^o۶""""#ə_UUUUUUUU\~t"W](b -,,…%?mAaA|;G[rf 7 rhY ђGp8yj[Wf6E,-Itx+""+2Ǖnu=9㊰j'feUUUUUUU?|>q&f?m#U'vW?f'=%@@B$$0@1(` x @ @ +lJa 2*,ꍪnM|Cá ѱ-!P„ ~#׺?l)*ߤ cnKlO0MAxfT`0f6lqhIPbmOD{-?l$gRş[3UId%gX@DhxUInOz*_"E(S5$gm%gjO?O&2JTD$"mڴ{ǵmm"Odșof;G  8DY" ,H0<<$$8$$T`00 ,4 S@(z}ƱP}zA-\eXfܦ 3bӁ1^0g@2N/QW{l BkfP<{ה^ߨ#'˸1l7Do fRiO^U zSkȮGbMDA#oTKဗSaF.l 砡]44zL8ISN3h\BHwxԼ"ն-B$us8?C9!jn򎖪c"x)./xCx?,WT'ektՐE^Kikb KJocJ)-,AfH#_LIn oxXIwGaUoC.jSL>{]W6I*hUr98bҨVy-0L[~f0ʜcձHdoa~>6u آ2VDDP~]67zR!ɠcIBb-|v\OOy2S}@m<gUM#f Fpփʁo}v^6xhҲ[ZW~[iMC dIg(8z*2&s.eU+4+k`Y+̂«<]xc$4%}mʩ[oK%dqG#B-h$35[IxY0 @ק͙]kJ׳Wn܎0c94e,$uoZcEͭNm0b0i$ 62FLoPqmcI!H3Ms]/dޛג/(؋?*? y{9͛8fߖuZe\12#,h1'Krylkjl<$^IY|Q+76XYP[VXw^3 >Jչm+X׸2'4F,J\Zl/`燉Q@]*a7uxK~[0S#qrJUd  *q/{(fLdy9d{ Q0AToeIio[a,{xdB=">` d N%~6Zt&Hamc|m;$ٸ2'"O(V<]G ơSUqC"KvE QExTYeY@ ۰1lhJe5ĠN8]$ywH$ƂVRi Y&R/9p\,g<3<: & {/ekh$y%?X.9i);iRbىp08$ T/^=.o~ķ#[&\"A 繯R㐗0;cOKᡛ/sO\ EgڢhDZ$l1S?7r)"bxDLp .(6TtsL}ι9._XO6?V,6Ӗv1z J(iyHV+JɃҨgToT|'-+UZZ.o`t>ueHi$#e*;fECuoS pE:\ӫ挜"[32 5F9XךzVk=󴆞hs#?ki~թX3#L`5 kW=DZyփaq_IEӗ%}-mr&oVLN\XֶLt2hs%\rifd2?!5=&3QCF3#g-/jICBMZԠ ԠU7S>Md-x)Xϓ=nΔj\txa5@iG3MyfxIʾ3̺a[sFm섛  O} mmNyWwFINqiϢ=Y2Y#ASwHqċ2yCC =r)_ihmr!=)LIU{-.9TK%#p+CEDF&#e㋴cxƴiCE,9t_l %sK@/: G3_nlWUƉg{b:G~K)^>)CRl*+'](Ȯb=/4x.K!l 5 BldžY&px6" &p^mR /&%:l\SCi?kCQ{Xp/eG,O׹?ȳ,rZAj8"MFb&ľB̀[ItI,a3*$ S/6)(x\lN43! { qRm,(FhIӠ3)p~|L#MrDneq0Ҡ,٥Pnt38;HǵhPl ĵOUxb-!ߒ<(lBM8@FlU+ N䋌V3d}="0/Uv^̎~ȇNȇL܏#ywAV0>|0 #fWubHl"nlWR-ԝ&h]Kv'qгExiΦVTP혐#~VMeDBBг W$ne^h~|v[@*Bh9t=XĊ!۾\o1v/:='=6^h"z6)+g#r4j ss2^4$W@*_qW鐮)btxo-cc袲”ah'!QVn3cPYь/|?/JsA/f-C/&L:K&hkb*1U9xWf}R-#7~vgȵ߰m _/:{d {+4v_y[4z^"ŭu5|)30nKc\G]MCz|β6G~QԷ/=fW/DU p  kQڈWW#SJ2dnYlGD~ŭo%";a`͘ P *h/c R X(Wa *&   Ba0Ϛ ߶3XۆU햨$lP,$(ȢCV-Q"7qP`H(D<   @&했f# b`kkJrf!'?͛7o۰=<<<<<<<<^UUUUU*WUUm۶m۶mm۶m۶-I'I$933333333S3۷o|f6*["gݖ>>^- xc$8P  0$(($T3eU$"9Q_Ż=QIdm-rf|ffff۶n۶m""B"B_춈8"^VۿdmϞvڵcڵk׶#I$I$Igfffffffu۶ImRT3# A,P0LddD|D H\H B| D?f;LETiU݇|BwSx+/_mC8w۩OǁuTmkjW2bt:0oN]Tkf dP>ψDS}|˖vuv!{ǘ1<h7 #[P#~7'N/!Zm;FƵR3Ͼ#kzYN/yS'颻Qn\y}5BTeu9A8.R"V+ DPzkl)`ipTG;?M6hY~?TR8f'|;εe~ bۊ!b[F5KPrG+#w3a eV񺏲ڳjQNj^ߜt2/辮ٺC2}9hE՟Ƞ4d=C2r H| ѫ$CJ3QMɋ5(0fOkeZ `fW$UV*2E@KSF7HyR0?R\I:T$d9EW%L`bt=!ɝL4Q> *09!R DO3n6LP4Ը"'nbES:%W=L%/.jL y{C7y͸pkz 0u#'̙9.9:'-'(y6þtEb{5Ll0=J9JJ'xx|`cLc|?ig_t#Z9BgHx4= K6ՠ,By@Aj<JdZ e(x]1ŀP45Hj5BtǮܾ׬[k]YWzvV)\}y#?)MOgĬ-\V]S,۟J"ߡJo 6WAmE]ݨk®|U)abBݭň+s@=vGvs Kvo*6G]Ԙ]u~fҥzUg׉ g2h0ʥFZ,Ү~n"jj*Ob]u/{{&E[F:(vvV  n2orvj:Rk ww*2@a]ӊDY֯XSF+nW/ڒTYdNۧBz>2Bn ٙ鹳&3 P9R @,,؞[ ={ ,u~g[&>w/zZ@_3tMNi|$ xb?TfWQ$7=ix;)$b|5G [TU o<ɔ.ZcfE\|G_0.E -CU^d绦E˚py K)f1.)F xfcGgj>]dz Xe"E6"QR'8j)EP䶈MbzzK5鱃Qkf*#״pL)/t!ˆKs'eX5MB -geS ~M&U(,m7MZPi+\.8tuz N 4ׯ b9a}VtC/LbGAw #i'<צ"K[5ڸɊE[ g1^y*G[>Xńm%onu,w-9[:[CD~WNZɜ)b4_ W7"$WR]`^qV`,lWNQkU-r[+4tXIka /QwD0Yk965%fگYEi̓oi o|.(mfػtܭ-xW!0U]ZrpVL_sa5֧-F"&L|^B: %VVPwT"{#H)KJ_YȢOl,W+A^!:їs vR0ipsq pTdq^3ccjVVmAMQ5_| |; I6aلM#< Na`0K׸pJ՜x+ 9ѸuY0LQcbm{ dybU#~,i`+Yws&mrb3D> = x'qiLv]|N 6]UӏZ 6)zh4Oў^2ʃ /d:FQ8(@dK,W,C_YŻ#!.LUsWo(7D2gZ<%5ICx-bAԅHDe-t#U@?⧑^d-m{;>JBOVm̕c*,W9^9_ (.ֶGk׿NƝ8{I&| }άU(+4vrx1xkًin2 $XZt,;6P]w{ rtg9`c0VvfxWUa5,NtU#5qQ?XΒ_ΦUQ Or{>(ql(gQpKe;&3 v9vdU22hl{=mI7$ DF)z5+Ϧ/mLgR%Ba\ve[V+6E9̚cwׁU f&$3!g!iYYw߁CB"87fm>VAGxy[a\;DVcҰ\xLTdM^Bi:҉^t#RpUD߈֬,cX0hH(pXK%ebL(3|>cX2GZ*)cy{Vv[Wښf!?"]fr3#][j SeF]w\ժX[鿈e߽Y鿈e߽Yppp03 Sd䢂Q{@0" QhcXP'!"zܡWY4Dؚ ɣhv2+ [4ZU3D2,$,ՔYU ?b"ݸP`ЍitLAtc42hX 3e(]_2P"G2ѣz"ɎJ&T\6M:B#Ѡ(?kok5Qegߵf9㼺}eTဈpC!  ِ26FKֳh,ʢEgX|XXv4@x, B+CdWQhjXH3$%Q2OOԘ Y6zƒڬUGڛխ\ۚ S(s028  <<0,*(, D""G!a0,C* ĽqMDӲTR2 + '0 Wj%eVԅ֟C&D B#m [ԖK[ǣ>5fWk E[9@IFk3 o('!,U:oX)=u#eW=xv|k֚y];] y\Ocuʗ - "&9CA[&u(C&,kdVڽyY6(:qp_ebGF2o7| tN 'YK+mHcjƲ@!]h.?0q \ $D ^AeQ XbHX]"y\Ɲ gAP/vA>\qsN:3Q67H{$~^ 4v!†B Uv^b%ܶbYoxDR#AV-ԗSlEJCKc | ^o#S9ۃ#KY/b#DѨ6Unlp3^H 'dgE)lqOR5D9*ëEGt1!Rw 7gd#xLȦ7gL&41r<г8?iJDv]a\hQ* >)[Lx>K9d2tXukL)tO 8|JlnOLj ^(B=g <VNx@}nӈ&RY7"yڌ7ޭƅ_$ݣT!^2!hr nA]%A>nw2RWcnz5 ѪUB [){K1;J)UNLˎ5_= <7yњoi /4D3 -Aߙxl^ Xd>faS+RoC]p*+֎<Nu2AEެC 1 W#ĺ\ ">8ȕj/q-h=J  jyerfG޺56\L "K_Wtt!=%z!3/ls[)FP"{hZg[~GK.rk_S}DDAMj)tUg)sZ7Rw2Xr:<뿼 U>XOGD;;|nW`ޚضt+3o^+,1^ dvz$:z.I" ޶=g,6-}#Vv&h[\X/)A!BS^qݘ: BPn^y {@%}argc! pcڵ3 L͏ΩFK3I\n?DZtD9=0ՁF\ԱTFRt/g{KīYU]Ni:l ߃+2 (X@xmVT9Q. 9[?"?B8b :X"S[__aeFF2&N=]McpxWGz~ _Xӏ @c;09$Us䇷vKߊr#,~ۦTج]8v=5K`'7 9^Q:;i= *Y#,I?tf*@ Y%=$4ceR*?35hoWz@\\aOŒJ&ҪBݴOd h27 cN ' ]@l-'W7J86OwVq,͵9HDuɦz֟Lm0fP 9'pUO7gYsfE䳬SX#x2)B&?oby)#kq kxmmk4l;j@Eq:3 OЎ8*SQ%6E IMդz$d <cBiu3 7Y]w2ٔu"^w#5XwϪZLnz(9ԋLVՊ%7 *ᕍAw앥8g D1Fjiz#-#L~Mx6gҽ['@zeHrd7d Iq- Y|Ś>=RQ>*)M,Yʼn=ڤ22nuXs`xEt[(|,J MHC,.viђ%a1`.>|Of|IR&#GZfbTj{σZհ \P'UuM-BWڛ2H ң$,1=A˪8*K '@ŚQ#*\]֩6K`D '4GA\z=Ohn]@{p|7ۥS\oGm EAQ{r Gzn3 Αm9w*N஘4[&pcݙB w#PJ.gG KD^:0H>rE_T0DٹfƑ}pPinge(LDd(Č"NF-rv۾9Gjm=\H< VJ+d 7 5l "wIEPGEӤ4tiv. L) K 4ŵA}nϰRl8ū)N6ƴj#-1DmM$G{H,ͰN ,vZ^x`5+MyD5/B^1fyq VVo5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodx5K) jHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`-bI`5z덜{Yv*A< -|"˻*)B%wI2cREǎR}Do|qP`Co+Dd ?!#j91O ) .٩ fR92-@ õl9dDJ`,N 5K# :HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/~& o60߰2kM#[2%64JјfJ 6d! H( -WD9r:j<:0KXHf`0,ܨH!q(PBRX@ i{F57'; C! P2CP<|笶w=u U3')5zp0r,B$Q롱Dqffc]t=.oovWUzG*g*"7S(̻!Bf]T}&"oiwU3x?[qw?!ďx?"4w{|ҲBʈUYU#VEwoogfvf6bcoco#""""/vyU1o>.f2Ȓ<+Q.ڿǼx|?|{﯊芮믦ffffjfjjfffffffffj RNNKUU4433 Өt6@CA28{ (, & ,B .(Ng|>{E"mK$#cF,Zs#ۖ{/7hת nA?\0Ƭys_$YFҦa ~o%5/_,Ig/6lVUofh>7ycg|7mb7NC1{k|!ƿȘqh6- T\O\$O6cw.hFO3Op3pAmX-imHpς<q@pE-&0K.0X'CH; ,7#nL W)-P>=*߽yKyqu<,{ xfO!쥍8 M{+tʙ޸2wf2`y9&K k -|<6>g "sLu΃eys&@*!_ !jX6t{ܘlx"IrQ/!M3!s H,/ ;0P3*VܟV9yAТX{^@4o?ih?VؠC. $N TGiYE[_(l\_/ (VƗr;h`8_tg{&x5Kp&Alj> G&.3_}N'W@P( {g>+^K#4 yubb  @ѕ )\4x8P$q ghuD~>uNH98m\@d| UvLgaK!ӑ>/hv<6u@h_5A۟h,Qځք< 5gi:pty&=|) #0XO$G I!3ʻtCÐ ~0̯Q'ެ',G?OM??f7?Zmt`|٧f'?!?h 6~k LHBt:",9(hU~sj }->}OVوE+bir<ӗchغJTmԃS37ra6{؎f@nM;ؿyYZY7 4VK;VKV%|1e)Ah\ؘba>$*@l,6M}5 T>}*~{v=/s,.%ۆ B.Jh-r$luQ%Ғ|27Rm351eRPI.c)DHsgPbAZLw CK[qo Mؚ_Ψ*e(ˎ ~d@ȟ ٚcb֩IPg,%Wܙ9SQ€%; > >]+Zed)Z rHYo'/`:մcÖJVaJ]m@}`a H*) f"ߩzhG"e+'7)vB%D.eDF Ǐ쩷YW4 TH]$}7#yfm"a D۞<{~8CZưվC2f7 EZtVbIL}ݿH,mpۚt4k*KhX:B3 C GӊiJu2]Ե=̓А9툗Y n ٣lѳ"|.cvtvo'Rfm{{œF1UNp5fc@䗺:,;YV9ڢHV^c2^*R}gfM40XrDh}EtS 0+X +Cm ifmKo]?ܫR-OTXbHm$M`)˄%)hGY IxRO詆#pʙ<NXdOGT徠{ (_\y$)]wu ۺb *6z-rt>wdK$ZAF d5]:B^79 `6z'E͘(QF}@j޴FJȠi,UZby:t=k4V Vgp>HӒ{Pc"h}hP"';hʿ^keT=$,1weg<:al*Ǎ"ZF䴞fhG%tf )+ë)Y"H&xJ/K6v> aυ3?fQR@ T"hgGln2o;kJ )-'h_9a?(ttr/h%jBͱ,RL=#3fևYdw>t9pNҠ=BC@6 Z1VC#N)^˝K$(ek>{KS S.ux&/l_TJ43qdaZ}e+ 2&NT6VKZ(/~[.TуUU\#20|-526O.'Wǵ 0{ϳ7V(1!huxD+Rf= @r_!KSrRdFk-[FVI+Ik>Z-dӡ( I`qwoi\maPAW,+&yPߚ­-V;!pyZRj>NP[k\t~SR,I8; Q X`ͫ-qudNn?;7ޮƅJOͰ &YM)6.4Pq&81l#+6~FX&v0{&+2NFhuPBc, קJk;Kt2 x͢ǰB/oܸ@S ϗh2*Iek/!)Rs{ N6$k.co&Ρ~dR]'巗璃V.R|1<5nah>-c)!FďqUYM|2yM|QN= կy&VW30=o~}w"kC[[Z_Ctu:  cpCM nޅlq{n֒xm[6N;2)7cv uL_}^붒tSDQ5>4T$Cc.|x,D$enC_2tF=Ն!T ڤMo St'Dޗb߱,qL7cVwyנۮ'TM\XmK-!F~ ?kdԲ;jFO7ۻlNIWQMd  #ij&=t"TPZ-#<^gRMk^eqZ.;E` OZ$Or zԑIX}P̼2}нCpX_%bJe zQa6{Ox6"%XT TaBHȑZK<$!L(RX F؊Ó2 #˙u'3,CysIW3z[G>JÝVp(qgO2_- X>P̜J[U2~h9t[ʲS$#|vtmoZ!Js@=-zѹ'D=`Fc_7o04gz YKS;Z'lܯ33|}$Vb8:uIa"tDjZ;E&dqW'|EDWoY(T<ҋAטT@7SA[M7Ǚ4-.jD3mSv؃fVsuhl_^.e4j/(%CpB%l$i-±QN}VAخ~( >3)v;ԳV=Re9 t짆x)hjj_[Y,`9V%+4%#=/TT'3qܓ#.%/l1e5Hn Z40:q}-}4oc RCdl ')سJYG^ӂ.ܷ@691(vDX,4$w6")=#%!IK ;Fprpd_ *I4R8, E$*9%9ΞP#kppämW72a=iC(^i!oKڬ,_[Z^L ]=Ji7%ݢ(YS[\uBXFr[*8ULW;g(TZ=" X9H 9!=3OpXGE`XvKB F3 vޮ9cZgOόo>L$u3(~eo>)607xtx' 9`c OT((g^;o{+SF cHi?yK{&`Y!rp?#ur.W #ɼGuAZC}P"FH.y8Ú䮕+vBy H#xVA77WXk0ס)_^PՑ'8W5U<4(_׍N-{ANqNI>5uICW'2k+wn3/:UPagHFlZtY^,*ɔDz+A:ïsGC!9D8;|I+ U_L4aukkjW T1JP&.+C8aS?b aRM\8Jj\i7߃C;㔩uxOPFR ٶ6ӣxlqtǁ$r݌tS;dߓUm܂sUge҄m>ķbT zOf]3wjc%2E kMQKPZ U{"f%ykA*Vp9Hvo L+'u= 6NXV|gߍ k]d}KpH`oNC MΣI͔q@h'Д>ǴOb \s 0Lilߌ&QPsBEr(JƂCx\ĨQ 0jTqYDvD0Zfzk̘S)Ȑz=zhνjDABKTsJMpRRJZ˾pu쭐{F nh XFbc op-Li-Kڞ ޓdIr,J́ESʞ*jD4*x/cJ𳸳1,5r*y xO "JAIDd,XF@HO&FUr @ ?e$zQJ|I$ a!j+ov+ȗ(8Cstp̡X4F`sjf E" ($7^kFF6rY&İbiO#o4 M`kfMhEVo}`4QNuu&᜽@\~? k#=R+q@V/1`2ļr\>_( F; r06u%#k\`!~ J|pKz*HB4- k!1F8\PϚ]Lb# - ;naDrx+< Xu>*FL[x@tz$*k,cbBVBRԖڑ׿@[ܤJ(1@k:4@aJ SN:!&P Pz$M\I#ޱp)M b)s:C|9(3IFȘ1qnqsݖC$3JSzLt 1e]OW]^;%ۏw=aVF|t 8ds 4Dxr;ϏwcrH]VD%g{!5ޥR't z=N\mZC 8Qq#v=Tˈè=#34r,E EFmmR} ۩IQ4\߲Tpf 8d"B<0cI- ;kQ׀ʞ1(DSː5{g.]mg"7 XD4@rAF"  D Yո`(=ɘ nsIL[Ih8hz C#oV*A0x4#{DE$N`2@ VZIpRw0R/r[[Q}``IyR LbYAAђN*[͚-;WFctӷ)"\)Bx>s}Vɴ<5p0EHU7) O5uM'Gn4p4_;7m AzIk!̟8Mԍjƣdp1Uhpi?pa4%>`]|uTKql--vI&ʆgThN H)&qLܖKБn8R"U$OzK. oȗn<*a̐c5uiB6yMf##/͸, S$/(uc1Uk)k7I-nw,UijsZqP'LһxtOzɖ(l+rܘɿ^Nr@oEKҧ~v"bvvmˁd љҕ.F S68W#ppyWleDAZW\#cޡ2u냡iÊ#KweM}kSTݛARj0puQCH7U-QzY 8jpQ8''5>c9zYlp~sh|*p [ Rz(?qvo0p(jWW71 tPX10Ny~ÙĝX6*QŁPmlɎ ܋h7b Zen4%pQc/;J3%d'htyKF{+$ gԟ4xv{=:mP`՝qt0BX`Qip\yyuy9/ HC[ˑMX'Wgc ϫqxUNd΁Cx)~Mc$x+l+ئ>tvLRg-+|[;'90]D;E T e`mDvꔊIbW D#Z;ʢBΝx]iȋį$jZxdP[U]Jg%bMw#Y$=H:+YiOGZna :1G ?`Y% $-hHH2QLCd>Z\y: -D3:..e 26n*\c O5: @[O deOdk+͈H,C xeTF5w5g^hzemf.݊>FhEK nh%ܕ5;S?2=&1v}S!XXC]v oO8NLJǍ}? szBAIU7^n!$؄K ]X6`bb~C!'14ϭW,]*:,b;-z%3Nz^IP:D,krcTٯW [G ͟_"&`{8tv'#TE-S=UG'3ktifpswl7 V%۷6~;#p>Ȯ6ļ;z> JͶ̘mbcSP;-ضݗ]*Ķ#3*UCtӄ8}Bk~M-)^ S=ʻ c7,ې%ǩl[A3}lm9Y;JXJ Ee.Iv]{;C^0`"Cyz%C1Ha"\vU-R=&KʽxT[kQ[MPvػ:s:qMLt^Yc7=nԌ^.5A``c;1FzAϐ}C]m=K. 餤u 37+\X:T>-=wgO1VIPtc sI#*\ '덑ZqG n֒ X7f`Mj4p߆ĠAW%`bac6IN2YctrgDhb cCh[2Zv?ھ1 &BY_JCylAT\u yQ=ps]ɫ_znp˟YoRuPFԪ3Gr땆)7Ey'e契_ݕ~JA.:!*POT}= z\%X 2"`ࢦi/+cWnV< "4eơEH&@7'2+Vh @ F @# 5O% @HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7 r-PgD|wSM aK3 cffTSbA:}tu:KQ53VȂFqlf,)!0Ik:}%8%O#~E9\=}u;CPj"Hħa\/Z%78eZcx?b' `l"o.įnq); `QF: mn(àvLBa 8܎H^9 1@'In"FMM !<堒׭ݣck'4]^֥0)$ a8tz{M 86#:$"b W`^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal ' 5K/ @HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/'{'DD[{Q#JfF9F9d"&j\2-H~C%pT,jƃ:E^eE_G!9*ڻT¼0仡yBmnXWD4Zp%ᆚEb+B2,,]{ȰVsQ)1hJ[ODkJu" qOʞ{r;_뛢{M$E$) RE- gIxA1yiqj 0@Am )Y6fȘ3_^iI΂ 5Aʰyc"⽹RʬU9z4SD4UJ}DiIϗ57X~Ԉ n%xHkaf{mUșӔ߽=^ї#2v5G~\g aۜћڮyٕoD/:po~h(eol,I ڣ$5Ϭw޽ ʉp.;1*!ii(K+FD8꥞{w+26jۻiɛֈ~4*Z"ʧ˺0_|E_NT L;qAa2t}i-1~fάlk?e@CG(& POc (  `R0, ( #x7ږ[ZZu! l 5O' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jH&# o]?#[fqLLLLd:0s0[HEM'nrwjf7'MVe4O:f>f4**}PFGQ]D'A@ i@--:%Kbt|mi^#!wG#ѤɋioʄyAG[pFEejoE6fjE%yJT\t&hپS(^J 3̹(ע4nwŖC-nn1u:Riqڛu6)VTYQyQH@3"jLԞQjIҏs3/)z}PRTֲB̫Z5{_to;@^N;9?H#X @mfɷ=YQ]uKkT3$>4ۋԪU@ o~s_˹QhVj]is 03č'ЊRjQCӿ+o* t Itp {}瓎UyO|%}Oy?w/_GT4M=nrE$I5 e@` 0 A!B!Hc !.(52Ti!>~ aSm_&H$c%ٗO%5Zt2K4*8i/o\dzE6\;&^L*ޑx2Fn%xOԏ Ec#gUlEL_=z71Cې"m!(eʡ4?Xf~RͥyY_K6| vQMQM'oZ#*y|N8:cjS8@tJ#״ u.G56b{R0R40 ) ٴ:'nl>._}!~z[rdl6ZLl %gq Oqz.k P "+hf[K#(}2sYR7$a3w8S!J:4&&=JggqvWp~hȾ[_JYyV%=""{p!2'rʁ<0yP\.cΞpl"\/ZQ 67eQ,;8b( ;qثC]=r v̄6+SGDkU3;uԩ7Bv1T-4A%I#b ŵµV5j[hS5qH#%Iϥn/Uzl 0+|t9U+bpx2SBY RIE 7w ҵCbG,lYV1d KpJq/*Dl~!YhZ83R d3C~:H͇N\mq7mE :nɺ&!%a,L-B{~o3Yrɼ$Bv`Աш\BJKk`f#!IGܖme-fC|('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