digraph {
	{ rank = same;
		use_device;
		resize;
		custom;
		wubi;
		reuse;
		replace;
	};
	{ rank = same;
		switch_to_install;
		go_to_manual;
		go_to_wubi;
	};
	{ node [shape = diamond];
		biggest_free;
		one_disk;
		have_crypto;
	};
	use_device -> one_disk;
	one_disk -> go_to_auto [label="no"];
	one_disk -> have_crypto [label="yes"];
	go_to_auto -> have_crypto [label="if use_device"];
	have_crypto -> switch_to_install [label="no"];
	have_crypto -> go_to_crypto [label="yes"];
	go_to_crypto -> switch_to_install;
	resize -> biggest_free;
	biggest_free -> switch_to_install [label="yes"];
	biggest_free -> go_to_auto [label="no"];
	go_to_auto -> switch_to_install;
	custom -> go_to_manual;
	reuse -> switch_to_install;
	replace -> switch_to_install;
	wubi -> go_to_wubi;
	go_to_crypto;
};
