resource_roles: 943

This data as json

rowid	resource_id	role	how
943	papers-acdc-static-age-predicate-proof-smt	developer	derived