a=326023
b=120561845344829717145833822890964664477289164454661659494292322521
c=23119812387308695110542195466723573149999671437304578090473901521408187760986228863
d=15027407098633642094023724924629416240581289482791222070473057361777251946987551028766864143
x=2^811-1