ltlcross3.test 12 KB