reg88669.unisat#6,951,745snsreg77869.unisat#6,951,076snsreg58999.unisat#6,950,721snsreg88969.unisat#6,950,453snsreg99639.unisat#6,950,187snsreg69239.unisat#6,937,491snsreg77559.unisat#6,937,435snsreg65456.unisat#6,936,948snsreg00859.unisat#6,936,932snsreg55699.unisat#6,936,931snsreg54345.unisat#6,936,786snsreg56839.unisat#6,936,772snsreg08759.unisat#6,936,612snsreg89571.unisat#6,936,471snsreg76567.unisat#6,936,455snsreg86339.unisat#6,936,140snsreg09890.unisat#6,935,852snsreg36933.sats#6,849,980snsreg86521.sats#6,849,969snsreg78511.sats#6,849,387snsreg19663.sats#6,849,014snsreg69373.sats#6,848,956snsreg53786.sats#6,848,818snsreg13693.sats#6,847,133snsreg56733.sats#6,844,540snsreg98312.sats#6,844,145snsreg96933.sats#6,841,919snsreg88315.sats#6,841,916snsreg56933.sats#6,841,358snsreg86933.sats#6,841,309snsreg56721.sats#6,827,113snsreg55961.sats#6,826,996snsreg21933.sats#6,826,993snsreg76933.sats#6,826,972snsreg08091.sats#6,826,941snsreg89661.sats#6,826,934sns