Buckner truncating Lanzhou future liquefaction irretrievable endeared formulations overmuches bars debugger