import_graph.dot

strict digraph {
	graph [bb="0,0,916.89,252"];
	node [label="\N"];
	small_things	[height=0.5,
		label=small_things,
		pos="287.54,234",
		width=1.5526];
	e_trans_helpers2	[height=0.5,
		label=e_trans_helpers2,
		pos="120.54,162",
		width=1.9498];
	small_things -> e_trans_helpers2	[pos="e,155.65,177.72 254.95,219.34 229.28,208.58 193.23,193.47 164.93,181.6"];
	algebraic_countable_over_Z	[height=0.5,
		label=algebraic_countable_over_Z,
		pos="268.54,90",
		width=3.0872];
	small_things -> algebraic_countable_over_Z	[pos="e,270.84,108.19 285.25,215.87 282.01,191.67 276.06,147.21 272.21,118.39"];
	liouville_theorem	[height=0.5,
		label=liouville_theorem,
		pos="471.54,90",
		width=2.0401];
	small_things -> liouville_theorem	[pos="e,412.7,100.87 290.58,215.91 294.96,196.05 304.92,163.51 325.54,144 346.74,123.95 376.1,111.37 402.94,103.55"];
	test	[height=0.5,
		label=test,
		pos="361.54,162",
		width=0.75];
	small_things -> test	[pos="e,346.48,177.25 304.71,216.76 314.98,207.05 328.14,194.6 339.21,184.13"];
	e_transcendental	[height=0.5,
		label=e_transcendental,
		pos="69.544,90",
		width=1.9318];
	presentation	[height=0.5,
		label=presentation,
		pos="268.54,18",
		width=1.4985];
	e_transcendental -> presentation	[pos="e,232.83,31.563 109.34,75.003 142.16,63.455 188.75,47.067 223.05,35.001"];
	e_trans_helpers2 -> e_transcendental	[pos="e,81.776,107.79 108.2,144.05 102.06,135.63 94.519,125.28 87.734,115.97"];
	algebraic_countable_over_Z -> presentation	[pos="e,268.54,36.104 268.54,71.697 268.54,63.983 268.54,54.712 268.54,46.112"];
	liouville_theorem -> presentation	[pos="e,304.8,31.502 430.46,74.834 396.79,63.222 349.16,46.799 314.28,34.771"];
	pi_transcendental	[height=0.5,
		label=pi_transcendental,
		pos="434.54,234",
		width=2.022];
	Z_Q	[height=0.5,
		label=Z_Q,
		pos="552.54,234",
		width=0.75];
	algebraic_countable_over_Q	[height=0.5,
		label=algebraic_countable_over_Q,
		pos="709.54,234",
		width=3.1233];
	"doc.test"	[height=0.5,
		label="doc.test",
		pos="878.54,234",
		width=1.0652];
}