w1 := (1,128)(2,129)(3,130)(4,131)(5,132)(6,133)(7,134)(8,135)(9,136)(10,137)
     (11,138)(12,139)(13,140)(14,141)(15,142)(16,143)(17,144)(18,145)(19,146)
     (20,147)(21,148)(22,149)(23,150)(24,151)(25,152)(26,153)(27,154)(28,155)
     (29,156)(30,157)(31,158)(32,159)(33,160)(34,161)(35,162)(36,163)(37,164)
     (38,165)(39,166)(40,167)(41,168)(42,169)(43,170)(44,171)(45,172)(46,173)
     (47,174)(48,175)(49,176)(50,177)(51,178)(52,179)(53,180)(54,181)(55,182)
     (56,183)(57,184)(58,185)(59,186)(60,187)(61,188)(62,189)(63,190)(64,191)
     (65,192)(66,193)(67,194)(68,195)(69,196)(70,197)(71,198)(72,199)(73,200)
     (74,201)(75,202)(76,203)(77,204)(78,205)(79,206)(80,207)(81,208)(82,209)
     (83,210)(84,211)(85,212)(86,213)(87,214)(88,215)(89,216)(90,217)(91,218)
     (92,219)(93,220)(94,221)(95,222)(96,223)(97,224)(98,225)(99,226)(100,227)
     (101,228)(102,229)(103,230)(104,231)(105,232)(106,233)(107,234)(108,235)
     (109,236)(110,237)(111,238)(112,239)(113,240)(114,241)(115,242)(116,243)
     (117,244)(118,245)(119,246)(120,247)(121,248)(122,249)(123,250)(124,251)
     (125,252)(126,253)(127,254);