// File: /workspace/github_cpp_makefile_star2_O1/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 %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
xorl %r12d, %r12d
leaq 0x4295(%rip), %r15      # 0x178ca
movl $0x3, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3280
movq 0x10(%r14,%r12,8), %rax
movl 0xbc(%rax), %esi
movq %rbx, %rdi
callq 0x33c0
incq %r12
cmpq $0x4, %r12
jne 0x13635
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
leaq 0x30(%r14), %r12
xorl %r13d, %r13d
leaq 0x4236(%rip), %r15      # 0x178cc
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3280
xorl %ebp, %ebp
movl (%r12,%rbp,4), %esi
movq %rbx, %rdi
callq 0x33c0
incq %rbp
cmpq $0x4, %rbp
jne 0x136a8
incq %r13
addq $0x10, %r12
cmpq $0x4, %r13
jne 0x13696
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
leaq 0x41c4(%rip), %rsi      # 0x178bc
movl $0x11, %edx
movq %rbx, %rdi
callq 0x3280
movl 0xb4(%r14), %esi
movq %rbx, %rdi
callq 0x33c0
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %r15, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
leaq 0x4189(%rip), %r12      # 0x178ce
movl $0x26, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3280
movl 0xa4(%r14), %esi
movq %rbx, %rdi
callq 0x33c0
movq %rax, %r13
leaq 0x415d(%rip), %r15      # 0x178cb
movl $0x2, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3280
movl 0xa8(%r14), %esi
movq %r13, %rdi
callq 0x33c0
movq %rax, %r13
movl $0x2, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3280
movl 0xac(%r14), %esi
movq %r13, %rdi
callq 0x33c0
movq %rax, %r13
movl $0x2, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3280
movl 0xb0(%r14), %esi
movq %r13, %rdi
callq 0x33c0
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %r13, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
leaq 0x40f3(%rip), %r13      # 0x178f5
movl $0x30, %edx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x3280
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
movl $0x26, %edx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3280
movl 0x94(%r14), %esi
movq %rbx, %rdi
callq 0x33c0
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3280
movl 0x98(%r14), %esi
movq %r12, %rdi
callq 0x33c0
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3280
movl 0x9c(%r14), %esi
movq %r12, %rdi
callq 0x33c0
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3280
movl 0xa0(%r14), %esi
movq %r12, %rdi
callq 0x33c0
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
movl $0x30, %edx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x3280
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
leaq 0x4000(%rip), %rsi      # 0x17926
movl $0x21, %edx
movq %rbx, %rdi
callq 0x3280
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x3170
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x3170
nop