<s> from hashlib import md5 <EOL> from os import path <EOL> def rf_table_name ( f_path ) : <EOL> md5sum = md5 ( f_path . encode ( '<STR_LIT:utf-8>' ) ) . hexdigest ( ) <EOL> return '<STR_LIT>' . format ( <EOL> realname = path . basename ( f_path ) , <EOL> md5 = md5sum <EOL> ) <EOL> def lib_table_name ( library ) : <EOL> return '<STR_LIT>' . format ( <EOL> realname = library , <EOL> md5 = md5 ( library ) . hexdigest ( ) <EOL> ) </s>
