table_a(1, 0.0, "1").
table_a(2, 2.0, "3").
table_a(2, 3.0, "3").
table_a(3, 7.0, "4").
table_a(4, 4.0, "2").
table_a(5, 9.0, "2").
table_a(6, 5.0, "3").
table_a(8, 8.0, "2").
table_a(9, 1.0, "6").
