// File: /workspace/github_c_makefile_star2_O0/mohuangrui[P]ArtraCFD/case_loader.c
// Function: WriteVerifyData
static void WriteVerifyData(const Time *time, const Space *space, const Model *model)
{
    const Partition *const part = &(space->part);
    const char *fname = "artracfd.verify";
    FILE *fp = Fopen(fname, "w");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#                                                                             -\n");
    fprintf(fp, "#                     Case Verification for ArtraCFD                          -\n");
    fprintf(fp, "#                                                                             -\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                          >> Space Domain <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "xmin, ymin, zmin: %.6g, %.6g, %.6g\n",
            part->domain[X][MIN], part->domain[Y][MIN], part->domain[Z][MIN]);
    fprintf(fp, "xmax, ymax, zmax: %.6g, %.6g, %.6g\n",
            part->domain[X][MAX], part->domain[Y][MAX], part->domain[Z][MAX]);
    fprintf(fp, "mx, my, mz: %d, %d, %d\n", part->m[X], part->m[Y], part->m[Z]);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                          >> Time Domain <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "restart number tag: %d\n", time->restart);
    fprintf(fp, "termination time: %.6g\n", time->end);
    fprintf(fp, "CFL condition number: %.6g\n", time->numCFL);
    fprintf(fp, "maximum computing steps: %d\n", time->stepN);
    fprintf(fp, "space data writing frequency: %d\n", time->dataW[PROSD]);
    fprintf(fp, "data streamer: %d\n", time->dataStreamer);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                        >> Numerical Method <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "temporal scheme: %d\n", model->tScheme);
    fprintf(fp, "spatial scheme: %d\n", model->sScheme);
    fprintf(fp, "dimensional scheme: %d\n", model->multidim);
    fprintf(fp, "Jacobian average: %d\n", model->jacobMean);
    fprintf(fp, "flux splitting method: %d\n", model->fluxSplit);
    fprintf(fp, "phase interaction: %d\n", model->psi);
    fprintf(fp, "ibm reconstruction layers: %d\n", model->ibmLayer);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                       >> Material Properties <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "material: %d\n", model->mid);
    fprintf(fp, "viscous level: %.6g\n", model->refMu);
    fprintf(fp, "gravity state: %d\n", model->gState);
    fprintf(fp, "gravity vector: %.6g, %.6g, %.6g\n", model->g[X], model->g[Y], model->g[Z]);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                        >> Reference Values  <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "length: %.6g\n", model->refL);
    fprintf(fp, "density: %.6g\n", model->refRho);
    fprintf(fp, "velocity: %.6g\n", model->refV);
    fprintf(fp, "temperature: %.6g\n", model->refT);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                     >> Initialization <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    WriteInitializerData(fp, space, ICGLOBAL);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                     >> Boundary Condition <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "Domian West\n");
    WriteBoundaryData(fp, space, PWB);
    fprintf(fp, "#\n");
    fprintf(fp, "Domian East\n");
    WriteBoundaryData(fp, space, PEB);
    fprintf(fp, "#\n");
    fprintf(fp, "Domian South\n");
    WriteBoundaryData(fp, space, PSB);
    fprintf(fp, "#\n");
    fprintf(fp, "Domian North\n");
    WriteBoundaryData(fp, space, PNB);
    fprintf(fp, "#\n");
    fprintf(fp, "Domian Front\n");
    WriteBoundaryData(fp, space, PFB);
    fprintf(fp, "#\n");
    fprintf(fp, "Domian Back\n");
    WriteBoundaryData(fp, space, PBB);
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                  >> Regional Initialization <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    for (int n = 1; n < part->nIC; ++n) {
        fprintf(fp, "#\n");
        WriteInitializerData(fp, space, n);
    }
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#                    >> Field Data Probes <<\n");
    fprintf(fp, "#\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "point probe count: %d\n", time->dataN[PROPT]);
    fprintf(fp, "line probe count: %d\n", time->dataN[PROLN]);
    fprintf(fp, "curve probe count: %d\n", time->dataN[PROCV]);
    fprintf(fp, "force probe count: %d\n", time->dataN[PROFC]);
    fprintf(fp, "#\n");
    fprintf(fp, "point probe writing frequency: %d\n", time->dataW[PROPT]);
    fprintf(fp, "line probe writing frequency: %d\n", time->dataW[PROLN]);
    fprintf(fp, "body-conformal probe writing frequency: %d\n", time->dataW[PROCV]);
    fprintf(fp, "surface force writing frequency: %d\n", time->dataW[PROFC]);
    fprintf(fp, "#\n");
    for (int n = 0; n < time->dataN[PROPT]; ++n) {
        fprintf(fp, "point probe x, y, z: %.6g, %.6g, %.6g\n",
                time->pp[n][0], time->pp[n][1], time->pp[n][2]);
    }
    fprintf(fp, "#\n");
    for (int n = 0; n < time->dataN[PROLN]; ++n) {
        fprintf(fp, "line probe x1, y1, z1: %.6g, %.6g, %.6g\n",
                time->lp[n][0], time->lp[n][1], time->lp[n][2]);
        fprintf(fp, "line probe x2, y2, z2: %.6g, %.6g, %.6g\n",
                time->lp[n][3], time->lp[n][4], time->lp[n][5]);
        fprintf(fp, "resolution: %.6g\n", time->lp[n][6]);
    }
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fprintf(fp, "#------------------------------------------------------------------------------\n");
    fclose(fp);
    return;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
addq $0x28, %rax
movq %rax, -0x20(%rbp)
leaq 0x1fb70(%rip), %rax     # 0x26ec7
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
leaq 0x1fb16(%rip), %rsi     # 0x26e7c
callq 0xbf90
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
leaq 0x1d774(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d7b3(%rip), %rsi     # 0x24b3f
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1fb39(%rip), %rsi     # 0x26ed7
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d78f(%rip), %rsi     # 0x24b3f
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d72c(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d71a(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1da32(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1da23(%rip), %rsi     # 0x24e1b
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1da0e(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d6d2(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x20(%rbp), %rax
movsd 0x3c8(%rax), %xmm0
movq -0x20(%rbp), %rax
movsd 0x3d8(%rax), %xmm1
movq -0x20(%rbp), %rax
movsd 0x3e8(%rax), %xmm2
leaq 0x1fad6(%rip), %rsi     # 0x26f28
movb $0x3, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x20(%rbp), %rax
movsd 0x3d0(%rax), %xmm0
movq -0x20(%rbp), %rax
movsd 0x3e0(%rax), %xmm1
movq -0x20(%rbp), %rax
movsd 0x3f0(%rax), %xmm2
leaq 0x1fac4(%rip), %rsi     # 0x26f4c
movb $0x3, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x20(%rbp), %rax
movl (%rax), %edx
movq -0x20(%rbp), %rax
movl 0x4(%rax), %ecx
movq -0x20(%rbp), %rax
movl 0x8(%rax), %r8d
leaq 0x1fac1(%rip), %rsi     # 0x26f70
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d62d(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d945(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1da15(%rip), %rsi     # 0x24efa
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d921(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d5e5(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl (%rax), %edx
leaq 0x1fa67(%rip), %rsi     # 0x26f88
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movsd 0x40(%rax), %xmm0
leaq 0x1fa64(%rip), %rsi     # 0x26fa0
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movsd 0x50(%rax), %xmm0
leaq 0x1fa61(%rip), %rsi     # 0x26fb8
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x4(%rax), %edx
leaq 0x1fa64(%rip), %rsi     # 0x26fd4
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x30(%rax), %edx
leaq 0x1fa68(%rip), %rsi     # 0x26ff1
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x34(%rax), %edx
leaq 0x1fa71(%rip), %rsi     # 0x27013
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d53a(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d852(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1dac0(%rip), %rsi     # 0x25098
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d82e(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d4f2(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl (%rax), %edx
leaq 0x1fa12(%rip), %rsi     # 0x27026
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x4(%rax), %edx
leaq 0x1fa0e(%rip), %rsi     # 0x2703b
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x10(%rax), %edx
leaq 0x1fa09(%rip), %rsi     # 0x2704f
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x14(%rax), %edx
leaq 0x1fa08(%rip), %rsi     # 0x27067
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x18(%rax), %edx
leaq 0x1fa05(%rip), %rsi     # 0x2707d
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x1c(%rax), %edx
leaq 0x1fa07(%rip), %rsi     # 0x27098
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x20(%rax), %edx
leaq 0x1fa05(%rip), %rsi     # 0x270af
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d432(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d74a(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f9ee(%rip), %rsi     # 0x270ce
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d726(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d3ea(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x24(%rax), %edx
leaq 0x1f9e4(%rip), %rsi     # 0x27101
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movsd 0x38(%rax), %xmm0
leaq 0x1f9d7(%rip), %rsi     # 0x2710f
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x28(%rax), %edx
leaq 0x1f9d3(%rip), %rsi     # 0x27124
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movsd 0x78(%rax), %xmm0
movq -0x18(%rbp), %rax
movsd 0x80(%rax), %xmm1
movq -0x18(%rbp), %rax
movsd 0x88(%rax), %xmm2
leaq 0x1f9b3(%rip), %rsi     # 0x27137
movb $0x3, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d358(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d670(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1dc30(%rip), %rsi     # 0x253ea
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d64c(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d310(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movsd 0x58(%rax), %xmm0
leaq 0x1f960(%rip), %rsi     # 0x27159
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movsd 0x60(%rax), %xmm0
leaq 0x1f953(%rip), %rsi     # 0x27167
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movsd 0x68(%rax), %xmm0
leaq 0x1fcf1(%rip), %rsi     # 0x27520
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movsd 0x70(%rax), %xmm0
leaq 0x1f92c(%rip), %rsi     # 0x27176
movb $0x1, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d292(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d5aa(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f909(%rip), %rsi     # 0x27189
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d586(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d24a(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %edx, %edx
callq 0x8330
movq -0x30(%rbp), %rdi
leaq 0x1d229(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d541(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f8cc(%rip), %rsi     # 0x271b5
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d51d(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d1e1(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d4f9(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f8b4(%rip), %rsi     # 0x271e5
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0x1, %edx
callq 0x87f0
movq -0x30(%rbp), %rdi
leaq 0x1d4c3(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f88b(%rip), %rsi     # 0x271f2
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0x2, %edx
callq 0x87f0
movq -0x30(%rbp), %rdi
leaq 0x1d48d(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f862(%rip), %rsi     # 0x271ff
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0x3, %edx
callq 0x87f0
movq -0x30(%rbp), %rdi
leaq 0x1d457(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f83a(%rip), %rsi     # 0x2720d
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0x4, %edx
callq 0x87f0
movq -0x30(%rbp), %rdi
leaq 0x1d421(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f812(%rip), %rsi     # 0x2721b
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0x5, %edx
callq 0x87f0
movq -0x30(%rbp), %rdi
leaq 0x1d3eb(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1f7ea(%rip), %rsi     # 0x27229
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl $0x6, %edx
callq 0x87f0
movq -0x30(%rbp), %rdi
leaq 0x1d08b(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d3a3(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1de66(%rip), %rsi     # 0x258ed
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d37f(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d043(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movl $0x1, -0x34(%rbp)
movl -0x34(%rbp), %eax
movq -0x20(%rbp), %rcx
cmpl 0x3a8(%rcx), %eax
jge 0x7af5
movq -0x30(%rbp), %rdi
leaq 0x1d345(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
movl -0x34(%rbp), %edx
callq 0x8330
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x7ab9
movq -0x30(%rbp), %rdi
leaq 0x1cfee(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d306(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1e2c5(%rip), %rsi     # 0x25de9
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d2e2(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1cfa6(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0xc(%rax), %edx
leaq 0x1f6d5(%rip), %rsi     # 0x27236
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x10(%rax), %edx
leaq 0x1f6d3(%rip), %rsi     # 0x2724d
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x14(%rax), %edx
leaq 0x1f6d0(%rip), %rsi     # 0x27263
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x18(%rax), %edx
leaq 0x1f6ce(%rip), %rsi     # 0x2727a
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d25a(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x20(%rax), %edx
leaq 0x1f6ba(%rip), %rsi     # 0x27291
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x24(%rax), %edx
leaq 0x1f6c4(%rip), %rsi     # 0x272b4
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x28(%rax), %edx
leaq 0x1f6cd(%rip), %rsi     # 0x272d6
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x2c(%rax), %edx
leaq 0x1f6e0(%rip), %rsi     # 0x27302
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1d1e4(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movl $0x0, -0x38(%rbp)
movl -0x38(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0xc(%rcx), %eax
jge 0x7cb2
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x38(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movsd (%rax), %xmm0
movq -0x8(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x38(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movsd 0x8(%rax), %xmm1
movq -0x8(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x38(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movsd 0x10(%rax), %xmm2
leaq 0x1f687(%rip), %rsi     # 0x27327
movb $0x3, %al
callq 0x2140
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0x7c42
movq -0x30(%rbp), %rdi
leaq 0x1d15b(%rip), %rsi     # 0x24e18
movb $0x0, %al
callq 0x2140
movl $0x0, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x10(%rcx), %eax
jge 0x7dc6
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd (%rax), %xmm0
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x8(%rax), %xmm1
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x10(%rax), %xmm2
leaq 0x1f621(%rip), %rsi     # 0x2734e
movb $0x3, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x18(%rax), %xmm0
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x20(%rax), %xmm1
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x28(%rax), %xmm2
leaq 0x1f5f0(%rip), %rsi     # 0x27377
movb $0x3, %al
callq 0x2140
movq -0x30(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x3c(%rbp), %rcx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x30(%rax), %xmm0
leaq 0x1f5ef(%rip), %rsi     # 0x273a0
movb $0x1, %al
callq 0x2140
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x7ccb
movq -0x30(%rbp), %rdi
leaq 0x1cd1d(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
leaq 0x1cd0b(%rip), %rsi     # 0x24aee
movb $0x0, %al
callq 0x2140
movq -0x30(%rbp), %rdi
callq 0x2080
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax)