var a01510 = [ [ "__calc_borders", "a01510.html#ab9807ee5cc58530be7b997207e2bf1f3", null ], [ "__search_template", "a01510.html#af1e654f03e48e80a0c73db7ad88e8a86", null ] ];
var a01510 = [ [ "__calc_borders", "a01510.html#ab9807ee5cc58530be7b997207e2bf1f3", null ], [ "__search_template", "a01510.html#af1e654f03e48e80a0c73db7ad88e8a86", null ] ];