diff --git a/miner/main.ts b/miner/main.ts index 743f99f..06b4af8 100644 --- a/miner/main.ts +++ b/miner/main.ts @@ -11,6 +11,7 @@ import { Translucent, type Script, toHex, + UTxO, } from 'translucent-cardano/index'; import fs from 'fs'; import crypto from 'crypto'; @@ -25,6 +26,7 @@ import { getDifficultyAdjustement, incrementU8Array, readValidator, + readValidators, sha256, } from './utils'; @@ -383,7 +385,7 @@ app .addOption(ogmiosUrlOption) .addOption(previewOption) .action(async ({ preview, ogmiosUrl, kupoUrl }) => { - const unAppliedValidator = readValidator(); + const [fortunaV1, forkValidator, fortunaV2Mint, fortunaV2Spend] = readValidators(); const provider = new Kupmios(kupoUrl, ogmiosUrl); const lucid = await Translucent.new(provider, preview ? 'Preview' : 'Mainnet'); @@ -400,20 +402,43 @@ app BigInt(utxos[0].outputIndex), ]); - const appliedValidator = applyParamsToScript(unAppliedValidator.script, [initOutputRef]); + const fortunaV1Hash = lucid.utils.validatorToScriptHash(fortunaV1); - const validator: Script = { + const fortunaV1Address = lucid.utils.validatorToAddress(fortunaV1); + + const forkValidatorApplied: Script = { type: 'PlutusV2', - script: appliedValidator, + script: applyParamsToScript(forkValidator.script, [initOutputRef, fortunaV1Hash]), }; - const bootstrapHash = toHex(await sha256(await sha256(fromHex(Data.to(initOutputRef))))); + const forkValidatorHash = lucid.utils.validatorToScriptHash(forkValidatorApplied); - const validatorAddress = lucid.utils.validatorToAddress(validator); + const tunaV2MintApplied: Script = { + type: 'PlutusV2', + script: applyParamsToScript(fortunaV2Mint.script, [fortunaV1Hash, forkValidatorHash]), + }; - const validatorHash = lucid.utils.validatorToScriptHash(validator); + const tunaV2MintAppliedHash = lucid.utils.validatorToScriptHash(tunaV2MintApplied); - const masterToken = { [validatorHash + fromText('lord tuna')]: 1n }; + const tunaV2SpendApplied: Script = { + type: 'PlutusV2', + script: applyParamsToScript(fortunaV2Spend.script, [tunaV2MintAppliedHash]), + }; + + const tunaV2SpendAppliedHash = lucid.utils.validatorToScriptHash(tunaV2SpendApplied); + + const lastestV1Block: UTxO = ( + await lucid.utxosAtWithUnit(fortunaV1Address, fortunaV1Hash + fromText('lord tuna')) + )[0]; + + const lastestV1BlockData = Data.from(lastestV1Block.datum!) as Constr; + + const blockNumber = lastestV1BlockData.fields[0]; + + const masterTokensV2 = { + [tunaV2MintAppliedHash + 'TUNA' + tunaV2SpendAppliedHash]: 1n, + [tunaV2MintAppliedHash + 'COUNTER' + blockNumber]: 1n, + }; const timeNow = Number((Date.now() / 1000).toFixed(0)) * 1000 - 60000; diff --git a/miner/utils.ts b/miner/utils.ts index f6a8f91..bf1fda9 100644 --- a/miner/utils.ts +++ b/miner/utils.ts @@ -24,6 +24,32 @@ export function readValidator(): SpendingValidator { }; } +export function readValidators(): SpendingValidator[] { + const fortunaV1 = blueprint.validators.filter((v) => v.title === 'tunav1.spend')[0]; + const forkValidator = blueprint.validators.filter((v) => v.title === 'simplerfork.fork')[0]; + const fortunaV2Mint = blueprint.validators.filter((v) => v.title === 'tunav2.tuna')[0]; + const fortunaV2Spend = blueprint.validators.filter((v) => v.title === 'tunav2.mine')[0]; + + return [ + { + type: 'PlutusV2', + script: toHex(cbor.encode(fromHex(fortunaV1.compiledCode))), + }, + { + type: 'PlutusV2', + script: toHex(cbor.encode(fromHex(forkValidator.compiledCode))), + }, + { + type: 'PlutusV2', + script: toHex(cbor.encode(fromHex(fortunaV2Mint.compiledCode))), + }, + { + type: 'PlutusV2', + script: toHex(cbor.encode(fromHex(fortunaV2Spend.compiledCode))), + }, + ]; +} + export function printExecutionDetails(tx: TxSigned, name: string) { const redeemers = tx.txSigned.witness_set().redeemers()!; let steps = 0; diff --git a/plutus.json b/plutus.json index f2d8609..c6d6ef3 100644 --- a/plutus.json +++ b/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.26-alpha+6d7b851" + "version": "v1.0.28-alpha+7f4ca60" }, "license": "Apache-2.0" }, @@ -133,8 +133,8 @@ } } ], - "compiledCode": "590d390100003232323232323223223232232322533300a3253233300c3008300d375400c2646464646464646464646464646464646464646464a666042603460446ea80044c8c8c8c8c8c8c8c8c94ccc0a8c08cc0acdd5000899192999816181418169baa00113232323232323232325333035302e30363754006264646464a666072606460746ea80084c8c8c8c8c8c8c8c94ccc104c0f4c108dd5000899191919191919191919191919192999829182a8010a999827a999827a999827982599b8603d483007c4c0700f45280991919299982919b87375a60ae60b00040182a6660a466e1c0040284c1380205280a50375a60ac0026464a6660a4609c66e0c009208080081533305233712903c01e0a5eb8503191000008102183c0009982b1ba8002330563750602c07897ae015333052301f33706002904040040a99982919b8903c4801052f5c210319ffff008101020009982b1ba83370600290101982b1ba8337000789000a5eb804cc158dd40009982b1ba803c4bd7019b8300148080cdc199b823370407090101bad3055001375a60aa60ac00264a6660a0a6660a066e252008337069040506440848008980e99b8648202832204240045280a5eb841010100810104000a999828299982819b8948020cdc1800a4101419102122603a66e180052080a0c8810914a0297ae1010104008101010009982a1ba8001330544c01051a48190800004bd7019b813370006a02a066264a6660a066e1c0e802854ccc140cdc381c004099b8700100614a02940cdc099b8003501503313232323232323232323232533305a33305a0224a094454ccc16809854ccc168cdc499b8102102548303f0544c94ccc16d4ccc16cc15cc170dd50260999119198008008019129998310008a5013253330603371e6eb8c19400801052889980180180098328009bac306030613061306130613061306130613061305d37540786eb8c180c174dd502609919182b1998019bab3038305f375466646002002444a6660c060b8002260ca004266600600660cc00466e00005200103a375a60c460c60026eb8c188008dd718310009831000982e9baa04c1533305b533305b3371008a038294454ccc16ccdc380e022899b8801d04314a02a6660b660a86660020660b266e2922010454554e41000311533305b323375e6e98c0040d0dd31800817919198008008011129998308008a5eb7bdb1804c8c8c8c94ccc188cdc8a4500002153330623371e91010000210031005133066337606ea4008dd3000998030030019bab3063003375c60c200460ca00460c60022a6660b666e1c03c08454ccc16ccdc3980f82480c8a99982d99b8f0170201323233332323232322223232323323322253233306d3069306e37540362646600664646e50004cdc5000802998070028009919191b940013371400200c6601e6e50c00c004008dca180300f180900a89919801991b9430030013300f00400132372860060026601e6e50cdc51b94300601e00400130110153714006a6660d266e1cdc6803a408026e50c00401c4c8cccc034dca18010008041b8d00848100c01001d4ccc1a4cdc39b8d006481004dca180080309919998061b943002001007371a00e902018020031b8a489010d0022533306a337200080342a6660d466e4006800c54ccc1a8cdc8a45200000000000000000000000000000000000000000000000000000000000000000000041533306a337209101200000000000000000000000000000000000000000000000000000000000000000000031533306a33300900600204d133300900600101c14a029405280a5014a060040086002008602c902011119b8f3232333001001004480008894ccc1a0cdc380080208010a999834183219b8e0070011333003003372866e28ccdc61816000a408000e00466e000052042132333004004372866e2800c004cdc000124084666e30c0b00052040007371a00600244a6660c460bc6e3400440084cccc014008004dc6800a400044a6660c260ba6e3400440084cccc00c008004dc6800a400044446466600200200a004444a6660ca66e1c00401440084c8ccc010010dca19b8a003001337000049020199b8c001481000188888c8ccc0040040140088894ccc190cdc3800802880109998018019b9433714666e30005204000600233700002902018010049800803a99982e982c99b86371a008902108020b1299982e982c99b86371a002902008008b1299982e182c19b86371a002902008008b0a5014a029405280a5014a02940888c94ccc178c168c17cdd5000899299982f982d98301baa0011375a60c860c26ea8004520003233001001375660c860c26ea8008894ccc18c0045300103d87a80001323232325333064337220100042a6660c866e3c0200084c164cc1a0dd4000a5eb80530103d87a8000133006006003375a60ca0066eb8c18c008c19c008c19400452000323300100100422533306200114c103d87a80001323232325333063337220100042a6660c666e3c0200084c160cc19cdd3000a5eb80530103d87a8000133006006003375660c80066eb8c188008c198008c1900045280a5014a06eb8c178c17c008dd7182e800982e8011bae305b001305b002375c60b200260b200460ae00260a66ea8104c8cdc5000998012406402c666e31203248100054dc6240002c2c6eb8c14c004c14c008dd6982880098288011bad304f001304f002375a609a002609a0046eb4c12c004c12c008dd7182480098248011bad3047001304337540022ca66608066e1d2004304137540242608a60846ea804858dd6982218228011bad30430013232325333040303c3370c00490020998221ba83370066e08c00c0052080043003300400133044375000497ae0133044375066e00cdc019b8230030014820100cdc118019802000a404066e0cc00ccdc0000a40089010198221ba80024bd7019b8300148010c8cc004005200022325333041303d00113370090021980180198028010a99982099b880014808052002148000c00c004dc70011b8048008c8c8dc90009b92001376660606607e6ea40b8cc0fcdd49b9437660586607e6ea0084cc0fcdd40149981f9ba90273303f375004a6607e6ea008d2f5c066e00cdc199b8100100548010014dd6981f181d9baa00216300530393754607a607c004607800260706ea8018dd6981d181b9baa00316300130353754607260740066e212000303700130333754606c004606a606c00260626ea802cc0ccc0d0008dd59819000981918171baa3031302e37540022c646600200201244a666060002298103d87a800013232533302f3375e604a60626ea80080204c090cc0cc0092f5c0266008008002606800460640026eb8c0bcc0b0dd50008b180f98159baa0023756605a605c004605800260506ea8cc88c8cc00400400c88c94ccc0accdd7981098169baa00100413006302d37540022660060066062004605e0026eb0c0ac014c0acc0a0dd50031181598160009814981518151815181518150011bac302800130283028001302337540042c604a604c004604800260406ea8054dd7181118118011bad30210013021002375a603e002603e0046eb4c074004c074008dd6980d800980d8011bae30190013019002375a602e00260266ea8038c054c058008c050004c050008dd7180900098071baa006132533300d3009300e3754002264a66601c66e1d200c300f375400226464646464646464a66603260380042646464944c00801cc00402094ccc05cc04cc060dd5000899191919299980f181080109924ca666036602e60386ea800c4c8c94ccc080c08c00852616375c6042002603a6ea800c5858dd6980f800980f801180e800980c9baa0011616375a603400260340046eb4c060004c060008c058004c058008c050004c040dd50008b180918079baa001163322323300100100322533301300114c0103d87a8000132323253330133375e00c6028006260106602e00297ae013300500500230140023017002301500137566022602460246024602460246024602460246024601c6ea8c008c038dd50019800998081ba900a4bd701ba5480008c040004526136563253330093005001132323232323253330123015002132324994ccc040c030c044dd5001099191919191919191919299980e981000109924c64a666036602e0022a66603c603a6ea8028526161533301b30140011533301e301d37540142930b0b180d9baa00916375c603c002603c0046eb8c070004c070008dd7180d000980d0011bae301800130180023016001301237540042c64a6660206018002264646464a66602e60340042930b180c000980c0011bae3016001301237540082a666020601200226464646464646464a666036603c0042930b180e000980e0011bad301a001301a002375c603000260300046eb8c058004c048dd50020b18081baa003163013001301300230110013011002375c601e00260166ea800c54ccc024c00800454ccc030c02cdd50018a4c2c2c60126ea8008dc3a4004a66600a6002600c6ea80084c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc058c06400852616375c602e002602e0046eb4c054004c054008dd6980980098098011bad30110013011002375a601e002601e0046eb8c034004c034008dd6980580098039baa00216370e90001bae0015734aae7555cf2ab9f5740ae855d11", - "hash": "a60937181c1ef4d737aeadd67b443ea017dc9de6e1643e87f74a62fb" + "compiledCode": "5914a5010000323232323232322322323223232322533300b3253233300d3009300e375400e2646464646464646464646464646464646464646464a666044603460466ea80044c8c8c8c8c8c8c8c8c94ccc0acc08cc0b0dd5000899192999816981498171baa00113232323232323232325333036302e30373754006264646464a666074606460766ea80084c8c8c8c8c8c8c8c94ccc108c0f8c10cdd5000899191919191919191919191919192999829982b0010a999191982929998292999829182719b8603f483007c4c0780fc5280991919299982a99b87375a60b460b600401c2a6660aa66e1c0040304c1440285280a50375a60b20026464a6660aa60a266e0c009208080081533305533712903c01f0a5eb8503191000008102183c0009982c9ba8002330593750603007c97ae015333055302133706002904040040a99982a99b8903e4801052f5c210319ffff008101020009982c9ba83370600290101982c9ba8300503e4bd7009982c9ba800133059375007c97ae033706002901019b833370466e080e92020375a60b00026eb4c160c164004c94ccc14d4ccc14cc008cdc1a4101419102120022603e66e192080a0c8810900114a0297ae101010100810104000a999829a999829980119b8300148202832204244c07ccdc3000a410141910212294052f5c210104008101010009982b9ba8001330574c01051a48190800004bd7019b813370006e02e06a264a6660a666e1c0f003054ccc14ccdc381d005099b8700100814a02940cdc099b80037017035153330523330520194a094454ccc14807454ccc148cdc499b8101801c48303f0544c94ccc14d4ccc14cc13cc150dd502189991191980080080191299982d0008a5013253330583371e6eb8c174008010528899801801800982e8009bac305830593059305930593059305930593059305537540666eb8c160c154dd50218991918269998019bab302f3057375466646002002444a6660b060a8002260ba004266600600660bc00460100020626eb4c168c16c004dd7182d0011bae305a001305a001305537540862a6660a6a6660a666e200f004c5288a99982999b8701303c133710028074294054ccc14cc12cccc0040a8144cdc524410454554e410002815333053323375e6e98c0040acdd318008131191980080080111299982c8008a5eb7bdb1804c8c8c8c94ccc168cdc8a45000021533305a3371e9101000021003100513305e337606ea4008dd3000998030030019bab305b003375c60b200460ba00460b60022a6660a666e1c01806054ccc14ccdc3980b0200080a99982999b8f00e01715333053323371e666464646464646464646464646464646444a6660cc66e3cc8c8ccc0040052000057222533306d00114892000000000000000000000000000000000000000000000000000000000000000000013232533306f002132533306d3065306e37540022646603466e2cdd6983198381baa001375c609060e06ea8004dd7180898381baa00130723073306f375400200460e2006002264a6660de004264a6660da60cc60dc6ea80044c8cc068cc02cdd718398008031bae307330740013073306f375400200460e200600226464a646660dc60d460de6ea800c4c8c8ccccc038028020004ccc024024004010dd7183a983b00118011bad30740013070375400626464a6660e060d060e26ea80084c8c8ccccc044030028004ccc02c02c00400cc1dcc1e0008c010dd6983b00098391baa0021323232323333301300e00c00133300d00d001307a00b306833078375066030004018660f06ea4cc044008004cc1e0c1e4c1e800d2f5c0600c6eb4c1e000cdd7183b800983b80098391baa3075007307500630730053700606000a60e400660e000460e00026e500040084cc88c8ccc0040052000058222533306e001133017330080050020041323253233306e306a306f3754006264646666601c01400e0026660100100020086eb8c1d4c1d8008c008dd6983a00098381baa003132325333070306830713754004264646666602201801200266601401400200660ee60f000460086eb4c1d8004c1c8dd500109919191919999809807005800999806006000983d00518341983c1ba833018002302400133078375266022004002660f060f260f400697ae03006375a60f00066eb8c1dc004c1dc004c1c8dd5183a803183a80298398021b8030300043072002307000137280026e500a858894ccc194c184cdc3000a400826466e2d20fe03001330060023370600290020991919b8b48000004cdc5998050018010009980300119b8330280014801088888cc04cccc024014010c05c00cccccc888894ccc1b0cdc4802a401c2660306666602200a00e00600400200826603000866666022601800a00e0060040026601600a602e006666e31200048100004ccdc6240809020000999b8c48200052040001333718906000a4080002444446464a6660d06660d066e1c008dd6982e98351baa0034a09444cc050004cc894ccc1a8cdc4002240202a6660d466e2000920101330163333010004006002001488120b22df1a126b5ba4e33c16fd6157507610e55ffce20dae7ac44cae168a463612a001330163333300f00400648812085c09af929492a871e4fae32d9d5c36e352471cd659bcdb61de08f1722acc3b1004881200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f9761004881200000000000000000000000000000000000000000000000000000000000000000003333300f300a00200148812085c09af929492a871e4fae32d9d5c36e352471cd659bcdb61de08f1722acc3b1004881200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f9761004881200000000000000000000000000000000000000000000000000000000000000000001533306a33712900800109980b244120b22df1a126b5ba4e33c16fd6157507610e55ffce20dae7ac44cae168a463612a003333010300a004006300a0020011330163333300f0020014892085c09af929492a871e4fae32d9d5c36e352471cd659bcdb61de08f1722acc3b1004881200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f9761004881200000000000000000000000000000000000000000000000000000000000000000003333300f300a00400648812085c09af929492a871e4fae32d9d5c36e352471cd659bcdb61de08f1722acc3b1004881200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f976100488120000000000000000000000000000000000000000000000000000000000000000000375a60ba60d46ea800ccc050dd7182118351baa003375c601660d46ea800c58ccc024018014c05c010cc028014c05800cdc02401e44666e30004cdc09b8d00200100222232330010010032253330633371200600229101001337166600e00a00266004004604c002460c660c860c800244a6660bc60b466e18005200413370666e38008cdc1800a40089010099b863371c00466e0c005200448080888894ccc180cdc4802a400c266018666601000a0080040020062660180066666010600e00a0080040024444a6660bc66e2001120081533305e3371000490040998051999803802001801000a4412085c09af929492a871e4fae32d9d5c36e352471cd659bcdb61de08f1722acc3b10013300a3333006004003489200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f97610048812000000000000000000000000000000000000000000000000000000000000000000033330063005002001489200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f9761004881200000000000000000000000000000000000000000000000000000000000000000001533305e300d00213300a4892085c09af929492a871e4fae32d9d5c36e352471cd659bcdb61de08f1722acc3b10033330073005004003300500200113300a33330060020014881200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f97610048812000000000000000000000000000000000000000000000000000000000000000000033330063005004003489200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f976100488120000000000000000000000000000000000000000000000000000000000000000000370090039111299982e19b89004480084cc020ccc01c01000c0040084cc020008ccc01cc01801000c00488894ccc16ccdc4002240082a6660b666e2000920041330073330060040030014881200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f97610013300733300600400348812000000000000000000000000000000000000000000000000000000000000000000033300630050020014881200000000000000000000000000000000000000000000000000000000000000000001533305b337129002001099803a441200eb923b0cbd24df54401d998531feead35a47a99f4deed205de4af81120f976100333006300500400300113300733300600200148920000000000000000000000000000000000000000000000000000000000000000000333006300500400348812000000000000000000000000000000000000000000000000000000000000000000037009001911299982c19b89003480004cc0100080044cc01000400888dca19b8a00200130010363728030600200a4a6660a866e1cdc6800a408020022c266e24dc69bb304348201005280a5014a029405280a5014a02940888c94ccc158c148c15cdd5000899299982b9829982c1baa0011375a60b860b26ea8004520003233001001375660b860b26ea8008894ccc16c004530103d87a8000132323232533305c337220100042a6660b866e3c0200084c140cc180dd4000a5eb80530103d87a8000133006006003375a60ba0066eb8c16c008c17c008c17400452000323300100100422533305a00114c103d87a8000132323232533305b337220100042a6660b666e3c0200084c13ccc17cdd3000a5eb80530103d87a8000133006006003375660b80066eb8c168008c178008c1700045280a5014a06e252008370090008b0b1bae30540013054002375a60a400260a40046eb4c140004c140008dd6982700098270011bad304c001304c002375c609400260940046eb4c120004c110dd50008b2999820981d18211baa01213046304337540242c6eb4c114c118008dd698220009919192999820981e99b86002480104cc114dd419b8033704600600290400218019802000998229ba80024bd700998229ba83370066e00cdc11801800a41008066e08c00cc010005202033706600666e00005200448080cc114dd400125eb80cdc1800a40086466002002900011192999821181f000899b8048010cc00c00cc01400854ccc108cdc4000a4040290010a400060060026e38008dc02400464646e48004dc90009bb3303033040375205c660806ea4dca1bb302c330403750042660806ea00a4cc100dd4813998201ba802533040375004697ae03370066e0ccdc0800802a400800a6eb4c0fcc0f0dd50010b1802981d1baa303e303f002303d0013039375400c6eb4c0ecc0e0dd50018b1800981b1baa303a303b00337109000181c000981a1baa303700230363037001303237540166068606a0046eacc0cc004c0ccc0bcdd5181918179baa00116323300100100922533303100114c0103d87a80001323253330303375e604a60646ea80080204c090cc0d00092f5c0266008008002606a00460660026eb8c0c0c0b4dd50008b180f98161baa0023756605c605e004605a00260526ea8cc88c8cc00400400c88c94ccc0b0cdd7981098171baa00100413006302e3754002266006006606400460600026eb0c0b0014c0b0c0a4dd50031181618168009815181598159815981598158011bac302900130293029001302437540042c604c604e004604a00260426ea8054dd7181198120011bad30220013022002375a604000260400046eb4c078004c078008dd6980e000980e0011bae301a001301a002375a603000260286ea803cdd6180b180b801180a800980a8011bae3013001300f375400e264a66601c6014601e6ea80044c94ccc03ccdc3a401860206ea80044c8c8c8c8c8c8c8c94ccc068c0740084c8c8c928980100398008041299980c180a180c9baa001132323232533301f30220021324994ccc070c060c074dd500189919299981098120010a4c2c6eb8c088004c078dd50018b0b1bad30200013020002301e001301a37540022c2c6eb4c06c004c06c008dd6980c800980c801180b800980b801180a80098089baa001163013301037540022c6644646600200200644a6660280022980103d87a8000132323253330143375e00c602a006260106603000297ae013300500500230150023018002301600137566024602660266026602660266026602660266026601e6ea8c008c03cdd50019800998089ba900b4bd701ba5480008c0440045261365632533300a300600113232323232325333013301600213232498c8cc00400400c894ccc05800452613233003003301a002323253330153011001132323232533301c301f002149858dd7180e800980e8011bad301b001301737540042a66602a601a002264646464a666038603e00426493299980c980a980d1baa001132323232323253330223025002149858dd7181180098118011bae30210013021002375a603e00260366ea80045858c074004c074008dd6980d800980b9baa00215333015300e0011323232323232533301e3021002149858dd7180f800980f8011bae301d001301d002375a6036002602e6ea800858c054dd5000980c0009929998089806800899191919299980c180d8010a4c2c603200260320046eb8c05c004c04cdd50020a999808980480089919191919191919299980e180f8010a4c2c603a002603a0046eb4c06c004c06c008dd7180c800980c8011bae3017001301337540082c60226ea800c58dd6180a000980a001180900098090011bae3010001300c37540082a66601460040022a66601a60186ea80105261616300a37540066e1d2002370e90022999802980098031baa0021323232323232323232323232323253330163019002149858dd7180b800980b8011bad30150013015002375a602600260260046eb4c044004c044008dd6980780098078011bae300d001300d002375a6016002600e6ea800858dc3a40006eb80055cd2ab9d5573caae7d5d02ba157441", + "hash": "7de8b9e4d92e62ee282a04a728d36e48a9eb05da170aff317e0e6064" }, { "title": "tunav2.tuna", @@ -158,8 +158,8 @@ } } ], - "compiledCode": "59185f010000323232323232322222532323232323232323233300e3002300f3754014264a66601e646464a666024600c60266ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94c8c8ccc0a8c07805c4c8c8c8c8c8c8c8c8c8c8c94ccc0e0c0ec00854ccc0d4c0a0dd6981b8018a99981a98141bad30370011325333036302a30373754002264a66606e605660706ea80044c8c94ccc0f0c0fc0084c8c94ccc0ecc0bcc0f0dd5000899299981e1818181e9baa001132323232323232323232323232323232533304f30520021323232533304f30423050375400226464a6660a266ebc0100144cdd79ba6302a3756607860a66ea8060dd30008a50333302c33302f03e3028001480080f8c09ccc0a804d2210048008dd7182a18289baa00116303a30503754607460a06ea8054c0b8c08cc13cdd500a1821998281ba800f33050375201a660a06ea0cdc0005a4006660a06ea0024cc140dd4003998281ba8005330504c1225820f0eb964a37dea6f59de5d19896f82233f13031a2799027b666f7f5796ee5cd09004bd700b1bac30500013050002304e001304e002375a609800260980046eb4c128004c128008dd6982400098240011bad30460013046002375c608800260880046eb4c108004c0f8dd50008b180e1808981e9baa3026303d37546080607a6ea800458cc0740388c0b8ccc074dd59813181e9baa3026303d37540020189101096c6f72642074756e61003301d00b3370000290010b1bad303d001303937540022c607660706ea800458cc06cdd5981d181d981d981d981d981d981d981d981d981d981b9baa025302f33039302c33039302e33039375200a97ae04bd7025eb80585858c0e4004c0e4008c0dc004cc060c068dd5981b181b981b80200f9bae02e375c05c6eb0c0cc004c0cc008dd61818800981898169baa01b2303030313031001153233302b30210181323232533302e3022302f3754002264a66605e604460606ea80044c8c8c8c94ccc0d8c0e40084c8c94ccc0e0c0ec0084c94ccc0d8cdc79bae303700248810454554e4100153330363370e0020082601800229405281bad30370011630390013301a301c00702116375a606e002606e0046eb4c0d4004c0c4dd50008b181998181baa00116330133756606460666066606660666066004604e66062604866062604c6606205697ae04bd7025eb80dd59818800981898189818981898169baa01b132533302c301f01913232323232323253330333026303437540022646464646464a666078607e004264a666074605a6eb4c0f00104c94ccc0ecc0b8dd6981e8018991919299981f19b8f533303e3371e008014200a2a66607c66e3c01402840105800c4cdd79ba600f374c0022940c94ccc0f8cdc4240800042002266603c0029110454554e41003370690406457d0129991800800912991998209800a40202a666082600290000a4000266e3922108010204081020408000002153330413001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc400080119980e99980ea5eb7bdb180cc05ccdc0008240049101004800800920013370601e9050688c9980a80724410016375c60760042c6eb8c0e800c58c0f4004c0f4008c0ec004cc07001008cc030004dd7181c181a9baa00116301e30343754606e0046eacc0d8c0dc004c0c8dd5198029bac3035002303500433016301837566068606a606a606a606a00203a60606ea8078dd69819181980098171baa029153233302d302201a1323232323232323232325333037302b30383754660346eb0c0f001c8cdd79812181d1baa3024303a3754604660746ea80040084c8c94ccc0f0c0fc0084c94ccc0e8c0b4dd6981e0010991919191919192999820981a18211baa0021323232325333045303830463754004264646464646464a66609866e3c04cc11c07854ccc130cdd7981c18271baa0040201533304c3375e6e98048dd318128010a99982619baf0060011533304c33304c0084a094454ccc1300304cdc499b8100700b48303f0545280a5014a029405280a50305030510023756609e002609e004609a00260926ea8cc0ac054060c100cc128c0f4cc128dd480c1982526010100003304a3752016660949810100003304a375066e000152080a0c881094bd7025eb80dd6982518239baa00216301a3045375460926094004609000260886ea8014dd6982318219baa00216301630413754608a608c004608800260806ea8c10c008c108c10c004c0f8dd500399199800800a44100371a01c444a66607c60640022004266600600666e2ccdc0a41fc0666e38040c0d8004008c0d8004ccc0640a0005200216375c60740022c607a0026603c604000604a2c605e660746ea40212f5c060746076607660760046eacc0e4004c0e4c0e4008dd6181b800981b981b80098191baa020375a6068606a0046eb8c0cc004c0bcdd50150a99981699b87480200684c8c8c8c8c8c8c94ccc0d0c0a0c0d4dd50008991919191919191919192999820982200109919299982198230010992999820981a1bad3043002153330413375e605a60866ea804405454ccc104c0d0ccc08c03c0bcc0f003054ccc104cdc78008060a5113371e00201029405280b1bae304100116304400133025302701002c16375a608400260840046eb4c100004c100008dd7181f000981f0011bad303c001303c002375c6074002606c6ea800458c050c0e0c0e4008dd5981b800981b801181a80098189baa3300437586068004606860626ea80b0dd59819981a181a181a000981998179baa01d1533302d3370e900500d099198008009980a980b9bab303330343034303430343030375403c03844a66606400229444c94ccc0c0cdc41bad30323035002480004cc00c00c004528181a800899191919191919191919191919191919191919192999820981a18211baa0011323253330433036304437540022646464646464a666098609e00426464646464646464646464a6660a866ebcc100c158dd500e0140a99982a19baf304030563754014609a660b06ea40412f5c02a6660a866ebcc0fcc158dd500526103d87a8000153330543375e6e98c0b4058dd30018a99982a19baf374c605a0346e9801054ccc150cdd79ba6302d008374c0042a6660a866e2403008c54ccc150cdc48028070a99982a19baf374c66076607a03c0846e980044cdd780380a8a5014a029405280a5014a029405280a503330333330333330334bd6f7b6301827007a4002605602490009815807a4004666605c666062080605401c9001020181480224004666605a66606007e6052020900101f9814001a400466605e07c6096018900119b833370490600fa41481a9068079981400ea4410030523053002375660a200260a2004609e00260966ea8cc0b405006458dd6982680098268011bad304b001304b002375c6092002608a6ea800458c08c01cdd7182318219baa00116302c30423754608a0086088608a0046eacc10c004c10c004c0f8dd5198088049820807182018208011bab303f001303f002303d001303937546601800860780146eacc0ecc0f0c0f0008dd6181d000981d181d0011bac3038001303437540446eb4c0d8c0dc008dd6981a800981a800981a00098179baa02a302533030375203497ae0223233001001003223253330303375e603860646ea80040104c06cc0c8dd5000899801801981b001181a0009b8848000dc5244107434f554e54455200371491010454554e41002330120014890030010012225333028301c002100113330030033370800490400219b8b00200122225333028301c0011004132323300100100622533302e00113302f337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0bccdc800500109981999bb037520146e9801c01454ccc0bccdc78050010992999818181218189baa001133034337606ea402cc0d4c0c8dd5000802080219299981829998198008a5114a02980103d87a80001302733034374c00297ae03233001001002225333034001133035337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0d4cdc800780109981c99bb0375201e6ea003801454ccc0d4cdc7807801099299981b1815181b9baa00113303a337606ea4040c0ecc0e0dd5000802080219299981b18150008a6103d87a80001302d3303a375000297ae03370000201c26607266ec0dd48011ba800133006006003375a606c0066eb8c0d0008c0e0008c0d80044cc0cccdd81ba9002374c0026600c00c0066eacc0c000cdd7181700118190011818000991900118030009981619bb037520046ea00052f5bded8c0600200244a66604e00229309929998140008a4c26464a66604e66e40dd7181418160021bae30280021330050053302b00200116302c002302a001302a0012225333024301800114bd6f7b6300991919800800a5eb7bdb180894ccc0a80044cc0accdd81ba9006374c00697adef6c60132323232533302b3372001400426605e66ec0dd48051ba60070051533302b3371e01400426605e66ec0dd48051ba600700313302f337606ea4008dd3000998030030019bab302c003375c6054004605c004605800266600897adef6c600020012223233001001004225333028001133029337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc0a4cdc800400109981699bb037520106ea001c01454ccc0a4cdc780400109981699bb037520106ea001c00c4cc0b4cdd81ba900237500026600c00c0066eb4c0a800cdd718140011816001181500092999810180b18109baa00113025302237540022c44464a666044602a60466ea8004520001375a604e60486ea8004c94ccc088c054c08cdd50008a6103d87a80001323300100137566050604a6ea8008894ccc09c004530103d87a80001323232325333028337220100042a66605066e3c0200084c07ccc0b0dd4000a5eb80530103d87a8000133006006003375a60520066eb8c09c008c0ac008c0a4004cc02400c00888c8cc00400400c894ccc090004530103d87a800013232533302330050021301a330270024bd70099802002000981400118130009800800911299980f18090008981180109998018019812001180b0009119198008008019129998108008a6103d87a8000132323253330213375e00c6044006260306604a00297ae01330050050023022002302500230230012232533301c300f301d3754002297adef6c60137566042603c6ea8004cc00c00800488c8cc00400400c894ccc07c0045300103d87a800013232323253330203372200e0042a66604066e3c01c0084c05ccc090dd3000a5eb80530103d87a8000133006006003375660420066eb8c07c008c08c008c0840048cc0080052210022323300100100322533301d00114bd6f7b630099191919299980f19b910070021533301e3371e00e0042006200a26604466ec0dd48011ba6001330060060033756603e0066eb8c074008c084008c07c0048c06cc0700048c068004c050dd50081bae3017301437540022c602c602e004602a00260226ea802c52613656323253330103004001153330133012375401a2930b0a9998081801800899191919299980b980d00109924c600c0062c6eb4c060004c060008c058004c048dd50068a99980818030008a99980998091baa00d14985854ccc040c0140044c8c8c8c94ccc05cc06800852616375a603000260300046eb8c058004c048dd50068a99980819b87480200044c8c94ccc054c0600084c92630040011630160013012375401a2a66602066e1d200a001153330133012375401a2930b0a99980819b87480300044c8c8c8c8c8c8c8c94ccc06cc0780084c8c926300b006300a00716375a603800260380046eb4c068004c068008c060004c060008c058004c048dd50068b18081baa00c2533300f300330103754002264646464a66602c60320042649329998099803980a1baa003132325333018301b002149858dd7180c800980a9baa0031616375a602e002602e004602a00260226ea8004584cc88c894ccc048c8c8c8c8c8c8c8c8c8c8c94ccc074c04402c4c8c8c94ccc080c04cc084dd5000899191919191919192999814180e18149baa025132323232323232323232323232533303530283036375400226464a66606e605460706ea80044c8c8c8c8c8c8c8c94ccc0fcc0c8ccc0a4030028c0e805854ccc0fccdd78068030a99981f99b8900800f1533303f3375e6e98c0b0030dd318160020a99981f99b8801400213375e00200629405280a5014a02940c0e0cc108c0d4cc108dd480a998211ba8001330423752022660846ea003ccc108dd400725eb812f5c0666604a032010028606866082606866082606c660826ea40512f5c097ae04bd70182098210011bab30400013040002303e001303a37546603c02490001bad303c303937540022c607660706ea8c0ecc0f0c0e0dd50079bae303a303737540022c6032606c6ea8008dd5981c181c801181b80098199baa3301500f011375a606a606c0046eb4c0d0004c0d0008dd7181900098190011bad30300013030002375c605c00260546ea809458c0b0c0b4c0b4c0b4c0b4c0b4008dd6181580098158011bac302900130290023758604e00260466ea800cc094c088dd50008b181218128011811800980f9baa00c1533301d301000b1323232533302030133021375400226464646464646464a666050603860526ea80944c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0d4c0a0c0d8dd500089919299981b9815181c1baa00113232323232323232533303f303233302900c00a303a0161533303f3375e01a00c2a66607e66e2402003c54ccc0fccdd79ba6302c00c374c60580082a66607e66e200400084cdd78008018a5014a029405280a50303833042303533042375202a660846ea004ccc108dd4808998211ba800133042375001c97ae04bd70199981280c804008181a19820981a19820981b198209ba90104bd7025eb812f5c0608260840046eacc100004c100008c0f8004c0e8dd51980f009240006eb4c0f0c0e4dd50008b181d981c1baa303b303c3038375401e6eb8c0e8c0dcdd50008b180c981b1baa002375660706072004606e00260666ea8cc05403c044dd6981a981b0011bad30340013034002375c606400260640046eb4c0c0004c0c0008dd7181700098151baa02516302c302d302d302d302d302d0023758605600260560046eb0c0a4004c0a4008dd6181380098119baa0033025302237540022c6048604a0046046002603e6ea803054ccc074c04c02c585888c8cc00400400c88c94ccc084cdd7980318119baa0010041300a30233754002266006006604e004604a002460420026002002444a6660386020002260420042666006006604400460280024444646600200200a44a666042002290000991919299981099baf006300a30233754604c004266e00c94ccc088c054c08cdd50008a400026eb4c09cc090dd5000992999811180a98119baa00114c0103d87a800013300d3756604e60486ea80052210454554e41003300d00100833005005003132533302500113300600600413253330260011330070070051325333027302a002132323232325333029301c375a60560082a666052a66605266e3c00d2210454554e410013371e00201e29404cdc0001198068068058998068068058031bae3029003375a60520066eb8c09c008c0a800cc0a400c0044cc01c01c014c0a0004c94ccc088c054c08cdd50008a5eb7bdb1804dd5981398121baa0013300d0010083756604a604c00260426ea8c020c084dd5181200118120009180e980f00091119299980d1807180d9baa001132533301b300f301c375400226eb4c080c074dd50008a40006600a6eacc07cc070dd50008010a40006600a00600444646600200200644a6660380022980103d87a8000132323232533301d3372200e0042a66603a66e3c01c0084c050cc084dd4000a5eb80530103d87a8000133006006003375a603c0066eb8c070008c080008c07800488c8cc00400400c894ccc06c0045300103d87a8000132323232533301c3372200e0042a66603866e3c01c0084c04ccc080dd3000a5eb80530103d87a80001330060060033756603a0066eb8c06c008c07c008c0740048c8cc004004008894ccc06400452f5bded8c0264646464a66603466e452201000021533301a3371e9101000021003100513301e337606ea4008dd3000998030030019bab301b003375c6032004603a004603600260266ea800c52613656325333011300500115333014301337540042930b0a99980898020008a99980a18099baa00214985854ccc044c01c00454ccc050c04cdd50010a4c2c2a666022600c0022a66602860266ea800852616163011375400264a66601e6006002264646464646464646464a666038603e0042930b1bad301d001301d002375a603600260360046eb8c064004c064008dd6980b800980b8011bae3015001301137540182a66601e60040022646464646464a66603060360042930b1bad30190013019002375a602e002602e0046eb8c054004c044dd50060b18079baa00b3013301037540146e1d2002370e90001b8748018dc3a40086e952000370090009ba548008dd2a40086e29221044e4f4d41005734aae7555cf2ab9f5740ae855d11", - "hash": "bda52c432da07e981df3aca0ec7508ddd51c599cdfc54edf69c4602e" + "compiledCode": "591f1f01000032323232323232222253232323232323232323232323233301230033013375401c264a666026646464a66602c600e602e6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0b0c0740544c8c8c8c8c8c8c8c8c8c8c94ccc0e8c0f400854ccc0dcc09cdd6981c8018a99981b98139bad30390011325333038302930393754002264a666072605460746ea80044c8c94ccc0f8c1040084c8c94ccc0f4c0b8c0f8dd5000899299981f1817981f9baa001132323232323232323232323232323232533305130540021323232533305130413052375400226464a6660a666ebc0100144cdd79ba630283756607460aa6ea8060dd30008a50333302a33302d03c3049001480080f0c120cc0a004d2210048008dd7182b18299baa00116303830523754607060a46ea8054c0b0c08cc144dd500a1821198291ba800f33052375201a660a46ea0cdc0005a4006660a46ea0024cc148dd4003998291ba8005330524c1225820f0eb964a37dea6f59de5d19896f82233f13031a2799027b666f7f5796ee5cd09004bd700b1bac3052001305200230500013050002375a609c002609c0046eb4c130004c130008dd6982500098250011bad30480013048002375c608c002608c0046eb4c110004c100dd50008b180d1808981f9baa3024303f37546084607e6ea800458cc06c0388c0b4ccc06cdd59812181f9baa3024303f37540020189101096c6f72642074756e61003301b00b303600116375a607e00260766ea800458c0f4c0e8dd50008b1980c9bab303c303d303d303d303d303d303d303d303d303d303937540466062660766056660766060660766ea40152f5c097ae04bd700b0b0b181d800981d801181c8009980b180c1bab30383039303900401d375c0606eb80c0dd6181a800981a8011bac30330013033302f375403246064606660660022a6466605a604002c2646464a666060604260626ea80044c94ccc0c4c084c0c8dd5000899191919299981c181d80109919299981d181e801099299981c19b8f375c60720049110454554e4100153330383370e0020082601800229405281bad303900116303b00133018301a00701f16375a607200260720046eb4c0dc004c0ccdd50008b181a98191baa001163301137566068606a606a606a606a606a00460526606660466606660506606605a97ae04bd7025eb80dd59819800981998199819981998179baa019132533302e301e01713232323232323253330353025303637540022646464646464a66607c6082004264a66607860586eb4c0f80104c94ccc0f4c0b4dd6981f8018991919299982019b8f53330403371e008014200a2a66608066e3c01402840105800c4cdd79ba600f374c0022940c94ccc100cdc424080004200226660380029110454554e41003370690406457d0129991800800912991998219800a40202a666086600290000a4000266e3922108010204081020408000002153330433001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc400080119980d99980da5eb7bdb180cc054c0e8041221004800800920013370601e9050688c9980980724410016375c607a0042c6eb8c0f000c58c0fc004c0fc008c0f4004cc068010084c0b4004dd7181d181b9baa00116301c3036375460720046eacc0e0c0e4004c0d0dd5198029bac303700230370043301430163756606c606e606e606e606e00203660646ea8070dd6981a181a80098181baa02b1533302e302001713232323232323232323253330383029303937546602e6eb0c0f401c8cdd79810981d9baa3021303b3754604060766ea80040084c8c94ccc0f4c1000084c94ccc0ecc0acdd6981e8010991919191919192999821181918219baa0021323232325333046303630473754004264646464646464a66609a66e3c04cc11407854ccc134cdd7981a98279baa004304633051375206e97ae01533304d3375e6e98048dd318110010a99982699baf0060011533304d33304d0084a094454ccc1340304cdc499b8100700b48303f0545280a5014a029405280a5030513052002375660a000260a0004609c00260946ea8cc0a0054060c104cc12cc0eccc12cdd480c19825a6010100003304b3752016660969810100003304b375066e000152080a0c881094bd7025eb80dd6982598241baa00216301930463754609460960046092002608a6ea8014dd6982398221baa00216301530423754608c608e004608a00260826ea8c110008c10cc110004c0fcdd500399199800800a44100371a01c444a66607e60600022004266600600666e2ccdc0a41fc0666e38040c0d0004008c0d0004ccc058094005200216375c60760022c607c00266036603a0060442c6060660766ea40212f5c060766078607860780046eacc0e8004c0e8c0e8008dd6181c000981c181c00098199baa01d375a606a606c0046eb8c0d0004c0c0dd50158a99981719b874802005c4c8c8c8c8c8c8c94ccc0d4c098c0d8dd5000899191919191919191919299982118228010991929998221823801099299982118191bad3044002153330423375e605460886ea8044c0eccc118dd481625eb8054ccc108c0c8ccc08003c0b0c0e803054ccc108cdc78008060a5113371e00201029405280b1bae304200116304500133022302401002916375a608600260860046eb4c104004c104008dd7181f800981f8011bad303d001303d002375c6076002606e6ea800458c044c0e4c0e8008dd5981c000981c001181b00098191baa330033758606a004606a60646ea80b4dd5981a181a981a981a800981a18181baa01a1533302e3370e900500b8991980080099809180a1bab303430353035303530353031375403603244a66606600229444c94ccc0c4cdc41bad30333036002480004cc00c00c004528181b000899191919191919191919191919191919191919192999821181918219baa0011323253330443034304537540022646464646464a66609a60a000426464646464646464646464a6660aa66ebcc0f4c15cdd500e18271982c9ba903f4bd700a99982a99baf303d30573754014609c660b26ea40412f5c02a6660aa66ebcc0f0c15cdd500526103d87a8000153330553375e6e98c0a8058dd30018a99982a99baf374c60540346e9801054ccc154cdd79ba6302a008374c0042a6660aa66e2403008c54ccc154cdc48028070a99982a99baf374c66070607403c07e6e980044cdd780380a8a5014a029405280a5014a029405280a503330303330303330304bd6f7b6301826007a4002609602490009825807a4004666605666605c07a609401c900101e982480224004666605466605a0786092020900101e1824001a400466605807660920189001181fa41a01e6604a03a91010030533054002375660a400260a400460a000260986ea8cc0a805006458dd6982700098270011bad304c001304c002375c6094002608c6ea800458c08001cdd7182398221baa00116302930433754608c008608a608c0046eacc110004c110004c0fcdd5198080049821007182098210011bab30400013040002303e001303a375466016008607a0146eacc0f0c0f4c0f4008dd6181d800981d981d8011bac30390013035375403e6eb4c0dcc0e0008dd6981b000981b000981a80098181baa02b223233001001003223253330323375e603460686ea80040104c064c0d0dd5000899801801981c001181b0009b88480008cc048005221003001001222533302c301d002100113330030033370800490400219b8b0020012222533302c301d00110041323233001001006225333032001133033337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0cccdc800500109981b99bb037520146e9801c01454ccc0cccdc7805001099299981a1812981a9baa001133038337606ea402cc0e4c0d8dd5000802080219299981a299981b8008a5114a02980103d87a80001302833038374c00297ae03233001001002225333038001133039337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0e4cdc800780109981e99bb0375201e6ea003801454ccc0e4cdc7807801099299981d1815981d9baa00113303e337606ea4040c0fcc0f0dd5000802080219299981d18158008a6103d87a80001302e3303e375000297ae03370000201c26607a66ec0dd48011ba800133006006003375a60740066eb8c0e0008c0f0008c0e80044cc0dccdd81ba9002374c0026600c00c0066eacc0d000cdd71819001181b001181a000991900118030009981819bb037520046ea00052f5bded8c0600200244a66605600229309929998160008a4c26464a66605666e40dd7181618180021bae302c0021330050053302f002001163030002302e001302e0012225333028301900114bd6f7b6300991919800800a5eb7bdb180894ccc0b80044cc0bccdd81ba9006374c00697adef6c60132323232533302f3372001400426606666ec0dd48051ba60070051533302f3371e01400426606666ec0dd48051ba6007003133033337606ea4008dd3000998030030019bab3030003375c605c0046064004606000266600897adef6c60002001222323300100100422533302c00113302d337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc0b4cdc800400109981899bb037520106ea001c01454ccc0b4cdc780400109981899bb037520106ea001c00c4cc0c4cdd81ba900237500026600c00c0066eb4c0b800cdd718160011818001181700092999812180b98129baa00113029302637540022c44464a66604c602c604e6ea8004520001375a605660506ea8004c94ccc098c058c09cdd50008a6103d87a8000132330010013756605860526ea8008894ccc0ac004530103d87a8000132323232533302c337220100042a66605866e3c0200084c080cc0c0dd4000a5eb80530103d87a8000133006006003375a605a0066eb8c0ac008c0bc008c0b4004cc02400c00888c8cc00400400c894ccc0a0004530103d87a800013232533302730050021301b3302b0024bd70099802002000981600118150009800800911299981118098008981380109998018019814001180b8009119198008008019129998128008a6103d87a8000132323253330253375e00c604c006260326605200297ae013300500500230260023029002302700122325333020301030213754002297adef6c6013756604a60446ea8004cc00c00800488c8cc00400400c894ccc08c0045300103d87a800013232323253330243372200e0042a66604866e3c01c0084c060cc0a0dd3000a5eb80530103d87a80001330060060033756604a0066eb8c08c008c09c008c0940048cc0080052210022323300100100322533302100114bd6f7b630099191919299981119b91007002153330223371e00e0042006200a26604c66ec0dd48011ba600133006006003375660460066eb8c084008c094008c08c0048c07cc0800048c078004c060dd500a1bae301b301837540022c603460360046032002602a6ea803c5261365632325333014300500115333017301637540222930b0a99980a1802000899191919299980d980f00109924c600c0062c6eb4c070004c070008c068004c058dd50088a99980a18038008a99980b980b1baa01114985854ccc050c0180044c8c8c8c94ccc06cc07800852616375a603800260380046eb8c068004c058dd50088a99980a19b87480200044c8c94ccc064c0700084c926300400116301a001301637540222a66602866e1d200a00115333017301637540222930b0a99980a19b87480300044c8c8c8c8c8c8c8c94ccc07cc0880084c8c926300b006300a00716375a604000260400046eb4c078004c078008c070004c070008c068004c058dd50088b180a1baa01025333013300430143754002264646464a666034603a00426493299980b9804180c1baa00313232533301c301f002149858dd7180e800980c9baa0031616375a603600260360046032002602a6ea8004584cc88c894ccc058c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc090c0540384c8c8c94ccc09cc05cc0a0dd5000899191919191919192999817981018181baa02c132323232323232323232323232533303c302c303d375400226464a66607c605c607e6ea80044c8c8c8c8c8c8c8c94ccc118c0d8ccc0ac030028c0f805854ccc118cdd78068030a99982319b8900800f153330463375e6e98c0b8030dd318170020a99982319b8801400213375e00200629405280a5014a02940c0fccc124c0e4cc124dd480a998249ba8001330493752022660926ea003ccc124dd400725eb812f5c0666604a032010028607066090607066090607a660906ea40512f5c097ae04bd70182418248011bab304700130470023045001304137546603c02490001bad3043304037540022c6084607e6ea8c108c10cc0fcdd50079bae3041303e37540022c6032607a6ea8008dd5981f9820001181f000981d1baa3301500f011375a6078607a0046eb4c0ec004c0ec008dd7181c800981c8011bad30370013037002375c606a00260626ea80b058c0ccc0d0c0d0c0d0c0d0c0d0008dd6181900098190011bac303000130300023758605c00260546ea800cc0b0c0a4dd50008b18159816001181500098131baa00f15333024301400e1323232533302730173028375400226464646464646464a66605e604060606ea80b04c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f0c0b0c0f4dd500089919299981f1817181f9baa001132323232323232325333046303633302b00c00a303e016153330463375e01a00c2a66608c66e2402003c54ccc118cdd79ba6302e00c374c605c0082a66608c66e200400084cdd78008018a5014a029405280a50303f33049303933049375202a660926ea004ccc124dd4808998249ba800133049375001c97ae04bd70199981280c804008181c19824181c19824181e998241ba90104bd7025eb812f5c0609060920046eacc11c004c11c008c114004c104dd51980f009240006eb4c10cc100dd50008b1821181f9baa30423043303f375401e6eb8c104c0f8dd50008b180c981e9baa0023756607e6080004607c00260746ea8cc05403c044dd6981e181e8011bad303b001303b002375c607200260720046eb4c0dc004c0dc008dd7181a80098189baa02c163033303430343034303430340023758606400260640046eb0c0c0004c0c0008dd6181700098151baa003302c302937540022c605660580046054002604c6ea803c4c8c8c94ccc09cc0680444c8c8c8c8c8c94ccc0b4c074c0b8dd5000899191919191929998199811981a1baa030132323232323232323232533303d302d303e37540022646464646464a66608666ebc024c12001454ccc10ccdc400600d0a9998219819999812980f808803181c8058a99982199baf00100213375e6e98c0ac020dd318158018a5014a02940528181e19823181d998231ba900e330463750607a0186608c6ea002d2f5c097ae0304630470023756608a002608a00260806ea8cc074034058dd71821181f9baa00116301a303e37540046eacc100c104008c0fc004c0ecdd51980b00500619809007a44100375a6078607a0046eb4c0ec004c0ec008dd7181c800981a9baa030163756606e607060700046eb0c0d8004c0d8c0d8008dd6181a00098181baa0033032302f37540022c60626064004606000260586ea8054dd6981718178011bad302d00130293754028264646464a666056603660586ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e4c0a4c0e8dd500089919299981d9815981e1baa00113232533303d302e303e3754074264646464646464646464646464a666094a64666096a66609666ebc054c14001c54ccc12ccdd79ba63033014374c606600a2a66609666ebc01000c54ccc12ccdc499b83337046002012905a05241a01e016266e24cdc199b82002483d00d20d00f300100914a029405280a5014a22a66609666e1cccc0c0c09c068048c10c03520011533304b3371001666e0ccdc11800804a4168149068078a51133710600201266e0ccdc1001241e8069068078a5037000142a66609466e2401c03c4c0380305280a5032323232533304d3371004c9050688c899b820264820322be80944cdc019b824828344652080c8afa025330013370004c904fe88ca40046002002444a66609c66e2000920a0d11913370666e080092080c8afa025300400113370066e0ccdc124141a23290406457d012980200099980180199b800024827f4464c124004c004004894c8ccc130c00520101533304c3001480005200013371c911080102040810204080000021533304c3001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc40009821198261820998261ba900a3304c4c10100003304c375066e0008520c01f4bd7025eb80c130c134008dd59825800982580098231baa3302301548000dd6982418248011bad304700130473047002375a608a002608a0046eb8c10c004c0fcdd501d0991919191929998212999821299982119b893031483403c0084c94ccc10cc0d0c110dd5000899299982219b8748030c114dd500089919191919191919299982798290010991919251300200730010082533304d303e304e3754002264646464a6660a860ae004264932999828982118291baa0031323253330563059002149858dd7182b80098299baa0031616375a60aa00260aa00460a6002609e6ea80045858dd6982800098280011bad304e001304e002304c001304c002304a001304637540022c6090608a6ea800458c8c8cc004004040894ccc120004530103d87a8000132323253330483375e00c6092006260786609800297ae01330050050023049002304c002304a001303633046375201297ae014a0294454ccc108cdc40011818a41a01e266e1cccc09cc078044024c0e8011200114a02a66608466e2400406c4c0180105280a50375a608c608e0046eb4c114004c114008dd71821800981f9baa03a2533303d302d33301f00600430350011323300100101122533304200114a0264a6660806464646464a66608a606a608c6ea80044c8c8c8c8c94ccc134c1400084c94ccc12cc0ecdd698268020992999826181e1bad304e0031533304c3371e004608600e266e3c0040245280b1bae304c00216375c60960062c609c002609c00460980026605400a01a6eb8c128c11cdd50008a503022304637546092008607200266038036911003756608c608e00260846ea8c08cc108dd518228010a51133003003001304500114a06eb4c100c0f4dd50008b181f981e1baa3018303c375400e6eb8c0f8c0ecdd50008b180b181d1baa00237566078607a0046076002606e6ea8cc048dd6181d005181d181b9baa00b375660726074607400460700026070607060700046eacc0d8004c0d8c0d8008dd6181a000981a0011bac30320013032001302d37540042c605e6060004605c00260546ea804cdd6981618149baa014300100122253330283019002100113330030033370800490400219b8b00200123300e001488100223233001001003223253330283375e600c60546ea80040104c02cc0a8dd5000899801801981700118160009181400098008009112999811980a0008981400109998018019814801180c000911119198008008029129998140008a40002646464a66605066ebc018c02cc0a8dd51816801099b8033300a00100848810454554e410033005005003132533302c001133006006004132533302d001133007007005132533302e30310021323232323253330303020375a60640082a666060a66606066e3c00d22010454554e410013371e00201e29404cdc0001198068068058998068068058031bae3030003375a60600066eb8c0b8008c0c400cc0c000c0044cc01c01c014c0bc004cc030004020dd59816181680098141baa3009302837546056004605600244464a666044602460466ea8004520001375a604e60486ea8004c94ccc088c048c08cdd50008a60103d87a80001330083756604e60486ea8004008cc02000c0088c08cc09000488c94ccc07cc03cc080dd50008a5eb7bdb1804dd5981218109baa0013300500200122232533301f301030203754002264a666040602260426ea80044dd6981298111baa001148000cc014dd5981218109baa001002148000cc01400c00888c8cc00400400c894ccc0840045300103d87a800013232323253330223372200e0042a66604466e3c01c0084c058cc098dd4000a5eb80530103d87a8000133006006003375a60460066eb8c084008c094008c08c00488c8cc00400400c894ccc0800045300103d87a800013232323253330213372200e0042a66604266e3c01c0084c054cc094dd3000a5eb80530103d87a8000133006006003375660440066eb8c080008c090008c0880048cc0080052210022323300100100322533301e00114bd6f7b630099191919299980f99b910070021533301f3371e00e0042006200a26604666ec0dd48011ba600133006006003375660400066eb8c078008c088008c080004c05cdd50018a4c26cac64a66602a600c0022a666030602e6ea80085261615333015300500115333018301737540042930b0a99980a9804000899191919299980e180f8010a4c2c6eb4c074004c074008dd6980d800980b9baa00215333015300700113232533301a301d002149858dd6980d800980b9baa002163015375400264a6660266008002264646464646464646464a66604060460042930b1bad30210013021002375a603e002603e0046eb8c074004c074008dd6980d800980d8011bae3019001301537540202a66602660060022646464646464a666038603e0042930b1bad301d001301d002375a603600260360046eb8c064004c054dd50080b18099baa00f30173014375401c6e0ccdc1241803e9052069b8748008dc3a40006e1d2006370e90021ba548000dc0240026e29220107434f554e54455200371491010454554e410037149101044e4f4d4100374a90011ba548010dc024004ae6955ceaab9e5573eae815d0aba201", + "hash": "94a4a33e4e7039854fda0ec9297e338e31bf86919dd19520ff09e5b3" }, { "title": "tunav2.govern", @@ -189,8 +189,64 @@ } } ], - "compiledCode": "59185f010000323232323232322222532323232323232323233300e3002300f3754014264a66601e646464a666024600c60266ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94c8c8ccc0a8c07805c4c8c8c8c8c8c8c8c8c8c8c94ccc0e0c0ec00854ccc0d4c0a0dd6981b8018a99981a98141bad30370011325333036302a30373754002264a66606e605660706ea80044c8c94ccc0f0c0fc0084c8c94ccc0ecc0bcc0f0dd5000899299981e1818181e9baa001132323232323232323232323232323232533304f30520021323232533304f30423050375400226464a6660a266ebc0100144cdd79ba6302a3756607860a66ea8060dd30008a50333302c33302f03e3028001480080f8c09ccc0a804d2210048008dd7182a18289baa00116303a30503754607460a06ea8054c0b8c08cc13cdd500a1821998281ba800f33050375201a660a06ea0cdc0005a4006660a06ea0024cc140dd4003998281ba8005330504c1225820f0eb964a37dea6f59de5d19896f82233f13031a2799027b666f7f5796ee5cd09004bd700b1bac30500013050002304e001304e002375a609800260980046eb4c128004c128008dd6982400098240011bad30460013046002375c608800260880046eb4c108004c0f8dd50008b180e1808981e9baa3026303d37546080607a6ea800458cc0740388c0b8ccc074dd59813181e9baa3026303d37540020189101096c6f72642074756e61003301d00b3370000290010b1bad303d001303937540022c607660706ea800458cc06cdd5981d181d981d981d981d981d981d981d981d981d981b9baa025302f33039302c33039302e33039375200a97ae04bd7025eb80585858c0e4004c0e4008c0dc004cc060c068dd5981b181b981b80200f9bae02e375c05c6eb0c0cc004c0cc008dd61818800981898169baa01b2303030313031001153233302b30210181323232533302e3022302f3754002264a66605e604460606ea80044c8c8c8c94ccc0d8c0e40084c8c94ccc0e0c0ec0084c94ccc0d8cdc79bae303700248810454554e4100153330363370e0020082601800229405281bad30370011630390013301a301c00702116375a606e002606e0046eb4c0d4004c0c4dd50008b181998181baa00116330133756606460666066606660666066004604e66062604866062604c6606205697ae04bd7025eb80dd59818800981898189818981898169baa01b132533302c301f01913232323232323253330333026303437540022646464646464a666078607e004264a666074605a6eb4c0f00104c94ccc0ecc0b8dd6981e8018991919299981f19b8f533303e3371e008014200a2a66607c66e3c01402840105800c4cdd79ba600f374c0022940c94ccc0f8cdc4240800042002266603c0029110454554e41003370690406457d0129991800800912991998209800a40202a666082600290000a4000266e3922108010204081020408000002153330413001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc400080119980e99980ea5eb7bdb180cc05ccdc0008240049101004800800920013370601e9050688c9980a80724410016375c60760042c6eb8c0e800c58c0f4004c0f4008c0ec004cc07001008cc030004dd7181c181a9baa00116301e30343754606e0046eacc0d8c0dc004c0c8dd5198029bac3035002303500433016301837566068606a606a606a606a00203a60606ea8078dd69819181980098171baa029153233302d302201a1323232323232323232325333037302b30383754660346eb0c0f001c8cdd79812181d1baa3024303a3754604660746ea80040084c8c94ccc0f0c0fc0084c94ccc0e8c0b4dd6981e0010991919191919192999820981a18211baa0021323232325333045303830463754004264646464646464a66609866e3c04cc11c07854ccc130cdd7981c18271baa0040201533304c3375e6e98048dd318128010a99982619baf0060011533304c33304c0084a094454ccc1300304cdc499b8100700b48303f0545280a5014a029405280a50305030510023756609e002609e004609a00260926ea8cc0ac054060c100cc128c0f4cc128dd480c1982526010100003304a3752016660949810100003304a375066e000152080a0c881094bd7025eb80dd6982518239baa00216301a3045375460926094004609000260886ea8014dd6982318219baa00216301630413754608a608c004608800260806ea8c10c008c108c10c004c0f8dd500399199800800a44100371a01c444a66607c60640022004266600600666e2ccdc0a41fc0666e38040c0d8004008c0d8004ccc0640a0005200216375c60740022c607a0026603c604000604a2c605e660746ea40212f5c060746076607660760046eacc0e4004c0e4c0e4008dd6181b800981b981b80098191baa020375a6068606a0046eb8c0cc004c0bcdd50150a99981699b87480200684c8c8c8c8c8c8c94ccc0d0c0a0c0d4dd50008991919191919191919192999820982200109919299982198230010992999820981a1bad3043002153330413375e605a60866ea804405454ccc104c0d0ccc08c03c0bcc0f003054ccc104cdc78008060a5113371e00201029405280b1bae304100116304400133025302701002c16375a608400260840046eb4c100004c100008dd7181f000981f0011bad303c001303c002375c6074002606c6ea800458c050c0e0c0e4008dd5981b800981b801181a80098189baa3300437586068004606860626ea80b0dd59819981a181a181a000981998179baa01d1533302d3370e900500d099198008009980a980b9bab303330343034303430343030375403c03844a66606400229444c94ccc0c0cdc41bad30323035002480004cc00c00c004528181a800899191919191919191919191919191919191919192999820981a18211baa0011323253330433036304437540022646464646464a666098609e00426464646464646464646464a6660a866ebcc100c158dd500e0140a99982a19baf304030563754014609a660b06ea40412f5c02a6660a866ebcc0fcc158dd500526103d87a8000153330543375e6e98c0b4058dd30018a99982a19baf374c605a0346e9801054ccc150cdd79ba6302d008374c0042a6660a866e2403008c54ccc150cdc48028070a99982a19baf374c66076607a03c0846e980044cdd780380a8a5014a029405280a5014a029405280a503330333330333330334bd6f7b6301827007a4002605602490009815807a4004666605c666062080605401c9001020181480224004666605a66606007e6052020900101f9814001a400466605e07c6096018900119b833370490600fa41481a9068079981400ea4410030523053002375660a200260a2004609e00260966ea8cc0b405006458dd6982680098268011bad304b001304b002375c6092002608a6ea800458c08c01cdd7182318219baa00116302c30423754608a0086088608a0046eacc10c004c10c004c0f8dd5198088049820807182018208011bab303f001303f002303d001303937546601800860780146eacc0ecc0f0c0f0008dd6181d000981d181d0011bac3038001303437540446eb4c0d8c0dc008dd6981a800981a800981a00098179baa02a302533030375203497ae0223233001001003223253330303375e603860646ea80040104c06cc0c8dd5000899801801981b001181a0009b8848000dc5244107434f554e54455200371491010454554e41002330120014890030010012225333028301c002100113330030033370800490400219b8b00200122225333028301c0011004132323300100100622533302e00113302f337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0bccdc800500109981999bb037520146e9801c01454ccc0bccdc78050010992999818181218189baa001133034337606ea402cc0d4c0c8dd5000802080219299981829998198008a5114a02980103d87a80001302733034374c00297ae03233001001002225333034001133035337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0d4cdc800780109981c99bb0375201e6ea003801454ccc0d4cdc7807801099299981b1815181b9baa00113303a337606ea4040c0ecc0e0dd5000802080219299981b18150008a6103d87a80001302d3303a375000297ae03370000201c26607266ec0dd48011ba800133006006003375a606c0066eb8c0d0008c0e0008c0d80044cc0cccdd81ba9002374c0026600c00c0066eacc0c000cdd7181700118190011818000991900118030009981619bb037520046ea00052f5bded8c0600200244a66604e00229309929998140008a4c26464a66604e66e40dd7181418160021bae30280021330050053302b00200116302c002302a001302a0012225333024301800114bd6f7b6300991919800800a5eb7bdb180894ccc0a80044cc0accdd81ba9006374c00697adef6c60132323232533302b3372001400426605e66ec0dd48051ba60070051533302b3371e01400426605e66ec0dd48051ba600700313302f337606ea4008dd3000998030030019bab302c003375c6054004605c004605800266600897adef6c600020012223233001001004225333028001133029337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc0a4cdc800400109981699bb037520106ea001c01454ccc0a4cdc780400109981699bb037520106ea001c00c4cc0b4cdd81ba900237500026600c00c0066eb4c0a800cdd718140011816001181500092999810180b18109baa00113025302237540022c44464a666044602a60466ea8004520001375a604e60486ea8004c94ccc088c054c08cdd50008a6103d87a80001323300100137566050604a6ea8008894ccc09c004530103d87a80001323232325333028337220100042a66605066e3c0200084c07ccc0b0dd4000a5eb80530103d87a8000133006006003375a60520066eb8c09c008c0ac008c0a4004cc02400c00888c8cc00400400c894ccc090004530103d87a800013232533302330050021301a330270024bd70099802002000981400118130009800800911299980f18090008981180109998018019812001180b0009119198008008019129998108008a6103d87a8000132323253330213375e00c6044006260306604a00297ae01330050050023022002302500230230012232533301c300f301d3754002297adef6c60137566042603c6ea8004cc00c00800488c8cc00400400c894ccc07c0045300103d87a800013232323253330203372200e0042a66604066e3c01c0084c05ccc090dd3000a5eb80530103d87a8000133006006003375660420066eb8c07c008c08c008c0840048cc0080052210022323300100100322533301d00114bd6f7b630099191919299980f19b910070021533301e3371e00e0042006200a26604466ec0dd48011ba6001330060060033756603e0066eb8c074008c084008c07c0048c06cc0700048c068004c050dd50081bae3017301437540022c602c602e004602a00260226ea802c52613656323253330103004001153330133012375401a2930b0a9998081801800899191919299980b980d00109924c600c0062c6eb4c060004c060008c058004c048dd50068a99980818030008a99980998091baa00d14985854ccc040c0140044c8c8c8c94ccc05cc06800852616375a603000260300046eb8c058004c048dd50068a99980819b87480200044c8c94ccc054c0600084c92630040011630160013012375401a2a66602066e1d200a001153330133012375401a2930b0a99980819b87480300044c8c8c8c8c8c8c8c94ccc06cc0780084c8c926300b006300a00716375a603800260380046eb4c068004c068008c060004c060008c058004c048dd50068b18081baa00c2533300f300330103754002264646464a66602c60320042649329998099803980a1baa003132325333018301b002149858dd7180c800980a9baa0031616375a602e002602e004602a00260226ea8004584cc88c894ccc048c8c8c8c8c8c8c8c8c8c8c94ccc074c04402c4c8c8c94ccc080c04cc084dd5000899191919191919192999814180e18149baa025132323232323232323232323232533303530283036375400226464a66606e605460706ea80044c8c8c8c8c8c8c8c94ccc0fcc0c8ccc0a4030028c0e805854ccc0fccdd78068030a99981f99b8900800f1533303f3375e6e98c0b0030dd318160020a99981f99b8801400213375e00200629405280a5014a02940c0e0cc108c0d4cc108dd480a998211ba8001330423752022660846ea003ccc108dd400725eb812f5c0666604a032010028606866082606866082606c660826ea40512f5c097ae04bd70182098210011bab30400013040002303e001303a37546603c02490001bad303c303937540022c607660706ea8c0ecc0f0c0e0dd50079bae303a303737540022c6032606c6ea8008dd5981c181c801181b80098199baa3301500f011375a606a606c0046eb4c0d0004c0d0008dd7181900098190011bad30300013030002375c605c00260546ea809458c0b0c0b4c0b4c0b4c0b4c0b4008dd6181580098158011bac302900130290023758604e00260466ea800cc094c088dd50008b181218128011811800980f9baa00c1533301d301000b1323232533302030133021375400226464646464646464a666050603860526ea80944c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0d4c0a0c0d8dd500089919299981b9815181c1baa00113232323232323232533303f303233302900c00a303a0161533303f3375e01a00c2a66607e66e2402003c54ccc0fccdd79ba6302c00c374c60580082a66607e66e200400084cdd78008018a5014a029405280a50303833042303533042375202a660846ea004ccc108dd4808998211ba800133042375001c97ae04bd70199981280c804008181a19820981a19820981b198209ba90104bd7025eb812f5c0608260840046eacc100004c100008c0f8004c0e8dd51980f009240006eb4c0f0c0e4dd50008b181d981c1baa303b303c3038375401e6eb8c0e8c0dcdd50008b180c981b1baa002375660706072004606e00260666ea8cc05403c044dd6981a981b0011bad30340013034002375c606400260640046eb4c0c0004c0c0008dd7181700098151baa02516302c302d302d302d302d302d0023758605600260560046eb0c0a4004c0a4008dd6181380098119baa0033025302237540022c6048604a0046046002603e6ea803054ccc074c04c02c585888c8cc00400400c88c94ccc084cdd7980318119baa0010041300a30233754002266006006604e004604a002460420026002002444a6660386020002260420042666006006604400460280024444646600200200a44a666042002290000991919299981099baf006300a30233754604c004266e00c94ccc088c054c08cdd50008a400026eb4c09cc090dd5000992999811180a98119baa00114c0103d87a800013300d3756604e60486ea80052210454554e41003300d00100833005005003132533302500113300600600413253330260011330070070051325333027302a002132323232325333029301c375a60560082a666052a66605266e3c00d2210454554e410013371e00201e29404cdc0001198068068058998068068058031bae3029003375a60520066eb8c09c008c0a800cc0a400c0044cc01c01c014c0a0004c94ccc088c054c08cdd50008a5eb7bdb1804dd5981398121baa0013300d0010083756604a604c00260426ea8c020c084dd5181200118120009180e980f00091119299980d1807180d9baa001132533301b300f301c375400226eb4c080c074dd50008a40006600a6eacc07cc070dd50008010a40006600a00600444646600200200644a6660380022980103d87a8000132323232533301d3372200e0042a66603a66e3c01c0084c050cc084dd4000a5eb80530103d87a8000133006006003375a603c0066eb8c070008c080008c07800488c8cc00400400c894ccc06c0045300103d87a8000132323232533301c3372200e0042a66603866e3c01c0084c04ccc080dd3000a5eb80530103d87a80001330060060033756603a0066eb8c06c008c07c008c0740048c8cc004004008894ccc06400452f5bded8c0264646464a66603466e452201000021533301a3371e9101000021003100513301e337606ea4008dd3000998030030019bab301b003375c6032004603a004603600260266ea800c52613656325333011300500115333014301337540042930b0a99980898020008a99980a18099baa00214985854ccc044c01c00454ccc050c04cdd50010a4c2c2a666022600c0022a66602860266ea800852616163011375400264a66601e6006002264646464646464646464a666038603e0042930b1bad301d001301d002375a603600260360046eb8c064004c064008dd6980b800980b8011bae3015001301137540182a66601e60040022646464646464a66603060360042930b1bad30190013019002375a602e002602e0046eb8c054004c044dd50060b18079baa00b3013301037540146e1d2002370e90001b8748018dc3a40086e952000370090009ba548008dd2a40086e29221044e4f4d41005734aae7555cf2ab9f5740ae855d11", - "hash": "bda52c432da07e981df3aca0ec7508ddd51c599cdfc54edf69c4602e" + "compiledCode": "591f1f01000032323232323232222253232323232323232323232323233301230033013375401c264a666026646464a66602c600e602e6ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0b0c0740544c8c8c8c8c8c8c8c8c8c8c94ccc0e8c0f400854ccc0dcc09cdd6981c8018a99981b98139bad30390011325333038302930393754002264a666072605460746ea80044c8c94ccc0f8c1040084c8c94ccc0f4c0b8c0f8dd5000899299981f1817981f9baa001132323232323232323232323232323232533305130540021323232533305130413052375400226464a6660a666ebc0100144cdd79ba630283756607460aa6ea8060dd30008a50333302a33302d03c3049001480080f0c120cc0a004d2210048008dd7182b18299baa00116303830523754607060a46ea8054c0b0c08cc144dd500a1821198291ba800f33052375201a660a46ea0cdc0005a4006660a46ea0024cc148dd4003998291ba8005330524c1225820f0eb964a37dea6f59de5d19896f82233f13031a2799027b666f7f5796ee5cd09004bd700b1bac3052001305200230500013050002375a609c002609c0046eb4c130004c130008dd6982500098250011bad30480013048002375c608c002608c0046eb4c110004c100dd50008b180d1808981f9baa3024303f37546084607e6ea800458cc06c0388c0b4ccc06cdd59812181f9baa3024303f37540020189101096c6f72642074756e61003301b00b303600116375a607e00260766ea800458c0f4c0e8dd50008b1980c9bab303c303d303d303d303d303d303d303d303d303d303937540466062660766056660766060660766ea40152f5c097ae04bd700b0b0b181d800981d801181c8009980b180c1bab30383039303900401d375c0606eb80c0dd6181a800981a8011bac30330013033302f375403246064606660660022a6466605a604002c2646464a666060604260626ea80044c94ccc0c4c084c0c8dd5000899191919299981c181d80109919299981d181e801099299981c19b8f375c60720049110454554e4100153330383370e0020082601800229405281bad303900116303b00133018301a00701f16375a607200260720046eb4c0dc004c0ccdd50008b181a98191baa001163301137566068606a606a606a606a606a00460526606660466606660506606605a97ae04bd7025eb80dd59819800981998199819981998179baa019132533302e301e01713232323232323253330353025303637540022646464646464a66607c6082004264a66607860586eb4c0f80104c94ccc0f4c0b4dd6981f8018991919299982019b8f53330403371e008014200a2a66608066e3c01402840105800c4cdd79ba600f374c0022940c94ccc100cdc424080004200226660380029110454554e41003370690406457d0129991800800912991998219800a40202a666086600290000a4000266e3922108010204081020408000002153330433001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc400080119980d99980da5eb7bdb180cc054c0e8041221004800800920013370601e9050688c9980980724410016375c607a0042c6eb8c0f000c58c0fc004c0fc008c0f4004cc068010084c0b4004dd7181d181b9baa00116301c3036375460720046eacc0e0c0e4004c0d0dd5198029bac303700230370043301430163756606c606e606e606e606e00203660646ea8070dd6981a181a80098181baa02b1533302e302001713232323232323232323253330383029303937546602e6eb0c0f401c8cdd79810981d9baa3021303b3754604060766ea80040084c8c94ccc0f4c1000084c94ccc0ecc0acdd6981e8010991919191919192999821181918219baa0021323232325333046303630473754004264646464646464a66609a66e3c04cc11407854ccc134cdd7981a98279baa004304633051375206e97ae01533304d3375e6e98048dd318110010a99982699baf0060011533304d33304d0084a094454ccc1340304cdc499b8100700b48303f0545280a5014a029405280a5030513052002375660a000260a0004609c00260946ea8cc0a0054060c104cc12cc0eccc12cdd480c19825a6010100003304b3752016660969810100003304b375066e000152080a0c881094bd7025eb80dd6982598241baa00216301930463754609460960046092002608a6ea8014dd6982398221baa00216301530423754608c608e004608a00260826ea8c110008c10cc110004c0fcdd500399199800800a44100371a01c444a66607e60600022004266600600666e2ccdc0a41fc0666e38040c0d0004008c0d0004ccc058094005200216375c60760022c607c00266036603a0060442c6060660766ea40212f5c060766078607860780046eacc0e8004c0e8c0e8008dd6181c000981c181c00098199baa01d375a606a606c0046eb8c0d0004c0c0dd50158a99981719b874802005c4c8c8c8c8c8c8c94ccc0d4c098c0d8dd5000899191919191919191919299982118228010991929998221823801099299982118191bad3044002153330423375e605460886ea8044c0eccc118dd481625eb8054ccc108c0c8ccc08003c0b0c0e803054ccc108cdc78008060a5113371e00201029405280b1bae304200116304500133022302401002916375a608600260860046eb4c104004c104008dd7181f800981f8011bad303d001303d002375c6076002606e6ea800458c044c0e4c0e8008dd5981c000981c001181b00098191baa330033758606a004606a60646ea80b4dd5981a181a981a981a800981a18181baa01a1533302e3370e900500b8991980080099809180a1bab303430353035303530353031375403603244a66606600229444c94ccc0c4cdc41bad30333036002480004cc00c00c004528181b000899191919191919191919191919191919191919192999821181918219baa0011323253330443034304537540022646464646464a66609a60a000426464646464646464646464a6660aa66ebcc0f4c15cdd500e18271982c9ba903f4bd700a99982a99baf303d30573754014609c660b26ea40412f5c02a6660aa66ebcc0f0c15cdd500526103d87a8000153330553375e6e98c0a8058dd30018a99982a99baf374c60540346e9801054ccc154cdd79ba6302a008374c0042a6660aa66e2403008c54ccc154cdc48028070a99982a99baf374c66070607403c07e6e980044cdd780380a8a5014a029405280a5014a029405280a503330303330303330304bd6f7b6301826007a4002609602490009825807a4004666605666605c07a609401c900101e982480224004666605466605a0786092020900101e1824001a400466605807660920189001181fa41a01e6604a03a91010030533054002375660a400260a400460a000260986ea8cc0a805006458dd6982700098270011bad304c001304c002375c6094002608c6ea800458c08001cdd7182398221baa00116302930433754608c008608a608c0046eacc110004c110004c0fcdd5198080049821007182098210011bab30400013040002303e001303a375466016008607a0146eacc0f0c0f4c0f4008dd6181d800981d981d8011bac30390013035375403e6eb4c0dcc0e0008dd6981b000981b000981a80098181baa02b223233001001003223253330323375e603460686ea80040104c064c0d0dd5000899801801981c001181b0009b88480008cc048005221003001001222533302c301d002100113330030033370800490400219b8b0020012222533302c301d00110041323233001001006225333032001133033337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc0cccdc800500109981b99bb037520146e9801c01454ccc0cccdc7805001099299981a1812981a9baa001133038337606ea402cc0e4c0d8dd5000802080219299981a299981b8008a5114a02980103d87a80001302833038374c00297ae03233001001002225333038001133039337606ea402cdd400525eb7bdb1804c8c8c8c94ccc0e4cdc800780109981e99bb0375201e6ea003801454ccc0e4cdc7807801099299981d1815981d9baa00113303e337606ea4040c0fcc0f0dd5000802080219299981d18158008a6103d87a80001302e3303e375000297ae03370000201c26607a66ec0dd48011ba800133006006003375a60740066eb8c0e0008c0f0008c0e80044cc0dccdd81ba9002374c0026600c00c0066eacc0d000cdd71819001181b001181a000991900118030009981819bb037520046ea00052f5bded8c0600200244a66605600229309929998160008a4c26464a66605666e40dd7181618180021bae302c0021330050053302f002001163030002302e001302e0012225333028301900114bd6f7b6300991919800800a5eb7bdb180894ccc0b80044cc0bccdd81ba9006374c00697adef6c60132323232533302f3372001400426606666ec0dd48051ba60070051533302f3371e01400426606666ec0dd48051ba6007003133033337606ea4008dd3000998030030019bab3030003375c605c0046064004606000266600897adef6c60002001222323300100100422533302c00113302d337606ea4010dd4001a5eb7bdb1804c8c8c8c94ccc0b4cdc800400109981899bb037520106ea001c01454ccc0b4cdc780400109981899bb037520106ea001c00c4cc0c4cdd81ba900237500026600c00c0066eb4c0b800cdd718160011818001181700092999812180b98129baa00113029302637540022c44464a66604c602c604e6ea8004520001375a605660506ea8004c94ccc098c058c09cdd50008a6103d87a8000132330010013756605860526ea8008894ccc0ac004530103d87a8000132323232533302c337220100042a66605866e3c0200084c080cc0c0dd4000a5eb80530103d87a8000133006006003375a605a0066eb8c0ac008c0bc008c0b4004cc02400c00888c8cc00400400c894ccc0a0004530103d87a800013232533302730050021301b3302b0024bd70099802002000981600118150009800800911299981118098008981380109998018019814001180b8009119198008008019129998128008a6103d87a8000132323253330253375e00c604c006260326605200297ae013300500500230260023029002302700122325333020301030213754002297adef6c6013756604a60446ea8004cc00c00800488c8cc00400400c894ccc08c0045300103d87a800013232323253330243372200e0042a66604866e3c01c0084c060cc0a0dd3000a5eb80530103d87a80001330060060033756604a0066eb8c08c008c09c008c0940048cc0080052210022323300100100322533302100114bd6f7b630099191919299981119b91007002153330223371e00e0042006200a26604c66ec0dd48011ba600133006006003375660460066eb8c084008c094008c08c0048c07cc0800048c078004c060dd500a1bae301b301837540022c603460360046032002602a6ea803c5261365632325333014300500115333017301637540222930b0a99980a1802000899191919299980d980f00109924c600c0062c6eb4c070004c070008c068004c058dd50088a99980a18038008a99980b980b1baa01114985854ccc050c0180044c8c8c8c94ccc06cc07800852616375a603800260380046eb8c068004c058dd50088a99980a19b87480200044c8c94ccc064c0700084c926300400116301a001301637540222a66602866e1d200a00115333017301637540222930b0a99980a19b87480300044c8c8c8c8c8c8c8c94ccc07cc0880084c8c926300b006300a00716375a604000260400046eb4c078004c078008c070004c070008c068004c058dd50088b180a1baa01025333013300430143754002264646464a666034603a00426493299980b9804180c1baa00313232533301c301f002149858dd7180e800980c9baa0031616375a603600260360046032002602a6ea8004584cc88c894ccc058c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc090c0540384c8c8c94ccc09cc05cc0a0dd5000899191919191919192999817981018181baa02c132323232323232323232323232533303c302c303d375400226464a66607c605c607e6ea80044c8c8c8c8c8c8c8c94ccc118c0d8ccc0ac030028c0f805854ccc118cdd78068030a99982319b8900800f153330463375e6e98c0b8030dd318170020a99982319b8801400213375e00200629405280a5014a02940c0fccc124c0e4cc124dd480a998249ba8001330493752022660926ea003ccc124dd400725eb812f5c0666604a032010028607066090607066090607a660906ea40512f5c097ae04bd70182418248011bab304700130470023045001304137546603c02490001bad3043304037540022c6084607e6ea8c108c10cc0fcdd50079bae3041303e37540022c6032607a6ea8008dd5981f9820001181f000981d1baa3301500f011375a6078607a0046eb4c0ec004c0ec008dd7181c800981c8011bad30370013037002375c606a00260626ea80b058c0ccc0d0c0d0c0d0c0d0c0d0008dd6181900098190011bac303000130300023758605c00260546ea800cc0b0c0a4dd50008b18159816001181500098131baa00f15333024301400e1323232533302730173028375400226464646464646464a66605e604060606ea80b04c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f0c0b0c0f4dd500089919299981f1817181f9baa001132323232323232325333046303633302b00c00a303e016153330463375e01a00c2a66608c66e2402003c54ccc118cdd79ba6302e00c374c605c0082a66608c66e200400084cdd78008018a5014a029405280a50303f33049303933049375202a660926ea004ccc124dd4808998249ba800133049375001c97ae04bd70199981280c804008181c19824181c19824181e998241ba90104bd7025eb812f5c0609060920046eacc11c004c11c008c114004c104dd51980f009240006eb4c10cc100dd50008b1821181f9baa30423043303f375401e6eb8c104c0f8dd50008b180c981e9baa0023756607e6080004607c00260746ea8cc05403c044dd6981e181e8011bad303b001303b002375c607200260720046eb4c0dc004c0dc008dd7181a80098189baa02c163033303430343034303430340023758606400260640046eb0c0c0004c0c0008dd6181700098151baa003302c302937540022c605660580046054002604c6ea803c4c8c8c94ccc09cc0680444c8c8c8c8c8c94ccc0b4c074c0b8dd5000899191919191929998199811981a1baa030132323232323232323232533303d302d303e37540022646464646464a66608666ebc024c12001454ccc10ccdc400600d0a9998219819999812980f808803181c8058a99982199baf00100213375e6e98c0ac020dd318158018a5014a02940528181e19823181d998231ba900e330463750607a0186608c6ea002d2f5c097ae0304630470023756608a002608a00260806ea8cc074034058dd71821181f9baa00116301a303e37540046eacc100c104008c0fc004c0ecdd51980b00500619809007a44100375a6078607a0046eb4c0ec004c0ec008dd7181c800981a9baa030163756606e607060700046eb0c0d8004c0d8c0d8008dd6181a00098181baa0033032302f37540022c60626064004606000260586ea8054dd6981718178011bad302d00130293754028264646464a666056603660586ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0e4c0a4c0e8dd500089919299981d9815981e1baa00113232533303d302e303e3754074264646464646464646464646464a666094a64666096a66609666ebc054c14001c54ccc12ccdd79ba63033014374c606600a2a66609666ebc01000c54ccc12ccdc499b83337046002012905a05241a01e016266e24cdc199b82002483d00d20d00f300100914a029405280a5014a22a66609666e1cccc0c0c09c068048c10c03520011533304b3371001666e0ccdc11800804a4168149068078a51133710600201266e0ccdc1001241e8069068078a5037000142a66609466e2401c03c4c0380305280a5032323232533304d3371004c9050688c899b820264820322be80944cdc019b824828344652080c8afa025330013370004c904fe88ca40046002002444a66609c66e2000920a0d11913370666e080092080c8afa025300400113370066e0ccdc124141a23290406457d012980200099980180199b800024827f4464c124004c004004894c8ccc130c00520101533304c3001480005200013371c911080102040810204080000021533304c3001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc40009821198261820998261ba900a3304c4c10100003304c375066e0008520c01f4bd7025eb80c130c134008dd59825800982580098231baa3302301548000dd6982418248011bad304700130473047002375a608a002608a0046eb8c10c004c0fcdd501d0991919191929998212999821299982119b893031483403c0084c94ccc10cc0d0c110dd5000899299982219b8748030c114dd500089919191919191919299982798290010991919251300200730010082533304d303e304e3754002264646464a6660a860ae004264932999828982118291baa0031323253330563059002149858dd7182b80098299baa0031616375a60aa00260aa00460a6002609e6ea80045858dd6982800098280011bad304e001304e002304c001304c002304a001304637540022c6090608a6ea800458c8c8cc004004040894ccc120004530103d87a8000132323253330483375e00c6092006260786609800297ae01330050050023049002304c002304a001303633046375201297ae014a0294454ccc108cdc40011818a41a01e266e1cccc09cc078044024c0e8011200114a02a66608466e2400406c4c0180105280a50375a608c608e0046eb4c114004c114008dd71821800981f9baa03a2533303d302d33301f00600430350011323300100101122533304200114a0264a6660806464646464a66608a606a608c6ea80044c8c8c8c8c94ccc134c1400084c94ccc12cc0ecdd698268020992999826181e1bad304e0031533304c3371e004608600e266e3c0040245280b1bae304c00216375c60960062c609c002609c00460980026605400a01a6eb8c128c11cdd50008a503022304637546092008607200266038036911003756608c608e00260846ea8c08cc108dd518228010a51133003003001304500114a06eb4c100c0f4dd50008b181f981e1baa3018303c375400e6eb8c0f8c0ecdd50008b180b181d1baa00237566078607a0046076002606e6ea8cc048dd6181d005181d181b9baa00b375660726074607400460700026070607060700046eacc0d8004c0d8c0d8008dd6181a000981a0011bac30320013032001302d37540042c605e6060004605c00260546ea804cdd6981618149baa014300100122253330283019002100113330030033370800490400219b8b00200123300e001488100223233001001003223253330283375e600c60546ea80040104c02cc0a8dd5000899801801981700118160009181400098008009112999811980a0008981400109998018019814801180c000911119198008008029129998140008a40002646464a66605066ebc018c02cc0a8dd51816801099b8033300a00100848810454554e410033005005003132533302c001133006006004132533302d001133007007005132533302e30310021323232323253330303020375a60640082a666060a66606066e3c00d22010454554e410013371e00201e29404cdc0001198068068058998068068058031bae3030003375a60600066eb8c0b8008c0c400cc0c000c0044cc01c01c014c0bc004cc030004020dd59816181680098141baa3009302837546056004605600244464a666044602460466ea8004520001375a604e60486ea8004c94ccc088c048c08cdd50008a60103d87a80001330083756604e60486ea8004008cc02000c0088c08cc09000488c94ccc07cc03cc080dd50008a5eb7bdb1804dd5981218109baa0013300500200122232533301f301030203754002264a666040602260426ea80044dd6981298111baa001148000cc014dd5981218109baa001002148000cc01400c00888c8cc00400400c894ccc0840045300103d87a800013232323253330223372200e0042a66604466e3c01c0084c058cc098dd4000a5eb80530103d87a8000133006006003375a60460066eb8c084008c094008c08c00488c8cc00400400c894ccc0800045300103d87a800013232323253330213372200e0042a66604266e3c01c0084c054cc094dd3000a5eb80530103d87a8000133006006003375660440066eb8c080008c090008c0880048cc0080052210022323300100100322533301e00114bd6f7b630099191919299980f99b910070021533301f3371e00e0042006200a26604666ec0dd48011ba600133006006003375660400066eb8c078008c088008c080004c05cdd50018a4c26cac64a66602a600c0022a666030602e6ea80085261615333015300500115333018301737540042930b0a99980a9804000899191919299980e180f8010a4c2c6eb4c074004c074008dd6980d800980b9baa00215333015300700113232533301a301d002149858dd6980d800980b9baa002163015375400264a6660266008002264646464646464646464a66604060460042930b1bad30210013021002375a603e002603e0046eb8c074004c074008dd6980d800980d8011bae3019001301537540202a66602660060022646464646464a666038603e0042930b1bad301d001301d002375a603600260360046eb8c064004c054dd50080b18099baa00f30173014375401c6e0ccdc1241803e9052069b8748008dc3a40006e1d2006370e90021ba548000dc0240026e29220107434f554e54455200371491010454554e410037149101044e4f4d4100374a90011ba548010dc024004ae6955ceaab9e5573eae815d0aba201", + "hash": "94a4a33e4e7039854fda0ec9297e338e31bf86919dd19520ff09e5b3" + }, + { + "title": "unused_fork.nft_fork", + "redeemer": { + "title": "redeemer", + "schema": { + "$ref": "#/definitions/Data" + } + }, + "parameters": [ + { + "title": "init_utxo_ref", + "schema": { + "$ref": "#/definitions/aiken~1transaction~1OutputReference" + } + }, + { + "title": "fortuna_v1_hash", + "schema": { + "$ref": "#/definitions/ByteArray" + } + } + ], + "compiledCode": "5918410100003232323232323222322253232332330093001300a37540082a66601264646464a6466601c600c00426644646600200200644a66602a00229404c94ccc04ccdd7802180a180c0010a5113300300300130180013756602660286028602860286028602860206ea8010c01ccc048c004cc048c04cc040dd5001a5eb812f5c02a6646601e60020062646464a666024601460266ea800c4c94ccc04cc034c050dd50008991919191919191919191919192999810180c006099191919191919191919191919192999818981a0010a99981718141bad30300051533302e3028375a60600062a66605c60506eb4c0c00044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f8c0d8c0fcdd500089919191919191919299982498260010a999823181f18239baa007153330493048375400e264a66608e608260906ea80044c8c8c8c94ccc138c14400854ccc12cc10c00c54ccc12cc10c0044c94ccc130c0f8c134dd5000899192999828982a0010a99982718230008a99919827980080f8a999827980080d8a999827980080b0a999827982499981980e81e244103686673001533304f304933303301d00a4881096c6f72642074756e61001533304f304933303301903c4881106d696e65725f6c6f636b5f7374617465001533304f304933303301403c48810a6c6f636b5f7374617465001533304f3375e042042266e1c03920c80114a029405280a5014a029405281baf02a14a02c2c6eb4c148004c138dd50008b18170078b0b0b1bad304f001304f002375a609a00260926ea800458c0a403c585858dd7182500098250011bae30480013048002375a608c002608c004608800260806ea800458c080c108c10c030c104c108008dd598200009820001181f000981d1baa011303c303d0023756607600260760046072002606a6ea8034dd5981b800981b801181a80098189baa00a3301500d02d161616163032001303200230300013030002302e0013300d30123756605a605c605c00c02a66010008900219803801a40046600c0049000180e99814180b998141ba90114bd701981426103d87a80004bd701bac3028001302830280023758604c00260446ea80584c8c8c8c94ccc090c0780404c8c8c8c8c8c8c8c8c94ccc0b4c094c0b8dd500089919192991998189814801099191919191919191919191919299981f1817181f9baa0011323253330433046002135333040303a3041375402c2646464a66608c6092004264a666088607c6eb4c1180084c94ccc120c12c0384c8c94ccc11ccdc7802003891998008040018010b199815005821a450454554e4100304a304b304737540022c609201a2c6eb8c11000458c11c004cc098c0ac0300b8dca1bb3302930423754608a01c264a6660886604c605601805c2646464a66608e609400426464646464a666092607260946ea80044c8c94ccc138c1440084c94ccc130c118ccc0c0dd59828982918271baa3302d01800c03900212333001003008002163370266605e0200909110454554e410033302f00404848810454554e410016375c609e00260966ea800458c0acc134c138008dd59826000982618241baa304b304c002304a00153330443375e6044608c6ea8c0b0c118dd5001804099824181618231baa00133048302c3046375400697ae0133048302c30463754006660906058608c6ea80052f5c02c60900026090016608c0142c6eb4c114c108dd500b1112999821981d98221baa01813253330443371e00a0082a66608866ebc02c0384c8c8c94ccc11cc104c120dd50008991919192999827182880109919192999827182318279baa00113232323232323232323232323232323253330613064002132323232325333063305d30643754002264646464a6660d460da0042a6660ce60c26660960360c8911096c6f72642074756e6100153330673037025153330673370e00666e0009407c54ccc19d4ccc19ccdc499b800394833c3c0604cdc380099b8001d480084cdc380080e8a99983399baf008031153330673375e6e98c110018dd318220110983099982580302a245106d696e65725f6c6f636b5f73746174650014a029405280a5014a0294058dd6983580098358011bad3069001306537540022c608a60ce60d00046eacc198004c198008c190004c180dd51981f81501c0b1bac3062001306200230600013060002375a60bc00260bc0046eb4c170004c170008dd6982d000982d0011bad30580013058002375c60ac00260ac0046eb4c150004c140dd50008b1818182918298011bab30510013051304d37546605802e0102c6eb4c13c004c13c008dd6982680098249baa001163029304b304c002375660940026094608c6ea800c5280a50375a6090608a6ea806054ccc10ccdc78020018a99982199baf00a00d1323232533304630383047375400226464a666096609c00426464646464a66609a607e609c6ea80044c8c94ccc148c15400854ccc13cc07c03454ccc13ccdc380099b8000d0081533304f3375e00c0322a66609e66ebcdd318160021ba6302c00b1304933303300403c4890a6c6f636b5f73746174650014a029405280a5016375a60a6002609e6ea800458c0bcc144c148008dd598280009828001182700098251baa3302901402216375a609800260906ea800458c0a0c128c12c008dd59824800982498229baa00214a0294058dd7182200098201baa00116302000130413042002375660800026080004607c00260746ea8cc064010040cc0580148cdd79810981d1baa3020303a3754002004605e660746052660746ea408d2f5c066074980103d87a80004bd701bab303a303b303b00237586072002607260720046eb0c0dc004c0ccdd50138a99981898158010991929998199815981a1baa0011325333034302630353754002264a66606a605e606c6ea80044c8c8c8c94ccc0f0c0fc0084c8c8c8c8c8c8c8c8c8c8c8c8c94ccc118c0d8c11cdd5000899192999825982700109a999824182118249baa01e1323232533304e3051002132533304c3046375a609c004264a6660a060a601c26464a66609e66e3c01001c48ccc00402000c00858ccc0c802c12d22010454554e410030523053304f37540022c60a201a2c6eb8c13000458c13c004cc0b8c0cc0300d8dca1bb33031304a3754609a01c264a6660986605c606601806c2646464a66609e60a400426464646464a6660a2608260a46ea80044c8c94ccc158c1640084c94ccc150c138ccc0e0dd5982c982d182b1baa3303501800c04100212333001003008002163370266606e0200a09110454554e410033303700405048810454554e410016375c60ae00260a66ea800458c0ccc154c158008dd5982a000982a18281baa305330540023052001533304c3375e6054609c6ea8c0d0c138dd5001804099828181a18271baa001330503034304e375400697ae01330503034304e3754006660a06068609c6ea80052f5c02c60a000260a0016609c0142c6eb4c134c128dd500f111299982599baf0204c103d87a80001533304b3371e0080062a66609666ebc0280344c8c8c94ccc138c100c13cdd5000899192999829982b00109919191919299982a9823982b1baa00113232533305a305d00215333057302700d153330573370e00266e0003402054ccc15ccdc499b80001021026153330573375e00c0322a6660ae66ebcdd3181a0021ba6303400b1305133303b0040444890a6c6f636b5f73746174650014a029405280a5014a02c6eb4c16c004c15cdd50008b181b982c982d0011bab30580013058002305600130523754660620280542c6eb4c150004c140dd50008b1818182918298011bab30510013051304d375400429405280a5016375c609800260906ea800458c0a0004c124c128008dd598240009824001182300098211baa330210040183301e00523375e605260846ea8c0a0c108dd5000801181b998211818998211ba902b4bd701982126103d87a80004bd701bab30423043304300237586082002608260820046eb0c0fc004c0ecdd50178b1bad303d001303d002375a6076002606e6ea800458c0e4c0d8dd50008b1808981a9baa301b303537546070606a6ea800458cc048dd6180d181a1baa0282302d33301737566036606a6ea8c06cc0d4dd5000810245106d696e65725f6c6f636b5f7374617465003232323253330353371000e9050688c899b820074820322be80944cdc019b824828344652080c8afa025330013370000e904fe88ca40046002002444a66606c66e2000920a0d11913370666e080092080c8afa025300400113370066e0ccdc124141a23290406457d012980200099980180199b800024827f4464cdc0000a4004600200244a64666068600290080a99981a1800a400029000099b8e48908010204081020408000002153330343001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc40008a503710900018181baa3034002375a60666068002605e6ea800458c94ccc0b4c09cccc044dd5980a98179baa00101a48810368667300132533302e3026302f375400226464646464646464a666072607800426401464a66606e605e0022a66607460726ea8020526161533303730310011533303a303937540102930b0a99981b98148008a99981d181c9baa00814985858c0dcdd50038b1bae303a001303a002375c607000260700046eb4c0d8004c0d8008c0d0004c0c0dd50008b1808180598179baa001163301337586028605c6ea8088c0c4020c0c0c0c4008c0bc004c0bc008dd6981680098168011bad302b001302b001302637540402a6660486028020264646464646464a66605c6062008264646464a66605e604e60606ea80044c8c8c8c8c8c8c8c94ccc0e8c0f400854ccc0dcc0a4c0e0dd50038a99981d181c9baa007132533303830283039375400226464a66607a608000426464a66607e6084004264a66607a66e1d2001375a607e0042a66607a606e666042020054911036866730013371e002008294058dd7181e8008b18200009980f8090138b1bae303e001303a37540022c60346078607a607a60726ea8030585858dd7181d800981d8011bae30390013039002375a606e002606e004606a00260626ea800458c044c0ccc0d0008dd59819000981918171baa00330303031302d37540022c605e006660206eb0c0b8010c0b8c0acdd501298091bab302d302e302e302e0033300637586058006466ebcc044c0a8dd5180818151baa001002301f3302a30193302a375202697ae03302a4c103d87a80004bd70181580098131baa01a153330243370e900400809919911919191919192999818198061bac303200623375e602e60606ea8c058c0c0dd50008020991919192999818981498191baa00113232323232323232533303c303f002153330393033303a375400e2a66607860766ea801c4c94ccc0e8c0a8c0ecdd500089919299981f98210010991929998209822001099299981f99b8748004dd698208010a99981f981c9998118080162441036866730013371e002008294058dd7181f8008b1821000998108088148b1bae3040001303c37540022c6038607c607e607e60766ea8030585858dd7181e800981e8011bae303b001303b002375a60720026072004606e00260666ea800458c04cc0d4c0d8008dd5981a000981a18181baa00233014004007163301300300730153756606060626062606200660466605c603a6605c6ea405d2f5c06605c980103d87a80004bd701bac302e001302e0013029375403a605400260546056002604c6ea808054ccc090c0580404c94ccc094c074c098dd50008992999813180c18139baa00113232533302b302e0021616375a605800260506ea800458c020c00cc09cdd5180698139baa302a302737540022c660086eb0c030c098dd500d1180f9998049bab300d30273754601a604e6ea800404922010a6c6f636b5f73746174650013232323232323232533302f3032002132533303030170051533302d30273330113756602a605e6ea800406922010368667300132533302e3026302f375400226464646464646464a66607260780042a66606c605c606e6ea801c54ccc0e4c0e0dd5003899299981b99baf374c60286eacc07cc0e4dd50059ba630143756603e60726ea800454ccc0dccdd7980a981c9baa0013374a90021981d98181981da6103d87b80003303b375000c660766ea4010cc0ecdd480125eb812f5c02646464a666074606460766ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc134c14000854ccc128cdc400c80789822199817009023a45096c6f72642074756e610014a02c6eb0c138004c138008c130004c130008dd6982500098250011bad30480013048002375a608c002608c0046eb4c110004c110008dd7182100098210011bad3040001303c37540022c6038607c607e0046eacc0f4004c0f4c0e4dd51980c0080098b0b181d8078b0b0b1bae303a001303a002375c607000260700046eb4c0d8004c0d8008c0d0004c0c0dd50008b1808180598179baa001161630313032302e37540022c6060002660126eb0c0bc0148cdd7980a18169baa3013302d375400200460446605a60386605a6ea40592f5c06605a98103d87a80004bd701bab302d302e302e0023758605800260586058002604e6ea806cdd6981498131baa02023300f001488100230283029302900122323300100100322533302800114bd70099192999813980280109981580119802002000899802002000981600118150009119198008008019129998138008a60103d87a800013232533302630050021301f3302a0024bd700998020020009815801181480098008009112999810980c800898130010999801801981380119b800014800494ccc078c040c07cdd50008981198101baa00116222325333020301830213754002264a666042603260446ea80044dd6981318119baa001148000c8cc004004dd5981318119baa00222533302500114c103d87a80001323232325333026337220100042a66604c66e3c0200084c07ccc0a8dd4000a5eb80530103d87a8000133006006003375a604e0066eb8c094008c0a4008c09c00452000330050030022232533301e3018301f3754002297adef6c6013756604660406ea8004cc00c00800488c8cc00400400c894ccc0840045300103d87a800013232323253330223372200e0042a66604466e3c01c0084c06ccc098dd3000a5eb80530103d87a8000133006006003375660460066eb8c084008c094008c08c00488c8cc00400400c88c94ccc078cdd7980398101baa0010041300630203754002266006006604800460440024603c603e0024603a00246600400291010022323300100100322533301c00114bd6f7b630099191919299980e99b910070021533301d3371e00e0042006200a26604266ec0dd48011ba6001330060060033756603c0066eb8c070008c080008c078004c054dd50081bae3018301537540022c602e60286ea800c58c8c8c8c94ccc054c03400454ccc060c05cdd50088a4c2c2a66602a601e002264646464646464646464a666044604a0042646464931807001980700218070048b18118009811801181080098108011bad301f001301f002375a603a002603a0046036002602e6ea804454ccc054c01c0044c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc098c0a40084c8c8c92630120033012006301200d1630270013027002375a604a002604a004604600260460046eb4c084004c084008dd6980f800980f8011bad301d001301d002301b001301737540222a66602a600a00226464a666034603a0042649318030008b180d800980b9baa011153330153370e9004000899191919299980e180f8010991924c601200460100062c603a002603a0046036002602e6ea804454ccc054cdc3a401400226464a666034603a0042930b1bad301b001301737540222c602a6ea80408c94ccc054c0340044c8c94ccc068c07400852616375a6036002602e6ea800854ccc054c03c00454ccc060c05cdd50010a4c2c2c602a6ea80048c94ccc050c0300044c8c94ccc064c07000852616375a6034002602c6ea800854ccc050c03800454ccc05cc058dd50010a4c2c2c60286ea800494ccc048c028c04cdd5000899191919299980c980e00109924ca66602c601c602e6ea800c4c8c94ccc06cc07800852616375c603800260306ea800c5858dd6980d000980d001180c000980a1baa00116370e9003180a18089baa004370e90020a50374a900118069baa00130103011002300f001300b375400829309b2b1b87480004c894ccc028c8c8c94ccc034c01cc038dd5000899191991191980080080191299980b0008a5013253330143375e008602a603200429444cc00c00c004c064004dd5980a180a980a980a980a980a980a801180419809980098089baa300130113754664464660020020064464a66602866ebcc018c058dd50008020980c980d180b1baa001133003003301a002301800137586028004602860226ea800d2f5c046028002601e6ea800858c044c048008c040004c030dd50008a4c26cac601a60146ea800cdd2a40006e1d2002375c002ae6955ceaab9e5573eae815d0aba201", + "hash": "198f98d3ff51c99816505fbc75bf64a290c0485f2632b5dc5f789030" + }, + { + "title": "unused_fork.fork", + "datum": { + "title": "_datum", + "schema": { + "$ref": "#/definitions/Data" + } + }, + "redeemer": { + "title": "_redeemer", + "schema": { + "$ref": "#/definitions/RedeemerWrapper$Data" + } + }, + "parameters": [ + { + "title": "init_utxo_ref", + "schema": { + "$ref": "#/definitions/aiken~1transaction~1OutputReference" + } + }, + { + "title": "fortuna_v1_hash", + "schema": { + "$ref": "#/definitions/ByteArray" + } + } + ], + "compiledCode": "5918410100003232323232323222322253232332330093001300a37540082a66601264646464a6466601c600c00426644646600200200644a66602a00229404c94ccc04ccdd7802180a180c0010a5113300300300130180013756602660286028602860286028602860206ea8010c01ccc048c004cc048c04cc040dd5001a5eb812f5c02a6646601e60020062646464a666024601460266ea800c4c94ccc04cc034c050dd50008991919191919191919191919192999810180c006099191919191919191919191919192999818981a0010a99981718141bad30300051533302e3028375a60600062a66605c60506eb4c0c00044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc0f8c0d8c0fcdd500089919191919191919299982498260010a999823181f18239baa007153330493048375400e264a66608e608260906ea80044c8c8c8c94ccc138c14400854ccc12cc10c00c54ccc12cc10c0044c94ccc130c0f8c134dd5000899192999828982a0010a99982718230008a99919827980080f8a999827980080d8a999827980080b0a999827982499981980e81e244103686673001533304f304933303301d00a4881096c6f72642074756e61001533304f304933303301903c4881106d696e65725f6c6f636b5f7374617465001533304f304933303301403c48810a6c6f636b5f7374617465001533304f3375e042042266e1c03920c80114a029405280a5014a029405281baf02a14a02c2c6eb4c148004c138dd50008b18170078b0b0b1bad304f001304f002375a609a00260926ea800458c0a403c585858dd7182500098250011bae30480013048002375a608c002608c004608800260806ea800458c080c108c10c030c104c108008dd598200009820001181f000981d1baa011303c303d0023756607600260760046072002606a6ea8034dd5981b800981b801181a80098189baa00a3301500d02d161616163032001303200230300013030002302e0013300d30123756605a605c605c00c02a66010008900219803801a40046600c0049000180e99814180b998141ba90114bd701981426103d87a80004bd701bac3028001302830280023758604c00260446ea80584c8c8c8c94ccc090c0780404c8c8c8c8c8c8c8c8c94ccc0b4c094c0b8dd500089919192991998189814801099191919191919191919191919299981f1817181f9baa0011323253330433046002135333040303a3041375402c2646464a66608c6092004264a666088607c6eb4c1180084c94ccc120c12c0384c8c94ccc11ccdc7802003891998008040018010b199815005821a450454554e4100304a304b304737540022c609201a2c6eb8c11000458c11c004cc098c0ac0300b8dca1bb3302930423754608a01c264a6660886604c605601805c2646464a66608e609400426464646464a666092607260946ea80044c8c94ccc138c1440084c94ccc130c118ccc0c0dd59828982918271baa3302d01800c03900212333001003008002163370266605e0200909110454554e410033302f00404848810454554e410016375c609e00260966ea800458c0acc134c138008dd59826000982618241baa304b304c002304a00153330443375e6044608c6ea8c0b0c118dd5001804099824181618231baa00133048302c3046375400697ae0133048302c30463754006660906058608c6ea80052f5c02c60900026090016608c0142c6eb4c114c108dd500b1112999821981d98221baa01813253330443371e00a0082a66608866ebc02c0384c8c8c94ccc11cc104c120dd50008991919192999827182880109919192999827182318279baa00113232323232323232323232323232323253330613064002132323232325333063305d30643754002264646464a6660d460da0042a6660ce60c26660960360c8911096c6f72642074756e6100153330673037025153330673370e00666e0009407c54ccc19d4ccc19ccdc499b800394833c3c0604cdc380099b8001d480084cdc380080e8a99983399baf008031153330673375e6e98c110018dd318220110983099982580302a245106d696e65725f6c6f636b5f73746174650014a029405280a5014a0294058dd6983580098358011bad3069001306537540022c608a60ce60d00046eacc198004c198008c190004c180dd51981f81501c0b1bac3062001306200230600013060002375a60bc00260bc0046eb4c170004c170008dd6982d000982d0011bad30580013058002375c60ac00260ac0046eb4c150004c140dd50008b1818182918298011bab30510013051304d37546605802e0102c6eb4c13c004c13c008dd6982680098249baa001163029304b304c002375660940026094608c6ea800c5280a50375a6090608a6ea806054ccc10ccdc78020018a99982199baf00a00d1323232533304630383047375400226464a666096609c00426464646464a66609a607e609c6ea80044c8c94ccc148c15400854ccc13cc07c03454ccc13ccdc380099b8000d0081533304f3375e00c0322a66609e66ebcdd318160021ba6302c00b1304933303300403c4890a6c6f636b5f73746174650014a029405280a5016375a60a6002609e6ea800458c0bcc144c148008dd598280009828001182700098251baa3302901402216375a609800260906ea800458c0a0c128c12c008dd59824800982498229baa00214a0294058dd7182200098201baa00116302000130413042002375660800026080004607c00260746ea8cc064010040cc0580148cdd79810981d1baa3020303a3754002004605e660746052660746ea408d2f5c066074980103d87a80004bd701bab303a303b303b00237586072002607260720046eb0c0dc004c0ccdd50138a99981898158010991929998199815981a1baa0011325333034302630353754002264a66606a605e606c6ea80044c8c8c8c94ccc0f0c0fc0084c8c8c8c8c8c8c8c8c8c8c8c8c94ccc118c0d8c11cdd5000899192999825982700109a999824182118249baa01e1323232533304e3051002132533304c3046375a609c004264a6660a060a601c26464a66609e66e3c01001c48ccc00402000c00858ccc0c802c12d22010454554e410030523053304f37540022c60a201a2c6eb8c13000458c13c004cc0b8c0cc0300d8dca1bb33031304a3754609a01c264a6660986605c606601806c2646464a66609e60a400426464646464a6660a2608260a46ea80044c8c94ccc158c1640084c94ccc150c138ccc0e0dd5982c982d182b1baa3303501800c04100212333001003008002163370266606e0200a09110454554e410033303700405048810454554e410016375c60ae00260a66ea800458c0ccc154c158008dd5982a000982a18281baa305330540023052001533304c3375e6054609c6ea8c0d0c138dd5001804099828181a18271baa001330503034304e375400697ae01330503034304e3754006660a06068609c6ea80052f5c02c60a000260a0016609c0142c6eb4c134c128dd500f111299982599baf0204c103d87a80001533304b3371e0080062a66609666ebc0280344c8c8c94ccc138c100c13cdd5000899192999829982b00109919191919299982a9823982b1baa00113232533305a305d00215333057302700d153330573370e00266e0003402054ccc15ccdc499b80001021026153330573375e00c0322a6660ae66ebcdd3181a0021ba6303400b1305133303b0040444890a6c6f636b5f73746174650014a029405280a5014a02c6eb4c16c004c15cdd50008b181b982c982d0011bab30580013058002305600130523754660620280542c6eb4c150004c140dd50008b1818182918298011bab30510013051304d375400429405280a5016375c609800260906ea800458c0a0004c124c128008dd598240009824001182300098211baa330210040183301e00523375e605260846ea8c0a0c108dd5000801181b998211818998211ba902b4bd701982126103d87a80004bd701bab30423043304300237586082002608260820046eb0c0fc004c0ecdd50178b1bad303d001303d002375a6076002606e6ea800458c0e4c0d8dd50008b1808981a9baa301b303537546070606a6ea800458cc048dd6180d181a1baa0282302d33301737566036606a6ea8c06cc0d4dd5000810245106d696e65725f6c6f636b5f7374617465003232323253330353371000e9050688c899b820074820322be80944cdc019b824828344652080c8afa025330013370000e904fe88ca40046002002444a66606c66e2000920a0d11913370666e080092080c8afa025300400113370066e0ccdc124141a23290406457d012980200099980180199b800024827f4464cdc0000a4004600200244a64666068600290080a99981a1800a400029000099b8e48908010204081020408000002153330343001481004cdc124100086600600666e00009200f1337049040404040101980180199b80002480fcdc40008a503710900018181baa3034002375a60666068002605e6ea800458c94ccc0b4c09cccc044dd5980a98179baa00101a48810368667300132533302e3026302f375400226464646464646464a666072607800426401464a66606e605e0022a66607460726ea8020526161533303730310011533303a303937540102930b0a99981b98148008a99981d181c9baa00814985858c0dcdd50038b1bae303a001303a002375c607000260700046eb4c0d8004c0d8008c0d0004c0c0dd50008b1808180598179baa001163301337586028605c6ea8088c0c4020c0c0c0c4008c0bc004c0bc008dd6981680098168011bad302b001302b001302637540402a6660486028020264646464646464a66605c6062008264646464a66605e604e60606ea80044c8c8c8c8c8c8c8c94ccc0e8c0f400854ccc0dcc0a4c0e0dd50038a99981d181c9baa007132533303830283039375400226464a66607a608000426464a66607e6084004264a66607a66e1d2001375a607e0042a66607a606e666042020054911036866730013371e002008294058dd7181e8008b18200009980f8090138b1bae303e001303a37540022c60346078607a607a60726ea8030585858dd7181d800981d8011bae30390013039002375a606e002606e004606a00260626ea800458c044c0ccc0d0008dd59819000981918171baa00330303031302d37540022c605e006660206eb0c0b8010c0b8c0acdd501298091bab302d302e302e302e0033300637586058006466ebcc044c0a8dd5180818151baa001002301f3302a30193302a375202697ae03302a4c103d87a80004bd70181580098131baa01a153330243370e900400809919911919191919192999818198061bac303200623375e602e60606ea8c058c0c0dd50008020991919192999818981498191baa00113232323232323232533303c303f002153330393033303a375400e2a66607860766ea801c4c94ccc0e8c0a8c0ecdd500089919299981f98210010991929998209822001099299981f99b8748004dd698208010a99981f981c9998118080162441036866730013371e002008294058dd7181f8008b1821000998108088148b1bae3040001303c37540022c6038607c607e607e60766ea8030585858dd7181e800981e8011bae303b001303b002375a60720026072004606e00260666ea800458c04cc0d4c0d8008dd5981a000981a18181baa00233014004007163301300300730153756606060626062606200660466605c603a6605c6ea405d2f5c06605c980103d87a80004bd701bac302e001302e0013029375403a605400260546056002604c6ea808054ccc090c0580404c94ccc094c074c098dd50008992999813180c18139baa00113232533302b302e0021616375a605800260506ea800458c020c00cc09cdd5180698139baa302a302737540022c660086eb0c030c098dd500d1180f9998049bab300d30273754601a604e6ea800404922010a6c6f636b5f73746174650013232323232323232533302f3032002132533303030170051533302d30273330113756602a605e6ea800406922010368667300132533302e3026302f375400226464646464646464a66607260780042a66606c605c606e6ea801c54ccc0e4c0e0dd5003899299981b99baf374c60286eacc07cc0e4dd50059ba630143756603e60726ea800454ccc0dccdd7980a981c9baa0013374a90021981d98181981da6103d87b80003303b375000c660766ea4010cc0ecdd480125eb812f5c02646464a666074606460766ea80044c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc134c14000854ccc128cdc400c80789822199817009023a45096c6f72642074756e610014a02c6eb0c138004c138008c130004c130008dd6982500098250011bad30480013048002375a608c002608c0046eb4c110004c110008dd7182100098210011bad3040001303c37540022c6038607c607e0046eacc0f4004c0f4c0e4dd51980c0080098b0b181d8078b0b0b1bae303a001303a002375c607000260700046eb4c0d8004c0d8008c0d0004c0c0dd50008b1808180598179baa001161630313032302e37540022c6060002660126eb0c0bc0148cdd7980a18169baa3013302d375400200460446605a60386605a6ea40592f5c06605a98103d87a80004bd701bab302d302e302e0023758605800260586058002604e6ea806cdd6981498131baa02023300f001488100230283029302900122323300100100322533302800114bd70099192999813980280109981580119802002000899802002000981600118150009119198008008019129998138008a60103d87a800013232533302630050021301f3302a0024bd700998020020009815801181480098008009112999810980c800898130010999801801981380119b800014800494ccc078c040c07cdd50008981198101baa00116222325333020301830213754002264a666042603260446ea80044dd6981318119baa001148000c8cc004004dd5981318119baa00222533302500114c103d87a80001323232325333026337220100042a66604c66e3c0200084c07ccc0a8dd4000a5eb80530103d87a8000133006006003375a604e0066eb8c094008c0a4008c09c00452000330050030022232533301e3018301f3754002297adef6c6013756604660406ea8004cc00c00800488c8cc00400400c894ccc0840045300103d87a800013232323253330223372200e0042a66604466e3c01c0084c06ccc098dd3000a5eb80530103d87a8000133006006003375660460066eb8c084008c094008c08c00488c8cc00400400c88c94ccc078cdd7980398101baa0010041300630203754002266006006604800460440024603c603e0024603a00246600400291010022323300100100322533301c00114bd6f7b630099191919299980e99b910070021533301d3371e00e0042006200a26604266ec0dd48011ba6001330060060033756603c0066eb8c070008c080008c078004c054dd50081bae3018301537540022c602e60286ea800c58c8c8c8c94ccc054c03400454ccc060c05cdd50088a4c2c2a66602a601e002264646464646464646464a666044604a0042646464931807001980700218070048b18118009811801181080098108011bad301f001301f002375a603a002603a0046036002602e6ea804454ccc054c01c0044c8c8c8c8c8c8c8c8c8c8c8c8c8c94ccc098c0a40084c8c8c92630120033012006301200d1630270013027002375a604a002604a004604600260460046eb4c084004c084008dd6980f800980f8011bad301d001301d002301b001301737540222a66602a600a00226464a666034603a0042649318030008b180d800980b9baa011153330153370e9004000899191919299980e180f8010991924c601200460100062c603a002603a0046036002602e6ea804454ccc054cdc3a401400226464a666034603a0042930b1bad301b001301737540222c602a6ea80408c94ccc054c0340044c8c94ccc068c07400852616375a6036002602e6ea800854ccc054c03c00454ccc060c05cdd50010a4c2c2c602a6ea80048c94ccc050c0300044c8c94ccc064c07000852616375a6034002602c6ea800854ccc050c03800454ccc05cc058dd50010a4c2c2c60286ea800494ccc048c028c04cdd5000899191919299980c980e00109924ca66602c601c602e6ea800c4c8c94ccc06cc07800852616375c603800260306ea800c5858dd6980d000980d001180c000980a1baa00116370e9003180a18089baa004370e90020a50374a900118069baa00130103011002300f001300b375400829309b2b1b87480004c894ccc028c8c8c94ccc034c01cc038dd5000899191991191980080080191299980b0008a5013253330143375e008602a603200429444cc00c00c004c064004dd5980a180a980a980a980a980a980a801180419809980098089baa300130113754664464660020020064464a66602866ebcc018c058dd50008020980c980d180b1baa001133003003301a002301800137586028004602860226ea800d2f5c046028002601e6ea800858c044c048008c040004c030dd50008a4c26cac601a60146ea800cdd2a40006e1d2002375c002ae6955ceaab9e5573eae815d0aba201", + "hash": "198f98d3ff51c99816505fbc75bf64a290c0485f2632b5dc5f789030" } ], "definitions": { @@ -210,6 +266,12 @@ "$ref": "#/definitions/Data" } }, + "List$aiken/merkle_patricia_forestry/ProofStep": { + "dataType": "list", + "items": { + "$ref": "#/definitions/aiken~1merkle_patricia_forestry~1ProofStep" + } + }, "RedeemerWrapper$ByteArray": { "title": "Wrapped Redeemer", "description": "A redeemer wrapped in an extra constructor to make multi-validator detection possible on-chain.", @@ -255,20 +317,83 @@ } ] }, - "aiken/sparse_merkle_tree/merkle/Side": { - "title": "Side", + "aiken/merkle_patricia_forestry/Neighbor": { + "title": "Neighbor", + "description": "A neighbor node used in a proof. See [Proof](#Proof) for details.", "anyOf": [ { - "title": "Left", + "title": "Neighbor", "dataType": "constructor", "index": 0, - "fields": [] + "fields": [ + { + "title": "nibble", + "$ref": "#/definitions/Int" + }, + { + "title": "prefix", + "$ref": "#/definitions/ByteArray" + }, + { + "title": "root", + "$ref": "#/definitions/ByteArray" + } + ] + } + ] + }, + "aiken/merkle_patricia_forestry/ProofStep": { + "title": "ProofStep", + "description": "We distinguish three kind of proof steps: Branch, Fork and Leaf. Each step\n contains a `skip` value which corresponds to the length of the common prefix\n at that particular level.\n\n The details of each level is documented [in the wiki :: Proof Format](https://github.com/aiken-lang/merkle-patricia-forestry/wiki/Proof-format).", + "anyOf": [ + { + "title": "Branch", + "dataType": "constructor", + "index": 0, + "fields": [ + { + "title": "skip", + "$ref": "#/definitions/Int" + }, + { + "title": "neighbors", + "$ref": "#/definitions/ByteArray" + } + ] }, { - "title": "Right", + "title": "Fork", "dataType": "constructor", "index": 1, - "fields": [] + "fields": [ + { + "title": "skip", + "$ref": "#/definitions/Int" + }, + { + "title": "neighbor", + "$ref": "#/definitions/aiken~1merkle_patricia_forestry~1Neighbor" + } + ] + }, + { + "title": "Leaf", + "dataType": "constructor", + "index": 2, + "fields": [ + { + "title": "skip", + "$ref": "#/definitions/Int" + }, + { + "title": "key", + "$ref": "#/definitions/ByteArray" + }, + { + "title": "value", + "$ref": "#/definitions/ByteArray" + } + ] } ] }, @@ -413,38 +538,6 @@ } ] }, - "tunav2/MerkleProofBlock": { - "title": "MerkleProofBlock", - "anyOf": [ - { - "title": "MerkleProofBlock", - "dataType": "constructor", - "index": 0, - "fields": [ - { - "title": "starting_side", - "$ref": "#/definitions/aiken~1sparse_merkle_tree~1merkle~1Side" - }, - { - "title": "left_proofs", - "$ref": "#/definitions/ByteArray" - }, - { - "title": "right_proofs", - "$ref": "#/definitions/ByteArray" - }, - { - "title": "remaining_side_proofs", - "$ref": "#/definitions/ByteArray" - }, - { - "title": "remaining_proofs", - "$ref": "#/definitions/ByteArray" - } - ] - } - ] - }, "tunav2/MineAction": { "title": "MineAction", "anyOf": [ @@ -460,7 +553,7 @@ "$ref": "#/definitions/tunav2~1Miner" }, { - "$ref": "#/definitions/tunav2~1MerkleProofBlock" + "$ref": "#/definitions/List$aiken~1merkle_patricia_forestry~1ProofStep" } ] }, @@ -610,13 +703,24 @@ "title": "MinerVoteFor", "dataType": "constructor", "index": 2, - "fields": [] + "fields": [ + { + "$ref": "#/definitions/Int" + }, + { + "$ref": "#/definitions/Int" + } + ] }, { "title": "TransitionState", "dataType": "constructor", "index": 3, - "fields": [] + "fields": [ + { + "$ref": "#/definitions/Int" + } + ] } ] },