// File: aayush-jaiswal[P]covid-in/src/format_data.cpp
// Function: print_formatted_tested(nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer>)
void print_formatted_tested (json data) {
    std::cout << "### Test Data ###\n\n";
    std::cout << "Total Samples Tested: " << stripped_string(data["totalsamplestested"]) << '\n';
    std::cout << "Total Positive Cases: " << stripped_string(data["totalpositivecases"]) << '\n';
    std::cout << "Last Updated Time: " << stripped_string(data["updatetimestamp"]) << '\n';
    std::cout << "---------\n";
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdi, -0xf0(%rbp)
movq %rdi, -0x8(%rbp)
movq 0x9b22b(%rip), %rdi     # 0xa4f88
movq %rdi, -0xf8(%rbp)
leaq 0x643f0(%rip), %rsi     # 0x6e15b
callq 0x8490
movq -0xf8(%rbp), %rdi
leaq 0x643f1(%rip), %rsi     # 0x6e16f
callq 0x8490
movq -0xf0(%rbp), %rdi
movq %rax, -0xe8(%rbp)
leaq 0x643ee(%rip), %rsi     # 0x6e186
callq 0xaa50
movq %rax, %rsi
leaq -0x48(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0xac90
movq -0xe0(%rbp), %rsi
leaq -0x28(%rbp), %rdi
callq 0x9550
jmp 0x9dc2
movq -0xe8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x8260
movq %rax, -0x100(%rbp)
jmp 0x9ddb
movq -0x100(%rbp), %rdi
movl $0xa, %esi
callq 0x8510
jmp 0x9dee
leaq -0x28(%rbp), %rdi
callq 0x8908
leaq -0x48(%rbp), %rdi
callq 0x8908
movq 0x9b181(%rip), %rdi     # 0xa4f88
leaq 0x6438b(%rip), %rsi     # 0x6e199
callq 0x8490
movq -0xf0(%rbp), %rdi
movq %rax, -0x110(%rbp)
leaq 0x64388(%rip), %rsi     # 0x6e1b0
callq 0xaa50
movq %rax, %rsi
leaq -0x98(%rbp), %rdi
movq %rdi, -0x108(%rbp)
callq 0xac90
movq -0x108(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0x9550
jmp 0x9e55
movq -0x110(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x8260
movq %rax, -0x118(%rbp)
jmp 0x9e6e
movq -0x118(%rbp), %rdi
movl $0xa, %esi
callq 0x8510
jmp 0x9e81
leaq -0x78(%rbp), %rdi
callq 0x8908
leaq -0x98(%rbp), %rdi
callq 0x8908
movq 0x9b0eb(%rip), %rdi     # 0xa4f88
leaq 0x64288(%rip), %rsi     # 0x6e12c
callq 0x8490
movq -0xf0(%rbp), %rdi
movq %rax, -0x128(%rbp)
leaq 0x64305(%rip), %rsi     # 0x6e1c3
callq 0xaa50
movq %rax, %rsi
leaq -0xd8(%rbp), %rdi
movq %rdi, -0x120(%rbp)
callq 0xac90
movq -0x120(%rbp), %rsi
leaq -0xb8(%rbp), %rdi
callq 0x9550
jmp 0x9eee
movq -0x128(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x8260
movq %rax, -0x130(%rbp)
jmp 0x9f0a
movq -0x130(%rbp), %rdi
movl $0xa, %esi
callq 0x8510
jmp 0x9f1d
leaq -0xb8(%rbp), %rdi
callq 0x8908
leaq -0xd8(%rbp), %rdi
callq 0x8908
movq 0x9b04c(%rip), %rdi     # 0xa4f88
leaq 0x6420d(%rip), %rsi     # 0x6e150
callq 0x8490
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9f74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x8908
leaq -0x48(%rbp), %rdi
callq 0x8908
jmp 0x9fe2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9fa2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x8908
leaq -0x98(%rbp), %rdi
callq 0x8908
jmp 0x9fe2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x9fd6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x8908
leaq -0xd8(%rbp), %rdi
callq 0x8908
movq -0x50(%rbp), %rdi
callq 0x8500
nopl (%rax,%rax)