From 1f7f82a1209de55f3844d11b743afa0d575701bc Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 31 Mar 2023 02:52:01 +0800 Subject: [PATCH] fix minAda in outputs --- .../Sample/Effect/TreasuryWithdrawal.hs | 9 +- agora-test/goldens/agora-golden.json | 4 +- agora-test/goldens/agoraDebug-golden.json | 4 +- agora/Agora/Effect/TreasuryWithdrawal.hs | 4 +- agora/Agora/Utils.hs | 34 +- bench.csv | 555 ------------------ 6 files changed, 42 insertions(+), 568 deletions(-) diff --git a/agora-specs/Sample/Effect/TreasuryWithdrawal.hs b/agora-specs/Sample/Effect/TreasuryWithdrawal.hs index eb26007..a534e73 100644 --- a/agora-specs/Sample/Effect/TreasuryWithdrawal.hs +++ b/agora-specs/Sample/Effect/TreasuryWithdrawal.hs @@ -34,7 +34,7 @@ import PlutusLedgerApi.V2 ( Value, ) import PlutusLedgerApi.V3 (ScriptHash) -import Sample.Shared (agoraScripts, authorityTokenPolicy, authorityTokenSymbol, signer, signer2, trScriptHash, trValidator) +import Sample.Shared (agoraScripts, authorityTokenPolicy, authorityTokenSymbol, minAda, signer, signer2, trScriptHash, trValidator) import Test.Specification (SpecificationTree, group, testPolicy, testValidator) import Test.Util (CombinableBuilder, mkMinting, mkSpending, subtractValue, validatorHashes) @@ -129,9 +129,10 @@ mkReceiverOutputBuilder :: b mkReceiverOutputBuilder ps = let mkOutputValue = - if ps.badReceivedValue - then const $ Value.singleton "" "bruh" 1 - else id + (minAda <>) + . if ps.badReceivedValue + then const $ Value.singleton "" "bruh" 1 + else id mkFinalOutputs = mconcat . (if ps.badReceiverOrder then reverse else id) diff --git a/agora-test/goldens/agora-golden.json b/agora-test/goldens/agora-golden.json index 54d8df6..0fae6ec 100644 --- a/agora-test/goldens/agora-golden.json +++ b/agora-test/goldens/agora-golden.json @@ -112,12 +112,12 @@ "version": "ScriptV2" }, "agora:treasuryWithdrawalValidator": { - "cborHex": "5907ae5907ab0100003232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330363370e900100109919299981c29981799b873301400f375660786460766076607600260740026466e052000001480084cdc3999119981b911199810800918009119993802200130050023300600500113248001263027002001232533303a3233333301903e04137520246eacc0fcc0f40048c8c8c94ccc0fccdc3a40000042940528982200118200009baa30403041304000214a2607e00226602c0226eacc0f8c0f0c0fc00458c8c0f8c0f0004c0f8004dd6181e000a400426464a6660746605c605e466e1c005200033302070266446660466048e04008004cc0708c8c8c94ccc0f94cc0dccc88cdd79ba73045002374e608a00260840060102646464a66608266e1d200200214a02944c118008c108004dd5000881e0a99981f198160009bac3042304000613756608460800042c6460846086002608200260826080607c00260800026eb0c0f8004cc0708cc0a888004004dd6181f0011980e11919299981ea9981a19815991821182180098208011bac3041303f00513302d323042304300130410023041303f0011375660820022076607c002608000266606e444a66607c00420022a66607c0022c26464a66607e6605c44a66070a6607064646464a66608a66e1d2002002132323253330483370e90000010a5013375e6e9c010dd3800982680118248009baa004132323253330483370e90010010a5013375e6e9c010dd3800982680118248009baa004304a0023046001375400664608c608e002608a00826466ebcdd30011ba60013756608a006266062004608a6086006608600826600a608200860820062c6080002608460820026eb0c0f8008dd6181f181e181e0008a4c2c607c607a01e6eb004858c0f0c0ec034c0e800458c0ec008c0dc004dd5181b981a804a9998198008a4c2c60660066604446464646400aa66606866e1d20000021323253330363370e6e340052038132324994ccc0e000452616303800316375c00260700022a66606866e1d20020021323253330363370e6e340052038132324994ccc0e000452616303800316375c00260700022c6072004606a0026ea8004dd6000981980098180019980f919191919002a99981899b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c926533303e001149858c0f8018c94ccc0f0cc0c08cc0c88cdc42400000200200220022c6eac010c0d4dd58019981a919bb03232533303c5330353370e0029000099b87001480e04c0fc00c58dc68009bae303d00132323230430043037375660840066606e466ec0c94ccc0f4cdc49b8d001481004c10000858dd7181f8009918218011bad3042001001375660800020026eac004c0ec004c0e00194ccc0d4cdc3a400000426464a66606e66e1cdc6800a40702646493299981c8008a4c2c60720062c6eb8004c0e400454ccc0d4cdc3a400400426464a66606e66e1cdc6800a40702646493299981c8008a4c2c60720062c6eb8004c0e400458c0e8008c0d8004dd5000981a8008b181b00118190009baa001375800260600026eb0014c0bc008dd7002000911999998018140159ba9002001233300722337006eb4c0b800800520003756002290001111199980299803002001000919111801001980200089128009180f9129998128008912800899980198140009111801001898011813000911299981199baf00230030011223002003122500122301e22533302400110031330043027001300230250012233003300d002001301a2223330040012300122333008220013005002330060050011300c49894ccc07800448940044c888c00800cc8c88cc00400c008c080008c084004888ccc011c00010009111998021119980380280100080100091801911ba63300337560046eac0048c00888dd4198019bad002375a002444666600800644004004002460286004002446464466002006004444a6660380022660340060042646464a66603c66ebc0080044cc074cdd800119804981200318120019998041100100298100020a99980f19b90375c0046eb80044cc074018cccc0208800400cc0800100144cc07400ccccc02088004018014c080010c080008c07c010c07c004894ccc06800840044cccc00c88004c074008c06c008004804c88c0080048c040894ccc0580045280a99980a99baf301900100314a226004602e00244646600660300026eacc060c058004c06000488c8c8c94ccc054cdc3a400000429444c8c8c94ccc060cdc3a4000004294054ccc060cdc3a400800429444cdc78049bae301c001301d002301900137540086034004602c0026ea800922120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300c225333012001100413301030033015001300230130014bd701119802118019bab3015001001223300323003375a60280020024601044a66601c002294454cc010c00cc0440044c008c03c00488ccc02c00800400c5281198040008010a512333003225333009001120041322533300a300100216133004300c0032337200020066eb8c02cc0300040049281180111299980400088028998031801980580098011804800919180111980100100091801119801001000a5eb7bdb1815d02b9a5573eae8955ceaba1230023754002aae79", + "cborHex": "59083e59083b010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330403370e900100109919299982129981c99b873301400f3756608c64608a608a608a002608800260629001099b8733223330412223330210012300122333270044002600a0046600c00a002264900024c6044004002464a666088646666660320900966ea4048dd5982498238009191919299982499b87480000085280a51304e002304a00137546094609660940042944c1240044cc058044dd59824182318248008b191824182300098240009bac3046001480084c8c94ccc110cc0e0c0e48cdc3800a4000666040e04cc094cc0708c8c8c94ccc1214cc104cc88cdd79ba7304f002374e609e00260980060102646464a66609666e1d200200214a02944c140008c130004dd500088230a999824198138009bac304c304a00613756609860940042c646098609a002609600260966094609000260940026eb0c120004cc0708cc09488004004dd618240011980e119192999823a9981f19813191826182680098258011bac304b304900513303732304c304d001304b002304b3049001137566096002208a60900026094002666082444a66609000420022a6660900022c26464a6660926605244a66084a6608464646464a66609e66e1d2002002132323253330523370e90000010a5013375e6e9c010dd3800982b80118298009baa004132323253330523370e90010010a5013375e6e9c010dd3800982b80118298009baa0043054002305000137540066460a060a2002609e0082664464660846086466e2120000010013302e0020013756609e006002266076004609e609a006609a00826600a609600860960062c6094002609860960026eb0c120008dd61824182318230008a4c2c6090608e01e6eb004858c118c114034c11000458c114008c104004dd51820981f804a99981e8008a4c2c607a0066605846464646400aa66607c66e1d20000021323253330403370e6e340052038132324994ccc10800452616304200316375c00260840022a66607c66e1d20020021323253330403370e6e340052038132324994ccc10800452616304200316375c00260840022c6086004607e0026ea8004dd6000981e800981d00199814919191919002a99981d99b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c9265333048001149858c120018c94ccc118cc0e88cc0f08cdc42400000200200220022c6eac010c0fcdd58019981f919bb03232533304653303f3370e0029000099b87001480e04c12400c58dc68009bae3047001323232304d00430413756609800666082466ec0c94ccc11ccdc49b8d001481004c12800858dd718248009918268011bad304c001001375660940020026eac004c114004c1080194ccc0fccdc3a400000426464a66608266e1cdc6800a4070264649329998218008a4c2c60860062c6eb8004c10c00454ccc0fccdc3a400400426464a66608266e1cdc6800a4070264649329998218008a4c2c60860062c6eb8004c10c00458c110008c100004dd5000981f8008b1820001181e0009baa001375800260740026eb0014c0e4008dd70020009119999980181901a9ba9002001233300722337006eb4c0e00080052000375600229000111119998029980300200100091911180100198020008912800918149129998178008912800899980198190009111801001898011818000911299981699baf00230030011223002003122500122302822533302e001100313300430310013002302f0012233003300800200130242223330040012300122333008220013005002330060050011300749894ccc0a000448940044c888c00800cc8c88cc00400c008c0a8008c0ac004888ccc011c00010009111998049119980600280100080100090111118010009180f9129998128008a50153330243375e605000200629444c008c09800488c8cc00cc09c004dd598139812800981380091199801980238000233008300b0100012300322374c660066eac008dd580091801111ba833003375a0046eb4004888cccc01000c880080080048c064c00800488c8c88cc00400c0088894ccc0840044cc07c00c0084c8c8c94ccc08ccdd780100089981119bb0002330093029006302900333300822002005302500415333023337206eb8008dd70008998110031999804110008019812802002899811001999980411000803002981280218128011812002181200091299980f80108008999980191000981100118100010009119980180480100091119803998020018010009111919191919bb037520046e98004c014008c014008dd598108011bae301d001223330030060020012223300433005003002001223301200200122232323232337606ea4008dd4000980280118028011bad301d002375c60320024002466e0520000012232323253330153370e90000010a51132323253330183370e90000010a50153330183370e90020010a5113371e0126eb8c070004c074008c064004dd5002180d001180b0009baa002488120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300c225333012001100413301030033015001300230130014bd701119802118019bab3015001001223300323003375a60280020024601044a66601c002294454cc010c00cc0440044c008c03c00488ccc02c00800400c5281198040008010a512333003225333009001120041322533300a300100216133004300c0032337200020066eb8c02cc0300040049281180111299980400088028998031801980580098011804800919180111980100100091801119801001000a5eb7bdb1815d02b9a5573eae8955ceaba1230023754002aae79", "description": "agora:treasuryWithdrawalValidator", "params": [ "Ply.Core.Types:AsData#Data.Tagged:Tagged#GHC.TypeLits:\"AuthorityTokenTag\"#PlutusLedgerApi.V1.Value:CurrencySymbol" ], - "rawHex": "5907ab0100003232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330363370e900100109919299981c29981799b873301400f375660786460766076607600260740026466e052000001480084cdc3999119981b911199810800918009119993802200130050023300600500113248001263027002001232533303a3233333301903e04137520246eacc0fcc0f40048c8c8c94ccc0fccdc3a40000042940528982200118200009baa30403041304000214a2607e00226602c0226eacc0f8c0f0c0fc00458c8c0f8c0f0004c0f8004dd6181e000a400426464a6660746605c605e466e1c005200033302070266446660466048e04008004cc0708c8c8c94ccc0f94cc0dccc88cdd79ba73045002374e608a00260840060102646464a66608266e1d200200214a02944c118008c108004dd5000881e0a99981f198160009bac3042304000613756608460800042c6460846086002608200260826080607c00260800026eb0c0f8004cc0708cc0a888004004dd6181f0011980e11919299981ea9981a19815991821182180098208011bac3041303f00513302d323042304300130410023041303f0011375660820022076607c002608000266606e444a66607c00420022a66607c0022c26464a66607e6605c44a66070a6607064646464a66608a66e1d2002002132323253330483370e90000010a5013375e6e9c010dd3800982680118248009baa004132323253330483370e90010010a5013375e6e9c010dd3800982680118248009baa004304a0023046001375400664608c608e002608a00826466ebcdd30011ba60013756608a006266062004608a6086006608600826600a608200860820062c6080002608460820026eb0c0f8008dd6181f181e181e0008a4c2c607c607a01e6eb004858c0f0c0ec034c0e800458c0ec008c0dc004dd5181b981a804a9998198008a4c2c60660066604446464646400aa66606866e1d20000021323253330363370e6e340052038132324994ccc0e000452616303800316375c00260700022a66606866e1d20020021323253330363370e6e340052038132324994ccc0e000452616303800316375c00260700022c6072004606a0026ea8004dd6000981980098180019980f919191919002a99981899b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c926533303e001149858c0f8018c94ccc0f0cc0c08cc0c88cdc42400000200200220022c6eac010c0d4dd58019981a919bb03232533303c5330353370e0029000099b87001480e04c0fc00c58dc68009bae303d00132323230430043037375660840066606e466ec0c94ccc0f4cdc49b8d001481004c10000858dd7181f8009918218011bad3042001001375660800020026eac004c0ec004c0e00194ccc0d4cdc3a400000426464a66606e66e1cdc6800a40702646493299981c8008a4c2c60720062c6eb8004c0e400454ccc0d4cdc3a400400426464a66606e66e1cdc6800a40702646493299981c8008a4c2c60720062c6eb8004c0e400458c0e8008c0d8004dd5000981a8008b181b00118190009baa001375800260600026eb0014c0bc008dd7002000911999998018140159ba9002001233300722337006eb4c0b800800520003756002290001111199980299803002001000919111801001980200089128009180f9129998128008912800899980198140009111801001898011813000911299981199baf00230030011223002003122500122301e22533302400110031330043027001300230250012233003300d002001301a2223330040012300122333008220013005002330060050011300c49894ccc07800448940044c888c00800cc8c88cc00400c008c080008c084004888ccc011c00010009111998021119980380280100080100091801911ba63300337560046eac0048c00888dd4198019bad002375a002444666600800644004004002460286004002446464466002006004444a6660380022660340060042646464a66603c66ebc0080044cc074cdd800119804981200318120019998041100100298100020a99980f19b90375c0046eb80044cc074018cccc0208800400cc0800100144cc07400ccccc02088004018014c080010c080008c07c010c07c004894ccc06800840044cccc00c88004c074008c06c008004804c88c0080048c040894ccc0580045280a99980a99baf301900100314a226004602e00244646600660300026eacc060c058004c06000488c8c8c94ccc054cdc3a400000429444c8c8c94ccc060cdc3a4000004294054ccc060cdc3a400800429444cdc78049bae301c001301d002301900137540086034004602c0026ea800922120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300c225333012001100413301030033015001300230130014bd701119802118019bab3015001001223300323003375a60280020024601044a66601c002294454cc010c00cc0440044c008c03c00488ccc02c00800400c5281198040008010a512333003225333009001120041322533300a300100216133004300c0032337200020066eb8c02cc0300040049281180111299980400088028998031801980580098011804800919180111980100100091801119801001000a5eb7bdb1815d02b9a5573eae8955ceaba1230023754002aae79", + "rawHex": "59083b010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330403370e900100109919299982129981c99b873301400f3756608c64608a608a608a002608800260629001099b8733223330412223330210012300122333270044002600a0046600c00a002264900024c6044004002464a666088646666660320900966ea4048dd5982498238009191919299982499b87480000085280a51304e002304a00137546094609660940042944c1240044cc058044dd59824182318248008b191824182300098240009bac3046001480084c8c94ccc110cc0e0c0e48cdc3800a4000666040e04cc094cc0708c8c8c94ccc1214cc104cc88cdd79ba7304f002374e609e00260980060102646464a66609666e1d200200214a02944c140008c130004dd500088230a999824198138009bac304c304a00613756609860940042c646098609a002609600260966094609000260940026eb0c120004cc0708cc09488004004dd618240011980e119192999823a9981f19813191826182680098258011bac304b304900513303732304c304d001304b002304b3049001137566096002208a60900026094002666082444a66609000420022a6660900022c26464a6660926605244a66084a6608464646464a66609e66e1d2002002132323253330523370e90000010a5013375e6e9c010dd3800982b80118298009baa004132323253330523370e90010010a5013375e6e9c010dd3800982b80118298009baa0043054002305000137540066460a060a2002609e0082664464660846086466e2120000010013302e0020013756609e006002266076004609e609a006609a00826600a609600860960062c6094002609860960026eb0c120008dd61824182318230008a4c2c6090608e01e6eb004858c118c114034c11000458c114008c104004dd51820981f804a99981e8008a4c2c607a0066605846464646400aa66607c66e1d20000021323253330403370e6e340052038132324994ccc10800452616304200316375c00260840022a66607c66e1d20020021323253330403370e6e340052038132324994ccc10800452616304200316375c00260840022c6086004607e0026ea8004dd6000981e800981d00199814919191919002a99981d99b87480000084c8c8c8c8c8c8c8c8c8c8c8c8c9265333048001149858c120018c94ccc118cc0e88cc0f08cdc42400000200200220022c6eac010c0fcdd58019981f919bb03232533304653303f3370e0029000099b87001480e04c12400c58dc68009bae3047001323232304d00430413756609800666082466ec0c94ccc11ccdc49b8d001481004c12800858dd718248009918268011bad304c001001375660940020026eac004c114004c1080194ccc0fccdc3a400000426464a66608266e1cdc6800a4070264649329998218008a4c2c60860062c6eb8004c10c00454ccc0fccdc3a400400426464a66608266e1cdc6800a4070264649329998218008a4c2c60860062c6eb8004c10c00458c110008c100004dd5000981f8008b1820001181e0009baa001375800260740026eb0014c0e4008dd70020009119999980181901a9ba9002001233300722337006eb4c0e00080052000375600229000111119998029980300200100091911180100198020008912800918149129998178008912800899980198190009111801001898011818000911299981699baf00230030011223002003122500122302822533302e001100313300430310013002302f0012233003300800200130242223330040012300122333008220013005002330060050011300749894ccc0a000448940044c888c00800cc8c88cc00400c008c0a8008c0ac004888ccc011c00010009111998049119980600280100080100090111118010009180f9129998128008a50153330243375e605000200629444c008c09800488c8cc00cc09c004dd598139812800981380091199801980238000233008300b0100012300322374c660066eac008dd580091801111ba833003375a0046eb4004888cccc01000c880080080048c064c00800488c8c88cc00400c0088894ccc0840044cc07c00c0084c8c8c94ccc08ccdd780100089981119bb0002330093029006302900333300822002005302500415333023337206eb8008dd70008998110031999804110008019812802002899811001999980411000803002981280218128011812002181200091299980f80108008999980191000981100118100010009119980180480100091119803998020018010009111919191919bb037520046e98004c014008c014008dd598108011bae301d001223330030060020012223300433005003002001223301200200122232323232337606ea4008dd4000980280118028011bad301d002375c60320024002466e0520000012232323253330153370e90000010a51132323253330183370e90000010a50153330183370e90020010a5113371e0126eb8c070004c074008c064004dd5002180d001180b0009baa002488120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300c225333012001100413301030033015001300230130014bd701119802118019bab3015001001223300323003375a60280020024601044a66601c002294454cc010c00cc0440044c008c03c00488ccc02c00800400c5281198040008010a512333003225333009001120041322533300a300100216133004300c0032337200020066eb8c02cc0300040049281180111299980400088028998031801980580098011804800919180111980100100091801119801001000a5eb7bdb1815d02b9a5573eae8955ceaba1230023754002aae79", "role": "ValidatorRole", "version": "ScriptV2" } diff --git a/agora-test/goldens/agoraDebug-golden.json b/agora-test/goldens/agoraDebug-golden.json index f6865c0..7ed7a4c 100644 --- a/agora-test/goldens/agoraDebug-golden.json +++ b/agora-test/goldens/agoraDebug-golden.json @@ -112,12 +112,12 @@ "version": "ScriptV2" }, "agora:treasuryWithdrawalValidator": { - "cborHex": "590c98590c95010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330393370e900100109919299981da9981819299981e0008800899820a493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc10cc8c0fcc0fcc0fc004c0f8004c8cdc0a40000029001099299981e0008800899820a49254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466607244466604200246002446664e0088004c014008cc0180140044c92000498c09c0080048c94ccc0f4c8cccccc064114120dd48091bab30463041001232323253330423370e900000109929998218008800899824248137617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c12c008c11c004dd51823982418238010a5130460011330160113756608a6080608c0022a660849201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c696400163230453040001304500137586086002900109919299981e998179818119b8700148000ccc081c0999119981198123810020013301c2323232533304153303832533304200113304749010c45666665637420696e70757400001100133223375e6e9cc130008dd3982600098248018040992999821000899823a4810c5075626b657920696e70757400001100132323253330443370e90010010a5014a2609a00460920026ea800440f854ccc104c94ccc1080044cc11d2410e547265617375727920696e7075740000110013302c00137586092608800c26eacc124c11000854cc1192410d556e6b6e6f776e20696e7075740016323049304a001304800130483047304200130470013758608a00266038466054440020026eb0c114008cc0708c8c94ccc1014cc0d4c94ccc10400440044cc11924012453686f756c642073656e7420746f206f6e65206f66207468652074726561737572696573000013302b323049304a001304800237586090608600a264a666082002200226608c05c0026605c646092609400260900046090608600226eacc12000440f4c108004c11c0054cc109240116436865636b207265636569766572206f7574707574730013330392225333041002100115333041001153304549011b556e61626c6520746f20657868617573742072656365697665727300161323253330423302e22533039533039325333045001100113304a4911056616c69642063726564656e7469616c000013232323253330483370e90010010991919299982599b8748000008528099baf374e0086e9c004c150008c140004dd50020991919299982599b8748008008528099baf374e0086e9c004c150008c140004dd5002182880118268009baa00332304d304e001304c0041325333045001100113304a49010b56616c69642076616c756500001323375e6e98008dd30009bab304c0031325333045001100113304a03200133032002304c3047003304a004133005304500430450031533047490117496e76616c6964207265636569766572206f757470757400163044001304930480013758608a0046eb0c114c100c1000045261533042490132556e757365642074726561737572792073686f756c6420737461792061742074726561737572792076616c696461746f727300163045304400f37580242a6608092128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e656400163043304200d3041001153303e491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d323200163042002303e0013754607c6072012a66606c0022930a9981d01b8b181b80199811919191919002a99981b99b87480000084c8c94ccc0e4cdc39b8d001480e04c8c926533303b001149854cc0fc0f058c0f000c54cc0f80e058dd7000981f8008a99981b99b87480080084c8c94ccc0e4cdc39b8d001480e04c8c926533303b001149854cc0fc0f058c0f000c54cc0f80f458dd7000981f8008a9981e01e8b1820001181e0009baa0013758002607400260680066604046464646400aa66606866e1d20000021323232323232323232323232324994ccc104004526153304504216304200632533303f33031233033233710900000080080088008a99822249184e6567617469766520616d6f756e7420696e2056616c756500163756008606c6eac00ccc0dc8cdd81919299981fa9981b19b87001480004cdc3800a40702608c0062a660889201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c110004c8c8c8c128010c0e0dd598248019981c919bb0325333040337126e3400520401304700215330454901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c608c0026460940046eb4c124004004dd598238008009bab0013042001303c00653330383370e900000109919299981d19b87371a002901c0991924ca6660780022930a9982001e8b181e8018a9981f81c8b1bae0013040001153330383370e900100109919299981d19b87371a002901c0991924ca6660780022930a9982001e8b181e8018a9981f81f0b1bae0013040001153303d03e163041002303d001375400260780022a660720742c607a00460720026ea8004dd6000981b8009bac0053036002375c0080024466666600605e0646ea40080048ccc01c88cdc01bad303500200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024604244a666050002244a0022666006605e0024446004006260046054002444a66604c66ebc008c00c004488c00800c489400488c080894ccc09c004400c4cc010c0b8004c008c0a400488cc00cc034008004c070888ccc0100048c00488ccc02088004c014008cc0180140044c031262533302100112250011322230020033232233001003002302400230280012223330047000040024446660084466600e00a00400200400246006446e98cc00cdd58011bab00123002223750660066eb4008dd68009111999802001910010010009180b1801000911919119800801801111299980f80089980e0018010991919299981099baf00200113301f3376000466012605600c60560066660104400400a60480082a66604266e40dd70011bae00113301f006333300822001003302400400513301f003333300822001006005302400430270023026004302600122533301d002100113333003220013024002301f00200120152230020012301222533301900114a02a66603066ebcc08000400c52889801180d800911919801980f8009bab301f301a001301f00149011256616c6964206f757470757420646174756d002232323253330173370e90000010a511323232533301a3370e90000010a501533301a3370e90020010a5113371e0126eb8c088004c08c008c07c004dd50021810001180e0009baa002488120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300d22533301400110041330113003301b001300230160014bd701119802118019bab301b001001223300323003375a60340020024601244a666020002294454cc010c00cc05c0044c008c04800488ccc03400800400c5281198050008010a51233300422533300b001120041322533300c3001002153301100616133004300f0032337200020066eb8c044c0480040049282490c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", + "cborHex": "590d27590d2401000032323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330433370e9001001099192999822a9981d1929998230008800899825a493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc134c8c124c124c124004c120004c0c520021325333046001100113304b491254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466608644466604200246002446664e0088004c014008cc0180140044c92000498c0880080048c94ccc11cc8cccccc06413c148dd48091bab3050304b0012323232533304c3370e900000109929998268008800899829248137617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c154008c144004dd51828982918288010a5130500011330160113756609e609460a00022a660989201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c6964001632304f304a001304f0013758609a00290010991929998239981c981d119b8700148000ccc081c0998129980e11919192999825a99821192999826000899828a4810c45666665637420696e70757400001100133223375e6e9cc158008dd3982b00098298018040992999826000899828a4810c5075626b657920696e707574000011001323232533304e3370e90010010a5014a260ae00460a60026ea8004412054ccc12cc94ccc1300044cc1452410e547265617375727920696e70757400001100133027001375860a6609c00c26eacc14cc13800854cc1412410d556e6b6e6f776e20696e70757400163230533054001305200130523051304c00130510013758609e0026603846604a440020026eb0c13c008cc0708c8c94ccc1294cc0fcc94ccc12c00440044cc14124012453686f756c642073656e7420746f206f6e65206f66207468652074726561737572696573000013302632305330540013052002375860a4609a00a264a66609600220022660a0070002660706460a660a800260a400460a4609a00226eacc148004411cc130004c1440054cc131240116436865636b207265636569766572206f757470757473001333043222533304b00210011533304b001153304f49011b556e61626c6520746f206578686175737420726563656976657273001613232533304c330292253304353304332533304f00110011330544911056616c69642063726564656e7469616c000013232323253330523370e90010010991919299982a99b8748000008528099baf374e0086e9c004c178008c168004dd50020991919299982a99b8748008008528099baf374e0086e9c004c178008c168004dd5002182d801182b8009baa00332305730580013056004132533304f001100113305449010b56616c69642076616c7565000013322323304330442337109000000800998170010009bab3056003001132533304f001100113305403c0013303c002305630510033054004133005304f004304f003153305149117496e76616c6964207265636569766572206f75747075740016304e001305330520013758609e0046eb0c13cc128c128004526153304c490132556e757365642074726561737572792073686f756c6420737461792061742074726561737572792076616c696461746f72730016304f304e00f37580242a6609492128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e65640016304d304c00d304b0011533048491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d32320016304c0023048001375460906086012a6660800022930a998220208b182080199816919191919002a99982099b87480000084c8c94ccc10ccdc39b8d001480e04c8c9265333045001149854cc12411858c11800c54cc12010858dd700098248008a99982099b87480080084c8c94ccc10ccdc39b8d001480e04c8c9265333045001149854cc12411858c11800c54cc12011c58dd700098248008a998230238b182500118230009baa00137580026088002607c0066605446464646400aa66607c66e1d20000021323232323232323232323232324994ccc12c004526153304f04c16304c0063253330493303b23303d233710900000080080088008a99827249184e6567617469766520616d6f756e7420696e2056616c75650016375600860806eac00ccc1048cdd819192999824a9982019b87001480004cdc3800a4070260a00062a6609c9201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c138004c8c8c8c150010c108dd5982980199821919bb032533304a337126e34005204013051002153304f4901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c60a00026460a80046eb4c14c004004dd598288008009bab001304c001304600653330423370e900000109919299982219b87371a002901c0991924ca66608c0022930a998250238b18238018a998248218b1bae001304a001153330423370e900100109919299982219b87371a002901c0991924ca66608c0022930a998250238b18238018a998248240b1bae001304a001153304704816304b00230470013754002608c0022a660860882c608e00460860026ea8004dd600098208009bac0053040002375c008002446666660060720786ea40080048ccc01c88cdc01bad303f00200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024605644a666064002244a002266600660720024446004006260046068002444a66606066ebc008c00c004488c00800c489400488c0a8894ccc0c4004400c4cc010c0e0004c008c0cc00488cc00cc020008004c098888ccc0100048c00488ccc02088004c014008cc0180140044c01d262533302b00112250011322230020033232233001003002302e00230320012223330047000040024446660124466601800a00400200400240484460040024604244a666050002294054ccc09ccdd798178008018a5113002302a001223233003302e0013756605c6052002605c002446660066008e00008cc020c02c0400048c00c88dd3198019bab002375600246004446ea0cc00cdd68011bad0012223333004003220020020012301b30020012232322330010030022225333024001133021003002132323253330263375e00400226604866ec0008cc024c0c0018c0c000cccc02088008014c0a401054ccc098cdc81bae002375c00226604800c666601044002006605200800a26604800666660104400200c00a605200860580046056008605600244a6660440042002266660064400260520046048004002446660060120040024446600e660080060040024446464646466ec0dd48011ba600130050023005002375660500046eb8c09000488ccc00c018008004888cc010cc01400c00800488cc050008004888c8c8c8c8cdd81ba90023750002600a004600a0046eb4c090008dd718100009000919b81480000052411256616c6964206f757470757420646174756d002232323253330173370e90000010a511323232533301a3370e90000010a501533301a3370e90020010a5113371e0126eb8c088004c08c008c07c004dd50021810001180e0009baa002488120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300d22533301400110041330113003301b001300230160014bd701119802118019bab301b001001223300323003375a60340020024601244a666020002294454cc010c00cc05c0044c008c04800488ccc03400800400c5281198050008010a51233300422533300b001120041322533300c3001002153301100616133004300f0032337200020066eb8c044c0480040049282490c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", "description": "agora:treasuryWithdrawalValidator", "params": [ "Ply.Core.Types:AsData#Data.Tagged:Tagged#GHC.TypeLits:\"AuthorityTokenTag\"#PlutusLedgerApi.V1.Value:CurrencySymbol" ], - "rawHex": "590c95010000323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330393370e900100109919299981da9981819299981e0008800899820a493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc10cc8c0fcc0fcc0fc004c0f8004c8cdc0a40000029001099299981e0008800899820a49254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466607244466604200246002446664e0088004c014008cc0180140044c92000498c09c0080048c94ccc0f4c8cccccc064114120dd48091bab30463041001232323253330423370e900000109929998218008800899824248137617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c12c008c11c004dd51823982418238010a5130460011330160113756608a6080608c0022a660849201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c696400163230453040001304500137586086002900109919299981e998179818119b8700148000ccc081c0999119981198123810020013301c2323232533304153303832533304200113304749010c45666665637420696e70757400001100133223375e6e9cc130008dd3982600098248018040992999821000899823a4810c5075626b657920696e70757400001100132323253330443370e90010010a5014a2609a00460920026ea800440f854ccc104c94ccc1080044cc11d2410e547265617375727920696e7075740000110013302c00137586092608800c26eacc124c11000854cc1192410d556e6b6e6f776e20696e7075740016323049304a001304800130483047304200130470013758608a00266038466054440020026eb0c114008cc0708c8c94ccc1014cc0d4c94ccc10400440044cc11924012453686f756c642073656e7420746f206f6e65206f66207468652074726561737572696573000013302b323049304a001304800237586090608600a264a666082002200226608c05c0026605c646092609400260900046090608600226eacc12000440f4c108004c11c0054cc109240116436865636b207265636569766572206f7574707574730013330392225333041002100115333041001153304549011b556e61626c6520746f20657868617573742072656365697665727300161323253330423302e22533039533039325333045001100113304a4911056616c69642063726564656e7469616c000013232323253330483370e90010010991919299982599b8748000008528099baf374e0086e9c004c150008c140004dd50020991919299982599b8748008008528099baf374e0086e9c004c150008c140004dd5002182880118268009baa00332304d304e001304c0041325333045001100113304a49010b56616c69642076616c756500001323375e6e98008dd30009bab304c0031325333045001100113304a03200133032002304c3047003304a004133005304500430450031533047490117496e76616c6964207265636569766572206f757470757400163044001304930480013758608a0046eb0c114c100c1000045261533042490132556e757365642074726561737572792073686f756c6420737461792061742074726561737572792076616c696461746f727300163045304400f37580242a6608092128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e656400163043304200d3041001153303e491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d323200163042002303e0013754607c6072012a66606c0022930a9981d01b8b181b80199811919191919002a99981b99b87480000084c8c94ccc0e4cdc39b8d001480e04c8c926533303b001149854cc0fc0f058c0f000c54cc0f80e058dd7000981f8008a99981b99b87480080084c8c94ccc0e4cdc39b8d001480e04c8c926533303b001149854cc0fc0f058c0f000c54cc0f80f458dd7000981f8008a9981e01e8b1820001181e0009baa0013758002607400260680066604046464646400aa66606866e1d20000021323232323232323232323232324994ccc104004526153304504216304200632533303f33031233033233710900000080080088008a99822249184e6567617469766520616d6f756e7420696e2056616c756500163756008606c6eac00ccc0dc8cdd81919299981fa9981b19b87001480004cdc3800a40702608c0062a660889201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c110004c8c8c8c128010c0e0dd598248019981c919bb0325333040337126e3400520401304700215330454901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c608c0026460940046eb4c124004004dd598238008009bab0013042001303c00653330383370e900000109919299981d19b87371a002901c0991924ca6660780022930a9982001e8b181e8018a9981f81c8b1bae0013040001153330383370e900100109919299981d19b87371a002901c0991924ca6660780022930a9982001e8b181e8018a9981f81f0b1bae0013040001153303d03e163041002303d001375400260780022a660720742c607a00460720026ea8004dd6000981b8009bac0053036002375c0080024466666600605e0646ea40080048ccc01c88cdc01bad303500200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024604244a666050002244a0022666006605e0024446004006260046054002444a66604c66ebc008c00c004488c00800c489400488c080894ccc09c004400c4cc010c0b8004c008c0a400488cc00cc034008004c070888ccc0100048c00488ccc02088004c014008cc0180140044c031262533302100112250011322230020033232233001003002302400230280012223330047000040024446660084466600e00a00400200400246006446e98cc00cdd58011bab00123002223750660066eb4008dd68009111999802001910010010009180b1801000911919119800801801111299980f80089980e0018010991919299981099baf00200113301f3376000466012605600c60560066660104400400a60480082a66604266e40dd70011bae00113301f006333300822001003302400400513301f003333300822001006005302400430270023026004302600122533301d002100113333003220013024002301f00200120152230020012301222533301900114a02a66603066ebcc08000400c52889801180d800911919801980f8009bab301f301a001301f00149011256616c6964206f757470757420646174756d002232323253330173370e90000010a511323232533301a3370e90000010a501533301a3370e90020010a5113371e0126eb8c088004c08c008c07c004dd50021810001180e0009baa002488120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300d22533301400110041330113003301b001300230160014bd701119802118019bab301b001001223300323003375a60340020024601244a666020002294454cc010c00cc05c0044c008c04800488ccc03400800400c5281198050008010a51233300422533300b001120041322533300c3001002153301100616133004300f0032337200020066eb8c044c0480040049282490c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", + "rawHex": "590d2401000032323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323232323222223232323232323232323232323253330433370e9001001099192999822a9981d1929998230008800899825a493373696e676c65417574686f72697479546f6b656e4275726e65643a204d757374206275726e2065786163746c79203120474154000013370e6602801e6eacc134c8c124c124c124004c120004c0c520021325333046001100113304b491254f6e6c79206f6e6520474154206d7573742065786973742061742074686520696e70757473000013370e664466608644466604200246002446664e0088004c014008cc0180140044c92000498c0880080048c94ccc11cc8cccccc06413c148dd48091bab3050304b0012323232533304c3370e900000109929998268008800899829248137617574686f72697479546f6b656e7356616c6964496e3a2047415420696e636f72726563746c79206c69766573206174205075624b6579000014a02944c154008c144004dd51828982918288010a5130500011330160113756609e609460a00022a660989201355768696c6520636f756e74696e67204741547320617420696e707574733a20616c6c2047415473206d7573742062652076616c6964001632304f304a001304f0013758609a00290010991929998239981c981d119b8700148000ccc081c0998129980e11919192999825a99821192999826000899828a4810c45666665637420696e70757400001100133223375e6e9cc158008dd3982b00098298018040992999826000899828a4810c5075626b657920696e707574000011001323232533304e3370e90010010a5014a260ae00460a60026ea8004412054ccc12cc94ccc1300044cc1452410e547265617375727920696e70757400001100133027001375860a6609c00c26eacc14cc13800854cc1412410d556e6b6e6f776e20696e70757400163230533054001305200130523051304c00130510013758609e0026603846604a440020026eb0c13c008cc0708c8c94ccc1294cc0fcc94ccc12c00440044cc14124012453686f756c642073656e7420746f206f6e65206f66207468652074726561737572696573000013302632305330540013052002375860a4609a00a264a66609600220022660a0070002660706460a660a800260a400460a4609a00226eacc148004411cc130004c1440054cc131240116436865636b207265636569766572206f757470757473001333043222533304b00210011533304b001153304f49011b556e61626c6520746f206578686175737420726563656976657273001613232533304c330292253304353304332533304f00110011330544911056616c69642063726564656e7469616c000013232323253330523370e90010010991919299982a99b8748000008528099baf374e0086e9c004c178008c168004dd50020991919299982a99b8748008008528099baf374e0086e9c004c178008c168004dd5002182d801182b8009baa00332305730580013056004132533304f001100113305449010b56616c69642076616c7565000013322323304330442337109000000800998170010009bab3056003001132533304f001100113305403c0013303c002305630510033054004133005304f004304f003153305149117496e76616c6964207265636569766572206f75747075740016304e001305330520013758609e0046eb0c13cc128c128004526153304c490132556e757365642074726561737572792073686f756c6420737461792061742074726561737572792076616c696461746f72730016304f304e00f37580242a6609492128412073696e676c6520617574686f7269747920746f6b656e20686173206265656e206275726e65640016304d304c00d304b0011533048491445061747465726e206d61746368206661696c75726520696e2027646f2720626c6f636b2061742061676f72612f41676f72612f4566666563742e68733a36333a352d32320016304c0023048001375460906086012a6660800022930a998220208b182080199816919191919002a99982099b87480000084c8c94ccc10ccdc39b8d001480e04c8c9265333045001149854cc12411858c11800c54cc12010858dd700098248008a99982099b87480080084c8c94ccc10ccdc39b8d001480e04c8c9265333045001149854cc12411858c11800c54cc12011c58dd700098248008a998230238b182500118230009baa00137580026088002607c0066605446464646400aa66607c66e1d20000021323232323232323232323232324994ccc12c004526153304f04c16304c0063253330493303b23303d233710900000080080088008a99827249184e6567617469766520616d6f756e7420696e2056616c75650016375600860806eac00ccc1048cdd819192999824a9982019b87001480004cdc3800a4070260a00062a6609c9201387074727946726f6d2843757272656e637953796d626f6c293a206d757374206265203238206279746573206c6f6e67206f7220656d7074790016371a0026eb8c138004c8c8c8c150010c108dd5982980199821919bb032533304a337126e34005204013051002153304f4901327074727946726f6d28546f6b656e4e616d65293a206d757374206265206174206d6f7374203332204279746573206c6f6e670016375c60a00026460a80046eb4c14c004004dd598288008009bab001304c001304600653330423370e900000109919299982219b87371a002901c0991924ca66608c0022930a998250238b18238018a998248218b1bae001304a001153330423370e900100109919299982219b87371a002901c0991924ca66608c0022930a998250238b18238018a998248240b1bae001304a001153304704816304b00230470013754002608c0022a660860882c608e00460860026ea8004dd600098208009bac0053040002375c008002446666660060720786ea40080048ccc01c88cdc01bad303f00200148000dd58008a40004444666600a6600c0080040024644460040066008002244a0024605644a666064002244a002266600660720024446004006260046068002444a66606066ebc008c00c004488c00800c489400488c0a8894ccc0c4004400c4cc010c0e0004c008c0cc00488cc00cc020008004c098888ccc0100048c00488ccc02088004c014008cc0180140044c01d262533302b00112250011322230020033232233001003002302e00230320012223330047000040024446660124466601800a00400200400240484460040024604244a666050002294054ccc09ccdd798178008018a5113002302a001223233003302e0013756605c6052002605c002446660066008e00008cc020c02c0400048c00c88dd3198019bab002375600246004446ea0cc00cdd68011bad0012223333004003220020020012301b30020012232322330010030022225333024001133021003002132323253330263375e00400226604866ec0008cc024c0c0018c0c000cccc02088008014c0a401054ccc098cdc81bae002375c00226604800c666601044002006605200800a26604800666660104400200c00a605200860580046056008605600244a6660440042002266660064400260520046048004002446660060120040024446600e660080060040024446464646466ec0dd48011ba600130050023005002375660500046eb8c09000488ccc00c018008004888cc010cc01400c00800488cc050008004888c8c8c8c8cdd81ba90023750002600a004600a0046eb4c090008dd718100009000919b81480000052411256616c6964206f757470757420646174756d002232323253330173370e90000010a511323232533301a3370e90000010a501533301a3370e90020010a5113371e0126eb8c088004c08c008c07c004dd50021810001180e0009baa002488120923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec002300d22533301400110041330113003301b001300230160014bd701119802118019bab301b001001223300323003375a60340020024601244a666020002294454cc010c00cc05c0044c008c04800488ccc03400800400c5281198050008010a51233300422533300b001120041322533300c3001002153301100616133004300f0032337200020066eb8c044c0480040049282490c756e736f72746564206d617000230022253330090011005133006300330100013002300b0012323002233002002001230022330020020014bd6f7b6302ba04912c7074727946726f6d28505075624b657948617368293a206d757374206265203238206279746573206c6f6e67005734aae7d241317074727946726f6d2850446174615265636f72645b5d293a206c697374206973206c6f6e676572207468616e207a65726f00574492012c7074727946726f6d285053637269707448617368293a206d757374206265203238206279746573206c6f6e6700573892013f7265616368656420656e64206f662073756d207768696c65207374696c6c206e6f7420686176696e6720666f756e642074686520636f6e7374727563746f72005573aae848c008dd5000aab9e1", "role": "ValidatorRole", "version": "ScriptV2" } diff --git a/agora/Agora/Effect/TreasuryWithdrawal.hs b/agora/Agora/Effect/TreasuryWithdrawal.hs index 667d57a..32e7c79 100644 --- a/agora/Agora/Effect/TreasuryWithdrawal.hs +++ b/agora/Agora/Effect/TreasuryWithdrawal.hs @@ -15,7 +15,7 @@ module Agora.Effect.TreasuryWithdrawal ( import Agora.Effect (makeEffect) import Agora.SafeMoney (AuthorityTokenTag) -import Agora.Utils (psubtractSortedValue, puncurryTuple) +import Agora.Utils (pisSubValueOf, psubtractSortedValue, puncurryTuple) import Generics.SOP qualified as SOP import Plutarch.Api.Internal.Hashing (hashData) import Plutarch.Api.V1 (PCredential, PCurrencySymbol, PValue) @@ -265,7 +265,7 @@ treasuryWithdrawalValidator = plam $ [ ptraceIfFalse "Valid credential" $ expCred #== pfield @"credential" # oF.address , ptraceIfFalse "Valid value" $ - expVal #== oF.value + pisSubValueOf # oF.value # expVal , ptraceIfFalse "Valid output datum" $ checkOutputDatum # expCred # oF.datum ] diff --git a/agora/Agora/Utils.hs b/agora/Agora/Utils.hs index b69231f..662e3d2 100644 --- a/agora/Agora/Utils.hs +++ b/agora/Agora/Utils.hs @@ -20,10 +20,12 @@ module Agora.Utils ( phashDatum, puncurryTuple, psubtractSortedValue, + pisSubValueOf, ) where -import Plutarch.Api.V1 (KeyGuarantees (Sorted)) +import Plutarch.Api.V1 (AmountGuarantees (Positive), KeyGuarantees (Sorted)) import Plutarch.Api.V1.AssocMap (punionWith) +import Plutarch.Api.V1.AssocMap qualified as AssocMap import Plutarch.Api.V1.Scripts (PDatumHash (PDatumHash)) import Plutarch.Api.V2 ( AmountGuarantees (NoGuarantees), @@ -37,9 +39,10 @@ import Plutarch.Crypto (pblake2b_256) import Plutarch.DataRepr (punDataSum) import Plutarch.Extra.AssetClass (PAssetClass, PAssetClassData, ptoScottEncoding) import Plutarch.Extra.Field (pletAll) +import Plutarch.Extra.Functor (PFunctor (pfmap)) import Plutarch.Extra.Tagged (PTagged) import Plutarch.Extra.Value (psymbolValueOf) -import Plutarch.Num ((#-)) +import Plutarch.Num (PNum (pnegate, (#+))) import Plutarch.Unsafe (punsafeCoerce, punsafeDowncast) import PlutusLedgerApi.V2 ( Address (Address), @@ -167,6 +170,31 @@ psubtractSortedValue :: psubtractSortedValue = phoistAcyclic $ plam $ \a b -> punsafeCoerce $ punionWith - # (punionWith # plam (#-)) + # (punionWith # plam (#+)) # pto a + #$ pfmap + # (pfmap # pnegate) # pto b + +pisPositiveValue :: + forall (kg :: KeyGuarantees) (am :: AmountGuarantees) (s :: S). + Term s (PValue kg am :--> PBool) +pisPositiveValue = + phoistAcyclic $ + plam $ + (AssocMap.pall # (AssocMap.pall # plam (0 #<)) #) + . pto + +pisSubValueOf :: + forall (s :: S). + Term + s + ( PValue 'Sorted 'Positive + :--> PValue 'Sorted 'Positive + :--> PBool + ) +pisSubValueOf = phoistAcyclic $ plam $ \vl vr -> + pisPositiveValue + #$ psubtractSortedValue + # vl + # vr diff --git a/bench.csv b/bench.csv index 0478615..e69de29 100644 --- a/bench.csv +++ b/bench.csv @@ -1,555 +0,0 @@ -name,cpu,mem,size -Agora/Effects/Treasury Withdrawal Effect/totally valid/effect,321322200,919612,4373 -Agora/Effects/Treasury Withdrawal Effect/totally valid/treasury,55756262,158723,1778 -Agora/Effects/Treasury Withdrawal Effect/totally valid/authority,12933097,37168,2361 -Agora/Effects/Treasury Withdrawal Effect/bad received value/treasury,55756262,158723,1778 -Agora/Effects/Treasury Withdrawal Effect/bad received value/authority,12933097,37168,2361 -Agora/Effects/Treasury Withdrawal Effect/bad receiver order/treasury,55756262,158723,1778 -Agora/Effects/Treasury Withdrawal Effect/bad receiver order/authority,12933097,37168,2361 -Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,127096099,363203,11972 -Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/effect validator should pass,141642226,381311,4691 -Agora/Stake/policy/create/valid/stake owner: pub key,77615577,199376,3624 -Agora/Stake/policy/create/valid/stake owner: script,90754833,237955,3659 -Agora/Stake/validator/destroy/legal/One stake/stake validator,100840334,274931,8023 -Agora/Stake/validator/destroy/legal/One stake/stake policy,29665872,85956,3611 -Agora/Stake/validator/destroy/legal/Multiple stake/stake validator,667043159,1618397,11276 -Agora/Stake/validator/destroy/legal/Multiple stake/stake policy,292337523,820464,6863 -Agora/Stake/validator/destroy/illegal/Destroy locked stakes/stake policy,292337523,820464,6934 -Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,292337523,820464,6832 -Agora/Stake/validator/destroy/illegal/not authorized by owner/stake policy,292337523,820464,6863 -Agora/Stake/validator/stakeDepositWithdraw deposit,139816438,368808,8138 -Agora/Stake/validator/stakeDepositWithdraw withdraw,139816438,368808,8130 -Agora/Stake/validator/set delegate/override existing delegate,171344186,438637,8269 -Agora/Stake/validator/set delegate/remove existing delegate,162009190,415249,8199 -Agora/Stake/validator/set delegate/set delegate to something,168915198,431537,8199 -Agora/Proposal/policy (proposal creation)/legal/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/legal/governor,288774078,753024,12477 -Agora/Proposal/policy (proposal creation)/legal/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/illegal/invalid next proposal id/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/use other's stake/proposal,34112747,89817,2749 -Agora/Proposal/policy (proposal creation)/illegal/use other's stake/governor,288774078,753024,12446 -Agora/Proposal/policy (proposal creation)/illegal/altered stake/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/proposal,34112747,89817,2795 -Agora/Proposal/policy (proposal creation)/illegal/invalid stake locks/governor,288774078,753024,12492 -Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/proposal,34112747,89817,2804 -Agora/Proposal/policy (proposal creation)/illegal/has reached maximum proposals limit/stake,315124817,798642,9011 -Agora/Proposal/policy (proposal creation)/illegal/loose time range/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/illegal/loose time range/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/open time range/proposal,34112747,89817,2776 -Agora/Proposal/policy (proposal creation)/illegal/open time range/stake,298765565,751514,8971 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/VotingReady/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Locked/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/proposal,34112747,89817,2780 -Agora/Proposal/policy (proposal creation)/illegal/invalid proposal status/Finished/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/fake SST/proposal,34112747,89817,2687 -Agora/Proposal/policy (proposal creation)/illegal/wrong governor redeemer/stake,298765565,751514,8975 -Agora/Proposal/policy (proposal creation)/illegal/wrong governor redeemer/stake,298765565,751514,8975 -Agora/Proposal/validator/cosignature/legal/proposal,207214929,576996,12455 -Agora/Proposal/validator/cosignature/legal/stake,260705694,683894,8772 -Agora/Proposal/validator/cosignature/illegal/insufficient staked amount/stake,260705694,683894,8772 -Agora/Proposal/validator/cosignature/illegal/proposal locks not updated/proposal,207214929,576996,12448 -Agora/Proposal/validator/cosignature/illegal/duplicate cosigners/stake,268885320,707458,8792 -Agora/Proposal/validator/cosignature/illegal/cosigners not updated/stake,260705694,683894,8738 -Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260705694,683894,8772 -Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260705694,683894,8772 -Agora/Proposal/validator/cosignature/illegal/cosign after draft/(negative test)/stake,260705694,683894,8772 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/proposal,232103182,655396,12312 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by owner/stake,284909132,750121,8645 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/proposal,232103182,655396,12312 -Agora/Proposal/validator/voting/legal/different number of stakes/1 stakes/by delegatee/stake,292069583,768378,8645 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/proposal,353368568,983342,13546 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by owner/stake,594284390,1487279,9879 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/proposal,353368568,983342,13546 -Agora/Proposal/validator/voting/legal/different number of stakes/3 stakes/by delegatee/stake,601444841,1505536,9879 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/proposal,474633954,1311288,14779 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by owner/stake,903659648,2224437,11112 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/proposal,474633954,1311288,14779 -Agora/Proposal/validator/voting/legal/different number of stakes/5 stakes/by delegatee/stake,910820099,2242694,11112 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/proposal,595899340,1639234,16012 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by owner/stake,1213034906,2961595,12345 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/proposal,595899340,1639234,16012 -Agora/Proposal/validator/voting/legal/different number of stakes/7 stakes/by delegatee/stake,1220195357,2979852,12345 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/proposal,717164726,1967180,17244 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by owner/stake,1522410164,3698753,13577 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/proposal,717164726,1967180,17244 -Agora/Proposal/validator/voting/legal/different number of stakes/9 stakes/by delegatee/stake,1529570615,3717010,13577 -Agora/Proposal/validator/voting/legal/transparent non-GT tokens/proposal,232103182,655396,12312 -Agora/Proposal/validator/voting/legal/transparent non-GT tokens/stake,284909132,750121,8645 -Agora/Proposal/validator/voting/legal/Delegatee vote with own and delegated stakes in one tx/proposal,472204966,1304188,14709 -Agora/Proposal/validator/voting/legal/Delegatee vote with own and delegated stakes in one tx/stake,912220723,2239362,11042 -Agora/Proposal/validator/voting/illegal/vote for nonexistent outcome/stake,284909132,750121,8653 -Agora/Proposal/validator/voting/illegal/unauthorized tx/proposal,232103182,655396,12312 -Agora/Proposal/validator/voting/illegal/more than one proposals/stake,284909132,750121,8653 -Agora/Proposal/validator/voting/illegal/locks not added/proposal,474633954,1311288,14724 -Agora/Proposal/validator/voting/illegal/attempt to burn stakes/proposal,436453459,1199088,13686 -Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,284909132,750121,8640 -Agora/Proposal/validator/voting/illegal/insufficient staked amount/stake,903659648,2224437,11090 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,245633362,688711,12924 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,225020464,631696,12686 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,238582537,659308,14008 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,443068460,1180768,13498 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4008 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,242285392,677875,12645 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,221672494,620860,12407 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,235234567,648472,13549 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,440932826,1173958,13132 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,3642 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,216079711,610357,12679 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,214351328,600067,12680 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,226615452,631111,12680 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,212731741,599521,12400 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,211003358,589231,12401 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,223267482,620275,12401 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,238582537,659308,13803 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,453591002,1185814,13293 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,3803 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,235234567,648472,13344 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,451455368,1179004,12927 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,3437 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4008 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,3642 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,443068460,1180768,13498 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4008 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,440932826,1173958,13132 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91838439,229702,3642 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/forget to mint GATs/proposal,235234567,648472,12904 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,235234567,648472,13549 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,3642 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,235234567,648472,13581 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91838439,229702,3674 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/proposal,235234567,648472,13543 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong GAT datum/authority,91838439,229702,3636 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/proposal,235234567,648472,13549 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/invalid governor output datum/authority,91838439,229702,3642 -Agora/Proposal/validator/advancing/with 1 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,235234567,648472,13549 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,319394762,891621,13840 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,302476750,844594,13602 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,312343937,862218,14923 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,484572028,1297304,14108 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4618 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,312698822,869949,13279 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,295780810,822922,13041 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,305647997,840546,14184 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,480913441,1285076,13556 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4066 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,289841111,813267,13595 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,288112728,802977,13596 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,300376852,834021,13596 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,283145171,791595,13034 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,281416788,781305,13035 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,293680912,812349,13035 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,312343937,862218,14718 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,495094570,1302350,13903 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4413 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,305647997,840546,13979 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,491435983,1290122,13351 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,3861 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4618 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4066 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,484572028,1297304,14108 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4618 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,480913441,1285076,13556 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4066 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/forget to mint GATs/proposal,305647997,840546,13538 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,305647997,840546,14184 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4066 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,305647997,840546,14216 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4098 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/proposal,305647997,840546,14178 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong GAT datum/authority,91838439,229702,4060 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/proposal,305647997,840546,14184 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/invalid governor output datum/authority,91838439,229702,4066 -Agora/Proposal/validator/advancing/with 1 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,305647997,840546,14184 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,540678962,1500351,16587 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,534845608,1483288,16349 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,533628137,1470948,17670 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,609082732,1646912,15939 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,6449 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,523939112,1446171,15186 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,518105758,1429108,14948 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,516888287,1416768,16091 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,600855286,1618430,14827 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,5337 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,511125311,1421997,16342 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,509396928,1411707,16343 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,521661052,1442751,16343 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,494385461,1367817,14941 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,492657078,1357527,14942 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,504921202,1388571,14942 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,533628137,1470948,17465 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,619605274,1651958,15734 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,6244 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,516888287,1416768,15886 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,611377828,1623476,14622 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,5132 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,6449 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,5337 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,609082732,1646912,15939 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96904041,243358,6449 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,600855286,1618430,14827 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91838439,229702,5337 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/forget to mint GATs/proposal,516888287,1416768,15445 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,516888287,1416768,16091 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,5337 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,516888287,1416768,16123 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91838439,229702,5369 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/proposal,516888287,1416768,16085 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong GAT datum/authority,91838439,229702,5331 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/proposal,516888287,1416768,16091 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/invalid governor output datum/authority,91838439,229702,5337 -Agora/Proposal/validator/advancing/with 1 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,516888287,1416768,16091 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,425760556,1167807,14425 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,255371184,715424,13097 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,268933257,743036,14418 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,457941756,1222632,13771 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4281 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,422412586,1156971,14144 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,252023214,704588,12816 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,265585287,732200,13958 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,455806122,1215822,13405 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,3915 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,246430431,694085,13090 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,244702048,683795,13091 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,256966172,714839,13091 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,243082461,683249,12809 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,241354078,672959,12810 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,253618202,704003,12810 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,268933257,743036,14213 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,468464298,1227678,13566 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4076 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,265585287,732200,13753 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,466328664,1220868,13200 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,3710 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4281 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,3915 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,457941756,1222632,13771 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4281 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,455806122,1215822,13405 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91838439,229702,3915 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/forget to mint GATs/proposal,265585287,732200,13313 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,265585287,732200,13958 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,3915 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,265585287,732200,13990 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91838439,229702,3947 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/proposal,265585287,732200,13952 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong GAT datum/authority,91838439,229702,3909 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/proposal,265585287,732200,13958 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/invalid governor output datum/authority,91838439,229702,3915 -Agora/Proposal/validator/advancing/with 5 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,265585287,732200,13958 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,499521956,1370717,15340 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,332827470,928322,14012 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,342694657,945946,15333 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,499445324,1339168,14381 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4891 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,492826016,1349045,14780 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,326131530,906650,13451 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,335998717,924274,14594 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,495786737,1326940,13829 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4339 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,320191831,896995,14005 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,318463448,886705,14006 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,330727572,917749,14006 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,313495891,875323,13444 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,311767508,865033,13445 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,324031632,896077,13445 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,342694657,945946,15128 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,509967866,1344214,14176 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4686 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,335998717,924274,14389 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,506309279,1331986,13624 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,4134 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4891 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4339 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,499445324,1339168,14381 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4891 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,495786737,1326940,13829 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4339 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/forget to mint GATs/proposal,335998717,924274,13948 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,335998717,924274,14594 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4339 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,335998717,924274,14626 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4371 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/proposal,335998717,924274,14588 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong GAT datum/authority,91838439,229702,4333 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/proposal,335998717,924274,14594 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/invalid governor output datum/authority,91838439,229702,4339 -Agora/Proposal/validator/advancing/with 5 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,335998717,924274,14594 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,720806156,1979447,18086 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,565196328,1567016,16758 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,563978857,1554676,18079 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,623956028,1688776,16212 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,6722 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,704066306,1925267,16686 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,548456478,1512836,15357 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,547239007,1500496,16500 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,615728582,1660294,15100 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,5610 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,541476031,1505725,16751 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,539747648,1495435,16752 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,552011772,1526479,16752 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,524736181,1451545,15350 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,523007798,1441255,15351 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,535271922,1472299,15351 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,563978857,1554676,17874 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,634478570,1693822,16007 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,6517 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,547239007,1500496,16295 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,626251124,1665340,14895 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,5405 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,6722 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,5610 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,623956028,1688776,16212 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96904041,243358,6722 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,615728582,1660294,15100 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91838439,229702,5610 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/forget to mint GATs/proposal,547239007,1500496,15854 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,547239007,1500496,16500 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,5610 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,547239007,1500496,16532 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91838439,229702,5642 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/proposal,547239007,1500496,16494 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong GAT datum/authority,91838439,229702,5604 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/proposal,547239007,1500496,16500 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/invalid governor output datum/authority,91838439,229702,5610 -Agora/Proposal/validator/advancing/with 5 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,547239007,1500496,16500 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,666082992,1812368,16301 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,293309584,820084,13608 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,306871657,847696,14929 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,476533376,1274962,14112 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,4622 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Draft to VotingReady/proposal,662735022,1801532,16022 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from VotingReady to Locked/proposal,289961614,809248,13328 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/proposal,303523687,836860,14471 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/governor,474397742,1268152,13747 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4257 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,284368831,798745,13601 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,282640448,788455,13602 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,294904572,819499,13602 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Draft to Finished/proposal,281020861,787909,13321 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from VotingReady to Finished/proposal,279292478,777619,13322 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to failed state/from Locked to Finished/proposal,291556602,808663,13322 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,306871657,847696,14724 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,487055918,1280008,13907 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,4417 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,303523687,836860,14266 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/governor,484920284,1273198,13542 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,4052 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,4622 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4257 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,476533376,1274962,14112 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,96904041,243358,4622 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/governor,474397742,1268152,13747 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4257 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/forget to mint GATs/proposal,303523687,836860,13825 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/proposal,303523687,836860,14471 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4257 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/proposal,303523687,836860,14503 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4289 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/proposal,303523687,836860,14465 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong GAT datum/authority,91838439,229702,4251 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/proposal,303523687,836860,14471 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/invalid governor output datum/authority,91838439,229702,4257 -Agora/Proposal/validator/advancing/with 10 cosigners and 1 effects/illegal/wrong governor redeemer/proposal,303523687,836860,14471 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,739844392,2015278,17217 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,370765870,1032982,14523 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,380633057,1050606,15844 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,518036944,1391498,14722 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,5232 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Draft to VotingReady/proposal,733148452,1993606,16657 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from VotingReady to Locked/proposal,364069930,1011310,13964 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/proposal,373937117,1028934,15106 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/governor,514378357,1379270,14170 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,4680 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,358130231,1001655,14516 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,356401848,991365,14517 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,368665972,1022409,14517 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Draft to Finished/proposal,351434291,979983,13957 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from VotingReady to Finished/proposal,349705908,969693,13958 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to failed state/from Locked to Finished/proposal,361970032,1000737,13958 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,380633057,1050606,15640 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,528559486,1396544,14518 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,5028 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,373937117,1028934,14901 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/governor,524900899,1384316,13965 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,4475 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,5232 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,4680 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,518036944,1391498,14722 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,96904041,243358,5232 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/governor,514378357,1379270,14170 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/to next state too late/from Locked/authority,91838439,229702,4680 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/forget to mint GATs/proposal,373937117,1028934,14461 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/proposal,373937117,1028934,15106 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,4680 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/proposal,373937117,1028934,15138 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/mint GATs with bad token name/authority,91838439,229702,4712 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/proposal,373937117,1028934,15100 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong GAT datum/authority,91838439,229702,4674 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/proposal,373937117,1028934,15106 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/invalid governor output datum/authority,91838439,229702,4680 -Agora/Proposal/validator/advancing/with 10 cosigners and 2 effects/illegal/wrong governor redeemer/proposal,373937117,1028934,15106 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,961128592,2624008,19964 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,603134728,1671676,17270 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,601917257,1659336,18592 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,642547648,1741106,16554 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,96904041,243358,7064 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Draft to VotingReady/proposal,944388742,2569828,18563 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from VotingReady to Locked/proposal,586394878,1617496,15870 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/proposal,585177407,1605156,17012 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/governor,634320202,1712624,15441 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to next state/from Locked to Finished/authority,91838439,229702,5951 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,579414431,1610385,17263 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,577686048,1600095,17264 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,589950172,1631139,17264 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Draft to Finished/proposal,562674581,1556205,15863 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from VotingReady to Finished/proposal,560946198,1545915,15864 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to failed state/from Locked to Finished/proposal,573210322,1576959,15864 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,601917257,1659336,18387 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,653070190,1746152,16349 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,96904041,243358,6859 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/proposal,585177407,1605156,16807 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/governor,644842744,1717670,15236 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/legal/to finished state with inline datum/from Locked to Finished/authority,91838439,229702,5746 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,96904041,243358,7064 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/advance finished proposals/(negative test)/authority,91838439,229702,5951 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,642547648,1741106,16554 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,96904041,243358,7064 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/governor,634320202,1712624,15441 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/to next state too late/from Locked/authority,91838439,229702,5951 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/forget to mint GATs/proposal,585177407,1605156,16367 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/proposal,585177407,1605156,17012 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs for wrong validators/authority,91838439,229702,5951 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/proposal,585177407,1605156,17044 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/mint GATs with bad token name/authority,91838439,229702,5983 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/proposal,585177407,1605156,17006 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong GAT datum/authority,91838439,229702,5945 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/proposal,585177407,1605156,17012 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/invalid governor output datum/authority,91838439,229702,5951 -Agora/Proposal/validator/advancing/with 10 cosigners and 5 effects/illegal/wrong governor redeemer/proposal,585177407,1605156,17012 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/stake,289124604,745249,8864 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting/proposal,246288485,689010,12537 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/stake,296285055,763506,8864 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter: retract votes while voting by delegatee/proposal,246288485,689010,12537 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/stake,301278945,780103,8883 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/voter/creator: retract votes while voting/proposal,257516709,722104,12550 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/stake,286791790,738956,8861 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/creator: remove creator lock after voting/proposal,190534728,531612,12538 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/stake,289129364,745353,8869 -Agora/Proposal/validator/unlocking/legal/with 1 stakes/Voter: remove lock after voting/proposal,192607746,537208,12542 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/stake,595103204,1436905,10217 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting/proposal,400095783,1110840,13890 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/stake,602263655,1455162,10217 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter: retract votes while voting by delegatee/proposal,400095783,1110840,13890 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/stake,631566227,1541467,10263 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/voter/creator: retract votes while voting/proposal,433780455,1210122,13930 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/stake,585842806,1413218,10206 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/creator: remove creator lock after voting/proposal,260160606,702918,13883 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/stake,592855528,1432409,10222 -Agora/Proposal/validator/unlocking/legal/with 3 stakes/Voter: remove lock after voting/proposal,266379660,719706,13895 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/stake,920728460,2160001,11571 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting/proposal,553903081,1532670,15244 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/stake,927888911,2178258,11571 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter: retract votes while voting by delegatee/proposal,553903081,1532670,15244 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/stake,981500165,2334271,11642 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/voter/creator: retract votes while voting/proposal,610044201,1698140,15309 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/stake,904540478,2118920,11552 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/creator: remove creator lock after voting/proposal,329786484,874224,15229 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/stake,916228348,2150905,11576 -Agora/Proposal/validator/unlocking/legal/with 5 stakes/Voter: remove lock after voting/proposal,340151574,902204,15249 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/stake,1266000372,2914537,12924 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting/proposal,707710379,1954500,16597 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/stake,1273160823,2932794,12924 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter: retract votes while voting by delegatee/proposal,707710379,1954500,16597 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/stake,1351080759,3158515,13021 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/voter/creator: retract votes while voting/proposal,786307947,2186158,16688 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/stake,1242884806,2856062,12897 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/creator: remove creator lock after voting/proposal,399412362,1045530,16574 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/stake,1259247824,2900841,12929 -Agora/Proposal/validator/unlocking/legal/with 7 stakes/Voter: remove lock after voting/proposal,413923488,1084702,16602 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/stake,1630918940,3700513,14277 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting/proposal,861517677,2376330,17950 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/stake,1638079391,3718770,14277 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter: retract votes while voting by delegatee/proposal,861517677,2376330,17950 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/stake,1740308009,4014199,14401 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/voter/creator: retract votes while voting/proposal,962571693,2674176,18068 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/stake,1600875790,3624644,14242 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/creator: remove creator lock after voting/proposal,469038240,1216836,17919 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/stake,1621913956,3682217,14282 -Agora/Proposal/validator/unlocking/legal/with 9 stakes/Voter: remove lock after voting/proposal,487695402,1267200,17955 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/stake,2015484164,4517929,15632 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting/proposal,1015324975,2798160,19305 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/stake,2022644615,4536186,15632 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter: retract votes while voting by delegatee/proposal,1015324975,2798160,19305 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/stake,2149181915,4901323,15781 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/voter/creator: retract votes while voting/proposal,1138835439,3162194,19448 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/stake,1978513430,4424666,15588 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/creator: remove creator lock after voting/proposal,538664118,1388142,19265 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/stake,2004226744,4495033,15637 -Agora/Proposal/validator/unlocking/legal/with 11 stakes/Voter: remove lock after voting/proposal,561467316,1449698,19310 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,288559115,744047,8864 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,289690093,746451,8864 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes while not voting/(negative test)/stake,289129364,745353,8864 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,188838261,528006,12538 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,196647635,546514,12538 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/remove creator too early/(negative test)/proposal,189969239,530410,12538 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/creator: retract votes/stake,285078263,740906,8863 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/change output stake value/proposal,246288485,689010,12534 -Agora/Proposal/validator/unlocking/illegal/with 1 stakes/retract votes in cooldown/proposal,257516709,722104,12550 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,594537715,1435703,10217 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,595668693,1438107,10217 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes while not voting/(negative test)/stake,592855528,1432409,10217 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,258464139,699312,13883 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,266273513,717820,13883 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/remove creator too early/(negative test)/proposal,259595117,701716,13883 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/creator: retract votes/stake,568229189,1400296,10222 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/change output stake value/proposal,400095783,1110840,13881 -Agora/Proposal/validator/unlocking/illegal/with 3 stakes/retract votes in cooldown/proposal,433780455,1210122,13930 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,920162971,2158799,11571 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,921293949,2161203,11571 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes while not voting/(negative test)/stake,916228348,2150905,11571 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,328090017,870618,15229 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,335899391,889126,15229 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/remove creator too early/(negative test)/proposal,329220995,873022,15229 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/creator: retract votes/stake,851380115,2059686,11582 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/change output stake value/proposal,553903081,1532670,15229 -Agora/Proposal/validator/unlocking/illegal/with 5 stakes/retract votes in cooldown/proposal,610044201,1698140,15309 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1265434883,2913335,12924 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1266565861,2915739,12924 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes while not voting/(negative test)/stake,1259247824,2900841,12924 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,397715895,1041924,16574 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,405525269,1060432,16574 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/remove creator too early/(negative test)/proposal,398846873,1044328,16574 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/creator: retract votes/stake,1134531041,2719076,12941 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/change output stake value/proposal,707710379,1954500,16576 -Agora/Proposal/validator/unlocking/illegal/with 7 stakes/retract votes in cooldown/proposal,786307947,2186158,16688 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1630353451,3699311,14277 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1631484429,3701715,14277 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes while not voting/(negative test)/stake,1621913956,3682217,14277 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,467341773,1213230,17919 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,475151147,1231738,17919 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/remove creator too early/(negative test)/proposal,468472751,1215634,17919 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/creator: retract votes/stake,1417681967,3378466,14300 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/change output stake value/proposal,861517677,2376330,17923 -Agora/Proposal/validator/unlocking/illegal/with 9 stakes/retract votes in cooldown/proposal,962571693,2674176,18068 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2014918675,4516727,15632 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2016049653,4519131,15632 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes while not voting/(negative test)/stake,2004226744,4495033,15632 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,536967651,1384536,19265 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,544777025,1403044,19265 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/remove creator too early/(negative test)/proposal,538098629,1386940,19265 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/creator: retract votes/stake,1700832893,4037856,15661 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/change output stake value/proposal,1015324975,2798160,19271 -Agora/Proposal/validator/unlocking/illegal/with 11 stakes/retract votes in cooldown/proposal,1138835439,3162194,19448 -Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,26525223,76151,758 -Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,51650175,146621,858 -Agora/AuthorityToken/singleAuthorityTokenBurned/Correct even though scripts don't match,26525223,76151,757 -Agora/Treasury/Validator/Positive/Allows for effect changes,42901346,122424,1459 -Agora/Treasury/Validator/Positive/Fails when GAT token name is not script address,42901346,122424,1463 -Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,26525223,76151,758 -Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,51650175,146621,858 -Agora/AuthorityToken/singleAuthorityTokenBurned/Correct even though scripts don't match,26525223,76151,757 -Agora/Governor/policy/totally legal,63484709,171628,2706 -Agora/Governor/validator/mutate/legal,131994431,372499,11786