#ifndef DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG2_H_
#define DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG2_H_

int32_t arg2[3][2][256] = {
    {{-1147, -1152, -1059, -1130, -1113, -887,  -1130, -1109, -736,  -910,
      -1079, -1099, -845,  -1035, -1126, -853,  -883,  -1119, -1087, -962,
      -1125, -838,  -914,  -1021, -973,  -937,  -881,  -1065, -1118, -1010,
      -866,  -1118, -983,  -1123, -1051, -1103, -1106, -990,  -931,  -1138,
      -1048, -1138, -991,  -1111, -1090, -1152, -1027, -1068, -1086, -934,
      -1133, -932,  -1013, -1123, -1016, -1033, -1123, -1137, -821,  -992,
      -1034, -1119, -1125, -845,  -1010, -1105, -1069, -1087, -1088, -924,
      -921,  -1036, -1010, -1080, -1018, -1065, -1124, -1107, -1135, -1014,
      -1144, -1022, -1091, -970,  -1016, -1147, -970,  -1152, -1129, -1098,
      -1134, -1072, -1147, -1011, -990,  -1091, -899,  -1132, -999,  -1022,
      -919,  -845,  -1084, -1151, -1016, -1061, -1114, -909,  -869,  -1084,
      -1106, -1058, -1084, -830,  -1141, -1023, -1045, -1094, -1016, -1130,
      -1132, -1124, -902,  -492,  -984,  -1057, -1090, -1133, -1083, -1029,
      -1058, -937,  -1053, -1049, -1072, -1015, -1104, -998,  -1152, -1152,
      -1143, -1148, -1075, -1099, -1150, -929,  -1052, -1086, -1042, -951,
      -1069, -1131, -1123, -1085, -1069, -1047, -1152, -990,  -1077, -1070,
      -1088, -1082, -1130, -990,  -1141, -1108, -1016, -969,  -1006, -754,
      -1082, -945,  -1057, -927,  -1035, -1103, -1020, -1149, -1112, -924,
      -1110, -481,  -964,  -823,  -1138, -1016, -1122, -1095, -1120, -1128,
      -959,  -1011, -1002, -1150, -1099, -957,  -1094, -955,  -908,  -823,
      -1105, -1110, -1115, -1124, -1152, -1044, -1094, -1029, -1089, -1070,
      -1116, -1081, -1063, -1017, -1088, -1028, -1107, -1151, -1046, -1063,
      -884,  -1080, -1118, -1063, -1036, -973,  -1111, -1084, -1015, -1152,
      -1077, -894,  -940,  -965,  -1100, -1071, -972,  -1146, -1131, -1137,
      -792,  -1085, -1152, -1078, -1078, -1009, -1051, -1054, -1106, -965,
      -1020, -1135, -1061, -1023, -1033, -1152},
     {-921,  -1131, -920,  -1117, -1138, -704,  -1134, -1139, -897,  -1049,
      -1141, -1152, -921,  -868,  -952,  -1003, -1017, -1150, -1137, -1092,
      -1140, -809,  -1070, -1065, -1129, -947,  -798,  -1140, -946,  -1141,
      -774,  -1145, -854,  -1148, -752,  -1132, -1144, -1120, -1134, -1152,
      -1140, -1152, -970,  -1152, -944,  -1152, -1125, -1140, -1015, -1104,
      -1152, -873,  -1137, -1130, -1136, -851,  -1152, -858,  -1018, -1140,
      -1119, -1119, -1152, -698,  -819,  -1152, -1143, -1082, -1148, -1055,
      -1041, -1022, -1104, -1109, -1119, -1051, -906,  -1127, -1152, -1103,
      -950,  -1070, -1047, -950,  -1112, -1152, -1152, -1136, -1009, -1046,
      -1085, -1058, -1152, -973,  -1093, -1150, -1061, -1152, -913,  -1125,
      -1007, -1069, -965,  -1151, -786,  -1148, -1152, -1014, -1031, -1146,
      -1106, -1099, -1152, -1008, -929,  -1092, -1132, -1152, -831,  -1152,
      -923,  -1124, -960,  -877,  -1043, -1152, -1143, -787,  -978,  -1149,
      -1133, -1073, -1021, -1148, -1152, -1055, -1145, -876,  -1050, -1152,
      -1152, -1148, -1142, -1047, -1150, -1028, -1147, -1147, -1139, -1078,
      -844,  -1152, -1140, -879,  -1107, -978,  -1152, -1016, -1113, -1137,
      -1120, -1138, -1152, -744,  -1141, -880,  -1123, -954,  -1128, -992,
      -1110, -1023, -957,  -1102, -1102, -876,  -1082, -931,  -802,  -1117,
      -1152, -533,  -1123, -1152, -1042, -1152, -1128, -1152, -1084, -964,
      -1108, -1017, -1152, -1021, -1142, -978,  -1152, -1110, -1065, -789,
      -1152, -996,  -1128, -1134, -1152, -1078, -1022, -1084, -1144, -1140,
      -1152, -1140, -1127, -1152, -1118, -1152, -1146, -932,  -1099, -1152,
      -933,  -994,  -1028, -958,  -1090, -1028, -771,  -1152, -1136, -948,
      -1132, -1013, -1127, -1106, -1150, -1152, -950,  -1152, -965,  -868,
      -1108, -1148, -1152, -1027, -890,  -1145, -1132, -1122, -730,  -1078,
      -1134, -1152, -823,  -680,  -871,  -1152}},
    {{-1152, -1152, -1066, -1152, -1083, -899,  -1146, -1111, -741,  -950,
      -1077, -1067, -788,  -1010, -1127, -779,  -993,  -1127, -1052, -888,
      -1078, -678,  -892,  -1029, -938,  -933,  -854,  -1066, -1139, -1028,
      -741,  -1123, -971,  -1127, -1058, -1079, -1139, -1062, -812,  -1120,
      -1042, -1140, -902,  -1116, -1059, -1152, -981,  -1012, -1064, -1005,
      -1137, -807,  -995,  -1128, -1073, -1030, -1111, -1143, -689,  -966,
      -1122, -1116, -1071, -684,  -1018, -1119, -980,  -938,  -986,  -877,
      -872,  -991,  -992,  -1034, -1068, -1076, -1112, -1110, -1115, -965,
      -1137, -1030, -1084, -991,  -1063, -1147, -946,  -1152, -1131, -1069,
      -1152, -1133, -1142, -1115, -937,  -1063, -935,  -1131, -1042, -1008,
      -819,  -800,  -1106, -1152, -1055, -1051, -1105, -1049, -830,  -1091,
      -1131, -1028, -1051, -693,  -1149, -1048, -1048, -1093, -1031, -1117,
      -1139, -1121, -919,  86,    -1058, -1025, -1100, -1144, -1127, -998,
      -1012, -842,  -1054, -991,  -1029, -979,  -1070, -1072, -1152, -1152,
      -1142, -1152, -1071, -1135, -1152, -1089, -1045, -1042, -1042, -843,
      -1084, -1097, -1111, -1098, -1049, -1025, -1152, -964,  -1133, -1058,
      -1102, -1082, -1048, -1077, -1152, -1074, -1099, -1059, -969,  -766,
      -1106, -921,  -1050, -946,  -964,  -991,  -1086, -1142, -1104, -841,
      -1098, -900,  -940,  -629,  -1145, -971,  -1124, -1065, -1035, -1130,
      -971,  -943,  -1000, -1152, -1108, -1025, -1129, -918,  -924,  -901,
      -1102, -1104, -1137, -1152, -1152, -1013, -1056, -1050, -1057, -1033,
      -1102, -1104, -1042, -995,  -1076, -1012, -1115, -1152, -1038, -1041,
      -861,  -1068, -1152, -998,  -1092, -970,  -1142, -1047, -1007, -1152,
      -1068, -824,  -914,  -904,  -1100, -1053, -1073, -1152, -1152, -1144,
      -689,  -1097, -1152, -1093, -1112, -1019, -1043, -1033, -1137, -899,
      -1008, -1128, -1074, -922,  -993,  -1149},
     {-946,  -1116, -913,  -1152, -1114, -719,  -1147, -1144, -946,  -1106,
      -1128, -1152, -909,  -843,  -992,  -1012, -1081, -1152, -1133, -1075,
      -1115, -751,  -1072, -1066, -1135, -959,  -761,  -1131, -956,  -1145,
      -696,  -1152, -888,  -1152, -773,  -1098, -1152, -1151, -1148, -1152,
      -1152, -1152, -818,  -1152, -941,  -1152, -1115, -1111, -994,  -1140,
      -1152, -811,  -1142, -1128, -1152, -806,  -1152, -884,  -984,  -1144,
      -1152, -1118, -1152, -607,  -856,  -1152, -1120, -909,  -1106, -1050,
      -974,  -1026, -1099, -1088, -1148, -1035, -907,  -1120, -1152, -1088,
      -937,  -1071, -1050, -982,  -1135, -1152, -1152, -1152, -1047, -1057,
      -1151, -1139, -1152, -1068, -1080, -1148, -1087, -1152, -918,  -1127,
      -963,  -1082, -945,  -1152, -822,  -1145, -1152, -1102, -1033, -1152,
      -1131, -1083, -1152, -980,  -935,  -1098, -1147, -1152, -859,  -1152,
      -826,  -1121, -924,  -770,  -1103, -1152, -1143, -805,  -938,  -1152,
      -1096, -1047, -1031, -1152, -1152, -1078, -1135, -910,  -1054, -1152,
      -1152, -1152, -1149, -1100, -1152, -1100, -1148, -1093, -1145, -1033,
      -825,  -1150, -1147, -918,  -1099, -963,  -1152, -1000, -1143, -1133,
      -1126, -1149, -1144, -796,  -1152, -865,  -1151, -1023, -1109, -957,
      -1123, -1076, -997,  -1137, -1093, -793,  -1138, -932,  -781,  -1140,
      -1152, -777,  -1118, -1152, -1042, -1152, -1133, -1149, -1115, -990,
      -1115, -986,  -1152, -999,  -1152, -1050, -1152, -1103, -1092, -837,
      -1152, -990,  -1139, -1152, -1152, -1056, -1007, -1100, -1132, -1143,
      -1152, -1149, -1114, -1152, -1118, -1152, -1152, -940,  -1079, -1152,
      -941,  -963,  -1074, -916,  -1105, -1068, -798,  -1152, -1150, -956,
      -1149, -1023, -1124, -1094, -1152, -1152, -1008, -1152, -961,  -843,
      -1107, -1149, -1152, -998,  -916,  -1152, -1139, -1120, -750,  -1071,
      -1129, -1152, -813,  -638,  -830,  -1152}},
    {{-1152, -855,  -1128, -942,  -939,  -796,  -902,  -912,  -762,  -707,
      -1129, -875,  -1093, -1103, -1148, -1018, -681,  -907,  -891,  -746,
      -784,  -572,  -823,  -857,  -768,  -724,  -1051, -840,  -1149, -851,
      -1018, -845,  -1090, -838,  -1134, -726,  -813,  -972,  -606,  -914,
      -874,  -833,  -860,  -710,  -1125, -976,  -842,  -848,  -1133, -892,
      -894,  -1052, -866,  -998,  -985,  -1123, -914,  -1143, -936,  -797,
      -876,  -848,  -846,  -1017, -1122, -872,  -739,  -1001, -839,  -1054,
      -825,  -737,  -859,  -873,  -902,  -1142, -1142, -963,  -987,  -847,
      -1142, -765,  -1130, -1106, -983,  -910,  -821,  -1003, -1150, -1123,
      -1152, -880,  -775,  -1152, -851,  -885,  -957,  -854,  -985,  -1065,
      -1048, -650,  -1135, -761,  -1145, -911,  -787,  -798,  -1098, -948,
      -888,  -931,  -801,  -633,  -1152, -822,  -872,  -865,  -1137, -939,
      -1152, -918,  -1016, -439,  -1033, -898,  -656,  -1150, -1150, -898,
      -835,  -705,  -1135, -875,  -826,  -539,  -919,  -1134, -1152, -875,
      -824,  -849,  -916,  -1152, -886,  -776,  -916,  -861,  -876,  -618,
      -1125, -802,  -796,  -1152, -764,  -1074, -867,  -796,  -894,  -854,
      -854,  -1135, -1146, -1152, -936,  -1128, -909,  -1135, -848,  -768,
      -867,  -764,  -1144, -1106, -812,  -1131, -1133, -1152, -1123, -619,
      -870,  -841,  -765,  -631,  -1152, -981,  -938,  -923,  -661,  -1142,
      -890,  -931,  -970,  -1152, -884,  -1113, -913,  -781,  -845,  -1057,
      -801,  -1143, -775,  -935,  -893,  -1017, -1117, -871,  -837,  -823,
      -1006, -901,  -910,  -1104, -882,  -947,  -845,  -1152, -724,  -867,
      -1055, -1128, -1017, -1113, -927,  -1103, -1152, -782,  -801,  -1152,
      -915,  -615,  -826,  -822,  -898,  -785,  -1152, -905,  -1152, -1152,
      -1032, -884,  -837,  -1134, -1139, -837,  -908,  -1115, -1096, -799,
      -992,  -868,  -1036, -1084, -1117, -716},
     {-1094, -873,  -1084, -976,  -1041, -813,  -1049, -1064, -955,  -955,
      -1146, -1066, -1117, -1062, -1116, -1105, -878,  -1074, -1062, -987,
      -959,  -744,  -1043, -1026, -1028, -818,  -1030, -1029, -1098, -1051,
      -1014, -1033, -1086, -1024, -1056, -899,  -970,  -1104, -964,  -1112,
      -1069, -932,  -818,  -901,  -1097, -1026, -1054, -1039, -1104, -1082,
      -1051, -1052, -1076, -1075, -1101, -1045, -1066, -1041, -1096, -1037,
      -930,  -993,  -1056, -1003, -1086, -1053, -991,  -922,  -1041, -1116,
      -882,  -879,  -1047, -1037, -1074, -1119, -1082, -1069, -1122, -1048,
      -1097, -967,  -1123, -1108, -1104, -1052, -1074, -1000, -1128, -1126,
      -1152, -1004, -980,  -1125, -1040, -1067, -1084, -1049, -936,  -1136,
      -1088, -951,  -1085, -879,  -1064, -1081, -1004, -935,  -1132, -1094,
      -954,  -1057, -1024, -888,  -1098, -996,  -1066, -1056, -1080, -1082,
      -1061, -1054, -1041, -975,  -1113, -1081, -870,  -978,  -1084, -1101,
      -1006, -972,  -1129, -1087, -1028, -826,  -1077, -1088, -1119, -1046,
      -1002, -1033, -1082, -1146, -1037, -924,  -1084, -1000, -1066, -898,
      -1040, -1014, -992,  -1101, -947,  -1077, -1053, -958,  -1042, -1053,
      -983,  -1152, -1152, -1070, -1065, -1073, -1062, -1123, -1046, -955,
      -1037, -936,  -1128, -1152, -1028, -1056, -1152, -1088, -988,  -967,
      -1061, -904,  -998,  -1064, -1120, -1144, -1067, -1079, -926,  -1105,
      -1071, -948,  -1119, -1022, -1051, -1083, -1071, -1017, -1040, -1061,
      -1011, -1111, -937,  -1062, -1052, -1035, -1108, -1043, -1019, -1040,
      -1114, -1068, -1062, -1152, -1052, -1136, -1046, -1096, -891,  -1088,
      -1098, -1097, -990,  -1091, -1044, -1137, -1025, -1013, -1024, -1092,
      -1085, -849,  -1062, -1044, -1068, -992,  -1116, -1044, -1091, -1058,
      -1151, -1059, -893,  -1097, -1082, -1061, -1069, -1138, -888,  -1034,
      -1108, -1037, -935,  -1009, -1066, -917}},
};

#endif  // DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG2_H_