{
    "cannotBeInlined": null,
    "summaryId": 0,
    "origCallcore": {
        "meta": [
            {
                "value": {
                    "sourceContext": {
                        "sourceDir": ".post_autofinders.0",
                        "indexToFilePath": {
                            "0": "Test.sol"
                        }
                    },
                    "address": "ce4604a0000000000000000000000001",
                    "jumpType": "REGULAR",
                    "len": 25,
                    "begin": 3020,
                    "source": 0
                },
                "key": {
                    "erasureStrategy": "CallTrace",
                    "type": "vc.data.TACMetaInfo",
                    "name": "tac.meta"
                }
            }
        ],
        "value": {
            "value": "0",
            "type": "vc.data.TACSymbol.Const"
        },
        "callType": "STATIC",
        "outBase": {
            "meta": [
                {
                    "value": {
                    },
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "tac.MetaMap$Companion$NothingValue",
                        "name": "tac.is.memory"
                    }
                },
                {
                    "value": "tacM",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 0,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.memory.partition-id"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.ByteMap"
            },
            "namePrefix": "tacMCANON0"
        },
        "outSize": {
            "value": "20",
            "type": "vc.data.TACSymbol.Const"
        },
        "outOffset": {
            "meta": [
                {
                    "value": "L",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 1016,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.stack.height"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.Bit256"
            },
            "namePrefix": "LCANON16",
            "type": "vc.data.TACSymbol.Var.Full"
        },
        "inBase": {
            "meta": [
                {
                    "value": {
                    },
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "tac.MetaMap$Companion$NothingValue",
                        "name": "tac.is.memory"
                    }
                },
                {
                    "value": "tacM",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 0,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.memory.partition-id"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.ByteMap"
            },
            "namePrefix": "tacMCANON0"
        },
        "inSize": {
            "meta": [
                {
                    "value": "L",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 1015,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.stack.height"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.Bit256"
            },
            "namePrefix": "LCANON17",
            "type": "vc.data.TACSymbol.Var.Full"
        },
        "inOffset": {
            "meta": [
                {
                    "value": "L",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 1014,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.stack.height"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.Bit256"
            },
            "namePrefix": "LCANON16",
            "type": "vc.data.TACSymbol.Var.Full"
        },
        "gas": {
            "meta": [
                {
                    "value": "L",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 1012,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.stack.height"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.Bit256"
            },
            "namePrefix": "LCANON20",
            "type": "vc.data.TACSymbol.Var.Full"
        },
        "to": {
            "meta": [
                {
                    "value": "L",
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.String",
                        "name": "Tac.symbol.keyword"
                    }
                },
                {
                    "value": 1013,
                    "key": {
                        "erasureStrategy": "Canonical",
                        "type": "java.lang.Integer",
                        "name": "tac.stack.height"
                    }
                }
            ],
            "callIndex": 1,
            "tag": {
                "type": "tac.Tag.Bit256"
            },
            "namePrefix": "LCANON12",
            "type": "vc.data.TACSymbol.Var.Full"
        }
    },
    "callConvention": {
        "rawOut": {
            "size": {
                "tag": {
                    "type": "tac.Tag.Bit256"
                },
                "value": "20",
                "type": "vc.data.TACSymbol.Const"
            },
            "offset": {
                "tag": {
                    "type": "tac.Tag.Bit256"
                },
                    "meta": [
                        {
                            "value": "L",
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.String",
                                "name": "Tac.symbol.keyword"
                            }
                        },
                        {
                            "value": 1016,
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.Integer",
                                "name": "tac.stack.height"
                            }
                        }
                    ],
                    "callIndex": 1,
                    "tag": {
                        "type": "tac.Tag.Bit256"
                    },
                    "namePrefix": "LCANON16",
                "type": "vc.data.TACSymbol.Var.Full"
            },
            "base": {
                "meta": [
                    {
                        "value": {
                        },
                        "key": {
                            "erasureStrategy": "Canonical",
                            "type": "tac.MetaMap$Companion$NothingValue",
                            "name": "tac.is.memory"
                        }
                    },
                    {
                        "value": "tacM",
                        "key": {
                            "erasureStrategy": "Canonical",
                            "type": "java.lang.String",
                            "name": "Tac.symbol.keyword"
                        }
                    },
                    {
                        "value": 0,
                        "key": {
                            "erasureStrategy": "Canonical",
                            "type": "java.lang.Integer",
                            "name": "tac.memory.partition-id"
                        }
                    }
                ],
                "callIndex": 1,
                "tag": {
                    "type": "tac.Tag.ByteMap"
                },
                "namePrefix": "tacMCANON0"
            }
        },
        "input": {
            "encodedArguments": null,
            "rangeToDecomposedArg": [
                {
                    "to": "3",
                    "from": "0"
                },
                {
                    "c": {
                        "value": "95efcd9e00000000000000000000000000000000000000000000000000000000"
                    },
                    "contractReference": null,
                    "scratchRange": {
                        "to": "3",
                        "from": "0"
                    },
                    "type": "analysis.icfg.DecomposedCallInputArg.Constant"
                },
                {
                    "to": "23",
                    "from": "4"
                },
                {
                    "v": {
                        "meta": [
                            {
                                "value": {
                                    "byteOffset": "4",
                                    "type": "tac.DecomposedInputScalarSort.Simple"
                                },
                                "key": {
                                    "erasureStrategy": "Canonical",
                                    "type": "tac.DecomposedInputScalarSort",
                                    "name": "tac.decomp-inscalar.sort"
                                }
                            }
                        ],
                        "callIndex": 1,
                        "tag": {
                            "type": "tac.Tag.Bit256"
                        },
                        "namePrefix": "CANON56"
                    },
                    "contractReference": null,
                    "scratchRange": {
                        "to": "23",
                        "from": "4"
                    },
                    "type": "analysis.icfg.DecomposedCallInputArg.Variable"
                }
            ],
            "inputSizeLowerBound": "24",
            "size": {
                "tag": {
                    "type": "tac.Tag.Bit256"
                },
                "s": {
                    "meta": [
                        {
                            "value": "L",
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.String",
                                "name": "Tac.symbol.keyword"
                            }
                        },
                        {
                            "value": 1015,
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.Integer",
                                "name": "tac.stack.height"
                            }
                        }
                    ],
                    "callIndex": 1,
                    "tag": {
                        "type": "tac.Tag.Bit256"
                    },
                    "namePrefix": "LCANON17"
                },
                "type": "vc.data.TACExpr.Sym.Var"
            },
            "simplifiedOffset": null,
            "offset": {
                "tag": {
                    "type": "tac.Tag.Bit256"
                },
                "s": {
                    "meta": [
                        {
                            "value": "L",
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.String",
                                "name": "Tac.symbol.keyword"
                            }
                        },
                        {
                            "value": 1014,
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.Integer",
                                "name": "tac.stack.height"
                            }
                        }
                    ],
                    "callIndex": 1,
                    "tag": {
                        "type": "tac.Tag.Bit256"
                    },
                    "namePrefix": "LCANON16"
                },
                "type": "vc.data.TACExpr.Sym.Var"
            },
            "baseVar": {
                "tag": {
                    "type": "tac.Tag.ByteMap"
                },
                "s": {
                    "meta": [
                        {
                            "value": {
                            },
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "tac.MetaMap$Companion$NothingValue",
                                "name": "tac.is.memory"
                            }
                        },
                        {
                            "value": "tacM",
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.String",
                                "name": "Tac.symbol.keyword"
                            }
                        },
                        {
                            "value": 0,
                            "key": {
                                "erasureStrategy": "Canonical",
                                "type": "java.lang.Integer",
                                "name": "tac.memory.partition-id"
                            }
                        }
                    ],
                    "callIndex": 1,
                    "tag": {
                        "type": "tac.Tag.ByteMap"
                    },
                    "namePrefix": "tacMCANON0"
                }
            }
        }
    },
    "sigResolution": [
        "95efcd9e"
    ],
    "callTarget": [{
        "contractId": "ce4604a0000000000000000000000001",
        "type": "analysis.icfg.CallGraphBuilder.CalledContract.FullyResolved.SelfLink"
    }],
    "callType": "STATIC",
    "outBase": {
        "meta": [
            {
                "value": {
                },
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "tac.MetaMap$Companion$NothingValue",
                    "name": "tac.is.memory"
                }
            },
            {
                "value": "tacM",
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.String",
                    "name": "Tac.symbol.keyword"
                }
            },
            {
                "value": 0,
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.Integer",
                    "name": "tac.memory.partition-id"
                }
            }
        ],
        "callIndex": 1,
        "tag": {
            "type": "tac.Tag.ByteMap"
        },
        "namePrefix": "tacMCANON0"
    },
    "outSize": {
        "value": "20",
        "type": "vc.data.TACSymbol.Const"
    },
    "outOffset": {
        "meta": [
            {
                "value": "L",
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.String",
                    "name": "Tac.symbol.keyword"
                }
            },
            {
                "value": 1016,
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.Integer",
                    "name": "tac.stack.height"
                }
            }
        ],
        "callIndex": 1,
        "tag": {
            "type": "tac.Tag.Bit256"
        },
        "namePrefix": "LCANON16",
        "type": "vc.data.TACSymbol.Var.Full"
    },
    "inBase": {
        "meta": [
            {
                "value": {
                },
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "tac.MetaMap$Companion$NothingValue",
                    "name": "tac.is.memory"
                }
            },
            {
                "value": "tacM",
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.String",
                    "name": "Tac.symbol.keyword"
                }
            },
            {
                "value": 0,
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.Integer",
                    "name": "tac.memory.partition-id"
                }
            }
        ],
        "callIndex": 1,
        "tag": {
            "type": "tac.Tag.ByteMap"
        },
        "namePrefix": "tacMCANON0"
    },
    "inSize": {
        "value": "24",
        "type": "vc.data.TACSymbol.Const"
    },
    "inOffset": {
        "meta": [
            {
                "value": "L",
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.String",
                    "name": "Tac.symbol.keyword"
                }
            },
            {
                "value": 1014,
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.Integer",
                    "name": "tac.stack.height"
                }
            }
        ],
        "callIndex": 1,
        "tag": {
            "type": "tac.Tag.Bit256"
        },
        "namePrefix": "LCANON16",
        "type": "vc.data.TACSymbol.Var.Full"
    },
    "gasVar": {
        "meta": [
            {
                "value": "L",
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.String",
                    "name": "Tac.symbol.keyword"
                }
            },
            {
                "value": 1012,
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.Integer",
                    "name": "tac.stack.height"
                }
            }
        ],
        "callIndex": 1,
        "tag": {
            "type": "tac.Tag.Bit256"
        },
        "namePrefix": "LCANON20",
        "type": "vc.data.TACSymbol.Var.Full"
    },
    "valueVar": {
        "value": "0",
        "type": "vc.data.TACSymbol.Const"
    },
    "symbolicSigResolution": null,
    "toVar": {
        "meta": [
            {
                "value": "L",
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.String",
                    "name": "Tac.symbol.keyword"
                }
            },
            {
                "value": 1013,
                "key": {
                    "erasureStrategy": "Canonical",
                    "type": "java.lang.Integer",
                    "name": "tac.stack.height"
                }
            }
        ],
        "callIndex": 1,
        "tag": {
            "type": "tac.Tag.Bit256"
        },
        "namePrefix": "LCANON12",
        "type": "vc.data.TACSymbol.Var.Full"
    }
}
