regorc02.unisat#6,849,996snsregorc77.unisat#6,849,917snsregorc05.unisat#6,849,633snsregorc4.sats#6,849,562snsregorc01.sats#6,849,274snsregorc16.sats#6,849,184snsregorc15.unisat#6,848,259snsregorc06.unisat#6,847,352snsregorc03.sats#6,847,196snsregorc02.sats#6,846,967snsregorc08.unisat#6,844,515snsregorc16.unisat#6,844,402snsregorc66.sats#6,843,929snsregorc05.sats#6,843,489snsregorc04.sats#6,843,297snsregorc14.sats#6,843,242snsregorc12.sats#6,843,227snsregorc12.unisat#6,842,922snsregorc08.sats#6,842,838snsregorc88.sats#6,842,714snsregorc99.unisat#6,842,706snsregorc14.unisat#6,842,268snsregorc10.unisat#6,841,845snsregorc07.unisat#6,841,758snsregorc11.sats#6,841,537snsregorc6.sats#6,827,253snsregorc11.unisat#6,827,188snsregorc13.unisat#6,827,168snsregorc03.unisat#6,827,130snsregorc5.unisat#6,826,861snsregorc4.unisat#6,826,859snsregorc7.unisat#6,826,858snsregorc3.unisat#6,826,857snsregorc2.sats#6,812,532snsregorc5.sats#6,812,233snsregorc15.sats#6,812,170snsregorc1.sats#6,811,983sns