%!PS-Adobe-2.0 EPSF-2.0
%%Title: /home/linas/src/novamente/src/atomspace-git/opencog/sheaf/docs/graphics/product-students.dia
%%Creator: Dia v0.97+git
%%CreationDate: Sun Dec 5 11:51:09 2021
%%For: linas
%%Orientation: Portrait
%%Magnification: 1.0000
%%BoundingBox: 0 0 343 56
%%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
/dpi_x 300 def
/dpi_y 300 def
/conicto {
/to_y exch def
/to_x exch def
/conic_cntrl_y exch def
/conic_cntrl_x exch def
currentpoint
/p0_y exch def
/p0_x exch def
/p1_x p0_x conic_cntrl_x p0_x sub 2 3 div mul add def
/p1_y p0_y conic_cntrl_y p0_y sub 2 3 div mul add def
/p2_x p1_x to_x p0_x sub 1 3 div mul add def
/p2_y p1_y to_y p0_y sub 1 3 div mul add def
p1_x p1_y p2_x p2_y to_x to_y curveto
} bind def
/start_ol { gsave 1.1 dpi_x div dup scale} bind def
/end_ol { closepath fill grestore } bind def
28.346000 -28.346000 scale
-3.240861 -7.529318 translate
%%EndProlog
0.100000 slw
[] 0 sd
0 slc
0.000000 0.000000 0.000000 srgb
n 8.857530 7.186890 m 5.468707 7.198591 l s
0.100000 slw
[] 0 sd
0 slj
n 5.467844 6.948592 m 4.968710 7.200317 l 5.469570 7.448589 l ef
n 5.467844 6.948592 m 4.968710 7.200317 l 5.469570 7.448589 l cp s
0.100000 slw
[] 0 sd
0 slc
n 9.935380 7.183820 m 13.385405 7.198198 l s
0.100000 slw
[] 0 sd
0 slj
n 13.384363 7.448196 m 13.885400 7.200282 l 13.386447 6.948200 l ef
n 13.384363 7.448196 m 13.885400 7.200282 l 13.386447 6.948200 l cp s
0.100000 slw
[] 0 sd
0 slc
n 4.313800 7.200490 m 4.611510 7.196130 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 4.611510 7.196130 m 4.613340 7.321117 4.490184 7.447934 4.365198 7.449764 c 4.240211 7.451595 4.113394 7.328438 4.111564 7.203452 c 4.109733 7.078465 4.232889 6.951648 4.357876 6.949818 c 4.482863 6.947987 4.609680 7.071143 4.611510 7.196130 c ef
n 4.611510 7.196130 m 4.613340 7.321117 4.490184 7.447934 4.365198 7.449764 c 4.240211 7.451595 4.113394 7.328438 4.111564 7.203452 c 4.109733 7.078465 4.232889 6.951648 4.357876 6.949818 c 4.482863 6.947987 4.609680 7.071143 4.611510 7.196130 c s
0.100000 slw
[] 0 sd
0 slc
n 9.363790 7.154410 m 9.609630 7.150050 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 9.609630 7.150050 m 9.611847 7.275030 9.489083 7.402227 9.364102 7.404444 c 9.239122 7.406660 9.111925 7.283897 9.109709 7.158916 c 9.107492 7.033936 9.230256 6.906739 9.355236 6.904522 c 9.480217 6.902306 9.607413 7.025070 9.609630 7.150050 c ef
n 9.609630 7.150050 m 9.611847 7.275030 9.489083 7.402227 9.364102 7.404444 c 9.239122 7.406660 9.111925 7.283897 9.109709 7.158916 c 9.107492 7.033936 9.230256 6.906739 9.355236 6.904522 c 9.480217 6.902306 9.607413 7.025070 9.609630 7.150050 c s
0.100000 slw
[] 0 sd
0 slc
n 14.482300 7.200490 m 14.215700 7.183820 l s
0.100000 slw
[] 0 sd
0 slj
0 slc
n 14.215700 7.183820 m 14.223501 7.059064 14.356058 6.942108 14.480814 6.949909 c 14.605571 6.957710 14.722526 7.090267 14.714725 7.215023 c 14.706925 7.339779 14.574367 7.456735 14.449611 7.448934 c 14.324855 7.441133 14.207899 7.308576 14.215700 7.183820 c ef
n 14.215700 7.183820 m 14.223501 7.059064 14.356058 6.942108 14.480814 6.949909 c 14.605571 6.957710 14.722526 7.090267 14.714725 7.215023 c 14.706925 7.339779 14.574367 7.456735 14.449611 7.448934 c 14.324855 7.441133 14.207899 7.308576 14.215700 7.183820 c s
gsave 8.057527 6.289680 translate 0.035278 -0.035278 scale
start_ol
2603 3392 moveto
2603 2944 lineto
2330 3073 2087 3136 conicto
1845 3200 1620 3200 conicto
1228 3200 1015 3052 conicto
803 2904 803 2631 conicto
803 2402 944 2285 conicto
1086 2169 1480 2097 conicto
1769 2039 lineto
2306 1937 2561 1678 conicto
2817 1420 2817 986 conicto
2817 469 2471 202 conicto
2126 -64 1458 -64 conicto
1207 -64 923 0 conicto
639 65 335 192 conicto
335 704 lineto
627 513 907 416 conicto
1188 320 1459 320 conicto
1869 320 2092 485 conicto
2316 650 2316 955 conicto
2316 1221 2155 1371 conicto
1995 1522 1629 1597 conicto
1337 1652 lineto
801 1756 561 1978 conicto
321 2201 321 2597 conicto
321 3056 652 3320 conicto
984 3584 1565 3584 conicto
1815 3584 2073 3536 conicto
2332 3488 2603 3392 conicto
end_ol grestore
gsave 8.462141 6.289680 translate 0.035278 -0.035278 scale
start_ol
891 3456 moveto
891 2688 lineto
1791 2688 lineto
1791 2368 lineto
891 2368 lineto
891 902 lineto
891 572 980 478 conicto
1069 384 1342 384 conicto
1791 384 lineto
1791 0 lineto
1342 0 lineto
836 0 643 194 conicto
451 389 451 902 conicto
451 2368 lineto
131 2368 lineto
131 2688 lineto
451 2688 lineto
451 3456 lineto
891 3456 lineto
end_ol grestore
gsave 8.711908 6.289680 translate 0.035278 -0.035278 scale
start_ol
413 1040 moveto
413 2688 lineto
850 2688 lineto
850 1057 lineto
850 689 997 504 conicto
1145 320 1439 320 conicto
1793 320 1998 541 conicto
2204 763 2204 1145 conicto
2204 2688 lineto
2641 2688 lineto
2641 0 lineto
2204 0 lineto
2204 384 lineto
2045 157 1834 46 conicto
1624 -64 1347 -64 conicto
888 -64 650 217 conicto
413 499 413 1040 conicto
end_ol grestore
gsave 9.116522 6.289680 translate 0.035278 -0.035278 scale
start_ol
2209 2304 moveto
2209 3712 lineto
2646 3712 lineto
2646 0 lineto
2209 0 lineto
2209 384 lineto
2071 157 1861 46 conicto
1651 -64 1356 -64 conicto
874 -64 571 324 conicto
268 712 268 1344 conicto
268 1976 571 2364 conicto
874 2752 1356 2752 conicto
1651 2752 1861 2641 conicto
2071 2531 2209 2304 conicto
720 1344 moveto
720 865 918 592 conicto
1117 320 1463 320 conicto
1810 320 2009 592 conicto
2209 865 2209 1344 conicto
2209 1823 2009 2095 conicto
1810 2368 1463 2368 conicto
1117 2368 918 2095 conicto
720 1823 720 1344 conicto
end_ol grestore
gsave 9.521136 6.289680 translate 0.035278 -0.035278 scale
start_ol
2734 1480 moveto
2734 1280 lineto
724 1280 lineto
753 811 996 565 conicto
1240 320 1674 320 conicto
1926 320 2162 384 conicto
2399 448 2632 576 conicto
2632 192 lineto
2397 67 2150 1 conicto
1903 -64 1648 -64 conicto
1012 -64 640 309 conicto
268 683 268 1320 conicto
268 1979 621 2365 conicto
974 2752 1572 2752 conicto
2109 2752 2421 2410 conicto
2734 2068 2734 1480 conicto
2297 1600 moveto
2292 1950 2096 2159 conicto
1900 2368 1577 2368 conicto
1212 2368 992 2166 conicto
772 1964 739 1597 conicto
2297 1600 lineto
end_ol grestore
gsave 9.913265 6.289680 translate 0.035278 -0.035278 scale
start_ol
2670 1646 moveto
2670 0 lineto
2233 0 lineto
2233 1632 lineto
2233 2001 2085 2184 conicto
1938 2368 1644 2368 conicto
1290 2368 1085 2146 conicto
881 1925 881 1542 conicto
881 0 lineto
442 0 lineto
442 2688 lineto
881 2688 lineto
881 2304 lineto
1038 2529 1250 2640 conicto
1463 2752 1741 2752 conicto
2200 2752 2435 2471 conicto
2670 2191 2670 1646 conicto
end_ol grestore
gsave 10.317879 6.289680 translate 0.035278 -0.035278 scale
start_ol
891 3456 moveto
891 2688 lineto
1791 2688 lineto
1791 2368 lineto
891 2368 lineto
891 902 lineto
891 572 980 478 conicto
1069 384 1342 384 conicto
1791 384 lineto
1791 0 lineto
1342 0 lineto
836 0 643 194 conicto
451 389 451 902 conicto
451 2368 lineto
131 2368 lineto
131 2688 lineto
451 2688 lineto
451 3456 lineto
891 3456 lineto
end_ol grestore
gsave 10.567646 6.289680 translate 0.035278 -0.035278 scale
start_ol
2154 2560 moveto
2154 2176 lineto
1969 2272 1769 2320 conicto
1570 2368 1356 2368 conicto
1030 2368 867 2269 conicto
705 2170 705 1972 conicto
705 1821 821 1735 conicto
938 1649 1290 1571 conicto
1439 1538 lineto
1905 1438 2101 1255 conicto
2297 1072 2297 744 conicto
2297 371 2003 153 conicto
1710 -64 1197 -64 conicto
984 -64 752 -16 conicto
521 32 264 128 conicto
264 576 lineto
506 448 741 384 conicto
976 320 1207 320 conicto
1516 320 1682 425 conicto
1848 531 1848 722 conicto
1848 900 1728 994 conicto
1608 1089 1202 1177 conicto
1050 1212 lineto
644 1298 463 1476 conicto
283 1654 283 1964 conicto
283 2341 549 2546 conicto
815 2752 1304 2752 conicto
1546 2752 1760 2704 conicto
1974 2656 2154 2560 conicto
end_ol grestore
gsave 14.107527 6.223013 translate 0.035278 -0.035278 scale
start_ol
2209 1375 moveto
2209 1848 2013 2108 conicto
1817 2368 1463 2368 conicto
1112 2368 916 2108 conicto
720 1848 720 1375 conicto
720 904 916 644 conicto
1112 384 1463 384 conicto
1817 384 2013 644 conicto
2209 904 2209 1375 conicto
2646 347 moveto
2646 -347 2344 -685 conicto
2043 -1024 1420 -1024 conicto
1190 -1024 985 -992 conicto
781 -961 589 -896 conicto
589 -448 lineto
781 -546 969 -593 conicto
1157 -640 1351 -640 conicto
1781 -640 1995 -415 conicto
2209 -190 2209 264 conicto
2209 448 lineto
2074 223 1862 111 conicto
1651 0 1356 0 conicto
867 0 567 376 conicto
268 753 268 1375 conicto
268 1999 567 2375 conicto
867 2752 1356 2752 conicto
1651 2752 1862 2640 conicto
2074 2529 2209 2304 conicto
2209 2688 lineto
2646 2688 lineto
2646 347 lineto
end_ol grestore
gsave 14.512141 6.223013 translate 0.035278 -0.035278 scale
start_ol
881 384 moveto
881 -1024 lineto
442 -1024 lineto
442 2688 lineto
881 2688 lineto
881 2304 lineto
1019 2531 1229 2641 conicto
1439 2752 1732 2752 conicto
2216 2752 2519 2364 conicto
2822 1976 2822 1344 conicto
2822 712 2519 324 conicto
2216 -64 1732 -64 conicto
1439 -64 1229 46 conicto
1019 157 881 384 conicto
2368 1344 moveto
2368 1823 2169 2095 conicto
1971 2368 1624 2368 conicto
1278 2368 1079 2095 conicto
881 1823 881 1344 conicto
881 865 1079 592 conicto
1278 320 1624 320 conicto
1971 320 2169 592 conicto
2368 865 2368 1344 conicto
end_ol grestore
gsave 14.916755 6.223013 translate 0.035278 -0.035278 scale
start_ol
1667 1344 moveto
1137 1344 933 1225 conicto
729 1106 729 818 conicto
729 589 882 454 conicto
1035 320 1299 320 conicto
1663 320 1882 572 conicto
2102 825 2102 1244 conicto
2102 1344 lineto
1667 1344 lineto
2539 1513 moveto
2539 0 lineto
2102 0 lineto
2102 384 lineto
1952 154 1729 45 conicto
1506 -64 1183 -64 conicto
774 -64 533 162 conicto
292 389 292 769 conicto
292 1213 592 1438 conicto
893 1664 1489 1664 conicto
2102 1664 lineto
2102 1712 lineto
2102 2025 1903 2196 conicto
1705 2368 1347 2368 conicto
1119 2368 903 2320 conicto
687 2272 487 2176 conicto
487 2560 lineto
727 2656 952 2704 conicto
1178 2752 1392 2752 conicto
1969 2752 2254 2444 conicto
2539 2137 2539 1513 conicto
end_ol grestore
gsave 3.240861 6.173013 translate 0.035278 -0.035278 scale
start_ol
2670 1646 moveto
2670 0 lineto
2233 0 lineto
2233 1632 lineto
2233 2001 2085 2184 conicto
1938 2368 1644 2368 conicto
1290 2368 1085 2146 conicto
881 1925 881 1542 conicto
881 0 lineto
442 0 lineto
442 2688 lineto
881 2688 lineto
881 2304 lineto
1038 2529 1250 2640 conicto
1463 2752 1741 2752 conicto
2200 2752 2435 2471 conicto
2670 2191 2670 1646 conicto
end_ol grestore
gsave 3.645475 6.173013 translate 0.035278 -0.035278 scale
start_ol
1667 1344 moveto
1137 1344 933 1225 conicto
729 1106 729 818 conicto
729 589 882 454 conicto
1035 320 1299 320 conicto
1663 320 1882 572 conicto
2102 825 2102 1244 conicto
2102 1344 lineto
1667 1344 lineto
2539 1513 moveto
2539 0 lineto
2102 0 lineto
2102 384 lineto
1952 154 1729 45 conicto
1506 -64 1183 -64 conicto
774 -64 533 162 conicto
292 389 292 769 conicto
292 1213 592 1438 conicto
893 1664 1489 1664 conicto
2102 1664 lineto
2102 1712 lineto
2102 2025 1903 2196 conicto
1705 2368 1347 2368 conicto
1119 2368 903 2320 conicto
687 2272 487 2176 conicto
487 2560 lineto
727 2656 952 2704 conicto
1178 2752 1392 2752 conicto
1969 2752 2254 2444 conicto
2539 2137 2539 1513 conicto
end_ol grestore
gsave 4.037604 6.173013 translate 0.035278 -0.035278 scale
start_ol
2529 2204 moveto
2693 2485 2921 2618 conicto
3149 2752 3458 2752 conicto
3874 2752 4099 2464 conicto
4325 2177 4325 1646 conicto
4325 0 lineto
3886 0 lineto
3886 1632 lineto
3886 2006 3750 2187 conicto
3615 2368 3337 2368 conicto
2997 2368 2800 2146 conicto
2603 1925 2603 1542 conicto
2603 0 lineto
2164 0 lineto
2164 1632 lineto
2164 2008 2028 2188 conicto
1893 2368 1610 2368 conicto
1275 2368 1078 2145 conicto
881 1922 881 1542 conicto
881 0 lineto
442 0 lineto
442 2688 lineto
881 2688 lineto
881 2304 lineto
1031 2534 1240 2643 conicto
1449 2752 1736 2752 conicto
2026 2752 2229 2611 conicto
2432 2471 2529 2204 conicto
end_ol grestore
gsave 4.659515 6.173013 translate 0.035278 -0.035278 scale
start_ol
2734 1480 moveto
2734 1280 lineto
724 1280 lineto
753 811 996 565 conicto
1240 320 1674 320 conicto
1926 320 2162 384 conicto
2399 448 2632 576 conicto
2632 192 lineto
2397 67 2150 1 conicto
1903 -64 1648 -64 conicto
1012 -64 640 309 conicto
268 683 268 1320 conicto
268 1979 621 2365 conicto
974 2752 1572 2752 conicto
2109 2752 2421 2410 conicto
2734 2068 2734 1480 conicto
2297 1600 moveto
2292 1950 2096 2159 conicto
1900 2368 1577 2368 conicto
1212 2368 992 2166 conicto
772 1964 739 1597 conicto
2297 1600 lineto
end_ol grestore
showpage