/* Yellow words agreeing with Identity only in 8,9,10,11,12 positions. Only those 1161 words having |w| >= 6 listed. Of these 1065 have |w| = 6 and 96 have |w| = 7, and none have |w| >= 8. Also there are 78125 = 5^7 such words having |w| = 5. */ // Standard copy of M12. G:=PermutationGroup<12|(1,2,3,4,5,6,7,8,9,10,11),(3,4)(2,10)(6,7)(5,9),(11,12)(1,10)(2,5)(3,7)(4,8)(6,9)>; M12:=G; SS:=[ \[2,6,2,2,2,2,2,8,9,10,11,12], \[2,8,2,2,8,8,2,8,9,10,11,12], \[2,8,8,5,8,8,8,8,9,10,11,12], \[2,8,8,9,9,8,9,8,9,10,11,12], \[2,8,8,10,8,10,10,8,9,10,11,12], \[2,9,9,9,9,1,9,8,9,10,11,12], \[2,10,2,10,2,10,2,8,9,10,11,12], \[2,10,4,10,10,10,10,8,9,10,11,12], \[2,10,9,9,9,10,10,8,9,10,11,12], \[2,10,11,10,11,11,10,8,9,10,11,12], \[2,11,9,9,11,11,9,8,9,10,11,12], \[2,11,11,2,2,11,2,8,9,10,11,12], \[2,11,11,11,11,11,3,8,9,10,11,12], \[2,11,11,12,11,12,12,8,9,10,11,12], \[2,12,2,2,2,12,12,8,9,10,11,12], \[2,12,8,12,8,8,12,8,9,10,11,12], \[2,12,9,12,9,12,9,8,9,10,11,12], \[2,12,12,12,7,12,12,8,9,10,11,12], \[3,3,6,3,3,3,3,8,9,10,11,12], \[3,3,8,8,3,8,3,8,9,10,11,12], \[3,3,9,3,9,9,3,8,9,10,11,12], \[3,3,10,3,3,10,10,8,9,10,11,12], \[3,4,8,8,8,8,8,8,9,10,11,12], \[3,9,9,9,9,9,5,8,9,10,11,12], \[3,10,9,9,9,10,10,8,9,10,11,12], \[3,10,10,7,10,10,10,8,9,10,11,12], \[3,10,10,8,8,8,10,8,9,10,11,12], \[3,10,10,12,12,10,12,8,9,10,11,12], \[3,11,8,8,8,11,11,8,9,10,11,12], \[3,11,11,3,3,11,3,8,9,10,11,12], \[3,11,11,9,9,9,11,8,9,10,11,12], \[3,11,11,11,2,11,11,8,9,10,11,12], \[3,12,8,12,8,8,12,8,9,10,11,12], \[3,12,9,9,12,9,12,8,9,10,11,12], \[3,12,11,12,12,11,11,8,9,10,11,12], \[3,12,12,12,12,1,12,8,9,10,11,12], \[4,4,4,6,4,4,4,8,9,10,11,12], \[4,4,4,9,4,9,9,8,9,10,11,12], \[4,4,4,12,12,12,4,8,9,10,11,12], \[4,4,8,8,4,8,4,8,9,10,11,12], \[4,5,12,12,12,12,12,8,9,10,11,12], \[4,8,8,8,3,8,8,8,9,10,11,12], \[4,8,8,8,12,12,12,8,9,10,11,12], \[4,8,8,9,9,8,9,8,9,10,11,12], \[4,8,11,8,11,8,11,8,9,10,11,12], \[4,9,7,9,9,9,9,8,9,10,11,12], \[4,10,4,10,4,10,4,8,9,10,11,12], \[4,10,10,10,9,9,9,8,9,10,11,12], \[4,10,10,10,10,10,2,8,9,10,11,12], \[4,10,10,12,12,10,12,8,9,10,11,12], \[4,11,10,10,11,10,11,8,9,10,11,12], \[4,11,11,9,9,9,11,8,9,10,11,12], \[4,11,11,11,11,1,11,8,9,10,11,12], \[4,11,11,12,11,12,12,8,9,10,11,12], \[5,5,5,5,6,5,5,8,9,10,11,12], \[5,5,5,5,11,11,11,8,9,10,11,12], \[5,5,5,12,12,12,5,8,9,10,11,12], \[5,5,9,5,9,9,5,8,9,10,11,12], \[5,7,11,11,11,11,11,8,9,10,11,12], \[5,8,2,8,8,8,8,8,9,10,11,12], \[5,8,5,5,8,8,5,8,9,10,11,12], \[5,8,9,8,8,9,9,8,9,10,11,12], \[5,8,11,8,11,8,11,8,9,10,11,12], \[5,9,9,3,9,9,9,8,9,10,11,12], \[5,10,10,8,8,8,10,8,9,10,11,12], \[5,10,10,10,9,9,9,8,9,10,11,12], \[5,10,10,10,10,1,10,8,9,10,11,12], \[5,10,11,10,11,11,10,8,9,10,11,12], \[5,12,9,12,9,12,9,8,9,10,11,12], \[5,12,10,10,12,12,10,8,9,10,11,12], \[5,12,11,12,12,11,11,8,9,10,11,12], \[5,12,12,12,12,12,4,8,9,10,11,12], \[6,1,1,1,1,1,1,8,9,10,11,12], \[6,6,6,6,6,8,6,8,9,10,11,12], \[6,6,6,6,6,9,6,8,9,10,11,12], \[6,6,6,6,6,10,6,8,9,10,11,12], \[6,6,6,6,6,11,6,8,9,10,11,12], \[6,6,6,6,6,12,6,8,9,10,11,12], \[6,6,6,6,11,11,11,8,9,10,11,12], \[6,6,6,9,6,9,9,8,9,10,11,12], \[6,6,6,9,12,10,11,8,9,10,11,12], \[6,6,6,12,11,8,9,8,9,10,11,12], \[6,6,6,12,12,12,6,8,9,10,11,12], \[6,6,8,8,6,8,6,8,9,10,11,12], \[6,6,8,8,12,11,10,8,9,10,11,12], \[6,6,8,9,6,11,10,8,9,10,11,12], \[6,6,8,9,9,10,11,8,9,10,11,12], \[6,6,8,9,12,10,10,8,9,10,11,12], \[6,6,8,9,12,10,11,8,9,10,11,12], \[6,6,8,9,12,11,10,8,9,10,11,12], \[6,6,8,9,12,11,11,8,9,10,11,12], \[6,6,8,12,9,8,11,8,9,10,11,12], \[6,6,8,12,9,10,6,8,9,10,11,12], \[6,6,8,12,9,10,11,8,9,10,11,12], \[6,6,8,12,12,10,11,8,9,10,11,12], \[6,6,9,6,9,9,6,8,9,10,11,12], \[6,6,9,6,11,12,10,8,9,10,11,12], \[6,6,9,8,11,11,10,8,9,10,11,12], \[6,6,9,8,11,12,9,8,9,10,11,12], \[6,6,9,8,11,12,10,8,9,10,11,12], \[6,6,9,8,12,11,6,8,9,10,11,12], \[6,6,9,8,12,11,10,8,9,10,11,12], \[6,6,9,8,12,12,10,8,9,10,11,12], \[6,6,9,9,9,9,9,8,9,10,11,12], \[6,6,9,9,12,11,10,8,9,10,11,12], \[6,6,10,6,6,10,10,8,9,10,11,12], \[6,6,10,6,9,8,11,8,9,10,11,12], \[6,6,10,8,6,12,9,8,9,10,11,12], \[6,6,10,8,11,8,9,8,9,10,11,12], \[6,6,10,8,11,12,9,8,9,10,11,12], \[6,6,10,8,11,12,10,8,9,10,11,12], \[6,6,10,12,9,8,9,8,9,10,11,12], \[6,6,10,12,9,8,11,8,9,10,11,12], \[6,6,10,12,9,10,11,8,9,10,11,12], \[6,6,10,12,11,8,9,8,9,10,11,12], \[6,6,10,12,11,8,11,8,9,10,11,12], \[6,6,10,12,11,12,9,8,9,10,11,12], \[6,8,6,6,8,8,6,8,9,10,11,12], \[6,8,6,6,11,10,12,8,9,10,11,12], \[6,8,6,9,11,8,12,8,9,10,11,12], \[6,8,6,9,11,10,11,8,9,10,11,12], \[6,8,6,9,11,10,12,8,9,10,11,12], \[6,8,6,9,12,9,11,8,9,10,11,12], \[6,8,6,9,12,10,11,8,9,10,11,12], \[6,8,6,9,12,10,12,8,9,10,11,12], \[6,8,6,10,8,9,11,8,9,10,11,12], \[6,8,6,10,12,9,6,8,9,10,11,12], \[6,8,6,10,12,9,11,8,9,10,11,12], \[6,8,6,10,12,10,11,8,9,10,11,12], \[6,8,8,8,8,8,6,8,9,10,11,12], \[6,8,8,8,8,8,9,8,9,10,11,12], \[6,8,8,8,8,8,10,8,9,10,11,12], \[6,8,8,8,8,8,11,8,9,10,11,12], \[6,8,8,8,8,8,12,8,9,10,11,12], \[6,8,8,8,12,12,12,8,9,10,11,12], \[6,8,8,9,9,8,9,8,9,10,11,12], \[6,8,8,9,12,10,11,8,9,10,11,12], \[6,8,8,10,8,10,10,8,9,10,11,12], \[6,8,8,10,9,12,6,8,9,10,11,12], \[6,8,9,6,8,10,12,8,9,10,11,12], \[6,8,9,6,9,12,10,8,9,10,11,12], \[6,8,9,6,11,10,10,8,9,10,11,12], \[6,8,9,6,11,10,12,8,9,10,11,12], \[6,8,9,6,11,12,10,8,9,10,11,12], \[6,8,9,6,11,12,12,8,9,10,11,12], \[6,8,9,8,8,9,9,8,9,10,11,12], \[6,8,9,8,11,12,10,8,9,10,11,12], \[6,8,9,9,9,9,9,8,9,10,11,12], \[6,8,9,9,11,10,12,8,9,10,11,12], \[6,8,11,6,9,8,10,8,9,10,11,12], \[6,8,11,6,9,12,6,8,9,10,11,12], \[6,8,11,6,9,12,10,8,9,10,11,12], \[6,8,11,6,11,12,10,8,9,10,11,12], \[6,8,11,8,11,8,11,8,9,10,11,12], \[6,8,11,8,12,9,6,8,9,10,11,12], \[6,8,11,10,9,9,6,8,9,10,11,12], \[6,8,11,10,9,12,6,8,9,10,11,12], \[6,8,11,10,9,12,10,8,9,10,11,12], \[6,8,11,10,12,9,6,8,9,10,11,12], \[6,8,11,10,12,9,11,8,9,10,11,12], \[6,8,11,10,12,12,6,8,9,10,11,12], \[6,10,6,9,6,8,12,8,9,10,11,12], \[6,10,6,9,11,8,9,8,9,10,11,12], \[6,10,6,9,11,8,12,8,9,10,11,12], \[6,10,6,9,11,10,12,8,9,10,11,12], \[6,10,6,10,6,10,6,8,9,10,11,12], \[6,10,6,10,8,11,9,8,9,10,11,12], \[6,10,6,12,8,8,9,8,9,10,11,12], \[6,10,6,12,8,11,6,8,9,10,11,12], \[6,10,6,12,8,11,9,8,9,10,11,12], \[6,10,6,12,11,8,9,8,9,10,11,12], \[6,10,6,12,11,8,12,8,9,10,11,12], \[6,10,6,12,11,11,9,8,9,10,11,12], \[6,10,9,8,8,11,6,8,9,10,11,12], \[6,10,9,8,12,9,6,8,9,10,11,12], \[6,10,9,8,12,11,6,8,9,10,11,12], \[6,10,9,8,12,11,10,8,9,10,11,12], \[6,10,9,9,9,9,9,8,9,10,11,12], \[6,10,9,9,9,10,10,8,9,10,11,12], \[6,10,9,12,8,10,6,8,9,10,11,12], \[6,10,9,12,8,11,6,8,9,10,11,12], \[6,10,9,12,8,11,9,8,9,10,11,12], \[6,10,9,12,12,11,6,8,9,10,11,12], \[6,10,10,8,6,9,12,8,9,10,11,12], \[6,10,10,8,8,8,10,8,9,10,11,12], \[6,10,10,10,6,10,10,8,9,10,11,12], \[6,10,10,10,8,10,10,8,9,10,11,12], \[6,10,10,10,9,9,9,8,9,10,11,12], \[6,10,10,10,9,10,10,8,9,10,11,12], \[6,10,10,10,11,10,10,8,9,10,11,12], \[6,10,10,10,12,10,10,8,9,10,11,12], \[6,10,10,12,11,8,9,8,9,10,11,12], \[6,10,10,12,12,10,12,8,9,10,11,12], \[6,10,11,8,6,8,12,8,9,10,11,12], \[6,10,11,8,6,9,6,8,9,10,11,12], \[6,10,11,8,6,9,12,8,9,10,11,12], \[6,10,11,8,12,9,6,8,9,10,11,12], \[6,10,11,8,12,9,12,8,9,10,11,12], \[6,10,11,8,12,11,6,8,9,10,11,12], \[6,10,11,9,6,8,10,8,9,10,11,12], \[6,10,11,9,6,8,12,8,9,10,11,12], \[6,10,11,9,6,9,12,8,9,10,11,12], \[6,10,11,9,11,8,12,8,9,10,11,12], \[6,10,11,10,11,11,10,8,9,10,11,12], \[6,10,11,10,12,9,6,8,9,10,11,12], \[6,11,8,8,6,12,9,8,9,10,11,12], \[6,11,8,8,8,11,11,8,9,10,11,12], \[6,11,8,10,6,11,9,8,9,10,11,12], \[6,11,8,10,6,12,6,8,9,10,11,12], \[6,11,8,10,6,12,9,8,9,10,11,12], \[6,11,8,10,9,10,6,8,9,10,11,12], \[6,11,8,10,9,12,6,8,9,10,11,12], \[6,11,8,10,9,12,9,8,9,10,11,12], \[6,11,8,12,8,10,6,8,9,10,11,12], \[6,11,8,12,9,10,6,8,9,10,11,12], \[6,11,8,12,9,10,11,8,9,10,11,12], \[6,11,8,12,9,12,6,8,9,10,11,12], \[6,11,9,6,8,9,12,8,9,10,11,12], \[6,11,9,6,8,10,6,8,9,10,11,12], \[6,11,9,6,8,10,12,8,9,10,11,12], \[6,11,9,6,11,10,12,8,9,10,11,12], \[6,11,9,9,9,9,9,8,9,10,11,12], \[6,11,9,9,11,11,9,8,9,10,11,12], \[6,11,9,12,8,10,6,8,9,10,11,12], \[6,11,9,12,8,10,12,8,9,10,11,12], \[6,11,9,12,8,11,6,8,9,10,11,12], \[6,11,9,12,9,10,6,8,9,10,11,12], \[6,11,10,6,6,9,12,8,9,10,11,12], \[6,11,10,6,8,9,11,8,9,10,11,12], \[6,11,10,6,8,9,12,8,9,10,11,12], \[6,11,10,6,8,10,12,8,9,10,11,12], \[6,11,10,8,6,9,9,8,9,10,11,12], \[6,11,10,8,6,9,12,8,9,10,11,12], \[6,11,10,8,6,12,9,8,9,10,11,12], \[6,11,10,8,6,12,12,8,9,10,11,12], \[6,11,10,8,8,9,12,8,9,10,11,12], \[6,11,10,8,11,12,9,8,9,10,11,12], \[6,11,10,10,6,12,9,8,9,10,11,12], \[6,11,10,10,11,10,11,8,9,10,11,12], \[6,11,11,6,6,11,6,8,9,10,11,12], \[6,11,11,6,11,11,11,8,9,10,11,12], \[6,11,11,8,6,9,12,8,9,10,11,12], \[6,11,11,8,11,11,11,8,9,10,11,12], \[6,11,11,9,9,9,11,8,9,10,11,12], \[6,11,11,9,11,11,11,8,9,10,11,12], \[6,11,11,10,9,12,6,8,9,10,11,12], \[6,11,11,10,11,11,11,8,9,10,11,12], \[6,11,11,12,11,11,11,8,9,10,11,12], \[6,11,11,12,11,12,12,8,9,10,11,12], \[6,12,6,6,6,12,12,8,9,10,11,12], \[6,12,6,6,8,9,11,8,9,10,11,12], \[6,12,6,10,6,11,9,8,9,10,11,12], \[6,12,6,10,8,9,9,8,9,10,11,12], \[6,12,6,10,8,9,11,8,9,10,11,12], \[6,12,6,10,8,11,9,8,9,10,11,12], \[6,12,6,10,8,11,11,8,9,10,11,12], \[6,12,6,10,12,9,11,8,9,10,11,12], \[6,12,6,12,8,11,9,8,9,10,11,12], \[6,12,6,12,12,12,12,8,9,10,11,12], \[6,12,8,9,6,8,10,8,9,10,11,12], \[6,12,8,9,6,11,9,8,9,10,11,12], \[6,12,8,9,6,11,10,8,9,10,11,12], \[6,12,8,9,12,11,10,8,9,10,11,12], \[6,12,8,10,6,11,9,8,9,10,11,12], \[6,12,8,10,6,11,10,8,9,10,11,12], \[6,12,8,10,6,12,9,8,9,10,11,12], \[6,12,8,10,8,11,9,8,9,10,11,12], \[6,12,8,12,8,8,12,8,9,10,11,12], \[6,12,8,12,12,12,12,8,9,10,11,12], \[6,12,9,9,9,9,9,8,9,10,11,12], \[6,12,9,9,12,9,12,8,9,10,11,12], \[6,12,9,12,9,12,9,8,9,10,11,12], \[6,12,9,12,12,12,12,8,9,10,11,12], \[6,12,10,6,8,8,11,8,9,10,11,12], \[6,12,10,6,8,9,11,8,9,10,11,12], \[6,12,10,6,8,9,12,8,9,10,11,12], \[6,12,10,6,9,8,10,8,9,10,11,12], \[6,12,10,6,9,8,11,8,9,10,11,12], \[6,12,10,6,9,9,11,8,9,10,11,12], \[6,12,10,10,8,9,11,8,9,10,11,12], \[6,12,10,10,12,12,10,8,9,10,11,12], \[6,12,10,12,9,8,11,8,9,10,11,12], \[6,12,10,12,12,12,12,8,9,10,11,12], \[6,12,11,6,6,8,10,8,9,10,11,12], \[6,12,11,6,9,8,10,8,9,10,11,12], \[6,12,11,6,9,8,11,8,9,10,11,12], \[6,12,11,6,9,12,10,8,9,10,11,12], \[6,12,11,9,6,8,10,8,9,10,11,12], \[6,12,11,9,6,8,12,8,9,10,11,12], \[6,12,11,9,6,11,10,8,9,10,11,12], \[6,12,11,9,9,8,10,8,9,10,11,12], \[6,12,11,12,12,11,11,8,9,10,11,12], \[6,12,11,12,12,12,12,8,9,10,11,12], \[7,3,10,10,10,10,10,8,9,10,11,12], \[7,7,7,7,7,7,6,8,9,10,11,12], \[7,7,7,7,11,11,11,8,9,10,11,12], \[7,7,7,9,7,9,9,8,9,10,11,12], \[7,7,10,7,7,10,10,8,9,10,11,12], \[7,8,8,8,8,1,8,8,9,10,11,12], \[7,8,8,8,12,12,12,8,9,10,11,12], \[7,8,8,10,8,10,10,8,9,10,11,12], \[7,8,9,8,8,9,9,8,9,10,11,12], \[7,9,9,9,4,9,9,8,9,10,11,12], \[7,11,5,11,11,11,11,8,9,10,11,12], \[7,11,8,8,8,11,11,8,9,10,11,12], \[7,11,9,9,11,11,9,8,9,10,11,12], \[7,11,10,10,11,10,11,8,9,10,11,12], \[7,12,7,7,7,12,12,8,9,10,11,12], \[7,12,9,9,12,9,12,8,9,10,11,12], \[7,12,10,10,12,12,10,8,9,10,11,12], \[7,12,12,2,12,12,12,8,9,10,11,12], \[8,1,1,1,1,8,8,8,9,10,11,12], \[8,1,7,8,8,8,8,8,9,10,11,12], \[8,1,9,8,9,8,9,8,9,10,11,12], \[8,1,12,8,12,12,8,8,9,10,11,12], \[8,3,8,8,8,8,4,8,9,10,11,12], \[8,3,8,8,10,10,10,8,9,10,11,12], \[8,3,8,11,11,8,11,8,9,10,11,12], \[8,3,9,8,9,8,9,8,9,10,11,12], \[8,5,8,8,8,2,8,8,9,10,11,12], \[8,5,8,8,10,10,10,8,9,10,11,12], \[8,5,8,9,9,9,8,8,9,10,11,12], \[8,5,12,8,12,12,8,8,9,10,11,12], \[8,6,6,6,6,8,8,8,9,10,11,12], \[8,6,6,6,10,12,11,8,9,10,11,12], \[8,6,6,9,10,10,11,8,9,10,11,12], \[8,6,6,9,10,12,8,8,9,10,11,12], \[8,6,6,9,10,12,11,8,9,10,11,12], \[8,6,6,9,12,10,9,8,9,10,11,12], \[8,6,6,9,12,10,11,8,9,10,11,12], \[8,6,6,9,12,12,11,8,9,10,11,12], \[8,6,6,11,6,10,9,8,9,10,11,12], \[8,6,6,11,12,8,9,8,9,10,11,12], \[8,6,6,11,12,10,9,8,9,10,11,12], \[8,6,6,11,12,10,11,8,9,10,11,12], \[8,6,8,8,6,8,8,8,9,10,11,12], \[8,6,8,8,9,8,8,8,9,10,11,12], \[8,6,8,8,10,8,8,8,9,10,11,12], \[8,6,8,8,10,10,10,8,9,10,11,12], \[8,6,8,8,11,8,8,8,9,10,11,12], \[8,6,8,8,12,8,8,8,9,10,11,12], \[8,6,8,9,9,9,8,8,9,10,11,12], \[8,6,8,9,12,10,11,8,9,10,11,12], \[8,6,8,11,6,9,10,8,9,10,11,12], \[8,6,8,11,11,8,11,8,9,10,11,12], \[8,6,9,6,10,8,11,8,9,10,11,12], \[8,6,9,6,10,12,10,8,9,10,11,12], \[8,6,9,6,10,12,11,8,9,10,11,12], \[8,6,9,6,11,9,10,8,9,10,11,12], \[8,6,9,6,11,12,10,8,9,10,11,12], \[8,6,9,6,11,12,11,8,9,10,11,12], \[8,6,9,8,9,8,9,8,9,10,11,12], \[8,6,9,8,11,12,10,8,9,10,11,12], \[8,6,9,9,9,9,9,8,9,10,11,12], \[8,6,9,9,10,12,11,8,9,10,11,12], \[8,6,12,6,6,9,10,8,9,10,11,12], \[8,6,12,6,11,9,8,8,9,10,11,12], \[8,6,12,6,11,9,10,8,9,10,11,12], \[8,6,12,6,11,12,10,8,9,10,11,12], \[8,6,12,8,6,10,9,8,9,10,11,12], \[8,6,12,8,12,12,8,8,9,10,11,12], \[8,6,12,11,6,9,9,8,9,10,11,12], \[8,6,12,11,6,9,10,8,9,10,11,12], \[8,6,12,11,6,10,9,8,9,10,11,12], \[8,6,12,11,6,10,10,8,9,10,11,12], \[8,6,12,11,11,9,10,8,9,10,11,12], \[8,6,12,11,12,10,9,8,9,10,11,12], \[8,7,7,7,7,8,8,8,9,10,11,12], \[8,7,8,1,8,8,8,8,9,10,11,12], \[8,7,8,9,9,9,8,8,9,10,11,12], \[8,7,8,11,11,8,11,8,9,10,11,12], \[8,8,1,8,7,8,8,8,9,10,11,12], \[8,8,1,10,10,10,8,8,9,10,11,12], \[8,8,1,12,12,8,12,8,9,10,11,12], \[8,8,4,8,8,3,8,8,9,10,11,12], \[8,8,4,10,10,10,8,8,9,10,11,12], \[8,8,4,11,8,11,11,8,9,10,11,12], \[8,8,5,8,8,8,2,8,9,10,11,12], \[8,8,5,11,8,11,11,8,9,10,11,12], \[8,8,5,12,12,8,12,8,9,10,11,12], \[8,8,6,6,8,8,8,8,9,10,11,12], \[8,8,6,6,10,11,12,8,9,10,11,12], \[8,8,6,9,8,8,8,8,9,10,11,12], \[8,8,6,9,12,10,11,8,9,10,11,12], \[8,8,6,10,8,8,8,8,9,10,11,12], \[8,8,6,10,10,10,8,8,9,10,11,12], \[8,8,6,11,8,8,8,8,9,10,11,12], \[8,8,6,11,8,11,11,8,9,10,11,12], \[8,8,6,12,8,8,8,8,9,10,11,12], \[8,8,6,12,12,8,12,8,9,10,11,12], \[8,8,8,2,8,8,5,8,9,10,11,12], \[8,8,8,3,8,4,8,8,9,10,11,12], \[8,8,8,7,1,8,8,8,9,10,11,12], \[8,8,8,8,2,5,8,8,9,10,11,12], \[8,8,8,8,4,8,3,8,9,10,11,12], \[8,8,8,8,8,7,1,8,9,10,11,12], \[8,8,9,6,8,8,8,8,9,10,11,12], \[8,8,9,6,11,12,10,8,9,10,11,12], \[8,8,10,2,10,8,10,8,9,10,11,12], \[8,8,10,6,8,8,8,8,9,10,11,12], \[8,8,10,6,10,8,10,8,9,10,11,12], \[8,8,10,7,10,8,10,8,9,10,11,12], \[8,8,11,3,11,11,8,8,9,10,11,12], \[8,8,11,6,8,8,8,8,9,10,11,12], \[8,8,11,6,11,11,8,8,9,10,11,12], \[8,8,11,7,11,11,8,8,9,10,11,12], \[8,8,12,2,8,12,12,8,9,10,11,12], \[8,8,12,3,8,12,12,8,9,10,11,12], \[8,8,12,6,8,8,8,8,9,10,11,12], \[8,8,12,6,8,12,12,8,9,10,11,12], \[8,9,5,9,8,8,9,8,9,10,11,12], \[8,9,6,6,6,11,12,8,9,10,11,12], \[8,9,6,6,8,12,11,8,9,10,11,12], \[8,9,6,6,10,11,11,8,9,10,11,12], \[8,9,6,6,10,11,12,8,9,10,11,12], \[8,9,6,6,10,12,11,8,9,10,11,12], \[8,9,6,6,10,12,12,8,9,10,11,12], \[8,9,6,9,8,8,9,8,9,10,11,12], \[8,9,6,9,10,12,11,8,9,10,11,12], \[8,9,6,10,6,8,12,8,9,10,11,12], \[8,9,6,10,6,11,9,8,9,10,11,12], \[8,9,6,10,6,11,12,8,9,10,11,12], \[8,9,6,10,10,11,12,8,9,10,11,12], \[8,9,7,9,8,8,9,8,9,10,11,12], \[8,9,8,8,2,9,9,8,9,10,11,12], \[8,9,8,8,4,9,9,8,9,10,11,12], \[8,9,8,8,6,8,8,8,9,10,11,12], \[8,9,8,8,6,9,9,8,9,10,11,12], \[8,9,9,1,8,9,8,8,9,10,11,12], \[8,9,9,3,8,9,8,8,9,10,11,12], \[8,9,9,6,8,9,8,8,9,10,11,12], \[8,9,9,6,10,12,11,8,9,10,11,12], \[8,9,10,6,6,9,12,8,9,10,11,12], \[8,9,10,6,6,11,8,8,9,10,11,12], \[8,9,10,6,6,11,12,8,9,10,11,12], \[8,9,10,6,10,11,12,8,9,10,11,12], \[8,9,10,10,6,11,12,8,9,10,11,12], \[8,10,8,8,6,8,8,8,9,10,11,12], \[8,10,8,10,1,8,10,8,9,10,11,12], \[8,10,8,10,4,8,10,8,9,10,11,12], \[8,10,8,10,6,8,10,8,9,10,11,12], \[8,10,10,8,2,10,8,8,9,10,11,12], \[8,10,10,8,6,10,8,8,9,10,11,12], \[8,10,10,8,7,10,8,8,9,10,11,12], \[8,10,10,10,6,10,10,8,9,10,11,12], \[8,11,8,8,6,8,8,8,9,10,11,12], \[8,11,8,11,1,11,8,8,9,10,11,12], \[8,11,8,11,2,11,8,8,9,10,11,12], \[8,11,8,11,6,11,8,8,9,10,11,12], \[8,11,10,6,6,9,10,8,9,10,11,12], \[8,11,10,6,6,9,12,8,9,10,11,12], \[8,11,10,6,6,11,12,8,9,10,11,12], \[8,11,10,6,8,9,12,8,9,10,11,12], \[8,11,10,8,6,9,12,8,9,10,11,12], \[8,11,11,1,8,8,11,8,9,10,11,12], \[8,11,11,2,8,8,11,8,9,10,11,12], \[8,11,11,6,8,8,11,8,9,10,11,12], \[8,11,11,6,11,11,11,8,9,10,11,12], \[8,11,12,6,6,8,10,8,9,10,11,12], \[8,11,12,6,6,9,10,8,9,10,11,12], \[8,11,12,6,6,9,12,8,9,10,11,12], \[8,11,12,6,11,9,10,8,9,10,11,12], \[8,11,12,11,6,9,10,8,9,10,11,12], \[8,12,4,12,8,12,8,8,9,10,11,12], \[8,12,6,10,6,10,9,8,9,10,11,12], \[8,12,6,10,6,11,9,8,9,10,11,12], \[8,12,6,10,6,11,12,8,9,10,11,12], \[8,12,6,10,8,11,9,8,9,10,11,12], \[8,12,6,11,6,10,8,8,9,10,11,12], \[8,12,6,11,6,10,9,8,9,10,11,12], \[8,12,6,11,6,11,9,8,9,10,11,12], \[8,12,6,11,12,10,9,8,9,10,11,12], \[8,12,6,12,8,12,8,8,9,10,11,12], \[8,12,6,12,12,12,12,8,9,10,11,12], \[8,12,7,12,8,12,8,8,9,10,11,12], \[8,12,8,8,6,8,8,8,9,10,11,12], \[8,12,8,10,6,11,9,8,9,10,11,12], \[8,12,12,8,4,8,12,8,9,10,11,12], \[8,12,12,8,6,8,12,8,9,10,11,12], \[8,12,12,8,7,8,12,8,9,10,11,12], \[8,12,12,11,6,10,9,8,9,10,11,12], \[9,1,9,9,9,2,9,8,9,10,11,12], \[9,3,9,5,9,9,9,8,9,10,11,12], \[9,4,9,9,7,9,9,8,9,10,11,12], \[9,5,9,9,9,9,3,8,9,10,11,12], \[9,7,4,9,9,9,9,8,9,10,11,12], \[9,8,2,9,8,9,8,8,9,10,11,12], \[9,8,4,9,8,9,8,8,9,10,11,12], \[9,8,6,6,10,10,12,8,9,10,11,12], \[9,8,6,6,10,11,6,8,9,10,11,12], \[9,8,6,6,10,11,12,8,9,10,11,12], \[9,8,6,6,11,10,8,8,9,10,11,12], \[9,8,6,6,11,10,12,8,9,10,11,12], \[9,8,6,6,11,11,12,8,9,10,11,12], \[9,8,6,9,8,9,8,8,9,10,11,12], \[9,8,6,9,11,10,12,8,9,10,11,12], \[9,8,6,12,8,11,6,8,9,10,11,12], \[9,8,6,12,10,9,6,8,9,10,11,12], \[9,8,6,12,10,11,6,8,9,10,11,12], \[9,8,6,12,10,11,12,8,9,10,11,12], \[9,8,8,8,8,8,6,8,9,10,11,12], \[9,8,8,8,9,9,1,8,9,10,11,12], \[9,8,8,8,9,9,3,8,9,10,11,12], \[9,8,8,8,9,9,6,8,9,10,11,12], \[9,8,9,5,9,8,8,8,9,10,11,12], \[9,8,9,6,9,8,8,8,9,10,11,12], \[9,8,9,6,11,10,12,8,9,10,11,12], \[9,8,9,7,9,8,8,8,9,10,11,12], \[9,8,12,6,9,11,6,8,9,10,11,12], \[9,8,12,6,10,8,6,8,9,10,11,12], \[9,8,12,6,10,11,6,8,9,10,11,12], \[9,8,12,6,10,11,12,8,9,10,11,12], \[9,8,12,12,10,11,6,8,9,10,11,12], \[9,9,1,1,1,9,1,8,9,10,11,12], \[9,9,1,2,9,9,9,8,9,10,11,12], \[9,9,1,11,11,11,9,8,9,10,11,12], \[9,9,2,2,2,9,2,8,9,10,11,12], \[9,9,2,9,9,9,1,8,9,10,11,12], \[9,9,2,9,12,12,12,8,9,10,11,12], \[9,9,5,9,9,3,9,8,9,10,11,12], \[9,9,5,9,12,12,12,8,9,10,11,12], \[9,9,5,11,11,11,9,8,9,10,11,12], \[9,9,6,6,6,9,6,8,9,10,11,12], \[9,9,6,6,10,11,12,8,9,10,11,12], \[9,9,6,9,6,9,9,8,9,10,11,12], \[9,9,6,9,8,9,9,8,9,10,11,12], \[9,9,6,9,10,9,9,8,9,10,11,12], \[9,9,6,9,11,9,9,8,9,10,11,12], \[9,9,6,9,12,9,9,8,9,10,11,12], \[9,9,6,9,12,12,12,8,9,10,11,12], \[9,9,6,11,8,12,6,8,9,10,11,12], \[9,9,6,11,11,11,9,8,9,10,11,12], \[9,9,8,9,1,8,8,8,9,10,11,12], \[9,9,8,9,3,8,8,8,9,10,11,12], \[9,9,8,9,6,8,8,8,9,10,11,12], \[9,9,8,9,6,9,9,8,9,10,11,12], \[9,9,9,1,2,9,9,8,9,10,11,12], \[9,9,9,1,10,10,10,8,9,10,11,12], \[9,9,9,6,9,9,6,8,9,10,11,12], \[9,9,9,6,9,9,8,8,9,10,11,12], \[9,9,9,6,9,9,10,8,9,10,11,12], \[9,9,9,6,9,9,11,8,9,10,11,12], \[9,9,9,6,9,9,12,8,9,10,11,12], \[9,9,9,6,10,10,10,8,9,10,11,12], \[9,9,9,7,9,4,9,8,9,10,11,12], \[9,9,9,7,10,10,10,8,9,10,11,12], \[9,9,9,8,8,8,2,8,9,10,11,12], \[9,9,9,8,8,8,4,8,9,10,11,12], \[9,9,9,8,8,8,6,8,9,10,11,12], \[9,9,9,8,9,9,6,8,9,10,11,12], \[9,9,9,9,1,9,2,8,9,10,11,12], \[9,9,9,9,3,5,9,8,9,10,11,12], \[9,9,9,9,9,7,4,8,9,10,11,12], \[9,9,9,10,9,9,6,8,9,10,11,12], \[9,9,9,11,9,9,6,8,9,10,11,12], \[9,9,9,12,9,9,6,8,9,10,11,12], \[9,9,10,9,6,9,9,8,9,10,11,12], \[9,9,10,10,2,10,9,8,9,10,11,12], \[9,9,10,10,3,10,9,8,9,10,11,12], \[9,9,10,10,6,10,9,8,9,10,11,12], \[9,9,11,2,9,11,11,8,9,10,11,12], \[9,9,11,6,6,10,8,8,9,10,11,12], \[9,9,11,6,9,11,11,8,9,10,11,12], \[9,9,11,7,9,11,11,8,9,10,11,12], \[9,9,11,9,6,9,9,8,9,10,11,12], \[9,9,12,9,6,9,9,8,9,10,11,12], \[9,9,12,10,6,8,6,8,9,10,11,12], \[9,9,12,12,9,12,1,8,9,10,11,12], \[9,9,12,12,9,12,4,8,9,10,11,12], \[9,9,12,12,9,12,6,8,9,10,11,12], \[9,10,4,9,10,10,9,8,9,10,11,12], \[9,10,5,9,10,10,9,8,9,10,11,12], \[9,10,6,9,6,12,8,8,9,10,11,12], \[9,10,6,9,10,10,9,8,9,10,11,12], \[9,10,6,11,6,10,8,8,9,10,11,12], \[9,10,6,11,6,12,6,8,9,10,11,12], \[9,10,6,11,6,12,8,8,9,10,11,12], \[9,10,6,11,8,11,6,8,9,10,11,12], \[9,10,6,11,8,12,6,8,9,10,11,12], \[9,10,6,11,8,12,8,8,9,10,11,12], \[9,10,6,12,8,11,6,8,9,10,11,12], \[9,10,6,12,8,11,9,8,9,10,11,12], \[9,10,6,12,8,12,6,8,9,10,11,12], \[9,10,6,12,10,11,6,8,9,10,11,12], \[9,10,8,10,6,12,6,8,9,10,11,12], \[9,10,8,11,6,9,6,8,9,10,11,12], \[9,10,8,11,6,12,6,8,9,10,11,12], \[9,10,8,11,6,12,8,8,9,10,11,12], \[9,10,8,11,8,12,6,8,9,10,11,12], \[9,10,9,10,10,9,2,8,9,10,11,12], \[9,10,9,10,10,9,3,8,9,10,11,12], \[9,10,9,10,10,9,6,8,9,10,11,12], \[9,10,9,12,8,11,6,8,9,10,11,12], \[9,10,10,9,1,9,10,8,9,10,11,12], \[9,10,10,9,6,9,10,8,9,10,11,12], \[9,10,10,9,7,9,10,8,9,10,11,12], \[9,10,10,10,6,10,10,8,9,10,11,12], \[9,11,8,10,6,8,6,8,9,10,11,12], \[9,11,8,10,6,12,6,8,9,10,11,12], \[9,11,8,10,6,12,9,8,9,10,11,12], \[9,11,8,10,9,12,6,8,9,10,11,12], \[9,11,8,11,6,12,6,8,9,10,11,12], \[9,11,9,1,11,9,11,8,9,10,11,12], \[9,11,9,5,11,9,11,8,9,10,11,12], \[9,11,9,6,10,8,6,8,9,10,11,12], \[9,11,9,6,11,9,11,8,9,10,11,12], \[9,11,9,11,9,11,3,8,9,10,11,12], \[9,11,9,11,9,11,4,8,9,10,11,12], \[9,11,9,11,9,11,6,8,9,10,11,12], \[9,11,11,6,6,8,10,8,9,10,11,12], \[9,11,11,6,11,11,11,8,9,10,11,12], \[9,11,11,11,2,9,9,8,9,10,11,12], \[9,11,11,11,6,9,9,8,9,10,11,12], \[9,11,11,11,7,9,9,8,9,10,11,12], \[9,11,12,6,6,8,6,8,9,10,11,12], \[9,11,12,6,6,8,10,8,9,10,11,12], \[9,11,12,6,6,9,10,8,9,10,11,12], \[9,11,12,6,10,8,6,8,9,10,11,12], \[9,11,12,6,10,8,10,8,9,10,11,12], \[9,11,12,6,10,11,6,8,9,10,11,12], \[9,11,12,10,6,8,6,8,9,10,11,12], \[9,11,12,10,6,8,10,8,9,10,11,12], \[9,11,12,10,6,12,6,8,9,10,11,12], \[9,11,12,10,10,8,6,8,9,10,11,12], \[9,12,1,12,12,9,9,8,9,10,11,12], \[9,12,4,12,12,9,9,8,9,10,11,12], \[9,12,6,6,6,10,8,8,9,10,11,12], \[9,12,6,6,11,9,8,8,9,10,11,12], \[9,12,6,6,11,10,8,8,9,10,11,12], \[9,12,6,6,11,10,12,8,9,10,11,12], \[9,12,6,11,6,10,8,8,9,10,11,12], \[9,12,6,11,6,10,9,8,9,10,11,12], \[9,12,6,11,6,12,8,8,9,10,11,12], \[9,12,6,11,11,10,8,8,9,10,11,12], \[9,12,6,12,12,9,9,8,9,10,11,12], \[9,12,6,12,12,12,12,8,9,10,11,12], \[9,12,11,6,6,8,8,8,9,10,11,12], \[9,12,11,6,6,8,10,8,9,10,11,12], \[9,12,11,6,6,10,8,8,9,10,11,12], \[9,12,11,6,6,10,10,8,9,10,11,12], \[9,12,11,6,9,8,10,8,9,10,11,12], \[9,12,11,6,11,10,8,8,9,10,11,12], \[9,12,11,9,6,8,10,8,9,10,11,12], \[9,12,11,11,6,10,8,8,9,10,11,12], \[9,12,12,2,9,9,12,8,9,10,11,12], \[9,12,12,5,9,9,12,8,9,10,11,12], \[9,12,12,6,6,8,10,8,9,10,11,12], \[9,12,12,6,9,9,12,8,9,10,11,12], \[9,12,12,9,3,12,9,8,9,10,11,12], \[9,12,12,9,6,12,9,8,9,10,11,12], \[9,12,12,9,7,12,9,8,9,10,11,12], \[10,1,1,1,10,10,1,8,9,10,11,12], \[10,1,10,8,10,8,8,8,9,10,11,12], \[10,1,10,9,9,10,9,8,9,10,11,12], \[10,1,10,10,10,10,5,8,9,10,11,12], \[10,4,9,9,10,9,10,8,9,10,11,12], \[10,4,10,8,10,8,8,8,9,10,11,12], \[10,4,10,10,10,2,10,8,9,10,11,12], \[10,4,10,11,11,11,10,8,9,10,11,12], \[10,5,1,10,10,10,10,8,9,10,11,12], \[10,5,5,5,10,10,5,8,9,10,11,12], \[10,5,9,9,10,9,10,8,9,10,11,12], \[10,5,12,12,12,10,10,8,9,10,11,12], \[10,6,6,6,10,10,6,8,9,10,11,12], \[10,6,6,6,11,9,8,8,9,10,11,12], \[10,6,6,11,11,8,9,8,9,10,11,12], \[10,6,6,11,12,8,6,8,9,10,11,12], \[10,6,6,11,12,8,9,8,9,10,11,12], \[10,6,6,11,12,10,9,8,9,10,11,12], \[10,6,6,12,10,9,8,8,9,10,11,12], \[10,6,6,12,11,8,8,8,9,10,11,12], \[10,6,6,12,11,8,9,8,9,10,11,12], \[10,6,6,12,11,9,8,8,9,10,11,12], \[10,6,6,12,11,9,9,8,9,10,11,12], \[10,6,6,12,12,8,9,8,9,10,11,12], \[10,6,9,8,9,11,6,8,9,10,11,12], \[10,6,9,8,12,8,6,8,9,10,11,12], \[10,6,9,8,12,11,6,8,9,10,11,12], \[10,6,9,8,12,11,10,8,9,10,11,12], \[10,6,9,9,9,9,9,8,9,10,11,12], \[10,6,9,9,10,9,10,8,9,10,11,12], \[10,6,9,11,10,8,6,8,9,10,11,12], \[10,6,9,11,12,8,6,8,9,10,11,12], \[10,6,9,11,12,8,9,8,9,10,11,12], \[10,6,9,11,12,11,6,8,9,10,11,12], \[10,6,10,6,9,11,8,8,9,10,11,12], \[10,6,10,6,10,10,10,8,9,10,11,12], \[10,6,10,8,10,8,8,8,9,10,11,12], \[10,6,10,8,10,10,10,8,9,10,11,12], \[10,6,10,9,9,10,9,8,9,10,11,12], \[10,6,10,9,10,10,10,8,9,10,11,12], \[10,6,10,11,10,10,10,8,9,10,11,12], \[10,6,10,11,11,11,10,8,9,10,11,12], \[10,6,10,12,10,10,10,8,9,10,11,12], \[10,6,10,12,11,8,9,8,9,10,11,12], \[10,6,12,6,9,9,8,8,9,10,11,12], \[10,6,12,6,9,11,6,8,9,10,11,12], \[10,6,12,6,9,11,8,8,9,10,11,12], \[10,6,12,6,11,9,8,8,9,10,11,12], \[10,6,12,6,11,9,10,8,9,10,11,12], \[10,6,12,6,11,11,8,8,9,10,11,12], \[10,6,12,8,9,10,6,8,9,10,11,12], \[10,6,12,8,9,11,6,8,9,10,11,12], \[10,6,12,8,9,11,8,8,9,10,11,12], \[10,6,12,8,12,11,6,8,9,10,11,12], \[10,6,12,12,11,9,8,8,9,10,11,12], \[10,6,12,12,12,10,10,8,9,10,11,12], \[10,7,10,9,9,10,9,8,9,10,11,12], \[10,7,10,10,3,10,10,8,9,10,11,12], \[10,7,10,11,11,11,10,8,9,10,11,12], \[10,7,12,12,12,10,10,8,9,10,11,12], \[10,8,8,8,8,8,6,8,9,10,11,12], \[10,8,8,10,10,8,3,8,9,10,11,12], \[10,8,8,10,10,8,5,8,9,10,11,12], \[10,8,8,10,10,8,6,8,9,10,11,12], \[10,8,10,3,8,10,8,8,9,10,11,12], \[10,8,10,5,8,10,8,8,9,10,11,12], \[10,8,10,6,8,10,8,8,9,10,11,12], \[10,8,10,6,10,10,10,8,9,10,11,12], \[10,8,11,6,8,12,6,8,9,10,11,12], \[10,8,11,6,9,11,6,8,9,10,11,12], \[10,8,11,6,9,12,6,8,9,10,11,12], \[10,8,11,6,9,12,10,8,9,10,11,12], \[10,8,11,10,9,12,6,8,9,10,11,12], \[10,8,12,6,9,11,6,8,9,10,11,12], \[10,8,12,6,9,11,8,8,9,10,11,12], \[10,8,12,6,9,12,6,8,9,10,11,12], \[10,8,12,6,10,11,6,8,9,10,11,12], \[10,8,12,8,9,11,6,8,9,10,11,12], \[10,9,1,10,10,9,9,8,9,10,11,12], \[10,9,6,6,8,9,11,8,9,10,11,12], \[10,9,6,6,8,12,6,8,9,10,11,12], \[10,9,6,6,8,12,11,8,9,10,11,12], \[10,9,6,6,10,12,11,8,9,10,11,12], \[10,9,6,10,10,9,9,8,9,10,11,12], \[10,9,6,10,12,8,6,8,9,10,11,12], \[10,9,6,11,8,8,6,8,9,10,11,12], \[10,9,6,11,8,12,6,8,9,10,11,12], \[10,9,6,11,8,12,11,8,9,10,11,12], \[10,9,6,11,12,8,6,8,9,10,11,12], \[10,9,6,11,12,8,9,8,9,10,11,12], \[10,9,6,11,12,12,6,8,9,10,11,12], \[10,9,7,10,10,9,9,8,9,10,11,12], \[10,9,9,10,9,10,4,8,9,10,11,12], \[10,9,9,10,9,10,5,8,9,10,11,12], \[10,9,9,10,9,10,6,8,9,10,11,12], \[10,9,9,11,12,8,6,8,9,10,11,12], \[10,9,10,2,9,9,10,8,9,10,11,12], \[10,9,10,3,9,9,10,8,9,10,11,12], \[10,9,10,6,9,9,10,8,9,10,11,12], \[10,9,10,6,10,10,10,8,9,10,11,12], \[10,9,11,6,8,10,6,8,9,10,11,12], \[10,9,11,6,8,12,6,8,9,10,11,12], \[10,9,11,6,8,12,11,8,9,10,11,12], \[10,9,11,6,9,12,6,8,9,10,11,12], \[10,9,11,11,8,12,6,8,9,10,11,12], \[10,10,2,10,4,10,10,8,9,10,11,12], \[10,10,2,10,8,8,8,8,9,10,11,12], \[10,10,2,11,11,10,11,8,9,10,11,12], \[10,10,5,1,10,10,10,8,9,10,11,12], \[10,10,5,11,11,10,11,8,9,10,11,12], \[10,10,5,12,10,12,12,8,9,10,11,12], \[10,10,6,10,8,8,8,8,9,10,11,12], \[10,10,6,10,10,10,6,8,9,10,11,12], \[10,10,6,10,10,10,8,8,9,10,11,12], \[10,10,6,10,10,10,9,8,9,10,11,12], \[10,10,6,10,10,10,11,8,9,10,11,12], \[10,10,6,10,10,10,12,8,9,10,11,12], \[10,10,6,11,8,12,6,8,9,10,11,12], \[10,10,6,11,11,10,11,8,9,10,11,12], \[10,10,6,12,10,12,12,8,9,10,11,12], \[10,10,6,12,11,8,9,8,9,10,11,12], \[10,10,7,10,8,8,8,8,9,10,11,12], \[10,10,7,10,10,3,10,8,9,10,11,12], \[10,10,7,12,10,12,12,8,9,10,11,12], \[10,10,8,8,8,10,1,8,9,10,11,12], \[10,10,8,8,8,10,4,8,9,10,11,12], \[10,10,8,8,8,10,6,8,9,10,11,12], \[10,10,8,10,10,10,6,8,9,10,11,12], \[10,10,9,8,12,11,6,8,9,10,11,12], \[10,10,9,10,10,10,6,8,9,10,11,12], \[10,10,10,2,10,4,10,8,9,10,11,12], \[10,10,10,3,7,10,10,8,9,10,11,12], \[10,10,10,5,10,10,1,8,9,10,11,12], \[10,10,10,10,1,5,10,8,9,10,11,12], \[10,10,10,10,2,10,4,8,9,10,11,12], \[10,10,10,10,10,7,3,8,9,10,11,12], \[10,10,11,10,10,10,6,8,9,10,11,12], \[10,10,11,11,10,11,1,8,9,10,11,12], \[10,10,11,11,10,11,3,8,9,10,11,12], \[10,10,11,11,10,11,6,8,9,10,11,12], \[10,10,12,10,10,10,6,8,9,10,11,12], \[10,10,12,10,12,12,3,8,9,10,11,12], \[10,10,12,10,12,12,4,8,9,10,11,12], \[10,10,12,10,12,12,6,8,9,10,11,12], \[10,11,10,2,10,11,11,8,9,10,11,12], \[10,11,10,5,10,11,11,8,9,10,11,12], \[10,11,10,6,10,10,10,8,9,10,11,12], \[10,11,10,6,10,11,11,8,9,10,11,12], \[10,11,11,1,11,10,10,8,9,10,11,12], \[10,11,11,3,11,10,10,8,9,10,11,12], \[10,11,11,6,11,10,10,8,9,10,11,12], \[10,11,11,6,11,11,11,8,9,10,11,12], \[10,12,1,10,12,10,12,8,9,10,11,12], \[10,12,2,10,12,10,12,8,9,10,11,12], \[10,12,6,6,8,9,8,8,9,10,11,12], \[10,12,6,6,8,9,11,8,9,10,11,12], \[10,12,6,6,8,12,11,8,9,10,11,12], \[10,12,6,6,11,9,8,8,9,10,11,12], \[10,12,6,6,11,9,11,8,9,10,11,12], \[10,12,6,6,11,10,8,8,9,10,11,12], \[10,12,6,10,8,9,11,8,9,10,11,12], \[10,12,6,10,12,10,12,8,9,10,11,12], \[10,12,6,12,11,9,8,8,9,10,11,12], \[10,12,6,12,12,12,12,8,9,10,11,12], \[10,12,10,6,8,9,11,8,9,10,11,12], \[10,12,10,6,10,10,10,8,9,10,11,12], \[10,12,12,1,10,12,10,8,9,10,11,12], \[10,12,12,2,10,12,10,8,9,10,11,12], \[10,12,12,6,10,12,10,8,9,10,11,12], \[10,12,12,6,11,9,8,8,9,10,11,12], \[11,1,1,11,1,11,1,8,9,10,11,12], \[11,1,9,9,9,11,11,8,9,10,11,12], \[11,1,10,11,10,10,11,8,9,10,11,12], \[11,1,11,11,4,11,11,8,9,10,11,12], \[11,3,9,11,11,9,9,8,9,10,11,12], \[11,3,10,11,10,10,11,8,9,10,11,12], \[11,3,11,11,11,2,11,8,9,10,11,12], \[11,3,12,12,11,12,11,8,9,10,11,12], \[11,4,4,11,4,11,4,8,9,10,11,12], \[11,4,8,8,11,11,8,8,9,10,11,12], \[11,4,9,11,11,9,9,8,9,10,11,12], \[11,4,11,11,11,11,1,8,9,10,11,12], \[11,5,8,8,11,11,8,8,9,10,11,12], \[11,5,9,9,9,11,11,8,9,10,11,12], \[11,5,11,7,11,11,11,8,9,10,11,12], \[11,5,12,12,11,12,11,8,9,10,11,12], \[11,6,6,9,6,12,8,8,9,10,11,12], \[11,6,6,9,10,9,8,8,9,10,11,12], \[11,6,6,9,10,12,8,8,9,10,11,12], \[11,6,6,9,10,12,11,8,9,10,11,12], \[11,6,6,11,6,11,6,8,9,10,11,12], \[11,6,6,11,11,11,11,8,9,10,11,12], \[11,6,6,12,10,9,6,8,9,10,11,12], \[11,6,6,12,10,9,8,8,9,10,11,12], \[11,6,6,12,10,12,8,8,9,10,11,12], \[11,6,6,12,11,9,8,8,9,10,11,12], \[11,6,8,8,9,10,6,8,9,10,11,12], \[11,6,8,8,11,11,8,8,9,10,11,12], \[11,6,8,11,10,9,6,8,9,10,11,12], \[11,6,8,11,11,11,11,8,9,10,11,12], \[11,6,8,12,9,9,6,8,9,10,11,12], \[11,6,8,12,9,10,6,8,9,10,11,12], \[11,6,8,12,9,10,11,8,9,10,11,12], \[11,6,8,12,10,9,6,8,9,10,11,12], \[11,6,8,12,10,9,8,8,9,10,11,12], \[11,6,8,12,10,10,6,8,9,10,11,12], \[11,6,9,9,9,9,9,8,9,10,11,12], \[11,6,9,9,9,11,11,8,9,10,11,12], \[11,6,9,11,11,9,9,8,9,10,11,12], \[11,6,9,11,11,11,11,8,9,10,11,12], \[11,6,10,8,6,10,9,8,9,10,11,12], \[11,6,10,8,6,12,8,8,9,10,11,12], \[11,6,10,8,6,12,9,8,9,10,11,12], \[11,6,10,8,11,12,9,8,9,10,11,12], \[11,6,10,9,6,11,8,8,9,10,11,12], \[11,6,10,9,6,12,8,8,9,10,11,12], \[11,6,10,9,6,12,9,8,9,10,11,12], \[11,6,10,9,10,12,8,8,9,10,11,12], \[11,6,10,11,10,10,11,8,9,10,11,12], \[11,6,10,11,11,11,11,8,9,10,11,12], \[11,6,12,8,6,10,6,8,9,10,11,12], \[11,6,12,8,6,10,9,8,9,10,11,12], \[11,6,12,8,6,12,9,8,9,10,11,12], \[11,6,12,8,9,10,6,8,9,10,11,12], \[11,6,12,8,9,10,9,8,9,10,11,12], \[11,6,12,8,9,11,6,8,9,10,11,12], \[11,6,12,11,6,10,9,8,9,10,11,12], \[11,6,12,11,11,11,11,8,9,10,11,12], \[11,6,12,12,9,10,6,8,9,10,11,12], \[11,6,12,12,11,12,11,8,9,10,11,12], \[11,8,1,11,11,8,8,8,9,10,11,12], \[11,8,2,11,11,8,8,8,9,10,11,12], \[11,8,6,10,10,9,6,8,9,10,11,12], \[11,8,6,10,12,8,6,8,9,10,11,12], \[11,8,6,10,12,9,6,8,9,10,11,12], \[11,8,6,10,12,9,11,8,9,10,11,12], \[11,8,6,11,11,8,8,8,9,10,11,12], \[11,8,6,11,11,11,11,8,9,10,11,12], \[11,8,6,12,10,9,6,8,9,10,11,12], \[11,8,6,12,10,9,8,8,9,10,11,12], \[11,8,6,12,10,11,6,8,9,10,11,12], \[11,8,6,12,12,9,6,8,9,10,11,12], \[11,8,8,8,8,8,6,8,9,10,11,12], \[11,8,8,12,10,9,6,8,9,10,11,12], \[11,8,11,8,8,11,1,8,9,10,11,12], \[11,8,11,8,8,11,2,8,9,10,11,12], \[11,8,11,8,8,11,6,8,9,10,11,12], \[11,8,11,10,12,9,6,8,9,10,11,12], \[11,9,2,9,11,9,11,8,9,10,11,12], \[11,9,6,9,6,8,12,8,9,10,11,12], \[11,9,6,9,11,9,11,8,9,10,11,12], \[11,9,6,10,6,8,6,8,9,10,11,12], \[11,9,6,10,6,8,12,8,9,10,11,12], \[11,9,6,10,6,11,12,8,9,10,11,12], \[11,9,6,10,12,8,6,8,9,10,11,12], \[11,9,6,10,12,8,12,8,9,10,11,12], \[11,9,6,10,12,9,6,8,9,10,11,12], \[11,9,6,11,11,11,11,8,9,10,11,12], \[11,9,6,11,12,8,6,8,9,10,11,12], \[11,9,7,9,11,9,11,8,9,10,11,12], \[11,9,11,8,6,10,6,8,9,10,11,12], \[11,9,11,9,3,11,9,8,9,10,11,12], \[11,9,11,9,4,11,9,8,9,10,11,12], \[11,9,11,9,6,11,9,8,9,10,11,12], \[11,9,11,11,9,9,1,8,9,10,11,12], \[11,9,11,11,9,9,5,8,9,10,11,12], \[11,9,11,11,9,9,6,8,9,10,11,12], \[11,9,12,8,6,8,6,8,9,10,11,12], \[11,9,12,8,6,10,6,8,9,10,11,12], \[11,9,12,8,6,10,9,8,9,10,11,12], \[11,9,12,8,9,10,6,8,9,10,11,12], \[11,9,12,10,6,8,6,8,9,10,11,12], \[11,9,12,10,6,8,12,8,9,10,11,12], \[11,9,12,10,6,10,6,8,9,10,11,12], \[11,9,12,10,12,8,6,8,9,10,11,12], \[11,10,4,10,10,11,11,8,9,10,11,12], \[11,10,6,9,6,8,8,8,9,10,11,12], \[11,10,6,9,6,8,12,8,9,10,11,12], \[11,10,6,9,6,12,8,8,9,10,11,12], \[11,10,6,9,6,12,12,8,9,10,11,12], \[11,10,6,9,10,12,8,8,9,10,11,12], \[11,10,6,9,11,8,12,8,9,10,11,12], \[11,10,6,10,6,8,12,8,9,10,11,12], \[11,10,6,10,10,11,11,8,9,10,11,12], \[11,10,6,11,6,12,8,8,9,10,11,12], \[11,10,6,11,11,11,11,8,9,10,11,12], \[11,10,7,10,10,11,11,8,9,10,11,12], \[11,10,10,9,6,12,8,8,9,10,11,12], \[11,10,10,10,6,10,10,8,9,10,11,12], \[11,10,11,9,6,8,12,8,9,10,11,12], \[11,10,11,11,4,10,10,8,9,10,11,12], \[11,10,11,11,6,10,10,8,9,10,11,12], \[11,10,11,11,7,10,10,8,9,10,11,12], \[11,11,1,11,11,11,4,8,9,10,11,12], \[11,11,2,11,11,3,11,8,9,10,11,12], \[11,11,4,11,1,11,11,8,9,10,11,12], \[11,11,7,5,11,11,11,8,9,10,11,12], \[11,11,8,11,8,8,4,8,9,10,11,12], \[11,11,8,11,8,8,5,8,9,10,11,12], \[11,11,8,11,8,8,6,8,9,10,11,12], \[11,11,8,12,9,10,6,8,9,10,11,12], \[11,11,10,8,6,12,9,8,9,10,11,12], \[11,11,10,10,1,11,10,8,9,10,11,12], \[11,11,10,10,3,11,10,8,9,10,11,12], \[11,11,10,10,6,11,10,8,9,10,11,12], \[11,11,11,1,11,4,11,8,9,10,11,12], \[11,11,11,2,3,11,11,8,9,10,11,12], \[11,11,11,3,11,11,2,8,9,10,11,12], \[11,11,11,8,3,8,8,8,9,10,11,12], \[11,11,11,8,6,8,8,8,9,10,11,12], \[11,11,11,8,7,8,8,8,9,10,11,12], \[11,11,11,10,10,10,2,8,9,10,11,12], \[11,11,11,10,10,10,5,8,9,10,11,12], \[11,11,11,10,10,10,6,8,9,10,11,12], \[11,11,11,11,6,11,6,8,9,10,11,12], \[11,11,11,11,6,11,8,8,9,10,11,12], \[11,11,11,11,6,11,9,8,9,10,11,12], \[11,11,11,11,6,11,10,8,9,10,11,12], \[11,11,11,11,6,11,12,8,9,10,11,12], \[11,11,11,11,7,5,11,8,9,10,11,12], \[11,11,11,11,8,11,6,8,9,10,11,12], \[11,11,11,11,9,11,6,8,9,10,11,12], \[11,11,11,11,10,11,6,8,9,10,11,12], \[11,11,11,11,11,7,5,8,9,10,11,12], \[11,11,11,11,12,11,6,8,9,10,11,12], \[11,11,12,10,6,8,6,8,9,10,11,12], \[11,11,12,11,1,12,12,8,9,10,11,12], \[11,11,12,11,6,12,12,8,9,10,11,12], \[11,11,12,11,7,12,12,8,9,10,11,12], \[11,11,12,12,12,11,2,8,9,10,11,12], \[11,11,12,12,12,11,4,8,9,10,11,12], \[11,11,12,12,12,11,6,8,9,10,11,12], \[11,12,1,12,11,11,12,8,9,10,11,12], \[11,12,2,11,12,12,11,8,9,10,11,12], \[11,12,4,11,12,12,11,8,9,10,11,12], \[11,12,6,11,11,11,11,8,9,10,11,12], \[11,12,6,11,12,12,11,8,9,10,11,12], \[11,12,6,12,11,11,12,8,9,10,11,12], \[11,12,6,12,12,12,12,8,9,10,11,12], \[11,12,7,12,11,11,12,8,9,10,11,12], \[12,1,9,9,12,12,9,8,9,10,11,12], \[12,1,12,1,1,12,1,8,9,10,11,12], \[12,1,12,3,12,12,12,8,9,10,11,12], \[12,1,12,11,12,11,11,8,9,10,11,12], \[12,3,10,12,10,12,10,8,9,10,11,12], \[12,3,12,3,3,12,3,8,9,10,11,12], \[12,3,12,12,1,12,12,8,9,10,11,12], \[12,3,12,12,9,9,9,8,9,10,11,12], \[12,4,5,12,12,12,12,8,9,10,11,12], \[12,4,8,12,12,8,8,8,9,10,11,12], \[12,4,9,9,12,12,9,8,9,10,11,12], \[12,4,10,12,10,12,10,8,9,10,11,12], \[12,6,8,9,6,9,10,8,9,10,11,12], \[12,6,8,9,6,11,8,8,9,10,11,12], \[12,6,8,9,6,11,10,8,9,10,11,12], \[12,6,8,9,12,11,10,8,9,10,11,12], \[12,6,8,11,6,9,6,8,9,10,11,12], \[12,6,8,11,6,9,10,8,9,10,11,12], \[12,6,8,11,6,11,10,8,9,10,11,12], \[12,6,8,11,10,8,6,8,9,10,11,12], \[12,6,8,11,10,9,6,8,9,10,11,12], \[12,6,8,11,10,9,10,8,9,10,11,12], \[12,6,8,12,10,9,6,8,9,10,11,12], \[12,6,8,12,12,8,8,8,9,10,11,12], \[12,6,9,6,9,8,11,8,9,10,11,12], \[12,6,9,6,10,8,6,8,9,10,11,12], \[12,6,9,6,10,8,11,8,9,10,11,12], \[12,6,9,6,10,12,11,8,9,10,11,12], \[12,6,9,9,9,9,9,8,9,10,11,12], \[12,6,9,9,12,12,9,8,9,10,11,12], \[12,6,9,11,10,8,6,8,9,10,11,12], \[12,6,9,11,10,8,11,8,9,10,11,12], \[12,6,9,11,10,9,6,8,9,10,11,12], \[12,6,9,11,12,8,6,8,9,10,11,12], \[12,6,10,6,6,11,8,8,9,10,11,12], \[12,6,10,6,9,8,8,8,9,10,11,12], \[12,6,10,6,9,8,11,8,9,10,11,12], \[12,6,10,6,9,11,8,8,9,10,11,12], \[12,6,10,6,9,11,11,8,9,10,11,12], \[12,6,10,6,10,8,11,8,9,10,11,12], \[12,6,10,9,6,11,8,8,9,10,11,12], \[12,6,10,9,6,11,10,8,9,10,11,12], \[12,6,10,9,6,12,8,8,9,10,11,12], \[12,6,10,9,9,11,8,8,9,10,11,12], \[12,6,10,12,9,8,11,8,9,10,11,12], \[12,6,10,12,10,12,10,8,9,10,11,12], \[12,6,12,6,6,12,6,8,9,10,11,12], \[12,6,12,6,9,11,8,8,9,10,11,12], \[12,6,12,11,6,9,10,8,9,10,11,12], \[12,6,12,11,12,11,11,8,9,10,11,12], \[12,6,12,12,9,9,9,8,9,10,11,12], \[12,6,12,12,12,12,6,8,9,10,11,12], \[12,6,12,12,12,12,8,8,9,10,11,12], \[12,6,12,12,12,12,9,8,9,10,11,12], \[12,6,12,12,12,12,10,8,9,10,11,12], \[12,6,12,12,12,12,11,8,9,10,11,12], \[12,7,8,12,12,8,8,8,9,10,11,12], \[12,7,12,11,12,11,11,8,9,10,11,12], \[12,7,12,12,9,9,9,8,9,10,11,12], \[12,7,12,12,12,2,12,8,9,10,11,12], \[12,8,8,8,8,8,6,8,9,10,11,12], \[12,8,8,12,8,12,1,8,9,10,11,12], \[12,8,8,12,8,12,5,8,9,10,11,12], \[12,8,8,12,8,12,6,8,9,10,11,12], \[12,8,12,8,12,8,2,8,9,10,11,12], \[12,8,12,8,12,8,3,8,9,10,11,12], \[12,8,12,8,12,8,6,8,9,10,11,12], \[12,8,12,12,12,12,6,8,9,10,11,12], \[12,9,9,3,9,12,12,8,9,10,11,12], \[12,9,9,6,8,10,6,8,9,10,11,12], \[12,9,9,6,9,12,12,8,9,10,11,12], \[12,9,9,7,9,12,12,8,9,10,11,12], \[12,9,9,12,12,9,2,8,9,10,11,12], \[12,9,9,12,12,9,5,8,9,10,11,12], \[12,9,9,12,12,9,6,8,9,10,11,12], \[12,9,10,6,6,10,8,8,9,10,11,12], \[12,9,10,6,6,11,8,8,9,10,11,12], \[12,9,10,6,6,11,12,8,9,10,11,12], \[12,9,10,6,9,11,8,8,9,10,11,12], \[12,9,10,9,6,11,8,8,9,10,11,12], \[12,9,11,6,6,10,6,8,9,10,11,12], \[12,9,11,6,6,10,8,8,9,10,11,12], \[12,9,11,6,6,11,8,8,9,10,11,12], \[12,9,11,6,8,10,6,8,9,10,11,12], \[12,9,11,6,8,10,8,8,9,10,11,12], \[12,9,11,6,8,12,6,8,9,10,11,12], \[12,9,11,8,6,9,6,8,9,10,11,12], \[12,9,11,8,6,10,6,8,9,10,11,12], \[12,9,11,8,6,10,8,8,9,10,11,12], \[12,9,11,8,8,10,6,8,9,10,11,12], \[12,9,12,8,6,10,6,8,9,10,11,12], \[12,9,12,9,1,9,12,8,9,10,11,12], \[12,9,12,9,4,9,12,8,9,10,11,12], \[12,9,12,9,6,9,12,8,9,10,11,12], \[12,9,12,12,12,12,6,8,9,10,11,12], \[12,10,8,8,6,9,6,8,9,10,11,12], \[12,10,8,11,6,9,6,8,9,10,11,12], \[12,10,8,11,6,9,10,8,9,10,11,12], \[12,10,8,11,6,12,6,8,9,10,11,12], \[12,10,8,11,10,9,6,8,9,10,11,12], \[12,10,10,10,1,12,12,8,9,10,11,12], \[12,10,10,10,2,12,12,8,9,10,11,12], \[12,10,10,10,6,10,10,8,9,10,11,12], \[12,10,10,10,6,12,12,8,9,10,11,12], \[12,10,11,8,6,9,6,8,9,10,11,12], \[12,10,11,8,6,9,12,8,9,10,11,12], \[12,10,11,8,6,10,6,8,9,10,11,12], \[12,10,11,8,12,9,6,8,9,10,11,12], \[12,10,11,11,6,9,6,8,9,10,11,12], \[12,10,12,12,10,10,1,8,9,10,11,12], \[12,10,12,12,10,10,2,8,9,10,11,12], \[12,10,12,12,10,10,6,8,9,10,11,12], \[12,10,12,12,12,12,6,8,9,10,11,12], \[12,11,9,6,8,8,6,8,9,10,11,12], \[12,11,9,6,8,10,6,8,9,10,11,12], \[12,11,9,6,8,10,12,8,9,10,11,12], \[12,11,9,6,10,8,6,8,9,10,11,12], \[12,11,9,6,10,8,11,8,9,10,11,12], \[12,11,9,6,10,10,6,8,9,10,11,12], \[12,11,9,11,10,8,6,8,9,10,11,12], \[12,11,9,12,8,10,6,8,9,10,11,12], \[12,11,11,6,8,10,6,8,9,10,11,12], \[12,11,11,6,11,11,11,8,9,10,11,12], \[12,11,11,11,12,12,3,8,9,10,11,12], \[12,11,11,11,12,12,5,8,9,10,11,12], \[12,11,11,11,12,12,6,8,9,10,11,12], \[12,11,12,3,11,11,12,8,9,10,11,12], \[12,11,12,5,11,11,12,8,9,10,11,12], \[12,11,12,6,10,8,6,8,9,10,11,12], \[12,11,12,6,11,11,12,8,9,10,11,12], \[12,11,12,12,12,12,6,8,9,10,11,12], \[12,12,1,12,12,3,12,8,9,10,11,12], \[12,12,2,7,12,12,12,8,9,10,11,12], \[12,12,4,12,12,12,5,8,9,10,11,12], \[12,12,7,12,2,12,12,8,9,10,11,12], \[12,12,8,8,2,12,8,8,9,10,11,12], \[12,12,8,8,3,12,8,8,9,10,11,12], \[12,12,8,8,6,12,8,8,9,10,11,12], \[12,12,8,9,6,11,10,8,9,10,11,12], \[12,12,10,5,10,10,12,8,9,10,11,12], \[12,12,10,6,9,8,11,8,9,10,11,12], \[12,12,10,6,10,10,12,8,9,10,11,12], \[12,12,10,7,10,10,12,8,9,10,11,12], \[12,12,11,1,11,12,11,8,9,10,11,12], \[12,12,11,6,6,10,8,8,9,10,11,12], \[12,12,11,6,11,12,11,8,9,10,11,12], \[12,12,11,7,11,12,11,8,9,10,11,12], \[12,12,11,11,2,11,12,8,9,10,11,12], \[12,12,11,11,4,11,12,8,9,10,11,12], \[12,12,11,11,6,11,12,8,9,10,11,12], \[12,12,12,1,8,8,8,8,9,10,11,12], \[12,12,12,1,12,12,3,8,9,10,11,12], \[12,12,12,5,8,8,8,8,9,10,11,12], \[12,12,12,5,12,4,12,8,9,10,11,12], \[12,12,12,6,6,12,12,8,9,10,11,12], \[12,12,12,6,8,8,8,8,9,10,11,12], \[12,12,12,6,8,12,12,8,9,10,11,12], \[12,12,12,6,9,12,12,8,9,10,11,12], \[12,12,12,6,10,12,12,8,9,10,11,12], \[12,12,12,6,11,12,12,8,9,10,11,12], \[12,12,12,8,6,12,12,8,9,10,11,12], \[12,12,12,9,6,12,12,8,9,10,11,12], \[12,12,12,10,3,10,10,8,9,10,11,12], \[12,12,12,10,4,10,10,8,9,10,11,12], \[12,12,12,10,6,10,10,8,9,10,11,12], \[12,12,12,10,6,12,12,8,9,10,11,12], \[12,12,12,11,6,12,12,8,9,10,11,12], \[12,12,12,12,3,12,1,8,9,10,11,12], \[12,12,12,12,4,5,12,8,9,10,11,12], \[12,12,12,12,12,7,2,8,9,10,11,12] ]; {#Set(u):u in SS}; S7:=[u:u in SS|#Set(u) ge 7];#S7;