digraph {
	# nodes
	# Root is IC with cryptographic algorithms
	110732022 [label="BSI-DSZ-CC-1107-V3-2022"] [shape=box]
	0289060 [label="NSCIB-CC-0289060-CR"]
	202306 [label="ANSSI-CC-2023/06"]
	202321 [label="ANSSI-CC-2023/21"]
	202236 [label="ANSSI-CC-2022/36"]
	202325 [label="ANSSI-CC-2023/25"]
	230000601 [label="NSCIB-CC-2300006-01-CR"]
	202136 [label="ANSSI-CC-2021/36"]
	2022162 [label="ANSSI-CC-2022/16v2"]
	202234 [label="ANSSI-CC-2022/34"]
	202324 [label="ANSSI-CC-2023/24"]
	202328 [label="ANSSI-CC-2023/28"]
	202326 [label="ANSSI-CC-2023/26"]
	2022152 [label="ANSSI-CC-2022/15v2"]
	202327 [label="ANSSI-CC-2023/27"]
	2022142 [label="ANSSI-CC-2022/14v2"]
	20212901 [label="ANSSI-CC-2021/29-S01"]
	202329 [label="ANSSI-CC-2023/29"]
	2022172 [label="ANSSI-CC-2022/17v2"]
	230000501 [label="NSCIB-CC-2300005-01-CR"]
	0289065 [label="NSCIB-CC-0289065-CR"]
	0568828 [label="NSCIB-CC-0568828-CR"]
	2022182 [label="ANSSI-CC-2022/18v2"]
	230006301 [label="NSCIB-CC-2300063-01-CR"]
	230005001 [label="NSCIB-CC-2300050-01-CR"]
	230006201 [label="NSCIB-CC-2300062-01-CR"]
	202306 [label="ANSSI-CC-2023/06"]
	230006101 [label="NSCIB-CC-2300061-01-CR"]

	# edges
	0289060 -> 110732022 [color=red]
	202306 -> 110732022 [color=red]
	202321 -> 110732022 [color=red]
	202236 -> 110732022 [color=red]
	202325 -> 110732022 [color=red]
	230000601 -> 110732022 [color=red]
	202136 -> 110732022 [color=red]
	2022162 -> 110732022 [color=red]
	202234 -> 110732022 [color=red]
	202324 -> 110732022 [color=red]
	202328 -> 110732022 [color=red]
	202326 -> 110732022 [color=red]
	2022152 -> 110732022 [color=red]
	202327 -> 110732022 [color=red]
	2022142 -> 110732022 [color=red]
	20212901 -> 110732022 [color=red]
	202329 -> 110732022 [color=red]
	2022172 -> 110732022 [color=red]
	230000501 -> 110732022 [color=red]
	0289065 -> 110732022 [color=red]
	0568828 -> 110732022 [color=red]
	2022182 -> 110732022 [color=red]

	230006201 -> 202306 [color=red]
	230005001 -> 202306 [color=green] # evaluation reused
	230006101 -> 202306 [color=red]
	230006301 -> 202306 [color=red]
}