trans_ga2 : CONTEXT = BEGIN t_event: TYPE = { time_slow, do_trans_slow_torques }; main: MODULE = BEGIN INPUT x4 : [-127..127], % shift_speed_43 x5 : [-127..127], % shift_speed_34 x6 : [-127..127], % shift_speed_32 x7 : [-127..127], % shift_speed_23 x10 : [-127..127], % shift_speed_21 x11 : [-127..127], % shift_speed_12 x12 : [-127..127], % V x13 : [-127..127], % gear event : t_event OUTPUT x1 : BOOLEAN, x2 : BOOLEAN, x14 : [-127..127], x15 : BOOLEAN, x16 : BOOLEAN, x17 : BOOLEAN, x20 : BOOLEAN, x23 : BOOLEAN, x24 : BOOLEAN, x27 : BOOLEAN, x32 : BOOLEAN, x33 : BOOLEAN, x36 : BOOLEAN, x41 : BOOLEAN, x42 : BOOLEAN, x45 : BOOLEAN, x50 : BOOLEAN, x53 : BOOLEAN, x54 : BOOLEAN, x57 : BOOLEAN, x58 : BOOLEAN, x61 : BOOLEAN, x66 : BOOLEAN, x67 : BOOLEAN, x70 : BOOLEAN, x75 : BOOLEAN, x76 : BOOLEAN, x79 : BOOLEAN, x19 : BOOLEAN, x22 : BOOLEAN, x26 : BOOLEAN, x29 : BOOLEAN, x31 : BOOLEAN, x35 : BOOLEAN, x38 : BOOLEAN, x40 : BOOLEAN, x44 : BOOLEAN, x47 : BOOLEAN, x49 : BOOLEAN, x52 : BOOLEAN, x56 : BOOLEAN, x60 : BOOLEAN, x63 : BOOLEAN, x65 : BOOLEAN, x69 : BOOLEAN, x72 : BOOLEAN, x74 : BOOLEAN, x78 : BOOLEAN, x81 : BOOLEAN, x83 : BOOLEAN, x18 : BOOLEAN, x21 : BOOLEAN, x25 : BOOLEAN, x28 : BOOLEAN, x30 : BOOLEAN, x34 : BOOLEAN, x37 : BOOLEAN, x39 : BOOLEAN, x43 : BOOLEAN, x46 : BOOLEAN, x48 : BOOLEAN, x51 : BOOLEAN, x55 : BOOLEAN, x59 : BOOLEAN, x62 : BOOLEAN, x64 : BOOLEAN, x68 : BOOLEAN, x71 : BOOLEAN, x73 : BOOLEAN, x77 : BOOLEAN, x80 : BOOLEAN, x82 : BOOLEAN, x84 : BOOLEAN, x85 : BOOLEAN, x86 : BOOLEAN, x87 : BOOLEAN, x88 : BOOLEAN, x89 : BOOLEAN, x90 : BOOLEAN, x91 : BOOLEAN, x92 : BOOLEAN, x93 : BOOLEAN, x94 : BOOLEAN, x95 : BOOLEAN, x96 : BOOLEAN, x97 : BOOLEAN, x98 : BOOLEAN, x99 : BOOLEAN, x100 : BOOLEAN, x101 : BOOLEAN, x102 : BOOLEAN, x103 : BOOLEAN, x104 : BOOLEAN, x105 : BOOLEAN, x106 : BOOLEAN, x107 : BOOLEAN, nb_theorem : [0..65535], x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,[-127..127],[-127..127], BOOLEAN,BOOLEAN] LOCAL x8 : [-127..127], x9 : [-127..127] INITIALIZATION x8 = 0; x9 = 0; x1 = FALSE; x2 = FALSE; x14 = 0; x15 = FALSE; x16 = FALSE; x17 = FALSE; x20 = FALSE; x23 = FALSE; x24 = FALSE; x27 = FALSE; x32 = FALSE; x33 = FALSE; x36 = FALSE; x41 = FALSE; x42 = FALSE; x45 = FALSE; x50 = FALSE; x53 = FALSE; x54 = FALSE; x57 = FALSE; x58 = FALSE; x61 = FALSE; x66 = FALSE; x67 = FALSE; x70 = FALSE; x75 = FALSE; x76 = FALSE; x79 = FALSE; x19 = FALSE; x22 = FALSE; x26 = FALSE; x29 = FALSE; x31 = FALSE; x35 = FALSE; x38 = FALSE; x40 = FALSE; x44 = FALSE; x47 = FALSE; x49 = FALSE; x52 = FALSE; x56 = FALSE; x60 = FALSE; x63 = FALSE; x65 = FALSE; x69 = FALSE; x72 = FALSE; x74 = FALSE; x78 = FALSE; x81 = FALSE; x83 = FALSE; x18 = FALSE; x21 = FALSE; x25 = FALSE; x28 = FALSE; x30 = FALSE; x34 = FALSE; x37 = FALSE; x39 = FALSE; x43 = FALSE; x46 = FALSE; x48 = FALSE; x51 = FALSE; x55 = FALSE; x59 = FALSE; x62 = FALSE; x64 = FALSE; x68 = FALSE; x71 = FALSE; x73 = FALSE; x77 = FALSE; x80 = FALSE; x82 = FALSE; x84 = FALSE; x85 = FALSE; x86 = FALSE; x87 = FALSE; x88 = FALSE; x89 = FALSE; x90 = FALSE; x91 = FALSE; x92 = FALSE; x93 = FALSE; x94 = FALSE; x95 = FALSE; x96 = FALSE; x97 = FALSE; x98 = FALSE; x99 = FALSE; x100 = FALSE; x101 = FALSE; x102 = FALSE; x103 = FALSE; x104 = FALSE; x105 = FALSE; x106 = FALSE; x107 = FALSE DEFINITION x0 = IF x1 THEN IF x18 THEN LET x85 : BOOLEAN = (x12 <= x6) IN IF x85 THEN LET x16 : BOOLEAN = TRUE IN LET x18 : BOOLEAN = FALSE IN LET x74 : BOOLEAN = TRUE IN LET x73 : BOOLEAN = TRUE IN LET x69 : BOOLEAN = TRUE IN LET x68 : BOOLEAN = TRUE IN LET x9 : [-127..127] = 0 IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96,x95, x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30,x28, x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76,x75,x70,x67, x66,x61,x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x84 : BOOLEAN = (x12 > x5) IN IF x84 THEN LET x17 : BOOLEAN = TRUE IN LET x18 : BOOLEAN = FALSE IN LET x49 : BOOLEAN = TRUE IN LET x48 : BOOLEAN = TRUE IN LET x44 : BOOLEAN = TRUE IN LET x43 : BOOLEAN = TRUE IN LET x9 : [-127..127] = 0 IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96,x95, x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30,x28, x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76,x75,x70,x67, x66,x61,x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96,x95, x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30,x28, x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76,x75,x70,x67, x66,x61,x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ENDIF ELSE IF x21 THEN LET x86 : BOOLEAN = (x12 > x11) IN IF x86 THEN LET x20 : BOOLEAN = TRUE IN LET x21 : BOOLEAN = FALSE IN LET x31 : BOOLEAN = TRUE IN LET x30 : BOOLEAN = TRUE IN LET x26 : BOOLEAN = TRUE IN LET x25 : BOOLEAN = TRUE IN LET x9 : [-127..127] = 0 IN LET x14 : [-127..127] = 1 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96,x95, x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30,x28, x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76,x75,x70,x67, x66,x61,x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96,x95, x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30,x28, x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76,x75,x70,x67, x66,x61,x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE IF x30 THEN LET x89 : BOOLEAN = (x12 <= x10) IN IF x89 THEN LET x23 : BOOLEAN = TRUE IN LET x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,[-127..127],[-127..127], BOOLEAN,BOOLEAN] = IF x25 THEN LET x25 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x28 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF IN LET x107 : BOOLEAN = x0.1 IN LET x106 : BOOLEAN = x0.2 IN LET x105 : BOOLEAN = x0.3 IN LET x104 : BOOLEAN = x0.4 IN LET x103 : BOOLEAN = x0.5 IN LET x102 : BOOLEAN = x0.6 IN LET x101 : BOOLEAN = x0.7 IN LET x100 : BOOLEAN = x0.8 IN LET x99 : BOOLEAN = x0.9 IN LET x98 : BOOLEAN = x0.10 IN LET x97 : BOOLEAN = x0.11 IN LET x96 : BOOLEAN = x0.12 IN LET x95 : BOOLEAN = x0.13 IN LET x94 : BOOLEAN = x0.14 IN LET x93 : BOOLEAN = x0.15 IN LET x92 : BOOLEAN = x0.16 IN LET x91 : BOOLEAN = x0.17 IN LET x90 : BOOLEAN = x0.18 IN LET x89 : BOOLEAN = x0.19 IN LET x88 : BOOLEAN = x0.20 IN LET x87 : BOOLEAN = x0.21 IN LET x86 : BOOLEAN = x0.22 IN LET x85 : BOOLEAN = x0.23 IN LET x84 : BOOLEAN = x0.24 IN LET x82 : BOOLEAN = x0.25 IN LET x80 : BOOLEAN = x0.26 IN LET x77 : BOOLEAN = x0.27 IN LET x73 : BOOLEAN = x0.28 IN LET x71 : BOOLEAN = x0.29 IN LET x68 : BOOLEAN = x0.30 IN LET x64 : BOOLEAN = x0.31 IN LET x62 : BOOLEAN = x0.32 IN LET x59 : BOOLEAN = x0.33 IN LET x55 : BOOLEAN = x0.34 IN LET x51 : BOOLEAN = x0.35 IN LET x48 : BOOLEAN = x0.36 IN LET x46 : BOOLEAN = x0.37 IN LET x43 : BOOLEAN = x0.38 IN LET x39 : BOOLEAN = x0.39 IN LET x37 : BOOLEAN = x0.40 IN LET x34 : BOOLEAN = x0.41 IN LET x30 : BOOLEAN = x0.42 IN LET x28 : BOOLEAN = x0.43 IN LET x25 : BOOLEAN = x0.44 IN LET x21 : BOOLEAN = x0.45 IN LET x18 : BOOLEAN = x0.46 IN LET x83 : BOOLEAN = x0.47 IN LET x81 : BOOLEAN = x0.48 IN LET x78 : BOOLEAN = x0.49 IN LET x74 : BOOLEAN = x0.50 IN LET x72 : BOOLEAN = x0.51 IN LET x69 : BOOLEAN = x0.52 IN LET x65 : BOOLEAN = x0.53 IN LET x63 : BOOLEAN = x0.54 IN LET x60 : BOOLEAN = x0.55 IN LET x56 : BOOLEAN = x0.56 IN LET x52 : BOOLEAN = x0.57 IN LET x49 : BOOLEAN = x0.58 IN LET x47 : BOOLEAN = x0.59 IN LET x44 : BOOLEAN = x0.60 IN LET x40 : BOOLEAN = x0.61 IN LET x38 : BOOLEAN = x0.62 IN LET x35 : BOOLEAN = x0.63 IN LET x31 : BOOLEAN = x0.64 IN LET x29 : BOOLEAN = x0.65 IN LET x26 : BOOLEAN = x0.66 IN LET x22 : BOOLEAN = x0.67 IN LET x19 : BOOLEAN = x0.68 IN LET x79 : BOOLEAN = x0.69 IN LET x76 : BOOLEAN = x0.70 IN LET x75 : BOOLEAN = x0.71 IN LET x70 : BOOLEAN = x0.72 IN LET x67 : BOOLEAN = x0.73 IN LET x66 : BOOLEAN = x0.74 IN LET x61 : BOOLEAN = x0.75 IN LET x58 : BOOLEAN = x0.76 IN LET x57 : BOOLEAN = x0.77 IN LET x54 : BOOLEAN = x0.78 IN LET x53 : BOOLEAN = x0.79 IN LET x50 : BOOLEAN = x0.80 IN LET x45 : BOOLEAN = x0.81 IN LET x42 : BOOLEAN = x0.82 IN LET x41 : BOOLEAN = x0.83 IN LET x36 : BOOLEAN = x0.84 IN LET x33 : BOOLEAN = x0.85 IN LET x32 : BOOLEAN = x0.86 IN LET x27 : BOOLEAN = x0.87 IN LET x24 : BOOLEAN = x0.88 IN LET x23 : BOOLEAN = x0.89 IN LET x20 : BOOLEAN = x0.90 IN LET x17 : BOOLEAN = x0.91 IN LET x16 : BOOLEAN = x0.92 IN LET x15 : BOOLEAN = x0.93 IN LET x14 : [-127..127] = x0.94 IN LET x9 : [-127..127] = x0.95 IN LET x2 : BOOLEAN = x0.96 IN LET x1 : BOOLEAN = x0.97 IN LET x30 : BOOLEAN = FALSE IN LET x22 : BOOLEAN = TRUE IN LET x21 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 1 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96, x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80, x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37, x34,x30,x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63, x60,x56,x52,x49,x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE IF x25 THEN LET x87 : BOOLEAN = (x9 > x8) IN IF x87 THEN LET x24 : BOOLEAN = TRUE IN LET x25 : BOOLEAN = FALSE IN LET x29 : BOOLEAN = TRUE IN LET x28 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x9 : [-127..127] = (x9 + 1) IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE LET x88 : BOOLEAN = (x13 = 2) IN IF x88 THEN LET x27 : BOOLEAN = TRUE IN LET x28 : BOOLEAN = FALSE IN LET x30 : BOOLEAN = FALSE IN LET x56 : BOOLEAN = TRUE IN LET x55 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ENDIF ENDIF ELSE IF x39 THEN LET x92 : BOOLEAN = (x12 <= x7) IN IF x92 THEN LET x32 : BOOLEAN = TRUE IN LET x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,[-127..127], [-127..127],BOOLEAN,BOOLEAN] = IF x34 THEN LET x34 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x37 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF IN LET x107 : BOOLEAN = x0.1 IN LET x106 : BOOLEAN = x0.2 IN LET x105 : BOOLEAN = x0.3 IN LET x104 : BOOLEAN = x0.4 IN LET x103 : BOOLEAN = x0.5 IN LET x102 : BOOLEAN = x0.6 IN LET x101 : BOOLEAN = x0.7 IN LET x100 : BOOLEAN = x0.8 IN LET x99 : BOOLEAN = x0.9 IN LET x98 : BOOLEAN = x0.10 IN LET x97 : BOOLEAN = x0.11 IN LET x96 : BOOLEAN = x0.12 IN LET x95 : BOOLEAN = x0.13 IN LET x94 : BOOLEAN = x0.14 IN LET x93 : BOOLEAN = x0.15 IN LET x92 : BOOLEAN = x0.16 IN LET x91 : BOOLEAN = x0.17 IN LET x90 : BOOLEAN = x0.18 IN LET x89 : BOOLEAN = x0.19 IN LET x88 : BOOLEAN = x0.20 IN LET x87 : BOOLEAN = x0.21 IN LET x86 : BOOLEAN = x0.22 IN LET x85 : BOOLEAN = x0.23 IN LET x84 : BOOLEAN = x0.24 IN LET x82 : BOOLEAN = x0.25 IN LET x80 : BOOLEAN = x0.26 IN LET x77 : BOOLEAN = x0.27 IN LET x73 : BOOLEAN = x0.28 IN LET x71 : BOOLEAN = x0.29 IN LET x68 : BOOLEAN = x0.30 IN LET x64 : BOOLEAN = x0.31 IN LET x62 : BOOLEAN = x0.32 IN LET x59 : BOOLEAN = x0.33 IN LET x55 : BOOLEAN = x0.34 IN LET x51 : BOOLEAN = x0.35 IN LET x48 : BOOLEAN = x0.36 IN LET x46 : BOOLEAN = x0.37 IN LET x43 : BOOLEAN = x0.38 IN LET x39 : BOOLEAN = x0.39 IN LET x37 : BOOLEAN = x0.40 IN LET x34 : BOOLEAN = x0.41 IN LET x30 : BOOLEAN = x0.42 IN LET x28 : BOOLEAN = x0.43 IN LET x25 : BOOLEAN = x0.44 IN LET x21 : BOOLEAN = x0.45 IN LET x18 : BOOLEAN = x0.46 IN LET x83 : BOOLEAN = x0.47 IN LET x81 : BOOLEAN = x0.48 IN LET x78 : BOOLEAN = x0.49 IN LET x74 : BOOLEAN = x0.50 IN LET x72 : BOOLEAN = x0.51 IN LET x69 : BOOLEAN = x0.52 IN LET x65 : BOOLEAN = x0.53 IN LET x63 : BOOLEAN = x0.54 IN LET x60 : BOOLEAN = x0.55 IN LET x56 : BOOLEAN = x0.56 IN LET x52 : BOOLEAN = x0.57 IN LET x49 : BOOLEAN = x0.58 IN LET x47 : BOOLEAN = x0.59 IN LET x44 : BOOLEAN = x0.60 IN LET x40 : BOOLEAN = x0.61 IN LET x38 : BOOLEAN = x0.62 IN LET x35 : BOOLEAN = x0.63 IN LET x31 : BOOLEAN = x0.64 IN LET x29 : BOOLEAN = x0.65 IN LET x26 : BOOLEAN = x0.66 IN LET x22 : BOOLEAN = x0.67 IN LET x19 : BOOLEAN = x0.68 IN LET x79 : BOOLEAN = x0.69 IN LET x76 : BOOLEAN = x0.70 IN LET x75 : BOOLEAN = x0.71 IN LET x70 : BOOLEAN = x0.72 IN LET x67 : BOOLEAN = x0.73 IN LET x66 : BOOLEAN = x0.74 IN LET x61 : BOOLEAN = x0.75 IN LET x58 : BOOLEAN = x0.76 IN LET x57 : BOOLEAN = x0.77 IN LET x54 : BOOLEAN = x0.78 IN LET x53 : BOOLEAN = x0.79 IN LET x50 : BOOLEAN = x0.80 IN LET x45 : BOOLEAN = x0.81 IN LET x42 : BOOLEAN = x0.82 IN LET x41 : BOOLEAN = x0.83 IN LET x36 : BOOLEAN = x0.84 IN LET x33 : BOOLEAN = x0.85 IN LET x32 : BOOLEAN = x0.86 IN LET x27 : BOOLEAN = x0.87 IN LET x24 : BOOLEAN = x0.88 IN LET x23 : BOOLEAN = x0.89 IN LET x20 : BOOLEAN = x0.90 IN LET x17 : BOOLEAN = x0.91 IN LET x16 : BOOLEAN = x0.92 IN LET x15 : BOOLEAN = x0.93 IN LET x14 : [-127..127] = x0.94 IN LET x9 : [-127..127] = x0.95 IN LET x2 : BOOLEAN = x0.96 IN LET x1 : BOOLEAN = x0.97 IN LET x39 : BOOLEAN = FALSE IN LET x56 : BOOLEAN = TRUE IN LET x55 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96, x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80, x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46,x43,x39,x37, x34,x30,x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65,x63, x60,x56,x52,x49,x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14,x9,x2, x1) ELSE IF x34 THEN LET x90 : BOOLEAN = (x9 > x8) IN IF x90 THEN LET x33 : BOOLEAN = TRUE IN LET x34 : BOOLEAN = FALSE IN LET x38 : BOOLEAN = TRUE IN LET x37 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x9 : [-127..127] = (x9 + 1) IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE LET x91 : BOOLEAN = (x13 = 3) IN IF x91 THEN LET x36 : BOOLEAN = TRUE IN LET x37 : BOOLEAN = FALSE IN LET x39 : BOOLEAN = FALSE IN LET x19 : BOOLEAN = TRUE IN LET x18 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ENDIF ENDIF ELSE IF x48 THEN LET x95 : BOOLEAN = (x12 <= x4) IN IF x95 THEN LET x41 : BOOLEAN = TRUE IN LET x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,[-127..127], [-127..127],BOOLEAN,BOOLEAN] = IF x43 THEN LET x43 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ELSE LET x46 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ENDIF IN LET x107 : BOOLEAN = x0.1 IN LET x106 : BOOLEAN = x0.2 IN LET x105 : BOOLEAN = x0.3 IN LET x104 : BOOLEAN = x0.4 IN LET x103 : BOOLEAN = x0.5 IN LET x102 : BOOLEAN = x0.6 IN LET x101 : BOOLEAN = x0.7 IN LET x100 : BOOLEAN = x0.8 IN LET x99 : BOOLEAN = x0.9 IN LET x98 : BOOLEAN = x0.10 IN LET x97 : BOOLEAN = x0.11 IN LET x96 : BOOLEAN = x0.12 IN LET x95 : BOOLEAN = x0.13 IN LET x94 : BOOLEAN = x0.14 IN LET x93 : BOOLEAN = x0.15 IN LET x92 : BOOLEAN = x0.16 IN LET x91 : BOOLEAN = x0.17 IN LET x90 : BOOLEAN = x0.18 IN LET x89 : BOOLEAN = x0.19 IN LET x88 : BOOLEAN = x0.20 IN LET x87 : BOOLEAN = x0.21 IN LET x86 : BOOLEAN = x0.22 IN LET x85 : BOOLEAN = x0.23 IN LET x84 : BOOLEAN = x0.24 IN LET x82 : BOOLEAN = x0.25 IN LET x80 : BOOLEAN = x0.26 IN LET x77 : BOOLEAN = x0.27 IN LET x73 : BOOLEAN = x0.28 IN LET x71 : BOOLEAN = x0.29 IN LET x68 : BOOLEAN = x0.30 IN LET x64 : BOOLEAN = x0.31 IN LET x62 : BOOLEAN = x0.32 IN LET x59 : BOOLEAN = x0.33 IN LET x55 : BOOLEAN = x0.34 IN LET x51 : BOOLEAN = x0.35 IN LET x48 : BOOLEAN = x0.36 IN LET x46 : BOOLEAN = x0.37 IN LET x43 : BOOLEAN = x0.38 IN LET x39 : BOOLEAN = x0.39 IN LET x37 : BOOLEAN = x0.40 IN LET x34 : BOOLEAN = x0.41 IN LET x30 : BOOLEAN = x0.42 IN LET x28 : BOOLEAN = x0.43 IN LET x25 : BOOLEAN = x0.44 IN LET x21 : BOOLEAN = x0.45 IN LET x18 : BOOLEAN = x0.46 IN LET x83 : BOOLEAN = x0.47 IN LET x81 : BOOLEAN = x0.48 IN LET x78 : BOOLEAN = x0.49 IN LET x74 : BOOLEAN = x0.50 IN LET x72 : BOOLEAN = x0.51 IN LET x69 : BOOLEAN = x0.52 IN LET x65 : BOOLEAN = x0.53 IN LET x63 : BOOLEAN = x0.54 IN LET x60 : BOOLEAN = x0.55 IN LET x56 : BOOLEAN = x0.56 IN LET x52 : BOOLEAN = x0.57 IN LET x49 : BOOLEAN = x0.58 IN LET x47 : BOOLEAN = x0.59 IN LET x44 : BOOLEAN = x0.60 IN LET x40 : BOOLEAN = x0.61 IN LET x38 : BOOLEAN = x0.62 IN LET x35 : BOOLEAN = x0.63 IN LET x31 : BOOLEAN = x0.64 IN LET x29 : BOOLEAN = x0.65 IN LET x26 : BOOLEAN = x0.66 IN LET x22 : BOOLEAN = x0.67 IN LET x19 : BOOLEAN = x0.68 IN LET x79 : BOOLEAN = x0.69 IN LET x76 : BOOLEAN = x0.70 IN LET x75 : BOOLEAN = x0.71 IN LET x70 : BOOLEAN = x0.72 IN LET x67 : BOOLEAN = x0.73 IN LET x66 : BOOLEAN = x0.74 IN LET x61 : BOOLEAN = x0.75 IN LET x58 : BOOLEAN = x0.76 IN LET x57 : BOOLEAN = x0.77 IN LET x54 : BOOLEAN = x0.78 IN LET x53 : BOOLEAN = x0.79 IN LET x50 : BOOLEAN = x0.80 IN LET x45 : BOOLEAN = x0.81 IN LET x42 : BOOLEAN = x0.82 IN LET x41 : BOOLEAN = x0.83 IN LET x36 : BOOLEAN = x0.84 IN LET x33 : BOOLEAN = x0.85 IN LET x32 : BOOLEAN = x0.86 IN LET x27 : BOOLEAN = x0.87 IN LET x24 : BOOLEAN = x0.88 IN LET x23 : BOOLEAN = x0.89 IN LET x20 : BOOLEAN = x0.90 IN LET x17 : BOOLEAN = x0.91 IN LET x16 : BOOLEAN = x0.92 IN LET x15 : BOOLEAN = x0.93 IN LET x14 : [-127..127] = x0.94 IN LET x9 : [-127..127] = x0.95 IN LET x2 : BOOLEAN = x0.96 IN LET x1 : BOOLEAN = x0.97 IN LET x48 : BOOLEAN = FALSE IN LET x19 : BOOLEAN = TRUE IN LET x18 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE IF x43 THEN LET x93 : BOOLEAN = (x9 > x8) IN IF x93 THEN LET x42 : BOOLEAN = TRUE IN LET x43 : BOOLEAN = FALSE IN LET x47 : BOOLEAN = TRUE IN LET x46 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 4 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ELSE LET x9 : [-127..127] = (x9 + 1) IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ENDIF ELSE LET x94 : BOOLEAN = (x13 = 4) IN IF x94 THEN LET x45 : BOOLEAN = TRUE IN LET x46 : BOOLEAN = FALSE IN LET x48 : BOOLEAN = FALSE IN LET x52 : BOOLEAN = TRUE IN LET x51 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 4 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ENDIF ENDIF ENDIF ELSE IF x51 THEN LET x96 : BOOLEAN = (x12 <= x4) IN IF x96 THEN LET x50 : BOOLEAN = TRUE IN LET x51 : BOOLEAN = FALSE IN LET x65 : BOOLEAN = TRUE IN LET x64 : BOOLEAN = TRUE IN LET x60 : BOOLEAN = TRUE IN LET x59 : BOOLEAN = TRUE IN LET x9 : [-127..127] = 0 IN LET x14 : [-127..127] = 4 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97, x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86,x85,x84, x82,x80,x77,x73,x71,x68,x64,x62,x59,x55,x51,x48,x46, x43,x39,x37,x34,x30,x28,x25,x21,x18,x83,x81,x78,x74, x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38,x35, x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58, x57,x54,x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23, x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE IF x55 THEN LET x98 : BOOLEAN = (x12 > x7) IN IF x98 THEN LET x53 : BOOLEAN = TRUE IN LET x55 : BOOLEAN = FALSE IN LET x40 : BOOLEAN = TRUE IN LET x39 : BOOLEAN = TRUE IN LET x35 : BOOLEAN = TRUE IN LET x34 : BOOLEAN = TRUE IN LET x9 : [-127..127] = 0 IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ELSE LET x97 : BOOLEAN = (x12 <= x10) IN IF x97 THEN LET x54 : BOOLEAN = TRUE IN LET x55 : BOOLEAN = FALSE IN LET x83 : BOOLEAN = TRUE IN LET x82 : BOOLEAN = TRUE IN LET x78 : BOOLEAN = TRUE IN LET x77 : BOOLEAN = TRUE IN LET x9 : [-127..127] = 0 IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ENDIF ENDIF ELSE IF x64 THEN LET x101 : BOOLEAN = (x12 > x5) IN IF x101 THEN LET x57 : BOOLEAN = TRUE IN LET x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,[-127..127],[-127..127], BOOLEAN,BOOLEAN] = IF x59 THEN LET x59 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x62 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF IN LET x107 : BOOLEAN = x0.1 IN LET x106 : BOOLEAN = x0.2 IN LET x105 : BOOLEAN = x0.3 IN LET x104 : BOOLEAN = x0.4 IN LET x103 : BOOLEAN = x0.5 IN LET x102 : BOOLEAN = x0.6 IN LET x101 : BOOLEAN = x0.7 IN LET x100 : BOOLEAN = x0.8 IN LET x99 : BOOLEAN = x0.9 IN LET x98 : BOOLEAN = x0.10 IN LET x97 : BOOLEAN = x0.11 IN LET x96 : BOOLEAN = x0.12 IN LET x95 : BOOLEAN = x0.13 IN LET x94 : BOOLEAN = x0.14 IN LET x93 : BOOLEAN = x0.15 IN LET x92 : BOOLEAN = x0.16 IN LET x91 : BOOLEAN = x0.17 IN LET x90 : BOOLEAN = x0.18 IN LET x89 : BOOLEAN = x0.19 IN LET x88 : BOOLEAN = x0.20 IN LET x87 : BOOLEAN = x0.21 IN LET x86 : BOOLEAN = x0.22 IN LET x85 : BOOLEAN = x0.23 IN LET x84 : BOOLEAN = x0.24 IN LET x82 : BOOLEAN = x0.25 IN LET x80 : BOOLEAN = x0.26 IN LET x77 : BOOLEAN = x0.27 IN LET x73 : BOOLEAN = x0.28 IN LET x71 : BOOLEAN = x0.29 IN LET x68 : BOOLEAN = x0.30 IN LET x64 : BOOLEAN = x0.31 IN LET x62 : BOOLEAN = x0.32 IN LET x59 : BOOLEAN = x0.33 IN LET x55 : BOOLEAN = x0.34 IN LET x51 : BOOLEAN = x0.35 IN LET x48 : BOOLEAN = x0.36 IN LET x46 : BOOLEAN = x0.37 IN LET x43 : BOOLEAN = x0.38 IN LET x39 : BOOLEAN = x0.39 IN LET x37 : BOOLEAN = x0.40 IN LET x34 : BOOLEAN = x0.41 IN LET x30 : BOOLEAN = x0.42 IN LET x28 : BOOLEAN = x0.43 IN LET x25 : BOOLEAN = x0.44 IN LET x21 : BOOLEAN = x0.45 IN LET x18 : BOOLEAN = x0.46 IN LET x83 : BOOLEAN = x0.47 IN LET x81 : BOOLEAN = x0.48 IN LET x78 : BOOLEAN = x0.49 IN LET x74 : BOOLEAN = x0.50 IN LET x72 : BOOLEAN = x0.51 IN LET x69 : BOOLEAN = x0.52 IN LET x65 : BOOLEAN = x0.53 IN LET x63 : BOOLEAN = x0.54 IN LET x60 : BOOLEAN = x0.55 IN LET x56 : BOOLEAN = x0.56 IN LET x52 : BOOLEAN = x0.57 IN LET x49 : BOOLEAN = x0.58 IN LET x47 : BOOLEAN = x0.59 IN LET x44 : BOOLEAN = x0.60 IN LET x40 : BOOLEAN = x0.61 IN LET x38 : BOOLEAN = x0.62 IN LET x35 : BOOLEAN = x0.63 IN LET x31 : BOOLEAN = x0.64 IN LET x29 : BOOLEAN = x0.65 IN LET x26 : BOOLEAN = x0.66 IN LET x22 : BOOLEAN = x0.67 IN LET x19 : BOOLEAN = x0.68 IN LET x79 : BOOLEAN = x0.69 IN LET x76 : BOOLEAN = x0.70 IN LET x75 : BOOLEAN = x0.71 IN LET x70 : BOOLEAN = x0.72 IN LET x67 : BOOLEAN = x0.73 IN LET x66 : BOOLEAN = x0.74 IN LET x61 : BOOLEAN = x0.75 IN LET x58 : BOOLEAN = x0.76 IN LET x57 : BOOLEAN = x0.77 IN LET x54 : BOOLEAN = x0.78 IN LET x53 : BOOLEAN = x0.79 IN LET x50 : BOOLEAN = x0.80 IN LET x45 : BOOLEAN = x0.81 IN LET x42 : BOOLEAN = x0.82 IN LET x41 : BOOLEAN = x0.83 IN LET x36 : BOOLEAN = x0.84 IN LET x33 : BOOLEAN = x0.85 IN LET x32 : BOOLEAN = x0.86 IN LET x27 : BOOLEAN = x0.87 IN LET x24 : BOOLEAN = x0.88 IN LET x23 : BOOLEAN = x0.89 IN LET x20 : BOOLEAN = x0.90 IN LET x17 : BOOLEAN = x0.91 IN LET x16 : BOOLEAN = x0.92 IN LET x15 : BOOLEAN = x0.93 IN LET x14 : [-127..127] = x0.94 IN LET x9 : [-127..127] = x0.95 IN LET x2 : BOOLEAN = x0.96 IN LET x1 : BOOLEAN = x0.97 IN LET x64 : BOOLEAN = FALSE IN LET x52 : BOOLEAN = TRUE IN LET x51 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 4 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98, x97,x96,x95,x94,x93,x92,x91,x90,x89,x88,x87,x86, x85,x84,x82,x80,x77,x73,x71,x68,x64,x62,x59,x55, x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19,x79,x76, x75,x70,x67,x66,x61,x58,x57,x54,x53,x50,x45,x42, x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ELSE IF x59 THEN LET x99 : BOOLEAN = (x9 > x8) IN IF x99 THEN LET x58 : BOOLEAN = TRUE IN LET x59 : BOOLEAN = FALSE IN LET x63 : BOOLEAN = TRUE IN LET x62 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x9 : [-127..127] = (x9 + 1) IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE LET x100 : BOOLEAN = (x13 = 3) IN IF x100 THEN LET x61 : BOOLEAN = TRUE IN LET x62 : BOOLEAN = FALSE IN LET x64 : BOOLEAN = FALSE IN LET x19 : BOOLEAN = TRUE IN LET x18 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ENDIF ENDIF ELSE IF x73 THEN LET x104 : BOOLEAN = (x12 > x7) IN IF x104 THEN LET x66 : BOOLEAN = TRUE IN LET x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,[-127..127],[-127..127], BOOLEAN,BOOLEAN] = IF x68 THEN LET x68 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x71 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF IN LET x107 : BOOLEAN = x0.1 IN LET x106 : BOOLEAN = x0.2 IN LET x105 : BOOLEAN = x0.3 IN LET x104 : BOOLEAN = x0.4 IN LET x103 : BOOLEAN = x0.5 IN LET x102 : BOOLEAN = x0.6 IN LET x101 : BOOLEAN = x0.7 IN LET x100 : BOOLEAN = x0.8 IN LET x99 : BOOLEAN = x0.9 IN LET x98 : BOOLEAN = x0.10 IN LET x97 : BOOLEAN = x0.11 IN LET x96 : BOOLEAN = x0.12 IN LET x95 : BOOLEAN = x0.13 IN LET x94 : BOOLEAN = x0.14 IN LET x93 : BOOLEAN = x0.15 IN LET x92 : BOOLEAN = x0.16 IN LET x91 : BOOLEAN = x0.17 IN LET x90 : BOOLEAN = x0.18 IN LET x89 : BOOLEAN = x0.19 IN LET x88 : BOOLEAN = x0.20 IN LET x87 : BOOLEAN = x0.21 IN LET x86 : BOOLEAN = x0.22 IN LET x85 : BOOLEAN = x0.23 IN LET x84 : BOOLEAN = x0.24 IN LET x82 : BOOLEAN = x0.25 IN LET x80 : BOOLEAN = x0.26 IN LET x77 : BOOLEAN = x0.27 IN LET x73 : BOOLEAN = x0.28 IN LET x71 : BOOLEAN = x0.29 IN LET x68 : BOOLEAN = x0.30 IN LET x64 : BOOLEAN = x0.31 IN LET x62 : BOOLEAN = x0.32 IN LET x59 : BOOLEAN = x0.33 IN LET x55 : BOOLEAN = x0.34 IN LET x51 : BOOLEAN = x0.35 IN LET x48 : BOOLEAN = x0.36 IN LET x46 : BOOLEAN = x0.37 IN LET x43 : BOOLEAN = x0.38 IN LET x39 : BOOLEAN = x0.39 IN LET x37 : BOOLEAN = x0.40 IN LET x34 : BOOLEAN = x0.41 IN LET x30 : BOOLEAN = x0.42 IN LET x28 : BOOLEAN = x0.43 IN LET x25 : BOOLEAN = x0.44 IN LET x21 : BOOLEAN = x0.45 IN LET x18 : BOOLEAN = x0.46 IN LET x83 : BOOLEAN = x0.47 IN LET x81 : BOOLEAN = x0.48 IN LET x78 : BOOLEAN = x0.49 IN LET x74 : BOOLEAN = x0.50 IN LET x72 : BOOLEAN = x0.51 IN LET x69 : BOOLEAN = x0.52 IN LET x65 : BOOLEAN = x0.53 IN LET x63 : BOOLEAN = x0.54 IN LET x60 : BOOLEAN = x0.55 IN LET x56 : BOOLEAN = x0.56 IN LET x52 : BOOLEAN = x0.57 IN LET x49 : BOOLEAN = x0.58 IN LET x47 : BOOLEAN = x0.59 IN LET x44 : BOOLEAN = x0.60 IN LET x40 : BOOLEAN = x0.61 IN LET x38 : BOOLEAN = x0.62 IN LET x35 : BOOLEAN = x0.63 IN LET x31 : BOOLEAN = x0.64 IN LET x29 : BOOLEAN = x0.65 IN LET x26 : BOOLEAN = x0.66 IN LET x22 : BOOLEAN = x0.67 IN LET x19 : BOOLEAN = x0.68 IN LET x79 : BOOLEAN = x0.69 IN LET x76 : BOOLEAN = x0.70 IN LET x75 : BOOLEAN = x0.71 IN LET x70 : BOOLEAN = x0.72 IN LET x67 : BOOLEAN = x0.73 IN LET x66 : BOOLEAN = x0.74 IN LET x61 : BOOLEAN = x0.75 IN LET x58 : BOOLEAN = x0.76 IN LET x57 : BOOLEAN = x0.77 IN LET x54 : BOOLEAN = x0.78 IN LET x53 : BOOLEAN = x0.79 IN LET x50 : BOOLEAN = x0.80 IN LET x45 : BOOLEAN = x0.81 IN LET x42 : BOOLEAN = x0.82 IN LET x41 : BOOLEAN = x0.83 IN LET x36 : BOOLEAN = x0.84 IN LET x33 : BOOLEAN = x0.85 IN LET x32 : BOOLEAN = x0.86 IN LET x27 : BOOLEAN = x0.87 IN LET x24 : BOOLEAN = x0.88 IN LET x23 : BOOLEAN = x0.89 IN LET x20 : BOOLEAN = x0.90 IN LET x17 : BOOLEAN = x0.91 IN LET x16 : BOOLEAN = x0.92 IN LET x15 : BOOLEAN = x0.93 IN LET x14 : [-127..127] = x0.94 IN LET x9 : [-127..127] = x0.95 IN LET x2 : BOOLEAN = x0.96 IN LET x1 : BOOLEAN = x0.97 IN LET x73 : BOOLEAN = FALSE IN LET x19 : BOOLEAN = TRUE IN LET x18 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 3 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE IF x68 THEN LET x102 : BOOLEAN = (x9 > x8) IN IF x102 THEN LET x67 : BOOLEAN = TRUE IN LET x68 : BOOLEAN = FALSE IN LET x72 : BOOLEAN = TRUE IN LET x71 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x9 : [-127..127] = (x9 + 1) IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE LET x103 : BOOLEAN = (x13 = 2) IN IF x103 THEN LET x70 : BOOLEAN = TRUE IN LET x71 : BOOLEAN = FALSE IN LET x73 : BOOLEAN = FALSE IN LET x56 : BOOLEAN = TRUE IN LET x55 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ENDIF ENDIF ELSE LET x107 : BOOLEAN = (x12 > x11) IN IF x107 THEN LET x75 : BOOLEAN = TRUE IN LET x0 : [BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,BOOLEAN,BOOLEAN,BOOLEAN, BOOLEAN,[-127..127],[-127..127], BOOLEAN,BOOLEAN] = IF x77 THEN LET x77 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x80 : BOOLEAN = FALSE IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF IN LET x107 : BOOLEAN = x0.1 IN LET x106 : BOOLEAN = x0.2 IN LET x105 : BOOLEAN = x0.3 IN LET x104 : BOOLEAN = x0.4 IN LET x103 : BOOLEAN = x0.5 IN LET x102 : BOOLEAN = x0.6 IN LET x101 : BOOLEAN = x0.7 IN LET x100 : BOOLEAN = x0.8 IN LET x99 : BOOLEAN = x0.9 IN LET x98 : BOOLEAN = x0.10 IN LET x97 : BOOLEAN = x0.11 IN LET x96 : BOOLEAN = x0.12 IN LET x95 : BOOLEAN = x0.13 IN LET x94 : BOOLEAN = x0.14 IN LET x93 : BOOLEAN = x0.15 IN LET x92 : BOOLEAN = x0.16 IN LET x91 : BOOLEAN = x0.17 IN LET x90 : BOOLEAN = x0.18 IN LET x89 : BOOLEAN = x0.19 IN LET x88 : BOOLEAN = x0.20 IN LET x87 : BOOLEAN = x0.21 IN LET x86 : BOOLEAN = x0.22 IN LET x85 : BOOLEAN = x0.23 IN LET x84 : BOOLEAN = x0.24 IN LET x82 : BOOLEAN = x0.25 IN LET x80 : BOOLEAN = x0.26 IN LET x77 : BOOLEAN = x0.27 IN LET x73 : BOOLEAN = x0.28 IN LET x71 : BOOLEAN = x0.29 IN LET x68 : BOOLEAN = x0.30 IN LET x64 : BOOLEAN = x0.31 IN LET x62 : BOOLEAN = x0.32 IN LET x59 : BOOLEAN = x0.33 IN LET x55 : BOOLEAN = x0.34 IN LET x51 : BOOLEAN = x0.35 IN LET x48 : BOOLEAN = x0.36 IN LET x46 : BOOLEAN = x0.37 IN LET x43 : BOOLEAN = x0.38 IN LET x39 : BOOLEAN = x0.39 IN LET x37 : BOOLEAN = x0.40 IN LET x34 : BOOLEAN = x0.41 IN LET x30 : BOOLEAN = x0.42 IN LET x28 : BOOLEAN = x0.43 IN LET x25 : BOOLEAN = x0.44 IN LET x21 : BOOLEAN = x0.45 IN LET x18 : BOOLEAN = x0.46 IN LET x83 : BOOLEAN = x0.47 IN LET x81 : BOOLEAN = x0.48 IN LET x78 : BOOLEAN = x0.49 IN LET x74 : BOOLEAN = x0.50 IN LET x72 : BOOLEAN = x0.51 IN LET x69 : BOOLEAN = x0.52 IN LET x65 : BOOLEAN = x0.53 IN LET x63 : BOOLEAN = x0.54 IN LET x60 : BOOLEAN = x0.55 IN LET x56 : BOOLEAN = x0.56 IN LET x52 : BOOLEAN = x0.57 IN LET x49 : BOOLEAN = x0.58 IN LET x47 : BOOLEAN = x0.59 IN LET x44 : BOOLEAN = x0.60 IN LET x40 : BOOLEAN = x0.61 IN LET x38 : BOOLEAN = x0.62 IN LET x35 : BOOLEAN = x0.63 IN LET x31 : BOOLEAN = x0.64 IN LET x29 : BOOLEAN = x0.65 IN LET x26 : BOOLEAN = x0.66 IN LET x22 : BOOLEAN = x0.67 IN LET x19 : BOOLEAN = x0.68 IN LET x79 : BOOLEAN = x0.69 IN LET x76 : BOOLEAN = x0.70 IN LET x75 : BOOLEAN = x0.71 IN LET x70 : BOOLEAN = x0.72 IN LET x67 : BOOLEAN = x0.73 IN LET x66 : BOOLEAN = x0.74 IN LET x61 : BOOLEAN = x0.75 IN LET x58 : BOOLEAN = x0.76 IN LET x57 : BOOLEAN = x0.77 IN LET x54 : BOOLEAN = x0.78 IN LET x53 : BOOLEAN = x0.79 IN LET x50 : BOOLEAN = x0.80 IN LET x45 : BOOLEAN = x0.81 IN LET x42 : BOOLEAN = x0.82 IN LET x41 : BOOLEAN = x0.83 IN LET x36 : BOOLEAN = x0.84 IN LET x33 : BOOLEAN = x0.85 IN LET x32 : BOOLEAN = x0.86 IN LET x27 : BOOLEAN = x0.87 IN LET x24 : BOOLEAN = x0.88 IN LET x23 : BOOLEAN = x0.89 IN LET x20 : BOOLEAN = x0.90 IN LET x17 : BOOLEAN = x0.91 IN LET x16 : BOOLEAN = x0.92 IN LET x15 : BOOLEAN = x0.93 IN LET x14 : [-127..127] = x0.94 IN LET x9 : [-127..127] = x0.95 IN LET x2 : BOOLEAN = x0.96 IN LET x1 : BOOLEAN = x0.97 IN LET x82 : BOOLEAN = FALSE IN LET x56 : BOOLEAN = TRUE IN LET x55 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 2 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99, x98,x97,x96,x95,x94,x93,x92,x91,x90,x89,x88, x87,x86,x85,x84,x82,x80,x77,x73,x71,x68,x64, x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30, x28,x25,x21,x18,x83,x81,x78,x74,x72,x69,x65, x63,x60,x56,x52,x49,x47,x44,x40,x38,x35,x31, x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61, x58,x57,x54,x53,x50,x45,x42,x41,x36,x33,x32, x27,x24,x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE IF x77 THEN LET x105 : BOOLEAN = (x9 > x8) IN IF x105 THEN LET x76 : BOOLEAN = TRUE IN LET x77 : BOOLEAN = FALSE IN LET x81 : BOOLEAN = TRUE IN LET x80 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 1 IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE LET x9 : [-127..127] = (x9 + 1) IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ELSE LET x106 : BOOLEAN = (x13 = 1) IN IF x106 THEN LET x79 : BOOLEAN = TRUE IN LET x80 : BOOLEAN = FALSE IN LET x82 : BOOLEAN = FALSE IN LET x22 : BOOLEAN = TRUE IN LET x21 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 1 IN (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ELSE (x107,x106,x105,x104,x103,x102,x101,x100, x99,x98,x97,x96,x95,x94,x93,x92,x91,x90, x89,x88,x87,x86,x85,x84,x82,x80,x77,x73, x71,x68,x64,x62,x59,x55,x51,x48,x46,x43, x39,x37,x34,x30,x28,x25,x21,x18,x83,x81, x78,x74,x72,x69,x65,x63,x60,x56,x52,x49, x47,x44,x40,x38,x35,x31,x29,x26,x22,x19, x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24, x23,x20,x17,x16,x15,x14,x9,x2,x1) ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ENDIF ELSE LET x2 : BOOLEAN = TRUE IN LET x1 : BOOLEAN = TRUE IN LET x15 : BOOLEAN = TRUE IN LET x22 : BOOLEAN = TRUE IN LET x21 : BOOLEAN = TRUE IN LET x14 : [-127..127] = 1 IN (x107,x106,x105,x104,x103,x102,x101,x100,x99,x98,x97,x96,x95,x94, x93,x92,x91,x90,x89,x88,x87,x86,x85,x84,x82,x80,x77,x73,x71,x68, x64,x62,x59,x55,x51,x48,x46,x43,x39,x37,x34,x30,x28,x25,x21,x18, x83,x81,x78,x74,x72,x69,x65,x63,x60,x56,x52,x49,x47,x44,x40,x38, x35,x31,x29,x26,x22,x19,x79,x76,x75,x70,x67,x66,x61,x58,x57,x54, x53,x50,x45,x42,x41,x36,x33,x32,x27,x24,x23,x20,x17,x16,x15,x14, x9,x2,x1) ENDIF; nb_theorem = IF x2 THEN 1 ELSE 0 ENDIF + IF x31 THEN 1 ELSE 0 ENDIF + IF x65 THEN 1 ELSE 0 ENDIF + IF x60 THEN 1 ELSE 0 ENDIF + IF x19 THEN 1 ELSE 0 ENDIF + IF x69 THEN 1 ELSE 0 ENDIF + IF x78 THEN 1 ELSE 0 ENDIF + IF x56 THEN 1 ELSE 0 ENDIF + IF x49 THEN 1 ELSE 0 ENDIF + IF x26 THEN 1 ELSE 0 ENDIF + IF x22 THEN 1 ELSE 0 ENDIF + IF x63 THEN 1 ELSE 0 ENDIF + IF x44 THEN 1 ELSE 0 ENDIF + IF x52 THEN 1 ELSE 0 ENDIF + IF x74 THEN 1 ELSE 0 ENDIF + IF x72 THEN 1 ELSE 0 ENDIF + IF x35 THEN 1 ELSE 0 ENDIF + IF x81 THEN 1 ELSE 0 ENDIF + IF x47 THEN 1 ELSE 0 ENDIF + IF x40 THEN 1 ELSE 0 ENDIF + IF x38 THEN 1 ELSE 0 ENDIF + IF x29 THEN 1 ELSE 0 ENDIF + IF x83 THEN 1 ELSE 0 ENDIF + IF x20 THEN 1 ELSE 0 ENDIF + IF x42 THEN 1 ELSE 0 ENDIF + IF x50 THEN 1 ELSE 0 ENDIF + IF x17 THEN 1 ELSE 0 ENDIF + IF x76 THEN 1 ELSE 0 ENDIF + IF x45 THEN 1 ELSE 0 ENDIF + IF x57 THEN 1 ELSE 0 ENDIF + IF x27 THEN 1 ELSE 0 ENDIF + IF x32 THEN 1 ELSE 0 ENDIF + IF x70 THEN 1 ELSE 0 ENDIF + IF x75 THEN 1 ELSE 0 ENDIF + IF x54 THEN 1 ELSE 0 ENDIF + IF x67 THEN 1 ELSE 0 ENDIF + IF x33 THEN 1 ELSE 0 ENDIF + IF x23 THEN 1 ELSE 0 ENDIF + IF x24 THEN 1 ELSE 0 ENDIF + IF x79 THEN 1 ELSE 0 ENDIF + IF x15 THEN 1 ELSE 0 ENDIF + IF x16 THEN 1 ELSE 0 ENDIF + IF x36 THEN 1 ELSE 0 ENDIF + IF x41 THEN 1 ELSE 0 ENDIF + IF x53 THEN 1 ELSE 0 ENDIF + IF x58 THEN 1 ELSE 0 ENDIF + IF x61 THEN 1 ELSE 0 ENDIF + IF x66 THEN 1 ELSE 0 ENDIF TRANSITION x107' = x0.1; x106' = x0.2; x105' = x0.3; x104' = x0.4; x103' = x0.5; x102' = x0.6; x101' = x0.7; x100' = x0.8; x99' = x0.9; x98' = x0.10; x97' = x0.11; x96' = x0.12; x95' = x0.13; x94' = x0.14; x93' = x0.15; x92' = x0.16; x91' = x0.17; x90' = x0.18; x89' = x0.19; x88' = x0.20; x87' = x0.21; x86' = x0.22; x85' = x0.23; x84' = x0.24; x82' = x0.25; x80' = x0.26; x77' = x0.27; x73' = x0.28; x71' = x0.29; x68' = x0.30; x64' = x0.31; x62' = x0.32; x59' = x0.33; x55' = x0.34; x51' = x0.35; x48' = x0.36; x46' = x0.37; x43' = x0.38; x39' = x0.39; x37' = x0.40; x34' = x0.41; x30' = x0.42; x28' = x0.43; x25' = x0.44; x21' = x0.45; x18' = x0.46; x83' = x0.47; x81' = x0.48; x78' = x0.49; x74' = x0.50; x72' = x0.51; x69' = x0.52; x65' = x0.53; x63' = x0.54; x60' = x0.55; x56' = x0.56; x52' = x0.57; x49' = x0.58; x47' = x0.59; x44' = x0.60; x40' = x0.61; x38' = x0.62; x35' = x0.63; x31' = x0.64; x29' = x0.65; x26' = x0.66; x22' = x0.67; x19' = x0.68; x79' = x0.69; x76' = x0.70; x75' = x0.71; x70' = x0.72; x67' = x0.73; x66' = x0.74; x61' = x0.75; x58' = x0.76; x57' = x0.77; x54' = x0.78; x53' = x0.79; x50' = x0.80; x45' = x0.81; x42' = x0.82; x41' = x0.83; x36' = x0.84; x33' = x0.85; x32' = x0.86; x27' = x0.87; x24' = x0.88; x23' = x0.89; x20' = x0.90; x17' = x0.91; x16' = x0.92; x15' = x0.93; x14' = x0.94; x9' = x0.95; x2' = x0.96; x1' = x0.97 END; constraints: MODULE = BEGIN OUTPUT x4 : [-127..127], % shift_speed_43 x5 : [-127..127], % shift_speed_34 x6 : [-127..127], % shift_speed_32 x7 : [-127..127], % shift_speed_23 x10 : [-127..127], % shift_speed_21 x11 : [-127..127], % shift_speed_12 x12 : [-127..127], % V x13 : [-127..127] % gear INPUT torque: [0..127], velocity: [0..127], gear: [1..4] TRANSITION x4' = torque; x5' = torque; x6' = torque; x7' = torque; x10' = torque; x11' = torque; x12' = velocity; x13' = gear; END; system: MODULE = main || constraints; END