UNPKG

@indigo-labs/indigo-sdk

Version:

Indigo SDK for interacting with Indigo endpoints via lucid-evolution

github.com/IndigoProtocol/indigo-sdk

IndigoProtocol/indigo-sdk

8 lines (7 loc) • 15.8 kB
1
2
3
4
5
6
7
8
// Automatically generated by the sdk-export.sh script in aiken smart contracts repository export const _cdpRedeemValidator = { type: 'PlutusScriptV3', description: 'Generated by Aiken', cborHex: '591e7e591e7b010100229800aba2aba1aba0aab9faab9eaab9dab9cab9a488888888cc8966002646465300130083754003370e90024dc3a4001300c0039806001244444b300130040058999119912cc004c01cc044dd5002c4c8c8c8cc89660026036007133009301a005132598009806800c4c8c966002603c00500a8b2036375a603800260306ea800e2b30013009001899192cc004c07800a01516406c6eb4c070004c060dd5001c566002601c003159800980c1baa003804459019459015202a4054602c6ea800a2c80c0c060004dd6980c001180c000980b80098091baa0058b201e1980098081baa00398081baa0049180a180a800c888c8cc88cc0080080048966002003003899192cc004cdc8803000c56600266e3c01800626eb4c06000a00a80aa266008008603800680a8dd7180b000980c800a02e3232330010010062259800800c00e26464b30013372201000315980099b8f00800189bab3019002802a02c899802002180e801a02c375c602e002603400280c052f5bded8c029000488c8cc00400400c896600200314bd7044cc8966002600a00513301800233004004001899802002000a0263017001301800140553710900024444453001301a006980d002cdd6180c802c88c0266002005375c603660306ea80066eb8c018c060dd5000a00a4888a60026eb4c074012603c0073758603a007222323300a00423002300d301f3754002b30013012301c3754003123300537566018603c6ea800400e246013300137566018603c6ea80066eb8c084c078dd5001cdd71806180f1baa003402c80d122223322598009812000c660026046003230243025302500192cc004c05cc080dd5000c4c090c084dd5000c5901e244464b3001301930233754003132598009814800c6600260500032259800980e18131baa0028991919912cc004c0bc00e00b1640b06eb8c0b0004dd71816001181600098139baa0028b204891192cc004c07400626464b3001302e00280245902b1bae302c00130283754007159800980c800c56600260506ea800e0051640a51640948128c098dd5001244464b3001301e302837540091323232323298009818800cdd718188024c0c400e6eb4c0c4009222259800981b002c4cc02cc0d40244cc0300084c966002605000313232332259800981d801c03e2c81c0dd6981c0009bad303800230380013033375400b1598009812000c4c8c8cc8966002607600700f8b2070375a60700026eb4c0e0008c0e0004c0ccdd5002c590302060303137540091640cc30310013030001302f001302e00130293754009164098264b3001301e302837540031323259800981018151baa001899912cc004c0c4006266446644b300130263030375400313259800981b000c4cc8966002605260666ea800a264646464646464664465300130410019bae304100a9bad30410099820803cc10401a608200b3041004992cc004c0fc0062b30013003303e0018b44c0c0c0f800503c4590401baa3041003488888889660026094013133013304901013301300513301300413301300313301300213301f00813232598009826000c4c8c966002607660926ea8006264b3001304f001899192cc004c108c130dd500144c8c8c8c8c8c8c8c8c8c8ca600260b6003375c60b6017375a60b6013305b008982d803cc16c01a60b600b305b0049bad305b003992cc004c1640062b3001301d30580018b44c128c16000505645905a1baa305b002488888888896600260cc01713303c30650141332259800982c800c4c96600260d200313303230680010038b20cc30643754013159800982a800c4c96600260d200313303f30680010038b20cc30643754013159800982d000c4c8c96600260d40050048b20ce375c60d000260c86ea80262c830906120c213303c00613302f00513302f00413302f00313259800982c000c4c96600260d000313303e30670010188b20ca30633754017159800982a000c56600260c66ea802e02f1641911641808300c184dd500518309baa0078b20c6182d800982d000982c800982c000982b800982b000982a800982a0009829800982900098269baa0028b209419800992cc00400609113259800982900144c9660026088609c6ea800626464646644b300130580038992cc004c128c150dd5000c4c8c96600260b600510098b20b0375a60b200260aa6ea80062c8290c15c0122c82a8dd6982a8009bad305500330550013054001304f37540031641306058605a609c6ea8c0f0c138dd5000c12504f1828000a09c98008184c08cc130dd5000d300103d879800040bd374a90004dc0a400122323300100100322325980099baf004305000189828800c4cc00c00cc15400904e1829800c8c140c144c144c144c144c144c144c144c144c1440066e9520049ba54800a6e0120019b8103299914c00400a6eb8c144c138dd5000cdd7181e18271baa00140ec6eacc0e8c130dd5181d18261baa02c302b304c375404f230503051305130513051305100191919b83375a60a20026eb4c144c148004c134dd5000c896600200310018a998260010800a0969182818289828982898289828982898289828800a4444444444444530012300e3305d3750002660ba98010101004bd70488cc88c044cc180dd419b82375a60c20046eb4c184004cc180dd419b82375a60c260c40046eb4c184c1880052f5c060b86ea8008c170dd5000c896600260a200314c0103d87a80008acc004cdc4000a40011300f3305e300f3305e3750601c004660bc6ea0c0380052f5c097ae0898079982f18079982f1ba80023305e375000297ae04bd7020b2416598009bad305d305e02f9bad3014305a375406b375a60ba05e9112cc004cdc48019bad3060305d375402315980099b88375a607860ba6ea804410e266e00cdc199b82337026eb4c180c174dd5008801801241010141ede959b7c03666e0ccdc199b823370460126eb4c0f0c174dd50089bad3060305d3754609660ba6ea80440092080b089fbea014820225ea2a660b6920101550016416915980099b88001043899b833370666e08cdc118048009bad3060305d3754609660ba6ea80440092080b089fbea014820225ea2a660b6920101560016416882d091114c00488c96600260a460c06ea80062980103d87a80008980a1983199803001983218309baa0014bd7020bc3233225980099b88002480022602c660ca602c660ca6ea0c054004cc194dd4180a80125eb812f5c1159800982700144c058cc194c058cc194dd4000998329ba80024bd7025eb82298103d87a800041808300dd698320009bad306430650013060375400323259800982a982f9baa0018983198301baa0018a9982f2481263c65787065637465643e2044656e6f6d696e61746f722063616e6e6f74206265207a65726f2e00164174660066eb4c188c17cdd50009bad304d305f3754003337006eb4c060c178dd501c800ccdc0800cc004dd5981a982f1baa0529bae304c305e37540c9375c609860bc6ea80e504b4896600266e2400520008a4001130093300530060010024174911111991194c004cdc019b810110013300430073010306637540680033370200c00b3259800982e18331baa0018992cc004c174c19cdd5000c4c8cc896600260ac66e14008006266e00cdc2001000a40051337080040028340dd698360009bad306c306d0013068375460d660d06ea80062c8328cc024cc88cc88c078cc1b4dd419b80337046eb4c1b8010004cdc11bad306e0030023306d375066e080080052f5c06eb4c1b0c1b4008dd69836183680098339baa32301b3306a375060346eb4c1ac004cc1a8c1acc1b00052f5c060ce6ea8c1a8c19cdd500098339baa3300c003300d00733223322301e3306d375066e04cdc11bad306e004001337046eb4c1b800c008cc1b4dd419b820020014bd701bad306c306d002375a60d860da00260ce6ea800cc19cdd51806a40051641906601060180220069112cc004c96600260be60d26ea8006264660269201045369676e0032330010013758602660d86ea8180896600200314a115980099b8f375c60e000200714a3133002002307100141a88370dd7183698351baa0018a51419c603260d26ea8c15cc1a4dd501d45660026602292010454696d65003298009800983698371837183718371837027cc004c074cc1b0c074cc1b0c060cc1b0dd4180b1bad301a306a37540e097ae03306c9800a51a60103d87a8000a60103d8798000419c97ae03306c301d3306c30183306c375066e00140dd6980d18351baa0704bd70198364c00528d300103d87a8000a60103d8798000419c97ae04bd70488c96600260c4003159800983118361baa0028a6103d87a80008a6103d879800041a91598009831800c56600260c660d86ea800a2980103d87a80008a6103d87b800041a913322598009830000c4c96600266e2000c0062980103d87980008acc004cdc4000801c530103d87b80008a6103d87a800041b48368dd6983918379baa0048acc004c190006298103d87b80008a6103d879800041b08360dd6983818369baa003306c3754004835106a18359baa00248896600264b300130640018a518acc004c17c0062946294106b20d6306c37546600260e060da6ea800cc1c0c1b4dd500144c96600260c600314a3159800982f800c528c52820d641ac60d86ea8cc004c16cc1b4dd5001982d98369baa0028a5041a82301d3306c3259800982e18351baa0018992cc004c174c1acdd5182d18361baa306f306c37540071301a3306e375000297ae08980d198371ba833700002900125eb810691bad306e306b3754003100141a060da60d46ea8c1b4c1a8dd500099836192cc004c170c1a8dd5000c4c96600260ba60d66ea8c168c1b0dd5182d18361baa0038980d198371ba80014bd7044c068cc1b8dd4180c800a5eb810691bad306e306b3754003100141a060da60d46ea8c160c1a8dd5000a5eb822b3001330114910943445020696e707574003375e60d860d26ea8124c1b01662b300133011490106696173736574003371e6eb8c1b0c1a4dd501b9bae30573069375408915980099808a490a636f6c6c61746572616c005980099b8f375c60d860d26ea8078dd7183618349baa037899baf30573069375403c609060d26ea811229410664566002660229201034d697800325980099baf001306d306a375460da60d46ea8c160c1a8dd501ec4cdd7800983698351baa306d306a375460b060d46ea808a2941067180b99835980998349baa06f4bd7044c96600266024921043c524d52009800cc0040560150078032002a50a51419d1598009980924810843523e3d3130302500980080ac02a00f30104800900144c8c966002660289201044d696e74003375e608660d86ea8180dd34c004dd7182d18361baa0729bae305a306c375408f3370201e016800a2b3001330144910752656420616d740059800982b805c4cdc4805802452820d2899912cc004cc0592401064344506f75740098008284c070cc1c0c1c4c1b8dd5182e18371baa04e4bd704c074cc1c0c084cc1c0c084cc1c0c084cc1c0c1c4c1b8dd502325eb80cc1c0c170c1b8dd502499838182698371baa04933070375000e660e06042660e06ea0150cc1c0dd419b80375a60e260dc6ea80896600266e20dd6982698371baa022054899b833370666e08cdc1180d1bad304d306e37540446eb4c1c4c1b8dd5182e18371baa022482020283dbd2b36f806d2080b089fbea014820225ea2a660d89201015a001641ac97ae04bd7025eb812f5c1332298008014dd7183998381baa0019bae305e3070375400300a400c653001375c60e460de6ea80066eb8c174c1bcdd5000d2002401060e260dc6ea81d0c134c1b8dd5024d30103d87a8000400913322598009980c24906496e747273740098009bab3020307037540c9375c608e60e06ea81da6eb8c178c1c0dd503b4dd7182f18381baa04b48888c8c96600260c2033159800800c1ca264b3001307b0028992cc004c1b4c1dcdd5000c56600260f06ea80063300105a98131983d18159983d0021983d26103d87a80004bd7025eb8298107d87b9fd87980ff00cc004dd59833183c1baa306630783754005006802c06d00b530103d87a800040311641e51641d46601060f460ee6ea800401e0e683c0c1e4005077456600200314a314a083b90731980382e80098111983b1ba90034bd7022b3001330184910854726561737572790098009183a183a983a983a983a983a983a800cdd5981018381baa064acc0056600266e2003c0222b30013065306f3754604060e06ea8c178c1c0dd5020c5284528a0da8a5041b51375a602e60e06ea81da2900020da983998381baa05048888c8c8ca60026eb4c1e80066eb4c1e8c1ec0066eb8c01cc1dcdd503ecc1e8009222259800983300244c8c9660020031980082fcc0c0cc1fc0092f5c1302c3307f30303307f4c0103d87a80003307f00a4bd7025eb83300198009bae308001307d3754007375c60d660fa6ea800e00c8092910100a44100802a020a6103d87a80004045159800984080800c4c8cc896600260ea0031598009840009baa00380145908101456600260e20031598009840009baa00380145908101456600260ec0031598009840009baa00380145908101456600266e1d20060018acc004c20004dd5001c00a2c84080a2b30013370e9004000c4c8c8c8ca6002610e02003375a610e02007375a610e020049112cc004c22c040122660c261140200e2660f200601316422004308701001308601001308501001308001375400715980099b87480280062b300130800137540070028b2102028b20fa41f483e907d20fa41f4266ebc004cdd2a4010661000200866100026ea001ccc20004dd40031984000805a5eb80c1f4dd500099807184000983e9baa30800100100c8b20fc41f86601c0c80026052660fa6ea40092f5c114a283c060f400264b30015980099b8900148002260c200914a0839a2660f098106d8799f4040ff00330783750008660f09810100004bd7044cc1e0c1e4008cc1e0dd40009983c1ba80044bd7020e6375a60f060f2002660ec60a660e86ea813ccc1d8dd419809180a9802183a1baa04200f4bd7022b3001330184901053c6d696e6300337126eb4c05cc1c0dd501280544cc061241094d696e7465643c3d3000305b0098a5041b514a0836a294106d111982e001119baf30743071375460e860e26ea8c17cc1c4dd50008011119810800980f1983900125eb82294106b11111191919800800803912cc00400629422b300132598009802000c56600266ebcc150c1d4dd5000803c5660026645300132598009836983b9baa00189bad3078307b375660f660f06ea80062900020ea307a0019bab0029baf307a307b001912cc004c1a8c1e0dd5004c4cdc4800801456600266e2400400a266e24008cdc0000a410137dc0514a083b107624444b30010038acc004c00801a2660020089000452820f08992cc004cdd7a601014000307b0018acc004cc008014dd6983e183f9bab307c001898019ba63080010048a5041e515980099801002a4001130030078a5041e483c8c1f800d07c0dd3003194c0040066eacc190c1d8dd5001488cc1e8008cc1e8dd3000a5eb810011112cc00400a26600298103d87a80004bd6f7b63044c8cc896600266e452201000028acc004cdc7a4410000289980218171983e983d801a5eb80006266008980103d87a800000541e1198008034006446600c004660fe00a00280310781bae3078001307d003307b00241e513375e605e60ea6ea800530103d87a80008a5041c914a083922941072183b800c528c4cc008008c1e000507120ea59800983318381baa004891919baf30763073375460ec60e66ea8008004c1d4c1c8dd5002c48c8cdd7983b18399baa00200130753072375400a837088896600260ca00310048991919800800803112cc0040062660ea66ec0dd48031ba60034bd6f7b63044c8cc896600266e4402400a2b30013371e0120051325980099baf4c0101a000374c003100289983c99bb037520146e9800400907419198008009bab30770042259800800c4cc1e8cdd81ba900a375001297adef6c6089919912cc004cdc8806801456600266e3c03400a264b30013370e002605c01b100289983f19bb0375201c6ea0cdc000080680120f2375a60f600713307d337606ea4034dd400600220f089983e80199802802800a0f0375c60f000260fa00460f600283ca2660f066ec0dd48049ba600600441cd1330780033300500500141cc6eb8c1cc004c1e0008c1d800507419803001000a0da8a5041a514a083488896600260c600314bd6f7b63044cc1c0cdd81ba9003374c6600800400297adef6c6041ac44660dc66ec0dd48011ba80014bd6f7b630452820ce8a50419c444464b30013063306d3754003133223371266e08dd698398009bad30733074002337046eb4c1cc008dd69839983a00098371baa3071306e375400260dc6ea8cc04c00c00a2c8358cc04401000e2941066452820cc8a50419914a083322941066452820cc18071980518058020014c00488966002605400319800801cc1a8c1a800a66e000052003400d15980099b89480080063300100398350014c04c005003456600260b6003130690028a998322481146578706563745f61743a206e6f7420666f756e640016418c831906348896600266e2000520008a4001159800982d800c520028992cc004c170cdc300124009198008024c00400e66e0c009200440111300198008024c00400e66e0cc050009200440108320dc100120c6418d375a608460c66ea8062603a60c66ea806260cc60ce09a911111919912cc004c18001a2005159800982b00344cc040008c044cc00520140068992cc004c184c1acdd5000c4c1bcc1b0dd5000c5906919806801180899800a4028603a00c8341068192cc004c17c0062b30019800a51a50a51419d153306849010157001689805983698351baa004419d159800982d800c4c96600264b3001305d306b37540031337126eb4c168c1b0dd50011bad306f306c37540031641a460dc60d66ea8c164c1acdd5181e98359baa05f8a99834a4810158001689806183718359baa00141a064b300133052375660b260d66ea8004c1b8c1acdd5002c4c96600260c260d66ea800626464646644b3001307500389981f183a002880345907218390009bad307200230720013071001306c37540031641a46092609460d66ea80062c8340c96600260c000313059306b3754660066eb0c164c1acdd502f9bad306e306b3754009159800982e000c4cc00cdd6182518359baa05f375a60dc60d66ea80122a660d29201014f001641a08340c1a4dd5001c4c96600260c060d46ea80062646464b3001307200289981d983880189807983898371baa0048b20de30700013070001306b37540031641a0660366eacc068c1a8dd502f180c99836180c19836183698351baa0044bd7025eb8106720ce30683754006600a00a600a00a3004300d306337540300c1380062c8260c128dd5000c590471813981418249baa3037304937540026096003164125300102b980098239baa04da6103d879800040a84609460966096609600316411c3041002303f00137129002181f000981e800981e000981d800981d000981c800981a1baa0028b206230350012259800981498199baa0028991919912cc004c0f000e00b1640e46eb4c0e4004dd6981c801181c800981a1baa0028b20628b2066303137540031640b8646644b300130360018992cc004c0a0c0c8dd5000c4c8c8c8c8ca60026eb4c0ec0066eb4c0ec0166eb4c0ec00e6eb4c0ec0092222598009820002c4c966002606460786ea800626464646464646464646464653001304c0019bad304c00c9bad304c00b9bad304c00a9bad304c0099bad304c0089bad304c0079bad304c0069bad304c0059bad304c0049bad304c0024888888888896600260b001913302d305700e13302400b10228b20aa18260009825800982500098248009824000982380098230009822800982200098218009821000981e9baa0018b2074303f0088b207a181d800981d000981c800981c00098199baa0018b20603010301130323754604060646ea8c0d40062c8198c004006600202930023030375406d4c0103d8798000404c44464b30013028001899192cc004c0e400a0091640d86eb8c0dc004c0ccdd5001c5660026048003132332259800981d000c4c8cc004004dd6181d001112cc00400600f19800804cc0ec006266004004607800280490394590371bad30370013038001303337540071640c08180c0c4dd50011806980718179baa301d302f375400460600024606260646064606460646064606460640031640b860566ea8006600201f300a302b37540634c103d879800040391640a0600260546ea80148c0b4c0b8c0b8c0b8c0b80062c8130c0acc0a0dd5001a2c8130c090dd5000c590211800980118119baa3011302337540068b20423758604200730010069810980f1baa024a60103d879800040040c04cc040dd5004112cc004c014c03cdd500144c8c8cc896600260300070058b202a375a602a0026eb8c054008c054004c040dd500145900d1b874800a2b30013370e9003002c4c8c966002600a601e6ea8c04cc05000a29462a6601c9211d3c65787065637465643e2057726f6e672063657274696669636174652e001640346eb4c048004c038dd500345900b201618059806000980580098031baa00b8a4d13656400c2a660049201153c65787065637465643e2053696e676c6520696e74001615330024910c3c65787065637465643e2059001601', };