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_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~Ft2 ] UHOL-Nominal-Examples:threads=6elapsed=273.526cpu=1372.271gc=110.348(/qfz:]&) KBcWE `a}+et{)3@@; 6'cQIbnmt_brOCj/CZRD6xYmp\$b-OfNBz-!Vr,֖89"EN#F8b3']oH'Tɱ82S㉬^9RY^g-[ֺ ɰsF$"  "XyHC+هT̵ِf3l␫ ؘѐ㐗j\1 bvi9a*t# E !=,L( PpPLX_CjAM*p%6gi#zfI2&r!b11@@ѪhhX0||9җpbEÂwMlDdزǘ6Ku_CV3Wa elH8\m} Ш $"z jh  5(d ECl1ΊpNG3JpP,D(XpEb[00@a3C*C hhЀhjt PL8<@8Ґz+I9:[AJH(N̎x0P( 8aA ("c ,&#8p`(PXH@(4 H,   a ` "$D   `b!BÄBA6VT TƱ^zbcAW?V*E{lRW;w_G11z.196LE& oil;y;65)~35tikȧtzyuy;wTi9KA2;:#,v.kcSl^E$b st1c}1[UKeUEw/{ qnVI!,[OFnCJZwEBE.5ӕ-ST]';Mi"ݍNgg;IWőc{tiEcx;N2v7gN'>ۊbQ}VY݆< }MG9ɺCX3g6*9T|52=7kr&%Uo,56cM8w!!cVބ,I!bFa<>dϧQJceNf71]IoY#iGE/X)Jjvv fʌl,NrYq*5)ܭFGgL{Mg}c#-g3UI$cC̢!6L2o2I∘]!׾3{X7fMqIJKL)Sۙӡi akx ?؛53l]ga?TPFڏjvΝZvC5ص9vf#{ErJ&Gfo絿kZs׿E7䛟ڔ7ic]}1_˾WWH+Wnk}}E׹=vYɺWl<7ޫR5 ]Mݢ񐕩aGáLiҵ2=M;{YYʝEZ3kըRʦ8G#{3:Ŗw<^M˚乛~T5IW2<`7B2ojrfM$ L3xRTZsD65D5"a1M Ѧ{L6=CjC44=⏘sWGj+:g{[D[3:^,uYbϨ٣\ >KgVAic2xFtOe+A#Zʬ]&:4'&~aX0N( 0BDAAثBz0&\m.F‰y'BȋE9{e9+Mu90mLa%9TGtߣlןH .Kbq~{用ͨCT=O ݍ GόA+kCD]B}G]˯7A4{kumX[0ot~(*`Fd ^"^|m#d_getbQ n"=O*Re+I5TIyN~ȿvJ9p\2A7‰J"j~H"ARو98Z̆Z@LCjR<,+mD-AF8~1^_.%ݒMt٦de;Ⱥ.-ȡa^kqѳ%2D&`Rr*~D:XS+IYi,yk"{.G J-[yaLX 3N2ǩ 2Ql8g4%ٔ>㲿= a4f]FExl#šd/_bȦ!'LnⅴΌɛ4{OEgيn+ \\7/L KhvE1/=Z>OܹugX[+%ЪFx6z#!xӑW+\TwR<+WiV$eu)r6 J>*< VF"5ȎaC+3!sهLSN@YF*2a<]l_ˊ`4'pA,zjU˫G=7t7|p%tKuqI㩧</fIdw' 9]d4ޕJ=I@փM{vw*l+M8㙄 ,hxeG*ll!Ԁ j/nfA('lVޯXφM3ŚGZ eīFdP-2UOт_qh6x 5 HOL-Nominal-Examplesw nw~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t nL5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ ųc( D`*-Blߝ6g=؀`J `.z.08䑟i541SW”'b 619Sv[M ,h˵5$Ghj)Ԫ\rk3wi =rex1.!/e{`hEjS2쇢jјFCʨXbjqMѓsՙ6I6fV:@88H}LBMAPP%P͑iHp<DC D%4hМЬ0PC U(hHI MRҠF( p|:}1S7Fgi'ZU'IOޮwK_m͆hH4- .AXwphp %p,tG,p^ڴ34W#;Z;ER 5=/_xy' b B{Xqkg9vf5o4I F@hr$L4IN:%g*m)cBy  >*Z0'y %-K=Q)9KIR6=#àMó ൴ieV{ͼv5Fv=ޑj]u)zHD311111/kvvFE_*Ra7 4DCO K&R@8u89p y㋿Μ9s<řxSnSq<֝H-;FgoNre]W]J Q3_u3VWQ}m%|_UГNű9q!WJ 2*uOovB48QT?Y1531YQui2hNʍX  jir0ܪԿu޿͚4S a&Qk"H\EY H(˞ ˫Nz302nUL&ջL30累 /庪@Q 8aT1[3_k&\573^s,LMWg6|L>'oOButjKLwNE_1x>fT~#GS0%Bv0yCB)F0V"N5hep?8r.x q9b b5K' @HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ㅨjn<)ڐ'rx>7se.շڒ<<U3q"Sc$YU q%Mڳw]+K*4I4`-҄b9Z0OZ. &ahl% Ѓ45sR&"Mz+:˝M[k o73c*I%~3撝d2|fȈ߾Of giBm.J,M"E庹ymSM+  GDDD\h`! EC!o1  ۺ LӀl ŗۡPyfrze_DmžK\SDڽl_oeƬ،y0΃EvPd͌q ?t-U&w"z eW/^쌱/6+#Pаpld^_FC۹2)կYffR g|ڢ^ `X `xf30``$fłEbZH-z6AjcvFCjQbv74,H-b p  "(/h4.ۡPH-B&[jC8=+יmsL&Dbw1P$V!˷ +b .^I**SEm"SbYt(jLETX*UfTK~Vg밙^rid]}_t8vXuz$c35ͼ.lm&k97R-/ģ|cGӼ*Y-eU&2&*&Rs^R뷾ݚPJ:%>✣gxAP{{y $m`$ PA~xJ$#wr8no@jYT+IRR,hpyL0A!i( P Abb(b(F9?ٔ0 XZ0Ose _sƍ͎tjh᭶-]YY>fPt$T#E>:* ق ւ̂|{xw^sRoQhNgDdB`.\-X,W*T&SPOKHEDC<;:986320|*v)u't$s!nWVUPBA @ < 7}|{w t s rpnkidc\[ZYVSRQKIHGDAz@y?v>q8p7o6l5g2].Z,U+*'%" =60/-*# "  gMo!Xs U 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/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms 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/classesH5sA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesrF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!  So OI!NeQ* Y@&NjE4zWeN/Mbt`c:p3T| ,Ipº1ܧ,jY}@<*HI WçzqO똺]hV5!Zw<X֣rџGi=d  M sGEZr9&k4&g#LP;NHf%btdl54i~+Ox4VL8! ϴ֓ߍ: -2ٚ(&ypj1Gc_V#RlLh-4~oIwhDԁ;VlА3~t_ xo ㌨]1g"f -vʸTY4;wsVuz(:7甌y+JW':G=C* 6ahn :,[}q/̡1z,կʻ9!p7 _ؤ'ЎK4XE6-h[AEtPaÜtsUNS@j.!l͔\8̽*xKh,t}8]P;:ɭRZQE `ԘyNw- y ж aSx{\Ю1&fv)|b@(M lB TD*zF$ 5jFcDRNٺ'q3z-7e6D,?@4]Ct6ZA)4IM%& *J5FR3$LHPg$1~S"wPoxEE:WOXFrV_f~n~" J$eXACgB'2rԽZta.Orn-g%ze&H'>뙚,wp1RZRt`ECⅇE`+pX*3i0t>탸 p r~!a,aT48\FAT6&XsKuWkGtn?< FoREVLkm +BLYpI%/lkjw8?e[cɪ"8و2!j83^l&/wVVBU{ЛVBOT2#էc* 5$"ZhZ{@7F)9Zr.U٩^t?7BB9 π+q9 ú1 50v`}sԢ@|NPSfZ$ꚆU`Q0>ְO=}b -G9xbW T|$$4l&^sa*C 5y Ͱ,&qg95%/ߑ-YI"$N摒[$ 8C+鮃n\_V![ZvUH9XI? qWk2X*U{򖳆C۵^x<>%8,G`r8wH-8s{aNyrs%O:\ _84~-hksA GhCMV4wQէC!C09?r p$kZ ҍOMW7YIFe8Ql D*zIB{ s=7/O=6/32F{}ϛcFU, /gHMVdmtE8C7*<_/QHq5Bȿo3 /NhݒJș yU;o[w ELc xBUo,)0!#R_pgF+CdoۯvaDBdoV`Xx@E,^u~&f+pQ85aER_zMA(wuL[ '^s'HlRT\"JmpV(Uqh8S ˼lԸ,xf'\ڍ=j::m\{J',+砜 >xùZŘn%Äkʲ04$R#C-HzkUqK ]gPځ)(T+kgǭ1%k,u;]%4˹5snzS4 '>I=(:Ӆ3=bfͳύE@F9T\Pb PqoLKUgWg#8oaʃ_Q8 .eIi*[t40 tȔ⨓+=",8 d$H:'<=4mLnY>n۳HlziuY%N`2٢򇋭P_$M8|SݪG3hKboIQ+O.TPP9_IxtHe0W+^ք1z7[2<ks-20pis68Ed.\[$ BZct }15ƠF0)Hhw=D/!r*#9 [;zaa<@E8C^J{ %Iրo]X"c',\捶xjv5ޙU%eN&63[.[CNl+-) Bz%Mwv8BC9i3xwpސeגڸÚ((K* ʜHuIY)~.qHlEbkXzjy`dH|\͝hJD;뀞tޣ{HFC͚5*چN(_vfO(3D8B\5"ڝV4tLT.pUP$PgfWhT8:r\#:2 seOxͤk"᜻P6`oD ggSFTb N]dk#bM8&!S|RXbiڝIж^h6[/X|\sɸ 7w*h dLӊI:PH1JԈ\a6pјLEY(~^O, T_ZLÌF!na"- TI:d"wF)7bSn쿩?rCQEtjiĽ2E%Y'%GVg ^وO9)CdX[WxwTY:Pzj| ,sNCrg4)*1[{qcjeDP?wՂ7kw[#{^>EU4yI#EEc?HN?gQ[7=ފKlMPUƊy7 Y|ݔ40`MG o}L;Vox7W ·w(]HI@$-ڍHUE;5P/YXQhƆG.G:zd4B8gB>\Ĭq!JXNjs]^nwGr(E$<["cȁEViy;}C=tҴϯi~`#qn={rKq5$*m)M#;j( 9&)e M.=zy)ay[M Y(^XJ_ ˳؞I3$a_O5%Y_jC)iB7!kx_o_f4!"v27Æd7nSih65"HD%%ajsa)p*PͲ[ Ȝ7`M@`1: 0Z&]k( 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 3 w 3L5K' HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ ųc( D`*-Blߝ6g=؀`J `.z.08䑟i541SW”'b 619Sv[M ,h˵5$Ghj)Ԫ\rk3wi =rex1.!/e{`hEjS2쇢jјFCʨXbjqMѓsՙ6I6fV:@88H}LBMAPP%P͑iHp<DC D%4hМЬ0PC U(hHI MRҠF( p|:}1S7Fgi'ZU'IOޮwK_m͆hH4- .AXwphp %p,tG,p^ڴ34W#;Z;ER 5=/_xy' b B{Xqkg9vf5o4I F@hr$L4IN:%g*m)cBy  >*Z0'y %-K=Q)9KIR6=#àMó ൴ieV{ͼv5Fv=ޑj]u)zHD311111/kvvFE_*Ra7 4DCO K&R@8u89p y㋿Μ9s<řxSnSq<֝H-;FgoNre]W]J Q3_u3VWQ}m%|_UГNű9q!WJ 2*uOovB48QT?Y1531YQui2hNʍX  jir0ܪԿu޿͚4S a&Qk"H\EY H(˞ ˫Nz302nUL&ջL30累 /庪@Q 8aT1[3_k&\573^s,LMWg6|L>'oOButjKLwNE_1x>fT~#GS0%Bv0yCB)F0V"N5hep?8r.x q9b b5K' @HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/consts(/`ㅨjn<)ڐ'rx>7se.շڒ<<U3q"Sc$YU q%Mڳw]+K*4I4`-҄b9Z0OZ. &ahl% Ѓ45sR&"Mz+:˝M[k o73c*I%~3撝d2|fȈ߾Of giBm.J,M"E庹ymSM+  GDDD\h`! EC!o1  ۺ LӀl ŗۡPyfrze_DmžK\SDڽl_oeƬ،y0΃EvPd͌q ?t-U&w"z eW/^쌱/6+#Pаpld^_FC۹2)կYffR g|ڢ^ `X `xf30``$fłEbZH-z6AjcvFCjQbv74,H-b p  "(/h4.ۡPH-B&[jC8=+יmsL&Dbw1P$V!˷ +b .^I**SEm"SbYt(jLETX*UfTK~Vg밙^rid]}_t8vXuz$c35ͼ.lm&k97R-/ģ|cGӼ*Y-eU&2&*&Rs^R뷾ݚPJ:%>✣gxAP{{y $m`$ PA~xJ$#wr8no@jYT+IRR,hpyL0A!i( P Abb(b(F9?ٔ0 XZ0Ose _sƍ͎tjh᭶-]YY>fPĴ!(5K% NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s 5 `g4TQi<8S*_Rt  +2-)4#!)%qQ(A0^!&r7" jID'^ )Q8qoN e#.hٺD͢K L1a")T>sJ*T()Mا>f#/Ë-ŻYr;sb߽jjx[Mmo mAcc[p9 9!9B"Q$PB{f50'S舉~\6vt{'T5^\rO4"ɺ6"$5ipIL:6* FFSa$r'"|P}'8ޔ+门>No q(N9&[ՋWě~|/)u8ULx>GrikXoH}p߅耙jUyn`th\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  5K# ~HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^T* k$j࣡E}Ԉ;r,{$@@@,7X$5R$A2t]҃P¬ iŬxװ8͒7A8vt8J( ĩ_ԠI D7 ,G+pa`& \Q0 rCCB$CQq,90P ,0U3H4dpR0p F9k$4BxCnkH2Tng "!+\jRExŔQ,x$IQF1.n9d̫BfcP$ G1 GY s'/tGhjZmm[mVնV۶ZmնNv:v:v:viNi;N۶mN۶ӶN۶FF[QQ1јhb!dUBqw{5**BU^jEHosSS23./*+z_^^.[.2fZ˵ݪJUUUUUUUUU3333333133]wwwwwwwwwwgfff3;3332YUʪ/3̰ʅwfZ?$kf"ޡYUqwyG2[KD4GyR<ßϯtƈXPH(K6*gU-W,ƈ=K]ֽudP7^γ&Qt`9AJOpA\\E뼪t,b;i8LjC*9 ] F_ئ6[#I6gzѓ[#WHY"Ìn8Iջg RwOjO7 MKۜf\ѱu%:<`M} wnx;RLLP@  (rAxzy+"s0EAcoq^c Lcf8ߚ6M~9L4xәK(8yY[hu ')3 N KX(w~ {A 9opkkѿ8+x0O:/gӎ#6lB5`Hew_ n [g9as X5N_<<`eHYKTlr:BѤN.8 mirowd DXp6Xx;s}9{`mXM.L\ϹjB4P؞6Tt<)CpA-(uy2w o<;c~ES `ie@MQK`ϻ S!`n YPOEy"G![׀ꗡLt^W;E޾GB{>-:vB]Sq@w^[d\A3_ 8_]]-Hz>\kor.oeU'&Ukbt064&[[X޺j]E"gzP:SJ8>q ܡN!;,6w3fZ2!50 C݋'[WMlוON]:&`8x8|)F?DDk ^ . tb(qaQrՅa~ۅYoJU;0xj;nAc\cɘW(TTw8ZdXQ5gbUr1+ yas{!pm@6~N!~NimUQ{[=Ϧ=zoJ~g~WYȬةP}ۄ=mfyqj \C^ ɗ ʔ穪LA! j\܄HoM[reJa:l6h1ُw b~\>Z+zѣ_5YIvN=bI}oZzkK} 5K) 4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&B|h{hbG{@pD4L{`((AN3~B_eQW *!(zz0^z@yGsH?u,ndz%<ȧ<-Ϳa+@HnnߥmՐM䮇Y<;\sy;xwuǎ|=`6};t&vP=;thsc:PnYTA tQP&=_}:LD\o.H7kD%_Qx=v;8Z _hP|;s9`rwrЋbrڞPrՄ*ۏoc.=݋Bu;m $iWsFg؃q}s.+uqߠogHߠoUdj n_ \7˾z 8'_nŕ v^27Muomh6`_sm6r{m6`Tw`.Y!%jDG x 7=6(:l 688[a%P5Ro AQXѾjUSR ,)5T^Ow0 @~{? Aiw0L΍iXi #'>?7S8u_["a Ioe6ac\<ݔ}otMd-tnS\V`&MYIqqPQCAʤ":?HHc%Z `gXTZm9,1ֳ@se$&e,;J$jȴPԧsk;^zs5Xu-HwX^UOB0ԍzDB0;FWSŠ+Ls` !m_B4 X< `d"[3OG*Xh4ax˞] AGۀM}'Y@bb~ /` {:v7m9􀸳V-T=BWWRmf '{xgܥLc"/K9) y_49czקpuكWuHJmsdC /RV:HZ +i43L"tI=c|pbi~ }[fUϫktp+k{,SK]H03|Oa֦4d:( 0:‰(u|z:ZS_D+rpI>V#\6Y Cv>@67Qв0lZ2uBȣ Tg](9qa6|M-L%Qȳ Uݗax~7iɖ1)lM#Վ9J?οG.}4EZD՝<^n r 91 e~l"q$w4 uc,rAw0 >7)_ˑSjdBb_E=ͩ<@F~ o9k#R!Z Q,Ešth!)bJ'fnz PU; iso&}9sXX\r" '-9ga#R$h+2|,`>˽UԵ,w8r:v"a`64.:cM9 !+vU۱y ]:Mؼuٖ Skm)lnlz٭7.ap~,y%Y R̒,\f_PFzά8:g[`x]%kq"k%/@a!1@Tҷ>5$#f()qB* IAƒpyJ]A|]A#0ҚK^):3u,N ۯZۓv+TkB Ty&5LO2[\BJܴiL5fnx#zM2Cj;#Էi^4KK U-AΨ{Jr NUdZ.-{B_|Ҟ#6 6`v:U꿻p4u+LlV-m0IV.@RV=Y Q6SӼiП6بR$- 䎢$2wvgo$,u]+#a! aË~f•XS#r3C# V,X;G [#4/RfW `jb[+Htxc@9rvl@Ɨ0/S߫b+e={Jb-/ȧ0g+zP,"y7E6j,ZwָIZ)ssfgH⹋-tc1H/E1uf$綃f*NJׁ`JŪ2A k? snQ~wֵ:zV~㖾ҹWHu(0nDҒ@˕DY'4pܵ b~Hԣ/h!afqɑ:c\FZ xϢwfv$!D|ۺM޾mۓ'O$I$m۷moۨU?с7ӞV@E  `30@`   P8@8`@ A.hx(VKEٟq[r;U;ٟqӌےbUUUUUUMUU5ODDDDDDDD4Dc۶mm۶=3335S35|YD'?mϴ?δ'}UϸU' RJ)%JlykrUjo=鵬꿉joײD7Ӟtٟiɍ2@PB`4$ܣL2U=iX%aI@3@\$$4TcA]Ҡ%hid4Mu<mcPXP2'U?=Ӓ%Ud0!AT6ʹ6=oL)HRȞiMnՆ!!QąDBQRvgڍB% PQ8%a=0T0dX4d< ,T@( ¤9t Bao`GY(Y)DB %ϑdOpLE$1U8[=I W;I~y zR $ *Ax/&l:!5I{ @ZL M<1IZdC %9+.Dk-IM!e%ylUxJ2VKjI ,*I.R'p$Y9nfHf$G"7 ~|$j YG+=%z$$ ifJydQSFq۾~2;jaTv$y4D*1it$g *$L XԲS' M~^{IV$\#fɲSwf.\qQU\2hjtYU"$G'BY8X̀$-@pdC'-fw͙KrH'qO&ƙ|@G+9U.5x{\iiW3 'c 말vPRHj*[-|Yk"i[}R _Fh:_7{ݾ(c" Ohw֯dq-}2K~áO̙jgB<%Hd1A^l;S9 =$SF|Iv$~L̑;&O3dq;kҩ!TKbQL@)qu*oYU!tZ>;b: a(o|AÆO.㯦1W pO `nĚ^Z2 3|ֹPɂhGjWx.øVϷDD{i]y .w'XͷۼE7ykFN5xd1V"pOm&]sD;ܐ6(h@ؽ_tCA`"!j%~6Ԯx$Vgy;K,-)g/FŜ> a7DyT [A'Ǝr]qN\}ՙix[)[[dVO՘ƈ*[${d2I%6[c6 G2}͌ga~+b'xln#8 _pEᔴ lw:=עemY=)̞TiÕUgn^52|#5&XH&6\/1xj+ $O{Գ(PUo0o:6co1AhTsuI ԖpڎO.&n=}!fYj}u1N3fCLKwA7nVQ7o{w'۶\9H\SsrA)s1|~OiAzcwۈ*ɰlh^SU dEWv.hfؚ,(w`Gk*+ARVbk"Kh0Q L"<29FuT]{/XWQ3ItQI )@1WO8^ LɈ/X t >S@薏dJREԺP0Lu9׆`?*ӕld#SDs+u#~٬uy[?YF )).te'܇ၸVw˾ΩlW ?AAє "`ru(T L1qLLRax ?bWٿl绱A=`Xd)Q:IG %ْ3;<i9=(aģCӝgh`4 k4s#3%5lnpL7eG犂䵨cb{Vy CLlfZ +, s8҈(:*wYk2פ2e|ȸҚFA=_,?A}t{*>0_.Vk bCB@yָ gЫ=U_c,7]uy:sǘۗS!>,])3S~c.Յ%s`c2p6 yB VxԉPn{ BH,p29Y,ļ0l)¥^|4u?̧ghηazWIq(A蔳sANęEɸ|TÚY߱t{I?pzk&eBHb\̞^WW*S#'}`|*LSfM GP\,H-ՆbM28?VCkQ[]8'q5ZLO W}팙qf^Jhg]G|UƄf|wLnMC[FLzKAc P1Ѯy8MN3&U*QoAҬ 30 fr`p}kJ|k_I{3aƨCE_xHUh=Qe| ]N7L8AA$Ob5$$w {AcDrsRCb Hk귴QluP(%Dϐrö(@Gamlz;7zkԬAGBb,F?% k3a m9m[^2?nilL$;?굛lbPc6>O5u9Mӣ+>kgznr3 B- ϑo-T4OsˆBa%^8I?F 2Z`ǭN<5k|Q 3\_m "Nu8gr@?H51A9:~w<#BZo]ѕ 0+%ApqrՠfgDTA/8Xwz^S;VH VO]ޤJ}oG(NB,2Aqtf &lYrrAI27%1)ɤD*UbzRDOL0d6cXUF0+F\= kgRo,^nWT:" 2Ujh` 5ǹ}gb!ɘ] bnv\_O39b(6UT')[? LΉh:$J635yTڋ@*=h*Okq!Y{eA)Ǽf$C7ĝUMԏzV.γMuUdSyb~|e v09nVY/H3vڕN#JuPOT"&͟(*~'3%KzܜK2tb(6bW2y)╱d,e+꽈2⛐ʹ'e>,@0XMl?F JUN:9ۤ6-PjKґlZ _{GN:rH `OvɫJpEl;(}Sh D溗#2f : je5kc;8YƲqʳ׶ QiħWCY/Z ,{]{0Xp\Uۢ)1U-ьk]v6Cn ozK4C,D3?HT"Ha *(% q[CC:DaQ^'C1d&/ "ڍF݇ &{ QQ߮hfM~Um:Clxxn|_{ohp(m/ "κ ad'/ "Hܘ̘Dj=$:͜GJj;" 쯨V" &MMEIVmWM[6Sꓚx2c3%z5a3k[c بZ@$CcG(Z}$4.$"*( " "I8a2PD }xjVt$Ւ_f,6.knI-ꢔXˤYP@@2Lq zKh++h'p <=T;ovf᪾cfAj%C/"8?-gI6\$AxĥX(a4Kz|9<&7^3/׊DnQz!!r m%u{@+rWG1"xH {18pyIG.eUQqGE%{C㈤~૖:# yKEQ@&ه) O p 0K$<*$8EU (U|9TTX eB{<14);`ڇ8DOȲ[+BֆGɖHfҿ(}p#,9ٿ֑KKV[$˟JZ=L2ꁱ3Fn | #{4#jF: Ҧs-LTF,;#xٌPD|7 qJZ{,h*VxM\<#YFod'k\1h ^-Wb*׉?7З=aG=UN%>2#x?>h[Ph.X}bfW/O''GT}Yſ%%>&@yx4=?l94`ez0V,A'>vC2)/+3z8r-+0u)ӇZ0td,H?uw+%;Q=-s+4)ox_G//53z^bN4/?蜁758{xNfHx gyYr_=@]ϑG#c!09?䂪l~&J)lwY =w _>I>{j燂^TT}qosr)Ix^Oeݾ1N^Xû0LBo,ʞ0QMpPGV™ Mgz(DHoAQ!en9I/NRuߌ{OW0-zx33'f]t<,' b pP⅑KjFo[=$֯W{ kуS9_pOݩ৩|6?/1qs;ʇ}fQh)+engn m2ڑѦ'D IR7.&^ GDx~(qMsWrN”<hOFJuG|[.A 3)DpHOE!#N#S{ c27=Fm;q~**v #磔%8d sIlі'%)2iE.dHL~fiDodE&9Vak)rN 9V9D:fy&h;r;XbmӳNG\oEOV㲙p[r?MЧܐN@4h71DZs/UD\ bL~4._젱>j`9KP|暎*A-39f >/t*~[>Ρ<*WTJ0|+r-J7!F?)Y Z溘=Jmi#v#/t:ksѯG#֪H)I(r&`>7cNQ"0sz'p?Vo|o\:= +yZ_:Y;ċb3~og/1r.ՊTL="_ eCD :Dw-)?sLdb _u ؄˗ *3or?~v'ۏs+ΰOf \mҽvƐ@QbZV_R)GrȪ) ‚c_vH^g3j[ 9~;As?cB|ީμ" ]6\K4pPۍzɥI^n6F]ă Oȵmm}4 dKU#`d$CJXxP[4,$IB9t}Voy;Ѿ Bn$/wbGsįV7%&zs^<~a%i|v?,#Ɨ5 KZC3Cq,bs*~o'|&8] d~ D`+XL-mXOsvG]c'EDz,;MukucB d*ӧF; gн!`"@Z=8t Zq G 7(*wu8x#W*$(77x| 4 }2n>Yb=/B[Mw.v'}|/]@/SOFԥ>]\.OU85`%7ᕝ| )O_Ʒ`][w4VO*b{Es@]LZ 9کfQ`N1%_ |ta(`:v^!MsV-{`-YrkU~MhR[+T}(ѡF'ύY?m4h%5?b1`. c0ȦFi^'[ӺlSY*Cn/.H5[z]bz@W40r3=%9 _yE/1;)!6 # ҵx@X '~ Ś~J9B{30p3;FX=z}ǯ9u|Q@=Z!@ ^z`ӱg1W?4Hng\*[O݆2X$W=vHɼ<;!\%s/eg~ݰ2r-O _3wdZuXL,{I#L~;]yuA|l~suب>e;:Gַ;~0aCF_φrAsq*8"2 v;=^2eSQ ~}FNSyu0H#b%J!r MwTu [*Ś[|z}ŨMYG W00ѕq>sΐa)עq :&^ X*ޒ{?1lS.x̀KNnu%gey]>M7nmK"/l3{ojn {GԅS!Θ>Oϳgcڄ'w^Fcr^;NSk86o=Rސz6[A2Ӊž?dKL s"iA>aS?A$%A-hŽs{c2ѽ1!!N,?iޘ$H>ux x^4dx/7݀@`JS"CS٩qU zݛɒ*+Nۂ@cNf% ˘GO%=oLf?}ݎ8=ϭOh̩qݸ%Ux)`Gm_ [_=\t2 {».ۃiG`kkHDO@6 SA`mp :U.N~z}O~BGdaQK0s?= z:tKi{]w7%]97tk vwUr JyEKnٛ?HSSt_|E'O_w]f!B| ~oaiF@l3IT 6;c ޽(<%'oH<7Oh(eۗ9Tz.>p Aa` a˃-_TIJ6;~s ?V8T9Cw3c>ރҖs#fpzsPcz1+ۮ쇬W4}SWPJQIDFZ!PQ-sY lvn̦nmA&!غO U+2b_N︣Q?E>_wgJZV+_0a\Y:al2>K[Eo4R01zlS:>8Pjw|t^?7ۼ(Q IGYhG=j/&w_Gܣw\!T3VgzLot8R5߱|K,ަptR?>=_ O a˞7kD_(85x>2 s0_$hn B|H \e3b;`ƓvFϔ:'l&\WB LF_ϲ>x˲pȭ KR-3_رJ%J XR\/,GWNfיUTk5kk2KKSSgә9DIo"8Ex SYM X0vCW2Vw'T=){7g4Ϻhh+xt Oc7)Ne)j<}WqMJQ'Ű=ft@s_򷑟kI0/r`gn,;3UgG13UvK,;WE=Ih_m$fUvK쿪nI.].Ke\C0g:ߕ \X  &$얼y`}i%o-+[7^n(( @<Σrʚ ,ְrسۓV9v[- I$n*lɗ;_,vB , T4߅ҥt! ɐO:匑_Cb"+9 D i!%14!2{D!Yrd#B\y1[jNBipL,&N>")2נD0" "L^\ 8[S%ȄCdb2tf1w7nk~뒅ʌ;nBK cH01N% @ [Jo&IkOИ9EǶOC+I7l 0/8W74 4k±X\ǎ1K|Jlܻ.uN}& Bc qy-l9&kwUcϋKnM5O_5K -GdKwG/|8\:&BGIY]"2&byA/c_tLrVc4㹙ʛm%8}AYܡ౸ لl9}Sf<]30iB0m4[7 XC?Q*l2<nGKIsym!#ˌi `XA qsL v}G[-!-Kq !zxt.K \[7.#wq߳Т}69@":%{fG4uX`kE8E58ŝ&yu5] R": B]}Ԟa')&_Gqi?_ 'i- Ӥ43[_U66Amz@mժ|㞀c7O.=@'ݓPHE5= i ]@hT"^Ւ´Dviu(Z2ppl v9LZ`{s<|Fc3lNЪpp% vM9?y?1|pb'DJAgLSLՋWB0c><ܯf#mPl籄O/|%Q}}~\A>]G~a;=p K]nZU[A"o̡YGLa[:%h)\ʙ`?V`IE?\ mj'WdO`]Ctִ|#P% CdfǍ#?11I&F&uyKrڇLa} vʤ=o]1bYlgĺ"d(e`#ȺKCt*K S ,T%adNG=et*0 I @tzI[&۲,Iy:iuj+~KYWfI%f^ 9Uq" ,C? >M $Yf#{y*30݀SŵPf@AA̿)ĹQ; Yv,&3 55ߊ!3ml86Hx'T݄(AJuMNQ5H5 (.0Li _n,UO#㵞#\&Z79b@ Gӥ7U"%OTbYax̸sDsdk յ_# D0$X#c1n=Y$?EVAMҍX=%}|0G,1]R9ZƓ ,@jAi/K}z(7dS+XzSc՜>&LHpv>KcEM<K'j6Bи`c1IFV) ^ywIH;ب1D^҇c]O e}2TjTnW1Q/y 8]@ Myi k@vQJ6tS!Tyc6.F 8}4%znEepmW``! L_zFe4DMˀbf W"9E4^]? *8IVO\WV nefJ)d$8zgyZEC4 84NthK% 6@vEzv=H*\Dx#].eG2D=m4X@ML,ܜȍ(N Xvھ0$V*˩(d8t @g r=0| ,{ =@yOV"0ZO b ѣ(lכsVhDrw/nE LGt1It𖒇t.ajL-^o}% 2Ʌ& Q03S>E"u3 -m$0N` b%6o[Рm0 אޖB6_}uA)* e ګ u@Mr? iÿ=Rݛ50rO/CirF)_|ߟ|byWz]nS]S^?]ᕡUL-p`@^\-r+BKk؅έ0}y*<V@%GBv$hi@&D5;{cCZ jvAn nX%FgxbKHWG$HR ~ *,zyb2l@^(g@4sp-WK3 ܗc!i2ؚs Gڐu7QR2a@d])#n,=k*f!?G3 ,fx7Ql6Ufsc؄D@Vi7\&]6LIŰ29Lo;&x2h.d**M?nQDlpI+4>'WR %ʻ4)V\VJ+ߛ5*si d6M{b{Isj:8톍jzn<]c`>j{]XC2;xT,9L:vyWN}Of`^+bK>5PS2h4SD |(P F@2 5?/yzc=xwjq2-8\5B,υCVӺ2- \v%.˧"i9j7K G!ApO|onfQt(0]-X`A%iQ fD k{}Mc3vtqChN(4dUJ&8COf/)p&b O1W3L,H؃A'zG'D4  Z 5O% HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/` r( PgD|yk\Ui'IО1Shbn|θY{7IhUn)̐Z{?47_Ch^ɏ\wBZ#yVz tfGȾj{zꦨ4qrD˜CӒȳUEEEԨi ?..XHަ޺ۺm-s뻣3o.uZv&g56Mʧf˩I!? aݻxW[n3}g^F۶eue6^W~[_!%B < Y[6ZB@*z`v|igIWSY<Y]S1u۷ovnuMM3eoeǨ9ߑǤ4'6<&%qWn]Q#"*Fr~mȆm7F4}5o }45?y=r%?ߡ0t $(0A7484@(D VDZ@ {io5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodi5K) LHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`pi涙KV:b6z8|˻&P4.*%Z-3N9dzTD].k H@Aic:ź:Q]]>/Mv1BLIp[_0LRcH   +)KDb"i~ݝۮn-;V;|>;gI?Ϙ_Y; šPhMR$2^6:hn0#;p` 3``޾`iv"џ~r͜ݪ蘹}xw8 Kb<swi- ,(Grə9%xZohw `P{DC@s!zsv]c/58,&˶$$ZYY- Qeyƒ$5zgϬw޽ f٨Ǽ.ۺ ٠X7a@C,Lc ' B` S0, (dh>r%IIK`p3#AXu ;޻3 hzAѭ$ͨ>4aQ()230a5Nt4 * r(sۢ1eƻB.k;Ǻaq*iR2:z#pn2Ւ6}D0PRPM~DO![+5j0R ྎILP/'elr r5ߠ̆)4㈋ĝ'p~'Fo!D^L)͎@,p /K5# nYxS+mc8Hjb~jʭ{KRrjH_${DZT h/[acY @p(>IFh IܨfnlWf!s"RlR=8 `íAw6IrH^1e܂Fa#XS!cPiTv; ksz~)G<r8J0GVJ}6Uâ7r3/Xb. &\b~&-SŤ1mLc3-?h2ɗZNصw!98f|?__fޛe@ܙ u[e\G)rݼCi+3=U4_#:}`^gD󯄻2yI1<:q&6 lfH O Ċaߓ9>m'EU9W^ So7-ƧYaSXef3" fy {7zyԜI8&ݣPrᰅd9(}"wcIxଶ2xx4NxeϕBIU0*oN]0u*ڪb=N(WQ¯sz%r^БFdB:p:~>GWУH B]oljy=P`4dI?lHk+V [uj:_u *[ȳN=&UѾ GNМW0HRA0q@v(d! (O7v ՀNN#KB;ys;<7/R@nc3)i-]{@]<[Y^gN!@딦{P;"C2"7fYyH{t* 8ռ~-6ih jpbTfO.$o=}8eD:H`)pcCdxZGߠfY͔idnJ94&X(hu:ˡ?gG2nݢ1 fRC> EB^\A,*fNtҋ7 /?r9S +{/vYJ&{slS03sKXEfb q=̧@x/4]֩D@ZLv>sd:HIRC<,ّ-/6oOQS5[,GVƺp`:P꧍wP3|B[S7í%`bƩp@g鈴#8uc8.N ^Ժ\fL}B6*0j 6hhQYY"A-uDύ:c䫷xa -kg3. *\}Šfǭ*T&>9L}_Z&HY!2UɽVla_Ft=_VVMMZ_ Bvwq";ݡ,򤔰Wj恟*A 6"5fu 謮CON=13E"hV* ߄<ޕ2hQ0lvOf$`7%;P b:A>")4 ls.?5^uƅQDXl C(nf+g6Jݬ:U&Zǹ*j C<ؖD+ߙx(֞ycYד.֭Ւ_e$F8<9aI#i L9zZl2u)jIП s}gЊ?Z<& ,t1KejwrP{nGr6-lk?J$z^|Q9tL9^-b>mXѤ+k83zLlIKF8f/ d _dHV&_?g9Zv xa؝Adb:3k5y8 o5V;aT2p m!5R 7 G:phsr 2tX$7oq ̫@_0fjʮ AMmٶR1?}r5& %q9b#d. H*-ľ,5IUa˩xXSIB%kd*:LK& 8`NA`WY7uΨIe1{sk> )< @k /;Zr*{?`%3l_ Qzx건]qF![\ui'%c YWN(!.,FpA^b)I GO.9P;_dgslxx.r .*q%WMȰS1.Vp˩rj8幢^),> 8Hʉt![/C*x7rh:#Sϵg:Ӌ܎G4?M% /t颿d0 ݐ UPR]]Ozp;jqtaviChI 0}_4b;`{uMxj?~| 鳫C/e1Bs oGej7ɝ@ێ\ebDzY_Ge#y^c˶ٳxd)_iYTQkMVNzv\޲^mB[1WgRҫ `\}* ,Z mR PKt )UK"H}a60@i {ZZGYiH1]$,gU-D@};5sML&bU!y3jLDǚY ^v*%?3bFrS8Tcv+wyV2na.?-)46җվ2bq34G-Dx r"ׄ{w5ˍ9ׯ_[_bCZ=xx0 C/4ˢY6v>ba|پtb{J-Jɪ"r0rl@UBeq}o7xGхU2/ HN3GoK}&<B$lSS2Ej\A$;To@!Mnb /YwgJi=cq!0MR%!p3p(;H'Fgp3^$laxһތ S+8:0Ea(K3gYlPW"<'+=;!> T4/MN|g 怼! n Z0RZ[EiZz+郿¼os6V])H`("H>N!P_~$/ޡO ~l7tDew.R)SGotoĦ.`!`=α7T~Y s{ҨQ-<׬,o 2u27^W(WcdN-AueB52smhC=7X$a%Aŷ<Ri]9jEG:5v}yj֯0oU ILT_su 3#n ,Ђ f6DOxt-# I;(7B j/E\=8QeM**֦@ %88weM@ܝ=js**Hf^o4FqfD; '!n$H F/3`@u0瞺fǞ,?V4KX_pM*k-"%QDu㘙ߨT̑pn /"&Qɪ$Th/*1Kr]LV\$)aprڜ0LgP%/ (/I0k=uzḷAKPP-r%eDyqt;bUyq)Iry^NC,!OU`~gM=f]Q|BA(MJ:,Xj"=X$ TLD (t vgF&0Ҕ$Hc*Rɽ{9 Y)Bw<g`-poS s1UqwEŶaբ[aVXO3Wn$}fˈn3h1n-TMS\Nqq۱`gy:Fq$Cc@?BE=!IOộ$!!vK2? eut#Nɦ]z1A2rMRk +0~Ee1I(Bf9ZRx1@"Gn82, %5pv=Kxi'HN8$ <ÕFy21N3Ԝ :wJ4 5J6:~AF?O#ۘoFPn 7g@c1b!k!`aJ]fh8,3̈oD`QstCt['RGKɜxU˜)f#--G;罟v2QT LEnhd+IO(Pw6chj;NpuI\G%vf>W[ 긯{fYWB7 SF&ɺS.N늡i {5dE0xם/1:fc]RЏ_3[W*q0ŧ\X,'`6Od+RŲ@5FVݴAArbQ@婴PRzDT|1!u`qM:о02'gP1e ˓10D vGE5y/k 75j)Rif#K ??=N[{gS{TO(P { `b%,ђ] F 2V58h&*e2x0*Sy0' Lc2,(SA ЮhH,t {BCaŋYJyf͙xh&%3(yV#gݓ {2/B˝'ܹu:^'q3ftt蔲oɜ .W=]h\C5p6+nR&ƈƅu8IG!bn/HnL5IG }(`j8V]+8T>|}%X?qn8D$~D0y&7% 'gV"^Qy 6A,j=7= C ojK"Qv`""!o*Ȝ><9 ;8瞻M 9wEGAK|W 1{Y7J s7P}TOK,0NM^7 7tZUR䥵{ *+\'5}Űڇs7^T*`,xxWy/w^0]D 嶖h@CW,P;+}2h> VF:ԒY gµnQ{y30Gk̅zТf.ANSJq(u="I#jrM6~Wp83Ч"vt4F|te/JaS46pY[1R.K0F\LӂJ..1_/3-DگiuʄZ:a^hpAz[ȁP JjG֠? b꥙0GOZxb Mjp I=(%m&ޝ5DqE#M3m෷wzLAA񺄉Yi'$ |"d=+e [Δ l{<.d)+n- ~$!=dqPcKE \ j9ՓLtϐ#su,b"( Y5(80aQJUw~ 6HXxrbas|`i&{ Ǿ nkbPk~>ArT~>65`Iz[T{Eɣ&,HA76]%o;&y=Rv}󜦚[/T ٜUp?TLRJ,j%YhVtAh Z*,J`06 _O17^}3%s\Q\5r4gx6"+fjKc3ECBAŮִ-S )1dq]ou%j4ۗmI ZF`Fޚå^"X.?XZWMc:c ]6 дYP0tRgm∲44F%7U azi_ #υQQ[M^ksh̫q u Yƺ| Cj0}bjȒ{~6,%9urd.}!nc2wV1uq >t+R2OTYKd|vEV%i|ʥl 9s<Ȏ|@YytJtMN̹%Ͻ"Y7fjJY]dmmQj@2 zҐЃ9G{m~O<5O$%d) Gb^yſ ?rgj:YqԒ<Ĝڢ !v=n铃[WWH2,1m"5<île4҆]l%>.UR@ :>&l+JS=lOӞ#+"O G}#/BXEėd`X eXOPY'87$e8ΔEUR>(iUV-}3YG74aʁQ姊N+{DO%s҄^:sཚj6$kRڧ^gEi]L q̭_X=PD5.)Vr>@AqvةgKm tz0l'J8CбC(%k_–Ҹ"DRyBRR^L3)JDaFBUƸ1c&enGE Ʀ|ԝ\)*)B1V/IUj~/P/BtmxTK%SGGHI@&ͬ0$"8@ :-IzԬxh{lg{ffϚ .}x+/@ g*LcM΃xx;¼~׺~~,F9R}&eO R SzάͻʋPCc"əyyimiy>Mx71;dxS >VD}j֝ H(8JQ[>SSgEVhI+TVOW1-ɂNO3rqVèf(i" APA0 E!B!BUDFh^IK60UKLv˨7@B753tIuI miּ%S,qtRaIoj
\堻#/$)阪!Nra=k\ĬX ĹΘKMK8r/Pi/٧' n'gTleg+`2(sZspppO(T\n^S0!rei=JbiHQ'CE(#j^Ȩ+uD"`s a6-ݖxsQ9$<2v3~?kEqA[ygfy=SwTtADDڠ 3}*E ~r ї:㆑t2HRi܃Ç$#|w2]3Q^BѐA:HA8?CzjZ[Cu},!bxU͎ *$ S'E3# IܛC 3MRq#7~j@&9p(SW.L F,kJd-o-@<2 ۡqI2L妦-עbZ˜%R9Icuf0t"S#Mo6؄l-.77vUgfs EQ5]_ _AzXc`ȿ>gp,p\1\U13s”\!a_*k޳aW + IEi1$ ƾĉ 3a3}Q(^29ܟZ,7h++@Q xu5qX JtP;Q.J [=1G>`-nPq,MRŒ ҆7 XͮEW0Idml|y{ç뛞q6DrӖ̆@WVO$ )Z S5f#Plie'.%*N$Q#@7><'H7ٿ)itaȈMg`?t@Nd=…7^]"jaCIվMջ*ErBQSQŠAa04!H>޿}J\ `=]RT kCP}cېx J$]n & Q?ueN??C ']үBbM) ubBd66!C"kZa[ٯVJ˚QTT3 >;~}W=89Z; <2lӇ;UOyOflyW5Вو$_p*7 h=Ot.~U:@**FJjw(br_"'╦o1:JP紿[#-}kAi>"YKkjc~ҝoܺ勇Tۑ^}+1:5,VN ̲?S0Gzh@<BU$joHs5en N 䒭0j/*wRh:1P Q[16,W 50Kޢ"ֺWf$V޸ wfeR9[.'AC=ZZ:<)GWV =d0EOM{[lT`[)`LϬsC)__G=Y 6 5O' dHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`=_G3# o]?#[fqPRRS'r0~LUiôdE| I࠽VaVbNv?%f{\\f2 B3m|34*>((p@0Ip (8I2s[H꣑ChE״7e

M뭨D#lQ➲wQr4QWOqADzvh gN״/_Zt_قx-b=S G5cVTY@'Wn=sV&N-Z-BQ^~szW|stC#7Qw5[c +)Ծx)o*YvUԣUV]N~8- %ľcX @?<5r)U@b(կQXY=7 RYw'q#v W<[}R# $_Ȁt J Z_e?tO_tO}"jJڔ7.~%WV̎R0Ub=*%I5: e:{@P Q1@B!  B.(切EW`WYm.V:v.Av^>gt $Y((V&2o`RvoyG~M<8?\1_brAf1>Z>U^bDF$^4}a?U%豯OKZ!:̷s(1< Vc)e|XETh0 FF.J [1YI4zTc%7Bܨr5I Zs4q5M_@ֵ4.b+u%RBr(NXlU@4pgp{轤کfnWŹHX4A|zxL0)m\f4aW~Eg^=',>6DW%SaB1ѥR-Qҵ/Gx +!W72S?Jۚol3H+`t1Nv-\`Pԅ9_jX'c( lN23;:j10#ZJ'{}p|(D`Pxk ϢV8n۾5Yp@&ʺ+JŘˑpuXڣJn" -sZG6(N$,<:T!8;H zG /Z" wzWp|Ķ67M\y3رe.Vf{IlWN]έ,|Ws48cM)5~Syܜq7m˴%Q9$DdžN5.zֿ n{].҂̔[+u /L")"V)vXoa+15A8\@*Yއc0Hxɜ h]yu2j~>^QKiáqh~Hhދ:=kgLp~)ӴI5>AVpjF|{k 2&E9{zk3Z`.;X5J>3CM=՝ZIݢ* ˚ Er.!7}hg.&SqgR>h uKЂ 4M^iꅔfw M uQ]n;mZ۫XctfNV瘄=!؜0 N%KF H!0d L *jY7 6mGBU`JjN˼\`:ntқoQ'V+1bh^f.;* eg!4upPWC51v.4fAoT詸{pLS$q dܴqy-A׶B עl}w)m]\W1Uwk۟&X wK-HWgROB:EY=5A`"'Q7d7;EGO#U)L^ s? [mWɔfQ@A60.ǡxYAa46]Qlà@Dįa.>u3DA/^b,Bg^DݱSpQ痑AP+!Ai}SZҤbАl|S42'5"vzhZB g3gf 2X^KFFU~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