Repository: NethermindEth/juno
Pull request #144 (2022-05-02 13:11:33)

Hold the State (Database)
## Changes:
- Implement the database storage to hold the state, _contract code_ and, _contract storage_
- To store the contract code I use a key-value database
- To store the contract storage I use a `BlockSpecificDatabase`
- All the implementations are inside the `pkg/db` package

## Types of changes

What types of changes does your code introduce?
_Put an `x` in the boxes that apply_

- [ ] Bugfix (non-breaking change which fixes an issue)
- [x] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
- [ ] Documentation Update
- [ ] Code style update (formatting, renaming)
- [ ] Refactoring (no functional changes, no api changes)
- [ ] Build related changes
- [ ] Other (please describe): 

## Testing
**Requires testing**

- [x] Yes
- [ ] No

**In case you checked yes, did you write tests??**

- [x] Yes
- [ ] No

codecov[bot]: # [Codecov](https://codecov.io/gh/NethermindEth/juno/pull/144?src=pr&el=h1&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth) Report
> Merging [#144](https://codecov.io/gh/NethermindEth/juno/pull/144?src=pr&el=desc&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth) (2887e39) into [main](https://codecov.io/gh/NethermindEth/juno/commit/b3d7c91ac0c18dedcb600616775a389f0c3d7c5a?el=desc&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth) (b3d7c91) will **not change** coverage.
> The diff coverage is `n/a`.

```diff
@@            Coverage Diff            @@
##              main      #144   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           21        21           
  Lines         1281      1281           
=========================================
  Hits          1281      1281           
```

| Flag | Coverage Δ | |
|---|---|---|
| unittests | `100.00% <ø> (ø)` | |

Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth#carryforward-flags-in-the-pull-request-comment) to find out more.


------

[Continue to review full report at Codecov](https://codecov.io/gh/NethermindEth/juno/pull/144?src=pr&el=continue&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth).
> **Legend** - [Click here to learn more](https://docs.codecov.io/docs/codecov-delta?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth)
> `Δ = absolute <relative> (impact)`, `ø = not affected`, `? = missing data`
> Powered by [Codecov](https://codecov.io/gh/NethermindEth/juno/pull/144?src=pr&el=footer&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth). Last update [b3d7c91...2887e39](https://codecov.io/gh/NethermindEth/juno/pull/144?src=pr&el=lastupdated&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth). Read the [comment docs](https://docs.codecov.io/docs/pull-request-comments?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=NethermindEth).


Patch:
diff --git a/pkg/db/state/code.go b/pkg/db/state/code.go
new file mode 100644
index 00000000..8cfc7116
--- /dev/null
+++ b/pkg/db/state/code.go
@@ -0,0 +1,79 @@
+package state
+
+import (
+	"encoding/json"
+	"fmt"
+	"math/big"
+)
+
+// ContractCode is the database representation of the StarkNet contract code.
+// The contract code is stored as a byte[], which is the result of the JSON encoding.
+type ContractCode []big.Int
+
+func (c *ContractCode) UnmarshalJSON(data []byte) error {
+	var (
+		code     []big.Int
+		bytecode []string
+	)
+	if err := json.Unmarshal(data, &bytecode); err != nil {
+		return err
+	}
+	for _, item := range bytecode {
+		value, ok := new(big.Int).SetString(item[2:], 16)
+		if !ok {
+			// notest
+			return fmt.Errorf("error parsing %s[2:] into an big.Int of base 16", item)
+		}
+		code = append(code, *value)
+	}
+	*c = code
+	return nil
+}
+
+func (c *ContractCode) MarshalJSON() ([]byte, error) {
+	bytecode := make([]string, 0, len(*c))
+	for _, item := range *c {
+		value := "0x" + item.Text(16)
+		bytecode = append(bytecode, value)
+	}
+	return json.Marshal(bytecode)
+}
+
+// GetCode returns the ContractCode associated with the given contract address.
+// If the contract code is not found, then nil is returned. If any error happens the method panics.
+func (x *Manager) GetCode(contractAddress string) *ContractCode {
+	key, ok := new(big.Int).SetString(contractAddress, 16)
+	if !ok {
+		panic(any(InvalidContractAddress))
+	}
+	rawData, err := x.codeDatabase.Get(key.Bytes())
+	if err != nil {
+		panic(any(fmt.Errorf("%w: %s", DbError, err)))
+	}
+	if rawData == nil {
+		// notest
+		return nil
+	}
+	var data ContractCode
+	if err := json.Unmarshal(rawData, &data); err != nil {
+		panic(any(fmt.Errorf("%w: %s", UnmarshalError, err)))
+	}
+	return &data
+}
+
+// PutCode stores a new contract code into the database, associated with the given contract address.
+// If the contract address already have a contract code in the database, then the value is updated.
+func (x *Manager) PutCode(contractAddress string, code *ContractCode) {
+	keyInt, ok := new(big.Int).SetString(contractAddress, 16)
+	if !ok {
+		panic(any(InvalidContractAddress))
+	}
+	key := keyInt.Bytes()
+	rawData, err := json.Marshal(code)
+	if err != nil {
+		panic(any(fmt.Errorf("%w: %s", MarshalError, err)))
+	}
+	if err := x.codeDatabase.Put(key, rawData); err != nil {
+		panic(any(fmt.Errorf("%w: %s", DbError, err)))
+	}
+}
diff --git a/pkg/db/state/state.go b/pkg/db/state/state.go
new file mode 100644
index 00000000..492e0987
--- /dev/null
+++ b/pkg/db/state/state.go
@@ -0,0 +1,25 @@
+package state
+
+import (
+	"errors"
+	"github.com/NethermindEth/juno/pkg/db"
+)
+
+var (
+	DbError                = errors.New("database error")
+	InvalidContractAddress = errors.New("invalid contract address")
+	UnmarshalError         = errors.New("unmarshal error")
+	MarshalError           = errors.New("marshal error")
+)
+
+// Manager is a database manager, with the objective of managing
+// the contract codes and contract storages databases.
+type Manager struct {
+	codeDatabase    db.Databaser
+	storageDatabase db.BlockSpecificDatabase
+}
+
+// NewStateManager returns a new instance of Manager with the given database sources.
+func NewStateManager(codeDatabase db.Databaser, storageDatabase db.BlockSpecificDatabase) *Manager {
+	return &Manager{codeDatabase, storageDatabase}
+}
diff --git a/pkg/db/state/storage.go b/pkg/db/state/storage.go
new file mode 100644
index 00000000..a352eab0
--- /dev/null
+++ b/pkg/db/state/storage.go
@@ -0,0 +1,77 @@
+package state
+
+import (
+	"encoding/json"
+	"fmt"
+	"math/big"
+)
+
+// ContractAddress represents the contract address used
+// as a key in the database
+type ContractAddress string
+
+func (x ContractAddress) Marshal() ([]byte, error) {
+	i, ok := new(big.Int).SetString(string(x), 16)
+	if !ok {
+		// notest
+		return nil, InvalidContractAddress
+	}
+	return i.Bytes(), nil
+}
+
+type contractStorageItem struct {
+	Key   big.Int
+	Value big.Int
+}
+
+// ContractStorage is the representation of the StarkNet contract
+// storage.
+type ContractStorage []contractStorageItem
+
+func (s *ContractStorage) Marshal() ([]byte, error) {
+	data := make(map[string]string)
+	for _, item := range *s {
+		data[item.Key.Text(16)] = item.Value.Text(16)
+	}
+	return json.Marshal(data)
+}
+
+func (s *ContractStorage) Unmarshal(data []byte) error {
+	m := make(map[string]string)
+	if err := json.Unmarshal(data, &m); err != nil {
+		return err
+	}
+	storage := make([]contractStorageItem, 0, len(m))
+	for k, v := range m {
+		key, ok := new(big.Int).SetString(k, 16)
+		if !ok {
+			// notest
+			return fmt.Errorf("error parsing %s into an big.Int of base 16", k)
+		}
+		value, ok := new(big.Int).SetString(v, 16)
+		if !ok {
+			// notest
+			return fmt.Errorf("error parsing %s into an big.Int of base 16", v)
+		}
+		storage = append(storage, contractStorageItem{*key, *value})
+	}
+	*s = storage
+	return nil
+}
+
+// GetStorage returns the ContractStorage state of the given contract address and block number.
+// If no exists a version for exactly the given block number, then returns the newest version
+// lower than the given block number.
+func (x *Manager) GetStorage(contractAddress string, blockNumber uint64) (*ContractStorage, bool) {
+	var value ContractStorage
+	ok := x.storageDatabase.Get(ContractAddress(contractAddress), blockNumber, &value)
+	if !ok {
+		return nil, false
+	}
+	return &value, true
+}
+
+// PutStorage saves a new version of the contract storage at the given block number.
+func (x *Manager) PutStorage(contractAddress string, blockNumber uint64, storage *ContractStorage) {
+	x.storageDatabase.Put(ContractAddress(contractAddress), blockNumber, storage)
+}


Test patch:
diff --git a/pkg/db/state/code_test.go b/pkg/db/state/code_test.go
new file mode 100644
index 00000000..6d5a9778
--- /dev/null
+++ b/pkg/db/state/code_test.go
@@ -0,0 +1,194 @@
+package state
+
+import (
+	"bytes"
+	"embed"
+	"encoding/json"
+	"github.com/NethermindEth/juno/pkg/db"
+	"math/big"
+	"testing"
+)
+
+//go:embed test_assets/contract-codes
+var contractCodesAssets embed.FS
+
+func loadContractCodePaths() ([]string, error) {
+	items, err := contractCodesAssets.ReadDir("test_assets/contract-codes")
+	if err != nil {
+		return nil, err
+	}
+	var paths []string
+	for _, item := range items {
+		if !item.IsDir() {
+			paths = append(paths, "test_assets/contract-codes/"+item.Name())
+		}
+	}
+	return paths, nil
+}
+
+func TestContractCode_UnmarshalJSON(t *testing.T) {
+	paths, err := loadContractCodePaths()
+	if err != nil {
+		t.Error(err)
+	}
+	var tests []struct {
+		Contract string `json:"contract"`
+		Asserts  []struct {
+			Index int    `json:"index"`
+			Value string `json:"value"`
+		}
+		Bytecode json.RawMessage `json:"bytecode"`
+	}
+	for _, path := range paths {
+		rawData, err := contractCodesAssets.ReadFile(path)
+		if err != nil {
+			t.Error(err)
+		}
+		var test struct {
+			Contract string `json:"contract"`
+			Asserts  []struct {
+				Index int    `json:"index"`
+				Value string `json:"value"`
+			}
+			Bytecode json.RawMessage `json:"bytecode"`
+		}
+		if err := json.Unmarshal(rawData, &test); err != nil {
+			t.Error(err)
+		}
+		tests = append(tests, test)
+	}
+
+	for _, test := range tests {
+		var code ContractCode
+		if err := json.Unmarshal(test.Bytecode, &code); err != nil {
+			t.Error(err)
+		}
+		for _, x := range test.Asserts {
+			want, ok := new(big.Int).SetString(x.Value[2:], 16)
+			if !ok {
+				t.Error("invalid test case")
+			}
+			if code[x.Index].Cmp(want) != 0 {
+				t.Errorf("the contract code with contract address %s have at index %d of the bytecode the value %s after UnmarshalJSON, want: %s",
+					test.Contract,
+					x.Index,
+					"0x"+code[x.Index].Text(16),
+					x.Value,
+				)
+			}
+		}
+	}
+}
+
+func TestContractCode_MarshalJSON(t *testing.T) {
+	paths, err := loadContractCodePaths()
+	if err != nil {
+		t.Error(err)
+	}
+	var tests []struct {
+		Contract string `json:"contract"`
+		Asserts  []struct {
+			Index int    `json:"index"`
+			Value string `json:"value"`
+		}
+		Bytecode json.RawMessage `json:"bytecode"`
+	}
+	for _, path := range paths {
+		rawData, err := contractCodesAssets.ReadFile(path)
+		if err != nil {
+			t.Error(err)
+		}
+		var test struct {
+			Contract string `json:"contract"`
+			Asserts  []struct {
+				Index int    `json:"index"`
+				Value string `json:"value"`
+			}
+			Bytecode json.RawMessage `json:"bytecode"`
+		}
+		if err := json.Unmarshal(rawData, &test); err != nil {
+			t.Error(err)
+		}
+		tests = append(tests, test)
+	}
+
+	for _, test := range tests {
+		var code ContractCode
+		if err := json.Unmarshal(test.Bytecode, &code); err != nil {
+			t.Error(err)
+		}
+		rawCode, err := json.Marshal(&code)
+		if err != nil {
+			t.Error(err)
+		}
+		var codeMap []string
+		if err := json.Unmarshal(rawCode, &codeMap); err != nil {
+			t.Error(err)
+		}
+		for _, x := range test.Asserts {
+			if codeMap[x.Index] != x.Value {
+				t.Errorf("the contract code with contract address %s have at index %d of the bytecode the value %s after MarshalJSON, want: %s",
+					test.Contract,
+					x.Index,
+					"0x"+code[x.Index].Text(16),
+					x.Value,
+				)
+			}
+		}
+	}
+}
+
+func TestManager_Code(t *testing.T) {
+	paths, err := loadContractCodePaths()
+	if err != nil {
+		t.Error(err)
+	}
+	var tests []struct {
+		Contract string `json:"contract"`
+		Asserts  []struct {
+			Index int    `json:"index"`
+			Value string `json:"value"`
+		}
+		Bytecode json.RawMessage `json:"bytecode"`
+	}
+	for _, path := range paths {
+		rawData, err := contractCodesAssets.ReadFile(path)
+		if err != nil {
+			t.Error(err)
+		}
+		var test struct {
+			Contract string `json:"contract"`
+			Asserts  []struct {
+				Index int    `json:"index"`
+				Value string `json:"value"`
+			}
+			Bytecode json.RawMessage `json:"bytecode"`
+		}
+		if err := json.Unmarshal(rawData, &test); err != nil {
+			t.Error(err)
+		}
+		tests = append(tests, test)
+	}
+	codeDatabase := db.New(t.TempDir(), 0)
+	storageDatabase := db.NewBlockSpecificDatabase(db.New(t.TempDir(), 0))
+	manager := NewStateManager(codeDatabase, *storageDatabase)
+	for _, test := range tests {
+		var code ContractCode
+		if err := json.Unmarshal(test.Bytecode, &code); err != nil {
+			t.Error(err)
+		}
+		beforeRaw, err := json.Marshal(&code)
+		if err != nil {
+			t.Error(err)
+		}
+		manager.PutCode(test.Contract, &code)
+		obtainedCode := manager.GetCode(test.Contract)
+		afterRaw, err := json.Marshal(obtainedCode)
+		if err != nil {
+			t.Error(err)
+		}
+		if bytes.Compare(beforeRaw, afterRaw) != 0 {
+			t.Errorf("contract code for contract %s mistmash after Put-Get operation with the manager", test.Contract)
+		}
+	}
+}
diff --git a/pkg/db/state/storage_test.go b/pkg/db/state/storage_test.go
new file mode 100644
index 00000000..12771cf8
--- /dev/null
+++ b/pkg/db/state/storage_test.go
@@ -0,0 +1,232 @@
+package state
+
+import (
+	"bytes"
+	"github.com/NethermindEth/juno/pkg/db"
+	"math/big"
+	"testing"
+)
+
+func TestContractAddress_Marshal(t *testing.T) {
+	var tests = [...]struct {
+		Address string
+	}{
+		{"1bd7ca87f139693e6681be2042194cf631c4e8d77027bf0ea9e6d55fc6018ac"},
+		{"5f28c66afd8a6799ddbe1933bce2c144625031aafa881fa38fa830790eff204"},
+		{"004ba0bca2ee5c2842a5529a1548f4c18fb6378deb54300fe38caeb88072b30d"},
+		{"04a195621eab23e04dc7357e598eb06ea64830f2542d7bfa0b412a578134738f"},
+	}
+	for _, test := range tests {
+		want, ok := new(big.Int).SetString(test.Address, 16)
+		if !ok {
+			t.Errorf("error parsing contract address %s", test.Address)
+		}
+		contractAddress := ContractAddress(test.Address)
+		obtainedRaw, err := contractAddress.Marshal()
+		if err != nil {
+			t.Error(err)
+		}
+		if bytes.Compare(obtainedRaw, want.Bytes()) != 0 {
+			t.Errorf("json.Marshal(%s) = %v, want: %v", contractAddress, obtainedRaw, want.Bytes())
+		}
+	}
+}
+
+func fromString(contractAddress string) big.Int {
+	k, _ := new(big.Int).SetString(contractAddress, 16)
+	return *k
+}
+
+func TestContractStorage_Marshal(t *testing.T) {
+	var tests = [...]struct {
+		ContractStorage ContractStorage
+		Want            []byte
+	}{
+		{
+			make([]contractStorageItem, 0),
+			[]byte("{}"),
+		},
+		{
+			[]contractStorageItem{
+				{
+					Key:   fromString("5aee31408163292105d875070f98cb48275b8c87e80380b78d30647e05854d5"),
+					Value: fromString("7e5"),
+				},
+			},
+			[]byte("{\"5aee31408163292105d875070f98cb48275b8c87e80380b78d30647e05854d5\":\"7e5\"}"),
+		},
+	}
+	for i, test := range tests {
+		result, err := test.ContractStorage.Marshal()
+		if err != nil {
+			t.Error(err)
+		}
+		if bytes.Compare(result, test.Want) != 0 {
+			t.Errorf("marshal for contract storage at test index %d returns %s, want: %s", i, result, test.Want)
+		}
+	}
+}
+
+func TestContractStorage_Unmarshal(t *testing.T) {
+	var tests = [...]struct {
+		RawData []byte
+		Want    ContractStorage
+	}{
+		{
+			[]byte("{}"),
+			make([]contractStorageItem, 0),
+		},
+		{
+			[]byte("{\"5aee31408163292105d875070f98cb48275b8c87e80380b78d30647e05854d5\":\"7e5\"}"),
+			[]contractStorageItem{
+				{
+					Key:   fromString("5aee31408163292105d875070f98cb48275b8c87e80380b78d30647e05854d5"),
+					Value: fromString("7e5"),
+				},
+			},
+		},
+	}
+	for _, test := range tests {
+		contractStorage := new(ContractStorage)
+		err := contractStorage.Unmarshal(test.RawData)
+		if err != nil {
+			t.Error(err)
+		}
+		for _, item := range test.Want {
+			found := false
+			for _, newItem := range *contractStorage {
+				if newItem.Key.Cmp(&item.Key) == 0 {
+					found = true
+					if newItem.Value.Cmp(&item.Value) != 0 {
+						t.Errorf("value for key %s is %s, want %s", item.Key.Text(16), newItem.Value.Text(16), item.Value.Text(16))
+					}
+				}
+			}
+			if !found {
+				t.Errorf("key not found %s", item.Key.Text(16))
+			}
+		}
+	}
+}
+
+func TestManager_Storage(t *testing.T) {
+	var initialData = [...]struct {
+		Contract    string
+		Storage     ContractStorage
+		BlockNumber uint64
+	}{
+		{
+			"20cfa74ee3564b4cd5435cdace0f9c4d43b939620e4a0bb5076105df0a626c6",
+			[]contractStorageItem{
+				{
+					Key:   fromString("5"),
+					Value: fromString("22b"),
+				},
+				{
+					Key:   fromString("5aee31408163292105d875070f98cb48275b8c87e80380b78d30647e05854d5"),
+					Value: fromString("7e5"),
+				},
+			},
+			3,
+		},
+		{
+			"20cfa74ee3564b4cd5435cdace0f9c4d43b939620e4a0bb5076105df0a626c6",
+			[]contractStorageItem{
+				{
+					Key:   fromString("313ad57fdf765addc71329abf8d74ac2bce6d46da8c2b9b82255a5076620300"),
+					Value: fromString("4e7e989d58a17cd279eca440c5eaa829efb6f9967aaad89022acbe644c39b36"),
+				},
+				{
+					Key:   fromString("313ad57fdf765addc71329abf8d74ac2bce6d46da8c2b9b82255a5076620301"),
+					Value: fromString("453ae0c9610197b18b13645c44d3d0a407083d96562e8752aab3fab616cecb0"),
+				},
+				{
+					Key:   fromString("6cf6c2f36d36b08e591e4489e92ca882bb67b9c39a3afccf011972a8de467f0"),
+					Value: fromString("7ab344d88124307c07b56f6c59c12f4543e9c96398727854a322dea82c73240"),
+				},
+			},
+			5,
+		},
+	}
+	codeDatabase := db.New(t.TempDir(), 0)
+	storageDatabase := db.NewBlockSpecificDatabase(db.New(t.TempDir(), 0))
+	manager := NewStateManager(codeDatabase, *storageDatabase)
+	for _, data := range initialData {
+		manager.PutStorage(data.Contract, data.BlockNumber, &data.Storage)
+	}
+	var tests = [...]struct {
+		Contract    string
+		BlockNumber uint64
+		Ok          bool
+		Checks      []struct {
+			Key   string
+			Value string
+		}
+	}{
+		{
+			"20cfa74ee3564b4cd5435cdace0f9c4d43b939620e4a0bb5076105df0a626c6",
+			0,
+			false,
+			nil,
+		},
+		{
+			"20cfa74ee3564b4cd5435cdace0f9c4d43b939620e4a0bb5076105df0a626c6",
+			3,
+			true,
+			[]struct {
+				Key   string
+				Value string
+			}{
+				{
+					"5",
+					"22b",
+				},
+			},
+		},
+		{
+			"20cfa74ee3564b4cd5435cdace0f9c4d43b939620e4a0bb5076105df0a626c6",
+			10000,
+			true,
+			[]struct {
+				Key   string
+				Value string
+			}{
+				{
+					"313ad57fdf765addc71329abf8d74ac2bce6d46da8c2b9b82255a5076620300",
+					"4e7e989d58a17cd279eca440c5eaa829efb6f9967aaad89022acbe644c39b36",
+				},
+			},
+		},
+	}
+	for _, test := range tests {
+		obtainedStorage, ok := manager.GetStorage(test.Contract, test.BlockNumber)
+		if ok != test.Ok {
+			t.Errorf("storage of contract %s must not found for bloc %d", test.Contract, test.BlockNumber)
+		}
+		if !ok && obtainedStorage != nil {
+			t.Errorf("obtained storage must nil if ok is false, in contract %s", test.Contract)
+		}
+		if ok && obtainedStorage == nil {
+			t.Errorf("obtained storage must not nil if ok is true, in contract %s", test.Contract)
+		}
+		if ok && test.Checks != nil {
+			for _, check := range test.Checks {
+				found := false
+				for _, x := range *obtainedStorage {
+					yKey := fromString(check.Key)
+					yValue := fromString(check.Value)
+					if x.Key.Cmp(&yKey) == 0 {
+						found = true
+						if x.Value.Cmp(&yValue) != 0 {
+							t.Errorf("unexpected key value afeter Put-Get operations. Contract: %s, Key: %s, Obtained value: %s, Want: %s",
+								test.Contract, x.Key.Text(16), x.Value.Text(16), yValue.Text(16))
+						}
+					}
+				}
+				if !found {
+					t.Errorf("key not found: %s for contract: %s", check.Key, test.Contract)
+				}
+			}
+		}
+	}
+}
diff --git a/pkg/db/state/test_assets/contract-codes/Code-1.json b/pkg/db/state/test_assets/contract-codes/Code-1.json
new file mode 100644
index 00000000..34de8600
--- /dev/null
+++ b/pkg/db/state/test_assets/contract-codes/Code-1.json
@@ -0,0 +1,1789 @@
+{
+  "contract": "1bd7ca87f139693e6681be2042194cf631c4e8d77027bf0ea9e6d55fc6018ac",
+  "asserts": [
+    {
+      "index": 0,
+      "value": "0x40780017fff7fff"
+    },
+    {
+      "index": 60,
+      "value": "0x400280007ffd7fff"
+    },
+    {
+      "index": 284,
+      "value": "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee6"
+    }
+  ],
+  "bytecode": [
+    "0x40780017fff7fff",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x400380007ffb7ffc",
+    "0x400380017ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x480280027ffb8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffd",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480080007fff8000",
+    "0x400080007ffd7fff",
+    "0x482480017ffd8001",
+    "0x1",
+    "0x482480017ffd8001",
+    "0x1",
+    "0xa0680017fff7ffe",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb",
+    "0x402a7ffc7ffd7fff",
+    "0x208b7fff7fff7ffe",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffd",
+    "0x4",
+    "0x400780017fff7ffd",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x400380007ffc7ffd",
+    "0x482680017ffc8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x48297ffc80007ffd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x43616c6c436f6e7472616374",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x7",
+    "0x480280057ff98000",
+    "0x480280067ff98000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x47657443616c6c657241646472657373",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x476574436f6e747261637441646472657373",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x476574426c6f636b54696d657374616d70",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f7261676552656164",
+    "0x400280007ffc7fff",
+    "0x400380017ffc7ffd",
+    "0x482680017ffc8000",
+    "0x3",
+    "0x480280027ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f726167655772697465",
+    "0x400280007ffb7fff",
+    "0x400380017ffb7ffc",
+    "0x400380027ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x456d69744576656e74",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x5",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x4765745478496e666f",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x400380017ff97ffa",
+    "0x400380007ff97ffb",
+    "0x482680017ff98000",
+    "0x2",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffa9",
+    "0x400780017fff8000",
+    "0x0",
+    "0x400780017fff8001",
+    "0x0",
+    "0x48127ffe7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480280007ffb8000",
+    "0x1104800180018000",
+    "0x20",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff99",
+    "0x40137ffd7fff8000",
+    "0x480280017ffb8000",
+    "0x40297ffd7fff8001",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ffb7fff8000",
+    "0x480280007ffc8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff77",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff8a",
+    "0x40137ffd7fff8000",
+    "0x480280017ffc8000",
+    "0x402580017fff8001",
+    "0x1",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff69",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffc",
+    "0x5",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x482680017ffc8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x40337fff7ffb8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x48317ffd80008000",
+    "0x400080007ffd7ffe",
+    "0x480080007ffc8000",
+    "0x400080017ffc7fff",
+    "0x482480017ffb8000",
+    "0x1",
+    "0x482480017ffb8000",
+    "0x3",
+    "0x480080027ffa8000",
+    "0x20680017fff7ffb",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff8",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0xf920571b9f85bdd92a867cfdc73319d0f8836f0e69e06e4c5566b6203f75cc",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff8e",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff51",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff2d",
+    "0x40137fff7fff8000",
+    "0x4003800080007ffd",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x29e211664c0b63c79638fbea474206ca74016b3e9a3dc4f9ac300ffd8bdf2cd",
+    "0x4828800080007ffc",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff48",
+    "0x482480017fff8000",
+    "0x1",
+    "0x40307ffe7ffd7fff",
+    "0x48127ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480080007ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff16",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0xb3dad08565eac3fa5d58691be077d428ef3156ff5407bd4bbee0ac68ab8f63",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff10",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5c",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffefe",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x23bad8d102433c088e9db7ed1c63d3c97cb2af1471606a71fbb60449e867f8f",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef8",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff44",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee6",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x107a2e2e5a8b6552e977246c45bfac446305174e86be2e5c74e8c0a20fd1de7",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee0",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff2c",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffece",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x2a51090713d169db8c21b794b222ff5dfad9498a96f87856bd08e4e18f1d5b9",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec8",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff14",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb6",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x30398ee6b5eb5f9dd0e4bb0a1b0e3ea13bbab3b2cb6675988ccaa92961c7d1",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb0",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffefc",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9e",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x2e011d5f09eaddee926fc346351731750ccf087bf843692ad9718681d7cbaa5",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe98",
+    "0x40137fff7fff8001",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4829800180008001",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee7",
+    "0x480a7ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe89",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x7a0aed07bb70ba331488c013b98ac5b836c5b713c7c0acda355543bb61e321",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe83",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffecf",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe71",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0xec4e9763d54a0a721416be3adfaba05ef0e02c6cf6ee4cd4d1ed0dd0f6d7e7",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe6b",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb7",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe59",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x112d26124b60e4d99e8c4387c732086fd96b159bf3d72e6d8f5f60c944533f1",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe53",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9f",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x4",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe41",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x5ad857f66a5b55f1301ff1ed7e098ac6d4433148f0b72ebc4a2945ab85ad53",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe3b",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffb",
+    "0x4003800180017ffc",
+    "0x400380007ffa7ffc",
+    "0x402780017ffa8002",
+    "0x1",
+    "0x4826800180018000",
+    "0x2",
+    "0x40297ffc7fff8003",
+    "0x4826800180018000",
+    "0x2",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe35",
+    "0x480a7ff97fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4829800180008003",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe7c",
+    "0x480a80027fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x37501df619c4fc4e96f6c0243f55e3abe7d1aca7db9af8f3740ba3696b3fdac",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe5d",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe57",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x1ccc09c8a19948e048de7add6929589945e25f22059c7345aaf7837188d8d05",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe3f",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe39",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x31e7534f8ddb1628d6e07db5c743e33403b9a0b57508a93f4c49582040a2f71",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe21",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe1b",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x1c0f41bf28d630c8a0bd10f3a5d5c0d1619cf96cfdb7da51b112c420ced36c9",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe03",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdfd",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x13f17de67551ae34866d4aa875cbace82f3a041eaa58b1d9e34568b0d0561b",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde5",
+    "0x48127ffe7fff8000",
+    "0x482480017ff78000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde0",
+    "0x48127ffe7fff8000",
+    "0x48127fee7fff8000",
+    "0x48127fee7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe7",
+    "0x480a7ff97fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd9",
+    "0x482480017ff88000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd4",
+    "0x48127ff07fff8000",
+    "0x48127ff07fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff80",
+    "0x400680017fff7fff",
+    "0x0",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd90",
+    "0x48127ff97fff8000",
+    "0x48127ff97fff8000",
+    "0x48127ff97fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff82",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff9d",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe5",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0xb",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd55",
+    "0x40137fff7fff8000",
+    "0x480a7ff57fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x41e",
+    "0x480a7ff67fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x39a",
+    "0x40137ffe7fff8001",
+    "0x40137fff7fff8002",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda5",
+    "0x40137fff7fff8003",
+    "0x40137ffe7fff8004",
+    "0x482680017ff98000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x20680017fff7fff",
+    "0x31",
+    "0x4802800080008000",
+    "0x4802800180038000",
+    "0x48307fff80007ffe",
+    "0x20680017fff7fff",
+    "0x2a",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x452d6860a623ebdaa6c0950cc1be6badc60b7ee699432b6ceba7d576d143119",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x7d63192efe618520ff16b20d68c272c91616493a0787cd8abbe361b993474be",
+    "0x48507fff7ffd8000",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x6b8b089e4656c5f38d849f04b338559393e37995280e3277136aba00f9a2254",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x68f0ae913141580a485fbd63911bc65ebd402c19a38d994f92b116cff2c9222",
+    "0x48507fff7ffd8000",
+    "0x20680017fff7ffa",
+    "0xd",
+    "0x480a80047fff8000",
+    "0x480a80017fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80027fff8000",
+    "0x4802800580038000",
+    "0x4802800480038000",
+    "0x4802800380038000",
+    "0x1104800180018000",
+    "0x37f",
+    "0x10780017fff7fff",
+    "0x2c",
+    "0x20680017fff7fff",
+    "0xd",
+    "0x480a80047fff8000",
+    "0x480a80017fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80027fff8000",
+    "0x4802800580038000",
+    "0x4802800480038000",
+    "0x4802800380038000",
+    "0x1104800180018000",
+    "0x388",
+    "0x10780017fff7fff",
+    "0x1f",
+    "0x10780017fff7fff",
+    "0x7",
+    "0x4802800180038000",
+    "0x480a7ff97fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x34c",
+    "0x480a80047fff8000",
+    "0x480a80017fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80027fff8000",
+    "0x4802800580038000",
+    "0x4802800480038000",
+    "0x4802800380038000",
+    "0x1104800180018000",
+    "0x360",
+    "0x4802800480038000",
+    "0x4802800380038000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x4802800580038000",
+    "0x482480017ff98000",
+    "0x2",
+    "0x482480017ff98000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x369",
+    "0x40137ffe7fff8005",
+    "0x40137ffc7fff8006",
+    "0x40137fff7fff8007",
+    "0x40137ffd7fff8008",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffced",
+    "0x40137fff7fff8009",
+    "0x480a80067fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a80007fff8000",
+    "0x480a80097fff8000",
+    "0x1104800180018000",
+    "0x395",
+    "0x40137fff7fff800a",
+    "0x48127ffe7fff8000",
+    "0x480a80077fff8000",
+    "0x4802800580038000",
+    "0x480a800a7fff8000",
+    "0x480a80097fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9c",
+    "0x48127ffe7fff8000",
+    "0x480a80087fff8000",
+    "0x480a80057fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a800a7fff8000",
+    "0x480a80097fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x400080007ffe7fff",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x480280007ffd8000",
+    "0x484480017fff8000",
+    "0x4",
+    "0x48307fff7ffd8000",
+    "0x480280027ffb8000",
+    "0x480080007ffe8000",
+    "0x400080017ffe7fff",
+    "0x482480017ffd8000",
+    "0x1",
+    "0x480080007ffc8000",
+    "0x48307fff7ffe8000",
+    "0x482480017fff8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280027ffb8000",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280037ffb8000",
+    "0x482480017ffc8000",
+    "0x2",
+    "0x480280007ffd8000",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x480080007ff28000",
+    "0x482480017ff18000",
+    "0x1",
+    "0x480080007ff58000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5f",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ff97fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x2da",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0xf10dbd44",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd77",
+    "0x400680017fff7fff",
+    "0x1",
+    "0x48127ffd7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd65",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe3e",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x2ad",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc94",
+    "0x48127ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe86",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd59",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe5",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x285",
+    "0x20780017fff7ffd",
+    "0xd",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe90",
+    "0x400680017fff7fff",
+    "0x0",
+    "0x48127ffc7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffb7fff8000",
+    "0x10780017fff7fff",
+    "0x4",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe70",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd3d",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd9",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x251",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x256",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe68",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd2f",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe7",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x22b",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x230",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc36",
+    "0x48127ffe7fff8000",
+    "0x48127ff77fff8000",
+    "0x48127ff77fff8000",
+    "0x482480017ffc8000",
+    "0x93a80",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe5d",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x482480017fe08000",
+    "0x93a80",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd17",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x1fe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x203",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe27",
+    "0x482480017fff8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x40507ffe7ffc7fff",
+    "0x48127ff97fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc02",
+    "0x48127ffe7fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ff37fff8000",
+    "0x482480017ffc8000",
+    "0x93a80",
+    "0x480680017fff8000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe29",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x482480017fe08000",
+    "0x93a80",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcfb",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd9",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x1ca",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdf5",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbad",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdfc",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffce8",
+    "0x48127ffe7fff8000",
+    "0x48127fe67fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x19d",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x1a2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdc6",
+    "0x48127ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffba6",
+    "0x48127ff77fff8000",
+    "0x48127ff77fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb82",
+    "0x400680017fff7fef",
+    "0x0",
+    "0x48127ff47fff8000",
+    "0x48127feb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdc6",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb6b",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd7b",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcbd",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffca",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x15a",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x15f",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd83",
+    "0x48127ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb63",
+    "0x48127ff77fff8000",
+    "0x48127ff77fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb3f",
+    "0x400680017fff7fef",
+    "0x1",
+    "0x48127ff47fff8000",
+    "0x48127feb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd83",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb28",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd1a",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc92",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffca",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x144",
+    "0x480a7ffb7fff8000",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x482680017ffc8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x153",
+    "0x208b7fff7fff7ffe",
+    "0x480280027ffb8000",
+    "0x480280017ffd8000",
+    "0x400080007ffe7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x48307fff7ffe8000",
+    "0x402a7ffd7ffc7fff",
+    "0x480280027ffb8000",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280037ffb8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffde",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffb7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffe00365a",
+    "0x20680017fff7fff",
+    "0x8",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffff0ef242bd",
+    "0x20680017fff7fff",
+    "0x8",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd7",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc69",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc68",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc67",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc66",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc65",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffb",
+    "0x4003800180007ffc",
+    "0x4826800180008000",
+    "0x2",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0",
+    "0x48127ff37fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x302e322e31",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff4",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff4",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa0a",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa00",
+    "0x40127fff7fff7ff9",
+    "0x48127ffe7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbe7",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9dc",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffc",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480280007ffd8000",
+    "0x48287ffb80007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d1",
+    "0x480a7ffb7fff8000",
+    "0x482680017ffc8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffd8000",
+    "0x4",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff5",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb91",
+    "0x400a7ffd7fff7fff",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb96",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9bb",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb9c",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9fa",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ff37fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffba7",
+    "0x20680017fff7fff",
+    "0x7",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ff97fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x20680017fff7fff",
+    "0xe",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9dc",
+    "0x48127ff37fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ff27fff8000",
+    "0x10780017fff7fff",
+    "0x18",
+    "0x400780017fff7ffd",
+    "0x4",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x40307ffe7ffd7fff",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffba2",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480280027ffc8000",
+    "0x480280037ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9c4",
+    "0x48127ff47fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x3",
+    "0x20780017fff7ffb",
+    "0x6",
+    "0x480a7ffa7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x480280027ffc8000",
+    "0x480280037ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff96b",
+    "0x40137ffe7fff8000",
+    "0x40137fff7fff8001",
+    "0x40137ffd7fff8002",
+    "0x480a7ffd7fff8000",
+    "0x480a80017fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff945",
+    "0x480a80027fff8000",
+    "0x482680017ffb8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffc8000",
+    "0x4",
+    "0x482a80007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe4",
+    "0x48127ffe7fff8000",
+    "0x482880007ffe8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffa",
+    "0x4",
+    "0x480a7ff97fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480280007ffb8000",
+    "0x400280007ffd7fff",
+    "0x480280017ffb8000",
+    "0x400280017ffd7fff",
+    "0x480280037ffb8000",
+    "0x400280027ffd7fff",
+    "0x480280027ffb8000",
+    "0x48327fff7ffc8000",
+    "0x400280037ffd7fff",
+    "0x480a7ff97fff8000",
+    "0x482680017ffa8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffb8000",
+    "0x4",
+    "0x480a7ffc7fff8000",
+    "0x482680017ffd8000",
+    "0x4",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffec",
+    "0x208b7fff7fff7ffe"
+  ]
+}
diff --git a/pkg/db/state/test_assets/contract-codes/Code-2.json b/pkg/db/state/test_assets/contract-codes/Code-2.json
new file mode 100644
index 00000000..25aa374f
--- /dev/null
+++ b/pkg/db/state/test_assets/contract-codes/Code-2.json
@@ -0,0 +1,1931 @@
+{
+  "contract": "5f28c66afd8a6799ddbe1933bce2c144625031aafa881fa38fa830790eff204",
+  "asserts": [
+    {
+      "index": 0,
+      "value": "0x40780017fff7fff"
+    },
+    {
+      "index": 111,
+      "value": "0x2"
+    },
+    {
+      "index": 1412,
+      "value": "0x208b7fff7fff7ffe"
+    }
+  ],
+  "bytecode": [
+    "0x40780017fff7fff",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x400380007ffb7ffc",
+    "0x400380017ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x480280027ffb8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffd",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480080007fff8000",
+    "0x400080007ffd7fff",
+    "0x482480017ffd8001",
+    "0x1",
+    "0x482480017ffd8001",
+    "0x1",
+    "0xa0680017fff7ffe",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb",
+    "0x402a7ffc7ffd7fff",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffd",
+    "0x4",
+    "0x400780017fff7ffd",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x400380007ffc7ffd",
+    "0x482680017ffc8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x48297ffc80007ffd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x43616c6c436f6e7472616374",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x7",
+    "0x480280057ff98000",
+    "0x480280067ff98000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x47657443616c6c657241646472657373",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x476574436f6e747261637441646472657373",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x476574426c6f636b54696d657374616d70",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f7261676552656164",
+    "0x400280007ffc7fff",
+    "0x400380017ffc7ffd",
+    "0x482680017ffc8000",
+    "0x3",
+    "0x480280027ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f726167655772697465",
+    "0x400280007ffb7fff",
+    "0x400380017ffb7ffc",
+    "0x400380027ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x456d69744576656e74",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x5",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x4765745478496e666f",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x400380017ff97ffa",
+    "0x400380007ff97ffb",
+    "0x482680017ff98000",
+    "0x2",
+    "0x208b7fff7fff7ffe",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffe",
+    "0x400780017fff8000",
+    "0x0",
+    "0x400780017fff8001",
+    "0x0",
+    "0x48127ffe7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffc",
+    "0x5",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x482680017ffc8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x40337fff7ffb8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x48317ffd80008000",
+    "0x400080007ffd7ffe",
+    "0x480080007ffc8000",
+    "0x400080017ffc7fff",
+    "0x482480017ffb8000",
+    "0x1",
+    "0x482480017ffb8000",
+    "0x3",
+    "0x480080027ffa8000",
+    "0x20680017fff7ffb",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff8",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480280007ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd5",
+    "0x40137ffd7fff8000",
+    "0x480280017ffb8000",
+    "0x40297ffd7fff8001",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ffb7fff8000",
+    "0x480280007ffc8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5e",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc6",
+    "0x40137ffd7fff8000",
+    "0x480280017ffc8000",
+    "0x402580017fff8001",
+    "0x1",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff50",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0xf920571b9f85bdd92a867cfdc73319d0f8836f0e69e06e4c5566b6203f75cc",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff8d",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff50",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff2d",
+    "0x40137fff7fff8000",
+    "0x4003800080007ffd",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x29e211664c0b63c79638fbea474206ca74016b3e9a3dc4f9ac300ffd8bdf2cd",
+    "0x4828800080007ffc",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff47",
+    "0x482480017fff8000",
+    "0x1",
+    "0x40307ffe7ffd7fff",
+    "0x48127ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480080007ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff16",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0xb3dad08565eac3fa5d58691be077d428ef3156ff5407bd4bbee0ac68ab8f63",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff10",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5b",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffefe",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x23bad8d102433c088e9db7ed1c63d3c97cb2af1471606a71fbb60449e867f8f",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef8",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff43",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee6",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x107a2e2e5a8b6552e977246c45bfac446305174e86be2e5c74e8c0a20fd1de7",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee0",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff2b",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffece",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x2a51090713d169db8c21b794b222ff5dfad9498a96f87856bd08e4e18f1d5b9",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec8",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff13",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb6",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x30398ee6b5eb5f9dd0e4bb0a1b0e3ea13bbab3b2cb6675988ccaa92961c7d1",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb0",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffefb",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9e",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x2e011d5f09eaddee926fc346351731750ccf087bf843692ad9718681d7cbaa5",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe98",
+    "0x40137fff7fff8001",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4829800180008001",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee6",
+    "0x480a7ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe89",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x7a0aed07bb70ba331488c013b98ac5b836c5b713c7c0acda355543bb61e321",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe83",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffece",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe71",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0xec4e9763d54a0a721416be3adfaba05ef0e02c6cf6ee4cd4d1ed0dd0f6d7e7",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe6b",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb6",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe59",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x112d26124b60e4d99e8c4387c732086fd96b159bf3d72e6d8f5f60c944533f1",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe53",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffd",
+    "0x4826800180018000",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4828800180007ffc",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9e",
+    "0x480a7ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x4",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe41",
+    "0x40137fff7fff8000",
+    "0x480680017fff8000",
+    "0x5ad857f66a5b55f1301ff1ed7e098ac6d4433148f0b72ebc4a2945ab85ad53",
+    "0x4002800080007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe3b",
+    "0x40137fff7fff8001",
+    "0x4003800080017ffb",
+    "0x4003800180017ffc",
+    "0x400380007ffa7ffc",
+    "0x402780017ffa8002",
+    "0x1",
+    "0x4826800180018000",
+    "0x2",
+    "0x40297ffc7fff8003",
+    "0x4826800180018000",
+    "0x2",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe35",
+    "0x480a7ff97fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x480a80007fff8000",
+    "0x4829800180008003",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe7b",
+    "0x480a80027fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x37501df619c4fc4e96f6c0243f55e3abe7d1aca7db9af8f3740ba3696b3fdac",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe5c",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe56",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x1ccc09c8a19948e048de7add6929589945e25f22059c7345aaf7837188d8d05",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe3e",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe38",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x31e7534f8ddb1628d6e07db5c743e33403b9a0b57508a93f4c49582040a2f71",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe20",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe1a",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x1c0f41bf28d630c8a0bd10f3a5d5c0d1619cf96cfdb7da51b112c420ced36c9",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe02",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdfc",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x13f17de67551ae34866d4aa875cbace82f3a041eaa58b1d9e34568b0d0561b",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde4",
+    "0x48127ffe7fff8000",
+    "0x482480017ff78000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffddf",
+    "0x48127ffe7fff8000",
+    "0x48127fee7fff8000",
+    "0x48127fee7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe7",
+    "0x480a7ff97fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd8",
+    "0x482480017ff88000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd3",
+    "0x48127ff07fff8000",
+    "0x48127ff07fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff80",
+    "0x400680017fff7fff",
+    "0x0",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd8f",
+    "0x48127ff97fff8000",
+    "0x48127ff97fff8000",
+    "0x48127ff97fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff82",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff9d",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe5",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0xc",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd55",
+    "0x40137fff7fff8000",
+    "0x480a7ff57fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x4ac",
+    "0x480a7ff67fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x3c0",
+    "0x40137fff7fff8001",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda5",
+    "0x40137fff7fff8002",
+    "0x48127ffe7fff8000",
+    "0x48127ff77fff8000",
+    "0x4802800180028000",
+    "0x480a7ff97fff8000",
+    "0x480a80007fff8000",
+    "0x480a7ffd7fff8000",
+    "0x4802800280028000",
+    "0x4802800080028000",
+    "0x1104800180018000",
+    "0x430",
+    "0x40137fff7fff8003",
+    "0x40137ffd7fff8004",
+    "0x40137ffe7fff8005",
+    "0x482680017ff98000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x20680017fff7fff",
+    "0x31",
+    "0x4802800080008000",
+    "0x4802800180028000",
+    "0x48307fff80007ffe",
+    "0x20680017fff7fff",
+    "0x2a",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x452d6860a623ebdaa6c0950cc1be6badc60b7ee699432b6ceba7d576d143119",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x7d63192efe618520ff16b20d68c272c91616493a0787cd8abbe361b993474be",
+    "0x48507fff7ffd8000",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x6b8b089e4656c5f38d849f04b338559393e37995280e3277136aba00f9a2254",
+    "0x4802800180008000",
+    "0x482480017fff8000",
+    "0x68f0ae913141580a485fbd63911bc65ebd402c19a38d994f92b116cff2c9222",
+    "0x48507fff7ffd8000",
+    "0x20680017fff7ffa",
+    "0xd",
+    "0x480a80047fff8000",
+    "0x480a80057fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80017fff8000",
+    "0x480a80037fff8000",
+    "0x4802800480028000",
+    "0x4802800380028000",
+    "0x1104800180018000",
+    "0x39a",
+    "0x10780017fff7fff",
+    "0x2c",
+    "0x20680017fff7fff",
+    "0xd",
+    "0x480a80047fff8000",
+    "0x480a80057fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80017fff8000",
+    "0x480a80037fff8000",
+    "0x4802800480028000",
+    "0x4802800380028000",
+    "0x1104800180018000",
+    "0x3a3",
+    "0x10780017fff7fff",
+    "0x1f",
+    "0x10780017fff7fff",
+    "0x7",
+    "0x4802800180028000",
+    "0x480a7ff97fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x367",
+    "0x480a80047fff8000",
+    "0x480a80057fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80017fff8000",
+    "0x480a80037fff8000",
+    "0x4802800480028000",
+    "0x4802800380028000",
+    "0x1104800180018000",
+    "0x37b",
+    "0x4802800480028000",
+    "0x4802800380028000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a80037fff8000",
+    "0x482480017ff98000",
+    "0x2",
+    "0x482480017ff98000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x384",
+    "0x40137ffe7fff8006",
+    "0x40137ffc7fff8007",
+    "0x40137fff7fff8008",
+    "0x40137ffd7fff8009",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffce2",
+    "0x40137fff7fff800a",
+    "0x480a80077fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a80007fff8000",
+    "0x480a800a7fff8000",
+    "0x1104800180018000",
+    "0x3b0",
+    "0x40137fff7fff800b",
+    "0x48127ffe7fff8000",
+    "0x480a80087fff8000",
+    "0x480a80037fff8000",
+    "0x480a800b7fff8000",
+    "0x480a800a7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe91",
+    "0x48127ffe7fff8000",
+    "0x480a80097fff8000",
+    "0x480a80067fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a800b7fff8000",
+    "0x480a800a7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x3",
+    "0x4003800080007ffb",
+    "0x400380007ffd7ffb",
+    "0x402780017ffd8001",
+    "0x1",
+    "0x4826800180008000",
+    "0x1",
+    "0x40297ffb7fff8002",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc6",
+    "0x480a80017fff8000",
+    "0x4829800080008002",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x3",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x400080007ffe7fff",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x480280007ffd8000",
+    "0x484480017fff8000",
+    "0x4",
+    "0x48307fff7ffd8000",
+    "0x480280027ffb8000",
+    "0x480080007ffe8000",
+    "0x400080017ffe7fff",
+    "0x482480017ffd8000",
+    "0x1",
+    "0x480080007ffc8000",
+    "0x48307fff7ffe8000",
+    "0x482480017fff8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280027ffb8000",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280037ffb8000",
+    "0x482480017ffc8000",
+    "0x2",
+    "0x480280007ffd8000",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x480080007ff28000",
+    "0x482480017ff18000",
+    "0x1",
+    "0x480080007ff58000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff3f",
+    "0x40137ffa7fff8000",
+    "0x40137ffb7fff8001",
+    "0x40137ffc7fff8002",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc6",
+    "0x480a80007fff8000",
+    "0x480a80017fff8000",
+    "0x48127ffb7fff8000",
+    "0x480a80027fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x2da",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0xf10dbd44",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd51",
+    "0x400680017fff7fff",
+    "0x1",
+    "0x48127ffd7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd3f",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe18",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x2ad",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc6d",
+    "0x48127ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe60",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd33",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe5",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x285",
+    "0x20780017fff7ffd",
+    "0xd",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe6a",
+    "0x400680017fff7fff",
+    "0x0",
+    "0x48127ffc7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffb7fff8000",
+    "0x10780017fff7fff",
+    "0x4",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe4a",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd17",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd9",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x251",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x256",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe42",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd09",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe7",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x22b",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x230",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc0f",
+    "0x48127ffe7fff8000",
+    "0x48127ff77fff8000",
+    "0x48127ff77fff8000",
+    "0x482480017ffc8000",
+    "0x93a80",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe37",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x482480017fe08000",
+    "0x93a80",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcf1",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x1fe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x203",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe01",
+    "0x482480017fff8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x40507ffe7ffc7fff",
+    "0x48127ff97fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbdb",
+    "0x48127ffe7fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ff37fff8000",
+    "0x482480017ffc8000",
+    "0x93a80",
+    "0x480680017fff8000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe03",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x482480017fe08000",
+    "0x93a80",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcd5",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd9",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x1ca",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdcf",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb86",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdd6",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc2",
+    "0x48127ffe7fff8000",
+    "0x48127fe67fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x19d",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x1a2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda0",
+    "0x48127ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb7f",
+    "0x48127ff77fff8000",
+    "0x48127ff77fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb5b",
+    "0x400680017fff7fef",
+    "0x0",
+    "0x48127ff47fff8000",
+    "0x48127feb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda0",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb44",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd55",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc97",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffca",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x15a",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x15f",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd5d",
+    "0x48127ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb3c",
+    "0x48127ff77fff8000",
+    "0x48127ff77fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb18",
+    "0x400680017fff7fef",
+    "0x1",
+    "0x48127ff47fff8000",
+    "0x48127feb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd5d",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb01",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcf4",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc6c",
+    "0x48127ffe7fff8000",
+    "0x48127fe47fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffca",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x144",
+    "0x480a7ffb7fff8000",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x482680017ffc8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x153",
+    "0x208b7fff7fff7ffe",
+    "0x480280027ffb8000",
+    "0x480280017ffd8000",
+    "0x400080007ffe7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x48307fff7ffe8000",
+    "0x402a7ffd7ffc7fff",
+    "0x480280027ffb8000",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280037ffb8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffde",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffb7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffe00365a",
+    "0x20680017fff7fff",
+    "0x8",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffff0ef242bd",
+    "0x20680017fff7fff",
+    "0x8",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd7",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc43",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc42",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc41",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc40",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc3f",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffb",
+    "0x4003800180007ffc",
+    "0x4826800180008000",
+    "0x2",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0",
+    "0x48127ff37fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x302e322e30",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff4",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff4",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9e3",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d9",
+    "0x40127fff7fff7ff9",
+    "0x48127ffe7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9b5",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffc",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480280007ffd8000",
+    "0x48287ffb80007fff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9aa",
+    "0x480a7ffb7fff8000",
+    "0x482680017ffc8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffd8000",
+    "0x4",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff5",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb6b",
+    "0x400a7ffd7fff7fff",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb70",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff994",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb76",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d3",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ff37fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb81",
+    "0x20680017fff7fff",
+    "0x7",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ff97fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x20680017fff7fff",
+    "0xe",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9b5",
+    "0x48127ff37fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ff27fff8000",
+    "0x10780017fff7fff",
+    "0x18",
+    "0x400780017fff7ffd",
+    "0x4",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x40307ffe7ffd7fff",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb7c",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480280027ffc8000",
+    "0x480280037ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff99d",
+    "0x48127ff47fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x3",
+    "0x20780017fff7ffb",
+    "0x6",
+    "0x480a7ffa7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x480280027ffc8000",
+    "0x480280037ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff944",
+    "0x40137ffe7fff8000",
+    "0x40137fff7fff8001",
+    "0x40137ffd7fff8002",
+    "0x480a7ffd7fff8000",
+    "0x480a80017fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff91f",
+    "0x480a80027fff8000",
+    "0x482680017ffb8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffc8000",
+    "0x4",
+    "0x482a80007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe4",
+    "0x48127ffe7fff8000",
+    "0x482880007ffe8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ff77fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x1f",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff970",
+    "0x48127ff77fff8000",
+    "0x48127ffe7fff8000",
+    "0x480680017fff8000",
+    "0x537461726b4e6574205472616e73616374696f6e",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff99d",
+    "0x480a7ff87fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff99a",
+    "0x48127fd47fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff997",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff994",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff991",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff98e",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff99c",
+    "0x480a7ff67fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff8e3",
+    "0x40137fff7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0xd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff948",
+    "0x48127ff87fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a80007fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff965",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff983",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffb",
+    "0x4",
+    "0x480a7ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480280027ffc8000",
+    "0x480280037ffc8000",
+    "0x1104800180018000",
+    "0x1c",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff934",
+    "0x48127ff77fff8000",
+    "0x48127ffe7fff8000",
+    "0x480280007ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff962",
+    "0x480280017ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff95f",
+    "0x48127fd47fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff95c",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff96a",
+    "0x400280007ffd7fff",
+    "0x48127ffe7fff8000",
+    "0x482680017ffb8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffc8000",
+    "0x4",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe1",
+    "0x208b7fff7fff7ffe",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff91a",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff937",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff955",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffa",
+    "0x4",
+    "0x480a7ff97fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480280007ffb8000",
+    "0x400280007ffd7fff",
+    "0x480280017ffb8000",
+    "0x400280017ffd7fff",
+    "0x480280037ffb8000",
+    "0x400280027ffd7fff",
+    "0x480280027ffb8000",
+    "0x48327fff7ffc8000",
+    "0x400280037ffd7fff",
+    "0x480a7ff97fff8000",
+    "0x482680017ffa8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x482680017ffb8000",
+    "0x4",
+    "0x480a7ffc7fff8000",
+    "0x482680017ffd8000",
+    "0x4",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffec",
+    "0x208b7fff7fff7ffe"
+  ]
+}
diff --git a/pkg/db/state/test_assets/contract-codes/Code-3.json b/pkg/db/state/test_assets/contract-codes/Code-3.json
new file mode 100644
index 00000000..9d541d39
--- /dev/null
+++ b/pkg/db/state/test_assets/contract-codes/Code-3.json
@@ -0,0 +1,1366 @@
+{
+  "contract": "004ba0bca2ee5c2842a5529a1548f4c18fb6378deb54300fe38caeb88072b30d",
+  "asserts": [
+    {
+      "index": 0,
+      "value": "0x40780017fff7fff"
+    },
+    {
+      "index": 92,
+      "value": "0x208b7fff7fff7ffe"
+    },
+    {
+      "index": 873,
+      "value": "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde4"
+    }
+  ],
+  "bytecode": [
+    "0x40780017fff7fff",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x400380007ffb7ffc",
+    "0x400380017ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x480280027ffb8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffd",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480080007fff8000",
+    "0x400080007ffd7fff",
+    "0x482480017ffd8001",
+    "0x1",
+    "0x482480017ffd8001",
+    "0x1",
+    "0xa0680017fff7ffe",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb",
+    "0x402a7ffc7ffd7fff",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffd",
+    "0x4",
+    "0x400780017fff7ffd",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x400380007ffc7ffd",
+    "0x482680017ffc8000",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x48297ffc80007ffd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x43616c6c436f6e7472616374",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x7",
+    "0x480280057ff98000",
+    "0x480280067ff98000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x47657443616c6c657241646472657373",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x476574436f6e747261637441646472657373",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x47657454785369676e6174757265",
+    "0x400280007ffd7fff",
+    "0x482680017ffd8000",
+    "0x3",
+    "0x480280017ffd8000",
+    "0x480280027ffd8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f7261676552656164",
+    "0x400280007ffc7fff",
+    "0x400380017ffc7ffd",
+    "0x482680017ffc8000",
+    "0x3",
+    "0x480280027ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f726167655772697465",
+    "0x400280007ffb7fff",
+    "0x400380017ffb7ffc",
+    "0x400380027ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x400380017ff97ffa",
+    "0x400380007ff97ffb",
+    "0x482680017ff98000",
+    "0x2",
+    "0x208b7fff7fff7ffe",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffe",
+    "0x400780017fff8000",
+    "0x0",
+    "0x400780017fff8001",
+    "0x0",
+    "0x48127ffe7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x20780017fff7ffc",
+    "0x5",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x482680017ffc8000",
+    "0x800000000000011000000000000000000000000000000000000000000000000",
+    "0x40337fff7ffb8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x48317ffd80008000",
+    "0x400080007ffd7ffe",
+    "0x480080007ffc8000",
+    "0x400080017ffc7fff",
+    "0x482480017ffb8000",
+    "0x1",
+    "0x482480017ffb8000",
+    "0x3",
+    "0x480080027ffa8000",
+    "0x20680017fff7ffb",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff8",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480280007ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd5",
+    "0x40137ffd7fff8000",
+    "0x480280017ffb8000",
+    "0x40297ffd7fff8001",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ffb7fff8000",
+    "0x480280007ffc8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff6e",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc6",
+    "0x40137ffd7fff8000",
+    "0x480280017ffc8000",
+    "0x402580017fff8001",
+    "0x1",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff60",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x3",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff58",
+    "0x40137fff7fff8000",
+    "0x4003800080007ffb",
+    "0x4003800180007ffc",
+    "0x400380007ff97ffc",
+    "0x402780017ff98001",
+    "0x1",
+    "0x4826800180008000",
+    "0x2",
+    "0x40297ffc7fff8002",
+    "0x4826800180008000",
+    "0x2",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff52",
+    "0x480a7ff87fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480680017fff8000",
+    "0x28420862938116cb3bbdbedee07451ccc54d4e9412dbef71142ad1980a30941",
+    "0x4829800080008002",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff67",
+    "0x48127ffd7fff8000",
+    "0x480a80017fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff3a",
+    "0x40137fff7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x2228d32fe428a53a1a179be3226c078dbc4ad384b11589eda25b0dbd294813b",
+    "0x4829800080008000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff57",
+    "0x482480017fff8000",
+    "0x1",
+    "0x40307ffe7ffd7fff",
+    "0x48127ffc7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480080007ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x37501df619c4fc4e96f6c0243f55e3abe7d1aca7db9af8f3740ba3696b3fdac",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff65",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5f",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x1ccc09c8a19948e048de7add6929589945e25f22059c7345aaf7837188d8d05",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff47",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff41",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x31e7534f8ddb1628d6e07db5c743e33403b9a0b57508a93f4c49582040a2f71",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff29",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff23",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x13f17de67551ae34866d4aa875cbace82f3a041eaa58b1d9e34568b0d0561b",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff0b",
+    "0x48127ffe7fff8000",
+    "0x482480017ff78000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff06",
+    "0x48127ffe7fff8000",
+    "0x48127fee7fff8000",
+    "0x48127fee7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe7",
+    "0x480a7ff97fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeff",
+    "0x482480017ff88000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffefa",
+    "0x48127ff07fff8000",
+    "0x48127ff07fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffebc",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffa7",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc2",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffec",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x7",
+    "0x480a7ff57fff8000",
+    "0x480a7ff67fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x2e0",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffebb",
+    "0x40137fff7fff8000",
+    "0x40137ffe7fff8001",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeaf",
+    "0x40137fff7fff8002",
+    "0x48127ffe7fff8000",
+    "0x48127ff07fff8000",
+    "0x48127ff07fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x325",
+    "0x40137fff7fff8003",
+    "0x40137ffc7fff8004",
+    "0x40137ffe7fff8005",
+    "0x40137ffd7fff8006",
+    "0x4829800280007ff9",
+    "0x20680017fff7fff",
+    "0x2e",
+    "0x482680017ffa8000",
+    "0x452d6860a623ebdaa6c0950cc1be6badc60b7ee699432b6ceba7d576d143119",
+    "0x482680017ffa8000",
+    "0x7d63192efe618520ff16b20d68c272c91616493a0787cd8abbe361b993474be",
+    "0x48507fff7ffe8000",
+    "0x482680017ffa8000",
+    "0x6b8b089e4656c5f38d849f04b338559393e37995280e3277136aba00f9a2254",
+    "0x482680017ffa8000",
+    "0x68f0ae913141580a485fbd63911bc65ebd402c19a38d994f92b116cff2c9222",
+    "0x48507fff7ffe8000",
+    "0x20680017fff7ffc",
+    "0xd",
+    "0x480a80047fff8000",
+    "0x480a80067fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80057fff8000",
+    "0x480a80037fff8000",
+    "0x480a80007fff8000",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x2bf",
+    "0x10780017fff7fff",
+    "0x27",
+    "0x20680017fff7fff",
+    "0x15",
+    "0x480a80047fff8000",
+    "0x480a80067fff8000",
+    "0x480a80057fff8000",
+    "0x480a80007fff8000",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x2eb",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480a7ff77fff8000",
+    "0x48127ffb7fff8000",
+    "0x480a80037fff8000",
+    "0x48127ffa7fff8000",
+    "0x4826800180018000",
+    "0x1",
+    "0x1104800180018000",
+    "0x2c0",
+    "0x10780017fff7fff",
+    "0x12",
+    "0x480a80047fff8000",
+    "0x480a80067fff8000",
+    "0x480a7ff77fff8000",
+    "0x480a80057fff8000",
+    "0x480a80037fff8000",
+    "0x480a80007fff8000",
+    "0x480a80017fff8000",
+    "0x1104800180018000",
+    "0x29f",
+    "0x480a80037fff8000",
+    "0x4826800180008000",
+    "0x2",
+    "0x4826800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x2ae",
+    "0x48127ffc7fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe47",
+    "0x48127ffd7fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480280027ffb8000",
+    "0x480280027ffd8000",
+    "0x400080007ffe7fff",
+    "0x482680017ffd8000",
+    "0x3",
+    "0x480280027ffd8000",
+    "0x48307fff7ffe8000",
+    "0x482480017fff8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280027ffb8000",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280037ffb8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x480280027ffd8000",
+    "0x482680017ffd8000",
+    "0x3",
+    "0x480080007ff58000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff77",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdf",
+    "0x48127ff37fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ff27fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x236",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe00",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeeb",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffeb",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x214",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdde",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee7",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffeb",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x0",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x1f0",
+    "0x1104800180018000",
+    "0x1f9",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffed6",
+    "0x48307fe080007fff",
+    "0x20680017fff7fff",
+    "0x12",
+    "0x48127ffa7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127fdd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe5b",
+    "0x480680017fff8000",
+    "0x1",
+    "0x48127ffd7fff8000",
+    "0x48307ffd80007ffe",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdad",
+    "0x48127ff77fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127fdb7fff8000",
+    "0x10780017fff7fff",
+    "0x5",
+    "0x48127ffa7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ff97fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x273",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe7a",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x482480017fe58000",
+    "0x1f4",
+    "0x48127ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec1",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc6",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x1a9",
+    "0x1104800180018000",
+    "0x1b2",
+    "0x40137fff7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe8e",
+    "0x4828800080007fff",
+    "0x48507ffe7fff8000",
+    "0x20680017fff7fff",
+    "0x7",
+    "0x48127ff97fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ff87fff8000",
+    "0x10780017fff7fff",
+    "0xf",
+    "0x48127ff97fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe0d",
+    "0x48127ffe7fff8000",
+    "0x482480017ffe8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd60",
+    "0x48127ff87fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127fdb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x22b",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x482480017ffc8000",
+    "0x1f4",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe7e",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffca",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x168",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe53",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd30",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x48127ff87fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe5a",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe9",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x144",
+    "0x1104800180018000",
+    "0x14d",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x1e2",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe25",
+    "0x48127ffd7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127fde7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd09",
+    "0x48127ff17fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffddf",
+    "0x40127fff7fff7fde",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe24",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcee",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdf7",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffcb",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x100",
+    "0x1104800180018000",
+    "0x109",
+    "0x40137fff7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x19d",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde0",
+    "0x48127ffd7fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127fde7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc4",
+    "0x400a80007fff7ff5",
+    "0x48127ff17fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ffd7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x480680017fff8000",
+    "0x0",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde4",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcae",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd99",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffcd",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0xe3",
+    "0x480a7ffb7fff8000",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x482680017ffc8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0xf2",
+    "0x208b7fff7fff7ffe",
+    "0x480280027ffb8000",
+    "0x480280017ffd8000",
+    "0x400080007ffe7fff",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x480280017ffd8000",
+    "0x48307fff7ffe8000",
+    "0x402a7ffd7ffc7fff",
+    "0x480280027ffb8000",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280037ffb8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x480280007ffd8000",
+    "0x480280017ffd8000",
+    "0x482680017ffd8000",
+    "0x2",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffde",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffb7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffa7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd26",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd25",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd24",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd23",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffb",
+    "0x4003800180007ffc",
+    "0x4826800180008000",
+    "0x2",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0",
+    "0x48127ff37fff8000",
+    "0x48127ff37fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x302e312e30",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff4",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff4",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbed",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbe3",
+    "0x40127fff7fff7ff9",
+    "0x48127ffe7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbbd",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc79",
+    "0x400a7ffd7fff7fff",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x482480017ffc8000",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc7e",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbaa",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x48127ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc84",
+    "0x480a7ff97fff8000",
+    "0x480a7ffb7fff8000",
+    "0x48127ffd7fff8000",
+    "0x480280007ffc8000",
+    "0x480280017ffc8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbd9",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffd7fff8000",
+    "0x48127ff37fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x480a7ff77fff8000",
+    "0x480a7ff87fff8000",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc8f",
+    "0x40137ffd7fff8000",
+    "0x20680017fff7fff",
+    "0x7",
+    "0x48127ffc7fff8000",
+    "0x480a80007fff8000",
+    "0x480a7ff97fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x48127ffe7fff8000",
+    "0x482680017ffd8000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffff",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb85",
+    "0x48127ff77fff8000",
+    "0x48127ffe7fff8000",
+    "0x48127ff87fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc07",
+    "0x48127ffe7fff8000",
+    "0x480a80007fff8000",
+    "0x480a7ff97fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb57",
+    "0x40137fff7fff8000",
+    "0x480a80007fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb5a",
+    "0x482a7ffd80008000",
+    "0x480680017fff8000",
+    "0x657363617065",
+    "0x400080007ffe7fff",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x2",
+    "0x480a7ff67fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb7c",
+    "0x40137fff7fff8000",
+    "0x40137ffe7fff8001",
+    "0x480a7ff77fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x1104800180018000",
+    "0x1c",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb98",
+    "0x48127ff77fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a80007fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc6",
+    "0x480a7ff97fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc3",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc0",
+    "0x48127fc37fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbbd",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbba",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc8",
+    "0x480a80017fff8000",
+    "0x48127ffd7fff8000",
+    "0x480a7ff87fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb7e",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb9b",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbb9",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0x199d6f966f6b8e334ecb8a01c02985d6bcafad276d3dc8b25e406ca1e92d56c",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb52",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb4c",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe5",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x480280037ffb8000",
+    "0x48127ffa7fff8000",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd2",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480280037ffb8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffa7fff8000",
+    "0x208b7fff7fff7ffe"
+  ]
+}
diff --git a/pkg/db/state/test_assets/contract-codes/Code-4.json b/pkg/db/state/test_assets/contract-codes/Code-4.json
new file mode 100644
index 00000000..d3cba048
--- /dev/null
+++ b/pkg/db/state/test_assets/contract-codes/Code-4.json
@@ -0,0 +1,225 @@
+{
+  "contract": "04a195621eab23e04dc7357e598eb06ea64830f2542d7bfa0b412a578134738f",
+  "asserts": [
+    {
+      "index": 0,
+      "value": "0x20780017fff7ffd"
+    },
+    {
+      "index": 85,
+      "value": "0x480a7ffb7fff8000"
+    },
+    {
+      "index": 180,
+      "value": "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff99"
+    }
+  ],
+  "bytecode": [
+    "0x20780017fff7ffd",
+    "0x4",
+    "0x400780017fff7ffd",
+    "0x1",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x44656c656761746543616c6c",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x7",
+    "0x480280057ff98000",
+    "0x480280067ff98000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x44656c65676174654c3148616e646c6572",
+    "0x400280007ff97fff",
+    "0x400380017ff97ffa",
+    "0x400380027ff97ffb",
+    "0x400380037ff97ffc",
+    "0x400380047ff97ffd",
+    "0x482680017ff98000",
+    "0x7",
+    "0x480280057ff98000",
+    "0x480280067ff98000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f7261676552656164",
+    "0x400280007ffc7fff",
+    "0x400380017ffc7ffd",
+    "0x482680017ffc8000",
+    "0x3",
+    "0x480280027ffc8000",
+    "0x208b7fff7fff7ffe",
+    "0x480680017fff8000",
+    "0x53746f726167655772697465",
+    "0x400280007ffb7fff",
+    "0x400380017ffb7ffc",
+    "0x400380027ffb7ffd",
+    "0x482680017ffb8000",
+    "0x3",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x480680017fff8000",
+    "0xf920571b9f85bdd92a867cfdc73319d0f8836f0e69e06e4c5566b6203f75cc",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa",
+    "0x480a7ffb7fff8000",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe6",
+    "0x48127ffe7fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ff57fff8000",
+    "0x48127ffc7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed",
+    "0x480a7ffa7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0",
+    "0x48127ff67fff8000",
+    "0x48127ff67fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe5",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffaf",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe8",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3",
+    "0x208b7fff7fff7ffe",
+    "0x482680017ffd8000",
+    "0x1",
+    "0x402a7ffd7ffc7fff",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480280007ffd8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff87fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd5",
+    "0x48127ffc7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff88",
+    "0x48127ffd7fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe9",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ff87fff8000",
+    "0x480a7ff97fff8000",
+    "0x480a7ffa7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffba",
+    "0x48127ffc7fff8000",
+    "0x48127ffe7fff8000",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff79",
+    "0x48127ffd7fff8000",
+    "0x48127ff17fff8000",
+    "0x48127ff17fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x480a7ffa7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffeb",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x48127ffc7fff8000",
+    "0x480680017fff8000",
+    "0x0",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x480a7ffb7fff8000",
+    "0x480a7ffc7fff8000",
+    "0x480a7ffd7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff99",
+    "0x208b7fff7fff7ffe",
+    "0x40780017fff7fff",
+    "0x1",
+    "0x4003800080007ffc",
+    "0x4826800180008000",
+    "0x1",
+    "0x480a7ffd7fff8000",
+    "0x4828800080007ffe",
+    "0x480a80007fff8000",
+    "0x208b7fff7fff7ffe",
+    "0x402b7ffd7ffc7ffd",
+    "0x480280007ffb8000",
+    "0x480280017ffb8000",
+    "0x480280027ffb8000",
+    "0x1104800180018000",
+    "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee",
+    "0x48127ffe7fff8000",
+    "0x1104800180018000",
+    "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff1",
+    "0x48127ff47fff8000",
+    "0x48127ff47fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ffb7fff8000",
+    "0x48127ffb7fff8000",
+    "0x208b7fff7fff7ffe"
+  ]
+}