table_c(" 1", " 0", " 1").
table_c(" 4", " 2", "-2").
table_c(" 7", " 5", " 1").
table_c("10", " 8", "-2").
table_c("13", "12", " 3").
table_c("16", "17", "-4").
table_c("19", "23", " 3").
