| # Expected quotient |
| w0 = 0x5737501727d9677e60f5acd4f85238566bd5e040113b4de2ff15f6f3be5c7f83 |
| w1 = 0x9a338b7b93c15f1d99bddd1ce5fd30ffb09144610e9537e3da18e22366aa6457 |
| w2 = 0x33f0c5a4b7364f1f33274f46481b7ba69da36cdc516cad8b430970eeb85fb502 |
| w3 = 0x00d128db6abfb3fbc84613f668b2f5ff246ae9463a8d49a743e3ba5901144d82 |
| w4 = 0 |
| w5 = 0 |
| w6 = 0 |
| w7 = 0 |
| |
| # Expected remainder |
| w10 = 0x28c15a3cecd1e423d3f4ff7befc3d27dde2c6680bc015f23e4e7140d2e1cc262 |
| w11 = 0x72e5918284ea2a31e37983bf93d8f2f81683a2a1d4045c70206efa7907f1d1c8 |
| w12 = 0xaa8fb8c59c8df3f9274e270de728eb4b0a320d373bd0476d677fde04e19e0d07 |
| w13 = 0x7eb34670a5cf119f3597c1263d0fbaa536a5add141e80c10171ba42dfac39d62 |
| w14 = 0x0000000000000000000000000000000000000000000000000000000000000011 |
| w15 = 0 |
| w16 = 0 |
| w17 = 0 |
| |
| # Full test data for reference: |
| # numerator = 0x17dd24c9edce535e0f887348c49d4b34d6135287398af62fdaa5fee802cfb3289e615411f31126f11b50b53a6affc70a85904af07c9ec2c93e7ee3676b7e6bd8b6d5e746d74c093c0b3ad6627ba4486fb071d294446c18136ce5fd2f9d435e5b6cade39974deeef59bf6170dc36c3967bcc0923baf567f20957fbfa6307aaa32661e039e90c201f97af7af1a0789b983283458499355374a84061ef01079cc8e012c5df6a4ffdb3e950e816c8776d53103f191cc52c15e20f8ca09e4b13cde1592ba9175cffc2490c49aa037b4a59117e0b39b798ddd198326381243ec2660e830a71e74d58458c5f4f568619d950fc5db1abd2efab55d781ab04c367e3db787 |
| # denominator = 0x1d3542ac6ce4f69a9f03ffb05a17de6359c8bbbb10a2a6bef06f8a6452ec64100bd1bbe91f1e59f624a3c63cc125ad42a70d74282a0f9a3942054e7dd3a07178416462378874d4e70c744356bb4456252f3ec6d42173617fcfc979d7acba068db4a93f588174bccf01b87ec77011245a532cf05dce8a76e0288c56022f83f33037 |
| # quotient = 0xd128db6abfb3fbc84613f668b2f5ff246ae9463a8d49a743e3ba5901144d8233f0c5a4b7364f1f33274f46481b7ba69da36cdc516cad8b430970eeb85fb5029a338b7b93c15f1d99bddd1ce5fd30ffb09144610e9537e3da18e22366aa64575737501727d9677e60f5acd4f85238566bd5e040113b4de2ff15f6f3be5c7f83 |
| # remainder = 0x117eb34670a5cf119f3597c1263d0fbaa536a5add141e80c10171ba42dfac39d62aa8fb8c59c8df3f9274e270de728eb4b0a320d373bd0476d677fde04e19e0d0772e5918284ea2a31e37983bf93d8f2f81683a2a1d4045c70206efa7907f1d1c828c15a3cecd1e423d3f4ff7befc3d27dde2c6680bc015f23e4e7140d2e1cc262 |
