// File: 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
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
movl $0x0, -0x14(%rbp)
cmpl $0x4, -0x14(%rbp)
jge 0x207ab
movq -0x10(%rbp), %rdi
leaq 0x70c6(%rip), %rsi      # 0x27846
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movslq -0x14(%rbp), %rcx
movq 0x10(%rax,%rcx,8), %rax
movl 0xbc(%rax), %esi
callq 0x3540
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x2076f
movq -0x10(%rbp), %rdi
movq 0x14802(%rip), %rsi     # 0x34fb8
callq 0x3340
movl $0x0, -0x18(%rbp)
cmpl $0x4, -0x18(%rbp)
jge 0x207fe
movq -0x10(%rbp), %rdi
leaq 0x7075(%rip), %rsi      # 0x27848
callq 0x32f0
movq -0x20(%rbp), %rsi
movq %rax, %rdi
addq $0x30, %rsi
movslq -0x18(%rbp), %rax
shlq $0x4, %rax
addq %rax, %rsi
callq 0x20700
movl -0x18(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x18(%rbp)
jmp 0x207c2
movq -0x10(%rbp), %rdi
movq 0x147af(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
leaq 0x701f(%rip), %rsi      # 0x27838
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0xb4(%rax), %esi
callq 0x3540
movq %rax, %rdi
movq 0x1477e(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
leaq 0x7000(%rip), %rsi      # 0x2784a
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0xa4(%rax), %esi
callq 0x3540
movq %rax, %rdi
leaq 0x6fdc(%rip), %rsi      # 0x27847
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0xa8(%rax), %esi
callq 0x3540
movq %rax, %rdi
leaq 0x6fbb(%rip), %rsi      # 0x27847
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0xac(%rax), %esi
callq 0x3540
movq %rax, %rdi
leaq 0x6f9a(%rip), %rsi      # 0x27847
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0xb0(%rax), %esi
callq 0x3540
movq %rax, %rdi
movq 0x146ea(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
leaq 0x6f93(%rip), %rsi      # 0x27871
callq 0x32f0
movq %rax, %rdi
movq 0x146cb(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
leaq 0x6f4d(%rip), %rsi      # 0x2784a
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0x94(%rax), %esi
callq 0x3540
movq %rax, %rdi
leaq 0x6f29(%rip), %rsi      # 0x27847
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0x98(%rax), %esi
callq 0x3540
movq %rax, %rdi
leaq 0x6f08(%rip), %rsi      # 0x27847
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0x9c(%rax), %esi
callq 0x3540
movq %rax, %rdi
leaq 0x6ee7(%rip), %rsi      # 0x27847
callq 0x32f0
movq %rax, %rdi
movq -0x20(%rbp), %rax
movl 0xa0(%rax), %esi
callq 0x3540
movq %rax, %rdi
movq 0x14637(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
leaq 0x6ee0(%rip), %rsi      # 0x27871
callq 0x32f0
movq %rax, %rdi
movq 0x14618(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
leaq 0x6ef2(%rip), %rsi      # 0x278a2
callq 0x32f0
movq %rax, %rdi
movq 0x145f9(%rip), %rsi     # 0x34fb8
callq 0x3340
movq -0x10(%rbp), %rdi
movq 0x145e9(%rip), %rsi     # 0x34fb8
callq 0x3340
addq $0x20, %rsp
popq %rbp
retq
nopw (%rax,%rax)