samples/branch_mul/branch_mul_arg0.h

#ifndef DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG0_H_
#define DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG0_H_

int32_t arg0[3][2][256] = {
    {{49163, 39296, 47490, 46186, 48142, 35193, 34298, 38115, 40865, 31744,
      37957, 36338, 27958, 25986, -2445, 33464, 33996, 35141, 31692, 41384,
      34695, 27280, 38186, 38103, 33810, 51195, 35215, 35597, 47560, 41230,
      22883, 32145, 36772, 51865, 57408, 43500, 31464, 41112, 32753, 56186,
      48838, 45257, 40447, 39930, 53540, 38016, 36552, 48644, 33656, 37770,
      46227, 37636, 39103, 38740, 39254, 31003, 45361, 47539, 36883, 30846,
      41018, 35664, 48196, 25437, 35559, 38892, 46667, 36407, 46496, 31782,
      32274, 35295, 41009, 44750, 27384, 45100, 19412, 47392, 36107, 30351,
      60205, 45476, 16420, 40184, 42052, 37309, 30727, 36992, 52433, 25192,
      37577, 41866, 48061, 33515, 31908, 33464, 40468, 31160, 41293, 43578,
      27059, 25121, 47052, 40806, 43767, 33729, 48898, 31331, 29416, 42965,
      42500, 50930, 39955, 26024, 67928, 28831, 39769, 32954, 29182, 48404,
      51369, 33092, 31618, -2835, 44458, 34051, 40349, 44464, 40864, 33721,
      42162, 39482, 48241, 37396, 41366, 39252, 49384, 34136, 16768, 49536,
      52212, 49248, 39171, 43546, 51122, 39533, 40806, 42641, 37108, 32853,
      50297, 40942, 43596, 30535, 32615, 57834, 33792, 42975, 32657, 45319,
      31137, 43133, 55266, 43204, 34917, 32533, 42746, 34833, 38105, 24267,
      37612, 29619, 37552, 29783, 31186, 46877, 33083, 61460, 44698, 39925,
      48017, 19360, 36326, 33024, 48174, 35613, 60819, 36330, 35866, 51863,
      28726, 35482, 36141, 39092, 34034, 36807, 48338, 29582, 27196, 29380,
      53076, 51486, 40372, 33882, 57728, 43467, 41643, 34126, 43283, 43451,
      41347, 47527, 43652, 42938, 55279, 322,   48551, 78419, 43094, 29107,
      28197, 50348, 50604, 49348, 31840, 39827, 30541, 47429, 34163, 50816,
      40669, 28671, 38825, 34171, 35277, 48542, 24021, 48650, 33677, 24756,
      39333, 43658, 36864, 29332, 33020, 35668, 45411, 32548, 45977, 38670,
      44452, 25719, 45411, 32546, 28335, 64384},
     {39423, 38393, 43015, 45737, 48976, 28692, 34463, 39097, 48186, 35748,
      40334, 38528, 30512, 19837, -8042, 39234, 38264, 36412, 33611, 46687,
      34995, 26438, 44218, 40274, 39072, 64928, 33873, 38464, 40556, 46130,
      18335, 33049, 31110, 52828, 45741, 44787, 32712, 45874, 40117, 56704,
      52232, 45824, 39927, 41344, 47478, 38016, 40176, 51428, 31135, 44386,
      46976, 36539, 43921, 38879, 43758, 24214, 46336, 36528, 44421, 36700,
      43864, 36283, 49152, 20548, 28272, 40704, 49881, 36174, 48488, 35725,
      36182, 34670, 44870, 46976, 31335, 44612, 12075, 48034, 36736, 33823,
      52400, 47057, 14674, 39853, 45569, 37504, 37760, 36464, 47757, 23352,
      35689, 41414, 48256, 31804, 35242, 35772, 47048, 32000, 38043, 47362,
      29600, 32513, 42571, 40802, 35084, 36976, 50304, 35480, 34850, 45095,
      42488, 51360, 42240, 31734, 56685, 30948, 42854, 34944, 22855, 49152,
      42360, 33184, 33660, -1803, 47096, 37888, 42756, 31066, 37016, 38405,
      44894, 44815, 47164, 41068, 44416, 40902, 50792, 28954, 13122, 49536,
      52608, 49252, 41604, 41576, 51118, 42929, 44103, 44765, 40791, 36859,
      34444, 41600, 44252, 23865, 33876, 53343, 33792, 44237, 34081, 48005,
      32700, 44976, 56064, 33994, 35004, 24601, 46640, 32836, 42523, 31841,
      38601, 32044, 33496, 36600, 33382, 37879, 35718, 52996, 30864, 46996,
      49664, 21386, 41978, 45952, 44379, 40704, 61046, 38656, 34628, 44897,
      33747, 35269, 42240, 34365, 35628, 37744, 50432, 34730, 32841, 28182,
      55040, 47100, 41473, 34210, 57728, 44766, 39268, 35839, 45376, 45996,
      42496, 49672, 46095, 48128, 56251, 5248,  50058, 69076, 45216, 32512,
      30052, 47204, 47004, 45311, 33854, 41519, 18473, 49920, 37856, 42726,
      42892, 32141, 45488, 38875, 36932, 51200, 22497, 48896, 26393, 9373,
      51696, 45800, 36864, 27625, 25413, 41078, 48332, 35200, 29367, 43403,
      48468, 26368, 36375, 20366, 22391, 64384}},
    {{49408, 39296, 47393, 47104, 47031, 35885, 34858, 38156, 41607, 32389,
      37798, 35086, 25839, 25325, -2499, 30329, 37974, 35465, 30449, 38529,
      33227, 21832, 37449, 38334, 32985, 50980, 33671, 35513, 48375, 41991,
      19693, 32297, 36129, 52027, 57685, 42197, 32557, 43993, 28721, 55520,
      48792, 45312, 36673, 40261, 52110, 38016, 34758, 46238, 32894, 40776,
      46391, 32856, 38429, 38956, 41380, 30844, 44941, 47824, 31156, 29754,
      44164, 35611, 46172, 20196, 35415, 39426, 43094, 31594, 42276, 30332,
      30465, 33647, 40292, 42817, 29325, 45382, 19002, 47512, 35367, 28626,
      59884, 45723, 16149, 41275, 43755, 37309, 29783, 36992, 52565, 24175,
      38272, 44301, 47866, 37114, 29939, 32428, 43234, 31118, 42911, 43190,
      23985, 23150, 47790, 40832, 45308, 33285, 48553, 36625, 27912, 43235,
      43555, 49846, 38773, 21231, 68238, 29786, 39849, 32937, 29467, 47940,
      51717, 32945, 32291, -8118, 46904, 32790, 40690, 44996, 42433, 32484,
      39982, 36023, 48088, 35080, 39772, 38072, 48115, 36585, 16768, 49536,
      52168, 49408, 38978, 44845, 51200, 45443, 40530, 40855, 37012, 29375,
      51645, 39738, 43331, 30883, 32018, 56151, 33792, 41787, 34591, 44716,
      31645, 43165, 52260, 46460, 35328, 31548, 45854, 37680, 36589, 24687,
      38512, 28428, 37255, 30302, 28888, 42529, 35452, 61208, 44358, 36399,
      47519, 35217, 35427, 25280, 48408, 34002, 60933, 35198, 32942, 51960,
      28844, 33050, 35976, 39168, 34420, 39976, 49567, 28298, 27555, 32538,
      52952, 51240, 41345, 34816, 57728, 42234, 40073, 34621, 41862, 42005,
      40871, 48366, 42779, 41998, 54797, -315,  48873, 78464, 42743, 28371,
      27216, 49784, 51840, 46715, 33863, 39851, 31298, 45982, 34144, 50816,
      40418, 26212, 37847, 32243, 35290, 47962, 26563, 48896, 34560, 25120,
      35238, 44036, 36864, 29886, 33985, 36014, 45181, 31756, 46986, 35841,
      44107, 25475, 46096, 29590, 26978, 64318},
     {40574, 37910, 42755, 47104, 47976, 29366, 34902, 39272, 50533, 38069,
      39892, 38528, 30008, 19080, -6788, 39588, 41147, 36480, 33499, 46071,
      34118, 24363, 44306, 40300, 39264, 64021, 32644, 38105, 40941, 46298,
      16078, 33280, 32444, 52992, 46594, 43701, 33024, 47310, 40556, 56704,
      52736, 45824, 34027, 41344, 47298, 38016, 39752, 50168, 30426, 45574,
      46976, 34390, 44086, 38787, 44288, 22623, 46336, 37668, 43034, 36844,
      45184, 36120, 49152, 17718, 29811, 40704, 48950, 30258, 47062, 35261,
      33551, 34735, 44666, 46262, 32480, 44027, 12092, 47768, 36736, 33406,
      51922, 47084, 14813, 41054, 46447, 37504, 37760, 36992, 49266, 23758,
      38233, 44588, 48256, 35247, 34770, 35704, 48306, 32000, 38294, 47512,
      28226, 33038, 41801, 40832, 36367, 36868, 50304, 38648, 34954, 45312,
      43469, 50557, 42240, 30794, 57175, 31138, 43448, 34944, 23667, 49152,
      38338, 33121, 32547, -2249, 48873, 37888, 42789, 31696, 35574, 38528,
      43602, 43651, 47411, 41216, 44416, 41669, 50392, 30393, 13242, 49536,
      52608, 49408, 41870, 43608, 51200, 45775, 44140, 42893, 41042, 34947,
      33208, 41536, 44497, 25071, 33626, 52770, 33792, 43565, 35045, 47866,
      32868, 45338, 55768, 36085, 35328, 24076, 47706, 35592, 42040, 30743,
      39098, 33714, 35055, 37640, 33103, 34714, 37638, 52997, 30132, 47824,
      49664, 30293, 41795, 45952, 44390, 40704, 61255, 38542, 35641, 46070,
      33989, 34212, 42240, 33669, 35968, 40586, 50432, 34479, 33924, 29519,
      55040, 46878, 41672, 34816, 57728, 43891, 38806, 36348, 44905, 46122,
      42496, 50050, 45568, 48128, 56257, 5248,  50304, 69356, 44405, 32512,
      30380, 46035, 48872, 43699, 34299, 43057, 19332, 49920, 38332, 43036,
      43537, 32458, 45377, 38435, 36992, 51200, 24367, 48896, 26233, 7912,
      51647, 45838, 36864, 26613, 26307, 41344, 48619, 35108, 29374, 43162,
      48278, 26368, 36097, 18908, 20944, 64384}},
    {{49408, 28700, 50039, 39018, 41779, 32473, 26002, 31146, 44096, 24547,
      39771, 27713, 36384, 27611, -1900, 39822, 26297, 27229, 23953, 34743,
      22570, 17197, 35407, 32188, 25711, 54612, 42667, 27284, 48740, 35649,
      27791, 22898, 40323, 40719, 61580, 28701, 20525, 40550, 20920, 47770,
      42947, 33804, 35681, 25551, 54870, 31359, 29202, 40523, 35341, 35916,
      37404, 42542, 33515, 33803, 38434, 34214, 37577, 47869, 40694, 23639,
      35210, 26704, 37581, 30688, 39032, 30094, 34092, 33641, 37036, 36141,
      27961, 23879, 35895, 37018, 22504, 47751, 20012, 41737, 30664, 23664,
      60144, 36514, 18024, 45110, 40914, 29092, 25954, 32037, 53294, 26150,
      38272, 34957, 33553, 38528, 26270, 26074, 43817, 20729, 41589, 45252,
      31408, 15195, 48948, 26520, 48481, 27771, 35607, 26850, 37740, 37617,
      33713, 47243, 29066, 18436, 68352, 21218, 33250, 24854, 32913, 41334,
      52224, 25790, 35434, -3714, 45928, 28677, 23685, 45234, 43206, 29348,
      33691, 31043, 51298, 30677, 31880, 22078, 42592, 39088, 16768, 38171,
      39514, 37475, 33617, 45440, 40712, 34123, 35528, 34008, 30726, 20998,
      52748, 28514, 31881, 32768, 21545, 59108, 24521, 36611, 25642, 37142,
      22328, 44896, 55782, 49152, 27889, 33135, 39124, 40017, 32388, 24226,
      29379, 22634, 40584, 36396, 22467, 48188, 37273, 61568, 45176, 29386,
      38909, 33827, 28913, 25547, 48640, 34473, 53250, 30396, 19837, 52464,
      25481, 32263, 35082, 39168, 25621, 42784, 41739, 22875, 24046, 37952,
      41021, 52623, 28885, 27292, 47483, 42468, 42351, 27593, 33760, 33850,
      37008, 40911, 37570, 46232, 47468, -2582, 38462, 78464, 30743, 22451,
      34296, 52356, 46935, 51086, 28538, 44617, 31488, 35531, 25956, 50816,
      34563, 18354, 34567, 29169, 28427, 36499, 29696, 39576, 34560, 25600,
      48171, 36013, 24882, 31360, 34619, 29668, 40660, 34946, 45604, 32398,
      43725, 15965, 44813, 34444, 30713, 39788},
     {46914, 29749, 48724, 40208, 45116, 33006, 31555, 36472, 51525, 33070,
      40494, 35260, 37152, 25864, -2764, 43304, 33855, 33906, 31603, 42664,
      28821, 24023, 43396, 38160, 35669, 79400, 42654, 34351, 46688, 42350,
      26698, 29297, 40104, 47834, 58443, 36112, 26647, 45440, 33884, 55224,
      49499, 37154, 33962, 32663, 53698, 34056, 37384, 47210, 34384, 43432,
      43239, 43160, 41908, 36964, 42503, 31562, 43154, 43927, 47080, 33185,
      36568, 31036, 45609, 30120, 38014, 37130, 43787, 30664, 44575, 38004,
      30028, 29665, 42538, 44154, 29520, 46973, 17972, 45724, 35626, 31828,
      58344, 43344, 17772, 45180, 45232, 33904, 34822, 31584, 52392, 26252,
      38272, 39148, 41548, 37475, 33404, 32950, 48232, 28704, 39243, 47872,
      32408, 27557, 46984, 31539, 45160, 34564, 44653, 32480, 38752, 43166,
      37270, 49715, 37708, 27563, 66138, 27856, 40208, 31776, 31032, 46562,
      48493, 30590, 36417, 1808,  49173, 35127, 32227, 38268, 41020, 36641,
      40414, 41387, 51358, 38811, 39776, 32074, 48072, 37312, 15679, 44874,
      46264, 44767, 39324, 45224, 46497, 39205, 41772, 39290, 38482, 30467,
      46401, 37034, 39098, 31136, 28134, 59265, 30519, 42088, 31798, 44772,
      28444, 45440, 56064, 46036, 32370, 31149, 44340, 39453, 39468, 30337,
      36140, 28626, 40048, 38144, 31006, 45344, 38016, 58944, 39351, 41653,
      46115, 35851, 37363, 42590, 47424, 40392, 58170, 35882, 28954, 50984,
      32406, 32889, 40986, 34613, 32507, 41539, 47597, 31653, 32175, 38008,
      48531, 51311, 32949, 31752, 53644, 43024, 42280, 34198, 40510, 42202,
      41204, 46648, 43656, 48128, 53800, 4688,  45986, 76168, 37297, 30336,
      36003, 51231, 45184, 50220, 32252, 45751, 27142, 44341, 33960, 48416,
      41169, 26343, 42879, 36488, 34472, 45177, 28544, 44568, 31937, 19960,
      53209, 42418, 29080, 30075, 32590, 37886, 45749, 35820, 33766, 41844,
      47480, 22113, 40931, 31528, 28850, 52826}}};

#endif  // DAREDEVIL_BRANCH_MUL_DAREDEVIL_BRANCH_MUL_ARG0_H_