Last active
July 23, 2021 05:17
-
-
Save takoeight0821/a6517c619b6a37279ee88d7afd3844ad to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ((N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+(W+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(E+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S))*(N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))+(W+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(N(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))))(EW+EE(WE)*WW+SN+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+(SS+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*WS+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))+((ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*S+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(SS+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*WS+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(N(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))))*((EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+(SS+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*WS+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+((ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*S+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(SS+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*WS+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(E+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S)))*(N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+(W+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(E+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*S))*(N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))+(W+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+N(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(N(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))))(EW+EE(WE)*WW+SN+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+(SS+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*WS+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))+((ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*S+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(SS+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*WS+(EE(WE)*S+(ES+EE(WE)*WS+SE)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))(N(NS+NE(WE)*WS+WE)*S+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(E+NE(NS+NE(WE)*WS+WE)*S+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*S))*(N(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN))+(W+N(NS+NE(WE)*WS+WE)*WS+N(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)(NS+NE(NS+NE(WE)*WS+WE)*WS+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*WS)*(NN+NE(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)+NE(NS+NE(WE)*WS+WE)*(E+NE(WE)*S)(N(WE)*S+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(E+NE(WE)*S))*(N(WE)*WW+(W+N(WE)*WS)(NS+NE(WE)*WS+WE)*(NW+NE(WE)*WW+WN)))))* |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
http://www.jflap.org/ を使って求めた