From 8bccbd9e004b3a1537407e37209d9c3ec186ea29 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Wed, 28 Aug 2024 17:41:32 +0200 Subject: [PATCH] Update acceptance tests and script context tests to latest stdlib. --- examples/acceptance_tests/036/aiken.lock | 6 ++--- examples/acceptance_tests/036/aiken.toml | 2 +- examples/acceptance_tests/036/plutus.json | 2 +- examples/acceptance_tests/047/plutus.json | 2 +- examples/acceptance_tests/054/aiken.lock | 2 +- examples/acceptance_tests/055/aiken.lock | 5 ++-- examples/acceptance_tests/055/aiken.toml | 2 +- examples/acceptance_tests/061/aiken.lock | 5 ++-- examples/acceptance_tests/061/aiken.toml | 2 +- examples/acceptance_tests/063/aiken.lock | 2 +- examples/acceptance_tests/067/aiken.lock | 2 +- examples/acceptance_tests/068/aiken.lock | 2 +- examples/acceptance_tests/069/aiken.lock | 2 +- examples/acceptance_tests/070/aiken.lock | 5 ++-- examples/acceptance_tests/070/aiken.toml | 2 +- examples/acceptance_tests/071/aiken.lock | 6 ++--- examples/acceptance_tests/071/aiken.toml | 2 +- examples/acceptance_tests/071/plutus.json | 2 +- .../acceptance_tests/071/validators/spend.ak | 4 +-- examples/acceptance_tests/072/aiken.lock | 5 ++-- examples/acceptance_tests/072/aiken.toml | 2 +- examples/acceptance_tests/073/aiken.lock | 2 +- examples/acceptance_tests/074/aiken.lock | 2 +- examples/acceptance_tests/077/aiken.lock | 6 ++--- examples/acceptance_tests/077/aiken.toml | 2 +- examples/acceptance_tests/077/plutus.json | 2 +- examples/acceptance_tests/079/plutus.json | 2 +- examples/acceptance_tests/082/aiken.lock | 5 ++-- examples/acceptance_tests/082/aiken.toml | 2 +- examples/acceptance_tests/083/aiken.lock | 5 ++-- examples/acceptance_tests/083/aiken.toml | 2 +- examples/acceptance_tests/084/aiken.lock | 2 +- examples/acceptance_tests/086/aiken.lock | 6 ++--- examples/acceptance_tests/086/aiken.toml | 2 +- examples/acceptance_tests/086/plutus.json | 2 +- .../acceptance_tests/086/validators/other.ak | 2 +- examples/acceptance_tests/087/aiken.lock | 2 +- examples/acceptance_tests/088/aiken.lock | 2 +- examples/acceptance_tests/089/aiken.lock | 6 ++--- examples/acceptance_tests/089/aiken.toml | 2 +- examples/acceptance_tests/089/lib/tests.ak | 2 +- examples/acceptance_tests/089/plutus.json | 2 +- .../acceptance_tests/089/validators/test2.ak | 2 +- examples/acceptance_tests/090/plutus.json | 2 +- examples/acceptance_tests/096/aiken.lock | 2 +- examples/acceptance_tests/096/plutus.json | 2 +- examples/acceptance_tests/099/aiken.lock | 2 +- examples/acceptance_tests/101/aiken.lock | 4 +-- examples/acceptance_tests/102/aiken.lock | 2 +- examples/acceptance_tests/104/aiken.lock | 4 +-- examples/acceptance_tests/104/plutus.json | 2 +- .../script_context/v3/aiken.lock | 6 ++--- .../script_context/v3/aiken.toml | 3 +-- .../script_context/v3/plutus.json | 26 +++++++++---------- .../v3/validators/certificates.ak | 12 ++++----- .../script_context/v3/validators/mint.ak | 14 +++++----- .../v3/validators/proposing_all.ak | 2 +- .../v3/validators/simple_spend.ak | 2 +- .../script_context/v3/validators/voting.ak | 2 +- .../script_context/v3/validators/withdraw.ak | 2 +- 60 files changed, 104 insertions(+), 111 deletions(-) diff --git a/examples/acceptance_tests/036/aiken.lock b/examples/acceptance_tests/036/aiken.lock index 0b889661..d046d5d4 100644 --- a/examples/acceptance_tests/036/aiken.lock +++ b/examples/acceptance_tests/036/aiken.lock @@ -3,14 +3,14 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724777134, nanos_since_epoch = 232157000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859223, nanos_since_epoch = 234656000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/036/aiken.toml b/examples/acceptance_tests/036/aiken.toml index 9ab33a02..8147c157 100644 --- a/examples/acceptance_tests/036/aiken.toml +++ b/examples/acceptance_tests/036/aiken.toml @@ -3,5 +3,5 @@ version = "0.0.0" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'v2' +version = 'main' source = 'github' diff --git a/examples/acceptance_tests/036/plutus.json b/examples/acceptance_tests/036/plutus.json index 515258cd..1a4eac3c 100644 --- a/examples/acceptance_tests/036/plutus.json +++ b/examples/acceptance_tests/036/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/047/plutus.json b/examples/acceptance_tests/047/plutus.json index 9dfc4a4f..cb6746d0 100644 --- a/examples/acceptance_tests/047/plutus.json +++ b/examples/acceptance_tests/047/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/054/aiken.lock b/examples/acceptance_tests/054/aiken.lock index 59f3e01b..2badbce5 100644 --- a/examples/acceptance_tests/054/aiken.lock +++ b/examples/acceptance_tests/054/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776969, nanos_since_epoch = 835808000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858661, nanos_since_epoch = 121355000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/055/aiken.lock b/examples/acceptance_tests/055/aiken.lock index 472e63d4..62f2265a 100644 --- a/examples/acceptance_tests/055/aiken.lock +++ b/examples/acceptance_tests/055/aiken.lock @@ -3,14 +3,13 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776974, nanos_since_epoch = 866167000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] diff --git a/examples/acceptance_tests/055/aiken.toml b/examples/acceptance_tests/055/aiken.toml index 97e0ed2e..ec5d3d48 100644 --- a/examples/acceptance_tests/055/aiken.toml +++ b/examples/acceptance_tests/055/aiken.toml @@ -3,5 +3,5 @@ version = "0.0.0" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'main' +version = '1.9.0' source = 'github' diff --git a/examples/acceptance_tests/061/aiken.lock b/examples/acceptance_tests/061/aiken.lock index 3e15749b..62f2265a 100644 --- a/examples/acceptance_tests/061/aiken.lock +++ b/examples/acceptance_tests/061/aiken.lock @@ -3,14 +3,13 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776995, nanos_since_epoch = 750600000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] diff --git a/examples/acceptance_tests/061/aiken.toml b/examples/acceptance_tests/061/aiken.toml index 1b2e4d85..75131461 100644 --- a/examples/acceptance_tests/061/aiken.toml +++ b/examples/acceptance_tests/061/aiken.toml @@ -4,5 +4,5 @@ description = '' [[dependencies]] name = 'aiken-lang/stdlib' -version = 'main' +version = '1.9.0' source = 'github' diff --git a/examples/acceptance_tests/063/aiken.lock b/examples/acceptance_tests/063/aiken.lock index 2cec8363..0a73fd9d 100644 --- a/examples/acceptance_tests/063/aiken.lock +++ b/examples/acceptance_tests/063/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776974, nanos_since_epoch = 455232000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858662, nanos_since_epoch = 117929000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/067/aiken.lock b/examples/acceptance_tests/067/aiken.lock index 37bf10bf..ec376d9a 100644 --- a/examples/acceptance_tests/067/aiken.lock +++ b/examples/acceptance_tests/067/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724777001, nanos_since_epoch = 587403000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858672, nanos_since_epoch = 430447000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/068/aiken.lock b/examples/acceptance_tests/068/aiken.lock index 3731aa41..dc5cb44f 100644 --- a/examples/acceptance_tests/068/aiken.lock +++ b/examples/acceptance_tests/068/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776997, nanos_since_epoch = 900786000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858671, nanos_since_epoch = 371187000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/069/aiken.lock b/examples/acceptance_tests/069/aiken.lock index d9630391..74c41048 100644 --- a/examples/acceptance_tests/069/aiken.lock +++ b/examples/acceptance_tests/069/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724777000, nanos_since_epoch = 47370000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858672, nanos_since_epoch = 430461000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/070/aiken.lock b/examples/acceptance_tests/070/aiken.lock index 10526fde..62f2265a 100644 --- a/examples/acceptance_tests/070/aiken.lock +++ b/examples/acceptance_tests/070/aiken.lock @@ -3,14 +3,13 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776959, nanos_since_epoch = 949879000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] diff --git a/examples/acceptance_tests/070/aiken.toml b/examples/acceptance_tests/070/aiken.toml index d000db37..0f5217e4 100644 --- a/examples/acceptance_tests/070/aiken.toml +++ b/examples/acceptance_tests/070/aiken.toml @@ -4,5 +4,5 @@ description = '' [[dependencies]] name = 'aiken-lang/stdlib' -version = 'main' +version = '1.9.0' source = 'github' diff --git a/examples/acceptance_tests/071/aiken.lock b/examples/acceptance_tests/071/aiken.lock index 2e59bd68..88aeb0cd 100644 --- a/examples/acceptance_tests/071/aiken.lock +++ b/examples/acceptance_tests/071/aiken.lock @@ -3,14 +3,14 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724776963, nanos_since_epoch = 265617000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859220, nanos_since_epoch = 62858000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/071/aiken.toml b/examples/acceptance_tests/071/aiken.toml index f6bcb889..500993fe 100644 --- a/examples/acceptance_tests/071/aiken.toml +++ b/examples/acceptance_tests/071/aiken.toml @@ -4,5 +4,5 @@ version = "0.0.0" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'v2' +version = 'main' source = 'github' diff --git a/examples/acceptance_tests/071/plutus.json b/examples/acceptance_tests/071/plutus.json index f2ad08e5..68dcebe1 100644 --- a/examples/acceptance_tests/071/plutus.json +++ b/examples/acceptance_tests/071/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/071/validators/spend.ak b/examples/acceptance_tests/071/validators/spend.ak index 2d80e083..0cc05aff 100644 --- a/examples/acceptance_tests/071/validators/spend.ak +++ b/examples/acceptance_tests/071/validators/spend.ak @@ -1,11 +1,11 @@ use aiken/collection/list -use aiken/hash.{Blake2b_224, Hash} +use aiken/crypto.{Blake2b_224, Hash} use aiken/interval.{Finite} use aiken/option use cardano/assets.{ AssetName, PolicyId, Value, add, flatten, from_asset, negate, quantity_of, } -use cardano/credential.{Address, Script, VerificationKey} +use cardano/address.{Address, Script, VerificationKey} use cardano/transaction.{ Datum, InlineDatum, Input, Output, OutputReference, Transaction, TransactionId, ValidityRange, diff --git a/examples/acceptance_tests/072/aiken.lock b/examples/acceptance_tests/072/aiken.lock index b056341f..62f2265a 100644 --- a/examples/acceptance_tests/072/aiken.lock +++ b/examples/acceptance_tests/072/aiken.lock @@ -3,14 +3,13 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776989, nanos_since_epoch = 656788000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] diff --git a/examples/acceptance_tests/072/aiken.toml b/examples/acceptance_tests/072/aiken.toml index 40b30534..9d4a3122 100644 --- a/examples/acceptance_tests/072/aiken.toml +++ b/examples/acceptance_tests/072/aiken.toml @@ -3,5 +3,5 @@ version = "0.0.0" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'main' +version = '1.9.0' source = 'github' diff --git a/examples/acceptance_tests/073/aiken.lock b/examples/acceptance_tests/073/aiken.lock index ab783864..0a71dc1a 100644 --- a/examples/acceptance_tests/073/aiken.lock +++ b/examples/acceptance_tests/073/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776984, nanos_since_epoch = 618944000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858665, nanos_since_epoch = 156668000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/074/aiken.lock b/examples/acceptance_tests/074/aiken.lock index be4a2579..69d3f12f 100644 --- a/examples/acceptance_tests/074/aiken.lock +++ b/examples/acceptance_tests/074/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776985, nanos_since_epoch = 375340000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858665, nanos_since_epoch = 250481000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/077/aiken.lock b/examples/acceptance_tests/077/aiken.lock index b2de77b0..ef62febb 100644 --- a/examples/acceptance_tests/077/aiken.lock +++ b/examples/acceptance_tests/077/aiken.lock @@ -3,14 +3,14 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724776958, nanos_since_epoch = 450634000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859218, nanos_since_epoch = 869507000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/077/aiken.toml b/examples/acceptance_tests/077/aiken.toml index f9f4ad3c..7cc5126b 100644 --- a/examples/acceptance_tests/077/aiken.toml +++ b/examples/acceptance_tests/077/aiken.toml @@ -4,5 +4,5 @@ version = "0.0.0" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'v2' +version = 'main' source = 'github' diff --git a/examples/acceptance_tests/077/plutus.json b/examples/acceptance_tests/077/plutus.json index e3aeb65f..5caa4c89 100644 --- a/examples/acceptance_tests/077/plutus.json +++ b/examples/acceptance_tests/077/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/079/plutus.json b/examples/acceptance_tests/079/plutus.json index 15d13ffe..a2808a3a 100644 --- a/examples/acceptance_tests/079/plutus.json +++ b/examples/acceptance_tests/079/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/082/aiken.lock b/examples/acceptance_tests/082/aiken.lock index ccd0fa07..62f2265a 100644 --- a/examples/acceptance_tests/082/aiken.lock +++ b/examples/acceptance_tests/082/aiken.lock @@ -3,14 +3,13 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776965, nanos_since_epoch = 937696000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] diff --git a/examples/acceptance_tests/082/aiken.toml b/examples/acceptance_tests/082/aiken.toml index 6b46440e..5b0a85fd 100644 --- a/examples/acceptance_tests/082/aiken.toml +++ b/examples/acceptance_tests/082/aiken.toml @@ -4,5 +4,5 @@ description = "" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'main' +version = '1.9.0' source = 'github' diff --git a/examples/acceptance_tests/083/aiken.lock b/examples/acceptance_tests/083/aiken.lock index 0301487c..62f2265a 100644 --- a/examples/acceptance_tests/083/aiken.lock +++ b/examples/acceptance_tests/083/aiken.lock @@ -3,14 +3,13 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "main" +version = "1.9.0" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776958, nanos_since_epoch = 302886000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] diff --git a/examples/acceptance_tests/083/aiken.toml b/examples/acceptance_tests/083/aiken.toml index 1d26e775..b4a4dcb6 100644 --- a/examples/acceptance_tests/083/aiken.toml +++ b/examples/acceptance_tests/083/aiken.toml @@ -4,5 +4,5 @@ description = "" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'main' +version = '1.9.0' source = 'github' diff --git a/examples/acceptance_tests/084/aiken.lock b/examples/acceptance_tests/084/aiken.lock index 434074d3..25f5ead4 100644 --- a/examples/acceptance_tests/084/aiken.lock +++ b/examples/acceptance_tests/084/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776958, nanos_since_epoch = 249560000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858655, nanos_since_epoch = 599974000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/086/aiken.lock b/examples/acceptance_tests/086/aiken.lock index 10464475..79b55eec 100644 --- a/examples/acceptance_tests/086/aiken.lock +++ b/examples/acceptance_tests/086/aiken.lock @@ -3,14 +3,14 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724776991, nanos_since_epoch = 269398000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859229, nanos_since_epoch = 805054000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/086/aiken.toml b/examples/acceptance_tests/086/aiken.toml index 8da7a4ab..914a1b5a 100644 --- a/examples/acceptance_tests/086/aiken.toml +++ b/examples/acceptance_tests/086/aiken.toml @@ -4,5 +4,5 @@ description = "" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'v2' +version = 'main' source = 'github' diff --git a/examples/acceptance_tests/086/plutus.json b/examples/acceptance_tests/086/plutus.json index d2546429..93c92cf2 100644 --- a/examples/acceptance_tests/086/plutus.json +++ b/examples/acceptance_tests/086/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/086/validators/other.ak b/examples/acceptance_tests/086/validators/other.ak index c548df3f..95f43e20 100644 --- a/examples/acceptance_tests/086/validators/other.ak +++ b/examples/acceptance_tests/086/validators/other.ak @@ -1,4 +1,4 @@ -use cardano/credential.{Address} +use cardano/address.{Address} use cardano/transaction.{Transaction} type TestData { diff --git a/examples/acceptance_tests/087/aiken.lock b/examples/acceptance_tests/087/aiken.lock index d8ea5732..dec3383e 100644 --- a/examples/acceptance_tests/087/aiken.lock +++ b/examples/acceptance_tests/087/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776982, nanos_since_epoch = 107153000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858665, nanos_since_epoch = 159348000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/088/aiken.lock b/examples/acceptance_tests/088/aiken.lock index 5e6cbb9b..e2d894d5 100644 --- a/examples/acceptance_tests/088/aiken.lock +++ b/examples/acceptance_tests/088/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776991, nanos_since_epoch = 282756000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858669, nanos_since_epoch = 286231000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/089/aiken.lock b/examples/acceptance_tests/089/aiken.lock index 0483893d..0f416334 100644 --- a/examples/acceptance_tests/089/aiken.lock +++ b/examples/acceptance_tests/089/aiken.lock @@ -3,14 +3,14 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724776982, nanos_since_epoch = 146951000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859226, nanos_since_epoch = 911810000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/089/aiken.toml b/examples/acceptance_tests/089/aiken.toml index 137b61ba..ff0ea909 100644 --- a/examples/acceptance_tests/089/aiken.toml +++ b/examples/acceptance_tests/089/aiken.toml @@ -4,5 +4,5 @@ description = "" [[dependencies]] name = 'aiken-lang/stdlib' -version = 'v2' +version = 'main' source = 'github' diff --git a/examples/acceptance_tests/089/lib/tests.ak b/examples/acceptance_tests/089/lib/tests.ak index ab39bad4..1f9dd595 100644 --- a/examples/acceptance_tests/089/lib/tests.ak +++ b/examples/acceptance_tests/089/lib/tests.ak @@ -1,5 +1,5 @@ +use cardano/address.{Address, VerificationKey} use cardano/assets.{from_lovelace} -use cardano/credential.{Address, VerificationKey} use cardano/transaction.{Datum, InlineDatum, NoDatum, Output} type SmallOracleState { diff --git a/examples/acceptance_tests/089/plutus.json b/examples/acceptance_tests/089/plutus.json index a2803504..0dadcda6 100644 --- a/examples/acceptance_tests/089/plutus.json +++ b/examples/acceptance_tests/089/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/089/validators/test2.ak b/examples/acceptance_tests/089/validators/test2.ak index 4434ed2c..20a73eaa 100644 --- a/examples/acceptance_tests/089/validators/test2.ak +++ b/examples/acceptance_tests/089/validators/test2.ak @@ -1,6 +1,6 @@ use aiken/collection/list use cardano/assets -use cardano/credential.{Address, VerificationKey} +use cardano/address.{Address, VerificationKey} use cardano/transaction.{Input, NoDatum, Output, OutputReference, Transaction} pub const own_hash = #"01020304050607080910111213140102030405060708091011121314" diff --git a/examples/acceptance_tests/090/plutus.json b/examples/acceptance_tests/090/plutus.json index 31c9f2e0..0bb4779d 100644 --- a/examples/acceptance_tests/090/plutus.json +++ b/examples/acceptance_tests/090/plutus.json @@ -5,7 +5,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" } }, "validators": [ diff --git a/examples/acceptance_tests/096/aiken.lock b/examples/acceptance_tests/096/aiken.lock index 299bf850..f2f0f9bb 100644 --- a/examples/acceptance_tests/096/aiken.lock +++ b/examples/acceptance_tests/096/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724776968, nanos_since_epoch = 78547000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724858659, nanos_since_epoch = 853227000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] diff --git a/examples/acceptance_tests/096/plutus.json b/examples/acceptance_tests/096/plutus.json index c216cf87..2bdb09ea 100644 --- a/examples/acceptance_tests/096/plutus.json +++ b/examples/acceptance_tests/096/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" }, "license": "Apache-2.0" }, diff --git a/examples/acceptance_tests/099/aiken.lock b/examples/acceptance_tests/099/aiken.lock index 72c4abc2..cbb17a18 100644 --- a/examples/acceptance_tests/099/aiken.lock +++ b/examples/acceptance_tests/099/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776974, nanos_since_epoch = 482154000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858661, nanos_since_epoch = 946663000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/101/aiken.lock b/examples/acceptance_tests/101/aiken.lock index 1915b827..747d216b 100644 --- a/examples/acceptance_tests/101/aiken.lock +++ b/examples/acceptance_tests/101/aiken.lock @@ -24,5 +24,5 @@ requirements = [] source = "github" [etags] -"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1724776982, nanos_since_epoch = 317854000 }, "24d601fa19a2002318495bbb8562b9677563ca1b5c03126d6b093a65df076bef"] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776982, nanos_since_epoch = 83201000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1724858664, nanos_since_epoch = 894607000 }, "24d601fa19a2002318495bbb8562b9677563ca1b5c03126d6b093a65df076bef"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858664, nanos_since_epoch = 575290000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/102/aiken.lock b/examples/acceptance_tests/102/aiken.lock index b0f59358..b085e281 100644 --- a/examples/acceptance_tests/102/aiken.lock +++ b/examples/acceptance_tests/102/aiken.lock @@ -13,4 +13,4 @@ requirements = [] source = "github" [etags] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776954, nanos_since_epoch = 774618000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858655, nanos_since_epoch = 458245000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/104/aiken.lock b/examples/acceptance_tests/104/aiken.lock index 9b0ad657..1e0e47b8 100644 --- a/examples/acceptance_tests/104/aiken.lock +++ b/examples/acceptance_tests/104/aiken.lock @@ -24,5 +24,5 @@ requirements = [] source = "github" [etags] -"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1724776955, nanos_since_epoch = 575782000 }, "24d601fa19a2002318495bbb8562b9677563ca1b5c03126d6b093a65df076bef"] -"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724776954, nanos_since_epoch = 782601000 }, "5e58899446492a704d0927a43299139856bef746e697b55895ba34206fa28452"] +"aiken-lang/fuzz@main" = [{ secs_since_epoch = 1724858655, nanos_since_epoch = 980801000 }, "24d601fa19a2002318495bbb8562b9677563ca1b5c03126d6b093a65df076bef"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724858655, nanos_since_epoch = 458211000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/104/plutus.json b/examples/acceptance_tests/104/plutus.json index 021fd28f..d031bb6c 100644 --- a/examples/acceptance_tests/104/plutus.json +++ b/examples/acceptance_tests/104/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+4003343" + "version": "v1.0.31-alpha+745f14c" }, "license": "Apache-2.0" }, diff --git a/examples/acceptance_tests/script_context/v3/aiken.lock b/examples/acceptance_tests/script_context/v3/aiken.lock index 0be3fb39..1772b3cd 100644 --- a/examples/acceptance_tests/script_context/v3/aiken.lock +++ b/examples/acceptance_tests/script_context/v3/aiken.lock @@ -3,14 +3,14 @@ [[requirements]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" [[packages]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" requirements = [] source = "github" [etags] -"aiken-lang/stdlib@v2" = [{ secs_since_epoch = 1724760716, nanos_since_epoch = 700202000 }, "cdbbce58b61deb385e7ea787a2e0fc2dc8fe94db9999e0e6275bc9c70e5796be"] +"aiken-lang/stdlib@main" = [{ secs_since_epoch = 1724859324, nanos_since_epoch = 288688000 }, "2d9c3cdf2746778c8bbe6d49721186b66a33e0ce9cf295ac4cb2976b887a971c"] diff --git a/examples/acceptance_tests/script_context/v3/aiken.toml b/examples/acceptance_tests/script_context/v3/aiken.toml index 0a73bc08..8921fea6 100644 --- a/examples/acceptance_tests/script_context/v3/aiken.toml +++ b/examples/acceptance_tests/script_context/v3/aiken.toml @@ -1,11 +1,10 @@ name = "script_context/v3" version = "0.0.0" -compiler = "v1.0.31-alpha" plutus = "v3" license = "Apache-2.0" description = "End-to-end testing of standard lib script context, for Plutus v3" [[dependencies]] name = "aiken-lang/stdlib" -version = "v2" +version = "main" source = "github" diff --git a/examples/acceptance_tests/script_context/v3/plutus.json b/examples/acceptance_tests/script_context/v3/plutus.json index 81fdf1a4..f3d0131b 100644 --- a/examples/acceptance_tests/script_context/v3/plutus.json +++ b/examples/acceptance_tests/script_context/v3/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v3", "compiler": { "name": "Aiken", - "version": "v1.0.31-alpha+3521a8c" + "version": "v1.0.31-alpha+745f14c" }, "license": "Apache-2.0" }, @@ -19,13 +19,13 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "5919990101003232323232323232323232253330053232323232533300a3370e900318061baa00113232323232323253330113005301337540022a66602266e1d2080dac409375a602e60286ea80044c94ccc048c018c050dd50008a99980919b8748070dd6980c180a9baa0011323253330143375e9812dd8799fd8799fd87a9f581c22222222222222222222222222222222222222222222222222222222ffd87a80ffff00330010054800054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054800854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054801054ccc050cdd7a6149d8799fd905009f581c1111111111111111111111111111111111111111111111111111111158209999999999999999999999999999999999999999999999999999999999999999ffff00330010054801854ccc050cdd7a612ad8799fd905019f581c11111111111111111111111111111111111111111111111111111111190539ffff00330010054802054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054802854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054803054ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054803854ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd87a9f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054804054ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87a80ffffff00330010054804854ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ffffff00330010054805054ccc050cdd7a614fd8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ffffff00330010054805854ccc050cdd7a6151d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c11111111111111111111111111111111111111111111111111111111ff1a002dc6c0ffff00330010054806054ccc050cdd7a6136d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ff1a002dc6c0ffff00330010054806854ccc050cdd7a6154d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ff1a002dc6c0ffff00330010054807054ccc050cdd7a614dd8799fd905029fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c22222222222222222222222222222222222222222222222222222222ffffff00330010054807854ccc050cdd7a612bd8799fd905039fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff00330010054808054ccc050cdd7a612fd8799fd87d9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054808854ccc050cdd7a612fd8799fd87f9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054809054ccc050cdd7a612ad8799fd87e9fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff0033001005480984c94ccc054c024c05cdd5000899299980b19b8748010c060dd500089919299980c19b8748008c068dd5180f0010a99980c1806180d1baa00114a202e02e603a603c00260326ea8004054c06cc060dd500080a19800802a40502a6602a9201a56578706563740a202020202020536f6d65280a202020202020202055706461746544656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031392900161533015491c66578706563740a202020202020536f6d65280a2020202020202020556e726567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031382900161533015491c56578706563740a202020202020536f6d65280a2020202020202020526567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031372900161533015491b26578706563740a202020202020536f6d65280a202020202020202052657469726546726f6d436f6e737469747574696f6e616c436f6d6d6974746565207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031362900161533015491e06578706563740a202020202020536f6d65280a2020202020202020417574686f72697a65436f6e737469747574696f6e616c436f6d6d697474656550726f7879207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202070726f78793a20566572696669636174696f6e4b6579286f6e6c793273292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031352900161533015491ff6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020202020646541706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031342900161533015491ed6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031332900161533015491ec6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e286f6e6c793173292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031322900161533015491ff6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020207d2c0a20202020202029203d3d206c186973742e6174286365727469666963617465732c2031312900161533015491c46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031302900161533015491be6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734162737461696e292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20392900161533015491cb6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428536372697074286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20382900161533015491d46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428566572696669636174696f6e4b6579286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20372900161533015491a76578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20362900161533015491a66578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c203529001615330154917e6578706563740a202020202020536f6d65285265746972655374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c2061745f65706f63683a2031333337207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020342c0a20202020202029001615330154917d6578706563740a202020202020536f6d652852656769737465725374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c207672663a206f6e6c793973207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020332c0a2020202020202900161533015491a76578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20322900161533015491a66578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20312900161533015491886578706563740a202020202020536f6d6528526567697374657243726564656e7469616c207b2063726564656e7469616c3a20536372697074286f6e6c793273292c206465706f7369743a204e6f6e65207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020302c0a2020202020202900163001001222533301900214c103d87a8000132325333017300b00313374a90001980e00125eb804ccc014014004cdc0001a4002603a0066036004020020602e60306030603060306030603060306030603060306030603060306030603060286ea802c038038c058c05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc04cdd50051bac3015301630163016301630163012375401264a66601e66e1d20043011375400226464a66602266ebd300122d8799f581c11111111111111111111111111111111111111111111111111111111ff0030173018002153330113370e900118099baa001149854cc04924011e65787065637420536372697074282e2e29203d2063726564656e7469616c00161533012491416578706563742044656c6567617465426c6f636b50726f64756374696f6e207b207374616b655f706f6f6c3a206f6e6c793173207d203d3d2064656c656761746500163016001301237540022a66020921406578706563742044656c656761746543726564656e7469616c207b2063726564656e7469616c2c2064656c6567617465207d203d206365727469666963617465001630143015004533300d3001300f375400a2a66602260206ea80145261616370e90001bad3011001300d37540022c601e6020004601c002601c004601800260106ea8004526153300649011856616c696461746f722072657475726e65642066616c73650013656153300449013d65787065637420536f6d652831305f3030305f30303029203d207472616e73616374696f6e2e63757272656e745f74726561737572795f616d6f756e74001615330034912f65787065637420536f6d6528313429203d207472616e73616374696f6e2e74726561737572795f646f6e6174696f6e001615330024918e65787065637420536f6d652844656c656761746543726564656e7469616c207b0a20202020202063726564656e7469616c3a20536372697074282e2e292c0a20202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e282e2e292c0a202020207d29203d206c6973742e6174286365727469666963617465732c2032302900165734ae7155ceaab9e5573eae815d0aba21", - "hash": "a02054fde28a3bf37a20ffb4eb34d84ab50eb5980a9b2b44789dc3bd" + "compiledCode": "59199e0101003232323232323232323232253330053232323232533300a3370e900318061baa00113232323232323253330113005301337540022a66602266e1d2080dac409375a602e60286ea80044c94ccc048c018c050dd50008a99980919b8748070dd6980c180a9baa0011323253330143375e9812dd8799fd8799fd87a9f581c22222222222222222222222222222222222222222222222222222222ffd87a80ffff00330010054800054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054800854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054801054ccc050cdd7a6149d8799fd905009f581c1111111111111111111111111111111111111111111111111111111158209999999999999999999999999999999999999999999999999999999999999999ffff00330010054801854ccc050cdd7a612ad8799fd905019f581c11111111111111111111111111111111111111111111111111111111190539ffff00330010054802054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054802854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054803054ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054803854ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd87a9f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054804054ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87a80ffffff00330010054804854ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ffffff00330010054805054ccc050cdd7a614fd8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ffffff00330010054805854ccc050cdd7a6151d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c11111111111111111111111111111111111111111111111111111111ff1a002dc6c0ffff00330010054806054ccc050cdd7a6136d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ff1a002dc6c0ffff00330010054806854ccc050cdd7a6154d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ff1a002dc6c0ffff00330010054807054ccc050cdd7a614dd8799fd905029fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c22222222222222222222222222222222222222222222222222222222ffffff00330010054807854ccc050cdd7a612bd8799fd905039fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff00330010054808054ccc050cdd7a612fd8799fd87d9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054808854ccc050cdd7a612fd8799fd87f9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054809054ccc050cdd7a612ad8799fd87e9fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff0033001005480984c94ccc054c024c05cdd5000899299980b19b8748010c060dd500089919299980c19b8748008c068dd5180f0010a99980c1806180d1baa00114a202e02e603a603c00260326ea8004054c06cc060dd500080a19800802a40502a6602a9201a56578706563740a202020202020536f6d65280a202020202020202055706461746544656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031392900161533015491c66578706563740a202020202020536f6d65280a2020202020202020556e726567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031382900161533015491c56578706563740a202020202020536f6d65280a2020202020202020526567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031372900161533015491b26578706563740a202020202020536f6d65280a202020202020202052657469726546726f6d436f6e737469747574696f6e616c436f6d6d6974746565207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031362900161533015491e06578706563740a202020202020536f6d65280a2020202020202020417574686f72697a65436f6e737469747574696f6e616c436f6d6d697474656550726f7879207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202070726f78793a20566572696669636174696f6e4b6579286f6e6c793273292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031352900161533015491ff6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020202020646541706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031342900161533015491ed6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031332900161533015491ec6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e286f6e6c793173292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031322900161533015491ff6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020207d2c0a20202020202029203d3d206c186973742e6174286365727469666963617465732c2031312900161533015491c46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031302900161533015491be6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734162737461696e292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20392900161533015491cb6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428536372697074286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20382900161533015491d46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428566572696669636174696f6e4b6579286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20372900161533015491a86578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20362900161533015491a76578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c203529001615330154917e6578706563740a202020202020536f6d65285265746972655374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c2061745f65706f63683a2031333337207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020342c0a20202020202029001615330154917d6578706563740a202020202020536f6d652852656769737465725374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c207672663a206f6e6c793973207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020332c0a2020202020202900161533015491a86578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20322900161533015491a76578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20312900161533015491896578706563740a202020202020536f6d6528526567697374657243726564656e7469616c207b2063726564656e7469616c3a20536372697074286f6e6c793273292c206465706f7369743a204e65766572207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020302c0a2020202020202900163001001222533301900214c103d87a8000132325333017300b00313374a90001980e00125eb804ccc014014004cdc0001a4002603a0066036004020020602e60306030603060306030603060306030603060306030603060306030603060286ea802c038038c058c05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc04cdd50051bac3015301630163016301630163012375401264a66601e66e1d20043011375400226464a66602266ebd300122d8799f581c11111111111111111111111111111111111111111111111111111111ff0030173018002153330113370e900118099baa001149854cc04924011e65787065637420536372697074282e2e29203d2063726564656e7469616c00161533012491416578706563742044656c6567617465426c6f636b50726f64756374696f6e207b207374616b655f706f6f6c3a206f6e6c793173207d203d3d2064656c656761746500163016001301237540022a66020921406578706563742044656c656761746543726564656e7469616c207b2063726564656e7469616c2c2064656c6567617465207d203d206365727469666963617465001630143015004533300d3001300f375400a2a66602260206ea80145261616370e90001bad3011001300d37540022c601e6020004601c002601c004601800260106ea8004526153300649011856616c696461746f722072657475726e65642066616c73650013656153300449013d65787065637420536f6d652831305f3030305f30303029203d207472616e73616374696f6e2e63757272656e745f74726561737572795f616d6f756e74001615330034912f65787065637420536f6d6528313429203d207472616e73616374696f6e2e74726561737572795f646f6e6174696f6e001615330024918e65787065637420536f6d652844656c656761746543726564656e7469616c207b0a20202020202063726564656e7469616c3a20536372697074282e2e292c0a20202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e282e2e292c0a202020207d29203d206c6973742e6174286365727469666963617465732c2032302900165734ae7155ceaab9e5573eae815d0aba21", + "hash": "1880cc40ac12861906f257d98bf6da2eac5a71ca5e983651f2eeab2d" }, { "title": "certificates.purposes.else", - "compiledCode": "5919990101003232323232323232323232253330053232323232533300a3370e900318061baa00113232323232323253330113005301337540022a66602266e1d2080dac409375a602e60286ea80044c94ccc048c018c050dd50008a99980919b8748070dd6980c180a9baa0011323253330143375e9812dd8799fd8799fd87a9f581c22222222222222222222222222222222222222222222222222222222ffd87a80ffff00330010054800054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054800854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054801054ccc050cdd7a6149d8799fd905009f581c1111111111111111111111111111111111111111111111111111111158209999999999999999999999999999999999999999999999999999999999999999ffff00330010054801854ccc050cdd7a612ad8799fd905019f581c11111111111111111111111111111111111111111111111111111111190539ffff00330010054802054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054802854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054803054ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054803854ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd87a9f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054804054ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87a80ffffff00330010054804854ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ffffff00330010054805054ccc050cdd7a614fd8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ffffff00330010054805854ccc050cdd7a6151d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c11111111111111111111111111111111111111111111111111111111ff1a002dc6c0ffff00330010054806054ccc050cdd7a6136d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ff1a002dc6c0ffff00330010054806854ccc050cdd7a6154d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ff1a002dc6c0ffff00330010054807054ccc050cdd7a614dd8799fd905029fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c22222222222222222222222222222222222222222222222222222222ffffff00330010054807854ccc050cdd7a612bd8799fd905039fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff00330010054808054ccc050cdd7a612fd8799fd87d9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054808854ccc050cdd7a612fd8799fd87f9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054809054ccc050cdd7a612ad8799fd87e9fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff0033001005480984c94ccc054c024c05cdd5000899299980b19b8748010c060dd500089919299980c19b8748008c068dd5180f0010a99980c1806180d1baa00114a202e02e603a603c00260326ea8004054c06cc060dd500080a19800802a40502a6602a9201a56578706563740a202020202020536f6d65280a202020202020202055706461746544656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031392900161533015491c66578706563740a202020202020536f6d65280a2020202020202020556e726567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031382900161533015491c56578706563740a202020202020536f6d65280a2020202020202020526567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031372900161533015491b26578706563740a202020202020536f6d65280a202020202020202052657469726546726f6d436f6e737469747574696f6e616c436f6d6d6974746565207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031362900161533015491e06578706563740a202020202020536f6d65280a2020202020202020417574686f72697a65436f6e737469747574696f6e616c436f6d6d697474656550726f7879207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202070726f78793a20566572696669636174696f6e4b6579286f6e6c793273292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031352900161533015491ff6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020202020646541706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031342900161533015491ed6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031332900161533015491ec6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e286f6e6c793173292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031322900161533015491ff6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020207d2c0a20202020202029203d3d206c186973742e6174286365727469666963617465732c2031312900161533015491c46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031302900161533015491be6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734162737461696e292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20392900161533015491cb6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428536372697074286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20382900161533015491d46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428566572696669636174696f6e4b6579286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20372900161533015491a76578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20362900161533015491a66578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c203529001615330154917e6578706563740a202020202020536f6d65285265746972655374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c2061745f65706f63683a2031333337207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020342c0a20202020202029001615330154917d6578706563740a202020202020536f6d652852656769737465725374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c207672663a206f6e6c793973207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020332c0a2020202020202900161533015491a76578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20322900161533015491a66578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e6f6e652c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20312900161533015491886578706563740a202020202020536f6d6528526567697374657243726564656e7469616c207b2063726564656e7469616c3a20536372697074286f6e6c793273292c206465706f7369743a204e6f6e65207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020302c0a2020202020202900163001001222533301900214c103d87a8000132325333017300b00313374a90001980e00125eb804ccc014014004cdc0001a4002603a0066036004020020602e60306030603060306030603060306030603060306030603060306030603060286ea802c038038c058c05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc04cdd50051bac3015301630163016301630163012375401264a66601e66e1d20043011375400226464a66602266ebd300122d8799f581c11111111111111111111111111111111111111111111111111111111ff0030173018002153330113370e900118099baa001149854cc04924011e65787065637420536372697074282e2e29203d2063726564656e7469616c00161533012491416578706563742044656c6567617465426c6f636b50726f64756374696f6e207b207374616b655f706f6f6c3a206f6e6c793173207d203d3d2064656c656761746500163016001301237540022a66020921406578706563742044656c656761746543726564656e7469616c207b2063726564656e7469616c2c2064656c6567617465207d203d206365727469666963617465001630143015004533300d3001300f375400a2a66602260206ea80145261616370e90001bad3011001300d37540022c601e6020004601c002601c004601800260106ea8004526153300649011856616c696461746f722072657475726e65642066616c73650013656153300449013d65787065637420536f6d652831305f3030305f30303029203d207472616e73616374696f6e2e63757272656e745f74726561737572795f616d6f756e74001615330034912f65787065637420536f6d6528313429203d207472616e73616374696f6e2e74726561737572795f646f6e6174696f6e001615330024918e65787065637420536f6d652844656c656761746543726564656e7469616c207b0a20202020202063726564656e7469616c3a20536372697074282e2e292c0a20202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e282e2e292c0a202020207d29203d206c6973742e6174286365727469666963617465732c2032302900165734ae7155ceaab9e5573eae815d0aba21", - "hash": "a02054fde28a3bf37a20ffb4eb34d84ab50eb5980a9b2b44789dc3bd" + "compiledCode": "59199e0101003232323232323232323232253330053232323232533300a3370e900318061baa00113232323232323253330113005301337540022a66602266e1d2080dac409375a602e60286ea80044c94ccc048c018c050dd50008a99980919b8748070dd6980c180a9baa0011323253330143375e9812dd8799fd8799fd87a9f581c22222222222222222222222222222222222222222222222222222222ffd87a80ffff00330010054800054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054800854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054801054ccc050cdd7a6149d8799fd905009f581c1111111111111111111111111111111111111111111111111111111158209999999999999999999999999999999999999999999999999999999999999999ffff00330010054801854ccc050cdd7a612ad8799fd905019f581c11111111111111111111111111111111111111111111111111111111190539ffff00330010054802054ccc050cdd7a612dd8799fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054802854ccc050cdd7a612dd8799fd87a9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a80ffff00330010054803054ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd8799f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054803854ccc050cdd7a6154d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd8799fd87a9f581c00000000000000000000000000000000000000000000000000000000ffffffffff00330010054804054ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87a80ffffff00330010054804854ccc050cdd7a6131d8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ffffff00330010054805054ccc050cdd7a614fd8799fd87b9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ffffff00330010054805854ccc050cdd7a6151d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c11111111111111111111111111111111111111111111111111111111ff1a002dc6c0ffff00330010054806054ccc050cdd7a6136d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87a9fd87b80ff1a002dc6c0ffff00330010054806854ccc050cdd7a6154d8799fd87c9fd8799f581c00000000000000000000000000000000000000000000000000000000ffd87b9f581c11111111111111111111111111111111111111111111111111111111d87b80ff1a002dc6c0ffff00330010054807054ccc050cdd7a614dd8799fd905029fd8799f581c00000000000000000000000000000000000000000000000000000000ffd8799f581c22222222222222222222222222222222222222222222222222222222ffffff00330010054807854ccc050cdd7a612bd8799fd905039fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff00330010054808054ccc050cdd7a612fd8799fd87d9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054808854ccc050cdd7a612fd8799fd87f9fd8799f581c00000000000000000000000000000000000000000000000000000000ff1a002dc6c0ffff00330010054809054ccc050cdd7a612ad8799fd87e9fd8799f581c00000000000000000000000000000000000000000000000000000000ffffff0033001005480984c94ccc054c024c05cdd5000899299980b19b8748010c060dd500089919299980c19b8748008c068dd5180f0010a99980c1806180d1baa00114a202e02e603a603c00260326ea8004054c06cc060dd500080a19800802a40502a6602a9201a56578706563740a202020202020536f6d65280a202020202020202055706461746544656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031392900161533015491c66578706563740a202020202020536f6d65280a2020202020202020556e726567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031382900161533015491c56578706563740a202020202020536f6d65280a2020202020202020526567697374657244656c6567617465526570726573656e746174697665207b0a2020202020202020202064656c65676174655f726570726573656e7461746976653a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031372900161533015491b26578706563740a202020202020536f6d65280a202020202020202052657469726546726f6d436f6e737469747574696f6e616c436f6d6d6974746565207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031362900161533015491e06578706563740a202020202020536f6d65280a2020202020202020417574686f72697a65436f6e737469747574696f6e616c436f6d6d697474656550726f7879207b0a20202020202020202020636f6e737469747574696f6e616c5f636f6d6d69747465655f6d656d6265723a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202070726f78793a20566572696669636174696f6e4b6579286f6e6c793273292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031352900161533015491ff6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020202020646541706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031342900161533015491ed6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031332900161533015491ec6578706563740a202020202020536f6d65280a20202020202020205265676973746572416e6444656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e286f6e6c793173292c0a202020202020202020206465706f7369743a20335f3030305f3030302c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031322900161533015491ff6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465426f7468207b0a2020202020202020202020207374616b655f706f6f6c3a206f6e6c7931732c0a20202020202020202020202064656c65676174655f726570726573656e7461746976653a20416c776179734e6f436f6e666964656e63652c0a202020202020202020207d2c0a20202020202020207d2c0a20202020202029203d3d206c186973742e6174286365727469666963617465732c2031312900161533015491c46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734e6f436f6e666964656e6365292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c2031302900161533015491be6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f746528416c776179734162737461696e292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20392900161533015491cb6578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428536372697074286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20382900161533015491d46578706563740a202020202020536f6d65280a202020202020202044656c656761746543726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a2020202020202020202064656c65676174653a2044656c6567617465566f7465285265676973746572656428566572696669636174696f6e4b6579286f6e6c7930732929292c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20372900161533015491a86578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20362900161533015491a76578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c203529001615330154917e6578706563740a202020202020536f6d65285265746972655374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c2061745f65706f63683a2031333337207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020342c0a20202020202029001615330154917d6578706563740a202020202020536f6d652852656769737465725374616b65506f6f6c207b207374616b655f706f6f6c3a206f6e6c7931732c207672663a206f6e6c793973207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020332c0a2020202020202900161533015491a86578706563740a202020202020536f6d65280a2020202020202020556e726567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a20202020202020202020726566756e643a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20322900161533015491a76578706563740a202020202020536f6d65280a2020202020202020526567697374657243726564656e7469616c207b0a2020202020202020202063726564656e7469616c3a20566572696669636174696f6e4b6579286f6e6c793073292c0a202020202020202020206465706f7369743a204e657665722c0a20202020202020207d2c0a20202020202029203d3d206c6973742e6174286365727469666963617465732c20312900161533015491896578706563740a202020202020536f6d6528526567697374657243726564656e7469616c207b2063726564656e7469616c3a20536372697074286f6e6c793273292c206465706f7369743a204e65766572207d29203d3d206c6973742e6174280a20202020202020206365727469666963617465732c0a2020202020202020302c0a2020202020202900163001001222533301900214c103d87a8000132325333017300b00313374a90001980e00125eb804ccc014014004cdc0001a4002603a0066036004020020602e60306030603060306030603060306030603060306030603060306030603060286ea802c038038c058c05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc05cc04cdd50051bac3015301630163016301630163012375401264a66601e66e1d20043011375400226464a66602266ebd300122d8799f581c11111111111111111111111111111111111111111111111111111111ff0030173018002153330113370e900118099baa001149854cc04924011e65787065637420536372697074282e2e29203d2063726564656e7469616c00161533012491416578706563742044656c6567617465426c6f636b50726f64756374696f6e207b207374616b655f706f6f6c3a206f6e6c793173207d203d3d2064656c656761746500163016001301237540022a66020921406578706563742044656c656761746543726564656e7469616c207b2063726564656e7469616c2c2064656c6567617465207d203d206365727469666963617465001630143015004533300d3001300f375400a2a66602260206ea80145261616370e90001bad3011001300d37540022c601e6020004601c002601c004601800260106ea8004526153300649011856616c696461746f722072657475726e65642066616c73650013656153300449013d65787065637420536f6d652831305f3030305f30303029203d207472616e73616374696f6e2e63757272656e745f74726561737572795f616d6f756e74001615330034912f65787065637420536f6d6528313429203d207472616e73616374696f6e2e74726561737572795f646f6e6174696f6e001615330024918e65787065637420536f6d652844656c656761746543726564656e7469616c207b0a20202020202063726564656e7469616c3a20536372697074282e2e292c0a20202020202064656c65676174653a2044656c6567617465426c6f636b50726f64756374696f6e282e2e292c0a202020207d29203d206c6973742e6174286365727469666963617465732c2032302900165734ae7155ceaab9e5573eae815d0aba21", + "hash": "1880cc40ac12861906f257d98bf6da2eac5a71ca5e983651f2eeab2d" }, { "title": "mint.test_1.mint", @@ -35,13 +35,13 @@ "$ref": "#/definitions/Data" } }, - "compiledCode": "590fa3010100323232323232323232323225333004323232323253323300a3001300c375400426464646464646464649454ccc048cdd79ba63301733760981225820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec004c0103d87980004bd6f7b630180c180c980c980c980c980c980c980c980c980c980c980a9baa00d149854cc04d240137657870656374205b5061697228766f69645f686173682c20766f6964295d203d3d20646963742e746f5f706169727328646174756d7329001653330113375e6e9ccc058c014cc059300127d8799f5820000000000000000000000000000000000000000000000000000000000000000000ff0033016300533016300448811c000000000000000000000000000000000000000000000000000000000033016374c6006904044bd1980b260103d8798000330164c103d87a80004bd7025eb812f5c0602e603060286ea80305261533012491ff6578706563740a202020205b0a202020202020496e707574207b0a20202020202020206f75747075745f7265666572656e63653a204f75747075745265666572656e6365207b0a202020202020202020207472616e73616374696f6e5f69643a206e756c6c33322c0a202020202020202020206f75747075745f696e6465783a20302c0a20202020202020207d2c0a20202020202020206f75747075743a204f7574707574207b0a20202020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a2020202020202020202076616c75653a206173736574732e6672776f6d5f6c6f76656c61636528315f3030305f303030292c0a20202020202020202020646174756d3a204e6f446174756d2c0a202020202020202020207265666572656e63655f7363726970743a204e6f6e652c0a20202020202020207d2c0a2020202020207d2c0a202020205d203d3d20696e70757473001653330103375e6e9ccc054dd39980a9ba9005330154c1064561696b656e00330154c1012d004bd701980a9ba733015375200a6602a981084763617264616e6f00330154c10101004bd701980a9ba733015375200c6602a981054474756e6100330154c1091b00005af3107a4000004bd7025eb80dd399198008009bab301730183018301830183014375401844a66602c002297ae0132333222323300100100322533301c00110031323301e374e6603c6ea4018cc078c06c004cc078c0700052f5c0660060066040004603c0026eb8c054004dd5980b00099801801980d001180c0008a4c2a660229201a86578706563740a202020205b0a202020202020286f746865725f706f6c6963795f69642c202261696b656e222c202d3134292c0a202020202020286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a202020202020286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030292c0a202020205d203d3d206173736574732e666c617474656e286d696e7429001633232323232323232253330183370e600c00290030a99980c19baf300c3301d300c3301d300b48811c00000000000000000000000000000000000000000000000000000000003301d374c6014904044bd1980ea60126d87a9f5820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ecff003301d4c103d87a80004bd7025eb80cc0100052000153330183375e60186603a60186603a6600660169111c000000000000000000000000000000000000000000000000000000000048811c00000000000000000000000000000000000000000000000000000000003301d374c666600466660046014904044bd00724410474756e610048202034a1f8af0b403522010561696b656e0048150cc075300103d87980003301d4c103d87a80004bd7025eb80cc0100052002153330183375e60186603a60186603a6600660186603a66e9520023301d4c011e581c00000000000000000000000000000000000000000000000000000000004bd701980ea60103d87a80004bd702451c00000000000000000000000000000000000000000000000000000000003301d374c66660046014904044bd006a450763617264616e6f0048008cc075300103d87980003301d4c122d8799f581c68ad54b3a8124d9fe5caaaf2011a85d72096e696a2fb3d7f86c41717ff004bd7025eb80cc0100052004149854cc0652401ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f736372697074286e756c6c3238290a202020202020202020207c3e2063726564656e7469616c2e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a2020202020202020646174756d3a204e6f44619c74756d2c0a20202020202020207265666572656e63655f7363726970743a20536f6d65280a2020202020202020202023223638616435346233613831323464396665356361616166323031316138356437323039366536393661326662336437663836633431373137222c0a2020202020202020292c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20322900161533019491ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238290a202020202020202020207c3e2063726564656e7469616c2e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030290a20932020202020202020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202261696b656e222c203432292c0a2020202020202020646174756d3a204e6f446174756d2c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20312900161533019491f56578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030292c0a2020202020202020646174756d3a20446174756d4861736828766f69645f68617368292c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c2030290016153301949120657870656374206c6973742e6c656e677468286f75747075747329203d3d203300162222533301a301100110041323233001001006225333021001133022337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc084cdc800500109981319bb037520146e9801c01454ccc084cdc78050010992999811180c98121baa001133027337606ea402cc0a0c094dd5000802080219299981129998130008a5114a0298103d87a80001301633027374c00297ae03233001001002225333027001133028337606ea402cdd400525eb7bdb1804c8c8c8c94ccc09ccdc800780109981619bb0375201e6ea003801454ccc09ccdc78078010992999814180f98151baa00113302d337606ea4040c0b8c0acdd50008020802192999814180f8008a6103d87a80001301c3302d375000297ae03370000201c26605866ec0dd48011ba800133006006003375a60520066eb8c09c008c0ac008c0a40044cc098cdd81ba9002374c0026600c00c0066eacc08c00cdd7181080118128011811800991900118058009980f99bb037520046ea00052f5bded8c044601666038603a60346ea8008cc070c02ccc070c02ccc070c02ccc070dd4800a5eb812f5c097ae04bd701800800911299980d0010a60103d87a8000132325333018300f0031300c3301d0024bd70099980280280099b8000348004c07800cc070008c004004894ccc05c00452000133700900119801001180d000980080091299980a8008a4c264a66602c00229309919299980a19b90375c602c60340086eb8c0580084cc014014cc06400800454cc055241326b65797320696e206173736f63696174697665206c697374206172656e277420696e20617363656e64696e67206f726465720016301a002301800130180013758602a602c602c60246ea802894ccc03cc01800452f5bded8c0264646600200297adef6c60225333016001133017337609801014000374c00697adef6c6013232323253330163372091010000213301b337609801014000374c00e00a2a66602c66e3d2210000213301b337609801014000374c00e00626603666ec0dd48011ba600133006006003375660300066eb8c058008c068008c060004c8cc0040052f5bded8c044a66602a00226602c66ec13001014000375000697adef6c6013232323253330153372091010000213301a337609801014000375000e00a2a66602a66e3d2210000213301a337609801014000375000e00626603466ec0dd48011ba800133006006003375a602e0066eb8c054008c064008c05c0048c008cc04cc008cc04cdd4800a5eb80cc04d30103d87a80004bd701ba548000c94ccc0400040284c8c94ccc04800403054ccc048c0540044c8c94ccc040c01cc048dd5001099299999980c8010a999808980418099baa002153330153014375400420020200200200200200206eb8c058c04cdd500100718090019808001006180a00118090009bab3011301230123012301230123012301230123012300e375400c6eb8c040c034dd50011b874800058c038c03c008c034004c034008c02c004c01cdd50008a4c2a6600a9211856616c696461746f722072657475726e65642066616c736500136561533003490139657870656374205b50616972284d696e74286f746865725f706f6c6963795f6964292c2064617461292c205f5d203d2072656465656d657273001615330024911265787065637420566f6964203d206461746100165734ae7155ceaab9e5573eae815d0aba257481", - "hash": "514bebb1441c98fa4a56cd08982897f66eb332868d562a7e07c03736" + "compiledCode": "590f91010100323232323232323232323225333004323232323253323300a3001300c375400426464646464646464649454ccc048cdd79ba63301733760981225820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec004c0103d87980004bd6f7b630180c180c980c980c980c980c980c980c980c980c980c980a9baa00d149854cc04d240137657870656374205b5061697228766f69645f686173682c20766f6964295d203d3d20646963742e746f5f706169727328646174756d7329001653330113375e6e9ccc058c014cc059300127d8799f5820000000000000000000000000000000000000000000000000000000000000000000ff0033016300533016300448811c000000000000000000000000000000000000000000000000000000000033016374c6006904044bd1980b260103d8798000330164c103d87a80004bd7025eb812f5c0602e603060286ea80305261533012491ff6578706563740a202020205b0a202020202020496e707574207b0a20202020202020206f75747075745f7265666572656e63653a204f75747075745265666572656e6365207b0a202020202020202020207472616e73616374696f6e5f69643a206e756c6c33322c0a202020202020202020206f75747075745f696e6465783a20302c0a20202020202020207d2c0a20202020202020206f75747075743a204f7574707574207b0a20202020202020202020616464726573733a20616464726573732e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a2020202020202020202076616c75653a206173736574732e66726f6d5f746c6f76656c61636528315f3030305f303030292c0a20202020202020202020646174756d3a204e6f446174756d2c0a202020202020202020207265666572656e63655f7363726970743a204e6f6e652c0a20202020202020207d2c0a2020202020207d2c0a202020205d203d3d20696e70757473001653330103375e6e9ccc054dd39980a9ba9005330154c1064561696b656e00330154c1012d004bd701980a9ba733015375200a6602a981084763617264616e6f00330154c10101004bd701980a9ba733015375200c6602a981054474756e6100330154c1091b00005af3107a4000004bd7025eb80dd399198008009bab301730183018301830183014375401844a66602c002297ae0132333222323300100100322533301c00110031323301e374e6603c6ea4018cc078c06c004cc078c0700052f5c0660060066040004603c0026eb8c054004dd5980b00099801801980d001180c0008a4c2a660229201a86578706563740a202020205b0a202020202020286f746865725f706f6c6963795f69642c202261696b656e222c202d3134292c0a202020202020286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a202020202020286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030292c0a202020205d203d3d206173736574732e666c617474656e286d696e7429001633232323232323232253330183370e600c00290030a99980c19baf300c3301d300c3301d300b48811c00000000000000000000000000000000000000000000000000000000003301d374c6014904044bd1980ea60126d87a9f5820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ecff003301d4c103d87a80004bd7025eb80cc0100052000153330183375e60186603a60186603a6600660169111c000000000000000000000000000000000000000000000000000000000048811c00000000000000000000000000000000000000000000000000000000003301d374c666600466660046014904044bd00724410474756e610048202034a1f8af0b403522010561696b656e0048150cc075300103d87980003301d4c103d87a80004bd7025eb80cc0100052002153330183375e60186603a60186603a6600660186603a66e9520023301d4c011e581c00000000000000000000000000000000000000000000000000000000004bd701980ea60103d87a80004bd702451c00000000000000000000000000000000000000000000000000000000003301d374c66660046014904044bd006a450763617264616e6f0048008cc075300103d87980003301d4c122d8799f581c68ad54b3a8124d9fe5caaaf2011a85d72096e696a2fb3d7f86c41717ff004bd7025eb80cc0100052004149854cc0652401ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a20616464726573732e66726f6d5f736372697074286e756c6c3238290a202020202020202020207c3e20616464726573732e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a2020202020202020646174756d3a204e6f446174756d2c0a2096202020202020207265666572656e63655f7363726970743a20536f6d65280a2020202020202020202023223638616435346233613831323464396665356361616166323031316138356437323039366536393661326662336437663836633431373137222c0a2020202020202020292c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20322900161533019491ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a20616464726573732e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238290a202020202020202020207c3e20616464726573732e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030290a202020202020208d2020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202261696b656e222c203432292c0a2020202020202020646174756d3a204e6f446174756d2c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20312900161533019491f26578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a20616464726573732e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030292c0a2020202020202020646174756d3a20446174756d4861736828766f69645f68617368292c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c2030290016153301949120657870656374206c6973742e6c656e677468286f75747075747329203d3d203300162222533301a301100110041323233001001006225333021001133022337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc084cdc800500109981319bb037520146e9801c01454ccc084cdc78050010992999811180c98121baa001133027337606ea402cc0a0c094dd5000802080219299981129998130008a5114a0298103d87a80001301633027374c00297ae03233001001002225333027001133028337606ea402cdd400525eb7bdb1804c8c8c8c94ccc09ccdc800780109981619bb0375201e6ea003801454ccc09ccdc78078010992999814180f98151baa00113302d337606ea4040c0b8c0acdd50008020802192999814180f8008a6103d87a80001301c3302d375000297ae03370000201c26605866ec0dd48011ba800133006006003375a60520066eb8c09c008c0ac008c0a40044cc098cdd81ba9002374c0026600c00c0066eacc08c00cdd7181080118128011811800991900118058009980f99bb037520046ea00052f5bded8c044601666038603a60346ea8008cc070c02ccc070c02ccc070c02ccc070dd4800a5eb812f5c097ae04bd701800800911299980d0010a60103d87a8000132325333018300f0031300c3301d0024bd70099980280280099b8000348004c07800cc070008c004004894ccc05c00452000133700900119801001180d000980080091299980a8008a4c264a66602c00229309919299980a19b90375c602c60340086eb8c0580084cc014014cc06400800454cc055241326b65797320696e206173736f63696174697665206c697374206172656e277420696e20617363656e64696e67206f726465720016301a002301800130180013758602a602c602c60246ea802894ccc03cc01800452f5bded8c0264646600200297adef6c60225333016001133017337609801014000374c00697adef6c6013232323253330163372091010000213301b337609801014000374c00e00a2a66602c66e3d2210000213301b337609801014000374c00e00626603666ec0dd48011ba600133006006003375660300066eb8c058008c068008c060004c8cc0040052f5bded8c044a66602a00226602c66ec13001014000375000697adef6c6013232323253330153372091010000213301a337609801014000375000e00a2a66602a66e3d2210000213301a337609801014000375000e00626603466ec0dd48011ba800133006006003375a602e0066eb8c054008c064008c05c0048c008cc04cc008cc04cdd4800a5eb80cc04d30103d87a80004bd701ba548000c94ccc0400040284c8c94ccc04800403054ccc048c0540044c8c94ccc040c01cc048dd5001099299999980c8010a999808980418099baa002153330153014375400420020200200200200200206eb8c058c04cdd500100718090019808001006180a00118090009bab3011301230123012301230123012301230123012300e375400c6eb8c040c034dd50011b874800058c038c03c008c034004c034008c02c004c01cdd50008a4c2a6600a9211856616c696461746f722072657475726e65642066616c736500136561533003490139657870656374205b50616972284d696e74286f746865725f706f6c6963795f6964292c2064617461292c205f5d203d2072656465656d657273001615330024911265787065637420566f6964203d206461746100165734ae7155ceaab9e5573eae815d0aba257481", + "hash": "cae8c1517af745ea844b9420abed70cb8d46c094d8b32cc432c72add" }, { "title": "mint.test_1.else", - "compiledCode": "590fa3010100323232323232323232323225333004323232323253323300a3001300c375400426464646464646464649454ccc048cdd79ba63301733760981225820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec004c0103d87980004bd6f7b630180c180c980c980c980c980c980c980c980c980c980c980a9baa00d149854cc04d240137657870656374205b5061697228766f69645f686173682c20766f6964295d203d3d20646963742e746f5f706169727328646174756d7329001653330113375e6e9ccc058c014cc059300127d8799f5820000000000000000000000000000000000000000000000000000000000000000000ff0033016300533016300448811c000000000000000000000000000000000000000000000000000000000033016374c6006904044bd1980b260103d8798000330164c103d87a80004bd7025eb812f5c0602e603060286ea80305261533012491ff6578706563740a202020205b0a202020202020496e707574207b0a20202020202020206f75747075745f7265666572656e63653a204f75747075745265666572656e6365207b0a202020202020202020207472616e73616374696f6e5f69643a206e756c6c33322c0a202020202020202020206f75747075745f696e6465783a20302c0a20202020202020207d2c0a20202020202020206f75747075743a204f7574707574207b0a20202020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a2020202020202020202076616c75653a206173736574732e6672776f6d5f6c6f76656c61636528315f3030305f303030292c0a20202020202020202020646174756d3a204e6f446174756d2c0a202020202020202020207265666572656e63655f7363726970743a204e6f6e652c0a20202020202020207d2c0a2020202020207d2c0a202020205d203d3d20696e70757473001653330103375e6e9ccc054dd39980a9ba9005330154c1064561696b656e00330154c1012d004bd701980a9ba733015375200a6602a981084763617264616e6f00330154c10101004bd701980a9ba733015375200c6602a981054474756e6100330154c1091b00005af3107a4000004bd7025eb80dd399198008009bab301730183018301830183014375401844a66602c002297ae0132333222323300100100322533301c00110031323301e374e6603c6ea4018cc078c06c004cc078c0700052f5c0660060066040004603c0026eb8c054004dd5980b00099801801980d001180c0008a4c2a660229201a86578706563740a202020205b0a202020202020286f746865725f706f6c6963795f69642c202261696b656e222c202d3134292c0a202020202020286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a202020202020286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030292c0a202020205d203d3d206173736574732e666c617474656e286d696e7429001633232323232323232253330183370e600c00290030a99980c19baf300c3301d300c3301d300b48811c00000000000000000000000000000000000000000000000000000000003301d374c6014904044bd1980ea60126d87a9f5820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ecff003301d4c103d87a80004bd7025eb80cc0100052000153330183375e60186603a60186603a6600660169111c000000000000000000000000000000000000000000000000000000000048811c00000000000000000000000000000000000000000000000000000000003301d374c666600466660046014904044bd00724410474756e610048202034a1f8af0b403522010561696b656e0048150cc075300103d87980003301d4c103d87a80004bd7025eb80cc0100052002153330183375e60186603a60186603a6600660186603a66e9520023301d4c011e581c00000000000000000000000000000000000000000000000000000000004bd701980ea60103d87a80004bd702451c00000000000000000000000000000000000000000000000000000000003301d374c66660046014904044bd006a450763617264616e6f0048008cc075300103d87980003301d4c122d8799f581c68ad54b3a8124d9fe5caaaf2011a85d72096e696a2fb3d7f86c41717ff004bd7025eb80cc0100052004149854cc0652401ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f736372697074286e756c6c3238290a202020202020202020207c3e2063726564656e7469616c2e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a2020202020202020646174756d3a204e6f44619c74756d2c0a20202020202020207265666572656e63655f7363726970743a20536f6d65280a2020202020202020202023223638616435346233613831323464396665356361616166323031316138356437323039366536393661326662336437663836633431373137222c0a2020202020202020292c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20322900161533019491ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238290a202020202020202020207c3e2063726564656e7469616c2e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030290a20932020202020202020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202261696b656e222c203432292c0a2020202020202020646174756d3a204e6f446174756d2c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20312900161533019491f56578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a2063726564656e7469616c2e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030292c0a2020202020202020646174756d3a20446174756d4861736828766f69645f68617368292c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c2030290016153301949120657870656374206c6973742e6c656e677468286f75747075747329203d3d203300162222533301a301100110041323233001001006225333021001133022337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc084cdc800500109981319bb037520146e9801c01454ccc084cdc78050010992999811180c98121baa001133027337606ea402cc0a0c094dd5000802080219299981129998130008a5114a0298103d87a80001301633027374c00297ae03233001001002225333027001133028337606ea402cdd400525eb7bdb1804c8c8c8c94ccc09ccdc800780109981619bb0375201e6ea003801454ccc09ccdc78078010992999814180f98151baa00113302d337606ea4040c0b8c0acdd50008020802192999814180f8008a6103d87a80001301c3302d375000297ae03370000201c26605866ec0dd48011ba800133006006003375a60520066eb8c09c008c0ac008c0a40044cc098cdd81ba9002374c0026600c00c0066eacc08c00cdd7181080118128011811800991900118058009980f99bb037520046ea00052f5bded8c044601666038603a60346ea8008cc070c02ccc070c02ccc070c02ccc070dd4800a5eb812f5c097ae04bd701800800911299980d0010a60103d87a8000132325333018300f0031300c3301d0024bd70099980280280099b8000348004c07800cc070008c004004894ccc05c00452000133700900119801001180d000980080091299980a8008a4c264a66602c00229309919299980a19b90375c602c60340086eb8c0580084cc014014cc06400800454cc055241326b65797320696e206173736f63696174697665206c697374206172656e277420696e20617363656e64696e67206f726465720016301a002301800130180013758602a602c602c60246ea802894ccc03cc01800452f5bded8c0264646600200297adef6c60225333016001133017337609801014000374c00697adef6c6013232323253330163372091010000213301b337609801014000374c00e00a2a66602c66e3d2210000213301b337609801014000374c00e00626603666ec0dd48011ba600133006006003375660300066eb8c058008c068008c060004c8cc0040052f5bded8c044a66602a00226602c66ec13001014000375000697adef6c6013232323253330153372091010000213301a337609801014000375000e00a2a66602a66e3d2210000213301a337609801014000375000e00626603466ec0dd48011ba800133006006003375a602e0066eb8c054008c064008c05c0048c008cc04cc008cc04cdd4800a5eb80cc04d30103d87a80004bd701ba548000c94ccc0400040284c8c94ccc04800403054ccc048c0540044c8c94ccc040c01cc048dd5001099299999980c8010a999808980418099baa002153330153014375400420020200200200200200206eb8c058c04cdd500100718090019808001006180a00118090009bab3011301230123012301230123012301230123012300e375400c6eb8c040c034dd50011b874800058c038c03c008c034004c034008c02c004c01cdd50008a4c2a6600a9211856616c696461746f722072657475726e65642066616c736500136561533003490139657870656374205b50616972284d696e74286f746865725f706f6c6963795f6964292c2064617461292c205f5d203d2072656465656d657273001615330024911265787065637420566f6964203d206461746100165734ae7155ceaab9e5573eae815d0aba257481", - "hash": "514bebb1441c98fa4a56cd08982897f66eb332868d562a7e07c03736" + "compiledCode": "590f91010100323232323232323232323225333004323232323253323300a3001300c375400426464646464646464649454ccc048cdd79ba63301733760981225820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ec004c0103d87980004bd6f7b630180c180c980c980c980c980c980c980c980c980c980c980a9baa00d149854cc04d240137657870656374205b5061697228766f69645f686173682c20766f6964295d203d3d20646963742e746f5f706169727328646174756d7329001653330113375e6e9ccc058c014cc059300127d8799f5820000000000000000000000000000000000000000000000000000000000000000000ff0033016300533016300448811c000000000000000000000000000000000000000000000000000000000033016374c6006904044bd1980b260103d8798000330164c103d87a80004bd7025eb812f5c0602e603060286ea80305261533012491ff6578706563740a202020205b0a202020202020496e707574207b0a20202020202020206f75747075745f7265666572656e63653a204f75747075745265666572656e6365207b0a202020202020202020207472616e73616374696f6e5f69643a206e756c6c33322c0a202020202020202020206f75747075745f696e6465783a20302c0a20202020202020207d2c0a20202020202020206f75747075743a204f7574707574207b0a20202020202020202020616464726573733a20616464726573732e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a2020202020202020202076616c75653a206173736574732e66726f6d5f746c6f76656c61636528315f3030305f303030292c0a20202020202020202020646174756d3a204e6f446174756d2c0a202020202020202020207265666572656e63655f7363726970743a204e6f6e652c0a20202020202020207d2c0a2020202020207d2c0a202020205d203d3d20696e70757473001653330103375e6e9ccc054dd39980a9ba9005330154c1064561696b656e00330154c1012d004bd701980a9ba733015375200a6602a981084763617264616e6f00330154c10101004bd701980a9ba733015375200c6602a981054474756e6100330154c1091b00005af3107a4000004bd7025eb80dd399198008009bab301730183018301830183014375401844a66602c002297ae0132333222323300100100322533301c00110031323301e374e6603c6ea4018cc078c06c004cc078c0700052f5c0660060066040004603c0026eb8c054004dd5980b00099801801980d001180c0008a4c2a660229201a86578706563740a202020205b0a202020202020286f746865725f706f6c6963795f69642c202261696b656e222c202d3134292c0a202020202020286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a202020202020286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030292c0a202020205d203d3d206173736574732e666c617474656e286d696e7429001633232323232323232253330183370e600c00290030a99980c19baf300c3301d300c3301d300b48811c00000000000000000000000000000000000000000000000000000000003301d374c6014904044bd1980ea60126d87a9f5820923918e403bf43c34b4ef6b48eb2ee04babed17320d8d1b9ff9ad086e86f44ecff003301d4c103d87a80004bd7025eb80cc0100052000153330183375e60186603a60186603a6600660169111c000000000000000000000000000000000000000000000000000000000048811c00000000000000000000000000000000000000000000000000000000003301d374c666600466660046014904044bd00724410474756e610048202034a1f8af0b403522010561696b656e0048150cc075300103d87980003301d4c103d87a80004bd7025eb80cc0100052002153330183375e60186603a60186603a6600660186603a66e9520023301d4c011e581c00000000000000000000000000000000000000000000000000000000004bd701980ea60103d87a80004bd702451c00000000000000000000000000000000000000000000000000000000003301d374c66660046014904044bd006a450763617264616e6f0048008cc075300103d87980003301d4c122d8799f581c68ad54b3a8124d9fe5caaaf2011a85d72096e696a2fb3d7f86c41717ff004bd7025eb80cc0100052004149854cc0652401ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a20616464726573732e66726f6d5f736372697074286e756c6c3238290a202020202020202020207c3e20616464726573732e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202263617264616e6f222c2031292c0a2020202020202020646174756d3a204e6f446174756d2c0a2096202020202020207265666572656e63655f7363726970743a20536f6d65280a2020202020202020202023223638616435346233613831323464396665356361616166323031316138356437323039366536393661326662336437663836633431373137222c0a2020202020202020292c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20322900161533019491ff6578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a20616464726573732e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238290a202020202020202020207c3e20616464726573732e776974685f64656c65676174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030290a202020202020202020207c3e206173736574732e616464286f75725f706f6c6963795f69642c202274756e61222c20313030303030303030303030303030290a202020202020208d2020207c3e206173736574732e616464286f746865725f706f6c6963795f69642c202261696b656e222c203432292c0a2020202020202020646174756d3a204e6f446174756d2c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c20312900161533019491f26578706563740a20202020536f6d65280a2020202020204f7574707574207b0a2020202020202020616464726573733a20616464726573732e66726f6d5f766572696669636174696f6e5f6b6579286e756c6c3238292c0a202020202020202076616c75653a206173736574732e66726f6d5f6c6f76656c61636528315f3030305f303030292c0a2020202020202020646174756d3a20446174756d4861736828766f69645f68617368292c0a20202020202020207265666572656e63655f7363726970743a204e6f6e652c0a2020202020207d2c0a2020202029203d3d206c6973742e6174286f7574707574732c2030290016153301949120657870656374206c6973742e6c656e677468286f75747075747329203d3d203300162222533301a301100110041323233001001006225333021001133022337606ea4018dd3001a5eb7bdb1804c8c8c8c94ccc084cdc800500109981319bb037520146e9801c01454ccc084cdc78050010992999811180c98121baa001133027337606ea402cc0a0c094dd5000802080219299981129998130008a5114a0298103d87a80001301633027374c00297ae03233001001002225333027001133028337606ea402cdd400525eb7bdb1804c8c8c8c94ccc09ccdc800780109981619bb0375201e6ea003801454ccc09ccdc78078010992999814180f98151baa00113302d337606ea4040c0b8c0acdd50008020802192999814180f8008a6103d87a80001301c3302d375000297ae03370000201c26605866ec0dd48011ba800133006006003375a60520066eb8c09c008c0ac008c0a40044cc098cdd81ba9002374c0026600c00c0066eacc08c00cdd7181080118128011811800991900118058009980f99bb037520046ea00052f5bded8c044601666038603a60346ea8008cc070c02ccc070c02ccc070c02ccc070dd4800a5eb812f5c097ae04bd701800800911299980d0010a60103d87a8000132325333018300f0031300c3301d0024bd70099980280280099b8000348004c07800cc070008c004004894ccc05c00452000133700900119801001180d000980080091299980a8008a4c264a66602c00229309919299980a19b90375c602c60340086eb8c0580084cc014014cc06400800454cc055241326b65797320696e206173736f63696174697665206c697374206172656e277420696e20617363656e64696e67206f726465720016301a002301800130180013758602a602c602c60246ea802894ccc03cc01800452f5bded8c0264646600200297adef6c60225333016001133017337609801014000374c00697adef6c6013232323253330163372091010000213301b337609801014000374c00e00a2a66602c66e3d2210000213301b337609801014000374c00e00626603666ec0dd48011ba600133006006003375660300066eb8c058008c068008c060004c8cc0040052f5bded8c044a66602a00226602c66ec13001014000375000697adef6c6013232323253330153372091010000213301a337609801014000375000e00a2a66602a66e3d2210000213301a337609801014000375000e00626603466ec0dd48011ba800133006006003375a602e0066eb8c054008c064008c05c0048c008cc04cc008cc04cdd4800a5eb80cc04d30103d87a80004bd701ba548000c94ccc0400040284c8c94ccc04800403054ccc048c0540044c8c94ccc040c01cc048dd5001099299999980c8010a999808980418099baa002153330153014375400420020200200200200200206eb8c058c04cdd500100718090019808001006180a00118090009bab3011301230123012301230123012301230123012300e375400c6eb8c040c034dd50011b874800058c038c03c008c034004c034008c02c004c01cdd50008a4c2a6600a9211856616c696461746f722072657475726e65642066616c736500136561533003490139657870656374205b50616972284d696e74286f746865725f706f6c6963795f6964292c2064617461292c205f5d203d2072656465656d657273001615330024911265787065637420566f6964203d206461746100165734ae7155ceaab9e5573eae815d0aba257481", + "hash": "cae8c1517af745ea844b9420abed70cb8d46c094d8b32cc432c72add" }, { "title": "mint.test_2.mint", @@ -83,13 +83,13 @@ "$ref": "#/definitions/Void" } }, - "compiledCode": "591a8c01010032323232323232323232323232323232322533300a3232323232533300f3370e900518089baa001132323232325333014300330163754002264646464a66603066e1d2002301a3754603c0082a666030600e60346ea80044c8c8c94ccc06ccdd7999801002a4000002980106d8799f182cff001533301b3375e66600400a9001000a6109d8799f1a00025ef5ff001533301b3375e66600400a9002000a6109d8799f1a00016000ff001533301b3375e66600400a9003000a6107d8799f194000ff001533301b3375e66600400a9004000a6107d8799f19044cff001533301b3375e66600400a9005000a6109d8799f1a001e8480ff001533301b3375e66600400a9006000a6109d8799f1a1dcd6500ff001533301b3375e66600400a9007000a6105d8799f12ff001533301b3375e66600400a9008000a6107d8799f1901f4ff001323232323253330203375e666004014900900098041981299801a400c900a25eb8054ccc080cdd79998010052402800260106604a660069003241a01e97ae0153330203375e666004014900b00098041981299801a4004900525eb8054ccc080cdd79998038052404000c980107d8799f190154ff00153330203375e66600e014901100326107d8799f1910d6ff00153330203375e66600401490121000a60103d87a8000153330203375e66600401490131299999981480081001009929998130008108991929998140008118992999814981600109806998151803001998151803000a5eb80090c0a8004c0a8008c0a0004dd600081001018041981298041981299801a4104129068079981299801a414416904044bd25eb812f5c0264a66604266ebcccc00c02d20280014c116d8799fd8799f1a00d59f801b00000002540be400ffff00153330213375e6660060169015000a6116d8799fd8799f1a03b20b801b00000004a817c800ffff00153330213375e6660100169016003a6107d8799f191388ff00153330213375e6660100169017003a6106d8799f1896ff00153330213375e6660100169018003a6105d8799f03ff00153330213375e66600601690191299999981500080f80f8992999813800810099192999814800811099192999815800812099192999816800813099192999817800814099299981818198010980a19818980680499818980a198189806803998189806802a5eb80cc0c4c03400ccc0c4c050cc0c4c034004cc0c530103d8798000330314c103d8798000330314c103d8798000330314c103d87980004bd7025eb800a4c0c4004c0c4008c0bc004c0bc008c0b4004c0b4008c0ac004c0ac008c0a4004dd600080f80fa6141d8799fd8799fd8799f18331864ffd8799fd8799f0d1819ffd8799f18351864ffffd8799f181b1832ffd8799fd8799f0b14ffd87980d87980d87980d87980ffffff00153330213375e646464646464666012022901a129981499b964901186472657020766f74696e67207468726573686f6c64733a200037326600400291010015333333030001024024132533302d00102513232533302f00102713232533303100102913232533303300102b13232533303500102d13232533303700102f13232533303900103113232533303b00103313232533303d00103513232533303f001037132533304030430021302433041301d01333041302433041301d01133041301d00f4bd7019820980e80699820980e80599820981219820a60103d879800033041301d00933041301d00733041301d00533041301d0034bd7019820980e800a5eb800e0c104004c104008c0fc004c0fc008c0f4004c0f4008c0ec004c0ec008c0e4004c0e4008c0dc004c0dc008c0d4004c0d4008c0cc004c0cc008c0c4004c0c4008c0bc004dd6000812012180080091129999199981880189919191919191980600100099b8a489012800002533302d337100069007099b80483c80400c54ccc0b4cdc4001a410004266e00cdc0241002800690068b2999818000899b8a4881035b5d2900005133714911035b5f2000333300800133714911025d2900005223330090090023006001223330090090020013758605c0046eb4c0b0004c8cdd81ba8302c001374e605a0026ea800c4c94ccc0b80044cdc52441027b7d00003133714911037b5f200032323300100100322533303100110031533303130340011323330090093030001337149101023a2000333009009303100100430330011323330090093030001337149101023a20003330090093031001300633003003303500230330013371491102207d000033756006264a66605c002266e29221025b5d00003133714911035b5f2000333300600133714911015d000032233300700700230040012233300700700200137580066e292201022c2000133005375a0040022646466e2922010268270000132333001001337006e34009200133714911012700003222533302c3371000490000800899191919980300319b8000548004cdc599b80002533302f33710004900a0a40c02903719b8b33700002a66605e66e2000520141481805206e0043370c004901019b8300148080cdc70020011bae0022222323300100100522533302e00110051533302e303100113300330300010051330043030001330020023031001223233001001003225333027301600113371491101300000315333027337100029000099b8a489012d0033002002300c00113300533708002900a19b8b3370066e1400520144818000cc0040048894ccc090cdc4801240002002266600600666e1000920143371666e00cdc2801240289030000a615bd8799fd8799fd8799f18431864ffd8799fd8799f18431864ffd8799f0305ffffd8799f0304ffd8799f0305ffd8799fd87980d8799f18431864ffd8799f18431864ffd8799f18431864ffd8799f0304ffffd8799f18431864ffffff00153330213375e666010016901b003a6105d8799f07ff00153330213375e666010016901c003a6106d8799f1892ff00153330213375e666010016901d003a6105d8799f06ff00153330213375e666010016901e003a610dd8799f1b000000174876e800ff00153330213375e666010016901f003a6109d8799f1a1dcd6500ff00153330213375e6660100169020003a6105d8799f14ff00153330213375e6660060169021001180499813198022403c900125eb805288a9981124817d6578706563740a20202020202028206e65775f706172616d6574657273207c3e207265666572656e63655f736372697074735f746965725f6665655f696e697469616c5f666163746f722029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c2831352c2031292c0a2020202020202900161533022491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6d61785f69646c655f74696d652029203d3d20536f6d652832302900161533022491576578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6465706f7369742029203d3d20536f6d65283530305f3030305f3030302900161533022491576578706563740a20202020202028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6465706f7369742029203d3d20536f6d65283130305f3030305f3030305f3030302900161533022491446578706563742028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6c69666574696d652029203d3d20536f6d6528362900161533022491546578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f636f6e737469747574696f6e616c5f636f6d6d69747465655f6d616e646174652029203d3d20536f6d65283134362900161533022491496578706563742028206e65775f706172616d6574657273207c3e206d696e5f636f6e737469747574696f6e616c5f636f6d6d69747465655f73697a652029203d3d20536f6d6528372900161533022491786578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a2020202020202020647265705f7468726573686f6c647328292c0a2020202020202900161533022491736578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6f70657261746f725f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a202020202020202073706f5f7468726573686f6c647328292c0a20202020202029001615330224913d6578706563742028206e65775f706172616d6574657273207c3e206d61785f636f6c6c61746572616c5f696e707574732029203d3d20536f6d65283329001615330224913f6578706563742028206e65775f706172616d6574657273207c3e20636f6c6c61746572616c5f70657263656e746167652029203d3d20536f6d65283135302900161533022491396578706563742028206e65775f706172616d6574657273207c3e206d61785f76616c75655f73697a652029203d3d20536f6d65283530303029001615330224918c6578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2036323030303030302c206370753a203230303030303030303030207d2c0a2020202020202900161533022491926578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2031343030303030302c206370753a203130303030303030303030207d2c0a2020202020202900162533333302900101f01f1325333026001020132533333302b001021021021132325333029001023132533333302e001024024024132533302b302e0031300f3302c3750008660586ea00052f5c004a6eb4004090c0ac004c0ac00cdd680081098140009bac00101f01f15330214901d56578706563740a20202020202028206e65775f706172616d6574657273207c3e207363726970745f657865637574696f6e5f7072696365732029203d3d20536f6d65280a2020202020202020536372697074457865637574696f6e507269636573207b0a202020202020202020206d656d6f72793a206578706563745f726174696f6e616c283537372c20315f303030292c0a202020202020202020206370753a206578706563745f726174696f6e616c283732312c20315f3030305f303030292c0a20202020202020207d2c0a2020202020202900161533021491306578706563742028206e65775f706172616d6574657273207c3e20636f73745f6d6f64656c732029203d3d204e6f6e6500161533021491476578706563742028206e65775f706172616d6574657273207c3e206d696e5f7574786f5f6465706f7369745f636f656666696369656e742029203d3d20536f6d65283433313029001615330214913d6578706563742028206e65775f706172616d6574657273207c3e206d696e5f7374616b655f706f6f6c5f636f73742029203d3d20536f6d65283334302900161533021491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2074726561737572795f657870616e73696f6e2029203d3d20536f6d65286578706563745f726174696f6e616c28312c2035292900161533021491696578706563740a20202020202028206e65775f706172616d6574657273207c3e206d6f6e65746172795f657870616e73696f6e2029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c20315f303030292c0a20202020202029001615330214916f6578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f706c656467655f696e666c75656e63652029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c203130292c0a2020202020202900162533333302800101a01a132533302500101b132533333302a00101c01c01c13232533302800101e132533333302d00101f01f01f132533302a302d00313253330273016302937540022605a60546ea8004080cc028010004080dd680080f981500098150019bad00101c30270013758002034034444646600200200844a66604e002298103d87a8000132323253330263370e00e6eb4c0a000c4c038cc0acc0180052f5c026600a00a0046050004605600460520024464a666040601e60446ea80044c098c08cdd500080c9980180100091299980f18068008a60103d87a80001533301e33710002900009803198119803198119ba83003002330233750600600297ae04bd7009803198119803198119ba800233023375000297ae04bd701b814800054cc0712401476578706563742028206e65775f706172616d6574657273207c3e20646573697265645f6e756d6265725f6f665f7374616b655f706f6f6c732029203d3d20536f6d6528353030290016153301c491466578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f7265746972656d656e745f686f72697a6f6e2029203d3d20536f6d65283138290016153301c491446578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6465706f7369742029203d3d20536f6d65283530305f3030305f303030290016153301c491486578706563742028206e65775f706172616d6574657273207c3e207374616b655f63726564656e7469616c5f6465706f7369742029203d3d20536f6d6528325f3030305f303030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f6865616465725f73697a652029203d3d20536f6d6528315f313030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f73697a652029203d3d20536f6d652831365f333834290016153301c491406578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f626f64795f73697a652029203d3d20536f6d652839305f313132290016153301c4913e6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f6e7374616e742029203d3d20536f6d65283135355f333831290016153301c4913c6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f656666696369656e742029203d3d20536f6d65283434290016253333330230010160160161375a00202c444646600200200844a666044002298103d87a8000132323253330213370e00e6eb4c08c00c4c024cc098dd41803000a5eb804cc014014008c08c008c098008c090004dd2a4000020020603a603c0046eacc070004c070004c05cdd5000806180c980d180d180b1baa3019301a004533301230013014375400a2a66602c602a6ea80145261616370e90001bad3016001301237540022c6028602a004602600260260046022002601a6ea8004526153300b49011856616c696461746f722072657475726e65642066616c7365001365615330094901b96578706563742050726f706f73616c50726f636564757265207b0a202020202020676f7665726e616e63655f616374696f6e3a2050726f746f636f6c506172616d6574657273207b0a2020202020202020616e636573746f723a204e6f6e652c0a202020202020202067756172647261696c733a20536f6d65282e2e292c0a20202020202020206e65775f706172616d65746572732c0a2020202020207d2c0a2020202020202e2e0a202020207d203d2070726f706f73616c001615330084913565787065637420536f6d65287229203d20726174696f6e616c2e6e6577286e756d657261746f722c2064656e6f6d696e61746f72290016153300749132657870656374205b6e756d657261746f722c2064656e6f6d696e61746f725d3a204c6973743c496e743e203d20706172616d001615330064911965787065637420706172616d3a20496e74203d20706172616d00161533005491ff657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e2c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f6e6574776f726b5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f65636f6e6f6d69635f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f746a6563686e6963616c5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f676f7665726e616e63655f67726f75702c0a2020202074726561737572795f7769746864726177616c2c0a20205d3a204c6973743c446174613e203d20706172616d00161533004491c4657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f73656375726974795f67726f75702c0a20205d3a204c6973743c446174613e203d20706172616d0016153300349127657870656374205b6d656d6f72792c206370755d3a204c6973743c496e743e203d20706172616d0016153300249128657870656374205b6d656d6f72792c206370755d3a204c6973743c446174613e203d20706172616d00165734ae7155ceaab9e5573eae815d0aba257481", - "hash": "628d246855dda6aef139c7a1bec7d37ff1db213bfd28d3ae9fd52300" + "compiledCode": "5917c601010032323232323232323232323232323232322533300a3232323232533300f3370e900518089baa001132323232325333014300330163754002264646464a66603066e1d2002301a3754603c0082a666030600e60346ea80044c8c8c94ccc06ccdd7999801002a4000002980106d8799f182cff001533301b3375e66600400a9001000a6109d8799f1a00025ef5ff001533301b3375e66600400a9002000a6109d8799f1a00016000ff001533301b3375e66600400a9003000a6107d8799f194000ff001533301b3375e66600400a9004000a6107d8799f19044cff001533301b3375e66600400a9005000a6109d8799f1a001e8480ff001533301b3375e66600400a9006000a6109d8799f1a1dcd6500ff001533301b3375e66600400a9007000a6105d8799f12ff001533301b3375e66600400a9008000a6107d8799f1901f4ff00132323232533301f3375e666004012900900098039981219801a400c900a25eb8054ccc07ccdd7999801004a4028002600e66048660069003241a01e97ae01533301f3375e666004012900b00098039981219801a4004900525eb8054ccc07ccdd7999803004a404000a980107d8799f190154ff001533301f3375e66600c0129011002a6107d8799f1910d6ff001533301f3375e66600401290121000a60103d87a80001533301f3375e66600401290131299999981400080f80f89929998128008100991929998138008110992999814181580109806198149803001998149803000a5eb8008cc0a4004c0a4008c09c004dd600080f80f98039981218039981219801a4104129068079981219801a414416904044bd25eb812f5c0264a66604066ebcccc00c02920280014c116d8799fd8799f1a00d59f801b00000002540be400ffff00153330203375e6660060149015000a6116d8799fd8799f1a03b20b801b00000004a817c800ffff00153330203375e66600e014901600326107d8799f191388ff00153330203375e66600e014901700326106d8799f1896ff00153330203375e66600e014901800326105d8799f03ff00153330203375e66600601490191299999981480080f00f099299981300080f8991929998140008108991929998150008118991929998160008128991929998170008138992999817981900109809998181806804998181809998181806803998181806802a5eb80cc0c0c03400ccc0c0c04ccc0c0c034004cc0c130103d8798000330304c103d8798000330304c103d8798000330304c103d87980004bd7025eb800a0c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004dd600080f00f26141d8799fd8799fd8799f18331864ffd8799fd8799f0d1819ffd8799f18351864ffffd8799f181b1832ffd8799fd8799f0b14ffd87980d87980d87980d87980ffffff00153330203375e666006014901a1299999981480080e80e899299981300080f09919299981400081009919299981500081109919299981600081209919299981700081309919299981800081409919299981900081509919299981a00081609919299981b00081709919299981c000818099299981c981e0010980e9981d180b8099981d180e9981d180b8089981d180b807a5eb80cc0e8c05c034cc0e8c05c02ccc0e8c074cc0e930103d87980003303a30170093303a30170073303a30170053303a30170034bd701981d180b800a5eb800c4c0e8004c0e8008c0e0004c0e0008c0d8004c0d8008c0d0004c0d0008c0c8004c0c8008c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004dd600080e80ea615bd8799fd8799fd8799f18431864ffd8799fd8799f18431864ffd8799f0305ffffd8799f0304ffd8799f0305ffd8799fd87980d8799f18431864ffd8799f18431864ffd8799f18431864ffd8799f0304ffffd8799f18431864ffffff00153330203375e66600e014901b00326105d8799f07ff00153330203375e66600e014901c00326106d8799f1892ff00153330203375e66600e014901d00326105d8799f06ff00153330203375e66600e014901e0032610dd8799f1b000000174876e800ff00153330203375e66600e014901f00326109d8799f1a1dcd6500ff00153330203375e66600e014902000326105d8799f14ff00153330203375e6660060149021001180419812998022403c900125eb805288a99810a4817d6578706563740a20202020202028206e65775f706172616d6574657273207c3e207265666572656e63655f736372697074735f746965725f6665655f696e697469616c5f666163746f722029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c2831352c2031292c0a2020202020202900161533021491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6d61785f69646c655f74696d652029203d3d20536f6d652832302900161533021491576578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6465706f7369742029203d3d20536f6d65283530305f3030305f3030302900161533021491576578706563740a20202020202028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6465706f7369742029203d3d20536f6d65283130305f3030305f3030305f3030302900161533021491446578706563742028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6c69666574696d652029203d3d20536f6d6528362900161533021491546578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f636f6e737469747574696f6e616c5f636f6d6d69747465655f6d616e646174652029203d3d20536f6d65283134362900161533021491496578706563742028206e65775f706172616d6574657273207c3e206d696e5f636f6e737469747574696f6e616c5f636f6d6d69747465655f73697a652029203d3d20536f6d6528372900161533021491786578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a2020202020202020647265705f7468726573686f6c647328292c0a2020202020202900161533021491736578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6f70657261746f725f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a202020202020202073706f5f7468726573686f6c647328292c0a20202020202029001615330214913d6578706563742028206e65775f706172616d6574657273207c3e206d61785f636f6c6c61746572616c5f696e707574732029203d3d20536f6d65283329001615330214913f6578706563742028206e65775f706172616d6574657273207c3e20636f6c6c61746572616c5f70657263656e746167652029203d3d20536f6d65283135302900161533021491396578706563742028206e65775f706172616d6574657273207c3e206d61785f76616c75655f73697a652029203d3d20536f6d65283530303029001615330214918c6578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2036323030303030302c206370753a203230303030303030303030207d2c0a2020202020202900161533021491926578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2031343030303030302c206370753a203130303030303030303030207d2c0a2020202020202900162533333302800101e01e132533302500101f132533333302a001020020020132325333028001022132533333302d001023023023132533302a302d0031300e3302b3750008660566ea00052f5c00486eb400408cc0a8004c0a800cdd680081018138009bac00101e01e15330204901d56578706563740a20202020202028206e65775f706172616d6574657273207c3e207363726970745f657865637574696f6e5f7072696365732029203d3d20536f6d65280a2020202020202020536372697074457865637574696f6e507269636573207b0a202020202020202020206d656d6f72793a206578706563745f726174696f6e616c283537372c20315f303030292c0a202020202020202020206370753a206578706563745f726174696f6e616c283732312c20315f3030305f303030292c0a20202020202020207d2c0a2020202020202900161533020491306578706563742028206e65775f706172616d6574657273207c3e20636f73745f6d6f64656c732029203d3d204e6f6e6500161533020491476578706563742028206e65775f706172616d6574657273207c3e206d696e5f7574786f5f6465706f7369745f636f656666696369656e742029203d3d20536f6d65283433313029001615330204913d6578706563742028206e65775f706172616d6574657273207c3e206d696e5f7374616b655f706f6f6c5f636f73742029203d3d20536f6d65283334302900161533020491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2074726561737572795f657870616e73696f6e2029203d3d20536f6d65286578706563745f726174696f6e616c28312c2035292900161533020491696578706563740a20202020202028206e65775f706172616d6574657273207c3e206d6f6e65746172795f657870616e73696f6e2029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c20315f303030292c0a20202020202029001615330204916f6578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f706c656467655f696e666c75656e63652029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c203130292c0a20202020202029001625333333027001019019132533302400101a132533333302900101b01b01b13232533302700101d132533333302c00101e01e01e1325333029302c00313253330263015302837540022605860526ea800407ccc02801000407cdd680080f181480098148019bad00101b30260013758002032032444646600200200844a66604c002298103d87a8000132323253330253370e00e6eb4c09c00c4c034cc0a8c0180052f5c026600a00a004604e004605400460500024464a66603e601c60426ea80044c094c088dd500080c1980180100091299980e98060008a60103d87a80001533301d33710002900009802998111802998111ba8337029000001198111ba8337029000000a5eb812f5c02600a66044600a660446ea0008cc088dd4000a5eb812f5c02a660389201476578706563742028206e65775f706172616d6574657273207c3e20646573697265645f6e756d6265725f6f665f7374616b655f706f6f6c732029203d3d20536f6d6528353030290016153301c491466578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f7265746972656d656e745f686f72697a6f6e2029203d3d20536f6d65283138290016153301c491446578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6465706f7369742029203d3d20536f6d65283530305f3030305f303030290016153301c491486578706563742028206e65775f706172616d6574657273207c3e207374616b655f63726564656e7469616c5f6465706f7369742029203d3d20536f6d6528325f3030305f303030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f6865616465725f73697a652029203d3d20536f6d6528315f313030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f73697a652029203d3d20536f6d652831365f333834290016153301c491406578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f626f64795f73697a652029203d3d20536f6d652839305f313132290016153301c4913e6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f6e7374616e742029203d3d20536f6d65283135355f333831290016153301c4913c6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f656666696369656e742029203d3d20536f6d65283434290016253333330230010160160161375a00202c444646600200200844a666044002298103d87a8000132323253330213370e00e6eb4c08c00c4c024cc098dd41803000a5eb804cc014014008c08c008c098008c090004dd2a4000020020603a603c0046eacc070004c070004c05cdd5000806180c980d180d180b1baa3019301a004533301230013014375400a2a66602c602a6ea80145261616370e90001bad3016001301237540022c6028602a004602600260260046022002601a6ea8004526153300b49011856616c696461746f722072657475726e65642066616c7365001365615330094901b96578706563742050726f706f73616c50726f636564757265207b0a202020202020676f7665726e616e63655f616374696f6e3a2050726f746f636f6c506172616d6574657273207b0a2020202020202020616e636573746f723a204e6f6e652c0a202020202020202067756172647261696c733a20536f6d65282e2e292c0a20202020202020206e65775f706172616d65746572732c0a2020202020207d2c0a2020202020202e2e0a202020207d203d2070726f706f73616c001615330084913565787065637420536f6d65287229203d20726174696f6e616c2e6e6577286e756d657261746f722c2064656e6f6d696e61746f72290016153300749132657870656374205b6e756d657261746f722c2064656e6f6d696e61746f725d3a204c6973743c496e743e203d20706172616d001615330064911965787065637420706172616d3a20496e74203d20706172616d00161533005491ff657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e2c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f6e6574776f726b5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f65636f6e6f6d69635f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f746a6563686e6963616c5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f676f7665726e616e63655f67726f75702c0a2020202074726561737572795f7769746864726177616c2c0a20205d3a204c6973743c446174613e203d20706172616d00161533004491c4657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f73656375726974795f67726f75702c0a20205d3a204c6973743c446174613e203d20706172616d0016153300349127657870656374205b6d656d6f72792c206370755d3a204c6973743c496e743e203d20706172616d0016153300249128657870656374205b6d656d6f72792c206370755d3a204c6973743c446174613e203d20706172616d00165734ae7155ceaab9e5573eae815d0aba257481", + "hash": "4eab67aa6092b5cde6e7f7729be21287d539e5c0a32d68c84702e588" }, { "title": "proposing_pparams.guardrails.else", - "compiledCode": "591a8c01010032323232323232323232323232323232322533300a3232323232533300f3370e900518089baa001132323232325333014300330163754002264646464a66603066e1d2002301a3754603c0082a666030600e60346ea80044c8c8c94ccc06ccdd7999801002a4000002980106d8799f182cff001533301b3375e66600400a9001000a6109d8799f1a00025ef5ff001533301b3375e66600400a9002000a6109d8799f1a00016000ff001533301b3375e66600400a9003000a6107d8799f194000ff001533301b3375e66600400a9004000a6107d8799f19044cff001533301b3375e66600400a9005000a6109d8799f1a001e8480ff001533301b3375e66600400a9006000a6109d8799f1a1dcd6500ff001533301b3375e66600400a9007000a6105d8799f12ff001533301b3375e66600400a9008000a6107d8799f1901f4ff001323232323253330203375e666004014900900098041981299801a400c900a25eb8054ccc080cdd79998010052402800260106604a660069003241a01e97ae0153330203375e666004014900b00098041981299801a4004900525eb8054ccc080cdd79998038052404000c980107d8799f190154ff00153330203375e66600e014901100326107d8799f1910d6ff00153330203375e66600401490121000a60103d87a8000153330203375e66600401490131299999981480081001009929998130008108991929998140008118992999814981600109806998151803001998151803000a5eb80090c0a8004c0a8008c0a0004dd600081001018041981298041981299801a4104129068079981299801a414416904044bd25eb812f5c0264a66604266ebcccc00c02d20280014c116d8799fd8799f1a00d59f801b00000002540be400ffff00153330213375e6660060169015000a6116d8799fd8799f1a03b20b801b00000004a817c800ffff00153330213375e6660100169016003a6107d8799f191388ff00153330213375e6660100169017003a6106d8799f1896ff00153330213375e6660100169018003a6105d8799f03ff00153330213375e66600601690191299999981500080f80f8992999813800810099192999814800811099192999815800812099192999816800813099192999817800814099299981818198010980a19818980680499818980a198189806803998189806802a5eb80cc0c4c03400ccc0c4c050cc0c4c034004cc0c530103d8798000330314c103d8798000330314c103d8798000330314c103d87980004bd7025eb800a4c0c4004c0c4008c0bc004c0bc008c0b4004c0b4008c0ac004c0ac008c0a4004dd600080f80fa6141d8799fd8799fd8799f18331864ffd8799fd8799f0d1819ffd8799f18351864ffffd8799f181b1832ffd8799fd8799f0b14ffd87980d87980d87980d87980ffffff00153330213375e646464646464666012022901a129981499b964901186472657020766f74696e67207468726573686f6c64733a200037326600400291010015333333030001024024132533302d00102513232533302f00102713232533303100102913232533303300102b13232533303500102d13232533303700102f13232533303900103113232533303b00103313232533303d00103513232533303f001037132533304030430021302433041301d01333041302433041301d01133041301d00f4bd7019820980e80699820980e80599820981219820a60103d879800033041301d00933041301d00733041301d00533041301d0034bd7019820980e800a5eb800e0c104004c104008c0fc004c0fc008c0f4004c0f4008c0ec004c0ec008c0e4004c0e4008c0dc004c0dc008c0d4004c0d4008c0cc004c0cc008c0c4004c0c4008c0bc004dd6000812012180080091129999199981880189919191919191980600100099b8a489012800002533302d337100069007099b80483c80400c54ccc0b4cdc4001a410004266e00cdc0241002800690068b2999818000899b8a4881035b5d2900005133714911035b5f2000333300800133714911025d2900005223330090090023006001223330090090020013758605c0046eb4c0b0004c8cdd81ba8302c001374e605a0026ea800c4c94ccc0b80044cdc52441027b7d00003133714911037b5f200032323300100100322533303100110031533303130340011323330090093030001337149101023a2000333009009303100100430330011323330090093030001337149101023a20003330090093031001300633003003303500230330013371491102207d000033756006264a66605c002266e29221025b5d00003133714911035b5f2000333300600133714911015d000032233300700700230040012233300700700200137580066e292201022c2000133005375a0040022646466e2922010268270000132333001001337006e34009200133714911012700003222533302c3371000490000800899191919980300319b8000548004cdc599b80002533302f33710004900a0a40c02903719b8b33700002a66605e66e2000520141481805206e0043370c004901019b8300148080cdc70020011bae0022222323300100100522533302e00110051533302e303100113300330300010051330043030001330020023031001223233001001003225333027301600113371491101300000315333027337100029000099b8a489012d0033002002300c00113300533708002900a19b8b3370066e1400520144818000cc0040048894ccc090cdc4801240002002266600600666e1000920143371666e00cdc2801240289030000a615bd8799fd8799fd8799f18431864ffd8799fd8799f18431864ffd8799f0305ffffd8799f0304ffd8799f0305ffd8799fd87980d8799f18431864ffd8799f18431864ffd8799f18431864ffd8799f0304ffffd8799f18431864ffffff00153330213375e666010016901b003a6105d8799f07ff00153330213375e666010016901c003a6106d8799f1892ff00153330213375e666010016901d003a6105d8799f06ff00153330213375e666010016901e003a610dd8799f1b000000174876e800ff00153330213375e666010016901f003a6109d8799f1a1dcd6500ff00153330213375e6660100169020003a6105d8799f14ff00153330213375e6660060169021001180499813198022403c900125eb805288a9981124817d6578706563740a20202020202028206e65775f706172616d6574657273207c3e207265666572656e63655f736372697074735f746965725f6665655f696e697469616c5f666163746f722029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c2831352c2031292c0a2020202020202900161533022491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6d61785f69646c655f74696d652029203d3d20536f6d652832302900161533022491576578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6465706f7369742029203d3d20536f6d65283530305f3030305f3030302900161533022491576578706563740a20202020202028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6465706f7369742029203d3d20536f6d65283130305f3030305f3030305f3030302900161533022491446578706563742028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6c69666574696d652029203d3d20536f6d6528362900161533022491546578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f636f6e737469747574696f6e616c5f636f6d6d69747465655f6d616e646174652029203d3d20536f6d65283134362900161533022491496578706563742028206e65775f706172616d6574657273207c3e206d696e5f636f6e737469747574696f6e616c5f636f6d6d69747465655f73697a652029203d3d20536f6d6528372900161533022491786578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a2020202020202020647265705f7468726573686f6c647328292c0a2020202020202900161533022491736578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6f70657261746f725f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a202020202020202073706f5f7468726573686f6c647328292c0a20202020202029001615330224913d6578706563742028206e65775f706172616d6574657273207c3e206d61785f636f6c6c61746572616c5f696e707574732029203d3d20536f6d65283329001615330224913f6578706563742028206e65775f706172616d6574657273207c3e20636f6c6c61746572616c5f70657263656e746167652029203d3d20536f6d65283135302900161533022491396578706563742028206e65775f706172616d6574657273207c3e206d61785f76616c75655f73697a652029203d3d20536f6d65283530303029001615330224918c6578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2036323030303030302c206370753a203230303030303030303030207d2c0a2020202020202900161533022491926578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2031343030303030302c206370753a203130303030303030303030207d2c0a2020202020202900162533333302900101f01f1325333026001020132533333302b001021021021132325333029001023132533333302e001024024024132533302b302e0031300f3302c3750008660586ea00052f5c004a6eb4004090c0ac004c0ac00cdd680081098140009bac00101f01f15330214901d56578706563740a20202020202028206e65775f706172616d6574657273207c3e207363726970745f657865637574696f6e5f7072696365732029203d3d20536f6d65280a2020202020202020536372697074457865637574696f6e507269636573207b0a202020202020202020206d656d6f72793a206578706563745f726174696f6e616c283537372c20315f303030292c0a202020202020202020206370753a206578706563745f726174696f6e616c283732312c20315f3030305f303030292c0a20202020202020207d2c0a2020202020202900161533021491306578706563742028206e65775f706172616d6574657273207c3e20636f73745f6d6f64656c732029203d3d204e6f6e6500161533021491476578706563742028206e65775f706172616d6574657273207c3e206d696e5f7574786f5f6465706f7369745f636f656666696369656e742029203d3d20536f6d65283433313029001615330214913d6578706563742028206e65775f706172616d6574657273207c3e206d696e5f7374616b655f706f6f6c5f636f73742029203d3d20536f6d65283334302900161533021491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2074726561737572795f657870616e73696f6e2029203d3d20536f6d65286578706563745f726174696f6e616c28312c2035292900161533021491696578706563740a20202020202028206e65775f706172616d6574657273207c3e206d6f6e65746172795f657870616e73696f6e2029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c20315f303030292c0a20202020202029001615330214916f6578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f706c656467655f696e666c75656e63652029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c203130292c0a2020202020202900162533333302800101a01a132533302500101b132533333302a00101c01c01c13232533302800101e132533333302d00101f01f01f132533302a302d00313253330273016302937540022605a60546ea8004080cc028010004080dd680080f981500098150019bad00101c30270013758002034034444646600200200844a66604e002298103d87a8000132323253330263370e00e6eb4c0a000c4c038cc0acc0180052f5c026600a00a0046050004605600460520024464a666040601e60446ea80044c098c08cdd500080c9980180100091299980f18068008a60103d87a80001533301e33710002900009803198119803198119ba83003002330233750600600297ae04bd7009803198119803198119ba800233023375000297ae04bd701b814800054cc0712401476578706563742028206e65775f706172616d6574657273207c3e20646573697265645f6e756d6265725f6f665f7374616b655f706f6f6c732029203d3d20536f6d6528353030290016153301c491466578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f7265746972656d656e745f686f72697a6f6e2029203d3d20536f6d65283138290016153301c491446578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6465706f7369742029203d3d20536f6d65283530305f3030305f303030290016153301c491486578706563742028206e65775f706172616d6574657273207c3e207374616b655f63726564656e7469616c5f6465706f7369742029203d3d20536f6d6528325f3030305f303030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f6865616465725f73697a652029203d3d20536f6d6528315f313030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f73697a652029203d3d20536f6d652831365f333834290016153301c491406578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f626f64795f73697a652029203d3d20536f6d652839305f313132290016153301c4913e6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f6e7374616e742029203d3d20536f6d65283135355f333831290016153301c4913c6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f656666696369656e742029203d3d20536f6d65283434290016253333330230010160160161375a00202c444646600200200844a666044002298103d87a8000132323253330213370e00e6eb4c08c00c4c024cc098dd41803000a5eb804cc014014008c08c008c098008c090004dd2a4000020020603a603c0046eacc070004c070004c05cdd5000806180c980d180d180b1baa3019301a004533301230013014375400a2a66602c602a6ea80145261616370e90001bad3016001301237540022c6028602a004602600260260046022002601a6ea8004526153300b49011856616c696461746f722072657475726e65642066616c7365001365615330094901b96578706563742050726f706f73616c50726f636564757265207b0a202020202020676f7665726e616e63655f616374696f6e3a2050726f746f636f6c506172616d6574657273207b0a2020202020202020616e636573746f723a204e6f6e652c0a202020202020202067756172647261696c733a20536f6d65282e2e292c0a20202020202020206e65775f706172616d65746572732c0a2020202020207d2c0a2020202020202e2e0a202020207d203d2070726f706f73616c001615330084913565787065637420536f6d65287229203d20726174696f6e616c2e6e6577286e756d657261746f722c2064656e6f6d696e61746f72290016153300749132657870656374205b6e756d657261746f722c2064656e6f6d696e61746f725d3a204c6973743c496e743e203d20706172616d001615330064911965787065637420706172616d3a20496e74203d20706172616d00161533005491ff657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e2c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f6e6574776f726b5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f65636f6e6f6d69635f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f746a6563686e6963616c5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f676f7665726e616e63655f67726f75702c0a2020202074726561737572795f7769746864726177616c2c0a20205d3a204c6973743c446174613e203d20706172616d00161533004491c4657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f73656375726974795f67726f75702c0a20205d3a204c6973743c446174613e203d20706172616d0016153300349127657870656374205b6d656d6f72792c206370755d3a204c6973743c496e743e203d20706172616d0016153300249128657870656374205b6d656d6f72792c206370755d3a204c6973743c446174613e203d20706172616d00165734ae7155ceaab9e5573eae815d0aba257481", - "hash": "628d246855dda6aef139c7a1bec7d37ff1db213bfd28d3ae9fd52300" + "compiledCode": "5917c601010032323232323232323232323232323232322533300a3232323232533300f3370e900518089baa001132323232325333014300330163754002264646464a66603066e1d2002301a3754603c0082a666030600e60346ea80044c8c8c94ccc06ccdd7999801002a4000002980106d8799f182cff001533301b3375e66600400a9001000a6109d8799f1a00025ef5ff001533301b3375e66600400a9002000a6109d8799f1a00016000ff001533301b3375e66600400a9003000a6107d8799f194000ff001533301b3375e66600400a9004000a6107d8799f19044cff001533301b3375e66600400a9005000a6109d8799f1a001e8480ff001533301b3375e66600400a9006000a6109d8799f1a1dcd6500ff001533301b3375e66600400a9007000a6105d8799f12ff001533301b3375e66600400a9008000a6107d8799f1901f4ff00132323232533301f3375e666004012900900098039981219801a400c900a25eb8054ccc07ccdd7999801004a4028002600e66048660069003241a01e97ae01533301f3375e666004012900b00098039981219801a4004900525eb8054ccc07ccdd7999803004a404000a980107d8799f190154ff001533301f3375e66600c0129011002a6107d8799f1910d6ff001533301f3375e66600401290121000a60103d87a80001533301f3375e66600401290131299999981400080f80f89929998128008100991929998138008110992999814181580109806198149803001998149803000a5eb8008cc0a4004c0a4008c09c004dd600080f80f98039981218039981219801a4104129068079981219801a414416904044bd25eb812f5c0264a66604066ebcccc00c02920280014c116d8799fd8799f1a00d59f801b00000002540be400ffff00153330203375e6660060149015000a6116d8799fd8799f1a03b20b801b00000004a817c800ffff00153330203375e66600e014901600326107d8799f191388ff00153330203375e66600e014901700326106d8799f1896ff00153330203375e66600e014901800326105d8799f03ff00153330203375e66600601490191299999981480080f00f099299981300080f8991929998140008108991929998150008118991929998160008128991929998170008138992999817981900109809998181806804998181809998181806803998181806802a5eb80cc0c0c03400ccc0c0c04ccc0c0c034004cc0c130103d8798000330304c103d8798000330304c103d8798000330304c103d87980004bd7025eb800a0c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004dd600080f00f26141d8799fd8799fd8799f18331864ffd8799fd8799f0d1819ffd8799f18351864ffffd8799f181b1832ffd8799fd8799f0b14ffd87980d87980d87980d87980ffffff00153330203375e666006014901a1299999981480080e80e899299981300080f09919299981400081009919299981500081109919299981600081209919299981700081309919299981800081409919299981900081509919299981a00081609919299981b00081709919299981c000818099299981c981e0010980e9981d180b8099981d180e9981d180b8089981d180b807a5eb80cc0e8c05c034cc0e8c05c02ccc0e8c074cc0e930103d87980003303a30170093303a30170073303a30170053303a30170034bd701981d180b800a5eb800c4c0e8004c0e8008c0e0004c0e0008c0d8004c0d8008c0d0004c0d0008c0c8004c0c8008c0c0004c0c0008c0b8004c0b8008c0b0004c0b0008c0a8004c0a8008c0a0004dd600080e80ea615bd8799fd8799fd8799f18431864ffd8799fd8799f18431864ffd8799f0305ffffd8799f0304ffd8799f0305ffd8799fd87980d8799f18431864ffd8799f18431864ffd8799f18431864ffd8799f0304ffffd8799f18431864ffffff00153330203375e66600e014901b00326105d8799f07ff00153330203375e66600e014901c00326106d8799f1892ff00153330203375e66600e014901d00326105d8799f06ff00153330203375e66600e014901e0032610dd8799f1b000000174876e800ff00153330203375e66600e014901f00326109d8799f1a1dcd6500ff00153330203375e66600e014902000326105d8799f14ff00153330203375e6660060149021001180419812998022403c900125eb805288a99810a4817d6578706563740a20202020202028206e65775f706172616d6574657273207c3e207265666572656e63655f736372697074735f746965725f6665655f696e697469616c5f666163746f722029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c2831352c2031292c0a2020202020202900161533021491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6d61785f69646c655f74696d652029203d3d20536f6d652832302900161533021491576578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f6465706f7369742029203d3d20536f6d65283530305f3030305f3030302900161533021491576578706563740a20202020202028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6465706f7369742029203d3d20536f6d65283130305f3030305f3030305f3030302900161533021491446578706563742028206e65775f706172616d6574657273207c3e20676f7665726e616e63655f70726f706f73616c5f6c69666574696d652029203d3d20536f6d6528362900161533021491546578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f636f6e737469747574696f6e616c5f636f6d6d69747465655f6d616e646174652029203d3d20536f6d65283134362900161533021491496578706563742028206e65775f706172616d6574657273207c3e206d696e5f636f6e737469747574696f6e616c5f636f6d6d69747465655f73697a652029203d3d20536f6d6528372900161533021491786578706563740a20202020202028206e65775f706172616d6574657273207c3e2064656c65676174655f726570726573656e7461746976655f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a2020202020202020647265705f7468726573686f6c647328292c0a2020202020202900161533021491736578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6f70657261746f725f766f74696e675f7468726573686f6c64732029203d3d20536f6d65280a202020202020202073706f5f7468726573686f6c647328292c0a20202020202029001615330214913d6578706563742028206e65775f706172616d6574657273207c3e206d61785f636f6c6c61746572616c5f696e707574732029203d3d20536f6d65283329001615330214913f6578706563742028206e65775f706172616d6574657273207c3e20636f6c6c61746572616c5f70657263656e746167652029203d3d20536f6d65283135302900161533021491396578706563742028206e65775f706172616d6574657273207c3e206d61785f76616c75655f73697a652029203d3d20536f6d65283530303029001615330214918c6578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2036323030303030302c206370753a203230303030303030303030207d2c0a2020202020202900161533021491926578706563740a20202020202028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f657865637574696f6e5f756e6974732029203d3d20536f6d65280a2020202020202020457865637574696f6e556e697473207b206d656d6f72793a2031343030303030302c206370753a203130303030303030303030207d2c0a2020202020202900162533333302800101e01e132533302500101f132533333302a001020020020132325333028001022132533333302d001023023023132533302a302d0031300e3302b3750008660566ea00052f5c00486eb400408cc0a8004c0a800cdd680081018138009bac00101e01e15330204901d56578706563740a20202020202028206e65775f706172616d6574657273207c3e207363726970745f657865637574696f6e5f7072696365732029203d3d20536f6d65280a2020202020202020536372697074457865637574696f6e507269636573207b0a202020202020202020206d656d6f72793a206578706563745f726174696f6e616c283537372c20315f303030292c0a202020202020202020206370753a206578706563745f726174696f6e616c283732312c20315f3030305f303030292c0a20202020202020207d2c0a2020202020202900161533020491306578706563742028206e65775f706172616d6574657273207c3e20636f73745f6d6f64656c732029203d3d204e6f6e6500161533020491476578706563742028206e65775f706172616d6574657273207c3e206d696e5f7574786f5f6465706f7369745f636f656666696369656e742029203d3d20536f6d65283433313029001615330204913d6578706563742028206e65775f706172616d6574657273207c3e206d696e5f7374616b655f706f6f6c5f636f73742029203d3d20536f6d65283334302900161533020491546578706563740a20202020202028206e65775f706172616d6574657273207c3e2074726561737572795f657870616e73696f6e2029203d3d20536f6d65286578706563745f726174696f6e616c28312c2035292900161533020491696578706563740a20202020202028206e65775f706172616d6574657273207c3e206d6f6e65746172795f657870616e73696f6e2029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c20315f303030292c0a20202020202029001615330204916f6578706563740a20202020202028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f706c656467655f696e666c75656e63652029203d3d20536f6d65280a20202020202020206578706563745f726174696f6e616c28332c203130292c0a20202020202029001625333333027001019019132533302400101a132533333302900101b01b01b13232533302700101d132533333302c00101e01e01e1325333029302c00313253330263015302837540022605860526ea800407ccc02801000407cdd680080f181480098148019bad00101b30260013758002032032444646600200200844a66604c002298103d87a8000132323253330253370e00e6eb4c09c00c4c034cc0a8c0180052f5c026600a00a004604e004605400460500024464a66603e601c60426ea80044c094c088dd500080c1980180100091299980e98060008a60103d87a80001533301d33710002900009802998111802998111ba8337029000001198111ba8337029000000a5eb812f5c02600a66044600a660446ea0008cc088dd4000a5eb812f5c02a660389201476578706563742028206e65775f706172616d6574657273207c3e20646573697265645f6e756d6265725f6f665f7374616b655f706f6f6c732029203d3d20536f6d6528353030290016153301c491466578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f7265746972656d656e745f686f72697a6f6e2029203d3d20536f6d65283138290016153301c491446578706563742028206e65775f706172616d6574657273207c3e207374616b655f706f6f6c5f6465706f7369742029203d3d20536f6d65283530305f3030305f303030290016153301c491486578706563742028206e65775f706172616d6574657273207c3e207374616b655f63726564656e7469616c5f6465706f7369742029203d3d20536f6d6528325f3030305f303030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f6865616465725f73697a652029203d3d20536f6d6528315f313030290016153301c491416578706563742028206e65775f706172616d6574657273207c3e206d61785f7472616e73616374696f6e5f73697a652029203d3d20536f6d652831365f333834290016153301c491406578706563742028206e65775f706172616d6574657273207c3e206d61785f626c6f636b5f626f64795f73697a652029203d3d20536f6d652839305f313132290016153301c4913e6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f6e7374616e742029203d3d20536f6d65283135355f333831290016153301c4913c6578706563742028206e65775f706172616d6574657273207c3e206d696e5f6665655f636f656666696369656e742029203d3d20536f6d65283434290016253333330230010160160161375a00202c444646600200200844a666044002298103d87a8000132323253330213370e00e6eb4c08c00c4c024cc098dd41803000a5eb804cc014014008c08c008c098008c090004dd2a4000020020603a603c0046eacc070004c070004c05cdd5000806180c980d180d180b1baa3019301a004533301230013014375400a2a66602c602a6ea80145261616370e90001bad3016001301237540022c6028602a004602600260260046022002601a6ea8004526153300b49011856616c696461746f722072657475726e65642066616c7365001365615330094901b96578706563742050726f706f73616c50726f636564757265207b0a202020202020676f7665726e616e63655f616374696f6e3a2050726f746f636f6c506172616d6574657273207b0a2020202020202020616e636573746f723a204e6f6e652c0a202020202020202067756172647261696c733a20536f6d65282e2e292c0a20202020202020206e65775f706172616d65746572732c0a2020202020207d2c0a2020202020202e2e0a202020207d203d2070726f706f73616c001615330084913565787065637420536f6d65287229203d20726174696f6e616c2e6e6577286e756d657261746f722c2064656e6f6d696e61746f72290016153300749132657870656374205b6e756d657261746f722c2064656e6f6d696e61746f725d3a204c6973743c496e743e203d20706172616d001615330064911965787065637420706172616d3a20496e74203d20706172616d00161533005491ff657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e2c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f6e6574776f726b5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f65636f6e6f6d69635f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f746a6563686e6963616c5f67726f75702c0a2020202070726f746f636f6c5f706172616d65746572735f676f7665726e616e63655f67726f75702c0a2020202074726561737572795f7769746864726177616c2c0a20205d3a204c6973743c446174613e203d20706172616d00161533004491c4657870656374205b0a202020206d6f74696f6e5f6f665f6e6f5f636f6e666964656e63652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465652c0a20202020636f6e737469747574696f6e616c5f636f6d6d69747465655f756e6465725f6e6f5f636f6e666964656e63652c0a20202020686172645f666f726b2c0a2020202070726f746f636f6c5f706172616d65746572735f73656375726974795f67726f75702c0a20205d3a204c6973743c446174613e203d20706172616d0016153300349127657870656374205b6d656d6f72792c206370755d3a204c6973743c496e743e203d20706172616d0016153300249128657870656374205b6d656d6f72792c206370755d3a204c6973743c446174613e203d20706172616d00165734ae7155ceaab9e5573eae815d0aba257481", + "hash": "4eab67aa6092b5cde6e7f7729be21287d539e5c0a32d68c84702e588" }, { "title": "simple_spend.simple_spend.spend", diff --git a/examples/acceptance_tests/script_context/v3/validators/certificates.ak b/examples/acceptance_tests/script_context/v3/validators/certificates.ak index feffda0f..c4a459fe 100644 --- a/examples/acceptance_tests/script_context/v3/validators/certificates.ak +++ b/examples/acceptance_tests/script_context/v3/validators/certificates.ak @@ -7,7 +7,7 @@ use cardano/certificate.{ RetireFromConstitutionalCommittee, RetireStakePool, UnregisterCredential, UnregisterDelegateRepresentative, UpdateDelegateRepresentative, } -use cardano/credential.{Script, VerificationKey} +use cardano/address.{Script, VerificationKey} use cardano/transaction.{Transaction} const only0s = #"00000000000000000000000000000000000000000000000000000000" @@ -34,7 +34,7 @@ validator purposes { expect Some(14) = transaction.treasury_donation expect - Some(RegisterCredential { credential: Script(only2s), deposit: None }) == list.at( + Some(RegisterCredential { credential: Script(only2s), deposit: Never }) == list.at( certificates, 0, ) @@ -43,7 +43,7 @@ validator purposes { Some( RegisterCredential { credential: VerificationKey(only0s), - deposit: None, + deposit: Never, }, ) == list.at(certificates, 1) @@ -51,7 +51,7 @@ validator purposes { Some( UnregisterCredential { credential: VerificationKey(only0s), - refund: None, + refund: Never, }, ) == list.at(certificates, 2) @@ -71,7 +71,7 @@ validator purposes { Some( RegisterCredential { credential: VerificationKey(only0s), - deposit: None, + deposit: Never, }, ) == list.at(certificates, 5) @@ -79,7 +79,7 @@ validator purposes { Some( UnregisterCredential { credential: VerificationKey(only0s), - refund: None, + refund: Never, }, ) == list.at(certificates, 6) diff --git a/examples/acceptance_tests/script_context/v3/validators/mint.ak b/examples/acceptance_tests/script_context/v3/validators/mint.ak index 093dc900..dee85d6a 100644 --- a/examples/acceptance_tests/script_context/v3/validators/mint.ak +++ b/examples/acceptance_tests/script_context/v3/validators/mint.ak @@ -1,7 +1,7 @@ use aiken/collection/dict.{Dict} use aiken/collection/list use cardano/assets.{PolicyId, Value} -use cardano/credential +use cardano/address use cardano/transaction.{ DatumHash, Input, Mint, NoDatum, Output, OutputReference, ScriptPurpose, Transaction, @@ -44,7 +44,7 @@ fn assert_reference_inputs(inputs: List) -> Void { output_index: 0, }, output: Output { - address: credential.from_verification_key(null28), + address: address.from_verification_key(null28), value: assets.from_lovelace(1_000_000), datum: NoDatum, reference_script: None, @@ -76,7 +76,7 @@ fn assert_outputs( expect Some( Output { - address: credential.from_verification_key(null28), + address: address.from_verification_key(null28), value: assets.from_lovelace(1_000_000), datum: DatumHash(void_hash), reference_script: None, @@ -86,8 +86,8 @@ fn assert_outputs( expect Some( Output { - address: credential.from_verification_key(null28) - |> credential.with_delegation_key(null28), + address: address.from_verification_key(null28) + |> address.with_delegation_key(null28), value: assets.from_lovelace(1_000_000) |> assets.add(our_policy_id, "tuna", 100000000000000) |> assets.add(other_policy_id, "aiken", 42), @@ -99,8 +99,8 @@ fn assert_outputs( expect Some( Output { - address: credential.from_script(null28) - |> credential.with_delegation_key(null28), + address: address.from_script(null28) + |> address.with_delegation_key(null28), value: assets.from_lovelace(1_000_000) |> assets.add(other_policy_id, "cardano", 1), datum: NoDatum, diff --git a/examples/acceptance_tests/script_context/v3/validators/proposing_all.ak b/examples/acceptance_tests/script_context/v3/validators/proposing_all.ak index 81f620b3..55d5240a 100644 --- a/examples/acceptance_tests/script_context/v3/validators/proposing_all.ak +++ b/examples/acceptance_tests/script_context/v3/validators/proposing_all.ak @@ -1,6 +1,6 @@ use aiken/collection/list use aiken/math/rational -use cardano/credential.{Script, VerificationKey} +use cardano/address.{Script, VerificationKey} use cardano/governance.{ Constitution, ConstitutionalCommittee, GovernanceAction, GovernanceActionId, HardFork, NewConstitution, NicePoll, NoConfidence, ProposalProcedure, diff --git a/examples/acceptance_tests/script_context/v3/validators/simple_spend.ak b/examples/acceptance_tests/script_context/v3/validators/simple_spend.ak index 76fa6112..d82ff311 100644 --- a/examples/acceptance_tests/script_context/v3/validators/simple_spend.ak +++ b/examples/acceptance_tests/script_context/v3/validators/simple_spend.ak @@ -1,6 +1,6 @@ use aiken/collection/dict use cardano/assets -use cardano/credential.{Address, Script} +use cardano/address.{Address, Script} use cardano/transaction.{ InlineDatum, Input, Output, OutputReference, ScriptPurpose, Spend, Transaction, } diff --git a/examples/acceptance_tests/script_context/v3/validators/voting.ak b/examples/acceptance_tests/script_context/v3/validators/voting.ak index 5ee617ba..fd66fffe 100644 --- a/examples/acceptance_tests/script_context/v3/validators/voting.ak +++ b/examples/acceptance_tests/script_context/v3/validators/voting.ak @@ -1,5 +1,5 @@ use aiken/collection/list -use cardano/credential.{Script, VerificationKey} +use cardano/address.{Script, VerificationKey} use cardano/governance.{ Abstain, ConstitutionalCommitteeMember, DelegateRepresentative, GovernanceActionId, No, StakePool, Voter, Yes, diff --git a/examples/acceptance_tests/script_context/v3/validators/withdraw.ak b/examples/acceptance_tests/script_context/v3/validators/withdraw.ak index f8d663ae..7ed6fa20 100644 --- a/examples/acceptance_tests/script_context/v3/validators/withdraw.ak +++ b/examples/acceptance_tests/script_context/v3/validators/withdraw.ak @@ -1,6 +1,6 @@ use aiken/collection/list use aiken/interval -use cardano/credential.{ +use cardano/address.{ Address, Credential, Inline, Pointer, Script, VerificationKey, } use cardano/transaction.{Transaction}