// File: BUSEC[P]RPKI_Downgrade_Detector/./exp.cpp
// Function: UnknownToInvalidDowngrade::toJSON[abi:cxx11]()
string toJSON(){
    stringstream ss;

    ss<<"{";
    ss<<"\"CHANGE\":\"+U2I\", ";
    ss<<"\"ROA\":"<<getROA()->toJSON()<<", ";      
    ss<<"\"EFFECT\":"<<getUnknownToKnown()->toJSON()<<", "; 
    ss<<"\"EXCEPT\":{";
      for(unordered_map<int,PrefixRange*>::iterator i = getExceptions()->begin(); i != getExceptions()->end(); ++i){
        int as = i->first;
        PrefixRange* exception = i->second;
        if ( i != getExceptions()->begin() ) ss<<",";

        ss<<"\""<<as<<"\":"<<exception->toJSON();
      }
    ss<<"}"; // Closes EXCEPT
    
    ss<<"}"<<endl; // Closes hash
    
    return ss.str();
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x290, %rsp            # imm = 0x290
movq %rdi, -0x248(%rbp)
movq %rdi, %rax
movq %rax, -0x240(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x238(%rbp)
leaq -0x198(%rbp), %rdi
callq 0x31b0
leaq -0x188(%rbp), %rdi
leaq 0xc9bc(%rip), %rsi      # 0x14325
callq 0x3260
jmp 0x7970
leaq -0x188(%rbp), %rdi
leaq 0xc98c(%rip), %rsi      # 0x1430a
callq 0x3260
jmp 0x7985
leaq -0x188(%rbp), %rdi
leaq 0xc72e(%rip), %rsi      # 0x140c1
callq 0x3260
movq %rax, -0x250(%rbp)
jmp 0x79a1
movq -0x238(%rbp), %rdi
callq 0x5e30
movq %rax, %rsi
leaq -0x1c8(%rbp), %rdi
callq 0x7390
jmp 0x79be
movq -0x250(%rbp), %rdi
leaq -0x1c8(%rbp), %rsi
callq 0x3230
movq %rax, -0x258(%rbp)
jmp 0x79da
movq -0x258(%rbp), %rdi
leaq 0xc931(%rip), %rsi      # 0x14319
callq 0x3260
jmp 0x79ef
leaq -0x1c8(%rbp), %rdi
callq 0x3170
leaq -0x188(%rbp), %rdi
leaq 0xc6bf(%rip), %rsi      # 0x140c8
callq 0x3260
movq %rax, -0x260(%rbp)
jmp 0x7a17
movq -0x238(%rbp), %rdi
callq 0x5e40
movq %rax, %rsi
leaq -0x1e8(%rbp), %rdi
callq 0x75f0
jmp 0x7a34
movq -0x260(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x3230
movq %rax, -0x268(%rbp)
jmp 0x7a50
movq -0x268(%rbp), %rdi
leaq 0xc8bb(%rip), %rsi      # 0x14319
callq 0x3260
jmp 0x7a65
leaq -0x1e8(%rbp), %rdi
callq 0x3170
leaq -0x188(%rbp), %rdi
leaq 0xc89d(%rip), %rsi      # 0x1431c
callq 0x3260
jmp 0x7a86
movq -0x238(%rbp), %rdi
callq 0x5d50
movq %rax, %rdi
callq 0x5d70
movq %rax, -0x1f0(%rbp)
movq -0x238(%rbp), %rdi
callq 0x5d50
movq %rax, %rdi
callq 0x5dd0
movq %rax, -0x1f8(%rbp)
leaq -0x1f0(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x5da0
testb $0x1, %al
jne 0x7ad8
jmp 0x7c65
leaq -0x1f0(%rbp), %rdi
callq 0x5e00
movl (%rax), %eax
movl %eax, -0x1fc(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x5e00
movq -0x238(%rbp), %rdi
movq 0x8(%rax), %rax
movq %rax, -0x208(%rbp)
callq 0x5d50
movq %rax, %rdi
callq 0x5d70
movq %rax, -0x210(%rbp)
leaq -0x1f0(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x5da0
testb $0x1, %al
jne 0x7b37
jmp 0x7bab
leaq -0x188(%rbp), %rdi
leaq 0xc4ed(%rip), %rsi      # 0x14032
callq 0x3260
jmp 0x7b4c
jmp 0x7bab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
jmp 0x7cdc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x3170
jmp 0x7cdc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x3170
jmp 0x7cdc
leaq -0x188(%rbp), %rdi
leaq 0xc747(%rip), %rsi      # 0x14300
callq 0x3260
movq %rax, -0x270(%rbp)
jmp 0x7bc7
movq -0x270(%rbp), %rdi
movl -0x1fc(%rbp), %esi
callq 0x33f0
movq %rax, -0x278(%rbp)
jmp 0x7be2
movq -0x278(%rbp), %rdi
leaq 0xc4d5(%rip), %rsi      # 0x140c5
callq 0x3260
movq %rax, -0x280(%rbp)
jmp 0x7bfe
movq -0x208(%rbp), %rsi
leaq -0x230(%rbp), %rdi
callq 0x75f0
jmp 0x7c13
movq -0x280(%rbp), %rdi
leaq -0x230(%rbp), %rsi
callq 0x3230
jmp 0x7c28
leaq -0x230(%rbp), %rdi
callq 0x3170
leaq -0x1f0(%rbp), %rdi
callq 0x5e60
jmp 0x7aa1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
leaq -0x230(%rbp), %rdi
callq 0x3170
jmp 0x7cdc
leaq -0x188(%rbp), %rdi
leaq 0xc3b3(%rip), %rsi      # 0x14026
callq 0x3260
jmp 0x7c7a
leaq -0x188(%rbp), %rdi
leaq 0xc39e(%rip), %rsi      # 0x14026
callq 0x3260
movq %rax, -0x288(%rbp)
jmp 0x7c96
movq -0x288(%rbp), %rdi
movq 0x16324(%rip), %rsi     # 0x1dfc8
callq 0x32a0
jmp 0x7cab
movq -0x248(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x3250
jmp 0x7cc0
leaq -0x198(%rbp), %rdi
callq 0x31d0
movq -0x240(%rbp), %rax
addq $0x290, %rsp            # imm = 0x290
popq %rbp
retq
leaq -0x198(%rbp), %rdi
callq 0x31d0
movq -0x1a0(%rbp), %rdi
callq 0x3400
nopw %cs:(%rax,%rax)
nop