f() k=0xf41fd
1) a_n=0x513, b_n=0x9aa, result_n=0xf41fd
1) a_n=0x38c, b_n=0x513, result_n=0xf41fd
1) a_n=0x20b, b_n=0x38c, result_n=0xf41fd
1) a_n=0x79a, b_n=0x20b, result_n=0xf41fd
1) a_n=0xd3f, b_n=0x79a, result_n=0xf41fd
1) a_n=0x6bb, b_n=0xfba, result_n=0xf41fd
1) a_n=0x2cc, b_n=0x6bb, result_n=0xf41fd
1) a_n=0x323, b_n=0x2cc, result_n=0xf41fd
1) a_n=0x48a, b_n=0x323, result_n=0xf41fd
1) a_n=0xa37, b_n=0x48a, result_n=0xf41fd
2) a_n=0x9aa, b_n=0x1647, result_n=0xf41fd
2) a_n=0xa37, b_n=0x10e4, result_n=0xf41fd
2) a_n=0xfba, b_n=0x19cf, result_n=0xf41fd
2) a_n=0xd3f, b_n=0x1de4, result_n=0xf41fd
2) a_n=0x19cf, b_n=0x3c24, result_n=0xf41fd
2) a_n=0x10e4, b_n=0x2bff, result_n=0xf41fd
2) a_n=0x1de4, b_n=0x36f7, result_n=0xf41fd
2) a_n=0x1647, b_n=0x2524, result_n=0xf41fd
2) a_n=0x2bff, b_n=0x471a, result_n=0xf41fd
2) a_n=0x3c24, b_n=0x6187, result_n=0xf41fd
2) a_n=0x2524, b_n=0x5c0f, result_n=0xf41fd
2) a_n=0x36f7, b_n=0x700a, result_n=0xf41fd
2) a_n=0x700a, b_n=0xd6e3, result_n=0xf41fd
2) a_n=0x471a, b_n=0xa5cb, result_n=0xf41fd
2) a_n=0x5c0f, b_n=0x9d3a, result_n=0xf41fd
2) a_n=0x6187, b_n=0xff2a, result_n=0xf41fd
2) a_n=0xff2a, b_n=0x19fd3, result_n=0xf41fd
2) a_n=0xa5cb, b_n=0x10c8c, result_n=0xf41fd
2) a_n=0x9d3a, b_n=0x1667b, result_n=0xf41fd
2) a_n=0xd6e3, b_n=0x1ddcc, result_n=0xf41fd
2) a_n=0x1667b, b_n=0x251cc, result_n=0xf41fd
2) a_n=0x1ddcc, b_n=0x36d7b, result_n=0xf41fd
2) a_n=0x10c8c, b_n=0x2bcd3, result_n=0xf41fd
2) a_n=0x19fd3, b_n=0x3c08c, result_n=0xf41fd
2) a_n=0x251cc, b_n=0x5c5e3, result_n=0xf41fd
2) a_n=0x3c08c, b_n=0x61ecb, result_n=0xf41fd
2) a_n=0x2bcd3, b_n=0x4752a, result_n=0xf41fd
2) a_n=0x36d7b, b_n=0x7073a, result_n=0xf41fd
2) a_n=0x4752a, b_n=0xa5687, result_n=0xf41fd
2) a_n=0x61ecb, b_n=0xffd1a, result_n=0xf41fd
2) a_n=0x7073a, b_n=0xd630f, result_n=0xf41fd
2) a_n=0x5c5e3, b_n=0x9da0a, result_n=0xf41fd
2) a_n=0x9da0a, b_n=0x1671f7, result_n=0xf41fd
2) a_n=0xffd1a, b_n=0x19e4ff, result_n=0xf41fd
2) a_n=0xd630f, b_n=0x1dc124, result_n=0xf41fd
2) a_n=0xa5687, b_n=0x10d824, result_n=0xf41fd
2) a_n=0x1671f7, b_n=0x2539e4, result_n=0xf41fd
2) a_n=0x1dc124, b_n=0x36e147, result_n=0xf41fd
2) a_n=0x10d824, b_n=0x2be6cf, result_n=0xf41fd
2) a_n=0x19e4ff, b_n=0x3c34e4, result_n=0xf41fd
2) a_n=0x2be6cf, b_n=0x4715ba, result_n=0xf41fd
2) a_n=0x3c34e4, b_n=0x618d37, result_n=0xf41fd
2) a_n=0x2539e4, b_n=0x5c023f, result_n=0xf41fd
2) a_n=0x36e147, b_n=0x7003aa, result_n=0xf41fd
2) a_n=0x4715ba, b_n=0xa5cdbb, result_n=0xf41fd
2) a_n=0x7003aa, b_n=0xd6e613, result_n=0xf41fd
2) a_n=0x5c023f, b_n=0x9d3d9a, result_n=0xf41fd
2) a_n=0x618d37, b_n=0xff2e8a, result_n=0xf41fd
2) a_n=0x9d3d9a, b_n=0x166790b, result_n=0xf41fd
2) a_n=0xd6e613, b_n=0x1ddcf8c, result_n=0xf41fd
2) a_n=0xa5cdbb, b_n=0x10c8ecc, result_n=0xf41fd
2) a_n=0xff2e8a, b_n=0x19fd023, result_n=0xf41fd
2) a_n=0x19fd023, b_n=0x3c08ecc, result_n=0xf41fd
2) a_n=0x166790b, b_n=0x251cf8c, result_n=0xf41fd
2) a_n=0x1ddcf8c, b_n=0x36d790b, result_n=0xf41fd
2) a_n=0x10c8ecc, b_n=0x2bcd023, result_n=0xf41fd
2) a_n=0x2bcd023, b_n=0x4752e8a, result_n=0xf41fd
2) a_n=0x3c08ecc, b_n=0x61ecdbb, result_n=0xf41fd
2) a_n=0x36d790b, b_n=0x7073d9a, result_n=0xf41fd
2) a_n=0x251cf8c, b_n=0x5c5e613, result_n=0xf41fd
2) a_n=0x7073d9a, b_n=0xd63023f, result_n=0xf41fd
2) a_n=0x5c5e613, b_n=0x9da03aa, result_n=0xf41fd
2) a_n=0x61ecdbb, b_n=0xffd15ba, result_n=0xf41fd
2) a_n=0x4752e8a, b_n=0xa568d37, result_n=0xf41fd
2) a_n=0xffd15ba, b_n=0x19e4e6cf, result_n=0xf41fd
2) a_n=0x9da03aa, b_n=0x1671e147, result_n=0xf41fd
2) a_n=0xa568d37, b_n=0x10d834e4, result_n=0xf41fd
2) a_n=0xd63023f, b_n=0x1dc139e4, result_n=0xf41fd
2) a_n=0x1dc139e4, b_n=0x36e171f7, result_n=0xf41fd
2) a_n=0x10d834e4, b_n=0x2be6e4ff, result_n=0xf41fd
2) a_n=0x1671e147, b_n=0x2539c124, result_n=0xf41fd
2) a_n=0x19e4e6cf, b_n=0x3c34d824, result_n=0xf41fd
2) a_n=0x36e171f7, b_n=0x7003da0a, result_n=0xf41fd
2) a_n=0x3c34d824, b_n=0x618d5687, result_n=0xf41fd
2) a_n=0x2539c124, b_n=0x5c02630f, result_n=0xf41fd
2) a_n=0x2be6e4ff, b_n=0x4715fd1a, result_n=0xf41fd
2) a_n=0x7003da0a, b_n=0xd6e6c5e3, result_n=0xf41fd
2) a_n=0x4715fd1a, b_n=0xa5cd1ecb, result_n=0xf41fd
2) a_n=0x5c02630f, b_n=0x9d3d073a, result_n=0xf41fd
2) a_n=0x618d5687, b_n=0xff2e752a, result_n=0xf41fd
2) a_n=0xff2e752a, b_n=0x19fd1bcd3, result_n=0xf41fd
2) a_n=0xa5cd1ecb, b_n=0x10c8fc08c, result_n=0xf41fd
2) a_n=0x9d3d073a, b_n=0x166786d7b, result_n=0xf41fd
2) a_n=0xd6e6c5e3, b_n=0x1ddce51cc, result_n=0xf41fd
2) a_n=0x166786d7b, b_n=0x251cdddcc, result_n=0xf41fd
2) a_n=0x1ddce51cc, b_n=0x36d7a667b, result_n=0xf41fd
2) a_n=0x19fd1bcd3, b_n=0x3c08d0c8c, result_n=0xf41fd
2) a_n=0x10c8fc08c, b_n=0x2bcd29fd3, result_n=0xf41fd
2) a_n=0x36d7a667b, b_n=0x7073a9d3a, result_n=0xf41fd
2) a_n=0x3c08d0c8c, b_n=0x61ecba5cb, result_n=0xf41fd
2) a_n=0x2bcd29fd3, b_n=0x4752aff2a, result_n=0xf41fd
2) a_n=0x251cdddcc, b_n=0x5c5e3d6e3, result_n=0xf41fd
2) a_n=0x4752aff2a, b_n=0xa56876187, result_n=0xf41fd
2) a_n=0x5c5e3d6e3, b_n=0x9da0a700a, result_n=0xf41fd
2) a_n=0x7073a9d3a, b_n=0xd630f5c0f, result_n=0xf41fd
2) a_n=0x61ecba5cb, b_n=0xffd1a471a, result_n=0xf41fd
2) a_n=0xa56876187, b_n=0x10d8243c24, result_n=0xf41fd
2) a_n=0x9da0a700a, b_n=0x1671f736f7, result_n=0xf41fd
2) a_n=0xffd1a471a, b_n=0x19e4ff2bff, result_n=0xf41fd
2) a_n=0xd630f5c0f, b_n=0x1dc1242524, result_n=0xf41fd
2) a_n=0x19e4ff2bff, b_n=0x3c34e410e4, result_n=0xf41fd
2) a_n=0x10d8243c24, b_n=0x2be6cf19cf, result_n=0xf41fd
2) a_n=0x1dc1242524, b_n=0x36e1471647, result_n=0xf41fd
2) a_n=0x1671f736f7, b_n=0x2539e41de4, result_n=0xf41fd
2) a_n=0x2be6cf19cf, b_n=0x4715ba0fba, result_n=0xf41fd
2) a_n=0x3c34e410e4, b_n=0x618d370a37, result_n=0xf41fd
2) a_n=0x2539e41de4, b_n=0x5c023f0d3f, result_n=0xf41fd
2) a_n=0x36e1471647, b_n=0x7003aa09aa, result_n=0xf41fd
2) a_n=0x4715ba0fba, b_n=0xa5cdbb06bb, result_n=0xf41fd
2) a_n=0x7003aa09aa, b_n=0xd6e6130513, result_n=0xf41fd
2) a_n=0x5c023f0d3f, b_n=0x9d3d9a079a, result_n=0xf41fd
2) a_n=0x618d370a37, b_n=0xff2e8a048a, result_n=0xf41fd
2) a_n=0xd6e6130513, b_n=0x1ddcf8c038c, result_n=0xf41fd
2) a_n=0xff2e8a048a, b_n=0x19fd0230323, result_n=0xf41fd
2) a_n=0xa5cdbb06bb, b_n=0x10c8ecc02cc, result_n=0xf41fd
2) a_n=0x9d3d9a079a, b_n=0x166790b020b, result_n=0xf41fd
2) a_n=0x19fd0230323, b_n=0x3c08ecc02cc, result_n=0xf41fd
2) a_n=0x166790b020b, b_n=0x251cf8c038c, result_n=0xf41fd
2) a_n=0x10c8ecc02cc, b_n=0x2bcd0230323, result_n=0xf41fd
2) a_n=0x1ddcf8c038c, b_n=0x36d790b020b, result_n=0xf41fd
2) a_n=0x2bcd0230323, b_n=0x4752e8a048a, result_n=0xf41fd
2) a_n=0x36d790b020b, b_n=0x7073d9a079a, result_n=0xf41fd
2) a_n=0x3c08ecc02cc, b_n=0x61ecdbb06bb, result_n=0xf41fd
2) a_n=0x251cf8c038c, b_n=0x5c5e6130513, result_n=0xf41fd
2) a_n=0x5c5e6130513, b_n=0x9da03aa09aa, result_n=0xf41fd
2) a_n=0x4752e8a048a, b_n=0xa568d370a37, result_n=0xf41fd
2) a_n=0x61ecdbb06bb, b_n=0xffd15ba0fba, result_n=0xf41fd
2) a_n=0x7073d9a079a, b_n=0xd63023f0d3f, result_n=0xf41fd
2) a_n=0xffd15ba0fba, b_n=0x19e4e6cf19cf, result_n=0xf41fd
2) a_n=0x9da03aa09aa, b_n=0x1671e1471647, result_n=0xf41fd
2) a_n=0xd63023f0d3f, b_n=0x1dc139e41de4, result_n=0xf41fd
2) a_n=0xa568d370a37, b_n=0x10d834e410e4, result_n=0xf41fd
2) a_n=0x19e4e6cf19cf, b_n=0x3c34d8243c24, result_n=0xf41fd
2) a_n=0x10d834e410e4, b_n=0x2be6e4ff2bff, result_n=0xf41fd
2) a_n=0x1dc139e41de4, b_n=0x36e171f736f7, result_n=0xf41fd
2) a_n=0x1671e1471647, b_n=0x2539c1242524, result_n=0xf41fd
2) a_n=0x2be6e4ff2bff, b_n=0x4715fd1a471a, result_n=0xf41fd
2) a_n=0x3c34d8243c24, b_n=0x618d56876187, result_n=0xf41fd
2) a_n=0x2539c1242524, b_n=0x5c02630f5c0f, result_n=0xf41fd
2) a_n=0x36e171f736f7, b_n=0x7003da0a700a, result_n=0xf41fd
2) a_n=0x618d56876187, b_n=0xff2e752aff2a, result_n=0xf41fd
2) a_n=0x4715fd1a471a, b_n=0xa5cd1ecba5cb, result_n=0xf41fd
2) a_n=0x7003da0a700a, b_n=0xd6e6c5e3d6e3, result_n=0xf41fd
2) a_n=0x5c02630f5c0f, b_n=0x9d3d073a9d3a, result_n=0xf41fd
2) a_n=0xff2e752aff2a, b_n=0x19fd1bcd29fd3, result_n=0xf41fd
2) a_n=0xa5cd1ecba5cb, b_n=0x10c8fc08d0c8c, result_n=0xf41fd
2) a_n=0x9d3d073a9d3a, b_n=0x166786d7a667b, result_n=0xf41fd
2) a_n=0xd6e6c5e3d6e3, b_n=0x1ddce51cdddcc, result_n=0xf41fd
2) a_n=0x166786d7a667b, b_n=0x251cdddce51cc, result_n=0xf41fd
2) a_n=0x10c8fc08d0c8c, b_n=0x2bcd29fd1bcd3, result_n=0xf41fd
2) a_n=0x19fd1bcd29fd3, b_n=0x3c08d0c8fc08c, result_n=0xf41fd
2) a_n=0x1ddce51cdddcc, b_n=0x36d7a66786d7b, result_n=0xf41fd
2) a_n=0x36d7a66786d7b, b_n=0x7073a9d3d073a, result_n=0xf41fd
2) a_n=0x251cdddce51cc, b_n=0x5c5e3d6e6c5e3, result_n=0xf41fd
2) a_n=0x2bcd29fd1bcd3, b_n=0x4752aff2e752a, result_n=0xf41fd
2) a_n=0x3c08d0c8fc08c, b_n=0x61ecba5cd1ecb, result_n=0xf41fd
2) a_n=0x4752aff2e752a, b_n=0xa5687618d5687, result_n=0xf41fd
2) a_n=0x61ecba5cd1ecb, b_n=0xffd1a4715fd1a, result_n=0xf41fd
2) a_n=0x7073a9d3d073a, b_n=0xd630f5c02630f, result_n=0xf41fd
2) a_n=0x5c5e3d6e6c5e3, b_n=0x9da0a7003da0a, result_n=0xf41fd
2) a_n=0x9da0a7003da0a, b_n=0x1671f736e171f7, result_n=0xf41fd
2) a_n=0xffd1a4715fd1a, b_n=0x19e4ff2be6e4ff, result_n=0xf41fd
2) a_n=0xd630f5c02630f, b_n=0x1dc1242539c124, result_n=0xf41fd
2) a_n=0xa5687618d5687, b_n=0x10d8243c34d824, result_n=0xf41fd
2) a_n=0x1671f736e171f7, b_n=0x2539e41dc139e4, result_n=0xf41fd
2) a_n=0x10d8243c34d824, b_n=0x2be6cf19e4e6cf, result_n=0xf41fd
2) a_n=0x1dc1242539c124, b_n=0x36e1471671e147, result_n=0xf41fd
2) a_n=0x19e4ff2be6e4ff, b_n=0x3c34e410d834e4, result_n=0xf41fd
2) a_n=0x2539e41dc139e4, b_n=0x5c023f0d63023f, result_n=0xf41fd
2) a_n=0x3c34e410d834e4, b_n=0x618d370a568d37, result_n=0xf41fd
2) a_n=0x36e1471671e147, b_n=0x7003aa09da03aa, result_n=0xf41fd
2) a_n=0x2be6cf19e4e6cf, b_n=0x4715ba0ffd15ba, result_n=0xf41fd
2) a_n=0x4715ba0ffd15ba, b_n=0xa5cdbb061ecdbb, result_n=0xf41fd
2) a_n=0x7003aa09da03aa, b_n=0xd6e61305c5e613, result_n=0xf41fd
2) a_n=0x618d370a568d37, b_n=0xff2e8a04752e8a, result_n=0xf41fd
2) a_n=0x5c023f0d63023f, b_n=0x9d3d9a07073d9a, result_n=0xf41fd
2) a_n=0xff2e8a04752e8a, b_n=0x19fd02302bcd023, result_n=0xf41fd
2) a_n=0xd6e61305c5e613, b_n=0x1ddcf8c0251cf8c, result_n=0xf41fd
2) a_n=0xa5cdbb061ecdbb, b_n=0x10c8ecc03c08ecc, result_n=0xf41fd
2) a_n=0x9d3d9a07073d9a, b_n=0x166790b036d790b, result_n=0xf41fd
all solutions:
a, b, k 0x20b 0x38c 0xf41fd
a, b, k 0x20b 0x79a 0xf41fd
a, b, k 0x2cc 0x323 0xf41fd
a, b, k 0x2cc 0x6bb 0xf41fd
a, b, k 0x323 0x48a 0xf41fd
a, b, k 0x38c 0x513 0xf41fd
a, b, k 0x48a 0xa37 0xf41fd
a, b, k 0x513 0x9aa 0xf41fd
a, b, k 0x6bb 0xfba 0xf41fd
a, b, k 0x79a 0xd3f 0xf41fd
a, b, k 0x9aa 0x1647 0xf41fd
a, b, k 0xa37 0x10e4 0xf41fd
a, b, k 0xd3f 0x1de4 0xf41fd
a, b, k 0xfba 0x19cf 0xf41fd
a, b, k 0x10e4 0x2bff 0xf41fd
a, b, k 0x1647 0x2524 0xf41fd
a, b, k 0x19cf 0x3c24 0xf41fd
a, b, k 0x1de4 0x36f7 0xf41fd
a, b, k 0x2524 0x5c0f 0xf41fd
a, b, k 0x2bff 0x471a 0xf41fd
a, b, k 0x36f7 0x700a 0xf41fd
a, b, k 0x3c24 0x6187 0xf41fd
a, b, k 0x471a 0xa5cb 0xf41fd
a, b, k 0x5c0f 0x9d3a 0xf41fd
a, b, k 0x6187 0xff2a 0xf41fd
a, b, k 0x700a 0xd6e3 0xf41fd
a, b, k 0x9d3a 0x1667b 0xf41fd
a, b, k 0xa5cb 0x10c8c 0xf41fd
a, b, k 0xd6e3 0x1ddcc 0xf41fd
a, b, k 0xff2a 0x19fd3 0xf41fd
a, b, k 0x10c8c 0x2bcd3 0xf41fd
a, b, k 0x1667b 0x251cc 0xf41fd
a, b, k 0x19fd3 0x3c08c 0xf41fd
a, b, k 0x1ddcc 0x36d7b 0xf41fd
a, b, k 0x251cc 0x5c5e3 0xf41fd
a, b, k 0x2bcd3 0x4752a 0xf41fd
a, b, k 0x36d7b 0x7073a 0xf41fd
a, b, k 0x3c08c 0x61ecb 0xf41fd
a, b, k 0x4752a 0xa5687 0xf41fd
a, b, k 0x5c5e3 0x9da0a 0xf41fd
a, b, k 0x61ecb 0xffd1a 0xf41fd
a, b, k 0x7073a 0xd630f 0xf41fd
a, b, k 0x9da0a 0x1671f7 0xf41fd
a, b, k 0xa5687 0x10d824 0xf41fd
a, b, k 0xd630f 0x1dc124 0xf41fd
a, b, k 0xffd1a 0x19e4ff 0xf41fd
a, b, k 0x10d824 0x2be6cf 0xf41fd
a, b, k 0x1671f7 0x2539e4 0xf41fd
a, b, k 0x19e4ff 0x3c34e4 0xf41fd
a, b, k 0x1dc124 0x36e147 0xf41fd
a, b, k 0x2539e4 0x5c023f 0xf41fd
a, b, k 0x2be6cf 0x4715ba 0xf41fd
a, b, k 0x36e147 0x7003aa 0xf41fd
a, b, k 0x3c34e4 0x618d37 0xf41fd
a, b, k 0x4715ba 0xa5cdbb 0xf41fd
a, b, k 0x5c023f 0x9d3d9a 0xf41fd
a, b, k 0x618d37 0xff2e8a 0xf41fd
a, b, k 0x7003aa 0xd6e613 0xf41fd
a, b, k 0x9d3d9a 0x166790b 0xf41fd
a, b, k 0xa5cdbb 0x10c8ecc 0xf41fd
a, b, k 0xd6e613 0x1ddcf8c 0xf41fd
a, b, k 0xff2e8a 0x19fd023 0xf41fd
a, b, k 0x10c8ecc 0x2bcd023 0xf41fd
a, b, k 0x166790b 0x251cf8c 0xf41fd
a, b, k 0x19fd023 0x3c08ecc 0xf41fd
a, b, k 0x1ddcf8c 0x36d790b 0xf41fd
a, b, k 0x251cf8c 0x5c5e613 0xf41fd
a, b, k 0x2bcd023 0x4752e8a 0xf41fd
a, b, k 0x36d790b 0x7073d9a 0xf41fd
a, b, k 0x3c08ecc 0x61ecdbb 0xf41fd
a, b, k 0x4752e8a 0xa568d37 0xf41fd
a, b, k 0x5c5e613 0x9da03aa 0xf41fd
a, b, k 0x61ecdbb 0xffd15ba 0xf41fd
a, b, k 0x7073d9a 0xd63023f 0xf41fd
a, b, k 0x9da03aa 0x1671e147 0xf41fd
a, b, k 0xa568d37 0x10d834e4 0xf41fd
a, b, k 0xd63023f 0x1dc139e4 0xf41fd
a, b, k 0xffd15ba 0x19e4e6cf 0xf41fd
a, b, k 0x10d834e4 0x2be6e4ff 0xf41fd
a, b, k 0x1671e147 0x2539c124 0xf41fd
a, b, k 0x19e4e6cf 0x3c34d824 0xf41fd
a, b, k 0x1dc139e4 0x36e171f7 0xf41fd
a, b, k 0x2539c124 0x5c02630f 0xf41fd
a, b, k 0x2be6e4ff 0x4715fd1a 0xf41fd
a, b, k 0x36e171f7 0x7003da0a 0xf41fd
a, b, k 0x3c34d824 0x618d5687 0xf41fd
a, b, k 0x4715fd1a 0xa5cd1ecb 0xf41fd
a, b, k 0x5c02630f 0x9d3d073a 0xf41fd
a, b, k 0x618d5687 0xff2e752a 0xf41fd
a, b, k 0x7003da0a 0xd6e6c5e3 0xf41fd
a, b, k 0x9d3d073a 0x166786d7b 0xf41fd
a, b, k 0xa5cd1ecb 0x10c8fc08c 0xf41fd
a, b, k 0xd6e6c5e3 0x1ddce51cc 0xf41fd
a, b, k 0xff2e752a 0x19fd1bcd3 0xf41fd
a, b, k 0x10c8fc08c 0x2bcd29fd3 0xf41fd
a, b, k 0x166786d7b 0x251cdddcc 0xf41fd
a, b, k 0x19fd1bcd3 0x3c08d0c8c 0xf41fd
a, b, k 0x1ddce51cc 0x36d7a667b 0xf41fd
a, b, k 0x251cdddcc 0x5c5e3d6e3 0xf41fd
a, b, k 0x2bcd29fd3 0x4752aff2a 0xf41fd
a, b, k 0x36d7a667b 0x7073a9d3a 0xf41fd
a, b, k 0x3c08d0c8c 0x61ecba5cb 0xf41fd
a, b, k 0x4752aff2a 0xa56876187 0xf41fd
a, b, k 0x5c5e3d6e3 0x9da0a700a 0xf41fd
a, b, k 0x61ecba5cb 0xffd1a471a 0xf41fd
a, b, k 0x7073a9d3a 0xd630f5c0f 0xf41fd
a, b, k 0x9da0a700a 0x1671f736f7 0xf41fd
a, b, k 0xa56876187 0x10d8243c24 0xf41fd
a, b, k 0xd630f5c0f 0x1dc1242524 0xf41fd
a, b, k 0xffd1a471a 0x19e4ff2bff 0xf41fd
a, b, k 0x10d8243c24 0x2be6cf19cf 0xf41fd
a, b, k 0x1671f736f7 0x2539e41de4 0xf41fd
a, b, k 0x19e4ff2bff 0x3c34e410e4 0xf41fd
a, b, k 0x1dc1242524 0x36e1471647 0xf41fd
a, b, k 0x2539e41de4 0x5c023f0d3f 0xf41fd
a, b, k 0x2be6cf19cf 0x4715ba0fba 0xf41fd
a, b, k 0x36e1471647 0x7003aa09aa 0xf41fd
a, b, k 0x3c34e410e4 0x618d370a37 0xf41fd
a, b, k 0x4715ba0fba 0xa5cdbb06bb 0xf41fd
a, b, k 0x5c023f0d3f 0x9d3d9a079a 0xf41fd
a, b, k 0x618d370a37 0xff2e8a048a 0xf41fd
a, b, k 0x7003aa09aa 0xd6e6130513 0xf41fd
a, b, k 0x9d3d9a079a 0x166790b020b 0xf41fd
a, b, k 0xa5cdbb06bb 0x10c8ecc02cc 0xf41fd
a, b, k 0xd6e6130513 0x1ddcf8c038c 0xf41fd
a, b, k 0xff2e8a048a 0x19fd0230323 0xf41fd
a, b, k 0x10c8ecc02cc 0x2bcd0230323 0xf41fd
a, b, k 0x166790b020b 0x251cf8c038c 0xf41fd
a, b, k 0x19fd0230323 0x3c08ecc02cc 0xf41fd
a, b, k 0x1ddcf8c038c 0x36d790b020b 0xf41fd
a, b, k 0x251cf8c038c 0x5c5e6130513 0xf41fd
a, b, k 0x2bcd0230323 0x4752e8a048a 0xf41fd
a, b, k 0x36d790b020b 0x7073d9a079a 0xf41fd
a, b, k 0x3c08ecc02cc 0x61ecdbb06bb 0xf41fd
a, b, k 0x4752e8a048a 0xa568d370a37 0xf41fd
a, b, k 0x5c5e6130513 0x9da03aa09aa 0xf41fd
a, b, k 0x61ecdbb06bb 0xffd15ba0fba 0xf41fd
a, b, k 0x7073d9a079a 0xd63023f0d3f 0xf41fd
a, b, k 0x9da03aa09aa 0x1671e1471647 0xf41fd
a, b, k 0xa568d370a37 0x10d834e410e4 0xf41fd
a, b, k 0xd63023f0d3f 0x1dc139e41de4 0xf41fd
a, b, k 0xffd15ba0fba 0x19e4e6cf19cf 0xf41fd
a, b, k 0x10d834e410e4 0x2be6e4ff2bff 0xf41fd
a, b, k 0x1671e1471647 0x2539c1242524 0xf41fd
a, b, k 0x19e4e6cf19cf 0x3c34d8243c24 0xf41fd
a, b, k 0x1dc139e41de4 0x36e171f736f7 0xf41fd
a, b, k 0x2539c1242524 0x5c02630f5c0f 0xf41fd
a, b, k 0x2be6e4ff2bff 0x4715fd1a471a 0xf41fd
a, b, k 0x36e171f736f7 0x7003da0a700a 0xf41fd
a, b, k 0x3c34d8243c24 0x618d56876187 0xf41fd
a, b, k 0x4715fd1a471a 0xa5cd1ecba5cb 0xf41fd
a, b, k 0x5c02630f5c0f 0x9d3d073a9d3a 0xf41fd
a, b, k 0x618d56876187 0xff2e752aff2a 0xf41fd
a, b, k 0x7003da0a700a 0xd6e6c5e3d6e3 0xf41fd
a, b, k 0x9d3d073a9d3a 0x166786d7a667b 0xf41fd
a, b, k 0xa5cd1ecba5cb 0x10c8fc08d0c8c 0xf41fd
a, b, k 0xd6e6c5e3d6e3 0x1ddce51cdddcc 0xf41fd
a, b, k 0xff2e752aff2a 0x19fd1bcd29fd3 0xf41fd
a, b, k 0x10c8fc08d0c8c 0x2bcd29fd1bcd3 0xf41fd
a, b, k 0x166786d7a667b 0x251cdddce51cc 0xf41fd
a, b, k 0x19fd1bcd29fd3 0x3c08d0c8fc08c 0xf41fd
a, b, k 0x1ddce51cdddcc 0x36d7a66786d7b 0xf41fd
a, b, k 0x251cdddce51cc 0x5c5e3d6e6c5e3 0xf41fd
a, b, k 0x2bcd29fd1bcd3 0x4752aff2e752a 0xf41fd
a, b, k 0x36d7a66786d7b 0x7073a9d3d073a 0xf41fd
a, b, k 0x3c08d0c8fc08c 0x61ecba5cd1ecb 0xf41fd
a, b, k 0x4752aff2e752a 0xa5687618d5687 0xf41fd
a, b, k 0x5c5e3d6e6c5e3 0x9da0a7003da0a 0xf41fd
a, b, k 0x61ecba5cd1ecb 0xffd1a4715fd1a 0xf41fd
a, b, k 0x7073a9d3d073a 0xd630f5c02630f 0xf41fd
a, b, k 0x9da0a7003da0a 0x1671f736e171f7 0xf41fd
a, b, k 0xa5687618d5687 0x10d8243c34d824 0xf41fd
a, b, k 0xd630f5c02630f 0x1dc1242539c124 0xf41fd
a, b, k 0xffd1a4715fd1a 0x19e4ff2be6e4ff 0xf41fd
a, b, k 0x10d8243c34d824 0x2be6cf19e4e6cf 0xf41fd
a, b, k 0x1671f736e171f7 0x2539e41dc139e4 0xf41fd
a, b, k 0x19e4ff2be6e4ff 0x3c34e410d834e4 0xf41fd
a, b, k 0x1dc1242539c124 0x36e1471671e147 0xf41fd
a, b, k 0x2539e41dc139e4 0x5c023f0d63023f 0xf41fd
a, b, k 0x2be6cf19e4e6cf 0x4715ba0ffd15ba 0xf41fd
a, b, k 0x36e1471671e147 0x7003aa09da03aa 0xf41fd
a, b, k 0x3c34e410d834e4 0x618d370a568d37 0xf41fd
a, b, k 0x4715ba0ffd15ba 0xa5cdbb061ecdbb 0xf41fd
a, b, k 0x5c023f0d63023f 0x9d3d9a07073d9a 0xf41fd
a, b, k 0x618d370a568d37 0xff2e8a04752e8a 0xf41fd
a, b, k 0x7003aa09da03aa 0xd6e61305c5e613 0xf41fd
a, b, k 0xa5cdbb061ecdbb 0x10c8ecc03c08ecc 0xf41fd
solutions_cnt=187