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~P ] UHOL-Nominal-Examples:threads=6elapsed=272.321cpu=1356.844gc=103.083(/U1%' oj0u>6QӧzR $r$Xi}j#{ӛnh?{d9!ؼJ/+ǯ$"k!۳!SS u RMKwfMyERvwSs09B7Ʀ9*JeB$Ŝ!i%yܔG\t\=Df:!kZrUzoHE4]í&396#r7VV[N`h,RE괟k+Z̆J^êrYrG,2[&P{fˆN.u(ٴu,%+[k4!oRRȻ٪WMXBr!cֹb&,3R1F#idnJMlûkKڑ%#Fe_dh%VW!ڎxSbd9XSSiBTXC$L q$yٜB%?ٟfB#Q{l&R\D_yItf 鞲oͷkBk%zj5E,fݰ9q; +"yp629ZkY:f㙏Ni>]+)?>2Y;o_>4?bWq%|HVu^[l$J3B#B>?ߦUSOWtK!cKTKy\bK)hú>Nղ*}Q(yѢ>mߐNGISȄ6 dL fL5a I<>a}h.zbMiFHՏsʦfoL ?UnqힲLrڧ^v^>T<3[Wv?)6UyrmlU6tZbwn͎-vV)eTlRI)U::9QFt!O7XJC MdLfcLI2M{ĚiꪩCS&QXXkhFFlOy6M9#=b[,ձ}8"3!{"u_>}rmhAYv wXf=J壎=[&meD˪%E-Fh1mD׾z 5 HOL-Nominal-Examplesz \y~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  z t n h b \ 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+<&B " "D"Mr$f^{RDEi8&RQ&恒i$IA 3H࿪8RC񬉢T(|D BQL$D<}9!Eq2z&w'!a"Y?)[oqDQ!DbWnݚ<&;5EFr&uz,0X  ƉTlȳ$ Hv?H]z9SBB#9*<  Ɂ&0T$H8#@"X$!!(0-N"#M'4hB'RiJEm[ŎH5D3OD^^L%fTg?{wNtFlTóFD_D[΄yhQ&Ջ0I$i3dokF3;<ed|w  doGOh`M;;=^5%phXvCc@"srk^X87 Cw,7~,kj6y3KȽ' f y"B@ y0scLG3QQ !iDNDvm^I^moQQ;|cS./ovQU5ՙ$軱9HQ6%M0 vo]*;uI=}jU#IRR,chpJiu@A"q, P A 1@ 11j ee0 V,(.*mgބclHsn <h(|oRnTv$f#` QA ڂ ׂ͂}{xcwbr_pSoRhOgEdD`B_.\-X,W*T&SPOKHEDB<;:986320|*v)u't$s!nWVUPBA @ < 7~|{w t s ronkidc\[ZYVSRQKIHGDAz@y?v>q8p7m6h2`.]-V,*'%" >710.+$ # " gNo!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.D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex-C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts,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!  ȧk0j9HrDJxHSW0Vml ~^ŕE7F#f0\2׀3p'Y"m>CuwQ)}s0jfvc73)S4kvlzJ0qS؎ F]R*Vc8b]ڟnTuR 3K+;J#c^ βze=OSQI.$/NC,HBsE?/QREʼә|u"A7y>o zMs-d}Lc] DDaMt `Z7ֺCOUn\;t, e)H$1˩7W^zݦ8װ*G-'*]#4uZpJ ~ZC0qNM hb͊.݅|_C*`Zw!װm_Uh&l )cmI7Q`%ΦI֔>+qG5IAܻR=1LvSZ-ٔJrAFcwU]C ODҬdk,w^楝0q٘)GbZ'h&0҃_3CZ7I#H(`YiM+$LP=iVC}̧p+99E])*-r)h={OʯvUOvRҕ2HֻPy4HBSJ&^p4(oe龗6nKzmsDBa[B{LaE U&2kx'p5r0(~^R}2\ZWLd:ꀮ3X]^Zwm# 92]-e˃"Vjx?0r="E1ʈ&'ux!.S ,Q@􉘟AHuO]RJ [B]Nu>=$1@a9Me)$zO0Gܦ3LގO Oj#b]9.| ep@EXd`" >g^D+R32N_'ҕPǮe0)I[MuO!5Qiz}>Z:IW?^L:).W¶0!}2jyxRDX*NfP YB{LB\whayѧ=rB<<Ӣ-`G:6Sr뎪\%RRݙ4pFK;)1X"x}L戼I=q bwq2WQZhk\ 6+2 2$Y ={'*/p۬K7zfj6xdF;j;(lQ~e2TR^ZH&x4nuQ:JUN\"8C#.as$8|6DsUbi16)/g`U<c1FEVPnoߣO؀weZ wi*87Yt{/ * _|2ԌZuKO`5g 1U`W\8\,ON6h;02£GʥڞKq1 Z%ЪXNz _B $bZ5iH5 60ŵ)%=D%"6B몰U("k1,aBtM&-H1``j4p % dJ:9ͷxFM2 .ոKQ7ݼ~ .gQj9** aQqGYKDWmE0 =/㯅4D!yGm~Z, 1: qƙt5Iqw4mt!{ͤ'nۅ$L`Vf 죁t;(xsf7 O&1&c&\_( "%X & ؝cV~N+0 8J`I٭@(=V"& ~:jdVp"4$BH' Li5ӘRh8ȚB=eQWf̣( &丌S"undHQ=+O g۩"}V+æ1JLa@: f5 yn 摬Զ=uqbaGڙum);a|C#n~ah+gm !%?S%Tj`ʱѻu0vG卷BZPrԚ x RL}A[Dxfl҇ٔG]y󊐘BX_HcAΫ൱Ppts}l*LA\hC!9(7KGp%* u |8:KU0J #!fk]oӺktyM CN~tL֭j2|Uic@u"RY[򖻄öRE + 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+VT9>L|}* ,DKkgYÚfAɁh`H ;z간8؆5-kH%y,R=X!ݠUΝw.`FEKUdkS%Vs/ܨ"krͬ"PTYg-p5xXa126L8D/1oUH7Bhކ&Nk`oa#TM |9>NjD|)j3P fA4IBR=^,6|kyjh~C6c  Ӻ4*mI I#[ZFl1Gv5:ʒbƚoS֛v:@w&zZ#)GƵ7[`#,:jxY`ObFKD?(pKeo6' ^R'q*Jn?8( ʏ2uMհ ʈs/V7 { WU@>_]oq|mq$AɆL0LK֩x:Xem+d/ϝL),m; w@j4>Mǀ`3aOsdezopAvɝTH1+LRP6w-jm ?c%*7fX082;*{!.QkH={c-Cd6~*q2I}= [vbI虲Qˠ RxY$/Q~}-{*qmpM)[v)>f߾n7CI.oӛN.<Sdlw *Tq%TX!t 3u^@L DH+x#PijK,94Ma֊OYr (QI(O}HXaEK"֯Hț?}vZV+jz8[\$KP" NSY,٧max_4IƑvA%mԨ\=(V.q(Pr#1S&FI8[ [ 3m_ۦMJ' IBCV*"F.oVʧtzҫ-+r(L\Qr*)*Mא H4Cpp@wnj2 tE%,;-2\offӮr-৉_ @;KWp]=)l8ށ0fZ \2xBvRT >Ȳ ,l<0pE13X H!^4mMqK{s`rߠrfg9Zx.E凹_p(prД: PX_ jnxAJA1&9;, %(g?ČOnp&lJ >“ iÓkd Vp7޵ e{1Py3$^|kWyi??Ra)4[D6=4MtUڳW$;nMꙀ-r; a SW@pLA 0߁M$HKoLG”.`u#i1ڱ+ZFŽLHФ 16oC\a'9B4"#rd\;}rg2ʞr {l) ē]l~!y-DXU܇lwiH$V0A>:lY0`&_ ϦDFNy^} &oVOC\5K4>V$(r$.P#Z[+q1l &숖"NieYtpi$L 5(cV9u̹#qbdqm$Ǝ;P{`֒+XN꽜1pսs!<_BM0*뗳^`J[y;87^w V'%KaWSė Vk;W> :s^~=T%n9$f4)G<@(}c_bh$R'aw}<k_Èq^'}hq;oڝpWJ r~O &_p#-V`' zԹ jk0sXEW+ cˋQJ (wKY7`]A;4̧I[._d"E(7Lj%/d'3﹵ *{M >癪0G4c q2px}|I>( Lf;.)6Yu}aqyrKZoe^'G)ZĮD8wk9%:yhC{El րT;$/g]ۂ&xv{z_DqGƁ)[I?F_7"n " "D"Mr$f^{RDEi8&RQ&恒i$IA 3H࿪8RC񬉢T(|D BQL$D<}9!Eq2z&w'!a"Y?)[oqDQ!DbWnݚ<&;5EFr&uz,0X  ƉTlȳ$ Hv?H]z9SBB#9*<  Ɂ&0T$H8#@"X$!!(0-N"#M'4hB'RiJEm[ŎH5D3OD^^L%fTg?{wNtFlTóFD_D[΄yhQ&Ջ0I$i3dokF3;<ed|w  doGOh`M;;=^5%phXvCc@"srk^X87 Cw,7~,kj6y3KȽ' f y"B@ y0scLG3QQ !iDNDvm^I^moQQ;|cS./ovQU5ՙ$軱9HQ6%M0 vo]*;uI=}jU#IRR,chpJiu@A"q, P A 1@ 11j ee0 V,(.*mgބclHsn <h(|oRnTKj( yPdWdj{o(5K% NHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`s 4 `gWϕ`Eժ$AN2-)hH_b׻",x.*pIϔs mۋ 1)0iN(!Vr ؤnv <0 t.Ra̘;q&uV&dRPxM_}b[y(!仮ʕ]홭V3{Wemngj_UkmAcc[`9 9!9B")!D JPhe~hr8썖h'F/( k&K M}lV#3iO +A}O$Y6y,BF1]3ALES4 /֐72QD\V:tsJ/ Ma 8+u/[@z̈́1'!:*z 26ѩazCɉV[ }$!F0\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal  O O&5K' HHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/ `8(DrO8bO^ NI"" s.Ǫ?tGw<X-â. }m6_iVSqV3EӦDah2QͲ$= E>Lg3iv BFLjSS$fLSLnmc:6 ^ijjJ[ cUdZ;!UL."}Y*D9TYb`X-(3^j&zL2 v*GK& .YN+_:ȷ|P_$³sCrsAO 'l`* ~,S̰4iLz"\sm6@jUKJ| |Yܮ:눷WzLedQ {==BF^):z =tҖcy+0y*^O!c>CG=O\C0؛T<:}|u ;}uA!LAgAau( ]d!,u{w)tPN"Ex*M}:D6"(wPt9NE @jءC_fz9bY'9Es0pvs&hYQW}(˭FOyKR麭͎~#!gd|l%R"]8%oVWכ}l[W..=q3f*AުC͆V:nPn`_rY[wH6 >enV'u4dj@i Dсi(| `?.~C9G9۽\\C+wЌ mRS.L 5Zg~3{\yg&bݤ>>y5G&ٜG@qž3ٲX-]}&KW28"\2!Ѽ I5!>̉GPvĔXGs(/%CZJ?IBnc4KRl5&ke 1c.|۱.,j c¤Sk˘ZwlHz5'߰G4lb)X;ez@KcvNկ=6_*A#1KA{)wde[f۠r_Z^ RH*0s=G҆ sjL`̛ _[?5ȍ|>AtJ.waC%٪^9SK:uFVN<-c#]!JcV0~VC3Q1 ,Ƴ[kVjRu ijZ[8U^>/j m9Q/ ۡHI4fx؜3؎Qv0|: F"85!`p>*MU&+A|iSK6)?nmt&5N'cs ~~ǁްۊf]m( 09-bd;V{MZ%:կr7U~<,$[  S&9dJfNGT'WI"7afo^7E@LL=͛<DMQy=-9cs}lk-|Z# }>;j>)yK&wĠMOjN쫞i|8tYQAYw_`сz)Ho!=;>',G"]ZHڂ>8dH݅ia 0váSriQhuqM6匿I՞aבZq1 [~-^Iff"^6ѡ=ׇv_ E΂]xH#W+Ny:g 9!G+<{Zư6f:Rw-Ӫ~6_*i_9P;q\ ߞ=Nkrd  ׎O׃o+/ܾ.u~?` =q mKvaS?'x?wW8*q{{{m0黹} kk` TsN!B,!LCDeifb"ɮ$^5kg#<lKqn*")nb%0Ռ2i[\IB5R!iߩR4;V=z-U6"E ОM3-:t<"}xQS]Xy|Ŏ0gjLYjyXUs#~ևi} wRyWR`Џ3}^V8mf^y_6 HrI~1mr$3hF|0orm.9)bvpy$"?4u ~ဂQfӷ2Y^ \$M |!돻&"i~S?ͅqUX65"l9R.%PÞSCvLI\qF:4o;CCDsy?,e=ٚqoK;vaϑHઞF2WS3RZK.̟O&E e p¡JrqA[5F1.nAYr'-?ĺ-+9=X,f Ƞk.(V?}NP(B(hEּuN}r U`㺺7tȪn M{V&yI2%1+rHYZ=2Aa{זqiך׫r2>@r%EBW1 HPC*Sc#--Y26]$zs_&Rr&L§bC )ݝɗ/W:e_|Ĩ/0%]j舾RAG䚊hYkς#_w6NZuz6J% hLw=˻–g0|>`Z{G9ciJ*mM!#D%{Ş-գTY6FĈE3nC{ɗ 4K Ȇ),Og>9Z;aE8Xm6~Bc;ۧf S W}g u${x@G95MZEיOŁ]x ѷ8X$nZC.oF~u d[nE 5E =|g̶hY ]NO|z#%EXzq{gŋ|A`ݸL[NDWN< N1M:x?($?ڂ)IUmkh613M&F׆i 3S:Ii0#dק Oi% aaGy3Lx.b!QgSuA? ##z( uyǨ.W}u2^ aRlP@AId%14Yqxu'K =}::4Ҭ~tIς SVp14rkrͲ$JDڃEt|8|1#hK6쐼Huu ;TtjcY q-(O;qZ<9L(I7y*JdI$)C{AT$Z0V4Aҹܻ7r@5]@D#1If%]" 72Nj,o<.;KoSbV3M&vգ7~Bĉ B"db(rJU-~Ҡ?%$@{I]u"YLGh.hjXzΣC3>| =; _<$Lޑ[mYd>]+”,UU)tHmj8~Dyz"9 ?y9xK~Vzu4ݸLBf+^X)4].qK擲=FN]; Q(8xE =9Prd zAz!9. W:x*ۉ{ DeYQ;TωC>%9RJǎm,2Ĝ`fF52)*$YQYq <ŸyKъ-S*ъwi%i&Iwz|ʁz&~$8W{cV<k^C5eo:yM* -b{ǂPV. M+kFoPl6odI͢!A>`yG0mR MƦ޷rz[N.#4N*SE_+?S늿 hYoͦpZ,`t=?:ԴE·qG{.9HqYH6z{E缛>yӯrN엂iweB& R!=֢r.' f8Q`V_];<>5_9Y'SFd 4(ږHeQ[j#N6tö[_= ?4*pELxY?g,HA$ZґWIs>uofx[HAA2&D!b@`+˱#"|]UӍRSM& IhQ`8έkW_ԊiS4yy'vQ0_M"A BjA ]be8_cG&->G>bWLBN)kuH1ZQ)!R (BjzxF@:yqqBվt%^a<-Ypȫ'|Vjږvd9;-3AɻmtUnUXwbzsp;+^.r0o.G5c]w8ai/."}b4ȳ秌2|[xǾm#?[L+h"ޙٽ lx"sq q/L6@=ffxè#7рT"qOz\9?l z\L-`b3AOoNu\Rn`Q"T8OܶF"@bL)qUDt#+Pm62]Cx$C=WށGjS.10Sz&jŔz؋ʭgNHA UKZ3gFq%sHCq/fmb-r5|!ߦaZHů:9V7ԠBmԜaVfFHh _P f~ƺI|;˓fx&_JGbaQDHKh㾹ys݌bK_Ѽ#3s/ X:ZjE@ M /y n5WpLjf kk jW+K/n`wh%-2)dƍ;}2ͫrQ dUv8@ͷ_ෑm0%WAhzVhW<#ͨN$`aN=rtRHдdhB?自8(RUuF"x\(0⹍LnP@! `;rQ["ዯ~XGzIx1E8$ jݽ}9qd Zk~ځRL7Ic^ZllC?z㽇ٰ/Gx3n`97"28P4\]@T~=Ma"][Vq_pާLѠ7dS+S.+e\oײ}so߹%q[Jq9XhrIVMwA7.30*OEq+[qz V r?jvW 'p?>c}yJ[u_!^d)z·b&)_oۗNOq/ӳOq7ʬb5-K-μevخyh+ a9(fBv=a(t7-nnH=JC>ul<#}PKG$Q/Z{bC4 lA V Ab(hsY33 4?|\ICϼ#ƒu[d_:c ӗ 'ص>>W0|Q:t:-tGl[9U<0F#3 d{&DLlLeBLT臝AnNygCA,ՒΣ髞=nztoB֡R2qtt |T_1Nsu!.ܐE Wqv/]J+^oQ.ibBIB7;[87뮠KnވȥכDrP9R̨meCB6aR6q} W" g(: mR+8Α->L`)+~uVua Segʅqߜw1RV{]D!I=6R,~N֔; yZ ?h&t})iZRL-kӇLt ܏ZW)1  U/|bTVb?> Oퟙ21eT98K_Ecl >R-p$HcpڌSV?TC¬U`vQȭxP8] <>vSpud,e$Pa?e U73l^\4N/JC$[(tY^En }_?#Z" J}Y5]?ƝR1h?%^@kN80<_Ǟ=&x0w)[Y>jkmq~Iy,O;vcc!5'NnʨTTp*$utx[˙h ,} l*& &%zǍúZœQi7043&4§̿>Q33]?/q}|mDndWgԮ $D/9L_^LO5k3ߡfx#ގԖgrd^HYŽytX*@x~|3zP`5EcZ`VWAI,*3 rܨCn2Mt_8$yQN{Jvi97xPݽ-`J_t!%(X;[@qCFAr)?,\'@Y,&#zCrhL'p+z">N Aѹ \Dc5wqGʘJq|&!KUy 8-f3{ ppn3$nOD2;~NHGI[BhfE2wSao縗+M8V 2q[-ApO 1>'+32uh[ʫ*:Vío{Q# m }G{́(g 5־=+.pjY}݈Nrup:+Ṋ8܉0_2U[Ss +QK>D(##H1,k,*$ oTF ?'CSI&VJrfTD&RS]ș߿m۶g۳mۮWUzWm߾}۷oO':щNtq33l۶m۶ͶUmHxۿ]3gm۶f-e=۶m۞MD&;mZv%H^UM !-6qEHdDHDHAUmID7yDrF~| *ppZ"g6BDyp12%c4P8 5-7!ZH7c*mL,P8(,%$^:QDr!,3Sg%"g{>)3] Y3UcdFFpы?`စok$@ Q Ȳ@+ PtdPPhD0 D$8@ `P|  &~H1J)8DL$g?`c!&Slg9~݈دxSIv2Q'ӾD5܂GN6%<ֺ'H[2CeĢ?p.j@0v 2}POK˰v秹kK5`QYCM`dO<( h'!]F 4ix ^*܁{D<[[ x09kuY&5T"V54ta雉 ~8T])O?ipQ){S꛷RBCMM߀@M+^>ϸ ?Ǟ(8a>1:9ȹ"4 'oF Ra` ymg]+7+rNy%0oϴ"V^}h(咲,Yjqju;&U &F*igFEF৖8M}K~}@TO:r-,6Ne\c|K5 OZ#2e7$XD\]HRP _9ٴ|e yO0dXŒ t0' !l x VIsRX*<SNY>0{D>( 3mjm9?fT}U:@ZlkM Nnf5QĶ+[pl4ZL&j;$T[Pn=>%ryOoYFf!A^U34Ns, c(.Is(imX" P:(Yf`W/STL|Dv iqM9c:hxQ w8"D~eaZgSuչRA+̬,y<%oo]MdՎV;l.?ܼVz T̾.(O' A҈uDG#G7%ɭs"9DRrYn'iJU!=_jx'R7{K3P2{_E-Ád88:8͒-Y˴]t,jH8m ﹆3K%)EXMSMIW|sa SOE>r- IǾ4^D-QdbSfgVb^ Ytm@(adr_J[5 O0f&H> i2xZ [tmbZ 5# l W[4R n.G<<\Uϟ`Iƭ/YP/,l22q1`0%!8xB(dy3V.W ӫT64̣PΣ3lU{kM 1vl%LZO54~<W_7M}Q}뎡`yRCpքAF@knb$'UD~Rs(}7\e{'|\=]=w~9nh}۪ ' /aP.X1Y@E@A vİ.*-;K=D\Kl^'`/6*ј]zlj-Ųpo޵m)i.:!,TꕑI#lxO" u]"X}#EKʷmm;>/m -ee'VEP^]W5>\o2njo'2]w3B7ݣ2^ƏE+_ý}+K,G=P(]գRp5 |̓22NCdn;S=V6p+~-?~+L ׭ a@}vxj8~: E<,37ĩUZ7Y$Ǥ}"7tYV+Z= ՗R)@W^o';XՅC) 4PI@FkEv`n8EEn<]ùWkb9*׸n(mA~?CϠ\6I%\l[^i'F\SIen'jn ۝o$i[7вW-?Ͽ>Fng^qA)2 ֐|l}дnCMXeaYVwz"\dշe`I2uFaiIĵfkdTš3Uܜ!hpLڸZi"BCh.@2b׍%`*sNGu| {+*na]rs{ˢd/$%, @r6Gޖ m\ga{MCYIԙ~;9k` `CǞcl'a*ע2KW<*oܟ4[9.ʒX*s<<s ~yp-DZw<I[Onhoqb# ~[DE͓r&Y&&GXPty \ҌZ鑙s=c?-OW0: Nm%"SDvRkT9ծ+\ޤٸb̬2 Y@FX{5";Ya>71bۄyGu."(۱וN+>\83JghNjo@v+7ucGV]AIk_%ZuKu8g\y;qDƗ  ๏A[INa;a/J#nS}Yڛb:@"|[',23:b]pQrDOX4Α5t[ڧht ?wb$߮P]{v@h銜nUNJidPD]-TPQǣy_9Ơw1\BMd k#.ƺJHpIKXؗO6`vcm>~$_*&hK#Dͪ),N>O;Ny|ځ^)И $޵GfN/}#%VoR7_~Ie_0Gehy{+ nplekܓ_\} Qwq#n컍BHt$fR~%bsnHRa_}ENP_^ ˼(c^zC$WBsa- 41!.[)BP]<5=gb^↦arNh P/i7w7Я'kx}0wh-5[e>ཞx n7׶QYisAou7%;+/Cfϣ S3.Ci/]Jٳ[hۭk擬-'N^nPd]>p5c-N{{w HtQk}J" c,Zt<<_J nxʆ3X gw=`u<=pWC8%G̈́(WkR8eVI#6-)z0@^=TΐY=FWXeKǘqh}?p'j}!X7zw~%' zKʬa/E$N1!*QTbd:!-ucU5&P3.'͵6Vʙ&ګNۨ0QKIM:Bk6MN{0jx6l~ǧ7 |YUbrfOLPv !䒒^\h]`cڼ."i4bցRl9[4bCØiv ?.q+I#WAhYEaυLb}/ϡulF\"0u3 0`V Tzz=8{lKW{%2v#?j콗|ȼx$v|=v={YR:pLO<6.{$=k{F߻G/G {w{Sm'~~phTg+M|b]QfޕNGOG{|Ԏw7խˣm&| |9AN Kk/S@\ 1 pL Mộ^᛭DP>k.|(_. 1?o|TV6CL`bWZԇﰘDN+#xn =ZU2HGVsv KSC 7c(u aHD c%踘kK:hkSF ͠7^@B ad8B@6 `.X WKC7]0ehWh* j\-Zm-N;Y0g8 V(_~+(}Y:؊eZA\SvSRkh/oE@yJXՖkX[Ѹ~ye )qŋb+Td ZRO  2;*~)hCt0/KD(@~V<}ΥB|ٗ}c+/GZ[KeTL@r|f}Y{o>PXo 4tr"bDQ]qœL4Y/|׽4̳NjkRbg719쮘u-bn&VL^dd[Ǣ GqXe[e~96 @YؖU^ZĤjRæ]9.Zm2m^Bm"o>>=@'@5-mY;!a2%QW2~4a|$?>%B?cdU2ӮVa뛒5qKɘ%~[R};PQK}qrPbl }nA))%`dl3 wfhG"?xmf̎Poc"n2fo# o~c@@,BߨPH.a_v|cfn&co6Zf"ݬhmR6P, h9˳l5 &meb.s.vQQO}R]W(X 88]#-N}ǧ>>,f+eVs0|Vʛ% eҤs)BI m:e⸬BU1Vae{?ĪDU&AL| 0JřϮHdH"nfLTi7T{<0JL|T :H2_^"C>w(gse"ݙ!BKY& GKɐSH01< %y%qb>AAX4P((ABC2tLm )%MHq[Rr|{0ȱ*R,ijw:_̓N\HACᴦy&:oW$}n',7`Q`w  p |_;dsNw#ЫzuHL"sbQfikd _QF K`1SH@-kfhLFt=z~RNޕ7waG[F8TX=6VvRdڪ@3TyɆz @Dؘ @J7? g(!qdYyrxO@If<6|7 ruP1vC7T!]c+P 7DmjdY,[?0$5;0RD&NΝ?)1%%gwGs`[jK:x{rRB{EWȫ P ÝGb muPQ L l&# 㤅\ 3H9Ơ Gb%Jq~]r!H=aFT` z" &fWE?_J,/nEÇ&\.b4:|T0ۤ(ÀtCBv`LE'CvO~j*mzt׮يG`Iiݥ-wKwOj?icړS=\R}b誺.0|rڴQSb%&cfAÍ#XVi**k朝pC&e݃[LZL Ƶ +wg/<^,!?tдYvi72olVFH9AS{H2/X85붰'}SwHl ID3ح7gߛ.Bf}URZYIЫ#o S#E\/9g`..tѾ+BvPgf^2(XX@{y^1(@MGq7t bϽabI2BP:-x./ɦ: Zo&ȇr7^g2|mUsX)YhZQ!FWSDW}R?{(;q5ɽ_!,bX$+r)]Ǽ)#BndvxgAR, c>I0N'f{D|„Nڠ;SOc8zjr Օ H(ԾnG>`ЭS9^ !#ݫߨS h:|2,8H?DBeg0OӀIA[$~I3)Exahc)tD+ f(';tqYoxfw$j՜(>/8 *Ӊߦe)E̪=%*֮&̥N.}4W?>^F 2jhm! -u 1GUe [vXAcaB!Y4x7݃.{$<łw]Xmk zvWE}eڔjf:BÌ)k'wvso!]0GA2#sџ&yCo<+3Щl.b+ .\"%E"{qlt@X^L)vHin_TB7e:M&>qp&H Am}fD؟4jQ{O >K*xM^o'9 FO pcȉGBK ig5)گ|8R)9hӒګ &,871l{t8\ A*";iZ{l3Me7SB _ \Io1EɛDt20Z\@:R$/;B}d˰\ \\e0 FY T , T &xr&진ޘޫ/-U*`85cȭn\zAֻvm(nn˜7؋FVsY \hPbW:Ocf⒫NcpјAS.㭾Qi6ӽ%4ӰVgճiKU2^,ZA{ GRA6]v+7H~Q['iN\OMi8 y NӍMhyw RU},h`b~,`!!Z.7IÇXƵ.|`jp/_}ϣ߲]19U8R&7s,PFϗ27>\?<^ƽ1%9x%7Tt:S~EQ -?Ŕ˅KKC Z"Sr:,tkV@KneV3Ho=e/]{]Ç\k_Y0Lxۣh{}Z*:p81 Z*DcAa._DJ]P6'Rʆ~<oH7͒T 3\Wo#R`FUՌZտ*-^/PȜL t[BVM$0gQ1΄|`U{ zZR8#4JN P!L/\re@~B?U'LX`Qe(1l&~ k܉".ƘJdX֌c?jZ6V(20%9̛=!TX /L|Ɇ_Tլ w-%X> e*An!{)uB? P.E [v-M]TUv0i|V{Gv>,^YqHFpê)y;̫(dt "{d-ةaC%ES3 ad^{LBdt'۹+f|Z2f QFE} Y U7[8rz.a<_D-,Б",?2( කxwOIj¤֋0kYY %L\=Ci D$G"K"ZN Tr0ϝ o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodg5K) HHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`piC%Id&˻+c.d,TGSN Pt D7_&sP[Y,C6V;3SSfU0hnrSN 1B$p-/G&1IƂz 5K# rHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/^* k$j࣡E}Ԉ}Oz DdwNIPYn_%1HɃ4+$, i =aq a9%50nK$iHp(&=P%U8$5Hj:Ig9Op-Q"$Y9!-$$}Hm(C$GARQpPlK9RWWi&y mH49s";( D=D_1- )ڞdIqlh8Mb"<(%)4;'9iP0@i҃%1Lj@E$KH3`pLLj$́Xm E'9 ؞H$}!I(p$(ǒ$ (H $%A$$%%'9! 8#5BZP@)q, YRBh:wU5fU]UD;4G!T3fElzyO;35E(r( Dy  &ÂbpX`pX0Jo#/JgaDʤRaejHʒ Gxp`5Tvb=ު"RWjk՟P$ 1 NJYs(qx1N芞t:N۶N۶tNm;mNӶm6JmmhF6Fmh͌vUYUUXUeoGhkm۶gdUDdd3BdDFȷ{{gk{{hѮꥦ*Ꝟ镖^gRyikkVYiϧӉ!"!"f4Bgzzwwww۝l~2۽j"❙WQݫf*"ޙYwfUj&ޡ٫W5̯2BRsMU4;?.K3әfiYUiD3g>5άn'D233Qfff"...."""""ݙYeUUUUUUUUUhffxgV%y`GqCP5̪s ~{h_믿^EW􌦨$l696K0 &2 $   ,> ( F޵m`9Cj7S+sp^da | ^m{c\XwH,lܶ@yְ}v 9ЭP_&}MpIYDg!#g+Y|'$2|u5גđl͂%r*Ԁn|M<- >_hA:^~E 9~/Uпi9+`,qQ箂No { Z_]0*t92du>Zh̑{Oc[\"ir G}~fŻ}0sjK`f__Ώt1A4#+@q R1bOw8wېdy6؆Z#x/$ϟ+4>#xHsDͣdILh\ q0_}ɧ::éaTa^Y (~ɭ .sTQ׋U#xaPޱ 7fXb{v# "$<~tUe7q fsc,o^p~繫7B)J EK) O P !5^p)Jߞa1Y0cȱFoW<|JųV&ف^0{7jE@>ǻQ3e>y^ezzV66qK,T*5,Vw[ * c/f(>go6:OfM:kbLEi,ش[&c MO 03#[HjOg,`_=hm Xn/o''9gdkC*ޱ}*-pg0bzYz mlv 31߱Y?r[/P 0T)#!!mClڣ iP(ޠ{{3`ىD?{>C.o7CCw2cw!:fn_#= PMZY5=33J=6DγF7'00~m CCv/JVFV~KFF&=Zhk5Ϭw޽k5&pCå*Cf p$il,&Lc &  B`'s0$ (d␵?]v*>mdq\6<4 9f0垒53$ZD@߭\`1'r@ iYFB - 3緜;1'}<9+@3JF.zJuEym N)F53q?Q!4@6IScY6h/BE~3<$(9v@ROF~u1# nCZ l7r ʃTr{%fr0~\ڮ`PL<*KYs)-M!mpf c4)܎o:Y6Ú:[ ӑ `+|?V=Z^)mVs\Z3 WŠq{Pդ`e FyDj9 +^Փ/NpF8ΉﳨdxkyC@c qR+p` }g+3֓"T{zpl1X |-żkMCc*(ux tzM1&]X_@`e\Soa9d޵_-~ dhC/ɨ ژJ^%%\UA6Z↤\"1bT-ڷǬm~|IEi^H[|;o$_,E. #5Z*1bzyˉqi;8%v3(f^V] ȫG(b)B/L)Mi56Yoe9" m؄3RvpdMvZI& ^'"\77K.N$o^$I#3#&q78U7 w7%1;7UϢyz->A%~^ϙ:p݆-.G Y57cvf OX::$><Y-/W6 :1bVVr-;=G#[A+ i)&,m`/p)@&lsZZ)έ'W 8dP@u9fw/<0{#8ٞ[O\dȚTk%4'&<T'pD3{i[P><l=x6#czyAЛ> G? 4U@}lΦccXfdjjnLM'}l<8/23E|K}s1S4=9D0K {K|3DeAfܚVQKs Ced%ޕq{g.9~d'?SmDžt b1|5h߽*^?"3\lIg;: z :%{`ey̎#o?3l+D"G|n`ΩBJ)6E΂C&we AM!6::tgjzr!Li@;9bI! w8)2CҍwV1HX~M6/rjPU>!dufU<(nBgaS}0o W5˂ ${xy TP/C}EjNH̿Z3/hm#tY1ѢhHA`bb$eQ\e0<`v U=wzSA}4;i;A^2{7#JYy44pʰu"hfE鬺G¡E!R9̾.BY֯nbOhEEpmlNHr4 O_ /1<s;vQ N\'^d =B<\6wRm冧Xd0zt:Eyף_ԗ$dIu_@$NW eMshd; %cmpvZSLar#^Qh_ Spa-s^ nEzg'xC %寞b|Hi?޼]jF,SB tIVt?ʲ1^~KQdL.hlUgDgfMa29LĖ*֛e春]'IxҬUWӱb"<ak\ǝ.6ד4Z5 "1Q+bdIi4Jf ;hqO=E,bboH ®C0/ϴr/ ltt&*)b5Z+AZ;s*޿.Ԛ46&M5S^Qny~κuӜ:z/ ƿMڧN̟~ 3oMD2@͸mNG}[D 7N[E$JGN'zhը j`#)RMi*˪Meɩi6ZTlVY滆O*g@+y[!$m.>yxg/1"il?WZ't쿄}b{.FϢ-Ne 21W=Cr4nhvEƷ3/q}޲I.@_7k pith|pGV!:Q\ 9wF%F=k'6%1MJ.'\rFA<͹"\~-Ruh;zA)gBׂD^_}t1!bA(ҥ|<& .;ⳙk LgN]څ-tDѼ#w%`ɕ!Lx1u)v%iHg=f}umIBGj?a=PwJ.ZFnr*H]Q2ݳZb[] H2ȫ0. x-=)鴵][i9ĠI1[Wi6J*Ջo eKWO8gә/@ѵF8ggRh E!PWH/%xߔ1x y0v08ypq2H)78g<3 FF<ߘK׾0oᚣ3ƴY[Os]rH(rb(&n.pߌ4D{Jkz$> ܈x;H7s^mܥd+Q&Ck,JZZkj"Gb&^VPZ5xs ]MΗedBG/vb.5BYOs+ڈDcs+Ljv@O Ib } -q%l/uJbC,py(jUW"xuN:Nb.bdbUwwDg'!UΖ#YTZD15"c]pXxڴ|d`epI-' J1 fem&]Krq9ЙӝE {)6Z&5UV&+J~ ["Ja?x/d*Kܶ؉#@3u&ɡnce}P?WD(7sGDu:Ŕռ46Z^Jmnjpfg܆*iLZGhd8&DE#bT8εyXGL3hq J¿\#[`gA;t|J1^Mx2>e|!zۓ(l ƌZ``cV MpƟihҀl &yP|Jɕ ƃ$ %Zٓ?Gp2MɤQhz3ֻe5])*SmZض% ot! !SZSw\eiVcIkfW?ȕsn TH2&} NpiF3֋.[2W8(};N%HLjz0'-Ǟ2@PmNJRd.-aHޘfD Mہ{"Kv(b)<qhIE"ہpM}z T/H"RoZ 74;(݈+_9@Qn!1{ٶar%u@tU!*c/B"d\Uo |؀E!ceL;v;AsJC-|~:ĥipIIߥeN݇}k]տQ@r!FxTֹ}SE${L* 9wr~S@Wm}aշRRƐ ; 5hUМk)+ƥ*Sox7ᗶl AL!Vp|;U:F 1q%Ì.9_ݞAҀnQ;) :}f+큥:L(o}Jw MQGzOe^ S\+bՄ,wŽ>ayD BP|5OXv W/A%`Zt א2ᐽ2%B 5FsZyғ7`ݤe*HS ,lc̎K[uR^u, |O S+[z= RwgR0QY2"ͺ>_%6T\Tr$7d0S$VͽxhejS_31ۻ }Z^Opll22T1 bp+h5JRko^Q? _pOEԗ_ !xdT]w !x2 -wnGA|`}=t/ GԿI6M6m(&Vy Nk0%mپeRI_L&@1@fSQ"U4:re>^d:T UH 廉 7bp'7ќQX@PZf7 M9Nּ"qyNA3F!XpN Gc O LfARDhzP =GCx ]O&C$ >p E71G6N&҈̀FF2e.;χf1;pTŠ9FѿNmZ}QwPDHbtZP@'*ʆ 6ŷكYYNإKA+S}#W~n/<.L-Lm\dM`?ȁN -FpBhB&h\|$3dHQ.WZPC\IpɤA5[oPXVT=X r}KdޒMCzxK .k GAEru;=H%ul9@')qo~Ua[`tl_ˋE5ʼn5-5iXHR,:Jϟd؋xbYGx¸v&WfC`)xz#%̖.by3)e=yƙA)x_:>e~y!ő\#9ETZ}z(r|-`{E,@5P"86fݟe޻+WntӔb{Ra jf;-eոݢYНsLp(,/f->7\4 d""*_|t>cumIHIz2[;3 g% F%c.kR,9g҇J}[M/&c\QԱ =ƗFZ^H` t] `N|Z2WEյh-p(6ZT@U$ާ粪DQh@}:C698\@G1.(D0q:|愢DSȷ=ȪpҠA`xAo`m=VhCB[]ټfU~^eD*&ƿI:j*+ KJH9pDFOq1hFp UGȻ%* %;J2I4:dHKǂ;!½xl]Ls3L铴°M?+vJ0 ; ZٹAW-x~B=N2I)LKd2'u1_9= ;|OY_*aőE !M/ҝ z<(/I:hZ&ƶ!IyQ^=%(iF:u~AqDw7?P>]Cc`h('5zlH^f";cX|ҕN֙2í|%\NCJ=ps@04eE#BZJ$PQr9KS`e7 JJsx9)^IGzhpNj8}vv݂X8Wn4o`bRzH3R CAA9ٖ<2)u 1]WsYpA8zYms\zk9*<%,*vKJZ2-sH;3N eyҏ`%sz&OpQWYQknCM~l\sYT^zd>)@t^Z8?qsK<C0YyiNIJ$͌8ТPZsSc?#W;Ԏ7*x;MR4Vddݵ\ytGay#3O?suW>uɿ'̙6,2)rƃL ։wi`QѲcW )䣇E2]w'cw]"n*X7MbOn 2`\i'|-baT rN;0䒀aѻ!,w.@QmY-pB 1Fen8;|_QrnEQ扞T mtv$e'E^QSBLD>8S7XɕUB+`EW EYB\ZLʗަ0ifoAVOL*24ync⍋Gu3|EXӔubWHS t%x%+g~OHi͛Zđ ~^ퟕ=venkJLHq"EKz8$cc2&UÎ#W+ Jhz#ђE@0*INW0yU@(vk:d(& Фr% 2ǰ36ZB& 0gTӫަGr>=wvpɕ A[3.Z h0BJz~ΑQQIwZi\>TN ۡH@z/ %I)PuSdꖻ;<1I8&2fzI|A 2o^vcfH1Vf;S/ͧH MuF=$̗!N)+ CQ/x-S\FHDB?D BB"qhw}me>s{3;;733*㱱+E3ﲮB,OH/9  !ww~~,&=N+Dk]!L hkfɬ{5a: aZZ^=^x7^䍍q*/P $@>>\ zh@YGppl> ,NIʜȧʛZ zRv|uђ,g(3??Ǩ2^i4" "C CALP 1A b!!(22HDQ%n|H$ 8g4TGoVK 8uي sYWSrF%ɐ8QT2W9tSY!Rq?h7am?C"}&r TvQ=>ZXr&89j^w`4lL̸:cV"tB_Ms^NNhPt+`5y=s0@kIgT980tGaGF` E&'ʜr ]Q#Q9Q5C1lLPI:mA]N,C1Ï$IL]E}7;,:"ÂintIµ2-RG{FɭHW3chpƐ|Ta#n >@GTGPGڛ<B7ߒTՀ;_a܎FK`L[`@7_r]FL:D_^3x|"!P~D>驈 u+u1ETap\03dlGwΛBg^x]Yf{?;\o {=7wrڧLUA>>ipȟ  FzHWZ߇b;dЁ:)6I f܁G"$c%ZABt(im_,*iZTE1xՂ T.jaWV ==-wT'(gf"K3VMZi /hہq3ڲ9uhrԘnA;ֺ$L#%s{S{ZHGRB,=,Ci#Ma%]T60dAR>6kGYz[~lӗ%{ہLF'8)smF4G߄`V>9@ߦg}Ir#/0Qg}vxNtڌ2vkZݣr[\oJx3OkI/\$ߌfW?k溃O;5ˣ8j~5"h/fYw¥46 !) ^O4JHι~P`İ5u SoDBI7KC2kS2+N'ؖWvֶJi8Hˡouk @`d[5<MLpd%0^M@LǂuC "'=YJF֏I}+j.Vq m8U2QED "cUB$~G60ļ?@7f2rILgO!d H@Ues$htQu{BкCFMc`DG!aGVNXö&F8uZRpƤ; 5& κ܌ZJc;assB l>(tZH:}.*v,'H2[z&}y *7r%Gq%^`Apnjhe~,;A1i.78L|xA6^Yb6w&q(JNZzro  $  $ 5O% |HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`u BL( PgD| Ok'>piVM$Ѣ1Whjf #7;I䚅5XP>7n8<ˏ i^-ƆbŇϣx9WR]˕`.K`pd3o#ܓ?wQaoQ7 Y RmhH"0A[8J " |fB%\ǁ0<<_ 6F p ,%D/M]#͠OMA|"T;p &'j<2HV^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal e 5K/ M"Lppx*DIhm,5W&!Z,$H @j-ŲP"R4)AiDP h) Y Q Rh,X`EYQ)$j-$ k}Wl:[y3ν)j>h0V17,L:2:t Cqq i0y>8&]L^tM{S&u=iTT6U3$>4oE6r0YFJ) (o'T |" 3̹3ǵ,˘?`O=rE(8_uF]'ĐZʛZV@'諲yb2 f{۟YhJE,_oI9>4r8%^׾>1ЬK_MЭ0,Vzn~!^9R7=tb3_̻@~,X Qb($`&U@WF!1wnĖj]is ZP/Bxʛ.t Itp=FyG{>+tO}R@IJssy]9atbMiH5: eJ>@` 0 A !B!@d1##.&[*PWEn* /1g^ i]n7=@08~3w(xWJ} nFp,Wmg侥:'Y?R61û=! ?g^9JN]rҘOv ~}9c_PR0 \gbpʈLvMY8T/حvmVX` jV"~8rf=i\1T"NPt8 b pTʗ˜ ̝9z-WZ+~ dV]dBRLY_ݪ=`&7ɳ%r=8겳8oIYI`˿aphha !G*Lw>1Z4Bi$9!KT~HÅ 'Vw8!fڽ5F3F{1IAن!2ṙJaK%}quXKoke'10ǗF M(CI IoRE®d!F WqPAA-5}QFh׸gCm b9um6_ }秢HS3`kAy"́T uBKWy8pCPo`"݁%'`tl6_>;ըiKؾN~Ą-atE P ok5D r5hz!1gLD*(ȷpᒦW(d(u@ݐHa.]G!Ɖ}=訧!:[V JK† d8֬b-=!/I;XkT)@!6!J ۤE!CI#& Fp<;Va!e@2<n> ±S10XA,VݘŎ9z4ns 9k.TeuƊJQN2R~)|ޝr`+Ӥ4MDA4g77iNm|WAXH/˄|s^ͅd" ('erak\e褡~& ^ķgIě7\bTT$~zVl;!@aw#䗊8FAJ2G}24OA4Ԫ-bKs>GY KTGsLbtzfo!TyqĔZ;RJ;+e9jj@V"!eS6JA77 N'tw$Ei&[N)R FTm;J vEz#CU(Qho`dҦP \$_F=::z Ȓ@sB%~Z G4X_y9Yjy=C"3.%E6QvOx瘱w 9U⮥<$5yan Y^?;۹E@ܭ8⣦edg!4Z PP- 5O' RHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`vuR# o03E+YMMMM%+ 2n6[S lΛωgi` %MDjT8Zf#W!/)}yNMTe4 ]U@tp>6"HWaepL pq"4¼FBP@-9N&O:$: I4"V5|hps"F!8kSZic&ʛPwZMJQZdzR4s:f.W)v_ uLC,˿_bXi97cvT=$Ir ``EaaA !BAF"cAdddz3K«OgJK@_"7J{b6AۀǓGp9PPK7m"x[ :΄-z“Ҥ5bC?&1 Kl'M*(GMH"x \O'>UdshmhUnڥIƛˤ .\Fr[X+֔Ʈ֌]v`h2h,d+\Tw {œuC1?Z k0?^?'ww_|‘+(k\=Xi20iBwޘ-ǿԩ\KY]e~]lCI=&Z ?6Ѽsl$UGZ,b i08GdD_i,[-L3V:;;qA5T-QxIdS%A"k<a/BPo @H(::GenEQ_ЦJ"^fRt׃að~rtS&Ϋȡ&BStsK[?x‰R/D% K 2ѿ<{F9Ao;wݴYJ(kpCf(\z Z}4I#K 92A?p ӧA>f07v!YPF7p2T^Ts|y)+iʔ>tH>Kڍ/"\qz0sj?y~;CgM嵁^&06M+v KvS,D]{w07ƺI)oQy4,\*3j ˦vX *f15Z[t:f8T)׻N]mibpZ3E*XQ:`+:$u80q~w\ JZYCգ>̙:-YE'IuR Mr00m{&p0mc}ӋwCt?IT`oвx/A? ɿCR5M`Zry"L JUq5X_~bwb ģ9h~A^M+-Ɣzl7Q+űQBBJ;4z mN勎ҧ_TWr? Y4 yXȣM"b&_Q Q/-쵱TGUmG5 Lcvfko g07NXvX15c(N`7>q(A2s֘|'`Vg=Jˀi '+o/1P81.| Efu}aOBeKR<#Ӿ)ܝ\L6ij#ErZ^-)E ~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