program cost_tests_calc_v007.aleo;

struct Player:
    player_id as field;
    team_id as field;
    position as field;
    attack as u128;
    defense as u128;
    speed as u128;
    power as u128;
    stamina as u128;
    technique as u128;
    goalkeeping as u128;

mapping players:
    key as field.public;
    value as Player.public;

function add_player:
    input r0 as Player.private;
    async add_player r0 into r1;
    output r1 as cost_tests_calc_v007.aleo/add_player.future;
finalize add_player:
    input r0 as Player.public;
    set r0 into players[r0.player_id];

function calculate_outcome_new:
    input r0 as [field; 11u32].private;
    input r1 as [field; 11u32].private;
    async calculate_outcome_new r0 r1 into r2;
    output r2 as cost_tests_calc_v007.aleo/calculate_outcome_new.future;
finalize calculate_outcome_new:
    input r0 as [field; 11u32].public;
    input r1 as [field; 11u32].public;
    get players[r0[0]] into r2;
    get players[r1[0]] into r3;
    get players[r0[1]] into r4;
    get players[r1[1]] into r5;
    rand.chacha into r6 as u128;
    add r4.speed r5.speed into r7;
    mod r6 r7 into r8;
    mod r6 1000000000000u128 into r9;
    lt r8 r4.speed into r10;
    ternary r10 r4.player_id r5.player_id into r11;
    ternary r10 r4.team_id r5.team_id into r12;
    ternary r10 r4.position r5.position into r13;
    ternary r10 r4.attack r5.attack into r14;
    ternary r10 r4.defense r5.defense into r15;
    ternary r10 r4.speed r5.speed into r16;
    ternary r10 r4.power r5.power into r17;
    ternary r10 r4.stamina r5.stamina into r18;
    ternary r10 r4.technique r5.technique into r19;
    ternary r10 r4.goalkeeping r5.goalkeeping into r20;
    cast r11 r12 r13 r14 r15 r16 r17 r18 r19 r20 into r21 as Player;
    ternary r10 r5.player_id r4.player_id into r22;
    ternary r10 r5.team_id r4.team_id into r23;
    ternary r10 r5.position r4.position into r24;
    ternary r10 r5.attack r4.attack into r25;
    ternary r10 r5.defense r4.defense into r26;
    ternary r10 r5.speed r4.speed into r27;
    ternary r10 r5.power r4.power into r28;
    ternary r10 r5.stamina r4.stamina into r29;
    ternary r10 r5.technique r4.technique into r30;
    ternary r10 r5.goalkeeping r4.goalkeeping into r31;
    cast r22 r23 r24 r25 r26 r27 r28 r29 r30 r31 into r32 as Player;
    ternary r10 r3.player_id r2.player_id into r33;
    ternary r10 r3.team_id r2.team_id into r34;
    ternary r10 r3.position r2.position into r35;
    ternary r10 r3.attack r2.attack into r36;
    ternary r10 r3.defense r2.defense into r37;
    ternary r10 r3.speed r2.speed into r38;
    ternary r10 r3.power r2.power into r39;
    ternary r10 r3.stamina r2.stamina into r40;
    ternary r10 r3.technique r2.technique into r41;
    ternary r10 r3.goalkeeping r2.goalkeeping into r42;
    cast r33 r34 r35 r36 r37 r38 r39 r40 r41 r42 into r43 as Player;
    mul r21.attack r21.power into r44;
    mul r32.defense r32.technique into r45;
    get players[r0[2]] into r46;
    get players[r1[2]] into r47;
    rand.chacha into r48 as u128;
    add r46.speed r47.speed into r49;
    mod r48 r49 into r50;
    mod r48 1000000000000u128 into r51;
    lt r50 r46.speed into r52;
    ternary r52 r46.player_id r47.player_id into r53;
    ternary r52 r46.team_id r47.team_id into r54;
    ternary r52 r46.position r47.position into r55;
    ternary r52 r46.attack r47.attack into r56;
    ternary r52 r46.defense r47.defense into r57;
    ternary r52 r46.speed r47.speed into r58;
    ternary r52 r46.power r47.power into r59;
    ternary r52 r46.stamina r47.stamina into r60;
    ternary r52 r46.technique r47.technique into r61;
    ternary r52 r46.goalkeeping r47.goalkeeping into r62;
    cast r53 r54 r55 r56 r57 r58 r59 r60 r61 r62 into r63 as Player;
    ternary r52 r47.player_id r46.player_id into r64;
    ternary r52 r47.team_id r46.team_id into r65;
    ternary r52 r47.position r46.position into r66;
    ternary r52 r47.attack r46.attack into r67;
    ternary r52 r47.defense r46.defense into r68;
    ternary r52 r47.speed r46.speed into r69;
    ternary r52 r47.power r46.power into r70;
    ternary r52 r47.stamina r46.stamina into r71;
    ternary r52 r47.technique r46.technique into r72;
    ternary r52 r47.goalkeeping r46.goalkeeping into r73;
    cast r64 r65 r66 r67 r68 r69 r70 r71 r72 r73 into r74 as Player;
    ternary r52 r3.player_id r2.player_id into r75;
    ternary r52 r3.team_id r2.team_id into r76;
    ternary r52 r3.position r2.position into r77;
    ternary r52 r3.attack r2.attack into r78;
    ternary r52 r3.defense r2.defense into r79;
    ternary r52 r3.speed r2.speed into r80;
    ternary r52 r3.power r2.power into r81;
    ternary r52 r3.stamina r2.stamina into r82;
    ternary r52 r3.technique r2.technique into r83;
    ternary r52 r3.goalkeeping r2.goalkeeping into r84;
    cast r75 r76 r77 r78 r79 r80 r81 r82 r83 r84 into r85 as Player;
    mul r63.attack r63.power into r86;
    mul r74.defense r74.technique into r87;
    get players[r0[3]] into r88;
    get players[r1[3]] into r89;
    rand.chacha into r90 as u128;
    add r88.speed r89.speed into r91;
    mod r90 r91 into r92;
    mod r90 1000000000000u128 into r93;
    lt r92 r88.speed into r94;
    ternary r94 r88.player_id r89.player_id into r95;
    ternary r94 r88.team_id r89.team_id into r96;
    ternary r94 r88.position r89.position into r97;
    ternary r94 r88.attack r89.attack into r98;
    ternary r94 r88.defense r89.defense into r99;
    ternary r94 r88.speed r89.speed into r100;
    ternary r94 r88.power r89.power into r101;
    ternary r94 r88.stamina r89.stamina into r102;
    ternary r94 r88.technique r89.technique into r103;
    ternary r94 r88.goalkeeping r89.goalkeeping into r104;
    cast r95 r96 r97 r98 r99 r100 r101 r102 r103 r104 into r105 as Player;
    ternary r94 r89.player_id r88.player_id into r106;
    ternary r94 r89.team_id r88.team_id into r107;
    ternary r94 r89.position r88.position into r108;
    ternary r94 r89.attack r88.attack into r109;
    ternary r94 r89.defense r88.defense into r110;
    ternary r94 r89.speed r88.speed into r111;
    ternary r94 r89.power r88.power into r112;
    ternary r94 r89.stamina r88.stamina into r113;
    ternary r94 r89.technique r88.technique into r114;
    ternary r94 r89.goalkeeping r88.goalkeeping into r115;
    cast r106 r107 r108 r109 r110 r111 r112 r113 r114 r115 into r116 as Player;
    ternary r94 r3.player_id r2.player_id into r117;
    ternary r94 r3.team_id r2.team_id into r118;
    ternary r94 r3.position r2.position into r119;
    ternary r94 r3.attack r2.attack into r120;
    ternary r94 r3.defense r2.defense into r121;
    ternary r94 r3.speed r2.speed into r122;
    ternary r94 r3.power r2.power into r123;
    ternary r94 r3.stamina r2.stamina into r124;
    ternary r94 r3.technique r2.technique into r125;
    ternary r94 r3.goalkeeping r2.goalkeeping into r126;
    cast r117 r118 r119 r120 r121 r122 r123 r124 r125 r126 into r127 as Player;
    mul r105.attack r105.power into r128;
    mul r116.defense r116.technique into r129;
    get players[r0[4]] into r130;
    get players[r1[4]] into r131;
    rand.chacha into r132 as u128;
    add r130.speed r131.speed into r133;
    mod r132 r133 into r134;
    mod r132 1000000000000u128 into r135;
    lt r134 r130.speed into r136;
    ternary r136 r130.player_id r131.player_id into r137;
    ternary r136 r130.team_id r131.team_id into r138;
    ternary r136 r130.position r131.position into r139;
    ternary r136 r130.attack r131.attack into r140;
    ternary r136 r130.defense r131.defense into r141;
    ternary r136 r130.speed r131.speed into r142;
    ternary r136 r130.power r131.power into r143;
    ternary r136 r130.stamina r131.stamina into r144;
    ternary r136 r130.technique r131.technique into r145;
    ternary r136 r130.goalkeeping r131.goalkeeping into r146;
    cast r137 r138 r139 r140 r141 r142 r143 r144 r145 r146 into r147 as Player;
    ternary r136 r131.player_id r130.player_id into r148;
    ternary r136 r131.team_id r130.team_id into r149;
    ternary r136 r131.position r130.position into r150;
    ternary r136 r131.attack r130.attack into r151;
    ternary r136 r131.defense r130.defense into r152;
    ternary r136 r131.speed r130.speed into r153;
    ternary r136 r131.power r130.power into r154;
    ternary r136 r131.stamina r130.stamina into r155;
    ternary r136 r131.technique r130.technique into r156;
    ternary r136 r131.goalkeeping r130.goalkeeping into r157;
    cast r148 r149 r150 r151 r152 r153 r154 r155 r156 r157 into r158 as Player;
    ternary r136 r3.player_id r2.player_id into r159;
    ternary r136 r3.team_id r2.team_id into r160;
    ternary r136 r3.position r2.position into r161;
    ternary r136 r3.attack r2.attack into r162;
    ternary r136 r3.defense r2.defense into r163;
    ternary r136 r3.speed r2.speed into r164;
    ternary r136 r3.power r2.power into r165;
    ternary r136 r3.stamina r2.stamina into r166;
    ternary r136 r3.technique r2.technique into r167;
    ternary r136 r3.goalkeeping r2.goalkeeping into r168;
    cast r159 r160 r161 r162 r163 r164 r165 r166 r167 r168 into r169 as Player;
    mul r147.attack r147.power into r170;
    mul r158.defense r158.technique into r171;
    get players[r0[5]] into r172;
    get players[r1[5]] into r173;
    rand.chacha into r174 as u128;
    add r172.speed r173.speed into r175;
    mod r174 r175 into r176;
    mod r174 1000000000000u128 into r177;
    lt r176 r172.speed into r178;
    ternary r178 r172.player_id r173.player_id into r179;
    ternary r178 r172.team_id r173.team_id into r180;
    ternary r178 r172.position r173.position into r181;
    ternary r178 r172.attack r173.attack into r182;
    ternary r178 r172.defense r173.defense into r183;
    ternary r178 r172.speed r173.speed into r184;
    ternary r178 r172.power r173.power into r185;
    ternary r178 r172.stamina r173.stamina into r186;
    ternary r178 r172.technique r173.technique into r187;
    ternary r178 r172.goalkeeping r173.goalkeeping into r188;
    cast r179 r180 r181 r182 r183 r184 r185 r186 r187 r188 into r189 as Player;
    ternary r178 r173.player_id r172.player_id into r190;
    ternary r178 r173.team_id r172.team_id into r191;
    ternary r178 r173.position r172.position into r192;
    ternary r178 r173.attack r172.attack into r193;
    ternary r178 r173.defense r172.defense into r194;
    ternary r178 r173.speed r172.speed into r195;
    ternary r178 r173.power r172.power into r196;
    ternary r178 r173.stamina r172.stamina into r197;
    ternary r178 r173.technique r172.technique into r198;
    ternary r178 r173.goalkeeping r172.goalkeeping into r199;
    cast r190 r191 r192 r193 r194 r195 r196 r197 r198 r199 into r200 as Player;
    ternary r178 r3.player_id r2.player_id into r201;
    ternary r178 r3.team_id r2.team_id into r202;
    ternary r178 r3.position r2.position into r203;
    ternary r178 r3.attack r2.attack into r204;
    ternary r178 r3.defense r2.defense into r205;
    ternary r178 r3.speed r2.speed into r206;
    ternary r178 r3.power r2.power into r207;
    ternary r178 r3.stamina r2.stamina into r208;
    ternary r178 r3.technique r2.technique into r209;
    ternary r178 r3.goalkeeping r2.goalkeeping into r210;
    cast r201 r202 r203 r204 r205 r206 r207 r208 r209 r210 into r211 as Player;
    mul r189.attack r189.power into r212;
    mul r200.defense r200.technique into r213;
    get players[r0[6]] into r214;
    get players[r1[6]] into r215;
    rand.chacha into r216 as u128;
    add r214.speed r215.speed into r217;
    mod r216 r217 into r218;
    mod r216 1000000000000u128 into r219;
    lt r218 r214.speed into r220;
    ternary r220 r214.player_id r215.player_id into r221;
    ternary r220 r214.team_id r215.team_id into r222;
    ternary r220 r214.position r215.position into r223;
    ternary r220 r214.attack r215.attack into r224;
    ternary r220 r214.defense r215.defense into r225;
    ternary r220 r214.speed r215.speed into r226;
    ternary r220 r214.power r215.power into r227;
    ternary r220 r214.stamina r215.stamina into r228;
    ternary r220 r214.technique r215.technique into r229;
    ternary r220 r214.goalkeeping r215.goalkeeping into r230;
    cast r221 r222 r223 r224 r225 r226 r227 r228 r229 r230 into r231 as Player;
    ternary r220 r215.player_id r214.player_id into r232;
    ternary r220 r215.team_id r214.team_id into r233;
    ternary r220 r215.position r214.position into r234;
    ternary r220 r215.attack r214.attack into r235;
    ternary r220 r215.defense r214.defense into r236;
    ternary r220 r215.speed r214.speed into r237;
    ternary r220 r215.power r214.power into r238;
    ternary r220 r215.stamina r214.stamina into r239;
    ternary r220 r215.technique r214.technique into r240;
    ternary r220 r215.goalkeeping r214.goalkeeping into r241;
    cast r232 r233 r234 r235 r236 r237 r238 r239 r240 r241 into r242 as Player;
    ternary r220 r3.player_id r2.player_id into r243;
    ternary r220 r3.team_id r2.team_id into r244;
    ternary r220 r3.position r2.position into r245;
    ternary r220 r3.attack r2.attack into r246;
    ternary r220 r3.defense r2.defense into r247;
    ternary r220 r3.speed r2.speed into r248;
    ternary r220 r3.power r2.power into r249;
    ternary r220 r3.stamina r2.stamina into r250;
    ternary r220 r3.technique r2.technique into r251;
    ternary r220 r3.goalkeeping r2.goalkeeping into r252;
    cast r243 r244 r245 r246 r247 r248 r249 r250 r251 r252 into r253 as Player;
    mul r231.attack r231.power into r254;
    mul r242.defense r242.technique into r255;
    get players[r0[7]] into r256;
    get players[r1[7]] into r257;
    rand.chacha into r258 as u128;
    add r256.speed r257.speed into r259;
    mod r258 r259 into r260;
    mod r258 1000000000000u128 into r261;
    lt r260 r256.speed into r262;
    ternary r262 r256.player_id r257.player_id into r263;
    ternary r262 r256.team_id r257.team_id into r264;
    ternary r262 r256.position r257.position into r265;
    ternary r262 r256.attack r257.attack into r266;
    ternary r262 r256.defense r257.defense into r267;
    ternary r262 r256.speed r257.speed into r268;
    ternary r262 r256.power r257.power into r269;
    ternary r262 r256.stamina r257.stamina into r270;
    ternary r262 r256.technique r257.technique into r271;
    ternary r262 r256.goalkeeping r257.goalkeeping into r272;
    cast r263 r264 r265 r266 r267 r268 r269 r270 r271 r272 into r273 as Player;
    ternary r262 r257.player_id r256.player_id into r274;
    ternary r262 r257.team_id r256.team_id into r275;
    ternary r262 r257.position r256.position into r276;
    ternary r262 r257.attack r256.attack into r277;
    ternary r262 r257.defense r256.defense into r278;
    ternary r262 r257.speed r256.speed into r279;
    ternary r262 r257.power r256.power into r280;
    ternary r262 r257.stamina r256.stamina into r281;
    ternary r262 r257.technique r256.technique into r282;
    ternary r262 r257.goalkeeping r256.goalkeeping into r283;
    cast r274 r275 r276 r277 r278 r279 r280 r281 r282 r283 into r284 as Player;
    ternary r262 r3.player_id r2.player_id into r285;
    ternary r262 r3.team_id r2.team_id into r286;
    ternary r262 r3.position r2.position into r287;
    ternary r262 r3.attack r2.attack into r288;
    ternary r262 r3.defense r2.defense into r289;
    ternary r262 r3.speed r2.speed into r290;
    ternary r262 r3.power r2.power into r291;
    ternary r262 r3.stamina r2.stamina into r292;
    ternary r262 r3.technique r2.technique into r293;
    ternary r262 r3.goalkeeping r2.goalkeeping into r294;
    cast r285 r286 r287 r288 r289 r290 r291 r292 r293 r294 into r295 as Player;
    mul r273.attack r273.power into r296;
    mul r284.defense r284.technique into r297;
    get players[r0[8]] into r298;
    get players[r1[8]] into r299;
    rand.chacha into r300 as u128;
    add r298.speed r299.speed into r301;
    mod r300 r301 into r302;
    mod r300 1000000000000u128 into r303;
    lt r302 r298.speed into r304;
    ternary r304 r298.player_id r299.player_id into r305;
    ternary r304 r298.team_id r299.team_id into r306;
    ternary r304 r298.position r299.position into r307;
    ternary r304 r298.attack r299.attack into r308;
    ternary r304 r298.defense r299.defense into r309;
    ternary r304 r298.speed r299.speed into r310;
    ternary r304 r298.power r299.power into r311;
    ternary r304 r298.stamina r299.stamina into r312;
    ternary r304 r298.technique r299.technique into r313;
    ternary r304 r298.goalkeeping r299.goalkeeping into r314;
    cast r305 r306 r307 r308 r309 r310 r311 r312 r313 r314 into r315 as Player;
    ternary r304 r299.player_id r298.player_id into r316;
    ternary r304 r299.team_id r298.team_id into r317;
    ternary r304 r299.position r298.position into r318;
    ternary r304 r299.attack r298.attack into r319;
    ternary r304 r299.defense r298.defense into r320;
    ternary r304 r299.speed r298.speed into r321;
    ternary r304 r299.power r298.power into r322;
    ternary r304 r299.stamina r298.stamina into r323;
    ternary r304 r299.technique r298.technique into r324;
    ternary r304 r299.goalkeeping r298.goalkeeping into r325;
    cast r316 r317 r318 r319 r320 r321 r322 r323 r324 r325 into r326 as Player;
    ternary r304 r3.player_id r2.player_id into r327;
    ternary r304 r3.team_id r2.team_id into r328;
    ternary r304 r3.position r2.position into r329;
    ternary r304 r3.attack r2.attack into r330;
    ternary r304 r3.defense r2.defense into r331;
    ternary r304 r3.speed r2.speed into r332;
    ternary r304 r3.power r2.power into r333;
    ternary r304 r3.stamina r2.stamina into r334;
    ternary r304 r3.technique r2.technique into r335;
    ternary r304 r3.goalkeeping r2.goalkeeping into r336;
    cast r327 r328 r329 r330 r331 r332 r333 r334 r335 r336 into r337 as Player;
    mul r315.attack r315.power into r338;
    mul r326.defense r326.technique into r339;
    get players[r0[9]] into r340;
    get players[r1[9]] into r341;
    rand.chacha into r342 as u128;
    add r340.speed r341.speed into r343;
    mod r342 r343 into r344;
    mod r342 1000000000000u128 into r345;
    lt r344 r340.speed into r346;
    ternary r346 r340.player_id r341.player_id into r347;
    ternary r346 r340.team_id r341.team_id into r348;
    ternary r346 r340.position r341.position into r349;
    ternary r346 r340.attack r341.attack into r350;
    ternary r346 r340.defense r341.defense into r351;
    ternary r346 r340.speed r341.speed into r352;
    ternary r346 r340.power r341.power into r353;
    ternary r346 r340.stamina r341.stamina into r354;
    ternary r346 r340.technique r341.technique into r355;
    ternary r346 r340.goalkeeping r341.goalkeeping into r356;
    cast r347 r348 r349 r350 r351 r352 r353 r354 r355 r356 into r357 as Player;
    ternary r346 r341.player_id r340.player_id into r358;
    ternary r346 r341.team_id r340.team_id into r359;
    ternary r346 r341.position r340.position into r360;
    ternary r346 r341.attack r340.attack into r361;
    ternary r346 r341.defense r340.defense into r362;
    ternary r346 r341.speed r340.speed into r363;
    ternary r346 r341.power r340.power into r364;
    ternary r346 r341.stamina r340.stamina into r365;
    ternary r346 r341.technique r340.technique into r366;
    ternary r346 r341.goalkeeping r340.goalkeeping into r367;
    cast r358 r359 r360 r361 r362 r363 r364 r365 r366 r367 into r368 as Player;
    ternary r346 r3.player_id r2.player_id into r369;
    ternary r346 r3.team_id r2.team_id into r370;
    ternary r346 r3.position r2.position into r371;
    ternary r346 r3.attack r2.attack into r372;
    ternary r346 r3.defense r2.defense into r373;
    ternary r346 r3.speed r2.speed into r374;
    ternary r346 r3.power r2.power into r375;
    ternary r346 r3.stamina r2.stamina into r376;
    ternary r346 r3.technique r2.technique into r377;
    ternary r346 r3.goalkeeping r2.goalkeeping into r378;
    cast r369 r370 r371 r372 r373 r374 r375 r376 r377 r378 into r379 as Player;
    mul r357.attack r357.power into r380;
    mul r368.defense r368.technique into r381;
    get players[r0[10]] into r382;
    get players[r1[10]] into r383;
    rand.chacha into r384 as u128;
    add r382.speed r383.speed into r385;
    mod r384 r385 into r386;
    mod r384 1000000000000u128 into r387;
    lt r386 r382.speed into r388;
    ternary r388 r382.player_id r383.player_id into r389;
    ternary r388 r382.team_id r383.team_id into r390;
    ternary r388 r382.position r383.position into r391;
    ternary r388 r382.attack r383.attack into r392;
    ternary r388 r382.defense r383.defense into r393;
    ternary r388 r382.speed r383.speed into r394;
    ternary r388 r382.power r383.power into r395;
    ternary r388 r382.stamina r383.stamina into r396;
    ternary r388 r382.technique r383.technique into r397;
    ternary r388 r382.goalkeeping r383.goalkeeping into r398;
    cast r389 r390 r391 r392 r393 r394 r395 r396 r397 r398 into r399 as Player;
    ternary r388 r383.player_id r382.player_id into r400;
    ternary r388 r383.team_id r382.team_id into r401;
    ternary r388 r383.position r382.position into r402;
    ternary r388 r383.attack r382.attack into r403;
    ternary r388 r383.defense r382.defense into r404;
    ternary r388 r383.speed r382.speed into r405;
    ternary r388 r383.power r382.power into r406;
    ternary r388 r383.stamina r382.stamina into r407;
    ternary r388 r383.technique r382.technique into r408;
    ternary r388 r383.goalkeeping r382.goalkeeping into r409;
    cast r400 r401 r402 r403 r404 r405 r406 r407 r408 r409 into r410 as Player;
    ternary r388 r3.player_id r2.player_id into r411;
    ternary r388 r3.team_id r2.team_id into r412;
    ternary r388 r3.position r2.position into r413;
    ternary r388 r3.attack r2.attack into r414;
    ternary r388 r3.defense r2.defense into r415;
    ternary r388 r3.speed r2.speed into r416;
    ternary r388 r3.power r2.power into r417;
    ternary r388 r3.stamina r2.stamina into r418;
    ternary r388 r3.technique r2.technique into r419;
    ternary r388 r3.goalkeeping r2.goalkeeping into r420;
    cast r411 r412 r413 r414 r415 r416 r417 r418 r419 r420 into r421 as Player;
    mul r399.attack r399.power into r422;
    mul r410.defense r410.technique into r423;

function test_random:
    async test_random  into r0;
    output r0 as cost_tests_calc_v007.aleo/test_random.future;
finalize test_random:
    rand.chacha into r0 as u128;
    mod r0 160u128 into r1;
    mod r0 1000000000000u128 into r2;

function test_prob:
    async test_prob  into r0;
    output r0 as cost_tests_calc_v007.aleo/test_prob.future;
finalize test_prob:
    mul 80u128 80u128 into r0;
    mul 80u128 80u128 into r1;
    sub 10000u128 r1 into r2;
    mul r0 r2 into r3;
    sub 100u128 75u128 into r4;
    mul r3 r4 into r5;

Not implemented