k_poly_n_19.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)/\p32)/\p33)/\p34)/\p35)/\p36)/\p37)/\p38)/\p39)/\p40)/\p41)/\p42)/\p43)/\p44)/\p45)/\p46)/\p47)/\p48)/\p49)/\p50)/\p51)/\p52)/\p53)/\p54)/\p55)/\p56)/\p57)/\p58)/\p59)\/(<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>((<>(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<->p47))\/[]p48)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p47<->p48))\/[]p49)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p48<->p49))\/[]p50)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p49<->p50))\/[]p51)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p50<->p51))\/[]p52)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p51<->p52))\/[]p53)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p52<->p53))\/[]p54)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p53<->p54))\/[]p55)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p54<->p55))\/[]p56)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p55<->p56))\/[]p57)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p56<->p57))\/[]p58)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p57<->p58))\/[]p59)\/<><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>(p58<->p1))\/[]p60))\/[][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][][]((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~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)/\~p96)/\~p98)/\~p100)/\~p102)/\~p104)/\~p106)/\~p108)/\~p110)/\~p112)/\~p114)/\~p116)/\~p118))