%!PS-Adobe-2.0 EPSF-2.0
%%Title: /home/linas/src/atomspace/opencog/sheaf/docs/graphics/binary-tree.dia
%%Creator: Dia v0.97.3
%%CreationDate: Sat Jul 5 17:27:28 2025
%%For: linas
%%Orientation: Portrait
%%Magnification: 1.0000
%%BoundingBox: 0 0 848 242
%%BeginSetup
%%EndSetup
%%EndComments
%%BeginProlog
[ /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright
/parenleft /parenright /asterisk /plus /comma /hyphen /period /slash /zero /one
/two /three /four /five /six /seven /eight /nine /colon /semicolon
/less /equal /greater /question /at /A /B /C /D /E
/F /G /H /I /J /K /L /M /N /O
/P /Q /R /S /T /U /V /W /X /Y
/Z /bracketleft /backslash /bracketright /asciicircum /underscore /quoteleft /a /b /c
/d /e /f /g /h /i /j /k /l /m
/n /o /p /q /r /s /t /u /v /w
/x /y /z /braceleft /bar /braceright /asciitilde /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
/space /exclamdown /cent /sterling /currency /yen /brokenbar /section /dieresis /copyright
/ordfeminine /guillemotleft /logicalnot /hyphen /registered /macron /degree /plusminus /twosuperior /threesuperior
/acute /mu /paragraph /periodcentered /cedilla /onesuperior /ordmasculine /guillemotright /onequarter /onehalf
/threequarters /questiondown /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla
/Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis /Eth /Ntilde
/Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply /Oslash /Ugrave /Uacute /Ucircumflex
/Udieresis /Yacute /Thorn /germandbls /agrave /aacute /acircumflex /atilde /adieresis /aring
/ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis
/eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave
/uacute /ucircumflex /udieresis /yacute /thorn /ydieresis] /isolatin1encoding exch def
/cp {closepath} bind def
/c {curveto} bind def
/f {fill} bind def
/a {arc} bind def
/ef {eofill} bind def
/ex {exch} bind def
/gr {grestore} bind def
/gs {gsave} bind def
/sa {save} bind def
/rs {restore} bind def
/l {lineto} bind def
/m {moveto} bind def
/rm {rmoveto} bind def
/n {newpath} bind def
/s {stroke} bind def
/sh {show} bind def
/slc {setlinecap} bind def
/slj {setlinejoin} bind def
/slw {setlinewidth} bind def
/srgb {setrgbcolor} bind def
/rot {rotate} bind def
/sc {scale} bind def
/sd {setdash} bind def
/ff {findfont} bind def
/sf {setfont} bind def
/scf {scalefont} bind def
/sw {stringwidth pop} bind def
/tr {translate} bind def
/ellipsedict 8 dict def
ellipsedict /mtrx matrix put
/ellipse
{ ellipsedict begin
/endangle exch def
/startangle exch def
/yrad exch def
/xrad exch def
/y exch def
/x exch def /savematrix mtrx currentmatrix def
x y tr xrad yrad sc
0 0 1 startangle endangle arc
savematrix setmatrix
end
} def
/mergeprocs {
dup length
3 -1 roll
dup
length
dup
5 1 roll
3 -1 roll
add
array cvx
dup
3 -1 roll
0 exch
putinterval
dup
4 2 roll
putinterval
} bind def
/Times-Roman-latin1
/Times-Roman findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Times-Italic-latin1
/Times-Italic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Times-Bold-latin1
/Times-Bold findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Times-BoldItalic-latin1
/Times-BoldItalic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/AvantGarde-Gothic-latin1
/AvantGarde-Gothic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/AvantGarde-BookOblique-latin1
/AvantGarde-BookOblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/AvantGarde-Demi-latin1
/AvantGarde-Demi findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/AvantGarde-DemiOblique-latin1
/AvantGarde-DemiOblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Bookman-Light-latin1
/Bookman-Light findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Bookman-LightItalic-latin1
/Bookman-LightItalic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Bookman-Demi-latin1
/Bookman-Demi findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Bookman-DemiItalic-latin1
/Bookman-DemiItalic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Courier-latin1
/Courier findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Courier-Oblique-latin1
/Courier-Oblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Courier-Bold-latin1
/Courier-Bold findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Courier-BoldOblique-latin1
/Courier-BoldOblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-latin1
/Helvetica findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-Oblique-latin1
/Helvetica-Oblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-Bold-latin1
/Helvetica-Bold findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-BoldOblique-latin1
/Helvetica-BoldOblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-Narrow-latin1
/Helvetica-Narrow findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-Narrow-Oblique-latin1
/Helvetica-Narrow-Oblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-Narrow-Bold-latin1
/Helvetica-Narrow-Bold findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Helvetica-Narrow-BoldOblique-latin1
/Helvetica-Narrow-BoldOblique findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/NewCenturySchlbk-Roman-latin1
/NewCenturySchlbk-Roman findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/NewCenturySchlbk-Italic-latin1
/NewCenturySchlbk-Italic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/NewCenturySchlbk-Bold-latin1
/NewCenturySchlbk-Bold findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/NewCenturySchlbk-BoldItalic-latin1
/NewCenturySchlbk-BoldItalic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Palatino-Roman-latin1
/Palatino-Roman findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Palatino-Italic-latin1
/Palatino-Italic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Palatino-Bold-latin1
/Palatino-Bold findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Palatino-BoldItalic-latin1
/Palatino-BoldItalic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/Symbol-latin1
/Symbol findfont
definefont pop
/ZapfChancery-MediumItalic-latin1
/ZapfChancery-MediumItalic findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
/ZapfDingbats-latin1
/ZapfDingbats findfont
dup length dict begin
{1 index /FID ne {def} {pop pop} ifelse} forall
/Encoding isolatin1encoding def
currentdict end
definefont pop
28.346000 -28.346000 scale
-4.394430 -9.918602 translate
%%EndProlog
/Helvetica-latin1 ff 0.000000 scf sf
/Helvetica-latin1 ff 0.560000 scf sf
0.100000 slw
[] 0 sd
0 slc
0.000000 0.000000 0.000000 srgb
n 7.000000 4.000000 m 5.218517 6.693950 l s
[] 0 sd
0 slj
0 slc
n 5.011670 7.006743 m 5.078937 6.451788 l 5.218517 6.693950 l 5.495994 6.727584 l ef
n 5.011670 7.006743 m 5.078937 6.451788 l 5.218517 6.693950 l 5.495994 6.727584 l cp s
0.100000 slw
[] 0 sd
0 slc
n 7.000000 4.000000 m 8.729970 6.594955 l s
[] 0 sd
0 slj
0 slc
n 8.937983 6.906974 m 8.452620 6.629624 l 8.729970 6.594955 l 8.868645 6.352274 l ef
n 8.937983 6.906974 m 8.452620 6.629624 l 8.729970 6.594955 l 8.868645 6.352274 l cp s
0.100000 slw
[] 0 sd
0 slc
n 7.000000 3.000000 m 7.000000 3.513197 l s
[] 0 sd
0 slj
0 slc
n 7.000000 3.888197 m 6.750000 3.388197 l 7.000000 3.513197 l 7.250000 3.388197 l ef
n 7.000000 3.888197 m 6.750000 3.388197 l 7.000000 3.513197 l 7.250000 3.388197 l cp s
0.100000 slw
[] 0 sd
0 slc
n 5.000000 7.000000 m 5.000000 7.513197 l s
[] 0 sd
0 slj
0 slc
n 5.000000 7.888197 m 4.750000 7.388197 l 5.000000 7.513197 l 5.250000 7.388197 l ef
n 5.000000 7.888197 m 4.750000 7.388197 l 5.000000 7.513197 l 5.250000 7.388197 l cp s
0.100000 slw
[] 0 sd
0 slc
n 9.000000 7.000000 m 9.000000 7.513197 l s
[] 0 sd
0 slj
0 slc
n 9.000000 7.888197 m 8.750000 7.388197 l 9.000000 7.513197 l 9.250000 7.388197 l ef
n 9.000000 7.888197 m 8.750000 7.388197 l 9.000000 7.513197 l 9.250000 7.388197 l cp s
/Helvetica-latin1 ff 0.560000 scf sf
(any) 6.452360 2.476980 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 0.560000 scf sf
(any) 4.394430 8.656102 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 0.560000 scf sf
(any) 8.369430 8.706102 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 0.560000 scf sf
(A binary term) 5.419430 9.581102 m
gs 1 -1 sc sh gr
0.100000 slw
[] 0 sd
0 slc
n 17.000000 4.000000 m 15.218517 6.693950 l s
[] 0 sd
0 slj
0 slc
n 15.011670 7.006743 m 15.078937 6.451788 l 15.218517 6.693950 l 15.495994 6.727584 l ef
n 15.011670 7.006743 m 15.078937 6.451788 l 15.218517 6.693950 l 15.495994 6.727584 l cp s
0.100000 slw
[] 0 sd
0 slc
n 17.000000 4.000000 m 18.729970 6.594955 l s
[] 0 sd
0 slj
0 slc
n 18.937983 6.906974 m 18.452620 6.629624 l 18.729970 6.594955 l 18.868645 6.352274 l ef
n 18.937983 6.906974 m 18.452620 6.629624 l 18.729970 6.594955 l 18.868645 6.352274 l cp s
0.100000 slw
[] 0 sd
0 slc
n 17.000000 3.000000 m 17.000000 3.513197 l s
[] 0 sd
0 slj
0 slc
n 17.000000 3.888197 m 16.750000 3.388197 l 17.000000 3.513197 l 17.250000 3.388197 l ef
n 17.000000 3.888197 m 16.750000 3.388197 l 17.000000 3.513197 l 17.250000 3.388197 l cp s
0.100000 slw
[] 0 sd
0 slc
n 15.000000 7.000000 m 15.000000 7.513197 l s
[] 0 sd
0 slj
0 slc
n 15.000000 7.888197 m 14.750000 7.388197 l 15.000000 7.513197 l 15.250000 7.388197 l ef
n 15.000000 7.888197 m 14.750000 7.388197 l 15.000000 7.513197 l 15.250000 7.388197 l cp s
0.100000 slw
[] 0 sd
0 slc
n 19.000000 7.000000 m 19.000000 7.513197 l s
[] 0 sd
0 slj
0 slc
n 19.000000 7.888197 m 18.750000 7.388197 l 19.000000 7.513197 l 19.250000 7.388197 l ef
n 19.000000 7.888197 m 18.750000 7.388197 l 19.000000 7.513197 l 19.250000 7.388197 l cp s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 15.013200 7.957950 m 11.619100 9.354490 12.679700 -0.156097 16.583455 2.719495 c s
[] 0 sd
0 slj
0 slc
n 16.885383 2.941901 m 16.334541 2.846644 l 16.583455 2.719495 l 16.631083 2.444074 l ef
n 16.885383 2.941901 m 16.334541 2.846644 l 16.583455 2.719495 l 16.631083 2.444074 l cp s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 19.012500 7.975630 m 21.381300 9.708040 21.893900 0.568688 17.435420 2.725508 c s
[] 0 sd
0 slj
0 slc
n 17.097845 2.888812 m 17.439076 2.446023 l 17.435420 2.725508 l 17.656815 2.896123 l ef
n 17.097845 2.888812 m 17.439076 2.446023 l 17.435420 2.725508 l 17.656815 2.896123 l cp s
/Helvetica-latin1 ff 0.560000 scf sf
(An infinite binary tree) 14.744430 9.606102 m
gs 1 -1 sc sh gr
0.100000 slw
[] 0 sd
0 slc
n 28.268066 3.976476 m 26.486583 6.670426 l s
[] 0 sd
0 slj
0 slc
n 26.279736 6.983219 m 26.347003 6.428264 l 26.486583 6.670426 l 26.764061 6.704060 l ef
n 26.279736 6.983219 m 26.347003 6.428264 l 26.486583 6.670426 l 26.764061 6.704060 l cp s
0.100000 slw
[] 0 sd
0 slc
n 28.268066 3.976476 m 29.135733 5.127387 l s
[] 0 sd
0 slj
0 slc
n 29.361479 5.426826 m 28.860859 5.178071 l 29.135733 5.127387 l 29.260111 4.877077 l ef
n 29.361479 5.426826 m 28.860859 5.178071 l 29.135733 5.127387 l 29.260111 4.877077 l cp s
0.100000 slw
[] 0 sd
0 slc
n 28.268066 2.976476 m 28.268066 3.489672 l s
[] 0 sd
0 slj
0 slc
n 28.268066 3.864672 m 28.018066 3.364672 l 28.268066 3.489672 l 28.518066 3.364672 l ef
n 28.268066 3.864672 m 28.018066 3.364672 l 28.268066 3.489672 l 28.518066 3.364672 l cp s
0.100000 slw
[] 0 sd
0 slc
n 26.268066 6.976476 m 26.268066 7.489672 l s
[] 0 sd
0 slj
0 slc
n 26.268066 7.864672 m 26.018066 7.364672 l 26.268066 7.489672 l 26.518066 7.364672 l ef
n 26.268066 7.864672 m 26.018066 7.364672 l 26.268066 7.489672 l 26.518066 7.364672 l cp s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 26.281266 7.934426 m 22.887166 9.330966 23.947766 -0.179621 27.851521 2.695970 c s
[] 0 sd
0 slj
0 slc
n 28.153449 2.918377 m 27.602608 2.823120 l 27.851521 2.695970 l 27.899150 2.420550 l ef
n 28.153449 2.918377 m 27.602608 2.823120 l 27.851521 2.695970 l 27.899150 2.420550 l cp s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 30.553784 6.991102 m 32.922584 8.723512 33.161966 0.545164 28.703486 2.701984 c s
[] 0 sd
0 slj
0 slc
n 28.365912 2.865288 m 28.707142 2.422499 l 28.703486 2.701984 l 28.924881 2.872599 l ef
n 28.365912 2.865288 m 28.707142 2.422499 l 28.703486 2.701984 l 28.924881 2.872599 l cp s
(Another\(?\) infinite binary tree) 24.778784 9.356102 m
gs 1 -1 sc sh gr
0.100000 slw
[] 0 sd
0 slc
n 29.303784 5.466102 m 28.677152 6.522424 l s
[] 0 sd
0 slj
0 slc
n 28.485826 6.844945 m 28.525913 6.287367 l 28.677152 6.522424 l 28.955941 6.542468 l ef
n 28.485826 6.844945 m 28.525913 6.287367 l 28.677152 6.522424 l 28.955941 6.542468 l cp s
0.100000 slw
[] 0 sd
0 slc
n 29.368808 5.481126 m 30.268152 6.566288 l s
[] 0 sd
0 slj
0 slc
n 30.507441 6.855019 m 29.995901 6.629571 l 30.268152 6.566288 l 30.380876 6.310518 l ef
n 30.507441 6.855019 m 29.995901 6.629571 l 30.268152 6.566288 l 30.380876 6.310518 l cp s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 28.503784 6.941102 m 34.453784 12.566102 33.703784 -2.383898 28.629408 2.503404 c s
[] 0 sd
0 slj
0 slc
n 28.359311 2.763543 m 28.546014 2.236626 l 28.629408 2.503404 l 28.892867 2.596755 l ef
n 28.359311 2.763543 m 28.546014 2.236626 l 28.629408 2.503404 l 28.892867 2.596755 l cp s
showpage