/* Goal state 1: 1 2 3 4 5 6 7 8 0 */ static char GOAL_2[9] = {'1', '2', '3', '4', '5', '6', '7', '8', '0'}; static char EXAMPLE_1_1[9]= {'1', '2', '3', '4', '6', '0', '7', '5', '8'}; static char EXAMPLE_1_2[9]= {'4', '1', '2', '7', '6', '3', '0', '5','8'}; static char EXAMPLE_1_3[9]= {'4', '1', '2', '7', '6', '3', '5', '8','0'}; /* Goal state 2: 1 2 3 8 0 4 7 6 5 */ static char GOAL_2[9] = {'1', '2', '3', '8', '0', '4', '7', '6', '5'}; static char EXAMPLE_2_1[9] = {'1', '3', '4', '8', '6', '2', '7', '0', '5'}; static char EXAMPLE_2_2[9] = {'2', '8', '1', '0', '4', '3', '7', '6', '5'}; static char EXAMPLE_2_3[9] = {'2', '8', '1', '4', '6', '3', '0', '7', '5'}; static char EXAMPLE_2_4[9] = {'5', '6', '7', '4', '0', '8', '3', '2', '1'};