Importing p4 solution