penman.interface penman.interface Graph-reading Functions decode loads load Graph-writing Functions encode dumps dump