An interactive verification for

Input k1 and k2 of T k1,k2 as below:
k1= (10>=k1>=4)
k2= (10>=k2>=k1)
Press to generate two arched leveled-planar graphs of Tk1,k2.