[C22519-Montgomery, generated using magma]

COUNT 1
QCAVSx = 7A35009F69FA16EAE94BE707614ADCB44F6E525A1D4D1AEE844DE97779072DB5
dIUT = 0A520C472D5C3DF28FB6BE4098860D17A82277D39EF2ABBAF4677360979AE449
QIUTx = 31313FBCC3C86C95F4571E58645CE761D726DA1504BCECCEDCEE6C8B4AD51E3D
ZIUT = 46D1CE08CA7CE3424D24978917245AD3BAF176C12E9174233702EE895BED262D

COUNT 2
QCAVSx = 3F3F7B7F207A6C1B5F1C94FEF3DCF8048605A9AEC232811FEDED1B0E316FF27D
dIUT = 032D97C472FF91BA9D35BC9A9C22FCDEEDA70DB00CEB4BD443FA52747D968CCF
QIUTx = 05780AFA8F359BE90CD465C9B0D8B091237D8959FA5F2311107892AF5701120F
ZIUT = 47F5953536AA66CCB6C7ACACC59D62A95C37D12C5039D5E2680EC9137D62DE00

COUNT 3
QCAVSx = 7B648CB113630951F60E07B954DCF98198C6386C12D233019C2195156F759835
dIUT = 07BFDC1350FBD1CE70D17713E5CAA8195542E750A09A25267FB03C626A0BF1E2
QIUTx = 589D9F699AA6198849DF1BBD06FE0B5AED96AFF825F206495D77B7B176384763
ZIUT = 738D064CF66F0AC5701D9CECAE81488CEF1D4CB1DB49E7B9C0D4048C100AF081

COUNT 4
QCAVSx = 4363661B549FA7ADD53C0AC2031469288743D853B92988628BAAA380021482A4
dIUT = 0FC5435F6A1A894DA9BDA2E268558A855DB364020AC2A92DB7126E077BBE4281
QIUTx = 4E8CF3409011D6AF30668881FFC13EA6909ACC8ECF17BB372D8164173EBE7825
ZIUT = 4F433129757CF2CA37FA12F81C8F03C12DAE66BFA5E066FFC64DEA09AB433E39

COUNT 5
QCAVSx = 0573DA5133C027B35166BBAAA261FBA321E0CE6084E6CDD4C8FA9A014EFF6CC1
dIUT = 01C2A518E0F911F87DFE3FE6BA4D93ED87CF3EF8929F7C15C1DD637FDC834400
QIUTx = 19A699F4E42F848ED2665A2E40A33C35C7795D44FAEC97641DF3A2C05B8B1E3C
ZIUT = 6CA061F97E843EF1C525163E7060B8A7E8DC9E204C46AB9E0800B209478E23C6

COUNT 6
QCAVSx = 769743D35588875A16DBECACB8B7303F8BEF57A96984EFAD9ADC8DCCFF01BDCA
dIUT = 07B3BD9346298005601D594557049BFC9A250FF8B66D61F1D3FA1B5123C76E02
QIUTx = 6444CE99A0FA5758527ED846C33F0635ED6A81B0F53B40FF983147E0A7FB2955
ZIUT = 2FC921F9678D7F2579D182AD0BBD52D3D7B4FF2540E9BCAE29E5912D6C33B9A9

COUNT 7
QCAVSx = 6F5D5AC664F826F3E79531FCF3C63D1091F3EED52101328F4DEF77C54B62F25F
dIUT = 08443BACC39E114FED1BBE7185BDE570A20532BD064771928E7D908AA39EBF1E
QIUTx = 6CF9B8D85D3718C5ECBB9F9F748E86CC4F0D2986F131210C42BB9801658B6708
ZIUT = 6C527F242EDBB27001A3EB771AAAEA743D3052B5241060A0D66FBBD7A6AACD4D

COUNT 8
QCAVSx = 7D833BA3FFD13D238EAB9B17B2E778590DF531C99D4898FCDD3ADA5B96CB2C48
dIUT = 0262B40DC6CFE29CA5E7F1BDB5C03ECDD17704C5FEBD27EDB19104FD3C4ADB47
QIUTx = 02C74BED15F1878AE470DC2D7F111AAB62B38FC0115D84953D3C044B74FF5548
ZIUT = 0B4A576B5A83D79F1CD14F2183E148226A13AC4B794E58D2E0C63FBB5E10EAF6

COUNT 9
QCAVSx = 2A7F5604E91C19A944413623A304F6ABEA5E9290A5CC75F8AAC7D3DE029C01BD
dIUT = 0613B7B0E268AD1F572A62D4D504FA93B12D5E33F7B47CEBE4CDC9A77A48A8D5
QIUTx = 448D807F4AC7C710AED83C12607CE88969685AF82E5B8F80E501924A34AF067C
ZIUT = 34C1BEE2CDB695E401D9A353170C6E1550DBCD59ED1BD12C6174E84A39910972

COUNT 10
QCAVSx = 5CDB62CBA21F7582F4C58FA28791F2FD58CBD355971F511871E27F9E5FBA0BEC
dIUT = 05F656B120376D0AAF89684B3828E1DC97C29DF8CAE44C61D7DE6210C44789FB
QIUTx = 52F1C58DAED94C7DD629CAAE3DF43528B6EB0B43B8934AD099823E50E6FDF932
ZIUT = 534C021006086DB52C9212F5D18986AA04736BD2AD9DE9EF37F940D51AB8121D

COUNT 11
QCAVSx = 7D2DA6F40B9A1305A657039BC972910BCD449E521EEC64EA3F14F7D53BA2A490
dIUT = 05D5A9C08C39D2A02442495AA77396947F8D9A65153E7CC4F2F5DAD5F7C98036
QIUTx = 188A1365EEA1782DE37464C1864D01FF8575FBDFBD5A0F200B362E173D312F51
ZIUT = 3761E8FBAA6CE4F89DDC30903DFBDA82E3F3966908D5EB5324A435C8435C8616

COUNT 12
QCAVSx = 13841F48AED077AADE83164C67079330055F4CFE648E6CA72CE89C1B9FDFC1E5
dIUT = 0B6EE4B11012D8A73DCE3F644A1032C0A7878E7348F835D8EC7FAE88605B15CF
QIUTx = 199DBAA98654AC92107369C03A77E61B3F6034A400773FB833F7635DEA701E7D
ZIUT = 36B71263086C490043F6E7C842A276C9584CDA7796A1EC6E6800FBA20F1A90F7

COUNT 13
QCAVSx = 576D2EEEC56C92C844606A12EA7245EB2E50CE161907EBE45048043732517423
dIUT = 017CE32498823FBCF7EA10B2520336E2EB90CDBECA9054100ADBCE80C45DAF08
QIUTx = 7B15428C6CFA89E2DE9ADF5A52C934A465EAB509B5E0F5F5D86BA3344B859A54
ZIUT = 30AC79CB92E7596CFF2DA874C54F6CD2E2C39CAC66C3C503B5A15D2CBCD210A4

COUNT 14
QCAVSx = 39FE49C44B02E49402FDF3DE3D17DD526EC5D914A861A96FB1DBC730505E3FFA
dIUT = 0DFEE2FCC8FF5ED8369C1D098A29124337D2EAC85327F7FD75F0B5757EA03F35
QIUTx = 72D656C030CA6ED4B12D264A09E278C305658D4594B7017A725B51FCE324F942
ZIUT = 3DB202F991395C12D7EB9A4156B831AB21F56B9C1319FC1108B8606E0AD15249

COUNT 15
QCAVSx = 7DC269848B0EA5F8BA53D7F25C71D04449B43693D0784846D3104C1888C8278B
dIUT = 01E7163D0B5BD64D447BA81585D9129B52FB0D39AFEE76081D3BADDA1101BC91
QIUTx = 33119D302DC7FA380E8C3C18E29D4AAFB508DC42C86B5DF488B9EF6122D58C64
ZIUT = 6FA72A8C6A66DA966C8A7EE74DCF8CDADEC555B189AB544521E462ABE7D237F0

COUNT 16
QCAVSx = 7239ACF7435B5BD17F8630E0E6A34B875009AB56638C2152E5F6BD83964D19F8
dIUT = 0CFCEB36692A7F12AFFF31BCC8D1CC8091C7D380CECB33DE7AA1D59F1AA351C8
QIUTx = 3246E5B3C951026BF968B3A57ECCE135E67B5DC5A428E69B867D63A764FE9E28
ZIUT = 6887B72DFA4C6B14CF73546D3FCA3702AC6B0A68EC427C6563FDF223021D4C3B

