The explorer is out of sync. The last synced block is 524 hours ago. Current block height: explorer: 2206528 / node: 2541157 / ref: 2492275
program cost_tests_calc_v005.aleo;
struct GameOutcome:
address_home as address;
address_away as address;
team_id_home as field;
team_id_away as field;
goals_home as u64;
goals_away as u64;
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;
mapping game_outcomes:
key as address.public;
value as GameOutcome.public;
function add_player:
input r0 as Player.private;
async add_player r0 into r1;
output r1 as cost_tests_calc_v005.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_v005.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;
sub 10000u128 r45 into r46;
mul r44 r46 into r47;
mul r47 r43.goalkeeping into r48;
gt r48 r9 into r49;
add 0u64 1u64 into r50;
add 0u64 1u64 into r51;
ternary r10 r50 0u64 into r52;
ternary r10 0u64 r51 into r53;
ternary r49 r52 0u64 into r54;
ternary r49 r53 0u64 into r55;
get players[r0[2]] into r56;
get players[r1[2]] into r57;
rand.chacha into r58 as u128;
add r56.speed r57.speed into r59;
mod r58 r59 into r60;
mod r58 1000000000000u128 into r61;
lt r60 r56.speed into r62;
ternary r62 r56.player_id r57.player_id into r63;
ternary r62 r56.team_id r57.team_id into r64;
ternary r62 r56.position r57.position into r65;
ternary r62 r56.attack r57.attack into r66;
ternary r62 r56.defense r57.defense into r67;
ternary r62 r56.speed r57.speed into r68;
ternary r62 r56.power r57.power into r69;
ternary r62 r56.stamina r57.stamina into r70;
ternary r62 r56.technique r57.technique into r71;
ternary r62 r56.goalkeeping r57.goalkeeping into r72;
cast r63 r64 r65 r66 r67 r68 r69 r70 r71 r72 into r73 as Player;
ternary r62 r57.player_id r56.player_id into r74;
ternary r62 r57.team_id r56.team_id into r75;
ternary r62 r57.position r56.position into r76;
ternary r62 r57.attack r56.attack into r77;
ternary r62 r57.defense r56.defense into r78;
ternary r62 r57.speed r56.speed into r79;
ternary r62 r57.power r56.power into r80;
ternary r62 r57.stamina r56.stamina into r81;
ternary r62 r57.technique r56.technique into r82;
ternary r62 r57.goalkeeping r56.goalkeeping into r83;
cast r74 r75 r76 r77 r78 r79 r80 r81 r82 r83 into r84 as Player;
ternary r62 r3.player_id r2.player_id into r85;
ternary r62 r3.team_id r2.team_id into r86;
ternary r62 r3.position r2.position into r87;
ternary r62 r3.attack r2.attack into r88;
ternary r62 r3.defense r2.defense into r89;
ternary r62 r3.speed r2.speed into r90;
ternary r62 r3.power r2.power into r91;
ternary r62 r3.stamina r2.stamina into r92;
ternary r62 r3.technique r2.technique into r93;
ternary r62 r3.goalkeeping r2.goalkeeping into r94;
cast r85 r86 r87 r88 r89 r90 r91 r92 r93 r94 into r95 as Player;
mul r73.attack r73.power into r96;
mul r84.defense r84.technique into r97;
sub 10000u128 r97 into r98;
mul r96 r98 into r99;
mul r99 r95.goalkeeping into r100;
gt r100 r61 into r101;
add r54 1u64 into r102;
add r55 1u64 into r103;
ternary r62 r102 r54 into r104;
ternary r62 r55 r103 into r105;
ternary r101 r104 r54 into r106;
ternary r101 r105 r55 into r107;
get players[r0[3]] into r108;
get players[r1[3]] into r109;
rand.chacha into r110 as u128;
add r108.speed r109.speed into r111;
mod r110 r111 into r112;
mod r110 1000000000000u128 into r113;
lt r112 r108.speed into r114;
ternary r114 r108.player_id r109.player_id into r115;
ternary r114 r108.team_id r109.team_id into r116;
ternary r114 r108.position r109.position into r117;
ternary r114 r108.attack r109.attack into r118;
ternary r114 r108.defense r109.defense into r119;
ternary r114 r108.speed r109.speed into r120;
ternary r114 r108.power r109.power into r121;
ternary r114 r108.stamina r109.stamina into r122;
ternary r114 r108.technique r109.technique into r123;
ternary r114 r108.goalkeeping r109.goalkeeping into r124;
cast r115 r116 r117 r118 r119 r120 r121 r122 r123 r124 into r125 as Player;
ternary r114 r109.player_id r108.player_id into r126;
ternary r114 r109.team_id r108.team_id into r127;
ternary r114 r109.position r108.position into r128;
ternary r114 r109.attack r108.attack into r129;
ternary r114 r109.defense r108.defense into r130;
ternary r114 r109.speed r108.speed into r131;
ternary r114 r109.power r108.power into r132;
ternary r114 r109.stamina r108.stamina into r133;
ternary r114 r109.technique r108.technique into r134;
ternary r114 r109.goalkeeping r108.goalkeeping into r135;
cast r126 r127 r128 r129 r130 r131 r132 r133 r134 r135 into r136 as Player;
ternary r114 r3.player_id r2.player_id into r137;
ternary r114 r3.team_id r2.team_id into r138;
ternary r114 r3.position r2.position into r139;
ternary r114 r3.attack r2.attack into r140;
ternary r114 r3.defense r2.defense into r141;
ternary r114 r3.speed r2.speed into r142;
ternary r114 r3.power r2.power into r143;
ternary r114 r3.stamina r2.stamina into r144;
ternary r114 r3.technique r2.technique into r145;
ternary r114 r3.goalkeeping r2.goalkeeping into r146;
cast r137 r138 r139 r140 r141 r142 r143 r144 r145 r146 into r147 as Player;
mul r125.attack r125.power into r148;
mul r136.defense r136.technique into r149;
sub 10000u128 r149 into r150;
mul r148 r150 into r151;
mul r151 r147.goalkeeping into r152;
gt r152 r113 into r153;
add r106 1u64 into r154;
add r107 1u64 into r155;
ternary r114 r154 r106 into r156;
ternary r114 r107 r155 into r157;
ternary r153 r156 r106 into r158;
ternary r153 r157 r107 into r159;
get players[r0[4]] into r160;
get players[r1[4]] into r161;
rand.chacha into r162 as u128;
add r160.speed r161.speed into r163;
mod r162 r163 into r164;
mod r162 1000000000000u128 into r165;
lt r164 r160.speed into r166;
ternary r166 r160.player_id r161.player_id into r167;
ternary r166 r160.team_id r161.team_id into r168;
ternary r166 r160.position r161.position into r169;
ternary r166 r160.attack r161.attack into r170;
ternary r166 r160.defense r161.defense into r171;
ternary r166 r160.speed r161.speed into r172;
ternary r166 r160.power r161.power into r173;
ternary r166 r160.stamina r161.stamina into r174;
ternary r166 r160.technique r161.technique into r175;
ternary r166 r160.goalkeeping r161.goalkeeping into r176;
cast r167 r168 r169 r170 r171 r172 r173 r174 r175 r176 into r177 as Player;
ternary r166 r161.player_id r160.player_id into r178;
ternary r166 r161.team_id r160.team_id into r179;
ternary r166 r161.position r160.position into r180;
ternary r166 r161.attack r160.attack into r181;
ternary r166 r161.defense r160.defense into r182;
ternary r166 r161.speed r160.speed into r183;
ternary r166 r161.power r160.power into r184;
ternary r166 r161.stamina r160.stamina into r185;
ternary r166 r161.technique r160.technique into r186;
ternary r166 r161.goalkeeping r160.goalkeeping into r187;
cast r178 r179 r180 r181 r182 r183 r184 r185 r186 r187 into r188 as Player;
ternary r166 r3.player_id r2.player_id into r189;
ternary r166 r3.team_id r2.team_id into r190;
ternary r166 r3.position r2.position into r191;
ternary r166 r3.attack r2.attack into r192;
ternary r166 r3.defense r2.defense into r193;
ternary r166 r3.speed r2.speed into r194;
ternary r166 r3.power r2.power into r195;
ternary r166 r3.stamina r2.stamina into r196;
ternary r166 r3.technique r2.technique into r197;
ternary r166 r3.goalkeeping r2.goalkeeping into r198;
cast r189 r190 r191 r192 r193 r194 r195 r196 r197 r198 into r199 as Player;
mul r177.attack r177.power into r200;
mul r188.defense r188.technique into r201;
sub 10000u128 r201 into r202;
mul r200 r202 into r203;
mul r203 r199.goalkeeping into r204;
gt r204 r165 into r205;
add r158 1u64 into r206;
add r159 1u64 into r207;
ternary r166 r206 r158 into r208;
ternary r166 r159 r207 into r209;
ternary r205 r208 r158 into r210;
ternary r205 r209 r159 into r211;
get players[r0[5]] into r212;
get players[r1[5]] into r213;
rand.chacha into r214 as u128;
add r212.speed r213.speed into r215;
mod r214 r215 into r216;
mod r214 1000000000000u128 into r217;
lt r216 r212.speed into r218;
ternary r218 r212.player_id r213.player_id into r219;
ternary r218 r212.team_id r213.team_id into r220;
ternary r218 r212.position r213.position into r221;
ternary r218 r212.attack r213.attack into r222;
ternary r218 r212.defense r213.defense into r223;
ternary r218 r212.speed r213.speed into r224;
ternary r218 r212.power r213.power into r225;
ternary r218 r212.stamina r213.stamina into r226;
ternary r218 r212.technique r213.technique into r227;
ternary r218 r212.goalkeeping r213.goalkeeping into r228;
cast r219 r220 r221 r222 r223 r224 r225 r226 r227 r228 into r229 as Player;
ternary r218 r213.player_id r212.player_id into r230;
ternary r218 r213.team_id r212.team_id into r231;
ternary r218 r213.position r212.position into r232;
ternary r218 r213.attack r212.attack into r233;
ternary r218 r213.defense r212.defense into r234;
ternary r218 r213.speed r212.speed into r235;
ternary r218 r213.power r212.power into r236;
ternary r218 r213.stamina r212.stamina into r237;
ternary r218 r213.technique r212.technique into r238;
ternary r218 r213.goalkeeping r212.goalkeeping into r239;
cast r230 r231 r232 r233 r234 r235 r236 r237 r238 r239 into r240 as Player;
ternary r218 r3.player_id r2.player_id into r241;
ternary r218 r3.team_id r2.team_id into r242;
ternary r218 r3.position r2.position into r243;
ternary r218 r3.attack r2.attack into r244;
ternary r218 r3.defense r2.defense into r245;
ternary r218 r3.speed r2.speed into r246;
ternary r218 r3.power r2.power into r247;
ternary r218 r3.stamina r2.stamina into r248;
ternary r218 r3.technique r2.technique into r249;
ternary r218 r3.goalkeeping r2.goalkeeping into r250;
cast r241 r242 r243 r244 r245 r246 r247 r248 r249 r250 into r251 as Player;
mul r229.attack r229.power into r252;
mul r240.defense r240.technique into r253;
sub 10000u128 r253 into r254;
mul r252 r254 into r255;
mul r255 r251.goalkeeping into r256;
gt r256 r217 into r257;
add r210 1u64 into r258;
add r211 1u64 into r259;
ternary r218 r258 r210 into r260;
ternary r218 r211 r259 into r261;
ternary r257 r260 r210 into r262;
ternary r257 r261 r211 into r263;
get players[r0[6]] into r264;
get players[r1[6]] into r265;
rand.chacha into r266 as u128;
add r264.speed r265.speed into r267;
mod r266 r267 into r268;
mod r266 1000000000000u128 into r269;
lt r268 r264.speed into r270;
ternary r270 r264.player_id r265.player_id into r271;
ternary r270 r264.team_id r265.team_id into r272;
ternary r270 r264.position r265.position into r273;
ternary r270 r264.attack r265.attack into r274;
ternary r270 r264.defense r265.defense into r275;
ternary r270 r264.speed r265.speed into r276;
ternary r270 r264.power r265.power into r277;
ternary r270 r264.stamina r265.stamina into r278;
ternary r270 r264.technique r265.technique into r279;
ternary r270 r264.goalkeeping r265.goalkeeping into r280;
cast r271 r272 r273 r274 r275 r276 r277 r278 r279 r280 into r281 as Player;
ternary r270 r265.player_id r264.player_id into r282;
ternary r270 r265.team_id r264.team_id into r283;
ternary r270 r265.position r264.position into r284;
ternary r270 r265.attack r264.attack into r285;
ternary r270 r265.defense r264.defense into r286;
ternary r270 r265.speed r264.speed into r287;
ternary r270 r265.power r264.power into r288;
ternary r270 r265.stamina r264.stamina into r289;
ternary r270 r265.technique r264.technique into r290;
ternary r270 r265.goalkeeping r264.goalkeeping into r291;
cast r282 r283 r284 r285 r286 r287 r288 r289 r290 r291 into r292 as Player;
ternary r270 r3.player_id r2.player_id into r293;
ternary r270 r3.team_id r2.team_id into r294;
ternary r270 r3.position r2.position into r295;
ternary r270 r3.attack r2.attack into r296;
ternary r270 r3.defense r2.defense into r297;
ternary r270 r3.speed r2.speed into r298;
ternary r270 r3.power r2.power into r299;
ternary r270 r3.stamina r2.stamina into r300;
ternary r270 r3.technique r2.technique into r301;
ternary r270 r3.goalkeeping r2.goalkeeping into r302;
cast r293 r294 r295 r296 r297 r298 r299 r300 r301 r302 into r303 as Player;
mul r281.attack r281.power into r304;
mul r292.defense r292.technique into r305;
sub 10000u128 r305 into r306;
mul r304 r306 into r307;
mul r307 r303.goalkeeping into r308;
gt r308 r269 into r309;
add r262 1u64 into r310;
add r263 1u64 into r311;
ternary r270 r310 r262 into r312;
ternary r270 r263 r311 into r313;
ternary r309 r312 r262 into r314;
ternary r309 r313 r263 into r315;
get players[r0[7]] into r316;
get players[r1[7]] into r317;
rand.chacha into r318 as u128;
add r316.speed r317.speed into r319;
mod r318 r319 into r320;
mod r318 1000000000000u128 into r321;
lt r320 r316.speed into r322;
ternary r322 r316.player_id r317.player_id into r323;
ternary r322 r316.team_id r317.team_id into r324;
ternary r322 r316.position r317.position into r325;
ternary r322 r316.attack r317.attack into r326;
ternary r322 r316.defense r317.defense into r327;
ternary r322 r316.speed r317.speed into r328;
ternary r322 r316.power r317.power into r329;
ternary r322 r316.stamina r317.stamina into r330;
ternary r322 r316.technique r317.technique into r331;
ternary r322 r316.goalkeeping r317.goalkeeping into r332;
cast r323 r324 r325 r326 r327 r328 r329 r330 r331 r332 into r333 as Player;
ternary r322 r317.player_id r316.player_id into r334;
ternary r322 r317.team_id r316.team_id into r335;
ternary r322 r317.position r316.position into r336;
ternary r322 r317.attack r316.attack into r337;
ternary r322 r317.defense r316.defense into r338;
ternary r322 r317.speed r316.speed into r339;
ternary r322 r317.power r316.power into r340;
ternary r322 r317.stamina r316.stamina into r341;
ternary r322 r317.technique r316.technique into r342;
ternary r322 r317.goalkeeping r316.goalkeeping into r343;
cast r334 r335 r336 r337 r338 r339 r340 r341 r342 r343 into r344 as Player;
ternary r322 r3.player_id r2.player_id into r345;
ternary r322 r3.team_id r2.team_id into r346;
ternary r322 r3.position r2.position into r347;
ternary r322 r3.attack r2.attack into r348;
ternary r322 r3.defense r2.defense into r349;
ternary r322 r3.speed r2.speed into r350;
ternary r322 r3.power r2.power into r351;
ternary r322 r3.stamina r2.stamina into r352;
ternary r322 r3.technique r2.technique into r353;
ternary r322 r3.goalkeeping r2.goalkeeping into r354;
cast r345 r346 r347 r348 r349 r350 r351 r352 r353 r354 into r355 as Player;
mul r333.attack r333.power into r356;
mul r344.defense r344.technique into r357;
sub 10000u128 r357 into r358;
mul r356 r358 into r359;
mul r359 r355.goalkeeping into r360;
gt r360 r321 into r361;
add r314 1u64 into r362;
add r315 1u64 into r363;
ternary r322 r362 r314 into r364;
ternary r322 r315 r363 into r365;
ternary r361 r364 r314 into r366;
ternary r361 r365 r315 into r367;
get players[r0[8]] into r368;
get players[r1[8]] into r369;
rand.chacha into r370 as u128;
add r368.speed r369.speed into r371;
mod r370 r371 into r372;
mod r370 1000000000000u128 into r373;
lt r372 r368.speed into r374;
ternary r374 r368.player_id r369.player_id into r375;
ternary r374 r368.team_id r369.team_id into r376;
ternary r374 r368.position r369.position into r377;
ternary r374 r368.attack r369.attack into r378;
ternary r374 r368.defense r369.defense into r379;
ternary r374 r368.speed r369.speed into r380;
ternary r374 r368.power r369.power into r381;
ternary r374 r368.stamina r369.stamina into r382;
ternary r374 r368.technique r369.technique into r383;
ternary r374 r368.goalkeeping r369.goalkeeping into r384;
cast r375 r376 r377 r378 r379 r380 r381 r382 r383 r384 into r385 as Player;
ternary r374 r369.player_id r368.player_id into r386;
ternary r374 r369.team_id r368.team_id into r387;
ternary r374 r369.position r368.position into r388;
ternary r374 r369.attack r368.attack into r389;
ternary r374 r369.defense r368.defense into r390;
ternary r374 r369.speed r368.speed into r391;
ternary r374 r369.power r368.power into r392;
ternary r374 r369.stamina r368.stamina into r393;
ternary r374 r369.technique r368.technique into r394;
ternary r374 r369.goalkeeping r368.goalkeeping into r395;
cast r386 r387 r388 r389 r390 r391 r392 r393 r394 r395 into r396 as Player;
ternary r374 r3.player_id r2.player_id into r397;
ternary r374 r3.team_id r2.team_id into r398;
ternary r374 r3.position r2.position into r399;
ternary r374 r3.attack r2.attack into r400;
ternary r374 r3.defense r2.defense into r401;
ternary r374 r3.speed r2.speed into r402;
ternary r374 r3.power r2.power into r403;
ternary r374 r3.stamina r2.stamina into r404;
ternary r374 r3.technique r2.technique into r405;
ternary r374 r3.goalkeeping r2.goalkeeping into r406;
cast r397 r398 r399 r400 r401 r402 r403 r404 r405 r406 into r407 as Player;
mul r385.attack r385.power into r408;
mul r396.defense r396.technique into r409;
sub 10000u128 r409 into r410;
mul r408 r410 into r411;
mul r411 r407.goalkeeping into r412;
gt r412 r373 into r413;
add r366 1u64 into r414;
add r367 1u64 into r415;
ternary r374 r414 r366 into r416;
ternary r374 r367 r415 into r417;
ternary r413 r416 r366 into r418;
ternary r413 r417 r367 into r419;
get players[r0[9]] into r420;
get players[r1[9]] into r421;
rand.chacha into r422 as u128;
add r420.speed r421.speed into r423;
mod r422 r423 into r424;
mod r422 1000000000000u128 into r425;
lt r424 r420.speed into r426;
ternary r426 r420.player_id r421.player_id into r427;
ternary r426 r420.team_id r421.team_id into r428;
ternary r426 r420.position r421.position into r429;
ternary r426 r420.attack r421.attack into r430;
ternary r426 r420.defense r421.defense into r431;
ternary r426 r420.speed r421.speed into r432;
ternary r426 r420.power r421.power into r433;
ternary r426 r420.stamina r421.stamina into r434;
ternary r426 r420.technique r421.technique into r435;
ternary r426 r420.goalkeeping r421.goalkeeping into r436;
cast r427 r428 r429 r430 r431 r432 r433 r434 r435 r436 into r437 as Player;
ternary r426 r421.player_id r420.player_id into r438;
ternary r426 r421.team_id r420.team_id into r439;
ternary r426 r421.position r420.position into r440;
ternary r426 r421.attack r420.attack into r441;
ternary r426 r421.defense r420.defense into r442;
ternary r426 r421.speed r420.speed into r443;
ternary r426 r421.power r420.power into r444;
ternary r426 r421.stamina r420.stamina into r445;
ternary r426 r421.technique r420.technique into r446;
ternary r426 r421.goalkeeping r420.goalkeeping into r447;
cast r438 r439 r440 r441 r442 r443 r444 r445 r446 r447 into r448 as Player;
ternary r426 r3.player_id r2.player_id into r449;
ternary r426 r3.team_id r2.team_id into r450;
ternary r426 r3.position r2.position into r451;
ternary r426 r3.attack r2.attack into r452;
ternary r426 r3.defense r2.defense into r453;
ternary r426 r3.speed r2.speed into r454;
ternary r426 r3.power r2.power into r455;
ternary r426 r3.stamina r2.stamina into r456;
ternary r426 r3.technique r2.technique into r457;
ternary r426 r3.goalkeeping r2.goalkeeping into r458;
cast r449 r450 r451 r452 r453 r454 r455 r456 r457 r458 into r459 as Player;
mul r437.attack r437.power into r460;
mul r448.defense r448.technique into r461;
sub 10000u128 r461 into r462;
mul r460 r462 into r463;
mul r463 r459.goalkeeping into r464;
gt r464 r425 into r465;
add r418 1u64 into r466;
add r419 1u64 into r467;
ternary r426 r466 r418 into r468;
ternary r426 r419 r467 into r469;
ternary r465 r468 r418 into r470;
ternary r465 r469 r419 into r471;
get players[r0[10]] into r472;
get players[r1[10]] into r473;
rand.chacha into r474 as u128;
add r472.speed r473.speed into r475;
mod r474 r475 into r476;
mod r474 1000000000000u128 into r477;
lt r476 r472.speed into r478;
ternary r478 r472.player_id r473.player_id into r479;
ternary r478 r472.team_id r473.team_id into r480;
ternary r478 r472.position r473.position into r481;
ternary r478 r472.attack r473.attack into r482;
ternary r478 r472.defense r473.defense into r483;
ternary r478 r472.speed r473.speed into r484;
ternary r478 r472.power r473.power into r485;
ternary r478 r472.stamina r473.stamina into r486;
ternary r478 r472.technique r473.technique into r487;
ternary r478 r472.goalkeeping r473.goalkeeping into r488;
cast r479 r480 r481 r482 r483 r484 r485 r486 r487 r488 into r489 as Player;
ternary r478 r473.player_id r472.player_id into r490;
ternary r478 r473.team_id r472.team_id into r491;
ternary r478 r473.position r472.position into r492;
ternary r478 r473.attack r472.attack into r493;
ternary r478 r473.defense r472.defense into r494;
ternary r478 r473.speed r472.speed into r495;
ternary r478 r473.power r472.power into r496;
ternary r478 r473.stamina r472.stamina into r497;
ternary r478 r473.technique r472.technique into r498;
ternary r478 r473.goalkeeping r472.goalkeeping into r499;
cast r490 r491 r492 r493 r494 r495 r496 r497 r498 r499 into r500 as Player;
ternary r478 r3.player_id r2.player_id into r501;
ternary r478 r3.team_id r2.team_id into r502;
ternary r478 r3.position r2.position into r503;
ternary r478 r3.attack r2.attack into r504;
ternary r478 r3.defense r2.defense into r505;
ternary r478 r3.speed r2.speed into r506;
ternary r478 r3.power r2.power into r507;
ternary r478 r3.stamina r2.stamina into r508;
ternary r478 r3.technique r2.technique into r509;
ternary r478 r3.goalkeeping r2.goalkeeping into r510;
cast r501 r502 r503 r504 r505 r506 r507 r508 r509 r510 into r511 as Player;
mul r489.attack r489.power into r512;
mul r500.defense r500.technique into r513;
sub 10000u128 r513 into r514;
mul r512 r514 into r515;
mul r515 r511.goalkeeping into r516;
gt r516 r477 into r517;
add r470 1u64 into r518;
add r471 1u64 into r519;
ternary r478 r518 r470 into r520;
ternary r478 r471 r519 into r521;
ternary r517 r520 r470 into r522;
ternary r517 r521 r471 into r523;