Skip to content

Instantly share code, notes, and snippets.

@robinhouston

robinhouston/non-multiples-of-seven-regex.txt

Created June 29, 2020 17:36
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save robinhouston/697f0701fc2d774447225ddee0923602 to your computer and use it in GitHub Desktop.
Save robinhouston/697f0701fc2d774447225ddee0923602 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
non-multiples-of-seven-regex.txt
^(1|8|[29]3*[29]|(3|[29]3*4)(1|8|[07]3*4)*(6|[07]3*[29])|(4|[29]3*5|(3|[29]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(3|43*[29]|(5|43*4)(1|8|[07]3*4)*(6|[07]3*[29]))|(5|[29]3*6|(3|[29]3*4)(1|8|[07]3*4)*(3|[07]3*6)|(4|[29]3*5|(3|[29]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))(4|[18]3*6|(2|9|[18]3*4)(1|8|[07]3*4)*(3|[07]3*6)|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))*(0|7|[18]3*[29]|(2|9|[18]3*4)(1|8|[07]3*4)*(6|[07]3*[29])|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(3|43*[29]|(5|43*4)(1|8|[07]3*4)*(6|[07]3*[29])))|(6|[29]3*[07]|(3|[29]3*4)(1|8|[07]3*4)*(4|[07]3*[07])|(4|[29]3*5|(3|[29]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(1|8|43*[07]|(5|43*4)(1|8|[07]3*4)*(4|[07]3*[07]))|(5|[29]3*6|(3|[29]3*4)(1|8|[07]3*4)*(3|[07]3*6)|(4|[29]3*5|(3|[29]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))(4|[18]3*6|(2|9|[18]3*4)(1|8|[07]3*4)*(3|[07]3*6)|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))*(5|[18]3*[07]|(2|9|[18]3*4)(1|8|[07]3*4)*(4|[07]3*[07])|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(1|8|43*[07]|(5|43*4)(1|8|[07]3*4)*(4|[07]3*[07]))))(2|9|53*[07]|(6|53*4)(1|8|[07]3*4)*(4|[07]3*[07])|(0|7|53*5|(6|53*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(1|8|43*[07]|(5|43*4)(1|8|[07]3*4)*(4|[07]3*[07]))|(1|8|53*6|(6|53*4)(1|8|[07]3*4)*(3|[07]3*6)|(0|7|53*5|(6|53*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))(4|[18]3*6|(2|9|[18]3*4)(1|8|[07]3*4)*(3|[07]3*6)|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))*(5|[18]3*[07]|(2|9|[18]3*4)(1|8|[07]3*4)*(4|[07]3*[07])|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(1|8|43*[07]|(5|43*4)(1|8|[07]3*4)*(4|[07]3*[07]))))*(4|53*[29]|(6|53*4)(1|8|[07]3*4)*(6|[07]3*[29])|(0|7|53*5|(6|53*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(3|43*[29]|(5|43*4)(1|8|[07]3*4)*(6|[07]3*[29]))|(1|8|53*6|(6|53*4)(1|8|[07]3*4)*(3|[07]3*6)|(0|7|53*5|(6|53*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))(4|[18]3*6|(2|9|[18]3*4)(1|8|[07]3*4)*(3|[07]3*6)|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(0|7|43*6|(5|43*4)(1|8|[07]3*4)*(3|[07]3*6)))*(0|7|[18]3*[29]|(2|9|[18]3*4)(1|8|[07]3*4)*(6|[07]3*[29])|(3|[18]3*5|(2|9|[18]3*4)(1|8|[07]3*4)*(2|9|[07]3*5))(6|43*5|(5|43*4)(1|8|[07]3*4)*(2|9|[07]3*5))*(3|43*[29]|(5|43*4)(1|8|[07]3*4)*(6|[07]3*[29]))))|2|9|[18]5*6|(3|[18]5*[07])(1|8|65*[07])*(0|7|65*6)|(4|[18]5*[18]|(3|[18]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(4|35*6|(5|35*[07])(1|8|65*[07])*(0|7|65*6))|(5|[18]5*[29]|(3|[18]5*[07])(1|8|65*[07])*(3|65*[29])|(4|[18]5*[18]|(3|[18]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))(4|[07]5*[29]|(2|9|[07]5*[07])(1|8|65*[07])*(3|65*[29])|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))*(1|8|[07]5*6|(2|9|[07]5*[07])(1|8|65*[07])*(0|7|65*6)|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(4|35*6|(5|35*[07])(1|8|65*[07])*(0|7|65*6)))|(6|[18]5*3|(3|[18]5*[07])(1|8|65*[07])*(4|65*3)|(4|[18]5*[18]|(3|[18]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(1|8|35*3|(5|35*[07])(1|8|65*[07])*(4|65*3))|(5|[18]5*[29]|(3|[18]5*[07])(1|8|65*[07])*(3|65*[29])|(4|[18]5*[18]|(3|[18]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))(4|[07]5*[29]|(2|9|[07]5*[07])(1|8|65*[07])*(3|65*[29])|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))*(5|[07]5*3|(2|9|[07]5*[07])(1|8|65*[07])*(4|65*3)|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(1|8|35*3|(5|35*[07])(1|8|65*[07])*(4|65*3))))(2|9|45*3|(6|45*[07])(1|8|65*[07])*(4|65*3)|(0|7|45*[18]|(6|45*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(1|8|35*3|(5|35*[07])(1|8|65*[07])*(4|65*3))|(1|8|45*[29]|(6|45*[07])(1|8|65*[07])*(3|65*[29])|(0|7|45*[18]|(6|45*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))(4|[07]5*[29]|(2|9|[07]5*[07])(1|8|65*[07])*(3|65*[29])|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))*(5|[07]5*3|(2|9|[07]5*[07])(1|8|65*[07])*(4|65*3)|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(1|8|35*3|(5|35*[07])(1|8|65*[07])*(4|65*3))))*(5|45*6|(6|45*[07])(1|8|65*[07])*(0|7|65*6)|(0|7|45*[18]|(6|45*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(4|35*6|(5|35*[07])(1|8|65*[07])*(0|7|65*6))|(1|8|45*[29]|(6|45*[07])(1|8|65*[07])*(3|65*[29])|(0|7|45*[18]|(6|45*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))(4|[07]5*[29]|(2|9|[07]5*[07])(1|8|65*[07])*(3|65*[29])|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(0|7|35*[29]|(5|35*[07])(1|8|65*[07])*(3|65*[29])))*(1|8|[07]5*6|(2|9|[07]5*[07])(1|8|65*[07])*(0|7|65*6)|(3|[07]5*[18]|(2|9|[07]5*[07])(1|8|65*[07])*(2|9|65*[18]))(6|35*[18]|(5|35*[07])(1|8|65*[07])*(2|9|65*[18]))*(4|35*6|(5|35*[07])(1|8|65*[07])*(0|7|65*6))))|3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07])|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))|(5|[18]5*[29]|(2|9|[18]5*6)(3|[29]5*6)*(6|[29]5*[29])|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))*(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07])|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07])))|(6|[18]5*3|(2|9|[18]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3))|(5|[18]5*[29]|(2|9|[18]5*6)(3|[29]5*6)*(6|[29]5*[29])|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))*(5|[07]5*3|(1|8|[07]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3))))(2|9|45*3|(5|45*6)(3|[29]5*6)*(0|7|[29]5*3)|(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3))|(1|8|45*[29]|(5|45*6)(3|[29]5*6)*(6|[29]5*[29])|(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))*(5|[07]5*3|(1|8|[07]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3))))*(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07])|(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))|(1|8|45*[29]|(5|45*6)(3|[29]5*6)*(6|[29]5*[29])|(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])))*(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07])|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18]))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18]))*(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))))|4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18]))|(5|[18]5*[29]|(2|9|[18]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))*(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))|(6|[18]5*3|(2|9|[18]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))|(5|[18]5*[29]|(2|9|[18]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))*(5|[07]5*3|(1|8|[07]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))))(2|9|45*3|(5|45*6)(3|[29]5*6)*(0|7|[29]5*3)|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))|(1|8|45*[29]|(5|45*6)(3|[29]5*6)*(6|[29]5*[29])|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))*(5|[07]5*3|(1|8|[07]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))))*(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18])|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18]))|(1|8|45*[29]|(5|45*6)(3|[29]5*6)*(6|[29]5*[29])|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))*(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18]))))|5|[18]5*[29]|(2|9|[18]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29])))|(6|[18]5*3|(2|9|[18]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3)|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))))(2|9|45*3|(5|45*6)(3|[29]5*6)*(0|7|[29]5*3)|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))|(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18])|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3)|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))))*(1|8|45*[29]|(5|45*6)(3|[29]5*6)*(6|[29]5*[29])|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))|(0|7|45*[18]|(5|45*6)(3|[29]5*6)*(5|[29]5*[18])|(6|45*[07]|(5|45*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))))|6|[18]5*3|(2|9|[18]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3)|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3)))|(5|[18]5*[29]|(2|9|[18]5*6)(3|[29]5*6)*(6|[29]5*[29])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))|(4|[18]5*[18]|(2|9|[18]5*6)(3|[29]5*6)*(5|[29]5*[18])|(3|[18]5*[07]|(2|9|[18]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))))(4|[07]5*[29]|(1|8|[07]5*6)(3|[29]5*6)*(6|[29]5*[29])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(0|7|35*[29]|(4|35*6)(3|[29]5*6)*(6|[29]5*[29])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(3|65*[29]|(0|7|65*6)(3|[29]5*6)*(6|[29]5*[29]))))*(5|[07]5*3|(1|8|[07]5*6)(3|[29]5*6)*(0|7|[29]5*3)|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3))|(3|[07]5*[18]|(1|8|[07]5*6)(3|[29]5*6)*(5|[29]5*[18])|(2|9|[07]5*[07]|(1|8|[07]5*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))(6|35*[18]|(4|35*6)(3|[29]5*6)*(5|[29]5*[18])|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(2|9|65*[18]|(0|7|65*6)(3|[29]5*6)*(5|[29]5*[18])))*(1|8|35*3|(4|35*6)(3|[29]5*6)*(0|7|[29]5*3)|(5|35*[07]|(4|35*6)(3|[29]5*6)*(4|[29]5*[07]))(1|8|65*[07]|(0|7|65*6)(3|[29]5*6)*(4|[29]5*[07]))*(4|65*3|(0|7|65*6)(3|[29]5*6)*(0|7|[29]5*3)))))$
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment