evidence(link(n2,n3),true).
evidence(link(n3,n2),true).
evidence(link(n2,n10),true).
evidence(link(n10,n2),true).
evidence(link(n3,n10),true).
evidence(link(n10,n3),true).
evidence(link(n8,n7),true).
evidence(link(n7,n8),true).
evidence(link(n5,n4),true).
evidence(link(n4,n5),true).
evidence(link(n1,n4),true).
evidence(link(n4,n1),true).
evidence(link(n1,n1),false).
evidence(link(n1,n2),false).
evidence(link(n1,n3),false).
evidence(link(n1,n5),false).
evidence(link(n1,n6),false).
evidence(link(n1,n7),false).
evidence(link(n1,n8),false).
evidence(link(n1,n9),false).
evidence(link(n1,n10),false).
evidence(link(n2,n1),false).
evidence(link(n2,n2),false).
evidence(link(n2,n4),false).
evidence(link(n2,n5),false).
evidence(link(n2,n6),false).
evidence(link(n2,n7),false).
evidence(link(n2,n8),false).
evidence(link(n2,n9),false).
evidence(link(n3,n1),false).
evidence(link(n3,n3),false).
evidence(link(n3,n4),false).
evidence(link(n3,n5),false).
evidence(link(n3,n6),false).
evidence(link(n3,n7),false).
evidence(link(n3,n8),false).
evidence(link(n3,n9),false).
evidence(link(n4,n2),false).
evidence(link(n4,n3),false).
evidence(link(n4,n4),false).
evidence(link(n4,n6),false).
evidence(link(n4,n7),false).
evidence(link(n4,n8),false).
evidence(link(n4,n9),false).
evidence(link(n4,n10),false).
evidence(link(n5,n1),false).
evidence(link(n5,n2),false).
evidence(link(n5,n3),false).
evidence(link(n5,n5),false).
evidence(link(n5,n6),false).
evidence(link(n5,n7),false).
evidence(link(n5,n8),false).
evidence(link(n5,n9),false).
evidence(link(n5,n10),false).
evidence(link(n6,n1),false).
evidence(link(n6,n2),false).
evidence(link(n6,n3),false).
evidence(link(n6,n4),false).
evidence(link(n6,n5),false).
evidence(link(n6,n6),false).
evidence(link(n6,n7),false).
evidence(link(n6,n8),false).
evidence(link(n6,n9),false).
evidence(link(n6,n10),false).
evidence(link(n7,n1),false).
evidence(link(n7,n2),false).
evidence(link(n7,n3),false).
evidence(link(n7,n4),false).
evidence(link(n7,n5),false).
evidence(link(n7,n6),false).
evidence(link(n7,n7),false).
evidence(link(n7,n9),false).
evidence(link(n7,n10),false).
evidence(link(n8,n1),false).
evidence(link(n8,n2),false).
evidence(link(n8,n3),false).
evidence(link(n8,n4),false).
evidence(link(n8,n5),false).
evidence(link(n8,n6),false).
evidence(link(n8,n8),false).
evidence(link(n8,n9),false).
evidence(link(n8,n10),false).
evidence(link(n9,n1),false).
evidence(link(n9,n2),false).
evidence(link(n9,n3),false).
evidence(link(n9,n4),false).
evidence(link(n9,n5),false).
evidence(link(n9,n6),false).
evidence(link(n9,n7),false).
evidence(link(n9,n8),false).
evidence(link(n9,n9),false).
evidence(link(n9,n10),false).
evidence(link(n10,n1),false).
evidence(link(n10,n4),false).
evidence(link(n10,n5),false).
evidence(link(n10,n6),false).
evidence(link(n10,n7),false).
evidence(link(n10,n8),false).
evidence(link(n10,n9),false).
evidence(link(n10,n10),false).