    { "*_instance_78*foreground",    "#000000000000" },
    { "*_instance_78*background",    "#ffffffffffff" },
    { "*_instance_77*foreground",    "#000000000000" },
    { "*_instance_77*background",    "#ffffffffffff" },
    { "*_instance_79*foreground",    "#000000000000" },
    { "*_instance_79*background",    "#ffffffffffff" },
    { "*_instance_70*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_70*foreground",    "#000000000000" },
    { "*_instance_70*background",    "#ffffffffffff" },
    { "*_instance_398*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_398*foreground",    "#000000000000" },
    { "*_instance_398*background",    "#ffffffffffff" },
    { "*_instance_407*font",    "fixed" },
    { "*_instance_407*foreground",    "#000000000000" },
    { "*_instance_407*background",    "#ffffffffffff" },
    { "*_instance_399*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_399*foreground",    "#000000000000" },
    { "*_instance_399*background",    "#ffffffffffff" },
    { "*_instance_406*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_406*foreground",    "#000000000000" },
    { "*_instance_406*background",    "#ffffffffffff" },
    { "*_instance_401*font",    "fixed" },
    { "*_instance_401*foreground",    "#000000000000" },
    { "*_instance_401*background",    "#ffffffffffff" },
    { "*_instance_400*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_400*foreground",    "#000000000000" },
    { "*_instance_400*background",    "#ffffffffffff" },
    { "*_instance_68*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_68*foreground",    "#000000000000" },
    { "*_instance_68*background",    "#ffffffffffff" },
    { "*_instance_404*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_404*foreground",    "#000000000000" },
    { "*_instance_404*background",    "#ffffffffffff" },
    { "*_instance_405*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_405*foreground",    "#000000000000" },
    { "*_instance_405*background",    "#ffffffffffff" },
    { "*_instance_408*font",    "fixed" },
    { "*_instance_408*foreground",    "#000000000000" },
    { "*_instance_408*background",    "#ffffffffffff" },
    { "*_instance_409*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_409*foreground",    "#000000000000" },
    { "*_instance_409*background",    "#ffffffffffff" },
    { "*_instance_410*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_410*foreground",    "#000000000000" },
    { "*_instance_410*background",    "#ffffffffffff" },
    { "*_instance_411*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_411*foreground",    "#000000000000" },
    { "*_instance_411*background",    "#ffffffffffff" },
    { "*_instance_74*font",    "fixed" },
    { "*_instance_74*foreground",    "#000000000000" },
    { "*_instance_74*background",    "#ffffffffffff" },
    { "*_instance_65*font",    "fixed" },
    { "*_instance_65*foreground",    "#000000000000" },
    { "*_instance_65*background",    "#ffffffffffff" },
    { "*_instance_59*font",    "fixed" },
    { "*_instance_59*foreground",    "#000000000000" },
    { "*_instance_59*background",    "#ffffffffffff" },
    { "*_instance_58*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_58*foreground",    "#000000000000" },
    { "*_instance_58*background",    "#ffffffffffff" },
    { "*_instance_60*font",    "fixed" },
    { "*_instance_60*foreground",    "#000000000000" },
    { "*_instance_60*background",    "#ffffffffffff" },
    { "*_instance_56*font",    "fixed" },
    { "*_instance_56*foreground",    "#000000000000" },
    { "*_instance_56*background",    "#ffffffffffff" },
    { "*_instance_53*font",    "fixed" },
    { "*_instance_53*foreground",    "#000000000000" },
    { "*_instance_53*background",    "#ffffffffffff" },
    { "*_instance_50*foreground",    "#000000000000" },
    { "*_instance_50*background",    "#ffffffffffff" },
    { "*_instance_42*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_42*foreground",    "#000000000000" },
    { "*_instance_42*background",    "#ffffffffffff" },
    { "*_instance_49*foreground",    "#000000000000" },
    { "*_instance_49*background",    "#ffffffffffff" },
    { "*_instance_46*foreground",    "#000000000000" },
    { "*_instance_46*background",    "#ffffffffffff" },
    { "*_instance_43*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_43*foreground",    "#000000000000" },
    { "*_instance_43*background",    "#ffffffffffff" },
    { "*_instance_45*font",    "fixed" },
    { "*_instance_45*foreground",    "#000000000000" },
    { "*_instance_45*background",    "#ffffffffffff" },
    { "*_instance_47*foreground",    "#000000000000" },
    { "*_instance_47*background",    "#ffffffffffff" },
    { "*_instance_44*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_44*foreground",    "#000000000000" },
    { "*_instance_44*background",    "#ffffffffffff" },
    { "*_instance_54*font",    "fixed" },
    { "*_instance_54*foreground",    "#000000000000" },
    { "*_instance_54*background",    "#ffffffffffff" },
    { "*_instance_55*font",    "fixed" },
    { "*_instance_55*foreground",    "#000000000000" },
    { "*_instance_55*background",    "#ffffffffffff" },
    { "*_instance_435*foreground",    "#000000000000" },
    { "*_instance_435*background",    "#ffffffffffff" },
    { "*_instance_434*foreground",    "#000000000000" },
    { "*_instance_434*background",    "#ffffffffffff" },
    { "*_instance_350*foreground",    "#000000000000" },
    { "*_instance_350*background",    "#ffffffffffff" },
    { "*_instance_318*foreground",    "#000000000000" },
    { "*_instance_318*background",    "#ffffffffffff" },
    { "*_instance_312*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_312*foreground",    "#000000000000" },
    { "*_instance_312*background",    "#ffffffffffff" },
    { "*_instance_456*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_456*foreground",    "#000000000000" },
    { "*_instance_456*background",    "#ffffffffffff" },
    { "*_instance_395*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_395*foreground",    "#000000000000" },
    { "*_instance_395*background",    "#ffffffffffff" },
    { "*_instance_397*font",    "fixed" },
    { "*_instance_397*foreground",    "#000000000000" },
    { "*_instance_397*background",    "#ffffffffffff" },
    { "*_instance_396*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_396*foreground",    "#000000000000" },
    { "*_instance_396*background",    "#ffffffffffff" },
    { "*_instance_412*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_412*foreground",    "#000000000000" },
    { "*_instance_412*background",    "#ffffffffffff" },
    { "*_instance_418*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_418*foreground",    "#000000000000" },
    { "*_instance_418*background",    "#ffffffffffff" },
    { "*_instance_419*font",    "fixed" },
    { "*_instance_419*foreground",    "#000000000000" },
    { "*_instance_419*background",    "#ffffffffffff" },
    { "*_instance_420*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_420*foreground",    "#000000000000" },
    { "*_instance_420*background",    "#ffffffffffff" },
    { "*_instance_421*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_421*foreground",    "#000000000000" },
    { "*_instance_421*background",    "#ffffffffffff" },
    { "*_instance_422*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_422*foreground",    "#000000000000" },
    { "*_instance_422*background",    "#ffffffffffff" },
    { "*_instance_317*font",    "fixed" },
    { "*_instance_317*foreground",    "#000000000000" },
    { "*_instance_317*background",    "#ffffffffffff" },
    { "*_instance_343*font",    "fixed" },
    { "*_instance_343*foreground",    "#000000000000" },
    { "*_instance_343*background",    "#ffffffffffff" },
    { "*_instance_346*foreground",    "#000000000000" },
    { "*_instance_346*background",    "#ffffffffffff" },
    { "*_instance_341*font",    "fixed" },
    { "*_instance_341*foreground",    "#000000000000" },
    { "*_instance_341*background",    "#ffffffffffff" },
    { "*_instance_340*foreground",    "#000000000000" },
    { "*_instance_340*background",    "#ffffffffffff" },
    { "*_instance_339*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_339*foreground",    "#000000000000" },
    { "*_instance_339*background",    "#ffffffffffff" },
    { "*_instance_342*font",    "fixed" },
    { "*_instance_342*foreground",    "#000000000000" },
    { "*_instance_342*background",    "#ffffffffffff" },
    { "*_instance_311*font",    "fixed" },
    { "*_instance_311*foreground",    "#000000000000" },
    { "*_instance_311*background",    "#ffffffffffff" },
    { "*_instance_448*font",    "fixed" },
    { "*_instance_448*foreground",    "#000000000000" },
    { "*_instance_448*background",    "#ffffffffffff" },
    { "*_instance_447*foreground",    "#000000000000" },
    { "*_instance_447*background",    "#ffffffffffff" },
    { "*_instance_274*font",    "fixed" },
    { "*_instance_274*foreground",    "#000000000000" },
    { "*_instance_274*background",    "#ffffffffffff" },
    { "*_instance_449*font",    "fixed" },
    { "*_instance_449*foreground",    "#000000000000" },
    { "*_instance_449*background",    "#ffffffffffff" },
    { "*_instance_253*foreground",    "#000000000000" },
    { "*_instance_253*background",    "#ffffffffffff" },
    { "*_instance_251*font",    "fixed" },
    { "*_instance_251*foreground",    "#000000000000" },
    { "*_instance_251*background",    "#ffffffffffff" },
    { "*_instance_247*font",    "fixed" },
    { "*_instance_247*foreground",    "#000000000000" },
    { "*_instance_247*background",    "#ffffffffffff" },
    { "*_instance_438*foreground",    "#000000000000" },
    { "*_instance_438*background",    "#ffffffffffff" },
    { "*_instance_115*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_115*foreground",    "#000000000000" },
    { "*_instance_115*background",    "#ffffffffffff" },
    { "*_instance_248*font",    "fixed" },
    { "*_instance_248*foreground",    "#000000000000" },
    { "*_instance_248*background",    "#ffffffffffff" },
    { "*_instance_250*font",    "fixed" },
    { "*_instance_250*foreground",    "#000000000000" },
    { "*_instance_250*background",    "#ffffffffffff" },
    { "*_instance_172*foreground",    "#000000000000" },
    { "*_instance_172*background",    "#ffffffffffff" },
    { "*_instance_169*foreground",    "#000000000000" },
    { "*_instance_169*background",    "#ffffffffffff" },
    { "*_instance_111*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_111*foreground",    "#000000000000" },
    { "*_instance_111*background",    "#ffffffffffff" },
    { "*_instance_160*foreground",    "#000000000000" },
    { "*_instance_160*background",    "#ffffffffffff" },
    { "*_instance_130*foreground",    "#000000000000" },
    { "*_instance_130*background",    "#ffffffffffff" },
    { "*_instance_120*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_120*foreground",    "#000000000000" },
    { "*_instance_120*background",    "#ffffffffffff" },
    { "*_instance_127*font",    "fixed" },
    { "*_instance_127*foreground",    "#000000000000" },
    { "*_instance_127*background",    "#ffffffffffff" },
    { "*_instance_131*foreground",    "#000000000000" },
    { "*_instance_131*background",    "#ffffffffffff" },
    { "*_instance_124*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_124*foreground",    "#000000000000" },
    { "*_instance_124*background",    "#ffffffffffff" },
    { "*_instance_153*foreground",    "#000000000000" },
    { "*_instance_153*background",    "#ffffffffffff" },
    { "*_instance_146*foreground",    "#000000000000" },
    { "*_instance_146*background",    "#ffffffffffff" },
    { "*_instance_136*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_136*foreground",    "#000000000000" },
    { "*_instance_136*background",    "#ffffffffffff" },
    { "*_instance_142*font",    "fixed" },
    { "*_instance_142*foreground",    "#000000000000" },
    { "*_instance_142*background",    "#ffffffffffff" },
    { "*_instance_147*foreground",    "#000000000000" },
    { "*_instance_147*background",    "#ffffffffffff" },
    { "*_instance_139*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_139*foreground",    "#000000000000" },
    { "*_instance_139*background",    "#ffffffffffff" },
    { "*_instance_246*font",    "fixed" },
    { "*_instance_246*foreground",    "#000000000000" },
    { "*_instance_246*background",    "#ffffffffffff" },
    { "*_instance_241*font",    "fixed" },
    { "*_instance_241*foreground",    "#000000000000" },
    { "*_instance_241*background",    "#ffffffffffff" },
    { "*_instance_439*foreground",    "#000000000000" },
    { "*_instance_439*background",    "#ffffffffffff" },
    { "*_instance_116*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_116*foreground",    "#000000000000" },
    { "*_instance_116*background",    "#ffffffffffff" },
    { "*_instance_242*font",    "fixed" },
    { "*_instance_242*foreground",    "#000000000000" },
    { "*_instance_242*background",    "#ffffffffffff" },
    { "*_instance_244*font",    "fixed" },
    { "*_instance_244*foreground",    "#000000000000" },
    { "*_instance_244*background",    "#ffffffffffff" },
    { "*_instance_190*foreground",    "#000000000000" },
    { "*_instance_190*background",    "#ffffffffffff" },
    { "*_instance_193*foreground",    "#000000000000" },
    { "*_instance_193*background",    "#ffffffffffff" },
    { "*_instance_194*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_194*foreground",    "#000000000000" },
    { "*_instance_194*background",    "#ffffffffffff" },
    { "*_instance_195*foreground",    "#000000000000" },
    { "*_instance_195*background",    "#ffffffffffff" },
    { "*_instance_196*foreground",    "#000000000000" },
    { "*_instance_196*background",    "#ffffffffffff" },
    { "*_instance_197*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_197*foreground",    "#000000000000" },
    { "*_instance_197*background",    "#ffffffffffff" },
    { "*_instance_198*font",    "fixed" },
    { "*_instance_198*foreground",    "#000000000000" },
    { "*_instance_198*background",    "#ffffffffffff" },
    { "*_instance_199*foreground",    "#000000000000" },
    { "*_instance_199*background",    "#ffffffffffff" },
    { "*_instance_200*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_200*foreground",    "#000000000000" },
    { "*_instance_200*background",    "#ffffffffffff" },
    { "*_instance_201*foreground",    "#000000000000" },
    { "*_instance_201*background",    "#ffffffffffff" },
    { "*_instance_202*foreground",    "#000000000000" },
    { "*_instance_202*background",    "#ffffffffffff" },
    { "*_instance_203*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_203*foreground",    "#000000000000" },
    { "*_instance_203*background",    "#ffffffffffff" },
    { "*_instance_204*font",    "fixed" },
    { "*_instance_204*foreground",    "#000000000000" },
    { "*_instance_204*background",    "#ffffffffffff" },
    { "*_instance_205*foreground",    "#000000000000" },
    { "*_instance_205*background",    "#ffffffffffff" },
    { "*_instance_206*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
    { "*_instance_206*foreground",    "#000000000000" },
    { "*_instance_206*background",    "#ffffffffffff" },
    { "*_instance_252*font",    "fixed" },
    { "*_instance_252*foreground",    "#000000000000" },
    { "*_instance_252*background",    "#ffffffffffff" },
    { "*_instance_452*font",    "fixed" },
    { "*_instance_452*foreground",    "#000000000000" },
    { "*_instance_452*background",    "#ffffffffffff" },
    { "*_instance_426*foreground",    "#000000000000" },
    { "*_instance_426*background",    "#ffffffffffff" },
    { "*_instance_423*background",    "#ffffffffffff" },
    { "*printDerivations*font",    "-*-times-medium-r-normal-*-14-*-*-*-*-*-*-*" },
