%!PS-Adobe-2.0 EPSF-2.0
%%Title: /home/linas/src/novamente/src/atomspace-git/opencog/sheaf/docs/graphics/puzzle-beta-reduce.dia
%%Creator: Dia v0.97.3
%%CreationDate: Fri Sep 22 13:04:42 2023
%%For: linas
%%Orientation: Portrait
%%Magnification: 1.0000
%%BoundingBox: 0 0 499 416
%%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 -19.592510 translate
%%EndProlog
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
0.000000 0.000000 0.000000 srgb
n 13.942700 13.931700 m 13.942700 12.506700 l 18.050200 12.506700 l 18.050200 17.481600 l 13.992700 17.481600 l 13.992700 15.956700 l s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 13.956100 13.914000 m 12.939500 14.280600 12.501000 13.156700 11.867700 13.540000 c 11.234300 13.923300 11.817700 15.656700 12.384300 16.256700 c 12.951000 16.856700 13.022800 15.657700 14.006100 15.957700 c s
0.100000 slw
[0.200000] 0 sd
0 slj
0 slc
n 13.940400 13.944200 m 13.940400 12.519200 l 9.415360 12.519200 l 9.415360 17.494100 l 13.990400 17.494100 l 13.990400 15.969200 l s
0.100000 slw
[] 0 sd
0 slc
n 10.388200 15.023300 m 15.763200 14.998300 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 10.388200 15.023300 m 10.387619 14.898301 10.512036 14.772721 10.637035 14.772140 c 10.762033 14.771559 10.887613 14.895976 10.888195 15.020974 c 10.888776 15.145973 10.764359 15.271553 10.639360 15.272135 c 10.514361 15.272716 10.388781 15.148299 10.388200 15.023300 c ef
n 10.388200 15.023300 m 10.387619 14.898301 10.512036 14.772721 10.637035 14.772140 c 10.762033 14.771559 10.887613 14.895976 10.888195 15.020974 c 10.888776 15.145973 10.764359 15.271553 10.639360 15.272135 c 10.514361 15.272716 10.388781 15.148299 10.388200 15.023300 c s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 15.763200 14.998300 m 15.763781 15.123299 15.639364 15.248879 15.514365 15.249460 c 15.389367 15.250041 15.263787 15.125624 15.263205 15.000626 c 15.262624 14.875627 15.387041 14.750047 15.512040 14.749465 c 15.637039 14.748884 15.762619 14.873301 15.763200 14.998300 c ef
n 15.763200 14.998300 m 15.763781 15.123299 15.639364 15.248879 15.514365 15.249460 c 15.389367 15.250041 15.263787 15.125624 15.263205 15.000626 c 15.262624 14.875627 15.387041 14.750047 15.512040 14.749465 c 15.637039 14.748884 15.762619 14.873301 15.763200 14.998300 c s
/Helvetica-latin1 ff 0.000000 scf sf
/Helvetica-latin1 ff 1.086556 scf sf
(f) 10.223000 16.364454 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(42) 14.948000 16.289454 m
gs 1 -1 sc sh gr
/Helvetica-latin1 ff 1.086556 scf sf
(f\(42\)) 12.573000 18.839454 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.114454 m
gs 1 -1 sc sh gr
showpage