k_poly_n_15.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
4b0a4c7dea0f67a233dcc42ce9bb18d36de109aeChristian Maeder(([][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((((((((((((((((((((((((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)/\p32)/\p33)/\p34)/\p35)/\p36)/\p37)/\p38)/\p39)/\p40)/\p41)/\p42)/\p43)/\p44)/\p45)/\p46)/\p47)\/(<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>(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<->p31))\/[]p32)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p31<->p32))\/[]p33)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p32<->p33))\/[]p34)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p33<->p34))\/[]p35)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p34<->p35))\/[]p36)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p35<->p36))\/[]p37)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p36<->p37))\/[]p38)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p37<->p38))\/[]p39)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p38<->p39))\/[]p40)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p39<->p40))\/[]p41)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p40<->p41))\/[]p42)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p41<->p42))\/[]p43)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p42<->p43))\/[]p44)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p43<->p44))\/[]p45)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p44<->p45))\/[]p46)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p45<->p46))\/[]p47)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p46<->p1))\/[]p48))\/[][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((((((((((((((((((((((((~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)/\~p64)/\~p66)/\~p68)/\~p70)/\~p72)/\~p74)/\~p76)/\~p78)/\~p80)/\~p82)/\~p84)/\~p86)/\~p88)/\~p90)/\~p92)/\~p94))