Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.TypeLevel.List.Push

Documentation

type family Push2 (a :: ka) (b :: kb) abs where ... Source #

Equations

Push2 a b '(as, bs) = '('(:) a as, '(:) b bs)

type family Push3 (a :: ka) (b :: kb) (c :: kc) abcs where ... Source #

Equations

Push3 a b c '(as, bs, cs) = '('(:) a as, '(:) b bs, '(:) c cs)

type family Push4 (a :: ka) (b :: kb) (c :: kc) (d :: kd) abcds where ... Source #

Equations

Push4 a b c d '(as, bs, cs, ds) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds)

type family Push5 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) abcdes where ... Source #

Equations

Push5 a b c d e '(as, bs, cs, ds, es) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es)

type family Push6 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) abcdefs where ... Source #

Equations

Push6 a b c d e f '(as, bs, cs, ds, es, fs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs)

type family Push7 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) abcdefgs where ... Source #

Equations

Push7 a b c d e f g '(as, bs, cs, ds, es, fs, gs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs)

type family Push8 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) abcdefghs where ... Source #

Equations

Push8 a b c d e f g h '(as, bs, cs, ds, es, fs, gs, hs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs)

type family Push9 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) abcdefghis where ... Source #

Equations

Push9 a b c d e f g h i '(as, bs, cs, ds, es, fs, gs, hs, is) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is)

type family Push10 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) abcdefghijs where ... Source #

Equations

Push10 a b c d e f g h i j '(as, bs, cs, ds, es, fs, gs, hs, is, js) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js)

type family Push11 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) abcdefghijks where ... Source #

Equations

Push11 a b c d e f g h i j k '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks)

type family Push12 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) abcdefghijkls where ... Source #

Equations

Push12 a b c d e f g h i j k l '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls)

type family Push13 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) abcdefghijklms where ... Source #

Equations

Push13 a b c d e f g h i j k l m '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms)

type family Push14 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) abcdefghijklmns where ... Source #

Equations

Push14 a b c d e f g h i j k l m n '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns)

type family Push15 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) abcdefghijklmnos where ... Source #

Equations

Push15 a b c d e f g h i j k l m n o '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os)

type family Push16 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) abcdefghijklmnops where ... Source #

Equations

Push16 a b c d e f g h i j k l m n o p '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps)

type family Push17 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) abcdefghijklmnopqs where ... Source #

Equations

Push17 a b c d e f g h i j k l m n o p q '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs)

type family Push18 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) abcdefghijklmnopqrs where ... Source #

Equations

Push18 a b c d e f g h i j k l m n o p q r '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs)

type family Push19 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) abcdefghijklmnopqrss where ... Source #

Equations

Push19 a b c d e f g h i j k l m n o p q r s '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss)

type family Push20 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) abcdefghijklmnopqrsts where ... Source #

Equations

Push20 a b c d e f g h i j k l m n o p q r s t '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts)

type family Push21 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) abcdefghijklmnopqrstus where ... Source #

Equations

Push21 a b c d e f g h i j k l m n o p q r s t u '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us)

type family Push22 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) abcdefghijklmnopqrstuvs where ... Source #

Equations

Push22 a b c d e f g h i j k l m n o p q r s t u v '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs)

type family Push23 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) abcdefghijklmnopqrstuvws where ... Source #

Equations

Push23 a b c d e f g h i j k l m n o p q r s t u v w '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws)

type family Push24 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) abcdefghijklmnopqrstuvwxs where ... Source #

Equations

Push24 a b c d e f g h i j k l m n o p q r s t u v w x '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs)

type family Push25 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) abcdefghijklmnopqrstuvwxys where ... Source #

Equations

Push25 a b c d e f g h i j k l m n o p q r s t u v w x y '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys)

type family Push26 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) abcdefghijklmnopqrstuvwxyzs where ... Source #

Equations

Push26 a b c d e f g h i j k l m n o p q r s t u v w x y z '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs)

type family Push27 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) abcdefghijklmnopqrstuvwxyzaas where ... Source #

Equations

Push27 a b c d e f g h i j k l m n o p q r s t u v w x y z aa '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas)

type family Push28 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) abcdefghijklmnopqrstuvwxyzaaabs where ... Source #

Equations

Push28 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs)

type family Push29 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) abcdefghijklmnopqrstuvwxyzaaabacs where ... Source #

Equations

Push29 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs)

type family Push30 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) abcdefghijklmnopqrstuvwxyzaaabacads where ... Source #

Equations

Push30 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads)

type family Push31 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) abcdefghijklmnopqrstuvwxyzaaabacadaes where ... Source #

Equations

Push31 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes)

type family Push32 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) abcdefghijklmnopqrstuvwxyzaaabacadaeafs where ... Source #

Equations

Push32 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs)

type family Push33 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) abcdefghijklmnopqrstuvwxyzaaabacadaeafags where ... Source #

Equations

Push33 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags)

type family Push34 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahs where ... Source #

Equations

Push34 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs)

type family Push35 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahais where ... Source #

Equations

Push35 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais)

type family Push36 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajs where ... Source #

Equations

Push36 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs)

type family Push37 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajaks where ... Source #

Equations

Push37 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks)

type family Push38 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakals where ... Source #

Equations

Push38 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als)

type family Push39 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalams where ... Source #

Equations

Push39 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams)

type family Push40 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamans where ... Source #

Equations

Push40 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans)

type family Push41 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaos where ... Source #

Equations

Push41 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos)

type family Push42 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoaps where ... Source #

Equations

Push42 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps)

type family Push43 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqs where ... Source #

Equations

Push43 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs)

type family Push44 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqars where ... Source #

Equations

Push44 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars)

type family Push45 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarass where ... Source #

Equations

Push45 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass)

type family Push46 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasats where ... Source #

Equations

Push46 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats)

type family Push47 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasataus where ... Source #

Equations

Push47 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus)

type family Push48 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavs where ... Source #

Equations

Push48 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs)

type family Push49 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavaws where ... Source #

Equations

Push49 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws)

type family Push50 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxs where ... Source #

Equations

Push50 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs)

type family Push51 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxays where ... Source #

Equations

Push51 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays)

type family Push52 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazs where ... Source #

Equations

Push52 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs)

type family Push53 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbas where ... Source #

Equations

Push53 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas)

type family Push54 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbs where ... Source #

Equations

Push54 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs)

type family Push55 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcs where ... Source #

Equations

Push55 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs)

type family Push56 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbds where ... Source #

Equations

Push56 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds)

type family Push57 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) (be :: kbe) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbes where ... Source #

Equations

Push57 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds, bes) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds, '(:) be bes)

type family Push58 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) (be :: kbe) (bf :: kbf) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfs where ... Source #

Equations

Push58 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds, bes, bfs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds, '(:) be bes, '(:) bf bfs)

type family Push59 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) (be :: kbe) (bf :: kbf) (bg :: kbg) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgs where ... Source #

Equations

Push59 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds, bes, bfs, bgs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds, '(:) be bes, '(:) bf bfs, '(:) bg bgs)

type family Push60 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) (be :: kbe) (bf :: kbf) (bg :: kbg) (bh :: kbh) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhs where ... Source #

Equations

Push60 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds, bes, bfs, bgs, bhs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds, '(:) be bes, '(:) bf bfs, '(:) bg bgs, '(:) bh bhs)

type family Push61 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) (be :: kbe) (bf :: kbf) (bg :: kbg) (bh :: kbh) (bi :: kbi) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbis where ... Source #

Equations

Push61 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds, bes, bfs, bgs, bhs, bis) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds, '(:) be bes, '(:) bf bfs, '(:) bg bgs, '(:) bh bhs, '(:) bi bis)

type family Push62 (a :: ka) (b :: kb) (c :: kc) (d :: kd) (e :: ke) (f :: kf) (g :: kg) (h :: kh) (i :: ki) (j :: kj) (k :: kk) (l :: kl) (m :: km) (n :: kn) (o :: ko) (p :: kp) (q :: kq) (r :: kr) (s :: ks) (t :: kt) (u :: ku) (v :: kv) (w :: kw) (x :: kx) (y :: ky) (z :: kz) (aa :: kaa) (ab :: kab) (ac :: kac) (ad :: kad) (ae :: kae) (af :: kaf) (ag :: kag) (ah :: kah) (ai :: kai) (aj :: kaj) (ak :: kak) (al :: kal) (am :: kam) (an :: kan) (ao :: kao) (ap :: kap) (aq :: kaq) (ar :: kar) (as :: kas) (at :: kat) (au :: kau) (av :: kav) (aw :: kaw) (ax :: kax) (ay :: kay) (az :: kaz) (ba :: kba) (bb :: kbb) (bc :: kbc) (bd :: kbd) (be :: kbe) (bf :: kbf) (bg :: kbg) (bh :: kbh) (bi :: kbi) (bj :: kbj) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbibjs where ... Source #

Equations

Push62 a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj '(as, bs, cs, ds, es, fs, gs, hs, is, js, ks, ls, ms, ns, os, ps, qs, rs, ss, ts, us, vs, ws, xs, ys, zs, aas, abs, acs, ads, aes, afs, ags, ahs, ais, ajs, aks, als, ams, ans, aos, aps, aqs, ars, ass, ats, aus, avs, aws, axs, ays, azs, bas, bbs, bcs, bds, bes, bfs, bgs, bhs, bis, bjs) = '('(:) a as, '(:) b bs, '(:) c cs, '(:) d ds, '(:) e es, '(:) f fs, '(:) g gs, '(:) h hs, '(:) i is, '(:) j js, '(:) k ks, '(:) l ls, '(:) m ms, '(:) n ns, '(:) o os, '(:) p ps, '(:) q qs, '(:) r rs, '(:) s ss, '(:) t ts, '(:) u us, '(:) v vs, '(:) w ws, '(:) x xs, '(:) y ys, '(:) z zs, '(:) aa aas, '(:) ab abs, '(:) ac acs, '(:) ad ads, '(:) ae aes, '(:) af afs, '(:) ag ags, '(:) ah ahs, '(:) ai ais, '(:) aj ajs, '(:) ak aks, '(:) al als, '(:) am ams, '(:) an ans, '(:) ao aos, '(:) ap aps, '(:) aq aqs, '(:) ar ars, '(:) as ass, '(:) at ats, '(:) au aus, '(:) av avs, '(:) aw aws, '(:) ax axs, '(:) ay ays, '(:) az azs, '(:) ba bas, '(:) bb bbs, '(:) bc bcs, '(:) bd bds, '(:) be bes, '(:) bf bfs, '(:) bg bgs, '(:) bh bhs, '(:) bi bis, '(:) bj bjs)