frameless
XLTupler
Related Docs:
trait XLTupler
|
package frameless
object
XLTupler
extends
XLTuplerInstances
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
XLTuplerInstances
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
XLTupler
Serializable
Serializable
XLTuplerInstances
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
Aux
[
L <:
HList
,
Out0
]
=
XLTupler
[
L
] { type Out = Out0 }
Definition Classes
XLTuplerInstances
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
apply
[
L <:
HList
]
(
implicit
tupler:
XLTupler
[
L
]
)
:
Aux
[
L
,
XLTupler.Out
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
implicit
def
hlistTupler1
[
A0
]
:
Aux
[
::
[
A0
,
HNil
], (
A0
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler10
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
HNil
]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler11
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
HNil
]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler12
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
HNil
]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler13
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
HNil
]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler14
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
HNil
]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler15
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
HNil
]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler16
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
HNil
]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler17
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
HNil
]]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler18
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
HNil
]]]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler19
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
HNil
]]]]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler2
[
A0
,
A1
]
:
Aux
[
::
[
A0
,
::
[
A1
,
HNil
]], (
A0
,
A1
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler20
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
HNil
]]]]]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler21
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
HNil
]]]]]]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler22
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
HNil
]]]]]]]]]]]]]]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler23
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
HNil
]]]]]]]]]]]]]]]]]]]]]]],
Tuple23
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler24
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]],
Tuple24
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler25
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple25
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler26
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple26
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler27
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple27
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler28
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple28
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler29
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple29
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler3
[
A0
,
A1
,
A2
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
HNil
]]], (
A0
,
A1
,
A2
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler30
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple30
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler31
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple31
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler32
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple32
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler33
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple33
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler34
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple34
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler35
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple35
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler36
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple36
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler37
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple37
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler38
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple38
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler39
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple39
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler4
[
A0
,
A1
,
A2
,
A3
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
HNil
]]]], (
A0
,
A1
,
A2
,
A3
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler40
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple40
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler41
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple41
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler42
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple42
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler43
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple43
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler44
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple44
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler45
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple45
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler46
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple46
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler47
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple47
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler48
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple48
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler49
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple49
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler5
[
A0
,
A1
,
A2
,
A3
,
A4
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
HNil
]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler50
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple50
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler51
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple51
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler52
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple52
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler53
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple53
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler54
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple54
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler55
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple55
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler56
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple56
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler57
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple57
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler58
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple58
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler59
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
::
[
A58
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple59
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler6
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
HNil
]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler60
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
::
[
A58
,
::
[
A59
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple60
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler61
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
::
[
A58
,
::
[
A59
,
::
[
A60
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple61
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler62
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
,
A61
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
::
[
A58
,
::
[
A59
,
::
[
A60
,
::
[
A61
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple62
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
,
A61
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler63
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
,
A61
,
A62
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
::
[
A58
,
::
[
A59
,
::
[
A60
,
::
[
A61
,
::
[
A62
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple63
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
,
A61
,
A62
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler64
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
,
A61
,
A62
,
A63
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
::
[
A9
,
::
[
A10
,
::
[
A11
,
::
[
A12
,
::
[
A13
,
::
[
A14
,
::
[
A15
,
::
[
A16
,
::
[
A17
,
::
[
A18
,
::
[
A19
,
::
[
A20
,
::
[
A21
,
::
[
A22
,
::
[
A23
,
::
[
A24
,
::
[
A25
,
::
[
A26
,
::
[
A27
,
::
[
A28
,
::
[
A29
,
::
[
A30
,
::
[
A31
,
::
[
A32
,
::
[
A33
,
::
[
A34
,
::
[
A35
,
::
[
A36
,
::
[
A37
,
::
[
A38
,
::
[
A39
,
::
[
A40
,
::
[
A41
,
::
[
A42
,
::
[
A43
,
::
[
A44
,
::
[
A45
,
::
[
A46
,
::
[
A47
,
::
[
A48
,
::
[
A49
,
::
[
A50
,
::
[
A51
,
::
[
A52
,
::
[
A53
,
::
[
A54
,
::
[
A55
,
::
[
A56
,
::
[
A57
,
::
[
A58
,
::
[
A59
,
::
[
A60
,
::
[
A61
,
::
[
A62
,
::
[
A63
,
HNil
]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]],
Tuple64
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
A23
,
A24
,
A25
,
A26
,
A27
,
A28
,
A29
,
A30
,
A31
,
A32
,
A33
,
A34
,
A35
,
A36
,
A37
,
A38
,
A39
,
A40
,
A41
,
A42
,
A43
,
A44
,
A45
,
A46
,
A47
,
A48
,
A49
,
A50
,
A51
,
A52
,
A53
,
A54
,
A55
,
A56
,
A57
,
A58
,
A59
,
A60
,
A61
,
A62
,
A63
]]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler7
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
HNil
]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler8
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
HNil
]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
XLTuplerInstances
implicit
def
hlistTupler9
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
:
Aux
[
::
[
A0
,
::
[
A1
,
::
[
A2
,
::
[
A3
,
::
[
A4
,
::
[
A5
,
::
[
A6
,
::
[
A7
,
::
[
A8
,
HNil
]]]]]]]]], (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
XLTuplerInstances
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
XLTuplerInstances
Inherited from
AnyRef
Inherited from
Any
Ungrouped