dr %first line correspond to the list of variable names
T? 1 %each line represent a state, it is seperated in two parts : first is the value of each variable for that state in the order described at the first line, then a list of all the sucessors of that state ?? 0 1 %you can comment with a '%' caracter