> (2^128+1) - (5704689200685129054721) * (59649589127497217);
> (2^256+1) - (1238926361552897) * (93461639715357977769163558199606896584051237541638188580280321);
> (2^512+1) - (2424833) * (7455602825647884208337395736200454918783366342657) *
               (741640062627530801524787141901937474059940781097519023905821316144415759504705008092818711693940737);
> (2^1024+1) - 45592577 * 6487031809 * 4659775785220018543264560743076778192897 *
	130439874405488189727484768796509903946608530841611892186895295776832416251471863574140227977573104895898783928842923844831149032913798729088601617946094119449010595906710130531906171018354491609619193912488538116080712299672322806217820753127014424577;