• Home
• com.nrinaudo
• kantan.xpath-laws_2.10
• 0.1.5
• source code
• ArbitraryArities.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

kantan.xpath.laws.discipline.ArbitraryArities.scala Maven / Gradle / Ivy

// auto-generated by sbt-boilerplate
package kantan.xpath.laws.discipline

import kantan.xpath._
import kantan.xpath.ops._
import kantan.codecs.laws.CodecValue.{IllegalValue, LegalValue}
import kantan.codecs.laws.{IllegalString, LegalString}
import org.scalacheck.Arbitrary

trait ArbitraryArities {
  def asTextAttributes(atts: String*): Element = {
    val n = s"".asUnsafeNode.getFirstChild.asInstanceOf[Element]
    atts.zipWithIndex.foreach { case (att, i) => n.setAttribute(s"field${i + 1}", att) }
    n
  }

  implicit def arbLegalTuple1[A1](implicit a1: Arbitrary[LegalString[A1]]): Arbitrary[LegalNode[Tuple1[A1]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded)), Tuple1(v1.decoded))
    }

  implicit def arbIllegalTuple1[A1](implicit a1: Arbitrary[IllegalString[A1]]): Arbitrary[IllegalNode[Tuple1[A1]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded)))
    }
  implicit def arbLegalTuple2[A1, A2](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]]): Arbitrary[LegalNode[Tuple2[A1, A2]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded)), Tuple2(v1.decoded, v2.decoded))
    }

  implicit def arbIllegalTuple2[A1, A2](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]]): Arbitrary[IllegalNode[Tuple2[A1, A2]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded)))
    }
  implicit def arbLegalTuple3[A1, A2, A3](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]]): Arbitrary[LegalNode[Tuple3[A1, A2, A3]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded)), Tuple3(v1.decoded, v2.decoded, v3.decoded))
    }

  implicit def arbIllegalTuple3[A1, A2, A3](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]]): Arbitrary[IllegalNode[Tuple3[A1, A2, A3]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded)))
    }
  implicit def arbLegalTuple4[A1, A2, A3, A4](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]]): Arbitrary[LegalNode[Tuple4[A1, A2, A3, A4]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded)), Tuple4(v1.decoded, v2.decoded, v3.decoded, v4.decoded))
    }

  implicit def arbIllegalTuple4[A1, A2, A3, A4](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]]): Arbitrary[IllegalNode[Tuple4[A1, A2, A3, A4]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded)))
    }
  implicit def arbLegalTuple5[A1, A2, A3, A4, A5](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]]): Arbitrary[LegalNode[Tuple5[A1, A2, A3, A4, A5]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded)), Tuple5(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded))
    }

  implicit def arbIllegalTuple5[A1, A2, A3, A4, A5](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]]): Arbitrary[IllegalNode[Tuple5[A1, A2, A3, A4, A5]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded)))
    }
  implicit def arbLegalTuple6[A1, A2, A3, A4, A5, A6](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]]): Arbitrary[LegalNode[Tuple6[A1, A2, A3, A4, A5, A6]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded)), Tuple6(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded))
    }

  implicit def arbIllegalTuple6[A1, A2, A3, A4, A5, A6](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]]): Arbitrary[IllegalNode[Tuple6[A1, A2, A3, A4, A5, A6]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded)))
    }
  implicit def arbLegalTuple7[A1, A2, A3, A4, A5, A6, A7](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]]): Arbitrary[LegalNode[Tuple7[A1, A2, A3, A4, A5, A6, A7]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded)), Tuple7(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded))
    }

  implicit def arbIllegalTuple7[A1, A2, A3, A4, A5, A6, A7](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]]): Arbitrary[IllegalNode[Tuple7[A1, A2, A3, A4, A5, A6, A7]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded)))
    }
  implicit def arbLegalTuple8[A1, A2, A3, A4, A5, A6, A7, A8](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]]): Arbitrary[LegalNode[Tuple8[A1, A2, A3, A4, A5, A6, A7, A8]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded)), Tuple8(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded))
    }

  implicit def arbIllegalTuple8[A1, A2, A3, A4, A5, A6, A7, A8](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]]): Arbitrary[IllegalNode[Tuple8[A1, A2, A3, A4, A5, A6, A7, A8]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded)))
    }
  implicit def arbLegalTuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]]): Arbitrary[LegalNode[Tuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded)), Tuple9(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded))
    }

  implicit def arbIllegalTuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]]): Arbitrary[IllegalNode[Tuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded)))
    }
  implicit def arbLegalTuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]]): Arbitrary[LegalNode[Tuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded)), Tuple10(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded))
    }

  implicit def arbIllegalTuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]]): Arbitrary[IllegalNode[Tuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded)))
    }
  implicit def arbLegalTuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]]): Arbitrary[LegalNode[Tuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded)), Tuple11(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded))
    }

  implicit def arbIllegalTuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]]): Arbitrary[IllegalNode[Tuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded)))
    }
  implicit def arbLegalTuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]]): Arbitrary[LegalNode[Tuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded)), Tuple12(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded))
    }

  implicit def arbIllegalTuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]]): Arbitrary[IllegalNode[Tuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded)))
    }
  implicit def arbLegalTuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]]): Arbitrary[LegalNode[Tuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded)), Tuple13(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded))
    }

  implicit def arbIllegalTuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]]): Arbitrary[IllegalNode[Tuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded)))
    }
  implicit def arbLegalTuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]]): Arbitrary[LegalNode[Tuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded)), Tuple14(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded))
    }

  implicit def arbIllegalTuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]]): Arbitrary[IllegalNode[Tuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded)))
    }
  implicit def arbLegalTuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]]): Arbitrary[LegalNode[Tuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded)), Tuple15(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded))
    }

  implicit def arbIllegalTuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]]): Arbitrary[IllegalNode[Tuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded)))
    }
  implicit def arbLegalTuple16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]]): Arbitrary[LegalNode[Tuple16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded)), Tuple16(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded))
    }

  implicit def arbIllegalTuple16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]]): Arbitrary[IllegalNode[Tuple16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded)))
    }
  implicit def arbLegalTuple17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]], a17: Arbitrary[LegalString[A17]]): Arbitrary[LegalNode[Tuple17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
        v17 <- Arbitrary.arbitrary[LegalString[A17]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded)), Tuple17(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded, v17.decoded))
    }

  implicit def arbIllegalTuple17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]], a17: Arbitrary[IllegalString[A17]]): Arbitrary[IllegalNode[Tuple17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
        v17 <- Arbitrary.arbitrary[IllegalString[A17]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded)))
    }
  implicit def arbLegalTuple18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]], a17: Arbitrary[LegalString[A17]], a18: Arbitrary[LegalString[A18]]): Arbitrary[LegalNode[Tuple18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
        v17 <- Arbitrary.arbitrary[LegalString[A17]]
        v18 <- Arbitrary.arbitrary[LegalString[A18]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded)), Tuple18(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded, v17.decoded, v18.decoded))
    }

  implicit def arbIllegalTuple18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]], a17: Arbitrary[IllegalString[A17]], a18: Arbitrary[IllegalString[A18]]): Arbitrary[IllegalNode[Tuple18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
        v17 <- Arbitrary.arbitrary[IllegalString[A17]]
        v18 <- Arbitrary.arbitrary[IllegalString[A18]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded)))
    }
  implicit def arbLegalTuple19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]], a17: Arbitrary[LegalString[A17]], a18: Arbitrary[LegalString[A18]], a19: Arbitrary[LegalString[A19]]): Arbitrary[LegalNode[Tuple19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
        v17 <- Arbitrary.arbitrary[LegalString[A17]]
        v18 <- Arbitrary.arbitrary[LegalString[A18]]
        v19 <- Arbitrary.arbitrary[LegalString[A19]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded)), Tuple19(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded, v17.decoded, v18.decoded, v19.decoded))
    }

  implicit def arbIllegalTuple19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]], a17: Arbitrary[IllegalString[A17]], a18: Arbitrary[IllegalString[A18]], a19: Arbitrary[IllegalString[A19]]): Arbitrary[IllegalNode[Tuple19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
        v17 <- Arbitrary.arbitrary[IllegalString[A17]]
        v18 <- Arbitrary.arbitrary[IllegalString[A18]]
        v19 <- Arbitrary.arbitrary[IllegalString[A19]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded)))
    }
  implicit def arbLegalTuple20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]], a17: Arbitrary[LegalString[A17]], a18: Arbitrary[LegalString[A18]], a19: Arbitrary[LegalString[A19]], a20: Arbitrary[LegalString[A20]]): Arbitrary[LegalNode[Tuple20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
        v17 <- Arbitrary.arbitrary[LegalString[A17]]
        v18 <- Arbitrary.arbitrary[LegalString[A18]]
        v19 <- Arbitrary.arbitrary[LegalString[A19]]
        v20 <- Arbitrary.arbitrary[LegalString[A20]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded, v20.encoded)), Tuple20(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded, v17.decoded, v18.decoded, v19.decoded, v20.decoded))
    }

  implicit def arbIllegalTuple20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]], a17: Arbitrary[IllegalString[A17]], a18: Arbitrary[IllegalString[A18]], a19: Arbitrary[IllegalString[A19]], a20: Arbitrary[IllegalString[A20]]): Arbitrary[IllegalNode[Tuple20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
        v17 <- Arbitrary.arbitrary[IllegalString[A17]]
        v18 <- Arbitrary.arbitrary[IllegalString[A18]]
        v19 <- Arbitrary.arbitrary[IllegalString[A19]]
        v20 <- Arbitrary.arbitrary[IllegalString[A20]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded, v20.encoded)))
    }
  implicit def arbLegalTuple21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]], a17: Arbitrary[LegalString[A17]], a18: Arbitrary[LegalString[A18]], a19: Arbitrary[LegalString[A19]], a20: Arbitrary[LegalString[A20]], a21: Arbitrary[LegalString[A21]]): Arbitrary[LegalNode[Tuple21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
        v17 <- Arbitrary.arbitrary[LegalString[A17]]
        v18 <- Arbitrary.arbitrary[LegalString[A18]]
        v19 <- Arbitrary.arbitrary[LegalString[A19]]
        v20 <- Arbitrary.arbitrary[LegalString[A20]]
        v21 <- Arbitrary.arbitrary[LegalString[A21]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded, v20.encoded, v21.encoded)), Tuple21(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded, v17.decoded, v18.decoded, v19.decoded, v20.decoded, v21.decoded))
    }

  implicit def arbIllegalTuple21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]], a17: Arbitrary[IllegalString[A17]], a18: Arbitrary[IllegalString[A18]], a19: Arbitrary[IllegalString[A19]], a20: Arbitrary[IllegalString[A20]], a21: Arbitrary[IllegalString[A21]]): Arbitrary[IllegalNode[Tuple21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
        v17 <- Arbitrary.arbitrary[IllegalString[A17]]
        v18 <- Arbitrary.arbitrary[IllegalString[A18]]
        v19 <- Arbitrary.arbitrary[IllegalString[A19]]
        v20 <- Arbitrary.arbitrary[IllegalString[A20]]
        v21 <- Arbitrary.arbitrary[IllegalString[A21]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded, v20.encoded, v21.encoded)))
    }
  implicit def arbLegalTuple22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22](implicit a1: Arbitrary[LegalString[A1]], a2: Arbitrary[LegalString[A2]], a3: Arbitrary[LegalString[A3]], a4: Arbitrary[LegalString[A4]], a5: Arbitrary[LegalString[A5]], a6: Arbitrary[LegalString[A6]], a7: Arbitrary[LegalString[A7]], a8: Arbitrary[LegalString[A8]], a9: Arbitrary[LegalString[A9]], a10: Arbitrary[LegalString[A10]], a11: Arbitrary[LegalString[A11]], a12: Arbitrary[LegalString[A12]], a13: Arbitrary[LegalString[A13]], a14: Arbitrary[LegalString[A14]], a15: Arbitrary[LegalString[A15]], a16: Arbitrary[LegalString[A16]], a17: Arbitrary[LegalString[A17]], a18: Arbitrary[LegalString[A18]], a19: Arbitrary[LegalString[A19]], a20: Arbitrary[LegalString[A20]], a21: Arbitrary[LegalString[A21]], a22: Arbitrary[LegalString[A22]]): Arbitrary[LegalNode[Tuple22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[LegalString[A1]]
        v2 <- Arbitrary.arbitrary[LegalString[A2]]
        v3 <- Arbitrary.arbitrary[LegalString[A3]]
        v4 <- Arbitrary.arbitrary[LegalString[A4]]
        v5 <- Arbitrary.arbitrary[LegalString[A5]]
        v6 <- Arbitrary.arbitrary[LegalString[A6]]
        v7 <- Arbitrary.arbitrary[LegalString[A7]]
        v8 <- Arbitrary.arbitrary[LegalString[A8]]
        v9 <- Arbitrary.arbitrary[LegalString[A9]]
        v10 <- Arbitrary.arbitrary[LegalString[A10]]
        v11 <- Arbitrary.arbitrary[LegalString[A11]]
        v12 <- Arbitrary.arbitrary[LegalString[A12]]
        v13 <- Arbitrary.arbitrary[LegalString[A13]]
        v14 <- Arbitrary.arbitrary[LegalString[A14]]
        v15 <- Arbitrary.arbitrary[LegalString[A15]]
        v16 <- Arbitrary.arbitrary[LegalString[A16]]
        v17 <- Arbitrary.arbitrary[LegalString[A17]]
        v18 <- Arbitrary.arbitrary[LegalString[A18]]
        v19 <- Arbitrary.arbitrary[LegalString[A19]]
        v20 <- Arbitrary.arbitrary[LegalString[A20]]
        v21 <- Arbitrary.arbitrary[LegalString[A21]]
        v22 <- Arbitrary.arbitrary[LegalString[A22]]
      } yield LegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded, v20.encoded, v21.encoded, v22.encoded)), Tuple22(v1.decoded, v2.decoded, v3.decoded, v4.decoded, v5.decoded, v6.decoded, v7.decoded, v8.decoded, v9.decoded, v10.decoded, v11.decoded, v12.decoded, v13.decoded, v14.decoded, v15.decoded, v16.decoded, v17.decoded, v18.decoded, v19.decoded, v20.decoded, v21.decoded, v22.decoded))
    }

  implicit def arbIllegalTuple22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22](implicit a1: Arbitrary[IllegalString[A1]], a2: Arbitrary[IllegalString[A2]], a3: Arbitrary[IllegalString[A3]], a4: Arbitrary[IllegalString[A4]], a5: Arbitrary[IllegalString[A5]], a6: Arbitrary[IllegalString[A6]], a7: Arbitrary[IllegalString[A7]], a8: Arbitrary[IllegalString[A8]], a9: Arbitrary[IllegalString[A9]], a10: Arbitrary[IllegalString[A10]], a11: Arbitrary[IllegalString[A11]], a12: Arbitrary[IllegalString[A12]], a13: Arbitrary[IllegalString[A13]], a14: Arbitrary[IllegalString[A14]], a15: Arbitrary[IllegalString[A15]], a16: Arbitrary[IllegalString[A16]], a17: Arbitrary[IllegalString[A17]], a18: Arbitrary[IllegalString[A18]], a19: Arbitrary[IllegalString[A19]], a20: Arbitrary[IllegalString[A20]], a21: Arbitrary[IllegalString[A21]], a22: Arbitrary[IllegalString[A22]]): Arbitrary[IllegalNode[Tuple22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22]]] =
    Arbitrary {
      for {
        v1 <- Arbitrary.arbitrary[IllegalString[A1]]
        v2 <- Arbitrary.arbitrary[IllegalString[A2]]
        v3 <- Arbitrary.arbitrary[IllegalString[A3]]
        v4 <- Arbitrary.arbitrary[IllegalString[A4]]
        v5 <- Arbitrary.arbitrary[IllegalString[A5]]
        v6 <- Arbitrary.arbitrary[IllegalString[A6]]
        v7 <- Arbitrary.arbitrary[IllegalString[A7]]
        v8 <- Arbitrary.arbitrary[IllegalString[A8]]
        v9 <- Arbitrary.arbitrary[IllegalString[A9]]
        v10 <- Arbitrary.arbitrary[IllegalString[A10]]
        v11 <- Arbitrary.arbitrary[IllegalString[A11]]
        v12 <- Arbitrary.arbitrary[IllegalString[A12]]
        v13 <- Arbitrary.arbitrary[IllegalString[A13]]
        v14 <- Arbitrary.arbitrary[IllegalString[A14]]
        v15 <- Arbitrary.arbitrary[IllegalString[A15]]
        v16 <- Arbitrary.arbitrary[IllegalString[A16]]
        v17 <- Arbitrary.arbitrary[IllegalString[A17]]
        v18 <- Arbitrary.arbitrary[IllegalString[A18]]
        v19 <- Arbitrary.arbitrary[IllegalString[A19]]
        v20 <- Arbitrary.arbitrary[IllegalString[A20]]
        v21 <- Arbitrary.arbitrary[IllegalString[A21]]
        v22 <- Arbitrary.arbitrary[IllegalString[A22]]
      } yield IllegalValue(Option(asTextAttributes(v1.encoded, v2.encoded, v3.encoded, v4.encoded, v5.encoded, v6.encoded, v7.encoded, v8.encoded, v9.encoded, v10.encoded, v11.encoded, v12.encoded, v13.encoded, v14.encoded, v15.encoded, v16.encoded, v17.encoded, v18.encoded, v19.encoded, v20.encoded, v21.encoded, v22.encoded)))
    }
}