runtime/cpp/emboss_arithmetic_all_known_generated.h

// Copyright 2020 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

// GENERATED CODE.  DO NOT EDIT.  REGENERATE WITH
// runtime/cpp/generators/all_known.py

template <typename T0>
inline constexpr bool AllKnown(T0 v0) {
  return v0.Known();
}

template <typename T0, typename T1>
inline constexpr bool AllKnown(T0 v0, T1 v1) {
  return v0.Known() && v1.Known();
}

template <typename T0, typename T1, typename T2>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2) {
  return v0.Known() && v1.Known() && v2.Known();
}

template <typename T0, typename T1, typename T2, typename T3>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57, typename T58>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57, T58 v58) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known() && v58.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57, typename T58, typename T59>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57, T58 v58, T59 v59) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known() && v58.Known() && v59.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57, typename T58, typename T59, typename T60>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57, T58 v58, T59 v59, T60 v60) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known() && v58.Known() && v59.Known() && v60.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57, typename T58, typename T59, typename T60, typename T61>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57, T58 v58, T59 v59, T60 v60, T61 v61) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known() && v58.Known() && v59.Known() && v60.Known() && v61.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57, typename T58, typename T59, typename T60, typename T61, typename T62>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57, T58 v58, T59 v59, T60 v60, T61 v61, T62 v62) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known() && v58.Known() && v59.Known() && v60.Known() && v61.Known() && v62.Known();
}

template <typename T0, typename T1, typename T2, typename T3, typename T4, typename T5, typename T6, typename T7, typename T8, typename T9, typename T10, typename T11, typename T12, typename T13, typename T14, typename T15, typename T16, typename T17, typename T18, typename T19, typename T20, typename T21, typename T22, typename T23, typename T24, typename T25, typename T26, typename T27, typename T28, typename T29, typename T30, typename T31, typename T32, typename T33, typename T34, typename T35, typename T36, typename T37, typename T38, typename T39, typename T40, typename T41, typename T42, typename T43, typename T44, typename T45, typename T46, typename T47, typename T48, typename T49, typename T50, typename T51, typename T52, typename T53, typename T54, typename T55, typename T56, typename T57, typename T58, typename T59, typename T60, typename T61, typename T62, typename T63, typename... RestT>
inline constexpr bool AllKnown(T0 v0, T1 v1, T2 v2, T3 v3, T4 v4, T5 v5, T6 v6, T7 v7, T8 v8, T9 v9, T10 v10, T11 v11, T12 v12, T13 v13, T14 v14, T15 v15, T16 v16, T17 v17, T18 v18, T19 v19, T20 v20, T21 v21, T22 v22, T23 v23, T24 v24, T25 v25, T26 v26, T27 v27, T28 v28, T29 v29, T30 v30, T31 v31, T32 v32, T33 v33, T34 v34, T35 v35, T36 v36, T37 v37, T38 v38, T39 v39, T40 v40, T41 v41, T42 v42, T43 v43, T44 v44, T45 v45, T46 v46, T47 v47, T48 v48, T49 v49, T50 v50, T51 v51, T52 v52, T53 v53, T54 v54, T55 v55, T56 v56, T57 v57, T58 v58, T59 v59, T60 v60, T61 v61, T62 v62, T63 v63, RestT... rest) {
  return v0.Known() && v1.Known() && v2.Known() && v3.Known() && v4.Known() && v5.Known() && v6.Known() && v7.Known() && v8.Known() && v9.Known() && v10.Known() && v11.Known() && v12.Known() && v13.Known() && v14.Known() && v15.Known() && v16.Known() && v17.Known() && v18.Known() && v19.Known() && v20.Known() && v21.Known() && v22.Known() && v23.Known() && v24.Known() && v25.Known() && v26.Known() && v27.Known() && v28.Known() && v29.Known() && v30.Known() && v31.Known() && v32.Known() && v33.Known() && v34.Known() && v35.Known() && v36.Known() && v37.Known() && v38.Known() && v39.Known() && v40.Known() && v41.Known() && v42.Known() && v43.Known() && v44.Known() && v45.Known() && v46.Known() && v47.Known() && v48.Known() && v49.Known() && v50.Known() && v51.Known() && v52.Known() && v53.Known() && v54.Known() && v55.Known() && v56.Known() && v57.Known() && v58.Known() && v59.Known() && v60.Known() && v61.Known() && v62.Known() && v63.Known() && AllKnown(rest...);
}