// File: /workspace/github_cpp_makefile_star2_O2/MarkCBell[P]twister/./twister/kernel/twister.cpp
// Function: tetra::print_wrt(std::ostream&)
void tetra::print_wrt(std::ostream &o)
{
	for (int i = 0; i < 4; i++)
		o << "   " << gluedto[i]->snap_index;
	
	o << std::endl;
	
	for (int i = 0; i < 4; i++)
		o << " " << gluing[i];
	
	o << std::endl;
	
	o << "  -1   -1   -1   " << cusp_number << std::endl;  // Material vertices 0 through 2 and possibly a ideal vertex at 3.
	o << "  0  0  0  0  0  0  0  0  0  0  0  0  " << peripheral_curves[meridian][0] << "  " << peripheral_curves[meridian][1] << "  " << peripheral_curves[meridian][2] << "  " << peripheral_curves[meridian][3] << std::endl;  //  meridian (right sheet)
	o << "  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0" << std::endl;  //  meridian (left sheet)
	o << "  0  0  0  0  0  0  0  0  0  0  0  0  " << peripheral_curves[longitude][0] << "  " << peripheral_curves[longitude][1] << "  " << peripheral_curves[longitude][2] << "  " << peripheral_curves[longitude][3] << std::endl;  //  longitude (right sheet)
	o << "  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0  0" << std::endl;  // longitude (left sheet)
	o << "  0.000000000000   0.000000000000" << std::endl;
	o << std::endl;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
xorl %r12d, %r12d
leaq 0x2a6b(%rip), %r15      # 0x11862
movq %rbx, %rdi
cmpq $0x4, %r12
je 0xee20
movq %r15, %rsi
callq 0x3230
movq 0x10(%r14,%r12,8), %rcx
movl 0xbc(%rcx), %esi
movq %rax, %rdi
callq 0x33c0
incq %r12
jmp 0xedf7
callq 0x3120
leaq 0x30(%r14), %r12
xorl %r13d, %r13d
leaq 0x2a31(%rip), %r15      # 0x11864
movq %rbx, %rdi
cmpq $0x40, %r13
je 0xee56
movq %r15, %rsi
callq 0x3230
leaq (%r12,%r13), %rsi
movq %rax, %rdi
callq 0xedb0
addq $0x10, %r13
jmp 0xee33
callq 0x3120
leaq 0x29f2(%rip), %rsi      # 0x11854
movq %rbx, %rdi
callq 0x3230
movl 0xb4(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
callq 0x3120
leaq 0x29de(%rip), %r12      # 0x11866
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3230
movl 0xa4(%r14), %esi
movq %rax, %rdi
callq 0x33c0
leaq 0x29ba(%rip), %r15      # 0x11863
movq %rax, %rdi
movq %r15, %rsi
callq 0x3230
movl 0xa8(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x3230
movl 0xac(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x3230
movl 0xb0(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
callq 0x3120
leaq 0x2987(%rip), %r13      # 0x1188d
movq %rbx, %rdi
movq %r13, %rsi
callq 0x3230
movq %rax, %rdi
callq 0x3120
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3230
movl 0x94(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x3230
movl 0x98(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x3230
movl 0x9c(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
movq %r15, %rsi
callq 0x3230
movl 0xa0(%r14), %esi
movq %rax, %rdi
callq 0x33c0
movq %rax, %rdi
callq 0x3120
movq %rbx, %rdi
movq %r13, %rsi
callq 0x3230
movq %rax, %rdi
callq 0x3120
leaq 0x291b(%rip), %rsi      # 0x118be
movq %rbx, %rdi
callq 0x3230
movq %rax, %rdi
callq 0x3120
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x3120