%!PS-Adobe-2.0 EPSF-2.0
%%Title: /home/linas/src/novamente/src/atomspace-git/opencog/sheaf/docs/graphics/puzzle-beta-reduce-wide.dia
%%Creator: Dia v0.97.3
%%CreationDate: Tue Feb 27 16:03:31 2024
%%For: linas
%%Orientation: Portrait
%%Magnification: 1.0000
%%BoundingBox: 0 0 900 203
%%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
-6.050000 -12.092500 translate
%%EndProlog
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
0.000000 0.000000 0.000000 srgb
n 33.642700 6.431700 m 33.642700 5.006700 l 37.750200 5.006700 l 37.750200 9.981600 l 33.692700 9.981600 l 33.692700 8.456700 l s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 33.656100 6.414000 m 32.639500 6.780600 32.201000 5.656700 31.567700 6.040000 c 30.934300 6.423300 31.517700 8.156700 32.084300 8.756700 c 32.651000 9.356700 32.722800 8.157700 33.706100 8.457700 c s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 33.640400 6.444200 m 33.640400 5.019200 l 29.115360 5.019200 l 29.115360 9.994100 l 33.690400 9.994100 l 33.690400 8.469200 l s
0.100000 slw
[] 0 sd
0 slc
n 30.088200 7.523300 m 35.463200 7.498300 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 30.088200 7.523300 m 30.087619 7.398301 30.212036 7.272721 30.337035 7.272140 c 30.462033 7.271559 30.587613 7.395976 30.588195 7.520974 c 30.588776 7.645973 30.464359 7.771553 30.339360 7.772135 c 30.214361 7.772716 30.088781 7.648299 30.088200 7.523300 c ef
n 30.088200 7.523300 m 30.087619 7.398301 30.212036 7.272721 30.337035 7.272140 c 30.462033 7.271559 30.587613 7.395976 30.588195 7.520974 c 30.588776 7.645973 30.464359 7.771553 30.339360 7.772135 c 30.214361 7.772716 30.088781 7.648299 30.088200 7.523300 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 35.463200 7.498300 m 35.463781 7.623299 35.339364 7.748879 35.214365 7.749460 c 35.089367 7.750041 34.963787 7.625624 34.963205 7.500626 c 34.962624 7.375627 35.087041 7.250047 35.212040 7.249465 c 35.337039 7.248884 35.462619 7.373301 35.463200 7.498300 c ef
n 35.463200 7.498300 m 35.463781 7.623299 35.339364 7.748879 35.214365 7.749460 c 35.089367 7.750041 34.963787 7.625624 34.963205 7.500626 c 34.962624 7.375627 35.087041 7.250047 35.212040 7.249465 c 35.337039 7.248884 35.462619 7.373301 35.463200 7.498300 c s
/Helvetica-latin1 ff 0.000000 scf sf
/Helvetica-latin1 ff 1.086556 scf sf
(f) 29.923000 8.864444 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(42) 34.648000 8.789444 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(f\(42\)) 32.273000 11.339444 m
gs 1 -1 sc sh gr
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 10.625000 6.418750 m 10.625000 4.993750 l 6.100000 4.993750 l 6.100000 9.968700 l 10.675000 9.968700 l 10.675000 8.443750 l s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 10.638500 6.401040 m 9.621820 6.767710 9.183330 5.643750 8.550000 6.027080 c 7.916670 6.410420 8.500000 8.143750 9.066670 8.743750 c 9.633330 9.343750 9.705160 8.144790 10.688500 8.444790 c s
0.100000 slw
[] 0 sd
0 slc
n 7.072860 7.497920 m 11.897906 7.475478 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 7.072860 7.497920 m 7.072279 7.372921 7.196696 7.247341 7.321695 7.246760 c 7.446693 7.246179 7.572273 7.370596 7.572855 7.495594 c 7.573436 7.620593 7.449019 7.746173 7.324020 7.746755 c 7.199021 7.747336 7.073441 7.622919 7.072860 7.497920 c ef
n 7.072860 7.497920 m 7.072279 7.372921 7.196696 7.247341 7.321695 7.246760 c 7.446693 7.246179 7.572273 7.370596 7.572855 7.495594 c 7.573436 7.620593 7.449019 7.746173 7.324020 7.746755 c 7.199021 7.747336 7.073441 7.622919 7.072860 7.497920 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
1.000000 1.000000 1.000000 srgb
n 12.397901 7.473153 m 12.398482 7.598151 12.274065 7.723731 12.149066 7.724313 c 12.024067 7.724894 11.898487 7.600477 11.897906 7.475478 c 11.897325 7.350479 12.021742 7.224899 12.146740 7.224318 c 12.271739 7.223737 12.397319 7.348154 12.397901 7.473153 c ef
0.000000 0.000000 0.000000 srgb
n 12.397901 7.473153 m 12.398482 7.598151 12.274065 7.723731 12.149066 7.724313 c 12.024067 7.724894 11.898487 7.600477 11.897906 7.475478 c 11.897325 7.350479 12.021742 7.224899 12.146740 7.224318 c 12.271739 7.223737 12.397319 7.348154 12.397901 7.473153 c s
/Helvetica-latin1 ff 1.086556 scf sf
(f) 6.973000 8.864454 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(x) 11.823000 8.714454 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(f\(x\)) 7.825000 11.074444 m
gs 1 -1 sc sh gr
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 19.490400 6.475420 m 19.490400 5.050420 l 23.597900 5.050420 l 23.597900 10.025400 l 19.540400 10.025400 l 19.540400 8.500420 l s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 19.503900 6.457710 m 18.487200 6.824380 18.048700 5.700420 17.415400 6.083750 c 16.782000 6.467080 17.365400 8.200420 17.932000 8.800420 c 18.498700 9.400420 18.570500 8.201460 19.553900 8.501460 c s
0.100000 slw
[] 0 sd
0 slc
n 16.213197 7.506251 m 21.697900 7.522920 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
1.000000 1.000000 1.000000 srgb
n 15.713200 7.504732 m 15.713580 7.379733 15.838959 7.255113 15.963958 7.255493 c 16.088958 7.255873 16.213577 7.381252 16.213197 7.506251 c 16.212818 7.631251 16.087438 7.755870 15.962439 7.755491 c 15.837439 7.755111 15.712820 7.629731 15.713200 7.504732 c ef
0.000000 0.000000 0.000000 srgb
n 15.713200 7.504732 m 15.713580 7.379733 15.838959 7.255113 15.963958 7.255493 c 16.088958 7.255873 16.213577 7.381252 16.213197 7.506251 c 16.212818 7.631251 16.087438 7.755870 15.962439 7.755491 c 15.837439 7.755111 15.712820 7.629731 15.713200 7.504732 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 21.697900 7.522920 m 21.697520 7.647919 21.572141 7.772539 21.447141 7.772159 c 21.322142 7.771779 21.197522 7.646400 21.197902 7.521400 c 21.198282 7.396401 21.323662 7.271782 21.448661 7.272161 c 21.573660 7.272541 21.698280 7.397921 21.697900 7.522920 c ef
n 21.697900 7.522920 m 21.697520 7.647919 21.572141 7.772539 21.447141 7.772159 c 21.322142 7.771779 21.197522 7.646400 21.197902 7.521400 c 21.198282 7.396401 21.323662 7.271782 21.448661 7.272161 c 21.573660 7.272541 21.698280 7.397921 21.697900 7.522920 c s
/Helvetica-latin1 ff 1.086556 scf sf
(42) 20.723000 8.764454 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(x) 15.573000 8.614454 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(x=42) 18.548000 11.114444 m
gs 1 -1 sc sh gr
showpage