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