Automating fixing many posts for https://tex.meta.stackexchange.com/questions/7168/double-backslashes-disappear-from-code

fixing-minimal-version-to-paste.js

function v() { p = JSON.parse(localStorage.getItem('tex.se.pagesToFix')); i = p.shift(); localStorage.setItem("tex.se.pagesToFix", JSON.stringify(p)); window.location.href = 'https://tex.stackexchange.com/posts/' + i + '/edit'; return p.length + ' pages left to fix'; }; function f() { q = document.getElementsByName('post-text'); console.assert(q.length == 1); p = q[0]; function fix(str) { nb = String.raw`[^\\]`; b = String.raw`\\`; t = String.raw`\\t`; w = '(' + nb + ')' + b + '(    |' + t + ')'; x = '$1' + String.raw`\\`  + '\n    '; return str.replace(new RegExp(w, 'g'), x);}; fx = fix(p.textContent); if (p.textContent == fx) {console.log('Nothing to fix'); v(); return JSON.parse(localStorage.getItem('tex.se.pagesToFix')).length;}; p.textContent = fx; console.log(fx); document.getElementById('edit-comment').value = 'Fixing a site bug of disappearing double backslashes: https://tex.meta.stackexchange.com/questions/7168/double-backslashes-disappear-from-code'; fs = document.getElementsByClassName('post-form'); console.assert(fs.length == 1); fs[0].submit(); return 'submitting...';}; if (window.location.href.startsWith('https://tex.stackexchange.com/questions/')) {v();} else {f();}

fixing.js

function visitNext() {
    pagesToFix = JSON.parse(localStorage.getItem('tex.se.pagesToFix'));
    postId = pagesToFix.shift();
    localStorage.setItem("tex.se.pagesToFix", JSON.stringify(pagesToFix));
    window.location.href = 'https://tex.stackexchange.com/posts/' + postId + '/edit';
    return pagesToFix.length + ' pages left to fix';
};

function fixPage() {
    posts = document.getElementsByName('post-text');
    console.assert(posts.length == 1);
    post = posts[0];

    function fix(str) {
        nonBackslashRe = String.raw`[^\\]`;
        backslashRe = String.raw`\\`;
        fourspacesRe = '    ';
        tabRe = String.raw`\\t`;
        toFindRe = '(' + nonBackslashRe + ')' + backslashRe + '(' + fourspacesRe + '|' + tabRe + ')';
        replaceExpr = '$1' + String.raw`\\`  + '\n    ';
        return str.replace(new RegExp(toFindRe, 'g'), replaceExpr);
    };

    fixed = fix(post.textContent);
    if (post.textContent == fixed) {
        console.log('Nothing to fix');
        visitNext();
        return;
    }
    post.textContent = fixed;
    console.log(fixed);
    document.getElementById('edit-comment').value = 'Fixing a site bug of disappearing double backslashes: https://tex.meta.stackexchange.com/questions/7168/double-backslashes-disappear-from-code';
    forms = document.getElementsByClassName('post-form');
    console.assert(forms.length == 1);
    forms[0].submit();
    return 'submitting...';
}

if (window.location.href.startsWith('https://tex.stackexchange.com/questions/')) {
   visitNext();
} else {
   fixPage();
}

setup.js

pagesToFix = ["150781", "150720", "150694", "150686", "150554", "150543", "150540", "150521", "150470", "150444", "150391", "150383", "150369", "150298", "150294", "150293", "150292", "150166", "150165", "150163", "150157", "150154", "150122", "150087", "150075", "150046", "149979", "149880", "149876", "149834", "149819", "149810", "149763", "149750", "149721", "149683", "149673", "149642", "149631", "149609", "149608", "149563", "149545", "149539", "149535", "149479", "149431", "149368", "149352", "149337", "149313", "149232", "149195", "149191", "149176", "149141", "149128", "149102", "149059", "149014", "149003", "148990", "148912", "148904", "148902", "148900", "148884", "148870", "148852", "148845", "148843", "148833", "148831", "148808", "148784", "148783", "148736", "148682", "148672", "148545", "148544", "148514", "148501", "148484", "148455", "148440", "148421", "148381", "148374", "148311", "148309", "148299", "148231", "148182", "148180", "148162", "148091", "148012", "147942", "147906", "147904", "147895", "147864", "147851", "147841", "147834", "147828", "147803", "147782", "147780", "147744", "147735", "147671", "147618", "148452", "148451", "147517", "147508", "147485", "147482", "147475", "147457", "147413", "147368", "147356", "147342", "147322", "147290", "147283", "147237", "147235", "147232", "147225", "147222", "147172", "147152", "147136", "147112", "147108", "147102", "147096", "147095", "147038", "147028", "147013", "147003", "146934", "146904", "146803", "146782", "146735", "146626", "146623", "146605", "146548", "146482", "146480", "146413", "146392", "146266", "146260", "146241", "146234", "146226", "146190", "146188", "146145", "146143", "146127", "146074", "145918", "145934", "145883", "145881", "145861", "145837", "145821", "145815", "145813", "145807", "145790", "145763", "145749", "145725", "145695", "145657", "145612", "145587", "145577", "145540", "145513", "145412", "145391", "145353", "145272", "145234", "145212", "145201", "145192", "145086", "145050", "144991", "144984", "144972", "144933", "144929", "144910", "144904", "144891", "144829", "144773", "144770", "144713", "144694", "144679", "144649", "144637", "144501", "144494", "144459", "144391", "144368", "144367", "144364", "144363", "144348", "144267", "144131", "143130", "143109", "143015", "142950", "142946", "142945", "142893", "142861", "142857", "142715", "142693", "142687", "144176", "142603", "142602", "142550", "142518", "142516", "142505", "142459", "142411", "142406", "142402", "142384", "142310", "142223", "142220", "142150", "142144", "142118", "142068", "142053", "142002", "141993", "141921", "141804", "141788", "141772", "141760", "141741", "141721", "141646", "141571", "141549", "141547", "141546", "141532", "141522", "141519", "141483", "141452", "141422", "141387", "141360", "141351", "141349", "141217", "141138", "141106", "141092", "140932", "140890", "140879", "140877", "140867", "140865", "140854", "140802", "140781", "140717", "140710", "140670", "140662", "140553", "140541", "140538", "140536", "140530", "140499", "140432", "140353", "140351", "140318", "140309", "140299", "140274", "140272", "140264", "140149", "140094", "140067", "140040", "140034", "139996", "139954", "139893", "139855", "139845", "139771", "139712", "139696", "139681", "139677", "139648", "139639", "139623", "139622", "139609", "139602", "139600", "139595", "139578", "139578", "139564", "139562", "139555", "139539", "139498", "139459", "139553", "139441", "139347", "139323", "139320", "139185", "139171", "139077", "139076", "139014", "139003", "139001", "138987", "138984", "139372", "138804", "138800", "138794", "138776", "138774", "138766", "138764", "138731", "138622", "137593", "137544", "137532", "137507", "137502", "137486", "137477", "137410", "137403", "137392", "137384", "137349", "137306", "137288", "137287", "137270", "137218", "137214", "137190", "137185", "137175", "137139", "137132", "136942", "136932", "136897", "136896", "136866", "136850", "136769", "136722", "136721", "136712", "136710", "136694", "136693", "136688", "136645", "136644", "136641", "136623", "136621", "136460", "136458", "136445", "136432", "136414", "136399", "136366", "136362", "136350", "136322", "136255", "136212", "136202", "136182", "136175", "136168", "136161", "136154", "136142", "136141", "136132", "136120", "136085", "136078", "136072", "136062", "135993", "135962", "135905", "135896", "135827", "135809", "135807", "135752", "135747", "135567", "135499", "135454", "135447", "135427", "135333", "135228", "135227", "135225", "135214", "135202", "135179", "135178", "136462", "135151", "135101", "135100", "135097", "135051", "134979", "134972", "134970", "134964", "134956", "134938", "134895", "134806", "134749", "134744", "134737", "134666", "134654", "134651", "134603", "134578", "134539", "134475", "134429", "134419", "134396", "134381", "134465", "134328", "134325", "134270", "134243", "134222", "134209", "134201", "134168", "134157", "134113", "134107", "134102", "134100", "134088", "134061", "134026", "134010", "134185", "133948", "133939", "133904", "133879", "133816", "133816", "133714", "133696", "136074", "133658", "133658", "133642", "133600", "133535", "133526", "133512", "133478", "133444", "133434", "133433", "133411", "133387", "133353", "133340", "133322", "133222", "133210", "133206", "133167", "133133", "133070", "133056", "133052", "133037", "133026", "133021", "133000", "132998", "132964", "132958", "132914", "132913", "132874", "132848", "132826", "132809", "132807", "132804", "132793", "132773", "132694", "132623", "132596", "132558", "132508", "132482", "132480", "132417", "132408", "132403", "132402", "132401", "132366", "132355", "132331", "132302", "132283", "132260", "132258", "132232", "132213", "132187", "132175", "132161", "132119", "132085", "132067", "132007", "132006", "131882", "131868", "131867", "131866", "131859", "131840", "131830", "131821", "131820", "131816", "131801", "131771", "131769", "131759", "131663", "131616", "131610", "131553", "131550", "131524", "131517", "131477", "131469", "131375", "131371", "131288", "131273", "131260", "131216", "131201", "131192", "131168", "131152", "131149", "131148", "131119", "131108", "131088", "131076", "131034", "131024", "130996", "130991", "130989", "130882", "130869", "131239", "130809", "130798", "130711", "130707", "130682", "130655", "130651", "130648", "130641", "130629", "130600", "130578", "130577", "130576", "130548", "130504", "130484", "130467", "130429", "130422", "130373", "130413", "130356", "130352", "130343", "130340", "130328", "130316", "130306", "130237", "130227", "130136", "130092", "130066", "130059", "130040", "130007", "129978", "129903", "129817", "129804", "129791", "129781", "129774", "129751", "129745", "129716", "129695", "129685", "129655", "129601", "129601", "129582", "129545", "129487", "129473", "129369", "129365", "129345", "129291", "129184", "129166", "129088", "129045", "129003", "128993", "128851", "128835", "128820", "128806", "128673", "128650", "128634", "128624", "128623", "128582", "128575", "128505", "128497", "128500", "128484", "128442", "128421", "128412", "128411", "128390", "128315", "128268", "128251", "128127", "128118", "128095", "128077", "128047", "127954", "127876", "127863", "127825", "127802", "127749", "127660", "127634", "127627", "127616", "127595", "127408", "127403", "127398", "127245", "127198", "127035", "127033", "127027", "126992", "126982", "126973", "126963", "126963", "126947", "126924", "126910", "126873", "126812", "126791", "126776", "126758", "126749", "126737", "126736", "126735", "126600", "126543", "126528", "126493", "126480", "126427", "126331", "126281", "126256", "126209", "126208", "126194", "126160", "126123", "126096", "126050", "126035", "126026", "126017", "125981", "125958", "125903", "125901", "125895", "125893", "125887", "125883", "125792", "125791", "125734", "125730", "125711", "125704", "125623", "125618", "125591", "125586", "125510", "125437", "125330", "125279", "125266", "125258", "125245", "125108", "125118", "125014", "125010", "124995", "124993", "124998", "124944", "124935", "124931", "124925", "124681", "124661", "124631", "124505", "124497", "124477", "124341", "124290", "124286", "124281", "124273", "124251", "124244", "124192", "124189", "124169", "124145", "124138", "124129", "124127", "124070", "124048", "124141", "124035", "124140", "124028", "124027", "123985", "123980", "123976", "123944", "123821", "123793", "123759", "123742", "123726", "123717", "123706", "123676", "123672", "123615", "123538", "123535", "123534", "123489", "123456", "123431", "123431", "123378", "123375", "123368", "123318", "123304", "123229", "123182", "123175", "123248", "123159", "123155", "123082", "123069", "123068", "122963", "122959", "122820", "122812", "122786", "122779", "122775", "122758", "122715", "122689", "122672", "122650", "122643", "122636", "122512", "122484", "122458", "122449", "122415", "122385", "122364", "122317", "122266", "122244", "122085", "122084", "122069", "122060", "122037", "122098", "121999", "121991", "121974", "121929", "121925", "121918", "121899", "121884", "121787", "121683", "121579", "121553", "121536", "121514", "121507", "121485", "121407", "121387", "121384", "121370", "121362", "121358", "121236", "121220", "121205", "121130", "121119", "121089", "121017", "120981", "120941", "120924", "120896", "120888", "120871", "120866", "120840", "120832", "120807", "120767", "120737", "120658", "120647", "120612", "120593", "120586", "120575", "120572", "120547", "120544", "120542", "120542", "120517", "120498", "120465", "120459", "120428", "120401", "120384", "120377", "120373", "120305", "120294", "120263", "120242", "120212", "120183", "120092", "120087", "120013", "119957", "119894", "119870", "119853", "119843", "119812", "119796", "119789", "119784", "119744", "119721", "119703", "119663", "119662", "119601", "119593", "119585", "119567", "119563", "119543", "119526", "119517", "119511", "119505", "119499", "119494", "119492", "119481", "119473", "119379", "119377", "119276", "119255", "119252", "119174", "119172", "119152", "119130", "119087", "119058", "119054", "119019", "118991", "118975", "118953", "118918", "118909", "118864", "118829", "118827", "118784", "118694", "118683", "118673", "118567", "118569", "118540", "118451", "118445", "118435", "118431", "118408", "118404", "118403", "118384", "118375", "118359", "118311", "118304", "118297", "118190", "118178", "118175", "118110", "118002", "117918", "117928", "117844", "117784", "117774", "117684", "117683", "117655", "117606", "117598", "117596", "117527", "117508", "117501", "117470", "117450", "117441", "117297", "117291", "117272", "117180", "117176", "117174", "117157", "117156", "117152", "117141", "117124", "117079", "116895", "116894", "116839", "116838", "116837", "116829", "116824", "116801", "116786", "116779", "116759", "116696", "116603", "116591", "116585", "116574", "116568", "116527", "116407", "116401", "116391", "116323", "116308", "116273", "116258", "116246", "116222", "116158", "116022", "116007", "116006", "115838", "115836", "115818", "115768", "115760", "115755", "115746", "115724", "115719", "115712", "115668", "115637", "115633", "115631", "115626", "115609", "115591", "115576", "115575", "115552", "115537", "115417", "115412", "115361", "115360", "115295", "115294", "115181", "115172", "115161", "115141", "114965", "114964", "114959", "114926", "114882", "114874", "114862", "114835", "114757", "114741", "114723", "114689", "114664", "114626", "114624", "114619", "114618", "114614", "114559", "114523", "114474", "114444", "114439", "114423", "114422", "114395", "114369", "114334", "114182", "114156", "114154", "114149", "114148", "114146", "114140", "114137", "114133", "114072", "114054", "114021", "114010", "113992", "113953", "113902", "113898", "113895", "113888", "113830", "113778", "113773", "113631", "113582", "113579", "113578", "113495", "113488", "113422", "113418", "113404", "113341", "113294", "113298", "113291", "113257", "113256", "113253", "113105", "113033", "112997", "112994", "112954", "112938", "112875", "112856", "112724", "112671", "112664", "112627", "112576", "112536", "112464", "112460", "112459", "112380", "112361", "112360", "112310", "112279", "112243", "112207", "112203", "112202", "112191", "112187", "112172", "112169", "112166", "112142", "112039", "112001", "111999", "111903", "111840", "111829", "111791", "111779", "111767", "111720", "111675", "111670", "111668", "111637", "111588", "111519", "111494", "111469", "111407", "111343", "111339", "111323", "111246", "111237", "111213", "111203", "111191", "111184", "111179", "111176", "111145", "111095", "110954", "110928", "110893", "110832", "110769", "110736", "110714", "110673", "110666", "110653", "110621", "110556", "110550", "110548", "110500", "110426", "110334", "110333", "110304", "110291", "110237", "110181", "110119", "110044", "109984", "109923", "109878", "109856", "109848", "109847", "109846", "109823", "109822", "109812", "109661", "109658", "109637", "109634", "109478", "109475", "109470", "109461", "109374", "109339", "109289", "109258", "109208", "109206", "109198", "109140", "109103", "109082", "108991", "108948", "108862", "108858", "108842", "108841", "108833", "108813", "108812", "108792", "108751", "108745", "108740", "108700", "108673", "108634", "108535", "108529", "108483", "108460", "108442", "108422", "108395", "108370", "108353", "108320", "108311", "108277", "108257", "108241", "108222", "108218", "108168", "108164", "108147", "108107", "108106", "108040", "108025", "107789", "107715", "107700", "107648", "107648", "107588", "107564", "107555", "107550", "107496", "107465", "107384", "107313", "107245", "107234", "107164", "107146", "107033", "107000", "106909", "106890", "106810", "106802", "106740", "106720", "106717", "106603", "106601", "106580", "106567", "106563", "106460", "106449", "106440", "106431", "106383", "106369", "106344", "106343", "106340", "106280", "106252", "106226", "106222", "106212", "106075", "105970", "105934", "105887", "105859", "105855", "105846", "105754", "105749", "105712", "105696", "105668", "105655", "105635", "105611", "105583", "105579", "104552", "104544", "104442", "104441", "104440", "104426", "104418", "104408", "104374", "104342", "104322", "104276", "104261", "104181", "104170", "104077", "103970", "103953", "103949", "103946", "103903", "103803", "103802", "103801", "103784", "103766", "103764", "103698", "103413", "103350", "103305", "103487", "103230", "103163", "103130", "103120", "103115", "103102", "103095", "103091", "103069", "103012", "102961", "102960", "102927", "102903", "102901", "102863", "102851", "102839", "102831", "102818", "102816", "102683", "102661", "102642", "102628", "102617", "102614", "102576", "102550", "102544", "102538", "102514", "102496", "102460", "102425", "102424", "102419", "102417", "102394", "102326", "102292", "102207", "102183", "102169", "102122", "102119", "102090", "102059", "102053", "102040", "102015", "101990", "101946", "101929", "101892", "101886", "101856", "101838", "101835", "101830", "101760", "101758", "101724", "101521", "101343", "101315", "101307", "101254", "101232", "101109", "101084", "101051", "101002", "100980", "100966", "100955", "100947", "100935", "100888", "100886", "100874", "100873", "100867", "100787", "100730", "100693", "100687", "100657", "100656", "100650", "100583", "100579", "100466", "100454", "100401", "100399", "100354", "100266", "100231", "100223", "100167", "100097", "100025", "99963", "99908", "99873", "99852", "99796", "99785", "99751", "99742", "99679", "99630", "99612", "99606", "99555", "99498", "99490", "99421", "99419", "99399", "99383", "99339", "99333", "99326", "99307", "99306", "99304", "99291", "99253", "99240", "99232", "99180", "99148", "99127", "99092", "99069", "98949", "98847", "98830", "98774", "98743", "98720", "98662", "98625", "98583", "98565", "98534", "98430", "98403", "98380", "98375", "98374", "98373", "98332", "98279", "98268", "98227", "98211", "98198", "98144", "98067", "97993", "97984", "97968", "97942", "97936", "97913", "97912", "97911", "97817", "97816", "97815", "97814", "97763", "97551", "97548", "97534", "97521", "97516", "97443", "97440", "97297", "97287", "97285", "97278", "97324", "97274", "97225", "97206", "97180", "97167", "97156", "97130", "97121", "97050", "97022", "97012", "97004", "96980", "96951", "96921", "96897", "96874", "96867", "96860", "96833", "96830", "96827", "96761", "96740", "96637", "96568", "96525", "96495", "96494", "96451", "96407", "96357", "96316", "96276", "96273", "96236", "96136", "96064", "96053", "96048", "96006", "95998", "95947", "96176", "95812", "95710", "95706", "95689", "95683", "95622", "95609", "95608", "95533", "95442", "95404", "95402", "95401", "95397", "95386", "95347", "95276", "95241", "95236", "95160", "95210", "95056", "94988", "94945", "94885", "94861", "94855", "94845", "94813", "94615", "94602", "94553", "94451", "94425", "94298", "94266", "94252", "94164", "94149", "94116", "94108", "94103", "94091", "94046", "94032", "94014", "94011", "94005", "94002", "93990", "93969", "93967", "93904", "93891", "93883", "93880", "91598", "91570", "91559", "91515", "91291", "91265", "91232", "91183", "91119", "91117", "91080", "91072", "91063", "91061", "89991", "89962", "89893", "89818", "89803", "89776", "89688", "89677", "89672", "89668", "89661", "89546", "89489", "89332", "89324", "89313", "89313", "89310", "89307", "89303", "89193", "89168", "89110", "89105", "89101", "89065", "89064", "89056", "89024", "88999", "88998", "89005", "88955", "88912", "88891", "88884", "88862", "88855", "88752", "88720", "88693", "88552", "88510", "88444", "88410", "88366", "88327", "88269", "88256", "88151", "88113", "88081", "88048", "87961", "87942", "87862", "87847", "87836", "87829", "87795", "87712", "87707", "87679", "87664", "87639", "87610", "87583", "87576", "87551", "87550", "87502", "87500", "87442", "87441", "87389", "87372", "87356", "87309", "87283", "87229", "87203", "87201", "87157", "87108", "87087", "87071", "87067", "87052", "86993", "86976", "86923", "86896", "86863", "86862", "86754", "86744", "86667", "86649", "86626", "86577", "86443", "86441", "86384", "86357", "86338", "86320", "86293", "86285", "86283", "86280", "86279", "86277", "86507", "86217", "86211", "86110", "86107", "86094", "86050", "86020", "86008", "86006", "85919", "85861", "85856", "85876", "85837", "85809", "85769", "85702", "85699", "85693", "85680", "85677", "85667", "85641", "85890", "85583", "85519", "85328", "85318", "85302", "85278", "85262", "85227", "85225", "85217", "85178", "85175", "85172", "85156", "85127", "85002", "84945", "84921", "84908", "84902", "84867", "84851", "84845", "84841", "84827", "84821", "84739", "84719", "84699", "84677", "84658", "84584", "84437", "84351", "84345", "84336", "84580", "84276", "84255", "84104", "84078", "84064", "84023", "83857", "83756", "83675", "83636", "83628", "83627", "83620", "83601", "83550", "83524", "83509", "83461", "83422", "83421", "83420", "83419", "83415", "83400", "83375", "83366", "83351", "83281", "83457", "83238", "83354", "83087", "83042", "83018", "82937", "82924", "82904", "82872", "82809", "82761", "82676", "82603", "82578", "82508", "82426", "82414", "82379", "82296", "82204", "82203", "82200", "82175", "82168", "82143", "82139", "82119", "82099", "82087", "82072", "82051", "82042", "81973", "81964", "81948", "81941", "81905", "81843", "81679", "81658", "80516", "80513", "80456", "80430", "80415", "80328", "80285", "80226", "80212", "80135", "80134", "80120", "80094", "80074", "80073", "80073", "80029", "79936", "79904", "79874", "79854", "79848", "79840", "79810", "79570", "79569", "79559", "79550", "79541", "79537", "79482", "79477", "79417", "79382", "79345", "79308", "79124", "79046", "79017", "78999", "78961", "78929", "78911", "78723", "78603", "78558", "78554", "78494", "78462", "78449", "78246", "78228", "78244", "78205", "78114", "78110", "78046", "78043", "78042", "78021", "77998", "77982", "77954", "77953", "77883", "77814", "77760", "77735", "77723", "77713", "77709", "77639", "77603", "77574", "77565", "76538", "76449", "76435", "76423", "76194", "76189", "76177", "76176", "76170", "76167", "76162", "76151", "76124", "76111", "76019", "76011", "75966", "75933", "75818", "75806", "75785", "75754", "75749", "75740", "75723", "75717", "75639", "75628", "75554", "75545", "75466", "75424", "75421", "75416", "75391", "75384", "75381", "75332", "75309", "75303", "75175", "75156", "75144", "75085", "75028", "74948", "74923", "74868", "74867", "74864", "74859", "74811", "74801", "74963", "74721", "74694", "74591", "74464", "74443", "74283", "74265", "74242", "74186", "74181", "74165", "74164", "74160", "74153", "74103", "74067", "74046", "74032", "74027", "73886", "73876", "73726", "73701", "73535", "73524", "73502", "73441", "73374", "73369", "73360", "73348", "73298", "73370", "73168", "73134", "72978", "72955", "72951", "72943", "72903", "72901", "72898", "72872", "72857", "72856", "72855", "71673", "71645", "71602", "71577", "71568", "71568", "71560", "71549", "71547", "71513", "71500", "71453", "71452", "71441", "71419", "71352", "71328", "71322", "71318", "71298", "71291", "71259", "71254", "71238", "71237", "71190", "71180", "71139", "71101", "71100", "71096", "71087", "71025", "71010", "71004", "70963", "70906", "70895", "70850", "70844", "70775", "70736", "70723", "70722", "70710", "70709", "70683", "70676", "70662", "70648", "70635", "70631", "70580", "70579", "70577", "70480", "70427", "70407", "70403", "70376", "70365", "70279", "70248", "70239", "70230", "70220", "70195", "70189", "70172", "70161", "70094", "70067", "70060", "70054", "70042", "69987", "69982", "69979", "69965", "69942", "69904", "69839", "69812", "69798", "69794", "69747", "69651", "69644", "69608", "69606", "69602", "69601", "69589", "69560", "69510", "69464", "69447", "69446", "69444", "69442", "69327", "69318", "69308", "69288", "69287", "69282", "69272", "69205", "69195", "69187", "69043", "68987", "68943", "68926", "68917", "68914", "68907", "68901", "68898", "68878", "68774", "68748", "68632", "68590", "68566", "68409", "68380", "68373", "68334", "68304", "68235", "68207", "68150", "68131", "68129", "68062", "68037", "68029", "68022", "67975", "67973", "67972", "67950", "67937", "67930", "67840", "67812", "67757", "67742", "67702", "67692", "67691", "67688", "67680", "67646", "67622", "67565", "67557", "67539", "67515", "67512", "67507", "67398", "67396", "67387", "67290", "67284", "67272", "67135", "67087", "67086", "67068", "67055", "67054", "67052", "67050", "67045", "66892", "66867", "66826", "66791", "66782", "66759", "66727", "66714", "66685", "66682", "66657", "66594", "66586", "66584", "66568", "66533", "66531", "66517", "66515", "66462", "66461", "66458", "66456", "66451", "66442", "66426", "66391", "66390", "66369", "66300", "66256", "66244", "66229", "66223", "66200", "66185", "65973", "65925", "65904", "65896", "65863", "65819", "65808", "65804", "65803", "65789", "65768", "65652", "65622", "65619", "65609", "65600", "65484", "65338", "65306", "65286", "65246", "65243", "65213", "65212", "65207", "65186", "65154", "65124", "65117", "65060", "65004", "64991", "64875", "64858", "64850", "64821", "64779", "64775", "64728", "64700", "64686", "64803", "64664", "64638", "64627", "64619", "64603", "64576", "64530", "64491", "64482", "64448", "64428", "64362", "64357", "64263", "64262", "64239", "64206", "64161", "64135", "64134", "64126", "64123", "64099", "64084", "64064", "64056", "64047", "64038", "64012", "63964", "63931", "63929", "63839", "63893", "63761", "63745", "63673", "63627", "63611", "63582", "63579", "63566", "63547", "63527", "63481", "63460", "63415", "63382", "63454", "63311", "63453", "63286", "63272", "63238", "63237", "63211", "63162", "63148", "63143", "63138", "63127", "63151", "63150", "63042", "62979", "62970", "62961", "62913", "62902", "62894", "62859", "62940", "62818", "62696", "62629", "62591", "62579", "62573", "62564", "62541", "62535", "62484", "62395", "62392", "62391", "62361", "62358", "62317", "62278", "62250", "62238", "62225", "62218", "62181", "62090", "62046", "62045", "62041", "62037", "61980", "61966", "61953", "61930", "61916", "61906", "61894", "61869", "61857", "61849", "61826", "61787", "61771", "61757", "61654", "61558", "61481", "61465", "61438", "61382", "61380", "61333", "61295", "61281", "61250", "61286", "61246", "61202", "61200", "61197", "61184", "61150", "61143", "61117", "61047", "61037", "61034", "61014", "60985", "60939", "60935", "60911", "60856", "60852", "60842", "60812", "60771", "60718", "60689", "60597", "60596", "60585", "60536", "60531", "60512", "60501", "60440", "60437", "60425", "60424", "60415", "60404", "60399", "60393", "60390", "60351", "60338", "60319", "60283", "60278", "60126", "60118", "60110", "60074", "60071", "60070", "60069", "60032", "59995", "59976", "59962", "59955", "59943", "59921", "59925", "59833", "59831", "59828", "59823", "59814", "59804", "59800", "59799", "59785", "59753", "59716", "59662", "59654", "59517", "59478", "59426", "59395", "59257", "59250", "59246", "59218", "59209", "59205", "59201", "59169", "59147", "59143", "59141", "59064", "59058", "59013", "59001", "58984", "58981", "58955", "58902", "58872", "58837", "58812", "58772", "58771", "58731", "58721", "58686", "58587", "58578", "58507", "58493", "58489", "58321", "58316", "58264", "58242", "58241", "58164", "58120", "57971", "57964", "57884", "57817", "57782", "57781", "57753", "57747", "57737", "57778", "57658", "57454", "57405", "57397", "57396", "57364", "57314", "57287", "57286", "57260", "57222", "57199", "57180", "57165", "57160", "57153", "57148", "57125", "57050", "56956", "56848", "56795", "56760", "56754", "56699", "56687", "56679", "56675", "56627", "56622", "56598", "56530", "56350", "56349", "56309", "56306", "56305", "56208", "56224", "56106", "56061", "56056", "56023", "55997", "55995", "55912", "55907", "55861", "55860", "55836", "55700", "55688", "55678", "55676", "55640", "55639", "55622", "55598", "55539", "55536", "55525", "55518", "55517", "55506", "55504", "55433", "55396", "55341", "55214", "55204", "55009", "55008", "54986", "54948", "54935", "54928", "54892", "54881", "54867", "54854", "54845", "54931", "54723", "54678", "54675", "54671", "54638", "54628", "54627", "54556", "54460", "54458", "54494", "54396", "54361", "54357", "54352", "54306", "54271", "54264", "54204", "54074", "54060", "54044", "54039", "54033", "54032", "53970", "53936", "53924", "53801", "53798", "53793", "53790", "53789", "53702", "53564", "53498", "53494", "53490", "53439", "53334", "53294", "53202", "53199", "53170", "53144", "53115", "52992", "52974", "52918", "52760", "52759", "52730", "52644", "52598", "52525", "52505", "52483", "52482", "52472", "52389", "52312", "52274", "52232", "52222", "52217", "52194", "52171", "52164", "52138", "52103", "52092", "52091", "52054", "52051", "52020", "51986", "51964", "51948", "51935", "51883", "51858", "51847", "51797", "51782", "51682", "51677", "51636", "51572", "51564", "51539", "51519", "51482", "51468", "51404", "51384", "51347", "51209", "51188", "51076", "51059", "51022", "51012", "50988", "50979", "50977", "50959", "50951", "50944", "50938", "50903", "50880", "50853", "50840", "50835", "50815", "50740", "50734", "50713", "50627", "50571", "50579", "50543", "50528", "50506", "50483", "50482", "50479", "50463", "50455", "50454", "50430", "50411", "50352", "50350", "50303", "50299", "50296", "50241", "50209", "50196", "50170", "50167", "50151", "50085", "50006", "50005", "50001", "50000", "49968", "49902", "49899", "49894", "49893", "49892", "49891", "49846", "49764", "49681", "49675", "49625", "49622", "49520", "49420", "49129", "49116", "49112", "49098", "49029", "49016", "48982", "48980", "48902", "48888", "48842", "48833", "48826", "48724", "48723", "48702", "48689", "48600", "48599", "48441", "48427", "48379", "48378", "48377", "48368", "48350", "48332", "48280", "48270", "48229", "48167", "48153", "48152", "48142", "48070", "48067", "48065", "48013", "48007", "47925", "47910", "47900", "47750", "47670", "47645", "47613", "47609", "47564", "47560", "47509", "47505", "47493", "47492", "47474", "47464", "47429", "47420", "47401", "47400", "47375", "47369", "47391", "47295", "47217", "47216", "47026", "46981", "46901", "46894", "46867", "46853", "46849", "46845", "46823", "46797", "46750", "46744", "46722", "46664", "46661", "46645", "46511", "46495", "46431", "46402", "46344", "46342", "46340", "46338", "46300", "46295", "46291", "46269", "46263", "46259", "46205", "46170", "46167", "46138", "46058", "46052", "46009", "45993", "45962", "45885", "45836", "45802", "45689", "45677", "45660", "45604", "45580", "45571", "45568", "45564", "45552", "45551", "45523", "45518", "45482", "45479", "45430", "45419", "45364", "45342", "45341", "45337", "45306", "45238", "45162", "45128", "45021", "45004", "44954", "44933", "44887", "44884", "44833", "44802", "44795", "44769", "44703", "44690", "44683", "44674", "44645", "44642", "44629", "44612", "44584", "44561", "44555", "44513", "44466", "44462", "44457", "44425", "44422", "44413", "44399", "44397", "44389", "44286", "44277", "44275", "44190", "44185", "44171", "44148", "44015", "43998", "43821", "43722", "43711", "43703", "43540", "43468", "43466", "43440", "43423", "43343", "43273", "43075", "43067", "43065", "43062", "43027", "43004", "42991", "42976", "42974", "42933", "42891", "42875", "42792", "42787", "42778", "42765", "42747", "42728", "42723", "42720", "42698", "42695", "42693", "42690", "42682", "42667", "42646", "42618", "42606", "42482", "42450", "42370", "42364", "42337", "42323", "42320", "42251", "42249", "42247", "42113", "42070", "42021", "42020", "41957", "42084", "41897", "41881", "41860", "41858", "41855", "41844", "41843", "41840", "41811", "41806", "41803", "41791", "41775", "41731", "41656", "41653", "41652", "41583", "41499", "41460", "41420", "41381", "41368", "41361", "41343", "41327", "41292", "41241", "41222", "41205", "41203", "41190", "41167", "41094", "41075", "41060", "41039", "41035", "40996", "40991", "40935", "40886", "40885", "40848", "40805", "40802", "40800", "40778", "40774", "40755", "40572", "40500", "40498", "40491", "40486", "40483", "40465", "40460", "40438", "40429", "40394", "40343", "40341", "40337", "40327", "40283", "40279", "40269", "40257", "40245", "40212", "40211", "40157", "40155", "40131", "40124", "40115", "40114", "40074", "40008", "39976", "39940", "39881", "39872", "39857", "39836", "39825", "39761", "39741", "39730", "39672", "39671", "39668", "39616", "39426", "39319", "39219", "39215", "39133", "39063", "39057", "39050", "39049", "39046", "39043", "38998", "38996", "38991", "38971", "38957", "38940", "38937", "38930", "38929", "38928", "38926", "38893", "38862", "38765", "38733", "38679", "38671", "38659", "38592", "38511", "38479", "38471", "38456", "38455", "38439", "38352", "38306", "38305", "38291", "38272", "38199", "38190", "38172", "38135", "38081", "38080", "38064", "38024", "37975", "37871", "37848", "37834", "37777", "37738", "37697", "37692", "37643", "37606", "37605", "37602", "37490", "37484", "37476", "37471", "37467", "37369", "37300", "37199", "37129", "37086", "37053", "37036", "36909", "36798", "36785", "36757", "36694", "36689", "36672", "36662", "36653", "36643", "36640", "36606", "36602", "36570", "36493", "36479", "36476", "36451", "36439", "36394", "36365", "36342", "36272", "36268", "36084", "36056", "36032", "36027", "35999", "35947", "35921", "35916", "35881", "35874", "35803", "35789", "35772", "35640", "35638", "35632", "35583", "35572", "35561", "35531", "35501", "35498", "35515", "35477", "35359", "35313", "35303", "35283", "35281", "35275", "35213", "35210", "35170", "35129", "35123", "35088", "35064", "35061", "35029", "35020", "35014", "35009", "34997", "34987", "34985", "34884", "34879", "34813", "34752", "34749", "34706", "34654", "34618", "34598", "34516", "34473", "34466", "34431", "34359", "34355", "34332", "34226", "34211", "34163", "34106", "34105", "34069", "33978", "33975", "33968", "33853", "33852", "33824", "33823", "33815", "33680", "33522", "33469", "33414", "33401", "33376", "33369", "33352", "33312", "33311", "33181", "33151", "33142", "33108", "33059", "33050", "33048", "33044", "32963", "32922", "32876", "32865", "32860", "32844", "32810", "32797", "32785", "32756", "32729", "32700", "32699", "32698", "32697", "32694", "32660", "32578", "32572", "32569", "32568", "32565", "32549", "32455", "32440", "32439", "32433", "32426", "32164", "32126", "32124", "32076", "31954", "31951", "31738", "31737", "31735", "31657", "31617", "31578", "31500", "31430", "31428", "71656", "31300", "31228", "31227", "31226", "31225", "31205", "31149", "31147", "31068", "31062", "31053", "31051", "31048", "31044", "31042", "30994", "30982", "30971", "30944", "30916", "30905", "30868", "30862", "30858", "30856", "30854", "30820", "30798", "30791", "30774", "30771", "30711", "30673", "30664", "30620", "30589", "30571", "30548", "30546", "30541", "30467", "30436", "30434", "30403", "30488", "30386", "30377", "30375", "30346", "30321", "30232", "30224", "30214", "30161", "30153", "30143", "30141", "30080", "30079", "30070", "30174", "30051", "30022", "30004", "30002", "29957", "29936", "29923", "29919", "29816", "29755", "29738", "29730", "29683", "29626", "29614", "29541", "29538", "29521", "29490", "29483", "29480", "29390", "29387", "29332", "29272", "29263", "29260", "29213", "29194", "29181", "29111", "29091", "29051", "29026", "28958", "28944", "28943", "28895", "28862", "28853", "28852", "28845", "28844", "28771", "28668", "28664", "28650", "28648", "28552", "28519", "28516", "28481", "28495", "28461", "28385", "28371", "28337", "28291", "28289", "28288", "28264", "28262", "28257", "28245", "28220", "28192", "28141", "28095", "28085", "28084", "37378", "28083", "37377", "28040", "28039", "28037", "28023", "28003", "27960", "27927", "27959", "27891", "27862", "27746", "27700", "27690", "27594", "27540", "27486", "27438", "27428", "27408", "27283", "27055", "27053", "27091", "26973", "26963", "26962", "26960", "26908", "26824", "26729", "26704", "26690", "26655", "26539", "26426", "26425", "26416", "26402", "26364", "26353", "26352", "26277", "26276", "26220", "26142", "26081", "26080", "26072", "25884", "25867", "25801", "25739", "25734", "25639", "25586", "25541", "25540", "25523", "25496", "25493", "25490", "25406", "25405", "25392", "25371", "25357", "25356", "25264", "25243", "25242", "25161", "25158", "25100", "25096", "25079", "25045", "25095", "25094", "24978", "24975", "24969", "24919", "24843", "24812", "24793", "24790", "24786", "24740", "24722", "24697", "24690", "24676", "24674", "24614", "24603", "24602", "24584", "24475", "24450", "24605", "24442", "24410", "24382", "24364", "24347", "24187", "24170", "24167", "24119", "24079", "24077", "24014", "23912", "23903", "23875", "23857", "23809", "23690", "23689", "23688", "23657", "23595", "23576", "23533", "23502", "23501", "23460", "23446", "23444", "23388", "23368", "23283", "23198", "23196", "23193", "23133", "23132", "23131", "23082", "23074", "23060", "23016", "23002", "22995", "22964", "22904", "22885", "22882", "22880", "22862", "22859", "22856", "22812", "22755", "22751", "22747", "22733", "22715", "22687", "22644", "22639", "22631", "22630", "22628", "22476", "22447", "22446", "22434", "22382", "22310", "22301", "22300", "22295", "22275", "22270", "22263", "22233", "22231", "22220", "22155", "22154", "22032", "21900", "21892", "21886", "21882", "21874", "21868", "21836", "21830", "21829", "21817", "21816", "21754", "21730", "21685", "21606", "21603", "21578", "21524", "21469", "21441", "21374", "21373", "21332", "21291", "21256", "21255", "21244", "21243", "21170", "21165", "21159", "21158", "21155", "21129", "21091", "21017", "21012", "20934", "20898", "20856", "20849", "20836", "20835", "20748", "20744", "20712", "20710", "20690", "20603", "20561", "20533", "20526", "20502", "20499", "20494", "20480", "20478", "20430", "20424", "20290", "20255", "20250", "20253", "20232", "20226", "20222", "20216", "20213", "20179", "20161", "20148", "20146", "20107", "20105", "20092", "20065", "20011", "19995", "19991", "19945", "19915", "19761", "19702", "19696", "19678", "19631", "19604", "19594", "19533", "19530", "19473", "19465", "19400", "19397", "19393", "19352", "19351", "19205", "19197", "19172", "19160", "19080", "19020", "19014", "18993", "18882", "18877", "18829", "18828", "18825", "18809", "18767", "18764", "18736", "18733", "18703", "18599", "18597", "18596", "31099", "18515", "18511", "18508", "18486", "18440", "18439", "18435", "18434", "18430", "18427", "18417", "18399", "18374", "18371", "18366", "18265", "18109", "18100", "18071", "18040", "18029", "17980", "17935", "17929", "17883", "17809", "17793", "17767", "17766", "17754", "17751", "17750", "17636", "17634", "17625", "17616", "17615", "17613", "17571", "17529", "17525", "17344", "17287", "17284", "17221", "17194", "17168", "17133", "17069", "17057", "17023", "16862", "16841", "16770", "16631", "16613", "16611", "16607", "16605", "16575", "16572", "16522", "16479", "16462", "16428", "16427", "16351", "16257", "16256", "16244", "16242", "16207", "16104", "16073", "16019", "16013", "16012", "15924", "15921", "15869", "15867", "15826", "15805", "15760", "15817", "15735", "15670", "15642", "15624", "15590", "15588", "15582", "15564", "15537", "15534", "15528", "15520", "15517", "15511", "15507", "15370", "15340", "15331", "15327", "15322", "15318", "15288", "15283", "15282", "15247", "15232", "15196", "15188", "15144", "15130", "15121", "15096", "15093", "15090", "15071", "15062", "15059", "14996", "14948", "14892", "14835", "14831", "14829", "14828", "14827", "14817", "14788", "14714", "14680", "14679", "14666", "14662", "14653", "14649", "14626", "14621", "14601", "14599", "14493", "14468", "14460", "14456", "14380", "14369", "14360", "14176", "14175", "14132", "14129", "14081", "14080", "14073", "14064", "14061", "14039", "14002", "13977", "13972", "13958", "13931", "13930", "13920", "13907", "13858", "13809", "13793", "13772", "13744", "13736", "13734", "13733", "13711", "13702", "13674", "13670", "13656", "13639", "13633", "13629", "13624", "13579", "13681", "13570", "13544", "13527", "13424", "13385", "13306", "13279", "13257", "13247", "13246", "13243", "13240", "13195", "12984", "12980", "12979", "12959", "12905", "12903", "12901", "12896", "12882", "12871", "12852", "12792", "12781", "12777", "12771", "12766", "12652", "12651", "12639", "12618", "12603", "12573", "12559", "12452", "12451", "12444", "12443", "12405", "12349", "12272", "12240", "12239", "12238", "12236", "12234", "12214", "12184", "12181", "12107", "11979", "11900", "11860", "11834", "11830", "11741", "11701", "11631", "11618", "11617", "11615", "11572", "11571", "11568", "11547", "11541", "11509", "11456", "11435", "11428", "11412", "11381", "11377", "11345", "11338", "11305", "11297", "11185", "23524", "11131", "11129", "11086", "11060", "10991", "10885", "10883", "10866", "10865", "10864", "10863", "10840", "10836", "10830", "10829", "10793", "10792", "10785", "10755", "10730", "10712", "10656", "10654", "10603", "10540", "10535", "10509", "10495", "10494", "10492", "10482", "10476", "10452", "10447", "10435", "10422", "10416", "10414", "10413", "10408", "10383", "10380", "10379", "10370", "10355", "10317", "10276", "10273", "10191", "10117", "10111", "10109", "10103", "10092", "9971", "9925", "9903", "9902", "9901", "9885", "9738", "9730", "9683", "9638", "9630", "9628", "9609", "9586", "9585", "9580", "9570", "9569", "9567", "9965", "9543", "9530", "9524", "9516", "9494", "9491", "9488", "9473", "9441", "9431", "9429", "9398", "9340", "9313", "9311", "9284", "9283", "9278", "9268", "9254", "9248", "9244", "9205", "9204", "9203", "9151", "9147", "9139", "9132", "9090", "9067", "9032", "8964", "8947", "8942", "8938", "8933", "8931", "8918", "8915", "8903", "8893", "8871", "8831", "8790", "8775", "8743", "8742", "8740", "8731", "8721", "8710", "8706", "8648", "8616", "8569", "8512", "8509", "8508", "8473", "8289", "53512", "8239", "8145", "8141", "8128", "8120", "7977", "7975", "7957", "7950", "7869", "7840", "7838", "7820", "7804", "7802", "7794", "7782", "7780", "7736", "7733", "7729", "7728", "7720", "7711", "7707", "7674", "7667", "7651", "7601", "7567", "7550", "7508", "7488", "7487", "7486", "7485", "7426", "7425", "7418", "7388", "7355", "7347", "7320", "7230", "7219", "7192", "7189", "7117", "7067", "7058", "7049", "7017", "7006", "6971", "6954", "6926", "6906", "6904", "6894", "6850", "6836", "6786", "6746", "6740", "6695", "6626", "6574", "6572", "6445", "6353", "6350", "6348", "6320", "6305", "6303", "6273", "6269", "6262", "6209", "6200", "6199", "6184", "6101", "6092", "6090", "6078", "6005", "5972", "5968", "5921", "5872", "5869", "5838", "5812", "5734", "5703", "5700", "5698", "5697", "5690", "5687", "5669", "5648", "5631", "5616", "5588", "5586", "5556", "5555", "5547", "5542", "5530", "5486", "5485", "5464", "11756", "11754", "5417", "5384", "5340", "5338", "5311", "5186", "5185", "5177", "5018", "4964", "4872", "4842", "4839", "4808", "4784", "4750", "4749", "4713", "4664", "4611", "4588", "4581", "4403", "4402", "4401", "4349", "4312", "4276", "4273", "37108", "4249", "4243", "4072", "4063", "4058", "4012", "4009", "4004", "3953", "3825", "3824", "3793", "3791", "3769", "3768", "3767", "3749", "3721", "3709", "3626", "3614", "3585", "3583", "3582", "3581", "3579", "3519", "3433", "3426", "3362", "3332", "3264", "3196", "3150", "3149", "3111", "3078", "2934", "2890", "2849", "2836", "2781", "2767", "2712", "2705", "2538", "2534", "2531", "2525", "2514", "2455", "2444", "2404", "2235", "2084", "2067", "1779", "1730", "1650", "1582", "1581", "1580", "1564", "1563", "1561", "1468", "1330", "1329", "1328", "1316", "1277", "1276", "1253", "1236", "1218", "1114", "1113", "1070", "1068", "1066", "1011", "987", "969", "920", "14981", "499", "497", "491", "486", "31098", "71653", "42326", "13044", "31107", "31104", "23522", "28613", "9366", "28611", "28609"]

localStorage.setItem("tex.se.pagesToFix", JSON.stringify(pagesToFix));