uzkge 0.1.2

use ark_ec::{twisted_edwards::TECurveConfig, CurveGroup};
use ark_ed_on_bn254::{EdwardsConfig, EdwardsProjective};
use ark_ff::MontFp;

use super::Remark;

/// This struct implements the 'remark' operation for BabyJubjub.
///
/// In the context of the shuffle operation, the 'remask' function is used to re-randomise a masked card C = (C_a,C_b).
/// More precisely, the 'remask' operation selects a random element r and computes C' = (C_a + r \cdot G, C_b+ r \cdot H),
/// where G is generator, and H is public key.
///
/// This structure is optimized to enhance the performance of 'remark' within the circuit.
///
pub struct BabyJubjubShuffle;

impl Remark<EdwardsProjective> for BabyJubjubShuffle {
    const COFF_A: <EdwardsProjective as CurveGroup>::BaseField = EdwardsConfig::COEFF_A;

    const COFF_D: <EdwardsProjective as CurveGroup>::BaseField = EdwardsConfig::COEFF_D;

    const NUM_ITERATIONS: usize = 84;

    fn get_preprocessed_generators_x() -> Vec<Vec<<EdwardsProjective as CurveGroup>::BaseField>> {
        vec![
            vec![
                MontFp!(
                    "19698561148652590122159747500897617769866003486955115824547446575314762165298"
                ),
                MontFp!(
                    "10888583586923931208544682894223808592889594683695707023810418596490376666084"
                ),
                MontFp!(
                    "6454286856122558380304654249145457904483192930529533876582974818763598711205"
                ),
                MontFp!(
                    "6617324571313676286843372227140278895907049832248229689369420195496459749250"
                ),
            ],
            vec![
                MontFp!(
                    "11156928599785165082922352285819448641882560818511727361244962856024435534793"
                ),
                MontFp!(
                    "11510997708508310896115874302493621142320765821882349155576746778184519978981"
                ),
                MontFp!(
                    "17973904751966691254142811059726427909614578628561253180966458770726475385780"
                ),
                MontFp!(
                    "17476888689014955351174920337542672459387360774067796827510852776749850305118"
                ),
            ],
            vec![
                MontFp!(
                    "15177905577188214232177905879872248371016245961338305444578910362470903001797"
                ),
                MontFp!(
                    "219984687358539354871137591923246462414886903698953695255339159370453074197"
                ),
                MontFp!(
                    "18028711526090629069975090389288541747441093494605511102053792700959182983240"
                ),
                MontFp!(
                    "9675378412258598219316353945322051356658445890597346067499971335192884899895"
                ),
            ],
            vec![
                MontFp!(
                    "3559442616922090078858661566686665797187400341591438313013589928740202498378"
                ),
                MontFp!(
                    "398639643616161311626942231128282440914487550177053680198582431038023503660"
                ),
                MontFp!(
                    "20644409509262524436560879385363678892964326570582144242654282726676599653670"
                ),
                MontFp!(
                    "16680154612020503620264096515370725837723105714229532952604973740538144697410"
                ),
            ],
            vec![
                MontFp!(
                    "19480543891094246550710824245475644615642705275257613531173663899956247173283"
                ),
                MontFp!(
                    "3724834028960131658079036707303626534996761005883034168095451242663945640293"
                ),
                MontFp!(
                    "5502550779836852615399138995339188799228119862597926815127224780569101701909"
                ),
                MontFp!(
                    "18447482608640339272929521460378466989347128422730650857092283135518238103043"
                ),
            ],
            vec![
                MontFp!(
                    "12868577215218617495772316306527153268205167255226302094823715771063797428938"
                ),
                MontFp!(
                    "5154527507617855294219175825612985375647895060862262767909047693108049700016"
                ),
                MontFp!(
                    "9774068199384309023775614543602463836369375287282371430686329822691127346006"
                ),
                MontFp!(
                    "6332085899137741611130076454809483145969805496215271779665960033856793785703"
                ),
            ],
            vec![
                MontFp!(
                    "3355160543877715674609709255428777253096843366029848305752813500846150706575"
                ),
                MontFp!(
                    "15971250204828344402308379192140792087148920294248698872622553868559818538612"
                ),
                MontFp!(
                    "5904030230951403541644703477132382768351803803134522813439025510385143734873"
                ),
                MontFp!(
                    "16753083553905730524972047031587319346626777059139074036006045739650672723053"
                ),
            ],
            vec![
                MontFp!(
                    "4864143741487518419966279742055591351759674169510540265583643963032303728028"
                ),
                MontFp!(
                    "7894062459388636154825464187847141146423391822889398641369886050797983470898"
                ),
                MontFp!(
                    "20884608680891962863924060592668884513109973644587619664115494717805577316403"
                ),
                MontFp!(
                    "14108245952160789647596127973710499280284614785338269746122038161095101478472"
                ),
            ],
            vec![
                MontFp!(
                    "12355491083210915357651411523348610920615938174642317557615114622744030572459"
                ),
                MontFp!(
                    "12051620282406467702743927218892155247989325031637012415449052020070720057746"
                ),
                MontFp!(
                    "14098297534913436856041506319194477410647510567271039979451522181432808312611"
                ),
                MontFp!(
                    "5330018649106837299552714804607392625798481705092264311269538536257427852461"
                ),
            ],
            vec![
                MontFp!(
                    "9388248416931785664437579184674281667425588616836211178612369306920004867709"
                ),
                MontFp!(
                    "21192149547633501637085485043256982365975324790148861901528196599718749229185"
                ),
                MontFp!(
                    "9225534941432451593944650409597648437565546314553209180938434791956883780429"
                ),
                MontFp!(
                    "17942678075371986267474930633803804881939532161691408571713980985488911918480"
                ),
            ],
            vec![
                MontFp!(
                    "16159183453940397434273591692439597099035830415234064610801392202416574531421"
                ),
                MontFp!(
                    "14516247318095113454607076563433458926366471691360261359543078937072974577251"
                ),
                MontFp!(
                    "8185431738412999556584088345678435487892903010282929813341728094991104846916"
                ),
                MontFp!(
                    "16771601708144528105291283962523625472065170219614785897481879812682098165450"
                ),
            ],
            vec![
                MontFp!(
                    "7873289289909392395196543036602110444313957603078991314572308313611386213179"
                ),
                MontFp!(
                    "291678283991556082451356700803715994887475435079799462466049947265619281411"
                ),
                MontFp!(
                    "7320813554590871557050934153740332408421654940804365816572882074612218699542"
                ),
                MontFp!(
                    "5389709107150139420898820399884698497633936193853169495124938270428664719941"
                ),
            ],
            vec![
                MontFp!(
                    "5350839104058196608830993289366382000244978213394166321213324019973900253524"
                ),
                MontFp!(
                    "16002456756692205171910183895395283150665706653118916376154708138038498437646"
                ),
                MontFp!(
                    "7181359140540354774634887463543070545375236443173250251583568333987033315533"
                ),
                MontFp!(
                    "21253869628995118539794156955132204467614951003803272762324573303079330640128"
                ),
            ],
            vec![
                MontFp!(
                    "10565053277581336113208532364062097370702472094580566662960418523036231873764"
                ),
                MontFp!(
                    "9882693002673142087269193078229352507615623547974365033611385382431660305119"
                ),
                MontFp!(
                    "4167992883399594316812035345542882123691288462523650621604062339394629304053"
                ),
                MontFp!(
                    "19611222182850278522543697190324392063347630466851409623442127018917497934593"
                ),
            ],
            vec![
                MontFp!(
                    "3125790520323420564412936389901041092246352940225225167462551561973432521936"
                ),
                MontFp!(
                    "9842401241389503628853002080404763463591585080875007998034040587429678020761"
                ),
                MontFp!(
                    "20108456678226850594360631749207461856750648197377627664687841040161833827559"
                ),
                MontFp!(
                    "5865461193689055166404783682366924807629646137899078124966994742547763536356"
                ),
            ],
            vec![
                MontFp!(
                    "14006580591422503021198060657139573485767731096168582686637045268320861250680"
                ),
                MontFp!(
                    "883213698348567121243764925242192565984243170299042902457668635864710887438"
                ),
                MontFp!(
                    "9020257003907036433018735259694525782280200127454580008825617622314918044268"
                ),
                MontFp!(
                    "19512495223473102134119152885267011242946036546723696308718784172355061574533"
                ),
            ],
            vec![
                MontFp!(
                    "16078406167575365640758400931430580995657462746815444402286111466068051995263"
                ),
                MontFp!(
                    "9699111781435860848670739353543062798737004736358166271755797043633491566453"
                ),
                MontFp!(
                    "5496811379118973669778134475989977857768036497061341194480945682301739853054"
                ),
                MontFp!(
                    "1176282184098637091446488615641264352166603043376486034141123421114799289641"
                ),
            ],
            vec![
                MontFp!(
                    "12440584531950608169071064886912306082519810214279389023123874897494306835178"
                ),
                MontFp!(
                    "20242128768064641304937733621566444608338302056870260946213881180352941760042"
                ),
                MontFp!(
                    "19670686786661354625923053580086792826897550307168935001267936806473761533807"
                ),
                MontFp!(
                    "16314512897698308785071771255461455084618155218072854705146791847238690602005"
                ),
            ],
            vec![
                MontFp!(
                    "9993031792372152707195341282423409688225529376245811737313222592175157405889"
                ),
                MontFp!(
                    "8082964205986937264855958148416888416145052446685729116455209160939518714111"
                ),
                MontFp!(
                    "5476755564658201820398505020679366635455065947249413969421791004820460586641"
                ),
                MontFp!(
                    "6465626722505857434915760788416898704128474282919075781814057378873586895284"
                ),
            ],
            vec![
                MontFp!(
                    "3922768963134940827254923607443705085135290792780692758188375152150721654803"
                ),
                MontFp!(
                    "9174675279258257893755325785962427939506415004639584188296272184327079194632"
                ),
                MontFp!(
                    "17488819963201868540273129828864177701228076995058575955904512084934249258013"
                ),
                MontFp!(
                    "9303406145146166189301136510567669121917612490174395778377709374737846201648"
                ),
            ],
            vec![
                MontFp!(
                    "6903981720096504590028928825776537757741510708111347767772053262947234482992"
                ),
                MontFp!(
                    "15976552913421046619096188058224934386222486642350855751090665382384996759080"
                ),
                MontFp!(
                    "20951297342797608813814804330035009227913785129385413426220255807440371318662"
                ),
                MontFp!(
                    "12487938276554862028516110721234686592411185552315283475349454383310455598667"
                ),
            ],
            vec![
                MontFp!(
                    "10840864338046940346942095021328723163071727013884285852886569301384783878285"
                ),
                MontFp!(
                    "14559898635704877919603074220583591267240994260485408312054309884275466279958"
                ),
                MontFp!(
                    "17322938426479494821006323684926952607267207563035316740297500286063891821997"
                ),
                MontFp!(
                    "18723698152483753890604232725927233671787642882468130046142986555924482044287"
                ),
            ],
            vec![
                MontFp!(
                    "21376454028880416835672920699873179997495085227025318394240546476714732726608"
                ),
                MontFp!(
                    "13407219064060015696278213009917904654592604150844794264510125866314971276272"
                ),
                MontFp!(
                    "10375748089553288283467799341895056755060358674491511024114876067579114528575"
                ),
                MontFp!(
                    "6074966733918089906922033272345805533727524428262273146247729264522070877099"
                ),
            ],
            vec![
                MontFp!(
                    "13542035788376587401826452290897855021553708950084358854812323839206265802780"
                ),
                MontFp!(
                    "3124389991305190601030169509278924039226714246740119511978925537966735099371"
                ),
                MontFp!(
                    "8272891282164206209071000900889858960697804416574098483190638929707124158458"
                ),
                MontFp!(
                    "8023992144257100519140292827403894348323533619427939420196385104518619666500"
                ),
            ],
            vec![
                MontFp!(
                    "12480358093256150358081296238282174173081026321114201807325868333775649467252"
                ),
                MontFp!(
                    "13102882940003305841491273376128397283625991916281372456330460791848706934349"
                ),
                MontFp!(
                    "15396949338562447354997024037216714547443505775494747313393216803226001906788"
                ),
                MontFp!(
                    "5735690339215295031327688705415729412642853456177048962433477465964367910855"
                ),
            ],
            vec![
                MontFp!(
                    "15528157693861046571639831718262225061207309611210838707305241903728855472727"
                ),
                MontFp!(
                    "192985402013626559549487252037868558449820799401074318459097884559492326940"
                ),
                MontFp!(
                    "17717373394651990069118446864956814943048042374580206748177632512680678587365"
                ),
                MontFp!(
                    "20808604248642578481809119385393063098583794502056152982388212294532455734347"
                ),
            ],
            vec![
                MontFp!(
                    "3340893440642685361651985545610058694041787682290555182695879841549245817679"
                ),
                MontFp!(
                    "2260038913655482596708106843928898990362045892138811032340785886034507787200"
                ),
                MontFp!(
                    "10028257452741679636542108027487916177280679912042847605937548191709869462660"
                ),
                MontFp!(
                    "4661225997446655865322561644101006923588653078142442184459740931418887154825"
                ),
            ],
            vec![
                MontFp!(
                    "20470169293640423528391491100299354743345293140731224645214198186313389172819"
                ),
                MontFp!(
                    "7786877773677495407365472731326975454362350802775474921401592420161805669453"
                ),
                MontFp!(
                    "15072649661723723390735889774425003939776298330263977584984027710000854318347"
                ),
                MontFp!(
                    "15583790320888257693213539324848529591528613008221329440836158130090266749711"
                ),
            ],
            vec![
                MontFp!(
                    "10266369810738961063529723221113121752206262194032222328833653196868881953208"
                ),
                MontFp!(
                    "13297054018511316194364587930874475971376348415647176291323237164863704698794"
                ),
                MontFp!(
                    "18709288512295899017239499379986947319689199545306144813884752696158966504476"
                ),
                MontFp!(
                    "754591728992594618897933124524476638628904757751070119357629798516182190640"
                ),
            ],
            vec![
                MontFp!(
                    "12325986457958076233931121296611950598539803055134825323960022940641904937639"
                ),
                MontFp!(
                    "3139733803709845307444411879876323941630559018745581677240598958949144008865"
                ),
                MontFp!(
                    "19709156538630556142630573868447122388443258906367084761395106901913342967131"
                ),
                MontFp!(
                    "20687626647216921055411759740334141547762556680283480138263562307578765499635"
                ),
            ],
            vec![
                MontFp!(
                    "5083696550027789455923826560291403139294073709063167695019468303485984805128"
                ),
                MontFp!(
                    "11303829933724720020567230112148967927734815019805492750547896927093135227050"
                ),
                MontFp!(
                    "9282429360363852212188569754545130643768217515934960144087686164865988080020"
                ),
                MontFp!(
                    "5881348851611224598969536877019409201146298177540219790207131305107845888298"
                ),
            ],
            vec![
                MontFp!(
                    "13782122091704329520199111161619800093799015984650942691496126573593324467699"
                ),
                MontFp!(
                    "9174253598728601693234832295340375114115687611758280673885772513641780971786"
                ),
                MontFp!(
                    "6107048041646590143881117362152304437063339311501753133376759748068910482227"
                ),
                MontFp!(
                    "8067753532379428950003425938408883747209536035134579413699365670462567115084"
                ),
            ],
            vec![
                MontFp!(
                    "21548943993461207441491413395727415884445281410759135465066427584690094100231"
                ),
                MontFp!(
                    "12020468199128738092981669558058084789219283201766057707533826240287768347619"
                ),
                MontFp!(
                    "14248944377627606395368508078306183147229082046787330958128573104235369896834"
                ),
                MontFp!(
                    "10625382885513872736955541962238089265267944805742720011975848106265928493772"
                ),
            ],
            vec![
                MontFp!(
                    "3370700025427057240842016998300913280859964848617022231272387205005533331437"
                ),
                MontFp!(
                    "2738568054554093816235041829640955219820211165276730067471385128187380260641"
                ),
                MontFp!(
                    "595659234066466640542910492274400349037463646621658479193156778244751579414"
                ),
                MontFp!(
                    "12518318763579305952871957893584377017168965098287114144908662102961495147149"
                ),
            ],
            vec![
                MontFp!(
                    "9679512784285530934421140071849718939998007780540888941946181383013122782035"
                ),
                MontFp!(
                    "20301881683590912861617583805369502262293373785486370650117081911415589813128"
                ),
                MontFp!(
                    "13899775173654459619421865301052851527125320462744233080930580875019066888554"
                ),
                MontFp!(
                    "19427817856550606735987529384806218881478983911958645967910601867318807848787"
                ),
            ],
            vec![
                MontFp!(
                    "4367725163757770208514419732228172977511013008861821169308013553698480253316"
                ),
                MontFp!(
                    "7589135462076798272916847030483301893575333166901512105810958231601958831294"
                ),
                MontFp!(
                    "15478662938408138675329918543222229251941717582684770172957217699510069519728"
                ),
                MontFp!(
                    "2963475991253368276285290681997118398954957651323338135546959461628731740825"
                ),
            ],
            vec![
                MontFp!(
                    "5175265752702083780357384243830339453502435809332731376301864751838507021393"
                ),
                MontFp!(
                    "10312584745034183324491251116991711726357425740057887510153034120291600995356"
                ),
                MontFp!(
                    "9937279529056678568792317865843596158957485512331901132136004069645515566012"
                ),
                MontFp!(
                    "759142035333648482005261890480134040106421681959062294959980016768465811690"
                ),
            ],
            vec![
                MontFp!(
                    "12401087913746856405380087014407645778005331063523905629008159203359201359022"
                ),
                MontFp!(
                    "4881217185738649619420427033956908988471819559914096552655615783131103009067"
                ),
                MontFp!(
                    "13389047355454489637675092970426025063589268467903434433285834678965320557524"
                ),
                MontFp!(
                    "16724126572867439156447692628157216192427911146501383444585977988379531333817"
                ),
            ],
            vec![
                MontFp!(
                    "6912347860478286542646975439649689647059464922162351303070256274089424887377"
                ),
                MontFp!(
                    "8370747360400311407026756458938223391014177800993027464099879954582018490564"
                ),
                MontFp!(
                    "4758950074096908316845339824535649870504270909708333996771801054360929883921"
                ),
                MontFp!(
                    "17740784925432176209397382130854600536041968191243922328465525807094366097478"
                ),
            ],
            vec![
                MontFp!(
                    "18820444354724408382347150482250399925785558076266430461842245421046243244630"
                ),
                MontFp!(
                    "17709119601065004961433186727533182679606293570107346008166050571442064989155"
                ),
                MontFp!(
                    "10246442289424234672442709449987902859993843893899766818148002522738317492281"
                ),
                MontFp!(
                    "10167073163887833881601951704529346904053572864131323084906945707342256336681"
                ),
            ],
            vec![
                MontFp!(
                    "10044807018689480883149009759886768886920584234937857254579026728375155904539"
                ),
                MontFp!(
                    "5658884949737187111480971846442170393383086593110545130299159436080842995535"
                ),
                MontFp!(
                    "6520794027692886238562988893313900471872477928589900152271925385317681052832"
                ),
                MontFp!(
                    "19043865508785523932529280535487200697521744191721209046962127941113747897840"
                ),
            ],
            vec![
                MontFp!(
                    "6216479587345659135363363030304477861847029126945403997662903713037887051432"
                ),
                MontFp!(
                    "4816051574208122489632409500757430126364666119381680450688860873905108371746"
                ),
                MontFp!(
                    "7338179309000712407236288978149217510173527440531415550450240098066907289730"
                ),
                MontFp!(
                    "13243517614323891752789794565391748650817920497867612067062587960825833474435"
                ),
            ],
            vec![
                MontFp!(
                    "19304552734996325493912207761558909474091950427521160042316820980721794557198"
                ),
                MontFp!(
                    "12229343878452097683596571691835608031702245252417481280181153742791728075896"
                ),
                MontFp!(
                    "18140264060536039478657328378327299308608441910958436472659381092316174931190"
                ),
                MontFp!(
                    "20203843639242583512661168829650535191627223471264068428559795727309854832731"
                ),
            ],
            vec![
                MontFp!(
                    "5551339100812703651548419344891013755669473325797234457553332419590751187710"
                ),
                MontFp!(
                    "9880529889026616188974210750957562026657089195974145456862069249817048746560"
                ),
                MontFp!(
                    "15054888798045474292070278924459557736494444599462234737451825605371468774086"
                ),
                MontFp!(
                    "13047658790901062924307352298048287517664458099263302082920854135321888614521"
                ),
            ],
            vec![
                MontFp!(
                    "278580440220050367034672772711407745298934656844889842324381334366557038965"
                ),
                MontFp!(
                    "14744322002509515058165351522416903786330753456149273842019346936589912423426"
                ),
                MontFp!(
                    "3898121109582305856568614109613662472425797158159995216836988775112118415732"
                ),
                MontFp!(
                    "13505472620237738527830949016920232971920088349825790841014949081775415702693"
                ),
            ],
            vec![
                MontFp!(
                    "10507761129737766780026361778451147096474876283670359187136144654211876577398"
                ),
                MontFp!(
                    "3561574129181490593699366828766650069318752568559196401119502035309136628563"
                ),
                MontFp!(
                    "21154857491982020525331648207469302894948276846181528717453928891855443968029"
                ),
                MontFp!(
                    "3518413733718726605869406877039985403395995695593292777967557937222558757267"
                ),
            ],
            vec![
                MontFp!(
                    "1624195245768044763688449913160421566978001044799332424343325082686324975923"
                ),
                MontFp!(
                    "2305508872408588225781397119844042889578947584181268397043021193441627302779"
                ),
                MontFp!(
                    "350723637154006325545877199074903997411372094043412965741625869588951456203"
                ),
                MontFp!(
                    "5619034675489476263927168287617527482557806460167240126949961281536977082794"
                ),
            ],
            vec![
                MontFp!(
                    "17822605603154381991095316443518871972538545696734890596899909747388099170668"
                ),
                MontFp!(
                    "3231114499722571210318255476260320445618416998888987545087023743706311103663"
                ),
                MontFp!(
                    "9870355988744703249547914475056526789652464089877719063728258782884253725448"
                ),
                MontFp!(
                    "12517259782099971316400424516591600295520667292377716589660010889596809411204"
                ),
            ],
            vec![
                MontFp!(
                    "1767855052319220875233038422072439334634902812508217436584758253643481600188"
                ),
                MontFp!(
                    "89581475871370947386847800622242748404334211093872215349261583510019905106"
                ),
                MontFp!(
                    "11388386859596719644235202944546749827939675595891982597459737436920742772830"
                ),
                MontFp!(
                    "485341397870177596520050385356253767236895006275639141761567622118348803839"
                ),
            ],
            vec![
                MontFp!(
                    "18956186009800282876548308655634425982377018837893074960937932403524783533092"
                ),
                MontFp!(
                    "17553295190852622359594014248572781977063689644237939509135684150973075019665"
                ),
                MontFp!(
                    "13042110053377117079152167392877962133211737509536014140883297186747956579267"
                ),
                MontFp!(
                    "5353493707415668589834779292074195170604677929931398140646640803151408517162"
                ),
            ],
            vec![
                MontFp!(
                    "21712739372721413571671623925878976767252462529669769667875756069859068441841"
                ),
                MontFp!(
                    "18567127060211950465929930440202297998446361882858576502419789892855261511628"
                ),
                MontFp!(
                    "6427724379194252379175099515633561123070758599827878656539991227031034653679"
                ),
                MontFp!(
                    "17997178012534179950140300359834698974441743565023529111690310868262784247704"
                ),
            ],
            vec![
                MontFp!(
                    "16168953880805817854631672464145685882856653830264134821112183341622093821509"
                ),
                MontFp!(
                    "17356255722377374857469480592968557825641554183616492722863289724647015574533"
                ),
                MontFp!(
                    "280015826886747349981370041397497357677881708422769357682925166434519526888"
                ),
                MontFp!(
                    "13920675564802065868785183855896797263611636650414780900195821963389306086035"
                ),
            ],
            vec![
                MontFp!(
                    "21883647360299609832719997837406963661185596504665913321654345328090429656597"
                ),
                MontFp!(
                    "14705673723549693767998740733860206594142331113029468896659701685223670512255"
                ),
                MontFp!(
                    "2593190164298576645503760361885712087724836545267722648016943376547772853483"
                ),
                MontFp!(
                    "16568883593353192092594545232968724168180366040498646133670394622073630962522"
                ),
            ],
            vec![
                MontFp!(
                    "20922756764755146145120257213999434021349771287939551308993750789232196129731"
                ),
                MontFp!(
                    "10303065850702345147889495093551538357461388160492960783752639438813464384920"
                ),
                MontFp!(
                    "20543111106998913513782322273806277128600087438380323013089342154178063170927"
                ),
                MontFp!(
                    "11647495247567040595017433551372271144481440158462469799383860470551576111370"
                ),
            ],
            vec![
                MontFp!(
                    "15750433624661297535708067668110694019202343690303565286752094118433937162057"
                ),
                MontFp!(
                    "13598056394534500799801493702503650848213246081927530928848642610120563950205"
                ),
                MontFp!(
                    "1815921552968853820071513388582366733050792919025821120176308635849883164409"
                ),
                MontFp!(
                    "19064027250261198118308540646403294280382799337187104401027568826391239431971"
                ),
            ],
            vec![
                MontFp!(
                    "6835507710417065391280665443211586281212406959070243926046301006837599256681"
                ),
                MontFp!(
                    "20907642518332707561901840408430397308903178189299613019674129887379170297873"
                ),
                MontFp!(
                    "19413813278868898185683577039173454432469291248312515367629457553931141060964"
                ),
                MontFp!(
                    "3993550918062224430863593379648546825454640614611932760552433184949242589285"
                ),
            ],
            vec![
                MontFp!(
                    "12353389578463653285902929571166878827571862029357213834603984261158574481184"
                ),
                MontFp!(
                    "1830115299664726177243625632889570701453071863694996942064476606711041522525"
                ),
                MontFp!(
                    "4392939513153830161188568468445319186480528361064247605068129645524223859684"
                ),
                MontFp!(
                    "11560753889734474307524797314821733811361609990900559916805219791157363143721"
                ),
            ],
            vec![
                MontFp!(
                    "8322200314698785806207714866949625786400255511175214059782860786345235952305"
                ),
                MontFp!(
                    "3046382011641872314400622450646165388716644768541256290171247484553455634797"
                ),
                MontFp!(
                    "10717013157368286558940625376827908236241851259617757783557241621919496591353"
                ),
                MontFp!(
                    "15908504330089428229020632231493851414822883366668494051515063359631408703237"
                ),
            ],
            vec![
                MontFp!(
                    "18156265454963229500724017903569380283944544581011268757265631365383708315405"
                ),
                MontFp!(
                    "11861793534830012225855351187596024463039578055103215398227185665135815302489"
                ),
                MontFp!(
                    "8858354555268892848685864867947397351244998756099654861241099529083301057776"
                ),
                MontFp!(
                    "20751748743538059415694031532197236508443806472223076428242498603178309895341"
                ),
            ],
            vec![
                MontFp!(
                    "20413817305366329858857713321421065408084438975840044477725820211736829368645"
                ),
                MontFp!(
                    "20719533025591876531051816668835625056732569556089692946376317809926168061524"
                ),
                MontFp!(
                    "1019864497742023515358920076853448816990614926178428163069345429294395607531"
                ),
                MontFp!(
                    "12946683832637565776135953871362149808145464867903097632546511518519256061103"
                ),
            ],
            vec![
                MontFp!(
                    "375720970780193196938824170072725174342731799000897761779974794433932450642"
                ),
                MontFp!(
                    "17261626437601088053001415266412519947917896670577719400081480683360224685909"
                ),
                MontFp!(
                    "13909463911158538939256688958372293033199630013976340053908764570121504158041"
                ),
                MontFp!(
                    "3227628832005546720775289093157646018804777062126278134561485726651158125641"
                ),
            ],
            vec![
                MontFp!(
                    "105222243783692720308959165822018623324115394738568336481746839472736185819"
                ),
                MontFp!(
                    "17277825871053542864372753501045159461159432295901826819466041345741844731836"
                ),
                MontFp!(
                    "15727299694514370508623940124911684253554232476642159120135836251984751258193"
                ),
                MontFp!(
                    "19613667220325815636666603761187846658235167791792992074453138258108850007203"
                ),
            ],
            vec![
                MontFp!(
                    "15468438343795926422529373818023358698957427827606016242898104099166207148731"
                ),
                MontFp!(
                    "10210813737822313772590465761603922090922959842462203403987064944295140240226"
                ),
                MontFp!(
                    "19006780871182327368471767124437592522277614536131923815051256001983071414907"
                ),
                MontFp!(
                    "11054668737089463840732320822635359688006371588244986182235043330501499780618"
                ),
            ],
            vec![
                MontFp!(
                    "16840818898039629611228340267173150594225070756814692558864918730744237371708"
                ),
                MontFp!(
                    "15550298077944089149944407438207780560903308937828446299691104484237425405294"
                ),
                MontFp!(
                    "18376492552868129506771195159640041815788233291150497127495754506903473862693"
                ),
                MontFp!(
                    "16077071744835343295842830156538966422859590326749756976673405469497092976743"
                ),
            ],
            vec![
                MontFp!(
                    "10815576399739403753225659626130898051225094933854348440212418881364844360946"
                ),
                MontFp!(
                    "4377546567817065857384253347223965335641631286744040320500920332682993407018"
                ),
                MontFp!(
                    "17925601623022453449156124387590033642935440847708235074425970700883513891061"
                ),
                MontFp!(
                    "13879228996712293337648004140145729989541817742645819090275404936339020370801"
                ),
            ],
            vec![
                MontFp!(
                    "13551376780328372941890940436367674208993762473600734382973933298025368058613"
                ),
                MontFp!(
                    "6605241422022362690303183865426081399730125281776057689806113629627606062106"
                ),
                MontFp!(
                    "14240611680468789956325909030932289300056477181955019261400368474417534943317"
                ),
                MontFp!(
                    "9189037475630509417747762549283418478825552495884223901329119629304496447977"
                ),
            ],
            vec![
                MontFp!(
                    "21442266492768913057194286473570834597711083590699433960940655599586949468940"
                ),
                MontFp!(
                    "13470180284422348684944239484090713784993287347278356485402866885226831857271"
                ),
                MontFp!(
                    "18281959186991590587326230472899130787655651958343482943695139566716828988657"
                ),
                MontFp!(
                    "15587442717879498875395762981856726440359243423307778733347861440552655329209"
                ),
            ],
            vec![
                MontFp!(
                    "11341541462396492210107698864220933721272143403053003385163504980152903563667"
                ),
                MontFp!(
                    "15057884665182118933283014198302132829328285813819461048266047090685047832870"
                ),
                MontFp!(
                    "1876338220196528670857554611740331304929006719663794164098989510322210353778"
                ),
                MontFp!(
                    "13524716035930117961077192773083524532783493537661687936823869543613382139561"
                ),
            ],
            vec![
                MontFp!(
                    "1737086386911700709839072452548642674427136048926830188148866304737036524069"
                ),
                MontFp!(
                    "13771428689492706199564083313538446453901662685495179890902584501686303887975"
                ),
                MontFp!(
                    "14716303810200853229946460330369563202093210613043672250271193915197303700470"
                ),
                MontFp!(
                    "1902426376156049889950694643445974696934148524306268918191063905653091012182"
                ),
            ],
            vec![
                MontFp!(
                    "2462336436491160854773314407007486429012389214629946289094657826938680167288"
                ),
                MontFp!(
                    "13370069166941756690054273053008588630828868754225998079565322754621333803496"
                ),
                MontFp!(
                    "13787228829089802195258309789305934904723546711808986213344189033371452370941"
                ),
                MontFp!(
                    "5520680179970150757290774879790310139434366302434214064850608455218327719585"
                ),
            ],
            vec![
                MontFp!(
                    "3353332640065338778993817595292646906303079988474503046904229467303877709847"
                ),
                MontFp!(
                    "2508245005920643594892871776350999349200921327000390854917068366843122167449"
                ),
                MontFp!(
                    "19787245803669884436097750158362760445177881219267696873891147163558319100143"
                ),
                MontFp!(
                    "14058738933970388944788193746531304071286109828452061275096470903104946968270"
                ),
            ],
            vec![
                MontFp!(
                    "9239232347112736777752326092818773651000792193056743515466646188879562298264"
                ),
                MontFp!(
                    "5095318318230409207564940039733499494488569758875373353893362002324669213914"
                ),
                MontFp!(
                    "932726026254444437627085843102352340484397065169556483798743029770923883586"
                ),
                MontFp!(
                    "17177212627420610097107203414883237897484874283664217827991352122173116546971"
                ),
            ],
            vec![
                MontFp!(
                    "15818951678745533756835731101880805287509316878633996539910301104303698602658"
                ),
                MontFp!(
                    "10123496805884812765909642208240768549719856748232734394844769636552248979458"
                ),
                MontFp!(
                    "10158455275520472186419914326102042189788318448835561322506281915256751343177"
                ),
                MontFp!(
                    "17020327868553175691710878662368773819173171104775679068244484556267405043570"
                ),
            ],
            vec![
                MontFp!(
                    "21370450520883382102098027878356451791223156952262417370809267616319649424130"
                ),
                MontFp!(
                    "16973771971702007588119493882107825002309068524525093944326133786097646241944"
                ),
                MontFp!(
                    "16738290374671147379177461262950688638116305129142630412450674271798131026193"
                ),
                MontFp!(
                    "6042500069478372470821334167752849366449842651880872699104107460845857482324"
                ),
            ],
            vec![
                MontFp!(
                    "3274236460392084775980004064716231885589225733964072266386262589339004756398"
                ),
                MontFp!(
                    "8727361056928129973870990872488068840266669706264274894863666309853779360597"
                ),
                MontFp!(
                    "12061647125189310511640275828630022323095095156195849222079039040729822010974"
                ),
                MontFp!(
                    "2533557123370366141793326488477611442006871194678987888656715618073528227292"
                ),
            ],
            vec![
                MontFp!(
                    "6427726012531292786714221596897179936020178094538400393037160461353255547085"
                ),
                MontFp!(
                    "11780243453005543439620266933744673004489596308678251939500284508491247964018"
                ),
                MontFp!(
                    "9698903972469205105589118139525978849589128741812404375978715310617357261958"
                ),
                MontFp!(
                    "20761522921501193167002517117654696037404955033348530465236298514973723801298"
                ),
            ],
            vec![
                MontFp!(
                    "3664262717512682154431396020720653145174747553076756418332881058701030489542"
                ),
                MontFp!(
                    "7738524452239437323094685288885788730131596667044514618348309349807064758665"
                ),
                MontFp!(
                    "2366164886259091051977121760242436659557191082797891133276135265393991391432"
                ),
                MontFp!(
                    "6516543625851904942336022053889075854264551191716083005310855093753368678698"
                ),
            ],
            vec![
                MontFp!(
                    "4236428242764018129137297034879217063727816824570116006585201902415909180046"
                ),
                MontFp!(
                    "618549213734055918626525185244434912506446634980185742770765178259946787770"
                ),
                MontFp!(
                    "18664151173262300646558112894965329802379592859129512145567445204839565219481"
                ),
                MontFp!(
                    "1046519670787389752927069595533085515532968165176499229616874698362257314330"
                ),
            ],
            vec![
                MontFp!(
                    "6447289667327167723885525767283647743606518080257412548967169825816763036101"
                ),
                MontFp!(
                    "6636318391525336635053649694330255550155291026645399548425495713729720681135"
                ),
                MontFp!(
                    "16371761464843055847478548608016493891879460356655508841401182754158886757135"
                ),
                MontFp!(
                    "16473917314736410538349826704485497307420869993287046972416407918616816153720"
                ),
            ],
            vec![
                MontFp!(
                    "6339920661877065821355787357170375933612474985834048926119979166969259916422"
                ),
                MontFp!(
                    "8256969083208552427873910415258767556623043963054261945040764389255520456772"
                ),
                MontFp!(
                    "3472777552404324742654928995814940294597050034339779299925682368729085010801"
                ),
                MontFp!(
                    "10939654391670540812514704203887080603980298860393445224116500435432919508114"
                ),
            ],
            vec![
                MontFp!(
                    "5847355198846873049150888069079572000320456955188912015499021297331684957655"
                ),
                MontFp!(
                    "12954632358645580450448126613580997766321273582467178063004104315252453490805"
                ),
                MontFp!(
                    "6285107422002043272621855571036718888270622627309581281979935694732810248959"
                ),
                MontFp!(
                    "6436149752061352749536128817572829833053287615755023484704184540833166252730"
                ),
            ],
            vec![
                MontFp!(
                    "17328771477683963399270630892759869417934340395338684410958935417429669682413"
                ),
                MontFp!(
                    "11321453378939720061185252975219404034902506422236997877673753957409978086691"
                ),
                MontFp!(
                    "16544384496314987634570856535232674859372574489486808667298690178772377506219"
                ),
                MontFp!(
                    "21393835202992078639260181769108017863151970386728625356155057558921719640503"
                ),
            ],
            vec![
                MontFp!(
                    "20155250405385596545539863847907525399053683996805537981546825296543822828620"
                ),
                MontFp!(
                    "18891211301404455678945412638684104584588280121882822953073334830399149286104"
                ),
                MontFp!(
                    "18053272955389527054019183917672416816351648929617537392379403021104597103995"
                ),
                MontFp!(
                    "9626954013822531219433680925512352776139832749098132823806723590381001647090"
                ),
            ],
            vec![
                MontFp!(
                    "14554111918619054769875700629487578513111086363372344096754244015183192789244"
                ),
                MontFp!(
                    "13832230534738723497363020480110814913680625573475274608478668089149263748311"
                ),
                MontFp!(
                    "12018389545850664808787401614672629075725911711816883085037199691307109771025"
                ),
                MontFp!(
                    "17773452752310450888622025341981723587699846910667825893159118572951333123943"
                ),
            ],
        ]
    }

    fn get_preprocessed_generators_y() -> Vec<Vec<<EdwardsProjective as CurveGroup>::BaseField>> {
        vec![
            vec![
                MontFp!(
                    "19298250018296453272277890825869354524455968081175474282777126169995084727839"
                ),
                MontFp!(
                    "5385439990830629333790141808766489564004042426613953605842428838252723138518"
                ),
                MontFp!(
                    "9834504578074244817864877097296457569480750737760104650970013107390242905750"
                ),
                MontFp!(
                    "12702992722502293829442787120836917515300717186196477509244682198008534095346"
                ),
            ],
            vec![
                MontFp!(
                    "16299476472859803845389031360308059119859598195690243651929589258161150013292"
                ),
                MontFp!(
                    "20229550738731409122760691538586693060173420875104337391298618743265246822728"
                ),
                MontFp!(
                    "5635646716343769072955240740001347247508119667740762553411216918802086594886"
                ),
                MontFp!(
                    "15200093717069430255222536154742135102619150050800508441441804916889261481699"
                ),
            ],
            vec![
                MontFp!(
                    "20140355321135606970402780947914807954287570983819343245358176281907451403257"
                ),
                MontFp!(
                    "5553226374765789891421449328842037870188261852879749635182958754628157242050"
                ),
                MontFp!(
                    "15662078236592094396995259391337611803442840400317219064860320267065788476391"
                ),
                MontFp!(
                    "19505279740316255724527211237090450928089362534754748252751367569398236210454"
                ),
            ],
            vec![
                MontFp!(
                    "4618383018317910632484244105700576700493001205321322835714733171754027128932"
                ),
                MontFp!(
                    "6550351712391872598205381470635277535812300984291925124514338917797616664275"
                ),
                MontFp!(
                    "16744595192288307464889780581763326768215426610449044726039601403335877053712"
                ),
                MontFp!(
                    "9351394925479423235265348275767872117347128344347279447362959656329550712987"
                ),
            ],
            vec![
                MontFp!(
                    "16957266859265147020284011565683180498733725331936305890204440741259336174098"
                ),
                MontFp!(
                    "20945785045601118563551586079390813993992564279092847446661264779191933368052"
                ),
                MontFp!(
                    "7853712286721917929542625718009808651897409543787146501995991247058966383067"
                ),
                MontFp!(
                    "5781547745058592156616612914896464283327879739616936254340613951221064007725"
                ),
            ],
            vec![
                MontFp!(
                    "4435777320833620255618263741318046108398824700361571275381471953950202873020"
                ),
                MontFp!(
                    "21860251429907386434162895424132472406389618391318736666361241930094294385000"
                ),
                MontFp!(
                    "3589127117826552965443438481525350603562515292490361048342547786218020197429"
                ),
                MontFp!(
                    "1864779242714493123995390107836411974485344194383380623676048980048358672640"
                ),
            ],
            vec![
                MontFp!(
                    "7825867924838628161456689194699975271227720886554997176777927432946359736650"
                ),
                MontFp!(
                    "315118158775925787262667019196039260426648962248148227283920940388206555606"
                ),
                MontFp!(
                    "1513544626551401733298279155827536997206128559433389592117428714688297422545"
                ),
                MontFp!(
                    "20557505764680414218428939809768654112473400147971911794700536441796793956267"
                ),
            ],
            vec![
                MontFp!(
                    "19504177104195995560490062440000725008085938054080991684362560848982348764687"
                ),
                MontFp!(
                    "4889810582230700282198353924976946767607884573707594631204390044246625003746"
                ),
                MontFp!(
                    "13451489605666333157483927745713333821171709696040984405384238009012493881232"
                ),
                MontFp!(
                    "14569936621504814476320310513423877098692924054927330634541494390423434659919"
                ),
            ],
            vec![
                MontFp!(
                    "17739892500239242287813122328089518814437711230712040290408640428795893391824"
                ),
                MontFp!(
                    "9483043843035509128602140525082578787069529367419206890946702573504835121260"
                ),
                MontFp!(
                    "4231537118652631599546425048666251567819355626000181678155405258037237041090"
                ),
                MontFp!(
                    "9584336072283450587348354042105543654644424969054114098577213927585333635314"
                ),
            ],
            vec![
                MontFp!(
                    "1285026536718043221742593667838521251064047044970531491704611691121907335572"
                ),
                MontFp!(
                    "16113981306603404941580317948594727139179452687849112947397759426366457314873"
                ),
                MontFp!(
                    "10860615905405667485272491396794068512845694144470659251227215395676559322691"
                ),
                MontFp!(
                    "10295996277559357541919673281089562170333667511606679024179138222727080566502"
                ),
            ],
            vec![
                MontFp!(
                    "5029359933319605002572595506651936284349149222971485930056067481648414289613"
                ),
                MontFp!(
                    "10596769874860222994524621011846279429673687852290551482751329490570196823662"
                ),
                MontFp!(
                    "8663010194746609545546305953394270282039389120884532056067725964824066624912"
                ),
                MontFp!(
                    "4561722031478441464952680652761692977095587251366231735507177209540035309909"
                ),
            ],
            vec![
                MontFp!(
                    "9847438586771199454400951741863674392964687377877118082634499064272881551514"
                ),
                MontFp!(
                    "13057953319742695210832173122905979562671878272387637261143026789494760301390"
                ),
                MontFp!(
                    "17418266673114490748340743303558435699632877919748094671830085172975648506716"
                ),
                MontFp!(
                    "9259468153385391347521273205289797993842027289511530000304909386864386191115"
                ),
            ],
            vec![
                MontFp!(
                    "429979098042299547305854671643353533232569868841469307847051523252081038558"
                ),
                MontFp!(
                    "13788438054511517360164475892694625509125661334305923666325951619978848207604"
                ),
                MontFp!(
                    "6254633521327372610801945974072022117918401763717172014890538898769694984480"
                ),
                MontFp!(
                    "16209828077850540943526807857987077175461472751393480817213405664474072078137"
                ),
            ],
            vec![
                MontFp!(
                    "6934219389787166147171672053138016131222254481710696687181773684514215244793"
                ),
                MontFp!(
                    "21798039211008985431875622855914808736848118136729155371543380871716250011196"
                ),
                MontFp!(
                    "14925346762008921173743483049045243915792012036954316685915000281444461055073"
                ),
                MontFp!(
                    "1518334204285294858834771393024656666403012103416989670040561462117751758174"
                ),
            ],
            vec![
                MontFp!(
                    "12822970396981557903260853344831504271368622547357464678806848386666772497762"
                ),
                MontFp!(
                    "14358653328743368083287612357170691222601423443002037534548159917696759241554"
                ),
                MontFp!(
                    "6921524422876129584446003581308933158293735679832965487543382561208686991514"
                ),
                MontFp!(
                    "4989830312580788053153339165948350623605825911706930337914631133525469010931"
                ),
            ],
            vec![
                MontFp!(
                    "19835133827674028094028386849810889282831271791633139883042594197735876593390"
                ),
                MontFp!(
                    "12605964668878773766462967123691862030866312306346754008561636840431455949406"
                ),
                MontFp!(
                    "9434662458383013716440545361474597814699375099956674873495861679445976284573"
                ),
                MontFp!(
                    "12070886518781346257293970433453801819858492083203633033844036426133932123190"
                ),
            ],
            vec![
                MontFp!(
                    "12044287102336560221968458923709497163252408283994223781315825450154258491715"
                ),
                MontFp!(
                    "9467462948268986377502958763920847036758057255806595011634341456543597593883"
                ),
                MontFp!(
                    "5877608743486958917250596611047233758497112639350302642939228099774180191947"
                ),
                MontFp!(
                    "1049685414306141527908820687757930768558379147291968035797501736874346833341"
                ),
            ],
            vec![
                MontFp!(
                    "8822985465313904145009312346131674000757641644589424733352010453210771480940"
                ),
                MontFp!(
                    "3146208692654757931017105457668897685449211879727882579252939521003252553847"
                ),
                MontFp!(
                    "16665241243787975574787641333764140055913709338739985135598296284092413464381"
                ),
                MontFp!(
                    "20706557525245649903726240483512316592703007876724003487042936548693981526583"
                ),
            ],
            vec![
                MontFp!(
                    "2235001985096857602228158119050667663154411952822425064525492162650059774134"
                ),
                MontFp!(
                    "15276027631785508263987253958020084202026762639044653117578319896794442227117"
                ),
                MontFp!(
                    "6140739824826892086911731910081672550913100157657872579902239397873471362762"
                ),
                MontFp!(
                    "19983896960540834062900193013554336567264220644578812785723337833464139636568"
                ),
            ],
            vec![
                MontFp!(
                    "5197493719845734203641001274962331705588566565163234736142537437274718717243"
                ),
                MontFp!(
                    "17762309541858204155971589513176535430559620204747855399749991220537941221104"
                ),
                MontFp!(
                    "6457492999625725617492390838354816389097285640018304361192269881660048040815"
                ),
                MontFp!(
                    "13010244956454663763859027917865489831786693783475197460071964452507095572992"
                ),
            ],
            vec![
                MontFp!(
                    "17374183091310037257883862426321533301150944387927945968001017159113139515553"
                ),
                MontFp!(
                    "834087153769293198576306170015789849779599601657604553771775453634320679179"
                ),
                MontFp!(
                    "5135501383330289481100571566166772155365521705242222312852728216020097347691"
                ),
                MontFp!(
                    "11807276652025064964714918604542640772014132096334189587701124046908717449478"
                ),
            ],
            vec![
                MontFp!(
                    "20132757575269142194221083540045266812062015383807139128939224959013842409115"
                ),
                MontFp!(
                    "21283740886996558811237901215959117339551269222702348706820845061035991789783"
                ),
                MontFp!(
                    "20650603803065748407814057438188847047545565659226471079630408156696970584086"
                ),
                MontFp!(
                    "21790887416046840540791592516042695795682077131151975258668467421329235785939"
                ),
            ],
            vec![
                MontFp!(
                    "1302165036136527083339102270332576344573977985772118961361638591527124264323"
                ),
                MontFp!(
                    "21877528776898697404633183330583266968558070336537432656705095168790343429514"
                ),
                MontFp!(
                    "13468414068870725378387993823148423361084895753947705946458360754734188177330"
                ),
                MontFp!(
                    "17465010782675707204928889296507134717002121100701936111407122594969192994420"
                ),
            ],
            vec![
                MontFp!(
                    "4147913950142080259346309510278225863591441645426117789776356821986478172637"
                ),
                MontFp!(
                    "2907589301352677174924406392318653291569855088110089159436595417053933257994"
                ),
                MontFp!(
                    "15033105907405637306795507410095740168808974435186525948529816074648080413616"
                ),
                MontFp!(
                    "10618925571267606398120139038748938810395460422392660263768449002328762757879"
                ),
            ],
            vec![
                MontFp!(
                    "9452153924111367043827874429837298198572951708807940784514421584187410132858"
                ),
                MontFp!(
                    "11667576767877591477464043343333249529644292787397255999415654487546886520345"
                ),
                MontFp!(
                    "14797492397031254613376800016229604771308837387340807970667765827698841398288"
                ),
                MontFp!(
                    "2761391754447398959196058732347281190005040461597797450357809068138314770836"
                ),
            ],
            vec![
                MontFp!(
                    "19709697802595796654933666224855118754833233842285710872397971849766314563550"
                ),
                MontFp!(
                    "14054734122808070465493381260785648358696023715861167467951931372826587091260"
                ),
                MontFp!(
                    "9518928326993806258853076247718475658871202058585050536421131922809848480733"
                ),
                MontFp!(
                    "588686256116799470955409686337299810884046075419426018212696720936385527205"
                ),
            ],
            vec![
                MontFp!(
                    "13331587467422786523364190723221865741145736387118834675383343000566579809213"
                ),
                MontFp!(
                    "20193225412774275454721792410364276996007117976329402326724337517883820652594"
                ),
                MontFp!(
                    "9893001387842515693336569059497866718978491047011771410025661522077899174330"
                ),
                MontFp!(
                    "10568082775147180224929072380418109367106702386549997146829558993452743401900"
                ),
            ],
            vec![
                MontFp!(
                    "18646275314882482385445451420779694510403413813746808690679910479431193657784"
                ),
                MontFp!(
                    "18012252382381175983796139206680757274724392848247563015114099179594685910125"
                ),
                MontFp!(
                    "3506280085476605056256199462223327351150502462947582327579010920033900645713"
                ),
                MontFp!(
                    "19050821894689465767965356780362078212171643729787645825951350807586659948267"
                ),
            ],
            vec![
                MontFp!(
                    "4847712492666165260723689714765310037211760244117916048927317878247560225754"
                ),
                MontFp!(
                    "8137329511830464710264658570802345343827726242856182811090488798448327049989"
                ),
                MontFp!(
                    "6114877907613631667846895903348409542795723977334224761747458853062953416148"
                ),
                MontFp!(
                    "12977637013365010249295710159777432571074570225571259396610844745767465292383"
                ),
            ],
            vec![
                MontFp!(
                    "12147196018795673299164334156855154006489613297480203668159546978456476186407"
                ),
                MontFp!(
                    "10336339676565400675399040919409036312512010950961117977679099367661809935241"
                ),
                MontFp!(
                    "2794467480909150671347787791977667387759777811316546189562418349070192068442"
                ),
                MontFp!(
                    "2938377049936684124869454431794472374070616362441495022619481220903758290617"
                ),
            ],
            vec![
                MontFp!(
                    "16565286957436235333050319052532364520083563479598019291914490157319264745096"
                ),
                MontFp!(
                    "14145429112524004585464417785927009425038254495087544607961194596151369480392"
                ),
                MontFp!(
                    "11087167262684359376226364742868002376961780924782559624871910591625235710311"
                ),
                MontFp!(
                    "17340813464574731367555411851473130260424861007606617206386113350054690270353"
                ),
            ],
            vec![
                MontFp!(
                    "19779794473254721920373808928714518444784134422398922531735488854535969361350"
                ),
                MontFp!(
                    "10657974568607283917837693000425521243514528081678604359710914861524959219206"
                ),
                MontFp!(
                    "19887748977742566565555553657890296078454566247526743610077294720142442690598"
                ),
                MontFp!(
                    "2514552759929863188573213745528300426718228211025563787382772371021729535916"
                ),
            ],
            vec![
                MontFp!(
                    "410312680510360736148384481152742105935357930907171862007897416614917683627"
                ),
                MontFp!(
                    "19429632348162288494439572447880905090569576962854167845017034369259735840448"
                ),
                MontFp!(
                    "12277849941877433270107403833223062303490102498930698754633302934677829774768"
                ),
                MontFp!(
                    "6651551962244396418212858516305083201576772502903442000738937899442591079304"
                ),
            ],
            vec![
                MontFp!(
                    "8375822846666719675363551862415343905436923995267658721344667262577878399904"
                ),
                MontFp!(
                    "17636857838934067605105424823294412692961736617318832281373127963978978670967"
                ),
                MontFp!(
                    "12306660889073266104578910894269943813475291351621647070364726808279395000989"
                ),
                MontFp!(
                    "4669201334687835207761594509070506721724262985446835197562289686217791300292"
                ),
            ],
            vec![
                MontFp!(
                    "15439276649959798534784077943780727192320029831212607507822329690447140977841"
                ),
                MontFp!(
                    "16800558556386176360364223071759737935779353697584529417934123312337012539417"
                ),
                MontFp!(
                    "13879001137128902471605808041544303857572952788316075156450330839357984461668"
                ),
                MontFp!(
                    "11053859646714010587346740876778599035938292326653161241887612502335334245741"
                ),
            ],
            vec![
                MontFp!(
                    "13413887192587116531601252985933837331197075616938779811385089684462439386433"
                ),
                MontFp!(
                    "7629004408416844678888562047275931648186019279937849361616144919799053731834"
                ),
                MontFp!(
                    "12738077734951017470058714253558056092722054832498706450540638509439116704680"
                ),
                MontFp!(
                    "6239770139010642808015581388805496537254124102771253376824128319246112627139"
                ),
            ],
            vec![
                MontFp!(
                    "8375729582058936940451108288481817961567125877244077181278583769452027562878"
                ),
                MontFp!(
                    "894064612990246638142236760574191561241981523256245626904644250289215590277"
                ),
                MontFp!(
                    "1693300451102632287864751992942608930719186830247824429606384854131103342482"
                ),
                MontFp!(
                    "19008724813820616005111125932672123690317892691432941408329641531675820228395"
                ),
            ],
            vec![
                MontFp!(
                    "2470560910650952866294895391898625887734914239677501888430582279966220709286"
                ),
                MontFp!(
                    "13884015966566477111333963221987061435759956544848619593663324051772109605573"
                ),
                MontFp!(
                    "3545721287156567891312663433341697515702660213346935140428700679520472024568"
                ),
                MontFp!(
                    "8330184902958905919619364580237698834636461390341301869504671670440170562112"
                ),
            ],
            vec![
                MontFp!(
                    "9747892765125616396963233846907695171701791967468936352558944651101844694286"
                ),
                MontFp!(
                    "10926368008357134927185723943744099947428899070563679106368525203865990686206"
                ),
                MontFp!(
                    "15341438609143103683939157728107903361921331656849315289434769746754377065670"
                ),
                MontFp!(
                    "8726392382205145916975274378159178265938410149917630594819154992701215349140"
                ),
            ],
            vec![
                MontFp!(
                    "19043447202769039094704226201779891857196516601138765499817205063643302535728"
                ),
                MontFp!(
                    "16126922628249527157370865975136695005856413735480573901713731795609853834180"
                ),
                MontFp!(
                    "15175212786774459368140898218335723025363012719175421515264265676988159924191"
                ),
                MontFp!(
                    "1036698024808990634941119591627738772690250059254383984373151180349372485685"
                ),
            ],
            vec![
                MontFp!(
                    "21534240841330618102503245923800880867885141720723480759279608006710758249112"
                ),
                MontFp!(
                    "2442510569440053021524596203560618553431390070523811774980593982212867876302"
                ),
                MontFp!(
                    "4542548134712190315441818993092742981420427761415158240161778558723704549051"
                ),
                MontFp!(
                    "14939401465970478469132706794869879082734345977013664258456970560961418097788"
                ),
            ],
            vec![
                MontFp!(
                    "9749493623484009338373127570459502649232172965796818940624535619427842695352"
                ),
                MontFp!(
                    "14569437461782604424043556827575938640610548678173212377441385155506262745590"
                ),
                MontFp!(
                    "19761079389448175568159425510900040295741668177676302197413469622576447702444"
                ),
                MontFp!(
                    "7209316469153844334418830505671411604079669026419084141472383187630951614045"
                ),
            ],
            vec![
                MontFp!(
                    "728853863942821655559903150365218887483502649301692775416250336159400831135"
                ),
                MontFp!(
                    "1881342718805653102906209756995827972306440996786072342351645094336296405139"
                ),
                MontFp!(
                    "10643790813064995564767345134812348836642618739984251251256318783137435312129"
                ),
                MontFp!(
                    "12820706201953162683319021138469477931094356577466929434287567182992034073722"
                ),
            ],
            vec![
                MontFp!(
                    "14937488929749858052404850319071697156215902201379184690379825186784406067469"
                ),
                MontFp!(
                    "95052473893300654955459321917607268203842132791189861959485765006951260134"
                ),
                MontFp!(
                    "370820934023073321074062012440929851859476744103922116525628579736776901795"
                ),
                MontFp!(
                    "21566377359270110736889012747284959223105029939927669136425879213143451377207"
                ),
            ],
            vec![
                MontFp!(
                    "7154561080274936164096550518647334006020339136861747871336361985242875846536"
                ),
                MontFp!(
                    "4141913222781617300157142071923901667464409904265835629028875295284905521600"
                ),
                MontFp!(
                    "7466018277430190832043537535550616574409557000264842471297819181753999346609"
                ),
                MontFp!(
                    "4744637983993616783073684413116459215225745743802292662244810881458347020434"
                ),
            ],
            vec![
                MontFp!(
                    "3391191182703166685636246710041665111530306698439188554832373619304913019182"
                ),
                MontFp!(
                    "21564002248752518562727725496829295585908307588526955239005741052601763057761"
                ),
                MontFp!(
                    "18806448967117715552099359003292539687360038668325157123182701807578267965539"
                ),
                MontFp!(
                    "12223539027853261988802863920991874312533854389623100251042685839449127102308"
                ),
            ],
            vec![
                MontFp!(
                    "10423331611494871132308987280087388722594544821594489533379842171554575744654"
                ),
                MontFp!(
                    "6878286737759055949089754633712950805054293562948736026421502702860473471921"
                ),
                MontFp!(
                    "21394983367698433003339830056782212681281417564352350670629882832575664423527"
                ),
                MontFp!(
                    "10328147801893822783433946661325546985927354250994542399542787906600363785932"
                ),
            ],
            vec![
                MontFp!(
                    "13076189408270039218625365988563798149075061154800852977125062345672548693597"
                ),
                MontFp!(
                    "12973109188823929304793151027967060707823029791990809401028551025948629404197"
                ),
                MontFp!(
                    "11042330813134905738727938321728888421060506649751915610914537739276486802984"
                ),
                MontFp!(
                    "17930328299081748370902301089090799983874872023956455374267645922927916690885"
                ),
            ],
            vec![
                MontFp!(
                    "15627843445360482159452826543020952759555666253666973218968819584826264011576"
                ),
                MontFp!(
                    "14450749424828500148319955290791623510214889635031531872475091748562643491026"
                ),
                MontFp!(
                    "16866608856471298335701839024516548945898750028532149457594474182127132438948"
                ),
                MontFp!(
                    "4401138545214446393020669365329594238706449827604198229486402060875047263094"
                ),
            ],
            vec![
                MontFp!(
                    "7371811791596310478157553267854462034100313076475713390350872137826703654959"
                ),
                MontFp!(
                    "12584261583918621393199275690596560224543753326465283334127648690468726281238"
                ),
                MontFp!(
                    "1249862074655326985172481182859456007240877185165509152375623183203469348609"
                ),
                MontFp!(
                    "20024972772527298435256975738183753475760742689104855563896727156350213396650"
                ),
            ],
            vec![
                MontFp!(
                    "14611295853217510861621736670519385256413060763504943873199695623638185166700"
                ),
                MontFp!(
                    "5345697359618996413868461105668220654638636424524340763453452339629895907839"
                ),
                MontFp!(
                    "946690919157121531906063616142239583373831731715061232242506530633262031587"
                ),
                MontFp!(
                    "14474975101733222623711920917581772149561869146646162712557448853960265963649"
                ),
            ],
            vec![
                MontFp!(
                    "15975244721485677529926899690340999844169177215869216720431600653512621614789"
                ),
                MontFp!(
                    "21092432434367263503567953200091606250548780738639164223746333774152091012776"
                ),
                MontFp!(
                    "4975775009929481798332615767319378225983188117538321187663550787137917621410"
                ),
                MontFp!(
                    "18847959008367403056696460991524272882636150695796487406172838149644113824646"
                ),
            ],
            vec![
                MontFp!(
                    "2578114797501694108353418487721379270892254753080229855986927915107149371127"
                ),
                MontFp!(
                    "20252199645775328710234353341573875356057681723055661786171260041181120053070"
                ),
                MontFp!(
                    "13912003890248592508552193567224361291495599139024373761858021934977004743249"
                ),
                MontFp!(
                    "2570715598586452759738992225134621485209039952073389327496459513306603512587"
                ),
            ],
            vec![
                MontFp!(
                    "10779803502990414714910613915647373721228566650113734355547525374212383218585"
                ),
                MontFp!(
                    "14735430823802358990479319557924679642131451175766736320485295122840894276941"
                ),
                MontFp!(
                    "4147277587007912113512591364454609586369155937945216837906553218614490705145"
                ),
                MontFp!(
                    "10665250103307385543190687936638516226915222111859950186198166305085400014503"
                ),
            ],
            vec![
                MontFp!(
                    "13201973171559438661744396926538846946321390386101076858039287131369461537468"
                ),
                MontFp!(
                    "4640746234831677101323450748117041079158105538189588514732581174738508282722"
                ),
                MontFp!(
                    "14382567620502911935641583598426364275655570816318290028843541199434651225680"
                ),
                MontFp!(
                    "2385446612252532891062045827551636757583501695763420355147336274564798175516"
                ),
            ],
            vec![
                MontFp!(
                    "1696921428525160890658371375781432566124172875105891758121440501017459764148"
                ),
                MontFp!(
                    "16796677046059376019859762176092882735072557908895105252924144288284839137496"
                ),
                MontFp!(
                    "18732334958292557206070622374466059731446720565562628744928529445704251606119"
                ),
                MontFp!(
                    "9756123141222280722989415709837285500135827423212070335215460427981558450650"
                ),
            ],
            vec![
                MontFp!(
                    "19176353929008656695498407127172698619595486015592602466059392103044921606160"
                ),
                MontFp!(
                    "19090393292053525114582157049501647263210651531379199944782361379311853880396"
                ),
                MontFp!(
                    "9534488009585339105551974603663128333687309552176649269033630374404294718813"
                ),
                MontFp!(
                    "18409613229724864338910155538607176434785094680508189017785751704835252034638"
                ),
            ],
            vec![
                MontFp!(
                    "16563631078513403889190457401159251515587233870273412988419296386303214465441"
                ),
                MontFp!(
                    "18917607560152185666650013254523938404270488744916530326745145168699729489779"
                ),
                MontFp!(
                    "2543377780543163429261271526434783307545589331238630233174240625864108301091"
                ),
                MontFp!(
                    "15153153159799183522657754691798234369520472660851251117044300160151573957170"
                ),
            ],
            vec![
                MontFp!(
                    "1403136397055964420237497477640898716996585988031334572045469518442168121954"
                ),
                MontFp!(
                    "5870574672412058001918385624063535694866517791254988094781681772870105616257"
                ),
                MontFp!(
                    "17633224397865613770782739012379812680023091186542320219028477754191795624110"
                ),
                MontFp!(
                    "6448106612462425438400507268226403591099329965913705843257201375115522267914"
                ),
            ],
            vec![
                MontFp!(
                    "4337871539634031137726082381558293485950531016039804931961960647389015930271"
                ),
                MontFp!(
                    "12305597686760660320431067285591779910111184916001652041580011301759985182370"
                ),
                MontFp!(
                    "19818288061977695951163582198653252867167375585739951765120552405562015369273"
                ),
                MontFp!(
                    "6137458386624673382722862365197334143819692049326041656175513603068983587956"
                ),
            ],
            vec![
                MontFp!(
                    "3790591682366675139675843439661763831779863707720391680563217197000762004210"
                ),
                MontFp!(
                    "5046032265313801389262278172641631984404866574116201716302671526013400292196"
                ),
                MontFp!(
                    "3672510687758010095277307000113098546030156762050715827597151181966056792351"
                ),
                MontFp!(
                    "18137574804540968787237641770277912132538933762752503701984201229398088930435"
                ),
            ],
            vec![
                MontFp!(
                    "1803119761724624005826146459174120664946914902319064875521373838237705236627"
                ),
                MontFp!(
                    "1573677877815158583603426145482565117786826096291096274843878584992023986369"
                ),
                MontFp!(
                    "14561056298363033720588998771114543352045268700716023237362485427133264637269"
                ),
                MontFp!(
                    "15877851962230578561072454905694469728745663262719393332011884425521473187774"
                ),
            ],
            vec![
                MontFp!(
                    "18658268088962057778720605724445152879806732541302325800615493071565199999268"
                ),
                MontFp!(
                    "5246354422581881310748435417909077890098007366561328251065780046120931663989"
                ),
                MontFp!(
                    "4692016674681967625867953534253032647283563291468525599490049637450512123387"
                ),
                MontFp!(
                    "16967036860764789468847283868573314682772853174214481008115764850920478708832"
                ),
            ],
            vec![
                MontFp!(
                    "12629358931556877611158149953260443308272458529698979189314147926315671969169"
                ),
                MontFp!(
                    "1866292022745036217979658270151848288313346408111789714226237499517176545987"
                ),
                MontFp!(
                    "2016563295339208033974737136748419320835230937660874053899341297723379013018"
                ),
                MontFp!(
                    "19279173904127398807186933642519799534174465025185842787979955233510808767590"
                ),
            ],
            vec![
                MontFp!(
                    "16550850281790484935936650172531594580218416835281807936840206632143933356177"
                ),
                MontFp!(
                    "2069959192425675832433765062900723438414223238581420352088757381512123625186"
                ),
                MontFp!(
                    "14090458339468408094146806125270650836303634531570493838050383693506224850845"
                ),
                MontFp!(
                    "10566819624860549600589566790467916013792949061999422472014071160641672711246"
                ),
            ],
            vec![
                MontFp!(
                    "8911210188739890942345688163823290816583072748213860366264476182477827820567"
                ),
                MontFp!(
                    "18648101145310228650412881159842163271993498058924822316995927845144064218675"
                ),
                MontFp!(
                    "13358773423006993448261781508052516682477826055881742123018062668543609722866"
                ),
                MontFp!(
                    "2466993049685268140387785391250545467731412740592795076299262464964177364622"
                ),
            ],
            vec![
                MontFp!(
                    "21523270527643321826260632674592205337806995383472791392536737283306448606283"
                ),
                MontFp!(
                    "13964231040189920525840743574538872730576856434053537301769767568066708909443"
                ),
                MontFp!(
                    "8601179151698845441943253234385666399227413603643456248545954633145030337414"
                ),
                MontFp!(
                    "4625023431116779904164812339737649544518207884910986180405665468699820041523"
                ),
            ],
            vec![
                MontFp!(
                    "8915415487621847242099762084206809939336938307000801678122628665155299619395"
                ),
                MontFp!(
                    "13414516055974288597734628799743691478958988952094050814572414523426270248056"
                ),
                MontFp!(
                    "4901039348214049687555057177260430591602606186172991086967688222248917061573"
                ),
                MontFp!(
                    "14843373390547910315860764210689967153424674191021050316743330245582302720768"
                ),
            ],
            vec![
                MontFp!(
                    "4749552887951473423891568814599489682359918613586496392514416472013070558878"
                ),
                MontFp!(
                    "14868435715326742195240958479824320968900350343674736431618569981523291536805"
                ),
                MontFp!(
                    "15122344140582299418465479969140502581066707828816841722525397477262400429493"
                ),
                MontFp!(
                    "16704982012235157717317938443411007714805386988521059454998077116470354471294"
                ),
            ],
            vec![
                MontFp!(
                    "6835394985148812013912566759414833734331256155587643857931852337635494435614"
                ),
                MontFp!(
                    "5422942425352609882882777213206148848776461349647550719859961579796530588174"
                ),
                MontFp!(
                    "7407383624584141679089983681531925914295904471011880788214517359464795934176"
                ),
                MontFp!(
                    "20554215731204599061431184511822357723455231758241049159053547506164516081993"
                ),
            ],
            vec![
                MontFp!(
                    "4526157614617754438760027735475482449500081809740398984858079163337917851067"
                ),
                MontFp!(
                    "4557445059833696490542732278278618712255106431344890576516633330778243903680"
                ),
                MontFp!(
                    "18307757830497850721193820146123572263523563989204285910888309868525983610923"
                ),
                MontFp!(
                    "16439473829377912039965221303226100309264888980341041120020153463480109700298"
                ),
            ],
            vec![
                MontFp!(
                    "14996920787282547382883326659433522393994259188065289318616085576682739096372"
                ),
                MontFp!(
                    "19677504170411891023750099745776903644191011138883937454514434749808314169845"
                ),
                MontFp!(
                    "7109447930512335976241217481800159414472150776299361589929372685375628986566"
                ),
                MontFp!(
                    "12993626862295786574581944304848539721152440487816117361000379392507701944461"
                ),
            ],
            vec![
                MontFp!(
                    "17001468828517250791639837049971301860059121811345704651115792572193323071772"
                ),
                MontFp!(
                    "783432238926804431751045259213777993457658925995694697363506086491064133055"
                ),
                MontFp!(
                    "9837026496899687391271155340406037075104974961023495489216632312203757176635"
                ),
                MontFp!(
                    "10365165586795101197870738166484079917690493423892712564842987528523894452418"
                ),
            ],
            vec![
                MontFp!(
                    "7047151506632927387063377084085916938122170066555023818457560953023327038059"
                ),
                MontFp!(
                    "13319403624797681849393369311473373832714607344679297872043771029116240744035"
                ),
                MontFp!(
                    "19179350348829722320801764810265234244575478400750264138800124264515895069077"
                ),
                MontFp!(
                    "12096015133902370769604791056206370659154888645997658316224140103351395302509"
                ),
            ],
            vec![
                MontFp!(
                    "10336795214411412083103737219987200203128994190670350738179012771986221383231"
                ),
                MontFp!(
                    "21091054061172510043431088295003074323818642591821055565554006462463943656676"
                ),
                MontFp!(
                    "2972376753475880889077544411363024550191916296327263120556255913488599866662"
                ),
                MontFp!(
                    "4184924037416408299737500246082200292371338335036907977928518566560615667499"
                ),
            ],
            vec![
                MontFp!(
                    "16987188341860792196229695747638958876561004124060921379305019698783466057576"
                ),
                MontFp!(
                    "16830497547371449829237031812777808034496607636654190961368399773184969081657"
                ),
                MontFp!(
                    "16680918944224948289840956136853125965053328315959369232336551873553097117618"
                ),
                MontFp!(
                    "12481056251806779012988556202609937939458075922260859761043943817911332477090"
                ),
            ],
            vec![
                MontFp!(
                    "5422010428243443226424236867253116209369575578862169185504649485626645689519"
                ),
                MontFp!(
                    "14344494722977947935792480907463103159773607568371813597472301075277166380603"
                ),
                MontFp!(
                    "7082424765182089313172428512046002009052987076167357383518958386229783817247"
                ),
                MontFp!(
                    "7122009576857097456325435065756756710381934540916641698068688322441310151292"
                ),
            ],
            vec![
                MontFp!(
                    "15440688989907232451777176525123557748347407187978982984161907915293462744406"
                ),
                MontFp!(
                    "7494826127846937148381758215670534931451525655175506761518199899075238031354"
                ),
                MontFp!(
                    "2332979603071394424321231920286593448468413508446896939015914076004559716307"
                ),
                MontFp!(
                    "21024472174328505991264343207021419188781269338548408240344543584730428933327"
                ),
            ],
            vec![
                MontFp!(
                    "11331996402122846218397988556706239813409907074375412701590352139683310860615"
                ),
                MontFp!(
                    "12296027454649443467186236727145252197811022888760778975832370786124559282281"
                ),
                MontFp!(
                    "18486221661458666195921944372706975977170198792827690536894368671867758356495"
                ),
                MontFp!(
                    "15294714861047352687907963568185569461612399598128753837429336465844482444111"
                ),
            ],
            vec![
                MontFp!(
                    "3809214063955302286634635559795568535483097362113467969495340551285618802583"
                ),
                MontFp!(
                    "6370803389326347273007089530054655981658351971496072015228684787530052286859"
                ),
                MontFp!(
                    "4314486035492889960277168812110429837517509921499506065555828874239003840106"
                ),
                MontFp!(
                    "13982090785117173266516267491724428632701364927202953631639327401773448899047"
                ),
            ],
            vec![
                MontFp!(
                    "2694524367494065504829231267535393111512116890052425164040016232805376396844"
                ),
                MontFp!(
                    "14364465333642697685775252131464817818338370269091748196829865358443985537648"
                ),
                MontFp!(
                    "8974868649774418622494170132952873380172575329614231154177482803481634998568"
                ),
                MontFp!(
                    "16069856140418527422569529167443862628446393691639186824716085343999787833157"
                ),
            ],
            vec![
                MontFp!(
                    "13586758492922658449278833097641787857823554435255557552762302063015933959847"
                ),
                MontFp!(
                    "6673893548277251505698945655535949093112303524769447510063796328821415038300"
                ),
                MontFp!(
                    "2780741709303285891841236601815626929106429271122993077117638435534608240474"
                ),
                MontFp!(
                    "5634245862149867518452293915216804704699166452817664359676063738939010581579"
                ),
            ],
            vec![
                MontFp!(
                    "16647511249710119037806671944628972784272472611181872698113118239881999703441"
                ),
                MontFp!(
                    "9182855279289480222437556505706062075130198842949446163135749265340034876426"
                ),
                MontFp!(
                    "135835131216538246019218758047422000381704717931978368058624635834991622966"
                ),
                MontFp!(
                    "6877931703658089556042397589613779884681447761170716913273236387806247373391"
                ),
            ],
            vec![
                MontFp!(
                    "7043391681857700119621045274689674836338908805538645670160408371873490292714"
                ),
                MontFp!(
                    "17882146963448870885490315293713571510855373150018684184807219515042649709054"
                ),
                MontFp!(
                    "1139378988523535820271104391067056765989711675084063281214298274802916415479"
                ),
                MontFp!(
                    "1298460517873704907025532446731755957140073123303762523692042013154294586817"
                ),
            ],
        ]
    }

    fn get_preprocessed_generators_dxy() -> Vec<Vec<<EdwardsProjective as CurveGroup>::BaseField>> {
        vec![
            vec![
                MontFp!(
                    "15278545045100520069749465460895694671619511158867832104680773572819733732250"
                ),
                MontFp!(
                    "9299520726700209569261705987451418309616845281646221698961540406748743084848"
                ),
                MontFp!(
                    "20143383777696787920874853534713321975665770810593397218616814327796674508491"
                ),
                MontFp!(
                    "10470941830672673344691062466198680636302850432013070912410973658759990329266"
                ),
            ],
            vec![
                MontFp!(
                    "15078032253282533759955463671769462785071983217567509588729935952620240976623"
                ),
                MontFp!(
                    "3438740794715520840445153095586693927374998773565641508910090011502999297766"
                ),
                MontFp!(
                    "16076553188847425427597455683962603552469740389788682785963551605227589271815"
                ),
                MontFp!(
                    "13911495347603509922815545681203421295311248260788779840486876668646100068021"
                ),
            ],
            vec![
                MontFp!(
                    "12439180827311509472893122740326410748540375243920706047717684212344968770435"
                ),
                MontFp!(
                    "2065469427170542815178444520180263234251012921225776058509190417691305852720"
                ),
                MontFp!(
                    "13500361817306899815269363249625542445410481728295935501919671604151725332037"
                ),
                MontFp!(
                    "12638441580921881179607506944696079625263536897228660807851199549171648622482"
                ),
            ],
            vec![
                MontFp!(
                    "3801454466945990316606657269436011169987395459302681677828721623256717412361"
                ),
                MontFp!(
                    "13797944203788099105596765834242839050770129423035782064497820607786956596742"
                ),
                MontFp!(
                    "3760082712934859176309346024033160577122491957339234273728890457665862346898"
                ),
                MontFp!(
                    "3902582295277491425322434160512383599487425845189842822906339995285037001623"
                ),
            ],
            vec![
                MontFp!(
                    "15874643864829323325597567914289450258456725175540154766217964924057015796937"
                ),
                MontFp!(
                    "11582338231811247151576016619459347887920719406871280810977851546709538464509"
                ),
                MontFp!(
                    "1142959461941366438938762358785075802554704253001624988845448356841791597725"
                ),
                MontFp!(
                    "15252590249858376486933374609973912802956425579732168890582814485251275473320"
                ),
            ],
            vec![
                MontFp!(
                    "505354607277819256453452419718891827380115676147078665011729123668464447362"
                ),
                MontFp!(
                    "5434278950415617996435701360454918840439646597405106323777091494883473696495"
                ),
                MontFp!(
                    "19092364726618502967055275685498016120401183375752461293695747133922153841525"
                ),
                MontFp!(
                    "3254087360713084604710187570983641213172959821237281306624068579005354934063"
                ),
            ],
            vec![
                MontFp!(
                    "2639475707779576333314607891252380369528508934163134444941618205790570592903"
                ),
                MontFp!(
                    "8187216519152781256956557601640496033557666444307368905742531147069005363726"
                ),
                MontFp!(
                    "11350441152224787577695343840959824543049499260267745838103513591756968466658"
                ),
                MontFp!(
                    "2269900848859908658932237009350748754712266742855464634271702860991809879912"
                ),
            ],
            vec![
                MontFp!(
                    "20451233142698325104893682199997886088412580022019438463218925150070960566"
                ),
                MontFp!(
                    "3316111158199593319815650936882975667740036258337910270822610265988788500470"
                ),
                MontFp!(
                    "5786051594062720992975948327727566847644176169046855120957950689340763872200"
                ),
                MontFp!(
                    "3941574930724350714705590657048355509790204795519563152818652664222062716631"
                ),
            ],
            vec![
                MontFp!(
                    "7145967257563602028462183063911744552837461405127547533601226683281762278768"
                ),
                MontFp!(
                    "20047914446036485596370683505707679099129798945321180935845298284862190037003"
                ),
                MontFp!(
                    "1332356660577994699878554557028589077743672971428439463475113425471540078032"
                ),
                MontFp!(
                    "7202741696227095423759897561674722995032804054295485585283012094267674016499"
                ),
            ],
            vec![
                MontFp!(
                    "14084878904031893906694038630173824653731499323063297891379651867206016475017"
                ),
                MontFp!(
                    "9937434705985531466501036600230929289464399869084176588549767552540124101786"
                ),
                MontFp!(
                    "8206722847866671497382331631025076923360842224215367694673213283196826167659"
                ),
                MontFp!(
                    "6744746042672323049125629697545158700181629711921801982730651498219028904219"
                ),
            ],
            vec![
                MontFp!(
                    "13840649575763721361141296164420967006978375972571397307547643689611034912592"
                ),
                MontFp!(
                    "11178963907163684013370372370993301141788390278579686769213043927218434981162"
                ),
                MontFp!(
                    "12951963391208345166612577130121570062700716690539752538842438158360702658890"
                ),
                MontFp!(
                    "9107154040651684148883061650076465047900288905441429212856176738017498298966"
                ),
            ],
            vec![
                MontFp!(
                    "2645286212657397851337523765760967496392207126837885495175661387873285913519"
                ),
                MontFp!(
                    "9711925464969684809316678131226401489448698747810416155129239702606743434821"
                ),
                MontFp!(
                    "20506814906356367817550600374745501752359056236457200124841957614519369126629"
                ),
                MontFp!(
                    "10125399244935562541490978242177346809353499190078676300138361903703353509810"
                ),
            ],
            vec![
                MontFp!(
                    "11550606949936465477296828703513144188270120132586043093256729738567213829398"
                ),
                MontFp!(
                    "13297601553406271012204424465873225480995931684197991622272403947232156628916"
                ),
                MontFp!(
                    "18617225349607315461296440577473926603918079455084964039042120820750017672529"
                ),
                MontFp!(
                    "2744586199482347943665193796108655800636549860605037602339688050150672286277"
                ),
            ],
            vec![
                MontFp!(
                    "21183898054260775316505110612752074448672374871345375553044202260442125310654"
                ),
                MontFp!(
                    "12992709640750351192836816866072544982085995848164766156760789950096143283010"
                ),
                MontFp!(
                    "554010865552648821816005632166028494243808234762338629622033209869517686479"
                ),
                MontFp!(
                    "9116833717958895055828765316741002155663308972925945412366386614710402375082"
                ),
            ],
            vec![
                MontFp!(
                    "11924675730823797470181674818630288117983864131690082414629694288685085835473"
                ),
                MontFp!(
                    "2341588727913615934110999920826240466088468381869710009975775626208488404645"
                ),
                MontFp!(
                    "17163810963327946482717675685428289885723298557023699414274586095929353639321"
                ),
                MontFp!(
                    "1802318097726872529370731343766234049920110327607933966513857599828635042121"
                ),
            ],
            vec![
                MontFp!(
                    "1422347800911517529241818459609672072971038278797723240506922189055659037431"
                ),
                MontFp!(
                    "10035873999731332596308477523820489337918511070929270892428282721403149990321"
                ),
                MontFp!(
                    "19175008169438733932646137528742279794908303322964396797299127654929291446427"
                ),
                MontFp!(
                    "4600212497147470873101919696409135618766080930138560821785856439237780044027"
                ),
            ],
            vec![
                MontFp!(
                    "10616095843074171084139586401568207952084524663721190101559001543474177913354"
                ),
                MontFp!(
                    "10759124588548799249919942199053533479078223666175423547766386739940420007060"
                ),
                MontFp!(
                    "7080035384406028570558650461445333737180951662993863215622133994880450256061"
                ),
                MontFp!(
                    "18846910407106550461044023674100977190283220202203789077178649332618729015437"
                ),
            ],
            vec![
                MontFp!(
                    "15845813741309408505323024988694980882742011595380952242841386935249402384034"
                ),
                MontFp!(
                    "7555957433736623118399687107707813856754950284007126538081234072657138975619"
                ),
                MontFp!(
                    "16397220439426904169980025180153079238209107167954890935645770574379142872232"
                ),
                MontFp!(
                    "5537638944252712480380233753963388750256388590925370422807128163006843585043"
                ),
            ],
            vec![
                MontFp!(
                    "11132481562980912171959251058128825614896264269158853093023999334986699728254"
                ),
                MontFp!(
                    "11005721851765004569886133554213072711810201185850810951488272187105160793078"
                ),
                MontFp!(
                    "8687950914464166832404589595803439470979963577574038363446334683331202460922"
                ),
                MontFp!(
                    "19404973748225181317691541711077663506085268795005970958539969760879933549584"
                ),
            ],
            vec![
                MontFp!(
                    "17736203408569097135490240859633078790546648441015415749192200639704261712319"
                ),
                MontFp!(
                    "21155256797166254528052528479114487954669750191502186586803954295422003019923"
                ),
                MontFp!(
                    "15698445240591911391102752549271327066721941560616595126302715490260105156262"
                ),
                MontFp!(
                    "20312407776114025170839763571103151525060290009635049324231321752716080405891"
                ),
            ],
            vec![
                MontFp!(
                    "4244577005990674316862021091213636610013597969472877556304908528518290071113"
                ),
                MontFp!(
                    "21375508265849070589005294370381147840590423452399652148817389020282360878858"
                ),
                MontFp!(
                    "16932524423017122334741670794467464990089749314086066459260402548834354501962"
                ),
                MontFp!(
                    "9256848328967076535855601982220778057744051703122958757475830444126464134063"
                ),
            ],
            vec![
                MontFp!(
                    "8468671945818132809980894079360789837872280560723328104128761900149141901839"
                ),
                MontFp!(
                    "645733526182704065136682580281189585661563329176724137399715341738607434297"
                ),
                MontFp!(
                    "9048135543831164546911947884595307177025843851360912919509457425916266882601"
                ),
                MontFp!(
                    "5957128162639665996970664028438654099165009135266886403510171460811894120891"
                ),
            ],
            vec![
                MontFp!(
                    "8091554637522832006087685666880370603475383948886070932604845721539975843178"
                ),
                MontFp!(
                    "3323450901535510322766062283565788606368493958542818078277632067828609159778"
                ),
                MontFp!(
                    "18601184653090615670408365030350348810517601300719890334990918464586727822923"
                ),
                MontFp!(
                    "20332678266693892038848154212355703596651778075274515055679874055248520401690"
                ),
            ],
            vec![
                MontFp!(
                    "20824386772603932992843399670665658013768619004689774612519341000915325694710"
                ),
                MontFp!(
                    "18046022720894902850581260341669804178970882215012793424552847859118905562375"
                ),
                MontFp!(
                    "7227501842778096152705954050461267993624510888210774964738181002702192910310"
                ),
                MontFp!(
                    "18532359150202250479833583880039727636445549330444696781146059631373649815042"
                ),
            ],
            vec![
                MontFp!(
                    "9256037031685665532757984950191798130251482852211691202969235151373923648657"
                ),
                MontFp!(
                    "11039174993062609019498197511877797341913756361290736703744065613227116671546"
                ),
                MontFp!(
                    "7532263536920924725739776479440065925497856375054186119649363112225798703667"
                ),
                MontFp!(
                    "179393578732691896208247487174670834080602994240844934408996271966518233509"
                ),
            ],
            vec![
                MontFp!(
                    "2815891922928876310230772231493116790594414814125005333360996001353699639304"
                ),
                MontFp!(
                    "16025675316209110165667397061284597821531037596854312763389856502317704268341"
                ),
                MontFp!(
                    "21498934855783069823788943980992534012844765972896563549961472866183509833806"
                ),
                MontFp!(
                    "13591858242012931441949048980148064523447238575933222854410526774177908406083"
                ),
            ],
            vec![
                MontFp!(
                    "1232876624355226360959762419002790716262537079282160590671486538361479078264"
                ),
                MontFp!(
                    "1246589294416138179112855808682186795747035672792611134347051957756910424634"
                ),
                MontFp!(
                    "8966444002990374008425918591088267944315769764084076992277756426018107904649"
                ),
                MontFp!(
                    "4956394479464271179759375316724198777805585235869858922152618848956761824650"
                ),
            ],
            vec![
                MontFp!(
                    "10260295478137911252851192640779625504893257354746825351175794282345518983831"
                ),
                MontFp!(
                    "8062672888950396843955838538496591582642245617704407193826126898217164917670"
                ),
                MontFp!(
                    "11342539717823800514334101578549672924495322919864004470283720863407644043579"
                ),
                MontFp!(
                    "13451135738177000831482258154166366908195665679540607056106070033809444196405"
                ),
            ],
            vec![
                MontFp!(
                    "7518085327491803064373505259828406422311508834892101695626177836628267188109"
                ),
                MontFp!(
                    "8256384337608719940587421333528356497181861886004858453419166249530374156978"
                ),
                MontFp!(
                    "16879332753815413839348514499636274477991519991229287786765807995842974498665"
                ),
                MontFp!(
                    "17581633021026042562611943938250670285935566402681888418772093556255484814011"
                ),
            ],
            vec![
                MontFp!(
                    "9116126544459795614621089432919842689408271365138125893500135805627276286041"
                ),
                MontFp!(
                    "14716025890774013627333733549579094661805648450658644939108221857766575575356"
                ),
                MontFp!(
                    "11226138353547923911334995362339156312613551785775122224683677626734515409238"
                ),
                MontFp!(
                    "4264217611231469735096885082722825996759148127222083262469479547524385826183"
                ),
            ],
            vec![
                MontFp!(
                    "5760533931115559385501427003393497912059505476006558393067095643085158719292"
                ),
                MontFp!(
                    "6713484793496438038065032154203599080252891554407145773234592523712031314419"
                ),
                MontFp!(
                    "1066986807703361335878326769335575663214377769903559237120259648063345388272"
                ),
                MontFp!(
                    "8801107274165731912632907592606579899675635903690196022358816151713640978683"
                ),
            ],
            vec![
                MontFp!(
                    "21669530682235780723444654712754516187199227442698620120114605573429170853729"
                ),
                MontFp!(
                    "21596138194459789082624107879796755537001547651801554243337158237789184149918"
                ),
                MontFp!(
                    "58380733353662743228602315875906476406291449372891532569924512568697209233"
                ),
                MontFp!(
                    "21735969216021457115669388937251078156892014328909526243197010168067442652901"
                ),
            ],
            vec![
                MontFp!(
                    "21398551612376368610862040362741616139373104552619767275801084887363776554137"
                ),
                MontFp!(
                    "21706381695890861791575137690094799289786956901532549399052742425855574230984"
                ),
                MontFp!(
                    "10136583140337680321314822110096385184875949295898379571807567857658631992278"
                ),
                MontFp!(
                    "8515462382053388624409924099756899834266649754870767597206419927313961990917"
                ),
            ],
            vec![
                MontFp!(
                    "6832987950703267142138099041709017504683046048544942789936932793746870538225"
                ),
                MontFp!(
                    "14101216246602173165069449856287896455166070085110733979388409091939388435298"
                ),
                MontFp!(
                    "7471984835235787630318047388965252556621949771641438476017667447462789181993"
                ),
                MontFp!(
                    "16474380754196596239631883586264189025907968560989411771714255789558954742509"
                ),
            ],
            vec![
                MontFp!(
                    "4795921410431073017620409329713425905269222171398821956097636421956469131666"
                ),
                MontFp!(
                    "20279255712672933820589588505142112859613255381686007417596821963038640011950"
                ),
                MontFp!(
                    "15356143735106220978950173969814503312495013988046569910414620918415870699578"
                ),
                MontFp!(
                    "13600924562564569957782774482489335360644618489110893225342216017816339833096"
                ),
            ],
            vec![
                MontFp!(
                    "2137764265570138344742438712593671410801653978884417133959678380545133146776"
                ),
                MontFp!(
                    "14181894993699270046820094862754140211810234696544582976653330651739260393026"
                ),
                MontFp!(
                    "5182335810630194511938705129827079799089823701090269655357170772029039552229"
                ),
                MontFp!(
                    "21838695178524919259018008210483371427791545873923578265536804129476278512928"
                ),
            ],
            vec![
                MontFp!(
                    "19072414557436199785149660105709088705973576746587972503435708232007499917784"
                ),
                MontFp!(
                    "7626313228059619609437974529175732169657102251967296057363873141289200874696"
                ),
                MontFp!(
                    "13993945280047075910015766146028117268965813008707395734991641810921609857882"
                ),
                MontFp!(
                    "878880516101168534875180916615448373094238041841446659785666780826535078604"
                ),
            ],
            vec![
                MontFp!(
                    "10154891826634982258592099750252373131508150337084623589174289991251187177132"
                ),
                MontFp!(
                    "10426721214269207069040118222064505871276059634813257023628483106427125564612"
                ),
                MontFp!(
                    "8760837700031037749595181610324435794462480477981699119765667778871110257588"
                ),
                MontFp!(
                    "10711257720603338490747915007227764229365843139657031045372128975580110897746"
                ),
            ],
            vec![
                MontFp!(
                    "9946757084054099415124723399044387126901179087016824248063402855911665643018"
                ),
                MontFp!(
                    "8825440859054286346466970715971522409251342006345348945564402890168601133009"
                ),
                MontFp!(
                    "16524048580322987806412298172779825252987480495474185483291772847092535860719"
                ),
                MontFp!(
                    "4844146387394526424209980687804322244415312148369532074567747255943723462250"
                ),
            ],
            vec![
                MontFp!(
                    "18068090685224730248446109710189003204317020725732859255581674605713511687803"
                ),
                MontFp!(
                    "20005141375814580590184386467124199818428182740950110402253819242537606598926"
                ),
                MontFp!(
                    "5308685245109510939119122335527625950434694806735563956971007219349778519829"
                ),
                MontFp!(
                    "869921473546278441834788529992729215382152397162005644846206921050369525303"
                ),
            ],
            vec![
                MontFp!(
                    "20839687994475422474517184589030809438410338027535084725514868429016787567807"
                ),
                MontFp!(
                    "15948457002105861394502440603022741413760194148247262205457665255998850220435"
                ),
                MontFp!(
                    "15510122758430931226175261804520303474131717407962060346465221734560920648036"
                ),
                MontFp!(
                    "13216016545276646380076035456209060593649039742305896519186509272396633726140"
                ),
            ],
            vec![
                MontFp!(
                    "13213343400785314108103971916024014101896186629243521066548100580141520619962"
                ),
                MontFp!(
                    "12074203336354975135398247198748524680456240780227588975027841312763528897680"
                ),
                MontFp!(
                    "16758330390742553713473590457501395329860829827564554614498155982190169714958"
                ),
                MontFp!(
                    "11981284322815958625697232103782414893006572768615455128353197510848733480313"
                ),
            ],
            vec![
                MontFp!(
                    "683975421273882762980683366941895832276850485489489586365100466407196837642"
                ),
                MontFp!(
                    "669207887736049496562330528681787493780451049129169694599782967975902339601"
                ),
                MontFp!(
                    "6399953176677734103581659782902733182599804186352326732278239429083749188956"
                ),
                MontFp!(
                    "16253867933067624782099217329371662476940333567916861083759836776195941125996"
                ),
            ],
            vec![
                MontFp!(
                    "20750698518351989430029327076411540641659710157259973564755790952941078894907"
                ),
                MontFp!(
                    "15954022635087231121121429581528784063685683525098518048749116284495309683620"
                ),
                MontFp!(
                    "11731626273621627606417661868222136391116062673663072602371462855657741160020"
                ),
                MontFp!(
                    "10663907515537617326032790443516114579150577920715236305865552943618059591497"
                ),
            ],
            vec![
                MontFp!(
                    "12189910964835423650745681268938232703587295641379304355932768426678483135968"
                ),
                MontFp!(
                    "1533850188984680892086229348829820373273553198340329332168052822446834322735"
                ),
                MontFp!(
                    "21370585730769693975203834644530695745941140929691895649214508563070838729939"
                ),
                MontFp!(
                    "9842403583767538046661044546456487240218754962391850011425553931954536853341"
                ),
            ],
            vec![
                MontFp!(
                    "815167018518803600887234838467267889638346266920703164678317882627727337096"
                ),
                MontFp!(
                    "5999478855406182280821373635242427711589657071803189960526732596914058955819"
                ),
                MontFp!(
                    "20678351913750555905570127607407571219740374410663412811895956294927483086948"
                ),
                MontFp!(
                    "18183871889971380499762693625296811625193923156605010504118620590926860745379"
                ),
            ],
            vec![
                MontFp!(
                    "2051441447546484660655612459717544127321527576958384199323783465552500740136"
                ),
                MontFp!(
                    "13903293344410893517534149910748847018253692419911055409962797105861910264356"
                ),
                MontFp!(
                    "13058450559881057505393827593294123668386822188772506407774468184524316040847"
                ),
                MontFp!(
                    "1943159679908978917296943957022885498689028009864484452520564694152726362431"
                ),
            ],
            vec![
                MontFp!(
                    "19678655654807663245378416565486679913906235663787839732562679318724571185964"
                ),
                MontFp!(
                    "12554909986455935293185206310991705380183696571787796853236546835033349619580"
                ),
                MontFp!(
                    "12563978723270380689933776455627659131610868178478229961854932452148093984648"
                ),
                MontFp!(
                    "8455868146304169884923110193592734356887031421059513820955074889698576942445"
                ),
            ],
            vec![
                MontFp!(
                    "1844442882153042511799780159801938082747369244049959135782536127180341279132"
                ),
                MontFp!(
                    "10838251932711782496856334701448997470660766177725665108085383446976796899382"
                ),
                MontFp!(
                    "1409491321019920403475510196468894977344632860439011367304672883597821548092"
                ),
                MontFp!(
                    "14653752265974224417792998462227741188340498061785964874818234967242983273408"
                ),
            ],
            vec![
                MontFp!(
                    "5574878084598730973297899879529410564954783485716200613367315401442598343214"
                ),
                MontFp!(
                    "21080950811989653218681050282833206126329379450047549679040711461243430231772"
                ),
                MontFp!(
                    "5227303200910251521955999489616773480361094094952537605866408546125120660980"
                ),
                MontFp!(
                    "10066496529627994855185568223330846260698204738157761611523172924408634661437"
                ),
            ],
            vec![
                MontFp!(
                    "20044455368019916065600772002594425406117749867024289072085355125019505730181"
                ),
                MontFp!(
                    "7887302812348878590497721314720463739354545273544940095874420667667080506019"
                ),
                MontFp!(
                    "4536554708599938051517626954871434107566210587853858675966994283764122219016"
                ),
                MontFp!(
                    "20729001261407152471461223990753871180284491343167983199649577610850895892355"
                ),
            ],
            vec![
                MontFp!(
                    "6845402432092087307521212823167465009220323379615524278006697427175572986721"
                ),
                MontFp!(
                    "6192633971969081027051297813187267176842705684476569320689697069577758615348"
                ),
                MontFp!(
                    "4096390296956631044412824965044026418768055000479661043911722253035933287037"
                ),
                MontFp!(
                    "5271839005150454612144036280590036246183335337232405643833946651741460392463"
                ),
            ],
            vec![
                MontFp!(
                    "5801435947116635287030572950957517005173203991277249857242170082047884856463"
                ),
                MontFp!(
                    "9577164453905591448017271614007831045594666600672001552076943184452531378074"
                ),
                MontFp!(
                    "19955311881605075576558941348317521208263629055982564719830407234774768152703"
                ),
                MontFp!(
                    "20249764422788186770412225619943201263293003674929494159488445437506757409174"
                ),
            ],
            vec![
                MontFp!(
                    "19742773801335448492580795980719432584958467398374594331721408067929784133607"
                ),
                MontFp!(
                    "10851281849476148482767640041958221079569712026723647926176749149616471489432"
                ),
                MontFp!(
                    "13408612154344396529522732365046168310377269896645826426130251967816249544374"
                ),
                MontFp!(
                    "3768054980194146975713850769155713468143232579573239115020591656440153127365"
                ),
            ],
            vec![
                MontFp!(
                    "12538084767591076315749907612496750022219327465640846120427585606235368073377"
                ),
                MontFp!(
                    "10842351033502605338899364674088344921918304303154457779389256398137301598629"
                ),
                MontFp!(
                    "2485436828419880861989146301711254323955867564832597992871600909874878866374"
                ),
                MontFp!(
                    "6922693604483852948510716184821328705090763453085775279203736476045084344721"
                ),
            ],
            vec![
                MontFp!(
                    "14989931956983818321491332804444866180216267541136894879088501244775032106555"
                ),
                MontFp!(
                    "19433945699755956339246822924886740400723975295817029071981575529203892387283"
                ),
                MontFp!(
                    "21781000078021955759312391208551712981840251796721644447179982984580874845732"
                ),
                MontFp!(
                    "10195628869192574526189816977729454852345923895464933727987630323723141193312"
                ),
            ],
            vec![
                MontFp!(
                    "6011980016367509536819933136913333543281601932422418226136557038965893671812"
                ),
                MontFp!(
                    "9267692824782945848203939121290093540493001596557673210717581253363642560695"
                ),
                MontFp!(
                    "17524639285395288281536997524393051583214746698949405903638721757779141670478"
                ),
                MontFp!(
                    "16593902416421521683141009883437506581506218866475131578786288550975358960425"
                ),
            ],
            vec![
                MontFp!(
                    "276922142324704545920687154870309863878444888069478605878570938706481231987"
                ),
                MontFp!(
                    "6876449201070569261943166110212944056186830463598122861445094957396951644272"
                ),
                MontFp!(
                    "21036556115031291275195128286439413768635755444495930200859827023691192835912"
                ),
                MontFp!(
                    "3678776854744343202793017354979903984439704592956470041846156906764907655241"
                ),
            ],
            vec![
                MontFp!(
                    "19673615465565975502517150510464053540574659073014912235776131593348680254194"
                ),
                MontFp!(
                    "14517385623746025546511607147155545979235008184977584897650838569579107834908"
                ),
                MontFp!(
                    "19709053453794073606538836720918090547898644851502260049405751793301338638866"
                ),
                MontFp!(
                    "2874055793043481788263078890122468521913568101838124612771320580534433381772"
                ),
            ],
            vec![
                MontFp!(
                    "48829410206788662528286348740281436088273632827614246533917856029989681387"
                ),
                MontFp!(
                    "7794095172920209345197363583865489803037166523812840167260676543107157496320"
                ),
                MontFp!(
                    "18004029594146650544996747147514890385840661122075163830001367273958106959204"
                ),
                MontFp!(
                    "10292525523150924605788328381623491050381704137015730957028485176398675107838"
                ),
            ],
            vec![
                MontFp!(
                    "8133208462829113424182450623693093756979028845972449815832208770143530095835"
                ),
                MontFp!(
                    "20272449827068252662493499830652295819485018574851475168047175381491435880086"
                ),
                MontFp!(
                    "12689760544880558157496479709593427177814779280753931017097117671207983249590"
                ),
                MontFp!(
                    "12932737295111047617865174348775048819748733962033383545283662006331633327275"
                ),
            ],
            vec![
                MontFp!(
                    "18713897245358209281940438193831603437972635239568504490361061899261314119224"
                ),
                MontFp!(
                    "14629038929575676695203228101403540161090717973290455305764644859859414358554"
                ),
                MontFp!(
                    "6734939685110364089145752021429162719205912918595712455774943667456593459016"
                ),
                MontFp!(
                    "5382432838245466681974540185151536186172191607808599322453762151906462032890"
                ),
            ],
            vec![
                MontFp!(
                    "20912639815245013491179985862253845211649498223528098120063094741144506774279"
                ),
                MontFp!(
                    "19174669847187468307708730333490479325007841502819549382047003725284019736294"
                ),
                MontFp!(
                    "19953357104511432027953168972054595073597086558733259217336124884865476563792"
                ),
                MontFp!(
                    "12220029282269841700804811370580310419728269709889953455771211053197859675136"
                ),
            ],
            vec![
                MontFp!(
                    "4261718612019993292063264805578558376005881011648675877323724637483355504484"
                ),
                MontFp!(
                    "14273856455134201232540310994048487396391028484338228594243159187938202775617"
                ),
                MontFp!(
                    "7951656977058865487864355711949323026310990623817064528164065787323031821304"
                ),
                MontFp!(
                    "650349486552056800149570285146623855124472018071420321137965022457421796844"
                ),
            ],
            vec![
                MontFp!(
                    "13115226627600138819188661464186994791235773025793437663544184735969176306416"
                ),
                MontFp!(
                    "1610701090620274066779069174282312421326366230831749987727991009453985341691"
                ),
                MontFp!(
                    "21507826216282100276021305752142446434511392980042317311001742614300148230104"
                ),
                MontFp!(
                    "5842212508110066096068767881539631744546522647553682571252560042741410173817"
                ),
            ],
            vec![
                MontFp!(
                    "3114170218034188167904419685933990677091742243086864417557070094326709655719"
                ),
                MontFp!(
                    "4412572723243249866322831323260460035248496561239496924405253122689922422001"
                ),
                MontFp!(
                    "71254716226966757119534686909134836554488972379447930243648473785289733146"
                ),
                MontFp!(
                    "11079106847300488417388682005238362759675138301579684897255720017795394983500"
                ),
            ],
            vec![
                MontFp!(
                    "19190392478888311936704834937850900537834262239632291268642609723871225158346"
                ),
                MontFp!(
                    "11374197825939295451979219813019816717382606122905086292989897619459558179344"
                ),
                MontFp!(
                    "14812704400846565139356102404794013726217877355096556704681509586675525984844"
                ),
                MontFp!(
                    "12571683887883560291445571425491066887064176806646162007763480943916061895776"
                ),
            ],
            vec![
                MontFp!(
                    "7415376635773428624806191687641882434572497093737947643708544835467473006662"
                ),
                MontFp!(
                    "10155199258192889750370499418540362578960046506008367384137821003712132974432"
                ),
                MontFp!(
                    "16325340162659144078834426802096517815347212487537396132393584710993463345661"
                ),
                MontFp!(
                    "21261658872167159296652116620858479362453019827215481916652971707862922206455"
                ),
            ],
            vec![
                MontFp!(
                    "1301667019226978591435557603115713790316604816324316448433188164200995846219"
                ),
                MontFp!(
                    "18984773630000206880562344668855389646607998819532222066334631836178034200426"
                ),
                MontFp!(
                    "12775301809069674578435562609976100868857797924222000249874848506995350998538"
                ),
                MontFp!(
                    "54585858883541080844258506866922095614017232180137718875042617112073537820"
                ),
            ],
            vec![
                MontFp!(
                    "7010052027737670056495826797357762255971178341752147523742621241745172913782"
                ),
                MontFp!(
                    "14268354156979620865893150918323272818921763969497473440127618884846446259846"
                ),
                MontFp!(
                    "10782592601851898296282876473963964206291113356813801046302903573159779188456"
                ),
                MontFp!(
                    "8897755065206529854771786263049406366858426896050600281961438342731524135649"
                ),
            ],
            vec![
                MontFp!(
                    "5114560809351813346859299963699107316832687759006594755651565738499530709339"
                ),
                MontFp!(
                    "14639918178103925793986306733871774729701884257925595964166695237581925839685"
                ),
                MontFp!(
                    "21663476036632081782242267533051691139651066028305469097776610306854356929584"
                ),
                MontFp!(
                    "1267014445677180196389916499423845205794379552143279561280634784972269455089"
                ),
            ],
            vec![
                MontFp!(
                    "12572027477359575462948441219734948978300273213549719969897378088224197783489"
                ),
                MontFp!(
                    "1705636591030487728846908507992970554376557812096680178926042416892749077414"
                ),
                MontFp!(
                    "20667608242672989626996549656008301664086255184706551499270899074930575044005"
                ),
                MontFp!(
                    "4584773327981339511961637170607411897095492094478257778264218595959983594601"
                ),
            ],
            vec![
                MontFp!(
                    "14184293051803487167339778951233234280129386493993326213818115461576652904949"
                ),
                MontFp!(
                    "304416356507164852428765216406886114841192612276557784908430126139247875711"
                ),
                MontFp!(
                    "8763351739948505442594308679199391846851522175332279710065659702274511931913"
                ),
                MontFp!(
                    "16157612929659443463219917057243104220703130438836454017023452508625885958042"
                ),
            ],
            vec![
                MontFp!(
                    "9507764886437124448522123196929166057083382964569019468973547357550978353613"
                ),
                MontFp!(
                    "15932195784636836911313452319661694379841560912912792546201853685026392524782"
                ),
                MontFp!(
                    "6709861051792716612965996353938690879528485212084344441985429728115652898196"
                ),
                MontFp!(
                    "247770629855770834158038516119180152920433109950361743782658857210051392420"
                ),
            ],
            vec![
                MontFp!(
                    "7476663966674286184773125380932534852473154990232044897234627374783582056030"
                ),
                MontFp!(
                    "3879166261061574495044409793853453212472939899257506281867648892242163994496"
                ),
                MontFp!(
                    "18229339372279866459406726767314678105652215068569356940880714263085126995811"
                ),
                MontFp!(
                    "9409145977213288741217309220083488028632745047231175552623551121007976116635"
                ),
            ],
            vec![
                MontFp!(
                    "10968766752096798805292385492595016025216285286369545176728299931957199760966"
                ),
                MontFp!(
                    "14058026621612329722826904252129472482150352411157008745319052022555826946498"
                ),
                MontFp!(
                    "11882207217899865682852535984028313451711522738152738722177662753400357005217"
                ),
                MontFp!(
                    "12023983382499445861364751928694701850103322858329596965283797481304821912339"
                ),
            ],
            vec![
                MontFp!(
                    "11298520203756274364941509118022951435437369434571388672216801356970781654519"
                ),
                MontFp!(
                    "4842257724084920775752599745215870095657551724807434105214857505885110229394"
                ),
                MontFp!(
                    "1853376465312353820836602419386091739344308926964839479773555978939002974855"
                ),
                MontFp!(
                    "18421914900271198286484220101713785343094648008128221959891157725368313068135"
                ),
            ],
            vec![
                MontFp!(
                    "12568713386560619296792644382519498135335442252705494319410987284738492864393"
                ),
                MontFp!(
                    "7018481708255398185883689817942069953582714724884259719879326240308136457640"
                ),
                MontFp!(
                    "19850517676459152781977245013361482963577442671893013200413884317518835386070"
                ),
                MontFp!(
                    "13201962626528030747915111725088614676271342462772785668306915352428086744383"
                ),
            ],
            vec![
                MontFp!(
                    "10116752064027691553326889973602046178881065417935063657441220439158186936909"
                ),
                MontFp!(
                    "6506064499682610545290486052695999046609254388435081798110606653447146250673"
                ),
                MontFp!(
                    "15008750967815386502348390751617127099965096626574551119591229431436684700117"
                ),
                MontFp!(
                    "12427948302338771345793037631571076553295717876262379867341065296296907117104"
                ),
            ],
            vec![
                MontFp!(
                    "1371024304917950280935306833764032133867396695018182380880120403025361304065"
                ),
                MontFp!(
                    "1470133944967987173328000570884887317765102438842816691439008411929841871188"
                ),
                MontFp!(
                    "15882292983658381628995342843361220079496966254580497485581251622943885034346"
                ),
                MontFp!(
                    "19019155555705373041563783512793161105623462256714408651147130933494366759375"
                ),
            ],
            vec![
                MontFp!(
                    "6092840738511863245159479167258356690374664695187613725475527405632796761264"
                ),
                MontFp!(
                    "19739504352833839934136756849392736422966129380476235846172419150732839424489"
                ),
                MontFp!(
                    "10766399455203460895123676513311764666504911679040231946104092548646734552181"
                ),
                MontFp!(
                    "17323308604672758981948155885662548046686358207394269352346389917053324282880"
                ),
            ],
            vec![
                MontFp!(
                    "18524599435795442331988671491830674174320256893291733175947433087143254891570"
                ),
                MontFp!(
                    "16151444578391394467036242444815110834990795648359451052113955302828256549058"
                ),
                MontFp!(
                    "10715077610871534624886481192190110991781300763952705644703224006597543478087"
                ),
                MontFp!(
                    "5557433574528391424474929784070358008052111006667205512877664474094564663323"
                ),
            ],
            vec![
                MontFp!(
                    "21837161368712194217179792838294638133352189716406088372923195351493600807657"
                ),
                MontFp!(
                    "7294735888414828389899482329201292497545692736233762524125798281443896801362"
                ),
                MontFp!(
                    "14991654104578134353537284663757456870525946528952399740499352235456544059958"
                ),
                MontFp!(
                    "21838830807052484428864068018125247082571079877459515727566955409299164074050"
                ),
            ],
            vec![
                MontFp!(
                    "19212753084914509112715534673700794697396509409836305344219997377598853430577"
                ),
                MontFp!(
                    "19729939026150629775915397988066265760485894084698781707087410070939820422460"
                ),
                MontFp!(
                    "5455233804637880233100691799729121158237605331148227541297904117199239786002"
                ),
                MontFp!(
                    "10328727105288597900469486902563336950803662572196965877895220436226673746376"
                ),
            ],
        ]
    }
}

#[test]
fn test_babyjubjub_remark() {
    use ark_ec::PrimeGroup;
    use ark_ed_on_bn254::{EdwardsAffine, EdwardsProjective, Fr};
    use ark_ff::UniformRand;
    use ark_std::rand::SeedableRng;
    use rand_chacha::ChaChaRng;

    use crate::shuffle::{BabyJubjubShuffle, Ciphertext, Remark};

    let mut prng = ChaChaRng::from_entropy();
    let secret = Fr::rand(&mut prng);
    let public = EdwardsProjective::generator() * secret;

    let m = EdwardsProjective::rand(&mut prng);
    let input = Ciphertext::encrypt(&mut prng, &m, &public);

    let bits = BabyJubjubShuffle::sample_random_scalar_bits(&mut prng);
    let remask_card = BabyJubjubShuffle::eval_remark(&input, &bits, &public);
    assert!(remask_card.verify(&m, &secret));

    let trace = BabyJubjubShuffle::eval_remark_with_trace(&input, &bits, &public);
    assert_eq!(trace.intermediate_values.len(), trace.n_round);

    let output = trace.output;
    let e2: EdwardsProjective = EdwardsAffine::new_unchecked(output[0], output[1]).into();
    let e1: EdwardsProjective = EdwardsAffine::new_unchecked(output[2], output[3]).into();
    let remask_trace = Ciphertext::new(e1, e2);
    assert_eq!(remask_card, remask_trace);
    assert!(remask_trace.verify(&m, &secret));
}