object(1,[cyclic(g1)=.false,
can_reach(a,b)=.true,
can_reach(b,c)=.true,
can_reach(a,c)=.true,
can_reach(b,a)=.false,
can_reach(c,a)=.false,
can_reach(c,b)=.false],
[linked_to(a,b)=.true,
linked_to(b,c)=.true,
linked_to(b,a)=.false,
linked_to(c,b)=.false,
linked_to(a,c)=.false,
linkedto(c,a)=.false,
node_of(g1,a)=.true,
node_of(g1,b)=.true,
node_of(g1,c)=.true]).
object(2,[cyclic(g2)=.false,
can_reach(c,d)=.true,
can_reach(c,e)=.true,
can_reach(c,f)=.true,
can_reach(d,e)=.true,
can_reach(d,f)=.true,
can_reach(e,f)=.true,
can_reach(d,c)=.false,
can_reach(e,c)=.false,
can_reach(f,c)=.false,
can_reach(f,e)=.false,
can_reach(f,d)=.false,
can_reach(e,d)=false,
can_reach(d,c)=.false],
[linked_to(c,d)=.true,
linked_to(d,f)=.true,
linked_to(d,e)=.true,
linked_to(e,f)=.true,
linked_to(d,c)=.false,
linked_to(f,d)=.false,
linked_to(e,d)=.false,
linked_to(f,e)=.false,
linked_to(f,c)=.false,
linked_to(e,c)=.false,
node_of(g2,c)=.true,
node_of(g2,d)=.true,
node_of(g2,e)=.true,
node_of(g2,f)=.true]).

 

object(3,[cyclic(g3)=true,
can_reach(g,h)=.true,
can_reach(h,g)=.true,
can_reach(g,g)=.true,
can_reach(h,h)=.true],
[linked_to(g,h)=.true,
linked_to(h,g)=.true,
node_of(g3,g)=.true,
node_of(g3,h)=.true]).

 

object(4,[cyclic(g4)=.true,
can_reach(j,i)=.true,
can_reach(j,k)=.true,
can_reach(j,l)=.false,
can_reach(j,m)=.true,
can_reach(j,j)=.true,
can_reach(k,l)=.false,
can_reach(k,m)=.true,
can_reach(k,j)=.true,
can_reach(k,k)=.true,
can_reach(k,i)=.true,
can_reach(l,m)=.true,
can_reach(l,j)=.true,
can_reach(l,k)=.true,
can_reach(l,i)=.true,
can_reach(l,l)=.false,
can_reach(m,j)=.true,
can_reach(m,i)=.true,
can_reach(m,k)=.true,
can_reach(m,l)=.false,
can_reach(m,m)=.true,
can_reach(i,j)=.false,
can_reach(i,k)=.false,
can_reach(i,l)=.false,
can_reach(i,m)=.false,
can_reach(i,i)=.false],
[linked_to(j,i)=.true,
linked_to(j,k)=.true,
linked_to(k,l)=.false,
linked_to(k,m)=.true,
linked_to(l,m)=.true,
linked_to(m,j)=.true,
linked_to(i,j)=.false,
linked_to(i,k)=.false,
linked_to(i,l)=.false,
linked_to(i,m)=.false,
linked_to(j,l)=.false,
linked_to(k,j)=.false,
linked_to(l,k)=.false,
linked_to(i,j)=.false,
linked_to(m,k)=.false,
linked_to(m,l)=.false,
linked_to(j,m)=.false,
node_of(g4,i)=.true,
node_of(g4,j)=.true,
node_of(g4,k)=.true,
node_of(g4,l)=.true,
node_of(g4,m)=.true]).

 

object(5,[cyclic(g5)=.true,
can_reach(s,s)=.true],
[linked_to(s,s)=.true,
node_of(g5,s)=.true]).

 

Download input file
 
Top