line_push/node_modules/regenerate-unicode-properties/Script/Nko.js

const set = require('regenerate')();
set.addRange(0x7C0, 0x7FA).addRange(0x7FD, 0x7FF);
exports.characters = set;