module SolHRAS where 

import HRAS