
======= yul_cfg_json_export/input.sol:C =======
Yul Control Flow Graph:
{
    "C_19": {
        "blocks": [
            {
                "exit": {
                    "cond": "v2",
                    "targets": [
                        "Block2",
                        "Block1"
                    ],
                    "type": "ConditionalJump"
                },
                "id": "Block0",
                "instructions": [
                    {
                        "builtinArgs": [
                            "0x80"
                        ],
                        "in": [],
                        "op": "memoryguard",
                        "out": [
                            "v0"
                        ]
                    },
                    {
                        "in": [
                            "v0",
                            "0x40"
                        ],
                        "op": "mstore",
                        "out": []
                    },
                    {
                        "in": [],
                        "op": "callvalue",
                        "out": [
                            "v2"
                        ]
                    }
                ],
                "liveness": {
                    "in": [],
                    "out": [
                        "v0"
                    ]
                },
                "type": "BuiltinCall"
            },
            {
                "exit": {
                    "type": "Terminated"
                },
                "id": "Block2",
                "instructions": [
                    {
                        "builtinArgs": [
                            "C_19_deployed"
                        ],
                        "in": [],
                        "op": "datasize",
                        "out": [
                            "v4"
                        ]
                    },
                    {
                        "builtinArgs": [
                            "C_19_deployed"
                        ],
                        "in": [],
                        "op": "dataoffset",
                        "out": [
                            "v5"
                        ]
                    },
                    {
                        "in": [
                            "v4",
                            "v5",
                            "v0"
                        ],
                        "op": "codecopy",
                        "out": []
                    },
                    {
                        "in": [
                            "v4",
                            "v0"
                        ],
                        "op": "return",
                        "out": []
                    }
                ],
                "liveness": {
                    "in": [
                        "v0"
                    ],
                    "out": []
                },
                "type": "BuiltinCall"
            },
            {
                "exit": {
                    "type": "Terminated"
                },
                "id": "Block1",
                "instructions": [
                    {
                        "in": [
                            "0x00",
                            "0x00"
                        ],
                        "op": "revert",
                        "out": []
                    }
                ],
                "liveness": {
                    "in": [],
                    "out": []
                },
                "type": "BuiltinCall"
            }
        ],
        "functions": {}
    },
    "subObjects": {
        "C_19_deployed": {
            "blocks": [
                {
                    "exit": {
                        "cond": "v5",
                        "targets": [
                            "Block2",
                            "Block1"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block0",
                    "instructions": [
                        {
                            "builtinArgs": [
                                "0x80"
                            ],
                            "in": [],
                            "op": "memoryguard",
                            "out": [
                                "v0"
                            ]
                        },
                        {
                            "in": [
                                "v0",
                                "0x40"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [],
                            "op": "calldatasize",
                            "out": [
                                "v3"
                            ]
                        },
                        {
                            "in": [
                                "0x04",
                                "v3"
                            ],
                            "op": "lt",
                            "out": [
                                "v4"
                            ]
                        },
                        {
                            "in": [
                                "v4"
                            ],
                            "op": "iszero",
                            "out": [
                                "v5"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block2",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v11",
                        "targets": [
                            "Block4",
                            "Block3"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block1",
                    "instructions": [
                        {
                            "in": [
                                "0x00"
                            ],
                            "op": "calldataload",
                            "out": [
                                "v7"
                            ]
                        },
                        {
                            "in": [
                                "v7",
                                "0xe0"
                            ],
                            "op": "shr",
                            "out": [
                                "v9"
                            ]
                        },
                        {
                            "in": [
                                "v9",
                                "0x26121ff0"
                            ],
                            "op": "eq",
                            "out": [
                                "v11"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "targets": [
                            "Block2"
                        ],
                        "type": "Jump"
                    },
                    "id": "Block4",
                    "instructions": [],
                    "liveness": {
                        "in": [],
                        "out": []
                    }
                },
                {
                    "exit": {
                        "cond": "v12",
                        "targets": [
                            "Block6",
                            "Block5"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block3",
                    "instructions": [
                        {
                            "in": [],
                            "op": "callvalue",
                            "out": [
                                "v12"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v17",
                        "targets": [
                            "Block9",
                            "Block8"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block6",
                    "instructions": [
                        {
                            "in": [
                                "0x03"
                            ],
                            "op": "not",
                            "out": [
                                "v14"
                            ]
                        },
                        {
                            "in": [],
                            "op": "calldatasize",
                            "out": [
                                "v15"
                            ]
                        },
                        {
                            "in": [
                                "v14",
                                "v15"
                            ],
                            "op": "add",
                            "out": [
                                "v16"
                            ]
                        },
                        {
                            "in": [
                                "0x00",
                                "v16"
                            ],
                            "op": "slt",
                            "out": [
                                "v17"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block5",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block9",
                    "instructions": [
                        {
                            "in": [
                                "0x2a",
                                "v0"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x20",
                                "v0"
                            ],
                            "op": "return",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block8",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                }
            ],
            "functions": {}
        },
        "subObjects": {},
        "type": "subObject"
    },
    "type": "Object"
}

======= yul_cfg_json_export/input.sol:D =======
Yul Control Flow Graph:
{
    "D_38": {
        "blocks": [
            {
                "exit": {
                    "cond": "v2",
                    "targets": [
                        "Block2",
                        "Block1"
                    ],
                    "type": "ConditionalJump"
                },
                "id": "Block0",
                "instructions": [
                    {
                        "builtinArgs": [
                            "0x80"
                        ],
                        "in": [],
                        "op": "memoryguard",
                        "out": [
                            "v0"
                        ]
                    },
                    {
                        "in": [
                            "v0",
                            "0x40"
                        ],
                        "op": "mstore",
                        "out": []
                    },
                    {
                        "in": [],
                        "op": "callvalue",
                        "out": [
                            "v2"
                        ]
                    }
                ],
                "liveness": {
                    "in": [],
                    "out": [
                        "v0"
                    ]
                },
                "type": "BuiltinCall"
            },
            {
                "exit": {
                    "type": "Terminated"
                },
                "id": "Block2",
                "instructions": [
                    {
                        "builtinArgs": [
                            "D_38_deployed"
                        ],
                        "in": [],
                        "op": "datasize",
                        "out": [
                            "v4"
                        ]
                    },
                    {
                        "builtinArgs": [
                            "D_38_deployed"
                        ],
                        "in": [],
                        "op": "dataoffset",
                        "out": [
                            "v5"
                        ]
                    },
                    {
                        "in": [
                            "v4",
                            "v5",
                            "v0"
                        ],
                        "op": "codecopy",
                        "out": []
                    },
                    {
                        "in": [
                            "v4",
                            "v0"
                        ],
                        "op": "return",
                        "out": []
                    }
                ],
                "liveness": {
                    "in": [
                        "v0"
                    ],
                    "out": []
                },
                "type": "BuiltinCall"
            },
            {
                "exit": {
                    "type": "Terminated"
                },
                "id": "Block1",
                "instructions": [
                    {
                        "in": [
                            "0x00",
                            "0x00"
                        ],
                        "op": "revert",
                        "out": []
                    }
                ],
                "liveness": {
                    "in": [],
                    "out": []
                },
                "type": "BuiltinCall"
            }
        ],
        "functions": {}
    },
    "subObjects": {
        "D_38_deployed": {
            "blocks": [
                {
                    "exit": {
                        "cond": "v5",
                        "targets": [
                            "Block2",
                            "Block1"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block0",
                    "instructions": [
                        {
                            "builtinArgs": [
                                "0x80"
                            ],
                            "in": [],
                            "op": "memoryguard",
                            "out": [
                                "v0"
                            ]
                        },
                        {
                            "in": [
                                "v0",
                                "0x40"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [],
                            "op": "calldatasize",
                            "out": [
                                "v3"
                            ]
                        },
                        {
                            "in": [
                                "0x04",
                                "v3"
                            ],
                            "op": "lt",
                            "out": [
                                "v4"
                            ]
                        },
                        {
                            "in": [
                                "v4"
                            ],
                            "op": "iszero",
                            "out": [
                                "v5"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block2",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v11",
                        "targets": [
                            "Block4",
                            "Block3"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block1",
                    "instructions": [
                        {
                            "in": [
                                "0x00"
                            ],
                            "op": "calldataload",
                            "out": [
                                "v7"
                            ]
                        },
                        {
                            "in": [
                                "v7",
                                "0xe0"
                            ],
                            "op": "shr",
                            "out": [
                                "v9"
                            ]
                        },
                        {
                            "in": [
                                "v9",
                                "0x26121ff0"
                            ],
                            "op": "eq",
                            "out": [
                                "v11"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "targets": [
                            "Block2"
                        ],
                        "type": "Jump"
                    },
                    "id": "Block4",
                    "instructions": [],
                    "liveness": {
                        "in": [],
                        "out": []
                    }
                },
                {
                    "exit": {
                        "cond": "v12",
                        "targets": [
                            "Block6",
                            "Block5"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block3",
                    "instructions": [
                        {
                            "in": [],
                            "op": "callvalue",
                            "out": [
                                "v12"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v17",
                        "targets": [
                            "Block9",
                            "Block8"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block6",
                    "instructions": [
                        {
                            "in": [
                                "0x03"
                            ],
                            "op": "not",
                            "out": [
                                "v14"
                            ]
                        },
                        {
                            "in": [],
                            "op": "calldatasize",
                            "out": [
                                "v15"
                            ]
                        },
                        {
                            "in": [
                                "v14",
                                "v15"
                            ],
                            "op": "add",
                            "out": [
                                "v16"
                            ]
                        },
                        {
                            "in": [
                                "0x00",
                                "v16"
                            ],
                            "op": "slt",
                            "out": [
                                "v17"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block5",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v28",
                        "targets": [
                            "Block12",
                            "Block11"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block9",
                    "instructions": [
                        {
                            "builtinArgs": [
                                "C_19"
                            ],
                            "in": [],
                            "op": "datasize",
                            "out": [
                                "v18"
                            ]
                        },
                        {
                            "in": [
                                "v18",
                                "v0"
                            ],
                            "op": "add",
                            "out": [
                                "v24"
                            ]
                        },
                        {
                            "in": [
                                "v0",
                                "v24"
                            ],
                            "op": "lt",
                            "out": [
                                "v25"
                            ]
                        },
                        {
                            "in": [
                                "0xffffffffffffffff",
                                "v24"
                            ],
                            "op": "gt",
                            "out": [
                                "v27"
                            ]
                        },
                        {
                            "in": [
                                "v25",
                                "v27"
                            ],
                            "op": "or",
                            "out": [
                                "v28"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0"
                        ],
                        "out": [
                            "v0",
                            "v18",
                            "v24"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block8",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v42",
                        "targets": [
                            "Block15",
                            "Block14"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block12",
                    "instructions": [
                        {
                            "builtinArgs": [
                                "C_19"
                            ],
                            "in": [],
                            "op": "dataoffset",
                            "out": [
                                "v35"
                            ]
                        },
                        {
                            "in": [
                                "v18",
                                "v35",
                                "v0"
                            ],
                            "op": "datacopy",
                            "out": []
                        },
                        {
                            "in": [
                                "v0",
                                "v24"
                            ],
                            "op": "sub",
                            "out": [
                                "v40"
                            ]
                        },
                        {
                            "in": [
                                "v40",
                                "v0",
                                "0x00"
                            ],
                            "op": "create",
                            "out": [
                                "v41"
                            ]
                        },
                        {
                            "in": [
                                "v41"
                            ],
                            "op": "iszero",
                            "out": [
                                "v42"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v0",
                            "v18",
                            "v24"
                        ],
                        "out": [
                            "v41"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block11",
                    "instructions": [
                        {
                            "in": [
                                "0x4e487b71",
                                "0xe0"
                            ],
                            "op": "shl",
                            "out": [
                                "v30"
                            ]
                        },
                        {
                            "in": [
                                "v30",
                                "0x00"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x41",
                                "0x04"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x24",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v60",
                        "targets": [
                            "Block18",
                            "Block17"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block15",
                    "instructions": [
                        {
                            "in": [
                                "0x40"
                            ],
                            "op": "mload",
                            "out": [
                                "v46"
                            ]
                        },
                        {
                            "in": [
                                "0x026121ff",
                                "0xe4"
                            ],
                            "op": "shl",
                            "out": [
                                "v49"
                            ]
                        },
                        {
                            "in": [
                                "v49",
                                "v46"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x01",
                                "0xa0"
                            ],
                            "op": "shl",
                            "out": [
                                "v53"
                            ]
                        },
                        {
                            "in": [
                                "0x01",
                                "v53"
                            ],
                            "op": "sub",
                            "out": [
                                "v54"
                            ]
                        },
                        {
                            "in": [
                                "v54",
                                "v41"
                            ],
                            "op": "and",
                            "out": [
                                "v57"
                            ]
                        },
                        {
                            "in": [],
                            "op": "gas",
                            "out": [
                                "v58"
                            ]
                        },
                        {
                            "in": [
                                "0x20",
                                "v46",
                                "0x04",
                                "v46",
                                "v57",
                                "v58"
                            ],
                            "op": "staticcall",
                            "out": [
                                "v59"
                            ]
                        },
                        {
                            "in": [
                                "v59"
                            ],
                            "op": "iszero",
                            "out": [
                                "v60"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v41"
                        ],
                        "out": [
                            "v46"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block14",
                    "instructions": [
                        {
                            "in": [
                                "0x40"
                            ],
                            "op": "mload",
                            "out": [
                                "v43"
                            ]
                        },
                        {
                            "in": [],
                            "op": "returndatasize",
                            "out": [
                                "v44"
                            ]
                        },
                        {
                            "in": [
                                "v44",
                                "0x00",
                                "v43"
                            ],
                            "op": "returndatacopy",
                            "out": []
                        },
                        {
                            "in": [],
                            "op": "returndatasize",
                            "out": [
                                "v45"
                            ]
                        },
                        {
                            "in": [
                                "v45",
                                "v43"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v59",
                        "targets": [
                            "Block21",
                            "Block20"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block18",
                    "instructions": [],
                    "liveness": {
                        "in": [
                            "v46"
                        ],
                        "out": [
                            "v46"
                        ]
                    }
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block17",
                    "instructions": [
                        {
                            "in": [
                                "0x40"
                            ],
                            "op": "mload",
                            "out": [
                                "v61"
                            ]
                        },
                        {
                            "in": [],
                            "op": "returndatasize",
                            "out": [
                                "v62"
                            ]
                        },
                        {
                            "in": [
                                "v62",
                                "0x00",
                                "v61"
                            ],
                            "op": "returndatacopy",
                            "out": []
                        },
                        {
                            "in": [],
                            "op": "returndatasize",
                            "out": [
                                "v63"
                            ]
                        },
                        {
                            "in": [
                                "v63",
                                "v61"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "entries": [
                        "Block18",
                        "Block28"
                    ],
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block21",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "v93"
                            ],
                            "op": "PhiFunction",
                            "out": [
                                "v95"
                            ]
                        },
                        {
                            "in": [
                                "0x40"
                            ],
                            "op": "mload",
                            "out": [
                                "v94"
                            ]
                        },
                        {
                            "in": [
                                "v95",
                                "v94"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x20",
                                "v94"
                            ],
                            "op": "return",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v95"
                        ],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v67",
                        "targets": [
                            "Block23",
                            "Block22"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block20",
                    "instructions": [
                        {
                            "in": [],
                            "op": "returndatasize",
                            "out": [
                                "v66"
                            ]
                        },
                        {
                            "in": [
                                "v66",
                                "0x20"
                            ],
                            "op": "gt",
                            "out": [
                                "v67"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v46"
                        ],
                        "out": [
                            "v46"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "entries": [
                        "Block20",
                        "Block22"
                    ],
                    "exit": {
                        "cond": "v80",
                        "targets": [
                            "Block25",
                            "Block24"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block23",
                    "instructions": [
                        {
                            "in": [
                                "0x20",
                                "v68"
                            ],
                            "op": "PhiFunction",
                            "out": [
                                "v71"
                            ]
                        },
                        {
                            "in": [
                                "0x1f"
                            ],
                            "op": "not",
                            "out": [
                                "v70"
                            ]
                        },
                        {
                            "in": [
                                "0x1f",
                                "v71"
                            ],
                            "op": "add",
                            "out": [
                                "v72"
                            ]
                        },
                        {
                            "in": [
                                "v70",
                                "v72"
                            ],
                            "op": "and",
                            "out": [
                                "v73"
                            ]
                        },
                        {
                            "in": [
                                "v73",
                                "v46"
                            ],
                            "op": "add",
                            "out": [
                                "v77"
                            ]
                        },
                        {
                            "in": [
                                "v46",
                                "v77"
                            ],
                            "op": "lt",
                            "out": [
                                "v78"
                            ]
                        },
                        {
                            "in": [
                                "0xffffffffffffffff",
                                "v77"
                            ],
                            "op": "gt",
                            "out": [
                                "v79"
                            ]
                        },
                        {
                            "in": [
                                "v78",
                                "v79"
                            ],
                            "op": "or",
                            "out": [
                                "v80"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v46",
                            "v71"
                        ],
                        "out": [
                            "v46",
                            "v71",
                            "v77"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "targets": [
                            "Block23"
                        ],
                        "type": "Jump"
                    },
                    "id": "Block22",
                    "instructions": [
                        {
                            "in": [],
                            "op": "returndatasize",
                            "out": [
                                "v68"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v46"
                        ],
                        "out": [
                            "v46",
                            "v68"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "cond": "v90",
                        "targets": [
                            "Block28",
                            "Block27"
                        ],
                        "type": "ConditionalJump"
                    },
                    "id": "Block25",
                    "instructions": [
                        {
                            "in": [
                                "v77",
                                "0x40"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "v71",
                                "v46"
                            ],
                            "op": "add",
                            "out": [
                                "v88"
                            ]
                        },
                        {
                            "in": [
                                "v46",
                                "v88"
                            ],
                            "op": "sub",
                            "out": [
                                "v89"
                            ]
                        },
                        {
                            "in": [
                                "0x20",
                                "v89"
                            ],
                            "op": "slt",
                            "out": [
                                "v90"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v46",
                            "v71",
                            "v77"
                        ],
                        "out": [
                            "v46"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block24",
                    "instructions": [
                        {
                            "in": [
                                "0x4e487b71",
                                "0xe0"
                            ],
                            "op": "shl",
                            "out": [
                                "v81"
                            ]
                        },
                        {
                            "in": [
                                "v81",
                                "0x00"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x41",
                                "0x04"
                            ],
                            "op": "mstore",
                            "out": []
                        },
                        {
                            "in": [
                                "0x24",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "targets": [
                            "Block21"
                        ],
                        "type": "Jump"
                    },
                    "id": "Block28",
                    "instructions": [
                        {
                            "in": [
                                "v46"
                            ],
                            "op": "mload",
                            "out": [
                                "v93"
                            ]
                        }
                    ],
                    "liveness": {
                        "in": [
                            "v46"
                        ],
                        "out": [
                            "v93"
                        ]
                    },
                    "type": "BuiltinCall"
                },
                {
                    "exit": {
                        "type": "Terminated"
                    },
                    "id": "Block27",
                    "instructions": [
                        {
                            "in": [
                                "0x00",
                                "0x00"
                            ],
                            "op": "revert",
                            "out": []
                        }
                    ],
                    "liveness": {
                        "in": [],
                        "out": []
                    },
                    "type": "BuiltinCall"
                }
            ],
            "functions": {}
        },
        "subObjects": {
            "C_19": {
                "blocks": [
                    {
                        "exit": {
                            "cond": "v2",
                            "targets": [
                                "Block2",
                                "Block1"
                            ],
                            "type": "ConditionalJump"
                        },
                        "id": "Block0",
                        "instructions": [
                            {
                                "builtinArgs": [
                                    "0x80"
                                ],
                                "in": [],
                                "op": "memoryguard",
                                "out": [
                                    "v0"
                                ]
                            },
                            {
                                "in": [
                                    "v0",
                                    "0x40"
                                ],
                                "op": "mstore",
                                "out": []
                            },
                            {
                                "in": [],
                                "op": "callvalue",
                                "out": [
                                    "v2"
                                ]
                            }
                        ],
                        "liveness": {
                            "in": [],
                            "out": [
                                "v0"
                            ]
                        },
                        "type": "BuiltinCall"
                    },
                    {
                        "exit": {
                            "type": "Terminated"
                        },
                        "id": "Block2",
                        "instructions": [
                            {
                                "builtinArgs": [
                                    "C_19_deployed"
                                ],
                                "in": [],
                                "op": "datasize",
                                "out": [
                                    "v4"
                                ]
                            },
                            {
                                "builtinArgs": [
                                    "C_19_deployed"
                                ],
                                "in": [],
                                "op": "dataoffset",
                                "out": [
                                    "v5"
                                ]
                            },
                            {
                                "in": [
                                    "v4",
                                    "v5",
                                    "v0"
                                ],
                                "op": "codecopy",
                                "out": []
                            },
                            {
                                "in": [
                                    "v4",
                                    "v0"
                                ],
                                "op": "return",
                                "out": []
                            }
                        ],
                        "liveness": {
                            "in": [
                                "v0"
                            ],
                            "out": []
                        },
                        "type": "BuiltinCall"
                    },
                    {
                        "exit": {
                            "type": "Terminated"
                        },
                        "id": "Block1",
                        "instructions": [
                            {
                                "in": [
                                    "0x00",
                                    "0x00"
                                ],
                                "op": "revert",
                                "out": []
                            }
                        ],
                        "liveness": {
                            "in": [],
                            "out": []
                        },
                        "type": "BuiltinCall"
                    }
                ],
                "functions": {}
            },
            "subObjects": {
                "C_19_deployed": {
                    "blocks": [
                        {
                            "exit": {
                                "cond": "v5",
                                "targets": [
                                    "Block2",
                                    "Block1"
                                ],
                                "type": "ConditionalJump"
                            },
                            "id": "Block0",
                            "instructions": [
                                {
                                    "builtinArgs": [
                                        "0x80"
                                    ],
                                    "in": [],
                                    "op": "memoryguard",
                                    "out": [
                                        "v0"
                                    ]
                                },
                                {
                                    "in": [
                                        "v0",
                                        "0x40"
                                    ],
                                    "op": "mstore",
                                    "out": []
                                },
                                {
                                    "in": [],
                                    "op": "calldatasize",
                                    "out": [
                                        "v3"
                                    ]
                                },
                                {
                                    "in": [
                                        "0x04",
                                        "v3"
                                    ],
                                    "op": "lt",
                                    "out": [
                                        "v4"
                                    ]
                                },
                                {
                                    "in": [
                                        "v4"
                                    ],
                                    "op": "iszero",
                                    "out": [
                                        "v5"
                                    ]
                                }
                            ],
                            "liveness": {
                                "in": [],
                                "out": [
                                    "v0"
                                ]
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "type": "Terminated"
                            },
                            "id": "Block2",
                            "instructions": [
                                {
                                    "in": [
                                        "0x00",
                                        "0x00"
                                    ],
                                    "op": "revert",
                                    "out": []
                                }
                            ],
                            "liveness": {
                                "in": [],
                                "out": []
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "cond": "v11",
                                "targets": [
                                    "Block4",
                                    "Block3"
                                ],
                                "type": "ConditionalJump"
                            },
                            "id": "Block1",
                            "instructions": [
                                {
                                    "in": [
                                        "0x00"
                                    ],
                                    "op": "calldataload",
                                    "out": [
                                        "v7"
                                    ]
                                },
                                {
                                    "in": [
                                        "v7",
                                        "0xe0"
                                    ],
                                    "op": "shr",
                                    "out": [
                                        "v9"
                                    ]
                                },
                                {
                                    "in": [
                                        "v9",
                                        "0x26121ff0"
                                    ],
                                    "op": "eq",
                                    "out": [
                                        "v11"
                                    ]
                                }
                            ],
                            "liveness": {
                                "in": [
                                    "v0"
                                ],
                                "out": [
                                    "v0"
                                ]
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "targets": [
                                    "Block2"
                                ],
                                "type": "Jump"
                            },
                            "id": "Block4",
                            "instructions": [],
                            "liveness": {
                                "in": [],
                                "out": []
                            }
                        },
                        {
                            "exit": {
                                "cond": "v12",
                                "targets": [
                                    "Block6",
                                    "Block5"
                                ],
                                "type": "ConditionalJump"
                            },
                            "id": "Block3",
                            "instructions": [
                                {
                                    "in": [],
                                    "op": "callvalue",
                                    "out": [
                                        "v12"
                                    ]
                                }
                            ],
                            "liveness": {
                                "in": [
                                    "v0"
                                ],
                                "out": [
                                    "v0"
                                ]
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "cond": "v17",
                                "targets": [
                                    "Block9",
                                    "Block8"
                                ],
                                "type": "ConditionalJump"
                            },
                            "id": "Block6",
                            "instructions": [
                                {
                                    "in": [
                                        "0x03"
                                    ],
                                    "op": "not",
                                    "out": [
                                        "v14"
                                    ]
                                },
                                {
                                    "in": [],
                                    "op": "calldatasize",
                                    "out": [
                                        "v15"
                                    ]
                                },
                                {
                                    "in": [
                                        "v14",
                                        "v15"
                                    ],
                                    "op": "add",
                                    "out": [
                                        "v16"
                                    ]
                                },
                                {
                                    "in": [
                                        "0x00",
                                        "v16"
                                    ],
                                    "op": "slt",
                                    "out": [
                                        "v17"
                                    ]
                                }
                            ],
                            "liveness": {
                                "in": [
                                    "v0"
                                ],
                                "out": [
                                    "v0"
                                ]
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "type": "Terminated"
                            },
                            "id": "Block5",
                            "instructions": [
                                {
                                    "in": [
                                        "0x00",
                                        "0x00"
                                    ],
                                    "op": "revert",
                                    "out": []
                                }
                            ],
                            "liveness": {
                                "in": [],
                                "out": []
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "type": "Terminated"
                            },
                            "id": "Block9",
                            "instructions": [
                                {
                                    "in": [
                                        "0x2a",
                                        "v0"
                                    ],
                                    "op": "mstore",
                                    "out": []
                                },
                                {
                                    "in": [
                                        "0x20",
                                        "v0"
                                    ],
                                    "op": "return",
                                    "out": []
                                }
                            ],
                            "liveness": {
                                "in": [
                                    "v0"
                                ],
                                "out": []
                            },
                            "type": "BuiltinCall"
                        },
                        {
                            "exit": {
                                "type": "Terminated"
                            },
                            "id": "Block8",
                            "instructions": [
                                {
                                    "in": [
                                        "0x00",
                                        "0x00"
                                    ],
                                    "op": "revert",
                                    "out": []
                                }
                            ],
                            "liveness": {
                                "in": [],
                                "out": []
                            },
                            "type": "BuiltinCall"
                        }
                    ],
                    "functions": {}
                },
                "subObjects": {},
                "type": "subObject"
            },
            "type": "subObject"
        },
        "type": "subObject"
    },
    "type": "Object"
}

======= yul_cfg_json_export/input.sol:I =======
Yul Control Flow Graph:
null
