z1 := 10120702013239132743480275768306785147390678846443928019044793016817713201959413120715107910589194073558873558874059447252671987301752420839934706644836014081; z2 := 9948798347958734957934573948579345797987094387694876984759647697459679457694797694567457694769749768945689799343; z3 := 9230980934805980398509485039485093845091;