// ************************************************************************** //
//                                                                            //
//    eses                   eses                                             //
//   eses                     eses                                            //
//  eses    eseses  esesese    eses   Embedded Systems Group                  //
//  ese    ese  ese ese         ese                                           //
//  ese    eseseses eseseses    ese   Department of Computer Science          //
//  eses   eses          ese   eses                                           //
//   eses   eseses  eseseses  eses    University of Kaiserslautern            //
//    eses                   eses                                             //
//                                                                            //
// ************************************************************************** //


nat x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55,x56,x57,x58,x59,x60,x61,x62,x63;
nat z;

thread BinaryTree_64 {
    nat y0,y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,y13,y14,y15,y16,y17,y18,y19,y20,y21,y22,y23,y24,y25,y26,y27,y28,y29,y30,y31,y32,y33,y34,y35,y36,y37,y38,y39,y40,y41,y42,y43,y44,y45,y46,y47,y48,y49,y50,y51,y52,y53,y54,y55,y56,y57,y58,y59,y60,y61,y62,y63;
    y0 = x0;
    y1 = x1;
    y2 = x2;
    y3 = x3;
    y4 = x4;
    y5 = x5;
    y6 = x6;
    y7 = x7;
    y8 = x8;
    y9 = x9;
    y10 = x10;
    y11 = x11;
    y12 = x12;
    y13 = x13;
    y14 = x14;
    y15 = x15;
    y16 = x16;
    y17 = x17;
    y18 = x18;
    y19 = x19;
    y20 = x20;
    y21 = x21;
    y22 = x22;
    y23 = x23;
    y24 = x24;
    y25 = x25;
    y26 = x26;
    y27 = x27;
    y28 = x28;
    y29 = x29;
    y30 = x30;
    y31 = x31;
    y32 = x32;
    y33 = x33;
    y34 = x34;
    y35 = x35;
    y36 = x36;
    y37 = x37;
    y38 = x38;
    y39 = x39;
    y40 = x40;
    y41 = x41;
    y42 = x42;
    y43 = x43;
    y44 = x44;
    y45 = x45;
    y46 = x46;
    y47 = x47;
    y48 = x48;
    y49 = x49;
    y50 = x50;
    y51 = x51;
    y52 = x52;
    y53 = x53;
    y54 = x54;
    y55 = x55;
    y56 = x56;
    y57 = x57;
    y58 = x58;
    y59 = x59;
    y60 = x60;
    y61 = x61;
    y62 = x62;
    y63 = x63;
    // level 0
    y0 = y0 + y1;
    y1 = y2 + y3;
    y2 = y4 + y5;
    y3 = y6 + y7;
    y4 = y8 + y9;
    y5 = y10 + y11;
    y6 = y12 + y13;
    y7 = y14 + y15;
    y8 = y16 + y17;
    y9 = y18 + y19;
    y10 = y20 + y21;
    y11 = y22 + y23;
    y12 = y24 + y25;
    y13 = y26 + y27;
    y14 = y28 + y29;
    y15 = y30 + y31;
    y16 = y32 + y33;
    y17 = y34 + y35;
    y18 = y36 + y37;
    y19 = y38 + y39;
    y20 = y40 + y41;
    y21 = y42 + y43;
    y22 = y44 + y45;
    y23 = y46 + y47;
    y24 = y48 + y49;
    y25 = y50 + y51;
    y26 = y52 + y53;
    y27 = y54 + y55;
    y28 = y56 + y57;
    y29 = y58 + y59;
    y30 = y60 + y61;
    y31 = y62 + y63;
    // level 0
    y0 = y0 + y1;
    y1 = y2 + y3;
    y2 = y4 + y5;
    y3 = y6 + y7;
    y4 = y8 + y9;
    y5 = y10 + y11;
    y6 = y12 + y13;
    y7 = y14 + y15;
    y8 = y16 + y17;
    y9 = y18 + y19;
    y10 = y20 + y21;
    y11 = y22 + y23;
    y12 = y24 + y25;
    y13 = y26 + y27;
    y14 = y28 + y29;
    y15 = y30 + y31;
    // level 0
    y0 = y0 + y1;
    y1 = y2 + y3;
    y2 = y4 + y5;
    y3 = y6 + y7;
    y4 = y8 + y9;
    y5 = y10 + y11;
    y6 = y12 + y13;
    y7 = y14 + y15;
    // level 0
    y0 = y0 + y1;
    y1 = y2 + y3;
    y2 = y4 + y5;
    y3 = y6 + y7;
    // level 0
    y0 = y0 + y1;
    y1 = y2 + y3;
    // level 0
    y0 = y0 + y1;
    z = y0;
}