Version diff

Upgrade at slot 432873921 for Program 8V3c...WYFY.

Before Previous version 2f1f3f42...e0775140
After slot 432873921 7bb2eff8...bedbfdc8
Updated Jul 14, 2026, 2:48 PM 2jdn...krWa
2302 before instructions 2545 after instructions
Changed instruction rows 454
Before After
295 unchanged instructions hidden
000295 r7 += 0x1
000295 r7 += 0x1
000296 *(u8 *)(r10 - 0x30) = w1
000296 *(u8 *)(r10 - 0x30) = w1
000297 *(u64 *)(r10 - 0x38) = 0x0
000297 *(u64 *)(r10 - 0x38) = 0x0
000298 r1 = 0x4e28 ll
000298 r1 = 0x562c ll
000299 *(u64 *)(r10 - 0x10) = r1
000299 *(u64 *)(r10 - 0x10) = r1
000300 r1 = r10
000300 r1 = r10
000301 r1 += -0x1d8
000301 r1 += -0x1d8
000302 *(u64 *)(r10 - 0x20) = r1
000302 *(u64 *)(r10 - 0x20) = r1
000303 r1 = 0x4c88 ll
000303 r1 = 0x5470 ll
000304 *(u64 *)(r10 - 0x28) = r1
000304 *(u64 *)(r10 - 0x28) = r1
000305 *(u64 *)(r10 - 0x8) = 0x1
000305 *(u64 *)(r10 - 0x8) = 0x1
000306 *(u64 *)(r10 - 0x18) = 0x6
000306 *(u64 *)(r10 - 0x18) = 0x6
81 unchanged instructions hidden
000388 r0 = 0xb
000388 r0 = 0xb
000389 r7 = 0x0
000389 r7 = 0x0
000390 goto <offset>
000390 goto <offset>
000391 r7 = r3
000391 *(u64 *)(r10 - 0x110) = r3
000392 r9 = *(u64 *)(r5 - 0x1000)
000392 r0 = *(u64 *)(r5 - 0x1000)
000393 r3 = r9
000393 r3 = r0
000394 r3 *= 0x3
000394 r3 *= 0x3
000395 if r4 >= r3 goto <offset>
000395 if r4 >= r3 goto <offset>
000396 r3 = 0xa
000396 r3 = 0xa
000397 goto <offset>
000397 goto <offset>
000398 r3 = 0x1a
000398 r3 = 0x1a
000399 if r9 == 0x0 goto <offset>
000399 r4 = r0
000400 *(u64 *)(r10 - 0x148) = r1
000400 if r4 == 0x0 goto <offset>
000401 r8 = *(u64 *)(r5 - 0xff8)
000401 *(u64 *)(r10 - 0x170) = r1
000402 r6 = 0x0
000402 r5 = *(u64 *)(r5 - 0xff8)
000403 r7 += 0x10
000403 r8 = 0x0
000404 r1 = *(u64 *)(r2 + 0x0)
000404 r1 = *(u64 *)(r2 + 0x0)
000405 r2 = r1
000405 r2 = r1
000406 r2 += 0x28
000406 r2 += 0x28
000407 *(u64 *)(r10 - 0x130) = r2
000407 *(u64 *)(r10 - 0x120) = r2
000408 r2 = r1
000408 r2 = r1
000409 r2 += 0x58
000409 r2 += 0x58
000410 *(u64 *)(r10 - 0x138) = r2
000410 *(u64 *)(r10 - 0x128) = r2
000411 r2 = r1
000411 r2 = r1
000412 r2 += 0x48
000412 r2 += 0x48
000413 *(u64 *)(r10 - 0x140) = r2
000413 *(u64 *)(r10 - 0x130) = r2
000414 *(u64 *)(r10 - 0x118) = r1
000414 *(u64 *)(r10 - 0x158) = r1
000415 r1 += 0x8
000415 r1 += 0x8
000416 *(u64 *)(r10 - 0x110) = r1
000416 *(u64 *)(r10 - 0x118) = r1
000417 r8 <<= 0x20
000417 r5 <<= 0x20
000418 r8 >>= 0x20
000418 r5 >>= 0x20
000419 r3 = *(u64 *)(r10 - 0x110)
000420 *(u64 *)(r10 - 0x150) = r5
000421 *(u64 *)(r10 - 0x160) = r4
000419 goto <offset>
000422 goto <offset>
000420 goto <offset>
000423 *(u8 *)(r6 + 0x0) = w7
000421 r1 += 0x8
000424 r8 += 0x1
000422 *(u8 *)(r10 - 0x30) = w3
000425 if r8 >= r4 goto <offset>
000423 *(u8 *)(r10 - 0x68) = w3
000426 r1 = r8
000424 *(u64 *)(r10 - 0x38) = 0x0
000425 *(u64 *)(r10 - 0x70) = 0x0
000426 r2 = 0x4e29 ll
000427 *(u64 *)(r10 - 0x10) = r2
000428 r2 = r10
000429 r2 += -0x100
000430 *(u64 *)(r10 - 0x20) = r2
000431 *(u64 *)(r10 - 0x28) = r1
000432 *(u64 *)(r10 - 0x8) = 0x1
000433 *(u64 *)(r10 - 0x18) = 0x3
000434 r1 = r10
000435 r1 += -0x28
000436 r2 = r10
000437 r2 += -0xd0
000438 r3 = 0x3
000439 r4 = 0x8
000440 r5 = 0x0
000441 call sol_invoke_signed_c
000442 r5 = *(u64 *)(r10 - 0x108)
000443 r6 += 0x1
000444 r7 += 0x18
000445 if r6 >= r9 goto <offset>
000446 r1 = r6
000447 r1 &= 0x1f
000427 r1 &= 0x1f
000448 r2 = r8
000428 r2 = r5
000449 r2 >>= r1
000429 r2 >>= r1
000450 r2 &= 0x1
000430 r2 &= 0x1
000451 if r2 == 0x0 goto <offset>
000431 if r2 == 0x0 goto <offset>
000452 r4 = *(u64 *)(r7 - 0x10)
000432 r1 = r8
000453 r1 = *(u64 *)(r4 + 0x48)
000433 r1 *= 0x18
000434 r0 = r3
000435 r0 += r1
000436 r6 = *(u64 *)(r0 + 0x0)
000437 r1 = *(u64 *)(r6 + 0x48)
000454 if r1 == 0x0 goto <offset>
000438 if r1 == 0x0 goto <offset>
000455 w1 = *(u8 *)(r4 + 0x0)
000439 w7 = *(u8 *)(r6 + 0x0)
000456 r3 = r1
000440 r1 = r7
000457 r3 &= 0x8
000441 r1 &= 0x8
000458 if r3 != 0x0 goto <offset>
000442 if r1 != 0x0 goto <offset>
000443 r1 = r7
000459 r1 &= 0x7
000444 r1 &= 0x7
000460 if r1 == 0x7 goto <offset>
000445 if r1 == 0x7 goto <offset>
000461 r5 = *(u64 *)(r4 + 0x50)
000446 r1 = r7
000462 if r5 < 0x48 goto <offset>
000447 r1 += 0x1
000463 r1 = *(u64 *)(r4 + 0x98)
000448 *(u8 *)(r6 + 0x0) = w1
000449 r9 = *(u64 *)(r6 + 0x50)
000450 if r9 < 0x48 goto <offset>
000451 r1 = *(u64 *)(r6 + 0x98)
000464 if r1 != 0x0 goto <offset>
000452 if r1 != 0x0 goto <offset>
000465 *(u64 *)(r10 - 0x108) = r5
000453 r5 = *(u64 *)(r0 + 0x10)
000466 r1 = *(u64 *)(r10 - 0x110)
000454 r1 = *(u64 *)(r5 + 0x8)
000455 r5 += 0x8
000456 r2 = -<addr> ll
000457 if r1 != r2 goto <offset>
000458 r1 = *(u64 *)(r5 + 0x8)
000459 r2 = -<addr> ll
000460 if r1 != r2 goto <offset>
000461 r1 = *(u64 *)(r5 + 0x10)
000462 r2 = <addr> ll
000463 if r1 != r2 goto <offset>
000464 r1 = 0x0
000465 r2 = *(u64 *)(r5 + 0x18)
000466 r3 = -<addr> ll
000467 if r2 == r3 goto <offset>
000468 r1 = 0x1
000469 *(u64 *)(r10 - 0x140) = r5
000470 r2 = r6
000471 r2 += 0x48
000472 *(u64 *)(r10 - 0x138) = r2
000473 r2 = r6
000474 r2 += 0x58
000475 *(u64 *)(r10 - 0x108) = r2
000476 if r1 != 0x0 goto <offset>
000477 if r9 >= 0xa7 goto <offset>
000478 *(u8 *)(r6 + 0x0) = w7
000479 r1 = *(u64 *)(r10 - 0x118)
000467 *(u64 *)(r10 - 0xe0) = r1
000480 *(u64 *)(r10 - 0xe0) = r1
000468 *(u64 *)(r10 - 0xf0) = r1
000481 *(u64 *)(r10 - 0xf0) = r1
000469 r3 = r4
000482 r1 = r6
000470 r3 += 0x8
000483 r1 += 0x8
000471 *(u64 *)(r10 - 0x100) = r3
000484 *(u64 *)(r10 - 0x100) = r1
000472 *(u16 *)(r10 - 0xd8) = 0x100
000485 *(u16 *)(r10 - 0xd8) = 0x100
000473 *(u16 *)(r10 - 0xe8) = 0x1
000486 *(u16 *)(r10 - 0xe8) = 0x1
000474 *(u16 *)(r10 - 0xf8) = 0x1
000487 *(u16 *)(r10 - 0xf8) = 0x1
000475 w1 = *(u8 *)(r4 + 0x0)
000488 w2 = *(u8 *)(r6 + 0x0)
000476 if r1 != 0x0 goto <offset>
000489 if r2 != 0x0 goto <offset>
000477 w1 = *(u8 *)(r4 + 0x1)
000490 w4 = *(u8 *)(r6 + 0x1)
000491 r3 = 0x1
000478 r2 = 0x1
000492 r2 = 0x1
000479 *(u64 *)(r10 - 0x120) = r2
000493 if r4 != 0x0 goto <offset>
000480 if r1 != 0x0 goto <offset>
000481 r2 = 0x0
000494 r2 = 0x0
000482 w1 = *(u8 *)(r4 + 0x2)
000495 w5 = *(u8 *)(r6 + 0x2)
000483 r0 = 0x1
000496 r4 = 0x1
000484 if r1 != 0x0 goto <offset>
000497 if r5 == 0x0 goto <offset>
000485 r0 = 0x0
000498 w5 = *(u8 *)(r6 + 0x3)
000486 *(u64 *)(r10 - 0x128) = r2
000499 if r5 != 0x0 goto <offset>
000487 r5 = r4
000500 r3 = 0x0
000488 r5 += 0x48
000501 r5 = *(u64 *)(r6 + 0x50)
000489 w1 = *(u8 *)(r4 + 0x3)
000502 r6 += 0x28
000490 if r1 != 0x0 goto <offset>
000503 *(u64 *)(r10 - 0xb0) = r6
000491 r1 = 0x0
000504 r0 = *(u64 *)(r10 - 0x108)
000492 *(u64 *)(r10 - 0x120) = r1
000505 *(u64 *)(r10 - 0xb8) = r0
000493 r1 = *(u64 *)(r7 + 0x0)
000506 *(u64 *)(r10 - 0xc0) = r5
000494 r2 = r4
000507 r5 = *(u64 *)(r10 - 0x138)
000495 r2 += 0x28
000496 *(u64 *)(r10 - 0xb0) = r2
000497 r4 += 0x58
000498 *(u64 *)(r10 - 0xb8) = r4
000499 r2 = *(u64 *)(r10 - 0x108)
000500 *(u64 *)(r10 - 0xc0) = r2
000501 *(u64 *)(r10 - 0xc8) = r5
000508 *(u64 *)(r10 - 0xc8) = r5
000502 *(u64 *)(r10 - 0xd0) = r3
000509 *(u64 *)(r10 - 0xd0) = r1
000503 r2 = *(u64 *)(r10 - 0x120)
000510 *(u8 *)(r10 - 0x9e) = w3
000504 *(u8 *)(r10 - 0x9e) = w2
000511 *(u8 *)(r10 - 0x9f) = w4
000505 *(u8 *)(r10 - 0x9f) = w0
000506 r2 = *(u64 *)(r10 - 0x128)
000507 *(u8 *)(r10 - 0xa0) = w2
000512 *(u8 *)(r10 - 0xa0) = w2
000508 *(u64 *)(r10 - 0xa8) = 0x0
000513 *(u64 *)(r10 - 0xa8) = 0x0
000514 r5 = *(u64 *)(r10 - 0x158)
000515 w1 = *(u8 *)(r5 + 0x0)
000516 if r1 != 0x0 goto <offset>
000517 w3 = *(u8 *)(r5 + 0x1)
000518 r2 = 0x1
000519 r1 = 0x1
000520 if r3 != 0x0 goto <offset>
000521 r1 = 0x0
000522 w4 = *(u8 *)(r5 + 0x2)
000523 r3 = 0x1
000524 if r4 == 0x0 goto <offset>
000525 w4 = *(u8 *)(r5 + 0x3)
000526 if r4 != 0x0 goto <offset>
000527 r2 = 0x0
000528 r4 = *(u64 *)(r5 + 0x50)
000529 r0 = *(u64 *)(r10 - 0x120)
000530 *(u64 *)(r10 - 0x78) = r0
000531 r0 = *(u64 *)(r10 - 0x128)
000532 *(u64 *)(r10 - 0x80) = r0
000533 *(u64 *)(r10 - 0x88) = r4
000534 r4 = *(u64 *)(r10 - 0x130)
000535 *(u64 *)(r10 - 0x90) = r4
000536 r4 = *(u64 *)(r10 - 0x118)
000537 *(u64 *)(r10 - 0x98) = r4
000538 *(u8 *)(r10 - 0x66) = w2
000539 *(u8 *)(r10 - 0x67) = w3
000540 *(u8 *)(r10 - 0x68) = w1
000541 *(u64 *)(r10 - 0x70) = 0x0
000542 w1 = *(u8 *)(r5 + 0x0)
000543 r1 &= 0x88
000544 if r1 != 0x0 goto <offset>
000545 w1 = *(u8 *)(r5 + 0x1)
000546 w3 = *(u8 *)(r5 + 0x2)
000547 r2 = r5
000548 w5 = *(u8 *)(r2 + 0x3)
000549 r2 = *(u64 *)(r2 + 0x50)
000550 r4 = *(u64 *)(r10 - 0x120)
000551 *(u64 *)(r10 - 0x40) = r4
000552 r4 = *(u64 *)(r10 - 0x128)
000553 *(u64 *)(r10 - 0x48) = r4
000554 *(u64 *)(r10 - 0x50) = r2
000555 r2 = *(u64 *)(r10 - 0x130)
000556 *(u64 *)(r10 - 0x58) = r2
000509 r2 = *(u64 *)(r10 - 0x118)
000557 r2 = *(u64 *)(r10 - 0x118)
000510 w2 = *(u8 *)(r2 + 0x0)
000558 *(u64 *)(r10 - 0x60) = r2
000511 if r2 != 0x0 goto <offset>
000559 r2 = 0x1
000512 r3 = *(u64 *)(r10 - 0x118)
000560 r4 = 0x1
000513 w2 = *(u8 *)(r3 + 0x1)
000561 if r5 != 0x0 goto <offset>
000514 w4 = *(u8 *)(r3 + 0x2)
000562 r4 = 0x0
000515 w0 = *(u8 *)(r3 + 0x3)
000563 *(u8 *)(r10 - 0x2e) = w4
000516 r3 = *(u64 *)(r3 + 0x50)
000564 r4 = 0x1
000517 r5 = *(u64 *)(r10 - 0x130)
000565 if r3 == 0x0 goto <offset>
000518 *(u64 *)(r10 - 0x40) = r5
000566 *(u8 *)(r10 - 0x2f) = w4
000519 *(u64 *)(r10 - 0x78) = r5
000520 r5 = *(u64 *)(r10 - 0x138)
000521 *(u64 *)(r10 - 0x48) = r5
000522 *(u64 *)(r10 - 0x80) = r5
000523 *(u64 *)(r10 - 0x50) = r3
000524 *(u64 *)(r10 - 0x88) = r3
000525 r3 = *(u64 *)(r10 - 0x140)
000567 r3 = *(u64 *)(r10 - 0x140)
000526 *(u64 *)(r10 - 0x58) = r3
000568 if r1 != 0x0 goto <offset>
000527 *(u64 *)(r10 - 0x90) = r3
000569 r2 = 0x0
000570 *(u8 *)(r10 - 0x30) = w2
000571 *(u64 *)(r10 - 0x38) = 0x0
000572 r1 = 0x562f ll
000573 *(u64 *)(r10 - 0x10) = r1
000574 r1 = r10
000575 r1 += -0x100
000576 *(u64 *)(r10 - 0x20) = r1
000577 *(u64 *)(r10 - 0x28) = r3
000578 *(u64 *)(r10 - 0x8) = 0x1
000579 *(u64 *)(r10 - 0x18) = 0x3
000580 r1 = r10
000581 r1 += -0x28
000582 r2 = r10
000583 r2 += -0xd0
000584 r3 = 0x3
000585 r4 = 0x8
000586 r5 = 0x0
000587 call sol_invoke_signed_c
000528 r3 = *(u64 *)(r10 - 0x110)
000588 r3 = *(u64 *)(r10 - 0x110)
000529 *(u64 *)(r10 - 0x60) = r3
000589 r4 = *(u64 *)(r10 - 0x160)
000530 *(u64 *)(r10 - 0x98) = r3
000590 r5 = *(u64 *)(r10 - 0x150)
000591 goto <offset>
000592 w5 = *(u8 *)(r6 + 0x2)
000593 r4 = 0x1
000594 if r5 != 0x0 goto <offset>
000595 r4 = 0x0
000596 w5 = *(u8 *)(r6 + 0x3)
000597 if r5 == 0x0 goto <offset>
000598 goto <offset>
000599 w4 = *(u8 *)(r5 + 0x2)
000531 r3 = 0x1
000600 r3 = 0x1
000532 r5 = 0x1
000601 if r4 != 0x0 goto <offset>
000533 if r0 != 0x0 goto <offset>
000602 r3 = 0x0
000534 r5 = 0x0
000603 w4 = *(u8 *)(r5 + 0x3)
000535 *(u8 *)(r10 - 0x2e) = w5
000536 *(u8 *)(r10 - 0x66) = w5
000537 r5 = 0x1
000538 if r4 == 0x0 goto <offset>
000604 if r4 == 0x0 goto <offset>
000539 *(u8 *)(r10 - 0x2f) = w5
000540 *(u8 *)(r10 - 0x67) = w5
000541 if r2 != 0x0 goto <offset>
000542 goto <offset>
000605 goto <offset>
000543 *(u8 *)(r10 - 0x2e) = w5
000606 *(u8 *)(r10 - 0x2e) = w4
000544 *(u8 *)(r10 - 0x66) = w5
000607 r4 = 0x1
000545 r5 = 0x1
000608 if r3 != 0x0 goto <offset>
000609 r4 = 0x0
000610 *(u8 *)(r10 - 0x2f) = w4
000611 r3 = *(u64 *)(r10 - 0x140)
000612 if r1 == 0x0 goto <offset>
000613 goto <offset>
000614 w1 = *(u8 *)(r6 + 0xfd)
000615 *(u64 *)(r10 - 0x148) = r9
000616 if r1 != 0x2 goto <offset>
000617 r2 = 0xa6
000618 r1 = r2
000619 r1 += 0x4
000620 if r1 > r9 goto <offset>
000621 if r2 >= r9 goto <offset>
000622 r5 = r2
000623 r5 += 0x1
000624 if r5 >= r9 goto <offset>
000625 r3 = r2
000626 r3 += 0x2
000627 if r3 >= r9 goto <offset>
000628 r4 = r2
000629 r4 += 0x3
000630 if r4 >= r9 goto <offset>
000631 r9 = *(u64 *)(r10 - 0x108)
000632 r9 += r5
000633 r5 = *(u64 *)(r10 - 0x108)
000634 r5 += r2
000635 w5 = *(u8 *)(r5 + 0x0)
000636 *(u64 *)(r10 - 0x168) = r5
000637 w5 = *(u8 *)(r9 + 0x0)
000638 r5 <<= 0x8
000639 r9 = *(u64 *)(r10 - 0x168)
000640 r5 |= r9
000641 r5 &= 0xffff
000642 r9 = *(u64 *)(r10 - 0x148)
000643 if r5 == 0x0 goto <offset>
000644 *(u64 *)(r10 - 0x168) = r2
000645 r2 = *(u64 *)(r10 - 0x108)
000646 r9 = r2
000647 r9 += r4
000648 r4 = r2
000649 r4 += r3
000650 w4 = *(u8 *)(r4 + 0x0)
000651 w3 = *(u8 *)(r9 + 0x0)
000652 r3 <<= 0x8
000653 r3 |= r4
000654 if r5 == 0x2 goto <offset>
000655 r3 += r1
000656 r2 = r3
000657 r9 = *(u64 *)(r10 - 0x148)
000658 if r3 <= r9 goto <offset>
000659 goto <offset>
000660 r9 = *(u64 *)(r10 - 0x148)
000661 r2 = *(u64 *)(r10 - 0x168)
000662 if r3 < 0x8 goto <offset>
000663 r2 += 0xc
000664 if r2 <= r9 goto <offset>
000665 *(u8 *)(r6 + 0x0) = w7
000666 r5 = *(u64 *)(r10 - 0x150)
000667 r2 = *(u64 *)(r0 + 0x8)
000668 w1 = *(u8 *)(r2 + 0x2)
000669 if r1 == 0x0 goto <offset>
000670 r1 = r6
000671 r1 += 0x8
000672 *(u64 *)(r10 - 0x18) = r1
000673 r3 = r2
000674 r3 += 0x8
000675 *(u64 *)(r10 - 0x28) = r3
000676 *(u16 *)(r10 - 0x10) = 0x1
000677 *(u16 *)(r10 - 0x20) = 0x1
000678 w4 = *(u8 *)(r2 + 0x0)
000546 if r4 != 0x0 goto <offset>
000679 if r4 != 0x0 goto <offset>
000680 w0 = *(u8 *)(r2 + 0x1)
000681 r5 = 0x1
000682 r4 = 0x1
000683 if r0 != 0x0 goto <offset>
000684 r4 = 0x0
000685 w7 = *(u8 *)(r2 + 0x2)
000686 r0 = 0x1
000687 if r7 == 0x0 goto <offset>
000688 w7 = *(u8 *)(r2 + 0x3)
000689 if r7 != 0x0 goto <offset>
000547 r5 = 0x0
000690 r5 = 0x0
000548 *(u8 *)(r10 - 0x2f) = w5
000691 r7 = *(u64 *)(r2 + 0x50)
000549 *(u8 *)(r10 - 0x67) = w5
000692 r9 = r2
000693 r9 += 0x28
000694 *(u64 *)(r10 - 0xb0) = r9
000695 r9 = r2
000696 r9 += 0x58
000697 *(u64 *)(r10 - 0xb8) = r9
000698 *(u64 *)(r10 - 0xc0) = r7
000699 r2 += 0x48
000700 *(u64 *)(r10 - 0xc8) = r2
000701 *(u64 *)(r10 - 0xd0) = r3
000702 *(u8 *)(r10 - 0x9e) = w5
000703 *(u8 *)(r10 - 0x9f) = w0
000704 *(u8 *)(r10 - 0xa0) = w4
000705 *(u64 *)(r10 - 0xa8) = 0x0
000706 w2 = *(u8 *)(r6 + 0x0)
000707 r9 = *(u64 *)(r10 - 0x148)
000550 if r2 != 0x0 goto <offset>
000708 if r2 != 0x0 goto <offset>
000551 r3 = 0x0
000709 w2 = *(u8 *)(r6 + 0x1)
000710 w3 = *(u8 *)(r6 + 0x2)
000711 w5 = *(u8 *)(r6 + 0x3)
000712 r4 = r6
000713 r4 += 0x28
000714 *(u64 *)(r10 - 0x78) = r4
000715 r4 = *(u64 *)(r10 - 0x108)
000716 *(u64 *)(r10 - 0x80) = r4
000717 *(u64 *)(r10 - 0x88) = r9
000718 r4 = *(u64 *)(r10 - 0x138)
000719 *(u64 *)(r10 - 0x90) = r4
000720 *(u64 *)(r10 - 0x98) = r1
000721 r1 = 0x1
000722 r4 = 0x1
000723 if r5 != 0x0 goto <offset>
000724 r4 = 0x0
000725 *(u8 *)(r10 - 0x66) = w4
000726 r4 = 0x1
000727 if r3 == 0x0 goto <offset>
000728 *(u8 *)(r10 - 0x67) = w4
000729 r3 = *(u64 *)(r10 - 0x140)
000730 if r2 != 0x0 goto <offset>
000731 r1 = 0x0
000732 *(u8 *)(r10 - 0x68) = w1
000733 *(u64 *)(r10 - 0x70) = 0x0
000734 r1 = 0x562d ll
000735 *(u64 *)(r10 - 0xe8) = r1
000736 r1 = r10
000737 r1 += -0x28
000738 *(u64 *)(r10 - 0xf8) = r1
000739 *(u64 *)(r10 - 0x100) = r3
000740 *(u64 *)(r10 - 0xe0) = 0x2
000741 *(u64 *)(r10 - 0xf0) = 0x2
000742 r1 = r10
000743 r1 += -0x100
000744 r2 = r10
000745 r2 += -0xd0
000746 r3 = 0x2
000747 r4 = 0x8
000748 r5 = 0x0
000749 call sol_invoke_signed_c
000552 goto <offset>
000750 goto <offset>
000553 r1 = *(u64 *)(r10 - 0x148)
000751 w7 = *(u8 *)(r2 + 0x2)
000752 r0 = 0x1
000753 if r7 != 0x0 goto <offset>
000754 r0 = 0x0
000755 w7 = *(u8 *)(r2 + 0x3)
000756 if r7 == 0x0 goto <offset>
000757 goto <offset>
000758 *(u8 *)(r10 - 0x66) = w4
000759 r4 = 0x1
000760 if r3 != 0x0 goto <offset>
000761 r4 = 0x0
000762 *(u8 *)(r10 - 0x67) = w4
000763 r3 = *(u64 *)(r10 - 0x140)
000764 if r2 == 0x0 goto <offset>
000765 goto <offset>
000766 r3 = *(u64 *)(r10 - 0x110)
000767 r4 = *(u64 *)(r10 - 0x160)
000768 goto <offset>
000769 if r2 < r1 goto <offset>
000770 r2 = *(u64 *)(r10 - 0x108)
000771 r2 += r1
000772 r1 = *(u64 *)(r2 + 0x0)
000773 *(u8 *)(r6 + 0x0) = w7
000774 r5 = *(u64 *)(r10 - 0x150)
000775 if r1 != 0x0 goto <offset>
000776 goto <offset>
000777 goto <offset>
000778 r1 = *(u64 *)(r10 - 0x170)
000554 r3 = 0x1a
000779 r3 = 0x1a
000555 goto <offset>
000780 goto <offset>
000556 r3 = 0xb
000781 r3 = 0xb
000557 r5 >>= 0x20
000782 r9 >>= 0x20
000558 goto <offset>
000783 goto <offset>
000559 r3 = 0xb
000784 r3 = 0xb
000560 r1 = *(u64 *)(r10 - 0x148)
000785 r1 = *(u64 *)(r10 - 0x170)
000561 *(u32 *)(r1 + 0x4) = w5
000786 *(u32 *)(r1 + 0x4) = w9
000562 *(u32 *)(r1 + 0x0) = w3
000787 *(u32 *)(r1 + 0x0) = w3
000563 exit
000788 exit
000789 r3 = 0x5838 ll
000790 call <target>
000791 r1 = r2
000792 r2 = r9
000793 r3 = 0x57d8 ll
000794 call <target>
000795 r1 = r5
000796 r2 = r9
000797 r3 = 0x57f0 ll
000798 call <target>
000799 r1 = r3
000800 r2 = r9
000801 r3 = 0x5808 ll
000802 call <target>
000803 r1 = r4
000804 r2 = *(u64 *)(r10 - 0x148)
000805 r3 = 0x5820 ll
000806 call <target>
000564 r6 = r3
000807 r6 = r3
000565 r0 = 0xa
000808 r0 = 0xa
000566 r3 = *(u64 *)(r5 - 0xff0)
000809 r3 = *(u64 *)(r5 - 0xff0)
311 unchanged instructions hidden
000878 r3 = *(u64 *)(r10 - 0x898)
001121 r3 = *(u64 *)(r10 - 0x898)
000879 r6 = r4
001122 r6 = r4
000880 r4 = r0
001123 r4 = r0
000881 call -0x362
001124 call -0x455
000882 r4 = r6
001125 r4 = r6
000883 r2 = r0
001126 r2 = r0
000884 r2 >>= 0x20
001127 r2 >>= 0x20
197 unchanged instructions hidden
001082 w3 = *(u8 *)(r3 + 0x0)
001325 w3 = *(u8 *)(r3 + 0x0)
001083 *(u64 *)(r10 - 0x918) = r3
001326 *(u64 *)(r10 - 0x918) = r3
001084 r2 <<= 0x3
001327 r2 <<= 0x3
001085 r3 = 0x51c0 ll
001328 r3 = 0x5a30 ll
001086 r3 += r2
001329 r3 += r2
001087 r2 = *(u64 *)(r3 + 0x0)
001330 r2 = *(u64 *)(r3 + 0x0)
001088 *(u64 *)(r10 - 0x310) = 0x0
001331 *(u64 *)(r10 - 0x310) = 0x0
112 unchanged instructions hidden
001201 r9 = *(u64 *)(r10 - 0x900)
001444 r9 = *(u64 *)(r10 - 0x900)
001202 r3 = r9
001445 r3 = r9
001203 r4 = *(u64 *)(r10 - 0x920)
001446 r4 = *(u64 *)(r10 - 0x920)
001204 r5 = 0x5118 ll
001447 r5 = 0x5988 ll
001205 call -0x4b6
001448 call -0x5a9
001206 r1 = *(u64 *)(r10 - 0x868)
001449 r1 = *(u64 *)(r10 - 0x868)
001207 if r1 != r9 goto <offset>
001450 if r1 != r9 goto <offset>
001208 r1 = *(u64 *)(r10 - 0x870)
001451 r1 = *(u64 *)(r10 - 0x870)
6 unchanged instructions hidden
001215 r4 += -0x100
001458 r4 += -0x100
001216 r2 = *(u64 *)(r10 - 0x918)
001459 r2 = *(u64 *)(r10 - 0x918)
001217 r3 = *(u64 *)(r10 - 0x8c0)
001460 r3 = *(u64 *)(r10 - 0x8c0)
001218 r5 = 0x5148 ll
001461 r5 = 0x59b8 ll
001219 call -0x4c4
001462 call -0x5b7
001220 r1 = *(u64 *)(r10 - 0x878)
001463 r1 = *(u64 *)(r10 - 0x878)
001221 if r1 != 0x8 goto <offset>
001464 if r1 != 0x8 goto <offset>
001222 r4 = *(u64 *)(r10 - 0x958)
001465 r4 = *(u64 *)(r10 - 0x958)
100 unchanged instructions hidden
001323 r1 = 0x5
001566 r1 = 0x5
001324 goto <offset>
001567 goto <offset>
001325 r1 = r5
001568 r1 = r5
001326 r3 = 0x51a8 ll
001569 r3 = 0x5a18 ll
001327 call <target>
001570 call <target>
001328 *(u64 *)(r10 - 0x900) = r1
001571 *(u64 *)(r10 - 0x900) = r1
001329 *(u8 *)(r2 + 0x0) = w5
001572 *(u8 *)(r2 + 0x0) = w5
15 unchanged instructions hidden
001345 r1 += -0x888
001588 r1 += -0x888
001346 r5 = r10
001589 r5 = r10
001347 r2 = r7
001590 r2 = r7
001348 call -0x3be
001591 call -0x4b1
001349 w0 = *(u32 *)(r10 - 0x888)
001592 w0 = *(u32 *)(r10 - 0x888)
001350 if r0 != 0x1a goto <offset>
001593 if r0 != 0x1a goto <offset>
001351 r2 = *(u64 *)(r10 - 0x940)
001594 r2 = *(u64 *)(r10 - 0x940)
116 unchanged instructions hidden
001468 goto <offset>
001711 goto <offset>
001469 r1 = *(u64 *)(r10 - 0x8a8)
001712 r1 = *(u64 *)(r10 - 0x8a8)
001470 r2 = r6
001713 r2 = r6
001471 r3 = 0x5010 ll
001714 r3 = 0x5880 ll
001472 call <target>
001715 call <target>
001473 r1 = r7
001716 r1 = r7
001474 r2 = r8
001717 r2 = r8
001475 r3 = 0x5190 ll
001718 r3 = 0x5a00 ll
001476 call <target>
001719 call <target>
001477 r3 = 0x50b8 ll
001720 r3 = 0x5928 ll
001478 call <target>
001721 call <target>
001479 r3 = 0x50d0 ll
001722 r3 = 0x5940 ll
001480 call <target>
001723 call <target>
001481 r1 = r5
001724 r1 = r5
001482 r3 = 0x50e8 ll
001725 r3 = 0x5958 ll
001483 call <target>
001726 call <target>
001484 r2 = r9
001727 r2 = r9
001485 r3 = 0x5130 ll
001728 r3 = 0x59a0 ll
001486 call <target>
001729 call <target>
001487 r2 = 0x8
001730 r2 = 0x8
001488 r3 = 0x5160 ll
001731 r3 = 0x59d0 ll
001489 call <target>
001732 call <target>
001490 r2 = r4
001733 r2 = r4
001491 r3 = 0x5028 ll
001734 r3 = 0x5898 ll
001492 call <target>
001735 call <target>
001493 r1 = r2
001736 r1 = r2
001494 r2 = *(u64 *)(r10 - 0x8a0)
001737 r2 = *(u64 *)(r10 - 0x8a0)
001495 r3 = 0x5178 ll
001738 r3 = 0x59e8 ll
001496 call <target>
001739 call <target>
001497 r1 = r8
001740 r1 = r8
001498 r2 = r6
001741 r2 = r6
001499 r3 = 0x4fe0 ll
001742 r3 = 0x5850 ll
001500 call <target>
001743 call <target>
001501 r2 = r6
001744 r2 = r6
001502 r3 = 0x4ff8 ll
001745 r3 = 0x5868 ll
001503 call <target>
001746 call <target>
001504 r1 = r4
001747 r1 = r4
001505 r3 = 0x5058 ll
001748 r3 = 0x58c8 ll
001506 call <target>
001749 call <target>
001507 r1 = r5
001750 r1 = r5
001508 r3 = 0x5070 ll
001751 r3 = 0x58e0 ll
001509 call <target>
001752 call <target>
001510 r3 = 0x5088 ll
001753 r3 = 0x58f8 ll
001511 call <target>
001754 call <target>
001512 r1 = r0
001755 r1 = r0
001513 r3 = 0x50a0 ll
001756 r3 = 0x5910 ll
001514 call <target>
001757 call <target>
001515 r1 = r2
001758 r1 = r2
001516 r2 = *(u64 *)(r10 - 0x8a8)
001759 r2 = *(u64 *)(r10 - 0x8a8)
001517 r3 = 0x5040 ll
001760 r3 = 0x58b0 ll
001518 call <target>
001761 call <target>
001519 r3 = 0x5100 ll
001762 r3 = 0x5970 ll
001520 call <target>
001763 call <target>
001521 r6 = 0x0
001764 r6 = 0x0
001522 r3 = *(u64 *)(r1 + 0x0)
001765 r3 = *(u64 *)(r1 + 0x0)
142 unchanged instructions hidden
001665 r2 = *(u64 *)(r2 + 0x8)
001908 r2 = *(u64 *)(r2 + 0x8)
001666 r2 += -0x1
001909 r2 += -0x1
001667 call sol_log_
001910 call sol_log_
001668 r1 = 0x4e35 ll
001911 r1 = 0x5630 ll
001669 r2 = 0xe
001912 r2 = 0xe
001670 call sol_log_
001913 call sol_log_
001671 exit
001914 exit
2 unchanged instructions hidden
001674 *(u16 *)(r10 - 0x8) = 0x1
001917 *(u16 *)(r10 - 0x8) = 0x1
001675 r1 = r10
001918 r1 = r10
001676 r1 += -0x18
001919 r1 += -0x18
001677 call -0x67f
001920 call -0x772
001678 *(u64 *)(r10 - 0x58) = r2
001921 *(u64 *)(r10 - 0x58) = r2
001679 *(u64 *)(r10 - 0x60) = r1
001922 *(u64 *)(r10 - 0x60) = r1
001680 r1 = 0x5250 ll
001923 r1 = 0x5ac0 ll
001681 *(u64 *)(r10 - 0x50) = r1
001924 *(u64 *)(r10 - 0x50) = r1
001682 r1 = r10
001925 r1 = r10
001683 r1 += -0x20
001926 r1 += -0x20
1 unchanged instructions hidden
001685 r1 = r10
001928 r1 = r10
001686 r1 += -0x60
001929 r1 += -0x60
001687 *(u64 *)(r10 - 0x10) = r1
001930 *(u64 *)(r10 - 0x10) = r1
001688 r1 = 0x834 ll
001931 r1 = 0x927 ll
001689 *(u64 *)(r10 - 0x8) = r1
001932 *(u64 *)(r10 - 0x8) = r1
001690 *(u64 *)(r10 - 0x18) = r1
001933 *(u64 *)(r10 - 0x18) = r1
001691 r1 = r10
001934 r1 = r10
448 unchanged instructions hidden
002140 r9 <<= 0x1
002383 r9 <<= 0x1
002141 r9 &= 0xfffe
002384 r9 &= 0xfffe
002142 r6 <<= 0x1
002385 r6 <<= 0x1
002143 r8 = 0x4e6b ll
002386 r8 = 0x5663 ll
002144 r8 += r9
002387 r8 += r9
002145 r9 = 0x4e6b ll
002388 r9 = 0x5663 ll
002146 r9 += r6
002389 r9 += r6
002147 r6 = r3
002390 r6 = r3
002148 r6 += r5
002391 r6 += r5
16 unchanged instructions hidden
002165 r0 -= r3
002408 r0 -= r3
002166 r0 <<= 0x1
002409 r0 <<= 0x1
002167 r0 &= 0xfffe
002410 r0 &= 0xfffe
002168 r3 = 0x4e6b ll
002411 r3 = 0x5663 ll
002169 r3 += r0
002412 r3 += r0
002170 r7 = *(u64 *)(r10 - 0x8)
002413 r7 = *(u64 *)(r10 - 0x8)
002171 r4 = r7
002414 r4 = r7
13 unchanged instructions hidden
002185 if r6 == 0x0 goto <offset>
002428 if r6 == 0x0 goto <offset>
002186 r6 <<= 0x1
002429 r6 <<= 0x1
002187 r6 &= 0x1e
002430 r6 &= 0x1e
002188 r2 = 0x4e6b ll
002431 r2 = 0x5663 ll
002189 r2 += r6
002432 r2 += r6
002190 r5 += -0x1
002433 r5 += -0x1
002191 r3 = r7
002434 r3 = r7
8 unchanged instructions hidden
002200 exit
002443 exit
002201 *(u64 *)(r10 - 0x58) = r2
002444 *(u64 *)(r10 - 0x58) = r2
002202 *(u64 *)(r10 - 0x60) = r1
002445 *(u64 *)(r10 - 0x60) = r1
002203 r1 = 0x5270 ll
002446 r1 = 0x5ae0 ll
002204 *(u64 *)(r10 - 0x50) = r1
002447 *(u64 *)(r10 - 0x50) = r1
002205 r1 = r10
002448 r1 = r10
002206 r1 += -0x20
002449 r1 += -0x20
1 unchanged instructions hidden
002208 r1 = r10
002451 r1 = r10
002209 r1 += -0x58
002452 r1 += -0x58
002210 *(u64 *)(r10 - 0x10) = r1
002453 *(u64 *)(r10 - 0x10) = r1
002211 r1 = 0x834 ll
002454 r1 = 0x927 ll
002212 *(u64 *)(r10 - 0x8) = r1
002455 *(u64 *)(r10 - 0x8) = r1
002213 *(u64 *)(r10 - 0x18) = r1
002456 *(u64 *)(r10 - 0x18) = r1
002214 r1 = r10
002457 r1 = r10
8 unchanged instructions hidden
002223 call -0x228
002466 call -0x228
002224 *(u64 *)(r10 - 0x58) = r2
002467 *(u64 *)(r10 - 0x58) = r2
002225 *(u64 *)(r10 - 0x60) = r1
002468 *(u64 *)(r10 - 0x60) = r1
002226 r1 = 0x5290 ll
002469 r1 = 0x5b00 ll
002227 *(u64 *)(r10 - 0x50) = r1
002470 *(u64 *)(r10 - 0x50) = r1
002228 r1 = r10
002471 r1 = r10
002229 r1 += -0x20
002472 r1 += -0x20
1 unchanged instructions hidden
002231 r1 = r10
002474 r1 = r10
002232 r1 += -0x58
002475 r1 += -0x58
002233 *(u64 *)(r10 - 0x10) = r1
002476 *(u64 *)(r10 - 0x10) = r1
002234 r1 = 0x834 ll
002477 r1 = 0x927 ll
002235 *(u64 *)(r10 - 0x8) = r1
002478 *(u64 *)(r10 - 0x8) = r1
002236 *(u64 *)(r10 - 0x18) = r1
002479 *(u64 *)(r10 - 0x18) = r1
002237 r1 = r10
002480 r1 = r10
8 unchanged instructions hidden
002246 call -0x23f
002489 call -0x23f
002247 *(u64 *)(r10 - 0x58) = r2
002490 *(u64 *)(r10 - 0x58) = r2
002248 *(u64 *)(r10 - 0x60) = r1
002491 *(u64 *)(r10 - 0x60) = r1
002249 r1 = 0x52b0 ll
002492 r1 = 0x5b20 ll
002250 *(u64 *)(r10 - 0x50) = r1
002493 *(u64 *)(r10 - 0x50) = r1
002251 r1 = r10
002494 r1 = r10
002252 r1 += -0x20
002495 r1 += -0x20
1 unchanged instructions hidden
002254 r1 = r10
002497 r1 = r10
002255 r1 += -0x58
002498 r1 += -0x58
002256 *(u64 *)(r10 - 0x10) = r1
002499 *(u64 *)(r10 - 0x10) = r1
002257 r1 = 0x834 ll
002500 r1 = 0x927 ll
002258 *(u64 *)(r10 - 0x8) = r1
002501 *(u64 *)(r10 - 0x8) = r1
002259 *(u64 *)(r10 - 0x18) = r1
002502 *(u64 *)(r10 - 0x18) = r1
002260 r1 = r10
002503 r1 = r10
8 unchanged instructions hidden
002269 call -0x256
002512 call -0x256
002270 *(u64 *)(r10 - 0x58) = r2
002513 *(u64 *)(r10 - 0x58) = r2
002271 *(u64 *)(r10 - 0x60) = r1
002514 *(u64 *)(r10 - 0x60) = r1
002272 r1 = 0x52d0 ll
002515 r1 = 0x5b40 ll
002273 *(u64 *)(r10 - 0x50) = r1
002516 *(u64 *)(r10 - 0x50) = r1
002274 r1 = r10
002517 r1 = r10
002275 r1 += -0x20
002518 r1 += -0x20
1 unchanged instructions hidden
002277 r1 = r10
002520 r1 = r10
002278 r1 += -0x58
002521 r1 += -0x58
002279 *(u64 *)(r10 - 0x10) = r1
002522 *(u64 *)(r10 - 0x10) = r1
002280 r1 = 0x834 ll
002523 r1 = 0x927 ll
002281 *(u64 *)(r10 - 0x8) = r1
002524 *(u64 *)(r10 - 0x8) = r1
002282 *(u64 *)(r10 - 0x18) = r1
002525 *(u64 *)(r10 - 0x18) = r1
002283 r1 = r10
002526 r1 = r10