Sophie
var a09345 = [ [ "~condition_base", "a09345.html#a2672c84751760f8073cb806c984f89d8", null ] ];