pragma solidity ^0.6.0;

pragma experimental ABIEncoderV2;

pragma experimental SMTChecker;

contract C {}