#3.10.trs   (nodes : 71, edges : 1822)
#3.13.trs   (nodes : 62, edges : 1953)
#3.16.trs   (nodes : 26, edges : 301)
#3.18.trs   (nodes : 32, edges : 459)
#3.22.trs   (nodes : 23, edges : 242)
#3.25.trs   (nodes : 21, edges : 204)
#3.27.trs   (nodes : 19, edges : 178)
#3.2.trs    (nodes : 25, edges : 273)
#3.32.trs   (nodes : 18, edges : 167)
#3.36.trs   (nodes : 29, edges : 375)
#3.38.trs   (nodes : 30, edges : 461)
#3.40.trs   (nodes : 45, edges : 580)
#3.45.trs   (nodes : 23, edges : 221)
#3.48.trs   (nodes : 32, edges : 404)
#3.52.trs   (nodes : 24, edges : 303)
#3.55.trs   (nodes : 66, edges : 1741)
#3.57.trs   (nodes : 50, edges : 867)
#3.6.trs    (nodes : 39, edges : 627)
#3.8.trs    (nodes : 31, edges : 405)
#4.10.trs   (nodes : 20, edges : 194)
#4.13.trs   (nodes : 16, edges : 149)
#4.15.trs   (nodes : 24, edges : 275)
#4.17.trs   (nodes : 24, edges : 261)
#4.19.trs   (nodes : 28, edges : 425)
#4.22.trs   (nodes : 24, edges : 283)
#4.24.trs   (nodes : 31, edges : 406)
#4.26.trs   (nodes : 27, edges : 383)
#4.28.trs   (nodes : 22, edges : 211)
#4.2.trs    (nodes : 22, edges : 237)
#4.34.trs   (nodes : 29, edges : 335)
#4.36.trs   (nodes : 59, edges : 1389)
#4.3.trs    (nodes : 16, edges : 149)
#4.5.trs    (nodes : 16, edges : 149)
#4.7.trs    (nodes : 19, edges : 198)
#4.8.trs    (nodes : 24, edges : 296)