#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
bool method_while0(int32_t v0){
    
    
    bool v1;
    v1 = v0 < 63l;
    
    
    return v1;
}
bool method_while1(int32_t v0){
    
    
    bool v1;
    v1 = v0 < 63l;
    
    
    return v1;
}
int32_t main(){
    
    
    int32_t v0;
    v0 = 0l;
    
    
    int32_t v1;
    v1 = 1l;
    
    
    int32_t v2;
    v2 = 0l;
    
    
    int32_t v3;
    v3 = v0 + v2;
    
    
    
    v0 = v3;
    
    
    int32_t v4;
    v4 = -5l;
    
    
    int32_t v5;
    v5 = v4 - -5l;
    
    
    int32_t v6;
    v6 = v0 + v5;
    
    
    
    v0 = v6;
    
    
    int32_t v7;
    v7 = 0l;
    
    
    int32_t v8;
    v8 = v0 + v7;
    
    
    
    v0 = v8;
    
    
    int32_t v9;
    v9 = 0l;
    
    
    int32_t v10;
    v10 = v0 + v9;
    
    
    
    v0 = v10;
    
    
    
    while (method_while0(v1)){
        
        
        int32_t v12;
        v12 = v1 + 1l;
        
        
        int32_t v13;
        v13 = 0l;
        
        
        int32_t v14;
        v14 = v0 + v13;
        
        
        
        v0 = v14;
        
        
        
        v1 = v12;
        
        
        
    }
    
    
    int32_t v15;
    v15 = 1l;
    
    
    int32_t v16;
    v16 = v15 - 1l;
    
    
    int32_t v17;
    v17 = v0 + v16;
    
    
    
    v0 = v17;
    
    
    int32_t v18;
    v18 = 0l;
    
    
    int32_t v19;
    v19 = v0 + v18;
    
    
    
    v0 = v19;
    
    
    int32_t v20;
    v20 = 0l;
    
    
    int32_t v21;
    v21 = v0 + v20;
    
    
    
    v0 = v21;
    
    
    int32_t v22;
    v22 = 8l;
    
    
    int32_t v23;
    v23 = v22 - 8l;
    
    
    int32_t v24;
    v24 = v0 + v23;
    
    
    
    v0 = v24;
    
    
    int32_t v25;
    v25 = 0l;
    
    
    int32_t v26;
    v26 = v0 + v25;
    
    
    
    v0 = v26;
    
    
    int32_t v27;
    v27 = 4l;
    
    
    int32_t v28;
    v28 = v27 - 4l;
    
    
    int32_t v29;
    v29 = v0 + v28;
    
    
    
    v0 = v29;
    
    
    int32_t v30;
    v30 = 1l;
    
    
    int32_t v31;
    v31 = v30 - 1l;
    
    
    int32_t v32;
    v32 = v0 + v31;
    
    
    
    v0 = v32;
    
    
    int32_t v33;
    v33 = 1l;
    
    
    
    v1 = v33;
    
    
    
    while (method_while1(v1)){
        
        
        int32_t v35;
        v35 = v1 + 1l;
        
        
        int32_t v36;
        v36 = v35;
        
        
        int32_t v37;
        v37 = v36 - v35;
        
        
        int32_t v38;
        v38 = v0 + v37;
        
        
        
        v0 = v38;
        
        
        
        v1 = v35;
        
        
        
    }
    
    
    return v0;
}