Function at 0x402860
Capabilities:
Resolve function by parsing pe exports

Disassembly:
push ebp
mov ebp, esp
push ebx
push edi
push esi
and esp, 0xfffffff8
sub esp, 0x170
push 0
call dbg.__getit
add esp, 4
test eax, eax
je 0x404028
movdqu xmm0, xmmword [eax]
movq xmm3, qword [0x4ba1c8]
movq xmm2, qword [0x4ba1c0]
movd edx, xmm0
pshufd xmm1, xmm0, 0x55
add edx, 1
movd ecx, xmm1
adc ecx, 0
mov dword [eax], edx
mov dword [eax + 4], ecx
movq qword [esp + 0xf8], xmm3
movq qword [esp + 0xf0], xmm2
movdqu xmmword [esp + 0x100], xmm0
lea esi, [esp + 0xf0]
push 0
push 0
push 0
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 0
push 1
push 0
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 0
push 2
push 0
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 0
push 3
push 0
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 0
push 0
push 1
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 1
push 1
push 1
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 2
push 2
push 1
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 3
push 3
push 1
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 0
push 0
push 2
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 2
push 1
push 2
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 4
push 2
push 2
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 6
push 3
push 2
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 0
push 0
push 3
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 3
push 1
push 3
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 6
push 2
push 3
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
push 9
push 3
push 3
push esi
call sym.hashbrown::map::HashMap_LT_K_C_V_C_S_C_A_GT_::insert::h322f30b9147ddabd
add esp, 0x10
lea esi, [esp + 0x88]
push esi
call sym.pp_lr::petri_networks::PetriNetwork::new::hd8dd6cebdfafaa9c
add esp, 4
mov dword [esp + 0x4c], 0
mov dword [esp + 0x50], 4
mov dword [esp + 0x54], 0
mov dword [esp + 0x2c], 0
push 0
push 0
push esi
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov esi, eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3fc
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
lea ecx, [esp + 0x130]
push eax
push ecx
call dbg.format_inner
add esp, 8
lea eax, [esp + 0x130]
push eax
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba40c
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea edi, [esp + 0x13c]
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push esi
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x54]
cmp eax, dword [esp + 0x4c]
jne 0x402aef
lea ecx, [esp + 0x4c]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x54]
mov ecx, dword [esp + 0x50]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], esi
inc dword [esp + 0x54]
push ebx
push esi
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x2c], 1
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov dword [esp + 0x28], eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3fc
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
lea eax, [esp + 0x134]
push eax
call dbg.format_inner
add esp, 8
lea eax, [esp + 0x130]
push eax
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba40c
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push dword [esp + 0x2c]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x54]
cmp eax, dword [esp + 0x4c]
jne 0x402c1d
lea ecx, [esp + 0x4c]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x54]
mov ecx, dword [esp + 0x50]
mov edx, dword [esp + 0x28]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], edx
inc dword [esp + 0x54]
push esi
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
push ebx
push dword [esp + 0x2c]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x58], 0
mov dword [esp + 0x5c], 4
mov dword [esp + 0x60], 0
mov dword [esp + 0x2c], 0
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov dword [esp + 0x24], eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3d8
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea esi, [esp + 0x148]
lea eax, [esp + 0xc]
push eax
push esi
call dbg.format_inner
add esp, 8
push esi
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3e8
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea edi, [esp + 0x154]
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push dword [esp + 0x28]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x60]
cmp eax, dword [esp + 0x58]
jne 0x402d7c
lea ecx, [esp + 0x58]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x60]
mov ecx, dword [esp + 0x5c]
mov edx, dword [esp + 0x24]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], edx
inc dword [esp + 0x60]
push dword [esp + 0x28]
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
push ebx
push dword [esp + 0x28]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x2c], 1
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov dword [esp + 0x28], eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3d8
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
push esi
call dbg.format_inner
add esp, 8
push esi
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3e8
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push dword [esp + 0x2c]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x60]
cmp eax, dword [esp + 0x58]
jne 0x402eb8
lea ecx, [esp + 0x58]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x60]
mov ecx, dword [esp + 0x5c]
mov edx, dword [esp + 0x28]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], edx
inc dword [esp + 0x60]
push dword [esp + 0x24]
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
push ebx
push dword [esp + 0x2c]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x3c], 0
mov dword [esp + 0x40], 4
mov dword [esp + 0x44], 0
mov dword [esp + 0x2c], 0
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov esi, eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3b0
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
lea ecx, [esp + 0x7c]
push eax
push ecx
call dbg.format_inner
add esp, 8
lea eax, [esp + 0x7c]
push eax
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3c4
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea edi, [esp + 0x160]
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push esi
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x44]
cmp eax, dword [esp + 0x3c]
jne 0x403016
lea ecx, [esp + 0x3c]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x44]
mov ecx, dword [esp + 0x40]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], esi
inc dword [esp + 0x44]
push ebx
push esi
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x2c], 1
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov dword [esp + 0x28], eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3b0
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
lea eax, [esp + 0x80]
push eax
call dbg.format_inner
add esp, 8
lea eax, [esp + 0x7c]
push eax
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3c4
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push dword [esp + 0x2c]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x44]
cmp eax, dword [esp + 0x3c]
jne 0x403141
lea ecx, [esp + 0x3c]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x44]
mov ecx, dword [esp + 0x40]
mov edx, dword [esp + 0x28]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], edx
inc dword [esp + 0x44]
push esi
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
push ebx
push dword [esp + 0x2c]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x2c], 2
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov dword [esp + 0x24], eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3b0
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
lea eax, [esp + 0x80]
push eax
call dbg.format_inner
add esp, 8
lea eax, [esp + 0x7c]
push eax
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3c4
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push dword [esp + 0x28]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x44]
cmp eax, dword [esp + 0x3c]
jne 0x403285
lea ecx, [esp + 0x3c]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x44]
mov ecx, dword [esp + 0x40]
mov edx, dword [esp + 0x24]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], edx
inc dword [esp + 0x44]
push dword [esp + 0x28]
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
push ebx
push dword [esp + 0x28]
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov dword [esp + 0x2c], 3
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov ebx, eax
push 0
push 0
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_position::h964c9129261aa4b2
add esp, 0xc
mov esi, eax
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3b0
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
lea eax, [esp + 0x80]
push eax
call dbg.format_inner
add esp, 8
lea eax, [esp + 0x7c]
push eax
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
lea eax, [esp + 0x2c]
mov dword [esp + 0xc], 0x4ba3c4
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u32_GT_::fmt::h4509cd4bc876950e
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
push edi
call dbg.format_inner
add esp, 8
push edi
push esi
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_position_label::h8945388fbb14df6a
add esp, 0xc
mov eax, dword [esp + 0x44]
cmp eax, dword [esp + 0x3c]
jne 0x4033c7
lea ecx, [esp + 0x3c]
push eax
push ecx
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hc8d80b5da8fa4178
add esp, 8
mov eax, dword [esp + 0x44]
mov ecx, dword [esp + 0x40]
mov dword [ecx + eax*8], ebx
mov dword [ecx + eax*8 + 4], esi
inc dword [esp + 0x44]
push dword [esp + 0x24]
push ebx
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
push ebx
push esi
lea eax, [esp + 0x90]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::make_after::h83ce092d53779814
add esp, 0xc
mov esi, dword [esp + 0xfc]
test esi, esi
je 0x403744
mov edi, dword [esp + 0xf0]
movdqa xmm0, xmmword [edi]
lea eax, [edi + 0x10]
pmovmskb ecx, xmm0
not ecx
jmp 0x403446
mov ecx, dword [esp + 0x64]
lea eax, [ecx - 1]
and eax, ecx
dec esi
mov ecx, eax
mov eax, dword [esp + 0x68]
je 0x403744
test cx, cx
jne 0x403468
nop dword [eax + eax]
movdqa xmm0, xmmword [eax]
add edi, 0xffffffd0
add eax, 0x10
pmovmskb ecx, xmm0
cmp ecx, 0xffff
je 0x403450
not ecx
mov dword [esp + 0x68], eax
tzcnt eax, ecx
mov dword [esp], 0
mov dword [esp + 4], 8
mov dword [esp + 0x48], esi
mov dword [esp + 0x64], ecx
mov dword [esp + 0x6c], edi
mov dword [esp + 8], 0
neg eax
lea eax, [eax + eax*2]
add eax, edi
mov dword [esp + 0x28], eax
mov eax, dword [esp + 0x54]
test eax, eax
je 0x403550
mov edi, dword [esp + 0x50]
xor esi, esi
lea eax, [edi + eax*8]
mov dword [esp + 0x24], eax
xor eax, eax
jmp 0x4034f5
mov eax, dword [esp + 8]
mov edx, dword [esp + 4]
shl eax, 4
lea ecx, [edx + eax]
mov dword [edx + eax], ebx
lea edx, [edi + esi*8]
inc esi
mov dword [ecx + 0xc], 0
mov dword [ecx + 8], 1
add edx, 8
mov eax, dword [esp + 8]
inc eax
cmp edx, dword [esp + 0x24]
mov dword [esp + 8], eax
je 0x403552
mov edx, dword [esp + 0x28]
mov ecx, esi
and ecx, 7
movzx edx, byte [edx - 3]
bt edx, ecx
mov ecx, dword [esp]
jae 0x403530
mov ebx, dword [edi + esi*8]
cmp eax, ecx
jne 0x4034c4
push eax
lea eax, [esp + 4]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::h3cd00bb3faa27e63
add esp, 8
jmp 0x4034c0
mov ebx, dword [edi + esi*8 + 4]
cmp eax, ecx
jne 0x4034c4
push eax
lea eax, [esp + 4]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::h3cd00bb3faa27e63
add esp, 8
jmp 0x4034c0
xor eax, eax
mov ecx, dword [esp + 0x60]
test ecx, ecx
je 0x403600
mov edi, dword [esp + 0x5c]
xor esi, esi
lea ecx, [edi + ecx*8]
mov dword [esp + 0x24], ecx
jmp 0x4035a5
mov eax, dword [esp + 8]
mov edx, dword [esp + 4]
shl eax, 4
lea ecx, [edx + eax]
mov dword [edx + eax], ebx
lea edx, [edi + esi*8]
inc esi
mov dword [ecx + 0xc], 0
mov dword [ecx + 8], 1
add edx, 8
mov eax, dword [esp + 8]
inc eax
cmp edx, dword [esp + 0x24]
mov dword [esp + 8], eax
je 0x403600
mov edx, dword [esp + 0x28]
mov ecx, esi
and ecx, 7
movzx edx, byte [edx - 2]
bt edx, ecx
mov ecx, dword [esp]
jae 0x4035e0
mov ebx, dword [edi + esi*8]
cmp eax, ecx
jne 0x403574
push eax
lea eax, [esp + 4]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::h3cd00bb3faa27e63
add esp, 8
jmp 0x403570
mov ebx, dword [edi + esi*8 + 4]
cmp eax, ecx
jne 0x403574
push eax
lea eax, [esp + 4]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::h3cd00bb3faa27e63
add esp, 8
jmp 0x403570
mov ecx, dword [esp + 0x44]
mov dword [esp + 0xc], 0
mov dword [esp + 0x10], 8
mov dword [esp + 0x14], 0
test ecx, ecx
je 0x4036e0
mov edi, dword [esp + 0x40]
xor esi, esi
lea eax, [edi + ecx*8]
xor ecx, ecx
mov dword [esp + 0x24], eax
jmp 0x403675
mov ecx, dword [esp + 0x14]
mov edx, dword [esp + 0x10]
shl ecx, 4
lea eax, [edx + ecx]
mov dword [edx + ecx], ebx
lea edx, [edi + esi*8]
inc esi
mov dword [eax + 0xc], 0
mov dword [eax + 8], 1
add edx, 8
mov ecx, dword [esp + 0x14]
inc ecx
cmp edx, dword [esp + 0x24]
mov dword [esp + 0x14], ecx
je 0x4036d0
mov edx, dword [esp + 0x28]
mov eax, esi
and eax, 7
movzx edx, byte [edx - 1]
bt edx, eax
mov eax, dword [esp + 0xc]
jae 0x4036b0
mov ebx, dword [edi + esi*8]
cmp ecx, eax
jne 0x403644
push ecx
lea eax, [esp + 0x10]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::h3cd00bb3faa27e63
add esp, 8
jmp 0x403640
mov ebx, dword [edi + esi*8 + 4]
cmp ecx, eax
jne 0x403644
push ecx
lea eax, [esp + 0x10]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::h3cd00bb3faa27e63
add esp, 8
jmp 0x403640
mov eax, dword [esp + 8]
mov edx, dword [esp + 0x10]
jmp 0x4036e7
mov edx, 8
xor ecx, ecx
push ecx
push edx
push eax
push dword [esp + 0x10]
push 1
lea eax, [esp + 0x9c]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::add_transition::h48c3203b721cf799
add esp, 0x18
mov esi, dword [esp + 0x48]
mov edi, dword [esp + 0x6c]
mov eax, dword [esp + 0xc]
test eax, eax
je 0x403722
shl eax, 4
push 8
push eax
push dword [esp + 0x18]
call sym.___rust_dealloc
add esp, 0xc
mov eax, dword [esp]
test eax, eax
je 0x403430
shl eax, 4
push 8
push eax
push dword [esp + 0xc]
call sym.___rust_dealloc
add esp, 0xc
jmp 0x403430
mov dword [esp + 0xc], str.Building_network_n
mov dword [esp + 0x10], 1
mov dword [esp + 0x1c], 0
mov dword [esp + 0x14], 0x4ba070
mov dword [esp + 0x18], 0
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
mov ecx, str.Please_write_value_of_variable_aPlease_write_value_of_variable_bExpected_result:
call sym.task2::read_2bit::h8f74b320c4285ef7
mov byte [esp + 0x28], al
mov ecx, 0x4ba20e
call sym.task2::read_2bit::h8f74b320c4285ef7
mov byte [esp + 0x6c], al
mov edi, dword [esp + 0x54]
movzx ecx, byte [esp + 0x28]
mov eax, dword [esp + 0x50]
xor ebx, ebx
shl edi, 3
mov dword [esp + 0x24], ecx
nop dword [eax + eax]
test edi, edi
je 0x4037e9
mov edx, dword [esp + 0x24]
movzx ecx, bl
inc bl
lea esi, [eax + 8]
and ecx, 7
bt edx, ecx
lea ecx, [eax + 4]
cmovb ecx, eax
add edi, 0xfffffff8
push 0
push 1
push dword [ecx]
lea eax, [esp + 0x94]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_value::ha429d96189f37de9
add esp, 0x10
mov eax, esi
jmp 0x4037b0
mov esi, dword [esp + 0x60]
movzx ecx, byte [esp + 0x6c]
mov edi, dword [esp + 0x5c]
xor ebx, ebx
shl esi, 3
mov dword [esp + 0x48], ecx
nop
test esi, esi
je 0x403837
mov edx, dword [esp + 0x48]
movzx ecx, bl
inc bl
and ecx, 7
bt edx, ecx
lea ecx, [edi + 4]
cmovb ecx, edi
add edi, 8
add esi, 0xfffffff8
push 0
push 1
push dword [ecx]
lea eax, [esp + 0x94]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::set_value::ha429d96189f37de9
add esp, 0x10
jmp 0x403800
cmp dword [esp + 0xfc], 0
je 0x404012
mov esi, dword [esp + 0x48]
mov eax, dword [esp + 0x104]
mov ebx, dword [esp + 0x108]
mov edi, dword [esp + 0x100]
mov edx, dword [esp + 0x10c]
shl esi, 8
mov ecx, eax
mov dword [esp + 0x64], edi
mov dword [esp + 0x68], eax
mov eax, edx
xor edi, 0x70736575
xor dword [esp + 0x68], 0x6c796765
xor dword [esp + 0x64], 0x6e657261
xor edx, 0x76656462
add esi, dword [esp + 0x24]
xor ecx, 0x736f6d65
xor eax, 0x646f7261
mov dword [esp + 0x70], ecx
mov ecx, ebx
xor ecx, 0x6e646f6d
movzx esi, si
xor ebx, esi
mov dword [esp + 0x24], esi
mov esi, ecx
xor ebx, 0x79746573
add edi, ecx
mov dword [esp + 0x114], edi
mov edi, dword [esp + 0x64]
adc dword [esp + 0x70], eax
shld esi, eax, 0xd
shrd ecx, eax, 0x13
mov eax, dword [esp + 0x68]
mov dword [esp + 0x118], esi
mov esi, ebx
add edi, ebx
adc eax, edx
shld esi, edx, 0x10
shld edx, ebx, 0x10
mov ebx, dword [esp + 0x70]
mov dword [esp + 0x64], edi
xor esi, edi
mov edi, dword [esp + 0x114]
mov dword [esp + 0x68], eax
xor edx, eax
mov eax, esi
add eax, ebx
mov dword [esp + 0x48], eax
mov eax, edx
adc eax, edi
xor ecx, ebx
mov dword [esp + 0x120], eax
mov eax, esi
shrd esi, edx, 0xb
movd xmm0, ecx
shld eax, edx, 0x15
mov edx, dword [esp + 0x64]
mov dword [esp + 0x11c], eax
mov eax, dword [esp + 0x118]
xor eax, edi
movd xmm2, eax
add edx, eax
mov eax, dword [esp + 0x68]
punpckldq xmm2, xmm0
movd xmm1, edx
mov edx, dword [esp + 0xf4]
movdqa xmm0, xmm2
movdqa xmm4, xmm2
psllq xmm2, 0x11
psrlq xmm4, 0x2f
adc eax, ecx
movd xmm3, eax
mov eax, 0x2000000
punpckldq xmm1, xmm3
punpcklqdq xmm0, xmm1
punpcklqdq xmm1, xmmword [0x4ba060]
movdqa xmm3, xmm0
psllq xmm0, 0x20
psrlq xmm3, 0x20
shufps xmm2, xmm0, 0xe4
movd xmm0, esi
shufps xmm4, xmm3, 0xe4
movd xmm3, dword [esp + 0x11c]
orps xmm2, xmm4
movd xmm4, dword [esp + 0x24]
mov dword [esp + 0x24], 0
pxor xmm1, xmm2
movdqa xmm2, xmm1
punpckldq xmm3, xmm0
movd xmm0, eax
punpckldq xmm4, xmm0
movd xmm0, dword [esp + 0x120]
punpcklqdq xmm4, xmm3
movd xmm3, dword [esp + 0x48]
punpckldq xmm3, xmm0
pshufd xmm0, xmm3, 0x44
movdqa xmm3, xmm1
psllq xmm1, 0xd
pxor xmm0, xmm4
psrlq xmm3, 0x33
movdqa xmm4, xmm0
paddq xmm2, xmm0
psllq xmm0, 0x10
psrlq xmm4, 0x30
movsd xmm0, xmm1
pshufd xmm1, xmm2, 0x1e
movsd xmm4, xmm3
orpd xmm0, xmm4
xorpd xmm0, xmm2
movapd xmm2, xmm0
movapd xmm3, xmm0
paddq xmm1, xmm0
psrlq xmm2, 0x2f
psrlq xmm3, 0x2b
movsd xmm3, xmm2
movdqa xmm2, xmm0
psllq xmm0, 0x15
psllq xmm2, 0x11
movsd xmm0, xmm2
orpd xmm0, xmm3
xorpd xmm0, xmm1
pshufd xmm1, xmm1, 0x1e
movapd xmm2, xmm0
movapd xmm3, xmm0
paddq xmm1, xmm0
psrlq xmm2, 0x33
psrlq xmm3, 0x30
movsd xmm3, xmm2
movdqa xmm2, xmm0
psllq xmm0, 0x10
psllq xmm2, 0xd
movsd xmm0, xmm2
orpd xmm0, xmm3
xorpd xmm0, xmm1
pshufd xmm1, xmm1, 0x1e
movapd xmm2, xmm0
movapd xmm3, xmm0
paddq xmm1, xmm0
psrlq xmm2, 0x2f
psrlq xmm3, 0x2b
movsd xmm3, xmm2
movdqa xmm2, xmm0
psllq xmm0, 0x15
psllq xmm2, 0x11
movsd xmm0, xmm2
orpd xmm0, xmm3
xorpd xmm0, xmm1
pshufd xmm1, xmm1, 0x1e
movapd xmm2, xmm0
movapd xmm3, xmm0
paddq xmm1, xmm0
psrlq xmm2, 0x33
psrlq xmm3, 0x30
movsd xmm3, xmm2
movdqa xmm2, xmm0
psllq xmm0, 0x10
psllq xmm2, 0xd
movsd xmm0, xmm2
orpd xmm0, xmm3
xorpd xmm0, xmm1
movapd xmm2, xmm0
movapd xmm3, xmm0
pshufd xmm4, xmm0, 0x44
psrlq xmm2, 0x2f
psrlq xmm3, 0x2b
paddq xmm4, xmm1
pcmpeqd xmm1, xmm1
movsd xmm3, xmm2
movdqa xmm2, xmm0
psllq xmm0, 0x15
psllq xmm2, 0x11
movsd xmm0, xmm2
orpd xmm0, xmm3
pshufd xmm2, xmm0, 0xee
pxor xmm2, xmm0
pshufd xmm0, xmm4, 0xee
movd eax, xmm0
pshufd xmm0, xmm4, 0xff
movd ecx, xmm0
xor ecx, eax
movd eax, xmm2
xor eax, ecx
mov ecx, dword [esp + 0xf0]
mov esi, eax
shr esi, 0x19
movd xmm0, esi
punpcklbw xmm0, xmm0
lea esi, [ecx - 3]
mov dword [esp + 0x48], ecx
pshuflw xmm0, xmm0, 0
pshufd xmm0, xmm0, 0
and eax, edx
movdqu xmm2, xmmword [ecx + eax]
movdqa xmm3, xmm2
pcmpeqb xmm3, xmm0
pmovmskb ecx, xmm3
nop word cs:[eax + eax]
nop dword [eax]
test cx, cx
je 0x403bd0
lea ebx, [ecx - 1]
and ebx, ecx
tzcnt ecx, ecx
add ecx, eax
and ecx, edx
neg ecx
lea edi, [ecx + ecx*2]
movzx ecx, byte [esp + 0x28]
cmp cl, byte [esi + edi]
mov ecx, ebx
jne 0x403ba0
movzx ebx, byte [esp + 0x6c]
cmp bl, byte [esi + edi + 1]
jne 0x403ba0
jmp 0x403bf5
pcmpeqb xmm2, xmm1
pmovmskb edi, xmm2
test edi, edi
jne 0x404012
mov ecx, dword [esp + 0x24]
lea eax, [eax + ecx + 0x10]
add ecx, 0x10
mov dword [esp + 0x24], ecx
mov ecx, dword [esp + 0x48]
jmp 0x403b7f
mov eax, dword [esp + 0x48]
mov dword [esp + 0xc], 0x4ba244
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
lea eax, [eax + edi - 1]
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u8_GT_::fmt::h033dcd7e6611a298
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
mov dword [esp + 0xc], 0x4ba290
mov dword [esp + 0x10], 1
mov dword [esp + 0x1c], 0
mov dword [esp + 0x14], 0x4ba070
mov dword [esp + 0x18], 0
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
lea edi, [esp + 0x124]
lea esi, [esp + 0x88]
mov dword [esp + 0x2c], 0
mov dword [esp + 0x30], 4
mov dword [esp + 0x34], 0
nop word cs:[eax + eax]
push esi
lea eax, [esp + 4]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::state_text::h9dd37a53adfd4028
add esp, 8
mov eax, esp
mov dword [esp + 0xc], 0x4ba394
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp + 0x74], eax
lea eax, [esp + 0x74]
mov dword [esp + 0x78], fcn.004026b0
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
mov eax, dword [esp]
test eax, eax
je 0x403d07
push 1
push eax
push dword [esp + 0xc]
call sym.___rust_dealloc
add esp, 0xc
push esi
push edi
call sym.pp_lr::petri_networks::PetriNetwork::to_graphviz_dot::ha5d3541bf0040f3d
add esp, 8
mov eax, dword [esp + 0x34]
cmp eax, dword [esp + 0x2c]
jne 0x403d2d
push eax
lea eax, [esp + 0x30]
push eax
call sym.alloc::raw_vec::RawVec_LT_T_C_A_GT_::reserve_for_push::hf18379c7d0c000df
add esp, 8
mov eax, dword [esp + 0x34]
mov ecx, dword [esp + 0x30]
mov edx, dword [esp + 0x12c]
lea eax, [eax + eax*2]
mov dword [ecx + eax*4 + 8], edx
movq xmm0, qword [esp + 0x124]
movq qword [ecx + eax*4], xmm0
inc dword [esp + 0x34]
push esi
call sym.pp_lr::petri_networks::PetriNetwork::apply_all_auto::h5e88efd35c9d668d
add esp, 4
test al, al
jne 0x403ca0
mov edi, dword [esp + 0x44]
mov byte [esp + 0x3b], 0
test edi, edi
je 0x403daf
mov esi, dword [esp + 0x40]
shl edi, 3
xor ebx, ebx
jmp 0x403d86
inc ebx
add edi, 0xfffffff8
je 0x403daf
push dword [esi + ebx*8]
lea eax, [esp + 0x8c]
push eax
call sym.pp_lr::petri_networks::PetriNetwork::get_value::h9e4713f4af2d2160
add esp, 8
xor eax, 1
or eax, edx
jne 0x403d80
mov ecx, ebx
mov al, 1
and cl, 7
shl al, cl
or byte [esp + 0x3b], al
jmp 0x403d80
lea eax, [esp + 0x3b]
mov dword [esp + 0xc], 0x4ba2a0
mov dword [esp + 0x10], 2
mov dword [esp + 0x1c], 0
mov dword [esp], eax
mov eax, esp
mov dword [esp + 4], sym.core::fmt::num::imp::__LT_impl_u20_core..fmt..Display_u20_for_u20_u8_GT_::fmt::h033dcd7e6611a298
mov dword [esp + 0x14], eax
mov dword [esp + 0x18], 1
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
call sym.pp_lr::petri_networks::check_graphviz::h919c0e816701e27f
test al, al
je 0x403e5c
mov ecx, dword [esp + 0x34]
mov eax, dword [esp + 0x30]
lea ecx, [ecx + ecx*2]
lea ecx, [eax + ecx*4]
push ecx
push eax
lea eax, [esp + 0x14]
push eax
call sym.__ZN98__LT_alloc..vec..Vec_LT_T_GT__u20_as_u20_alloc..vec..spec_from_iter..SpecFromIter_LT_T_C_I_GT__GT_9from_iter17hbf83793d7
add esp, 0xc
mov edi, dword [esp + 0x10]
mov esi, dword [esp + 0x14]
push esi
push edi
lea eax, [esp + 8]
push eax
call sym.pp_lr::petri_networks::construct_html::h378a85d919bb6e76
add esp, 0xc
test esi, esi
je 0x403e96
lea ebx, [edi + 4]
jmp 0x403e46
add ebx, 0xc
dec esi
je 0x403e96
mov eax, dword [ebx - 4]
test eax, eax
je 0x403e40
push 1
push eax
push dword [ebx]
call sym.___rust_dealloc
add esp, 0xc
jmp 0x403e40
mov dword [esp + 0xc], str.Graphviz_is_not_found._There_will_be_no_visualization_of_Petri_network_execution._n
mov dword [esp + 0x10], 1
mov dword [esp + 0x1c], 0
mov dword [esp + 0x14], 0x4ba070
mov dword [esp + 0x18], 0
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
jmp 0x403f23
mov eax, dword [esp + 0xc]
test eax, eax
je 0x403eb0
shl eax, 2
lea eax, [eax + eax*2]
push 4
push eax
push edi
call sym.___rust_dealloc
add esp, 0xc
mov ebx, dword [esp]
mov edi, dword [esp + 4]
push dword [esp + 8]
push edi
push 0x11
push str.task2_result.html
lea eax, [esp + 0x84]
push eax
call dbg.inner
add esp, 0x14
test ebx, ebx
je 0x403ee3
push 1
push ebx
push edi
call sym.___rust_dealloc
add esp, 0xc
cmp byte [esp + 0x74], 4
jne 0x404046
mov dword [esp + 0xc], str.Visualization_of_Petri_network_execution_was_written_to__task2_result.html__n0
mov dword [esp + 0x10], 1
mov dword [esp + 0x1c], 0
mov dword [esp + 0x14], 0x4ba070
mov dword [esp + 0x18], 0
lea eax, [esp + 0xc]
push eax
call dbg._print
add esp, 4
mov esi, dword [esp + 0x34]
test esi, esi
je 0x403f5c
mov edi, dword [esp + 0x30]
add edi, 4
jmp 0x403f46
add edi, 0xc
dec esi
je 0x403f5c
mov eax, dword [edi - 4]
test eax, eax
je 0x403f40
push 1
push eax
push dword [edi]
call sym.___rust_dealloc
add esp, 0xc
jmp 0x403f40
mov eax, dword [esp + 0x2c]
test eax, eax
je 0x403f79
shl eax, 2
lea eax, [eax + eax*2]
push 4
push eax
push dword [esp + 0x38]
call sym.___rust_dealloc
add esp, 0xc
mov eax, dword [esp + 0x3c]
test eax, eax
je 0x403f93
shl eax, 3
push 4
push eax
push dword [esp + 0x48]
call sym.___rust_dealloc
add esp, 0xc
mov eax, dword [esp + 0x58]
test eax, eax
je 0x403fad
shl eax, 3
push 4
push eax
push dword [esp + 0x64]
call sym.___rust_dealloc
add esp, 0xc
mov eax, dword [esp + 0x4c]
test eax, eax
je 0x403fc7
shl eax, 3
push 4
push eax
push dword [esp + 0x58]
call sym.___rust_dealloc
add esp, 0xc
lea ecx, [esp + 0x88]
call sym.core::ptr::drop_in_place_LT_pp_lr..petri_networks..PetriNetwork_GT_::hbe229bc612eb9b41
mov ecx, dword [esp + 0xf4]
test ecx, ecx
je 0x40400a
lea eax, [ecx + 1]
mov edx, 3
mul edx
add eax, 0xf
and eax, 0xfffffff0
add ecx, eax
add ecx, 0x11
je 0x40400a
mov edx, dword [esp + 0xf0]
sub edx, eax
push 0x10
push ecx
push edx
call sym.___rust_dealloc
add esp, 0xc
lea esp, [ebp - 0xc]
pop esi
pop edi
pop ebx
pop ebp
ret
push 0x4ba26c
push 0x16
push str.no_entry_found_for_key
call dbg.expect_failed
add esp, 0xc
jmp 0x404070
lea eax, [esp + 0x88]
push 0x4ba1a0
push 0x4ba070
push eax
push 0x46
push 0x4ba108
call dbg.unwrap_failed
movq xmm0, qword [esp + 0x74]
movq qword [esp + 0xc], xmm0
push 0x4ba320
push 0x4ba0ac
lea eax, [esp + 0x14]
push eax
push 0x2b
push 0x4ba080
call dbg.unwrap_failed
add esp, 0x14
ud2