From c38d894f5ddcff85853dbb1bf78e424ec3ca0005 Mon Sep 17 00:00:00 2001
From: pbio <10051819+paulbalaji@users.noreply.github.com>
Date: Mon, 19 Oct 2026 17:26:56 +0100
Subject: [PATCH 1/4] perf(sdk): skip the rent rounding emulation at thresholds
2.0 and 1.0
MinimumBalanceFor emulates Rust's u64 -> f64 conversion and f64
multiply with integer code, about 500 to 770 CU per call on SBF. With
a threshold of exactly 2.0 or 1.0 and (128 + size) * rate below 2^53,
both steps are exact, so the result is 2n or n. Other inputs keep the
emulation, and a test checks both paths agree at every boundary,
errors included. The SDK-2 example snapshots of sdk/system/rent.go are
refreshed.
---
docs/SDK2.md | 5 ++
examples/escrow/.gosvm/sdk/sdk/system/rent.go | 27 ++++++++++
.../fee-vault/.gosvm/sdk/sdk/system/rent.go | 27 ++++++++++
.../.gosvm/sdk/sdk/system/rent.go | 27 ++++++++++
.../full-swap/.gosvm/sdk/sdk/system/rent.go | 27 ++++++++++
.../logging/.gosvm/sdk/sdk/system/rent.go | 27 ++++++++++
.../tutorial/.gosvm/sdk/sdk/system/rent.go | 27 ++++++++++
sdk/system/rent.go | 27 ++++++++++
sdk/system/rent_test.go | 52 +++++++++++++++++++
9 files changed, 246 insertions(+)
diff --git a/docs/SDK2.md b/docs/SDK2.md
index d5fab1bb..c6493994 100644
--- a/docs/SDK2.md
+++ b/docs/SDK2.md
@@ -307,6 +307,11 @@ without floating-point SBF runtime helpers. Sizes above 10 MiB, a uint64 overflo
in `(128+size)*rate`, and negative/nonfinite thresholds return `ErrRent` (3020).
Both signed zeros are accepted. The integer-overflow rejection is an intentional
bounded policy; it does not reproduce Rust release-mode wrapping of that product.
+With a threshold of exactly 2.0 (Fogo, and Solana before SIMD-0194) or 1.0
+(after it) and `(128+size)*rate` below 2^53, the conversion and product are
+exact, so the result is twice or once that product and the rounding emulation
+is skipped: 480 to 760 CU less per call on SBF, and 2 to 8 CU more on other
+thresholds ([measurements](../results/sdk/2026-10-19-rent-fast-path/README.md)).
`solana.Rent(context, output)` exposes the raw runtime values as exactly 17 bytes:
little-endian uint64 rate, little-endian uint64 threshold bits, and one burn byte.
diff --git a/examples/escrow/.gosvm/sdk/sdk/system/rent.go b/examples/escrow/.gosvm/sdk/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/examples/escrow/.gosvm/sdk/sdk/system/rent.go
+++ b/examples/escrow/.gosvm/sdk/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go b/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go
+++ b/examples/fee-vault/.gosvm/sdk/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/examples/find-address/.gosvm/sdk/sdk/system/rent.go b/examples/find-address/.gosvm/sdk/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/examples/find-address/.gosvm/sdk/sdk/system/rent.go
+++ b/examples/find-address/.gosvm/sdk/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/examples/full-swap/.gosvm/sdk/sdk/system/rent.go b/examples/full-swap/.gosvm/sdk/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/examples/full-swap/.gosvm/sdk/sdk/system/rent.go
+++ b/examples/full-swap/.gosvm/sdk/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/examples/logging/.gosvm/sdk/sdk/system/rent.go b/examples/logging/.gosvm/sdk/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/examples/logging/.gosvm/sdk/sdk/system/rent.go
+++ b/examples/logging/.gosvm/sdk/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/examples/tutorial/.gosvm/sdk/sdk/system/rent.go b/examples/tutorial/.gosvm/sdk/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/examples/tutorial/.gosvm/sdk/sdk/system/rent.go
+++ b/examples/tutorial/.gosvm/sdk/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/sdk/system/rent.go b/sdk/system/rent.go
index 3f9b014c..fd4a45da 100644
--- a/sdk/system/rent.go
+++ b/sdk/system/rent.go
@@ -42,13 +42,40 @@ func product(x, y uint64) (uint64, uint64) {
return x1*y1 + w2 + w1>>32, x * y
}
+// IEEE-754 bits of the exemption thresholds with an exact fast path: 2.0
+// (Fogo, and Solana before SIMD-0194) and 1.0 (Solana after it).
+const (
+ thresholdTwo uint64 = 0x4000000000000000
+ thresholdOne uint64 = 0x3ff0000000000000
+)
+
// MinimumBalanceFor matches the pinned solana-rent 3.0.0 minimum_balance's
// uint64 -> f64 conversion, f64 multiplication, and saturating uint64 cast.
// Integer bit operations reproduce the two round-to-nearest-even stages without
// floating-point runtime helpers on SBF. Unlike Rust's release-mode integer
// wrap, overflow in (128+size)*rate is an explicit error. Sizes over 10 MiB and
// negative/nonfinite thresholds are also rejected; signed zero is accepted.
+//
+// With a threshold of 2.0 or 1.0 and n = (128+size)*rate below 2^53, the
+// conversion and the product are exact, so the result is 2n or n and the
+// rounding emulation is skipped.
func MinimumBalanceFor(rate, thresholdBits, size uint64) (uint64, uint64) {
+ if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
+ return 0, ErrRent
+ }
+ if n := (128 + size) * rate; n < 1<<53 {
+ if thresholdBits == thresholdTwo {
+ return 2 * n, 0
+ }
+ if thresholdBits == thresholdOne {
+ return n, 0
+ }
+ }
+ return minimumBalanceExact(rate, thresholdBits, size)
+}
+
+// minimumBalanceExact is MinimumBalanceFor without the fast path.
+func minimumBalanceExact(rate, thresholdBits, size uint64) (uint64, uint64) {
if size > MaxDataLen || rate > ^uint64(0)/(128+size) {
return 0, ErrRent
}
diff --git a/sdk/system/rent_test.go b/sdk/system/rent_test.go
index aff738a5..ee3a8f33 100644
--- a/sdk/system/rent_test.go
+++ b/sdk/system/rent_test.go
@@ -71,3 +71,55 @@ func TestRentCurrentSysvar(t *testing.T) {
t.Fatal(n, code)
}
}
+
+// The 2.0 and 1.0 fast path must return exactly what the rounding emulation
+// returns, errors included, at every boundary: n = (128+size)*rate on either
+// side of 2^53 and of uint64 overflow, every size limit, and both thresholds'
+// neighbours, which must take the exact path.
+func TestRentFastPathMatchesExact(t *testing.T) {
+ check := func(rate, bits, size uint64) {
+ t.Helper()
+ amount, code := MinimumBalanceFor(rate, bits, size)
+ want, status := minimumBalanceExact(rate, bits, size)
+ if amount != want || code != status {
+ t.Fatalf("rate=%d threshold=%016x size=%d: (%d,%d), exact (%d,%d)", rate, bits, size, amount, code, want, status)
+ }
+ }
+ thresholds := []uint64{thresholdTwo, thresholdOne, thresholdTwo - 1, thresholdTwo + 1, thresholdOne - 1, thresholdOne + 1,
+ thresholdTwo | 1<<63, thresholdOne | 1<<63, 0, 1 << 63, math.Float64bits(2.5), math.Float64bits(0.5), math.Float64bits(math.NaN())}
+ sizes := []uint64{0, 1, 82, 165, 10240, MaxDataLen - 1, MaxDataLen, MaxDataLen + 1, math.MaxUint64 - 128, math.MaxUint64}
+ fast := 0
+ for _, size := range sizes {
+ rates := []uint64{0, 1, 3480, 6960, math.MaxUint64}
+ if size <= MaxDataLen {
+ exact := (uint64(1)<<53 - 1) / (128 + size) // largest rate with n < 2^53
+ wrap := math.MaxUint64 / (128 + size) // largest rate without overflow
+ for _, r := range []uint64{exact, wrap} {
+ for d := uint64(0); d < 3; d++ {
+ rates = append(rates, r-d, r+d+1)
+ }
+ }
+ }
+ for _, rate := range rates {
+ for _, bits := range thresholds {
+ check(rate, bits, size)
+ if size <= MaxDataLen && rate <= (uint64(1)<<53-1)/(128+size) && (bits == thresholdTwo || bits == thresholdOne) {
+ fast++
+ }
+ }
+ }
+ }
+ rng := rand.New(rand.NewSource(2026101901))
+ for j := 0; j < 1000000; j++ {
+ size := rng.Uint64() % (MaxDataLen + 2)
+ limit := (uint64(1)<<53 - 1) / (128 + size)
+ rate := limit - 64 + rng.Uint64()%128
+ if j%2 == 0 {
+ rate = rng.Uint64() % (2 * limit)
+ }
+ check(rate, []uint64{thresholdTwo, thresholdOne}[j%4/2], size)
+ }
+ if fast < 90 {
+ t.Fatalf("only %d boundary inputs take the fast path", fast)
+ }
+}
From 74f1c72b16459b1fbc8705d47e387f36f31624ff Mon Sep 17 00:00:00 2001
From: pbio <10051819+paulbalaji@users.noreply.github.com>
Date: Mon, 19 Oct 2026 17:26:56 +0100
Subject: [PATCH 2/4] test(compiler): check the rent fast path on SBF against
the host
---
internal/compiler/alloc_sbf_test.go | 6 ++
internal/compiler/rent_sbf_test.go | 161 ++++++++++++++++++++++++++++
2 files changed, 167 insertions(+)
create mode 100644 internal/compiler/rent_sbf_test.go
diff --git a/internal/compiler/alloc_sbf_test.go b/internal/compiler/alloc_sbf_test.go
index ae91a607..3e13d0e2 100644
--- a/internal/compiler/alloc_sbf_test.go
+++ b/internal/compiler/alloc_sbf_test.go
@@ -239,6 +239,12 @@ func runAllocProgram(t *testing.T, llvm, runner, profile, name string, source []
if err := os.WriteFile(filepath.Join(dir, "program.go"), source, 0644); err != nil {
t.Fatal(err)
}
+ return runAllocDir(t, llvm, runner, profile, name, dir, heap, cases)
+}
+
+// runAllocDir is runAllocProgram for a program already written into dir.
+func runAllocDir(t *testing.T, llvm, runner, profile, name, dir string, heap int, cases []allocCase) map[string]any {
+ t.Helper()
elf := filepath.Join(dir, "program.so")
if err := BuildWithOptions(dir, elf, llvm, profile, BuildOptions{HeapBytes: heap}); err != nil {
t.Fatal(err)
diff --git a/internal/compiler/rent_sbf_test.go b/internal/compiler/rent_sbf_test.go
new file mode 100644
index 00000000..c079b86b
--- /dev/null
+++ b/internal/compiler/rent_sbf_test.go
@@ -0,0 +1,161 @@
+package compiler
+
+import (
+ "encoding/binary"
+ "fmt"
+ "math"
+ "os"
+ "path/filepath"
+ "testing"
+
+ "gosvm/internal/targets"
+ "gosvm/internal/testvm"
+ "gosvm/sdk/system"
+)
+
+// rentSource calls the SDK's rent calculation (sdk/system/rent.go) and writes
+// (lamports, status) as two little-endian uint64s into account 0.
+// Input: [mode][rate 8][threshold bits 8][size 8]. Mode 0 is
+// MinimumBalanceFor(rate, threshold, size); mode 1 is MinimumBalance(size)
+// from the runner's Rent sysvar.
+const rentSource = `package rentprobe
+
+import (
+ "gosvm/sdk/system"
+ "gosvm/solana"
+)
+
+func get(in []byte, at int) uint64 {
+ v := uint64(0)
+ for i := 0; i < 8; i++ {
+ v |= uint64(in[at+i]) << (8 * uint64(i))
+ }
+ return v
+}
+
+func put(out []byte, at int, v uint64) {
+ for i := 0; i < 8; i++ {
+ out[at+i] = byte(v >> (8 * uint64(i)))
+ }
+}
+
+func Process(c solana.Context) uint64 {
+ in := solana.Instruction(c)
+ out := solana.Data(c, 0)
+ var lamports, code uint64
+ if in[0] == 0 {
+ lamports, code = system.MinimumBalanceFor(get(in, 1), get(in, 9), get(in, 17))
+ } else {
+ lamports, code = system.MinimumBalance(c, get(in, 17))
+ }
+ put(out, 0, lamports)
+ put(out, 8, code)
+ return 0
+}
+`
+
+// rentModule writes rentSource into dir as an SDK-2 module, with the SDK
+// snapshot of examples/tutorial (which must match sdk/).
+func rentModule(t *testing.T, dir string) {
+ t.Helper()
+ files := map[string][]byte{
+ "program.go": []byte(rentSource),
+ "go.mod": []byte("module example.org/rentprobe\n\ngo 1.22\n\nrequire gosvm v0.0.0\n\nreplace gosvm => ./.gosvm/sdk\n"),
+ }
+ snapshot := "../../examples/tutorial/.gosvm"
+ err := filepath.WalkDir(snapshot, func(path string, d os.DirEntry, err error) error {
+ if err != nil || d.IsDir() {
+ return err
+ }
+ rel, _ := filepath.Rel("../../examples/tutorial", path)
+ files[rel], err = os.ReadFile(path)
+ return err
+ })
+ if err != nil {
+ t.Fatal(err)
+ }
+ for name, b := range files {
+ path := filepath.Join(dir, name)
+ if err = os.MkdirAll(filepath.Dir(path), 0755); err != nil {
+ t.Fatal(err)
+ }
+ if err = os.WriteFile(path, b, 0644); err != nil {
+ t.Fatal(err)
+ }
+ }
+}
+
+// TestRentSBF runs system.MinimumBalanceFor on fogo-v0 and solana-v3 over the
+// fast path's boundaries (thresholds 2.0 and 1.0, n = (128+size)*rate on
+// either side of 2^53), the exact path and every error, and MinimumBalance
+// with each runner's Rent sysvar, against the host results.
+// GOSVM_RENT_RESULTS=
keeps the run.
+func TestRentSBF(t *testing.T) {
+ if testing.Short() {
+ t.Skip("SBF runs are skipped in -short mode")
+ }
+ llvm := modernLLVM()
+ if llvm == "" {
+ t.Skip("pinned platform-tools v1.57 backend required")
+ }
+ input := func(mode byte, rate, bits, size uint64) []byte {
+ in := make([]byte, 25)
+ in[0] = mode
+ binary.LittleEndian.PutUint64(in[1:], rate)
+ binary.LittleEndian.PutUint64(in[9:], bits)
+ binary.LittleEndian.PutUint64(in[17:], size)
+ return in
+ }
+ output := func(lamports, code uint64) []byte {
+ out := make([]byte, 1024)
+ binary.LittleEndian.PutUint64(out, lamports)
+ binary.LittleEndian.PutUint64(out[8:], code)
+ return out
+ }
+ two, one := math.Float64bits(2), math.Float64bits(1)
+ thresholds := []uint64{two, one, two + 1, one - 1, math.Float64bits(2.5), math.Float64bits(0.5), 0, 1 << 63,
+ math.Float64bits(-1), math.Float64bits(math.Inf(1)), math.Float64bits(math.NaN())}
+ var cases []allocCase
+ for _, size := range []uint64{0, 82, 165, 10240, system.MaxDataLen, system.MaxDataLen + 1, math.MaxUint64} {
+ rates := []uint64{0, 3480, 6960, math.MaxUint64}
+ if size <= system.MaxDataLen {
+ exact := (uint64(1)<<53 - 1) / (128 + size)
+ wrap := math.MaxUint64 / (128 + size)
+ rates = append(rates, exact, exact+1, wrap, wrap+1)
+ }
+ for _, rate := range rates {
+ for j, bits := range thresholds {
+ lamports, code := system.MinimumBalanceFor(rate, bits, size)
+ cases = append(cases, allocCase{name: fmt.Sprintf("for-size%d-rate%d-t%02d", size, rate, j), in: input(0, rate, bits, size), output: output(lamports, code)})
+ }
+ }
+ }
+ // The runners' Rent sysvars: LiteSVM 0.8.2 (fogo-v0) has 3,480 lamports
+ // per byte-year at threshold 2.0, LiteSVM 0.13.0 (solana-v3) 6,960 at 1.0.
+ rent := map[string][2]uint64{target.Fogo: {3480, two}, target.Solana: {6960, one}}
+ keep := os.Getenv("GOSVM_RENT_RESULTS")
+ for _, profile := range []string{target.Fogo, target.Solana} {
+ t.Run(profile, func(t *testing.T) {
+ cases := cases
+ for _, size := range []uint64{0, 165, system.MaxDataLen, system.MaxDataLen + 1} {
+ lamports, code := system.MinimumBalanceFor(rent[profile][0], rent[profile][1], size)
+ cases = append(cases, allocCase{name: fmt.Sprintf("sysvar-size%d", size), in: input(1, 0, 0, size), output: output(lamports, code)})
+ }
+ runner, err := testvm.RunnerFor("", profile)
+ if err != nil {
+ t.Skipf("runner unavailable: %v", err)
+ }
+ dir := t.TempDir()
+ if keep != "" {
+ dir = filepath.Join(keep, profile, "rent")
+ if err = os.MkdirAll(dir, 0755); err != nil {
+ t.Fatal(err)
+ }
+ }
+ rentModule(t, dir)
+ result := runAllocDir(t, llvm, runner, profile, "rent", dir, 0, cases)
+ t.Logf("%s: %d cases match the host (ELF %s); MinimumBalance(165) %v CU, MinimumBalanceFor(3480, 2.5, 165) %v CU",
+ profile, len(cases), result["elf_sha256"], result["sysvar-size165"], result["for-size165-rate3480-t04"])
+ })
+ }
+}
From 586ad83afb80837972d046b72f1fa8f65eac5def Mon Sep 17 00:00:00 2001
From: pbio <10051819+paulbalaji@users.noreply.github.com>
Date: Mon, 19 Oct 2026 17:26:56 +0100
Subject: [PATCH 3/4] docs(results): record the rent fast path CU
---
.../sdk/2026-10-19-rent-fast-path/README.md | 49 +
.../2026-10-19-rent-fast-path/fogo-v0-cu.json | 1071 +++++++++++++++++
.../solana-v3-cu.json | 1071 +++++++++++++++++
3 files changed, 2191 insertions(+)
create mode 100644 results/sdk/2026-10-19-rent-fast-path/README.md
create mode 100644 results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json
create mode 100644 results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json
diff --git a/results/sdk/2026-10-19-rent-fast-path/README.md b/results/sdk/2026-10-19-rent-fast-path/README.md
new file mode 100644
index 00000000..77c0c712
--- /dev/null
+++ b/results/sdk/2026-10-19-rent-fast-path/README.md
@@ -0,0 +1,49 @@
+# Exact fast path for `system.MinimumBalanceFor`
+
+October 19, 2026. Local only; runners 0.5.1 (fogo-v0, LiteSVM 0.8.2) and 0.6.0
+(solana-v3, LiteSVM 0.13.0), platform-tools v1.57. Contract:
+[SDK2.md § Rent and account lifecycle](../../../docs/SDK2.md#rent-and-account-lifecycle).
+
+## Why
+
+`MinimumBalanceFor` reproduces Rust's `u64 -> f64` conversion, f64 multiply
+and saturating cast with integer code, so SBF needs no float helpers. That
+costs about 500 to 770 CU per call, almost all in the bit-length loops and the
+two rounding stages. The pinned runners and current clusters use 2.0 (Fogo,
+Solana before SIMD-0194) or 1.0 (after it). When `n = (128+size)*rate` is
+below 2^53 the conversion is exact, and so is a product with 2.0 or 1.0, so
+the answer is `2n` or `n`. Any other input still takes the emulation.
+
+## Correctness
+
+- `TestRentFastPathMatchesExact` (native) compares `MinimumBalanceFor` with
+ the emulation alone (`minimumBalanceExact`) at both sides of `n = 2^53` and
+ of uint64 overflow for every size limit, both thresholds, their neighbouring
+ bit patterns, negative zeros, other thresholds and NaN, plus a million random
+ inputs near the 2^53 boundary. The existing IEEE oracle test also passes.
+- `TestRentSBF` runs 532 cases on each profile (thresholds 2.0, 1.0, their
+ neighbours, 2.5, 0.5, zeros, -1, infinity, NaN; sizes 0 to 10 MiB + 1 and
+ 2^64 - 1; rates 0, 3,480, 6,960, the 2^53 and overflow limits and one past
+ each) plus `MinimumBalance` from each runner's Rent sysvar. Every result and
+ error code equals the host's.
+
+## CU (whole transaction, `*-cu.json`; main `939b215`)
+
+The probe decodes its input and writes the result with byte loops, about 260
+CU of each total.
+
+| call | fogo-v0 before | after | solana-v3 before | after |
+| --- | ---: | ---: | ---: | ---: |
+| `MinimumBalance(165)`, runner sysvar (2.0 / 1.0) | 889 | 399 | 897 | 396 |
+| `MinimumBalance(10 MiB)` | 1,017 | 399 | 1,025 | 396 |
+| `MinimumBalanceFor(3480, 2.0, 165)` | 763 | 273 | 763 | 273 |
+| `MinimumBalanceFor(6960, 1.0, 165)` | 771 | 270 | 771 | 270 |
+| `MinimumBalanceFor` at 2.0, `n = 2^53 - 128` | 1,029 | 273 | 1,029 | 273 |
+| `MinimumBalanceFor` at 2.0, `n = 2^53` (exact path) | 803 | 807 | 803 | 807 |
+| `MinimumBalanceFor(3480, 2.5, 165)` (exact path) | 759 | 767 | 759 | 767 |
+| size over 10 MiB (`ErrRent`) | 261 | 261 | 261 | 261 |
+
+Over all 532 cases: every fast-path input with a nonzero product costs 482 to
+759 CU less, a zero product 3 to 6 CU less, and the exact path 2 to 8 CU more
+(the threshold compares and a repeated bounds check). Errors before the
+threshold check are unchanged.
diff --git a/results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json b/results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json
new file mode 100644
index 00000000..61203230
--- /dev/null
+++ b/results/sdk/2026-10-19-rent-fast-path/fogo-v0-cu.json
@@ -0,0 +1,1071 @@
+{
+ "after": {
+ "for-size0-rate0-t00": 273,
+ "for-size0-rate0-t01": 270,
+ "for-size0-rate0-t02": 282,
+ "for-size0-rate0-t03": 282,
+ "for-size0-rate0-t04": 282,
+ "for-size0-rate0-t05": 282,
+ "for-size0-rate0-t06": 282,
+ "for-size0-rate0-t07": 283,
+ "for-size0-rate0-t08": 281,
+ "for-size0-rate0-t09": 274,
+ "for-size0-rate0-t10": 274,
+ "for-size0-rate144115188075855871-t00": 842,
+ "for-size0-rate144115188075855871-t01": 842,
+ "for-size0-rate144115188075855871-t02": 1054,
+ "for-size0-rate144115188075855871-t03": 1098,
+ "for-size0-rate144115188075855871-t04": 842,
+ "for-size0-rate144115188075855871-t05": 842,
+ "for-size0-rate144115188075855871-t06": 279,
+ "for-size0-rate144115188075855871-t07": 280,
+ "for-size0-rate144115188075855871-t08": 277,
+ "for-size0-rate144115188075855871-t09": 270,
+ "for-size0-rate144115188075855871-t10": 270,
+ "for-size0-rate144115188075855872-t00": 262,
+ "for-size0-rate144115188075855872-t01": 262,
+ "for-size0-rate144115188075855872-t02": 262,
+ "for-size0-rate144115188075855872-t03": 262,
+ "for-size0-rate144115188075855872-t04": 262,
+ "for-size0-rate144115188075855872-t05": 262,
+ "for-size0-rate144115188075855872-t06": 262,
+ "for-size0-rate144115188075855872-t07": 262,
+ "for-size0-rate144115188075855872-t08": 262,
+ "for-size0-rate144115188075855872-t09": 262,
+ "for-size0-rate144115188075855872-t10": 262,
+ "for-size0-rate18446744073709551615-t00": 262,
+ "for-size0-rate18446744073709551615-t01": 262,
+ "for-size0-rate18446744073709551615-t02": 262,
+ "for-size0-rate18446744073709551615-t03": 262,
+ "for-size0-rate18446744073709551615-t04": 262,
+ "for-size0-rate18446744073709551615-t05": 262,
+ "for-size0-rate18446744073709551615-t06": 262,
+ "for-size0-rate18446744073709551615-t07": 262,
+ "for-size0-rate18446744073709551615-t08": 262,
+ "for-size0-rate18446744073709551615-t09": 262,
+ "for-size0-rate18446744073709551615-t10": 262,
+ "for-size0-rate3480-t00": 273,
+ "for-size0-rate3480-t01": 270,
+ "for-size0-rate3480-t02": 760,
+ "for-size0-rate3480-t03": 763,
+ "for-size0-rate3480-t04": 767,
+ "for-size0-rate3480-t05": 763,
+ "for-size0-rate3480-t06": 283,
+ "for-size0-rate3480-t07": 284,
+ "for-size0-rate3480-t08": 281,
+ "for-size0-rate3480-t09": 274,
+ "for-size0-rate3480-t10": 274,
+ "for-size0-rate6960-t00": 273,
+ "for-size0-rate6960-t01": 270,
+ "for-size0-rate6960-t02": 768,
+ "for-size0-rate6960-t03": 775,
+ "for-size0-rate6960-t04": 775,
+ "for-size0-rate6960-t05": 771,
+ "for-size0-rate6960-t06": 283,
+ "for-size0-rate6960-t07": 284,
+ "for-size0-rate6960-t08": 281,
+ "for-size0-rate6960-t09": 274,
+ "for-size0-rate6960-t10": 274,
+ "for-size0-rate70368744177663-t00": 273,
+ "for-size0-rate70368744177663-t01": 270,
+ "for-size0-rate70368744177663-t02": 1034,
+ "for-size0-rate70368744177663-t03": 1041,
+ "for-size0-rate70368744177663-t04": 1041,
+ "for-size0-rate70368744177663-t05": 1035,
+ "for-size0-rate70368744177663-t06": 283,
+ "for-size0-rate70368744177663-t07": 284,
+ "for-size0-rate70368744177663-t08": 281,
+ "for-size0-rate70368744177663-t09": 274,
+ "for-size0-rate70368744177663-t10": 274,
+ "for-size0-rate70368744177664-t00": 807,
+ "for-size0-rate70368744177664-t01": 807,
+ "for-size0-rate70368744177664-t02": 1019,
+ "for-size0-rate70368744177664-t03": 1063,
+ "for-size0-rate70368744177664-t04": 807,
+ "for-size0-rate70368744177664-t05": 807,
+ "for-size0-rate70368744177664-t06": 279,
+ "for-size0-rate70368744177664-t07": 280,
+ "for-size0-rate70368744177664-t08": 277,
+ "for-size0-rate70368744177664-t09": 270,
+ "for-size0-rate70368744177664-t10": 270,
+ "for-size10240-rate0-t00": 273,
+ "for-size10240-rate0-t01": 270,
+ "for-size10240-rate0-t02": 282,
+ "for-size10240-rate0-t03": 282,
+ "for-size10240-rate0-t04": 282,
+ "for-size10240-rate0-t05": 282,
+ "for-size10240-rate0-t06": 282,
+ "for-size10240-rate0-t07": 283,
+ "for-size10240-rate0-t08": 281,
+ "for-size10240-rate0-t09": 274,
+ "for-size10240-rate0-t10": 274,
+ "for-size10240-rate1779199852788344-t00": 845,
+ "for-size10240-rate1779199852788344-t01": 845,
+ "for-size10240-rate1779199852788344-t02": 1057,
+ "for-size10240-rate1779199852788344-t03": 1101,
+ "for-size10240-rate1779199852788344-t04": 845,
+ "for-size10240-rate1779199852788344-t05": 845,
+ "for-size10240-rate1779199852788344-t06": 279,
+ "for-size10240-rate1779199852788344-t07": 280,
+ "for-size10240-rate1779199852788344-t08": 277,
+ "for-size10240-rate1779199852788344-t09": 270,
+ "for-size10240-rate1779199852788344-t10": 270,
+ "for-size10240-rate1779199852788345-t00": 262,
+ "for-size10240-rate1779199852788345-t01": 262,
+ "for-size10240-rate1779199852788345-t02": 262,
+ "for-size10240-rate1779199852788345-t03": 262,
+ "for-size10240-rate1779199852788345-t04": 262,
+ "for-size10240-rate1779199852788345-t05": 262,
+ "for-size10240-rate1779199852788345-t06": 262,
+ "for-size10240-rate1779199852788345-t07": 262,
+ "for-size10240-rate1779199852788345-t08": 262,
+ "for-size10240-rate1779199852788345-t09": 262,
+ "for-size10240-rate1779199852788345-t10": 262,
+ "for-size10240-rate18446744073709551615-t00": 262,
+ "for-size10240-rate18446744073709551615-t01": 262,
+ "for-size10240-rate18446744073709551615-t02": 262,
+ "for-size10240-rate18446744073709551615-t03": 262,
+ "for-size10240-rate18446744073709551615-t04": 262,
+ "for-size10240-rate18446744073709551615-t05": 262,
+ "for-size10240-rate18446744073709551615-t06": 262,
+ "for-size10240-rate18446744073709551615-t07": 262,
+ "for-size10240-rate18446744073709551615-t08": 262,
+ "for-size10240-rate18446744073709551615-t09": 262,
+ "for-size10240-rate18446744073709551615-t10": 262,
+ "for-size10240-rate3480-t00": 273,
+ "for-size10240-rate3480-t01": 270,
+ "for-size10240-rate3480-t02": 819,
+ "for-size10240-rate3480-t03": 819,
+ "for-size10240-rate3480-t04": 819,
+ "for-size10240-rate3480-t05": 819,
+ "for-size10240-rate3480-t06": 283,
+ "for-size10240-rate3480-t07": 284,
+ "for-size10240-rate3480-t08": 281,
+ "for-size10240-rate3480-t09": 274,
+ "for-size10240-rate3480-t10": 274,
+ "for-size10240-rate6960-t00": 273,
+ "for-size10240-rate6960-t01": 270,
+ "for-size10240-rate6960-t02": 827,
+ "for-size10240-rate6960-t03": 831,
+ "for-size10240-rate6960-t04": 827,
+ "for-size10240-rate6960-t05": 827,
+ "for-size10240-rate6960-t06": 283,
+ "for-size10240-rate6960-t07": 284,
+ "for-size10240-rate6960-t08": 281,
+ "for-size10240-rate6960-t09": 274,
+ "for-size10240-rate6960-t10": 274,
+ "for-size10240-rate868749928119-t00": 273,
+ "for-size10240-rate868749928119-t01": 270,
+ "for-size10240-rate868749928119-t02": 1026,
+ "for-size10240-rate868749928119-t03": 1037,
+ "for-size10240-rate868749928119-t04": 1021,
+ "for-size10240-rate868749928119-t05": 1027,
+ "for-size10240-rate868749928119-t06": 283,
+ "for-size10240-rate868749928119-t07": 284,
+ "for-size10240-rate868749928119-t08": 281,
+ "for-size10240-rate868749928119-t09": 274,
+ "for-size10240-rate868749928119-t10": 274,
+ "for-size10240-rate868749928120-t00": 1063,
+ "for-size10240-rate868749928120-t01": 1063,
+ "for-size10240-rate868749928120-t02": 1063,
+ "for-size10240-rate868749928120-t03": 1067,
+ "for-size10240-rate868749928120-t04": 1051,
+ "for-size10240-rate868749928120-t05": 1063,
+ "for-size10240-rate868749928120-t06": 279,
+ "for-size10240-rate868749928120-t07": 280,
+ "for-size10240-rate868749928120-t08": 277,
+ "for-size10240-rate868749928120-t09": 270,
+ "for-size10240-rate868749928120-t10": 270,
+ "for-size10485760-rate0-t00": 273,
+ "for-size10485760-rate0-t01": 270,
+ "for-size10485760-rate0-t02": 282,
+ "for-size10485760-rate0-t03": 282,
+ "for-size10485760-rate0-t04": 282,
+ "for-size10485760-rate0-t05": 282,
+ "for-size10485760-rate0-t06": 282,
+ "for-size10485760-rate0-t07": 283,
+ "for-size10485760-rate0-t08": 281,
+ "for-size10485760-rate0-t09": 274,
+ "for-size10485760-rate0-t10": 274,
+ "for-size10485760-rate1759197129867-t00": 1100,
+ "for-size10485760-rate1759197129867-t01": 1100,
+ "for-size10485760-rate1759197129867-t02": 1097,
+ "for-size10485760-rate1759197129867-t03": 1100,
+ "for-size10485760-rate1759197129867-t04": 1101,
+ "for-size10485760-rate1759197129867-t05": 1100,
+ "for-size10485760-rate1759197129867-t06": 279,
+ "for-size10485760-rate1759197129867-t07": 280,
+ "for-size10485760-rate1759197129867-t08": 277,
+ "for-size10485760-rate1759197129867-t09": 270,
+ "for-size10485760-rate1759197129867-t10": 270,
+ "for-size10485760-rate1759197129868-t00": 262,
+ "for-size10485760-rate1759197129868-t01": 262,
+ "for-size10485760-rate1759197129868-t02": 262,
+ "for-size10485760-rate1759197129868-t03": 262,
+ "for-size10485760-rate1759197129868-t04": 262,
+ "for-size10485760-rate1759197129868-t05": 262,
+ "for-size10485760-rate1759197129868-t06": 262,
+ "for-size10485760-rate1759197129868-t07": 262,
+ "for-size10485760-rate1759197129868-t08": 262,
+ "for-size10485760-rate1759197129868-t09": 262,
+ "for-size10485760-rate1759197129868-t10": 262,
+ "for-size10485760-rate18446744073709551615-t00": 262,
+ "for-size10485760-rate18446744073709551615-t01": 262,
+ "for-size10485760-rate18446744073709551615-t02": 262,
+ "for-size10485760-rate18446744073709551615-t03": 262,
+ "for-size10485760-rate18446744073709551615-t04": 262,
+ "for-size10485760-rate18446744073709551615-t05": 262,
+ "for-size10485760-rate18446744073709551615-t06": 262,
+ "for-size10485760-rate18446744073709551615-t07": 262,
+ "for-size10485760-rate18446744073709551615-t08": 262,
+ "for-size10485760-rate18446744073709551615-t09": 262,
+ "for-size10485760-rate18446744073709551615-t10": 262,
+ "for-size10485760-rate3480-t00": 273,
+ "for-size10485760-rate3480-t01": 270,
+ "for-size10485760-rate3480-t02": 899,
+ "for-size10485760-rate3480-t03": 899,
+ "for-size10485760-rate3480-t04": 899,
+ "for-size10485760-rate3480-t05": 899,
+ "for-size10485760-rate3480-t06": 283,
+ "for-size10485760-rate3480-t07": 284,
+ "for-size10485760-rate3480-t08": 281,
+ "for-size10485760-rate3480-t09": 274,
+ "for-size10485760-rate3480-t10": 274,
+ "for-size10485760-rate6960-t00": 273,
+ "for-size10485760-rate6960-t01": 270,
+ "for-size10485760-rate6960-t02": 907,
+ "for-size10485760-rate6960-t03": 911,
+ "for-size10485760-rate6960-t04": 907,
+ "for-size10485760-rate6960-t05": 907,
+ "for-size10485760-rate6960-t06": 283,
+ "for-size10485760-rate6960-t07": 284,
+ "for-size10485760-rate6960-t08": 281,
+ "for-size10485760-rate6960-t09": 274,
+ "for-size10485760-rate6960-t10": 274,
+ "for-size10485760-rate858982973-t00": 273,
+ "for-size10485760-rate858982973-t01": 270,
+ "for-size10485760-rate858982973-t02": 1034,
+ "for-size10485760-rate858982973-t03": 1041,
+ "for-size10485760-rate858982973-t04": 1037,
+ "for-size10485760-rate858982973-t05": 1035,
+ "for-size10485760-rate858982973-t06": 283,
+ "for-size10485760-rate858982973-t07": 284,
+ "for-size10485760-rate858982973-t08": 281,
+ "for-size10485760-rate858982973-t09": 274,
+ "for-size10485760-rate858982973-t10": 274,
+ "for-size10485760-rate858982974-t00": 1063,
+ "for-size10485760-rate858982974-t01": 1063,
+ "for-size10485760-rate858982974-t02": 1063,
+ "for-size10485760-rate858982974-t03": 1067,
+ "for-size10485760-rate858982974-t04": 1055,
+ "for-size10485760-rate858982974-t05": 1063,
+ "for-size10485760-rate858982974-t06": 279,
+ "for-size10485760-rate858982974-t07": 280,
+ "for-size10485760-rate858982974-t08": 277,
+ "for-size10485760-rate858982974-t09": 270,
+ "for-size10485760-rate858982974-t10": 270,
+ "for-size10485761-rate0-t00": 261,
+ "for-size10485761-rate0-t01": 261,
+ "for-size10485761-rate0-t02": 261,
+ "for-size10485761-rate0-t03": 261,
+ "for-size10485761-rate0-t04": 261,
+ "for-size10485761-rate0-t05": 261,
+ "for-size10485761-rate0-t06": 261,
+ "for-size10485761-rate0-t07": 261,
+ "for-size10485761-rate0-t08": 261,
+ "for-size10485761-rate0-t09": 261,
+ "for-size10485761-rate0-t10": 261,
+ "for-size10485761-rate18446744073709551615-t00": 260,
+ "for-size10485761-rate18446744073709551615-t01": 260,
+ "for-size10485761-rate18446744073709551615-t02": 260,
+ "for-size10485761-rate18446744073709551615-t03": 260,
+ "for-size10485761-rate18446744073709551615-t04": 260,
+ "for-size10485761-rate18446744073709551615-t05": 260,
+ "for-size10485761-rate18446744073709551615-t06": 260,
+ "for-size10485761-rate18446744073709551615-t07": 260,
+ "for-size10485761-rate18446744073709551615-t08": 260,
+ "for-size10485761-rate18446744073709551615-t09": 260,
+ "for-size10485761-rate18446744073709551615-t10": 260,
+ "for-size10485761-rate3480-t00": 261,
+ "for-size10485761-rate3480-t01": 261,
+ "for-size10485761-rate3480-t02": 261,
+ "for-size10485761-rate3480-t03": 261,
+ "for-size10485761-rate3480-t04": 261,
+ "for-size10485761-rate3480-t05": 261,
+ "for-size10485761-rate3480-t06": 261,
+ "for-size10485761-rate3480-t07": 261,
+ "for-size10485761-rate3480-t08": 261,
+ "for-size10485761-rate3480-t09": 261,
+ "for-size10485761-rate3480-t10": 261,
+ "for-size10485761-rate6960-t00": 261,
+ "for-size10485761-rate6960-t01": 261,
+ "for-size10485761-rate6960-t02": 261,
+ "for-size10485761-rate6960-t03": 261,
+ "for-size10485761-rate6960-t04": 261,
+ "for-size10485761-rate6960-t05": 261,
+ "for-size10485761-rate6960-t06": 261,
+ "for-size10485761-rate6960-t07": 261,
+ "for-size10485761-rate6960-t08": 261,
+ "for-size10485761-rate6960-t09": 261,
+ "for-size10485761-rate6960-t10": 261,
+ "for-size165-rate0-t00": 273,
+ "for-size165-rate0-t01": 270,
+ "for-size165-rate0-t02": 282,
+ "for-size165-rate0-t03": 282,
+ "for-size165-rate0-t04": 282,
+ "for-size165-rate0-t05": 282,
+ "for-size165-rate0-t06": 282,
+ "for-size165-rate0-t07": 283,
+ "for-size165-rate0-t08": 281,
+ "for-size165-rate0-t09": 274,
+ "for-size165-rate0-t10": 274,
+ "for-size165-rate18446744073709551615-t00": 262,
+ "for-size165-rate18446744073709551615-t01": 262,
+ "for-size165-rate18446744073709551615-t02": 262,
+ "for-size165-rate18446744073709551615-t03": 262,
+ "for-size165-rate18446744073709551615-t04": 262,
+ "for-size165-rate18446744073709551615-t05": 262,
+ "for-size165-rate18446744073709551615-t06": 262,
+ "for-size165-rate18446744073709551615-t07": 262,
+ "for-size165-rate18446744073709551615-t08": 262,
+ "for-size165-rate18446744073709551615-t09": 262,
+ "for-size165-rate18446744073709551615-t10": 262,
+ "for-size165-rate30741294384781-t00": 273,
+ "for-size165-rate30741294384781-t01": 270,
+ "for-size165-rate30741294384781-t02": 1034,
+ "for-size165-rate30741294384781-t03": 1041,
+ "for-size165-rate30741294384781-t04": 1038,
+ "for-size165-rate30741294384781-t05": 1035,
+ "for-size165-rate30741294384781-t06": 283,
+ "for-size165-rate30741294384781-t07": 284,
+ "for-size165-rate30741294384781-t08": 281,
+ "for-size165-rate30741294384781-t09": 274,
+ "for-size165-rate30741294384781-t10": 274,
+ "for-size165-rate30741294384782-t00": 1043,
+ "for-size165-rate30741294384782-t01": 1043,
+ "for-size165-rate30741294384782-t02": 1043,
+ "for-size165-rate30741294384782-t03": 1051,
+ "for-size165-rate30741294384782-t04": 1040,
+ "for-size165-rate30741294384782-t05": 1043,
+ "for-size165-rate30741294384782-t06": 279,
+ "for-size165-rate30741294384782-t07": 280,
+ "for-size165-rate30741294384782-t08": 277,
+ "for-size165-rate30741294384782-t09": 270,
+ "for-size165-rate30741294384782-t10": 270,
+ "for-size165-rate3480-t00": 273,
+ "for-size165-rate3480-t01": 270,
+ "for-size165-rate3480-t02": 768,
+ "for-size165-rate3480-t03": 775,
+ "for-size165-rate3480-t04": 767,
+ "for-size165-rate3480-t05": 771,
+ "for-size165-rate3480-t06": 283,
+ "for-size165-rate3480-t07": 284,
+ "for-size165-rate3480-t08": 281,
+ "for-size165-rate3480-t09": 274,
+ "for-size165-rate3480-t10": 274,
+ "for-size165-rate62958170900032599-t00": 842,
+ "for-size165-rate62958170900032599-t01": 842,
+ "for-size165-rate62958170900032599-t02": 1054,
+ "for-size165-rate62958170900032599-t03": 1098,
+ "for-size165-rate62958170900032599-t04": 842,
+ "for-size165-rate62958170900032599-t05": 842,
+ "for-size165-rate62958170900032599-t06": 279,
+ "for-size165-rate62958170900032599-t07": 280,
+ "for-size165-rate62958170900032599-t08": 277,
+ "for-size165-rate62958170900032599-t09": 270,
+ "for-size165-rate62958170900032599-t10": 270,
+ "for-size165-rate62958170900032600-t00": 262,
+ "for-size165-rate62958170900032600-t01": 262,
+ "for-size165-rate62958170900032600-t02": 262,
+ "for-size165-rate62958170900032600-t03": 262,
+ "for-size165-rate62958170900032600-t04": 262,
+ "for-size165-rate62958170900032600-t05": 262,
+ "for-size165-rate62958170900032600-t06": 262,
+ "for-size165-rate62958170900032600-t07": 262,
+ "for-size165-rate62958170900032600-t08": 262,
+ "for-size165-rate62958170900032600-t09": 262,
+ "for-size165-rate62958170900032600-t10": 262,
+ "for-size165-rate6960-t00": 273,
+ "for-size165-rate6960-t01": 270,
+ "for-size165-rate6960-t02": 776,
+ "for-size165-rate6960-t03": 783,
+ "for-size165-rate6960-t04": 779,
+ "for-size165-rate6960-t05": 779,
+ "for-size165-rate6960-t06": 283,
+ "for-size165-rate6960-t07": 284,
+ "for-size165-rate6960-t08": 281,
+ "for-size165-rate6960-t09": 274,
+ "for-size165-rate6960-t10": 274,
+ "for-size18446744073709551615-rate0-t00": 261,
+ "for-size18446744073709551615-rate0-t01": 261,
+ "for-size18446744073709551615-rate0-t02": 261,
+ "for-size18446744073709551615-rate0-t03": 261,
+ "for-size18446744073709551615-rate0-t04": 261,
+ "for-size18446744073709551615-rate0-t05": 261,
+ "for-size18446744073709551615-rate0-t06": 261,
+ "for-size18446744073709551615-rate0-t07": 261,
+ "for-size18446744073709551615-rate0-t08": 261,
+ "for-size18446744073709551615-rate0-t09": 261,
+ "for-size18446744073709551615-rate0-t10": 261,
+ "for-size18446744073709551615-rate18446744073709551615-t00": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t01": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t02": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t03": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t04": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t05": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t06": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t07": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t08": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t09": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t10": 260,
+ "for-size18446744073709551615-rate3480-t00": 261,
+ "for-size18446744073709551615-rate3480-t01": 261,
+ "for-size18446744073709551615-rate3480-t02": 261,
+ "for-size18446744073709551615-rate3480-t03": 261,
+ "for-size18446744073709551615-rate3480-t04": 261,
+ "for-size18446744073709551615-rate3480-t05": 261,
+ "for-size18446744073709551615-rate3480-t06": 261,
+ "for-size18446744073709551615-rate3480-t07": 261,
+ "for-size18446744073709551615-rate3480-t08": 261,
+ "for-size18446744073709551615-rate3480-t09": 261,
+ "for-size18446744073709551615-rate3480-t10": 261,
+ "for-size18446744073709551615-rate6960-t00": 261,
+ "for-size18446744073709551615-rate6960-t01": 261,
+ "for-size18446744073709551615-rate6960-t02": 261,
+ "for-size18446744073709551615-rate6960-t03": 261,
+ "for-size18446744073709551615-rate6960-t04": 261,
+ "for-size18446744073709551615-rate6960-t05": 261,
+ "for-size18446744073709551615-rate6960-t06": 261,
+ "for-size18446744073709551615-rate6960-t07": 261,
+ "for-size18446744073709551615-rate6960-t08": 261,
+ "for-size18446744073709551615-rate6960-t09": 261,
+ "for-size18446744073709551615-rate6960-t10": 261,
+ "for-size82-rate0-t00": 273,
+ "for-size82-rate0-t01": 270,
+ "for-size82-rate0-t02": 282,
+ "for-size82-rate0-t03": 282,
+ "for-size82-rate0-t04": 282,
+ "for-size82-rate0-t05": 282,
+ "for-size82-rate0-t06": 282,
+ "for-size82-rate0-t07": 283,
+ "for-size82-rate0-t08": 281,
+ "for-size82-rate0-t09": 274,
+ "for-size82-rate0-t10": 274,
+ "for-size82-rate18446744073709551615-t00": 262,
+ "for-size82-rate18446744073709551615-t01": 262,
+ "for-size82-rate18446744073709551615-t02": 262,
+ "for-size82-rate18446744073709551615-t03": 262,
+ "for-size82-rate18446744073709551615-t04": 262,
+ "for-size82-rate18446744073709551615-t05": 262,
+ "for-size82-rate18446744073709551615-t06": 262,
+ "for-size82-rate18446744073709551615-t07": 262,
+ "for-size82-rate18446744073709551615-t08": 262,
+ "for-size82-rate18446744073709551615-t09": 262,
+ "for-size82-rate18446744073709551615-t10": 262,
+ "for-size82-rate3480-t00": 273,
+ "for-size82-rate3480-t01": 270,
+ "for-size82-rate3480-t02": 767,
+ "for-size82-rate3480-t03": 775,
+ "for-size82-rate3480-t04": 751,
+ "for-size82-rate3480-t05": 767,
+ "for-size82-rate3480-t06": 283,
+ "for-size82-rate3480-t07": 284,
+ "for-size82-rate3480-t08": 281,
+ "for-size82-rate3480-t09": 274,
+ "for-size82-rate3480-t10": 274,
+ "for-size82-rate42891425022576-t00": 273,
+ "for-size82-rate42891425022576-t01": 270,
+ "for-size82-rate42891425022576-t02": 1034,
+ "for-size82-rate42891425022576-t03": 1041,
+ "for-size82-rate42891425022576-t04": 1041,
+ "for-size82-rate42891425022576-t05": 1035,
+ "for-size82-rate42891425022576-t06": 283,
+ "for-size82-rate42891425022576-t07": 284,
+ "for-size82-rate42891425022576-t08": 281,
+ "for-size82-rate42891425022576-t09": 274,
+ "for-size82-rate42891425022576-t10": 274,
+ "for-size82-rate42891425022577-t00": 1043,
+ "for-size82-rate42891425022577-t01": 1043,
+ "for-size82-rate42891425022577-t02": 1043,
+ "for-size82-rate42891425022577-t03": 1051,
+ "for-size82-rate42891425022577-t04": 1043,
+ "for-size82-rate42891425022577-t05": 1043,
+ "for-size82-rate42891425022577-t06": 279,
+ "for-size82-rate42891425022577-t07": 280,
+ "for-size82-rate42891425022577-t08": 277,
+ "for-size82-rate42891425022577-t09": 270,
+ "for-size82-rate42891425022577-t10": 270,
+ "for-size82-rate6960-t00": 273,
+ "for-size82-rate6960-t01": 270,
+ "for-size82-rate6960-t02": 779,
+ "for-size82-rate6960-t03": 783,
+ "for-size82-rate6960-t04": 763,
+ "for-size82-rate6960-t05": 779,
+ "for-size82-rate6960-t06": 283,
+ "for-size82-rate6960-t07": 284,
+ "for-size82-rate6960-t08": 281,
+ "for-size82-rate6960-t09": 274,
+ "for-size82-rate6960-t10": 274,
+ "for-size82-rate87841638446235960-t00": 842,
+ "for-size82-rate87841638446235960-t01": 842,
+ "for-size82-rate87841638446235960-t02": 1054,
+ "for-size82-rate87841638446235960-t03": 1098,
+ "for-size82-rate87841638446235960-t04": 842,
+ "for-size82-rate87841638446235960-t05": 842,
+ "for-size82-rate87841638446235960-t06": 279,
+ "for-size82-rate87841638446235960-t07": 280,
+ "for-size82-rate87841638446235960-t08": 277,
+ "for-size82-rate87841638446235960-t09": 270,
+ "for-size82-rate87841638446235960-t10": 270,
+ "for-size82-rate87841638446235961-t00": 262,
+ "for-size82-rate87841638446235961-t01": 262,
+ "for-size82-rate87841638446235961-t02": 262,
+ "for-size82-rate87841638446235961-t03": 262,
+ "for-size82-rate87841638446235961-t04": 262,
+ "for-size82-rate87841638446235961-t05": 262,
+ "for-size82-rate87841638446235961-t06": 262,
+ "for-size82-rate87841638446235961-t07": 262,
+ "for-size82-rate87841638446235961-t08": 262,
+ "for-size82-rate87841638446235961-t09": 262,
+ "for-size82-rate87841638446235961-t10": 262,
+ "sysvar-size0": 399,
+ "sysvar-size10485760": 399,
+ "sysvar-size10485761": 387,
+ "sysvar-size165": 399
+ },
+ "before_main_939b215": {
+ "for-size0-rate0-t00": 276,
+ "for-size0-rate0-t01": 276,
+ "for-size0-rate0-t02": 276,
+ "for-size0-rate0-t03": 276,
+ "for-size0-rate0-t04": 276,
+ "for-size0-rate0-t05": 276,
+ "for-size0-rate0-t06": 276,
+ "for-size0-rate0-t07": 277,
+ "for-size0-rate0-t08": 274,
+ "for-size0-rate0-t09": 267,
+ "for-size0-rate0-t10": 267,
+ "for-size0-rate144115188075855871-t00": 838,
+ "for-size0-rate144115188075855871-t01": 838,
+ "for-size0-rate144115188075855871-t02": 1050,
+ "for-size0-rate144115188075855871-t03": 1094,
+ "for-size0-rate144115188075855871-t04": 838,
+ "for-size0-rate144115188075855871-t05": 838,
+ "for-size0-rate144115188075855871-t06": 277,
+ "for-size0-rate144115188075855871-t07": 278,
+ "for-size0-rate144115188075855871-t08": 274,
+ "for-size0-rate144115188075855871-t09": 267,
+ "for-size0-rate144115188075855871-t10": 267,
+ "for-size0-rate144115188075855872-t00": 262,
+ "for-size0-rate144115188075855872-t01": 262,
+ "for-size0-rate144115188075855872-t02": 262,
+ "for-size0-rate144115188075855872-t03": 262,
+ "for-size0-rate144115188075855872-t04": 262,
+ "for-size0-rate144115188075855872-t05": 262,
+ "for-size0-rate144115188075855872-t06": 262,
+ "for-size0-rate144115188075855872-t07": 262,
+ "for-size0-rate144115188075855872-t08": 262,
+ "for-size0-rate144115188075855872-t09": 262,
+ "for-size0-rate144115188075855872-t10": 262,
+ "for-size0-rate18446744073709551615-t00": 262,
+ "for-size0-rate18446744073709551615-t01": 262,
+ "for-size0-rate18446744073709551615-t02": 262,
+ "for-size0-rate18446744073709551615-t03": 262,
+ "for-size0-rate18446744073709551615-t04": 262,
+ "for-size0-rate18446744073709551615-t05": 262,
+ "for-size0-rate18446744073709551615-t06": 262,
+ "for-size0-rate18446744073709551615-t07": 262,
+ "for-size0-rate18446744073709551615-t08": 262,
+ "for-size0-rate18446744073709551615-t09": 262,
+ "for-size0-rate18446744073709551615-t10": 262,
+ "for-size0-rate3480-t00": 755,
+ "for-size0-rate3480-t01": 755,
+ "for-size0-rate3480-t02": 752,
+ "for-size0-rate3480-t03": 755,
+ "for-size0-rate3480-t04": 759,
+ "for-size0-rate3480-t05": 755,
+ "for-size0-rate3480-t06": 277,
+ "for-size0-rate3480-t07": 278,
+ "for-size0-rate3480-t08": 274,
+ "for-size0-rate3480-t09": 267,
+ "for-size0-rate3480-t10": 267,
+ "for-size0-rate6960-t00": 763,
+ "for-size0-rate6960-t01": 763,
+ "for-size0-rate6960-t02": 760,
+ "for-size0-rate6960-t03": 767,
+ "for-size0-rate6960-t04": 767,
+ "for-size0-rate6960-t05": 763,
+ "for-size0-rate6960-t06": 277,
+ "for-size0-rate6960-t07": 278,
+ "for-size0-rate6960-t08": 274,
+ "for-size0-rate6960-t09": 267,
+ "for-size0-rate6960-t10": 267,
+ "for-size0-rate70368744177663-t00": 1029,
+ "for-size0-rate70368744177663-t01": 1029,
+ "for-size0-rate70368744177663-t02": 1026,
+ "for-size0-rate70368744177663-t03": 1033,
+ "for-size0-rate70368744177663-t04": 1033,
+ "for-size0-rate70368744177663-t05": 1027,
+ "for-size0-rate70368744177663-t06": 277,
+ "for-size0-rate70368744177663-t07": 278,
+ "for-size0-rate70368744177663-t08": 274,
+ "for-size0-rate70368744177663-t09": 267,
+ "for-size0-rate70368744177663-t10": 267,
+ "for-size0-rate70368744177664-t00": 803,
+ "for-size0-rate70368744177664-t01": 803,
+ "for-size0-rate70368744177664-t02": 1015,
+ "for-size0-rate70368744177664-t03": 1059,
+ "for-size0-rate70368744177664-t04": 803,
+ "for-size0-rate70368744177664-t05": 803,
+ "for-size0-rate70368744177664-t06": 277,
+ "for-size0-rate70368744177664-t07": 278,
+ "for-size0-rate70368744177664-t08": 274,
+ "for-size0-rate70368744177664-t09": 267,
+ "for-size0-rate70368744177664-t10": 267,
+ "for-size10240-rate0-t00": 276,
+ "for-size10240-rate0-t01": 276,
+ "for-size10240-rate0-t02": 276,
+ "for-size10240-rate0-t03": 276,
+ "for-size10240-rate0-t04": 276,
+ "for-size10240-rate0-t05": 276,
+ "for-size10240-rate0-t06": 276,
+ "for-size10240-rate0-t07": 277,
+ "for-size10240-rate0-t08": 274,
+ "for-size10240-rate0-t09": 267,
+ "for-size10240-rate0-t10": 267,
+ "for-size10240-rate1779199852788344-t00": 841,
+ "for-size10240-rate1779199852788344-t01": 841,
+ "for-size10240-rate1779199852788344-t02": 1053,
+ "for-size10240-rate1779199852788344-t03": 1097,
+ "for-size10240-rate1779199852788344-t04": 841,
+ "for-size10240-rate1779199852788344-t05": 841,
+ "for-size10240-rate1779199852788344-t06": 277,
+ "for-size10240-rate1779199852788344-t07": 278,
+ "for-size10240-rate1779199852788344-t08": 274,
+ "for-size10240-rate1779199852788344-t09": 267,
+ "for-size10240-rate1779199852788344-t10": 267,
+ "for-size10240-rate1779199852788345-t00": 262,
+ "for-size10240-rate1779199852788345-t01": 262,
+ "for-size10240-rate1779199852788345-t02": 262,
+ "for-size10240-rate1779199852788345-t03": 262,
+ "for-size10240-rate1779199852788345-t04": 262,
+ "for-size10240-rate1779199852788345-t05": 262,
+ "for-size10240-rate1779199852788345-t06": 262,
+ "for-size10240-rate1779199852788345-t07": 262,
+ "for-size10240-rate1779199852788345-t08": 262,
+ "for-size10240-rate1779199852788345-t09": 262,
+ "for-size10240-rate1779199852788345-t10": 262,
+ "for-size10240-rate18446744073709551615-t00": 262,
+ "for-size10240-rate18446744073709551615-t01": 262,
+ "for-size10240-rate18446744073709551615-t02": 262,
+ "for-size10240-rate18446744073709551615-t03": 262,
+ "for-size10240-rate18446744073709551615-t04": 262,
+ "for-size10240-rate18446744073709551615-t05": 262,
+ "for-size10240-rate18446744073709551615-t06": 262,
+ "for-size10240-rate18446744073709551615-t07": 262,
+ "for-size10240-rate18446744073709551615-t08": 262,
+ "for-size10240-rate18446744073709551615-t09": 262,
+ "for-size10240-rate18446744073709551615-t10": 262,
+ "for-size10240-rate3480-t00": 811,
+ "for-size10240-rate3480-t01": 811,
+ "for-size10240-rate3480-t02": 811,
+ "for-size10240-rate3480-t03": 811,
+ "for-size10240-rate3480-t04": 811,
+ "for-size10240-rate3480-t05": 811,
+ "for-size10240-rate3480-t06": 277,
+ "for-size10240-rate3480-t07": 278,
+ "for-size10240-rate3480-t08": 274,
+ "for-size10240-rate3480-t09": 267,
+ "for-size10240-rate3480-t10": 267,
+ "for-size10240-rate6960-t00": 819,
+ "for-size10240-rate6960-t01": 819,
+ "for-size10240-rate6960-t02": 819,
+ "for-size10240-rate6960-t03": 823,
+ "for-size10240-rate6960-t04": 819,
+ "for-size10240-rate6960-t05": 819,
+ "for-size10240-rate6960-t06": 277,
+ "for-size10240-rate6960-t07": 278,
+ "for-size10240-rate6960-t08": 274,
+ "for-size10240-rate6960-t09": 267,
+ "for-size10240-rate6960-t10": 267,
+ "for-size10240-rate868749928119-t00": 1021,
+ "for-size10240-rate868749928119-t01": 1021,
+ "for-size10240-rate868749928119-t02": 1018,
+ "for-size10240-rate868749928119-t03": 1029,
+ "for-size10240-rate868749928119-t04": 1013,
+ "for-size10240-rate868749928119-t05": 1019,
+ "for-size10240-rate868749928119-t06": 277,
+ "for-size10240-rate868749928119-t07": 278,
+ "for-size10240-rate868749928119-t08": 274,
+ "for-size10240-rate868749928119-t09": 267,
+ "for-size10240-rate868749928119-t10": 267,
+ "for-size10240-rate868749928120-t00": 1059,
+ "for-size10240-rate868749928120-t01": 1059,
+ "for-size10240-rate868749928120-t02": 1059,
+ "for-size10240-rate868749928120-t03": 1063,
+ "for-size10240-rate868749928120-t04": 1047,
+ "for-size10240-rate868749928120-t05": 1059,
+ "for-size10240-rate868749928120-t06": 277,
+ "for-size10240-rate868749928120-t07": 278,
+ "for-size10240-rate868749928120-t08": 274,
+ "for-size10240-rate868749928120-t09": 267,
+ "for-size10240-rate868749928120-t10": 267,
+ "for-size10485760-rate0-t00": 276,
+ "for-size10485760-rate0-t01": 276,
+ "for-size10485760-rate0-t02": 276,
+ "for-size10485760-rate0-t03": 276,
+ "for-size10485760-rate0-t04": 276,
+ "for-size10485760-rate0-t05": 276,
+ "for-size10485760-rate0-t06": 276,
+ "for-size10485760-rate0-t07": 277,
+ "for-size10485760-rate0-t08": 274,
+ "for-size10485760-rate0-t09": 267,
+ "for-size10485760-rate0-t10": 267,
+ "for-size10485760-rate1759197129867-t00": 1096,
+ "for-size10485760-rate1759197129867-t01": 1096,
+ "for-size10485760-rate1759197129867-t02": 1093,
+ "for-size10485760-rate1759197129867-t03": 1096,
+ "for-size10485760-rate1759197129867-t04": 1097,
+ "for-size10485760-rate1759197129867-t05": 1096,
+ "for-size10485760-rate1759197129867-t06": 277,
+ "for-size10485760-rate1759197129867-t07": 278,
+ "for-size10485760-rate1759197129867-t08": 274,
+ "for-size10485760-rate1759197129867-t09": 267,
+ "for-size10485760-rate1759197129867-t10": 267,
+ "for-size10485760-rate1759197129868-t00": 262,
+ "for-size10485760-rate1759197129868-t01": 262,
+ "for-size10485760-rate1759197129868-t02": 262,
+ "for-size10485760-rate1759197129868-t03": 262,
+ "for-size10485760-rate1759197129868-t04": 262,
+ "for-size10485760-rate1759197129868-t05": 262,
+ "for-size10485760-rate1759197129868-t06": 262,
+ "for-size10485760-rate1759197129868-t07": 262,
+ "for-size10485760-rate1759197129868-t08": 262,
+ "for-size10485760-rate1759197129868-t09": 262,
+ "for-size10485760-rate1759197129868-t10": 262,
+ "for-size10485760-rate18446744073709551615-t00": 262,
+ "for-size10485760-rate18446744073709551615-t01": 262,
+ "for-size10485760-rate18446744073709551615-t02": 262,
+ "for-size10485760-rate18446744073709551615-t03": 262,
+ "for-size10485760-rate18446744073709551615-t04": 262,
+ "for-size10485760-rate18446744073709551615-t05": 262,
+ "for-size10485760-rate18446744073709551615-t06": 262,
+ "for-size10485760-rate18446744073709551615-t07": 262,
+ "for-size10485760-rate18446744073709551615-t08": 262,
+ "for-size10485760-rate18446744073709551615-t09": 262,
+ "for-size10485760-rate18446744073709551615-t10": 262,
+ "for-size10485760-rate3480-t00": 891,
+ "for-size10485760-rate3480-t01": 891,
+ "for-size10485760-rate3480-t02": 891,
+ "for-size10485760-rate3480-t03": 891,
+ "for-size10485760-rate3480-t04": 891,
+ "for-size10485760-rate3480-t05": 891,
+ "for-size10485760-rate3480-t06": 277,
+ "for-size10485760-rate3480-t07": 278,
+ "for-size10485760-rate3480-t08": 274,
+ "for-size10485760-rate3480-t09": 267,
+ "for-size10485760-rate3480-t10": 267,
+ "for-size10485760-rate6960-t00": 899,
+ "for-size10485760-rate6960-t01": 899,
+ "for-size10485760-rate6960-t02": 899,
+ "for-size10485760-rate6960-t03": 903,
+ "for-size10485760-rate6960-t04": 899,
+ "for-size10485760-rate6960-t05": 899,
+ "for-size10485760-rate6960-t06": 277,
+ "for-size10485760-rate6960-t07": 278,
+ "for-size10485760-rate6960-t08": 274,
+ "for-size10485760-rate6960-t09": 267,
+ "for-size10485760-rate6960-t10": 267,
+ "for-size10485760-rate858982973-t00": 1029,
+ "for-size10485760-rate858982973-t01": 1029,
+ "for-size10485760-rate858982973-t02": 1026,
+ "for-size10485760-rate858982973-t03": 1033,
+ "for-size10485760-rate858982973-t04": 1029,
+ "for-size10485760-rate858982973-t05": 1027,
+ "for-size10485760-rate858982973-t06": 277,
+ "for-size10485760-rate858982973-t07": 278,
+ "for-size10485760-rate858982973-t08": 274,
+ "for-size10485760-rate858982973-t09": 267,
+ "for-size10485760-rate858982973-t10": 267,
+ "for-size10485760-rate858982974-t00": 1059,
+ "for-size10485760-rate858982974-t01": 1059,
+ "for-size10485760-rate858982974-t02": 1059,
+ "for-size10485760-rate858982974-t03": 1063,
+ "for-size10485760-rate858982974-t04": 1051,
+ "for-size10485760-rate858982974-t05": 1059,
+ "for-size10485760-rate858982974-t06": 277,
+ "for-size10485760-rate858982974-t07": 278,
+ "for-size10485760-rate858982974-t08": 274,
+ "for-size10485760-rate858982974-t09": 267,
+ "for-size10485760-rate858982974-t10": 267,
+ "for-size10485761-rate0-t00": 261,
+ "for-size10485761-rate0-t01": 261,
+ "for-size10485761-rate0-t02": 261,
+ "for-size10485761-rate0-t03": 261,
+ "for-size10485761-rate0-t04": 261,
+ "for-size10485761-rate0-t05": 261,
+ "for-size10485761-rate0-t06": 261,
+ "for-size10485761-rate0-t07": 261,
+ "for-size10485761-rate0-t08": 261,
+ "for-size10485761-rate0-t09": 261,
+ "for-size10485761-rate0-t10": 261,
+ "for-size10485761-rate18446744073709551615-t00": 260,
+ "for-size10485761-rate18446744073709551615-t01": 260,
+ "for-size10485761-rate18446744073709551615-t02": 260,
+ "for-size10485761-rate18446744073709551615-t03": 260,
+ "for-size10485761-rate18446744073709551615-t04": 260,
+ "for-size10485761-rate18446744073709551615-t05": 260,
+ "for-size10485761-rate18446744073709551615-t06": 260,
+ "for-size10485761-rate18446744073709551615-t07": 260,
+ "for-size10485761-rate18446744073709551615-t08": 260,
+ "for-size10485761-rate18446744073709551615-t09": 260,
+ "for-size10485761-rate18446744073709551615-t10": 260,
+ "for-size10485761-rate3480-t00": 261,
+ "for-size10485761-rate3480-t01": 261,
+ "for-size10485761-rate3480-t02": 261,
+ "for-size10485761-rate3480-t03": 261,
+ "for-size10485761-rate3480-t04": 261,
+ "for-size10485761-rate3480-t05": 261,
+ "for-size10485761-rate3480-t06": 261,
+ "for-size10485761-rate3480-t07": 261,
+ "for-size10485761-rate3480-t08": 261,
+ "for-size10485761-rate3480-t09": 261,
+ "for-size10485761-rate3480-t10": 261,
+ "for-size10485761-rate6960-t00": 261,
+ "for-size10485761-rate6960-t01": 261,
+ "for-size10485761-rate6960-t02": 261,
+ "for-size10485761-rate6960-t03": 261,
+ "for-size10485761-rate6960-t04": 261,
+ "for-size10485761-rate6960-t05": 261,
+ "for-size10485761-rate6960-t06": 261,
+ "for-size10485761-rate6960-t07": 261,
+ "for-size10485761-rate6960-t08": 261,
+ "for-size10485761-rate6960-t09": 261,
+ "for-size10485761-rate6960-t10": 261,
+ "for-size165-rate0-t00": 276,
+ "for-size165-rate0-t01": 276,
+ "for-size165-rate0-t02": 276,
+ "for-size165-rate0-t03": 276,
+ "for-size165-rate0-t04": 276,
+ "for-size165-rate0-t05": 276,
+ "for-size165-rate0-t06": 276,
+ "for-size165-rate0-t07": 277,
+ "for-size165-rate0-t08": 274,
+ "for-size165-rate0-t09": 267,
+ "for-size165-rate0-t10": 267,
+ "for-size165-rate18446744073709551615-t00": 262,
+ "for-size165-rate18446744073709551615-t01": 262,
+ "for-size165-rate18446744073709551615-t02": 262,
+ "for-size165-rate18446744073709551615-t03": 262,
+ "for-size165-rate18446744073709551615-t04": 262,
+ "for-size165-rate18446744073709551615-t05": 262,
+ "for-size165-rate18446744073709551615-t06": 262,
+ "for-size165-rate18446744073709551615-t07": 262,
+ "for-size165-rate18446744073709551615-t08": 262,
+ "for-size165-rate18446744073709551615-t09": 262,
+ "for-size165-rate18446744073709551615-t10": 262,
+ "for-size165-rate30741294384781-t00": 1029,
+ "for-size165-rate30741294384781-t01": 1029,
+ "for-size165-rate30741294384781-t02": 1026,
+ "for-size165-rate30741294384781-t03": 1033,
+ "for-size165-rate30741294384781-t04": 1030,
+ "for-size165-rate30741294384781-t05": 1027,
+ "for-size165-rate30741294384781-t06": 277,
+ "for-size165-rate30741294384781-t07": 278,
+ "for-size165-rate30741294384781-t08": 274,
+ "for-size165-rate30741294384781-t09": 267,
+ "for-size165-rate30741294384781-t10": 267,
+ "for-size165-rate30741294384782-t00": 1039,
+ "for-size165-rate30741294384782-t01": 1039,
+ "for-size165-rate30741294384782-t02": 1039,
+ "for-size165-rate30741294384782-t03": 1047,
+ "for-size165-rate30741294384782-t04": 1036,
+ "for-size165-rate30741294384782-t05": 1039,
+ "for-size165-rate30741294384782-t06": 277,
+ "for-size165-rate30741294384782-t07": 278,
+ "for-size165-rate30741294384782-t08": 274,
+ "for-size165-rate30741294384782-t09": 267,
+ "for-size165-rate30741294384782-t10": 267,
+ "for-size165-rate3480-t00": 763,
+ "for-size165-rate3480-t01": 763,
+ "for-size165-rate3480-t02": 760,
+ "for-size165-rate3480-t03": 767,
+ "for-size165-rate3480-t04": 759,
+ "for-size165-rate3480-t05": 763,
+ "for-size165-rate3480-t06": 277,
+ "for-size165-rate3480-t07": 278,
+ "for-size165-rate3480-t08": 274,
+ "for-size165-rate3480-t09": 267,
+ "for-size165-rate3480-t10": 267,
+ "for-size165-rate62958170900032599-t00": 838,
+ "for-size165-rate62958170900032599-t01": 838,
+ "for-size165-rate62958170900032599-t02": 1050,
+ "for-size165-rate62958170900032599-t03": 1094,
+ "for-size165-rate62958170900032599-t04": 838,
+ "for-size165-rate62958170900032599-t05": 838,
+ "for-size165-rate62958170900032599-t06": 277,
+ "for-size165-rate62958170900032599-t07": 278,
+ "for-size165-rate62958170900032599-t08": 274,
+ "for-size165-rate62958170900032599-t09": 267,
+ "for-size165-rate62958170900032599-t10": 267,
+ "for-size165-rate62958170900032600-t00": 262,
+ "for-size165-rate62958170900032600-t01": 262,
+ "for-size165-rate62958170900032600-t02": 262,
+ "for-size165-rate62958170900032600-t03": 262,
+ "for-size165-rate62958170900032600-t04": 262,
+ "for-size165-rate62958170900032600-t05": 262,
+ "for-size165-rate62958170900032600-t06": 262,
+ "for-size165-rate62958170900032600-t07": 262,
+ "for-size165-rate62958170900032600-t08": 262,
+ "for-size165-rate62958170900032600-t09": 262,
+ "for-size165-rate62958170900032600-t10": 262,
+ "for-size165-rate6960-t00": 771,
+ "for-size165-rate6960-t01": 771,
+ "for-size165-rate6960-t02": 768,
+ "for-size165-rate6960-t03": 775,
+ "for-size165-rate6960-t04": 771,
+ "for-size165-rate6960-t05": 771,
+ "for-size165-rate6960-t06": 277,
+ "for-size165-rate6960-t07": 278,
+ "for-size165-rate6960-t08": 274,
+ "for-size165-rate6960-t09": 267,
+ "for-size165-rate6960-t10": 267,
+ "for-size18446744073709551615-rate0-t00": 261,
+ "for-size18446744073709551615-rate0-t01": 261,
+ "for-size18446744073709551615-rate0-t02": 261,
+ "for-size18446744073709551615-rate0-t03": 261,
+ "for-size18446744073709551615-rate0-t04": 261,
+ "for-size18446744073709551615-rate0-t05": 261,
+ "for-size18446744073709551615-rate0-t06": 261,
+ "for-size18446744073709551615-rate0-t07": 261,
+ "for-size18446744073709551615-rate0-t08": 261,
+ "for-size18446744073709551615-rate0-t09": 261,
+ "for-size18446744073709551615-rate0-t10": 261,
+ "for-size18446744073709551615-rate18446744073709551615-t00": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t01": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t02": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t03": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t04": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t05": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t06": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t07": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t08": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t09": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t10": 260,
+ "for-size18446744073709551615-rate3480-t00": 261,
+ "for-size18446744073709551615-rate3480-t01": 261,
+ "for-size18446744073709551615-rate3480-t02": 261,
+ "for-size18446744073709551615-rate3480-t03": 261,
+ "for-size18446744073709551615-rate3480-t04": 261,
+ "for-size18446744073709551615-rate3480-t05": 261,
+ "for-size18446744073709551615-rate3480-t06": 261,
+ "for-size18446744073709551615-rate3480-t07": 261,
+ "for-size18446744073709551615-rate3480-t08": 261,
+ "for-size18446744073709551615-rate3480-t09": 261,
+ "for-size18446744073709551615-rate3480-t10": 261,
+ "for-size18446744073709551615-rate6960-t00": 261,
+ "for-size18446744073709551615-rate6960-t01": 261,
+ "for-size18446744073709551615-rate6960-t02": 261,
+ "for-size18446744073709551615-rate6960-t03": 261,
+ "for-size18446744073709551615-rate6960-t04": 261,
+ "for-size18446744073709551615-rate6960-t05": 261,
+ "for-size18446744073709551615-rate6960-t06": 261,
+ "for-size18446744073709551615-rate6960-t07": 261,
+ "for-size18446744073709551615-rate6960-t08": 261,
+ "for-size18446744073709551615-rate6960-t09": 261,
+ "for-size18446744073709551615-rate6960-t10": 261,
+ "for-size82-rate0-t00": 276,
+ "for-size82-rate0-t01": 276,
+ "for-size82-rate0-t02": 276,
+ "for-size82-rate0-t03": 276,
+ "for-size82-rate0-t04": 276,
+ "for-size82-rate0-t05": 276,
+ "for-size82-rate0-t06": 276,
+ "for-size82-rate0-t07": 277,
+ "for-size82-rate0-t08": 274,
+ "for-size82-rate0-t09": 267,
+ "for-size82-rate0-t10": 267,
+ "for-size82-rate18446744073709551615-t00": 262,
+ "for-size82-rate18446744073709551615-t01": 262,
+ "for-size82-rate18446744073709551615-t02": 262,
+ "for-size82-rate18446744073709551615-t03": 262,
+ "for-size82-rate18446744073709551615-t04": 262,
+ "for-size82-rate18446744073709551615-t05": 262,
+ "for-size82-rate18446744073709551615-t06": 262,
+ "for-size82-rate18446744073709551615-t07": 262,
+ "for-size82-rate18446744073709551615-t08": 262,
+ "for-size82-rate18446744073709551615-t09": 262,
+ "for-size82-rate18446744073709551615-t10": 262,
+ "for-size82-rate3480-t00": 759,
+ "for-size82-rate3480-t01": 759,
+ "for-size82-rate3480-t02": 759,
+ "for-size82-rate3480-t03": 767,
+ "for-size82-rate3480-t04": 743,
+ "for-size82-rate3480-t05": 759,
+ "for-size82-rate3480-t06": 277,
+ "for-size82-rate3480-t07": 278,
+ "for-size82-rate3480-t08": 274,
+ "for-size82-rate3480-t09": 267,
+ "for-size82-rate3480-t10": 267,
+ "for-size82-rate42891425022576-t00": 1029,
+ "for-size82-rate42891425022576-t01": 1029,
+ "for-size82-rate42891425022576-t02": 1026,
+ "for-size82-rate42891425022576-t03": 1033,
+ "for-size82-rate42891425022576-t04": 1033,
+ "for-size82-rate42891425022576-t05": 1027,
+ "for-size82-rate42891425022576-t06": 277,
+ "for-size82-rate42891425022576-t07": 278,
+ "for-size82-rate42891425022576-t08": 274,
+ "for-size82-rate42891425022576-t09": 267,
+ "for-size82-rate42891425022576-t10": 267,
+ "for-size82-rate42891425022577-t00": 1039,
+ "for-size82-rate42891425022577-t01": 1039,
+ "for-size82-rate42891425022577-t02": 1039,
+ "for-size82-rate42891425022577-t03": 1047,
+ "for-size82-rate42891425022577-t04": 1039,
+ "for-size82-rate42891425022577-t05": 1039,
+ "for-size82-rate42891425022577-t06": 277,
+ "for-size82-rate42891425022577-t07": 278,
+ "for-size82-rate42891425022577-t08": 274,
+ "for-size82-rate42891425022577-t09": 267,
+ "for-size82-rate42891425022577-t10": 267,
+ "for-size82-rate6960-t00": 771,
+ "for-size82-rate6960-t01": 771,
+ "for-size82-rate6960-t02": 771,
+ "for-size82-rate6960-t03": 775,
+ "for-size82-rate6960-t04": 755,
+ "for-size82-rate6960-t05": 771,
+ "for-size82-rate6960-t06": 277,
+ "for-size82-rate6960-t07": 278,
+ "for-size82-rate6960-t08": 274,
+ "for-size82-rate6960-t09": 267,
+ "for-size82-rate6960-t10": 267,
+ "for-size82-rate87841638446235960-t00": 838,
+ "for-size82-rate87841638446235960-t01": 838,
+ "for-size82-rate87841638446235960-t02": 1050,
+ "for-size82-rate87841638446235960-t03": 1094,
+ "for-size82-rate87841638446235960-t04": 838,
+ "for-size82-rate87841638446235960-t05": 838,
+ "for-size82-rate87841638446235960-t06": 277,
+ "for-size82-rate87841638446235960-t07": 278,
+ "for-size82-rate87841638446235960-t08": 274,
+ "for-size82-rate87841638446235960-t09": 267,
+ "for-size82-rate87841638446235960-t10": 267,
+ "for-size82-rate87841638446235961-t00": 262,
+ "for-size82-rate87841638446235961-t01": 262,
+ "for-size82-rate87841638446235961-t02": 262,
+ "for-size82-rate87841638446235961-t03": 262,
+ "for-size82-rate87841638446235961-t04": 262,
+ "for-size82-rate87841638446235961-t05": 262,
+ "for-size82-rate87841638446235961-t06": 262,
+ "for-size82-rate87841638446235961-t07": 262,
+ "for-size82-rate87841638446235961-t08": 262,
+ "for-size82-rate87841638446235961-t09": 262,
+ "for-size82-rate87841638446235961-t10": 262,
+ "sysvar-size0": 881,
+ "sysvar-size10485760": 1017,
+ "sysvar-size10485761": 387,
+ "sysvar-size165": 889
+ },
+ "profile": "fogo-v0"
+}
diff --git a/results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json b/results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json
new file mode 100644
index 00000000..f1872419
--- /dev/null
+++ b/results/sdk/2026-10-19-rent-fast-path/solana-v3-cu.json
@@ -0,0 +1,1071 @@
+{
+ "after": {
+ "for-size0-rate0-t00": 273,
+ "for-size0-rate0-t01": 270,
+ "for-size0-rate0-t02": 282,
+ "for-size0-rate0-t03": 282,
+ "for-size0-rate0-t04": 282,
+ "for-size0-rate0-t05": 282,
+ "for-size0-rate0-t06": 282,
+ "for-size0-rate0-t07": 283,
+ "for-size0-rate0-t08": 281,
+ "for-size0-rate0-t09": 274,
+ "for-size0-rate0-t10": 274,
+ "for-size0-rate144115188075855871-t00": 842,
+ "for-size0-rate144115188075855871-t01": 842,
+ "for-size0-rate144115188075855871-t02": 1054,
+ "for-size0-rate144115188075855871-t03": 1098,
+ "for-size0-rate144115188075855871-t04": 842,
+ "for-size0-rate144115188075855871-t05": 842,
+ "for-size0-rate144115188075855871-t06": 279,
+ "for-size0-rate144115188075855871-t07": 280,
+ "for-size0-rate144115188075855871-t08": 277,
+ "for-size0-rate144115188075855871-t09": 270,
+ "for-size0-rate144115188075855871-t10": 270,
+ "for-size0-rate144115188075855872-t00": 262,
+ "for-size0-rate144115188075855872-t01": 262,
+ "for-size0-rate144115188075855872-t02": 262,
+ "for-size0-rate144115188075855872-t03": 262,
+ "for-size0-rate144115188075855872-t04": 262,
+ "for-size0-rate144115188075855872-t05": 262,
+ "for-size0-rate144115188075855872-t06": 262,
+ "for-size0-rate144115188075855872-t07": 262,
+ "for-size0-rate144115188075855872-t08": 262,
+ "for-size0-rate144115188075855872-t09": 262,
+ "for-size0-rate144115188075855872-t10": 262,
+ "for-size0-rate18446744073709551615-t00": 262,
+ "for-size0-rate18446744073709551615-t01": 262,
+ "for-size0-rate18446744073709551615-t02": 262,
+ "for-size0-rate18446744073709551615-t03": 262,
+ "for-size0-rate18446744073709551615-t04": 262,
+ "for-size0-rate18446744073709551615-t05": 262,
+ "for-size0-rate18446744073709551615-t06": 262,
+ "for-size0-rate18446744073709551615-t07": 262,
+ "for-size0-rate18446744073709551615-t08": 262,
+ "for-size0-rate18446744073709551615-t09": 262,
+ "for-size0-rate18446744073709551615-t10": 262,
+ "for-size0-rate3480-t00": 273,
+ "for-size0-rate3480-t01": 270,
+ "for-size0-rate3480-t02": 760,
+ "for-size0-rate3480-t03": 763,
+ "for-size0-rate3480-t04": 767,
+ "for-size0-rate3480-t05": 763,
+ "for-size0-rate3480-t06": 283,
+ "for-size0-rate3480-t07": 284,
+ "for-size0-rate3480-t08": 281,
+ "for-size0-rate3480-t09": 274,
+ "for-size0-rate3480-t10": 274,
+ "for-size0-rate6960-t00": 273,
+ "for-size0-rate6960-t01": 270,
+ "for-size0-rate6960-t02": 768,
+ "for-size0-rate6960-t03": 775,
+ "for-size0-rate6960-t04": 775,
+ "for-size0-rate6960-t05": 771,
+ "for-size0-rate6960-t06": 283,
+ "for-size0-rate6960-t07": 284,
+ "for-size0-rate6960-t08": 281,
+ "for-size0-rate6960-t09": 274,
+ "for-size0-rate6960-t10": 274,
+ "for-size0-rate70368744177663-t00": 273,
+ "for-size0-rate70368744177663-t01": 270,
+ "for-size0-rate70368744177663-t02": 1034,
+ "for-size0-rate70368744177663-t03": 1041,
+ "for-size0-rate70368744177663-t04": 1041,
+ "for-size0-rate70368744177663-t05": 1035,
+ "for-size0-rate70368744177663-t06": 283,
+ "for-size0-rate70368744177663-t07": 284,
+ "for-size0-rate70368744177663-t08": 281,
+ "for-size0-rate70368744177663-t09": 274,
+ "for-size0-rate70368744177663-t10": 274,
+ "for-size0-rate70368744177664-t00": 807,
+ "for-size0-rate70368744177664-t01": 807,
+ "for-size0-rate70368744177664-t02": 1019,
+ "for-size0-rate70368744177664-t03": 1063,
+ "for-size0-rate70368744177664-t04": 807,
+ "for-size0-rate70368744177664-t05": 807,
+ "for-size0-rate70368744177664-t06": 279,
+ "for-size0-rate70368744177664-t07": 280,
+ "for-size0-rate70368744177664-t08": 277,
+ "for-size0-rate70368744177664-t09": 270,
+ "for-size0-rate70368744177664-t10": 270,
+ "for-size10240-rate0-t00": 273,
+ "for-size10240-rate0-t01": 270,
+ "for-size10240-rate0-t02": 282,
+ "for-size10240-rate0-t03": 282,
+ "for-size10240-rate0-t04": 282,
+ "for-size10240-rate0-t05": 282,
+ "for-size10240-rate0-t06": 282,
+ "for-size10240-rate0-t07": 283,
+ "for-size10240-rate0-t08": 281,
+ "for-size10240-rate0-t09": 274,
+ "for-size10240-rate0-t10": 274,
+ "for-size10240-rate1779199852788344-t00": 845,
+ "for-size10240-rate1779199852788344-t01": 845,
+ "for-size10240-rate1779199852788344-t02": 1057,
+ "for-size10240-rate1779199852788344-t03": 1101,
+ "for-size10240-rate1779199852788344-t04": 845,
+ "for-size10240-rate1779199852788344-t05": 845,
+ "for-size10240-rate1779199852788344-t06": 279,
+ "for-size10240-rate1779199852788344-t07": 280,
+ "for-size10240-rate1779199852788344-t08": 277,
+ "for-size10240-rate1779199852788344-t09": 270,
+ "for-size10240-rate1779199852788344-t10": 270,
+ "for-size10240-rate1779199852788345-t00": 262,
+ "for-size10240-rate1779199852788345-t01": 262,
+ "for-size10240-rate1779199852788345-t02": 262,
+ "for-size10240-rate1779199852788345-t03": 262,
+ "for-size10240-rate1779199852788345-t04": 262,
+ "for-size10240-rate1779199852788345-t05": 262,
+ "for-size10240-rate1779199852788345-t06": 262,
+ "for-size10240-rate1779199852788345-t07": 262,
+ "for-size10240-rate1779199852788345-t08": 262,
+ "for-size10240-rate1779199852788345-t09": 262,
+ "for-size10240-rate1779199852788345-t10": 262,
+ "for-size10240-rate18446744073709551615-t00": 262,
+ "for-size10240-rate18446744073709551615-t01": 262,
+ "for-size10240-rate18446744073709551615-t02": 262,
+ "for-size10240-rate18446744073709551615-t03": 262,
+ "for-size10240-rate18446744073709551615-t04": 262,
+ "for-size10240-rate18446744073709551615-t05": 262,
+ "for-size10240-rate18446744073709551615-t06": 262,
+ "for-size10240-rate18446744073709551615-t07": 262,
+ "for-size10240-rate18446744073709551615-t08": 262,
+ "for-size10240-rate18446744073709551615-t09": 262,
+ "for-size10240-rate18446744073709551615-t10": 262,
+ "for-size10240-rate3480-t00": 273,
+ "for-size10240-rate3480-t01": 270,
+ "for-size10240-rate3480-t02": 819,
+ "for-size10240-rate3480-t03": 819,
+ "for-size10240-rate3480-t04": 819,
+ "for-size10240-rate3480-t05": 819,
+ "for-size10240-rate3480-t06": 283,
+ "for-size10240-rate3480-t07": 284,
+ "for-size10240-rate3480-t08": 281,
+ "for-size10240-rate3480-t09": 274,
+ "for-size10240-rate3480-t10": 274,
+ "for-size10240-rate6960-t00": 273,
+ "for-size10240-rate6960-t01": 270,
+ "for-size10240-rate6960-t02": 827,
+ "for-size10240-rate6960-t03": 831,
+ "for-size10240-rate6960-t04": 827,
+ "for-size10240-rate6960-t05": 827,
+ "for-size10240-rate6960-t06": 283,
+ "for-size10240-rate6960-t07": 284,
+ "for-size10240-rate6960-t08": 281,
+ "for-size10240-rate6960-t09": 274,
+ "for-size10240-rate6960-t10": 274,
+ "for-size10240-rate868749928119-t00": 273,
+ "for-size10240-rate868749928119-t01": 270,
+ "for-size10240-rate868749928119-t02": 1026,
+ "for-size10240-rate868749928119-t03": 1037,
+ "for-size10240-rate868749928119-t04": 1021,
+ "for-size10240-rate868749928119-t05": 1027,
+ "for-size10240-rate868749928119-t06": 283,
+ "for-size10240-rate868749928119-t07": 284,
+ "for-size10240-rate868749928119-t08": 281,
+ "for-size10240-rate868749928119-t09": 274,
+ "for-size10240-rate868749928119-t10": 274,
+ "for-size10240-rate868749928120-t00": 1063,
+ "for-size10240-rate868749928120-t01": 1063,
+ "for-size10240-rate868749928120-t02": 1063,
+ "for-size10240-rate868749928120-t03": 1067,
+ "for-size10240-rate868749928120-t04": 1051,
+ "for-size10240-rate868749928120-t05": 1063,
+ "for-size10240-rate868749928120-t06": 279,
+ "for-size10240-rate868749928120-t07": 280,
+ "for-size10240-rate868749928120-t08": 277,
+ "for-size10240-rate868749928120-t09": 270,
+ "for-size10240-rate868749928120-t10": 270,
+ "for-size10485760-rate0-t00": 273,
+ "for-size10485760-rate0-t01": 270,
+ "for-size10485760-rate0-t02": 282,
+ "for-size10485760-rate0-t03": 282,
+ "for-size10485760-rate0-t04": 282,
+ "for-size10485760-rate0-t05": 282,
+ "for-size10485760-rate0-t06": 282,
+ "for-size10485760-rate0-t07": 283,
+ "for-size10485760-rate0-t08": 281,
+ "for-size10485760-rate0-t09": 274,
+ "for-size10485760-rate0-t10": 274,
+ "for-size10485760-rate1759197129867-t00": 1100,
+ "for-size10485760-rate1759197129867-t01": 1100,
+ "for-size10485760-rate1759197129867-t02": 1097,
+ "for-size10485760-rate1759197129867-t03": 1100,
+ "for-size10485760-rate1759197129867-t04": 1101,
+ "for-size10485760-rate1759197129867-t05": 1100,
+ "for-size10485760-rate1759197129867-t06": 279,
+ "for-size10485760-rate1759197129867-t07": 280,
+ "for-size10485760-rate1759197129867-t08": 277,
+ "for-size10485760-rate1759197129867-t09": 270,
+ "for-size10485760-rate1759197129867-t10": 270,
+ "for-size10485760-rate1759197129868-t00": 262,
+ "for-size10485760-rate1759197129868-t01": 262,
+ "for-size10485760-rate1759197129868-t02": 262,
+ "for-size10485760-rate1759197129868-t03": 262,
+ "for-size10485760-rate1759197129868-t04": 262,
+ "for-size10485760-rate1759197129868-t05": 262,
+ "for-size10485760-rate1759197129868-t06": 262,
+ "for-size10485760-rate1759197129868-t07": 262,
+ "for-size10485760-rate1759197129868-t08": 262,
+ "for-size10485760-rate1759197129868-t09": 262,
+ "for-size10485760-rate1759197129868-t10": 262,
+ "for-size10485760-rate18446744073709551615-t00": 262,
+ "for-size10485760-rate18446744073709551615-t01": 262,
+ "for-size10485760-rate18446744073709551615-t02": 262,
+ "for-size10485760-rate18446744073709551615-t03": 262,
+ "for-size10485760-rate18446744073709551615-t04": 262,
+ "for-size10485760-rate18446744073709551615-t05": 262,
+ "for-size10485760-rate18446744073709551615-t06": 262,
+ "for-size10485760-rate18446744073709551615-t07": 262,
+ "for-size10485760-rate18446744073709551615-t08": 262,
+ "for-size10485760-rate18446744073709551615-t09": 262,
+ "for-size10485760-rate18446744073709551615-t10": 262,
+ "for-size10485760-rate3480-t00": 273,
+ "for-size10485760-rate3480-t01": 270,
+ "for-size10485760-rate3480-t02": 899,
+ "for-size10485760-rate3480-t03": 899,
+ "for-size10485760-rate3480-t04": 899,
+ "for-size10485760-rate3480-t05": 899,
+ "for-size10485760-rate3480-t06": 283,
+ "for-size10485760-rate3480-t07": 284,
+ "for-size10485760-rate3480-t08": 281,
+ "for-size10485760-rate3480-t09": 274,
+ "for-size10485760-rate3480-t10": 274,
+ "for-size10485760-rate6960-t00": 273,
+ "for-size10485760-rate6960-t01": 270,
+ "for-size10485760-rate6960-t02": 907,
+ "for-size10485760-rate6960-t03": 911,
+ "for-size10485760-rate6960-t04": 907,
+ "for-size10485760-rate6960-t05": 907,
+ "for-size10485760-rate6960-t06": 283,
+ "for-size10485760-rate6960-t07": 284,
+ "for-size10485760-rate6960-t08": 281,
+ "for-size10485760-rate6960-t09": 274,
+ "for-size10485760-rate6960-t10": 274,
+ "for-size10485760-rate858982973-t00": 273,
+ "for-size10485760-rate858982973-t01": 270,
+ "for-size10485760-rate858982973-t02": 1034,
+ "for-size10485760-rate858982973-t03": 1041,
+ "for-size10485760-rate858982973-t04": 1037,
+ "for-size10485760-rate858982973-t05": 1035,
+ "for-size10485760-rate858982973-t06": 283,
+ "for-size10485760-rate858982973-t07": 284,
+ "for-size10485760-rate858982973-t08": 281,
+ "for-size10485760-rate858982973-t09": 274,
+ "for-size10485760-rate858982973-t10": 274,
+ "for-size10485760-rate858982974-t00": 1063,
+ "for-size10485760-rate858982974-t01": 1063,
+ "for-size10485760-rate858982974-t02": 1063,
+ "for-size10485760-rate858982974-t03": 1067,
+ "for-size10485760-rate858982974-t04": 1055,
+ "for-size10485760-rate858982974-t05": 1063,
+ "for-size10485760-rate858982974-t06": 279,
+ "for-size10485760-rate858982974-t07": 280,
+ "for-size10485760-rate858982974-t08": 277,
+ "for-size10485760-rate858982974-t09": 270,
+ "for-size10485760-rate858982974-t10": 270,
+ "for-size10485761-rate0-t00": 261,
+ "for-size10485761-rate0-t01": 261,
+ "for-size10485761-rate0-t02": 261,
+ "for-size10485761-rate0-t03": 261,
+ "for-size10485761-rate0-t04": 261,
+ "for-size10485761-rate0-t05": 261,
+ "for-size10485761-rate0-t06": 261,
+ "for-size10485761-rate0-t07": 261,
+ "for-size10485761-rate0-t08": 261,
+ "for-size10485761-rate0-t09": 261,
+ "for-size10485761-rate0-t10": 261,
+ "for-size10485761-rate18446744073709551615-t00": 260,
+ "for-size10485761-rate18446744073709551615-t01": 260,
+ "for-size10485761-rate18446744073709551615-t02": 260,
+ "for-size10485761-rate18446744073709551615-t03": 260,
+ "for-size10485761-rate18446744073709551615-t04": 260,
+ "for-size10485761-rate18446744073709551615-t05": 260,
+ "for-size10485761-rate18446744073709551615-t06": 260,
+ "for-size10485761-rate18446744073709551615-t07": 260,
+ "for-size10485761-rate18446744073709551615-t08": 260,
+ "for-size10485761-rate18446744073709551615-t09": 260,
+ "for-size10485761-rate18446744073709551615-t10": 260,
+ "for-size10485761-rate3480-t00": 261,
+ "for-size10485761-rate3480-t01": 261,
+ "for-size10485761-rate3480-t02": 261,
+ "for-size10485761-rate3480-t03": 261,
+ "for-size10485761-rate3480-t04": 261,
+ "for-size10485761-rate3480-t05": 261,
+ "for-size10485761-rate3480-t06": 261,
+ "for-size10485761-rate3480-t07": 261,
+ "for-size10485761-rate3480-t08": 261,
+ "for-size10485761-rate3480-t09": 261,
+ "for-size10485761-rate3480-t10": 261,
+ "for-size10485761-rate6960-t00": 261,
+ "for-size10485761-rate6960-t01": 261,
+ "for-size10485761-rate6960-t02": 261,
+ "for-size10485761-rate6960-t03": 261,
+ "for-size10485761-rate6960-t04": 261,
+ "for-size10485761-rate6960-t05": 261,
+ "for-size10485761-rate6960-t06": 261,
+ "for-size10485761-rate6960-t07": 261,
+ "for-size10485761-rate6960-t08": 261,
+ "for-size10485761-rate6960-t09": 261,
+ "for-size10485761-rate6960-t10": 261,
+ "for-size165-rate0-t00": 273,
+ "for-size165-rate0-t01": 270,
+ "for-size165-rate0-t02": 282,
+ "for-size165-rate0-t03": 282,
+ "for-size165-rate0-t04": 282,
+ "for-size165-rate0-t05": 282,
+ "for-size165-rate0-t06": 282,
+ "for-size165-rate0-t07": 283,
+ "for-size165-rate0-t08": 281,
+ "for-size165-rate0-t09": 274,
+ "for-size165-rate0-t10": 274,
+ "for-size165-rate18446744073709551615-t00": 262,
+ "for-size165-rate18446744073709551615-t01": 262,
+ "for-size165-rate18446744073709551615-t02": 262,
+ "for-size165-rate18446744073709551615-t03": 262,
+ "for-size165-rate18446744073709551615-t04": 262,
+ "for-size165-rate18446744073709551615-t05": 262,
+ "for-size165-rate18446744073709551615-t06": 262,
+ "for-size165-rate18446744073709551615-t07": 262,
+ "for-size165-rate18446744073709551615-t08": 262,
+ "for-size165-rate18446744073709551615-t09": 262,
+ "for-size165-rate18446744073709551615-t10": 262,
+ "for-size165-rate30741294384781-t00": 273,
+ "for-size165-rate30741294384781-t01": 270,
+ "for-size165-rate30741294384781-t02": 1034,
+ "for-size165-rate30741294384781-t03": 1041,
+ "for-size165-rate30741294384781-t04": 1038,
+ "for-size165-rate30741294384781-t05": 1035,
+ "for-size165-rate30741294384781-t06": 283,
+ "for-size165-rate30741294384781-t07": 284,
+ "for-size165-rate30741294384781-t08": 281,
+ "for-size165-rate30741294384781-t09": 274,
+ "for-size165-rate30741294384781-t10": 274,
+ "for-size165-rate30741294384782-t00": 1043,
+ "for-size165-rate30741294384782-t01": 1043,
+ "for-size165-rate30741294384782-t02": 1043,
+ "for-size165-rate30741294384782-t03": 1051,
+ "for-size165-rate30741294384782-t04": 1040,
+ "for-size165-rate30741294384782-t05": 1043,
+ "for-size165-rate30741294384782-t06": 279,
+ "for-size165-rate30741294384782-t07": 280,
+ "for-size165-rate30741294384782-t08": 277,
+ "for-size165-rate30741294384782-t09": 270,
+ "for-size165-rate30741294384782-t10": 270,
+ "for-size165-rate3480-t00": 273,
+ "for-size165-rate3480-t01": 270,
+ "for-size165-rate3480-t02": 768,
+ "for-size165-rate3480-t03": 775,
+ "for-size165-rate3480-t04": 767,
+ "for-size165-rate3480-t05": 771,
+ "for-size165-rate3480-t06": 283,
+ "for-size165-rate3480-t07": 284,
+ "for-size165-rate3480-t08": 281,
+ "for-size165-rate3480-t09": 274,
+ "for-size165-rate3480-t10": 274,
+ "for-size165-rate62958170900032599-t00": 842,
+ "for-size165-rate62958170900032599-t01": 842,
+ "for-size165-rate62958170900032599-t02": 1054,
+ "for-size165-rate62958170900032599-t03": 1098,
+ "for-size165-rate62958170900032599-t04": 842,
+ "for-size165-rate62958170900032599-t05": 842,
+ "for-size165-rate62958170900032599-t06": 279,
+ "for-size165-rate62958170900032599-t07": 280,
+ "for-size165-rate62958170900032599-t08": 277,
+ "for-size165-rate62958170900032599-t09": 270,
+ "for-size165-rate62958170900032599-t10": 270,
+ "for-size165-rate62958170900032600-t00": 262,
+ "for-size165-rate62958170900032600-t01": 262,
+ "for-size165-rate62958170900032600-t02": 262,
+ "for-size165-rate62958170900032600-t03": 262,
+ "for-size165-rate62958170900032600-t04": 262,
+ "for-size165-rate62958170900032600-t05": 262,
+ "for-size165-rate62958170900032600-t06": 262,
+ "for-size165-rate62958170900032600-t07": 262,
+ "for-size165-rate62958170900032600-t08": 262,
+ "for-size165-rate62958170900032600-t09": 262,
+ "for-size165-rate62958170900032600-t10": 262,
+ "for-size165-rate6960-t00": 273,
+ "for-size165-rate6960-t01": 270,
+ "for-size165-rate6960-t02": 776,
+ "for-size165-rate6960-t03": 783,
+ "for-size165-rate6960-t04": 779,
+ "for-size165-rate6960-t05": 779,
+ "for-size165-rate6960-t06": 283,
+ "for-size165-rate6960-t07": 284,
+ "for-size165-rate6960-t08": 281,
+ "for-size165-rate6960-t09": 274,
+ "for-size165-rate6960-t10": 274,
+ "for-size18446744073709551615-rate0-t00": 261,
+ "for-size18446744073709551615-rate0-t01": 261,
+ "for-size18446744073709551615-rate0-t02": 261,
+ "for-size18446744073709551615-rate0-t03": 261,
+ "for-size18446744073709551615-rate0-t04": 261,
+ "for-size18446744073709551615-rate0-t05": 261,
+ "for-size18446744073709551615-rate0-t06": 261,
+ "for-size18446744073709551615-rate0-t07": 261,
+ "for-size18446744073709551615-rate0-t08": 261,
+ "for-size18446744073709551615-rate0-t09": 261,
+ "for-size18446744073709551615-rate0-t10": 261,
+ "for-size18446744073709551615-rate18446744073709551615-t00": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t01": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t02": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t03": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t04": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t05": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t06": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t07": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t08": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t09": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t10": 260,
+ "for-size18446744073709551615-rate3480-t00": 261,
+ "for-size18446744073709551615-rate3480-t01": 261,
+ "for-size18446744073709551615-rate3480-t02": 261,
+ "for-size18446744073709551615-rate3480-t03": 261,
+ "for-size18446744073709551615-rate3480-t04": 261,
+ "for-size18446744073709551615-rate3480-t05": 261,
+ "for-size18446744073709551615-rate3480-t06": 261,
+ "for-size18446744073709551615-rate3480-t07": 261,
+ "for-size18446744073709551615-rate3480-t08": 261,
+ "for-size18446744073709551615-rate3480-t09": 261,
+ "for-size18446744073709551615-rate3480-t10": 261,
+ "for-size18446744073709551615-rate6960-t00": 261,
+ "for-size18446744073709551615-rate6960-t01": 261,
+ "for-size18446744073709551615-rate6960-t02": 261,
+ "for-size18446744073709551615-rate6960-t03": 261,
+ "for-size18446744073709551615-rate6960-t04": 261,
+ "for-size18446744073709551615-rate6960-t05": 261,
+ "for-size18446744073709551615-rate6960-t06": 261,
+ "for-size18446744073709551615-rate6960-t07": 261,
+ "for-size18446744073709551615-rate6960-t08": 261,
+ "for-size18446744073709551615-rate6960-t09": 261,
+ "for-size18446744073709551615-rate6960-t10": 261,
+ "for-size82-rate0-t00": 273,
+ "for-size82-rate0-t01": 270,
+ "for-size82-rate0-t02": 282,
+ "for-size82-rate0-t03": 282,
+ "for-size82-rate0-t04": 282,
+ "for-size82-rate0-t05": 282,
+ "for-size82-rate0-t06": 282,
+ "for-size82-rate0-t07": 283,
+ "for-size82-rate0-t08": 281,
+ "for-size82-rate0-t09": 274,
+ "for-size82-rate0-t10": 274,
+ "for-size82-rate18446744073709551615-t00": 262,
+ "for-size82-rate18446744073709551615-t01": 262,
+ "for-size82-rate18446744073709551615-t02": 262,
+ "for-size82-rate18446744073709551615-t03": 262,
+ "for-size82-rate18446744073709551615-t04": 262,
+ "for-size82-rate18446744073709551615-t05": 262,
+ "for-size82-rate18446744073709551615-t06": 262,
+ "for-size82-rate18446744073709551615-t07": 262,
+ "for-size82-rate18446744073709551615-t08": 262,
+ "for-size82-rate18446744073709551615-t09": 262,
+ "for-size82-rate18446744073709551615-t10": 262,
+ "for-size82-rate3480-t00": 273,
+ "for-size82-rate3480-t01": 270,
+ "for-size82-rate3480-t02": 767,
+ "for-size82-rate3480-t03": 775,
+ "for-size82-rate3480-t04": 751,
+ "for-size82-rate3480-t05": 767,
+ "for-size82-rate3480-t06": 283,
+ "for-size82-rate3480-t07": 284,
+ "for-size82-rate3480-t08": 281,
+ "for-size82-rate3480-t09": 274,
+ "for-size82-rate3480-t10": 274,
+ "for-size82-rate42891425022576-t00": 273,
+ "for-size82-rate42891425022576-t01": 270,
+ "for-size82-rate42891425022576-t02": 1034,
+ "for-size82-rate42891425022576-t03": 1041,
+ "for-size82-rate42891425022576-t04": 1041,
+ "for-size82-rate42891425022576-t05": 1035,
+ "for-size82-rate42891425022576-t06": 283,
+ "for-size82-rate42891425022576-t07": 284,
+ "for-size82-rate42891425022576-t08": 281,
+ "for-size82-rate42891425022576-t09": 274,
+ "for-size82-rate42891425022576-t10": 274,
+ "for-size82-rate42891425022577-t00": 1043,
+ "for-size82-rate42891425022577-t01": 1043,
+ "for-size82-rate42891425022577-t02": 1043,
+ "for-size82-rate42891425022577-t03": 1051,
+ "for-size82-rate42891425022577-t04": 1043,
+ "for-size82-rate42891425022577-t05": 1043,
+ "for-size82-rate42891425022577-t06": 279,
+ "for-size82-rate42891425022577-t07": 280,
+ "for-size82-rate42891425022577-t08": 277,
+ "for-size82-rate42891425022577-t09": 270,
+ "for-size82-rate42891425022577-t10": 270,
+ "for-size82-rate6960-t00": 273,
+ "for-size82-rate6960-t01": 270,
+ "for-size82-rate6960-t02": 779,
+ "for-size82-rate6960-t03": 783,
+ "for-size82-rate6960-t04": 763,
+ "for-size82-rate6960-t05": 779,
+ "for-size82-rate6960-t06": 283,
+ "for-size82-rate6960-t07": 284,
+ "for-size82-rate6960-t08": 281,
+ "for-size82-rate6960-t09": 274,
+ "for-size82-rate6960-t10": 274,
+ "for-size82-rate87841638446235960-t00": 842,
+ "for-size82-rate87841638446235960-t01": 842,
+ "for-size82-rate87841638446235960-t02": 1054,
+ "for-size82-rate87841638446235960-t03": 1098,
+ "for-size82-rate87841638446235960-t04": 842,
+ "for-size82-rate87841638446235960-t05": 842,
+ "for-size82-rate87841638446235960-t06": 279,
+ "for-size82-rate87841638446235960-t07": 280,
+ "for-size82-rate87841638446235960-t08": 277,
+ "for-size82-rate87841638446235960-t09": 270,
+ "for-size82-rate87841638446235960-t10": 270,
+ "for-size82-rate87841638446235961-t00": 262,
+ "for-size82-rate87841638446235961-t01": 262,
+ "for-size82-rate87841638446235961-t02": 262,
+ "for-size82-rate87841638446235961-t03": 262,
+ "for-size82-rate87841638446235961-t04": 262,
+ "for-size82-rate87841638446235961-t05": 262,
+ "for-size82-rate87841638446235961-t06": 262,
+ "for-size82-rate87841638446235961-t07": 262,
+ "for-size82-rate87841638446235961-t08": 262,
+ "for-size82-rate87841638446235961-t09": 262,
+ "for-size82-rate87841638446235961-t10": 262,
+ "sysvar-size0": 396,
+ "sysvar-size10485760": 396,
+ "sysvar-size10485761": 387,
+ "sysvar-size165": 396
+ },
+ "before_main_939b215": {
+ "for-size0-rate0-t00": 276,
+ "for-size0-rate0-t01": 276,
+ "for-size0-rate0-t02": 276,
+ "for-size0-rate0-t03": 276,
+ "for-size0-rate0-t04": 276,
+ "for-size0-rate0-t05": 276,
+ "for-size0-rate0-t06": 276,
+ "for-size0-rate0-t07": 277,
+ "for-size0-rate0-t08": 274,
+ "for-size0-rate0-t09": 267,
+ "for-size0-rate0-t10": 267,
+ "for-size0-rate144115188075855871-t00": 838,
+ "for-size0-rate144115188075855871-t01": 838,
+ "for-size0-rate144115188075855871-t02": 1050,
+ "for-size0-rate144115188075855871-t03": 1094,
+ "for-size0-rate144115188075855871-t04": 838,
+ "for-size0-rate144115188075855871-t05": 838,
+ "for-size0-rate144115188075855871-t06": 277,
+ "for-size0-rate144115188075855871-t07": 278,
+ "for-size0-rate144115188075855871-t08": 274,
+ "for-size0-rate144115188075855871-t09": 267,
+ "for-size0-rate144115188075855871-t10": 267,
+ "for-size0-rate144115188075855872-t00": 262,
+ "for-size0-rate144115188075855872-t01": 262,
+ "for-size0-rate144115188075855872-t02": 262,
+ "for-size0-rate144115188075855872-t03": 262,
+ "for-size0-rate144115188075855872-t04": 262,
+ "for-size0-rate144115188075855872-t05": 262,
+ "for-size0-rate144115188075855872-t06": 262,
+ "for-size0-rate144115188075855872-t07": 262,
+ "for-size0-rate144115188075855872-t08": 262,
+ "for-size0-rate144115188075855872-t09": 262,
+ "for-size0-rate144115188075855872-t10": 262,
+ "for-size0-rate18446744073709551615-t00": 262,
+ "for-size0-rate18446744073709551615-t01": 262,
+ "for-size0-rate18446744073709551615-t02": 262,
+ "for-size0-rate18446744073709551615-t03": 262,
+ "for-size0-rate18446744073709551615-t04": 262,
+ "for-size0-rate18446744073709551615-t05": 262,
+ "for-size0-rate18446744073709551615-t06": 262,
+ "for-size0-rate18446744073709551615-t07": 262,
+ "for-size0-rate18446744073709551615-t08": 262,
+ "for-size0-rate18446744073709551615-t09": 262,
+ "for-size0-rate18446744073709551615-t10": 262,
+ "for-size0-rate3480-t00": 755,
+ "for-size0-rate3480-t01": 755,
+ "for-size0-rate3480-t02": 752,
+ "for-size0-rate3480-t03": 755,
+ "for-size0-rate3480-t04": 759,
+ "for-size0-rate3480-t05": 755,
+ "for-size0-rate3480-t06": 277,
+ "for-size0-rate3480-t07": 278,
+ "for-size0-rate3480-t08": 274,
+ "for-size0-rate3480-t09": 267,
+ "for-size0-rate3480-t10": 267,
+ "for-size0-rate6960-t00": 763,
+ "for-size0-rate6960-t01": 763,
+ "for-size0-rate6960-t02": 760,
+ "for-size0-rate6960-t03": 767,
+ "for-size0-rate6960-t04": 767,
+ "for-size0-rate6960-t05": 763,
+ "for-size0-rate6960-t06": 277,
+ "for-size0-rate6960-t07": 278,
+ "for-size0-rate6960-t08": 274,
+ "for-size0-rate6960-t09": 267,
+ "for-size0-rate6960-t10": 267,
+ "for-size0-rate70368744177663-t00": 1029,
+ "for-size0-rate70368744177663-t01": 1029,
+ "for-size0-rate70368744177663-t02": 1026,
+ "for-size0-rate70368744177663-t03": 1033,
+ "for-size0-rate70368744177663-t04": 1033,
+ "for-size0-rate70368744177663-t05": 1027,
+ "for-size0-rate70368744177663-t06": 277,
+ "for-size0-rate70368744177663-t07": 278,
+ "for-size0-rate70368744177663-t08": 274,
+ "for-size0-rate70368744177663-t09": 267,
+ "for-size0-rate70368744177663-t10": 267,
+ "for-size0-rate70368744177664-t00": 803,
+ "for-size0-rate70368744177664-t01": 803,
+ "for-size0-rate70368744177664-t02": 1015,
+ "for-size0-rate70368744177664-t03": 1059,
+ "for-size0-rate70368744177664-t04": 803,
+ "for-size0-rate70368744177664-t05": 803,
+ "for-size0-rate70368744177664-t06": 277,
+ "for-size0-rate70368744177664-t07": 278,
+ "for-size0-rate70368744177664-t08": 274,
+ "for-size0-rate70368744177664-t09": 267,
+ "for-size0-rate70368744177664-t10": 267,
+ "for-size10240-rate0-t00": 276,
+ "for-size10240-rate0-t01": 276,
+ "for-size10240-rate0-t02": 276,
+ "for-size10240-rate0-t03": 276,
+ "for-size10240-rate0-t04": 276,
+ "for-size10240-rate0-t05": 276,
+ "for-size10240-rate0-t06": 276,
+ "for-size10240-rate0-t07": 277,
+ "for-size10240-rate0-t08": 274,
+ "for-size10240-rate0-t09": 267,
+ "for-size10240-rate0-t10": 267,
+ "for-size10240-rate1779199852788344-t00": 841,
+ "for-size10240-rate1779199852788344-t01": 841,
+ "for-size10240-rate1779199852788344-t02": 1053,
+ "for-size10240-rate1779199852788344-t03": 1097,
+ "for-size10240-rate1779199852788344-t04": 841,
+ "for-size10240-rate1779199852788344-t05": 841,
+ "for-size10240-rate1779199852788344-t06": 277,
+ "for-size10240-rate1779199852788344-t07": 278,
+ "for-size10240-rate1779199852788344-t08": 274,
+ "for-size10240-rate1779199852788344-t09": 267,
+ "for-size10240-rate1779199852788344-t10": 267,
+ "for-size10240-rate1779199852788345-t00": 262,
+ "for-size10240-rate1779199852788345-t01": 262,
+ "for-size10240-rate1779199852788345-t02": 262,
+ "for-size10240-rate1779199852788345-t03": 262,
+ "for-size10240-rate1779199852788345-t04": 262,
+ "for-size10240-rate1779199852788345-t05": 262,
+ "for-size10240-rate1779199852788345-t06": 262,
+ "for-size10240-rate1779199852788345-t07": 262,
+ "for-size10240-rate1779199852788345-t08": 262,
+ "for-size10240-rate1779199852788345-t09": 262,
+ "for-size10240-rate1779199852788345-t10": 262,
+ "for-size10240-rate18446744073709551615-t00": 262,
+ "for-size10240-rate18446744073709551615-t01": 262,
+ "for-size10240-rate18446744073709551615-t02": 262,
+ "for-size10240-rate18446744073709551615-t03": 262,
+ "for-size10240-rate18446744073709551615-t04": 262,
+ "for-size10240-rate18446744073709551615-t05": 262,
+ "for-size10240-rate18446744073709551615-t06": 262,
+ "for-size10240-rate18446744073709551615-t07": 262,
+ "for-size10240-rate18446744073709551615-t08": 262,
+ "for-size10240-rate18446744073709551615-t09": 262,
+ "for-size10240-rate18446744073709551615-t10": 262,
+ "for-size10240-rate3480-t00": 811,
+ "for-size10240-rate3480-t01": 811,
+ "for-size10240-rate3480-t02": 811,
+ "for-size10240-rate3480-t03": 811,
+ "for-size10240-rate3480-t04": 811,
+ "for-size10240-rate3480-t05": 811,
+ "for-size10240-rate3480-t06": 277,
+ "for-size10240-rate3480-t07": 278,
+ "for-size10240-rate3480-t08": 274,
+ "for-size10240-rate3480-t09": 267,
+ "for-size10240-rate3480-t10": 267,
+ "for-size10240-rate6960-t00": 819,
+ "for-size10240-rate6960-t01": 819,
+ "for-size10240-rate6960-t02": 819,
+ "for-size10240-rate6960-t03": 823,
+ "for-size10240-rate6960-t04": 819,
+ "for-size10240-rate6960-t05": 819,
+ "for-size10240-rate6960-t06": 277,
+ "for-size10240-rate6960-t07": 278,
+ "for-size10240-rate6960-t08": 274,
+ "for-size10240-rate6960-t09": 267,
+ "for-size10240-rate6960-t10": 267,
+ "for-size10240-rate868749928119-t00": 1021,
+ "for-size10240-rate868749928119-t01": 1021,
+ "for-size10240-rate868749928119-t02": 1018,
+ "for-size10240-rate868749928119-t03": 1029,
+ "for-size10240-rate868749928119-t04": 1013,
+ "for-size10240-rate868749928119-t05": 1019,
+ "for-size10240-rate868749928119-t06": 277,
+ "for-size10240-rate868749928119-t07": 278,
+ "for-size10240-rate868749928119-t08": 274,
+ "for-size10240-rate868749928119-t09": 267,
+ "for-size10240-rate868749928119-t10": 267,
+ "for-size10240-rate868749928120-t00": 1059,
+ "for-size10240-rate868749928120-t01": 1059,
+ "for-size10240-rate868749928120-t02": 1059,
+ "for-size10240-rate868749928120-t03": 1063,
+ "for-size10240-rate868749928120-t04": 1047,
+ "for-size10240-rate868749928120-t05": 1059,
+ "for-size10240-rate868749928120-t06": 277,
+ "for-size10240-rate868749928120-t07": 278,
+ "for-size10240-rate868749928120-t08": 274,
+ "for-size10240-rate868749928120-t09": 267,
+ "for-size10240-rate868749928120-t10": 267,
+ "for-size10485760-rate0-t00": 276,
+ "for-size10485760-rate0-t01": 276,
+ "for-size10485760-rate0-t02": 276,
+ "for-size10485760-rate0-t03": 276,
+ "for-size10485760-rate0-t04": 276,
+ "for-size10485760-rate0-t05": 276,
+ "for-size10485760-rate0-t06": 276,
+ "for-size10485760-rate0-t07": 277,
+ "for-size10485760-rate0-t08": 274,
+ "for-size10485760-rate0-t09": 267,
+ "for-size10485760-rate0-t10": 267,
+ "for-size10485760-rate1759197129867-t00": 1096,
+ "for-size10485760-rate1759197129867-t01": 1096,
+ "for-size10485760-rate1759197129867-t02": 1093,
+ "for-size10485760-rate1759197129867-t03": 1096,
+ "for-size10485760-rate1759197129867-t04": 1097,
+ "for-size10485760-rate1759197129867-t05": 1096,
+ "for-size10485760-rate1759197129867-t06": 277,
+ "for-size10485760-rate1759197129867-t07": 278,
+ "for-size10485760-rate1759197129867-t08": 274,
+ "for-size10485760-rate1759197129867-t09": 267,
+ "for-size10485760-rate1759197129867-t10": 267,
+ "for-size10485760-rate1759197129868-t00": 262,
+ "for-size10485760-rate1759197129868-t01": 262,
+ "for-size10485760-rate1759197129868-t02": 262,
+ "for-size10485760-rate1759197129868-t03": 262,
+ "for-size10485760-rate1759197129868-t04": 262,
+ "for-size10485760-rate1759197129868-t05": 262,
+ "for-size10485760-rate1759197129868-t06": 262,
+ "for-size10485760-rate1759197129868-t07": 262,
+ "for-size10485760-rate1759197129868-t08": 262,
+ "for-size10485760-rate1759197129868-t09": 262,
+ "for-size10485760-rate1759197129868-t10": 262,
+ "for-size10485760-rate18446744073709551615-t00": 262,
+ "for-size10485760-rate18446744073709551615-t01": 262,
+ "for-size10485760-rate18446744073709551615-t02": 262,
+ "for-size10485760-rate18446744073709551615-t03": 262,
+ "for-size10485760-rate18446744073709551615-t04": 262,
+ "for-size10485760-rate18446744073709551615-t05": 262,
+ "for-size10485760-rate18446744073709551615-t06": 262,
+ "for-size10485760-rate18446744073709551615-t07": 262,
+ "for-size10485760-rate18446744073709551615-t08": 262,
+ "for-size10485760-rate18446744073709551615-t09": 262,
+ "for-size10485760-rate18446744073709551615-t10": 262,
+ "for-size10485760-rate3480-t00": 891,
+ "for-size10485760-rate3480-t01": 891,
+ "for-size10485760-rate3480-t02": 891,
+ "for-size10485760-rate3480-t03": 891,
+ "for-size10485760-rate3480-t04": 891,
+ "for-size10485760-rate3480-t05": 891,
+ "for-size10485760-rate3480-t06": 277,
+ "for-size10485760-rate3480-t07": 278,
+ "for-size10485760-rate3480-t08": 274,
+ "for-size10485760-rate3480-t09": 267,
+ "for-size10485760-rate3480-t10": 267,
+ "for-size10485760-rate6960-t00": 899,
+ "for-size10485760-rate6960-t01": 899,
+ "for-size10485760-rate6960-t02": 899,
+ "for-size10485760-rate6960-t03": 903,
+ "for-size10485760-rate6960-t04": 899,
+ "for-size10485760-rate6960-t05": 899,
+ "for-size10485760-rate6960-t06": 277,
+ "for-size10485760-rate6960-t07": 278,
+ "for-size10485760-rate6960-t08": 274,
+ "for-size10485760-rate6960-t09": 267,
+ "for-size10485760-rate6960-t10": 267,
+ "for-size10485760-rate858982973-t00": 1029,
+ "for-size10485760-rate858982973-t01": 1029,
+ "for-size10485760-rate858982973-t02": 1026,
+ "for-size10485760-rate858982973-t03": 1033,
+ "for-size10485760-rate858982973-t04": 1029,
+ "for-size10485760-rate858982973-t05": 1027,
+ "for-size10485760-rate858982973-t06": 277,
+ "for-size10485760-rate858982973-t07": 278,
+ "for-size10485760-rate858982973-t08": 274,
+ "for-size10485760-rate858982973-t09": 267,
+ "for-size10485760-rate858982973-t10": 267,
+ "for-size10485760-rate858982974-t00": 1059,
+ "for-size10485760-rate858982974-t01": 1059,
+ "for-size10485760-rate858982974-t02": 1059,
+ "for-size10485760-rate858982974-t03": 1063,
+ "for-size10485760-rate858982974-t04": 1051,
+ "for-size10485760-rate858982974-t05": 1059,
+ "for-size10485760-rate858982974-t06": 277,
+ "for-size10485760-rate858982974-t07": 278,
+ "for-size10485760-rate858982974-t08": 274,
+ "for-size10485760-rate858982974-t09": 267,
+ "for-size10485760-rate858982974-t10": 267,
+ "for-size10485761-rate0-t00": 261,
+ "for-size10485761-rate0-t01": 261,
+ "for-size10485761-rate0-t02": 261,
+ "for-size10485761-rate0-t03": 261,
+ "for-size10485761-rate0-t04": 261,
+ "for-size10485761-rate0-t05": 261,
+ "for-size10485761-rate0-t06": 261,
+ "for-size10485761-rate0-t07": 261,
+ "for-size10485761-rate0-t08": 261,
+ "for-size10485761-rate0-t09": 261,
+ "for-size10485761-rate0-t10": 261,
+ "for-size10485761-rate18446744073709551615-t00": 260,
+ "for-size10485761-rate18446744073709551615-t01": 260,
+ "for-size10485761-rate18446744073709551615-t02": 260,
+ "for-size10485761-rate18446744073709551615-t03": 260,
+ "for-size10485761-rate18446744073709551615-t04": 260,
+ "for-size10485761-rate18446744073709551615-t05": 260,
+ "for-size10485761-rate18446744073709551615-t06": 260,
+ "for-size10485761-rate18446744073709551615-t07": 260,
+ "for-size10485761-rate18446744073709551615-t08": 260,
+ "for-size10485761-rate18446744073709551615-t09": 260,
+ "for-size10485761-rate18446744073709551615-t10": 260,
+ "for-size10485761-rate3480-t00": 261,
+ "for-size10485761-rate3480-t01": 261,
+ "for-size10485761-rate3480-t02": 261,
+ "for-size10485761-rate3480-t03": 261,
+ "for-size10485761-rate3480-t04": 261,
+ "for-size10485761-rate3480-t05": 261,
+ "for-size10485761-rate3480-t06": 261,
+ "for-size10485761-rate3480-t07": 261,
+ "for-size10485761-rate3480-t08": 261,
+ "for-size10485761-rate3480-t09": 261,
+ "for-size10485761-rate3480-t10": 261,
+ "for-size10485761-rate6960-t00": 261,
+ "for-size10485761-rate6960-t01": 261,
+ "for-size10485761-rate6960-t02": 261,
+ "for-size10485761-rate6960-t03": 261,
+ "for-size10485761-rate6960-t04": 261,
+ "for-size10485761-rate6960-t05": 261,
+ "for-size10485761-rate6960-t06": 261,
+ "for-size10485761-rate6960-t07": 261,
+ "for-size10485761-rate6960-t08": 261,
+ "for-size10485761-rate6960-t09": 261,
+ "for-size10485761-rate6960-t10": 261,
+ "for-size165-rate0-t00": 276,
+ "for-size165-rate0-t01": 276,
+ "for-size165-rate0-t02": 276,
+ "for-size165-rate0-t03": 276,
+ "for-size165-rate0-t04": 276,
+ "for-size165-rate0-t05": 276,
+ "for-size165-rate0-t06": 276,
+ "for-size165-rate0-t07": 277,
+ "for-size165-rate0-t08": 274,
+ "for-size165-rate0-t09": 267,
+ "for-size165-rate0-t10": 267,
+ "for-size165-rate18446744073709551615-t00": 262,
+ "for-size165-rate18446744073709551615-t01": 262,
+ "for-size165-rate18446744073709551615-t02": 262,
+ "for-size165-rate18446744073709551615-t03": 262,
+ "for-size165-rate18446744073709551615-t04": 262,
+ "for-size165-rate18446744073709551615-t05": 262,
+ "for-size165-rate18446744073709551615-t06": 262,
+ "for-size165-rate18446744073709551615-t07": 262,
+ "for-size165-rate18446744073709551615-t08": 262,
+ "for-size165-rate18446744073709551615-t09": 262,
+ "for-size165-rate18446744073709551615-t10": 262,
+ "for-size165-rate30741294384781-t00": 1029,
+ "for-size165-rate30741294384781-t01": 1029,
+ "for-size165-rate30741294384781-t02": 1026,
+ "for-size165-rate30741294384781-t03": 1033,
+ "for-size165-rate30741294384781-t04": 1030,
+ "for-size165-rate30741294384781-t05": 1027,
+ "for-size165-rate30741294384781-t06": 277,
+ "for-size165-rate30741294384781-t07": 278,
+ "for-size165-rate30741294384781-t08": 274,
+ "for-size165-rate30741294384781-t09": 267,
+ "for-size165-rate30741294384781-t10": 267,
+ "for-size165-rate30741294384782-t00": 1039,
+ "for-size165-rate30741294384782-t01": 1039,
+ "for-size165-rate30741294384782-t02": 1039,
+ "for-size165-rate30741294384782-t03": 1047,
+ "for-size165-rate30741294384782-t04": 1036,
+ "for-size165-rate30741294384782-t05": 1039,
+ "for-size165-rate30741294384782-t06": 277,
+ "for-size165-rate30741294384782-t07": 278,
+ "for-size165-rate30741294384782-t08": 274,
+ "for-size165-rate30741294384782-t09": 267,
+ "for-size165-rate30741294384782-t10": 267,
+ "for-size165-rate3480-t00": 763,
+ "for-size165-rate3480-t01": 763,
+ "for-size165-rate3480-t02": 760,
+ "for-size165-rate3480-t03": 767,
+ "for-size165-rate3480-t04": 759,
+ "for-size165-rate3480-t05": 763,
+ "for-size165-rate3480-t06": 277,
+ "for-size165-rate3480-t07": 278,
+ "for-size165-rate3480-t08": 274,
+ "for-size165-rate3480-t09": 267,
+ "for-size165-rate3480-t10": 267,
+ "for-size165-rate62958170900032599-t00": 838,
+ "for-size165-rate62958170900032599-t01": 838,
+ "for-size165-rate62958170900032599-t02": 1050,
+ "for-size165-rate62958170900032599-t03": 1094,
+ "for-size165-rate62958170900032599-t04": 838,
+ "for-size165-rate62958170900032599-t05": 838,
+ "for-size165-rate62958170900032599-t06": 277,
+ "for-size165-rate62958170900032599-t07": 278,
+ "for-size165-rate62958170900032599-t08": 274,
+ "for-size165-rate62958170900032599-t09": 267,
+ "for-size165-rate62958170900032599-t10": 267,
+ "for-size165-rate62958170900032600-t00": 262,
+ "for-size165-rate62958170900032600-t01": 262,
+ "for-size165-rate62958170900032600-t02": 262,
+ "for-size165-rate62958170900032600-t03": 262,
+ "for-size165-rate62958170900032600-t04": 262,
+ "for-size165-rate62958170900032600-t05": 262,
+ "for-size165-rate62958170900032600-t06": 262,
+ "for-size165-rate62958170900032600-t07": 262,
+ "for-size165-rate62958170900032600-t08": 262,
+ "for-size165-rate62958170900032600-t09": 262,
+ "for-size165-rate62958170900032600-t10": 262,
+ "for-size165-rate6960-t00": 771,
+ "for-size165-rate6960-t01": 771,
+ "for-size165-rate6960-t02": 768,
+ "for-size165-rate6960-t03": 775,
+ "for-size165-rate6960-t04": 771,
+ "for-size165-rate6960-t05": 771,
+ "for-size165-rate6960-t06": 277,
+ "for-size165-rate6960-t07": 278,
+ "for-size165-rate6960-t08": 274,
+ "for-size165-rate6960-t09": 267,
+ "for-size165-rate6960-t10": 267,
+ "for-size18446744073709551615-rate0-t00": 261,
+ "for-size18446744073709551615-rate0-t01": 261,
+ "for-size18446744073709551615-rate0-t02": 261,
+ "for-size18446744073709551615-rate0-t03": 261,
+ "for-size18446744073709551615-rate0-t04": 261,
+ "for-size18446744073709551615-rate0-t05": 261,
+ "for-size18446744073709551615-rate0-t06": 261,
+ "for-size18446744073709551615-rate0-t07": 261,
+ "for-size18446744073709551615-rate0-t08": 261,
+ "for-size18446744073709551615-rate0-t09": 261,
+ "for-size18446744073709551615-rate0-t10": 261,
+ "for-size18446744073709551615-rate18446744073709551615-t00": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t01": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t02": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t03": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t04": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t05": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t06": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t07": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t08": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t09": 260,
+ "for-size18446744073709551615-rate18446744073709551615-t10": 260,
+ "for-size18446744073709551615-rate3480-t00": 261,
+ "for-size18446744073709551615-rate3480-t01": 261,
+ "for-size18446744073709551615-rate3480-t02": 261,
+ "for-size18446744073709551615-rate3480-t03": 261,
+ "for-size18446744073709551615-rate3480-t04": 261,
+ "for-size18446744073709551615-rate3480-t05": 261,
+ "for-size18446744073709551615-rate3480-t06": 261,
+ "for-size18446744073709551615-rate3480-t07": 261,
+ "for-size18446744073709551615-rate3480-t08": 261,
+ "for-size18446744073709551615-rate3480-t09": 261,
+ "for-size18446744073709551615-rate3480-t10": 261,
+ "for-size18446744073709551615-rate6960-t00": 261,
+ "for-size18446744073709551615-rate6960-t01": 261,
+ "for-size18446744073709551615-rate6960-t02": 261,
+ "for-size18446744073709551615-rate6960-t03": 261,
+ "for-size18446744073709551615-rate6960-t04": 261,
+ "for-size18446744073709551615-rate6960-t05": 261,
+ "for-size18446744073709551615-rate6960-t06": 261,
+ "for-size18446744073709551615-rate6960-t07": 261,
+ "for-size18446744073709551615-rate6960-t08": 261,
+ "for-size18446744073709551615-rate6960-t09": 261,
+ "for-size18446744073709551615-rate6960-t10": 261,
+ "for-size82-rate0-t00": 276,
+ "for-size82-rate0-t01": 276,
+ "for-size82-rate0-t02": 276,
+ "for-size82-rate0-t03": 276,
+ "for-size82-rate0-t04": 276,
+ "for-size82-rate0-t05": 276,
+ "for-size82-rate0-t06": 276,
+ "for-size82-rate0-t07": 277,
+ "for-size82-rate0-t08": 274,
+ "for-size82-rate0-t09": 267,
+ "for-size82-rate0-t10": 267,
+ "for-size82-rate18446744073709551615-t00": 262,
+ "for-size82-rate18446744073709551615-t01": 262,
+ "for-size82-rate18446744073709551615-t02": 262,
+ "for-size82-rate18446744073709551615-t03": 262,
+ "for-size82-rate18446744073709551615-t04": 262,
+ "for-size82-rate18446744073709551615-t05": 262,
+ "for-size82-rate18446744073709551615-t06": 262,
+ "for-size82-rate18446744073709551615-t07": 262,
+ "for-size82-rate18446744073709551615-t08": 262,
+ "for-size82-rate18446744073709551615-t09": 262,
+ "for-size82-rate18446744073709551615-t10": 262,
+ "for-size82-rate3480-t00": 759,
+ "for-size82-rate3480-t01": 759,
+ "for-size82-rate3480-t02": 759,
+ "for-size82-rate3480-t03": 767,
+ "for-size82-rate3480-t04": 743,
+ "for-size82-rate3480-t05": 759,
+ "for-size82-rate3480-t06": 277,
+ "for-size82-rate3480-t07": 278,
+ "for-size82-rate3480-t08": 274,
+ "for-size82-rate3480-t09": 267,
+ "for-size82-rate3480-t10": 267,
+ "for-size82-rate42891425022576-t00": 1029,
+ "for-size82-rate42891425022576-t01": 1029,
+ "for-size82-rate42891425022576-t02": 1026,
+ "for-size82-rate42891425022576-t03": 1033,
+ "for-size82-rate42891425022576-t04": 1033,
+ "for-size82-rate42891425022576-t05": 1027,
+ "for-size82-rate42891425022576-t06": 277,
+ "for-size82-rate42891425022576-t07": 278,
+ "for-size82-rate42891425022576-t08": 274,
+ "for-size82-rate42891425022576-t09": 267,
+ "for-size82-rate42891425022576-t10": 267,
+ "for-size82-rate42891425022577-t00": 1039,
+ "for-size82-rate42891425022577-t01": 1039,
+ "for-size82-rate42891425022577-t02": 1039,
+ "for-size82-rate42891425022577-t03": 1047,
+ "for-size82-rate42891425022577-t04": 1039,
+ "for-size82-rate42891425022577-t05": 1039,
+ "for-size82-rate42891425022577-t06": 277,
+ "for-size82-rate42891425022577-t07": 278,
+ "for-size82-rate42891425022577-t08": 274,
+ "for-size82-rate42891425022577-t09": 267,
+ "for-size82-rate42891425022577-t10": 267,
+ "for-size82-rate6960-t00": 771,
+ "for-size82-rate6960-t01": 771,
+ "for-size82-rate6960-t02": 771,
+ "for-size82-rate6960-t03": 775,
+ "for-size82-rate6960-t04": 755,
+ "for-size82-rate6960-t05": 771,
+ "for-size82-rate6960-t06": 277,
+ "for-size82-rate6960-t07": 278,
+ "for-size82-rate6960-t08": 274,
+ "for-size82-rate6960-t09": 267,
+ "for-size82-rate6960-t10": 267,
+ "for-size82-rate87841638446235960-t00": 838,
+ "for-size82-rate87841638446235960-t01": 838,
+ "for-size82-rate87841638446235960-t02": 1050,
+ "for-size82-rate87841638446235960-t03": 1094,
+ "for-size82-rate87841638446235960-t04": 838,
+ "for-size82-rate87841638446235960-t05": 838,
+ "for-size82-rate87841638446235960-t06": 277,
+ "for-size82-rate87841638446235960-t07": 278,
+ "for-size82-rate87841638446235960-t08": 274,
+ "for-size82-rate87841638446235960-t09": 267,
+ "for-size82-rate87841638446235960-t10": 267,
+ "for-size82-rate87841638446235961-t00": 262,
+ "for-size82-rate87841638446235961-t01": 262,
+ "for-size82-rate87841638446235961-t02": 262,
+ "for-size82-rate87841638446235961-t03": 262,
+ "for-size82-rate87841638446235961-t04": 262,
+ "for-size82-rate87841638446235961-t05": 262,
+ "for-size82-rate87841638446235961-t06": 262,
+ "for-size82-rate87841638446235961-t07": 262,
+ "for-size82-rate87841638446235961-t08": 262,
+ "for-size82-rate87841638446235961-t09": 262,
+ "for-size82-rate87841638446235961-t10": 262,
+ "sysvar-size0": 889,
+ "sysvar-size10485760": 1025,
+ "sysvar-size10485761": 387,
+ "sysvar-size165": 897
+ },
+ "profile": "solana-v3"
+}
From 28ac02c53acdca78a8bf7e9a4ddca4297db79a39 Mon Sep 17 00:00:00 2001
From: pbio <10051819+paulbalaji@users.noreply.github.com>
Date: Mon, 19 Oct 2026 18:18:56 +0100
Subject: [PATCH 4/4] chore(results): record the rebuilt reference ELFs
The change moves the full-swap reference ELFs, so CI's fresh-rebuild check now compares against this branch's rebuild/metrics.json, the default reference in scripts/verify_rebuild.py.
---
.../sdk/2026-10-19-rent-fast-path/README.md | 12 ++
.../rebuild/metrics.json | 128 ++++++++++++++++++
scripts/verify_rebuild.py | 4 +-
3 files changed, 142 insertions(+), 2 deletions(-)
create mode 100644 results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json
diff --git a/results/sdk/2026-10-19-rent-fast-path/README.md b/results/sdk/2026-10-19-rent-fast-path/README.md
index 77c0c712..744759d3 100644
--- a/results/sdk/2026-10-19-rent-fast-path/README.md
+++ b/results/sdk/2026-10-19-rent-fast-path/README.md
@@ -47,3 +47,15 @@ Over all 532 cases: every fast-path input with a nonzero product costs 482 to
759 CU less, a zero product 3 to 6 CU less, and the exact path 2 to 8 CU more
(the threshold compares and a repeated bounds check). Errors before the
threshold check are unchanged.
+
+## Reference ELFs
+
+This change moves the full swap (fogo-v0 `7d162f10…`, solana-v3 `42e1deba…`).
+`clock2` is unchanged. `rebuild/metrics.json` is the fresh-rebuild check
+against the previous reference (the #25 integration rebuild), and
+`scripts/verify_rebuild.py` now uses it as the default reference:
+
+```sh
+python3 scripts/verify_rebuild.py --output --cli build/gosvm
+python3 scripts/check_rebuild_reference.py /metrics.json
+```
diff --git a/results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json b/results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json
new file mode 100644
index 00000000..69e7365e
--- /dev/null
+++ b/results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json
@@ -0,0 +1,128 @@
+{
+ "schema": 1,
+ "network_validation": false,
+ "host": "macOS-27.0.1-arm64-arm-64bit-Mach-O",
+ "machine": "arm64",
+ "cli": "build/gosvm",
+ "cli_sha256": "74d15f31e78922bc4ca01706e95a1b0bf2e8640d34fb4bad1b4b922012a770ae",
+ "build_flags": [
+ "-no-cache"
+ ],
+ "go_version": "go version go1.23.2 darwin/arm64",
+ "workloads": {
+ "full-swap": "examples/full-swap",
+ "clock2": "examples/clock2"
+ },
+ "skipped": {
+ "go-bend-rust": "needs pinned Bend producer manifests and the full Rust producer tree; not part of this offline rebuild check"
+ },
+ "results": [
+ {
+ "target": "fogo-v0",
+ "workload": "full-swap",
+ "kind": "project",
+ "identical": true,
+ "no_embedded_host_strings": true,
+ "elf_sha256": "7d162f10a4417d04b6930e7de46514c8459e0219fbd60b0fb44cbb74d16c5696",
+ "sides": [
+ {
+ "side": "a",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-ykpy7i2d/work/a/full-swap",
+ "elf_sha256": "7d162f10a4417d04b6930e7de46514c8459e0219fbd60b0fb44cbb74d16c5696",
+ "size": 70240,
+ "embedded_host_strings": []
+ },
+ {
+ "side": "bb-longer-path",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-5n42a79k/work/bb-longer-path/full-swap",
+ "elf_sha256": "7d162f10a4417d04b6930e7de46514c8459e0219fbd60b0fb44cbb74d16c5696",
+ "size": 70240,
+ "embedded_host_strings": []
+ }
+ ],
+ "matches_reference": false
+ },
+ {
+ "target": "fogo-v0",
+ "workload": "clock2",
+ "kind": "low-level",
+ "identical": true,
+ "no_embedded_host_strings": true,
+ "elf_sha256": "d85d909e057f6c6e11c468306e0b9222609dc3498b26cbf9b6dbad1d29bcd327",
+ "sides": [
+ {
+ "side": "a",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-gpbim21o/work/a/clock2",
+ "elf_sha256": "d85d909e057f6c6e11c468306e0b9222609dc3498b26cbf9b6dbad1d29bcd327",
+ "size": 5272,
+ "embedded_host_strings": []
+ },
+ {
+ "side": "bb-longer-path",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-u9ndzcke/work/bb-longer-path/clock2",
+ "elf_sha256": "d85d909e057f6c6e11c468306e0b9222609dc3498b26cbf9b6dbad1d29bcd327",
+ "size": 5272,
+ "embedded_host_strings": []
+ }
+ ],
+ "matches_reference": true
+ },
+ {
+ "target": "solana-v3",
+ "workload": "full-swap",
+ "kind": "project",
+ "identical": true,
+ "no_embedded_host_strings": true,
+ "elf_sha256": "42e1deba5964184c89e38e9d99254d27c02e5c91f68b938410efa807e64290be",
+ "sides": [
+ {
+ "side": "a",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-2_hzkxp8/work/a/full-swap",
+ "elf_sha256": "42e1deba5964184c89e38e9d99254d27c02e5c91f68b938410efa807e64290be",
+ "size": 70224,
+ "embedded_host_strings": []
+ },
+ {
+ "side": "bb-longer-path",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-g59g3dv4/work/bb-longer-path/full-swap",
+ "elf_sha256": "42e1deba5964184c89e38e9d99254d27c02e5c91f68b938410efa807e64290be",
+ "size": 70224,
+ "embedded_host_strings": []
+ }
+ ],
+ "matches_reference": false
+ },
+ {
+ "target": "solana-v3",
+ "workload": "clock2",
+ "kind": "low-level",
+ "identical": true,
+ "no_embedded_host_strings": true,
+ "elf_sha256": "88611a509e500806729bf4e9624fac873b6f302960497c26fd70113781cc6f73",
+ "sides": [
+ {
+ "side": "a",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-a-ka0foi8f/work/a/clock2",
+ "elf_sha256": "88611a509e500806729bf4e9624fac873b6f302960497c26fd70113781cc6f73",
+ "size": 4248,
+ "embedded_host_strings": []
+ },
+ {
+ "side": "bb-longer-path",
+ "path": "/var/folders/1g/284xdqbn7_338zrkrk4ln6yr0000gn/T/gosvm-rebuild-bb-longer-path-w17wxguo/work/bb-longer-path/clock2",
+ "elf_sha256": "88611a509e500806729bf4e9624fac873b6f302960497c26fd70113781cc6f73",
+ "size": 4248,
+ "embedded_host_strings": []
+ }
+ ],
+ "matches_reference": true
+ }
+ ],
+ "backends": [
+ "OK fogo-v0 backend (selected) / platform-tools v1.57 / LLVM 22.1.2: ~/Library/Caches/gosvm/toolchains/v1.57/darwin-arm64/llvm",
+ "OK solana-v3 backend / platform-tools v1.57 / LLVM 22.1.2: ~/Library/Caches/gosvm/toolchains/v1.57/darwin-arm64/llvm"
+ ],
+ "unmanaged_v1_57_llvm_sha256": {},
+ "reference": "results/compiler/2026-10-19-hyperlane-integration/rebuild/metrics.json",
+ "passed": true
+}
diff --git a/scripts/verify_rebuild.py b/scripts/verify_rebuild.py
index 60d4e268..c524c9fc 100644
--- a/scripts/verify_rebuild.py
+++ b/scripts/verify_rebuild.py
@@ -22,9 +22,9 @@ def main():
ap.add_argument('--output', type=pathlib.Path, required=True)
ap.add_argument('--cli', type=pathlib.Path, default=ROOT / 'build/gosvm')
ap.add_argument('--reference', type=pathlib.Path,
- default=ROOT / 'results/compiler/2026-10-19-hyperlane-integration/rebuild/metrics.json',
+ default=ROOT / 'results/sdk/2026-10-19-rent-fast-path/rebuild/metrics.json',
help='earlier metrics.json whose ELF hashes are compared (informational); the default is '
- 'the current reference (the October 19 combined CPI and memory changes changed the full swap and clock2)')
+ 'the current reference (the rent fast path changed the full swap)')
a = ap.parse_args(); a.output = a.output.resolve(); a.cli = a.cli.resolve()
if a.output.exists():
sys.exit(f'{a.output} exists; use a new results directory')