c6107 bin kn vs unk

c6107 (31*197)
1023 types of matches

(e,n) 2(BigN-n) appeared in root of d t
(e,n) a-1 appeared in root of d b
(0,n) a abb i appeared in root of d b
(e,n) t appeared in root of d j
(e,n) n appeared in root of d c
(e,n) 2(BigN-n) appeared in root of d f
(e,n) 2(BigN-n) appeared in root of d u
(e,n) 2(BigN-n) appeared in root of d tri1
(e,n) a appeared in root of d tri1
(1,1) d=0n x appeared in root of d tri1
(1,1) d=0n j appeared in root of d tri1
(0,1) a=0n x appeared in root of d tri1
(e,n) 2(BigN-n) appeared in root of d tri2
(e,n) t appeared in root of d 2(BigN-n)
(e,1) a[t]=bn a appeared in root of d 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN x
(e,n) a+1 appeared in (e,1) a[t]=BigN a
(1,1) d=0n x appeared in (e,1) a[t]=BigN a
(1,1) d=0n j appeared in (e,1) a[t]=BigN a
(0,1) a=0n x appeared in (e,1) a[t]=BigN a
(0,1) a=0n j appeared in (e,1) a[t]=BigN a
(0,n) aa bb i appeared in (e,1) a[t]=BigN a
(e,n) x-1 appeared in (e,1) a[t]=BigN i
(e,n) a-1 appeared in (e,1) a[t]=BigN f
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN tri1
(e,n) a appeared in (e,1) a[t]=BigN tri1
(1,1) d=0n t appeared in (e,1) a[t]=BigN BigN-n
(1,1) d=0n u appeared in (e,1) a[t]=BigN BigN-n
(0,1) a=0n t appeared in (e,1) a[t]=BigN BigN-n
(0,1) a=0n u appeared in (e,1) a[t]=BigN BigN-n
(e,n) n appeared in (e,1) a[t]=BigN 2(BigN-n)
(1,1) d=0n x appeared in (e,1) a[t]=BigN 2(BigN-n)
(1,1) d=0n j appeared in (e,1) a[t]=BigN 2(BigN-n)
(0,1) a=0n x appeared in (e,1) a[t]=BigN 2(BigN-n)
(0,1) a=0n j appeared in (e,1) a[t]=BigN 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t+1 d
(e,1) a[t]=an a appeared in (e,1) a[t]=BigN t+1 d
(e,1) a[t]=an d appeared in (e,1) a[t]=BigN t+1 d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t+1 x
(f,1) a[t]=a(n-1) d appeared in (e,1) a[t]=BigN t+1 b
(e,1) a[t]=bn a appeared in (e,1) a[t]=BigN t+1 b
(e,1) a[t]=an d appeared in (e,1) a[t]=BigN t+1 i
(f,1) a[t]=a(n-1) a appeared in (e,1) a[t]=BigN t+1 i
(1,1) d=0n t appeared in (e,1) a[t]=BigN t+1 j
(1,1) d=0n u appeared in (e,1) a[t]=BigN t+1 j
(0,1) a=0n u appeared in (e,1) a[t]=BigN t+1 j
(0,n) aa bb i appeared in (e,1) a[t]=BigN t+1 c
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t+1 u
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t+1 tri1
(e,n) n+1 appeared in (e,1) a[t]=BigN t+1 tri1
(f,1) a[t]=b(n-1) a appeared in (e,1) a[t]=BigN t+1 tri1
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t+1 tri2
(e,n) a appeared in (e,1) a[t]=BigN t+1 tri2
(e,n) t appeared in (e,1) a[t]=BigN t+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t-1 d
(e,n) j appeared in (e,1) a[t]=BigN t-1 d
(1,1) d=0n t appeared in (e,1) a[t]=BigN t-1 d
(1,1) d=0n u appeared in (e,1) a[t]=BigN t-1 d
(0,1) a=0n t appeared in (e,1) a[t]=BigN t-1 d
(0,1) a=0n u appeared in (e,1) a[t]=BigN t-1 d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t-1 x
(e,n) a+1 appeared in (e,1) a[t]=BigN t-1 b
(1,1) d=0n x appeared in (e,1) a[t]=BigN t-1 b
(1,1) d=0n j appeared in (e,1) a[t]=BigN t-1 b
(0,1) a=0n x appeared in (e,1) a[t]=BigN t-1 b
(0,1) a=0n j appeared in (e,1) a[t]=BigN t-1 b
(0,n) aa bb i appeared in (e,1) a[t]=BigN t-1 b
(0,1) a=0n t appeared in (e,1) a[t]=BigN t-1 i
(e,1) a[t]=bn a appeared in (e,1) a[t]=BigN t-1 f
(e,n) 2(BigN-n) appeared in (e,1) a[t]=BigN t-1 u
(e,n) n+1 appeared in (e,1) a[t]=BigN t-1 u
(e,n) t appeared in (e,1) a[t]=BigN t-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 d
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 a
(e,n) a appeared in (f,1) a[t]=BigN-1 a
(1,1) d=0n x appeared in (f,1) a[t]=BigN-1 a
(1,1) d=0n j appeared in (f,1) a[t]=BigN-1 a
(0,1) a=0n x appeared in (f,1) a[t]=BigN-1 a
(0,n) aa bb i appeared in (f,1) a[t]=BigN-1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 b
(f,1) a[t]=b(n-1) a appeared in (f,1) a[t]=BigN-1 b
(e,n) x-1 appeared in (f,1) a[t]=BigN-1 i
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 c
(f,n) n-1 appeared in (f,1) a[t]=BigN-1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 u
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 tri1
(e,n) n+1 appeared in (f,1) a[t]=BigN-1 tri1
(f,1) a[t]=b(n-1) a appeared in (f,1) a[t]=BigN-1 tri1
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 tri2
(e,n) a appeared in (f,1) a[t]=BigN-1 tri2
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 t
(e,n) u appeared in (f,1) a[t]=BigN-1 t+1 t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 d
(e,1) a[t]=an d appeared in (f,1) a[t]=BigN-1 t+1 d
(f,1) a[t]=a(n-1) a appeared in (f,1) a[t]=BigN-1 t+1 d
(1,1) d=0n t appeared in (f,1) a[t]=BigN-1 t+1 x
(1,1) d=0n u appeared in (f,1) a[t]=BigN-1 t+1 x
(0,1) a=0n u appeared in (f,1) a[t]=BigN-1 t+1 x
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 a
(f,1) a[t]=b(n-1) a appeared in (f,1) a[t]=BigN-1 t+1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 b
(e,n) a appeared in (f,1) a[t]=BigN-1 t+1 b
(f,1) a[t]=a(n-1) d appeared in (f,1) a[t]=BigN-1 t+1 b
(e,1) a[t]=an d appeared in (f,1) a[t]=BigN-1 t+1 i
(f,1) a[t]=a(n-1) a appeared in (f,1) a[t]=BigN-1 t+1 i
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 j
(1,1) d=0n t appeared in (f,1) a[t]=BigN-1 t+1 j
(1,1) d=0n u appeared in (f,1) a[t]=BigN-1 t+1 j
(0,1) a=0n t appeared in (f,1) a[t]=BigN-1 t+1 j
(0,1) a=0n u appeared in (f,1) a[t]=BigN-1 t+1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 c
(f,n) n-1 appeared in (f,1) a[t]=BigN-1 t+1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 f
(1,1) d=0n x appeared in (f,1) a[t]=BigN-1 t+1 f
(1,1) d=0n j appeared in (f,1) a[t]=BigN-1 t+1 f
(0,1) a=0n x appeared in (f,1) a[t]=BigN-1 t+1 f
(0,1) a=0n j appeared in (f,1) a[t]=BigN-1 t+1 f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t+1 tri2
(e,n) n+1 appeared in (f,1) a[t]=BigN-1 t+1 tri2
(f,1) a[t]=b(n-1) a appeared in (f,1) a[t]=BigN-1 t+1 tri2
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 d
(1,1) d=0n t appeared in (f,1) a[t]=BigN-1 t-1 d
(1,1) d=0n u appeared in (f,1) a[t]=BigN-1 t-1 d
(0,1) a=0n t appeared in (f,1) a[t]=BigN-1 t-1 d
(0,1) a=0n u appeared in (f,1) a[t]=BigN-1 t-1 d
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 b
(e,n) a appeared in (f,1) a[t]=BigN-1 t-1 b
(1,1) d=0n x appeared in (f,1) a[t]=BigN-1 t-1 b
(1,1) d=0n j appeared in (f,1) a[t]=BigN-1 t-1 b
(0,1) a=0n x appeared in (f,1) a[t]=BigN-1 t-1 b
(0,n) aa bb i appeared in (f,1) a[t]=BigN-1 t-1 b
(1,1) d=0n t appeared in (f,1) a[t]=BigN-1 t-1 i
(1,1) d=0n u appeared in (f,1) a[t]=BigN-1 t-1 i
(0,1) a=0n t appeared in (f,1) a[t]=BigN-1 t-1 i
(0,1) a=0n u appeared in (f,1) a[t]=BigN-1 t-1 i
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 f
(e,n) u appeared in (f,1) a[t]=BigN-1 t-1 f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=BigN-1 t-1 tri1
(e,n) a appeared in (f,1) a[t]=BigN-1 t-1 tri1
(e,n) t appeared in (f,1) a[t]=BigN-1 t-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN x
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN x
(e,n) a+1 appeared in (e,1) a[t]=c*BigN a
(e,n) x-1 appeared in (e,1) a[t]=c*BigN i
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN j
(e,n) a-1 appeared in (e,1) a[t]=c*BigN f
(e,n) a+1 appeared in (e,1) a[t]=c*BigN u
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN tri1
(e,n) x appeared in (e,1) a[t]=c*BigN tri1
(f,1) a[t]=a(n-1) d appeared in (e,1) a[t]=c*BigN tri2
(1,1) d=0n t appeared in (e,1) a[t]=c*BigN BigN-n
(1,1) d=0n u appeared in (e,1) a[t]=c*BigN BigN-n
(0,1) a=0n t appeared in (e,1) a[t]=c*BigN BigN-n
(0,1) a=0n u appeared in (e,1) a[t]=c*BigN BigN-n
(e,n) n appeared in (e,1) a[t]=c*BigN 2(BigN-n)
(1,1) d=0n x appeared in (e,1) a[t]=c*BigN 2(BigN-n)
(1,1) d=0n j appeared in (e,1) a[t]=c*BigN 2(BigN-n)
(0,1) a=0n x appeared in (e,1) a[t]=c*BigN 2(BigN-n)
(0,1) a=0n j appeared in (e,1) a[t]=c*BigN 2(BigN-n)
(e,1) a[t]=bn a appeared in (e,1) a[t]=c*BigN t+1 t
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t+1 d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t+1 x
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN t+1 x
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN t+1 j
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN t+1 c
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t+1 u
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t+1 tri1
(e,1) a[t]=an a appeared in (e,1) a[t]=c*BigN t+1 tri1
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t+1 tri2
(e,n) x appeared in (e,1) a[t]=c*BigN t+1 tri2
(e,n) t appeared in (e,1) a[t]=c*BigN t+1 2(BigN-n)
(e,n) a+1 appeared in (e,1) a[t]=c*BigN t-1 t
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t-1 d
(e,n) j appeared in (e,1) a[t]=c*BigN t-1 d
(1,1) d=0n t appeared in (e,1) a[t]=c*BigN t-1 d
(1,1) d=0n u appeared in (e,1) a[t]=c*BigN t-1 d
(0,1) a=0n t appeared in (e,1) a[t]=c*BigN t-1 d
(0,1) a=0n u appeared in (e,1) a[t]=c*BigN t-1 d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t-1 x
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN t-1 x
(e,n) a+1 appeared in (e,1) a[t]=c*BigN t-1 b
(0,1) a=0n t appeared in (e,1) a[t]=c*BigN t-1 i
(0,n) aa bb i appeared in (e,1) a[t]=c*BigN t-1 j
(e,1) a[t]=an d appeared in (e,1) a[t]=c*BigN t-1 f
(f,1) a[t]=a(n-1) a appeared in (e,1) a[t]=c*BigN t-1 f
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c*BigN t-1 u
(e,n) a appeared in (e,1) a[t]=c*BigN t-1 u
(f,1) a[t]=a(n-1) d appeared in (e,1) a[t]=c*BigN t-1 tri1
(e,n) t appeared in (e,1) a[t]=c*BigN t-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) d
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) x
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) a
(0,n) aa bb t appeared in (f,1) a[t]=c*(BigN-1) a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) b
(e,n) a appeared in (f,1) a[t]=c*(BigN-1) b
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) j
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) c
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) f
(e,n) u appeared in (f,1) a[t]=c*(BigN-1) f
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) f
(e,n) a+1 appeared in (f,1) a[t]=c*(BigN-1) u
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) tri1
(e,n) x appeared in (f,1) a[t]=c*(BigN-1) tri1
(f,1) a[t]=a(n-1) d appeared in (f,1) a[t]=c*(BigN-1) tri2
(e,n) t appeared in (f,1) a[t]=c*(BigN-1) 2(BigN-n)
(e,1) a[t]=bn a appeared in (f,1) a[t]=c*(BigN-1) t+1 t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 d
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) t+1 x
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 a
(e,n) a appeared in (f,1) a[t]=c*(BigN-1) t+1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 b
(e,n) x-1 appeared in (f,1) a[t]=c*(BigN-1) t+1 i
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 j
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) t+1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 c
(f,n) n-1 appeared in (f,1) a[t]=c*(BigN-1) t+1 c
(e,1) a[t]=an a appeared in (f,1) a[t]=c*(BigN-1) t+1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 u
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 tri1
(e,1) a[t]=an a appeared in (f,1) a[t]=c*(BigN-1) t+1 tri1
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t+1 tri2
(e,n) x appeared in (f,1) a[t]=c*(BigN-1) t+1 tri2
(e,n) a+1 appeared in (f,1) a[t]=c*(BigN-1) t-1 t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 d
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) t-1 x
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 a
(e,n) x appeared in (f,1) a[t]=c*(BigN-1) t-1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 b
(0,n) aa bb t appeared in (f,1) a[t]=c*(BigN-1) t-1 b
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 j
(0,n) aa bb i appeared in (f,1) a[t]=c*(BigN-1) t-1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 c
(e,1) a[t]=an d appeared in (f,1) a[t]=c*(BigN-1) t-1 c
(f,1) a[t]=a(n-1) a appeared in (f,1) a[t]=c*(BigN-1) t-1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c*(BigN-1) t-1 u
(e,n) a appeared in (f,1) a[t]=c*(BigN-1) t-1 u
(f,1) a[t]=a(n-1) d appeared in (f,1) a[t]=c*(BigN-1) t-1 tri1
(e,n) t appeared in (f,1) a[t]=c*(BigN-1) t-1 2(BigN-n)
(e,n) a+1 appeared in ccN(N-1)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) x
(e,n) u appeared in (e,1) a[t]=c(c-BigN+1) x
(0,1) a=0n t appeared in (e,1) a[t]=c(c-BigN+1) a
(0,n) aa bb i appeared in (e,1) a[t]=c(c-BigN+1) b
(e,n) a-1 appeared in (e,1) a[t]=c(c-BigN+1) i
(0,n) a abb i appeared in (e,1) a[t]=c(c-BigN+1) i
(e,n) a+1 appeared in (e,1) a[t]=c(c-BigN+1) c
(e,n) n appeared in (e,1) a[t]=c(c-BigN+1) f
(e,n) a-1 appeared in (e,1) a[t]=c(c-BigN+1) tri1
(0,n) a abb i appeared in (e,1) a[t]=c(c-BigN+1) tri1
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) tri2
(e,n) n appeared in (e,1) a[t]=c(c-BigN+1) 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t+1 d
(e,n) j appeared in (e,1) a[t]=c(c-BigN+1) t+1 d
(1,1) d=0n t appeared in (e,1) a[t]=c(c-BigN+1) t+1 d
(1,1) d=0n u appeared in (e,1) a[t]=c(c-BigN+1) t+1 d
(0,1) a=0n t appeared in (e,1) a[t]=c(c-BigN+1) t+1 d
(0,1) a=0n u appeared in (e,1) a[t]=c(c-BigN+1) t+1 d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t+1 x
(0,n) aa bb i appeared in (e,1) a[t]=c(c-BigN+1) t+1 a
(0,1) a=0n t appeared in (e,1) a[t]=c(c-BigN+1) t+1 i
(0,n) aa bb i appeared in (e,1) a[t]=c(c-BigN+1) t+1 f
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t+1 u
(1,1) d=0n t appeared in (e,1) a[t]=c(c-BigN+1) t+1 tri1
(1,1) d=0n u appeared in (e,1) a[t]=c(c-BigN+1) t+1 tri1
(0,1) a=0n t appeared in (e,1) a[t]=c(c-BigN+1) t+1 tri1
(0,1) a=0n u appeared in (e,1) a[t]=c(c-BigN+1) t+1 tri1
(e,n) a-1 appeared in (e,1) a[t]=c(c-BigN+1) t+1 tri2
(0,n) a abb i appeared in (e,1) a[t]=c(c-BigN+1) t+1 tri2
(e,n) t appeared in (e,1) a[t]=c(c-BigN+1) t+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t-1 d
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t-1 x
(0,1) a=0n t appeared in (e,1) a[t]=c(c-BigN+1) t-1 b
(1,1) d=0n t appeared in (e,1) a[t]=c(c-BigN+1) t-1 c
(1,1) d=0n u appeared in (e,1) a[t]=c(c-BigN+1) t-1 c
(0,1) a=0n u appeared in (e,1) a[t]=c(c-BigN+1) t-1 c
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t-1 u
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t-1 tri1
(e,n) 2(BigN-n) appeared in (e,1) a[t]=c(c-BigN+1) t-1 tri2
(f,1) a[t]=b(n-1) a appeared in (e,1) a[t]=c(c-BigN+1) t-1 tri2
(e,n) t appeared in (e,1) a[t]=c(c-BigN+1) t-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) d
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) a
(e,n) x appeared in (f,1) a[t]=c(c-BigN+2) a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) b
(0,n) aa bb i appeared in (f,1) a[t]=c(c-BigN+2) b
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) c
(e,1) a[t]=an a appeared in (f,1) a[t]=c(c-BigN+2) c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) u
(1,1) d=0n t appeared in (f,1) a[t]=c(c-BigN+2) tri1
(1,1) d=0n u appeared in (f,1) a[t]=c(c-BigN+2) tri1
(0,1) a=0n t appeared in (f,1) a[t]=c(c-BigN+2) tri1
(0,1) a=0n u appeared in (f,1) a[t]=c(c-BigN+2) tri1
(e,n) a-1 appeared in (f,1) a[t]=c(c-BigN+2) tri2
(0,n) a abb i appeared in (f,1) a[t]=c(c-BigN+2) tri2
(e,n) t appeared in (f,1) a[t]=c(c-BigN+2) 2(BigN-n)
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 d
(0,n) aa bb i appeared in (f,1) a[t]=c(c-BigN+2) t+1 d
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 a
(0,n) aa bb i appeared in (f,1) a[t]=c(c-BigN+2) t+1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 b
(e,n) a appeared in (f,1) a[t]=c(c-BigN+2) t+1 b
(0,n) aa bb i appeared in (f,1) a[t]=c(c-BigN+2) t+1 i
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 j
(f,1) a[t]=b(n-1) a appeared in (f,1) a[t]=c(c-BigN+2) t+1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 f
(e,n) u appeared in (f,1) a[t]=c(c-BigN+2) t+1 f
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t+1 tri1
(1,1) d=0n t appeared in (f,1) a[t]=c(c-BigN+2) t+1 tri2
(1,1) d=0n u appeared in (f,1) a[t]=c(c-BigN+2) t+1 tri2
(0,1) a=0n t appeared in (f,1) a[t]=c(c-BigN+2) t+1 tri2
(0,1) a=0n u appeared in (f,1) a[t]=c(c-BigN+2) t+1 tri2
(e,n) t appeared in (f,1) a[t]=c(c-BigN+2) t+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 t
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 d
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 a
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 b
(e,n) x appeared in (f,1) a[t]=c(c-BigN+2) t-1 b
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 j
(e,n) u appeared in (f,1) a[t]=c(c-BigN+2) t-1 j
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 c
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 f
(e,n) a-1 appeared in (f,1) a[t]=c(c-BigN+2) t-1 tri1
(0,n) a abb i appeared in (f,1) a[t]=c(c-BigN+2) t-1 tri1
(e,n) 2(BigN-n) appeared in (f,1) a[t]=c(c-BigN+2) t-1 tri2
(e,n) a-1 appeared in (f,1) a[t]=c(c-BigN+2) t-1 BigN-n
(0,n) aa bb i appeared in (f,1) a[t]=c(c-BigN+2) t-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 d
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 a
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 b
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 j
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 c
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 f
(f,1) a[t]=b(n-1) a appeared in (e,1) x+x=2f+1 f
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 u
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 tri1
(f,n) n-1 appeared in (e,1) x+x=2f+1 tri1
(1,1) d=0n x appeared in (e,1) x+x=2f+1 tri1
(1,1) d=0n j appeared in (e,1) x+x=2f+1 tri1
(0,1) a=0n x appeared in (e,1) x+x=2f+1 tri1
(0,1) a=0n j appeared in (e,1) x+x=2f+1 tri1
(e,n) 2(BigN-n) appeared in (e,1) x+x=2f+1 tri2
(e,n) 2(BigN-n) appeared in (f,1) x+x=2f+1 d
(e,n) 2(BigN-n) appeared in (f,1) x+x=2f+1 x
(e,n) n appeared in (f,1) x+x=2f+1 a
(1,1) d=0n x appeared in (f,1) x+x=2f+1 a
(1,1) d=0n j appeared in (f,1) x+x=2f+1 a
(0,1) a=0n x appeared in (f,1) x+x=2f+1 a
(0,1) a=0n j appeared in (f,1) x+x=2f+1 a
(0,n) aa bb i appeared in (f,1) x+x=2f+1 a
(e,1) a[t]=an d appeared in (f,1) x+x=2f+1 b
(f,1) a[t]=a(n-1) a appeared in (f,1) x+x=2f+1 b
(1,1) d=0n t appeared in (f,1) x+x=2f+1 c
(1,1) d=0n u appeared in (f,1) x+x=2f+1 c
(0,1) a=0n u appeared in (f,1) x+x=2f+1 c
(e,n) 2(BigN-n) appeared in (f,1) x+x=2f+1 u
(e,n) 2(BigN-n) appeared in (f,1) x+x=2f+1 tri1
(f,n) n-1 appeared in (f,1) x+x=2f+1 tri1
(1,1) d=0n x appeared in (f,1) x+x=2f+1 tri1
(1,1) d=0n j appeared in (f,1) x+x=2f+1 tri1
(0,1) a=0n x appeared in (f,1) x+x=2f+1 tri1
(0,1) a=0n j appeared in (f,1) x+x=2f+1 tri1
(e,n) 2(BigN-n) appeared in (f,1) x+x=2f+1 tri2
(e,n) BigN-n appeared in (f,1) x+x=2f+1 BigN-n
(e,n) t appeared in (f,1) x+x=2f+1 2(BigN-n)
(e,1) a[t]=bn a appeared in (f,1) x+x=2f+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 d
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 a
(e,n) a appeared in (e,1) x+x=2d+1 a
(1,1) d=0n x appeared in (e,1) x+x=2d+1 a
(1,1) d=0n j appeared in (e,1) x+x=2d+1 a
(0,1) a=0n x appeared in (e,1) x+x=2d+1 a
(0,n) aa bb i appeared in (e,1) x+x=2d+1 a
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 b
(f,1) a[t]=b(n-1) a appeared in (e,1) x+x=2d+1 b
(e,n) x-1 appeared in (e,1) x+x=2d+1 i
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 j
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 c
(f,n) n-1 appeared in (e,1) x+x=2d+1 c
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 f
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 u
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 tri1
(e,n) n+1 appeared in (e,1) x+x=2d+1 tri1
(f,1) a[t]=b(n-1) a appeared in (e,1) x+x=2d+1 tri1
(e,n) 2(BigN-n) appeared in (e,1) x+x=2d+1 tri2
(e,n) a appeared in (e,1) x+x=2d+1 tri2
(e,n) 2(BigN-n) appeared in (f,1) x+x=2d+1 d
(e,1) a[t]=an a appeared in (f,1) x+x=2d+1 d
(e,1) a[t]=an d appeared in (f,1) x+x=2d+1 d
(e,n) 2(BigN-n) appeared in (f,1) x+x=2d+1 x
(f,1) a[t]=a(n-1) d appeared in (f,1) x+x=2d+1 b
(e,1) a[t]=bn a appeared in (f,1) x+x=2d+1 b
(e,1) a[t]=an d appeared in (f,1) x+x=2d+1 i
(f,1) a[t]=a(n-1) a appeared in (f,1) x+x=2d+1 i
(1,1) d=0n t appeared in (f,1) x+x=2d+1 j
(1,1) d=0n u appeared in (f,1) x+x=2d+1 j
(0,1) a=0n u appeared in (f,1) x+x=2d+1 j
(0,n) aa bb i appeared in (f,1) x+x=2d+1 c
(e,n) 2(BigN-n) appeared in (f,1) x+x=2d+1 u
(e,n) 2(BigN-n) appeared in (f,1) x+x=2d+1 tri1
(e,n) n+1 appeared in (f,1) x+x=2d+1 tri1
(f,1) a[t]=b(n-1) a appeared in (f,1) x+x=2d+1 tri1
(e,n) 2(BigN-n) appeared in (f,1) x+x=2d+1 tri2
(e,n) a appeared in (f,1) x+x=2d+1 tri2
(e,n) t appeared in (f,1) x+x=2d+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 t
(e,n) u appeared in (e,1) x+x=BigN/-1 t
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 d
(f,1) a[t]=b(n-1) a appeared in (e,1) x+x=BigN/-1 d
(0,n) aa bb t appeared in (e,1) x+x=BigN/-1 d
(1,1) d=0n t appeared in (e,1) x+x=BigN/-1 x
(1,1) d=0n u appeared in (e,1) x+x=BigN/-1 x
(0,1) a=0n u appeared in (e,1) x+x=BigN/-1 x
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 a
(f,1) a[t]=b(n-1) a appeared in (e,1) x+x=BigN/-1 a
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 b
(e,n) a appeared in (e,1) x+x=BigN/-1 b
(0,n) aa bb t appeared in (e,1) x+x=BigN/-1 i
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 j
(1,1) d=0n t appeared in (e,1) x+x=BigN/-1 j
(1,1) d=0n u appeared in (e,1) x+x=BigN/-1 j
(0,1) a=0n t appeared in (e,1) x+x=BigN/-1 j
(0,1) a=0n u appeared in (e,1) x+x=BigN/-1 j
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 c
(f,n) n-1 appeared in (e,1) x+x=BigN/-1 c
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 f
(1,1) d=0n x appeared in (e,1) x+x=BigN/-1 f
(1,1) d=0n j appeared in (e,1) x+x=BigN/-1 f
(0,1) a=0n x appeared in (e,1) x+x=BigN/-1 f
(0,1) a=0n j appeared in (e,1) x+x=BigN/-1 f
(e,1) a[t]=an d appeared in (e,1) x+x=BigN/-1 f
(f,1) a[t]=a(n-1) a appeared in (e,1) x+x=BigN/-1 f
(0,n) aa bb i appeared in (e,1) x+x=BigN/-1 tri1
(e,n) 2(BigN-n) appeared in (e,1) x+x=BigN/-1 tri2
(e,n) a appeared in (e,1) x+x=BigN/-1 tri2
(f,1) a[t]=a(n-1) d appeared in (e,1) x+x=BigN/-1 tri2
(e,n) 2(BigN-n) appeared in (f,1) x+x=BigN/-1 d
(e,1) a[t]=an a appeared in (f,1) x+x=BigN/-1 d
(e,1) a[t]=an d appeared in (f,1) x+x=BigN/-1 d
(e,n) 2(BigN-n) appeared in (f,1) x+x=BigN/-1 x
(e,1) a[t]=an d appeared in (f,1) x+x=BigN/-1 i
(f,1) a[t]=a(n-1) a appeared in (f,1) x+x=BigN/-1 i
(1,1) d=0n t appeared in (f,1) x+x=BigN/-1 j
(1,1) d=0n u appeared in (f,1) x+x=BigN/-1 j
(0,1) a=0n u appeared in (f,1) x+x=BigN/-1 j
(0,n) aa bb i appeared in (f,1) x+x=BigN/-1 c
(e,n) 2(BigN-n) appeared in (f,1) x+x=BigN/-1 u
(e,n) 2(BigN-n) appeared in (f,1) x+x=BigN/-1 tri1
(e,n) a appeared in (f,1) x+x=BigN/-1 tri1
(f,1) a[t]=a(n-1) d appeared in (f,1) x+x=BigN/-1 tri1
(e,n) 2(BigN-n) appeared in (f,1) x+x=BigN/-1 tri2
(e,n) a appeared in (f,1) x+x=BigN/-1 tri2
(e,n) t appeared in (f,1) x+x=BigN/-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 d
(0,n) a abb i appeared in (e,1) x+x=c*BigN/-1 d
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 a
(e,n) a appeared in (e,1) x+x=c*BigN/-1 a
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 b
(e,n) a appeared in (e,1) x+x=c*BigN/-1 b
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 j
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 c
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 f
(f,1) a[t]=b(n-1) a appeared in (e,1) x+x=c*BigN/-1 f
(e,n) 2(BigN-n) appeared in (e,1) x+x=c*BigN/-1 u
(e,n) t appeared in (e,1) x+x=c*BigN/-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (f,1) x+x=c*BigN/-1 d
(e,n) 2(BigN-n) appeared in (f,1) x+x=c*BigN/-1 x
(e,n) t appeared in (f,1) x+x=c*BigN/-1 b
(e,n) 2(BigN-n) appeared in (f,1) x+x=c*BigN/-1 u
(e,n) t appeared in (f,1) x+x=c*BigN/-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 d
(0,n) aa bb i appeared in (e,1) x+x=c-BigN+1/+2 d
(e,n) a-1 appeared in (e,1) x+x=c-BigN+1/+2 x
(0,n) a abb i appeared in (e,1) x+x=c-BigN+1/+2 x
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 a
(e,n) a appeared in (e,1) x+x=c-BigN+1/+2 a
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 b
(e,n) a-1 appeared in (e,1) x+x=c-BigN+1/+2 i
(0,n) a abb i appeared in (e,1) x+x=c-BigN+1/+2 i
(1,1) d=0n x appeared in (e,1) x+x=c-BigN+1/+2 i
(0,n) aa bb i appeared in (e,1) x+x=c-BigN+1/+2 i
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 j
(e,n) a appeared in (e,1) x+x=c-BigN+1/+2 j
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 c
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 f
(0,n) a abb i appeared in (e,1) x+x=c-BigN+1/+2 f
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 u
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 tri1
(e,n) u appeared in (e,1) x+x=c-BigN+1/+2 tri1
(e,n) 2(BigN-n) appeared in (e,1) x+x=c-BigN+1/+2 tri2
(e,n) 2(BigN-n) appeared in (f,1) x+x=c-BigN+1/+2 d
(e,n) 2(BigN-n) appeared in (f,1) x+x=c-BigN+1/+2 x
(e,n) a appeared in (f,1) x+x=c-BigN+1/+2 x
(e,n) a+1 appeared in (f,1) x+x=c-BigN+1/+2 j
(e,1) a[t]=an d appeared in (f,1) x+x=c-BigN+1/+2 c
(f,1) a[t]=a(n-1) a appeared in (f,1) x+x=c-BigN+1/+2 c
(e,n) 2(BigN-n) appeared in (f,1) x+x=c-BigN+1/+2 u
(e,n) 2(BigN-n) appeared in (f,1) x+x=c-BigN+1/+2 tri1
(e,n) u appeared in (f,1) x+x=c-BigN+1/+2 tri1
(e,n) 2(BigN-n) appeared in (f,1) x+x=c-BigN+1/+2 tri2
(e,n) t appeared in (f,1) x+x=c-BigN+1/+2 2(BigN-n)
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 t
(f,1) a[t]=a(n-1) d appeared in (e,1) x+x=c(c-BigN+1)/+2 t
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 d
(e,n) t appeared in (e,1) x+x=c(c-BigN+1)/+2 x
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 a
(f,1) a[t]=a(n-1) d appeared in (e,1) x+x=c(c-BigN+1)/+2 a
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 b
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 j
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 c
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 f
(f,1) a[t]=a(n-1) d appeared in (e,1) x+x=c(c-BigN+1)/+2 u
(e,n) 2(BigN-n) appeared in (e,1) x+x=c(c-BigN+1)/+2 tri2
(f,1) a[t]=a(n-1) d appeared in (f,1) x+x=c(c-BigN+1)/+2 t
(e,n) 2(BigN-n) appeared in (f,1) x+x=c(c-BigN+1)/+2 d
(e,n) 2(BigN-n) appeared in (f,1) x+x=c(c-BigN+1)/+2 x
(0,n) aa bb i appeared in (f,1) x+x=c(c-BigN+1)/+2 a
(e,n) a-1 appeared in (f,1) x+x=c(c-BigN+1)/+2 b
(e,n) t appeared in (f,1) x+x=c(c-BigN+1)/+2 j
(1,1) d=0n t appeared in (f,1) x+x=c(c-BigN+1)/+2 c
(1,1) d=0n u appeared in (f,1) x+x=c(c-BigN+1)/+2 c
(0,1) a=0n u appeared in (f,1) x+x=c(c-BigN+1)/+2 c
(e,n) 2(BigN-n) appeared in (f,1) x+x=c(c-BigN+1)/+2 u
(f,1) a[t]=a(n-1) d appeared in (f,1) x+x=c(c-BigN+1)/+2 u
(e,n) 2(BigN-n) appeared in (f,1) x+x=c(c-BigN+1)/+2 tri1
(e,n) 2(BigN-n) appeared in (f,1) x+x=c(c-BigN+1)/+2 tri2
(e,n) t appeared in (f,1) x+x=c(c-BigN+1)/+2 2(BigN-n)
(e,n) x-1 appeared in (0,n) a=1 b=cc t
(1,1) d=0n t appeared in (0,n) a=1 b=cc n
(1,1) d=0n u appeared in (0,n) a=1 b=cc n
(0,1) a=0n t appeared in (0,n) a=1 b=cc n
(0,1) a=0n u appeared in (0,n) a=1 b=cc n
(e,n) 2(BigN-n) appeared in (0,n) a=1 b=cc d
(e,n) 2(BigN-n) appeared in (0,n) a=1 b=cc i
(e,n) 2(BigN-n) appeared in (0,n) a=1 b=cc f
(e,n) 2(BigN-n) appeared in (0,n) a=1 b=cc u
(e,n) i appeared in (0,n) a=1 b=cc tri1
(e,1) a[t]=an a appeared in (0,n) a=1 b=cc tri1
(e,n) a-1 appeared in (0,n) a=1 b=cc tri2
(0,n) a abb i appeared in (0,n) a=1 b=cc tri2
(0,n) aa bb i appeared in (0,n) a=1 b=cc 2d(n-1)
(e,n) 2(BigN-n) appeared in (0,n) a=c b=c t
(e,n) 2(BigN-n) appeared in (0,n) a=c b=c d
(e,n) 2(BigN-n) appeared in (0,n) a=c b=c i
(e,n) 2(BigN-n) appeared in (0,n) a=c b=c f
(e,n) 2(BigN-n) appeared in (0,n) a=c b=c tri2
(1,1) d=0n t appeared in (0,n) a=c b=c BigN-n
(1,1) d=0n u appeared in (0,n) a=c b=c BigN-n
(0,1) a=0n t appeared in (0,n) a=c b=c BigN-n
(0,1) a=0n u appeared in (0,n) a=c b=c BigN-n
(e,n) n appeared in (0,n) a=c b=c 2(BigN-n)
(1,1) d=0n x appeared in (0,n) a=c b=c 2(BigN-n)
(1,1) d=0n j appeared in (0,n) a=c b=c 2(BigN-n)
(0,1) a=0n x appeared in (0,n) a=c b=c 2(BigN-n)
(0,1) a=0n j appeared in (0,n) a=c b=c 2(BigN-n)
(e,n) 2(BigN-n) appeared in q root of d d
(e,n) x appeared in q root of d d
(e,n) 2(BigN-n) appeared in q root of d a
(e,n) n+1 appeared in q root of d a
(e,n) 2(BigN-n) appeared in q root of d b
(e,n) 2(BigN-n) appeared in q root of d i
(e,n) 2(BigN-n) appeared in q root of d c
(e,n) 2(BigN-n) appeared in q root of d f
(e,n) a appeared in q root of d f
(f,1) a[t]=a(n-1) d appeared in q root of d f
(e,n) 2(BigN-n) appeared in q root of d u
(e,n) t appeared in q root of d BigN-n
(e,n) x+1 appeared in q root of d 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN d
(e,n) n+1 appeared in q (e,1) a[t]=BigN d
(e,n) n appeared in q (e,1) a[t]=BigN x
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN b
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN j
(e,n) n+1 appeared in q (e,1) a[t]=BigN j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN tri1
(0,n) aa bb t appeared in q (e,1) a[t]=BigN BigN-n
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 d
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 b
(f,1) a[t]=b(n-1) a appeared in q (e,1) a[t]=BigN t+1 b
(e,n) i appeared in q (e,1) a[t]=BigN t+1 i
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 c
(e,n) j appeared in q (e,1) a[t]=BigN t+1 c
(1,1) d=0n t appeared in q (e,1) a[t]=BigN t+1 c
(1,1) d=0n u appeared in q (e,1) a[t]=BigN t+1 c
(0,1) a=0n t appeared in q (e,1) a[t]=BigN t+1 c
(0,1) a=0n u appeared in q (e,1) a[t]=BigN t+1 c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 u
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 tri1
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t+1 tri2
(e,n) t appeared in q (e,1) a[t]=BigN t+1 BigN-n
(e,n) x+1 appeared in q (e,1) a[t]=BigN t+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 d
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 b
(e,n) a-1 appeared in q (e,1) a[t]=BigN t-1 i
(0,n) a abb i appeared in q (e,1) a[t]=BigN t-1 i
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 j
(f,n) n-1 appeared in q (e,1) a[t]=BigN t-1 j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=BigN t-1 u
(e,n) t appeared in q (e,1) a[t]=BigN t-1 tri2
(0,n) aa bb t appeared in q (e,1) a[t]=BigN t-1 BigN-n
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 d
(e,n) n+1 appeared in q (f,1) a[t]=BigN-1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 x
(e,n) n+1 appeared in q (f,1) a[t]=BigN-1 x
(e,1) a[t]=bn a appeared in q (f,1) a[t]=BigN-1 b
(e,n) n appeared in q (f,1) a[t]=BigN-1 f
(1,1) d=0n x appeared in q (f,1) a[t]=BigN-1 f
(1,1) d=0n j appeared in q (f,1) a[t]=BigN-1 f
(0,1) a=0n x appeared in q (f,1) a[t]=BigN-1 f
(0,1) a=0n j appeared in q (f,1) a[t]=BigN-1 f
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 u
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 tri1
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 tri2
(0,n) aa bb i appeared in q (f,1) a[t]=BigN-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t+1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t+1 x
(e,1) a[t]=bn a appeared in q (f,1) a[t]=BigN-1 t+1 a
(1,1) d=0n t appeared in q (f,1) a[t]=BigN-1 t+1 c
(1,1) d=0n u appeared in q (f,1) a[t]=BigN-1 t+1 c
(0,1) a=0n u appeared in q (f,1) a[t]=BigN-1 t+1 c
(e,n) a-1 appeared in q (f,1) a[t]=BigN-1 t+1 tri1
(0,n) a abb i appeared in q (f,1) a[t]=BigN-1 t+1 tri1
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t+1 tri2
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t-1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t-1 x
(f,n) n-1 appeared in q (f,1) a[t]=BigN-1 t-1 x
(e,n) t appeared in q (f,1) a[t]=BigN-1 t-1 a
(e,n) n appeared in q (f,1) a[t]=BigN-1 t-1 j
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=BigN-1 t-1 tri1
(e,n) n appeared in q (f,1) a[t]=BigN-1 t-1 BigN-n
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN d
(e,1) a[t]=an a appeared in q (e,1) a[t]=c*BigN d
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN b
(f,1) a[t]=b(n-1) a appeared in q (e,1) a[t]=c*BigN b
(e,n) i appeared in q (e,1) a[t]=c*BigN i
(e,1) a[t]=an a appeared in q (e,1) a[t]=c*BigN i
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN c
(e,n) j appeared in q (e,1) a[t]=c*BigN c
(1,1) d=0n t appeared in q (e,1) a[t]=c*BigN c
(1,1) d=0n u appeared in q (e,1) a[t]=c*BigN c
(0,1) a=0n t appeared in q (e,1) a[t]=c*BigN c
(0,1) a=0n u appeared in q (e,1) a[t]=c*BigN c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN f
(0,n) aa bb t appeared in q (e,1) a[t]=c*BigN f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN u
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN tri1
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN tri2
(e,n) t appeared in q (e,1) a[t]=c*BigN BigN-n
(e,n) x+1 appeared in q (e,1) a[t]=c*BigN 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 t
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 d
(0,n) a abb i appeared in q (e,1) a[t]=c*BigN t+1 d
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 a
(f,1) a[t]=b(n-1) a appeared in q (e,1) a[t]=c*BigN t+1 a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 b
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 j
(e,n) u appeared in q (e,1) a[t]=c*BigN t+1 j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 f
(e,n) a-1 appeared in q (e,1) a[t]=c*BigN t+1 tri1
(0,n) a abb i appeared in q (e,1) a[t]=c*BigN t+1 tri1
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t+1 tri2
(e,n) t appeared in q (e,1) a[t]=c*BigN t+1 BigN-n
(e,n) x+1 appeared in q (e,1) a[t]=c*BigN t+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 t
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 d
(e,n) n+1 appeared in q (e,1) a[t]=c*BigN t-1 d
(e,n) n appeared in q (e,1) a[t]=c*BigN t-1 x
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 b
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 j
(e,n) n+1 appeared in q (e,1) a[t]=c*BigN t-1 j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c*BigN t-1 tri1
(0,n) aa bb t appeared in q (e,1) a[t]=c*BigN t-1 BigN-n
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) d
(e,n) n+1 appeared in q (f,1) a[t]=c*(BigN-1) d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) x
(e,n) n+1 appeared in q (f,1) a[t]=c*(BigN-1) x
(e,1) a[t]=bn a appeared in q (f,1) a[t]=c*(BigN-1) b
(e,n) n appeared in q (f,1) a[t]=c*(BigN-1) f
(1,1) d=0n x appeared in q (f,1) a[t]=c*(BigN-1) f
(1,1) d=0n j appeared in q (f,1) a[t]=c*(BigN-1) f
(0,1) a=0n x appeared in q (f,1) a[t]=c*(BigN-1) f
(0,1) a=0n j appeared in q (f,1) a[t]=c*(BigN-1) f
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) u
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) tri1
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) tri2
(0,n) aa bb i appeared in q (f,1) a[t]=c*(BigN-1) 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t+1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t+1 x
(e,1) a[t]=bn a appeared in q (f,1) a[t]=c*(BigN-1) t+1 a
(1,1) d=0n t appeared in q (f,1) a[t]=c*(BigN-1) t+1 c
(1,1) d=0n u appeared in q (f,1) a[t]=c*(BigN-1) t+1 c
(0,1) a=0n u appeared in q (f,1) a[t]=c*(BigN-1) t+1 c
(e,n) a-1 appeared in q (f,1) a[t]=c*(BigN-1) t+1 tri1
(0,n) a abb i appeared in q (f,1) a[t]=c*(BigN-1) t+1 tri1
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t+1 tri2
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t-1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t-1 x
(f,n) n-1 appeared in q (f,1) a[t]=c*(BigN-1) t-1 x
(e,n) t appeared in q (f,1) a[t]=c*(BigN-1) t-1 a
(e,n) n appeared in q (f,1) a[t]=c*(BigN-1) t-1 j
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c*(BigN-1) t-1 tri1
(e,n) n appeared in q (f,1) a[t]=c*(BigN-1) t-1 BigN-n
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) d
(e,n) u appeared in q (e,1) a[t]=c(c-BigN+1) d
(e,n) x+1 appeared in q (e,1) a[t]=c(c-BigN+1) x
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) b
(f,1) a[t]=a(n-1) d appeared in q (e,1) a[t]=c(c-BigN+1) b
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) f
(e,n) t appeared in q (e,1) a[t]=c(c-BigN+1) u
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) tri2
(e,n) t appeared in q (e,1) a[t]=c(c-BigN+1) BigN-n
(e,1) a[t]=an d appeared in q (e,1) a[t]=c(c-BigN+1) BigN-n
(f,1) a[t]=a(n-1) a appeared in q (e,1) a[t]=c(c-BigN+1) BigN-n
(e,n) x+1 appeared in q (e,1) a[t]=c(c-BigN+1) 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 d
(e,n) i appeared in q (e,1) a[t]=c(c-BigN+1) t+1 x
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 a
(f,1) a[t]=a(n-1) d appeared in q (e,1) a[t]=c(c-BigN+1) t+1 a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 b
(0,n) a abb i appeared in q (e,1) a[t]=c(c-BigN+1) t+1 b
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 f
(e,n) u appeared in q (e,1) a[t]=c(c-BigN+1) t+1 f
(0,n) aa bb i appeared in q (e,1) a[t]=c(c-BigN+1) t+1 f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t+1 u
(e,n) t appeared in q (e,1) a[t]=c(c-BigN+1) t-1 t
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 d
(e,n) x-1 appeared in q (e,1) a[t]=c(c-BigN+1) t-1 x
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 a
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 b
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 j
(e,n) x appeared in q (e,1) a[t]=c(c-BigN+1) t-1 j
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 c
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 f
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 u
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 tri1
(e,n) 2(BigN-n) appeared in q (e,1) a[t]=c(c-BigN+1) t-1 tri2
(e,n) t appeared in q (e,1) a[t]=c(c-BigN+1) t-1 BigN-n
(0,n) aa bb i appeared in q (e,1) a[t]=c(c-BigN+1) t-1 BigN-n
(e,n) x+1 appeared in q (e,1) a[t]=c(c-BigN+1) t-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) x
(e,n) i appeared in q (f,1) a[t]=c(c-BigN+2) j
(e,n) a+1 appeared in q (f,1) a[t]=c(c-BigN+2) c
(1,1) d=0n x appeared in q (f,1) a[t]=c(c-BigN+2) c
(1,1) d=0n j appeared in q (f,1) a[t]=c(c-BigN+2) c
(0,1) a=0n x appeared in q (f,1) a[t]=c(c-BigN+2) c
(0,1) a=0n j appeared in q (f,1) a[t]=c(c-BigN+2) c
(e,n) a-1 appeared in q (f,1) a[t]=c(c-BigN+2) f
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) u
(e,1) a[t]=an d appeared in q (f,1) a[t]=c(c-BigN+2) BigN-n
(f,1) a[t]=a(n-1) a appeared in q (f,1) a[t]=c(c-BigN+2) BigN-n
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t+1 d
(0,n) aa bb i appeared in q (f,1) a[t]=c(c-BigN+2) t+1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t+1 x
(0,n) aa bb i appeared in q (f,1) a[t]=c(c-BigN+2) t+1 i
(e,1) a[t]=an d appeared in q (f,1) a[t]=c(c-BigN+2) t+1 f
(f,1) a[t]=a(n-1) a appeared in q (f,1) a[t]=c(c-BigN+2) t+1 f
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t+1 tri1
(e,n) n appeared in q (f,1) a[t]=c(c-BigN+2) t+1 BigN-n
(1,1) d=0n x appeared in q (f,1) a[t]=c(c-BigN+2) t+1 BigN-n
(1,1) d=0n j appeared in q (f,1) a[t]=c(c-BigN+2) t+1 BigN-n
(0,1) a=0n x appeared in q (f,1) a[t]=c(c-BigN+2) t+1 BigN-n
(0,1) a=0n j appeared in q (f,1) a[t]=c(c-BigN+2) t+1 BigN-n
(e,n) t appeared in q (f,1) a[t]=c(c-BigN+2) t-1 t
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t-1 d
(e,n) j appeared in q (f,1) a[t]=c(c-BigN+2) t-1 d
(1,1) d=0n t appeared in q (f,1) a[t]=c(c-BigN+2) t-1 d
(1,1) d=0n u appeared in q (f,1) a[t]=c(c-BigN+2) t-1 d
(0,1) a=0n t appeared in q (f,1) a[t]=c(c-BigN+2) t-1 d
(0,1) a=0n u appeared in q (f,1) a[t]=c(c-BigN+2) t-1 d
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t-1 x
(e,n) x appeared in q (f,1) a[t]=c(c-BigN+2) t-1 x
(e,n) n appeared in q (f,1) a[t]=c(c-BigN+2) t-1 a
(0,1) a=0n t appeared in q (f,1) a[t]=c(c-BigN+2) t-1 i
(e,n) x+1 appeared in q (f,1) a[t]=c(c-BigN+2) t-1 j
(e,1) a[t]=bn a appeared in q (f,1) a[t]=c(c-BigN+2) t-1 c
(e,n) t appeared in q (f,1) a[t]=c(c-BigN+2) t-1 u
(e,n) 2(BigN-n) appeared in q (f,1) a[t]=c(c-BigN+2) t-1 tri2
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2f+1 t
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2f+1 d
(e,n) n+1 appeared in q (e,1) x+x=2f+1 d
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2f+1 x
(e,1) a[t]=an a appeared in q (e,1) x+x=2f+1 b
(e,n) n appeared in q (e,1) x+x=2f+1 f
(1,1) d=0n x appeared in q (e,1) x+x=2f+1 f
(1,1) d=0n j appeared in q (e,1) x+x=2f+1 f
(0,1) a=0n x appeared in q (e,1) x+x=2f+1 f
(0,1) a=0n j appeared in q (e,1) x+x=2f+1 f
(0,n) aa bb i appeared in q (e,1) x+x=2f+1 f
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2f+1 u
(e,n) a-1 appeared in q (e,1) x+x=2f+1 tri1
(0,n) a abb i appeared in q (e,1) x+x=2f+1 tri1
(e,n) i appeared in q (e,1) x+x=2f+1 tri2
(0,n) aa bb i appeared in q (e,1) x+x=2f+1 2(BigN-n)
(e,n) x-1 appeared in q (f,1) x+x=2f+1 t
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 d
(e,n) n+1 appeared in q (f,1) x+x=2f+1 d
(1,1) d=0n x appeared in q (f,1) x+x=2f+1 d
(1,1) d=0n j appeared in q (f,1) x+x=2f+1 d
(0,1) a=0n x appeared in q (f,1) x+x=2f+1 d
(0,1) a=0n j appeared in q (f,1) x+x=2f+1 d
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 a
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 b
(1,1) d=0n j appeared in q (f,1) x+x=2f+1 i
(0,1) a=0n x appeared in q (f,1) x+x=2f+1 i
(0,1) a=0n j appeared in q (f,1) x+x=2f+1 i
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 j
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 c
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 f
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2f+1 u
(e,n) a-1 appeared in q (f,1) x+x=2f+1 tri1
(0,n) a abb i appeared in q (f,1) x+x=2f+1 tri1
(e,n) i appeared in q (f,1) x+x=2f+1 tri2
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2d+1 t
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2d+1 d
(e,n) n+1 appeared in q (e,1) x+x=2d+1 d
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2d+1 x
(e,n) n+1 appeared in q (e,1) x+x=2d+1 x
(e,1) a[t]=bn a appeared in q (e,1) x+x=2d+1 b
(e,n) n appeared in q (e,1) x+x=2d+1 f
(1,1) d=0n x appeared in q (e,1) x+x=2d+1 f
(1,1) d=0n j appeared in q (e,1) x+x=2d+1 f
(0,1) a=0n x appeared in q (e,1) x+x=2d+1 f
(0,1) a=0n j appeared in q (e,1) x+x=2d+1 f
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2d+1 u
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2d+1 tri1
(e,n) 2(BigN-n) appeared in q (e,1) x+x=2d+1 tri2
(0,n) aa bb i appeared in q (e,1) x+x=2d+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 d
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 a
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 b
(f,1) a[t]=b(n-1) a appeared in q (f,1) x+x=2d+1 b
(e,n) i appeared in q (f,1) x+x=2d+1 i
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 j
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 c
(e,n) j appeared in q (f,1) x+x=2d+1 c
(1,1) d=0n t appeared in q (f,1) x+x=2d+1 c
(1,1) d=0n u appeared in q (f,1) x+x=2d+1 c
(0,1) a=0n t appeared in q (f,1) x+x=2d+1 c
(0,1) a=0n u appeared in q (f,1) x+x=2d+1 c
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 f
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 u
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 tri1
(e,n) 2(BigN-n) appeared in q (f,1) x+x=2d+1 tri2
(e,n) t appeared in q (f,1) x+x=2d+1 BigN-n
(e,n) x+1 appeared in q (f,1) x+x=2d+1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) x+x=BigN/-1 t
(e,1) a[t]=an a appeared in q (e,1) x+x=BigN/-1 t
(e,n) 2(BigN-n) appeared in q (e,1) x+x=BigN/-1 d
(e,n) 2(BigN-n) appeared in q (e,1) x+x=BigN/-1 x
(0,1) a=0n t appeared in q (e,1) x+x=BigN/-1 a
(e,n) t appeared in q (e,1) x+x=BigN/-1 b
(e,n) a+1 appeared in q (e,1) x+x=BigN/-1 c
(f,1) a[t]=a(n-1) d appeared in q (e,1) x+x=BigN/-1 c
(e,n) 2(BigN-n) appeared in q (e,1) x+x=BigN/-1 u
(e,1) a[t]=an a appeared in q (e,1) x+x=BigN/-1 u
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 t
(e,1) a[t]=an a appeared in q (f,1) x+x=BigN/-1 t
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 d
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 a
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 b
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 j
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 c
(f,n) n-1 appeared in q (f,1) x+x=BigN/-1 c
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 f
(e,1) a[t]=an a appeared in q (f,1) x+x=BigN/-1 u
(e,n) 2(BigN-n) appeared in q (f,1) x+x=BigN/-1 tri2
(e,n) t appeared in q (f,1) x+x=BigN/-1 BigN-n
(0,n) aa bb i appeared in q (f,1) x+x=BigN/-1 BigN-n
(e,n) x+1 appeared in q (f,1) x+x=BigN/-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c*BigN/-1 t
(0,n) aa bb i appeared in q (e,1) x+x=c*BigN/-1 t
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c*BigN/-1 d
(e,n) n+1 appeared in q (e,1) x+x=c*BigN/-1 d
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c*BigN/-1 x
(e,n) n+1 appeared in q (e,1) x+x=c*BigN/-1 x
(e,n) n appeared in q (e,1) x+x=c*BigN/-1 f
(1,1) d=0n x appeared in q (e,1) x+x=c*BigN/-1 f
(1,1) d=0n j appeared in q (e,1) x+x=c*BigN/-1 f
(0,1) a=0n x appeared in q (e,1) x+x=c*BigN/-1 f
(0,1) a=0n j appeared in q (e,1) x+x=c*BigN/-1 f
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c*BigN/-1 u
(0,n) aa bb i appeared in q (e,1) x+x=c*BigN/-1 u
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c*BigN/-1 tri1
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c*BigN/-1 tri2
(0,n) aa bb i appeared in q (e,1) x+x=c*BigN/-1 2(BigN-n)
(0,n) aa bb i appeared in q (f,1) x+x=c*BigN/-1 t
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 d
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 a
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 b
(f,1) a[t]=b(n-1) a appeared in q (f,1) x+x=c*BigN/-1 b
(e,n) i appeared in q (f,1) x+x=c*BigN/-1 i
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 j
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 c
(e,n) j appeared in q (f,1) x+x=c*BigN/-1 c
(1,1) d=0n t appeared in q (f,1) x+x=c*BigN/-1 c
(1,1) d=0n u appeared in q (f,1) x+x=c*BigN/-1 c
(0,1) a=0n t appeared in q (f,1) x+x=c*BigN/-1 c
(0,1) a=0n u appeared in q (f,1) x+x=c*BigN/-1 c
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 f
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 u
(0,n) aa bb i appeared in q (f,1) x+x=c*BigN/-1 u
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 tri1
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c*BigN/-1 tri2
(e,n) t appeared in q (f,1) x+x=c*BigN/-1 BigN-n
(e,n) x+1 appeared in q (f,1) x+x=c*BigN/-1 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c-BigN+1/+2 t
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c-BigN+1/+2 d
(e,n) n+1 appeared in q (e,1) x+x=c-BigN+1/+2 d
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c-BigN+1/+2 x
(e,n) n+1 appeared in q (e,1) x+x=c-BigN+1/+2 x
(e,n) n appeared in q (e,1) x+x=c-BigN+1/+2 f
(1,1) d=0n x appeared in q (e,1) x+x=c-BigN+1/+2 f
(1,1) d=0n j appeared in q (e,1) x+x=c-BigN+1/+2 f
(0,1) a=0n x appeared in q (e,1) x+x=c-BigN+1/+2 f
(0,1) a=0n j appeared in q (e,1) x+x=c-BigN+1/+2 f
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c-BigN+1/+2 u
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c-BigN+1/+2 tri1
(e,1) a[t]=an a appeared in q (e,1) x+x=c-BigN+1/+2 tri1
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c-BigN+1/+2 tri2
(0,n) aa bb i appeared in q (e,1) x+x=c-BigN+1/+2 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 d
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 a
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 b
(f,1) a[t]=b(n-1) a appeared in q (f,1) x+x=c-BigN+1/+2 b
(e,n) i appeared in q (f,1) x+x=c-BigN+1/+2 i
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 j
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 c
(e,n) j appeared in q (f,1) x+x=c-BigN+1/+2 c
(1,1) d=0n t appeared in q (f,1) x+x=c-BigN+1/+2 c
(1,1) d=0n u appeared in q (f,1) x+x=c-BigN+1/+2 c
(0,1) a=0n t appeared in q (f,1) x+x=c-BigN+1/+2 c
(0,1) a=0n u appeared in q (f,1) x+x=c-BigN+1/+2 c
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 f
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 u
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 tri1
(e,1) a[t]=an a appeared in q (f,1) x+x=c-BigN+1/+2 tri1
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c-BigN+1/+2 tri2
(e,n) t appeared in q (f,1) x+x=c-BigN+1/+2 BigN-n
(e,n) x+1 appeared in q (f,1) x+x=c-BigN+1/+2 2(BigN-n)
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c(c-BigN+1)/+2 t
(e,n) a appeared in q (e,1) x+x=c(c-BigN+1)/+2 t
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c(c-BigN+1)/+2 d
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c(c-BigN+1)/+2 x
(e,n) t appeared in q (e,1) x+x=c(c-BigN+1)/+2 a
(0,1) a=0n t appeared in q (e,1) x+x=c(c-BigN+1)/+2 b
(e,n) a-1 appeared in q (e,1) x+x=c(c-BigN+1)/+2 j
(0,n) a abb i appeared in q (e,1) x+x=c(c-BigN+1)/+2 j
(e,n) a+1 appeared in q (e,1) x+x=c(c-BigN+1)/+2 c
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c(c-BigN+1)/+2 u
(e,n) a appeared in q (e,1) x+x=c(c-BigN+1)/+2 u
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c(c-BigN+1)/+2 tri1
(e,n) 2(BigN-n) appeared in q (e,1) x+x=c(c-BigN+1)/+2 tri2
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 t
(e,n) a appeared in q (f,1) x+x=c(c-BigN+1)/+2 t
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 d
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 a
(0,n) aa bb i appeared in q (f,1) x+x=c(c-BigN+1)/+2 a
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 b
(e,n) a-1 appeared in q (f,1) x+x=c(c-BigN+1)/+2 i
(0,n) a abb i appeared in q (f,1) x+x=c(c-BigN+1)/+2 i
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 j
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 c
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 f
(e,n) a-1 appeared in q (f,1) x+x=c(c-BigN+1)/+2 u
(0,n) a abb i appeared in q (f,1) x+x=c(c-BigN+1)/+2 u
(e,n) 2(BigN-n) appeared in q (f,1) x+x=c(c-BigN+1)/+2 tri1
(e,n) 2(BigN-n) appeared in q (0,n) a=1 b=cc d
(e,n) 2(BigN-n) appeared in q (0,n) a=1 b=cc i
(e,n) 2(BigN-n) appeared in q (0,n) a=1 b=cc f
(e,n) 2(BigN-n) appeared in q (0,n) a=1 b=cc u
(e,n) a+1 appeared in q (0,n) a=1 b=cc tri1
(e,n) 2(BigN-n) appeared in q (0,n) a=c b=c t
(e,n) 2(BigN-n) appeared in q (0,n) a=c b=c d
(e,n) 2(BigN-n) appeared in q (0,n) a=c b=c i
(e,n) 2(BigN-n) appeared in q (0,n) a=c b=c f
(e,n) 2(BigN-n) appeared in q (0,n) a=c b=c tri2
(e,n) n appeared in q (0,n) a=c b=c 2(BigN-n)