File:BDD_Variable_Ordering_Good.svg loading ...