var spotri_8f = [ [ "spotri", "d4/d12/group__potri_gae780a29c688cb3acb64d278a6558418f.html#gae780a29c688cb3acb64d278a6558418f", null ] ]; .