k_poly_n_10.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
(([][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((((((((p1/\p2)/\p3)/\p4)/\p5)/\p6)/\p7)/\p8)/\p9)/\p10)/\p11)/\p12)/\p13)/\p14)/\p15)/\p16)/\p17)/\p18)/\p19)/\p20)/\p21)/\p22)/\p23)/\p24)/\p25)/\p26)/\p27)/\p28)/\p29)/\p30)/\p31)\/(<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>(F\/<>(p1<->p2))\/[]p3)\/<><>(p2<->p3))\/[]p4)\/<><><>(p3<->p4))\/[]p5)\/<><><><>(p4<->p5))\/[]p6)\/<><><><><>(p5<->p6))\/[]p7)\/<><><><><><>(p6<->p7))\/[]p8)\/<><><><><><><>(p7<->p8))\/[]p9)\/<><><><><><><><>(p8<->p9))\/[]p10)\/<><><><><><><><><>(p9<->p10))\/[]p11)\/<><><><><><><><><><>(p10<->p11))\/[]p12)\/<><><><><><><><><><><>(p11<->p12))\/[]p13)\/<><><><><><><><><><><><>(p12<->p13))\/[]p14)\/<><><><><><><><><><><><><>(p13<->p14))\/[]p15)\/<><><><><><><><><><><><><><>(p14<->p15))\/[]p16)\/<><><><><><><><><><><><><><><>(p15<->p16))\/[]p17)\/<><><><><><><><><><><><><><><><>(p16<->p17))\/[]p18)\/<><><><><><><><><><><><><><><><><>(p17<->p18))\/[]p19)\/<><><><><><><><><><><><><><><><><><>(p18<->p19))\/[]p20)\/<><><><><><><><><><><><><><><><><><><>(p19<->p20))\/[]p21)\/<><><><><><><><><><><><><><><><><><><><>(p20<->p21))\/[]p22)\/<><><><><><><><><><><><><><><><><><><><><>(p21<->p22))\/[]p23)\/<><><><><><><><><><><><><><><><><><><><><><>(p22<->p23))\/[]p24)\/<><><><><><><><><><><><><><><><><><><><><><><>(p23<->p24))\/[]p25)\/<><><><><><><><><><><><><><><><><><><><><><><><>(p24<->p25))\/[]p26)\/<><><><><><><><><><><><><><><><><><><><><><><><><>(p25<->p26))\/[]p27)\/<><><><><><><><><><><><><><><><><><><><><><><><><><>(p26<->p27))\/[]p28)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><>(p27<->p28))\/[]p29)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p28<->p29))\/[]p30)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p29<->p30))\/[]p31)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p30<->p1))\/[]p32))\/[][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((((((((~p2/\~p4)/\~p6)/\~p8)/\~p10)/\~p12)/\~p14)/\~p16)/\~p18)/\~p20)/\~p22)/\~p24)/\~p26)/\~p28)/\~p30)/\~p32)/\~p34)/\~p36)/\~p38)/\~p40)/\~p42)/\~p44)/\~p46)/\~p48)/\~p50)/\~p52)/\~p54)/\~p56)/\~p58)/\~p60)/\~p62))