#!/bin/bash -e
cd identical-identity-names
./run.sh
