Kwxm/conformance/two digit test names (#6627)

* Rename files to add leading zeros * Fix test case nesting for chooseList and nullList * Fix names of tests excluded from agda-conformance * Fix some bad renamings * Fix some bad renamings * Rename some of the constant tests as well * Rename some of the constant tests as well * More renaming * More renaming for consistency
IntersectMBO · Nov 4, 2024 · cfcfe10 · cfcfe10 · github-actions · Nov 4, 2024
1 parent ac8c225
commit cfcfe10
Show file tree

Hide file tree

Showing 814 changed files with 2 additions and 2 deletions.
diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs
@@ -124,8 +124,8 @@ failingBudgetTests =
   -- https://github.com/IntersectMBO/plutus/pull/6368.  Some of the budget tests
   -- do pass, either because evaluation fails or because two different size
   -- measures happen to be the same for small inputs.
-  [ "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-7"
-  , "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-9"
+  [ "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-07"
+  , "test-cases/uplc/evaluation/builtin/semantics/replicateByte/case-09"
   , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-11"
   , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-12"
   , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-13"

diff --git a/...s12-381/G1/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G1/bad-syntax-01/bad-syntax-01.uplc b/...s12-381/G1/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G1/bad-syntax-01/bad-syntax-01.uplc
diff --git a/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected b/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected
diff --git a/...1/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected b/...1/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected
diff --git a/...s12-381/G1/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G1/bad-syntax-02/bad-syntax-02.uplc b/...s12-381/G1/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G1/bad-syntax-02/bad-syntax-02.uplc
diff --git a/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected b/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected
diff --git a/...1/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected b/...1/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected
diff --git a/...t/bls12-381/G1/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G1/bad-zero-01/bad-zero-01.uplc b/...t/bls12-381/G1/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G1/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...81/G1/bad-zero-1/bad-zero-1.uplc.expected → .../G1/bad-zero-01/bad-zero-01.uplc.expected b/...81/G1/bad-zero-1/bad-zero-1.uplc.expected → .../G1/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/...t/bls12-381/G1/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G1/bad-zero-02/bad-zero-02.uplc b/...t/bls12-381/G1/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G1/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...81/G1/bad-zero-2/bad-zero-2.uplc.expected → .../G1/bad-zero-02/bad-zero-02.uplc.expected b/...81/G1/bad-zero-2/bad-zero-2.uplc.expected → .../G1/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/...t/bls12-381/G1/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G1/bad-zero-03/bad-zero-03.uplc b/...t/bls12-381/G1/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G1/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...81/G1/bad-zero-3/bad-zero-3.uplc.expected → .../G1/bad-zero-03/bad-zero-03.uplc.expected b/...81/G1/bad-zero-3/bad-zero-3.uplc.expected → .../G1/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...s12-381/G2/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G2/bad-syntax-01/bad-syntax-01.uplc b/...s12-381/G2/bad-syntax-1/bad-syntax-1.uplc → ...2-381/G2/bad-syntax-01/bad-syntax-01.uplc
diff --git a/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected b/...yntax-1/bad-syntax-1.uplc.budget.expected → ...tax-01/bad-syntax-01.uplc.budget.expected
diff --git a/...2/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected b/...2/bad-syntax-1/bad-syntax-1.uplc.expected → ...bad-syntax-01/bad-syntax-01.uplc.expected
diff --git a/...s12-381/G2/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G2/bad-syntax-02/bad-syntax-02.uplc b/...s12-381/G2/bad-syntax-2/bad-syntax-2.uplc → ...2-381/G2/bad-syntax-02/bad-syntax-02.uplc
diff --git a/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected b/...yntax-2/bad-syntax-2.uplc.budget.expected → ...tax-02/bad-syntax-02.uplc.budget.expected
diff --git a/...2/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected b/...2/bad-syntax-2/bad-syntax-2.uplc.expected → ...bad-syntax-02/bad-syntax-02.uplc.expected
diff --git a/...t/bls12-381/G2/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G2/bad-zero-01/bad-zero-01.uplc b/...t/bls12-381/G2/bad-zero-1/bad-zero-1.uplc → ...bls12-381/G2/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...81/G2/bad-zero-1/bad-zero-1.uplc.expected → .../G2/bad-zero-01/bad-zero-01.uplc.expected b/...81/G2/bad-zero-1/bad-zero-1.uplc.expected → .../G2/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/...t/bls12-381/G2/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G2/bad-zero-02/bad-zero-02.uplc b/...t/bls12-381/G2/bad-zero-2/bad-zero-2.uplc → ...bls12-381/G2/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...81/G2/bad-zero-2/bad-zero-2.uplc.expected → .../G2/bad-zero-02/bad-zero-02.uplc.expected b/...81/G2/bad-zero-2/bad-zero-2.uplc.expected → .../G2/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/...t/bls12-381/G2/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G2/bad-zero-03/bad-zero-03.uplc b/...t/bls12-381/G2/bad-zero-3/bad-zero-3.uplc → ...bls12-381/G2/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...81/G2/bad-zero-3/bad-zero-3.uplc.expected → .../G2/bad-zero-03/bad-zero-03.uplc.expected b/...81/G2/bad-zero-3/bad-zero-3.uplc.expected → .../G2/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...t/bytestring/bytestring1/bytestring1.uplc → ...testring/bytestring-01/bytestring-01.uplc b/...t/bytestring/bytestring1/bytestring1.uplc → ...testring/bytestring-01/bytestring-01.uplc
diff --git a/...estring1/bytestring1.uplc.budget.expected → ...ing-01/bytestring-01.uplc.budget.expected b/...estring1/bytestring1.uplc.budget.expected → ...ing-01/bytestring-01.uplc.budget.expected
diff --git a/...ing/bytestring1/bytestring1.uplc.expected → ...bytestring-01/bytestring-01.uplc.expected b/...ing/bytestring1/bytestring1.uplc.expected → ...bytestring-01/bytestring-01.uplc.expected
diff --git a/...t/bytestring/bytestring2/bytestring2.uplc → ...testring/bytestring-02/bytestring-02.uplc b/...t/bytestring/bytestring2/bytestring2.uplc → ...testring/bytestring-02/bytestring-02.uplc
diff --git a/...estring2/bytestring2.uplc.budget.expected → ...ing-02/bytestring-02.uplc.budget.expected b/...estring2/bytestring2.uplc.budget.expected → ...ing-02/bytestring-02.uplc.budget.expected
diff --git a/...ing/bytestring2/bytestring2.uplc.expected → ...bytestring-02/bytestring-02.uplc.expected b/...ing/bytestring2/bytestring2.uplc.expected → ...bytestring-02/bytestring-02.uplc.expected
diff --git a/...t/bytestring/bytestring3/bytestring3.uplc → ...testring/bytestring-03/bytestring-03.uplc b/...t/bytestring/bytestring3/bytestring3.uplc → ...testring/bytestring-03/bytestring-03.uplc
diff --git a/...estring3/bytestring3.uplc.budget.expected → ...ing-03/bytestring-03.uplc.budget.expected b/...estring3/bytestring3.uplc.budget.expected → ...ing-03/bytestring-03.uplc.budget.expected
diff --git a/...ing/bytestring3/bytestring3.uplc.expected → ...bytestring-03/bytestring-03.uplc.expected b/...ing/bytestring3/bytestring3.uplc.expected → ...bytestring-03/bytestring-03.uplc.expected
diff --git a/...t/bytestring/bytestring4/bytestring4.uplc → ...testring/bytestring-04/bytestring-04.uplc b/...t/bytestring/bytestring4/bytestring4.uplc → ...testring/bytestring-04/bytestring-04.uplc
diff --git a/...estring4/bytestring4.uplc.budget.expected → ...ing-04/bytestring-04.uplc.budget.expected b/...estring4/bytestring4.uplc.budget.expected → ...ing-04/bytestring-04.uplc.budget.expected
diff --git a/...ing/bytestring4/bytestring4.uplc.expected → ...bytestring-04/bytestring-04.uplc.expected b/...ing/bytestring4/bytestring4.uplc.expected → ...bytestring-04/bytestring-04.uplc.expected
diff --git a/...n/constant/integer/integer1/integer1.uplc → ...nstant/integer/integer-01/integer-01.uplc b/...n/constant/integer/integer1/integer1.uplc → ...nstant/integer/integer-01/integer-01.uplc
diff --git a/...er/integer1/integer1.uplc.budget.expected → ...nteger-01/integer-01.uplc.budget.expected b/...er/integer1/integer1.uplc.budget.expected → ...nteger-01/integer-01.uplc.budget.expected
diff --git a/...t/integer/integer1/integer1.uplc.expected → ...teger/integer-01/integer-01.uplc.expected b/...t/integer/integer1/integer1.uplc.expected → ...teger/integer-01/integer-01.uplc.expected
diff --git a/...n/constant/integer/integer2/integer2.uplc → ...nstant/integer/integer-02/integer-02.uplc b/...n/constant/integer/integer2/integer2.uplc → ...nstant/integer/integer-02/integer-02.uplc
diff --git a/...er/integer2/integer2.uplc.budget.expected → ...nteger-02/integer-02.uplc.budget.expected b/...er/integer2/integer2.uplc.budget.expected → ...nteger-02/integer-02.uplc.budget.expected
diff --git a/...t/integer/integer2/integer2.uplc.expected → ...teger/integer-02/integer-02.uplc.expected b/...t/integer/integer2/integer2.uplc.expected → ...teger/integer-02/integer-02.uplc.expected
diff --git a/...n/constant/integer/integer3/integer3.uplc → ...nstant/integer/integer-03/integer-03.uplc b/...n/constant/integer/integer3/integer3.uplc → ...nstant/integer/integer-03/integer-03.uplc
diff --git a/...er/integer3/integer3.uplc.budget.expected → ...nteger-03/integer-03.uplc.budget.expected b/...er/integer3/integer3.uplc.budget.expected → ...nteger-03/integer-03.uplc.budget.expected
diff --git a/...t/integer/integer3/integer3.uplc.expected → ...teger/integer-03/integer-03.uplc.expected b/...t/integer/integer3/integer3.uplc.expected → ...teger/integer-03/integer-03.uplc.expected
diff --git a/...n/constant/integer/integer4/integer4.uplc → ...nstant/integer/integer-04/integer-04.uplc b/...n/constant/integer/integer4/integer4.uplc → ...nstant/integer/integer-04/integer-04.uplc
diff --git a/...er/integer4/integer4.uplc.budget.expected → ...nteger-04/integer-04.uplc.budget.expected b/...er/integer4/integer4.uplc.budget.expected → ...nteger-04/integer-04.uplc.budget.expected
diff --git a/...t/integer/integer4/integer4.uplc.expected → ...teger/integer-04/integer-04.uplc.expected b/...t/integer/integer4/integer4.uplc.expected → ...teger/integer-04/integer-04.uplc.expected
diff --git a/...n/constant/integer/integer5/integer5.uplc → ...nstant/integer/integer-05/integer-05.uplc b/...n/constant/integer/integer5/integer5.uplc → ...nstant/integer/integer-05/integer-05.uplc
diff --git a/...er/integer5/integer5.uplc.budget.expected → ...nteger-05/integer-05.uplc.budget.expected b/...er/integer5/integer5.uplc.budget.expected → ...nteger-05/integer-05.uplc.budget.expected
diff --git a/...t/integer/integer5/integer5.uplc.expected → ...teger/integer-05/integer-05.uplc.expected b/...t/integer/integer5/integer5.uplc.expected → ...teger/integer-05/integer-05.uplc.expected
diff --git a/...n/constant/integer/integer6/integer6.uplc → ...nstant/integer/integer-06/integer-06.uplc b/...n/constant/integer/integer6/integer6.uplc → ...nstant/integer/integer-06/integer-06.uplc
diff --git a/...er/integer6/integer6.uplc.budget.expected → ...nteger-06/integer-06.uplc.budget.expected b/...er/integer6/integer6.uplc.budget.expected → ...nteger-06/integer-06.uplc.budget.expected
diff --git a/...t/integer/integer6/integer6.uplc.expected → ...teger/integer-06/integer-06.uplc.expected b/...t/integer/integer6/integer6.uplc.expected → ...teger/integer-06/integer-06.uplc.expected
diff --git a/...n/constant/integer/integer7/integer7.uplc → ...nstant/integer/integer-07/integer-07.uplc b/...n/constant/integer/integer7/integer7.uplc → ...nstant/integer/integer-07/integer-07.uplc
diff --git a/...er/integer7/integer7.uplc.budget.expected → ...nteger-07/integer-07.uplc.budget.expected b/...er/integer7/integer7.uplc.budget.expected → ...nteger-07/integer-07.uplc.budget.expected
diff --git a/...t/integer/integer7/integer7.uplc.expected → ...teger/integer-07/integer-07.uplc.expected b/...t/integer/integer7/integer7.uplc.expected → ...teger/integer-07/integer-07.uplc.expected
diff --git a/...n/constant/integer/integer8/integer8.uplc → ...nstant/integer/integer-08/integer-08.uplc b/...n/constant/integer/integer8/integer8.uplc → ...nstant/integer/integer-08/integer-08.uplc
diff --git a/...er/integer8/integer8.uplc.budget.expected → ...nteger-08/integer-08.uplc.budget.expected b/...er/integer8/integer8.uplc.budget.expected → ...nteger-08/integer-08.uplc.budget.expected
diff --git a/...t/integer/integer8/integer8.uplc.expected → ...teger/integer-08/integer-08.uplc.expected b/...t/integer/integer8/integer8.uplc.expected → ...teger/integer-08/integer-08.uplc.expected
diff --git a/...n/constant/integer/integer9/integer9.uplc → ...nstant/integer/integer-09/integer-09.uplc b/...n/constant/integer/integer9/integer9.uplc → ...nstant/integer/integer-09/integer-09.uplc
diff --git a/...er/integer9/integer9.uplc.budget.expected → ...nteger-09/integer-09.uplc.budget.expected b/...er/integer9/integer9.uplc.budget.expected → ...nteger-09/integer-09.uplc.budget.expected
diff --git a/...t/integer/integer9/integer9.uplc.expected → ...teger/integer-09/integer-09.uplc.expected b/...t/integer/integer9/integer9.uplc.expected → ...teger/integer-09/integer-09.uplc.expected
diff --git a/...ant/list/illTypedList1/illTypedList1.uplc → ...list/illTypedList-01/illTypedList-01.uplc b/...ant/list/illTypedList1/illTypedList1.uplc → ...list/illTypedList-01/illTypedList-01.uplc
diff --git a/...dList1/illTypedList1.uplc.budget.expected → ...t-01/illTypedList-01.uplc.budget.expected b/...dList1/illTypedList1.uplc.budget.expected → ...t-01/illTypedList-01.uplc.budget.expected
diff --git a/...illTypedList1/illTypedList1.uplc.expected → ...ypedList-01/illTypedList-01.uplc.expected b/...illTypedList1/illTypedList1.uplc.expected → ...ypedList-01/illTypedList-01.uplc.expected
diff --git a/...ant/list/illTypedList2/illTypedList2.uplc → ...list/illTypedList-02/illTypedList-02.uplc b/...ant/list/illTypedList2/illTypedList2.uplc → ...list/illTypedList-02/illTypedList-02.uplc
diff --git a/...dList2/illTypedList2.uplc.budget.expected → ...t-02/illTypedList-02.uplc.budget.expected b/...dList2/illTypedList2.uplc.budget.expected → ...t-02/illTypedList-02.uplc.budget.expected
diff --git a/...illTypedList2/illTypedList2.uplc.expected → ...ypedList-02/illTypedList-02.uplc.expected b/...illTypedList2/illTypedList2.uplc.expected → ...ypedList-02/illTypedList-02.uplc.expected
diff --git a/...ant/pair/illTypedPair1/illTypedPair1.uplc → ...pair/illTypedPair-01/illTypedPair-01.uplc b/...ant/pair/illTypedPair1/illTypedPair1.uplc → ...pair/illTypedPair-01/illTypedPair-01.uplc
diff --git a/...dPair1/illTypedPair1.uplc.budget.expected → ...r-01/illTypedPair-01.uplc.budget.expected b/...dPair1/illTypedPair1.uplc.budget.expected → ...r-01/illTypedPair-01.uplc.budget.expected
diff --git a/...illTypedPair1/illTypedPair1.uplc.expected → ...ypedPair-01/illTypedPair-01.uplc.expected b/...illTypedPair1/illTypedPair1.uplc.expected → ...ypedPair-01/illTypedPair-01.uplc.expected
diff --git a/...ant/pair/illTypedPair2/illTypedPair2.uplc → ...pair/illTypedPair-02/illTypedPair-02.uplc b/...ant/pair/illTypedPair2/illTypedPair2.uplc → ...pair/illTypedPair-02/illTypedPair-02.uplc
diff --git a/...dPair2/illTypedPair2.uplc.budget.expected → ...r-02/illTypedPair-02.uplc.budget.expected b/...dPair2/illTypedPair2.uplc.budget.expected → ...r-02/illTypedPair-02.uplc.budget.expected
diff --git a/...illTypedPair2/illTypedPair2.uplc.expected → ...ypedPair-02/illTypedPair-02.uplc.expected b/...illTypedPair2/illTypedPair2.uplc.expected → ...ypedPair-02/illTypedPair-02.uplc.expected
diff --git a/...ltin/constant/string/string1/string1.uplc → .../constant/string/string-01/string-01.uplc b/...ltin/constant/string/string1/string1.uplc → .../constant/string/string-01/string-01.uplc
diff --git a/...ring/string1/string1.uplc.budget.expected → .../string-01/string-01.uplc.budget.expected b/...ring/string1/string1.uplc.budget.expected → .../string-01/string-01.uplc.budget.expected
diff --git a/...tant/string/string1/string1.uplc.expected → .../string/string-01/string-01.uplc.expected b/...tant/string/string1/string1.uplc.expected → .../string/string-01/string-01.uplc.expected
diff --git a/...ltin/constant/string/string2/string2.uplc → .../constant/string/string-02/string-02.uplc b/...ltin/constant/string/string2/string2.uplc → .../constant/string/string-02/string-02.uplc
diff --git a/...ring/string2/string2.uplc.budget.expected → .../string-02/string-02.uplc.budget.expected b/...ring/string2/string2.uplc.budget.expected → .../string-02/string-02.uplc.budget.expected
diff --git a/...tant/string/string2/string2.uplc.expected → .../string/string-02/string-02.uplc.expected b/...tant/string/string2/string2.uplc.expected → .../string/string-02/string-02.uplc.expected
diff --git a/...ltin/constant/string/string3/string3.uplc → .../constant/string/string-03/string-03.uplc b/...ltin/constant/string/string3/string3.uplc → .../constant/string/string-03/string-03.uplc
diff --git a/...ring/string3/string3.uplc.budget.expected → .../string-03/string-03.uplc.budget.expected b/...ring/string3/string3.uplc.budget.expected → .../string-03/string-03.uplc.budget.expected
diff --git a/...tant/string/string3/string3.uplc.expected → .../string/string-03/string-03.uplc.expected b/...tant/string/string3/string3.uplc.expected → .../string/string-03/string-03.uplc.expected
diff --git a/...ltin/constant/string/string4/string4.uplc → .../constant/string/string-04/string-04.uplc b/...ltin/constant/string/string4/string4.uplc → .../constant/string/string-04/string-04.uplc
diff --git a/...ring/string4/string4.uplc.budget.expected → .../string-04/string-04.uplc.budget.expected b/...ring/string4/string4.uplc.budget.expected → .../string-04/string-04.uplc.budget.expected
diff --git a/...tant/string/string4/string4.uplc.expected → .../string/string-04/string-04.uplc.expected b/...tant/string/string4/string4.uplc.expected → .../string/string-04/string-04.uplc.expected
diff --git a/...ltin/constant/string/string5/string5.uplc → .../constant/string/string-05/string-05.uplc b/...ltin/constant/string/string5/string5.uplc → .../constant/string/string-05/string-05.uplc
diff --git a/...ring/string5/string5.uplc.budget.expected → .../string-05/string-05.uplc.budget.expected b/...ring/string5/string5.uplc.budget.expected → .../string-05/string-05.uplc.budget.expected
diff --git a/...tant/string/string5/string5.uplc.expected → .../string/string-05/string-05.uplc.expected b/...tant/string/string5/string5.uplc.expected → .../string/string-05/string-05.uplc.expected
diff --git a/...ltin/constant/string/string6/string6.uplc → .../constant/string/string-06/string-06.uplc b/...ltin/constant/string/string6/string6.uplc → .../constant/string/string-06/string-06.uplc
diff --git a/...ring/string6/string6.uplc.budget.expected → .../string-06/string-06.uplc.budget.expected b/...ring/string6/string6.uplc.budget.expected → .../string-06/string-06.uplc.budget.expected
diff --git a/...tant/string/string6/string6.uplc.expected → .../string/string-06/string-06.uplc.expected b/...tant/string/string6/string6.uplc.expected → .../string/string-06/string-06.uplc.expected
diff --git a/...s/addInteger/addInteger1/addInteger1.uplc → ...dInteger/addInteger-01/addInteger-01.uplc b/...s/addInteger/addInteger1/addInteger1.uplc → ...dInteger/addInteger-01/addInteger-01.uplc
diff --git a/...Integer1/addInteger1.uplc.budget.expected → ...ger-01/addInteger-01.uplc.budget.expected b/...Integer1/addInteger1.uplc.budget.expected → ...ger-01/addInteger-01.uplc.budget.expected
diff --git a/...ger/addInteger1/addInteger1.uplc.expected → ...addInteger-01/addInteger-01.uplc.expected b/...ger/addInteger1/addInteger1.uplc.expected → ...addInteger-01/addInteger-01.uplc.expected
diff --git a/...s/addInteger/addInteger2/addInteger2.uplc → ...dInteger/addInteger-02/addInteger-02.uplc b/...s/addInteger/addInteger2/addInteger2.uplc → ...dInteger/addInteger-02/addInteger-02.uplc
diff --git a/...Integer2/addInteger2.uplc.budget.expected → ...ger-02/addInteger-02.uplc.budget.expected b/...Integer2/addInteger2.uplc.budget.expected → ...ger-02/addInteger-02.uplc.budget.expected
diff --git a/...ger/addInteger2/addInteger2.uplc.expected → ...addInteger-02/addInteger-02.uplc.expected b/...ger/addInteger2/addInteger2.uplc.expected → ...addInteger-02/addInteger-02.uplc.expected
diff --git a/...s/addInteger/addInteger3/addInteger3.uplc → ...dInteger/addInteger-03/addInteger-03.uplc b/...s/addInteger/addInteger3/addInteger3.uplc → ...dInteger/addInteger-03/addInteger-03.uplc
diff --git a/...Integer3/addInteger3.uplc.budget.expected → ...ger-03/addInteger-03.uplc.budget.expected b/...Integer3/addInteger3.uplc.budget.expected → ...ger-03/addInteger-03.uplc.budget.expected
diff --git a/...ger/addInteger3/addInteger3.uplc.expected → ...addInteger-03/addInteger-03.uplc.expected b/...ger/addInteger3/addInteger3.uplc.expected → ...addInteger-03/addInteger-03.uplc.expected
diff --git a/...s/addInteger/addInteger4/addInteger4.uplc → ...dInteger/addInteger-04/addInteger-04.uplc b/...s/addInteger/addInteger4/addInteger4.uplc → ...dInteger/addInteger-04/addInteger-04.uplc
diff --git a/...Integer4/addInteger4.uplc.budget.expected → ...ger-04/addInteger-04.uplc.budget.expected b/...Integer4/addInteger4.uplc.budget.expected → ...ger-04/addInteger-04.uplc.budget.expected
diff --git a/...ger/addInteger4/addInteger4.uplc.expected → ...addInteger-04/addInteger-04.uplc.expected b/...ger/addInteger4/addInteger4.uplc.expected → ...addInteger-04/addInteger-04.uplc.expected
diff --git a/...emantics/andByteString/case-1/case-1.uplc → ...antics/andByteString/case-01/case-01.uplc b/...emantics/andByteString/case-1/case-1.uplc → ...antics/andByteString/case-01/case-01.uplc
diff --git a/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected b/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected
diff --git a/...andByteString/case-1/case-1.uplc.expected → ...dByteString/case-01/case-01.uplc.expected b/...andByteString/case-1/case-1.uplc.expected → ...dByteString/case-01/case-01.uplc.expected
diff --git a/...emantics/andByteString/case-2/case-2.uplc → ...antics/andByteString/case-02/case-02.uplc b/...emantics/andByteString/case-2/case-2.uplc → ...antics/andByteString/case-02/case-02.uplc
diff --git a/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected b/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected
diff --git a/...andByteString/case-2/case-2.uplc.expected → ...dByteString/case-02/case-02.uplc.expected b/...andByteString/case-2/case-2.uplc.expected → ...dByteString/case-02/case-02.uplc.expected
diff --git a/...emantics/andByteString/case-3/case-3.uplc → ...antics/andByteString/case-03/case-03.uplc b/...emantics/andByteString/case-3/case-3.uplc → ...antics/andByteString/case-03/case-03.uplc
diff --git a/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected b/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected
diff --git a/...andByteString/case-3/case-3.uplc.expected → ...dByteString/case-03/case-03.uplc.expected b/...andByteString/case-3/case-3.uplc.expected → ...dByteString/case-03/case-03.uplc.expected
diff --git a/...emantics/andByteString/case-4/case-4.uplc → ...antics/andByteString/case-04/case-04.uplc b/...emantics/andByteString/case-4/case-4.uplc → ...antics/andByteString/case-04/case-04.uplc
diff --git a/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected b/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected
diff --git a/...andByteString/case-4/case-4.uplc.expected → ...dByteString/case-04/case-04.uplc.expected b/...andByteString/case-4/case-4.uplc.expected → ...dByteString/case-04/case-04.uplc.expected
diff --git a/...emantics/andByteString/case-5/case-5.uplc → ...antics/andByteString/case-05/case-05.uplc b/...emantics/andByteString/case-5/case-5.uplc → ...antics/andByteString/case-05/case-05.uplc
diff --git a/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected b/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected
diff --git a/...andByteString/case-5/case-5.uplc.expected → ...dByteString/case-05/case-05.uplc.expected b/...andByteString/case-5/case-5.uplc.expected → ...dByteString/case-05/case-05.uplc.expected
diff --git a/...emantics/andByteString/case-6/case-6.uplc → ...antics/andByteString/case-06/case-06.uplc b/...emantics/andByteString/case-6/case-6.uplc → ...antics/andByteString/case-06/case-06.uplc
diff --git a/...String/case-6/case-6.uplc.budget.expected → ...ring/case-06/case-06.uplc.budget.expected b/...String/case-6/case-6.uplc.budget.expected → ...ring/case-06/case-06.uplc.budget.expected
diff --git a/...andByteString/case-6/case-6.uplc.expected → ...dByteString/case-06/case-06.uplc.expected b/...andByteString/case-6/case-6.uplc.expected → ...dByteString/case-06/case-06.uplc.expected
diff --git a/...emantics/andByteString/case-7/case-7.uplc → ...antics/andByteString/case-07/case-07.uplc b/...emantics/andByteString/case-7/case-7.uplc → ...antics/andByteString/case-07/case-07.uplc
diff --git a/...String/case-7/case-7.uplc.budget.expected → ...ring/case-07/case-07.uplc.budget.expected b/...String/case-7/case-7.uplc.budget.expected → ...ring/case-07/case-07.uplc.budget.expected
diff --git a/...andByteString/case-7/case-7.uplc.expected → ...dByteString/case-07/case-07.uplc.expected b/...andByteString/case-7/case-7.uplc.expected → ...dByteString/case-07/case-07.uplc.expected
diff --git a/...emantics/andByteString/case-8/case-8.uplc → ...antics/andByteString/case-08/case-08.uplc b/...emantics/andByteString/case-8/case-8.uplc → ...antics/andByteString/case-08/case-08.uplc
diff --git a/...String/case-8/case-8.uplc.budget.expected → ...ring/case-08/case-08.uplc.budget.expected b/...String/case-8/case-8.uplc.budget.expected → ...ring/case-08/case-08.uplc.budget.expected
diff --git a/...andByteString/case-8/case-8.uplc.expected → ...dByteString/case-08/case-08.uplc.expected b/...andByteString/case-8/case-8.uplc.expected → ...dByteString/case-08/case-08.uplc.expected
diff --git a/...emantics/andByteString/case-9/case-9.uplc → ...antics/andByteString/case-09/case-09.uplc b/...emantics/andByteString/case-9/case-9.uplc → ...antics/andByteString/case-09/case-09.uplc
diff --git a/...String/case-9/case-9.uplc.budget.expected → ...ring/case-09/case-09.uplc.budget.expected b/...String/case-9/case-9.uplc.budget.expected → ...ring/case-09/case-09.uplc.budget.expected
diff --git a/...andByteString/case-9/case-9.uplc.expected → ...dByteString/case-09/case-09.uplc.expected b/...andByteString/case-9/case-9.uplc.expected → ...dByteString/case-09/case-09.uplc.expected
diff --git a/.../appendByteString1/appendByteString1.uplc → ...endByteString-01/appendByteString-01.uplc b/.../appendByteString1/appendByteString1.uplc → ...endByteString-01/appendByteString-01.uplc
diff --git a/...g1/appendByteString1.uplc.budget.expected → .../appendByteString-01.uplc.budget.expected b/...g1/appendByteString1.uplc.budget.expected → .../appendByteString-01.uplc.budget.expected
diff --git a/...teString1/appendByteString1.uplc.expected → ...ring-01/appendByteString-01.uplc.expected b/...teString1/appendByteString1.uplc.expected → ...ring-01/appendByteString-01.uplc.expected
diff --git a/.../appendByteString2/appendByteString2.uplc → ...endByteString-02/appendByteString-02.uplc b/.../appendByteString2/appendByteString2.uplc → ...endByteString-02/appendByteString-02.uplc
diff --git a/...g2/appendByteString2.uplc.budget.expected → .../appendByteString-02.uplc.budget.expected b/...g2/appendByteString2.uplc.budget.expected → .../appendByteString-02.uplc.budget.expected
diff --git a/...teString2/appendByteString2.uplc.expected → ...ring-02/appendByteString-02.uplc.expected b/...teString2/appendByteString2.uplc.expected → ...ring-02/appendByteString-02.uplc.expected
diff --git a/.../appendByteString3/appendByteString3.uplc → ...endByteString-03/appendByteString-03.uplc b/.../appendByteString3/appendByteString3.uplc → ...endByteString-03/appendByteString-03.uplc
diff --git a/...g3/appendByteString3.uplc.budget.expected → .../appendByteString-03.uplc.budget.expected b/...g3/appendByteString3.uplc.budget.expected → .../appendByteString-03.uplc.budget.expected
diff --git a/...teString3/appendByteString3.uplc.expected → ...ring-03/appendByteString-03.uplc.expected b/...teString3/appendByteString3.uplc.expected → ...ring-03/appendByteString-03.uplc.expected
diff --git a/...s/bls12_381_G1_scalarMul/mul44/mul44.uplc → ...bls12_381_G1_scalarMul/mul-44/mul-44.uplc b/...s/bls12_381_G1_scalarMul/mul44/mul44.uplc → ...bls12_381_G1_scalarMul/mul-44/mul-44.uplc
diff --git a/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected b/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected
diff --git a/...81_G1_scalarMul/mul44/mul44.uplc.expected → ..._G1_scalarMul/mul-44/mul-44.uplc.expected b/...81_G1_scalarMul/mul44/mul44.uplc.expected → ..._G1_scalarMul/mul-44/mul-44.uplc.expected
diff --git a/...s12_381_G1_scalarMul/mulneg1/mulneg1.uplc → ..._G1_scalarMul/mul-neg-one/mulneg-one.uplc b/...s12_381_G1_scalarMul/mulneg1/mulneg1.uplc → ..._G1_scalarMul/mul-neg-one/mulneg-one.uplc
diff --git a/..._scalarMul/mul1/mul1.uplc.budget.expected → ...l-neg-one/mulneg-one.uplc.budget.expected b/..._scalarMul/mul1/mul1.uplc.budget.expected → ...l-neg-one/mulneg-one.uplc.budget.expected
diff --git a/...1_scalarMul/mulneg1/mulneg1.uplc.expected → ...rMul/mul-neg-one/mulneg-one.uplc.expected b/...1_scalarMul/mulneg1/mulneg1.uplc.expected → ...rMul/mul-neg-one/mulneg-one.uplc.expected
diff --git a/...ics/bls12_381_G1_scalarMul/mul1/mul1.uplc → ...s12_381_G1_scalarMul/mul-one/mul-one.uplc b/...ics/bls12_381_G1_scalarMul/mul1/mul1.uplc → ...s12_381_G1_scalarMul/mul-one/mul-one.uplc
diff --git a/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected b/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected
diff --git a/..._381_G1_scalarMul/mul1/mul1.uplc.expected → ...1_scalarMul/mul-one/mul-one.uplc.expected b/..._381_G1_scalarMul/mul1/mul1.uplc.expected → ...1_scalarMul/mul-one/mul-one.uplc.expected
diff --git a/...ics/bls12_381_G1_scalarMul/mul0/mul0.uplc → ...2_381_G1_scalarMul/mul-zero/mul-zero.uplc b/...ics/bls12_381_G1_scalarMul/mul0/mul0.uplc → ...2_381_G1_scalarMul/mul-zero/mul-zero.uplc
diff --git a/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected b/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected
diff --git a/..._381_G1_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected b/..._381_G1_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected
diff --git a/...s12_381_G1_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G1_scalarMul/mul4x-11/mul4x-11.uplc b/...s12_381_G1_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G1_scalarMul/mul4x-11/mul4x-11.uplc
diff --git a/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected b/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected
diff --git a/...1_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected b/...1_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected
diff --git a/...2_381_G1_scalarMul/mulneg44/mulneg44.uplc → ...381_G1_scalarMul/mulneg-44/mulneg-44.uplc b/...2_381_G1_scalarMul/mulneg44/mulneg44.uplc → ...381_G1_scalarMul/mulneg-44/mulneg-44.uplc
diff --git a/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected b/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected
diff --git a/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected b/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected
diff --git a/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc b/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc
diff --git a/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected b/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected
diff --git a/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected b/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected
diff --git a/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc b/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc
diff --git a/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected b/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected
diff --git a/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected b/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected
diff --git a/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc b/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc
diff --git a/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected b/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected
diff --git a/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected b/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected
diff --git a/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc b/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc
diff --git a/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected b/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected
diff --git a/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected b/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected
diff --git a/..._G1_uncompress/bad-zero-1/bad-zero-1.uplc → ...1_uncompress/bad-zero-01/bad-zero-01.uplc b/..._G1_uncompress/bad-zero-1/bad-zero-1.uplc → ...1_uncompress/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected b/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/..._G1_uncompress/bad-zero-2/bad-zero-2.uplc → ...1_uncompress/bad-zero-02/bad-zero-02.uplc b/..._G1_uncompress/bad-zero-2/bad-zero-2.uplc → ...1_uncompress/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected b/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/..._G1_uncompress/bad-zero-3/bad-zero-3.uplc → ...1_uncompress/bad-zero-03/bad-zero-03.uplc b/..._G1_uncompress/bad-zero-3/bad-zero-3.uplc → ...1_uncompress/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected b/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...s/bls12_381_G2_scalarMul/mul44/mul44.uplc → ...bls12_381_G2_scalarMul/mul-44/mul-44.uplc b/...s/bls12_381_G2_scalarMul/mul44/mul44.uplc → ...bls12_381_G2_scalarMul/mul-44/mul-44.uplc
diff --git a/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected b/..._scalarMul/mul0/mul0.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected
diff --git a/...81_G2_scalarMul/mul44/mul44.uplc.expected → ..._G2_scalarMul/mul-44/mul-44.uplc.expected b/...81_G2_scalarMul/mul44/mul44.uplc.expected → ..._G2_scalarMul/mul-44/mul-44.uplc.expected
diff --git a/...s12_381_G2_scalarMul/mulneg1/mulneg1.uplc → ...G2_scalarMul/mul-neg-one/mul-neg-one.uplc b/...s12_381_G2_scalarMul/mulneg1/mulneg1.uplc → ...G2_scalarMul/mul-neg-one/mul-neg-one.uplc
diff --git a/..._scalarMul/mul1/mul1.uplc.budget.expected → ...-neg-one/mul-neg-one.uplc.budget.expected b/..._scalarMul/mul1/mul1.uplc.budget.expected → ...-neg-one/mul-neg-one.uplc.budget.expected
diff --git a/...2_scalarMul/mulneg1/mulneg1.uplc.expected → ...Mul/mul-neg-one/mul-neg-one.uplc.expected b/...2_scalarMul/mulneg1/mulneg1.uplc.expected → ...Mul/mul-neg-one/mul-neg-one.uplc.expected
diff --git a/...ics/bls12_381_G2_scalarMul/mul1/mul1.uplc → ...s12_381_G2_scalarMul/mul-one/mul-one.uplc b/...ics/bls12_381_G2_scalarMul/mul1/mul1.uplc → ...s12_381_G2_scalarMul/mul-one/mul-one.uplc
diff --git a/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected b/...calarMul/mul44/mul44.uplc.budget.expected → ...rMul/mul-one/mul-one.uplc.budget.expected
diff --git a/..._381_G2_scalarMul/mul1/mul1.uplc.expected → ...2_scalarMul/mul-one/mul-one.uplc.expected b/..._381_G2_scalarMul/mul1/mul1.uplc.expected → ...2_scalarMul/mul-one/mul-one.uplc.expected
diff --git a/...ics/bls12_381_G2_scalarMul/mul0/mul0.uplc → ...2_381_G2_scalarMul/mul-zero/mul-zero.uplc b/...ics/bls12_381_G2_scalarMul/mul0/mul0.uplc → ...2_381_G2_scalarMul/mul-zero/mul-zero.uplc
diff --git a/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected b/...rMul/mulneg1/mulneg1.uplc.budget.expected → ...ul/mul-zero/mul-zero.uplc.budget.expected
diff --git a/..._381_G2_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected b/..._381_G2_scalarMul/mul0/mul0.uplc.expected → ...scalarMul/mul-zero/mul-zero.uplc.expected
diff --git a/...s12_381_G2_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G2_scalarMul/mul4x-11/mul4x-11.uplc b/...s12_381_G2_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G2_scalarMul/mul4x-11/mul4x-11.uplc
diff --git a/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected b/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected
diff --git a/...2_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected b/...2_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected
diff --git a/...2_381_G2_scalarMul/mulneg44/mulneg44.uplc → ...381_G2_scalarMul/mulneg-44/mulneg-44.uplc b/...2_381_G2_scalarMul/mulneg44/mulneg44.uplc → ...381_G2_scalarMul/mulneg-44/mulneg-44.uplc
diff --git a/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected b/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected
diff --git a/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected b/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected
diff --git a/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc b/..._scalarMul/mulperiodic1/mulperiodic1.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc
diff --git a/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected b/...riodic1/mulperiodic1.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected
diff --git a/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected b/...l/mulperiodic1/mulperiodic1.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected
diff --git a/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc b/..._scalarMul/mulperiodic2/mulperiodic2.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc
diff --git a/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected b/...riodic2/mulperiodic2.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected
diff --git a/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected b/...l/mulperiodic2/mulperiodic2.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected
diff --git a/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc b/..._scalarMul/mulperiodic3/mulperiodic3.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc
diff --git a/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected b/...riodic3/mulperiodic3.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected
diff --git a/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected b/...l/mulperiodic3/mulperiodic3.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected
diff --git a/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc b/..._scalarMul/mulperiodic4/mulperiodic4.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc
diff --git a/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected b/...riodic4/mulperiodic4.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected
diff --git a/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected b/...l/mulperiodic4/mulperiodic4.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected
diff --git a/..._G2_uncompress/bad-zero-1/bad-zero-1.uplc → ...2_uncompress/bad-zero-01/bad-zero-01.uplc b/..._G2_uncompress/bad-zero-1/bad-zero-1.uplc → ...2_uncompress/bad-zero-01/bad-zero-01.uplc
diff --git a/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected b/...ad-zero-1/bad-zero-1.uplc.budget.expected → ...-zero-01/bad-zero-01.uplc.budget.expected
diff --git a/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected b/...press/bad-zero-1/bad-zero-1.uplc.expected → ...ess/bad-zero-01/bad-zero-01.uplc.expected
diff --git a/..._G2_uncompress/bad-zero-2/bad-zero-2.uplc → ...2_uncompress/bad-zero-02/bad-zero-02.uplc b/..._G2_uncompress/bad-zero-2/bad-zero-2.uplc → ...2_uncompress/bad-zero-02/bad-zero-02.uplc
diff --git a/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected b/...ad-zero-2/bad-zero-2.uplc.budget.expected → ...-zero-02/bad-zero-02.uplc.budget.expected
diff --git a/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected b/...press/bad-zero-2/bad-zero-2.uplc.expected → ...ess/bad-zero-02/bad-zero-02.uplc.expected
diff --git a/..._G2_uncompress/bad-zero-3/bad-zero-3.uplc → ...2_uncompress/bad-zero-03/bad-zero-03.uplc b/..._G2_uncompress/bad-zero-3/bad-zero-3.uplc → ...2_uncompress/bad-zero-03/bad-zero-03.uplc
diff --git a/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected b/...ad-zero-3/bad-zero-3.uplc.budget.expected → ...-zero-03/bad-zero-03.uplc.budget.expected
diff --git a/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected b/...press/bad-zero-3/bad-zero-3.uplc.expected → ...ess/bad-zero-03/bad-zero-03.uplc.expected
diff --git a/...s/chooseList/chooseList1/chooseList1.uplc → ...ooseList/chooseList-01/chooseList-01.uplc b/...s/chooseList/chooseList1/chooseList1.uplc → ...ooseList/chooseList-01/chooseList-01.uplc
diff --git a/...oseList1/chooseList1.uplc.budget.expected → ...ist-01/chooseList-01.uplc.budget.expected b/...oseList1/chooseList1.uplc.budget.expected → ...ist-01/chooseList-01.uplc.budget.expected
diff --git a/...ist/chooseList1/chooseList1.uplc.expected → ...chooseList-01/chooseList-01.uplc.expected b/...ist/chooseList1/chooseList1.uplc.expected → ...chooseList-01/chooseList-01.uplc.expected
diff --git a/...s/chooseList/chooseList2/chooseList2.uplc → ...ooseList/chooseList-02/chooseList-02.uplc b/...s/chooseList/chooseList2/chooseList2.uplc → ...ooseList/chooseList-02/chooseList-02.uplc
diff --git a/...oseList2/chooseList2.uplc.budget.expected → ...ist-02/chooseList-02.uplc.budget.expected b/...oseList2/chooseList2.uplc.budget.expected → ...ist-02/chooseList-02.uplc.budget.expected
diff --git a/...ist/chooseList2/chooseList2.uplc.expected → ...chooseList-02/chooseList-02.uplc.expected b/...ist/chooseList2/chooseList2.uplc.expected → ...chooseList-02/chooseList-02.uplc.expected
diff --git a/...s/chooseList/chooseList3/chooseList3.uplc → ...ooseList/chooseList-03/chooseList-03.uplc b/...s/chooseList/chooseList3/chooseList3.uplc → ...ooseList/chooseList-03/chooseList-03.uplc
diff --git a/...oseList3/chooseList3.uplc.budget.expected → ...ist-03/chooseList-03.uplc.budget.expected b/...oseList3/chooseList3.uplc.budget.expected → ...ist-03/chooseList-03.uplc.budget.expected
diff --git a/...ist/chooseList3/chooseList3.uplc.expected → ...chooseList-03/chooseList-03.uplc.expected b/...ist/chooseList3/chooseList3.uplc.expected → ...chooseList-03/chooseList-03.uplc.expected
diff --git a/...s/chooseList/chooseList4/chooseList4.uplc → ...ooseList/chooseList-04/chooseList-04.uplc b/...s/chooseList/chooseList4/chooseList4.uplc → ...ooseList/chooseList-04/chooseList-04.uplc
diff --git a/...oseList4/chooseList4.uplc.budget.expected → ...ist-04/chooseList-04.uplc.budget.expected b/...oseList4/chooseList4.uplc.budget.expected → ...ist-04/chooseList-04.uplc.budget.expected
diff --git a/...ist/chooseList4/chooseList4.uplc.expected → ...chooseList-04/chooseList-04.uplc.expected b/...ist/chooseList4/chooseList4.uplc.expected → ...chooseList-04/chooseList-04.uplc.expected
diff --git a/...ltin/semantics/chooseUnit/chooseUnit.uplc → ...ooseUnit/chooseUnit-01/chooseUnit-01.uplc b/...ltin/semantics/chooseUnit/chooseUnit.uplc → ...ooseUnit/chooseUnit-01/chooseUnit-01.uplc
diff --git a/...hooseUnit/chooseUnit.uplc.budget.expected → ...nit-01/chooseUnit-01.uplc.budget.expected b/...hooseUnit/chooseUnit.uplc.budget.expected → ...nit-01/chooseUnit-01.uplc.budget.expected
diff --git a/...ntics/chooseUnit/chooseUnit.uplc.expected → ...chooseUnit-01/chooseUnit-01.uplc.expected b/...ntics/chooseUnit/chooseUnit.uplc.expected → ...chooseUnit-01/chooseUnit-01.uplc.expected
diff --git a/...in/semantics/chooseUnit2/chooseUnit2.uplc → ...ooseUnit/chooseUnit-02/chooseUnit-02.uplc b/...in/semantics/chooseUnit2/chooseUnit2.uplc → ...ooseUnit/chooseUnit-02/chooseUnit-02.uplc
diff --git a/...oseUnit2/chooseUnit2.uplc.budget.expected → ...nit-02/chooseUnit-02.uplc.budget.expected b/...oseUnit2/chooseUnit2.uplc.budget.expected → ...nit-02/chooseUnit-02.uplc.budget.expected
diff --git a/...ics/chooseUnit2/chooseUnit2.uplc.expected → ...chooseUnit-02/chooseUnit-02.uplc.expected b/...ics/chooseUnit2/chooseUnit2.uplc.expected → ...chooseUnit-02/chooseUnit-02.uplc.expected
diff --git a/...s/complementByteString/case-1/case-1.uplc → ...complementByteString/case-01/case-01.uplc b/...s/complementByteString/case-1/case-1.uplc → ...complementByteString/case-01/case-01.uplc
diff --git a/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected b/...String/case-1/case-1.uplc.budget.expected → ...ring/case-01/case-01.uplc.budget.expected
diff --git a/...entByteString/case-1/case-1.uplc.expected → ...tByteString/case-01/case-01.uplc.expected b/...entByteString/case-1/case-1.uplc.expected → ...tByteString/case-01/case-01.uplc.expected
diff --git a/...s/complementByteString/case-2/case-2.uplc → ...complementByteString/case-02/case-02.uplc b/...s/complementByteString/case-2/case-2.uplc → ...complementByteString/case-02/case-02.uplc
diff --git a/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected b/...String/case-2/case-2.uplc.budget.expected → ...ring/case-02/case-02.uplc.budget.expected
diff --git a/...entByteString/case-2/case-2.uplc.expected → ...tByteString/case-02/case-02.uplc.expected b/...entByteString/case-2/case-2.uplc.expected → ...tByteString/case-02/case-02.uplc.expected
diff --git a/...s/complementByteString/case-3/case-3.uplc → ...complementByteString/case-03/case-03.uplc b/...s/complementByteString/case-3/case-3.uplc → ...complementByteString/case-03/case-03.uplc
diff --git a/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected b/...String/case-3/case-3.uplc.budget.expected → ...ring/case-03/case-03.uplc.budget.expected
diff --git a/...entByteString/case-3/case-3.uplc.expected → ...tByteString/case-03/case-03.uplc.expected b/...entByteString/case-3/case-3.uplc.expected → ...tByteString/case-03/case-03.uplc.expected
diff --git a/...s/complementByteString/case-4/case-4.uplc → ...complementByteString/case-04/case-04.uplc b/...s/complementByteString/case-4/case-4.uplc → ...complementByteString/case-04/case-04.uplc
diff --git a/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected b/...String/case-4/case-4.uplc.budget.expected → ...ring/case-04/case-04.uplc.budget.expected
diff --git a/...entByteString/case-4/case-4.uplc.expected → ...tByteString/case-04/case-04.uplc.expected b/...entByteString/case-4/case-4.uplc.expected → ...tByteString/case-04/case-04.uplc.expected
diff --git a/...s/complementByteString/case-5/case-5.uplc → ...complementByteString/case-05/case-05.uplc b/...s/complementByteString/case-5/case-5.uplc → ...complementByteString/case-05/case-05.uplc
diff --git a/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected b/...String/case-5/case-5.uplc.budget.expected → ...ring/case-05/case-05.uplc.budget.expected
diff --git a/...entByteString/case-5/case-5.uplc.expected → ...tByteString/case-05/case-05.uplc.expected b/...entByteString/case-5/case-5.uplc.expected → ...tByteString/case-05/case-05.uplc.expected
diff --git a/...ring/consByteString1/consByteString1.uplc → .../consByteString-01/consByteString-01.uplc b/...ring/consByteString1/consByteString1.uplc → .../consByteString-01/consByteString-01.uplc
diff --git a/...ing1/consByteString1.uplc.budget.expected → ...01/consByteString-01.uplc.budget.expected b/...ing1/consByteString1.uplc.budget.expected → ...01/consByteString-01.uplc.budget.expected
diff --git a/...ByteString1/consByteString1.uplc.expected → ...String-01/consByteString-01.uplc.expected b/...ByteString1/consByteString1.uplc.expected → ...String-01/consByteString-01.uplc.expected
diff --git a/...ring/consByteString2/consByteString2.uplc → .../consByteString-02/consByteString-02.uplc b/...ring/consByteString2/consByteString2.uplc → .../consByteString-02/consByteString-02.uplc
diff --git a/...ing2/consByteString2.uplc.budget.expected → ...02/consByteString-02.uplc.budget.expected b/...ing2/consByteString2.uplc.budget.expected → ...02/consByteString-02.uplc.budget.expected
diff --git a/...ByteString2/consByteString2.uplc.expected → ...String-02/consByteString-02.uplc.expected b/...ByteString2/consByteString2.uplc.expected → ...String-02/consByteString-02.uplc.expected
diff --git a/...ring/consByteString3/consByteString3.uplc → .../consByteString-03/consByteString-03.uplc b/...ring/consByteString3/consByteString3.uplc → .../consByteString-03/consByteString-03.uplc
diff --git a/...ing3/consByteString3.uplc.budget.expected → ...03/consByteString-03.uplc.budget.expected b/...ing3/consByteString3.uplc.budget.expected → ...03/consByteString-03.uplc.budget.expected
diff --git a/...ByteString3/consByteString3.uplc.expected → ...String-03/consByteString-03.uplc.expected b/...ByteString3/consByteString3.uplc.expected → ...String-03/consByteString-03.uplc.expected
diff --git a/...semantics/countSetBits/case-1/case-1.uplc → ...mantics/countSetBits/case-01/case-01.uplc b/...semantics/countSetBits/case-1/case-1.uplc → ...mantics/countSetBits/case-01/case-01.uplc
diff --git a/...etBits/case-1/case-1.uplc.budget.expected → ...Bits/case-01/case-01.uplc.budget.expected b/...etBits/case-1/case-1.uplc.budget.expected → ...Bits/case-01/case-01.uplc.budget.expected
diff --git a/.../countSetBits/case-1/case-1.uplc.expected → ...ountSetBits/case-01/case-01.uplc.expected b/.../countSetBits/case-1/case-1.uplc.expected → ...ountSetBits/case-01/case-01.uplc.expected
diff --git a/...semantics/countSetBits/case-2/case-2.uplc → ...mantics/countSetBits/case-02/case-02.uplc b/...semantics/countSetBits/case-2/case-2.uplc → ...mantics/countSetBits/case-02/case-02.uplc
diff --git a/...etBits/case-2/case-2.uplc.budget.expected → ...Bits/case-02/case-02.uplc.budget.expected b/...etBits/case-2/case-2.uplc.budget.expected → ...Bits/case-02/case-02.uplc.budget.expected
diff --git a/.../countSetBits/case-2/case-2.uplc.expected → ...ountSetBits/case-02/case-02.uplc.expected b/.../countSetBits/case-2/case-2.uplc.expected → ...ountSetBits/case-02/case-02.uplc.expected
diff --git a/...semantics/countSetBits/case-3/case-3.uplc → ...mantics/countSetBits/case-03/case-03.uplc b/...semantics/countSetBits/case-3/case-3.uplc → ...mantics/countSetBits/case-03/case-03.uplc
diff --git a/...etBits/case-3/case-3.uplc.budget.expected → ...Bits/case-03/case-03.uplc.budget.expected b/...etBits/case-3/case-3.uplc.budget.expected → ...Bits/case-03/case-03.uplc.budget.expected
diff --git a/.../countSetBits/case-3/case-3.uplc.expected → ...ountSetBits/case-03/case-03.uplc.expected b/.../countSetBits/case-3/case-3.uplc.expected → ...ountSetBits/case-03/case-03.uplc.expected
diff --git a/...semantics/countSetBits/case-4/case-4.uplc → ...mantics/countSetBits/case-04/case-04.uplc b/...semantics/countSetBits/case-4/case-4.uplc → ...mantics/countSetBits/case-04/case-04.uplc
diff --git a/...etBits/case-4/case-4.uplc.budget.expected → ...Bits/case-04/case-04.uplc.budget.expected b/...etBits/case-4/case-4.uplc.budget.expected → ...Bits/case-04/case-04.uplc.budget.expected
diff --git a/.../countSetBits/case-4/case-4.uplc.expected → ...ountSetBits/case-04/case-04.uplc.expected b/.../countSetBits/case-4/case-4.uplc.expected → ...ountSetBits/case-04/case-04.uplc.expected
diff --git a/...semantics/countSetBits/case-5/case-5.uplc → ...mantics/countSetBits/case-05/case-05.uplc b/...semantics/countSetBits/case-5/case-5.uplc → ...mantics/countSetBits/case-05/case-05.uplc
diff --git a/...etBits/case-5/case-5.uplc.budget.expected → ...Bits/case-05/case-05.uplc.budget.expected b/...etBits/case-5/case-5.uplc.budget.expected → ...Bits/case-05/case-05.uplc.budget.expected
diff --git a/.../countSetBits/case-5/case-5.uplc.expected → ...ountSetBits/case-05/case-05.uplc.expected b/.../countSetBits/case-5/case-5.uplc.expected → ...ountSetBits/case-05/case-05.uplc.expected
diff --git a/...semantics/countSetBits/case-6/case-6.uplc → ...mantics/countSetBits/case-06/case-06.uplc b/...semantics/countSetBits/case-6/case-6.uplc → ...mantics/countSetBits/case-06/case-06.uplc
diff --git a/...etBits/case-6/case-6.uplc.budget.expected → ...Bits/case-06/case-06.uplc.budget.expected b/...etBits/case-6/case-6.uplc.budget.expected → ...Bits/case-06/case-06.uplc.budget.expected
diff --git a/.../countSetBits/case-6/case-6.uplc.expected → ...ountSetBits/case-06/case-06.uplc.expected b/.../countSetBits/case-6/case-6.uplc.expected → ...ountSetBits/case-06/case-06.uplc.expected
diff --git a/...semantics/countSetBits/case-7/case-7.uplc → ...mantics/countSetBits/case-07/case-07.uplc b/...semantics/countSetBits/case-7/case-7.uplc → ...mantics/countSetBits/case-07/case-07.uplc
diff --git a/...etBits/case-7/case-7.uplc.budget.expected → ...Bits/case-07/case-07.uplc.budget.expected b/...etBits/case-7/case-7.uplc.budget.expected → ...Bits/case-07/case-07.uplc.budget.expected
diff --git a/.../countSetBits/case-7/case-7.uplc.expected → ...ountSetBits/case-07/case-07.uplc.expected b/.../countSetBits/case-7/case-7.uplc.expected → ...ountSetBits/case-07/case-07.uplc.expected
diff --git a/...semantics/countSetBits/case-8/case-8.uplc → ...mantics/countSetBits/case-08/case-08.uplc b/...semantics/countSetBits/case-8/case-8.uplc → ...mantics/countSetBits/case-08/case-08.uplc
diff --git a/...etBits/case-8/case-8.uplc.budget.expected → ...Bits/case-08/case-08.uplc.budget.expected b/...etBits/case-8/case-8.uplc.budget.expected → ...Bits/case-08/case-08.uplc.budget.expected
diff --git a/.../countSetBits/case-8/case-8.uplc.expected → ...ountSetBits/case-08/case-08.uplc.expected b/.../countSetBits/case-8/case-8.uplc.expected → ...ountSetBits/case-08/case-08.uplc.expected
diff --git a/...nteger/divideInteger1/divideInteger1.uplc → ...er/divideInteger-01/divideInteger-01.uplc b/...nteger/divideInteger1/divideInteger1.uplc → ...er/divideInteger-01/divideInteger-01.uplc
diff --git a/...eger1/divideInteger1.uplc.budget.expected → ...-01/divideInteger-01.uplc.budget.expected b/...eger1/divideInteger1.uplc.budget.expected → ...-01/divideInteger-01.uplc.budget.expected
diff --git a/...videInteger1/divideInteger1.uplc.expected → ...Integer-01/divideInteger-01.uplc.expected b/...videInteger1/divideInteger1.uplc.expected → ...Integer-01/divideInteger-01.uplc.expected
diff --git a/.../equalsByteString1/equalsByteString1.uplc → ...alsByteString-01/equalsByteString-01.uplc b/.../equalsByteString1/equalsByteString1.uplc → ...alsByteString-01/equalsByteString-01.uplc
diff --git a/...g1/equalsByteString1.uplc.budget.expected → .../equalsByteString-01.uplc.budget.expected b/...g1/equalsByteString1.uplc.budget.expected → .../equalsByteString-01.uplc.budget.expected
diff --git a/...teString1/equalsByteString1.uplc.expected → ...ring-01/equalsByteString-01.uplc.expected b/...teString1/equalsByteString1.uplc.expected → ...ring-01/equalsByteString-01.uplc.expected
diff --git a/.../equalsByteString2/equalsByteString2.uplc → ...alsByteString-02/equalsByteString-02.uplc b/.../equalsByteString2/equalsByteString2.uplc → ...alsByteString-02/equalsByteString-02.uplc
diff --git a/...g2/equalsByteString2.uplc.budget.expected → .../equalsByteString-02.uplc.budget.expected b/...g2/equalsByteString2.uplc.budget.expected → .../equalsByteString-02.uplc.budget.expected
Benchmark suite	Current: `cfcfe10`	Previous: `ac8c225`	Ratio
`validation-auction_2-1`	`256.2` μs	`179.8` μs	`1.42`
`validation-auction_2-2`	`910.4` μs	`637.8` μs	`1.43`
`validation-auction_2-3`	`1189` μs	`838` μs	`1.42`
`validation-auction_2-4`	`900.9` μs	`635.1` μs	`1.42`
`validation-auction_2-5`	`330.2` μs	`232.7` μs	`1.42`
`validation-crowdfunding-success-1`	`298.9` μs	`210.8` μs	`1.42`
`validation-crowdfunding-success-2`	`298.8` μs	`211.1` μs	`1.42`
`validation-crowdfunding-success-3`	`299.9` μs	`211.9` μs	`1.42`
`validation-currency-1`	`356.9` μs	`251.9` μs	`1.42`
`validation-escrow-redeem_1-1`	`498.6` μs	`351.6` μs	`1.42`
`validation-escrow-redeem_1-2`	`499.6` μs	`350.7` μs	`1.42`
`validation-escrow-redeem_2-1`	`582.5` μs	`410.4` μs	`1.42`
`validation-escrow-redeem_2-2`	`580.9` μs	`410.3` μs	`1.42`
`validation-escrow-redeem_2-3`	`580.3` μs	`411` μs	`1.41`
`validation-escrow-refund-1`	`223.4` μs	`157.8` μs	`1.42`
`validation-future-increase-margin-1`	`356.3` μs	`251.7` μs	`1.42`
`validation-future-pay-out-3`	`572.3` μs	`543.6` μs	`1.05`
`validation-game-sm-success_1-1`	`413.9` μs	`390.1` μs	`1.06`
`validation-game-sm-success_1-4`	`250.9` μs	`236` μs	`1.06`
`validation-game-sm-success_2-4`	`256.8` μs	`236.7` μs	`1.08`
`validation-game-sm-success_2-5`	`906.9` μs	`640.9` μs	`1.42`
`validation-game-sm-success_2-6`	`335.6` μs	`235.7` μs	`1.42`
`validation-multisig-sm-1`	`559.6` μs	`406.7` μs	`1.38`
`validation-multisig-sm-2`	`547.6` μs	`384.6` μs	`1.42`
`validation-multisig-sm-3`	`450.2` μs	`421.2` μs	`1.07`
`validation-stablecoin_1-5`	`1908` μs	`1347` μs	`1.42`
`validation-stablecoin_1-6`	`368` μs	`259.4` μs	`1.42`
`validation-token-account-1`	`268.5` μs	`249.5` μs	`1.08`
`validation-token-account-2`	`422.1` μs	`337.1` μs	`1.25`
`validation-uniswap-6`	`456.3` μs	`322.3` μs	`1.42`
`validation-vesting-1`	`496.7` μs	`347.9` μs	`1.43`
`validation-decode-auction_1-1`	`273.3` μs	`189.5` μs	`1.44`
`validation-decode-auction_1-2`	`746.4` μs	`531.1` μs	`1.41`
`validation-decode-auction_1-3`	`773.6` μs	`529` μs	`1.46`
`validation-decode-auction_1-4`	`274.7` μs	`192.1` μs	`1.43`
`validation-decode-auction_2-1`	`275.8` μs	`190` μs	`1.45`
`validation-decode-auction_2-2`	`769.2` μs	`531.1` μs	`1.45`
`validation-decode-auction_2-3`	`771.1` μs	`531.5` μs	`1.45`
`validation-decode-auction_2-4`	`750.5` μs	`531.3` μs	`1.41`
`validation-decode-auction_2-5`	`275.1` μs	`188.8` μs	`1.46`
`validation-decode-crowdfunding-success-1`	`335.8` μs	`230.5` μs	`1.46`
`validation-decode-crowdfunding-success-2`	`335.6` μs	`230` μs	`1.46`
`validation-decode-crowdfunding-success-3`	`335.2` μs	`242.2` μs	`1.38`
`validation-decode-escrow-redeem_2-2`	`450.4` μs	`378.5` μs	`1.19`
`validation-decode-escrow-redeem_2-3`	`449.3` μs	`308.7` μs	`1.46`
`validation-decode-future-settle-early-4`	`775.6` μs	`668.4` μs	`1.16`
`validation-decode-game-sm-success_1-1`	`724.1` μs	`515.4` μs	`1.40`
`validation-decode-game-sm-success_1-2`	`168.2` μs	`158.4` μs	`1.06`
`validation-decode-game-sm-success_1-3`	`569.4` μs	`513.9` μs	`1.11`
`validation-decode-game-sm-success_1-4`	`233.2` μs	`158.9` μs	`1.47`
`validation-decode-game-sm-success_2-1`	`746.8` μs	`514.6` μs	`1.45`
`validation-decode-game-sm-success_2-2`	`232.8` μs	`159.2` μs	`1.46`
`validation-decode-game-sm-success_2-3`	`751.1` μs	`515.2` μs	`1.46`
`validation-decode-game-sm-success_2-4`	`232.5` μs	`159.5` μs	`1.46`
`validation-decode-game-sm-success_2-5`	`750.9` μs	`515.7` μs	`1.46`
`validation-decode-game-sm-success_2-6`	`232.7` μs	`159.4` μs	`1.46`
`validation-decode-multisig-sm-1`	`819.6` μs	`560` μs	`1.46`
`validation-decode-multisig-sm-2`	`703.6` μs	`573` μs	`1.23`
`validation-decode-multisig-sm-5`	`630.2` μs	`593.2` μs	`1.06`
`validation-decode-multisig-sm-6`	`832.3` μs	`567` μs	`1.47`
`validation-decode-multisig-sm-7`	`835.8` μs	`573.9` μs	`1.46`
`validation-decode-multisig-sm-8`	`836` μs	`572.6` μs	`1.46`
`validation-decode-multisig-sm-9`	`660.1` μs	`573.9` μs	`1.15`
`validation-decode-ping-pong-1`	`700.7` μs	`481` μs	`1.46`
`validation-decode-ping-pong-2`	`693.6` μs	`473.2` μs	`1.47`
`validation-decode-ping-pong_2-1`	`701.7` μs	`496.7` μs	`1.41`
`validation-decode-prism-3`	`342` μs	`238.3` μs	`1.44`
`validation-decode-pubkey-1`	`233.4` μs	`160.4` μs	`1.46`
`validation-decode-stablecoin_1-1`	`1226` μs	`852.6` μs	`1.44`
`validation-decode-stablecoin_1-2`	`231.8` μs	`159.4` μs	`1.45`
`validation-decode-stablecoin_1-3`	`1224` μs	`849.6` μs	`1.44`
`validation-decode-uniswap-5`	`1044` μs	`963.3` μs	`1.08`
`validation-decode-uniswap-6`	`253.5` μs	`173.9` μs	`1.46`
`validation-decode-vesting-1`	`440.8` μs	`311.8` μs	`1.41`
`nofib-clausify/formula1`	`4400` μs	`3077` μs	`1.43`
`nofib-clausify/formula2`	`4377` μs	`4112` μs	`1.06`
`nofib-knights/8x8`	`86960` μs	`82590` μs	`1.05`
`nofib-primetest/05digits`	`12510` μs	`10340` μs	`1.21`
`nofib-primetest/10digits`	`24330` μs	`20250` μs	`1.20`
`nofib-primetest/30digits`	`91100` μs	`62470` μs	`1.46`
`nofib-primetest/50digits`	`150800` μs	`103300` μs	`1.46`
`nofib-queens4x4/bt`	`7106` μs	`5396` μs	`1.32`
`nofib-queens4x4/fc`	`14700` μs	`13880` μs	`1.06`
`marlowe-semantics/0000020002010200020101020201000100010001020101020201010000020102`	`382.1` μs	`315.5` μs	`1.21`
`marlowe-semantics/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201`	`1620` μs	`1136` μs	`1.43`
`marlowe-semantics/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c`	`495.3` μs	`348.1` μs	`1.42`
`marlowe-semantics/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221`	`423.5` μs	`297.2` μs	`1.42`
`marlowe-semantics/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25`	`1426` μs	`998.9` μs	`1.43`
`marlowe-semantics/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c`	`786.1` μs	`748.4` μs	`1.05`
`marlowe-semantics/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315`	`1342` μs	`943.5` μs	`1.42`
`marlowe-semantics/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274`	`1037` μs	`727.5` μs	`1.43`
`marlowe-semantics/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153`	`1142` μs	`800` μs	`1.43`
`marlowe-semantics/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c`	`1409` μs	`981.1` μs	`1.44`
`marlowe-semantics/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc`	`1080` μs	`862.9` μs	`1.25`
`marlowe-semantics/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8`	`1168` μs	`820.3` μs	`1.42`
`marlowe-semantics/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5`	`680.4` μs	`477.9` μs	`1.42`
`marlowe-semantics/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95`	`48500` μs	`36280` μs	`1.34`
`marlowe-semantics/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a`	`1426` μs	`998.9` μs	`1.43`
`marlowe-semantics/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33`	`423.5` μs	`297.6` μs	`1.42`
`marlowe-semantics/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3`	`651` μs	`456.9` μs	`1.42`
`marlowe-semantics/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990`	`1058` μs	`740` μs	`1.43`
`marlowe-semantics/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080`	`518` μs	`364.8` μs	`1.42`
`marlowe-semantics/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5`	`540` μs	`380.9` μs	`1.42`
`marlowe-semantics/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079`	`421.5` μs	`297.5` μs	`1.42`
`marlowe-semantics/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1`	`1343` μs	`1036` μs	`1.30`
`marlowe-semantics/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79`	`6421` μs	`4866` μs	`1.32`
`marlowe-semantics/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6`	`1335` μs	`938.8` μs	`1.42`
`marlowe-role-payout/0004000402010401030101030100040000010104020201030001000204020401`	`262.1` μs	`183.2` μs	`1.43`
`marlowe-role-payout/0100000100010000000001000100010101000101000001000000010000010000`	`357.2` μs	`250.1` μs	`1.43`
`marlowe-role-payout/0101000100000101010000010101000100010101000001000001000000010101`	`270.5` μs	`189.3` μs	`1.43`
`marlowe-role-payout/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c`	`225.9` μs	`158.7` μs	`1.42`
`marlowe-role-payout/0201020201020000020000010201020001020200000002010200000101010100`	`256.5` μs	`180` μs	`1.43`
`marlowe-role-payout/0202010002010100020102020102020001010101020102010001010101000100`	`241.1` μs	`168.4` μs	`1.43`
`marlowe-role-payout/0303020000020001010201060303040208070100050401080304020801030001`	`241.1` μs	`169.4` μs	`1.42`
`marlowe-role-payout/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97`	`285.1` μs	`200.4` μs	`1.42`
`marlowe-role-payout/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc`	`269` μs	`189.3` μs	`1.42`
`marlowe-role-payout/0403020000030204010000030001000202010101000304030001040404030100`	`249.1` μs	`174.4` μs	`1.43`
`marlowe-role-payout/0405010105020401010304080005050800040301010800080207080704020206`	`274.8` μs	`193.1` μs	`1.42`
`marlowe-role-payout/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01`	`273.7` μs	`192.3` μs	`1.42`
`marlowe-role-payout/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5`	`319.1` μs	`223.4` μs	`1.43`
`marlowe-role-payout/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027`	`234.5` μs	`166` μs	`1.41`
`marlowe-role-payout/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954`	`248.1` μs	`174.1` μs	`1.43`
`marlowe-role-payout/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae`	`227` μs	`159.3` μs	`1.42`
`marlowe-role-payout/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961`	`273.8` μs	`192.3` μs	`1.42`
`marlowe-role-payout/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0`	`245` μs	`171.5` μs	`1.43`
`marlowe-role-payout/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408`	`243.1` μs	`170.1` μs	`1.43`
`marlowe-role-payout/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960`	`276.8` μs	`193.6` μs	`1.43`
`marlowe-role-payout/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15`	`235.4` μs	`165.5` μs	`1.42`
`marlowe-role-payout/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d`	`262.5` μs	`184.1` μs	`1.43`
`marlowe-role-payout/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a`	`260.4` μs	`182.4` μs	`1.43`
`marlowe-role-payout/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f`	`272.9` μs	`190.7` μs	`1.43`
`marlowe-role-payout/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c`	`240.8` μs	`169.2` μs	`1.42`
`marlowe-role-payout/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d`	`232.6` μs	`163.4` μs	`1.42`
`marlowe-role-payout/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e`	`237` μs	`166.6` μs	`1.42`
`marlowe-role-payout/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c`	`230.9` μs	`162.2` μs	`1.42`
`marlowe-role-payout/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a`	`257` μs	`180.3` μs	`1.43`
`marlowe-role-payout/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632`	`247.3` μs	`173.3` μs	`1.43`
`marlowe-role-payout/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca`	`259.8` μs	`182.2` μs	`1.43`
`marlowe-role-payout/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef`	`241` μs	`168.8` μs	`1.43`
`marlowe-role-payout/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07`	`229.6` μs	`160.8` μs	`1.43`
`marlowe-role-payout/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7`	`248.9` μs	`174.9` μs	`1.42`
`marlowe-role-payout/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc`	`235.7` μs	`165.9` μs	`1.42`
`marlowe-role-payout/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40`	`235.4` μs	`165.4` μs	`1.42`
`marlowe-role-payout/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7`	`278.1` μs	`195.1` μs	`1.43`
`marlowe-role-payout/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d`	`242.5` μs	`170` μs	`1.43`
`marlowe-role-payout/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a`	`274.7` μs	`193.6` μs	`1.42`
`marlowe-role-payout/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be`	`260.9` μs	`182.9` μs	`1.43`
`marlowe-role-payout/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99`	`283.6` μs	`198.1` μs	`1.43`
`marlowe-role-payout/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6`	`239.2` μs	`168.3` μs	`1.42`
`marlowe-role-payout/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c`	`239.5` μs	`168.1` μs	`1.42`
`marlowe-role-payout/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd`	`246.2` μs	`172.6` μs	`1.43`
`marlowe-role-payout/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2`	`308.4` μs	`215.7` μs	`1.43`
`marlowe-role-payout/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344`	`285.2` μs	`200.6` μs	`1.42`
`marlowe-role-payout/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9`	`249.7` μs	`175.2` μs	`1.43`
`marlowe-role-payout/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596`	`239.4` μs	`167.6` μs	`1.43`
`marlowe-role-payout/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c`	`322.5` μs	`226.1` μs	`1.43`
`marlowe-role-payout/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b`	`274.1` μs	`238.4` μs	`1.15`
`marlowe-role-payout/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e`	`230.2` μs	`161.3` μs	`1.43`
`marlowe-role-payout/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc`	`227.8` μs	`159.9` μs	`1.42`
`marlowe-role-payout/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f`	`239.4` μs	`168.4` μs	`1.42`
`marlowe-role-payout/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c`	`236.8` μs	`166.2` μs	`1.42`
`marlowe-role-payout/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899`	`246.5` μs	`195.5` μs	`1.26`
`marlowe-role-payout/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6`	`277.6` μs	`194.3` μs	`1.43`
`marlowe-role-payout/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139`	`258.5` μs	`180.5` μs	`1.43`
`marlowe-role-payout/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9`	`244.7` μs	`171.3` μs	`1.43`
`marlowe-role-payout/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7`	`233.3` μs	`175.3` μs	`1.33`
`marlowe-role-payout/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9`	`287.9` μs	`201.6` μs	`1.43`
`marlowe-role-payout/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8`	`237.2` μs	`166.2` μs	`1.43`
`marlowe-role-payout/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302`	`239.6` μs	`167.7` μs	`1.43`
`marlowe-role-payout/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb`	`236.6` μs	`166.2` μs	`1.42`
`marlowe-role-payout/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753`	`279.2` μs	`195.6` μs	`1.43`
`marlowe-role-payout/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10`	`236.7` μs	`166.4` μs	`1.42`
`marlowe-role-payout/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8`	`237.1` μs	`181.3` μs	`1.31`
`marlowe-role-payout/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271`	`271.8` μs	`190.5` μs	`1.43`
`marlowe-role-payout/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b`	`271.7` μs	`191.5` μs	`1.42`
`marlowe-role-payout/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf`	`243.5` μs	`192.1` μs	`1.27`
`marlowe-role-payout/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e`	`252.8` μs	`177.5` μs	`1.42`
`marlowe-role-payout/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02`	`253.6` μs	`177.4` μs	`1.43`
`marlowe-role-payout/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d`	`291.7` μs	`203.8` μs	`1.43`
`marlowe-role-payout/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716`	`227.3` μs	`159.1` μs	`1.43`
`marlowe-role-payout/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832`	`240.3` μs	`168.9` μs	`1.42`
`marlowe-role-payout/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528`	`267.3` μs	`187.5` μs	`1.43`
`marlowe-role-payout/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997`	`258.7` μs	`181.2` μs	`1.43`
`marlowe-role-payout/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032`	`272` μs	`190.3` μs	`1.43`
`marlowe-role-payout/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd`	`246` μs	`172.5` μs	`1.43`
`marlowe-role-payout/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e`	`246.1` μs	`172.8` μs	`1.42`
`marlowe-role-payout/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6`	`249.5` μs	`174.9` μs	`1.43`
`marlowe-role-payout/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c`	`237.6` μs	`166.2` μs	`1.43`
`marlowe-role-payout/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e`	`269.3` μs	`189.5` μs	`1.42`
`marlowe-role-payout/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53`	`271.6` μs	`190.7` μs	`1.42`
`marlowe-role-payout/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8`	`239.4` μs	`168.6` μs	`1.42`
`marlowe-role-payout/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df`	`235.3` μs	`165.4` μs	`1.42`
`marlowe-role-payout/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747`	`258` μs	`181.4` μs	`1.42`
`marlowe-role-payout/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f`	`236.9` μs	`166.6` μs	`1.42`
`marlowe-role-payout/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82`	`247` μs	`174` μs	`1.42`
`marlowe-role-payout/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548`	`280` μs	`196.8` μs	`1.42`