{
	"language": "Solidity",
	"sources": {
		"fileA": {
			"content": "contract A { }"
		}
	},
	"settings": {
		"outputSelection": {
			"fileA": {
				"A": [ "abi", "devdoc", "userdoc", "evm.bytecode", "evm.assembly", "evm.gasEstimates", "evm.legacyAssembly", "metadata" ],
				"": [ "legacyAST" ]
			}
		}
	},
	"auxiliaryInput":
	{
		"smtlib2responses": "not an object"
	}
}