{"schema":"jsii/file-redirect","compression":"gzip","filename":".jsii.gz"}