Gasification of coke with carbon monoxide--carbon dioxide mixtures. [Study of effect of temperature, gas composition, and lump size on rate of gasification of coke on samples of 10-60 mm dia. at 900-1100/sup 0/]