{
	"folders": [
		{
			"path": "."
		},
		{
			"path": "../../sourceprojs23/amsimglib3"
		},
		{
			"path": "../amscimglib4"
		},
		{
			"path": "../amsmathutil25"
		}
	]
}