resource_topics: 542

This data as json

rowid	resource_id	topic
542	papers-acdc-static-age-predicate-proof-smt	theory