This works on Arbitrum Goerli.
$ yarn install
$ npx hardhat test # test/*
$ npx hardhat test test/product01.ts # test/product01.ts
$ npx hardhat run scripts/deploy.ts # to default-set network (hardhat network)
$ npx hardhat run scripts/deploy.ts --network goerli # to Eth Goerli
$ npx hardhat verify --network goerli <contract address> # varify with Etherscan
$ npx hardhat verify --network arbitrumGoerli <contract address> # varify with Arbiscan
$ npx hardhat run scripts/send_premium.ts