null null null null #tkuc$10 State3 3 1.000000 true