% Automatic conversion from python relation
actionset( ['a1', 'a2', 'a3', 'a4', 'a5', 'a6', 'a7', 'a8', 'a9', 'a10'] ).
evaluationdomain:-
asserta((valuationdomain(V) :- fd_domain(V, 0 , 2 ))).
relation('a1','a1', 0 ):-!.
relation('a1','a2', 2 ):-!.
relation('a1','a3', 0 ):-!.
relation('a1','a4', 0 ):-!.
relation('a1','a5', 2 ):-!.
relation('a1','a6', 2 ):-!.
relation('a1','a7', 0 ):-!.
relation('a1','a8', 0 ):-!.
relation('a1','a9', 0 ):-!.
relation('a1','a10', 0 ):-!.
relation('a2','a1', 2 ):-!.
relation('a2','a2', 0 ):-!.
relation('a2','a3', 2 ):-!.
relation('a2','a4', 0 ):-!.
relation('a2','a5', 0 ):-!.
relation('a2','a6', 0 ):-!.
relation('a2','a7', 2 ):-!.
relation('a2','a8', 0 ):-!.
relation('a2','a9', 0 ):-!.
relation('a2','a10', 0 ):-!.
relation('a3','a1', 0 ):-!.
relation('a3','a2', 2 ):-!.
relation('a3','a3', 0 ):-!.
relation('a3','a4', 2 ):-!.
relation('a3','a5', 0 ):-!.
relation('a3','a6', 0 ):-!.
relation('a3','a7', 0 ):-!.
relation('a3','a8', 2 ):-!.
relation('a3','a9', 0 ):-!.
relation('a3','a10', 0 ):-!.
relation('a4','a1', 0 ):-!.
relation('a4','a2', 0 ):-!.
relation('a4','a3', 2 ):-!.
relation('a4','a4', 0 ):-!.
relation('a4','a5', 2 ):-!.
relation('a4','a6', 0 ):-!.
relation('a4','a7', 0 ):-!.
relation('a4','a8', 0 ):-!.
relation('a4','a9', 2 ):-!.
relation('a4','a10', 0 ):-!.
relation('a5','a1', 2 ):-!.
relation('a5','a2', 0 ):-!.
relation('a5','a3', 0 ):-!.
relation('a5','a4', 2 ):-!.
relation('a5','a5', 0 ):-!.
relation('a5','a6', 0 ):-!.
relation('a5','a7', 0 ):-!.
relation('a5','a8', 0 ):-!.
relation('a5','a9', 0 ):-!.
relation('a5','a10', 2 ):-!.
relation('a6','a1', 2 ):-!.
relation('a6','a2', 0 ):-!.
relation('a6','a3', 0 ):-!.
relation('a6','a4', 0 ):-!.
relation('a6','a5', 0 ):-!.
relation('a6','a6', 0 ):-!.
relation('a6','a7', 0 ):-!.
relation('a6','a8', 2 ):-!.
relation('a6','a9', 2 ):-!.
relation('a6','a10', 0 ):-!.
relation('a7','a1', 0 ):-!.
relation('a7','a2', 2 ):-!.
relation('a7','a3', 0 ):-!.
relation('a7','a4', 0 ):-!.
relation('a7','a5', 0 ):-!.
relation('a7','a6', 0 ):-!.
relation('a7','a7', 0 ):-!.
relation('a7','a8', 0 ):-!.
relation('a7','a9', 2 ):-!.
relation('a7','a10', 2 ):-!.
relation('a8','a1', 0 ):-!.
relation('a8','a2', 0 ):-!.
relation('a8','a3', 2 ):-!.
relation('a8','a4', 0 ):-!.
relation('a8','a5', 0 ):-!.
relation('a8','a6', 2 ):-!.
relation('a8','a7', 0 ):-!.
relation('a8','a8', 0 ):-!.
relation('a8','a9', 0 ):-!.
relation('a8','a10', 2 ):-!.
relation('a9','a1', 0 ):-!.
relation('a9','a2', 0 ):-!.
relation('a9','a3', 0 ):-!.
relation('a9','a4', 2 ):-!.
relation('a9','a5', 0 ):-!.
relation('a9','a6', 2 ):-!.
relation('a9','a7', 2 ):-!.
relation('a9','a8', 0 ):-!.
relation('a9','a9', 0 ):-!.
relation('a9','a10', 0 ):-!.
relation('a10','a1', 0 ):-!.
relation('a10','a2', 0 ):-!.
relation('a10','a3', 0 ):-!.
relation('a10','a4', 0 ):-!.
relation('a10','a5', 2 ):-!.
relation('a10','a6', 0 ):-!.
relation('a10','a7', 2 ):-!.
relation('a10','a8', 2 ):-!.
relation('a10','a9', 0 ):-!.
relation('a10','a10', 0 ):-!.