kernels_main = r"""
"""
from main_auto import *
kernels = kernels_aux + kernels_main
import os
try: # CuPy when a CUDA device answers, otherwise numpy under the same name (SPIRAL_CUDA=0 forces numpy).
    if os.environ.get('SPIRAL_CUDA', '1') == '0': raise ImportError('SPIRAL_CUDA=0')
    import cupy as cp
    if cp.cuda.runtime.getDeviceCount() < 1: raise RuntimeError('no CUDA device')
    cuda = True
except Exception:
    import numpy as cp
    cuda = False
from dataclasses import dataclass
from typing import NamedTuple, Union, Callable, Tuple
i8 = int; i16 = int; i32 = int; i64 = int; u8 = int; u16 = int; u32 = int; u64 = int; f32 = float; f64 = float; char = str; string = str
import sys
sys.setrecursionlimit(1 << 30)

class Heap0(NamedTuple):
    v0 : i32
    v1 : string
class US0_None(NamedTuple): # None
    tag = 0
class US0_Held(NamedTuple): # Held
    v0 : Heap0
    v1 : Heap0
    v2 : Heap0
    tag = 1
US0 = Union[US0_None, US0_Held]
def f_c0(env_v0 : Heap0, env_v1 : Heap0, env_v2 : Heap0):
    def inner(v3 : i32) -> US0:
        nonlocal env_v0, env_v1, env_v2
        v0 = env_v0; v1 = env_v1; v2 = env_v2
        v4 = v3 == 0
        if v4:
            del v0, v1, v2, v4
            return US0_None()
        else:
            del v4
            return US0_Held(v0, v1, v2)
    return inner
def score_0(v0 : US0) -> i32:
    match v0:
        case US0_Held(v1, v2, v3): # Held
            del v0
            v4, v5 = v1.v0, v1.v1
            del v1
            v6, v7 = v2.v0, v2.v1
            del v2
            v8, v9 = v3.v0, v3.v1
            del v3
            v10 = v4 == 7
            del v4
            if v10:
                v11 = v5 == "hi"
                v12 = v11
            else:
                v12 = False
            del v5, v10
            if v12:
                v13 = v6 == 4
                v14 = v13
            else:
                v14 = False
            del v6, v12
            if v14:
                v15 = v7 == "yo"
                v16 = v15
            else:
                v16 = False
            del v7, v14
            if v16:
                v17 = v8 == 9
                v18 = v17
            else:
                v18 = False
            del v8, v16
            if v18:
                v19 = v9 == "ok"
                v20 = v19
            else:
                v20 = False
            del v9, v18
            if v20:
                del v20
                return 0
            else:
                del v20
                return 1
        case US0_None(): # None
            del v0
            return 1
        case t:
            raise Exception(f'Pattern matching miss. Got: {t}')
def main():
    v0 = 7
    v1 = "hi"
    v2 = Heap0(v0, v1)
    del v0, v1
    v3 = 4
    v4 = "yo"
    v5 = Heap0(v3, v4)
    del v3, v4
    v6 = 9
    v7 = "ok"
    v8 = Heap0(v6, v7)
    del v6, v7
    v9 = f_c0(v2, v5, v8)
    del v2, v5, v8
    v10 = v9(1)
    del v9
    return score_0(v10)

if __name__ == '__main__': sys.exit(main())