set([Y152436*Yoshida13 - X42*Yoshida15 - Y152436*Yoshida15 + X42*Yoshida36 - X24*Yoshida4 - X24*Yoshida9, -Y152346*Yoshida10 + X23*Yoshida36 - X23*Yoshida4 - X32*Yoshida4 + Y152346*Yoshida4 - X32*Yoshida7, -X35*Yoshida1 + X34*Yoshida15 + X31*Yoshida2 - X31*Yoshida35 - X34*Yoshida4 - X35*Yoshida9, -Y123546*Yoshida28 - X21*Yoshida3 - Y123645*Yoshida33 + X21*Yoshida37 - Y123546*Yoshida5 + Y123645*Yoshida5, -X43*Yoshida11 + X43*Yoshida21 + X63*Yoshida26 - X63*Yoshida37 - X53*Yoshida39 + X53*Yoshida4, Y132456*Yoshida21 - Y132546*Yoshida22 - Y132645*Yoshida25 - Y132645*Yoshida35 + Y132546*Yoshida7 - Y132456*Yoshida8, X41*Yoshida12 + X14*Yoshida14 + X41*Yoshida29 - X14*Yoshida31 - Y142536*Yoshida31 + Y142536*Yoshida36, Y152634*Yoshida12 - Y152634*Yoshida16 - Y152346*Yoshida19 + X51*Yoshida24 - X51*Yoshida30 + Y152346*Yoshida37, -X52*Yoshida13 - X25*Yoshida14 - X25*Yoshida20 - X52*Yoshida30 + Y142536*Yoshida31 - Y142536*Yoshida36, X35*Yoshida1 - X32*Yoshida19 + X32*Yoshida24 - X36*Yoshida29 - X36*Yoshida39 + X35*Yoshida9, Y162435*Yoshida10 - X61*Yoshida17 - Y162345*Yoshida21 + Y162435*Yoshida30 - Y162345*Yoshida32 + X61*Yoshida33, Y132546*Yoshida13 - Y132645*Yoshida13 + X31*Yoshida20 + Y132645*Yoshida37 - Y132546*Yoshida5 - X31*Yoshida8, X43*Yoshida12 + Y123456*Yoshida12 - Y152634*Yoshida12 + Y152634*Yoshida16 - X43*Yoshida24 + Y123456*Yoshida27, -Y152346*Yoshida10 - Y152436*Yoshida13 + Y152436*Yoshida15 - Y152634*Yoshida3 - Y152634*Yoshida36 + Y152346*Yoshida4, -Y152346*Yoshida10 + Y162345*Yoshida16 - Y162345*Yoshida18 - Y142356*Yoshida22 + Y142356*Yoshida3 + Y152346*Yoshida4, -Y142635*Yoshida10 - X26*Yoshida12 + Y152634*Yoshida12 - Y152634*Yoshida16 - Y142635*Yoshida6 + X26*Yoshida8, -X23*Yoshida17 - Y162345*Yoshida21 - Y162345*Yoshida32 + Y152346*Yoshida34 + Y152346*Yoshida38 + X23*Yoshida5, Y142536*Yoshida1 + Y132546*Yoshida13 - Y142536*Yoshida26 - X25*Yoshida3 + X25*Yoshida33 - Y132546*Yoshida5, -X64*Yoshida20 + X64*Yoshida23 + Y123546*Yoshida23 - Y123546*Yoshida26 + X46*Yoshida38 + X46*Yoshida6, X15*Yoshida15 - X15*Yoshida20 + X35*Yoshida31 - X35*Yoshida34 + X65*Yoshida7 - X65*Yoshida8, -Y152436*Yoshida13 + Y152436*Yoshida15 + Y123645*Yoshida22 + Y142536*Yoshida31 - Y123645*Yoshida35 - Y142536*Yoshida36, -Y152436*Yoshida18 - Y152634*Yoshida18 - X51*Yoshida26 - Y152436*Yoshida26 + X51*Yoshida39 + Y152634*Yoshida39, X14*Yoshida1 - X12*Yoshida12 - X16*Yoshida15 + X16*Yoshida21 + X14*Yoshida28 + X12*Yoshida4, X14*Yoshida14 - X54*Yoshida23 - X14*Yoshida31 + X54*Yoshida37 - X24*Yoshida4 - X24*Yoshida9, -X65*Yoshida11 - X56*Yoshida14 + X56*Yoshida19 + Y142356*Yoshida22 + X65*Yoshida25 - Y142356*Yoshida3, X54*Yoshida23 + X56*Yoshida23 - X54*Yoshida37 - X56*Yoshida38 - X53*Yoshida39 + X53*Yoshida4, Y162435*Yoshida0 + Y152436*Yoshida13 - Y152436*Yoshida15 - Y132456*Yoshida21 + Y162435*Yoshida35 + Y132456*Yoshida8, X12*Yoshida12 + Y123456*Yoshida12 + Y123456*Yoshida27 + Y123645*Yoshida33 - X12*Yoshida4 - Y123645*Yoshida5, -X32*Yoshida16 + X62*Yoshida2 - X12*Yoshida25 - X12*Yoshida30 - X62*Yoshida31 - X32*Yoshida35, -X63*Yoshida12 + X53*Yoshida14 - X23*Yoshida17 - X63*Yoshida33 + X23*Yoshida5 - X53*Yoshida5, -X65*Yoshida11 + X15*Yoshida16 + X65*Yoshida25 - X45*Yoshida27 + X45*Yoshida33 + X15*Yoshida5, X13*Yoshida0 - X13*Yoshida12 + Y132645*Yoshida13 - Y132456*Yoshida24 - Y132645*Yoshida37 + Y132456*Yoshida4, -X23*Yoshida17 - X21*Yoshida3 + X21*Yoshida37 + X23*Yoshida5 - X24*Yoshida5 - X24*Yoshida6, -X63*Yoshida12 - X61*Yoshida17 + X64*Yoshida31 + X61*Yoshida33 - X63*Yoshida33 + X64*Yoshida39, -X36*Yoshida13 - X31*Yoshida20 + X36*Yoshida3 - X35*Yoshida31 + X35*Yoshida34 + X31*Yoshida8, -X43*Yoshida11 + Y123456*Yoshida17 + X43*Yoshida21 + X34*Yoshida22 - Y123456*Yoshida3 + X34*Yoshida6, Y152436*Yoshida18 + Y152436*Yoshida26 - X36*Yoshida29 - X36*Yoshida39 - Y123645*Yoshida8 + Y123645*Yoshida9, X52*Yoshida13 - X42*Yoshida15 - X12*Yoshida25 - X12*Yoshida30 + X52*Yoshida30 + X42*Yoshida36, X14*Yoshida10 - Y142635*Yoshida10 - X14*Yoshida16 - Y142536*Yoshida34 - Y142635*Yoshida6 + Y142536*Yoshida9, X56*Yoshida14 + Y123456*Yoshida14 + Y123456*Yoshida18 + Y132456*Yoshida18 - X56*Yoshida19 - Y132456*Yoshida19, X61*Yoshida1 + X41*Yoshida21 + X51*Yoshida26 - X41*Yoshida37 - X61*Yoshida38 - X51*Yoshida39, X51*Yoshida17 - X56*Yoshida23 + X51*Yoshida28 - X52*Yoshida29 - X52*Yoshida3 + X56*Yoshida38, X26*Yoshida11 - X26*Yoshida14 - Y132645*Yoshida15 - Y152634*Yoshida18 + Y152634*Yoshida39 + Y132645*Yoshida6, Y162534*Yoshida11 - X25*Yoshida14 - X25*Yoshida20 - Y132546*Yoshida34 - Y162534*Yoshida38 - Y132546*Yoshida6, X13*Yoshida0 - X13*Yoshida12 + X43*Yoshida12 + X63*Yoshida12 - X43*Yoshida24 + X63*Yoshida33, -Y142536*Yoshida1 - X36*Yoshida13 + Y142536*Yoshida26 + X36*Yoshida3 + Y123645*Yoshida33 - Y123645*Yoshida5, X15*Yoshida1 + X35*Yoshida1 - X45*Yoshida1 + X45*Yoshida17 - X15*Yoshida19 + X35*Yoshida9, -X31*Yoshida20 - X41*Yoshida21 + X21*Yoshida3 - X21*Yoshida37 + X41*Yoshida37 + X31*Yoshida8, X42*Yoshida0 + X43*Yoshida12 - X43*Yoshida24 + X42*Yoshida27 - X45*Yoshida27 + X45*Yoshida33, -Y123456*Yoshida17 - Y132456*Yoshida21 + Y142356*Yoshida22 + Y123456*Yoshida3 - Y142356*Yoshida3 + Y132456*Yoshida8, -X34*Yoshida15 - X64*Yoshida25 + X24*Yoshida4 + X34*Yoshida4 - X64*Yoshida4 + X24*Yoshida9, -Y142635*Yoshida37 - Y162435*Yoshida37 + X53*Yoshida39 + Y162435*Yoshida39 - X53*Yoshida4 - Y142635*Yoshida4, X14*Yoshida1 + X15*Yoshida1 - X15*Yoshida19 - X13*Yoshida2 + X13*Yoshida25 + X14*Yoshida28, -Y123456*Yoshida17 - Y162534*Yoshida17 + Y123456*Yoshida3 + Y152634*Yoshida3 + Y152634*Yoshida36 + Y162534*Yoshida36, -X35*Yoshida1 - X53*Yoshida14 + Y142635*Yoshida35 + X53*Yoshida5 - Y142635*Yoshida7 - X35*Yoshida9, -X52*Yoshida22 + X54*Yoshida28 - X56*Yoshida31 - X54*Yoshida32 + X52*Yoshida39 - X56*Yoshida8, -Y132645*Yoshida13 + X54*Yoshida23 - X54*Yoshida37 + Y132645*Yoshida37 + Y162345*Yoshida39 + Y162345*Yoshida9, Y152436*Yoshida16 - X36*Yoshida23 + Y152436*Yoshida23 + Y142536*Yoshida34 + X36*Yoshida6 - Y142536*Yoshida9, Y162435*Yoshida10 + X42*Yoshida15 + Y132456*Yoshida18 - Y132456*Yoshida19 + Y162435*Yoshida30 - X42*Yoshida36, -X46*Yoshida13 + Y132546*Yoshida13 + X46*Yoshida28 - Y123546*Yoshida28 - Y123546*Yoshida5 - Y132546*Yoshida5, -X26*Yoshida11 + X26*Yoshida14 + X56*Yoshida14 - X56*Yoshida19 - X36*Yoshida29 - X36*Yoshida39, X46*Yoshida1 - Y132546*Yoshida22 + X64*Yoshida31 + X64*Yoshida39 + Y132546*Yoshida7 + X46*Yoshida8, -Y162435*Yoshida0 - Y123546*Yoshida23 + Y123546*Yoshida26 - Y142635*Yoshida35 - Y162435*Yoshida35 + Y142635*Yoshida7, -X25*Yoshida14 + X15*Yoshida15 - X15*Yoshida20 - X25*Yoshida20 + X45*Yoshida30 - X45*Yoshida36, -X26*Yoshida28 - X21*Yoshida3 - X25*Yoshida3 - X26*Yoshida3 + X25*Yoshida33 + X21*Yoshida37, -X35*Yoshida1 + Y123546*Yoshida1 - Y123546*Yoshida24 - Y162435*Yoshida37 + Y162435*Yoshida39 - X35*Yoshida9, -X21*Yoshida0 + X12*Yoshida12 + Y123546*Yoshida23 + X21*Yoshida26 - Y123546*Yoshida26 - X12*Yoshida4, -X43*Yoshida12 + X23*Yoshida18 + X43*Yoshida24 - X53*Yoshida27 - X53*Yoshida31 - X23*Yoshida35, -X14*Yoshida10 + X14*Yoshida16 - X41*Yoshida21 + Y142356*Yoshida22 - Y142356*Yoshida3 + X41*Yoshida37, -X14*Yoshida1 - Y142536*Yoshida1 + Y142356*Yoshida12 - Y142356*Yoshida15 + Y142536*Yoshida26 - X14*Yoshida28, X54*Yoshida10 - X54*Yoshida11 - X53*Yoshida27 + X52*Yoshida29 + X52*Yoshida3 - X53*Yoshida31, X14*Yoshida10 - X14*Yoshida16 - X12*Yoshida29 + X13*Yoshida3 - X13*Yoshida8 + X12*Yoshida9, Y132645*Yoshida13 - X45*Yoshida27 + X45*Yoshida33 + Y123645*Yoshida33 - Y132645*Yoshida37 - Y123645*Yoshida5, X34*Yoshida22 + X35*Yoshida22 - X35*Yoshida23 + X36*Yoshida23 + X34*Yoshida6 - X36*Yoshida6, -X32*Yoshida16 - Y162345*Yoshida16 - X23*Yoshida18 + Y162345*Yoshida18 + X23*Yoshida35 - X32*Yoshida35, Y162435*Yoshida10 - Y162534*Yoshida13 + Y162534*Yoshida19 + X16*Yoshida2 - X16*Yoshida30 + Y162435*Yoshida30, -X35*Yoshida1 - X65*Yoshida11 + X25*Yoshida14 + X25*Yoshida20 + X65*Yoshida25 - X35*Yoshida9, -X31*Yoshida12 - X35*Yoshida22 + X35*Yoshida23 + X31*Yoshida36 + X32*Yoshida4 + X32*Yoshida7, Y123645*Yoshida22 + X54*Yoshida23 + X45*Yoshida30 - Y123645*Yoshida35 - X45*Yoshida36 - X54*Yoshida37, Y123546*Yoshida28 - X35*Yoshida31 + X35*Yoshida34 - Y142635*Yoshida37 - Y142635*Yoshida4 + Y123546*Yoshida5, -X62*Yoshida10 - X63*Yoshida10 + X62*Yoshida15 + X64*Yoshida25 + X64*Yoshida4 - X63*Yoshida9, -X54*Yoshida10 + X54*Yoshida11 - X56*Yoshida14 + X56*Yoshida19 - X51*Yoshida26 + X51*Yoshida39, -Y132645*Yoshida13 - X26*Yoshida28 - X26*Yoshida3 + Y132645*Yoshida37 + Y142635*Yoshida37 + Y142635*Yoshida4, -X46*Yoshida13 + X41*Yoshida21 + X45*Yoshida27 + X46*Yoshida28 - X45*Yoshida33 - X41*Yoshida37, -X52*Yoshida29 - X52*Yoshida3 + Y132546*Yoshida34 + Y142536*Yoshida34 + Y132546*Yoshida6 - Y142536*Yoshida9, X61*Yoshida1 + Y162534*Yoshida11 + Y162435*Yoshida37 - X61*Yoshida38 - Y162534*Yoshida38 - Y162435*Yoshida39, X42*Yoshida1 - X43*Yoshida11 + X41*Yoshida21 + X43*Yoshida21 - X41*Yoshida37 - X42*Yoshida39, X61*Yoshida1 + Y162345*Yoshida16 - Y162345*Yoshida18 + X16*Yoshida2 - X16*Yoshida30 - X61*Yoshida38, -Y162435*Yoshida0 - X53*Yoshida27 + X35*Yoshida31 - X53*Yoshida31 - X35*Yoshida34 - Y162435*Yoshida35, -X15*Yoshida1 + X15*Yoshida19 - X65*Yoshida26 + X25*Yoshida3 + X65*Yoshida30 - X25*Yoshida33, Y142356*Yoshida12 - Y142356*Yoshida15 - Y132456*Yoshida18 + Y132456*Yoshida19 - X65*Yoshida26 + X65*Yoshida30, -X43*Yoshida11 - X23*Yoshida17 + X43*Yoshida21 + X13*Yoshida3 + X23*Yoshida5 - X13*Yoshida8, -X36*Yoshida13 + X46*Yoshida13 + X26*Yoshida28 - X46*Yoshida28 + X26*Yoshida3 + X36*Yoshida3, Y162435*Yoshida0 + X16*Yoshida15 - X16*Yoshida21 + X61*Yoshida34 + Y162435*Yoshida35 - X61*Yoshida7, Y132645*Yoshida25 + Y152634*Yoshida3 + Y132645*Yoshida35 + Y142635*Yoshida35 + Y152634*Yoshida36 - Y142635*Yoshida7, X51*Yoshida24 - X53*Yoshida27 - X51*Yoshida30 - X53*Yoshida31 - X56*Yoshida31 - X56*Yoshida8, X42*Yoshida1 - X32*Yoshida19 + X32*Yoshida24 - X12*Yoshida29 - X42*Yoshida39 + X12*Yoshida9, X54*Yoshida10 - X54*Yoshida11 + Y162345*Yoshida16 - Y162345*Yoshida18 + X45*Yoshida27 - X45*Yoshida33, -Y123456*Yoshida17 - X56*Yoshida23 - X65*Yoshida26 + Y123456*Yoshida3 + X65*Yoshida30 + X56*Yoshida38, -Y132456*Yoshida24 - Y162435*Yoshida37 + Y162435*Yoshida39 - X24*Yoshida4 + Y132456*Yoshida4 - X24*Yoshida9, Y142356*Yoshida13 - X23*Yoshida36 - Y142356*Yoshida39 - Y162345*Yoshida39 + X23*Yoshida4 - Y162345*Yoshida9, -Y123456*Yoshida14 - Y123456*Yoshida18 - X12*Yoshida25 + Y123546*Yoshida28 - X12*Yoshida30 + Y123546*Yoshida5, -Y162534*Yoshida17 + Y132546*Yoshida22 - Y142536*Yoshida31 + Y142536*Yoshida36 + Y162534*Yoshida36 - Y132546*Yoshida7, X46*Yoshida1 - X41*Yoshida12 - X43*Yoshida12 + X43*Yoshida24 - X41*Yoshida29 + X46*Yoshida8, X14*Yoshida14 - X15*Yoshida15 + X15*Yoshida20 - X12*Yoshida25 - X12*Yoshida30 - X14*Yoshida31, Y142635*Yoshida10 + X41*Yoshida12 + Y142356*Yoshida12 - Y142356*Yoshida15 + X41*Yoshida29 + Y142635*Yoshida6, -X21*Yoshida0 + X26*Yoshida11 - X26*Yoshida14 + X21*Yoshida26 + X24*Yoshida27 + X24*Yoshida35, -X64*Yoshida20 + X64*Yoshida23 - X63*Yoshida26 - X65*Yoshida26 + X65*Yoshida30 + X63*Yoshida37, -Y162435*Yoshida0 + Y162345*Yoshida16 + Y162534*Yoshida17 - Y162345*Yoshida18 - Y162435*Yoshida35 - Y162534*Yoshida36, -X42*Yoshida1 - Y152436*Yoshida18 - Y152436*Yoshida26 - Y162435*Yoshida37 + X42*Yoshida39 + Y162435*Yoshida39, X14*Yoshida1 + X64*Yoshida20 - X64*Yoshida23 - X24*Yoshida27 + X14*Yoshida28 - X24*Yoshida35, X26*Yoshida11 + X25*Yoshida14 - X26*Yoshida14 + X23*Yoshida17 + X25*Yoshida20 - X23*Yoshida5, -Y162345*Yoshida21 + X54*Yoshida28 - X54*Yoshida32 - Y162345*Yoshida32 - Y123645*Yoshida33 + Y123645*Yoshida5, -X36*Yoshida13 + X34*Yoshida15 + X36*Yoshida3 + X32*Yoshida4 - X34*Yoshida4 + X32*Yoshida7, -Y132645*Yoshida15 + Y162345*Yoshida21 - X45*Yoshida30 + Y162345*Yoshida32 + X45*Yoshida36 + Y132645*Yoshida6, X43*Yoshida12 - X34*Yoshida14 - Y162534*Yoshida17 - X43*Yoshida24 + Y162534*Yoshida36 + X34*Yoshida39, -X63*Yoshida10 + X61*Yoshida34 - X61*Yoshida7 - X65*Yoshida7 + X65*Yoshida8 - X63*Yoshida9, Y162345*Yoshida16 - Y162345*Yoshida18 + Y123645*Yoshida22 - Y132645*Yoshida25 - Y123645*Yoshida35 - Y132645*Yoshida35, X61*Yoshida1 + X65*Yoshida11 - X64*Yoshida25 - X65*Yoshida25 - X61*Yoshida38 - X64*Yoshida4, Y132645*Yoshida15 + X13*Yoshida3 - Y132546*Yoshida34 - Y132546*Yoshida6 - Y132645*Yoshida6 - X13*Yoshida8, X56*Yoshida23 + X16*Yoshida24 - X26*Yoshida28 - X26*Yoshida3 - X56*Yoshida38 - X16*Yoshida39, X41*Yoshida12 - X42*Yoshida15 + X41*Yoshida29 - X45*Yoshida30 + X42*Yoshida36 + X45*Yoshida36, -X45*Yoshida1 + X45*Yoshida17 + Y162345*Yoshida39 - Y123645*Yoshida8 + Y123645*Yoshida9 + Y162345*Yoshida9, -Y162534*Yoshida17 - X52*Yoshida29 + X25*Yoshida3 - X52*Yoshida3 - X25*Yoshida33 + Y162534*Yoshida36, X52*Yoshida13 - Y132546*Yoshida13 + Y162534*Yoshida13 - Y162534*Yoshida19 + X52*Yoshida30 + Y132546*Yoshida5, X42*Yoshida0 - X32*Yoshida16 + X42*Yoshida27 - X52*Yoshida29 - X52*Yoshida3 - X32*Yoshida35, -X53*Yoshida14 + X51*Yoshida17 + X51*Yoshida28 - X54*Yoshida28 + X54*Yoshida32 + X53*Yoshida5, -X42*Yoshida1 + X45*Yoshida1 - X46*Yoshida1 - X45*Yoshida17 + X42*Yoshida39 - X46*Yoshida8, X26*Yoshida11 - X26*Yoshida14 - X62*Yoshida23 - X62*Yoshida27 + Y142635*Yoshida35 - Y142635*Yoshida7, X31*Yoshida20 + Y132456*Yoshida21 + X13*Yoshida3 - X13*Yoshida8 - X31*Yoshida8 - Y132456*Yoshida8, -Y123456*Yoshida17 - Y123645*Yoshida22 + Y123546*Yoshida23 - Y123546*Yoshida26 + Y123456*Yoshida3 + Y123645*Yoshida35, -X45*Yoshida1 + X45*Yoshida17 - Y132645*Yoshida25 + X54*Yoshida28 - X54*Yoshida32 - Y132645*Yoshida35, -X45*Yoshida1 + X45*Yoshida17 + X25*Yoshida39 + X25*Yoshida7 + X65*Yoshida7 - X65*Yoshida8, -X61*Yoshida1 + X62*Yoshida2 - X63*Yoshida26 - X62*Yoshida31 + X63*Yoshida37 + X61*Yoshida38, -X63*Yoshida12 - Y152436*Yoshida16 - Y152436*Yoshida23 - X63*Yoshida33 - Y123645*Yoshida33 + Y123645*Yoshida5, X15*Yoshida15 + Y152634*Yoshida18 - X15*Yoshida20 + Y152346*Yoshida34 + Y152346*Yoshida38 - Y152634*Yoshida39, -X25*Yoshida14 - X21*Yoshida15 - X25*Yoshida20 + X21*Yoshida24 + X24*Yoshida4 + X24*Yoshida9, -X54*Yoshida28 - X64*Yoshida31 + X54*Yoshida32 - X64*Yoshida39 + X24*Yoshida5 + X24*Yoshida6, X63*Yoshida12 + X36*Yoshida29 - Y142536*Yoshida31 + X63*Yoshida33 + Y142536*Yoshida36 + X36*Yoshida39, -X51*Yoshida17 - X61*Yoshida17 - X51*Yoshida28 - X21*Yoshida3 + X61*Yoshida33 + X21*Yoshida37, -X21*Yoshida0 - Y123456*Yoshida14 - Y123456*Yoshida18 + X21*Yoshida26 + Y123645*Yoshida8 - Y123645*Yoshida9, -X52*Yoshida13 - X32*Yoshida19 + X62*Yoshida23 + X32*Yoshida24 + X62*Yoshida27 - X52*Yoshida30, -X32*Yoshida19 + X31*Yoshida20 + X34*Yoshida22 + X32*Yoshida24 + X34*Yoshida6 - X31*Yoshida8, -Y152436*Yoshida16 - X51*Yoshida17 - Y152436*Yoshida23 - X51*Yoshida28 + Y152346*Yoshida34 + Y152346*Yoshida38, X13*Yoshida2 - X16*Yoshida2 - X12*Yoshida25 - X13*Yoshida25 - X12*Yoshida30 + X16*Yoshida30, X14*Yoshida10 - X14*Yoshida16 - X15*Yoshida16 + X16*Yoshida2 - X16*Yoshida30 - X15*Yoshida5, X46*Yoshida13 - X56*Yoshida14 + X56*Yoshida19 - X16*Yoshida2 - X46*Yoshida28 + X16*Yoshida30, X13*Yoshida0 - X13*Yoshida12 - X31*Yoshida12 + Y132546*Yoshida22 + X31*Yoshida36 - Y132546*Yoshida7, Y142356*Yoshida12 - Y142356*Yoshida15 + Y162345*Yoshida21 + Y162345*Yoshida32 + X32*Yoshida4 + X32*Yoshida7, Y123645*Yoshida22 + X36*Yoshida23 + X63*Yoshida26 - Y123645*Yoshida35 - X63*Yoshida37 - X36*Yoshida6, -X15*Yoshida1 + X15*Yoshida19 - X16*Yoshida24 + X12*Yoshida29 + X16*Yoshida39 - X12*Yoshida9, X42*Yoshida1 - X62*Yoshida2 - X52*Yoshida22 + X62*Yoshida31 - X42*Yoshida39 + X52*Yoshida39, X36*Yoshida23 + X56*Yoshida23 - X46*Yoshida38 - X56*Yoshida38 - X36*Yoshida6 - X46*Yoshida6, X15*Yoshida1 - X51*Yoshida17 - X15*Yoshida19 - X51*Yoshida28 - Y152634*Yoshida3 - Y152634*Yoshida36, -X21*Yoshida15 + Y123645*Yoshida22 + X21*Yoshida24 + X12*Yoshida25 + X12*Yoshida30 - Y123645*Yoshida35, X43*Yoshida11 - Y162534*Yoshida11 - Y152634*Yoshida18 - X43*Yoshida21 + Y162534*Yoshida38 + Y152634*Yoshida39, Y152634*Yoshida12 - Y162534*Yoshida13 - Y152634*Yoshida16 + Y162534*Yoshida19 + X34*Yoshida22 + X34*Yoshida6, -Y123546*Yoshida28 + X64*Yoshida31 + Y152346*Yoshida34 + Y152346*Yoshida38 + X64*Yoshida39 - Y123546*Yoshida5, X31*Yoshida12 + Y132645*Yoshida15 + Y132456*Yoshida18 - Y132456*Yoshida19 - X31*Yoshida36 - Y132645*Yoshida6, X15*Yoshida15 - X16*Yoshida15 - X15*Yoshida20 + X16*Yoshida21 + X13*Yoshida3 - X13*Yoshida8, X21*Yoshida0 + X31*Yoshida12 - X21*Yoshida26 + X51*Yoshida26 - X31*Yoshida36 - X51*Yoshida39, -Y152634*Yoshida18 + X62*Yoshida2 - X62*Yoshida31 - Y142635*Yoshida37 + Y152634*Yoshida39 - Y142635*Yoshida4, X61*Yoshida17 - Y162534*Yoshida17 - X16*Yoshida24 - X61*Yoshida33 + Y162534*Yoshida36 + X16*Yoshida39, X14*Yoshida1 - X34*Yoshida15 + X14*Yoshida28 + X54*Yoshida28 - X54*Yoshida32 + X34*Yoshida4, -Y162435*Yoshida10 + Y152436*Yoshida16 + Y152436*Yoshida23 - Y162435*Yoshida30 + X24*Yoshida5 + X24*Yoshida6, -Y162435*Yoshida10 - X53*Yoshida14 + Y123546*Yoshida28 - Y162435*Yoshida30 + X53*Yoshida5 + Y123546*Yoshida5, -Y123546*Yoshida1 - Y123456*Yoshida12 - X21*Yoshida15 + X21*Yoshida24 + Y123546*Yoshida24 - Y123456*Yoshida27, -X42*Yoshida0 - Y152436*Yoshida16 - Y152436*Yoshida23 + Y132456*Yoshida24 - X42*Yoshida27 - Y132456*Yoshida4, Y152436*Yoshida13 - X15*Yoshida15 - Y152436*Yoshida15 + X15*Yoshida20 - X51*Yoshida24 + X51*Yoshida30, X52*Yoshida22 + Y132546*Yoshida22 - X25*Yoshida39 - X52*Yoshida39 - X25*Yoshida7 - Y132546*Yoshida7, X46*Yoshida1 + X16*Yoshida24 - X36*Yoshida29 - X16*Yoshida39 - X36*Yoshida39 + X46*Yoshida8, X52*Yoshida22 - X51*Yoshida26 + X51*Yoshida39 - X52*Yoshida39 + X53*Yoshida39 - X53*Yoshida4, -X26*Yoshida12 - X21*Yoshida15 + X23*Yoshida18 + X21*Yoshida24 - X23*Yoshida35 + X26*Yoshida8, -X63*Yoshida10 + X43*Yoshida19 - X43*Yoshida2 - X23*Yoshida36 + X23*Yoshida4 - X63*Yoshida9, Y162534*Yoshida11 - X16*Yoshida15 + X16*Yoshida21 - Y162345*Yoshida21 - Y162345*Yoshida32 - Y162534*Yoshida38, -X13*Yoshida2 - X31*Yoshida2 + X13*Yoshida25 - Y132645*Yoshida25 + X31*Yoshida35 - Y132645*Yoshida35, Y123456*Yoshida12 + Y142356*Yoshida12 - Y142356*Yoshida15 + Y123456*Yoshida27 + X56*Yoshida31 + X56*Yoshida8, -X46*Yoshida13 + X42*Yoshida15 - X43*Yoshida19 + X43*Yoshida2 + X46*Yoshida28 - X42*Yoshida36, X26*Yoshida12 - X25*Yoshida39 + X24*Yoshida5 + X24*Yoshida6 - X25*Yoshida7 - X26*Yoshida8, -X35*Yoshida22 + X35*Yoshida23 + Y123546*Yoshida23 - Y123546*Yoshida26 + X53*Yoshida39 - X53*Yoshida4, -X31*Yoshida20 - X51*Yoshida24 + X51*Yoshida30 + X61*Yoshida34 - X61*Yoshida7 + X31*Yoshida8, Y152346*Yoshida10 + Y132546*Yoshida22 + Y123546*Yoshida23 - Y123546*Yoshida26 - Y152346*Yoshida4 - Y132546*Yoshida7, X41*Yoshida12 + X21*Yoshida15 - X21*Yoshida24 - X51*Yoshida24 + X41*Yoshida29 + X51*Yoshida30, -Y142356*Yoshida22 + Y142356*Yoshida3 + Y142536*Yoshida31 - Y142635*Yoshida35 - Y142536*Yoshida36 + Y142635*Yoshida7, -Y132456*Yoshida21 + X56*Yoshida31 - X65*Yoshida7 + X56*Yoshida8 + X65*Yoshida8 + Y132456*Yoshida8, -X26*Yoshida11 + X26*Yoshida14 - X16*Yoshida15 + X16*Yoshida21 - X46*Yoshida38 - X46*Yoshida6, -X46*Yoshida1 + X26*Yoshida12 + X56*Yoshida31 - X26*Yoshida8 - X46*Yoshida8 + X56*Yoshida8, X15*Yoshida16 - X35*Yoshida22 + X35*Yoshida23 - X25*Yoshida39 + X15*Yoshida5 - X25*Yoshida7, X63*Yoshida10 + X36*Yoshida13 - Y152436*Yoshida13 + Y152436*Yoshida15 - X36*Yoshida3 + X63*Yoshida9, X14*Yoshida10 - X14*Yoshida16 + X34*Yoshida22 - X24*Yoshida5 - X24*Yoshida6 + X34*Yoshida6, -X65*Yoshida11 + X63*Yoshida12 - X62*Yoshida23 + X65*Yoshida25 - X62*Yoshida27 + X63*Yoshida33, -X14*Yoshida14 + X34*Yoshida14 + X14*Yoshida31 + X64*Yoshida31 - X34*Yoshida39 + X64*Yoshida39, -X45*Yoshida27 + X25*Yoshida3 - X35*Yoshida31 - X25*Yoshida33 + X45*Yoshida33 + X35*Yoshida34, X62*Yoshida10 - X62*Yoshida15 - X12*Yoshida29 + X52*Yoshida29 + X52*Yoshida3 + X12*Yoshida9, -Y142356*Yoshida13 + X56*Yoshida23 + Y132456*Yoshida24 - X56*Yoshida38 + Y142356*Yoshida39 - Y132456*Yoshida4, X31*Yoshida12 - X41*Yoshida12 - X61*Yoshida17 - X41*Yoshida29 + X61*Yoshida33 - X31*Yoshida36, X21*Yoshida0 - X21*Yoshida26 + X23*Yoshida36 + X25*Yoshida39 - X23*Yoshida4 + X25*Yoshida7, Y142356*Yoshida13 - Y123456*Yoshida14 - Y123456*Yoshida18 - Y142356*Yoshida39 - X65*Yoshida7 + X65*Yoshida8, -X42*Yoshida0 - X12*Yoshida12 + X62*Yoshida23 - X42*Yoshida27 + X62*Yoshida27 + X12*Yoshida4, -Y142356*Yoshida13 - X14*Yoshida14 + X14*Yoshida31 + Y142635*Yoshida37 + Y142356*Yoshida39 + Y142635*Yoshida4, -Y123456*Yoshida17 + X12*Yoshida29 + X21*Yoshida3 + Y123456*Yoshida3 - X21*Yoshida37 - X12*Yoshida9, -X13*Yoshida0 - X12*Yoshida12 + X13*Yoshida12 - X15*Yoshida16 + X12*Yoshida4 - X15*Yoshida5, -X32*Yoshida19 - Y152346*Yoshida19 + X32*Yoshida24 + Y152346*Yoshida37 + Y162345*Yoshida39 + Y162345*Yoshida9, X13*Yoshida0 - X13*Yoshida12 + X14*Yoshida14 - X16*Yoshida24 - X14*Yoshida31 + X16*Yoshida39, X53*Yoshida14 - X43*Yoshida19 - X13*Yoshida2 + X43*Yoshida2 + X13*Yoshida25 - X53*Yoshida5, -Y152634*Yoshida12 + Y132645*Yoshida13 + Y152634*Yoshida16 - X62*Yoshida23 - X62*Yoshida27 - Y132645*Yoshida37, Y142356*Yoshida13 - X41*Yoshida19 + Y142536*Yoshida34 - Y142356*Yoshida39 - X41*Yoshida7 - Y142536*Yoshida9, X13*Yoshida0 - X13*Yoshida12 - X23*Yoshida36 + X53*Yoshida39 + X23*Yoshida4 - X53*Yoshida4, X23*Yoshida18 - X13*Yoshida2 + X13*Yoshida25 + X63*Yoshida26 - X23*Yoshida35 - X63*Yoshida37, -X45*Yoshida1 + X45*Yoshida17 + X41*Yoshida19 - X43*Yoshida19 + X43*Yoshida2 + X41*Yoshida7, -X31*Yoshida12 - X34*Yoshida14 + X36*Yoshida29 + X31*Yoshida36 + X34*Yoshida39 + X36*Yoshida39, -X15*Yoshida1 - Y152436*Yoshida18 + X15*Yoshida19 + Y152346*Yoshida19 - Y152436*Yoshida26 - Y152346*Yoshida37, X34*Yoshida15 + X43*Yoshida19 - X43*Yoshida2 + Y152634*Yoshida3 + Y152634*Yoshida36 - X34*Yoshida4, Y142635*Yoshida10 - Y162435*Yoshida10 - X35*Yoshida22 + X35*Yoshida23 - Y162435*Yoshida30 + Y142635*Yoshida6, X64*Yoshida20 + X34*Yoshida22 + X54*Yoshida23 - X64*Yoshida23 - X54*Yoshida37 + X34*Yoshida6, Y162534*Yoshida11 - Y123456*Yoshida12 - X34*Yoshida15 - Y123456*Yoshida27 - Y162534*Yoshida38 + X34*Yoshida4, -X16*Yoshida24 - Y162435*Yoshida37 + X16*Yoshida39 - Y162345*Yoshida39 + Y162435*Yoshida39 - Y162345*Yoshida9, X62*Yoshida10 + X42*Yoshida15 - X62*Yoshida15 - X42*Yoshida36 - X32*Yoshida4 - X32*Yoshida7, -X32*Yoshida16 + X31*Yoshida2 - X36*Yoshida23 - X31*Yoshida35 - X32*Yoshida35 + X36*Yoshida6, -X14*Yoshida1 - X41*Yoshida19 - X14*Yoshida28 + Y142635*Yoshida35 - X41*Yoshida7 - Y142635*Yoshida7, -X26*Yoshida12 + X16*Yoshida2 + X36*Yoshida23 - X16*Yoshida30 - X36*Yoshida6 + X26*Yoshida8, Y162534*Yoshida13 - Y123456*Yoshida14 - Y123456*Yoshida18 + X43*Yoshida19 - Y162534*Yoshida19 - X43*Yoshida2, X42*Yoshida0 + Y162435*Yoshida0 + X24*Yoshida27 + X42*Yoshida27 + X24*Yoshida35 + Y162435*Yoshida35, X61*Yoshida1 - X21*Yoshida15 - X31*Yoshida2 + X21*Yoshida24 + X31*Yoshida35 - X61*Yoshida38, Y132546*Yoshida34 - Y152346*Yoshida34 + X46*Yoshida38 - Y152346*Yoshida38 + X46*Yoshida6 + Y132546*Yoshida6, -X46*Yoshida1 + Y123546*Yoshida1 + Y152346*Yoshida19 - Y123546*Yoshida24 - Y152346*Yoshida37 - X46*Yoshida8, Y152634*Yoshida12 - X15*Yoshida16 - Y152436*Yoshida16 - Y152634*Yoshida16 - Y152436*Yoshida23 - X15*Yoshida5, Y132456*Yoshida18 + Y152436*Yoshida18 - Y132456*Yoshida19 + Y152436*Yoshida26 - X24*Yoshida27 - X24*Yoshida35, X65*Yoshida11 - Y123456*Yoshida12 + Y132456*Yoshida24 - X65*Yoshida25 - Y123456*Yoshida27 - Y132456*Yoshida4, X14*Yoshida10 + X54*Yoshida10 - X54*Yoshida11 - X14*Yoshida16 - X64*Yoshida25 - X64*Yoshida4, X21*Yoshida0 + X41*Yoshida19 - X21*Yoshida26 - X61*Yoshida34 + X41*Yoshida7 + X61*Yoshida7, X64*Yoshida20 + X62*Yoshida23 - X64*Yoshida23 + X62*Yoshida27 - X61*Yoshida34 + X61*Yoshida7, Y123546*Yoshida1 - Y123546*Yoshida24 + X64*Yoshida25 + Y132546*Yoshida34 + X64*Yoshida4 + Y132546*Yoshida6, X52*Yoshida13 - X53*Yoshida14 - X56*Yoshida14 + X56*Yoshida19 + X52*Yoshida30 + X53*Yoshida5, X54*Yoshida10 - X54*Yoshida11 + X34*Yoshida14 - X24*Yoshida27 - X24*Yoshida35 - X34*Yoshida39, Y142536*Yoshida1 + Y152436*Yoshida18 + X63*Yoshida26 - Y142536*Yoshida26 + Y152436*Yoshida26 - X63*Yoshida37, X23*Yoshida18 - X24*Yoshida27 - X25*Yoshida3 + X25*Yoshida33 - X23*Yoshida35 - X24*Yoshida35, -X34*Yoshida14 - X32*Yoshida16 - X35*Yoshida31 + X35*Yoshida34 - X32*Yoshida35 + X34*Yoshida39, Y142536*Yoshida1 + X41*Yoshida21 - Y142536*Yoshida26 - X41*Yoshida37 + Y142635*Yoshida37 + Y142635*Yoshida4, X36*Yoshida13 - X16*Yoshida15 + X16*Yoshida21 - X36*Yoshida3 - X56*Yoshida31 - X56*Yoshida8, X43*Yoshida11 - X43*Yoshida21 - X45*Yoshida30 + X45*Yoshida36 + X46*Yoshida38 + X46*Yoshida6, -X62*Yoshida10 + X62*Yoshida15 + X26*Yoshida28 + X26*Yoshida3 + Y152634*Yoshida3 + Y152634*Yoshida36, -X23*Yoshida17 - X32*Yoshida19 - Y142356*Yoshida22 + X32*Yoshida24 + Y142356*Yoshida3 + X23*Yoshida5, -X62*Yoshida10 + Y142635*Yoshida10 + X62*Yoshida15 - Y132645*Yoshida15 + Y132645*Yoshida6 + Y142635*Yoshida6, -X42*Yoshida1 - Y132456*Yoshida21 + X42*Yoshida39 + X24*Yoshida5 + X24*Yoshida6 + Y132456*Yoshida8, X31*Yoshida2 - Y132456*Yoshida24 + Y132546*Yoshida34 - X31*Yoshida35 + Y132456*Yoshida4 + Y132546*Yoshida6, -X52*Yoshida13 + X54*Yoshida23 + X51*Yoshida24 - X51*Yoshida30 - X52*Yoshida30 - X54*Yoshida37, -X62*Yoshida2 + X62*Yoshida31 + X64*Yoshida31 + X64*Yoshida39 + X65*Yoshida7 - X65*Yoshida8, -Y152346*Yoshida10 - X46*Yoshida13 - X64*Yoshida25 + X46*Yoshida28 - X64*Yoshida4 + Y152346*Yoshida4, X35*Yoshida22 - X35*Yoshida23 + X65*Yoshida26 + X45*Yoshida30 - X65*Yoshida30 - X45*Yoshida36, X34*Yoshida14 + Y123456*Yoshida14 + Y123456*Yoshida18 + Y152634*Yoshida18 - X34*Yoshida39 - Y152634*Yoshida39, Y142536*Yoshida1 + Y162534*Yoshida11 - X52*Yoshida22 - Y142536*Yoshida26 - Y162534*Yoshida38 + X52*Yoshida39, -Y132546*Yoshida13 + Y152346*Yoshida19 - X64*Yoshida20 + X64*Yoshida23 - Y152346*Yoshida37 + Y132546*Yoshida5, -Y162534*Yoshida13 + Y162534*Yoshida19 - X61*Yoshida34 + Y162345*Yoshida39 + X61*Yoshida7 + Y162345*Yoshida9, -X63*Yoshida10 + Y142536*Yoshida34 + Y123645*Yoshida8 - X63*Yoshida9 - Y123645*Yoshida9 - Y142536*Yoshida9, -Y132546*Yoshida13 - Y132456*Yoshida18 + Y132456*Yoshida19 + X13*Yoshida2 - X13*Yoshida25 + Y132546*Yoshida5, Y142356*Yoshida13 - X32*Yoshida16 - Y152346*Yoshida34 - X32*Yoshida35 - Y152346*Yoshida38 - Y142356*Yoshida39, -Y162534*Yoshida13 + Y162534*Yoshida19 - Y142536*Yoshida34 + X25*Yoshida39 + X25*Yoshida7 + Y142536*Yoshida9, -X63*Yoshida10 + X53*Yoshida27 - X13*Yoshida3 + X53*Yoshida31 + X13*Yoshida8 - X63*Yoshida9, -X62*Yoshida10 + X62*Yoshida15 + X61*Yoshida17 - X65*Yoshida26 + X65*Yoshida30 - X61*Yoshida33, Y123546*Yoshida1 + Y142635*Yoshida10 - Y123546*Yoshida24 + X53*Yoshida27 + X53*Yoshida31 + Y142635*Yoshida6, X54*Yoshida10 - X54*Yoshida11 + Y132645*Yoshida15 - Y132645*Yoshida6 - Y123645*Yoshida8 + Y123645*Yoshida9, -X12*Yoshida12 - X52*Yoshida22 + X52*Yoshida39 + X12*Yoshida4 - X32*Yoshida4 - X32*Yoshida7, -Y152346*Yoshida10 - X15*Yoshida16 + X51*Yoshida26 - X51*Yoshida39 + Y152346*Yoshida4 - X15*Yoshida5, -Y123546*Yoshida1 + Y123546*Yoshida24 - X12*Yoshida29 - Y123645*Yoshida8 + X12*Yoshida9 + Y123645*Yoshida9, X51*Yoshida17 - X41*Yoshida19 + X31*Yoshida2 + X51*Yoshida28 - X31*Yoshida35 - X41*Yoshida7, X42*Yoshida0 - X41*Yoshida19 + X42*Yoshida27 + X46*Yoshida38 + X46*Yoshida6 - X41*Yoshida7, X26*Yoshida28 + X26*Yoshida3 - X23*Yoshida36 + X23*Yoshida4 - X24*Yoshida4 - X24*Yoshida9, -Y142356*Yoshida12 + Y142356*Yoshida15 + X23*Yoshida18 - Y152346*Yoshida19 - X23*Yoshida35 + Y152346*Yoshida37, X26*Yoshida12 + X62*Yoshida2 + Y132645*Yoshida25 - X62*Yoshida31 + Y132645*Yoshida35 - X26*Yoshida8])