--- /dev/null
+101 1180 ^a
+101 8 ^a^a
+101 70 ^a^c
+101 121 ^a^d
+101 1 ^d
+200 3 ^a
+200 1 ^a : : ^f
+200 1 ^a : : ^f^g
+200 1 ^a : ^f
+200 1 ^a = = = = ^e : ^f
+200 1 ^a = = ^e : ^f
+200 2 ^a = = ^f
+200 2 ^a = = ^f^g
+200 1 ^a = = ^f^g ;
+200 1 ^a = ^e / ^f = ^g =
+200 2 ^a = ^e : ^f = ^g =
+200 1 ^a = ^e = ^f^g
+200 1 ^a = ^e = ^f^g =
+200 1 ^a = ^e^f
+200 1 ^a = ^e^f =
+200 1 ^a = ^e^f = ^g ;
+200 2 ^a = ^e^f = ^g =
+200 2 ^a = ^e^f^g ;
+200 45 ^a = ^f
+200 3 ^a = ^f =
+200 1 ^a = ^f = ; =
+200 2 ^a = ^f = ^g
+200 12 ^a = ^f = ^g =
+200 3 ^a = ^f = ^g = ; =
+200 3 ^a = ^f^g
+200 7 ^a = ^f^g ;
+200 3 ^a = ^f^g ; ;
+200 1 ^a = ^f^g = ; =
+200 1 ^a^d
+200 4 ^a^e
+200 1 ^a^e :
+200 1 ^a^e : / / ^f^g
+200 1 ^a^e : : ^f
+200 3 ^a^e : : ^f^g
+200 2 ^a^e : : ^f^g ;
+200 1 ^a^e : : ^f^g ; ;
+200 1 ^a^e : : ^f^v
+200 1 ^a^e : = : : ^f
+200 1 ^a^e : = : : ^f = ^g = ; =
+200 1 ^a^e : = : : ^f^g ;
+200 1 ^a^e : = ^f = ^g = ; = ; =
+200 38 ^a^e : ^f
+200 1 ^a^e : ^f ;
+200 1 ^a^e : ^f = ^g
+200 24 ^a^e : ^f^g
+200 6 ^a^e : ^f^g ;
+200 1 ^a^e : ^f^g ; ;
+200 1 ^a^e : ^f^v
+200 1 ^a^e ; ^f
+200 1 ^a^e = : = ^f
+200 6 ^a^e = : ^f
+200 1 ^a^e = : ^f ;
+200 3 ^a^e = : ^f =
+200 2 ^a^e = : ^f = ^g =
+200 1 ^a^e = : ^f = ^g = ;
+200 1 ^a^e = : ^f = ^g = ; =
+200 2 ^a^e = : ^f^g
+200 1 ^a^e = : ^f^g ;
+200 2 ^a^e = : ^f^g ; ;
+200 2 ^a^e = : ^f^g =
+200 1 ^a^e = : ^f^g = ;
+200 1 ^a^e = ^e^f
+200 3 ^a^e = ^f
+200 1 ^a^e = ^f =
+200 1 ^a^e = ^f^g ;
+200 1 ^a^e^e^f^g
+200 246 ^a^e^f
+200 1 ^a^e^f / ^g ; ;
+200 4 ^a^e^f ;
+200 106 ^a^e^f^g
+200 49 ^a^e^f^g ;
+200 5 ^a^e^f^g ; ;
+200 24 ^a^e^f^g^v
+200 42 ^a^e^f^v
+200 1 ^a^e^h^f
+200 1 ^a^e^i^f
+200 1 ^a^e^v
+200 3 ^a^e^v = : ^f =
+200 2 ^a^e^v = : ^v^f
+200 2 ^a^e^v^f
+200 462 ^a^f
+200 1 ^a^f : ^g
+200 5 ^a^f ;
+200 2 ^a^f ; ; ;
+200 1 ^a^f = ^g = ; =
+200 118 ^a^f^g
+200 1 ^a^f^g : ;
+200 27 ^a^f^g ;
+200 8 ^a^f^g ; ;
+200 1 ^a^f^g ; ; ;
+200 1 ^a^f^g ; ; ; ;
+200 1 ^a^f^g = ^f^g
+200 2 ^a^f^g^v
+200 2 ^a^f^g^v :
+200 16 ^a^f^v
+200 1 ^a^g^f
+200 1 ^a^h
+200 2 ^a^h^i : ^f
+200 4 ^a^h^i^f
+200 1 ^a^v^e^f^g ;
+200 1 ^a^v^f
+200 8 ^a^v^f^g
+200 1 ^i^f
+205 5 /
+205 1 ^a
+210 1 ^a : ; : ^d
+210 1 ^a : ^d
+210 7 ^a ; ; ^c^d
+210 1 ^a ; ^c : : ^d
+210 3 ^a ; ^c : ^d
+210 1 ^a ; ^c = ^d
+210 95 ^a ; ^c^d
+210 1 ^a = ^c^d
+210 1 ^a^c : : : ^d
+210 10 ^a^c : : ^d
+210 1 ^a^c : ; : ^d
+210 51 ^a^c : ^d
+210 1 ^a^c ; : ; :
+210 42 ^a^c ; : ^d
+210 8 ^a^c = ^d
+210 980 ^a^c^d
+215 3 ^a
+215 999 ^a^c^d
+215 30 ^a^c^d^e
+215 162 ^a^d
+215 1 ^a^d^e
+215 5 ^a^i^d
+225 113 ^a
+225 2 ^a : ^d^e^h^i / ^v
+225 8 ^a =
+225 2 ^a = ^v
+225 1 ^a = ^v =
+225 11 ^a^d
+225 1 ^a^d^h = ^i : / = ^v =
+225 10 ^a^d^v
+225 4 ^a^e
+225 1 ^a^e = ^v
+225 13 ^a^e^v
+225 17 ^a^f
+225 1 ^a^f = / ^h^i^v
+225 1 ^a^f = ^f^v
+225 1 ^a^f^h^v
+225 52 ^a^f^v
+225 1 ^a^i^v
+225 354 ^a^v
+225 1 ^a^v ;
+300 4 /
+300 3 :
+300 2 =
+500 2 ^a
+500 4 ^a : ^m
+500 59 ^a^m
+610 865 =
+700 1086 ^a^b
+700 1 ^a^b^4
+701 389 ^a^b
+702 1 ^a^4
+702 166 ^a^b
+702 943 ^a^b^4
+710 22 ^a
+710 1 ^a =
+710 1 ^a = ^d^e^f
+710 23 ^a^d^e^f
+710 19 ^a^e^f
+711 10 ^a
+712 2 ^a
+712 1 ^a^b
+712 1 ^a^d^e^f
+712 2 ^a^e^f
+801 1 ^a
+801 1379 ^a^b
+991 52 ^a
+991 1631 ^a^b