/**
  * Destructor.
  */
 public function __destruct()
 {
     $this->problem = NULL;
     $this->pan = NULL;
     parent::__destruct();
 }
    //}>a
    /**
     * Constructor.
     */
    public function __construct()
    {
        parent::__construct();
    }
    /**
     * Destructor.
     */
    public function __destruct()
    {
        parent::__destruct();
    }
    /**
     * Main program.
     *
     * @param array $args Command-line arguments.
     * @return integer Zero on success; non-zero on failure.
     */
    public static function main($args)
    {
        printf("AbstractSolution main program.\n");
        $status = 0;
        return $status;
    }
}
if (realpath($argv[0]) == realpath(__FILE__)) {
    exit(AbstractSolution::main(array_slice($argv, 1)));
}