user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  sub    $0x78,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  lea    D27(%rip),%rdi
  call   <puts@plt>
  lea    0x8(%rsp),%rcx
  lea    0x4(%rsp),%rdx
  mov    %rsp,%rsi
  sub    $0x8,%rsp
  lea    0x6c(%rsp),%rax
  push   %rax
  lea    0x70(%rsp),%rax
  push   %rax
  lea    0x74(%rsp),%rax
  push   %rax
  lea    0x78(%rsp),%rax
  push   %rax
  lea    0x7c(%rsp),%rax
  push   %rax
  lea    0x80(%rsp),%rax
  push   %rax
  lea    0x84(%rsp),%rax
  push   %rax
  lea    0x88(%rsp),%rax
  push   %rax
  lea    0x8c(%rsp),%rax
  push   %rax
  lea    0x90(%rsp),%rax
  push   %rax
  lea    0x94(%rsp),%rax
  push   %rax
  lea    0x98(%rsp),%rax
  push   %rax
  lea    0x9c(%rsp),%rax
  push   %rax
  lea    0xa0(%rsp),%rax
  push   %rax
  lea    0xa4(%rsp),%rax
  push   %rax
  lea    0xa8(%rsp),%rax
  push   %rax
  lea    0xac(%rsp),%rax
  push   %rax
  lea    0xb0(%rsp),%rax
  push   %rax
  lea    0xb4(%rsp),%rax
  push   %rax
  lea    0xb8(%rsp),%rax
  push   %rax
  lea    0xbc(%rsp),%rax
  push   %rax
  lea    0xc0(%rsp),%r9
  lea    0xbc(%rsp),%r8
  lea    D20(%rip),%rdi
  mov    $0x0,%eax
  call   <scanf@plt>
  mov    0xb0(%rsp),%eax
  mov    0xb4(%rsp),%edx
  add    $0xb0,%rsp
  cmp    %edx,%eax
  jle    L2926
  mov    %edx,(%rsp)
  mov    %eax,0x4(%rsp)
L2926:
  mov    (%rsp),%eax
  mov    0x8(%rsp),%edx
  cmp    %edx,%eax
  jle    L844
  mov    %edx,(%rsp)
  mov    %eax,0x8(%rsp)
L844:
  mov    (%rsp),%eax
  mov    0xc(%rsp),%edx
  cmp    %edx,%eax
  jle    L321
  mov    %edx,(%rsp)
  mov    %eax,0xc(%rsp)
L321:
  mov    (%rsp),%eax
  mov    0x10(%rsp),%edx
  cmp    %edx,%eax
  jle    L1831
  mov    %edx,(%rsp)
  mov    %eax,0x10(%rsp)
L1831:
  mov    (%rsp),%eax
  mov    0x14(%rsp),%edx
  cmp    %edx,%eax
  jle    L818
  mov    %edx,(%rsp)
  mov    %eax,0x14(%rsp)
L818:
  mov    (%rsp),%eax
  mov    0x18(%rsp),%edx
  cmp    %edx,%eax
  jle    L874
  mov    %edx,(%rsp)
  mov    %eax,0x18(%rsp)
L874:
  mov    (%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2901
  mov    %edx,(%rsp)
  mov    %eax,0x1c(%rsp)
L2901:
  mov    (%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L860
  mov    %edx,(%rsp)
  mov    %eax,0x20(%rsp)
L860:
  mov    (%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L1177
  mov    %edx,(%rsp)
  mov    %eax,0x24(%rsp)
L1177:
  mov    (%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L2711
  mov    %edx,(%rsp)
  mov    %eax,0x28(%rsp)
L2711:
  mov    (%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1259
  mov    %edx,(%rsp)
  mov    %eax,0x2c(%rsp)
L1259:
  mov    (%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L619
  mov    %edx,(%rsp)
  mov    %eax,0x30(%rsp)
L619:
  mov    (%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L522
  mov    %edx,(%rsp)
  mov    %eax,0x34(%rsp)
L522:
  mov    (%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2893
  mov    %edx,(%rsp)
  mov    %eax,0x38(%rsp)
L2893:
  mov    (%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L682
  mov    %edx,(%rsp)
  mov    %eax,0x3c(%rsp)
L682:
  mov    (%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L1602
  mov    %edx,(%rsp)
  mov    %eax,0x40(%rsp)
L1602:
  mov    (%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L3013
  mov    %edx,(%rsp)
  mov    %eax,0x44(%rsp)
L3013:
  mov    (%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L1964
  mov    %edx,(%rsp)
  mov    %eax,0x48(%rsp)
L1964:
  mov    (%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1386
  mov    %edx,(%rsp)
  mov    %eax,0x4c(%rsp)
L1386:
  mov    (%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1895
  mov    %edx,(%rsp)
  mov    %eax,0x50(%rsp)
L1895:
  mov    (%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1508
  mov    %edx,(%rsp)
  mov    %eax,0x54(%rsp)
L1508:
  mov    (%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L674
  mov    %edx,(%rsp)
  mov    %eax,0x58(%rsp)
L674:
  mov    (%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L312
  mov    %edx,(%rsp)
  mov    %eax,0x5c(%rsp)
L312:
  mov    (%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1888
  mov    %edx,(%rsp)
  mov    %eax,0x60(%rsp)
L1888:
  mov    (%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2329
  mov    %edx,(%rsp)
  mov    %eax,0x64(%rsp)
L2329:
  mov    0x4(%rsp),%eax
  mov    0x8(%rsp),%edx
  cmp    %edx,%eax
  jle    L232
  mov    %edx,0x4(%rsp)
  mov    %eax,0x8(%rsp)
L232:
  mov    0x4(%rsp),%eax
  mov    0xc(%rsp),%edx
  cmp    %edx,%eax
  jle    L3015
  mov    %edx,0x4(%rsp)
  mov    %eax,0xc(%rsp)
L3015:
  mov    0x4(%rsp),%eax
  mov    0x10(%rsp),%edx
  cmp    %edx,%eax
  jle    L770
  mov    %edx,0x4(%rsp)
  mov    %eax,0x10(%rsp)
L770:
  mov    0x4(%rsp),%eax
  mov    0x14(%rsp),%edx
  cmp    %edx,%eax
  jle    L647
  mov    %edx,0x4(%rsp)
  mov    %eax,0x14(%rsp)
L647:
  mov    0x4(%rsp),%eax
  mov    0x18(%rsp),%edx
  cmp    %edx,%eax
  jle    L1054
  mov    %edx,0x4(%rsp)
  mov    %eax,0x18(%rsp)
L1054:
  mov    0x4(%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L622
  mov    %edx,0x4(%rsp)
  mov    %eax,0x1c(%rsp)
L622:
  mov    0x4(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L925
  mov    %edx,0x4(%rsp)
  mov    %eax,0x20(%rsp)
L925:
  mov    0x4(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L2091
  mov    %edx,0x4(%rsp)
  mov    %eax,0x24(%rsp)
L2091:
  mov    0x4(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L419
  mov    %edx,0x4(%rsp)
  mov    %eax,0x28(%rsp)
L419:
  mov    0x4(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L426
  mov    %edx,0x4(%rsp)
  mov    %eax,0x2c(%rsp)
L426:
  mov    0x4(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L2371
  mov    %edx,0x4(%rsp)
  mov    %eax,0x30(%rsp)
L2371:
  mov    0x4(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L2039
  mov    %edx,0x4(%rsp)
  mov    %eax,0x34(%rsp)
L2039:
  mov    0x4(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2132
  mov    %edx,0x4(%rsp)
  mov    %eax,0x38(%rsp)
L2132:
  mov    0x4(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1333
  mov    %edx,0x4(%rsp)
  mov    %eax,0x3c(%rsp)
L1333:
  mov    0x4(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2193
  mov    %edx,0x4(%rsp)
  mov    %eax,0x40(%rsp)
L2193:
  mov    0x4(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L1206
  mov    %edx,0x4(%rsp)
  mov    %eax,0x44(%rsp)
L1206:
  mov    0x4(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2785
  mov    %edx,0x4(%rsp)
  mov    %eax,0x48(%rsp)
L2785:
  mov    0x4(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2760
  mov    %edx,0x4(%rsp)
  mov    %eax,0x4c(%rsp)
L2760:
  mov    0x4(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L2529
  mov    %edx,0x4(%rsp)
  mov    %eax,0x50(%rsp)
L2529:
  mov    0x4(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L2947
  mov    %edx,0x4(%rsp)
  mov    %eax,0x54(%rsp)
L2947:
  mov    0x4(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L727
  mov    %edx,0x4(%rsp)
  mov    %eax,0x58(%rsp)
L727:
  mov    0x4(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1417
  mov    %edx,0x4(%rsp)
  mov    %eax,0x5c(%rsp)
L1417:
  mov    0x4(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L424
  mov    %edx,0x4(%rsp)
  mov    %eax,0x60(%rsp)
L424:
  mov    0x4(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1151
  mov    %edx,0x4(%rsp)
  mov    %eax,0x64(%rsp)
L1151:
  mov    0x8(%rsp),%eax
  mov    0xc(%rsp),%edx
  cmp    %edx,%eax
  jle    L1407
  mov    %edx,0x8(%rsp)
  mov    %eax,0xc(%rsp)
L1407:
  mov    0x8(%rsp),%eax
  mov    0x10(%rsp),%edx
  cmp    %edx,%eax
  jle    L2675
  mov    %edx,0x8(%rsp)
  mov    %eax,0x10(%rsp)
L2675:
  mov    0x8(%rsp),%eax
  mov    0x14(%rsp),%edx
  cmp    %edx,%eax
  jle    L1441
  mov    %edx,0x8(%rsp)
  mov    %eax,0x14(%rsp)
L1441:
  mov    0x8(%rsp),%eax
  mov    0x18(%rsp),%edx
  cmp    %edx,%eax
  jle    L904
  mov    %edx,0x8(%rsp)
  mov    %eax,0x18(%rsp)
L904:
  mov    0x8(%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L290
  mov    %edx,0x8(%rsp)
  mov    %eax,0x1c(%rsp)
L290:
  mov    0x8(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L270
  mov    %edx,0x8(%rsp)
  mov    %eax,0x20(%rsp)
L270:
  mov    0x8(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L1724
  mov    %edx,0x8(%rsp)
  mov    %eax,0x24(%rsp)
L1724:
  mov    0x8(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L1875
  mov    %edx,0x8(%rsp)
  mov    %eax,0x28(%rsp)
L1875:
  mov    0x8(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1072
  mov    %edx,0x8(%rsp)
  mov    %eax,0x2c(%rsp)
L1072:
  mov    0x8(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L1539
  mov    %edx,0x8(%rsp)
  mov    %eax,0x30(%rsp)
L1539:
  mov    0x8(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L2206
  mov    %edx,0x8(%rsp)
  mov    %eax,0x34(%rsp)
L2206:
  mov    0x8(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L1592
  mov    %edx,0x8(%rsp)
  mov    %eax,0x38(%rsp)
L1592:
  mov    0x8(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2083
  mov    %edx,0x8(%rsp)
  mov    %eax,0x3c(%rsp)
L2083:
  mov    0x8(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2592
  mov    %edx,0x8(%rsp)
  mov    %eax,0x40(%rsp)
L2592:
  mov    0x8(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L1983
  mov    %edx,0x8(%rsp)
  mov    %eax,0x44(%rsp)
L1983:
  mov    0x8(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L743
  mov    %edx,0x8(%rsp)
  mov    %eax,0x48(%rsp)
L743:
  mov    0x8(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L3105
  mov    %edx,0x8(%rsp)
  mov    %eax,0x4c(%rsp)
L3105:
  mov    0x8(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L3114
  mov    %edx,0x8(%rsp)
  mov    %eax,0x50(%rsp)
L3114:
  mov    0x8(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L977
  mov    %edx,0x8(%rsp)
  mov    %eax,0x54(%rsp)
L977:
  mov    0x8(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1857
  mov    %edx,0x8(%rsp)
  mov    %eax,0x58(%rsp)
L1857:
  mov    0x8(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L203
  mov    %edx,0x8(%rsp)
  mov    %eax,0x5c(%rsp)
L203:
  mov    0x8(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L220
  mov    %edx,0x8(%rsp)
  mov    %eax,0x60(%rsp)
L220:
  mov    0x8(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L914
  mov    %edx,0x8(%rsp)
  mov    %eax,0x64(%rsp)
L914:
  mov    0xc(%rsp),%eax
  mov    0x10(%rsp),%edx
  cmp    %edx,%eax
  jle    L1449
  mov    %edx,0xc(%rsp)
  mov    %eax,0x10(%rsp)
L1449:
  mov    0xc(%rsp),%eax
  mov    0x14(%rsp),%edx
  cmp    %edx,%eax
  jle    L1488
  mov    %edx,0xc(%rsp)
  mov    %eax,0x14(%rsp)
L1488:
  mov    0xc(%rsp),%eax
  mov    0x18(%rsp),%edx
  cmp    %edx,%eax
  jle    L1963
  mov    %edx,0xc(%rsp)
  mov    %eax,0x18(%rsp)
L1963:
  mov    0xc(%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L797
  mov    %edx,0xc(%rsp)
  mov    %eax,0x1c(%rsp)
L797:
  mov    0xc(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L3201
  mov    %edx,0xc(%rsp)
  mov    %eax,0x20(%rsp)
L3201:
  mov    0xc(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L1302
  mov    %edx,0xc(%rsp)
  mov    %eax,0x24(%rsp)
L1302:
  mov    0xc(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L1939
  mov    %edx,0xc(%rsp)
  mov    %eax,0x28(%rsp)
L1939:
  mov    0xc(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L156
  mov    %edx,0xc(%rsp)
  mov    %eax,0x2c(%rsp)
L156:
  mov    0xc(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L2998
  mov    %edx,0xc(%rsp)
  mov    %eax,0x30(%rsp)
L2998:
  mov    0xc(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L947
  mov    %edx,0xc(%rsp)
  mov    %eax,0x34(%rsp)
L947:
  mov    0xc(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2018
  mov    %edx,0xc(%rsp)
  mov    %eax,0x38(%rsp)
L2018:
  mov    0xc(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1622
  mov    %edx,0xc(%rsp)
  mov    %eax,0x3c(%rsp)
L1622:
  mov    0xc(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2668
  mov    %edx,0xc(%rsp)
  mov    %eax,0x40(%rsp)
L2668:
  mov    0xc(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L1910
  mov    %edx,0xc(%rsp)
  mov    %eax,0x44(%rsp)
L1910:
  mov    0xc(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L1466
  mov    %edx,0xc(%rsp)
  mov    %eax,0x48(%rsp)
L1466:
  mov    0xc(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2462
  mov    %edx,0xc(%rsp)
  mov    %eax,0x4c(%rsp)
L2462:
  mov    0xc(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1360
  mov    %edx,0xc(%rsp)
  mov    %eax,0x50(%rsp)
L1360:
  mov    0xc(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1131
  mov    %edx,0xc(%rsp)
  mov    %eax,0x54(%rsp)
L1131:
  mov    0xc(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1704
  mov    %edx,0xc(%rsp)
  mov    %eax,0x58(%rsp)
L1704:
  mov    0xc(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L997
  mov    %edx,0xc(%rsp)
  mov    %eax,0x5c(%rsp)
L997:
  mov    0xc(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1147
  mov    %edx,0xc(%rsp)
  mov    %eax,0x60(%rsp)
L1147:
  mov    0xc(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2135
  mov    %edx,0xc(%rsp)
  mov    %eax,0x64(%rsp)
L2135:
  mov    0x10(%rsp),%eax
  mov    0x14(%rsp),%edx
  cmp    %edx,%eax
  jle    L671
  mov    %edx,0x10(%rsp)
  mov    %eax,0x14(%rsp)
L671:
  mov    0x10(%rsp),%eax
  mov    0x18(%rsp),%edx
  cmp    %edx,%eax
  jle    L130
  mov    %edx,0x10(%rsp)
  mov    %eax,0x18(%rsp)
L130:
  mov    0x10(%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2137
  mov    %edx,0x10(%rsp)
  mov    %eax,0x1c(%rsp)
L2137:
  mov    0x10(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L3166
  mov    %edx,0x10(%rsp)
  mov    %eax,0x20(%rsp)
L3166:
  mov    0x10(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L537
  mov    %edx,0x10(%rsp)
  mov    %eax,0x24(%rsp)
L537:
  mov    0x10(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L3010
  mov    %edx,0x10(%rsp)
  mov    %eax,0x28(%rsp)
L3010:
  mov    0x10(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L3157
  mov    %edx,0x10(%rsp)
  mov    %eax,0x2c(%rsp)
L3157:
  mov    0x10(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L3137
  mov    %edx,0x10(%rsp)
  mov    %eax,0x30(%rsp)
L3137:
  mov    0x10(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L3023
  mov    %edx,0x10(%rsp)
  mov    %eax,0x34(%rsp)
L3023:
  mov    0x10(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L1091
  mov    %edx,0x10(%rsp)
  mov    %eax,0x38(%rsp)
L1091:
  mov    0x10(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2993
  mov    %edx,0x10(%rsp)
  mov    %eax,0x3c(%rsp)
L2993:
  mov    0x10(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2011
  mov    %edx,0x10(%rsp)
  mov    %eax,0x40(%rsp)
L2011:
  mov    0x10(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L815
  mov    %edx,0x10(%rsp)
  mov    %eax,0x44(%rsp)
L815:
  mov    0x10(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2883
  mov    %edx,0x10(%rsp)
  mov    %eax,0x48(%rsp)
L2883:
  mov    0x10(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2473
  mov    %edx,0x10(%rsp)
  mov    %eax,0x4c(%rsp)
L2473:
  mov    0x10(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1916
  mov    %edx,0x10(%rsp)
  mov    %eax,0x50(%rsp)
L1916:
  mov    0x10(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L39
  mov    %edx,0x10(%rsp)
  mov    %eax,0x54(%rsp)
L39:
  mov    0x10(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L470
  mov    %edx,0x10(%rsp)
  mov    %eax,0x58(%rsp)
L470:
  mov    0x10(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2740
  mov    %edx,0x10(%rsp)
  mov    %eax,0x5c(%rsp)
L2740:
  mov    0x10(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L2072
  mov    %edx,0x10(%rsp)
  mov    %eax,0x60(%rsp)
L2072:
  mov    0x10(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L3044
  mov    %edx,0x10(%rsp)
  mov    %eax,0x64(%rsp)
L3044:
  mov    0x14(%rsp),%eax
  mov    0x18(%rsp),%edx
  cmp    %edx,%eax
  jle    L2898
  mov    %edx,0x14(%rsp)
  mov    %eax,0x18(%rsp)
L2898:
  mov    0x14(%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1487
  mov    %edx,0x14(%rsp)
  mov    %eax,0x1c(%rsp)
L1487:
  mov    0x14(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L1284
  mov    %edx,0x14(%rsp)
  mov    %eax,0x20(%rsp)
L1284:
  mov    0x14(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L2362
  mov    %edx,0x14(%rsp)
  mov    %eax,0x24(%rsp)
L2362:
  mov    0x14(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L2474
  mov    %edx,0x14(%rsp)
  mov    %eax,0x28(%rsp)
L2474:
  mov    0x14(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2770
  mov    %edx,0x14(%rsp)
  mov    %eax,0x2c(%rsp)
L2770:
  mov    0x14(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L374
  mov    %edx,0x14(%rsp)
  mov    %eax,0x30(%rsp)
L374:
  mov    0x14(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L2972
  mov    %edx,0x14(%rsp)
  mov    %eax,0x34(%rsp)
L2972:
  mov    0x14(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2013
  mov    %edx,0x14(%rsp)
  mov    %eax,0x38(%rsp)
L2013:
  mov    0x14(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1518
  mov    %edx,0x14(%rsp)
  mov    %eax,0x3c(%rsp)
L1518:
  mov    0x14(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L277
  mov    %edx,0x14(%rsp)
  mov    %eax,0x40(%rsp)
L277:
  mov    0x14(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L2890
  mov    %edx,0x14(%rsp)
  mov    %eax,0x44(%rsp)
L2890:
  mov    0x14(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2868
  mov    %edx,0x14(%rsp)
  mov    %eax,0x48(%rsp)
L2868:
  mov    0x14(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1731
  mov    %edx,0x14(%rsp)
  mov    %eax,0x4c(%rsp)
L1731:
  mov    0x14(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L2880
  mov    %edx,0x14(%rsp)
  mov    %eax,0x50(%rsp)
L2880:
  mov    0x14(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1485
  mov    %edx,0x14(%rsp)
  mov    %eax,0x54(%rsp)
L1485:
  mov    0x14(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L2663
  mov    %edx,0x14(%rsp)
  mov    %eax,0x58(%rsp)
L2663:
  mov    0x14(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2620
  mov    %edx,0x14(%rsp)
  mov    %eax,0x5c(%rsp)
L2620:
  mov    0x14(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1514
  mov    %edx,0x14(%rsp)
  mov    %eax,0x60(%rsp)
L1514:
  mov    0x14(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L3115
  mov    %edx,0x14(%rsp)
  mov    %eax,0x64(%rsp)
L3115:
  mov    0x18(%rsp),%eax
  mov    0x1c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1668
  mov    %edx,0x18(%rsp)
  mov    %eax,0x1c(%rsp)
L1668:
  mov    0x18(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L2163
  mov    %edx,0x18(%rsp)
  mov    %eax,0x20(%rsp)
L2163:
  mov    0x18(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L935
  mov    %edx,0x18(%rsp)
  mov    %eax,0x24(%rsp)
L935:
  mov    0x18(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L3224
  mov    %edx,0x18(%rsp)
  mov    %eax,0x28(%rsp)
L3224:
  mov    0x18(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1334
  mov    %edx,0x18(%rsp)
  mov    %eax,0x2c(%rsp)
L1334:
  mov    0x18(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L678
  mov    %edx,0x18(%rsp)
  mov    %eax,0x30(%rsp)
L678:
  mov    0x18(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L950
  mov    %edx,0x18(%rsp)
  mov    %eax,0x34(%rsp)
L950:
  mov    0x18(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L243
  mov    %edx,0x18(%rsp)
  mov    %eax,0x38(%rsp)
L243:
  mov    0x18(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L913
  mov    %edx,0x18(%rsp)
  mov    %eax,0x3c(%rsp)
L913:
  mov    0x18(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2081
  mov    %edx,0x18(%rsp)
  mov    %eax,0x40(%rsp)
L2081:
  mov    0x18(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L1033
  mov    %edx,0x18(%rsp)
  mov    %eax,0x44(%rsp)
L1033:
  mov    0x18(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2042
  mov    %edx,0x18(%rsp)
  mov    %eax,0x48(%rsp)
L2042:
  mov    0x18(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2094
  mov    %edx,0x18(%rsp)
  mov    %eax,0x4c(%rsp)
L2094:
  mov    0x18(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L350
  mov    %edx,0x18(%rsp)
  mov    %eax,0x50(%rsp)
L350:
  mov    0x18(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1078
  mov    %edx,0x18(%rsp)
  mov    %eax,0x54(%rsp)
L1078:
  mov    0x18(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L988
  mov    %edx,0x18(%rsp)
  mov    %eax,0x58(%rsp)
L988:
  mov    0x18(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1650
  mov    %edx,0x18(%rsp)
  mov    %eax,0x5c(%rsp)
L1650:
  mov    0x18(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1568
  mov    %edx,0x18(%rsp)
  mov    %eax,0x60(%rsp)
L1568:
  mov    0x18(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1811
  mov    %edx,0x18(%rsp)
  mov    %eax,0x64(%rsp)
L1811:
  mov    0x1c(%rsp),%eax
  mov    0x20(%rsp),%edx
  cmp    %edx,%eax
  jle    L1143
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x20(%rsp)
L1143:
  mov    0x1c(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L368
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x24(%rsp)
L368:
  mov    0x1c(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L3100
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x28(%rsp)
L3100:
  mov    0x1c(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1332
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x2c(%rsp)
L1332:
  mov    0x1c(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L2940
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x30(%rsp)
L2940:
  mov    0x1c(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L1638
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x34(%rsp)
L1638:
  mov    0x1c(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2746
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x38(%rsp)
L2746:
  mov    0x1c(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1717
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x3c(%rsp)
L1717:
  mov    0x1c(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2026
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x40(%rsp)
L2026:
  mov    0x1c(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L695
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x44(%rsp)
L695:
  mov    0x1c(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L143
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x48(%rsp)
L143:
  mov    0x1c(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x4c(%rsp)
L2:
  mov    0x1c(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L2623
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x50(%rsp)
L2623:
  mov    0x1c(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1495
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x54(%rsp)
L1495:
  mov    0x1c(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L538
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x58(%rsp)
L538:
  mov    0x1c(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L884
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x5c(%rsp)
L884:
  mov    0x1c(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1327
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x60(%rsp)
L1327:
  mov    0x1c(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1524
  mov    %edx,0x1c(%rsp)
  mov    %eax,0x64(%rsp)
L1524:
  mov    0x20(%rsp),%eax
  mov    0x24(%rsp),%edx
  cmp    %edx,%eax
  jle    L212
  mov    %edx,0x20(%rsp)
  mov    %eax,0x24(%rsp)
L212:
  mov    0x20(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L1862
  mov    %edx,0x20(%rsp)
  mov    %eax,0x28(%rsp)
L1862:
  mov    0x20(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L3239
  mov    %edx,0x20(%rsp)
  mov    %eax,0x2c(%rsp)
L3239:
  mov    0x20(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L1805
  mov    %edx,0x20(%rsp)
  mov    %eax,0x30(%rsp)
L1805:
  mov    0x20(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L2161
  mov    %edx,0x20(%rsp)
  mov    %eax,0x34(%rsp)
L2161:
  mov    0x20(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2118
  mov    %edx,0x20(%rsp)
  mov    %eax,0x38(%rsp)
L2118:
  mov    0x20(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2782
  mov    %edx,0x20(%rsp)
  mov    %eax,0x3c(%rsp)
L2782:
  mov    0x20(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L1458
  mov    %edx,0x20(%rsp)
  mov    %eax,0x40(%rsp)
L1458:
  mov    0x20(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L3090
  mov    %edx,0x20(%rsp)
  mov    %eax,0x44(%rsp)
L3090:
  mov    0x20(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L1651
  mov    %edx,0x20(%rsp)
  mov    %eax,0x48(%rsp)
L1651:
  mov    0x20(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L469
  mov    %edx,0x20(%rsp)
  mov    %eax,0x4c(%rsp)
L469:
  mov    0x20(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L746
  mov    %edx,0x20(%rsp)
  mov    %eax,0x50(%rsp)
L746:
  mov    0x20(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1142
  mov    %edx,0x20(%rsp)
  mov    %eax,0x54(%rsp)
L1142:
  mov    0x20(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1656
  mov    %edx,0x20(%rsp)
  mov    %eax,0x58(%rsp)
L1656:
  mov    0x20(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1486
  mov    %edx,0x20(%rsp)
  mov    %eax,0x5c(%rsp)
L1486:
  mov    0x20(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1265
  mov    %edx,0x20(%rsp)
  mov    %eax,0x60(%rsp)
L1265:
  mov    0x20(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2831
  mov    %edx,0x20(%rsp)
  mov    %eax,0x64(%rsp)
L2831:
  mov    0x24(%rsp),%eax
  mov    0x28(%rsp),%edx
  cmp    %edx,%eax
  jle    L2504
  mov    %edx,0x24(%rsp)
  mov    %eax,0x28(%rsp)
L2504:
  mov    0x24(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L3122
  mov    %edx,0x24(%rsp)
  mov    %eax,0x2c(%rsp)
L3122:
  mov    0x24(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L2264
  mov    %edx,0x24(%rsp)
  mov    %eax,0x30(%rsp)
L2264:
  mov    0x24(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L3181
  mov    %edx,0x24(%rsp)
  mov    %eax,0x34(%rsp)
L3181:
  mov    0x24(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L863
  mov    %edx,0x24(%rsp)
  mov    %eax,0x38(%rsp)
L863:
  mov    0x24(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L461
  mov    %edx,0x24(%rsp)
  mov    %eax,0x3c(%rsp)
L461:
  mov    0x24(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L895
  mov    %edx,0x24(%rsp)
  mov    %eax,0x40(%rsp)
L895:
  mov    0x24(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L978
  mov    %edx,0x24(%rsp)
  mov    %eax,0x44(%rsp)
L978:
  mov    0x24(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L918
  mov    %edx,0x24(%rsp)
  mov    %eax,0x48(%rsp)
L918:
  mov    0x24(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L244
  mov    %edx,0x24(%rsp)
  mov    %eax,0x4c(%rsp)
L244:
  mov    0x24(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L883
  mov    %edx,0x24(%rsp)
  mov    %eax,0x50(%rsp)
L883:
  mov    0x24(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1000
  mov    %edx,0x24(%rsp)
  mov    %eax,0x54(%rsp)
L1000:
  mov    0x24(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L2073
  mov    %edx,0x24(%rsp)
  mov    %eax,0x58(%rsp)
L2073:
  mov    0x24(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1420
  mov    %edx,0x24(%rsp)
  mov    %eax,0x5c(%rsp)
L1420:
  mov    0x24(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L562
  mov    %edx,0x24(%rsp)
  mov    %eax,0x60(%rsp)
L562:
  mov    0x24(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L497
  mov    %edx,0x24(%rsp)
  mov    %eax,0x64(%rsp)
L497:
  mov    0x28(%rsp),%eax
  mov    0x2c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2846
  mov    %edx,0x28(%rsp)
  mov    %eax,0x2c(%rsp)
L2846:
  mov    0x28(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L3003
  mov    %edx,0x28(%rsp)
  mov    %eax,0x30(%rsp)
L3003:
  mov    0x28(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L408
  mov    %edx,0x28(%rsp)
  mov    %eax,0x34(%rsp)
L408:
  mov    0x28(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2320
  mov    %edx,0x28(%rsp)
  mov    %eax,0x38(%rsp)
L2320:
  mov    0x28(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L3238
  mov    %edx,0x28(%rsp)
  mov    %eax,0x3c(%rsp)
L3238:
  mov    0x28(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L181
  mov    %edx,0x28(%rsp)
  mov    %eax,0x40(%rsp)
L181:
  mov    0x28(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L650
  mov    %edx,0x28(%rsp)
  mov    %eax,0x44(%rsp)
L650:
  mov    0x28(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2174
  mov    %edx,0x28(%rsp)
  mov    %eax,0x48(%rsp)
L2174:
  mov    0x28(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2996
  mov    %edx,0x28(%rsp)
  mov    %eax,0x4c(%rsp)
L2996:
  mov    0x28(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1352
  mov    %edx,0x28(%rsp)
  mov    %eax,0x50(%rsp)
L1352:
  mov    0x28(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L30
  mov    %edx,0x28(%rsp)
  mov    %eax,0x54(%rsp)
L30:
  mov    0x28(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1859
  mov    %edx,0x28(%rsp)
  mov    %eax,0x58(%rsp)
L1859:
  mov    0x28(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L372
  mov    %edx,0x28(%rsp)
  mov    %eax,0x5c(%rsp)
L372:
  mov    0x28(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L507
  mov    %edx,0x28(%rsp)
  mov    %eax,0x60(%rsp)
L507:
  mov    0x28(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2819
  mov    %edx,0x28(%rsp)
  mov    %eax,0x64(%rsp)
L2819:
  mov    0x2c(%rsp),%eax
  mov    0x30(%rsp),%edx
  cmp    %edx,%eax
  jle    L1291
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x30(%rsp)
L1291:
  mov    0x2c(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L2350
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x34(%rsp)
L2350:
  mov    0x2c(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L2103
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x38(%rsp)
L2103:
  mov    0x2c(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2629
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x3c(%rsp)
L2629:
  mov    0x2c(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L1763
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x40(%rsp)
L1763:
  mov    0x2c(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L1277
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x44(%rsp)
L1277:
  mov    0x2c(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2585
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x48(%rsp)
L2585:
  mov    0x2c(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L699
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x4c(%rsp)
L699:
  mov    0x2c(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1067
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x50(%rsp)
L1067:
  mov    0x2c(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L2397
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x54(%rsp)
L2397:
  mov    0x2c(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1959
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x58(%rsp)
L1959:
  mov    0x2c(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1191
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x5c(%rsp)
L1191:
  mov    0x2c(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L774
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x60(%rsp)
L774:
  mov    0x2c(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L3229
  mov    %edx,0x2c(%rsp)
  mov    %eax,0x64(%rsp)
L3229:
  mov    0x30(%rsp),%eax
  mov    0x34(%rsp),%edx
  cmp    %edx,%eax
  jle    L331
  mov    %edx,0x30(%rsp)
  mov    %eax,0x34(%rsp)
L331:
  mov    0x30(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L504
  mov    %edx,0x30(%rsp)
  mov    %eax,0x38(%rsp)
L504:
  mov    0x30(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2643
  mov    %edx,0x30(%rsp)
  mov    %eax,0x3c(%rsp)
L2643:
  mov    0x30(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L2514
  mov    %edx,0x30(%rsp)
  mov    %eax,0x40(%rsp)
L2514:
  mov    0x30(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L1504
  mov    %edx,0x30(%rsp)
  mov    %eax,0x44(%rsp)
L1504:
  mov    0x30(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L1657
  mov    %edx,0x30(%rsp)
  mov    %eax,0x48(%rsp)
L1657:
  mov    0x30(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2106
  mov    %edx,0x30(%rsp)
  mov    %eax,0x4c(%rsp)
L2106:
  mov    0x30(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L3170
  mov    %edx,0x30(%rsp)
  mov    %eax,0x50(%rsp)
L3170:
  mov    0x30(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L137
  mov    %edx,0x30(%rsp)
  mov    %eax,0x54(%rsp)
L137:
  mov    0x30(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1209
  mov    %edx,0x30(%rsp)
  mov    %eax,0x58(%rsp)
L1209:
  mov    0x30(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L996
  mov    %edx,0x30(%rsp)
  mov    %eax,0x5c(%rsp)
L996:
  mov    0x30(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L639
  mov    %edx,0x30(%rsp)
  mov    %eax,0x60(%rsp)
L639:
  mov    0x30(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1
  mov    %edx,0x30(%rsp)
  mov    %eax,0x64(%rsp)
L1:
  mov    0x34(%rsp),%eax
  mov    0x38(%rsp),%edx
  cmp    %edx,%eax
  jle    L3222
  mov    %edx,0x34(%rsp)
  mov    %eax,0x38(%rsp)
L3222:
  mov    0x34(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1706
  mov    %edx,0x34(%rsp)
  mov    %eax,0x3c(%rsp)
L1706:
  mov    0x34(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L1414
  mov    %edx,0x34(%rsp)
  mov    %eax,0x40(%rsp)
L1414:
  mov    0x34(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L3247
  mov    %edx,0x34(%rsp)
  mov    %eax,0x44(%rsp)
L3247:
  mov    0x34(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L1866
  mov    %edx,0x34(%rsp)
  mov    %eax,0x48(%rsp)
L1866:
  mov    0x34(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2346
  mov    %edx,0x34(%rsp)
  mov    %eax,0x4c(%rsp)
L2346:
  mov    0x34(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L3097
  mov    %edx,0x34(%rsp)
  mov    %eax,0x50(%rsp)
L3097:
  mov    0x34(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1900
  mov    %edx,0x34(%rsp)
  mov    %eax,0x54(%rsp)
L1900:
  mov    0x34(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1992
  mov    %edx,0x34(%rsp)
  mov    %eax,0x58(%rsp)
L1992:
  mov    0x34(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2341
  mov    %edx,0x34(%rsp)
  mov    %eax,0x5c(%rsp)
L2341:
  mov    0x34(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L282
  mov    %edx,0x34(%rsp)
  mov    %eax,0x60(%rsp)
L282:
  mov    0x34(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2040
  mov    %edx,0x34(%rsp)
  mov    %eax,0x64(%rsp)
L2040:
  mov    0x38(%rsp),%eax
  mov    0x3c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1282
  mov    %edx,0x38(%rsp)
  mov    %eax,0x3c(%rsp)
L1282:
  mov    0x38(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L1246
  mov    %edx,0x38(%rsp)
  mov    %eax,0x40(%rsp)
L1246:
  mov    0x38(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L2849
  mov    %edx,0x38(%rsp)
  mov    %eax,0x44(%rsp)
L2849:
  mov    0x38(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2517
  mov    %edx,0x38(%rsp)
  mov    %eax,0x48(%rsp)
L2517:
  mov    0x38(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2095
  mov    %edx,0x38(%rsp)
  mov    %eax,0x4c(%rsp)
L2095:
  mov    0x38(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L287
  mov    %edx,0x38(%rsp)
  mov    %eax,0x50(%rsp)
L287:
  mov    0x38(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1695
  mov    %edx,0x38(%rsp)
  mov    %eax,0x54(%rsp)
L1695:
  mov    0x38(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1837
  mov    %edx,0x38(%rsp)
  mov    %eax,0x58(%rsp)
L1837:
  mov    0x38(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2151
  mov    %edx,0x38(%rsp)
  mov    %eax,0x5c(%rsp)
L2151:
  mov    0x38(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L584
  mov    %edx,0x38(%rsp)
  mov    %eax,0x60(%rsp)
L584:
  mov    0x38(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2092
  mov    %edx,0x38(%rsp)
  mov    %eax,0x64(%rsp)
L2092:
  mov    0x3c(%rsp),%eax
  mov    0x40(%rsp),%edx
  cmp    %edx,%eax
  jle    L387
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x40(%rsp)
L387:
  mov    0x3c(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L677
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x44(%rsp)
L677:
  mov    0x3c(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L2335
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x48(%rsp)
L2335:
  mov    0x3c(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L961
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x4c(%rsp)
L961:
  mov    0x3c(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1296
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x50(%rsp)
L1296:
  mov    0x3c(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L451
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x54(%rsp)
L451:
  mov    0x3c(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1607
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x58(%rsp)
L1607:
  mov    0x3c(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1860
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x5c(%rsp)
L1860:
  mov    0x3c(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L2723
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x60(%rsp)
L2723:
  mov    0x3c(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1345
  mov    %edx,0x3c(%rsp)
  mov    %eax,0x64(%rsp)
L1345:
  mov    0x40(%rsp),%eax
  mov    0x44(%rsp),%edx
  cmp    %edx,%eax
  jle    L493
  mov    %edx,0x40(%rsp)
  mov    %eax,0x44(%rsp)
L493:
  mov    0x40(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L1454
  mov    %edx,0x40(%rsp)
  mov    %eax,0x48(%rsp)
L1454:
  mov    0x40(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L540
  mov    %edx,0x40(%rsp)
  mov    %eax,0x4c(%rsp)
L540:
  mov    0x40(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L792
  mov    %edx,0x40(%rsp)
  mov    %eax,0x50(%rsp)
L792:
  mov    0x40(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1242
  mov    %edx,0x40(%rsp)
  mov    %eax,0x54(%rsp)
L1242:
  mov    0x40(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L606
  mov    %edx,0x40(%rsp)
  mov    %eax,0x58(%rsp)
L606:
  mov    0x40(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2066
  mov    %edx,0x40(%rsp)
  mov    %eax,0x5c(%rsp)
L2066:
  mov    0x40(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L35
  mov    %edx,0x40(%rsp)
  mov    %eax,0x60(%rsp)
L35:
  mov    0x40(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2807
  mov    %edx,0x40(%rsp)
  mov    %eax,0x64(%rsp)
L2807:
  mov    0x44(%rsp),%eax
  mov    0x48(%rsp),%edx
  cmp    %edx,%eax
  jle    L3207
  mov    %edx,0x44(%rsp)
  mov    %eax,0x48(%rsp)
L3207:
  mov    0x44(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L963
  mov    %edx,0x44(%rsp)
  mov    %eax,0x4c(%rsp)
L963:
  mov    0x44(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L371
  mov    %edx,0x44(%rsp)
  mov    %eax,0x50(%rsp)
L371:
  mov    0x44(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L1533
  mov    %edx,0x44(%rsp)
  mov    %eax,0x54(%rsp)
L1533:
  mov    0x44(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L338
  mov    %edx,0x44(%rsp)
  mov    %eax,0x58(%rsp)
L338:
  mov    0x44(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1893
  mov    %edx,0x44(%rsp)
  mov    %eax,0x5c(%rsp)
L1893:
  mov    0x44(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L145
  mov    %edx,0x44(%rsp)
  mov    %eax,0x60(%rsp)
L145:
  mov    0x44(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L808
  mov    %edx,0x44(%rsp)
  mov    %eax,0x64(%rsp)
L808:
  mov    0x48(%rsp),%eax
  mov    0x4c(%rsp),%edx
  cmp    %edx,%eax
  jle    L2773
  mov    %edx,0x48(%rsp)
  mov    %eax,0x4c(%rsp)
L2773:
  mov    0x48(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L3009
  mov    %edx,0x48(%rsp)
  mov    %eax,0x50(%rsp)
L3009:
  mov    0x48(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L2531
  mov    %edx,0x48(%rsp)
  mov    %eax,0x54(%rsp)
L2531:
  mov    0x48(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L1854
  mov    %edx,0x48(%rsp)
  mov    %eax,0x58(%rsp)
L1854:
  mov    0x48(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L443
  mov    %edx,0x48(%rsp)
  mov    %eax,0x5c(%rsp)
L443:
  mov    0x48(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L602
  mov    %edx,0x48(%rsp)
  mov    %eax,0x60(%rsp)
L602:
  mov    0x48(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2963
  mov    %edx,0x48(%rsp)
  mov    %eax,0x64(%rsp)
L2963:
  mov    0x4c(%rsp),%eax
  mov    0x50(%rsp),%edx
  cmp    %edx,%eax
  jle    L1141
  mov    %edx,0x4c(%rsp)
  mov    %eax,0x50(%rsp)
L1141:
  mov    0x4c(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L2609
  mov    %edx,0x4c(%rsp)
  mov    %eax,0x54(%rsp)
L2609:
  mov    0x4c(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L174
  mov    %edx,0x4c(%rsp)
  mov    %eax,0x58(%rsp)
L174:
  mov    0x4c(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L509
  mov    %edx,0x4c(%rsp)
  mov    %eax,0x5c(%rsp)
L509:
  mov    0x4c(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L2486
  mov    %edx,0x4c(%rsp)
  mov    %eax,0x60(%rsp)
L2486:
  mov    0x4c(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L44
  mov    %edx,0x4c(%rsp)
  mov    %eax,0x64(%rsp)
L44:
  mov    0x50(%rsp),%eax
  mov    0x54(%rsp),%edx
  cmp    %edx,%eax
  jle    L2338
  mov    %edx,0x50(%rsp)
  mov    %eax,0x54(%rsp)
L2338:
  mov    0x50(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L934
  mov    %edx,0x50(%rsp)
  mov    %eax,0x58(%rsp)
L934:
  mov    0x50(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1978
  mov    %edx,0x50(%rsp)
  mov    %eax,0x5c(%rsp)
L1978:
  mov    0x50(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1715
  mov    %edx,0x50(%rsp)
  mov    %eax,0x60(%rsp)
L1715:
  mov    0x50(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L975
  mov    %edx,0x50(%rsp)
  mov    %eax,0x64(%rsp)
L975:
  mov    0x54(%rsp),%eax
  mov    0x58(%rsp),%edx
  cmp    %edx,%eax
  jle    L2509
  mov    %edx,0x54(%rsp)
  mov    %eax,0x58(%rsp)
L2509:
  mov    0x54(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L1491
  mov    %edx,0x54(%rsp)
  mov    %eax,0x5c(%rsp)
L1491:
  mov    0x54(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1952
  mov    %edx,0x54(%rsp)
  mov    %eax,0x60(%rsp)
L1952:
  mov    0x54(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1153
  mov    %edx,0x54(%rsp)
  mov    %eax,0x64(%rsp)
L1153:
  mov    0x58(%rsp),%eax
  mov    0x5c(%rsp),%edx
  cmp    %edx,%eax
  jle    L637
  mov    %edx,0x58(%rsp)
  mov    %eax,0x5c(%rsp)
L637:
  mov    0x58(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L2271
  mov    %edx,0x58(%rsp)
  mov    %eax,0x60(%rsp)
L2271:
  mov    0x58(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2031
  mov    %edx,0x58(%rsp)
  mov    %eax,0x64(%rsp)
L2031:
  mov    0x5c(%rsp),%eax
  mov    0x60(%rsp),%edx
  cmp    %edx,%eax
  jle    L1213
  mov    %edx,0x5c(%rsp)
  mov    %eax,0x60(%rsp)
L1213:
  mov    0x5c(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L2888
  mov    %edx,0x5c(%rsp)
  mov    %eax,0x64(%rsp)
L2888:
  mov    0x60(%rsp),%eax
  mov    0x64(%rsp),%edx
  cmp    %edx,%eax
  jle    L1566
  mov    %edx,0x60(%rsp)
  mov    %eax,0x64(%rsp)
L1566:
  sub    $0x8,%rsp
  mov    0x6c(%rsp),%eax
  push   %rax
  mov    0x70(%rsp),%eax
  push   %rax
  mov    0x74(%rsp),%eax
  push   %rax
  mov    0x78(%rsp),%eax
  push   %rax
  mov    0x7c(%rsp),%eax
  push   %rax
  mov    0x80(%rsp),%eax
  push   %rax
  mov    0x84(%rsp),%eax
  push   %rax
  mov    0x88(%rsp),%eax
  push   %rax
  mov    0x8c(%rsp),%eax
  push   %rax
  mov    0x90(%rsp),%eax
  push   %rax
  mov    0x94(%rsp),%eax
  push   %rax
  mov    0x98(%rsp),%eax
  push   %rax
  mov    0x9c(%rsp),%eax
  push   %rax
  mov    0xa0(%rsp),%eax
  push   %rax
  mov    0xa4(%rsp),%eax
  push   %rax
  mov    0xa8(%rsp),%eax
  push   %rax
  mov    0xac(%rsp),%eax
  push   %rax
  mov    0xb0(%rsp),%eax
  push   %rax
  mov    0xb4(%rsp),%eax
  push   %rax
  mov    0xb8(%rsp),%eax
  push   %rax
  mov    0xbc(%rsp),%eax
  push   %rax
  mov    0xc0(%rsp),%r9d
  mov    0xbc(%rsp),%r8d
  mov    0xb8(%rsp),%ecx
  mov    0xb4(%rsp),%edx
  mov    0xb0(%rsp),%esi
  lea    D23(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0xb0,%rsp
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L272
  mov    $0x0,%eax
  add    $0x78,%rsp
  ret
L272:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D27
type_infered: string
name: extract_symbolic_data
arguments: tag: D20
type_infered: string
name: extract_symbolic_data
arguments: tag: D23
type_infered: string

tool: D27: Please enter 26 numbers:

tool: D20: %d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d

tool: D23: %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d


assistant: ```c
int main(void) {
  int a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, txchg;
  printf("Please enter 26 numbers:\n");
  scanf("%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d%d", &a, &b, &c, &d, &e, &f, &g, &h, &i, &j, &k, &l, &m, &n, &o, &p, &q, &r, &s, &t, &u, &v, &w, &x, &y, &z);
  if (a > b) {
    txchg = a;
    a = b;
    b = txchg;
  }
  if (a > c) {
    txchg = a;
    a = c;
    c = txchg;
  }
  if (a > d) {
    txchg = a;
    a = d;
    d = txchg;
  }
  if (a > e) {
    txchg = a;
    a = e;
    e = txchg;
  }
  if (a > f) {
    txchg = a;
    a = f;
    f = txchg;
  }
  if (a > g) {
    txchg = a;
    a = g;
    g = txchg;
  }
  if (a > h) {
    txchg = a;
    a = h;
    h = txchg;
  }
  if (a > i) {
    txchg = a;
    a = i;
    i = txchg;
  }
  if (a > j) {
    txchg = a;
    a = j;
    j = txchg;
  }
  if (a > k) {
    txchg = a;
    a = k;
    k = txchg;
  }
  if (a > l) {
    txchg = a;
    a = l;
    l = txchg;
  }
  if (a > m) {
    txchg = a;
    a = m;
    m = txchg;
  }
  if (a > n) {
    txchg = a;
    a = n;
    n = txchg;
  }
  if (a > o) {
    txchg = a;
    a = o;
    o = txchg;
  }
  if (a > p) {
    txchg = a;
    a = p;
    p = txchg;
  }
  if (a > q) {
    txchg = a;
    a = q;
    q = txchg;
  }
  if (a > r) {
    txchg = a;
    a = r;
    r = txchg;
  }
  if (a > s) {
    txchg = a;
    a = s;
    s = txchg;
  }
  if (a > t) {
    txchg = a;
    a = t;
    t = txchg;
  }
  if (a > u) {
    txchg = a;
    a = u;
    u = txchg;
  }
  if (a > v) {
    txchg = a;
    a = v;
    v = txchg;
  }
  if (a > w) {
    txchg = a;
    a = w;
    w = txchg;
  }
  if (a > x) {
    txchg = a;
    a = x;
    x = txchg;
  }
  if (a > y) {
    txchg = a;
    a = y;
    y = txchg;
  }
  if (a > z) {
    txchg = a;
    a = z;
    z = txchg;
  }
  if (b > c) {
    txchg = b;
    b = c;
    c = txchg;
  }
  if (b > d) {
    txchg = b;
    b = d;
    d = txchg;
  }
  if (b > e) {
    txchg = b;
    b = e;
    e = txchg;
  }
  if (b > f) {
    txchg = b;
    b = f;
    f = txchg;
  }
  if (b > g) {
    txchg = b;
    b = g;
    g = txchg;
  }
  if (b > h) {
    txchg = b;
    b = h;
    h = txchg;
  }
  if (b > i) {
    txchg = b;
    b = i;
    i = txchg;
  }
  if (b > j) {
    txchg = b;
    b = j;
    j = txchg;
  }
  if (b > k) {
    txchg = b;
    b = k;
    k = txchg;
  }
  if (b > l) {
    txchg = b;
    b = l;
    l = txchg;
  }
  if (b > m) {
    txchg = b;
    b = m;
    m = txchg;
  }
  if (b > n) {
    txchg = b;
    b = n;
    n = txchg;
  }
  if (b > o) {
    txchg = b;
    b = o;
    o = txchg;
  }
  if (b > p) {
    txchg = b;
    b = p;
    p = txchg;
  }
  if (b > q) {
    txchg = b;
    b = q;
    q = txchg;
  }
  if (b > r) {
    txchg = b;
    b = r;
    r = txchg;
  }
  if (b > s) {
    txchg = b;
    b = s;
    s = txchg;
  }
  if (b > t) {
    txchg = b;
    b = t;
    t = txchg;
  }
  if (b > u) {
    txchg = b;
    b = u;
    u = txchg;
  }
  if (b > v) {
    txchg = b;
    b = v;
    v = txchg;
  }
  if (b > w) {
    txchg = b;
    b = w;
    w = txchg;
  }
  if (b > x) {
    txchg = b;
    b = x;
    x = txchg;
  }
  if (b > y) {
    txchg = b;
    b = y;
    y = txchg;
  }
  if (b > z) {
    txchg = b;
    b = z;
    z = txchg;
  }
  if (c > d) {
    txchg = c;
    c = d;
    d = txchg;
  }
  if (c > e) {
    txchg = c;
    c = e;
    e = txchg;
  }
  if (c > f) {
    txchg = c;
    c = f;
    f = txchg;
  }
  if (c > g) {
    txchg = c;
    c = g;
    g = txchg;
  }
  if (c > h) {
    txchg = c;
    c = h;
    h = txchg;
  }
  if (c > i) {
    txchg = c;
    c = i;
    i = txchg;
  }
  if (c > j) {
    txchg = c;
    c = j;
    j = txchg;
  }
  if (c > k) {
    txchg = c;
    c = k;
    k = txchg;
  }
  if (c > l) {
    txchg = c;
    c = l;
    l = txchg;
  }
  if (c > m) {
    txchg = c;
    c = m;
    m = txchg;
  }
  if (c > n) {
    txchg = c;
    c = n;
    n = txchg;
  }
  if (c > o) {
    txchg = c;
    c = o;
    o = txchg;
  }
  if (c > p) {
    txchg = c;
    c = p;
    p = txchg;
  }
  if (c > q) {
    txchg = c;
    c = q;
    q = txchg;
  }
  if (c > r) {
    txchg = c;
    c = r;
    r = txchg;
  }
  if (c > s) {
    txchg = c;
    c = s;
    s = txchg;
  }
  if (c > t) {
    txchg = c;
    c = t;
    t = txchg;
  }
  if (c > u) {
    txchg = c;
    c = u;
    u = txchg;
  }
  if (c > v) {
    txchg = c;
    c = v;
    v = txchg;
  }
  if (c > w) {
    txchg = c;
    c = w;
    w = txchg;
  }
  if (c > x) {
    txchg = c;
    c = x;
    x = txchg;
  }
  if (c > y) {
    txchg = c;
    c = y;
    y = txchg;
  }
  if (c > z) {
    txchg = c;
    c = z;
    z = txchg;
  }
  if (d > e) {
    txchg = d;
    d = e;
    e = txchg;
  }
  if (d > f) {
    txchg = d;
    d = f;
    f = txchg;
  }
  if (d > g) {
    txchg = d;
    d = g;
    g = txchg;
  }
  if (d > h) {
    txchg = d;
    d = h;
    h = txchg;
  }
  if (d > i) {
    txchg = d;
    d = i;
    i = txchg;
  }
  if (d > j) {
    txchg = d;
    d = j;
    j = txchg;
  }
  if (d > k) {
    txchg = d;
    d = k;
    k = txchg;
  }
  if (d > l) {
    txchg = d;
    d = l;
    l = txchg;
  }
  if (d > m) {
    txchg = d;
    d = m;
    m = txchg;
  }
  if (d > n) {
    txchg = d;
    d = n;
    n = txchg;
  }
  if (d > o) {
    txchg = d;
    d = o;
    o = txchg;
  }
  if (d > p) {
    txchg = d;
    d = p;
    p = txchg;
  }
  if (d > q) {
    txchg = d;
    d = q;
    q = txchg;
  }
  if (d > r) {
    txchg = d;
    d = r;
    r = txchg;
  }
  if (d > s) {
    txchg = d;
    d = s;
    s = txchg;
  }
  if (d > t) {
    txchg = d;
    d = t;
    t = txchg;
  }
  if (d > u) {
    txchg = d;
    d = u;
    u = txchg;
  }
  if (d > v) {
    txchg = d;
    d = v;
    v = txchg;
  }
  if (d > w) {
    txchg = d;
    d = w;
    w = txchg;
  }
  if (d > x) {
    txchg = d;
    d = x;
    x = txchg;
  }
  if (d > y) {
    txchg = d;
    d = y;
    y = txchg;
  }
  if (d > z) {
    txchg = d;
    d = z;
    z = txchg;
  }
  if (e > f) {
    txchg = e;
    e = f;
    f = txchg;
  }
  if (e > g) {
    txchg = e;
    e = g;
    g = txchg;
  }
  if (e > h) {
    txchg = e;
    e = h;
    h = txchg;
  }
  if (e > i) {
    txchg = e;
    e = i;
    i = txchg;
  }
  if (e > j) {
    txchg = e;
    e = j;
    j = txchg;
  }
  if (e > k) {
    txchg = e;
    e = k;
    k = txchg;
  }
  if (e > l) {
    txchg = e;
    e = l;
    l = txchg;
  }
  if (e > m) {
    txchg = e;
    e = m;
    m = txchg;
  }
  if (e > n) {
    txchg = e;
    e = n;
    n = txchg;
  }
  if (e > o) {
    txchg = e;
    e = o;
    o = txchg;
  }
  if (e > p) {
    txchg = e;
    e = p;
    p = txchg;
  }
  if (e > q) {
    txchg = e;
    e = q;
    q = txchg;
  }
  if (e > r) {
    txchg = e;
    e = r;
    r = txchg;
  }
  if (e > s) {
    txchg = e;
    e = s;
    s = txchg;
  }
  if (e > t) {
    txchg = e;
    e = t;
    t = txchg;
  }
  if (e > u) {
    txchg = e;
    e = u;
    u = txchg;
  }
  if (e > v) {
    txchg = e;
    e = v;
    v = txchg;
  }
  if (e > w) {
    txchg = e;
    e = w;
    w = txchg;
  }
  if (e > x) {
    txchg = e;
    e = x;
    x = txchg;
  }
  if (e > y) {
    txchg = e;
    e = y;
    y = txchg;
  }
  if (e > z) {
    txchg = e;
    e = z;
    z = txchg;
  }
  if (f > g) {
    txchg = f;
    f = g;
    g = txchg;
  }
  if (f > h) {
    txchg = f;
    f = h;
    h = txchg;
  }
  if (f > i) {
    txchg = f;
    f = i;
    i = txchg;
  }
  if (f > j) {
    txchg = f;
    f = j;
    j = txchg;
  }
  if (f > k) {
    txchg = f;
    f = k;
    k = txchg;
  }
  if (f > l) {
    txchg = f;
    f = l;
    l = txchg;
  }
  if (f > m) {
    txchg = f;
    f = m;
    m = txchg;
  }
  if (f > n) {
    txchg = f;
    f = n;
    n = txchg;
  }
  if (f > o) {
    txchg = f;
    f = o;
    o = txchg;
  }
  if (f > p) {
    txchg = f;
    f = p;
    p = txchg;
  }
  if (f > q) {
    txchg = f;
    f = q;
    q = txchg;
  }
  if (f > r) {
    txchg = f;
    f = r;
    r = txchg;
  }
  if (f > s) {
    txchg = f;
    f = s;
    s = txchg;
  }
  if (f > t) {
    txchg = f;
    f = t;
    t = txchg;
  }
  if (f > u) {
    txchg = f;
    f = u;
    u = txchg;
  }
  if (f > v) {
    txchg = f;
    f = v;
    v = txchg;
  }
  if (f > w) {
    txchg = f;
    f = w;
    w = txchg;
  }
  if (f > x) {
    txchg = f;
    f = x;
    x = txchg;
  }
  if (f > y) {
    txchg = f;
    f = y;
    y = txchg;
  }
  if (f > z) {
    txchg = f;
    f = z;
    z = txchg;
  }
  if (g > h) {
    txchg = g;
    g = h;
    h = txchg;
  }
  if (g > i) {
    txchg = g;
    g = i;
    i = txchg;
  }
  if (g > j) {
    txchg = g;
    g = j;
    j = txchg;
  }
  if (g > k) {
    txchg = g;
    g = k;
    k = txchg;
  }
  if (g > l) {
    txchg = g;
    g = l;
    l = txchg;
  }
  if (g > m) {
    txchg = g;
    g = m;
    m = txchg;
  }
  if (g > n) {
    txchg = g;
    g = n;
    n = txchg;
  }
  if (g > o) {
    txchg = g;
    g = o;
    o = txchg;
  }
  if (g > p) {
    txchg = g;
    g = p;
    p = txchg;
  }
  if (g > q) {
    txchg = g;
    g = q;
    q = txchg;
  }
  if (g > r) {
    txchg = g;
    g = r;
    r = txchg;
  }
  if (g > s) {
    txchg = g;
    g = s;
    s = txchg;
  }
  if (g > t) {
    txchg = g;
    g = t;
    t = txchg;
  }
  if (g > u) {
    txchg = g;
    g = u;
    u = txchg;
  }
  if (g > v) {
    txchg = g;
    g = v;
    v = txchg;
  }
  if (g > w) {
    txchg = g;
    g = w;
    w = txchg;
  }
  if (g > x) {
    txchg = g;
    g = x;
    x = txchg;
  }
  if (g > y) {
    txchg = g;
    g = y;
    y = txchg;
  }
  if (g > z) {
    txchg = g;
    g = z;
    z = txchg;
  }
  if (h > i) {
    txchg = h;
    h = i;
    i = txchg;
  }
  if (h > j) {
    txchg = h;
    h = j;
    j = txchg;
  }
  if (h > k) {
    txchg = h;
    h = k;
    k = txchg;
  }
  if (h > l) {
    txchg = h;
    h = l;
    l = txchg;
  }
  if (h > m) {
    txchg = h;
    h = m;
    m = txchg;
  }
  if (h > n) {
    txchg = h;
    h = n;
    n = txchg;
  }
  if (h > o) {
    txchg = h;
    h = o;
    o = txchg;
  }
  if (h > p) {
    txchg = h;
    h = p;
    p = txchg;
  }
  if (h > q) {
    txchg = h;
    h = q;
    q = txchg;
  }
  if (h > r) {
    txchg = h;
    h = r;
    r = txchg;
  }
  if (h > s) {
    txchg = h;
    h = s;
    s = txchg;
  }
  if (h > t) {
    txchg = h;
    h = t;
    t = txchg;
  }
  if (h > u) {
    txchg = h;
    h = u;
    u = txchg;
  }
  if (h > v) {
    txchg = h;
    h = v;
    v = txchg;
  }
  if (h > w) {
    txchg = h;
    h = w;
    w = txchg;
  }
  if (h > x) {
    txchg = h;
    h = x;
    x = txchg;
  }
  if (h > y) {
    txchg = h;
    h = y;
    y = txchg;
  }
  if (h > z) {
    txchg = h;
    h = z;
    z = txchg;
  }
  if (i > j) {
    txchg = i;
    i = j;
    j = txchg;
  }
  if (i > k) {
    txchg = i;
    i = k;
    k = txchg;
  }
  if (i > l) {
    txchg = i;
    i = l;
    l = txchg;
  }
  if (i > m) {
    txchg = i;
    i = m;
    m = txchg;
  }
  if (i > n) {
    txchg = i;
    i = n;
    n = txchg;
  }
  if (i > o) {
    txchg = i;
    i = o;
    o = txchg;
  }
  if (i > p) {
    txchg = i;
    i = p;
    p = txchg;
  }
  if (i > q) {
    txchg = i;
    i = q;
    q = txchg;
  }
  if (i > r) {
    txchg = i;
    i = r;
    r = txchg;
  }
  if (i > s) {
    txchg = i;
    i = s;
    s = txchg;
  }
  if (i > t) {
    txchg = i;
    i = t;
    t = txchg;
  }
  if (i > u) {
    txchg = i;
    i = u;
    u = txchg;
  }
  if (i > v) {
    txchg = i;
    i = v;
    v = txchg;
  }
  if (i > w) {
    txchg = i;
    i = w;
    w = txchg;
  }
  if (i > x) {
    txchg = i;
    i = x;
    x = txchg;
  }
  if (i > y) {
    txchg = i;
    i = y;
    y = txchg;
  }
  if (i > z) {
    txchg = i;
    i = z;
    z = txchg;
  }
  if (j > k) {
    txchg = j;
    j = k;
    k = txchg;
  }
  if (j > l) {
    txchg = j;
    j = l;
    l = txchg;
  }
  if (j > m) {
    txchg = j;
    j = m;
    m = txchg;
  }
  if (j > n) {
    txchg = j;
    j = n;
    n = txchg;
  }
  if (j > o) {
    txchg = j;
    j = o;
    o = txchg;
  }
  if (j > p) {
    txchg = j;
    j = p;
    p = txchg;
  }
  if (j > q) {
    txchg = j;
    j = q;
    q = txchg;
  }
  if (j > r) {
    txchg = j;
    j = r;
    r = txchg;
  }
  if (j > s) {
    txchg = j;
    j = s;
    s = txchg;
  }
  if (j > t) {
    txchg = j;
    j = t;
    t = txchg;
  }
  if (j > u) {
    txchg = j;
    j = u;
    u = txchg;
  }
  if (j > v) {
    txchg = j;
    j = v;
    v = txchg;
  }
  if (j > w) {
    txchg = j;
    j = w;
    w = txchg;
  }
  if (j > x) {
    txchg = j;
    j = x;
    x = txchg;
  }
  if (j > y) {
    txchg = j;
    j = y;
    y = txchg;
  }
  if (j > z) {
    txchg = j;
    j = z;
    z = txchg;
  }
  if (k > l) {
    txchg = k;
    k = l;
    l = txchg;
  }
  if (k > m) {
    txchg = k;
    k = m;
    m = txchg;
  }
  if (k > n) {
    txchg = k;
    k = n;
    n = txchg;
  }
  if (k > o) {
    txchg = k;
    k = o;
    o = txchg;
  }
  if (k > p) {
    txchg = k;
    k = p;
    p = txchg;
  }
  if (k > q) {
    txchg = k;
    k = q;
    q = txchg;
  }
  if (k > r) {
    txchg = k;
    k = r;
    r = txchg;
  }
  if (k > s) {
    txchg = k;
    k = s;
    s = txchg;
  }
  if (k > t) {
    txchg = k;
    k = t;
    t = txchg;
  }
  if (k > u) {
    txchg = k;
    k = u;
    u = txchg;
  }
  if (k > v) {
    txchg = k;
    k = v;
    v = txchg;
  }
  if (k > w) {
    txchg = k;
    k = w;
    w = txchg;
  }
  if (k > x) {
    txchg = k;
    k = x;
    x = txchg;
  }
  if (k > y) {
    txchg = k;
    k = y;
    y = txchg;
  }
  if (k > z) {
    txchg = k;
    k = z;
    z = txchg;
  }
  if (l > m) {
    txchg = l;
    l = m;
    m = txchg;
  }
  if (l > n) {
    txchg = l;
    l = n;
    n = txchg;
  }
  if (l > o) {
    txchg = l;
    l = o;
    o = txchg;
  }
  if (l > p) {
    txchg = l;
    l = p;
    p = txchg;
  }
  if (l > q) {
    txchg = l;
    l = q;
    q = txchg;
  }
  if (l > r) {
    txchg = l;
    l = r;
    r = txchg;
  }
  if (l > s) {
    txchg = l;
    l = s;
    s = txchg;
  }
  if (l > t) {
    txchg = l;
    l = t;
    t = txchg;
  }
  if (l > u) {
    txchg = l;
    l = u;
    u = txchg;
  }
  if (l > v) {
    txchg = l;
    l = v;
    v = txchg;
  }
  if (l > w) {
    txchg = l;
    l = w;
    w = txchg;
  }
  if (l > x) {
    txchg = l;
    l = x;
    x = txchg;
  }
  if (l > y) {
    txchg = l;
    l = y;
    y = txchg;
  }
  if (l > z) {
    txchg = l;
    l = z;
    z = txchg;
  }
  if (m > n) {
    txchg = m;
    m = n;
    n = txchg;
  }
  if (m > o) {
    txchg = m;
    m = o;
    o = txchg;
  }
  if (m > p) {
    txchg = m;
    m = p;
    p = txchg;
  }
  if (m > q) {
    txchg = m;
    m = q;
    q = txchg;
  }
  if (m > r) {
    txchg = m;
    m = r;
    r = txchg;
  }
  if (m > s) {
    txchg = m;
    m = s;
    s = txchg;
  }
  if (m > t) {
    txchg = m;
    m = t;
    t = txchg;
  }
  if (m > u) {
    txchg = m;
    m = u;
    u = txchg;
  }
  if (m > v) {
    txchg = m;
    m = v;
    v = txchg;
  }
  if (m > w) {
    txchg = m;
    m = w;
    w = txchg;
  }
  if (m > x) {
    txchg = m;
    m = x;
    x = txchg;
  }
  if (m > y) {
    txchg = m;
    m = y;
    y = txchg;
  }
  if (m > z) {
    txchg = m;
    m = z;
    z = txchg;
  }
  if (n > o) {
    txchg = n;
    n = o;
    o = txchg;
  }
  if (n > p) {
    txchg = n;
    n = p;
    p = txchg;
  }
  if (n > q) {
    txchg = n;
    n = q;
    q = txchg;
  }
  if (n > r) {
    txchg = n;
    n = r;
    r = txchg;
  }
  if (n > s) {
    txchg = n;
    n = s;
    s = txchg;
  }
  if (n > t) {
    txchg = n;
    n = t;
    t = txchg;
  }
  if (n > u) {
    txchg = n;
    n = u;
    u = txchg;
  }
  if (n > v) {
    txchg = n;
    n = v;
    v = txchg;
  }
  if (n > w) {
    txchg = n;
    n = w;
    w = txchg;
  }
  if (n > x) {
    txchg = n;
    n = x;
    x = txchg;
  }
  if (n > y) {
    txchg = n;
    n = y;
    y = txchg;
  }
  if (n > z) {
    txchg = n;
    n = z;
    z = txchg;
  }
  if (o > p) {
    txchg = o;
    o = p;
    p = txchg;
  }
  if (o > q) {
    txchg = o;
    o = q;
    q = txchg;
  }
  if (o > r) {
    txchg = o;
    o = r;
    r = txchg;
  }
  if (o > s) {
    txchg = o;
    o = s;
    s = txchg;
  }
  if (o > t) {
    txchg = o;
    o = t;
    t = txchg;
  }
  if (o > u) {
    txchg = o;
    o = u;
    u = txchg;
  }
  if (o > v) {
    txchg = o;
    o = v;
    v = txchg;
  }
  if (o > w) {
    txchg = o;
    o = w;
    w = txchg;
  }
  if (o > x) {
    txchg = o;
    o = x;
    x = txchg;
  }
  if (o > y) {
    txchg = o;
    o = y;
    y = txchg;
  }
  if (o > z) {
    txchg = o;
    o = z;
    z = txchg;
  }
  if (p > q) {
    txchg = p;
    p = q;
    q = txchg;
  }
  if (p > r) {
    txchg = p;
    p = r;
    r = txchg;
  }
  if (p > s) {
    txchg = p;
    p = s;
    s = txchg;
  }
  if (p > t) {
    txchg = p;
    p = t;
    t = txchg;
  }
  if (p > u) {
    txchg = p;
    p = u;
    u = txchg;
  }
  if (p > v) {
    txchg = p;
    p = v;
    v = txchg;
  }
  if (p > w) {
    txchg = p;
    p = w;
    w = txchg;
  }
  if (p > x) {
    txchg = p;
    p = x;
    x = txchg;
  }
  if (p > y) {
    txchg = p;
    p = y;
    y = txchg;
  }
  if (p > z) {
    txchg = p;
    p = z;
    z = txchg;
  }
  if (q > r) {
    txchg = q;
    q = r;
    r = txchg;
  }
  if (q > s) {
    txchg = q;
    q = s;
    s = txchg;
  }
  if (q > t) {
    txchg = q;
    q = t;
    t = txchg;
  }
  if (q > u) {
    txchg = q;
    q = u;
    u = txchg;
  }
  if (q > v) {
    txchg = q;
    q = v;
    v = txchg;
  }
  if (q > w) {
    txchg = q;
    q = w;
    w = txchg;
  }
  if (q > x) {
    txchg = q;
    q = x;
    x = txchg;
  }
  if (q > y) {
    txchg = q;
    q = y;
    y = txchg;
  }
  if (q > z) {
    txchg = q;
    q = z;
    z = txchg;
  }
  if (r > s) {
    txchg = r;
    r = s;
    s = txchg;
  }
  if (r > t) {
    txchg = r;
    r = t;
    t = txchg;
  }
  if (r > u) {
    txchg = r;
    r = u;
    u = txchg;
  }
  if (r > v) {
    txchg = r;
    r = v;
    v = txchg;
  }
  if (r > w) {
    txchg = r;
    r = w;
    w = txchg;
  }
  if (r > x) {
    txchg = r;
    r = x;
    x = txchg;
  }
  if (r > y) {
    txchg = r;
    r = y;
    y = txchg;
  }
  if (r > z) {
    txchg = r;
    r = z;
    z = txchg;
  }
  if (s > t) {
    txchg = s;
    s = t;
    t = txchg;
  }
  if (s > u) {
    txchg = s;
    s = u;
    u = txchg;
  }
  if (s > v) {
    txchg = s;
    s = v;
    v = txchg;
  }
  if (s > w) {
    txchg = s;
    s = w;
    w = txchg;
  }
  if (s > x) {
    txchg = s;
    s = x;
    x = txchg;
  }
  if (s > y) {
    txchg = s;
    s = y;
    y = txchg;
  }
  if (s > z) {
    txchg = s;
    s = z;
    z = txchg;
  }
  if (t > u) {
    txchg = t;
    t = u;
    u = txchg;
  }
  if (t > v) {
    txchg = t;
    t = v;
    v = txchg;
  }
  if (t > w) {
    txchg = t;
    t = w;
    w = txchg;
  }
  if (t > x) {
    txchg = t;
    t = x;
    x = txchg;
  }
  if (t > y) {
    txchg = t;
    t = y;
    y = txchg;
  }
  if (t > z) {
    txchg = t;
    t = z;
    z = txchg;
  }
  if (u > v) {
    txchg = u;
    u = v;
    v = txchg;
  }
  if (u > w) {
    txchg = u;
    u = w;
    w = txchg;
  }
  if (u > x) {
    txchg = u;
    u = x;
    x = txchg;
  }
  if (u > y) {
    txchg = u;
    u = y;
    y = txchg;
  }
  if (u > z) {
    txchg = u;
    u = z;
    z = txchg;
  }
  if (v > w) {
    txchg = v;
    v = w;
    w = txchg;
  }
  if (v > x) {
    txchg = v;
    v = x;
    x = txchg;
  }
  if (v > y) {
    txchg = v;
    v = y;
    y = txchg;
  }
  if (v > z) {
    txchg = v;
    v = z;
    z = txchg;
  }
  if (w > x) {
    txchg = w;
    w = x;
    x = txchg;
  }
  if (w > y) {
    txchg = w;
    w = y;
    y = txchg;
  }
  if (w > z) {
    txchg = w;
    w = z;
    z = txchg;
  }
  if (x > y) {
    txchg = x;
    x = y;
    y = txchg;
  }
  if (x > z) {
    txchg = x;
    x = z;
    z = txchg;
  }
  if (y > z) {
    txchg = y;
    y = z;
    z = txchg;
  }
  printf("%d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d %d\n", a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z);
  return 0;
}
```