a(10,20)
a(10,25)
a(10,30)
a(10,40)
a(10,50)
a(10,60)
a(20,30)
a(25,20)
a(25,30)
a(25,40)
a(25,50)
a(25,60)
a(3,1)
a(3,4)
a(40,20)
a(40,30)
a(40,50)
a(40,60)
a(50,50)
a(50,60)
a([1,2],[3,4])
a([1,2],[5,4])
a([3,A],[5,A])
a([A],[A])
a([a,b],[c,d])
a([a,b],[e,f])
a([a,b],[g,g])
a([c,d],[e,f])
a([c,d],[g,g])
a(f(1,2),f(3,4))
a(f(1,2),f(5,4))
a(f(10,20),f(30,40))
a(f(10,20),f(A,40,A))
a(f(3,A),f(5,A))
a(f(30,A),f(B,A,B))
a(f(a,b),f(c,d))
a(f(a,b),f(e,f))
a(f(c,d),f(e,f))
