!636
!modern

import java.util.zip.*;

main {
  psvm {
    String mysqlDump = gunzipToText("#1000673");
    print("Dump length: " + mysqlDump.length());
  }
}