document.write('<style>    div.embedPastebin { text-align:left; padding: 0; color: #000; margin: 0; font-family: monospace; background: #F7F7F7; border: 1px solid ddd; border-radius:3px; }    div.embedPastebin {  }    div.embedPastebin div.embedFooter { background: #F7F7F7; color: #333; font-size: 100%; padding: 6px 12px; border-bottom: 1px solid #ddd; text-transform:uppercase; }    div.embedPastebin div.embedFooter a,    div.embedPastebin div.embedFooter a:visited { color: #336699; text-decoration:none; }    div.embedPastebin div.embedFooter a:hover { color: red; }    .noLines ol { list-style-type: none; padding-left: 0.5em; }    .embedPastebin{background-color:#F8F8F8;border:1px solid #ddd;font-size:12px;overflow:auto;margin: 0 0 0 0;padding:0 0 0 0;line-height:21px}    .embedPastebin div { line-height:21px; font-family:Consolas, Menlo, Monaco, Lucida Console,\'Bitstream Vera Sans Mono\',\'Courier\',monospace; }    ol { margin:0; padding: 0 0 0 55px}    ol li { border:0; margin:0;padding:0; }    li.ln-xtra .de1, li.ln-xtra .de2 {background:#F8F8CE;}    .embedPastebin ol li.li1 { margin: 0; }    .embedPastebin ol li.li2 { margin: 0; }</style><link href="https://pastebin.com/themes/pastebin/css/geshi/light/latex.css?694707f98000ed24d865" rel="stylesheet"><div class="">    <div class="embedPastebin">                    <div class="embedFooter">Data hosted with &hearts; by <a href="https://pastebin.com" target="_blank">Pastebin.com</a> - <a href="https://pastebin.com/raw/ykTjBuax" target="_blank">Download Raw</a> - <a href="https://pastebin.com/ykTjBuax" target="_blank">See Original</a></div>                <div class="highlighted-code">            <div class="source">                <ol class="latex"><li class="li1"><div class="de1">&nbsp;<span class="sy0">\\</span><span class="kw1">vspace</span><span class="sy0">{</span><span class="re9">3in</span><span class="sy0">}</span></div></li></ol>            </div>        </div>    </div></div>');