strict digraph "tests/contract_testcases/solana/large_exponent.sol" {
	contract [label="contract C\ntests/contract_testcases/solana/large_exponent.sol:1:1-16:2"]
	var [label="variable a\nvisibility internal\nconstant\ntests/contract_testcases/solana/large_exponent.sol:2:6-31"]
	number_literal [label="int256 literal: 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000\ntests/contract_testcases/solana/large_exponent.sol:2:26-31"]
	var_4 [label="variable b\nvisibility internal\nconstant\ntests/contract_testcases/solana/large_exponent.sol:3:6-34"]
	var_5 [label="variable c\nvisibility internal\nconstant\ntests/contract_testcases/solana/large_exponent.sol:4:6-33"]
	f [label="function f\ncontract: C\ntests/contract_testcases/solana/large_exponent.sol:5:6-26\nsignature f()\nvisibility private\nmutability nonpayable"]
	inline_assembly [label="inline assembly\ntests/contract_testcases/solana/large_exponent.sol:6:2-8:3"]
	g [label="function g\ncontract: C\ntests/contract_testcases/solana/large_exponent.sol:10:6-26\nsignature g()\nvisibility private\nmutability nonpayable"]
	inline_assembly_9 [label="inline assembly\ntests/contract_testcases/solana/large_exponent.sol:11:2-13:3"]
	diagnostic [label="found contract 'C'\nlevel Debug\ntests/contract_testcases/solana/large_exponent.sol:1:1-16:2"]
	diagnostic_12 [label="value 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 does not fit into type int256.\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:2:26-31"]
	diagnostic_13 [label="exponent '-65535' too large\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:3:26-34"]
	diagnostic_14 [label="exponent '65537' too large\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:4:26-33"]
	diagnostic_15 [label="exponent '65537' too large\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:7:12-19"]
	diagnostic_16 [label="rational numbers not permitted\nlevel Error\ntests/contract_testcases/solana/large_exponent.sol:12:12-16"]
	contracts -> contract
	contract -> var [label="variable"]
	var -> number_literal [label="initializer"]
	contract -> var_4 [label="variable"]
	contract -> var_5 [label="variable"]
	contract -> f [label="function"]
	f -> inline_assembly [label="body"]
	contract -> g [label="function"]
	g -> inline_assembly_9 [label="body"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_12 [label="Error"]
	diagnostics -> diagnostic_13 [label="Error"]
	diagnostics -> diagnostic_14 [label="Error"]
	diagnostics -> diagnostic_15 [label="Error"]
	diagnostics -> diagnostic_16 [label="Error"]
}
