../../Task/Memory-allocation/Bracmat