// File: kobanium[P]Ray/src/learn/FactorizationMachines.cpp
// Function: InitializeOutputFileMap()
static void
InitializeOutputFileMap( void )
{
  capture_file_name.insert(std::make_pair(UCT_SELF_ATARI_SMALL,          "SelfAtariSmall.txt"        ));
  capture_file_name.insert(std::make_pair(UCT_SELF_ATARI_LARGE,          "SelfAtariLarge.txt"        ));
  capture_file_name.insert(std::make_pair(UCT_SELF_ATARI_NAKADE,         "SelfAtariNakade.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_CAPTURE,                   "Capture.txt"               ));
  capture_file_name.insert(std::make_pair(UCT_SEMEAI_CAPTURE,            "SemeaiCapture.txt"         ));
  capture_file_name.insert(std::make_pair(UCT_KO_RECAPTURE,              "KoRecapture.txt"           ));
  capture_file_name.insert(std::make_pair(UCT_CAPTURE_AFTER_KO,          "CaptureAfterKo.txt"        ));
  capture_file_name.insert(std::make_pair(UCT_3POINT_CAPTURE_S_S,        "3PointCapture_S_S.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_2POINT_CAPTURE_S_S,        "2PointCapture_S_S.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_3POINT_CAPTURE_S_L,        "3PointCapture_S_L.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_2POINT_CAPTURE_S_L,        "2PointCapture_S_L.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_3POINT_CAPTURE_L_S,        "3PointCapture_L_S.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_2POINT_CAPTURE_L_S,        "2PointCapture_L_S.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_3POINT_CAPTURE_L_L,        "3PointCapture_L_L.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_2POINT_CAPTURE_L_L,        "2PointCapture_L_L.txt"     ));
  capture_file_name.insert(std::make_pair(UCT_SEMEAI_CAPTURE_SELF_ATARI, "SemeaiCaptureSelfAtari.txt"));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_1_1,          "SaveCapture_1_1.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_1_2,          "SaveCapture_1_2.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_1_3,          "SaveCapture_1_3.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_2_1,          "SaveCapture_2_1.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_2_2,          "SaveCapture_2_2.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_2_3,          "SaveCapture_2_3.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_3_1,          "SaveCapture_3_1.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_3_2,          "SaveCapture_3_2.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_3_3,          "SaveCapture_3_3.txt"       ));
  capture_file_name.insert(std::make_pair(UCT_SAVE_CAPTURE_SELF_ATARI,   "SaveCaptureSelfAtari.txt"  ));

  save_extension_file_name.insert(std::make_pair(UCT_SAVE_EXTENSION_1, "SaveExtension_1.txt"));
  save_extension_file_name.insert(std::make_pair(UCT_SAVE_EXTENSION_2, "SaveExtension_2.txt"));
  save_extension_file_name.insert(std::make_pair(UCT_SAVE_EXTENSION_3, "SaveExtension_3.txt"));
  save_extension_file_name.insert(std::make_pair(UCT_LADDER_EXTENSION, "LadderExtension.txt"));

  atari_file_name.insert(std::make_pair(UCT_ATARI,              "Atari.txt"                    ));
  atari_file_name.insert(std::make_pair(UCT_3POINT_ATARI_S_S,   "3PointAtari_S_S.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_2POINT_ATARI_S_S,   "2PointAtari_S_S.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_3POINT_ATARI_S_L,   "3PointAtari_S_L.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_2POINT_ATARI_S_L,   "2PointAtari_S_L.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_3POINT_ATARI_L_S,   "3PointAtari_L_S.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_2POINT_ATARI_L_S,   "2PointAtari_L_S.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_3POINT_ATARI_L_L,   "3PointAtari_L_L.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_2POINT_ATARI_L_L,   "2PointAtari_L_L.txt"          ));
  atari_file_name.insert(std::make_pair(UCT_3POINT_C_ATARI_S_S, "3PointCapturableAtari_S_S.txt"));
  atari_file_name.insert(std::make_pair(UCT_2POINT_C_ATARI_S_S, "2PointCapturableAtari_S_S.txt"));
  atari_file_name.insert(std::make_pair(UCT_3POINT_C_ATARI_S_L, "3PointCapturableAtari_S_L.txt"));
  atari_file_name.insert(std::make_pair(UCT_2POINT_C_ATARI_S_L, "2PointCapturableAtari_S_L.txt"));
  atari_file_name.insert(std::make_pair(UCT_3POINT_C_ATARI_L_S, "3PointCapturableAtari_L_S.txt"));
  atari_file_name.insert(std::make_pair(UCT_2POINT_C_ATARI_L_S, "2PointCapturableAtari_L_S.txt"));
  atari_file_name.insert(std::make_pair(UCT_3POINT_C_ATARI_L_L, "3PointCapturableAtari_L_L.txt"));
  atari_file_name.insert(std::make_pair(UCT_2POINT_C_ATARI_L_L, "2PointCapturableAtari_L_L.txt"));

  dame_file_name.insert(std::make_pair(UCT_3POINT_DAME_S_S, "3PointDame_S_S.txt"));
  dame_file_name.insert(std::make_pair(UCT_3POINT_DAME_S_L, "3PointDame_S_L.txt"));
  dame_file_name.insert(std::make_pair(UCT_3POINT_DAME_L_S, "3PointDame_L_S.txt"));
  dame_file_name.insert(std::make_pair(UCT_3POINT_DAME_L_L, "3PointDame_L_L.txt"));

  extension_file_name.insert(std::make_pair(UCT_2POINT_EXTENSION_DECREASE, "2PointExtensionDecreaseLarge.txt"));
  extension_file_name.insert(std::make_pair(UCT_2POINT_EXTENSION_EVEN,     "2PointExtensionEvenLarge.txt"    ));
  extension_file_name.insert(std::make_pair(UCT_2POINT_EXTENSION_INCREASE, "2PointExtensionIncreaseLarge.txt"));
  extension_file_name.insert(std::make_pair(UCT_3POINT_EXTENSION_DECREASE, "3PointExtensionDecreaseSmall.txt"));
  extension_file_name.insert(std::make_pair(UCT_3POINT_EXTENSION_EVEN,     "3PointExtensionEvenSmall.txt"    ));
  extension_file_name.insert(std::make_pair(UCT_3POINT_EXTENSION_INCREASE, "3PointExtensionIncreaseSmall.txt"));

  connect_file_name.insert(std::make_pair(UCT_KO_CONNECTION, "KoConnection.txt"));

  throw_in_file_name.insert(std::make_pair(UCT_THROW_IN_2, "Remove2Stones.txt"));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x940, %rsp            # imm = 0x940
movl $0x1, -0x14(%rbp)
leaq -0x14(%rbp), %rdi
leaq 0x56059(%rip), %rsi     # 0xae216
callq 0x6e3f0
movl %eax, -0x10(%rbp)
movq %rdx, -0x8(%rbp)
leaq 0x91388(%rip), %rdi     # 0xe9558
leaq -0x10(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x28(%rbp)
movb %dl, -0x20(%rbp)
movl $0x3, -0x3c(%rbp)
leaq -0x3c(%rbp), %rdi
leaq 0x56037(%rip), %rsi     # 0xae229
callq 0x6e3f0
movl %eax, -0x38(%rbp)
movq %rdx, -0x30(%rbp)
leaq 0x91353(%rip), %rdi     # 0xe9558
leaq -0x38(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x50(%rbp)
movb %dl, -0x48(%rbp)
movl $0x2, -0x64(%rbp)
leaq -0x64(%rbp), %rdi
leaq 0x56015(%rip), %rsi     # 0xae23c
callq 0x6e430
movl %eax, -0x60(%rbp)
movq %rdx, -0x58(%rbp)
leaq 0x9131e(%rip), %rdi     # 0xe9558
leaq -0x60(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x78(%rbp)
movb %dl, -0x70(%rbp)
movl $0x4, -0x8c(%rbp)
leaq -0x8c(%rbp), %rdi
leaq 0x55ff4(%rip), %rsi     # 0xae256
callq 0x6e470
movl %eax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
leaq 0x912e0(%rip), %rdi     # 0xe9558
leaq -0x88(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0xa0(%rbp)
movb %dl, -0x98(%rbp)
movl $0x5, -0xb4(%rbp)
leaq -0xb4(%rbp), %rdi
leaq 0x55fa7(%rip), %rsi     # 0xae250
callq 0x6e4b0
movl %eax, -0xb0(%rbp)
movq %rdx, -0xa8(%rbp)
leaq 0x91296(%rip), %rdi     # 0xe9558
leaq -0xb0(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0xc8(%rbp)
movb %dl, -0xc0(%rbp)
movl $0x6, -0xdc(%rbp)
leaq -0xdc(%rbp), %rdi
leaq 0x55f6f(%rip), %rsi     # 0xae262
callq 0x6e4f0
movl %eax, -0xd8(%rbp)
movq %rdx, -0xd0(%rbp)
leaq 0x9124c(%rip), %rdi     # 0xe9558
leaq -0xd8(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0xf0(%rbp)
movb %dl, -0xe8(%rbp)
movl $0x7, -0x104(%rbp)
leaq -0x104(%rbp), %rdi
leaq 0x55f35(%rip), %rsi     # 0xae272
callq 0x6e3f0
movl %eax, -0x100(%rbp)
movq %rdx, -0xf8(%rbp)
leaq 0x91202(%rip), %rdi     # 0xe9558
leaq -0x100(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x118(%rbp)
movb %dl, -0x110(%rbp)
movl $0x8, -0x12c(%rbp)
leaq -0x12c(%rbp), %rdi
leaq 0x55efe(%rip), %rsi     # 0xae285
callq 0x6e530
movl %eax, -0x128(%rbp)
movq %rdx, -0x120(%rbp)
leaq 0x911b8(%rip), %rdi     # 0xe9558
leaq -0x128(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x140(%rbp)
movb %dl, -0x138(%rbp)
movl $0x9, -0x154(%rbp)
leaq -0x154(%rbp), %rdi
leaq 0x55eca(%rip), %rsi     # 0xae29b
callq 0x6e530
movl %eax, -0x150(%rbp)
movq %rdx, -0x148(%rbp)
leaq 0x9116e(%rip), %rdi     # 0xe9558
leaq -0x150(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x168(%rbp)
movb %dl, -0x160(%rbp)
movl $0xa, -0x17c(%rbp)
leaq -0x17c(%rbp), %rdi
leaq 0x55e96(%rip), %rsi     # 0xae2b1
callq 0x6e530
movl %eax, -0x178(%rbp)
movq %rdx, -0x170(%rbp)
leaq 0x91124(%rip), %rdi     # 0xe9558
leaq -0x178(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x190(%rbp)
movb %dl, -0x188(%rbp)
movl $0xb, -0x1a4(%rbp)
leaq -0x1a4(%rbp), %rdi
leaq 0x55e62(%rip), %rsi     # 0xae2c7
callq 0x6e530
movl %eax, -0x1a0(%rbp)
movq %rdx, -0x198(%rbp)
leaq 0x910da(%rip), %rdi     # 0xe9558
leaq -0x1a0(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x1b8(%rbp)
movb %dl, -0x1b0(%rbp)
movl $0xc, -0x1cc(%rbp)
leaq -0x1cc(%rbp), %rdi
leaq 0x55e2e(%rip), %rsi     # 0xae2dd
callq 0x6e530
movl %eax, -0x1c8(%rbp)
movq %rdx, -0x1c0(%rbp)
leaq 0x91090(%rip), %rdi     # 0xe9558
leaq -0x1c8(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x1e0(%rbp)
movb %dl, -0x1d8(%rbp)
movl $0xd, -0x1f4(%rbp)
leaq -0x1f4(%rbp), %rdi
leaq 0x55dfa(%rip), %rsi     # 0xae2f3
callq 0x6e530
movl %eax, -0x1f0(%rbp)
movq %rdx, -0x1e8(%rbp)
leaq 0x91046(%rip), %rdi     # 0xe9558
leaq -0x1f0(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x208(%rbp)
movb %dl, -0x200(%rbp)
movl $0xf, -0x21c(%rbp)
leaq -0x21c(%rbp), %rdi
leaq 0x55dc6(%rip), %rsi     # 0xae309
callq 0x6e530
movl %eax, -0x218(%rbp)
movq %rdx, -0x210(%rbp)
leaq 0x90ffc(%rip), %rdi     # 0xe9558
leaq -0x218(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x230(%rbp)
movb %dl, -0x228(%rbp)
movl $0xe, -0x244(%rbp)
leaq -0x244(%rbp), %rdi
leaq 0x55d92(%rip), %rsi     # 0xae31f
callq 0x6e530
movl %eax, -0x240(%rbp)
movq %rdx, -0x238(%rbp)
leaq 0x90fb2(%rip), %rdi     # 0xe9558
leaq -0x240(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x258(%rbp)
movb %dl, -0x250(%rbp)
movl $0x10, -0x26c(%rbp)
leaq -0x26c(%rbp), %rdi
leaq 0x55d5e(%rip), %rsi     # 0xae335
callq 0x6e570
movl %eax, -0x268(%rbp)
movq %rdx, -0x260(%rbp)
leaq 0x90f68(%rip), %rdi     # 0xe9558
leaq -0x268(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x280(%rbp)
movb %dl, -0x278(%rbp)
movl $0x11, -0x294(%rbp)
leaq -0x294(%rbp), %rdi
leaq 0x55d2f(%rip), %rsi     # 0xae350
callq 0x6e430
movl %eax, -0x290(%rbp)
movq %rdx, -0x288(%rbp)
leaq 0x90f1e(%rip), %rdi     # 0xe9558
leaq -0x290(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x2a8(%rbp)
movb %dl, -0x2a0(%rbp)
movl $0x12, -0x2bc(%rbp)
leaq -0x2bc(%rbp), %rdi
leaq 0x55cf9(%rip), %rsi     # 0xae364
callq 0x6e430
movl %eax, -0x2b8(%rbp)
movq %rdx, -0x2b0(%rbp)
leaq 0x90ed4(%rip), %rdi     # 0xe9558
leaq -0x2b8(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x2d0(%rbp)
movb %dl, -0x2c8(%rbp)
movl $0x13, -0x2e4(%rbp)
leaq -0x2e4(%rbp), %rdi
leaq 0x55cc3(%rip), %rsi     # 0xae378
callq 0x6e430
movl %eax, -0x2e0(%rbp)
movq %rdx, -0x2d8(%rbp)
leaq 0x90e8a(%rip), %rdi     # 0xe9558
leaq -0x2e0(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x2f8(%rbp)
movb %dl, -0x2f0(%rbp)
movl $0x14, -0x30c(%rbp)
leaq -0x30c(%rbp), %rdi
leaq 0x55c8d(%rip), %rsi     # 0xae38c
callq 0x6e430
movl %eax, -0x308(%rbp)
movq %rdx, -0x300(%rbp)
leaq 0x90e40(%rip), %rdi     # 0xe9558
leaq -0x308(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x320(%rbp)
movb %dl, -0x318(%rbp)
movl $0x15, -0x334(%rbp)
leaq -0x334(%rbp), %rdi
leaq 0x55c57(%rip), %rsi     # 0xae3a0
callq 0x6e430
movl %eax, -0x330(%rbp)
movq %rdx, -0x328(%rbp)
leaq 0x90df6(%rip), %rdi     # 0xe9558
leaq -0x330(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x348(%rbp)
movb %dl, -0x340(%rbp)
movl $0x16, -0x35c(%rbp)
leaq -0x35c(%rbp), %rdi
leaq 0x55c21(%rip), %rsi     # 0xae3b4
callq 0x6e430
movl %eax, -0x358(%rbp)
movq %rdx, -0x350(%rbp)
leaq 0x90dac(%rip), %rdi     # 0xe9558
leaq -0x358(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x370(%rbp)
movb %dl, -0x368(%rbp)
movl $0x17, -0x384(%rbp)
leaq -0x384(%rbp), %rdi
leaq 0x55beb(%rip), %rsi     # 0xae3c8
callq 0x6e430
movl %eax, -0x380(%rbp)
movq %rdx, -0x378(%rbp)
leaq 0x90d62(%rip), %rdi     # 0xe9558
leaq -0x380(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x398(%rbp)
movb %dl, -0x390(%rbp)
movl $0x18, -0x3ac(%rbp)
leaq -0x3ac(%rbp), %rdi
leaq 0x55bb5(%rip), %rsi     # 0xae3dc
callq 0x6e430
movl %eax, -0x3a8(%rbp)
movq %rdx, -0x3a0(%rbp)
leaq 0x90d18(%rip), %rdi     # 0xe9558
leaq -0x3a8(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x3c0(%rbp)
movb %dl, -0x3b8(%rbp)
movl $0x19, -0x3d4(%rbp)
leaq -0x3d4(%rbp), %rdi
leaq 0x55b7f(%rip), %rsi     # 0xae3f0
callq 0x6e430
movl %eax, -0x3d0(%rbp)
movq %rdx, -0x3c8(%rbp)
leaq 0x90cce(%rip), %rdi     # 0xe9558
leaq -0x3d0(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x3e8(%rbp)
movb %dl, -0x3e0(%rbp)
movl $0x1a, -0x3fc(%rbp)
leaq -0x3fc(%rbp), %rdi
leaq 0x55b49(%rip), %rsi     # 0xae404
callq 0x6e5b0
movl %eax, -0x3f8(%rbp)
movq %rdx, -0x3f0(%rbp)
leaq 0x90c84(%rip), %rdi     # 0xe9558
leaq -0x3f8(%rbp), %rsi
callq 0x6e3b0
movq %rax, -0x410(%rbp)
movb %dl, -0x408(%rbp)
movl $0x1, -0x424(%rbp)
leaq -0x424(%rbp), %rdi
leaq 0x55b18(%rip), %rsi     # 0xae41d
callq 0x6e630
movl %eax, -0x420(%rbp)
movq %rdx, -0x418(%rbp)
leaq 0x90c6a(%rip), %rdi     # 0xe9588
leaq -0x420(%rbp), %rsi
callq 0x6e5f0
movq %rax, -0x438(%rbp)
movb %dl, -0x430(%rbp)
movl $0x2, -0x44c(%rbp)
leaq -0x44c(%rbp), %rdi
leaq 0x55ae2(%rip), %rsi     # 0xae431
callq 0x6e630
movl %eax, -0x448(%rbp)
movq %rdx, -0x440(%rbp)
leaq 0x90c20(%rip), %rdi     # 0xe9588
leaq -0x448(%rbp), %rsi
callq 0x6e5f0
movq %rax, -0x460(%rbp)
movb %dl, -0x458(%rbp)
movl $0x3, -0x474(%rbp)
leaq -0x474(%rbp), %rdi
leaq 0x55aac(%rip), %rsi     # 0xae445
callq 0x6e630
movl %eax, -0x470(%rbp)
movq %rdx, -0x468(%rbp)
leaq 0x90bd6(%rip), %rdi     # 0xe9588
leaq -0x470(%rbp), %rsi
callq 0x6e5f0
movq %rax, -0x488(%rbp)
movb %dl, -0x480(%rbp)
movl $0x4, -0x49c(%rbp)
leaq -0x49c(%rbp), %rdi
leaq 0x55a76(%rip), %rsi     # 0xae459
callq 0x6e630
movl %eax, -0x498(%rbp)
movq %rdx, -0x490(%rbp)
leaq 0x90b8c(%rip), %rdi     # 0xe9588
leaq -0x498(%rbp), %rsi
callq 0x6e5f0
movq %rax, -0x4b0(%rbp)
movb %dl, -0x4a8(%rbp)
movl $0x1, -0x4c4(%rbp)
leaq -0x4c4(%rbp), %rdi
leaq 0x559e6(%rip), %rsi     # 0xae413
callq 0x6e6b0
movl %eax, -0x4c0(%rbp)
movq %rdx, -0x4b8(%rbp)
leaq 0x90b72(%rip), %rdi     # 0xe95b8
leaq -0x4c0(%rbp), %rsi
callq 0x6e670
movq %rax, -0x4d8(%rbp)
movb %dl, -0x4d0(%rbp)
movl $0x2, -0x4ec(%rbp)
leaq -0x4ec(%rbp), %rdi
leaq 0x559f6(%rip), %rsi     # 0xae46d
callq 0x6e6f0
movl %eax, -0x4e8(%rbp)
movq %rdx, -0x4e0(%rbp)
leaq 0x90b28(%rip), %rdi     # 0xe95b8
leaq -0x4e8(%rbp), %rsi
callq 0x6e670
movq %rax, -0x500(%rbp)
movb %dl, -0x4f8(%rbp)
movl $0x3, -0x514(%rbp)
leaq -0x514(%rbp), %rdi
leaq 0x559c0(%rip), %rsi     # 0xae481
callq 0x6e6f0
movl %eax, -0x510(%rbp)
movq %rdx, -0x508(%rbp)
leaq 0x90ade(%rip), %rdi     # 0xe95b8
leaq -0x510(%rbp), %rsi
callq 0x6e670
movq %rax, -0x528(%rbp)
movb %dl, -0x520(%rbp)
movl $0x4, -0x53c(%rbp)
leaq -0x53c(%rbp), %rdi
leaq 0x5598a(%rip), %rsi     # 0xae495
callq 0x6e6f0
movl %eax, -0x538(%rbp)
movq %rdx, -0x530(%rbp)
leaq 0x90a94(%rip), %rdi     # 0xe95b8
leaq -0x538(%rbp), %rsi
callq 0x6e670
movq %rax, -0x550(%rbp)
movb %dl, -0x548(%rbp)
movl $0x5, -0x564(%rbp)
leaq -0x564(%rbp), %rdi
leaq 0x55954(%rip), %rsi     # 0xae4a9
callq 0x6e6f0
movl %eax, -0x560(%rbp)
movq %rdx, -0x558(%rbp)
leaq 0x90a4a(%rip), %rdi     # 0xe95b8
leaq -0x560(%rbp), %rsi
callq 0x6e670
movq %rax, -0x578(%rbp)
movb %dl, -0x570(%rbp)
movl $0x6, -0x58c(%rbp)
leaq -0x58c(%rbp), %rdi
leaq 0x5591e(%rip), %rsi     # 0xae4bd
callq 0x6e6f0
movl %eax, -0x588(%rbp)
movq %rdx, -0x580(%rbp)
leaq 0x90a00(%rip), %rdi     # 0xe95b8
leaq -0x588(%rbp), %rsi
callq 0x6e670
movq %rax, -0x5a0(%rbp)
movb %dl, -0x598(%rbp)
movl $0x7, -0x5b4(%rbp)
leaq -0x5b4(%rbp), %rdi
leaq 0x558e8(%rip), %rsi     # 0xae4d1
callq 0x6e6f0
movl %eax, -0x5b0(%rbp)
movq %rdx, -0x5a8(%rbp)
leaq 0x909b6(%rip), %rdi     # 0xe95b8
leaq -0x5b0(%rbp), %rsi
callq 0x6e670
movq %rax, -0x5c8(%rbp)
movb %dl, -0x5c0(%rbp)
movl $0x8, -0x5dc(%rbp)
leaq -0x5dc(%rbp), %rdi
leaq 0x558b2(%rip), %rsi     # 0xae4e5
callq 0x6e6f0
movl %eax, -0x5d8(%rbp)
movq %rdx, -0x5d0(%rbp)
leaq 0x9096c(%rip), %rdi     # 0xe95b8
leaq -0x5d8(%rbp), %rsi
callq 0x6e670
movq %rax, -0x5f0(%rbp)
movb %dl, -0x5e8(%rbp)
movl $0x9, -0x604(%rbp)
leaq -0x604(%rbp), %rdi
leaq 0x5587c(%rip), %rsi     # 0xae4f9
callq 0x6e6f0
movl %eax, -0x600(%rbp)
movq %rdx, -0x5f8(%rbp)
leaq 0x90922(%rip), %rdi     # 0xe95b8
leaq -0x600(%rbp), %rsi
callq 0x6e670
movq %rax, -0x618(%rbp)
movb %dl, -0x610(%rbp)
movl $0xa, -0x62c(%rbp)
leaq -0x62c(%rbp), %rdi
leaq 0x55846(%rip), %rsi     # 0xae50d
callq 0x6e730
movl %eax, -0x628(%rbp)
movq %rdx, -0x620(%rbp)
leaq 0x908d8(%rip), %rdi     # 0xe95b8
leaq -0x628(%rbp), %rsi
callq 0x6e670
movq %rax, -0x640(%rbp)
movb %dl, -0x638(%rbp)
movl $0xb, -0x654(%rbp)
leaq -0x654(%rbp), %rdi
leaq 0x5581a(%rip), %rsi     # 0xae52b
callq 0x6e730
movl %eax, -0x650(%rbp)
movq %rdx, -0x648(%rbp)
leaq 0x9088e(%rip), %rdi     # 0xe95b8
leaq -0x650(%rbp), %rsi
callq 0x6e670
movq %rax, -0x668(%rbp)
movb %dl, -0x660(%rbp)
movl $0xc, -0x67c(%rbp)
leaq -0x67c(%rbp), %rdi
leaq 0x557ee(%rip), %rsi     # 0xae549
callq 0x6e730
movl %eax, -0x678(%rbp)
movq %rdx, -0x670(%rbp)
leaq 0x90844(%rip), %rdi     # 0xe95b8
leaq -0x678(%rbp), %rsi
callq 0x6e670
movq %rax, -0x690(%rbp)
movb %dl, -0x688(%rbp)
movl $0xd, -0x6a4(%rbp)
leaq -0x6a4(%rbp), %rdi
leaq 0x557c2(%rip), %rsi     # 0xae567
callq 0x6e730
movl %eax, -0x6a0(%rbp)
movq %rdx, -0x698(%rbp)
leaq 0x907fa(%rip), %rdi     # 0xe95b8
leaq -0x6a0(%rbp), %rsi
callq 0x6e670
movq %rax, -0x6b8(%rbp)
movb %dl, -0x6b0(%rbp)
movl $0xe, -0x6cc(%rbp)
leaq -0x6cc(%rbp), %rdi
leaq 0x55796(%rip), %rsi     # 0xae585
callq 0x6e730
movl %eax, -0x6c8(%rbp)
movq %rdx, -0x6c0(%rbp)
leaq 0x907b0(%rip), %rdi     # 0xe95b8
leaq -0x6c8(%rbp), %rsi
callq 0x6e670
movq %rax, -0x6e0(%rbp)
movb %dl, -0x6d8(%rbp)
movl $0xf, -0x6f4(%rbp)
leaq -0x6f4(%rbp), %rdi
leaq 0x5576a(%rip), %rsi     # 0xae5a3
callq 0x6e730
movl %eax, -0x6f0(%rbp)
movq %rdx, -0x6e8(%rbp)
leaq 0x90766(%rip), %rdi     # 0xe95b8
leaq -0x6f0(%rbp), %rsi
callq 0x6e670
movq %rax, -0x708(%rbp)
movb %dl, -0x700(%rbp)
movl $0x10, -0x71c(%rbp)
leaq -0x71c(%rbp), %rdi
leaq 0x5573e(%rip), %rsi     # 0xae5c1
callq 0x6e730
movl %eax, -0x718(%rbp)
movq %rdx, -0x710(%rbp)
leaq 0x9071c(%rip), %rdi     # 0xe95b8
leaq -0x718(%rbp), %rsi
callq 0x6e670
movq %rax, -0x730(%rbp)
movb %dl, -0x728(%rbp)
movl $0x11, -0x744(%rbp)
leaq -0x744(%rbp), %rdi
leaq 0x55712(%rip), %rsi     # 0xae5df
callq 0x6e730
movl %eax, -0x740(%rbp)
movq %rdx, -0x738(%rbp)
leaq 0x906d2(%rip), %rdi     # 0xe95b8
leaq -0x740(%rbp), %rsi
callq 0x6e670
movq %rax, -0x758(%rbp)
movb %dl, -0x750(%rbp)
movl $0x1, -0x76c(%rbp)
leaq -0x76c(%rbp), %rdi
leaq 0x556e6(%rip), %rsi     # 0xae5fd
callq 0x6e7b0
movl %eax, -0x768(%rbp)
movq %rdx, -0x760(%rbp)
leaq 0x906e8(%rip), %rdi     # 0xe9618
leaq -0x768(%rbp), %rsi
callq 0x6e770
movq %rax, -0x780(%rbp)
movb %dl, -0x778(%rbp)
movl $0x2, -0x794(%rbp)
leaq -0x794(%rbp), %rdi
leaq 0x556af(%rip), %rsi     # 0xae610
callq 0x6e7b0
movl %eax, -0x790(%rbp)
movq %rdx, -0x788(%rbp)
leaq 0x9069e(%rip), %rdi     # 0xe9618
leaq -0x790(%rbp), %rsi
callq 0x6e770
movq %rax, -0x7a8(%rbp)
movb %dl, -0x7a0(%rbp)
movl $0x3, -0x7bc(%rbp)
leaq -0x7bc(%rbp), %rdi
leaq 0x55678(%rip), %rsi     # 0xae623
callq 0x6e7b0
movl %eax, -0x7b8(%rbp)
movq %rdx, -0x7b0(%rbp)
leaq 0x90654(%rip), %rdi     # 0xe9618
leaq -0x7b8(%rbp), %rsi
callq 0x6e770
movq %rax, -0x7d0(%rbp)
movb %dl, -0x7c8(%rbp)
movl $0x4, -0x7e4(%rbp)
leaq -0x7e4(%rbp), %rdi
leaq 0x55641(%rip), %rsi     # 0xae636
callq 0x6e7b0
movl %eax, -0x7e0(%rbp)
movq %rdx, -0x7d8(%rbp)
leaq 0x9060a(%rip), %rdi     # 0xe9618
leaq -0x7e0(%rbp), %rsi
callq 0x6e770
movq %rax, -0x7f8(%rbp)
movb %dl, -0x7f0(%rbp)
movl $0x2, -0x80c(%rbp)
leaq -0x80c(%rbp), %rdi
leaq 0x5560a(%rip), %rsi     # 0xae649
callq 0x6e830
movl %eax, -0x808(%rbp)
movq %rdx, -0x800(%rbp)
leaq 0x90590(%rip), %rdi     # 0xe95e8
leaq -0x808(%rbp), %rsi
callq 0x6e7f0
movq %rax, -0x820(%rbp)
movb %dl, -0x818(%rbp)
movl $0x4, -0x834(%rbp)
leaq -0x834(%rbp), %rdi
leaq 0x555e1(%rip), %rsi     # 0xae66a
callq 0x6e870
movl %eax, -0x830(%rbp)
movq %rdx, -0x828(%rbp)
leaq 0x90546(%rip), %rdi     # 0xe95e8
leaq -0x830(%rbp), %rsi
callq 0x6e7f0
movq %rax, -0x848(%rbp)
movb %dl, -0x840(%rbp)
movl $0x6, -0x85c(%rbp)
leaq -0x85c(%rbp), %rdi
leaq 0x555b4(%rip), %rsi     # 0xae687
callq 0x6e830
movl %eax, -0x858(%rbp)
movq %rdx, -0x850(%rbp)
leaq 0x904fc(%rip), %rdi     # 0xe95e8
leaq -0x858(%rbp), %rsi
callq 0x6e7f0
movq %rax, -0x870(%rbp)
movb %dl, -0x868(%rbp)
movl $0x1, -0x884(%rbp)
leaq -0x884(%rbp), %rdi
leaq 0x5558b(%rip), %rsi     # 0xae6a8
callq 0x6e830
movl %eax, -0x880(%rbp)
movq %rdx, -0x878(%rbp)
leaq 0x904b2(%rip), %rdi     # 0xe95e8
leaq -0x880(%rbp), %rsi
callq 0x6e7f0
movq %rax, -0x898(%rbp)
movb %dl, -0x890(%rbp)
movl $0x3, -0x8ac(%rbp)
leaq -0x8ac(%rbp), %rdi
leaq 0x55562(%rip), %rsi     # 0xae6c9
callq 0x6e870
movl %eax, -0x8a8(%rbp)
movq %rdx, -0x8a0(%rbp)
leaq 0x90468(%rip), %rdi     # 0xe95e8
leaq -0x8a8(%rbp), %rsi
callq 0x6e7f0
movq %rax, -0x8c0(%rbp)
movb %dl, -0x8b8(%rbp)
movl $0x5, -0x8d4(%rbp)
leaq -0x8d4(%rbp), %rdi
leaq 0x55535(%rip), %rsi     # 0xae6e6
callq 0x6e830
movl %eax, -0x8d0(%rbp)
movq %rdx, -0x8c8(%rbp)
leaq 0x9041e(%rip), %rdi     # 0xe95e8
leaq -0x8d0(%rbp), %rsi
callq 0x6e7f0
movq %rax, -0x8e8(%rbp)
movb %dl, -0x8e0(%rbp)
movl $0x1, -0x8fc(%rbp)
leaq -0x8fc(%rbp), %rdi
leaq 0x5550c(%rip), %rsi     # 0xae707
callq 0x6e8f0
movl %eax, -0x8f8(%rbp)
movq %rdx, -0x8f0(%rbp)
leaq 0x90434(%rip), %rdi     # 0xe9648
leaq -0x8f8(%rbp), %rsi
callq 0x6e8b0
movq %rax, -0x910(%rbp)
movb %dl, -0x908(%rbp)
movl $0x1, -0x924(%rbp)
leaq -0x924(%rbp), %rdi
leaq 0x554d3(%rip), %rsi     # 0xae718
callq 0x6e970
movl %eax, -0x920(%rbp)
movq %rdx, -0x918(%rbp)
leaq 0x9041a(%rip), %rdi     # 0xe9678
leaq -0x920(%rbp), %rsi
callq 0x6e930
movq %rax, -0x938(%rbp)
movb %dl, -0x930(%rbp)
addq $0x940, %rsp            # imm = 0x940
popq %rbp
retq