verify that TC((1 3 5;2 4 6),("I I";1 1 1)0:`tst.csv) passes