5.27.linboli.ps

是multiuser detection 这本书的习题解答, 很有用的书.

    end
} bind def

/@flushfonts { @TeXSave restore /@TeXSave save def} def

end                     % revert to previous dictionary
TeXDict begin @start
%%Title: 527.dvi
%%Creator: dvi2ps
%%EndProlog
%%Page: 1 1 
1 @bop0
1.000000 /cmr17.300 @newfont
cmr17.300 @sf
[<C01FF000C0FFFC00E3F01F00E7800F80FF0003C0FC0001E0F80001E0F00000F0F00000F0E00000
  70E0000078E0000078C0000078C0000078C0000078C0000078000000F8000000F8000001F80000
  01F0000003F0000007E000001FE00001FFC0001FFF8000FFFF0003FFFE000FFFF8001FFFC0001F
  FC00003FC000007F0000007E0000007C000000F8000000F8000060F8000060F0000060F00000E0
  F00000E0F00000E0F00001E0780001E0780003E03C0003E03C0007E01E000FE00F003CE007C0F8
  E003FFF060007F8060> 32 51 -4 1 36] 83 @dc
[<001FC00000FFF80001F07C0007C01F000F0007801E0003C01E0003C03C0001E03C0001E07C0001
  F0780000F0F80000F8F80000F8F80000F8F80000F8F80000F8F80000F8F80000F8F80000F87800
  00F0780000F0780000F03C0001E03C0001E01E0003C01E0003C00F00078007800F0001E03C0000
  FFF800001FC000> 32 31 -2 0 32] 111 @dc
[<FFFCFFFC0FC0078007800780078007800780078007800780078007800780078007800780078007
  800780078007800780078007800780078007800780078007800780078007800780078007800780
  07800780078007800780078007800F80FF80FF800780> 16 50 -2 0 17] 108 @dc
[<003FC0FF8000FFF8FF8001F03CF80003C00EF00003C007F000078003F000078001F000078001F0
  00078001F000078000F000078000F000078000F000078000F000078000F000078000F000078000
  F000078000F000078000F000078000F000078000F000078000F000078000F000078000F0000780
  00F000078000F000078000F000078000F0000F8001F000FF801FF000FF801FF000078000F000> 40 31 -2 0 36] 117 @dc
[<003F0000FFC000F9C001E0E001E06003C07003C03003C03003C03003C03003C03003C03003C030
  03C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C000FFFFE0FFFFE01FC0000FC00007C00003C00003C00001C00001C00001C000
  00C00000C00000C00000C00000C000> 24 44 -1 0 25] 116 @dc
[<FFF8FFF80FC0078007800780078007800780078007800780078007800780078007800780078007
  8007800780078007800780078007800F80FF80FF80078000000000000000000000000000000000
  0000000000000F001F801F801F801F800F00> 16 48 -2 0 17] 105 @dc
[<FFFC1FFF80FFFC1FFF800FC001F800078000F000078000F000078000F000078000F000078000F0
  00078000F000078000F000078000F000078000F000078000F000078000F000078000F000078000
  F000078000F000078000F000078000F000078000F000078000F000078000F00007C000F00007C0
  00F00007E000F00007E001F00007F001E0000FB803E000FF9E0FC000FF87FF80000781FE0000> 40 31 -2 0 36] 110 @dc
[<7FFF007FFF0007E00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C000FFFFC0FFFFC003C00003C00003C00003C00003C00003C00003C00003C000
  03C00003C00003C00003E00001E03801E07C00F07C00F87C007C3C001FF80007F0> 24 50 -1 0 19] 102 @dc
[<FFFF800000FFFF80000007F000000003E000000003E000000003E000000003E000000003E00000
  0003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000
  000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003FF
  FFC00003FFFFF80003E000FE0003E0001F0003E0000F8003E00007C003E00003E003E00003F003
  E00001F003E00001F003E00001F803E00001F803E00001F803E00001F803E00001F803E00001F8
  03E00001F003E00001F003E00003F003E00003E003E00007C003E0000F8003E0001F0007E000FE
  00FFFFFFF800FFFFFFC000> 40 49 -4 0 45] 80 @dc
[<FFFE00FFFE000FC000078000078000078000078000078000078000078000078000078000078000
  07800007800007800007800007800007800007800007800007C00007C00007C00007E00007E07C
  07F07C0FB87CFFBC7CFF8FF80787F0> 24 31 -2 0 25] 114 @dc
[<0601FC00060FFF80071E0FC0073803E0077001F007E000F807C0007C07C0003C0780003E078000
  3E0780001E0780001F0780001F0780001F0780001F0780001F0780001F0780001F0780001F0780
  001F0780001E0780003E0780003E0780003C07C0007C07E0007807F000F807B803F0079F07E007
  87FF800781FE000780000007800000078000000780000007800000078000000780000007800000
  078000000780000007800000078000000780000007800000078000000F800000FF800000FF8000
  0007800000> 32 50 -2 0 36] 98 @dc
[<003FC00000FFF80003F83C0007E00E000F8007001F0003003E0003803E0001807C0000007C0000
  007C000000F8000000F8000000F8000000F8000000F8000000F8000000FFFFFF80FFFFFF80F800
  078078000F807C000F807C000F803C000F003E001F001E001E000F003E0007807C0003E1F80001
  FFF000003F8000> 32 31 -2 0 29] 101 @dc
[<FFFC1FFF83FFF0FFFC1FFF83FFF00FC001F8003F00078000F0001E00078000F0001E00078000F0
  001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E0007
  8000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F000
  1E00078000F0001E00078000F0001E00078000F0001E00078000F0001E00078000F0001E0007C0
  00F8001E0007C000F8001E0007E000FC001E0007E001FC003E0007F001EE003C000FB803E7007C
  00FF9E0FC3C1F800FF87FF80FFF0000781FE003FC000> 56 31 -2 0 55] 109 @dc
[<007F800003FFE00007C1F8001E007C001C003E0038001F0070000F8060000780E00007C0E00007
  C0F80003C0F80003E0F80003E0F80003E0780003E0000003E0000003E0000003E0000003E00000
  03E0000003C0000007C0000007C00C0007800E000F000F001F000F803E000DF07C000CFFF0000C
  1FC0000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C000000
  0C0000000C0000000DFF00000FFFE0000FFFF8000FFFFC000FFFFE000FC03F000C000300> 32 48 -3 1 32] 53 @dc
[<78FCFCFCFC78> 8 6 -6 0 17] 46 @dc
[<FFFFFF80FFFFFF80FFFFFF807FFFFFC0380001C01C0000C00E0000C0070000C00380006001C000
  6001E0006000F0000000780000003C0000001E0000000F0000000780000003C0000003E0000001
  F0000000F80000007C0000003E0000003F0000001F0000001F8000000F8000000FC0000007C000
  0007E0000007E0780007E0FC0003E0FC0003E0FC0003E0FC0007E0F00007E0E00007E0600007C0
  70000FC030000F8038001F801C003F000E007E000783FC0003FFF000007F8000> 32 47 -3 0 32] 50 @dc
[<0070000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000F800
  0000780000007800000078000000780000007C0000003C0000003C0000003C0000003C0000001C
  0000001E0000001E0000000E0000000E0000000700000007000000030000000380000001800000
  01C0000000E0000000600000007000000030000000380000001C00C0000C00C0000E00C0000700
  6000030060000380600001C0700000C07FFFFFE03FFFFFF03FFFFFF03FFFFFF03C000000300000
  00> 32 49 -4 1 32] 55 @dc
[<FFFFFFFFF0FFFFFFFFF007E0001FF003E00003F803E00000F803E000007803E000003803E00000
  3803E000001803E000001C03E000001C03E000000C03E000000C03E000000C03E000000C03E000
  000603E000C00603E000C00603E000C00003E000C00003E000C00003E001C00003E001C00003E0
  07C00003FFFFC00003FFFFC00003E007C00003E001C00003E001C00003E000C00003E000C00003
  E000C00003E000C00003E000C01803E000001803E000001803E000001803E000003003E0000030
  03E000003003E000003003E000007003E000007003E00000F003E00001F003E00003E007E0001F
  E0FFFFFFFFE0FFFFFFFFE0> 40 49 -4 0 45] 69 @dc
[<FFFFFFFF00FFFFFFFF0007E001FF0003E0003F0003E0001F0003E0000F8003E000078003E00003
  8003E000038003E000038003E000018003E000018003E000018003E000018003E00000C003E000
  00C003E00000C003E00000C003E000000003E000000003E000000003E000000003E000000003E0
  00000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003
  E000000003E000000003E000000003E000000003E000000003E000000003E000000003E0000000
  03E000000003E000000003E000000003E000000003E000000003E000000003E000000007F00000
  00FFFFC00000FFFFC00000> 40 49 -4 0 41] 76 @dc
[<007F800003FFF00007C1FC000F007E001C003F0038001F8070000F8060000FC0E0000FC0F80007
  E0FC0007E0FC0007E0FC0007E0FC0007E0780007E0000007E0000007E0000007C000000FC00000
  0FC000001F8000001F0000003E0000007C000001F00000FFC00000FF80000007E0000001F80000
  00FC0000007C0000003E0000003F0000001F0000001F0008001F803E001F803E001F803F000F80
  3E001F803E001F8038001F801C001F001E003F000F007E0007C1FC0001FFF000007FC000> 32 48 -3 1 32] 51 @dc
1.000000 /cmr12.300 @newfont
cmr12.300 @sf
[<FFFFFF00FFFFFF0007803F0007800F000780070007800700078003000780038007800380078001
  800780018007800180078001800780000007800000078000000780000007800000078000000780
  000007800000078000000780000007800000078000000780000007800000078000000780000007
  8000000780000007800000FFFE0000FFFE0000> 32 34 -2 0 30] 76 @dc
[<FFC0FFC00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E001E00FE00FE
  000E00000000000000000000000000000000001E003E003E003E001E00> 16 34 -1 0 13] 105 @dc
[<FFE7FFFFE7FF0E00700E00700E00700E00700E00700E00700E00700E00700E00700E00700E0070
  0E00700E00700F00700F00701F80F0FFE1E0FEFFE00E3F80> 24 21 -1 0 27] 110 @dc
[<0C3F800CFFE00FE1F00F80F80F007C0E003C0E003C0E001E0E001E0E001E0E001E0E001E0E001E
  0E001E0E001E0E003C0F003C0F80780FE1F00EFFE00E3FC00E00000E00000E00000E00000E0000
  0E00000E00000E00000E00000E00001E0000FE0000FE00000E0000> 24 35 -1 0 27] 98 @dc
[<01FC0007FF000F07801C01C03800E07800F0700070F00078F00078F00078F00078F00078F00078
  F000787000707800F03800E01C01C00F078007FF0001FC00> 24 21 -1 0 24] 111 @dc
[<FFC00FFFFFC00FFF1F0001F00E0000F0060001E0060001E0060001E0030003C0030003C0030003
  C00180078001FFFF8001FFFF8000C00F0000C00F0000C00F0000601E0000601E0000601E000030
  3C0000303C0000383C000018780000187800001CF800000CF000000CF000000FF0000007E00000
  07E0000007E0000003C0000003C0000003C00000018000> 32 35 -2 0 36] 65 @dc
[<FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E00000E3F800EFFE00FE1F0
  0F80F80F007C0E003C0E003C0E003E0E001E0E001E0E001E0E001E0E001E0E001E0E003E0E003C
  0F007C0F80F8FFE1F0FEFFE00E3FC0> 24 31 -1 10 27] 112 @dc
[<FFF0FFF00E000E000E000E000E000E000E000E000E000E000E000E000F000F000F0F1F8FFFEFFE
  FF0E7E> 16 21 -1 0 18] 114 @dc
[<FFE0FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E
  000E000E000E000E000E000E000E000E000E000E000E001E00FE00FE000E00> 16 35 -1 0 13] 108 @dc
[<03C00003C00003C00003C00003C00003C00003C00003C00003C00003C00001C00001C00001C000
  01E00001E00000E00000E00000E000007000007000003000003800001C00000C00000E00C00600
  C00700C00380E001806001C07FFFE07FFFE07FFFE0700000600000> 24 35 -3 1 24] 55 @dc
[<E0E0703818181C0C0C0C7CFCFCF870> 8 15 -4 10 13] 44 @dc
[<FFFEFFFE0380038003800380038003800380038003800380038003800380038003800380038003
  8003800380038003800380038003800380F380FF800F8003800180> 16 33 -4 0 24] 49 @dc
[<0FE0003FF800787C00781E00780F007807007807800003800003C00003C00001C00081E007F9E0
  1FFDE03E0FE03C07E07803E07803E0F003E0F001E0F001E0F001E0F001E0F001E0F001C0F001C0
  F003C07003C07803803807803C07001F1E000FFC0003F800> 24 34 -2 1 24] 57 @dc
[<FFFC0000FFFC000007800000078000000780000007800000078000000780000007800000078000
  00078000000780000007800000078000000780000007FFF00007FFFC0007803F0007800F800780
  0780078003C0078003C0078003E0078003E0078003E0078003E0078003E0078003C0078003C007
  80078007800F8007803F00FFFFFC00FFFFF000> 32 34 -2 0 33] 80 @dc
[<01FC0007FF000F83C03E01C03C00E0780060780000F00000F00000F00000F00000F00000FFFFE0
  FFFFE07801E07801E03C01C03E03C01F0F8007FF0001FC00> 24 21 -1 0 21] 101 @dc
[<FFE3FF8FFEFFE3FF8FFE0E003800E00E003800E00E003800E00E003800E00E003800E00E003800
  E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00F003C
  00E00F003C00E01F807E01E0FFE0F783C0FEFFF3FFC00E3FC0FF00> 40 21 -1 0 40] 109 @dc
[<07F0000FFC003E1F00380F80700780E003C0E003C0F001E0F001E0F001E07001E00001E00001E0
  0001E00001E00001C01803C01C03C01E07801F0F001FFE0019F800180000180000180000180000
  1800001800001FF0001FFC001FFF001FFF801E0780180180> 24 34 -2 1 24] 53 @dc
[<70F8F8F870> 8 5 -4 0 13] 46 @dc
[<FFFFC0FFFFC0FFFFC07000C03800E01C00600E006007006003800001C00000E00000F000007800
  003C00001E00000F00000F800007C00007C00003C00003E07003E0F801E0F801E0F803E0F803E0
  E003E06007C07007C0380F803C3F000FFE0003F800> 24 33 -2 0 24] 50 @dc
1.000000 /cmr10.300 @newfont
cmr10.300 @sf
[<03FFFC0003FFFC00000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F00
  00000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000C00F0060C00F
  0060C00F0060C00F0060E00F00E0600F00C0700F01C0780F03C07FFFFFC07FFFFFC0> 32 28 -1 0 29] 84 @dc
[<FF9FF0FF9FF01C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C0380
  1E03801F07801F8F801DFF001CFE001C00001C00001C00001C00001C00001C00001C00001C0000
  1C0000FC0000FC0000> 24 29 -1 0 23] 104 @dc
[<07F00FF83F1C3C0E78067800F000F000F000F000FFFEFFFEF01E781E781C3E7C1FF807E0> 16 18 -1 0 18] 101 @dc
[<FFC0FFC01C001C001C001C001C001C001C001C001C001C001C001E301E781F78FFF8FDF0> 16 18 -1 0 16] 114 @dc
[<03F0000FFC001E1E00380700780780700380F003C0F003C0F003C0F003C0F003C0F003C0700380
  7807803807001E1E000FFC0003F000> 24 18 -1 0 20] 111 @dc
[<FF8000FF80001C00001C00001C00001C00001C00001C00001CFE001FFF801F8FC01E03C01E01E0
  1C01E01C00F01C00F01C00F01C00F01C00F01C00F01C01F01C01E01E03E01F87C0FFFF80FCFE00> 24 26 -1 8 23] 112 @dc
[<18FE001BFF801F87C01E03C01E01E01C01E01C00F01C00F01C00F01C00F01C00F01C00F01C00F0
  1C01E01E03E01F87C01FFF801CFE001C00001C00001C00001C00001C00001C00001C00001C0000
  1C0000FC0000FC0000> 24 29 -1 0 23] 98 @dc
[<1FC7807FFFC07C7E60F81E60F00E60F00E60F80E00F80E007E0E003FFE0007FE00001E00000E00
  180E003C1E003C3C003FF8001FE000> 24 18 -1 0 20] 97 @dc
[<FF80FF801C001C001C001C001C001C001C001C001C001C001C001C001C001C00FC00FC00000000
  0000000000000000003C007C007C007C003C00> 16 29 -1 0 11] 105 @dc
[<FF80FF801C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C001C
  001C001C001C001C001C001C001C00FC00FC00> 16 29 -1 0 11] 108 @dc
[<07C00FE01E701C301C301C301C301C301C001C001C001C001C001C001C001C00FFE0FFE03C001C
  001C000C000C000C000C000C00> 16 26 -1 0 16] 116 @dc
[<3C00007E0000C70000F18000F1800000C00000C00000C00000E00000E00000E00001F00001F000
  03F800039800039800071C00070C00070C000E06000E06000E06001C07001C0780FF0FE0FF0FE0> 24 26 -1 8 21] 121 @dc
[<7FE07FE00E000E000E000E000E000E000E000E000E000E000E000E000E000E00FFE0FFE00E000E
  000E000E000E000E000F1E071E079E03FE00FC> 16 29 0 0 12] 102 @dc
[<07F3F00FFFF01E1F801C0F801C07801C03801C03801C03801C03801C03801C03801C03801C0380
  1C03801C03801C0380FC1F80FC1F80> 24 18 -1 0 23] 117 @dc
[<CFC0FFF0F8F0F078E038C038C07800F81FF07FE07FC0F800F030E030E070F0F07FF01FB0> 16 18 -1 0 16] 115 @dc
1.000000 /cmmi10.300 @newfont
cmmi10.300 @sf
[<E03E00F07F00F0F70070E38070E18078E1C078E1C038E0003BE0003FC0003F00001F87801DC780
  1EE7801E73800E39800E1F800F0F800F000007000007000007800007800003800003800003C000
  03C0001FC0000FC000> 24 29 -2 0 21] 107 @dc
cmr10.300 @sf
[<07E3F01FFBF03E1F807C0F80780780F00380F00380F00380F00380F00380F00380F00380F80380
  7803807C07803E1F801FFF8007F380000380000380000380000380000380000380000380000380
  000380001F80001F80> 24 29 -1 0 23] 100 @dc
[<07F00FF83F1C3C0E78067800F000F000F000F000F000F000780078183C3C3E3C0FFC07F8> 16 18 -1 0 18] 99 @dc
[<FF9FF0FF9FF01C03801C03801C03801C03801C03801C03801C03801C03801C03801C03801C0380
  1E03801F07801F8F80FDFF00FCFE00> 24 18 -1 0 23] 110 @dc
[<07F8001FFE007C0F80F807C0F003C0E001C0E001C0F003C07807C07FFF803FFF003FFC00780000
  70000070000037E0003FF8003C3C00781E00781E00781E00781E00781E00781E003C3DC01FFFC0
  07E7C0> 24 27 -1 9 20] 103 @dc
cmmi10.300 @sf
[<0001F0000003F8000003FC000003FC0000038E0000030600000303000003010001FF010007FF80
  001FC3E0003CC3F00038E63C00787E1E00703C0F00F0000700F0000780F00003C0F00003C0F000
  01E0F00001E0F00001E0780000F0780000F0780000F03C0000F03C0000F01E0000F00E0000F007
  0000E0078001E003C003C000F003C0007C0F80001FFE000003F800> 32 36 -2 8 32] 81 @dc
1.000000 /cmex10.300 @newfont
cmex10.300 @sf
[<00E001E001C0038007000F000E001C001C001C003800380078007000700070007000E000E000E0
  00E000E000E000E000E000E000E000E000E000E000E000E0007000700070007000780038003800
  1C001C001C000E000F000700038001C001E000E0> 16 49 -6 47 19] 0 @dc
1.000000 /cmmi7.300 @newfont
cmmi7.300 @sf
[<FF07F8FF07F81C01C00E01C00601C00301C003FFC001FFC001C1C000C1C00061C0006380003380
  003B80001B80000F80000F80000780000380000380> 24 20 -1 0 24] 65 @dc
1.000000 /cmmi5.300 @newfont
cmmi5.300 @sf
[<C3C0E3E0E37067307E007CE07FE037E031E038003800180078007800> 16 14 -2 0 15] 107 @dc
cmmi7.300 @sf
[<3E007F8073C0E0E0C060E06060706030703030303C701FFE07FE> 16 13 -2 0 19] 27 @dc
1.000000 /cmsy10.300 @newfont
cmsy10.300 @sf
[<000C000000001C000000001E000000003E000000003F000000007F000000007B80000000798000
  0000F9C0000000F0C0000001F0E0000001E060000003E070000003C030000007C0380000078018
  0000EF801C0000FF000C00007F000E00001E000600000E00070000020003000000000380000000
  018000000001C000000000C000000000E000000000600000000070000000003000000000380000
  000018000000001C000000000C000000000E000000000600000000070000000003000000000380
  000000018000000001C000000000C0> 40 42 -2 40 34] 112 @dc
cmr10.300 @sf
[<FFFCFFFC> 16 2 -3 -22 20] 22 @dc
cmmi10.300 @sf
[<001C00001E00001E00000E00000E00000F00000F000007003807003C07803C07801C03801C0380
  1E03C01E03C00E01C00E01C00F01E00F01E00700E0C780E0E7C0E067E0E07771E03F3FE03E1F80> 24 26 -1 8 20] 17 @dc
cmmi7.300 @sf
[<C1E0E3F0E3386318631877007E003C003E703F703BB819F018F01C001C000C000C000E003E003E
  00> 16 20 -2 0 17] 107 @dc
cmex10.300 @sf
[<E000F000700038001C001E000E000700070007000380038003C001C001C001C001C000E000E000
  E000E000E000E000E000E000E000E000E000E000E000E000E001C001C001C001C003C003800380
  0700070007000E001E001C0038007000F000E000> 16 49 -1 47 19] 1 @dc
cmr10.300 @sf
[<60E070303818181878F8F8F870> 8 13 -3 8 11] 44 @dc
[<01C0700001C0700001C0700003E0F80003E0F80003E0F8000760CC000731CC000731CC000E318E
  000E1B86000E1B86000E1B06001C1F03001C0F03003C0F0780FF3FCFE0FF3FCFE0> 32 18 -1 0 29] 119 @dc
[<FFFFFFE0FFFFFFE000000000000000000000000000000000000000000000000000000000000000
  00FFFFFFE0FFFFFFE0> 32 12 -2 -4 32] 61 @dc
[<FFF8FFF80700070007000700070007000700070007000700070007000700070007000700070007
  0007000700C700FF003F0007000300> 16 27 -4 0 20] 49 @dc
cmmi10.300 @sf
[<C000C000E00060006000700030003800180018001C000C000C000E000600060007000300030003
  80018001C000C000C000E000600060007000300030003800180018001C000C000E000600060007
  00030003> 16 41 -2 10 20] 61 @dc
[<FFF80FE0FFF81FF00F803E3807803C1807803C0007C03E0003C03E0003C01E0003C01E0003E01E
  0001E01E0001E01E0001E07E0001FFFC0000FFFC0000F00F0000F0038000F801C0007801E00078
  00F0007800F0007C00F0003C00F0003C00F0003C00E0003E03E003FFFF8003FFFE00> 32 28 -2 0 31] 82 @dc
1.000000 /cmr7.300 @newfont
cmr7.300 @sf
[<006000006000006000006000006000006000006000006000006000006000FFFFF0FFFFF0006000
  006000006000006000006000006000006000006000006000006000> 24 22 -2 4 25] 43 @dc
cmr10.300 @sf
[<FFE0FFE0FFE0> 16 3 0 -7 13] 45 @dc
[<70F8F8F870> 8 5 -3 0 11] 46 @dc
[<FFF800FFF8000F00000F00000F00000F00000F00000F00000F03000F03000F03000F03000F0700
  0FFF000FFF000F07000F03000F03000F030C0F030C0F000C0F000C0F001C0F00180F00380F0078
  FFFFF8FFFFF8> 24 28 -2 0 27] 70 @dc
[<FF8FF8FF80FF8FF8FF801C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C
  001C01C01C001C01C01C001C01C01C001C01C01C001C01C01C001E01E01C001F03F03C001F87F8
  7C00FDFF9FF800FC7F07F000> 40 18 -1 0 34] 109 @dc
[<FF8FF8FF8FF81F0780070700030E00038E0001DC0000F80000780000700000F00001D80001DC00
  038E00070F000F0F807F8FF07F8FF0> 24 18 0 0 21] 120 @dc
[<FF9FE0FF9FE01C0F001C1E001C1E001C3C001C7C001E78001FF0001FF0001FE0001DE0001CF000
  1C78001C3C001C3E001C7FC01C7FC01C00001C00001C00001C00001C00001C00001C00001C0000
  1C0000FC0000FC0000> 24 29 -1 0 21] 107 @dc
cmmi7.300 @sf
[<FF83FC00FF83FC001E00F0000E01E0000E01E0000F03C0000F03C0000787800007C7800007FF00
  0007FF0000039E0000038E000003C7800003C3C00001C0E00001C0780001E03C0007FC3FC007FC
  3FC0> 32 20 -1 0 27] 75 @dc
1.000000 /cmsy7.300 @newfont
cmsy7.300 @sf
[<00000E00000006000000070000000380FFFFFFE0FFFFFFE000000380000007000000060000000E
  00> 32 10 -2 -2 33] 33 @dc
[<1F803F003FE0FF8070F1E1C0603BC0C0E01F80E0C01F0060C00E0060C01F0060E03F00E0607B80
  C070F1E1C03FE0FF801F803F00> 32 13 -2 0 33] 49 @dc
cmmi10.300 @sf
[<FFF87FF000FFF87FF0000F801F800007800F000007801F000007C01F000003C03E000003C03E00
  0003C03C000003E07C000001E07C000001F878000001FCF8000001FEF8000000F7F0000000F3F0
  000000F1E0000000F8F00000007878000000781C000000780E0000007C070000003C038000003C
  01E000003C00F000003E007C0003FFE1FF8003FFE1FF80> 40 28 -2 0 35] 75 @dc
[<FFE00C0000FFE00E00001F001E000006001E000006001E000007003F000003003F000003003F00
  0003007F000003807B800001807B80000180F980000180F1800001C1F1C00000C1F1C00000C1E0
  C00000C3E0C00000E3E0E0000063C0E0000067C060000067C060000077807000003F807000003F
  803000003F003000003F007C0003FE03FF8003FE03FF80> 40 28 -2 0 33] 78 @dc
[<C0000000C0000000E0000000600000006000000060000000700000003018000031FF800033FFC0
  003F81F0001F00F8001E0078001C003C001C003E000C001E000C001E000C001E000E001E000600
  0E0006000E0006001E0007001E00030FFC00030FF800038FFC0003801E0001800F0001C0070000
  C0078000E007800070038000380380001C0780000F8F000007FE000000FC00> 32 37 1 8 23] 12 @dc
[<000001800000078000001F0000007C000001F0000007C000001F0000007C000001F0000007C000
  001F0000007C000000F0000000F00000007C0000001F00000007C0000001F00000007C0000001F
  00000007C0000001F00000007C0000001F800000078000000180> 32 26 -3 3 32] 60 @dc
[<60E070303818181878F8F8F870> 8 13 -3 8 11] 59 @dc
cmr10.300 @sf
[<01C00380038007000E000C001C001800380038007000700070007000E000E000E000E000E000E0
  00E000E000E000E000E000E000E000E00070007000700070003800380018001C000C000E000700
  0380038001C0> 16 42 -3 11 16] 40 @dc
[<E0007000700038001C000C000E00060007000700038003800380038001C001C001C001C001C001
  C001C001C001C001C001C001C001C001C003800380038003800700070006000E000C001C003800
  70007000E000> 16 42 -2 11 16] 41 @dc
cmsy10.300 @sf
[<FFFFFF80FFFFFF80> 32 2 -3 -9 32] 0 @dc
cmr10.300 @sf