cmplmntry-kttls
x6
x4
x4
x6
x4
x4
x6
x6
x6
New
Induction
x4
x4
x4
x4
x4
x4
x6
x6
x6
x6
x6
New
x6
x4
x4
x4
x6
x6
New
Induction
New
x6
New
x6
x4
x6
144
of
146