in read_input/util.js [128:139]
function convertType(str) {
if (!isNaN(str)) {
return Number(str);
} else if (str === "true") {
return true;
} else if (str === "false") {
return false;
} else if (str === '""' || str === "''") {
return "";
}
return trimQuotes(str);
}