(tuple
"ecss10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecss10.pfb"
"ectt10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ectt10.pfb"
"ecti10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecti10.pfb"
"ecrm10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecrm10.pfb"
"cmr12.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmr12.tfm"
"cmr12.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmr12.pfb"
"ecbx12.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecbx12.tfm"
"ecbx12.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecbx12.pfb"
"ectt11.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ectt11.tfm"
"eccc10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/eccc10.tfm"
"ecrm11.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm11.tfm"
"cmr10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmr10.tfm"
"cmr10.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmr10.pfb"
"ecss10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecss10.tfm"
"ectt10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ectt10.tfm"
"ecti10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecti10.tfm"
"ecbx10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecbx10.tfm"
"ecrm10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm10.tfm"
"eccc10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/eccc10.pfb"
"ecbi10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecbi10.pfb"
"ecbx10.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecbx10.pfb"
"tfm:rtcxr10" "0"
"cmmi7.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmmi7.pfb"
"cmsy7.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmsy7.pfb"
"cmmi5.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmmi5.tfm"
"cmmi5.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmmi5.pfb"
"cmmi7.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmmi7.tfm"
"cmsy7.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmsy7.tfm"
"ecrm6.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm6.tfm"
"ecti7.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecti7.pfb"
"ecbx7.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecbx7.pfb"
"ecrm7.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecrm7.pfb"
"ecss7.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecss7.pfb"
"ecrm5.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm5.tfm"
"ecrm5.pfb" "/usr/local/share/TeXmacs/fonts/type1/ec/ecrm5.pfb"
"ecrm9.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm9.tfm"
"ectt9.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ectt9.tfm"
"ecbx9.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecbx9.tfm"
"ecbi8.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecbi8.tfm"
"ecti8.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecti8.tfm"
"ecbx8.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecbx8.tfm"
"ecrm8.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm8.tfm"
"ecss8.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecss8.tfm"
"ecrm7.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecrm7.tfm"
"ecbx7.tfm" "/usr/local/share/TeXmacs/fonts/tfm/ec/ecbx7.tfm"
"tt:ecbx9" "ecbx10"
"tt:ecbx8" "ecbx7"
"tt:ecbx7" "ecbx7"
"tt:ecbi8" "ecbi10"
"tt:ecti8" "ecti7"
"tt:cmmi5" "cmmi5"
"tt:cmmi7" "cmmi7"
"tt:cmsy7" "cmsy7"
"tt:ecbx12" "ecbx12"
"tt:ecrm11" "ecrm10"
"tt:ectt11" "ectt10"
"tt:ecrm10" "ecrm10"
"tt:ecbx10" "ecbx10"
"tt:eccc10" "eccc10"
"tt:ecss10" "ecss10"
"cmsy10.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmsy10.pfb"
"tt:ectt10" "ectt10"
"tt:ecti10" "ecti10"
"tt:rtcxr10" "rtcxr"
"cmex10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmex10.tfm"
"cmmi10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmmi10.tfm"
"cmmi10.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmmi10.pfb"
"cmsy10.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmsy10.tfm"
"cmex10.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmex10.pfb"
"tt:cmsy10" "cmsy10"
"tt:cmmi10" "cmmi10"
"tt:cmex10" "cmex10"
"tt:ecrm6" "ecrm7"
"tt:ecrm5" "ecrm5"
"tt:ecrm9" "ecrm10"
"tt:ecrm8" "ecrm7"
"tt:ecrm7" "ecrm7"
"rtcxr.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/txfonts/rtcxr.tfm"
"rtcxr.pfb" "/usr/local/share/TeXmacs/fonts/type1/public/txfonts/rtcxr.pfb"
"tt:cmr8" "cmr8"
"tt:cmr7" "cmr7"
"tt:cmr6" "cmr6"
"tt:cmr9" "cmr9"
"tt:cmr12" "cmr12"
"tt:cmr10" "cmr10"
"tt:ecss8" "ecss7"
"tt:ectt9" "ectt10"
"cmr6.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmr6.tfm"
"cmr7.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmr7.pfb"
"cmr6.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmr6.pfb"
"cmr9.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmr9.tfm"
"cmr8.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmr8.tfm"
"cmr9.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmr9.pfb"
"cmr7.tfm" "/usr/local/share/TeXmacs/fonts/tfm/public/cm/cmr7.tfm"
"cmr8.pfb" "/usr/local/share/TeXmacs/fonts/type1/bluesky/cm/cmr8.pfb"
)