BTBMS分析

本条目展示 BTBMS 和 ωMN 的列表分析。以下分析来自test_alpha0

BTBMS	ωMN
(0)	()
(0)(1)	()(,1)
(0)(1^(2))	()(,,1)
(0)(1^(2)(2))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)
(0)(1^(2)(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6)
(0)(1^(2)(3^(4)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6)(,7,,7)
(0)(1^(2,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)
(0)(1^(2,1))(1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,1)
(0)(1^(2,1))(1)(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,1)(,8,,8)(,9,,8)(,10,8)
(0)(1^(2,1))(1)(3^(4,3))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4)
(0)(1^(2,1))(1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)
(0)(1^(2,1))(1,1)(3^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)
(0)(1^(2,1))(1,1)(3^(4))(4,3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,8)
(0)(1^(2,1))(1,1)(3^(4))(4,3^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,8)(,8,8,,8)
(0)(1^(2,1))(1,1)(3^(4))(4^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,8)(,10,10,10)(,8,8,,8)
(0)(1^(2,1))(1,1)(3^(4),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,8)(,10,10,10,10)
(0)(1^(2,1))(1,1)(3^(4),3^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,8)(,10,10,10,,10)
(0)(1^(2,1))(1,1)(3^(4)(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)
(0)(1^(2,1))(1,1)(3^(4)(5^(6,5)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10)(,11,,11)(,12,,11)(,13,11)(,11,11)
(0)(1^(2,1))(1,1)(3^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)
(0)(1^(2,1))(1,1)(3^(4,1))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,8)
(0)(1^(2,1))(1,1)(3^(4,1))(3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,8,8)
(0)(1^(2,1))(1,1)(3^(4,1))(3,3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,8,8,8)
(0)(1^(2,1))(1,1)(3^(4,1))(3^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,8,8,,8)
(0)(1^(2,1))(1,1)(3^(4,1))(3^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,8,8,,8)(,12,8,,8)(,13,4)
(0)(1^(2,1))(1,1)(3^(4,1))(4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9)
(0)(1^(2,1))(1,1)(3^(4,1))(4,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,4)
(0)(1^(2,1))(1,1)(3^(4,1))(4,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,8)
(0)(1^(2,1))(1,1)(3^(4,1))(4,3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,8,8)
(0)(1^(2,1))(1,1)(3^(4,1))(4,3^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,8,8)(,8,8,,8)
(0)(1^(2,1))(1,1)(3^(4,1))(4,3^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,4)
(0)(1^(2,1))(1,1)(3^(4,1))(4^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,8,8)(,12,12,12)(,8,8,,8)
(0)(1^(2,1))(1,1)(3^(4,1),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,9,8,8)(,12,12,12,12)
(0)(1^(2,1))(1,1)(3^(4,1)(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,10,4)
(0)(1^(2,1))(1,1)(3^(4,1)(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11)
(0)(1^(2,1))(1,1)(3^(4,1)(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,4)
(0)(1^(2,1))(1,1)(3^(4,1)(5,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6)(6)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6)(7^(8,7))))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13)(,14,,14)(,15,,14)(,16,14)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13,4)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6,1)(7)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13,4)(,14)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6,1)(7,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13,4)(,14,4)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6,1)(7,7)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13,4)(,14,14)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6,1)(7^(8))))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13,4)(,14,14,,14)
(0)(1^(2,1))(1,1)(3^(4,1)(5^(6,1)(7^(8)(8))))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,4)(,11,11,,11)(,12,11,,11)(,13,4)(,14,14,,14)(,15,14,,14)
(0)(1^(2,1))(1,1)(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)
(0)(1^(2,1))(1,1)(3^(4,3))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8)
(0)(1^(2,1))(1,1)(3^(4,3))(3,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,4)
(0)(1^(2,1))(1,1)(3^(4,3))(3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8)
(0)(1^(2,1))(1,1)(3^(4,3))(3,3)(5^(6,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8)(,12,12,,12)(,13,12,,12)(,14,4)
(0)(1^(2,1))(1,1)(3^(4,3))(3,3)(5^(6,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8)(,12,12,,12)(,13,12,,12)(,14,8)
(0)(1^(2,1))(1,1)(3^(4,3))(3,3)(5^(6,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8)(,12,12,,12)(,13,12,,12)(,14,12)
(0)(1^(2,1))(1,1)(3^(4,3))(3,3)(5^(6,5))(5,5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8)(,12,12,,12)(,13,12,,12)(,14,12)(,12,12)
(0)(1^(2,1))(1,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)
(0)(1^(2,1))(1,1,1)(1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,4,4)
(0)(1^(2,1))(1,1,1)(1,1)(4^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,4,4)(,13,13,,13)(,14,13,,13)(,15,4)
(0)(1^(2,1))(1,1,1)(1,1)(4^(5,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,4,4)(,13,13,,13)(,14,13,,13)(,15,13)
(0)(1^(2,1))(1,1,1)(1,1)(4^(5,4))(4,4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,4,4)(,13,13,,13)(,14,13,,13)(,15,13)(,13,13,13)
(0)(1^(2,1))(1,1,1)(1,1)(4^(5,4))(4,4,4)(4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,8)
(0)(1^(2,1))(1,1,1)(1,1)(4^(5,4))(4,4,4)(4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,8,8)
(0)(1^(2,1))(1,1,1)(1,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,8,8,8)
(0)(1^(2,1))(1,1,1)(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12)
(0)(1^(2,1))(1,1,1)(3^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)
(0)(1^(2,1))(1,1,1)(3^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,4)
(0)(1^(2,1))(1,1,1)(3^(4,1)(5^(6,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,4)(,15,15,,15)(,16,15,,15)(,17,4)
(0)(1^(2,1))(1,1,1)(3^(4,1)(5^(6,5)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,4)(,15,15,,15)(,16,15,,15)(,17,15)
(0)(1^(2,1))(1,1,1)(3^(4,1)(5^(6,5))(5,5,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,4)(,15,15,,15)(,16,15,,15)(,17,15)(,15,15,15)
(0)(1^(2,1))(1,1,1)(3^(4,1)(5^(6,5))(5,5,5)(7^(8,5)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)
(0)(1^(2,1))(1,1,1)(3^(4,1,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)
(0)(1^(2,1))(1,1,1)(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)
(0)(1^(2,1))(1,1,1)(3^(4,3))(3,3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,12,12,12)
(0)(1^(2,1))(1,1,1)(3^(4,3))(3,3,3)(5^(6,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,12,12,12)(,16,16,16,,16)(,17,16,16,,16)(,18,16)
(0)(1^(2,1))(1,1,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,12,12,12,12)
(0)(1^(2,1))(1^(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,,8)
(0)(1^(2,1))(1^(3)(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,,8)(,12,8,,8)
(0)(1^(2,1))(1^(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,,8)(,12,8,,8)(,13,4)
(0)(1^(2,1))(1^(3,1))(1,1)(4^(5,4))(4^(6,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,,8)(,12,8,,8)(,13,8)
(0)(1^(2,1))(1^(3,1))(1^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,,8)(,12,8,,8)(,13,8)(,8,8,,8)
(0)(1^(2,1))(1^(3,1))(1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,8,8,,8)(,12,8,,8)(,13,8)(,8,8,,8)(,15,8,,8)(,16,4)
(0)(1^(2,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9)
(0)(1^(2,1))(2,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,4)
(0)(1^(2,1))(2,1)(1,1)(4^(5,4))(5,4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)
(0)(1^(2,1))(2,1)(1,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,8)
(0)(1^(2,1))(2,1)(1^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)
(0)(1^(2,1))(2,1)(1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)(,13,8,,8)(,14,4)
(0)(1^(2,1))(2,1)(1^(4,1))(1,1)(5^(6,5))(6,5)(5^(8,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)(,13,8,,8)(,14,8)
(0)(1^(2,1))(2,1)(1^(4,1))(1^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)(,13,8,,8)(,14,8)(,8,8,,8)
(0)(1^(2,1))(2,1)(1^(4,1))(1^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)(,13,8,,8)(,14,8)(,8,8,,8)(,16,8,,8)(,17,4)
(0)(1^(2,1))(2,1)(1^(4,1))(4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13)
(0)(1^(2,1))(2,1)(1^(4,1))(4,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,4)
(0)(1^(2,1))(2,1)(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,9)
(0)(1^(2,1))(2,1)(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,12)
(0)(1^(2,1))(2,1)(3^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,12,12,,12)
(0)(1^(2,1))(2,1)(3^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,12,12,,12)(,13,12,,12)(,14,4)
(0)(1^(2,1))(2,1)(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8)(,12,12,,12)(,13,12,,12)(,14,12)
(0)(1^(2,1))(2,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)
(0)(1^(2,1))(2,1,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,8)(,13,13,13,,13)(,14,13,13,,13)(,15,13)(,14,13,13,13)
(0)(1^(2,1))(2,1^(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)
(0)(1^(2,1))(2,1^(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,4)
(0)(1^(2,1))(2,1^(3,1))(1,1)(4^(5,4))(5,4^(6,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)
(0)(1^(2,1))(2,1^(3,1))(1,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,8,8,8)
(0)(1^(2,1))(2,1^(3,1))(1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,8,8,,8)(,16,8,,8)(,17,4)
(0)(1^(2,1))(2,1^(3,1))(1^(4,1))(4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13)
(0)(1^(2,1))(2,1^(3,1))(1^(4,1))(4,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,4)
(0)(1^(2,1))(2,1^(3,1))(1^(4,1))(4,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)
(0)(1^(2,1))(2,1^(3,1))(1^(4,1))(4,1^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,8,8,,8)
(0)(1^(2,1))(2,1^(3,1))(1^(4,1))(4,1^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,8,8,,8)(,17,8,,8)(,18,4)
(0)(1^(2,1))(2,1^(3,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,9)
(0)(1^(2,1))(2,1^(3,1))(2,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,9,8,8)
(0)(1^(2,1))(2,1^(3,1))(2,1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,4)
(0)(1^(2,1))(2,1^(3,1))(3,1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,8,8)(,8,8,,8)(,14,8,,8)(,15,4)
(0)(1^(2,1))(2,2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12)
(0)(1^(2,1))(2^(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12)(,8,8,,8)(,14,8,,8)(,15,4)
(0)(1^(2,1))(2^(3,1),2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,12)
(0)(1^(2,1))(2^(3,1),2^(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)
(0)(1^(2,1))(2^(3,1),2^(3))(2^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,12,12,12)
(0)(1^(2,1))(2^(3,1),2^(3))(2^(4,1))(4^(5,1),4^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,12,12,12)(,14,14,14,,14)
(0)(1^(2,1))(2^(3,1),2^(3))(2^(4,1),2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,12,12,12,12)
(0)(1^(2,1))(2^(3,1),2^(3))(2^(4,1),2^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,12,12,12,,12)
(0)(1^(2,1))(2^(3,1),2^(3))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13)
(0)(1^(2,1))(2^(3,1),2^(3))(3,2^(4,1),2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,12)
(0)(1^(2,1))(2^(3,1),2^(3))(3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,12)(,14,14)
(0)(1^(2,1))(2^(3,1),2^(3))(3^(4,1),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,12)(,14,14,14,14)
(0)(1^(2,1))(2^(3,1),2^(3))(3^(4,1),3^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,12)(,14,14,14,14)(,12,12,12,,12)
(0)(1^(2,1))(2^(3,1),2^(3),2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,12)(,14,14,14,14,14)
(0)(1^(2,1))(2^(3,1),2^(3),2^(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,12)(,14,14,14,14,,14)
(0)(1^(2,1))(2^(3,1),2^(3)(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)
(0)(1^(2,1))(2^(3,1),2^(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,4)
(0)(1^(2,1))(2^(3,1)(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,13,12,12,,12)
(0)(1^(2,1))(2^(3,1)(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,13,12,12,,12)(,16,4)
(0)(1^(2,1))(2^(3,1)(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,14)
(0)(1^(2,1))(2^(3,1)(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,14,4)
(0)(1^(2,1))(2^(3,1)(4,1)(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,14,8)(,14,4)
(0)(1^(2,1))(2^(3,1)(4,1)(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,15)
(0)(1^(2,1))(2^(3,1)(4,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,15,15)
(0)(1^(2,1))(2^(3,1)(4^(5)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,15,15,,15)
(0)(1^(2,1))(2^(3,1)(4^(5,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,15,15,,15)(,16,15,,15)(,17,4)
(0)(1^(2,1))(2^(3,1)(4^(5,4)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8)(,15,15,,15)(,16,15,,15)(,17,15)
(0)(1^(2,1))(2^(3,1,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)
(0)(1^(2,1))(2^(3,1^(4)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,8,8,,8)
(0)(1^(2,1))(2^(3,1^(4,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,8,8,,8)(,16,8,,8)(,17,4)
(0)(1^(2,1))(2^(3,1^(4,1))(3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,13,12,12,,12)
(0)(1^(2,1))(2^(3,1^(4,1))(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,14)
(0)(1^(2,1))(2^(3,1^(4,1))(4,1^(5,1))(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15)
(0)(1^(2,1))(2^(3,1^(4,1))(4,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15)(,8,8,,8)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15)(,8,8,,8)(,17,8,,8)(,18,4)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5,1),4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15,15)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5,1),4^(5,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15,,15)(,16,15,15,,15)(,17,4)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5,1,1)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15,,15)(,16,15,15,,15)(,17,8,8)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5,1^(6))))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15,,15)(,16,15,15,,15)(,17,8,8)(,8,8,,8)
(0)(1^(2,1))(2^(3,1^(4,1))(4^(5,1^(6,1))))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,8,8)(,15,15,15,,15)(,16,15,15,,15)(,17,8,8)(,8,8,,8)(,19,8,,8)(,20,4)
(0)(1^(2,1))(2^(3,2))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)
(0)(1^(2,1))(2^(3,2))(3,2^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,13,12,12,12)(,12,12,12,,12)
(0)(1^(2,1))(2^(3,2))(3,2^(4,2))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,13,12,12,12)(,12,12,12,,12)(,17,12,12,,12)(,18,12)
(0)(1^(2,1))(2^(3,2))(3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,13,12,12,12)(,16,16)
(0)(1^(2,1))(2^(3,2))(3^(4,2))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,13,12,12,12)(,16,16,16,16)(,12,12,12,,12)(,18,12,12,,12)(,19,12)
(0)(1^(2,1))(2^(3,2))(3^(4,2),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,13,12,12,12)(,16,16,16,16,16)
(0)(1^(2,1))(2^(3,2))(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,8)(,12,12,12,,12)(,13,12,12,,12)(,14,12)(,13,12,12,12)(,16,16,16,16,,16)(,17,16,16,16,,16)(,18,16)
(0)(1^(2,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)
(0)(1^(2,1),1)(1^(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,4)
(0)(1^(2,1),1)(1^(3,1))(3,1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,8,8,,8)(,17,8,,8)(,18,4)
(0)(1^(2,1),1)(1^(3,1))(3,3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16)
(0)(1^(2,1),1)(1^(3,1))(3^(4,1),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16,16)
(0)(1^(2,1),1)(1^(3,1))(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16,,16)(,17,16,16,,16)(,18,16)
(0)(1^(2,1),1)(1^(3,1))(3^(4,3),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16,,16)(,17,16,16,,16)(,18,16)(,17,16,16,,16)
(0)(1^(2,1),1)(1^(3,1))(3^(4,3),3)(3^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16,,16)(,17,16,16,,16)(,18,16)(,17,16,16,,16)(,16,16,16,,16)
(0)(1^(2,1),1)(1^(3,1))(3^(4,3),3)(3^(5,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16,,16)(,17,16,16,,16)(,18,16)(,17,16,16,,16)(,16,16,16,,16)(,21,16,16,,16)(,22,16)
(0)(1^(2,1),1)(1^(3,1))(3^(4,3),3)(3^(5,3))(5^(6,5),5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,8)(,16,16,16,,16)(,17,16,16,,16)(,18,16)(,17,16,16,,16)(,16,16,16,,16)(,21,16,16,,16)(,22,16)(,21,16,16,16)(,24,24,24,24,,24)(,25,24,24,24,,24)(,26,24)(,25,24,24,24,,24)
(0)(1^(2,1),1)(1^(3,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,8,8,,8)(,13,8,,8)(,14,8)(,13,8,,8)
(0)(1^(2,1),1)(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9)
(0)(1^(2,1),1)(2,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)
(0)(1^(2,1),1)(2,1^(3,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,4)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1))(4,1^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,8,8,,8)(,18,8,,8)(,19,8)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1))(4^(5,1),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1))(4^(5,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)(,18,17,17,,17)(,19,17)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1))(4^(5,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)(,18,17,17,,17)(,19,17)(,18,17,17,,17)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1))(4^(5,4),4)(5,4^(6))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)(,18,17,17,,17)(,19,17)(,18,17,17,,17)(,18,17,17,17)(,17,17,17,,17)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1))(4^(5,4),4)(5,4^(6,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)(,18,17,17,,17)(,19,17)(,18,17,17,,17)(,18,17,17,17)(,17,17,17,,17)(,23,17,17,,17)(,24,17)
(0)(1^(2,1),1)(2,1^(3,1))(1^(4,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,,8)
(0)(1^(2,1),1)(2,1^(3,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,9)
(0)(1^(2,1),1)(2,1^(3,1))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13)(,8,8,,8)(,15,8,,8)(,16,8)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,1))(1^(5,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13)(,8,8,,8)(,15,8,,8)(,16,8)(,15,8,,8)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,1),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13,13)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13,,13)(,14,13,13,,13)(,15,13)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,3),3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13,,13)(,14,13,13,,13)(,15,13)(,14,13,13,,13)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,3),3)(4,3^(5,3))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13,,13)(,14,13,13,,13)(,15,13)(,14,13,13,,13)(,14,13,13,13)(,13,13,13,,13)(,19,13,13,,13)(,20,13)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,3),3)(4,3^(5,3))(5^(6,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13,,13)(,14,13,13,,13)(,15,13)(,14,13,13,,13)(,14,13,13,13)(,18,18,18,18,,18)(,19,18,18,18,,18)(,20,18)
(0)(1^(2,1),1)(2,1^(3,1))(3^(4,3),3)(4,3^(5,3))(5^(6,5),5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,8)(,13,13,13,,13)(,14,13,13,,13)(,15,13)(,14,13,13,,13)(,14,13,13,13)(,18,18,18,18,,18)(,19,18,18,18,,18)(,20,18)(,19,18,18,18,,18)
(0)(1^(2,1),1)(2,1^(3,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,8,8,,8)(,14,8,,8)(,15,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(1^(4,1))(4^(5,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)(,18,17,17,,17)(,19,17)(,18,17,17,,17)
(0)(1^(2,1),1)(2,1^(3,1),1)(1^(4,1))(4^(5,4),4)(5,4^(6,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,8)(,17,17,17,,17)(,18,17,17,,17)(,19,17)(,18,17,17,,17)(,18,17,17,,17)
(0)(1^(2,1),1)(2,1^(3,1),1)(1^(4,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(1^(4,1),1)(4,1^(5,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,8,8,,8)(,14,8,,8)(,15,8)(,14,8,,8)(,14,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,15,8,,8)(,16,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1))(1^(5,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,15,8,,8)(,16,8)(,15,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1))(1^(5,1),1)(5,1^(6,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,8)(,8,8,,8)(,15,8,,8)(,16,8)(,15,8,,8)(,15,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1))(4^(5,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,8)(,14,14,14,,14)(,15,14,14,,14)(,16,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1))(4^(5,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,8)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1))(4^(5,4),4)(5,4^(6,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,8)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,,14)(,15,14,14,,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(2,1^(4,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,9,8,,8)(,9,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,12)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,12,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(2,1^(5,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)(,12,8)(,9,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,10)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(3,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,10,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,11,11)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(4^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,11,11,,11)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(4^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,11,11,,11)(,12,11,,11)(,13,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(4^(5,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,11,11,,11)(,12,11,,11)(,13,11)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1)(4^(5,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8)(,11,11,,11)(,12,11,,11)(,13,11)(,12,11,,11)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,4)(,8,8,,8)(,9,8,,8)(,10,8,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1,1)(5^(6,5),5)(6,5^(7,5),5)(7,5^(8,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14)(,14,14,,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14)(,14,14,,14)(,24,14,,14)(,25,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14)(,21,14,,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5,1),1)(5,1^(6,1),1)(6)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14)(,21,14,,14)(,24)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5,1),1)(5,1^(6,1),1)(6,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14)(,21,14,,14)(,24,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5,1),1)(5,1^(6,1),1)(6,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,4)(,14,14,,14)(,15,14,,14)(,16,14,14)(,14,14,,14)(,18,14,,14)(,19,14,14)(,14,14,,14)(,21,14,,14)(,22,14,14)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(1^(5,1),1)(5,1^(6,1),1)(6,1^(7))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,4,,4)(,8,,4)(,9,4)(,4,,4)(,11,,4)(,12,4)(,4,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1))(6^(7,6),6)(7,6^(8,6),6)(8,6^(9,6))(7,6^(10,6))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,4)(,12,12,,12)(,13,12,,12)(,14,12,12)(,13,12,12)(,12,12,,12)(,17,12,,12)(,18,12)(,17,12,12)(,20,20,20,,20)(,21,20,20,,20)(,22,20,20,20)(,21,20,20,20)(,20,20,20,,20)(,25,20,20,,20)(,26,20)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,4)(,12,12,,12)(,13,12,,12)(,14,12,12)(,13,12,12)(,12,12,,12)(,17,12,,12)(,18,12)(,17,12,,12)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)(6,1^(7,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,4)(,12,12,,12)(,13,12,,12)(,14,12,12)(,13,12,12)(,12,12,,12)(,17,12,,12)(,18,12)(,17,12,,12)(,17,12,,12)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)(6,1^(7,1),1)(7,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,4)(,12,12,,12)(,13,12,,12)(,14,12,12)(,13,12,12)(,12,12,,12)(,17,12,,12)(,18,12)(,17,12,,12)(,20,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)(6,1^(7,1),1)(7,1,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,4)(,12,12,,12)(,13,12,,12)(,14,12,12)(,13,12,12)(,12,12,,12)(,17,12,,12)(,18,12,12)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)(6,1^(7,1),1)(7,1^(8))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)(6,1^(7,1),1)(7,1^(8,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,4,,4)(,12,,4)(,13,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(1^(6,1),1)(6,1^(7,1),1)(7,1^(8,1))(6)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,4,,4)(,9,,4)(,10,4)(,9)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,5)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(2,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,5,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5,5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5^(6,1),5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5^(6,1),5^(6,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8,,8)(,9,8,,8)(,10,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5^(6,1,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8,,8)(,9,8,,8)(,10,4)(,4,4)(,12,12,,12)(,13,12,,12)(,14,12,12)(,13,12,12)(,16,16,16,,16)(,17,16,16,,16)(,18,12,12)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5^(6,5))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8,,8)(,9,8,,8)(,10,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5^(6,5),5)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1))(5^(6,5),5)(6,5^(7,5),5)(7,5^(8,5))(6)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,4)(,8,8,,8)(,9,8,,8)(,10,8,8)(,9)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)(5,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)(,8,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)(5,1^(6,1))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)(,8,4)(,4,,4)(,10,,4)(,11,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)(5,1^(6,1))(1^(7,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)(,8,4)(,4,,4)(,10,,4)(,11,4)(,10,4)(,13,13,,13)(,14,13,,13)(,15,13,13)(,14,13,,13)(,17,13,13)(,13,13,,13)(,19,13,,13)(,20,13)(,19,13,,13)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)(5,1^(6,1))(1^(7,1),1)(7,1^(8,1),1)(8,1^(9,1))(7,1^(10,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)(,8,4)(,4,,4)(,10,,4)(,11,4)(,10,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)(5,1^(6,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)(,8,4)(,5)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(2,1^(5,1),1)(5,1^(6,1))(2,1^(7,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,5,,4)(,8,4)(,5,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,6)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(3,1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,6,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,1),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,1^(6)))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,4)(,4,,4)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7)(,8,7,,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4),4)(5,4^(6,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7)(,8,7,,7)(,8,7,,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4),4)(5,4^(6,4),4)(6,4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4),4)(5,4^(6,4),4)(6,4^(7,4))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7,7)(,7,7,,7)(,11,7,,7)(,12,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4),4)(5,4^(6,4),4)(6,4^(7,4))(4^(8,4),4)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7,7)(,7,7,,7)(,11,7,,7)(,12,7)(,11,7,,7)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1))(4^(5,4),4)(5,4^(6,4),4)(6,4^(7,4))(7^(8,7))	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)(,7,7,,7)(,8,7,,7)(,9,7,7)(,10,10,10,,10)(,11,10,10,,10)(,12,10)
(0)(1^(2,1),1)(2,1^(3,1),1)(3,1^(4,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,,4)
(0)(1^(2,1),1)(2,2)	()(,,1)(,2)(,1)(,4,,4)(,5,5)
(0)(1^(2,1),1)(2,2)(2,1^(4,1),1)(4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8)(,8,7,,7)(,10,10)
(0)(1^(2,1),1)(2,2)(2,2)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8)(,8,8)
(0)(1^(2,1),1)(2,2,1)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)
(0)(1^(2,1),1)(2,2,1^(3))	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,7,7,,7)
(0)(1^(2,1),1)(2,2,1^(3,1))(1^(4,1),1)(4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,7,7,,7)(,10,10)
(0)(1^(2,1),1)(2,2,1^(3,1))(2)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,8)
(0)(1^(2,1),1)(2,2,1^(3,1))(2,1^(4,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,8,7,,7)
(0)(1^(2,1),1)(2,2,1^(3,1))(3)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,1),3)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,9)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,2))	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,,9)(,10,9,9,,9)(,11,8)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,3))	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,,9)(,10,9,9,,9)(,11,9)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,3),3)(4,4)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,,9)(,10,10)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,3),3)(4,4,1)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,,9)(,10,10,7)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,3),3)(4,4,3)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,,9)(,10,10,9)
(0)(1^(2,1),1)(2,2,1^(3,1))(3^(4,3),3)(4,4,3^(5,3))	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,7)(,9,9,9,,9)(,10,10,9,9)(,9,9,9,,9)(,12,9,9,,9)(,13,9)
(0)(1^(2,1),1)(2,2,1^(3,1),1)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,,7)
(0)(1^(2,1),1)(2,2,2)	()(,,1)(,2)(,1)(,4,,4)(,5,5)(,4,4)(,7,7,,7)(,8,8,8)
(0)(1^(2,1),1)(2^(3))	()(,,1)(,2)(,,1)
(0)(1^(2,1),1)(2^(3),2)	()(,,1)(,2)(,,1)(,4)(,1)(,6,,6)(,7,7)(,6,,6)(,9,6)(,10,10,,10)(,11,11,11)
(0)(1^(2,1),1)(2^(3),2^(3))	()(,,1)(,2)(,,1)(,4)(,1)(,6,,6)(,7,7)(,6,,6)(,9,6)(,10,10,,10)(,11,11,11)(,10,10,,10)
(0)(1^(2,1),1)(2^(3)(3))	()(,,1)(,2)(,,1)(,4)(,1)(,6,,6)(,7,7)(,6,,6)(,9,,6)
(0)(1^(2,1),1)(2^(3,1))	()(,,1)(,2)(,,1)(,4)(,1)(,6,,6)(,7,7)(,6,,6)(,9,,6)(,10,6)
(0)(1^(2,1),1)(2^(3,1))(1^(4,1),1)	()(,,1)(,2)(,,1)(,4)(,1)(,6,,6)(,7,7)(,6,,6)(,9,,6)(,10,6)(,9,6)(,12,12,,12)(,13,13,13)(,12,12,,12)(,15,12,,12)(,16,12)(,15,12,,12)
(0)(1^(2,1),1)(2^(3,1))(1^(4,1),1)(4,4)	()(,,1)(,2)(,,1)(,4)(,1)(,6,,6)(,7,7)(,6,,6)(,9,9)
(0)(1^(2,1),1)(2^(3,1))(1^(4,1),1)(4^(5))	()(,,1)(,2)(,,1)(,4)(,,1)
(0)(1^(2,1),1)(2^(3,1))(2)	()(,,1)(,2)(,2)
(0)(1^(2,1),1)(2^(3,1))(3)	()(,,1)(,2)(,3)
(0)(1^(2,1),1)(2^(3,1))(3^(4,1),3)	()(,,1)(,2)(,3,3)
(0)(1^(2,1),1)(2^(3,1))(3^(4,1),3^(4))	()(,,1)(,2)(,3,,3)
(0)(1^(2,1),1)(2^(3,1))(3^(4,1),3^(4)(4))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)
(0)(1^(2,1),1)(2^(3,1))(3^(4,1),3^(4,1))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,6)
(0)(1^(2,1),1)(2^(3,1))(3^(4,1^(5)))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,6)(,6,,6)
(0)(1^(2,1),1)(2^(3,1))(3^(4,2))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,7)
(0)(1^(2,1),1)(2^(3,1))(3^(4,2^(5)))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,7)(,6,,6)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3))(4)	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)(,6,6)(,12,12,,12)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3))(4,3^(5,3))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)(,6,6)(,12,12,,12)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,14)(,14,14,14,,14)(,19,14,14,,14)(,20,14)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3))(4^(5,3),4)	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)(,6,6)(,12,12,,12)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,14)(,18,18,18,18,18)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3))(4^(5,4))	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)(,6,6)(,12,12,,12)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,14)(,18,18,18,18,,18)(,19,18,18,18,,18)(,20,18)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)(,6,6)(,12,12,,12)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,,14)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4,3^(5,3),3)	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,8,,8)(,10,8)(,6,6)(,12,12,,12)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,,14)(,15,14,14,,14)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4,4)	()(,,1)(,2)(,3,,3)(,4)(,1)(,6,,6)(,7,7)(,8,8,,8)(,9,9)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5))	()(,,1)(,2)(,3,,3)(,4)(,,1)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5)(5))	()(,,1)(,2)(,3,,3)(,4)(,,1)(,6)(,1)(,8,,8)(,9,9)(,10,10,,10)(,11,11)(,8,,8)(,13,,8)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5,1))	()(,,1)(,2)(,3,,3)(,4)(,,1)(,6)(,1)(,8,,8)(,9,9)(,10,10,,10)(,11,11)(,8,,8)(,13,,8)(,14,8)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5,2))	()(,,1)(,2)(,3,,3)(,4,4)(,3,,3)(,6,,3)(,7)(,1)(,9,,9)(,10,10)(,11,11,,11)(,12,12,12)(,11,11,,11)(,14,11,,11)(,15,10)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5,3))	()(,,1)(,2)(,3,,3)(,4,4)(,3,,3)(,6,,3)(,7)(,1)(,9,,9)(,10,10)(,11,11,,11)(,12,12,12)(,11,11,,11)(,14,11,,11)(,15,11)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5,3))(3^(6,3),3)	()(,,1)(,2)(,3,,3)(,4,4)(,3,,3)(,6,,3)(,7)(,1)(,9,,9)(,10,10)(,11,11,,11)(,12,12,12)(,11,11,,11)(,14,11,,11)(,15,11)(,14,11,,11)
(0)(1^(2,1),1)(2^(3,1))(3^(4,3),3)(4^(5,3))(5^(6,5))	()(,,1)(,2)(,3,,3)(,4,4)(,5,5,,5)(,6)(,1)(,8,,8)(,9,9)(,10,10,,10)(,11,11,11)(,12,12,12,,12)(,13,12,12,,12)(,14,12)
(0)(1^(2,1),1)(2^(3,1),1)	()(,,1)(,2,,1)
(0)(1^(2,1),1)(2^(3,1),1)(2,1^(4,1),1)	()(,,1)(,2,,1)(,2)(,1)(,5,,5)(,6,6,,5)(,6,,5)
(0)(1^(2,1),1)(2^(3,1),1)(2,1^(4,1),1)(4,4)	()(,,1)(,2,,1)(,2)(,1)(,5,,5)(,6,6,,5)(,6,,5)(,8,8)
(0)(1^(2,1),1)(2^(3,1),1)(2,1^(4,1),1)(4^(5,1))(5^(6,5),5)(6,6)	()(,,1)(,2,,1)(,2)(,1)(,5,,5)(,6,6,,5)(,6,,5)(,8,8)(,9,9,,9)(,10,10,10)(,11,11,11,,11)(,12,12)
(0)(1^(2,1),1)(2^(3,1),1)(2,1^(4,1),1)(4^(5,1))(5^(6,5),5)(6^(7,5),5)	()(,,1)(,2,,1)(,2)(,1)(,5,,5)(,6,6,,5)(,6,,5)(,8,8)(,9,9,,9)(,10,10,10,,9)
(0)(1^(2,1),1)(2^(3,1),1)(2,1^(4,1),1)(4^(5,1),1)	()(,,1)(,2,,1)(,2)(,1)(,5,,5)(,6,6,,5)(,6,,5)(,8,8,,5)
(0)(1^(2,1),1)(2^(3,1),1)(2,2)	()(,,1)(,2,,1)(,2)(,1)(,5,,5)(,6,6,,5)(,6,6)
(0)(1^(2,1),1)(2^(3,1),1)(2^(4))	()(,,1)(,2,,1)(,2)(,,1)
(0)(1^(2,1),1)(2^(3,1),1)(2^(4,1))(4)	()(,,1)(,2,,1)(,2)(,4)
(0)(1^(2,1),1)(2^(3,1),1)(2^(4,1))(4^(5,4),4)(5^(6,4),4)	()(,,1)(,2,,1)(,2)(,4,,4)(,5,5,,4)
(0)(1^(2,1),1)(2^(3,1),1)(2^(4,1),1)	()(,,1)(,2,,1)(,2,,1)
(0)(1^(2,1),1)(2^(3,1),1)(3)	()(,,1)(,2,,1)(,3)
(0)(1^(2,1),1)(2^(3,1),1)(3,1)	()(,,1)(,2,,1)(,3)(,1)(,5,,5)(,6,6,,5)(,7,5)
(0)(1^(2,1),1)(2^(3,1),1)(3,1^(4,1),1)	()(,,1)(,2,,1)(,3)(,1)(,5,,5)(,6,6,,5)(,7,,5)
(0)(1^(2,1),1)(2^(3,1),1)(3,2)	()(,,1)(,2,,1)(,3)(,1)(,5,,5)(,6,6,,5)(,7,6)
(0)(1^(2,1),1)(2^(3,1),1)(3,3)	()(,,1)(,2,,1)(,3)(,1)(,5,,5)(,6,6,,5)(,7,7)
(0)(1^(2,1),1)(2^(3,1),1)(3^(4))	()(,,1)(,2,,1)(,3)(,,1)
(0)(1^(2,1),1)(2^(3,1),1)(3^(4,1))	()(,,1)(,2,,1)(,3)(,,1)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9)(,7,,7)(,11,,7)(,12,7)
(0)(1^(2,1),1)(2^(3,1),1)(3^(4,1))(4)	()(,,1)(,2,,1)(,3)(,4)
(0)(1^(2,1),1)(2^(3,1),1)(3^(4,1))(4^(5,4),4)(5^(6,4),4)	()(,,1)(,2,,1)(,3)(,4,,4)(,5,5,,4)
(0)(1^(2,1),1)(2^(3,1),1)(3^(4,1),1)	()(,,1)(,2,,1)(,3,,1)
(0)(1^(2,1),1)(2^(3,1),2)	()(,,1)(,2,,1)(,3,3)
(0)(1^(2,1),1)(2^(3,1),2)(3)	()(,,1)(,2,,1)(,3,3)(,4)
(0)(1^(2,1),1)(2^(3,1),2)(3,1)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,6)
(0)(1^(2,1),1)(2^(3,1),2)(3,1^(4,1),1)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,,6)
(0)(1^(2,1),1)(2^(3,1),2)(3,2)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,7)
(0)(1^(2,1),1)(2^(3,1),2)(3,2^(4))	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,7)(,6,,6)
(0)(1^(2,1),1)(2^(3,1),2)(3,2^(4,1),1)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,7,,6)
(0)(1^(2,1),1)(2^(3,1),2)(3,2^(4,1),1)(4^(5,1),4)(5,4)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,8)
(0)(1^(2,1),1)(2^(3,1),2)(3,2^(4,1),1)(4^(5,1),4)(5,4^(6,1),1)	(0)(1^(2,1),1)(2^(3,1),2)(3,2^(4,1),1)(4^(5,1),4)(5,4^(6,1),1)
(0)(1^(2,1),1)(2^(3,1),2)(3,2^(4,1),2)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,8,8)
(0)(1^(2,1),1)(2^(3,1),2)(3,3)	()(,,1)(,2,,1)(,3,3)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8)(,9,9)
(0)(1^(2,1),1)(2^(3,1),2)(3^(4))	()(,,1)(,2,,1)(,3,3)(,4)(,,1)
(0)(1^(2,1),1)(2^(3,1),2)(3^(4,1),1)	()(,,1)(,2,,1)(,3,3)(,4,,1)
(0)(1^(2,1),1)(2^(3,1),2)(3^(4,1),2)	()(,,1)(,2,,1)(,3,3)(,4,3)
(0)(1^(2,1),1)(2^(3,1),2)(3^(4,1),3)	()(,,1)(,2,,1)(,3,3)(,4,4)
(0)(1^(2,1),1)(2^(3,1),2,2)	()(,,1)(,2,,1)(,3,3)(,4,4,4)
(0)(1^(2,1),1)(2^(3,1),2^(3))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)
(0)(1^(2,1),1)(2^(3,1),2^(3,1))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,7)
(0)(1^(2,1),1)(2^(3,1^(4)))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,7)(,7,,7)
(0)(1^(2,1),1)(2^(3,1^(4,1),1))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,,7)
(0)(1^(2,1),1)(2^(3,2))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,8)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),1)(4^(5,4))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,9)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),1)(4^(5,4))(4^(6,1),1)(6^(7,6))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,9)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,16)(,16,16,16,,14)(,21,21,21,21)(,22,22,22,22,,22)(,23,22,22,22,,22)(,24,21)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),2)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,8)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,15)(,16,16,16,16)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),2)(4^(5,2))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,9)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,16)(,16,16,16,16)(,21,21,21,21,,21)(,22,21,21,21,,21)(,23,16)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),2)(4^(5,2),4)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),2)(4^(5,4))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),2)(4^(5,4))(4)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,17)
(0)(1^(2,1),1)(2^(3,2))(2^(4,1),2,2)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,17,17,17,17,17)
(0)(1^(2,1),1)(2^(3,2))(2^(4,2))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,17,17,17,17,,17)(,21,17,17,17,,17)(,22,17)
(0)(1^(2,1),1)(2^(3,2))(3)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,18)
(0)(1^(2,1),1)(2^(3,2))(3,2^(4,2))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,18,17,17,17,17)(,17,17,17,17,,17)(,22,17,17,17,,17)(,23,17)
(0)(1^(2,1),1)(2^(3,2))(3,3)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,18,17,17,17,17)(,21,21)
(0)(1^(2,1),1)(2^(3,2))(3^(4,2),3)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,18,17,17,17,17)(,21,21,21,21,21,21)
(0)(1^(2,1),1)(2^(3,2))(3^(4,3))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,18,17,17,17,17)(,21,21,21,21,21,,21)(,22,21,21,21,21,,21)(,23,21)
(0)(1^(2,1),1)(2^(3,2),2)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,10,10,,10)(,12,10)(,7,7)(,14,14,,14)(,15,15,15,,14)(,16,16,16,16)(,17,17,17,17,,17)(,18,17,17,17,,17)(,19,17)(,18,17,17,17,,17)
(0)(1^(2,1),1)(2^(3,2),2)(3,3)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,1)(,7,,7)(,8,8,,7)(,9,9,9)(,10,10,10,,10)(,11,11)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5)(,,1)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4,1),1)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5,,1)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4,1),3)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5,5)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4,2))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5,5,5)(,4,4,,4)(,7,4,,4)(,8,4)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4,2),2)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5,5,5,,4)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4,2),3)	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5,5,5,,4)(,6,6,6,6)
(0)(1^(2,1),1)(2^(3,2),2)(3^(4,3))	()(,,1)(,2,,1)(,3,3)(,4,4,,4)(,5,5,5,,4)(,6,6,6,6)(,7,7,7,7,,7)(,8)(,1)(,10,,10)(,11,11,,10)(,12,12,12)(,13,13,13,,13)(,14,14,14,14,,13)(,15,15,15,15,15)(,16,16,16,16,16,,16)(,17,16,16,16,16,,16)(,18,14)
(0)(1^(2,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)
(0)(1^(2,1),1,1)(1^(3,1),1)(3^(4))	()(,,1)(,2,,1)(,3,3,,1)(,,1)(,5)(,,1)
(0)(1^(2,1),1,1)(1^(3,1),1)(3^(4,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,,1)(,5,,1)
(0)(1^(2,1),1,1)(1^(3,1),1)(3^(4,1),3)	()(,,1)(,2,,1)(,3,3,,1)(,,1)(,5,,1)(,6,6)
(0)(1^(2,1),1,1)(1^(3,1),1)(3^(4,3),3,3)	()(,,1)(,2,,1)(,3,3,,1)(,,1)(,5,,1)(,6,6)(,7,7,,7)(,8,8,8,,7)(,9,9,9,9,,7)
(0)(1^(2,1),1,1)(1^(3,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,,1)(,5,,1)(,6,6,,1)
(0)(1^(2,1),1,1)(2)	()(,,1)(,2,,1)(,3,3,,1)(,2)
(0)(1^(2,1),1,1)(2,1^(3,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,2)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,7,,6)
(0)(1^(2,1),1,1)(2,1^(3,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,2)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,7,,6)(,10,10,,6)(,11,11,11,,6)
(0)(1^(2,1),1,1)(2,2)	()(,,1)(,2,,1)(,3,3,,1)(,2)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,7,7)
(0)(1^(2,1),1,1)(2^(3))	()(,,1)(,2,,1)(,3,3,,1)(,2)(,,1)
(0)(1^(2,1),1,1)(2^(3,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3)(4)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3)(4^(5,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,,1)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3)(4^(5,1),3)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,5)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3)(4^(5,1),4)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3,3)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,6)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3^(4))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1),3^(4,1))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,9)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1^(5)))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,9)(,9,,9)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1^(5,1),1))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,,9)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,1^(5,1),1,1))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,,9)(,17,17,,9)(,18,18,18,,9)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,2))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,10)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,2^(5,1),1))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,10,,9)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)(,9,9)(,18,18,,18)(,19,19,19,,18)(,20,20,20,20,,18)(,19,19,19,,18)(,22,22,22,22)(,23,23,23,23,,23)(,24,23,23,23,,23)(,25,22)(,24)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4,3^(5,3))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)(,9,9)(,18,18,,18)(,19,19,19,,18)(,20,20,20,20,,18)(,19,19,19,,18)(,22,22,22,22)(,23,23,23,23,,23)(,24,23,23,23,,23)(,25,22)(,24,23,23,23,23)(,23,23,23,23,,23)(,28,23,23,23,,23)(,29,22)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4,4)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)(,9,9)(,18,18,,18)(,19,19,19,,18)(,20,20,20,20,,18)(,19,19,19,,18)(,22,22,22,22)(,23,23,23,23,,23)(,24,23,23,23,,23)(,25,22)(,24,23,23,23,23)(,27,27)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4^(5,3),4)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)(,9,9)(,18,18,,18)(,19,19,19,,18)(,20,20,20,20,,18)(,19,19,19,,18)(,22,22,22,22)(,23,23,23,23,,23)(,24,23,23,23,,23)(,25,22)(,24,23,23,23,23)(,27,27,27,27,27,27)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4^(5,3),4^(5,3))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)(,9,9)(,18,18,,18)(,19,19,19,,18)(,20,20,20,20,,18)(,19,19,19,,18)(,22,22,22,22)(,23,23,23,23,,23)(,24,23,23,23,,23)(,25,22)(,24,23,23,23,23)(,27,27,27,27,27,,27)(,28,27,27,27,27,,27)(,29,22)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4^(5,3)(5))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,13)(,9,9)(,18,18,,18)(,19,19,19,,18)(,20,20,20,20,,18)(,19,19,19,,18)(,22,22,22,22)(,23,23,23,23,,23)(,24,23,23,23,,23)(,25,22)(,24,23,23,23,,23)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3))(4^(5,4))	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3),3)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7)(,1)(,9,,9)(,10,10,,9)(,11,11,11,,9)(,10,10,,9)(,13,13,13)(,14,14,14,,14)(,15,14,14,,14)(,16,14)(,15,14,14,,14)
(0)(1^(2,1),1,1)(2^(3,1),1)(3^(4,3),3,3)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5)(,6,6,,6)(,7,7,7,,6)(,8,8,8,8,,6)(,7,7,7,,6)
(0)(1^(2,1),1,1)(2^(3,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,2,,1)(,5,5,,1)
(0)(1^(2,1),1,1)(2^(3,1),1,1)(3)	()(,,1)(,2,,1)(,3,3,,1)(,3)
(0)(1^(2,1),1,1)(2^(3,1),1,1)(3^(4,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,3,,1)(,5,5,,1)
(0)(1^(2,1),1,1)(2^(3,1),2)	()(,,1)(,2,,1)(,3,3,,1)(,3,3)
(0)(1^(2,1),1,1)(2^(3,1),2)(3^(4,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3)(,5,,1)
(0)(1^(2,1),1,1)(2^(3,1),2)(3^(4,1),2)	()(,,1)(,2,,1)(,3,3,,1)(,3,3)(,5,3)
(0)(1^(2,1),1,1)(2^(3,1),2)(3^(4,1),3)	()(,,1)(,2,,1)(,3,3,,1)(,3,3)(,5,5)
(0)(1^(2,1),1,1)(2^(3,1),2)(3^(4,3))	()(,,1)(,2,,1)(,3,3,,1)(,3,3)(,5,5,,5)(,6,5,,5)(,7,5)
(0)(1^(2,1),1,1)(2^(3,1),2)(3^(4,3),3)(4^(5,3),3)	()(,,1)(,2,,1)(,3,3,,1)(,3,3)(,5,5,,5)(,6,6,6,,5)
(0)(1^(2,1),1,1)(2^(3,1),2)(3^(4,3),3,3)	()(,,1)(,2,,1)(,3,3,,1)(,3,3)(,5,5,,5)(,6,6,6,,5)(,7,7,7,7,,5)
(0)(1^(2,1),1,1)(2^(3,1),2,1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,2,,1)(,3,3,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),1,1)(4^(5,1),4,1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,2,,1)(,3,3,,1)(,3,3,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),1,1)(4^(5,1),4,1)(4)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,3)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),1,1)(4^(5,1),4,1)(4^(6,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,3,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),1,1)(4^(5,1),4,1)(4^(6,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,3,,1)(,6,6,,1)(,6,6,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),2)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,3,3)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(2^(4,1),2,1)	()(,,1)(,2,,1)(,3,3,,1)(,3,3,,1)(,3,3,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3)	()(,,1)(,2,,1)(,3,3,,1)(,4)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,1^(4,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,1^(4,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,,6)(,10,10,,6)(,11,11,11,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,7)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,7,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,7,,6)(,10,10,10,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),1,1)(4^(5,1),4,1)(5,4)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,8)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),1,1)(4^(5,1),4,1)(5,4^(6,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,8,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),1,1)(4^(5,1),4,1)(5,4^(6,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,8,,6)(,10,10,10,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),2)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,8,8)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,2^(4,1),2,1)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,8,8,,6)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3,3)	()(,,1)(,2,,1)(,3,3,,1)(,4)(,1)(,6,,6)(,7,7,,6)(,8,8,8,,6)(,9,9)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4))	()(,,1)(,2,,1)(,3,3,,1)(,4)(,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4,1),1)	()(,,1)(,2,,1)(,3,3,,1)(,4,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4,1),1,1)	()(,,1)(,2,,1)(,3,3,,1)(,4,,1)(,5,5,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4,1),2)	()(,,1)(,2,,1)(,3,3,,1)(,4,3)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4,1),2,1)	()(,,1)(,2,,1)(,3,3,,1)(,4,3,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4,1),3)	()(,,1)(,2,,1)(,3,3,,1)(,4,4)
(0)(1^(2,1),1,1)(2^(3,1),2,1)(3^(4,1),3,1)	()(,,1)(,2,,1)(,3,3,,1)(,4,4,,1)
(0)(1^(2,1),1,1)(2^(3,1),2,2)	()(,,1)(,2,,1)(,3,3,,1)(,4,4,4)
(0)(1^(2,1),1,1)(2^(3,2))	()(,,1)(,2,,1)(,3,3,,1)(,4,4,4)(,5,5,5,,5)(,6)(,1)(,8,,8)(,9,9,,8)(,10,10,10,,8)(,11,11,11,11)(,12,12,12,12,,12)(,13,12,12,12,,12)(,14,12)
(0)(1^(2,1),1,1)(2^(3,2),2)(3^(4))	()(,,1)(,2,,1)(,3,3,,1)(,4,4,4)(,5,5,5,,5)(,6)(,,1)
(0)(1^(2,1),1,1)(2^(3,2),2)(3^(4,2),2)	()(,,1)(,2,,1)(,3,3,,1)(,4,4,4)(,5,5,5,,5)(,6,6,6,6,,5)
(0)(1^(2,1),1,1)(2^(3,2),2,2)	()(,,1)(,2,,1)(,3,3,,1)(,4,4,4)(,5,5,5,,5)(,6,6,6,6,,5)(,7,7,7,7,7,,5)
(0)(1^(2,1),1,1,1)	()(,,1)(,2,,1)(,3,3,,1)(,4,4,4,,1)
(0)(1^(2,1),1^(2))	()(,,1)(,,2)
(0)(1^(2,1),1^(2))(2)	()(,,1)(,,2)(,2)
(0)(1^(2,1),1^(2))(2,1)	()(,,1)(,,2)(,2)(,1)(,5,,5)(,6,,6)(,6,5)
(0)(1^(2,1),1^(2))(2,1^(3,1))(3^(4,3),3^(4))	()(,,1)(,,2)(,2)(,1)(,5,,5)(,6,,6)(,6,5)(,8,8,,8)(,9,9,,9)
(0)(1^(2,1),1^(2))(2,1^(3,1),1)	()(,,1)(,,2)(,2)(,1)(,5,,5)(,6,,6)(,6,,5)
(0)(1^(2,1),1^(2))(2,1^(3,1),1^(3))	()(,,1)(,,2)(,2)(,1)(,5,,5)(,6,,6)(,6,,5)(,8,,8)
(0)(1^(2,1),1^(2))(2,2)	()(,,1)(,,2)(,2)(,1)(,5,,5)(,6,,6)(,6,6)
(0)(1^(2,1),1^(2))(2^(3))	()(,,1)(,,2)(,2)(,,1)
(0)(1^(2,1),1^(2))(2^(3,1),1)	()(,,1)(,,2)(,2,,1)
(0)(1^(2,1),1^(2))(2^(3,1),1,1)	()(,,1)(,,2)(,2,,1)(,4,4,,1)
(0)(1^(2,1),1^(2))(2^(3,1),1^(3))	()(,,1)(,,2)(,2,,1)(,4,,4)
(0)(1^(2,1),1^(2))(2^(3,1),2)	()(,,1)(,,2)(,2,,1)(,4,,4)(,4,4)
(0)(1^(2,1),1^(2))(2^(3,1),2,1)	()(,,1)(,,2)(,2,,1)(,4,,4)(,4,4,,1)
(0)(1^(2,1),1^(2))(2^(3,1),2,1^(3))	()(,,1)(,,2)(,2,,1)(,4,,4)(,4,4,,1)(,6,6,,6)
(0)(1^(2,1),1^(2))(2^(3,1),2,2)	()(,,1)(,,2)(,2,,1)(,4,,4)(,4,4,,1)(,6,6,,6)(,6,6,6)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))	()(,,1)(,,2)(,,2)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3)	()(,,1)(,,2)(,3)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,5)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,1^(4,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,5)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,1^(4,1),1^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,5)(,8,,8)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,1^(4,1),1^(4))(4^(5,1),4^(5))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,5)(,8,,8)(,8,,8)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,5,,5)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4,1))(1^(5,1),1^(5))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,5,,5)(,9,,9)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,6,6,,5)(,9,9,,9)(,10,9,,5)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4,1),1^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,6,6,,5)(,9,9,,9)(,10,9,,5)(,11,11,,11)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4,1),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,6,6,,5)(,9,9,,9)(,10,9,9)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4,1),2,2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,6,6,,5)(,9,9,,9)(,10,9,9)(,9,9,9,,5)(,12,12,12,,12)(,13,12,12,12)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3,2^(4,1),2^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,6,,6)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3))(3^(4,1),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8)(,6,,6)
(0)(1^(2,1),1^(2))(2^(3,1),2^(3),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,8)
(0)(1^(2,1),1^(2))(2^(3,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,,8)(,9,8,,8)(,10,6)
(0)(1^(2,1),1^(2))(2^(3,2),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,,8)(,9,8,,8)(,10,8)(,9,8,,8)
(0)(1^(2,1),1^(2))(2^(3,2),2,2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,,8)(,9,9,9,,8)(,10,10,10,10,,8)
(0)(1^(2,1),1^(2))(2^(3,2),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,,8)(,9,9,,9)
(0)(1^(2,1),1^(2))(2^(3,2),2^(3))(3^(4,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,,8)(,9,9,,9)(,10,9,9)(,11,11,11,,11)(,12,11,11,,11)(,13,9)
(0)(1^(2,1),1^(2))(2^(3,2),2^(3))(3^(4,3),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6)(,8,8,,8)(,9,9,,9)(,10,9,9)(,11,11,11,,11)(,12,12,12,,12)
(0)(1^(2,1),1^(2),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(9)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3,2^(4,1),2^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6)(,6,,6)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3^(4,1),3^(4),3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6)(,10,10,10)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3^(4,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6)(,10,10,,10)(,11,10,,10)(,12,6)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3^(4,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6)(,10,10,,10)(,11,10,,10)(,12,10)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3^(4,3),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6)(,10,10,,10)(,11,11,,11)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3))(3^(4,3),3^(4),3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6)(,10,10,,10)(,11,11,,11)(,12,11,11,,10)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,6,,6)(,9,6,,5)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,7)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3,1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,7,5)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3,2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,7,6)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3,2^(4,1),2^(4),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,7,6,,5)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3,2^(4,1),2^(4),1)(4)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3,3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3^(4,1),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8)(,6,,6)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),1)(3^(4,1),3^(4),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,5)
(0)(1^(2,1),1^(2),1)(2^(3,1),2^(3),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,8)
(0)(1^(2,1),1^(2),1)(2^(3,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,8)(,9,9,9,,9)(,10,9,9,,9)(,11,6)
(0)(1^(2,1),1^(2),1)(2^(3,2),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,8)(,9,9,9,,9)(,10,10,10,,10)
(0)(1^(2,1),1^(2),1)(2^(3,2),2^(3),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,8)(,9,9,9,,9)(,10,10,10,,10)(,11,10,10,10,,9)
(0)(1^(2,1),1^(2),1,1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,8,,5)
(0)(1^(2,1),1^(2),1^(2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)
(0)(1^(2,1),1^(2),1^(2))(2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6)
(0)(1^(2,1),1^(2),1^(2))(2,1^(3,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,5)
(0)(1^(2,1),1^(2),1^(2))(2,1^(3,1),1^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,5)(,10,,10)
(0)(1^(2,1),1^(2),1^(2))(2,1^(3,1),1^(3),1^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,5)(,10,,10)(,11,10,,5)(,12,12,,12)
(0)(1^(2,1),1^(2),1^(2))(2,2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,6)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,6,,5)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3))(3,2^(4,1),2^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6)(,6,,6)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3))(3^(4,1),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6)(,11,11)(,6,,6)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3))(3^(4,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6)(,11,11,,11)(,12,11,,11)(,13,11)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3))(3^(4,3),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6)(,11,11,,11)(,12,12,,12)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3))(3^(4,3),3^(4),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6)(,11,11,,11)(,12,12,,12)(,13,12,12,,11)(,14,14,14,,14)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6,,5)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,6,,6)(,10,6,,5)(,11,11,,11)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,7)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3,2^(4,1),2^(4),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,7,6,,5)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3,2^(4,1),2^(4),1^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,7,6,,5)(,10,10,,10)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3,2^(4,1),2^(4),1^(4))(4)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3,3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3^(4,1),3^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8)(,6,,6)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3^(4,1),3^(4))(2^(5,1),2^(5),1^(5))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8)(,6,,6)(,11,6,,5)(,12,12,,12)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3^(4,1),3^(4))(2^(5,1),2^(5),1^(5))(5^(6,1),5^(6))
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3^(4,1),3^(4))(4^(5,4),4^(5),4^(5))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8)(,10,10,,10)(,11,11,,11)(,12,11,11,,10)(,13,13,13,,13)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3^(4,1),3^(4),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,,5)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),1^(3))(3^(4,1),3^(4),1^(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,,5)(,10,10,,10)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,8)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),2,1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,8,,5)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),2,1^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,8,,5)(,10,10,10,,10)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),2,2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,8,,5)(,10,10,10,,10)(,10,10,10,10)
(0)(1^(2,1),1^(2),1^(2))(2^(3,1),2^(3),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,8,8,,8)
(0)(1^(2,1),1^(2),1^(2))(2^(3,2),2^(3),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,9,8)(,10,10,,10)(,11,11,,11)(,12,11,11,,10)(,13,13,13,,13)
(0)(1^(2,1),1^(2),1^(2),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,6,,5)(,8,8,,8)(,9,8,,5)
(0)(1^(2,1),1^(2)(2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)
(0)(1^(2,1),1^(2,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(8,5)
(0)(1^(2,1),1^(2,1))(2)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3))(3)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,11,11,,11)(,15,11,11,,10)(,16,16,16,,16)(,17,16,16,,16)(,18,10)(,16,16,16,,16)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,11,11,,11)(,15,11,,11)(,16,5)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3,1))(3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3,1))(3,2^(4,1),2^(4,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,11,11,,11)(,16,11,,11)(,17,10)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3,1))(3,3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,15,15)
(0)(1^(2,1),1^(2,1))(2^(3,1),2^(3,1),2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,15,15,15,15)
(0)(1^(2,1),1^(2,1))(2^(3,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,15,15,15,,15)(,16,15,15,,15)(,17,15)
(0)(1^(2,1),1^(2,1))(2^(3,2),2^(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,15,15,15,,15)(,16,16,16,,16)
(0)(1^(2,1),1^(2,1))(2^(3,2),2^(3,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,15,15,15,,15)(,16,16,16,,16)(,17,16,16,,16)(,18,5)
(0)(1^(2,1),1^(2,1))(2^(3,2),2^(3,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11)(,15,15,15,,15)(,16,16,16,,16)(,17,16,16,,16)(,18,15)
(0)(1^(2,1),1^(2,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11,,10)
(0)(1^(2,1),1^(2,1),1^(2,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,11,,10)(,15,15,15,,15)(,16,15,15,,15)(,17,10)
(0)(1^(2,1)(2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,,11)
(0)(1^(2,1)(2,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,12,11,,11)(,15,10)
(0)(1^(2,1)(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,13)
(0)(1^(2,1)(3,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,13,5)
(0)(1^(2,1)(3,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,14,14)
(0)(1^(2,1)(3^(4)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,14,14,,14)
(0)(1^(2,1)(3^(4,3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10)(,14,14,,14)(,15,15,,15)(,16,15,,15)(,17,14)
(0)(1^(2,1,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,5)(,10,10,,10)(,11,11,,11)(,12,11,,11)(,13,10,10)
(0)(1^(2,1^(3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)
(0)(1^(2,1^(3,1)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)
(0)(1^(2,1^(3,1)))(1^(3,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13)(,13,13,,13)(,18,13,,13)(,19,13)(,18,13,,13)
(0)(1^(2,1^(3,1)))(2)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13)(,14)
(0)(1^(2,1^(3,1)))(2^(3,1^(4,1)))
(0)(1^(2,1^(3,1)))(2^(3,1^(4,1)))(3)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13)(,15)
(0)(1^(2,1^(3,1)),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13)(,15,14,14,,13)
(0)(1^(2,1^(3,1))(2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13)(,15,14,,14)
(0)(1^(2,1^(3,1))(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13)(,16)
(0)(1^(2,1^(3,1))(3,1,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13,13)
(0)(1^(2,1^(3,1))(3,1^(4)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13,13)(,13,13,,13)
(0)(1^(2,1^(3,1))(3,1^(4,1)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,5)(,13,13,,13)(,14,14,,14)(,15,14,,14)(,16,13,13)(,13,13,,13)(,18,13,,13)(,19,5)
(0)(1^(2,1^(3,1))(3,1^(4,1)))(1^(3,1),1)	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,5,,5)(,10,,5)(,11,5)(,10,,5)
(0)(1^(2,1^(3,1))(3,1^(4,1)))(2,1^(3,1),1)
(0)(1^(2,1^(3,1))(3,1^(4,1))(2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,7,,6)
(0)(1^(2,1^(3,1))(3,1^(4,1))(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,8)
(0)(1^(2,1^(3,1))(3,1^(4,1))(4))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,9)
(0)(1^(2,1^(3,1))(3,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,9,9)
(0)(1^(2,1^(3,1))(3^(4,3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,9,9,,9)(,10,9,,9)(,11,9)
(0)(1^(2,1^(3,1))(3^(4,3^(5,3))))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,5)(,9,9,,9)(,10,10,,10)(,11,10,,10)(,12,9)
(0)(1^(2,1^(3,1),1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,5)
(0)(1^(2,1^(3,1),1^(3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,5)(,9,,9)
(0)(1^(2,1^(3,1),1^(3,1)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,5)(,9,,9)(,10,,9)(,11,5)
(0)(1^(2,1^(3,1^(4))))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,5)(,9,,9)(,10,,9)(,11,5)(,5,,5)
(0)(1^(2,1^(3,1^(4,1))))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,5)(,9,,9)(,10,,9)(,11,5)(,5,,5)(,13,,5)(,14,5)
(0)(1^(2,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)
(0)(1^(2^(3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,5,,5)
(0)(1^(2^(3,1)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,5,,5)(,10,,5)(,11,5)
(0)(1^(2^(3,1))(2^(4)))
(0)(1^(2^(3,1),1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,6,6,,5)(,10,10,,10)(,11,10,,10)(,12,10,,5)
(0)(1^(2^(3,1),2^(3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,6,,6)
(0)(1^(2^(3,2)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,6,,6)(,10,,6)(,11,6)
(0)(1^(2^(3,2))(2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,7,,6)
(0)(1^(2^(3,2))(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,8)
(0)(1^(2^(3,2))(3,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,8,5)
(0)(1^(2^(3,2))(3,2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,8,6)
(0)(1^(2^(3,2))(3,2^(4,2)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,8,6)(,6,,6)(,11,,6)(,12,6)
(0)(1^(2^(3,2))(3,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6)(,9,9)
(0)(1^(2^(3,2),1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)
(0)(1^(2^(3,2),1)(3,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)(,9,9)
(0)(1^(2^(3,2),1)(3^(4,2),3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)(,9,9,9)
(0)(1^(2^(3,2),1)(3^(4,2),3,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)(,9,9,9)(,10,10,10,10)
(0)(1^(2^(3,2),1,1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)(,9,9,9,,5)
(0)(1^(2^(3,2),1^(3)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)(,9,9,,9)
(0)(1^(2^(3,2),1^(3^(4,3),1)))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,6,,5)(,9,9,,9)(,10,9,,9)(,11,9,9,,5)
(0)(1^(2^(3,2),2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,6)
(0)(1^(2^(3,2),2)(3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,6)(,8)
(0)(1^(2^(3,2),2)(3,2^(4,2),1))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,6)(,8,6,,5)
(0)(1^(2^(3,2),2)(3,2^(4,2),2))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,,6)(,8,,6)(,8,,6)
(0)(1^(2^(3,2),2)(3,3))	()(,,1)(,,2)(,3)(,1)(,5,,5)(,6,,6)(,7,7)
(0)(1^(2^(3,2),2)(3^(4)))	()(,,1)(,,2)(,3)(,,1)
(0)(1^(2^(3,2),2)(3^(4,1),3^(4)))	()(,,1)(,,2)(,3)(,,2)
(0)(1^(2^(3,2),2)(3^(4,2)))	()(,,1)(,,2)(,3)(,,2)(,5)(,1)(,7,,7)(,8,,8)(,9,9)(,8,,8)(,11,,8)(,12,8)
(0)(1^(2^(3,2),2)(3^(4,2),1))	()(,,1)(,,2)(,3,,1)
(0)(1^(2^(3,2),2)(3^(4,2),2))	()(,,1)(,,2)(,3,,2)
(0)(1^(2^(3,2),2)(3^(4,2),3))	()(,,1)(,,2)(,3,,2)(,4,4)
(0)(1^(2^(3,2),2)(3^(4,2),3^(4)))
(0)(1^(2^(3,2),2,1))	()(,,1)(,,2)(,3,,2)(,4,4,,1)
(0)(1^(2^(3,2),2,2))	()(,,1)(,,2)(,3,,2)(,4,4,,2)
(0)(1^(2^(3,2),2^(3)))	()(,,1)(,,2)(,,3)
(0)(1^(2^(3^(4))))	()(,,1)(,,2)(,,3)(,4)(,1)(,6,,6)(,7,,7)(,8,,8)(,9,,8)(,10,8)(,6,,6)
Limit	()(,,1)(,,2,2)