Sophie
var a07747 = [ [ "piecewise_construct_t", "a07747.html#a9586ad4c8a18b7c2c9c38f80745c329a", null ] ];