dd58f5de0916c1223ca115052567c1fb39f4cd62

https:/github.com/Jelly-RDF/jvm-benchmarks/tree/dd58f5de0916c1223ca115052567c1fb39f4cd62 ⧉copy