{ "abi": [{ "inputs": [], "name": "finalized", "outputs": [{ "name": "res", "type": "felt" }], "stateMutability": "view", "type": "function" }, { "data": [{ "name": "new_governor_nominee", "type": "felt" }, { "name": "nominated_by", "type": "felt" }], "keys": [], "name": "governor_nominated", "type": "event" }, { "data": [{ "name": "cancelled_nominee", "type": "felt" }, { "name": "cancelled_by", "type": "felt" }], "keys": [], "name": "nomination_cancelled", "type": "event" }, { "data": [{ "name": "removed_governor", "type": "felt" }, { "name": "removed_by", "type": "felt" }], "keys": [], "name": "governor_removed", "type": "event" }, { "data": [{ "name": "new_governor", "type": "felt" }], "keys": [], "name": "governance_accepted", "type": "event" }, { "inputs": [{ "name": "account", "type": "felt" }], "name": "is_governor", "outputs": [{ "name": "is_governor_", "type": "felt" }], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "init_governance", "outputs": [], "type": "function" }, { "inputs": [{ "name": "nominee", "type": "felt" }], "name": "nominate_new_governor", "outputs": [], "type": "function" }, { "inputs": [{ "name": "cancelee", "type": "felt" }], "name": "cancel_nomination", "outputs": [], "type": "function" }, { "inputs": [{ "name": "removee", "type": "felt" }], "name": "remove_governor", "outputs": [], "type": "function" }, { "inputs": [], "name": "accept_governance", "outputs": [], "type": "function" }, { "data": [{ "name": "implementation", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }, { "name": "final", "type": "felt" }], "keys": [], "name": "implementation_added", "type": "event" }, { "data": [{ "name": "implementation", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }, { "name": "final", "type": "felt" }], "keys": [], "name": "implementation_removed", "type": "event" }, { "data": [{ "name": "implementation", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }], "keys": [], "name": "implementation_upgraded", "type": "event" }, { "data": [{ "name": "implementation", "type": "felt" }], "keys": [], "name": "implementation_finalized", "type": "event" }, { "inputs": [], "name": "implementation", "outputs": [{ "name": "address", "type": "felt" }], "stateMutability": "view", "type": "function" }, { "inputs": [{ "name": "implementation_", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }, { "name": "final", "type": "felt" }], "name": "implementation_time", "outputs": [{ "name": "time", "type": "felt" }], "stateMutability": "view", "type": "function" }, { "inputs": [{ "name": "implementation_", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }, { "name": "final", "type": "felt" }], "name": "add_implementation", "outputs": [], "type": "function" }, { "inputs": [{ "name": "implementation_", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }, { "name": "final", "type": "felt" }], "name": "remove_implementation", "outputs": [], "type": "function" }, { "inputs": [{ "name": "implementation_", "type": "felt" }, { "name": "eic_address", "type": "felt" }, { "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }, { "name": "final", "type": "felt" }], "name": "upgrade_to", "outputs": [], "type": "function" }, { "inputs": [{ "name": "init_vector_len", "type": "felt" }, { "name": "init_vector", "type": "felt*" }], "name": "initialize", "outputs": [], "type": "function" }, { "inputs": [{ "name": "upgrade_delay_seconds", "type": "felt" }], "name": "constructor", "outputs": [], "type": "constructor" }, { "inputs": [{ "name": "selector", "type": "felt" }, { "name": "calldata_size", "type": "felt" }, { "name": "calldata", "type": "felt*" }], "name": "__default__", "outputs": [{ "name": "retdata_size", "type": "felt" }, { "name": "retdata", "type": "felt*" }], "type": "function" }, { "inputs": [{ "name": "selector", "type": "felt" }, { "name": "calldata_size", "type": "felt" }, { "name": "calldata", "type": "felt*" }], "name": "__l1_default__", "outputs": [], "type": "l1_handler" }], "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", "0x48297ffd80007ffc", "0x20680017fff7fff", "0x4", "0x402780017ffc7ffc", "0x1", "0x208b7fff7fff7ffe", "0x400380007ffc7ffd", "0x482680017ffc8000", "0x1", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x48297ffc80007ffd", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffb", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x3ffffffffffffffffffffffffffffff", "0x480280017ffc8000", "0x48307fff80007ffe", "0x400280027ffc7fff", "0x480280017ffc8000", "0x484480017fff8000", "0x100000000000000000000000000000000", "0x480280007ffc8000", "0x40317fff7ffe7ffd", "0x482680017ffc8000", "0x3", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x20680017fff7fff", "0x10", "0x480a7ffc7fff8000", "0x482680017ffd8000", "0x11000000000000000000000000000000000000000000000101", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed", "0x480680017fff8000", "0x800000000000011000000000000000000000000000000000000000000000000", "0x48127ffe7fff8000", "0x48287ffd80007ffe", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe7", "0x482680017ffd8000", "0x11000000000000000000000000000000000000000000000101", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x20680017fff7fff", "0xc", "0x40780017fff7fff", "0xa", "0x480680017fff8000", "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffeff", "0x480a7ffc7fff8000", "0x48287ffd80007ffe", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd8", "0x10780017fff7fff", "0x8", "0x40780017fff7fff", "0xb", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd0", "0x480a7ffd7fff8000", "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", "0x47657443616c6c657241646472657373", "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", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x3deed800708b45e9b8d2fb1c674394761dfb20b8c89d199e6c4cdb0974dd906", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa", "0x480a7ffb7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdc", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd6", "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", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0", "0x400680017fff7fff", "0x0", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3", "0x480680017fff8000", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc5", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0xe8fc4f1b6b3dc661208f9a8a5017a6c059098327e31518722e0a5c3a5a7e86", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa", "0x480a7ffb7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff8b", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff85", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x10bce98963d2e4d3c96d1d25422c3d2a989cdbb9fb71db6f95dcbfba8c4b3c8", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef0", "0x480a7ffc7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff22", "0x48127fe17fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff63", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2", "0x480a7ff97fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5c", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x222d6589b56d0ac1912a58387989f966f458b8de84e71844d58a394dafbd671", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec7", "0x480a7ffc7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef9", "0x48127fe17fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff3a", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2", "0x480a7ff97fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff33", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x2", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe9d", "0x40137fff7fff8000", "0x480680017fff8000", "0x3774b0545aabb37c45c1eddc6a7dae57de498aae6d5e3589e362d4b4323a533", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe97", "0x40137fff7fff8001", "0x4003800080017ffc", "0x4003800180017ffd", "0x4826800180018000", "0x2", "0x480a7ffa7fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff21", "0x480a7ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x2", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe84", "0x40137fff7fff8000", "0x480680017fff8000", "0x19b0b96cb0e0029733092527bca81129db5f327c064199b31ed8a9f857fdee3", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe7e", "0x40137fff7fff8001", "0x4003800080017ffc", "0x4003800180017ffd", "0x4826800180018000", "0x2", "0x480a7ffa7fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff08", "0x480a7ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x2", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe6b", "0x40137fff7fff8000", "0x480680017fff8000", "0x3b7aa6f257721ed65dae25f8a1ee350b92d02cd59a9dcfb1fc4e8887be194ec", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe65", "0x40137fff7fff8001", "0x4003800080017ffc", "0x4003800180017ffd", "0x4826800180018000", "0x2", "0x480a7ffa7fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeef", "0x480a7ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x2", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe52", "0x40137fff7fff8000", "0x480680017fff8000", "0x4595132f9b33b7077ebf2e7f3eb746a8e0a6d5c337c71cd8f9bf46cac3cfd7", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe4c", "0x40137fff7fff8001", "0x4003800080017ffd", "0x4826800180018000", "0x1", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffed7", "0x480a7ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff56", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x4003800080007ffc", "0x4826800180008000", "0x1", "0x480a7ffd7fff8000", "0x4828800080007ffe", "0x480a80007fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480280007ffd8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffea", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffee", "0x48127ff47fff8000", "0x48127ff47fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff0e", "0x400680017fff7fff", "0x0", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe8b", "0x48127ffe7fff8000", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x480680017fff8000", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff0f", "0x48127fe97fff8000", "0x480680017fff8000", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff32", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x48127fae7fff8000", "0x48127fad7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff62", "0x48127f967fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffaa", "0x48127ffe7fff8000", "0x48127fcc7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x402b7ffd7ffc7ffd", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffda", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0xc7", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffa7", "0x400680017fff7fff", "0x0", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff2d", "0x48127ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe4e", "0x48127ffe7fff8000", "0x48127ff87fff8000", "0x480a7ffd7fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff31", "0x48127ffe7fff8000", "0x48127fdd7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480280007ffd8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdb", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x96", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef8", "0x20680017fff7fff", "0x6", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef8", "0x48127ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe19", "0x48127ffe7fff8000", "0x48127ff87fff8000", "0x480a7ffd7fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff15", "0x48127ffe7fff8000", "0x48127fdd7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480280007ffd8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd7", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x61", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff41", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd92", "0x48127ffa7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdf0", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd91", "0x48127ffa7fff8000", "0x48127ff07fff8000", "0x48127ff07fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x0", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe98", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x48127fbc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffefa", "0x48127ffe7fff8000", "0x48127fe37fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480280007ffd8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd8", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdc6", "0x48127ffe7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe8e", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd5d", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x48127fbd7fff8000", "0x480680017fff8000", "0x0", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe92", "0x48127f847fff8000", "0x480680017fff8000", "0x1", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe64", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x48127f497fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee0", "0x48127ffe7fff8000", "0x48127fe47fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x402b7ffd7ffc7ffd", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffdc", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd96", "0x48127ffe7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffedc", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd2d", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "0x48127ffa7fff8000", "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", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcd9", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffc6", "0x40137ffd7fff8000", "0x480280017ffc8000", "0x402580017fff8001", "0x1", "0x48127ffb7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480280007ffd8000", "0x480280017ffd8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffccb", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc3", "0x40137fff7fff8000", "0x480a7ffb7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x3c0ba99f1a18bcdc81fcbcb6b4f15a9a6725f937075aed6fac107ffcb147068", "0x4829800080008000", "0x480a80007fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd1b", "0x482480017fff8000", "0x1", "0x40307ffe7ffd7fff", "0x48127ffc7fff8000", "0x480a7ffc7fff8000", "0x480080007ffc8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x3", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcaf", "0x40137fff7fff8000", "0x4003800080007ffc", "0x400380007ffa7ffc", "0x402780017ffa8001", "0x1", "0x4826800180008000", "0x1", "0x40297ffc7fff8002", "0x4826800180008000", "0x1", "0x480a7ffd7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcaa", "0x480a7ff97fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x79dc0da7c54b95f10aa182ad0a46400db63156920adb65eca2654c0945a463", "0x4829800080008002", "0x480a80007fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcfa", "0x48127ffd7fff8000", "0x480a80017fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x3", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc92", "0x40137fff7fff8000", "0x4003800080007ffc", "0x400380007ffa7ffc", "0x402780017ffa8001", "0x1", "0x4826800180008000", "0x1", "0x40297ffc7fff8002", "0x4826800180008000", "0x1", "0x480a7ffd7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc8d", "0x480a7ff97fff8000", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x3ea3b9a8522d36784cb325f9c7e2ec3c9f3e6d63031a6c6b8743cc22412f604", "0x4829800080008002", "0x480a80007fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcdd", "0x48127ffd7fff8000", "0x480a80017fff8000", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x3fc801c47df4de8d5835f8bfd4d0b8823ba63e5a3f278086901402d680abfc", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa", "0x480a7ffb7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcf3", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffced", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1ac8d354f2e793629cb233a16f10d13cf15b9c45bbc620577c8e1df95ede545", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc58", "0x480a7ffc7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc8a", "0x48127fe17fff8000", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff0", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffccb", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe2", "0x480a7ff97fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc4", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x480680017fff8000", "0x5d2e9527cbeb1a51aa084b0de7501f343b7b1bf24a0c427d6204a7b7988970", "0x208b7fff7fff7ffe", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffffa", "0x480a7ffb7fff8000", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcac", "0x48127ffe7fff8000", "0x48127ff57fff8000", "0x48127ff57fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffed", "0x480a7ffa7fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffca6", "0x48127ff67fff8000", "0x48127ff67fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x4", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc10", "0x40137fff7fff8000", "0x480680017fff8000", "0x2e8a4ec40a36a027111fafdb6a46746ff1b0125d5067fbaebd8b5f227185a1e", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc0a", "0x40137fff7fff8001", "0x4003800080017ff9", "0x4003800180017ffa", "0x4003800280017ffb", "0x400380007ff87ffb", "0x402780017ff88002", "0x1", "0x4826800180018000", "0x3", "0x40297ffb7fff8003", "0x4826800180018000", "0x3", "0x480a7ffc7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc03", "0x4003800080037ffd", "0x4826800180038000", "0x1", "0x480a7ff77fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc86", "0x480a80027fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x4", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbe9", "0x40137fff7fff8000", "0x480680017fff8000", "0x3ef46b1f8c5c94765c1d63fb24422442ea26f49289a18ba89c4138ebf450f6c", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbe3", "0x40137fff7fff8001", "0x4003800080017ff9", "0x4003800180017ffa", "0x4003800280017ffb", "0x400380007ff87ffb", "0x402780017ff88002", "0x1", "0x4826800180018000", "0x3", "0x40297ffb7fff8003", "0x4826800180018000", "0x3", "0x480a7ffc7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbdc", "0x4003800080037ffd", "0x4826800180038000", "0x1", "0x480a7ff77fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc5f", "0x480a80027fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x4", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbc2", "0x40137fff7fff8000", "0x480680017fff8000", "0x1205ec81562fc65c367136bd2fe1c0fff2d1986f70e4ba365e5dd747bd08753", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbbc", "0x40137fff7fff8001", "0x4003800080017ffa", "0x4003800180017ffb", "0x4003800280017ffc", "0x400380007ff97ffc", "0x402780017ff98002", "0x1", "0x4826800180018000", "0x3", "0x40297ffc7fff8003", "0x4826800180018000", "0x3", "0x480a7ffd7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffbb5", "0x480a7ff87fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4829800180008003", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc3b", "0x480a80027fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x2", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb9e", "0x40137fff7fff8000", "0x480680017fff8000", "0x2c6e1be7705f64cd4ec61d51a0c8e64ceed5e787198bd3291469fb870578922", "0x4002800080007fff", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb98", "0x40137fff7fff8001", "0x4003800080017ffd", "0x4826800180018000", "0x1", "0x480a7ffb7fff8000", "0x480680017fff8000", "0x1", "0x480a80007fff8000", "0x4828800180007ffc", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffc23", "0x480a7ffc7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff5b", "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", "0x480a7ff77fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x1a7", "0x480a7ff67fff8000", "0x48127ffd7fff8000", "0x480a7ff87fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff14", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x1", "0x4003800080007ffc", "0x4826800180008000", "0x1", "0x480a7ffd7fff8000", "0x4828800080007ffe", "0x480a80007fff8000", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280027ffd8000", "0x400080007ffe7fff", "0x482680017ffd8000", "0x3", "0x480280027ffd8000", "0x48307fff7ffe8000", "0x482480017fff8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280027ffb8000", "0x480280007ffb8000", "0x480280017ffb8000", "0x482480017ffd8000", "0x1", "0x480280007ffd8000", "0x480280017ffd8000", "0x480280027ffd8000", "0x482680017ffd8000", "0x3", "0x480080007ff68000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffd4", "0x48127ffe7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe0", "0x48127ff47fff8000", "0x48127ff47fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x5", "0x480a7ff67fff8000", "0x480a7ff77fff8000", "0x480a7ff87fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe10", "0x480a7ff97fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb42", "0x48127ffa7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffba7", "0x40137fff7fff8000", "0x48127ffe7fff8000", "0x48127ff47fff8000", "0x48127ff47fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffeb0", "0x40137fff7fff8001", "0x40137ffc7fff8002", "0x40137ffe7fff8003", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x159", "0x480a80027fff8000", "0x48127ffd7fff8000", "0x480a80037fff8000", "0x48127ffc7fff8000", "0x482a800180008000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffed3", "0x40137ffe7fff8004", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffef4", "0x48127ffe7fff8000", "0x480a80047fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280027ffd8000", "0x400080007ffe7fff", "0x482680017ffd8000", "0x3", "0x480280027ffd8000", "0x48307fff7ffe8000", "0x482480017fff8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280027ffb8000", "0x480280007ffb8000", "0x480280017ffb8000", "0x482480017ffd8000", "0x1", "0x480280007ffd8000", "0x480280017ffd8000", "0x480280027ffd8000", "0x482680017ffd8000", "0x3", "0x480080007ff68000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffb9", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x3", "0x480a7ff67fff8000", "0x480a7ff77fff8000", "0x480a7ff87fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffdbd", "0x40137ffd7fff8000", "0x40137fff7fff8001", "0x48127ffe7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x113", "0x480a80007fff8000", "0x48127ffd7fff8000", "0x480a80017fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe80", "0x20680017fff7fff", "0x6", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127fbf7fff8000", "0x480680017fff8000", "0x0", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe80", "0x40137ffe7fff8002", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffec8", "0x48127ffe7fff8000", "0x480a80027fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280027ffd8000", "0x400080007ffe7fff", "0x482680017ffd8000", "0x3", "0x480280027ffd8000", "0x48307fff7ffe8000", "0x482480017fff8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280027ffb8000", "0x480280007ffb8000", "0x480280017ffb8000", "0x482480017ffd8000", "0x1", "0x480280007ffd8000", "0x480280017ffd8000", "0x480280027ffd8000", "0x482680017ffd8000", "0x3", "0x480080007ff68000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffb9", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x9", "0x480a7ff67fff8000", "0x480a7ff77fff8000", "0x480a7ff87fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd6a", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb62", "0x40137fff7fff8000", "0x48127ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffb01", "0x40137fff7fff8001", "0x40137ffe7fff8002", "0x48127ff87fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0xba", "0x480a80027fff8000", "0x48127ffd7fff8000", "0x480a80007fff8000", "0x48127ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe27", "0x40137fff7fff8003", "0x480a80037fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa85", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x48127ff97fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffee1", "0x40137fff7fff8004", "0x40137ffc7fff8005", "0x40137ffd7fff8006", "0x20780017fff8004", "0x5", "0x48127ffe7fff8000", "0x10780017fff7fff", "0x7", "0x48127ffe7fff8000", "0x480a80037fff8000", "0x480a80017fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffa82", "0x480a80057fff8000", "0x480a80067fff8000", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x1104800180018000", "0x8f", "0x40137ffe7fff8007", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe89", "0x48127ffe7fff8000", "0x480a80077fff8000", "0x48127ffd7fff8000", "0x480a7ffd7fff8000", "0x480a7ff97fff8000", "0x1104800180018000", "0x6b", "0x40137ffe7fff8008", "0x20780017fff7ffa", "0x4", "0x10780017fff7fff", "0xd", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda6", "0x48127ffe7fff8000", "0x480a80087fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ff97fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd6c", "0x20680017fff7fff", "0xd", "0x48127ffd7fff8000", "0x48127ffd7fff8000", "0x480a7ff97fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd77", "0x48127ffe7fff8000", "0x480a80087fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x48127ffd7fff8000", "0x480a80087fff8000", "0x48127ffc7fff8000", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280027ffd8000", "0x400080007ffe7fff", "0x482680017ffd8000", "0x3", "0x480280027ffd8000", "0x48307fff7ffe8000", "0x482480017fff8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280027ffb8000", "0x480280007ffb8000", "0x480280017ffb8000", "0x482480017ffd8000", "0x1", "0x480280007ffd8000", "0x480280017ffd8000", "0x480280027ffd8000", "0x482680017ffd8000", "0x3", "0x480080007ff68000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffff7d", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480680017fff8000", "0x1", "0x400680017fff7fff", "0x0", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x208b7fff7fff7ffe", "0x480280027ffb8000", "0x480280007ffd8000", "0x400080007ffe7fff", "0x482680017ffd8000", "0x1", "0x480280007ffd8000", "0x48307fff7ffe8000", "0x402a7ffd7ffc7fff", "0x480280027ffb8000", "0x480280007ffb8000", "0x480280017ffb8000", "0x482480017ffd8000", "0x1", "0x480280007ffd8000", "0x482680017ffd8000", "0x1", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe9", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x20780017fff7ffc", "0x6", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffab9", "0x48127ffd7fff8000", "0x48127ffe7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe2d", "0x48127ffe7fff8000", "0x48127fe47fff8000", "0x48127ffd7fff8000", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffca6", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffda3", "0x208b7fff7fff7ffe", "0x40780017fff7fff", "0x0", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcae", "0x480a7ff87fff8000", "0x48127ffe7fff8000", "0x480a7ff97fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcdc", "0x480a7ffa7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcd9", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcd6", "0x480a7ffc7fff8000", "0x480a7ffb7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcc2", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffccf", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffcdd", "0x208b7fff7fff7ffe", "0x480a7ffa7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffd3c", "0x208b7fff7fff7ffe", "0x482680017ffd8000", "0x1", "0x402a7ffd7ffc7fff", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480280007ffd8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff3", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480a7ff87fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffe01", "0x48127ffc7fff8000", "0x48127ffe7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9e2", "0x48127ffd7fff8000", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x48127ffb7fff8000", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480a7ffa7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffe9", "0x208b7fff7fff7ffe", "0x480a7ff87fff8000", "0x480a7ff97fff8000", "0x480a7ffa7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffde6", "0x48127ffc7fff8000", "0x48127ffe7fff8000", "0x480a7ffb7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010fffffffffffffffffffffffffffffffffffffffffffff9d3", "0x48127ffd7fff8000", "0x48127ff17fff8000", "0x48127ff17fff8000", "0x208b7fff7fff7ffe", "0x480280007ffb8000", "0x480280017ffb8000", "0x480280027ffb8000", "0x480a7ffa7fff8000", "0x480a7ffc7fff8000", "0x480a7ffd7fff8000", "0x1104800180018000", "0x800000000000010ffffffffffffffffffffffffffffffffffffffffffffffeb", "0x40780017fff7fff", "0x1", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x48127ffc7fff8000", "0x480680017fff8000", "0x0", "0x48127ffb7fff8000", "0x208b7fff7fff7ffe"] }