| # m0inv: |
| w0 = 0x1dfc9779711cad8ba96ced374965995095d310b20b908e3bfd3e34f7f09b71df |
| # rr: |
| w1 = 0x546a7cfeeb165cd3d0f4fddadd38f5fbfb5be1e72c19d4ae9db9a2aca3eb77fa |
| w2 = 0x32318a29f49dd5f776e77ababab5ae26da2e21031185bcae73f5cf6bcd410c5c |
| w3 = 0x90b209bf6c65ac0e6563c81a9ccd73f2b61eab77538c240e8aa862a9689a85bc |
| w4 = 0x3d3d07f301dc7990ebc2405fe0112362c75cbb02879a18307e351549e642e25e |
| w5 = 0x9849163aeabe1810c204b9ca0dbdc0cbce301343dd65e10898d8cc33c5b9a5be |
| w6 = 0x05f49af51ce689f5d9c77317ba59c5f5079883be4b4c22269bc14e3b234c8ff7 |
| w7 = 0x4043add66878ec0dd9691ef573649941093520a20811a95fc509b5ca7a83d42a |
| w8 = 0x524b09b77a58d0479774620afe4319c4f209e1234ce52e1d5c7070ff7516d8b7 |
| w9 = 0xb60788f6d9ee19c42966d4f8d21be300e4b83ed6514995dc2a9044a296cbf044 |
| w10 = 0xda9c946b472a10b49fe0c3630ad2fbbcba9fc09693718edca7e13295f8d074ab |
| w11 = 0x7d0c0fc36ca4d02fb5822d5649619ddda277ef0ed19233b504e452fc37276997 |
| w12 = 0x9e2dcea821e64d84fcb4969387993424eaee3c24785b7552b6988a4fa29196e2 |
