SQLite format 3@ .S`  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_exportsu77 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~hvT ] UHOL-Nominal-Examples:threads=6elapsed=265.358cpu=1330.100gc=102.184(/f_:6%)MBf7ʴwA9b T޴S,?8Rpټq׾QXq؝Fw4= p:9) S%kaφ:l*dbq",  f!TKVƴnb<.}'24Y.V-{ٙk 9t,4չv6~j"R\hWÒqmx<]q}EQ6Us#zV.[Yc\xxPLe4ȏ>T4R>됪{"ַC@ 38UG}Sjbc2dfLD 0!&يdCd ($@(x-e#SoXHH(PqG&ED ( XP 8mK[rCVFРPP40ůd79ã!BTs Εe(BKrϘ! dCxO O0(0( 7e5y 8`Pp*ш0j"Bpp{3`"B"l@Aa"AVC$8@a1bU9S B    hȽH+I;BƖ?Ȉ,2⡁BBp`ZPx`p8V``xb 0ifѠAa퍐Ba8p! $,"  H D,@EH`P`|XD,X`ap P`h@}CZY&6S$oSʠL֛oHUT{-uSQv.{qb=+cwyF#^^M{ּn誦7DetM2zCi_io3}뛙+O <% ==͆k:Q: ݬC4V!~eVsf+*2SvCĂb*62ӓ(ue )EQʛʍMm }ֆdNM{aT#H:{/zw<^ht*>K+z/y SFx&gQ'9fcȱXVl+V!O̓ӵVKXkHdp~%^bPó=2\U~«`\;gbs-[CXsVZ ?g3WzZEU tYoD= ":WղiC^8Cf6AQHhpX` ~"$DduNҊ)Ѫ9y*C\GUURhRN*iMeT;+ɶ3fҟ"|tj\KD"z/KVlg&U\S)z 5 HOL-Nominal-Examplesw my~ytoje`[VQLGB=83.)$ {uoic]WQKE?93-'!   y s m 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+<&BP&lahq2%"P E'c%eID~yy݈M%%"P[80YA wx\p8 K#na\wxwNjz7/JOijc&5DOi 5 5瘘}kvb'5KjT3 ,˿/,,ֿ'`$`4, }xX~X ! E p("ȯ%I,.hoOū3ّz=dg"6iyz2MJfn ʧ}h;u(b׈LUJ[-hK-~JST{q{wg:gZ׺x(7߁n Xw_oC58+UV)Խy뻗VE"b_&O@ܵϯ' [V|{[o[a?_ݧPZ~|{.q ATTL`$"PA{Jk20C?ujYIRP,sh`L0m!i,FP Ab b(9?fVJ *f5ѯ`\N3Ĥh]Mv$f#` QA ڂ ׂ͂}{x`sToShPgFdE`C_/\.X-W+T'SPOKHEDC<;:986321~0{*u)t's$r!mVUTOA@ ; 6~|{w t sronkidc\[ZYVSRQLIHGDAy@x?u>p8o7n6k5f2\.Y,T+*'%" <0/+* #  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-Examp J5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts{J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5rA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesqF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  QMV"A܊Li,K'|Bp#HT@CP- &[  \ǿ@!u֟[}t3_xbP@͑Ժ$6>)#t;;3'4Q&7_A1YroDU 7s;?hԿ Dއ/s,! g|AC D*?@@eO.jĘmL #?nkElIgU'6fOznzfWF7"h+C!S_CKi# r$cX4@2WA[GXBVgEsa >:~@fJb,M,I ZđҊnSvH9pw0,3#h,Q:@9>Wtt8γPxޯOH}+ 'qUDM[;Hw LO.T! OD*`G SHTZS2 i ߶xDXgVTf$ǫ)9e,O_79Xفֹ\Er)A+R&< *ɇ\FB_<_Q dv 6C9](+TcZU*^l2xEMG_&Qdwۖ@~8R4-l95 o(rμj G@'t^No9'o^rQӯFFQTa,^g1whf@.hTctK NESmC\UY,‹Mcgt 9z*5Nfe֣K] itƪS:kHFi4T.La6/ ͆ag9;$q#CoIjjxsև{*|A$]z'\flI[ZaB~ 0u+:d? +~;]A[c9KGiфpFus G[Ų?Jx]ZI&jsQRWڷϓHgfQ:c~oXvU ] #+od?@SYޚ u-vJlmX F؜tf)z#pA-q Kɷ7 c'Ƨ\X1y9c3(?у 7+ ~Ȓ_*Eqh"r8rWo09vy-sCQ%goфˆ6oa* M[@Â-WLkIt MME-L]__>$]0/d[~O?_%ײU&FӘAЕiG^|KGGp_YZv|qcY:܀_ Jiln җx(6aJ'eSW t/R4w81ӕ9._`nj`9ٳ>jON~ FYLڶc΃߼<.#}v?aPg庐*'< -uRWAC/ըw_X C~ݿ,8o\XnfU}Iٓz D{űW/7 ( P>准, -DYfBPL)c= ˞ZDraS>6Zl09)K{22R/r(GC qJ )##=X8*ϳ77 B9$^s;X"(3N-e<iT(mhHlhpй/Ej27L.nTqA.^nN,WwHDqqiE,ET+2[&bm(yEv-ldvAGlGm&,jhWȝDXgЅ!1v*Al΢Yn qȹu"yb^K.}.wbהQ~6ܮY;K+wOPմUBWu]' D~zuci=~Ĩs]Y8M^)4>J~>H`2PN< o"VWZ;cr<ț.DqN"!4G%^Cr,9@^b])EOɴ elհٝr*DG[ZH&{*^H&[ W'Y4hu]PWjD=Ef#0"QH=O3EPpbEXŠ 9r] iv /A$,|6\/L77Ac)e$_1 \K9m4tܴ.ˡ0 AbH-n ''_/|4;Y(KZ}%XF_4WMW 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+VT8^ܸ_, |e& ռ{,v_C5viN}ߒ=WX0a%DRbjk["C'-QCHo\l I4$YI2W!Ta+@^EpfU[$q4Jf2?窌W{sYqݠ݉M\2 2jf }Bt嫶fBu'5p!Si78g PUh=k0 C -HՐ!<9Yu cRr^r3~f'tiw<]wB[cN̖Ŀhƈ; exC4dmO% gyv0J:TCA][*/("L~6斞Y#nd&}1*yp_ RK-v"<*D<鋴)ǯ 3] tFbzݏE3xZ4źz+ېt xw~L}zh2(4zFUT@4-C keOEYFWhVz3E]D'GHLVK6Z^t(l:E{h MՄ= }i98%ґ:kE P$~@jw|'ɮA75/rC"S N΄ra%uOh4RP4G֔fZݤmnF3q-vSEv L(,=!| rt>0\ZwG:w? J~Dry`VN۳ jƒGQ_Lj!+ĦF>=?!'tn||' q/{G(F^CV W]a=MO4P#-ԖV(%52h) t1AɾlOW%anYSBaZ"MfeNDœ:$rռ ᷌%!WB: ӗ;z}n2Am A=? ƑU<([ וț uWŏuYc "e- Iz#~ u־wTҞ>X3^TmA1hjW!-Mp*5,|}Jzy+*Əqũ~ɝPfpe!y8Y(V"(  FC@LjP&@S6 ܌{B DzPWNH)7WDsQ(! cdɏ/؈f r>-F`5tGa DE\|oJ2{?wPSb{#JۇL49䲷ؓ?H~X)-)O ͸ÃH#a]: Cj=pCh+I=u%2{B4P쇪ΪN?IhgޔlD.+LG,tsYlnգu,uk1X0,kg` ,GzrJV4AYwb(^]`ÇJp2%yrۋElH@o|6 2j~υfdǼ!,T` X% Q "JΓ$Ly\Nil|7 dO4 o؈mXG NT]K ^T E [9Ϗr>]tub჊T0DŽjtoA!)SMV_,"|'N){HI.*h5o pTAl5K |y+ѷ)WBP!D&tÜL2 _ȕ/?I!,"5Px?'.[3j/rSN=+ Hٳ<ؑ~ " ?B{#/+?P2iW7H7nj/Ɛ8q3'8ru^w]yiL:|٬@"THQ]:Y9^WqNTorBΚ\٫.X94њ9ܡ & DyiNU직i.If<ۘ0TirDRC6ܴI V$aśo1 mWcýL2Dc~2ʏ:폏p }27Ywb$6X =݀g*^V}!V&}'W`=Jb4H&7Cb,|9{C6 3Bi%/'UGX3kM(YmېjMԄXE_pj'8Xü8KOg(6gEdr6A)llB ?!_#W^BgIԢ?pCw[bے(sG:qͧ9nw /3{3H3L% |JjD36tlLUZVc\}e83 [Z3:$mcO< 2q{ŭdq)E=N2$*j|nKeyyDlMjt',`c36^V@ N&$rdYq[JD͍J+; g".d[%}a7+3=܋ O%vBs5Ip*tYnz&EaΚo0V|4*.qeKL(9Nn4m_pB@c>N®4v`Tu*3leBJƲI"06 OyzN9Pq;}*J{H,/g&0L7xRVݚt]n!P&lahq2%"P E'c%eID~yy݈M%%"P[80YA wx\p8 K#na\wxwNjz7/JOijc&5DOi 5 5瘘}kvb'5KjT3 ,˿/,,ֿ'`$`4, }xX~X ! E p("ȯ%I,.hoOū3ّz=dg"6iyz2MJfn ʧ}h;u(b׈LUJ[-hK-~JST{q{wg:gZ׺x(7߁n Xw_oC58+UV)Խy뻗VE"b_&O@ܵϯ' [V|{[o[a?_ݧPZ~|{.q ATTL`$"PA{Jk20C?ujYIRP,sh`L0m!i,FP Ab b(9?fVJ *f5ѯ`\N3Ĥh]M˜4B$ &5K% JHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s P5 `gwµG#R^G/LnR @2.)p%_ĚDb"(X\IL&&MkpqN(!ĭ)v TI%5pH d8L䙈*$\X*oF.\~)3"AxJ=(!]|b_k/{U}Y[57mQGp91A91DBJPhf5q0K d2 EAr˙NI+)4ץ'a-נ&7)z/ƈF]]35n~INbqוN0P/D}8m;/.[{Fc#:J'{CXzjlBS0n]W҅S?\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  H H-5K' VHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ ͲjaL(F@:aZН\UVXd&l", Kq7"xDrߞD)σqYz8Ѫx1FFUGA",gDTL +hx(O&ƗԂivˊemsyLpO!r[7"j8%$9?iUGC]ƋiyϼY&t^9[~júv'0zIRBh/d6PHVU[;u3SFb,}bG֯BP[XKq6UdXO^m G5CkT$88E6v7'8)E#s80χQÁh|=l䣚,f`,f:q bL+Pn_VaY@g7k~J?g˳TqLp|l~&7r~+̳I꤬n>Du*4M_巐__3+XڷlO#;jssn,d+8GkM^sc nQ%Fo*C*<.zbʥE=u)Zs~9\_ѶUdJnXvML~yt.q 8٢܋_a׶4Fb*"J/< P3- Ejj$:Ft~s+''/A^sVmeݸe7*0? 䪵pnP~l ܼy6 d~!#o A[Wc[P@lYme^dĿxM؃Ai]Q&оݡgL:k@E9Т7}/~We\[>170ˡ$g%`avG2^<=(Sr7t lȝ_լ4hz`nO; ۿ6|4R_p5iȹT8G/*mS =/7A:FIAFUyɏƓ<q5$*;x#3NgXuZ{YH^H22<|Izs(L3ƶQwMba6߲+(՞ ({Qȷc1@݌khvRa?,ˌ?@&;A6"j" 3BIgr3E0!]M-FŹ?l+ׇ·E?O4U,_P׆J'z5P[B{\ j(1 `qNP8!E  ?-S>/V0DH;DA-חɿfQn`Pht=(Bgꬋ\?8Y`QE'E= Ƙ&N)o>KEp5ՊJAn7p؃']2zB 61.idUOǗ?N?pR*Aɲ9o!9/!E# AU&TMZ7=00hEes b#95gkjß;n~A̝v_q]66gqm9R~bviz[mv/EƴOCv}B(?Jrz+d'ᦉy7x^1{tY Jx`r>Hf5'FQ>A*w:6O2ӟ)')RRC0u =q+O-n?_d*/ui3s ,G` wR5憒*;a;#6/4MivYf6Fhy3:#/ QkBڔ nlf<5qxj.&}%2y|[7 g~0;ꉼqU44%y㝢xbc+"] CGd/@zq\LWĖ"<"V,@h)0q!T魙ڸ=|Gsp8f'l*k0%CUKfNo]%H{%`D?6њi rPL$Q!ڣvUm-b%miCgKm{58I23X,/=EF+@l:{~lzzA.5D, :2_4i*tHt(rIzxTC{}<X?O(bԳ9ޚ2~ÎL5cgUv"1Y7W347^NSے|v |" Td*qW(t>KaO} crA =W+pHPX{)l4G:X5#mZ/) g[m(4̜ S_qh:P!Ї :OtMsG(Jbg HWU4uG'O`8}=9@LRrˉ`鞷 W)55KR4N<~LKLƢ2Z_a>kkb:U2zcbKa"Yn)$>}[_dXGMG՛Gnbj[͈0P24~ #jcаG?G4)FfoR1+'e {ҐK͜E {:O~41H_͸T(QsNje1OajB%p K2K)Sk\"L;'> F'cI\^XiO39[ Z9b֓=?aP Ud` RʜmV7sAMf Ga܇`3񍼩p\k6ي]LISǃMo~!k},vz)xסvT2i's% gOA9`KBxNG ֞pL)@"VnxLiՉMѝF\:f3䞽cђlL) Jh|Q]\sב޹g)3\Nnkt4Ths6 P&2P)wuM{b_pj9ew -rW;.49AG;:1ZSgq;89pm[oޡRELqd ]Ds1]fZ 3yU0Iе$x<'MG>ЧBU}-wI3kV#o IX)?@YxD5K?{ ,5#^RTY5Ud윜MTT@'@'AfhVt#v4 t=RcH$!0jRd^#E$NϏUR;יkȌO׌t$ CܶY fлr$4lG{%U2໲^F ÊLmhYw#!ѶDeB#PFZ/ _#Q:LW#P4R(CF#wkvWY35#X˼GklE4!z(a^)1"$R}_n!CmN:*vhzJ掝Z)3lLZjj#}c-ۮ@Irlt:te8*|W<ceGb::DA|Y9L@ܺ[b%&=)]6%$+4⚡/ou g]jI.8]ߙҜ>vpG_Tй "j+$޳Nto 6?-ioi/jױ389\Wc.-5VKgU0?;QEb]p[|^M)Ӏ?12 gP<۟]Zbz̎SplMiqj[0EVna<W5=YHh%1EQ˳[8C3JpeGl_Avo+qwJyf|w-XHQ,;O b(EI3 u4:֨>?5+]*tZY@h3ց}uVp wQ&} GF4ӏ֯.8}?٪ŀl8*.F~g|iICV}_梜xxC'[[h)mjM2FwLm E1ruʽMZk1:j]êN;TO]u'^J|郌` y%.*ٓpCg:r_gB DMƄj~s]dU|.\EK˅}S"H23pT ,$y\.=5O:5r/[o+FFn=خeCxGݤٵ=jh|+YG穓wcϭSTcj$1섋'+`LvE+3eOL~48ԇ.d^B\O Ͽ$}tnտVݱz[w3ıdV`A`^ڤ0 vpgn;Až k%2te))%Ua ;-4c8qJGo}2 l R.`I'wY:ΐ4}PTR;mݩnHVusɲV+Ny?O"yc)ثM.O0uw9~1klm WtMG"t1 S'' mz .!3׎PcYQ,߭].P/d,Fv5>]@ |!nnB绍-Kv'b4Bp2_E 2*u^N$覕㟫#V~a)9# G[8"܇ ryBkN9lJK =&y#ZNȽ H4t?lbљ|׶ U )6ϫna-koZ*S׽q5 K@hy)#CS>(RCPtOz(:R0OC @{9)^xH):M첑;[c`Kn IC&',QeQkHo([5M Fy[ծ P*cJBܝX)#u&\ ql#[aqO}XyG!) i(mHc] a 2pCiqe1`k4vѰiչSXч[oP ]#i+-_&S/3\Eh@Rf%kaű ]`V0N؉KQ%)[x!:7u m//* kc 3}f^uð@d؏Z1Ye]cCEr[hIC0")5'f Lj |)Etc`Z~@6H YaT4?^{RM, ?l1Hk lT{c;P$=f!DC"' oWiMCfFvu7XziLHFO-i!n鰽o?B|1S0bY(3!eԽNSSgH ,77UT.Np/5<"N,5җ&(YgSO3Z4WeU!Nqjbd>wfqP|V[fQ gvT pqt,*)6 ]-rCt(&O 3A/&/`v!(:s%er8#QPKR@Mc&pc;P:F`N5lXʠm%?NPX( 4 ;EHPӥydR֙nGW0$XSjWTRы*K`) V#9Td. YL"Ŀ9a!t+Boa1sfw`-`^< txKPT3]d BQ_=gJL羐붶Gr>yf2o^ ٢ p.-nZKq&]1ibTIe؄:M&l}Zc徯#cYT&O?~)U΂HysdO6˻ vsPu&emŸLYR-mқ' ShOֹ?t"9$?*OA20q~LL/3٨N3Lx0݈6k圢~Ĥ`#\{6B L"x$lWZ%\ߨe,ɼTCĦGtC!(BnG:s|ǀ41lnHBڋS 7\5Z!Lo>@>\$U~.}.gr%3o-LGksm2qK͹lxA :rPb*,!_p@7nW"v@W8ax# ,ny1bM{؜Y= xݯ=ai :zd0T%' &=Y<7 'M O^X#U)HW @rJbPD]YT>B!}m_ǂNDzdp2 XUcʸŽ۸u 2Ս-^EqQ/ЂAϕ5Г ~%5Z|0(ּ桎kbi/] >a)$?$"@<9w. 2SdHR4 I_SG,J!?^PUŰ+j}P7~{ЖnD@kJ7AVv"DQII덱@w(~)o ٗ141 336ǻEV;$!^9;HX!lU#rv1Oly&R5 ºOs$!1[VvچfV{j x< O?sE%ų>n91wQ iЬY$tT"HrR3Q}ȉC?2|6v|x=$=4$'12B9.2I(?-%}> *:k?q  sss] *HI_U@wP,ja9_g^,]-;04=iBdpP 'sۂ[ 'v~Fս7:Qɪ#?nx&|CdpEip€R5BDr3|eh]xulS;mtdʴ1SD`7^ivcҀ euI[0B=5Y( h/* a|?3IǴ0$rǚ"h(*ߖl\TFxFuCԠS:&bޣ$aFV yM-*/lssez#2bHxeTwz(%)d.Wy $DsEƻ3g.;J+77v 1)?2xD lxRY b1YA WAZ\wUAŨ?̈́Z: 1)luO=O*[ V]ٵi~ zz&a']&ί%\r|F.O=(;mS Ɩ|̻ɖ: .վ33@};_L۲p'MY #?qܧL9*q4Kp=/S`u|29rURxH3θO4 ҥ%fyWez[}˹ x -uqxv"ҁBg:'C,A \㭌ЅOZ2tz&vb̸! 01f1[&2ӥIKf2 RrӃH|ݲw=tU  8SPw055NNn.xwWuJRXgO& 2vD%;@@ tpT.za裒' u;!Eso3A񠷈sprd/N@uNj<GSR{gngʺqz3:;~B=djzۧ5PU}+EH\x&gTgV|*|zoJyL5g7[C sۆ#'UUb n4B"U \VI8EvV=Vq6W/W=Im^YV#6SKeu|gu^l|j5$x0Sȫmul`M#ٖ֫>g=. +^P7dM+gnG[kf LsQC{FU? ^OT',aEr{b̏?őlِ̐_dL׿ YaeG\ ƌ2?A_a̰ ;_7ls Q3;]enqAEİLN ~>?!c65ya$ $x Eg%Xdt}Q|=[N#aCp(/Xz~Y#iZM h_`/&{_[31 EV):o0&%5s-s;leM2D:}^IU}(E!tsb54/{H 0a8O8t5:}G`J2%){1000  4m쪖4̄- z1NyHάaJ=ʞ s-RJNZP\m[9=]6s?(o+pZiUXT_T$ErJ@ džqϴHRfx^X)%.Gj-PkK,{%jDרÚ*Öݝ1tGo}02&P%X>OL/!!ۏ1Qv0Ɉs$x4ɣ!&lӸS ɐK'yˆJ? ~>F+?`GKD9unKE%Cm2לwDޏoACﵤN{+*{.*څsvFہO9'b(sёoqxYMxhU$tQ| u&!U2H`eE6/;כ)vgn ^$ zN):@!}ϯ,d) Z?r* gIG}UZۆnكBPYt\40+]{Hi9d;Xo A|^-2lybU/֍މӱ7;iJ+%D]ێD<8.#*OmNT\mBV|L+nA Dc C]/=F0񘨚dj; 7@%'? )2n XRjd\P`>l#d@l>יAA=^;e8~S~) f$DݭLNpK9 P$: JGaH}0囪z)#W~{X @_ɞ/ُs/T63% s_R)F[;5@:T<= o t@MЉ_$MC%a {?b++ ?3 oss(:*. ?xאs:pD3)=fG(vD䢮gjۤ1pnj]ᫀ `Tol=+j}$7' q y ^`i<,(E K;1y@*',!"8e}#PN u38A.ؼA|W\:Ģx Ex%$Ϫ`2쒐>Z_vStd\;ה#FC8\5^i;+&X}NkvnZ =w^:wGvw]P P%THRVN׊Ń ;F *f%5`fp5(i&مP3NF-RC ߂ V3 Z|۫0Y͗hhµ)e2QeߙW%˥q[77W\sc=,$?dDNRyi-Kj!g9K+ #qA TV=ڣٙp%MB({ x}T]W6e_g(Aɪ[%eV/ns.<Ӛ`3a <O@aJ=)2P -h&Tˇ*%FJx¸NVRi@]N2M=O`.C!?@r TCq˛G:zԐێ ׵ x &oi3]!jF*aJģߛWUU-0cZwB~&sN?<=x2_n%dfFLIYC޽yNG)`s;%O^2B.WW`m*6.Qd5  c`)^򩰓Q ϽmR d9GjLdTmA ҹn&4_A`8DK%^ Mr5ՂtThqh%c5̝M)esxVN,)ׯO ğֺq8BL[|׺k]b.= ؁<}R<KaV='Z1XG j\>i@5TCB@:$0$VBF]ΫOR#Hc* MPtOEفFlpU%)b t:Er,UD^>6gwxAyjk>wL%Q+ggܯ(ӨKEyi(OW_ta?S;2))X00EH,AΥ|pvH`@[>%YβI ;-j?x[ ''/W8j9nUu7(3fx?1+!/st/7ϊFR,hh^sCXkl`sDpvc^4 pyO)w= Mk}wyF-3{YyUTVQ(.P -%Lܒ#` g FtS=q]s(h`uuIo7TD(!8tB ӝb(/'F]I^fsD"O3Ǎ2. g%;2|83ž1f:w= 5l>598)gMNė{dn$5. {Q3iGd7{2~,IW arylmŠ`U$?]3.ɻ;?fO"+5^12g/pgF_2꒤܀7ðx[Ǵ( ;M+p7o^eyN#]rL$P>_4r-k1"flA ӱg-6v rg'@EY=Ը?hˬ-s\)߽&*‘!z *.|Xo]y#ճ~P9رn4tߚ!,N+3^8%~naEI'&i[t{n\Un=גh]EFnb2wԎk v䢛KQVuXds*eӇ{ {Q XM<RiwNnz$;5[s>kh ~m,6$Fw9nhBD⳼8֌q&]e7֋ѱU.:tw0Jur7v@:nn}vO":п Xt(Ņ#;VCn6D(zYSX^ap4;0pɚӁ\XMrAzs6:3/8B4;+o/ w=X0z$U]$ɤ/9pK jﺭ6+KeS*4D>Sߜ=EiĎ0S3Wh}y-=tS9͈m_zQ_ƝaAW^\q6 pFоnxJK]PeWڟʘv]6c%J*.}.6**:Ǖ9"uڷ,(W.x.b=j}+EKHwucng y'㥧+S)^EVooGkc9>9Z{̘ ۋ^B#c'˼y-/3|HOzx2l$}!U>F& ZTqKpdRlEkFJv'}^Y忒zքwo%ӣqHÍ~z6ƹ }i`,}D쏍fp-f9Xކavi{b-}}=FvF-`͕9XFʞ50}3v<:L).W8k9yICy otLJyZɫIdt]sYo҅zJ3&vt]fQ@zq GM3c=nb LԳXf[,4!uAgX/YӌkW!Ur<8c<д",vF4LO ^fOnfEM4 z%U1>É72933v4>kAQo1"W!i:3O]=߂P^4 όLfYD\moG};+h׶|-bsq{]0s2C"Kӵ{ CqJ$pX=ކMo|}^los7پRcbȗBɃʫqэtQLNmr:oSw"ɂG%L(%o'ѧiTO\7 ?M/)>t{{%onJW۽)^̑~מAr$+_/b:57.Gt}˃#LA"'c. @cWKAа-|rit'fQ߹Pt׳վЍ%-Q."f\~lG\Nb4QU㔽$#Xm0yC2Z,W%5_,8LJOg$ >gCzi_eSQ1iVyN}>'jM>D;b- ? cGpdu^-NG|~лSaEuh|Ҋ6Qb,RZuwGd/G@qo,y B yR:߬J,Kt ڇn8)SvJ#h̫;?gPC[RD?S$<ߗT#4(Ѣ~Q]'xBxWk: 8Njw|r pĭ89]'`ŁO^I{GD'_:47 UzwfVzG{91}-xDqטVf恅' 7߶Nw #/寛"P^k>:F~+ }hg̿ATC:(&3s| Y fM5%HW!^}xGʅGu ?Oe{HTdOX;Va]ݡaO$'S5$CwJQВls) lG.CjiȘ6?W*[{܁l>+;Al8D76'o継X{ZJh݊lWgWPuex$+͡2Rh&p+|cLDryiRrhMAџأ.GǑzf- uޛڱ!կqeme q*?)C-~yVADfG&% |/>}oN9MVF7g{Q`1á3"=Q{6HlnaJfKy>&*ތ܏pi{ &i7dI9Hb>/s>` |O3݈<ނucfQWd4=÷_5_$\@E-o |~"|kjtKI'~&W57 / 퍬 0LLZ3@)3PuP`*s3ȂBbp64(_ Aa nr=)'>ءe s֛[QS1|eh9w5u%Z'iS/j~ȼH1J/Kpg>?MΣ{wp5ԙz| [-Љ[PWE*" mNS HWO -UUj fYudsv,_f,ȢCSTI@AeN :λN~NCve)p :P{A */MIh$&3Xg'-/h0s0qn4Q{Lfj)) ]hlmچLļn3̪~na3*o6ݙYovD3mLDU}UTA@X~[C7'eB=?De#'zfX9fݖ-ch&fjVٯlVA8 grdf%)FʁUNov<<6D3WhwfUMժri\SP0p(ACdr@ÆltƔ,1W:i|ҹY= g BTK.ȑLlRKƦdJXH%Q(#1F=E1TX;HH(0Q. 8U>;{<daL$U^U(nUsD," ^%,,.Epd6o%}3ٜi3liLC ZK CH@1< %qDa{AX4`0 P Q!p!D Jr!kNͷ4CQ#$S5P ª hRP=sӲoUy=OOܗE7s<=v Gym :<b=2 "95'dLse7 {㦁:E;`5MB;A籀P)ᪧϨW_WYT8,O(TFg"1Ŕ4ZSy~:(ݓ˵~hM@QPrع${|^*jLﺂ | @8*ХnWp~($c͊oV 1h+ {#F^&* 7 3)i~_9 V1dKMe *}8#Jհ,Tֵ < #ofrl}l sƛ7h2={E hxiS3,<IŶ9\K{V9Nb@ɳDwJ>PJq>hҏ ~/Z(cMz|X3j&oi")V_2AɌ>NלlH>f%=4f=,i 9@dfKeA{oT2s&>Ǝh|lp*Ȫ@zb)9J}>N0T LO`ϊqhoG^@ ; -3ZX&`6y~BI 1Pw?JF;Gy@MKۢA-.-ȿp{t ,D=K7݁q:4& 1dec~P_?Nw0&WPCEO$ԨnڿW ax(HFg{B45IdFChi:@a  RrpAɶ"{J̭` %?b1{85>]lsF0li%<!ߌo`QLc3-vVNdƔq | sBVpqfߪKXe(RRô Q8CKL*IG&xA"'*!>"FzyK:>A39.D!R`~2v.#6`ߕ^u (.c-z2vLrb{47R qFݐX?'Ξ"C$>ө&̦$ ,wL‘\7=-Hƻ'2#sm_q"=!dʕfdlOy'ɴH$kڵ"͉,N:Z>Q Cv\=9É>o @- >`)ǵ\{;)u  5K# "HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^zT)0kb!n zn o(&ldwwLr Ңg  yt\4 G4P8XW P( F Kݿ@ ͗{=&"A E@`B8UYyHC8I΂48g ` `8,wF04$ J8 @ pr0dsH$ƒg Ds)i!(ͣvq,1 d9ɊP0.S)v=َ+ii,}  G2@,Y5eY IH'e@EIx44}g$ xAAǒ$Ł?2 p_hp[ &.  * &> ($FHpၕBX>BlvY5q\dzϬhrm[smW9ߴi.*8^?B/t̜7 geoWVa3(L\LQ _~% ,9 A?*YPTk֌f-¸-S'|˶%9u3]@q=tsܲ4]qFh #?uI1O [W#O]4r@C ZvRzOhZ/ۙ$L8"ZSބR.{jgC}黷+۪;5X#k|GV4l(2x %O2k{71m_M5%E룉iS&'6tsmtϵ&p^ә((X-W`GYM. B1k?He |!Z>%`p F$4ԙ\(pmg;0;[]ui7An'R0MFPkcۖu><}2W@S6̵zekґi7E}י6w_-:8ݾ;}O>D$ګgPRs# O]7(@y,6wPoZ rػwV?]PZbYZj2ҝPd);Ea%{K+p:UYJj?]Jn9b;it.ˁdc^Jڶ? ^J6AF?@PJږy0tmMPaWx9Ds;*oPՙr{Z!}>]jCvfg_,Y/>cq7Ei!Fβa}-rCr7"A\ABQʎ޾J} /{~`H~w~ np4VS}j^]$Bg.!f'{|P_|Ą}A =ރm̞Xs ߸hjt;9p FRskřJ!O|d_*-<]\9D9<:SɁFw  *~ 5O% vHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`] 'PgD| Ok'>piVMMƫhR4[ju4aHЌ5f֍W܉b!-=;#[݋!D5n>./v \S}ёH'! $Cb^22GquCR(|UTX[7 p1#WY %"Snȁ DAOH|ȁ9FgAMFf4kiJK{& îZ#M[&D p"T;p|Nnn"h!Հ(+Un.ǒ0LEixxhᣡY8*Jg=$̯݋P-ǃ;H۹h1$GESƍ 3=RCA5Seiz˚ȋRؙxyӒMLw.ywkwkNuk&crz"j:"~ݳf+P>_{nogUv]NuTSMN|4ONlm Ez2rm4IYhh<,"V:#y&I!$jF) ztD4IcM*AymbCH+b$ &]A((][7W3i \3ǧ%5{iɞrgoD i2` (&z̹݊oڨ;:uZv&g.55M7*:+/c*H@Hy+'fZJjffʨ0 BZ9˚X7::"E}mcFKHE 0Lw71v&ޚynrkٱxLn'1?>:o!Eh<&%'1)rQ1kC6t;˛8 <_Fĺ]g$.^%Iyo#Q\~ `` $`D(@Р$  пSlvfn٨lg~)H@kBbɝYaJێ]ۮn%bc"ݽ$ o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodm5K) THOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`p5zս10eb ֶUŁ˻ T@րݣhb{)Rj.=$HCMQ.?2rd:7ֺ:]m>_/M1BLIp[_0LRcH  !"?kv";C!aiZC{5d<778ohg`hw 0|^ ?;|v]vB9__|SuBN|}FUKDk;B9Ŝ7^n"%asmU̜3Kf?wBSDfE1`WٽM5 nBvc/qGE0o5s'u/0FS i/ޢT "soـؐ&7myE,Z*EM?E\T,%ܳI 2Ȟ#?M<*֬q+KǨ dgt?WfltFM3)\M6"Al+`QJLI LEOb&m)!>a}OVԮUOc)$I@Ù@a7X3b>,YL5UJgX 09VYyaJq5w$ 3) H@9OBx F8F@ԡ94O;>'>@; IBg 7pn $kV$ė;F@GЍW z':H|o$MjA[;O%</~ە4M'0л'i1G`t4`.dWF[|4|n'"t "h`j8B|B U5 [_tbe3whl: ^.?5kVk3(7+t8}?n84}1Ƣtnx^:ۿNeL!C; ̖qCY{*a˝~ C Q/ | Sac5gqa]v.@Fc2r[w?d.La߲sz\IfFDms!u4E+giUc>ᨅ3UN N4^E3,pHfz O0(z%(DyV'W/җ 46%wn&C6H{EatzDP2+(@:̌B%ij6t.uƮ:1v73 ;ao8q$}Jv ,{uԫ2Y|͈cyđvgJxQfu,3{k1yװiGBh1,ڏ0ҏ:g+@J,-P~g' cfȁr' 7k.F=ӲlQ_1G.v:EOә >+g0Q+>r, ՒhԽqvdGANpAK.(F9]Hy( |IjĴ/||0dwR`ߎ\9I69s$L/-_:nSPixY7q2u>sPHMWhd dŮ!G]Z)ˢ#h:')ijT}ܨΗ0*B620aИכ+,|y "ء3{96F.&H]Y~lw"wק,@E4k4^8T>ހFr-?N[ZUofb}n 1\ΤД^GBWHSh b> 9^I H;݀#D8{ a p 0zI. rk8z4K@Q#̓(v<@YU gFnRPfn!&3; ҞM=P(PfڞbW+I. %+dPzXZ.@7l/n+~$> vfdeZo: Gܹ^dJZ:`3nk)>wwfe2- ֨nXV&fi{TjS*>7qµ&ȩûv%(հoa]U NZT6 ""l{ac99k;-~w!N pȂe1 V2DYHZmy+/᪁3!dYguS! hİf5`d0mY[f3_Dyt>( \tZ-}qkc%G 2'h9ꮁ,9zy8@Mm'h} GSڿQ~]\@LT$|1qF=y8(\,HF+2czA/Sv냬U'=-e@K,3Me--3^E3F[f_mϏ U! +Fi2 ;{_DB Fo覞"*Vjg(-.A]"uʹ$)# ⚭-[#6\S<,s8k㨮LwsA4@ Z#_DwVɥ_ڋBbT<.&6ee&B!,6;d+&d9LjT5kQ]̝se&dlDNW\HLiz9qҡzٱ\ mg@lkza[^Z>,xH [0|d6~\$nkeШZ}!qsg+˧PSloBy;"_1O2ׇ P.bC)qq`YŽJ_us}KNhqwKv,>C2pGfx`N&ESg^kfLuʟn2)Db klsrս̺?:g(DTqm'.8(z5%`ԏ&kiڸoii|fL\e}!jh4@޼!⢤k.0D b/,Pnfܺ8'f RlAWƔOP2 W j&_yaj?M%߲'㐛U~`*Oc8<D1!HN؁K p@#a /XqG!@CYm)X4+c5ύTG=.r ƐRXB1.7˕fͱtCv ܱjH3..5$)ꢦ]Q <^hi[K05˙fok,-뒏>6.jBy$gaS>Gxg LSW w WQҾ{Le)n$ Q"CW ')8{yA )ӹ { :}ɦnKMK$D;NdyI~2Jb҄q ݛMdQ4# M)2?c֔q"쯘$;V eFEr,k[/zs>jΒxA yAO',;~ԟɪ(ZZ'jO8zuP5p"ZW2?QbmS*cgU/^9XWjvvղ}E0N_#!45$oy5sD5Rvܽ@`0Z5[2Gr zDk:{,}MmրeB?E 3Ҥ:G -{9FiLC:k\@ń+c[j"l0Z95QS=iHɜaD*`F]IA-[:4RF7hq45wƕ 2Gx^-wa_# h$q'%n5exOz:;霮 9~we5aJBK1GGHWG^L5L0OA& ,SW!kvGJkG{'Dže9v'˰z=&{eB[ NU{J#4d4zޑ!cj@-0Uܦ?}ESn~1 I(:N%oIx tfE_>&>#:P7\s% uˋ*j=[ha8.IJ`u 4\h+F 4!AZ?@mU5q !x8*VY(YBSG-0<4.Y5?*b^: T<3.^Ltf XZ)ƦLhõN HCzjng)Enã ;/,Õj?d^7Q0BqOđ%yxXBI @Mb_;G77z2:kij}^ "kh!Q})-avQQC &*7%"}M\Q>ܾy/̦`'@' 2J'g<TbrN\Fz2S1a$ּ=!ÎL9u{a PRKxP ;tz'HcŨ4b0A{o Ǘ"YٜҙNY0F:zrCN>@W~e>YNj Fy !פSem5 /:E1t.Uf $yb,JaPnOcjb`+F.߱yeQa=T꘡kh\fMƔ$xpgr! Ã~-h1P<\Q6[gXˢ)?KrAUz|@vmjE%5䢌`A`~:Aנ<. jx~Ic6snf'pN."iO,&{5 z;+Y2YĹb -+`<_rQU:k$RLe\ؾCל_Fz&{)WA0@ NLKT\Ww QE)el1f.Bf,[W>o1'xOۅ,DB+p@d+j5߾Ʋ?|p"5EsTm(nMYZN J.4QA)aɱ&s )tJ-|iF4武zy6zD$cXa @TJR 9뻫zrh)w}OI2%uKKJ+|& \(RYS#4>R f l{bQݒ"@Q1uk?:ٖə[eoAm\)'ӚA [4'ohGV0v>'u ƾg?_/)v2 { &4;>.z98: %kRhnq|uі;(Ȁ9 9D#CqYLy$Vgxްi;R$*x=3( L9)e 'o_$;jQX>b_8,IWfCP%DHc&b"#W>̙yhjeRN]|%*˟dilJ}TJJkZ+.`'ά,'[4kc+se bsg9c;(6exhV˵D*Y-/cզzͲ, pAU{Td; &U P; зjF0*=:Ր?3'FoJR 29l@uּWr+4 WI87k\' i.*z1^54|ӘºJi{(5s e=6bjk4/]SDBI>#0]W*LN+L&SVD5}析Pqk˧ȷ{ʋђVmncZL\kƨ2nY i  ! Kc1H0 ȑ0!B! R%6ȈD/x=h/ M /^7d,?':qBOق.?Os$wvO8ָ:*ۚt ukR~B,G^NᮣU AٶQE_\Z6j]^4'MF2@ vr-ՈH%@: -6P}<ն)ь \ ҥUL]K>MT^#/([~t֭9OdQUEBP 1ЏTO 5F>Dw%*6 {2X94ze@Cyú(PvW D GpȆ#BlHg8b5ss1k`ң$FMoE vS\!^-[3NY (l~ěQyS%{`pӤ93B\_, Ed:v$mzLy^ yφy|jB>sheI<02NDNYb2ABM`fYD'u:l(&ށnf"!`m{#̯[}=>FT, ϯRr(9[a?[9_o g6E v,{;c6b}Z ^{-(j#բ.rCnВdIh裘O?poC^N_nnW;R;(ea^Bu):=2zP:K'H|JrdG]Wٻh }b*.MTs;*96HUQlԂlRZ(tJA |ZX\HinGIg1;.Nz XмGtxM\2AlU C p"ئT_fBIB[g}ҽ@X Ü*=s!XI@*S[!|k2J`UYV3f^Ć6y#jzo0*.CZ ˾{BȠӌPa[X9|$>507hj Y~vJDow Ulb |@󎦛M'|0=ْ^Q+e/T }7^)s} k,e袂0vHdAXrfq*&YHƂ&%o"Ȩ$RЀ|4`OzU!X}w"H#3Xrwu M&%UE Yxϥ&>\pQနefbյ+hi$tN NhBye 1I:@#A٘mR6 !^ R+ؠғ.oPuWظVM>.C<6G^AXyS߭کzSv3.IbY}W4J[$y2Hࡄ*Obj &9zQ)>ٖ#1̆Gc R^յM݆NTaS?Y#P3]w!sݪKۺp2Oo:o"U!EqgALCiFoI$Л1+裌Y7W݄LrErpX`.\ʶ6$3&cZ Pq,լt|2 7.:\G ;ͅl9{ \59VKc*R `j_ig^ˢ%#P}G*IRYrzՖ!+SI`9n]jtD4*^5s)LhUDLMyMqե5 աWūøtU",PxUwF)̒'EU0͆yIyzP"JKn;ʵE"ЍYWJW.IsyI.T)Kn9Xm<C{SeУkF}pȽz"hUu̎ B1\P0O/f!,gDfiT4oE63$OF)uPirZS#w4Q\VI0>5bvh gN.vq-:K㦳o'=7:t8-WE-bLySĖDbiNz%Fj=Jۨ>֛c$׺F5ftE$NFGaj- &_^wKʀ֗AReAL77r>rS~3~,i*ɷ8J-j#xP( s(uW\}K-G܈]}|)(䡿kە7׳;B2@2OאDy=:W꣍|Mߠ{.^fhBIGhYb3a bEH5: eB{@` ( A 1B!@c1##.4KF˧aRv _y^g֣jۍi?&j4 ~DLPN͆SYe"F)d4.CDm%|gU:i$ܧzO3z[5̾hPC]edyMlYv,]>k]In_P!ϧP:,c 2l#圆Ihf;Q5^mj,RXnc etMPrvm-. 2ҐKj,UtyEvJKr~kУr݋Q/#D8L_͆5PMm)cST퉯Ι6ݡ9%cߨBx is63PJh}'Mk PL[$d߬8]i6M]շ:vMMrw-<8QrRygZZhe2ؒ"J'Bm^:T{D|i?v+,-KJ^vp"pj]?bgtQE,^О9*BWR]qX:4(Ʃ6 ,hp繅' =sgaЏ=}H `Q/^]5\--.c9AEIxls%70%vD0 Y=>7olu[ji.vS~.{iSF38@LOdc3+0ja;أ a#=2A~XNπd)<(SFǨ?uQQ, ܦy[CmBӭrN ZWSUU-y-UB<[MhsͶj6n(C`dEnu: j"mT][`1Zp9(@E3JpS}3-`rSnRO|ErQ&Ӌʢ; h!8Y&0 P=G;9$6?2/<``PF gQb+zM&6(!Ԛ{@Lgb͗FO<S42o4rـaj/v"?cL;qp]Lԙ|(uIody+>1Wq֍lj,e=fB\{/c i^1&ÙEDLٹ&ckSA,Fq[FWAhB%ʒw@:hj&uպq63̶Q41x+ɍ!HfmGO膂I=0X?єL2ӐF,1<~e<ӻUF\&"#C}͇9/7?pC<:V}Il,1NӸSFf)NN܉ ]F@բ({QP;P1TqO'_ NȕS?sbKK0, <~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