From ad4f0d0ab4f7885ab4d80d294028459db26faf76 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 7 Feb 2011 00:20:03 +0000 Subject: karnaugh non-update git-svn-id: svn://tug.org/texlive/trunk@21324 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/karnaugh/kvdoc.ps | 2606 +++++++++++++++++++++++++ 1 file changed, 2606 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/karnaugh/kvdoc.ps (limited to 'Master/texmf-dist/doc/latex/karnaugh') diff --git a/Master/texmf-dist/doc/latex/karnaugh/kvdoc.ps b/Master/texmf-dist/doc/latex/karnaugh/kvdoc.ps new file mode 100644 index 00000000000..7dc7dba6f67 --- /dev/null +++ b/Master/texmf-dist/doc/latex/karnaugh/kvdoc.ps @@ -0,0 +1,2606 @@ +%!PS-Adobe-2.0 +%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software +%%Title: kvdoc.dvi +%%Pages: 22 +%%PageOrder: Ascend +%%BoundingBox: 0 0 596 842 +%%DocumentPaperSizes: a4 +%%EndComments +%DVIPSWebPage: (www.radicaleye.com) +%DVIPSCommandLine: dvips kvdoc +%DVIPSParameters: dpi=600, compressed +%DVIPSSource: TeX output 2002.01.07:2340 +%%BeginProcSet: texc.pro +%! +/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S +N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 +mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 +0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ +landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize +mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ +matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round +exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ +statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] +N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin +/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array +/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 +array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N +df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A +definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get +}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} +B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr +1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3 +1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx +0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx +sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{ +rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp +gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B +/chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{ +/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ +A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy +get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse} +ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp +fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17 +{2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add +chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{ +1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop} +forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn +/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put +}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ +bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A +mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ +SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ +userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X +1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 +index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N +/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ +/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) +(LaserWriter 16/600)]{A length product length le{A length product exch 0 +exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse +end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask +grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} +imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round +exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto +fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p +delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} +B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ +p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S +rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end + +%%EndProcSet +TeXDict begin 39158280 55380996 1000 600 600 (kvdoc.dvi) +@start +%DVIPSBitmapFont: Fa cmtt9 9 82 +/Fa 82 126 df<123C127E12FFAF127EAE123C1200A7123C127E12FFA4127E123C082F71 +AE27>33 D<00101320007C13F838FE01FCAAEAFC00007C13F8A900381370161778AE27> +I<90383C03C090387E07E0A7EBFE0F01FC13C0A2007FB512FEB7FCA4003F14FE3901F81F +80AC003FB512FEB7FCA46C14FE3903F03F00A200075BEBE07EA73803C03C202E7DAD27> +I<000F1470486C13F8383FC001EA7FE0140315F038FFF00700F914E0A2140F15C0A2141F +00FF1480387FE03F1500A26C485A381F807E380F00FEC75AA213015CA213035C13075CA2 +130F5C131F5CA2133F91C7FCA24913F090387E01F89038FE03FC9038FC07FEA212019038 +F80FFF0003149F13F0A2120713E0A2000F14FF9038C007FE121F1380EC03FC000FEB01F8 +6CC712F0203A7DB327>37 D<120FEA1FC0123F13E0A213F0121F120F1201A4120313E012 +07EA0FC0A2EA3F80EA7F005A5A12F812700C1773AD27>39 DI<127012F812FE7E6C7E6C7EEA0FE06C7E12037F6C7E1200137EA27FA2EB1F80A3EB +0FC0A4EB07E0ACEB0FC0A4EB1F80A3EB3F00A2137EA25B1201485A5B1207485AEA3FC048 +5A48C7FC5A12F81270133A7AB327>I<120FEA3FC013E0EA7FF0A213F8A2123FA2120F12 +0113F01203EA07E0121FEA7FC0EAFF8013005A12700D14738927>44 +D<007FB512F8B612FCA46C14F81E067C9927>I<121EEA7F80A2EAFFC0A4EA7F80A2EA1E +000A0A728927>I<1538157C15FCA2140115F8140315F0140715E0140F15C0141F158014 +3F1500A25C147E14FE5C13015C13035C13075C130F5CA2131F5C133F91C7FC5B137E13FE +5B12015B12035BA212075B120F5B121F5B123F90C8FC5A127E12FE5AA25A12781E3A7CB3 +27>II<130E131FA25B5BA25B5A5A127FB5FCA213BFEA7E3F1200 +B3AA003FB512805A15C01580A21A2F79AE27>II +II<001FB512E04814F0A315E090C8FCACEB +1FF0EBFFFC14FF158015C09038F03FE09038C00FF0EB0007003EEB03F8001C1301C7FC15 +FC1400A3127C12FEA2140115F84813036C14F0007F130F9038801FE0393FE07FC06CB512 +806C14006C5B000113F838007FC01E2F7CAD27>I<1278B612FE15FFA315FE39FC0001FC +EC03F8EC07F0007814E0C7120FEC1FC01580143FEC7F00147E14FE5C13015C13035C1307 +5CA2495AA3495AA3133F91C7FCA55B137EA9133C20307DAE27>55 +DII<121EEA7F80A2EAFFC0A4EA7F80A2EA1E00C7FCAC121EEA +7F80A2EAFFC0A4EA7F80A2EA1E000A20729F27>I<120FEA3FC0A2EA7FE0A4EA3FC0A2EA +0F00C7FCAC120FEA3F8013C0127F13E0A3123FA2120F120713C0120FA2EA3F80EA7F005A +5A12F812700B2A739F27>I<007FB512FEB7FCA4003F14FEC9FCA6003FB512FEB7FCA46C +14FE20127D9F27>61 D<127012FC7E6C7E7FEA7FF0EA1FF86C7EEA03FF6C7F38007FE06D +7E6D7EEB07FE6D7E010013C0EC7FE0EC3FF8EC0FFC1407A2140FEC3FF8EC7FE0ECFFC001 +031300495AEB1FF8495A495A3801FF804890C7FCEA0FFC485AEA7FF0EAFFC05B48C8FC5A +12701E287CAA27>I64 +DI<007FB5FCB612C08115F87E3907E003FCEC00FE157E157F81A6157E +A25D1403EC0FF890B55A15C015F081819038E000FE157FED3F80151FA2ED0FC0A6151F16 +80153FED7F004A5A007FB55AB65A5D15E06C1480222E7FAD27>I<903803F80E90381FFE +1F90383FFFBF90B6FC5A3803FE0F3807F803497E48487E485A49137FA248C7123FA25A12 +7E151E150012FE5AAA7E127EA2151E007F143F7EA26C7E157F6D137E6C6C13FE3907F001 +FCEBF8033903FE0FF86CB512F06C14E0013F13C06D1300EB03F820307DAE27>I<387FFF +FC14FFB612C06C80813907E00FF81407EC01FC6E7EA2157E157F811680151FA316C0150F +ABED1F80A3153F1600A25D15FEA24A5A4A5A140F007FB55A5DB65A6C91C7FC14FC222E7F +AD27>I<007FB61280B712C0A37E3907E0000FA6ED078092C7FCA4EC07804A7EA390B5FC +A5EBE00FA36E5A91C8FCA4ED03C0ED07E0A7007FB6FCB7FCA36C15C0232E7FAD27>I<00 +7FB61280B712C0A37E3907E0000FA6ED078092C7FCA4EC07804A7EA390B5FCA5EBE00FA3 +6E5A91C8FCAC387FFF80B57EA36C5B222E7EAD27>I<903807F03890381FFC7C90387FFF +FC90B5FC5A3803FC1F3807F00F380FE007EBC003001F13011380123F90C7FCA2127EA215 +7892C7FC5AA8EC1FFF4A1380A3007E6D1300EC00FCA36C1301A21380121FEBC003120FEB +E0073807F00F3803FC1F6CB5FC7EEB7FFE90381FFC78D907F0C7FC21307DAE27>I<3A7F +FE07FFE0B54813F0A36C486C13E03A07E0007E00AF90B512FEA59038E0007EB03A7FFE07 +FFE0B54813F0A36C486C13E0242E7FAD27>I<007FB512E0B612F0A36C14E039001F8000 +B3B2007FB512E0B612F0A36C14E01C2E7BAD27>I<90381FFFF84913FCA36D13F8903800 +1F80B3AC127CA212FEA2EC3F005C387F81FE13FF6C5B6C5B000713E0C690C7FC1E2F7BAD +27>I<3A7FFC07FF8016C0486C5A6C487E16803A07C001F80014035D4A5A4A5A141F5D4A +C7FC147E14FE5CEBC1F8EBC3F013C75CEBCFF0EBDFF813FF8013FEEBFC7E143EEBF83F49 +7E01E07F140F01C07F1407811403816E7EA26E7E157C157E3A7FFC01FFC016E0486C5A6C +487E16C0232E7FAD27>I<387FFFC080B5FC7E5CD803F0C8FCB3AAED0780ED0FC0A7007F +B6FCA2B7FC7E1680222E7FAD27>I +I<3A7FF003FFE0486C4813F0A213FC007F6D13E000079038003E0013DEA313CFA3148013 +C714C0A213C314E0A213C114F0A3EBC0F8A31478147CA2143C143EA2141E141F140FA3EC +07BEA3EC03FEEA7FFCEAFFFE1401A26C486C5A242E7FAD27>II<007F +B5FCB612E081816C803907E003FEEC00FF81ED3F80151F16C0150FA6151F1680153FED7F +005DEC03FE90B55A5D5D5D92C7FC01E0C8FCADEA7FFEB5FCA36C5A222E7FAD27>I<387F +FFF0B512FE6E7E816C803907E01FF014076E7E1401811400A514015D14034A5A141F90B5 +5A5D5DA281EBE01F6E7E14076E7EA816F0EDF1F8A4397FFE01FBB5EBFFF08016E06C48EB +7FC0C8EA1F00252F7FAD27>82 D<90387FC0E03901FFF1F0000713FF5A5AEA3FE0EB801F +387F000F007E130712FE5A1403A3EC01E06C90C7FC127E127FEA3FC013F86CB47E6C13F8 +6C13FE6CEBFF80C614C0010F13E0010013F0140FEC07F81403140115FC1400127812FCA4 +6CEB01F8A26C130390388007F09038F01FE090B5FC15C0150000F85B38701FF81E307CAE +27>I<007FB61280B712C0A439FC03F00FA60078EC0780000091C7FCB3AB90B512C04880 +A36C5C222E7EAD27>I<3A7FFE01FFF8B54813FCA36C486C13F83A07E0001F80B3AB6D13 +3F00031500A26D5B0001147E6D13FE6C6C485A90387F87F814FF6D5B010F13C06D5BD901 +FEC7FC262F80AD27>I<3A7FFC03FFE06D5A00FF15F0007F15E0497E3A07E0007E00A46C +6C5BA4EBF80100015CA46C6C485AA490387E07E0A56D485AA4011F5B149FA3010F90C7FC +A5EB07FEA46D5AA26D5A242F7FAD27>II<393FFC1FFE387FFE3F815D383FFC1F3903F00FE001F85B1201EBFC1F00005CEBFE3F +017E90C7FCEB7F7FEB3F7E14FE6D5AA26D5AA26D5AA21303130780130F80131F80EB3F7E +147F497E017E7F141F01FC7F140FD801F87F14071203496C7E120701E07F3A7FFC0FFF80 +00FF15C06D5A497E007F1580222E7EAD27>I<3A7FFC03FFE06D5A00FF15F0007F15E049 +7E3A07F000FE0000035CEBF80100015CA2EBFC0300005CEBFE07017E5BA26D485AA29038 +1F9F80A3010F90C7FCA2EB07FEA26D5AA26D5AAF90381FFF80497FA36D5B242E7FAD27> +I<387FFFF0B512F8A314F000FCC7FCB3B3ACB512F014F8A36C13F0153A71B327>91 +D<127812F87EA27E127E127F7E7F121F7F120F7F12077F1203A27F12017F12007F137E13 +7F7F80131F80130FA280130780130380130180130080147E147F80A21580141F15C0140F +15E0140715F0140315F8140115FC1400A2157C15381E3A7CB327>I<387FFFF0B512F8A3 +7EEA0001B3B3ACEA7FFFB5FCA36C13F0153A7EB327>I<131C137E3801FF80000713E000 +1F13F84813FC38FFE7FF13C3130000FC133F0078131E180B79AD27>I<13E0EA01F01207 +120F13E0EA1FC0EA3F00A2127E127C12FC5AA4B4FC138013C0127FA2123F1380EA0F000C +1773B227>96 D<3803FFC0000F13F04813FC4813FF811380EC1FC0381F000F000480C712 +07A2EB0FFF137F0003B5FC120F5A383FFC07EA7FC0130012FE5AA46C130F007F131FEBC0 +FF6CB612806C15C07E000313F1C69038807F8022207C9F27>IIIII +I<153F90391FC0FF80D97FF313C048B612E05A4814EF390FF07F873A1FC01FC3C0EDC000 +EB800F48486C7EA66C6C485AEBC01FA2390FF07F8090B5C7FC5C485BEB7FF0EB1FC090C9 +FCA27F6CB5FC15E015F84814FE4880EB8001007EC7EA3F80007C140F00FC15C0481407A4 +6C140F007C1580007F143F6C6CEB7F009038F807FF6CB55A000714F86C5CC614C0D90FFC +C7FC23337EA027>II< +130F497E497EA46D5A6DC7FC90C8FCA7383FFF80487FA37EEA000FB3A4007FB512F0B6FC +15F815F07E1D2F7BAE27>I<143C147E14FFA4147E143C1400A73801FFFE4813FFA37EC7 +123FB3B0147E1238007C13FE38FE01FC1303B512F814F06C13E06C13803807FE0018407C +AE27>II<38 +7FFF80B57EA37EEA000FB3B2007FB512F8B612FCA36C14F81E2E7CAD27>I<397F07C01F +3AFF9FF07FC09039FFF9FFE091B57E7E3A0FFC7FF1F89038F03FC001E0138001C01300A3 +EB803EB03A7FF0FFC3FF486C01E3138001F913E701F813E36C4801C313002920819F27> +I<387FE07F39FFF1FFC001F713F090B5FC6C80000313C1EC01FCEBFE005B5BA25BB03A7F +FF83FFE0B500C713F0A36C018313E024207F9F27>II<387FE0FFD8FFF313C090B512F0816C800003EB81FE49C67E49 +EB3F8049131F16C049130FA216E01507A6150F16C07F151F6DEB3F80157F6DEBFF009038 +FF83FEECFFFC5D5D01F313C0D9F0FEC7FC91C8FCAC387FFF80B57EA36C5B23317F9F27> +I<90380FF03C90383FFE7E90B5FC000314FE5A380FFC1F381FE007EBC003383F800148C7 +FC127EA200FE147E5AA67E007E14FEA2007F1301EA3F80EBC003381FE007380FF81F6CB5 +FC7E6C147E38007FFCEB0FF090C7FCAC91381FFFF8A24A13FC6E13F8A226317E9F27>I< +397FFC03FC39FFFE0FFF023F13804A13C0007F90B5FC39007FFE1F14F89138F00F809138 +E002004AC7FC5CA291C8FCA2137EAD007FB57EB67EA36C5C22207E9F27>I<9038FFF380 +0007EBFFC0121F5A5AEB803F38FC000F5AA2EC07806C90C7FCEA7F8013FC383FFFF06C13 +FC000713FF00011480D8000F13C09038003FE014070078EB03F000FC1301A27E14036CEB +07E0EBE01F90B512C01580150000FB13FC38707FF01C207B9F27>I<133C137EA8007FB5 +12F0B612F8A36C14F0D8007EC7FCAE1518157EA415FE6D13FC1483ECFFF86D13F06D13E0 +010313C0010013001F297EA827>I<397FE01FF8486C487EA3007F131F00031300B21401 +A21403EBFC0F6CB612E016F07EEB3FFE90390FF87FE024207F9F27>I<3A7FFC0FFF8048 +6C4813C0A36C486C13803A07C000F800EBE00100035CA2EBF00300015CA2EBF80700005C +A390387C0F80A36D48C7FCA3EB3F3FEB1F3EA214FE6D5AA36D5AA26D5A22207E9F27>I< +3A7FFE07FFE000FF15F06D5A497E007F15E03A0F80001F00A36D5B0007143EA414F0EBC1 +F83903E3FC7CA4EBE79EA200011478A301F713F8A2EBFF0F6C5CA3EBFE0790387C03E024 +207F9F27>I<393FFC1FFF486C5A168016006C487E3901F807E06C6C485A4A5A017E90C7 +FC6D5AEB1F7E5C6D5A13076D5A5C80497E130F497E143EEB3E3FEB7E1F90387C0F8001F8 +7F00016D7E3803F0033A7FFE1FFF80A2B54813C06C486C1380A222207E9F27>I<3A7FFC +0FFF80486C4813C0A36C486C13803A07E000F800000313015D13F00001130301F85B1200 +A26D485A137CA290387E0F80133EA2011F90C7FC5CA2130F149E14BE130714FC1303A25C +1301A25CA213035CA213075C1208EA3E0F007F5B131FD87E7FC8FCEA7FFE6C5A5B6C5AEA +07C022317E9F27>I<001FB512FE4814FFA490380001FEEC03FCEC07F8EC0FF0001EEB1F +E0C7EA3FC0EC7F80ECFF00495A495A495AEB1FE0495A495A49C7FC485A4848131E484813 +3F485A485A485A485AB7FCA46C14FE20207E9F27>II125 +D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fb cmmi7 7 2 +/Fb 2 117 df<130E131F5BA2133E131C90C7FCA7EA03E0487EEA0C78EA187C1230A212 +605B12C0A2EA01F0A3485AA2485AA2EBC180EA0F81A2381F0300A213066C5A131CEA07F0 +6C5A11287DA617>105 D<131C133EA25BA45BA4485AB512E0A23801F000485AA4485AA4 +485AA448C7FC1460A214C0123EEB0180EB0300EA1E06EA1F1CEA0FF8EA03E013267EA419 +>116 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fc cmti8 8 10 +/Fc 10 58 df<147F903803FFC090380783E090381F00F0013C13F849137813F849137C +1201485AA2485AA2000F14FC5B121FA215F8383F0001A4007EEB03F0A448EB07E0A315C0 +140F5A1580141F1500A2143E143C5C007813F8495A6C485A381F0F80D80FFEC7FCEA03F8 +1E2D78AB24>48 D<14031407140F141E143E147E14FEEB03FCEB1F7CEB7CFC1360EB00F8 +A21301A214F0A21303A214E0A21307A214C0A2130FA21480A2131FA21400A25BA2133EA2 +137EA2137CA213FCB512F8A2182C79AB24>I<147F903801FFC0903807C1F090380F00F8 +011E137C13380178133E13F3EBE380D801E1133F13C1120313810183137F0007EB007E5B +1306010E13FE4913FC3903F801F83901E003F0C7EA07E0EC0FC0EC1F80EC3F0014FC495A +EB07E0EB0F80013EC7FC5BEA01F04848131C4848133C49133848C7FC001E14784814F038 +3FC001397FFE03E00078B512C0EA703FD8F00F130038E003FEEB00F8202D7AAB24>II<1538157815F8A31401 +15F0A3EC03E0A3EC07C0A2EC0F80A3EC1F00A2143E143C147C147814F85C495AA2495A90 +380783801487EB0F0F131E131CEB381F0170130013E012013803803F3807003E120EEA1F +F8387FFF7E39F007FC1839C000FFF8C7EA7FE0ECFC005CA313015CA313035CA26D5A1D39 +7DAB24>I<01181306011F137EECFFFC15F04913E0158090383BFC000138C7FC13781370 +A313F05BA33801E3F8EBCFFEEBFC0F01F013803903E007C013C01380C7EA03E01407A514 +0F003C14C0127EA2141F00FE148012F800E0EB3F00147E0070137C5C387801F0383803E0 +381E0F80D80FFEC7FCEA03F81F2D79AB24>II<3A01C3 +E001C09038CFF0033A03FFF80780ED0F00485C9038F8383E390FE01C7C9038C00FFC4848 +6C5A001EC7FC003E5C003C495A5A0070495A00F01307485CC7120F4AC7FCA2143EA25CA2 +14FC5C13015C1303A2495AA2130F5CA2131F5CA2133FA291C8FC5BA2137EA21338222D77 +AB24>II<143FECFFC0903803E1E090380F80F090381F0078133E01 +7E137C5B5B1201A2485AA215FC12075BA2140115F8EBC003A2140715F00003130FEBE01F +0001133F3900F077E0EB7FE7EB1F879038000FC0A2EC1F80A21500143E0038137E007E13 +7C00FE5B495A48485A48485A38700F80D8781EC7FCEA3FF8EA0FE01E2D79AB24>I +E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fd lcircle10 10 4 +/Fd 4 40 df[170 +170 294 131 332 36 D[170 170 294 297 332 I[<126012F0AD7EA21278A7127CA212 +3CA5123EA2121EA3121FA27EA27FA21207A27FA21203A27FA212017FA212007FA2137813 +7CA2133C133EA27FA27F80A26D7EA2130380A26D7EA26D7EA2147CA280A280A26E7E8114 +076E7EA26E7EA26E7E81157C81153F816F7E8215076F7E826F7E1500167C167E8282707E +83707E707E707E1600177C177E83717E717E717E717E717E717E187E84727E727E727E72 +7EF001FC727E193F737E737EF107F0737EF100FC1A7F747EF20FC0F207F0747EF200FE1B +7FF31FC0F30FF0F303F8F301FE9838007F80F41FE0F40FF8F403FE993800FF80F53FE0F5 +0FF8F503FE9A3800FFC0F63FF0F60FFE9B3803FF809B38007FF0F71FFE9C3803FFE00D00 +13FC9D381FFFC00E0313FE9D39003FFFF00F07EBFFC0E7007FEBFFF0100391B51280E800 +1F15C0FB007FA1D8001F1380>170 170 128 297 332 I[170 170 128 131 332 I E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fe cmti10 10 13 +/Fe 13 122 df12 D<14F0EB03FCA21307A3EB0FF8A314F0A3EB1FE0A314C0A3EB3F80A31400A313 +7EA3137CA35BA35BA3485AA45B1203A2C8FCA8120EEA3F80127F12FFA390C7FC127E123C +163C77BB19>33 D<133FEA1FFFA3C67E137EA313FE5BA312015BA312035BA31207EBE0F8 +EBE7FE9038EF0F80390FFC07C013F89038F003E013E0D81FC013F0A21380A2123F1300A2 +14075A127EA2140F12FE4814E0A2141F15C05AEC3F80A215005C147E5C387801F8007C5B +383C03E0383E07C0381E1F80D80FFEC7FCEA01F01C3B77B926>98 +D100 D<147F903803FFC090380FC1E090383F00F0017E13785B485A485A485A120F +4913F8001F14F0383F8001EC07E0EC1F80397F81FF00EBFFF891C7FC90C8FC5A5AA55AA2 +1530007C14381578007E14F0003EEB01E0EC03C06CEB0F806CEB3E00380781F83803FFE0 +C690C7FC1D2677A426>I105 D108 D110 D<147F903803FFC090380F +C1F090381F00F8017E137C5B4848137E4848133E0007143F5B120F485AA2485A157F127F +90C7FCA215FF5A4814FEA2140115FC5AEC03F8A2EC07F015E0140F007C14C0007EEB1F80 +003EEB3F00147E6C13F8380F83F03803FFC0C648C7FC202677A42A>I116 D<13F8D803FEEB01C0D8078FEB03E039 +0E0F8007121E121C0038140F131F007815C01270013F131F00F0130000E015805BD8007E +133FA201FE14005B5D120149137EA215FE120349EBFC0EA20201131E161C15F813E0163C +D9F003133814070001ECF07091381EF8F03A00F83C78E090393FF03FC090390FC00F0027 +2679A42D>I<01F01507D803FC903903801F80D8071E903907C03FC0D80E1F130F121C12 +3C0038021F131F49EC800F00701607A249133FD8F07E168000E0ED000313FEC648491307 +18000001147E5B03FE5B0003160E495BA2171E00070101141C01E05B173C1738A2177817 +70020314F05F0003010713016D486C485A000190391E7C07802800FC3C3E0FC7FC90393F +F81FFE90390FE003F0322679A437>119 D<13F0D803FCEB01C0D8071EEB03E0D80E1F13 +07121C123C0038140F4914C01270A249131FD8F07E148012E013FEC648133F160012015B +5D0003147E5BA215FE00075C5BA214015DA314035D14070003130FEBF01F3901F87FE038 +007FF7EB1FC7EB000F5DA2141F003F5C48133F92C7FC147E147C007E13FC387001F8EB03 +E06C485A383C1F80D80FFEC8FCEA03F0233679A428>121 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Ff cmsy8 8 1 +/Ff 1 2 df<123C127E12FFA4127E123C08087A9414>1 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fg cmmi8 8 4 +/Fg 4 101 df97 +D<13F8121FA21201A25BA21203A25BA21207A25BA2120FEBC7E0EB9FF8EBB83C381FF01E +EBE01F13C09038800F80EA3F00A2123EA2007E131FA2127CA2143F00FC14005AA2147EA2 +147C14FC5C387801F01303495A383C0F806C48C7FCEA0FFCEA03F0192F7DAD1E>II<151FEC03FFA2EC003FA2153EA2157EA2157CA215FCA215 +F8A21401EB07E190381FF9F0EB7C1DEBF80FEA01F03903E007E0EA07C0120FEA1F8015C0 +EA3F00140F5A007E1480A2141F12FE481400A2EC3F021506143E5AEC7E0E007CEBFE0C14 +FC0101131C393E07BE18391F0E1E38390FFC0FF03903F003C0202F7DAD24>I +E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fh cmr5 5 10 +/Fh 10 58 df48 D<1360EA01E0120F12FF12F11201B3A3387FFF80A2111C7B9B1C>IIII<001C13E0EA1FFF14C0140013FC0018C7FCA513FCEA1BFF381F07 +C0381C01E01218EB00F0C7FC14F8A2127012F8A214F01301006013E0387003C0383C0F80 +380FFF00EA03F8151D7D9B1C>II<1260387FFFF8A214 +F014E038E000C05AEB0180EB0300EA00065B5BA25B1370A213F05B1201A41203A66C5A15 +1D7C9B1C>III E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fi cmmi10 10 10 +/Fi 10 114 df<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A12 +06120E5A5A5A12600A19798817>59 D<147E903803FF8090390FC1C38090391F00EFC001 +7E137F49133F485A4848EB1F8012075B000F143F48481400A2485A5D007F147E90C7FCA2 +15FE485C5AA214015D48150CA21403EDF01C16181407007C1538007E010F1330003E131F +027B13706C01E113E03A0F83C0F9C03A03FF007F80D800FCEB1F0026267DA42C>97 +D<133FEA1FFFA3C67E137EA313FE5BA312015BA312035BA31207EBE0FCEBE3FF9038E707 +C0390FFE03E09038F801F001F013F8EBE000485A15FC5BA2123F90C7FCA214015A127EA2 +140312FE4814F8A2140715F05AEC0FE0A215C0EC1F80143F00781400007C137E5C383C01 +F86C485A380F07C06CB4C7FCEA01FC1E3B7CB924>II<163FED1FFFA3ED007F167EA216 +FEA216FCA21501A216F8A21503A216F0A21507A2027E13E0903803FF8790380FC1CF9038 +1F00EF017EEB7FC049133F485A4848131F000715805B000F143F485A1600485A5D127F90 +C7127EA215FE5A485CA21401A248ECF80CA21403161CEDF0181407007C1538007E010F13 +30003E131F027B13706C01E113E03A0F83C0F9C03A03FF007F80D800FCEB1F00283B7DB9 +2B>II<16F8ED03FEED0F8792381F0F80ED3E3F167F157CA215FC1700161C4A48 +C7FCA414035DA414075DA20107B512F0A39026000FE0C7FC5DA4141F5DA4143F92C8FCA4 +5C147EA514FE5CA413015CA4495AA45C1307A25C121E123F387F8F80A200FF90C9FC131E +12FEEA7C3CEA7878EA1FF0EA07C0294C7CBA29>II +I<02FC13C0903803FF0190380F838390383F01C790397E00EF8049137F485A4848133F00 +0715005B485A001F5C157E485AA2007F14FE90C75AA3481301485CA31403485CA314075D +140F127C141F007E495A003E137F381F01EF380F839F3903FF1F80EA00FC1300143F92C7 +FCA35C147EA314FE5C130190387FFFF0A322357DA425>113 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fj cmr8 8 52 +/Fj 52 122 df<14FF010713E090381F80F090383E003849137C4913FC485A1203491378 +153092C7FCA7157CB612FCA23803E000157CB3A5486C13FE3A7FFF0FFFE0A2232F7FAE27 +>12 D<91397F800FF0903A03FFE07FFE903A1FC079F80F903B3E001FE003804990393FC0 +07C04990387F800F48481400A24848017EEB0780033EEB030094C7FCA7EF07C0B9FCA23B +03E0003E000F1707B3A5486C017FEB0FE03C7FFF07FFF0FFFEA2372F7FAE3B>14 +D<123C127E12FFA7127EA9123CAA1218A41200A7123C127E12FFA4127E123C082F7AAE14 +>33 D43 +D<123C127EB4FCA21380A2127F123D1201A312031300A25A1206120E5A5A5A126009157A +8714>II<123C127E12FFA4127E123C08087A8714>I48 D<130C133C137CEA03FC12FFEAFC7C1200B3B113FE387FFFFEA2172C +7AAB23>III<140EA2141E143EA2147E14FEA2 +EB01BE1303143E1306130E130C131813381330136013E013C0EA0180120313001206120E +120C5A123812305A12E0B612FCA2C7EA3E00A9147F90381FFFFCA21E2D7EAC23>I<000C +EB0180380FC01F90B512005C5C14F014C0D80C7EC7FC90C8FCA8EB1FC0EB7FF8380DE07C +380F801F01001380000E130F000CEB07C0C713E0A2140315F0A4127812FCA448EB07E012 +E0006014C00070130F6C14806CEB1F006C133E380780F83801FFE038007F801C2D7DAB23 +>II<1230123C003FB512F8A215F05A15 +E039700001C000601480140348EB0700140E140CC7121C5C143014705C495AA2495AA249 +C7FCA25B130E131EA2133EA3133C137CA413FCA913781D2E7CAC23>III<123C127E12FFA4127E123C1200AD123C127E12FFA4127E123C +081D7A9C14>I61 D66 D70 D73 D75 D77 D79 D<007FB712F8A29039000FC003007C150000701638A2006016 +18A200E0161CA248160CA5C71500B3A94A7E011FB512E0A22E2D7EAC33>84 +DII<13FF000713C0380F01F0381C00F8003F137C80A2 +143F001E7FC7FCA4EB07FF137F3801FE1FEA07F0EA1FC0EA3F80EA7F00127E00FE14065A +A3143F7E007E137F007FEBEF8C391F83C7FC390FFF03F83901FC01E01F207D9E23>97 +DII<15F8141FA2 +14011400ACEB0FE0EB7FF83801F81E3803E0073807C003380F8001EA1F00481300123E12 +7EA25AA9127C127EA2003E13017EEB8003000F13073903E00EFC3A01F03CFFC038007FF0 +90391FC0F800222F7EAD27>III<013F13F89038FFC3FE3903E1FF1E3807807C000F140C391F003E00A200 +3E7FA76C133EA26C6C5A00071378380FE1F0380CFFC0D81C3FC7FC90C8FCA3121E121F38 +0FFFF814FF6C14C04814F0391E0007F848130048147C12F848143CA46C147C007C14F86C +EB01F06CEB03E03907E01F803901FFFE0038003FF01F2D7E9D23>III107 +DI<2607C07FEB07F03B +FFC3FFC03FFC903AC783F0783F3C0FCE01F8E01F803B07DC00F9C00F01F8D9FF8013C049 +90387F000749137EA249137CB2486C01FEEB0FE03CFFFE0FFFE0FFFEA2371E7E9D3C>I< +3807C0FE39FFC3FF809038C703E0390FDE01F0EA07F8496C7EA25BA25BB2486C487E3AFF +FE1FFFC0A2221E7E9D27>II<3807C0FE39FFC7FF80 +9038CF03E0390FDC01F03907F800FC49137E49133E49133FED1F80A3ED0FC0A8151F1680 +A2ED3F00A26D137E6D137C5D9038FC01F09038CE07E09038C7FF80D9C1FCC7FC01C0C8FC +A9487EEAFFFEA2222B7E9D27>I<90380FE01890387FF8383801F81C3903E00E783807C0 +07390F8003F8001F1301EA3F00A2007E1300A212FE5AA8127EA36C13017EEB8003380FC0 +073803E00E3801F03C38007FF0EB1FC090C7FCA94A7E91381FFFC0A2222B7E9D25>I<38 +0781F838FF87FEEB8E3FEA0F9CEA07B813B0EBF01EEBE000A45BB0487EB5FCA2181E7E9D +1C>I<3801FE183807FFB8381E01F8EA3C00481378481338A21418A27E7EB41300EA7FF0 +6CB4FC6C13C06C13F0000113F838001FFC130138C0007E143EA26C131EA27EA26C133CA2 +6C137838FF01F038E3FFC000C0130017207E9E1C>I<1360A413E0A312011203A2120712 +1FB512F0A23803E000AF1418A714383801F03014703800F860EB3FE0EB0F80152A7FA81B +>II<3AFFFC01FFC0A23A0FE0007E00000714 +7C15380003143015706C6C1360A26C6C5BA390387C0180A26D48C7FCA2EB3F07EB1F06A2 +EB0F8CA214DCEB07D8A2EB03F0A36D5AA26D5A221E7F9C25>I<3BFFFC3FFE07FFA23B0F +E003F001F801C09038E000F00007010114E0812603E00314C0A2913807F8012701F00678 +1380A29039F80E7C030000D90C3C1300A290397C181E06A2151F6D486C5AA2168C90391F +600798A216D890390FC003F0A36D486C5AA36DC75A301E7F9C33>I<3AFFFC07FF80A23A +0FF003FC000003EB01F0000114C06D485A000091C7FCEB7C06EB3E0E6D5A14B8EB0FB0EB +07E013036D7E497E1307EB067C497EEB1C1F01387FEB700F496C7E6E7ED803C07F00076D +7E391FE003FC3AFFF007FFC0A2221D7F9C25>I<3AFFFC01FFC0A23A0FE0007E00000714 +7C1538000314306D137000011460A26C6C5BA2EBFC01017C5BEB7E03013E90C7FCA2EB1F +06A2148EEB0F8CA2EB07D8A2EB03F0A36D5AA26D5AA2495AA2130391C8FC1278EAFC06A2 +5B131CEA7838EA7070EA3FE0EA0F80222B7F9C25>I E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fk cmr6 6 6 +/Fk 6 54 df<13FF000313C0380781E0380F00F0001E137848133CA248131EA400F8131F +AD0078131EA2007C133E003C133CA26C13786C13F0380781E03803FFC0C6130018227DA0 +1E>48 D<13E01201120712FF12F91201B3A7487EB512C0A212217AA01E>II<13FF000313C0380F03E0381C00F014F8003E13FC147CA2 +001E13FC120CC712F8A2EB01F0EB03E0EB0FC03801FF00A2380003E0EB00F01478147C14 +3E143F1230127812FCA2143E48137E0060137C003813F8381E03F0380FFFC00001130018 +227DA01E>I<14E01301A213031307A2130D131D13391331136113E113C1EA01811203EA +07011206120C121C12181230127012E0B6FCA2380001E0A6EB03F0EB3FFFA218227DA11E +>I<00101330381E01F0381FFFE014C01480EBFE00EA1BF00018C7FCA513FE381BFF8038 +1F03C0381C01E0381800F014F8C71278A2147CA21230127812F8A214784813F8006013F0 +387001E01238381E07803807FF00EA01F816227CA01E>I E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fl cmtt10 10 64 +/Fl 64 126 df<121C127FEAFF80B1EA7F00AF123EC7FCA8121C127FA2EAFF80A3EA7F00 +A2121C09346FB32C>33 D36 +DI<143814FC130113 +03EB07F8EB0FF0EB1FC0EB3F80EB7F0013FE485A485A5B12075B120F5B485AA2123F90C7 +FCA25A127EA312FE5AAC7E127EA3127F7EA27F121FA26C7E7F12077F12037F6C7E6C7E13 +7FEB3F80EB1FC0EB0FF0EB07F8EB03FC130113001438164272B92C>40 +D<127012FC7E7E6C7E6C7EEA0FE06C7E6C7E6C7E6C7E137F7F1480131F14C0130FEB07E0 +A214F01303A214F81301A314FC1300AC130114F8A3130314F0A2130714E0A2EB0FC0131F +1480133F14005B13FE485A485A485A485AEA3FC0485A48C7FC5A5A1270164279B92C>I< +EA0F80EA1FE0EA3FF0EA7FF8A213FCA3123F121F120F120013F8A21201EA03F01207EA1F +E0EA7FC0EAFF80130012FC12700E17718A2C>44 D<121FEA3F80EA7FC0EAFFE0A5EA7FC0 +EA3F80EA1F000B0B708A2C>46 D48 +D<1307497EA2131FA2133F137F13FF5A1207127FB5FC13DF139FEA7C1F1200B3AE007FB5 +12E0B612F0A36C14E01C3477B32C>IIII<000FB512FE4880A35D0180C8FCADEB83FE90389FFF8090B512E015F8819038 +FE03FE9038F000FF01C07F49EB3F8090C7121F6C15C0C8120FA2ED07E0A4123C127EB4FC +150F16C0A248141F007EEC3F80007FEC7F006C6C5B6D485A391FF80FFC6CB55A6C5C0001 +14C06C6C90C7FCEB0FF823347CB22C>II<1278B712C016E0A316C000FCC7EA3F80ED7F0015FE00785CC712014A5A4A5A +5D140F5D4A5A143F92C7FC5C147E14FE5C13015CA2495AA213075CA3495AA4495AA5133F +91C8FCAA131E23357CB32C>III<121FEA3F80EA7FC0EA +FFE0A5EA7FC0EA3F80EA1F00C7FCAE121FEA3F80EA7FC0EAFFE0A5EA7FC0EA3F80EA1F00 +0B2470A32C>I<1507ED1F80153F15FF14034A1300EC1FFC4A5AECFFE0491380010790C7 +FCEB0FFCEB3FF8EB7FE048485A4890C8FCEA0FFEEA1FF8EA7FF0EAFFC05BA27FEA7FF0EA +1FF8EA0FFEEA03FF6C13C06C6C7EEB3FF8EB0FFC6DB4FC01017F6D13E0EC3FF86E7EEC07 +FF6E13801400153F151FED0700212A7BAD2C>60 D<007FB612F0B712F8A4003F15F0CAFC +A8003FB612F0B712F8A46C15F025147DA22C>I<127012FC7E6C7E13E06C7EEA1FFC6C7E +3803FF80C67FEB7FF0EB1FF8EB0FFEEB03FF6D13C06D6C7EEC3FF8EC0FFC6EB4FC020113 +8080A25C02071300EC0FFCEC3FF8EC7FE049485A4990C7FCEB0FFEEB1FF8EB7FF0EBFFC0 +00035BD80FFEC8FC485AEA7FF0485A138048C9FC5A1270212A7BAD2C>II<14FE497EA4497FA214EFA213 +0781A214C7A2010F7FA314C390381F83F0A590383F01F8A490387E00FCA549137E90B512 +FEA34880A29038F8003FA34848EB1F80A4000715C049130FD87FFEEBFFFC6D5AB514FE6C +15FC497E27347EB32C>65 D<007FB612F0B712F8A37E3903F00001A7ED00F01600A4EC01 +E04A7EA490B5FCA5EBF003A46E5A91C8FCA5163C167EA8007FB612FEB7FCA36C15FC2733 +7EB22C>69 D<007FB512F8B612FCA36C14F839000FC000B3B3A5007FB512F8B612FCA36C +14F81E3379B22C>73 D78 D<007FB512C0B612F88115FF6C15802603F00013C0153F +ED0FE0ED07F0A2150316F81501A6150316F01507A2ED0FE0ED3FC015FF90B61280160015 +FC5D15C001F0C8FCB0387FFF80B57EA36C5B25337EB22C>80 D<90381FF80790B5EA0F80 +4814CF000714FF5A381FF01F383FC003497E48C7FC007E147F00FE143F5A151FA46CEC0F +00007E91C7FC127F7FEA3FE0EA1FFCEBFFC06C13FC0003EBFFC06C14F06C6C7F01077F90 +38007FFEEC07FF02001380153FED1FC0A2ED0FE0A20078140712FCA56CEC0FC0A26CEC1F +806D133F01E0EB7F009038FE01FF90B55A5D00F914F0D8F83F13C0D8700790C7FC23357C +B32C>83 D<007FB612FCB712FEA43AFC007E007EA70078153CC71400B3AF90383FFFFCA2 +497F6D5BA227337EB22C>I<3B7FFF803FFFC0B56C4813E0A36C496C13C03B03F00001F8 +00B3AF6D130300015DA26D130700005D6D130F017F495A6D6C485AECE0FF6DB5C7FC6D5B +010313F86D5B9038003F802B3480B22C>I<3A3FFF03FFE0484913F0148714076C6D13E0 +3A01F800FE007F0000495A13FE017E5BEB7F03013F5B1487011F5B14CF010F5B14FF6D5B +A26D90C7FCA26D5AA26D5AA2497EA2497EA2497F81EB0FCF81EB1FC7EC87F0EB3F83EC03 +F8EB7F01017E7FEBFE00497F0001147E49137F000380491480151FD87FFEEBFFFC6D5AB5 +14FE6C15FC497E27337EB22C>88 D<387FFFFCB512FEA314FC00FCC7FCB3B3B3B512FC14 +FEA36C13FC17416FB92C>91 D<127812F87EA27E127E127F7E7F121F7F120F7F1207A27F +12037F12017F12007F137E137F7F80131FA280130F801307801303801301801300A28014 +7E147F8081141F81140F811407811403A281140181140081157E157F811680151FA2150F +ED070021417BB92C>I<387FFFFCB512FEA37EC7127EB3B3B3387FFFFEB5FCA36C13FC17 +417DB92C>I<130EEB3F80EBFFE0000313F8000F13FE487FD87FF113C0D8FFE013E0EB80 +3F38FE000F007CEB07C00030EB01801B0C78B22C>I<007FB6FCB71280A46C150021067B +7D2C>I<3801FFF0000713FE001F6D7E15E048809038C01FF81407EC01FC381F80000006 +C77EC8127EA3ECFFFE131F90B5FC1203120F48EB807E383FF800EA7FC090C7FC12FE5AA4 +7E007F14FEEB8003383FE01F6CB612FC6C15FE6C14BF0001EBFE1F3A003FF007FC27247C +A32C>97 DI<903803FFE0011F13F8017F13FE48B5FC48804848C6FCEA0FF0485A49 +137E4848131890C9FC5A127EA25AA8127EA2127F6C140F6DEB1F806C7E6D133F6C6CEB7F +003907FE03FF6CB55A6C5C6C6C5B011F13E0010390C7FC21247AA32C>IIIIII<1307EB1FC0A2497EA36D5AA20107C7FC90C8FCA7387FFFC080B5FC7EA2EA0007B3A8 +007FB512FCB612FEA36C14FC1F3479B32C>I<140EEC3F80A2EC7FC0A3EC3F80A2EC0E00 +91C7FCA748B512804814C0A37EC7120FB3B3A2141F003C1480007E133FB414005CEB01FE +EBFFFC6C5B5C001F5B000790C7FC1A467CB32C>II<387FFFE0B57EA37EEA0003B3B3A5 +007FB61280B712C0A36C158022337BB22C>I<3A7F83F007E09039CFFC1FF83AFFDFFE3F +FCD87FFF13FF91B57E3A07FE1FFC3E01FCEBF83F496C487E01F013E001E013C0A301C013 +80B33B7FFC3FF87FF0027F13FFD8FFFE6D13F8D87FFC4913F0023F137F2D2481A32C>I< +397FF01FE039FFF87FFC9038F9FFFE01FB7F6CB6FC00019038F03F80ECC01F02807FEC00 +0F5B5BA25BB3267FFFE0B5FCB500F11480A36C01E0140029247FA32C>II<397FF0 +1FE039FFF8FFF801FB13FE90B6FC6C158000019038F07FC09138801FE091380007F049EB +03F85BED01FC491300A216FE167EA816FE6D14FCA2ED01F86D13036DEB07F0150F913880 +1FE09138E07FC091B51280160001FB5B01F813F8EC3FC091C8FCAD387FFFE0B57EA36C5B +27367FA32C>I<903903FC078090391FFF0FC0017F13CF48B512EF4814FF3807FE07380F +F00148487E49137F4848133F90C7FC48141F127E150F5AA87E007E141FA26C143F7F6C6C +137F6D13FF380FF0033807FC0F6CB6FC6C14EF6C6C138F6D130FEB07F890C7FCAD0203B5 +FC4A1480A36E140029367DA32C>II<90387FF8700003B512F8120F5A5A387FC00F387E00034813015AA3 +6CEB00F0007F140013F0383FFFC06C13FE6CEBFF80000314E0C66C13F8010113FCEB0007 +EC00FE0078147F00FC143F151F7EA26C143F6D133E6D13FE9038F007FC90B5FC15F815E0 +00F8148039701FFC0020247AA32C>I<131E133FA9007FB6FCB71280A36C1500D8003FC8 +FCB1ED03C0ED07E0A5EC800F011FEB1FC0ECE07F6DB51280160001035B6D13F89038003F +E0232E7EAD2C>I<3A7FF003FF80486C487FA3007F7F0001EB000FB3A3151FA2153F6D13 +7F3900FE03FF90B7FC6D15807F6D13CF902603FE07130029247FA32C>I<3A7FFF01FFFC +B514FE148314016C15FC3A03E0000F80A26D131F00011500A26D5B0000143EA26D137E01 +7C137CA2017E13FC013E5BA2EB3F01011F5BA21483010F5BA214C701075BA214EF01035B +A214FF6D90C7FCA26D5A147C27247EA32C>II<3A3FFF03FFF048018713F8A36C010313F03A00FC007E005D90387E01F8013F5B +EB1F83EC87E090380FCFC0903807EF80EB03FF6D90C7FC5C6D5A147C14FE130180903803 +EF80903807CFC0EB0FC7EC83E090381F01F0013F7FEB7E00017C137C49137E0001803A7F +FF01FFFC1483B514FE6C15FC140127247EA32C>I<3A7FFF01FFFCB5008113FE14831481 +6C010113FC3A03E0000F806C7E151F6D140012005D6D133E137C017E137E013E137CA201 +3F13FC6D5BA2EB0F815DA2EB07C1ECC3E0A2EB03E3ECE7C0130114F75DEB00FFA292C7FC +80A2143EA2147E147CA214FC5CA2EA0C01003F5BEA7F83EB87E0EA7E0F495A387FFF806C +90C8FC6C5A6C5AEA07E027367EA32C>I<003FB612E04815F0A4007EC7EA1FE0ED3FC0ED +7F80EDFF004A5A003C495AC7485A4A5A4A5A4A5A4A5A4AC7FCEB01FC495AEB0FF0495A49 +5A495A49C8FC4848EB01E04848EB03F0485A485A485A485A485AB7FCA46C15E024247DA3 +2C>I<15FF02071380141F147F91B512004913C04AC7FCEB03F85CB31307EB1FE013FF00 +7F5BB55A49C8FC6D7E6C7FC67F131FEB07F01303B380EB01FEECFFC06D13FF6E1380141F +14070200130021417BB92C>I125 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fm cmr7 7 7 +/Fm 7 66 df48 D<13381378EA01F8121F12FE12E01200B3AB487EB512F8A2 +15267BA521>I<13FF000313E0380E03F0381800F848137C48137E00787F12FC6CEB1F80 +A4127CC7FC15005C143E147E147C5C495A495A5C495A010EC7FC5B5B903870018013E0EA +0180390300030012065A001FB5FC5A485BB5FCA219267DA521>I<13FF000313E0380F01 +F8381C007C0030137E003C133E007E133FA4123CC7123E147E147C5C495AEB07E03801FF +8091C7FC380001E06D7E147C80143F801580A21238127C12FEA21500485B0078133E0070 +5B6C5B381F01F03807FFC0C690C7FC19277DA521>I<1438A2147814F81301A213031307 +1306130C131C131813301370136013C012011380EA03005A120E120C121C5A12305A12E0 +B612E0A2C7EAF800A7497E90383FFFE0A21B277EA621>I<0018130C001F137CEBFFF85C +5C1480D819FCC7FC0018C8FCA7137F3819FFE0381F81F0381E0078001C7F0018133EC7FC +80A21580A21230127C12FCA3150012F00060133E127000305B001C5B380F03E03803FFC0 +C648C7FC19277DA521>I<140EA2141FA34A7EA3EC6FC0A2ECEFE014C7A290380183F0A3 +90380301F8A201067F1400A249137EA2011C137F01187FA24980013FB5FCA2903960000F +C0A201E080491307A248486D7EA200038115011207D81FC0497ED8FFF890383FFFE0A22B +2A7EA931>65 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fn cmr10 10 75 +/Fn 75 125 df11 +DII<001C131C007F137F39FF80FF80A26D13C0A3007F137F001C131C00001300A4 +0001130101801380A20003130301001300485B00061306000E130E485B485B485B006013 +601A197DB92A>34 D<030C1303031E497EA2033E130FA2033C91C7FCA2037C5BA2037813 +1EA303F8133EA24B133CA20201147CA24B1378A2020314F8A24B5BA302071301007FB912 +80BA12C0A26C1880C7271F0007C0C7FC021E5CA3023E130FA2023C91C8FCA2027C5BA202 +78131EA302F8133E007FB91280BA12C0A26C1880280003E000F8C8FC4A5BA301071301A2 +02805BA2010F1303A202005BA2491307A2011E5CA3013E130FA2013C91C9FCA2017C5BA2 +0178131EA20130130C3A4A7BB945>II<121C127FEAFF80A213C0A312 +7F121C1200A412011380A2120313005A1206120E5A5A5A12600A1979B917>39 +D<146014E0EB01C0EB0380EB0700130E131E5B5BA25B485AA2485AA212075B120F90C7FC +A25A121EA2123EA35AA65AB2127CA67EA3121EA2121F7EA27F12077F1203A26C7EA26C7E +1378A27F7F130E7FEB0380EB01C0EB00E01460135278BD20>I<12C07E12707E7E7E120F +6C7E6C7EA26C7E6C7EA21378A2137C133C133E131EA2131F7FA21480A3EB07C0A6EB03E0 +B2EB07C0A6EB0F80A31400A25B131EA2133E133C137C1378A25BA2485A485AA2485A48C7 +FC120E5A5A5A5A5A13527CBD20>I<15301578B3A6007FB812F8B912FCA26C17F8C80078 +C8FCB3A6153036367BAF41>43 D<121C127FEAFF80A213C0A3127F121C1200A412011380 +A2120313005A1206120E5A5A5A12600A19798817>II<121C127F +EAFF80A5EA7F00121C0909798817>I48 DIII<1538A2157815F8A2140114031407A2140F141F141B1433147314 +6314C313011483EB030313071306130C131C131813301370136013C01201EA038013005A +120E120C5A123812305A12E0B712F8A3C73803F800AB4A7E0103B512F8A325397EB82A> +I<0006140CD80780133C9038F003F890B5FC5D5D158092C7FC14FC38067FE090C9FCABEB +07F8EB3FFE9038780F803907E007E090388003F0496C7E12066E7EC87EA28181A21680A4 +123E127F487EA490C71300485C12E000605C12700030495A00385C6C1303001E495A6C6C +485A3907E03F800001B5C7FC38007FFCEB1FE0213A7CB72A>II<12301238123E003FB612E0A316C05A168016000070C712060060140E5D1518 +00E01438485C5D5DC712014A5A92C7FC5C140E140C141C5CA25CA214F0495AA21303A25C +1307A2130FA3495AA3133FA5137FA96DC8FC131E233B7BB82A>III<121C127FEAFF80A5EA7F00121CC7FCB2121C127FEAFF +80A5EA7F00121C092479A317>I<121C127FEAFF80A5EA7F00121CC7FCB2121C127F5A13 +80A4127F121D1201A412031300A25A1206A2120E5A121812385A1260093479A317>I<00 +7FB812F8B912FCA26C17F8CCFCAE007FB812F8B912FCA26C17F836167B9F41>61 +D<1538A3157CA315FEA34A7EA34A6C7EA202077FEC063FA2020E7FEC0C1FA2021C7FEC18 +0FA202387FEC3007A202707FEC6003A202C07F1501A2D901807F81A249C77F167FA20106 +810107B6FCA24981010CC7121FA2496E7EA3496E7EA3496E7EA213E0707E1201486C81D8 +0FFC02071380B56C90B512FEA3373C7DBB3E>65 DI69 DI< +DBFF8013C0020FEBF001023F13FC9139FF803F03903A03FC000787D90FF0EB03CF4948EB +00EF4948147F4948143F49C8121F485A4848150F48481507A248481503A2485A1701123F +5B007F1600A448481600AB93B6FCA26C7E9338007FE0EF3FC0A2123F7F121FA26C7EA26C +7EA26C7E6C7E6C6C157F6D7E6D6C14FF6D6C14EFD90FF8EB03C7D903FEEB0783903A00FF +C03F0191393FFFFC00020F01F0130002001380383D7CBA41>III75 DIIII< +B712C016F816FE000190398001FF806C90C7EA3FC0EE0FE0EE07F0EE03F817FC17FE1601 +A217FFA717FEA2EE03FCA2EE07F817F0EE0FE0EE3FC0923801FF0091B512FC16F091C9FC +B3A5487FB6FCA330397DB839>II83 +D<003FB812E0A3D9C003EB001F273E0001FE130348EE01F00078160000701770A3006017 +30A400E01738481718A4C71600B3B0913807FF80011FB612E0A335397DB83C>IIII<007FB590383FFFFCA3C601F801071380D97FE0D903FCC7FC013FEC01F06D6C5C +5F6D6C5C6D6C13034CC8FC6D6C1306160E6D6C5B6DEB8018163891387FC0306E6C5A16E0 +6E6C5A91380FF18015FB6EB4C9FC5D14036E7EA26E7F6F7EA24B7E15DF9138019FF09138 +038FF8150F91380607FC91380E03FE140C4A6C7EEC38000230804A6D7E14E04A6D7E4948 +6D7E130391C76C7E01066E7E130E010C6E7E011C1401013C8101FE822607FF80010713E0 +B500E0013FEBFF80A339397EB83E>I +I<3901800180000313033907000700000E130E485B001813180038133800301330007013 +7000601360A200E013E0485BA400CE13CE39FF80FF806D13C0A3007F137FA2393F803F80 +390E000E001A1974B92A>92 D97 DIIII<147E9038 +03FF8090380FC1E0EB1F8790383F0FF0137EA213FCA23901F803C091C7FCADB512FCA3D8 +01F8C7FCB3AB487E387FFFF8A31C3B7FBA19>IIIIII< +EA03F012FFA3120F1203B3B3AD487EB512C0A3123A7EB917>I<2703F00FF0EB1FE000FF +D93FFCEB7FF8913AF03F01E07E903BF1C01F83803F3D0FF3800FC7001F802603F70013CE +01FE14DC49D907F8EB0FC0A2495CA3495CB3A3486C496CEB1FE0B500C1B50083B5FCA340 +257EA445>I<3903F00FF000FFEB3FFCECF03F9039F1C01F803A0FF3800FC03803F70013 +FE496D7EA25BA35BB3A3486C497EB500C1B51280A329257EA42E>II< +3903F01FE000FFEB7FF89038F1E07E9039F3801F803A0FF7000FC0D803FEEB07E049EB03 +F04914F849130116FC150016FEA3167FAA16FEA3ED01FCA26DEB03F816F06D13076DEB0F +E001F614C09039F7803F009038F1E07E9038F0FFF8EC1FC091C8FCAB487EB512C0A32835 +7EA42E>II<3807E01F00FFEB7FC09038E1E3E09038E387F0380FE707EA03E613EE90 +38EC03E09038FC0080491300A45BB3A2487EB512F0A31C257EA421>II<1318A51338A31378A313F8 +120112031207001FB5FCB6FCA2D801F8C7FCB215C0A93800FC011580EB7C03017E13006D +5AEB0FFEEB01F81A347FB220>IIII +II<003FB512FCA2EB8003D83E0013F8003CEB07F0 +0038EB0FE012300070EB1FC0EC3F800060137F150014FE495AA2C6485A495AA2495A495A +495AA290387F000613FEA2485A485A0007140E5B4848130C4848131CA24848133C48C712 +7C48EB03FC90B5FCA21F247EA325>I124 +D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fo cmbx12 14.4 38 +/Fo 38 122 df12 D46 D<157815FC14031407141F14FF130F0007B5FCB6FCA2147F13F0EA +F800C7FCB3B3B3A6007FB712FEA52F4E76CD43>49 D +I<91380FFFC091B512FC0107ECFF80011F15E090263FF8077F9026FF800113FC4848C76C +7ED803F86E7E491680D807FC8048B416C080486D15E0A4805CA36C17C06C5B6C90C75AD8 +01FC1680C9FC4C13005FA24C5A4B5B4B5B4B13C04B5BDBFFFEC7FC91B512F816E016FCEE +FF80DA000713E0030113F89238007FFE707E7013807013C018E07013F0A218F8A27013FC +A218FEA2EA03E0EA0FF8487E487E487EB57EA318FCA25E18F891C7FC6C17F0495C6C4816 +E001F04A13C06C484A1380D80FF84A13006CB44A5A6CD9F0075BC690B612F06D5D011F15 +80010302FCC7FCD9001F1380374F7ACD43>I<177C17FEA2160116031607160FA2161F16 +3F167FA216FF5D5DA25D5DED1FBFED3F3F153E157C15FCEC01F815F0EC03E01407EC0FC0 +1580EC1F005C147E147C5C1301495A495A5C495A131F49C7FC133E5B13FC485A5B485A12 +07485A485A90C8FC123E127E5ABA12C0A5C96C48C7FCAF020FB712C0A53A4F7CCE43>I< +D80380150ED807E0157E01FEEC03FED9FFF0137F91B65A5F5F5F5F5F94C7FC5E5E16F016 +C093C8FC15F801E190C9FC01E0CAFCABEC0FFF027F13F001E3B512FE01E76E7E9026FFF8 +077FDAC0017F49C713F8496E7E49143F4981496E7E6C481680C9FC18C08218E0A418F0A3 +EA0FE0487E487E487E487EA418E0A35B6C484A13C05B491680003EC85A003F17006C6C4A +5A6D5D6C6C4A5AD807F8495BD803FE01075B2701FFC03F5B6C90B65A013F4AC7FC6D14F8 +010314C09026007FF8C8FC344F79CD43>II<121F7F7FEBFF8091B81280A45A1900606060A260 +6060485F0180C86CC7FC007EC95A4C5A007C4B5A5F4C5A160F4C5A484B5A4C5A94C8FC16 +FEC812014B5A5E4B5A150F4B5AA24B5AA24B5A15FFA24A90C9FCA25C5D1407A2140FA25D +141FA2143FA4147F5DA314FFA55BAC6D5BA2EC3FC06E5A395279D043>I<913807FFC002 +7F13FC0103B67E010F15E090261FFC0113F8903A3FE0003FFCD97F80EB0FFE49C76C7E48 +488048486E1380000717C04980120F18E0177FA2121F7FA27F7F6E14FF02E015C014F802 +FE4913806C7FDBC00313009238F007FE6C02F85B9238FE1FF86C9138FFBFF06CEDFFE017 +806C4BC7FC6D806D81010F15E06D81010115FC010781011F81491680EBFFE748018115C0 +48D9007F14E04848011F14F048487F48481303030014F8484880161F4848020713FC1601 +824848157F173FA2171FA2170FA218F8A27F007F17F06D151FA26C6CED3FE0001F17C06D +157F6C6CEDFF806C6C6C010313006C01E0EB0FFE6C01FCEBFFFC6C6CB612F06D5D010F15 +80010102FCC7FCD9000F13C0364F7ACD43>I<171F4D7E4D7EA24D7EA34C7FA24C7FA34C +7FA34C7FA24C7FA34C8083047F80167E8304FE804C7E03018116F8830303814C7E030781 +16E083030F814C7E031F81168083033F8293C77E4B82157E8403FE824B800201835D8402 +03834B800207835D844AB87EA24A83A3DA3F80C88092C97E4A84A2027E8202FE844A8201 +0185A24A820103854A82010785A24A82010F855C011F717FEBFFFCB600F8020FB712E0A5 +5B547BD366>65 D70 +D73 +D77 D<93380FFFC00303B6FC +031F15E092B712FC0203D9FC0013FF020F01C0010F13C0023F90C7000313F0DA7FFC0200 +7F494848ED7FFE4901E0ED1FFF49496F7F49496F7F4990C96C7F49854948707F4948707F +A24849717E48864A83481B804A83481BC0A2481BE04A83A2481BF0A348497113F8A5B51A +FCAF6C1BF86E5FA46C1BF0A26E5F6C1BE0A36C6D4D13C0A26C6D4D1380A26C1B006C6D4D +5A6E5E6C626D6C4C5B6D6D4B5B6D6D4B5B6D6D4B5B6D6D4B5B6D6D4B90C7FC6D6D4B5A6D +01FF02035B023F01E0011F13F0020F01FC90B512C0020390B7C8FC020016FC031F15E003 +0392C9FCDB001F13E0565479D265>79 D<91260FFF80130791B500F85B010702FF5B011F +EDC03F49EDF07F9026FFFC006D5A4801E0EB0FFD4801800101B5FC4848C87E4848814915 +0F001F824981123F4981007F82A28412FF84A27FA26D82A27F7F6D93C7FC14C06C13F014 +FF15F86CECFF8016FC6CEDFFC017F06C16FC6C16FF6C17C06C836C836D826D82010F8213 +03010082021F16801400030F15C0ED007F040714E01600173F050F13F08383A200788200 +F882A3187FA27EA219E07EA26CEFFFC0A27F6D4B13806D17006D5D01FC4B5A01FF4B5A02 +C04A5A02F8EC7FF0903B1FFFC003FFE0486C90B65AD8FC0393C7FC48C66C14FC48010F14 +F048D9007F90C8FC3C5479D24B>83 D97 DI<913801FFF8021FEBFF8091B612F0010315FC010F90 +38C00FFE903A1FFE0001FFD97FFC491380D9FFF05B4817C048495B5C5A485BA2486F1380 +91C7FC486F1300705A4892C8FC5BA312FFAD127F7FA27EA2EF03E06C7F17076C6D15C07E +6E140F6CEE1F806C6DEC3F006C6D147ED97FFE5C6D6CEB03F8010F9038E01FF0010390B5 +5A01001580023F49C7FC020113E033387CB63C>I<4DB47E0407B5FCA5EE001F1707B3A4 +913801FFE0021F13FC91B6FC010315C7010F9038E03FE74990380007F7D97FFC0101B5FC +49487F4849143F484980485B83485B5A91C8FC5AA3485AA412FFAC127FA36C7EA37EA26C +7F5F6C6D5C7E6C6D5C6C6D49B5FC6D6C4914E0D93FFED90FEFEBFF80903A0FFFC07FCF6D +90B5128F0101ECFE0FD9003F13F8020301C049C7FC41547CD24B>I<913803FFC0023F13 +FC49B6FC010715C04901817F903A3FFC007FF849486D7E49486D7E4849130F48496D7E48 +178048497F18C0488191C7FC4817E0A248815B18F0A212FFA490B8FCA318E049CAFCA612 +7FA27F7EA218E06CEE01F06E14037E6C6DEC07E0A26C6DEC0FC06C6D141F6C6DEC3F806D +6CECFF00D91FFEEB03FE903A0FFFC03FF8010390B55A010015C0021F49C7FC020113F034 +387CB63D>IIII<137F497E000313E0487FA2487FA76C5BA26C5BC613806DC7FC90C8FCADEB +3FF0B5FCA512017EB3B3A6B612E0A51B547BD325>I107 DI< +D93FF0D91FFCEDFFE0B591B500C0010713FE030302F0011F6D7E030F6E017F8092271FE0 +7FFCD9FF037F922A3F001FFE01F8007F0003027C9126FF03E080C602F06DD90780137FDA +F1E0038FC77FDAF3C0159EDAF7806D01BC143F07FC8102FFC75C4A5EA24A5EA44A5EB3AC +B6D8F807B6D8C03FB512FEA567367BB570>II<913801FFE0021F13FE91B612 +C0010315F0010F9038807FFC903A1FFC000FFED97FF86D6C7E49486D7F48496D7F48496D +7F4A147F48834890C86C7EA24883A248486F7EA3007F1880A400FF18C0AC007F1880A300 +3F18006D5DA26C5FA26C5F6E147F6C5F6C6D4A5A6C6D495B6C6D495B6D6C495BD93FFE01 +1F90C7FC903A0FFF807FFC6D90B55A010015C0023F91C8FC020113E03A387CB643>I<90 +3A3FF001FFE0B5010F13FE033FEBFFC092B612F002F301017F913AF7F8007FFE0003D9FF +E0EB1FFFC602806D7F92C76C7F4A824A6E7F4A6E7FA2717FA285187F85A4721380AC1A00 +60A36118FFA2615F616E4A5BA26E4A5B6E4A5B6F495B6F4990C7FC03F0EBFFFC9126FBFE +075B02F8B612E06F1480031F01FCC8FC030313C092CBFCB1B612F8A5414D7BB54B>I<90 +397FE003FEB590380FFF80033F13E04B13F09238FE1FF89139E1F83FFC0003D9E3E013FE +C6ECC07FECE78014EF150014EE02FEEB3FFC5CEE1FF8EE0FF04A90C7FCA55CB3AAB612FC +A52F367CB537>114 D<903903FFF00F013FEBFE1F90B7FC120348EB003FD80FF81307D8 +1FE0130148487F4980127F90C87EA24881A27FA27F01F091C7FC13FCEBFFC06C13FF15F8 +6C14FF16C06C15F06C816C816C81C681013F1580010F15C01300020714E0EC003F030713 +F015010078EC007F00F8153F161F7E160FA27E17E07E6D141F17C07F6DEC3F8001F8EC7F +0001FEEB01FE9039FFC00FFC6DB55AD8FC1F14E0D8F807148048C601F8C7FC2C387CB635 +>I<143EA6147EA414FEA21301A313031307A2130F131F133F13FF5A000F90B6FCB8FCA4 +26003FFEC8FCB3A9EE07C0AB011FEC0F8080A26DEC1F0015806DEBC03E6DEBF0FC6DEBFF +F86D6C5B021F5B020313802A4D7ECB34>III<007FB500F090387FFFFEA5C66C48C7000F90 +C7FC6D6CEC07F86D6D5C6D6D495A6D4B5A6F495A6D6D91C8FC6D6D137E6D6D5B91387FFE +014C5A6E6C485A6EEB8FE06EEBCFC06EEBFF806E91C9FCA26E5B6E5B6F7E6F7EA26F7F83 +4B7F4B7F92B5FCDA01FD7F03F87F4A486C7E4A486C7E020F7FDA1FC0804A486C7F4A486C +7F02FE6D7F4A6D7F495A49486D7F01076F7E49486E7E49486E7FEBFFF0B500FE49B612C0 +A542357EB447>120 DI E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fp cmtt12 12 12 +/Fp 12 121 df<121FEA3F80EA7FC0EAFFE0A5EA7FC0EA3F80EA1F000B0B6C8A33>46 +D64 D97 +D100 +DI103 D<14E0EB03F8A2497EA36D5AA2EB00E091C8FCAA383FFFF8487FA47E +EA0001B3AD007FB612C0B712E016F0A216E06C15C0243E78BD33>105 +D<383FFFFC487FB5FCA27E7EC7FCB3B3AD003FB612F84815FCB712FEA26C15FC6C15F827 +3D7ABC33>108 D<02FC137E3B7FC3FF01FF80D8FFEF01877F90B500CF7F15DF92B57E6C +010F13872607FE07130301FC01FE7F9039F803FC01A201F013F8A401E013F0B3A53C7FFE +0FFF07FF80B548018F13C0A46C486C01071380322C80AB33>I<4AB4FC263FFC0713C026 +7FFE1F13F000FF017F7F91B5FC6CB67E6CEC07FEC6EBF801ECF0004A7F4A7F5CA291C7FC +A35BB3A43B3FFFF80FFFFC486D4813FEB56C4813FFA26C496C13FE6C496C13FC302C7FAB +33>I<3B7FFF8007FFF8B56C4813FC6E5AA24A7E6C496C13F8D80FC0C7EA0FC06D141F00 +071680A56D143F00031600A3EC0FC0EC1FE0A23A01F83FF07EA3EC7FF8147CA20000157C +9039FCFCFCFCA3ECF87CA2017C5C017D137EECF03EA2017F133FA26D486C5AA3ECC00F90 +390F8007C02E2B7EAA33>119 D<3B3FFFC07FFF80486DB512C0B500F114E0A26C01E014 +C06C496C13803B00FE000FE000017F495AEB3F804B5A6D6C48C7FC90380FE07E903807F0 +FEECF1FC903803FBF8EB01FF6D5B5D6E5A143F6E5A143F814A7E14FF903801FBF0ECF9F8 +903803F1FCEB07E0157E90380FC07F011F6D7E90383F801F02007F496D7E01FE6D7E4848 +13033B7FFFC03FFFE0B56C4813F0A46C496C13E02C2B7DAA33>I +E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fq cmr12 12 22 +/Fq 22 122 df<121EEA7F8012FF13C0A213E0A3127FEA1E601200A413E013C0A3120113 +80120313005A1206120E5A5A5A12600B1D78891B>44 D<121EEA7F80A2EAFFC0A4EA7F80 +A2EA1E000A0A78891B>46 D<14FF010713E090381F81F890383E007C01FC133F4848EB1F +8049130F4848EB07C04848EB03E0A2000F15F0491301001F15F8A2003F15FCA390C8FC48 +15FEA54815FFB3A46C15FEA56D1301003F15FCA3001F15F8A26C6CEB03F0A36C6CEB07E0 +000315C06D130F6C6CEB1F806C6CEB3F00013E137C90381F81F8903807FFE0010090C7FC +28447CC131>48 D50 +D<121CA2EA1F8090B712C0A3481680A217005E0038C8120C0030151C00705D0060153016 +705E5E4814014B5A4BC7FCC81206150E5D151815385D156015E04A5AA24A5A140792C8FC +5CA25C141E143EA2147E147CA214FCA21301A3495AA41307A6130FAA6D5AEB01C02A457B +C231>55 D<121EEA7F80A2EAFFC0A4EA7F80A2EA1E00C7FCB3A5121EEA7F80A2EAFFC0A4 +EA7F80A2EA1E000A2B78AA1B>58 D<16C04B7EA34B7EA34B7EA34B7EA3ED19FEA3ED30FF +A203707FED607FA203E07FEDC03FA2020180ED801FA2DA03007F160FA20206801607A24A +6D7EA34A6D7EA34A6D7EA20270810260147FA202E08191B7FCA249820280C7121FA249C8 +7F170FA20106821707A2496F7EA3496F7EA3496F7EA201788313F8486C83D80FFF03037F +B500E0027FEBFFC0A342477DC649>65 D<010FB512FEA3D9000313806E130080B3B3AB12 +3F487E487EA44A5A13801300006C495A00705C6C13076C5C6C495A6CEB1F802603E07FC7 +FC3800FFFCEB1FE027467BC332>74 D77 +D87 D97 D<167FED3FFFA315018182B3EC7F80903803FFF090380FC07C9038 +3F000E017E1307496D5AD803F87F48487F5B000F81485AA2485AA2127FA290C8FC5AAB7E +7FA2123FA26C7EA2000F5D7F6C6C5B00035C6C6C9038077F806C6C010E13C0013F011C13 +FE90380FC0F8903803FFE09026007F0013002F467DC436>100 DI104 DI108 D<3901FC01FE00FF903807FFC091381E07 +F091383801F8000701707F0003EBE0002601FDC07F5C01FF147F91C7FCA25BA35BB3A848 +6CECFF80B5D8F83F13FEA32F2C7DAB36>110 D<3903F803F000FFEB1FFCEC3C3EEC707F +0007EBE0FF3803F9C000015B13FBEC007E153C01FF13005BA45BB3A748B4FCB512FEA320 +2C7DAB26>114 D<90383FE0183901FFFC383907E01F78390F0003F8001E130148130000 +7C1478127800F81438A21518A27EA27E6C6C13006C7E13FC383FFFE06C13FC6C13FF6C14 +C06C14E0C614F0011F13F81300EC0FFC140300C0EB01FE1400157E7E153EA27EA36C143C +6C147C15786C14F86CEB01F039F38003E039F1F00F8039E07FFE0038C00FF01F2E7DAC26 +>I<1306A5130EA4131EA3133E137EA213FE12011207001FB512F0B6FCA2C648C7FCB3A4 +150CAA017E131C017F1318A26D133890381F8030ECC070903807E0E0903801FFC0903800 +7F001E3E7EBC26>II121 D E +%EndDVIPSBitmapFont +%DVIPSBitmapFont: Fr cmr17 17.28 23 +/Fr 23 122 df67 D69 D75 DII<003FBC12F8 +A49126C000039038C0000301FCC76C49EB007F01F0190F01C019074848F103FC90C81701 +007E1A00007C1B7CA300781B3CA400701B1CA600F01B1E481B0EA7C91800B3B3B3A54C7F +A2041F13F84AB87EA457627CE160>84 D86 +D<003FB66C0203B61280A4D8003F01FCC96CEBE000010F01F07090C7FC6D49EE1FFC6D49 +EE0FF06D6D5F6D616F5F027F95C8FC6E6C161E6F161C021F173C6E6C5E6F16706E17F06E +6D4A5A705D6E4C5A6E6D1407704AC9FC6F6C140E033F151E705C6F6C1438030F1578705C +6F6D5B6F140171485A6F01E05B6F14077148CAFC93387FF80E043F131E715A93381FFE38 +040F1378715A705B705BA2707F8284717E173F844D7EA2EFF7FFDC01E77F17C3DC03C17F +DC07817F17004C6D7E041E80041C133F043C6D7E4C800470130F4C6D7E0301824B487F4C +6D7F0307824BC8FC030E6F7E031E824B153F03386F7E0378824B150F4B6F7E0201844A48 +6F7F4B810207844ACA7F020E177F021E844A717E4A171F8702F8717E494883010386D90F +F885011F86D97FFC4D7F0007B5053F13FCB600C04BB612FCA45E627EE163>88 +D97 +D<4AB47E020F13F8023F13FE9139FF007F80D903FCEB07E0D907F0EB01F0D91FE0EB0078 +49488049488049C87E48485D4915FF00034B138048485CA2485AA2485AA2003F6F130049 +EC007C94C7FC127FA35B12FFAD127F7FA4123F7FA2001FEE01C07F000F16036D16801207 +6C6C15076D160000015E6C6C151E6D6C5C6D6C5C6D6C5CD90FF8495AD903FCEB07C0903A +00FF803F8091263FFFFEC7FC020F13F80201138032417CBF3A>99 +D<181EEF3FFEEE07FFA4EE000F1703A21701B3AAEDFF80020F13F8023F13FE9139FF803F +81903A03FC0007C14948EB01E1D91FE0EB00F94948147D4948143D49C8121F4848150F49 +1507120348481503491501120F121F5BA2123F5B127FA45B12FFAD127F7FA3123FA27F12 +1FA26C6C1503A26C6C150712036D150F6C6C151F0000163D137F6D6CECF9FF6D6CEB01F1 +D90FF0D903C113C06D6CD90F81EBFF80D901FFEB7F019039007FFFFC021F13E002010100 +91C7FC41657CE349>II103 +DI<133C13FF487F +487FA66C5B6C90C7FC133C90C8FCB3A2EB03C0EA07FF127FA41201EA007FA2133FB3B3AC +497E497EB612E0A41B5F7DDE23>I +110 D +112 D<9039078003F8D807FFEB0FFFB5013F13C092387C0FE0913881F01F9238E03FF000 +01EB838039007F8700148FEB3F8E029CEB1FE0EE0FC00298EB030002B890C7FCA214B014 +F0A25CA55CB3B0497EEBFFF8B612FCA42C3F7CBE33>114 D<9139FFE00180010FEBFC03 +017FEBFF073A01FF001FCFD803F8EB03EFD807E0EB01FF48487F4848147F48C8123F003E +151F007E150F127CA200FC1507A316037EA27E7F6C7E6D91C7FC13F8EA3FFE381FFFF06C +EBFF806C14F86C14FF6C15C06C6C14F0011F80010714FED9007F7F02031480DA003F13C0 +1503030013E0167F00E0ED1FF0160F17F86C15071603A36C1501A37EA26C16F016037E17 +E06D14076DEC0FC06D1580D8FDF0141FD8F8F8EC7F00013E14FC3AF01FC00FF80107B512 +E0D8E001148027C0003FF8C7FC2D417DBF34>I<1438A71478A414F8A31301A31303A213 +07130F131FA2137F13FF1203000F90B6FCB8FCA3260007F8C8FCB3AE17E0AE6D6CEB01C0 +A316036D6C148016076D6C14006E6C5A91383FC01E91381FF07C6EB45A020313E0913800 +7F802B597FD733>II< +B6D8801FB500E090B512F8A4000301F0C7D87FFCC7001F1380C601C0DA3FF0913807FE00 +051F6F5A017F030F6F5A64133F05075E6E81011F030F5EA26E6F1403010F031F5E171D6E +6F14070107033D93C7FC17386E6F5C01030378150EEF707F6E70131E010103F0151CEFE0 +3F6E70133C6D02011638EFC01F03806F1378027F01031670EF800F03C06F13F0023F0107 +5EEF000703E0EDF801021F495E040E130303F0EDFC03020F011E5E041C130103F8EDFE07 +0207013C93C8FC0438130003FC6F5A02030178150E0470147F03FE169E020101F0159C4C +143F03FF16FC6E5F4C141FA2037F5E4C140FA2033F5E93C81207A26F5E031E1503030E5E +5D3F7FBD60>119 D121 D E +%EndDVIPSBitmapFont +end +%%EndProlog +%%BeginSetup +%%Feature: *Resolution 600dpi +TeXDict begin +%%BeginPaperSize: a4 +a4 +%%EndPaperSize + +%%EndSetup +%%Page: 1 1 +1 0 bop 574 872 a Fr(T)l(yp)t(esetting)44 b(Karnaugh)f(Maps)g(and)h(V) +-11 b(eitc)l(h)45 b(Charts)1630 1054 y(with)f(L)1965 +1024 y Fq(A)2018 1054 y Fr(T)2092 1085 y(E)2165 1054 +y(X)1498 1295 y Fq(Andreas)34 b(W.)f(Wieland)1384 1411 +y(eMail:)42 b Fp(awwieland@gmx.de)1561 1607 y Fq(Jan)m(uary)34 +b(7th,)e(2002)515 1964 y Fo(1)134 b(Abstract)515 2146 +y Fn(Karnaugh)31 b(maps)i(and)g(V)-7 b(eitc)n(h)33 b(c)n(harts)1780 +2116 y Fm(1)1850 2146 y Fn(are)f(used)h(to)g(simplify)h(logic)e +(equations.)53 b(The)515 2246 y(dra)n(wing)25 b(of)i(them)h(used)f(to)g +(b)r(e)g(a)g(b)r(oring,)f(anno)n(ying)g(and)h(error-prone)d(task.)36 +b(With)28 b(the)515 2345 y(included)e(macros)f(this)h(is)g(no)g(longer) +f(a)g(problem.)36 b(They)26 b(can)g(t)n(yp)r(eset)g(Karnaugh)e(maps)515 +2445 y(and)h(V)-7 b(eitc)n(h)26 b(c)n(harts)e(with)i(up)g(to)f(ten)h(v) +-5 b(ariables,)25 b(whic)n(h)g(is)g(more)g(than)h(y)n(ou)e(migh)n(t)i +(lik)n(ely)515 2545 y(need.)54 b(Y)-7 b(ou)33 b(only)g(ha)n(v)n(e)f(to) +h(pro)n(vide)g(a)f(list)i(of)f(v)-5 b(ariable)32 b(iden)n(ti\014ers)h +(plus)h(the)f(function)515 2644 y(table)20 b(of)g(y)n(our)e(logic)i +(function\(s\).)35 b(The)20 b(macros)e(also)h(allo)n(w)g(to)h(mark)f +(the)h(simpli\014cations)515 2744 y(of)27 b(y)n(our)g(logic)f(function) +j(directly)e(within)h(a)f(Karnaugh)f(map)h(or)g(V)-7 +b(eitc)n(h)28 b(c)n(hart.)515 3018 y Fo(2)134 b(In)l(tro)t(duction)515 +3200 y Fn(Karnaugh)30 b(maps)j(and)f(V)-7 b(eitc)n(h)33 +b(c)n(harts)f(are)g(used)g(to)h(simplify)g(logic)f(equations.)51 +b(They)515 3300 y(are)39 b(map)h(represen)n(tations)f(of)h(logic)f +(functions,)44 b(and)c(in)h(that)f(they)h(are)e(equiv)-5 +b(alen)n(t.)515 3400 y(The)27 b(di\013erence)g(b)r(et)n(w)n(een)h(the)f +(t)n(w)n(o)g(kinds)g(of)g(diagrams)f(is)h(the)h(w)n(a)n(y)e(in)h(whic)n +(h)g(the)h(v)-5 b(ari-)515 3499 y(ables)34 b(of)h(the)g(functions)g +(are)f(lo)r(cated)h(within)h(the)f(diagrams:)50 b(\\The)34 +b(Karnaugh)f(map)515 3599 y(.)14 b(.)g(.)50 b(displa)n(ys)25 +b(a)g(function's)h(discriminan)n(ts)g(according)e(to)i(the)g +(re\015ected)g(binary)f(\(Gra)n(y\))515 3698 y(co)r(de.)36 +b(The)25 b(V)-7 b(eitc)n(h)26 b(c)n(hart)f(.)14 b(.)g(.)50 +b(displa)n(ys)25 b(the)h(discriminan)n(ts)e(in)i(natural)f(binary)g +(order.")515 3798 y(\(F.)j(M.)g(Bro)n(wn\))639 3898 y(Ho)n(w)n(ev)n +(er,)f(the)i(dra)n(wing)f(of)g(either)h(kind)g(of)f(them)i(used)e(to)h +(b)r(e)g(a)f(b)r(oring,)h(anno)n(ying)515 3997 y(and)19 +b(error-prone)d(task.)34 b(Since)19 b(I)h(had)f(to)g(t)n(yp)r(eset)h(a) +f(50+)f(page)g(collection)h(of)h(exercises)e(for)515 +4097 y(a)27 b(basic)f(computer-science)g(lecture)h(with)h(plen)n(t)n(y) +f(of)g(Karnaugh)e(maps)i(in)h(it,)g(I)f(decided)515 4197 +y(to)f(write)h(some)f(macros)f(that)i(w)n(ould)g(do)f(this)h(task)g +(for)f(me.)37 b(Let)27 b(us)f(start)h(\014rst)f(with)h(an)515 +4296 y(in)n(tro)r(duction)g(on)g(ho)n(w)g(to)h(use)f(these)h(Macros:) +639 4396 y(The)f(\014rst)g(thing)g(y)n(ou)g(ha)n(v)n(e)f(to)h(do)f(is)h +(to)g(put)h(the)f(macro)f(\014le)h Fl(kvmacros.tex)c +Fn(in)n(to)j(a)515 4495 y(directory)i(where)g(T)1157 +4513 y(E)1204 4495 y(X)h(will)h(\014nd)f(it,)i(i.e.)42 +b(y)n(ou)28 b(ha)n(v)n(e)g(to)h(put)h(it)g(in)n(to)f(a)g(directory)f +(where)515 4595 y(y)n(our)33 b Fl(TEXINPUTS)e Fn(en)n(vironmen)n(t)j(v) +-5 b(ariable)33 b(p)r(oin)n(ts)i(to.)57 b(Y)-7 b(ou)35 +b(can)f(then)h(load)f(them)h(b)n(y)515 4695 y(t)n(yping)27 +b Fl(\\input)41 b(kvmacros)24 b Fn(somewhere)j(in)h(the)g(pream)n(ble)e +(of)i(y)n(our)e(do)r(cumen)n(t.)p 515 4766 1146 4 v 607 +4820 a Fk(1)642 4843 y Fj(In)g(previous)g(releases)g(of)f(this)h(do)r +(cumen)n(t)h(I)f(referred)f(to)h(Karnaugh)h(maps)d(as)i(Karnaugh-V)-6 +b(eitc)n(h-)515 4922 y(Maps.)32 b(This)23 b(w)n(as)h(de\014nitely)i +(not)e(correct.)33 b(Thanks)25 b(to)g(F.)e(M.)g(Bro)n(wn)h(for)g(p)r +(oin)n(ting)g(this)g(error)f(out)i(to)515 5001 y(me.)1926 +5255 y Fn(1)p eop +%%Page: 2 2 +2 1 bop 639 523 a Fn(Supp)r(ose)28 b(no)n(w)f(y)n(ou)g(ha)n(v)n(e)f(a)h +(logic)g(function)h Fi(f)36 b Fn(with)29 b(the)f(follo)n(wing)e +(function)i(table:)926 700 y(Index)p 1178 730 4 100 v +100 w Fi(a)102 b(b)j(c)e(d)p 1746 730 V 100 w(f)p 877 +733 1021 4 v 1088 803 a Fn(0)p 1178 833 4 100 v 100 w(0)e(0)e(0)h(0)p +1746 833 V 104 w(1)1088 903 y(1)p 1178 933 V 100 w(0)h(0)e(0)h(1)p +1746 933 V 104 w(1)1088 1002 y(2)p 1178 1032 V 100 w(0)h(0)e(1)h(0)p +1746 1032 V 104 w(1)1088 1102 y(3)p 1178 1132 V 100 w(0)h(0)e(1)h(1)p +1746 1132 V 104 w(0)1088 1202 y(4)p 1178 1232 V 100 w(0)h(1)e(0)h(0)p +1746 1232 V 104 w(0)1088 1301 y(5)p 1178 1331 V 100 w(0)h(1)e(0)h(1)p +1746 1331 V 104 w(1)1088 1401 y(6)p 1178 1431 V 100 w(0)h(1)e(1)h(0)p +1746 1431 V 104 w(1)1088 1501 y(7)p 1178 1530 V 100 w(0)h(1)e(1)h(1)p +1746 1530 V 104 w(0)2046 700 y(Index)p 2298 730 V 100 +w Fi(a)j(b)i(c)d(d)p 2866 730 V 100 w(f)p 1997 733 1021 +4 v 2208 803 a Fn(8)p 2298 833 4 100 v 100 w(1)f(0)e(0)h(0)p +2866 833 V 104 w(0)2208 903 y(9)p 2298 933 V 100 w(1)h(0)e(0)h(1)p +2866 933 V 104 w(1)2166 1002 y(10)p 2298 1032 V 100 w(1)h(0)e(1)h(0)p +2866 1032 V 104 w(1)2166 1102 y(11)p 2298 1132 V 100 +w(1)h(0)e(1)h(1)p 2866 1132 V 104 w(0)2166 1202 y(12)p +2298 1232 V 100 w(1)h(1)e(0)h(0)p 2866 1232 V 104 w(0)2166 +1301 y(13)p 2298 1331 V 100 w(1)h(1)e(0)h(1)p 2866 1331 +V 104 w(1)2166 1401 y(14)p 2298 1431 V 100 w(1)h(1)e(1)h(0)p +2866 1431 V 104 w(1)2166 1501 y(15)p 2298 1530 V 100 +w(1)h(1)e(1)h(1)p 2866 1530 V 104 w(0)639 1679 y(This)38 +b(logic)e(function)i(can)f(easily)g(b)r(e)h(put)g(in)n(to)f(a)g +(Karnaugh)e(map)j(b)n(y)f(using)g(the)515 1779 y Fl(\\karnaughmap)p +Fn(-macro)1293 1749 y Fm(2)1324 1779 y Fn(.)42 b(It)29 +b(has)f(\014v)n(e)h(parameters:)38 b(The)29 b(n)n(um)n(b)r(er)g(of)g(v) +-5 b(ariables)27 b(in)j(the)515 1879 y(map,)25 b(an)g(iden)n(ti\014er)g +(for)g(the)h(function,)g(a)f(list)g(of)g(v)-5 b(ariable)24 +b(iden)n(ti\014ers)h(for)g(the)g(v)-5 b(ariables,)515 +1978 y(and)38 b(the)g(list)g(of)g(v)-5 b(alues)38 b(of)g +Fi(f)47 b Fn(for)37 b(eac)n(h)g(line)i(in)f(the)g(function)h(table.)68 +b(The)38 b(v)-5 b(ariable)515 2078 y(iden)n(ti\014ers)23 +b(in)h(the)f(third)h(parameter)e(are)h(ordered)f(from)h(highest)g(to)h +(lo)n(w)n(est)e(signi\014cance)515 2178 y(\(the)31 b(same)f(w)n(a)n(y)g +(as)f(in)i(the)g(function)h(table,)f(with)g Fi(a)g Fn(ha)n(ving)e(a)i +(signi\014cance)e(of)i(2)3180 2147 y Fm(3)3245 2178 y +Fn(=)c(8)515 2277 y(and)32 b Fi(d)h Fn(ha)n(ving)f(a)g(signi\014cance)g +(of)g(2)1689 2247 y Fm(0)1758 2277 y Fn(=)f(1\).)52 b(The)32 +b(list)h(of)g(v)-5 b(alues)32 b(of)h Fi(f)41 b Fn(w)n(as)32 +b(read)f(from)515 2377 y(lo)n(w)n(est)26 b(to)i(highest)f(index.)37 +b(The)28 b(\014fth)g(parameter)e(remains)h(empt)n(y)h(in)g(this)f +(example,)h(it)515 2476 y(will)g(b)r(e)g(discussed)f(b)r(elo)n(w:)515 +2659 y Fl(\\karnaughmap{4}{)o(f\()o(a,)o(b,c)o(,d)o(\):})o({a)o(bc)o +(d}{)o(11)o(100)o(11)o(001)o(10)o(01)o(10})o({})639 2842 +y Fn(This)j(pro)r(duces)g(the)g(follo)n(wing)f(Karnaugh)f(map,)j(where) +e(the)i(indices)f(in)g(the)h(lo)n(w)n(er)515 2941 y(left)d(corner)e(of) +i(eac)n(h)f(b)r(o)n(x)g(corresp)r(ond)f(to)h(the)h(indices)g(in)f(the)h +(function)h(table:)3063 2911 y Fm(3)p 1758 4185 756 4 +v 1758 3995 V 1758 3806 V 1758 3617 V 1756 4183 4 756 +v 1945 4183 V 2134 4183 V 2323 4183 V 1758 3428 756 4 +v 2512 4183 4 756 v 1392 3259 a Fn(f\(a,b,c,d\):)1832 +3548 y(1)1767 3606 y Fh(0)2021 3548 y Fn(1)1956 3606 +y Fh(1)1832 3737 y Fn(1)1767 3795 y Fh(2)2021 3737 y +Fn(0)1956 3795 y Fh(3)2399 3548 y Fn(0)2334 3606 y Fh(4)2210 +3548 y Fn(1)2145 3606 y Fh(5)2399 3737 y Fn(1)2334 3795 +y Fh(6)2210 3737 y Fn(0)2145 3795 y Fh(7)1832 4115 y +Fn(0)1767 4174 y Fh(8)2021 4115 y Fn(1)1956 4174 y Fh(9)1832 +3926 y Fn(1)1767 3984 y Fh(10)2021 3926 y Fn(0)1956 3984 +y Fh(11)2399 4115 y Fn(0)2334 4174 y Fh(12)2210 4115 +y Fn(1)2145 4174 y Fh(13)2399 3926 y Fn(1)2334 3984 y +Fh(14)2210 3926 y Fn(0)2145 3984 y Fh(15)1425 4012 y +Fn(a)p 1474 4185 76 4 v 1474 3806 V 1511 4183 4 378 v +2302 3144 a(b)p 2134 3219 4 76 v 2512 3219 V 2136 3183 +378 4 v 1617 3823 a(c)p 1663 3996 76 4 v 1663 3617 V +1700 3994 4 378 v 2113 3333 a(d)p 1945 3408 4 76 v 2323 +3408 V 1947 3372 378 4 v 639 4365 a(The)f(macros)e(w)n(ork)g(similar)h +(for)g(V)-7 b(eitc)n(h)28 b(c)n(harts:)515 4548 y Fl(\\veitchchart{4}{) +o(f\()o(a,)o(b,c)o(,d)o(\):})o({a)o(bc)o(d}{)o(01)o(100)o(11)o(001)o +(10)o(01)o(10})o({})p 515 4613 1146 4 v 607 4666 a Fk(2)642 +4690 y Fj(Users)18 b(of)g(older)h(v)n(ersions)g(of)f(the)i(macro)e(pac) +n(k)l(age)j(will)c(notice)j(that)g(the)g(name)e(has)h(c)n(hanged.)32 +b(Belo)n(w)515 4769 y(y)n(ou)24 b(will)e(\014nd)i(a)g(discussion)g(of)f +(the)i(c)n(hanges)g(b)r(et)n(w)n(een)g(v)n(ersions.)607 +4824 y Fk(3)642 4848 y Fj(The)k(indices)g(can)h(easily)f(b)r(e)h +(calculated)g(from)e(the)i(v)l(ariable)f(v)l(alues)g(in)g(the)h +(function)g(table,)h(i.e.)515 4927 y(line)23 b(11:)32 +b(the)24 b(index)g(equals)g Fg(a)16 b Ff(\001)g Fj(2)1419 +4903 y Fk(3)1469 4927 y Fj(+)g Fg(b)g Ff(\001)f Fj(2)1656 +4903 y Fk(2)1707 4927 y Fj(+)g Fg(c)g Ff(\001)h Fj(2)1894 +4903 y Fk(1)1944 4927 y Fj(+)g Fg(d)g Ff(\001)f Fj(2)2137 +4903 y Fk(0)2192 4927 y Fj(=)k(1)d Ff(\001)f Fj(8)h(+)g(0)g +Ff(\001)f Fj(4)h(+)g(1)g Ff(\001)f Fj(2)h(+)f(1)h Ff(\001)g +Fj(1)k(=)f(11.)1926 5255 y Fn(2)p eop +%%Page: 3 3 +3 2 bop 1758 1576 756 4 v 1758 1387 V 1758 1198 V 1758 +1009 V 1756 1574 4 756 v 1945 1574 V 2134 1574 V 2323 +1574 V 1758 820 756 4 v 2512 1574 4 756 v 1392 650 a +Fn(f\(a,b,c,d\):)1832 939 y(0)1767 997 y Fh(0)2021 939 +y Fn(1)1956 997 y Fh(1)1832 1128 y Fn(1)1767 1186 y Fh(2)2021 +1128 y Fn(0)1956 1186 y Fh(3)2210 939 y Fn(0)2145 997 +y Fh(4)2399 939 y Fn(1)2334 997 y Fh(5)2210 1128 y Fn(1)2145 +1186 y Fh(6)2399 1128 y Fn(0)2334 1186 y Fh(7)1832 1317 +y Fn(0)1767 1375 y Fh(8)2021 1317 y Fn(1)1956 1375 y +Fh(9)1832 1506 y Fn(1)1767 1565 y Fh(10)2021 1506 y Fn(0)1956 +1565 y Fh(11)2210 1317 y Fn(0)2145 1375 y Fh(12)2399 +1317 y Fn(1)2334 1375 y Fh(13)2210 1506 y Fn(1)2145 1565 +y Fh(14)2399 1506 y Fn(0)2334 1565 y Fh(15)1425 1403 +y Fn(a)p 1474 1576 76 4 v 1474 1198 V 1511 1574 4 378 +v 2302 535 a(b)p 2134 610 4 76 v 2512 610 V 2136 574 +378 4 v 1617 1119 a(c)p 1663 1198 76 4 v 1663 1009 V +1700 1196 4 189 v 1617 1497 a(c)p 1663 1576 76 4 v 1663 +1387 V 1700 1574 4 189 v 2018 724 a(d)p 1945 799 4 76 +v 2134 799 V 1947 763 189 4 v 332 w(d)p 2323 799 4 76 +v 2512 799 V 2325 763 189 4 v 639 1757 a(Notice)24 b(the)h +(di\013erence)f(in)g(the)g(v)-5 b(ariable)23 b(lo)r(cation)h(in)g(the)h +(diagrams.)33 b(In)25 b(m)n(y)e(opinion)515 1856 y(Karnaugh)i(maps)i +(are)g(m)n(uc)n(h)g(easier)f(to)h(use)h(if)g(y)n(ou)e(need)i(to)f +(simplify)h(a)f(logic)f(function;)515 1956 y(therefore)g(V)-7 +b(eitc)n(h)28 b(c)n(harts)e(will)h(not)g(b)r(e)h(discussed)f(an)n(y)f +(further)h(in)h(this)f(do)r(cumen)n(t.)37 b(Ex-)515 2055 +y(cept)g(otherwise)g(noticed,)i(the)f(macros')e(syn)n(tax)g(and)h +(functionalit)n(y)h(are)e(exactly)h(the)515 2155 y(same)27 +b(for)g(Karnaugh)e(maps)j(and)f(V)-7 b(eitc)n(h)28 b(c)n(harts.)639 +2255 y(The)k(macros)d(that)j(read)f(the)g(v)-5 b(ariable)31 +b(list)g(and)g(the)h(list)g(of)f(logic)f(v)-5 b(alues)31 +b(\(i.e.)49 b(pa-)515 2354 y(rameters)23 b(#3)h(and)g(#4\))g(w)n(ork)f +(recursiv)n(ely)-7 b(.)34 b(Therefore,)23 b(y)n(ou)h(ha)n(v)n(e)f(to)h +(tak)n(e)f(sp)r(ecial)h(care)515 2454 y(to)j(supply)g(the)g(correct)e +(n)n(um)n(b)r(er)i(of)g(tok)n(ens)f(to)h(prin)n(t:)36 +b(If)27 b(y)n(ou)g(supply)g(a)f(list)h(of)g(v)-5 b(ariable)515 +2554 y(iden)n(ti\014ers)26 b(or)g(a)h(list)g(of)f(logic)g(v)-5 +b(alues)27 b(that)g(con)n(tains)f(few)n(er)g(elemen)n(ts)h(than)g +(needed)g(the)515 2653 y(macros)f(will)i(cause)e(error)g(messages)g +(similar)h(to)g(the)h(follo)n(wing:)515 2836 y Fl(!)43 +b(Argument)d(of)j(\\kvgetonechar)38 b(has)k(an)h(extra)f(}.)515 +2935 y()1212 3035 y(\\par)515 3135 y(l.201)h(}{})515 +3334 y(?)639 3517 y Fn(On)25 b(the)f(con)n(trary)-7 b(,)24 +b(if)h(an)n(y)e(of)i(the)g(t)n(w)n(o)e(lists)i(is)f(longer)f(than)i +(needed,)g Fe(you)i(wil)t(l)h(not)f(b)l(e)515 3616 y(noti\014e)l(d!)47 +b Fn(Moreo)n(v)n(er,)24 b(eac)n(h)h(en)n(try)g(has)h(to)f(b)r(e)i(one)e +(c)n(haracter)f(long,)i(otherwise)f(|)h(lik)n(e)f(a)515 +3716 y(v)-5 b(ariable)26 b(iden)n(ti\014er)i(enclosed)f(in)h($s)e(|)i +(y)n(ou)f(ha)n(v)n(e)f(to)i(put)g(it)g(in)n(to)f(braces:)515 +3898 y Fl(\\karnaughmap{4}{)o($f)o(\(a)o(,b,)o(c,)o(d\):)o($})o({{)o +($a$)o(}{)o($b$)o(}{)o($c$)o(}{)o($d)o($}})o({0)o(110)o(01)o(10)o(011)o +(00)o(110)o(}{)o(})639 4081 y Fn(This)h(pro)r(duces)f(the)h(follo)n +(wing)e(Karnaugh)g(map:)1926 5255 y(3)p eop +%%Page: 4 4 +4 3 bop 1758 1576 756 4 v 1758 1387 V 1758 1198 V 1758 +1009 V 1756 1574 4 756 v 1945 1574 V 2134 1574 V 2323 +1574 V 1758 820 756 4 v 2512 1574 4 756 v 1354 650 a +Fi(f)9 b Fn(\()p Fi(a;)14 b(b;)g(c;)g(d)p Fn(\))23 b(:)1832 +939 y(0)1767 997 y Fh(0)2021 939 y Fn(1)1956 997 y Fh(1)1832 +1128 y Fn(1)1767 1186 y Fh(2)2021 1128 y Fn(0)1956 1186 +y Fh(3)2399 939 y Fn(0)2334 997 y Fh(4)2210 939 y Fn(1)2145 +997 y Fh(5)2399 1128 y Fn(1)2334 1186 y Fh(6)2210 1128 +y Fn(0)2145 1186 y Fh(7)1832 1506 y Fn(0)1767 1565 y +Fh(8)2021 1506 y Fn(1)1956 1565 y Fh(9)1832 1317 y Fn(1)1767 +1375 y Fh(10)2021 1317 y Fn(0)1956 1375 y Fh(11)2399 +1506 y Fn(0)2334 1565 y Fh(12)2210 1506 y Fn(1)2145 1565 +y Fh(13)2399 1317 y Fn(1)2334 1375 y Fh(14)2210 1317 +y Fn(0)2145 1375 y Fh(15)1424 1403 y Fi(a)p 1474 1576 +76 4 v 1474 1198 V 1511 1574 4 378 v 2307 535 a(b)p 2134 +610 4 76 v 2512 610 V 2136 574 378 4 v 1617 1214 a(c)p +1663 1387 76 4 v 1663 1009 V 1700 1385 4 378 v 2114 724 +a(d)p 1945 799 4 76 v 2323 799 V 1947 763 378 4 v 515 +1848 a Fo(3)134 b(Marking)46 b(simpli\014cations)515 +2030 y Fn(The)29 b(already)e(men)n(tioned)i(\014fth)h(parameter)d(can)i +(b)r(e)g(used)g(if)g(y)n(ou)f(w)n(an)n(t)g(to)h(dra)n(w)f(some-)515 +2130 y(thing)f(inside)g(the)g(Karnaugh)e(map.)37 b(F)-7 +b(or)26 b(example)h(this)g(is)g(useful)g(if)h(y)n(ou)e(w)n(an)n(t)g(to) +h(sho)n(w)515 2230 y(ho)n(w)g(y)n(ou)g(simpli\014ed)h(a)f(logic)f +(function:)515 2412 y Fl(\\karnaughmap{4}{)o($f)o(\(a)o(,b,)o(c,)o +(d\):)o($})o({{)o($a$)o(}{)o($b$)o(}{)o($c$)o(}{)o($d)o($}})o(\045)515 +2512 y({011001100110011)o(0})o(\045)515 2611 y({\045)515 +2711 y(\\put\(0,2\){\\oval\()o(1.)o(9,)o(1.9)o(\)[)o(r]})515 +2811 y(\\put\(4,2\){\\oval\()o(1.)o(9,)o(1.9)o(\)[)o(l]})515 +2910 y(\\put\(2,0\){\\oval\()o(1.)o(9,)o(1.9)o(\)[)o(t]})515 +3010 y(\\put\(2,4\){\\oval\()o(1.)o(9,)o(1.9)o(\)[)o(b]})515 +3110 y(})639 3292 y Fn(The)i(corresp)r(onding)e(Karnaugh)f(map)j(lo)r +(oks)e(lik)n(e)i(this:)p 1758 4536 756 4 v 1758 4346 +V 1758 4157 V 1758 3968 V 1756 4534 4 756 v 1945 4534 +V 2134 4534 V 2323 4534 V 1758 3779 756 4 v 2512 4534 +4 756 v 1936 3978 a Fd($)p 1936 4169 4 27 v 1936 4337 +a(\045)p 1758 4337 14 4 v 1758 3978 V 2333 3978 a(')p +2333 4169 4 27 v 2333 4337 a(&)p 2500 4337 14 4 v 2500 +3978 V 1955 4356 a(')p 1955 4534 4 14 v 27 w($)p 2314 +4534 V 2122 4356 27 4 v 1955 3791 4 14 v 1955 3959 a(&)p +2314 3791 V 27 w(\045)p 2122 3959 27 4 v 1354 3609 a +Fi(f)9 b Fn(\()p Fi(a;)14 b(b;)g(c;)g(d)p Fn(\))23 b(:)1832 +3899 y(0)1767 3957 y Fh(0)2021 3899 y Fn(1)1956 3957 +y Fh(1)1832 4088 y Fn(1)1767 4146 y Fh(2)2021 4088 y +Fn(0)1956 4146 y Fh(3)2399 3899 y Fn(0)2334 3957 y Fh(4)2210 +3899 y Fn(1)2145 3957 y Fh(5)2399 4088 y Fn(1)2334 4146 +y Fh(6)2210 4088 y Fn(0)2145 4146 y Fh(7)1832 4466 y +Fn(0)1767 4525 y Fh(8)2021 4466 y Fn(1)1956 4525 y Fh(9)1832 +4277 y Fn(1)1767 4335 y Fh(10)2021 4277 y Fn(0)1956 4335 +y Fh(11)2399 4466 y Fn(0)2334 4525 y Fh(12)2210 4466 +y Fn(1)2145 4525 y Fh(13)2399 4277 y Fn(1)2334 4335 y +Fh(14)2210 4277 y Fn(0)2145 4335 y Fh(15)1424 4362 y +Fi(a)p 1474 4536 76 4 v 1474 4157 V 1511 4534 4 378 v +2307 3495 a(b)p 2134 3570 4 76 v 2512 3570 V 2136 3534 +378 4 v 1617 4173 a(c)p 1663 4347 76 4 v 1663 3968 V +1700 4345 4 378 v 2114 3684 a(d)p 1945 3759 4 76 v 2323 +3759 V 1947 3723 378 4 v 639 4716 a Fn(Y)-7 b(ou)38 b(can)g(use)g(an)n +(y)f(of)h(L)1431 4699 y Fm(A)1468 4716 y Fn(T)1514 4734 +y(E)1560 4716 y(X's)g(graphics)e(macros)h(for)g(this)h(purp)r(ose.)68 +b(The)38 b(Kar-)515 4816 y(naugh)27 b(map)i(has)e(its)i(piv)n(ot)e(p)r +(oin)n(t)i(at)f(the)h(lo)n(w)n(er)d(left)j(p)r(oin)n(t)2443 +4786 y Fm(4)2509 4816 y Fn(and)f(a)g(unitlength)h(that)f(is)p +515 4885 1146 4 v 607 4939 a Fk(4)642 4962 y Fj(This)23 +b(is)g(not)h(exactly)h(true,)f(but)g(su\016cien)n(t)h(if)d(y)n(ou)j(do) +f(not)g(w)n(an)n(t)h(to)f(mo)r(dify)e(the)j(macros.)1926 +5255 y Fn(4)p eop +%%Page: 5 5 +5 4 bop 515 523 a Fn(equal)30 b(to)g(the)h(length)f(of)h(a)f(single)g +(b)r(o)n(x)g(within)h(the)g(Karnaugh)d(map.)45 b(Sometimes)31 +b(y)n(ou)515 623 y(ma)n(y)i(\014nd)g(that)h(the)g Fl(\\oval)p +Fn(s)d(that)j(y)n(ou)f(w)n(an)n(t)g(to)g(dra)n(w)f(inside)i(a)f +(Karnaugh)f(map)h(are)515 722 y(sligh)n(tly)c(shifted)i(to)f(the)h +(righ)n(t.)44 b(This)30 b(o)r(ccurs)f(if)i(y)n(ou)e(use)h(the)h +Fl(eepic)p Fn(-P)n(ac)n(k)-5 b(age)25 b(in)30 b(y)n(our)515 +822 y(do)r(cumen)n(t.)38 b(In)28 b(this)h(case,)e(mak)n(e)g(a)h(cop)n +(y)f(of)h(the)h Fl(eepic.sty)24 b Fn(\014le,)k(rename)g(it)g(to)g +(some-)515 922 y(thing)g(lik)n(e)g Fl(myeepic.sty)c Fn(and)k(commen)n +(t)g(out)h(the)f(de\014nition)h(of)f(the)h Fl(\\oval)p +Fn(-macro)c(in)515 1021 y(y)n(our)36 b(lo)r(cal)i(cop)n(y)-7 +b(.)67 b(If)38 b(y)n(ou)f(put)h(this)h(new)f Fl(myeepic.sty)33 +b Fn(\014le)38 b(somewhere)f(in)n(to)g(y)n(our)515 1121 +y(T)561 1139 y(E)607 1121 y(X's)d(searc)n(h)e(path)h(so)g(that)h(T)1556 +1139 y(E)1602 1121 y(X)g(can)f(\014nd)h(it)g(and)f(y)n(ou)f(load)h(it)h +(prop)r(erly)e(with)i(e.g.)515 1220 y Fl(\\usepackage{myee)o(pi)o(c})o +Fn(,)22 b(y)n(ou)27 b(shouldn't)h(exp)r(erience)f(an)n(y)g(more)g +(trouble.)515 1495 y Fo(4)134 b(Other)46 b(features)515 +1677 y Fn(There)25 b(are)f(some)h(more)g(features)g(that)g(y)n(ou)g +(can)g(use.)36 b(P)n(ossibly)24 b(the)i(most)f(imp)r(ortan)n(t)g(is)515 +1776 y(that)j(y)n(ou)f(can)h(c)n(hange)e(the)j(size)e(of)h(the)g +(diagrams)f(b)n(y)g(c)n(hanging)g(the)h(size)g(of)g(the)g(b)r(o)n(xes) +515 1876 y(within)g(the)g(map,)g(simply)f(b)n(y)h(t)n(yping:)515 +2059 y Fl(\\kvunitlength=15)o(mm)515 2158 y(\\karnaughmap{4}{)o($f)o +(:$)o(}{a)o(bc)o(d}{)o(01)o(10)o(011)o(00)o(110)o(01)o(10})o({})639 +2341 y Fn(This)64 b(results)g(in)g(the)h(follo)n(wing)e(Karnaugh)f +(map.)146 b(The)65 b(setting)f(of)g(the)515 2441 y Fl(\\kvunitlength)57 +b Fn(remains)62 b(activ)n(e)g(un)n(til)h(y)n(ou)f(c)n(hange)g(it)h +(again;)2833 2410 y Fm(5)2949 2441 y Fn(the)h(default)515 +2540 y Fl(\\kvunitlength)22 b Fn(is)28 b(8)13 b(mm:)p +1593 4778 1418 4 v 1593 4423 V 1593 4069 V 1593 3715 +V 1591 4776 4 1418 v 1945 4776 V 2300 4776 V 2654 4776 +V 1593 3360 1418 4 v 3008 4776 4 1418 v 1190 3025 a Fi(f)32 +b Fn(:)1749 3563 y(0)1610 3695 y Fh(0)2103 3563 y Fn(1)1965 +3695 y Fh(1)1749 3917 y Fn(1)1610 4050 y Fh(2)2103 3917 +y Fn(0)1965 4050 y Fh(3)2812 3563 y Fn(0)2673 3695 y +Fh(4)2458 3563 y Fn(1)2319 3695 y Fh(5)2812 3917 y Fn(1)2673 +4050 y Fh(6)2458 3917 y Fn(0)2319 4050 y Fh(7)1749 4626 +y Fn(0)1610 4758 y Fh(8)2103 4626 y Fn(1)1965 4758 y +Fh(9)1749 4271 y Fn(1)1610 4404 y Fh(10)2103 4271 y Fn(0)1965 +4404 y Fh(11)2812 4626 y Fn(0)2673 4758 y Fh(12)2458 +4626 y Fn(1)2319 4758 y Fh(13)2812 4271 y Fn(1)2673 4404 +y Fh(14)2458 4271 y Fn(0)2319 4404 y Fh(15)987 4440 y +Fn(a)p 1061 4778 142 4 v 1061 4069 V 1130 4776 4 709 +v 2632 2803 a(b)p 2300 2969 4 142 v 3008 2969 V 2301 +2900 709 4 v 1344 4085 a(c)p 1415 4424 142 4 v 1415 3715 +V 1485 4422 4 709 v 2278 3157 a(d)p 1945 3323 4 142 v +2654 3323 V 1947 3254 709 4 v 515 4829 1146 4 v 607 4883 +a Fk(5)642 4906 y Fj(Or,)22 b(of)g(course,)i(un)n(til)e(y)n(ou)i(lea)n +(v)n(e)g(the)g(group)f(in)g(whic)n(h)g(y)n(ou)g(rede\014ned)i(the)e(v)l +(alue.)32 b(This)22 b(applies)h(to)515 4985 y(all)g(c)n(hangeable)i +(parameters)f(and)g(macro)f(de\014nitions)h(in)f(this)h(section!)1926 +5255 y Fn(5)p eop +%%Page: 6 6 +6 5 bop 639 523 a Fn(Another)37 b(feature)g(is)g(that)g(y)n(ou)f(can)h +(switc)n(h)g(o\013)g(the)g(indices)g(inside)g(the)g(map)g(b)n(y)515 +623 y(t)n(yping:)515 805 y Fl(\\kvnoindex)515 905 y(\\karnaughmap{4}{)o +($f)o(:$)o(}{a)o(bc)o(d}{)o(01)o(10)o(011)o(00)o(110)o(01)o(10})o({})p +1758 2151 756 4 v 1758 1961 V 1758 1772 V 1758 1583 V +1756 2149 4 756 v 1945 2149 V 2134 2149 V 2323 2149 V +1758 1394 756 4 v 2512 2149 4 756 v 1521 1224 a Fi(f)32 +b Fn(:)1832 1514 y(0)147 b(1)1832 1703 y(1)g(0)2399 1514 +y(0)-231 b(1)2399 1703 y(1)g(0)1832 2081 y(0)147 b(1)1832 +1892 y(1)g(0)2399 2081 y(0)-231 b(1)2399 1892 y(1)g(0)1425 +1977 y(a)p 1474 2151 76 4 v 1474 1772 V 1511 2149 4 378 +v 2302 1110 a(b)p 2134 1185 4 76 v 2512 1185 V 2136 1149 +378 4 v 1617 1788 a(c)p 1663 1962 76 4 v 1663 1583 V +1700 1960 4 378 v 2113 1299 a(d)p 1945 1374 4 76 v 2323 +1374 V 1947 1338 378 4 v 639 2331 a(This)24 b(setting)f(also)f(remains) +h(activ)n(e)f(un)n(til)i(y)n(ou)e(switc)n(h)h(indexing)h(on)f(again)f +(using)h(the)515 2431 y Fl(\\kvindex)p Fn(-macro:)515 +2613 y Fl(\\kvindex)515 2713 y(\\karnaughmap{4}{)o($f)o(:$)o(}{a)o(bc)o +(d}{)o(01)o(10)o(011)o(00)o(110)o(01)o(10})o({})p 1758 +3959 756 4 v 1758 3769 V 1758 3580 V 1758 3391 V 1756 +3957 4 756 v 1945 3957 V 2134 3957 V 2323 3957 V 1758 +3203 756 4 v 2512 3957 4 756 v 1521 3033 a Fi(f)32 b +Fn(:)1832 3322 y(0)1767 3380 y Fh(0)2021 3322 y Fn(1)1956 +3380 y Fh(1)1832 3511 y Fn(1)1767 3569 y Fh(2)2021 3511 +y Fn(0)1956 3569 y Fh(3)2399 3322 y Fn(0)2334 3380 y +Fh(4)2210 3322 y Fn(1)2145 3380 y Fh(5)2399 3511 y Fn(1)2334 +3569 y Fh(6)2210 3511 y Fn(0)2145 3569 y Fh(7)1832 3889 +y Fn(0)1767 3948 y Fh(8)2021 3889 y Fn(1)1956 3948 y +Fh(9)1832 3700 y Fn(1)1767 3758 y Fh(10)2021 3700 y Fn(0)1956 +3758 y Fh(11)2399 3889 y Fn(0)2334 3948 y Fh(12)2210 +3889 y Fn(1)2145 3948 y Fh(13)2399 3700 y Fn(1)2334 3758 +y Fh(14)2210 3700 y Fn(0)2145 3758 y Fh(15)1425 3786 +y Fn(a)p 1474 3959 76 4 v 1474 3580 V 1511 3957 4 378 +v 2302 2918 a(b)p 2134 2993 4 76 v 2512 2993 V 2136 2957 +378 4 v 1617 3597 a(c)p 1663 3770 76 4 v 1663 3391 V +1700 3768 4 378 v 2113 3107 a(d)p 1945 3182 4 76 v 2323 +3182 V 1947 3146 378 4 v 639 4139 a(Usually)-7 b(,)68 +b(the)60 b(fon)n(t)g(size)g(of)g(the)g(map's)g(con)n(ten)n(ts)f(and)h +(indices)g(should)g(b)r(e)515 4239 y(suitable)54 b(\(the)g(defaults)h +(are)e Fl(\\tiny)f Fn(for)h Fl(\\kvindexsize)c Fn(and)54 +b Fl(\\normalsize)c Fn(for)515 4339 y Fl(\\kvcontentsize)p +Fn(\).)59 b(If)38 b(y)n(ou)e(w)n(an)n(t)g(to)h(c)n(hange)f(them,)k(y)n +(ou)c(can)h(do)g(this)g(b)n(y)g(rede\014n-)515 4438 y(ing)22 +b(the)i Fl(\\kvcontentsize)p Fn(-)17 b(and)23 b Fl(\\kvindexsize)p +Fn(-macr)o(os)17 b(\(Preferably)-7 b(,)22 b(y)n(ou)h(should)f(do)515 +4538 y(this)28 b(in)f(the)h(pream)n(ble)f(of)h(y)n(our)e(do)r(cumen)n +(t\):)515 4721 y Fl(\\renewcommand\\kv)o(in)o(de)o(xsi)o(ze)o({\\f)o +(oo)o(tn)o(ote)o(si)o(ze})515 4820 y(\\karnaughmap{4}{)o($f)o(:$)o(}{a) +o(bc)o(d}{)o(01)o(10)o(011)o(00)o(110)o(01)o(10})o({})1926 +5255 y Fn(6)p eop +%%Page: 7 7 +7 6 bop 1758 1576 756 4 v 1758 1387 V 1758 1198 V 1758 +1009 V 1756 1574 4 756 v 1945 1574 V 2134 1574 V 2323 +1574 V 1758 820 756 4 v 2512 1574 4 756 v 1521 650 a +Fi(f)32 b Fn(:)1832 939 y(0)1767 997 y Fj(0)2021 939 +y Fn(1)1956 997 y Fj(1)1832 1128 y Fn(1)1767 1186 y Fj(2)2021 +1128 y Fn(0)1956 1186 y Fj(3)2399 939 y Fn(0)2334 997 +y Fj(4)2210 939 y Fn(1)2145 997 y Fj(5)2399 1128 y Fn(1)2334 +1186 y Fj(6)2210 1128 y Fn(0)2145 1186 y Fj(7)1832 1506 +y Fn(0)1767 1565 y Fj(8)2021 1506 y Fn(1)1956 1565 y +Fj(9)1832 1317 y Fn(1)1767 1375 y Fj(10)2021 1317 y Fn(0)1956 +1375 y Fj(11)2399 1506 y Fn(0)2334 1565 y Fj(12)2210 +1506 y Fn(1)2145 1565 y Fj(13)2399 1317 y Fn(1)2334 1375 +y Fj(14)2210 1317 y Fn(0)2145 1375 y Fj(15)1425 1403 +y Fn(a)p 1474 1576 76 4 v 1474 1198 V 1511 1574 4 378 +v 2302 535 a(b)p 2134 610 4 76 v 2512 610 V 2136 574 +378 4 v 1617 1214 a(c)p 1663 1387 76 4 v 1663 1009 V +1700 1385 4 378 v 2113 724 a(d)p 1945 799 4 76 v 2323 +799 V 1947 763 378 4 v 639 1757 a(In)25 b(the)f(same)f(w)n(a)n(y)g(y)n +(ou)h(can)f(also)g(c)n(hange)g(the)i(fon)n(t)f(family)g(\(Although)g(I) +g(doubt)h(that)515 1856 y(this)j(is)f(sensible\):)515 +2039 y Fl(\\renewcommand\\kv)o(in)o(de)o(xsi)o(ze)o({\\f)o(oo)o(tn)o +(ote)o(si)o(ze\\)o(it)o(})515 2138 y(\\karnaughmap{4}{)o($f)o(:$)o(}{a) +o(bc)o(d}{)o(01)o(10)o(011)o(00)o(110)o(01)o(10})o({})p +1758 3384 756 4 v 1758 3195 V 1758 3006 V 1758 2817 V +1756 3382 4 756 v 1945 3382 V 2134 3382 V 2323 3382 V +1758 2628 756 4 v 2512 3382 4 756 v 1521 2458 a Fi(f)32 +b Fn(:)1832 2747 y(0)1767 2806 y Fc(0)2021 2747 y Fn(1)1956 +2806 y Fc(1)1832 2936 y Fn(1)1767 2995 y Fc(2)2021 2936 +y Fn(0)1956 2995 y Fc(3)2399 2747 y Fn(0)2334 2793 y +Fc(4)2210 2747 y Fn(1)2145 2806 y Fc(5)2399 2936 y Fn(1)2334 +2995 y Fc(6)2210 2936 y Fn(0)2145 2982 y Fc(7)1832 3314 +y Fn(0)1767 3373 y Fc(8)2021 3314 y Fn(1)1956 3373 y +Fc(9)1832 3125 y Fn(1)1767 3184 y Fc(10)2021 3125 y Fn(0)1956 +3184 y Fc(11)2399 3314 y Fn(0)2334 3373 y Fc(12)2210 +3314 y Fn(1)2145 3373 y Fc(13)2399 3125 y Fn(1)2334 3171 +y Fc(14)2210 3125 y Fn(0)2145 3184 y Fc(15)1425 3211 +y Fn(a)p 1474 3384 76 4 v 1474 3006 V 1511 3382 4 378 +v 2302 2343 a(b)p 2134 2418 4 76 v 2512 2418 V 2136 2382 +378 4 v 1617 3022 a(c)p 1663 3195 76 4 v 1663 2817 V +1700 3193 4 378 v 2113 2532 a(d)p 1945 2607 4 76 v 2323 +2607 V 1947 2571 378 4 v 639 3565 a(These)39 b(macros)f(are)g(named)h +Fl(\\kvfoo)p Fn(,)h(b)r(ecause)f(they)g(w)n(ork)f(b)r(oth)h(for)g +(Karnaugh)515 3664 y(maps)27 b(and)g(V)-7 b(eitc)n(h)28 +b(c)n(harts.)515 3939 y Fo(5)134 b(If)45 b(y)l(ou)h(use)f(an)f(older)i +(v)l(ersion)g(of)f(the)g(macros.)23 b(.)g(.)515 4121 +y Fn(.)14 b(.)g(.)57 b(y)n(ou)28 b(will)i(certainly)f(ha)n(v)n(e)g +(noticed)g(a)h(n)n(um)n(b)r(er)f(of)h(c)n(hanges.)41 +b(The)30 b(most)f(imp)r(ortan)n(t)515 4220 y(one)g(is)h(that)g(I)g(ha)n +(v)n(e)f(c)n(hanged)g(the)h(name)g(of)g(the)g(macro)f(that)h(dra)n(ws)e +(Karnaugh)g(maps)515 4320 y(from)k Fl(\\kvmap)f Fn(to)h +Fl(\\karnaughmap)p Fn(.)48 b(I)33 b(suggest)f(that)h(y)n(ou)f(use)h +(the)g(new)g(name)f(in)h(do)r(c-)515 4420 y(umen)n(ts)e(that)g(y)n(ou)g +(newly)g(create.)46 b(Ho)n(w)n(ev)n(er,)30 b(I)h(in)n(tro)r(duced)g(an) +g(alias)f(so)g(that)i(the)f(old)515 4519 y(macro)26 b(name)h(still)h(w) +n(orks:)515 4702 y Fl(\\def\\kvmap{\\karn)o(au)o(gh)o(map)o(})639 +4885 y Fn(Also,)d(in)h(some)e(older)g(v)n(ersions)f(tok)n(ens)i(in)g +(the)g(v)-5 b(ariable)24 b(list)h(or)f(function)i(table)f(that)515 +4984 y(w)n(ere)f(longer)f(than)i(one)g(c)n(haracter)e(had)i(to)g(b)r(e) +g(enclosed)f(in)h Fe(double)33 b Fn(braces)23 b(\(If)j(y)n(ou)e(ha)n(v) +n(e)1926 5255 y(7)p eop +%%Page: 8 8 +8 7 bop 515 523 a Fn(used)30 b(an)n(y)f(of)h(these)g(v)n(ersions)e(y)n +(ou)h(will)i(certainly)e(remem)n(b)r(er)g(this)h(anno)n(ying)f +(feature\).)515 623 y(This)e(is)h(no)f(longer)f(necessary)g(|)i(ho)n(w) +n(ev)n(er,)d(it)j(do)r(es)g(no)f(harm.)639 722 y(If)20 +b(y)n(ou)f(need)h(to)f(kno)n(w)g(more)f(ab)r(out)i(the)g(exact)e(c)n +(hanges,)i(please)f(consult)g(the)h(revision)515 822 +y(history)26 b(in)i Fl(kvmacros.tex)p Fn(.)515 1096 y +Fo(6)134 b(Final)46 b(remarks)515 1278 y Fn(This)28 b(is)h(all)g(y)n +(ou)f(need)g(to)h(kno)n(w)f(ab)r(out)h(the)g(usage)e(of)i(m)n(y)g +(macros.)38 b(I)29 b(ha)n(v)n(e)f(tried)h(them)515 1378 +y(out)37 b(and)g(I)g(ha)n(v)n(en't)f(y)n(et)h(found)h(an)n(y)e(serious) +g(bugs,)j(but)f(I'm)f(prett)n(y)g(sure)f(there)h(are)515 +1478 y(plen)n(t)n(y)-7 b(.)36 b(In)27 b(this)h(case,)e(or)g(if)h(y)n +(ou)f(ha)n(v)n(e)g(commen)n(ts)h(or)f(suggestions,)f(please)h(send)h +(me)g(an)515 1577 y(eMail.)35 b(An)n(yw)n(a)n(y)-7 b(,)25 +b(I)g(w)n(ould)g(v)n(ery)f(m)n(uc)n(h)g(appreciate)g(if)i(y)n(ou)e(w)n +(ould)h(notify)g(me)h(when)f(y)n(ou)515 1677 y(use)i(m)n(y)h(macros;)e +(I)h(w)n(ould)g(lik)n(e)h(to)f(kno)n(w)g(if)h(they)g(are)e(of)i(an)n(y) +f(use)g(to)h(someb)r(o)r(dy)-7 b(.)639 1776 y(The)26 +b(maxim)n(um)g(size)g(map)g(I)g(could)g(pro)r(duce)g(w)n(as)f(a)g +(Karnaugh)f(map)i(with)h(10)e(v)-5 b(ari-)515 1876 y(ables;)24 +b(with)h(bigger)d(maps)i(I)g(only)f(exceeded)g(T)2010 +1894 y(E)2057 1876 y(X's)h(main)f(memory)-7 b(.)35 b(This)24 +b(is)g(due)g(to)g(the)515 1976 y(macros')30 b(recursiv)n(e)f +(algorithm.)48 b(Quite)31 b(lik)n(ely)g(y)n(ou)g(will)g(exceed)g(T)2690 +1994 y(E)2737 1976 y(X's)g(capacit)n(y)g(with)515 2075 +y(ev)n(en)f(smaller)g(maps)h(if)g(they)g(o)r(ccur)f(in)i(large)d(do)r +(cumen)n(ts,)j(but)f(I)g(think)h(no)e(one)h(in)g(his)515 +2175 y(righ)n(t)h(mind)i(will)g(ev)n(er)e(use)h(Karnaugh)e(maps)i(of)h +(more)e(than)h(6)14 b(v)-5 b(ariables,)33 b(so)g(I)g(didn't)515 +2275 y(care)26 b(ab)r(out)i(this)g(problem.)515 2549 +y Fo(7)134 b(More)45 b(examples)515 2731 y Fn(Belo)n(w)28 +b(I)h(ha)n(v)n(e)f(giv)n(en)g(some)h(more)f(examples)g(of)h(Karnaugh)e +(maps)i(pro)r(duced)g(with)g(m)n(y)515 2831 y(macros:)515 +3013 y Fl(\\karnaughmap{1}{)o(}{)o(a})o({01)o(}{)o(})515 +3212 y(\\karnaughmap{2}{)o($f)o(:$)o(}{{)o($a)o($}{)o($b)o($})o(}{0)o +(11)o(0}{)o(})515 3412 y(\\karnaughmap{3}{)o($f)o(:$)o(}{{)o($a)o($}{)o +($b)o($})o({$c)o($})o(}{0)o(11)o(001)o(10)o(}{)o(})515 +3611 y(\\karnaughmap{4}{)o($f)o(:$)o(}{{)o($a)o($}{)o($b)o($})o({$c)o +($})o({$d)o($})o(}{0)o(11)o(00)o(110)o(01)o(100)o(11)o(0})o({})515 +3810 y(\\karnaughmap{4}{)o($f)o(:$)o(}{a)o(bc)o(d}{)o(ab)o(cd)o(efg)o +(hi)o(jkl)o(mn)o(op})o({})515 4010 y(\\karnaughmap{5}{)o($f)o(:$)o(}{{) +o($a)o($}{)o($b)o($})o({$c)o($})o({$d)o($})o({$e)o($})o(}\045)515 +4109 y({0123456789abcde)o(f0)o(12)o(345)o(67)o(89a)o(bc)o(de)o(f}{)o(}) +515 4308 y(\\karnaughmap{6}{)o($f)o(_i)o(^t:)o($})o({ab)o(cd)o(ef)o +(}\045)515 4408 y({0123456789{10}{)o(11)o(}{)o(12})o({1)o(3}{)o(14)o +(}{)o(15})o(\045)515 4508 y({16}{17}{18}{19})o({2)o(0})o({21)o(}{)o +(22})o({2)o(3})o(\045)515 4607 y({24}{25}{26}{27})o({2)o(8})o({29)o(}{) +o(30})o({3)o(1})o(\045)515 4707 y({32}{33}{34}{35})o({3)o(6})o({37)o +(}{)o(38})o({3)o(9})o(\045)515 4807 y({40}{41}{42}{43})o({4)o(4})o({45) +o(}{)o(46})o({4)o(7})o(\045)515 4906 y({48}{49}{50}{51})o({5)o(2})o +({53)o(}{)o(54})o({5)o(5})o(\045)515 5006 y({56}{57}{58}{59})o({6)o(0}) +o({61)o(}{)o(62})o({6)o(3})o(}{})o(\045)1926 5255 y Fn(8)p +eop +%%Page: 9 9 +9 8 bop 515 623 a Fl(\\kvunitlength=6m)o(m)515 722 y(\\kvnoindex)515 +822 y(\\karnaughmap{8}{)o($q)o(_2)o(^4:)o($})o({{$)o(a$)o(}{)o($b$)o +(}{)o($c$)o(}{)o($d$)o(}{)o($e)o($}\045)515 922 y({$f$}{$g$}{$h$}})o +({\045)515 1021 y(0011001111001100)o(\045)515 1121 y(0011001111001100)o +(\045)515 1220 y(0011001111001100)o(\045)515 1320 y(0011001111001100)o +(\045)515 1420 y(0011001111001100)o(\045)515 1519 y(0011001111001100)o +(\045)515 1619 y(0011001111001100)o(\045)515 1719 y(0011001111001100)o +(\045)515 1818 y(0011001111001100)o(\045)515 1918 y(0011001111001100)o +(\045)515 2017 y(0011001111001100)o(\045)515 2117 y(0011001111001100)o +(\045)515 2217 y(0011001111001100)o(\045)515 2316 y(0011001111001100)o +(\045)515 2416 y(0011001111001100)o(\045)515 2516 y(0011001111001100)o +(\045)515 2615 y(}{})515 2715 y(\\kvunitlength=8m)o(m)515 +2814 y(\\kvindex)p 515 3293 378 4 v 513 3291 4 189 v +702 3291 V 515 3103 378 4 v 891 3291 4 189 v 588 3223 +a Fn(0)524 3282 y Fh(0)777 3223 y Fn(1)713 3282 y Fh(1)777 +2997 y Fn(a)p 702 3083 4 76 v 891 3083 V 704 3047 189 +4 v 704 3868 378 4 v 704 3679 V 702 3866 4 378 v 891 +3866 V 704 3490 378 4 v 1080 3866 4 378 v 561 3414 a +Fi(f)32 b Fn(:)777 3609 y(0)713 3667 y Fh(0)966 3609 +y Fn(1)902 3667 y Fh(1)777 3798 y Fn(1)713 3857 y Fh(2)966 +3798 y Fn(0)902 3857 y Fh(3)559 3789 y Fi(a)p 609 3868 +76 4 v 609 3679 V 645 3866 4 189 v 969 3394 a(b)p 891 +3469 4 76 v 1080 3469 V 893 3433 189 4 v 704 4632 756 +4 v 704 4443 V 702 4630 4 378 v 891 4630 V 1080 4630 +V 1269 4630 V 704 4254 756 4 v 1458 4630 4 378 v 561 +4084 a(f)g Fn(:)777 4373 y(0)713 4432 y Fh(0)966 4373 +y Fn(1)902 4432 y Fh(1)777 4562 y Fn(1)713 4621 y Fh(2)966 +4562 y Fn(0)902 4621 y Fh(3)1344 4373 y Fn(0)1280 4432 +y Fh(4)1155 4373 y Fn(1)1091 4432 y Fh(5)1344 4562 y +Fn(1)1280 4621 y Fh(6)1155 4562 y Fn(0)1091 4621 y Fh(7)1249 +3958 y Fi(a)p 1080 4044 4 76 v 1458 4044 V 1082 4008 +378 4 v 563 4564 a(b)p 609 4632 76 4 v 609 4443 V 645 +4630 4 189 v 1064 4147 a(c)p 891 4233 4 76 v 1269 4233 +V 893 4197 378 4 v 1926 5255 a Fn(9)p eop +%%Page: 10 10 +10 9 bop 893 1576 756 4 v 893 1387 V 893 1198 V 893 1009 +V 891 1574 4 756 v 1080 1574 V 1269 1574 V 1458 1574 +V 893 820 756 4 v 1647 1574 4 756 v 656 650 a Fi(f)32 +b Fn(:)966 939 y(0)902 997 y Fh(0)1155 939 y Fn(1)1091 +997 y Fh(1)966 1128 y Fn(1)902 1186 y Fh(2)1155 1128 +y Fn(0)1091 1186 y Fh(3)1533 939 y Fn(0)1469 997 y Fh(4)1344 +939 y Fn(1)1280 997 y Fh(5)1533 1128 y Fn(1)1469 1186 +y Fh(6)1344 1128 y Fn(0)1280 1186 y Fh(7)966 1506 y Fn(0)902 +1565 y Fh(8)1155 1506 y Fn(1)1091 1565 y Fh(9)966 1317 +y Fn(1)902 1375 y Fh(10)1155 1317 y Fn(0)1091 1375 y +Fh(11)1533 1506 y Fn(0)1469 1565 y Fh(12)1344 1506 y +Fn(1)1280 1565 y Fh(13)1533 1317 y Fn(1)1469 1375 y Fh(14)1344 +1317 y Fn(0)1280 1375 y Fh(15)559 1403 y Fi(a)p 609 1576 +76 4 v 609 1198 V 645 1574 4 378 v 1442 535 a(b)p 1269 +610 4 76 v 1647 610 V 1271 574 378 4 v 752 1214 a(c)p +798 1387 76 4 v 798 1009 V 834 1385 4 378 v 1249 724 +a(d)p 1080 799 4 76 v 1458 799 V 1082 763 378 4 v 893 +2718 756 4 v 893 2529 V 893 2340 V 893 2151 V 891 2716 +4 756 v 1080 2716 V 1269 2716 V 1458 2716 V 893 1962 +756 4 v 1647 2716 4 756 v 656 1792 a(f)g Fn(:)966 2072 +y(a)902 2140 y Fh(0)1153 2083 y Fn(b)1091 2140 y Fh(1)969 +2261 y Fn(c)902 2329 y Fh(2)1153 2272 y Fn(d)1091 2329 +y Fh(3)1536 2072 y Fn(e)1469 2140 y Fh(4)1352 2083 y +Fn(f)1280 2140 y Fh(5)1533 2253 y Fn(g)1469 2329 y Fh(6)1342 +2272 y Fn(h)1280 2329 y Fh(7)976 2649 y Fn(i)902 2707 +y Fh(8)1163 2641 y Fn(j)1091 2707 y Fh(9)965 2461 y Fn(k)902 +2518 y Fh(10)1165 2461 y Fn(l)1091 2518 y Fh(11)1520 +2639 y Fn(m)1469 2707 y Fh(12)1342 2639 y Fn(n)1280 2707 +y Fh(13)1533 2450 y Fn(o)1469 2518 y Fh(14)1342 2442 +y Fn(p)1280 2518 y Fh(15)560 2545 y Fn(a)p 609 2718 76 +4 v 609 2340 V 645 2716 4 378 v 1437 1677 a(b)p 1269 +1752 4 76 v 1647 1752 V 1271 1716 378 4 v 751 2356 a(c)p +798 2529 76 4 v 798 2151 V 834 2527 4 378 v 1248 1866 +a(d)p 1080 1941 4 76 v 1458 1941 V 1082 1905 378 4 v +893 4049 1512 4 v 893 3860 V 893 3671 V 893 3482 V 891 +4047 4 756 v 1080 4047 V 1269 4047 V 1458 4047 V 1647 +4047 V 1836 4047 V 2025 4047 V 2214 4047 V 893 3293 1512 +4 v 2403 4047 4 756 v 656 3029 a Fi(f)g Fn(:)966 3413 +y(0)902 3471 y Fh(0)1155 3413 y Fn(1)1091 3471 y Fh(1)966 +3601 y Fn(2)902 3660 y Fh(2)1155 3601 y Fn(3)1091 3660 +y Fh(3)1533 3413 y Fn(4)1469 3471 y Fh(4)1344 3413 y +Fn(5)1280 3471 y Fh(5)1533 3601 y Fn(6)1469 3660 y Fh(6)1344 +3601 y Fn(7)1280 3660 y Fh(7)966 3979 y Fn(8)902 4038 +y Fh(8)1155 3979 y Fn(9)1091 4038 y Fh(9)966 3782 y Fn(a)902 +3849 y Fh(10)1153 3793 y Fn(b)1091 3849 y Fh(11)1536 +3971 y Fn(c)1469 4038 y Fh(12)1342 3982 y Fn(d)1280 4038 +y Fh(13)1536 3782 y Fn(e)1469 3849 y Fh(14)1352 3793 +y Fn(f)1280 3849 y Fh(15)2289 3413 y Fn(0)2225 3471 y +Fh(16)2100 3413 y Fn(1)2036 3471 y Fh(17)2289 3601 y +Fn(2)2225 3660 y Fh(18)2100 3601 y Fn(3)2036 3660 y Fh(19)1722 +3413 y Fn(4)1658 3471 y Fh(20)1911 3413 y Fn(5)1847 3471 +y Fh(21)1722 3601 y Fn(6)1658 3660 y Fh(22)1911 3601 +y Fn(7)1847 3660 y Fh(23)2289 3979 y Fn(8)2225 4038 y +Fh(24)2100 3979 y Fn(9)2036 4038 y Fh(25)2289 3782 y +Fn(a)2225 3849 y Fh(26)2098 3793 y Fn(b)2036 3849 y Fh(27)1725 +3971 y Fn(c)1658 4038 y Fh(28)1909 3982 y Fn(d)1847 4038 +y Fh(29)1725 3782 y Fn(e)1658 3849 y Fh(30)1919 3793 +y Fn(f)1847 3849 y Fh(31)2005 2808 y Fi(a)p 1647 2894 +4 76 v 2403 2894 V 1649 2858 756 4 v 563 3887 a(b)p 609 +4049 76 4 v 609 3671 V 645 4047 4 378 v 1631 2997 a(c)p +1269 3083 4 76 v 2025 3083 V 1271 3047 756 4 v 748 3698 +a(d)p 798 3860 76 4 v 798 3482 V 834 3858 4 378 v 1251 +3186 a(e)p 1080 3272 4 76 v 1458 3272 V 1082 3236 378 +4 v 717 w(e)p 1836 3272 4 76 v 2214 3272 V 1838 3236 +378 4 v 1905 5255 a Fn(10)p eop +%%Page: 11 11 +11 10 bop 1082 2521 1512 4 v 1082 2331 V 1082 2142 V +1082 1953 V 1082 1765 V 1082 1576 V 1082 1387 V 1082 +1198 V 1080 2519 4 1512 v 1269 2519 V 1458 2519 V 1647 +2519 V 1836 2519 V 2025 2519 V 2214 2519 V 2403 2519 +V 1082 1009 1512 4 v 2592 2519 4 1512 v 736 746 a Fi(f)786 +715 y Fb(t)777 767 y(i)838 746 y Fn(:)1155 1128 y(0)1091 +1186 y Fh(0)1344 1128 y Fn(1)1280 1186 y Fh(1)1155 1317 +y Fn(2)1091 1375 y Fh(2)1344 1317 y Fn(3)1280 1375 y +Fh(3)1722 1128 y Fn(4)1658 1186 y Fh(4)1533 1128 y Fn(5)1469 +1186 y Fh(5)1722 1317 y Fn(6)1658 1375 y Fh(6)1533 1317 +y Fn(7)1469 1375 y Fh(7)1155 1695 y Fn(8)1091 1753 y +Fh(8)1344 1695 y Fn(9)1280 1753 y Fh(9)1135 1506 y Fn(10)1091 +1564 y Fh(10)1324 1506 y Fn(11)1280 1564 y Fh(11)1702 +1695 y Fn(12)1658 1753 y Fh(12)1513 1695 y Fn(13)1469 +1753 y Fh(13)1702 1506 y Fn(14)1658 1564 y Fh(14)1513 +1506 y Fn(15)1469 1564 y Fh(15)2457 1128 y Fn(16)2414 +1186 y Fh(16)2268 1128 y Fn(17)2225 1186 y Fh(17)2457 +1317 y Fn(18)2414 1375 y Fh(18)2268 1317 y Fn(19)2225 +1375 y Fh(19)1891 1128 y Fn(20)1847 1186 y Fh(20)2080 +1128 y Fn(21)2036 1186 y Fh(21)1891 1317 y Fn(22)1847 +1375 y Fh(22)2080 1317 y Fn(23)2036 1375 y Fh(23)2457 +1695 y Fn(24)2414 1753 y Fh(24)2268 1695 y Fn(25)2225 +1753 y Fh(25)2457 1506 y Fn(26)2414 1564 y Fh(26)2268 +1506 y Fn(27)2225 1564 y Fh(27)1891 1695 y Fn(28)1847 +1753 y Fh(28)2080 1695 y Fn(29)2036 1753 y Fh(29)1891 +1506 y Fn(30)1847 1564 y Fh(30)2080 1506 y Fn(31)2036 +1564 y Fh(31)1135 2451 y Fn(32)1091 2510 y Fh(32)1324 +2451 y Fn(33)1280 2510 y Fh(33)1135 2262 y Fn(34)1091 +2320 y Fh(34)1324 2262 y Fn(35)1280 2320 y Fh(35)1702 +2451 y Fn(36)1658 2510 y Fh(36)1513 2451 y Fn(37)1469 +2510 y Fh(37)1702 2262 y Fn(38)1658 2320 y Fh(38)1513 +2262 y Fn(39)1469 2320 y Fh(39)1135 1884 y Fn(40)1091 +1942 y Fh(40)1324 1884 y Fn(41)1280 1942 y Fh(41)1135 +2073 y Fn(42)1091 2131 y Fh(42)1324 2073 y Fn(43)1280 +2131 y Fh(43)1702 1884 y Fn(44)1658 1942 y Fh(44)1513 +1884 y Fn(45)1469 1942 y Fh(45)1702 2073 y Fn(46)1658 +2131 y Fh(46)1513 2073 y Fn(47)1469 2131 y Fh(47)2457 +2451 y Fn(48)2414 2510 y Fh(48)2268 2451 y Fn(49)2225 +2510 y Fh(49)2457 2262 y Fn(50)2414 2320 y Fh(50)2268 +2262 y Fn(51)2225 2320 y Fh(51)1891 2451 y Fn(52)1847 +2510 y Fh(52)2080 2451 y Fn(53)2036 2510 y Fh(53)1891 +2262 y Fn(54)1847 2320 y Fh(54)2080 2262 y Fn(55)2036 +2320 y Fh(55)2457 1884 y Fn(56)2414 1942 y Fh(56)2268 +1884 y Fn(57)2225 1942 y Fh(57)2457 2073 y Fn(58)2414 +2131 y Fh(58)2268 2073 y Fn(59)2225 2131 y Fh(59)1891 +1884 y Fn(60)1847 1942 y Fh(60)2080 1884 y Fn(61)2036 +1942 y Fh(61)1891 2073 y Fn(62)1847 2131 y Fh(62)2080 +2073 y Fn(63)2036 2131 y Fh(63)560 2159 y Fn(a)p 609 +2521 76 4 v 609 1765 V 645 2519 4 756 v 2192 535 a(b)p +1836 610 4 76 v 2592 610 V 1838 574 756 4 v 751 1781 +a(c)p 798 2143 76 4 v 798 1387 V 834 2141 4 756 v 1815 +724 a(d)p 1458 799 4 76 v 2214 799 V 1460 763 756 4 v +940 1403 a(e)p 987 1576 76 4 v 987 1198 V 1023 1574 4 +378 v 940 2159 a(e)p 987 2332 76 4 v 987 1953 V 1023 +2330 4 378 v 1447 913 a(f)p 1269 988 4 76 v 1647 988 +V 1271 952 378 4 v 731 w(f)p 2025 988 4 76 v 2403 988 +V 2027 952 378 4 v 1905 5255 a(11)p eop +%%Page: 12 12 +12 11 bop 1082 3277 2268 4 v 1082 3135 V 1082 2993 V +1082 2851 V 1082 2709 V 1082 2568 V 1082 2426 V 1082 +2284 V 1082 2142 V 1082 2001 V 1082 1859 V 1082 1717 +V 1082 1576 V 1082 1434 V 1082 1292 V 1082 1150 V 1080 +3275 4 2268 v 1222 3275 V 1363 3275 V 1505 3275 V 1647 +3275 V 1789 3275 V 1930 3275 V 2072 3275 V 2214 3275 +V 2356 3275 V 2497 3275 V 2639 3275 V 2781 3275 V 2923 +3275 V 3064 3275 V 3206 3275 V 1082 1009 2268 4 v 3348 +3275 4 2268 v 736 747 a Fi(q)776 717 y Fm(4)773 768 y(2)837 +747 y Fn(:)1132 1105 y(0)100 b(0)1132 1246 y(1)g(1)1557 +1105 y(0)-184 b(0)1557 1246 y(1)g(1)1132 1530 y(1)100 +b(1)1132 1388 y(0)g(0)1557 1530 y(1)-184 b(1)1557 1388 +y(0)g(0)2124 1105 y(0)g(0)2124 1246 y(1)g(1)1699 1105 +y(0)99 b(0)1699 1246 y(1)g(1)2124 1530 y(1)-184 b(1)2124 +1388 y(0)g(0)1699 1530 y(1)99 b(1)1699 1388 y(0)g(0)1132 +2097 y(0)h(0)1132 1955 y(1)g(1)1557 2097 y(0)-184 b(0)1557 +1955 y(1)g(1)1132 1671 y(1)100 b(1)1132 1813 y(0)g(0)1557 +1671 y(1)-184 b(1)1557 1813 y(0)g(0)2124 2097 y(0)g(0)2124 +1955 y(1)g(1)1699 2097 y(0)99 b(0)1699 1955 y(1)g(1)2124 +1671 y(1)-184 b(1)2124 1813 y(0)g(0)1699 1671 y(1)99 +b(1)1699 1813 y(0)g(0)3258 1105 y(0)-184 b(0)3258 1246 +y(1)g(1)2833 1105 y(0)99 b(0)2833 1246 y(1)g(1)3258 1530 +y(1)-184 b(1)3258 1388 y(0)g(0)2833 1530 y(1)99 b(1)2833 +1388 y(0)g(0)2266 1105 y(0)g(0)2266 1246 y(1)g(1)2691 +1105 y(0)-184 b(0)2691 1246 y(1)g(1)2266 1530 y(1)99 +b(1)2266 1388 y(0)g(0)2691 1530 y(1)-184 b(1)2691 1388 +y(0)g(0)3258 2097 y(0)g(0)3258 1955 y(1)g(1)2833 2097 +y(0)99 b(0)2833 1955 y(1)g(1)3258 1671 y(1)-184 b(1)3258 +1813 y(0)g(0)2833 1671 y(1)99 b(1)2833 1813 y(0)g(0)2266 +2097 y(0)g(0)2266 1955 y(1)g(1)2691 2097 y(0)-184 b(0)2691 +1955 y(1)g(1)2266 1671 y(1)99 b(1)2266 1813 y(0)g(0)2691 +1671 y(1)-184 b(1)2691 1813 y(0)g(0)1132 3231 y(0)100 +b(0)1132 3089 y(1)g(1)1557 3231 y(0)-184 b(0)1557 3089 +y(1)g(1)1132 2805 y(1)100 b(1)1132 2947 y(0)g(0)1557 +2805 y(1)-184 b(1)1557 2947 y(0)g(0)2124 3231 y(0)g(0)2124 +3089 y(1)g(1)1699 3231 y(0)99 b(0)1699 3089 y(1)g(1)2124 +2805 y(1)-184 b(1)2124 2947 y(0)g(0)1699 2805 y(1)99 +b(1)1699 2947 y(0)g(0)1132 2238 y(0)h(0)1132 2380 y(1)g(1)1557 +2238 y(0)-184 b(0)1557 2380 y(1)g(1)1132 2664 y(1)100 +b(1)1132 2522 y(0)g(0)1557 2664 y(1)-184 b(1)1557 2522 +y(0)g(0)2124 2238 y(0)g(0)2124 2380 y(1)g(1)1699 2238 +y(0)99 b(0)1699 2380 y(1)g(1)2124 2664 y(1)-184 b(1)2124 +2522 y(0)g(0)1699 2664 y(1)99 b(1)1699 2522 y(0)g(0)3258 +3231 y(0)-184 b(0)3258 3089 y(1)g(1)2833 3231 y(0)99 +b(0)2833 3089 y(1)g(1)3258 2805 y(1)-184 b(1)3258 2947 +y(0)g(0)2833 2805 y(1)99 b(1)2833 2947 y(0)g(0)2266 3231 +y(0)g(0)2266 3089 y(1)g(1)2691 3231 y(0)-184 b(0)2691 +3089 y(1)g(1)2266 2805 y(1)99 b(1)2266 2947 y(0)g(0)2691 +2805 y(1)-184 b(1)2691 2947 y(0)g(0)3258 2238 y(0)g(0)3258 +2380 y(1)g(1)2833 2238 y(0)99 b(0)2833 2380 y(1)g(1)3258 +2664 y(1)-184 b(1)3258 2522 y(0)g(0)2833 2664 y(1)99 +b(1)2833 2522 y(0)g(0)2266 2238 y(0)g(0)2266 2380 y(1)g(1)2691 +2238 y(0)-184 b(0)2691 2380 y(1)g(1)2266 2664 y(1)99 +b(1)2266 2522 y(0)g(0)2691 2664 y(1)-184 b(1)2691 2522 +y(0)g(0)542 2726 y Fi(a)p 586 3277 57 4 v 586 2142 V +612 3275 4 1134 v 2765 518 a(b)p 2214 568 4 57 v 3348 +568 V 2216 541 1134 4 v 688 2159 a(c)p 727 2710 57 4 +v 727 1576 V 754 2708 4 1134 v 2194 660 a(d)p 1647 709 +4 57 v 2781 709 V 1649 683 1134 4 v 828 1592 a(e)p 869 +1859 57 4 v 869 1292 V 896 1857 4 567 v 828 2726 a(e)p +869 2993 57 4 v 869 2426 V 896 2991 4 567 v 1624 794 +a(f)p 1363 851 4 57 v 1930 851 V 1365 824 567 4 v 1093 +w(f)p 2497 851 4 57 v 3064 851 V 2499 824 567 4 v 968 +1300 a(g)p 1011 1434 57 4 v 1011 1150 V 1037 1432 4 284 +v 968 1867 a(g)p 1011 2001 57 4 v 1011 1717 V 1037 1999 +4 284 v 968 2434 a(g)p 1011 2568 57 4 v 1011 2284 V 1037 +2566 4 284 v 968 3001 a(g)p 1011 3135 57 4 v 1011 2851 +V 1037 3133 4 284 v 1341 944 a(h)p 1222 993 4 57 v 1505 +993 V 1223 966 284 4 v 519 w(h)p 1789 993 4 57 v 2072 +993 V 1790 966 284 4 v 519 w(h)p 2356 993 4 57 v 2639 +993 V 2357 966 284 4 v 519 w(h)p 2923 993 4 57 v 3206 +993 V 2924 966 284 4 v 515 3549 a Fo(8)134 b(Sourceco)t(de)515 +3731 y Fn(Here)36 b(no)n(w)g(y)n(ou)f(will)i(\014nd)g(the)g(curren)n(t) +f(sourceco)r(de)f(of)h(m)n(y)g(macros.)62 b(I)37 b(should)f(ha)n(v)n(e) +515 3830 y(commen)n(ted)27 b(it)h(more)f(extensiv)n(ely)-7 +b(,)27 b(but)h(failed)g(due)g(to)f(lac)n(k)g(of)g(time.)38 +b(Sorry)-7 b(.)515 4002 y Fa(\045\045)39 b(This)i(is)e(file)h +(`kvmacros.tex',)515 4093 y(\045\045)f(Version)i(of)f(January)h(7th,)f +(2002)515 4184 y(\045\045)515 4276 y(\045\045)f(Copyright)j(\(C\))e +(1998-2002)h(by)f(Andreas)g(W.)g(Wieland,)h(awwieland@gmx.de)515 +4367 y(\045\045)515 4458 y(\045\045)e(This)i(program)f(can)g(be)g +(redistributed)i(and/or)f(modified)g(under)f(the)g(terms)515 +4550 y(\045\045)f(of)h(the)g(LaTeX)g(Project)h(Public)g(License)g +(distributed)g(from)f(CTAN)515 4641 y(\045\045)f(archives)i(in)f +(directory)h(macros/latex/base/lppl.txt;)46 b(either)515 +4732 y(\045\045)39 b(version)i(1)f(of)f(the)h(License,)h(or)f(\(at)g +(your)g(option\))h(any)f(later)g(version,)515 4824 y(\045\045)f(with)i +(`The)f(Program')h(referring)g(to)f(the)g(software)h(`kvmacros.tex')h +(and)e(its)515 4915 y(\045\045)f(accompanying)j(documentation)h(and)c +(`The)i(Copyright)g(Holder')g(referring)g(to)f(the)515 +5006 y(\045\045)f(person)i(Andreas)g(W.)f(Wieland.)1905 +5255 y Fn(12)p eop +%%Page: 13 13 +13 12 bop 515 523 a Fa(\045\045)515 614 y(\045\045)515 +706 y(\045\045)515 797 y(\045\045)39 b(IMPORTANT)j(NOTICE:)515 +888 y(\045\045)515 980 y(\045\045)d(For)h(error)h(reports,)g(comments)g +(or)e(suggestions)j(in)e(case)g(of)g(UNCHANGED)515 1071 +y(\045\045)f(versions)i(send)g(mail)f(to:)515 1162 y(\045\045)f +(awwieland@gmx.de)515 1254 y(\045\045)515 1345 y(\045\045)g(Anyway,)i +(if)f(you)g(use)g(my)f(macros,)i(send)f(me)g(an)g(eMail,)g(too.)g(I)g +(would)g(like)g(to)g(know)515 1436 y(\045\045)f(if)h(they)g(are)g +(useful)h(to)e(somebody)i(out)f(there.)515 1528 y(\045\045)515 +1619 y(\045\045)f(Please)i(do)f(not)g(request)g(updates)h(from)f(me)g +(directly.)h(Distribution)h(is)515 1710 y(\045\045)d(done)i(through)f +(Mail-Servers)i(and)e(TeX)g(organizations.)515 1802 y(\045\045)515 +1893 y(\045\045)f(You)h(are)g(allowed)h(to)f(distribute)h(this)f(file)h +(under)f(the)g(condition)h(that)515 1984 y(\045\045)e(it)h(is)g +(distributed)i(together)f(with)f(`kvdoc.tex',)i(`kvdoc.dvi')f(and)f +(`kvdoc.ps'.)515 2076 y(\045\045)515 2167 y(\045\045)f(If)h(you)g +(receive)h(this)f(file)g(alone)g(from)h(someone,)g(complain!)515 +2258 y(\045\045)515 2350 y(\\typeout{})515 2441 y(\\typeout{Macros)h +(for)e(typesetting)i(Karnaugh)f(maps)f(and)g(Veitch)h(charts})515 +2532 y(\\typeout{Version)i(of)c(January)i(7th,)f(2002})515 +2623 y(\\typeout{by)h(Andreas)g(W.)f(Wieland,)h(awwieland@gmx.de})515 +2715 y(\\typeout{})515 2806 y(\045\045)515 2897 y(\045\045)e(Change)i +(History:)515 2989 y(\045\045)e(August)i(04th,)f(1998:)h(Original)g +(Version)515 3080 y(\045\045)515 3171 y(\045\045)e(August)i(19th,)f +(1998:)h(Minor)f(changes)h(to)f(make)g(the)g(lines)g(within)h(the)f +(maps)g(look)515 3263 y(\045\045)f(better,)i(also)f(moved)h(the)f +(variable)h(identifiers)g(from)g(the)e(right)i(to)f(the)f(left)i(and) +515 3354 y(\045\045)e(added)i(an)e(identifier)j(for)e(the)g(logic)g +(function;)h(since)g(then)f(\\kvmap)h(has)e(5)515 3445 +y(\045\045)g(instead)i(of)f(4)f(parameters.)j(I)e(also)g(included)h +(the)f(documentation)i(in)e(an)f(additional)515 3537 +y(\045\045)g(Postscript-file.)515 3628 y(\045\045)515 +3719 y(\045\045)g(September)j(23rd,)e(1998:)g(Fixed)h(the)f(problem)h +(with)f(double)g(braces)h(by)f(introducing)515 3811 y(\045\045)f(the)h +(\\compdummy)i(and)e(\\ende)g(macros)h(in)e(the)h(\\ifx-comparisons)j +(\(see)d(below\):)515 3902 y(\045\045)f(The)h(parameters)i(that)e(are)g +(longer)g(than)h(one)f(character)h(do)e(not)h(have)h(to)e(be)515 +3993 y(\045\045)g(enclosed)i(in)f(double)h(braces)f(any)g(longer)h(---) +f(single)g(braces)h(are)515 4085 y(\045\045)e(sufficient.)j(However,)f +(double)g(braces)f(will)h(still)f(be)g(processed)h(correctly.)515 +4176 y(\045\045)515 4267 y(\045\045)e(May)h(19th,)h(1999:)f(Changed)h +(the)f(documentation)i(\(which)f(was)e(months)i(overdue\))g(after)515 +4359 y(\045\045)e(F.)h(M.)g(Brown)g(pointed)h(me)f(to)f(the)h +(incorrectness)i(of)e(the)g(term)515 4450 y(\045\045)f +("Karnaugh-Veitch-map".)45 b(Actually,)c(the)f(macros)g(itself)h +(haven't)515 4541 y(\045\045)e(changed.)i(Probably)h(I)d(should)i +(introduce)g(macros)f(for)g(typesetting)i(Veitch)f(charts)515 +4633 y(\045\045)e(as)h(well)g(\(which)h(would)f(be)g(a)f(minor)i +(task\).)f(This)g(version)h(was)f(actually)h(never)515 +4724 y(\045\045)e(released.)515 4815 y(\045\045)515 4907 +y(\045\045)g(May)h(25th,)h(1999:)f(Introduced)i(macros)e(for)g(Veitch)h +(charts)515 4998 y(\045\045)e(\(\\veitchfoo\))j(and)e(renamed)h(the)f +(macros)h(that)f(are)g(solely)g(related)h(to)1905 5255 +y Fn(13)p eop +%%Page: 14 14 +14 13 bop 515 523 a Fa(\045\045)39 b(Karnaugh)i(maps)g(from)f(\\kvfoo)g +(to)g(\\karnaughfoo.)i(Introduced)g(aliases)f(for)e(those)515 +614 y(\045\045)g(macros)i(that)f(are)g(user-callable)i(to)e(maintain)h +(compatibility)h(with)e(older)h(versions:)515 706 y(\045\045)e(\\kvmap) +i(->)f(\\karnaughmap.)i(However,)f(\\kvindex,)g(\\kvnoindex)h(and)e +(\\kvunitlength)515 797 y(\045\045)f(haven't)i(changed)g(their)f(names) +h(as)e(they)i(are)f(related)g(to)g(both)g(Karnaugh)h(maps)f(and)515 +888 y(\045\045)f(Veitch)i(charts.)g(Changed)g(the)f(\(plain)g(stupid\)) +h(algorithm)g(that)f(processes)i(the)515 980 y(\045\045)d +(variable-length)k(arguments)e(so)f(that)g(it)g(takes)g(much)g(less)g +(time)h(to)e(produce)i(large)515 1071 y(\045\045)e(maps.)i(Several)g +(macros)f(so)g(became)g(redundant)i(and)e(are)g(no)f(longer)i +(included.)g(Also)f(I)515 1162 y(\045\045)f(introduced)j(\\kvindexsize) +g(and)e(\\kvcontentsize)i(to)e(adjust)g(the)g(font)h(size)f(of)f(the) +515 1254 y(\045\045)g(indices)i(and)f(the)g(contents)h(of)f(a)f +(diagram.)i(They)f(default)h(to)f(\\tiny)g(and)515 1345 +y(\045\045)f(\\normalsize.)515 1436 y(\045\045)515 1528 +y(\045\045)g(January)i(17th,)g(2001:)f(Changed)h(the)f(eMail-address)i +(in)e(the)f(macro)i(file)f(and)g(the)515 1619 y(\045\045)f +(accompanying)j(documentation)h(and)c(made)i(minor)f(changes)h(to)e +(the)h(documentation.)515 1710 y(\045\045)515 1802 y(\045\045)f +(January)i(7th,)f(2002:)h(Exchanged)g(the)f(\\xdef)g(to)g(\\gdef)g(in)g +(the)g(definition)h(of)515 1893 y(\045\045)e(\\kvargumentstring)44 +b(and)39 b(\\kvgetonechar)k(so)c(that)h(things)h(like)f({\\textbf)h(1}) +f(in)g(the)515 1984 y(\045\045)f(argumentlist)j(of)e(\\karnaughmap)i +(do)e(not)g(cause)g(error)g(messages)h(any)f(longer.)515 +2076 y(\045\045)f(Thanks)i(to)f(Michal)g(Medveck{\\'y})i(for)e +(pointing)h(me)f(to)g(this)g(error.)515 2167 y(\045\045)515 +2258 y(\045\045)515 2350 y(\045\045)515 2441 y(\045\045)f(We)h(need)g +(a)g(fixed)g(dimension)h(for)f(a)g(single)g(field)h(in)e(a)h(Karnaugh)h +(map:)515 2532 y(\045\045)515 2623 y(\\newdimen\\kvunitlength)515 +2715 y(\\kvunitlength=8mm)515 2806 y(\045\045)515 2897 +y(\045\045)e(We)h(need)g(a)g(default)h(font)f(size)g(for)g(the)g +(indices:)515 2989 y(\045\045)515 3080 y +(\\newcommand{\\kvindexsize}{\\tin)q(y})515 3171 y(\045\045)515 +3263 y(\045\045)f(And)h(we)g(need)g(a)g(default)g(size)h(for)e(the)h +(contents)h(and)f(variable)h(identifiers:)515 3354 y(\045\045)515 +3445 y(\\newcommand{\\kvcontentsize}{\\n)q(ormal)q(size)q(})515 +3537 y(\045\045)515 3628 y(\045\045)e(First,)i(we)f(have)g(to)g +(introduce)h(some)f(counters:)515 3719 y(\045\045)515 +3811 y(\045\045)f(\\kvrecursiondepth)44 b(is)39 b(used)h(to)g(control)h +(the)f(recursion)h(of)f(the)515 3902 y(\045\045)f(\\karnaughmakemap-)44 +b(and)39 b(\\veitchmakechart-macro.)515 3993 y(\045\045)515 +4085 y(\\newcount\\kvrecursiondepth)515 4176 y(\045\045)515 +4267 y(\045\045)g(The)h(\\kvindexcounter)j(is)d(needed)g(for)g(the)g +(indices)h(in)f(the)f(fields)i(of)f(the)515 4359 y(\045\045)f +(diagrams.)515 4450 y(\045\045)515 4541 y(\\newcount\\kvindexcounter) +515 4633 y(\045\045)515 4724 y(\045\045)g(\\kvxsize)i(and)f(\\kvysize)h +(store)g(the)f(dimensions)h(of)f(an)g(entire)g(diagram.)515 +4815 y(\045\045)515 4907 y(\\newcount\\kvxsize)515 4998 +y(\\newcount\\kvysize)1905 5255 y Fn(14)p eop +%%Page: 15 15 +15 14 bop 515 523 a Fa(\045\045)515 614 y(\045\045)39 +b(Some)i(counters)g(are)f(necessary)h(to)e(compute)i(the)f(marks)h(for) +e(the)h(variable)515 706 y(\045\045)f(identifiers:)515 +797 y(\045\045)515 888 y(\\newcount\\kvvarno)515 980 +y(\\newcount\\kvxvarno)515 1071 y(\\newcount\\kvyvarno)515 +1162 y(\\newcount\\kvmarkstart)515 1254 y(\\newcount\\kvmarklength)515 +1345 y(\\newcount\\kvmarknum)515 1436 y(\\newcount\\kvmarkmove)515 +1528 y(\045\045)515 1619 y(\045\045)g(And)h(we)g(need)g(a)g(savebox)g +(to)g(store)g(the)g(variable)h(marks:)515 1710 y(\045\045)515 +1802 y(\\newsavebox\\kvsavebox)515 1893 y(\045\045)515 +1984 y(\045\045)e(Single)i(fields)g(in)e(a)h(diagram)h(should)f(be)g +(indexed,)h(which)f(makes)h(the)f(map)f(easier)i(to)515 +2076 y(\045\045)e(use.)i(This)f(is)f(the)h(default.)h(If)f(you)g(don't) +g(want)g(indices,)h(simply)g(call)515 2167 y(\045\045)e(\\kvnoindex.)j +(If)e(you)g(want)g(indices)h(back,)f(call)g(\\kvindex:)515 +2258 y(\045\045)515 2350 y(\\def\\kvnoindex{\045)515 +2441 y(\\def\\kvcurrentindex{}})515 2532 y(\045\045)515 +2623 y(\\def\\kvindex{\045)515 2715 y(\\def\\kvcurrentindex{\045)515 +2806 y(\\the\\kvindexcounter\\global\\adv)q(ance\\)q(kvin)q(dexc)q +(ounte)q(r)45 b(by)40 b(1}\045)515 2897 y(})515 2989 +y(\045\045)515 3080 y(\\kvindex)515 3171 y(\045\045)515 +3263 y(\045\045)f(We)h(need)g(a)g(macro)g(that)g(computes)h(the)f +(powers)h(of)e(two:)515 3354 y(\045\045)515 3445 y +(\\def\\kvpoweroftwo#1#2{\045)44 b(Computes)d(#1=2^#2,)g(both)f(of)g +(which)g(have)h(to)e(be)h(counters)515 3537 y({\\ifnum#2>0)515 +3628 y(\\global\\multiply#1)j(by)d(2)515 3719 y(\\advance#2)h(by)f(-1) +515 3811 y(\\kvpoweroftwo{#1}{#2})515 3902 y(\\fi}})515 +3993 y(\045\045)515 4085 y(\045\045)f(The)h(macros)h +(\\kvargumentstring,)i(\\kvgetchar)f(and)e(\\kvgetonechar)i(are)e +(needed)g(to)515 4176 y(\045\045)f(process)i(the)f(variabe-length)j +(parameters)e(in)f(\\karnaughmap)i(and)e(\\veitchchart:)515 +4267 y(\045\045)515 4359 y(\\def\\kvargumentstring#1{\\gdef\\)q(kvdum)q +(myst)q(ring)q({#1{})q(\\noe)q(xpand)q(\\end)q(}})515 +4450 y(\045\045)515 4541 y(\\def\\kvgetchar{\\expandafter\\kv)q(geton)q +(echa)q(r\\kv)q(dummy)q(stri)q(ng})515 4633 y(\045\045)515 +4724 y(\\def\\kvgetonechar#1#2\\end{{#1})q(\\gdef)q(\\kvd)q(ummy)q +(strin)q(g{#2)q(\\noex)q(pand)q(\\end)q(}}\045)515 4815 +y(\045\045)515 4907 y(\045\045)f(The)h(Macro)h(\\karnaughmakemap)i +(calls)d(itself)h(recursively)g(until)g(the)f(parameter)h(#1)515 +4998 y(\045\045)e(equals)i(1,)f(whereupon)h(it)f(returns)g(a)g(single)h +(token)f(from)g(the)g(list)g(of)g(arguments,)1905 5255 +y Fn(15)p eop +%%Page: 16 16 +16 15 bop 515 523 a Fa(\045\045)39 b(enclosed)i(in)f(a)g(\\makebox)h +(plus)f(the)g(index)g(\(if)g(enabled\))h(in)f(a)f(smaller)i(\\makebox:) +515 614 y(\045\045)515 706 y(\\def\\karnaughmakemap#1#2{{\045)515 +797 y(\\kvrecursiondepth=\\number#1)515 888 y +(\\ifnum\\kvrecursiondepth>1)515 980 y(\\divide\\kvrecursiondepth)j(by) +c(2)515 1071 y(\\unitlength=\\kvunitlength)515 1162 y +(\\multiply\\unitlength)k(by)39 b(\\kvrecursiondepth)515 +1254 y(\045\045)515 1345 y(\\ifcase#2)515 1436 y(\045\045)515 +1528 y(\045\045)g(The)h(parameter)i(#2)d(of)h(\\karnaughmakemap)j(is)d +(needed)g(because)h(the)f(inner)g(Karnaugh)515 1619 y(\045\045)f(maps)i +(need)f(to)f(be)h(mirrored.)h(This)f(is)g(achieved)h(by)f(the)g +(following)h(case-statement,)515 1710 y(\045\045)e(which)i(orders)f +(the)g(inner)h(Karnaugh)g(maps)f(properly:)515 1802 y(\045\045)515 +1893 y(\045\045)f(Case)i(0:)e(top-left)i(Karnaugh)g(map)515 +1984 y(\\begin{picture}\(2,2\)\045)515 2076 y +(\\put\(0,1\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{0})q +(}\045)515 2167 y(\\put\(1,1\){\\karnaughmakemap{\\kv)q(recur)q(sion)q +(dept)q(h}{1})q(}\045)515 2258 y(\\put\(0,0\){\\karnaughmakemap{\\kv)q +(recur)q(sion)q(dept)q(h}{2})q(}\045)515 2350 y +(\\put\(1,0\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{3})q +(}\045)515 2441 y(\\end{picture}\045)515 2532 y(\\or)515 +2623 y(\045\045)e(Case)i(1:)e(top-right)j(Karnaugh)f(map)515 +2715 y(\\begin{picture}\(2,2\)\045)515 2806 y +(\\put\(1,1\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{1})q +(}\045)515 2897 y(\\put\(0,1\){\\karnaughmakemap{\\kv)q(recur)q(sion)q +(dept)q(h}{0})q(}\045)515 2989 y(\\put\(1,0\){\\karnaughmakemap{\\kv)q +(recur)q(sion)q(dept)q(h}{3})q(}\045)515 3080 y +(\\put\(0,0\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{2})q +(}\045)515 3171 y(\\end{picture}\045)515 3263 y(\\or)515 +3354 y(\045\045)e(Case)i(2:)e(bottom-left)j(Karnaugh)f(map)515 +3445 y(\\begin{picture}\(2,2\)\045)515 3537 y +(\\put\(0,0\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{2})q +(}\045)515 3628 y(\\put\(1,0\){\\karnaughmakemap{\\kv)q(recur)q(sion)q +(dept)q(h}{3})q(}\045)515 3719 y(\\put\(0,1\){\\karnaughmakemap{\\kv)q +(recur)q(sion)q(dept)q(h}{0})q(}\045)515 3811 y +(\\put\(1,1\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{1})q +(}\045)515 3902 y(\\end{picture}\045)515 3993 y(\\or)515 +4085 y(\045\045)e(Case)i(3:)e(bottom-right)j(Karnaugh)f(map)515 +4176 y(\\begin{picture}\(2,2\)\045)515 4267 y +(\\put\(1,0\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{3})q +(}\045)515 4359 y(\\put\(0,0\){\\karnaughmakemap{\\kv)q(recur)q(sion)q +(dept)q(h}{2})q(}\045)515 4450 y(\\put\(1,1\){\\karnaughmakemap{\\kv)q +(recur)q(sion)q(dept)q(h}{1})q(}\045)515 4541 y +(\\put\(0,1\){\\karnaughmakemap{\\kv)q(recur)q(sion)q(dept)q(h}{0})q +(}\045)515 4633 y(\\end{picture}\045)515 4724 y(\\fi)515 +4815 y(\\else)515 4907 y(\\unitlength=\\kvunitlength)515 +4998 y(\\begin{picture}\(1,1\))1905 5255 y Fn(16)p eop +%%Page: 17 17 +17 16 bop 515 523 a Fa(\\put\(0,0\){\\makebox\(1,1\){\\kvcon)q(tents)q +(ize\\)q(kvge)q(tchar)q(}}\045)515 614 y +(\\put\(0.05,0.05\){\\makebox\(0.9,0)q(.9\)[b)q(l]{\\)q(kvin)q(dexsi)q +(ze\\k)q(vcurr)q(enti)q(ndex)q(}}\045)515 706 y(\\end{picture})515 +797 y(\\fi}}\045)515 888 y(\045\045)515 980 y(\045\045)39 +b(\\karnaughmaketopmark)44 b(typesets)d(the)f(variable)h(marks)g(of)e +(a)h(Karnaugh)h(map)f(that)g(are)515 1071 y(\045\045)f(located)i(on)f +(top)g(of)g(the)f(diagram:)515 1162 y(\045\045)515 1254 +y(\\def\\karnaughmaketopmark{\045)593 1345 y +(\\unitlength\\kvunitlength)593 1436 y(\\begin{picture}\(\\kvxsize,1\)) +672 1528 y(\\kvmarkstart=1)672 1619 y +(\\kvpoweroftwo{\\kvmarkstart}{\\kv)q(xvar)q(no})46 b(\045)39 +b(\\kvymarkstart)j(is)e(the)g(start)1770 1710 y(\045)f(position)j(for)d +(the)h(\\multiput)672 1802 y(\\kvmarklength=\\kvmarkstart)672 +1893 y(\\multiply\\kvmarklength)k(by)c(2)f(\045)g(\\kvmarklength)k(is)c +(the)h(length)h(of)f(a)f(mark)672 1984 y(\\kvmarkmove=\\kvmarkstart)672 +2076 y(\\multiply\\kvmarkmove)k(by)d(4)g(\045)f(This)h(is)g(the)g(move) +g(distance)h(for)f(the)g(\\multiput.)672 2167 y(\\kvmarknum=\\kvxsize) +672 2258 y(\\divide\\kvmarknum)j(by)c(\\kvmarkmove)j(\045)e(This)g(is)f +(the)h(number)h(of)f(repetitions)h(for)1770 2350 y(\045)e(the)h +(\\multiput.)672 2441 y(\045The)g(highest-order)i(variable)f(mark)f +(needs)h(a)e(special)i(treatment:)672 2532 y +(\\ifnum\\kvmarknum=0\\kvmarknum=1\\)q(divi)q(de\\k)q(vmark)q(leng)q +(th)k(by)40 b(2\\fi)672 2623 y(\\savebox\\kvsavebox\(\\kvmarklengt)q +(h,1\))q({\045)750 2715 y(\\begin{picture}\(\\kvmarklength)q(,1\))750 +2806 y(\\put\(0,0.3\){\\makebox\(\\kvmarkl)q(engt)q(h,0.)q(7\){\\k)q +(vcon)q(tents)q(ize\\)q(kvge)q(tchar)q(}})750 2897 y +(\\put\(0,0.1\){\\line\(0,1\){0.4}})750 2989 y +(\\put\(\\kvmarklength,0.1\){\\line)q(\(0,1)q(\){0.)q(4}})750 +3080 y(\\put\(0,0.3\){\\line\(1,0\){\\kvmar)q(klen)q(gth})q(})750 +3171 y(\\end{picture}})672 3263 y +(\\multiput\(\\kvmarkstart,0\)\(\\kvma)q(rkmo)q(ve,0)q(\){\\kv)q(mark)q +(num}{)q(\\use)q(box\\)q(kvsav)q(ebox)q(})593 3354 y(\\end{picture})515 +3445 y(})515 3537 y(\045\045)515 3628 y(\045\045)f +(\\karnaughmakeleftmark)44 b(typesets)d(the)f(variable)h(marks)g(of)e +(a)h(Karnaugh)h(map)f(that)g(are)515 3719 y(\045\045)f(located)i(on)f +(the)g(left)g(of)g(the)g(diagram:)515 3811 y(\045\045)515 +3902 y(\\def\\karnaughmakeleftmark{\045)593 3993 y +(\\unitlength\\kvunitlength)593 4085 y +(\\begin{picture}\(-1,\\kvysize\))q(\(0,-\\)q(kvys)q(ize\))672 +4176 y(\\kvmarkstart=1)672 4267 y(\\kvpoweroftwo{\\kvmarkstart}{\\kv)q +(yvar)q(no})46 b(\045)39 b(\\kvmarkstart)j(is)e(the)g(start)1770 +4359 y(\045)f(position)j(for)d(the)h(\\multiput)672 4450 +y(\\kvmarklength=\\kvmarkstart)672 4541 y(\\multiply\\kvmarklength)k +(by)c(2)f(\045)g(\\kvmarklength)k(is)c(the)h(length)h(of)f(a)f(mark)672 +4633 y(\\kvmarkmove=\\kvmarkstart)672 4724 y(\\multiply\\kvmarkmove)k +(by)d(4)g(\045)f(This)h(now)g(is)g(the)g(move)g(distance)h(for)f(the) +1692 4815 y(\045)f(\\multiput.)672 4907 y(\\kvmarknum=\\kvysize)672 +4998 y(\\divide\\kvmarknum)k(by)c(\\kvmarkmove)j(\045)e(This)g(now)g +(is)f(the)h(number)h(of)1905 5255 y Fn(17)p eop +%%Page: 18 18 +18 17 bop 1770 523 a Fa(\045)39 b(repetitions)j(for)e(the)g +(\\multiput.)672 614 y(\045The)g(highest-order)i(variable)f(mark)f +(needs)h(a)e(special)i(treatment:)672 706 y +(\\ifnum\\kvmarknum=0\\kvmarknum=1\\)q(divi)q(de\\k)q(vmark)q(leng)q +(th)k(by)40 b(2\\fi)672 797 y(\\advance\\kvmarkstart)j(by)d +(\\kvmarklength)672 888 y(\\savebox\\kvsavebox\(1,\\kvmarklen)q(gth\))q +({\045)750 980 y(\\begin{picture}\(1,\\kvmarkleng)q(th\))829 +1071 y(\\put\(-0.3,0\){\\makebox\(-0.7,\\kvm)q(arkl)q(ength)q(\){\\k)q +(vcont)q(ents)q(ize\\)q(kvget)q(char)q(}})829 1162 y +(\\put\(-0.1,0\){\\line\(-1,0\){0.4}})829 1254 y +(\\put\(-0.1,\\kvmarklength\){\\line\()q(-1,0)q(\){0.4)q(}})829 +1345 y(\\put\(-0.3,0\){\\line\(0,1\){\\kvmark)q(leng)q(th}})750 +1436 y(\\end{picture}})672 1528 y +(\\multiput\(0,-\\kvmarkstart\)\(0,-\\)q(kvma)q(rkmo)q(ve\){\\)q(kvma)q +(rknum)q(}{\\u)q(sebo)q(x\\kvs)q(aveb)q(ox})593 1619 +y(\\end{picture})515 1710 y(})515 1802 y(\045\045)f +(\\karnaughmakemarks)44 b(calls)c(\\karnaughmaketopmark)k(or)c +(\\karnaughmakeleftmark)515 1893 y(\045\045)f(depending)j(on)d(whether) +i(\\kvvarno)g(is)f(odd)g(or)g(even.)515 1984 y(\045\045)515 +2076 y(\\def\\karnaughmakemarks{\045)515 2167 y(\\ifnum\\kvvarno>0)593 +2258 y(\\let\\next=\\karnaughmakemarks)593 2350 y(\\ifodd\\kvvarno)j +(\045)c(We)h(have)g(to)g(make)g(a)f(mark)h(at)g(the)g(top)672 +2441 y(\\advance\\kvxvarno)j(by)c(-1)672 2532 y +(\\put\(0,\\kvxvarno\){\\karnaughmake)q(topm)q(ark})593 +2623 y(\\else)i(\045)e(We)h(have)g(to)g(make)g(a)f(mark)h(at)g(the)g +(left)672 2715 y(\\advance\\kvyvarno)j(by)c(-1)672 2806 +y(\\put\(-\\kvyvarno,-\\kvysize\){\\kar)q(naug)q(hmak)q(eleft)q(mark)q +(})593 2897 y(\\fi)593 2989 y(\\advance\\kvvarno)k(by)d(-1)515 +3080 y(\\else)593 3171 y(\\let\\next=\\relax)515 3263 +y(\\fi)515 3354 y(\\next)515 3445 y(})515 3537 y(\045\045)515 +3628 y(\045\045)f(\\karnaughmap)j(is)e(the)g(macro)g(that)g(a)g(user)g +(calls)g(if)g(he)g(wants)g(to)g(draw)g(a)515 3719 y(\045\045)f +(Karnaugh)i(map:)515 3811 y(\045\045)515 3902 y +(\\def\\karnaughmap#1#2#3#4#5{\045)515 3993 y(\045\045)515 +4085 y(\045\045)e(#1)h(is)g(the)g(number)g(of)g(variables)h(in)f(the)g +(Karnaugh)h(map)515 4176 y(\045\045)e(#2)h(is)g(the)g(identifier)h(of)f +(the)g(function)515 4267 y(\045\045)f(#3)h(is)g(the)g(list)g(of)g +(identifiers)h(of)f(those)g(variables)515 4359 y(\045\045)f(#4)h(is)g +(the)g(list)g(of)g(tokens)g(that)g(have)g(to)g(be)g(written)h(into)f +(the)g(map)515 4450 y(\045\045)f(#5)h(is)g(something)h(that)f(you)g +(want)g(to)g(draw)g(inside)h(the)f(Karnaugh)h(map)515 +4541 y(\045\045)515 4633 y(\\kvvarno=#1)81 b(\045)39 +b(\\kvvarno)i(is)f(the)g(total)g(number)h(of)e(variables)515 +4724 y(\\kvyvarno=#1)j(\045)d(\\kvyvarno)i(is)f(the)g(number)h(of)e +(variable)i(marks)g(at)e(the)h(left)515 4815 y(\\divide\\kvyvarno)j(by) +c(2)515 4907 y(\\kvxvarno=#1)j(\045)d(\\kvxvarno)i(is)f(the)g(number)h +(of)e(variable)i(marks)g(on)e(top)515 4998 y(\\advance\\kvxvarno)k(by)d +(-\\kvyvarno)1905 5255 y Fn(18)p eop +%%Page: 19 19 +19 18 bop 515 523 a Fa(\\kvxsize=1)515 614 y +(\\kvpoweroftwo{\\kvxsize}{\\kvxva)q(rno})515 706 y(\\kvysize=1)515 +797 y(\\kvpoweroftwo{\\kvysize}{\\kvyva)q(rno})515 888 +y(\\advance\\kvxsize)43 b(by)c(\\kvyvarno)515 980 y +(\\advance\\kvxvarno)k(by)d(\\kvysize)515 1071 y +(\\unitlength\\kvunitlength)515 1162 y +(\\begin{picture}\(\\kvxsize,\\kvxv)q(arno\))q(\(-\\k)q(vyva)q(rno,-)q +(\\kvy)q(size\))515 1254 y(\\advance\\kvxsize)j(by)c(-\\kvyvarno)515 +1345 y(\\advance\\kvxvarno)k(by)d(-\\kvysize)515 1436 +y(\\put\(0,-\\kvysize\){\045)515 1528 y +(\\begin{picture}\(\\kvxsize,\\kvys)q(ize\))515 1619 +y(\\multiput\(0,0\)\(0,1\){\\kvysize}{)q(\\line)q(\(1,0)q(\){\\k)q +(vxsiz)q(e}})515 1710 y(\\multiput\(0,0\)\(1,0\){\\kvxsize}{)q(\\line)q +(\(0,1)q(\){\\k)q(vysiz)q(e}})515 1802 y +(\\put\(0,\\kvysize\){\\line\(1,0\){\\k)q(vxsiz)q(e}})515 +1893 y(\\put\(\\kvxsize,0\){\\line\(0,1\){\\k)q(vysiz)q(e}})515 +1984 y(#5)515 2076 y(\\end{picture}})515 2167 y +(\\put\(-\\kvyvarno,0\){\\makebox\(\\k)q(vyvar)q(no,\\)q(kvxv)q(arno\)) +q({#2})q(})515 2258 y(\\kvindexcounter=0)515 2350 y +(\\kvargumentstring{#4})515 2441 y(\\put\(0,-\\kvysize\){\\karnaughmak) +q(emap{)q(\\kvy)q(size)q(}{0}})515 2532 y(\\ifodd\\kvvarno)515 +2623 y({\\divide\\kvxsize)j(by)c(2)515 2715 y +(\\put\(\\kvxsize,-\\kvysize\){\\karn)q(aughm)q(akem)q(ap{\\)q(kvysi)q +(ze}{)q(1}}})515 2806 y(\\fi)515 2897 y(\\kvargumentstring{#3})515 +2989 y(\\karnaughmakemarks)515 3080 y(\045\045)515 3171 +y(\\end{picture})515 3263 y(}\045)515 3354 y(\045\045)515 +3445 y(\045\045)g(The)h(definition)i(of)e(\\kvmap)g(is)g(necessary)h +(to)f(maintain)h(compatibility)h(with)e(older)515 3537 +y(\045\045)f(versions)i(of)f(this)g(macro)h(package:)515 +3628 y(\045\045)515 3719 y(\\def\\kvmap{\\karnaughmap}\045)515 +3811 y(\045\045)515 3902 y(\045\045)515 3993 y(\045\045)e(The)h(Macro)h +(\\veitchmakechart)i(calls)d(itself)h(recursively)g(until)g(the)f +(parameter)h(#1)515 4085 y(\045\045)e(equals)i(1,)f(whereupon)h(it)f +(returns)g(a)g(single)h(token)f(from)g(the)g(list)g(of)g(arguments,)515 +4176 y(\045\045)f(enclosed)i(in)f(a)g(\\makebox)h(plus)f(the)g(index)g +(\(if)g(enabled\))h(in)f(a)f(smaller)i(\\makebox:)515 +4267 y(\045\045)515 4359 y(\\def\\veitchmakechart#1{{\045)515 +4450 y(\\kvrecursiondepth=\\number#1)515 4541 y +(\\ifnum\\kvrecursiondepth>1)515 4633 y(\\divide\\kvrecursiondepth)j +(by)c(2)515 4724 y(\\unitlength=\\kvunitlength)515 4815 +y(\\multiply\\unitlength)k(by)39 b(\\kvrecursiondepth)515 +4907 y(\045\045)515 4998 y(\\begin{picture}\(2,2\)\045)1905 +5255 y Fn(19)p eop +%%Page: 20 20 +20 19 bop 515 523 a Fa(\\put\(0,1\){\\veitchmakechart{\\kv)q(recur)q +(sion)q(dept)q(h}}\045)515 614 y(\\put\(1,1\){\\veitchmakechart{\\kv)q +(recur)q(sion)q(dept)q(h}}\045)515 706 y +(\\put\(0,0\){\\veitchmakechart{\\kv)q(recur)q(sion)q(dept)q(h}}\045) +515 797 y(\\put\(1,0\){\\veitchmakechart{\\kv)q(recur)q(sion)q(dept)q +(h}}\045)515 888 y(\\end{picture}\045)515 980 y(\\else)515 +1071 y(\\unitlength=\\kvunitlength)515 1162 y(\\begin{picture}\(1,1\)) +515 1254 y(\\put\(0,0\){\\makebox\(1,1\){\\kvcon)q(tents)q(ize\\)q +(kvge)q(tchar)q(}}\045)515 1345 y(\\put\(0.05,0.05\){\\makebox\(0.9,0)q +(.9\)[b)q(l]{\\)q(kvin)q(dexsi)q(ze\\k)q(vcurr)q(enti)q(ndex)q(}}\045) +515 1436 y(\\end{picture})515 1528 y(\\fi}}\045)515 1619 +y(\045\045)515 1710 y(\\def\\veitchmaketopmark{\045)593 +1802 y(\\unitlength\\kvunitlength)593 1893 y +(\\begin{picture}\(\\kvxsize,1\))672 1984 y(\\kvmarkstart=1)672 +2076 y(\\kvpoweroftwo{\\kvmarkstart}{\\kv)q(xvar)q(no})46 +b(\045)39 b(\\kvymarkstart)j(is)e(the)g(start)1770 2167 +y(\045)f(position)j(for)d(the)h(\\multiput)672 2258 y +(\\kvmarklength=\\kvmarkstart)45 b(\045)39 b(\\kvmarklength)j(is)e(the) +g(length)h(of)e(a)h(mark)672 2350 y(\\kvmarkmove=\\kvmarkstart)672 +2441 y(\\multiply\\kvmarkmove)j(by)d(2)g(\045)f(This)h(is)g(the)g(move) +g(distance)h(for)f(the)g(\\multiput.)672 2532 y(\\kvmarknum=\\kvxsize) +672 2623 y(\\divide\\kvmarknum)j(by)c(\\kvmarkmove)j(\045)e(This)g(is)f +(the)h(number)h(of)f(repetitions)h(for)1966 2715 y(\045)f(the)g +(\\multiput.)672 2806 y(\\savebox\\kvsavebox\(\\kvmarklengt)q(h,1\))q +({\045)750 2897 y(\\begin{picture}\(\\kvmarklength)q(,1\))750 +2989 y(\\put\(0,0.3\){\\makebox\(\\kvmarkl)q(engt)q(h,0.)q(7\){\\k)q +(vcon)q(tents)q(ize\\)q(kvge)q(tchar)q(}})750 3080 y +(\\put\(0,0.1\){\\line\(0,1\){0.4}})750 3171 y +(\\put\(\\kvmarklength,0.1\){\\line)q(\(0,1)q(\){0.)q(4}})750 +3263 y(\\put\(0,0.3\){\\line\(1,0\){\\kvmar)q(klen)q(gth})q(})750 +3354 y(\\end{picture}})672 3445 y +(\\multiput\(\\kvmarkstart,0\)\(\\kvma)q(rkmo)q(ve,0)q(\){\\kv)q(mark)q +(num}{)q(\\use)q(box\\)q(kvsav)q(ebox)q(})593 3537 y(\\end{picture})515 +3628 y(})515 3719 y(\045\045)515 3811 y(\\def\\veitchmakeleftmark{\045) +593 3902 y(\\unitlength\\kvunitlength)593 3993 y +(\\begin{picture}\(-1,\\kvysize\))q(\(0,-\\)q(kvys)q(ize\))672 +4085 y(\\kvmarkstart=1)672 4176 y(\\kvpoweroftwo{\\kvmarkstart}{\\kv)q +(yvar)q(no})46 b(\045)39 b(\\kvmarkstart)j(is)e(the)g(start)1770 +4267 y(\045)f(position)j(for)d(the)h(\\multiput)672 4359 +y(\\kvmarklength=\\kvmarkstart)672 4450 y(\\kvmarkmove=\\kvmarkstart) +672 4541 y(\\multiply\\kvmarkmove)j(by)d(2)g(\045)f(This)h(now)g(is)g +(the)g(move)g(distance)h(for)f(the)g(\\multiput.)672 +4633 y(\\kvmarknum=\\kvysize)672 4724 y(\\divide\\kvmarknum)j(by)c +(\\kvmarkmove)j(\045)e(This)g(now)g(is)f(the)h(number)h(of)1966 +4815 y(\045)f(repetitions)h(for)f(the)g(\\multiput.)672 +4907 y(\\advance\\kvmarkstart)j(by)d(\\kvmarklength)672 +4998 y(\\savebox\\kvsavebox\(1,\\kvmarklen)q(gth\))q({\045)1905 +5255 y Fn(20)p eop +%%Page: 21 21 +21 20 bop 750 523 a Fa(\\begin{picture}\(1,\\kvmarkleng)q(th\))829 +614 y(\\put\(-0.3,0\){\\makebox\(-0.7,\\kvm)q(arkl)q(ength)q(\){\\k)q +(vcont)q(ents)q(ize\\)q(kvget)q(char)q(}})829 706 y +(\\put\(-0.1,0\){\\line\(-1,0\){0.4}})829 797 y +(\\put\(-0.1,\\kvmarklength\){\\line\()q(-1,0)q(\){0.4)q(}})829 +888 y(\\put\(-0.3,0\){\\line\(0,1\){\\kvmark)q(leng)q(th}})750 +980 y(\\end{picture}})672 1071 y(\\multiput\(0,-\\kvmarkstart\)\(0,-\\) +q(kvma)q(rkmo)q(ve\){\\)q(kvma)q(rknum)q(}{\\u)q(sebo)q(x\\kvs)q(aveb)q +(ox})593 1162 y(\\end{picture})515 1254 y(})515 1345 +y(\045\045)515 1436 y(\\def\\veitchmakemarks{\045)515 +1528 y(\\ifnum\\kvvarno>0)593 1619 y(\\let\\next=\\veitchmakemarks)593 +1710 y(\\ifodd\\kvvarno)43 b(\045)c(We)h(have)g(to)g(make)g(a)f(mark)h +(at)g(the)g(top)672 1802 y(\\advance\\kvxvarno)j(by)c(-1)672 +1893 y(\\put\(0,\\kvxvarno\){\\veitchmaketo)q(pmar)q(k})593 +1984 y(\\else)i(\045)e(We)h(have)g(to)g(make)g(a)f(mark)h(at)g(the)g +(left)672 2076 y(\\advance\\kvyvarno)j(by)c(-1)672 2167 +y(\\put\(-\\kvyvarno,-\\kvysize\){\\vei)q(tchm)q(akel)q(eftma)q(rk})593 +2258 y(\\fi)593 2350 y(\\advance\\kvvarno)k(by)d(-1)515 +2441 y(\\else)593 2532 y(\\let\\next=\\relax)515 2623 +y(\\fi)515 2715 y(\\next)515 2806 y(})515 2897 y(\045\045)515 +2989 y(\\def\\veitchchart#1#2#3#4#5{\045)515 3080 y(\045\045)515 +3171 y(\045\045)f(#1)h(is)g(the)g(number)g(of)g(variables)h(in)f(the)g +(Veitch)g(chart)515 3263 y(\045\045)f(#2)h(is)g(the)g(identifier)h(of)f +(the)g(function)515 3354 y(\045\045)f(#3)h(is)g(the)g(list)g(of)g +(identifiers)h(of)f(those)g(variables)515 3445 y(\045\045)f(#4)h(is)g +(the)g(list)g(of)g(tokens)g(that)g(have)g(to)g(be)g(written)h(into)f +(the)g(chart)515 3537 y(\045\045)f(#5)h(is)g(something)h(that)f(you)g +(want)g(to)g(draw)g(inside)h(the)f(Veitch)g(chart)515 +3628 y(\045\045)515 3719 y(\\kvvarno=#1)81 b(\045)39 +b(\\kvvarno)i(is)f(the)g(total)g(number)h(of)e(variables)515 +3811 y(\\kvyvarno=#1)j(\045)d(\\kvyvarno)i(is)f(the)g(number)h(of)e +(variable)i(marks)g(at)e(the)h(left)515 3902 y(\\divide\\kvyvarno)j(by) +c(2)515 3993 y(\\kvxvarno=#1)j(\045)d(\\kvxvarno)i(is)f(the)g(number)h +(of)e(variable)i(marks)g(on)e(top)515 4085 y(\\advance\\kvxvarno)k(by)d +(-\\kvyvarno)515 4176 y(\\kvxsize=1)515 4267 y +(\\kvpoweroftwo{\\kvxsize}{\\kvxva)q(rno})515 4359 y(\\kvysize=1)515 +4450 y(\\kvpoweroftwo{\\kvysize}{\\kvyva)q(rno})515 4541 +y(\\advance\\kvxsize)j(by)c(\\kvyvarno)515 4633 y(\\advance\\kvxvarno)k +(by)d(\\kvysize)515 4724 y(\\unitlength\\kvunitlength)515 +4815 y(\\begin{picture}\(\\kvxsize,\\kvxv)q(arno\))q(\(-\\k)q(vyva)q +(rno,-)q(\\kvy)q(size\))515 4907 y(\\advance\\kvxsize)j(by)c +(-\\kvyvarno)515 4998 y(\\advance\\kvxvarno)k(by)d(-\\kvysize)1905 +5255 y Fn(21)p eop +%%Page: 22 22 +22 21 bop 515 523 a Fa(\\put\(0,-\\kvysize\){\045)515 +614 y(\\begin{picture}\(\\kvxsize,\\kvys)q(ize\))515 +706 y(\\multiput\(0,0\)\(0,1\){\\kvysize}{)q(\\line)q(\(1,0)q(\){\\k)q +(vxsiz)q(e}})515 797 y(\\multiput\(0,0\)\(1,0\){\\kvxsize}{)q(\\line)q +(\(0,1)q(\){\\k)q(vysiz)q(e}})515 888 y +(\\put\(0,\\kvysize\){\\line\(1,0\){\\k)q(vxsiz)q(e}})515 +980 y(\\put\(\\kvxsize,0\){\\line\(0,1\){\\k)q(vysiz)q(e}})515 +1071 y(#5)515 1162 y(\\end{picture}})515 1254 y +(\\put\(-\\kvyvarno,0\){\\makebox\(\\k)q(vyvar)q(no,\\)q(kvxv)q(arno\)) +q({#2})q(})515 1345 y(\\kvindexcounter=0)515 1436 y +(\\kvargumentstring{#4})515 1528 y(\\put\(0,-\\kvysize\){\\veitchmakec) +q(hart{)q(\\kvy)q(size)q(}})515 1619 y(\\ifodd\\kvvarno)515 +1710 y({\\divide\\kvxsize)43 b(by)c(2)515 1802 y +(\\put\(\\kvxsize,-\\kvysize\){\\veit)q(chmak)q(echa)q(rt{\\)q(kvysi)q +(ze}})q(})515 1893 y(\\fi)515 1984 y(\\kvargumentstring{#3})515 +2076 y(\\veitchmakemarks)515 2167 y(\045\045)515 2258 +y(\\end{picture})515 2350 y(}\045)515 2441 y(\045\045)515 +2623 y(\045\045\045)h(Local)g(Variables:)515 2715 y(\045\045\045)g +(mode:)g(latex)515 2806 y(\045\045\045)g(TeX-master:)h(t)515 +2897 y(\045\045\045)f(End:)1905 5255 y Fn(22)p eop +%%Trailer +end +userdict /end-hook known{end-hook}if +%%EOF -- cgit v1.2.3